From f143c67b3d369a4eebd3ed274294f6387cb12313 Mon Sep 17 00:00:00 2001 From: Nils Date: Thu, 16 Jul 2026 19:14:23 +0200 Subject: [PATCH] probe_discount: single-prompt whiteboard microscopy (lens table + digit probs, carry vs FF control) on the 80/15% problem Co-Authored-By: Claude Fable 5 --- results-loop/probe_discount.pt | Bin 0 -> 53017 bytes results-loop/probe_discount_ff.pt | Bin 0 -> 69204 bytes scripts/probe_discount.py | 115 ++++++++++++++++++++++++++++++ 3 files changed, 115 insertions(+) create mode 100644 results-loop/probe_discount.pt create mode 100644 results-loop/probe_discount_ff.pt create mode 100644 scripts/probe_discount.py diff --git a/results-loop/probe_discount.pt b/results-loop/probe_discount.pt new file mode 100644 index 0000000000000000000000000000000000000000..49439544e5c3c4964038edb61b418e2045c04a51 GIT binary patch literal 53017 zcmce<2UrwK*S1SAkOTuL1{4GV0hJ8XRn@Ji2!a935fM;P1P2Deh!JzdEGEo3=bQtI zIcLl{=X7SK`r$qH|FZqQ?fK7K*P^GZp0%oKbx+qlHPb`WFykTy1|}v3|Hq@8fw@7i z-^QJaVeVkq(rr0>w4PV zI`%2u;*&M@F-a+!6nm#YPy6V^So`=C`=mtsl<0&w`z}ez_FjI~?3225sc9dQlxE*E zHKv<=Y*Ji`eLQ!Q)JClhwV`^bjl=k}Ug{!Y#af$c%euxT#wAB<;$qcBTL)ec8D98_k)?qebWy8va*@l%5s}NQ(tWua=Smn6Z#k3y1 zl2Q_)JF87QsLfn?L3CXPz$V()^j5i@HofnKge_(?xB=pLw~c%kpP_F6wgp8FNwF7SxvK&%9mK74(C4 zX`kq#uE-0u%~j&hw9VP^XEj{ZmH9Jm=qmh~*4dsv(}s57&-`7~Rrxb*6vzLBcG8~~ zF8nCCsH<^};G%Zs&+J{)E(H->3nEnK&!~&qt#wgdDzwMWMeWW@qg>P;yoIDLF6tTu zg*EjlbkQAI7j-ROEV`&Y_2-I1!N)vB;#8nqA+W)S8YRy0#h!it6&W~%9^n3$x5gt!>pD<{RQ zNpfsla$Ib^_!y0unpKZfiyE~Qsjl5k+h{j56r7M0ttn`!j=m)?bx=2b3v~-xsK;BV zKdPH9P_RbbAW|KYsSXXZ;?cVCK6b<0R~t4ww4u#&$u=c{hRJ=+#|w&R}dxn~EBx?`j|>bK_n)Sb9fbb(W6 z?i9nFVm0cxNOhM?b=R;`zcuHt?#4ai3p~4X&mP<}L8I;&sZRW@xd3$%cj{H(q~=b^ z+$lw))=}L7kEwJ zUK6?3B#nAbq05xsZr00RL}msK_7KC_nK4SHJ5wM z<6iSM>IISNoJ{q?Fq_{S^i?n7u8Rv?mvGmm+;y2oy*yIA;`avq)GN8yssgXo+-nW@ zTB}j7i&U@ARBs3?`+I}_>W$oWQ-SMd?z)A$Zq=x_MXI;|-e7=w2lv`p;I)f;?dD#4 zH0r&P>V28&{bA*PZ!l1OfV&PwO8%fB_~?WMlLy{;B`UE^NYxz`Pi z`evm1R;K!PSoz-@^j6>Du6GMu^SSFi?s{LNeh{gC_POt`ae>zp?)8*=J=3V4 zN2*_Bs$Ygx_`N}2^(*fBy1?}fcYVuU-)YqEBh?>%Z_rQuk$ZhA@cPWXzHqOv8uhnG z_4iEmkFbirH|Vea$z6ZJHQ7K*E_&}|L+vwtfMg@>GflFw_HSfz5$)gK+Yd-Csw>l7 z#*>R_pB02EuHE6GOtjB@CTsQnve_gn9LJd-PFOL<5;?X!ZAm33l$@2Y5@@sRe~XPRUO?cd1c zs@lK5_0GpD*-=-f@12wOSwX03+8rLsS^JEKa?w81B)e+=MkZI+{>@Bw)BX*s{Cn@b zlijtYJfw&ASwYAeIf!e>B$tvyN)Yj(O3w~^T*LY2o4$D)L1#Ri?&G;r0U74!U zL_{-5U#?72XFMg8*e8bnnV)c?Jjh{F@FOvC=lDeMAq? zjorY&ZwudwPWoMg`+V0xsmorVJ6Hw=D|LjfeH5lcxm^g?L63N-NBjS`bw2WVvgGZV zGQ3~tPe*w?N*($MJ#@&|+)X^r+`&9AVP$y(buD%8<_rw(UgzbFyK^1t(at&D1w#8k zyve8e{)HYqPQLEdu6>-Iz~dnf;v(LW(|VZ!`h)lwFZ}Lg|K2ae>9&viLx(tGZ(gp{ zq1>E@Gk_oVzsT*Ny&LlWRe6i?-jV%tXY+9`&FABOqr0MMAE<|ZaC_dL@|F2^p}bX& z7sqXDC9YG(*`<5AX&+yCGX?FuJ;&QeduRvkB96lt-f^`1P97KXUCfflM?a3s=bQUV zUXHlm2lMujw_beLAj5|1P@Zqc_YLKI_29b($S3lhAeSTW7zg@|{9>HQv(F;#c;FlF zz%w0tXdi~U*;BWb+lB6MyuR4rY*)UWQIc;5>ZU^N194D}IHf!3s|`NL`9~gF%i|t7 zg4g@X;|-C^p+_9_2l3^XmjU{ zhu0tKp;yL3f0eo)<#?P(9hhk!g~fwE`iJ-!H^vEnj1zuJ-HBSfUEZn|1>*QV@)TK> z@1wu)$GCMf*U|?OZE9C@{3t?-nD9ao7JH-&2uxPb)TQ2r$z_SGi%&w?;+*%HdxwEqwh4P z6>3=)m~r>%^nke){gro%z#jCOCO+wQkg03UV8KVM^kzCDR^0#KG8@t68a-TU8lAE? zo=%E3WCO2!AVD9lkRQGGl8Bod$-!RZ#kIM0#q>$V#BsCEvV?s#nU$d{n}0Hw+H9Lk z*OeMe{YKTMOFsIFI*a_cf(bEA*p(sy?8ed~tiy`tY+3cvEO+@mshZI3B7e@GL7%?oNg>PfG&DlLvPMQ%F`frTsfM63X5rE$1=JZu>|*r)VBKsaryf-tfKiOX6SQ|ehgef+nNj)zkJ_L zgGyGTN#q!r_-ipK6&uJZ2i9OcSKp=%_UGuC6(eZW?z!UI(es(kmWNKD4ae&R%{*UJZ!?Zv6&pad1u}Rt<~jE%TZ$Ykt*&z3Y6P=FHwt_g!B>y=qKlR~8Rt-8NKVGhbS;j6I*} z(zFQLeBm0hyF@Rt^GY+l4e3#xHX3${46>ZBw_DOU^2D?aTVA|+ff+6`W^Fom5j|T~ z7Edj?%0Bfz$@bEDY;|Xqg~TKD(5PH_qf`*PXq`vuWq?DK*tXLycX0mAzwVoeFr3oR@50g7gJTZme-rU6|f_U8>9$E=-dW`t2e*TQioCyTL9bX72~_hoQHaQzw~;u5DOZ zgK(yMeY*RWs${RdZtLuyUY~aV_4Vl;98|vW*XQ}w{K_$>H@`r)ufeYumh$}8qZ6Mn zlsc4W9OeE^hW{Q1depxQ;&Hx2@GaVd4&~6n@BeGv>^Z#s_qunF+J|RpKHgk;-fyy) z?>nC4^+(t9{d}1N7O8liHm&6K*e;hRX4E6@U6JcA$nlTMTlnS4`_S9S{e#|1o){B-*4spgC5*~IM@eg;QBvzF3$t_0`bs)#9g|9k25=*w}UuC)qLOAk;g$hm&Wn& zLWlBqi@2`8JP!DQYj7TvOXG2I9?m<#_j}76p#SVZTZHpv{ybj)+=6e>{|9Y(dyl+$ zIgZ2k#=L)M7kV7O=FfQjgR0yQdHuoDU~ow0k9k~XP(E zXe;Lh{Zr;onQ!d?+> zb6zhW&H^4rd+0yLtBj90C?C^_$1CR{$K~BE=s)5$lQ|iBY*CNA<9dVqp*{2uI>hTp zc)QB+c935$=qJtxr4D&O{T#FZ9sX`6F)ZAC9j&vi zInCQyk5ou>ElvBbG@vWo zHVEoRn%~U4uCD-_XI(|m*$@{ap>wHaDxdp9^ftCw8&z<5LAZ3TrcmC+L@;aeTGjB( zTGhZO5kkY2u6pxKsVs~fQCxVj>W1Le__Pr6c8lJ!`i>V?S#%b!*EJW_N!Q4z)APvn z{=-OB%j-h7S)27{QDmL4Wqu!_x5qbHdQCdb&3Q@AwOmhX4DLs+_X(CFmcM4-dTtg< z$4?XDj!hEg>}oA;ZJJF3T&L0oR&PkR4f_e{S4nvG>Aq^B?d1Zi6qqjDoarZM#+4OX zC6*Aj-Y6pMo_SetZY>FK4{cJpon5ZC zJ$*an2H9}5h7@1+JFPw90ZnOkhz{QrM!RfY!alw$!^XA0O>g$uNLL>jLrY%_VvDkd z(Kc?YNU0Bl$+D#hBsVNf`hKo2i(EB;+Q+r0lR_%diG%t`&n*ViGSill&odhdP1Sxv zUSo6Vc4#-ze#L&)ueSpWx_OXx+jdjjA7CL?+xLcP4qc`{^H0$?Mz6&(V>*cytEaH( zgRR*1?FVV~sBdId-<}25q+Ap^Grxy;Y3t5yFJkIYK9b2?1IX5rK#$|+hT#~TSf$2?vXA<8{eXK8N-ElBU=h#6AV@QmC0R2-*kcbIjvPos#RYURjtfXg7}^Ew39Xbtp&NR~Gz2 z{3jjaDs_m1xX>x*ZCsym-Ntnq^E2wfA<$tSRPHyv#Piu?0^h<9ah35fzak#=m>AdlcB_#qCqD2KnZ{JsMI(19PJ$8muUThtr1;pZ>>&`F8p|+U)}of{(?`?FPyjFDXe=zhx0$yo#+2@ zbG`+)V7zZ4dATw!))P^W^9O!tUpa1^SMUQDA|CPp9ohv4L635@Qy7;)2i{ZaF<$7D z_3%R;kvDK8UjNWVci{O#9K;1LqMwMT950SP#{0kJLS;O}L0rVs%}@E24$S-a{OI>r z{J7-D61J(=Xm+M=N4EEs3o|-s$81g?XZ<&hX5QgLn9JsRY)b_nR;y`6Q3_3ApVx)5 zppsSfHcYS+&$n*F>K6-OmFrh$)rZ}st#j?g9!-~#oWBHY;9UR8yne9Z!S5Lh*T?t zl(_U(m|5k%kREYd`1DGm_E$fVrQ5HON3B+ni$&*?oy9BB1e14UeaKC{H3~UMR-a81 z&)GK+@9xT>6W65D&$(Ubz9y#9kq1x3llS)t!m*LU*O9YTxgnx>cH|i*Rqe(+E>>s1 z>Xu?toy?_~Cv8OEt()1@J9F5E(~c}UBw0GQp)ITEF+A|%IxzdvJ;W- z#H&R;XuFj&$m<=Mq*=c%WP9!9^#1I1$c{xmAYU|c|i#fAFtama>oMK@iR%tSf4R0R72FK43t?xUC4|cy~q36 za$Pg&sOJOb+hiVXGscb19I}#Z8Pi9)aB?SIIdiJeqUBRn5m#H);=L85RV_z}cPC$^ z&6AhwtxmbSqT13`Gu+U76l18@lfD}jjF)CcO3&a zSY}Am&o&`bJDyj)o0SsSKh`MlVY^i6iAhy9DsQl`qK>6d>VdPKAAinry!Y?<(f@zM zkKn&YF8sO$?gCeW&!EHS(1q!g_3%S{#QXnCH%MM@!*v_|z`TU{3hR>46vvW8gHU{q9k-5O$uTd2AD{;}f(ua(J#^p-%m>gR z58xTBKVtrZ4)LHzKH#U+Dcge|#*6bn&9TM+TvK0O?}P6CMt**RA4|!f2ZPt31IHon zh=X>NI`E^CtDpl1q8-FPBY*I%EXVnUaU5I7`;BoUpU4;ThyE(_2R|G?=#@IuLjOH^hYw_3bP0eBIaGtDt>=D=|Kt zfAB-RKdnE4gP>FP3tWc&gV&%#ImQn?UgywZ9H>|N!5{pHdgK$=1!X+w;HUgt8F|6+ z$9Tbe%KV`o`v0v?$B*YeS>F8j{21_8{1}luUL5{y8>`rECUYwu%r+Gl*!YX-;%Dn; z%;xQI_P%UKw)&$7TUvgJ*dhA?vpYS9Z9A39i~=9iBf0BDb=-S)?bHTlv92<+_V`3A zj$A7`IU9;yS7fs*hSqGD`Zj$#ZH*YVJ)e!(lFSl{F=n*ZlDP?^Svk{sY=V(FyXE+U zTDAQ^+pby2GEJtk&h4AAD&vFMlG#oyd`2<}t{h74yriVMQyF6T`JHgA{}qzlXCs-r zu{R0W-<2%f(uT}vT9I9B)|ob{=|N{c{XsUlTp*3BW{ELBnfS6<8MfQ080)z`hiPVQ3xNMqN?9;jd*F~SmwF3EAxHp$V&dQWOj$zOS>)iv2CMT(hh4* zkTG9clZBU3rB7|DGWSjnfk`)S_?Ni9*MH;vCQ|Yj16KV0FBxt*sM&f0`f}_A@k{g&_IN}DvwRZBsv4DKExvY=qU{=z5w{p=(ea9K^35LM zn(rC*c6=>5?&Ag0&nuLS&2=UV51(h56-u(~ANObf42VK4H%2XSHa3u(asm z<;u?YwAP#R-XfA8J0RvvQ?cPki?g@`yU4sTb;O)u6-DQ`6KrtBmZXsI{j+aJYWuj-3eUxu@d-+$57 z+RxOhx3rK}bZsUsGf}ZUwQ8~8cAMy$)UUMv<^|Mw^LT0-(ot`Y6Ya$2hl`2Ak$TMc zS|Ho#;K(Y~(MVl3yR%2Zp@PnKq+eEfeCRLDENMa846`SP>RJgy%>|Xi;(=1&(Z!@( zrl0CWJPX`-r*wes^;tQ$RpWopkAeTlj}_K)FalrU`&;0~9V7Ym8}%rMAM}`yphG!y z{d8Zm);{3>Cmp^&^nXidx08=6sRrMozguGX{_GNbi|ageZRO8}9uDI5xw@~5YagEN z`F4fwYueg}x*^}zi_`BK;B#tlB0kr&ka-DlP>=Z@?ZO}N(LUyj_S1NK;0g2}`_O?W z`mf>r^5q)?a18VqCqBn+_JVg5^@s;Q@D1i$r4H?4o&w)uoTdGEN4&!L7VD1SKIp)W zDMz^O`Z2zJCI?QF*KH6Fe%~y9*P-0tGcN}Rf+MjG2_5(m#{tI=emHO7k8zkF zcv3lD@E*<+#6>yuXa_tEJ;sgm4}RcB^h>G3xR4+IYWdIiInf^40jDYX4{^{AIIcj) zhhOmdHFU~&D2Knhd?A1idB+wy^b`K*k8->iCwLHX3)3MV(Em?$y7}o>%9_-F&yT9V z;>Xd??z4JtwlXm*lf7%`!yI$WS>t)zS?P%rSyQnsGcECkTI}3O$B#H74*yj|BwlY> zW8aOmX=o=}vhOMJOW$Yg>)!P&BCR7^*JnF*UH3$M-P}SPoU@korT*-~&IL57%op)i z?J}ZO-cm+;8ne+AI@7c6{xqzrJ2kpff_Aw(o$Q>HK$?9GB`?D5h+Q`$^492su;$Dj zVPjJ#p;*leD%dk|v8w#4OrdjFlu-OogfPE@qo8pwDa>uZRd6((Av}54R7mL(D6|u5 z2r=cmla#0J$oc#BdOJ4zt59u8eeuqV^5Ta~BkI*8m*}i`ctc{@<%2MD)JEY`uerjx zD~~?R4Wbn$%^*5EaICR(B>w{&)vY`^m3~Lq9MC|RyQ04|V%~MKFy@BP zct-_cbmThKoSZB=b5b|b!L=+I?z}~?GMX+_9sGfWFL+4YmR%w5z4wxO`EAHsuR+v1 zzKvkZ!u8gR`3k3swIvmQ3=?in4-#7KaMzo2z15%H@o2&EOG}~6nFMn%}qp@`=p|c)QdtAl~)4f8cTxDQv!4q^Z}~7MGiJiDMqk zY50Q`dHaGbv01|w^>$*97Qd#e7L^v~IlW`mogA!ye(Mx-4jcuV{fCM*T z-3PojU*?)JGA}`geWhNKzh@2|;wbfh(xD#l3yb$}b;IQAJL0<6=ltL)-+wV){ysU% z8w}$0@I!q`S6=R>yYo!@z<&FVe7~B!-8_Tui|c;Zk1NjiOUT?=s{!9f9QY$X{L!xp zE4jXx2j7AhkJ<8laD$RBP!4^Ne4KHA2K3N@TQE`wu_F1rK7q5u68pfewDqgCCXa zd*D2b1M7+yKk5+=@s)bi?eY6Koggsu%7SS zS@rhM>55mir5zrt*^aqUZ00OSy;WaZPdrnjxEQfzA}jSQnAwdi#p0Spi}}4qu?ka@ zS=GK?EMdDdyZ?Ers4_Jc$5h_LdX=2TYE~G{R=uaq3J$+i+KJz}fZv-n_+ko|KpHEw4&DL911!Jj--$^lMRut74 zXH!HkP+wY~(^)i}u!6jq*G#3eL(cW2 zvbmka>{32--s{go`ybPU)a4(<7=x+es)74i?MMf`b)0d4p4hRH79TgAUiPrk+l?9# zQpW>M;^*P6bg|z&k}+s3sS&nT{MjW_Y-IX`{g8IDeNX4I4PD)(uZi`etRh` z60w17{MkTixIBwBZ#anUonXu=CFIaeZZ4!M7KML+5H#MPQ$evsI_HfMXA#3 zNvwL)7*^iIiv=tlP5sMs(%bbt_37Bh#p!}OugH)~&BUvRO+??r$*iB)l8tL-#!fZs zCAB-7$~w~5sum4HRK50ls)kvlNxSM4XYm_{2#N1Ms(Ln#SKTX1!(x1d8k^q=I*Sww;4Q>~9`R6*_A$Ss9P4}FLnQ|&b>K(iK%N)y!=$Ese|Zw$g74sua&RE@ z;5hUH+q2F2ap)A@FMh>?=T;pwBqd}KISv<4AvdtKUV(UZHj!~4EPYo>4bbgFY*o!3+&9_2*jB4 z_Hg{5!#?!aI`O=j=ziTo`*<;e@1q{~|KAVb@o>MiQitP%eD=)X{Xm|PU!|_$4IUTy z0vCZB!BOBf+Tr+_>rs?-%$I?SKctFX$II5}((C!*KlJ zkM^*SeuEp~2cAN`(hqvXM?J<1KeU5=o~K6JPqL5KbzzqsF9Sr5)b zT;vn+5C{IK$NkUHp}es87zg@|Jm5UQxRp9({hv4!{D}BEeq6eE(3`*DN9_$X|DGQQ zls+jwy!C{QDeb`wC+5&}O%(0bYaKJ%Je!p@Y00kMrL3m?1Dd5dz;xDra{wD$+KL&h zI7HtKxx|7S?`E^KeDGAu2OHjAp$F~uvsDQzSe;#sS&E?p>u~HV9h0(_>8$d3qBr0D z)tGB&dGY0&?JVKUL^gd!1}il&n)#M(DMeLHXZCmUXpG$gS}d&tB_#)mR<;k=rP)i_ z;Ngwg`24iJ4h2e*RokBVri$xq15BW zdvYp%kLdcPj2O{1f{`;mtjH5LMi#_N23J?Jrf2NPg}D)duC5INu7`D|otUTI-j1k9 zb$0t&h_vUyQ11eEHTMl zZ@=1|7pr>@64}$qY(#)Jn-^@yT%t=$@AtWg@pq@NyNkow)$G@_>@Pbn|BhMrRuzaK1#Nny-ysVl2F?Iiu~ zxsPt&5GieMQbf$UyNFgzGo>5%^dl$NoD$tU+lx_#Ic!(-IU2frJMEI)R$8(4IcwRo zBK=g|ly2D)OSZ4=DYe@(ifvw*PV&nJt1POS=+_@B2Q6*-7yPKbf#%Qr7$dJk8Lr`1 zn!7FeymI*s--6Fj4n67*%IiANxp(?K4!92MhJVt5OQC~5+DCk)4&_QcbXX4ppB%W( z2M*o<2Nb4T9M1Cr9sI#@h>PDL0nb4HTE5>J@xdGLht8=#@0Zy_-d`SWh@ zBRCK`tRtcv#}~&3yrfRz{I|9^j|*-@-mrxZ-*bdN{Ge0jIYQ=X@FvEOJRxu3$2Mj8 z@kaiTH{=U`f6{>qaGc=3*qp})M}i;0ljskAM+W?Y^9me;csNg?hYoy+c<49$z@Zoi z%E5!sqaGXy9rA+s$QS&fLw$js58nV>sMH}};5~3N$`KEF!8)We4!96Ha3tasl=IWi z0Ojz*?*l2@L;j(|Iwji2IFS#;MV!KP;7go0N*(GE7djn3ragGM?=SdKdjrkC=f@tJ zT_pF=WHPd{o!;s$Gb29N!ieibAH7+HeiC%H;`~UGouSrS18Yh)eXT}vPK+V7cJ|iW zXqVbVXVr2>kot9-6`1WvC-N?C4C!myn+&jTqc^F1bz+)1n;euzk>N*MkXy^B-uis- zV@6Z#S;u$RQ3bZzd_6NA$=IJhIlg|Q5^NW7u&sn=xxO5X{_3#?##MT z6Lz|f_B(jbZqjvg7BH9j2HM5wiksI%UybtR-3Rq@`mcH$-N8oMAON%#IlL3Rzx&Q zyBy4#-@HI|HezZEF(kLNICk-UR=Kw|3oT;Iws?Ecg{|t7SqqAjo7gWdg@$?Be}A?nO6y1W?EuDDpWW&^g*Z-m}TEKX!+_LS7y!>YsCe8T{? zWRQd2GBYjN<8*6rcV2Ba-?c2;HM9s@+BJ`E926tHzI2`5Yt@5R2o0ci{)b4`GC?wb z+CnT6wTb4m{6fm~9!}=}GL*{g8X|t#qy4=fqoab(ZXQgMzV<#zo!sisaR-XfA;xhBUn3#3M^-@z+v;E5g_cpE_cx%Q0sdCyWa;sZW;xy=os)w*fb-O{hbjJNAYaAEI zYDPArtyKABawm-xUhO%pbA2MYV%LDw-Byd3juoZcT9nfpZG@4Lnywp4XMS z@sZpgx^=$%_&|sLqd(ArC!s?*+Ex0M9?IkTnei?1zq>r&Cl-7Q{=vM8c^>mrs_v(O zwGYfQ&|_YM4)c@KT^<)4SvP|3R1oL*0Z*b(UP+s05miGg%NAL~ahrM0S>+!pP;Kph4@9p6C z9ybl;dHW%E1YC*tAvmvao^`Y5ansxKZP90Zi|>WLU%=yG+!&uSAIL*1NA3?D{J?qm ze4UT_Ki_{;@*?#3J}UBocsP&oJ`o%Tu7eKc@Za~2xBSh4_Y>u3Dc^4)zu&Nxzu$s5 z(19Nj7wsv>i~Jxj=r44r$N2%>3*L=Ce$EZOZhl%2F>Uc*@T2wynt#ua_jcI{M!x2H zYq9==N@s3YDhQcZE~wsL+*x3^ySEeC*%TFg?>|++GLL2o_Xj!(XF^IA*vp|)h2Y_h zgt}JtdK+E4gs{7Dme8qxL&0x@o!+LonF|S@^M$cLXA70TCJQxsw$$75ydq3zQ8)7F z#c^Bo7JTRz$=-7JH*=rNn3e5DI;8IyI=FTly;Z)whn8&-PWvWV&@y|j5uHtldMg~g zfAKdnAAN=vHQh#S<8$=3tl0$Gqs=mQIv|`K4)kRc%&X|lwKkI+F1RuA&K5c%VLbhE zsRM2C{D?Sd>{_u$bwjaTNs;YJ%cVD*Q-wjTTMJ8`i-N~`YoSY^u}~~~j>@pynBT15 zKsPpF*cMu)+ITuOzc1a_wF7{DS~1y+4z#zaOEu*Mf@bENSIvvA60GGkrFf6-{o-D%-oUvnf-= zkJi3o?5IzypW`%UwZonbU=4&?7i#Iv&b^|bvrc_aF#qaf*uDL&^|mxrVkSxZS^Yi! z%(uP+JGlBL)mgKO9QHJWx>|<*yTP8>AlUJXt#yYlFPix?Af)c zbnDO?Wcm2%!2dAKXOdalzxIv5fyth-HccBA^ zfG=LHlnW7$5YSgM8fM+w$WE zKg=(fr)2CcSZ4v>G}HYX4ejG`4sT~^INyRF!IQ{4+W#r@hA8(FyolohJ<6fO=ibld z-{Zr0tE}Pec9h%SX~_Gf%pdaqtRk;RzLh#0U({#b<9R~f&glM+gZ6>;J@4pu4Vq^2 zEyf8>07rn^!41khgAc$9;DZGXczfIB@0qCO&kMkfUF6>>2S0)v!7aEC4*UoXnk0_{ zI&b-V9q1p%i}S)>K3-+yt%1D7cyT`t#@#{YY{bL(a9&~j7%%b!9e5Eui28!>Ew1PJ zMmgGrAI3AiJwHFtk5c?}H^?;M<={xvBR|jN>kQ%|PvA$yMI7)WcoKeyi+&;w+QE2{ z7vuxSALCK#P_N7*bf`yMoF~tC+O+eL_WtX!qlf(kKWcBF`S<*|S9rR*wP~0f?!muT4w$fQ|PSrlKk)gwwrhhy$EYX-< zy5z@N94;fyn>B{%EV)Z>=G3M-+Zg%Qsdsj^R088IH*iH=3{k}PP92l zW1sY+TUHK`q8v@=nUBSUV>?1sGb5e`1TR=A#@}1P-q-2M&ZnQD*)2jbwHIF~rAo zD4FTin@kzfn)W#Qh%_5>lI)u@mP{DwMnY$~OS?)<5IyU^p`pXPsCjKOYE8FMmuWe_ zSwzcz;>Qui#9d>~vO`5CGAFNr>}*z-c_#>}5DUW)e;-#*D=hu)25m(`o-x*L6@ z$#gKS;rX5%UpHK}>`;Iz`$vW}@0L-ZdBx%Wb}d``z4JHrYp?xH$mfn@RmWPVsWvr# z9uV`ZzyAK~p7kSF{QLDs?|;01CSSh3;d5bJ@1M%$)lB$>0y@-JKfvcB=+?;dKXfQp z>e0^M>W(V59^w}t8qQzATBr)JP3Zwljk|;qhxMEd%31O9*&cN?!TC6A4*=t z{Ez-Y?;@`kn#ml{TILhXN0@hB$;S)a2%gNZ#M{r1`xR%&_p9puZ<_Y;Q|=$y#c=`; z8g%4(a3YS|8+qK&!Ea<0uE+U_^9CG)abdj38`@Xq8*!jRJ&ps83-XQl$TK(!T!nV9 zg&y-c^vJ6+&(MJ%kY{k>2l+lRZ+V@o;B)JFJm26)a3VNm@M)emtV7~;Rd)g}$8{o7 zUdP0GB>Io>mHz`jD)ksIj)!u57(afuY6r);g7+zLn|S}+0XM zs>&(V{|MZB90`Tl!1zC}E1ps&s6(vEc>Fq$Za~ ziTySjGuWII?QivTsVI&<^`5RWy+X?^-9rufO`)nN7tyq{4ZE`XG5!2>p5FW_*AxfY zda`)!|8jw?4)+)LcMN2)i9aYT$39h>+h-dsI(Y|aE({_*XD$k7d=f?bz9q#_gI`Q% zEoU5I=Qa$Kc4jsqZut>Ha>6WC?ucHhD%WRHof#h;QDEx3Nz$UT)@)C`k+kck$)r;0 z$wH+WhGO;W$C-!Y26lYsXy$ZN!>ngjrAqTE+FLRjIFr7p=}fl#$`;a}Z&by-&X6{3 zRI55JjPU!gwUqDfpR;{V|L~Bi2@}PuN8@P8_ukatg&mD*6)f$!X)4Z7G-t7;{OFLy z*GZ3*3~6ZRVq~__kw91HH$D{?H}cwMqWwH~p^^9_>me)JKbJM`GnWn9Z!L{2yH9&B zP-pVEl_{~Gy+lZ_k}TcVeqNs*(_C0S;c>vlcQ^b8J4|Id8!>yR-oE|_XHKItr2GS? zg_-{Of#ZEg1=eXdMElM2K~l@9ue?lO6sr-Hw%wy+s)@(frV&!{TTbFl<1ut@l?B2B z&+)?cS$5LW72#s&3JdYWn;+!#;lpH4l%cpVS;KUevb~kwn%NGJinjSgW}G`9)Upf| zD(0_N6-`eTJAQ2;W|VrsjwWoPr8RD})x3&Q?5S&%?mep76f#QX_o=ih`0^vxbmmER zcKjyRaqd`VSG*m&Svf;G?9_~8uWzFAuNn|g#mLfM*XO-A5^H6?d0QiNSX>QpY{MFr zLZ1p3ujZ(9)@*Ej)w#pPRXW|%p+h~=&ze-JIY2g5=!o(cX_nI|v?vy3$Y+X+JjqE`V2eq~5Oo7($V%o^t#Xm-P=%pxBj-Rsk;qp{y#@Z&$;KZE%bT!(o8 z*KvGr5IU4&{s2e9U#Ua6QvW9%J|~9`ag^;V`&XC_-@C-TjQJjXSil!DKcXHy0v)&! zJc)RXHuCuwoYzYJT_5ltxB_v(6-ti8eKLrPc;HF2gE)wbc;FVqK{@oOhhJe_gZUoo zkKjY}3&%mpkMP611kM3Bf+I1HfgceM{0MHud4qOwoWOob7M*Q z9|VFQvHl2d1W%T5m3c^x4=%-Z1J?s^CHk-IH^!sPw^9!sI1=N-xWPd<&kEy5+_#l4 ze_sGR2_8cna3AWi&WJ6zQOSMaal}I$@FF-8{@8*evEB$iRq`X^f+Gv~QC>g&Q(nM- z&|$pDBkK88%%I@&YwSZ09sG3jQ$RiVme~%Y;+Q^lQXo z=t>qb{t$JZTe85i-QUwuOMK|eHy=sM7gtIA(W#{U{u~;a@rvjyd)6XyKBzOfxNZsU z_{EG~4*fvdr(Gf4c6KEVzm2A^!j0*~p(lyX&c13(s$T6NJzX=2t$V+O_A54oI$v8x zT#H$VlG7(*PTI~UIwSq(Qk~tpF{Z#uhUbbg1FMVovTQ_e zXYJ>%jk>dU+WWa%`gn*XTx+sQj)Q1&mnFn`{Al|Bw&`Ov+WuxpVF6;`!LacGZC>>V z=rX`3pvka!X>@~)Y~1Mys@g$i14_L%_j9OGT$;LhqL|_l%4V#p#A;dYp+moUNQ2+j z6c0)!;@l2t64M}AdcM9bOL^T=Wt*NkxJZ#8ay)2n#<9Qk7d;B%uHN;S6@@Y7ge+*pxME z5+}7-xS4er|B{40sGzsD&oZQ=?u%8y4n4i5oHX+s5In8sh{Qzc*PRqLu4oZDrAT?< z(dJ-Ps-KNi^p~4h)T5}_soy}_Zb~P5v9h&f(Q!Vr8(dCr`@cP-9V+yacJDh$w{}XW zx9cw;uf6+`#^djcmH|t}&mWD%hmV5jv-d^m`wPKRpPMn_>=Uz86KQGHB+piXWO_Nt z{BVD<-|lnlOo@ujX#8bT!zWyNJ*=@9Qe=_pa(0^PWUoB!r!9k|U3=En9I@N8W_Q(n zJwGn^Tv2@R`Ykg%zJjdXI*l~;XrlcuQG+D0XHU1aedakwFE8u7$o6!##+EIm+~FtL zyr+GsWmW(^l;S~c7pF;~URP+&ZC^6w&I;je>J(w-&@^dr>GO2={WnB9KG*l`=gmHj zqX$YspI4B+WA3Q-j0p|AK53tSj+P%YUT^k)y(ikYp=O--u}5+Ge-B<^OOw8T!H@rV z{|x3)a2I$C*Ky2`&?(E6T%pt<9^w}kPpQNAD*qHusY5%6hyFr`c^UINxDcG7U>g^x#M6D@@|!#{7bLy)b^nebX!q+Qo4KAA%dfk>E$@z>U!V zi67ApKF7v>VR=M;3aiKQ!2Q@5C)OWF)D#wd*j1zG%K8zb&gY&E~egqG;NaXnjM}o^}QC<#C z{8@_ctK{`el!N<_$ItRQ?gsgH>=6$-a3nbKrkoelpJ>C|K|SL3u;=9%AL3#ivw$Dv z_q&DV1^kEnK!>>CLFkZI=ui%QJqO+|Z@$rgex1(l?f46R{HyzC64#ir^wLAiEZC_9&K`PrLxIBlahf2UfkpM&=QVfTGUbQU#lH#t4|G;Mga7`4rR zL84!tC9?)DB<V(6>$Q5x-f-^tM6BCV3Ah(2x7h6MB0G`TAs$-bUB$E=_Gwibc0f zrV-RI6e%K%uda(hk z*49&Rxi!6|5NQRQe94~md|iUAwz)~yS8jj!R}C|vvDTg%-zn8 zjo!b18D7y^{HR#TGD1?h9otdDcoAB@k#mV z?ZX=E@@~>0S!x*V##)rJrJn-_2_x6+QW-5gFK&L_Kx~!lDc1jL#tx@nq0xP-N!u#U zWmC=?v$tNGY3ieS)ZDeMl;PEx^_bIu^-EYn{SL;`<~BX0I(aEH zqWS()s9)@^pkG(aP4!;rbj@qqkbPbYrlors(f-n^pvu&+`T=2N+!i6+f4W}xCaJc^ z;7v8$N*a7})>-V^9#VI|<8<=IY`wKBZB9G(=_}bq+EUZ}x}=zyD{0c%g$(bPBz2o? z%{1K~(YNzN@8;~0SIFQ5sjSr~mbbAs(b?bwPlU8L8B(@oCDpr((ScX5xcgsvbkk4w z{;sx9V9CGW$A7$krZC>ZdflS2oR@Ij2VW@tp#R_M5C?I=ead)$(xD#hE8`$O<|)kg z;0$o$J^6Z!^+l9dUBD+2a3eSq@xYDvy~e$@_yzV){0P1P{~;du5B&y5q8;=fJgSTX z|3B#p<44Tj;G?gt`FN0D^z&Rxetv)(FPL#1<{`{m;Ky(Bx)uBp4;%@81YhC4Z0K>k zz=PmNa3i*baU=YZSBww+z=6%ff;7ITtxDlKJevFpCx2WVttT$pEQu+Bc_>n&3$DLa9E!smKF%I+} zg8xts?!!7E zxKbGpI`|*deuAZYG_vDc8~O8Y#641%_X~dDN%SB6JRuLfguG7vV?MtwL8r{m1Kym$ z3Hf@2dgxEcpF@Kap@(k&1YYCTiw6QfLa&>j-u&|3@)!L0SNG3UUpvJ-Wt>aFOup)5MZL|l3CHM>%JvffNORboE3 z?~3)uEK7qhQ@ zXQx_?V0G`6WZx{K^=3XNnCWara4oj+iIud@^^W-U)vkbq17ZgJw%sUMimcBfWhMx8!WgOwM=9-1NSSA-AiI^ZMK+0vAAqW`rR zMyx|wNgp$I;n_PX-5Drdt`|VgUO6M=?y~i(-(2v$v3#I3vBXN!*7S$(UfW7O@k2G< z{mu4?lcqKj6MOoJ_X7{GV+JGWx21bUJC8BR)7f+FnxD;`bH2xIclg?Lb@M&7 zuaxhJHc`@tX1my=H0}2!zWb312W|+Zv~0JgQ47`kZF2+mEg$D!bLb4e&W~oWr>`ahZa%Y z@+>0RtZ)~9_!Vb5>$~_R9ayEkbk8}OP2L2Tlavt&qQWrM!Ozd@w0F9ykTu0uDw!^hzB* zR|OxU-M|>$zZ`kKijlwPhWQ-*#BqimJc;=o^E&u3c{`7b`3e5uNAOjKysm@KvC$rm z5BO2J?x^HPtT&EyIvGeYJ?a1yw&uRLzV zNBiI{tV6<2nP=n`e1N=z=fErA$UpHTxDgz=UjCdL-zxw&7I37@k00&%amIMjUyK`{ zTVR~nV!Y5}+{nLje9H0TevdlxdLqUPz6+MW|GHkT2bY1z_N?b*1m1!_xDMQi@`@$+ zI8Ed&;wkm`yc_(8IN(SF3myl4J>>l1ID!+E{Fo_^2Rh_OnHTUL>Y-Qi<7AmLmHOy# z-aqgoI8!%2HFP#^{uliCSNG3!ydF<|ci7Xo%Oz+`o3CWu%NxYujSoAzU>~)aWl!6< zd?gRh9w2ugouSTCCeXc$iqmEd&J&$Yj9Nu|Rh~gJmi!<(8*t?|v7a!57SG9~tL#ha zEw1xVQf7ZIdM|^}w#7;pm|fAX(y+<`)!ChkzsMT#C^=H&plH$i2Wv)4=`GXUfJr`= z#iT*YS<|20*t$85^tP{itmN}+Dyz8t22DNxOUQDYEeu>%S$dEbFD^LzozfkvX{V+$ z>3EAOQq-(rVu`pPRA+Bul4$*9R?_9;GsU=|Q7pL89J+P3H7$L*tfUD)Ee0R=CT}dK z3PmPY5lp+ckRohdMW+Uf1cQ3JR6|F%R2im(OLS}?J2|i!t-s5V^eb~hNN-n0`ZCN| z9H`#M^0KDWJ8hfNSB*2Ikk;P?Gyh+z@kg4g8eK^VeD~a5%18(l-GcII$l%#@5*bCK zZ)8Y`2Y;!ot)>R7ifb0&bj~86?wEGc1ow$-PU=85XI&g=zp)`P{3=NU8ubxJN?v5l z-rYh<{19Pz-Yc=xg7c!vw;}uW*^G56zL&;C_L0KpT%ap^-3pw`ItRE8tQc_icDfYc z6GKZU>?Y%mepaR2pQg&IyiQCVO~q%GH?XTto9NdsbLq+_sgi9*C+gHOgy`(aW>X?M z)R*d-*s&ke-_st~F4IXa7WCJUK2q=z?fstqIIh`Bu^L}^#K33htDg&$NZPMy#%<{`HW^8IBxerMfx9{>`I=gE;k-8PBP2Dur ze=~;-4W;@QrZJsGq&YC7^gE>9K_|(1*=#X%=_5MSe;&=w>q{om+hVYIl$CltQg5BZ zS}>pfKg3FVXNv6>8nOl68>r57ug}r9OI-W+{OI$K_s`(E4PFFqfxp0M&|%(1J^W_L zA87nZcUZpP0XoD%T*NC(hkA$a{CZZHPFW8>%unFM`q6y-?Aa+E@0JP0rc{?BF z|91(lM0;3o1V4T=<$7=;`0=H@F0)8(7u<;7@4zLaG{Bf}{{&?IG z?11}yUO2RXdH}w6!RUJYB!BVtJ38xIcPZ+2h}e@`8$&haxi&3 zx;*3~u706A&fT|PufMTLPjWN$Z};5Cez$)kJGnzY_EY=in94-AgXHQiem@&twq|rE zX}4{NjlUDO^y47b>As$XI+tPR>b2P2vo9CqQ9zQ_6Uf$f9;DwL(p>2XeMy*ZZ zvSRpkgyN1c)m|1%-)+Zq?=ZgXtfy_+-Q_FEu=Mu~(zh~=JHF={bFr#U8{U4Ec9Hvs zTCVqOF1O_hTzushRO|1r_k8dpGfeHzmAY4xuCdv8|L{e)e{Dy+sj8msKR$=Okb0Yx z_@2RmH7U5DPbyd8Rf** z+?eZ&2N&Pt*Ok9VzJ31!iRk?e*|lK>S9z(rT=xtY{wtJU@B1uC_Be=!cUy@p_s&I!)txaFFLkSCiSYO1)_1ESs(D%x+HxVT zFL%a8yIi>KHwbH+GnTxW^)se&WZ5Bh{-R0}?3zv*tfrIwt+b?N^=fwA>NR9fI}0+$ zss?LA)*ATZ{EC2SufQMwa{dgww}4-n^GBurYv6s5584d@&-^^RuYuQ@>p?o;{V!hl zvU>1d0{#cQ5O|{h_d;A$IuE?E{;0q&0I#{7akCKEfj_o3?k^7QK)^GAHv-?-@|lni z>dBn90H1W)Cg{QY7xDux@D(Ng2t3A|-@tX1_#?DKf?dF)zz*P#4g5$C`UkvbR+&&w z)yDM)hdK)HDd3Ud2f!P^4&al(BcYywKLSsL_DJ(~Na(-5VeBsl{s?>$t^?(O^`S1! z6zbPuvtTEb7p@QbP;Q&if*#aA+z+@9(C!#u{9R(sr=a|Rw=h?zKS+n`Lj3@b0$v66 zZ2Y;X0@ot?i> z|G+1KHvxYck3?xdcbw`UI8D z2t(G<{1`M|J}(QyvHlYg75w{9gVZmX!D&j@HyX*t0(*J{&p{KWEbGa z&G=#w^56ZwK?=TcL7zWMs#Gdm!)D|erOy*QX z5_i5&*7=v6I_zVwdu{&)ty4}9ZE9sI7c*FkhJ`Ttn~fcrz2_{Lr?nHfZy%p0>Etk? z;+FSB|Deq%F15=}q6%n1${!xbAHTI5zqTli``~)DK4xf?u6v(D+S+iQM0HB$wziK# zy7>3>ZU^Tx+e!kM$-R!U6UN4~7i_N+);^Jh#JxdAGVD!u zf$wjaO2$5ZAM=_|v5zK&b5OsIS5#H$|9r5G$=BwWCpBzDm)_XD<1w_y7Nae#YRQqgZ+z%Lli0_mj7&VS zmNY%Z!A(J2 z<~;N}ji09RG&^Xrj>b{DilwSwFUP4VGL5I}9C9@dSEp)ee5J9L#@83W>OZHM_0vVK z`{`}HomV%hJH`a-XzYeKPUH8Nj~@)Av71`hsryRr&{M6|Vc%_6`)t{vnl;}-O=CNa z@ieyobEWwImE~%HzMuT=mS?^cf1DMSkQf~o`zq@{s@hTu&TN<(O!+hwKGMA5u6=A^24lr5wnw` z;u0dG63kKZYlFsur@bjc`AUjnxV4_<5bo-Z-GEGqAp-fKH)e(yAow}V;(K*!Ziu72 z6%G8YlY`)IzZfEY9n(SHicJ2-$wBZd@rWU6x|QU}TjAMD9)jNtTMY3m+xfb@6{mS0 zm9v7Mk0XXS`>6e8c`M@k$wLe@hv7d72GNsM6|s(>N!QPce`#27pHSr2mF z;U#fW(>3_T7=cq1FeF}Tx=ykfqaj)WL*k~UYq^RsGWi(_vSpF@sp)!qVhqnDc?@rf zpPH@-CdN4Zi2{biPfgct5o5%sDqu+b)O2kLF@|lr0*1s-P3QlLF?K9cz>xT<=^RBd zM&L3942hqb&La_HH1NH}a`)C-;-{u#-NhK0YZNdferh@%QH0}3#2BYH zDPTza^nyvhwiqKmUmimx@l(^jH!+4Szf+T3ovI{$YT7<3#@NBPPRn9Q{M57!M~o3z zsDL5yQ&XNT#%L%~z>xTWR^%U6sVyok2MZQFuv#Pev)9wGweV=Yiph#82-9j vc^JQ0SoAf1gU{#2ZkIwHnEvtk3=RJUr-Wn5bOZfbQdY_5?Q22x1>OGw_%}?` literal 0 HcmV?d00001 diff --git a/results-loop/probe_discount_ff.pt b/results-loop/probe_discount_ff.pt new file mode 100644 index 0000000000000000000000000000000000000000..a4997f4df8068f0cb8a5900cab654813db9a61ce GIT binary patch literal 69204 zcmd44cUaV1w>}I4ilA7)0*ZhQ6h-Mwve%Ac7b`Zb2#TVjI0*KF4LkORU9tDxd+)vX z-aGd8WoGB*J?0#b@B4esAKzTpnk0MOtL{v))+Cdu7iMK`VPR`)@!wu97Pb~$6XK&| zBHMQ8)+RowOJZcZcIDbeB}Vyl?G#rv)Y_t%`by5y&uHNlVUjl{#dJ&T5Z}dU8Btl? ztmxh?wnIXqdz<)fiQU|bhm?1Z>eAM|LpS&MF7Dl;;$qy}#V5G?29|J-Z`aPpy?T5P z_s&UeV%^)u$8>Y=AjA}7mIzB#RVSlWm{{v-v<}M}kzE~YAJZi!Au2JZtDD7AL2?fYVKH6WM#i^`OiW7X!u$Sl+n6;%&4xv^ z>ZvhXOQWq_Ku==@L<+)gEFk$kSLuK~AYpSn)VomkcU#zK?0{)AoKryOX3i_9&;LO30|7yt~hE+?F zSW_*@VokNg#F}b}#F}b}{})S&7*#D*_?M-MF=j+!RCHX7F|?ntlDbQ_NsLcu6YCS1 zl-MDzn_Xl=OmtF*xVDjrF+dE5joUP_?U`ab zgxF3Ywky%NJKVS@#ke;t|L-P)jQcd%{h6`{gzP~fdnnO(INW&Tcay=!qng;UOtIra z?1T_InP@x}Zakf0JQG&ncatH;vzqL=Oxg27_JWYTm}tBdZoK@vNrUl1P-hZX$Iq+faC9ZmLbrtCc-dtb;tNHjhSH$M8!q@SAT9bW~Df?E)z7w+V6O9?+#t*-n^f!Lg#6D$;eHLP0 zgxJ?aZqpERb9>0S;T}k`{$;v37zihT4I8S`W~K8 zRDJ*5KSM$>)0ptDxVoCDtAx5Cbd^-sgf35YEiu7MeGgA4rM{;mlvdxvTz~V=zkGtX zI;!a`qpoJ^ENeoW{qs@RgwAs6T4F+Z^*ubnSAGA@KY!l@Khv1-&tF~5)D@s^2wj2d zn$Q)bt|cY}tMB0nA?kZdfYC8W)wRR~MSTxX zsGz?8?w@}`Mbnt@FH~L4)Ky8{5V|U>YeH8QbuBTWs`?(DP)&VLNvN*ACq>w+XN|TU z+IL8dG&LgK5^AWUzuO5&sA(FjUb|$L#Dp+)RoJmhNvNf6gxQ()$=d3guv14}OH8P% zzK18&Q{R((>V;*qbq+1Jad!?23lr7*V>{$w;rBnZLq2K~(>W?JvU^NIH?=sb8tP;2 zicFo+zxVPrd9eBQjlrrrrjPmm;z4nXvj39@T8$SO71yDCm(DR=603%m`uCj(3NSgK z^e{d(ooh|>=M)sO2>c%$i0+jb6K^UBtA_gi`*x9?xDJVlaWN(zhSGg!Q!8bnKl@P7 zBH(}U!PJ$OD_=FV{D15~R6kS978bm?d0}x_5zEfy#CTx1*!~j^eBl3vD`aZt)YqSI z;0JE{-7nzbA8^Y}J(2o?|9`{z3$+$!9EIFOZM&7Gr<~>=aF*Kk)tO=?EWZ$d9Q?ek z>50&mB}{#^`huQ19mV!9(>|`gpy#Njcd${613!C%*bX0_h55LbY!*xvU|$iojOEq>VDp~=nF#xHC0 z_EnoF;4lxckNiLm`F^j(h4}Ys`_)8EKjdc36b9h$wA{j9A%zd_!(llizX3OLI*gb`XC~FM&rKE^CE<&wGmTHKuAneZl|drn*pl9bRl+ zWcmaBz#;xa+VK)`LN9R8_f9be@2RYy%hrD44JaE`wkRRj& z`O*82`1JE+X{z?r7v=-=1iRoPU%)|6re9kAVF!M|Uo3$~{^U6#AFu~L@W3H2(Em3a z^uk}nwZE(Qz(W6|`NBT*!4L2;KZqas2JVA)oB_XSexVOId@kdfh&-?8E|xC@%tHTp zfS)~I2^{QT2|K_cKFkyRMm)$D@`(Lej{_fiVGnwM2M+TA|Nn-=e3&Yttn(`6oTh%W zZleFKA}ac)ipaNWXpz5EMD335;$_?i^I7rjdBNZn?B=Br?7;TxJg(|ce%rqWKkhh) z9i*OYw#y}6Cw(T5tx}WEYt2}GUXu0p*}*U5S;X&ktHJY@eZr1h4rDeqQ~B~+WBAQ1 zmH7UnDdasS8!gRP%uO^TM&Z9QzOeVlma|HYpYbKXUQo=Ye&l|-7|j`*oBH=0&2zl! z!8?ANOP{M%qWz7^(91%0yzYm=%tWn^H)9)OO0(zrHgeBO5&UfL`;?x(hK#prQ-jVU zX!VUY{BKi#~74L0?|D z%F_1_(wUdX&Gho@Y-#S8P}xLv*LushH`$oU(sDH=r*@@mmF}}MsYlp(-iekZgs&w<8+S-P$E-+m55`cC``Yd7%-l7*>)dKY74Rw5yK7$NzBRlTVx=>pm6f z^RCjA=U`S|yY>YJD$sm8YdPJPk1c6O7UeFpLXUQ`Qh%_iafQYUJKtc6BV8pK=a$XQR!BD z*`S5XnAiA@%qk*sbQ8RU4bC6jdu~B+296%;o<4}mYUb3aP+gtFL!_SZ*cD|YJ zg^wlcTB+RN*@qu_I+li5_NOKjeaNnAqO#Qf1+(7vN`AfKoGcHtkQZdDr_8-pj357g zk=5NhM0(h7cSyIdX^$VQ%pfXlGN8Jr1U+qCv&ie7% zr(AjKsOyZ<_Og^~%a~NChn&CLQ>nzXG1BvSp;GXEZz;!n55>CpT{6*<)77YXxx6&5 z;e3AeSXj;zX;slXl`u0VAW$@smG;15$88O{!h5` z+l3zJ{Tr^>3E__(hw;8=g+A#06Apafk8Aby;k813#w-zUUu_vsOl+eL1Rs4Ca6j@0 z`MX@?A>AOBOSQ%W_R4w-9ON%(_D^X`Hz8(mP21kET*N)Kh4AC*cClJatOY&7`AxqE4HBzcD~mU2|?WfyBJ5jXL<@n z-VMYOd4?X$#}DD2#R09~gWXJ=HlK(Wbq?|Z+ym3Kc=ZJw@}C zgghW__>sBP`~%;`^gX=#f;{3x-1>Nd!#MEBhc<1Q`w95K!$0_q{u1#bzEQ2sZdtU{ z_Dl3Bz~OUtSld6EX}FBdLJso4LvK_|!5?2wEa8tH2YaZ;;XmR*9x~(BJ|B7<@&Vi| zJ7E|3hhOjmd4YcYIP^nK->2yPLw=!GuMcrI!1ps+AF0nDMSVdI z^MHB5{#RZ5{;1BS-;WpPQ-wV2z+d=f&_5T=p1PiWE^5ts+251NevSMw;vK8EeIN54`%-RxZhJ~_d{2MlMM zuOE?{t=S>ZI=Nha=N)LKm%gRtyS87XABm@=A9=>e_e%w3Qs_Q+x!U9lhM8&G4N1dh z7)lqKU?}@0+3+BJy7Z-9yc8HEnJIm+i}d*XT|2sdd##L4~*0GmnjS6SNnWqCu@6VqB-^4Ei5UGfIc^>RwaSh>lI9deVJP2}SxLgbh}ezJ@E z4=LJx0JX~hL(Op-TlPj`Umv=$x677s+nt-qf5r+bIIb@pjjB%#ljiVsTSoKlD_fF0 zuM$nK`;z%}tfdUd@4%a{F3xsUv@p|_S>t(Jo*}$^hD@itgDCn|39=gdmRI>WgAcI3 z#(wPIz&fSOVXx{h;NMDbr>3umQ?~`l^wK|+vb4R)A0#y7zUzllT+eQl_wr%ZbnjZW zs&OLwd?X9Ib9agSpxZdP#Md42n=%vSoeNXt_~Cx?Vmo`;bj(U9(|+tf>fZwXv;NIy zv^Znn{E%7CYW*4dxJr3I~%8KJL`aRU;dOq}n54;}d8z%Gt*SoDKO!PSL zfd>wCFzR2NpKyM|c@TVzLk@V<>sV%<@3r$S`h(M^Yx?R7=RfoVkb_?Icd(E1AkL%k z19DhGANoP`fzX4x0QCauO4M116MSsLFYFi4gKhAEzjR;h2hf8haF7T7eY%)8*IwUj3Y0|2kPT0Vz;u;;~)<|;UD6~IB@uU>T$3OJaDM@ z_4-i%LN9QT$2jr;eX#qtI1s-chkSsK{tY<2eZ*z;L?lp;10Vik{(#f-_4Z*8a>zp~ zS=dAWp~oSg$Rp%14m|jJ{n*wY$I;K>dK~lsk2qoPPxFD#De{cC^?AWK<^g!vfnE3k zd)O~94!yub9@hbpm%q&;^g$2eggm}KKwdM)weJgXJb*m-!0Yt`Z>oj740cxksDBIm zd;jLis!*4kxv8nuZFZ>P3U+$QQZ{wmV#;_}on}=mPo8D%D8cVGn}4kgpLo@g?_N2I z65e&8`s12Xtw&pUx#_=1&NhR}6zfGl?K%=2dCYV0iafdLRI=aIiRLD?q}@Ni@fNWL zzUp9Cil0%9swEbp3#Ym%tB&tw&A&Bg%W5aduSR~Cg1k%f3&TA5>7pNK>bN!JS8XU2 zsM(2{=FUn1bJXh?)weLqYE{_s9CPGGEk>KE>5d+9{ixcqU7gGFoMuU8a_`qp{^X>{ zF7uAdC#_Weky>(%gQd*$W|@`Zv*#wan~)@X9rlvv{dz3bn(D+`M}DNLpAOQ%GC3)% zSWC7j;}e-^)%n#_BX>0W*0LeXUMNZ_TFwSjXiR{a zoNJVz-dio`L+mpanBJJ>UQmN=JQA#2xF1PUrxtX5q9wI&wwmqCGMVb^=*Ub|#j`GZ zb2^BHue&a8^&fu7GMq)S922$9AAR}=s1%?+>bNoE{`cF*BqME zYBbf^(}Nzqt3aE6Zf3pxB3bwB239ctA=yNIeFjmCix;Jg+s(Y9V$C$$Du=ST>JZ*< z;XZOa_?=a$HH?Ly$j5Wm_)fVJF3_yDD`~~Tj^u3FQn9J_nmY5D%py6?@Ni>2!F32NnG}7p zBDKG9pY@-b${xqXu_=o@nMc%mD%P~29hpL^5D3Z40~gCYD}u{&g<*mv=i zx?>ctJ*X5PVr9)MxwjzScyEd=?5TJUR`|psHq<-g8M_j3npr>2pjcV_W zVzDo6+2q^Syhq=I^tjJBda-R76}?l6rq>LnI;msX$c=+oRB<0R`@Iu$d^3h0J)OYM zRBOyXuW3h4Z?7`f&`bPc`g*b)G22W|uO^XWL^|tbJDv^uHh@JwjxtkHwXRggL#8P^ z^3bFPN0^Du9Nx-p*=Rm?jVU-6s3I5@$6oa3e3Jw09#|xiPawA zz&>=IFBh@sCtI)RZ0_GycWBr6AN6lR|5^Wrz6bpi?t?_Vx^1{PZ|ZU21CQ_Tfx|fZ zH|U4lpK!AFeKqgx=g4^fXp9`Rrt=YO21P$#25 z0}g!`&TIPXg22Ha)N3oW``5sS9`tX}gFX&*1LD#5Z>SISIOGHQs$n5c$f&C^4msfU zeH`op4;=hJ{?NCfUqe4vMcW^M8y+tD1mtbLkJvx;eH8Ko9OgkkZ-c7}`I6f8=k~?K zHm(E0F7yKjIp7f=^dnBaAIKN-g8dKjm~U+B@p}DwKK4`0EAosyKpu7xAM%6!7JVH0 zw-!@GWr^!>!2PLz!}T}VfnCIfx)Xi@hxjqBmqXqVw?1Cz!8q{92kPU0w||2lh!_4q zKR%bR3moi%4>??q0}kV;XHg&jH#zNo0gS^Q@&$ij7x{&L#IMI8AK;^J01oodi+UgS z|AYfyKTpsDyTHLd>>=;S2l_X}4;=D_eCp*e4jkkfycEX~=!2ZTPs8^bIIcq;enSp^ zBJaox;zfMO2jbV`Fb+KC1NLAac3}_4Md;JxAP;|lLw{}%lB{%u>@3`+h{kxpGO(2n-5G_~$tR&U1xIv;wCq(+_T z@en6!n8%7L?^w=DZ>YrQtzJp#KgQDTU0vuz;(NZQiWh&rcQ@sq6-x=X-DrD(BmC$j zU!HibBp==K7`1)iMAc87;kK2l@V4~~d|=+yl+k+!OE!MsX$7pfN8WV0VKaw*{whv8 z2N&cf3a!7M4mX=Xg_;keUT(wqpcU>^_jpbU4*wvBBt4RM*Nv4&ux9dntJ-qX$5L|G zGB^3svRrb<2|uKRhi*&l`W%!VZeAeenR-BW+E7Kl_o$eewtjY&qsCe*PLp5pVwP@l z;-TDflWF6n%Z+j=sg0fJcvE}YwC@L76J3y%OPxq#D-R*}i!t8RoxV<>#xbuL!mz>Jpp7JnLSKIIM^!+Q?svigCsd);?mRD`% zeUI)*)1-=gc&nUz(7eWUxoriqNWQ?zyf3cQuxZOvru$Q5@gZz;^M))@$*EW$S;N2X z45RH8S2O>wSy=bZBY3W{3B1b2l04M&A$`iBQ02x4&9pZvo=j9Tr8s%_4yQ`jUb8A! z4zUkQhnwlzqj5aH|5Pe%;Ym4*d}lisUS=+S_R5KU0sQKr9Nf3H13libpPkR)#*21c zN2Om)B%7$Ql&^$=-dS;_dzlJ+d)qM-TF_BCZmk$9bgHW)L>A-63eIG2Ts+yrJpxsy9aMF#Eq{xypfL2 zWHkG8F@Ck(FM76NI8}JvkYX>Epf}C?@e0R(($#Bs$Tt2Eg%?St8B-jUk=Lv9fwSzX zO69Dy?a_VKW7s%K=RIg*y%Fr#&t%r{Z4j$}qzSuF-=5tc(m)28j#<$X%lnV|w~+s= ze?xzUIu7+I`k{AYe!orvydH->4Sg22q35zzAEVy_4t)G>26B2F_`oM?_x}M8eZYYa z{GRvX%;>7!$BEy802g0Y)a|%GALlQe-}UD^)aA&V(eyi1^##8tg$aGRCyOQeH}qNP zyU=f0YuBB?UuOD!vigFaQB%eCqh#~21#r-FM!R26uMhPC;t3Gq7B{a8gMC+t0pQSo z0gv-7`~V+z!S5p6%e)U0`k)7OJNg>bC&*vkK;Z}aH=~o-Mqh_M?fMZh{#LWs?U2~k zZkMv?q1}H5d+_&L4uQM6Si}vx*pJbVS!lmI+LKq{fkVF0$6-DpkNpAl2lN5Asg2O5 z&kOuR9gaE+IK%au z{&K4<^r0?BUx#>LAMwC0;=nfQbjX1ZdBlmh_3;9Sao~{;ZMU(A5!3PCuD?MZ_K`2d zi{k-ss6%nzBXGzA`d;AR4{#Vq9`*WR2YBQMILQAgUc>=CdK~hB{Gea>Z#c0VSfIYw z=O6kJAMEOJ;KLs50}nmOJNg8~jXWT3Z0qHaPw;`)&kJzq&tO--KSGb*4*Y_jh(n)0 z#EX0&?mywc$9zDq-ah&_d`_TGkAt7cKjO*6>+YY#JnQv9PT#j7zu==^Lw<2w0Uvnq zTetZA_+hGr9!E8w{g3)L!{7V24t|!*!}ft(JNS~^U79FAt20tgD%XZZ7B9>~6D-;J zo)2X2d6(n~QaTMOsorOmry-qaSDJ$7T9C2T0$!r$GU{zuNMH92p}0NSspJ-GC0mya ziaC>Hrpf1>DgTD|d{fVlRJ-UL+FQCBrA)P;9yFAF7+#mzehf9!{GT>#R$vL{QDTv7 zA|I!ja=^|J@}kfw(kACh>;XfkhAV%g z7SW@nZ-;tF&ea0Vbgyhqsp64Z#J2>{)~IQ+^0}3nT>D*;95*zPMm6WszRLDydcPrA za`q@}rvA(GN+vRf%S!oNu6$jSYivqXF4;u)j>af8a|DxZ(;Rd)dvG;&O zQpMa(nY4Y*Bg4`h;z0Y*dU3u!>@n$N#!YHTryv-jkD8(P197Kctx{&K214)f{ zF^5y@*zV7Z*{uqrnDyB~%;ruNrL9|aexvXU*0=d>Ddlspq3ra2N^GYb%<*eI$!%Eu z;4xv@0~4K^Dg&b*Q@_T3Y}2Aka>*sLWaAST@(s0PCK{GCLw->EnC!PJS-wOL~yZ}f!X z`_E%0`cib9+`5MsKeXJ5AA0_ZuDl&gn|!O$SjXzhnLVC-bE}1H?)B$#*PTb@ZxIQ6 zMDHWC>{)AiJF77jXh$^cXKNn4>M&&~FoD`%4x;sw3Q$h}Y^<2~9r^IPs`8#OdF1c! zw@c%4S<6p9UXw2M_cqf*7Z1sF%u>P}a{s-5bN(M6;DN*QP%u6tr{F^#^#ab@sOLj9KhVzsS0lf$ zJ7}oTgXfMcttG}=njQPqt6TK zGUNw&0S@EHBlwU54t&&Os27oM=z%=q?d>h{0y*?;_})p8N5zl1KpRv390s zyQ!~_?&gJs-Y)!wec032z2L)N)SakL{}wOgp&xlcK7^P5+JE&p$iEa}SinET2|ViC z=NeAmzu`I?`ZxH2&kOXSj)gqz!!EXA4|17!t?q_ju!DRfZsbjmLq5-;x=t2DGrw~8-2H=oCE{Q2!X9wg51|j^*oGYJqMy>o zi+t$g*5kkj9`gcRrakTWgZoM0H*oM1`Gy?sp9Btk;F0I&+J233=tta$SD#;Oqkn@u zjw|5n=OYuZ?a!uKXu$ZQh5p{ZIa_%A=~)22>H|z%|M!Oh>^}O9+;XnWq}>NosB7Pu zztMs7L^p2Uq1Ig+()5H9nbezdaH}FgWTHwJbDC-X^8Ebb@-nob=}Ts!jHI)yU1Wal zxU)AcuiBCpIu)c*cVDo``IbtLn8iG;{bbr#uq9g=7R*L?*eRtS?dJ>fuVNW3r!bG0 zhV1jkwdKZiF9^#*>f6f(V2?aIFpxMHYz&p zAUpc8E{px>!5YuIC08$gRyOuLAiv)?K&jX}QX29+D#Wk<;9$F{p+QZ~_EbLJYstFa zv6M|@Yn>r2n3F*@vUI1%-~8!qyH9M8%SjgBVSw_!eqw4+EsylFIbw{4ePIT-9AQsXZI=>C#@CYk^!avVqNJiv zSidW+l&;UMC@$MxcI3`*R^)SYW;t*_dEEQKw(i=>-qw#|Sx!joTA?mVjfYd1iOOAP z>`e2Ma;4LeO8WYNsh}R+kN$uT=8=$rRT)C{859htihVMa=F{ zyh+KK^s?nB_S3N`^KO)jnpC{a^4wm@oGKM(?>^*aa^;3ft{g@AEbwMh<{T@$g)t|=?Ey1t8 z=uGz_OVNc=;rx9MgPC59Zb%o0m!R5xiz*wONzJdAL_fu@Llwu18rb@Si)(6|{UKm`w*>HZ&EjxeQwi}(za)p^_lkEbw z^{9b4Ufw1*f0!m8>5wdkWaQ$n9e)o;0}edRAijC|3C63tq1Oc{0(l@a*LE z@FMeh8Ot}cUQRzAd(gJK4wP8#JB!}upq#w$llmq#G*fxweRj>ev$EvH2-a!*Kvr#U zFx$4sk)1j`fF`KVf2q7P54CVw#A>e|!6qHFWxLzGl~)(fkQOIimhQJZX71mTT4x{j z&-yp@0Ve+s{TuonT))C|(7KqOH>j9QeSa9s~}2;Pp5h@4*NDPdM;_ z{}T?^*-&SrzDJx^A>zaZ9O`f2!AHFg{>`I84*Y%E^)2*q(1$(_eHQehk6URc^gu6g zkcWPZ!w>Kw553@H8`s?+4?Oy=nYD!d>IKCTze9hm_3gl69Qbpl=K-rP$f5o~eW0)B zab8E?hW-qF5Bj$@_QDU$6SmQZqc01I76lD(dOq@bt+i-0@!V4MW6;xifY5{d;JPjH zi~UlM)8`rTz(XE+K|O{1pg%!gumm1B$N{hCqb@^TjQSJf&gZ_o!lunQdK1$q!4@zFHlCz3+4lS z_@nPv2A2?c;GiFP`1z-JkuTs8Kjidz!F)gtxJ-F%e}O&t104JW9yr(m4%^5tH|#v(!Z4+T$rC7y_ih& zq3<9XUAG-&ww^Jq8g;e%OA$qhVI~C7&%uJ0N zuOq8xoZMDBQSlP9Gbu}SQ~Gd8q3|s`%@oslF(o^PQ6c6}wZ?k$?1_Epzf$_)Gd$1q z`8>Mf9`afCh4r0zgc-Y5R33LZONPOts6?5K>|py@%;$*YpxDTuFJ*f z=aDq_X4-J}^FlYdXZbS9sE#YB-pG;aZ^jB!ntC7H=|Y2OQny6P8pX-~iXUyL@`?>! z;-OSJoWdJ6Dnxl-+%h;T zZxykNZtok;e_A)NgcSzbt+4c@2 z>te37+5Ig8wWu(GnW$O^f92AQ+Wg%!2il>0XHAY4V>7OWD`T2i@#>{Zst&0%36MbVbc2-y#2IWd}yDUETdo(wj*~Cef9TN5F zxQ0z^JA!!(wd7^|yl7(=C%WSInEBhDV6$rm@$FmV=+vZK)Fb^iE7I~HYdR;F(n7gM z&C)GNKKpaxLa_RzbuA+)<{5N*5ePTweNxXc6Rp2CfWK?jmWmIwqcv7bn2Gv$zNgU5F=m>6*Odl8`@n*E zU-E8QmKe(kAX z=z7A!n75X?_f5UaQ;(bLwjJm64KB0Gt_S{I=h2Pju z5SKn~;Prge?cnR-%kb^zo{~JzBSLXF}^bNp49{MmZ@B=vTF%CI=KLDJbk9mPS zmWUs6=%?^pd_4|%Lq5@00EcnlpkI$eo?s6+{r(HTfXDYAz=Qwa;??#q#I46+9QlKO z;E;dB1-{-c`1o7^r=Jht;3xVx;K7G}EDj8oW}a!s?UZ^{wbTtugW2Lvqdwu-eAr4$IO*y^=@G%*R@{Ecm4@^ zx!luCb7z#63ypPV0Z!-TUmv67V;!o=Uvg%bZT1|JyT`1Sr2`G+E^=PE&%yiBwl7cR z)IO)=(@)39W%5>%zvRg(C&sKblRRdoY$98)k#fOzyIFACr7Y!gENjy^&`cvkn^`R2;IsOHnfW;&*XDs_rSk$;nN?JJ+gB(+ z3Cq8N4&9teZoP8R$$AnS@F9Cp3tX@sl_A@B1S6*tg z?-;FnGK=PqQE04vDH`LGkM14$MdJbvQ`@J*>El8p<;qu*%Jx_#XB?2^8*dIvpt7^i z%O-koD&0(tjN|1lr^eEnch0}j);4O-++q+Jixr{4srF_XZF!F_yfu>V?!2^l!UN{8 z`6!zbk&6_|AFNN@Ft*qxo~?cz&Nf+3rLxOC=#}9Xd!A>dnY<1b;B)fyBNG*A6ltcQ z35$8Z$sfr?lS1~fPJM^6x=x$rMY~^0-%p>FmU?ZK-n3gF`E<5b?rfMyCTg3f9W^fN zPmO}x@b2`UOmy?LD_KO@ljFNP6qc5jNkON((ulqrsamPIl-y(tE$z|EOq(v`=DVic zr3PzOQ@Pb^nTa+AwpM1R`O%8)OW5Vt?OAlJ8!PlQP6>JSfK8~mj{U5+L2kL+T7KNO zi?XGMAH6>|iS-*}BbVPhT59@rJ^vaonJ-*kf$!Yr#>?8Chvn;%`~CHR@NiKTA7yh4O{$b z8%uVr&L&TYkqtzdvYZkdl+zq#xK3bOl13c4|AP6giSx{ zz^l53Q-`vv8R*rHGCcdoDwJC64g2~0JUg>!JS)7qol-fY6SbV*h3(B!oK=07CijcD zz)kde?NfOQ=s)&q*Io2|6vlD?BIN&uD_v0(4F6ZSkJ|rD{Y@WmhztD->TcBe2M35Vs2+#9 z9Q^_Czz0J*z6h&hpvC(wEXM-N#OPMDXyDA5B_&CkG6jlbr5mx zsU((;+W!%vF8$^q#_MVQY~diW{gMd<;1|^HM{cCu-|MVBPv@-mzYXvYen3Bd|Asmn zeBco`_5(d`igsKFu5gm@5BrB+ANHfp?&5QgK0=Q}e*nFhCp`{)_=Wt#e{AdHMc)7% z_D9SQ`T@)fAr`T_S zgC2a2(D&%)1Nwo-yueS4LoenP{o7sb_rJg)kBA$2MEsZsjH3_3{R@!C5;*t|JoK3Q zw{l%~-}`6%oB9Bgzw~ddds@rK*3Ok`*6J;}-EU#0(^<|+mG?wSOOmRX>1jnDY1*!n z(vrwfY1eRXGYvWV+;C#_3aMVb`qIzMA<{srVp8s>KMY;cCrU>?#hB?`&LYy3avu#A zA5x`J%Uel_11pnaoul7bB0cp4rYmyqN~-DezHDse z%9*r0pe)N4IfwPi(>#;5HmJyI<~>Xwd*r19#U8NYjgFe>VT3bHzxImNygklL7uOA7 z-}_h1q}*l7F%vl|Qz-4SyO|>1<|LnCUs-=lktDEld?e6E;^Z2do+`ATi! zaQrIP^v!hjzR6*kome}G>iD>kP466JZydrOUAjSc@9(3Fho{oK9>dt} zvbUwjr&me|Er&@(o_8^m&zp{X(e3>dKBF_W%waH7o-Iz~y6`ar<>-8ZeYsGEOq4UF zAlam4rJIY-vSTIRl8N@6xj-(bx6{&{3#nY~$z-G6>$>=Y8+on2&ipD4Wwu*dDSO8k zrnxV7viO;c*|KSqBX-BiXq>az-8Xw{f0T5_1m;+ ztlzB5qxrtrKGY?=DCK!_fHllDjz#QHe}}f{hvE7h$zZ>(xS4!k4Cc}9`{-Dwp|r1W zC(3ixgN}YG&##Z1NUhu0Q{Tc@nTftk{K=BzN%kn~DchWQD4D3d!JCz8@mxN#CsnTh zp^urK*WSWs6)aEZ2k&4e>OO8Do1fz)k6u=YY z+gpDPobzl`VBPCgl&%MxbB~VOWqCp)dANhGoYAm=(sV)tvN`5L?hP!+>EH$SbV3>h zb{J0AKa5}|IyRsiyS}>>ZE?v)5lOFD!>;Gd)c@^kzIv1&os9dy+=}gH<5w3Q-qT3)H3nYu=*&n4Ngg|#%a zriel=^!dVh_G8L;GwtoxUwL~lPQKE3owQa8lP-7v5K_uMNx9cVVJ3QgW~ppHY>wRc z`FUEnsysQ~e8)^Qs=*~@I%dUuYUuFK`Zx6fCjUYIrmxpuJDa9Qb1&#F^+n#Z6o&>V*F*eee%;`+e;?SbeQ-@*@!s>TlpM4xGM!1I{^G z#0h!mA5~H41rB`F^RJhSIMHtbhi%}Y=XoJv2RQJdFXg_l2l+qYz^{2j;L(2-)~+Yq z6>eEnSteEzeu?=f{%N#W;Qshx;$}^Mm^;(a*gVZdxFZXY9nlc1vNmmFCBK@89zbJg&DP@5tld z@(ekBp3%=C&pEXGqrO4hsH2c))QQM5@{4*bv)&eIvS_FE5$MxUr|+pN0O;>We)GIQWa}ckm1L^zmXIFfY*aSDg0w z1s--VFPIPXQP2lGJ`ei&fF9uLeAABK+I~E#kBArX0Ec`dZ^#qIfd^locknR|IsJT? z??tLwFz%oAZ|Va~{?fl)+gq8_g0ei-E}ilo7)R&&Mp21`~GY{xV=A+VXl14* zrOLAUskzv)`lo2e_Z95wkopm<(l{3}G{0Hep!O$*#kcM=@3yn$PQ@z7 zKXO{j--c|Ib_dmDR}W8;O|)ibd-*}{06Elg32(l$A0JiBmrt3Po7bx}iP8$xWTGZ7cF~8R?h0GqpIwjHE}Q7{zDrWSZ#k95({k}q3sXU2Ing!40WRR@#4`_c>|Z}RJTY@@W`^i>ylsjX&$`u#AN$^eOw?qI4Yjg4!wy)^&!j^i1}K{zUk$N8H6i%w(ze0X za?B1|aBnV;{#k%OKjOge?0P{x@BCyh>)FcVTW^<4^zr3*=}fIQl3Uj;?5(j1>tJzL z-s+!hCetzN@qoRZ|55+u_n$q#VNc4wY0hjdDQE{{J`Fy^mQyH z&bul1#k}e5L9S9+!AJjrc}E;Owd*vv{^qXj53mnB`X*Da=;_c`uw8qN4?mnt%w`H_e1}Nz7GAH{`;J@)kR&G z(@V&sE<3CpFDi`{<7c%0vyamHJ`J(&rEP*2fDu#EJM37vjeLg!s|dU_54n z@DFnL#)<9HTHf{j*3FuNucgZZ{Q#D@?q;R!z#iK7K9Y9afIjH4)Bf)~qqNX#tKlH0 z@86&ocHlSSLLF_~D)e2}@{V|s7vux-*bn}MLthIV<^y=>!Ttz8z=vJnV1JwTJ%Anu zKJfbafPU2b$S3+G{d^$*xDJZzYX9zh+|~SqU3@>{r+vTo$9`IyPklf8w|J4~KjHo~ zAILvGNBYkR^dYa97sQ3U<8x3^>(}+4le$yH{)PNu9-ybGV7 zr18c5&E#~dAGeE0rj04lH2X<43g}dxKFz4ZtvypH=x`jBX&*v9JJkP(I-Q@_>CuNq zTvq>IcxXYIJv}R(X`hW3Iub<(E|sGZZ*9%gqj^u|=HqQFVM#6Nz>*x&ypX4cv?2@n zqW$H~6gsgcWjo+X!}c~*;x>(_c=U+$JaQk`|N^C|W-am&UuRGL>+|+AH1D}r1q-F<_nTfjFseMIHgLKlE zTUzz~j^W|xLx!~KHI%pOBKY+hF@{wUH4Ud{T?xrKxV+MOq$@X3*xG}V$D6~3cE^L1 zq|iH5ckwFPJZ=Otk@~a*CAGr&a-aLfm)Z0z*?W##*HYu}7`U9hIB)g+5N%FdO$YZ4 zr1 zHhMWV=pN3_28@)tjL#w!tx|`#Kai8VoV`I$J};-M`=`>wVtJJsuN5-U&M5VN%6jLc z`pb<<_w+I9@4Z^Eq%$^bY%^y$xqne*O5O5&{MoH^U~4y8@csh(&|OwqovXoHOpKFr zlx!e1HWruKjXy_C&u^viKNe8hmT@GdmQ%0S^jBO;PLr#@d}mmB@?r4xrpZA&)Shnf z%~AfVDpv4cbmpXAMB*5~fmuSO1woY!(OzZEWS{e#`c#HwWpNt^@AFS*cr8l*UYz&4 zTWoyxQRG!bF;iSKE9!jdF}vv1PpNdd2&-~ns$|{ZaLACg$stwpz2c2KZRM#)-%#m@ z!gQ!e5!R(@6Q!qb3woAPneCVz!pb=~Gv|Acd8_m<)I5C?z453=g>vMgIX9h^y$5zs zbE}DT|9e~7Hl;n2X7o`eJ@_EM{B=dPn^Hk`s-9-{uUJzL@6ciOOPlDq2YJ=bv5D?K z8f1ug?QdA!=u^neIeW~wbNK?xhgZn$v!LwEGD(%Xm9bs+g4K}D%LN9e%bQ%2&D5p* zbe?-cIKTYr5WTuq!c3=MR#BcjEX3P&tEoPFv=+O#u%p~+TdcAyDmP6o70tRE@5|YX zu9chnNXq(N6N#*@vidiVvxb9rGmG9=_?ezl$V3B=4WS1Y>(JPGTe*qOM%eOCP1{iK zk(R{14^YlL4hWW(e-66*At>n5h-rb9BkkqrR0jj7)y!`ptJHbh{r*)zRA?N10Q(sQD^CK-~<1Ejl0`eoM-fQ zVGs6!LtTP;8~s}$d!YyQKKQ7|(HB4-eV)G0s=Z#E*MQ5Wf=7dDa(xqi#UGfIbfO#rTo}2Yrx7 zKL`7;3wyw0p3s+J{xDDAzt#E);LyK8Kk6XpMZDNgVHbG>4szH(z{j>e&wuLQUFZL|#i(CVPon-rU5V>tOsj9f$9;L9wYnbt z7I4sqx)k~hFGb#NYTr{p4t-okQNhP`IN%T`;zE6kdKhtHsm}-G_5A|!06eb0Jrr(O zU>-0pm=E;Pn3uoVg&jQ(e&P549P)>JBY*n1!C$A{e~Wp+JYasH4|*^!m|yhMceVcQ z|10miqoPQ<_7N1ph!GSJ1Cl|~r0%M2Q4DLutbiy8ih(FWF^~+Xm;;EI6DZ~gX4ina z>Z)tbm@r{l*S!9wr|0p5#`)ZR{hjmv@o~;|oUYqX-B8nYpQ)Z|@HNCA_f3Mo!4KGv zJgl;-Sb=Ky}YnTeK+(>^a9@k6|& zc|cszF3m^oNiiyUpGQL4A#_#0=_1+KLs5#q@F5Av)B)hg3 z_eYQe7wPkX3i9rHR~oi0fZuq053TKSnar6#pB)(^V{1+fr5oKlQ~UZd`r?cgefi`) z+5aw)U(`QM`R@8#g+aEH;!b`;#UBB&{F-z2G$Jfdv3+fTB0QQ?G+6Z~7y3GdyVPh1 z_xa;`LOdAu58qMznfxG9ch_q+^+_^&Y1CUr;2Htyns#e@A-O9Gv<9P2P6Jpx|5;?3eT|yjQ_P`YJA!Mn7yos^#Xf&uSR( z{m5UObz&BqH+nDQ5IaqE`L-7)$ZJzaE`qPb&8y>0Pc$CKN151@QT{cV*Ky-joky)x zPEhlJBcVrS?xP}Pcez@!!ZpV|E7V`cc~3ARC*CKq4(;98pph2pPh%4QdfQv4D^6V< z|2}PJYZ`B0yODO|Q-(~Tts}OQv+;|`zBaKW7v@I7MAlB?VI*eC_F~W_85%d zdmc-p5z|kxw&L={B)5-zeY+Jw2;{n61wuV^v9H-Kl~6=dA~bAn&GzlKYCz z%c*M4}JyygnA!%;BVk-&9%=bz&@2yJe&_)@H1U{Xh;9>8*xM)P&Z>-z&_|p z+lwqkzfm`Ux1oMPeep@M-i!KBSO4f2c>*7U9eM#`zu<4Lw7d;`t#O9fj`OAcV4V+m z@C*GSj))8NkWaMZJ@SD#>*8^2b1~>|KKlhFn-`S>QwlT^&Vp@@wyPG{>D%E z^KK%(!vCJy=K!LfM16@m6!kyqOzCmxKi1ak;A6l;U5fL;2c-IX)kM2a_A6^2^x>bB zzb(-||I$GlzaPZ~JOFxPbpGdefQS#`CCvx&fN_fa01x><9$@!V(XDUK*+W0z570xt z5I@8l@k6}NXvZ_!!57euydAa`I|d$bke8?0@6`}zj0?O6Z*$V}7~~iB!f(VMya+rF z?T8D`Lwpc_=;1x|p@+Qb$_Mg*>k{zLpA-*vBL49E!4%N~@V9vz%Ek}zM*P9!5LdJ# zAIJmpGOC~~9?p~I1K)E9wNU-v!+(;${doV9EURbK^-Kxz{gkhf@rwe9yUX8n{EZ^w z`*aa;S~!IicJEDUgw3a?svah*`cEW}jyKWB?icMTxjdH`^zk5**H)2(Uf z6D99GAe}4P-+^sya7wj%`fA0kzbf&$Z{BdXpHS83;Fk)I5$zS5XL$2nmKkxIPVb>} zD-C69O`6CACnWGj>w?K$n#0z!UB?{GS+0sv*XS2wugecj%anaFJLWm8WR~Zc_+@J--F!L2hCX@j|!~go*dPscu)RG>;mq>lc~&}eP@)5)7mJS z*uCTy$oh(+)8m8kMy96nuoq)wS2vE~t&emd@|;xmj%|T5{mw?sx>ZU8qZUgJ4|AM9 z$J8-%LkoL*vjMza@I-pj_%lg}RFRK0-m$G;CGrMYwN<0rlqiNxZKo+@Q1zah{rGv$$I#t=`NZ2dLL);q zjN~6*Tu!c7m#~8PTz$z5>g2;GT)#l$7R{!IJ`Q0WLJu*2t8<>eqoSvG)jqC&4zzDE z;aOuB;aHO)4xYwuGTlELeRW$Ud)PwYd3{#$u7B+?a6SLY$>p+3zH^u%!~Z!aiu3Y4 zKq{Wz!FGvU#(v%#!JB#+(7h??B+J^1%v?8)F{h*WisuT*a<>q6_3|7>kj;Z)d8@5$ zNV|9!vi5v3<16pLY}?527Qa^DN`ki&NdMSizJuLIA}d)>6g8A&!N`Ryndr?M4Q|1y zLbj4uA2<@V=r4BR^F)5ri!@c_jj=LWKm*zBq7u&)QIWh!v$o8jd}CELpMA>PxgC^G z)a!Jaasyf8?G-)U_a%5t>*=K7Z%)CDdjA}M`*-`7ppHU4``Aakj$^$FJnlc$0}gP( zx1@N`Lp$_!>7kvs7Uu=%0Y~Z&^e_*i-o|-YPeXkV{s!I#zJ~L_X6W~AErS>AO z(8qh^LmFo(e}i8*f9P>BaFbVv_Q5aoi#iSQfnCx#OY66P%HL48gTH~VVILFQmZDu1 zT*X(czv23T{VYjcv0cjFr1rxQdlBAN&Bk4gH|sdfNDc&sEp*Gx+;unYd8Y zD_r#Rq&6Uk1N0Cl#05M6deXRvUh3)nt-T*pS3ZzOj6dKZ?&u%=Vn0jp1>~iz_C99t zxw+c=s1ZNJ4RHrAaEKB8mL3OR+n`-f25*q!Aur$w$Oqz&d>}vIanM6PlC{sBL_Wad z;6LJm_tJbI-q6E)=pkQ-qck7VJmB*JJoJn6fd_o#1H29XBR{(M8}d?ENz4QIoHQTE z1LB7D(I4dl>u>^p>v`Ip{kiqGAMal>p_vP<*kU#*RIj56Vm-o~WIb+1CtS-S3p>`< z$diT@$k%Dc)Y&(L3{xCn6At9CCx)l8OoPj0Z>vV+`o{z8qSW~sX{_?_gI}kc(An@teYXaW>=Cd+ZO4CxV10uBVX7vnJ9R#y)i3uN&ynz6+`I zweWB9(03Zwu4X^(*t_l2{AD_=V^fLB;zx5yF^=5xX}c)?hVi?Cd((lb z1|%bGDcgVCDAuKulAqYHi2hlBGwsaVk@uAi$ieh+{Grd)*}HZ(8E=}$Tn$n(g~{Xj z?7wd^kYH;QCeu5ghV*Jn{o)#G#K6ahUeNR5TU~6%`Ax|t6MdGj`xcyL`UldW^on|)jlBBJxOvWZC|4)zn`}xO!uvD7(kW|w zRo(SIE7nY4z!=k?;AsmR`t=y)kh=wHF1t~?4Gu4-!JW%?#pZ# z|GJ6%BCl9bG?__Ua&%Bs;9-MWxMwO+gJ z{&Kg3Djrv=RdeThTDlgWs>z-B?F(%fv5|&dRdex$J?NIrefWFN>TwCy?O4nGE!dT& z=IoiMqg=+e$y`)G53YEO4IOsnJ~>luAU$zq6>0Xqokm9OH78G8EcstL4dD{xyNDpx zm&XwMT|2nk#xv=tecl>buWUfc$cvmiS;JXnR^hB1tI@F`?=<(!>M!r%vz1WMZjd`z$Azbw{JILn+(@DN_SCW+;%UusQ;9f1QPb)vKsFC#S`P^dr#@ugx zs&n?S>*W>qTaq$MVyDg*RURk_uy|$my31NQSCYp_#E)S(^_hO z?*`rlK8OBL-_Lv__Uob{7%r`kLP+vj633jI3vDT|G;^u z#}Hq{74;k9FXb=N^|!X#?;pV5z}vv%Y+H(U;rDRhZ{TbAT!XiP&%s~Vk9@*@JuN?x z`ipj)2R*5O@EdUej{rXaPeHwk`V{pl>Pe^9;y4FCL!IhXUGy9EXt6d9NzKIL&_6m& zd=ES+U&HU&pbvfqo&eqky9$g&Jme9)VgDA<&L8nNX`$HV0 z`H+q~i1RbqtGTiKYC|J( zE-H$hVoX@0)voM`zov2)yB^VCucaEvFZQKLwhy@wm+3V6ksoc<%#=DGJWB>KKK$aj zo2XIWC|aC&ik*5rj{PvY7GH6<4fm;W9WMCjBO=I)`Q7-X8*6druG*2c`t?Y=2F2`L zyAp1$(|NA@@9nAIh_xisu@O1A(SvV&W@qDN8?MN*PWAbd~MfTjH{fx`>rhL*b z3^&F|kGt90hCYalXI1y*{NP!WxK4fR5Tkut+2$z*Y|aK7-l0t_*QdrPIy7Y`k&SR7 z6{jZhrVnm0bv@=PpASq`m}Ph>hR=%QyPF0QpGig}k2GSAud2#Cm_3;r7-P+ush?4& zN~=JFnk**0B4c^?jTcx!t}F^-^TxQcHZsbe?zfz9!86FHg4X18ffLc|Pk4EWJ}1bb z%-`8|&IOF0V>jMvGsD@;y`}Q+JzKeHV32a|o+(^FT5rxJx(;`*kv=#4<8Q+Y#0Jzr$2U!@P+gdwV&5lPvo)RFLJ{{OQ3Xtu#^)YtA20S#oiW zu29Z@2tC-N8nv%hLS63L_W;Mt<9cr6xy8O8$&nW~$g?XMBqjY7 zce}%%^tUCAG$L28OAatM8jFJ{9XeK+P{( zq*muGCLZR}Mt>zne`b*>ou+E;16?{H)b&#}W9P{iD>@52X>36xryAK@BY|DA>Fk$N zXln9%u3^tl^!}7?8c8%Tp@oVbyzSW-D)X|VBaIE{wMN@X!yZlfV6#PZ;{kVaY`-P3 z-+GF5vTMs(_h`s1n=q9)H%=j*x7>-c?^N#2R(-BVkCrsGupZ^N?jVCUTJV9#JJSzg z)#;ldhl$B7^}Ww(KiuYS@l5qS;Pfap)v5LA9gc45HMxhu3sg7X7I_4JadmI?si~X5 z->j@_Hcwd5-TIfIwVR#K({CzVv-IcY_x&mU=JD_LFTs3(x*2>2ye&)3n1#RpR1bU$ zxbL<1GfDBJdN0<9GaB@y?XdTs>Y-oEgWzZ2W#DmAz6L!@ZJmksF4aUn0K8VK#P@r0 z#dt+&_bmXQlh*gm{u1@T+nhR!@8K8t8u&vK?S5c)^u@TK4hCNUzL9pq$2uI2Ll3+H z`<9@8^b7t5-sYPw+EoxB`UiW^Kh8rO*2jtZs1s0s)YZnXr=!>oK7stAUI!ld8}4fa zKGxa5%fREX{|oqAiFTa=dU$@oDy<#pM>$Be2Y$of6N2#SJM?|#24`f zpMk&NafoMVJCS%IF6bBMN$WOUaYlSm&*44lHSjm^8{GeR@VMKW5InfUAv)?C) z=YhXTc^&LPe}>xU4S+{H)W#Wcfgb9A#0hc1`Wko%@WH2Wo-`lG1M(ux2l_=G&@aY= zG!MuRcpLgh{1A882YmRCe1JC;w-n?0Nc(-$kJjIS-!D~+Kk|XN#EZj35B-2|Anvfs zS<7Qq7>YOb@OhEu12~8q@&Y_*KJa;1x?8j# zd`_AVDK6rGJRn}k2l4CYAgo3Xiz9mvboJK0%5hHO{Y=gjzS=a}IOE0M79vFv@z%B*+nd1hikK9dx7f(?0L zs}YY~r!`Nq5O;`uF8f15yS0wIQu>un#xIk8r+Q-|n(@UcHkmC-tbH{<~>?%g=wXX%t z3^j+kytx*gxpE3gFNr4c$q(4&c|-ZPUW8O?W<$m=u1&7&UBcX5rrz6O%?75RUR~w+ z726cAI=56rq&RX{4?d+m^8@IT>E6^j)>-`w>j-}9ftEy&;L#Py`TPE?iP;!_j>Q2s z<&Pok3+MNY+njaGD!wJ3Ho}y%*f@(=7d6yKb|&FX((7^`7WmRDFHMOcS$7h7){Usb z2gN7_G0y9wOpENmZ;YNqGKX~|XJYkOK~~Q<-v;_v ze=-e9Goi5!zLM)!cZuuND1OAT9c0X~Wn{C{OtwPn%IwUOJ;=^S%s06-vle-yem0sQ z({{PgXDu3P%fM(>IeUoZVjzo}}HBE_W*Gd{;0xbA5GplkNE*+rsYAW^G)|Eu| zZp-~*)PlR^x0;&WG^P!Ez9HuYzM5D={>vq2*}%@8Ex4CKF89V;@Gsgl;tZS*lWP9! zHBvZy5y`ZhqLI{k(L|8J)^lmy@$MQ~pkI|X@O?`HE~V2x0eRM;N5_%@v2O6E10u?Sno>B0=5|tlX*#iYA4LwLTjrj1@bS*7;Z; z0iQ#>z~Auv1@MSu7ZDG2FnAeo!QXoA6!mZ%dRT9h@(T0|9)tBZ`@gU^nq|i~1DxDDIoYIs@uf)Tb}B`?sP#1x}=c*bn#u z_!{^EcpP{g>SNU5;1A$2@E>u39^wOD06q9E<#8#Jb+{kp19{ZdFZz3;UC&28z@w25 zUHlDxBQL1$;WzSuxFavf2l9h_Ncn=DxtNDc?Q=Dd599$n4*2-oApWoq{0+RV>3k6v zaX}uC7v$ryNw;Pauc<)1IK-`7g{8{!SW zkq?Y-v`h1V`28p!h(Gco)Izz>=7j$ofBW(NC6Nn!h|G~;1u^_$!uEXhm07U118H}& z8vAnTd&Yd|b&Yh1Z%xc^Rc2*pUNHL)7ic8>Lwz!0vl*MC%x46t9=np+oqV5FHnw9& zygtRGUR;LbJ$Q$Jl%<>?Ojf$&6r%Y+Tgpj%lg|C7yCUR`UeHdW*JvvKFyq%MK%?^heL zw(hSOr_N#g*@RfK@$n?c^#-nxjc*sv{r<*Y zBPm;^(+%qNp$nJB@ijY6Vs>XLnc_!Hna{x+Re8M=`FGhSj3CdKq^aV)YO7q@cjY(L zHQ{bCl!WY!W#ex2W%v7q@)l`#h#*J%N0LS-YmwxaiTsl27^NWXVh$(-*|u^BKY6AN zyYS{zMv!x6u}tleO}NHaf29{EWl~Q=6>S)Ohb-4`!>@NT=XO5MWiwyTXRG&|!2YIM zL_=%Zk;*=GNp*uqtRRh&Tl3HFSLP1J-6Te@y*b>jdZ)(o$l+CO?w8|(u3RTh|*V|)@nACK(dEaC#Lg0uv3i2@m2dzU{}s+%s#t0 zk%@d^qB>mMh>O28lnQcTXJd`5@w-TpR?gAL_|Rk`$jh8xxYPmjXphexbV#pjdY4Jkg*evePFT`3snWVi>Un{g!0W#lIg))$@Y?|B%oFlS-1Zl`}9+x zMjQgRuvKP`<0o`lzz*mxXS>CHQMK>ZL)EX^IKCZsjZJpx!rt9|gIP3uu4ccMO%Hdv z^42pPjVv!Xq!`a~5UyE=+kBn{ebVIDD&abaHsP9w{|m27JEL#!g=-_));XqsJ1!g>JEG#Z z_rmoOdg=FKza1BjE$>vUu}}EFa19k+h3ls8rJ!%eg=0VSCtP1wGeu?k{TaMf%?C5W zwOF_Y|8F=s8~2p!Q@CFLZ|D4|O}LI%e>_Yc`nAYImu~RFT{7!N6;#6YUAVRjdct*H zsxMsIrN?x=7q0zA^5+_?enu-*HtDUI(;}BDby*bS^nF0{{QMWzwymu7eE-3ptEG3k;6wwady49p;?g@zKv^A2B)U_PV(|NE`uYY!vbRlXyYw~ zP89X78)a>=Q&lnezAYB&?;gtsSmTkW6lK%U!Qb}r zC>s|$b#18wMJ7erF*@zrFJQ}}+)!6OI#A?Nlpu!G{(fA9y99KgD5NNl0{xbJKQ7sA zbfPGwD165nCf~Our;AP$l@uj$c2jfM(xA-P_3xn*MYxERO?B)*x#4RT+S%^=*4U|6BXp$6t=#yH$i8RteQR!n>xL;efD=w!&-=bL z#qqjf%8lR_kq3&tZ%y`C-7w{baOuawm(5hpMBOmu#;{qbC#sf(@t>+2rraPd{gA`5 zFrjmG!;~AvrJoN}7RDk|CyaZ!QC#|w9c5wcmg|NoH;PN|c3l?c#%kR#Ft!t!sP7L4O4Cum)?n>ER6pl-7w`wap@limxT#E zsT-!;C@%fGnzAq!XLZAr8^xt>buSBJcSSc$xlvsDF0ryOH*V;J@hCTnOW(Lr7N+=t zZkTeTxb&JwS(xl6x?#$V;?iG3mW9cAqZ_8&C@x*Wmxb|vuN$V^C@x)|mxT$fP~kf> zgN|afbp0&U(Esyy{<|>Wuk3v~8X7ujPi