From 3afa3e7e87ec2e3f2747866ad950db1ad88c6f5d Mon Sep 17 00:00:00 2001 From: Alexandre Date: Sun, 19 May 2024 23:16:03 +0200 Subject: [PATCH] Some changes regarding diplay functions --- a.out | Bin 42298 -> 264723 bytes pretty_printing.cmi | Bin 1944 -> 2464 bytes pretty_printing.cmo | Bin 10130 -> 12790 bytes pretty_printing.ml | 55 ++++++++++++++++++++++++++++++++++++-------- 4 files changed, 46 insertions(+), 9 deletions(-) diff --git a/a.out b/a.out index 9e1ca7db9a8fe97324df6d3fa887edb5cdd4b414..a4343015c6e0e8f7be6718c8e0d20f19611731e2 100755 GIT binary patch literal 264723 zcmeF)3Ap7&c_)6PQErQIA&B4teQ$RIy#x>t7a|ZobOy(aoG0S8UC!0>pqKR2F+n8jG#zgslKd0;M6y>>FcVm)yrXIgm zy;X0$d)4oEPTzZ3KYzjtpZ~lQo^i!BCtSPZ(yOm}-V3j}^Ais^;DApbnEy+AN^pk* z?smZ4(|>bt-(X{KeDJ_v5}Xs97hDir9=ss9KDa4(ZSbaGM{rzlhd|pF+&MTYm=Def zG(1i9Odk7}%bX@QtLHaI`n z5j-cjA^48qjlmBF|2dddQ|zy}FJ#=;XT@CnX7QE0<@l;jm*cZ8mdo)~y)MUBHM<;N z)$MY8RlCL4*RC9kk@^+Kv3}XCRsGtFe_J5;_SatX(AP3wH2l`aoK-!SZHw_$O)tks z$4YWhwY{9Ys&9O=>-)$9?wz&1woeazZg6q%{NU!`Ey0fkKO6jF@LR!Wf-eLL{LaB) z!F+Ih@Sxxk!IOfEgR6r4@9WO&te6tHk{Fb{ior_iqRvFs#Y*;&&z{`X+O_^OEq2Wr_n{iA}*gIm*_iTebe$vXnMp!2d|v95Kl`f&R0B{^US^c%XkQw0n#^dTt5LzM{Xs@n>op6L*30 z>uk-n-hMRS^>{qLtZVXbEdOdl{(m(=9AhZ{_G;S$c8Kd@_jH!_~Qm0-sYK6wqO9eZW^^ zJZgWwjgLxieq+Fw%YxdQ;gk=5&GFk_Hj6(yy{SMCX6+s?%x7J>^)*N4)U3tGG z_*&qcm2K{Hbj9n?jM>AMYl4zfcfllc8Xe@8&feZR3~6E_Z`##C@!E@C%(l`mAERDz zcTU7)Yk*h#_V}-7lk-+djPkTF}HkVM4(0;y17ygb&t&wh z3(CjEWRfqwHwT*7nk!ljpevs0vV6ZjV|Bt`wMaL;?o;;ICq@N%-Vm^f&E?nrw82?f z%7#m_uFk}^Vk2&+1{F7TJ+7%ea%-(@7dtsoH)3~j@Ul#Z_krp8ZtbGrn=z)9?(zQk zYS!Ez-oxokM9r{s}cSz zm!CT}8^mC5ZCI*KeJ`+_4R@MhL#C$j6Hh+MPu2D%8JFFC?D{=y8uyeQdo<^1ok806 zK<#V`)&^q@^!4KGIjea2X5UK#^2AY|)sGgqJRQCTIEEgQ_9+9uctj<-wDKg9CS>dG{V(&xVSVIdaaAKWuT|o*3At-4r|| z;ETNB(RKyj5|C5(1e@4faeGC^5xeIzW9h8ACChndQ{@)V$6IbIr(&q)`gs0v==~Yb zBO^~7ZVamC#O>YzJFHzAXT+4v*4W*zJt;IBt%++d=YAc%qZ{KrD(L0Vfwp$^utta6 zTo#o4QQo?&^)(T4YPV-0ne##IMK5%8hI^j5__bFDw+8imU7ztNzvOMo+U7vswaT@a z)wuHR-O1c}f%TnT?-_V$pw`K9){4h7a4x9z45xDHU4`A32PvcJcU3RUxa`YtkALb) z>({RC=-wALRF2-7u^jdLtLDivUTp85uV8OjrhczUKS88ju)CYilRs&+c{$t=h*iG_ z?M_s?{{2jCZV9x%PHcMmv!QopUOsjO_PQq~!IuNHy3@;_o-RFm^y)*e>E~K6c4+a^ z%a5LZy}0(a{N!NU+Xniz1O2MdS475DL58=!I6WKd{-NX8fNviQ(DKyNn+949_v_-; z(_1^bxBblMSD)?;d-%R3b3M;}8;?7pc)phJ#(SPW8t6}i9_9W_=DcT?jCY6TchN6w zd+yiGJuP$eu%B((yT0--&r_ zRQ`RSm-#E9`RKV)a&BpJ$9Hqr5Bshi=w}S{BL@1E(0!ba3*Fm(ztHS(uF8%t|MTuS zajV#g-!+L{y6N}Y4@!^UdHB`v_d0&E?LVRM*!$+p_5R3Dxzt2sWsbH>~c zw7J8ZjH*X*`tG*IcJe(7Oa8YHYwW_~?3R7cZ9L`Qy2j(~DxOOkPx)6dp#R*qR&#v# z);3o$cem2p%iI#4KELZiAJX{LNBMAA=I_#Ive$<8EF%w3@qIOQq!u0$^fmE!naAtS z!b`?)v^n;uIr20RGWPV|Rd`wRm!RcRLx{ zTe62v`q(OtY+Tp+2c~x~Rs86)E)KnKyCSEjuN&xV2l|-*AA*kH6L@ zK`-Z5vfk4l9_aVC{SO=Vy>sAuQ{y`)eDs{#`p0yAujj_be_q!6`4_kOr?h=)ioB<` z-d&5XzWlHLTibf?FaERI{PxzL-TFtg{*kSJRO`#`$2FRr)+e@A8Y+jwElgq|Ebo0p!Gl9`k(E3xw<^iJU`A4 z@ zsK@?ZkNZmN^^i+fug9Hc-z3m_eZ~g`%jxpor}et{OIL3b8#O-jg^j%}lh7Kyb3yrB zeBOD;1m^UrUsw`XVQ%D;FS zdj}!E;=qPA!E(8nmG_cgcB?Tu@X}Yh7W3u6@bG8!rF3n}ni%#z;qCRICxOP7gM&V9 zvtq?Yt(Qv=d)dt^&$be)HtW(|kam8sUpJ+F~9S z0``(Q)+?EO9`%$>Svug4V$+)R^cLh_oO;{XKgQC&;<0}C44(3f9eB0`T3+97^ZxX| zL$A$zt^aYOds}}wpL=@x4+r{-1ARpEt@hCWz|4t9KljMYW$HH1*`I3q%bxFSbnV0c zl(z3K89T$`e`qk*dO1XkYu^{2IXJBK;)gyWaOc~nx$}+P`6mSK{3GH_AA7#Zj~Z1I zJA;=7;w}fXc(3i&Gn{_Te_MQF_iF-om^+_rb7aXm`W1nndnx%Lr*l8Iiv8=dXWYN8 z+kaHn>#WlUqitftKQVD0Mmkf|?;`J&o-fwfk6(=!o#7rI$xG>ZrB+Iw8a>ZtC$ze=skf6+S!`m}+*>p*{H_^#^D2Kx6xizE5; z{*Shv;WU0~qwY)g9~$7-i>DsX>4A04nKpJ`J}^+@?+LW>Z?W;Ld-9?%f2Qpfr&&Dx zT^p9$=y`Q$@fSy}-XoUF0p8wT^(9C?6ZP}ngXe=M2Wm#^*O$|0{bfPz_xw4e%{?i- zcx%q4n(BGotHoP7>$zcGTza|1Q~PTD;P4$DEEW^@RZ466yiq4*W9?^G>D?C{WY>OY zg+2T@HF$8K7Tl+0r`Wmgtov@EpFbwF=OsC(1tsTOGoB@<=YME;$UHsh&)@j(4gURh zXL!_xZ?UKSCwJ3|c1nM3cmLHC;a$SlpD8wN3DnJdBFlZ|x#3*RwccFu{D<)L`-`W} zFgec-Po2?{@7z2o^Sv+U4)pfWb*|}?ixUT)O#^+@K;L7a*ETw$zRvgF_R`zi_od;k z`a)=YbsrhSVXarcXtk;L4AURg`gQ5$^B#fbp1NnCuFeSDQ|ASmJO7`9;{tKe%zaac zn%fk5b6}nBUBM)fgB<~R;(l4cFO43J47F+B1%dYDKz*32_A@PkB!J{Ikon&p&xgd!Mze=PT7|pRW+7z1*7rQtSVr z^P7>)lak?+*IEZ2e!f{`0N>T%D;8EF&|IEO;dbF0*9B^{h#8IobI*Zn7zK`>K z&La;U4Y)&`r})FV(U+8{VA;% zAN^#hGKn z{R2&o_~O1~i~H@Jc{puKU-zIKx)+>t04^Gd;CmeQVo;ijCf0a*gZWW@p8`>|kTrYz*RZk2WS( zytW1MS@xQvo1TSWv{7D5hgg&jW1z!x*O(4+dmZAv5YS@`m5;^ZBJZVhO~$3O_lq9% zVt!e}Lx))PGTB-(jiF*?yp$j0iWl^L92;8Q%(A=JVc)1j%%S45ka6XtfFJB* zOWB96{Il)oK+NP-&pz>FJ6c@V1?(yR@QAhA>0`|n^;x!`o$*q(v%733)0ll?!e096 zoDcZqUch6HUCxEM(s@}Mv#H{PAM9UFha4=YV@G)C>vb5Hj(t6Y>~z+}a#n5AU3Wp% zO!;k(nt6CI#$8S-Ci~M~Hmug(iecINh-K{Ub9h*I(S4nWlUlqecvP@6@HuI3^V#d0 zRWqe;f9W_PwvIljeLnJQTj0$0KJE&w$*aBULhXvF`>4*xT*eO!jt}I?XWpuV-cNPA zw>H$7IU_Q(rEIC(_vfd#F4yv~ z*gIh#^ZE>^-qbdI>aW+^*ZRKbTCC1`U3HH88mF`T>GdyUp3Rd$E1n%~jCWSOFP7`x zj>@t6BBx{h*FN79XxoFjAIJN$;xr$gam^lgq z?39DPo|kMk_u-VHQ* z#GztyP{yT09_aD;lkDCWI@!A`(Cq7VT6?vHv|09*4)V*s-lu=h^bTp$ki$&uV28;E_yOg!<>HO7{`I|8zd z%XYSEY@HaS;UQ<_*<~?}Klbem)&^Sw&3DAk>^p zD}I+(ljk+TX`xN28Gi@TSdFmV-2Vx*e(o=KPu-@rtESvNYD?bWsKD78>r2hkZ{K1( z>SRaI*NX4mEN*pn`{xIpi=Ev*Pvf3CyZwC6Up|=|W5AAD z=d1NATK|&t>WtiL1N)6n4i*Ayz3=w&f2sAIStmoz#D@O$!6eY+#dOwdJ$)?3{T0Wazvt=qR{X}^UUDXZc3d#t!=78UkKLyQb;f<>G49Xv z{X=W!$leyvqesK6nAJIz*GZt!S9fsL+pPSKd*-rFjrH?=KFc3-qyOxvb-r0&?hfYj zLcq4(Z+rQ^)cVe>vs1o&wpkxc0!==wjrT9UtpWQE4Bnj|k}@9W|2*@Vp2}c{J^0rI z8}b8IugMQvdEb?f`GEc2v+%el?i8>=OpME)g^cC1*2+HnH1FbD0yY`rHx?WI*sDj& zLDA&%0spH4jZLL{Vj@kf?5odq#nb1QzxaBdkkfti@cEd4Y_?S`^z*leU$2fXt!!q? z#6;RR+An@p1{OI@haz|PC#IWb@dHTI8IiH?~Ro`qqKB#)x z(#CylY{;C}*T#50M<4$!oz11*z4)=z`p&G2wKK4{?`9v$dzSc)?`D6I`Akpcvtw(Z zW}M+8^ImqRe2?zgD7N!~n0nsgIVkYnQumdy`XFZ^aBgd@e}}Qxb9;SYET`%RKlyAd zT~Emv7d|{1K4bBKzV^oVte&^8SNnQiu_+(3ak z?|Wpf_m^+w5BtZwO){q)7xej}TO0HBiTHs}t}3?j<+H}De6eRSKjyQ>KA(T}bny#a zHm}W?&3yLG;S7}?^Y;oy8$aE}S}b6!DSJV^EcWv-{kg&?ep;Q8vU@U}-EH$R8LJyU zS1p+nAC0a25JPRW{dZ&gj?B|leC02hz?LK1xIYK>0KHWscE$TE-r6@hqE z-22*}75A`yo$Y=fkW94!%f(&p=;Q<2#I?WA*k1W3tGAz>;_99t!+Jj#a@kn_{xY$y z`Zyx8D(>=S+{c}6v^Z96u+^QZM$Fr{5KIEC;>=(2{QHkwXvYQW!)K~<1K-yiA82DP z?A5jg?1ldszwBpMpNIa87O#52!#-!^jzQI1@yG)|(0#7#t-RPjA4~#m%mts=+RMh* z+wJdH;$e^Y$?q(Cma{qA_I$>j%UB#A6^wBdBj<L6MD#VeiOdw->K_k zPxo=b7<=~K6lnYuqelm`VpKWG@&UiqawI>C

{tysv7D`NMXNeard5zQ+V*ANwoz zeJp4B_1JD-hI{t)e)-u8F&h2C&zFilU!2*BDZ3sQjCPTw^?T)W-23><&DuNqq#h=L zR=SOM27O)iK0PhJG>Kv72IA%2g~zI-J{ieeKx{>m%y2I|MH!jf6Tl2 zXy4V%zH$D#!KUwNd=|dK- zmhEl$mVtiKK;JOX-#gGhGSI&{&|ewoLsMYA{$mGv`#?Wqpsye3HxKmt2Kv7b^ydcp zp!_m%Z_j-O`sC1a$)9_qa{CYYe5ZyE4cy-~|Iy5wbM|WPd)nNl%vm!J&i+%|+U7Rr z{B3S?#b@sC^IgBa>@2zO&)is(3xn-v4)o>C7oUsC^Kb2C%h{2~r$gG>DXst3j^`8k z#q3e%O@oei4D`na`tzab)UL=cboX}fb$jOM(C!jguiiYmY;=Cn)f>ZMt)FlG`qs;# zbve^-YCU_<-_rUMTJITceqHNpzx^8~wu8 zzqs`;ZT)qvAN}?|a(Y9$>HX~4$^P>K_xIU>c53j1fDbnYVy|B0(D^Y2wej-6v%sCM z;dS1u*Lc>xmt}o#_Oas;6Q^(;1DsB?UH z=F|y(&2!vXov0CbcZ6WhAB1Z+|pP3Dh_CS#9>3gSNUXb?Lot6qj((`uvIg*zv3fS zU1N-cyoA1R(caG_v&w=Wfz2*0)v-i1|GwLIQzTW4ae>uJO zg8Fu+I^S$(kEWjLZ_nY=%xw$snJXVgSr2JEWG%*X+6s8Q50y=e$$97u9(tkjbaBSp z8=n}JtXX^yTOr@sE986l3i(#5cQHSl)3XA1$dg*nKRNqI(8r>;X^d09*2k%r@4VL? ze0#_r?SJ=Re;@nN{(fzx_U~``qy1vn$G^|@Xn()9Qv3H+zVqAXm;Gx4^L0NsXO-(Z zljC~Lm))aWb#r^jon^1PgT3z#%C6qt#qO3q4zujtSGoLmH~V{8zN3lQ8)I;<%z0k&?Ms22qU)XMjv4O=jtV^Y=L4gTgfB$=)gU9M8Jlf zf%jQ`uZv&n0=8}eMJ@Dz+PKSLPgEhhJY1<_7waSliZ;!vxKH7sv?Wj?45QAd^wraJ8 zUTkeO`+EP`QuU!WDo-^h)-@*=F@O5^1=nVb|GGf!lX+nvr{;aO>p%B6 z_}ZZ4(q$}fhX!*2f7b_-K(p_h01y5ev!~?v3@sjbzAa#1{rj}f>9t0`y3p?od=4G; z$s?cmSM^M;ed<(h@Q_(NCI9BkY5dSCj{JXl;4Zf2{xBxX{h_HHb}tINh6 znY%1_TEK=iLCJ6i?VEMh$kkpSl+ApCodNskaF*RY#ltVH_oIAdpC%{Q2fc4k30-z& zIQ5NOzRAbY0i9yuj*|Q8*EX6jY+4tvfArm4=~&8ldbQs7K40pa9a`__n6Ia1z4YO& ze38YMK89jbF|0WAr{q`N_It*-+b7m5wNGrnk@iL19)I|;lDbg0qmBGl$Lfe2=Uv`6 z1ad4l70bP?#|t83U-VWE>#S5B+1%SYEAK1Wb428fXZNzq9T(88(Q{sa@2EiBt_eJY z&Aa!UK{0by`n`3>o|JiYD~=V@@~wR8>(rT)6L)rv>rUF5IeY2za~#HeeObT`_OXLJ zI-OBAiP38Py}f-@b5K61M?WLPCpoUWVDyPEd@`@8G0$`{k*{L{vb0*m+pjH_hh5WM zyJfM1p1QZ}pAW>Feey3)HD~PKDKz^=8&+fAN^({CDZAufzO`Akr!LsVuf_aVZ+wG3 zFXPWbiRUaEdmUlfb5432#o@A`Y{56n-u+=?$&f=hgR(TasAuheWqT zXN>*r<%{^LCGsmbaxx#R)(`*AH`Y=4VZN^$vMVo(#o0ST*(RQHBZuBE)&*Mv&Hg`( zZfoBeJS543*SgO)_7{Ecfwr#M?-^M4 zp;{yxO^-U!ZVKiCdM*#ts&(`;+gR;h7L?vPPuFD5_?&<}%hjI0iQnhUp2`bbw*~b% zf`04n&5gmDK*KYh9s0>-OUbKTuu1-}58Mx*2rAENug~-P(CpA|4Dj88NE0VApB0GD zdjn0J*98@4e9qdG@p^I4_pj17wc&(Xn&9nYB=%N6_hu&wn^NH2dk1Y(Eh z8NtZIu2;47mB@I(A~MXc)DE>W%Z?qZkny}lWQd*S++7v$$@c={q8FDt1vdm07xgUH z&kgJmUp6kcuXO0umHq5mtqi)C+vmJFd-8Q;u##AZZDyRE1C8D8Ua`@O4L#yg{hEw# zXmjS5JJ(x>bDb?;_pJL;<~-}pu$V?BznpXV(ryUogSrpAhd49r*4XWw%el`Z2Lw`|JEKr!S^Y-?zyvo%P<`>#Van>a6z}I%mnSZ(O^!*=Jr2+2?HBH#jypI5<40 z=UIkRfBd&V*z}r!-{PR%7`XSvvT`W4WcD;$H2msnD9A1kjGECQ}gy2F9hc8vENu6*kSB*IT`+4t8&TSy|F{CMmxlIK3Itj{+l$jY+w)E z9B7{P9hOCBM+_=PVj;e@NA20ezKX9s`0Pe}d~gr$PaiIdyw&)?@6iYG>*LOEbyPlyDZ277`q0Pp;_!|3h!-7lQn(~z z&rY_8U)3c&Ajka~5!Z#FdN#?QGqJP58TbCB@j=Zw`&S2Suk(@Nbj&9A9ewUgJZvRz zIsULrbyP0t>FZ4l$aFs0&0cb^3&hL3#z%I8^KM?P$rJm;XD+Dt$P=*dn%0x6w#Bx_ zg;3E%c?rJcO}mYKCunISUw>jPp((;yr^>#_Gv7ZvWt%LNn9@poNY}U?cIV%^E_fh z(Z3j4EGjSk+K*;U{P42wnUIN2F}|Zv*}6fque3A3xA@ z1O0dTeFpY#ZT9owUc>JMJT!Esr}1puerjx3BIGcU0J znEiDAgLA#iT?75-fxh2B|8@RDb^ZSTHPG(~&6d)4b7*y5^vgoC$Jwd5i!#^e`Ml7F zbn6cf-Rs;m(0?`KcQa0CaV;G`J%i`$f#;U+sNdT2%Fyb%=!<8_c=90QobdFvZ=SK| zS;L;ghCN@*53`6-FXuy<>tpoZ&{Zqy>Sdw(7+u?Bd`oBl{o369y1BczIq$*c=Rs}G z`&Z3_~_fj)Jh?>o>34D_EQmwgO=d7%HxK!49bzhI!%MlbKFp`9Obn+vRY zM{&k_zU|?|qeiOl*H3Eebx(}@*R^$f>_4RS&OZ-}y1w7{8*QJu?&m++=1*+E zzpbCy*1a#W-@BCl{MKL4`r_Nx=!dob;jKTn^`)=+$G3U!U9;qtzNfWy@7wsE(fa4L z{spbScIe0T7q#`5wEo*$zpM4$707>O>tEga?`ZvNTL0axe_iX}(E9Hi`ZqWFEv))3C^nm}G_YXOEaKJb5es&6fQ~J$;cQ6o-g*Fyz^}0Q94y+v(xF6Mf&8uB-fAUQo zpuL0mjCoCZ@Qfn+q~O?qOgh~+J+F5hXHqj>6O^6aA%QKEHfCpUk2UqoPByXA`70e| z@6OEGcWH2H;C;Kd#a?#f$ICZ17k`G+xw)aoLvHD-eH90^J>sw-;Okuj_SPOWj5dnb zaRFO3WBV&UVnvR;y*v;L>kkZ$5A1WM@ZsU_8-teyc*VAK7#E+qExGoU?RfaIlzu!r z0=D)tN8LUP(S1gsjr=RMfeg0RXV+Q&uUHtA6CQf-YotM_vG=EjOA6nHU{cZ8}oN^=9XG_ z&(!*?dQkIE>1r(G^gHRkrr0;jmixB(sy%vE!na|CeCucM^**>0>)gAC>h7;O_iW9* zB4hW@&h%>o{MQBEYsmC{vNL1ebF05&eC}|kYzwS=t{7h%lw7)u6Usf$G`U(IOajfm za{@g0Ys{XKb6Cc5jiKzh7+e#`v3a)C^NlV2-tv2?TB|&eUt`aC@f61z*Sp2m%(0FAx7W|rmA|*QkMa)X z)0&JwnVj-Z9lSiK_YAQWBWLMOfjG;BHlDZ5nVS#f4u9PdBcJ+S2_Ic6;q&e}^3lPb zs@|AK9nL<@JGFmTznZ5Bu;R?0 zl3({;zlWW*XK(C#R`!1*?TflS{_tZZb#eI&8~Lq{)e$-F40+!Wh_BrAaS6F<7=qV*_W?{CGcmzhIB}Z4AgYhu#|4 zL;r_j|Bm!y-02|SKKJPrfw){0_&ih3?U2*hkw;F&?x>8#mJQyA%J0f;ozYqRWSiGU zzYfnFndKKBH2GtLMs~hp-IFtRlzwp+hcV8+8<00LQ)!k^$x_&M&ClBib`_BvN ztgg%0e)8o|O*;Em2I^b9HU*o5vPTWnvmC!xy!Jjj7@rM&ZIB6a1yv(ehiaCsy-gv% zj*m<+F22QVExGJp==gh^df$patY63fz|1`(I3Xy$6EhZ*Ede?H`=b0R+V5DL8v3e0 zUAT9wvG>1ct>nlo7yls{qw#5P44>!M)}VabnSWm_8qar!*0YtK zvP)bpX?l*&SbTfg56W6k9~#>Jve&rm{c8U0810Pc-7&THxwcmP?EFNVD?W3-(B_<9 zd(FMC&AA(E?uRnh+x2as#en=HT7U1x&&P*18RMF~oYZ9X@%oMyuhRE>?cc3?o_7p9 z9}AD1*PdHKi+9nloFU^U1{u!|&mrBON6pytkzvoN!=8JE7KdKW@3+4XShjpTv^*94 zgQ4wlw)O4+YvS{owzer_Yvyb1y0(Vjn)uY(m2C}e?OVFF^Rw3H@3evbTK>)69?vNI z)xm4qobzby{z2)wzO6Z*)=uiyu4-%et)1MhUC`F>TRWv&dt}yn8&7Y%#lxl(+nl?w z>|EdG+#fY}_>8$bwK?ay_`aCjvg5(s+@G|$hjeql)#gs?=04iyzO|cEU*tWsn|phk zJH4BGZJRrzn|pbin{;zmXHHD`en`;A=jmBsPh@1+9Nk>tEXX>so((dNBgcJ-#jA@6`c6-V$sI+z$sfxD(;x;GrobcaA$+ zP!LHv41ax>F zYTlLDSNbo?`0oNT>Bdh^FV}NmluO?z*Rx+->?ik!gNjGRt@mBcF9f9*ul*zM-uV5T z$QkXM<@czQ4{R)*cg>hhMT--9C9!{Q_(mJNBho=`k4rwhOKD8y#elPDRSEWBJ zpxZqAKA3s5Ses*$-{&eC&vP43?YT6xvx1lIy9aXX{mFdke0=zvp+koGvoh~|%mtb= z!XIbkd4V(XgA}K!pGyM%w5jRbrQO_^XZqC5WsQfO8d=W@Mp@=-ZZTOGG#;{wNBp63 zs{Ytm^u5|Td#ud|{rP%QXz^1|wMQ<<6wiJSzVYllKXZ%K#m=nxj8|uv%)U;H#qh#_ z?`oy|;)65qu2ToVmi2+Pimw>k+sCB#zA*Dk?Y(@)UUKMlw~l+Q)to!>nE~BmH`@K; z%oXn}yLYs`v+RD!GJBsfV=p=U7W0<{Vy>RG${~BM3!WNSKRB>&%%41!Ux#Nb){hO; zjd^;sUY9+^OMkCJJUyd&J@cV8buX4B_p*#Dx86HyUc6?_XL`?lPbR;dWp$6A{D;Kg zszWi*_@mzWA`YW`=U;3z=b>UqzPcUd^UvC1vdoJEJH|L1l{xY2?Jarc*(eUiWXNGJ z!*kHtsrZ-Ay$t^GX)Yi`j!q5uHVL!~f|?{`^raKe5sUC#mHD-So^1DybG3e&h6MOJ_9^WnChxnb>?9T8uxpj`M;fn+P zmyHhVR6ZGJBGTv}gI(K#LxSyrd_F9=GO(sr&I-)C2hGthUw*dVe9^ua>DS*h(60(j zPw_u**nd%IXQ0;44bA4F9~9dAPSIa$-$i6la$T zq4meK{EdxSP_GskY(CffyU})mThl z5tyTgP2#Ju%emD&2k@K2+sh6)l`}C&>-X&pEzea~`Olq9zoR`NbL6dW{e9AJ44mO! zcG<0#%5FA07Ko47o9BDMIa9OF zl{|>~GXwjc8`#7CYXh}-bfd{JFXra2X=D4vy`NV{>jLua7dvA*@Y-AF-u|Ay_|z4C za`D(>uRE#krLu!h_H78;$mVIgpAJA#OWSo() zMwUB-ZDeTM0{pd~|K{wa1MkHFo3tB(r1n3MqXPSSe@mY=`Qlrh zX>n7Z#X|fM z##Kk<&uF)J;TMm^?B*{XF&OQxyzq}K`qgXcGj_Jw;Y`W9S}J*RNaohSesS+VT%f{)&ct8v*!cG*YYmO##aBf2U^=EVE%nJb&gU}M=w-$(QC&_A}V@%d$e zbHiqBXTTmkTiIj}xz7yjd2XZWzc#>I{#EYq8UJlS_R#?uWZ`FD?a||37g#S|^;Uf9 zx%BkBJ2G!S9mON>d;n|a`5{Mqs@T@qC9m@8T;ew;e&vtYTYGh&u}kZD>_cB1utA>4 zF@I8UY`_NdBkysU<9pfG=bcQt#g83j6B+2zm*KQt={hD5zh2(6LbK-;K}zM;K9BA% zb-)HObw|$yz6W@DaB4vRB+xDh4h$BH(@mJt>K&+$le+2SgsZ;=Uw9MfrhmYF=apl`f194%OoNN#9;3vo2>x0rm20eJ}QE&a3 zUmv>kv3)Up=1ZSit2kG#=`Wjl{Z%*Op+4MWAm`S|JtNTYfHihs7x49z0B`N7vr%m%Yx7&-|AK6_>KBY;}ff&OUtNI@&tUmyO4TSBy3V zn*%m$@+%H{I*jYNApf2P^5T20;{$CzuzwdKO`Sg^pusezmuLKWty@Wow^<%R=`# z7-K5dtBL9F??p@xj}AWFH>fkMe^jt5(ByxA+xn>)wz^}~!E&{FRI{n<9qkwAg`jG8 zHMUoMtKGUM)R}Wt_wroE?&TYT{$5tc^={%^7pm^X@s|d_ozKPm9_?O@-{fkuYRb8* zx~uwHjo+`#{{7+itn)tl+}CA))>rG_O75h+IX_~&n2qv1`ZFsZm4m&tvG&U$)cvPs z)iIqZyCvTh?b{aEzPjH zB+zQF+U?(E@Bkah*dDkK=+hUk=R3M$b4AAdEI;_f_j=!PmiuSBy%iJs$oCAVbCz!N z{`kEO1_B<%R`#LC}m#PQ4 z_N5-|2lux35M%k27x5NTcDM&F4(c7soIK+9K5|Up9_EXfh=WG1Ijyggk}E#-?2v0U zV{L0twtXV!XiexV0(Q|=^-34MiodaT)9!9s`{v3fV>zU=YHO0QX1;2(d^%{la$9@; ztUXWI(&x2ov!}O*PJH~@6=-;zH+J!DMn(XsQPUUk}J^f|#+4-s5vVHWGALRFO8Eqt^Y^=LN?Uh|@6tm@Q`rpl_(GK=i z%*C)`PyYBm@$H#g?72ECSKgKQc(RZsJY5A;<{Uy*U0nV3EO*%j-RxBF&XF{wMN z!Vw;CLC zDPKDRHqHmVzgM*R<@{v}f9)?{<;xvmZEyW$oA&hJ3xOPyww z(4Ia0+>6?rJ!C#{*mJ@_uN`Q=&)LiSiGlVzn*I7i2l{iv&**)0pl=-L=Qet4vp3xV zSLJV;>dObe8`UB*==q8?AAY`^^a`* zqtl-ruupTRZ3-S7{DaO>JJ7tY+ z>|%%KA^Xg+!Q2>|((~4=@ehwyHrL)UHWdRt{CTjNz2ejRBriR!UgdZ(dn=DS!}HRh zY+cN^AL)3`&v

w!7ec!5M+}w16zW-8oQ?4+@SC#8#~6D_=e9@O!q{^ZGzLHTaG| zY~CA`%nbK@#%I&3Or)tPbyB(L*XA&!vGqei*;+Eo2KvR7jN*O%41UklHmfG+(dhW`px^slq05IlQ~1gK?r!ZrW!&$3ZD=w3p4PuEy&P=`H1GC3{ig%{ zo1yI&fBhSRp5NahlE<@xxj=4j4Auo|O+!xt>+F4FKo;Ifpj{AL9(Yn-mEJw9N53fj z3j+M?=J$V$UU!tSyUE?|u2fI%OELV(z#g>N+3T#mu-jWQdY_(^^`3s@K%XAEx5YaM z`SkFy^xS9IH#g9JSHsz~kNtX|^Y!c^$5|SGr{eAH9fdFU*;D(#)UeRw_>JUQ6k&y7zs`9I(K-%d|w*~ZSYft_M(?WmxhS^u7&8+?+N-pBp@-1unZ zSANIm#&2Y;?&AIV-1xr8RX4xbbgM&+ujbjb*mI*_bH+7y%%_5~l|N+e2x{!U`~IM6 z=MRRpH+5@o%~(A<^IFL;rt4R`Idb0|l-xQm^jrIZZtZ6?E?L&z5}X?R$JW!kHrNtq zD}5&XV0g)SThQ;XXF`7$|9W`pZmPS}*?xQOME3=|dl_#S?#dSr^s_^k9D6SeEf(&# zxqvU^KVsPTfPr2Jt-)8TCwK7MWBY3E;G+^uadaMz%UIor zP?K?_j_8%7**2-tWWGS+=pWY+&dAZFexA`a2lCzwh9CM`q=B zyo1+gt?sq`c?Z8EIh5D?Hr?r_t?pnpEp`X@YtFdlUi7=xWh;Nk9Pi*C%3RgX)-V*G z`|y@-ZMi%6=wa^Tok)A#jv zXDrUn4Lv^+l>hAPb@?8Stp2{950CrKy=dQ-z&-H2;hl9~`x)L|=2ZiIN$CFm^tVaK z9q;Rh4*NC_^u0pYeeKS%zi?Q_>~vrM&TwD*9TE2N!99O_zB3;c`D`lt>Upxz<~Owd znDnOy?AFB9*t_$40{8Yy15NDIy1(ZjSJwyp5koxg;DZBoU-u%t>U>S`z`!2wr}lhX zV2@Zux1H7N~Zfzo#2(nlFf!*cAbT~BiYY}Edlj@SChSDmAx5G?O@LZ0UdI?D>yay zFTo`Ea?s1le=6xVXXw{Mi%seJseyjoK>P3bsToa;u&F-RnLj-cbB$kj3e@6z1GV_h z6xgQpn*+Yd=~)3A`&z;)mw5Q~k$|0Yr{=9KC5PUAFL~l>ZZ&eshS8pPuToBLkG=cb z9&ucaU%fr{uGF5ePJbrHb7C%_^I@%bH^?E`mj~9>h@341;*Z`QIA7ZW_5AQav-ZfK z&RU;e>-NzrCrjzIz7oA>hfiCnUiQz@tKOg4O(kN|OgZ_jxFLYM``d$07_hy^Y z=5}{`@*;0_uB>?{{L!G^wKCk}A6fjZGc@Mz$gGh;=5>KwToKrJRB&+Mx#Yj;jL)%xs?mD%g%+2%Lnt<2Hvm0xwtyun;c96 zjgB#YVtaHz#+tx;%+8?R5$7{LG?)v-W?euA-DMY@WrMkdYx=i`$Xd!4HBj*rmx@ir zPYs!4w>W5W)5q@S(BjHo4Si`K-r7xpSl%n}d_N-4oPmo2`^@uEv;QGMzyHk8{Kdz2 zjocH1-bV3br&v^M>TKHA`xZushHK- zQG+F?Y#r@BHav19c1y{s*ompOTue%jIuW1JGs~WSz2Zl{Sd#-=1Fl z2-qvmwO1U#KDwS1SeN6o0=Xm4ntSHpfXzQ1l8Ud-mZ|-cU>~b<=-_y*+Leb9S-ukIDP?0Z=2=_vUx%b2Zr z*yb$G1^oVrU{{$5Icq|b zBZrz8h#6nWFlL)`#HVWmGR)zv`RbjC4MD}T@9 z<fjwsgYlHbft=tr7d~^2R z7c6%6@V_eXvj@ke7qhada{P)m-~02-%*ko_d$`hfqn`{yZ){h|&1?3=Fr{_Zt#=d-%( zeU_v0Sq<>PT%GaJcX=$|@yN;OKc3P5S-fK`D+jZ9XT>$HPVMY%$ka4ey$=;%d}`(W z!K_-@l=;np9KcHI?x(^xOID`4JnnnljsExbG^;NEZ>l@K_cb-EKGafQo8|v3-Z7R- z)g8HYp6WdBZQcFX$eL9vdsBBGSVUH)_tYJ~>RB%~-fuhy&E4jn$-zH9bNq5gxRd%j z!aY@Y#2qtsFRH)(ZXi>f>Q4G_#xDrO%-z%95od(1n7X5G2#S}@Z0q-g+;d;jTj!Zh zw*AX}x%)eBXP+NFQ(Q?DVntLg@0znsYQO z9`>vx9!tqsNle9OF&Rt6RjkH+ncDN*5QmB_A3ZZZ7%X>o!!nJxny+~GpN%ieJi98! z?8hrs6~_#xb~pog%MLd8_e99s=#qQqO7on1V!-wb1C9JEgXaWvo)c*1ofBvNnm}DV zDfqj*v+qd%z~HRF9>8CUw8Dr(QnGKC+$>h{?LZIneO(n~w7P+>D(E`EpKxY_TXGtcyj(l+7OsX4OM4 zi@xRL{LCV9=sPZO4vhJx7PPa2iX)mY;`F7!JfH04XTP`RGClRN=uM$F2l(OUKoe(8 zJk(;<@?6GZ@UubXEyJ(-?weh5M~_-BJz@l<$M=oB-ox8EU+BIzpucKU4Xg=jzdV!Y z9910b!Dr8tgR=R*Wjxv}#`fdy!Tw7FzVbmGl@I*sZKm5?*|fINvwZ07`TxQ<+QSyI z_zdi*nwFDe12${ovojd^tm7j~Ta2&d72i$acE(t>=m!mgVHO$##;jI4|4yAVbLES=#LEaTLyakneXxE2G1DyPaWv>1MR;B$bR;S z&y9`dk2x`VZGI1|Xgq(N-{azE?KwBJ`YQTvp?jJCoZr)O|J3>?Lig*x7`m7LQ=$79 zy`%BhU08OVJjhu)?E8n|_rE?h&>tJ<=Z3CamOswpXY#vX=1adG*kS#{Sx4Wq&56-M z=6W9v8|c6O^6ou{b$dRXxze+)&5Qq!Hr{)6yx-mCj_BsDYIFV#u3~*on{yY{+%cK! z<9+wgeLlaE-)-yZKM7s&;M=bc^an$GCY1ai3N0S|uim={m~-FYx5f^A`CYwwF<*Su zi`OiE_L}FrzV_d@(MPp@UF#QG&u085wBFr+I;oSJibZmOJ42w9Jc=O z)}Pb*b6fxD)<3rOk8k}GTK}ZP~?z}Zaxx!W5nL10x!TdjVyBH~*Il+TI6iQGCxLt9yr9nTi!y#i@ao`o!4CwZ+|iCR z!lRWP#UZb=o8RwoaK`)C zsxdL|=g0ULPe0%D%U$vG^F4phGtN8HZ1{ik|2E?wckX66T5cSc+dNk`gq{Q!1}_QT z82otP`TV)ypa@PyBw)}tp zj5IzwaNpH?iF?+)g;!soj~qW=Zm#I}%+Tk~*Y=0L?;7;ocsuKR=AiF_+gYFAb?M`I z^6jkeo`b$aZfAXeo$ow)|2`Xftk3;fFCQE9{mkvG@2!KrH!Pvg+1l6h_rgKnvzO4f z+`H3q=ildiI4bZyI3JuGECj3da)0Wp=fv{|Jy#6$#RL7M+sTdx4|+}*=#2w? zpGEB0l=|8n)U&n!Jozn|zbbf7@E5_RFzpQ975rJSF$dtX;KRY61>dwL-;)QI2U*_p z4soxH>kKZ||62C^UT|~py}>QPPXs>~_+G;IOTJ5TUMGQeL9iq6J`?rRwk`kfGfnS@ z?*kXpTld03cznMh7Ct-sTt=Vo!}#L6vmcKw^w7Z$dhprXe?IoPt>5=u+1JzGKhS3k z^f?3lgn@qgK#RAwEf{_0-%|d&6IbHJ*i}}A& z-~T>3sG(z4&BvvgzW>j`)=v%ew-5Ad2KxI3`t1Y#BcZkBe4pk2N_~HSbWpRH?`nNk z-d{J^`j&y-HqehA=%)k8XeRu=6ii#INo*NJlJ}_f&N%7$^N{5e4u}Kpg%j%e;ry| zjqm0EN`3!QbS&k2eGfYN{@a7Ce>l)L4fOX6^bZX54-fQ@hSs(RhXi8aeYStj^K~iI zb8tiW)b7^c#Nd=bUij@f&z3dm>GHiMU341P^M0f!S(^*URUf^)hc{nJ{^JMwf`NYK zKwleLoAo(}O{bt*+ zk@@=v^MP@FM`Q2KKn$%J%cb$5fjH{>_p5&1zB7aRo?Hxi+y8Q)zc|ph4)oeP+;;yr zht~Mkzf<`4@s&bsM&6~)mH4O~G4{Uuo58I2-AsR-T}##cxaJJVe?KpFT$cA+f}Va; z=%wtIi?Tbz{bHN%pUb}9mhZ@XPd|5{uM54Dt#WyL*t#xq+1uN8^+2ore*JL+{j|_a z+3tMYUbb%-YU{LyTsb3mRS3}CDwj_iM2miV(kx?So`!6YoA$UEz{HIh|I~I`$((%z50_gw=r-} zX*FN{xW4<@bma6dykGc_2~G$e8k`$k8oW68uHcry&y)O8@N0p(5c59`{x0~Zz`r%z zIXE&{2(|>L1P={7XLp20ZDlxZW!Fie=7auoIzP3Q@OWmq>+tG(d32dOCGbq*;~fKS zZ}-)+((~56MUKAo$`4=o;BKJX`a)o>=E|PA%xNo?yC%FPV}Ht3H@Ame@xDFe-f5L` zm&&(y=f&!zufdJs6Mv07`IPsS%&QkV%8sfRbCWQ&@b2K}f`1MkmcU&VydijZ@czKRNz5ITpQ{Z{YJEgZZQq%G5@_rU>ohjI z?YY|l_YS|aq~9CRvn>#_>ie@@@f+9WMw?9kf46O(J>->be;;Gnrr#Uvi*5E!0!`f5 zrfm<(7k9R?@2w6E76SfO9PpycAHKk0tuK0|{WoVHyPnu&q?_uZgADg^+0fg`Mo^oR z;K0_WoBC!=?Yh_0uGa7W_v&ZLX6i40rFVz$o4<1C`yykIWAR@f^f|U~ zR*v^J&wY-4$Dpx=4V4qM=H6T`-|R15J^xM*4r-XB*ThEd#~QdjW3xB$`9{UYT|No4 zf34W8Ha_2|*m(9$1SaiYGd8P<&o?SIo)Hs)N&DB1%}V3*jf%}&Vlok!w8dgm_gmd} z?(5Y)TlqZ;%RO`ZIN;UTvD#;=dwCLQ{2ZS-p5Nxk*28l5xOXLXOahJEdRMYv+}!PC z>R~yVo(+@0e!WKSTu?Udi(EEL0oc1@ z^W+7Z7%aB7TujD&dlMshnFQLb82v-$R|;_&dHGvstNN9mu{skGF}1DESmp2InO_aq z*Yod-ZDdUXP29@1eLes6nV{sVXLc?oSN)tE92*pG#pmYC?G5;5-@e4h{XGe^K0amJ zC7B1h^s7a0Tb)7ok29do^eZ_J^uw8f=gcI~*zDOsPuVQa1$%0|(!RHOyes8#x%;io zgYVfUfyU0t`%*P>O8C4hR-N?s>!!?a4h{@7{-V(2YhvpDWH&u%_89w)Zy^}ht<{~p z6i@Mqx42FMt?tN4#^mTVHi?(^uVt59PJ&r>&5CDzM|!X9@ecKf;IV<{oxk^RS@7)O zdBIDA8vB3s+hAyUHQ&-A^oiU%k7oH zB;dPVlS6i^!?~co=hz$nvVBqC|2?g3kFnwq$`<@VV>-Pp^vAOc3ms_zqDOewjxx@qgof&d!pStPo+Zh7bSmV|7`)XgpeZVBp z#Ba235(Nb|)_A4;zS?L1B+zEr=jTm(u(79?8}F-qYoc!wXtV75LIOO3jpN*6^uF5X zJWK*@mVLh*`(}ZSv*yRSeYNk7(K89OS@yj>_ALfBF1A+l`)c3#o!(q@l3Dl5OJd(r zVB=Ej`)Z%(_9W0|#qV*kZ#l4WF&_4L7WU7lk*<5Lzw`Rf%g)H*f%ghy`p8@E{;bbm zVm=8pKDuw&RXOnAvs(%1oyAAiV&4^*ci;2bb8lO~_VM$6AA`l#7K@29y4W7inZ?$Y zlE-HMMlv6G$92vY0ToXT?R#P9)qssX|GwJCuSuZIvhUHE z-y5*gzJ0Y%ElmP#mVFyDzqerHzS^f2CV^J=)xBk|&dnra=c&$>xT|aLw>}S8(@qWk zD7YxNG3fU@e@pE@qFe7}+vjr{9rU_)?hy2{(aY@#%c}PD@;wtr`92GAd3eywkIR9Qqc5x`)U_pl{`J(N$W=+ zGd-;f{%Ca12c>J0apjeL;!!e3{WWh-*;zU5^_r_V@(p%B_jdnGE;-iK+QWk<2UiEX zg0}=e8T?Z4$>5KIzX|>+_@+2sQXRk?cb?|~G52^r@bwF;%d#A2cHMk!iIn>cCoRS zLErs?mF_(|ymUM)a4(Qm&wujC18d-2#q-Kq_3W~TUFsGeyH+Cm=*EA0$X<6l%AUWS zWXnb6Tzu6;_2O(S&dwdaG5_v|_k9yP>$onL)E{C;euFdte zIqq4r$R4#wzr9t1d=_(b#mAYTZ%g1j{6hXVh4Uyj?CIt7y4h@>y7sf9_S^IJwx2Bf z`?yp*@E#QGYP`nF@$MXW`9&W2yGYkv7?MX$@#x(Xb#GLR*!rN@ zf_G=*seGARt*j%KkoADb`{TfUEoYNJyC7h@+*tc;AQqEA&EREw#b8Uu?EZ)RT?o0Y z-0-<-Va(0%HD3GZs<_}Ad4FNxB^Qr9Vgl*~d=I)IAlJDpKk(bfX8S6(>eYVp?oDup z<&7M^Sod7p9IOe*l;iQc`;D2~8nEFZ!I{A${(tuF1YXaxEEhe^YMaD%ZxzxsMImdg z%tNQNq=49bVI?gsU=`a^T1bJFlC-2PQsz=hNo?RyMXRz!*?=P)9JezLpvZALifjel z&TfB-qT2yQMBSQm{lC0-eDeBzYkf&mME7}qz52}eaNYOwyzlzfkl>oYv+y~=-r$9S zckNdPi(f)E^vptTb&iCXO%quQ1`B^J<0m_ zoZ$LzKEd^GJi+xZIl=YMIl=W;oZ$Kkd+T?F*M<0B)my(i>-*0-cO7__dSu|4r~Rm4 zHXvVI&3R_3J?E?5miCswo$_bhdy@G{;{7Y#`bqQSM^AA5w>0ZL6aOd}^-MJP(J^y% zzw!s{|Kk9UgMhE~eD?iF=K~kD&%F#db-&`b__o)XUlW+e!ys@k>XTDz>#i*MnL19U z_2Q#GS-JEprMq&0?mMQnR(MXGz9@{JxL! z{Z#tLer1#{W34{@;_abuiU)se_Qwc(rxm@}l^ZU-B5A=LAae#7_Fv{pVAg zKdnw{>s>`#>GLx#ABrn{yrQ#PTd}7&DjxVpcGa!DW%ok-@N-9}M|)GSIS?D*mvJ>a zJSWx!^ckbCeKt8mH77?0fpcLkj@A0^4)de*mCTvUmyX&;H+%SROuKB-XJhGS%OEKI z^jX6W`puXAC22#+J=MO_rO;pYwK~cdb@|U%eS2%qVx00#Y2_@$qje?wp>R1WmL>P$ z@RL4;{p1%REVU#_8aj?_C$ic!o*t#@2U!IDh<5KdrNa?IpYJ)&BEf zl$@3qGS2Jd$*WeLesNT>p+~#*q4lZHU28jCf7spY_TZ5G_PMt)eKEtG&j%Fy=wna+ z88ym3JX!lay=T>8aV}e1e(-%yCr8|sQO~^A#Du&`O=`L8 zo^V#z2KcgmQ?NNOkJ~z1#WNe(-sbwY^zmiCf5!s<+MYYsiS-~L({qR~f0lI{QsemC zfF0`sd*r*=mVMUQJ8nEv!yMpO`AI)r`o8!6y2do;JVgj&^39 zC3o$Xz*+kK?s*~KCb={E=W)_~>mt9_F2+ak>1?x#U7p`lLHSi{s`f0Zb5zeE>-~Ew z`r?7ZlaaBfC&TCOe-do(WDZg*HwA3n9ZVXpQCzIa{`Sr*-pbcDkH)Pf*E)OZp4p#v zz4M4aTi3)ly1Xx}4NmXcDu+~Gn>Am@1633U}vyCVACi$?R~bQTT?n(x$c*b1%27APF$6) zG>@~_88vS`S$`TBYwavqwU#U~>DyiRSjk(GHMkL%GrIMBsQaPTkyH9EPuqI&Tugqu zFUyb9(~pbT&|5z6$^O2t<9w@oaWNT#$SfI?;N5^s&jow8 z2Y(rm;Y@qJ)2%!hv}eTFVs`R{&PN7prGu@bY-2;;Hv5g2PkfZm?EI^4yzC@j>Dwuf z_)C_r?fGO+`LZN!FkhUIRXJ+h`%dlU51DMbCfE}^D+72s7_1BYEWV;Y2yi?V$n|>z z`?cNc?D4+RpQjTaxT^T8#U5IlTKVjpbWd@>9>7!CcOrb@6Nfl?YA_R!r+-z@=ji5) zv3Wia&jQ=m24XG-dxM%QyY&0(&dZp%w0X^@8n5$_p&_TOJ>>csBHTU@$WePA74YHO z;JQHZOt1H4F$TU?dsKaXH~)lY-R`v6#$I`VC$+fYv3!*u>jHeV_FSC4{bDrfe(U*o zBJ0KIMAnPhiL96Re81LPVCe;TN~I%{-$7aAf{ly`)?{( z72MGE<=5(f9p>cDp1>J5r|Hx(BxgR@5h(kE6KV73%0PWZ zSI?#15|I51UH;O~Mmbz}t{RVO_eNXSSt9o-LCN2mHjc>K6xsL&Jj%!6cxrqa=c}<- z1~?T1W901)W&(Da!ymr1R|fKOSJyX=Cuh#MIMC^9sJ{*l1m_3*19#vPg6Y6s`>emE zYqPC%wX)f^H()axak(d`d;Dx#&${F?&gO$j>@0s;d+i%#=ffeBKc9FQY_0oYu`~4K=$2>VBVPwW zo397czaVh7l;UQ8*OuqT7ORVAb(;_R&YJvN8|a@Cu-h2fCsVgN>~C}KQR#0AHV6C` zSH8PjoC&_J3FJWk-0jGiV!e4a`D!++mv(hMKWd(Q{?xkD({|7En=H9pc3I;t!Rsr7 z{@uq8akCCe?zq~SuX~M7d~6BW_THQwdf5Jj!JeRhU$IZA`|2raPX%P+%zdU-+;N+O z;z}%jEjq|>&hY}P13Xu)y*J>)V)?YtJbmI?aw_)pdoGB-d3U;)w0(QrJC_GIcdzoZ zWb*gAz&(b`ud_cy!fM0yIUmR*}?U(0b^LIhJr`FA7oWA|R zAW+C8TRzpgzPwLmZXtQMW_}PTeR+JMvmNJ?e3%LNVvX{`U=VmW*byijgVTnsqhl-6 z?$3>rSAH%ekLXeID$m&1#z-6$cJm3}e;*tOZVuXftov5X#D<;xk&jBnqt!o^@zx)_ z%kA~SVso3aW^;fqaR0UcUJX5Dmkrj;1^ly?eDHO|>VTcQ0)Ft94@zq<-*E5`fgCE{ zS{~MB+`45!$)vL{r{*Tn_m9~>i9WXd?*NYr*~YiU_;XHhHi|#bA@<9)z8~%{<@?2?{_6Mhazn=GC_Am03+yZ38b z6xqMi>AEEC7OkF7CXw~s@$IDng`$y?>7ufHaFlwG1WO^5$3EWH8I|usL2kcWkA8roJ+h=|dcqX`8 z*fIz_*IVC0-_SRC$4ZN$AbS5K(_wyZ51+>d1g-xacP!oI~g^?f~m9_POpD`HR9 zO#xZBjeRAH~$zlJNKx|(2zmGm&?X9urbYpyB zqk0ry{Fo0a*T}$`d{gEEV+VCotn=B2cY*5yu>+rT+vD>AT(Fgm?5_LCSWbSdre(MJTzsZ^8E|9C%IYV~`?9?Y~XTaW;mwG;a zM;ut4IeAFmbWpZd?pMF^t@`qle7by|P&Ga_1k(XM#`}Et<5x1-NhW^mt7k;2!8x1O1aZhvd~c ztUG}nOM^-Hp;wW2?0Hb z+aH;$yLDtw2V}b&+3j4qBmADAzOywQIP3P`knytVaQbrUw}TqHKkYk%%bRugrvJ71 zT919t4EPDR1h)q4;UgKIJ7ve7wA~N;Q?s$|$LbrK392vO^^JdiKyS7m>+@wpFdfvn z;&=I9>#ZAicUPYG@9xUS;-7zQtm)YiC}PYmeDYl>AL`z!zBuv;ClBTB_FmWO@88{W zzqRXw>9g%WT3q=3nG_d!xKLc=NgJ0}q`xc>mqWqRg8870m0TNlhU#vs{HnaIK3($7 znee`IZ@`A?k2*u`eOv1nIzyG?{WDbOyUviDJ(*b5nJJ&hI2C8evtXfE;ZhuMEJo7- z-rQ+;$rU*Kd7sPDc9u^MvEqcQY5hR|@xcuNe!e9jOI+rH8h5`K7i;V2q#JjhJ!eEV z-StfL^`gF-zVn0WfKGDEjgrsyQS#3`LHW2DCEwS!qvS6=LHYb|<$Jc`VOb}~^Ppn4 zC++%oZ~MG0KS8~o2cz_URwu_f9i>;?#Os`Zoqi`@48$KFa^IbNb8u}i6^PTM@f2rr zYTvj#IXiki!|AE~sCrbMIHRqhfNtxJ*JmVrmeccrxqf{8dkFlSgvTr!ehw>6n*#6T**=6j#n(0!D>3}f zncSFqNuc21(m=koKby2O{pSP#ogb6f zxj*a2+4jU*D zJ)T<&&5t^p@@)`IYQrcQd~wf=ld~jqIB$I!CFg}>WRN|n4ELAVT0aQ-evwu8u{F;M zaDY?Kr}kcUPA>@DeeNfF?r?BhIh5w1N}9DXUnp{ zef*lhSsEpiJ=WYAl+4=Om+c*+WXq3!9Dc8NU$^%^ne;dd{dMG;8w85AWV0EUia03O z26A07<_>B1+goeh2{@>`=Ek%)2J#(W6%V>AR_+_~Y#(K-GyAzwO6R2Z@umE0?PCl3 zlm~;#B|gmu`vW}7tKSO5O6=KsU0@DB;>4Fdfjl~pS`NJ`SSapo9`TjD*}!wDFVooJ z;G%#X%KgC;1N+2ht>ipr1&np7<=EqouU#p34opE-q z3FN4??BVCmK+(3Bf9A*nMeSXmUOqb$*9Ln7W9~8iOS?W9`db6#U?6YA)cTs=m^Odd z#;(3U;=7nX`?H2ktuN&DeIZL(5m;XwmM<4~V`bZ@{IjQg;IqAaaJP)Q8=N<~6gg9C zoIf1b{ZTSYw|Htl7lo>9hdN5@Q{=v%iZsCOi}4;2@_;BZ4%PpZfBr`5y9R?oro<+mJF^qnR9 zl)fF8WUOr9OWEgKP6hh{^7te!bQhsmYt|=IyPR z+s7XJyq}TfZ`{tOZgae3hzDOf_nG=S$@qj@AU` z=obUUx`9Rt|JXHYyyYx;3i)DH{2WSqI$-Z<0l&(}ZE4FboGA3Nr}S#qo{Eo{8lz`z zFcT>Hvq9;_13mujF6{>bX8;fMIhTV#p_kl!!9@WsygMBT?DgLJqTr6eIeT)z4{#Ro zi!Yy7v~y*X^LcdDhVF94LnZcP<~61h^?XTRY6rTXwLu){U~qTt7B!vyZNoX|$Y>fj73vB{uhY zW4qkO>#l&jxvsvws|TqSF(=2@BlXL$OM{Xp4(G+0e*WXZUVJO;eQxlAfL+BsJ;jlG&78f(uX(AIFal$IfG$GsW?; zX00`~u42fSvT;;=aUnlP?G;1v6}sQmJfo)5$8nn*ThdqL;7kYSZc^COUps2dnn}j3 zY3=i@sQ!G~xIZn}+qBahp0@+3eT}5Z-#Y_&so-MN&!>?uFH5!`WDWx5ra+Et4$cV3xjtAKOa-@H4j=JlPAwl9`#-x+KB2*$y%T; z`PRr=Hv$)q7_;t@X8f|W`L!%4PFl{LulZ)~1x?#N`Ct3=-D7PZPt~84Be}1%9LcLm zA=mnAM~zt{|N3k7+x0us_ippKfn4DSU&rOCJZ?FpqwSM5N?x0{?RqgAwSH;Fi`#a6 zUp~2Pb`JJ;wKjO}t_{RV?AYpONt}oO)Zx<9=B;yH#Juh{>y6>%(Lrlx>Fw(rr}r_@ zdmu8VgN1aD(oz1jx<>i-*a>_qf5!3H>L|UVbgiC17yhQRZhPuUo+X}hW#2hzv(f#B zf8%=t&oj@*)d87w%tS|VE4FY+Fdf*}J_EIvb>k)XmTrx>yASL?99$Kw4djRW?;D%< z5YH!h*XE|L7ZqolUXaJ^6!X17*+Ng*@`A2Sp0h`vxwv(l{3msDY}*}p7c1L-th24J zTb_zz`N)peW_>!@N@v-??ol?hF>*)He<-*jC|UTm7mw|H$yS@UPW)!atQ)Zh2mXB{I>}of@XfgQr2cr>m8oHlm@k_)HuA-kFYWqthv$i{%3Oe(HYeD= zH{fgWvL$WfewN01efobrefq2aOXJItSj~zMkH^HTUdgREC;OzVZT64jQ|8?ZZ>w+izdF=bkBS(JhZ;u>V zoqyo_`+^UA>d29A$OrB#|1tZ5mj}NVoSxsI{qtbsKOH&pjNp&*+38E-AKRvb=L9~l z-k+Keo*iPkCa74n`N7uN0I$0Oe2R)Lt6l4iln>^V`vP~V_$u1gnZGp{1PUAZZJh0cK&f%&;BJ{+q1}+=kmIs&j~x^0>4^2`f}>rw04mF_T;i$dmtc- z4Ro-f+GT^hVu$>uvyIKU=`Uu3+;8*gs$r>fZaq0$0($=>{29Z|)}ZWp zMaKP2ogWS6yZM>ae6rq|o$cECo@s1%hw#7uOtZ$BYh~z@L1v$OI&mduo)uWjH}^GN z`gE!Ly7>AB!HoeKD*`&^0&6b_#Gg%-b7Dv*na0^^?^J-p2LsO?oS82_t*br8Ulmjw z`trnOYlQJZ%$}FFwc=~;{1I~(c5{9{y}xgDH|O(<{@gj;+(jei*h!z?*J$@$moa&; zH{d(JZt2?Ay`XE072m88>%O1G+rG@nb=;FX2o!lKf0TOu$pg7AKJN=++AszcFMYXy ze`PK>ppl8%qdODONA8xudf%61^Zr0B|2G6;-rfP}4sElC?Q+XnGI0iv4fw=fg&uZI z>7=mbvVgs1OPxLT(o2r>PLK7^4-_)Z-5Qj=Y9eEGpd7Ql?aMKR|6)+<>9@Y$7k_hfska5|0^IElikCEx zy(h61uUi9qaOnHneC7X4fHVG^BZEAA`8Pq?D2DDJe5?=HC5CeW`OggO0XCAmFE~G_ zGpE0$>)WqC-Syd3@5toI(aPJK)BdKQe5?FtEAS1-rvEqNn=`Jj{6zZBu0B1_OP^1> zg0kIu^7}B(Pw$wsfjd~d>zo;rcdrY`qGu)`UtH{;4~*+CYx>sV_4Z&@FlwG(HNKE; zcH@0husPr-oE6l4z|NoP#_%hSV!qfOpXrcuB743o>rZsg!4Z2hG}JqnnjdmO+?=D= z27KhZy7eR7;T<9lZw|y@N1*HvjMp9KEF~p|IfL(eg6jhL_w0ad&yueV#Mt`&_m1&M zhg{c&*9P|1dDoT?_G_;QM~2TX7vt*EtSPQMgZa4-U*_py7x^DI*&^hLa+bCUjGYv z{U`PMU)byW8xyVk9lidb*WcOeKe^YR>-Bdv{g{7Bx!K*w#?2MI{*}G{Q+oZYdi|?= z{ipW&PwVxc-s^u+ukYUiZ@K;AUjIv){;B5X8I5e*d}*(LZLfb_uYY~7@82|Ueev~Y z+xL#w_HXRg_4?26_2+y2y}kY|z5WY&{e8W@ zzbDh$b8D}ETd)7ZrjHwU#_fUU`b^-tP|qB9q`S+#SdhQggSa?HRW}aA!R) zaOWzuzWo}cy|ZhLJGJg?vdRWBJuAIK)z<=t(|%&$-B8iLGN4;w>)Z1z;mZSoI~LmK z+y{I8cc!o0AM6aiC2*gAAW#kl)4?5qLg$v?$8}QZ{79$M9qzdZbXKj6XV1{Z(AxSX zS>N{Gp1xS%g__r%q9kAW=jjj1e`PkoNUY`D)-T3LL@pN0@J;u8gU2;>tOb249lnocA z?b*qXmLJcB#i4JeP}dv+oC?Jas#RK_MU4J??8GT;ZZ3%EUZvOntv0>Ca z{-%SOG4uS#)y=`KfPX83^6%cX<$Bpwei|1a{@xmxUx>Re&V2c6-#CBSdr@$4us0~Z zEg!GQIDbdY+kZpA-%;~yUCdwiR_Sg1m4|$+dut(oafnO%i_5-D`|-aRclc5&$1hBK zUErCwDR3^Wf%+W6T7DXv37ipMQ#b>s2epq+Q1i2C+jn2!OkNV0*QQh170~T`ofby; zSm1ZHC#~E2n|;b$zz#LrDsDT|RyGFi3WYt^)LNX{+paw`eWhLN{wY27@30`n{m|~E zXJv3xP`sU%wsMq%CBr*rdHU9wW5Xa&*os4?)lUyQVGt;T;s1~BIX!K%if8dF;I`V6 z)?^h&RhQr927$s}y31$xE`60-_P}EU>t+Lm9dcwU7|qjp!}qwyWPW>aP4J@NtAp9zONVfJE*q>UlF`J_(1Th!F=Sjyz}=! zz&>_6bL^cBvi#VXIq^2mZ*uzUjq!h5AYac2l#|tA-=sR){2AxZR3oqThmEC2Enmye zyPCP;g`aY>{2X@sbnJF)Gi+aHf&LhZD_t?@*rf zxHxy%KAOwU1D(#~?Fmxxt(MR7P8l`sy_LLc1Mf--j#`;_JOr89I`&MTY%E?JndQr3 z@qReZ3E#>NwYv(}^TDVy+vdf%`)4Y9Tba^1HspJ~>#{*SshPljWkq2JkydF3kK zMxCqHH}l|Ko9%Lm9k&MU-g-Bw7`1C~P@lDU7vh`y@w&j=vjb;;UDx-HQe5C@6o=OP z`l#k=y*ScwZ=mh#KW9RF-1l4Y(C6D-x4GMwYN&?~^tu1lcvO34spW~9EH!@AI8(Dr zjVrZ$P|G!S`RbhW2j^P@w$uHg{Cq51>7iqNU{7mn`BI;U;lbx6blX$ByDRWcHv9Jk zKI104Vr|a8g}BU*_YQ6HjA3_ci~R=!apj|a^mz9oFDTjv1Q@YD~@;v%bd8 z?8fZfAJlm&UF;#N?4cLRSI;v#fGl}5A9xlyCv4vm$id1lbISsA(?NfZe0f^BcBPHi z!-0M5v3E^Sd)di9y7AARve~%x^0EBF1Np_nso;>FRz6PgIn#`@lMiJZy`K)-#@T|) zvZeSI(|XrcJA3$Q+m$DyYGc4Ju`f>eUj9yx85h(3`idzZ`nKMevFihQ$9`=-xdUFA z0kYUqx?5S+&jkkp=dW^!uZnXiSIL+O%$F>&?%RU5`u&14(_R(y^~q&&=#|s#c3vz0 z*woi+P3a}K?6#k*c0bNHcjI-RjItF^_O`P6dd;^oT3`CU7w`1n9Q0%8Opc0Qdw(p? z8al~1Kj_P7^;_fa@2|{=SwD;D*PN^|&Z`IXeg;gPiY>FizFjoZ&x`^hDvbX07t z8Fk+Jeie^wEgtVqo811|aU3`!$|w%VY&q!5#0mdO|8;50)7s=5^M-?S!ZLM{+d_Il~#`!)%{B!91I9$lYXCv$~QL72I9RYAfKO01NNE2 zyWHxJlUx3bnmdqr0_zTOmTFJyM}8e}_;>f%;vSglt>Xi@FN&}7mmKK(CqHnoE;uJp z^alaH6*Ao`@`rAIT3_Sk`=A+HY;C*0*0#1r)R0FpqkC(>9zMS!-{5^m@c!Ua!B>Ts zUkuoFQ{X(}+1|1(&EYe_xh2oIJD3ml?Fst(mS)WJY$muiSP~d>{*2k@xzq0B3r>~x z8Ev0jvgbe`e&V5jN3Z`yO~20xoB5#31$5QD%0~Q5k1yv2(23#-xwafRs) z{ISP6Z8q)=$S&@0?e$;L>)+7p-`VTGwCSfgj0yjW`^TsK{9tLYA;3=?Q+CK9zpE=w z_SHMo>a;y8#MIY>;?1930UeJF#FLKO19GQ>GXjMyd*qk)RRQ10Yi+=Z+$_Cp(zmz# zxH)Zl731!+T32$Nk5+EF!#(`_yMV0LCOY7rKweJ=%58xheNn(Sd5s%qR!!bBg5?2@ ztUWWp37(1@ve{fQuy;BreyqJZsAny1P7jpQLDs-Pig`XOjD{2rDIxyH4)T2hNA{qS%8Ig&t@A)?g4Qb(Y$F?Kvmsg@Igl zh7SZ{jElPhvR)RDYs{VGUBqY0=H?QB-^AH_1hnrvS=4w68 z-=4AJQ2x?wf7x2LxSzi)Ywa~xJ}pbzdVAHtcIz+i^qDh8-`Sl$`%4%7_LWR$rDXi} z-yhHa*QIYQ&RTu^yC-vPEU)j@TDLWzA9nx9kt5Yl_YrH}bHp(po^!UA?DDPbD^AKz z=ay`DrrLXm+Gh}IcY}JStJie3v&27omUK2-S90t(FP^`jLnQxNd(Z6bHO6l~{g)p- za^!1%{HR~JSKjoKM~-}J@DKTA?Em!sBS-EDzB-uCoOiTCfoI;`5im&osi5WW%cEQW z?0`LVZEMEZd{&@txe-^ku>%f8=Ual`|C#(9o}WE(Px!%ab4}cV;jHTn!WAa z@b`apl&?C^`1lCk1Y-qqS~%XqC5=Nr>+b-pX#6lJ$(f|`Bm zFAT_#Ll0(6#c`qhW|O_npL%6iuj=Z`YjVvOS68Pk-s~p-W4YMhnGY3yE`LnwZTV%_ zj|FFa=*W>@{_jVQd~g1^f&I$9&Mva*tavR^c;&f4G3){%OJ^x@p%kzix_odqY_om;TmAkvX7}ot!Idfyi z=<`mY_Ku={Za^R3mv#GVZ`~!u@wRTQGxJaJ;jGkkf7Tklk}GG)we|y9%WgV01m-J8 zzM$)yH}1VxUH8@%UH`hSt{Cy#y0g2w_Q=t1$r!$>|E6C5?p}Xium8;SaZ>xAmVTRek58Y@ znm;%Fv(mRlahI4^v%|ftO{Ti;IeTi2y4JOO+i~}i`-4oy{h{stxF?RgpY`ppbL(q2 z=X7^q?uvjNR|dW|r&HVcaaU`LIUBW?2IUty_ST&){_HDz&FfpkPV)*o$zbPeVyAoV zV3co4y*Usw<(hzu*96xGY~s_sS+Fs++_bj72F2gDKn~gma$eu_^R-zlk8v}VdP6{_ z_W=k8nVPx zJs&(akVAM~9?+>ahsz6s7X;?%wHIIX$`$_F!)N1_W8~`31!7!#x2A1xt5^Q=jgIZX zeGy8xT;QYq>as^}xZ8}=-|l_gh`m`da<6w5{*hO*FHd_W;2WLgW6OE1U6y%%zcRqF zzB6#Jvw>{6vo5F{doXQ$IjcCXTq^nH&&JHruki1xz?k_q&gmZK|DjHI%bh)CbIV=n z|HsTbL;Hh!0>1p`K&gFVG!s-@_oVHPs(F5zAIE9SLB)%{IxFP&eJ1bL1=g?`fBweG zq0~z8I!Dpsoi#dnJg|dJWk=h#PI>0=|3~d#HEjRO^J;tgUmoQZqvxfKCvxh%xo6nUMt)rx zu%oqMD*dv-I;GW1mQwqjK{~GpJU?~^a(GwZ+?!Wg9sF5H$Fkv$f6>7Q{4BPwa)NDh z&7L%e_V&jr#`0=iP&|vzlLN(`0~&F}xqP2?%1p37;By;e{2FuS@xLK>c7RLgzjE0c z`e%d6G0!7~PGe$ve>QsGpxga}&ox0C)8eJZ=wipcf%b~P8tqpF?E0$E@5m4K zyeWOW?+U!vEDP!$(x*=jXya@qkQ-l>eZ?PH(}BJ1y}~Xw*ZF6MvH1Xp)#hu-{pz0F z+06B2*87|Na{uYgn)V%|^s>`?%9#Nl>RqPvvxN^)eeB=vGN#|gsNQLCiDx#KK7N)S zv8lE@*E*%nAO0SU@Z!&2e%=z)zUQaCE@0z{*udvj&)1C5Gw%JR?0hgXl#)ZH*x^r+ z55`*F>dwYv$zPUs%Xj7A*T$yex7NzDQER`hS(_z8-Ng}I?VeTXXZbLf*|)o!-<4X9 zu^abq&LZdAeat3jr@-fm3;AmUe%ntr8Kqxr`ufF^zJ>JvmqtI?rCU8tKYPh;^;_T9 z&*sJSfBi}5r;BWUIdk4e52jW;=jQ{qxcBQl7q`au2l%VGs;!qdGl6#TiUVgz{wQ*9 z&9HUUH*4ntIa6nHW!mkTbjRV=ntBc!!y_NaEcs*^YwsDh*S@%V?CWVU=Tqfxn#X-E zo{!Rxu!S$}*Yj*%7fc1pH36Lu1mfzxz9qmDPG*B!1NP!We|zwj7}Msb_ZhY-o)_eU zn9%8t|Ay>gFFpF-*!1_NPiL#+tvwxL!S7AM<{;BUkYBOn%h0aW%1m%wfPaPU|8<01 zwz~topRt3?%CEYoTN!U#LuIuBi^xoB5voHOcx99V^c{y8qJ||)I<*Ul}-a=FSbS=-R7N@9x^{-xaiRtM%&gPn`8VZ`Ax%uM67v z{$ghno6TR`)$ZAL-A`m)+y8-X-*mTL9@u|LSGza#-4#`{nSBZl+$m28zBSx>{=6u7 zR^UEz&(!m;-XpVY_`D?39{lr5?T#JuW|`<$EoL0`WycYw8IkJE3RT(nN%zj!P1fDiV*GPpj#8+qa_uS;*5LmBe(+p@s; z1wlQh>Wq-@?BG(HpDhPvD|>DjvBr99_{MI}I_IU8k?t|sxKw=K6PMM`x0jFW|9<+o zaPAKU{P^}L8l?VI(4OJ^xXJMQTjISeb8N*C*=&2Dlg(D+&UxiL8`^Us=e+mGxp!u> znC>AY<=#LOhw{eH@m2mENMD?AFlzo~8NVaIaVKv0J3l+qe@vhp4xSg_Qn^3a7vNNF zj{SEAY{5Y*&-yC^ccS%VFSMSF{Mf_r&U_$kT! zXYRtlU5Xcly~PFl`&_&`f{RP**@XM)U=m;5TjeW1Do1f6H|4_11NlkzZGm+-!QGbz z^l4jrS1@XA@lks!Ut<2EeED5Zca1%`RQTNT|q4 z9<0Z)@#0jxoF(!%1^8k!wCi@JZynB*+J8;jGl87&3{cY(^~0Zm!uQ_F(==m@@Rq8EKz2p4T{6yXV!`sB4|G zp?^-`*<`(998aE2-x+7+*m>Py@f?x|?ybsk?}x^&44j$bem-s7`~2N}ji-6+-MQrL z®aKWe*}`RfTR^`t#kq0cv^w{t|JdNx!21K)^pM@!Qf=o5 zaEa?z2hQ=TfGj+kdwD=6yC3nBM|K#$E1=^gfj%9uBIr_V*k+?VG$#Mn24@6i1DSXy zgC2b{)XM{Ra*dzejpvV%|0^5Hmb!Q3RcjMF6td}OlQDdfD>gXLzB6d!f&*i1T$ZM9 zeZ_?jinuHb+PD}mf1RW63;0*D65pD~YpwBo_`!f|cIp2>z#hKoe|NAw_^u=!uK53T z0UON!NLPP*YJ2Ev$KRH|nBxI2;!r-3q43H4LOy*k^W_s;%OAd&qw~XoHBahl9P*{s zmhbKQ*7sk@+Ol7pt;NI7rj3X14iDmjhj#?U!>^~!h93`F9%{Vhfv>nM9^|2d2R82w z$Y|}}pZ+TYYn=aIWcWqZYXVoWPj`wXL z`$IwLn@!u;ZwF=5s6AU68*9&O<43!PPv4t4_Os`Y19`SAF!$dwS7$Zd;T_8M3?H*= zecFBd?ft$5ZU;etu9k*O(lsv6i3GM}~7({WOp1 z|G^AS%F({;yDVVGuAuI(7k6V)cv@bJtEa%)8T5&j)p`=mxyXH>L8^Iyu{aCz*6VzS#f5 zfWNr#_4&(Ev)%c>EvWmZos%E826gsoZhvnK4+VCMaX$yd*V*OgOjlRT@xX6=?{7;| zuM4JvR?e366+er!JazT+YbnFek*~?vAq!IED~@*Pq|i++nPOxuKXBkaB@aLM1lI+R z3Z5PC#rPuwe9Q$EPjmL&8)&Zx=+LgOgY)YN$9-MrT>nrOlwE8fpB?h9cw!??jI$5F zeH+PQW1R_dBjWQIx~Iq?5{O{*ZUsJ zPo+=J*1#TkY`#B|YPd)Lo3lnN+BMs{HLd$JhSRj=&oRbBn)u68e*e{5GzclB&nuT6bR&2@9un>#Bgd6#Cc`r^5{TWieP*2l+mb8U=D&gW#Vjj_G#zp|5~&u;y) z-IS{(FoVNR^|OW!$Nzj8$mm@l8t?fRZ4_R9_P@>t({g#PJWU(Q?+$Orx^)|I@{ zQ~Jx!ii@?-&q{s~7N1uWGNJw|qemBZCrQRHf1F-2e!Sw-~m5qUzy6c`C zu#l$wy94o~xAJ&4?U+B@$9}~=9LNds z_=49q2aVB#5BA}K9P8AzziKwz9I!{h^VPvrU=4Zd+S}IKGQKvD3;d8HY`izfbv`^( zSEY^H(l@SdWwC{RJ}&Lr`%{;1;ziedz+PzmFwdrb?8#$4UU06BbM_izgZSC2ki+(p zb9&l9&epEYU-ptGcI52|o)#Pm6laEP|w)h+(^>A zct>C@9krI<3fq?rTSw!@uJ+uMC$4ir#q^rA4+Qe$u>rZW0sG0*cIT7jneFG%v=0UU z5XjMrmAi$Viuq3l>@olN;Jdo^OloU!Y>tiE*0`(bz9Oh~`fO+G;ed_w8k3JDYd&pp z>aVk&yjn*mnfrsvRtI86->%@1fpKjziaRl8GalJD9h97nX`9~{ zSZ`l_oyQiCclcJU$B9CZdA7A{?UzI3wz*LLncotSjJjoL=5J;Hb47*Z_Su-_@D8a?{pN`+We(cuHvHPmn?gV z!-|QV@9#AxFF?%MxF+E5bfDDy&ZFI-3^~V!o4a}X@KVnmc3lq@#U~7*oi+WY`)nv+jmT z6(72*&A)0-rQMI)BwSyaeac)=@nDDiQjg+V{@_}^ zv>acQzA{eMIF4I+Ew|n$l!fGt;?lFI~w+BC(jdj#OTLn_u4b>C{)7XScpupAGtIeYWVU z^~)x;e%YngFWc1mWuICf$g4I^^wq{zbbWR8i`O@YS9Y__m|VHP;hK%?C|%`q`BpxZ zt+lRn`;3N8@8xQrxv0fU{g|#^-PK}fd`(x&3;hjUEwA-g2A6krs$t%FZ>YQ%U+}!z z+O_2cJLLne`OFUEvw^klUmO^#v&_e<0(oN1(yomIcxvD*$q$8WkbiYQnYT~DkysYC zrM)&FpH1_D_4?(HGXV6j?AmO!o*p*xOP}t(U%0Tpz)zc+kE&C|zZr+yI=&x8=d!fW2hw z3&d=HK+kMI7O+cSv7U{J*qEQ|>RM|*9dwtUI09?TZwbixxBhy_c~i;NP?JW*#U)^tFQG1P5ydRr38EXPLHXSH6zw>DK z*x4ed&NY2_aaYjGE_t@MYg>Cw@UpIN?Wz2Fh>xT4UhXP#c_zT!AW-Bde--mMJR_J7 z%<-f6)P{b1ek0EazLQ%#PZFP!SLa|h`?c}Z#zq{T7AQEYHFU^7wX?`B^W@l5XSuy= zj49?X9k#~HlKw$o2{-#_xM?)I6p zhOgz*h0UBXzMqk?v%59=AB+6jYk%$i#f;+;A8O}KT{bw+`e$`DnfmNki;X?@L)ovk z);gRP7uK31Pix{Oa!Wp2*lmrt@Yy}cKk{47w3V$v@#ptQjFU4H;O&N>@`8QhVD4GL69V$t z<2)@7b_5FU*u`J`MfC9V8DrjWeJ$W?{$~et^35D>D*j~hWj2s^R|RaPr()tW3;T_~ zDj?V2{+v(kteBJQ<%hgm7LZZCq&d`I>u*dSU)Iu3CK+PY?s+hMMZGE59Iyi_Mw4>+ zxa?uGSTDrcV>6Gl)q(qvO?bi&oy8sg$ufu2s_nODI^Z8$7vt04%We6zzxdRa1I0^m zXM9rbvUHeZ>{R4}y}JTAAb%-YIv zoU&t~_{bsgVF!CF9{9)eOfU)O{hux6V{xv%tV8i$&xMoWzvYWsd0W8e7X^R!P#`x=w6wBh6-R9)$)d3ym$thl{#t)y?29-nN%4dZ>@7>C%Jh8XE zuiXF6F8kuk_dF*8P%xGC220WaF4E?9}$IMaFZ2e~X`cS`xj*6}xa#=N#Yq{quq!dvI4jONC1@C9nK1 z4)`oqLKLIrZLr=3z{3s>>#GFU(xu{`YqF zTkAehIS# zKCqun>{eT=Zv88p)#r5ctGfEpUG2S!4RYf1J01FTe%_~!kHshQ5Bs*U`Dm~IkzW75 zrO#&iTfSe@t!w%DNXIuj=*Q!8N31*2t!rcZ&-tLHAHNkH-{Mp9-ja3I=ilo_>|5XM zV{_S#D>CHoO!m}V@w9xz*zZP;Sk;>Mr(g2ccH?~fwv3Zkaa*0X{)VpJ)Ya#wCd*y0 zHGA4PJf@RjUyFXs#lG^@erwO_YR?z_>8_sbYPK2|7xnh8c9-a1)YWX$XJdL#mzBS#v``G>`b+!9Ne`i+{V!q_wJQ}X8`?ttucHX zyCLu_B}2J4NZJi!^~SXAmAi_$Trb192hxtZVLaF%mUO$v+dkfugMnwY_?frY`hK6j z`2Y`OTE}M3EcWVe3)TfwL9LS~n*;MepL}C`^{3PJY|=L;KQ9S9yV#+Ki@B0-?9$-O zW~|j^-X8mLt)20Zyd`)? z@Xp|a!T$(;FZgKi=fS6f`G8FoS2oNAl?TP)85vt_Zr1|)7MixW`|(iw=plPcFcmyH=djMNbqjGniSH%fS+4V8pK&%+ z%*3Rg7j0a|>Cf`v{V~u;ne=X{=Lr4w(8Vt0WbUeQ^6JhKD?A>(vp#!xM|=Lbo7V;B z2agNBFyQOcgX;o!)+>V72ComkD)`2LJe<|DhwT;5y3^HS+VY6&|H$)lY9aq{E9SMX z&An0gh5JLCoIlT1`DwqkYNh6iYtMsES1jteT(Ne3PYu|IqP{zp=$MzlAv&0>AW$+il8CkG3_|o82!8Zke6)a7V z9ur&?>+q>`DU}?ZUrEI|uE%e}CUHqwQ zotns_qJc~)+-%sR2oxZ=t zvp9O@@j<)w3m5nzvp6MZRUpRZe16@RT^x#Y@v7a*mJ{}05sp zmzZf+PSU|1F?d((F>f8Y*6H)H{4`$vs`Xpjta~_Ydqrbg`SY1#+fy3b@c)^_+p5Mk zv3V%ARbI(6`QsjuoARZP%2~OgJr&4T{K!`^tn(&!?f133HpngUtuvtA=9&GI$Ry`f z%Y4)c%5)z3_rQ4>+Y*@bv&Q_#DL>t*Cvp#ni+yBx&U#0vGvc!`&j4ImgNtp!hQRpa zg7?P=d%dr%3&`l(%r<+ivu`GFzuX>ppP3C#58MZAFCCr*i^*DSuY4gFhiu@lx_qXe zJ#2HolE+_txo1xOtbiZ<#82IiWZ83LaBV<_b@W(sL0}JkK3Bx4cKKy(@kf{ZFh>?U zv>yzNFA3x{{c1d|3CJ4+%Eq90I~BgmCnydsOPfE&iUa)Op!|Mh+H6>CjeRA<`Q^X9 zaenLbt=4GMLq6X7YvoRVtvzJ3P0==nPkvO~rqeF_$ru$k?=tL?OZ~X%8z)=rOD`P? zy>h?wUYm9sUwnakws=vCdHHOg zKloLg)-!qAAcJH@=r$R zP1)DC!amP6t|*C0^D!9K-$JnQqxx=}W>i49=w{-FHB<#fPKF>GyQ zQ|+mC+0@SsekCoA*&z?;Wh0qBLzoTlZ%jQ-mOLkm40`Nm+m&67KYmmU#>ug#ZxeY? zca1gdVk>>}-+X%x%sE4K$Ku-9#(>|>#Lq<0_SD7)f#M9C``OHmx*s=XZgW8HRB-gH zEE%>3>AxWmm-_Bfg%@X0&yu^oVIyf3<8C}_OSt1 zEteOhPcGoZ-k3J*+e5yX6~@W8cPb#ic)vVtI(G%)a$kT0GI7`P@$*qyzGiCpEFxz~ zP~&WrJ8E-mHD9)qD?bb4Y_(UxAA9+R6C9Qfve~Y0j%@1-<7Bf>e1BntKR7b?|Bjf$ z^`>BRkm(`ZVdOc3&X6R_2?ZXAwGio1s_SAWh7j$h2l>8Xh@ZSpj#SCsw z|CdtZr1-D9z}yEj*B>`eKHHR%U-q@S@*`fupHm|1mm58|r+;oR6ZGX<`=JH&PQt~? zPIk*h*@ru&^oo6PJv*E^{<$*lonJm#e`DZ1jz4lvu9a*tkXQB2ZyrC+iZ(8B&^{NZ z(zoWpZk)Z=%J+3a#g%XNlU4RtT*_B+pr2#KPrL7-@>;ssBrl8mR&K4izFVWue(Uju zE5Pkcuq{|0l+SVvAFY4qrB4UFR|dGUSKP>vr~F*n)z+5Z&VRihR2-j^F*4Z0hc49)tMju3^(+ zXYE(AzHG-KdF1!Us-LNmIm?F1S)3G4Rr6ge6r8tf@a_4^TmI@R{MHsnJ}nR0e5iSI zcu~uhT2pyKCg2F)_K~$UV25%;?kcr;sAoXQuJg7fbGUtOcemln8otp>u5u_~3%kVe zSEH!z%5;bP`u?$J=1g#FK-QkXzpJ1v7yUbU_omLra7S)S&9;gwUe*LSa)t(hLQiq+ ztg%BWzRcsJ^3WYvwiRblJLE=OraJJ=J*3omqjz0kjZ)+6A2rVY8t?03U;oT4%UH#Z zpYlmxK2_Vk%1^%1U1!REwuyc1*SB8{HwE^zwu^}|aIQWaLg?`CZrHOXsJQdzjG*;r zRr)1QEK1(~wC@hYWkt}g6Hn`I2+ZSF!3o{+MVSrElZy*BzA7*#mP*-XpS#9**@GkY z+e?T1N_rjHmU?}_7x}=?@<|(tr>$u-$JkG2FIn{CLVGU2w|o)v*?`=#q3`QCz4_v- za=YTmb|B}9fIcx+_<}1w$W=aAyD#7$oz|H5JW$FWw&9+>gTV`ea|1>HB|+uBHQR%a zgaG_jPVkX_a@u>3E;jI~@=l*l_TW@rRLnM{&F=F8aWl^LD}%nBbe8`I($=@0t^B03 zijeFfEWPm(j zlbSx~$NsH>akxBsZVKKI{BZD_fpNU73+NHs@=+fr);Nom0~^vdryL0M>BZ;zpw0?8 zeOcv8|Ew$&yZ+f&C~l+VmTmo5mo4V2-QT}Z9QnO8P>Kh@b!t= z4+g~_-J(X%QL^W8zk%QLC}Z!TLaXT+1e_LE&>8`BoUN#w1}I`3WzUH;w(xeo+n z!lQyEfjiqh-1fBDht4jklYvTeSdq}{Mh&e09q=X%ZjBn;?mB}iBai4)QRH&(J9Z%NFTVRZea8>_ zo|N~SoR~aOT!`N}B7DG4Fhq>Ln21qIGGgO#@)#%MguGhcWG*_03w|}mFv?lhr-g=z zBDw6>JJxml;$Tgq5BL<0 zWfIdj4);0iSJLM>(hK9|MJ#vip@VQzppo4$VvDi%NhW%&W9=7%M#X3)km}eZ6si?G1#V6{L zU(8Yb3+L<>!we(k>qQ*I^ikPyeJ}5noOAX$^m(?tqdo`gG<`vLwtlN9YI~7*Qa9{3 zHu0A=k^?*@Iz#03$cYO?^o6z=3w&kFlVb$tx=k58T&tMh^wVWYj(vQ~iF{3P9dbU| ze|$Mw|C>}!J^B&qR_i}H9NvF)@D&^MiNnX|SaRKSbG9)e2k58gQiIO%0euKLHWrG= z2aicw=gh}uQHzL}atw*WH4^!3v2k0piJrGdpBqKh)|WYwAB(+EFN`yD=x-A9i+FNW zn_u*ue$sbh!8x&D9LWj%CSMpIj@w25R%LFbBxf8?6;+#8tg-Yzncu8w9v8;SE$7Gq*E^c;=SlBNYJfF^u^>l?z0aWq zI;T(JwT<;I>F3jABlH{0al5EZgg+d2h&G5$R5|^dXL|T}ENcUOrtM?t+d0xBuju1H zsU7bl@gk?ak13tgN96d+!Foblv$cZ`^T+3!>tUxsge}JVAA)(yJUC6nk({?F$vmb$ zKaqv=^>o98jMxz`4t!oC^7>xx^W8CH7>*I;_>Y`e;5$BI8y~3W`pMWFEx%MPiVZOg z^}^WTbE^oM`tmD3tLawjBepn*1 z8WHc|$-B!$9P}0J>xbv%Es|{)T`1Zu3S)qe4I=9KxL&Js-uDw%%IG847tU`Kah+p5 zVLW_3QijhRB9HlOdQyq%5mV+Qb$m?lZN7*;ZV-9i%bh5P=^N*)mA($)6aC|PS5BNd zlyP9YNkkrcJSl@b$LLF=h@CIcpDo!NH8>JQ1>R&CdvP z&_3lJN5%mP?NS$vUkgR_Gt?I>#hCtaV7E?$E$@%V6?-lV<4QUD)Fo~l#Ij3-j~w8< zsG2S@#!uo1c^e)_;)MU;|0(~;?d1Cksog3M4itUh3f-j!QtaFN9V3j8ErC7E}JcP@sHy!QBK5IaNsNR z65lxP5bYP?2m1u#L_3}bVO#Dmee+nm9qjH9ogw0&-98chJr;ZD&^GosCx$)_E_))M z@Xu`|$Bnw4i$2c85PkZR)c5#?Zaj;lm-jA)y+fP5pK$(SyZ zj6Q~T>V=<3pYm{>O3rh}f_cnA+3~*jWe#&t_le&75_`Ws=5&r<_}3qt>ol?zu0=k! zUWb@^9nLwD{lYFeGFu%VOX81>J476`#s2G`Wx&^kv@m0cZnZHde;Y(xa~VSpIOO{D zeZI+jtbL9!wmz1Wtr9(=_PLJww^Y<6H}M5q?mzwHaR2Eu2eGAJl)Dd<;U~H6vf0)K z`pUt&L%Y<#FiFS7UBh)k-m;-wh(#=GuS`emzm!-!NUq zE7TRN*dMGGhFC9BqNO72``DCRg+A z8?)3QFRQgf4*C5R=gb=p=0#3Ku3anQ9*MHWBIXpf7z3aGMpAyLx*)EsS9RJb~!$T{xP>g z%r%KvdEWL1=lS4#AUGe?IkEFPwD&IxD*44YWJDahMChI%LYKI6R2%zms*rigcx83Y z`U%GNw-ROBC1XrNU&B7ADDvfBRd2SnWsY>H<7>k@o%=lToN=ESn--DGMMNFq$lReX z#2S0m^oYr~6Mig`jF`~3@2JdeFwc?wTS6vL)SrJ(*a_RGE(h&>_ZaoQcMN*?mJxC6 z5`}%-DNHQb3wMav8xilVB61f0t`>Qo_`1W`QIF?6jPvOt{Acc6CgR|nw&#n8HTJ2) zJ|QFG$VC6fvW*6XiLPw|lM5=@)&VKg}ZM zGxe}TUl@0;CFCwX``FEPjy~hTHG;f4(tew&$tb=Yvio`}8ZU(@TcJZ0R zW8~w|DOs{zkMmBIkw5srx=Nf*6g7y56>+&-)NkjEA$IAbk2^ZuB937Z_2@hPG8fRt zF7XcQkSoYId{5`sTVh6D__|CC+$L+*86w&t=kO2zImbVI<$QyPgTBv+&f>q*9JF)l zFBZ|(`)oaM{I&#stuQ`#`Lr;719R|Qc8G6H;NAq@n82M0d_e*)OW>y`@X5mDvHSO5 z`q(?{-(v~?fm+xWA^z3%Jv2YKPRObb(w-1xB!;Ws%I>f9LU{6sqB zeo|+Bpz~Ad5JPnEgE4}GJ!VffeUDq6%6|2WIF7`M`qc40F>c^y5jMCczCikvd#tf> zLm=}y-u@{n$A*suHqMtmGM~>)I>$b?YE_1A*e>!<>c>RfHf65=Zprb7K6$;RR?fKf zs@(Od!?>Mjb&z|mhJJe6@Z}=v;dh4~_|t~_;bYz+S*Xjk{u4hf=Z4!RX6Si+?1J$Z zzEXtjB+)hcZ&4vzW-|P~++=Nm>~lY^%&k97;CqFAJXcsf;(2XCFB9mwALyMfIeria z__@Zpe&8!>!}tFq{!N*m$w~U!AR@PaF3h-qkrTUQj&V4^pGJJqvWZc`r_vbwp>m=*b_cd1L>pu0clM&%7^*{5&xIWiI zWa@IwVadX|{HF=L-|!OYMr*71bG827s z9W?BH9x_a>;9J44`+U7&%Ah?Wa+7(;m~({Z)FY1U+a6c&IA0)Y7PW|oC&b!yi->iW z_!1lb`=$rPuN0A!9Moqmr{CyZD~mtj_WY~i$xr~J7$a>f5|Xq z>ASa2yU6BwK6iVpe^IRi1jUuAlX$85G1Z?jr_-)eeC^Z#w8b2R_o9_YBQhXWs6_7_!T@2DdC%RuJ-OH>iFcbZP< zSG7JqWO`u^{natpe^(Xz5>@!Xf2Z2#h5K2}hj*J^80Ttw?+NrgX8iZuJwLq-i7Nbf zujz!bNb3A;6`g86@ZXcBy)a(has4Ng2Nh>ayAT!0&RRbF?wwH#?I$)y9C|??f*g1Ad3o zeeihjdz&tEzo-MTCvdt>=bts*aKBTn?SBZ`cAFAaa_5P`f?8{YTd?S~v%Xe!@8Q)hWWqc#$GLJ{KxbbZddf}LTtx8>q zDq{I{(+T6mw>aLW$BAz|k}|&ANXqzLBPrusjHHb3B9gN2RFUyLgzI_#C93EH-$tMl z_JQvpyq@=gZyu5|-oYnj{vJz3(LwI`yR1;=@3TVLj{$!6(w;navaF{5;T+OVJ$U{)&2H(LrpvKS|2i?Y!MnoQM8amNM}?yu`ik1?LjhdHK0T@LKe zHCbq%bI8a3grMGRwoeRnR5h~Af49x!9M;RJd`QF^&V68mi2E?c;5u<~w;+DKh(7YJ zf4)fONB|_|ajUbEsWJUx*F4!Mr06hz<3^aiJZL z731C@@_T%qr+C>FR)&9!qdzyHZP%ea?E7;G`kE7=k3Vvw^qa!8OS#wewk0aXmHsg< zJVWLHW1lwRP)5YzePuoQ-`H1t^nCGtksBO5t0W%Y2iCjU`ru9-ghq~dq&A1US+9X!44{j8N^WNj-&og~KQJ?R3xTY}A_lRiwQW0~B zV^_?gdB!Q_wC6tkF0!ycj6d<<+C>}f7}mi#zR?~&c^#=mYXNn*wy_>^Z$zKMc}@I0 z$8$PIe_o*PIgTFl-`7X%`?*e|{vV6&`YN_rmwE2)_822Sr{8{lENyZPK%X_<*L$v8 z#K`5|=W`^3&K7Ykqkml2oT$$^{eoiyj<4+^at?f!h@9nc?40pQiO4OF<(WEXJ@19Q{Mu^ZY7>!MGeyg%S35&iZ&Qs_!~baF6u$1>KZ1p40h z-zJaPd(ofdUc|?d_%n{DiOvxD7{Pr^!!gWA&M_oH$KS8OnY$@bI9|lVePC}8#xRUE zbv*7mjm9F(*-)2qVxQqe2XV*8YH@#35XWTPJuk>{j|cB3hzEV+oE+rbV*n>#@y%o4 z@37#$UrFgaj00^!zFuCT^9E7aN5QDya;G8|^pE~m>)(@)(m#Clv7fDf-nX!y^ba3? zm;U+nlX-r$aaD0?-{k$HuZ#if(L52p<7bjnhCJlHW?+N=02mBjP}| zAv!C+3&S4sm_8Ilo`duo{j7-VlDEY*i`>Kq9~;&fFDGuaOI_MNAi7e7eollQZQ}Pq z5%a|L7n@w46GY$sZ53u57mBFkal=<^d7NpJ_NXscYrd=cw7o<`JJ4at=7~dhh|t5Q zyoh}}Hocs>4IFAhP-4i!#={t z8+{*dUz^Y+em?HxJbvR7?c+Z(>@)shdxFvT-FSj+>~M65Xoo(Xs)CF-2R>t)gFc{- zZoP;+<+?52_D8OI$GlK;dbCmIsD?>eop zrD~;kql*pl_8TJNo)K|mqJPWrrd~4Mj2FK8+Q4<1dCIznZO=9Lljj3nfjpygj!g7# zxh>CapT}Vvlwq5=c>Ebh;^O0ZmConrf5accPag~Rru`xx;|)6Z80$2OKmGJ;5x%<) zG2rMBp@Yq^%>BX_A1~@4cYBOYwR6^E`pG=te6eVb=u<(iFg}eUVn8|V++^1j_lZ0p zZX7PVUFYaBJ{;%}2lD7NIq2hbJh{Z&$Df>tbNt5M>9R*3nREC`8S$s=43!ncz0B7g zbm%iW&oCYAQGb=_Ovyrb^(>ZV;ifSVS&-OMmm>vB0lJk;m~^t^+;~>F*p7 z$3c7f!)M6b3hQ_~aM!1eWIJ7w9dA2fonvjM^S5XxtaGgGkc-FLpRmrcw9~6L zc-GM*PEL7zIfuvvr|Wdi{XDvipX<^N#M}#seCiXmi5jeo{wxrY2jqy`z#hap<&>&ype9ZWVE)MdWI=KGI+M zNPl=1Kx{a7zv$EN%dclw@r$;Saii~95%;qAgWvxh{ygV6{o!8fztf*{j?*9RgWMm5 zsN%kfnB_#2vo3LTh{z*ykbEX*h<#p!p3Fu296uL~a_ux37}h!KFZ;I8Cb_sz1pkWk zyo|OBBCe@?2SdB)__r>!ZRGszf>0Ax@5Poo6mEhc=3+zgEQh+$CZRIz>Z9 zPR4E@?dUM~px;BxF%(@j^=#YfsjHPJUk-w}OJ^qA-;qQ^zQ64BwgqIsexiB1(U zmS>8dB}$1Fh?+!8L~Wv#q6ZgJisdr6C?0>hKU<^m0@BDKHu=y z3}0ZFm{WeCVa5Tx+Aw1SzQ{1+1-{rYV+g*)Fyjio)G%WWzRd9Z4QC9$*KoVxzc#$a z@H-867(Q&c)9{0ay9~eC@LI!fFucz2jN$c$Uu$@S;a3^H-0;1IuP{7qxZChc3~w}i zx8Y5O?=ZaC@NI^-7{1x?a}Dn|yw&ie;U2?dhPN3WHoV>Nkl`y0_Zz;-@O6fF7~XAo zr{NujuQt5R@Giq!4DUAFZTK3)>kVIPxYKa2;f&$y3}0+GYxn}geTG*W&KYhq+;4b^ z;k@A{!vlsF7#=j7GCXAXS%wRS&oq3!;nNK7F?_1wVZ%=n=3sqh&0QrLQ5pTXMRR?Q zc%#VoX!Sbhc@ft}_F&lK{(^d=iFzr?=8F8e7JZ{mPQ=Vgmn2zo9@b7DVL09uaF6u?WZQ5$T2a)56Rx zd}WTXKO_Ed;!Lix59MHPoghN)e!N5VL%(Lso|jJxlk<*m6%OMvD$Km}^4-Gt;ka9v zF?YOL*nMXA6{pNy~f6IR7phrgbnPTEO|IKllo&?bhs9vgG+sq(YB8f^{$eP_Cnc4 z$!H^#@jDOL4`mlhMjPIr3w7@PJl)E$?d_i^S%`nB--DnXFaLpX*oUtOd+hN4?+klx zKf~%0w?it!H}VUg&JmGhuIY0(T_vssvt=z^Md&S_01##ux6J;LMS*KaVGV z3*);9{PhI>QUd>d0)I4t|5liGeO$u%j+|=-{Cwl&7Wg9Lml)?dkG$P@hw(1s>y2NL z;F}C@F}_ti?EiGa-@6j{rUV{M;A{eKOW<`0e1S0iU~d`vvB=~(^Yc36ea8EZ4~U2L zo}RFOast;T@Z3YTA4=c{6ZrlFeoX@3lfZW;@XZN4 zp1}D8-j%>xg&B`q6LDRa(7QB&&r9GX2|Pc6&laYgI}`0ZHKBK60{>F$N;qEMPvEa6 z@MjYEqY3=C34B->zjle>?DOEg#o2|Sv>{lbjj`x4`}GoiO7f!8JQMG4%Rz$sz& zwcIywgfV-1LigkZu1(;_6TeCHy#)Sh0)IAvKbFAnOW=nR_(5S}^nXO~zc>C_wpO5o236Yn1-`tcEy|5S2v>ad7|y$SmW_8|MUX=aUktu}Y8 ziQLPwS3%A`nEeNPT=s$NZP|ygr(G*zFS|~}eviE>=O>8R1946cvk&F`BoRKcUj@U# z^cxHZ(stFdY0G!*K99hT-6pVK}(K zFdW=y7!ICq7!F=w7!FPwhJzOxhJzOwhJ%|7!@to z2VgjubpZ?qbM6FQZx{~VU>FX*+%Oz`g<&|j+b|rw(J&mm$uJze*)SZu#V{QFT*Gki zR>N>`k6}1?n_)P3yJ0x^O2csQRfgf<9fslHordAys|~}!y9~p@yA8v^*BFL_uQdz@ z_Zo(SuQLn>XAQ%_eTL!SoMAY)-!L4UHw*_47>0uf4a31hhT-6XVL14D!*K8(!*KAh zVK{iiFdRH;7!EEPhJ(ip!@)NghJ(iq!@(1V;owQbaPX92IC!sNIC!67IC#HdIQW2J zIQT}xaPUor;ozGM!@;*0hJ$Z430vyHw*{gVHgg6pG``CC1;$q!zu5St#xus(81FQ`*7$nk zmmBXkzRCC&<6DhyGk&G<9mcOVzT5b<#;-HpXT0C|fbk*Y*Bc);K5Bf-__*;&<9m(o zH-4k>n~mRU{5In+Fn)*eJB{CM{11)4#Q4jMPa8jI{9faKWc*deUt|2W#{bm#jPchS ze}nNi8Gp0!KR5oM@wXX2Z2TR@-)a1>jQ_Rq_ZWY#@%I^jzwr+m|FH3o8vnTQPZeU;<3BL|nDPHG{uARr zGyb^oUmE|F@&7W;i;Jh}yv{h^X=l+RU`S~+-zDjhH z?9*@7;*c{3$#e9#h|s-Ry7ZMf<94WnuGdBWbrJfv97W&tMx}R(2;3tdsCTQ?^Y-!m zXze`jDEi5E7~5M!SBmC}7(?bgdBZVVIc1D7eJ75$im-8#$mO0dZqMcP?}_xK68VFT zHWBmqd=W>32phznw#hT{6-v45gmrf=jjy7)oc-ru9mfez_Wk64gXtf!1O z{?j+c2JZ7dV$QGdno#Z|C>elp{hsRcaX#6 zBYvRESb6M@R*yJQk6iP5o=aZeIsHYSJfxkl4c`ybj|LIrbf$=Lq5UVaJuaPs$n7vs z8%0NJgE*6izCN->xUbAl#+}%b11XW)Cg$!VejUwDvJSe~JX$_Hn8*jl^G=PY+wvIU z7jwzw?$@!j@xmZ~*i&GW{Gl%G-F2M#!@&D(}(R1gm zRdVO<-*fKV8RQPvAI}}u0CML=YHwJ4sR&MPz*~){#4i;ww>g-jKJLCIVwb%1wZzvB z<|<{bU(`A49QPiSA!km6a&n0Egtgc6`w!(KbJwpi==?y$`owc8`obD=lgSQ>hwU`npEvW z^ER;`u4&H_ZWLj2vk05?0Uhdaj*pBN^O835BFe`__~X}VWE}WIyKV!U$#%US?cyK( z@%68o@5I(^^y-{=%;qcc$1Xa9B7CoAGxW=Ck`wq%y}id#kLxsf1mUaqg?MTBBDv@B zO~G6tzSVMw93$R$iGCkB^pgJva)|sP?u_sM_8dz3`uoZua`sqruUZZ%Rep0UIYcf) ztarXXJ)rY&y-co8uT{C{7G=JUtkU^Ql`rs@iPHz>1@nn>p3O7ASW{WsUv9e7N6|e~ zdaUilnR?z<68pZ(*T8{cPns>CkyvK6w;8AkT^YRs@d+$+n|KE_8s@|b5K%%hx$eIIKD*L7?q*V1Q7&RR;naQ-uHzNQs) z&KxE8`$g2rh&XnMsEggB?H%~dTl}Gqj4$U&J7BIk9U@Xikd`o06GqeSi@f_ zW7J`dM24Tf7e^o8I97@NNV@2;Mu%nWRXD2E8y8b^&|e<@s}t5j`y$hx2mk2Zlg{(Z1b1F ze_Nb+NIv*D!@YgR_FVn#>aaNH@RLMCqIMAnvU#G*06MN0ksC=J>baea&N=pos_D`e zb}}LkZ^PTCj<-)c-nN&+$r0?k9@he5zyUu;^du4a@@fT@I*c`Zi71RoO4##&I@Myv z7!fed(SWEyv|2>@eJX#sc>nP5 z)M#OUO)fh!+?(y2=p7g?W+x5iibvp~3Wfgu3OGDm%=Pw9jf@;H17*Q1dc6Zvqq)gK zarDRvh0%eMU*qH11HIX?vHWPiDMpgM;exvw;aqVvS8_g*3>1ck!y1G6iVA|g+5Z0V zP-UW0Mes_b#tMD=N^rB~%WiOc1tmHBh-4s9X&+m>

    Qj_OR{szZIooIRwne+-Vt>rJEE>+<+`~&ljGT3zIS3WJ2~aOR#x}+9hl6A zcw%zAFgj>WPVCE$mD)nFH&+}P%Z_{3B2oT^sjTIGWQ@*P{ir){`W!i+*o6&*A@}miE(F2O^^H%4vniJ^ z3|C-zKbjxz?axo-#tUPU#qqeQ+;DbcqA+lvLN^SzR-L_h*&fgC>+Q?hh+5rhMZFWl zMe9bcICfy7Fjz6m6N|23#hj04bC@3{38U3t*c-are_(XDFuI3ztaog@FjAN-?6q9+ zqTFzCLMunX7B&|%e{)mgggC#FAMn4kuT%@@( z7B+&s(wa$LEf$s)ZwLn~m=~4)%^^rzUJX z^DfiEIW^+K{bLmumi+#)3OoD9MwW*H7W**6A{^$|Kw&gH+&i8hEKE%1ZJt!hG|I!n z`TpL0g~=gZjC%KGho{UNR~*h~-Ro%6QMri4BCP^inB%M{Nh&;HyOK@p1|rQ^7+(AW zv4%7-8mnrcj*ulU?SYBp^<729@ro#pWGi8@Vz)F<93RP6tVkv)cbJP`Z?V{0uwBo< zcw*!Rb8*muEmS0$8r87aWR+lGO5-__z228JiAn*``OuU$4Fei4RxcS;?KluBtE?3v ztzV_9C>n*)z;1+k_Z7$c%gx^~RghgSaV4{*Sj#|AAUDd}Po|x(J!F&ga(m1|P?R6t zTNp2nj%Y5F3-kMP`7!pD$rTx+<-#gUHVT8o#XjYCdBH#!_q}f_x5x9OELE2E`&KlP z5|dsHm!&+iu_^7<6t27`gpDWSiF`D8y_4C#Vb?z5GCP>Ozz$X<&QNw@DDL}Eet$eW zdNp%`SPmT+D^^q~jE+^#%0M8;izDIuFN`YoN+B*)ii<9k{lh-(m96Kl;K~v^V9lDEX?D6=M^_-qCD%2VhFUh@mvvUqz|*VjLw%j-y23IL5F_3)M$g>haoG z>ZK&%=*F;$y>QG?ni{U66lQ{y1gj_=kss2OEDU`~;(O3Iw9<;>eWY$8moQMyr3h8= zq)LKGwOWEzijPb%%7X-pVU-q-NIPjtmgr9`sqDLCRr{VuQNd)hz1fN0v7(v?7Mdf{ z>c~X}No7>`7Wd?Pqq{6!ek-0f3}^XC~U_Cl}hTRZXm`r`HKDJ0CS^cksMJ=aSbbrOV_coD7-k8rKJm0Ao49pSya0Cltr3%Rr?}& zY0xXQCG};uLLScOpun=fEJ)$`a`K)uk+|yp~kRt8}jNno`y-T|c;3 zhr!BM+)Iz<_bF{Em*mm>{>kisE-MxFDxN?U`>v0kl@tdCN;fLV`t*F;?m&S3Q??KS zj=YW_(eri4!jvlJ6HLZm4_!%6+$PNXPThgP24hY|X7$15Fk@pfZW>W6h~}r55(b z(`5}`p~@291-Rsh+uq88@>64zCw5|i^a$0;C(Nd)^)$HJnoyy)zD)I11oyy1Z+3jp z?nNhrazp(ETS_CyM#idAT2ul>$*7lBy^{z09Y&-YmlXyzXZn={$y!;cVKXz?-q_IEWZsrqDYlWgIMYzi&(OlK3{(zd zVM4c?S`Rc??a?k;g^BE>KXwL>?5P+)U9VXXDqCl3SGGH@`(iyB(XJ+FTxr{1t-101 zNYNj&)0`fnmv%J~9;s+vqRIRSw>TqerQ9al+)AXiDK|XTuYnvY4EM`yxw!nivJ{WR zOGLqn_X%2<^vq8C?D6708wag>qZJRDr^fUsEFZqv-Iveq3En+MFiN`El^93!IS`bV ziKsXpSAX;#iI{ujpLX?y$uT|kj6gQWv%L5`KR&Ko#Sy(j$`0mD6g>Zn^n(Y2Y)tfO zHdfT8nV`fvO40DtZ6O{DR5WWNeeLk}#AmqX3Vx=pl)UA<1V(vK8X1W4C_0O7c+Bd= zfze!isv)(zCU$?C8PT1F)t#E0y>OT7v0a-Faf^CA<3L2+ngu z#eJhCap`<&Bs*bdNScX>ScQFBWI`t^;xjI=qs7s9Ll?KCtDqi2RLIbZ?@#q0nN=;W zoQqVe6vPWkWNti~+_B~8IuV^JIas$$JYLj$!04RpU@?dQ>q!8#>Xu>DXsK|l;Q2YS zXP_`pjO*)l9B=z#phv^JpDPQnUPcqT`0Ker)GnLbf%tR}pG`zU?K$)yAXg470-V*$ zXjhn+nm`oeXt|0?)LB4rpg(&cE*l&vm#Vewa2by5DW7MDv*ROXeK?=D!K2&;bSgMk zD|($dq8)7PP9;?7l&>Q?&zFFPwsfw7!BD9Lq*OXbNqf98bAh4&7DfvdSlW7!ql>IZ zVr-ul{}LJ;57F4Z3RlKUZR+uZu7>(PC3vb8_cGpRMK^?|V%^sm`XV|JosVTbuXNAt zsaMqVnbNTH4$mB&7@C^wFHI+P0vpj)tJIHt9^Y+^k;afV6-NmA4pb4*kx~SdRFlPo zn#-m}`g}NXAwRx1p%{zCih48^`8Ao7p04d?eln-gsf45beM)>^Cv*MdSs$CpT>Qky z4C!8SpM_FQdsa-0WqrL-OZ1IPW~nputU^H8ihj+KGYLG}Kk0L|G;g$9*~@#E*eEEz zaz=iQWcAFD?NaG(B@%0gKgfOLc)=I_;FO78bH^*+^geyac~Bpr>C3g#Qu;9Z|IDj7 zd5rJw<~_c2vz{XXyEK!t(hYx5+rQJa~`gbNXvo@oD)@9o4o>$Mv zd$Mu&XyfkjrVhE@nj0F=tWFgsQo7GdWmChtu^e5VqF33RHkb?2Z7X*)ZeM&^No6#( zU3(+lcBk~9Rm*)UdK}T1-f`jf#ceuLx^Br>YD_Oy^IXY`<0@I+wpNFiO-x1C_~Lk` z%|f8eZC%4WU%0Y$`MIsjGtJ#v+*&nzR?^9OHWHK?#|az2+6)Rki9LWm^2QSBq8Ibfvt0;gR~)bW0vrRxhbmit87c)v~yX=90Lx@?X!m zF0&eZ@>tRZ*aPC0SQ*I$rpkvaB~^eK)I%mMysJ!0^Sh*^^GvBHl|e4)REqz<8v9gg zsl_J_e=4(Lqn`8WRZ?sD`+zE<<*vo&6Va1_`W6?J9yhK|l@`^?r7p8-bKmu?UHT|Y zTe{+CYc#(4QtJFlap|M4gk1M~+7C(pyh?qOuCA2oT8^&nxyOyi^;=N0n!GE}I!&Gerq!QrOpjRxWBS{obI zwakv_nuT>8!FhCDi={Q;`4Kvyo!hKJbWOB^xV_PuTJTxDIzh=#WIC3VP7+07t&&b{ zW_5=?uvf3xJr8&5#dB+EZ<1NICVB+l>bKR0o8xElQG%SkVTBcIm+9}v4$qxaTYJ)) z`i7vWG@+KEC=^{s4$nQIw&p`Uhv({t4*zle;khT(*1SzfKX>?kq59gIKNQlB9v)hM zY1vlddK7tgc^j)3-FHn;O&2jp=M-da^NnSz~&9e!6%3@Ok_pg2!oX^hpn4n6ve&!*lCu z=d^C8>vNWg&8?lYLhOXvIp>Oap9wAvG|9y~nv^x6||=si65jM@{&duLUb!kM)vEnMH2xv4R; zEBtrnP<<1|qn+pKRQw__#Z%hUNMS-6tN{(uslRUXQXkG_GKZEgN$J^)K9AGWtJJ`7b})5M zrvBoDjdV|S3+etNYNtCI+7^vz9%!F4)1H~mG;1T7i*7~k$=uUEe^JY#`HPl{+C(jj z8rtq@Z)gj2+RNuNhmNx^iUa{AjQk7efj=W^xiRArx!h#KXjQ?`|=v| ze9C-{hN|Rhre4qUqkAn6-P~=BFRjKC08p zEU%B|zN?02(rK+C^A|1FAo0J{A`Rqq7Al=DzOEE1m7>+VX!^mLOy+Q7Ce_ZrOES8X zOX=jI_RPVXtM+dG>J(#9zig34sW_T1-J(QKoi%2K(I9ELmtT_7*Vd^A^Qv{8O7-+a z6IiLOZz}X8O3MQ&{orV(Uc2@qMsJbE;P@I+5YknfN%yx_?NN*F#B`w<^vQJ*U9vAo zm3!IIC;^B0Gl0m|O#SLAj=G7oA~0)p-R|}m1`Csi=f0};l+&-M>P~&b>XhCm@OG@9 zUEk6;8J48w3uo>k}Rg>xdrKLO5)S~7^A-ZMJ;kggg zp3>77XB;^Nr6hi^_LP0Qfrsb5t@f0cR`2Z57P-bHsn=%?oliLRw4c8qnJnltfD|w6 zmD-2e7D*mNC|c)tROxxOWt2rQEyGo9r*lcuTn>(NU5njsD-GL{6i=8~s4qJ{AAQ`- zK)U0&U75dxc(p8wLdTPm*XxQ{Es1A~)FL8cf104M)vwTV|D`;jlCXbrXhM7Iypnce zYK(`BN>Sx(DxC}V023EX=~D$uVBJgduqICI=^%gBm@{WSf6L+wl0Lp>?`u za6x+UX#awAihmZ57C2*Pw|_x;{^)+4?BHaFPKulqbsmec#hpEb@aG0vY zsya;7VO1Tb>aeN~t7@b|)o!Zt&*E;XcC(kHYPYI(Q?*-FyQ$i(s@(|-L`0#sy$z0y1{m4ZQ8n~8#C85W^QTBT-KO5xiQn) zsE1#fbVH`GwMEZ>>Qmu%er>!>-Nw6h-?ixykeWFZ4Xu)MA(JybF>~nrwYn)DPDKyy zR%}o)CV-tlSSTJX);C&=F-6>{?tr=(l$Do(mTl99_`fa z5Ad2#E}K#GeiuWT->G)<)@*@GUv_fI*8Ebvc!)uL%H(|q^pw;7CNHHIf#cElMp9qg zp=~2;kDmLrq%;@R{d|9O6rSsJC23&*cq@=L6KY;!W_%0^N+b7za(Idj0NTQ z1G<*k`+-#aeqiRoq1R{Rb|JH{iK*M1N<|_G7D&)M6NOTX$BdTS#&l0Z@64fvYi%$N zHEH5M@kktMBr=)$rnsJl;V6T!T0=JTSSG~?re^NRWImIs?`rCZpBu+Bz(;0c^~upg z$ zdiFP{@f$4U>_)M<{zbooO?$pB7kSm5@4x8e)Y7GLx~Mir4@AOfDowPewv8W1=>r(P zDvwv1%^mFqpfTC zLrJ|~il_bR)P?rs?8vgrvd+SwJ}-lvy_+YFVS`ee!v+4%j7=%}^J z`e)jM2W2%&wnkquwQA8^wbCEe1;TSzEHjPh?*^sTQm)akUvJhPsi|B2jjfC8p8e9b zE9*{w=Py4~cjjMQ{^`1>J%0a(>n@r%ysqwy&kuf~?$l@B^Rc=W&;HTAy4t-Tctzbg zKVST#y64<|Pkr4fYp*!7Ztb*&HY|9ah`|MSc{>(Vd3Yh5XtqH zM>l5b7p~Xe;Z61pbH7vGIx3xqQqk9Nwn3cE9Bx4RM`>XKk%zc1Mmd=!XTY?upk#f2aEx?CbdB|S6K&I}|{hX~W+JB7m@{_l``K)gL z7geh2(M)ws`MMx_!01=&l;(Fvj@rK~t{LG={<=d%f{8Ec_ z^&iZvJVKnFSTu8J2|s-h?JRU-c+a6GJ@ey@yzYiC2uso(UXbpnZw|X0{mlYN8;-RU zqODc^621EF*9BU}b(5*5Qrh3@dvLpAN4d@)edz+WCqF80$lmCJr7e-7UVo8qaCm{P zU68)sP$I=Qsq9gTx#$n8`~C5wl||+<^&3KS8XMaz{T8;WxOQI2T=cq1chCj>fkeN( zvr6sL#h=Ua#E@>hnbC0{GxZ&_ICVT$W)5AbS6cZ&rj^X;A$vJ-?#WyRW&wmZw(!^{-YI#(x!+ zF6MNPxHw3Rh1pbx7Kf&6Dt;rI$>`G({clD54WjmSd?FG3ng7xX(eet!Ux2k$N(!TG zVeMXhxw_Z|I$!4Js!3U^WBrtoV5)IxF7~ASuSBW&Q~hJ}Cv#(|6#quZC5zfxqyIH8 zUvYkPwtTU^1liv@p%k1fHkZzqMrYcUM;}GSa!|ODSsrUEg;Oo?7m__SLf!93%j~@Z0OmxuxoAm_U>)zuC=m|?%J?v+t!8p_saI}`CS_}>$InH zgCrZ*Zs_h3>)x>GiX~l}+BbG>+q}7Z^CmUADK6TyxwGp^q0L>Jwk?9~=;{D=cU%G6 z*rgUXZSL6;343<-ptDW3o8es>w``M_I@`80-L+}QhRx}&EnQnT>fa4p)b7^yP3yYS zU0XM=Rrh+3rMr5zcC1f#?NF2y}NTw_vVf(7R&i9TQ{%U+SSw3)Yaa-RXyI> zgykNUE>Q$}wzYS5Zr$4T+@`LLJ?nZlT;0{ur5f8dZ`--0Yq2yVuzAb2WwBUJZ{MZr!kHdr#NW=u|b@uWaAYEuXr!b#A_D zlbY<>wtbTv?O3m1bZwLCUE7v)b!^_WseO&w?doiaKqMz@Yqqad_%`&Q5p|7|=B}Rg z+arTZ7@Ljln|5yPTHDjywQa*jjrVr5D4AU8Z0=gWxyQ6Qv-Z57fM9nU;-Z6GO`qim6mma^&1=T)le!>eb76OOo+NfX8%_j=q6z>ejoxMv*4M#+D6jP+_iFf^zVx3-*cmXS4RJy z7yY{``uF^ih0olzysa%}%VV}8X6MFiWz5ct*{YbGKN2+)HAq|kV=ekvMn5U2TfxUJ zOG@Hj8;tG}t>{Rd#~x1BIwqZmS8o~Dr{4$osVV)Dw!Spms*kP5N7ra${G_v%c5eI6 zhWboPmnO^3ZR(H(1GVS+Qe!1F{ zk=7C4rEcrUw6D3}zh2$G22a#FVZ*TPZPi@VMR7>G7S>$YO?X7rKlExo~)Yd#K)l&87bG@2AiR}B$ z-d>(~@&vcG_7}8$P#;0YX4(GiBk*OLozdfx+S&&*?Fa1}*xp_}SE;RiKx)gprrnd* z);^3!CB+T;%gb${Hxity|G4HW6S7tMkHpMGaVR^(x1BXxBX3I0*cWa!h+uo$z z{9b)3K3Q9HsG@a!Kvr`Ly(#tFA1KwQ*P*Y`cCxni z@z~c=KYQ{w6f5HvZy{?&!mufEYu04el*eYfwyWdMll=u;Rch<@>onS2b!YqX!xOc2 z2WY2j?YemCp7>q;;;eqgbk6rgtur%$>U7(Q{k^ZPS@_OR_Wa<-|MjZ&yS_Oy6B(Uu z+wjp3AAH@59{u<4@A~-<9(Gr;>`qDUQ7y?awqa{x~+KOV^a@J+`IbS zEB^lDzuNWdYi4H39X~KJ-L~%=uN?f3e>`pZj{86Qw#Hlk=KPtNl|D9c7~<~8aw)j6 ze7ddm_B9{xf92aR-_p8v<-hDa_xqJ9`Rs@)l?GZyOO{GLMxU=stL##qJ_PWF>9))J zFQ~ok^SvW4e9|{A|BI9MoEh{n8qw*t6F&8l!Czm#;EnhF{ONCc_bos8T;Rx7{l?oc zHcQ^esWIL5{I~zz!bgYaUNklL=BqDlzDa>8x%J$s{8T=y6X)1;+f&BwyZq!pdYMNfxy z4G0_D9Q`tvB>HMOp5B{_LZ!fHc1*WD_VkAi_4ajTKL6~WymQCrCf^xEyELt)+fviT z53G6WL-hw|nx6lapWZh&aA%{wt0@gi$sL=g({2C$?H8WC;Zvu*qHnmR_pII}Z9)4R zvtx3n)Gwxc$xtankxsY0Y5Vu)zwev>H2%n!|KJ7pFYNwtFcjU|%tZYzSJBct-S+6e z+p7F^ae|5v$X9Uj6#&p|1f8xPsT>QOz_rK)t&OGqG*Y)2WjEAj< z(`}ExF8hZk|N7?-oqg-Cc6{!wZ#*S%eO-Q3znTyZ(7IeWKw4#|+YVke_i2B;=f@xY z_&;3u=j)%d`>R3y_yVLFrJk+jafJk>j9RP55ZpdXR+>enuYM&gWptOmj>wNsw=H<% z=T3j1?!~=_KJk{H{pF*-xHwRWuLRR=YwrHY3wFKny!wAT`=$3>`t5&wSJ3MYeQu#H zO}9O=YvpG@_2|{tTy)}72OfKP_2FQR;TkjDmi^YEZ@*{%!}o6a;JsIN>}&jT;Im(y zrrX}P_Zc59OnxGB)wlB#8(x0WwKFsJNo;R#bX6;*ODO=6c)IPAkFI;sbsu`*%FliA zBRk)*o^IRm zobBIz-Q^Fy>vL~;@|){F`tSuovbB#7${*VvOt&qaw{YNn&->te?in3F_rl40loF-g z#B|%Ye%M;rb>52}yYHL#y!*xbaKHdC$D*tPN*h^iP=% z-M`n&dE5TZ?k)V6L25d?yL-guZP~hEV@*x^i=FM;^ef^mZ|d2(ag8pGf77wGL**y_ TMmi_q$MOp=yl_X`xo!U!V4eXt delta 1433 zcmZ8hZ%kWN6uaM0Pa7YaWm#fe7X4=Yu=E32Hbv^W&~9!w`Q^OxJHK=8 zIrrW7#AMo!*OUvZ#o?FkM2)lrXnM7QVRJtfyt@ zXNr=$>EV*KD5d41(3cTb*T*QW5QPf`VlCE2Ul+>@dBIWIM%7Dy(Cd_1#qwN+SZqqs zA_@&Dv{D<=A)jg^gft;sNrZF)9a3_%l5zHlB7RTdaAktoX%BY9PK&Yo24g1*(-0e! zO+@ac>0U+G4%t5|X5fNtqw}ysuso%TK%-!Llmi4l7A#*mNMK2@VpqhJz>S&IbO zJQa~~ZcN2k7J>tPftj_-)9k7u7H=9-4astdvask zcW(I4X=`7zY9(17wN$+sSG^VYn>ST}s(FacF|L(;%Z@2Z3xTue@f?p3xOSc$%02TS z7L#v5wm%xreH*QcxF7dh(SpT9pNE!3R^pOJn1{e&$<#lwSTfoagyf$_7!fkg5t)C- zV$$D_NLYFN?;=!$T)haX^&q+tRw)0DWfndulPOZ7BIK$-=r^7=OY8;HGQQE2%Zfon zPL+w=+v!QA7;hucwZyXYa>8*!G_l0K%-S*ey`_ve*|MMZ$5W)SiN4? z2(e+cy$QilD8qg>g%o8VWs181bp_0pq)= z3YQo^iKc?{95g=8w?BhYOQN|Cl6XE=yp_b;ccLIaA+UQ+ zxP6bM*arFrd)>n-jOjO;xS{8}%>PfRe6Op^?NuS)z;hl8Sp5Ti9vtv91D{N5S?RkT zn5lU1*EE~{bYgc58jQRQzBlqL8~M;-uXV_;jo52zozglQYwGZa@P*ylWW}rWx${U} cCEkWbTcZu*{02(&HdkM7VQFb;i)EkXKY%uvn*aa+ diff --git a/pretty_printing.cmi b/pretty_printing.cmi index af94e78199d04f9a6fa5c5b392bcdabb683168b4..fb0adfbd14ab7f56a967583f0d579d88a23ef521 100644 GIT binary patch literal 2464 zcmZveeNYr-9LM)}J_poDGY#rc%s37lFZp^xGeTu8AgELm6QeOP&bHj`9V>Tx*WQuf zr1{3wAH|#vjwQV;US64IsF{JLD;d6|LgFi#CS_Wfp@gVO^*p=x@DTOK?tGr#^Zeev z&oldMzUcK#&&kP|YtOQ;S`*pBaj{(-2N8~oc>+HZv}whv6b#k~epOb2vf|d7w1*59 zykZbwZHK;(*SCklsiLZiHFGq~D2BYlDcB*G5Ahaj|3!}HK4!Ry;byYZR;9?nLT3Dg z`fTBw^i2Q13z+KlA`$dX^;O#ivLD&vSnxOD>L0V=j+R49;SnO}Hpz zD+9}Nu+-`()udNREprNqbBb6V09Y4Q2F+xyTM?qIZ6i^#7Jy|vSRy)l*rbgl%5$?x z6dR7>0%#Z#cw`;hQ49_C83{J)1+cV(rBg=*CY>h1D&~@4Q{{l5N?yO{ki>G21n`a# zc4%{U7`uonH5ALL{aoLU=CI*Tn(Ye;%_Qyf4j6@CRGf~=Od3bhE`5@u&2p;ZBEchL ziOW?fASo517vNp9CA7piEX&O8aa4$E9!u83a2LbfW|?)^1>JA>jW}dqvbB2{?lsRS zs%IuWYFfuk`=Ta|nOd<4jV75-{bl6NME%yY4lcesWz^#IWbV!(_qhpjaN$uAiq;`9>b|K)G9I{Jx0K6Y< zqL&oYM_v8~mGdyFKKZqAwfg>*IZ1OvXXBl>pO^n4WZ!z0BTKe}C&QrKRn&}5_ z4UD}FV+VC~Gs@%QaWhtUKqlR!N!39~aRO*&4^~Jd#Wdg-{-}*O(Lb=n7a4XNtym$0 zIBp`2RH2$>(L`0ovOw3b!fTq41~C_CnxxL6QTK+_>#Z zI;b_;u6voZo$OWt!shiebgvrMDn9QlnB%w^`02n;MElQmAF{vHrKhA$OVC!#eB<7XJBJr*+LV%@(<7G)!aQ=sLv~+I zZ`F=K{Ugnp?Fa9c4KC2MNpwX?O(0}n)V;=irQxh3wWNue%3}Y#SN|5+cn@u61hKRGOif{FmS*_xT%&2Ikc@ zl{WM=uYB!Tou*BuOY)5>#Y^dzTdMcg7q`~W&tH_>H7rJ6mCGgJMz;9gY^mIKGj7wE z`ZMwK&n+BQNG|!i3E4}>&+BO{+Pt%KWBf<=wC&B-v@|nI$UY@5&9)|ST*^YPCWu1-=F(NpMC@efm;7?2%UlKneYewcnWqknfpc;Pu``+?|ga0u^$1wU5u IXd#~e2i&Z-UH||9 delta 1044 zcmZXTO-vI(6vyA}&TcCgLlCV=p&yiL1!Il%(1Wn32aFy(c)%E=4b<8I#Vl(g#)P0= zyzM%YG-~1+65>sgo~^~tL^!OdRpeVfRQy5(1)|Yyx8oc<%;fj}^XC8Fo9yZ($+hl1 zk=B;&;c$3ga7XZBcW)X%JO_Z90EDo)$~Cu(gHf$6K$4t8J6}?CN8*H~DUcwo-Pp;& zn3k@Gf@Lk1@@8LGI#(eEnbS^gY9Qh99g~6i_E-;zw%^ktv@n zrHv_{GbsTTvG@y}W`V+23g0Mvr?4pXWdvkH(2Yu0Q0Z?oD7F`(^}HnA6i`*1ToZl8 zFl)VrfVP+e31}-Z#C5?XR`&1b6m>O&tY#q3Ky=G-T$tSzCz#pR6y=27hA+9xDe*tfP BhBN>G diff --git a/pretty_printing.cmo b/pretty_printing.cmo index fabc2c59be0825958d2cd76d91ae185e822b4518..5c5e0580b4de3792212f745bd5a8ca2314c5d9d8 100644 GIT binary patch literal 12790 zcmeHM3v`s#wVs{%heXKx{SqdC5Rjx3!Yhh)c&X%Sp%o|==ophB3FHCE1VzDOfkIog zlYm|mDiuCI$MsEAajmWpjzN|mls>x0_bau?iQ>#|p_(sIA={Ih3 zUvBn3XYaH3KKu30AE(u|wp7*B)Xef!dmN4-Epr?W$F<20M?LT$z%0O*0O#;r2Am35 z4VVkq3Rnne1h@f{0DQ^;WdQ1+d^+HZ06u-`yBd7z69CU-0`#2Xwb-LCM(0kg)mKAJ$M0WMUt1>k9n z+@Lc6S%75#)uA=ZI^okFA5SIRmwwR?)k(itvlsJ=IcMEx15yB=v|r<)lTUn4s&9Su z=1!bp+*|<4EduaitduSRJ%O8e^xlb>b*}O%%e%5?bU*Qo?q5t^<=UW&vrE_U=i=@6 z$4+nZs#onWeyaiV02Y8bWZ$!H_*{rj9&@a7^={DAksPiVvYizU!hG37q;s>yHD91I=Wk%N2!+r7x0|o%x0M-m2@@SK1 zDC-6Ap&s_2+TvVfpZBNl79{i?V^906QQjNuzj<%*Zmea>(hu6!`}TEi8svD6v0zPc zo-*I`pLb(!h~xWS^>Uwi*7bDI8aM8fPrsF~nEUbhpbx5xnDJCu>Qs4R-c5OWPIIm~ zqz|P4H-P^4C+5#5#JoRe9!WT(b4Yth*YUYvFH8m~PwSWV%HsA_2lMe)*clAW9%7F8 z=sD7igRc4R9R^@;>9Zk1FfPn3>wz)53qXIE3qGtZ`oUZ?|Fp?E9|@p5pB4bzIkys+ zXXz7dYJX7w2mp1K12q2BNqx#^eej_SZH@wr29VE(J~jd3^UXcpp%uWGQV02*Q*!~^ z0IX%&Bv4N4Dp7VFc$9U<$+Ux}%~b&2jqg?ZruCP|&j63{(YoWEDWh>^Y5rcGf#yTq+^5fcx3T7!OU93WD4+V{ z`HTl=SR;UW>W_WuOSC@+d(_LgHv#nbBjdza>mKbf$F#?K`g`qBC;ia4u`gJ!+*jLo zBd+yW>u=ZooLL+>Q;u`gKMKIOP`CEB_Au{6|7QW{2af*D{ALZa9_a^VnNN*fU*{Mn zo@1@)IjtoF$6`GeGsQPlp2fvcWjB4&&#e z`pW)f-WglgfE%E?8FTfKe)Xj%@eF0Dv#)x1JfR*mpQ=k^M8DWey03oq$Hw}&`r&U1 z>SX=!tlGPj`r*v_d+LXM&vP0>)=mmQ^Prgd;Pa2#>AQBG_#dd9uf)|3-#=PAoB>)p zEubp^#H=7?t6CDu)p7!WnWGfO|cFc)RRjp6A?T4Q~Ljj#;||^-2BY?~iz&cxSb#cmnqL z#PevIzECG?U-j}XeE1%V-`C#)z4cHjWH}S5a~6OyyaRospQPy{^Tj*Sh95wF2cQX{ z?`rPxQGZlNZ+7(@?b1KqN9SK}zB9HO6CY?k7xIf}3ye)HUl zOE|~(H0y{!U-d4GSK_<Y0)@*-kueTaP zshsOi4Y8I9oOe2(c7l$dmx=Rf8~6(WJV&1P?F7(#6l>qHpOj{Qai;2QznE+xWI5Xz zXP#4AiR<2ecd>p{UhOMpZ1`~Iv2WQ=Dofq*J+5a;vESFsqn=BtSN3;&jxS`l33B?4 znmF@%^SwVaPkmht-OP#3yb930>5Pv@Z!_=OOE}kCy>kBbRD zyO{OFm|f}|{okm|L|;Ftx}1#r_qU#VtIG?`(ZsqO1v~o9!@q^FkN926-+i+He6Lei z;w&w}K4&TGKe7MgXBvBywch~X883j(0ziL$JNyB*=@0M7{E|-8!!_s8G=R<<{>I=l z9Z(K%a)GA@pfj9jbVkxo{Vh&;`o<@5&d2jM*do22YXwhb$ADIS;WPGqbY`o5FJ#UD zbj^5Q3E=Z?B>uYQ-=J6&b0uOCQb%40j2=>a4!Y$X)f?A0W<>=Wq3~YctP`73g}Ii zwy4Jo;G;IwKF_Fq+ELreCuWUMzsm7lz!>l$9s)=OXua?ZYlL_VAU-B;thIi4rni_e zM~of$#FQacJ){YIpAhFqFn>$vdkUoK1;)RI3q0!{*zp`rtbhkELF;m4=a-0gx#Lr_ zJN$vbO5d`M=C(j{TjOjQvM?0t?iq1&prNJtHitJ9+EiVS|5NX)>*%Ok>1*@{e02>C z9S%rsvMh0ICQcT|HsXQeI7pl(jziF5<%#16aiKU)6PJis#DhgjiOWRB5f2wx!*fGL zpr_j!Epn8&LgXZ|N0J=G)sj?5JVBBgAYW-5Ypq-A_pR{P2PDZDx5NqI^SthicrDIM zni(X{ImGGW+(JB1oV!Ay;C62)7&PD&=kLfEEYA0UtBjq+E$wvyU;APoA|=)s@-49@ z;b3sn(6Nt%!cL_%3K)TtZ(ns&8C>fWjs7oEEAk8u{LsD zB32OCb_%}GrHC=yMx6;!bi7!*iHD1|pEy&jFtF`MXLFmLI~qH8oN_mag}86BCW`eQ z@f5Mn5RVX-BP!}j;no+#RY*KjTyEm=;wndqddAoVj@ryFxEb&hy*@WweB%A!aBFRj%^{OPVBmRXX-%EU4l2Im`tY1sAxz<~fe2i}G zxuU+sU)QlaJa*anRbAQIB90T{J|ksWVJk`Le6LqhTA*p7NpR=NP9GrPZ}ru;x3<=` zHAqUp=qGhmOWCNfm7#PMHLZdsJ1d<5v{R$czr3riMN*J8 z*4Fla3I+FERy(6D;O}q;n*8pz_6EOuWqX(V_PVx!JJ9ZKYHn<50R-ITftAbr?ushz zb~d%&?yhTTx!T>{;jS3VE&m);y(0PN6y!Zg)?GdUJDqT^pP^&Jp2~l#|GZORks84jH0W z2C`aQa+3@U8)CK$au}je2H^@|&67c_NS6$jK}Z{jg))dO;F94o=#1@jaL@3P1)f%T zwpJVuO8#KU9~-vTDP3bCe?`fHaaEN0n(ki{w!W_PjHt|5%5>}g%&^s?^k<_o)s)$y z`*XwALrO1-%8aATcXYolY=x9=j>?Ru%nsde4O=^v?uyDxpv)7xzcOq+sq{TjnTeFy ztNZK2);^{0GcqGe7F2mmfSy%Gci1|p^fzNdCPFVLZ5Tt)D8r zHzs6abW|Dp!`9E0{$WhW1nHN`_;DDMB$B|FV?riMZzjOz!W_I3}Gz?A%e-<85|O5yIXOGfMBXq~UiwT)_j7z2{V-cjL>cStDVnMj%24ys3 zF;f@Iqf)F0m&{T|7Z$U1u{tWnl3?FQ{JIB=&+Fo=Q7P7hOBN~PJ}kbdiwB}oEDD!2 zDB~e4{JPj4m10%6WT`T~hXvkFc37S;Qqlf#Nr!Ttf>@_64#dRRK`vRToaeB(Qx}J0 zVs^;ZDCcJoyGIwtVq$j8HYn#f#5U^UH!(3gX!k4UU5I@{7k`Y2*-?8yIqyU4L0xO1Db}suacl9m&{ii0?|qHp6;UG9EWOyCfrQc6Lj~OJ?Uu$@rZio|25y zhV_hOrkI_lC3B1+4oK!W!+Jq7C!gO$m?zzmw@>nzg%i4X6*tISV~)HmnHvr9bIA81Fz|KB zK4DntlKp`pvLySgVQrQin8B$6$*~o_EjeDp`j+I}VOVa-x!3HRlpNm6m9#^0b{p0x z$vI?p{vp7Y;_kn7fQy*GaB%HR(Sj*VcSkav$d@ zXRYLh4RMp?zCRp&g(vt9j_U8!DO>>ofJ$r#8@e~)e!rnfT49c_e+7DzN@9c+}HV>6xe2eC)q-dMr?3E(BLLQYOTDO)+k!}13 zQiPbBABjcBjO@Qk5d-dWZk3`lB=9X+oMMPFDb6&kN2J(X)EX(p#uUDLi|va(A;o)* zut$my8R0WhY)m-6FD15~8Yw9>G9o2zBlEnJc+JjKDVc4Efl@LbM5Mv>3tmc2Vso?^ z681Mr$p_Jplm@}GJHF8$DS}c2Kr5>BAT>MxDy4MHW0WlJ@OL)(+S`524RU!dW%pc_ z@P~!U&-nvg9c@$F+gtF$a(?9&NxBvPf!tt|t1$mAFEw_mt1GL2X*V=Yhuef00`?|KS&( z9D4V&6XW^*iZ*^P6YCuzB9J+lRg$ zr(CVkdt*tQBU700plANzxu>?*KK}G;|B|-rvKOD9 z6beQDx)bzNq>Nbn+?QTB(B0NiT@&bjI}~zR`-7epuZM?S@u{59m#?{RVEIQsy)zV= zG!1_P!ndBkqphyxy7rFNy1>-B&gObV>d?NmJ4c=_|MS7E4=;J6;g!Q)=r|bav2uZv RLN4cHfYn$}#5>yS{cj9~JG%e? delta 3020 zcmYLK4Q!QX6~51R->;?Z?fv`i56vAdmNE-;<=*}bx&gTji&R}G2Am+wQrZhGZRroU z2D0KUrfe*3q4ev>(4u#WTNA4pbkjyz{btZ%sM#`6XG8-Le?n>`I*D^6^_=tFul;gQ z&hwu0ob#Udyg&DT+gS68t*t%XiH3%T=6G$~<%%VDxm>Q+JeRADbdmXXtnAXJVGS_f z(zc_C3HudE?0*XjJbsMC(OqV1sZq?{PLd9iMzgUrwwX&m zOp+wwk1;cnB>Zh5$rt2ub(5|lDIzH*DL4O9`q?-$*utMd!nlD4^o_jq>MYes6!&v3 zSK(T!=hxL_s3EU&4CN|LEss6B%@I#g4Rw`0-S-uY!a7u4>|qP4B}sAFwk zO4-fPGA= z)H28Zw519hoLc16FsIn(I65umH@8CFVG-#=)gHJ5R)p6Vk$9~eHLz=7Q`9)4W zb1EGBiK+o>n_Z~Rh z(mvRSBEHc&22pfcz%dl@$_zH^tP8UGOvnaYJmJxVX3V05lN^zZmXQNnN zM8-oWk=QT6!zWRP2@l^19p~UVCa!P7GcJ}1cxD8A3m!{cufcPTFXZKl*k0M1*Wfyf z@S6xzKPMghKCPwLBLUMW4hi@nimNy>W0uFOQOws$M+(Ju$sO=66U!Ii^)t;ZPgKLp z%Xmck(Vfn{9o{UaEhJI}y- zQ_>uQ_d@}9;j>Hn2Ygf#P1Ofqw}5}cH!R>je5VB*hmYnV&I9=DgjeC46U$fOR}3^A z{^i+hhDg7H-`=3F!M{m-Uifzi`?v7#7VuN}uL<}W{I>+mz&}qwZG)dGVh22GY*qd^_vphxIP82cq{5Jm?9Wxz;_p$f*Rfb}r40#?JAB9Qy@89b2N z?~L(=xEo+t1k_JpToc1O81D&)!r(sZ+Sg%lcXjOoLiQG}L`YVweFq_X-d7PC63!Zg zCIw6(G$SC55YM1%H3->x=$d%=KUmjJARH3#IKp)TW)Xfuz_SS38`g{Pm8I5&uiBV9 z7naS^4kLVnLg*0*-&$-|_})^p!vB?wLx{MTcLEU)^`E9che)Nk&Ld(UlQW3$^z=AI z?AgDK2(_Iyw*ryS3ByAc@|kcY^GxSmHumg@E(>JgU@QG2Chh$hLB z(cNK0cL@8Bh{_z=HxRWGl_GjkTz^G$O29=#Wwq{4B6?FS|3vf-f!swO7-&7-awwI? z@-!LO%43o0A8hT$^5Mm%lsrT}`{Hjnl**li5^8~StV)_B^`B9~mBl5?!GYA#j+Wlu zmd1| Nl-0GL)1N{z`G0XPqr?CJ diff --git a/pretty_printing.ml b/pretty_printing.ml index f2edd79..23bfcd3 100644 --- a/pretty_printing.ml +++ b/pretty_printing.ml @@ -146,6 +146,23 @@ let display mat cls = print_char '\n' done;; +let display_specific mat cls digit = + let colors = [|"\027[0m"; "\027[41m"; "\027[42m"; "\027[43m"; "\027[44m"; "\027[45m"; "\027[46m"; "\027[47m"; "\027[100m"; "\027[101m"; "\027[102m"; "\027[103m"; "\027[104m"; "\027[105m"; "\027[106m"; "\027[107m"|] in + for i = 0 to (Array.length mat -1) do + for j = 0 to (Array.length mat.(i) -1) do + if cls.(i).(j) <> digit then + print_string colors.(0) + else + print_string colors.(max 1 (cls.(i).(j) mod (Array.length colors))); + if mat.(i).(j) = '&' then + print_char ' ' + else + print_char mat.(i).(j) + done; + print_string "\027[0m"; + print_char '\n' + done;; + let extend mat cls i0 j0 dst = let ni = Array.length mat in let nj = Array.length mat.(0) in @@ -165,17 +182,19 @@ let extend mat cls i0 j0 dst = done done ;; -let extremely_fancy_graph_printing g size = +let identity x = x ;; + +let extremely_fancy_graph_printing g size wmult mode = (* creation of the image *) let px = Array.make (size) [||] in for i = 0 to (size-1) do - px.(i) <- Array.make (3*size) ' ' + px.(i) <- Array.make (wmult*size) ' ' done; (* color matrix *) let cls = Array.make (size) [||] in for i = 0 to (size-1) do - cls.(i) <- Array.make (3*size) 0 + cls.(i) <- Array.make (wmult*size) 0 done; let coords = Array.make size (0, 0) in @@ -189,9 +208,9 @@ let extremely_fancy_graph_printing g size = if !j < 0 then j := 0 else (); if !i >= size then i := size-1 else (); if !j >= size then j := size-1 else (); - px.(!i).(3* !j) <- Char.chr (k + 48); - extend px cls !i (3* !j) 2; - coords.(k) <- (!i, 3* !j); + px.(!i).(wmult* !j) <- Char.chr (k + 48); + extend px cls !i (wmult* !j) 2; + coords.(k) <- (!i, wmult* !j); done; (* draw the connections *) @@ -202,11 +221,29 @@ let extremely_fancy_graph_printing g size = done; (* show the image *) - display px cls ;; + ignore (Sys.command "clear"); + if mode = "SPECIFIC" then begin + Printf.printf "Enter the node you want to highlight (type -1 to show all; or -2 to exit)\n"; + ignore (Sys.command "clear"); + let nd = ref (-2) in + + nd := Scanf.bscanf Scanf.Scanning.stdin "%d\n" identity; + + if !nd >= 0 && !nd < Array.length g then + display_specific px cls (!nd+1) + else if !nd = -1 then + display px cls + else + () + end + else + display px cls ;; -let gr = [|[|1; 2|]; [|2; 3|]; [|0; 1; 3|]; [|0; 1; 4|]; [|2; 3|]; [||]; [||]|] ;; +let gr = [|[|3; 5; 7|]; [|0|]; [|1; 7; 8|]; [|2; 6|]; [|0; 1; 3|]; [|6; 7|]; [|0; 1; 2|]; [|8|]; [|0; 7; 6|]|] ;; (*print_mat gr ;;*) -extremely_fancy_graph_printing gr 44 ; \ No newline at end of file +extremely_fancy_graph_printing gr 44 4 "EVERYTHING" ; + +(* ocamlfind ocamlc -linkpkg -package unix pretty_printing.ml *) \ No newline at end of file