From a15e632647efd5f5d7353a7eeb2065c4218b58ff Mon Sep 17 00:00:00 2001 From: miha-q <> Date: Tue, 6 Feb 2024 23:10:47 -0500 Subject: [PATCH] Tue Feb 6 11:10:47 PM EST 2024 --- bin/QAnsel | Bin 100008 -> 108096 bytes examples/belltest.qsm | 188 +++++++++++++++++++++++++++++++++++++++ examples/belltest.sh | 106 +++------------------- examples/big.qsm | 72 ++++++--------- examples/bombtester.qsm | 33 +++++++ examples/decoherence.qsm | 4 + examples/decoherence.sh | 46 ++++++++++ src/QAnsel.c | 71 +++++++++++++-- 8 files changed, 370 insertions(+), 150 deletions(-) create mode 100644 examples/belltest.qsm create mode 100644 examples/bombtester.qsm create mode 100644 examples/decoherence.qsm create mode 100644 examples/decoherence.sh diff --git a/bin/QAnsel b/bin/QAnsel index b479cbb4e9e76d10449c450ac3b12e8368022fc7..da2cdeb99265f700af4d9d4769626aa63894a13b 100755 GIT binary patch literal 108096 zcmeFa349dAwg=qRlfXcR%w&TE7#I*V>^ri!B*NgJ1S1eZ6d{HLA`oI02nZMn(Trm> z?zmhp?&w2BMQ%iq2_Qj)Yj8zHjb83`#-K)2h|4wK|5R1?^dy-ic;9>9`@SEo>8ew8 z>TGrD)Y9FgaOt zyP`C0H%GQ>nogGZT1q_Vn)%Oyg@1-$s%#hkw4l>8eV7c6OG`C=m!loorM;Kd%`+sw zruNt1RB2BwmF$&aOS7*XJ9^mCg+rER=M)wVDH=C+$k@?C^Op}D$weT!hzI%9#naOi zwOH{|nbw~2vG^miQvExf6V@)>d*}(%j)QqQ<6d5R=haINYBZ<~;m}3+S{G~ZKx7Dq z^e;<(l%b;sQrQsv(RGpYgX1-se_!_6Kkiy{-Hi{f8F#|d^W*F1XhTOJHM#ErEQfed z&4Li+(GZ{|{Du(tJ3^Fi4pIJG2>LTa;Qup3`K=+!r-Y#YN{I4aA<7>KLBBKv{*(~- z2SebegeadKg3j3?@H>Sl{~!dN*F)fs4pBZnMER-^xx z-xi|$`Vi%pg`f{~#eu)3*W3_vE(KysiK{>WBnAju0 z?;Bjip#+ZKT}i4AuDpxWw<;?ai}LKDBE28wQA&43k@(s?(nZo~%2$~`bymv!g_(Jo zi?Z_zGV^AoOj^1;Cv#T%wM#RV`STYoTb?sNzaTxYVE%l8+9G29^?3zK#`1h6clk;s zKRZX6IeFUrsX5sNJToaTGrb^lMrIDN$>T*cGYbSfIWK+Xq~%MOi{iF)sd<_CnK^>;<%N=kY&bhRXCWjY?gDwz(#&*0I>2sPc21^2F4+c*Gjdlc z`8m0H**OJSN^W66zLLKxKVx}LmXfh_dB&3Yi!uuevX^BlS$Ub6N@fvQ11V!M7@+ae z%p4`RU@=r(IRCokFo6bSaP1W|=BR*{f|`Zi>c3zf_#`y)XRUSGZ zqbPlTR(4MM((KilO1_kBS?02gWx1%$&R?D}e*FCW{ET!+NyShhYh_+`0g#~(kU)7E zO^ahG2g8gUGIHo}Di}@$8KP=_=EC%XbP&8YKVOKU%tv=A7f+jd(WLn!hmIT{$POK& z=g-x1BMjNmdg-Xqa7u>%RDP$_Bw>}8g#ix7bjdJx5>7|ljsH;#`p=9y!qsRAdfNR< z_&m+^!|~_7^FB<&W~CSRcSR}eo{bfpNf`i`E(U(TOMHU6WoLI$z;}$qzn{17pj;^7 zdpI1fTq5CZ91c^`BrNEwI(=>3qK&)U7~-NRm2$nPl@FKYt}0Qlm20qfmnf$-#UPR8 z_x*-)xwPfwHHPwj2K*z2@^cL3wTALUL%9|=Xx$`3im3I9q$3iTPruAwk)?8&M89la zk)?9Ebmax{hH_e8X_vz*a)eL3wJXspa#T*X(5~TLk)v|@)2?w|k)txrrc{#TrMtk@ zmh=R>ymS}kokf=4Q@sKpIuRnv?{mBYpmK}I^7{g>0H_=erC*D^B1`3wda0u18p^e` zFjW^B%A=@2Ud3LKAv(tSsmxF=U5X=C7|Lm#t6dwtB1d%Mv_hntyaJ%|t|H6to4o>{ z@@^u_?_0eBpz?T;<@ZXj0H{1cWcl6e6#$iEcG9o?UXi8p9(t*w)ELT*3*{q*a+;I1 ztJW)WM5mWlh}7p50G0O^S$?ng3V_NTBFpa$UI9>fACVPzIZmm(uc6#*C_l?kZZnkk zH!(DFMtd@aE= zr2IAx&m}mLV1>go2(}Vj{|5^CUqUbqDSs`8FCv(RlD~$-69}duXws1sqlhrlH_Zh5cR*zeF&(u74|spCy>45dS6)Pk2sIvMK=cYs9xx-G{GnxxaFi9IH>A zQ7lit-UvJT=GZM_1OmBEf4Qb$@qqXIJoo4EyA5UHP%{t z7ZdUxnF9ZZmkEE&HBd)a659MEe3Lu z%e{8L%j4XC!fI1aSfiZv5=b&gP}NTlKDsLx-KPmp&P8TtEin1 z=-w>rP^WKop`IC|0@3yL^LF1(*BpBqt{| z8*-8!Z}DE6NhUjjTS^T{L^)?I8PCH%0k0`iu*+$qJ=+@(brP1D@vG>y1Cr95#HIW0>* zTMR#~K@s61yWdsqq$4iH-y8l7pq>MbxC6PtWqkoC?%l}OyBKWa^zvf2vyvCNom-J& zyu`jq?U3IHG#XO88>^i@PVPZbS4re*1v#G}w;4@*D3{g0R?P}D$0 z4JfLyu73|j6%}H5h`_YdC9KX9Ej)OVh6{63xJVku?M-3BlawS)NqHCYWKPPbB2Olz z{2b)TK3bkEqUATrJhiQmd1_mx_vhWzpS%IthT0{<&bxtAEMUb|o=PeitLlSW*j(dx z7b5O+9EXeXfJ+|a^Y;nfM+@Dt?Lgr@u3Rq`uXHT!iAD&Cts1A zmON{w>!#yoGOT-NJkfB!LQ6K6`(86o%4xxdao&KI80Ymw(_QOw?-7&fgAITY6G{^a z+fyn?l%@(uP?9Dp6$GUVe&!* z4gb5y!-o>9vaGYfVCaz*-9c$EKm;KYAM-GPykX%_pVk0?{t_ zqJZWMUgX+Aeu%5sHG1*ojO?qGSCVJs8dh{?n;52P?B|PD3bnUS4V`WWrd=CX7bxbno z2!Aa325P1ue3aIbuUD7)kWh!Cq(+n+(Mn{ns-zu}i|oT{c2S=Di0jlT*AlPIHDE6d z#1d~uSC!A?s;V_1Mj~{VbCbCD^LB3Mrm60~C-cSR)a;MwRA=gveTc%N)k+SW`j?Ag zt$4zP2F&YX`#~sts{3H_P7-Zu_6MTLUSpGEEi{46PhZ-Nm^k(mpSr~euaKQqK`Dsr zmKvUSBUD4C8j^{JUCi|57S&Z=>VR!`EI>=X0DQ;y><<)uQZ_bkRvt@%a=**1B0BCz zzLeW%ymNn^2kgC|q14@gc3xLY?3kR%E!tXRGug;}7z^!!hQ>y|RHxPWl_we-vDF{q z@`V5K6p2-}gSLxrAh5!8;T?;qtlBpNXuGJ)S40w*II))3CGuL=7eKFS=j%XF>MkXl zc+y^XdBPA7_>5bj^LwkF^E(UtZf}9#OE(IBUx7=B^L56_NX>WWJ>_yAt#FlR9=R&{ z>g0LJ*Cfx^w>!C5;#Fda2R}{Qj3wTtX>RAnY3`H?2(yXizY2)r1F(?*8-QAU_NT|0 z0K{tU1XKW8gLGM1Gt!Litk(*tExI`fgRg>(80Zz6)xoM(I6ysj08d&2k)qBo5C3u< z*Hz3%hrc6704FrTv_!o}^Sxn}wly#_@0U7=J`Tb{H`DyhRS04qgjLD0_-Y*EG_Zif ze9Wge!vfA{T~Fg)U%=5m0;++BS*A4a!~c0%s#eGs?lg5(VOz7#%l9^VXTgN0NriS_ z>-ZMT>&t?v0z~z7Wqi{OlglHdak+Vl&QGPqO9Nm^>#@ACO)C#0Q=u-&<|;pr@>Fg{ zZ^?3rI-IxkC@Jo$scw*{_HFu6Uy^{c559-4PCEkMt8pF9ti>O>ji8KZz<0a^5<$Kq z1C=V|kBH!fg%|I1>O8ErRn$;NLKIG<#a6VVrufNfXovLo_4*D;%8n!rk#;u%_+dCh z3VIF#vI8!@X4BYFS8;w2E@TTL64Z(d8Q5Iv`hyk;9+k5HPg;Sr<`fJa(9B)|%?X>9 zH(lPj>Gag+e6aiEJLq<)9+0dBz1!^fwoOa)Nok~Q3Kdv&%Lak{uF)A=bHsKE6c}py zNrK+lt#)xp`T^OS(JnbYJZLa+--i$DLzo5_AHF-E6gHcM`MIj82 zkA}d_ealS;TfVnRG=BV}1~$ZcG^F8&x!4LpK|`Sizxw&K(BP_0GSlSBtE!V|O{D}V zEWjR!Zx7@yfgfZb$cQa9g(1q1lM@%^laSvp%U#HOWj+=8N|~R7{8pI<2U_QFI*XCt zB=fn*(`rZ@izHx~CMra@3T&e*M6tGwCK0q9HuW7~t%bggCLC=WT>&;e|I;{c1F}9f zZ$fDq3Vhnsyb%S(O)$j9HW=w%v0VdhV0T@H-V4L3lzI|sW4bKyhM}G~(prwjCdQ@Q zo1-bAb1$Qo;lQ@ZmfEbWwOAn5)10TyPwWv5Ea@!Bz*3vXiRByv0gbEHUT2K<#Msy_ z740Ad7a4Ojr$h8;A7LyPcu}Ra@TYPT*oaRHPh&aZQ^cLOMvu6B8$>vQ_8bWdb5XgV zJ%=ylNCsgP_#mv^AkFL}6KD$3yhuiu(({1WGIlv1jT$-;CgHp{=)zGK`T~S8`UCy7 zUzp9<8sdo-dS^jGLrvwSx|M zU?Dw>$b$-*5bXpP&EXNHv?Ho`WQ#bC(;-HjVBGwuBVJHC-NOLh>~s$UzF0*aE{;0> zA@Zkv81Nd}1sw)Fi-M3F<#B&bJKpScwPObD!vCappA|LH?jQ<6YL_UqNrgs1&%s?S=mHK9|}V1INYEkVtL@Gqv^qhyVOf#qq=lI5z{IG*_pwNx=7fnLi zX@?Ew-2op%Si|G4cYLqcQeX+3b{N_!X))!u~dEFW?_tJ5Pp`m2h%6Z2} zCk^Kv*iSv#!l3AX2NRe>fkq^z8vu7y5a}BlkAv zw>wAhI{_|%^A5qM)$@)-EKJL==Pbs7cM*B9c$9@XVlg1h5eukLTbQkd{RI14y4A~ zQbsn0BQ-NIZm{Rq9wPOMGY&UdeT8R zN|{iB8q$g+G`3g)Y3N>(qbg6A15NqnNSfNX{1GI%0rb{_8CtZw{Ey z9Xh4~vk=XNz=$XZzlS>IDaEMTgetTX(xU1`UX_O32wIlYNhQ5q;Jce5k04f$77b`2 zEL82glM5uQy$*yI_kvgO3+e#>L;kC4&W!99gJ09 zf2>ti`+5*hsR#N9-8$Y`pI4&kK}BX1HCWeQ9;{0$!ry*(;a+!|*PZhEWc1Wzcgi-8 z^YuZ_y*O#}I4cJ^y>91E=uhhlUiWT~^CzVI`6-@_4KyAnc7v!VtaCAH@Qw^U2>a1G z(D~Dk)@z*gRCF99P92fusFTG$k8_)Qchxt&Sh-mFXo1|8{PF~&U>ueo%fIkP~GeDgdfGM!=Lcc z`#ZiVWB_`)he1>AJVQ5V39#e-9NKyw=ii5ZmP-$M_hv@_EDUyj9hXJ}B3oH+;275dI2^i22uy9F`m& z=fUJx=|#b0cMaxjya3i4&lDPa!|`fln@7OiB&aF7C05jRz*6e zM}#unfV>0pDsRB$K(N}^Ul2Z7&Ix}{i6s0srF036VbO(c$tcKG90XZ}eIAt0zDHsL^A2_x4eb9Or za1Exm@V_jjrS&y9<-gK6psx53J?7kBo@y%fT3x%V8dNmmqYjAt)u1x4!9-{ap9u;9 zN8AZ*QJPXl1d&PGM3UnH=I#}p3408%>&%oJ#W@o(TS_fGWFW0by^ym0u%tyk&=XBPHkoSbjWSkSSS>J%z`49KC?a39RTz z3XMhth2w~9R01Wb1Q9MUA{ikV!EGgLk1N*OE6}rWnu|T;XXFGeI88MA2smc}$Fp{u zC#8}?P@y;ZRg7B5$*;;Lb-k!a48($N3aEp0#^9oxM%zOa&d% zpP(d4*D$T5@45kjA;U%0Hp0(6?|^XvN@C!#fdR)LP}6O1^i z4TfBa^EkTn_(bPH>uqj&lh6~s2k#P)na+9-;p`_2Hs1rtiAPol+7z1`5Str3X}`Ox z-rMc25l8GZ@tPFY+-vLI`zO1r-9MD294|}rl{t^O8_Mv`%y#E-EY3>F3K&SVX7rd* z=xbVN6PTk7nDy*{n~G`SZYUN6no*UQK?FvGAb@a>bNX@%HaR2~Ru1Joqu!u{YUpo4 zBz2p>_gG7On+ZdFff>YC3f@df(!3c}A^^-F0#fj11W0fcHWAz+1fPka$pvp_oByj8 zr^f`a_=8ws|9{Kk9fjauV&u3@6|TU0u=G)ad|sSfN&WIF>9~Uy1Nv08kB>KJLvm#o zLg+*Y6w1W90`_=PM~EbZ&V)eU6}*AXFdw2DbOb9QL=Xar^adtSj*tc=sa zDxcY1MKy$uGbjFZu8kJ9;1+7zJmP~}n3}W*nALjoV7^JwUvr@Tsib#O+-Y0rl@uIf zWftY8S3CFSEOd;*8hhlBYgb{#U6AQm0;-kP?XZX!v9pq%*;}_qTerVk^_9639jT$n zs|tjwTAN;km`ZJ`YU4ZAh&?YMh6PayZ%(O$)+|7&qgKQzy)RiJ${A$p)SOahtyzFl zgjU2UVO!3Hw**n@(wtJH)+|8DsugicM)nNlNiSloFa#>aH~lQ0k!-aY{Z(sb>%+dvi*?v}OTHy|p4v2}|`Y z;*mJUy|mQU<{pKjrXEE_!5;M!q@vP*M-ina9z_UEJc^2fJqpJcoKnD}h*A@eqGnAz zii(0g>UW%xcqwlE%onJ1;zBTgz<#eWK<+KZ0NjWHSm92)4Fj;)xN{{TGOm zMdKbL>g9#oT;*%MeEScR_QrGtx;}Z5wa zhf~FCPnlM{%Q0Y^hxXIXs{z~j_PvIU#eSDv^Y~8E@LpTMKos!Z`)R?xtt@S8nR5#m zZ=;Q&Jb1}K+rS?35V*^O7wiD=6x>;(uUEc1N)H%*CtvhGfEx&H6}yCQ+%+x>U3>9p@ zt?pB(z$a*h)NG4HY6xl1y|7zL_S}X81*1JD8|?WWbow*)l$%HCi?n&9!Dw{Icjp@I zdfvX!cAbY)Ld~w9o{n8N2m9#H+($88IDgh0^e4UOBrp28%=shP(%1!?Lv(>Ky4D5M zY_qWoj<@8}$v83dq+v(b#HB~zP{h~;35G66h5G+9U2xfz#x8huZ|E-g1afO#@X~+W z1y%|Z6fAz$g9Qvv_S~!+-WV)+jWz~C1dFff=&yxf@ez(yjF!E~VA+%W$g};yVs9}W z_HD#1g&wP=;k3|3psh>zoTic4ck3Sct}rGH?R7sq5%M_8@aiGXzOU2j@ysl|d^UOl z#W?MsjRUHvdEg{TKZ`2*rY7*hqHlQ>dJ0GUTpWs-lH_b&9!2G{@iL-oO{@ihFNr{{ z;62nxU_S^{i1H726JaBP!GeGf1pGw6ClJ5&8YI{nAn*Y%Hxj73f=hrCxNCkO0^-YE z-xec*N|F~Aox>H8uWb9KHWTKrf>r}){X(?(2fSXNgCk0FY-*9#`OV~-DQMMz7Jae1 zu0|;KzR@z9G40gupe?e#S3gXredTZ&)L@y#U;oo5rX}z4N}8>BCGEcT%ITtVt5%7+ zz!|{^QAz8`Kuc}&9!r(jkjlwE=%FRP8h7*Om1U*$Aq3Wp{L^5hUcR*#kNRjm@`ks> zx45Js+IkBK?S_zY&t4uLa~aN1!}vxvt|RhT!8F$5@kaIae1X;AzXvSv~X)C@t?&ougN-K_!-Z%wNq(I!{h;o+|7NWGsW7Tk9eq)dL)x zp3~w>Us`8~&p0vU(<%UaC5$x)Ux(0J#Pr@SKGUi8?F4y>6Vp5?-f7gH-Q_+x}JV40Nqi<6MD;8X7QmkmR{0A?{i0#HTo9}=mq+EK`TZB`hWq?l(nMa zBue1xg_khZ>vb@GweOCdR6=oB5TSLOP^6I8$nI3mE976f!sOMyt56eI#pTj=%l!i$ z&>bjCyQhq6X?*OMIfFYCJu5=!eFtsj>i4KvBI7i@+W8Z@R;jxTW~uO`{e<~OTkq}! z*z6J2ike0oY3(FuDtB%ok!ByFplC}$d=ig^8cLi$;avWwiO!>W&+u)YZ!kXHpm5`* z-lkB6=Vrt3B<6l^Nj=V8yk*XJG>NdwIL0MfCnP#%kmwCh8cv>@JTyD@4nItLV}kRY zf>@2pCM~nMP8am~gF;Y5bs?y)C31g(Iwj6yP~aF8u&!SL-+;v7BQEC?5`LY5^bi(J zc`cxpx7u0D<<1du*Ba#BMZVuu?!iLtU68wwzVdV;hF?jKqvRVecm^iH%`G+m8QPTK zku@SD8TwXmeMf{!{=F{$T9+Ov^HAyd182PDJ#nAxu5$lccJE+h%Sscecz;=GJW_lj zIMuxuVS}oK_4uRfKB-0@@<3zhLz{q01gzUJHu)!u*jZ!D+^Z0^>QXZjG6)K%x<3?O z7NV&nFYtsUL$rRm1=xciiME=PxqryEGS!=JLcnLE&0dLDaXXH+Bb4 zN*}^J#XCtcr2uC|Tw&Ql93@PxrO@_;QiodS7Z`^X*c^wcwD0?Z?_9s2+yt&--qC93 z5z@uK0TR>ZioX)4V#W}mj9#508&iQBzpW8&no2R0esaQR-a!xG3s<$?%(}g}7!0i2 z>#f_%sSDafzlozC(UdwN-eLLbH!=`jYsq-8EG)|Zg0+3}Uggr|o%1TmYc0jgdTpo* znb&h6u$gYnB)}8G?r#&XnA5{a!YgD0shjqA^aS2>_#6lIty2*lP;s%Y&@Gk!M-`fc zsOay~PKEYN(G}YMH||kOTDQZ0YITb3_u|Vx{}MbrX`PiYdB1>!vHxol4#q1|{M|W z19DuIb;Ip=YR1JYMW*#uqL)(w;tdtzor`#P5igbRqOEvYAG+j3-_bIyJiMw9Y5^PZ79S)u)KrUH!5WRH}y(QkaTaGgSBY2G1 z9yQko7+=g87fftVvl)SAHr~uy`Uaj^B9J+-ju4A>Ov;!Ws(ov48Yw?(_pe1^>-6;r z!i$%)^tA;7^@c}@UirNWEn)>9+M*E`eHZ4%;*(w@FBd<{AtzN}a6ulUQz)yA|9}Tl z{-YXljl{oYp*piz2JxTN(CVnH4aS$@bjAO$5U^H6bTUMi^>69JhNkSLIV zgrf-|%gTMS?uem|${=8CjGxDO1byz07kef;H(A%OL=$c8Sd6yxM!mtRWHQ~V*S*Q> zI12i6I^U4nQi`?pWee?tdSzg6`^aYPp=Yu%mi-6(g3LDx{95;U5pn*wkld87rCx{Pv^MF7T|Pwh z^8V#RtC>d~LdODSYcNWX!p{nnO~EKZGTtIkDuPjhs4N5u*<>?t=tb~K#5ws>ZoG`@ zHp;q(4Ruro0R{JRsY)>wij`bA;s@#lYpp&vQ2$RJWwrKF&jo?{H$}Z{FY8kS^-qc@ zEjU*D#=c0L#ZI)mG?(L5`y8S)SBwHdz1r7Vlr9#ff@ZbvCv*-dETB@4{NhvYZ0Xk* zF1&z88?hmr`5Z?QxbnShLh5cr8p@F*iE7{c=c$eUes`(>xeyqA$pYjQ0geP%Hxd*# zpKoA$bPGsmF|yh>i=RJ*mkAW#IwBFM{X06=pA*(rU=~igjMLyw+6`pLNq54N@ah5i zlYbL#9(q$6594+zbwlJn3rh~XfviV!F?Ur%?ZcT~EJJqjjmR#_P2l^oylPL{UPSRE z>YgS+@~Bso$)5AlZXai~?u#gXTxmE+g;5TiCyYXl?5qAS3W0kO0{8L|I13%S0-vm)Dgl?^NZULy&t@PlPjPml~EeL)V1aF;{aqgoBKH`J|Z#COt z1Wpn?{?6-M;gqdf_}yCK+ybSxK&iZ&U<#_Sg|ABH_MkHn`TG{I$H9pPd;INL(jO6~ zb)iJRKg3%K{o!1sKR-6~#3^7T`zXX7b>thg0N6~OP&Wuqa}C%oPnX3>Fe5g$Rr-9R z0>1?Kc+^We9opx7T5MmRb{V&?Pjjz%8ea3Xwte+K4JPeT=feqP2(C^l+=A438{)Oz zRPP?_+xXs9Dk9=o>bE#*aNbe8_726mfquuYbz=LJqBancSnDM4ptZRamH4jT|7e@4 zh)(@zyl#a{;0)Nkk8WKi-2&b~Pt=WVwM~msMnlS0Pc81o`3Ei6@hc`1OX)nvx_%jU zKyT1Vi+GRXdO9Hyp@9~eop#a3X~%F{nORFe;-mkB5B-|kX0&qeyqW^G`;}BmaI%c< z7asz=uo(q(BAM+~4m>y!nw8P{M*AP#M}-f*Mic8@B8GPegphj$Bz~scw_QN=k~{=L z%&ZZ~Mo5G+nzxmG&I1%lX`t+L?qU0!yA}UK7@%0)4=ao-UVA_(#KX0>mBLQIWd35U zDgjljFosuk0U@+Jp!m~8b?3q;jW$I;Km7(gVOmR*1cIY5qIm5dr6AltOt!FY*aH#3 zwUc$jt0Fhiy5R+p8&KG}c>>txuD@i$l|NL^9I-(Y!P*0P#? z$}kcS3KEB;b)9jadt+FM^PmH{!oo19P5YTVk!ykW=TCDRA8Ah8lXkGoh7Stx+Y$b2 zVMdUdSP+Z*0Bh+Cz+CWB7jk4a4sU_Us*p_fDFa%-pV|sOrozSY4zsv26-e1oHR`u2&N_@k$Us|l-D`xZS37;NaMz1;GFz@|5l zdq&X+8OPC0AjmtUhD#Hm36J;C!M@gk&k!~Aryi9T3w8nT-H0hc@%;cixAP$E*k~=C z`EN{d&7EP0Y}&lT_Hm7l;0e|SZ^3v?lX;wX_`bOmo~m}(!AG2omWK}-LuJ*z?jR|K zZ;}+0O8X(d&sl{(Z=)E27f~&~b*Of3BZKU7zKp+@Fv|FJ?LU4F;xxV0hR>ofZ|gsx zO0W5lJ<9K0!^1_F!=s5W|8ZWT<9qfA1gHj9xUzU{Rb!#kQ%ZPc&MJWT@D29}>&+ez zcX`4auM}#;p`E5iIVV@`o5=-!iTRfc-1j7IZv*a1iF=NQJ4p!Lnz$KF#Qp7YU0kn0 zTyODOFBcbY!rgrIY%XqU3*vr0id3lfJprv@KIZod+ao#DNp#4daC=EsW{RvAM=DDCzjKrxf)^C(#QBmxk1|DEA+IlI)3AEr6 zN0Jo0mk`+TN@!Y@fX45>k!Z}7G>o0JSkic2qj8`=X|heky5>jY^o|lAndhScIh`kM zTMH-XK%*#F*jg>k{pDnwR*>*8tfCky|A>tjZCqMG{Slub;(-f)@=EAr=ysr2Nb1x* z(3{7NZEpN}EjXp7Pjam2K*mJ z2>fz^k9ntsF>AnoQ{vC#_}0?Nc=5f(Hm-8b6NL+kUvDnIcM%lVJ@E!XO?cw7AX(B7 zR@hgwK2q+#_>i+o8p65BZ|(4(aO`g6I8JgL8{kOamI|&|dA|#;_(4xwms=1bu@l0N zbka|?MnMX9ct|N;5hE~IVH$TY4(GNO+P?l*($-|umK@5~r3dGw@#*s?_{=r(nH7r9 zYlvq7edvYFKi`kP4l`)>)gz)Gb*s`I2A14Ud#Lj{*DKMVTHnsacYvCXv_plFZsmi*4l$Z9>ruXr77z)kBtzAXSn$zSdDn>czGV=JFGAc{%JKyxwfOon z(ZaZFd3zwYlEaT~c-=w-{}l7?~F@}i`13IcPkF7BRfFI#R#ga5r{3yub9z|xy* z4Xdpi&Vrv(=8ijgrl=sYq+ykH!#yyke;xU7=(Q9L?Z+@owG~bqs5eT~3i60nsX8~& z9CtCt$FGuO0mYX#-?yuwSZ%e!0P)UCG~19vLnGF7yclvxsUgzqb?rcFgDo^C^@Yk6 zCC+Wk|5|tS#Xj6ZjLLh(TB6Guc(ie^wC;WyIm}wxBUCKH{;$k=zdkY!O=~_fUZf2Y zwjh0QTEe~hd=ez|$Z$&<#*uNqr12R9;xv9qAZ6Mf8B5WijgjGcZDD3kes;ksNEt8J z?rkrbwKcqdK9{70PtmoV(%(|gpD6q z^_~JT?l!x-wd#72l7`XsdP*ACYBbgnjdr-+5BId?dN^Tq-d~1SAwoumeSz)dX}ILU zt|48cyofKgq=$@oODHGy3Ke&gYpFO4g30wE{j00FT|Yld*mXKojp? z+{W*=KC)Yk_bOlSPBr*Sth;!j6#IFbhl?U${A(#Ry_QLi#$LEjay$wdImZUnwx<`C zpg|h}Agfx*DB6cJ)pl>(J=~1#*jQ7PxCw*JKc0)*Vw7moB~!5dhR=#F`S+c&OJ*6n zWYNXVyX4ZoqDx-8OB(1StY`k)y5#36f}^oZOp@bNjbkP_wx>&uK&dvmq*}>enV!2Z zDeQl;Po9hkIZR$D;KRh&HR4cfhfrGd&io4M9aF(2A!1udDz_V{BnT?j(tjBHxWw7K zj~6*aAAf`vd=UH?%?GNwl7`LYvc*O4H*Fp3lzsH1)}jh6g1q87<3L?^wSY+b@w?Ye z*JtU;`hcC_;cup6=nfAax&;pLF9wPF@w*H3p)IKKq5a(C=6>`Vj!Y>?GfhT2WNeQg zRou}IKgxh3WmPAI<({@Dg^tSFsP>eTYV8aI>nRM3j5>Xn+beoqxZLsbKk0J!8L2!a zs8~xsGrF8@QgfI43Hu)EoQ1bbmn*gzT<&xD8f~47F88kN&XHP+>1gr)qRUN?G8#jd zOKNpH?7#=ov)1;xoE;6?3|$!+MgJ$9?aj!L&Sng3IC#0Y7w=`^Vs4L|bCS7p;Hd*e zmmiZvS5JT&Ytdz;Xy&{4HfhETa183|zJR>ijXIB8ILgjiVKDD$DmL%{zcM<51<7%(7!C;Cbw1GtVyyJwp-0w-J`YIO0C+l znmr2*+AwRilASd_y*kN+e^p)^0H?8P?aC!-&k|{4PlLODQYPJXn9*G)U(noQHqp$t z(Jd{ujo$IqHlp#GOY&z-a9Y|EkKetP9Q5S*f|}8i4bnj`(Wqq+wRTwYV+h=aC9xvS z&iWr-kv`p-#BI^saZauqe)NGH~f97svQ{nx>xm*wzvSQabKJZ z;&@`q{K>6w=@{Tr%DIS7I`o}KvE($`!09Nufaat3(SUQR=TC;(4htD*(1z7rujS@t z=M-E&KOJGAI;kVMF+V<86Z+{>Trn4jo638$cpr(rOVNk!YZHa*j5H`QTPk7Ilo-@b zB_08X_9>CkOo_jlL-w~8j85Pv!+892W2p>AigB6XpCB|cc8im@toEG`0eQDv32s3% z0U|yPs8TNvO;1W1#)$ti0P5Obz?IX8;}W;swPk3~hE=K+>RN;*bnl-CO*eFG({{V# zgKalyLy+xcAb)PWu$|Exrt+3p|7v>M!A;DYA_T1qwq3TQVYJ;!Y`w^KJHeIP?qmM= zvTfTMpyd;M-8OvyJ)~w{Vu$H zaW@?e+ECT?T7LSn+@+b#2G45Fqs3sU4W2_>uE0!w(fS|3Z1*0-Y`^XPOyJpvNh{<6hpWzK?amMc@6TqmN9bN{3+;N1I=oCHd8@4l&ARfWSVuSyNAW zADbcal23At=u^Hlb|NEMnhGy#*3!hq;4K%+ma*I$G!FPJ25zR#sO4W?x!mE`jKCSww@^vY z#p`ypTtBUilwIOTC&0(9~OoxTAaE)$F&Z=kajbgbLgzKkE+^5SVql_zDJ z3%{0$53+$+u`AGHdsYW}@^8pjh@X?CAML;|beQ+RPG_z&7C2*pGZr{wfio63V}Uak zIAa0)^E3+fbB3#bmeN1V(Lck{KPy|gJUJ&nbLj-fti^em=?fj1d3nq8hB^{Q4CoxH zY9y*I=$}2ffA*UG+2?gu20N7g`9yw7diK)Hg^q&dj^(+TIgUkn>A8!uGt!qjR%Yic zT)uLsMv-v;*xJ~5A3pGI&)+!UIq^5cfFFr`FZ>O{pY|Y#9uwy(^yCiz^E^GvzyWY} z7C$&y>L=qL$T6CC}A4j-P?zrR+h z=&-h1T&nQg^&-j84LCJtMf%cgSSAk^%FbEjD99`-P_EC*T;#a^s{YyYnjvN^FU%>> zOJ`)}W~LXwve`M=1=*mqI=vu!d5)4n1Tr{*!o>brgZcjhBuUs<>)NR~`2~4}8Pvvc zZD!W;yv(MQ0+>Qj^jBt)l2??d5{(cDOO!(y2h z$#j)WSIe|Oruj0>kcfk|a=5g}Y9-vugNn48th~&HOR{rXtfMifiAzI0({X*_wb=!Z zMQ|)fVLqH|Wp=@0_(gtUR#tXKc4iJFBaHljuVgNy!PO%9g5_CR%a>-iSSN?4sB;Xt zK)P%|o)qyQmze8*%0-gSN^&-F{p_s7jPuX$pN)5219YZloel}j8rtB@SiUSbJuf>S z1B33a45D17 zqklF+{*Z;rkj11`v#U6`WcVZv#_0=PH)^m*Yqk2M_#u;L{njTTNtD;`k|~~)*P_|? z$pXGo;&sweuW0wng)-g6dYC3YjPn?rUn%Bn{2O=3FJ98vXv1__gtQWHIzCBD1bjVG zdXxV-q>GWBlYd#p4mgZFuBA8R?aH>183(UAH$jZb0h6dsj~&-G~>q_9ESi^cd31 z@mg~jp7tz7+7Icf2cS373VfZg80n;kpf}Rt4>vY$M*8Ak8yoi{RUU=?koI}3vC)iY zUvnRa-H_6kx-O*j5%OZBw>*vZNF$#`d!&x%&>rdd7tkK*{3_TV&kX6J14X*n>KO_v zvauePj^+y1(MIKX4M3?xpY?uT-bf$ zz)}4;8EQWnf2p7=MF1q)UX66bb&!n;k|S+5tCPBPxD*1(`ZY-Vp#D5#{mMZ7!ze!= z^{e4idV5nLBMb+MUdP}4@VQHn>h;MbCUtUvMlGs#0%y7rN1e(MdQur^*R@jbKz#!I zcS}(Fr}g$psDBdm^wE+ogQ<+mNc0z=JQ{vJiEOCZz;uC11QJnHjQTOTjg2wn4_bZd z9j4pE%ENE#P}0%#N4U;w3vhd`Xlz^(#4AhZbr9u?RyH(@_6A>KlUE|ESk5Mg992%l8J=SLpS( zp?)fkC>I3PU!~V?LA@LGR|nP4*6RyM*;6k^80p!)fGJ;k1tsK3Zq zZ?GT5qz6#H6RB=rQ>BRrP+wB48jIL6HdJ5s>7er}0&Wr>d>?{L0b2XHUy$EyME$pT zO(M%^Yg4-3*OjOrg*R{x0#|RZR_pYSp#BTgcL{25*4sCr{@|^McgFTJd2=!D5fAsG z{!zp?oxbT|?u;bgIMh24|L`hHp#BQc-hrYys82$D7x2;BJ4;NsbQ#wGX8>MP?-nFu zv@YYrsCV4c*!VI?=rq*l_4co${$Ebod?hUv6w{ zyex?SB|3k49Bo4k?-NwtQ?EY{^-+lJ-AToejs9gYEb>9di@&I&!w+DgX-7m z^$(+d=Oc}cbA#&B^!nFPe+qNSEkQoCUiYD+sJ{ktOLUO_T>|=}KK04Q#)P2uvAlgh z*rzA_n0_SWY&-(f?K_=f({14;9ZWINu(ShJlYw_Jew#L%o||bg%!R(bdMNJ;l%BcH zSm2BW&RF1#1wyAYGFO%e zvt>F~rc-2kg-o+#xo2mr_1Mb@!O*-;e?{AJ-2I0CuDgW_6^0S8T~fs zX!xPz(CW3ce%HZ?H)cJu>0dhCrm%+Dv|NL=vR5D|?PRL3{_ zP-2bO}nw?F^}pEf;c zk~rWpHH-j|%z;$X9xPSO7ja;YsS7kRPwqva%9sn8hW#+v|@Q5DkU-RYG z_W_id)KLJg?D8?tDojtG1>mY~pQC1@sStKEU!C9su*o!t_{`(tY&M-72H=`biw=7Q z^^sH@N8LqIalb_2bIA930y0H@Ou0Nzi2Mg~9P!^8VvG_=T|4$M*wT7uB$dOb%;ZzY zVbRVV<9>i35tHDZ5eYH5l-~hYjOZS72j#2acM&~eo=3jNOzbRdmI(7Qc!_BUtZA`X z{)r03^a03O;^O{|yqSi~LR3av219n~!Cm&;@i5T1F5@~rfu_TM#b}*i=GkPlm}nu- z6k=~fJ=gDCC4$;?xu6&NN*PAwT(1u_gx*TzC&-UW2n+ib_DV2^(XVtx#=%Gt^p8G7 z#>XrK)rb@*7MT!RLU}(Fi|iiz80G%~#UgveRw18Y3rnW9oK`4x+Mk1=PYIu1E_8N^z_BgC-W`!68o!Bo3Go4u}@nZ9V zX<>`cfD|1hyZ;raQY0y7yqu!{vIiF`#K@pCKgmViV&Or8nyez7F;?==Wir!M87a z6@7RXv!S*hyAX8xvqngDHlu&F`yBQ=K4VT~W5IU-I|}@PYz?#<#B5eY8O%mt*biZm zWBxvV>69>;Q_ z(Relm?lFPg4!#rFjj-o=>=2|nj~zs}pU<*l73BhUC0bp`dPAcm7S|t7aM|719bUw$ z!D|wupCO#g=A)I9ZG{$7*lXy9dv4?@5!j6H< zboLD>U&ekMi-*nZi)g$q#U4dJ&R}0c-=KO2#q4>MXS1harR&&Y=)Qzaf(%R96xe(j`ySfmu(x3CCHHVeLe z1KR>Q*RTuwD#}{+DWqM;{*ICx*$i+mW-}n$P3%|bxSl-?oDz07dSL_m6t$)75zx7r z<$~`m>@sjEV{fCx&0YcDTbT(Z9;U)px3TBZ3*~IRLs4#LL*Zk0uv$o7!Tcz>lXZr6 zcd^gl|97)N(CZ!+1=;Rp4bc5QwiaG-KTAaqZe)J}}9lim^}lV z{Dt)fuSeKdkpHjD0h~>c3~#luOW{9{vG*YP;U5|mqeC$F(I(0rXOgoSsqB*^>* zdk%fHi*1L#UiKV(tcqE~6lFKN0hIT!?_j;XtRv{W$%cW>K6V%Mt!DjTjXHJ|wmQx- zf%7dJ1Z#Z9UdR1=7Kcbu&!Qp}~CS>?kIoqaoz8?HcPr#(A#qyO2sVNT8LA68^U{)gTfShU<9!1ZNSFO(h zJwCS}Pf??~P#$ezMm5?p6nV30Ei_l7qY1DnkwhZmO&CCpF|7si*$dRHYdeF$)X9pv zm^V>O7gLjL*?s`DQLp2G%~S|7>Jkpbn-;>4)ukM8n9fB9s>?W#Xu6wfa=0|ZO>+rY z&Vg~J`2^&0Aj$MJOs!te+qg{C=o>YU1F5DObiSI;fjLUV`=ow>=?%y`zDP}Coi2e) zF(mOtjN>RO7kQF^%qo|8vVd$V7uqSHc$G^%ML-Ufi+!+m@iwVKilO*0$Q8!MV z49`;WmJk^-N##miDllCtS7e%~OI52#lN15XQMty`1?B?vIih))s9UUZol^yrt62Aw z)|WF=4mu=`dTJ5$xIjz)Qc8n!n^TTjG{W;Kw3eGLf}Rtr?dh^Wf?1J%SX#K;U|^pa#a%RzYu zb`~V+$mkcH%yuwh4C|dja<-_6F|J>=5oT>?rQB ztPb}$_ABmPStpFYZY&=6cycui~@68Hucd!!N z`>?xk@5>&={VcW>_kQdtbaa3A7V>Aai*Y}PO~8muWW!;G0qh?z*g$p^y*7x=hw6jb zQgr7K_GKb%opvD@4r5ot7{l2g=*|&r1{SU(Syy!1DApNWJDPREL^_6Di%~R|6~gz< zWjBEGIA({v$FnlTtqE)+?i1N&+|Of`xS!7$I{5|M~G&E{i$G>3H_K%1tX zxX)!naleWs;eIunf%`nR5cg}?3f$+jGTaxi2XRklH=^yeYyhZbuo~l=NAXX7g~rhvnjaFDt?QK1NUb?q|>7 zzL7mQn6^ld!nYq}G{zrdQ-;wNX-2pp1 z&bq?pPq2aTz^#ma{`E!H9Ts?r?LqC!%m;7T#!SF}g>{8ZwzF@*>u)RzBfXLh0vAyWc*V%`-?_@sQ-(bJuzKdDVr(V_z_bN66w%X02htLM6TPND!EOXEX zXC-=kA9IhQ4bF$?_x#z!&oSaYWG}%uHvC>hBtJ0P!>S@K~78?!{f`ccgCIl2y?Eo6a8470opv0|BpzK@Dy zmbK{muFP^fY~77n4nX{PW|@HgO<KhA z7qsfW#8gN0HaZ~U0NYhy5%CtPdkhr$pCD+@!93sNEa02%+if?1kLf3Huvf~J#u${? zU*$lU5~RAINvwUB?caKvDr1}7qK#=6I>x?-17_0|klntQFMlnjBLe}v z$$>7WFA3Pkfk@K{h-|OsfYtOV6tnNQkfm)(1aY;$Wx9nV$Vae=xBuOCTY@HajZuQb zQiAWO$-71g-ZM(@zEOe?j1qikl;9&Ff$2*U=LiR4l?W2S{;{bOB7!KfP4h&Z!h_?NtsXIvb z7{)dI-S(Bv=MN*FM!`qrhR3pvwg6_8Gh!@)PNr=t=Y-%v-5RfQR)`@4^;E1x-yX(H z>p?$y6S{A(y)zqwz@&1sB3g*O33pBe4T8c1JH!qHJ1Y~4DORFlw=vWAL~=dU>}QW- z2XvB%83vLF9R`w!AcEv&WE}(&f-EZUI>Zx#Y%xWO9YKZUkBwQS*b!NTX6aZA+Yw;6 zW@;H35pjkfhhil;><(tS2y#S+BLMca_h-ux<%FK+2;z#$^-L6y)N_D<%qkaZpnxpu zAq;B!AhEZx2@wYiC`#>zsBIr2plFqkzM%q&A@PS9#2+rjSF9wJeFQUoL?V6wZyjtO z%X%TM3K7Qzi8ww;#0fznPLv`NtMdeT8(Hdn$ySZ&0!|kQta$Zt#BBS8EaFr6Wlwbr zK}iB~sPseI_GHnnpW2NeY<0<|iHenEv`=ED)ihcBf@vhy?qYw_1;&9Ab(plN+~tM| zD^6pvUm#+d)nXvnZu*;=gVWi3yx_L5+)!b5HL#q5wS*mXgIEeR5AsT3?`ae9GbU#1Dh z?U17h#yzc26O7w$g%nJ&50oV$CYt>2K1Q z^KrR8hzZ)JDr%x?=~ULM5!cHwYl#Y*k$cQDgzw2Q8C zkOud#uXG~!1rfPFh{#4wgNLbKA7DLcp0_AgqGErLnI0yRTLzG;{FU8+LSd9ggGfFW zMDlTsWU&GoPiRKreek4a6y66 zR1@PPa+=RHF>b(~&i*-zAR;#PMHSE&%(4iv$Dzbg6rF?$euRakEOE5gGSgvV|Ll13 z*?%&x&i?Bl_P!wYegTZu;&(d^18N~dQ#=H-O&juDX3`4}Meu_Pz{TCKJ5fC@}uhP&orTiw%9J3H}&F=zm z#4JS3zXi}wbjKe8N)#)HM!{(?91Swr71eZz1dN5ZCE7cvCv^eMsxc;Y5>S}R1?;R! z0nfrjVvkVy{AE*XR6rI1#nKGeMdag2+(?n{scxpFrB&qM1M`QbAw2Z(@64l&v=zj`(~AU{{%IHnpuSRPgJ@0CkpRRMg{l&aK%bI z?B}Vb&xm0njBd6kt3^7)NkI%JONNS-Fzrs&G#!}H=VS0W>@(G`^=4^7&92boDR*{J_`4 zE9`vH)<$2v7pQTxE40x*u2AhtyFJ_e;W$fD<7nS?-jYoC$4a#u?Rsn{tvFaxyVL%| zb|ElVsdm~U*l6v)T8*bAyzPB3xIyhsYi}FP1#8sqwB)rtfq1f3O`x@sireLSOUX7=z+g6J55;cKlVB3ufp6aW1 znmTOW z-)>I_QXigQ14`kY>7i&RldT%Was5Bty$gI@M|Cf}&tv2x%aZl7EX%emzaOz>OMb*o zoY+Uwk#wY^M~)<0c0x{M>FD9el5%w9N3bQwHYB;_Aq4`t;5eqFCGB;7g`lRnJjucZhkI12@pP*E3`Gl1f1$$MVj|O*X5HeTRJD)J;!3xRzF&?bahjCxN zm$y7N5|oZq$qi!!Zscdcq4{6%%=;X|j{?wSvU2{l)~(;z1_WqyN-X^l6#w$~^4X~| zLZqdtR8;a1XjuMX&wMKOJ*E(=qzi(vqRhkDpCIr8B7mN(oDd#MevyUpp$DmaavAcj ziBXlB0}|-Lx?yx+$l6Pf z%WPQ5cTn`Q2mE|oatDFAjFM)E`LY`Y+-1O-w2E=vtkQ2{6fb*a9p$@^Floz%>CR+Z zyyR6(zD4tVYY0xiDb0in0yQ)3iSbLjA!4g0nV`QSbcXIx0YHCHy6y)zqO@ORl>Vcs z%3AlYko08${faj;lqQhHAYWb6j6tKLA<#zx5pQ2%^< z)`+U6V>~HwUu%_Yh0-ZoFKjqTiOhkL&rnhJd~zeU9u9U<=WHUyeokH8DVhC z%6@@fR@Xeo`T@o@z{Noqo!e+FX9JSO-o&_|f zd{b|XXOuyMD;UOv;GOEsI0g$tea|zWit|pjX3&hIzAxS;?^J!p7f6--gC~cMIe4dP zGX51)i~50y?^WHFdfCIY`lgDc571h*&Z`Uk^hCxF39#M(E>C1U z2Su(nc(XU7RlcbwCNe59X{Z~#+zj8;;}aRX=K-+MWcm0+#%jo@+GGHKI8ih;h*EL+ z*GU*aS!%#i<=z5fhHvWpMBq`4^EypHxKy8|D!qKb+BbFogd!!s)tfEd^V4xfihip% zPvWm54rRa9yFlWvj;k)sA z_>ohc@D|bt^G!`oDExf3y4Rae=Z1Y#*T;btc=&^YjO_rvs8QX1-Kh6q>Sr$H(1cR< zQOLT=_uRHmP|fRCp7W=n7W23x@;!@awgNv+=5a^ldo~H+k&}7c5&51y(h-v<^SC4O zJuSk*_na*3>pf02bV-&6PG-<)FI8v+VsawmCj=<+WK)&?snZh~837D;wa_#FGf44G zT^_HdO@6glM5Jh9zYq&0$k#j=B-F;Go_wmrJJn(Z{zT(E29-<~rI&h`2ax)rGq($P zNCFG}XeoS0)lxe=JU4r%>H_c9NFa+Zb=Xok-b#mqyi&~N%VON_ype6>2aJ5mfR1c zpXrKYGNh_*^DGulKQ&Pl);Q+{#o9(VU6$(bES7TKIHe9zv{a%mpRxi!apfWWI}QGe zjDM%WfA$oFYj>BFzQQXZWjN+pC?#Iz497er61{ke)W`r=7-jG`MQ`s_(Hip*!Qd&q*1p*D)#XH6VKYZTef znfObHBmcWh{6!3uq91lk6Q0rhdV+ceJbl>k^m7w|pJ^P!Q|Y-6drE}smnW#B9<|$l zGVqqputyiF?zYq;o>GziPhs#`Mc?g_v}ZL+9^@zElbBc3<3<23P6Yl@V?Cg;h_XL2 zltDH9-#UHNq=S%87(y4=Z)62`weK9^PfN18;_zcfCFb=Y~<(NKr}mq>#>s#W&I3I9)t zy%+feD|H3>=~JnG`cqO(mo@Sm<9_bs&v4&(r+NdAM}@+dC1AEct(AKptmAeV&g$Kn zPohnaH46@Zgbt6M^Y>wmId^yoVJwqr@_~tLeAOKBO%gvnF?a5AO5Y{%Uysi@VyOpo zQ(EUhr9H^BqFr;KF(1qk0lPdg2m0*6Jc(VLm;-h8V4)E{Yw0)gQ0PdgNhspa<}pPN z-)Pu7QYP$uLd*Hcc46=16La&3qLHw~FHX!Y;`n}vpP!h!nB#GYKQiGzL*q1|#{on= zjsZDpdV|C{i^RR4EMQ1o#YAMaG3|CMEkp3u== z|8JrB)xA0z_rKyn^qo4|GY9JBB%hh}PThs_mX@tTa_5)z5TOGVba~D{1#?Wsey58k zoi3hqx_Hv*;z_5ACkLH8xjmgH??~~aEFz@5B?0r~PMaqib?SAUDm=N%$&)T8PY&5U z`80`lx8aGfs7FV;iA8bEqB~Ih(t4VAsuB%SRjbXSr(q}yi>j77#ipv#DK=HLPO+(K zH)11VQsZPvD4ivBDV98^Nq8=eCG|E-zO7R)Iat!5o2A91QAd0IkC0U#(b2e{S<q*w@548VXLUuP^VE&X_RFeWylKrnMT3<#ut^a zS|>wgvvEKKvI}dO#EBq|XW{HMn6T=LP@w+KxdeY+lfxfJMTwsC5AVi7C~CUDb2(wK zwLnexcUDTA^g5dA@2nN;?6>1{{}}d%zq6fI)wDcjHR-=Si|{ck`CnR&Ccu^AgF z-8(f%#b(?nnftA!v?btM@*HM;y7&{u2tDU_?bXW6w`7sS-t{dhr_8>ob7J56O7-a6 z>u*{G__9Ju&h)L*8o*B*4ZgBsc0l^dG_-aNW@g{=MO2ODAA{ukR+O-h&sS_RK8$JC zx6=0K_`kOi@l`th)P(;5h`MjJj(=`q&d3(a*J|6-cuU@Qn~vQT_-ifmXSEcgYkkq2 zkD_vLI&fX5_LB6;W`NGS( z(~8jwx;*Cx_M)@VvV}`@XIo3}SPay_$6;sE#hwvKiB9|bpjIXY*1;AY+Gd#F9Qs3&uEPYwn` zI`wu*wEX|H5V`ZX2hf%N4HV7SQL>xLHk6^0=XkGcz4>*W(Q|$c^hn_mN?Rra;Hing zD;n!*jivAcVWu~aR5ltJ@Mt#QZ<4$5rh|8ZB;OUt(#eNS@{r}t@p1>ldRL>CH`iMv zYOIq`%5qkq+@E^x(Gyj#mJ84M_f>;7)csSBwlrQJFYKb|4MOV6w8n;Br6&GYTsK10K@&CG?hQq zt;={HtSav>JvMiKsSyl|Gq#ih;h#M=e>|GImrMyARKl-4g)$|=b^6*;0RF`QE>2{8 zb`t>q(*PcUgN`tMV*qeE4pms*-`d_O#49PToj`AlQ&k%WK-rf(k3&T1`UX@JU7quI zgy2}@_Z$C0-bM6H{dzo)S@9Lq@;Aowm=#|&fY-G5YeT{I+ATYOI zOmX`s8sVTpU~d17u#QB8nf&?8ec>&=+Jea1lD_j3xA9Ek3aoi2G&%RZ8@0 zw;MVg@57ji_vKhoY%Hw8~cLqML5&qC1@F?$-QA_M@^_ZYxa<1*3{25@;?M*64$JTWdK zJ!t?JS#Mi8Bs*odlPK)+3~NED62?MMPCyiB2H%Cl&X`)r7B72r4jw8zSsJ;=M*f^e zuJEv15eg7aeJ_5YLNqS2zI!9GuJfE)BYECuXWa~M1J$$6)YF;AUlUm8StprW^Z0`T z>pa^fUQb1DG)3PP__i)`t1glTak(uLcvCMED~K`=ufCUS+&k>*Cw28@p7qkq&cXzC z+P!6-t-AWc?%_d-@6pv~FgdFX0sYpdM^IX^RPZGj<8`xH ziaj?uD!^fSiT7I@AI9n<%d=6J{jgp3?Tx~_EU{$3b}2i{v(`~|mT63VA*`k>&mPJM zt4W%I*NjX}?El<&2FlX%Y{PHzn_JWcFGfKB9pN z^Z2_GmZwRiABuyS=}%Fxx*DeMujmaAzHFl{7=Zx}G5HnSY-njVchj#-L$kS;ex*CD zJ{#@)m1(A*EBP0@l}kIYd*J=~=P}jMCBuRG>fKaH0!g}(ek}gHKWDQL`T~nT@6XvN zMD^CH>&WW;F^g4~E~$gdqmn*PC4q(?FBDeyTjd?Fwq9lQWg0y-*k04up}Tvoj=bV(fE71q2j3{xETl%I{ZZ)yH@`q^ar8y#&8{9MzxNz>?O+x2g4 z)Actx-K?MdtY*JsTdslSs0P>1B(VIfWv{d0ialIEn^G_7=w3f-*zany7AsjcTK`VR zG1=l;`u7+x-bd+ONxJwquMm39kGB}+J-SSo^T4<;@6k;XKRqtYd-P_B|N4|L@6mc; z&KswMIgjp>`0Jr$@hQpgawwM-K2 zVo=Lpu-B9AkUE`Qr;CtUzN%|UnIS}ax*0-k{o@pj%#iZ)FpQ3}6>?{>6j$w)&~yHQ z+t3eeg&bX04h9e-d#Wd4kfV>^gk*)UGLNB*lhCNuPqVyC!tFo;20SqEsF$qw<(K9$b0n&>BN`mBz=iV{}Uvr9+xpOrQd&K_o4y) zjI?I0rrsErk=Cr$6m}}P51X}`LNmD!Te(ljKfzsin~v5?4@Px#uXJFW?m#l`v0|d@ zCc{)#TkUoSZqn)Wxjwo?ZSAww)=fJ7e@e3D=T7Og6_Iqx0Ud`#vZ6YuG-5p9jm`tXj#G4x;rlEl0D}iMR(B57F-|` zOg+tP!DZSGpqVYWo+3Q7cr96DoPmB`NrsF!(9i40S{?25^D44VM_aAcg$gICuP>0A zn{5Jqs0p}P6TnmJ&6)t7T5o0oXlh-(1@gE3!D(fzZkI-EPcLJ8dKug8GRprEbK|Bt zv}e0V7t~-AGo%aJR3u)?diedko601z7kjGS&Ad?rp|Vze6~uTK@Lt7N3#5p9Z8859 zl?40+iwyU076E6$#Szs%2c~MV5y&|S*pVfMk8=k4Ebn5&#=wUPrRa}qBIgW`Sl-oo zM`=I4EAc3-KhJu8ANoN}26h|x@|-X4fP8)nlb+{>Tyi32`d)d*?71q>t?kpD_pP>0G|eA8GwJAU@*W7^`-y_m@EXy&=_0>0p@57 zJ4+zTljosNm}V*~jAqPLt}?TV(f~N=%;Z6&vVll-*(K%7x3ZQ8sEqkK3)hOXo@q`NqwMZI3j|-Qh37dgk zth3vkTC~c_%DOd+-s>nS_v~3@7`t{+xM24p%DdR60htJ}#P7K^D{HwwTp*1k*it)h z)~@9lYZnpc_7}US^}JX~irr0K0cX|F2+1XJA_ARw3Ie zI~z!(8q%v@trM4f(IY9^?q%B66nL1uNXevjtVLikp`EsgP`E z12^2r0&)Xq3*5APCE<8dE!~)+AiY^a!KU=YG~y+-JeBHbnxt-C!xe84G0GN+!vNHo zvp&@M`^MlCQYZstF zRDI9}av$FB(cM_JfIEgzs?${fK2F0O%seyQD_jnxCm7k1q}p`mkZP(+C(q!XB%|eL z>!F3Lfc0BEdpw@sGl%cIN=pMcxYAQ{VAS&Z_$lrdtU~@3UTwTp{MP1tHI45!3`hG0a0B98>FWbbUQ~k z+PG2|==LPtuF~ymbo(ydUZdMvbi<0-Qh9VM#m&E#Zd>SfBW_-@qE(n~^l4OojBd(f zWqOTv_hot1yjJD$Ex1sj3L+}ds}>wo1sBx9J~gjbEj*~^eN1`!{9a#IxtjMymH)h| zoV2`tPsRmxBSLS+B?X_8-#e-1A@E;O0SXSN?7%^l_n4aZnDPXk{FKUlOO>2a3(u(R z2DRXh5IDuv7kRpuGB_Mj@fLa?){I8d$@omJUq)H=}ZJE)2&xFWG9 zCHAUXK)@%}N(#W}EjrwwLr!i`OE_AtHc>dPRv_?nDmebo3HJu_)hYo{viIAnOky5i z?loTl2!BmwKY8`4ns@c;)u-{N@}4Gwiw~-mNtJtsh%8O2^$qk4x|b%Y<>gYwS_;s( zX1j6MpQHvC2RdhH+^f>K>!ztpJ=nGwrTEUM^%Mlk)Mkn9*3l}7?$A-)WSxha>bs`4 zQZUZNqv72CGt3RN|AM3WzT?+Y3@Ey`$9rqOTF|cwuBhCx>(^Bt{_?M@h1XResTMw@ z*1V)b-YxlRXHqTmuFr=|)&t+WIbW?9Q$b4EmQ;%=rGQfMC}rUoF)X)1m5r%Agi@JQ z`@Ng;RYOwM5$fg!Rn(vg33tg+HUENI;q5C>g%^vVgOA|EnuUfiLrdQoyWu z4X7AL5xft>GUHw8VWILgu;_VqODu^|pLyn=f&AL@D)0G}Tr<4~iP}Ix`dvvUVq_5X z3ipi9yS7le{ECQok~_#3*sSnUFkvmEAgM~Zq>U22qVgC@w;w5zJ6}CZxX*W@!O_EM z0zUs*lghzRgM^+@s~XhSNwsBCmC=|#rV6gArDsSbK(u#Gs_i_AJ%O=fDi=xw<1&{= zXYE;P=B@_1Z{)kjyS88tX{bh3*hqsRV@wsH!>_2Uq*@NTQDmdam{d!WstCYKY7Lrr zMP)Rqg-Nvp1)m|zwE#{M5F={E8C3+}CABH3Hk^U-qVlI^Dj$-SG36{7J?APKy$_`H zayOvspy$$v&OJsHY&@gNz@1Af`;uC4jtITs3~9NNq{_dfJP#quTZWA6F%qlwXNYZ- z_|`FJB1l`w3N{~=Au&5}%T=`)ie-{IVIK5d-WYLlHFaLONO6)iiSH7RN$3EUs-&{)AJ$Ub{jd9M13c8gvk zt){YBxtZWUq23xvz0D%yw}{jRZWRO?)GWqVb$pF0zTFkym{06@nr?wHx$`hZOiFlD zIE4ZFT{8tlV=Ox;VX{O^R1M2 zTy_n%d%AvP?U*Y{l7c6nR144j|D-7Ycy>kE;8K)7bE!R1l#Qe)p*j9PRFuA)H=)uu zvPPHre-;@k&@xo0WyZ+Jl#XxIGGpRK#!P$-%g{sAv9Iw>BQ`H{yd?i^XS3iTG6JYvp@*(jh+omJ**OP`;Qb==u*%7CcD=#431< zg;?(Wx~^ovIhUtt`aD#Yca^luJeXL>3stb-F&ehn6{-Y73DzGOSfn8kcmp(=yn)AL zV)UK3Vq}CS9auDLD7l-v#mul!%f9RjexJJC_vSkrph~Y!sj?|m32oo23d>a%>@ygI zS(7UFF;(2Dvd*Z?$5hUbh$x=OH_I$|O=4pvMrNyTOtF3At(Y(D#1wUZlTuGY6Yf## zVI$=P-c*_QkBzCok5uN-*IqlImfTK5FZ-ODcR^3``4?5LcSF7^^kqUvBJChe{e>4* zegN~!SPHb{qEbh_s|qmfdsh`sshlY?19A^esr)I0yf@sgve7264HM(KB%XGwR_O0N z*HkBFn|*;vb@!y|>m*)fTp(7_&5xOlf(+O;6kb<5DL@GnpcD$IBo0v;g(#7uD3!xW zHA3N}f-?)oK5jGDKt`hfTWm*o8&vj}r>^#?rBADQSJYCh0IuAsvM-{6@}F9{0JHt9 z$tcSUMo{n=Q|tBZ!+M4)$BggWbmcYWx#;)%-ZfFK@-e?WU!nZo6|iccK>YX%fH#E= zYAGHI@kgfptqp1ef>oI3(BySjlpo#yzYV%)^D*VU8h9)HA67|kVY+`tfuFQ6^KDUn z3eXCUqL~ye7kjLS`x-yxka?Ig_#^{cZcjOrlqAXE20JN=Y!skq&QWi2cn&wI`B$kx z)@TQ%O0Z4m;zD4UQ|3l7B9X{+bqda;=&4J;4-PLPW-DhI)fE!ufrZ^4HDRFlp~o-N zI%{OEGUBFPgk( zcrE3v( zGnaT_es}@}$JBE0k>(+F4sV;>N>fJZL6!HMD(%C)kL`M5Igvhz8%+c>ddOEp%XR;& z+&X_b9Q%lMGMShF*l%-yK$vi7W#{*uz|2NY4YXbPGOy4o0xRYvV`?GpSOs8uJiBKm zdXNXM6gE{r7sWsu1<&y_-NvMA$7JR4oVXocWeRnFBVa41QxR2gFEmTQI;mV#7pG`? zeZJ$GUY;)I&Q9-Jv-3}L5jA--dU3}~x8Otr-7?5naX`5V#8>je_@xbCFLPOB7F?z_ zfXmETX#X05qNt>nBDy4%x&khgvQ+9?L|5xnbs%scaFzaHW`_cT$8mn(S7&J*4F$Bs zTVANvT~bR9s5SO|Ge4)@i?IsvR>1|fS*^XK)M~XZa6pwo;ZKsvDe705@D&B_pdcUZ z!oY=nTlCN$@#&_#vW1jRCcMo^VP|Hq;9p_aq4#f$ z>nis_m|~mNDmcM<)x29~%3k=8S~R7KFRKN*-7iTQzR}c(UgU#or@*@!>$s$HRG#yY zDufI@rWSPymoDnuW-Orz^L+3SK{mWM<*W65P{EKiDA4SrQr?4w=w$r556pXNFWk|A zW5ffVHDCz3O)398abdz|ZVS67|WvDne$zl&ymOhkTeOW}UL~_Xm zwdI1^Du~2hEcKj-@PRId!M^iVRf;JtjeBb&nl$bXh#*n;rciO-P?3Gu#q(;aqe0bD zfLd>)a5v9?9`s1|yHFXtjIcJ~ZAW_X1+{Kc6~cM-E?T-3!N`Dn4i-((RkiwzS`Js; zRqwimv!=-gi*Jbhx9s%CMDK%WXFmidH3}?#Rb^kdA4{%793j?)XH?GfY7xwU=Lso? zZfP*J)Vs2fxeJRe7i8xVaq?f~6EZmj;WI^$7q}(x8vTQKz6SM(e}El8E%*;lK%fZn z2?l@;Vg=T+6!@N*0Ka`-wK~%|zL-Zz$w8hO8@Oo@2|XIvv5YMoWcPtx5-g%XFQs>} zDS-jQTJ2emdBIPPzN#5@)VslERH-i;YumIQFFdCfPf_RORiO3HJ3DA8#KDwu?={2h zY`DjB1$3xw@6dGYjaJul6TXl6sc__venWcTRrE+{eA($xG=rQ z@HrKMxGct^9fTEKzYayKnh-l?t3w8{vc4)}ZQ=s=7ff1jlJ3qwuU+#QP;V*T={x&K_%2 zIgK1-!84AT3QdAZNJgEvm!`8k2%^AvrvY1s{i+BAKcpYvP{%WSfiLK68L%KS;O?Mo z7lhIaGVCs>DggbxD)*u)?^nf`1_F)b%!U)bJVKsyg>D0YSR z8ka#SW0b78MJ>BaEZc+c9b} znk7RCXW*@~-<83;D_`Y4r1JXhq6!bH++LPkD7#|msXUAjT~ql%VnaT>F=_=S_xxKp zC~H*ty%<^8|H7szxDvR)&VE8!g`ET5Wmtu#mqBY#(=r3^S1Zw}c+7?iY9;ulAD7;b zW|YDE1AD_(;7EQ6d1Xa%;F0+&+I&4P$6DeO86;tU|V9m-x)*(2`oz0Aj|Mc4bJ|+V{XlxZ zPZwj@PiU>-$OYbi21CfX4lUj)453A}uU8hv4XPb6%pu(fV0yoUf?jn50T!x#6kNdv z#k~GG4fGPQf6f(r{R<&vaDsxj$e(ThXQX`+r6o``)&Vze|Rky>$~firymk z5X83z0mPTxYnTt+(@9EvpP!Mvrs}|(GmM>!&9!Y6#PC< ztM%}B1&~fVFxKBx+0Urrui01;wX~mR_B_fG zp%sA6zYeP(!p9(zR0B}zcmS1ou6pO-L}#q6I@Vqv4FzjrZLKZQU`@C>))tEH3q`HA zng~*Z&DAY6p%{gsh}Anh7$1&x_jloc<(AlB!ivSZ1_%0vEGnon*0w)Z6WV9RkH&|R z&H|$0y88C2Xt265)NaMbhQ>zYJ(X5>*YSZ-&f6Yt3PszjSnt4Kd}!F}9yuO6k~|*k zizj1=IKD4R<+s&`A`yOS3N^Jv55!udE$yM|_HawHq*vDmqp_x7r)2Nyv+fzgmj$bb z$22ufp|-YQU8t(1GgjRaX^FGksBS(gZLfou$ zmIZ4=vD%JiCIQ5Q#txeX;$QplSa*Nzz))X2k;+^hiv*kNVr?C*;CQ=}O_A#MXv7*# zCb~yXSp8jtz3u%2-FFYgM@Jd2Vfe&o5`fm>WAQ`;YzAXuV*^9UoiX8eYq&EMX+O{! zinS7}YbthF#DV7cF)KLQKhW#ym0(9rxTQAO)?V8Z-5-qBIEiU&g-`^mL)Pe6qPMF% z&Z+yu%{49iWA)*hnozS7zoWUaxn;lfMSJ^!SaYx`#NFW#C6pQo)v_#vtij>#yW>4p zH}h9IF%&_UTCvgo;Y9M#Sg!zs`$9Fba7~+)95@mmO?Dj_iH(WiR6#DKf`BbhNFlG29w!54JT{1*4j# zreJG*OElDG9i|^9qK*#T))C$ptBwTQ+NQTL+}s|DHU~*EgOTml;X`A|1QzH{r~TC}bs%=Kb?h0(CK)=+i0He8JnGuYLq$B+zU z8P6%IQZ=IMLY)<;=D1s0IAt4G5DD!IMYdwZSJ$JO@WGIaY)0MbqAt|l5pA|c62phu zhryrNaBr`cNLz&jTU#UHYUYVEGX$az8VDTYahpsZ{7jKnP#Epi7{E{i!Dy(4QyN;T zFp`_wqb(6Dc%*CeZb(uhE(4xa$Pnw1BV&V5CRSfpG9DXACZzW6uA%PXp12hw5yXf? z;=XuyayY@&kB%MU3YsIaW|AxF3mH)n$WTXntYQoOtF*e3!y=-sEznIP$$n_79(U8L zgIaIx+Yt*#TDMllT54<2@s1vD3e|*zZ6f{028Md@);!5s6=3`jX@QJaX<1J7DNA)N z#yKHZM_Q^Ip}=Vfkyflak&KVF#uKdr$Dt|=b={ybDH3n@PAi5`ds}rhgh5Ru?Yl7+ zX{`#^5v2&M*8Z;1c$)+=ob0Sn2cif-9L9-^ux(o_E4ZLwxFr?|w}BiUCM4TXZH|_+ z7HVs65nXGSTOCD1oS30z>G!5^b6dEst-Z1BpcA16qoOGoX$!Rmqrvu;s5LY^q!m|+ zWkydqhzNCtsyo`j>e%Rs(eAFn!Pw~F@K7JRvU?C3S4LQEID#>8psgL>DkUz7k^x}4 z3TSQF4}p%M*~bzC5WM(M4`*qU2_h_Pj)a?MP?3?g`fzQ#Jr3f>N4kc3V)TMO%b~5~ zrSBm~Ov}Mp^=(a6B-qr7`85dsIa=L>$(O5tgU_O^l!fRQ+9fAnCz$8H`+R1JRSal?XNevU(0c%vZ@1Cxq(fD92F(!6{Ejl}`_;HL? zN6A6dH;V<=8tG^w6*dApx*JUxOTu;+ro);H!v0QKrmWtA?J%cc7{l0+*=*Fp1ezQe z8641^)fhiPzeC(J3}b6#u4D+vq!WVG6twza!9irfRnteb zXrN^UetpK#t`-bD3wqC`Ai%KpV3k!hIIQhrnVLnMAxgcJt))ltA?dN9Q7neyJ!LkJU6hF> zVfSS#Oz)7@6CX@=buzh4x5d!rW}95CRrYm68iQhAIjJJi!Ab^`2__mEtlIR@`I=ff z+Cs3df>l+pn0g0?VZ1t8rPnt#iQy4x{XJ$LXbUyPnsJkyRv&G*DYM(q+yM?( zH?jl^%iCeiH8CP(3(`QSkG3>}7EtM|AA&o5;-{_&w$*cCv^2$}u^;0U0aet-@MrB+x)w*5v{ z5%Dr*S4eF;ZHd6Jv5qIS?yjbZjxFRZX{3qBc9I6BH4v7~Vpu>hQZ_}p46)XavfvYO zY^LqlMphc$fhBUP*|@WnDXvFdikOXLqL=rR8+TSbE05iUbJ*PF|C~bQIGHM~H2?+g(!K5ydoAeW0zQ zs-qce4KmYTO=0sWYm!YyLiYUCR7wJlr9_AGR%VeW3bTSbZoQYi3Bt-wc5Qt zZwfVcSUs2nIS)KawCJ8b)76qC$u&jdVqZqvF?<4S8^0fuQY*tTuU7PdY{yNeNg)T;?${lI=?n**IyZQG~M*r|b59jkAF5z#x4fOYSvOU57yw0he6NtRl=@PP^TY(b>GVP2{X_ zjY-#F=QcElI@>kz$DQ<$h6pu9L%f8iaSscE7%Q_JoT{+mTqU*!VNa%fuxv<#v@_A> zs@OMn)MY@pjEAjGnp`uf%V2P+xEo0o64~zYybFrFx0~JmvMQU75_Hzh(c!Q05#39*cH}TQFF&FWg2uT;b+gSHFVvEu?Xg$*JqK+kYlK z6q6|fV>b%(s->e94i2~OU{?=(Czu90B{*QLfCRjc)942c#HEhW^sTK9%iTe`hKt8fXzlAt43IM^ zHTRH*6n$V^c7ymymGAM_TQ*6A{p?nKR8@*Ip0%2F}yA zlw;XZcBp~&tO%qfqqU`#mXKsu#A4KRau89M$reqtrK+Q?ogGm27FAkuO$gezqZOt_D3sz-9n~$Z2dsA9_87H}!Tr#C80x}?oNIo)O~w&<@MYuAmQ@GyF+{~Ua`p*<$pD5#z?hgmCDF*9mIE_1Og<-= zY)0BbWzpyTCN{ge^)4ef1zTR)7Yj|a|hk3 z=!V@@5}|tR@30&RS=c=d!GQwz0!*J&jp@5z6_s1JF|u1i^`@U=;k;D?F{K?E?n?Be z2*w!f42weTG44j9Xl6&8*;S_#7Tw*V&k4IWj5%Z^fincOPe72giGZoB8XQPAb&c4L zE9|5&9xosm!=Auv!fmavire;w+c7&+VNM$xZP7|;Y-j)j^#o@R;~9gA*Vx2&h|b+{ z(a%~&WbH2tNGer)bXu~c9`;q)eiJj@QD@uKL8vfbY~KR!eb9}zhOh%nxVD~a$G%6X z9USJ#o9b+94L55SV>i|;v`a2v=fN2Kloq+a2Wdxu(w(Y~cJx@`7>&}Khzr-X+MzW( zc)-M@d-mArMQFR9;2DKN45i~vj=c0=wA0m z98LhZ76X7(^7=4=@g47JZfQ?()NHZY3?;!vGT$e z^&pOh#128!k3iH%hDTi!85?9c&LL85W6Mvb^1iFeuKOVg0HeNL3Y zDNw^3_=)tLFU`)z(1EHJoWQZ&U$Gb;exmaX=zTiD)PZR*t>PFaYB-eI$r8|;n4 z^(cLdc`;1qsvHQ$$;Tc(qKx+F4NKAcbczb|)C?~4ZMafBWbaejU8H^3&gyC_T+>=@ zg-Z--D=OVtwz>hLPwkOjTLE7_$fik)^|zyiwG}QWa&3jng>f0C=}luwSXsZ zvRx@1QyCxd($k*ZTse)#{#qiVgAaq4E~E2au#4qPTuT+%qB5`20s-6buI{g`boU32 zYB-3it#tQCrMo{WMGk}m5F|Ns$LDQC*>-dH(2gPtjD1{#ntW`aCm!SFfuma92|{<^ z1fY{1cy>a1tH$B>vgMA7nP!EMqHva@tuo@E?kD!Ck)za!hS%K+Ra+6Z#4Lyk~l7b+U&Jpj`0dIduYnal-D)RFce>t=T^*M#?ladwB+P`tPs zt+LqQ=gyxt7R*7{)HVb$Q<`E-DodMXqg;g3slp(a+r}KDA`)a_WLE!OiM}lsZWVN^ zWC0OhH0JAR!Wm2*bQ&Ntk^56Sglz-v2$`e~7Qjt|MXKA!3L%9a6nBjr!@({;yVqke zc0~+KJDew3u;E1{x)cV|Oop>(^3hCGVe(c z&QY>8WCW&*DSN6YcL%x|nc=v1Hqe~mVWp3so|R+7qvRyVLY^F-I7cY#a&^r9FrAMi z{aV3y^Z*|cw((tbh|A7Z2(^b=tw)9&k>(W}LEF<7LH1#9oCH9Fr^rcfsv%motGEs9p>kP~I3dEC!N{B0_O~a7HuimK4FpD{?*d^uW(NeVNw6R! z>xnDUN;mybh22!_l!xVvN%ClH6n@P*``AtTl9vxAP#d75u|02&w_`2OO9Z|-96Ffg z`;y`;!t8;?7_}(YJ(hsEJ2-Y^h=)=70p4z_OK;nz)B+u`ppFrVHs{B7$fRr3JqDNF zITg9!CgY?kSxsc1h_S>f+AKQknI%mP@;NzbVI>{5!X~EPpcUJ(75tp`)&s<(6Ngaw zfREX=qH`yaP)(?o$~L z<};Mep|0+`$410@whd8pK7mIjoi>K-(@GfQ)d&r(qwKT9IJusH7Sij)(PLOzIR;8o zFzoW}r?%`_vzf&!HrJ*bSkUD#3eoz3AsjPghVdNZHXnEw&kP`Yms$LP=>neGM`cdO zh6j7d7e`08C^wAM+d4vNXF^hgAQB46a=8|kc3qQ9{pMs-`jWmao)m!~_kT4X`k|uJ zPY%%(!RHF0h_Jdy8W*fx8^k7cUKgI5?g4Vj>j&|prO729cylm4%5RZSwV}?|XbcVs zaUv0f1_HGiwvTL;P;cR2pMLAW)nRx&r`4I4?LR)tWe-`J$T1;` zk*W_6rj(U7Tri&Drq&Bvnrp&CIJlTXi-zh#owk#L%Eqz*=L+R)BlHxGPRiWOM;hsf z5S1p!>fLKA9LjL*v0xKvA3TNnF#q9Ucs{~C7~BKc|0Ny<_oev+3D8sp9?7Y_+ro5a zg4y7jQL*FAx%IRlB}L`lF>;!TWQS8$#A%bTdCyG7u6}XGwFGmdxkS&A=316H(q!4H=R2NA(_ay? z8Q{p{TCh3NTuV1cnrji~NZZBT?--1-DxjW8Kd{%*9BJkwutC00U&_$|U+qmm)_QbY z${|JqpgkPg32}tZ*wTsGC=-B*9VQ-I$f<*#O*pHG*W&OhAiqyS2WM*Gf$Fh>_PN9A zNMo!WojE*4lhV<6Vw4Wd*0J-1TL4=r#BMsb42C+fb<$+Dc8v`VbV_hQf`izLNbrkK z{2B@@&zg2|#=#D99J`e5p=p|mcKD2hi4LwFjO(+`4g+B)E(_*4wEj^(k!~gd2eDCp zsR_n2*cxu#r=>u@3P(WJLZb1abhesur*!}HU0*)3F?#pFNZSbBrjuosEpf)&Z*Qr? zfheaM#fvEn2#)m(45!|rGSl(@I z9ve+;9vnEdxv#r>Gmh}bc5K^(&B3wboBD>vHdj<`9vJE#9K&u4BkIU>MC_Q1{s&Mt z(*b-ZqB9rxh#3-&&r#3@m*U7^{5YO;V+p2TK*b}rhkN3^<^3c(IH<<<9Afrbk5h0E zJ-G>gLn%D7OAmWd#5 zKCS@?_C6zmR-n)M0dG|F;enWf04E{)=?y4d1Rz8zB_{B!*@Y+U@SqGlyv>E*U$Okw zFaF()g5MFtZ_4x2fqMcU_JE=NA255JW;(Pu5un={6g!p3;z><&(z+_jK9b-za!>HoG$vY z9HOUK(}Q0&;)|jLFLS|P)bMp0Zs>mvaH4bI7S3)hmcaTS8h%d0vo*gnk&*DH_6p)c zUC?3;eP>jdi~Fx`2P)Xmq;G-`Yh2iE9_)bo~rrp0&uj>&p^9ErIn*jsKYb3BddDGevay z5YANZyjkG%3rP9s$2If=PPp=Qe^tzaADRVDzm=2=I$!-uDaYLJ(B->-qjX5ayH*G$ zjW@co@LP05&x3k=?G~_gl<{>WEqDg_WvF-Wm(qZEd{CGF+>HYN81U$t0z41@tcx6l zjLCJ8;TVr!miTE6|Aa2*9{frnUA^EtU7ywPFRhmNT@qMdVYrT@1up@_&mixz~AJ_2WdMRMJ?w8Ae6Fo0~ zMHdYI()Gnz%6~zZh&7&4eM6U%(7#&Rs`>C+!iW67?$TocO~3gOI8#jt!yQ#}XM;oG&*@IcIe_$29!Z8iBu0({yf@avst6+g55sUC!egep%07^b?3dv%lQ_=1(tq)8St`nfPVh1F30^7$No8b9DPX;Piy=v zz-QwBYKG6Z+&}5NX%_rj058*JrU#K(;JveybAsXXE%z^GTW#HmWJUQfw!XR!4aAc8 z7!Uw>@3^-Yi#U4mybp_)IDFSfXk(Dxa*M@!hGTt$!#F}5>%oUWMq^!L$MyO%8Sg2_ zq3fA2@X4Z~fml}}(RBjHCzEt)G=U{ytY_@V5x5KCHn(Hgv>Qk|Q0*nS{oRuC?QjXp zoAKq_w8yf1t6BV}ovkXbbRSQ}=a{A+Sam^arXBpoYjQ4}Ha9@d67pR>1^`}|H7&mK z5v#@9Tp=88t%=1D!-oQ5p?VFhM}@JP1302Z->RvLv{VHn^tLLzL-Y-&+?6<3t>N<6t}9 z6&rHIV{tjt4u7+AV~RI1AY!SS$otP8AmgH;9TxT*;KM~Y7{??Zbey>4Lejr^MWwmV zCt(}=co&HrAFy*!2M-AL)EprBl8^&rYT;vvnh*4i0d@@PcF@i>WPNlv){mqAIN7K7 zKph3y9&sU)zXL!+0XgAT=tg64OdI>)X*|TCSW`W1+?m?x^#XfOln()tZ_ZJf$wuD; zOC8VF1(>6E@@*MAU&S`deZ;~PllDaw{;*BE@oL1#*>9Ji5Ao8VbH2!6W8j<_m5C2G zxyDRt_mVa|$gw$c!p=pql@b+kQo7#iv~i^Z`W}%XUQS?BjCNx5hj}zBcmpmLYj48V zj~PAIsS9q5oe z99VyAg2r|!Et;}mu%kV9vMECDhRs=_|{S^HI1ReX%cJaH)6OB zj4$nDH~U!f*(bXYJs80%%yG_^;^-+pcc(`%R65mVCQL_7z5Hz>yGSEVw!BzYIgU!h z#f~tUkg(r8!ND3&j9BG(c_m&BM{_woA2t$CV2>>YIy5#g*t2P%M}vY@VSGZS&tmlc zuF-z0yywIaoyO)6P2m)?ACVr3AuWOTM+i|rjSMEOa_*^eJeK$2C7N>DS+mMnkCi8e zS>2b%`}HK=--AL-OtQ*sE;-CIYUnyL&<$FKlTi^9%`3=dG)XPDuSlgQ>T;eL6 zaMLd`YhjYv`FHC4CM-)w#G?Z#eiN=Th&sgb&2f=CEj_>SFPpH;flWR~ z=d~ZvfByG>A2#j3sOvYO@lU~Q=F3fg7ohlwb-Vp9>-;7>tt%uNiFYQyvG)f6qb#QW zyEK9wngrm`<>voAfc<+K{m;&2G|Pl{Nz^j*o8nA3j`V*^%U?!~!DYfpiP}6i^lPy7 zUOZ3}O?j7feiQPq!6V(&Z}OY=e^}?QLP*yGSmLLL$2C7GKjm@f{}^Dz6H~tJAJ7Z< zg-A=k-2HzZiRt;vbUqW_Wg4anF@6CPe!`Xiv|cQk(9mmWFmV%JcI7wz6BD+cGdU$R z^&05sUHOgQ&4if-QHSpKKdtlI&Ag})by!S-n|8VD{|eHGeG_{}LXb^J>*w^#@Xf%!hld>eX)&?)XUsm08{foD_&V~=Ps?xigG^}ffWnuFoA8%_ z5{agMv)^Ds!x+Oxlh5$+zacNR-_Ec1C7#vcI;5pvCcg>)6^ZHj&Ax^S_qzCR@|iFL z>FN26-^YZH!!MJ5m8D1UJP(Q*e!pN$YJI*EP} literal 100008 zcmeFa4O~@K)<1skycY_cbsthuC9RF*VT@%yg5_c`}m;3758^Zb9m|Ho6D zeb(A*uf5jVYp?xs_PG{2=FKr042pW0l*<)@O2PytR%W;hJv6b(R3%u6RW4G7DgMa! z!=FmmF+=7WB(4}7f;`~)BT z7xb6nj@LCnbk#3*`QRS` zdV5DEfT=Hcg?IVj6N&&~Rl=21fAwbe2~$NJ+>9(`!R&d-bF(t?_`{VsX(@SW*QaGsH8~u$ zAT3Y8vvX25Ub!xFoj}h{%gxJKx5+)q4vf$#3td)>} zY8S*;W~QYG)}HF-Wn`u4lyt!FY zs@zSvsp}w3dQMuJ0;;t%qD`SE*kt0^iQ{4j5km;6qXwr6(&V(2DS0WVV?}PRs6t6b z%PCjQn>*{uau!+NjG4MZer}5RGoP*EPSZv2%{=f{(fc%t^vPz;mDf45H@2b8J!?8t~ z%=?2%Z_?5GDFHGMv^x|jK_^I2(&61Ye3TB~s>6@a;oEfhi*?EVt%N@GabH4hqvnR z+jaO*9ll0~*N<UaC%qr#Y{B?a|@;sz{{uI($DJzEOwoufsR#@ZmcA2^}7z zm3B4j@B=k0))PAXARWF{hu2S>+jMvuyR}R9FY=Kg8WIsfhmX|ZtvbA2hY#1`hwAWl z9e$V&AFaa=*WqJy_-Gye|J6rl=^2Z&!u;6*MRAtZ=Na3ZoTW!Bv}zGo`{chPt3B!z z?kqAEPXw=~%$DYMTv2}`m_kZR6Nld>m_kWQJ%?W>m_kTP9fuDQOrfKthQoUarjXH6 z#o^}(rclvR!r?yx^PP!hi4H?UALu%!7m4kDPkU`q^#jRaHIYq4|qU#|eBF4tn^@HYfgS8Gu?`~|_01h@V~ z`v09^JHgEy{u{y6rCORe{5HYVm0IdK{5ruj)V0)cc*TB2Nv{ITuL=L0>pH&7>H52~ z^i*rY!g-bEFACv`mAy-OGV`YE;eCBCN13xMayI46oN$B^^C(KDwdM7N`}RXVxo=>5 zGm9)C#)oAJdIP7Q{4Y4QbL7uXSF7{jmsdCswwauUqt4?$=h?vEpDzmrmiFd!UXNP7 zWacN-8S=*`I!k9h1uDhq`Yf-Pvtnit^m31dMck`#J8FIjbcUsBIW=wh4Kfo^=D1_PLoL~)g8b;!zv6gRHQSVjvpb6OGgH+B9^7?c( z&f(s?PJ7H>3HsJ_C(EjLR`zvQC<>HS6nGAHv`8BFDJbIH?sPd$fbxX1wBF!!HMp|~ z>vFU?D-ubbHsWx|SvmPBa6rB&I^f6l_LhgiM3YIAIAG6c;7^n}8~=?G5dSsaQVYmT z&A7#%AX(_i;ie~m!tM|c`nrxfUGF1Io%%?wS^`gK0*Ywy*ywC< z(AJvL5(&2k(8_^!+(F#tWY2=cbqLR`P6KS?sOM;xV-H8U9Cb+1M{KWBIXrI%8FeGx zj13MqXZN7U+e7S{1v|H3SBoNUprt%iQJu)C>4GsVLXB9ftFH>wKwE*X(V@!)8aBLv zcy^SK+=)wA>Tny7?{-e-Mq*nM$u6aiR>HPAr#l+imTxf(0M$mQHlUi=mUn=vsuJBp z1f%^MwpwTMC?>l=SSxGntc~6YxwXrRO9(lYP`@vWWV; zT|QIUD)~%h%eD6WEwv{vK(?WB(XjI&(3A*RaaJafO8Tr;?-Ew$v_tub^_<4;H1Hrx z9^`HrD%f)mf&Y<_MU#q_Bulx3-%*CEjK&Dn?L6Mngl5utOEdSDXSuhC!f==x!M&Ng zMH$U`P**d#QXS6`tjRgcl0+snN{CS_JJ^hIPVLQ;dukQBfvpk*z9NPva773_%@|R@TU&vigEx-lk4As{ZrCtG$WyjImBX(o^9q=KFqI<!GF4YDve@;=jl?2;OM7#W=Q&WGmDUG154ufG3Ku+7S8|iM8hJUF zqh_w_FL8X%I5*>c+DV+d<|v}>B;y_qocr8q_^Z?PjS~e7^-e=07@6m~j>Taz5890P zM3E!}7OT zmf2z3y~`mXpYXlq{@2$OZQ{3gE>>xyz_`chG9nu8!E+h6&osxLoC;K54<5?t0+g$F zc2%80j@-S}xkWA6$aNeu@~v&{?R-W~lkRB{0BfI7&IK7P)82l75bk{>Zm9$FbxoXlwq+xfYH%C_fpXeO2B}Cq=B)5T6yU>al~&oyt-LZj zDm%Elb7h|uqY4WuD|H+*a2`_ULpi^9x=vO(E7MNg6t^U9Y2327WNk5%jmaF$ln)P0 zti@!mW}eHjeV!}63X;^&NLK|p+yJ%{U9ltG<_>?`ijIhVnxkfIkP_$6~j)@SJeKf2J{$xsL^Ox*Gmtlj zxHL`|Pu+lNj?xC0(pF67tn(`U$W+LSwK^+j&@38MCu|v~%JKI9`+Ucv>_5$Y%s+1OdLDC6E~Mi5IvW#PbOevoOEnjZTe+NwpC< z)Q}K`GwHGvt(V0ti-z#`w`dC?o$M4~4de+vtD~mk^=ZO&Q9`TAOGwWeQqv#2Nbu13 z#$Ra#(wcMdQlf(bnmC-gk<>qN>n~GZl!T;S^>nAYN3t&T?qR#1k3R{6dd@49XL2nI zc$T$#XFR_no>w4GSJO5Ow8rj16L-PiBYP*_rDtNiIurN(M06~*3sVQ<-IqtoX1Ko* zU8@yFz=j;nAR64`Pa}fy2nso^YKT7_>FG#qve#&fCSAO1&3Rvob){$QTpH1h5fu1R z4_sAgxFpoYE$Cr~q%b@_>H;_N6{ibxlm@pSiB^Ga8<)|u?$x3p(P0Q?5EML6ronyX z7kpS~b2h}%W;J;SJ=0W5@o-ppZDLghTF)Z79IfYv zSV=7jwJ}_l*83r!YNRQgjLUKfj-o`)y^KnlL2Z>K)lpe3v78GaR)Si6VkxMrlD2$w zRjT7SLV>#4(4CGkIvo+aJv$m5_b*&! z_0$&{${LaIf%iY!(cmWOdPk#PzoWqc{f-8OosqPqVbX7Dh%$0ZLzK~NX?V(DeELuJ zG;ZeONf&z>yao!@m~YXbqi$+gVcxy4Kf)N^V!h>#`h-G`XH!F0uJf)2w-N1XxGaqko*ahUj;@uQRgVlgA z8t`zfPQkX&97)~CNbWFULg1zqsAnUC!gn(e+LQ_um|=TUBsKxjteYx{u~bZz#9*Nx z5XC5=O_<~~lUk5B9TiqbUs)I~)Ui-Ks?=|OoX`)zm=)>=V5^uY(5jiwUA^WIp2{33 zM$W1yufqg`-e}+8*h8gjH4qu0jv4~%wcPC*SVt3#)w$XP!%;<9D4j%4q5K^=l}>V? zOejsR#dxWk>$H*%no-Jy3RI9LI=-pJTt_9ZCpnsPG&xX|FN371^%EVzk{duPEhee&cd2rY-{P@Le?#|oDk5w0-r4)Bk zIoZIrjClJhhl>0sw2$W0i>85$)2>@bI1E2{&y|yx;^Hy57c#Z&_(^ENG^k}ph#WHs=tM65edvXV9= z|3a(0LlkxdvsRR7LkVG_2KU4NM3%?U4uqpPGM8>fiI=NGfzqt39_vs;!u_OfXk&)Hn@*}1ZrxM(!y3HFBH3$Yj0L}Ef@X` zd1QUQo0+8HXK45acgcrbT>dT?t%D|;=4eHbml_bt0#qB@ve;XT1O&cDSN;)KV!bQ= z<=JSX*{=9q6^@rjJC0yC4SV9F9rZ59S+pd3w%&E9!f_TUe---LH+T!C+cLZp@_fT? zM1R3i3tIJm%SJiQe#@3QS_yRqEY6*fc;rd6yTY-{b?D$1k%p$@Z7#>D3dgB)CtQvn zPbaG^e*6}pxhlKJ~!l#cAlY@JQ0_~fd@%^| z8pLcx8n=fgi!b3%yy<#{o~WJ=g%Qu-z!HJ;1o#oaxIIK8icn##NG)hYdxqi&lsF9H zXl-zuA^Mgzm^P|N?s+uOoM>>oOX{_3<_-HUP2*EBjK(7lIksz@C;I{!cVIVXAC6ks3%dmTYgT52}`LAdwM`LAzsjQwk4;^eXN+uW$#QB|aRD)s9 zYTgPC9_JeZO@NIrCx&=PtRczqCi&2YAfiqO^=S(|t>iTmGi!V^y*wbTNIjpj4(nRh zeQ4M7%UVlyo>-%oH3tQ$c1_k=Z&~+(TFANwPeO4k9qAIXo+w2NR5;$9hVw0@o3VDN zaGXIaU?>7pdTT;G5P{$fq8VYJBw-NMJiX9B1bT2+Y2g`#-BpE_g`d?v)Q!{RqK!ba z6*LuvyDH-MP}s?@k9!Gy6+NqsobTa(ahl~GKIC_Mx%1JDXhsV@GdQ0koX?Std=kNj zbZC`Y(K8J3OZ7SNptnAd0R2yu=a8#OY@IK_DJRUZ3tL@{vt13Yugl}llqb5&9j9DvXWkS8Dx~jL6FjOxnz3P>McT$ox@5GfDfYOVB6uc7y5*)}5g7*@FFF@Dif_Jjb z|E(6M?SEMOLCmNB-?BIzx`*JOpy#+uRZh<_R{CZ@z6XxmL+$bs>A08X0NPM>l=nAB zTihNxTmMoZ5l|=-a|y70QX`{~?7m{<}RnSmNQDCS>z=h;m@G4Xp6perj$+h5Wsxo|xqr%#p?o1NQQhU_V zuACkTf5*x|>(aGY!V;mQu&j=r@q(?~(Oy#6&Ndw9h58|Q)RJ8H!O6WS0ymuE z6tSJzib#Q77z{Hif zlg^i5n<}j!JEg&KBx|Mp63nM3j$N?{v+KMx`x@}v!*;_GSX*In39cNfKiF&uq+JL? z8C8^3Lm`%;45-2bo5aeN2>rY`nN=DOCw~>?;S`{vIHz}Im56RSnF3WB52qj%<>3^p zqBtikzPa$dyg2n%X*`@lRFsDkQ&F7LNy!Orppz+7rSWhIQ&ApHeN+_Z)GRsKyg2n$ zX*`_zsVEPp{wj)dIwd)UdvO||(s(!xR8byIgH#mf`{d3;8BF~_NcRvim)D!BB+B$5vqen5z5=6ut~u=c|3|}I(QVJ zI(QVJyglki?1a=)y!wexOle<*VE)4VVSQjcQi2Y+9UZXBm3SvQU`d7J&V$YVu0u|~ zhKi+dJhBOU2_+kXIHn~OA^HH&n4i6Yi5s24QTIKtw@f=XPS;pXU3{&9imitvl9p{wO(U23N(sdA%xO1qSh6d3o0vq{9 zIF56?hI1u_=S&;k<`l4v?KN6)wP9zVXQ!tz$?x5^l&^Mm=hQp~qJZyeq>1{j^2EAw z$4;oWixz}(lVu0Wde*s9P`lh@!OXu6Zrr5JQ-)v{t-qHKc6y_}hjvO{U`gTk3cI)dG&-&0`*O#3M98->u(tTStLa?RMc5cR3QO@EfedU# z$N)Di{;BcyXfvwWAHqa5iwB+rB#FqaCShAc+k3)h+)cDYLZKdc3up_lg1-jzS zt2MBL{pwurBZIyfqhdRyHQRjJ^DOMvl|4^kBSCM^**bfgPX0Q3%0;8}MOrjcXVg1n z@J)KVK6%u)T`RExr`q+yUt-rB^1VL~e zwF#d8kDGu|n4nou zM@nduZ#!=B^ztkbJ8xD3t-UW#>KK{bpB|QHe=%UF-#p>HPlcl#yZu@9?!#(6-i(=# zE=EfLjh+3)*q91kikc+rPmzT!PF>Jqt+gE|j`%R5OhTrj}S+p@2Tf%wSQ z-B-_G56KIQCUHgN5p4HkhdK&#ViDJ-4ZMCJUi@?0diN$yD9usRC9kLIJMy|y@M;1t z`oy-VNhmf}&#M;0PV-(`8f$BG1MN0eVthdkrdfND=h*^y=xv@!qZQAjRkt>36^YC` zHItWA*X1c9ljf72l4|B`%EZD_4)(X6sX<`d{JOvfWjX7t9N1BJIv66E zg-GZM_&S#+8RFAR^!LOn!1WTw1cXmQ=twXf!o{aH4epU(PeEc{MST4{DqB%lH?Lx8 z)jZCNznw+7e2N`S^z#*Q*Tp3)j(2?!kB?|jJQ-sOe#63!>=J_azCtG8Z(1F8}gCywk0~$IX~`N%I6?16d=|K1VClx%NG#&NHsqaZKKgJe%gX1ikRylnw%u-d6 zcou_=I@#S1u+w{~-#4{mA8S8(Ql+DYM7rZmiZIrA1Sj!+rLEL)7Mt;Br#nvO{GPAz z+~e^b2F03sYHf;Bcv&_cuV3!3FKxx9OMSWHEma~cF-~!biiAX`bP~N%k%;Z)4sXi( zLn4sAa+%|;Je$g;Mt!I~tqJ7MJ?~XqWuO&b5`_irdTbqAnI$> z8i%|`q(GRbWIrjU@ZAq7w0_+}FB)&^u@zK^NKOZE%8We{SfvB9EGnYbZgM0H{ddHr>vHJpScS#9Y z!%S>mOo+}y!&b) z=i5#p=i4uloUH6V@a?`3D#wt9%CUCt&Ip>2jpwB+;ryWci=?~MNxlVr>>C_mXvSuK z_gtV#Z>dVa|E;RrhzQuyw3r!V>vt8l)D z_5uBjfsN&k4@=jcG?W&eR5sx-(0Lr29CoVXL$>uQNJU2pS}yO2cts9jy0qQgbgO$* z58|bWOl&tDN;;2Z6c?r*WLuxX+bu5GlX&R96x!51TL^aSMK0I`9Oh{TN(|incWHf+ zJSCRajg>PGBj5cp=v%JrNe%bQ8g3Rf%+j~YvC~6DYaA1;0gX%RV^Gyt5SOk!hE_R- zRuPBd22hnvcx`uHrN+xD&q00)Z8zX89%4%@W>jL@jFFMY=uy}Y#9JXiN(=q)dH0;r z+e$zQA#oZ?8{kpF)<=PMR&KM?gi_Q)izKQ=TL)!f2MxuXm6db`TShu9H-Yxon6;8P zAT1*rIZ@#sqElY9%nR4$5$-${|8xXq+aUy0I5{^&r&ZjWn4$^+`6nlG=tVhhsb^`U z3PKPE5|C(A0VS@|BJL{*G;7U+7rW>KdXh7n8g$%6qlS32gr8%D>#HJajc@BPL_L>?qMq{!TvUnf#$PtNffw ztj4u(t)_B|NF)KB)$tPNI&4IACZRUaJY@uJSN#X|c`^G0`l3gF8LRgAs5)+sSP~WX zoc|urKaPC&>(E$pZk!f?Wws2!y8%L75?*J6?9k>?|-oVf+A}q8*^8%lM2nr=cS82)Y*k?5cz3e#dPpzm;lm ze^Afu*ZYr%$aFZ&)21+l1)_={FB|+UIpq;J8bG^M|1qipeqF(-gA)(?;UkKEvD~J zJ882)oxVTKedB5P#?$Kbz2zY=@7|@p+AxS`IEY> z3mTV{fU7n|p~chbDczRoQof;(uiKT{ZtMceBb(F9XbsD@Y{J5TpFcbR2^9Cev`;8p zjKYi)F>Rjf6n1FRn&~Gza$U!AH&0oVQ|JiNV_Knb?eu)-3@g)iL+1nt6PG%2q? zI317Ww8-oEyUI}W6YJIY*;f-YyfhU;&Ja+ufW`@kP6Lw)4UQ&}Y==Zxm%gDKb-Ye7 zk~+mv$6>=!$04QVA#_8`hsNjkEh&6m$;aD-HGUWH+S-rssC0|!s zQbcx8eyGZuLR$;{RyI+xGWr#5u(sz1mlPgW^2{ycWeK+RFhoFBAlv$qc$&_(J}aI^ z<_DD&9)frO4lu8H5)Rg)|GDV=%nA9*{`o(0JDflke`Wu!%r!I}RmPKeP>^bfEegW@ z#$rEwdu7K{e!d^nrWs(4ckRn>6KCoSeqT?=34}MzEQlXTyCYE4v;r7re}g zC$cTsnDX*tx~SyqKloN)WEb=YyP?Nn{w6XIqO5jgtXUe$CCW9^9;QAQA0l9cH0nye z3VS2C(pMe)492yhq+3|M!ToV9Bt|v#Lb$RQ{Sy_SrlXdFL#c<<{hkyufgx{@CN7PK zCp^A_=+y?CK;&poEfP2L^8742v2Ji|pN_^+|T0qsN*31 z>f1$!+fTVT(cR$KMIs+{ynw&wAvzz9TRw?GfTS}#_}~NMvi2*Fbf|%hQMv6F9xEnK zMWv`gERUvwX=$4we|<^e!S?)F6=g(J?l=e#U-IA{%x)_MXDCp(RwzKf|Enr+?oudl zgp2yTq2*>lxKI*C>ImIL_>f8%CuHqT%J)$~lk%RYH7Vk4|3j?$-nX$+;>LcXhEf2r>$F`Q7Ex&|XPq>4pfq z{8c4T_FGK;v%4q#79Ub!Cz-!bB62cuH=I@SD#@K1272=jx(m^|OVtfcYO(Do*7DFW zAML#tb7nXr{gzhEWLS5>6EwZZTh^s>=!iEG@d!aY;e5pNiTH=d#l&qoZOC-pjaAnZ zJ|})bwsPAl=&QM209a{#XA$a$>*WtqjgFK%EWSWHDD`*LwDiJZ<6mFnQU!v1d@m0^oUiIwu^Qlh{+VM7hjdwlP!K$|i*R9rdgw~f`d#=yA4o%cq_Nhln zPak!?hT!JWE6I0VJ+SUFeXTLPR=@l?U1@j?uhnB+y$_EUc{(3Hgn6eA3-I`ek(hcb zJooDfI=!E%A-#?HVbq=n(S!MWw3fUcbK9lowp`C`jmB+6kGU1-xrOPuMQGekU@+^M zrZe>1j{Hui>HFxtLeo2ZbMxsr=VEjg%;bE1c+Ty-9`OZXP0JA9b#-W?C-pT1=_Q}6 zNlq)Dp4lNy&+X+$bawa({Y}_mi*If|?J!u+cctXpNA+bb%Acl5!;7h8vx9qWs7Ia0 zeK8(`&yOg_Cq9o2qQ!-rq}(RS^^=qv$ASD!mE1*6<$IFikPQ0j>bsH{+^I64e?YM( zla$dY@V_@n!9E`KQ#yUqwwZ0c2rfepcUSX=g1nH@woPp7z0j(qh}_Bd%!zt*e?%K~ zK64(@v*;{DT1Ae~Emubk4Q(%Tdi*dl%J7NIS3N2y=2qQQfG}6z136SOs+u+heNG@% z!t(CLQ^|U!zEHWU)UnIZ^0#ob#b>zr=#1OM6k>AdSY6bZ@(}ex1KZlycT7+VHjmL2 z{OLhi@FeNe^^m6)d{$rZh+6RR^A{}A7pxEk^RmuU+jaUvi)5i`=P5K?UudWlv23g_ zqhOI+?zmrz63dfCP|-(;Nu$uop9Uu$RO0)?O1`5+q-3Cv5)s58U1iXV81!H%V@84Q zqXc&G9QT*wb)-*MXN&$l8U{&xKw9+Qu$6vEc*|4)QB~6pu^oqmxevM{1Do*O#XxaN3kykW1@}t< z#^$bd!#z5O4i>OO~byaDe-R!{6-h63H&zbU;zNi8^v9lIW{7%R8|d$6LT z#<&&zs^v|LZ$4bULu1T>(`t=z@%^$f=wBh#8sk=cNkG=oyLaNnuudb$xplHo-G5tS zgvsjkjbWwgZcwXh@6)r!XuI#cjnSawZcNEO8teBz*&0`HdAr<~dXb-gt<*P)*g<(2 z8f)!x_cm%5Q{L4++SDhPDm|CEf(tAAo4$1)zp-=cZp0Rq`wNis)~yQT&S2a~T_sPF z&w`t&6DTLO&OVhq1>|~XD7snSGmDl8i1eOzsA#?x6=!Qb^s)+mz7u^l#=EcP*(><( zbBX+Ehw`+(EV%K${LT$RAHDk=$4-)apekT}XwTf|rF(neKB@4Z^oCf!>|g9az5}q@ zjVmfiuO9Y$nmM<;XZ6|defr3oXl%{XqJH};J?(dTE+5~+xv(<&trRVeOiSwQX}vE( z%aou}?r9?+KFEcq1xa$fr~MZ-}jipLBKkw&-GaZ0edoPT#Ewd z88t9yq!#>N;bZIZg}skBqz_|Q;y;bX)jaEsDmk`H=RSe0Yzik)i-Zj?(}fck`9x;5 zv|$*k^9m=!0M)C*cacpCAVF#X*+h(wC3bF{*X>~3M`ipH9R}^elh!;0F8UWb zsoC|Sq=Sp@9;!1}^j*?LN9tX4%Yx448i!);*FetAwT`M&XZPW%8}e5ca8z1%O*>Rb zPI;+hr8naMVpXKF8qOs@zZoM?;5=r;JToKxe|Vmm7Ua{=lQYoU;EC>umHa%y)RMv% zlsvM+gzJSthv=Ni0b+LnD7it0fGu9}8CuNU@Sh<0zkR28ZEzphX=BZs*NHkN>FNli zI&5kkdjm=I^IQ4_us@Hbo%{H|623k;1>GN$0SozU5Dsx-S$-w2rpvkCYLMEM2DkERy3{}oI>Uq_dmyUf{`(y= z===moYmgZUog1V89^fv8bX=X0sK+bNBcM~?DXZrp=-<~02Kss359mnlStpmwZj9zpqI+vdH(L}{QcmM5U}S~OZ|0L>+AbP+~iBKw?)0>@8wdEuxi-i%WX{)RW@2s?GNEOxe1`1G3r}KP-p?N4h zN0!#R#%%0{xhvJuI4NefODdbLjzj?NRVtNLJNt}(+@sIm=)my~5G$vLRycNaagqwd z#F{No$gu;*jd$Rm!p(UfC(>}-4!^Vld`aQ+O5R+Y%JV*_*HoeKb1omF%Zs_pUrW%o z{2Sy3_dpcHGY$4)3t)Y;_6!HMX{feL4Gr?cJp z_1J$uSP{Pq2lV#D@k83kHyy<{-1z0H!WTMHxZ03?>QztGzrEEX((QPz62JEsw|E|o z)Xl^XeJ-N!H52E$zKdHJ=lU_xSvj@@=mqme{zM;PyI&|q`GY^1@&--#kVPu zEO5aB7c6kW0v9ZB!2%a7aKQo>EO5aB|NRy)DA+^OT~X;uRJuJX)gG0epA-oRo~rw3YU} zb@p}HX<7DFIVstzGg4DB?He<)R<7GPPUT3n+v?ie$Ks>@p8UN9+LQQe(Uo};&oAQd z5dPE`=yaYYo1b;SaR>fPFM~5P@h+3UlgYzdHb6Jo75h?wz)LG2#2Yxi5ltKOz+7gJ z8W$6j9u*ZNv5E$(yK$Kce_Ah+RLxj(vo@q;X21$LutrAKDtlg9L7uWcCvBB|{Y_CB zOFI#!uFKELBa>)3*QaHtrR2eq8Ce;58Q``#B`;%LmXbSToN~)S|!KSRdlmgLL zl-05U3S_!TrkiD&C(~S+rb@ywDjrTN9#stYV=t7Nlb(~da!p27mw6ulp{|@}U!T7s zBhS7Hj%3fzg)?o;$Xg9R$jwhr&q&Qk%Ys})k?Zk|w3XC(x@4ZWE$rt|X{8kvomZ4j)$22h z>)o|Yx-2aMh~&iMfOwfGOfMpl*Ru!~JWwesQgU)K(sH1H_QY9u^wGx+efxBf#g4Fo z$d+c0%0NgTyOLC*tAyXRTg;W}BVNSQRjk4yZC3MR!^h5E`0t?uVg0pzhELz{*J_G3kx$W&sklwcm zpM4|!d2@SvEz;QEpdO^#kh+of!K-x(-ca@_Y;TW78eD`ebfh&%S0h!5Q6A|Mq_s%D zK-!3OKHeUUd}`#U5j_`3z1%ivnY8;Ywl`qzZYpb&PMG*np@T0{w~rA zq-T-ZagN!BH{;WhPD1L$A^0Su$vEs^fHVwWacoC=4(T4G1;1-=KY_HN2KGbh#`k^U zIFB&&ao7#%`X^8x>Deby9_jq2Q6A}gzejnbr*@(|(x09|d8GYcf&DFLj~3{SbUV^2 zq;%0c8@ddeuU8BOR>PoP0hTI5fR*rg&#g3~4M!7!yt<}Wl;OxH`l+kh+Y``MN{Dq% zNchz(c%!96xnkh-QI`xKMl7iOZ2T<;Unv5idD$gMXWrc2j#H#~4-#U%&3I*R|7#$S z%)bTcSme*p=Wq1n?*M)-^0VM$T6t53fhg=iy^O#6;e&YJ>B)~PH5q4ncr+txKWK37 z!b4-6%LxV(4!loylW#}<0QmDxukuf8OX8~IDT@)v9Q$B@4h`FDBcyR`f>$RCIp zveGL*Sy>M8(j zC|<9>37IrnQzQ2a@|*3*e+9=R()G4BrD$!v2l;+3yz&LDR^E6}<9`DAe?We3ukseH zd>iubN8H0(ZBO|Hyg2ujaKy>Gk-tsvm!>N2j3nPw!<1@-HJl2OkA|=9S;9<)1|U zrTEI=R=o_STetwE!;i?{jt_*c^{W4Bt^UE#y#cX(s8{}AEq?~`8xixTdF4;i@|Ph0 zlZOyLz4EWo@^3+Y=)-tl?Ui4o8y!>$3XE6Nur>EN62jbYgX8-vVo9;B1`kMk6EKPK?LHE^* zuoDd|YK(KDt!<-uTL8<)h)mGAG5uIdh*=@lyNz>0!tXLULhO}(j*#d(&9g&dZu57B zOf3z#DkS#ikg0JYF>xW$vqJ2%Lc&2mE5xGESh5Rzluz2*$t)MH3l_LwfeRM6V1Wx3 zxL|<`7Pw%63l_LwfeRM6V1Wx3=*j}iaoU|OyG+$J45&vk$UXw8fZpV^9w zZ*nRMK4RwA)+&+W!wr7zc~hi(zXXr!UMW6@;a9!Pr+o>!)co&$ZePb?TEpYQlAT|5 z*axPImcn#7Wj;R8&2v{r_$k`T)sEf0l5z6ue!+s$8uSw#xh;I^;|C|LaMkY_EFW^C({u!og&jYGF>FobeV3D z>1{H-Po_`Fbhk{8%Ji=?{amKs%hW$i)-Tf$GMysRIWk=&({!1NQl7i>xaYa^Q!CzA z_2l~BqWh)w{8IX!=t?xc_^R*uI`Z*}KaYKV)zgXpdHAUGzT{Bz)wK1%vFXL>kJNmw z@$Cq!lpXOZtfn344ydr2c2D=;t-o5UFFSOsuOqCM@0gySPSsPUKJB2=i5kw&x1%Io z!~cKf(^1?1Z9V_z>ccqPe$|y%US^M;owgz)CCfe`X57Sa6UI&%DWB{UVw*l4Fa|gsG{e!n6m{uFo-|z$9yiJW*~o# z!`v(2$WVIrw|qd14F0PjK|ueD6y=0vf@Kw~VwnU^mP-PtZpBhK8n-Ed@6fX)Wf<<4 za=>b-K_!-{90<20Vistb#sRzKzd`_9#(`){IqI}b=Rk~Q-%tQEI55@nDlwSJfmq8F zG=U|S15V3Ysx*!R36{}Nz%q*iNtSP6bj$31C6IHuh5k`6%N*Nn09IS5=`2nzb+%;< ztYewWfjrAfG`HpI;KxBwV7VCWV2KY)08nCi0;aaiXNv)Bv0OsBUu&UPx}}zNXl~1O zYzKgH%W7h9L+@unR%JPgpPaDV)cc6MwPY?u++f4gJ98+iV(^$ zS-vK?D1&2g88Vm@!*}gDibbkl+aP2=3KuA5~@f9Hhb4z76zDzWr}x8lQ!! zdJW=EX!7$r1+h&QzqCklL-=*?@IK2xZcIi6y$9O1((^vJZSO(0`|)hD`Yi{kzl9tu zB)~5gNvP9QV!`*~%jt_@77Aev>}(9mv6Xl>u`?H=E3x5N$C%ky@GgHg79s?&nb60= z&cOKsnJW{Ep>~*KYhOm#3%UBs)!OG%6AIe;)D~$aP^nKV1(9*_! z4{m+gGr;#_PhbtxpDA$OaCSXBZ~&`=yAEVKpzI))4l4|1?|^3nJB@BVge^q`h-6VM{ zhx}vMNc5JmY%EqU;ss63cC^# zUdjR?^HjDF8ckzQ!D5%OXw)^GMS*4pI}WL4u!)d!CZpfCyPST>8?RZbh zHezixizTD3D;Y!M&SslY%E8`(ZRfDRL6@u8_rN>ZXK1OpZ2T}qxti6&AFpB4;Z5^c z4d~<9)u?4YYXj$N*{kCfC4nun;s6@!1F5cO8++qpW4033SjaY`vm~;yka-dN3eSt# zOynl9FHz$S>`px2$j+gbo7l6k=Mpv;&r4Yd?#oy&v{y1452=>3r=WWZy9aHtf<20R zDyzeNCA(uZf;jslERfE6L6TLhFT86tvq8cPMz7m%W?P{98g@Bk$Yfh#^R;XiB+p_m z!rJTDeQ2X>_A_K#&jKMs4x`_G%4H3(QXb2KB>C(|c)|uY04=hS-3-?*U>^@xluhhb z@ZZdAh(f<%Z$QplSQdJFAv+9di`YMbDQ20dy@XAIY`3yz_}&)wCTL38Xz<_4K0t06 z`xbm|W0#`d+u7%6wQ^>M$GVsco^uC#5SR+~GM?{bcC)1_@;W>6ayzY5+ zJ@kEn{SK1vVslaUMYaK$-E65*QU1(g(7tLo6Pg53`}r_XxWWZTc#k2|h>Jb7-#y)(A;Xvp|$O z!*;>K|74#*i!WJPZyY&bH=$ix*`tAq@-_PiG~cju(E3}J3TvNb3nA5a>^oTLdv+AM zoMR&)Lz`l?8iN9#KqZzc*wNUl*LVn`SoVXBu~!%Y7R6|QA&k9w=(L6#S>Pw256#ZY zQH-Iz=~=OyK=T^IdO>iE<#o{47#2o=74est7*9cOV;@r;sIAM5>4Do(LFnAsig7hB zq*$t{P=@5tK-J&O0juT7XaH+C5N=rj|21ZEz-}3UhBL0^K(u8G zmiYu^b0F5T2_`nK=VhFhKf&vbIUGo^{1+PCn9G4A#rO<@qA}0(Ed&lLFvc1JOQ2#O zl6aPZ(Mcz~! zgGU*028T=;YvW2?BPg9VuE;!*mtcFEG>I2bl8tLTUr;W$6%)^EMc!%~*EvBz*-GEP zlGfK5Oi#e%!PHa_Lr*>dU`oH?=$*`HsRSy}wEQ@vz}0UW{E!7pY_p1uC9F-QeOuCA zMc4?HR>gh{@eb5APab`YB;|?dl0=RfLZZu(U>eX(9asObr4Kp zH(GVKD~lSD@~bql8T~1TTf~N}p9q*d^lG&}W4L z<8r*QPl^&YSv;FC?LqOdDFzdX(0>`4Bs^@I!FnaIw!7eoVbcwPgvkSKkLS=bc@(~rbC%Zdp}*ldG!9aOj7gHRoY?nk8+ zTRy@;*j0uw%CgwhQ-#eJklmI{Dqkyj4!6AluLw&JP?YU!s^K~Tjj(-*jv98o zfG)O`5zhqzinh(5atj4C(sqiZP8856+nsRHutfqIEv&OxSZ9oF6$F#x*=*uG@6up0~}0s`F7&)O&6`ZmZy3zR~K7^!5R>rC5GFyJ_zm)qu8x59-ilOc-DDO$loZDO0-k7t0B?P|`+3Qo4G zIVYRtRVZn@hU3F6$KaN>dBInqX1nEGjBK`RIS_3biXLFQo|DB`g6#kjdCpYJLRi<9 z6hbP*hOWh@Teh19+zm+*EaXA9WxPxh)UNJ_! zC*XtVSq6{3D-6l77h8yKWMK0VevIs*@zizRLTgx9Av&v-eFzde3kao&?&?vPZiW8< zK8hjy38=3a!|z9q;uo%gS3<8DKz< zMNwryEqJ4_GT>>9=P0KP*h&74Y6s*}8SsEUkD@*)a=$T#Yw(*t>=Ov6up=;mAA1LP zGy6O4{_Jbq0}%B|e1>}<8-jZf8;g4|n}K^TMhtp0`aS&+mVrBC1-M(;?YM`s`*06q zPvYK(?ZVy04&&aJy^VW6_6hF&Su5`0tR43OECebJWD&RzVq@hqHTdk7AGFK7tLz{bIHgUKY*X7*1=Qi7@Xdwg4s= z&79~?W7vGO;8=DqntB`yMjMQ0^I?n_7H+4tPT5#m>--5_?Gko&9IbUiai7d;;7C*0 zr|`NG36!)2IF6zCUeTL^N*mt9QojI%pE`AjYfEG^nD&(2V>|&w>yE7qBV}01H_&C==OW$g_xD0WB7@#Ta{&*nV)k zfxU(MjqDTLZ(`r#zJ!@!x23E_aK+?TU>+*8;_lwHB9;drU+pTMkSO(t69 z~q|6*%sQ9qkqMznEinEEny>J+gsV?qiIbu5dG^mmN=f)H0yCMXO+0S*za+_gVDkH3ic76 z?_@vVUdj5#(3%FDdsx#vhS*reUc|kcHR65``w;ivvM+JJml+T+wlN#-_pys{zn@)( z`*v1vF|BEqp%orvFcQ`@;qb8?Y$!B(n7sfwA7NKQi{G&&@Rk~O6fN~A3xk~>V}C)* zKF*5p`~=$t53FM|aet2Gq1QjpzCrE_>~na_F1DG`ie&CsT9Ir)Kl(EZfG&I3PY6XX zv5&xWFEgU-K9-EOdzr1reLpM3{S~$i_XF%{-0Rs(xF2NijiMFFaY%lcMZs^6FdHJz ztE>erew6(Mp4q^DMjJIU1L}Q^9e}2^s=M ziM;`>kF&dgf19~rj(6CLcz&0;(I4MqjpG#MudEE#exE%HElw~4B>#ZjjaK^`dmVLs z$Rcn*$%dk?kJ#0yrI|ekNj_l@gZ}Sq6Quo={Rjz9v4=tV8G8nn|D1(D@_&R63P2b& zgzth7MniZj>}oQE{~2cVGlZW-9cDxLoyhYygumm5cxVVOfIt>Q_+H2!Xb4{kM+!28 z2OtSHgkOycdl|w%K)K$A@J&!M#1MWlH8VNCxNoRA-oadha1B0MS%f^@LQqAKtp&jMu(T}-dce7d~JkCHd zo7o|pfhC|L8Cf38HJ*zCE zIS@|klI;rLbDTjIp9apwSnr@^%%P@Z5NqIba2WGGgMa%<5(R?=bfL?z;}sZk&_9UL zJ_9QR%2a)gorqp#(c;S{0=x8tDO-KkuZl1A+*3SR?m+30zPLxqQbF*Qx)^8Vp3+R zez|yXHsGTwTwWXzkC13?FmOwms`nK~OhQC4H>!xe#Sv=*fOt(XG*#~^jxfP(%&)5y zFBC_-1cx=hp(36yj(7vInR^>0)8~pK-Xuhbil{4&cniJU%#6K{Kr2&qZE?gxgif>7 z$ki}aKT#a98QyFTRf{}c9Pt@hI!r}8Ry?F%2Dsw-Axfk>z-w@ZV(w$?L&h*w?a+7dlZ_zwwiUyObgd0Nz>;?>X2{-l?@TsD~DWD%< zWYL^|GhomUF!mAfNx+~VVC*m86Gf3u`7Jz>F3KNb;AViM4{5zoptD4xSP)tU<2MQv^ArQ`;Ku4} zBF{>qOC-_Yn-%k=hJl};6^zyM5XSCUB63uMvBU*LR|z8OGl+Fd1<^u?M%NESl(#lp zF<)!wFBGgRig=uQV!A;#ZEMkBgril4KD5has;()D94NVLL-?eNs=3ZENLYDK@sJfV ze}~9c8mN{O#hhpuBzRO64PHUu5CN7HDUqgSf>

^vhKG)CI2O#2=V3^FMnyjWc@^(p8t}=pTcc_w~KUc~8Ts0qp+^Gsu&lP-R zg~*#EN!q1?+f_E((V}llqVbZ5_Ke92I}8Jb(DxTBkyBDdE_ETg2IGT%#r(MNE>kuC zMl+bmm!kBrX`t|{E-&_1E?R1bTAv0|*0BXt5<@CHjxNKF&k?|f^WO34Mf7Y!nc=*b zemYguy|s9_iNfKh^8{Q{9K}1_XEMmo8v(6950*|*95sMK_CNSIW~^R4B1bWQC4tze z0LWl&m67;Baa29QU(4(y;j=~qhfURW2&xN(oXbU`EQN$4(DB@|->r;{loZ!UiV@r@ zU-0qORQ)G3_K;dh@>@yrm}K&eWU?@l{=E&lHj6|NOwLLs&wxqfav9Iad+4I>Z&JH| zLS%-_zFFkT#xWZt3+{CO7V4ZA=g^S&p#S~^LCRnPx(qvBj8vQA!QrAQ+(n`(9-Jmj zf2wFW504MVi|BZwXaw)~J9u0(R>wy5A{TyGhPj&JsAUxQYWTJ)H3nMhSx-wj;EU!u zN!(f##hdwg-a5wW^vJ2#bHS8mk#NJmECb>yEIv!&XXe}ZKKPXRg64M3ujbjI%tx4K zn{SI0qf2>lG=8WC@K^zt6c1lX0^BxDz->h%)+*+5sY=2K#10pi6?%<8ksqUv-Je#I0+5RUHPwC>HN+LDvNExcyH`^}kTPs~Xd$O?a6UD>V zkVx5c1zb}+Je$Ld1-zqpcs_^I1iZaCs$mT1b7WV5x2K^`=Bmv>_Rg2~t}BkbES^iG zye<-M&<)ZFGb887+-GEN)GBJb0`5V^>Qzzu5rEB`B$ysm3R9amOE4|!Tk@*kNO0u{ z1dm(zF0ZkAIrv?C1$@h#R^mlpDQ` za+BUDOFc&UvlQuDsWx@*WtveA%iQ;6t}x1SZ=$x?(ysWsWeso7+W%-tz-g-x!OdPzsQMuO>4xA%cs^CXxS#cdKVLGCE?^^P)N zAgIUsH#r4!{vk6rLdkH|2xB`KVQdE@jO}2Au^o&s-rEQXwG^oO@Ri)NR|$^%6K^~kc4T6<9u4lu_g`k<$k@1g2t;TD;D79{=IME@Ds&RkplpShs;MQQ#GQ+V^q&Y zA$KAltEmxL`G|PKRdWpav#ffK)QMhBlGX!c&|Rkt`AL;dlFXANk&+}!iJT{!ZjvM+ z4pA~2VVh48NI<@Rj1({l#NlAfNf5E7l}OYL z2xxvwgUNJ=VMD%@LQIxgIY0-^{8m^=Tw`^z5}7S+LsK8RDEnray-X^ek78WWE0j^c zB>`vj{&OI6kNR-(*=xyfvYz|u1a3IngW>|-<-r3mm@QdtymE`<_#`!*#bL2?kOdd&PhX%>ABMKD1VN&Fp zVr5hrH9?==F|mRJ|4{}!8g?938TH|e(0t0M{urM8f_q;yQxNlCdEmsuqoqEgy#he2kN}zjxJCdAqgMi0B!C2E3{8&x{6oo(7Fh|Z;J;ykN5hV=Q8KKV1`qI>|C$Dmqtd48tzy1w8Y25? zY*Z!&Q&XgkvI9-gG8ROg!EkM|htvCzK$Bf!$2J&%9Xf!jQKIg)0~j_i96+EcTrD_% z0Rc!H@TH^^Li9Y)uP>lAI=-V zGK?C)RK2G-nzXRQkX*Ev6ir%KrV6kQxf21#3UDWK33Lh&0pYG7swqLhi1pio0SEGC zqIlLqbp%OpWfVDpDL9z6Vi3+oWECi;UJ_a|B5RXk>Mfz9sHNmGA+qGc$j_xJ>xD+V zN&ioGUjp9Nb)ESD@X}By%G|VzA}xzrYzthpSc)Y}APABmK>!9oiKLUj6bUXiw~&Aq zH=-TMX`C*p-78PNyL5k-2I$$&pG$p``)Y2B%P@Hu1>vQr#6&9uJ|gM6rgECHASm* zluY6cU&gHQ-r_BNT#M2_*Cjm{SHPC7pQOY(nF`N7Quk4v>ko9UO*rqe!b_hh$2i97 zKBtr4Z<2>_V#d2#k{_shPA3nWY1)h+ONVEE^8hqTX+NO1Eh3 z#V@--g6HBa>a0iO-}Y$p4q9fF~cRJw!Qv zXaI2HO*LEI|7~17k0RbeaqS=Z?mRUWxQGV4f9xskh47(^-#UcQbFmeIb|at1`BOPN zoPs!1Zn8pQ zq$B=!CJt(Thv@zH1^{YW=%M$&833G_t1v6Q|6l-ck`KUt;r)gIJjw!dLkR)j?5S0xLoRy$oMf=+`ST`TQTuzahrA#5)X=Fi--So#YiDue{SD8p)aMeIC#AK& zg7J8N(^K<0L*UQa{MTd%;4&g7hZJ~YyuT%EK>qu>>pD+Xvcf$&K5Th^$5Tx&7bJd$ zTPTKdbbV9;>sNI>&zO2(wbgx7XL>+qqK5uJ+&-kM>;Ah=Z!_uK(6go?CQcbOO8wVP zxl3@$mC=ytJdcK*2duI5c8oRUxupY@(Pk-K{AMwPo{NpULC1TE%qh=i$^!dszIG>- z>GiCpRN9c?iF?$Lpi_j{F@y3WBE$L&%^=ix+V&eVV>5)O?SRPv3B=R(eghy0L_GU0 zQv^KA^Y+~)2Y8kz?t2X2@ki=@q=!S#KF}pI_kqI9rJX3cYIFv;j=je{6~bDOVUX=Z z5{3G#qh~ef`V%vad7fv@JnyS}P-mb6`*hXvJRg;LOAH_rearx`)x~mk+yGvim#O}s z0bqND=K6%0cQ4QLT%R=YmynLRJ!Rt0BOUQ+6aT`z%=Pygz_ar**Jlj?PJ5o~a|ZB< zd70}u1Gogf#Z~Gj?%D7#@xlR5={}9yR!$^V83HqqB0u2SOxlp_^9^5wK=3wuO22|R zN0(8_o{LZG+|3?#J3df4*frDcSCE_)wZ@b2)Gw&}7T<{GG_jnH4z(hk#7-$p(K zyTh|XN+&k*LD(Ihy%O)Fy6-Y|KT!8^T_yU!7frB$%@#PC@>wjrz4abmo4*BOMkeeuoW3NDnLxz29Lo5$#*I|0#{`pP0XP=$d*>w=Z6%n$U@VS}O=2 zgL;N&@!sJ4uihpZ3p4NUb^aS0O#bZ;(&TxubiQ8l@~b*=>$$jLKUO3xuV36m2gpft zZDn!%;vEu)n}KERi~A-1II=>hu(vX{ED+}irQxbptk*zF>UmTP;yf7?@Uz`?F zS`BQ*eOaThuYrxYujpu^?pfW(JFo(wtAXv=uiED97wZ{}qaPABu-N@u+nW7~PXCr9 zTMaCAud^|W(*X@^T)nKLM;ch-eqEcoSm?4L`*%7H?Tc%B4^5q?O5YC~mo9!ODnif2 zlUPIw_MWN}>^wd%*n4W1#2=j(>^*gl#NRw4*n6r|u=CwBf}N+1O8m7mTlw_+Q^OK} z!e_$!vd4$KRZ}JkJ?&%B^6=XYKZ4u5zofbTwRxE{=XLy*d6^X# zbR35`eoj~LH_{Gs*GJY9%fkMv`xTw~yE?VulT`i3)(K0$G~e(kivO~XKW}7ash{ZH z6edE)O6iCbUB9UN=()K5keO{UEvq1Fn2a$ks~~Hbj4>^%-kg`&7SpooyYn*JVp>*V zZz62Bu4&EscaO{W=b&WN9^^<2WqvE?vR1x&oSy@6vSXs~gv;A2Zc6 zUEZVV03K$#WOQ76!K|hqR)QeGQl$xE+ytJB7eNqGalzH1XgW#71?#j~Kq@Y{lOjC7 zzEh1_+KkJvftQ$J<1=hvqqAK{`xKtgbb2C#u7eVw8!d;SfR}Q zDdqvdUtUzpew12Ks20Z}tC30quFT_!R8xLDBO0l0M85JpMFkJ9r%bC#JolDSJB8|R z-GN-2kiDYXQ`~GNn)RE`Q?pe%T^%T+W~y~MqLFG!uhIRq0jqUC8Gy5!&hF5G;I;Nx zb*1aLGYY3=_y+5z4FS*L^^8Si*}k4odt}`&x2~ryY*aEpZh-3BgeIuZHlS9wX#+Nw zflgJoQ0Y3k#bN-}I7;1CTneh15sK<>xBCK$ZeJg%cJyYe?hR9$decxmU;=E@-LrFS zcUI`A4&Ov5;GatGEY9p|`;GvZMu_FY(VdG^enqf%S8PdWRPi((}Vr<@oiGj=`U&F+Vrk zI5B>_adc>?@znl(nSFb9;iDe;Q@ci|@{P?+jpI{86Zzq+#Tj*EaYmeJn)?Z|H0Dmv zWStqErBZEC?1K&AQ$=$Dwm#`=Efd*O64761(J5ntLt}$2O%ju@yvY4rZg@C55*VWa za)Y?V*yRH&nf6FD41f=ha@cn$fj4a6D=)bzN8a4{WOi;QJ0$sMa{O&9N0nSIUtDl_ zd>Yvy6X}yXdK4H|hTEW;FkgqJr$(j*C$rKRrOu3>%1+ElD#d5BL%Bk1Er8$N70{h1UpXUzta(Oel|U z^+L0%jw=6%T0Nku7u4EOwQ@wQ9Z)NOO?gI3yuQJJTKPw+>IKzu-tv}sN*C1K2)(73 z6F^F6a&nj2#nJ!7i173&IQD@3hy7KI5&$UO`!%HyAm;H^T=P|<$2V2^Ggq&w zl~=D`eGY%B@;U11x&d{2PF0+x-fhmQon3T~4%g;r$N{NiI|Ue3%pTSCXK1AB{C!J| z>V}N!x*6kYl=cB%TPQrMc5<{{HA?iLjmVVL(^O_#zZWD{_sG34=*?d z?mKm@F!VLo4twvdQme;Q^%Yf-zkXd+;;-tuT6}{%2`*W(!yR!;x zcm(;qja6z(UIi&-Pfl&5lxj+;q?EOJLRCeVs?V##l%*x7j(K-gsji&rpsbBuYE74_ zp}d<;s9P7*7Vl`as#!qs-}F=y+G}V)&1yXbZ*c#8{)2)r|8=|%h%ojIbsLSdPll6I zl~YtQ+JvcdP;Jer@+)ek|9Mp&_21+Y-d}YUsP?T`Pzo8FZz3mVPE_568i`qi*F0U! zYo3Fq36F2Z*?&Ran=h!!7YdBby&d3ARTuv%As(gzL9Yn4yjyG3Mu{^Kb1=?mIE|`S zpld0}sm%<%OL6pys$?krysC)be4WhMKHups2Yrhe`_^kcY8B=dIP!Z4Y7Kyw)iwdfS5^J z&Z;#4URJwu>W;IJR#g9mrRoP?m0obx48pmp2JMllxZXQ*EZB-VU2&3naMxK?5A0l4 z<(Jj!$Ec%so+YuiA*ZS?E6)??#~Y>_<#}SNoo5Mcl=#L;XCk_GJ4@6mG={`-|DmgD zBLvEMBEm`txXL_Xv4Mye5FXC41o2%~^#nX?Pt2!#RQXl41%#+NO9+KTMICFes8tX< zXghyIz2hp)&^naE44`@90VAKgsytVHYYvJuBUwiE6b1hVq1H`8Z5a+fBs}ZCS2ECq zW+uL>73I-q2i98GZC)5Fod$&N~(9Km9M&jVu`}L_kvT%rk23WB)-y z^0${4l3gw#`9EATPlRMQ3CXU1MDPM`kDzB1cSqXaz zWg!SwKTVUiyjg9)M1rYD))dJH1YSQO!wWcRQLpdx6~iH9F~VxtM&KbPi_xtR$-eT1 z5}&%?_xjI3-T1FwQ1us73ncxBstKqv7-O*h%Fe5br`5VXRd!abcv`J`l{&>LyiqjZ zHHqa-j9T>N727o4=351UP){H1QR*4xdHS&03A<>O|8=$EgZaGjzp7T8xOuZ*ZMvT( zUio8c<$|d9s!MpHZ+n%h@vVS>MA86se$6FS<%ed;+mKC{lse(vS`Bp%Eqp<(xI}&Z|+pJcsOe!V~?JK&4So z3X_Jy>uNs*sDT31LIKspA!?%#HF6ZSa(G_NPxFKTEejR$?oupsJu>UT9W+?-tlJ5Fmd1tpo9EIqXvR;{FaGY%BB|M!W;78Ib-zD5IzG zr1D<%zft@Ti=Q{3)IYC)JX&x0np6n|=rcz#B#H*a>KayFLIS4VgH*sL1=t{a)|ted z457+(30-_x19H@^#q(f~y7em6#6oL8+5&b6)yU4JVRciiQEWs)9Yw{+#TVIF6kYyl z^6;`^xq9lT@||WZp5N-hTpk5kKSS%bHP_V2gKA4aZM&v69aOsm>h5c5*FjZwhw=wi z)wSg_>{R|%M~3ZO!=8XTa7_hJgYV&h@`qIQHMQ=VDu=lqP&==w%?H)KfV$_JYN9Ns zk;S*-;9F-pNtxd9HknRPrn0xml&4G>?_2gM7f|o;Rh(CAu(rLXR)NI>>aJ_5{-C;t z#l&vv_zY#LJV@wSKGQU1s&Z!9#WfuasNglVhiaM%D6enzLCiXT;}NwLq=Egco@bAN zXN1=CWiKoLIklomL1Vyjzpi{;>K-C$Kunx2Su9)@V2(>-al!UxfH@lMje1w~WAqP$ z&E5wYi^^U=WusKty;4~d1zlpbUKU_Z?Ij@0Udh5n=z`RVDKG{<2_{c>iSqppiH;8{ z)upPNNEma@%Pcj$SVABh<^;)51XP)KRFNw5p5+yjw_Rk>f~uOJI#wYG^Oon3UIEXV z9BUrL!{6JhRTWHa5y!|$%S0I0GC8XxdQ_KqkPPGvUYHpkfAvXq8<0u*Mm>f{M(!o; zuz5gLKCd>9;&+s7cfvb$?mT`-=F=1+2Mn$0N^bDjN&;#R#rn9Dko6=UO8V&sx`kG6 zCBDrfY>s9iu&ZcreYE>N(0{giakPbnGq4k!D*R9?{7@?VP%8XTNjz`Q08Q~cB@-qzCdf$!o{=^?uwOts=6No2*6DPr(tEETGg-CBf6HNlDZkuO@-7g zaE{a$Qnw@8pi@=9zu$kA{y}>~`oMj7tN;7wXpOwddrys8aanEZFZyld`=Z}<(1qUC zYPFGJszL4W_p5q{`tu}g){LnYZ~^(>MM0JSFwIpMuWO$8b+rLV@qSv2P&kk%Ch8Ia zr*$u#Ms^Wo3C#%P+$jNDx?M6|Wu=EKZ0C3nuV*Gf-u0CCoPg~%Sp2wSVla=1zVjwDt%M1^QtaqCJ#El(g&9h7{dF`Dz$SI(iZFm zX;}_w<{hX3asA$%u-RzL(ouB` zcW}jQT2OU#w*bXgr8d8c+MZXHH&pLqu*Na^oa#KNy5;VkgRngrw%Px^pE_eWsye0g zekgKN&tI5&-X?iY`w8dGw6RCk9_4aOpjzb-9b z)Ga?)gwgU3pc1(IU>CsMjh5Ces2%534g5$S@ZMgnHo+W#pA5FgZC6zTe&I8_>fNz+ z*)-YO@J)Gd_n3j!_`raF~%ko zx{6`mYlgXz*>1xC>y|EV6WU(07rS1ut3gA@I3%FCZWf#e7%d)J!Fj*HO4*BHvTDDf z`+vf_-R}QpUpe}qS+M3YwebSstFjs7d%=mbT43MQ@GwLk8i3lwdVI6D*(MPduke~< z6@@yeQ%%x+|JMw@HvBAY&5+1L8Y}uP+3?T=TmUB4n*Kx{Q&Es@BNnsh&6-O*an>B- zpsia~VlB4WyM49EzA4HnTNl)kKLW-NLaA&)B6ak<$WGt4=50~od(v~`RhUP&eO)R4 zW9lv}$@g@rj+_d0skJ~YdGu?}sr9^Zuu5#VO@3YYqc!PXxGnC4W$oP=6o986}g}XbT9Y&b#Dle1&xT0TGe#&%{_{zJW z;8j@HO=aBe+yN(Oap4y1*}-uNv%JncRlaDBTqs+7cQ4Q$VkN*(xU1n#KSX|y7168kZm3JD{5gyfc)refuI?6RhFU)X zn$|;)K&%X?O=Ak44%%YCP*-09*W9E+mG6dc2p%!0%=^I>^=O5&Z{X~-W_+9M-UC&t z;t5qbX6mUKP!%K0sSs=Hr~>TgU@Ax}fdLwS6+9AZ3p8QXAr9)hRn-V)5O#pDQ-~q^ z7q041ZH4!oJ?&dD=6e4c9@GkdR^1M2qQm9zHQWw_>D$^5VhHtc1EF7=2Gm+`^_G`m zW7LB|1+?V~pqC3!xDqKNwq>x@DjAmmp=|AdYCu8CX=+49EDYAZ?krp90!i6Bscdn> zFyOE+yv4soxBAn@buWt>f4eGB1Wi`@TMRwG89y=U?tg32m7l``s&O?uK3EjLVS*OK z?tsLE@jeVRbNE02?&?1+{vMTH*WXBiNJmbzpD9_et8)1R+=Wzoa%j zp(*~n+H_&b+x`NyaJ%LsFkoRjVX^dYWY|$+PPMgLZ5*NPA7V;)MmB#+CJ!0qi)O`o9utcpEEe0`UZ-ou7)26d`vJf5D=_K!FUFEepIg3S5xy7g9ALxS;hQ7FGQS zO1e~jo_9pHAle}^#SrYfXt6j@Kz{=kYTX{p<|1m z0&4$17~tqz4)ASw$4RJn0+}EbIW)kuZ3w`$_fi1Wa%$kNt*DTf@%htB# z4L$4LmhqhmXhgi(!gJuVWgB>#IYxRVTEyHCrEGzd)V8@DEM4PIG4lUM!zpImpL#e;_K`NjAhYy({HI1xAWEvU zh#MLm+yI`sWEAq|_lP_fGfdlSMars4RV>c|<@;bt-~dxMTel^?Z~jccxC^R%zm7v? zSYqEzQ&xM0!L?*QZI)gKZ zeC#kYF>6r;Et%A@Ok4Pd21DK9w3W$E<>#`)Eu23c=?N!OR%T>;B0Dv0 z4b7a&Oy*8yMzcAb`NP{7sm@eqI2z@j^s@noBObVuXS-kxx8LVBms z5o`}<+IwT%Bsz;e_1bMxER=}`V;z}PZvu!*JI5XkrIS%>Y;a;EJvKh{&=gK0TA2); zk=&n=?j<69;b^))5zZtCLv79btl-?(_=u$1cn|irMdIzjRJuK$JQhs0Ih*NDfNH@| z*wTk1IrUg1))qgO>5R0sg=5bAy|M0C{Fopxo$k-Xf<0lzAtB6e6SYRe?M%9`H8DN( zPw@k2+%^5AuOfA0O3p|))`Jl1WCbU zGT6^V$i(8Yutiim3aSrIjZS2XN091{Br@q>s=GCq)E(#vCOYHEurwCFuQzfu6N&~? zsl|hc#M0qpEJ*wkjPB)X-6-GPVhs%)rvX}1*^{k!QKJJ5$&TI#Hw(^=U<|25I237* zguu5GgQK7)jZSz)fa%1w4o*~7I&!$-r>-I!ycPBar42)nw=S@*ko z7f$ykW7f><^zrm`4$L(@GNM__CS)*?h(D_=V6fvmpu&=}l+wp+fusOZtVGtoqAq=UMKz)Fk_&Sg^)$ZW8Qg*hv; z6}}$$I3IQ{!}{L!*P)U z04(l(B7O{Pn8CnK&W`7@8642&A}JBJ5kX`$5?ex2MN^%T_O#8t*;6xvQ^Og0SeaSL z7O_H3@CNlQJ+Q3UYio@LdlJx1K{uj$pai*eO9r|zWwcOBCefP8VA_Vd6LFB`4+p zTHr8eu*#Jw7EE@uI!73a_awmDNsDzuEI)ZXJL}9L_JTcQll)MD&gAIZ-o1NW)C&cp zq24IZHDbmVm=Udz?~F@Gk2thsKN32_ZN1?64u(SlC&LMtG{)M|#?tuY;OO|&;OuED zIyjfJbHPN4F>1`&IlN^yKQ%W#I+Y!+M?Zy!ggu1y(5fgsdm4mM~ z>_l!*%%`6FG8j+H?uwpQM|-2)LDBxsUJwOg?LufmppvqMKpvTx9u%>h3io7U_z^Ko z{MVc6Os4JH?S901fq_srGlQTc4SS)7Gg7f2@l60ltuplvgBfx49pXWDv&ZWK*LI$-=s z-O$9gkwBW5IlxvBLKTsGA(FvtSTz;(L@3rr!UE4@O=hQZqS-*Pf>J9cE{mlka~t)A zErES|$Pn1KhdUe7)>S+S4HA#FGq8`T-52V$)r@1}lJs;56au+40)bpgfk1nlWFn9l z#x~gr)t?{sG$4i{U4t{hVD3lSmBn4hw={Yb%U=M{ijG1UrJT!W{5cUfjp9Hh_+Gq9YR$ zO6#Q&=`^!;=Q`MGZl9i=giLbO8SYzTucE^c=8?GcN_RIMkJA{q@Zv>2G{#0A?$GFkB@>34;OdGI>7+BL4{rl>Niemisfm^A+~A39 z<~WvfWNQSmGM(k0Rx30;mBZ7+LVevz5XKg{WI8(A5)o@=a3Y(-;uQsxR1lUX*2hE> z2N$7Hn1(@EVl=3hOmD*IJg7zXq1mJCYfbH4tlw2%s2Dh_VAi;*Oaw9GoYlF+t4jsD)bDO*S(lb_ zsa%)3b*WmHnmu66W=DqD#VOuI7!+=LIvaOsA6cB)eBqLDu0gjus}h^ZF5Br$jX0xS z&Zujh;UYtd2#XIW7LcG+XjRF|bL8r04_;LJ=W zFxF8aK~j;40}Cf;!PU5o{|Ic$nicLCx9>Je;@&aMkXa1$nep7v7^gXOMkttok1%Yt z%Jec1@>^}QgD2T79fg&#sLFy$6R86Mna(78MM4JKjz&`CjgQ3IU35Wjnn*O#%qIW7 zEt|A+bSbfs5iySGmW2Hg?@eH#>z?o8pfzhz_;(idShv~>9mtJhqhWS9x6wrpmu9K-rW;S z>V*tElF@|I*w@2bkYxxm!ZWM`-WYUM9e*n@S!OcLB4gPwqvk9uzN7FyE$T`XWHp4*{=5lV6r29K#^SA!`npq8Gmmosjm>-NdotMTKcelEv^d4$>mr7JSuk zEvC9@KZUwQTbi&UMZ6J!e2=EMrX9vG{E+rT>d8c8=!jzbbZWGIcsfrCM8CQx0z!`u zPGEiLRwIdo%do@-UJI`$W~V16vcs`>x`0vRbGH#neS?FYNJSHyqS1H^)74&*d`5C&qL1`EduL*(AU=t1z&U;$pSAXWo8pnEBFh_GESt`_n>X-F(rO z7=n zCk-4KjIV_qEtHM+)(pl#Tsl_(X|0FH9H`xpdvFO}X~Wjum#`_I9fQv1+TFgH_GTBA z+nZb5MO;gW_GS@twz=8f41XxPO;Vp_tYd`j&8}rcd$VgH(cXN(O7i+nGiB!FAojnR zL0EvKI>m_~vn3qs%tV^^iw&p^jqY&KZr(B3T6Oe7+$GdYR$yjdua~!64Zi6F1WYYC z;t_8pV@Gri*^t;XbJ4E7#ic3Ru|Mi)wY|lS%oaB?TZD)*G;o0&At{o8LyTM6xDZu_ z7fof@pmemf*vH)lYe)N~9i9oBL8yEyW>}A&VT%+VOvW0C6o*0dcKT0da8{ATAaIWbw{na8aLK3sjVHtx*AKTU5%mQbiuu zVl|AZqTMBsi9M;sdyeqW_okeZO-undVpF!{Tf)TFr;-X%!FZ!s#}U1Y_XPTk4m0bt zu<_AqKrng?#zF?ilooC0lSNWAK|{&@gv6ns+9G;uCWC!5*(q^qUD-PAi1pTon(wY} zZVI#nn(JGd$amb_RKII7m!HZW8qH2+XUB&S9h@B+JA^mk?b^4ee%EOIu93mH(^ErZ zv(r=4`MF*BDLP59D@UuMIZMtN!Kt5&u!q%1R9=B#Mx=u*TpK5+a*accy;z&gHI7YB zW*gh4hw`+KGS?_Cu4|l|9a==_w#d;4cHYVC=k>;1E3AKPYIDX#)5jd~g3#7Z;DSUm zCJ}5_Hml~i3g^_X>z;*eTPuPuvoa0@FjH$ z=h*m*Q%>|z1Plr8gOW0L73sHX<5oA-f%ESW5QXl zI8-#_%c(qGX%K3#|A|x4^PEXIsiqJlQNBy45A9wbJeSyg^Rmp=TOQkRE@=Rf| zo(#8RN5JL40v_!Xi!Sj}*akJWPbdz})FFNq!Vba3bIuL(`rl>aU?-QSgsu75{UDBM zs2W}$k}ZtaK9X7&PLoA@@xG|R3j9kw5!vd^oyg2(hpY~JXS;Zb#M_Y6Mdxuvtlii& zlmb7R~*BqywY?(k547IxS~esW5VR50JjDX$?Xq=<#I*|c|`C=?^~f_-{} zMPrWJ!jUJk1W4(M0l)&x7`e7IEt;=FERw}GIP_3{ zMvOMwHZr@D%-(bwO)sp#^oAwKIyVOO+)1~E-V=VI-Z$KFB}_zhkvn605Jn& z2ICr^f(Br6u=sOpLf%8rL@Vq#iGQV-Ukf`mjKj?I#4sICqyrID8XH3Q^@fYKfD1ew z4Tojb)efVuqem2+Ics26hEzxKc0R-yzUWIEP7bLG!aEOh74Z(A_i*G+@`+ulI^35? zX0S*txCodp%=t{)m@CX5^0YWAL(`9>ZSyf&li`kVpS?1r!q{P?B1sDp0!Mj71Mqnq+M-{ya>Aym%cl!x z_0g~u8HSb~&&ffZ;L#$d4WX;26=RhHD)&WbQj&qd-GNYrJl9Xoc6 zGlCDPW0@pQ6ND}DED%v4Wpd*)6XTjQ2sms?w$d_mOtJ?VV6ZUYxW91IH7c zu=Oz-Q7~Y9oD&*)C}lQrwdhK9n$y#=c!-8Of+4d#M<-Kg+Pn5TWM@_%M0Q!|jx-l% zIMQ5JyCZE6cU;@1tYVDc*D+8>8J9ipNOM{Cjx?8z??{vLAC9>qW+&mb_^?Yn7LD-% ztsws{UIEZ4GQE04(M}Mk;KP`t^ImkiOUyKAKzPR4EGiso>cP1r9QDVe419Fgf?vNK zK7?T_XdlN3MY}U;kP07!1z(+jQA!)}9lRvw{^C4*nEfaYBw}KR```lZu@Zy%iSa%O z`X#^~kZ}01NLyNbB`^dWr;fyPy+~fr27+N6htG09E-Q0_O>HAW9UV&YF>tX z@eVhXUK{SWW|oAnuqyDTbN7YUj9afQ2?x-;|G%h^&su5KF9|QVW~z!Z>RX?+%6fE3 z_^sAs^cg7E<)cO~xqyiJtV-*(-(Ct{Wj*8Tz`kimE^PVQPm|bpS5WTDB-7e8TjU9;QE6=MXB_T z`4a1&e_RCO+m-nBf{veY(Gg#IVE8L8_-z_qkIxVkUw0$ovDRCDjR$Ivt`Pn_)?&Im z2spL-fUBMpoPRNWKL+?x{a@hx>n!uFixR}?`d$1{f6RB2@tq33eqY1ubw3UKk2KtT zpxN~QtAJBK-5-&@sp0M~SpP2#Z#se-T;?;_D^MZT(-9Q-?@3^7)NuEgz32vD@Z*q+b;3e_a&-tsYU--1{NKvp9o=2&oCFW@oAG+{bi{;6~T>s*E zcaH0+UNlcXs^RW={X1OG+C}s6^MJcplSlC4GVlTPbE*8_Tqge;3}0ov)G3HLfH+-0 zMp$XBvmW@0#2=NwDuq6%0)6-CFW!7m>xb10*O`if&C9@>bUmL>NakC$-k>jNE!F>H z%fLqguRuRvw-s z{Wk!wEYb^xpFhWN%xf2(|BJ52{mJJqYPkE8jMo@mgm``XEx@-d23vU9;F5S=w+#GF zhJ)_-ZXaE(5?K2+{ARBJHry&mM}S{T=vkYqptv68U(5QT&cC8d00}+bThJfk z=hs~Fs#^Ecd>sWABwq~-*O8)NpU&_8lxb+0{Ar!v{mICzhR@ea<>o`2bIa88vpT=~ zi`u`e;qH&Q{yN~qhsJI+cF6AoPIB8VKmUaDgAZN!{3YP80`(lx{A^J1m)x$26~b>U z1Ak)~cD)|QVc&{;B7cL5J z0$yJfH@6;=tB_;vZ}+Xx@JBU%boJJHz8o9DwiD&;DqN=Iq)ursqxI+eO zCDYR`Q;v8h%jYF*5B6m7RuP_B<)KJRbQ+ltBI}bVeB^>Z6qdn3-eKcfqpIj7A+&jF z?(G+b&;T@IY&>K#L#GCbE%~UGqj$g{cDWp&$?W9N%G`8j3`dr6_{$U+Vrn@Wq6g^lF*FCv_PNW@=rLK-A9}Rhbcc>Z)AJ^U z^I_P@%{gi^#Ryr22ZnV8=4ciTf9AAZ4#$n$+xn)OqG#;+Wd^e2Of%Ag1i|yBXopTE z7wWoO_6M^kT@y;cR4>sKG%4-@F%=D6$Qhc*;_+F`ley`k0|zp5^sTo7zN7)#4K|&W z!><&hjTimW1wCZmJj-O#J=p2dbJcy+j3{pRpL$~I<=wOFsqw`acD(k2vI~GlHi?%b zOb;!p&+P2biAz&Ia0f)tIdn&MFcOZlV>^dLgMFkIndzxwN6wl2Vi;l8#oC0~R5n+b zfFXY7HIq3$H>aC%J|uv8=Nt`XGWcNPP-bW@&%(=^n_5CDXp94$d^*yMlH@)Cx&;84{K1cHG)GqqZX%)4bF{Of#K6rs82$Sic`#H zM{y*BwAt*$AQjMeGZQ&0z@!S`HZY3k00Mm2H^BG`%uch24`j!*avvK;B_<|CMax@U z!rY^U!O8I<^kq6nHKTL%tVRH=X9dg&%D`~;czzT`@KPWcB|17jH8O4P2ag}0&7LqZ zde+R`6Z!tHFY*+V&8L^O_CAH#uW);ejeTeuz8yC(!R+#8Kf{DuO-3DJdFHstj4v*4 z_B~8k@5oKQM(5Rr=)e5<$J3_&W`D$l=KIB1e(+`1K{{%YI}P4NyZ_`Tq05A0x}|^)UWuh^9WX&tt-uDHAT!zA10U{}|G!d@E(bW%h$i_<+VIm4}zr zZr_yuFkple>K|Wb0j@(TQ+#Q1*q{&LuDE=?E@#4o8JI5Ns^0pjtGwBVGNBo-Y0$(? z_>`->@pqWeGjB>tXxcZ>-*ASB`%Zpv?W!Od_?cnfaKeR0;ZFGt?b0#Y} y&g*@F+mLuK{tVw3`AhP}HAJZ c[0]; +measure q[1] -> c[1]; +reset q[0]; +reset q[1]; +barrier q; + +//Two players are also provided +// an entangled qubit. +h q[0]; +cx q[0], q[1]; +barrier q; + +//Player X strategy +if(c==1) ry(pi/2) q[0]; +if(c==3) ry(pi/2) q[0]; +barrier q; + +//Player Y strategy +if(c==0) ry(pi/4) q[1]; +if(c==1) ry(pi/4) q[1]; +if(c==2) ry(-pi/4) q[1]; +if(c==3) ry(-pi/4) q[1]; +barrier q; + +//Transfer to host +measure q[0] -> c[2]; +measure q[1] -> c[3]; +barrier q; + +//a xor b +cx q[0], q[1]; +measure q[1] -> c[3]; +barrier q; + +//Load x and y +reset q[0]; +if(c==1) x q[0]; +if(c==3) x q[0]; +if(c==5) x q[0]; +if(c==7) x q[0]; +if(c==9) x q[0]; +if(c==11) x q[0]; +if(c==13) x q[0]; +if(c==15) x q[0]; +reset q[1]; +if(c==2) x q[1]; +if(c==3) x q[1]; +if(c==6) x q[1]; +if(c==7) x q[1]; +if(c==10) x q[1]; +if(c==11) x q[1]; +if(c==14) x q[1]; +if(c==15) x q[1]; +barrier q; + +//x and y +ccx q[0], q[1], q[2]; +measure q[2] -> c[2]; +barrier q; + +//Load (a xor b) and (x and y) +reset q[0]; +if(c==4) x q[0]; +if(c==5) x q[0]; +if(c==6) x q[0]; +if(c==7) x q[0]; +if(c==12) x q[0]; +if(c==13) x q[0]; +if(c==14) x q[0]; +if(c==15) x q[0]; +reset q[1]; +if(c==8) x q[1]; +if(c==9) x q[1]; +if(c==10) x q[1]; +if(c==11) x q[1]; +if(c==12) x q[1]; +if(c==13) x q[1]; +if(c==14) x q[1]; +if(c==15) x q[1]; +barrier q; + +//(a xor b) = (x and y) +cx q[0], q[1]; +x q[1]; +barrier q; + +//Store final results +measure q[1] -> c[0]; +measure q[1] -> c[1]; +measure q[1] -> c[2]; +measure q[1] -> c[3]; + +//Print results, 1111 is win, 0000 is loss +print c; +reset; + +//Classic Strategy + +//Host generates random bits +// for the two players. +h q[0]; +h q[1]; +measure q[0] -> c[0]; +measure q[1] -> c[1]; +barrier q; + +//Player X strategy +x q[0]; + +//Player Y strategy + +//Transfer to host +measure q[0] -> c[2]; +measure q[1] -> c[3]; +barrier q; + +//a xor b +cx q[0], q[1]; +measure q[1] -> c[3]; +barrier q; + +//Load x and y +reset q[0]; +if(c==1) x q[0]; +if(c==3) x q[0]; +if(c==5) x q[0]; +if(c==7) x q[0]; +if(c==9) x q[0]; +if(c==11) x q[0]; +if(c==13) x q[0]; +if(c==15) x q[0]; +reset q[1]; +if(c==2) x q[1]; +if(c==3) x q[1]; +if(c==6) x q[1]; +if(c==7) x q[1]; +if(c==10) x q[1]; +if(c==11) x q[1]; +if(c==14) x q[1]; +if(c==15) x q[1]; +barrier q; + +//x and y +ccx q[0], q[1], q[2]; +measure q[2] -> c[2]; +barrier q; + +//Load (a xor b) and (x and y) +reset q[0]; +if(c==4) x q[0]; +if(c==5) x q[0]; +if(c==6) x q[0]; +if(c==7) x q[0]; +if(c==12) x q[0]; +if(c==13) x q[0]; +if(c==14) x q[0]; +if(c==15) x q[0]; +reset q[1]; +if(c==8) x q[1]; +if(c==9) x q[1]; +if(c==10) x q[1]; +if(c==11) x q[1]; +if(c==12) x q[1]; +if(c==13) x q[1]; +if(c==14) x q[1]; +if(c==15) x q[1]; +barrier q; + +//(a xor b) = (x and y) +cx q[0], q[1]; +x q[1]; +barrier q; + +//Store final results +measure q[1] -> c[0]; +measure q[1] -> c[1]; +measure q[1] -> c[2]; +measure q[1] -> c[3]; + +//Print results, 1111 is win, 0000 is loss +print c; diff --git a/examples/belltest.sh b/examples/belltest.sh index 788d048..a507e0a 100644 --- a/examples/belltest.sh +++ b/examples/belltest.sh @@ -1,93 +1,5 @@ #!/bin/bash -function classic { -../bin/QAnsel << HERE -qreg q[2]; -creg c[2]; - -h q[0]; -h q[1]; -measure q[0] -> c[0]; -measure q[1] -> c[1]; -x q[0]; -if(c[1]==1) x q[1]; -print c; - -//Player X rules -if(c[0]==1) x q[0]; - -//Player Y rules -x q[1]; - -//Results -measure q[0] -> c[0]; -measure q[1] -> c[1]; -print c; - -HERE -} - -function quantum { -../bin/QAnsel << HERE -qreg q[2]; -creg c[2]; - -h q[0]; -h q[1]; -measure q[0] -> c[0]; -measure q[1] -> c[1]; -print c; -reset q[0]; -reset q[1]; - -h q[0]; -cx q[0], q[1]; - -//Player X rules -if(c[0]==1) ry(pi/2) q[0]; - -//Player Y rules -if(c[1]==0) ry(pi/4) q[1]; -if(c[1]==1) ry(-pi/4) q[1]; - -measure q[0] -> c[0]; -measure q[1] -> c[1]; -print c; - -HERE -} - -function test -{ - if [ "$1" == "00 00" ] - then - echo 1 - elif [ "$1" == "00 11" ] - then - echo 1 - elif [ "$1" == "01 00" ] - then - echo 1 - elif [ "$1" == "01 11" ] - then - echo 1 - elif [ "$1" == "10 00" ] - then - echo 1 - elif [ "$1" == "10 11" ] - then - echo 1 - elif [ "$1" == "11 10" ] - then - echo 1 - elif [ "$1" == "11 01" ] - then - echo 1 - else - echo 0 - fi -} - trials=1000 cwins=0 qwins=0 @@ -96,13 +8,17 @@ do clear echo "$(( (100 * i) / trials ))%" - trial=$(classic | xargs) - results=$(test "$trial") - cwins=$((cwins+results)) - - trial=$(quantum | xargs) - results=$(test "$trial") - qwins=$((qwins+results)) + results="$(../bin/QAnsel < belltest.qsm | xargs)" + resultsQ="$(echo "$results" | sed 's/ .*//')" + resultsC="$(echo "$results" | sed 's/.* //')" + if [ "$resultsQ" == "1111" ] + then + qwins=$((qwins+1)) + fi + if [ "$resultsC" == "1111" ] + then + cwins=$((cwins+1)) + fi done clear diff --git a/examples/big.qsm b/examples/big.qsm index 583730e..73b7c35 100644 --- a/examples/big.qsm +++ b/examples/big.qsm @@ -1,52 +1,32 @@ qreg q[2]; -creg c[2]; - -h q[0]; -cx q[0], q[1]; - -//00 -h q[0]; -cx q[0], q[1]; - -ry(pi/4) q[1]; -rz(pi) q[1]; - -sample; -reset; - -//01 -h q[0]; -cx q[0], q[1]; - -ry(pi/2) q[0]; -rz(pi) q[0]; - -ry(pi/4) q[1]; -rz(pi) q[1]; - -sample; -reset; //10 -h q[0]; -cx q[0], q[1]; +x q[0]; -ry(-pi/4) q[1]; -rz(pi) q[1]; +print q[0]; +print q[1]; -sample; -reset; - -//11 -h q[0]; +//beam splitter cx q[0], q[1]; - -ry(pi/2) q[0]; -rz(pi) q[0]; - -ry(-pi/4) q[1]; -rz(pi) q[1]; - -sample; -reset; - +ry(pi/4) q[0]; +cx q[1], q[0]; +ry(-pi/4) q[0]; +cx q[1], q[0]; +cx q[0], q[1]; +swap q[0], q[1]; + +print q; +//print q[0]; +//print q[1]; +// +////beam splitter +//cx q[0], q[1]; +//ry(pi/4) q[0]; +//cx q[1], q[0]; +//ry(-pi/4) q[0]; +//cx q[1], q[0]; +//cx q[0], q[1]; +//swap q[0], q[1]; + +print q[0]; +print q[1]; \ No newline at end of file diff --git a/examples/bombtester.qsm b/examples/bombtester.qsm new file mode 100644 index 0000000..fb71f5c --- /dev/null +++ b/examples/bombtester.qsm @@ -0,0 +1,33 @@ +qreg q[2]; +creg c[3]; + +//Get random bomb +h q[0]; +measure q[0] -> c[0]; +if(c==1) x q[0]; + +//10 +x q[1]; + +//beam splitter +cx q[0], q[1]; +ry(pi/4) q[0]; +cx q[1], q[0]; +ry(-pi/4) q[0]; +cx q[0], q[1]; + +//If bomb, measure and store +if(c==1) measure q[0] -> c[2]; + +//beam splitter +cx q[0], q[1]; +ry(pi/4) q[0]; +cx q[1], q[0]; +ry(-pi/4) q[0]; +cx q[0], q[1]; + +//Final measurement +measure q[0] -> c[0]; +measure q[1] -> c[1]; + +print c; \ No newline at end of file diff --git a/examples/decoherence.qsm b/examples/decoherence.qsm new file mode 100644 index 0000000..510fc71 --- /dev/null +++ b/examples/decoherence.qsm @@ -0,0 +1,4 @@ +qreg q[1]; +h q[0]; +rz($(rand)) q[0]; +density q[0]; \ No newline at end of file diff --git a/examples/decoherence.sh b/examples/decoherence.sh new file mode 100644 index 0000000..66f3d74 --- /dev/null +++ b/examples/decoherence.sh @@ -0,0 +1,46 @@ +function rand +{ + RAND_NUM_HEX=$(openssl rand 4 | od -A n -t x1) + RAND_NUM_DEC=$(( 16#${RAND_NUM_HEX// /} )) + MAX_4BYTE_VAL=4294967295 + echo "scale=10; 8*a(1)*$RAND_NUM_DEC/$MAX_4BYTE_VAL" | bc -l +} + +function kick +{ + ../bin/QAnsel << HERE + qreg q[1]; + h q[0]; + u($(rand),$(rand),$(rand)) q[0]; + density q[0]; +HERE +} + + +tota="0" +totb="0" +totc="0" +totd="0" + +for i in {1..1000} +do + sample=$(kick | xargs) + a=$(echo $sample | sed 's/,.*//' | sed 's/.* //' | sed 's/i/j/') + b=$(echo $sample | sed 's/\] \[.*//' | sed 's/.*, //' | sed 's/i/j/') + c=$(echo $sample | sed 's/.*\] \[ //' | sed 's/,.*//' | sed 's/i/j/') + d=$(echo $sample | sed 's/.*, //' | sed 's/ .*//' | sed 's/i/j/') + + tota=$(python -c "print(($tota) + ($a))" | sed 's/[()]//g') + totb=$(python -c "print(($totb) + ($b))" | sed 's/[()]//g') + totc=$(python -c "print(($totc) + ($c))" | sed 's/[()]//g') + totd=$(python -c "print(($totd) + ($d))" | sed 's/[()]//g') + + outa=$(python -c "print(($tota) / ($i))" | sed 's/[()]//g' | sed 's/j/i/') + outb=$(python -c "print(($totb) / ($i))" | sed 's/[()]//g' | sed 's/j/i/') + outc=$(python -c "print(($totc) / ($i))" | sed 's/[()]//g' | sed 's/j/i/') + outd=$(python -c "print(($totd) / ($i))" | sed 's/[()]//g' | sed 's/j/i/') + + echo "[ $outa, $outb ]" + echo "[ $outc, $outd ]" + echo '---------' +done \ No newline at end of file diff --git a/src/QAnsel.c b/src/QAnsel.c index 30337ca..dd55b81 100644 --- a/src/QAnsel.c +++ b/src/QAnsel.c @@ -285,6 +285,7 @@ void qansel_run(uint8_t qubitCount, uint8_t bitCount, QInstr* instr, uint32_t in for (uint8_t i = 0; i < bitCount; i++) bitVector[i] = 0; for (uint32_t i = 0; i < instrLen; i++) { + printf(">%s<\n", instr[i].n); if (strcmp(instr[i].n, "measure") == 0) { bitVector[instr[i].q1] = qansel_measure(&stateVector, qubitCount, instr[i].q0); @@ -330,7 +331,12 @@ void qansel_run(uint8_t qubitCount, uint8_t bitCount, QInstr* instr, uint32_t in } putchar('\n'); } - else if (strcmp(instr[i].n, "printq") == 0) + else if (strcmp(instr[i].n, "printc") == 0) + { + putchar('0' + bitVector[instr[i].q0]); + putchar('\n'); + } + else if (strcmp(instr[i].n, "printq") == 0 || strcmp(instr[i].n, "density") == 0) { cpx_mtx_t tmp; cpx_mtx_init(&tmp, 1, 2); @@ -370,7 +376,34 @@ void qansel_run(uint8_t qubitCount, uint8_t bitCount, QInstr* instr, uint32_t in n.imaginary *= multiplier; cpx_mtx_set(&tmp, 0, 0, &n); - printf("[ "); cpx_mtx_print(&tmp); printf(" ]\n"); + if (strcmp(instr[i].n, "density") == 0) + { + cpx_t a, b, c, d, x, y, z, w; + cpx_mtx_get(&tmp, 0, 0, &a); + cpx_mtx_get(&tmp, 0, 1, &b); + cpx_mtx_get(&tmp, 0, 0, &c); + cpx_mtx_get(&tmp, 0, 1, &d); + c.imaginary *= -1; + d.imaginary *= -1; + cpx_mul(&x, &a, &c); + cpx_mul(&y, &a, &d); + cpx_mul(&z, &b, &c); + cpx_mul(&w, &b, &d); + char* sx = cpx_str(&x); + char* sy = cpx_str(&y); + char* sz = cpx_str(&z); + char* sw = cpx_str(&w); + printf("[ %s, %s ]\n", sx, sy); + printf("[ %s, %s ]\n", sz, sw); + free(sx); + free(sy); + free(sz); + free(sw); + } + else + { + printf("[ "); cpx_mtx_print(&tmp); printf(" ]\n"); + } cpx_mtx_free(&tmp); } else if (strcmp(instr[i].n, "sample_all") == 0) @@ -516,6 +549,7 @@ void main(int argc, char** argv) text[textLen++] = 0; if (strlen(text) > 0) { + printf(">%s<\n", text); free(text); fprintf(stderr, "QAnsel: Invalid trailing text"); exit(1); @@ -665,7 +699,7 @@ void main(int argc, char** argv) { angle = -M_PI; } - else if (sscanf(lines[i], "r%c(%f) q[%i]", &ty, &a0, &q0) == 2) + else if (sscanf(lines[i], "r%c(%f) q[%i]", &ty, &a0, &q0) == 3) { angle = a0; } @@ -712,6 +746,25 @@ void main(int argc, char** argv) } instrLen++; } + else if (sscanf(lines[i], "density q[%i]", &q0) == 1) + { + g = lines[i][0]; + if (qubitCount == 0xFF) + { + fprintf(stderr, "QAnsel: Instruction before initialization"); + errFound = 1; + break; + } + if (q0 < 0 || q0 >= qubitCount) + { + fprintf(stderr, "QAnsel: Invalid index"); + errFound = 1; + break; + } + instr = realloc(instr, (instrLen + 1) * sizeof(QInstr)); + strcpy(instr[instrLen].n, "density"); + instr[instrLen++].q0 = (uint8_t)q0; + } else if ( sscanf(lines[i], "h q[%i]", &q0) == 1 @@ -748,7 +801,7 @@ void main(int argc, char** argv) errFound = 1; break; } - if (q0 > qubitCount || q1 > qubitCount | q0 < 0 || q1 < 0 || q0 == q1) + if (q0 >= qubitCount || q1 >= qubitCount | q0 < 0 || q1 < 0 || q0 == q1) { fprintf(stderr, "QAnsel: Invalid index"); errFound = 1; @@ -767,7 +820,7 @@ void main(int argc, char** argv) errFound = 1; break; } - if (q0 > qubitCount || q1 > qubitCount | q0 < 0 || q1 < 0 || q0 == q1) + if (q0 >= qubitCount || q1 >= qubitCount | q0 < 0 || q1 < 0 || q0 == q1) { fprintf(stderr, "QAnsel: Invalid index"); errFound = 1; @@ -894,7 +947,7 @@ void main(int argc, char** argv) instr[instrLen].q0 = q0; instr[instrLen++].q1 = q1; } - else if (strcmp(lines[i], "display") == 0) + /*else if (strcmp(lines[i], "display") == 0) { if (doDisplay) { @@ -903,7 +956,7 @@ void main(int argc, char** argv) break; } doDisplay = 1; - } + }*/ else if (strcmp(lines[i], "print q") == 0) { if (qubitCount == 0xFF) @@ -962,7 +1015,7 @@ void main(int argc, char** argv) } instr = realloc(instr, (instrLen + 1) * sizeof(QInstr)); strcpy(instr[instrLen].n, "printc"); - instr[instrLen++].q0 = q0; + instr[instrLen++].q0 = q0; } else if (strcmp(lines[i], "sample") == 0) { @@ -1099,7 +1152,7 @@ void main(int argc, char** argv) HIDDEN_VARIABLE = atof(argv[2]); } } - else if (argv == 4) + else if (argc == 4) { if (strcmp(argv[1], "-d") == 0) { -- 2.39.5