From 0f1ee15f31a2b55dfe10115b663395c5019806c7 Mon Sep 17 00:00:00 2001 From: Yan Date: Tue, 3 Sep 2024 13:55:49 -0700 Subject: [PATCH] update solves --- solves/solves.py | Bin 10921 -> 11329 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/solves/solves.py b/solves/solves.py index 8e02e09e3caea76d9a4c9ab2e617fca66bb0403d..75b07aa5948a20a60f86517e5d940e8dbb71d2ff 100644 GIT binary patch literal 11329 zcmV-HEWXnKM@dveQdv+`09Cv06z&%5weo8pC?aerB)j#^FJ#<2tcO$Ai$cUCrqvjd zx{H;kvOUT1GM}K02c!0jb>HmA7p;lDyAx3@8AluzUMt0~ zan0z8&het+NJ=w!GZMc`az3**i%R$l(f~8ix|3MknP95@AM%01)#GaO|d5# z@`k5Q(bfKa-fsip8hJBOO{%*8-FSV6MZdJZeH3KvBG#$$4T*JD_#4w@YC<0&TV(#2 zlcBKUF|nGp2_nWiLHHU9uN^QxQiiCb@Vz$y+`hZLJ}$;ReY0jCe%kw9Pvl$hXVq4h zpZTeAJ8#Idmb7Nmva~w{XlTEx!tXC^t|7`GDm!XnPg7ZOZL|_VB_}8F&CXi`@2sR2 z_ZFXmc$g}WWCatOSAy~VaIfb~4UEn~4nLG`=j1t0n7gwe1ia+0KxDlSV4=3Ppq)Z4aUO3}hYD!=CV1#xF+jmX+ z>;M)C)`nWah9`uFU5$1if!M_Hr!`^GVAU=I$D5S`lnk7om{j&tP~D|J@{?^afXG>8 zfX-Qv%yU*GmuqX-&8WA~b||H5nqW{uV}2?>j$LI^*!vUYH8z5h;|71oY4bD4_fI6v z1W5@jTqZM+3c`YN9hI&VbaSY!iEF~zWruJ2Re3Jx?x@n!;`#>c;vB;PZxHBbNNspB zy)q3a1huQ|8!4rv%t6=*QExvi8*&!pz*|a*PFvrhcEX+QbbrYP)mLLdA?=h>OOYom zj7u0g7=};9&Cg=aL9NBva-8W%!6ZtemVnCgKyN&9XLu#Z~z( zG8)Vx(IZe-Zw>y|S(oFncvG@i-BIIVa^IDr(!zTdOMbH?qOhh~k1w#qS02beLprjT zX>rFC1D#z&&ZDRqR8xss&ND|l>B_PFBygyADME~yF^h3-iC7~qcr+IiqQ^FBm2yIm zIG+V{@=0}WvkCjl#&_r=m9*BypRDpVrsOxvP8!HlH{(0q%j%hf?`5CGZ&`j%z?5o z2ner9(Et9&%Wl4-5om$Wi1j{_-{JaeZ&kuH+gQ_Ov(+=sX#K_<|Bluk{U$oQKPv;M z)^l^GM>83H7IfV{Gd55tg7k+r@5V$;hJ$>N;c}9MNiyYBK77FN%h9ZhDR+0~7TbW5 zk`)ikxioW*DK`-JRwhN-+pv?Y53WV+&#CdY^38fpVn+|d{z4|2y{++@4>tVEM(5s@>OHq>BW9li0QB&X%l31tA#(4?KRD`nHc!Nz$)PX7ZqK-+Tqkpxeo zR&j=L@Vv(rX|PWG#qO3#W>d8K(~{deyuaC995afmenD4x7Vf>ubLjk}6Dv*0S4*Gw zO7Sb#aH&m{qU%d3#m~FisTHuABqrnULoKl4#97EMobm0kAuY1gB2FD#RRNpskJsqZ z&M6a2+v(7rPS#nb()q_)s}P&0;g?Ju$>1p1{S9RVJ<8t$N! z@GLqU0P`;~c}BynIo2MG)^PO$QldI)v4`rcdc(fu za<4jKWjWuo&lG*wU`zJm=qUEP05VYX^^fla^nnwp-LtJ+`CJ}7SpPB#S%x^;OqKEJ zd828w2ykNB%}+^_t`i;kCQ2so=q67y!1jiC_?MD+$%M1VY>q^2a8`H1X2jJC@|$ck z-l0$F#u_6l>)i)Kl}HL9JML(X%_=V{pVegL)uH)Eo5se=MbL2vjJL9JDD$DctK2FIR zvFo5y95H=3!x&luC$cB25l9h>h9MIA08(8bb^1(=${2SFDZ7GOvrJ5ijtP5ts-zq1 zfH&XJc^xMD=<|B0Ny3i&{L}^`6-6R|>Qd}5x^oGRLd>aGtnNiv6{nH1+ zLb3Ze&8(g>vsu54{IrJ6!ge8@%nbaW_MPQR&fD7*hD;yi`A)t!w8!+5P;mW8UNZZc zhutru41rZH&7NkJFca6u#f@%xPzUNP!};_9bcCGXdsmZ#(f`y_G2UKdGn6;6ot0!u zfWIz}&!q!2YZTp72|2wNA?W*zOX1hs6`wyXZCVqxjbAshXO3p`3vXRbvn;yk7yPC* zJ1+FvVkP|lde1#E%J9#EK#OE2zYcavzo7E)++u+e@o*35Y6GZZ02~^Vp~YbN!MyLc z8l1N}Xn5=8Kun3VWfD!|B)FyklCj6)bLUtb)}ZkR`Uy^uc03a=Mgu|cfCT3Z_?zU- zdczexajxzL^sc4B-wVy~n#kUe-)MREN^{%~_;boZrG^WjNsvEhIW$vbSxm%y`{c*= zt};TH!olFU(-p(n1G29#ba4g0ia|Mc*j&-h?JBR1D-m85D4*@jfBmq)D|Z6ht+`&4?1X;_jzs4JLQ%+=Xv6me zM<`f3fN<92xiYtHly`ynWih-v4vs^_|NirJovPjvwXEYQ-43_SAMHG30dq~dM;=#C zC#0l6MYuH_F~VVqpaX{SvO?shZd%s1^#k%1w^u13j1iG0!F{;^fCO#DYjazwE}WoN z-2-t;b-svS7*R&Mx0q1sVL0I<4kFEyFmB@yANU|JFE#gG*b0HUHyjD#*(iCJ&cMLg zmVxqo@ng}xZ!TEwoJbw`4#m?XUeoDcQSfK@bD)0uqXspEyz(yq@Yp^N#S-zsw0hj%-C80x6?#rP zwOycpG^MuMC!m-&W3?5b$CJd|`h0cJ86uNee1Dl^*7ogCH<5PfzLX8H-Y{B{a4cXA zblCul{EU(*#MMQySJfE-EURm8urIa?`uAHHk27}?@qu;&rMHsRCQ)dkRL}JXE}k)T zR^VNOvG+MyEJ;*9A#{MO&NKlMXsKto}S>Y=*yV>T*j%_GN2fw@e!RYRSa!9vDrqlp4B=!USsnVnQfl@sa z{Dhgk4#f9qcnh|{I_p+Fc_`VC>#b%ycWcwq&DgLJ}AUxsQV%2NkOwA=(ahfnX}to5X!pTh-_4}tu-8gP*p-^N1-gX4tKGSj@xMf8nn*tME7E7kaA zQxwTa6R|_6-B8*d4r8EgfJOM%T4uW`O6!ZQM|^Hx6Ihnan+;px8HJO&BQf4lY)|;f z^-N>^W@rG)R8|-iH-DvFMnIVWf+aIBEmo<(jVb2yIRA1Jy#&+LzrGq|uix;?Kvo#=tEillY0+4{5v9EWTs|PI5uW;?^|3a0xNELGg$DIxl<*5Fi0G z2aO1bbOJj8oo}A3@#*@>TrEzM$Z2Oerh#02zjmfGJlnh`~qm=4fEy zW7$||McQk=^{qT&K&DHqbTcqm+Ob~RW>Tb{LK8fXA0j?$IkcSFYOJRxQLy{ah2NAF zoL{6+nBDYmTHY1P^uEN6emBzSARC)n4^G-B9R%x%>XZW={GPe05!){S_KT1^{GtE! zj~z_1bLXxVk4m5o1a*Pd4rtiUEv*|jeTy@Kazf@aY-YC z;{OjVM=>YRgKnkhljw{kf(a>vMV&x(t>cG`0_U>A=xxhx`h#gKq-QHOgqr%`FyNOX zR!o#z-44#r0n%$8R9uL7uEo(EZkX=h8eJ_pT_{FA+6&~ZTQ_>lekBj0PAx<@l7a&1 zFe!Xr%r40xIrdiL%1oh1l_?4YZVO|_8IKd=k_H-T7ppeKRY>j}T}VmDnxRaP4N8Dx z_^rE_d1I{wX?mttBaRIKOVc)&u-Ee578Af2Wu4eOnVPd7&iq93KLnq)^&*rgoc%+e zB)r_h2Se8vL@5rFyd1wfL)n69QN|^{s-YyPQr-0c6y*-Qw~=M-$=oBKW}t5l64XhI zWj)57An;>X3S>-xYwI!m_vlkAV>GO*X4k}@2#WoGYj8?Yi_lb|97$m>0z>rEjja#S z#VoTY4N{v2IEWNVXSl(P94tehi|KU-`5$6T?EwgPu~dZEFc&#xN2floLfl|+`4PS} ze7gGRqfHWGLp!Q;2cyRIhrTdoUxo7GP(xV8jI?_lhp5S=U}SE#F3=S9QYwdGJYu7m zADjr(pUbM&1YvKmSfNmO8VyrT@Dm+CJtQz$WDntB+~A190>qE#nOOkanKZ|9XZhg5 z2a|xfmLnS1pJuTY(4WMnNlGY5v*)t4DPDPHM=-#w0mLyoke}6qyMx|Bf)+@!7*KLo zaE$~f#_+xS6s}N$clt59l|0k=kZYMTvg_xbZ>zsOp2{S5Vu;^vCl!X^%27|x@ADjT zz!us|i5M3*usgQURTAyGv}Zw4v!>eCr51FRDTYsBfn!TXUKrD} zCR0e9kmPZG1NA}I?|#COnr79rxPcuo9M&83t+0?nCppjW^$jam|Ad%NI)~C${(x-6 zcTwV{-TuR%jkRxMvW1D8pJe16o@Q-lgVEW&#>LZTzs;%~yfv|7`MqfR%U5yocL;-> zLzufd;aF*7V)f^;A8tzZyiiO3S63R*z95ma^#`cFGH$ClY~=I=2b$cbW#XN0*1tXz z8(SNub)SnLglgp(a1_L*JTJR6i@;rO{hM6vVs_~X#QEh24ukN?aYMi1ev&pI{FNR7XKhY zIfH>4z{|^V3yOpC?kbgK3QU8W92;g z#FjT!CRrFH_1q<}6pi%+nC?AcrYYN0U_j{JL;rveDZP`KOyR}8Mu+>CMTk~|EQg*d zi7T#*ScO5`#%?S&fun^Xp;ILT8xGfo0Mp>I;%lv|^85qi7gG7%1uuozue3jtEyG3P zUW!M(chJs+P4Ps1p~~wNQbmJynUVq|)%#aSJ3tAb$;6zr9kLm@SccC$p`AK$w7z~V z2MSjHo}F2K#0_R)|4umY0^+`+w+eloPagame`@P~Wv` zWZhN<>;%n2Z8(HL@cwkUssFi9)Z=M}#w5CO&A9;9lx)$6BKc{FD}q zl9z%0Pl}-VM+5HGn;$#YqM`2Ad->}Cl&YVvHlf(`L!|zI#Q@k;hEVXbV;Cg~6UOV2 zbN%u02RwYBJdBZrNVW@fFLbCsqcEXPE+fN=G^(X70kgwsY2b{%T%SnqIfPP^AonE9 z)WR)@^5xa*5~NbfLWJk8R}De%a;yn+#5Zsoyve;0cXUxD@IB_?qkr zCA3V%W%!du=QS*2ZCbadFp*J()~dxYbl~F%cZOypX9UO>Xqq9@`F4#&r-#&YeG}<7 zKJ%>`SS6S4ep&KOKwDV<6~Dwu&;5$*yhD7_5^W4P*5Rxo5fRn_VpO@vXYFVD$f2t} znu~rPoB`CMV6oHA{S^K;G{*G)gjQQBY(~FtA)S2U$ZO)--4nghTp-=7o0lbiosqzd z5%YUlUz`w($^6=4cM3(?`$O&Hwpo^cJ!i!=^@|I5ue=dVf@h*q@sQk+C?fx9&r)a? zO2N+BWg}`>E6lWg?(WvtyBpJsAVSefU_ zJ*75=`tC=c9+(z}WtksPNIKgyVJZ_S^ZXJUwi_W)vcw@R#r1OxSZ?N^ZR->8q03wk zucnq;Nio@%zp)nucxVBVyk*q{iNinnLlP8JztNAl$I=P;q=qKfzYXy8C}*U~Ww!!T z{+@11dZngwxTU0DDzGw5w)xltTa4ik_nmj8H3%2mB8U7T*o+;hXBt-lmShs!*1u&i zGOG*tncKT%4J$%YeXqO{7KYNy{dh|5PL?I28QYNX;; zd#vI+3=?b-)Rlv4SO1m*72|>i<%9Q^YXe)R-V260w_NNoJ<{8n6b}=rmZ_#l+Kl9z zEO_7H%20z8i>A7iYJDToKntAO0y5$VYUS)%Sbi?lL>Sm^#@?8_w;i0`tNzYzxdHh? zLNedBxpa2IL1;vi+`I!wI5iUzTSVtLuKf2QS6W{O2>ur%%dQI+k%Ifb3zP`Wv{6Wr z(h=1tNT{9(jm1K+TBtB(YjLHovodOMfru$2&lv{a`x{m4pyF5X`Gz+iq8n?9S94He z_VKk{kzR`njYXGYKlQCSw?9%R!YbhtHf2Fs@>*X&SIuEFJ_!-XEDg> z!YM+dQ>L5JVA=2^MA@~NE2*Y7pACm(Inc7BUw?qLFlJCd9WHsuU()saM&uJP(SM+5 zgPs!y@*a;SGC%?)n4m4z zPaXx$s~U)a@!hB_<<5C%V(k&d`W{73d(3W)S`qpTe^G%l^97=1@rZ&Vg1;;V`zAd@ zyHK2LRmRr=?_8cDvQwZ*p(|W>Tq5#P3r-{n*>BaEFFD)Kw{XQ@iZOymV3P@|LG5(s zIM5L+Y| z{#JE3uYVY1pP94<*KN`t{e80xfLApn9P zyOCrDM=x7NjYW)?K-E_=Qvyrpz*b6~g}P3^2Lo0S-Z2g&2rUGMDq71`v_W7Up+Xu7 zPCzM?tP_SN@GvM>%kWU9H#`koWKy!a+?t=*qUM%^jAc<@vyfV0c@K*@AT%xY(0a1* z+4CgZSTVm?UV7US{!hbNH`{L=p1rkIct~0+kvUBhe#u!J%R9&S(L@o1PI_`<4<6d| zA>P>MXYB`f!Vvcb1>AqMSd;&S{;DL&#Oxk_l)CS$%REbcsmFt#I;y#SFG|{j)~we? zx0+LLBy`lF&&;@h^E2;yO$MjQOJBzk5UKb@HIe&}AP4|bn3|Y7oIL&sYpph1M$>%9 ztxc8|pTm?qUYW#KwQZ(JJ?zPxKJuSMznT5OQawZzLYfbT+r+v(u7V@>HR^HaT`4}!i%a~@v4`PvYSP~Ws(y=<^kR88G%EZ%Y-_!IFF@y3gmL({g z`{5Q@w`v0y-Rpqh=2wq6spBi7hlC~?FqHO;0Hl`wNv$nFEe#+~hPeMG93HcRA}0b@ zpf|u1C_rzwH0Gvu<|p(f)xaT)+;{Iw8G=H=SB1>r1>c`%A0h^1O5P3--Bv(NM5<=# zu|~r47ibD1v|?_5>5VHH-U^d=iy8RmefHO^pnaumZLVPQi;k)rG!p~-$lm4q*R$g7 zM39Mz){ozwu-UUSMin8P+U&>MOHY%} zr+v12^z*~8-8!zHA{0*aDePLkA_nlo7M#VXyN|J9tt84&zMC9aLG@!I1ZouE$6T!cLxNq{Pfk z;T8zc>qH9L;)4q7>4AoyGQXEed;49!SshmS{pYz0i*A0b;yDtVdhdX+pwX1Hr{Oex z)F$S#1w{9Z7h8ThSwPTf^61>f(~&fHB8hM=o(1yY_vs6kC)nX+d|+HWu=r`%0+KwtzWDx<-Ym`@LULgcYrJ-^wC8z0tan-yDRc z05GVE{~s`m9`MNAytBy0VFn?R+`A8KFd1{d%C5R4d10xWIl(;S-P2AQK|#rG+9h+* zetJes8@qw|2S>PM$zB>|E7sl^7r$pZJu23|xU&|2FjuS~;Q>*f(yyj%83`Ts_5fEYh@_L|FAKiEaL2&o7a3<6!$)us8m?F)ZVg|0C2h z2P}cjQ12Mtk>;R0tcz~!jE69tm&*>Av@cf&h2mVgq~w+^@Sbi|jzz~t(gCn_twZfe zxlf89`hi9Nji;}@&$YKpIdVz)jzAbx`Nt?m^TdTp1D(5(n)G|!3B;_GvG2vurNS{m zQme+XMItc&IzLmIOM`)^KJT>ob0gPIfH`OJV~LO3Eos#i-4= zuF|g`osU?-A^FAkXdWHfmso&4#ljrc9dt({Vao!KG(Md%ju6p|NaCZt73KrsLFonS zq6t@o^lAWJUgU|Bgi;j4utZn!dnisD40G!k zLr7dsb2fuAOFUnoPWT964u8w#`J7sNL2<6Z@nCA=eUm(VG|PJ(6#8TTZj4Q^Iwa#N zNw_g4xH9?T{x=BMmHNgeZ2;_>&pL@PTnTw>=o#7x`ncwJQh%aHN7WtMb7QdJ#6WkHu|eTjiQ7bzTC)!WQ` zw6PTxr4Bb(Eg3jP=t(YoaLy$6P1-HLW4K=H^WH(n9{du*#}@>Y9U1{ro5V;^jzkrcVzMQ-RB);~EyPuY*t%e=z~>$|LU$2o7pA=2sQ+Ay6qOMq>%(dMy5jxtL`m_A4kOWDyT^hT=E@;$)ktWXZAEjj6#{ZM zMpfy4+^aOrnrh7!l(i2SPj`aSpeE{d?qt6gry-5lfzeWd2|U21az8{MU&5!-$I!;ex9iW7l``Pu)T*t|q>^ggGR&zWdB zf>vqlPF%q&e@mL-&Oc+RKWgH=cY6JY;Ba}d5GVzE2cz=lH1qfKqP(%Ow3~#nF`t8# zFIbD`3Huj}xYs-&w5+Dq;$sq(T6*%XT>Yk@6wjG33+{dc{ zKB;%xG!h|`8$%=+rn|7)tn)9-#tuw z`tq@hKrx4iLazl-v4IhveZ7L-S_h&sfc3R~kwLIpa6%$3n1|a>tvKZ|p(5jr?b& zCCD+S>^J{SNG=C5GL;SZS>Q{=CB2+ zqBLxX;Mfy%>?C|~3nRz@%S`0y7P!fV4lJ1)8w_rbDO%Bzjlzhxxr|CX7uW0L-^L50 zn?MHW_|S|Lcg*ilI`hOJOH@QF0P}(?$Wd|i4`#cAD1xQK9e3*TW(z7wEjn`nsVZLt1h!wc;1}sLQY^O zihMu^G2U2jQsTbai#iYF=JRj1-~=bjIEhK0Y9TnrG?u5?S`pHHR&(>pVN9tRrQsDp z^SjL|iG%twECpHC>Pl@L1Ui<9(Wy5e$Rw)1tuBvEIQeMl8Jhl@rPCZ6V*KDaWr?z* z!)D|Co@%jBfuhQO+oMK$6Gg0MR~NrHyZ8QmWBQqlNjSOWV>BiJo5)f!NdP7hR^>eb ziTJ7t#v<=b_gHQ^>A=Xbrg7&}Z44=%Fh*5C`5(=S)~LNk7+4<1a&E zMEW}dtd&xe2w&N3MZxH$dxt6Z35y-p$=B#Bhs~T8^mM{2#ky;Y~i<0eG^kMQXp5cc+ zc0*h`+EwN9czwJsD#h`ks`gF@BG+8OIwkk1(u;pu*%@^AD!o3Cv9Q}b>K;Qxbb7Rr zCjFm?F8M}Bjmd>q+Ui`nZ_GR*;$pZW$Sat}vY>3r z>PMS<5tW5Kj)G~C=(+#bv5VX|#G&*Gj_M5iJqnk|=Tk3ximWRuBop)`o@ff3Omf$o>uOq7n!me+;=C&ZMeIJN?C1 zy4bDUGH0*BueTE?I`*6wWvjgr>|pT$et9hj?yo(lZgeMhES)y+sBuy zUrV;$oaZe7O42O87&xYyEC1};Qhm@6i~w&U-`Lc54a$gIs}dlie-2rMZn44gruBDj zcVM9vc@29W@^N~wca$AfSSS)_w*a~3y>w1Kkr*Gt^1&IZO+yV11l7*cO5=WWHe*nC z$zgI61yjjXl6*EKx7+U~_ru4STlEF?wff}_1XdLc0cFuzm7w5TgPh81aZ$V6-3bE@ zHuJ_w_Cvff?>R6pJNC|SdGL!+HVv9VmM4Cd)(VbV2h;N*5B|}{O%}@2z(;SJ{n2R^ DRc#7W literal 10921 zcmV;aDpu71M@dveQdv+`0PZB5RQfapid=)0Q0aopQQ@T6zxW};2v%^8yd;a@Ry~{$ zGv5jK;GPtd3B?u=y9irlaW3KMO0?0+v!Sh7pO!Wb-YKqginp9FckhOTX%E@KjIi3T zdY?wRgy+b~V=oxz@hxMwOZ)7y7jxtf6G zy%YH!{&<#SR*}_tKo|x7#%0U}emZjGmJt4Q3na9LHr zPx?FvMCK_7gni?fVsnW!p^RUPJ!y{M>cORO`ZGucE@WzE07$G{3Y3DpB^nqC3!4_@ zK0hdmDpwqp>jp+eMtm%rN)?G7Yqp+I@BP$O(=^6b$OXg)bZk3R`pddRSYZxi-_VUo z&gCXCzj}D?-^Q3_)((wGa$l+|Px&CNOw|+a(04vPS5r>xN zm{0nwPQ(Cyz^A%PN2~2>NkO^%`@A$f=Lxl$wKsu?W{*3SveYm4w?>C2eb#@YHELxb=vNy zj)HE_+_T7=SfR#nu^$vu{3AhS;0Vh*1h={^sM)uNh$KT#PyB#%lylvz zG2sHRGyvVpX}ds`GWo0#BtCW;YBQQ#tyCHLU~m+t`U2|o+^f4Yggh@e2ZQ}%hswR@ zM8}}c^i={5Li0xf2hSP%h?bB%JFdB4tnTroAdj%Q-G7u15ijl0hE)?$8tjCuf7ns7 zsD#$Yla51Up1`qAYq3u~2v4m>rFq8eyWht>(+C)uB=c#S=tVP(%rLzG-?o{G`~HTf z30b4MR|u$-e;K=@D+qJ_0A*~{4RL8pJV>qWlA`CDGPpuslOXisT#CB-C zUV)0<7C*EN$@LK@tbyx8V9r)$mYFaE@|sH<=M; z7Bl?r2c36G+&#usjpBQ9XV}T~uHltBwf43uX;GEb*v}*4CFHDLQw?n?%l;uWFEV@8 zq^dYFdW%*+MC+vs2J$zM0Uj-h*o0Avq<@!Wh>}!?hk+()QE4En*B#Nc-mf-SiXLJr zP=Bc@7SDix`>2vMdxD`Sh}Ue|g~9sNHHa`PeQ*fLmy5WLM!Eb_v+ORM5m_e@wr3mm zW=|MxmF8jgqs;Bqf>JMF!Trpjb(5}+3ovfON2sI3ZtNFShGvfIAQ_~^rXqfdoNpXSpW{=Td!2;L+o zIC^Br2?VY{IP^z+qs6tX4*f50vO$7UV$?e7_kTcO+#G?75OlGc2yvP?R`aSts;M;b zE*2#gut3+(ao0<%dhteKaTqKdGCUyy%V0=)p%pz897#j3yR!?XR_#>qXDysiG~uc) zg?7!(N}UIBw+*M5BcB#>ikf1PP6oo>X{D_P7lz!B3G?Pa>5^YeTB!@PDA|!i zw&zjm^0b|SMa5T$5(=O6W7^t3VRqtB(sj{^z|0*~nql)sa=RUv2+YiEXQtDUCDUjI zD;~=0SDX6ja-#W_nE)}($TgGaOt7W7h_|Wz!Y-HRfepNlnslYJe1Nlh_|>+QR+2~- zdh!iPv{5IfwXK=gM69(W_{~pS`aI|YNUDA2>1SuCqp~q5LCp1;n$6-=K`g9lS}w9dXdZoAQ=Agc0#?0uZUqzoDA zISdV_p#FM!{haf8D#ZEwml320283_`aGds+Kn;M{?vG5qe%Y5Vu^zLrPQLjJUb}s} zY1?7s1=x&L6Idw0GAiE4vNgw`v6nHfX+Zvt|9{ALxouK>jvA>)*}$HM_*76azUo(`h2Hf_6y& zyRdyy2hB)A5zvnC3lM(QTc6K+1g^eu-DZP;K8OtTWTI0vF?4;KbgPfEjLC9b=Xt^kN{Ojt9b+s0N5@s0loQh z2emO`z*k{)09uWxsn+BUPfQUefHS|vzQBc11Luk2rWz{>r~5xdNcC$xtc~Ron9%F) zo&){K)E-XFS{3$y!s=kRkhY&yh$N}-5;8qm)E){OspE0Xm%d*a2uv!#w-+=ok-EX2 zayoWnzX|hkah$*Akopmh=^PJ0LN?}`v2!5-ovx)+jT5R#Pd;@@MWvR1P}2Lo zu*2S;G2qo-{@@kUZK-QOg7DHLyfUC&>hoP-pSE`(fsf!{7$Le8^tN1Sf(OgeL|*F= z9)NpE#rdZOk`pad39h|{|INL#AiFj-!EZcd+QYek(%2rz5Y}gb0(-5vEn?CK!)TRm zTNzZv7;2voAb%8IZWEPXRF1uzI}93p?3GR~LKGK*oSVO*0~IVN?{vLc;X!0bt)JeJ z@jF+BQb(4_*JXlEdrZ-ZZ6+8=?&_CH^I5{_gd`wINn5sO$z+1Mg1!A{*8c$S)~0YC8eXt^+#K{(k-m8}G`$4ckcn zyIjZi%w~|(z!i(;tPxk8Rd46Z`yZ@OuYoPD8)_;LL(1~D1YzwS6=~h}mb%@3f=Pg^ z@=!)B(z@HR=2sb5n&W?zPNNQ}hfZhb)7a9J>ea!KZiwN~J;J;f@p!#xp^o7iK>vg? zp^EB))|Fik^&+k03DQ``_Inq`VS~ybZ&m3~`vl`r_C;d@(5SK0Dt{vao&jO}FZiP^ z(666^C%I&9xVjz(yvrhrxITg@m#0Rj7Lc^h8?d%9=*O3U znKVPWdZ8Wgfbc};n!%xb-;_%Ar*!BzZ%?Y;LSqbJP&m?pu)0qY`ZQp>7Pd5u9;rVNZ z=ju2}1aiD+m^IP9w=71l%Z%jGeu1?vR@p+pvk$TY*?gS7#x@29vv%dS7{!fd?JlC(+K zQA-K~=vtWX(%8U3`y^OFUc$8Bne)+;g=K)Ky@Nxg0SncaO+9VEgbU?cU7K9s zh=Hm_sobcwqxB9Agrku(i zB&1;AL`w~3((PkrK=81n^}tJ=MtRuBk|on3aFg^I*H_K#BzbbpgLaw>kn)e^`En-& z#J2K?dk8)x;<>0!83X=5X%r&FX-r}x!29Q@?3zvr>uOWwKy>trZd-3@AWZ{% zf+&=C?G~TGZ4pc`22W79b0!`mvQf=tO&)HMq*YQPlkt1rB>874v-5Kx)?l8Mkh!qp zcK1HVQXAX0!NXx5>kF2{@uc;e{;x*aKmIrOs+A$slK$c9a`94Xj*MeX7}f^Lx9i1l zA&h#FZ6MD)7`y#9Ky%rTH_%4gK8av#?Pja~v2dl_j2#XAfSy@s?n;ZIB7tCuR*PVCN28 zBH&mXI%nE=R2ks2B2@89u|-oNU&b*pziw;rIRg{`w zsp0XiRB(WZ(SsN)?FG~cInF8Utb<7ES*8c%h?Ejtsw4EOd_n*@Z2@e^RTV!h>lsj5 zCe^>4Ab}R{VP}--2Ff(o0nOCe!r`y*(4j9M(_}stz~WPbv4J`jcc;;nqRJy)^fB7! zF0XSa;k$n%e%`*2=$U!Te}TkFEe?I)B1||dytK&DHXE&W^st%6dt(A94gIg z2P%-X3J_9e;7xoBo1|3NJnh(+ofjq1mAGvRNgX!x<{#%8O+}u>P)et-XsPF8d9ULIzZL%|F0eiiI5RyrP3?j`|c?C4Ye>@j>jL@Z5QrY2;J~aq;?IB z(}k9I;0E?MqQ|m>7Mv#KWkut#m5K!^Y(YGXMB$^Xv9G|uNxUck9&5z$NHeA1)v~^V zeIQ%J#PYE@e_i3JKdx{#gm)7@r|8Y(JeU;m0$KbLdeb;%cQxAZ#!cfHyP!*|Tq&Tn z2mZWVvK>;~y>ZPFz@qp-qg56fsBJ;U*nMImA0WxnD2NZgYcSB2BP-B}Oev6aI ziIv2n<^_s><0o58watFnJnz5zjG|rPYyV?JTHb|u=NI263V}&XPc}^7hCz)f6w~;V z*kX4{!aBdko&{h|U22gVMeX$?FV?A|>b#Az9a~)yR{%)b3z8}BTT$yC8CcL$OtP2q zUv4_T1YZNN`;LbgpS~9E>Lb>iG%7@95a8@0Q9-dS`n-c3>w-iaVA}GrTFfR^;gl%m zMMtfO1Zu>#Si1a$2KT>2^MbS~PGNsyO?9r27{{rjB`0RX?q_mtYZ2hmpl0m3)JQJm zcG^|8IgFK+%aLGG%wfaA1Ty=sLT&pe-`p8!YZK#o29j46Poa&=eL{)sw$VhpZRnIc&I7tksRWb4ltPfd~XchG0@ zz3@5~P-TPni(u2+vM$jw5MvF~6ZA6NtflU|9;ou-^sN(2K^2DXst&=QD?o3Cui>GI zmy(lYRIcKu2i#F^=5P1ep0z6bwKW|J$zaV`r&V75d^_pZ#6Ua=3L})$#(&uKk>?hh zt|^|DB$9u@92g(@J%)$`wf=cGqZ<*i9lw>O{U!8c+_xgqsGOZhZ2f;7q1~1P}(;F z;;$l+wnyPV$V=Hro`LLIgm@xp627qScOVKPn24PevaX=UH9f0=S8^IA;Yhy?Gk#Dc zeh{d`_>{wTBN%TAP*j1o=>tsLB|?+g{1gu-WP6`zddns^)}DDVHoj>dU~fvA1>V?h zLc7I@YRHq~w+{M`{UFNO<^>vT9YkyOANXy@+sTUpC^H??8E}wP8?fG$EyK zJ5GC9^VO1;zp@3ph9Q#Zi)T=AI&_XbdkQu_e>gT0({RA zKS3iJLVdpYj?WyJ=7L>-t>BepXF}6>oJ0dt(uGT$-&b+hjW#>;le{r%;fIp;BCHgd^AIsGcBf{*efaij_&f zs%i>E4qfz-D->S?pwxmyH=1V9#d6vRzOR(7m9Wt6P%yCEj^oIY_KH@^QO#zcTi1&> z5OMM7*orIRfUD>jvtX%_r-m;&9fe5LZv#++NDLbzh~`Uc@?VF}92SmvpE}(N8TOQ| z8|`OBm?2hijOXt5Tq5EvaH%b|2OMoEkffUVED{xm@ltf!&f<+#<~<11TniUzVdzLy zW^!1Hwyu{4ndjF_Eta4N@3$q+|GsP~UhP=Ss)hYZ5XJ{M&30lwIGGzFqS4RuN?p{yLe37kU--7A@% zVKiDnOrv)nl>cP)CI##`V{wI$AdNOHLzLo(TVN#a3{Ux3irn-&d?U@7b<0Ho3F~j# z_4!HKhXj)_Ry?E)YPxpSp?n=PelcWuYAc&K-`r+=Rq7XjNt|L6VPqI-zQUD;4|yeK zTP-+pzpiKfO%q4ND+z`$g>~H|#-vd#5n`*CjiR}v9WRudOgIGWKF^Zj;E0x=o?YMm z)%)`E{a(n|=Od~hG;1%#1JFM#RB10v&EorZf7=E6cX3BZyiZISGK3VGL+X$0FZF#_ zlLwPI_rP$mymb;1yA%`LaS;#u1dZ-&SQDn5MKW6R&d^@p<`8n{C2Fr8OtO6P!N^LC zb^O}6!rS&vCZfdcM`jp7x9ne5O;^9vRVWWXVPAXeg0}?(y>aB^w1mz~c@A0LChI29 zkXTH|H*|-(=H@NNP@;w}i1ChEcFjiEUzj)h?84r{UO0_7;3x?Tl3`liW^x!`HO>(C zn@bZ3KIV8x8)ZyELz%}?#3wQMz|sZ{#yKd4`(hO#p`F`1I^~QWDyjpN$X-=%t0)?x zq%oJy5&F`dPc{P4F&i~v4z0ujR5QzjwrOYxYZM%vk(-9AM(`cnv8|~`rQrU-8Gz5Y zfm_GzrBt4C-xd-&0y3vOfm9<;yE?c-c+OI10)}VvDvL&D{*DpG&HG4no*7sT4~Rqt z)H@2}_bo5+c8LMTTsjwKAse9Yjq@BgA#tW^N2u2M{IC#30g07$;qzt8q7_Ba^Yas z4+?0yMUjGg;<<3h(Zm|H%^n|y5Hcj!tC?q(DJ8?kLH0xxxir2rbu%1B)TgWliFbgq zb=0jjvnp_pQ#-@KttN_;ntIcXC! z&WN@~_1d7LP8&Y$sOUm5=U0MwO`Rk1i7bzdT!>oSMRj{o4SrANBRusx=57_yE>Avc zK=z1C52)X+9t$kBwKnF@u&lI+AN8fi8xR#eQdCvM_0nv<6|jSK-V~w(gA37re+v^t z5R5Q4Q|2xM#q;-BnN^e88Ba39DWwwteNez}FOV@CSgaYmo3lf*$(rw^R5X!QQ`9e8 zLI?dOVOb{^oZR<4X0|(U$ej%cYDm<4Sf6jCs$(fqUc1`l5EQYup4{#lI62sHwYeg( z)ICZNx&7wy5ZL5i#Df{p6rqZTu@Bs5t;M_+gK!v`%1@SoNb_pPu5e49xR`!u3@=Wi z41&B_kq&h6){^YRBzQs1^X_1qAgU_8^Yl}3o#>6n7y-Qtbbp{2Hs%|nA;FrxG^E}Z ztx`|}^`V7qBtbIxQe{vAyvqgxT}G>%n_e$zo4e=&PrS5C66Ge)5aS4{ROW(j4E z+SulDaJTLrar%@YO%v7sC25}O5^DCbG7E=NCYQK{`G#i5y6dOp^#F%P7=I*7td=pb!U!(>e=Y4ocV1JzmDcHcRBx{z{gs(eIO>b76dmXccvj4Y;fEC| zK{YCD%mSJJW^eLT-68eDpop0B!NYV(M{ zwut*7hO@Sh4)iYD*0=r>SV1FPmwLUBJYoQ|FZ|Z1lg}#=MV_ActyXcYV^kJ-S)Bih zEo=9uo@P=9m~fd>V(P`5y=6EXRH2>zWYvs;mQf@XLZal$QG|m}UdTU30Oo^m4}L^& zEp%#s4Ylp-yb+rwe|2J>4SOCn!V~f!iO;ouYct6vXFq4G7OAM(I8~z7wHd~efLd$O z%w@sT)fI$ZpI+9Uuw)a;v^@x9iOeinKl0Q$BVsu$Bw}x_)mxp`>NYrjf08wG@O6UI zP<|&bpkvip^s8PkYnXtO66UWQM3^R!RWre`3{QBoU?_>5eE-K)ardfkvDk|uffM5l zHg2L^JJq2#4QgcYQ&R*f+V-s(cG&X>gI0KbxHzV|Fek8}X&Dce^>4@rrOoZ90x`6n zV}pBmBz3Ox{A(@Nj3g_mP?xG5!Rcl;K`F zJbgEItdp~wKXKX$O9%ZjFzw%mdex92*_GTqQLFY$fL+NH>S%z~D4%{IHEIM*8Sq}r ze@f;GhZPh4;y2>R&}96AdLiLz1d0mex#~d(YBoYr3@tdj*&>JuqAKy&D&W0Y86v^f zYS9$BXL)0H@oy>(}LRLFKL!`zX#NN z;d7#b@$FJ_*POZ%`|I>wXv;wEq86@b+COrP`y&^kehKrxZh&4sS!r8E#@b{R#VQ2k z3uWJ*Ph!(+H_f0?EL{}fy`}=tlwjraYcjciWe`6};eu_gmcqw`<<*G4%of6=U|wVe zATz-{Y!*v+R}T8c!0{VNu84umBN()nUI~y&GOz@B6tc>Rdx)dzm(`lpw7ZNrve6

4052X~5Jgi-(*%UPCd?=z+Uf0>6f9E;h83&sI<$=PYm1^|`j4yk zB-^3EXeN;oomtW^je*LNdfKBN=USmgy^2htC^*RK^!N6`-9k)x`_QDW-FX48DarfW z79a$OW)w#Upzhx@15WRW!-%Oz-qR`l@{!c|JRAKw77RfqKMW<(w<(we5SR{A# zLb5xXU@q`(n_3@~017-HVr|7<5#FA?ql8L-@2+chZ?cbepxlDZH%Vf{fKpRQ1$9#{ zVh=g2p1>z9H!{-9J@2fXn5HETrxTtVGBU>$*eCGuBGa?A8}V9J?5GekvE)6kD)*>4$D8BvsSDW zdUT^Eu|LhqSZ?zFZQ4ks4!TCz-XY<;N;u`sQ!733GEb{ok^Xn9MSS9p0=4c7MwO>r zI=NZL+ax4xXIl#qD5<-%uYHUCylB#5cERbcsi*bCK%{zs>E7;2W)a$SC>!=*s3K(? z$1mW#AKmyE-hhZ`&aS>TW9aZ{?>vGbZ0I^MU4_V@Jo&TP9d%IMizLe1CZ+%7aYNFj-U)6Rjv61pVp14f$Pc|WGYu8`%@OTEDv49^@4~7aYd$O1xR@k@1 z*3&(JU}&xyGbC`5O>CDKH6BP?rHC6)b79{8@bbwL?^y)nIp@`BuCcSWv(}W4hTWAqj z1yPJHDJcr_SFe!qO-&r!_d|c~?_-BmVNeu6<|GYJKB!i`{FSkc^qRa0w|1)G% z5jaB#eWlLEUvC+C#qVx3?6^jpwvU z(9w7KXn=F`J61(pUnK>&*`V-o?8J`PE-S7ll4^=9k6WxH{-J@SEUNjYY+{hf=s(olM2LxH;`@Bey`X?x#KcfK)3CIX$cpIAw17r%FR9#Ao5w3#=)a(KV;&NXM-E zOQW6W-4ZW*darz%CA@h3J-O$`nc=Y<5X1hM%`{+r_AQHxy|_Y$Uzsf^e$*A$d;mo~ zn_03KIdI&zS4zHT0iWf&Uq4cX%sxsFy?lYq-bx|j-Lw=@Mg#}2A#}}xi!Io!XZK^a z6&-uj!kQU>JpzsniLgaeWZ{=xSv;PNuGyMQ z89GcBzqG)|JY}AASD&b1zZXE;%$_Id@%4LHfAjLT8Z?@)3;5y~*$XUdagtRQ4w3p* z`(aZv-g&y`W)#-aeRjm(jZmWHr#IR`V1qKvL#H{vE;fNY7b;JQgnfH*;XiOh%lka5 zgMzU8QP3jp%K$9=482Aoz>eMIm#*~F-80KYcp4(a7$xGCxY9jlzKqNSvciw%SFKm4 zMZyCk0JbBERs#O=?ozth)s}Yl!jsNCb0)T!Xc2NDnO-=gh1b)-4=`Fn)edm|!|z@S ze6`u8(T^j4-_LTC*m2rNDzq1cSa?wD#`XUaeY51089CIl+;-`GsPIL&kXpDH=YF&jmUxgnBUpIH4yB*}g8AB* zKOy;yVbU?Z{dcD&+T*>B@f-Y60p!zpsX=YRXi%z}SNv7Mh&BhEAM{Zl7yH$IgLqXfs>%}q*H|}h&Dp zqy$_LJ`T_!i?ziTlcfllmm5(9)g(7WXvUDbG(6@b(Zu>W0*+=;d}K41GNohdaSNhf zOGWPdwclh&95QPfC{(rV_q+hGKx$|*N05nolF!jEDE zlPzfa*l;MV29Q>dy{;OS!MO*E&@r!( zZ34}s=1@#R>BD<*YeHE?7UzKnVlC(+Oy$uPbNoz%WW@Ehg@xJninB^pXW%GKPRTo; z2(w}4pGR&Miy?_E^s!L~&S#$N&g2Nd=!gfcE5^JJPUnNiX)G5;(%n{Zf3q26 zU-;#_8BNmSSTcLZ>yvY3XYE(UbD>J42&Z^G8}+PbpG8bC4*{u;H~(0Mhid@poAF*m LHnV4{m-P5kf?Zll