From bdada125e76524f52d4faeed5b095134d63b84ae Mon Sep 17 00:00:00 2001 From: thomasabishop Date: Sat, 20 Apr 2024 13:30:05 +0100 Subject: [PATCH] Autosave: 2024-04-20 13:30:05 --- .zk/notebook.db | Bin 3244032 -> 3244032 bytes zk/Heap_memory.md | 11 ++++++++--- zk/Stack_memory.md | 11 ++++++----- 3 files changed, 14 insertions(+), 8 deletions(-) diff --git a/.zk/notebook.db b/.zk/notebook.db index d2fc3c1ef7e31a111eee0a6fbcd4475fac472354..4cbc420769be3745eaa36740c31d1a11469e32a9 100644 GIT binary patch delta 19436 zcmeI4d5{~|edqCBH_$+%8wUq-Uzi!pJ)CLW0FNQ5gA}QYhbWO6QY4PX49JuO!Lt?C! z7=-Zu(C*@!pZm;p?EQ=>i?hO55zwbe^>ncrvHBX zE&rRRoo~JL`R_Amc8$v8X4um*_VmxD8hBmda?u~Vu-Ma2X$c2y%w<0Eh zu#G{G1!`fC&xY)1kAN6k-$w8{`nAd{e-XZR8(q7Nuia*@-Da=dw!eMb!TzOy*>Bp! zS@xUERpx5V_jT?^h_%_=2Wmh62KQ++X0y5e44NITRkuOr*X>fcP@LZwLCBt2EG4#d51c4k4& ztZa-hn01L>r(Y0xj{y0$8Tmc}`Q9}1bs!As8d<{$WUa>*5yEQnqd=hIhc;jkW}Jv6 zyt%y8t85Uim+i)?-jP|`@0_vOxbI^ryb*FCTn%C-m0jEj!PD@H zBHG2J>Q02B`u(Hu-t^EKLYa+FKf+u6LTaXEC^Rm1whv%?E+?<9YLC3&#VD_Zlv50o zFRtm~ewHn3kN6QTA8nc1GQqHC)>nT5 zM#YEOm6b*PMDbx%-Uz{)>t|fKh2k2_0qbx9s-*0|NKd=ekJ$EjO2|F6sXYZWzU~wDwvc9ZnPsdmsx}c@j{fr*&dED%5?#R^?I8Hq4YuOIkIRPC==pFt@&}&7)e|rHj3`WFa5OlU!awxCl=`(Oyiu z3XDBhmNR-!Q5G3TzIeWv*ITA~eu#mBFB?5(!_G3LG8B#^GL8|%89+Gm+K;$a|B*eC zGSuQ@unhNG5k8@Qvb9)hbp!%wnckC~0Nh7Z?d(wgkOFYo$HPs>f+JdR8^gu*>tZ-UFu@Tq)_b-*6yy zDRUNH6*QBmEHKP+1~Mmad*(dLEE_Rig8bJ=nB-s51`Pu_%Nf0W&noc1QVAxT(6BiZ zu+Gu;vGM7hPqElu$`=d9FmUU2sz5?YFU%IQ480v%U|hdW(m%%_cpuQ6l@q7D3K@)$YG?s*E17a;Nj4fcj2&`$wP*~kNtRv9kS;+AFaeEQBx8Y`v^g+o56D9q zvoAW0Zl}y+t}LG~me%!dQ}r0ZVNZB?xhFL0|*E@*oL3nlRWvBuS zqz9E3+FC`1Jug?xRNR;?&Mz31Dq^Ozs1Ms}4}-~YBSl!l_VwkpBAh|n1z;x6l~(i~ zGYcchzEE0U)JtB?V`p)x2p!mH=*Jkx^87lSYf&M|7xZ}D3FRn;jz{J#NVCg)$;$KC zz9Q#}@J8XXgrW7}V-}i(4-LZDw?qBuUvq7h4a~5mGU=z}P3*Rl-axubN^y@ej`F%S zv+j4pJVeGQB-X*$_3t4$VUd4LURr@f%FoZpD+}_H@fzUkvOqdDJTu6W{syhqC+u}q z-3-a)8H8JQs?UCvlPZsDLl)Y;_{2UKgG+kFW->0VF3=w*_};E)S4^C4>)Fj97;cc1 zGCbZfBVx9!RSPnSVdi<#mJl38nDiQ`h-cX8JA>HsnMIgwAf?{%H8J3Hh+FoKyBK@9 zn1SzKg*^BG3~?C17Z%98M!KT^(XA{d6EBpj`m7VmMOv7=!xtG0-+z*i!*0))Gi0WQ zlX<%~<3VUUy!$e=H3XkRPEZKCkO(oD<=s5bw|aQNFA4(hc{FO7T$ylEDcL(W~hM656K81QI%|$pjKQr(XXCR|r%W z;Z4I^qqTy1Z9wYVcfkvKptQQ0AiZrxoBSZ2a>7syB;2Dbh6FU;a&_4Ub5etBAdk$e zw+Ez&ZFbN&*bb9ji6pm?VjOEQe&!dnvvG#Gkbx??< zpFtUtvLKs) z`uBs(l19~84zb;J@@Cj@kt)3i%exp@vO}#NBg+~P_M*uX6y|lEnzMKFxM|5#DCAa8g(O9o*Yyl(p&|9ZhoqK42ztj5 z)SNVo(1{tNk;aq@`b%0$*6_r=~v#;eQFc1oL|q*xGXtHnHdKT4maeY9>fTwR84k)RY16twyfC?FX= z;94j0UV?dElS7dIw(4H>2g6c#1>`B2Impv42A8$OuQ=^&zPPFsz6b+~K*+{HfPwEi zqz3lL6L~iR@5FDyfLEWRy@sA3_XILlMnEXoWlbE6v>M`oV>M8y7^DCY1>bNI!vkOA zvi`v&rws_vVt$3loh=qmK;b#I4iqo~S#2UEPl+FoJ)+YsZ+Bihh#xavN=Cwgxv4m&`O&dcL zZCr%x>$K6)L>nV@+E}M)LsR)CZS1IzP*NdWrwvd`qs_E&woV(Pb=qiYppA<(ZESC% zjl4M`A+tRcZFJSgp)M=BgbGX}4YaY18f(y|)kkRBn5{O^hG@_RWW=!)Zk)4l<5Dwj zEH&W9aP>k1Za661m@si8tKr5|O}KGV$Bm;6xDm5(W1PYb_|zM+_XLd_n$9 z>%1{e@y0?EZ+L0m5G~%Qz_j>W18)pcyus7F(NFQlD9sz^Y2KKndBaKZ22bH+D7ghTOy(k2mlJBx&$QvZsMJx-H&#f#!{H z6L0uU-e73n*kkcVx|uf)P`uH3PrLzN7n3)JOy1~k;EjO68;_a1afap%sm>ddoAJg- z6K}-pyfJ3+hPR0~`aX^~9&F}~Ei`Y;(Y$eKbKY36cwb;+`oi304zS1 zH+p^{Z%l5+8*Y(3W#gE4Y|c+RUCcXN(eYdM$Ji3AS|?HM@xS9<#7C8uEB&Gk% zL?f|8qL7Paa?wm!%EqJdgcOTrrAQ*3jwZ9&L_D7kM-z!;CKi=r`D`*K)!Gzi>5m_X z6*BR(49~?=*?d8Y#>1(2I-JYKv$-7HkmIpLJ`NcrqUm@#8j~eCE#>l=SSA4rFv(;F z-MabizP&Gt2^SnZ9PXN!5I+3F2hvh17RyAWR5p=`CZ$X~Dkrj;WGoj+6jCWUok^sn ztdvhDQprTF0F{C38Cg!sav_(@`F1A)boHWhtJ?%jnk2lVA43v86Wo<(B{Yrk%S9b{X}F+fyB_z}xqs`#yAQrh@y> zZI~VI4Y~yyy48<{rKv6s3pzX#ON2)Bd-UamC3Sj4dTJIH5-!q!02wL8Iv|jIS1mq( zvkh$U0l71xzA_?3D>r1_;0yM&C%~Te=axOK&*Iwc7S|rJxVCI^?c~RC?ZrCRo}_GO zy%g529BuJ68POJWu03OMEo*V@&N|nEVE$AC)_P2=?Y#?Yx0zVG)PS{5&{%ua#M*q5 z5v`TR+8~9s>kU}j+Jv=3b*wGZSgS4Ym{^;xV=dIDQm0xt2{lvgLY-+ulsI?Xad)X{6d@6V*OUQ|LP;-vMzpOI)n1~h7FKj%9fzjc;^tHv+RTaut95|tI@NYlR6AOy zTEJJsiuNo`wTl+jK50^I!J^u3gnh$z8PSf=P1N+4M?k* z&^%AnO=#Xm6WTo?Ei7JJCN!^ULTd%2m6}ax?rST7Yb&kSR@&ZPX=iURDckkm!c# z;IjR#%Fp%uB;sPhtcz}i@$c)QH^TT|0@n6v*S-Xy07h`_7KC{1+V9pzPxSnth3T}n z)wq=&2{Uc>aUk;#a2t1ZjJ06|&pWPmvNnVgqukZ;m#5Zy;OK>;4~~8~f^ZDLF<6^g zANu^KcgaAM=?E}VUW%l%sfe7571FU-J|9iy!*V7bPJ|N?DF&FCiKZjjEVM_gkSOGn z*<3U$=f1=;p_5E6d$h)#4n?r*EPI+=XD_oyp;#?A!NYnlR07??{d(}0?Z_~L+&wpUPpm#D21|vY zVT@UwRzLUtl+?GjkXZ|6%5v~7<9TKg5dS~CKQ%ZLTmyslYEXNWcy|QXO2HM~r6O1; zm4lfeSr3uRu($y(1+w~Acc%WN_V@2kO>ujE^OGX0diukuuqTq-7L89wVyS2<8cnHt z)}>?W&p(_JImeG}+-Ds>2Agp$^d|Q$$D}g&j$!nv{xXj@;%wLVEAVsEeDDPD!P_E$ zAxgNB|M#XD>M@Y%?^-flvter=e8Y%M1e9*XCZThtPH(VZ)Apweb)9Znu8AZwEZ3TM zLZi`|+?@xb4)Hi73$gG;RA2g2&Q&3nX?-!5u|zv%l7@Jf8bmuWLu)BCTAoSzX;ZW> zHi-7eY0*wh&06sc1GDA%7NAADVP4kCwbmfoiB*~Qd>gEb_H(poH*CndyF{u%w42sq z&B>wy2I5A?H^Wd&Dl}9V?O-XU9N)l)rY_ovS(tWwvy8)_Zw%wGR%6N}tec{UA-GAj z(`H{NfoAr#9N)mw+vxb_GDJJPPpO{+l6|&8vPUS%K1oS-hLY@j zgCS~)lI$)p$^lEeZQsH*D}8x;E(t=LCt#okg^?8B5|&o?P{ zx24#@E6HVq9uEomh9VT$<9)e-9bzC-FHiNCoS0v zlw|L$OZIcLWcSl%sO?RXJ<}xF_cus(NYaq(9gUK`-IDC*Y018|NwSNY8LGVkR?)g* z-)SlKc(Y>PODXo&ds6JZb;aIqD)#QWVh67`-%dlaKVnMu0xj96>XLnQGs!;KB-z7t z$sV#KySvE@)%9_boj`em+na}$?9b4W{o>}5J#R_&R9&(k`b3i5{R^y6UBA!@MI`%O zUT^N#PWO*{^qm;2?Y>u=?nqBoKJR+%Xt6p&YXMK&HV_7^}rOJ|XkiOx#Ejv{n#*HcQbS|XbPuGafbuHK3E~{Rx612ki(Kwf7ssTb zBgO^*uKVkA1zV#M2bLN6XP6%l2`x7Vru;g~dbq~|VW zra9;?4QM{5mOvw^8UhXCu44vJS$lB*d7vhegAa1R@YukD8W@)nf}PR!Dv*fN>Va`- zYbVR<`xPJoOSqBSqw0lmX{4fe7ely_K4uCxct)Xx8;JwLtw?r_kvDtvILj`>t`8Dc zL`%^@5=7Cl%*Eo8)?dQ+~4a?_N5q;p#Gj}*|7f21#&@^1(sxVHgrpnx@o3M4T>1==g;)?w!i z=>TOV*A04J+YABzwv;M_bzG9RB?`%jDGEv05QPv_&Ov20zwC`UmeKY^K%U?Py9)cF zNF}bo794$h1QY;tB6MT*Qxj6G*W4yS(reI*5P!e=^$DpXVQ2NN5^%-PjF3i$>A9pe z(Iw4=TNjR`IN+3}{>_Bc=P{RjAuenIP@R)furi@r6~!GKv!%n=>9GsF9i9X@66eXZ zL3T_$S{?Sl&Ln-vRxN=^%BTxWG6Wh0Cfw5mCb)-_LFK9rGnj0#fQ;*66HZvnlK-nK zlTte3y=$)p+ynQlvfhJsY5G%}^HLtIhW+YSC#ALuye3_TvOKRXck-g!<#vhuv;e0< z8*CqFgOyL;7%zxzTiosz7q|ii_zu3sCkzE#B3yO*MDG?sfUO3C*x~Z_!X^Zd&%=vk z!ByZ}ydv)vyx;;1%P*asVmGe^VcSBh-^o{8Zm*|K0u&$syB)yu*bPaz1qbYe z5IilS*Ds0!xd5edw|IOa6l@Fc0zug(x`U9F2!-6@7kGa=zXg^;ZM74(r&5l4UCC?r zm|i#h*5F+5r26^yr)GZTOL?EvnMYg76C>$u;mC9(5(Y<|s4CT9SHbIF=3VNEb!q3z zu%=i0`G;G@-FD#voA3dww|-Y>zt*GgPiAe`cffAtzh=p<;KWJQ+ZCL4k*V})0yAU_ z&-j=&%PFT>1Us8Zmw$xpogu?aIYcN2z5p=(fOFJ`rljfp5Y{m#F$8{`d%dDpINs)( z-sWzZdbqj_^Zi}q1HD&iARp-TVb-qRnvza9v~C`HZL1X94TDT$9|mQ$DFl4z^}Rok zXafXcn3&;{5V1343lP~>p`nm^Y^yZVLZ)^LgrKn1XPjykZX6<8fXG|{ETmU&7Iq`T zw;oa&)k@(Y^JaZp5S$o%1R;%&^5j{GMPM(5ONZ1Cw@SPB8JmDHW{o|^Fbl(p?BZe5 zj+<{Cg)Km>ZnuMP@wlDcu6CE#2?Ga4f!oc)IDiiB;vKxd_K!2u$OrqMp%&?zRS!sH> zHZDou?{^|^&<6i~_on~Ncd+M)+MS>@>2>pu+A#OJO*qEA4kP4YPCfLD^myyl@r@C` zZDwX@v>M&WAVoZKMA@Sj=A@`-cpnZ0iJd?#-&KJ^6EFV9Iy zb?2QazxsD`Qs`b&uiRVeLqoyCWGg%v9kjo-zz=^?i&jL6#9)M~7fwhM-biX&JT{$5 zC(~*0O-!qAo{)As2X!aULG`C6q>dJtaYVl@93CFOmHa&!RMU||YWGR0c&~HyKc&^> ziswr`u*$5LcHsA(RBt~c9aUevGu3&orTwS>vYbP;e>f$LNwv`K@CROrOd9YHXR{&L zq=df>f2hJmCVe=51jm1ZYavjZIrKgEy{wY_%fNch(T zJNH?z5xu&ns}?#KejV5T-2;=~Wh*!GH-3RtM%#s|?<|CG$FIOB)9gGouRBlOx5M1G z!+`LHKDTk-4rBiPf%|qC`p*yCx5H3>e&D_xrjbTK)8DtlP=9@3b34pu!=YCXI%*TA I!*}}sKY|ETF#rGn delta 25322 zcmdsg32+?OdFJ#rS9i~a!F?Yj2m%=N02mykcz~oxiaJP>lqgX&$-&G37-E2da1gwQ z-2;+xbXW?@>bMfeidW8Eu_8G}oZUFy$|jX;?35fiu{WFDI6hN$QkE6RQEb`S?|O2-uquJUi?$;B7V=+s=W?}P=%lDa5%iruN&lgfA@H5ORbX4 zRERu) zYd`o&UMRo%cOP6QUh-TBTy;P9Z}mT~KBeZ>KT$uUE~~$-eoXza`ni?=UJbrH>VEaY zhySO*y?XWVM>@)!BByW)pJ9Jxp8i~Y;Uf)?yzUU$D?fY1`K&*x^{0aOH9Lm5F#U;g zW%Oq~7otC{9A>WBQO5=7PdVqOKRy)49~Y{BQbyV_Equ_Ywc0 zU0%_lhcJH*F__OdlnRa$InK#(E{=0^oQLDQ94B+=DW`IrkK_Ct=itgY!69&Hmn##v zfP<5`5e2Ur@=Z^3AILrV<%-L%ahG4?FTW;Seoegmn)IpHoZ?rUoa?I&*H@n(sabA& zBm9=rtZUc)RCuo9<>hbuTety@n&Q8Q2RP^Q#(xjLM2}zjVYnQRKlowzkLmFb-VXnR z=H&Q3fj^VVx5*set82VC70+byZFnE$xop18!}0ngFU_P9=`p-E|Ki8tBQ^NiBS=$I z@!2%XDstldM0}dQkNhP3l!EV7yl{F3)jG{D|0H}K%{}rT;ol6Xm>7xszC+#Y`M76V zdSyBAvg_-dcxB+Fi_35QuIm{t$MGIPn2wL<+gu!fN))D3vn;ub=aTt0LF9!LHH44- zf;g3>4%A}m1dbP+ZqK@o2rp%m=`p-UmV*L6H_uXIoJg=?HMH<9Ws75<*phYM-Rk3qp3*8jj8h&e?^;{DRfpTDBHe12K=lAyX&E`@LSL zOHw6Qpj!0$q>$4o2^oiY z%&RDh>XZHI{XQ>VDvICwB)jAa)vNjxuP5L~Cgcy+Dn7LqX|Ig3s(hvYMPe?T=y)~* z29x2nIGgEvJ5Ap!uJ)?;@nR-BZPAm+^V3)#ntIWE@D*2^Xa#cP`A% zvV}vYJv+_+@rtX~{K+e>rtRqdC?`&&;+PVoLE>qQ4@6JqzS5Id&*{0gmO1#Up=pwv=Y53MHkJ-m=B(t0VWR}@HH z53Z28e^Fb=jxZtdP3)ON`P5#~9dXhomLr^YJ|KhN&d| zkt|@XS>Xq3IML(sUJ3p}0U>K0j+}6R0V3Nw%Xle43(YVw;^)O=G7Z|rM30GJX7-2S zy*I`XWR}H3b_RHHX2#}PhZy+-J_C)MI2xa`*l7b#oCtj7V0XD+ja?y z>4^fQ!QwVPT-Fs@FNh}=h{h>nUn#}~VKHt&+lVpsh;r-|NCktK)7`Pwp{f>=pnVx$ zJef`7J-}g950oIji6I_s^#JfECpj^}G)u@reR6Z1OCYTa)ou+G7yxQGuFS3C0GkA9 zdVV$wg%mlBM)Qweac#_jcCx&%KYK2A)<6VN*-$5viCl}eC4hRXDb04I&5XYCPo zfjeZfi&n-ao+sf3BGEVdHrQ+fPos)H#Jd)znPHW0L+|wy!KOg7hikVA2DqFwo<2!B z4>h=lb56u(X6#4(VNy?R1pzJCjSXA60;=CJ>=_fJ1i)soTsd= zMqq3ZILtN?*P41yeZh3e8G}Nh!!@EUfubk$4Hj3ewJiX}=Ns{YYhzKdNMr{HT*6v| z@*(m*h5Y~=H$t6zyP0+GH#oSU}w2zQzz3| zn?vb`1j#lj(7s#I58d9VAlk5Cr)T>`z`>#@V{?ILqe(qiYHk?&1Ys(B(!$36?O2Y5 zS@aomW{4H#svw?B*_G%Ac`-dcVU5A)1vkuC_JN+ls@oK~X|)iL<`P*l_%H2mvu1OX!`DubB9n8%Qr>2rwGLG$_l?9y^!rmbLBdLP=gB0dgT;sd;s44!^9Qc<^+ z>4Ioux}&NGl@-KD(egp&oEmmJ)zHokk08ya>s7*vmkcUZ@dg4AQYzV10hP=tpD!SL8)OwVM7^>SQswdh>@lw@ zKfCSMZ7s4yG?C3@i6*3M(L^arG*PN3nz+@niAvs)Y@&>PH;_$Kxh0z@$E{_P7kTeQ zHu+G~yO2%Pm0Qau%CRDw(4CvfCdz2bCIz`}C7S~Hz9O5bV2Ny^#}e6u#~a8d%5)Ri zLcH6;XXrQlYNZlIn(nii)fVDooib zK}G#33M#6w7e)$`RP@D`RFu4lq@p54N!3PAHxX1+hb5>eb-kck@yhM3@(n-*gI+|{ z6(tuvylctTm80T6ZRtgzxry}35!i~-i>BcJuJk%Y;_E$1FXnib{0{dsZjWoD^iPss z-HjcDVQ%@s@43$M=4(H4O_^_;=7Q#hABP&vt%Kg*6!piJ6m#zTuFnTLU4OZlo=kUV z($ka1{Y&!lzJGOX=7PdE#W#!Z^*u{o^P@j-{h`Qxm)Ae_maE}O-th&q;iCI7^Ylgc z`?vNEjK+HVhK73M1BvKxzm^z`#e4e_vEja<2DJDW^xDqtUoFJUTcQ8yFqviwzCod0<%662pD{@n}LD zO^x-A_9uo@1HA*$;Y9z~aNpqIkQN{0Ub_1ET|2L+10MXm_{q!afb#dhwQVRqI+hq4 z93C4(2how#U@|o@Haa*kI^36t_6;O@ds9RG$WG;Lzw`Jf0lWhKEyq1IbvF`%lYNzY_eMYJTx+$^%!lPXzG` zEo+}B`|FoY>E+6{<&Mv~zU03=6TUoCetD+iQ!|y~bHbqG^$)qKT0hiP^#JdF;rWru z9lQ9kp|}QE_4W4;42~s|QA}#AFE%zj*grNn);l(u8Xd!+ zM`Icm5YxfEbm{e~ORra7dcEe->$Si4dR=rcw_#b@SGT~6N`1X&`NICXC*7jM!Bv{x z$Lqdh&Pv=muSbMh%e@rkUtDfKQun{gges|N*)>zA@mvQ;@gI4`d8t}-aNIz<>r&H| zu7x`M>hWv9uMt0b*Nk7wa@RuZho9NfH!zeMiY5ADv7{E$2DC(Paws-DFc?RwKN^qq z4#$R)sj=vgHW<|gN43GBc;E0)EZM8228YI?za|Q8?-y#t$z|8^wqD+KQk)bo`eW!y zC*S0Ss~nwmd>fk%R=)>%*?!6G;l0aGCELE`smmG4ZpEq`Zn&G93$=)xwA zBP{U7=_`-?*&6)T;@6JfI{Z5DTfh9spLPD`mtJ_$C&|(`9LkqGKPP>I-~Rkan0z3O zd=5_hk3rKUhyD=K2gzI63JrSOinp>AD)iQZx3U$wf68`k(1)SD%*)>zw5&+~Eb0C9 z;ogAlrKA#%kl{>kV+AiIy@lbJOXXXk^mi4#l$2=`iZU-HJ-mO#OG#xm6up%6aaX}h zNe`8cMK>ko#7+o#Ehs4#JQI|y!}eR!hhsV0aoGwlDfSMrEkqj)Gyx-)^RgAze*22^ zlD<^i&dXL9EiEO^ORBKhvgRpUW6^m@A6%B5PRS=ME1i-%ay+~|t%B3qXrotA+b(ad zmf&ROctLTsulO!0$NQM?l2QrVcS*yFSiVc@lt&6%zDt_g+Jf(r3T!6dB_;ORuFD+E zWh#B5)OSf4&fC6AN;{c-OsQ7ebxG;Hw(FA8N!tvj^aaaxNww;Mg4IeNB-(N-Sf=!% zj2ClkcdE73vO;~5i+0>rJeQQ~OwsP7rz+cdN!9l<=Vfa<$CrC<;Jc(OJ+|+X(g&IG zNpljewp^F39(Zwe>?tm0*{pc2ZB%Lp3kXY;in-IaLz5m(6&#wB=McWlPgr|z^xSPZ zGAUV8;>c_jc((TjGt%~BV)M->2WZ#hy3YzYQ>?=4ep6N}>8_0jh(gP;DglB28Un z6;ij9BK6p6q~5a%srQv4wYrGZ9GiFeJPJ^CmO{0&1gh}@QiB#!#TBS-Ux8}JYN*zh zK(*}}sJ0SRb69vRb@M8$+8YhDj&mzm-FY2U`>uhibRAR=6rq|bfvUCw)tp?4)%sGb zZY^MS|H?K4tyX3gRIx9YD}k!J2vzJxv0Vll#rsO2I#z%xsg~HEV*BG%uO2D|tLs{@ z7PiL=SPfiaeefRb>UMAWIvo z-Xd0!`AjKRAG-#tJr-7TG(B}U04qE-rC<$~?2)g=s(J&gUcR@mvG9x!SQQyoF~A)i zg&jZ|EU+j1YTMpNZgrAS z1XDLL8peNWN0=j>*b6|~ZM)5BQW!>W1yRski8#FlL@O<6${<>B8=!?8e-nuAVLof( z4L~UQswoM4G6ywv?S}9~cczL5Rw&o)@Cf-cW zPga9fKDFFKM^9wPzst=9kLc4o9S;7h3{z-i$F-1pM~KSZeMr&B?-)_J_agex&~}C> z0EZA&klY14fntHDTf!-ay>;raM-ZoJL!Hv^97Q(+(dOHN2>P$pCm)G!u|jKB=-g_l4EvkVb+3&fz5_hx{Z zz(-pYQ8%tdjOTj91esvMwuDPA;>ChXg-06#e56_CjVBS;>Ha@76nl7~BCTYNh? zviLq~TYPl%^?mO`k+jZuQHQNFUai>v!5+~aiK!gSLlpdJDU_`85>WZB)hBawW`%lC zR46^L`@pzuyYD?HleZF7XwcFnEsggU7^{V(vJY5ZWBA=fRIO-}vOBn9_}xUA%-u?x zL@$flB!q%}+>&PNw(2CZ>o^Tfr!5H_tF=jX+R`%p9<z%o~@*Zn*kMv{H(*3P#H^=Mzus~EFP?62UQA6 zW65!|E0xxXZa8AzDJ(%!7y=Bu_kzp!0LxtA7$+OWFsb)^BL$5z*fXF5d$zL)LjRT7BEh`~L}-k>4-) zU5-Osj=ckMc`Ys>WNdk9drR+7WWHNy=1TR@y9rI(S$aF6nIoI&wl0{vhE8&pA}V1; zXj-E7u1L*yh0fgFlbY`eomIpXZlKw|3v^oQEhd=4Ovqb%$3hfDa$_M1)Aw3+mxUn| zEkqo&DY!{(1MwC@)aAAV6ly+Mfa`7cGji7PYsR)q{G{)3Lj$t|YwS+;Gjec+V14fL zhDO0ldi(v196OCo5WSll8rL~VZ@Qn6V}V1K+$zY=_r9TV=ldDV^>x=bH12#qBWGEj zcX>kt(*6$jGc4(Jw>LEIct1n+!$K9MN{15ne9gI2s6u7nX7Vi@hojdmIIoDnB0R9Oz4I)UOl5FF6z{}|`FWPpnVy=-&eA*bkvvJmrkY;I6)c5*uS&%FONtoYMZ?4X-YZgvN)YO zK}lhLf(ny8LOEwo(@W`Od?91?jfHQ~tJB$qcB)N;`vcGZ93r(+S;Ro}ET%FESg80U zJ6$+9C_6nKXV~plop_XSM&Il4I=uAv;Gl(J#3l3)b zP_z~31L-6=9Bw85I_o;6iheQ5!S;mcZE;VC-ZB%O&VQ}!2~nQno)A5h>HbnB>z=EejmM%i6 zf~7!1!hTSW#Ym!CMN@$$wrIjr3FdI7M9F>-m0q)|kD34p@<2t$>^5phl!03;CiqEM&43 zL_mD4m0^%xvmh@d=_GplWMQTwYid&}F`StJ4^Dhnf~Vl){0 zWCK^&E5%e;A;T!Z#6Buu!NM57xGzc+LVc-T7Bhu+Z2FnUiKc*j!RRAR z1RZ2YMy47gKa1O?f{f|YL=Z8ya)oGJdPAYQ$YRIo<`8|15jnjckH_Wo;6JxVmOZlD zi(_Gt|OZrS5>x+x1D-B&6KPDtU^BIZgXPbr|n8AFA9kN=UhpBVQb-Ch<2Zucp_sg;&BhJq^HJvCgQUYk#m!I3GcR=lS^H- z8#qogE}(FwB0)d9)Djk;-O2jVdjtX7B~jx-7;XCkF1POTvTFwB1!xS4A&F)-+TGP> zT)<<89>UQw^k6YRAfRsCN}?f35`lv}s?Hym__?f=JSI4&%)k4&u4=GolY6SGrpLN+ zgXK$7R1{0ac|I01&Z4SHo;#TrP|Kz5h!{1_nVnB})$ievJc9g;LOsJBk0zn z6imvpuj6@5GtOa9x`x|HtlG-mG{{z*JJ1X|j~+sN;WJ%f^SjY*g%^j+ho9{l>E^g$ zs~3;qt`iD4;f9U#l)^qR`a%IKyNu143@&agnm^DwzcbA9qZ!s+oYBiJ%p0fB%u!>% zm*$=-xs(vOlWZLkE<86s8&AyVX`RC6Gku-)kDNlXj(V+^W2)xZYA$W{Vu1JS)j68c zdMGtn2oaX)kRVQ^Qzuy`^?fv9I9JajdR3$?VE(s_;QHbmZ;nT*2@wE8e6a2bmxw-H%w)oU1ewCc0CIEGJM+9dMX1nYlK zr^GEX3e+E%fectuU$5B&(EZ`shfCnQMm`Rr7h zL1m*gTc6z6`4k=TK$h-JosGM&)bkU@St{wFPS3J2hK+Kk8xe?!iPTiw`nq2bPD4Xs zeSLuEXVS)5>SH8~zHyQn*xXq=xQNBBP@7~C^;4Dln20M}tmJ|dwf7Nd>zoMaq%KeA zQ_$bglP!VB<6glzzA%OBKJa{hFanwmM#{{u1S6URJrnEvqfq4FFoh}2VoFiX7Di>~ z(WKF$-!BU3@o9se^oR9vgt;Wrc_-R9zZ3D-^C5N6n z1DH|d$)Sh4IBqmAm`_zi>MOtz6O+awO^S-8Pq8KSnp-O)Red1X1p6d<+$gr6W@-aE z21-ch1tQ&ksq7f;DdP1W1+$UDa57bq1IH1@y#S!$L;iH$MRR+AmhXTu;iKIBVdF9A z<1FR!|y(ec~vBs=M?vl5jFU%a~IbXQDthj3Ey3G`}eZQ(ck} z3q8-~smn#vA_^4uY+S%77EoP0i90N)sqL30p}mi@oVx{tZDO$~{~|4r?t>u!SwKlQ z!iyPY?4U>E0z+aC&z;8NeWM|=VJndxzFg`PYLLCrBe`(4)~O&Cl!DfYl}(_w49jF3 zBarKdgA8wzh>%AuC!dIH2djZW!t&%BX(jRg&u1eowY-qTduJ8g8qz^g5+8O3=-_q+ zJk{Jg7pbb?#RU>+120OULCg?uK{4g@?*vHGC@q6zqk--!gzuGm34$%VRnaw*Nlm481Kn)x`dnBlR@HeIcZyB@ekU;{ zs;!Y~XYbl10W-ngENU&EsD2lTY2@NHk|BM*H!rZbc9Xzc|&sf=4!cWx3VtW80c2i8l29l zf}6AzXWS5KRUVK7aOrtNUKCI&l;!{EiEx1zv`EK@AUgg?b2$AWeplWJ80yD5!fp*w z&A3Kl)>`97c-PcuJQJS=&0y5}87wEom9vNA=F!h-m33@Aj<~RZ9tsWwt3=Ka&SFl3 z%RKdY?de9k7GW0G+Zh)^0&`s*clCRSuanB9kD6b2P3zo>qEp6skT!4h>*avyyoKIN zdjz@*XF980aNVJx0tbXVnszha!Jj5!geH%S_UJHcUu4fM}0Q~#n?9Tnhs z&45ueX1HS)nt?Z%v4;@k`XrOn%}cd3F>5UWH262#r+eVWz(qHdPrpxa%`A*&(sPiX z77Az`;*-xVE&%dlayhh;Kt(O~!wZo-Gv9?U)WMtH2I5^=%)_mY^wGKZd z>o}u*3gpEK{O`ZjI$`z!Zp0g^1nv~8>2d;o8t@3#k>eaU$%c8U17|Z+;L6B)p2Wcs zL7bgVK{8c@u?UXhz*3p$`jM1J8EqlYF;_dKK-*$}ur2!h3$!3j3?hXuIGGRA2q{A(VX zGR-MYkk&>pSig_1*x+GIq(<&lYxV5{XA#yK4{|!Gbps7SdXwT&p|=l+c;AcujI%X3 zM&kStx}3uz-~kspzjR-eO$;rau|-4!l*+@pMdmd`HDp4K;H+@mTGTaR)Bkm?hWwvw zaE}{9B79&tHpm<2Dro*(0_X?pg*SOur!`sVka05aVyy(I>SoBcl!ZbJny&SO*A{mn zLSNqrh0P*`9?LyP`D=(yGPunGQi7gy-Ed)9i1SrVaCTBF=T*As$UoWi|()YGL4qBE0Xltgw@1u6TBG>P|c zAv5wVZ8t1Sx^s{Qy%9bIl5RZ7g7XKmKQJGxQC*3XxX! zzGJ*QMc13*o=S^|Le$M|&`*I!EZcpT_K~HziT0fURORX4+z&*h@NXEAh zH|t;mn69vcIET%tCcvqTQ|R0i`UW+hMnxL$Aw5_zDq^AlyN-2J5cpGoH=5Cy9DIQ3 zk+>5Li(!8Bds>^HX+w(vD<;6#Wd`2V>SacA?`HzaTz*psp94{@`lDPBw@7QmnJ`Ee4p#x!;( zAx3gP&^}#>)qpWTgt48*d~lBbz4W-b=`HOZZqfYaTiOu>lO$M$m)4Vq9RnQtp|-Y{ zpSLJgM-0vkaCQc|How`DFsRON5gsde1=k<}i01P@($?-4M!}?MmW^TDeT9PLB-laa zB7;*}W&<2^-=Y>fCxSB&h z)*8VW!9y`UOFaN2$N@;FCiZdQSLd71cu&<0v(5kW-aFr1aL`H1<*Bew&!go+seCsGkFQ9lxr3ao_te$9-gfvu?Vt5``o8Y_W%qX9qrRZ}-*IX0CfC~teUG#(Z@U=z1DCi{)YZ#R zMn3gqkN692-tkusf0N^{t_ENJQ}LH}e);0^-)z-7{T{1khoi;(%rUKMxur?_YNLyn z_d8U#yxiQxMV+rUynSDX#URko7>794)^AuBN|=P@ywQIr@(3s959a_*7kWv zX#c8d5!)N)caLZ-D~?RnTjIuykiYUTd0e&3{XxDrzc%3L>1l1hU!UTrCOvAtdPwUF zADc?yp4ro_O}lZmm;GS=%E#eE{J^7HgZZr^T)F8wtoh8>9@UguJA>ET+S;@~h3%bG zvWZ>T>!RoSTm!`e3|*dpYQTgMQ!F^e8MZ2w$^g~ ztV||Do zkN0ayJpxbr(kw2a(<3;Zvj`K5>(?XZ#qWjpm|yx{xHBXUC$uq^?a5*I_w>lH`J>(S zb>`@s;cj?r%opAaZ^xN@)P(X4mv@@qeKWiZv2&RWE0o_31=xJ@U&4d91bJGI;KWj1 zGR9efVe|MxeO)(pALFz0Ecc}cfOkEDdzid+`j+0VxwZMjf)lHaQxAFs>V;r_^ZVhJ zRwyurKce;@Z}%=HN26o z6P^VV(IdE1ZE0SV^7j&&7p7)db{#Q+r}YS36Q{nvJFl1@{y}(CE$dmmUT1VS<&`== zGv2L!uQBCztp`_7TNj40zIK}P?OH1?4KqL6u0?Y=G{S~|smXx*H;cKzcw}ajvLr6; zo5qcPY#x`qt)hT4A?(8z5pKLw)`0aRB+0EVBARPq%BtoBoFS>WJty_piH)Z0rOonE zY7X8kJwhve={WC9$LZQvHa6poKCK@m*A0qd9@NDL{GL|hu;7_9{p+=w2AW9p@&Geb zSgTiRIC_b?@`ufjuGercv-63CG|V5?@k@uNa8qA=Y6g!8XWw*2Kj6RAAn*yhOs~1I zQ)@#gFWug!M{tZfWr+C==BGQghJYSHAWTg6hVn;@O66dc`IAm)}?I-K{H`_bjRiJlnWQqrp#mATBZ41w^n8TPPYbSh)ULe7JroH#-HI!)N3WuIC_S4I3yU$_+*3G)vIleVXn{zEg#3(5m*##`5xEn z756$)%UIS!wGu3H8VRlRIuNtDy-(}Jh21He8m{0*ZNPyrSe5TEf45ItQv;tQX}fIr z&BlH1d_RO`7Ko3T4ci*A9Rkv61Ppw--=!ptU3yv}<=^Vvr7|YMS(Qdj{s==a7FFM2 zRJhIdm^N&V$Fz-GaFB^D_GMvA$Hig57&0w|#AcjnftQJq&Xvb~a1O?aQb3Bj>y;?2SQCO=w7~UPBiSu^ROg94$Opfsp`< zK~xrWQubx(sQIBGZ79gY2C%uzIo<`Znf1e3!w8TMp8#uP=@dwfpG{Z~X*`JYr>TC_ zx-{p^?{xC=0z0-bwve&s_DR9)*`Rfd3T_nhEy$N$9!6Ai!Gv`2~GnAm}yL;edf2(GQsMwx;wEm~AYlf!iQJ z4roeG!!%^6%W=Bzj#aAf@-MPR%Mw)`d#DNKr#OytY;623Mq_?t0t^hkajTk%)>b+M%sShs<7q%aa zvjf45Qr2QgaP)y?4!W-#;W(@$`nyz)X~=+HD$%|Y*4vHAK1}c;de@Gff`k(7(Kqh^ z>-OYi#d%2dRt5b24Y+h~V_2qe(6AElD{2e8dH$dZ-&`M5vvOSJ+@gkX>z+4Ut<y?GdJRa2MQvzjjg)e{@Iaw~l9TSzfFxHPaxn^9- z2fv?BRdTqPvZ6sPSL&)%mE3XVN;$&7Rb=wf<$khXE^98wwG0ioudgPETS3dbeihY1 zPea!zBQ6P4{62)}RVscp81~f$!;0!Hn}MnbPho|OYMX-oGF%G?ZHoO5dKmvX9O3gi z91Q|Jd=tOV