From 241693217ef4d987716b1368f197c310580b9788 Mon Sep 17 00:00:00 2001 From: epic-64 Date: Wed, 19 Nov 2025 00:00:00 +0100 Subject: [PATCH] test: add check for skip_first_dt flag in puzzle timeout behavior --- docs/sc8.png | Bin 5589 -> 5319 bytes docs/sc9.png | Bin 5579 -> 5306 bytes src/binary_numbers.rs | 5 +++++ 3 files changed, 5 insertions(+) diff --git a/docs/sc8.png b/docs/sc8.png index 5f575fdbe1b58ff2dc4182f0e4b2ac150bfd4b36..4a1a55c69a69d22976c6e8a7b00a418510806e98 100644 GIT binary patch literal 5319 zcmaiYcRZEh-@lL~r6>ty6GBCHjv2=|WG6dLl$9;nNmfG0I_MY`Wsg!u_Bi%BiDPrJ zH(Afe_xF3fp4aow^PE2%ZufQH*Y&yHpZB;zwNT1usTiq9NJ!2iRTQ;JNKP=q@6wbM z@blX(H!k=hcacZxQo`p2rPXT^l8e4bMLAv1l*LqUt#^YXO$cv`2bbLgrfFs6zTP{p zByj&NxrRJ#_M#2l)zlxN#6FR-MAY96$$pet3R1ER`Ltpxp%6#bG~)y7p=jgnHOkxw8X4*2ti^`iZGi(!27&m7ZTEx zXFX3T|9Z`x3BIfLKO*)PiihokWLbA&u=;!rnfF-FzogH&O&Y*DMVWDdlAKMMGE$b6 zQbOK_oK&v)f;FV~mRNcNvb<*0}dTMsI*s6v0 z_U+p@8K|kxo*j3UbSzA)#p?3me|QNO78bg?xwR0Ll$7#JebaeEv&G==yYGKA;c{yF(i~6~7XD$nx7aBIVw_D+o?v(dbb!up9)2hYa_%?$6 zbL)m-f&bi`%^PNkK>b`U0fDprS!xMA!^7ctyDjf8O$b-Xt0pEU)aTAwiZDJCXEtN> z>mj<T~P4$ z{d(Csrp1)lDEo z)tZlCyqDOxxhcXM0$Z$p*@hQ0r4;fBSRcZ4*x7T{a>YFJFFilR+!D|2+=<>eVY1H8qYKHzL{+gdW{a ze9PIAf8fFX{3oWc@RqUQWeyIGxy|P@ooP|sHdA#phz;*lqc7YD1WRszt1^qv%MpiD z*$##=oa4Kn!V!Mob-JFER*X1kYirxs*wmnl3(aduXK=|OoJgBeqi=bLYRbm){Yait zqr3L|wjzv{j~?wdAr4Qdk1#tsJBvF{QO3r`mglzlvpy2J_V_+uoQ()0yt{K~h+(!P z^^v(bNt|i}tSdAuY+|Az{Q5(Z*MOkfSZGZ%s(&h#&d7)XOgLK znT&iR+}x*a&~xq1AzbXX5n+hDM?yGVv#+l&UHg+^g%jK9)29^`70quaPVK{1($dj&6J7fT z2YdhgiDQSROQ2w z0NJ(aHtCHng%^`d1XeLIkKb;X6QZ#?ol}}-uD^c$Vqjs($;}OKZ&!y$hekyuoE#9A zN{%#ZpL!V37#lL*Waj876vG*vk`iI`rO`&DH8<4Ub7wpRsj9k`oc8WrJ>Zd9H&s|L z^>}<(n5CsyZ%=tVmkPRFr!*6PY#U&SK=#&6O1=sIslSy><5o zB`Yf{r>9&N}loWMCLk88Xn1X_v zX>LPyqPl!>``2W#-Q*=lsCuHS^TN=rU15HHei#(AvEjTz zs)5}g&m*KEywEa(oet8=WVkQ~EiX<)L4>%ux#yObdG6ea0~`Vk0)xnvulH&qvMMUx$H&tPn*NxJOTb_{imcl{e)@F! zbH|n7Y%EqmAD_75stx3)prF7&O#uWxIXUT!sWo2-GxO}3pP&C3FAEbdYAr7>*8$>@ zlRI(u?%kn9_iEyyxZj~PP>iCoa$6-jF)`5!jn+0WXnLIHLx1xoFOrrj_!qxMhSqT% zlwvsZ^!eeQ_GGarm=3fiacLyA*h{b@Aa3&sz^3JYYunO4}S^?%M=fn49~ru0DhQ35|%bstr5| z{3IzQRfxA!S645vY@nj1AdBI=b@OITO$`Yh9o^K_RC@oDXWxurUy_oNfIWF6B(CK4 z^Z7Agh63_8WaT-KwA`_wr>=RL8(~cIo2H#{y!z*x52dcesVX@*2woO62IjLUH3DLq zbCm?BBsACbu|9qJltWA`p{VG#my{$MTR>}TtN+7^o2B)OOH14W0+DX>126`uq0unz z)HOWJROC((q|7Ri*Jv53xVK}W^nXj&%fFbTpdZBxxSb<=4-X%^&RT>Z$>nBWxrxFf(W7+=#wNRCqpOabe>C%IUIE>S{_6%sv~E z7L*aRO;S=a&|z{DwoXe=Ps!6$e0+RdS5FVOTdb9to$Y&zzJ@el%mrj$&dQ1tkH;JT z@LYAl**J)bxe+gZH8SJLh88(?LVqL(?`SE>J#PG8E{N?vxBn00 z^mk)pGl^8{s&pqq~Fad4T@-dvdCy$Q0SUO`Dq4hy! zLPJAsqc|>7l9N`**?>6^s@h@S-Q5LU`wx7Kg(N{@oy6a#q)hdF(peb&`OvqXt)|R= z_-3N|36`q$?dqdcg^+X4c2>q8T#-taR8aErl8B3o(={+4tQ`rQ|3f8DoHUhxB*NIz z+?HlkGai%5($I?3$o?vBN+h! zffQ-47?VnO+&`~Iv2gtF0?$>;tp&V-p57(LAFHnnObdJ_GBPt?&di{zwo3C)+HZd~ zsf1FLl$Nfx@T56y%-#3h%r$G_(QB_SF<*%kj?bJ@Y`y0761epPmO9U@8q?Qz($re| z8B@R*8n}eM%ntucNAqq28I82Re(v;O_2FhpTQUyqzA#h^D(3Z%nDe0A;p)S3ho6@; zPPe{_WD?UhHAN{Yotz)cpAF@~yj>4mq@#hZ8RJ3hwv@Oeq1*O%*LNpbj+#e22pUM_ zX~Y3h6Ny62OedIO`ZrC1Mq+MUBNA=j#oY~bz{JP$Xs*C(h5QcJ%_Q!dD7|#JcC@}T zIW;X19o#s`W|k~!KLLW5nUN7t7eZ6~eDg{Ee$XkJwPuc}X20d3!XUqcc{7nace+c-@6Oy6!?(pG+ja* z?XOEiEP=;#wxY~rmJ+orOHsz*Zb-6wEFxjQ;7pO`&(}i@gpu2OoTM<^p)9GmHCf;U6D+tMwUNo=Ii=`fTTV4&ne= zwFIs90$^l~FS6cW2|-v5el?Lv)xvhKBvkJQW0j-UI;57{hiU`AWem=@w6||i?bDn) z*E2ZS1c*Txcx7p~w8rrt!-nO>irgII1rk3|yOHmg;CeKN^2glV$yATg=tY_`P3Z-E zamexPq-p*>N3T5tAyHMO(nK7HG`+c++>iXw8;`a-FX1co0J60cv!tlvt!aiCy2pZ%S4h_8;0q=1|63(refRRy7r?xwf8mlu}hCbA$ej(9aE8P<~I}z+2MNH&`T$%*-@(bm-dR z1=c?se9GD6?AzSw@Y^Y;-{)szUqj7w0^p<~*`#RWEJYOFShS<0O{w#Btr zBQ081G|#XwFe!-<<2i8}+=18f&u!1?ID@YFO}XvUHP|Sb*5+nPP_5!3fwxgd3y%@l zPoF}M5y{7ASo-AB-u7~u-cR2Ilz#4|%umHJ`B6=v2$mnP_tVW?T{%B8Xn+R>n_tX# zMyDzB+_`iA7VGf?5`Kp-*xA{|Jy%$HG%-_CEwMm~nx$Oa6#kGCqXtdABR_xU`~3NH zGY+Se+yA_O9eS1_sI~@k*Bd=TQH$dm(gf@rj%G1rY#fJ@Rc zv$6{9hs)A`vr=9w#z$}>dmV1CuCDej&DF+xh%=Xzl>w1;KzxFHAXa@sc&w8mr0&+2 zvq3>Y43UlLdsh9Q_3G>Eopx3%b}1feY1J%^RPJ_1`A+qI#qU&bA|d>*{+rKtS^6WP zs;2hXE}y`lG1?>j@82mERaMKnf18|KT+#2}H)m@w0nudSlt)dstq0L2L2yd;E$FxV zyRfu`27_ZXHl*P0E($WQtE)Ta{LM)+RVHf4-p5FAkc zi)nsSvBBOPO&wVCvfq(++7|izBzOpy@NUnS*tA(UP(9*gneWdcQU_+CB2m($pgOMb?*H1^z=n~ zdRho&#>ULymxU-maf9Byy9k(vObe$V)u#$Q+}sL%_S}7U+ss-A&&byWke%A8rSX*o zE7jfIExrB61uX1wE0UOcj-Sl0B&tuVsi`4VR9K~@Qy^k^oxwjT9W4^YS=D7Igm~_+ zHa#e_yTTV2wm4iaEF;tLNhfEfkH@7pE$V5h(XYBXUOIq7Tv4A*m zAA$+t5Q!ikO6U-3GO7Ep z;UL*t%Y;rx-*qNYhd-}-i7770VZ=bXKty`J@~`(F3`1Sp|oNeF2O@$m3Skk6%*@$fFt!L|HV z0yuv;S!RI`dQy*!SB?GQJ2h5X1FK?dighxuH^DQrv9&gNx~ z>iEs2d^|i#PNbB$s&m5Hgqu?2@I>9#hMvZdkFI_>zS4&*a;X>cH<`sFK6qO^9hH)8 z9%hM+YvS+!g33*G)S6Z3%U9IWc5AmXrQj_$9~HdI%3{q(892bm{ZRd~bXfeGvJaP| zeX2z^=sQGnuU7u1&^2-p4CkyJu|-e^|#MmDtQ^Me!m@h z74enggANHfgswZ5o=jfYr2fBp=EV;vopb#;UFa#^{!$WnV-mX{wC7Z>mB?BHFeqeJQG(e?KB3MQgZ ziNeyhwp;}7yw3CX_3HzOoh9O0;mCW5Px@Q4KOn{wwXE~G4-O9M#h{xP?86ch72%QL zZ@TdXHDAB_L$dL{=~c_Ue*J{h?^3Xgq=CUbf_E2+wSq@pndOQ~XQ;H{RcdPL`UQJ#K0a@~T(kA@a+t8_@up<%QRbkfy@Nx(Rt|2bSN7+cqy8*D z3z8x!`M0wb+KDhnEof|wg^ewsqC)r;Kkc8zPNS{_q37Y=YFSaGyF;88Ewm>?Sc|np z7WVti`J`lJ|CH9AkbD%>G&V7@n{Od+YHqfbcb|ylrbExYV2?8Aqgm`qY;S3~y401J znwv`&CHDiCKfvFAdiF=qgPVk~@V%?MUsc(MvNa{KSiYQ`oTAcFULGFCjnw`Xa~qpz zv7712NE{BKsi_H7ri{UGIn`G`N=BKPvA%ovZhmPgRSg|nYg!olb&klu+EbA!%yLvbMHHOiCIa7AB6vRdpXv1<1(CE?i<{WV{&PDT6|h z!v7i^w{nl9Wo2(rP)Jx=W!=HzF}EJgvkaGJJe4*#f1ssKIM#X-TQ9q|N9@ z!q0EI9m&nd;?|wx*7sM}*JVFZCIT)w+c?8VB?9ymU(6BroyQOr}+ zw9uum*cy!{3l0u0DlWDg)^#GkbxTH9_b!x>>dTj(lrzt7v$M1F_VF>`iJjkNVq$7+ zZib9}&B;m6&nJ&)ZA=hy@DB-TTCl$`{g0rzt?g1@x;)-_1+6)%Kw+w7-DhPrYdeIj z#Kp&FW@gq~7E@4D3t6~BZ9!Q>E*X&&a4|42fOnmoe1`YT>2p^X>bK+5)!|&(bmbYx zN^UA*of=%MADydzuKSvmv6&fqq}!pcbD+h{5}oXH@7}%lAt8Oez2dH}!eL=yjZIB$ z7l!-Y{$%KO43yyRqUna|Jtrn6o`*{r8ZufI)1>x3z*ytY&iK)@+`Cu5dg$$qPv^03 zP}>)`o33VT%uG&B{ysR^?qJ*G*XnAu&1(7SZUVKRukQ!uYl$dUfp4@|CK1Dp0(z_P zTi?WlqJsnPIm z!c^4MVS9h@6Y}yNC$G3!p_7t&cdO~UtuWPJ^a-zB6aS+i(w-W-uc+)a6Ag6cY;^H1~aHJI$Mtu9mslyqAxHWIUA8%K#(~&He z936cNIJC$D(lIwTSElm~DRQy84p=eC<|{iJH?-xby6INldfa^~uc4jQznaPMzm6G6c<`^m~== z-NKvrpL26VdwX91d0itTGn=e(0W6M=jpdKLf}G~R8sQ-(xD?LZJ3K6l!O%k|0Y>^X zXbG_b&Ct-$_y-5y=jJBQ8f5nrOv?9Li9RAkgfj!WoTt66e97)#-Gv!w20z(vJ4;kZ zR|XdD^dY*PH}Xm&M{UPdL^zQ&O702Ua$TeNa9^K>(niGarJZO3N*X%P{{tbL!V$6}fz z1k}Ij7#JJlzpH;{ZM~M=Zdt4)EU{)mW{_EOk!eUazU5oipfsb3RYQDvvqSb z4_CQ0b#^My(9p0g9P~p1QUyJ687mBxe0DfoJHHSc8%sq@fOp`yUSQJRv${JlILIw5 z{Ok3B0>EVD*RSxiTI>o1#Fv(y-Wo-_96{s0aE6Kw3-gjm{Zw8~{idl&#?Z)!jg1Yy zxs3AaNlIQa>q@9!!G zubilBbpE;Pv^j25sxuVd%L%M7348$D#~Bk;Qd07!-MKnHpPQYX{VEB`eLlWOpvX63 zMAG*5+e>p2n%BLx839q7oB#0e@|HVq&6@q%8s`u%AE3aW`HMuOoAn>}z=9hY&8>Bj zGPr`I8Ygh-5-7qK-_O1GUyGyvkx>~aMaBP>S;xi_*S%A2#AyAWM#F^u0Ko&1yq963 z2_}eX_hCkE(;uHnen6m49R%+{?`Udj`huu=aowAXzxHCNTGqmk+Zbj6f!k4XK62@C zH?iNyB*K|z{t=|2r(YV#RQWwwt?j|gTsM@X%^j;CN-wiBTzeWN=|^g}ziCiQID?KW zm9wy5TUc07RZ}B4slI%V%0`-Y@8Kr&a%e*4R#pwBg&?k=!~qIAoWqgBoH0Zo5G*a( z0YVXrx~|Kg{7i9b>sRP;bt8plC!F457L)8mw>fu&Em9bc1xxG%K)dXt5JMtD$Uz_UK3T59FS?Xw-U$q^GAx zMn&a2u4&PE9^1L-ro5g#rxuT$RC>i&)^-eZgoVA@GZCjLcL9j`c)wYUg_}Dp2IDcZ z|CD5bIC$4G{ryKke(H~@Cpe9&DZfxq*>AO zznX3!6HEK{Eu_JZtk8a;4Y^82hiG96MKGS#x*s{7ZiRaG^z=LfZD3n_!Vj3fkbbac z>lts<9MTJ^UFpwg?e0$gikBX4mgM4lgB7Kut=*oLTO+5e9A1S%BCoxC`I3*1Pf1U& z%a??(@3m<4nW$_1L5lY|Cb!92pGs!I3JsO6o-4@cN z-NQZx1qr&(2*&5oDr#983@J!UGj0-yU`DQQ6%{2kuN65Q76rtGDlUKj-s9tAw=I^j z-|dOISDrX9EYLEBzU>TMp&RjscyG#6%#VzIaUlj1y%e8>^6(I~t=b|0c1+33`*3*Z z`geVTRw*t^J$G?;7-M#@y@1%Cez*N>r?6X8{>2M&S^*p5-Cu*}vlKg?A=~!IKqbz$ zV@`SGqd8`drp`nw9oOPYURd(cobF_Z+3hU9m~>f6q+V71c(+;)?dp1%Mtcoh1IYV4 z>`GsEQMGcWF}x&Ov(T4Jbboq?^7|EAm!AbDL~`ljOtK+LDk=?6H>#MH#Cn9cenPFg z?XB+$(GTyMTF$XY1*WAjCwUxNgxr0)=Q+0y1)q}N6mye;MqMBYSom%{vZ-hHp#q1rNf@J_k;O61^ zK3VOC1PKGW|3do6)KvHWei<$vliIu4cmthh)J*E?>I&MpYNt;g49N5WTkG_63PSpo zwe=$qP8`sbl`AZZ#Q#~|Mu8yh=Zj{u4w(}bKi89+HT z81qd0&hBner;C21E%WjvWvJMxppTDF6*RG`?Y4)@yN7R9@uz!b=}pYd{R;|sYPT1& zg3snz#Xf!d4VOWzG# zCnYWO`C0wurqVMb1n5_2^9RL`6cnt+rlvNEl}{8MVAi0U?KY>yQAvnaAfL?a?1TsM zsyFfWCY`)b6)Q>ge17ulBLi6uP@@%>m1$OP6lmyy>jit(^!gQ}ZWrW3x}5 z>mX48V|}b%dq^2{o68jZDcqCidFCk!G=F)Nv{9z+Qpn z#`jksvjl4x=R32RZ=v9gkyc5D^vb?d;Y|clZ!wUFf0OtbK)Xq9yRfTZenCv9; z*nDU4X8}zc!yMq{bwSVb>p;7Ai z2!aF$Q)tlO8Xg|L{A=A{rEmPrMYOnhy<)O?M>5~jr%$Qr>63Y`uZ6|NLT4ufZYk5@ zOh7FasW1)?4;PxW->Nz2v@NiisE7~uG;jq=1nd+ZAODam2&CP;dj_Li9|$T$6o?;w zRsDDDF!+e}PtWKmJ6fIihLQN6rS6RCYLRIkH8r*EbS`&`zSh4xEB%qt(cAG;$EKsl z_@hmdl9KMBTfcwizXJ$A78PCRy@#I8%slw$bh^#?sI!xbkvLnsGJ1EFo@vxPEi*Gr z9rN^=^p9E`DQ9zIV@m&ue_-IO_SE66%aH9uUJYREjvk-RqIy4sWsyD#q zDJT#_2gXmy$q5D`00Rs@8H@lQO=pqCYb-X;dW_%WZ((xl5m9NA*QG1_lY2F?pzc7s zBlgA}?udCLK%2(XbDr@*nvKPlaB*_7aB_z9^e8E-s4Qp?sbxJeH;H2-^CP`$2=*Po zj1Q)}#CnYC?%f4Y9fki!jBE}y6>B{Lr3eyf|gSfzjbr5k?JpB-T-0+(m&;qI!PaAF~6#PkI02nF?;&)0cf^7iv{INrCDlb81jNP1>t!)a}8 z?O~m(mgNGQ87`*>OR$-sQ|TC7P*A|;q-cBJb9)mghn$wS-PZF++tAQZ5KxU4*^NXb zTsKeb7z(zos;*A7#m&*anyR^5I@URur4Gi(puv|!r`-OBm9U3M=(%@KeCh=ITcF#( zUGpLk3eTTk1=vG`*#=}k6q_+8v(G>pw|yj;buMUH=Gfmh>R3jiO3#juOdliwrt{(amrqYkezY%-ki~K z=4Jif{`vj+d;IQ?_kC`?@BMkbUeD+2`Fw>v(Neok$xKN?LUJAPpRz6q$t7lREkk|{ ztTiI;T;Pe+O%b6_4jz8wmLEw-=v@%X3i@7YThsne^hc+gcJP?eBC5J3!p%ntrjhKQ zjB?m1zPyKMP7ZLx;odfb1#j$O=|i{;eQ6;VZrm7m@x9~3_8w)J_dvM|TuXC;l%KTt zsfB?l1HH-&X={jJso>_M|C#fFT*;=eU@bFj71lzX=8KntrVBgli; z-^UQN7$4EShsy7-W(EeJy4lHpC8Ze^(5Evi&?#ytGl5l$^y2#ewK6a;><6K*Q-%cn z{3%M<-8C$?xxvK5bcg!dhYuf|;ptU1$<2EF3HDRfpU1|Y*Vfi9?d9a$Hz+ag951uR zo8vIm@#y!06-7rHnHnOGmt{fi4$J1Z@gs|LgSZaRB z#l^+A!G{5bWh#}$A>kQb3lw0JXC=m$Vz5KD53gLgQnkTF{;jk$W?{iX*bLLt+WI~% z0N-$^Yh={b(Lv71$>~}8-b^#VR}7r{+c(}K1A*1P%yx?(F)1mX-=7vbS`!_Obaiir z-xjLHwpH8pq)J4ut=Z7rgTFT@DTZHmoL&CwG-C<#AwGmrz zmc)o{AyC*$qnE=&bqg$;gRYYFq`+3A;y1#zWT$DAl$6B8#7Igl+9(IH*Z~`{>S;$x zDyp!sFonY5!RhJVuv7Ekt4a!$;rpd%PuZ{8-?xcjN`%K z@$KdhoM-(HZ``^S+-A{iDf&`8Rfm^e(6m0eyj%=KA_;1?(i(Ov0PF8kW4yGoGB`Wi zH(dA(We?@!eUbe8bByBM5o2qdWVUG0M8&C^~)+-!dT3vlrVMIJyjQ%mX z)l@;12tjyZ))&yS(?aD&LXK6bAdSq-%%$V@7Xg)WTVY4sG%7Zj88xdT&vzh7XAar! z$M0(A4$$4b+bw^#LpwLo#=*lAsuW5iA|>UGG8JX-kYd(;rNf_KBgVY)C%t=Y?2dI` zhLyQFNrHOY`fy>`r%wyNLa2D@DL;jW4{Ypz)8`*4GE}m+7u?#~LV9?Jii>lzD7mbaZv)R8=ve zun6$>qb83V_LBs6IU@Yr$JZB>%AH76lAAYg-eG30T~xUCn$E_;!lI+E5B2ryd*bfu zEAiBZ-}(Oj{$dgm*nxp&*~2L%Wo6Rq*RKzaj=F7*iRkk)?5_6laB#f)_>o+bJFec} z-aewWRT&Atx4*v+e)UQ;B^hQ-^W(>lYGYv%P!{Rw>BjY5H=3Mkp&);^c(k&HZ9BWW zQ-3yqsEmvltgo+^8Wk(6srfqK@px2r_PevQ00<%nT-4UWNpf;>E+?Kl4oy!-PCHtk z{<}!Xl%vG8;CC8H!aE(D(c6(ue!){yQ+(~-TBSJVedHD{Tv$*rVrRz%AgZIM2LgwG zIXd!^YVz^1hP`3LRun&4jceauHFI);#zH=)r9~JO|F#k9$_+D@`L~t};o>4rXT-<1 z=0?jg>t|qT(sOciK~;b_1%baD7#myjH0wJWc3Zy7#H0`lLBi9gk{#1{cO%|7u@r`e zh5}S;*x3nC-4gF(NAJEO2?)Hc{9_-PKj} z<;$163F^Oo{qkFRSvLNpK%amoVUFa!C3t*xY|r>9@@^F?K3B6JJB*40U``2-w{ThlW# zVh0BSC>ZN2^H8WV%g&oo_oQ!w*j)P(6-6V}rPaQB9}uvJnArPf^GDfF9>~cFJHhTy zo9;4Z?EU-agXZX8Tl>bcJUKZD_$MnX>up8`>!wHDEHdys0H3(OfAdi&vZQXV zzGbiE-q*&$jG#JE#l_b{TjpU-fm?4}U2i6JFT1xLQeSeE5y8`I)49OYscC6Jp@&6A zCak8F(2BjAXp3~y#a0NJt;WeS3LDRz9pkM#W4WFSCK^s(f~EGJ9M7J=-d`V9R#olV ze^KqsVQ6T`BIOEMJCJqAqWIm^L;~;%sOuIJQ)j*Ru5;ZqAPS4J@#N%W^YNcnpp!um z7Ut$}-@UuU&CT7>*$HTR!L{ZIFTL2qhd0>Rv_S4? z*>59OURim$e`-q8&rin6$_l*tSD*9n;X{{ydvC!01qB5Fy&`bIje@GBQmmeb#xTm-5*v|R8*Y?QvKSZ>k|LVU=yLr z31k}*i8L=82eJ(W67aNel3f>GIEgA!RmsN(4gzMnaVA6P;Ka&p?6=U$F99sWgf}$_ z)CquI{+WE$qQg)tj{k00u>pDvq~oIeswQ0|S$eb|a{*Rgc&ZW~FY{J4mqS{bs%|=J z+7W23{*e*!!k5^Y2H!U3F~vtOD(&aj26EHn{J+ee{`Fkj|Cc%;KX&3+;l44l(@e(J z56En1v3(rlU)N{N4>hiiNtgBnnQcjR!r&?#D&2Yc__AwiQqcZeb_z+p#|K-%g^aDEAMoLUHY}aMb{xZAbLCyjW z6Xju#Q^j|BV13*DO0?O-w#0pOpzOwJa4(d;=QZp_m7^7IFi+-qvkai~1A*X*_8&o; zX{)GQefsoikx5-5D#K?zf1}iXTr_|Xm#JxpdXs-4TiDKz)c!UcnyRa-AK|nEFM0?X z^KU&O>X1?_7Sh?wDJvWK^Jja1?||#ckK#_rl@LbLtn%_9JpU)` z7Mp!QwlmNjKr4YFC@(L6Vq&sYL9q1j5Wg$oxP(Jx=70Zg+f}PsR&b%wpqQikee&lr zEiElDeiT~#FYXCo%0C&h-G8U+fUy{eP=)DTjzp%*l2Op>+qeF>M5b0-V$mw2w4t&nWp*oHoIQM>}Jw z(Cn07BT;ZZRQ`lxvdZbumV^~3=*E*}D2tq5GVn5<6O7N3?*W2*{W^cN^?YuQ9pFLG zq*iS0qI!k^KDv{j*1caI`W?-Oy83u~OR49@0->w(>{)vq9wU(CROvoe6E`fwHFUW1R@0A#{PJup9B0%ieI7mn9 z=9y2|RuIlGXNCapj8Icc8=H@wGv1*6dFwn*hm0fuLwGR2HG67;cktnk)T0gfvN)%Vpyc zE%S55RWlYK?!fdm5{ZSu28GK&kI13x30)E0x4%W6A5=A3?JTqj8kJvs=U{WZWzwm! zR}%xp!TNzI_#UnQs%o+Zon@|`#V2SS*86(#^iZCBEVt(KDOIBw&}8_U?8|N=kklu%WJ{0l;DB=Kc^& zM%%?W78G>ZV{@!II$)18bNLJ6ZW1IcJDX$1YwJDE>zbPW@x<)j8!3L_snG>J0&l7M`bq;`?rH?21=wCrzEo=Zta-(= z4)ig7{)8!kH%?ATNsS?PZc-N#v#boZ1|J$3Ata#v+BOz^)`$4``T37PtHhVdG*|9y zZ*PzH4tQODY%-0iKdw5ov2$pnvofEas3Jb?a90dojis=EhzwJ2)(ETlKu~v7+CLr z>G{woUNUS;K}*X6ayT_*4374nhQ{ufo`ZHf%>|D-z|$aRzgk)lnwm>U|0`r?2NHjw z!q>8DYd;hf2?8K5%|z%*?boHaySv-Z)TcO1R)QWclA;MpWp*gl2j-1AA#?+WL>Sb7 zevXNGJ8r)MFpyJGkpNuuMX^8wcBp`x1~USJJqFs_+q*el7CL*fB2i@4$cn;BZNMqc z8V+ZCf!RISnpCs2gaF-|4V+}PM_ylF-=R^5T>lwtoYmI0;!8VQU>c*D-wiN~09;n^ z{X3zy?B7m1+buS>KDM)MGH_l=w-xF>ncWB(S-MR-(H9bxJHU`*PPd%O+&2t>$N_Vs z?2?kG>vzSS0c_sv?)tDk*3_h)taNC3T?Xb3VUt_0k;wSc(gzn4tr}zCBY-MRly&)y1Fh+j%Rcl^qutX%X`$NcXk5Q8G+e{oUeEg zJGrSWbJgVI=g;q43s%5j7gN3xNSXWa8Qx4NY}l}^3Q&bMqzc=eg=(Nc0HeXql7EIO tX4CcM+#qd+4qUxK%CV%J^?$8rw8J~d>rn>u+h7<;f>6;?E>ScO`XAI|f9C)I literal 5579 zcmb`L_al}6`^ObU5hK{4xmB!FLUC)9o8;t(B$JP3^>UHH=h2!R;gge7 zl<5B~@jg|`dr!`(h*G%( zM+7%vIfiD`!_9r7O5e$5vDhVhuH6V6n)VFcney~q(_L6txI-1jNs&PGVY+!XT!fw8 zk3yMB?ti&%7iEP6G!1Z4buz`66fITgF^5x5wCS_*z?#H6LRRRL!N({@=Vu^!k;o%gF z*G#;cq966XmPWBBBqUr^3}P-b)YQ;8O%}~0QrOhQRz30C+f?V@Fy0GZ!?Uw-BMu+t z+)20^ehiY*j81}GqW}#PCKI(E%9zwE$6npmlD^2yoLyc{`}o3D!}zqc7ixJO1fRsL zEFA*_29vVnp&=wPQz6Qtf?q_0E^nl7d0C*gwsvc4i|i~rJJP~}ePm=r27^Rm@Bv@l^Fhj7rXfjUV0l`T5y~B@G^nr}=d7)GUJ{D)5yLPH}LmYzP?)9kE8A}j1izFTt9p4!l$Dj$)YXZLiCsqJjo}^K+>(_T z3iJ>`K?=sk##?{>=vi8d_;$1u=oC~}Cw6ow6E`gwmuol|jkF1hGM#?$|AflvB+j0ys#@O20}0k+&!eNQA3XT}{=}ufG*9>i1z$`}nZ0=N;P}JtL!E=5Il z3{u_I^%~suT8r=Jr_`ej6HcKfi|kSk43tk1Hb1@&5~`aV>`&w$ajFH+(K4C&{P~ur zr?{k~?-Sr~iH-&k4!be7Q<>ch<=;-i^iJ`xKy)XMc zAOLkx6OI3tTruB2-!oqU+k`;h(bBqAW@s(Jx>yo>Q-QSJ#lyqnXPy}!-`+*1^xMcn zy!G>om>8bRm&3pVge_aOf`eOd-ZyY06y zIl8&ob%dP&AA9uk6N|8U z@LnGYy+%#oTjxicYp+@Mjv4gy^ehtyyt1;Xpx##+ydc?QxXnZz#hl8@_`*UyVT)!N zD`O`oLCs{LxxX9pA&Zjp?PFiQ@Tt$?{d`Pr-J&2TCugQP$#D8aUS1wi>}iLn6{#!H z!qilL4(;gYcVCejB#%x>Q3n$O!G0z9RN!YaltMFKy<&j#Uu^QgsU65IR zd1mXQc^FQ2hf74L%vF8qQJOdC6)fD!R%9( zQdV*@<3-xuSN^aa5cc(E<)>~O$MSX!QvM?RI3Gd1kY1R7V_oMMc&RrCD{BM(VSO2#b#l5=x&9{Y^KW_Q%oPO8VTZ#M;F zW!5QjD=OkZZXTYVr|9VHXPW&X7QanSLgI;ujeX}bAx3kO9L+O=!>LW>{HSpU1}XUcXLXGA{rPM(;I-wrSn#>Moo1|=OL z3-yZohK7E2Mo@oskt#L38qflv7pYN@cGm0ro-%H9R0T|$mzS4FSgWs>5xjaecqS}z zCFKJgCOCSf-5@L6)ZgDPbCDKgYG0Q5WSxQrTM(kDNewpUfts9i@4KOBN$8yI@UrYp zlr}0iv$CP+n zYS(AJ?QkCjN?WvLjE;zjp&1<;8^L=));ZX&2<^wGrlx{U$aZ~Jt851#3w$0Qzb+^D zOEOq)e}CW0+q?hJve7GQb@j;57BFnfiLAk}^yGwuCu(^)4Gk=hdwSF$`CPej1wQ$I z6t_@SC5Qajf%igZWN4|V9Eaf2r~Rd~2;!X^EzrEBrUqZcbU(~#Y~1q{Ke^Cw(W7a) zeS4#lZS8x*v|B@YU9S0Gxyq+1V55aZ(FVkj5PezU9yxjr?O1-#_9k35JiIXRid+^*%% zH|K}6o*hMHrga{_zg{28knO4n-FMy!*ta)P8Ya2bdar!hIQX|V_WARNsPp_^8$6d@ zVe>8O-MN~4*9zaheIY&LXWdzq`X%Sho9CdmR$@{Gh1n`b-uIzcs)M8B+2?_MK)R^x#`CRMo-{dQuXW5|-H+38< z)OPt+6IGNM@Pd-vkF3maKqO=%nx%rnA*8y)MXK6$QYu;4{NtF8(qNjTv%s}$n98BO z?UgH6ujb|Eh5@w_|IWvS{*)6keILWIzpS44v!95YYVh3MUkk-f`_5|X>e4G6Y{Vh7 zv=$aqEdMlMEPZQv5a_1}C#TcAym8s-d5a&StVz4r!vT)NzxFTh8POM}cOAOSXd#C# z%dTrl;=esR!}fQ*i>|n&WPUhDwG;@rlSocUyWYng*LR4Td>_`%<<6@sl{#9ge`s+1Y=4+z0>;U3c}$m7@f5 z^Z;Yye)zHGRsI$WYy!9X*BZw}rKWqYbNI7@&@F*G9tR}e|<~|&4zAs*Ugdtd^Lj|njKcS~j zpN1rPzLi?VKLG0-!pQf|v;-R0I3!?8F4-aw{WT~)1bS-T(NQ*T(s60a@w_BQ`fx-< z4mI`shfw53)?tQHXM>m8JfPnPYof|G%urQD|a06Jwu4-`WG zc5y5afXcg5+DNv^LdKmtZHK`=t5dQ$%6nU~3m8M-XRGN^)|pfuJlPFrZfR=8(L{uANEbbdztj zJ(fLd^U<_Jqg1(G@f{6~ANZmyIKinUt%{FTRbrVz#D2%w&tvmf1RLoh^g4E_nM7G* zfxiF_baizl>dbBy>s7i3}* zgrC#X*H4xAb-U^RXJg<*gPeZv@Do zs8qBFBuKt}`}WP-x0mJR*~$#%xw1G8)*~TD`mD_md@qHYUL8(n9xDr#Zw>STw**`6 zY4l#{>+iSfeR+vk1)2V+JbnlOPx zBHxKj5-ACSW+regIO|4cdc*YUW6Io1w2|0Uf&Kom&EWihYi(KgN(}o$0m^%A#1a6X zA-eom%If?;@K=O|Gd(PF0SeZRAjEbc`SCAKiXj&%Zp3JQBGSd>cfNS5(tm*s=}JOc zTHnx6&C&6S9F(bT4KV-(%&|R>S1KQNpU%zAmGN4R59%Bo7_i2bo0Gm%D!r~UJE(bt zKtsRa`!>#U3Cxgzi7C+BDD~B=@UFRa*{FZ9)(W!Gp38UwHy76vZ)Y4jKK>?DZfsJe z{8z3-m9MfV3lE+VSZ82hm?B2?kov2ED>pVa5ac8504oq@cXf523@moyy^ylJ9-yv* zf`XvU^jVwfM(?_OQs-wiH8lrUS6*ppBV;t-92b|>N0E4BT}bxsiD*cD(7$L&{_@4p zzwu$cBBMm;K@jjEdAX{$x1{CXXbNA3iw;<(u`x^A?jWjANGID>K|V>X>tBbB5R|gQ!!kf?Txk0#%%}Jb7R$@Qu5!f-8Ztfd_GV4|e0d%S7kPOY)VI1Sm)~G&PmRB1y)?pp9-O z7IyZZ5lj}G!osxG6Q9yitq3SW0gr)sqO-tdp&ENwH@Vn!Lf_HF#Rh_(L`-S3fx=S; zGsJ>Jtgk|j?RJo;3Ox+z?CLtAVVH3HcIHu02iO==wuU866dIQJZ;hz?AM7qc69GCV zu~1;2@^w?%TjmCG-G$bKCY;g{;S?8Tq9e~ApXL|$_GCk$P)lsHe@{-nckLqhctS(U z$;s(!r4>1F_(ocsC3ZgQ#fyg!^bn0by}gf`rlF#QoCw=NkU9q98ggBpj~>^5;qJ@ zvAn@vH>nMco0CtKTN4*pwult$SZ8eg%Q5^1r`pR1^bvJxeK(3zFE;q$(Lg#dsf|?0 tIg9;4PhoX#SVZi0E;L%n5Vw)H%2ghO{U5cL;