From 83e385a764753cb7343a48f7b063121f864dd1f8 Mon Sep 17 00:00:00 2001 From: Daniel Ebert Date: Sun, 22 Aug 2021 11:54:43 -0700 Subject: [PATCH] generate core just-in-time --- tests/binaries/div_zero_binary/.swp | Bin 0 -> 24576 bytes tests/binaries/div_zero_binary/Makefile | 3 +++ tests/binaries/div_zero_binary/core | Bin 253952 -> 0 bytes 3 files changed, 3 insertions(+) create mode 100644 tests/binaries/div_zero_binary/.swp delete mode 100644 tests/binaries/div_zero_binary/core diff --git a/tests/binaries/div_zero_binary/.swp b/tests/binaries/div_zero_binary/.swp new file mode 100644 index 0000000000000000000000000000000000000000..a94e2a762c02c79e76ae09480bd08a89ddb9cdc8 GIT binary patch literal 24576 zcmeHN&u=8f6|Mk*5W0jGj zz2o6PlpK=_S5}}Xxh0AeCC6Ms4jhsT2)J-dE*uem0^jSZp6Qu2HnJAhWyb2N{iF8zf6=;^)tKP5i{kAO$OBj6G62zUfM0v-X6fJfk4L%?JYv0vlY9&o?- ztUG^a=KP?$e%hVS%-ny-UH{OX&&}Nb?#%V&nQM3HPaXk}fJeY1;1Tc$cmzBG9s!Sl zN5CWC5%36n0|>~FvHxJ)-w@$P|G(z{|9_IP|3Ur)c@=U4(t-%cr%y0;2XYWt;#HhR{ z1J#-^ zuc}A|hD%;#D$qS0*wxE&g*D`DPH+EA7W8DUrx2CJ**ULnT-jaU**=Lg6{1&0Q6ghC zwy-U0PC9{w#nR|BA;d$nFBQw65SKdVC-Aq}$y3W|Ad_&$R(OymCQqZ46F6xhlKt@- z*nc`HPg28kB||Qg5pVUwu1>V!Jsqh6Yfya}>KyKp=A#qm<4|dEh)Qp^YlTkO%rEO- zDK6AL?^0M*@B_u8RE88#;T9^_X@38vOrb>^p>E4a1Zf<@%vUdLZEmhz=`3@h)&6~Q z$e}g^F6t?L3;1lx5mv_rr?`xa&LV91I)-bI>%%?Z?!PRPfMVD^1!a9-1*K86MZqTU zs}vI5S{z$(@l{KD+!eKEY^_+i8M{dq$2V(dezoOY+_=0>W_Og;jSXYfePf^3C^o<= zcrQ<5PLCY1v24Hxw2W%h?UK7m+4y)wkQZW@Yph}8xT*}N53Qe@lv~tf7b{E_6;L3k zV((##ECdDYMBPS~;*Mq@FGg`UjgA_|4U#sp+KbqzM|Lx4j=`}%_jFz$VG06O6kjzp zA?&w`)vMPx31H55Xk&4oTHxKSgU7%Ks#?8TEzT(!t;Ujt8>mvOLaPBDVRq1%LX0=B z)y~EajeAweJQ!5jZIPCF-~cCY#uIlBB1ERc)$NVWWKwI!NDP7X%gZF8#Y9d_&~Q99 zI|958uCcm)ZT*4;#VR$vhGN7aCdy0?KxUmQ#NVCu`s-_nj7D!*>QPxtSjHKzpJ;wv z2$}bb$;9#BTHY^Xl^ED_kFwp#?+OBuOITng3(Ci!U%eSk(ixjOQ_hz5>g3-Vuf~{_ z?Kb=Z`2@d_W)vTbn~2@jbY_3@M*S;v+fA<3YTaZs@#zt6-1S`oz|I_W#Vv!-;mw;C>T;Q8mk?Oz3_e+&HmUGVmIAn$>< z{|oXSc>7<$+usLg{|ET`Z^6|A@bq)w=_`;IF&>S1v3`-@P|iO0H))X;FIu%+iC}3vfzZuNF8A-?xMuza{T6l3u#W2t&{s8 z8x9p8>L?--MmbV2&{6noF}ZsRJ&f{lQ|5`Nl*L5>;>o5QYyK~U=t>g|M1hPGk(3V0 zCGF?SRb8YgGgLQ`R7+R@rGbSB$xR@rMxU~!cZf8XcAb2{Ch0D(ZEV6vkk{robMXIG zrYJNb$B5zc#p%j095>IVl7^&=yI^0)DheZWQ)csO&*Bz}GvZdMm7#yEN3%Jwxx1!_ zT0wWFK;Aijjp{!cY_qE)ZAO)S&f`*{&sXYcm8rBMIcfm0MnPewkuiTdq8HGpWmT#= z&qH&mN*`w0w8a0)c!Ts-m`@apj1OERuqyYc#f&0Jg`u3lJ`~MBx z{}#A^26+bj{}XWj-@EbNIGol`FT}!Mv4uxq8h{;@r8ycyC2Dsl!Y#c#FeY1Rw}-=F ztDlsuH1D^Iv}cAW*0qrtwdu+BFP7%dX{YtR=T}4}(7q}W-hL);gKF7Idx3pdL^@Ga z-%L3QhZ3bj>Zgb9@iQLEnZ>vWlwxX6G|C;z+>A2Cmx%f=+4?^9=uk-q@XLfNcrWo6 z3cr&Q^32GKdU>|maz*1E6xVoP;q5^ht2XwneB8liiwe_0dY?rvs4yxPLyZ!_O_v$l&jOzc5uAz7l=bu4p|Wyn!cbnk8*j2iL(55e`n zfDr$$+x6A;;r!j-^$2(bJOUm8kAO$OBj6G62zUfM0v-X6z==hmCd>X@A;7)_vkNd9 literal 0 HcmV?d00001 diff --git a/tests/binaries/div_zero_binary/Makefile b/tests/binaries/div_zero_binary/Makefile index b7ecb4b6b..f3b10f0c6 100644 --- a/tests/binaries/div_zero_binary/Makefile +++ b/tests/binaries/div_zero_binary/Makefile @@ -1,3 +1,6 @@ all: gcc binary.c -o binary + +core: + gdb binary --nx --nh -ex run -ex 'generate-core-file core' -ex 'set confirm off' -ex quit diff --git a/tests/binaries/div_zero_binary/core b/tests/binaries/div_zero_binary/core deleted file mode 100644 index cf376504d409cee6280100bdae438bfd044869e8..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 253952 zcmeHw2VhiH_V)`U8WBibsbU#-(M6PG5&|T_=mZj&Xn-*VaV;}LG9-bNA(=qL!XPyU zbnMuJYr!7tVjsj3{i_V<0=6|MDu^XE1Y5py-aTi^OGb+5ey-=j%kQ3Z&pG$p-@C8Q zn|X6{^T&0IiP5;kYA0zSNz*Lc5QY{lUF%PBETJ_n%pk1#WUnwGtcrc;z9v%IRxJFa zILsiC>IOtVy(=@dI}Cmtq6yJ?rPj>lk$$AsytL-R{Ph0VuVrr6e$Bd7u>as3VL#h~uKhUQ zX#F`1erC>}Fw9Tq(?@#WUi$gT&u{Q^ke)HDKYhd|8fp8Y$nlX~aD9aNsrktaEspe~ z?lg1f^{4k|CO>my*M43K5Y}IWpWop33wf&fN&N-(($7YIZF}kGAV2@`^E)EuHS@u! z#);PY_}tx0XHja6F^m^|J+zQtz~E;hKgKXWJ;MO`X^svoWF4IU#`TVUAtmTL zc2Yqu+Q;J`D&ck3tutv_LSIc|Wc~g^|2-pgt}L{V4BSn!Q|*h|GCku3r+d1cS zH2c%`kVtaJ4^0VJ)%OWlp@u`S4y9Cq&OKHwbiCHLO_0;69s9(>hy4SUsA;tSWKLLp z5LI}N9!xT>Lo7WN=<5`#9GBaB8`}B2gw)zVs=Rc+n)`>5OnVvaD3ZTetJ-xEK=&ru zQ*#h-e8n*6-2A+8%qerooN0V6V>~xuna(|UUT7q1bZ)`9vCQWVLA{U8C7KlyRa)>| z!FcRvnU3wp@M!p0Psi>XIUzol)3Nzu*7LENj=e!WAB*YO`U%?ykD10}Ajx!$V{?s< zc`fRgGMMw^V;UW!PGCLB8Xbd%kv_S+rplFEU+1b#wk5k~SC>vLOZK?xJauZDuW;2R zmsZTO&vDh(*wtQub_Uv?#t&4%a^~z|R2K&WM}n;*^o^|Kt4|^cz4oa*TL5v|(Z7d&G$77p=7FH_bGSk?+Z) zpWehb>karkb-)ja8Ea2XN=+J}+4G7f*h^ituCj_c zkE^z5!r021YFCkSY9)G>Rn=6Jr(KzLX{hI;SY$3^fI;Mt=SBTt74XqxH;q3_;_Z^R z3ln|txs$eA*0)iBc#9e|>sj7(veM(a!v46lh3PpbY}*>9=edLW_Aotf1E}8_rpI|9 zMHmnUgaKhd7!U@80bxKG*c%37;2bz+Q1{Vzoq*@8hqrfhR05s=cqQP8fOt)C%$FS< z_n-{;3gA6}ec%KauW_)%%qh@f8WLj$^*k`%M|!+=Z~LO7BN+{H4%E+_2SYUtmX)B_ z6}=P3^&W6a!ojoSz1qo#Wey!aSihXWxM#uQV>_s0!I&OcWUA z119>8UK@QEi9e%Y?8yV7&pG(}R;%dq5dJf>Sl;BrxyH_&)?k<58f`27d``EZno z{z+Yb58UUS9`PN_c>YdVlsKXm2801&Ko}4PgaKhd7!U@80bxKG5C(*SKQ06G{D1KF z1V8`ZK2trVYN4T(f5>-6G!38s?+t%*;nQ}!UxT+o*v^QF6q%9ltDqYFn)|6cL`LNM zMvQbjN`I!7ZoPna=VHmDyb1Y%U%Wq~-)rLE%`@P`_3D>{7{mSa{sMI8%Yd#MRW^*_ ze)_$vS;X6-NKCY;+&5i9W1sI;)(ZtAnVivgAh;JjBpbd*j{~Nj= z$9`_|Ghzbzu@U9Cp|Rik#8n)42&7= zdjY#(eVq(9FTVmK{H{j~)HA{HYv}kRwFzje!2daDZ-ohUAJhw={qG>(0eCCmSXhal z1O5R1A3!}9>@I}1OX;R;9OxgX8>k-x4u$rk00)6hcUUHXTm=4Dw!(^f2$pl9emvMb z2r-TaIUVx42;|Gb{uEdmq5eIzB|sbgblVZoM^DfXh2=8P_W^r5U=GA>1H1|PxD#x) z!!j3q7lB_P;9#&Xg>mKqx-lNu-2wVH07p?yW~iq?{d=(M1NHGxe;Vq~LyW5+-b1i# z0QoYIPk6_5{QWz_JnKT96-ySZgWHG|*oJ zaw5i{aUBOSHbeb&&_4t92~h7(ZEb|Ff_??WssjH6$YC+m4}%z2K>Z--$ANJ{#)8j+ zJp{{Ck_Q3q0=r%i{}QM_3bs7~?*&`|x>WE#6ymQ3-+|CyU(nqL@!tc?0-H+kEe4x= zKzB6Y!C-q5EL&h{gZ3$aqrmqmuxkUGO|YB=@)BtK4sbL0Ob6Tv3l=xn-2u9ISjK?w zmC)zEVevv8%M9?p4KNvSG3agwd;>5Ua>g$}od*8TLF{u?O}z~+2v9{`A-Ik+K)2mE89%?!FnL3b1A-UA($(KI(c2Hn{ZD+y%W<-7y-iNMKR zusa|6IURgohA~`=GU(3(8~p6%dT7Hh6|DpPkDy-$c5x7EHQ1gC_3N-5${Mga4eCFE z?s90uavs!=2A}UhKLFZ40l5U?JPvuh05OgOT_(u4gZ^5u!*UPQu}p&YOQCHF)UB}G z0LxIY$8rKJXMp`sh&usv8vv)k@;2x9*^tXV%C&*6$z6d_cL3b@Ic<8?wmKCu46PDXxxgD03xPa|)@XrVPS&+j8 zAm0ZImTy5f2Xe4LUk$+J0?_{pa0ImdAJjX*J`FG(542i>cX%XFwe0eCUs2(Wnxmfj$r z0C6h7|7Wnf8*-Qo?JHq<4cf*)TLA2aLwf+^2Iw~hbk~F3XJGRX$p3)lF37hM+FPK0 z9JC(<=3iQ>Wn+);_@Od0`SndE_AJ8pQy>zdFE;U{eqHCg3D!i-j29Lj6kc?+!leU^xQ(PX|03bA=@zVonEJ zE5yhEyZ6BUC5Uk&w7mqjSpEX-Cqes#fMMgK51@)m|Hy>hW!*Ut;%>_M{J0T|iy!u5TKLl-9 z&VxK|1br_+E>A)GKQI@F^(e&0@)7u53i@KeB#;+_Pb{>*41U`n)>~xvEYzO@n`vOv zijGh=g54n44%$Fp2r+uYvI_j3hCXfpT{gtJ4*YUKw;GlM!Twu_cQe$h0Dl6!km5h1 zLTWnzYr%g3_&pA7X251xMnU~!h<`a?F)VhdkAXh&V9_9M48+3E?*~G?8Fa~z7nX@& zi)9S7KLGkfhgD%e(nd@{tq zvI*=5LVXSNeI2w-g_s|M?^N)sg0?dN&w<4O^#x#)4$F}sA4+500=D?fLL2A~g7{ZK ztPKz+2Xt=&E(QBTK{o{C+n|0C_-z6GBcOX7?E8VP27DJo``b{z7W8L8UqxWI4%)Fi z0{R|+gF)XHY<;jC33iu5-!mZA5U^Vc@-5IVMHmnUgaKjT&&fdZt?GRk{w)ekr>N(} zyo9D{hWBL{X!1X%-WSrgN}=OXg{CLyJtEX@COx~GSSIv8qU_nu|BiY$ftU2`XT%q3 zBHv+PY&XjIt^znbYLltKzh3q0Z>4-$|ExiNEmAhd4a!d{yHf}qgxDvRhO1P*{+E@V z|2c(L)vV#Q8y2>|p<3A&RVb_`G)+_TA*U%ETcGgSa)r4hkFHemc#=7;<6Wii)26VT zWH(_0p_gz8p^tDmVKd?W&eN=D(68&Uir0Er_}vm|O4P5Ju{x4uy!V48U4fQCcrKmm zG|%xkm*r%@Y%$f3=F^Ak+w({Yq~kYLrin#U#S%g=#)9@_Z%pPOz{2GS-G;hx!Je$x-=pw8jtRkFA*g!a!a53R!gx3+SAiRt4KEekHA0>R8@M*$l311+5 znea8j^@JM;-y(dUa693bgdG1nl7A$Oq3t%F@Gpdi5&n(v1j1y(RKoFuHo`Lqjq7!H zGOus8YoYz9pD;k!M%YfM{YP!jiG(J?6A8=dIJJbZg>VYBZz9=4@&dvu32!BQnD9Bm zHwd>7enS}hp30{W;b1~-v(lRg(@39B$ni@_ZXjGrXeB>4p^tDC;YyA}*hc#F_f@|R z!X<=e8u#wdMe8&3Nwa>4D zFZ(m@D}Q``cI9sP`>pz?+o2loAENcMuj9jKB(U5>2)0;9{s4@_L{56ETxjyT#DX^W-3EcNp6FdMbh1y@qzqgVz_!jNhED`u&lx&lDvm5uQXi znXrOzKH+tQ_YnFCH{GD(yiW2bgg+9-pP|~1BpgXNhVU%H8HDE%UQBpB;bVl_jVj)& zB)>zrov`~qRC^-fv4kTCP2`_VvYqf;!li^a6Rsk(k{|Q=3h6&4{GPDinX3O}!jlN| z30;I25#C6658+dUn+QK5{DLs{EES*gIE3V52{Q@v3I9P@M|c_G9fYe0UnBev;irW0 zXRH4D6AmTJB6Q!V+Ve;*C7egNoZ9__TM6TDQhw=#4#MS(#e|m;-a>d6;nRe#6K*Bc zrmFr25+)OlC!9=JLO7Gq$b-mTGcb?%T1ePPxPtH!!Yc@u6W&1BOn4jNU4-`&K1}#E z;bVkP6FyJ)GT~anHwfP({14#=gdY=rO86z=PQsrEyO*f>6HnNauxmC%%M7$#tj>q{ zJjP*=y>sbvlh+y|zE98oMvSBTmaI>otJVvD9>IFXq129_Td;0#(BxJ5`Cr<%{O-F@ z<#%$FPA!J~ib(z`O1}S~b`DohGW@QBKE8`c=JU$M2KyUG{*mlgkj&?)?a!)wIsUK3 zXBMb|zb+XV=uu2!^td-tDZbn_bG* z@VN@>Yim3;B{h}oU}k;&)XIvI87_Pd9Lo^W*SbrTg8rIF4=?GRRZ$WmXaMUYhpQ!$ zJ|YMR{+V<1?aoISAZ#P_*Q$1-AIqk5ReN&-#UTt3`UzVI+0TfHKIPB*iRMd{4Ab-% zw_D5g$}aIbg%FjetoToltHlmx_4enaYXUgA8XeK)|$u^Rs`MbX*{~Zeb zB)9J*J;}y?S@!>=>;i;l?L2+HC3Yx%JL%cph~@-k-`q=~gV0OZLYUZFwHy6g1}J@7 zKZ-->C$v#}JIO}>#6s$~K;aX_zY$xg-RK`EqJ9b8WM?DUM{+cO$3K*R%NYv&gzmGI z+(xoScE(=v)r`W8YTVc=rb z?j^aI{MtxwjDPhcb$swGj{F^-SSVT2^$}{EwmET}$x4jYR->sW!Pos9nerRI1~?mr$!$vSm7* zpH(R29Q-qtY^qh*Oz5anavPz=qh$Z<^qc@aPr}ca@cqr-8aeOXAsi0pqRsKN-WJgF zDmKIVH^#w@1s9wYe2g{P?1{|%bHAL2#V|jOvAAE(!`L28_FYZK2||sJ=g%uWkENeo zMd(d|jwczvAA!YOqt1v2Dp5%XUFc|kD+*A=>KqPXhYvG80t$^83lEiWs3Sl_xm^US}`_T&|+ zfBt>8Czv>jv%g>^B!Hz^L5H8Pg>V&ND`9|eD6>p?sF9uax{}k$KA!S$T(9&# z>eo&35Q;bC3)OCBB>z_Kcb;lrLjKHK&J{|}JTIa3Vj>;}kpGEf*OpzW^VWX3^0RJG zXd*j~qC09KrtR`{nR09X-F6 z^Oor7e&IqLwdD$1-d1QatL^x?SxRocoa|mv=vzfdc9tiVY(7O{;5|ZWZzJ>xmF%W|e5Whfccntp^$N{2PV@a_&wTTW3B$Rt)3t#7*DxJd zaew?kM&D~cc=EP>uiok@JMy%clkU3MHZg8#th4_Cwr~5+oU!19#(~rCzh-*l$X(XA zixxEYIbdDKs2e((9*Lc~`HZ}aFIzi*>8OKd-uhy}ohKc)EN0E5qn@7m_L{>dKAf>@ z;;lO$@HXWSS@YSzcTat0@rRZNUmA4k=i5HM@1n8UGtMl0>-nd@=KVM4V?>&6`ZKr2 zHYM{BBoe!h%X{&zBcawpP4Top=i?2j!_FPNq_PkiWP_*~Wc+^H$>50@;nD#M=8WUT zkst!#S8sop!u@sC8RmyM;jtd^2v|^u=N6M-vA}{dm+(64Fg||g4G|0L`TS`SU1y*# zG|%Ph9=08B_ z+#g?WMf2-J=fy@pz7C7#$M)>c{qgl#G{2lE{qc2MG(YZ-{kcEBo{Q!;J4$~GNFU9Q z`(uCZkFWot`SEoSKWE=brsw+k`l*ecKk+`MjC1d zm2V@@SB|0YA2TjpGva*wMCW3{E@Od``@#DUSO#p0JU`^~PVcLc&(r+bKR@I9;fl4+ ze;55u*AINZo!1|)FV3hX%JqYn@6WU09wJ{qEcl(q$M@ZNo*KvJk2b#Lk@I*Dho|xQ zc>OZJoQGDV?mL_2tIu`YE?1a%g+e!>|0??2_Zo#Q%N4c}TCP>HkI;RSTfbj!x?bts zgl&Y58VJBO3%-4R&sz)vr>DCLd$T4Zu0YvQnF*D!uAY8(!2AN>?O1jvYmtE-R2p^ zz;RKvo_EW`UFYBIRqcWKgcmE^UH<+>WcM5AA4pXEXh$h*9;DF7zwJP!XZ~AGRQWOg zEjyHK`Bq{3FonL+3jKtM-v6{cNbTL#yfNJp$$uMfzYi#V`&fn1=6^HU z`+x2Hr~MD-uidTs<@xhlFmdH%4k`=0>q-`m%!as1Kt|9o0xS+DYE*@(V%zua!L|Gi}1fAaZ{ zw@2jhm(M@>{HLAv8)n-7@$omf|1_Nc{9gM{&fn4Vm-F{(s=YloGVL%uV2801&Ko}4PgaKhd7!U@8fqi12 zO}!^H@pJW_MsJh)J>#u!(t9F5R>Fpm^{T3+(V+yDjuy z+!m91|82fmAx1sI0)LDz5X6SC!tar7;eIL4P2bS^Y@y$|-oo2am~&W_fA^`pyUNqw zEpq#cqZcCD`a8nBLe&8GA5sN>b01awe%!F;h^lR}8aL;`+rN9qBK`NOHF}RV$MKQ3 z@jZ>K?{r_1-dC&*RgU~#G)|(~kU#rZR!l8Ps;fyFNruUwNNz|UX&;$3tg@oIzF}Bd zb-fmDrFi4~IX>^djC!6Q``R9gzh|`tMJpD5Qmkq9hgImWIzEHsJ@f8tHShHd{rw9& z>hCjB+SzyyG_K3ldyzRmc9}`~S(G>HFChJ)6&1Z$hq##ZwFA{Sx$O$l*BSITlip*{ z-%a{HhWL+=zOO<54C(tB^e>UVzd`>x=?56}?~;C?LH{x7eV1L$ug=zo_7&+bGw6RJ z{pALIJiUMV3WNSo(qC!NA4&SF4Ep0pf3-oMM*3?E`jbh&+@L>&^cNZQ#iXBa&^t)K zz@VQ&`h^DlEYdGB=;x7su|dC-^h*r-Ye?T{(BDG(7K8p?(l1=8LEew@{w=DxGzbI2fG{8o z2m``^Fdz&F1OFc~(0r@9uj1bldB3dF``usP!}p2($}w8{s`G63kqTMv6!z(l-cDGN z`spQ`dR*}3**{&|sa+Jpz#owT`F)i?;#!lOg#lqe82Hr;1bV6So@jv*3=N_Ck*cAk z&oBEM+(q2a49v~VAJ;7=v{t%nC#la34^bUisK53t{N`s(vuNqs!SMHRZIEuupBZ+Q zS}RQeM*biYdyGQ|{y@=yo?}&ijBJN~dVdzm$AGV#k3lt!G29P7urWQa{7nCj#7&3k zZkqdWh3tn`=vV%lvM>KnB)W+@M*ch$bHrt(GVg>YXv1RC|7x1iua*3aIGF4iu@5YT zA9_mnr9T__J-JMEXvD$v`8Ol?cN+Lbd;q4>i29dTZvpieZ9TO0P$3wJUY$#ffpcd3 z#9|Gy^Sa?b*Nz-tu;?ob|`&RVD9I!7Ok0~}=8(`AX8oQaEi#yO8yGhG5 zY2A*FouB>O{fV~@`77EYcWBRJ#j*3auy2fyeEO&db`a==4i z?M|WnSv={l1jIOrr>Hn{Nq;oyy+um@9O(;5-@H`mcapvbh?sv1<)2RaG|*$e+6I*m z_d6H#*speyiep#J+C8LiUZ(UdIANhY2@Bc>Zd3XyT??_v-gddt|CRLDlipA39rMOA znDl|8mA!sU0zFEHz!vLhQ;966jco@sbTuDvJ?s3_e9HzIO9m{cH=m~B=j&QcTLy^y z_})jjKy_s}iTDq#RtyR;zMW zR@Rj0O{Ffq4z6}jrOKkNqO96k8D?&`d+MvPOFipZdj5JZE~Tx5lxneSh@hJ|OG|6@ z=r~GLLhhc55_?7Uv>L4>)Oj!?`?Ok@8c?ZgYJHh*uViO!*(^O&c$yHX0+%5tq2Vdrbp*7*Vfjk%tNUuVsVvJIk8i_o}%tWyy{Ms zrSx1BJR~)2WEws@m8y-;&l@w=o|=@JG$L3Z9;~HN%~p^%IlBn=Kymc1J76p<-QXYp z#Wp3emC~Rs>eas(*n;riSEDaD5RZd+%-F1^w7zY1gTMGp1h?UKg$1EI#KGqxux&6b zxUa?iM7T{X*x)k~Y=iq(v_V@e7zgvg=Oxev3+~I&25q^tZ&U*BhrGwBM0OhVykF8b zMcN1aDpI^bZ!1=D5)FFag-Sobptnp=dXqsPzyk!7W`lmpB9+G`gZ|SqDZe)(^Nc@B z$%zL2QKYvR^l7BG8uVW3*K5${ko_uyehTT^4f-n54|yvx&v~SG81y%h-e=H1MEd0h zeKX}5FzDBief-;z{ca?Ex6;Du zFG#=AptsVv+6?-bb5tG!4CgNcNpCgiPayrK_mm%=^Wu3um$oo{_=92t+LS$B8}NBD z`k2D>c#XhiNSI!EsupvYKKwjCJxq`1-&`zV`ta)pYnYz*S?nVy3>GzF(ty(X>+1<1tX3!79aEFz5~o9~+n4r{2%8?EpwJ zKBimu)bBewerVFKw(tJ?4azB2zuedB`ek~2;t6PA;m(v*=r43Q%p4N2)?FK;je<)X z%mwe$A@4WA!pC|q#bSh}E=ygVD^+h$-$8+@b5_HMlvI0)Rxu)7eM_ZcBvs0tb+cWS zm73Pzf-7Tpc}15YBbDZ^zb6#CD-C{Z7tL=8+26buejF3=seSa@Xz<(J_`V=}YiB<7bUNq;Js)qwbHsYg#68~+ zhWidAzi=Jaqs^Za4EBD*b7A;-3>Llz$md1vU#agk@p(?`*GlH|r1tNW%-f&;8zu9# z@?e@M_}Ls5{`@VNXCQL?E0tOBvpGJW;cIMDhlT_1JTZBqUnv}ie|^>Q%3tU zNWtg7!TUz->O6Kpq5A!i^4E;lXX-gz)%eALj75z^xF_czqc8c@25C>+wX5>zl7GGh2|;u z!`F2z?+(oesdiCx9&O2^Mt^Ygo1+58!GwitDv-9Z?Q19P^z z-_G|tcs==PUbAe$hlZi}6lfMg{vImZ*;-Y<)Z7Wy(eKT01N$+4{yE=?V~bx#KE7yC zjvMrt{VxaEht^%MQpTpPzfa{`*|JOM%}jzdLrAN8V2a4l#V5 zV%XnlHg$Y9^Y1QRqGbNOhx6iiEDvCNR*)Zy0fX!%*+}h|$wVj*S2hCH9 zL(LQZ-hlCQ;6&rRqy#NtpBM8sg!{Y}IzL@Scn=|NNB9gW{~lvk_w})PgYozDD9-^t zmFM$Lg}b{C$>-NQ>3-$z>^tQ{rp6@4fn-MKE4$gyrziUeGvi)+LZqHIZ zCNlYyfN{U_XOnq71oywB;C09CL8Q;)+qbLpzczYqgVz`HXWW0cl6^2vl#1hd71vGZ zC5&ROS>8~e``ZYOcA@-Ki#Lj$(Qkjr``VwI@^t*h`TBOl@BZT9_lna@Zc5`XpuW>E`2=M*%cJl}gy&11&k z{`Zrvud{eRxsux%gMs(H!knO|VK=$=!S=I9cy1V)_dnc?v7PnmH*;sfmwWJ=At{>o zQ^hAgx5F|&8+`?}^L04O%=ZFnr>{q8Ec5a08fxdyQ(5MG;9EJ#^q3U=tZy=^)YDbT zn#T99OrOzykkC)aaTwVyWt?H2j8HN@`?WX4P5l_-^{04ydp*N>8{?%?ygk`wy2{@e zFP-A?=hR*KbfxR^_mxo@@hi+-d5TUL5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG z5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@8 z0bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd z7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4P zgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV2801& zKo}4PgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV z2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+ zVL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG z5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@8 z0bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd z7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4P zgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV2801& zKo}4PgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV z2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+ zVL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG z5C((+VL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV2801&Ko}4PgaKhd7!U@8 z0bxKG5C((+Vc@r5;O;XQANR^!O^b!#ePHPh%lL`K+CkS}e$10Cfq`#sh+pvZl#?DB z^vE|8(Iyd=7_tG-?Ym(mO2K&H#dgDp^E;qFOT{He zNO6qg=k5gm7!1r`t>$0HPaQRS#xyT^{$4m;wI2YDxP4f3qt2K}6M-?F>`;w<&HWD7 zHAYlgO=HCE4-3vi^ov$HZ6D-_e)^o}?Zbc%*Z0>$GU^*VXoCIG_Qcx*qw7YM4P&?; za-+?n?PXCUCffAwv`v>NWIx=x(a(FmviIH{iEXqYGBTf-1uiz?+lVG;!(!6^YMRl{ zO@2nqA$vyb1IvN1==Esh)2%ekN67sZe&{JhKVyC@o5-G#{cPm-B+VBiK6j3CWaKpNu@ekr&=ZpxUX(epFGy z`z1ybF~!L10lCD*P3y^sIpoKPwpjkG`%%+vYWwlssZg5c6_YkJS89RUO@HWwY^`DV>CB~_|Li>|ruf;m= zm$`pUbBx0{Az9Vp$shLy=w~y;=N$*5M)t-y%-6inL;F9xj@kNVCbZcmDh>>aco*dNEq1;@nwvW}7U+<$Prfq}YSQkLf7WfAj%{X3&t zPpoG@o=--eIB(t=8rwO}{~DfktC}A?FYMRNEyFQ-zg?vByz(H$$zWcZ(Wz6-ye8pjLL`O zbU;BHj^is+yfN?QyJ$aU*pFJMUo+|Xd@AEb6~CoJ@y`1bJPu(&#A6!s%=z|NtH#gc zy>_FL+o+$GyUM!UJ{^XPf~uWSa9I|(@tC=P~4ZQTtkJb9H^i}=x`FsqmSLWXsH<~g>jslO5-qU9$8+J| zdkH4@YmyHJ>0Ghc)OAU0+~34(&LK$8ovgtJ~yaqcDb6Rsy5{Gw_fMR+n{0pWRsiwW;0 zTt)aSVSsQm;pc??TUGoVLKorVgzE^~2@iZp+5eSr6yd3ajf8g*K1aBga3kS&gm11@ z@wO21JUE&w0kyy3>&lKFn)Eva!Fw*$a0uC#67q4Hw=do=rc*oLpYBC6AD=WjF7S01 zHEX=9=6QKAHEgAhdKzSo%k8}l?donIN7poU7hTg{x?k~e7&Y;E?olLvK|IlI675a0 z4@IKduBShGJ7GoYrnwy``eb^^V%E^t4g+s}km<=Xl3vzQOW+m6umL-=}*HpQZi(Iu;FzCwUx{_L# zt2(*FnKI3pYEHGMI9*PAnmMh+?i`UZ-0m7VB4ea0V`S>6k`dHvC~9uO8aXy+jx8S_}qy__PmMXCK*X7tFCvKB^M@@xyyz*%Uso-Omk+6HooXoOuINgw=k>B zSy7qk^voDGwYH+P%%xdjgjvbum@IOuVQ%5h>{~rcqE&%^2m>PMK6(pp#KlkefXrD?M}Mi1d-e zwfyXfsi_2?AbZJ$CAAf9Pn~8vJtsVUTe5q0b?MZyWRI)PQ>V6r3RhinX~iu299M0P z9kReJ_n=Acnq)tBJ1_O(>p{rS}bg>KlgXn{cUXnzO#rb3*FK5osrwbsM`a zdtz?ZF{xT{VQzt%8(0g?l*vW8_Q|;gxSz-xX*LhnPS2Z|GwF1F!lY_bvLUfa1xTG? zcTrYal|02+?K*~%rj(cem3qwakIwpvO01I5luyB*mAQP zQc|=jFyr#ZHwC!-Db4Ox}0 zx;hPZVTD=43bgz}{U}nHHNIh5LrFtv!_)>>nXA+})mi2&ah5_mtX??G6lT@dWtlTe zE3(Wfqlc$uR#xkkk(pKHS!Q#lyCN&iJbL)>%(@y~KO(b~D^p8V(`a)_W=UARrdHRd zpuP&inltO_vxbivotBbWSC%#0JUVT7W{Fd;q-1(#>y^~Z8mOd=PD{eASz8iTpB}7xoFSXaa%WIqIVUZw4g-WCW6a7qRUso!Wysmn z5LTa~My@9@Dx{xN;SL50X-h-Zu!JjXL+Y?@D#JpD^*9H(;1oUK!qhpb!G@`!h@QxL z$i@@0DRoT^y4Jd@g7xWP6weN;yTa;qVfEUux-)Dj&JtHJ=A4=kVq0}W4bfOzH7gWmTBX{8F^+SV+6iHOT4i`W6tk={IQY^~wV@=`Q^RaED=^BrVVRYL zjn-8avacx%MXxCf@$7U$X0YoUiJ8?0tJ5mO^i^pv3&^Ib0{RWramS~et7e25xrc}J z?obCcWiSiKzBXh&+X=amx&~()*WLB7((*rOW2-M7 z`ogitwoG+ZOO7ZqsNi}D{EXNPw(6v;b=9#B0+qPy zS*j~*u*1*HxoY8WNu_g^ORKD?hTr$XK9k^oik6=@v3QC-H3c*49OUDw0lDA7 zar!v*A;KTlV-jeK9AkR;e)l!EJ-FrX%g%^oI0dffmz{7&EBnf$=`jThRxW z0Z`Z9Y-jDAxTxDXy$;B`wEHEo%i@+EF#o`A7x!2*=9S!6$GkRvZT1V`n0;_Tk2T|8 z83URztbrIqU@3>C63ExL|7?skw$}k;mUhpXAKUE(3_}5M-dqWb0|?-4`9zRc!g4<7 z^!-ZEe_8k3rLoreaorxm5My4YAdU!0KNM^Q|4(5hH~_KWxPOEt9mwNt7xjZ-=>uc7 zf&KtQ|a<-COZ->}96vYV`jTbl|^xlN|rjCbnqvc`O8 zeSNF7`{^cY_whsW8Uxm>j+d?*J*!{Jdh0OlO&`W`B_v6F4*btOT8v*hfUuazS-J5x@f8Myx`g+^K_130dFM__Q z?@QR4V12>*-TT&rdjh8HraptSGyYw_!n&+a{I(~5hMbPlijn=IyvA<|t&Klemu3C< zFNi#UOS^Ucr-{~uZzn9c8FOu-eXEGcRi-#Dp@}b2_ZFlb{AGEn&gkkQuJH>8l)=W8-`I zjUOe%ZGX|atXJH}kl?buKR?>hF)wQ;{6%kTLe9FTi`&39yRqlsrpveJwW7hX+pkR7 zVQqZhx-5TiJaE{(5%RBT;J5|Uuck!7qG(Y|8BEBDPT=q3)<|aLoznhU#HKE zk%tCCcWdK;YZ8v~qP;$!it|gp zph*Q&DSQ4;2?>jzg2q*_!_aaXw*hBYLY&vz8lRo_{``2@uot`lEqNv1>idJ3pMw() zCsWgS+ym6lj2JL%{ngf{NwD>g8^1tNc?~kaNmG#1_yx?DRX7O};=-)v&5cDuJcD4W}*Qdu{x$6_HyRDMx1o+_`F8X z;P|Fd8DAzWNCn&N@6O9Q{$Z#f#lL3Nd06f4_u+=p1Lu1OT!A(A zNAI}RTYEMh07kx0!R@CIMzgb9tre!-?6KCS35nJh*9?I$*7+w6)ap~L^Vh^%=ly`E znf0Gqn+C$}3mW0zxY62lcH)a;<70K(^9E@3N2mDDd}+<9Phc?HcVH{*EvGe}*K=B9 zU2kh+VdC~p*2c}&M)>=Ib^ZqlxZ}6keuV9MK*D`nJ75Zz9-cUVr*`4v+h#zBc{_nV zh+V72#dY_9upNZaT3q+;f7{j3v6)-?f$%1`Nd`*iV`iUy2j(ul3eBXX|?d9(f0CEaAZkK^0*p2T9UKUQ&A25)t7i6R$WM8uXVZM zM;2XGaM`3KmDE(}72xLA6}$}rr`&LzqzYf}Fj`3ur|EiuZBH*ax3L@y%MQ3UVSm0p zVmwQ?Qr87oWq(p@cs-0U*q^VT7}N1k1qJ)VD*N+w)DfV=+}K|iKxS;hdRU=wK@FZu z!zLBXpRcbN`TdhTe(r}c75wqqjb*-`V@#)>Fn_e+{7J24Lj`wQ9KVe!jJzJ0Z}#Ww zRlKf;Q~%KTab;p5EK*YNFUMhp4Jyb9=O69<58E64&oTHfr+yiE{jopi&vH5W>pO0! z^Zhl(S8#A)g~!dRYN&+ge*@n?A^eUF361L?cTcF}{;#0>a*X-A@xO}v%?3NZuQ$}7 z=l;Wy*L}F@K{U{t!j({GKZ9CCVL%uV2801&Ko}4PgaKhd7!U@80bxKG5C((+VL%uV V2801&Ko}4PgaKhd82AMS{vYlL%y|F+