From 278ad48422c5b104a52dc030954055dfeca8844d Mon Sep 17 00:00:00 2001 From: mappu Date: Thu, 19 Nov 2015 06:21:53 +0000 Subject: [PATCH] commit all archived files --- README.md | 14 ++++++++++++++ dist-archive/divis-inability-r00.tar.xz | Bin 0 -> 1260 bytes doc/divisibility.png | Bin 0 -> 48872 bytes 3 files changed, 14 insertions(+) create mode 100644 README.md create mode 100644 dist-archive/divis-inability-r00.tar.xz create mode 100644 doc/divisibility.png diff --git a/README.md b/README.md new file mode 100644 index 0000000..1ff5c64 --- /dev/null +++ b/README.md @@ -0,0 +1,14 @@ +# divis-inability + +![](https://img.shields.io/badge/written%20in-PHP%2C%20C%2C%20Bash-blue) + +A roundabout way of testing divisibility. + +Uses PHP to generate a state machine in C, runtime compiled with a bash function. + +The ideas behind this might be useful if you are in a bizarre environment with MBs of executable segment space, zero-cost branches, fixed numerators, and also denied access to any real division functionality. Which is to say, never. + + +## Download + +- [⬇️ divis-inability-r00.tar.xz](dist-archive/divis-inability-r00.tar.xz) *(1.23 KiB)* diff --git a/dist-archive/divis-inability-r00.tar.xz b/dist-archive/divis-inability-r00.tar.xz new file mode 100644 index 0000000000000000000000000000000000000000..b8568fd4c350a0c5890c7470df90c8d5dc5b775c GIT binary patch literal 1260 zcmVuvg$p>;qMweGO=-Zk? zzDmw1qxYh+5RsF}aW=@p^$zGi_FVV$Z5^8M5iJ%31j^M5oSll>Oo{u(Pq;Xttxqid zJsmK?>1*c|N9kcN!gkKy01d&LJ2{9Xqp+;PUldoa@NW%R-5TgrHIRl2ls+(!6Rkg6zEvB*rU1O$2R$hFfoS*+*AgS0ky#*=d#Bw`<^JZI5(9|H$_eH)rdRkQ7 zRE(o?v;0N*Lh0~R;_=rCs4ND`%gnZ=Xw&zv^+9D~+KzjRP3+uTFX|SPjRmKrw;`A^ zlp~aq{2V4Q_Qw29tah2H+qk4j+woEu@u+kYN^3Cnax>16hQ>=+DoBJleJMK9z};3e z4lU7TA?W|qCkV_KM<6<_OO?775?q_}kf%SWrIU9ZJ)-Koi0?N48eUs<5Lws{a<9`d zyW*fZj~*lxHejHvb0stoS%laF!T-7={T#yN*Ck}GN6k8UZ`N7$X7lVyFz-rqzW~+E zemu=!>Z$y+4=mm_d;_^ zlhAt%`~5M2|M7Q|>skz^qsn@ds7m{=*MCeHu8G*m6)3;7hHoH2!I|tN;>RZs-X%O& z{4AWxOIqcvYatw`My;kwU#gKkx3G$-Ij*SYK$}wJ7j%}qgUz=k6S487OYEJY6alaw z_HPZ-AE2g#zX+U>eSqzOwP#R zcrKUZja9t*`c{A#C<*o0qDkB3hh~}rT5G9AsXBcG2DDMRp`>+BkeY5Q6kIxqpw^We z3dW+|24wy$r8$m?Qp|zTQ>Fp6*`y9p)4 zcF-TmA8cIg)`s#sEjD|i)kYdo_r!r_PCS!xlouqFTM@^Llt2OG3@!6|EjjukN-`M} zNgd?0VTMUg52l`g543k(2}Ch+MrR}@ww>{+$As49sk)}>^psj5iTz~58VBkn9Zoqx zAb*^)YsQp%1S*wNJ4$2B8jK&3ZG+;NCelbk$3nUbseD9wP)~1yw=`RENPqzLZlewy z%%!)moJ~a6!WGsybjizFA&T`K8iZoG@kYhs+&zDc79ZmoVUdLW2Ga%M3yH(A}p zf@DD|1QVb{WL4U@7pEIrs-TQfa<2bjAi882rVfBUmO)_-`Z{wTT@l@gaP}kJ6eoW) z0LF>?S;fgkvcjppLAlLbCDI(iAa%!N z41l%*{K?N;#sAp|OZ1;g{}zn7eQq!;3Bz{LxTnC%f~qpe{XZ68Wk=0N%rwK^N7;TC z5@FYN;6sp3ifU>Lw0$XAx(@%ZK4zL+$&b=U;z`#0@}O5<0000Q5L{5?i-TGK0mlh| WPyhfc08K-&#Ao{g000001X)_9d0u(| literal 0 HcmV?d00001 diff --git a/doc/divisibility.png b/doc/divisibility.png new file mode 100644 index 0000000000000000000000000000000000000000..291b65f6b7e6952f71e6aa2411d73c7ab701e923 GIT binary patch literal 48872 zcmdSBXIPV4*EJdxq^R_OD7}aT0Y#J!0tvkZLT{oVC`ysuj3NjGq)Cx3p#^Cof^-n2 zE4}w7y$I4n`R;(C?q|Qx`(4*LKhF8FuYIvM$W3Jm@T~+QZ$$1hG2y|9K z9;yKX;nRaaC#;B00RQC+DJ=!?FFbn^1HOfniWCTx7kqlxlmPgd*j8T8 z9t0x&g!>1t&IV%!0#$e_K&22a#*2F+xexT5dQR6WWnz~{pE4;Df9I<*J-PqlX_?O4 zREEKxIyyE)ec0M)y{o*W!f=$iDy2xnira+r@lEMQkNoD7GvuxELMkPO;dw@th7x*O zobz%QjdIYcT67n_1S>f&Guj7jyMOU}MIq|6Q0(L(fikqn$*ZNe%J$rdw)e2l(zRbd zFuwTV!-s>Zk=@w4*vW>MISe4s)aMudAkY=UgAMup^~(L8_Iak=XUOkS2dgH=Z!m8g zr3zUgS)QtoS7?z}--AFo=b!|jDlz=*E6O?ukKKm~4dOOPu~+no$o=k@oHpVI9(mJ# zk%QbD*CN}=<2B-T%;cB_Z>>N3Jl{XY;%eiGHTx#9T)u`Kcsnm~!G_Bt;o&m^P|nF; zANplj(Pt8?AT!ha<3ql8Yh(w$g0#T9Dt*eU4oe9Jb+;p)J%Ax}v2n^e87{7+#zQ%~ z)3uxju|=h*=!2$MOTB{ z?&~{4y~5wpa5%4K2bU7Q{@e<`ETj94*+4kGpryeu0+m8fQW&f2V|kypP&6LyGa{fNGnoV5JO*xPu)z1ecP2FL_>RQrmAmIjxr<2=Z+nM}+p9e=6 zX2MxXk|;1dl-D=fTT3iT&$8n7-FvZr45W>4`8cYvKc!AhdD~7+hT~}-Q|Q@vKBclU z&yosHaHV>Znz;EQ9!LideFAig(M$UhIV{P0FJ=#2J-H3L`Z0n<1SPG`Md>7#ni>?n zsoG7AfHW)r*n0WcQ`+Il4M=%t!ZXDedtw9Y>+_3?RD2NQA@5})_UN(E70xG_AUGcA z3Yio))GNUc-%3giA@8<4M-ilbogEI}A{w4S$PU}<1}y6ks)VYB<32e^hbV)D#oIUj zM$Xt}ADQXQffwK9i}+0IeB&o41f<<|xn_NJvxrDZ&?iPAz~+O#$h49qyk;+pB;rZt z-q3+WKGh<92Zoz2+EAOY%kEa8peVt4#|7@iF393K z-HIOXH?@xf351SO{#SJ-hChc4+)ZL0V6eF z?l^XNN_0E3xDxC0ZpoUfi8Gdyr?MWC!`lizjbGBKYIQ8lugML|8=@w)J6lnkuB6&3 zbD!ZX?3BsWX2sBsP~ioe{+By8g7dKt(=Gge`0I>$YOocQ(9CkshVZ^uDyyC`Z%+Ms z6IDaPVhbk+w)6-2`|2ynXx5o$w_%I&8l-i8s42gNVJQSIxFKN9Ydz~Jl+gPR;t{Q4 zF8L)!bp%D3im;w^sg9MBZy~#)DSdY&)`ODgQtJ#gatlS&qsXtgmkj5W78DgOEfGV8 z#tCGvh7wJ`$ravahWxRKPJSc}s|j5oh7k5O zn(JfZ)H8ZpzKV#|rx5sRTq%C;>GSo$bw7Tf#RQg;>yK!0!KaUFEb*&0*(vetUrm)6QcKTSo~4da^Gds`BxJ@>3dW{ zELZK;V2vzUk3zDc`5VGX8hK1`0{x7T;Ixl9IOnt~$K)QzLETTwk%2qe{OZoIg(wdoYq~pJUl5dA82!hgpGJj1%4x__+G- zE7tJil2Zx_>mhBbF8@5+`hjhfu}{JvJAolY24r#KXDvDN;~dlnNOB-+`0b5?kvR%h zq^qu%`yOf;f2V(QC-6~i{eB;3Bekv6akSzR`xeO`KQbotL4Z&u`&AzPE!kyKPk?Uz zDiWU@V6ewut=5Bd4$k+jIrXk-^jUJ5kY?@$rn(^?*z(&2$y!&<5fb+ne3Drm-q~nq z^sH_q#39{ExoWQU;8I6CpBKTCI-qVHR@rm7JYM}fk1zhpW1m91pjsfjP?)zH!qGVz z@G@J4k=>U%D8J}R_l`{c_C|-t<;CrFZ_jFcY&hje2>@La%Zh7W28=-IE#4n^1cy_s zN#&uP*tvY~Kw;DM*3&ZeXLa{(rjDD%dC!oX4#A4FZ9?(Rww=FT9kER zUn@|ZJ;En0)cDg&+hyu(em?5tQ}|QP0Svj*mrWYe;>=2QeOh)|m(r7is}3OZvK|*maSOh>iOZ z8#{qppsKciVo_=qa?i?b-pY;c!TU+$yu`flQ+M7pJD$NE>xsjvCUnw*3QXot%N?XY z?lR8G+)b%0H~dtbw(8llUks|xAcK5JJ^RW^_mAm&E2TxZeL83W(pCbHHZ4ovtAT7d z8sdk_VW5#KKJh$fAfD%OMBrkYt)JER>k>wfycjj+EidtJ@mFpxcGu+%xpX9SB1`o~ z9*Bx7#i^B%EWbRT(N!SNSNy~w$!Hub%V*DPlj(`CP4x74?K&iJ)ZF*w!X639B6``J z$-%%^h*Yd;_~Iy@fggI_fDUd9L*i1Y24z*3E>eyeih7WP{{TKws1N&I&}A;^CO;I8;oW*m zlS)JWwKzx)m;e4i{{IUKv2VgO{q7ZVGQKgo&-6j(?pCVJgC2&BuoCQZKAZZAmbL6Z zQK+JGNCHHA^4GcN9|ZJ=Ei2{lov%vY^M7?vdNN+an@8jvxNSCdnnYC26d=am__IA# zF^Glfy9|tG?Orlm=LVBx(5%?bNsp2TB#!$`K@SDB5{BA{#?OVr=y(f78A^&SwYABe zaX(+DZ>SUkAmFV=Dn-{EBMDFxz&8#_+nIb5#5q@W1jO)ZQu0}RZZgGy2>M1|tm!eo zsP4V%O8!0g#=R3|{v)r|;i3GK6+h9)tn)V-{n!Q2=u71h8f9I$-J~DxQOh`P)jTY$ zGfm>UOU!#*7SlK(?B$yT#7SCb6%f=CUVr`nLo zyjB%;;bjX zb?{b|A7f#kNrvtzTsrz;X8KL_ilT%VcAW4B*#;~!yYf#y zA{tdb&Ln_M;(8q^pX-%v@?*~AAZC~}*7(!~o?@K^i_57=XN=_} zXmHI7`{N!`vIh700Z#5sVs54fpK`FDH$@60K(;)`Yv0g@u=nI@zjB%1{_%dx$S|*Z z_9;6Hj6Puj1s}F1vcdoM; z4?&4p(CC#yi4*?~eC*7eC*iojc@4m}s$8+mighjqZv%(pr z|ItuM^LxrgQYV>f9Q?|*x%b?wLjM=&bDu`H>F@7+*fyo?pz#oN(Azu9qz;M{K6i;a zBh_Qcon$2rNfx_q4=LeWboJ>|QLBQ!=n!(H;-z&wD31e;0kjDoaR5WI0 z>-!c}mDZDAg>=>*g?`-n=6U!|&-GI_4iL6w;jEg?dBspszr$rsX8ljVGw7T<@kw>n z?mUb5J~bFtS7$&0;5X=adC1h;bU0#80q&OI%+kaIF(1dkzji~P)HD7OasUzmBEfN! zivy;X2N5I?PSE$?pM^nGCBN2_nGiA_&g#j_eXo=GzQ^LTMf8>^72~(BA9s%*`nwf+ z@xX1x$}Qs;{5%iJz~=OQ!mX9qV$ohYb^J`63POziYHEwH=ew-m02I|v%6H?0tD9r<~-ojJb_FKR9ey)kzC!m)lo^Q0p&UVi%gVu?Y3)%;Sz z>vkUFThvtk9=v=a;SNAB6kYm75CE}3TEkP$AhQ02e6}d7-W4chOx>Y>)*c^Mz2wUP z(0xt;&fy)K2YXprv7l+do{2H6#e6Z+^7#=i7^e)+LF4GLsERxz=U%0`r3)2hELh{S zx&cmhV?TmEnwX%=f>t#K#GeHGM*9QU!-g#mth1Vs78Ev0>JWZ2gD$+E74GZy0;kUW zk03-%=Mb;_f7cJW@~VL;M^}HJZ2-y38QKUEo!c`#GzgS8gWA154#o$$ho$7O$34cN zrP3n|x;B~f6NA`0eq+$fRRDtoesx5Xe|AJs$w9M#TJgu$CSXF|kI=Gv|A$UNu((AZ z0Q4Raen2)MARBCNZgPWH+XQ;Stf+pUut0Z@`-VB$EhlRZB9{3Vp^C-xy8}CBN{S74 zX3QuO>CtL)6Kz2kRRtg2?GZ-xR+uas4#zZ8^;#zYFm!>fO8n`sg7E(b7;?=X*`G6E ziyhvLF^2qtAr?Zl&^P%n4w;|#AHtvMw`UJ~9hp3HHBDW|&Vp>O|2|>>iU$6IA}%j> zmh)P-c>JkFHYMqPv1YRpMc7I;hvyG9V=mT;wyyG7EuMSkB9+62vv+!jCDyHE%SyP| zKa<+5z%2;>8x)DKruUBV2Ms>yA_K6yR>9Bu%`#5s`}$`i1aui8$JxC=4h~xr?SBWg zhTb2dAQt(kA1<3!#xNMudRVXgfqI2&gYN2mJJ$0`Y4bM9J}imthtue~=dDDpFJ|5X zJ>foP^M|Z%RVi&bLH&(iU!`bk#x?2~7IlNT5Wn)cB_h$n0cKnt*PA;n+Jd+tWw&g( zkoK2Ii1WhdjhSvz!z`XoMSW1a0A_JJX@qBM^m{jfgqfy|KuMDd9JNClb>ZdbQaaBc z^29>{^~**)YHEdZZ^wHE^bq03CQcY}9_y-&V25ORUot-xEcs^(38VrPmkKwU)X?bf z6lHB0fo0QgX-0BMW7y&^asfgqLoT@nSel4T^r7J=Jrdt$oevkrLTyJ{g2+T0>h5{3 zZE1FrrK&x~QvH9sA!<4l=R_a4fqx;=sq1=8D>yvzzxxLs8D|OI_n+_&c%rLxg~6F{ z;Kiw{rVy$s^WVXejqtO^{7J3u1px632jUs>zE1ytgQFLuT&}<2NS@2BEwAvw|E$h+ zE0tO$`!C$`A^)R({nhu^T&*C)(YYg@s=(pb*(;LqT4DLFV`;@ocA7@p`aSt=hqg!Z z`waGTEQxM)@b&gPycs$M3>YP%SK>xCJwy722F{!K5!Ndwl5PDz`-!r${X>{jSouSk zbG^mWDBMKtg-ftU&Hsu+ak5b=EGcU!l@jrY-~sMyyX}I7^Q7(yL!O_a1kFY=@vPc- zc|C@&Zp|xs&lAQzP!!1w0HA52JdwDw?5QH=W4r|v z@%m?Ijj={@Pmb3b>4SVRqAj^tf!U$YHtHCRU*8sK;`3L2SdWr= z^uX@OtiP=0IVO&~6T&rW+pd)|&xEv$g-e5Ztl+D3?taV7`OCpyCe;3DHO1j93Ke|v zMA`S{|B-t4c@FK6Z&`n#Q0HGLv}hY6)nOUc#i?=LczUOs(?EltQHC>MYm(ekgDKca zz^)|pT4^)<^Tr-(ud^mW=?H{QpR5x9z0d#e_CgL3=BNWEF><8%E-?s1NOY~+lM;}U z0da2hJaIDr7kq%UjxKq-E;R!d)0qgAuSKCELDe0OGapK~52~N7_IyeNh$!?`xf9h? z{cR7oMkk@f5 z5+%+L=lo*qQ$=*mkcFrEvM%}EMj2r5zhE##JFj1EaelK6#MH~BfV*mV|5G_^|64h9 zLyz~(ZPY9-o`w<(`d_hitA0DzmZU8=e1%euheCG#U@dX~&PU{v)2oucz{bCpc@-^Y zT8lc*_Qe8jG-F14S3>O-g}7;&7_^n-6Ap0aM3pH%9*QjQZuueHl4d5=KTv^vZUIb_ z0}WVc-t*D|N>nLb8Q(O!cppSpBc1qeFS^MH4@DZ!vR3RxAkb1EuNrDcs7 z{2bN0uZo-*I2e=MHJ%*#M6k_`i9M06|57iC$a8ED$em^l)ubg}sTYD1Tlqv!uDIdiA?=DZX` z-%fDxh!V(VTo1yT4@c_oqA2*N&uqi%$E?Y^kwUI-{J5;mt`GE?P=q%FVX)-K4DXNa z$#*cM86stG;?!YD$+qp3A{z5md!?ZxPfxF2JKlypqxd%t{q0;?;WQ#&9UWn>7{pDx z2UUOr!3m@1@%u0T5=M_L0t!s)c{!F}Ht!Wg2S8k zdrDnCsumC)hZs=|cXd|r1@RssEH}8R>eu%-jVF0xPa)g5^O2K5<0bn00e2l2Duu&A zApE0#?b5PK#iA=g)Hfs%@&xGSsKLmNwxz3sTYHA$_2(pk>^w1Hung|%GNCMPhe!0& zSC4vaKyNW*F?}Uqj?#czK9#ODq4O~(50}!@@;=ke@6>d2<*Uu(9~VZpYHeIANNFc4 zPvbtDF#eU<^DtM%yWCyp^czFyR5EGaa3l1?OQboW@${dR{V{KGOadrFI`Zc(mSbA+ zIw2%H>h<3_^`(8h1DoG4nTds7T}cj>*!lj6ta54_Vi4!6VT6sNeN-p)0m#LF@w6I$qKoQ3qwFPDw1{xUprt+I~aZ0eaUR$C5vt?K3yoVa6J7} z^SK`1xJ~v~qa?RRpGEPRJf2lD*+EaAww2nC{muy#%;Dgf993n0nFcYA{0LUnYo^)!p5CSp^Z_P@wqvx~fp6}J^&(!Llzczl7 z?B+Sw+HUfhV8C!QoZaPseGQZpU5P4 zvqyGti!zwaR{yqHn2jNKXg>pY!ywLC03OcY#aq>Y-BJBsNCF3i3@vX>wOid`X8czL zeD=2j9;&g1zVoopx?6BSwS{t;Dz_S&B75JFr(KDc*~l`=#V0$;N$tgr=4x%CwiP%S zMhRAlmX-8_%gpJa>$29w_x^+$#g0G6!_ zyAq{E|2Iz%&|WD4e$Z4&0>VrFMfOV)i9Dx(m24Z2%nXEs=XnhYqxbY-x>m!yfm@xT zL2sfM?G?)V=WZHFS1ruCl`eIU_m`A%VjKc!&-o~&6vy0X_JY;q@cRVj=Ngyq?DSOf zPVfP^4vGx=VxD-gJB4jSC<0c;1W@#OKheHRA>v_!0BshR zgY@gL(=bjx?#_wDc*;r8A@F|wS3b!apL1X@m(As?@mqUrH<`!+l1^1S5Owy6*ukiZwbWeC zMJxVN&mXZPoq|$*w`)%Nqn=<+H0)~*Gx?)lW3GjV$4F)HPIF5y&3-j4ohZ^fF& z*4<-L7kPxjy*@ICutVOdsf6y(sw6cZe9Bu)YsW7LmZO(J89xtLRQ2WMRdiUR_>@qa zN7F;O5%9E746d;`$YkN>;Bgt|BY{mJlW3@de98>W=O1mX+Wbh!gzNSWLo~X@W9qcY zmX`$H`U@M6BJ|% z_xv$I0IO;LFHW^RGg~r>ghvyDkvGAp!&yFM=BTf9n1) ze+7OlP?1Ievdr@+9}zkaNBVlVk^@Wc&V-8+H4=o1O=odu@_C za^cI{3Cp;SS6THHnKOADuUDKZ{>@%4@`(l=R{LmWU4FXR9*D%wOmZ%AZ+?jLH96Q9 z=kEfOH&t3mYbjb(1$o1)cz(7In z@f|dc>`CtW9PA}xe;_wFk#n5LH96#@FLKKlIZF6=6kB6QgfhL+yewAx{ga!9XZf3bR7?)efc)CfqC6hMS`JkUK5= zYr%V4!8u6Fz48&PI8tbpaKDOaYb{-}+yLRRzI@X{^cN|XZFpgF9W9IPhsAir|AiRqv? z5$k@?h1}aQ*{$5IG1*DoOprwG%N@)xoedi&I~bGPB0PBg1z!~AV@c9T4U9N^MWChS zrCG06KYbZeykN55gxsE0LyCCn7^D@i6_8+!9zts*fDsR#2$Cn6(sH#wP^iS6*+h@M z%Kab6sdVIO-Q!)kgUQ65G0Bx@$Z>4N0d~KhX`4+-!v(&QyWdsW&jD!#9(3(WEQTDR zI%otZdKrLPgY@n!=I&pAH`|pvoBFOT%)RDux5lg6A9f%0Z|oH$unK$DB$;{Nd7{gbRB{$fRODzX$YWtmPyY<2QvrPMAOgj_E-C)n< z&Br#aRE!kh#NA0wXFt^HJhj*f0#J`%%7QzQ>SjxVz0oSaVvZaF%0BX!ws;SxE$ZF6 z46ACDbZ*JM^Y2Di!oM0_)RchDMPq8J^!DSk*K8AXFrPDPXpa4bMC>)mm6wwH>Bvd7 zY~&0fax{3aYSTmQ@rD99P#9fJ5WCealewBeH29tZfehpNpgs_izBE}OTgoOXU7ZZkQ83DLzqi=S@gf%?lpyXb16|7{ z$m6{pq!F|xaeFp#Cy(i%O>#Ybf0Ar}G;wQx`Cxywk5dX-!zr=ipMb$sqF(@o*+nRg z68s{hs5Ix5F=C6l(&HUh>b}ab2{7FeLfOrVxw?Q|Vsa+CsSqA?o9=MRNf;Ocy=X{_ z){9}zR^>^2<7C=Iy`S$+Vb$V3-#npa`t-UL-Z>z2uAxwBo^zU#Yn;fL^!+btyEDOi z^<)PPxHB6MMviQ1wMY_~`-6>GLSUs|g+)N)+IWEqo~Aobgs*APd)n`O|D)b0Yrg@%-g=f(X>L4zc|d zlSFcc*Dn-pQl?*P+>vZ?>S6-Auk*xkePFtTG?{Ip7+TY^H`ubb%6G6jvKx#1VRNup zx#zs!JhEMi++5z56mJh1s$BoD-#xN*0Xc!osvVvEMiYv1Q=LxU3RQqk+XjE(fxPz^ zy{9EZ3HAvl2g~G5zl}s2yywt-Bywc?-s&OsT_KTLlL;dqGfjVCC8RXgx;^K_CPul0 z?OSQPxGnS|gwaWH=c7I_FG4SiJ1-JA76&yz3EU%-*c!#bH^3uT)`6;>X|gv*Te(%! zg53X+xYL;~vE87y-_Ez!?o?WUBXpzums2(J&ftc_{79@4U(OEiU?vuY+4>9w zT-1KM$xbCHv-LQA39x=c8fcC19}ocS2{2w+#d;GFNAq1=fq*gxDuR%Mr=hsf3kbLemjArguB=Qi_m0WETTM9BK?Op%LL{VdxAeQ^ zMiMX_B(VNmo<-n9TbM|Z?3leE{J&1VQ1{u#%l~CMrp%ZZ^)5NgjH97)Ojj4~(OcQ^ zNL5cW$QUGC%5aOcFrgRWXT>q=;(CWP;vFF%^<^2U0q@an<`T(AMQ_Vc$vaW#zInSd zxY~R;A9Aeuk_{hfzV+L-fVG>}A)(3lZt2E>vm3gNx>nBL^|5NF=G4e?E3;~ZPWRb7 za~?&BJ7gl?O~Eg1F2qsf&l3L=MNU#$UZ_6e$eU@hN6~ee zHo93riphd20%d+UzmIEQBYoWcJCbbVs>I)U7V3+OGW$;5{Oi{V;dZKrECTg1dfsi< zUPa$Nq=og}0N$HbuW5CLJK@)4H(DfkQj}R{>iux-!8g{9=!-KG%#ddPBPR}&Lvoa> zZw+xLUp_YEJaU%jBv1>0v>zbQ0%YQ)zy6j3eJT8{$uo=)=PwNe;$Q~FwQr9?ar+2u zr3$^p^RvK|#wpfRCm0gGqWbe8M#PHMR{pL0CAS~JLrs3@mrtz!Sn_)= z3ls>{kaAq|;cVgwr$zhK)v4M0KUfz)RV#n3MKPH*#>ku{f}~;7K5f}K;YiC>rD7*; z%erO?u#Mi4TH*7!?glrMXpVirr4)$w#s8>?>GJZ&-}B1RC0;oPg|!map!!2o=ubg? z^0z~YhAQ4LjL)3eHiQeKn%uFjvaH-ilVc3 z&X={h4Oc6X-6VNxFAU5BZL~pgKP%?Z!z7xeAz)RI{2N?mUEN#myg;wb3{{#NJ>O>` z7l(7#b3&RH`Z;|7!amgc*E97{KSwT6GCxNy4-=#FlSIG(NGUx#rR)VAc7`FrdT z5+0 zUaQm*x|C)Cv;2b;f1bQ2{ZBkHH66(SJt<8(D({g2$`&!NgKQJ3bbLdk#m9Pw4;W-bHHsF{_6+3P=AxKSO{`d_F``fLZ*#*}r)PNXO^T zyp;sUf-r`?s+v9{p{E_Y$g6Z^vGU|Z{?HaP;ZCvjtQaWZ@A_+j zt3B&~)*dpT_FTS>t39{r$}g@S76iZ?%9+F$Pw8$`H~Vh>czGZ@n9Y1fRP$i*u4n$@ z+GRV56-b%d{S@sU*7C^{?LPWh!SAmtdv@OxqjrDJ(2^Ou{<3SQJbwCwizUGHv=O@% z$gLeOiLt~vYh(92>&+K(?69RCTZS_o9D9(+vhAh07d_GjAx85jZND9X>Jf9%U=I5o zvooFkVux`d$_*Aa&C#4@9b;V0aHiMd6Tc{-S491^#QRBK$GX!{c1?lfrh02Tr%~jo zIpgvl4eYc~f-gZqfjYd9VGoN`VS|?&D`WP^MBZ7Qyc7!Xv$$?3Z0B!lnwI+L#)t)B zL@>17r2p$hJ>1E{iX^V%t&`uv_1YD}z&awJrlf2|e_13AltJ z1}Ur?=_LX4@38Wu6!P;=Efp9H@0d&`A8JZoj*GAg!}R8(ncawsGnV*?Y1k|O$y|~s z&xp=oKVRW}f7UP_{}u(%Gk-;+cafh|`s;jK_B@9@ukChoyy360%5)w!D(6lVyz@Bm z^77q97Lk;|A3L#24VU`f80@4VPui4Gy~v9SARiJ~NLT`O9O3e17;g5rlgh9rDftq9 z1gmKs70;>#FTAsyPb))Sp-?Hk$)WV?L41OxfX@p2Hc3LqW_b9fsDPj5w+PLh-gh({ ziFShGO#YOCT*fydy72)UY5`bc0UGVVhx9Pk^#b@#z9H#asQLdvcwF*&6S2+b6AX#5RJRr z+SzBm?jJtfQ(OVe|MJu2@{HTdBYvxcad$Sarx$U3-*qcE%;BKnDKkIA8#}d z%{CE%LiJ>3sam#6NO&wQYuQZP18-?j8mGPXts-J#3{`&cl4TG>LwGlv5;^*c*=bZmpA> z+6W=>TW`q6iZ320$felum%OAg*^gACdp*E#OaG9FALC^s4ohi)P*1|VH77|rI!iS) zHj@Y>$8yZ+4ln2&f{;rVhA4UK_Pycv`M%!|tiFbseLGkw|E|e8K`XiB%4GPX&)GDQ zE9Qp?9*yrY_~Ib;a;An|euYuCO{O#VLz{0pO`bPCwtoBewWDha*4w5de0}+$2p)Dd z{n;5OVU|_TcSB-&BV{C_Z*3jS%5LB~mtf+fzyY|OF@Zs)Mt3DycLl=@{YSaIE&3#y zGuNddZ0m5tM&JGQwOxgsJ7D0Nr%htk;I!TjB{twIiP4HYAS&>p z#|s39%diJ;kc%&zha2F=$R9(_0Ye=j%;teBuQ=UrSRmqp`DyIEm;8Zd@h6oAYIECJ z*A=45A7a@TDS9Go`&kwIWWnc@D6VXLC_lP71Ry-t+wZY0*uO-BrB-Iy<`J>o7#nfv zfv57ts}HQ(`Kftb?!iB>HuY$U#`MUq=O$fnE$^eIxth}K7WUYz^pWi9d?FTMJTxfL zhHe40kjw$ZkX`lVfHS(hBK!$}z+da};qvCXU`ryqiNud#=h}SZukeqnBk(>s#9--i zp~>cAXo<;|FEPj#AIC=}npdH)`aMylP7bXr%#gSm!d_0;;k_i@OpTS*ivg&`ixOLt zl3ab(vv)s*g{B)0ep@d|*V`jiQl6gBcoLDPCa8+QTcOkt6Hb#;o*b9YBR3U@j{>G9 zN}NUlUT|wqI_{o-cuEN-SK9&giKJaJ&Il1=n_UczyZ(ad_6S{z+jTkorW{q-BBuN( zs^y9wQ?VtbQN3~@H)UAyL8Ev_%~BdIZd9QEo%GRc9zURNTuVNR!F(RQ z)flT#F^wv+hQhv#$}}45N=w*ydRO;OtD8NXk||eul!Eq_D=*7-;1{~S&hBZ*XO$-e z&vU$vN*7esp_UY`&|47#j^7N<;yM)%gTd2Uy?Zn-zV+Ewza48h;&Cmdqx_ZIH&agY z;R%an_nj-bbu#9D{KaGoLeWX~8#_?PUYZ`GQiV*1uY?=SoQe`M!1ZfJ{G;#$q9bZ0 zz|7X%2X%?o5Fv5Jd~zM=3AyI@5Gaj&xiX0ZcWWy7`J0e6Z@JJgf~4!=Wa{_2<-p0f7VMp zyw*V3)^9QSZLwtQ6s*yjuo7dm%jd*-nli^maGk8qo|ma4+r}F8P72jk`Mf;To|-9r z5FAsVW>OK5HbEzEgM^$GGkSRHG*qs()SqONsMDX=;^0F6o^8y?QbVQZRNM|Y`opKs zXHIP=6AM4ysLdCiT(_)N2Z}I>w_RzEaBm>Vn5CLDj4+~y?_#by4_c6A_ zD_3*Fc|KRcLVhr4$daAO4fhlSurmyx7S|JRllqgWpbTj9oZP#{s$Ipx`j&))B?A~Y zzw#63+;KCE*$pcHzLGC^H6Ux~dM5Q?d}gm;o%lXFQ*#ZsfI)44Q8h8cLNccZvnE$S zRrJUBgB#(d)yycmus-hWD+EJKwo94Gb6S3A;2;=Db5RBspr2aJ5fgfHJ3}SPC!Q}X zo630c!a0%P@68u%I`4V#`ELl`Vhu_x_vacL?Dl%xxWgs)!s>1=!=8fNi^yzgPzC*9iGy)V&LkHYqkm3{0O1d z2oW} zCy~mLm_@X7sWQD{-fBAjrq_J*v%dN%U~ZN`v@LW6AKsSMz=Hj{ox}Oq3cc_2Jz8VT zy4o}Mi(_q*$yrcU+|hBJ&Opc)nxyXAh$DZBkT5`mOeP6TC9=dO2L8GN&u@@=o9+JC z#jIG0)zOEB3U?+pZ`k!94fp361jtmmAH28wY~ksi>^UE?PYIjjp>vYtV7k{+el0?6 zSRs3^NbUr~m*v!`^*-wx18@C&KS7raO*aj5t-IAkl+vF`$<@9DGz3X#8}q}5PE5VKWW_iA%E`IM)oNk#YC& zLy0D_O(>wNEeed4sQVrYwv`)f7$Ah(=h1`F-0c)Hxuxpes!q-u>^hs(x=6P2SIye^ zB%5N7H!9M}ez=Jtp3m&+I>(&>-V4EY$X$-w=1c4ulx=2FDkj~S}T4vc5A}oL&8ejlDuQ(qpU$br&wly-_ZXC5Zov^PRhZmtv`>Ew!}ws zINF}Iv7==3emivPu))V&t$ijy2fQm|xI>Ya0z6dsy42`SZ$pu?czot6m(%A4Z11_1 zdWjUB3C+fnXNxB0=x2W|69G?}%~bGW(;`{;KFpa`dIN49Hn;bF=#vj)8O?N5T+B76 z+jFM&*%KBvVolddWWLSLXA-kerE-F*CXRS0PBn6U49~bUdGpy%7bX8PTwb%eRW}IN zeH~4+m1~Tx%fv3;sKs23JK?_}>Q8bHtVUSCRXi~AAS-*2tmx*fVT4+q{atw5Hm}c% zxDXk4C_%8~3xIRaqR|Zx28;q4KFH-UkR@cMAdM}C5|O2b;_Ft;mbXtm+imlvmvo=d zOUOH`VWQ%g1Q-oIM~VFbV{7hxGxi%N?xhs)tJLnKR$L`8gBwTl?H6KKG7+t6je#9K z1zp>B7o7!jk|H~xuq_=eiBRgx($Se8+$n4v4>l#y7P#~_RQWdf@J0yCP0N==WsIyu zoT`|r2${1u)o_1ZfY6%(C|WJ(@pVC`Zxz-ySHOj?uA7FXn9|A(ea8m(oGQ+Jw?VAJ!?UEjCLCr)3A6xMmxfIMn|ZePiJc_CbMLp-jt7 zz}v}3p-2+Rb!s6#8*-2))g3yI$yL7pRLl*Hs|C|ubD6lP-_8U?idFE1$og67?QJf{#WtE z7p4W-&3uXyJQXkR($;zvNBsG#%>Ndxq74x#Iv=}jT-W)K1vb7faBrl^kE~7^QjF3x zfmq?jM`H>k9|41iHGeBmms2!YN?7g@4gE599)_|**>E*g_i}PNf>ZSPH4Hyk0A4Px zm`g$VY3ky+>k)iBbJ}LxB@pQ!`e@~DsXd8eLQdoX?W3Is*Vw%$^Hn#TFr zkJo=`RQY1S4gIH~Cwv~^%-`{oW?Ync6}USk13p?1b~d%*qNaIAwfr51$XCtNsof-Z z60PGfC&oEaTplS0zpAeZoiQ4&f&;I~0QkY5syeQU)f|d_*tye5!EE)1x-gMn$FH&c zpd3$)^Kgo5TOsdgBSTsYn3Aq+2vh6DZmTbc(Pvy5gY(&N$AfrLe+gYbHRGJaLUZt8 z{Zz0P(UBR$Ha+{9t_CNf0B^)7`@;S=SIxRy7|WR%aqwB%y8sk-`fo8T)sKXY45jFk zDYO>x z1*FS4ov{2n(DZQH^kJ8QMq8P%`SnLD8RjcSHH244VfP7xmZFTVuw zQsX`Btv>|uK5MSE&|d=}hdMBzT(Ry|j$Is>_%wYYG3<@V{As`(sWe?E)GEcs&xb;{GcWo55~5%yDNdP7$%u6rcUUW)g$RdJ zrz~jPEST}SABpFxfL1mVuEHBV3Ft3j z-avopgrEgp73CM%`SH4w?$JvNioXCa17qX>6rFTT2z!>;;L%|w3sj=sP$58;C6#Ij z%e?XU!v0%YPq`HZY@*zI52!l+OB1D9itC)JOpBvk&n=hsoFse`j@ zkS(##b*7KO1YMN+;+CuK+>kiND_VZv4PPFlu(b=)4JichA)C_Av@Vif;W>K5Ai5fS z_Qb=;MBLmUv_^eFI4gDL?n#bZwnKI^?s#NhtdPK9*aP6^s|VvaTdxTWBt-KcXnEu$ zh)E$X$4se+D*oKaO&tnQ(2=c%6V3iS&RCpbS$EW|{cR0R0HZfnHf64xd=3>GwW74OkdY0;sRGe}D z(5|0rZL?Zo>dsvmH}F<-<)`UcKkQbZzZ@Xo?S0SdL1MPH+GKu(EBNxJbIzdz_ik{e zc4!J9IqTF)c0Hx8+r#~i9^HFZUdewcC$q|3f%wDk@3F?lk$g*L;%)f%1=Z#@{0yAO0Na;2%=;On#7qkPkuj$Sf%7P&25~ zfO&gbW|#YBP^fix3(4R+{O~d0eL0WcymQyp3A|5s?j}xyf_-t>OfMkpjhLs|wu|#t$hhw*TaUqN0q$~y#yRujN|IBJ8y2dEH90;e{8OKSTvP% z4G$zneiW~Ozly%_=npU00O!Y8;ry7^N?R_PZc)-=ysk6uP}pj8NR%Ki)|tt~uQ$tD zP=Und8?*auWzuRVs?sgB@0-o{?fSB5!57xQaF9kVOl|S{Z&cPaus{E*a^=38k$z`( zec6W#J^j|ZZSq9jC=^yqM@DefEuZW1ZTa|hcF`qP-3cu-CC?>U#MXeMx|fS%zAOSa zJf;Q)lYZ3`<(emNAGrJGVFE+@cw-x9vA^nb9?@?w$J=vb8&$1+5rBk|EQ&~|sE8rw zhr8WaYc|HerZYkwjJ?uzFV5UVt!90*43OrqE%>1CwnyzLVDhkRFSG9}(46rju~@-F zQ#XWtX1HHY2rpnBfN4X@C@`!{vU3|}AjL5RN-(sD{t@lVI zwW+{S?b;&1d~REzmoEiAwN4#RXzpr#L3Mfdx1_knYxDZEA4a*hN;Gk_sz)D_m#1#+AhP72joMfCQl)*$x}y=bKF;u zpt_w&j>b3Sk*4+{dWNAQ^&?5Xia=O4#=K!#8lWbm+IywtD^T**n|@%2$mi-6R!EEx zXJY2qFZHp$iv|<*Awm@e29Fn)l8;pa@54LoEC+PhKzYgCrUncQOO3%2zk-2GQrhN; z&@WCcuDg0`MK+NNwhSE;?UT+6KEZ(UqGz_4qnA3mWLQ%nytG1V6pu!3uAh@wxqzmN3o6) zJn>-X2Cp!q$M4z$vr5BTg80|Xv!GGaBcP0Ag(#yu7`1 zeX2i;x!cPI32P~H(HhlIrZ_o2ur8~ivH8Lec(t0cLMiYrs1Y_Mlyr|%Ol|;gjy$q=xcI_ z$NKvqpmhNsV-v^L)1Pk(_|-rX7_2Gq)+OJUDx|zv?{_}0CG%3*jgS%6O}N5n%@ZYA z&Ez#MZ|F{m(_3n5-qJ;&U7Mxx&r<55+BYnB5TkF|cAP1!DCXMNd5i)N>cj04r|4!1E-iO7EzD`{|Frp(_)aed$rf zS-SX41bc~cZDK|nvSGhktO{-J(c!4;@I%R#t&c^#vj9ZRrT}27?uq?xBj=6JU2f^> zeyI%FO3}|oP*~~K5R0m?4le`rxr3LJXg~`2!>Vy-GQfp>3Fx7%2MlxPoEIJ=1x&Ke zRW={PA2H~P=;2=BnnWD;Q`hEfZQLIE~owpt+%zG1mCysL1F70)$B}S%!KbuA5%@@cNiqZ~0=rw+0KAt=?$F=;huemLuhd%cRyxsPcDJYI z?KoQ}8zy>#F5(T#bqty4TQ1ibA%)aRz_gbWN*)9oYmlV;pYq;2p6d3GAE#7SNM@m| ztWZ)`*(a-TII;-|O=MwRW|2$z0WbuN!|DT`96Msd>_AG zf8Dz8`*@#ouIqYTujlJInz9?BCQg2-SfbZ#v1|T5K);Rk13k4AS94S{~XUw?6$3~rWA6qSWv+i{^H%E z^EPtRU&pI1M>Jal_y##>`ww;y^3Te?q zg!#U~5T@BH{td>@bMu=qWBc{5cOzbhiAl}-hCvPRb1(^ zfk2pjO4KZqGujDV#*gSn8Hy6DHf+Dy#VZbqynQ#A%$#%9fnCCw^U&?+0 z!>1@ukUQ23O=Bj+$&X1fN46KOi_L;#%@)0ypK2rWL&Y{JIps&&D;4FAPQIa-XM}Oy zLMz+wCc9C*n?Yj$+Th?UK0xU+MqY*>0*qey3Oc&%~>3Q2&1*?KBUe zJz0Sd9)>5Yrot$94kOx=HS0K9n$VJS`!!A^0oFT!Sg9;MnU+Xw7go*B6&i$6W0}ch z4x+8CThM@aWl@oC=AB_`ZBYT<7Y2uI)sM~`=MiYlrm}5$^UKWM`rfK^KrwJPEO6?7 zZm27!nchnzfuo3x9hd+hz4ig*xJpiVQIbZ1>iD#>#ia#6e%NGPT9C(a5f^ou^HmC* zGtMg4{&>76P3j>Sw!Wm-yQP!GG=>i(0|&6*#W>8fVcB!r%#LuF44;aP%L+NAV*d3q z0`>f(W57gMPKe@`Ko()^N0iR`v%rmXi#Wq=gW@vH-*6GxL?)J1ut?)@*f~jAJwM>n zWrLT42#L@rGvpm7CCZif25D0)J4@9-l$ZP-BkC1TLZ|N>YTP)@9@wB0m_i=f3rnm( zIT61mkIfT2t8!%e1d8;5asZNe1}u{&4l{A)ZW(R$e|nq-2Ub*~y1gaymx0&m8Eksr z8G!h5xWr(2%oTELO0r-vY#~bf5T)CiAsfLVEJbrXOYu5~-{$A3L`GRUbF4%ZDZ}>M z9YRB12wZtv+Th)iD0Xlqt#fvyFik*@=(dDSI%!$h=01jq^U%o!JwE!dmf_-jf35oY z%qtd?o7opc9eHNWKIm6_T|^LDYGqc@7w*-e!30US#5y-KHUXHv z!NO#bvRtfTVJae$IP9Dih&Y4Vd9C{yuQotZj2 zmGm(tSV~T!o`>~~NLl0dOF_JsEkHPplG6C%CYThG670as(sn1LS0Ii_&NJzTf!YHN zl{pE~Zmy54zW%-d8bG5DJGe7jPObc3L;#rxM3LSO#w5O;W*3_Bp(d{C_(EGc7w1d= zeJf-L`-47&8dT^z9XKCKNAm91pll#$Q8o~vyxyOjKL=kf9NgrrzP{;QQ`aS3Ej3W> z8y_whm5=X}hu3al`?|+8knX(}m6!jc4h~Kh0m(GugoMVH3pysB zgI)fc(6~zPGBDg}oVQSIBI!m7JWA>NL3XTsgL6+=7J6L)$wI^rqHVKiih4$}lZscy zHooL}u>;02gaF?IUh=@Z*?YH1n*FAjSUJQ|{a;L@4`ndZ_}%%O&5q(6wHBGln4x#U zIL5<(X{{h|y>(XE6ZB+*I?S7#i;P6WrivDIUxUy$s+!*oq&ZZOaU37FETk9ae2ipk z8_ctM#y?cU9{P(KcD4(C9?)|0Xc6%Oa$!S<>43Ampg%dz$#CrQ8^HhD2b>Sl13#&FylA)JuJj73qgA)Z9_vv)ZA5dsj2Q6yFFNmr*rR_hG+5EzdVSmum6uO{LlX z%kjEbqGiqOUQB35-;%4dBYtsmAVlh?oYVR4)~fM~&6C11hrTRwEl5${oVz8UbR{i$ zZb%jAu2P{n8|*au%p`)!@>DLkp-kiMLIY8&!2J*M27m}b*dDWr8{`Ck{v=la0xjge z=$mcN+#RWcdPtPRs8O7~$kW*_3ucVQgwS*xR$X|v#2>;Ay?1a$a7l#p_SXv;To0kh z4k@oX7l%SnQkz9z)cxr|Tbn7nH0s2Df$7-W+=Q33oT@xL{QR1qA}dFIm$s zjdncea?+B9`$XCSFYD^yaCP^m07c-3$L7n!Ocx-%aar*uJyi*TC-gxcml5g+n25-1 zYw1MPwjAgOS)|oz?6UeJ6w@Lysfu6+Mbuwk0rNgFG+%@a(olWnLLc)#<0^*NBq4`U zX&A6k^t8ms^9!LYK-!SgVVe5l23xYrrl~e0ztrvI^F&VSRdxFky8b@R1LKE=Mb-`_ zdEiQgjGI?B^dn)Wx}e@ELQluwrs5h@d3$p9ecp| z=bKL5>roxF)21nSq@FL)MUsK~lPrwbrqiH-xt zEBrb9FPwavhw7d8%@!?3Pw04>$ffyUPkv8A8$((40caDvVKAsm=t)0pPl29hoF`Wy zU^@Fok#ni4oBRFS&%^JYqr6B*+tsd5&EIYM;(6%b{og3m4>xPsL)#vQ2Tj;LQ=DQh zR2m3O;-7xR>W&Lr$~`8lp;fCZiw1kz3(yJk zm*Ohx33yDW*Ll%B$7J^8BS#8o$|C#v-zzK>((pHZV5R7bmpzcr&+)Dv)t`cwJ*eV3x4nmO57v{SZU?VSTDm{!@jfqb6Whu8L~ z4VbyxT)<(*Ug>{T4x%RK7*py$%+&vYJfP@(z*(DP0$7^r?O2*}cjXp#pu{tfEwLpm z%olC@mh&i#^r{^8BcT~2ybKUZ_K9VnfE@S%5wxa2C|OqNlr=xJ8X?kb|EX%Ch@VYj z_K7}A7u6S&)bkR;#@FuOOAIh@SpAquJNJELLC#XEZT`loGuQ_&G+9}kISG$IJP13G z&I$^j?DIG1#{O7+hFe(Flpu)rQY&0X2=fjG^fSerN86UbBQFuCM2EBs{5y`?@RLRl zu4~X>zdJ~5-^$BLnNjs2lN)7U`kBc>J3fN=gOxk zscxk7cUY)K&&>*Ii{43>s-OAEHefr2FJ zn}W+N;9DH6#Q41`Ze9yhBFo6J(UkvGG8>t=D4UKPshOLaD=DH&16`N0RGLZ9Lq06h9tAdHY zVtwLY=stDPedtt|iiaLK_Sc4DqekCz0rCcJXKM9V=Dx?#@&<#~>q?LhHj3N_;$xyM z_Yv#9713Vfr2TTapRA+rregslM;pSBqp=RbYPz%k?!T?gJ2kB}5F4Zrp6mOYq!s8D z0{24dSr!TsKVM1lTE<=q)%J0_t&>M~)BAKB)BCh`+3Jo^{p9_snxsLXI2#GRpZ5t% zab~NeJWj=XiZDW!GOL8>0Cacmv&8H&Z)-9MFo8s(ohB2WxRg{g7A65zfhu%z4krgcd9P!HXNx$0yzKY#$42 z#+DvJj4Ynvh)ZG|4`drR{OVB?yh3h8+iT^mg6I@5o$H_&4E~-AL6Pdxy6J@a@=_tH zzij=d{_@HL>fNwh-48!`7~_E>=*kzAUw%BDMmln3jsz0sqgaWcG}N4HaCdddmCN~d zd2PR^uW#fVTc;z2!c%8{F+INX!zG#R$Yle^&?o+*(id3A)=3TyAnb>KioSUTt23Eo zED>qZtFZ{p0zMi$pZYz}+s_}s@**^P%Su}>n=D7jNf|&7-#4FmN$lB?LP=?Op>nWA zfYRfJJbJ}5rbni-SES`DCv;? zut=UP)$8x-a1F)!5+`YTfb~D@?E8Of7=JIAo51eVsrxt=vCp9YawedBg#Ozd+GMi_ z9R5_gcD9)KTruHh8`!9QT>*nM*;4lj!3msAuJr$4dV=$Zr5JZ~-i_RO)Lv_iCqtt@ z7ZyzRnEh0Eh4OFoN%JQIo(d}?(M2lKj`3+2iAE-DnRo6)Csi|t=N27le1!EmLTaSI zy%z~7B>P{d)b6RGe;LsA4b{Z_rSK^NS|kJZ=LY2R`H}jNTz=sbwd66GSh_vs1J^vK zOLZS&QX}a}0z;)Fv|eb5s!dgdbF7(+GJWPfw=tKDGVz86!I+;b8r^w^LU)i5x|2pm zqB*UcLL#9>Uoa!51h>Oc3GANa4!mDwLp<$Ba0gZ z?hw8Q3fQ0T<^`|!7vx#5xBvN;XFa#WH$LrRlLdBE@w5Af;zwcN+gZuw-}u`}h-Ui4 zZM#089DJMZAAYYwBZ(ZKfNUT!4@9NEL?O-pZ$^-$>0||0|J?q4kXs8;7CgzB4J0kO z9FJ3Yx_5!E5;?t1-))=*wJ#^eO|&Zyx5KhQ7zHrQa{Nv&^GPA#U4q_i>lhx!s|!}e zy0$khZuj&YMif*NJ*r?0W}*^>(m-%r8+M2?&Ad;T+)%lE=qe}-pjPA73T;JIG~ISH zFJYHU%n7zJV^w^PVsg??JbC}Y3B0pOx9`N#6v5fkyEb9Il|G9UfLOOUj-9vV7RI+@U^tu1ala7`sc^>;hBGe|b7vOC-v6&gF)`IzA)|e=V4*&!mm(%c4FZL=DaGqoDO1B_g0v z#{PbH(4od#9eYo?VI4|4C3eRzYSSR){|JiO^sfuc-k8c9FU}m-eU0|7%LcG`Eh1z~H2& zYra&588;iG0|C(4R%orhaJpWJ)-2W8Nu6>nyEg?+77nW*KXFtByGGoH_wzY2D)@fj zi;II;4Qznb@DRVpMFgMZCYsR9VhHTkWb0!wjNjVztAx!S$|G=opC*HucqAuTUEutN zZ0I4_3zWA(`$^Q4;ZJj4l?;bscaUMB4hVANKXTK~<0x+WTWvcK#Z|DZz!D7?2jx-0 zN_nzh-&bqBNAZ23Jf8z*3@&Y%NC%+E_%98*8cWxdM%b ztSwT$T_h@cX?N6xoI!T^>4KqJpa#W!5(xKLcGeTEm^r_hNqa*1?D4p`pnc04$DzEp z9f{X}>;jGdy$fWp32nol49_PE$P>qq{mMsw7H&{%tOUG1^r)XrxXqp6#DZpA z+p%n>)6PE3(|&Y!s{{syj0)$3uWA3VF{s*#1^oV(SU?@7g&P%hP;@Cy*)V#%1rQa{ zYToEu@~JK%iyZ~b!D{cnl#jhA`cV@-A%zeP&0A7NT>^$9(UA?i3L)Aqt^VcUf3!nZ*QUbn5<82OyZoVE5#jtePyTyFo!Q}o+a{Y} zR&DfrSfWgB9#nmNTtoSkfN7 zb#E219}Or>esS$BvGta@ArwfqG;?zk%x0Q00KR>a!|MRB04 z`n&p`^sYJBB@Em!;l>;OaYf3qUS8~n5^Sx=LT--OSr38N+rCZ&q9dJr2)81gq(D9+ z3;fU8xZv5s`yTO_{HOC>T>It2$3pK5tuPIfK^M9>&DF?DiwkU-WJA;3UkZBVe6zt_+x~yEf4BHST1PQ#rWM~a)fuz?@QcdKrX+%MLCbz`!J<51ihkMx5+#6`hZCk`egjZt(b zU*SL{`_w)J-uQF^6SK!dsOaR&`$*`?DZ7A~>AGK%@+h*u(?)f;`>*ExEFiKfclcp& z=b0CsXBVoTQDd)%L?2(iABz;jo|1eZoNcZ+-knQJ_DoGfdXL4$Kb1($8FYzkd~dtN zA3ARJ^y1s)()PoTlTL}sH~zTi8_kDw_TF#tvPfm-BV@Rh<-Ih0-rgTwmRc)U^&=L~r+=&DipXpYtjQ$k1k@bs4+-_J=V2_8~LTa3**!?6)XG z0GsCW)T8Ew&lcJK;3c{(RsVl=UO1SavIJ5k0w9)6D*7%a51)ggJAi>PXWW1lHi~MY zjBuPSKLEiOPYyyv8uf2Zi#;EFHGtuNG~`?SD^;nkC@F3LB(X>$B2k_mAfO7eCSCL) zq}70CiD=qkhK~oknsiRuBsFF4aJ3OceNCDlqS6`S-Bts;<;g^LzE}Y#E#ft za&nS@-5})h#5TWKgz2a$i`D^7eq9REA}F{;jd2jhQcxZ)U6-Q}&l}l^m{Md-p#uS_ zV{VQo0}mEUE$i&Wl#r-yXU%JsVJ0lj`VPQ4AD%R`Kl_B1p7tnw?idmnu>;5ZV#vU{ zXJ)N=#wTT|*|vmv5DK5g8IexP35@NSRH1MKpDZwG7yI!PNOI-|+(|`&Df+uPU^D#~ zN>%CISa=IV)DpA*h-viVV^d_@b${<*d#St=>n%voO1WR})>2~o_u;gCcj1-Il&|!A zzS>ZoM^_`rt$!|qf|73u)t7CW$2@It9#(fA&WT>11X%~XIbXbwIkUgBAg4rS&U}cg zU|Sy!xhzM_|I`HvQ{6hEzFxp#Erc~rT9BiN1R#9mH)uGy)aRF9(^Sr5!1}UYwHoE? zz)42u8~kwDXnC9hg&A?Vzal;YLKf7o&B7oG69PRv0=W*~GdI4EiY~t6b?hes5hFia zW%Q9CGG)2x?)S9lBXGtugL~CDbxL^Om6+m2FR&SI%xv8$xVP>U1l#l?%v%K*pwjtD zN}e1p=ny#s4=RzL`?eB3fEP(gPn!;6DbfPrYB0}7Z}eBYJ9Zw5itncZ$R)_rU(M@X zdfdA-KwaADs8DDhJz44Nt2h$9KvegEZ1}-Xe-cB>Cb|~sX^ovM!(FX-miPQzvdMS@ z1WlVr!92ecQc@yQmonb?5Uyt|Kwm!a8lMF@MC8zFNs=7N4vZy*5<|ca)YVTR^Pbo4 z=Hx`c@f|2UW9Dkc9}>#V=w7I3Mf-!6AAM0@>ku_bxtG=Nal1PEUI@@8_$M+`Xwh4e z0I^|SbubmU6&g2Cx)y;9mi83IWsQGHY!B_=HWfu!{H_|k0(~+1>!0-3L2gBulJk5BbYM9zN4P8x9z!nimM1RxK}lYwLCdn& zS)V>f=TW8UBY){f)J^<|Miw<1uY6-$_kH8zi%61f5v5=CBxD4EcR-*~#w-D);e>+6 zpXH2?BF^LMdzrEHUA=S#q|G>jxTyQc^+lH-0xqgvBP~wT_xLWlth7gmmuo3M#f>mH z47e$-R8Ir8lB&|LbqCieB%NA4p~j|NVMuc4ZC&+ow}7?vhpdjzLE7u z1WP3pvc%GQ*;n$q@Y9)vP!7Bo{FTJrm7953%Bg~TchBHwamJR|HQ=$;z8BSNYqSN(un}hH2~@ZlbHW-m`R>)N<>|vs zpT@0DhLBzVz@W!LC!vl=h^YLWX%DRWFVFbh)+f>a$+^Osd9^MxkXx!FC;-JR7Lw{9 z2?+U%t3B+=HLVOC!o3OhdtQE|L~isVS1+n31j9JEL2e7P8a3ysKEAcLs1?=9Avbd3 zX{@|ZY;R-uyH{|EVRxm(I5Hj%PNv`q^_z;Q@(0EP0=-p!h+GiT)sLzy8Q#NzaO)im0B|EAB5%E7!k_YYsRLsM$q- zlugfo-LKo1Kr}_3`TAGebQ{@$gOQn18s7j@UAo>pwLo(Jhl}cK-)7eJ;<-wo950PE zkX@#tviUT~094SKv>1Cq+ToB!<;2LqWrfnGJ?w-}XO6%aQ{u?13W)EG zk`$?c92UuOYYhZmweqVJdO58MAHwlF#Ic2$H%uM2Bkbp7x3~n$m|Ox>jw;3YuRx{Z z!Ib;srz1Y5rIUPQ#cPbpcsp^2J0rc&!A<_H-2>07vsFIxCPf6)!Ueo)2z+qRsq;gd z;is|kORn5&v2Bv?2~ppG;hHTfoi7G@Xg(!YA;ur-DikXPY-$v?CspymN+>6R_lIoE z*Cny+e}-b;z2f^ua&czpg%|^ab(?Y_a{$z1{1tcF8o;Qq^cbJhTh1@$tK@YuDx7{D z@v%q1(Ozny_{eLjsR3Y34-Q@?;=FKi3riRF{yy161Dz_Fb%# ztB|}S?);(Y3h=>wEx0Q~tG*{~`x@Rw|F|#2@>miv^_LeUx;mj_W6WL`9vg9Iu*!m@ zFVlv@tZz&x?JPVD_&{MD?#qq^K&lp_h+Au2y?e-XV#Y@6+VV07zzLLWp%AACZ z9E6OGp%Ijna0V9N`;v^bfZVY3t+kwzJK^czl%L~Cj8TWvR^aOdI`FmD%wfy?zin*C z{D0gInE$(dL!19A&KNalg*v`x7(fyGel>XwU)W&r2x_C?@<;$r$j?fo2IkB4vgv#F z^3)+|pp(`0ySIm;lCWB8IN7ZSlBS>@wi`ZSCgmWMXyH>-LdaIkH0+m5JEHPke+mEF z7~|`jP62tlS7)mIsVuWd|erO}1h)^kd(bgw@s zZlEKeKWHn-@jUrv553?{NYiifM?3pc-no?eC8 z&Htkt$yamQjpVI2Ktb-Ns3#mWp76PrfU(g{1}u?U&(kT0OSr(pD(5gNU-W`-#dp^U zq`JS<0Ym!Gef05Rr*2ikmbT(WPbfXfBIJ%8!%Gg)eX@Ms;Nnk@r}JbIJdY$mlfb}c z(03BQ@+F5Rz5$E>cS(Zyvmp5qRq;0CS>X!!23}v_G0GK}?0t??zmHKly$`V;XWIRg z4VA~-r^EYom1rJbFtGFT?#uK7Yr5~0!MAyj<;KG!LP}4NgcWo`;(uz+W-Vn(9MoFSNlg^BUH(e{-P#G3`2TKVkJPs`J+52a$3;Z{6S zJ3R7+!QkR~FYx4oh*YwD%IQLLpMQ*+oqd>};h{>vxxZqMEow}l(y$nRaKMrYLpsSxgpy8z5t@_h%S*U8ffh(Ee9&|q z2k)E2moQ`uN`T)28J_5zsmUQ{S`gluJ#K=9JNfSi0I#Y|Lg7I0GC|6AUznT>^%5f_J=|3@xGlOeL0?_t4Ivv0pHx6 zzuft6d=v!%`-_wmL^Ay$WfVuo9UufxykjW6#(jN%KI?#hZR^+LO#s^_;Yx6>$~PxQu3KqQkUm-|Lx|H?|=1`q4Yx4o_v|@-@jU#!p%{7Z6$6W|3pC5WH0^LN7}d# z=A6uQS3>rysG9SMme~JCP|wV*yN21H@hER)wN0`VH8rd7ijRTPpoZT~0&>wAn(ldN zxyh$WI{WtLvp|~{_1%L&_@QN3VqDE701iY6-&8zo#cbY3 z$7~v&E2&J5y_DP#TC_v?5ROt^3ys-y&u?Evx#y$6yuyc*k*X&Fx!G?!lpX4Xe?pz` z_2o@CFDz&i&KtVs0(N!*QAh*bi6%|dWe6>R5D@A4Qmi20tOVqSu3m1+K_x3jn zb~PO5)3d`n_PSw#KP8w6=d;AmJ&`&h7Bz_?i~TmgntPlveL3@n99R4DuMzp^aCHGq zh4b3IC2dp)qGsRS4C8BQ#Ot2gnei&dq4KE$eWR=!E zFUKa1z}b1N9I5Ro7An;BKv| z#tjS)ZW0`vd)pfhtY0W|OC=Rh`Kh*+2o2QIv{`Ujnw$`eiJ{pO#xfA_)_PH9{OW~YvD+v(K7RCdDWzs#ak{#TOX zwY4@{Quq{6%u;Yrcwl8wThkUN zskHtwL$%kk8|n6irv_AK1YhdiZ)E*-BW66uu?|ADc{Zu#9Y#U|D1-(&6G->HUCUv}L& zzq^pI+uY3gOp-9fUXhnXa8to7GLkg8y{R06iDVgv1{qLsXqIt*B58Czh5hG5yN4J2 z%+;>B5^b;JE?!Q_k!TK1O3!Pi${Yg@G6zn-yY5e|-R~N2%HaKnl685rWTBFw+1tjm zo3GAq^YtH(Qiu(YZu0dfG5Gp-m?I#%{?64TiH%dI6-=K{u(A%Gw#xQVB57s&HD@YwIQghh&IBFoR&Qn}sjgN) z*`{6%XZq0ga)UNDh8fLdd2!YFhqugq3|*qy=~487QaC1n8izicp$uiTOB4ga#=8^g zLban=*WRkxm)}eAKV47Dyb8G=m+eE}Tt5(2DyQ1nLAx9u;~@C`Tp$et)d_d&H%LK) zp``6%&`wD?K8(r?`=a0Opx@MBa4$0sNUX!x_IHi7*&m(?+CsJ=<(UbX_H0zvAHcZ^ zssOk3;4t*PsK?V9F-d5DJkI(Qu7k{G>szm{e^q)e3u?p{h5+WZ|MX$ z)R?wDohS4=gBBFya2u=Q5w4i>QU=y~krQU<>%zm%-A$B6)ynXcs?(a;V3a#_89BaP z^Pyc8v@du$xk!xMSQ>7^{!lVLi)^ z*yvAQkg=Fqn9)D54=Wrdz9grHL%FtO+h5R6X-|dOy?^SWIwuf7+6@gZAYnL4g)OUw z&v>w&+mOR2aJuM- z(`UL}h;=b>f)(r01_Sz3{rQ)@9NIcKD;}J0vEwusjE!3$)7`NMZG73&91eUc7f} zOVsy%j?>iv@aSwu1b)Y%M_JnTtr!=N>qzRnv+EI!`e70Yfq2Di;plFPCl}Zgu|x^0 ziPoS3K|Q9r4J^LCs&v1kWzN3OUBpTjaV`28lV8T+@4`sZnm5no4_ooO33^c!{~epn zGNB~t1NO;V#~3v_W*O8bpE!y8pf(xzN+Kvs1T|H`T;iWOEeOepn_>Lm}jaO%msJ$MZFjNH$1nwK``p0f^%Rs_j)&w9PqEzFA z;-)lvM7j0mSH5*?4pkoY!pUIRK8?P~dnT+3bu4aWTe1-#PWhyy@XOktjKQrw?U@&j z&YpzG-2Y|>QWsZY_9*}OLObXOdasqAb-f8fM*rAR-9>mAvQ_~b*iCY@qNJ7Q1L~vB zU}iuIhl7;BE3|hH7p|qCSg?O6ewU%`r&cF9(s~J z^A3i(uRwJ`Q1-`Ch_jQVwC6d_;-DyZ`N!^|agwFR{dV@NR!*z+0`_YJ7%vCv5|=pM zZ!MH$%+TQMIl%qj>XDNiRzuYBQwbTd1=6**D*d8HDel__<=5w)tl^DI!xg8xPIoH+KcqGyKZ-&O6huJ3B3Ae*gRk3*Dg#axFu z;X$W*yrCNk$RcHC3_Gr3G?Cz@^s2|uaU!3^RxNdGg@4Ggp!U_iy3(_EsW1K)vDe6l zcb+M(L_4dRk&~rzCr1{AIB3{RJoMen92QDO*_=4h!27?Gm*_F(zoBBf0dHMQ<**#( zd%Qq!|1;;&q4ZiKieo|3*j_enIW+P&C_vcKdC<} z_wl8-K$B6Rl$&ac91>DKv+`I9;^_~J@F1rfHc71*ftnV?9QSE?-iXi_T7$`Cso zsnOC=2%NRA`4G+~FWJJRMM={aymKk>^OYwO^aWC9+9PqMf!|ssE_J=7qAVOlSseVc z&Y5X?m(H0&?2kHUhQTWQW`UZ4IktTE?Zpu%Z<)9_{|uSz|2r0V zNgXjnU3vwQw76Wp>vWmd{c-rbbr!gU`cj=8vaOjG>^P0tK&cCWYW!BoFQQ0`2uFu& z`*Q}H`VcnY7ZhVDJ|q!OG@s?VpQ48DoXU%d9U1NpXZ<(KkE)fFi9zpHw#RF#14J3P zIvm@-0glC5cZlZ;1u}MU%0gaXksf1&dwI{TwVC~z|K#>I#bA{1vpg5$D=0-faeEos z_z>2u(r;VZT??DDIThXmETAJNP!0!yKDr`w$2q*+a)t98Uv_(Pt1h)n!(PdNF9+i} z*7ZMr{;BWbuC#jiG}88faGno4f20<^cbc#?Gv^+s34CZ=!P5=~I~nqxl$3g>^1G$( zu@e$xg-+-lgW6UR%sbmoL9#~|q`Uf}PwpLL{wu0Cc-$KX0-G>DnW&V&pWmoiJT~pK zw9vwdzXQ0)zAtSJbfX?O+p%$^HExq>VxZm z27%8`-m@q)Vpq*@jh(PD@zZBDD&(LWIO6zNDIzk)JM{b!U*eL+8K=Tu76}x^V;b6T zp8slk)1FhcT$MH}ni`~~>-RI5NS3;rRnK4|u_v!*&Y+15<9yn^svGI+@2jc={mTd zT|(W@&}LH*gz!FFn}gG4E5`Y+z0rq%?2TG}ro#&JK@sT7O& zdy|A@qC?P1qpHu&Z7!aIQiS;!>K;b^>QB|j_hYFkA-evkMd_~E{oQIxN;``E;f2Lz z939{;y9t*%!{KJQGH@lJtCFHP*d`+E!?AiD4i`@}JTg)cbvyh3F48pQMA`GDgMeZw zbbDrnzsjoHyWwIN_eKm; zrUO>YCN?kPeWq3^S5p-x2D|P=y}F{*&Qn&rgHq~)Om~ct=`KAne&40dy|u5UMsy(y zaJL)&x3Xg=Eg8xg*QJ(%z#cU9!6_N}r^vC8eMa(7X%-D4)PIUmhm^^FN-M$fp)u7} z!p%}C*~9~5w1UB$=WhP`td4Z+{5jC^v!K(IL!bINVCI>^rJS8^z3s3-)uT--shxUM z^45lG`8Cy^vQIlVE$vh?Tr9f8VL+FVX5fE${1}m`xWy~!>W5lPjN51J4t4uCbk8S_ zOlZzf)yMa?sYq5(K~~?9vaszBoR$)kCQ+P5-OT+@N-D0f6j|UXg|maaf&1X6UH8G8 zFxU{n0`+WvwvsBALKM9Pk|ms-a)R1m(;P{@>;zvQ_>=ocR*rj`=YL>$oFa?hk%5%- z!+ceO|yokVQB&p>8dSFctmwioJka~@Uw{m?wa)yQ$ zj(bXkxZV8Nti!&T*}MHZvmr&qi;MS4jIKey>eQu5r?UUy7wHK(_nC-M+8pzbMrz~- zE3HqGdJvJf6RYo^EqmfJWP(h#a1>uZ@caPj;>?xh&X$f<+`D%i9&6&6d@OsA(V>^% zZQIP;=md{q)HAWJUl?d=q7W-~?0Bp$Fc1IQF%wpp{hjybqk*JF-RfCblsWCVNkPtF zXO|J(Am@QgLob@mg-F)5WeYd%rmcvaBwgNX-En_r?#xn1sMwJrRpV*o*SH3?bp&^D zbk2s}$}wf6dhQzT^9SsPOvk)45su$YTx`^ri2Cn*{AxJoj+1XV&9=XFF#SjEM-)}Q%UEx2Sn^%6!id9Z$j>Sf2fX`7z9g)wdN8n=86}SOr%nG+V zmO5+Nke1zt*}N=dGsT^Ht2tKaaWmYUDy>$PDvzyn%_?yU8wlCE}5uzEXeO$IUKvTIJ$9t0;%iBN{nO)TQ3a%$(yud zrq2ki9`TBn*GurEBz}@L$9;#F1@Ff(>1vnh%ACqSbWT^N;LS9pNr!A};yUt9Vcgk+ zUk>%nE?Pm;ere^syHB@T<=woCQ#G-OAYTPee&$WhLBd) z-~e9cbmG+UsEX;fSi3~M9c%7PaMhSlHp*Op96zoXUqMH+j&z{wm z|2olh)rbs5m;D`~59>iwWo!9N)f_zmvM(AnTdZmQX9W%wQpWx$&D?8}Ii0lgZtYy+ z*H#r4CJdL@QagJtA@!w}1ny5EuiO_iSr1A$mU zJf}m1-lAodzNfgg`Q2P6dRzuE5%2M4vB%%USS=LJt=vj_t7v$ZiJrZ(odAzS=t}_0|fu_va`iPqykw7M6C<^3<4f z>U382s@t<8*WbMepkFh#_dtJt!=)0)9PW+s{ODOqIN87o!;6fe@^hab%28L#3DyqvogZ`z>gaOj2oBKu?z{#hP9r^9Y` zpQwA687c7G$3Jb@DGq?e8A|0~MLj(1|9aFrs_FFDy6(jjk?-#5?ls|6ytxtF$U1e; ztHEG{`=iUzWr5hWeabhpDO@7T!wYpuE5+mz*X#+K?kG^EE!l&W*}B@7X?ndSGwGot z4Kt^Wvj98b4H0ccFWFhy&;k193+2RZ1&XG`O+`9 za-%MPF(OW6N4Agdy=dk!oY-$a^OAvu(4eT2aEQk+6AX_SEt`9}XqYaqoubAl>ov@5+(Ab`>v`3tSbscO-O z#4FD$`{`mqMj5jE(r|CIKR!h?q+Q%&964~D^Mt1h(WqPWka2!#^pEn|R33w)sMn%N z>KE->Boy!Ot$5eRW=}gkGwOKCGMMZQBe?ut_ck~(z1KMthhl>}lE^tYqJP7=+4j*R kz=r~VTt#N@BBzkY_WO@#58h;Z1pS>HOi?;R@~Yea180%aJ^%m! literal 0 HcmV?d00001