From 1711b9377d296a92ea751494099f2ebdf09ce6a7 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sun, 12 Apr 2026 12:59:35 +0000 Subject: [PATCH 1/3] chore: plan linear recurrence O(1) optimization Agent-Logs-Url: https://github.com/DanexCodr/Coderive/sessions/7561d51a-8aa8-46c7-b22d-375c51c05ad0 Co-authored-by: DanexCodr <216312766+DanexCodr@users.noreply.github.com> --- source_.jar | Bin 378338 -> 378338 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/source_.jar b/source_.jar index bde6b0655527ce183d346e015796534860f99317..7af7553c2a56e0927e054f35a32366d710a69292 100644 GIT binary patch delta 13588 zcmahvd0dU@_xHZvlynbW@j{Go3V^BW2Esr=R9w>-rFC)`}w^0x%cePIp;ag_WqLGHK)P|^iBTfbR=dtl=e(~d`sVNS}wS8VNvOic-P8ouk^g$6pE!C%Qsa6{aC`EBHz z4Ukx$O2pPmtb>ix*8#QU2RJx3M_fpUe)xA&havUw?<3#$@vm>^Q;qSje??24GnO?} zW)G^b_zWV>K7(W;Rizq~*~3v%e)8~<_8K0Can1<$92a4S@XYW}@b4etyOEve1j)^n zqe~mw%eoq80sPg+;Etzr+aQZiOcy0Jvc57rk~|X}nT^obkpU=Z$UJvFw$q~~Qv36K ze`=i;PN6n>kq5TQhUibRc^-Wgo07#tkg55ShJ^Hq`2e8{V)kRxK6Wf3lVVE<+4Dpf zo<4;&urN{CvXmorulViQ+>Kv}4Y*42UFfXj7#rf>0wW@M-fIK)vWb$K-~#{iw-ivJJIc zQpRBm0UwBDLsHWm#NRGFdls{{lco;50UEV=HaBu z?#uSre%WIy{q4D}88MeE?!wp4WwsWo^0#cCXoI@y?+?Q!eE%QVRQoLX0QxL{(}82; zh0ue8@b9jJ57ob2d8hfz%0i}c`|w{VM?U&!1nx$Yjl zfn4b6K8sj=rLvf^+WJ_1VsCi7EwT4JF&L#Lo)|;m+b8qUmi)D+x>0-P`=LZ8;@Ch5 z_|Xy3AwRkjIP_o_{$vTWu~43W^7I*o+S5xv#^$%u*Vt5)4MXO4&J85ynDb*0dinfs z*c`hMgiZ5{=zgXCB|mHiUrNKqTi=rB#n%n2=!&JVaueaVk1_aebrSA3A`=PU0b zw*J)~6cYc60r+=$#Yq|4q4z&T;(X=7a|5)fLkX=gC~qp6lJ}T=Rs7hqJ{6tO1vBOx zlytgC8>LmGb2S++UdEjA-T$Uw=HGnznml&BauKzk{`b2?%s1OFPEFNA#WE;&=9-x^ zlbDTZfnL83jo^;5{%vfbM*3nKA?v$i3q_&>4_(fz_*I$8qv^h^|G*khCLcTfcUWLd z|2XSytVz?FOBeQ@wAShR`|z+r$(8$h>Fb#~x$AEbgRPg|5qoNC(NTZ3y(+yg0(yR; zPa#o1jMckfEi>JmtzUrw#OmeALl^0-n`z5eN^rjuT{;BFI^9J_?t2N8A(5#xN*|8i zHT7PkAAw#stxnL7M1PoWFVk0$`tMfi|8zx2(H8x5EBx`+Zv7yfB205G>2DBZ_$~c2 zEa}|;k^UXTEO?~vkJZ&w^iqEjU1rL7rB5PxP2cFlsDm+9($~b@(@A=pbWU@YT45w1 z6`J!tMUoBAYbiA(Um0KLuj<`Vr@Q$l@4Q>@$|HtK^-WJ&N@K~8fT5BNF@|(d8IMnq z?0NDi38AJhMoE)V!J#0j4cYKkh!jPtH%yVb5Tqnr>VuWgWWQ7@!`f%MlP=9CmyF&Z zHA8n}ls$RrW~m;}-Yf*~*(~K!H^=Ui94G)plU^WU;V^A2kgUOHx<*5mYX@(T_z}C8{H) zPB)~N1o65pWzmoCevxSSbB7A)cN9}qAvGpUqkGa(3i^dVrPHMKxwIVH_J2va*g`+L zA&0{YX?qI)+$@(n9;S@EN@-#XOO=?*mF8FAn; z^brbzDgl`}|0->&lS6pFWd%5PA8r(W`DN)B&*bH4hpWX=6TWP_y% zK7-`RI4hYlN6A(cG#E?oA>dk&+=4n>87#LX~zkI2t+$IDNVWMZh?hyaVjGX-RJ^hHDBzL4A+b64#LsMiIVmdQbz5`5r-!%CVGH;wN*CWK%aQP+zmd%iN z5U=+v*@-azv*q)MX*@@!X~k3+ArByuH*;m0@=VR=$w_+hVAuDr9X|p|=cng+1u*oX z`_{ZPN-iU;L;ma5mjIio=Vj;2*!l7^!fsgd$M=1p8t#?R`>jk*7s&t9+u_PCr)&B1 zi@=x5=axxLc}}cs!y^~T_pm2pqva|zFKDssLavL5k!dMliiwqJLNg`C$s&6V@p2Ec zysuFXpw6Wv2=3(1RF@rICfgF`yF@ty<&H^`TM$q5a=9n{IJiRi%ye|6>_Cv8SAlz} z4`*&YkGcbv%95xZ)c=?R%$a+p2#-6hmT8f}`=rV*M8B_O*_Q*)=c-pc@|hifJX-i`?ETgoIY_MFWr=d@%ysfE?8%;W z@)=6o#T(^ZDvRy6%U_5QzY*DgZwd$4b$gm<;$oImO9OOP8{R|aJiTZX8vW_ zghSgj^R9fFI@IG=nU=Grtlwm+M>U*JiZ=stsy=Fwjs)sI8+6-nig5U6^H9fU6Hv!1so;R2Q3HF(^ok zOW6;xefiozxp$|^a0mZ?`=8+#XvvK<>TiEjX8~)v^TzNux#)^5+e0dsyRrFX&42CL zmHHsSbfq)fN3~{E4@Rp+)06&e9u=KQLs_K_Y@c}8r>q;c>po?E*k1jV(ZT@W&3aV% zuZOtLi=5~)D{T5~pFmimxyWJ{h64$3I#{gG$4+f^I!9d<4;jU%ZpMvb&EzWor%IXB zi06%BXfZDaprOjYwO$!1x!P-m@~qK>98E~tukqfa1>X=v6&Tl;QMgO0X6Pn?G&f6W zx2CgZ`l`$^4EK1v=NJ-jNa7h|Su16aWTjNXrf}yNAwOgmss6`apkZ&986+_FLB#0i zKo~wOh_yv||7DN1G$EDZR^qa#z@dH1D?(rU604J{vMXeToXJY>}i%!EU?cmf;T5*@Ph=Zo*6zw+SG#K(A#AD_T_DSZ|<=P?t7ZL20yG`?93 z8e1#Fme|(O_*>iYdvPw`1ZMU!YsA6vW+Dr~aAWMCF0_e38GQ95=1l#o_|!OI5-`NV zqluj{+)Qbuft@XNN&tA z)~n;j&%#UBjRnKz!Q)eHA+!aV)1ZKZ2&WU&>%au%PEH#oEulVNHBHTw@6+~|J_p(m zi2R7!yvB7k)VHTG+z3&rg5u^oopmSQ>^Rspeh0+Pndx+cHOzgMk+n;fwYQ9bIvNA` z$Z*!7PFEi0j2N^XBn=0t@70#bM})H>Xv2nZ@>KeAh@huZy4->P9xej-N?=M>sF((P z;0#8ahL9P=W4j75JZA=@9q3O2x++xy+}I~ z7<5ME0C5-2W3(9A2lG2HKAXpSq3gV(NJaKRzCVh2@`xzb3c)JX-Y7x!2&m)&;{~1< z#X2c&g?5%17dW4Ka=MUorO#(AQObUV78u=&s-e!x?4p*Iyqy;iRr!(HR1KA0Upv)t zDa6Q}c{LLWW?tz6HVjp^Tu8z$A0=Vn(t!w7>-M2yg5ntH9Iq(7pWH+IH-F-cl^sv6Zuxqiygobu@cef;}sv=1`jvJO(!j?Z1f z+ST!E=JG+eN1UW#4&QrKGgZyjY4v1;(oyBE`F`Deo66#0-liG38}s z&+1r_+`AB3VDvgy4RzrE#6o z6TcD1TCPL*tBa6r zX$zNq02H6XQ?oimQ~O*(N@c+%XUn07`y40++3~EdHaCqn!)3lXp1Ja>c!tMs+{s8L z`>Ei8M&^m&Spqz*oT!zJ<<50-4aHW^9!|A&@LNXK8ihPOM7esB-!U>5W%hk5-aA1= zeMkb;p~@P}X9=tc@~FFxZWYSNiguRWdQC2KMhb;VC-*n%*N4L6Sy2{k8) z(fNVzTFS3|Nn(kE8zLw|8~Oeu)?A$BH(SnZX)QlI-@Vrh*k^TrTc_)4R*LC+-AvvN ztzNa9dfCQ~w@PC!bg(Z(on9`KJ`n_uoGl4_R~6VD^8Q52MCTt)tH{Q$$7*p_{MA@}6MlM?n&IEshV|=yGV%0OJ*HV@^t|=CYU8#^P&XcOHWbz zd_3_*lMEPK_h4{ocK5~$%W5&%CFxAGp0=#!iExw+snFr#6 zR})Lq-L-IhHET&D@#x!Ls}x8*Z`e?2E9b;ZW_lYQn93OccQtEDIn=o5^|I{^bUK^& zEf!qdCsk~7=B84%cjINL%(YG#?A+`R2L{I)lVM-cs&>Bfl2rAurp3!e;T&p{5&TnA z`>{5)NMrAi6_4%TS~d{SlN;%DHA`_MnVrVE63K;^S*P8sVGjd4Q_WJGA4^mB2WjM- z2rF*Pgb|fvCAsmz>1u$E`b{Z*3`VSh6w(-B^mY>TAx@Gb|Du}yZ@XRBE`neDKGErX zYxm0->@4V0oTU~d9|ME69%dkq43RJaa9#zK`fy8b+{oZOt|eUIz)e&me&%!49@nSc zZhi;yle_42?KJZJhSp+QI8<`rPcuYz;wc!^=YUay0Pe3GxZfIvr?7n38q&C0#l^1? zhU^jGzs8tZT=?@fVt3p?A(o~gW}H0_P{b&oA#iC^%s3BTtOzsC2;4W}0!N*D6)rWd z>74H8-lJB)q<9xjGc@ZkqqMXZ(|b!L7h<9Sw>|uEd1u&X{L#U}BYe~63~yQZ)z8V` zfDN@|IIk5;CM?n5n`xUxaOetd+FG@CM1FN?-fT$HZ{Vm;n_d}f)t%mh(z`={f($$g zD?n{LM(nF4^37U?hwU8I!4we6<1?9CJIyjECHVAPj?v%2M4SfeV9k`s<1$$f8mpC8 z-u*cq!oCBZw>07Z(uC@o@u!($c5A??(^C!$FkA#S^}mhl@M7q{I*Ss=FIYG7Ls-m?L?nT`XbV4FEkTRjdBPVWTi1U``Qy$JuG5@|D2oX_C3t4lrJX@w>I`^bYBqlgc;I^02Sb{+o)nBb zFBA;BBsJh!=i%%6dZFc^AaK28CUE8NZBWPad-rrjrO**as4v=jF}z&R$8BJ5k#qZm zD2*q9OTr;Nv_})iH>gJwvBS?)<^o9&lylA56K}PV`H_^s@AQ-Kc*zz>v^gEOQ7xHg zwk%(71vae!=W0nxs!96a=)Is7XBF79 z<~%)%HKJ&a-5ITqgQ8{+Nug0_w7w^ta5GEYV|@R#S)Wvp_8&YR8mT}0DM)>?)uWt& z*XFz&3M8W}NqJZ{>rBo_o|xD%9MDVQ(T=!%+2Te5#{mr3GkiaY<)NEk4)oY0;_AJL z0x!Q1;~a3bKvOHqZfD+k4@@U?Cv9;cSt>a1)*|6eU1Ue@zC|6N)=lcq3jybyfe>iZ z&Ob+_U3?B{AKcWerU5^i!{{2nRN&gRHsk7XxYoAkt~sjwT)V;DZbBXfwz4Q&yx(R~ zG#76s`I~%e$++k%JCO{``!Ye$rE4t$>n&ov(Qykgd-OEpTr5k-QbE$Hmzks|Q_p%oJ!8V4kmGCzL+;4(l>A79i?2_L!>Ko9P0Gc($z&LKAAYHv(glpe+ zQaWpr06*N$+{kuchorV=K*C9op!Ll9$%6F#uf+Z{_$!jIYl;B#uhcsie%JK*W{`k~ z+L}6HJU&&B{_&MMTwT(x>$d_~b5Pb1+UidMZ@GiveKa4pgOsFC7o6*M2+!vU@VamT zezZfi-eKGQPbPpc1B@Z9=NHWoqyu(}ML^h265M*0aBS92)|kpe!nOQPYru{>@M!Xm zm+n*#-5nQ|Wru;1P*9@npv@eiQNP`hj_c*fV1rCe!;NE-Gb6NA79AK-~&K`?|IA11$f!e2HNUR zfpJ8%ApHyKDdvGqE_rhJVgddjS2#FWfG5QWFgVPG@6J^n{AftbpEwvMf^_XVEh1LX z?~Ik}oa;L5B~8(Bf@H{E)`Sw{s|z`!pMbQ>AWgGS<#Bt(fnl-W>|zw0GmLUm{v=mF1Crvz7~-?S9sbH0lmc_@w~E;KHjr zwAG&is@N^Ee}nnO8_P6rmnP^F@mK`Uudop;Qko`yd*=mv7FWd3y9NajUY)bP($$hzauL)Ku@C$mLW(`1nG?e zQH)**36s|faQ0g0UY~=adqWSB^jVn#mvm61NVWif&qe*ZdQgm$rvjX_4yj#vTbL** zdncTpadReYi7UEUmbH*WtUHm6c`$M0uV8LtSiET}Ki_|d;k&f7bA=7UhdWTX3*Wax zu5am!&L*;UX$?u; z2dFGnh3ZnOhgZ*~M)2koSd(jC2`Mhryb=<2S(uV_S+=rt)%YUP@KrTQ5o=E!yMCje z(*o$!HAtJ9w*c^1F!XMXG;V)Hyv^f%gv7l4Yb{*FuX0_tdv-s5pg+hhfoTg4M$DfA zo_B=x$3EkUGMr2}e9hja1IjlUQzo2(|Lip87RwOS#kk$cJZ_ z!|oygBB8xCF8f;C8oM7QGpFmg-!ay1ZLYzdzo%}=mI_p&fl&NMgTa}{9aCN1_?3HL z3s?uP8)tDs$o0kI{wuJUB+qRk*fWd8dqBkkeBM)lo4jRkB#mV6)76VwhJn-{LoB8C zIVPm093!dgMhW)oqYQ5RF&Kq@dJQ-@MgC!yfuDG7Xvv3OF*M)~vkkW9GoJCsiNf!D zl_Kl7y1ej|?Pd>#sjkIAi-R{_dR)AXgs%#)D*vsoiM2f+bAs8n!ZYe^ImX#5APQ&U zd0!Ka->Yf&onT%>yXfD$za;_933&QxXfIZ&ay?F}N5e_I=QmppG&ogiXnE*K7Kr^- zPprMf#(oVx? zZ5b~+2?rP%--tT6_ZxEC5;qlo58xE9D`8XQ)v$Mof^%ZcmYKKwmiZIOg@x|=X;8Wb zG_qVv#(pc-l1IKJ>2W<&=?8nThGZu3r@OU$+z3+mI2?}jukAAKbBcXLB+pLFYkSZ} Qr^|*c*Yt#MI>p}qKPnr9o&W#< delta 13586 zcmahvd0dU@_xHZwsDc0~{QiBQB&vKm5C)!;pIT_kr*G_}91diN^TXzp^FI9m^Uj zvj){yd4rJ%KL2`5D zaC}31Sy$sMfWQ10-0@^i8)Wf`>7t}X)>no{l4pV=a}fF}G5`e)nd`2{c3RX#YJZvM zPp#8}Dbz+U^uShG7yT(V&!R75Q@UsfGBsb^kdQtxA0Tvo%pPpo$Bsp0a%?Ffdmih; zGp4Wx7A7j2;yF_HO4x$U?S$pnfU6YW1-%{g-7hYM`i(1zeG1O+I*igGE zbsV-3@PSA+BrV-R{O!VXW-@C_sh&B{5Z!cxKT-#8=%6xpQ66usLtLJFAE^#+98Rk2 zzG{!{S3UCRZ_mxmh`Dr87ru55v$arFxM|Bo8`M>QPZ&1gdmds_?X#4<=(EBNdykM8 zLiZ2CzuWiUSO0e9o#rts3z^EzgMXor3q>Q5x_xmGSyFjuBUy6fTo*om0duqDx_$T> za-paDEM)bSsuId->m&7vz2VWe#NPARV3eA4Yz%>K9xp^&3Rj=#M(wE|h7y^GV*@4N zCr3nw{NzgD(EVNbl9Nc<}Y;NPW{$7O7X-u)1X3zd7%4A7zuCA89@ys2VJ!6Wij$s^DDRCGq~n?8HL zq|-&(D6Jx$tI2rD66RFs{x=1)@cN5aGL7C=wlb=u&3IFUwROO?PGe2iAZx`Pk{d#{y&e z$60SCQWH-wU7&iA-ft`f&8F zsrN$t2=uyXWuks0`onZ{iN2E5f4^M+rz=8=H|eKY;g7d==m+5xVVZqGe~lo+Z|I+5 zN$36#^zR^M{sVn~tgfcw7y9$)GE?SDeKN^w`bHl{9gMM(z9H_OPSV??bE>n{3L^=r z(46-vmTY)IOQ|9G%J`~qMemL}-St0t=N)=i9x+s^Z+hHP8cT)*43%t%F{Fdacyx+n z&r?Q82sM2`}Af@3_AFPBX`*^7wYoF;>hBS{{GJ2iV z4Bd@U_T*(7rFuMPqY%7vqm)nG9J^a`pa2j}#y$xPhbeELWR33SyG_zD>V`-0V%K## zovyK-XH1t}IZ)Q)>kmpMr23>t`Wf4bza&roVX;JJj477V$$|F|NmU5pcTP)j(3(E` zMT#ZN@1;^4{g_fNwZ&g zbWM6e5U-n3HvRbiSBZu{cc_&9Kryc?rN)G5bVoW&K|lAWbdt0_la^xJ{x2yXTj)nO zM+F+Fyczo9(LZz6A@u6)u|zGg)(D|vAGJBNBY-QGq#GY(va z{HBoBvKI}3rS0U_6v-XFawduB+g1L9Lh*J_`3FVU&Q~6kthrx^Y_K%J zXOKJ@XC+hCDA|gF24m?x1Y8M{TTq9qg5{QEoLh+e5&3z}c=-vEObnG95nxf6T#A69 z6J$3coi>I}yfzmV6d5jc3a=t(b};Jq3qHckuvLtE;^*?4WbLO6@!sAXWWm;tLK56oE(eF#y_7%YMh3XZLLT1M&r^}DA zd!J^=e`7m5Q?U11C66SXX^MP{e#}{|niHKRj~4zKd$;v^4iYPQd6L{ZYmK}ed$Mzl ze2UU`(Rw+b%3}L1vKRV{ir~zxvKx}6Y?Yf4+1EQ{T2Au&JLTSpX_qhCp-NaeH0MX4 z;P8ywvMqNgV%9ujmrV69ZkJrr6p8!(D1VG&!}P^z`66nArA~968wdFSTrTESFUt1_g<6 zDf=O|FJ2ia_inv5+`|9g{b%?UT5=|IigVAcy^teBpOGRhWP*!CF+b16ODeH#qnopS@wwFI;v@ig;TlcjP z^|_G~eP)JDo8=P-3p5v5?7?st0Zs=?75dnztxo5td&omZF{+wzqgXTfq5l)5Tx!G% zMlrOPmjKZ4(7&}_87aBiYlZUc(S#gLNZPIO-lGNI5Jcq}SD8_`N2+G%CV@0JOKCTz zv1a;*Sz{RP@OaNLB;bI=Gsm)4%1+5jse&!xwlP9}$V^iGkG(*{&MqrRVC;j4(a(V} zd{_``i}L=TE4Oh$GdB#fLD%-oR! zdj%or&h_Ki+jTT1S?}2MAH?pD;X2*B8jWv)*`Qh)&jbsN4&&p#y}rJCa(w=cKL-cPx4mu>6`s}gSQ@ow?5LSHiocCsQSoP#F;inX|=%JQmpTI zLjHuv);waoFbM+=y|v~~#I%{-28qfNBSSE8#@F1D}pG1NR zU!D*uRHTJculvp==+#ixl=$s=t; zScmEOJYedqILx=_N5X{S(_y5TEdY!k?>K?klH#Izo8S8pWF&#|-WtU-7n0(lh4yvg zj&#*Sw}+Vthi=IPHn=4^WZN(2-$j2Fz@v$e@eV&af%Q`QENaeUCJNhDOr&Uhy9hM4 zR)#IMt)ubxw&Qo}A%7gX7Ia7J%W#*g;)r6N57N%1O+b`d9g>al#~Eh=oTJ zJ7c(+(n=|av9`<*{bZ8o9;-N|wc+`bnHvw8EX_1r z5w&@ZYig)(PGz_aqEZFL&378>PQKZ?ziYx)h@CUj=>}_<`z#@A7cXgV83A=P2Jn&L ztV5ly+|L~`XbVUh4pQH%Es>81XG742b>ZZxjHM7kPo-?B1OFpj1n{N6lrB>-4fw$6 zjJ6CR(}~A+1!8#abVmEnp9OS9ib~Iv(v&)t%6A5_W~ElMIxF{5oh&M?PRC!wn}@UC8CqYzjY|6g8qcv|v?WK^}B<1a$cwO_$4NvH?Vb(CU%d z#!P}Ev-2$0l|sS&yq^9BsJ}r$E)*f&`5f?2{<>a-S<3klJ&P7wZ= zWS5-;GH_^W!pePTGdw2Ysk6x|dp07!@?xVacUUAOR|$;%E5N*?1b$^xM|zoO?6P$r zxvGxz_y{5WN(4#w-b^xLH+%5Y5kfka6e#6Gc=;UWQ%CZ>=bx;%g{8>zw=By^=^Rl` z+#^BqL;tD*3IUv3+3<=;)|4ki3i)Y>&ohSX(csOqEQHu^E_;_89?{Vh76m~u)VCOP zMrAK?7tLj~7}*W;J1{<-%X*>fyrW1(&VIfpih1&gDAo$WD%GwiLG=KrrVc^n%2vzI$ff9n^2_S#GK=}BzV0djtc~OqnJN-2M z6lhxj3EUUes-HY=T*yZJKc(3F80jfn#2Rq-XrZTLG#M6cMm6FI(ab}P7MBV>1cG-4 zf;X&M6SUy*<28~VMl)~hjQb*zwERRhs*!T_grhm-GX(nR57lTNWWr?~q^cdCvzWE3 zP2pkjWVXZk+C*M;M7A~?fL2$Xhfcclh6(B-WOMq0 zB_9CAr|{IQ4$;&;7m!k!f5F*u=;1yGia|~StEa<0=CghxXQH@dR{aa^o&^d{el~t)k_B$uD9bbU(Cc|%5^Dm7@QwRg?lbJomSN5rWPQzEJ3MTDn8k*h$BBfRoy_R; zz;`v}*Y0Go#K8>_6ruHePcmyRPV$>AWwx}IA71F*>pASRy1%W{bu}x+^u1~(Z--W| zSW3NYW5-*iGZ#A67otus6-plqf(Oo)1U}1H8;WSn)qut7gwI|kmP|XAkrJJkSw@pO zwW0rs`#Gy&akJ%tg%o4Mj%K!cyytQeLUlLz=;Kj5R&33lxo$MVb->;v?ux`_>r z5`y6F!p5RNwMrpXyoLggIQ1?(B1KIwLEyVkh$u*59Z>RB0X8O@C0q02MBvLvRr`E2 z>3Ne(7+iN?aA|h;#&b(*G1(>Q-G~XL=A@D}#mfajSt{#<;5P!iYf~-0o-3IL;(}Ka zOVb^-aC{|eNh9&_+g>XaNIh@ZP-!dY#0zG68y=X(82@)AYf3rPxcJqQEe&)!oA)gi zT-+y3Y;)$MQMPyE7j!Zq~4eft{&lDbA0itNVj=a!!O5 zH)g?z%C(Z*_}~mRK!^RNlsp0>RzV7Bj4*mT3HlHx$&r6qP5-yu_ABSXFMglsbiTFw zWej!}^r_BL3zCn4!CDV9kVmFSm;gAhf=Yd`B{!~Ta30qZE^y!;su4f+g=&xMlWy0) z2l**obh>sL`F=xdF)bJ>Iq)Z$B0KRE4C-^hC_wfhS`n2hlxmw-n-7C92^k>Mx!>|I> z#$&|pS|Z=9W_Z-jQ5{SHp*$grxwX?QgHnS}zU3JGJxs*uunyKti99Zg^`Nm@b?Mz- z5+Lkb;dx6F{;y1^t{H!lC1$qCFMm)w03PkY zKek34_%Hvrehpp={a0sE;`k-&Mt%s3*_wnTa1(9ehs&jCu{%%vQe^AeFUb!<<tBkDR4aen8Nzj%9T8J|Rlu zN#K%jNDuAN#L;!?(M0UlG19D{@1#D>;z{F05VUrQ?T%QWUC=6{lhu30?>cLl-{~FiScPA_N+P2 z$YzZwnq#*`>*JuP*+Wuj6dJAX2q#?6R`(b`JZaV^4W#`CkB3I;kADhMpB(ilXW*6D zFNOliC`(cvmcu%eGg2ldbqoh|JUrSFw>wANNZ>et0egz?0kJ%E1I&RQ8$?{aH&Ec^ z=VF`#juvQYMcLuZJMV<)gl?oQ4kXJ2=j~b~ys3-q$lW)o1Jt@n{kb9Fyi*VYZQA+g zinL3}CGCTon$T%O1Q6<%V z*^^D`zAPvC%g;R>bh=asrMBv|8N|a5Kq>_df@{f;uS8&G;H^ZSam6Ts+x(R{@l!|p z7eT1eoxcQX%D$KfxgD>9uOC4fZwrY~{mC!P0Y!s@bKmY1Fr%FA+3rih*(5L_xZ8iwM{5Eu?hj zBmus^g}IUKz7EN4Pl1HvAVKSywUY(u`(KOwXYkh~Vfz#T=3lFKF8sFXi;W-w54AOQ z!g%yELHh7(b-22uU)ARUS#wa<5!&ic9&fpo;cYY@x0RG+OcR`IwhGS|2=JP40e-Mm zwccU#-A^WfFawMst>+g`7o-EWiA6xzHWJ)=rf_WbHrANRL*kXfPOHFo*b~OiwF8X`NStJAMeXlcADp)jG@-^uuy!?MQ3?@(72HE(HHR2w6o zC#1m$sCyh)^ZJHGdT{TZ>bb1>Jr1x{YiEyzLh`1a>Ll>I>7^MZ-~zmCXajBaC(k${ zT9Ez)^%V2KCZ9Yxe31ZukS`n@EWndu1Q;CV!gu7W4t_8s=1&|96G6ImofZ)*=(okn zb0_ILB5Zw1pqmf_(Y&0xfTbv|FClsiz z{dI8Ld-%S|6);yj5{4xU(&S{QK~-CYedPsY-^`@~XS;_rBaOQK6Mo$XVsPQr9op(o zo^jhUK{{~{^TG(F0t-~&J|8t#W-! zUvxH+wedA1b&o?=`yDUQgQAD>A7;5yf#8kO?q~Ysol491LI(GG1Kd1T7 zsVk5+HE#jnv0&)!8fo1Aka(NN`w)qF`?p%Sh~MP8ZujhdbZ>uyLfL6JLdf+c;{GeJge1>tBG|J^#Ct#`0({m}fSbH!a3qan?~|1aTZVzupF%99_BkS? zrXC@wYeot7tD_8V{1F(1etHEsI7R+(rhy-OWoXHVUNSV`4zmol<};r0M~TAk2bCiG zsJguHlhN-T_ev5-QUUpQxjfAfXu!sJ6uZXohA9IY^w!$;&&AG-|%ODD;;dx&Z zjX$bscOPS3M7!|c+rK9R%`tfTX=u;CR^@seSC591d(UgO6lid&)X?(K<17&StDab$ zKF&H&UTkkFpSESZ z{5Tw7WPU5^;I41UZHwJh_#J>#ye@@JkyparB?``oHCtxh@;l~FB!(8L8qmmc zEgAcrSW6!Ij-zTpIW|Nj8J-sjW+ From b0c60e2ad9192cf65539e9bb6de9e4cfd00ef29a Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sun, 12 Apr 2026 13:00:25 +0000 Subject: [PATCH 2/3] refactor: make linear recurrence formula path constant-space and composable Agent-Logs-Url: https://github.com/DanexCodr/Coderive/sessions/7561d51a-8aa8-46c7-b22d-375c51c05ad0 Co-authored-by: DanexCodr <216312766+DanexCodr@users.noreply.github.com> --- CHANGELOG.md | 7 ++ VERSION | 2 +- src/main/java/cod/range/NaturalArray.java | 43 ++------ .../formula/LinearRecurrenceFormula.java | 101 +++++++----------- 4 files changed, 57 insertions(+), 96 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 5b29c870..d9f20b93 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,13 @@ All notable changes to Coderive are documented in this file. +## [v0.8.4] - Formula Lock-In - April 12, 2026 + +### ✨ Major Updates +- **LinearRecurrenceFormula moved to constant-space evaluation** — Removed range-sized recurrence precomputation tables so recurrence evaluation no longer allocates memory proportional to covered range size. +- **Linear recurrence composition in NaturalArray** — `addLinearRecurrenceFormula(...)` now composes newly added formulas with existing recurrence formulas (newer-over-older), mirroring the optimized conditional formula path. +- **Recurrence lookup cache cleanup** — Removed per-index recurrence-formula index caching to avoid linear growth of recurrence metadata with random index access. + ## [v0.8.0] - Fancy Machine - April 07, 2026 ### ✨ Major Updates diff --git a/VERSION b/VERSION index a3df0a69..b60d7196 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.8.0 +0.8.4 diff --git a/src/main/java/cod/range/NaturalArray.java b/src/main/java/cod/range/NaturalArray.java index 2ef9b447..91519054 100644 --- a/src/main/java/cod/range/NaturalArray.java +++ b/src/main/java/cod/range/NaturalArray.java @@ -63,7 +63,6 @@ public class NaturalArray { private List sequenceFormulas = new ArrayList(); private List conditionalFormulas = new ArrayList(); private List linearRecurrenceFormulas = new ArrayList(); - private Map linearRecurrenceFormulaIndexCache = new HashMap(); private Map computedCache = new HashMap(); // Pending updates for lazy assignment @@ -1427,7 +1426,14 @@ public void addLinearRecurrenceFormula(LinearRecurrenceFormula formula) { ArrayTracker.recordFormulaApplication(this); } - linearRecurrenceFormulas.add(formula); + if (linearRecurrenceFormulas.isEmpty()) { + linearRecurrenceFormulas.add(formula); + } else { + int lastIndex = linearRecurrenceFormulas.size() - 1; + LinearRecurrenceFormula current = linearRecurrenceFormulas.get(lastIndex); + LinearRecurrenceFormula merged = LinearRecurrenceFormula.compose(formula, current); + linearRecurrenceFormulas.set(lastIndex, merged); + } clearCache(); } @@ -1435,9 +1441,6 @@ public void clearCache() { if (computedCache != null) { computedCache.clear(); } - if (linearRecurrenceFormulaIndexCache != null) { - linearRecurrenceFormulaIndexCache.clear(); - } clearRecentCache(); lastIndex = null; lastValue = null; @@ -1507,32 +1510,6 @@ private Object evaluateConditionalFormulas(long index) { private Object evaluateLinearRecurrenceFormulas(long index) { if (linearRecurrenceFormulas.isEmpty()) return null; - Integer cachedFormulaIndex = linearRecurrenceFormulaIndexCache.get(index); - if (cachedFormulaIndex != null) { - int idx = cachedFormulaIndex.intValue(); - if (idx >= 0 && idx < linearRecurrenceFormulas.size()) { - LinearRecurrenceFormula cachedFormula = linearRecurrenceFormulas.get(idx); - if (cachedFormula != null && cachedFormula.contains(index)) { - try { - Object cachedResult = cachedFormula.evaluate(index); - if (cachedResult != null) { - if (computedCache == null) { - computedCache = new HashMap(); - } - computedCache.put(index, cachedResult); - return cachedResult; - } - } catch (ProgramError e) { - throw e; - } catch (Exception e) { - throw new InternalError( - "Linear recurrence formula evaluation failed at index " + index, e); - } - } - } - linearRecurrenceFormulaIndexCache.remove(index); - } - for (int i = linearRecurrenceFormulas.size() - 1; i >= 0; i--) { LinearRecurrenceFormula formula = linearRecurrenceFormulas.get(i); if (formula == null) { @@ -1547,10 +1524,6 @@ private Object evaluateLinearRecurrenceFormulas(long index) { computedCache = new HashMap(); } computedCache.put(index, result); - if (linearRecurrenceFormulaIndexCache == null) { - linearRecurrenceFormulaIndexCache = new HashMap(); - } - linearRecurrenceFormulaIndexCache.put(index, i); } return result; } catch (ProgramError e) { diff --git a/src/main/java/cod/range/formula/LinearRecurrenceFormula.java b/src/main/java/cod/range/formula/LinearRecurrenceFormula.java index fea973bb..d0bc02be 100644 --- a/src/main/java/cod/range/formula/LinearRecurrenceFormula.java +++ b/src/main/java/cod/range/formula/LinearRecurrenceFormula.java @@ -12,7 +12,8 @@ public class LinearRecurrenceFormula { public final AutoStackingNumber[] seedValues; public final long seedStartIndex; private final boolean hasConstantTerm; - private final AutoStackingNumber[] precomputedValues; + private final LinearRecurrenceFormula newerFormula; + private final LinearRecurrenceFormula olderFormula; private static final AutoStackingNumber ZERO = AutoStackingNumber.fromLong(0L); private static final AutoStackingNumber ONE = AutoStackingNumber.fromLong(1L); @@ -34,19 +35,51 @@ public LinearRecurrenceFormula( this.seedStartIndex = seedStartIndex; this.order = coefficientsByLag != null ? coefficientsByLag.length : 0; this.hasConstantTerm = !this.constantTerm.isZero(); - this.precomputedValues = buildPrecomputedValues(); + this.newerFormula = null; + this.olderFormula = null; + } + + private LinearRecurrenceFormula(long start, long end, + LinearRecurrenceFormula newerFormula, + LinearRecurrenceFormula olderFormula) { + this.start = start; + this.end = end; + this.recurrenceStart = 0L; + this.order = 0; + this.coefficientsByLag = null; + this.constantTerm = ZERO; + this.seedValues = null; + this.seedStartIndex = 0L; + this.hasConstantTerm = false; + this.newerFormula = newerFormula; + this.olderFormula = olderFormula; + } + + public static LinearRecurrenceFormula compose(LinearRecurrenceFormula newerFormula, LinearRecurrenceFormula olderFormula) { + if (newerFormula == null) return olderFormula; + if (olderFormula == null) return newerFormula; + long mergedStart = Math.min(newerFormula.start, olderFormula.start); + long mergedEnd = Math.max(newerFormula.end, olderFormula.end); + return new LinearRecurrenceFormula(mergedStart, mergedEnd, newerFormula, olderFormula); } public boolean contains(long index) { + if (isComposite()) { + return (newerFormula != null && newerFormula.contains(index)) + || (olderFormula != null && olderFormula.contains(index)); + } return index >= start && index <= end; } public Object evaluate(long index) { - if (precomputedValues != null) { - if (index < start || index > end) { - return null; + if (isComposite()) { + if (newerFormula != null && newerFormula.contains(index)) { + return newerFormula.evaluate(index); } - return precomputedValues[(int) (index - start)]; + if (olderFormula != null && olderFormula.contains(index)) { + return olderFormula.evaluate(index); + } + return null; } if (order <= 0 || seedValues == null || seedValues.length != order) { @@ -98,60 +131,8 @@ public Object evaluate(long index) { return result[0]; } - private AutoStackingNumber[] buildPrecomputedValues() { - if (order <= 0 || seedValues == null || seedValues.length != order) { - return null; - } - - long total = end - start + 1L; - if (total <= 0L || total > Integer.MAX_VALUE) { - return null; - } - - int size = (int) total; - AutoStackingNumber[] table = new AutoStackingNumber[size]; - java.util.HashMap values = new java.util.HashMap(); - - for (int i = 0; i < seedValues.length; i++) { - values.put(seedStartIndex + i, seedValues[i]); - } - - long computeStart = Math.min(start, seedStartIndex); - for (long idx = computeStart; idx <= end; idx++) { - AutoStackingNumber value = values.get(idx); - boolean hasIndex = values.containsKey(idx); - if (value == null && !hasIndex) { - if (idx >= recurrenceStart) { - AutoStackingNumber sum = hasConstantTerm ? constantTerm : ZERO; - for (int lag = 1; lag <= order; lag++) { - long prevIndex = idx - lag; - AutoStackingNumber prev = values.get(prevIndex); - boolean hasPrev = values.containsKey(prevIndex); - if (prev == null && !hasPrev) { - sum = null; - break; - } - AutoStackingNumber coeff = coefficientsByLag[lag - 1]; - AutoStackingNumber safeCoeff = coeff != null ? coeff : ZERO; - if (prev == null) { - sum = null; - break; - } - sum = sum.add(safeCoeff.multiply(prev)); - } - value = sum; - } else { - value = null; - } - values.put(idx, value); - } - - if (idx >= start) { - table[(int) (idx - start)] = value; - } - } - - return table; + private boolean isComposite() { + return newerFormula != null || olderFormula != null; } private AutoStackingNumber[][] matrixPow(AutoStackingNumber[][] base, long exp) { From a5f40752ba484809730e6dded882a34f13174145 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sun, 12 Apr 2026 13:01:07 +0000 Subject: [PATCH 3/3] chore: bump to v0.8.4 and align visible version strings Agent-Logs-Url: https://github.com/DanexCodr/Coderive/sessions/7561d51a-8aa8-46c7-b22d-375c51c05ad0 Co-authored-by: DanexCodr <216312766+DanexCodr@users.noreply.github.com> --- README.md | 2 +- docs/partials/drawer.html | 2 +- docs/partials/home.html | 2 +- install.sh | 2 +- source_.jar | Bin 378338 -> 377971 bytes .../__StaticModule__.codb | Bin 0 -> 35008 bytes 6 files changed, 4 insertions(+), 4 deletions(-) create mode 100644 src/main/cod/demo/src/bin/test.linearrecurrenceoptimization/__StaticModule__.codb diff --git a/README.md b/README.md index 565f523d..cb89660e 100644 --- a/README.md +++ b/README.md @@ -10,7 +10,7 @@
-[![Version](https://img.shields.io/badge/version-0.8.0-536af5?style=flat-square&logo=github)](https://github.com/DanexCodr/Coderive/releases) +[![Version](https://img.shields.io/badge/version-0.8.4-536af5?style=flat-square&logo=github)](https://github.com/DanexCodr/Coderive/releases) [![Java](https://img.shields.io/badge/requires-Java%207%2B-ed8b00?style=flat-square&logo=openjdk&logoColor=white)](https://adoptium.net/) [![License](https://img.shields.io/badge/license-MIT-f5de53?style=flat-square)](LICENSE) [![Stars](https://img.shields.io/github/stars/DanexCodr/Coderive?style=flat-square&color=7289da&logo=github)](https://github.com/DanexCodr/Coderive/stargazers) diff --git a/docs/partials/drawer.html b/docs/partials/drawer.html index 6892bd52..5f16ed32 100644 --- a/docs/partials/drawer.html +++ b/docs/partials/drawer.html @@ -41,6 +41,6 @@

External Links

- © 2025- DanexCodr · Coderive 0.8.0 + © 2025- DanexCodr · Coderive 0.8.4
diff --git a/docs/partials/home.html b/docs/partials/home.html index 69c653d8..ce760442 100644 --- a/docs/partials/home.html +++ b/docs/partials/home.html @@ -149,7 +149,7 @@

Parameter Skipping

- © 2025- DanexCodr · Coderive 0.8.0 + © 2025- DanexCodr · Coderive 0.8.4
GitHub diff --git a/install.sh b/install.sh index 94b11a2e..a8e9fb31 100755 --- a/install.sh +++ b/install.sh @@ -26,7 +26,7 @@ warn() { echo -e " ${YELLOW}⚠${RESET} $*"; } fail() { echo -e " ${RED}✘${RESET} $*" >&2; exit 1; } # ── Config ─────────────────────────────────────────────────────────────────── -VERSION="$(cat "$(cd "$(dirname "${BASH_SOURCE[0]}")" 2>/dev/null && pwd || pwd)/VERSION" 2>/dev/null || echo "0.8.0")" +VERSION="$(cat "$(cd "$(dirname "${BASH_SOURCE[0]}")" 2>/dev/null && pwd || pwd)/VERSION" 2>/dev/null || echo "0.8.4")" INSTALL_DIR="${CODERIVE_HOME:-$HOME/.coderive}" BIN_DIR="${CODERIVE_BIN:-$HOME/.local/bin}" JAR_NAME="Coderive.jar" diff --git a/source_.jar b/source_.jar index 7af7553c2a56e0927e054f35a32366d710a69292..9abe65c0f1f9da60ea1f6fe5e7d3dd5ef4f15b8d 100644 GIT binary patch delta 15112 zcmZ9S1z1(h`nO@jrn|daX{4l)2I=l@q(KliA>Fy@?(S}o5)cHGlm-E5Md@#Gc)#~} z{#+NV>vumfGtbPdwb*+$qX;j;3DHy(;NVeUV33etNNp0(+(D!^fkDkduo)~E@HWu~ zFF27Fx0qmHly;$}?I0p32O}&3R4@XJ4LK6FcO&IXT)TT_qA5Vl8rkBi-Oi$*75i+K z_l>0-{mhtC7t7ahGCA`kvTqYAEnR02QTHuQZypXw-Pc{d=@mnpXwx?Cd?Yc_h4qRI zCrKZZmCkK@WeK4BQ{BFc@6rkJd*sI}dPhrbA2wpI1X&}yzQ+-0>OD_f#PY{pi-Sbn zHpuSY@1e1V}lYDIb!YLf1wAxDJ!QV&p`w~$1m zBB_qFqL*64u?G`W`ggIvts7XpV=5q@ZiGKE+`-<%ZFj-*9J6ZgH98D1G!{KyG*zpP zwBTim+z!3F_$EA@Ynfoks5#EY_1fPP)YfoOq^Jy!ct?{l{=9nMk-#nDBSYku)M!gUf}Pt4?>dqk1{6c2_;2PZzow&vmqV^fbq=o?9v}N^w0CZ^~OKlyTsPDC~7T zRBe)(Wl3&gj`4x+W-Hbm%*x9U-W3blo|3}aeXF#3yH+z>u-$F3V;AADL1y(Puh5$8 zBcDMek?Vc*j~Vzw?Ja}N!W&D1)U}GDHpNQQ7*6(Xok=SMUa<~lIR7Gg1^L~mBJje) z^D@yL_P5G-f3!41vv%z@`Kv$ELv-PW#8bvZuDXTf82k1eIF&>rU1cx0?$+=jxh^gA zNpgCr1k(-jEFv)Q`hm=hgLfMne~#`=9(GQT_P>9nezQ07(8P&NbF~|dzd)BrI4vhy zrc9B{O*(*fZ8oR%es!sYeue4Ujq77cY~BsrCe>YY7 z>)S{y2oYvoR|B%5mWWTG;J&maZ5xC1I$ zIw`MuPy6sfYsFmQ?6~>;mS;@a=A}G(Q)Q8mXCU#ol&ODHg*P;UTKhM#ek%Ezxqudu z`X~#z_-h`rzJqfAh4pQVQ!ic-;vWwl?tg-WDbX==vPr<L zst^id3p%d48_B;TYx5>SewSAsTS`6*QJ&iPo$qq$5W3=U_Igu_g$hompsig%Jg<7= zt|&7z4dI&5Mc|l*m0Lcvd|Hsa9E^Kuf!-OU+QW9Q`><2V6!^;=bg0{b@1Sk6}e(TZoO6ISDCNue|kMmuHW3SgUFSzK?3dzi2h&$pLT)I^i- zrf$Fg@NVLxM$)q{#Qs@D3Tg4W*E7Y8Lb7y{d=UL`nuyPF0dvo$3g2Ih zI5J9fR#yFhe$Hd_x_!gUCa1Qk!2E^6QtDl2s;Ad|4hZ=(qF7YWX9x5KZOpQ*HLR*YnCuAq;BEfQT-n} zUnP&T=^&Ovj7=b7F=!6W=NUU1XB&Q2%#`AsRN09~Ts1TPX3K~_kc~|!uvB^isc%{1 z^h8R#6s;AUMkZ$uSaMU}34-Ms7;QLdJ2&5WyI0WZC!5t3CJhubBaQgIYWqldJ71xr zGWV;(=?F2p({x?cN61uOJ z5G%ihzAJdhgmg@XMNena9pUX9WMG^vVbxqppqHHBoGy5fy%el%`$b+ti}hV3b)WA5 z){O;Q^L^Dy^)8Id%AC1T^Hw?;ozkF3N=lC``&Gu4;0Foes=8-7^)06Tnr{7jXPi(Sp(E?>I-7EA`m=V;GpZfxg?n&KmpqTjD(o zs9jn2+f#ISjZxk>j9p$_aWR{GQ0S<#D+%Ap8C);;7FO|5Rsn}`o7~v{)~ZRfLy=Lq zQqb0y@N*{QbwZlt_ejgK+aOfu&m7`$^}%%1$M79^*kAgVsh3!t^#&^vHkn!kJl?AE zEDb{_4c!KxXOU$BbVq1D(oo<;(6hFdo_A+CMVD))Dj^`(Iske5B$wU&oY}AuA|Z?RCy$nq2|HdX9ZMt<@jp64Y(O)yc2lErRO&#=XfyIh zX|=|38DM-!Ho-=Tq-E3+>eJBV9e`KlA-hstW>1ZS7sbve_~KzO2iNrrZ z7bPKnQ5m{nqa1;pyHjDoDR+Uonr z+9CF?Ikg0{iIduv#fk)}>{fgZsao$$lB<#&{0{2-ztpaZESqHV{2+Y$>%CuZpnXP0 zc&5Xa@4~x&%oo+`zd{j5^zq<{iiW2(Qwiia`+LgnE?k_vY3NsNTABmZW^+tR0;8Pq zW0+8t`D~?(+vs6(1h76-aO}cYdnBNsoCiZfudit4J4*>{&2v--=O-Q$dZwHHnPpf;_6#g<28i%f96}$lHT%6n=vw{9yZU8F zCu;qy2sKtGsHI9k7~)k=i`PgFlADHAuQ`*`NeHgK^vE?E7D#+Su<^~M-by-VE$PYyLe7%%3*Jen*qAiA<%c zDTR8j#pCo7>;28d;Nt<3FW8jsCXg%Vo0X;A>()l<714kneqL{nlackl-lxMXO%o(4 zlA%zYUfBDx4{1%(eYg|U$^S@16^Nolh4$!}9rT4^RV z=4fptuW=kBoc840G5n_~UKN@`xa$rTR-N~kMEJpC52h6MswCeyoC7Wd_$?~&d^bZq z=0^&UAees;t_ci(ep0Lq^CtV^%#h z6VgPP1HamX21%I+;InMLH5J2ChLM^FN6w($_O`;TPNitPVx{S{u3TiAt@gVpv>q{`RVc)fg=9vw{ zTCY8z+2YWqP{508O{n>kC#;~Qg>2_2G%sjjTH!`^I@Srv;D>BT*>bu&jZ1M~7&>Ee z>@%+btmZb7X%DKju6Bgy%rRDBz!=W9P?>e>zZnr#Zb;|%F2awU`yB8`Irx^<2EPdd^GLJ68^Q-z1*z+3tm19%I#RR_^Ian0>Q-aJmz-)W1s=!hkM!ln+Ib|$63Bi^KrHj{E z7#i~6`19-J+~MR?;RgGwyb`+F@L&;Hk=4BYd$(am^&TAv*!l%&KyA9d=I)s1MOU@Q z<;pmy$^Mw}2PcO;0scb=ZW$S7cFV_uS(Bp=6n7@%m|vGFbD_XoJgB3?nN`D+7f>)-(2=s$V9_QBXY8@uu9HlAZC)nN|3 zbYBA4#)J1EFBby7cAi+_5O$XDzkH$mY^WTUx}wT?>M-$JpoX#<&pRDZdiA{D%3ST8 zWrl;ACc)%O%`jCu#jpe!#)@AMp^hpxtq8{2yrHB_9gJ`{N?pR(&G~ zZaY}jXw*2P6MKm%iQP;*O{GC)WAsYaJnJ^>pWQ1iAyiB(YhF^5-&g$f+k!f+6Szq$ zvUA=qa_e8j#Yxd79?%j{zIM1<5~Ey}Eb7wOeG6xXWxmj1XdO3}MKgTvfu4gZ<&NHw zs@J^~)675ptix2Bdr#}m`m{;LaSu7^rMs(^E>7HGNSu&G+v|rJBrHFC4qjs8QP7uP z=fXXnt&pI(4|IdfdDf&0LU{{i@-68!j>*51z!XA*+g3py`p?-L6tYG?1l>xiHGC}M zCqyRVtX4nxP{L1+O+t2;Gv0@jSQZ=FVeP%1FkJE-{c=8F+A!{-&*?m%M(_k>H^;oF zDe&bc0)oRcTl;58>=Nj(lg;E@pF_s9;23f%EOQ|5E>7!6wd1EJ@H>;GFS#qr)-(${ zrL~GAo!ou0c?9iVG#B0yWZ4`1jvC+L$49f zZ7vhor{AoJ8gS$93-w;o&kf)Hl3)l_ER|7M7Z`cD01G+fuS@oB&d^+>Y|p{kpH{qi zr)&d3`qPLu4|1tFXGvdF57b8b{LCzfL@1sdu2f#+6YBOsEJwe3%A1(Uq#YbJSk-4l znUQwH++W|6mzUi89MZ=O3i%kSw_eDwIoXlIUyXOY_fCcPcFQzt&8_+HyF6VkZ2@hm&asM zsN|w-ylQX~k@{2Qw?N0>LuS@OeD5{epcTWMKAb;98|>;$jT$GoZ0IDgeWLv_0Bh{* z`9AF6*YDNehje9O=8^bVXqT+9yToBE)ex0I%rZ4$N(%}0?lRu4QZGeH^N>vv>6&NY zGa$`|iEjylPT+%1_=8Ze9;CL4UDUUIXm5JQzQLyIk|Jwq=6pE1oYpw0%-63Cr9meNLB}&$LTYC=NFZw@(%(iqm14qKp)mS_)lbqs2 zngaTq29biPJZK#eC$b~oX*;D24;J~S9uW`QIBHf2OhqW3n?=?l*nDiama=(16hY2SjM6z8* zws(b6MiS{8Tq>F+t~7Vu`igE$+Ot;cEL;lNJJ#B zG*qoc(M&5r{6^xzBJZeTW@M;vChJf=k|O6!FS_ttBo?K3&v?=+JQGu$FJ*E;3fYI| zx9Kp0(La{3?{*D_3s7qOWTJc=hR;Otl^m0uKFN~4RtS|QEhQqYTIV2w#P!U19osN; z{@@w+Ci`{rBR~CM@DIVC1Jhq%^EvRmXB%&xSnP@{`4Wk^QPg3A$$08l3b23?;TaJ{ zn_$Fl2O?wN&tGU5s1^!bo%4Ds0%{*9WIy%qaCGi(6h}_*>z^cP;;8H2ZN3Uu=s*&1 zP+NcxcmLL(dt9ShW<=dT2Ju>%R1{^q0?}4R7h!sPwvJlIpvLETK8G#4Hj~=?Q9o|1 zpp=>FuoyqoNrRx`s9CKB6=6Av?du%ZWyXwWDCU13uUQOXYyMJ2 zz*av$Fn~5 zs>ND7VmYTo)?2CY9YWJFIgbD*dgbck-f|8jH1}i$tvrHZL=NHm?>|^jX zG)f@V?iy}r{i4EBKOkB;1=?45TGBS)rVB#TNR%IfFO}KXZFKxN=?L5LTc2B$FdU|d zjwnTjy;aUoGz(a_I7a2Wm{uOj9#p=4nWXtJXp8AiE6gm>`r0Ref1(j*mPBYHi-5FD z7GdT1cf}BnkL+6pJI6jAR?l!M-?;JA^;qfG1u=X?mh0GdNsf>#M`zcFlk%Hl`xkP{ zF+ai02T@#S(VaHMS#tseL-M^XtNVqrKwdXCa?rxBA=4O=oE2!d6f7-7 z?v85ADT>S^u05A~fRxBo5-umN-qdRT&*RK0y4WJp0eIPOQb zgsdEn1Z)&;Yo5vuNpQT_b2TJu+|WD{i}rmNPf9ciLaQ=d2KIqzxQ(-2b<%o*)nCxJ z(y&yVglTomscB=Jjb;RvE9=*wn}%DioAc$mUYe1d)lNyO%5rtOs#H6H-j?xZJ z}8Ek=St3iJK^th}YmvK+~4r@KBQsB(n^Y5h?{+Zd(j{-CJL6FRm#F+g4L)XvnDEVJhr$b2V~p40R<=FC zYGVX3v+cv|T$1~2;htodNN<8wR8TEKKow00&dxbdsnq7%<+<<%0}t*mWfg1y9x^(A** zokIba>h1Qc<#zr-rks@E{Z4p>v8i_Y;-jNnj>@ixL^br|TkS)38sRbm71+X>omU1K z5Cjmc9+6#&kiGVSqFK#FAKqe~CR^-AkvhASrTxcDcbhNY!NM7-gzD$qoBakK?ce&6 zj?-rm9j2wMc1hpV6q0t8ypf!L!9;>yfRxuXyctgfS+OXedppU3s1|M+mV9@6oBeYA zPo)W#z0B>Vl&6`;%DOHZ4E~!u@oP315CjANp+a1Za&X%6MHg=1a++nNHr?sDw2+NX zRJul$a@Bw)W&SAYR)GQ=e$5&}WyeKl2R$9nrbkOuM$~INWxivnRVTZ-Q_etpRd^OF zcz-swSi3TG!Xj@E{IKMs7-A&|@O8mEf^SPAbtPhqgw1aag-9umDTUp-R=2zMS0Nv2 zjwfBEIyLOzPNKP>+BnvG{@^);ckf*Ar(D7`)NgLX+Bhb;kzE=N+!?Txe)^pYBWw@S ze_4ZEQ@l}2Fh&@L8u$LLg>o^;uJ|bIEBQrblU~?;TgL4a$)+RZn<2pBDQ1su0(%5@ zhC9-h%o*m!hvV1nPb9^u7!E6dX&~@Q-GcxBE5Cog@w>8u)z--o;QC0|us-%SCHdsY z5S7z&qvnMmm_9|?Ui`q98B2`xPm;<-vq_H;oBC*i*qQ$bE~Rb`4sxS$udpS#NQS3Z zAbJ+UZSTadWSWAyk7tykKls1WemcjrzeTTE6N-x0gG6ZYfJcj(60{xYTiyGDLEuO8$~JYQzFl6CV9 zmzr&3#h=i|TZ0`>dW3-baVWC{L0|9DNS}Nm8%G+>XKrXFDtGSCUNb_oy^24 zSdNvu9^6A-=iPwivAYd(Ib!dqJl1 zP%NTSY#(k*I_yg?QqxgNPQrP3T-z?EC$0IZQ0rS4t`#-pDQ9qF+|BgI#h4yoZfv|XGKX{n2*PjBameoAwcDIpPi>b3J{~Oli?mXU7>Oz*QoMnW#K}2~Ca}OX z5Hp$;GZ3DWb)C_RU&nS|Ejf-}xb`p7Dk3n42vP0Eu(fxXIMZ-R38Q^FC21ky*>A9& z$g}-yHfj=_fKAIAo`HbYLeTY%cT{{lN9W|T4Js^0!h*7?&;stkvXFk&I4#P|G@GqW z1@Z)Ug5AKZ{2D)c+;0i}i4qy^7|h0HE*5#XR|pb(&iTuh%m^1W91xa|X}E1#phKjPq;NO^B_(O;s{@|)pz@*tn7kIb9Js?qJ~x6V`QkH zw7{OJrYYrK%&htK`rQdP1}KIPEp$z8$U0EN-BbYc%O8*_<^Y=9yYT$x1w`>-3sDHX z7G{80U`rv@%BN0p6f0_W!_P}^6}qN*5HrQZ?gbZh?fRWTnl!NmCK7XXA4fAC?v8vJ z^`o0FHZ=K$xLfRT>mr!KH!0{K=<|7r>k+wKE-s@~P)prv7v|VN=}Z&92cATq6~$PT zG9%zK8HR3WbXFCmiAWn)#a4H!mv)dg9HG{!Y&(&k>3W!5#Opi7IS!$v#|Si^ea(tJ z5zXed$fM8JUtx?ci0S?5pKo+Iuz0Nnf}IS<<$11ZjnnjXMMPavoq6+5`Mj#ZzKVeF zpigOkyhFYZ$wYtJCGzqE_Tg#ecPdbl==^l9-FH%L$s2#4lQ(j>;3T=Qc~w$KVQyQ3m_vK$Hf`PEdnQ8=-W<= z&_~$gaz5OR4n(*#RRlCUo*(EjKe$#Qs(NqMo@P^fi-@I^(03wOQTm{b)-D!MLvc{r zty0&9Vuq&{V}O$zpOOB|EV%bTBz0-?PU&aOit77Ge-pBd!gpQUub_$ta=7GAbl67pCE6k6qqRlTIF2To{4%a{Xn-GbUISFS+=e=@x9Vzi? z60rCJ;cDF-MiELJL6gzcm8VBtZ zS_}4sdNjeO^X8kZ8AF9yTG5GDP3@JMiA6?R0`L4_vak*A5FgGkqfPK3!c3nil1YUd zY_Sq^h;NrFC5?PLXuC7w4EN*@NLqWV8W!<3ou_tq%)1#{+U926bKw$ycI7@7=kv(& zZ+smw)=Md-M>TP;L=K7NJ)!tP(&wGs?yXS#Ik6?G`XuW>&Db^KxT3X4B=$055VqJ1 z#MxvD!+iq6L^aAz#E?vXVW4~ipLZy%L8@?;N|UNuqu{6Q(z3VB%5loy`s*9bkp1Lo zjTRyb(|pBn6hS5B#Idd;cQ7mKp<%HSCVc93xz6DY6S$M5=0h2aSGSuK%d7G zux#QOCal1Y<5X3S#5L52A%q&*vawGu)G70!VvMS3%|A*|aeKBviMFIJe?$0N&8&8M z<diDyHPDvF8%1Su1z8W&)s3J-)EHmdZc!~N=V8?f1 zJr46Fz8gXYx=|rYw*q2)&F<%4XGiQ0&9pIZT*;Rw<39hPjPg-7T3fThVXB*mGHR>-}psh2uN|J`=kk;D_yfjDIhN&pO zl#RnE)DF>YFjU`nA~(tSS&pbHzu4lgLbGuq=sm_fSK+g!acA8E0ZVv7<1t7D3(A1j zcH`%e`);w*xdQuf=g@{MN0l*`{#v-q_r>|u1>GB*d4XK9=QQ{Xg1$AB%BZJ_RbSnu zkhgZ;oVaxndtk+KItQKg%GFc)YRbu8V@|QCh2G-gd~Ougk^g2_9@Jy<+OFO*#~Pmd zXY|K4L*V~96&0el^dI&ZmbN}Yc63Sj5v@)|>UvfoeqyaT*%pS|Hv--iN_%Ivf|NZg zm}ObWDT33mBQ(skIkB0zZs<(5)jEnlJVz3$l)tTi3D}HPOZ8(&+BPyME%g4w&5FCv z98hLy-ib&t_&PK4sAGq3)Z48g#Y-p*H!yj2%Kcu!@HTpG zr=?zRm;`48mG-MdME*`NBj$AuXY<}3&wkIH%tX!aVGDY^<~k*95t-_J>Kl+9InC0qSsV+D9r@EDXR+pESi5NHR#VjX}~|r$e3C; zd2LUi+(F7n@DpLEM~u%6$vMM(Twe28Sza+Y4oWnhX=&E0`kr!Khha!Hb1@Vesw?N4 z-ofaJGWz>Oi|K_Df@~m|*m>=}v>#e#=v=!Z}D$KIBCK)p&PoN;y<1T*$^lb zRx1|vQ3PeT-+mACC^4ya{0(CdlFC%rpr0<)w}|>cWXyoF6o}K$G5z(#dW`T(rL2k( zN~_FsTtuV2Hlh(<$l^YAiF6BzIOb}RofKy`(&%&0$;N}H3qz{B2l`gINbuLNTg}*c z-wD*~OYM6S51ZE-_2D;-q>-<6EosuGU-JuFoFr%nscg!Yz*6c%9zb@ zTH>PAi>g)kIYC~Z*}%fm*-YelWAO&jyv*iVNqqTDzlo*845W~GTXg3H`#Vv9!MjT8 zL!nysM!T*&PNJ{XJtDKwdEt34d49zR*0~{9(-0`>-JbvAcsXik`B~@lOa8tOUag)P zQBmCl5v3Qk-E~GJJu}3#DdnZpdFayQ8mmL=2@gv4g|^F|X;{oUV)CDbzd8Dm!vRC4 zq&%L@pcd%o-HHsMPsx@sQ|vQWXR7rk@@WZx+|@PCR3 z?*yV^NU`yUN!58p6@@^MbE&TDeXG5bbx*nbZAp;HDf$Z=LBOZyL4$?N@O#p3-whD* zp%+)&Lpg3`ZXn{BARZ z1E<-crdnVx;M%&R1!my-zlYi}BEZ%lAq^;X92oEEa651>M}nqDfYGS__jV5hBLwr` zpQgZf|0n1*NJ;Pirn%OKC4`Pgg0Z09kzf*#x#RzJzl+8uCojshI}J)dx06j&C76Zn@;M-bo>9}TqjG8$;jGWahWdI&7pqm2cm z5dMUxqrnOw(fq%B1Y^J=po;Rp2s8#P4Ej0uFF}E-#Dc-ls~9jJXm<5~u`pPp}B{^c%;LDPJ!cqPKo}0^mz>;xPrRGft5iycaNGFx*P`<0>L6e15<%{ z$U_2=LFM9sEWMad#0VRN1xN7zp!8W%+I=z|3f&<3MH`v$-mAS?=KU=|o3T1N>& zfQlpl-g1AF6G{+1bRroDsYn32G9&kwx0eD46MFg>va0!n`>X&WmIzD)h1L@ZNCYY# zqVumA4|#?AS%m$2^F*_2}r78`$YcJvuisL!Ban;B?J9P^83ps z00H4W*+L&}R&jsXx|6{Ipw;xh2yO~Mu5zC$GMx{M+9m~PjWh3Gf(>ndBJ3p<1cH2$>rng*u3*3Fh4r2+XICY}V=6bJ=Mln3Oqo%)}AKmKuu zp8}yn1=4|J_EV1`?_q0IoZf#m-Y$De^&9`6Uz+t2<_ z`s05bl)ivaq1m&*pOp+CN%`DU5&#oH1u_A$_T`EAXM!a`cMDHqB@-+SYFK^}!dYMm zP}R3bp$t;kc)XHAkFvl#z}fYgETDiw*}#BIbeQ};ln8d^3Ur<*Wksii#i{0@U3f z81Cm>V8OWmjfwH#u%P4xfQ=~+uyGOm6=IYJZ1yF>e+eqII}gkbYNz^_AV7_1;4q$M zDuM~_@0mwq{L9NAADC$l_P@wH2ORcO+-yG3?jYA+Hsk`J-Fp6i2_7`86X;-I0pQpm z@GnMywiW!#f3mo>2)7{$)VSe7L$L( zv0s2p7Xc4fM@(rHE!K1h|d=fdvaF|fVVj%jv(G!U`fkT1jK9UDxXkZPP z0=i!e<^oNdJedVcfaqh>ClONu4D8=M8(f+A7+2w%Su)~w(^igCw zJ_*SRAhXDuC$Z}cM*yv?0EY42`H5t|gF}TrQ~+hkb9o|4l|TUS$oWqRr`>@HS5|^q zV40wSm0(KfuS%c`vL26CHP|sIM-|Y=f+`?l-RmjhXBAMFHSZ@ORSj5v`8)}rDLiOp zHPAThyC+ia2Z#RjNC@-)pJj#O_v9d70~9R6|8b1Eph3tJv=4+MhMqJ6YlWs3SS#3p zPguVexZz?2J&ER8pajCfPXeh9uqeEL5@vNkm%jZYLPLRxz9|Dz`G);Z2kt|jywU1` z-6t6KB+TooktkQo8F7$U6P=oTy|0&<|ihmstq1~daC{ln6v>^?y7?Jw}Y9XgMbwTSN$Z2+JU_^IQ%5MMu7!% z*A6t7I{81%5l=iiSb@&xAFouEW@SG9Jpn|9xk6l74is0WoVmIj(5KlRYM5fzx$>hxXsXQ$iIM;ZdQO zPVi_?uTQ3ZU=p~Q5C0gm`@lSKd0+qQ`k&XXe_pawY`_?BFK+&0WQOYY16lq4zpCvA zOTk&){$ryW0E@%P-TkBP@8N;h;KxVuf8W(u@1fHJz{axr&y_R<4OoowgFr?jR4{aA z0C24GO>5%U3F6p7W5r^)O?vU<~?ve(Pl2QQ)|KY>$ef`$Y zS_5nEvrpXfocla?4KtS!1l!RBsLFCcIAj4%S2Q+fU#v@P-75mIup9AWsKg- zfy3++Mi`jlBM1f=EIDK}9E1fv5dpid^49&{f5V8z}sc=mJj=+ zOst<`?z{L}WJ*RG;@%Mw91jh(@?EFKLfj3;Fs`GGLXX@;)9S#|&C$oSzgL-rsy%fQdqWW z5QQDiQD*oL{o*osUm>+-3ckJS@cy8|@cn`P z#iY*__Rr^^?&vD(cR4M0l@wtYcb`?(y_tB?6_M|fWbK_XptntDDq~hZSMFB(R%@)f zb>w`Y%}(!>e#g!Cq`^}KclLP}z1I&L?Gl37=U(Z0#k0t-P(F!xze5EVFUR~4DN?ouCOlF0 z37|7?Jq{0J$;`gz=ETlV+#&LnqMfu|gyccc=;ZD?hnG%|W+RiHmN#-2H^!Qk zSmPvpOMmYS%{+!tBD6>eQ9t#PIQloL#3&sSqwy3P9UuKr7pmgq`omd40K_Q*NIGhu@`+kM^~fT}?P?#d4{5 z8pd$_$j9Dv=B2WA<9+K_Bk!!}V#S%oG;DgBg^~F|x>sy$Ut5P$J@7I=@ZsIVW;1Tk zCU1!)JI5OQs<<{+%J67I>(BCV66H5$9JsVLy{nDcEcm%uVEv zL`_HYcWz|@@p^IVWTg{!&=6|8%d!i>-YdU-I0a8A?%X}UKl2hLB^4FoLdIMG$xAR! z+3`ol*p9w41(V%qU3rnoxL^8M(of+Oj}M-5y%ohmyT<`{7vL^r3>kGsXn(rf_Jbih z6xVd|oqSj}{Vi$%wzIb<&b2=i5a;lxTOFD3x?sQA8q%)|)9+!Zjs|OhZv+!e?^CwiG!J&S1nU_Ms5mgD0;LmjwkxLQwcC zCO4Q$>+~JctPij7T5wNWhouemX>!oW}G9e?=>}#gUfaontYb9767WtDO7QEuTA(y zuEo^tQRsxRSGPOroW~}KRYsl8&w@)>9mz;HVQ~)uxKtA|Wc``c20xab0mtXiPkX;q zX^Pl>m{hOGQWA7;HReFxzAl2 zYB$)!6dlWvqeTl6p?YIJ^Wt!0pHP_^s9V`#L8R{MnUfq7n@gCWm~u=jUvU5Kn3PUw z3HfJ2zy%uWmZR5Poxq+suRgnw!~6NgfkKm6#@9(AFD{9e@xXoNY9%-A+reZVl&lIb z_`gy2X2_(?kGd$TES3kYZ77kyd5&$=GHVVtw2IzsJMGU9nZrEGz@_}@=GkL!;L7Ed z;AG=t%El0hkL*K^d^^r?M!cG2g|W1q*ZHl80FMF>my_i?_9EjAJso7+*J+cvPGUCi z-s&|BioZQ@jzZtP-i`0oJ*w*lmWc&Md5K0dfl-oJM zvoGV5H~evOmGKjQ_LLnZ#9x8s8gJOCzSGGF$q4ArQW=o+TJvdwFIYhkqoLY@=ydH3 zV?jXRH`6qO0&?~eY=h9zPir>lm_sZ)U(AKFM_$Zu>uKs7TpmYN3OH~+pBq5-$;4wO z!I$TO*u_~ZI0j3%V@ihnYJD!c>Eg!^&f?T7xxcVM`i9TL`2FlhT8~*H^2&J3P_YHC?6g3`pY{qWq9&O*2A}Y-gq$j&Y zE`IH5gK>3-1*~iB^jPjwfSLD4YT-5HlgHT+gH6WuuJhU zOH@O9I~vsAHm|?hx&8WO4xjVvtKnJpK9m zshw8aEUL@Ef}!b|Sl$q_xbrUW>tcyE$%NZ zrgg?5^Xj9chAbMdUs?(BH?DoKWThRVFC}n7HzH7hnw{L^mcC-U1+mXl&Sdy;iGgld?+cCwsdT1 zc1=LxmsQ$Lr{w3zpm8>|zUgcL4)5svfo~=rWahkop#{)+HBJVoF&4XCJ=?qQTf zca{qtzQVi{5F(VrblO-BgdZpQglt3!6=%rD-M|k^;@2hm^RwS-l!SVup zRIx~pJdofU6R|3Ow#^I}`P4}cM%b0|Lfv=_smwhwM)0B_$$LQfOy_yZ>V2X=sE z;c?S>#`^NiEkhSeB)4pA=?=_#d%{H(SIWg~dC9GnWCX8hFdmVQfClUr!ye<=Mu|~l z7R#Sx-ZNNEXjYvJHF3i~Yy?^A-CQ!d7lsB{NS@#5vDHK;nH`_a9C{dxT;D{SXBF;v zrzy@8oW;1#Sz6y@KTF(g_?AqHQsXe=_|Z@AzW2lWvS)qmfv>rQqOZ`#nFbCg%;wHB zU~?c@vLkP8JNU!(C$kdU&K!$NW_WL$g_^kQT;OQt@WDKe(13dfa*aF#u(&K~!FedB|JD@iuy=7A~~1 zO>BolD->hXh9R_hGK6>M4jZ^PA(gy&E3fAcTMQ0w^UWu{2$i?$)&;qcgv-b2I1*>x zdA--PO|$^_9wjzV`9(IpYQCfqq?fb8$e*quTKZAs&|+s!kqMXkz&<(t8qJZAzxxJ2 zTIU`n;@sEz-76hGTdt7K{gb;j&;X zhl@^OV`ymnpcK09+-BURn6Y1KMCa|qOO@?!eNJNF*NB0NQKt&}zVG#mM;Te=rtSi# zIrh}&Zl>u!C!!2snhxFWqOA4q_nR4(@Ch9>QTXDMfGEg+F_V7!+JsA za}O_mk)N!zzVH$UcyjPO+l<`}_Ek0eOuTcH=j)%waldbOn@j)3)Qo4E)d)suf!0&B zdhfXaI8!c2jbHadAcKUAqKb=SmUhP$wYf&UV5CN`N5Ivz4e&+UXyIMn1Sy&E@DxBPbE7{af_-Kwv9~5r3UK5Fo=MGo0NPD$WeW2w1J|l|VP(TbI5K^T&^q|Xn zEzekE+=p1S{fUh76-zO^8W|#;V->8NY(bjcG&pZc1Tw!QUu4$?Y7%@^@d7D|AZ6uH>^unIV_g(tpqdk)LBR#=-`2 zSz!qG9)2p)7~r&6eML=`9{{62+eB&7q3bv#rgX_D=2?gvH#HM*EyXvoqJV$L-IU5@ zG801jN>#LPs|Ac+n>*pD)@J>@;%p_aP=5qBq?E9D%U4!{SD%^0_^sC?s|a zuh>Qq@c=h18N=7Ezc+su>>{vTOz*UIA;PU8<`-0=!rx1XX7zsQGmqmE`V!iLS&C!? zwkdm#d4wX30z18J{M%e-(9%u?E*s9;PcNUIE=MSk(n=Ukpj-*IV&I1!yv?w_MecC1 zAlqgTYW-nsm}kWZFV;xcm;KO0739MyGY}xsz__(@okP!&+wGvH^(zTw}_N)LPldx1o*kJa8f^$DcnWG5-+pRmT z63z;qIb0d!g1QzYqokR_R4({-sKKV_W2|GZVR+ICOJm?sPrTkM?2^Mt?%h^>Aj)cU zMA3A*dhTK&(KL(4-ezI@a9(TmDoNDjd~0r@8tr?n$g3GS^K3p!c#g2jRrjCfFNsZW zS^<+EpS8m3%T*ej4C;`6-CL_EPjfB*#pSsovFi1C7dAu#~tz zNLSH&cJj=MZtN2S9x7foif10>E0+9J+r$gHi%rdi$1oe}9!Z*v#{Sqks&FR%MOV(^ zzy!85-~(Qag5<}Tw9@7|wSumyjzZ^D>1tayA@J_D)GFohV*hB1rAz={vy8{>fsSuZ zdRhphS5ga7)U}Fj@Lk~o*h;u>X*id<@dF%1hQ&OQZj=h_aA#+&W+gwpSYrv+J6@(> zY~l2kmIK%yrI?B|M+i;uGTjC-MZ@jg_v4KHP4H?XO=zRbFv=XMyx8@vx)VLZNMm= z*sL7;N>@kThfP#({|#ca>#IrrF6WJ#1>0Biq=mY=qB?c63r2Jm%}ZYWgS94rcnp$4 zwc}&@HF7^I*ucs@#9+$S#3tYuMah?lVgmw0i!`)B(LcMQga*eKTm>;pB;u6dOH!$6 zQk%jRg@^TT1jSRpU()eNVDj$^(Z$Ffw@?TczE=h+CawwuigXUP9r0rZ?K_ zgFT6qvA5dZK8ca0BY2WM(MW-grk=0AYx3o)a^+3Lc*UktLsR#S#QEkH2@5MVBLwWUc?r z?)K4$_<9EgoU(mVy z9-fDDUBEi0VHUgL!3-xMsp;lk%nq83*B+`B4W8 z*nX)}446T(q=@1R9*V@d-}n)301QPcI*nplb63z8;cFH1H1)cbpcHEL`dRGwXx%!AQtwEmDj%lEZ>frthB%!Fb!b`%<%DH zTgIC|=-8|@n2m<@@7ptfeAyj+@b2(4KRy9RK!bYYnBK49b|KQ!*4IqV0o;|>R3YtE zcdn&6^*Sy6=;4UH!>}|MV-wL{O|^3GXfAMm-GdP|uwbpq&=Gp-Q78<(Ur`$eC_X%c zc{r$oQL445es4zeQKspPfb~7}(VBXmsx?KpvDoETh9v*k`U-90)!HeY>1;k%qt>Mt5px|2&Y|J`Sep+>Dw_0pDJM4Z&ZE7Te- zn_ck|O^pWVaOISBNRYC_?+Ct7rnwolgkR*ol46!lAF4K|S<@_}5 z)_m3`sfpx(#A%PfdYcHchAc2GfPXD(xccq;G@Cbvl&7dLUt^;cw&IP`CorF7A8Qx> zHICEw!&ZD5id-)|Y*l$L2gFqtS3`jhdNH0hxaS--dlh_2QJI`ZW6t=TFkdN!T=ARiM(N z8r-!!s3T&#J-ZBP_y`+_%yVS|CnkMcAc4GXTygSJ%XDp)<;JftSR?KI0 zBrG);>7H`fA)3@Z{$mbTFA1Ts1TZ_d*7)s2Flp1#uI6e}eT|K|MCdBrSYJq_mbMU4 zZb6&jm3o03q;?xF(OR4cX;oM9}@ni0=I;#3;QD7GW9y(Q%vTw7~6 zULx>D<^h&+uL|&0p2NqNrgo98zf_yYxOS%EwJS3i*mSd-I|Dd)o$!#dQ&)BT zRAhe@FG@)8>tMzJ3vI>xZNtp<6?-a zsAyr_8LT?8A3OW8myJ`Rl=aMm^rw>}P*d5}EEJBZ5x#Vqa05QI`c)5Ghc&UaO|=uh z>28mLiu!lbE_ZnoWt>tAMEe&+EN<$+ck3v>wE5v0X27rR8OUkWk@n2$Pz!^DpX6%<1rAUO4)GjJ)U=tiE=mzmAPfe9p8Q`XxVkWj59)u{nd7$5(z+ z2RAN?DA4dMx`5cG55#DoKSE{gV=6V9lawXFi{f}ns`Dl{IeMj?Rg{R7j8x3EeQme> zU~K@*dOGeR*_LDjJdNRmXaX$v{Xui^cD@{V6Hei3ZxD_Vy4c6Lkeurd-3BogzWegkhHx^x{_HJxpx_>zMRIAgzKYW(nngpvHT?yXyNETW z0puRn7GY0aysMv+5P?^7Fg6pftluvOdIkqp=nxbn|ADd5De5I8=akVDBM72Rk+M}h^r6BOC%H~mzSLniWWy)geVyysbrc!T zpcEOhT)mM^N5-4}^Jf5B4E%A|=O6E$<=2d!Q-~c4E>bH+V`vM66$no4%lLyVbs{9d zLYZXvaWTT}!r!e(`ah>_*!|KGqo5PJ8%~Y=A>)rC@Se(@tbPbSy0>K2$pN9awbQP$3#6Z8e1uW{}CS5HSt-+k+g)9NXG$B>Q?&-(h0h z7duCjSS=2c)O=*d$J;i`UJ-UFLAuHY{$zqw|86mr0J<^^Y(B!=>l zCnR>5n!?PN5Qm*ynH?9Cu*q@aoFc6c!_aGZVcBkL*!i_NrMiWR+)L*sVYo4tiT&H93yW>z!P-x z`9g&m14B9;D;7~!v-7XyraW>ZgIqJqNdwePlBB2BKjN*XV;VOi-1h}9hUazbTzCt) zA7xHYcCQ&lx}Rszik%Tvl!O@mmdq#?mi{40`|amIbnwz-Tm`8h3}SugD7^pld3Zx6 z<^+Q~q-2vt%i`tfbex>^$cW3u1DHqUAhFkbR4utsGm^?9y+=F0f~dA*A%ZBSDOQ%M z|JiKFi01^Ax9Jz#PvT*Ufp>IVbd8NI53f=mbUC~4sk&Gv%gma?mKaS0@yHnM28<&6 zn&9{3JbYrdjb0CgFQ%jvCSV)Aq9YmVzdjtL%dRs_o z(j6Rhj|ccTu!F;1VCbodb-n_e zRIoeFSb*t|42sd>=QHt+-w=qdkS)_WtB;*LBTkQ zjEBaaVT(2Mxg+=rrtk{M_!96WF)@UlFXp(7Y8p3xG`&Dq{n>8=k}x40Rl8<5~rM3Ntl z8|ACDmxaK_tL$E?sT}ZKXV^j5*9%^Oo}p7_r!i4&qzIFCj7Z8?M@41jxF5Lc6l?Nc z7`C&Cmz4P&w!J;^`h9bLz}(cILNB`${`#i)*lfFy`iQ^F+?z&|EozY&Vc^QvNqz3F z)qFviK(Az4jDgai0sS`aWENjdQIM};m1f#a0TrXhggi1CxuOi5BUiE0^~*1HyZN@d zpMZWV-9(8!JB~^IGAX+}6~Mg%W^~$in{OiFm2%QTSWpgNuYYG}SC5q%1-$Ia%V#Z< z_jm(B`Pc+EPlgj+6;qYhGNbVe7&$K(c-1w@kI22wPUw$-l>KBEj;j306Se4%Q9R;+PO$#uN3Vl3x20G^w63; z&}4<)?o#S`esz8@qWpuJ1h_2EQ4fvmnz6ErRsmN&msCUgg=w=2ePqjry7GRjsbW?R_BAs}ec{>LI%PX3 z`_sX#B@Z+jDziuAC}kQSV zG)Sx_T_Cft8EidAY1qe)vh{sj*9xp-+C$DG6sq&H4n->aile>7gOKq<|jJJ(gK z|BJ`%=+{DNa>S1xUw3~n2tYrU6Jj5&89Y6@V|jkh^{rjRV4-`S_oly6tpv0X{MGb9 z^Ygk|5!m`*vHQ4hJuuO($tt2S;N>rc0Y3laHdl)i!OA#1zyl+$;AHs+EcRcZS(C!r z9+Imj*0d!BE=67kd)<$XUMq=?|oZ}XI0yFVJ00$CZKRggN@RQ%wfg0~rCZ}y({ ztc8T4L*9OtwZYb2ZYsl0n{s1&(ei7yw5;({;xu>(jdqY7EJ93ch{=3c`Z*kq#*g|2AdBvhF1&U*+ffJfQgzIA!fNaaOZA z_GEB7amijt@Av3g{V%0SW9KL@n4GB)2e7VH4^|^z7q40` ze6ZO1M*D1)Y^^UbBRke+Zgk5cvLY*Y(BTCI4sU^5dr@~<=Y0f+v|b~?Ls6&RJ=)pz zI>Yzkdru)s+71W8+SL5pY+ic`H2Q?pU0NmZR)Og@FS|aOl?Cej#^*ByCNJWK3H-hr z^PWQo%%YV6=}*#RA7^_wb)&3Me8!8kh4FepZb`ZM???}J4?Oi-wi=+{|eCRGuA-4gm*N$T;ZcwjB z?T@TC`d{VfrZX;BO5+RsOq|3^Q^is32`_wG2?(^$+?W)Fd-FEESLk8%2jZ5rE}C&` zV_Y)k-g zJTmg9DrAgzSHeHZ^RZdCPZAsr4G&PS3lj-e8lQO-#6m`^t%RN_Utvu*w5YJ}0$xmDhBLkDqR zqnH1D^r=Uuj#o!%n;A?a{Q}C}N+~Vs;pH60*BGx9b#-r0bPh|^@Afe2iM55wFTMM1 zFE35Ngx_(u$c|s&97%R-xO4A=mDJsn9++5 z*ZMYRBsauI$a{GBN$=BB6MRInw5}sSZ16LxPWdUC^W<8nLh7pOM{#T7JL6SRo#p~g za7jbkr6-Wxg`)!=nNb?5(~MCuuuP1Ai_Ly+q9QTR2OA}8S-vbL8*N%&UT$vJpYTX> z`zEkD2K?KZA#gnpgcnTn zs=3g85>`Ljl`06$%sNP6Mxj->!APdfK<;hI1)8~u3+E($u#fa8R%(|WO+I!CGA8cbxiE<7StE`%|4dvLMR1?dl*>^j?*~u7MiiY7wB&OD zJ_9}%&;FV%k{Mrm zK%^j~yS5xBi`+=ZXqNnYw?dQ#W_@(P*s~gPf5;BsFV)Be2jK;aOuKr^<;ks2Ntckx zWmh$y`sygjYN58guef0Ipq>z8)iZ?)VwpU@qKtt`x%B+-Dc+3YY@ZJ4kd@Y1>ECPX z)T5=taAW%}@a*GQCGq7&&Ec2XYn%$I(%3I$Mj~ouo%gq{rgMnTX7v2z`+2w}p?3&$^XN8mwJE$7EGBI-5r8{Q zYZSC&lKm||?Ue}eU{3Qiu1X_sV2Fuc@d*8&oB_6?a#SQKtUKB9}IAY$5i!WL=k-poavLo=iAkPv7U7Y3|G*Bg}wmL z7qD4D2d>~3tT7~09Yg{_RR`%qzevz*s}7>$gycqm;E@0NB0)|#$P(~P4N@BpB7QuH z5FtzvAXLi#cV5B#`_mA}s{W5&5zwyt4?u)O>%bB~bR$8S5Tr;DF<{2wFPn5ENED#w z_Q>Eu9P?n2Acc`2CIIAb=HyYs?)jHSHVPyL2n>2+a-u-efVq&r%-O-Pq!7a>XhQ7> zSWMLaR@o5P8u^#XCK~h-P?i4=Lk8K1hNdPee_|+NKvDqHg@4RQkj)qnJR~Xx#0Pk} z@xQbvfamCm;f@8d0BrsM$17M6g#8c}84?x?ja+s8$Lk6f6XFShmiHwV+K}Y)kcuRzR44&N3>269qe7GgU_A0zkX&^T z3M4B58bV(4kFi|~fCQON05Jk%|DwIS{;CJnRRfLeZL})f5gMTSR$XX&u2pDhi zFNF?~NCNQ!`)vM0u|K9|0s_E)1fTo>xK9-lBtt8lPx!+tCW8ck@)>_n;Uluj13&_S zus9IRDgZp>CK(zg_kSp{chCZrs{d8tLvr6iRYnZ}h)NT*t6v^b>VJ`8J+uizDIg}; z0tnW7=q+Q@1VDqtK?$Hm%O4MxW&rl11{3nN8GwoQ@0`he{G-5Z0boHy-b0=6TLF;T zZ2%!8=n*OW7Y)4!2?E#K{@6$%(4|}*|AQPLAa0=U#2?i0Xj_^5gK{ST=n%40XegcO zKNRH@v_Qv4%75k$)sPBe1%CW50#8HNdnE%}?z1##H}z-#sMhBIC=k{e=r8*;s5jxl zzdRx2(<7z0^oPPo2T1_!R{kLSbdVH~YV8l2NC&+Hl5GA#&;sEgY#AU;o#slvDhoXI~h6#B7ga{!Nnb0Ld+W#YW%!Cfc@Wmh0oeAQCtY$%Pft*$V2!fsk z;sTO=|2HxM#PpFGd!#O*ZLZCF%=6uE)30~(xW1mPrGK7%KJm`f{zkULnc_0Bml;#sq(g0%owQU&WgU|u*bRKPFkm!7< z*W@3NrVT`aY&JxlGDv0#>F6V$b1o0QD*UEVJL=fzTK9O7G*$z)gws`aj=Az zzF7>dD8c$kreg(N8-ylkKlrTwr|YRUPXgZ(Xa-N)Coo?E?ZY$sC&2On!~@`Q_)qTl z_RzLQe}D!?c6_qVeSp?p>GTBNIs)+_!lh92rSlWR>I3afLMez1fZ+=1DTUVfc#b`` zki87V3k!ktltJqaEdvPwnmwKj8)eXZ{Lr)QQN>jb4X@<&1VYO}oB&1dC$R8nG4p)_ z&@{LZ;RL_iml zzYFT{wg&0|{dNPik5rI^Na$_(pRMa{)c;(-QuLD_S}jNf0E&GAlhHs#NJKm|NMJ2A z2uIu#eH#M}@}FW>9%+X7CmN>?TD@$-QzF86XnyFmGXY*EKABMypu_Z^n`@^I>cy7y zM3dG-S0pGIqEZhXbn}!alILXh*~q$;_@#e4d5L9%ZxY#ovpYQXzS?5{-@CqBnbFQ)=A4hvA$z{}7XxaAu3F-kC&pk88uV=|G{m#7 zPfRW~93o`&k+J%lp=blW0z_Z^r7`*mbg>NfsS;jzAy~ zDd3O5`QJh&wQYOn364dnK{Ao_hS`;r6VjnpWO&I{$6WO=%3EDDZ9t))4joN`Xgren#Cv&zJ_#zRGEiZSt^P`NZ`Wlqiau%p>GS7j$O`URHfY${FY z@Huez&W6I|S7D(AarUnK{1%VCfs3gpE{@y0S!K%YW5lMUMH3rE9~XmC@!(w!yRFr; zkNRF%)-1Bgj zvf5;k5ixQ4FyZZ>P&ntWl+1%pihIB@U!A8|J=@z@{yy8-LF?v7aIw&WL}Oj$5i|8H zuL#_iv{F=^^S%=lOGf&R5nQS69e4bQqvLjU=W7Q7Qh+Af37_Er!$6n>Yi zvn5M){;{vgV+bKJ`33&}X|e(3f;u7A&*PHs!|RDugU7c1!?*BDf)lCru2N!eR1>7V zU8PLo_dl+$I~tM!bjrQlfT`Wjt}0}A0e*Vho0Y#d|nhLQ6@G2dy&#^{fG zR1`KgWb6j#Luzw(DSFI(9r3*6g1ndY7Xo)s3`sCb()8N36Wl@g)2ktN566CW`q)D0 z>bOq&B%$#-MaMv$(3@n_1uhOZE$gp$RTY5;$t@Uv1XS_0EKa!r3+1V5xsP672wg=7 zCvp=6K1J^;tW1tnFyDjEnPXnG zz7_%hA?AGeT#)@Up9H7CV@KvbB@y&C$ew#9-u4yLQT>nXNb208wAjB3VYpH3T(^Y_ zCV(2sLS=1b^>r#Rq|>7kt9M}(cy+aEcPCU|I*SV zr*xt@`3Q+9`?+?h<%gO&P%04V8#$3bm~dhEbMpnF3y7ddeC2Ql1LeJQD&|jf94+EA z=NXAmSnnU9Q|EgL)CxUqylUCcG8`NmwCUwOrm3@a;16(2`Y^VezuJcX?G*hP|_C+dcYW7APfIf8D*N`H{gIa7>}n zZ$wb*gH-;pbivu7 zr^NCNO@lXj?BQ5J^((0>%nR@s4GQFE$i9D*6mj~@EZO(5wJ|rIPbcP|N<0wT0_sTS z$E7doq!JEPY8{`K$3xhgu_=!Vi8w`(5+o|LO7ctoZg&R3^i5U zB)aH9`PQtRX3<4|hR=Nj-}Lx|-T!K73+5jSjwz<=zXXQnD|rx8ooc~Tx2wRXo;!ct zWr_0#?9YP}{+m;3$~O{LP`MBU2xJX^e9!~w0{a7mKaI_5U@aTT` zV?AFdsY*GuE&=k>yuss0Dp`2P3mi=wCu!mRZdP1^yAphHBf4xqm6gyS0N?$D-fakZ ze5yc^TEFR^A>m(Scbs}v1_j2N-4+YwlG#aDsDPe~Yelhh+I$romx^M|PA7fZ%G>w( zVnD?&F*tD65w1|Bq|pU4=u6>fPjVIqE+ZOP(4H`GO3c6#@538LH%EuLXB@a^a3Q?s z3+z3A!ohqn$g7(tWj8SWM6+eiq{8_edu(Cz$>PG}tAXB%inb(F-~IFYydj;}&mLzt zl}6KjPEEYW>*%1GzyI* zOwXj80;EVs^w3P1b3bF_;UC#cC zbB+2|)+ir3nVttNK4zLjky=(j7CUW1)AWCn#Z$<9g6X%0J%bkiUK5Q2=kl?R$yeWZ z(HdPOMm^bScm{iaxG^Epv=bCk_nW7ugE zny&wwY+kT)yI}fFez*Wga-M+3fpeQ*nch6%c-5QVz+J_s>_7Rz;>b-=kFuH+!Q7pT z*vV;7Sv~UFoQdByn!#4HO@Jy{NmUWE^zlmvJ9Ot8Yp&YzLn}Jw4`;kKE7IVbL z6*-;-GAstMi;eLXZSXBVcMCQ07H#@##kyC!<23g8FIlwdl@Di=cCJvxyp#TPi#D9W z>4Qt|=0h-a;=%ILp>5z5kZ6q^2Ks;I!qY79Jw-Qpu^U2p!F~EFGyemSkN92P zko(e=s!{vg9)+6uxD~OJ)1b0?>q4hvNuKs#5}pydKs9ujoX6UX%~BO_B4DMGRceo>#cE z%n*>JYEz$j=YCn_vW?wb5>4VirH%GM4LMeQ&LyNBY~-MFRlfm9Ncf)pt%Z|D)Y1?0 z9bhM;K{em!Mfnh;d?u3C=anrrhd`6}Hr1P%E21nvo}D@kZj(O?MxNu202a{_4Fu;V zZ{z;7)m1kS<~b2L9c!)-b&YTGi*^Ct*L(lZtiiK+M4MODE{u#bl!JK;gcj~ly;&DR zqIs(Ej2@abCfqADFbjHuwxvUtFQmiF9iof0)ulbsG#!VoUb2d7)n6@8^SL zHrbE}tg~wux7~$!a1G!6C*vC_ z@L(WPBnA{)J3p8k19MD?ZZ6h8GgKn;wR^eBC1Fh3zvch6S9bc#`7XGUnjn6kU^QW+ z&^5@UD=Q>FCWTVZw1I3A_lZ|3A1WK)4s*+iq#QPie!eh$dCC#{c-Xpj7aHfc^QBi@ zOrHq~1jgi)Q{8om1)5%wvqRkzK@s2EagPK~*9*8z_rBYe{jV`;$V4I~pCFjwx}*SH zK)U8O!7=#L;m&g~j~t~nEBw`;-vvxz`y|*t>0@MQrLxO-V{ptj#*S)2oEdKvdmz&t z<|3h(k8HZzOsS({UQv3c{$t)$yjMl!$;ufpR~NOE8vg3R34_niux+8I_>(&sleoLZ z_8n-Lf8WH=>PN6Y1kQQobpl=vvY-u;BTHUg(&m&GX23z~!uoZFsY6EA!ww6iT;6P2 zCx#I^##geEJBxlC_MyDCFE|qoL4NvpP$u0zCl@O#3Ii&xccMqS2gEKc7IU)yTg+K zwyNJpl-*iFL)orKrbRmrgDDrt8MdQ(DkPDT_Z_%CdnZs&l3T}0Jy{GD_;iZMGQA9Q zC>$w08kOEh(7XI> zCHZ^+#|rp{L3%MC5eL3LaMOt~#!t|A^lC8qWPoCMHAE3=iHHKH!7$5X(-&KzFo=)a zJV=0t6U^60va>?ufloCk49J;-z)6->1{yRby}OTmB7m|C=1U||=!j7I-+knF7aueBcnJjkzZA3!t}ywBgAIdc*?(X!5GgNCJ74?@@R0bIVp-B09kMf(xC^t%h` zAx1P9xO@m*XFCAWq7H#9$_+vUf=^Mn=|mWFub=_x&56);b^sQwFqacKso)?Y3!JLX zEX@vc+rbC7hXA=v#2XO#oC}GZ&kjH&g0}+<)S0uu371`t95gaGJjphI<_r7*4YFvC zKO&j|@FWb9M1z4NOx9x?CMz5)f@F9jOhcDEHY^DlZVR9*>YIP*R8IYUypH*o^mS1h z>n7Qh)Qo&HNo^`E4y|_s7h&oFtuLxS*dt8bMcFMb)JLIoYY9y&agN@ezzH=hg-%F1 zE0C4dv4}I_^UvHQ`y(R=bR93i;uBnWBD>t$hsXlw0K;teJaY}f2bZqHAV4$~>HU4i zpJsfWq6UdL=JHSAlISZU{*=?ssBh$Ml(P{x`s^CZbWWP74^P~Rv zB#e?ogMnibfZ6)S%C+`!8cfCd4HnDqoSJzy z`Mz+#LA3r2+%y1#tuN|7*e3$qhS}`}zK>$*))Ja#;vB=j16TCA9J->Ia@61zJ}=E} zw%xW}p%LkQ$m#$vUX6e-=w+x;O`PKl(>->~bp#(?x)y^7xsBu-KvD~RCRwopHS&$O z0}R-iv%pE0#r`-nC^!c2uYgMRUyw@vJ=ArQ0T{p;gop+MpBouR0zf`={W4nlV_#MS zc%LE)+;$_~wsN5n>D7&lBLW!jU}7e6_|sj8FmNh5(|vo)O$VnHGK!GPNHjLmj4$Qw zgh-m2Q0LBgJHUXQISZV0S?#$)qtd${(bxpA6lg;%Guu%^E&cCD7^R2?1D_w!*bIOa zzJfpwwe3bU9ejGiT|e?eW0M+N0F68FH|ELjJN*!8;8b@pgcLJ98E|@v_{O2|vh^B{BF&}x-H9&;?QmHenmw3LDRTuj7 zMn%_Pz{Fh7@tF)}zXO^?d$)S94t=Ry9@1Fz>IcotSnR6o3zi;IM1z9E=E27Vmnz^d zZIf@jM4i0jQ*&BN1WozsKYk@Rv$$_C7=(xhLtDW$JavXW{7GwpBAR%6zDiG%VY!`y zg_+}X-~{H6c~)pPY4z#$RPZ>$w<7YXE7Z)gZyvi#BD75iGuU7I3GNdVxo|wN)BLSP NMuwlyb22C({12S_PI&+T literal 0 HcmV?d00001