From 6f87db0258986dd48059fee7884490a4506454cf Mon Sep 17 00:00:00 2001 From: Bartosz Kostrzewa Date: Fri, 8 Mar 2024 20:25:40 +0100 Subject: [PATCH] pre-convert eps files to pdf so that the documentation can be built in the zenodo publication workflow --- doc/hmcflow.pdf | Bin 0 -> 34380 bytes doc/invertflow.pdf | Bin 0 -> 37419 bytes doc/monomial.pdf | Bin 0 -> 22845 bytes doc/partition.pdf | Bin 0 -> 6825 bytes 4 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 doc/hmcflow.pdf create mode 100644 doc/invertflow.pdf create mode 100644 doc/monomial.pdf create mode 100644 doc/partition.pdf diff --git a/doc/hmcflow.pdf b/doc/hmcflow.pdf new file mode 100644 index 0000000000000000000000000000000000000000..85e4fb76507152e0ceb165d2e140089771d0edef GIT binary patch literal 34380 zcmV)$K#sp9P((&8F)lX>CCBWKq6#G?Np5y;V_|e@Z*DpuXLBGeaUd;ZPESxlRZ~SE zEo4GLR6|H0El@2WEo4(cMnzH}EptRgR!KueBXDG9cXDZTWgsnNMNm^ia&K@TEptzG zbZ~WaMrmwiBQP*7aAam6KOjFKEoLA;3N;`wAa7!73Oqb7Ol59obZ8(pATS_OFGgu> zbY*fNFGg%(bY(b7?xM*7`Io#18u%q{rR&WDC?CLAmugiL@lqpCs6BnC5{K4 zY_-hS&=dRBW51)U@fz#r?}pU=O7#tr$14{+)nB;@l3xYi*}pCOwQ0OM=GpRVVPdJ+ z#5x|tXP!Mpe7Nl$Nc$I0)NX znQur*^|g23A+fwx^D7l?>z-q4*j{bY-o`z-whz>IaqS&ySa!O`Pw{gwNZrdS8NX<+ zf#uEq>I38Ss#x57a3Oed10Qd7)K|k3<#|oKVLY#bZ@gcQYlB)|uZ-IgJ2u9vjeG3} zQl5PQWqw5W4<9DXhOFVL>e{HnZK?KO!u0okYUXxaNcYraD!uFSsE`x5-* zy6}LQTK%Ti`=+#DdDTR?(@UNvoRj16*zW&v9D(1c%Nj$ zcnV4O3p4kk_DWo=iMJ)!k%YZ__i!SfVjG+U3l@zCQ^K0BmEdL=1weZ;`znXUJth7*_Rpkv#-X$6-m#F zJ5i?HA#5gY*}iQV>nv6HmKqv z%d4*-VgCdn8QiCosy@o|+v~-;@N8cC#-kIiOLSmu+MjVe`)k5KEy@S@Z7x`f{VjpX z=s}<&ZnUesq7olG&Rt;jUPmaJ@=>nvKr!E+c2FR&t z!M1`mY!!FD!La)rqO>vn5Hw$xp1T z;qAoSN2k$r>p=|`*1k~^1lVyMJQACCs6pF8Nxy!Obw6=`I?iwJ+iIdv;#+NBL{YV* z9o+~=Ub)H2Cbef=NKW{KLH5Tvsg1HJ>rO!qB6pdRgZ2&OCF#PNy+B~ip3Vy!)2EII zC^}<&ABiCMW^Ot#${S=8-HM6sgD0t-L_1y$UiCR3U*N5qSwBlSIQd;$`r=js0~~j` zvHq7$a(OJ9%H^y(T@96cb0i>9cy#HLA?yC~zza5uAredySUg~m_7I)1n!VivoOB;d z8p5LjdiZn-AZ;TYrKBynJyR#WD1PDqI~UNney5<69v~#)7{IM zpn7;j!>6M$O z=Dzp*G2)eZDt%v;nM435p0IO+V6*S-8ACQNdcq)EwB)q?4g0n{<@&~Eu8qgyvmkTb zH{WOJ=W5G12k+~QAJ{(NG64~Mr|`nb3+j8>wjhRS$6oJWZhHH9&YV=j7Wu;dU64)T zAush-C9-Y&0lDi?KB{QKBT{IlwWVmq3`dPas6V?kMgj+VQh3F zipMv`vm_bXEMg@#%NWN21!Pk%pmV%oG`#bCW0IG0RyK=`H=u|yOOTUTgeXm{k$>|I z@CSX1&Z~VB?c=e@Ho1>uAX3gk8sZw(KAH)!v))>mLk`0EQ{RwyYQKAJMP!jKSFnqJ z2XdZUxY_MD2%gI04Kj${d5QAxl_y}w9#>K`sBFT5wS~1}q8Q}dwRc8jd2hqons7gx zytX>vd%U(_Kp}78GnpEpBs{X*m8Rs8LGrrCUGmDFAfNCt1XMjBz_m|{!p<)cquzhd zQ{NCnDM0dL0wmSfJ#HeU8!4eFFOW^61EXl2-T2BRNnBfd=;a{(+P5S1n=~wl!1MaW zaL&}Jk*>WBv<%=%YcFRrHX)%oZovK}q?(T#fg4yJ7(99q?|%nU8fBip8v^^x{0$O& z6i3iHILW$;|v19Flh;N)Xh_9S)IOmC37;o}P8td{!1aFH~ z#t&>4j5)?W1^bMhGzNQiS`7H}lsTtK&J;}HKt!+hxS85UdbY=pq&lZ~dmXZgh$QZH z3=xWj8H^#`xwIq@jp={ukMv%DaL@kz#n9!(`E*R*rWWHklz@m=oHvM<#3!8DoH>Xc zoe7Fvo%uUMJInK5*y`;Cu|4sL*g%^@Y_QGo;|Pe3sTor5->k-CF~~uzG-&1c1yXAQ ztGFSX5Dm<3J`z>LF8Z;7AvkH{L3&R9rR55Q~5UhV0ZE6^NW3tYmsdU2k)}+BZAV+q_!tG zu=#!mpt$#+&pUw$J@r->{(V6p0F?49ZQ$0gH?jM7L1F`8!|wez2r%{UdE|4riQn@M z$s}@RUu!Y{ee%GIO&=vR?`>Vgivoko6z0@@clPAP>2*K_X6ALqf37*j5jx}?vp;n~ zlI$=B*)uJo2@kczviYIzEZB{%+`jgYSt1i|^*U?e9rdwR&nH~e;b!E~&6e~wye_Q$ z{uhW&>F?LM@ho9n1U`kJSX!3k8Y16;n8~+5%?FZx0ZiS+GeG$AE5sH2^VApQ?6uGD z8*+)Hr9WMYzw4kIQcW79O>mFR-GP(XxBx{~B14gtYC~iOTQF1ZQ8lYy#UM$(5zm1c zqILh^qsTkFy6)_Ot7C#Q7Awv6?P6^*VUeOu5=Py~n2R z?^o{6oN-750of;zfAj)VE>qY0Y1snt*8_V7%_Ran0Tc64V9)G>3HDLtNAh26L5}9A zM9cUdPa0474Lz~U5VB{HvC1W%0Vmn6@mYpLWPve~ecz-puajNHSOyQPjC}_m3UUo3a=&9FbGCx-4=r6fS-Hlspnw$Wb?5QSD||ix zr%3TlbB3%XYl_ZYeG!NM_AULDeEkB-SHIqn%@TdS0awjBv*?Nbl9*+T&%rpvRvK@> zHpB;FmwXDok3PlN=l7GKFgQz*1%FFtTNC^Th>Ot;`d68?i0wbr`1W`iWiSn|%x2VQ zOBiLsAAWsw4s!wr+RiP5U;5RAJ+@2d1bLpz*EMBWEDKgqGemAY-(v|w&^c?q#;$V) z0LUdzf~(N#j-g zPwjD2H1@Nac4$V3eFEnEp$($I@G{Lr$On9EHi!URYulpovwnkIt98hzI_K2Qkj3-Z z&5hrPJHO*&bJgD{QW~sJo7C;@ws# z)_(Em-Lyiw-Otz;?0~bp0n)yHgB%{{PkloUR~-A3&CLfLla;RjP~qAOOD`i-Ggdn6 zEBN~=w}`yAC`s@-mmdz7i^^Vy`Xp@DIJIjZd)~J)K^CExh8*)A65P2Z(H@i>bK;XM-Z%=(g{3*j#@JlMN}f zV((?Ltx#x1%_Y4&Oa)s9Cm#7bvE__Cvf@A#S-}^`%uVAQzaYI>ffW_Dh}9ynV$ZPN z)MT$gHo2fTdzFp)ivI#JJ!3^=#oo6rp68Jjd#{_^-wLfbmrS7*pVyG*`M4*Lkrf0m z1Wl0@{3!XNA}cBa&Z>Rl(M~Lro)lTJ7vlO#)v88y?y|4sW5Or?*5%By$O_(QZJ|Y0 zaL?p3S;7GG4KTEV_~C&RRJT7?1I+shJ*)_n+E~)Di&)54=;8nWkFG$&^mK5}3b#@P z!AQ?$DfGe zgIrTR8yrs^$kx}&2uLcK!J&Ih^0UWOZTEO7{v;tn7?&0{o`qlFz9cPWTtls$4+wJY z&qIy$H^|v%f9eZj=k@pN1a+#5^5S(DAv(1CMFzMw!JhesTwgcHxrz3ga}oVRaqHqO zUy%DABHk8DhxwWB-HPP&ae`ViaF-J;wR>F1ygR~xcvTQbj6>}YsY#+Diy=SZ!v?`c zKi7CtYDfr3pG(Kb@t}ghtEk@(TAB8F4_F@)0-eFx8w_2T5bQfK!~=*3IgkX^{8_rn z8=err#QW04GZSK-c*hp~#|dU)ya1-wO=`{`@3=e z`a#b^uTCi^!J7LJAtyvtJW%Ov;r?Pj5xM_hQkz%qTXx2ZSmzUhz~s5#kq{?L8ji4m zhB2)#`_mb`l$WFnA2Xv-62zZ^{oFDpjtBzZ>M_2LM3BEXq(CdaA(fIU51zDiD;(Kw z2Jd=fOg-MZWxuqo)HNeFx9T?}rIK{#O+Xom|MLQr6!`GuR& zZ4wRJ+35782tfn?fppU+5^^CXx#%EG#P(HVvizp4OVosiz9`%Fjm;Gwna%i&*fg$9 zX*VOsPW0;+4EkI8Mk3M-UQICaM<-G!Vv~_Sc*1d_QtA1`5pr_i=)8$sQ}FObTdhZv`Qa_k2O_S&v?|Mf+S6 zXC07@LW4rwz}ZjTpMBP2?{=Rif9|U=fUOuhwHsTGa^?r>Ho$?~xv-;%N1rP_@|%E> zMj8@fp??pIv;Dmo%SFgtO}fJgPi(}`*$}PVV^by%q)^Y@W5yXvEN=J)?Qazkhm~ZW z`$P!+6?>Ks71f@Z*0R^}z#+oxHMNe?g}j-rVC)?NXZai0NcY}NQ5leNe6-ubgV({> zN6Pik%$vqY+Drt)&NBupNt&iZCT&go4fLr~eBm45+sdM^iRe8VXgvuq_pUx56hWXz zrlaSg;6v`=^9$^ZJuz)BhvYDAb<)rAfxS_E(O5?&0)e~Fp$|&f-%kWY8ZR#EszM9| z1o9KSj^wdz=##nK;^9ceenDxOlTPb!X)KFq9ejKs+Wz`MO%m6)9Pr?9Dg_dLa_VL` znJ%!^9sAHEs({nCevLiw^MdeZaO*Kgxcab)O3?yxfZe%T?YL?E-BZ-g_6Jd`Tm!G* zvrJIn(NLH&eVnKP{TjkV)5evdE4PJ|y|GQWm6O~k2^50Nli3Mz7WCeYYaFN)kjA`% zgb2<=Esr~%5aG$c_vQ%x$dm=52A)44>m5=*@-pSpnE^3rUB9TZu7I6z=c_UF5j&>{ zM}8tNUHcWP+1_=Cp1lqop_7Q&h$0senMGGS zexZmCDq^sN%;d|cP!;jSLl>>K63DZdyhY86x5&mlHD!n%2$GF}KESgjwy?jI;9lTq zZaQ4Gj$~JFZv`mwJ}k+7cJbiO>;1l(bI-Sr>lcH8zr1M$>)P8)MuYI=*zQFPTEK#H z%L*+!pZ5??42Cw7kxnJtlaAbl0sXKWfjXj7&sX`pL*F$8LyhVKB!|%(ZClU1?OX))G0f30iEE^kHeE3GCn~ZQQ))=Gz-mv_0{QYGx)M zOSZh97$zF{FN`kvc&1x%{PT6{ya~C8+v`-2U|t?0UOFd4nEE*(lVz_(biZ~xS;o_5 z-SRzw48ySmCE-bo_mfH}2nh0l@D15`3hN5+15L7_(tbGwv1w$BVunu(M(;}qK_J5! zNfzoqK!}9D088K>g`4xiyeMDfpURu;9uG7gja_nhukkXc~@mZ5W zXr09@?FBU6UY}^HUBG=CW;d(aR-2^BDY1-@WcE2$2}}Nqlng!X4GM?2z5zeb9A_5r z0@Z7lK0fORh^^G$;2ZI{MjSh3lZd^vNyc8kp9XWEV62syj4I>53sO8kKI@89hREhJ z&0K}z94d-1WiiC9zyqV+-h*6RT8e9d6qaXPzo=&2wHIsxn#H3CkWX!@h z+GqKG6f9j(%rZ+==-<Lp2s2yP1{o-5Jh)t^=A|)>n(>nMDK2r02Q9w#KdOMY@c} zJe@%T9>3TME7gxZUdgJ1V4RaB-IXd^E3&DPoQCb!FIe{=(;?2kGn1BOHw;qgrvIxW zqfJ;kCTqh?;2=W1ct@&qh2mVbR7v*CKdw46D%yyqL9vjnmq7HiG0!ZE-uf@51QWay z5@3N6Uo%ijQm+$rfilrY19ZA2bke_q7NHR zs%v;q$|3ul=KP5lfEuv^jC}&+$gtcd0dmBJ+a#SF`7#b$_l3qUY$MDS99tF6;@C{{ zCi`BSv-zNu8^RAHWF$waZ-}9tN=NMFrZ+hg<#f^!Gn;a5Ld=AnzouKxL?Ze+awd%3 z6<^jl^$rrd$MB^?|!rYk|)TyT*cW0s`h^Ux}kfxmrux{nY)6M-JyBL?$Ep-a$tV!6Dp^j`o4i8WbORBE!2 z1M_I+R;YHGLz8t#=-`w?^Nii084z=5vM`Jb@2G0f;A8nY{!Cp9s@e2s@*+}oledxu zLC)|#5O-%@5OZf9h}@Yxb_#QHXXYj&!*OS3T!?0*fQUTnr9Tr}E}en5bsFukU-T4o z@<~?yWZgs@wMZmz(w(`-^~ZggEa78B(JSf*;GRrY0!h??>B(dzka1j@s;F}~0;gDI zIg=}MFXFikfGk|o->K7jGa_aPc~nN_%FI9uvNm^RW?19JtE9XIGRT$ri5w~?(vs1q zr0|{%X|}zK-x*zZos|<%zM&6&rCVrI9>dAI%F_%Pw_@gFuA55kC+1^($9@5mYSGd_ z@L&S0wlqnU2-)tYAVBhk8PRNpAQe9JXe$RC6rYdFGoO%%!aIK&@b-E6inZnkkjkHp)@(ar8ln@}Fqa6Aw% zh8~CKfU{0GsM@cPv+{r_FJ+I5M6oJj4lm_nD<}TIhveoH9(jJuCT`2xmowM5g{y`~ z{Gu=FA6&S`EWE^(i{ACwrRZ121?+K=d%6(+&p6iZkc+Y-PpbR|Ig&@b=Nl5T2)tE9 zM#v&f^<5Oo&?zp%QW{pT8tZkl7k9+a$dMw=8%bS5ujX==Bm8P+#WI9nJxho&gh!zeS~mmX*KjkT5PrG(ZZlu& zc{k9N2Z`q=1hYKJ9E!sDJ(k`S7+;>8ZC1qiJ#N}Bq5K&;&IcsUdVlqM7?<9L!u35c zkEU>)6Xt;it}n&52d=N>#z0-@HR~O&$8Bng4)9-K0|V7j7eppqNA;z2+(7k(FO7ri zF^&uGkaN9JpQQf+IJoWrL-mE1&x7hHd6Mdd>MM`n#ysqt3^{C7NfhWTTd8sJ19+zL zLG-yS^e7M=e#4#)qR+`1J%Q*kj&(caqUOva_y!!Lj<p}9B@-6@GvAGHZ$+4Ta3XAP`-U%dMWob@<^KFYHxAgw_1M;CZ=irF3w+t!c?K|W~~N9jjHD9GFyM;~Cp zl_pz>{{kUA{l}fsd%Q%e-9lCn3qH(PjcmBoYM4ZUH(tFGSP)gnh;)Rxup43-b}fq_hEENRPK`A zkjG>y`lR=~%dHM@W&IXC_VE~w*)JZb#pcH0)-6+?-6zf6BOc2qy~mGepnTHA7Mh#g zC;hoH=E>(p_INz8DhYAtofP;(c-drr1!V8Q)88QP?@=L%&YVVSUV|u(kWII`V~&<{ z%1ATROhSk>wVdoM7D1rRtlmhiWzuaDRluELE-*u;v&uXdWH>#yX{R8xw9Yq(Qio^< zRA~{+b=Z3!%&aHzxkS@jLGZ3-_E;$uq;Dzc5&_EvwPdIqX>$u|56`pNctEAS&h`i7 zOssh1#~0)r2P*FXt1d`my%UGT@`jWJZYxRrnwC)x!xT{sLCu)$N|Jmh!~6BPcgO=I4n&rQYxNfd0h}oy z+KnQ_;Fa0(+O&{KTYYycZYJ5NDm&*^-81gP3U&kp;?mD~!M>gO`U128-3^-p0u1m0 zpQ09a7U3}xpG#K_i)`@&!6FaDc_K|P=^c_46=iI)Rg1+nHVFd?T_eFJ!4m2?Y!ZxV z9m5%mn>_tyldx$$$S+&kDs$y83L((VHZVuVp;b0sRo+0_Z z#36lrIAlPKL*flGJc&cLGE6ylCfQVNESMyHGDkQou;N`zlPk{_Sgl|5rydRo1MRpO zB=(v5nK8(?V#XjpE+LO{D1IOqB+O?dg~lN1iN6?RQ{CZLql0LYbKYlEXIEZNKcG!A0v1H3D0*pC%60x z=VbMib&TKzs6>I^jo<}ry;o(y^=<_}C*oG{3u0FA1CbS+=iZJLd~fcZ(Nl({lA8&fJ9~wc5mVZ&b#rsm zB?cohZypI3SdAy<2e8%g-IasJYtO(Vx#+*U3RHPHudie%v_b-Dw`da$ACsnGvl7{}Da_-y;}0N1w)4CS zrrqyvMY533z*k{2jBy-GKr&-5;|++xYx8^qVR$NF=96F;9_t_7F1A?2Auqnn_=Pqh zp0`~(U+{hOImABO96wG%C3WDjAD502kU*jOWEMxcA+=hnt<0y7>hO7jO+{q!V+l1X zrh(YwYWYwg7qE7bY$Qgz$FMYI;2el9(s@B=wY~TRh;Gs+Y!aYy5OjT#wzODAXepnI z-_!z?q33Ns*iWUm5)>5$g42QQi6zVa7MFt|gQgCZ@WyA>kiliBhD35d1ujSoV&wrz z`Vb#)+DwRq{6I3@BWZIjzX_f#{GvU#+U;wI(4$!9A)FrzSJj^_wUtQtM$w;P$v6aT z9nUsY@?wQ?D&J8Pl|?Q_2#htU=&TEjF?NCR03obNoHiVCy&`oYRlq$Dryv4Vp`UaTk(n?qdO!{NDKI0YZNuy_Cx4L^1fwTrSU z(1ffQkT?#1$u}TSFh9i>%A`P4Fp(dQ)L@U3rS_SmxaVQ)h)f!ER(C|E-KbkT12F9GgUy?WyLdgSur3cD^?gE^9ot9!pMhk><|`tr=AqT z;-0q!2uT#&>&!-pO<0T*aar*IOjHbjBt@Qh^{iC86SH2zVntYQ9w97pb1!>mMLC$u zQ^kuq>Wu=-FgJ3X2s93bLU#|3-Vv?LcXfTQORQiTyl_;pl1O#52dP@-8i*X!{d-p88TQXzK$vrwIGw%DIFBc~~sE3Zm?BF(P6GQ7ZBR zl%vRkD0|$DxKi?np%+96$hA97s@fMIwm6>of<*C?&$Cn6x7B52bmmfKRs_13OYsCB zV=ibSNrQASm(neL)tF0ZmX2r4#mB*10$|LAvBv2z7sQLZ5l;_vN&d!LiuvH3bs&0t z+!aPDB3XOAezBIt^ohBkUbbg{h`FG=oU&5IU8=iMjJ?D-_{)J9KY8ED4XBDEzZi@| z&TaCy`~rzfi3)I9FIfyGFZ+d93>KHh&0>m4TFzq1RQRzokb;!U+eo>0Skxwd(ac_9 zEC%7?aveI0De4XuECwOxWNXG^VjL{SAz_R?mnOs;VU}gWX8SC{Ymr-qy`!0uo%Nv?5E3ahcMV6-^SC0q*8QBRJ1&>AB)E zWz0LvrJ@<*WryHin2*7Jfp~A4mW|7xs$#ig^D3ITc{VVcLhYIXz! z!Bd^+)l6`@AxYsEf+&KY$($bcTFpIGRSQ>WH>4z3Ha0hC4vXye@uLzI2NGl!4v@E+ zUbjS4zTj5F^rocBd704NAnE-O5nC*;KA9K4a6X1+J6Cfbx z?7$wM^&8}zOT6bB;$by6Vp1%# zns*IljcMdmk*yfJrR6}BbE-F(#R=DFBohl%5fxMD=3j)!f+?1hWg3e(qQ`)we<{Ah zRBy{Vt*EQveh_=2H}lqrJ`T_7RO0CwpG7!CiKp=fOFWHlMDA(KLb<0g$=K=lv-o4D zbCe03PLq+`4taDpo~Te2BB9B?ETOWFnFFnGG?4_a3mxOLDuY;3XS~3YKK%=k6&h2p zyiuQ_%P_u#Bjv!W!xEGJi)R{=TGHjxTFxinY0v4*0mTYNJ9G5$Sw%n`aqSJZ4gQI1 zpKKDbk@?LN`*{*%k0@F1im;Th^(^!7ikK}mKKDr0igs@z6c#gD5ssHEfDbry!twOo zRr7noYef^hE5ocJT2{$ljAY$oS9>kYrXmcqm{S7pUc>4)DU$V!bIfYEciidbY9_mX zK_am8Korut$4=@Q(#o03=4&CX8)9Mj3TfS|y{rc4=+|x=@ZKyp@Y^r0d;{*bl@IfP z)(v@#g(zAYEd!SMvLQ;w*aJHQa@L8E%(sHN0XZuVh+f5LITMv> zlDXG#>{E9=R)*lw^(M=rwZP>xuV^nYZS5S_CSk&(S~tW3_7v4xXR#DzMYW!BEZ!m4 zQq#0h#81d!m+_u&NH9=1PP%0^B41%vFE_)u);c|i)B{_!UU$84N9tX|X78AV1O#GC zrK_G_%n?i&h6u#{HbXvDjYeRwN+LQ`xA5FF_Z z;w85PX)r7Ga1gZQUTAj^v?S|_`3LrJ$^=CJz!|!g{6Mth@x0sv@qus;_zcWD5EHaz z#S+3h@VW54sAnpuG`s^X=~6?-pG zWB=9&9B|&_&wN9!hYS)Ln7=0E`S_4mNIY-(f?P^KgU&fD2#_@s55#LGwgL}51z|RG zDLq?FPU}k7PJu((ZyNIKJ>dZ5<)IwsL$DjN?CYJ5)JjQK#?yY0y{-bK(1xCF-KIdZ zTthK?Hw>T|CMvL#?pbe3A6lKa02J#CkeZbTq5ZfOum0o}6C13L%FKAwzcf!NL#mkA zP>VU4raZNXt;?uBqE$@P)=&ga?C|FW!BsJ_q2x0KK{wxRh)S1P#l$^c+DTPRjB!*< zJP=h(Y{hgqtC+~cGg}c=!3H~oeEV4&SKm@X8_E}?J4KW$zhpP zA1|2L*Z`pZc)`R5L$K;xTfxKw@q&qbMn!UyPV1RgJ%*8m{Nh`P{+?5^Uobk6bG}?& zTvfewg9e+~RT;U_s@8tIV&dK>E86H46C12T+*+g8MSTRkV&WNl#l#E3iizC&V(AUM zL(THwpSX1`+kw+h+fbrHMH1Dpyi{F6ubHUBq0nnJ6Nwpa9c|h>{a~n1kom}>W@5|c zCR5GCI1a0sc*cQC0a4AwJtjYWbf2ECKYGE$#>R=JTC?wEuD4R#P*1(xb}eDj{flO0 zfK@S(`{vmywr>)1t5r-C&9V@Uh9}*eGg|_kQ)iUS zek0dt$s)~{A@KZ(7ixDRUoA1>g7~MBiAw>weq&SqhTMg4KYLh|s@4T>?J3543yc5n z-`pK6P!N4t_)ldmKZn2`V1>C5L|ShM3ZNk1-XIyap2}y4q-0%;;Ch;T)i1Z}B)XY3q4Et6eIo*=8^^`AN*s))i~8@t?1ivmEXVp=E69 z#U4GZl9f|HSaIU@JT)Nn0%b(PAcqopy065(PU!o@95kd@tf_DwYz;a$ajO>T+8M{v z0|H8cOs@Tg!N|VOA~)zPmbuy0sw+X}W3MgLzvILh$;UbXu?8FeIqNjY_sSJSyXg~y z;}$b+5k-qW^DQ8>eL#&)J$$S5+HiK&-xoJsjFoE8*1Z?4Xrb2evZ7m?@H=A50 z#Jzt*0(&W1KJ$Vgh<>rl9|9q7!1;+!@EdXw0R+bOye=XzSaEm;1To?%m7oIfaa6|8 zIu*cK4w8ORfv%PeP6T4;2NVF206xz1A_-8z=yj0*%pmCDCIPIpJq`^xYj7IC{CD15 z`vnr?G$sugH0+Lx24Hf+Khc1p)~`+iV(4oKfC#{OTm;~JzzM*af(XEwqHXiXLHyy- zv~}VCV1e8g5Y|yoBd#sVZM1n`Y*ce^ZN=5c>>kl;qQ)7=x&k8fI&TpAoo_gT#w-kl zW0r>EzKoy&tb7lWXAs2tS9bK(3z)8zuP?y+(Ujr9IY6XLWyBoMIBr-#w9fMe?L&OR zH!9}fTj_K3t$sfX5P(U~N7fyhz#PgMeFfz2fdmf5Q{Rwy>VN#VSd{d}N)!Ni(%}ya z{!ik7uo4#9rci3b%2lVZOh~!VqGZ&-$}{#&I}qXJVyWWkc*!r+a^dBo`j7%I7u@DG z1=gKaI9{$fUKeX#tcSJ&EfWG+=ep2xL+GS;wA^F1J9E4|V_(IA2s6(chL7zVj+ti` z!pxYY?exc4{L$&OdST{b{jhUC(xZa&ew`9JXi~!S3%6xR2EzD_+~cXN9o^V7J_~b* zZvAX6Lz}vd4r~1eu{-zoJoODZ zLjI%HM!!I=rz&Gueu12?`%}L_63fQikW8;5TO3mTDyra*aPpRvc%eoi52YwTm@>$| ziPs77G$_t${O9WosVFD;3Xa&7*h{orQq6&c;+JU${RW(!%8{e>2{{kNx4$7rqDmHy z=b9~M*cfVAP~!<5+z<=GA21#wA?%3C#LCvT1J+n71&bd0L@ntYTB3<*TqKG8?#lIp zOt(DdfB{olP*I9r*+fGu{%V~@VC~`EQeM{?qZIMf6XoNsWk_wm0M4E9XTBk}Gk?|V zj-uaUHco<_vNUyOX79T^b&DSF9l=tqN+JP*vYPIZ)VXs{zeoXF@|F7s<<-|cM!Sr+ z-!t>*`T-C7jQ8=Dw+G(On|A;)TjUvtC~InF2fKy?5`z$N1StQ8c7q_W7}u%Run8I? z#cWlnO^C@vzAQLjdmATf^bwFuB9)+yRTG;EF2x$UXREAkO`6D$L5 zUMzL*`h4ZXbQ6Lui)MxPRYjKR!lGZ+XOajENVNQj=C zx?B7LFVG%Zp#@$HN;uYo5|@$OrVpJ_rn|_;_n8QC?`3Bo#tj)P3dWOPW&`QG8cS3V z{c`zIl!}`oi;17Lg&PqA%Df3)+}(=_?y(t97LCfh;i&~G8csYW+Yu+w9mOYs(-=!Q zfpU8yFa}}w7j>rGzg4^V!oDws`IZmkREW5uSi_qEK26*QNzS+uDJetK2uOu1>6TU! zT2SYF{i1ep%7^yBR2%a+NF~*$7NsqyaZicGfe%AH&pz-&t>+%bUinPXdoJr{9186a z=tCpDK_+8E6G|l%OMzc(lSl7z>8eu6Zj)@kRk|W__jm0H#XBU_hIvMet)(EVO$hS$ zf(*uq{8iIVB_{`Dsot7F5{mXR8yMxV^;xQ3qj?9#$Cff!Eh;vIAxG&NFN@mz+_JwH zB*eE#HB-2%NKlKf{L>t5&(N2Y0;?`)-AeE(z*!i!$WI8?&6X*(K9ug{O(7>80 zWhA(|C{E``=I4Z1J(3*yR}(_{ocr@I~SsB6pi_BVQ9HXTv-TFaR@jzt( zmZ46^iIFX|zA)U7-2$_j^wer8AP@aaXuwt(yvVu;Xe)_VKBSwIWE9^_Zr$pdr4w2P z&L()vq`Qdlb~XIINHctV?U*MMyo9Zpwu1(a!zw8}%P1$DIC6U+d?6vKmv#sej~K$` zp${0K+l5mZ6cQT<0f@J*CdM&mJF!fz86t6(nAo8Ua2V#>3X$OdyGRS8n7STErzhsr zlA<=>Wm$umt#GcFTKIilKpte05Yitt0U+dQ(%#C{CnZZVHYdRwKitxyv&}44M4}9C z!?53@lWb=)7uewxPEbfr;cOOqfDsMI_sIc&^HD{B0EVQNM> z*bvAm|Gxth+5> zMgHef^SNa9)0wS{7~;$;E#6H}Jis zVg*4kVvYU_-vc8Uu}eWQVjqoU#6BCzh?5AC5s)Amct+^@ut(W`r|3nqPqrf;+QG;b z(d=N#Ey+PZt>q>cLouM|7ic?actB6heK>Qv#+lS2s#*ZT@^5I1v!prS*nz8S4|b%UF~6akDh% z_#9_YEF#Di;+6X)-=J=4@fTnbE&W_J>1ABqOwtIRZf-VT*Ekjs5Hm^p3x*GknA@-Y z>oP~5+4&Z~oxvX+$~*{-QvoTvP<*M1eVC(Hudg>pQCfph6=9BM9C`i;b99W)q8wu8 z=y-#fqvIQ4j`mrYF*#=G^wigJDDGk>`}hG4e$?}V2_}1gVa`iDLjy>7)i0BIjL+S2 zh^;f;VEf>oh>h|zsGvD5Eo!MfScu>0!HbB%Ess3q=i`aDb62y`)y$S)N_a-m*_$gm z;Mzrd<{NVDqC;FSjrY2O835No&okeUqm|}dr;J0cl^%%epcxfZNW?Bk3+lkemwo9> zrIltBmY8OnR8UlsnaH%#%z7q=CTCVJ=@->z$GJ=F++!W737PCbcLlYvBcPepC1mdL zF!Lsb%#6sYa>&r?JEG2V#;%nfh}2TPz-?eCPoMgu({#0T zPr}?BR7>|9RWi@7en!Z~8+v6`D?Go*aIyi z-_=revs^!}mg<8XQ!ULX)iK@4X#F-jPr}sFy@(}^!w4o8l@5uuo`{!yl8r!leWaH1 zPHP`cE#<9mM=xbN*T=Xj`!GVw`8jIo=fa49Y&AzhLrd|$1A!7s>__meeA<(-mnaor zOS2Az#KmPs`3$!T6@4+7JubEvS{d9j{a!jElIQhz(;pXOy)&Ybrvw&T#xgBt($lcV zhImu`wPFnJs|OswiDZOCPE&*U0kcNyTO4ZxyQ=S^`bs($&5)oc~`;AJfOm+ z>@474EP4z^arQsl?9tsbZ1|`3x;G{l_$DXYsjdmM;_YiO78|NuDsNXny8cosZF+Rl)%Pxqw_5|md z5o_8kM1XiR%&`07AW{ih1oPZRjzHs}cS2kUvO+cwN z7RK6J<4BoftpQ^;yA+ZXo0h?gs2)##K*lP`gn=2uZWcOCV(<8a#=wI;eq^c{)~qrQ z<|Y@m_i5Jw!S9ln52`upR8nD=$;de4xjWU*c9o=7j*|Z zUBsQ;7d3pQ_N|%G-1bfB<@^FWBf>Le>|hZU-Y6V}<~owRC~iMEkPv#%mhUZcAt0gq z##6sQ+<5|tiX&^}s%GaG3dGDJ#NHuCtn;TX z$mq94As;U%2z+Kae2ODxK*+Tj50U|4kF$7|3bM#bk$B#UqZ(zE>lg5NEVIJl4K%;3s!b2;)i~N?p>I>YxP07wRt`BEJJiDD7YNvEdjp`8BPaIYo6MWytU0UM4EsTW zhi7_Vq2qPzc^T|*ylJj5-(L0(tbJuvoK3SJ?(WV&aGSv;xVyXC;4VQ!a0o8J-JRg> z65O2t!9BPnNV1dneZPCZz2~0YyXWluVEXB&th=hZ57S*$P9-Bcb*S5#Rj^TR<8kS1 ztg{=LYEE<+p!9War&L0Mghu&&-jx?pnq_jR5-xC?LWg!-ZgR~>{>jp5oQ(Hqm8@jF z<*#&7?N#ovdKG7s#U*b|1?!^;+6)g+&_m43Ji6P?y!p{j z698i8pSak$uZi6}-^JY;7LK`vyoi75a%ZgzTePn&zH^f8jio0}v3ep^HdXi<#$A2m zXbHtP2R17L>*qo4-;!(owka;tbD+AMe`}t6tC+s=f$jYYbiu~W_n+kEOfeOmx@z5v zM*9dQyq<)P$Z7D?+la$xd~}zS`WLcfg83X#M}#=o;-#70>0Ku*)|KC6N5OTTC2v{^ zn#5E@(mF^JX1%VFaETPZ<*0ua|28aR(1E{I@f2Th6&&+`iC4+sp(G^EF%po2OxrF%!o<0WT~C`we!;cxVT5g0UD)Tdt*Hhl z^z^e@=Q}b_!1|o`5$K~16Y!m{5z}WA_66^6p8)~iYRca+bOq`{4tk#qeZr-*x%hE) zt((hubwAlvpB0S1=T>@CYu>u7xkc2O9RQ{7a~*6+KMt(Bo0#*}$!O7;_f3n?$ylEF z;m?FndrvLgOZq)+xief1f5CTUl72BR7Rhm~;E~!YJGlC!+g|Uu{G^*5qnj5{`dGMT z)^WF0f}oeS70tw3Mb=H28{)b)s%w8ZO})47*BKC0*X?s>d|rZhB6n%jPOO)-g_@Uu zOT0ZJ&xqzX?+1(H3(Qr+IInvbK7|%n_&L(j+1VF(cyGw%+xTm|N(pC#2Il zDp=8NpAJQ62Yg^NvICm$;NLPfKgJk+M~|%NcHovZ<70ErVy&+ml6Q=cw@l-=btLM_WZmepdBcBT2$Duyf81uYe53!!59)n}LxgK5}s@ zg;iN((HLMVFLNoiEB02+TeAEJ1D#IXDAUFGFvWF>(BQH3$AAo-t7H@qS%*LB60zpl z-8y(M9fX~niLIXXp@ju9`_FPQ)0Rv>eh=hTUbB;Yg9Ds^>ND_P)e?tmKUs8!UeoXhd1a2*93=N~aTyo>khYsp` zU3Y<(ru0$d*Vmh#{k$+!2ZD`YK}RgSjmmx9%7!=`ItdOfomaS27P)l$H+wQ3`nh96 zS^lvKI<~X0V=VIhynT&4DfctZTy9eSXeu7GNg5<;&jV5UDHh9!`y}Vzo>$!22SLB0 zN|8;^{Yi)&MB6JKZ;|ojNk6gSyzN0xJ#QvHv_Dqh!zv#TIr>?eJ^DlZk^7mfE&i4M z@c7w32PWx`;1+yqsHL?k+Vj{07h2DHTtCfZ^c*cGSNlv}EfGUDMi(UK*f#6XA)Xw_ z#WTVk#|=-z?!<3=H5*J}Lgdv#eFVi{#$=G_P8I^zv%u&1!hi9dmSYvDum0@l2aWo> z^bGerYFqd5Qn6tscw?R?gI5L&AroFj2DNp5#Sx;N^RfEJNXe#eY)_ET*(k zR5@*l_JeP0PM+_HLRUVCiUYYbu)gFkl4-8*A|^~x3PbVm>{OK;C)(r76~z?VP5J=pE$y>XW-n`}gPLCCIwHl_#mmR^s830X>gI+h?mf&v1j`$4y zi=I36&MAmQEPOb{`i_SdCcQf!41ncf)3flIpRtdGC7&FdW*B=Eor0mcMIxp8Q5lB^ zc6%I9?T$@raHqsl5$n>dcp6(hCy>Of8n)D3;Iu)8|vRB|=DI?Y?K;H$4sW{#WJ z-5)=tMI12thW)LCPU&~5U$Tu-4<~xh;*P@}?;^T)(!Lvu#c?wExm8q;mAouoI1s4- z>f>_ynI%9otBeOh`%2Uwrcq6+I(n{jQA^SXRe8)O=OV?csmsHG3s61C)FkyXVqE5g zu{PO81ao{xrjl=<#JKK8ah8skFsw+H`V!E4vk|`bYZeh_u@z+g=EH*)Fs3i?$b=@} zIavXk8Wg&)S6OG3HA`~ZBnJ(d3=bwmMjG!M&12y2bH;@r%UY~AR7iIPJa=8etM@P- zP*`JD(2}CsPd?!*VTV zK7A0L3x|38#4Sb}L{#EG6L{Rs$IbxL3(fK71}JJLU$!X&uL1ACgtR2nNFy&j>fJD8 zVOP|p$9E@{{n5UyEDF_YQ)3^m^{kL?Q=G2@mn3C{E=uH+Usf8Dnt54sC<1SjJuQjP zG@pUR4D3g#Qt6^YU;-BAE+oWJoLIE45J@hxnuSjF9t$_N_H>hoP96bHkJ$OV;rkUt(n`a??Gh%FN7BN?#1c{MMVZ z0P#;7F|8&zI^(sr9d~#M_Puwrgxg7NIAm8zr9>#vyff57DhWd^%u+}lywn9JDC`Az zZ@+Em#ir8t9E5!WYbQOq#B1oJETa~hzU$f{F2p8T(EL=8{1rEZocTtz(ys9KX~TTF zBj#Cqupk#xNcqk3ee%}KkHT0ktkX))q2q9aoLbUw_Z6|5 zz1By2Ciym+XP+_q(>(6_?mmriV^eQR3VVC6A0@8ur1e~Z{in*3X90lMR5?#Z8LAMi zVrLm6k#S&~mYa9o=fzx3e#P+Bs0A_01g;JiV!*USU@u|dR2C5G#dF-sSxz0U4eB99 zkkUMs!zqs?xkb@zL#OgENkKie*q?^*;+(VA1g%3-;!do;#Wh-56dp$=Ij0VLfj%fC zusuKgZa9Z4QWxExAf0j~T}@l6-&DIDv%saUvASod{|d`!J}xz_;dI-O1=qke^jy<& z|A;emaM_GIZ>p1Hbvthj>IxO1z*_TJ)zS`mzhh&^ZnXhtpR5`k3*>K z?CH42TCrB$1>#NkTCV^`h|kcyFqsedE(N-f}>|Oj5ky&t2pL(&Q^#jMJLjxKC zu2gBrl}g>rED1I=%7z%@nJ6Fnt_9-iuyvV z+jij6M^as<%_yG>$BkZw2Lwu9v%dS#@`azn#fUs#?%TipIJ#XOOI2--dFPs7j-wnw z)*#zy_92955EpPSLtuB?eES8}Nwbz$yDOore;XUA1DbW3b4k z!`@~C8FojXkDK-S8+`%2XG6=@wWi1!61t^*;fC=w~0;(zYUiVs-J${4wScubGXN4EDrI(QE=D zw;I?$J?1=BHIqm_FLAsAMM8I#D=We6Ms2IQYiz0f`>!r+f@PeXq~`FFTDrus+pG*4 zQu5K~mRp8&C+?vF#&&`2Yyj$y-!Oe|L8nz&ht;NyJ_?i)JKlU(HQilqZ`JqUovT465P15k_1f zox!9_4w9WEF%Hz^boJD-Opl&x;*hAxb4P5Mhh4jSRZgfH^isSBXvWY2Mazk1x7`Jp z5F9uyEep(9Jo7N{VRNN=`ZZ&SBBERY>g?JRD1jh+*xFZZC;SlQE;r4XC9TpGe57#9 z4XYhEQq`;#;OtF4Ile`WSx0*X(N7;dVrwR8EA$RxfiJ|JNv>jsWj|I`tmL_CrkY}) zhTvmXAWo|{ed!7( zH4-zXg2OddqIxB67Ip~!CvNcSGm&NtB+%?iu-79wu^O&;$XF5b+B`en^P6$aACi2OG5aRiBF)JB#1xn8F^QtMP~{i9^J}6?1l6>1vdS;& z3v;U6Se2kSAB*_s5?vR{amU}Ipy@dxfYuw4+S1O-#5@P{D$UpsOm%MItB`vCI^Hqp zF*aJ+XnQMIO%e7(4YjsZZiM%(W74Ha2Fe8c;}l%Paw3&F7YkMf=k`XEq^B|-R>s($ zm((SB)Qd7}6vnXm*J4I@6U2Fzg@{mB=c zz69fsHpXj?kN3T^^4P77=;uH_cQbUUs$~24yAX2?G#t#SFLl-x18?nd$kP(c)nxah zY-MOw&qZ`vAldAdcfVQ?pu{1=G|bbcRx3V|z0bTN?#Am`e=>Rd#&MJ|HEIpj{3IR~ z^fYWyQDrDFIv_7TCd?Y1xP;k$r^pYFur;EM+4a%2dW(wC@lqU;5iXMSPdp;7C z810x^C|=jW6x-cDCGDsM&nd%ACECKaL8=^`^-=?9$?KPm|P`FQ!sc z)OuYEBV%!*oXGmi)Etrq3jKD{`DxRNh|nDbxlUPWvDRjdgrM_LF9ekcH+;G~x6NS= zgQJl%U+@)>kXZ?cd+U@EaM^emvt8vmhgP3zbRtvGiWP$<(omIc^>%_M9GE09F^pWS z{ilbi-1@KKr(zN;PH=|@94WwV89q8}eAD%mwYhWTwp(g6f*EeEgN1JGY;@VrXTflf z^<-)i&t2kpKZi)nKlo+aV|t>9B=qmwlp27ODURpH@S9F)1Iw~5amO&BRc#s_2H>2aOX?6_ zZ={Y0bSNR_#Kbo| zbwR(7&JF#cOP8JV25n4MZRL2R@V#^|~taVC+ z#c9d%E46(7N#j8iu*ni-#y1TzDf^mFg4MyiPD;}#q<2yN&e4z)%>ymdQ__F>%Qm6c-=ibN-kPCFwEYo^|XFE8i+ z)|0UB-N^W(U>(h(oc86XfG5f)<*}IDmrj7yLg^a+hxqumGZn}l@IENq#{Eq-Tax03 zY%+C2JpQD&#pwh0>HWU?ZA$|Bjcy;EL}-3W_cWoTyB~NPCY@HrXrnP`cBpg8FGVaa zPx+0_D8)s&Mv6eo9cJD03M!#QzYpPIq)3{9DLdX^&2x|U%=X)6jx||T*0q#B*BYuF za>DRB{OZK~|E)cd7()_r7#uHJm|h>OB2KBWrMyv4}IINzDBZu@Ot_8F;!Zs%FGH0!<7A zE;h+P_5icDSn=LG&UoSR?*w14?_u)Hans69 zV>UHB#YUkYe(>4w*S@RR&}gP2XtsGzT3wu%2ei()Bvn;iVlxp5WO^&U#dNGCp|){Q z1G8X);ZxP8C|AoYvP9gOcN(0obL!5^OCzMbc~FKTidE-51;nDaJy0X`e$+^j$qCz3 z(ZVXMP(-?gJRP)bs5Fm65MFLF`R3qqUHmA)B3Km7-YH^=yjMDKQ%|v8s97J7(<1W9 z37C}g48JHAz~ZlXV5XE~byLT0@+d^vQD)j=-g1F-lBMx|HdKXALCf1~>QEWV(Igzo z)NgWz5t|VxMRCHhdk^g{^AZ@HZk_K^1vi?3sns4PJT#WGIU8!lNqpL6kId6%*re zEK6Ust1*!IyDT4Ae!=IH|MnBQMVDJ>ITs~5)le;T(!U^XVL@Nu%cJRTovqpPr`aRq zxFsn~bjxZ!)z{BBBt zpBr1h97j*)_JD|O+6!%-yq5ut%vt*OdBMVcGpS_EH|i_2uCT$_5?T_Wq}^w5+jrN; zbT=Xj1?|hiQJ1fuEuA{7+rD4>8ZkQ3&iK2d37VO!zYM?#S-LPu8BKj|WQm{TwrXHn z=HFt~FR_gN#;xE3HK0B%lUY)gKgt8yl&xSpCYG-Qgckcfxx+9S#vEt#wI$0IiRn5F zW|-D00YgAh-VcH!HTecj+GhMteyL7GRqGvw`yT3XUy1$Vz6LRj#5x0Pwc`xLP~Nfg zYAtY7mOAn~!9#c6>&Bq$HO{1?0&!r@3Ck%T)BDNgo+H5&sVieNyiUBdG_>u*+!}FT zN4WQWloyOyhHLOjs{Eozdl~O*Y>XyiR*k-zBIqf&GDlMNcnlAG*=luf0^p~nV3%b4{Qa#TAqmf4qs2LPL~S7gU0WN-0^CO zfm#*VgKxovBs#1}5B&~SoPT(_<@#lKv_M76W2lyjd#)RNQ#b4Xz5l2zi9(G(AzXw@ z-Up?MhkEC}%rQJEuaG1r%jyfCHeR4|SwI(*mt&ExKefb{qbLWAW0qbOmcumM&G;ij zt}k-tU__V*INy^~^jE}G=R>YrTtUA@vy5!GDakrNPEx$&4Z_!$S6}|VRAOMAW2DNE z^e~MBvqjRz;WJYDZEQwkb#XBEZ=(cFtzk^DI#|0QV8R#zH?L%vk=Y6O)5lY3Pj8u% zoPekegk!&Y3S++cZ*g#_viVZ{zAWJ&i%1qfTK=bRYW<}iLh;waOUT`MlVL`c%(@2V z?0ODxm7m#xBzl|%^Za}4nlXE#<^@P_#0R`cQO$IGz(2na&3qEw602uzEnFF%?(v(< zx8v#G9d}EuAyfbtpmky2LvKfxeIw_odI-t1nmle{e}~&Mbw)U9r8=x0)s3WKOyh4; zUrO;c+DMOIh9Kg~!o-2{-iO^=ZyUn@szwuBohZDo5)At6z8LJ%wlM0mFDH&yfRX5N$tCw)}?Q9d!qY zQxH|px^C7ZE_vwI($tM)L&XVBB5uQDyX6y1SMxrw`0`51 zFd%|^i(@g3CPE-!X-pJ$w_m-B{R_24TQNus$%eMo9Zr0JL&1dzW_S$sgRoOLPDC2a zoNE0FP6T-&OwNa;sm%KcOd26y4U4J#P(C?roG-(Yhjvzp)Txy^Fnh^*1fPaae?}Mf z3FA`YcQ!YKt)Ql5B5@mx=<%KHg;7FB&F`7mgM zN+VOWxPye`4%7-HX3AcF1GXP_3xJ&$rM`hj_APrEhn%qB7+5^nS+R~N(#ix1Xp+5% z;z-b5M4-7DpHDo655XnItX2FrmSg~kxs7YeKA@{DC*c-we0L+lW{M&d;6hR}{GI@y zF|94?FV57eeVEO!4E8)CEYa1$oC6G5BXQ;+6#PEt3`U^Bs63Jgv9qpUi$;K_vBAnM zpr$3!WR;t-#p?O_V~25}0dMcJQ0y3^T8J>LLJnRA6J31bz!!iV6m0&nPz))3k0~3W zWF9QXP0}_35X#rP*RNEcGIADNj~9ChC59@+OwQu*E!*xO}7X(X!q|^K49A)3tyb{?pN}Qj40q zsx%Jwn$u_);44^dg!AFaAF;6J>A5*4P!V6ZuawugED-MFpWhZGZJ=x?v>nL3ru1@_ zRy{uWq#tus+rFO(lT;VR z#F#H;Cy>!-m}_kqQSuB|EaII}Sm9ccP&vG+JPtF3gmnqm?6>^7&t1IEouym`vfmnc zw1wQz+&xc?BT0~QCZ5UO4dIB%#DB}6;&E0paXdn!HCX!Kc7?Y(zaBg0Ftkx?LL=Nh zf=2n(A`Cy%{948_Lx#6eXW2@1#BUK9YbT*3GKr~*1;ErdzC5is6I>GGoZuYjD}g^B zrR*EO`NfIk)MeldWK3vOLe9GRiSW6Pj_DU_ip2q;su1+pVSEMMxU#cEP)~K(e861Q4JOeG#&(U#0=!dl16gOw<#FLy=aKRbtJJJS??%iH#+5k zPbVIp#NE@F*x@B6z2yXDzalN}D%BUOKNYIrmE`Sp%_8H4VcWL&uST+c@c@;-brnsj zME+z&nDSn0?OWR#_|mtKNmX#-eZTV3qD1La!Xr;iJZqKie5bswD7Q8|&`J5}`hpEP zF>&G}KF58Uc7W_#$f1>WD+xk0V`qDPs|K2VBbp*2p0=d2QO@QfA!@wJaEsUjqg{t! zY9cMS+V}TSYed+=VU85{QKUihi${oBWRwlF3l8*Bay6v2$GtsQgSES3O~8w;R!ntv zQv$*(VaEl5?!vOiworkthW&(}9pFTYg1RbN`^ebz+cr2A-LJ(F0_LvM>cW!QiQ_DAmi1jjsvO)e0KV}8Hzd<{55KC5ayv|n zp4U%QS5Qi?Unq{uc|xcSS*^xX8OBmK=A)~pLr93P1@tM+-$7Ztr8dvagB$hg_<|Up zT`RQwUPy_Sg;wBjwc>@HxlHSTfvLx2u`GU=?u(koN12~WhcpyMP4!imAUXQ^;UFz1 zfd;4XO6(w&rfLI|c-#Br>BNVE8s?c^_Wkp3L7`Gi==d|g;e#bk_t4e#Wcdr0P(1l0 zCF{pHmbi1!#s#^+D0>%>Bnh9LQLy}AyE1IQ+;uwkrbp%HCx!8{9DLPqo#jm(7_BHR z$f|Qo%9pFd{~V9KJk04fs>jd?Rs9VhV;Kc;Gx5m62>vXrurXlrKId%_PNDxD2D4!< z3rC>y`&G{ly>Bvel$ztt5frWpU$csb=K-IZIx?Hnz@)lLsuHiLN#z5x`R>F_$tfa0 z#9X3r>ejbEFHz0kCqGYgLimrTr4>zgXnx-AUjiG_5*T}?h+2E|&q@CD3nzy<14dMwiKudpty@1~9nU#tv=xY5-3crbn2O=`HzRaG|^1@5nn$Yk-X_d-G?y#fsLr^K7EZDnF(@P_=f z(mg9?kUO>F+kD|iNP~3^iO$_|%f)}^zoJG*NT_6^^)*SlQ- zz?7G{WLc{ImXH)fAk`aaM zsSN9o0H&ioPtTQ#QGaxj_4LwT&)|V2<@9oyV3B}04RXVi?jTl{G3ohbfMmU`IZVpp z)X}kkx#T6Z89tX#0Aq5!0q?=Pnw9eGscHaA>pd-{@Zx zgKUCr3DwgClCq9asB7FTDUpdxq;YSA@RhjL0$LR@dG~u;4Z_W8EIBL(PeKayuDRu6 zBMUDk@<@$uuWE!Hy?_g6L97)4ibgT&YP7enx)xe^ygTD!%pTI|CJi(MZwI@vYpeXm!?JoC(sWx-2~|NJXvbIlu2KdpIqHZ|i9sJ{v9D;?3t zsvPf20WL9l`yV_hw-n#WV2I)s<*bb3ydnRbB5^dmf=RJ3ObG6o-$*LFK+W7Xw8loS2XB80xiU(b0R*5fyB6n`k)6!CuoR2#AYPnWO z$kGT3j;L44!$4bnY?YK7aNXs!CN73t9@EZbt#{FzUsyTcJ-cH1WE-I8?gvUAg(PJmq)%6Fk$uSH)yyN@qqwfuXwOAqGTdFOB*1LK`e~_*TIqG7m&hN$FA{p?bF)N zy-cQe>r{&Z-wEYpeAYk?ZY<}h###$VkC+oM#dZ#QlT2U4nqYAhSgYRG*+!7zd{=pe zK`t~J9IC;o!>2gLHT+Wj=%i`zafs!+o%8Txf_)wab)9t39g|E934-trl`NDYkBHy!7yk`(t-ErjWxY?y&zHeNr(anJ5U=6q=3cuYVd;TQRbyaL zCei@wWh?GWZb=QI4O=1RsfKBNi&WaS*=#RCPeA#( z>!&kCk#!s@_@l5la>^bHL61qx6R;uIqC9JT926GSCAZLfPu70wJ>7Y{`ws5EK2g9F z?mazw2F^)m^k{oAlSOvobHwB{T@&Y=5(qjug;lfZiHy`Fn9=*kRfKvXpN2uQmR`0- z=)AWAx_ABlg)=W(}v>U_p`Yn>N3)EO0G)pI`9zB1F5z!X(>ll&;ZU#byQY>|Fx%0bT~0s3pdtH}dU~<A5l*@N%syUV@!=Ta)%;G7Z3)}HAhBi_B>GHg}JvrE@Y<7|l zrtYBaTVfEB0zfDJ*$9T(y*b+%#)Y1*19of~20=M7(P4RCb3$P3ED_t5YT6PuP^^!g z!cbvaVOnzy)1BboeV$H*G4EGf%YHmzqv5$jSt08u{Po57dq1rDJF30XpZ+*HHK?07x zxQu@Lt(uGyi+r+1WH%D28|?dvU`TcEBM}(--blqv1q;eQVDRZpL*uhX75hc@1$DDY z=$`i^Da>1f$vN2A>K}NcAfeP>Spq(0z`haj-yENz8mNVVM~pWp0wL+R9g#e6*|0hF z)#Lj}i^I~bVsTkdgidHdx5x>sd-?Jc+xtw-!gp`7J@^uIGsy3jFuy-m6;}9#4uh#eO|x~2KKBc1KHW@0 zMBV&R=4t8Iw}D!6nN%{wr}t3}D@4V=#w}P5kz#XPpZMKBSm0sPlvMin6~>0^Rw#aa zQr!hYWpu1Amywm(?zJuH@o{Q)--XAE;1ZYg9|sY(rP<)0rds%k8mB5z$+Du=tA(Gb z1XMvc^?L};rRZ%&H-+TR^u`NV!*Hy+P*+~s(*dO1frz}pID#?yD&w^Wc>B5)2mXy} zal97d-(J59VahK)ouNYCsGiRcg(pA*pGW91$oGen3&$QCncw4pfXFadaD2zzNFUP;7XX_h-}8CB0s_7PRo80xE&_i6vt&vA?d8HEecl)ep~lwRP&mOV?oiJ zi-)l^GcwCA5BqC=R4wNGh3gstJ|9Ys3Lzw5gIO>uO;X`I=OSi@dG;% z6Xb=A9Xxi-A-Ktr?#gC;(r1~XRqc_-z&mI$1CUB0z!lBn(EQ>Q!!_=?8gBfKgF3^e zV-t_&0UFB+TM^Ej8v5`f*@a&6$IK1lfr4umzX-m$hcE!iNA_>iksLiMiLwY$bypenu;s~@>unwOzr{y~10dgV@zY<~WVXBq=1eK$D%t@AULrLZ4xLqNet zgpDZyD|60g&;=!^X>=ue4M4;Ut%&xc7a0~c(LgGv|1cU7Jam#Z|2{48Aq*B5kIXmB z^$R2aJSBoHPg@1%haQ~o@fUJ%74}NEDxG{((}(R-Wn^eg^!r%S;SEYRNhL>V(0iMQ z^;|@6@?3;=N%KReIt4$O#Bpbx4ql~bVnRi?VqldX=cvFPqTjw~dvei~c#{brbh$YI zF=q9o&6r^y92IY*)6vr|SY(B$IOJ1P?pCKK4kcG6Kv~aMex4kYd!W#vs?GE>3GKn3 zT|B*(R9NpRw%O&HssFuJxy=*2k!3Db&tqy(#!WA`H6BaNz)C!XAA;l^Q4vI2Zm)Xe z6x3|+Sdm%7vYwT>5rC#PFXfW-;t8E&nmM}ngV0``|AT*p7}Q2eOAP$ioGPALOJ3gwyBm9G+dun ziSb!^j@D20v-JraY8Z^Tcyh#+gkL6k7&Uy(-u!uQ+~N6@B0nZx4nq??k!zzRN%F%fsw(yY1Zo_9iboCwj1np`Z;2`PEao-^W%!GQ+peg{^$bOZ`mf=o z0mayV2Ads?P3)u6Az1s3rU}4%9^AlZ3u#*iBdh9QqyZxjJCCkI2Ol#0gUDM}H2O@% znuuW#x`-T6(<`5+s7!-#U`n<5IXVOT3o9Q9K+TNi_NYW4t~6FtyA||)T3PY~qcSON zGJ(2b!P^!d;t(4~ap;a1vA&JX)|ij?rW}VB?-`&FyZ9ty(ku)Hg?>B<(YDBZzLQ(M z8Aiqd#>6rhbeU4+%)>`b3b%Oli<9|%WCHChDobWPP-Dom+?6*o%DTBn5)QfS_Y9-L zC|L0iqoR2?J6ywLCHhid;~ZcCmHE>f*=)Lhr8fASL)1$Mbbdq6FhNIX=*KQN1U8Rv z7JF^1D5=U3?#Ov;%0xI~m`wU%O>uJrwRuprT6>O%L@6=8`2BI7dRoK!EHPzQMIPrZ z@9|b1eyU~CU}qgTdQj&J?rR*sXl|_CE{k7myUJIOp1dZw%Eb3+@lJfS+~1=f5UvVZ zU(xHv>~xt&Woyl0*F2z${DQnT%3I8& z*4pc;ca_u%BL@9AC(ledxQBOE*4w|f{f&AR;6mpbGk2=ofLZD=#=1WrOtZKuB+_Me7X6a0|)TrEJI7P3ezHxTIPi!5~ zl-!cl!S>;8i8?O26^U}&&UQt|#$Cux74}tqd_^F1Wbi%%`p;6u8i zO}mLEDKy%8&l_bMc@>^k74aiz%Q(UpNr~a}EJi_?0fHo9i`%GgyVQVRE57U;kszT} zu|KrNLzf3U?bcojMQBkRl9@zQS}3>8hf!AP>r|BiGqG{G1oATtkH=r0s^cJ)VlH<$ zx;b(mv`+Vl5Lo@Oxn>bUpV^0B5e7=gS}V3gkK}PK5i35|GZpg+rXp%i$$nAIq6mu) zkN*AJPyiKF1E0`&s$BiI<35=R)1^q3ApA5zc^jw$8*c6~)!2DQizGzLN-3!Ek4cPg z)|frdTrzb;_E*zPzhn#YX4;2=9@KR@pE?&KhN5 z_v$2XUHo2J7@yoblsIHZ!AifvLrU~wW8#yhCAmMNxdC0nrVqScsK2q;5CKKpK9qd5 z_*)YEdMd)sT4qO8c?lT`vMp8EkvYN{r$cc^IO5Pg9?QuO?Zc5kE-__HZ-yW7oa9-> z(HVy1Np3pNa)38N7iRk$D=*9O^u8$qYglZF!a7HzP6-6E2rOTe+n?j^85!m7?ytI!Hk3YPWx#xy@%Ntp3=7#&x|qsQm)hR6~NB^2kj zPtginD~&0zDH5S7pW2fcD#@1y%HIUn_xCNu*v~}yQ4#kC&zeal$h9wsP>dm(cp%I6 zobN*eWfB1i$~Tb@AE*#=oM>G}Owi9{tJ>LQuj+z=Z}NTzq5l3|Akte)`0Gj@j+8o# z!QU9=R^|l#Ez`8nrq{;UsM z^x#%3UDQDJ8Xy#G9AkCZ_;W4eApXuRsIOI+S|6pd2iB95R5n*(p?tFf)zWpIua5+*1Itext{#U7Vr%JyuD-x`%_5MM4 zKs`XnuOx)_t_(IG5lyzED260s$Laaw5J>Y_Xop!9hf0=x<4x7TuxKcZ+QMwP=YUj^ ze2EP)m=24JQX_G$enp9SIDdWJ%)-kaTMWfsW(a8BbhpmBE zVi^TL_7$7Fq#`|(ZKBwQd-tT^HKCZ$?nmicW3|)0U{>evhKqVSTBaD*ZZ6s}K~o4U z&~#lN^2imp<3qcN(zw!j+@{iFs&&ia^JeUK}aJHfyLRR;bc2{ z_?oeK71bVjSX|LQ{5zCz*uWIIHY~ayqyB2kK6rYL8n`xu(K~78DSAG{I{F zYwVO|FauGF{6R3ateXQ*I_Sjlt#~eLALQO0NL?{tFLVE(hE8;$)@o~rM0_ND=Nkd+ zyvfwc(fYPi=r;lljI~Hv(PF^2hB<~2-+IWuh*=ISckXX#1$OhkWJ&Ul|D;>;Rgcq` z=GS+;^@!HVhbldT2{ z-A2KUfws5?q}2=+--!*-2hC<|SHG;Ymzj0%6!wwl9#noqJ$hqjdgzK`F#*)#&uE)I z)l&-Fb;fy)3Bln61);j0QTIVajwy<1rU?b6=nhp=zvrKLJC(+*hj0DY~halz|2YDS{{rP z7-+`_0@FtIv0{$U#E@UCoC-0~L>K9~A-;&J^L(*d>p?R()|$y7C6|%46@>2LN_CZl zeRFcso9S)q&~f1s84jxuv^fDURUHMhU<4^xXO7_IR0hytqI#>~h#(kM+~5t5N%iS- z%4J>g2wlHJ(+{{Ct2)XKjjTZFR+kbCXl2p0AH?Az1D&EOVHLjopeF$o?Q5mTL68Ql z41D>dWMHU%={X0;rTIGoyuL~;E=>NOyrAAr;T>?0KxsvG&>s7H@0j*vs5ml=4O33g zc%)fBJ1hH}=lEsGy)l)thFo|FE~4~4vp#=mOL_cn1~|(~D=$s1fqV-MjW_jCF~QGn zdp<@t7y>Z0t;z=|;=Y~vVWzxr5r`TbJEajJnhrNw{1TY#ec&cWcz%i?O-_{fg0LSe zAx9h3#f0ZFdPgT7-!gCC#C@TBOEwI}dAef*?(546jOKb=;IX;(De}k-%BL-o4PQcn z^|eL8R;*ti^ZK}D-qs=z_ofT6zkvsGQ>}W^LinNjO6a!`b91qZb^1fT<~lA#zW_}C zLQ-IE^enK&(iE8D3>%~7m2QY}Zi$50!QcY6w6b6lr}(j9#& zoZtuPwOt}9SiBdvP7D9!U70_64zptOE7%bC{S1F7^3uC$`Jv{e+m8b;zG3`VkPP;W z@Hz}%mXg1Qp!!S+`%jb-aqzp0bxnz3Fj&A+iC7g`g*+IIm5&{c&yWymzN;o&XY>hk z%*4yUuEU$!W`ntNY4hxliX#Uvww3$D(XZFwZ&ucRZH!Kn-OXR(0U9kuv%*&FDkNfx zq#--orU?Ih(VF^Y4IHRH`q&lwc>zf6AmoT7OEb|0$^c=bMuQ#KDj9Pbb%Z)?L^1aRCEW z&8)#dC9tKfnYgnzzyJh!&BM(L;O6BqLIJ8fdqAqN13(ZcH?Wfjfb&m@c1Sna-PzO4 z0_+Yc-mdEAY@q@6FaSa-$s3_SO0@$eoSi%%!0v!QCEnHlbp6Bn5B48<1O)-WKfD2d zF?R<56>Kft0R||4L{mpG0zfEuLYT4t8!G#Mp#Fm?Vdi1x;B5Ub68{LM1okkqguDUp z{ukDNp8sb37d~Xbe*>ZbH9XBd{>+1}lH$J#(X(^#aS99nGnaxQ-Y#Yq_FxZyIoR6P zNr?WkvzH!VYbivp!>t5Ta*+Vr*vk64fi--UH7$JYE%+_zMTAiVMa&>70JD0Vxv*OO zRnguZ0Cu+!qLxrsl&1az;4R?o=;8aXc6PA0^#E|N@v}jEpOXb(d3mvUak4qPSp(Vm`T2n$4j=~yD+Geo-N(tp%$wE8{SAcQUxL``{s)?qJKJ9} zu~|4f0&R7H>}(+5zZgkEhT~@I;$iFT1o*?)%-q@2Lx`ICA1W^Y#{GXI19<_V!wDH4 zq$L2c9!pOPu$vIQjH)6)#>Uy*<8QJ6el~7yHV{4VpK<+P*g@vi2S|W}Q-Fhm8N@CC0to{D3nWBY5L5{_Fa+&?g8FZe z|Ay-9rU_A@u%xXS;2nsKpNEb8Z$^JX|MOB1_-88rZLI&p(VMv_DgB?v@96l)p#H!K zNIF}1Izk*&PEv^8)6>>c01V;-Tbfy!v9fdXTe7mVLs}rnht-0c-`vcC$Bfg8pYwmJ z2uq9qki*5(&EYSTv$Oz$9l(EBx5CX$d%(Iav$Qd$U@Ct;{?fJm`giHqMSjngSI9dQLTr9XiKpRI3D+gyUHpn{n_ar;m3jf{sivjRInL=6?e^l-4 z_BUS*uiy$743YwW{0_tk;)8s1{^fG?AP_wS z4C0#q7YNNiR>AQ9tnYt`;OxfmZ_Wql74!74fpq?@R7PRpf3_)aH?S272*8K(#|i%a zK(<6~PHun|;O{<84zB-ISRJb{3<3cd-t!bLnS1JKPACCG6f$+_*eOE_fs%lA>eKfO zlv0;E{&>sX@F~WsJh6S6CS+xPo6?pMtQrqj4M3{8@op5WSIr{Px8*dik0l+RUf0(m zNU+#D%USdjr)j(IqMVA!oufA8XPG LmYTK=m)N`kWHl}I literal 0 HcmV?d00001 diff --git a/doc/invertflow.pdf b/doc/invertflow.pdf new file mode 100644 index 0000000000000000000000000000000000000000..cedc0f2e37c2fb35e79f6ef88f190a4ff7f1c3bd GIT binary patch literal 37419 zcmV)iK%&1TP((&8F)lX>CCBWKq6#G?Np5y;V_|e@Z*DpuXLBGeaUd;ZPESxlRZ~SE zEo4GLR6|H0El@2WEo4(cMnzH}EptRgR!KueBXDG9cXDZTWgsnNMNm^ia&K@TEptzG zbZ~WaMrmwiBQP*7aAam6KOjFKEoLA;3N;`wAa7!73Oqb7Ol59obZ8(pATS_OFGgu> zbY*fNFGg%(bY(#kCdyG9tEFzjK70M7YyQki;M0|L^B{rJo1?+uuL`{!2gj|Ns8~{@41e zuT+2PNbA+pPj63q)%4R=d*$AL{_p?KfB*Aep085-&;Roud-?gl{?GrN*Z!A1y+4w3 zeI@+*EcEpAFCcZz@+$r3?|-?@*OT%M>GPG^f#jKAb2YTbYt5g$@++6!T;r9~&!7Lw zlU{Ar{h6n~YWpesPab8rb9y~@yXtXo_UAR$&v|{cSMl!KGwW-Q;?IBn{XL8F+VA=J zd{#aKZ~yt4_ny;JUJrUrslLVlCTe}Hz5=qJ8GE{Q1|+ZD%jmoP%-7t*9IsjzI_@A&L#Yu?dJ4Kw5GLgel+@dITL&-FDs=CMcc^`N|DT($=f)ne8QL z4Rdc9zwgNmAOU^sG0gH)#vW?J!Y z3LkrKbC8Mcy{+~h)-1gF=fAq~x+i`f$a^wtSqJ;YeV%5=8+(iCjXl`byNzN0QuZ3B zYGYhi+h=hg`&FRcdLSOIZxB;@!$u)o?)lm%9oHX=@kgsucplcPVXxMGj%w}!sbwF8 zHqoxHy<=<5FCD1*Dx6nKdvN?_My%X17 zH6lV|*i%`WxW>5K8zb|_XW?zE=i0lq1*DAe>d%TE%0Ab<*XtW)V{FtMgD7oNxtU^+ zryZLtAeyN6;E3>V98~!z9G5=I!1c#!{MqNHp)(*Ws7c$qw`@{(PFb&;nzW|zO@>inafOob%hurX{4t4rw5h52@P&9&jMnGd99+$V~@E!%-_2A=tRuo3#aG&wTIM z5rkmu?LB(F2*IXcdwMkp!PrzSb8m_eoVKsgfrt>Whnbxa@Dn6*P6#lFAdLI0agaI1 zIrnKCN-%nQjpsnd-eL90K?%l2*k1385{&tXn1~RJ&H8#8K?qJeW)Tn(0_(u(fPdl8 z0Uv|Y0Uu+a`eQNvXnD%K2*K!kv*s0$F|b)vY~Ha+<|_C09-B$8=Ny3f?2Wq40Xc1- z*n#Mfc@KUF{Tt_)`Y8M$`zZaO`#cUQ7<*Hvk&Z4<&u5f zH|1{k7lkBk+S5Msa)>s*_uvP^K5o6~I~Owo5QXvg{l z1X3|hSxQ?fhopN$p1s2Zl2U@cf_B1*+3f-}Z1&5oxG}u{d!;1JV4vZ%XM(e~+nGa) z_Uzblc*7w$T$x|ph>)1^1<`i zpEbbsA}0U~z;5gr4+hu8l=4xR@y6zG&&8LagD-WEZ95NRsa12@yInf^)b8K3gj{(K zv9mp2l%n<=()?vsI(LwKxO`k39K4O&av-T~Dr9D_Ee`Ky#_rk2(CkvF)gcK2WN#0( z)v692k-yVUU`l+$4hjr>SdQAYhxhJhyFJ(;`{a-W2kFEoIdnbz>WBepfBZHN3ep#nDbs>OJ?^?G8fq%wYxf2FnwC~5oN?MX-mk)_W12&wx7N#va%x~IKJTlhwkIGVCX zwFTB;jp!dNAk31~M}`(716{@#!Y+3tqy-WvwG z*M3gP&5gSwzbL6e%i%EgR+Ju_NYvWk%;UJ?)XX8l_rrvdYk4VHtpA!7` zguvF?Ui^8~!97t4j)(ZR&Ck;P#9AigaV0ix$BPQ(-ZoV$0_&g|2{83I6QCUV=kttE z%pKSm>^0-0|GOYSB<4E6xJY%$4HDc3wC{puCbYR_xMqc`IG!o>340%JY}S;oRqSBM zZ>!j$j9#nQ_W|b`b+L{PGGl8dD%)Yt9vWuD8~fZnzP0An-jf%00>Bq{JKNrbk7YNT zcGlj`_JJh<6~_?|ObVvEP4d1cLGf(2lL_Xq8b}>pSX-bDsL?S?zyrut71=6i+N6WV z!&*h|w0So)RagkTx8a6I*>bzhqJtDp`vNcpo!E#bG0(%Xhm^p6@PYv(v4L*1 zOQ7rfL;Z+*_+C0*D6Z6e^>jo=jQF{12$)j6O?(>ytJ8U6Z2UIkdq4?vGBz7%36a)> zR=KfudkP6KWTd-2^!Suyw0Fed&mCjk?Z&+`_WC|uJa1|pHy7thr-$@*Y*~pS|0dv& z|2T(k+<*AG(ATy577H9E@Ffa{#G6}ZDo)5guRK$GH)btuGa^*7PMuLL(C>Vjae}P9 zWq1(tzNNfHQL5<#_9B{>ARuvF9_{bVOTpOsbhS_vt#37}y$PH=K?kzi!=9Li_99he z1l~3=k|y6FcZgVZ$*3UaAM{N$Pf|T`{ZLj2NGPmhHW9sV$bM_gH^}C4ke0^Y9Q3Gd zRkmW)A^V6++tFJjCEU7Ox=iy)Z@SOin;_r&bf&Yj`9SViLUsVgKR4~E%d{_kVwSF* z4To386MOzY)ZI4fqnWCmRR_d0C#d}V1#*c^dg&KHh*2;}Qi>Y*=A(aSY`Z;&YI@O< z5I@r;L1D-#zb^4;?xEA(7Zho1si7WUP=Yy~2K#Od3VT5!T++4z-?s5h5XpX!lz%?= z1BaB&^ybF74+w?&wKsgPAzJ(cBL#VFTCE={!iQ}{xb#RIa7go2e!MXC~L*CrQKEHFKlV~LLW6Ii^rb^+ z*;dwKGyrWYncSmZwv`Q;QYN;flAp_;ovD7_JT7B_FUxs`+_Oq>$^2}=xZQj-gRqOU zlGA4FG3j<>#F^r6zbq>U;+7S?Q^T^7A)c)omKA>WaoVA;LLLjl${uz%D_YeHn}DbL z`0sfqvvleBLl_b{kYxqKO>Sb=p#cLLW?7-wLEbFOO0>hW5)iYj;PqyQ3aUEvWl7#{ zS)tp)EF%RAw|7cxm_3F5%GdtMFo@)IJM23~KwPacO+{(^7`EFM9tWjDpjf^W9g79-_6Q}i@xDT#O!*I?M&yejz z))j8(X8uH3S3rRoY-83HoCi`!v#wyPanNpE`J5QfUXpQvy1>Yo>^{`yeqkU`&Mum7 zL~bUu+rund#g0~nxonAkZK{=XPMWQ)QQrHo-adky>mx14pQuaD73hHIp*5p_L+Vz} zJ!w>p!rpFIX^pVv_N!fDRDxU~Ik|Q_4<8V|Rnr@!(ny)Jn}+t`+lNsjPufltqjKKF z;xRiIrm_ifJ9f0pps0JL^A;f1ydK#2)Q)|uoh7ceDm%$uks-Z&&vpOZ?RuP5?P^P4 z;~RurGfl&yc0M83+yk=bj+IYXVa`3F@tD1#i8SObwQAWrQL@{nCECPND`sKzsi%$1 zb{&IMXwufy3)+`gjt41a)8ZbwTclK24(HC*&~P)6X}=8P$eN z(xSa5ft*q_+mRR(mWnCvgUf5PmCblU^4$3FgQQKL_Evu0h#N4vu7i_YErANpHCVD^ zZn$26v) z-s;@86l%2Mwq;8m7r!l=SFT%D&jm;I; z#$^$$)%wL{;ZeyKmyIoDT=rwraRrMh(9UH685ftuN7uz=%V?q}&SlG9xaZ=sWorVL z2C!#T?l#`2$FajFiW#Pi%VHy!o6By9+26!vH&&O3p13T}#dzbg9}^>&ZMo_#ai@O) zxrh=%idXsta#84jFsAKix1B=o^+EFy<89Qg_h5E!FViEi}BpR+nBhh=1 zd$2AnQYhT*E+QrihfP*J(2dbVaOcw{`0qf@)caNkYyTDE!3F27Z^%<+jCTmt`As}_+qmaG z;2q=JD3G6P$TGDdi-D<(8N!s8g}GSNdVidDJFT{n-I4ANiRF&B&gS1=JZwDES>|D{ z`0U7{rC_)GOxsT?{E31}hMORn%MSa{+CF){QSZPad{ipdZ;(KAy!8dK1^fH8grotm zgVMq3?t%j`cfkfc2B0-2!@m6Z?%7l7a#9_4L53ZW6p&Vt3}3*w&NqAkS6C@t7%tY> z6MdMtDnboQB!72rLGH~28+i+MyT3dp9b7HiX6w8F^cJv#WHCpW1O`uvDQ`hW@GY5% zyagGyPo7eF3-%-)(<#kcup#E^a&Lh!bKC`)ZWQx!?%fl97Izn9dSWQy&|Q#6mVs8@ z0&5;;K>*|{$goo9621bi98ZP&3Nq}m5(kFRhPa929oVz%vQLJ%fO%iiLYMyK&H|$G zS(me5Lz3|jIt#YKW5IfI7UT{L=gV7gAnq>UJ1rl<34Pv%jNXP3fH=;*nuTA&8HU}C zLx2-ox1&4L{WGp7RyI>Ctd+aj&F^h41L7{1a2aGc!8k~{46gRj<3+l$Tn2odx}sbL z`vX(9Gj|zeIH1fPU5btk0|v+pGz0Dpa~No8>Q6WfGW;^MY06=++mG!?It(^io2g{x zFxZes%ta0ZUkdjaoOT=|2gqlzJ4mKZHEpOm^}9O_c<`je&}oq2Oll{6fd}bwBKSeN z%q@KtdxFwFG3Pv2m>W;E2s$pBNY)6J`bp);(57j~hoL#-(9roA33nhti{q_tNH8>m z1Vft}y$q@}hBoUHPCsF7)}j~!V`#Hdls#!!P*gF>NJ&e5jqD8bR-(kSV0G;3cREg%O&`?p+vg&a)#TVIgF(LUCY9BnRFVENu& z*OfriuZ{$`v7mRpA@|n}67i$nZv-R8hnPV1*2@>An;=n@AaOIHErE=!jN{&Ngndv5bGbnRxo4P6Bj zdTxhH0j0VuUBu;O=_>TJ+?K9F9b$$qvD>D7NS8Qm*CiZs&ouXUOP53LxjRIbuHCL- z=_=5$EfR0)8)@8zt^z*s-1BhkNVokOs3p3 z_tV>c5dNO0Gb@eAZWkKWHWB$Oz~G{?>bvUuCMKuA3vTq+I?(Z|lU(UETxeW7pg z{Y-3xuKNjSLC4Njs7zmWt^(0e*6^j2&9ZJg*XOwg*C~1Lt~Wc^fw)zxq`q_p-XNEq ztH1>3cCM}KKks&~4PgWq?OY`-4=5qsF8T4;Gn0f$#z`&L6FJ|8t^!N>tvi*xC%!@& zE4iBcR?=F@QX`L<>p|F&`|J&YG;IO#tU1w{_-u1cpxRUkV-bKhTGk#wB zsJk>Ur=0tny^HH|*}Dq-E*BZXoZie`1#W=L+_jO=#mr>x;(mTJcWtay1rbl%{f~H^ ztX(`E9I{)xKBq-4Tbe0!uIV0#X}YDj!$<6Ox2u#wX}YBpGdH`YyCFpyo>bjZ@_b!s zd<6#Sw|M1JQn@W61qtxeg6*(IB^)iwC$o&hN!8u$_BxtwG)+Q3?V`g7XR4V7F$Dy0 zUV3g}x&qk{_1rzaM|((mZh>iW-FohxQ@5}q({qIv1}0I@-FTbgB-C?DagOSG?uJZx z1*PW}WLn6DOGVe)N7FqJsk#N``c^~L<A4$_Ldh*i@yIol+>*zT{mGTw192sHzf&wW+sNkrrRIyQu5M)6=`O}p zFTz}&b!X1)2^fJ3(hlSLnAa0~6-y|&1(s%M#iryIKQ!&0V)4PQucd!?rFyva)7kl-Qy#NpS0ZFo)$c0S}sqWOrO+p_tKcZ+Gsb9 zQ8`+#AESOfQL;TTh50f~XARUV&gs{5yKQ^9wE)33k zD>3rF@z7OJ1R>}w76SQzIS_5rj12t}nMx2GQ6B;P6z*ok*X-TV5MGiuHYSb*!mQh3 z!2rcMRjVKHD5wV!+c5NG_z?KQKHp6Drk@g`1R}FrdxL-|L;it_x-s7!Ss*w|5E6hg z_?#vO!gJeTchkUz>Ws8x)iiRprJpvEoGp1unXlIV^B?T=NUn9r-vfz}RTv#14Sz$x z2Nv`9p$X?V2skX_b_^2pBRxn&D{EnZVpNWP3nm#+IeRsP$I5CZH4hQqX!okkbs$K_ z`~gx~G9d3G0rtQDOvLc!npBRYK}jjBs{ubMmKvmofd=~nAA93Q56Ij^A&Y<%%6iw- z4`eflF`X%K@2Nu^fpL#X?bvY%hvz^ZCKCPqufumb-yw|^8ER75nf@qQ z4|3$D49FK4px$X_(WRdKa15p^cf>Ma@X#RkXJKefJSuAMH(+Y5*AwuIvr@@mxS1P( zA<0rYLm0kJ_TJ2ci_4JuhYh;3J);J{sE*2b-Y(WquUS zFrFKx&|p|O@znFg!ql1Jy-8BGP+ud>XaW=T)5h#s+t@YtLCFLGxJNd^M9FeHdt;P{)if^l`EoRbO- za#I**IY(<_)|(Kgb)JAr5fO#xVQ==%SQ+e?jg`l7-5xv0TM|9H42GJ!t$m2~d|1Q7 z>Dbrx@2%!(|W7)u#h8>@rV<$Rt% z)*Kl@qYjOo-HLsp^ApID%Qgreg{I0B800{^styRIQSvVnW6=|uIfwX9fdVw3J7GH; zWK^pTf_2_Jag?Q^EIBcE3-v3CeffcHVqo>z<%5{vXr{$XaXjyk$%G%gPhy?q_a2CV zz_Cwb+8dQbwL%YC7}EaE8gWDi`2KaMQC?)LPLT8bi7gSZhA$WM}XwbfTP@WMfOOr4pf(2v2(@G1!1WA;y>>&1Rz?9ffZo#1+X#%lDPY!FfjWg(S0l8!d(l#R`Er@Bb2x07kaBM0A`mKh<$OeN(7 zE*;W&w)eDhSDCuJM~8Yk%$h=%9eOSftK8ok0IW@2LbB+Tdu=>yE@qoO(sM4%J&c6eJa1N1Z zG0wmI0*E6N@B9MsL$x4qgBsG>SbrAuv22HG@4AJcFTT-}G~T)3a$k0;_V}^2$2mn4 z`YeyBpQ;HbEL2>7qAgYSNgWL!g$Jl%MdBW z+T?v>1F|Mbe3+cJ{KUX)Eo11h+A%qQ!Y7}VdJ^ct>eCt+2!v?4&srcD`(bOepG%8T z?Y&8oplSWPAgEWgzlwD2Iz&eHzMZgGQZAa+3N($Ra#*13TTht~@JkNLKOv+-rU>4E zOph^+$hRJ*op}eC1__&g0a+gs5jBQ04~_A(eQ^$CtAYE3L=Ox~9`Ol_V%{&<5Hb(p zPmItANX#KfOw7`sa4dKaj;HuUVA95LFs(6uu7#D1DRhRyBH4>d#s~tf@L|qaN{@)u zH)IpK#-tD&DVV0eAy@3{X5Xq$k)2c?O_%-0hMry(b`z z!3yl5P@>(;OP_!j8)|9Np!OhOID^>}Iftx@gC^BR&I0G!+AOalyu=eQHGn+sF(Dx? zA;y<&I%m9SOqRBc8WaiVkJ=brnJLNcTw%gddRahNrBbWIGh1N@Vjoq0uB>98{3=Cz z#%!Pqqyke3Og7914HA0okQ8m8VgGB5^8}4T=nmW~!R<@p#Cih6T4JgXh|l2C4b`~Z z!<<+1tcybu&pbO2U17u!zfhJbl1v)I2qc9~RhC-HLpG|xIka@ql?_qaPCSv7IYeg_ z+v}A~h}8>4am7h_ecIwvpL}=(-i{xSB!!S$UQZBY`hg^Pj(Q1seYcfN81j0`Hc-jy z2`9dXydKSv*AGPU`fk(4=kj{O(O>nF*EdAl!vyv{#)naWjv9>lxruV3on>B6G}a$* zfjuG9gd)ES>?wD9LlS$UAhTRzk7h{h7sTZAPh_%G(c;uXVh>1&66ZtT5Em{I_0b*@ zJBL3)VCU>4PD@}<5cMR&s4xu7JL8Ds2|IZn?Vc!34DgC4lCst%uN`z9EYQ#Uys(jy3^G>sNJ}qSeed(e+)T;p=O9Q{|2!C^MTpC1pHEh#(Sc~ttPe(C#cz;@(YO~R zVPd5@C1$K%f>FPS1~!$6YOHR;!-jlcW_(&qyXauSyGm;2 zg{YR%JJDgJNk|M}C6;LCr(1?`Kw_4t08Eqg7vzwQ==U2Egaj!Z6mz7d>~^s>wUj*> zl>!Sbh0~>RQCdnuf<`)8%Es3)LgAzYb%N7HN{|^eOx8j^Dl%pYzcH;)BYZV;3WZ20 z^>rtQs6U@O18=}bbJWRyUl3K5g45MWw5m!uBu|xNDvwT0VWA(^1>#8rIZ!nmN*Ya- zGa9JkIoK%J#c#&ZuZtB-;)#l5&`$>{*mZSZhiY;70FbLt<{4nLH3hz5kSD9)mi3Sp zNrHa@8(wmOk0Du+2p^;EikL;1pnaP008rp>JBCjGjzb?n;MfNEu?j5qlV7ex&B=9f zNMkU={zJ!qO;+d(^@M1FDirnjRq4B#DYJXX3UER3LoVb)|G&4nG%7CPPgJEhRmxdE ztV%`|Vt3RG(Nm-&Q39}}8GaG$r*1oH#r7IPD|TTeWz3;k@QCk3}P3wiqpDmE`L{hp1Mlu z9=_U}Y2f}qlMZN(GM3MgI^$%D9*Ftlp0d>C$ahcKo|rBH2v6C8xTh?6hK6~{5}h;Y z$312I>SG&K#pW1*KY!d)mf(%a7enkd>l?ukd#-jlfjyBV0LoX!B5=?8Ili)l^s8}v zWeEveVqaD7o1Cg(cJ-GdDS#309Ttb~H>6oW1!LNB)Yd11fRO0OD-c$iJp6IHy zW1g~vlq1P|<|!kt>9dlj>})f6%04$D>tZeOLidzyh-jI4%2YXv{F720OEyt3a8Fs1 zOYg@#WqUEC)j2=zWlH)Fj@=O%c|DLH$;on*abw?pvIHNoypWHb1eM=0KN-)Cd&Nrr zWm-Iib9GH#Mv{LQB#b0e82~hrfRN8=(#B+L#} zQyu!%VNn>=n;IlZC!=@Pz7#6@A#z7Og7aun~LI(h0aXdq!fgb8B z0nK%(0+T~fgpf-!m&Rm8Ezu?8Pfsc6(RAzwsbS$G31%CJ8!(3d951B*g=+pXCL!kZ9&)Ps2z zYO`--$s^($EM?Wj5b;9Krgv)B`ZUhAwy?zWglIb7$1IkqS<2>R^`l2J@PcTZ8EBm} z#8$4hPvSr_(Hb294It|N2_j09Fuv00L60E@rr+1%kFCy;jj%eKwv1zI;73X3I~XTNkB0j>Pu5{fb#L7aW!Ka zENGIH;%d7l<8pvEwR+RAY9=#1@l1Q2J7OjsZwLW=T9z0|39JTHWKJn8Gk4m1WEzn} z&O8w<-|KIX5U)=^-w=uEgs7Uc3Gx{URdm)#(9e&GA0AbJbCvB)#Tb$wN;@yf1rT4$ z%u5y0^+b8pL#Mu$p$W>j`gp~iYW|Tu&WbuWz85NUF+TSO_X`A*aTJb!2Xb(P9r>i+ zAhvRVJk0C<1#<1OspOMy$a#ypXZ;lt>k)5#Lxx3z9*FFC84Q&8Mua+c;}YuzPf{`| zi#Ij#F_e^mPXIc)A_y`(B&W$jSj?)52!j9^8v`U)X^01shR`HPHdoVbvl>W-|3yKN z$+Fj>tucT?#TyQyXH~^6Z^N!J^@c$LJs*pFEuaQ}t@@dbzau&HUi2@Bzw|#Sq2i7u zGtM1|Y+t)Ar;XXhSS#kX&9PWaHg?1kLRNm=$waYi`a?))8=lt_I<5A4X*%KO14?)~ zBgjgWj}dy??Ft7X<5%=x#v#!PXOv#NIgwh*xj3*2S(Swk5^>0{=5jd88 zgzxKs0w~XLd79R_0LVC(agzdrxx9wYYC839oZEeNDX_B6N&5=1$v9 za~H%+b5S(QOmo~1Wa=`_aS)|nrn!uJ`{*~8X)ZH2=&(Lcteqf3qT;y)1yxk4Zk*fA zB;2}jE|-)wQ(5OSC?{1gndhQ?og;_HKo>p0LKhzh3tf!BOms0qXNf+C!!&)C@q}T) z*{7HG8ghe|XVFwb^#AO6!{suX+LiGC$aYq=7IMD=0KUjtlz5KWvEFlf0Vj%~BwNFl~s!AzVGaqeL5GlHY2wW4AMK4KuqjAx9 z8ya3n=9KjZ(qn9wMPV|d$<3kNRM-g?N@@`jUU1Jyw`g2c^@?^HGQy=WCv*i7OS`+D!F6Pj2YPxzJ-LK*yd zEP$*}GtKvasw*R#Gti@bHpJdgv`=Qtbj0UJGopPih{g7NViFM8zbvP1s`!^d&W?-^ zeM5paA^LillOAUQ!*A`!!+khCSsNAZlW{ph@<`&Q+DKQhB5N^Sk;OzX1AWgEL-hj` z?vrsf!Z4vhvJ7e=Nf2eYPllacE()^Z)An$mfLOQ>dsrtxKf|_9+1kT>v@gu+#)3_Z zYV>Fx7E0?Uy60XLkM}tckN3GCjQ7d7ROE3jBB=g`5iPdbhJEum}7chzI;+xD^_O0tWmL zd+t=6I=1yNO0Kz?Jr(oA`dH5;BVpG(Z!*%@WUaL836y{}!$Rk&8D?1ZT2sgauy6k5m=G=CqV;?Eh?Im!Wv;~sAvNV4b`lcwiW!X$~$;*#KQq0CyAMG1gs zkrf1Cl(mo}$WhVO#PNnf4svjZa;?8Y0?F~#H$;o|_iOo7GHN`Q6zZ0uIp5cFzFCd@ z`ESVeib28*!9KzUp$~+)A>RLjTm}df6S(qfP=Tr^vnS{rFK7*BAOO)@)!4i{4mL#2 zUUMAeWwA}>I5_PvPX|Pf1NC6uCM+htF)U#q=?&dgVU7b1GF^hXPvfvdloA{5dScGw zdB8NRn&52`IP%4Nu>i-VQ6mar^Zo3ik`T*wZK8r}bIV~1<(bXw$XOd=D(>E$2VUXKod>A=CSES* z!D+kmARuR^j|Crn0)m{KUcMnNtQV_G;r4|BKZn!~+8=g%nESyj6r5~2HjMK4snpsP z)b+dgIq|8ux_H8F6EW98q4|sM33DCnl{VY8TnA?_$aV0!H@IJl*_oYq2O!Md1x9Ob z)C-bdCyj(PM3iPi`*(qxnhWdp?+wWoyg+%aWOoP1{(ahR|2~jd1-Q1K-yzN@&s$%R zv*5taTbO@9uD7gw{x6XDdc5@w*}J2@_Y4OHs!}zEvMrTaL#lwg)Kxi0_aV}IfqF;d zUK_3h$h12zKGsg9pQZ)0xJ9AB-n))Pp|HySu_){|ttD=-U1)r} zk8$Z1RpSq|W|W?*Q(!-?w?To`U6f3v-GI_M=@=AF+YJfjCLsF#m{MB1)l35vyOhf9+=b=)Nbp7Y?Gl* zJD7ApBtxl(6f%^)(JmQEqi_+5W9&yj@=1gQRjOwX`U73|DwCiJZo9riFE*f?u0a8+ z>JE<(prU=I;1CH=(SZq2{)LdAVhAQb#SjC}Zwv89D^rhpho$M|Hj0-jH6_F+7%}S| zS5OdrtYand2^Uze6yj4f&$J9;;*-Dc;*)3m2Nw@jeid8e-u2eI>{e`xay*W>6{L ztAohHX4v1#b%700A;Ds_s5O%;PDVwt`eh48;V#spzCO#4%{z&wz^rqHc@~->jP9UV zShws1q<8BJv)h=+^b1Tf-Qq9D)yy#@gB*&9Al*5BgB&?9AVuYJBVw{LJYM5YKVChF zGx5M9#_|!o^K=5X41L<1CF~5-%Ps8 z^gGSWx0$p=_M}XavL3UAAb{j<7mH^(5TQJJprlyOHy|o@eZxk9P~?4ZW0W?vm`Bv? z`k4Ek7{W^-7g!NCV53Ojh(c`zk-P^`rmQ&?MK_@yE>%pBz|VDDsfq&9##RtVr?7Xr zG*0_W-66V(j~#RiN5-<^6RPJ$xphuc|MxzC*f|vj?OQyi5U%o=<~al(6Q>l#c)eq+ z-N;y;7ZwM@A*UyQ>l<>tWsp$4yc?J2&zIa*c6#}O93`MWvzqON+1&pwNM#LzzZ+s# zVdq9Kb47R@HMAz*C`%^rtean^qKqqT($o|x^6cx;-gi6Q!X;j)*$f)?MCm%YP3c^y zv%1{Uu1{nOlCShO)#pz6%U4^GA$-FjVndGvQ^^Mv-+01NLH1Ow+AFJJbUv}94`r6M z+@m(?0d+$2KnnK{E#prn?z%DeM4h1`kg%D%2{?P~QlD_kRfH01FDuavwcQ`ffr6tj z+PWnHZ#ZPg4*r-L$Ji0{Fs6tN>U1u?p*u3T<%qnt?(ENsO6}#&2IbT*0gkB2mTp!I znMy^UR^IP{)yFnELMKtx*34tXKJFst87wN_a3IR_0rFC@;Dx1k(z0|h1s>s}<<2Fl zPo$vg7FZ1X%JSvJE+-^ctXdkSJ<*?+Wu#$yp|+_f%`r8lqOLiyE7DzI@yT9%rrqr& z>U1DmjGlbrk#w~rP@;OfR~5632c~F20+k2Ig9fAxKbDJ2*KP9kp#kif3XS3cS=v|_ z?jx@U#A6_tS7T@G%c>QAECJp$J6{e|Y2Xozb{r^&>|+4i!lNsZm^{Q?m6THqOIOz3 z&K7Iar{+=G?H;d>h1&;9*MZ8{6Fo(cEDkGhH%xCg+zm6*@d5)8FIURZ!8^eNM`y%Y zu7|oZB<_xL3;+cs0+!3%Mxtxf&j?7;ZA|=S3_Y`6H>Fq1OnQU(my!ui0lA*B@qR-t z^A2uYqf0ll?%2P8;C>}k0YhRdZ}R#A)buJY#@QgG-{=6rRXsk?qFAvFfW>X=PmIqd6*I8*pU+vNBJh?YVBE6{-2So7aBejq zd)f&3EF&OP7ocReO7*zW{)snAR;?Zs8r@<82BvF|7CkxzDdiZKHDlV|Zp>Tb+s_mt zt$#?CH9xxl1Oq_%tx_LWp1=TGqMbqaN&6J6{pU>6Am0;b30%r?Fg~fCHwumJy#rgP zK{|`PbAcGGhT61~_Om%enL95=#@Hq=F+l_oa06>pN~hU|#FhY5=0@;!Tp>_Zm7E{o z!1E9x#}H7$nkEy}OT`c$wmZauGYPd-aTSGQ`AA~QZ*7Xg(ft$jnwlXR8 zcyNXBvQe(9?bA3AvFOvoVEcSy@-E{&su;!M{SIf8hU$;S_@m|F_OFU_P*_t62tN97 zdp|6sg$kDs_ld5(+rva*q{;PKtjY*!augZzSm@E)F|mM13OhYyRb!2BBul7^QPigj zy*5fzF+p8en}#*9qD$M=A3&HQ&9>G-8Kl1F6Wxk|`XG=V-FQSa$kUE(77$JJ^dLl> zZ#b%A6o$+gr6K!cHB>9I8gBa1cqC~o)z+DaxZ;`gtu!GP^#kEGWTmTzjSghU78;f1%t0|o z6bU233QA|<=K7iqpZ#h}uf+=viHT;=&Gj3E*Q=~>N zR_af};Fdhk%1(8OL`~V5M)7!-Ydxzd)h&tY)re_jPZxccs`gtPZ=7^Gm-liv~i`XWp zQrs3Iw&~F|;ZAH%+vji~BDSZ8;q7!$+Vg!;+A}^w^2aj#(ZaNKk=g`(u$?WFpwZ76 z)M1NpyyD`}kA(YP;t1iZm2uimflm8O%ORp-rw38F^9`qiF$$xUF-oJPF^{0Ni=p&~ z)?)oByI2nkMJwh_YZo|hKeQInMO*cWQJ!{ev4Ci%rw3u;e8X`SqcCj7C=J`6>%pvT z1~Xt)Gw%~aEl}knIppsJaf)-^`iA&hENYlv&moVfx(6~e1Cnr|k+?GtCW{=Bd;7s; znM0m59ZVK&yCk90j`a_S&Zc@8aW?ghbe&C(qV_nO8f7{sFXj$+{ITV^B_Y;c9EV=> ztIuKHtQIE@>Bke%4HVeyc(NqHJjXNIF|mNy@r)kqc*Zy4c={;(c={;q@WnjhcqZs< zxN<9=*jr#-9i$o#ZTrN-T#qw|hcW$UklsG);}Dx@^k9gHZyZ!<5P?e@W8nIIHB^aj z3n}EVjpQ>Y|2Sl;D^bUDWjvfJ{ML9xS;DX{0EY4(#;R4ay>S7vQKMvQO0 zYj9|%oveOOKwQ2^h&<7BJ|VW@{+_pffdm~Xg;x3BAm=T3Xxnd)>+AN`Z;)kG!2+TS z=vWYMQ6pt#6BW$E@9;%-&6}zx-EyE5rN1o@7lSIQ+JC;5Q04GYodj}}jI{qQ2w3nB zD@L(=4s~*zW_aW1A%rrEW+Funl{~d#FX(T=)j-SIi?!nzl;v$JE|=H!#8c(yEUNQF z>}mvFxGigPnTy84ZPN@1tK98uha?~m3nwJV+N3YIa+=k~+RN5awTf_BT*g3c4ZKMG zZ)MF2HHy%Dq>*!)Cdl!k+|-n7LxB-TA9$y+MVBEaSU)ItjckR4TGy?3khwu9+mI)* zLYmK4yV`As2a=g9wR;#M#)+Y|37*l$a2STt;tf)~2X;*s3|kj*LIzxIH~GS)O!a=^ zNun*fv?*`lyMaG<%o}ZvL+$<5(%EzF4)&-*UL7Wh z5T6M~mT6KpYVt+9`i46Yx-58XC^I$cR|&QzNeiZsC7g9i?%ftAi`aC^!h6gfcr77<=kVH;f(n?2?qb=V59;;!MyRF%h*I0Bw<__Gi zvv8zND!zxHz5@K&IZZscsz4p4qAXw~jJz`R{&&(WRqE_@^qF8(*gf$<9i*r6oCzn2tLr{4=SiYV} zOSWL|A?dE^>l=?r&)Ez2(R&!9jCRZ;AU;#?!7<_AIJmM=1UAc?1o*igJViqUd+!vl z6Yr2C=pef*_1_>!UDjm|0V!e-xF;r=`Uawb>u)3wb2U(YKLykll z{d_~*NyBn^vTn0};aEjYU9`C8GOdfMYOa_prHF?Koe5c7^H>Nrx~760eNO_zb6pR> z9@oXfabAZrrj)F*>d>XU!r#x?3I(?)eC`a^m20BHah^XQ6h>F3xz7!QC=8aHX?Y#& zW#QUvKEN1|gtQiJ^feSwm6mQ8CnIFxvk3AR^AzOZA+gJYDbXC(*E3vZiXaEqnc~!04an$x z!2y!%ZFy+yeE4y7nT)E~NAn?uUaas^E?8^uvaT#G{YAM@#I9WrG=@v;4tTS1T6GyC zXjZHgsg}k|2g~LuXb)r^l}Dp}7RMo~siY1}s$k*0xbgO`6fhOSp=?URyJ#R9=@Wmxb%3nQ3dH zl%Ql_-XZSZaMz!9 z>*A^hGE}4m9Z-IqEQ-ZXJZ6?xl_o@wxeFBgX6gv~&VzM*rE71pF5}AA6It6G9U$5! z6@}441-CMSLunvPzB-#s*L{C(LoR2g*+lV#{{-k}&TLDcl!uJ2kc^Dbssq?GM3V+} zKR8QAj-yR*QsX#>SWYp^Fk??3jEg&HF;k4&I-3DiMc;t8WXUQ#2Yrf`4Hh`!Iq5bF zl_`3k7I_-eBh9O+S|ARQn#?MILvpD!k9?dIjNi=6hZ09qRTN$ZokIf3h$g)}Ul|^V zbaOOSCY;w3k1I|CVt2+BJo>%*R94pzSvYdpww*&8KiXN94FfQyj^k=(^@52ddk8uV z2gzy_ns%ZWf-v%eZ#F3>glNq** zdd?{U*{Q1pos0frSR|fCq4T@7EoX)R-ZUN&%;S1Mmo~8jU=H-$qM=kX19e%HvqxWi zW@=HB1O##&Z4`pz3jttUCQ+ZnwYY_Ne>$zEw&f7ehT~jS*bJwJ@=)ascboz#?IR0@ zmd1Fc>WZ!|Nux2{&nt#fa6tVmtOQS0=bc%^y!og*Lp#q(fG^~$9S6w)ix-AultPll z`q4?8U9OU+OSs|DE9PiGF|{m7D~NYy_}oq2d6ee$M0u1Al&UaacyAmP218wy?+&&{ zRE){YG4#lcPZ~$jgPFVZW$>D~e;346n+(-*_TM1kS&6rPf#_PhH^`%MiKEHXl<5Q8 z?J4a}h4-z5pAtrwmGEmi=-Tj^*CCbr0K~{#Lq8B#=gwOPf?}Kj*oakn2*m-`8Z0LF zJj%CXolkP}#0I_3^eQQt#8P2c;z;htd%P(0y*QJ440BX zL~&0>t&*Nml@H;z-9#Q$YI@wRQ&juy;q7m6h*0^h*ZY|D>(pgfaYJ~wB5gE^L--(scS+#7_1Y z%+pmLNfJF}`_W~M&H@AR05G|1ULb*pi|uZgRLQ?-!UAK`cGK)Vib*?dk4Za_m}cws zyBSkfb4;ytw{YjlvMH@iaRp3Qy({oq7KFW2a59u@K9Cmf`NCy0?gw&{u(POtW=0SD zgvpQLntE))6<1`3oCI}+lD|rvfxC=Ge>Sa zR{M<;H9HdKS?tKz7KigCzny?^%lH$W;v`3eLjb=eM`&e1bx9V_V8YMC9q-&JpQo5? zX1LiSG~9rMK09~`(;GnQis`pQ2`;YR4kcS$`t4xY>5uETqnNSKL>pL6FGCAnXyzdG zCz{z0OnMry=VDz7E)LFmQ*htsr6O-D8Ma)(bx0_bAd~q`cQLcHhYYzxp1S^OU*@5MmOh4%?*gF zxp;*(bt9rExk!tj5m|gRwVMpj`iO=ap~kQ;OXhTAT~K-?yg&C7svhoY?i?nfg_=8c z*?6eAaPK@8sR^nbZC7&-Kx!^K@ih(VfExfhoGPS7{lh=uTBLyfj^|j`2+G zIuxOx>MKomDm)=H-I=p?c4)d2*62&qjm0ocH`;NU9AKI*3IoWIB~5qcCZ|(qy0dV9 zhNe4tb6}A1*?7CjMd*2&E+HHl1O5bYKbnOX1nQ(8U;e$YC4#67nU?01V( zKW!#PJvVq{LF%h&rZBnhf8(JmyN?m^Aegv7K=;-<1g8KiwP1Jy)A|M=p;MvJm0^^> zKzOS}6U3_BH!f&Gx;$0s%DcD|E>pt(Mo41k^+yO&fA|DxK*AkTd>|!9{{dTZo^3j1-^k~#=YQ~w^QTnUs$~c3rWd4v+_m zAy}L1^O&7Pp~K8D@7n3OtoLD}8`{fa$&h2t`%{p%zqHfslU&jFBgiAqn+!0sCs|;F zL$Eb<<@U1}sPP7|J1(YfpM#467{zQcRNUu8Yn3kO*h5RH*|!;dpKzlVFPN~&;f|70 z?&&AR7oI0tvSZB@w1i>{y5!=qE5=w$+%EgTe3MErWn6!b5I2@B7`jr2CaMEzl+lo% zF+{RUrRKyw`PHh3R(w^L>=fId31#|{h)2c~s99fwHYDDRGB4_p;PC15dIC2y@PZGj zQVC8+&I9EoxURG49-Pj~2Z=Q-lHH4wuJ*E8QUQVT!kvH=2pox`=sr}{B(1KGx&4v$ zjbSq{9t)IMu$^~0fNH|USWlY^G;c`a&5%PqG)${A^gt`AclU=xsZBGiCo7Q2$Y|pVFy$Tt&LxWdH_Q!M>GgJ^Nj(1oL@m~P2!3JYw zP>_h*;R`}r>v)4?9tNhofObF>LnJ~TG}vTj!jm*3>jer6NnBCdP4}r=!i%GYwQZ*V zR%MAcAuh25hGU#30y#jBtqJZQ&O%tODnftSNKw`c0$ejpStRER0x?c;chSu^qznr^ zv+8RZ66HeXj!Bx;E(&L9G?Q5r9hG&zG<(HaL!G60HaRNQfli%ckQI`Ao|sdY%QQ;r zDO)rTqGP5qJ{}oPxv`K`Vp||H7V~3AkV;ow6@O7_ha8#=qqlCZIuKe(f=Yu?%!^8c zoRIDWm1Y9WMWxBjE-KAivFc5wq0&5ujU^~nypqYNG$U8?O{J^K0R@#tm}I-CbS+I6 zFa?zkNKk3M(+-t}ILNOWm9ETfy{R`PH3Njs=&&c%0X5^Bln?{2O&5K6k#pj~Yhy(36iMCgRL_@P) zPK%iJQ-T%&nh(eUbtw)Z)4uJWxeqFa_AD`Lw17^=vNx?a}pi@B1Z8sa*(RV~To+RV(NdwXJ;$YJgB+&wUtD{KAZ3Egye+O`9(H{KSU zo4{^M$}sUH-uMgG&pMFQbn*5++!D@FIEKcuHDMl4y^X*bGra^>v_Tmw&?rZc*d_r&L+ zYvdGv+q1o)`^R@%0u5?o*L1bvDAU#Q*+m}W>F*aV0jXK^;i10v??BF;jGn(C;w*oa z1fUt~Fkt*tkZ=PHud!#E1}XSs7vIxFN3O7lBkfVA`Ecj4$KVRUJ9P?wqD$UHY3|NE zs%d)7V`_F2p(U0}vGhYJVY8j)AXia-+sp1nW;ry00y)hXH1 zHI`20W)t<`Z|2Peb<9i>%qC|K&yj+lGDHWTB^=O*P*|E>8J@;BWzh*p9hP|CWZmSI zbO%l z?Pkta)2wiXb{qr6w0s^5<*Yo9giV-Sl(XWHAkCx95Aq$5jqbnKEALH+iNaMt1``%> ziIS_I4ap~a>s6yY%6}a)T$6Gji4ESE)#7ZTpqk{hkOF;3=kx|7PI$a^AWxH(K#5-J*+zJ2wOu_fhrR1X_adNV#w)z1V6r;f!lcg8=^J(`?YFh zDYH%W6e7JtjsQPKm1*IE@FtTG>4&P3hDbkDH~A9jaj_CLDHG|Z?tTcO58L&{CjKbN zhsGR#A`junMEa>h6W3zG1CrVi>0yJvB>LHOg=z@&4hVT3FUTSyc^D@@T zJWnfrJ@WiiU9+Ie6V)=0g_ekr!s}0rnPe<8c^+;}PQvB+(dFuLd47lvgghVZkmnuZ z@;rKwcq$=bY{9DLTb>{D*i4u^wu*?Rk&p=y=}iQh%J4c*K=eK0JTK?ErFr1Gl_Sl^ zzB6h5V;^!gA88CB&~M0*=JCONg!x&L?g9;IerA;|bZH(}j6FtfIHBi=y8}KnX9NQ- zi6hKoFSmXR^VsbmJTA=RG>~RXnji8exG4WI4`pag7TV5`n>#(c&tv!zO1n+k5Y+^_X?mnd8BSy*lal1IVu7HMpY;i{|UE4lQ zRaTNZBPQ*VUM3P|l*O&LG@ns;b*?u^Z${!6Tkux{O_WvPm&-{zi4q3bRbq7#~7f7Hq!*a^wb0E!(kb=bAs;W9? z6so12etHBH>*w-rV2^X{Qr0>X08hIv^IIQ?G{+?G22E$30mhH^e~-Y}W|IP@IA5?$N2sx`Wh0!dr;+`}Q46eMEx@{~lAi?k$z&px2 zga%7zff<)H$+eah0$itLcxQn*n@!kQU`Dmua%@)Ft{ploFtaY}x}I3BDUk*4Hd(@9 zff-j3)gCM`m-L7+iwEv@7x!@{cp%ONcOT2R-jHqYah<0r(_w$L=8Fqv6!?*ZL@t^2G*;ZK(_<%lh6E z8~oghT+u9BlCwcVN(xTMueKDdFvHUO)Qc5n*n-;%R=C?qIuaOa*6nD<3NvaGr{TXf zsjkKg8KpkQ#S6LZM-N`eoC8V<V~BJf<2RA~muzZ z>8w*auu6fFiSiR(}rXYGh9n5v6CRv#^=dk_%rNe zIdJpu0OG1+7`iC!eL>FYv6sF9ahed@%}F+i-z=s*bea-l!I7e<)1;XGV&ZaTJ);cs z{iRwm@I1Ypre+~3;m=uFs%6#fs8tu&X~%O#>Nr%8JI&S%yNS%w+skkCc1X3adk@$t zbYa^!z-F5k#YRCkiwJoSq_Ji7d7Op!nZ^@_2{YI`s=}flxHOx8;M#lwA8X7pDH_e@ z_3wgA6DKXE4s?XXZn@zIepw>BSR4pr;xppi(nbA|v(Rq?M{XvG#1oJx$JGOpg!27~ z>da4L@I7Ti^k%G$Pc!MVYkwVHN*p`y9|Y&I5e+jGbmfWI2uVbI0!Cnbe)`QO?=L!b zPS=h<|G4AV2luf8%0z(B&p@xP%P_bqj(H`4}Mfa%hNs>0Z{Ev&( z^@4aUimXtDR+JVq6UNU80Zy!C3iXQj6vlVF}C90oF|fIInaEGVJX)O&zl*$}s1b ztVr0;WE;I2CkF1iadq^CloJW4l3JoYi_wLEtfb7C_GlVQ=5u7lf($TRtOpj5p+aa{L`-(7-%a3lgNH8%lqtxF z(QaAQln$gT3aKlOnZ03+CyfvFfj^z=7OWFcWLFX)d!W^PEB1ghE@s3CG_ zl6*a&%LLT{W-yq}q)+ILAxRR0$VJI5JnNHrsHc4SB8prMfdm-{-7E)Ol-Z3{Ce_)`s3FzO{EgLLrq@=*_(%Ip zDIilyhxb62Q9IwDi9}Nx?!D+jtc}u1q|f6JQKa9@bv=>IZs9#7h0~`v{44O-`9gDW|b^5IXSL>2NDjkjM#MAMZO@=omfBk zKnBZR?zZtUbcL(>me~rFtAdK{)5Ln98kY$4l2WWJ!%&akiu)L(hbL!)@B z)AV?&fLzPli+L_TA=ftXe!d|dl~hovYR=HDI9PeAse2Vf?LY0(&N$b6)VGa_=Z;(@ z+V10BP|IrG59Dkecw1JA`;B&+3b=IZtv!YA>y5YN<`&4_uWTIuE{NzAKRQ($B6is;b{cvT$9-3K#fEs)Tyd%>v&D z1txY2o5~VL1ex%55at8f3y7pBiHysnw0N>j2Bs8V&o?!0i~?S%Wo#2wf}(v^#~@&vpdHl$ zEDMhUKhZ5MOSj=B#k`1XV!;te)UPeS@+-aV_%-gZMlO!*b+pEvt?TwW;yk2)+PuU}Xjk7noU)tH5MOQCgdov)hH;W~G zm}`w)$}vXQ+Ww{$%W>CQDP}J**V-O+y&Y$JUT^#om{^a6*6Ink6(1Msu+Cl6FxOhi z&FbLDwN`MWFs<5ht(~^J)&gR#HTICqI*hzoI5wB4m|San3>vk$)(RX_&k^Ygat+=B zX7@bT4cVBo4KLT)#-t>!aIKYaL&&vucAi{opF5EYs;I1Rtr5~J{}E}-`06nCHZs6V z#FUt8t>Bu9X$+C|sBuP&Vq;c^n8PhsozQ1fWz4b04V^65y);AFk9*Y$u3N7WFV5rP zc55EAcYAy;#51Yd+!#uJIfDcHlabTmN7{P9D^i`xwhy0yDT4%00&)@y3#jb z$^i8@Uik)$$HHE5@9*Fw6}yC+ffQI9<3=n! z!n4|V0XNcL5A>|}6=cf7j8g+x`oN$&hl50TZ0rC9Zhh_uWpzHvm9?27Z;mxfuBj*0 zabe}~#<)dP%4_R>27G7bx3>lb+iPnfHmJRAzmJbA%MB4!isM_#ax*~gIyMP44*9JM zlC^%izdoVnA-B`R5|Jq@n~pJL%Tlo(ZZt&E@rl8po-}lEOv(rw>e0p ziiUieL^~pTR02*?5G2sXB%jPG+heihK_cD44t^d>xNyjT{>eaBypmY=+>)%)wBtHC zzmhz*v)i2&MGkDnyCGKq_dE^0p~UOV3oWBfOwh$}p1{Jgst)q+>J%C#)g&h1u@I|J z$&5V~yP=j2t<30GD>*ExY0G3tFz z5U((*c(?c$i`9M;%{nCvw-nNPJ4TBuylyRS!8xly4x4s~@ zSbx8kPw8n%d=A$kWL|>ikU$HHG-5X$K&NKsh=qr(Xd#prVPxbPy5T!@vh+j~2s1(` zr4+`Jo_2eT6$eB+&t9L*$~nESYF9_u=a+2MF*uu0jNaORzNU)(t ziR4i!4vG()$5cKQis#_V7-7G*rq99Jf6hG5cK(<-w*m`FM1WR4rs(pIJeZ;H0z3~mPcm78=gHSvO76nfdKW!{(Do8h26xjY#E*6CcDIXY% zLiwt7apT!_ao%B3xMR9s+?Z)A>98nV^ql(5qGsu$r^ce_A*qK&MLSrOLk>=7(%lZ< zkb~vu=Nl3%3V9gga3~CxgEtNZ$&4I1I25K!MZ!4L)XieSK7c?97r{PsP51poeG}TI z?!b9_L-%5yC#FW@?WvnFt~cISURfHAHH10oqDwYwBJjYtP4T4GTz?mN(bXfiFrC1IeO}Al{}`hZd;X6-w2wz>5_TX)^lloXm@k~b z61n^$KV0KIi)Mu{_)$P;NdNgf8oGDp>1Ofay#8GfP93>9j}cDcCO=CiA)#(JQ!JL8 z`M9>^Nsj&9d_*L*HW?P5H@(sCS~*X&8k`E|$%i@P+%PJK`=~;uXg(e&jLSfJ;MFKr zeE2|;!lmN%XX<(o>;FkU0~-Lv^ct7JIBkn51oewa#uJ7Ev$O=3T(Wm8nxQ3-Y?hX@ z3T|l$NLX60rJV#e7#RPK*%|7n(3hzEvl6Eym>+rK7RyuXtWh z)GC@j7|8OJs_Xicn2Z-P&274#51;U3kYuEe_E{T;Sg0O)=yvkpHpDlinpeMvr?Ms_ zSwCW<9=Z1YobV=}b8KvFYP%koO}WB4iDw7Cr<|%DfDD_X7==~SOyb_4>PqLxQ-T|=GlrWAb~Tf)8I$kr zGa-j$t0(9^JXYGoK7mZ_Y&lCB1aq}91C7y7o0cRFV>T`rKkKe1y`7b-rX{nGWTekB zLm6al>24pghs+$RXvPczVsnfR3lcX2*$P}bHZDe?ax&5&=&u{M2I1)%u0b&B<Z4i!V8{+#y zC^2ctF6+Ll0Jx`$DH%1tL!=#=?~1uK&+%Pt)*`Jjd{-HztlIHi@k)y4=#$JTNpBJr zN)4rXJ<+S_JCdl{kZv5C425>m@m=xam~kYk#z4kPpfbRbriJRYpPVdi$<2>XPN-yJB`uyTm2CE#xA5t^3uw_Qa@W7E!_?Zhe`z?~1r? z$9ENbOunm+J;=2jGK0DA3XmW7T=9cEs;ni2T1VsdTy02^h)B=XUIwY;P75%j=S>4a zs@G-E-rIG)%xaUho!jlX(rqlqbHxL(j^_&PpX0XroDP$daa%^Z-B#J^`?yVzsSNYD zt#+F!CSeoY0Q1JnCdg!me2C!YzQbPdd7{A2b7@-LjWV(c@}i=4yR9;=7GKA0wcDzV zW;VgocAH>8!n%?>qW#lvki)>EpKnO8^j?>(nd5nTg3goEbU)a6VZLb>SjF_#&eDd@8}BRsS2<~B-gTQ`9@T7(f+)ev ztT)UTD@p!Dw+S*^hSnRU&X}A)o8Z+G=6LQ7~dmyu+E?&Ugr@U_7Fv@fN zoRft(u-Fu`1sR#*_CQ_%<2oC$`S2DVw+BW$?12X&dmuCXnpv5Z4QE8q?Sa}8<;U!S z+=AoBjeUDY)r8mK*A)43xH<5Gm^tu3WDew-D@=;!K;FNjFaa|MZrnDRZ)6T6W-rGE zPs$rLCu*r!fD$}W%e}%Z~_q_EDao_oY$akI@6qkP7cb*ZcCu(E9bKVgW z(sR=VF2`oiD?<9MbojX93(lIt+`K30?k9pWaDW{eFTF{j`DUq^2N z$gHYU29XlQ6$G(7Y>J%FgHj=($Y3eg$cY%nue6;r4UL6VhLE-S$DP29+r>1TCt(jv z?dO4fQuYA*rSF8ak$;~!o+wPou(t)mQIz~M_XV;#JaHvL@R$*PnJI@GX|*N+V$e_U zEn76yo4cHMqNEgsA+iQ5LF(`~d?}I)jaJBOjSf(1<)KN9e(ZB)AzUZGB}cbF@F_fsa96j3D~cymp!*ik8F4mi3g`{F-`hS1Ie_KV<~L-e=pRp5kDTQp zDd%{@a!o!lPrE+nxqrU#IrECzYJyo#e%dN=4|1w%Exsj^owizrJ{#=xrKE=GVc3%0 zCB;p5IrnN(#7$X&HY>TQKG6?u%0~2=+>~vU9iO~1dy(9`e& zmtt>7aZ^SS$dj4ebeDHOf+B9ZYZy`XH-ejHE6h!^l{wg-v+>vSvn3|X&*-PqEx&p_ z$pa#S<>02sGa|1|aZ>`&ZDtz9-7gcwO7m@Tv8+G&T(-cRFk5IwnSDrB%Gjqvqr?@k z>QRHhi;r(0%lI{RD~dqcqLEq5P9(*>%nD)<{E1_j+=v`VH!=tMb1KM80S{TY*d5uC zl+ASDhT4B2WL!rQ6xPuI@hQ_Z!#Wy#Y}s;0b+k5ZLswKsYtJYDMF{ph59P)v#Bn?^ zLO@f}X9Qn`E=b{9-M-?A>R<$sotTe8#C0U)=wvN_K4N8(vRQ4`^OKUy*8pS@+`+&l zIReu~zablhj=Ua0UoQGYC5#!49M+DsG2;!o ziZnpoubCFZh7`x^Fd#N4bK8A9AR7&<#K8)jqdwIH0);f-96h(ZN7$$)OZ4h`!NvJ_ z=Oy7%26Mz^bFmI3Fz>no(N9f%=+dC@h+*dRqUEi4#Ws?UIqIn7xcL#@Z0IWn{WNT5z%m{-hWsthk{R3 zM`#S$#W;Opj8mDZfugfz$_7aMamtu)*PGlS;tAlhrfy~q z7-;*ISyI;2=A$$yxS?L$VMt~&!zqJREV;d|TiLRkfSOk>h(07bOXJs&?O^V^47=6( zc^bpU@EoTxR;?^ROx2EMecMgM16Q>nFXv8PL-&@8K`^^qa?u5)b`F#>{bDjv{nAxl zfaKgYfrA|rGsW6F!6qAY@6r%8rBQ59wv)}k5=C}~JnW$Z;x_OVaq!f5M=@LjR?Ka& zy8LEVy*(3;&YLXHAuz2?SxUJIvr4l^H3W5JR%zVqBL-Ta*Yp%)^3uN2RNaOmO}FWq z^D@iv#3SQAytI1Z(L5CZz*^#Ma&ynPPTfW0eYy- zEo0tyTslL>ylSM~M?VJL-5W_0gcxXg04KPeV2vjz*7`anvS@%@l2qkTEVA9L_m zlQQ>J@gKT0PYc=mMJ1#Rc?i1mdEP!7vOmmyKW$L=F}lk#SC)6Lf+DdkE3i}-pV)F= zG$JI!Xk;+R=*DKDw|%Sgi94iG)o{N8gM41&8+Z3j%B?^SkG>n3#l5zI;(lfY9*6kE z9;s+VjAb-3#`@cAaNB_A^V(V2tbYe3LPXPD zuH8~jQnH(n4c7XNvIWj~>lccZr;P$y`3fJ8h66!m9XwO1CbyRe`#QoQ8jY`)gV(g& z(1|wB1xcTly+qq%t1*sjZq+$71M~LrgnvTmi^S+T?=WihukR~^t-4M{`@bI)UiQ~h zWyDL>&r%R%Xnqz%W!n@W^~0&T+vk-t4TaLO@CHG5-Ph^E+yF?__e}(E^yjovH>yf4 z>_NJKDm5H)rTU>$J~^FKKRkTuSE_!poT{Io?1_fJ+{bT}y=^dmk)W8Tj4eOACX<{6&ej0<&?9a6jB z_?&nwh7JweI(?)!#Xiz6p_sq(+R-nfV1z~KEtXTC^!I(C-??7e`#`s|qvpO7ZQ#6@ zcKF5Cc05srJ;~@J-J!>&SRYQ(9SC1#J4v^-rk(r8QAk#u6gf%n*X1O=KM-Eh*#vt@ zXA{lbvJ=VvvYYvYN5MWlIZk22iE*?`PY$zvdiFeoQ%_RTtB3C_%lXgL)ZE)mn%}IO z8?u$djB03ZF8ec(D|L7zm-8;tk(heS{4X!dpY$^+2RI*;aVoT~lAZO2Kk&7xS6T$=BK`m^@ZEKuB!y)?@zVn(?%gR+-q zv9jL|XRJ~fA9OhDK*pLjMpF3h$k(l-n+|7e^Z|s>k*#~3LSAR~n)`SHQho?|Xy>JF zgu_{fi9)drOM6rhq;@#l#c(*=6gix+0twi-vhoAP*7`@CDAN{Bid%0J%NYsNfw{3x zo&VeIcKrQxuR2~J-cf80X1BLl2PPHuk@7a%OHA%&-xnb#)5*ZX-;9)JgC+2*fmMKy z-UgTnpEFKPC<@WaaUYf)_UTktcVvXW4~}2zvflAx{Q>_FE@vGufA)FP7HDbc8!Q`7 zBAm{?_euCVMIPP6Ib`TzQd$@4e7Pi`IfF2~3g#YXa9K-h)qWUJWLYmRC5nNcXpPMqcAQG(- z!2}t=$62PD7HY`%xzyASn<$|^ikqQ`q%a*5r$^aw~|DTt0egSa@-*}h;tKbO5fe5S& z@Y*a7qI~lOQ-n88)FGmtfLUU;iUQRLqNYz=3V*4EZdQl_>o8@*xb%)B)Sg%XDq?aZ zru*+9C1({HIOgHTXX~{*2+(;#j7RlvlNTL*QN3ab7t-w!qoo+NZd2M+DiOR>al|q| z&szu4tI*_1h+@p$d{~b4fZ!E90k1W*xv~+JVbkc;!wOY?Uw}f9&GHjaWV2(H*&nc~ zFJhJmx838WM)9D$l&+{SGfh9rKrPerL6ENLg6Xmv_XJ;nb{8{qKSEYq46CR@i{Z@Z zIH<~th;4IoW}aI(0tiZ-M96uFGYOzAgr#zY(Mca8w;-4U2<+XQ3n>lO$`y&xXX@mt zP>-Ao;Jv+zdzXcfc+3`%e%=9tuq-m1p@fRx*xX-1iw!@+aF>4vrCzcs z6fjk$tp7>5?f}(_w|-Cn3sgS{2RzZ#z1l~0*wW2LL#d@&5anvDt&})+` zNmefx|L#_qaXnn=p0xG39Lqnb5m2r2xBb1s7BycmEZN8aFBqBRnx=RKYfd zwm!@3IA0Lq7#qax_g^VF#`)GyistISAG62945{jPYN&3&fIa2U{(M1}w;mk*E!ra! z{8}-&@4_as(bQ$WbmrS8juGZ7%a9|;eUmb%#AO9!hn-<=`UI!8J9jMFAkIV-Z8j0N z2lJuqL~^Q940n}JNTQWRI8?p9;R(n!qIlGY*;U@1IW|aMnl^u5@ zm}cww%0}i;f6m2U&klBdt1#JI%X@tV#a+xAJOc5JJx0+84`MVi#`xPTkP`xd6jy>K&lv!NRpYx|0X`=C2V^7C zt3vfr9zwH{oJ9(sEKG%y>jBteqn_&lb@LxTQKemNO4CD-w|j`(1zrbjABJLSj;6L4 zWG6ltWn{Y6^Cl$6qZBoMqij|aZ~a2i@Q`v-5=}$Z!qLT zV+G7RLbiEUfI_;;F)MtsoKN7lpJnO3&Ns$>a!C@dALT_&*7?TAybCVN0FD^NOWBkFJDF^aMXW7}@X3rjv`<8YHInffrv&iT)#4mRg<+7>5~jh!Op#m)>?w~AaUtRxX!3GMltx4XxsnIo1$x;O6lJQE;bfc!cWK zmiUwKJpn6D=DXw}pUZ3N7XNJlaw-eYxraC4e@2eOQ}bV{mMS1!r*()(W`a~H*pX(?%(dY zDgWs+eN)s<6a}?-S2=jJeh2JY)&6X@Ro$(biAui9^6t7RSgqJ9Q3FSJe*(y>f-7?y zoa{84h}8@hm(!>6(REY)J1BWd#bErTPx6Vv=3lIp3k{ckZx)02N3MWW6G!aJwJ}{TN%ys48IZU^XxM`%W;M$A$xug zx@G+!?DIO_`Gt}vI3gq2PM_enJV){fXR@?%9^uH3Mwm_?;Yi`s_mRz^s~^YfQ;4>_ zA5cujF3&&x^Z6xtHy)_vLp;X(etzI{!nFuym1L23py#RPU7o|c=M&e;2Cnjg9_LyUQ z^%^O?)Am+R@qXIG8y5grg!oV1;v+)tfB3IP->O(ni7rhJto>{F(o>YV$5?3 zeJlQl*>=C&ePPMkpLXk{^!E`92M5|{UzYds3X1!fHFyl-8+(-829IJiFgMcYH2f7J zV>?tT|B_IsIRwjq<{eVQPs(OAe(5J684rzR&t^Px#c3E0$%{5CfwjH*g@WWj$+P8Qu<>wJXb)M zTh|XQQ5SxjTYxpeur#;OD<-;-D=PXJ|9c3)^XXZwF+y#XXJ`x}!XLsZn%c9=cBS^I zE`$EK*X+>0gYwAfw@WxP%02Prtp2FNi&K6SG0|$T!DH_O{cV+V@6#*z5IO@U!C|8hn+HcP^9hea z))3>A--v;9BXXGC$Zr$Dpi@}eDeT<5qWl9~Tk(OTtQgn36`F22H!;PAIJu?C3X=zK zgF`uZF7XAi{#x_$deqI=mv&+1Pj3x6PL? zZyvk~bNYQBPjo@wV(|JB$ldJ;QY!fCwr0bbC>dYHtGDt`X8Eofy@PT)-ul~Uf-xD4pnaT~~TuS&PRDMOcBm|tjAx(#l3 z3El<4N>iYISQeHM%G5&CWlTw8fGem=pUruD*hD!85`IwYlOoI)O#3vq8C)1c_t~W| zjf&JHk8f;<+lLp;<~`glvmLyLgM08EV(d{VcqvCMmiLw;y&o>ih}sWSaMALKfg0Kk z>kgbyQ+RP=pDx}u3oy<=^nfo2nM5r2**Mp>QU z8>S3ptJ^sB$yTHkut|FY=6yZsr3TgnU0nX@4QcF`5wL98LV32?8Fr zKViXrZesccg?Vl&tr#%EEIPDT1g>@J@grk(VH5?^ymT~5fe4oHDoi!l&MtFmq!-U8 zhAjT&Rvz*Kb2tr6%iuRfF*5Hb1O$YU=MxXFO0^hP1;b^~y`U_fDF11;#*~evakd1J zi9uXkAe}t1Oy9FB%uqJ?R5tducbcWWr|+QF)O@qPnf0yz zU5mwGpWoiUea_zdY}RD~E~7b`?~?e`4w*~ScMn49J8`S@Iq!QG7c+&g;~=H7Ox z`NP+UoHJf$TJ3`J`rtTz@y9ajnQP{{7R8;*xJhr+(ixtA= z#CiS_+|D`2Fx*eh4ey1|nvH1A)7!QA>=6e2WB$&Hk8VzjPM4I9iVwUQd_E;fJH35d zq~PvwFa4?`Z(4MM+G?Faw$ZIF8HkX2=5)!{B46OJ3SYUFMebKg*J9@imfyw;$ zh>mm6s{SKVNqX6*>^9^{S@-8V&l2|j>Ob~)h_|F7)X}{_zH;1iid(?qjt7SAbeFq9 z^-cZGi_7vw9#QG@?ise{6&0n(qS9SAjft{NCDkAD(vOnyXY5~an{oP(KPQDI{g|K^ z@%CY-y|aA#l_AC_n=H*ur)PGFXBM*hA{$zRmd1Y#llyNkr7E}jspr&ef0TL(b;`7?ilBGxPIQ9J+&+DDbZrFy2cyI*dCR0my#Ene#59^kN3OodAmPN zgst7?&Z&1bVLq<9b#Ow#m9TDwr5WAjy|mS*#%Xs2wxP1(vcGwaQ_e;D;a|oWMu+Z3 z>SjKO%iHRwtMz%D_-bWEV}iZ(1Hr35xF=^x>9deaqi58|H1)m5YqwO!fj2nQXHS`A z{*gH%kw#2aYBw=196XX|FgoCBrpYzdC|a&b(DeMR6?O3!C<_A59=mYNo4Ywz-3~b@ z63l5Auj`c*RHbwF6pW8q)5rY$%)ER`c^y1_#g4=8%a3PBh%=n+Gm6cxKEKer#Ge~w zTBV!8jT2`0+MTL8APP-=CdJMF<@CD~p@0jyH9@v>tv9iu^H|Iyu zh;p|E95Y{fyhHiE=Z--t|KWHvCgaMefMnx2CmtTqsrlj3>*8!T#Zt=2>*J1GIIJUg zQm{_fI9|rGFADEgEVazfth5W$e1$%pwraCS&8c&Nc!?~WLbPvR> z?TPN@knibRyuFT2z6bu8@6!G8n`SsR97Ig9xcSGI@wUwVv}|`0zx=F-Q*(c3y!O1P zty%G$o^{W5#cQuSAbT;ne(?h?(tZDF?Qf-=o|KIN@JZ_`dDps$9`SIeas0KL;<6dO)0z`k(L=rr_7+ zI0|dC)aXd|p%vZjg6A+l=;Lh5^VqWP@K1{xoEN>xqF6kvbIauy@u( zG5=th-b0h8_6_30FWca3(Fw$_`K(`q{iU zKINW!uRnRt@^^)VhzVR9h3?q5d3@@gb#Lv9r}eLX`1Hdm=(g6!zO((|@2jn>ejA^< zKhf|BLse{0>J)fc>p!jAigMh-<&ctK9b)2DUDNjukFpo@x9*ArN>8Hk~m8aoLW>;TlVgH=RAYuEw#inli27O z`$JlsIWr2i$&Y?($}7&UtoN;3%wd^ko1LE2HYcZlIz_8ytl31*EhqhZrq0r7L#?}? zJO2F1?RjWFt@`Af&XJZ)lhc3G*W$Gst;y|}Zgs3!{gn7XZEb1q{YRB}!N#4tlKd}M zC-~m2_&hvzd&TJ0y;n|nB?l#MKVGpqY?#s0?s0|HC1@GpQI-EQ(we66Csz-f7FJY# zy=lv#%cs|5Y`OTP=S)$y@}?9ISRizRp0Z(FxC7~CW7FFIhF(q-PveirR$l7(q6qu z^1wIkYg@Z^C4_rS>DPTw%ynT$Jz8_LmXWqC)7&CIihH;#SnEzRqiHJujUNyUt5BWA3~yb(|zA-L_oS@%QNMk(!+&*ajEqj@}ovXV2MWM+?6 z;>PPcTt1K*elp#0g~YXXqE32w=*HTuiSyocp1E|d({=-WxlwX|(b^A>>WX})NTzzX zjP+jI!8?$9w!*=mN?N&l^HK*Z&$x$C?1p4R_odDEOIr5zW$o21BCH)_Ck0@0|{ z5CZHAJ{rMM2mvSsD#sxznDqr>REen+LR1Ni_$V+TAH{=VAD(Lnfx{ud&X^nrU?oHw zKm*Z`KN@X~KWsKMzzq$MDkU%O=kfvkYZt9 zObj{Zh2jDcn1Ss7Lali{NIkgfFF*p!SB2u5eF*UKggsGt7#kb_I}p2%oghLIkppoN%?t60bVkD^Zm|lKA3NVq7#ksEiinOJ0^3mlLV((; z1(CL5i4;c_N(fa79i}_`db&>60MsnCEK&yih14>sT**>95C>FPV5||tL}&nlM>r4z zynG-W!=w=s9HNkzB(g1;Y6FQC0vQ^ODIy>;iB1G26(TXqm*+ZU5WI3AhU0i73x=bk zqe;B;1fxR$zVwUOeP`l z7a|^5jzSWNOE5X4Ar^#UD%@fE^dT#e->`pY2221uRIofSVu9=tsf4J)fjHO46Pg>2 zDe*zG5R*iskq{z0w61@k1AF=RUV{J(xy=R`mKP?Hh+}vlsW}vcVrPp`Z4rha1z}OB zEDFUMA+r#K4gUoRf(2BaL22RWzft`L`Hd>3@B<;_@FW6g1wvxdN#sGI0rb!$8`f;) zH*5Wus~1FidHvt(m&r5$1u7{{-$4){-AFcNB_jVT7H z`DoM^A2@?Ve=#rs&=~lt_BVkX5P|vxF@?WYKZgMQm#+Vwp+Ap2aQZqBqcsN_7=7Pd zD1V-)Uy9iB?`zl!v;@s=f(UD>$CAg=lpaDw7~q*YP<2EEAp#hv&VNAoX%fTo{}b{r zUSJB#Z%PnIxhgyy2nXY8#o-Kf9JK-!6A*|&(3Ha91<`3VDh(1tgEA`3jt2UQ=7Qv3 zWON1t^rG)&G%Azvzho49&>p|TAqbfQcJ(_Ml}4d~w)htrjRN}N7a6V)NTjG@psVsF zu_(lVK;Ond|J3wA2zHl?F-Q|F(74@sP%zsL;kqzsObUgI@LahrR4&z(>q=&FnRc%B gWGa)%`DesHqgUbr1wOD%RC_XFPq46X@pdKr50Sh+xBvhE literal 0 HcmV?d00001 diff --git a/doc/monomial.pdf b/doc/monomial.pdf new file mode 100644 index 0000000000000000000000000000000000000000..ccf8ce3cda9e5eeb33ebac6ba2f5ef8b0d8f3953 GIT binary patch literal 22845 zcmV*0KzY9CCBWKq6#G?Np5y;V_|e@Z*DpuXLBGeaUd;ZPESxlRZ~SE zEo4GLR6|H0El@2WEo4(cMnzH}EptRgR!KueBXDG9cXDZTWgsnNMNm^ia&K@TEptzG zbZ~WaMrmwiBQP*7aAam6KOjFKEoLA;3N;`wAa7!73Oqb7Ol59obZ8(pATS_OFGgu> zbY*fNFGg%(bY(;L`3PQL!zH@qMWRTObPwNvB z1N`@YQs3iC}gXw^qr z{w`dv2g5q$Gckwc-J*V-9@2vycs{X*P}IT(k=7&h+91@$bhOrrudDF~Bs50n+&Tb}RY}EAK zuFW*|_5^D=n`vxJZ3;a#Qpd-4`LS{`S|>));@MNdO81G4y32)w0z&I4w#UaLz?o;? zsBQT-NL~X({x=$Z0w$+Uz`z1-$iUL>fpUp=lMGh2%UhhVi)NbzQ^mN~B>4{`O<%~d zcku4|Eab-Tu5nf9VwQRB9e@tDP^m!woW_#IrfO}T-Ei-f*autc)cWOEPPEVYhQL>sNL=_f&3nJM(y9w^0r<2#B#;_HeOVe&go07{twOImp9HV-~?} zr?$tbvFCns+qtFXE4Q6{C2wv!H`(9ZHp*uf4l!;UJ#;VUH*OoFFm4;8bX>o##vfas z7j8R23KzGXnb)u<8$$e;DkO1=aoK4=cPW4 z!)<3RFWeSe;O4e7CorA+8+)l%zDDuP7j7Hnvp^29nMMzWiTH-2$_Ej+v_S^0UsnSZ zl%Ktq8|h&{;rZE+ve%tVt$|hT@(?=r)JEUs-D}rJNQN7*G>*+1^8S7E-HihON`Cf! zYW@0ZeulKas4+z^n>B0}k)M^IpprGD!3Mi$a?Q;eHka8bOkyURHEfn}%FY@B5^QpR zB$HQvLPBI5$QBt3Q{CTd5*c;ty%;wK29dEelk%ObiHwQ4j_<>KcJTo_Jp{3lvn!UX z#zrRBR1#w&dvfQ6#MqF{yK6{{T_#^Oi4jGY7!J6mxrNZmzd^2vJ7f!Ru6cUMpa$8` z-o#xy5ez`{c(U!iEmAg#E#rvB3D#WrdvSt=3HGbT#$5A>qlZ1c>=RFH(X*6`{mbT4 zyZiv_ocSKiDTlCh$dQc;B0T>FIl?je`GkbLT;0^=-4Dd}k|jiWx%=I-sT%8MEp^0v zvxuT$ep6KBw76Egse~w%(jHW?+1MEBflJbCm=yvP4e|r=L&C(?*^Fd~8+2@pSHdQ- zC-9at)lKYMu>^lQlMl$*F5c=Bae(Py&t+>#b-uLvgm|kxYAi5CdZqrg z`_5ay_5;bginiNs4GxkwW*(ZC6BydK+8uvaEZ}YlvdJ(MhQ#Ck&Q;E6$rc9Lcpn)x z3fLd{x5`6;YpYV$Vz*6%kYaann8qzC!ndg=xR~Fpe=pg*YHT|}ia^zH^W&J^OKw~${T+a+6N+B{r$ivAY1-%ZjEg0=RnSydq1BL%y;twLg-r9 zQgD!AV*KDmu*s9ACu-c>L4&JgC>zqT>=_F-W{A~H?WJFWH)Ggc=SCe>5Ul-z7#kSz$=U`RjQoMWRtLkFweY!kwQV=^me zi=U1$~9BBmfj(*k11ub`(1LhvD$8a#JAivluAeVF_quD45vAMz`%vIPl$f5wi z#I`h{H)0WOL|-=fpZHaqnYatbNfxzGEn`{oVUyT0`BrL(hq|sB+ti@wS+u<}#x}&u zm%8869cCj;G;ng*nD1Zj)Im;KvidyyuGB_D>0^5_n%g|9CH=+?ZUVAT5ZAd^G}^ywFmhbUdxa!zoM zI+jTA6LK2Gw?85N?LC{dHQr~678|g-A(=w$k;XWeSZabo*ip`=xEK8XXOC|4fya0Z zr03jQx0=te@17;eqT;L_!c`m!~%I(@6XHE{PGA zwvDWSiIee6ROp;Polut8pRAi&s^ZpRH( z*Vf-5$gV2T&|llU;2mqxpy5%PfkpSd76CbkT6;=m{051>qt!2vJ<}~-)sof1%CwUvTQ~%Zf)>^T*J7S;K=4+5!$tv~#uhe8s19wN zd03eIcVd*v|F&dS7J@shE`Dw0!_TaFd8|N^3fZP4C1`D&dD05c&MAU%Nl}-ogk$35Q0XBWV#^Cet zF?#tdjzczw%RsgDkhht!`;2cudMpjf29Y@RmKZz_}#{5gQh^1 z3WILX9jufqv_DN`1po(6gOfrN?)G9`WPP;Ib=#mN4i{EK!<^ryFBeqU7B01TBd64> zm~;?aszW5|HHxhWR)3E&?JX)yaQmz5-r`=DCRP zltE(Vr{UqUU*-EzvZs5Hx4;lp*7p6uA`hyBWjShr07Ye z;`^(BX0EdBK(1vn*HZzL`4NPg%|i%3N{ZbYB&P*Qv2^B^HA)#&MP# zn`@*dTRv)RzDfgg_rOn-VVE2;xQMxwGzb!b7L|kS=pnnRSfuK`PwY)WgQmK++SRB8 z{H~$>XLVjwv`Jzqd-B+ZKL=7bnNsn9<9zdwPXNxohSV=>^9jLc4L~!h-~a{_9(#HP zojh{!LW6tI#k1tYu2cMScbcgjO>|ySuH2pz&hHXswAhsL+%@*{Onzfh0ovB!UW+}Z zDN|u9GY?LKOOuynmn*2a_$gA9TNiO2NYOc9^pG1(fcQqLt{>VUHg8r78)VglV;WXQ z3!7-vFhpz#LiNm1wdH}#l|W{Lp|e{!vNvhdyn0(@j%stZnApz&K<`{a9ltSn7P3c8 zfl_duHZ(8D`wDE5{cbJYSA0-N&4iWrBG>W6znzAIXc|0MCC>yL`al%l))AT$&`(2kG5b8h$uk^ zoicY*ER9k$0K3LK9-V@%O4nR)fwdKg(QZDmpa_(!MxrcXxf>?+jmM_}$62v&n05OM z<0PQ^$umpxkz_WcLE!6^Nx0X(H%*M|1##Q7|0|ZzW|E}o4+Q>dhqc#c1N2dJ&*YC);jhk__-nUhr^7= zhN`cS0fV0Fm|@3d(&sKe=%wL|g6q1sv+Vj($z9Ua@3jbf+Iri5>SBq$Ib|QEtHzc^ z%lCG}fnA-~=HDiI5s8UBcA36LC!h8#lA043S~vu!v2s_S4FJu$pvRe1`z(DF8byOs zU#4egOaeK93}~*QF$!9Rsa~vvW`C_$jm=c6DJ==3+-oZ$<*}4mw@^}uNl?(!7-e~;tq|3M6o*6GYwj{k^7Lfq9B3VW=UsuA*NnuFNOD1|- zlEm0`u=&SDjR{-l78Scz#*xLTu}mEYJ)_tp`S&KJQPFVl#cj430%!@|ROx2am`{1j z7|P6moO$BdO@_%kgcMi_@qRubVh!d?7@Q8pQo{)n7g}0;gGc#A&vz5nEdkou=)uW0 zb+WySu+wH>^CE0G7piF)3l?j&?U(4Bp~YI^k|hc&-88lpG7n(hwuTw|Ed|;Ad_cIP ziq0a4_aZYw{p;0@}pf9Xe}_-F0>YSr^i7W z&vnv`R-VwTQv-1d&oS~EeO|X2*x>cL48_J^uVYA_vYP=1GT^m79mrNapKxn71|f4d z#^~(OXK@&&&ogQm9?aqnOodGzxHPNXQEf*3+ahyFRjkGB%mb12!$DIOmvPi^G)4*T z=2K(H;QVp}t0Clp;?8IuKB9IkHm+x}O>H%Dk}hsN6nQ4EZ!g>f?#Ww<*Hj2Qujq+_hsA<)$1CR5S zy+$>6(;@ZUnwAWSrDKH(lguo2jkG>4Wau8<i6~jXWxB9>hIu z?aMO#IKEKU6FNJH7jFG_1{mc-nhvo^MhAw3_{2ez4MIq?5e9}|R)8ea5#u{TQvFh=IdWYWMAN!62g3v@i_5f$hS8?3oc7SNV~z z<3K_;LGNS!2C+@{_q6&25^@%Dr~L+qHf!!* zJ?&y`cGl1zvjY$;F@VLFwb|=XX-25{=VS4xos3PFbYz9Kc_40E_D$n-s2#{)$X!^Q z9X_A*71m}~kmj*AJ0d{FSD2e!VN1cG#vU= zCZXUCcRrfEIjU^QFgG0#)+SqU>1A%B$6`(*&E)kIk;tQ#uhVc^KBDyF`HBZ zw>ANw0U&FWU!;;DYjbSAKqpjKnIX z%TZ0n6{CSsie^7d6U@9f9+T^4dT)=BdDFrc-XurLp{ZUvF-K)%-LmLDl>Lq|4>L7;@j>G^8wf zbi9xF?ILpJg2LghuPU%%&16=(MzPjolF^3IAK>uJq$41M9XueS4o68NYBSG^I~-E7 zxHenbzh|A>$iWxIuJJ_KmwSJ1n2q=W>5NCXA%mfq9icO%XHqFg%yYf<$hF$wRigk{ zJd)q#{IadrWMJ>L@z*BIS*{ug^LK|-N7>F2C-p0|Xj8ltTm}cpjT8-hU&T$%SsyS! z?DMq+2=%Q`h)?`L#?)#T5zCa=TSdE+6X&*GiZ<88Q6rll&Zh<0QC=qgG&^rJiU;fW ziGwm$*3lIvPHPGml)6oPqiB~+tAqisLd;slnBnYQoqs?s;-2lJcnBTNpC&?w+hr=? zkc3`2S}Cz0^fSF|giZwH7vmmhck{(x3KWi;LU1>Fs0RdLton$)6xIblf6F33sH+Q# zgNe}2jqpOkP?S4dviUgAel}z)=PxQ@KrXtlR-cfol|x(wKRvr%cOcNmUK)J>jxN~K zCWz}8boZP#0hB{j9d6C$R@`PB2wmbij@!dMl_h~Cdw7>khmt*f%5JnAi0onY@a5*P zK4G>hwJr{VZeQ8M9ArMa#ywxYfWkSbIj6Nk38aDUP zNiA%3Y~9II4nJ14$>w4*Ap;$vM_)>~9P8~8?uY@LmrevXrh0h5&^p|l(l6~E@PP4_OG|C!QFyW_ug));E;nLTD0?5h`Sd$yl?$CK(wiKS@6{d9SLpauso1)iAeeSp|I?V5R zOE(9&e`&Yr?BW0hO?w0EV$%VD{7t)TwuAed_L!FThx|>BPjfe&qIsJF5O{f8*=yB~ zoQ^tYCJu429F0Bzmz?gy&g$J~b3x2Q(_w1!JpMq|Bi%win@(Rk&#mdR>4=kVQfvn-0fQ zHWw^?HV5KP8?~X<-PA|(m;gF$_|@b}7T3BXv?ZK2d(@2HtM-3R` z^wP*{)7$iEnAfJm2Qc0LwK0K^trH>;Mf2H2SuPv4?iM;WP#s2)i7C2lIvHaLmrcjt ze%M(@`j*>L-E)3!R%@pSDV`E0nUg~}zoRoUP2 z*^nm4!sWAJ`LTexzCI^K@*7Wm^?`TzCi4qnJLIrmZ}kbeNqd%R3bq_V0XSXHR^&|o zfSj(Qn@@-z7I&mDIA`#EW~UpjO2^%^>=ANYotYFdB$ReIWZF4`@4Sh2pB48p`-^%v zhUvUIEAFF@pc|eQ_kmlu=d8HHF*wdy@hOLf7Z9EmpAK|Zd_Li4#W4t-6~`EzFnkt= zbbOv(!_Z)ErNC48odT2QnQ}y%M~=;yv&r0b!$viP$Kk9E%eW9m1X-bVz%? z;m5dV6gucVqcr-Cc?1WDnOcp&g!K@(if;rqZ4`lR8|B-2{CT^FFnKkZ@sj`Q8p3~E z<-Ub58@0|nTh(>&fM6bW|FQ4}<}VNset!XU4t6&{9BG1WC z=v~h65oKJRWPD|!9z}Ts>O?+zE=k(0ShfzBd#f zkFZ#v4BpY7Q{L;%tG>Kmn%@BIBv-|2CwlbqOuTjk-&nyc;rg}U-Ol_fn15DiJO_y^ zeP0X)-g4E77Q8*?`MvWt7>kS1-cuXzDN2&S@bEzhw^N0;8smGE5e&&YaFHJa(#-~k zfY1|n`_dix4bc^&CG$QHyKJ=-Af!#B5X?^9c0+i0%DCyt7F8|a$WKuw8nhvz2JQ}{ zs4NLcbc75&^Ldn#qRz$qiX3=Wd@_t;hDP;uM9^t=eE+nTlTa zA6HXpL3q+Z{sl-+qVhWRNn-+>Rj1}EE}<{BrCEWGpvG1c`^AYctETG>B!9`Xpv-i=w+39CPDch0l5En)WERgavW~A+T*~FAK8unkn?| zMV^YOCdWjGr7j_tp${vMC4;cpL0%T&>gD8DqaBhg1iEysaZ(s3Vr02X9>&iwYPN|F zKb$l#Iq8buoxqgo8TZ;(1yCqPL*09mJOz$viCW2?ZYE&htK~lWNEA2cpbzyEa zQK`)^FqGIJ`3|0nGlriuF-jycFv#Mi|G&E2KPcV{uf4-F)FiB@-J=(y93C-Wmvo9X zm0>_Zs?J)uZ_34ciHSC@3P_Vt^$DD7J!?pE!c@^kaNWS;yfE`13EUD%U+*NM+ag^% z0kUA}wunJ&=zn#^n5*~+5zhZ!tv(^S8qNaZG3R@2CCWK2-b)wf8FomU2JL7vlc|g9 zb}<3wn0Qp?Pn0K}PvLO5z?@k$wPSjaYjISZ;cxk|5yd9i+j1eT-K2gFwE@5lNnVtknPUYVKT=YlkRECT>RMdhFi`xud15{P79x~Ip+}}t;G~}a5&G?6n(#x6$ zTNotMSUx=@^5F9g9mFzr*hca281Rfz(kiCm(k$j_zdIVdxg+X)z)|T#a8&ycUl-$^ zgcuT*M=^XP9Z_K-rrPrYM~i(kfI^dUHz&)0FP(+G4>$9CElrX5i!}Ane6x^9czH65--w zNDzhoS3A>Ag#L%4kJUr}t5uo0j{aA5qbc;iT9!I6{qK}r{|kuef9N3{^{-ZwLZSZQ zIEH4ZseiTclA;qt#SO%ZUaD>v$Ip|81fl&^EzG6;A?rIEnD$qfDfFiOMLD#;fP}91 zhDpS}B6a?){2AaZn)mVvIkKW60OP2B82nR@>Q^o4*wOuP_S8q{es!xkm(jOzH@;u? zFVMZN-;o_9AI+~8UX8spzlt<(<7j>evCidaeo+q1FCfzVYOb=-O!KQH%K#6}k2|6q z&962wA5;A5cw`NQ;um-e#qU5|@e7D4epT0TL-DIhsdXuS6?XhOiXTwhj({Ys90|%B z0pt5p3~PI2s+!tYYt=+U?W@RGc(lH%L{6dg)lApUrS%0Qw7$AEM;bTM`f7coIGWbS zw-WlT^;NmnL+iuEhRY44dk@FJHayI7)mWF#$Lr_y*7e%}L--&aA+$M3t#N!!!?z6`u~r{l!M z3MAdR$h1p;xabsd&g~-9Zb>rD@4L$kCOv*%#jJn1-?!nQsvf`ZDZAe{AZMmH`5Wms z$dS?B>Jt)DdqakdF8O^MPm7P=cbDB*GQTgUo5Sy`pzn*|yOQW%1V0}4^Qy*Bb~E$) z@*YFK{l2`(@EpJI*$eXfzV8hZJ;o32XmkC!AW)eVI5`+1dP8~<&ID=X@4y%s^yFhL z8Q!v{c*m) zgPgB>s}Bg=tF63160Z<8_|7M>))Z;Jl~x>dAQV>`4dcAI8q8AOW_wv3u0)$r{`0YZ ziu``ejZwH^elAFi)>iH}2x8a93nVl1OvAY8!B6zWww29u@k}MYXv@{6&fwQ6IVueh zuJFsj&uDZS8uoK95`cDN1rGk@2M7_4P6|o7!mtLFC@|PuPq9?fi5+le2*Me^LC$Wl zMjwD9Mb^kv)yz=9nZP=B1hdfGb_S-|+zXf#<2x@^4@qfcnYb>vET47MKt|7^QwT&= zFVkR`C*fPqkb^+?;m>L(UTt~b4-7nBVy$8=KOYc#`&ufu1c=C-=lB#AV3= zNS5q!H+!GVbeFT~S0+pPqYP3mOLjR+8xTSE$MU0xEa`B*a;ticZuY-qNk_U4s#`8g zI`WXLBTRO=O14mzMA1cw1I|2|J)`^viTxG5d;naIba>6VsU=4`lA-VjLUN?T&6(>Z zM=(_vA{{>Heze36S716K197Ja4mcH3N-jVc!&>GgK=$$$9X?5boDCoW^1dM$d5Bz) zGy|mz|6Gt^>1#XEZc7)XM%|IdbR9qIE6NWVNk_*>_~z&FS6&I1Rt| z2vR?A56Lyy;oPGWVq_1+o=Nl9$x%mIN%~G2ZRk^WN5+9<#wea1JlxyAk$6bS&}AEi zuGpMWlIfjk7*jm+wBH>KI`uq=axM3uQm38=)l%TjV)(IVK;qbwZBo~<=TmHXsxch< zYCGp8wmfVxo0car;=x%~M>_B_FQ%rr^>S(;hPy8@N`&V^wKeUCkfY!cmM*OHBti{xL1_Am6~+a+D{Mqihm{$3 z7RU{~&W!C}ZV3|ClDjYz->F9wwZsy_4hzWPBc=RObamy_|Ae>&b|4m}gSc*a)MhiE~cVRhO0TKMe&X3Q! z8RWu&wfclytqc-6d-M}p;DID=u)EbKFPI?XOib}6yW6^Et`{jY41F3dxB%4Y@+X}q;`dgxxZPmC-@ z{|rJImd_X+$*;@s#}?+WA}q}4cT@(ynk-=W#>>e4k}qHIUA=Ts`D!A}zj=Bz|HP zNe2oxNH3oCF@Q}onj0G81A!9{M*n6A58 z5i;+@X={o2&X%sV?1;Es#}?{*p|pIt-i%;z9^r@H+)IwIz&gIpRxrK!ZEL&*e!}4W zN_MvJd*J7PQspJ^Gc)b=*1-6*&Cdl{-GUb3^M}&-33)1Q?7yegFOW{Z6d*d<%&=;j z#dh-Ds>-|`6^?<)J|e~OqsS#bK*x;5(tntBKPk;J_=}Yhx`}7Gt_qu_CO*106#Ll} z+JG19mV!eoU+c&SKVqil$_#IM7;arPAiiV>vO^Gv6M}kG-V=9|s?}Q<=-Djqf$4vaLi9lg;A; z2*QRV!iNw$%7z$aUz(U^;z3(^WW=RnCaC9`~o;Jv{?D;Mxm4#{f3L!~OiZQ0L9elx% zslph>3BCnahh_Oqj1)q^5G!PR?9mnnX=mrUmk)~HwR+~ELnIX=G+VI^VrN8(s2o~e z#auEQ@GjH3t#pkQ4QW{zr$LbB|BE@c5kH&}(1`rw=y8ZaFyOXHks{Nv4BJi5I95I) zw93T`mfldfm<3#8xm-0K-mxUNNS2M645UxY<*;0teM&zc3pKxpc^Ycyt_L;*b7?8~^>q(=2rnPrzHyJ-nZhcyeN4vpmK=pem z+itj8yez%8!zx-_%^#7CdYkdWh(j(sTB}dUg-3@-uey77P3u7Pc&8Sy#S`Ck+vALdm zI^`AF6b)jC`ul-Q=IK>XFAh&Kd6q-YszlG95LeL|);OzF^lIs4xknT*%E>heU?meP z7E(?P9ka*1^By9#6}=jKgzm<$ZZLTbc;y;f=&`aqn&}u!@w?#z*L z%EKNN3V$lUO{E+>gBA zin~H%(Unho;mdp<>Sn{hM7=ANWx_$RgryFXuGO-ZBixp{NMRzwLl1gt{hdCPb~o8Z znDkcsT#(>)h+16ZSBP-__iFV4;hm540vXIx&Rn`+ewH!6)trs(R6PaBfV<|_6@m!! ziU-D-8CNe|9d$cKcBnZZLGjV*K&~Ql{>q9URCJINc+jNFo&@;eD*;rA8OXerIBXx5 z>eb4cI>UJdIp`_6{q`Fq&>XEkAzH4#9}B49*s0)?BlvLZJG}@shg?XoR-cfol|w>W zN6#Ux0}`@1T75z;X^ng4>qT5!3jgc-xF&3J#l$szeJ^#8NaR&lgFCOhhyjMEwHHW! z+vLp0+U4bNBQzjkax&B8%C8XSTyZ0mc|~b-$_Qmt7gYr}LYay5nPG+QvKd$=O-D*1 zl#sV0O^GD0k@+lz+o4R!$;Z@#Fb2{xwXj3m;H^P7L-)iIjY_vd17Jod>x(LAg|fdo z!wlVJdA-97-D9dIe6wP&Wa_xcLul4Ww@~b^>{yLH#4^niWqep~mnGV|Qlhyf%9t~% z^0Guv*)7q4m?g>{pvjpf%7D7%o-0c&Y9^X2Q3mNfmkN%sze^?mqfE4;T{TKIVL(fi zscmmVbmKZpEtMg9_MHsT_kGCKbko!fQ9>xLX@~Ngl)Fv&cJngJ$;?m&zHwTzM3v(A za41geDqFN7Y1V3V+?oAyLzLSZDn=Nh-1u~v$`EbHQi50yGek)!?JMli_eoh?*3$X} z!wJabV~mIyvxw9SGOJ82K^ndE=-Cp(BdCIsQYn8C6E<|df%9${k_g10nKY=VM6nl( zI0{H`nWan`zd?e>N2?FW;Y5g~NWTECHp(me8zjE%jXnUnQh5P}=SP)NZ;zQUUXe(h zrh>yW&mFUrBYlpSrQtFhm-(NMwbObcI)jQSU)TCMkPB^9u~(lETzM?%1v2!YDPNT% zlVyl#gWsi)zcq!GG+d6)=IVPGJonswSOul!o5{leQ!cXySxl+c_oQ^7%RFU$m|}p~ zIC_J1ZG4xH4#X^_US7$RXotjH`@@GpKLKYyL@%F^(0bOYIuy_`!yfyxLjoQ%G(1>c z%hx$(;B4tD)iFcEV{_NBf`Sd#&99eoou3*tNl~g4r48u{xCVSfmr;6CR?S9W&0l9T zKw_4!_szjU=^}!$(w`5Ag6=9A3T+qV;BrWysKXmwe*vWQ==Jsh>08r z4oXGyl%HY8whlS-M9^Muzd^1o=KXv^+zHeli{PMp%i;;??psVlycC2*=ax@4yKk!~ zV)61jb>N+LnTySCFAAR;MK@Ss@MQD=9)}M$J8`DvW9~sD-imFY?42DMk=$%R&#GXOlbRv zQO>&%3u6F~FylpM`?m7|Wd2Ha*9-dRupmv-OzXS_%9M+cvUt3^ z9?k}K=LGRsjMNbIm$gFf-gu`PC0k9#58QKbAi+gS8^#1aAg;QcRv(b?92|%|2OUpB ztrVUEW^CmuyXT<8M>qXc6`^_MG0`LL4o6g7_wMwOg$zBA;GEIwKoCiPc3j8fRdmnF zdBBK2+BEJwV8k8`B{>f|oU1;UHm|Zf4+3&91b5TSzd{bCz11hgT?OxJs2DuNN1vV$ zH1#Ov?eyf33lG-n6LNjuA+F1xo?Syc5O)=vR-cfgS9UxQR1c0A>h*GP%}l2{rAGLh zOqaZjALD8v4+oWbtK$OX5PM~`lZrvaUIxcU{Z^U4nSX!g#HQ8pJDF#Hj2f(eS|Imd=5uM;AV19SB=J;%cloEO>sVe zo5|u%8bK}QGO`gyIkuMpe2(6MsHTuz-k;9kE6>2lm`1-*qGuP@Cu5Tjv^U}IE5ue&P0)oM3#m~@LP9kjA znvq?wy7Pn4Yl@k3tvSk}H9O?Y6e&j6{0(yWS@iP>39T9VR38sQ!dR92#ql$uPL#HgNN4!sY$AeFyJ{dqPdi#O61y@WA=GBLz)Cu5vu^~`nqT+Dd)ytv zz7mg_|7GCae^Td;yhEzL)xP#nvaa1#T#wiYcL<}4HdEPUK66xu-oHvn9-{PMh%U+% zkg8ZRSeNJ%tn)5DdaLU|_L?yNpsvv+oUo`&?@&TQ3_YSf2BT&YP68)BF?ew|L92MG zvM0_KWrnXYFgI#Uol@;GtVl+$4Gw|P92ULC29;j6I^{0i!{!m_DIiDjP{!brjcgxSJ3OV%J3ak)qkIQPZXrxo+aSs6$>k0}$5 z@cI(na$>oANa&{Q!4`D)RwRcdCXi)_d&d8789;LYD(;Fvv7fpgZfpNJ}p)T z4zK*OcF2y{uGQr|RDGdYK%;FI+i{Dov{aO^vNFJ$TUN|4$|G64UqBjzk4_JDic{$m z;7n5iYZ?MLS7*{vjnFxp&*AVspJmh#5@>?ugC%1x42kRNe=+5xFpMY+1pe6)fH_;( zo+;#oVG~WyW}x-kiT!6Rz0LacWrn9Jw81 z7ps_1vfxMx6^@s|k+$#gh%`d0qkI;`A#;kkj%w6LT>&2ub?)zH#q8?EpM-=qOzWwO zi%uL%r{;%vupp_P-yzrfA-veOL7MQUr+SE&I39<%-zbHV1T;m`MLh@N)T4m5ARgr( z96>(~&gyh?CPv6{rXnC_@g&a>d9+8_oDKmoE^l5H5~C!XfOeUWVIB%<57f&bpoYiI zxE)16r|j!>AR?gXK=cz|2m*>R7zOzdjXYuwK|nFfs9{(z3JN?01qCLJh#b+Pp;(BZ zp#xEF3Ra&%MCz^w5jA-5DJq?aI3%^ehm@l62zaJ&92XHOX=b}B;EA~uM1%+A^1SH? znTE-rjgHnd1;FSi%0Wi~F*-sI{gBbpE2oEyI0kZGkrBrT!WNk@KkOWbjJPad4gPy& zHfJZJvwNM4h(PNR8q0bK0xrKn#Wu0 zXJaj;A9~w*e-zaUH49pjqQH|*()X+sXo9bD(bmwcMwZ(56g|JUhuJkPdyv*{oCk-- zyvn>;I1K%C@o454Ol|QOh!OqYX!Hq?Py?W4iM`YnEZ7+HnE2#3f;scI33r`b=RR$rc{;@4 z(Ar|*@pjlL{!vQBael{ZWHbjdpVah7PNLWHSt2^q)ZDCOquCf~xyvB}1Jd{+y|;(R zd#*2(?9adY7|8C|R}9hV&*yL`)F&A=3<<>|`wdGpIl0dqi?B&CYR7WX3m|W+%P}o& zT}|uff++9SE=y4BS-@RP+NqD-YGa`EGQ$aSGEXhFZCpf&KIz`th~mBU70%)rR|hzn ztuLQwNmi*1!lz+F^kOWH0}vVYby{yI(tUaV7MIHrX#`YGIHGlHBQb{~32c&4!EoRm zIF`;Q9E~=Hz_Nz;whVuibXQ7wZQXM11SH6+CSEuD4I1g!{(Te^3SVIM-t|ZL4 zyN}sN({cB;iW9x#?rXR;-fnlF;(3p|k69s8xcjc6x%&=8?ml+l7NyG4(!$-x^qBp) z`x+jkE63f}a6iA@CNEQP)^XKXRpN#2zJ_O->h11pc-e_Ygxr0*ywri*eWz^hz5{UQ z-a9fG!#XAQ+}(E|v8ke;Pe^P|9Q~Bz?&I*&arZHeW;pxy+=uB-%`&|{W;}><*OAm) z@b=mtInunw=2Fjb_A%XPxt)Cs*&epBncKCB$H>`t%I@qt5V^LPue2R!pR$YI&OU96 zaQ1N{j^pfW$VX9bXWzk_JNqt(oP7r%XCGI+Pj~h;ya<+VXCG6&w&Uz0ZZGmAx%7HV z6ks>kt443fT*h;c>&2i(R^)kHeN2n|99JI`*w)+CcOdTS+mH!OF3gy!^N%odnCaog z5CSsmarG(HZ+P>V3-~s)fQ5B_Zn}==&c4>9HyvkR!_$5_yR+}?dO7>v>4GArH=g}+ zxgXL>K!P%GmNM6`5FB;Z7swLx?`7(!U@e6U7x(Xat~#99JX4DTMIE^jj>oUzWk;A| zXNmFl1ry7@n3LyyV{o&KVRRI}t$>7YYw*##AS4`U^vk!!vxFB? z#PfLN@@)+T-^4N_r^0&iZ4JEXc~!{cD38ot`p8ZQ-_~H-!|-h(G12Yi+8XcxAJ-O^CEpwubDW2WhF)#>SeJVX?}4os_ZFW7yWCrN4lf_~7E*%D7xxxZ z9bWFOse7T}-imU#w*q4BE#{TF+*|lYy4_ny1-35t7Tz1k$GwGg$m@1*;TU9Hzfara z=H5bLp_Xs=7BeAS?ycBd=H7bSe)z;(I*AJR79ittZ%r4A=H5a=eV#jpdy7e>F83DF zJ&nt~g?U|NE)H{|ofF83B51?iW23nVgL+^t-BIFxPMM~Q4v z2wBGRG?dvbW6X?ol&!KQSu$o}Vhm$sN%lQiN|v&#Pzk9})=1W(EQtsa5<;oy?Yl?y zY~OQy@B1Ccd;c@noY%Qt=XGA^9QS?C&z^xI#Yz_})aVCseS6ELcArCd(($)up*(@O zAib}XMb`sCd5Yh;Y<5ZW1j)~9@7S&`)9jn&8_Li-JJO~@F|!nTC*&=o|6#U)b3_40 z$Aj`qR}UCVgoH_Viff{$zlt&O3&8EDsIvYM;jKd;#I4&Zd)-D)Nah$ycem+{>_RD;fAf?qaE=Eg*=Xth3ZAt_hM1gk}U4i z^Ijr;yEvcLcGR`02q&ZZSEU$UdQYNbfuG%;{EPXl%BTn1PIOx*B&69lC^-0 z;!0ZEi@>_J$~>9zd2N;;eqr17rMCV9-l4Io4ly)pVkIXR&$kW6_;M5@x?}&L#mmjN zMRnwtLPk0HHf(0zSHub_EnN@`T;J0IDcF)ixYCykQ7sU93RP!S#cC*>k&B3(H5|-; zPM0%3*Kg+*bD?tWMl`bJKH*Bn=KwoHGo-2aZ)b}YJ9*O0#d}pA5Lh7B>re0KhWfP) zkw@ot$J!g7R&B37RHe=9cz-7Z_+jGFT486Hbql+3CssrMQiYkSY~jb#%8VA*$}QaA z@a|hX1=LO?m7JySqPKm1Lfo0{n{K>XkCMQ5bgoY!&*AHz(n4TCJWCRWb)eyy?dd~PWD%!3v4@7l z7J*2C2WZA`a(U0T#W-)XNa)GTeL7x#;4;}-n9uBsfOOQd6ZNE z_OG~kd0#&+D#nfaiW4Q1L$lRE)O!r1RNEjP%`a6JZ1pNK+H;;)Ee7L|e<9p-l zUQD`E|NCDLBa$-0BT#(w@<|*`Tk#5(nIPKu@BDv%OiL$Icr&80D?V z4EVG(IXoZ^kdnrQl{AQD)UuYGRiaFdWU_PG=nTiIbBclJ-O>7upa@A)<)_kF?z`C$ z1Zrs%s!0IST622nsU{bbcwp}nMsgz)c$e@qt#$pYMdUq8Ri!J#*~J4Hywgs45z<(H z;PF6zhy1PD1COumlI576SbjFWiz#Yc{q)wP?8ufj@x9JiF(KoCl1%AT#4J+;Jo(UG zFFmeqcH0{9Uhw`LP09O#9eNKrQ`QdPM7?c<1?uHvf-Ofi5+@Lqvbk-wqQVZ(i@aZ) zEc+-#o2{eBAVsB;v&%%p)+3Lv?o3H`>v{0v*yPll6~5A|jf`%bb+#MA>zP%Aoy*@B zjA>;*%uLWZp0lg-vAq=4^{nQ{AUZ$Y=$#>Y^;$G?=DO~ z-WDc^>_D6gb;}tTt#~b0y+k(PHG3&6(>tYJ%)B5J@p+{b&ZDH9$xy#@LOvhP(;`Z( zcSa{YOc>^Vb2uNKL|ec<&qy&}i&tDI?Bopi)ay3+wFWx8v$I3iZ*~q@`RHaLH0j~~ zZ~4#zT76TYS#d~46Zkb;ow35NlsaW0x82?8k zRDGp+#h{{DbN!Yb)K`ga#zKaeselXP#K5z4rp(kc)29YGllisL&-XXzakY=m$h_YF zagFpIbZ$TPOtSRJ=yi<1+ZyqtDSpm@2>_))ghQ*~8q}_2H;-Wz@F&E;8sNVk1-%XX zBcQPC@xx?V>lR^FiG2q2R<2Ns3_>~mO<(4B)A5b!4??%~%J~bti1=VV-clqa3q#1v zZ>cpob5b-X)XzaqPsseUs$O;V==Ilb*kC=olC1KJh$D60?FH3e%sza5_2jm|RY9k2 zt>7@0QiIJ)SWIKeQAo$SUQP&BHh$6h#Sw>l@ugl9Y6Rcdx#sGfI|_nq>4tYM?~B{F zU>75tX|v0Hd)T)NIg5!)gE#x?BkZ0b2BU|K+~Hnw>0C9#bpnsRTg)_o27`~&XJ{>c zZJ9y3GXxKlh!Og71jXs&h)K;WSkGnN3{0hxZGA_;-lLaT7g4^ku{ZQxPRc*os4!JA zK$WEthOJe%B6o~*>m@`{omj5=Q|{B@BdKa1FTLk^)05`6!l^55RTd5+q0gVVn@BL} zb4VFUkmgr;9ER~K7Wawraapd8(P|sa=WrU7&?E?Ff4h~xZtu8Qca)5okdT}5qv(5Q zg!wmfbxCUZzMdy|m`y_iWNaUIv^DL$+I59SlYH&xo#OoUUu`C5G3%pP?yxhgVbfSj zcHl%#i0nfpxTzfC(XoyqUb4oG!yIz7@x_k3@Yg(Vib)U0n;PCDy9y`EkE+v;mvPpupMd^pJuF;IM_Zn0t4cOkxob9x1# z&T_VTpDoCpL)g46+p87L?=2_qVWyf@>f^cQ$1i<)6pkoOgW_9Wteh{CisK>A=;j{m zf<_-Ut1HP$)xD-TeCeQWz4=xr`9-ONk(macgj2;g=q~Z*xmehi!3^tFu5fEewuo}T z97S^P<#P0g$1Tm}Jx=jS<61O7bF<(Z)J&1*R&C`q^5Ig!nW%LK^G5%33bdrgyr{k! z;4TBT!>V&AQaa!T^psOXZhDczv-U&xa-qL;R)ELMXD#@LY~q4*Vjd z&hPXqUq;oGe<4;c-qomVw`mCYD4jB`EX>2(Ca#@v;%IQtK~*}ax+B9(RsZvzL8PQl`FH`4)fK(6DK8`$38wuPerya?U{@zO)L&!o!H?TA*V7XrCjM+WvT&ctQ8NA zkbqnaQ+`c%OtM<)k~Ucy&FMPXP^Gid+!*rmu$E%st-HcX@;uun)=GI=UnYDun&fAu ztz0h5%N7)(6$->x1URTsP&oC-?O+pwe!|`8t~_^xQ$2N%$5)YBZ;H)iWBD#_mr`FR z?;H76QBd|t^wK@Z5pkY9yt`kT2pUXgHH&3US6${-I7)LAi^p+}l{Be+4db`DcJj+J z%^~BpK8eteCKuzjWu=!*A$UD_dsMXDMq;Dd=QawM{<#ZR6K3+&gn%*N(V4r+d!Zyh@-)l=y4aC=g%8 zPrO_E+8i&rn&7e8x7g{gn`)7(SptHVblqqbS4tRoCEz=Id#l~UX^0hnLC^#!ryaY& zdfu#JhgP^at{*brdOAKYZzNfI)G`UdNieY!rc5eKNFrG{1UIKWg+r_{}`Z))D;fu`AX0aHZJr- znA6xyguwPPn+2yNzuQfA4`@sNQZmfv3BbDnp5K+4^CYcA4)MoG@8%Bn_$H>G%S1zF z6z^w=*HMkfy^c3JOQt{PqOt(Okq0LCzld390mtjHG-*o-txkHmby14?#%?QYHx@;+IB_Ib$c%EZs4AoUnVbU2soBZ zSB1hMRl{75@86KC;`UJ1_RkZao0_cliaibOiAWTfs?qKLG*Q!d>PGrouE!VBD+}WK z7PH4bE=-kF_}7b%@>f5~ABtWJhp9P?@{ds$>imaeLsHFk8vJ1##_4NZa#QO~({(SV zV$HD9qeTYt2x37j(mN4^s86mDQnp;g4KjbS>6R z3dx;6qtJWgV}&NJBdX}rvgMl9;_5(tVRv`Z9v|exxUr6g1zE}SDM6W>FXm70BQ20k zgsgi7uV<<4T*akskr0@4)CJDju2fbFmno-M$~8cgY4nJG#a4^Qqxj% z<08Vt|1CR+}1`JOY z!0ZEJBN|$=Nk2`qrGFqCf?#ahpiSdGAebqQ>;tmrW4mU_=LiBc_yWcde-cIfF8Wi_ zfXE_xFkFAB`01EAg+(L-Ga${snPz|g39h&q^)E&~n3b;!i@grV%*}q`E+UX5zWz#tkK2ewr=hnssDP~2z-1DO=7z(dxgKzEWB8LWfn z!|D)$6i^`kL@x++6Ts02MDZcv6bvlQj1<@m{uqC{7ai~y~pY5|}v|5*(%0q8*i;Q=EI zuzSe9BnlG;K5)bgbij?_!}_5Xqy<%1hr+?IpK<*gbHG~uvpFCEKi$RxJQ#BZnMMsT z1U5Au2}i0y;3xiStjQ45l@Z zLcAf32s#CaYH2_bKMZYh|D43a*h~4RSpUQ5iC*UB|9AX!I(tL0`7nkIk}n-7P-8dv#!%pB3YkbHLJ;a&WC#KQjNrfpp^&L$5}B$7N1%xRX(Gs^-~I6NWqNFGIWh@G z@u09x`T)5=0FIDJ7%GEFC$fM|@8#t|`vI^D19k)$j|C=KG?oVizqz6HJXk*l9yIpW z!gvrpU2$N42$@19`g*Xyc$gc5PJ#I{U5F$%7*PBaPZ+x>$TTL5!lIL4BrlR097bn& zGUzm-2NXEyeyp+w4gX`XX#w_!RbWJ7=bFL%Vc3e|{mTRV4>NyLu*twy@VnSQq;Zo3 zR40&8*zdKE=L7whuK%8*KMp+L*v5hV*vA<#`fF=J{&AlEDq-b+u3#0QA+T2yI49V( zqil#_7akl1M+2Xz&6)$l;b4FbsLg-FVa?ta%K!g_|MG#sRQ^->0aQI-mK#9)kyRBu z{%51|XHuwqKp*5|m%)zouY literal 0 HcmV?d00001 diff --git a/doc/partition.pdf b/doc/partition.pdf new file mode 100644 index 0000000000000000000000000000000000000000..e4d14edc289cfa24cc028563c279abc02f2ff561 GIT binary patch literal 6825 zcmc&(30PCtwnnB(5Q;dV`08=MfY;;<8Aw7B8A1v&r3omb5|R^$h9pf+Byb&ZLIuQL zX|*a&rO#Sw1*O)3I#dKv(PFJttk?=T)GJc!)LMJ@ISdBkz4p7$?-{<2?6c3B_F8NI zYwaCBnMBG!nSnIFx;v}4(fs@(^>Yj=C80Iw1yH6LV!R76)Uk20kOW0I7=?z!hebdP z83T+JA<}R;#4t<3r$vT^k2k6{IVLTEgE!$aMVQH81n=T3gwaAswK{w}f-nIIGzI)I zz!!}JA&?^|c&Fro@hr<8t4%*FX33e<)*ov36X0Wyk#Aluw^L>D+vGU)|lUzIzYN>|A~Q zY{lcP?gfyH{b!L>{A@n|@?FK^$ZKlVwS9~8RaNqN`~0Fjn+G~3EKN~ME6*B^{ycmG zBWu+eCx3W+m1CnK_KU|H-JzN`{?`tWw^ z{qOQkKU-V&=!fR|zCV3bsuS0Du1BR}@+9@FRlMt~SI4d>o4Q-QWIN-hn3mj+b#6mv z>Q1Z6LQW2@)_cFPK~*vI*pb2G(Uc$K1J+cG_{X+=Nj_^0X|>Pd7E2?It#IPAE5m$4 zzYA#{`AzGRb;3JlPAar&>>H1cxSSoCDRdkBq-tZ@%J)wSEknvnmOGe)vm)FU*GO2G zyoR6h3;RhC(|B>y!9SD{zwfS1a&@T~_XN2EkGbsAfwwg$VWK3D)O!^V3pN!UVScPT zRdU+vT+R&M_N3BanP+)P=XceY9=w;%Eo*--)%ET|(eNdcXYC69U}A#z+~t?N8l}qy5TRKaCgSe zvsJZ~-?zRqsBm;!@>}^$jW$fF+aD2EY{G`cw zYxd}g!3*a!oj6+BwrP9v(8!hHgLiKB99=f#_UzrIQ5)}F&FXkl^nLEgEvwjEpPXCg zqQal*8{&`;^2Gyd3nmnva$f9q-fw#YdqJ_gWRLrB)gJA>t^6My^AeU%@<$~8_`KnV zgUbf)aX-ID5MP&kV(zNs&_R3Gv=t5=u}j6+adU22-DOF@68)m$$gpFnYYR~1vX|SL z#AfTaV|eqt5|8;+3}Jng_xI7x%O?L2^&qmiWW?UXjZQUg)v%*rl9O+G!L&smc^-Mo_#-f`J%N)~o z)~S@)iY=nDny(*;H$?il)z*$Y^U+taD{t2Qs;jxRT6i_QR`5l*C2HwU{*xx$oZr9+ zKh?bWVp^y=PrGi;std(vXSDk-Zi*wHjhLC4xBgP>KhqAjEdAj?`ShuSwD+gZ`PwyS zQ^SMeIRP78ztY}MLpz7B(>DJ-2s4d3k=OadXNLlVEt`rKGafk{ykD@PD$hf>S#|D< z|M|z3sHhbULhrK7{Klj+*Y7(#iI_K~Rr|&pglg|&PHW0>gTqsSd(fejFJWnOFduyo zROxa$!0&9)6=&lV#lX{--YhZvlK)3-(A-H;+dQor$M!LEt`0G`K3I9?(?MsCF5JS| z%d7q}w(xI(6&YivT2>sOIVB{{{N$mk${=XTKnFQpY(MPrM|41B$FnuFSuwwVJou+C z!xu%>xJGzfjObi{!m?-mlqli&rT2DX*Tps2QeDR6qM5Dt7FpY-f6aMET9R^j)UFjx zMiKF+lXp&i1+G_jLl_v5ut$O&`Hf--pVmFceh!K8xken8DKl|623Kp9p$03If`Hc; ziw9vSCyfTn4Fmv42mw?kTu(qO5rL<+PvIN;E|C_BR%R6p;DwD^5*ib%ZSGw+adB=c>n;bU|8?^t| zv~7z%t~K2{cq=IA;DG%DxZK~a(hdZVyzz8n)0IORTQY)zm~kUq+SXU)XZ|KA+kbHA za_2+rs`UXk&VSzA>bC6a`cs;;CjVRSCCqx1_}FE__IC05pO-ZZf;Lv`rnNJsf3>19 z%5jFP0OofFlsDCDeE)Zp&u!+0(tlQZ?R?-J;kqL!Na;OLbEYA+EFiA<(8hN@pq zu851Bo4<}9hBsH7u7*wpC%1`0uz*t6*<%}%O84uS=dhCRJ{dPHeV_m4W$V@>x2CmM zF}!kSH0^LX=};tcwlp^2duTo*oxe;K4RhS@@J+*lG%|Jira5Yp3jf~GD4Y9#a`e{p ztP|xOL$6h&*OzyAd$1YrN43PXT)N~@@3Fh`n@7{mxis)@+*sS*KFq25`%CZU9`N76 zu;$$h8?wAObV%Ux(DP$GmwKdoez0WwkisJ7k4KJOJJNRh6R&y~2LofWkNv91Z0gR= zf4?Xe?`3OB&vhEeoZ2?^x}(G6Vz*uPdiZ}u56VYgrs$PsX_p2P}Wv9GWA z;c^5ty{lCnLS=D0laj%PZ;@5+f7qCtUN0xUbmaSpu!QpO_o?ef?s7`dfjC zv9~AIe|w$(>zp@$n)n`H|=^;5B zmZdb2U}uH^>Y)&obN~wxh}!l5S18nrQ4%JtHHFMb1fu?@QS+eyT`6z{oM1+4G83dg z0Iku=?jZ_K*Q$vua|(^5p}`7E208mieBsjGMIK* zK&8fONCM0T@~D9I#`(Wb0-JL9!W`(Tbp3MRwK;&a=2fRa|K6w{5MW)cKtB&qW&U*l z0cFmsc0qr)_IE*7=hNQ>)ZTa<+n|5MUcok?+BjRc_ICk=dUoaDwPB%6m-(uYfNGU( zUC`4+KQBs&G0{C8ENa`r3a40&O4V$ffHLq*tzJa$ICz*2Y1Jb7bWRKsV+_Nyv=MnG zT#*+WugaUP;;ZRX#5Ca)C8%vU!>TkgG}PUU8N$sf(YP>qv~(OvU=>)ijoF}=hpgE; zy;)!t(J2-I7?aa59im8x*&=#kj0_?S2Hk8e0bxu&6J?;R$&kjR%*JyJrr8k68oA_-WINoyqUydYAsGQ(gYMB~PFO98i5FBSt{068qM zJTMY~{zGk1;U*FNZCNz*c9y|Rbcu!dOb&;M(BbZNy+j@G<%`vU0Cbxz1T=ye&;e<3 zCEyGw#t@9nKv)cf7mpzVj3vOZzagjqL4D1=RnhNlbQ4#i-|!pC85gF;d5{u#8P#sr(|@q2w~E}HXitkK2aKDV*ayNva`uF zBk2SZgUXT(jCAC{%xdMJUK4(KPCVk8CkihDuis41{bK@j0y5D?R# zSM+&xf}SHEXw*gY91_>;j;c20wP!E;zj!MLfLjyN%OED?Ci0gE$Q_8V5FYquQJasB zAapk?#?-S!5@dlIsOSc%H4Y3eefV6LTQ~Sj?H6TDN?mnehO}K^zu95<2 z^p~YxS;duH^(Mh;J$MRYA+9EBX)Ec zivxPyzPv0p9~9EQa~PXzXCD?wp1=Chp={8H^qm80?ewxR7C0;RrDFwh>~x@kJiGN` z{6IUK*;pVrm-Us0a(Q+-FdpB|J{HQc)4^iDz-BJjPA`j(+38@TJaC5WYYUsrw(}{Q zgW33xFe$;$HYV`<3