From f66c77fa804b156fe85e1f1ff2d7c2fb5cdaea53 Mon Sep 17 00:00:00 2001 From: Crizomb Date: Wed, 1 Oct 2025 23:13:46 +0200 Subject: [PATCH] Python symbolic graph --- pythonSymbolic.png | Bin 0 -> 24727 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 pythonSymbolic.png diff --git a/pythonSymbolic.png b/pythonSymbolic.png new file mode 100644 index 0000000000000000000000000000000000000000..f6f961a0e768a29ac5c50f57fef4fd24114c352f GIT binary patch literal 24727 zcmeFZXH=6}`!^azML}g8Q97ugfb`yrGKkcmD7`67YLrk6T^(hVrlAH%K#|_0OBWgG zB+?BfQGo;qBtU==O7h-e{?Fr_wa$Ca$Ft5_Z@z?m?{c-@RrcO@cxh>2bc%zY0|Ww{ zGQRo8Z4l^40SLtQ{rEB9$?=ate8ATc=yl^e$AM48areJ~HeZmTZIBhjGbr?4pa;k+ z0OIc<19c1Z@CblDfCN$4+I4|JlB_`nfgbmQydeP>?s)rqfc)tTa`1o;qfo3&Xlk$kV1WxO74bru6{7|4iE*y>N=3}>pE-RWz)3yZBn|l9h^=j3UteNU(7fR;)M(v1yVhD=Aylr z7i^|SoHibSa_0d~9{+*77Aa$2D-p*dr{zvJoAe06JV_t1>aD%a?-oo}wQyg9V9M?k#bK^T3d zxSJSfqx+`bt6esSzAUhwy;Z0;9ZBR`Z)0X49h%2`qeOINAP$tSz4^56^*<(Ds6=M? zCH8=p8~k4qgh9MUrfJfA8#9C#d8MUNPEJmMQbqQXW7QMg5;Z*YUBbKgyyEHVP0h_z zIwo3Ii_!w!nucQLb+@MQ3{@Ma;JY{~iuS(TpDtX~(Zy22QeoANkZ;gfv&N-RMCio1 z#`UcUf=1RxgwiNdtMa2_sI2j%>bJ|`I??whHMjZ|x@CLjxiCGZp=V7F=}XzA%0Src zY9HLX0!C?<%r3}9m{<$jClJ&pCnu|^Xf3btGCR9!cjGOrSB{veL9tzp=lp6Xm&?Tz z{yz01Rv>+u^0s{(*1Nnva7dInFrSWxPxx2ECX?Tjwj87ALU!;izuGBhY_(GF&qn%} zGUi}Dr<$4DloOReyu!7&wyQC_>_TkP66uE<`?|M!HxmcNg^@hCy;nl<2zB5Dc#gr& z}du8LNJpeT5vL_~|}WmNKfl ztWSOCg_V&|@F<7F?hB|HfOJbMB#azK8>op|>zsz+&(UWRAOp|_i-4V#`NrnbHzzPN z;^8{YOfR7zy&y2zY1GW^r>e$Yo=6XaR9A={OC`J(8TyJMw$Il_&=$VH_J&|~s|)Ao zlkDxt_UZkG=~Y*ytO^|;@e?3RZ@?pS>nGK);&Rx%LOMEuYpxIPm?NqNnNzcw&LMZr z`8DI65t^Sm-%l3$=kVxK3+dfX6LSI-ZQXS8`mo@}(z9w(SLvyh=glGmIp`f93q9uK zbo&QHAuhDi?b>F zm6a7X-PLe0%8Lo;z>r|~&4exWu-MzJ&x%m~k!;Vcqy%DJIY32KH^wLFG0Saek-#4Y zHpD5s&s?u(II0fAfOYiYatlan+T)KcwshA2T;6S(qCQJ%k*gu%P^HWuu=DOxUG@0f zjrDJ>2rb%=Ak0FuT%}eLE)tA-a78GqO+8llW9T^9UTT7gsdl|;%cZf_7%q>*j7s5(T6ijL3+XIt zp8Po-4FKC#M!>>JDj_krrr&}z_s&Hp!?$g%qGg`FG(Q~I*~NkFW4X7Fb!#X*%y&3=A8>2%TAU9KRlhe3Bt!V4&BN^*{^Z{EMD z3(Y~ajyu4jZ`;sPw4swJ(oqZO>A+n!?}}!_E$zKXjS!m3NRJPeF(^*>n69g5Rj5q; zyEDn-7EwttIN85?_B^RTruR?()0kacH3X$qCz^x{i(~}uJK3pw_^3|p&=I=%Z)$av z*jx5Lwz!uT+qFj4mC;Y?Ngau~WR7a7wq9D(0&+lAwU^?H} z5;2%}hH=)5yl2HN27F3StqtCe7k!y{kmbtSc9s?wcwszHBctxCvDeDg|4C!|aFuae zw?DW}<^bs&`0LaxZ-=_yJR7j$g2&p=FLobXJ94@HfIuLax!&XvEY@34RFH*75GYp! z$P=s>{ZB4V0P`o@n4FqoVdG3I3HeAG45T*@NdKa?8*6yX_2UO=UgFP#+5fxdAKi5m z&JG*AzzooXYeFLh=2BrNS&iBY4s_P{|I7UU=hgpDFQCEyo$CLOa{m9WoImogeyVZ8 zM?fG;E+`Q#6LuVQ=dXhR0ODX3Wq{NEc2M>Hf6x>%W3v_ z7dGt=vmO>{?+NA>pg3MBs=mDgX?1Z^$CLp=+Giz7#$+xE-Arg``;kHh;-9NWklCTp zn|VXL>8Fc3HsY_*fW62EMa=?`Pi~KFaq6Ow#UcurxihSA)bf$Xsr<0VTfhkU-#WPU zpQq}iEM3fI^@?U3E-EVd^R~{Pz~(~V<*8&0N2!U#Sf0-;5a_znTsd-|hT$SBU$r=h zfIwe?>fTb}?&+*>X{ z_~id>cr__2BAT|!_KME#WulY-mdlOgkLttc$YSE+i1ua7pcwHA-TR&>AnK9@tH<33 zJ_v8o>^)_iXdY+?Z;cZKlw#=%AP6p&AU*S$RxJiimbO?&iTR$>kO06n4zMU@Og65L zhD#csHd#lDLCgZ3-#i0W^eN9h(E_rJD zUy8ro04N>_C|F(_u=}ebUz=M_7*1fd8 z1Bvfyao>*=OCS#}0Df5Xq2#&MT>&{@v3izK$3}whq<$#$%5KUBs0;stEA`7M|H0hH z>R7AmEEr!naH6}kJL+Q(-kYr@u_J**EtTiSk$WQyS6;b5E=DOFXRVP6Kxfp9QXV-g zWVsn-{+0!1ULb$^6bwC(Zm6Ra=RS~jshOapPgzT_pluDP$5J$*YhCBI8!&_C=B7~6 zLx5Y}zX0hxcQ~JhF=se_jL9d?g!+E(yI$y7)A-pJkaXh;AkE9SA>y0+*+2d?>RgFh zI#C#84)p8;9Mr16Wtoth(#LMe=0P^8&IdGfu;kA^L6gnjEdFQQe>C>|?pueF*a|?> zTsf9!+*O$?Uix?l6f-1#ptK;<&7#T2K)dQP(9XT;|AW+@2AmV*{!@?~eKWUp z4p?{z@P2#gxBnsZZ%bM^{Lt}pTef~dAoVy9w*Q6x%da>|l7N%r=QIdFTy_~l6))&yEJ-}nG`=5%Y zji&*XL<0-|?lT6gP#(nqfPEE!!R6sThwYsM9WDK*bYeYz>)>O^3KqFIR_j6ve+J7k zOQyd7eRM=dMcoO&xg{7__wWga7u}nOK`~)~3AoJ~M!$Zv0J`*muBYEVt3}jr90KXL z{wl_DK~4ELEG7Vmi~>BmW}nEnMjlYO_KU*o&4$s1A(qC*08{XaUr(v}(R3K39}IX( z*PDRiq4_YNRmW;Qk%@5YW?7|3_LrB&E6m(>1G8w{0pgSE$rJfq2ly%hA`oEx121*^ zqhWM=-B_Li7*}}bP{LcG1x#nLn1cOmqwTN*sDvL-3GiWgxBROh z)6@g-Na%HNf08(3l6pX*4>0k6NaX1^+<`4-0=ilM-Rw}=rME^ZAHe_#U4X=`T!)hB zX&`V*hy&BFet2G~d0_N)K#Rb9R?PWyd@-#=_(0LJz>G7$ncPihX{zsEv8MCAL&**c ze)<}KieFsIxFtsx2RH=GC2!W0ztja*(T=`_Okme)A8sfSKEOYF_`v>M^Kr`_o0E4VP8L}GCVmXkW z-w$6WmbpJ|{}Mu9q$&RZ`?CPoU*jxa9iWys{1<9%Z!~a69%zZ>XE*=kDoddQDsThF ze~1r|+;MXTfj)f$R+Pb<*FEND3g|5U)Gu4hm^W}6`134dyN&_k0w2}} z-~nG#KCl0Q62^`f#H3wFxnIUgv#xW$05OURknGB2MH61W4sJ`|&xgB`>Bm5zPJp5h zxPg1NLmTkv9{|NV4^ENUK^A6tg@4IW_uk>vy9E|l-m=Dsro4N=@^4=Le+_x(@T&Si znXKGhckxJW{D3JiB*T@X=-kZhl$UhiU{(t77@v;wx_x~I6o5WJ2v)3$=^K$T#2#pY zaiSo`MchUkROL|(4f?^7RuD+`0 zNhLKbIHdv51}LxqYbn{3U&P4*?1hZOSO1VOoM9>HLGUkIU%l4A9n3OTj5QF-O)&3} z)~+Zv(AQT-tn@E0q`gBAK!Dhl>dGOZ;;{YT91BdWK9(I=PL~4kV4uL!v3&wC=JH$a zaudMT`cl8}W~tef{~(xUst4zuO6J~??)u@q1Q@po&{%$+1IH-9Y&j5WQeMbJd^qsx zBCTH<&d+t=*ePW3rwNRIe%7R;?*t%1k<_mt&xd7>8sr@e0VIE3)$`(q72pA*K=_wP z36SK~1Y)874504o-#)X89>6si2rz&IERS=YUQBy>_h5Px;AFEV5=Zk4SRx4hijcf& zP5G`tEJNik9kKfK@x$X6Re5ay7gsyDFqML6%G0&WK-$gq(FE!mOI-t}Zyd1@29e=EYySC`A zUC~w{QT=>{WeY0C7AO%cL!L@LP{?bwT^4zr~_+S1jXcrc_wfWaqncU5T3P zpxlxpR+eraju+A%nOS;xlocx`o&d!J{%&?{F!gQRJ0nEb;o#c^lUGM<0sjTU^XMJB z`mGI*Qm%O6;L{-ee|fe~QJE9BPLS275-Wi8=#&4tLat{Y&Tz;;?Pz>9i=gZ;5CWED zB@jzdx4Ks1M==-vXS0(8w$1}N&jJ=I5>J+v4g2j=#%*9l?tf)97Kq;s`Kgw!CXRgi zEq=VlD=O8UDK^6v5pf;v0N3{Ab}oJMx1ND~(2}4;b0d^^Ugrqt>U&lpJ6~f8*Sids ziPFn_Q#jr#N_dM^Ss%cfMQvG%7 zX`gxy`hOL^oc?aMxYW0~p> z5Vh?8z`P6A=Bd!B^s3_c2UIEms4nVocCXpiZneDlay4F#W$@G>ZXHlAFIYyRd*S2D zFITzE{{z!&tvv9AuHnms5?Ptu5Q_~#9*Gw$dvhGI`g)x|p^IbY)V_>-Y|~>WyNN$) zu*JUy>C`h50*jC^>LWXxLL!Dtr# zb9(}g#aZ);uvBsNm%ENS@}c(MWgYHH`-N-=u{3{eOLmXa(&_|u0NE_XotrTn%9Ear z(Y$IJnd%|62MLf{D2SOqz#p({Ja>m?=rn`jdhw1NY)PZCfm|N|D!3I)dbe#R3(PhX`bXMw7D`z~u;s<_`oDbZsL$VT5+X~Hav)GYpy@B8t$?mdv&AZP=T|yzURJ{04lZL-}63Iu8VQl2TBfBrZXu^{fDdId~{9$02ccs;9=j-vgiuV z;QP8XOz#6FD=kT!aN_PP%z9dKi+B*o zmVheuvg=TtkE346Cv7K{3K5XL4v-4Of^NmflWwGDREo|v9RiJ}yK-=N`eI6I#$v0j zhzH(3`s+j>SHDT(Mp6Jrp9wOF6?j>j0*SxAEG^VL$oCtiFB~xOD>q8S$iAw|%X(UE zNpv#;EX3L$bRoWsZa+jy!s%+dj$WXcCBP7e048K6(iP>oy31HIt?ybI74w#Rj(^T49HIDXRHWp>IN0wpRlPK2CnCbMHj$c~28 z>u%@z4eL&`g?g;P$7=ek#EIKF6X(o2jvp^@J-P5sLT-jT{(P{r^O9i9IhAUHbLBwW z*~*@5mznnI^Nr7KFuigjI9+y;)w0@rDK+M{s0LYO*E4;kzPDbBl9Ok#^C-ai!*X)E zf2Y<@PQ4zUB;W!gWLhCMXRUA#6X-xWrqQK1Xv9oW!l@`V`#1Q9Oi~si2oubKm{SgM z%r|lE+lehh5-!?qm_1OeI$c({qu}-rU7oZb6OKl zmXnBa<+y?P;zPHqtu7gb(Sf*N{b8p<<8gc4daMS|9Jvr)+zrKoqmkkv8tS|L-_qVA zjt&-UeAjX5vm-ja&WYF;!Y(&~=kXTJSK?5bU*V2WGN_zin|F0Hs%-w7seym?Jrmj7~UwbON${z z)cI;go6$q}iaWhoq^OG$og(frXby#Q-<;HL8o}RdF*7#1{AzY%sm)*V!Zq&I9t7YA zhmxyDI(EJGeWTN;6kC3fipZ{iRG6{N*5i58Y70?g&Gn}SiI|Jwe#z!Jb+e5t$%0HFUWI!E>X8qDaB0;+1x5461Eb8&<(y364`GIBaN%g z#}b{}uTR{e{@|ppK*foFCAG@2`>Tlx==jDh!=~AxqZ@b+G(^~#W8kZ>Cs`xv zJ6>QP_w&quGT7?d*vfZ9e(X4pWgNwz?X8(9ckmpCt)IxgT3T2vc-YP>OD)g@l44|V zK=?yv1^{7S}Jr_ZzE|mJ}nQDKzURJWed3?IdVB=M*EiLutiu&bQ zs%)PmWrs4|x*Mys`%`azMFVdlk#3a&u%(Kve_Z}iEP1MT9dyLZ>8-wBQU6aYfxCJzu z8WTTkQFxJmQXy?Fjl@Xn4rgR7waHEFZ!-Ko_QsdtLjP8(AMi{dtv5@B3y0wF-sK45 za@fPfC`w@avI`m6Mv0;Z^*kl^i$c-FU~1m&_iUXjo(blZb4jXPO40iwoy=)k5=0 zJJ7(TMdJLD0HvpuhEFBQHc3ZQP^bho`yF{2d(_&HVDO$A6dAgh_x|7xFlKzH{@#|> zquM30^nEWvZJl0LWyFq*#y-vvQH$HqhNM5E zZq*6&x+N=8`XGeAl>!DMsc;pq*c5A{;T zKu*L0#U87G1JXALIFj!;zWA<4WQKbqA5CIq&J-XM-T3sb05|ROJ2jU)?Q&2A9*h#F zrQ!x+!vb9nf%-a|*E{5~lOz1o#BlxF}HtWAo3)vt_fkQ?_dc(LGt&{7KvO))=#^z++!DKWyenZ|Z80&tjh2Eg2r zCJFnjUHm`Hv4OaO^B}2vzFazfo5ga$7F+;7dAo^}xw}?{guD1Q(HUd-<;F$RT~DN! zNGg;<+ND531DH!~c5WoDd9Z2N{$`5?jH;A_P#Z)vd|u;m+OF5GX?=4ek5>5-ORH^8 zYZV50T*-KP$Ts_{2=$%wG#EH}`n2FPwcQi3S<_5hI*WS)nHf+061^LU3mYzn&D-ea z*aUoSz)e=Ky*2WrMDJawiEe*@#j8+zj(W|vplt|$rI%HGUK4MbtDWBZ8+h;F!v)Us z+Ha=Xquo8r=uekhsbS}}KWeQbgHYr|7_GzgCq>_jW2T%<3WqTE zza>M77hMLuyeiTe_rG_&s2sSptCJ#viiDlNVodGWTP}0)EH}Vqv|5uWt3trLa<{LT zXQpgvdChM}w_d>P4q)k@5|g{OYC*ifsmMZXxz5SIt#fuPi2#^7c^^zkR5E{hRnuJB zvMce_rtB?5y4TE;zOpI{=cv(Zu=VL0=;B#pDhdi6|6)aL>J07uJGHfIuXKH_6Wn9Y zjzmG)gQ-D@9o``M9o88GP_2g!YKL^*ZH#hum`s~aa}ZfJ8RvT}sW_i+L>Lo-3}D;C zlrgQdWqV`|NRL;Dt?}q+iyV}(l0d(WOXX~fcxe6Y;&FZN#f+!ALAT_2XSl}-(R}fm zu|s1Kb2ju(Q|-xh45}9$Efp{ji)YjgI90>tGHQ(yBUbD+n9YUr0$%$U9YmsR>wQEP zl6i;(h#=C9=!XF3?EhG9+2PFw&KGZVb8p-~^ZDU%wGv~blHiiyjce2&j@wV7d+kW5 z*QVfaK*hBz)#zH7N3E|Ur@JtAq3quR)h=oYKeAPwoX?~Ch4d5ASY@{P+nmhR-j=of z=>GmTn0I0(F7-KQGhBHXr=fskdtnDkd7db_(0TaJxANeU!F@N0fwR1)2DO7aUeeQR zCNM8ufXWP+p**gqp0nRq8aQQyPpjPXUyE_UuI+UOZgaxXt@sQBRpAHNVI+G+lUOut zxqc5rLLtYlfYHEf5=yZ3Of0jVVnX|t%?--C+089ITln*&4aQmo$iLHaFHDi0B|h#* zwl-9|UiBWnT#Y&~y|a43rD+Z~z5gktWf@u7H+m?`X-aWLh-bbxG``RE5Ua4d@5@!% z^{$S8RHO7dvh%ThcDG22npy-cS!1_%Vs5I^QI2txy$Cq^m3HgsxCsPTErRm40b!+i;UdT~Frk1_@!*yYhV$0p`18<` zi0QL8vNVo9%hC!B7%~9mUJo)G8kUykH5Y#EXt9(%^d5ch!9S(F#J78~Le?9<6&+_f zU&wfO8T+ckwrZ?Udz!uLl_ooHrcC{}cMBIS12v_Mk66`S&|CD>wyiyHic}IF)%f)N z2-nHEaQv>bGjnHxN9Ux;r{?t`xU|^+RQmCkshl9!pyLG(B%_)JAFl~!{w#ua#Q|a3 zHu%4%A@4jE-nq6c7Vt(dWv{Wede#Z9uhLwH^xq7$ul>-p5~Ff~T-^cMC!M&tJ6Z%> zD%1?+DZs(Dg}mVkcG6(TZ<8;4Df?Y9G={@A!dv$PDULc+dY(rI{)W`1=GE@K+wx;T zYgi`*Lur!1N6dt1ER}`tF!z24b9KeIzOt{mnQJ!C4P2$%zCsZFbakoeqDy9@zcaP2 zy|9#qR}(=eB~Gb^X9vN$E?X}#ygY@fB5~>@k$Db3{^Xiolu`|iP}qsTqt_4;aSa8$dqScdaFjx&b(fDutV@XK_ptN zyVVoFTs@JT2(^XX%~dTZ7d4X+?(>>Y8J#Sntp1xu0@v zqLnz`SihRVL@aTWf+_PA9(;vQ2qIQcS`?;)_U5O*HE;TM6uI1$45A+BS<0sSqXgd1*OT`bwlwI>|t)7~-!%});;;Cj&zi!1y6WsVPf zA%SFe6w(y@I27H|DCMo2!D+EG5wVHpneVK@V8CsGwwYczX)b!Wvlmrray3-gTZpC_ zq!!NgiYPcrd1yJ;Yu{D{A%K^urNz`qUSZzBo++vBWBAFt#ES z<<_=0>$nZ`P6(b;SBVKVp<{^B%j6q zScJ9^vUA?A6(~_jco(FdQNXCz8NFIJM<#LvN);CAr$wzLN69!J@aSIlxuweCZ$ZhKn1FW37mjJEiTAh2UG3)~(HwH{2?0 zQZ)7M81|3)Wi*EKPd(L6vO6qO1xuQQJ{-og_q_LkDsWJnfamuwh6hm~pC^37$s zqYBE^=tJGamFBV>^bM~oV6woWQ!CnV(E=+6G^NQjQ zbk*+LaH_tWeLX(7)NIPN)30SdF7W%saF4KEd5F-)rEl+*!=lgXX6Jiih^k>io%d6# z!+k1F&-yOOPmF1lzrRZoblt1L5qM1v&^f&!$aJK6XAG$@sfa zH~cfTzMp!95rNHVqOOW~&5z_{Ax)VfUcz?YQpujf_2{>-A}wRRYo`DA+aqLMIiSQskX|1HK7*-YXm;CTe9-B~r(OicC;C+nS|f(3 z{T9OcZmJ?v)|2b zafs3ht(9%~f!!M@MW6XbTp!WGS7G9iwV~0KAXVyIGFX;5F(_WM+WWqy2HF^!M{*t> zBjKk!o6@97hkR6%Z-i@xQO@{~ZW@6Dl_~GC*MWU`WNfr*4R}gnBu7DV#wJ>McYimT zt)0^)RB7-;I5EYv4P}5*NI{R+`+cAs!jeZRgwFy@6(zEUUc3L4Rt^rf{-NtDt_>dY z{!Mmw-^m|>NsRHMu(h%DIe5P;2GSN1VWGAEI$|Z8IZ)xdu;tHkL^D>pw5NAPMxLt?Dwz`l8(v^i-Cs^{hl*xhu#RfU zF3K@SYI+801WbKDk zrp$_>3A{GHwH#4VQP|!V*_DPZd*l=q>JiPQMRA!rCf9pNYdV=zZrdOV%AgE4VxC~V zZ(|-G6X^W@A|(ED<9t*5W|IXC_`>C!QbW8M+ZBY|Bz|l2MAeWwGsU_tjRSZ*Tk2BZY zu8W3RgC1h8S8Kgyq%Eh>$&@MMKlO0djM5^R?i2!Pf=jnVTIi~gG7EDWN4Mh5W**)r z?@{kI&NE`EJ#L)CtvH4Tp$^kyn6sS}v6((W+=|8_vML+Jh}mH#ZF*my74wrk@N6MH zI#As=l?>1OTN!#&ik1JkP7)K$jS>jbg*+5d~ll7bI@~OEvcVc5X>$se@L9 zbEA+5#qP-cHtA(saSZH7|N0L|ixzu1UJJC?GY-+blI6JGA-MBWtJ=L)D6q$??X{aK z1YGUx%oviJCo?rAjh3mYX7;-X?AnJ3VtzWtdFLugIOVL~dV2P1@3We2@rk}Bft8fb z#B78fqa79PChkGYW2$JOR-X%2(_(8LcZ#mBaO$NX@zI_Z4!bqjJ4ry|ILBd*OIPC<9LJwtm*jYw%6{g~oFTX6`J*YI z>a@e}sz+3)j5o(7;RVK-bD8dFs(PTlCmca)BU)(E2ZCpm9wkj{lWpijx~29Uqg>_) z#mi@}n62&})@$Ery={6%`blo(7`4h7Gi4F^sEiFH&3EtBrJbE%=SnFn6CDxKX3NSb zPq!vWpQh2x9a*v=)q)_Yeh96cYfNkOB6jS7YzC`qfxY>9&_2Vi#xKS8T__A z$9<|68rA09=CV+6yW3Gl@V_g4f}bf^P*c6R-cgI%ICt!w!?0#Tog%)wNUX->G;q_9 z%VXDPlw&s>Dl_>A*9~8_p4xbRSz|oiBG3(fjjAi6jAw=#7Q3}p;*n)KQRqd^#9&Yi z>RuPO%Djko0@(C2AIiN{jBB7d;75K$p*Z$pucYy~S@m^z9(-W2`N#DnU$bgExC|lE zFZ+p}>1vf&|CL7Q+kU_~&qnI)BE>Fd-8F`cl<{ZVKVUA=!EmYY(2TF8&KB$Awdm|g-QIGK*b(vZo1}UR6s4M& z?3m?_za;t;H}rZgTdYC6QKENQELMz9jlu@X6$Ydod|6i7E|Ad-Wi!wTW>>W??bk=x&WD>V9r#=Ls4O_od znFYK&FOvAD{nw#25L&@-kS}>$f0HDpCEoaM`C)DbpD`Isf{%rLaIt^30W(%L_Dy;A zq#$$dTdnNfR`uRBEe}5T zT#Q}JPP~`w?KB?h-h1tuh`nYnZCKOlp(EU8So7I~XYglB2Ij_F79hbC^GOV&;qmml-|!=5>_>!{ZC-IjepM~S(GTvi~*Pb*0o_bW9n zpM~^y%SC9*AomzcaiN5kPTkj`{!RB(BPOco`vVpD8%d?{sa(Q^0{yU0hOGT?c5Bt9)t7BT+lrZ-Hr zU7J=?rv50$PgC94!*(2oA!DQV^R?)L`Io`q{eU*+T=@D5iJ3AL1-*{b`B>U8bQC#L zAq(lgf5*D7f_*t#TyFaoLorW0;C0x%pw&jBNnZ;Tr5Cj5yBSdy8a$O`5(tBXuV8~u zPoBv~PTqlvG+(hIPm6^|yN!(_1XJg$H?N6%kSy@mRWQ1nX8hw*;tmP?sEfw% zw@xhyC{?u@qV&wH8*lAmEcMAfcF(>+BhON&w3QBr0#t^AVb0aox!jF?D?Jkt-^-MC zEn4I~`*iszJyQmk)nX)gUm~(BwJkbESdBL1C?6HK96Bzy{wz-yPHQCzVV5Fz=jKR- z9^{A#3U#HQTK=rtgD6x#Sl=x8dL){92Piek=!TF;2L^42PH-7yL?+I7c4r56m(o`h znu()Y&VxB%tb#xyUvdI2G%z5CT5xUdC4TxfyIKUeo==zJ5%WC#Q?NSPMrm^d(!b3q zJSa6Glseeu_f=EW@9oqB*b-6We)CG;-*^4{zY_>=Ot&yv_|Tw$z0mM>ycZ$I3f#wN zZj;J_wAkUQRxGeoPQ89ns8?OPlafRCM@nc^CPla{9M?RbhTV+~C5R(&iPmF8W;Qix zQfDfl3RXW!KTGeDlk4Ycz+M!`sWxwN@=pvlH`rZ?-rmevUxJGq8kIcAGpWv%(*Mpg z`rypu=E`kD{?ps{0$Ns*=yWe5LRTdUMarpci`sXxD)3x5lRmeT6@VV=u0Y^Ls94AC z@6)FtDty^O;H*ry2K%cH!nCQq{U_{!OiCL(w9Wg}kQ99i$>s6oRF`}HX{NpNsCuji z4N4hE0hc54^@2heTc7j-chy3AzCUkkzBl?Y`{BS8bwbIa@9qe}6K#+_w_TGn@NKp| zyGp8+t`^z9Q5rZr!N?fX+wXMTZ5CLk##szrn~FEHik(ss4|Rz$znb$=zP)jF%dr|? z6mnRfeYbhXv0{JemIf0+oBLaGVm^}+eaWCgTdo}jV>}#B30AY0Q(}bKWD>=UO$(f= z!KyRl?P`v^r1W z#Zq!eMB5&EH?YgbqF)jyRYyWKE_Sy-o`<-^6fuYhZ5ulo$dqSZnQCBanF0Yx|Ae9p zE+q)f7+scXW3CF;Z}#!s;Y+#KIjNP5dDoCPj}?H<4|XasK4LtG3VDh?`$EuBo~@pu z=ZsVQP3t||M zhMRUO+664yP=}@b+jseEx^_q{3T(yI5#tV!KTvdH9xUI893A30XmRY6{q$l6j~d$I z0WX3}I5Y@HPZII!Yu9~UDcl;F=JL0mL_(h4YaO*FHSv}D@YC8mSsKixDe9bWT=TQ8 zvNp0k-{|1V1K8dVZF@eX`Hl7}xyOFnA*St&6ePtTPw|oDhMXRLmeb4oq zyr=w3?YI^92oHEp=SkuD(O(tSMsDBd_FJW#EhB&QXE#zK?FXkdpge1l#wBAxi#A>! zkF9NGVT)hVd6ldE#({mGcnRaDrsuDO`F3XBR~N14J$j|kZB z_<>zk=MKT>RlN1WsCUgC_GGeoCKRH zmP-tdX_FUc?oGAA_LYrfz(fd5H~sFoos_B9qI7f6dS8EK3+}ExLrG@D*>|_>V#2Ah z0pwK2yY?4v?4tMQ*GEN@3LC(0?nJJQXVb@Wys!qCe(x!!5?<#=wf5vt*xz0A)my3} z=tC~sp0X`JeX-<4U+9br@x9g5*r`*#Wm$FhnNSE-p#LmUH^@aeLxI_DBm>*3>Q;mz z73?67k_TMR{3-d$H~bRb3QU*^=s)||$NXP7pkz_IsnB&jQTHn#kjOOa{{nz1=wys` zn%@5E-`Ual9r}WB*88eQ2`z5@sezbL-}SHY?=@$u97D&!fnWz4Z(H5c3PmySbg%=1 zUdbfTd0c#nEq9((FNRReM(_-{MUHHVR*4*e%L|oJ+%J+{DY8e7Sm^Ke>h8v%Pw3IT zCYz@kY0fAJGTJ|Y**yy*xPS?e_I(3kA3Gi2c%Oy2kYK0I9_0Gaic8PA!YFYyRWN3Q zJvzMx{ZSKq_iAzNzNt;525oQtZCT^WILy=leup|;X)(Zvb$Q*s=_l?60;;DI{@{=4 zbG>_ec+v^&x)M~>8i3@*oKxIe7d z-b;zNzdE-}!>v@$qQvLWp=Lc6{dM~{gfdr7Z=2Oe%xPhvyZ+THA0b4!l{>i}^;4p5 zUNb2I-tXZt zj8?DB<`;)`QhOP4Ce$Gs2P-K-(EXs~9g-XD?X%RE^6e&LH9|gS9&IXUq=q^%dYJOC zK=0Q^qfl4{C^6UPdh=tionqC6w6;g&yhhib!i})$%JsZR>yN4c#;0h1?qTM{*9Vr}5sCQm0R8YyvdbKgTv^tN zs=bOivr)??JMa)Wp^;Ih{X_ zf$jlYq?pNxkJhJ~ev$?6gb4<_FNO-G#xW^H!=0`%&~@OIE#TGn-~M@}`!jHMU#Z^B z4bu1b4G2JID7cw$vBgAv)&RPJ>co5a{V;HoAi^3QB2gD^)E4X+0P}xKa^5!X zq68bGT(-k;$~bJ}e2s5m@onSz&7`h)&AqOHrJ*X>)KeidS|Zbrv3E3gby`~?Q&Z7G zD^@YGzaOx#LhBIm8ZLM6#3z-Hx9aJ8?z^0J_VsI{VaS6RzLxnmzV^`+vnKL$F&RV@ z@Mg>+k&BS(L)sj(5$PLqVcv*Z3#xmzW?j7z+m?p>N|52Z^8kY-|I^FQ4g0K0$Z-6&!@8@#WQVDj} z$ltVsF!zMAl5uWgTF*w$A(Co-hv-R=s`Loy|2$DQR|O3jsLqPG9EwIzex?@?k|8it zU4_m3aZHx#fUH~k;3*r1svIj%e+VDnogJe0JmDcyqM46QPtL~CXTzF3cJE$YNo+8m z*A7fPWZF18zFV_S$nuzLY1ic+|0YMwu5t>{BaAdI3^gJmnRXg; zzDe%WSTE1%9t*kqro*pQbn9K}bGAmz+VcEwIjLY=qP;7Glx24lokDOP&#H%})X=^S z_{?xG@zft#o_oah*G>fO*91be`W!xl?K-sbM9=h4JMHjC9+edZUlzwabP< zmov#bCo9s#W&6Amx6Q|Of7moqhGGMWr+5f)T8Tctr#>yYZ@UZwD)|Ea!q{xr4FW-uQ_R9uQ8QST&5_y zOWDiWTdsCc5;ZPiqUGfFgI`b@!MNs80T(sDv0HqMjXYR{wJ8dE^1WWFP|~1!%bA_9|BR86MM2CkYy~nE z-Fv>C6w*{q06W4v^`Mce+WXal>OkaZz5vacWyG-RXydQdz$N+CVLp4P>XD6mI#N zo%`YzVs&PuW?#q4V|Zj1N?sHhFsV#`ZP&QAddu6-;g#w}Cw&bXJ-{;o35$eHzOKS! zYSYA0&rv(}L;D9x<@zZu<|SYkq-k`6PZy;%n4rh=*kkqkNgo6P0p(X*pKtCQ;TLKGAztEl9Af3wz@Z)-$8mOhV*7IHcE^{#mw^LHSW z2Kd-s6t%wTyiMV>Ta7mzYuTnv1yW2;d1p``2-9iP?qBNlz{fmDvjIKGSaiTX3fqoZ zYj)1qlxvgNt;Fq2hILk#wzoz2BamDDMwwf^9%^l`PYJgxHl7haz&7_E>O4m$wVI%5bF51+WWnVuA-SGbitGBI0 zsz40z$o(yT6c=-Qx@>DMr=}N2^vFBfR(2Vzvu)|=w>spf99_v@4bx?;p%X&y0ox}p zGQ>_LyfwdyH0$rE>()iiQgEXUdL`jBM4Wax8-H$%D2Dj4?^fxoBnF2FYg1wbm4nSJ zn&-D$d>7T)TB?^Fl)|2=;mx{}42KyEhre}?E?hDN{xw33v$DFwN_AvrK>KA{EmEv` z2S5FA`AlO_zFQzpp_wr2g+k7VFnmty5JeVouv&Jn{z!4p(K>NLe0cqU?(D?iVU41l z`vJ}KjIxH2M7zkU=tFf%IBaweA~sruxWD&e@5k2EdRDKv$LA;_0a4D?+m;o&QpeDU zMy2F|o3+(us1FOwqs2naS})QX%8;AmwsXb>P0HhZ(LnK~vBOvnL~~U$m!L{+UGW1M z3Q9FR!Lns&?ei-u?Xp0AG^9!azg%Cq+rQEh-8I;xs>kdv6C2wj?#Rvm)o+bXzY=*d zi_7?`RJ6KRcB_%F&f3@P$Y|RCYUfI$n!2{|Rr(yNNWqFvS)xb~K_~$fiUMJ&U_+RR zQV>N%f&?K#7$ksDiy&ByMTRg_AOsA80ud==alpt7K?D?}42jGT!Vm`EIiX_zwClY; zUF)r7{$$;|&pl_KefHjG?{n|BTkx&Vw-(M4*lDA)>=ZYZITtfQWjpuYX(N~Mh(vE9 z`^B|BQ!867TxFnjgN$l}=Sg*Ps0jR%|>U-;O_#)$v=`mS>A=Gsk_dV1?eiu_;M zlJAaO6}HYd&2Jxgq5gKG^(HDyq4BM+^_c%;^WufY1Y6?k2b*QIRGx&X#+~`lbJw3A zu)%li;YAQh_@u5?F{azy_bu|?Ni?QgMI4hx(tKe^2qqkV(A8>-PX8VMxCZtTqg=Zb zbNSNPua}Ee+GYH7`5$Usw7cc0$#VvIZ(NrBqTSe-#!jUp%aap}^9AJ^>DHu$_Vsg9T`W@a4xW|XQDO;h#X{sh2RX~l<}Ga8c;^GUjztpvfedt*cGhpQTXi|=GgE)AX_ zPduK_z()-Q^Ep<1Q%j`4qD^b)+BIFR6#rZxdk-M{nRs=>%Ja`f0a);Jyjp@FSm!e5 zv3+-uq5k}jOmf4C?x8lnkgMlG$Q3IFP{&KJ-$@Ksa|zt)mOdoybQukXa|V(G2n{HQ zt?1#1!7cJ_CE+$M*m$zt-N9c-0~*!>;aNH?bhaBy{BT&y^Y^DM$9R6A%#%H314msH zHLh`<<~7s9n@HfWHcob}k7(mMS0!mLO?nxv6pwa1`rgrkTXq284iQ8Y@qsT?iweY3s?eingZ#jENtV4@f5I&mT zqBF*@;bzC8;_n75_sHoC#8bItTYcG6F{l{19S=`!-)mLuLGmCpf;3)=nXM)oQE=a} zBv*@2;-6aA5NvbNOQw@%avIb9UzNhXjU;L?flk^u_ku7~S!+ zz!wy+9KliF6xDln6wF82`_$aE9e8(uJpaQnFMbJQFqgSZ3t#TKBPlaV6RQZcpXoY( zMH#CRV0X2>SJe(Fd@TiTSQ<(QsQ2DEh;^DToHxMMToH zxu*SC@C7BPMk+>q3B!csMR~s-?LI-RUCOfCvT)=^ZsAOUUJG+)`_8)p<=|S?V9GCV zo&9f?$_nM7njq2{8t1ttuU*aZ^aUJyetV7P=x>SqANv#sDw_NF59Q>HA^X55c zYq`aYKz;6_uv>SAv(ur3g8+*$BLw^|4wN%^471@XE z4F$gBQ&M&m28^I|l4z=bLA;UG0&4|@q-Z(6j0QQ{VNr~I&cGF9aiJTxf-H^~YRs~` zA1nKX_o+X*Ltxj)(hc%|VYGj1(f4G z0uQd6@;6v>l8ossjz1;zEIQca;GaTa@=k;*5skV=7-L!Vp~Yf33#gOzAp0d&M;Ya4 zx%X5~_~$?YcFLPr+M65ZX#EcDcv=Fa;=eGqciX;zior6crDx|Q@yeKk7%rq+1gtLA z{;Yh0W;}$=BP=Xv)~&xinhYy27>vSv6X42L*D>;HFAG(Ra!r`^H16nyG`+MO@Kv#9 z*uD}?Y;9Si%{Siy03ed)vcY#rYhpagqFT<+B?b11BxLVKEs|DH+$g|G$TE(Wo`qMwp9AiiyT`Fy zdh?lhWrAqB7&#M5vh)^QvbZT&r6)Ha7aVCt41+NJ^pc_{v{#`7ShS{Abu6rT5z?s$ zUYAma-dL=hAuRofHuNm_toFhIusM=8v+>i+NOiG9r&o|Aj+SHOd5WenOOgQ_`F?72 z+~HHBeU6d(Hp)^Fum_9N;INR#?69JbK?nD}E}*r=;pU_XSm=2;(yQhrG+}pGxz_=h zG2l(kq*;+D_i-GpRWUaY6I~zSWeVZarh&fBo*bTJysCj(A{LJ}%xAJdA4DH}aBZO$ zszfnW{igRcO(6(g-v)FZ=^>*Mzyc9u-CFRp^>87*b2`owj9Fy>&hYz$PoyfY+qS^| zg3LcUfJoW4-7YwmIt2A2!dSE+^?jq|y;~5~j|7Rf2IwXtW!1kTthNe6Ka-NlmUKz; zfP-Ph_gk$ytAkOfXv1R8v1p>a8Pu8a zKhBGe($Z^(KFNW*(b^kZUK3C00jMv8hpqnl%qbF>7-!fQjAcLqZ}N*M_SMDcm8Iow zu=bApcj2A|$VhAw+K|zXd z4c01A`&m~+w(6a_%K50q>3jT@1ss#iy0Z0WdcX*Pq9eSWj*-6cs%?j6pe($T(a+YZ z^bYHB6ujSX6D)O<512oDC=> z4^ri0Cj{k>6oT9rf;_39Yzx8>b0mh)Fy2LR+A0c6ad+yI-(}^01{x4TIj7Wvpo2%g z$2ahJhbay=yXED;6Csp6CIa%V`YKoIMDwh!5$K~y-;s#$hD`QrGK48Luu5&W32mrG zImWnH%;*rIfBIjdp;Qt+iV%-!>o!S>MFrF?T#WboUG1!g#G|*p1DTB3jGU4 z(T;QXT+c{p>9U_;Z=1K+dmk_2{)Sqwprgtz{gMie$5`FzUh2J5%+ZSBE^+KPrc(>3 zM7obw!!OvY$=Yh$n02MQC^hM_89T5u*aBSC5;rIXb!+n9z!WST>S#L+mhbl8Ksgu} z_}gVX-{Bgx{&8Wg_|5COas4SM47LCt<;d6fHEprF4BbIfyYk6abs=kp(C~*r7 zbXp$%f?C0aYY?K%&kGcLx+s@n#vk*RR)t?RNvpE1?x+;W(gv3M~6}V$ix8VXf-vPh> q<;dipNw8LAH=$tZttu148wQ