From cfaafdce89c1007713ad5b9f3f6c6f85234f85cd Mon Sep 17 00:00:00 2001 From: Rob Dockins Date: Fri, 20 Aug 2021 13:29:31 -0700 Subject: [PATCH] Update reference semantics with the new compare* primitives. --- docs/Semantics.pdf | Bin 245540 -> 246057 bytes src/Cryptol/Eval/Reference.lhs | 12 ++++++++++++ 2 files changed, 12 insertions(+) diff --git a/docs/Semantics.pdf b/docs/Semantics.pdf index c27f9f65261a9950707ca255c748df36d1d9d7f3..ef762fef187100aa58b2d6b88591f1293236b745 100644 GIT binary patch delta 35915 zcmZs?Q+qB96Ra8AwzYy4+qP}ncAnU_ZQHi(tk||S?>BSJKH6vf3#zK`t}gyTs0c)i zR{}T}v7!0R)ft%S8<;IzfPj1~>twrdOR^=kZ)Mnh3e+E1L=K>@cV)Ex_H-JIA<@r* z-%|Xcr%K$%JLk@u=dM@0fp_1*KNuGxAR-u9y_<~87bS%wg09{l|1h~d z%@B^)Wl~0)B^=7z#YeFaB`Qp>l+Qml0t1k!_}&}dAlWc8o?bP1Z9Oo6bM!y(esi;t z)c27LJ|lsEg{9I=jhCg^IWp5dE;~XKzswI5_%gfdXx0xpl3r}|JNiQ9DS0R^2PB`W zEQ^sP=;3UA92GJMLHus1X&BznU-4$lPPQK{-r&3@@kEL5){fDav`5i4OVTtF<^bZ? z9l4Z`o`d!@A5X}&2drBL!zP2EWbX$Zd8ctIjgT2+)b*Jo7wbyWhF|pgq=*6U{f25r$aJ1 z`214x0qUpdHc+!0;WVV96)Zr3Sb*QT@82b+0teo8)fdm{sKsFL6jW%pna06jIQj=K z5_=-2b*UrJ)Z%+vD6w+N^Ccq6#963TBfm+$v=~;Ey=Re|&<7Ev-hf|Up~s9p)bsh7 z$c}O$X0Tpyi~{U}mImyP{>X$omMbLtFV zHt0;=kxh#AX!+5rls|I$`ZZt{jAkZ4M$}qSF_U{-t^ZSSJ#38*2#{#a&X`$ZuNK_9MTWseq*G6ruwo45h;E@~P>@pH6Y0f$4F%TtrTh=L5frsrGvNppRRw}D~ zm|!tQO{M#*SK0bCnS6YZb?mC4YWR2@LZC~ZUhFWD1meOL`R(IH`u3(Zs&NF_7WAge zhw?6P!U~7%$T&Q&5_iCII-;%YnMc0;e40)PpruLg%xnWW-x&e+?1tGSlAbPs_ZSr+ z_bni2T>s@*EdrI~JGarmH1(NK*4tq*$c^-wg>7n^PpNIv`Ddj~exmXl&sGK$tW=y` zghXV-vZD1={8Bio>i|Mxvix)1TOrft?e#Quv(Uf%vdHu9tR8J1c^_iwefaZfusx#) z@DttE)Jc^w5pU9n?wl9XZowZ*no{g0#Jsw%EG`q#2X{5X)6y-yO8(K9T4b`ObB7nD z%D3>G+9UW;cnJVGI^;T<#7tkiSpdi8Mk66yf!`8S&_qA7WT_0pP_bSJv;kU`nBTBX zLboT}>>GIbXm#Q&b}IlC2Fb_N`g;$ASh&KkwA_aU=l%nl<1;qfBn+--1TiDu-h)7z9}i4-X%le`PA8Y>|WV$1yUg@Fiq77L|L(R5R^z zwV}JY3N>%a-6xhm&qN`EM&Z34GRYpO0A#>pnm@jlfiIKr{loC~+vN7SA^;6FU1Ml+ zSS_9t0*iopeHmyOF=axg18?RlsA^&?25_`iX3Wez0`z6)N8amBZda49)1d-CgN0wk zx$opMxr+K59cm)CF35vYJJNPtPgGr9yhos-66|k@HK>smyv4Ib#K4;DVFvpxrwh58 z`hLnqY?w+T^5YL7*U%EH2pBB@eR2H@iFtQ`d@o>BWGhCW5U;Yb99@xf(kw!YFl^l_9-4!PKc4NR`)0;)gmZOy`UTbOj+&9ojV6fR|Ow&_Amt*@1akpk9A3HZfY zmw_0Y4AgrPi@Fnta?8MQWXwj9l-1}=z(tlsV7AnrELKtVc$$DN9d@OY0(_a?nQ6aZ zDpm2JYimRoZ3Tx^;GBTC#YF0A%Lhf0ixd(f0r;>?h00qit2e7}D#KgqvNn+Oxx6Ip&q4iLp`2BC5$^J3c^BE&5$ zLSp4dG?3siq~Etw(VdwZ0;|VeuoDHoP(&oDN&3=sT8ul`m$!A@?F=2dM(&Tnz2@ok z>9s$R;rXU(erjMpU*Lqcf=#R?H)od_Kp?EPX33)8tC2%i6M!LM0N?#+o%Apsyz%K6 zXS`rx$g0JRVfTTa?7pH8V@`b`(*@2QyGNTAPG#wh&yp%0cFAYd$Hq^*L^3k;3v>7r zJP-TaEoQAX3DbqlySN{4aV-)r2?uMy#7(ITr8#f2Nd-R-soAcQ>{rRtFHyEbEKMl+ zhr?Fcn#4_|M}q6(0DD|Yd@m2-fJ!<3P=Ygn?13o^ocNJy_92yjrKoqYwOY^M-bl6DGHW4fj3cNqjC; zz^sX8v;b}Ut^YUmAVq>CwS^N`M3s=73r7~8&D#xGH6v;gm}t8NZxo78NW#N?UUQTD z(M~=dejsOm8)=LkcYdD@5ihQ1WU0TuhpM{tJUu&FgpLLRCwPvY?I*$_9U~1rH4gT* za`_ld@%-0$^W_zc>Gmx%+F5%z*bL{)_s(Xi=iZr;}iewPH=`D7#|ot z5WkzJf+hIvshf7;#S*f48?Y)B)13Z#*>d@U#GPSF`BKX&4+kJ`VbkC-{H>;dfsAR~ zGf}neXCX|if-j%SFr73yF_|pdKI_A92nY&4#Ks_|a?m}0?ion$*1~cGA9&=b0tfB_ zw1=0ptZ?#H8K(fzC-O5?a}ny*A-0H`oM^X3`OGCf7Hv5^u^u`y*+4tq?$~A~W8#`S zb7ZRdwtF63>Fa~1om5Hbs3`W>W+Iu#+;eoeM5vvV)Jin4sSPx@=Qy6&yzQkESYX|=|AMy4bue<%*Rb{a_(tWgw+3y9g-ChQgsd2Bg_!sPT3!~h z&6?D=a5~X8)+?UE(w0n6(V>C*vnoELiuf&|4!n%OdsJ`BeIXdc&-A zXM==0{CbZ&V{|@6lP}Yna2qk-%)GU(hfP;a7L<{dt=@(vj$WZXEoNW|>v(jR&*y#r zp=eeOB^l>m<9bZp;IiBV=1#}~V&<_t78ju~6}vosmNqfya?qeg(6TSNv zm!}8&Mr!bgOXbFpqT4={? zv(o4Y;f|a{xUP?l?3Z}}4BYC0VS_uyVc6wZY4<*y7a zlj2I=x^U}Jo;nlScqy8b8OO*)&@coX7x17nA9XGp*otux>7e2`WFoygl!-=#U8WQQ zO$;+sGLBEH8Z8is7q?La%gdm%1kM~Ynd$DVZdCEPa3Fs(D?3TkA5g^qt4 zA$~@K-W?oXWOf)tRT6-TP*MfFC$inZPav<;MsKY#Zf1)c)Ny~Z!_{9xL3|5Jl!z>kItl~nSsb5S>ScgY`R#e zQ}ONt9_>Mmi+)>uKXPz>sZ6ni9PHJhwx<&#&BWurhlc=igF+P4$tjD!X%&Bqrq-!o z46iZVJr^b0XklU)MA0#U@s(+ljAAQ^X11nFbe7!&rxG0JF4t9)Py?J9+B$!|zdh)I zUQaUG7Vqo;ovurLFN*BA&*INp`X%&VA`*eiBba{RrUTGxC*GU+D*WwJj_#Fu{B!49mM>AA#zL4$BLp_0_S|A4UmFOgCu z5eUNp$m|(ulrW`7)bgI=!5ndD-1q+PNpdbAqvKnijbQoCF}D zoQo9B*IM#HropGDf~j%``bBW`j!ama;x=pLrJ5V-Za|5L&%F=Xc zF8+Q5V}>E&exy)5(_QI~Z&D%~HgBtl zyPt{-sLcsE%1&Um6(#w;m3xm*e4on&)p;mhZ62v3LMJJC4{7!s5%1dJMW(G>s#*zv z@zVJFaxs3KRz_AZ0LD_m+t^!@7R*G79)~P6WDm`E5MZKIjzPNWUoFtS~xZ zlu+a5bT`&kJz5-;))7qu{F+{U{7D5EeRII!K=*C)b1_qnO-NCs6#<)k2=ft;MN#%a zy-@6XuCY@tjQzBBJNsazXQyPy5E?tc>`<>F+6s+<5)ENv6-{`FAwUzpunS%8&NtUU z$e`1EHki;4ecA;fx>QI5sXcXLGEBRRLEkI3%R$_@XcU<^`8~+0;BC`o!i z>X4(O+R@}b^g9kjZ~_0zymk(Jk4Z3|@GXGF6!z)YI1Fj=TOELpo#BGM`$zY&wAUVi z9Gr_f%)VbyCUxWJFUR_{mT@u8PRWCRRhwWYFVf!@r%U(V#A)3C$+~xd@ps0N(HE;l zCll3LTE3;h7mLb=ZIWwcTy!9((;<4}_H>OP0+4M$UV+lXi~!H386`*;tF)YocFG_; zA;06U4NY__Tr17wCo&hdTvLyQ$Gp|8Hrf40ZVgMmV9qbJ%7vv)S9pdbnW``gNbRLl zj6RuUcCl>&ame4l47>pVmn3}BHFR{nc=&i!FDDPTg2n2&3k~#i3fQPFFKb@})RO0h z$%9avOMc6N8wT9~lR)HiYYPQu-aQS4rtw;^iehUfo5sON6{tw$_+iGzBV<;JK#GZ8 z9c2P`*ze?H@pyIY^QbvOOC&ns>D@IBZDcATl&p8&XyPeyE|+5fb}#QVHV*OLU?jqg z8nE<~T6U0T_l}LEj5O_o7nN@p{`#;r)x0@BCJ!Ac{!n~hxC_F?k}Z(g-mY93AXE99v$zN!aPCY^f<5+YD7u*nvs#FKf3_uZSPada-Z98U& zqz=kj3y>4<-y5N1(nV%f!9fU8j!9{F@orpXE7AQLlX4|pLoteRA7bPx;(5;qJq_~U zH4-(yQSMVRw1HEu{+glL-bGXq6v|Y-!%?E>>BAO67b_ON@~U(NB0Qr}Pp2 zqyxd)2eUEFp=`F(?BBRyg+Zf3WJde4?V6iJM@HGs>f2wL%Bo zeTZqP+~b4yiZGwF)&NF0Jzo;LB(D>rVqXV|W8veh!eoykvBSY5+CsQ9$U!w3@bawm zoAojCLqlaa3^O)s5S;KT34+m@{o8c$NplPjk4@{7YYt*ELnQIv^t#fc6xqm%Hv{L zSSb8%vfdOBq0`vkVQ>UJBP@^O#K;Npj@Wl~l#(vUyT-r&G`B^~6tMlq?Efji>pMlB** zv7z!=xwcrqaA8TOzg@50aG9>ellB$;<{n~&s4uACT&GwyH`-*PytH3J(cjY%{R`nm z@h#6k2)WIoc-9&7glJ^&0U`E9s96pnb2;FjK7>Z(hs9VCiqZt&G3iX@sgaiw`&c@{ z?^T(t#kkHJ)38&r19V`04)gf4D%Cppp<}+W&?u-JOi_8Fm)z?xm~^=6%PS;Vu`SOg zwGVqHXHTgNA#L>1H+{JQ*bi}cjI zE))s3C|8fCEIt8tnKARTQloTe&;svcpTTwy^;L>=9laJ#A0S4aG-=ULwxd{m-$5rZ z57};KF7VE&d#w`E*2ZRjndu0B?yuu(EYgly@d)g`zdQDYa>OmAf_;xTrW^y5@2S`6 zI=`%Je0ef}_SNPG-+}=rR4ih4P{Nr57M-CdbB9w6$JPK2{7bj90QAA3uxpOYrJ3)0 z4R;ywtfXeDM=QODI%IoqPB(lyDe7tc3USNc4=v7CkZUg7%R3~xNmVi`AmeU<4xB6; z(`Y$ipITfm)+~!^@7OX~^*|-LN*ClZ%3?6ao`CiHB2mvnnN_q z`58t7G%3IgLJPJG)AAiP&d?!Ksa?EZT-vppf`pa4lzzFL!HEj*lj{5)eSNP?OjVRr z!7!{|9Dkrj(q$Qu>e?!tUdO1S*7A3Ix5VFaG0Sb{Imw^&w2je`c2@0dF9Ij{0u?r^ zmeM}vTL0`=gDoA0ZVi+V7c0hftw_>zr$0Cct6zX3O_ELjS=~}+GK?U6hpiC8hT>uz zhI2~PHH!_B?OtEBO}1CU&cE386Fs8epkUmr+4&o6c7&W5DPTqHzVFXdvz53!qOjE# z!uJ&pVMfwmuL|UYqGp^K0XDVoTQbe%FlHIk=G7wGqXy?&nY1Fj7AT~_5Me|))go=6 zCfor0H63~*zQv`o96_&B>dJXr|Gc%|X9kDg=J@v|ZNk?qVQ#y*Hr%`^HH}0W+El0i z_VouB$4sQc-OdDGNS`Me&%wv?Bovp`%<#ZqcPxhUn{_-1Bo~8Myvjg2LW4l#%Qyc+ z$56VWPJjR?Yh^&e#(!qfPqD=z-1m;{1Os65WtM~zp|4z5v%wLr`3lCtA}XLqaD(0g z;qcH7*z>3IxI6~Jl`_Z3$}Ic(4w?^&HGg8KK}d+ohnJuX&lBezUirSdD;*GA_y{K{ko>+yG2> zEOgd~*{^A$%pE?kMwx56U8GZ;g$fYH>R5}LmptFRx=TviqyJ&TN93%nzRxkj=@rK# zE~9*fVhmc*G6vZXkD4^P4?KS#e=!`<;Cs0AxdQLlGusJ3vM}nIV7s0d47hx>NfOeC zCugEU4@44|#)79>g!`j6Mm~Z?#0mK8fp3!0U7w%9Pj)LeiDFWo!8q@)JaOMW35&tG zC?8CIYMeU#km)4)8RZ0N>rWl4p)wDlL_6M&ukM{usl{w|EKD#^VH`H@8ffeGIyvU3 zYr^S7nc1n$nhZ3(z>pqEW?le4-LMDU1Gd~>>MvAofY!b&6!(BW2hM}CRu7O(gt{Z| z%g3t&&sJjC8(yF|>|eyH1-88#v&a!F0^{Eq>N*zA*`G*CKS{Y8&f|j~lL>%scu5P+ zz7@~A>KAMMv!sKB6f#!>s$rNLg5eNDFKQY?nBdzP_>SXOo_@Q7-2t%;%cYD`zXlhq zk^)~#<^@LlfPc0pjBoQ?Jp^!#P69Utf}=i&>y~qxzPK(bk1-dn;5p2!M3OHtKdS+d&R{ zej997EedAvuWV_W;YS2V z7ip&&_o=vD6GOaAx*do}zqX6r>_<5BYSRLU0PDgrhPJ!n7YC_v^ zcQNAp3qz}~BqhG{xA98sU(Vw)0m*{wu2Am6>4!;HN6FEV_g3#F-ie~rq6YyvYQSX+ z1}074ZJ(R#5)&XEJ#?F#r$T9Ep74US6?Hh_^*dXG4!Cl~z4Tfq_vEU!^+R*(qKLMr zh&^-`HjMCxU5oeNB;M4H(td0=(iW+#hcf=#E>SwHe+Jrs_J~8iP>2@MExfol!>e7# z{i|d&pHy$@dHa*@knmQh^LO^~tW)}~Z8uEfWBDyKV|Hqvw>h|j5NtaosAjO{cq7jZvj5?IsTG1J zFWvqm&mOWgcBbCO3kqJaruyjq7Rl(FoT>_Z_O0YRV}`h`Mce~xuoG)%uVkCVFU^kS zf|_i(#fL^#L<|$?zf=!bF~`2t#1CZW6MC7n6ZIcAVf>GqPy+z=n;cj_eR(966!p{NCW>25e?Zt?s(0o) zZAQ*rSvcYn{QZxNYS%ArFx>KCTE&Xw1{*=n-$irak zRF^IDOv)a_fQq=jB*_to1k&w9-ifkB<}p}18iv!NqOG&KgDV5rx_D=aH{o27OtaYk=yw@+OxN2Y%ho9LudsfqliGwRb#VhjDl#A_G@h=Kf=N1* zMg4^%<>c*Z6xBN#_Fp*xp;^_|%gdLXu;am5@kF*(xwBW`WD(Np7o~?~4WMpWu~>@od6mkSk9_I^OYw5*>)(VMhJO0N0LdXLn8W=S;GJgL1p$PmTXYdG;{UF=P8sD- zV8Bpwgl`36119S|3QBq|(ZFOloNhyS>%@)?Gml!3b#G=&#xWZwl80Qm;%1YfA3iG2 zRe+3_#-4KJ*-f0^=tvZOmr=`)F`L5T$(xr!Tl8Il0}vS3TNSvv4tn{~=SmsF{5RW} z(#AqBo)y7bSe~-Rhfj0U8h5rf-J}_3XE207GTA~wBzN*U6^>G=Om$X|7!QAgGAZkA zO{2m4uH}EbqK54g+DvP1=}#3}`3;LCYycuRyVqZ#`JJDeLs&z1dNAhNK(0^Ii)l;- zl6+CW>lyN92}Ei%|T;Z+k@R6*|u zmdMS0wr~J62O+h;k)Bg?)sZD#lnWP~FC7=FWN$TbgR9o`U&74djP8hJObAB?Re;R5 zUU?05_0VGLKs|qnFtg~Iq1izKDf@$c7{e{iXrR4n0N_`9tQnEW@0j-0T+dyP1zaM#0g=e$bctKw$nDU@a_I9Hv%@Jhj41Sn#dyF#8WuOzZA=V)gl8pfN3z}K`dAb~ z3=N5+uBErS>ci<5>*$QovakBjIiS_i0rK$xfu!x?6megd@4V)pO{I72^xOy!yTji? zzC4_NG0yCm#xFNbe+yIpJD}#x@nRz7VRDUw5{x=si6-l`d16}j7%93jBQ${^w~Ywp z!I#gKY+;~{!655TqRcgT9fp7fYoTJq6w!9tlJ=p?nQn0){q|1qf4hmhL;(2P(Pb!X z*CUG@sD8~We5fR(NE^TW8nMQ*?7-?Gx-6*0V}lAVvSg1~@h2|Lak(Xv|HOQU(@c|f z3#KxGGnzJX%L@6rxE0|zi8MKm7u!;=`lEqhDp|(#a_9`uU7gLBQg)jD{w;6hdl}n=?|5gXe0oytvZk) zAks9Y#J!Ks{|N6s`Yd*Pqh6)94nzP?S59Q(a8KX8X#FM;YESrq8wD6e;X4`Ejt1t# zQq`%jI;IgDS5yYciCcPAzVv(9VCYS3l|2Nm=8qsyS{_^;gjLj+Pjcxms>Hsv%0jts z(8f#dMX_kZZx5t5u~Z9SVxj-DLy{k=VugyBF;3|0OlGd=<)11plh$+djNYP_nz=*r zkNTdfB!{9rh{rc82tVBfOO>PVoO{6;)>^2apUn8CNb01uG$%KbX@f@ zhK-lN>>RNVjS3k@e|JASz{0a)z7zK1cjGf7HKBm-sO{QtaYSAL5D z$?vo-90{?eIdk0-L=X;|ERxOE=7Q-(Vg3ZXOan$zLaEZ~3Xq3ONhi6@+9x)+S0bzY z+4bn_-g;}Ji6h);NH&z1KaFFd zu;>D2Vk*y6TcT+0CG4}vlp$$3l3sRSORIRlRaNgVK1pIeFy>==WXRT4$Ex7 zj?WaZWc0Y0LGi);Wa;M2TW5PQ-?9|!9w`ShG56-1Ezdd}MO@zBEsY8C=SQeuo}IkV z8F6xIcacA07#-oJBr`tXH&uy5(<~C_Ps9O;SX8h}^CGy%itx;HT|F-JU>I_X3ir~r zf@n4_=$z>=!AkM@kJ$rK@#(U>Oh0#iw!>#od54Kz@om^Kpzo`j}k1=f~&!U zP}=>B#r)o3k~Rzb#zf0wwmrG?;v-P_;HEorW3E2)IIh!!37<&^1NQ(93WWO#PO@BC zS-iv>WBE9o;Xg>ZuTdXrv9Na-*b#@9TIu$cJ3p@@3h>j z@;(QKk)b~c=raH#k5{MHz}C}>$)ZcHfiYxEhiWB?(iSWfxw0Z4Lz;JuSUT1bg?Kwg z@?cHX0^luRd-3UmvX`($F&T!voG3TSm`|GaoqrH$2?Rx7l@Krgkq*coo|x^`Q-ZKH z95%x9v_dAYuif))MD|tL$HW033gTq5ma7^AYc7!sqhxet$bb6@k7dlg?1t-sNs{#X$bHlSWZC0 zR6zx6&87epmD%Vqe^ff~S8b-5aZ!DQ#tMzBv%ba4op^teq+vO`6!<=s@66q;=%QcM~3D@&N(d}75jE+2l)5Hq%19wodREz%(e$W=a` z{#?vl_pK&R!?XBOZyi_`-oOkQ_4SiHEpXMH1Kl*pisiYQ6D2qVE9uI|)bImE^iL&a zru_l_|M8#J<$nzmq~F{=At)HyzhzJ@M(zKW)B;l0Iako5KT(AJxE1ie+CxOY`u$4{ccs7#9p)Kuy>h3dIsbE^wh8GJb1G_TN_H8AP{Mz*U_v*44+5Ra$c`Ab5lNXlf|cMCVXCTvIFiO% zM$qMUKBdb+1mtrX_dJPxwT^AJbY(?rpbmG$d|VWMy|Y!SsX&1(11a z=kVy<%c26hKob0&fZy$0_-31`P9Y&af>m-OIjPIhMzZ$iU;jR8YAC?C%>nA~$`?`X zuD}^@R(X+r(62=hOR@QyQ%@N|(Ja~H$e8+Z^Hy=_<6}&ijCUhiU?dzzTsDm;4VhY7 z>rqmfj(nel4dhQHE=&6PM^hbyznPNwMMU165UT% z0Ow2bC3FkZ-a_Y&h zEPZzloHy>)=>iZG2gXT?sgV`ewah4mQKbKBe8)6Nk?r&?#K>XuCUr%YG=zj(xeP6$ z+bmFG2x7!O^9iJumZ1F!Vs$dUE-B;#^lquS(%;s7k7sZ{-5rM&G4>`#q}$8d79q4T zAB0YR0VjL%%&IF9yAQ?w0{RT_I-JW5@AFQ4$k7||=4ygLq9~EKw7K--f8;z6W7Nwz z)9*S)XEOafKiSVgSD(%>aj7|0>OQ%xk*mDJxZor46z~f~IJ%TzDZ6nx`N0pNZ)**P z>z7PT@$^heuR-c8%TpS*H-)5Cph)z%4%O>$e4!IuE7-86t*o{C0V``N#qbgBilaGR zoV87Hl`@%8`his2@a47;Ywh^2V6 zA0PZPa69nIlL;_}o_v8YYQBqHyI<|UtKZK`^#S}M;;HVzJnT0AG*9Z%Z{<14^L}0D8&Yz5Qk5uiI>kVzl-EtO$YbF)D z1Qx^oYW-|b*$K9wHkl-?6B{1qQ)oVWH_nN!00Oi>EHSXhf{OTmkmK~0Nty&X1V5(y zNtzw7IdzS{4A;6hO%P6o+>xx=d2144PBsRnwZ|z9$D1Doj`Z38t1rrnq)=)>1RB_q zA_o6Yg0R<3@LyvCAnHvRiGW@0QxNQ(O)QIU&SYRMT=pL}6&Z)!^^V;lnx!+6o+Bp! z8x_ncf6`wOueZzzVqG;%K@$b?zyp`L0P_Kc!XIf*nsK~RriGKJTml@wpGBk6l~w!w zOpM~BmRI$HkvXI&QW7qC?S&`Ubb)C~AyASOTJ_6q=|$dF z{AO)onIm+(_+Ii`z^z;ayBoee2IAvKqF*oA^-xm=8*NIt* zhQ@%|MZApuMq0ktVL~GgiEL4k?%M6ddnQfOSIxV8oGftOd!=*G_rTqWUm}XFagwkzM7@udrrOs$(5H9!@t@#e=`q9(wVoCqQ|G__i#D+gyYIx1bhpRM`iS z-Ay6f9HZg1ftD|qvKsI_o(gi2$7d5;?%HR^gVS#wYhUoCEr~*$_F|4xq4XQ)c5!F; z>~x7wV*6JK+RhZ_B8m~8`mM=@rl2o>UivM&oq>i!b#O;{#}|*bgA(u(E#jw{6mlrh zK)0d3Rrk3i7AUGcHWqk*Zyd{vNU~j_z4Q{!h*&E*n!eh&;}f|%8Qd>S0+zyv;isLa z$+hbe`+U8fXF7e;qu8w1_qLOoAvSi2Mh>QU*&27_&8or%v1aPX1i}cWpwdU5(Ed$M za#V`n+_d}9H0hdtcPI3#xXP!mkTHqc;f)Yf!k0|+n7#ev3Q-c^eL!SyrdyUi7i*9| zRqxqKHv3_neMTA7*~awbgtUZ@$`-8fEaZ?oft%M=Xf7vlc*1s&ZrQG^#7t9L za?42cvw8clXUWDqVU4EYaSK#M&Gk@C@Aab9@X`q~cJAwfK&Zs)U-L0&9D8F`prPOj z1V(Fb@6@9+t-c!|;t$X4E=}yNf81kX=gd$Njhevr5sSu0lg{XVy4uNPDP}os<~e^S zdMV*LSg7ELzT&<8cF3*5Y+M5G+Zja_aU;Ym3p5EIi?h1j6$Ia}zTc5XA6(LeSS4_L zO#}=A;Z7iwAZWTv%OLFzZMxin`5DP+Wc$xF_MqT0Tx<;h)Ivz{j=pVRpi)j7XA>$6 z0<h>2$^u0e-2lQLqM7o_dfJ3?-pSy~jFQ0Mj@7|VqW#2SRu0Avr#A(ep~zp7 zdo|3A{?T>-gbfW!wNYkqCIdK}cxEglz2=?V#xtQ7chB?uBBVTQur)%0$g&!?PTEPV z^YNSTN!xOQ%U$L+kv!$M)PcMum&Z<#ZIpptAVDbbUgTZE)tnQK_5+_ z9f?rx(O`4t*}=T^=u=S0vQ+Q}fHa-Hza6=lFvI|hF|Ld%#|XwS!4WkyH&p2&=m5Um zk7&a>BW4ED_D}D_P@(E81O=df8Q=hP2h~RjQLmJnrd+_0(C?K%LW01+Bu0fSN-{i2 z6lOt57LR`;2dR<D->STc-S_qyd!5P z9E1`iM&aowQpF=9rY^^oE54yK?^;{Y%1BYuz9QnGiCQ@ORE7YkeCTOeK&XIZRG%IM zV?ok}0VIZKvcKAlG*?KNVRn-2I$kQf!CXwp`D}|WGC;zCV>~XfZQXvl4ffXzZ>GrJ z%=DY=WY6s4ZFgON$!qN}CTQl^m=!`A`OVD2yE{l29Vn7nCE&bI!Gl1Ck{5*-hQxC) z2wdEyMmucrD_jF%Q+#9@>&pQN+*^4!(NSc<4suyjR>iO;gy)Hi62zBt=$eEK;Ht@F zP)Oc19zMr(ZWR%K1Wr=DcB7xIIX-8yI2-z2HY4MRK-u_DO;J1tCatsc-7eZ`Z13Nu zjhN-Z%1EbKkOw*TON^s_>op$0HG-jXNq1rYMgOC%nVzF`OVr5^Wyt~nTM^B$bX?L2 z}W!S5n|?bn2I5wpFfqf+i-&Dl;7ALP;82+1Ku^#KBh_o`~ZW>T1kZR+KI zZhBCJe}s^@YA?t9(!V2zvU}1TUon{((abo5)^49i3p7EFVEVc7#vaFK?CKfX*Z>zJS?bW6#eCrF}45DNkr-{O)qLFK>FgQL!$ zBeN!)NBUz3^`X7=HD~N*=7!T|ssq=$D9oG0a&mgV>?N-J!?V+2T;k zoPf4H+oRcKar9m6r*PzOxr<2BVzGcJC{}vrPfP+lTJ4YxUTbvwDn8C*E*y?&)B5NY z$x9O_nPLV#O&0*GQ8m(;!!pe0roK?X4T7CVcBF>%ga^pg&LponP6NVl`(0b`D*KyeFAY}~114mDr z$4sxY@wWk#HAkA2ham?oK}6R!?okw(#|70ljy6Dqc47TNhlB@$>gHuxo)}b&A4x5M zVCXs;RfVtj%2n?AzuNXw4aiMFdH&o|g6s6)pYaz?{(SINSyldfO&H{nKRB+p+}0T@bI)M{G)uo@7);wZ{OR*}EwWtY=l1T_en(Rf z!P%Y^x3xds&1!rB9$0*J(l}jvSa_{H7XKV{8uCBL|y!~e&LuBZ!j)S(_z@vMH};$^5@ z(s_D1t!MKUi}%+p_k&#QADW75Dq9#ZV3LTquEU-;?!{bJGtbpW(zsm8qN1=eLo-u5 zjHY!Q+3M-0gXj*uc#Wcl=gpr_>jo}25{wOIpYD;dk$d~1+gP5pN7^|6yztv8WGYyt z+0@jj_^LJUKC~Rs=rRW}bwRH1FAI9napL5meBR5#`zJa5@V|IxcVNO?v7b-~pR;J+ zse9l5YJJOt@5$133^(O;ciTj!^F?9u5@3oo5QZ*CKib^EFtN_Ae24T(u zTyM#)`Cas!SZb0qa6fKElQB;p*nxiISLy zSusZM_&5#F1aH8Eq{YgKV3MsdyR zwYWE>RBnpP{v#al^SJvdku`*M1=CahEjRXV5UOom1zLF8>FvjmSigfC=*TETho|RrgU)QG z8re`mwwi>+=bmE5GkO#M5=frJ4*1kTmSNFs7tLS&KWv>tlqS)-rqi}<+qP}n zw*9AV+m*JBO50Xd+BUn+>0WozceV$yViK{w9r5DXv}r$AG1_F@_yAo`#o9<>S6);crc@f!+RA?WhcDPCY;4 zCk=7ee+P4BpMv%D(j53$7yQ)cjyus{fmF7v7S^W!&S}1Y2%~gZCu@~tanC`kSj_zb z1pBZ8#Re{*fVs@`O|4{zgj72I1Yscx-oN#r`Na;g4XDPg_;9hEdpco>CuEnw{HjO_ z#zJ#%wK{CFN=!}QLgzU*7iC1H-!COOV$K8>=;u3U`ae@m`meNiA*q!)JqiU&@09S3KL8uxfP+q zPp-g*h98MsIdMVh${_4GiYpgP_z8slhAwKvbG1jq!=F!reN|2m!=;5w>z$~I&cZ0E zgQ_n%t^5)Jy&C@(Wvd8U7Z9Yd6?tIOB(!?Z=LIf!Wya_--p`R!d~g}`?Qv8EC}Ds* zV2mCQkF7aJi*m|lavPIn+?b_`n8O;5@+}T3)^a<~m_25G2IDL^FmK3fhfAdSEpo|U zjkigWu-EZB4p9i7`v`dB^XTYef)g{Y8ASAmbOSMr$HPzvi|ZQ9mV4uR2&hSm8|*_} z;X7R1f0v0ejdM${!n=;B@`n2WEbQ4T-Q7x{eUw?el*P44#TWjRTUlN#1fp*JWxBNE zKH&LWI0r&Uc%8Uej#zr8>b}Yktu3UEol&Dyv@*cK9uVAuDCf zVOo6e{t8}fzK=`HM@B5 zSSzcXC#f=!^`&o*_xhwpGbmO14k&+N#P1C#jo5vQls^I26B{Ph+z{#&EW5uIUC%fj zf4Oh;_S|&sK1@&9v4Zh>dXozr%1>qQ9PuO16t2lX1YL&{Q3r?vpiX(NBUxyU+u2GkJdq#(Mci#2CIo*744msTkuWk@d+XF`H zn9ik#Bf1w5B7}5G@WYZP9RITD?g-aodOh?S_uE1jKfQgRC^|&8i|X<4mtpndybr%C zbcHsKcb{PlMRTPJ*?uY|e2n*ZIv=^-P!M+K47We?w(*|fg8q!ZPODIbgE#VNY-+(EARw8+WdZr_q-bRz`MnbOoyUgKiJvG+Q_oBSk?HI zRVriYYx7K)m0n6xGn7yz!>kmO8q?gnbhkS=?nDO3oo*q0pbKq^&W)2!Cn;LxAbU{h zMxMYZ8E^_{8hm;kL-!^6c}gfGn^rT!3g$Gd5bBhYpe?hQoRkiNj9p45j#48E%gib# zV-+SE`kfri>>{TM#RiR;gqwoG8p4?U?PLKysS{grqaf4ebdR~B=6K+gwARL|O4zYK z+S3Q%20q9QRP=?r6dehOW!xKU{Fv_!QF9RJbo~MtZV%*?PP4O`n*W-HO=W-ZFZg^D z_L>byBd^0@N`2`CI=n3d6-eV3!{s}=nAP}_>(hXK|LE09Yltv_w~KNglsh4?zcd_^ zl-$bYNVz|=>QC901AWG8qvjd?I9z0q#}$62~T9g zBY^~L;m%H(>@(1Oc|yYG85y_0Rn2rYJN(O?Wx0<{jsN?&0$H9vX}GE$(CtO3;TTN! z7{wkFT5o74vY&meN45DtYk*%hSrJO-p%eWLo~2gnbb$CQM)oaMvH;@Xo?>v&_c zn|416AK5KgZa&3mLcxtP*8w|oey9_Z)9U~zZ&k8oIy^K-;f4mb)Cr<=XKYPOYmF!-GJpZ^VW(^ZH}eT#XS=!CJr@DXnKZJa*U9S)Ba4EOF1Rrh>v-?wP#pA+MH&8w_G)AX2 zlv8(@@Jmj`62l{C#9{->TD@!*GwJe^rxO+9A%j zQ6_@)ZF*%>_?;=1LLkFfpfX0r$5 z{Ms7#el=73el)q+LrSR{#`bC_bX9UNS3@=Y4n zbF!Yzn|r{8jA2Ok4hhF2jE*Fe1C5UDZPe6rffxn34U4$7ZX$!!Oagl)J3dGe>7flbAUIn{JmQweNaUO(XGW1m}J0V11p zZfQcVPpr0xjtkD*V3rbbDWi(IUrntqyfDz!C&dY)djZde;+qUj8;UF&KROKcWhN?} zDq=0$8bPA$8fs>pMOAbzbRJgZwBe9mRjXon*Dn7O$~OZ6aS>R=);SNLrIwp<$c0nw zIii&h12Rr4@w%|xi`-^3;T%Kcnx_O>Lr-Li63OA>rVmDPgy5q@iL!|>^04L&3ic-d_CXwCK z-q)he!b{sZdVAynQpz#y5V(J|Yo2K3nnLFCdKkCG)}W?md)>=9?N-xQ>(C6X*V=rP zSKEr{2#AH@w_Ed;nFH5Gxo<7nPCdTY4(<#GNexas;mvKok(l^dNbhEg{dFG8o!5ktC=V|>D0{G0re8rqlWIzPVow}&2ICqH8oa8Nr@-7^GqP#mC6rAB5j z9+%W>p-$zA5KO-(k^a5Ts{ny{;1)FeOp31tKoW|o`btuD0_0?zg|I9?-1y~YKjOq6 zf3|!tW^OZ_*L%NJdC=DLB0?3m@4}RrvWE%OymR_B%MG=8p-0iRtiDO9GDX&kfUQDB zP@^f6t*hsNI8#T4s;>vfx{OH|HHa~7Y;6Za-saBo4`YAVa=!n zc5F%s>&9`w61_i`q$vh`ucI{^Oxo8Fyh-Tv?Ywz%KJ-2ewS@KDPDpvI~AoDWb&4+&xWt3VBwz7&KofYl z05rtJ`|zXq!~yIS6{lY^8b{=2a#mm|x^hvs7)JvuYNI($zM9o(m(ON;d0elw?gANJ zO>}b~rUcuC&mg#~;Y6Bv!}y!U{Q3&zChfXUNC=o2hiowye}QNE^OR~j;V!3C`1GhW z4MrLVwHOSGBEe&3+o_VquXa8pz@rV+@CTBYC^6EMNFfnA?>?CJZ*##1%Um`(>v@Q9 z@B+Pz9dhf-CspiZPAA*8_3z-@CP(Aph|eCv!Z6Hq8)CQ906aakA;I-jna&mi&h%b1I*kco6L^;ly6fmVtFh7APk zEP?}W?#l{4`P^m#DM`<3qIq?+RJ@sd0sE+dz4C{_J)PBT#AEPmn7w@ZOJockDm-pP zK9JnOM+MfSDwkb~3*1zr23em>V+%5>KE{-Z*%@K4J0tPY8T@MuK&aRI3JE>@f+c;; zIHN&WLV2XF3BhVb>nxtK^mq6`qx>v27i0&)+fXW}zuEvzGkD<6CD|zqKT#J5J z{DDYK39+gs|7L~_lrej}O7_);5!;#7yn6HJjim8!ON%c>j+8~W{<#rqW>Y~3;E%gm z#Wz2n_j^m8b1WK7K&}}qVMfON=mOiNP)%8XLr}MM5S=j&=*?IUn@9niek$3w{s1#` za78Mo-T6Qm!j==ylj)rH7bp5}4h~G*5y4xE&)GD7zGtsfwq7*tp6x&= zC0T~4w+woHX0_|H+k6DaycmqZ4=P^#T`v8UVuobpUttkw;SNUPq7Z=yic|BokpZU! zpP*g=@%kzBeUxC_+^j_Z#`k}jUYq}zUMHG|#)~@g&i0fZQY%-+DwRCyE5k^PJIlo= zR;9^m#ClzZf+<``lmv$`riWot3<917H&e`ElUhNO@~{$$|A1aWb|kKIZWV@M$Z|4 zwqkCpv6su;SXYwJJjtv=1LvI#i71dLYur>dD!1v-iH%TDqI=zwT|9Ft`6?o@4&}Z` z?98XYQkol&v~~yD-?y)JJnrMHRUd_zf1ui6Xme@_&B8y$vK=hr`S((9D}`1gfg>e` zsStPUkAk5JDWXyM3joKhZ!&3}g7@3fKePGodV0r32L6f1?tMCDu)(HntS#yIbMBu_ z8}Ti2b3=#1AXh!;v$dL^>GDLKc@Y6W;&xp%?yImU20Gnb1JwP2$_`F!|f+-z&EfpK` zlubk<2WKFy)j6Gv4-;QsYArf00@morI+xrAjS;(-eiB}Uedr>oyk&31!m3u&ND0F( zZ+MxscVvHe&%z15AAaZ8l=wH(Qn-LpIS4>EU%MEjQ;?zdGG%91FX)x0Ev}W-a$&LR ztM7IYblL0f2e7sC{?N>Q&Oon+u;O)=3*Fbh6&>6f^9Ipj$@$V&n~qVK&oM%cF)ag1 zzD@}O{_`8|j}0&AxP5=TknUQWvFC0;%{fG1xB);?0VK9&*$k+;n+r_(akyi=7zCt9 zLzu{m+#1hW)Rup3&n+J8&!`OzViu29fdi2JPmsymEI>1qJ}oERjmqQeo5D_A;Vb>e|5GaO&KECN?vsbL{Qh<(=QQmf zkLrgJyWv%9x-L9Q!1soq^Y@QY*i*xwPBboZ#~iqkS1IOij;x{dCw-;p_nkC?Ha5ST z)Ytq}JHU>32B7*5r%=ZVK%}j;Ar*fAQu*gjE4j(un;X?OK>5mvLX|M%ZsNSlr}jlQ z#)lS?r*2jpPnnkcFwxDX*#g7Dq^m2H1Us59uOsbQO+LF@XP7SJGvt0i!orwBR~5n|pNWDZTIc-3eM z4^Vsf2;G6#Q`2nvF>jDv{ds?BmZpCg#R<4sl?%w3@Me9pr|5r@4}iU$7ir$hWREQ! ztFgW)l*gvB=AlLWE`VM~Ytwtt0RTl38JGMo!a55V5fhQ4NeX2LA_((;g4q8?fxTl1 z7t;5xVNlhI0S!I_hmp}rof~ayb&Z1W3iV{hwao~H!XyE+w!yp0d4gbwJZNspeR|c^ zJvlK%f+fM+dV*zS86CR(n^)n{o{(rX1d#<{cu8nY>-PQ2SO{WD$bqZJ84x6CjT{C{ zD3%Z^^}4Xo61_Q#CWGV!8JQ%&kg@=#30{7~&#Xz7UarlhGJ71am)adIPF6(vbkxiz z_3N`Z3kLv~S?Qvr=#K6pOP{s9V9A*-{Ywr3&86$?1^hgmlFV8gGlX_fnXb)_tn!8y zi+}gwbvso2c0(Qx9bM#4CdF6)L29W+`4rfC(51rjrTenl397oqHwhd-V@a@=$^qth zBIkw0d#!b)3aB`(@fPE$@fPQTVQE``#NM5gr~#f|ld_M*E#tn*7(mH?6qGA|#LO0ENJCXFhkmQ8L{4MGp{fp- zG-LKnyh%VMi9fs9J%bahhgd(VH&9~#PH8)Ce?DjAtaV}lgVVpj(CqYK>c#-?i-7_4 zu7@`C?YiHyxZLWmD1`E%|BEz344@h5Z?8WiPcSL*`TO{=-F7HIj3`Vv=(p7tFqZI0 z3mlMr2=2Eeh4h|Pc|tm|@pJeaRGk+I)EnnpR);`;Y)CTB`#7Z=wqeu>=6(@vQAq+-1V__p;N>3#9 zBL<(jeh$=vZo)pHV-qo$oq5M%(temH?LAAsNK{J%l=W$HcI!3sZ zNvBQ34&L%G@I|6g7^zs;Ee4K(M={?(zi}q3{2SvW+$JBuv8E!yRbG&?BK~LZN#<2m zM7|sKToRG3*b)GluEV5Zb?(M^>+cHr$&+{DV8|a}GL@H4+2Z;7X*l}v9AxnNI01I` zbcD=8_-Uw8NT_f5cZY0TT4D7!2Hb4Ac}baN`DKrm04;}-ggD<)83{fY(xhT5dfj%Q z&-h!TeRCt=Rwx0|hwi8>erPsx^_py1e&oQh`+nJAv6R)*6G9p+=XN=#O`1PH5=A9g z-1M?qyWbC{fD^qsKT?WzedY3g(JzMD(CBbt7piZbGoxFjag zY!)8P_J@dy7>{s!L(q30muKL4fD@vxG0YJQ2#2Mw@oqfG;ZdIRj}WH;>W)-9+NP{` zQ|E}y7Iy^i{XM(H8u9!UjD4SDjswg-Ey}JJ@|iWW|Ats`I9uz#7O;fA?O)4{RSqC% z(LcWdzjkY0qeWJ6FThVGbvYiKUmL>ku1TQW591I}WgOPbFj6|#15baK7|>O*A-`oI z@sLK~R{))udy_<#WYsLO`0F5T0%p|ge)qbx(4$?EBjIff%>8Q^*=+q%uRo`%ueUo* zDRNq`b&~q@a(S6T>kr@m`#=lWkpT76?{O3WbQofOVkP-0KdljdFj#XqSI}D+pV4m6 zC!?4zwVRO!Ji1^wijdP-#H_it_s-~3_Ek+_*#VDL_T2T}0Cen-ygC7iUcZ09a%EWM zysreon-BBit{U9}k?Ot(fu|tCwHx~DAFh$NgtY+IlXyJNm`nWx zBxUq%~~kHj#a+At{%0e>QuurldOg#AnslSg_&FC zEdkY9Sm7dWjzI8ch;p_>4j$e+yhzR+-#eY0E7D4+&O%!x2HFr8mB-rd9BR-#seFr` zc-ym_e$ImDA;;BXsba4HdAFy~Ht$TlGf8 zP|&8?S@`B!4{VimD}5TQb~CIl^*0eB z;oXb-V}Lcsqxuj++!|m#p>L83d5WBuex1En?%DY*M5m(9f#K(frX|dQ`=oHs&LA02`h8-`-xypM_8n<>|5T1kmoQw>dpj%!0KG;0#=d`j+mM8ayVnkWg z34|frZ^f{ro-H-7Xo1EYi(0=qry0FP zV(c_qRsh}!#t=o+5Sfx22_w94G{`UC=!VL68ZD~YhA9U5Gsi8R%$$r>ouS-l=2@mA zMuyoCdnipeivoa>N*br7go%mrk_YE10)wx$&%)&y9|~^>Wa8I>4$6Z8-e&BdRzMni z;DO#$H(LAZcDp&M>Sp$m`@D3Lw^~!a=CE06OFEMI>dWcC;KYNY5IF*Kv4BgoruHM76Wjcrmt;P zeky7H&5J;4U~G59ninKOzo}dcUS~uTVw(*!2JQ_DbuE z0dbmFrU5kLTtRodczOLI`M#W(SA{p8N^v%{`0gC1(}GXoQqWTCNL2=AK?RuonBl<4 zc2(T7@G+o3k;YH=X%h#s%-KID)96NdVWFe@U?AcnBjT%HUrT2uXDXU2q+UP|)7(z} zU8s`8GKQhwtGa)Q@OtV;NaYM!g+E$tw1pcBi3X6!8PZMcKR7CZroPps33P#l1S8{YSFR~>TVRHtX zDZGmo7GRi5@Thmu)fdKC*VWqaQayTm9*mKAt^D$mr%&b;XoNOPQDC_JQ2*4gMZwln z?FRt)v_v0eX?YthI$xoh+pDzA;6aa*K${Hg*Q3WL2oWz;YmdjoeSjgEDH*4*1ey!Yy?cLhU8%<7d_7i{`< z6z%!LsnXaG4NxlGaky9NqYygT!i*Tx&U!g>_~e!0b8Ah3UAu==>+_@BaO<*j+k@h_vCk!;;CZAyEx_A!t8uyC zXRbA0{E^I9Q1Om52xy{rtLrbbN5dDDzoGv&pYA*T>?)@081ESab5T7H7LCyx_ff4N z{oN%51dTw#GCN}Dx;;R-U2xz~G5IqxJmepZfckh?)?QgY{@04JJS>c7zKoxhT>=!Ac{)2>j+pLbRG zT2;e{H4y_xsTduZ_xmgC3*mvxVA{sqi!7rV5*qIL#^10*eS$#gaU}ZX=fo}L&jLr} zB16dG8kq@=G8^RziRljD1#hJw&iFpqf(n}efw}AZF~RT|i}<_xZveGt3&*CAZe4lL z0uKGyeEDF;Bv3{1gPtUfM7>crk*MY;_E^m;*m_Un$~0%aHsHRyhSb{0ctT0&w2D=C zYZk06q2(f94UNAuI`Oap%>-w&{MF+=pN(VZHe3-cD`j?VT_ICR74 z18@*Dj-NqN`tS0N0`gl9d(a^x#Vxoj0HWW&k%pwTOv?pn&oMIFig(dl{7aOBLv!rI z60G`J6&JV_W|Dc6gxWIy9G4%!KWtw9v&1<@IG~!>e=?j<_8a84gh_9E1I10~w6e1g0RrUI zrBoqq#_dSnr}WG`wBCF@{`W>(;|E0)h*g60HjGOC+CiB4_}-hWPBnj+h>D;m@p+;b z%)(GGsHi@#RSkymulgJGu#}`v7!9d6pGE} zxl!A1r0soS2&c9sw;aB~U?dIv0E&eVNq^UaGNI!3dp?6+r%DP>7p8e=CXpc-Y zn<@8omT6F0d))FpLIv;y06TEl%n_yI{C7)Ze;bh4m3vytDPw&~Hf}7`7U1ldrLzP6 z$#$j!>w*T%(&}FQGh-iPv=o&vHzx}wKVBnb$h-IOnM)Vr>?2R3r$+qrnm*mu|q?}0H=Rn&At#U5#b=|TJ-0D^Gk?Xk+J+TsuKZm0pcg4CoshURs0^|HFd0_e+Tmf}%d z3a9o%Tg4uiv{FfXm1A|{Z74+A3f~QS>U7T9i_Jn$SCnC`ey?y!cOnWU*v0Sea1?6Z z5TVO7n&D7mE2Fx)PXWnc>WS*NIJcEmLS%#0x<_%FI$HCLJkEwLnFv3`IVd~kUW{9~ z$<|vN#%0WCb$zP3NLe%zW{Y3+>-!{xl@)(8KhsFaC+A_C?+`PLCfoiO`Gbx1Kap`R zrj#IG8i0=d|9DuSG$qK@p0fIzh-dqC;%nGhN&e%}!AX@`nRHdDhr>SsekmpsZZ;bt zIfH@ZcSl~HJ-*|lbIaFks=fe|RYjxhY-qiVZ|!&qE9>sV^RJ1K%fpr7<`$&TzAM{i zt>#gLTTsIXQQXW~t(=)wT>p4ULkmIx?qofML&wGlXn@rM&Te{SnJ--34p#ov*@;9< z2VESrfx%DQgkG|%x8>W|M5_$JL@&3X=7O$spH-BxHqj&BgdGQAxPEFXteC~C%dp@N zGrubfxN|@lEe{wYY0JC{^Bq&+Ca-1zC`0X9EpcUW zGSV!nIp|oc1D2@y`kLXTqMAQTV_OWBskaDG_n`~5mf`Vh6QY_RY zNmM{a>Ih7FrXM#y+M;2f8nbj*ZN@D_ZZ?V(XwfffVRLSmiX9jLTi&9zNr5@5ZUnY7 z5FYf3cYwG2h}c;6t=qe$0S0K6Q-U)i;uTft_utR&@RBxZx6fjJLPKU%o3-2*7wawv z+Lw&hBm65H@?wE4^O+WH!%_HFZef>Zu?7jvln+X8Umfa*3p3x@3;8c2oe5X+^6IZB zRwyT+xRBD*AKMpzpM$|MZA%xktlNV}D)J@d*cDfn#=FMWE~!>wIf(fdB!)htS>blX z#q1xB9llNZ;kbj{_iH8#E`eKXcV3zp? zjx5vZHeN|72V#A}bS_o!jq>kXu4!*u&Mc0QAMQqZ0-8~PoP*M{mKcBM$rk5K39>2! zfDFtp5f$kAktClt>RTVCj>)13P|XQV*>ps0KD+JA6F&?@mTvNCPwky&jJl0WZw@E9 zc6yDyB-vNSO?EeRqN-ntRNb_gd4GRtJ7|3+745*kY!V2V#^qOAtq+?K zGdOn{K=ipKAj zlXvg8i6Y1%Bpi7LN1d0R+7kBRO|d2z$-x7E)U2Qd2VJ;x%r(;}u0*KzDlM_JhuQoQ zkG)$0+#V$kpoq`x_)|{e*fA%W!d0g86_8P-u^p5!rI(B-Lv5LaLt_;r0VDEV&>r@+ zFEXYrA=49W_=3u-o3{tfLl&)!e~CEzUjlDcUhGA_V?@ooWA@hjcMWWVyyJu1@N84? zbNsZSg8(kw5vi)=*#E2%&+WX2^PD`IsjtfzaQ>)1--irI8 z4ud9;?gQ%5Ln1HX`O1Bzd(yanBNkkF9FG%viDj7k8#J0n?|AhMO_8Hbs7L$7dpt*) zLmJ_|yFWusc{hXz8AjuQ38$cw$#%goBuQ-~#(AMl7@VpQ?b*nNQSU%5l-Vjzi!5~k z#;zaH#&AG+-8T7pE!uZQL{Ad5@f-^2OkLOee7I7>D~g zaX2y0FHxiLu$(IyvQ4rOK#m@iY4hx`sB(1Tt;4c~i399pZJl#9N~Sg@07`crgsBj$ zkPZbLjnuOFVu-@AZnY%wipLV=WM#GxBwds!qpun?+_O}$S4daqDcE23;Y%y&u1?AV zPEd40Web(_&-}=(iC*rJ!NLxdGB=b8421E8*t=yvlFQ4>}wto-?4O3o0(Un&|?D`V1xh7V1eU ztFk_sLH9LX+r2q@DDGSBn}ae^+wxuhCevDdE`xVM@)dY>Ni|;(Txm&buVCnG!{D}B zyEtm`<63|(>W)LWWSig@)hqG*B+B{;WNiRF)ygkWj{57bQg1;pV!p!#HM?Iq@ zZ;L01)H_#SVVW%JxF)IT8FEX^JV|Y2hK~YE7~2FEvH&3sak6)^0!7}96N4ScX$*hC z@YGXx{!;aB8eXeH(WcN_=xidc8!AStL#i%3Rm!eISsmV{d>7xAXxWlK;Y+w4W|MG| zmtE{$Qg?gyYHp6@luc`j#{69*3NTJ(`XfO@a6p|fxNk`pQZgjtW+kUKZc4#i>r4|E zhDzAW{`q_Bw4$*4w>_&HrxgmVvL?}oyw*tJEo)_b4Mi}ghVSIR)@7l1kM!~6ftj^M#*(#X9PtZ*kJugZ(j(8}@5)%E+; zbAH{x*%P-tL%ZSi8K8j5kW$x81Y=MmnZ7CeQee=3e~etW+-%CGDFCfWlKhm9e0>e& z@e?KZqcorX;2@bEwW+RpVv}#9yo10}M6pqHZr??|@xfo#9Vmrz-+nf!ET7V(9=-Lr zvcf*A!kxy(kjh37sXCG@SNVZ!wlaEVe;Que=Ak3F!#^OP15i+^b7EXu%9U=A`S7)U zee$`dqm{RHHmKom?_jH+zU8lHRYR{{v#p)GjMiQczJCS#yj|q2N4)hoZ`Y$SPB9g_ zJvM^AY9gr}xRlKEaOau7vM*oVP+Rv~Bf&)i|4Hwhg?RlzCpb^>CVjzQW?lo8ZfX)h zi1{JfddP$53XtaCno#RMJcF-g>@JdSqud;kJwv%daB_C=kln`klTBvW;eHAIyxr#u zc1Q8@;w5iDo6m?ghbVTZ6J-0q^)k$HGp8d9mu2C+l5zz8-BISimoODCo0Rt%$9DY6 zc1CBLGW)(~UoJ_!Rc7YTzG1G}0=lh*ovd@y%ypH!4>;JvQ}B^(0{R#AaTUy~)hP?3 ztcF#5JY=9DSu#mk8TrTimq%#6o}5TMao$F08^G+B<8K!C|EeC=A$GqPK-%NOgs%Kn zlhS_{a0-kW>N+NK2d?`APWQm6zN?&(^<3%Y-s*LAST|*|bl$MCVhme7^zU{Q)RuW; z)@n&};``Cg(T;b`9k-k@`_ZVD0#v*Rcq zydtkR*KKPrgr1y&WN!iz-|#JgX;K+UrNC6pU4K?}GlpnE(A$6U0smNL9GLxEc9sIe zMr0g2{#$O)g8Xx1wiZCp+F#8;u3<8wl|j+k-yK2z7=v&!w{I_i)B-XxnnB^))0IJu zRN-0vXJce#VgE0IJmr=I41mjt5wKRDIc9;$QO`;iR4k-NS*trHZN~|neQZn@XKyc& zT#}Sq+8@v_s^Yp}ZU?z*qKr1-}yF>o+QdloEHf$Rsu02N>;*g6H>J@ zIfbJU8#DHv+!1n)kH(1F*UHCrmQ@B}WCZ6FdlrgMys?k5o9H=pa-2kUW~+xP<{+K3B)@K#UH#L<0=; z4zijvxKm-02x{nMwA_%Gkj9QwJdtEWY`L%~ZyNpLG*70q#0MwX0#eU?1O!k^G?B#k z-4`xyf>l`gcz{UiAF1eV;8r+x=>Sr=6|~xhT(lx(Spl<(Ic($Rg z#f2sYoMY~LCzK&K{fg__zXP)K=1@E`{WQ^sM!Yz_*7|&sKW{}d_7m9i>eaTD8VgM% z#HB|FnQ(gNx|{jht0HoC2WM3Cm)+9Yr+Vt*F1(l8zyOS0I|1JnlEH4O!JJROn=As# zDK;qbGW79|d+#;v$vIZuDYB-^=y;9 zM`$lL8!nO`y2UVh=5Bg6OLWHVS8bNh%}F^n@Ya^AvR^01xAXu8wB9?dvaK^w@1aRK zzwtbf=>WDX*S9MI9J(Om(x~1x$%s%WCbFqs>ayH*cRJ0hS6`8i&_Ise`D~l(*)O}x z{;|#Y9~QeiDW1F!>Gt2gngiNb>< z<@ym?%e-aKmN6g9yG_;!T?-8ro$W$rq@Cs${D2#Ri6i}!R5jk)%#}fRA4>S%5Q$yF zlXt1I7v8~#I`1l9aX{8n*pK2)h?7o4BkxNO8}F&X8i;`hGW7SVHS^hOVt%M6nSYM8G92M?IVdQ? zw@`0wncUFow5E>0x_mhctr5c8IaTn{tVS|>8h%RgKh|Lc=Bie*8G73mFZf(o`)4eH zcovzl=f?gOxMx=K$I9r|^0cY5$ax-$6nuTTtI5}m=^V7C36i1*F0zVCFeUPaRshak z7IOR=qR(J8V}qD{G`5TsGnqGRnmP!MQhsCfUA2Izp|#a#?O%U~*N!=AYZt|=e=O#H zq^k9wUvWuZ6Mp?PKK`VoIeU;-Q;NN7E$&4-Uk-6iDk~vK+Hzg00^Hilb;bFMN`EjuhR#+!e*upf)#ZLA|tRmMB;E-3MsuT&Y>|NJOp;+Om}D`Yp9`H7ePzE_)O@;C`{Q?v)Ff!n?~h1I;_`X&!$hB zt;aXc@b8tp!tT6H&V7e2*DosI_!Y9aO0sZA-DUJz42yEK1L%m*&H;U&fz>O4d4OJO zlxIH0{76feA`1ZXPb5ul>`#F-8T;6hE5R-N70>W05RF^(X{ZL<9@N z#=scPKw&uK-x7g?#!G zg7u4f&b1M=SHO3KKiH_bvO17Y6CLJ3&OI$sLHytBL1D*rc>%^UbLUQ|*3J_r)#ELGf@n$HM-nf~mr`8dcnP5{BBG8WXcLUZ180K~;H6A`!X z)0qJJ{{EB_fUpy zG^Rj@;{!JFP3H1_x5Aa$XcGsgy3YlvmJ9IvK8~KcE57rX>Cop320!AL%0MAjKE z*EFzvdy&WQq4%ZI6ea)h@(=Dz^x|REsBP2;wfhRCG7tsBshpGMHb(deF$9)hb)Xp3 zzO?Ah9hQfHejj)V=qWHv?N8~H;?2kuiUTi2Oak_&8m1}Hn5i`k8mqknbT1icf^?EZ z^YfHZ2VJ;312GP&&+>><67|Dob6m7r_bn^bOhvX>pNU;%z4R0$|8V5a#Pms76S$EO zkuqSwn32GmawB8Ah z_5wbEsv|;J>^^ECcf#-5@LcE0hBlyffyKr$GQdv}V`#h?b&E;UuDIi!$MlXs$r)~F zGwQ$Ue<^L_(MH&NSYL?kRoU4?-E0F7Md}R`d$Czx3X>9nkO^?#bRWG6EZYvNek%1%ZTq6-H(e&v zV(N@^!TS+kSa@pI@QPma_E$mW_M0fCi7zHhRHOyJt6c{XbCAJ&J-i!l<KNP+N98i~Pl9LGvV+>ZdQCnt4}_x){KIGgWaTL5=v z9Zb18*z{lagQZr`7KEY=`Q77Pc0T$XN$zGT^cziMiT0k~Jq$W+z`ASsZRFWrXuj7n z->YP-xcTWD2v$AhSw3(R9w+7(#rCh+ms07iWJ?Le8?&MT`b;~FTAL_z{%C{OT@5we zIr^ANmFc0&TF@1o#SydL`|?$r-2gR}Syk8*j?iX6|z1Zfi8eI!RbpjG>Xse5SbX2;T*f+gMuI#lG}U$*JQV1pZ7Kq znHRg^;-JX$UP;&i`&PkhSOLQErlj&QIx@Z^`jnEV50v(&`FX%JXRk+(L8dfT{qa$( z4urSUM+C5cS391v`i+@GJB0cFn`mrI%o%7+pi{K}08FeboNS!*Oq`TVOqA3xjPj0V zV#aRfL{wrtEKDrS{|*rUf0tyyG=s(ib7stzg5u(^v%xS*Si89XpTf>Gm<>gX<0SSq z5>ix2Ew$E?*s4V+v9`6gv4n&p~GMnAG)bo<_B)+;Y*C47rxq=mvyLj6Ips9bRev~rot@XO^9kfW| zICzPctM-S`uH$7%SAsb56jo@YjhTwiV)EV6jw#9I=QsHP;%QoGD@;{Y>*<~C=>_fT z)WN1ydW9Nwi8!LbN8)l-3NJDyy(a}$W(yPry(b!7TkkEK#B*zTBILt;k_03(U1$#W zOnXtG_er@7ZccA3cdci#B2uWhB3Is=v$$RxS2e{C6TM21X|!-k4)POK2Ob=kD7U}l!nwP>ih&OL>P~0zNHZsuk3zV--Fm>G z46r}Mj^KyZ^D?*6Xur*HuBA27z+%}USbP!oxil2h&^ApUlY+jyj)ydipCMZ}0Qv!T zD2?vhmIw{Z8y|IOqz8K77j#8314kb#MZ@1z=+&aX;hM&z?EWrQ|6n{>8(+dQu3;JH zL|-vjdgvcL929-UcbYj!rMOKq-KUvo!cJ7pYQr@Ox|vD|o{kJKXlSHT3aRWN3ytR6 zg&z)j8)^AsOQ`9LKuorm`h&^Nv9wWD2&A46l+iDF`(Vt|2hn*nattjVe)53^f7M{f zqQlv4xJqi9tByMkMRCmy2*!$;dlsl7VCnmA?e|hNivG4Lb;c}LL6bk)OpGZ21+`Lqa zJ3k)FSSg=^lHpQUD>vR)p7Hr+bT#u?^Fo^%V@Xw*`)=4k+C&*0HsK03)l(*%KI;5A zVY+-IQ;O|W*kmMi#x7i8`v(%V5^nMuSVMEPd=V`Pt)@RPk!=c*ytK!wBYz+xJEy)_ z8Wd-&u^UWR->n6RZpQ-e8t@*4U-f-7ti!7#&DB($%$^oileQt@us(O7k2oci4^OHu*(u zy(!~>L>X>hSpjxV5@Q!dwXAYM$|F3{I&%Q|dt-Z9QS8_018_0JtpK@*<_tBn5c~u; zX78G5XUm~_fw{x>6yd^8IVtgnHZ!U(`YNI6kqi03iuF{?-7;Q7x?PF9z^mWJN+G#n~2oO=iE@FClkj zdqum;u<$oXhSgukH1KKXQz_6KvdgK^dP3E>fdeaLpf3+{og8_D#b1oYUbqG`PnKwjr{a%l&|8sdWmYzz|9nG zMQ0}X6u8>$M(WcbFX___?gc0Z+x}iYyN=Kishsg0eeAL%)dfl(~M2Zn&@94DQ^!j6ZX_TNO!NkGdc z)IaQ4>HMQCU>+ANEOpFKx(EauZlPF9IoZk_FVUn!o@;CJ>uE~340*3M@Sno0BGuw(LON%-0T53 z@IsS$3~C&oWh0Hzo~TvcJsM}Yqzr(!2fwYC0v+Lxqp8(HaU32!G4&83&daKXu-)2O zNb+(DJw-7^w?a6IQzXZ$o(Bi;;K<;ydFxnyG2>jfgf7)p=-VVYZ&L?#>AEVKhn%9{ zN?0uV{Bg)6-+riHVIZ35jVzk%#IAU7QhRLcMYgD{qe>QwXrG-^K3vysEBHG3N4Xp> zA~=lI>rXo|$B*iu5j}Qn>Oz4j*Lf!dV>;>%y=&r$@M(6-M%R2>XL7uHTU~O$denEv z*6(I_TymVRPlT+U9elv`?el8WLzq#S7G5W-=E*eM!NM<65nh1~=jW2>=5C zcg4)g`(aNW4l=!bl6iS>qYq$~Jek`F8-5qaX$H6vkt&9wbGCjQewDTI*j6?oe$)2Y zPDKI@E{5C!QKo+Hn;3EQb0zG9Pvp&4#*3n@14ve7yZK7ys|us?>U`}_o*vB^np0i= zu)7M5*tmVt&C=T0`ZM;j;y6RW`U7ap0G!cC1{r`|Bh*gUDW!c&UAXrb!`^&_xzWV` zt@gR+Jb2MT$>dSq)xy8Vjm-UsPVJeXkbBPxv-t}{fq{zjJr}_s`Ef!k7OkoDbW<6l zTO?Ku3M7Z5UMO?%ScJK-K$=C6@89#G_tp7aeLg#FgTCk9t17DDiQ9C>hO5 zn`2~G&vYxEJ*y-fGapK9vDvd-wqLf7!&d}WCxk@rtx-vfH`h9Kjw zLCcRYfF!VnBkPmBpJxt1cF9apIDZU(es@Tq6@kddzWM}OE=C}KLe&=^<_^I&6LZc! ztG6wReSiZj-_yTiBLaIXB3z0PAUL#KSw@~;=@vKBGEW_s5MmD<9NITi$CU*u95?c* z4II~l@F@k2q7I}yr=m6@iS*Lg)+ZN*5iOHUuNolk{nj6G>+TTQNUnpUcJ?Dxf`)yP-Uh zlyBhwkkEW4_(VE%vtll)&IBC_QSWiKj`#)pYsRufZ6Ep2>(T5E_x9a}i)(&W>ijZz zeuu}eAhQoQq?{x6MWauV-viw>`lNkbb(rRHxm;VFsq8=JauE>N)d|h%Y=5E}FRLw2 z?VE6aV1Fl`caW`s_kyqw zuUi2AB-d_YG)vj?e0LJ7WmMqxXXg(%JJ+71jxhuzv>@<_dPJ6xt@W03bs*-gJrF|y zhzK#Zab2ktd-gw%mfp1TLVwapUKtumJ?KqxXj^h2eU|+9FdP;OJs1xJR z>M~`g^v7D3mRW1LYbfFaA1!YgJis5yKKKB6xDL7U1?IH}bV0@rg~&&B!?qDrRs~Uw zM)lBwYAsrj4Zs=+I=gMM;_YMmH`rd^RxXFsE_7f>0HmSi5)cZIU;QIR{fohH=Rb(^ z$IY`t1yO1PF*P%j0Xr#wTU~FPJQTj~uRztLrQ7ff1gBKpE+(~8r)_%mF7MupuBupK zG9)mWfiAh(Z=b;?e3YboHtoty(i(g|p5t@;_|%2cLW0u!1DJdR2qg%{WA>qF5@nMGyqg}pKGzk=00vT#G_@qf7y|?+5;9Z(wTU#HOP8a$cXTy>{jibz`h09;r|5va z&7Q>XuK24JluMVguIi&xIVW6<&ggpTU624TFg=P#f;IoPZ0ZM;4DLmb2@4m_pC5cM;w(HqR4QkTyt3_M#TS8h*EVn2WdRyv8db#7X_OF2tdJv(N!E;Hprp`4REX-v#@EvPj*Chp|0IkZve++CUgJWeuFM6XzXrM(8nHDiIj1mb=NVt(3;YkiNXCNuG??JgbcViK5v?GZlaM}x&uez#@CoJ_31D?AGW?DO9^Q4)&q&ycCM zP3M-nyX(#t2KTTyzIZ^6y5;L-Yd@mFlicdxxv;lqkg`iiww9#rOcg0WSK78SF{K`D zM4>f*MTY~0-ZO>nivnH`B&G#=``|FViZtdhuD|G}uZV9<=Sx6svJm@Cu8k&kiWyy> zMTO^9iLO#UM*sPk^64e|nIoA$`LLZ@HQLrlYLdC<4t<8lS|s~O@oOLBc}p16PJHLd zP=9#~&Ki;pJH_+EV%spytOV#du^MMqK+PF{-V6KaZQ~?E4{sJ@^BR##+ad_j4!$H#3quD}P&$+C~(9-(O*^ zBGt6<#52A}X&<)AMy*;kN>TE#-3J3USOFW^h7DDIe9v5LJZ4zHu$QE~tk;K`b3bRk zIbdpI&D7pqnAH=Rre-4BhCkTSa-hnT5AQCn`WLUR?LZ4q;1XBs$68=&t`7@+qV-4G zjlM|3eAP1?;^?nm_kV8tzt{Y=8%F)dbWBc1j>{P{IZU2J`9SyR{g2^v5lNi((Nst? zerfI8M<(0(w(G`kUtjP#L>*7zK{Akyi1cdi~s4t@qh<)!J+`8R8Gy zEK$~*Unr9wTXwlR+OZ~~OQ_ONi+pF3vfepgLiyMDgy+Cz@@O|qGM~ z+_!q5(~dn>ha7q$W7wg`Ee_}Nzvg(?nHN4@dwQ$VVeq&uQmMm}`+ySbgmpK=7axp* z)E#^G##h%4Zhu@NF?{G^xspbi#I<$p#13*H15Lh`X$(9`V}*l=Rek=$-WIjRaK!|h zH-^fsOgQMyHIi&-I<%#pY(QrP4I3lhwl*u0Jak1ilj;eRdU!7Er;mZuSe(r)jJqB< z57A%T@29`4o>H&Xsruf%viCCa)int;t^i?OvBoJL@_&7wul&>tY(2|IJ;U-GJ)6T5 z>rv0ZdLH($UM5*u2xd-0n27=(gqa$qvrZfP$i*OJ1|0tk(;o3bMZ>bO{%gLPm)VrR z%=2WHl*zJ30zE1yjp$|gnZ5EAZ0lkc<;jo}!h8&`j9eC+l%)JwPQ<1-%V+$*EauNa zQZDJ1Xn$B{d4YO{?Rffi&j$;0zM@zRso06w2X<2>@{k$)QpgsD(1>D44zFRc=^~dF z4YfF1l=DRidn}VmrvFgwLO~iulshPsjtWl6(rQh_2_VShW`oa%{KI9>fhI~Xm262; zaB@+CZv^Kg<)LxSW~MYW1qUMxfs@n?AsU{mPk$9*mG(lq5ZjaYf_aq<@m3p#oX`v% z4FLqZKS_$(oXV|a?N%$Wk!NBqE1AuwQN?E&!Z&xIt)>#QWc& z21j~Luz{nuJz(7(&X!`tMcAobN`Jaei+|jDTRViyPX}8gHsWJr$-cp?V;N10=v#2? zK4WTvZ6G)T8Ikqj|93J@qtO{3ZRy)e7o7$r6^!lG87nlVKAaF;1@4X!;dp&HGZJ=jDCz*@v@!3H+99n8j_LgnuGe|BZ5y zebXo%my=6n6u~ydtaqzNX@w5VLmSa+H7xA%O~gZh+>NewC@`pw&n_shvrw6j0_N=w z&%J2G=zz11$5^ser^i^P@~1#Y-ct;Kg~&SJRL(b*^G&6zV_Vbq)|EsIYp;90rL*zA za<&gC?2$U3mRkn-BtW)TJAX$tpSSCwcVk@634@Rg_doMxeCXboZ_CqqOMKhpu}L;R zqxqzLo<{|cA~q~9*=)P>K-=&z!htPc-j=7hvZ=t=lcBz+{;8(B;n+L=i1zObDm?jB zRT6iH_L}ZDy-W$QyIu8W;g_pyk&e0s?x<8f#gBYj_@9_4ASc8BEKzk%fcV!L$dP?@ z*R0@vn2)0kwEyyeIPyF0B)e0l=I#EuX{a3dwQH(o&}Q?yr06_FYGI@r+sMa*2}$Po z0O}m%iO~V}rJZm47ykhvU&<7deR?SYIFdUlf7KdmkK07>dw+%1Pqw&h?e)6?B#N2} zRI2KTibRWGlWY-{Liq5Z)PT{%7g831}ij9_j7j^~Km_wus-{YA#)ZKelBhN|q@IP_XJJi-z3e?n}HJP)N|C~f$5MJw9D*0+2B8F}4B1~VLN zKwtG_;$l97`vjns3)>_6g_~`U&=Z~Q9jE;O97b!_utuFe{2{d3i>h3IS1`JymC@t4 zQ|lj}@NA4zOG+0DHF+V5Qjj=~QIaH5;xDVJtm-2)-_fB9KojJr64tER32>6Vf9KD8 z3K=3qvGU~&$t9qkMu(ch=&f7DmCYQS*eglF ztXyxl;L{xv1#EG5^8t!Vr$?F=>~$t zK#`cbRv3CHim;^a+iJIAWsaOt5MX=kB)+XtPBT_tHMch$0i7}K@{*!rf8M8v)atI_ zlecSH0qX|xuJpo8!Kx_RRzj_4&;=ghVJ=^??Iv$#N}k~cG{+Ik zhqiTzfpR0BXho#PVMvaYf0+;wuRkK3+r@dNga1MpE_PiiU3*NXSSri+>p#Sx4I0x!sg zqm~0~MVOqdK^WXGiBK|x9IPiv>u)Ft?3q*s5Hc^2ilf1qUL6`!pfx_^;vxH&Bd}?HW zDPjCj&inb%-~SvF?BM8}Xy-9X<(lv>BFRs&ku#-n0QDusaZ>6tc{k2WbFD!oI~$#q z43(7Up5;vk>EWy`e>Riy#kiAu z#`KmH5U5FTLj7WKAs%9(j;th^in%6=-j6ARgHqhwl?I+rhG5CB=peslI+ zh|kj|3i!|PO7UPIeNJV~!-A*-=EuS1f860m`iDuVg|a!edti6C z=YnFfFDP<|OIq-(;hJvpYz9%Y(`NqIvd5>&GkX;&k+$m}m;Ai_$SO+KM%O!DmuKbw zcU5`B;_r&ZXRKh5N-Dacgk1vCqfqXICxs>|*sgwHKRrmwv4UNb&AsU7m@2i2fWP#{ z+86L86?#o)e^>g3IzlI(ty%9Sx7hp5@WTu*j8N+J3iBTi zhEi7@RF^sRnUSJ|V20#lp)seWz1C3$FKD+(jV=(yZVMAVze;%12j8|2(8C$~;Q7I? z$BO$-;o-stH|-kSC4KsvY0WA!V|PR7^BwxpMA4eZf8zpaUQSE=#}P<}A&R2#a%z7= zZ-pGr*1EwHAB);Gj{|g#Q;bsAdjz_^bGoR_uyf?}I%BjVd2J{Hch3%AW%6u7)q;tv z1m|+O98=YHUJklym8`4njCB^>IAPSBzW8>zki$e(ncIgLy6{ZczVb{|vAdE-6OK3t ziEY-Mf9q@7&^c$Pyef^Q02)@$D@>nJzdWxp{a;nYU*2CSy`z%sB3sO|JhjQ9(=HJW z?6DAT+~H~Yur+aG{PXag8J}yLFa;~i2QCdijvf{x2PYch4ezGG(~r!jg#Au&6 zjiMkD?S*2vD!0X4c1ywZ53V1Qr3?*Ff10#e^&*r6syAv*0oFPzL}ymu>L#Mpo&u4n zO;^N$%S|S_#o&FmXwQS2eToSWTsOS=h{;CrF}QUR4};Sz#VH0f!n zJGE49TTlWdH(gsT`pGm`bDDO=Ud0~6H^KGba~uRHjsy8^@Y2qtmy;*|0!X(DkCW1Z zCj>D$I5U$0J1Ku#dvDt|5dXiQ!U#IdUMp6l-bFiLS?i)h*A%JO0ZWTkw&g^qENXfr z&DMSQ9Yx9(W!aHzEzSxfh|N&s@gBcB9eIq}JMXEz7x&cS8)avp1Uc9JOaU1gVeMK3382x{;Ac~Qy!tCM$h*o-lC{V;D zir7Lr!7w|gH#&KCB2jF@W`#$hB4*|@|iEg)I0a$);x;o%8!SIn=U+h=LVT~`|Cd6 zcH%0(@Ua1fDUF1)q;uZ*7>B}}(rZqrxxi1i@EbXHz(W(u3{TudmZ;)u#6;L2MRaJv zbaib5qR%4A&{=B}ti%8efvpk)M(<8trhPZ)3{-zAVM7=%x(KII&vIsz#T97q{`ab( z3Z*r{S-)O{5-|oUPEXHe5Fa@`sb|UCcXhM?lRyr$-{$-ka5oEu4+H9^b>v0JkJ_TV zLkqOf(EY7L!m0wcURHF@q7gkF4(hbnh%g3_)Keb5L9^)R3vcrIZR)03!iirNSlcq9 z$Uc8~#a{B8B8qTa5eeEXUdZ-zjcnuDGyjsyM59zl$6O|VHjL@Kc-0lrIS2m@!-Su( zHLKA+UuCB#UN+3hg6DAb7M`VBT0&47H4<1yUv$;52{S!9~X(|$1FN(dy z3&o#D+xq5ackE@F0`2sdA zq*>rG#6q@hbN#)d=N#rR+$hB;*b>2}34So!!WppNz##Hy4pWZ(bU^I>l@ECnBq4u# zKgel7lkJfFxt~G|B2M2+c%K`4yfGc%zV}|$^w68~o-reI&8fuRB#Vqh@1tQ(yRD+OdMB-J$s8M?hH?neFS zhJlDKPkIOo6P51=nQ$x(W-5vE)CPZe%%djT?2?j}A=M1gJhYT3dvKt$yR^BuWC6p z{BGpPP}#en!V*|Z2P2I^Nm&A>P|RkOC-T-jr~eFwAIJA_Uz96|ou>RQxc?Qr;Z<>Ea zVIfD;cr41}$Zw$=U)LUCY`L8{rZl+y9rntqz)5MNaX4FOa<=e)KMSb>nns=E%I9>a z-3q>GyRwBR*KC7;%N-9Q4+!2Lf=$_o>2>>^^5M{~@u8i_G26mMC#rwC18!=TZM<(m zb%Ckd-&A8F485UT9wUa-Gq+= zXquH8Mp+biYcP}CB4~eB`M3?!|K&%&`{~7+jJT?Y4(whMbI;M@)SJ|D$&Vp+t}nIC zibQrLF*&81@-aD&63PIoWbK&mw>?x4>7pR>MA>YO2Iy1j#NAJ+4RAo?X?<;B5eH`v z2a;3FisYR=3@H7aMS>20EM@i;n-JYVHnAk5RP=2iqAk>2si%K7P>F&qf=sod-mmL| zd?DOS3i6GyUk`_g8`999xWQ1I>y?}MB92pa;b9imE&Z`5v2~C~-t{_h zy#|<7-(yX`?51{CpnhCNy&FYr^##y*ql4oA4mXDgUfsOyTz_1iIBl#zHX+zQl8V5K z3ZO6aI0@WDxJQ3pM5->>#%Wewc(C-ZbXxB)ZT!TrjJvJlKlY*BpW@iPt`hwFpEjDk z`{?CD?m@e|+`zi~fL%zp2hG-9wfg38%Z1!WR2U~IyS}oUg8z$KHQmOALQHY69eJzD zUQL8Gq9bB!MV|X?wqsUPme<}@F7!@Tu1i4g zmYEAN8`zdO1UV|c9oyb$+6MYpGz%lmFh%*Cl&X!#{x@1bKUD1xHO~XTbv4=*zyHRs z8Q{Y`g9E>NzS&c~7a_Jo@qR8x9PUPR2OTNIhzPsOMTs@_AeM!-zb>(XSjU$pf^ABu zPky*9_To$SXSYh-%j2%x@2KPLPTuy|fWS8Y-Lj#U+d(ORg-HytN;Pd+zYAD)Sl{o& zZI*Fcy2Y+*$kZ(elLoRd7lEkK#OI@X{{nvO=u49)j41*$HIo55D1Y5rZExE)5dNND zAp`|x7d0c2q9hjWfCi|G4qZ27MhnahHrbXPVzT7Pa=Ps0zmF6tTU6*5Nlu;iLn4{d z-95ZJKID}i_J zKfGhhtb0B9;mih(ZGUb4r8BG2a`ooS8ukbxofl8Omm&WSks5RLTFVA*Pe*$YFvu0TP={6W zRUK6l#M^jU5pC;k5yHY1NZ1sHdE})l$}PF7&fjeDk!3gARDaEqZsFik44Z?blxLl% zd+;H$E^37KX+@X)@IV_451RrX`wE;}43EKT5rtbu$MR&u<36gBB{??fDrNZcVbi07rYwvm?Gt>zIj*Dri`aDShwcEms|w7lpU6G$|2?BzZvCP`0;D?NN%_e=p;tkTA8^Q7rCE;2Jo zCwhO73n2HQhHlth^VjrQSL2^4U&5>(MoIF=YN52s$K6fXDzSmY1r+MhsW@H>Up^T3 zn=++=;@SMuZ@84~6K;grwwmLbO0)NaII1b_@X5%30OJ1pPOqDdR zYw#Lha}(@TX|2DCO*np&mPhrLwvfBUz-D_>FvKxZe3>9}rn!qg3zeB)t&5ZP-$*MB&R zU>gHmU4Lf}KD>>ya2BSulbHJ%LHizQ6t%-`5d9o*K2!ijzofLQ^l2@d;dCA)Gd8|t zagg4fn=}t=XzZL9y~{=8B$GExMPVETOU2ahgxRXWIxKA)9Q$K3F;jFMW+onaW85mJO;Cc=A`@X6#kB>o*DpU8UDW10p za1Zn14sxB9IKK}+=bdg9W>eks$l_e|^MK$Y>hrF_L!;6zws3cFFZzgDGGa)G^swgw z;(zlx2YJB5Sjt|pc-G~QNat0`vYUCB6^OViHuh{leXiZMc->@M7!zRo&>GA)8W8F% zQZ{E9yX_*s6E0=jJP^O`o-^rJf06 zUMJXuIY*Kx5NRMiBHDsf^??%{69gyjnSvffQPHqisb?dWEerk2;^~BqgG@v>e}AKk zs0eD_`5UEv5~=|4r9kdj2yEz-Jj>G;dMeM7=`KInh>r-WOXL;bN43FM@mARqbSS`_ zku>2vV1B3H^@|MQPWmgDiyd~zow*$gf-a!EP}S58!!%7)8FW5Pl5@2MHb__DwY+^Q zFK7>1>~M}IzOH_f2#=~!=S!B#5r5xy3E?4I1#%GhVwi1*?qJMG8djhSj0$c)h?e2? z9)!f^xkz1I%QIPZ6{wPB|OK+}DWo=brTMaAv` zijmq?;e7Xg6-9hSgPbbVKaNVgbD4=tQq= zYJfJM;wwGLw6=q*b3KLt`+um)Dwixf*4$+BR`VJ+U&kwAI6{#t`nh+nNR)c5b`nf3 zXmtW|luw=%yKKSH_Cp$W4F7C7$cRt&d00zdfu;xD(}*pa%FcH?@$`W{@@ja)zsTEP+`@S@epeFiyaP~jI{nbkfWo~41baG{3Z3<;>WN%_>3X}bk76CGo;S4H& z?OI)L(>xTu->--!E?S8i$7!+!4J0N}1bW|rN*EVo0+TtNr7X$PbY%kmJI-gD^pxgn zZ63HlO}(GL8=?V5n%z$90{Q~&-D3d=uDJu$psGWsMtM+C-tDAM6R8M{J#Pk376wJb31k&Z1ebGCE zllff8k^7m%33Hgw%`x+AZqk7Dmzf^@z)e^g&Wq+Y&1WA2pV1r0HrjZFDS<6yR7a4m zF!`-xZ6HY*n)iI>F}jv+?PEWhIgqli$&wk|Z=C_!E*Y>U992;?U1z#~5kwK()?hSd zp3NYI!Tt2#`i9p=qAG?r)PuyN=!w9#g4~#y;HLE-gH41X+#G@X)C@lBX+MX76@Nih z_fo&s(Ib_gms=WvlK~{yq>d{#@YEi0W?v=yWGi`IHZMlLPXnKtV76(wCegZ9lccUE zAEd`t3lt&m*+?ZzhX6!>l@V5th1$rQZ}CrZ=L9MuO8Wm{MFUB}NGI|pA=wWa)kH)m zNXIM4pRsx5^TPw*wPG~&yc+I96&;hK(vUR*ek1NBfEg%6N2>V8Kt4jcqQnw?Vb&){ z#4&dD`SZ=VRV`HBIsuz7zqR_V^eXVW{^ont;@EMy>4$)u#d6Jm;bNDA37XuEXzq-e zJ5zkhC(vPQm-z#l+zx+AS%HfSCADYl5ykKE+Y2A#7FI6qdhyF``eNB`<(9^aH8omU zF=BO>mpeqj@;Sd|esw&GttUWmTE-OC@Cu>db9?*T#xRIMLhHM9;jGKyx~$EcWzxa{ zeSwceL$cV{Cfn413dej!)hg2TY&+~)l>=R{YoN$TIVQyv9`<6|Va-F7v{6=Tp{~g~ zPTOm-Wf9)N4hL*4!*(?7lTpum@5zOQCpz-+-J875#<~QTS~(efJZ zRLf+&T}j<}rJVs~e|4)BIEslXst|LEfX{Tv!(H=Xe}QRJfJ4-{TbVB}PEOV~@j?!K z&YFphWhNA;)@bbRWvhLs=aT3yZI}ZYML38X2g(!i}1CPg*tu7tL|FV=6$O@ ziMBwZ{cW*6vbV*;lIlm(Qayj;h^0r2p?tA33bkj*MlU}e#eK5uK$57-2Z@@F6Xg%A{2JWMP_J!}5Uh*L=HqDV8ZHlDO^4#q4-$zN5Ez*=tS@fezKEzT;@!oel9uI004QlUBVEF{L zqd{Pp)c=B>!xta@H2RYhstQi&pCbTriMF5&zZFsBQoLvoPN$7Wf zJ`KOEK)0Z_{K=s+BLup3qua=^eA2PEF!Y{!AaI z#q_r1(7`c|@2gzOgFAomMg;IrFQkw*YeCZu0@N|c(*Uk*7eXIiUHT&-ttHDaC&ns( z6@sjeENRr=@G982^5wubs%9Y|@HS?Dpz?-f1IIPUO#Uqu2Z4%ezxhgOEovGV7qMxJXCUb>VQr*z%7zfDu@jZzWrzyEFNzd~>Hi8_Du z2u~C^vP)1714?muY?Mxov+3A9D8lDrsc#C2>6huO!BeHcDM)zxt z(UtR;K{OFTfxtyb76{L5BekP{9?Cf90`>=go^$-vlwR^JqiN^@WY{V+ZEON!Y*e*` zGIT^TAs1$X?*i8}3y7G|)ekc96}-NBwOLtNFq1d2o3r;(>Q8*!c81h99^xxC{XkWJp0SG)dJ&5i9MLm2SB~dJDJ=A+wD6Ukwp*1&#C7Zgq_84F zYUpTN>GzW4hXirkWnQ?55UP35}vMK@Ogl&y#}%NKwtD<*j-$jQfL*h`sHVA)=j+!ucVUK`Sti3cousKb7#C z+8(_M<81FO#@-{J-zmPCa*iwSEm%HO=KGWXAYx%&Aob*pLj+!UV;)S0i&WohqF95N z?TTh;@5J?@bzrW4$e!0H&DV>T2YE!V&(CEYQz3ZVtn~q|(_n*~El%%zJP)ROt$K)> zVy?amrfFU0Mw9!M58_R6-b}u0ZLUI+jG))GpJkxR8jYufL<72@XLeUFsd9^5N?FlP z)fCp(HMeQb?g+(PXOUDCwj5yDD^WPbzIQJSLkCN?R{W-a(Uss>ajJgQuF>lO*Kocx z&#;fnGh7##-IX@A!7LIX_=V=q4T`rdN*E&lI83u;jX27>&gZs?GTXcCSGzPxLX=^z zR{KA*sY~?>T=_!DsdTl$n-aThu-<=+Y}IwHHqx1jo6uLN>-NaTW!JH^a=HQgc@2%a1cVjbsVc=8{4bm;Vx z?3^e9H!_n^j4OZZZre5#{-381iVn5cnjtAs5{q;|gC$*ttt(Qa1(p__YSWHTS#l-C ziFbMTks>9Fvg}B<(>1FRz;bBuJNLtLNJ3+5K;y*$RL|r7!QrVz4GO4@ZKFRj5ODyd z#IPv_&~%Lc(75Qt-S_>U4^Ig$y+{ByIY##TBk}tI1Q3535Lg!fK&BCM68gybizRCO zM;qlZM?Hz7m@_VV1QSVIfMbDT3p}d8%Of1z=ph1Ziue-&N{B?AUd2qq<*#R4sgDdw z8#ym%Kdek7wv;3jESso}EGE7=XM-pn>hdUQHSR9D+57Jxfukq#`#6%%Q957z7(~&h ztEobjKg)kdP-7cJY(Npx%u~^P*?b%yHK0`I1(X8Qac(1o%9Ju{(xeUS(8IP39FC}I z?e98ADeI8yu0-c{zf=(Q9ysvADD($jaO$&Qm?#SB`Cidz;2J&C1~wniMCreI{xL~o zZ;;lJ{_CH%BJ_S(<8-#9$!1>g%Htv_a7=P2TY-OTBMa~cUhJor$A0L=^9ObOUbH~$ zJSZg3=BD#0li$Kf4f&yb4gxPpYTOSy4#1G+?)ArQ{&((&<2o1!C`OG@s*<UXz{Sp&G5mVFAD&`rNX=p~qi13YhzN7+0M~Wp+_SK2 zqE3Ix#<3S{x>`bRK^K@Vm5_sY-jB{gj>%%Ft*1{nU9b9Yyx^+3Om6CLE$E(XyujWw zeseo%9t8EYyll|C0+_YU0MA;hhDQd{Dl-e%un4e$m+0EAxF)s%;_k2B=4>~2ahqIho3;IpHnl`5=i=fiGz-Fy*E^FUv_gf{4TE;`9&bX^Bh zL}6nMK7L#Yi01OBWjm>?<6fAr=W6LID!r9OR0EUr@`47Nyw8yq%_+#jq;@^bmwSIL z>58tQd5~RncAGi2TtV*Pny1>$?ZR)fgt#wp_WZ8pmnW2Rh9IjmOElFBv>W-DfB8Di zLIC6YU#2;jmz(%*%d|$mQRe|G_}I3%^QP0^rdW5VY!hqub>xk{$9D%5%KL3i_Ce~_ z;*~Y)^;cW7*15~ zvpBU)$=f1w^N|HTRJ#!9&|?;|*dLs;Y2XjMl;t{+8fw>R!KJ7z1lmXKp5K4F4|bw^ z-d1s)UmoCC<-SeC%sXUSoAzr<3TvD_maZX`lE+Qka^U-w#Z^&YAxMF1y1Ht=9r59^ z;G^kreyn)<3Va+D*=;mEn~41Br{~dCILt8)PkCZ4^}GNIZ{~lz6NbE%rhs>?Mt{QL zU;E>b@si)fwDZwVXI<=e*dTw6VmUPQXMW;Gq5Lo3ajf2jQP>#T08>jRaQN^Rjxe%; z!==?`$+bez^g_j5%qE^64p|p<;%4kn!U2&E{M~Krn2_)l4X2=dk0NR>CWvW zksMAhy|hksv9M1f-%X<~c6fuuKfGAY|C7bh6KQ`y-IB4012A$V8&ZE4rl2CYu%ND# z)v6Gi6o`kEhNeP^Yh)2p6~&Zz5yo{*qC;GINrj=rn=m<)aLhfBbw$MiiL1M#(oq)jq#?#FLqZ|f##fBLYS6L(T$l@DzTbhxQDYD<+t zJU@x!C~k2WmCgH+XUHKtp8w8sUvpu1wqd=?0-(`8w06-E5deQ}xA8TgMLxOh8qlg8 zbp6I^%S(nmL=dpue0xN7T9atFPYqvPYS66me@_jXu-|5CC@O@?P3rPN*X@~M!{n1*#5H3^{nXP->qq>d%yGcP6Ax#8K zcX3#J$*cRuN6SK+W~^VL@k=)51^A3@e}hqMfD|_vS&*>S32Lp3>(UnY&u-~JP1l>& zgY;}(eDG$0P$0S<0gNqe!b$(&Uox3c#*^{46O*ta6$3OhHIo55DSumEZ`(Eyf6u27 ziapqC#fYRtNyX9!V{y>|#fHG!!?L2)EIAfnOCIewaXykc!+0GpC5QMS zQOt-qR+6s753vHf_c!b2_9F3PoFn+|e%@81i;(s+#Ptd%cB zPUsLpIh!b(P=9H;;$wPOnJO6HMOsyumGhY&N+YYxnvJ~Ncc7MKwiGVx%Cgq8Z?HXs z*v2x&78HW7E7DI1GlhsAU!u=8@nxGFx1>p{Q)0b|2l35tma>p=I_9HgxgGnd#6`)* zMt=me+vtSkcl!JqrsA=QK2-k0BR>D~J^wP9<=B$0?_6u zOUCp#SgLC)r2~in$dW?Yo3ULztx%_RSYEW9HJ#K}Mu{&I`WQF}m-j-G%mOlR-N3*e zo7>K2k{=lXrDaFpryoA(lB-~`_;mqGHpL^$gr@V-q>U$A7rfX$zK8{q&uOTmJg;Nw zO;w?fXMb&Kf-7LVvFDl8RK+MPJiA_W5i27c3APu!=D`Jj#TJqIE~n|8j>tCRR2Jjgw~Bf~?pgU`^8HFPjkZSh0P2E=loHnpRpQnLfo->QGj-Qjz4P5PqEDiR7y|5} zvWe}z9U6L=DyIFQ)D|xMa~kF}iwRo|P|37iV7XZJ<1G{+-O=ochYzQ03-dN>f*dPq z2`JG7x&4mz$!tJqBPS>CUnv*0%>2xVMFZe@zUX?D-X>v_`#&DjsH8E04J(R&b%-etU~+Yi`b<=E+8eqdE4c2S#0> z+J|TQQ@KN2lPH;uaxEHJOiqqxn9SIaBQMe-M;UTCI{OzFSe&%qEKxnCMHWRCEM}VefJ%C zlr70}Dk+YaVL^aM;^W@;cA+Ty6Y*1ZrbqAFcb!@)t2*D2PcDrqf;kT zLOt{>PZ?Y)reWxgXDVK3>4xnqgOT!19bBBoX@8U-ei;0`BCovDT+3De`Wst0L73?v zeZj2Ka=x0OJ+IJdBc_~r@l%qME5d5?9l=Nb6Z0!A>-opuJa1Crz2O>{aXOWXv?ixF z5xZpRWNodZQ`agP*RoyR_CPr_>*LlOH=HDVB*{EGK5mj^4tklqL(we9)dR~{G}F{W z*MG%nA8+Y6*-GY7{3c51P?EFUVzMX6Ra(~M9#TmjfC1ubM{Cm4 zn(6DIZKLCUjIuuttw1Gl{1|xIwyloHdw;`r5}MOA!It!rKOG2e%MgZ!7ZbavoRr1% zYRn1c@e&7*4o#H;C7Upkh@S7TBa%~SF8QU08kayeubANIJjG@*7h)!B)+il}pafWD zdg~CZC4eC zpg`<){EeGD*})!ZJ|=8IGtxKYdwXI?XiSrk>p>8p?W>^C z56=SK4nmpboZQ*;woukwF8xbLwtpAKFL#Ri8{k`Z%g1uPb7x4mnO;Teu;oj}3LI;% z=nr&GN91JrJ7Hi(&bZ!=8xeacN zD$snNPNor~85B~R)uJhw!=I^ay;FFmP0+R*+qP}nwr$%^Cdo6gZBFcoHL-2mwv9jU zx4!l7thHBt9QQ`=^xaigU42$?=w2|zL{O}>d#(j!Dvx=`LY7c36nkb|2mp^wk>qQz zvbRS~&^RWHaMle+m8H+Ppl3g3)P{>K(h~|xL6IZIJEc!jWz;C0LVL=hA5S_%t5igi zXZ&!y_<+E?D4@0oRrv2{3rAl4Zi?GeFHUm=&vApb9E)sb_6DgeKMIL$cPkh{hvgijnC?v5$2D6DVBNH3p=ZGxq%Z^REg;dm$CJPgcujNWE4!Ut<{O~Niy3*-qoZ2LOd&~Nl`@AvhsrvKWa#G zrGEjpPLC>P*j&~OU+fEH8v$r}TX*sY-S{m2b`=YM%w9B`n4z}PIH2iq=C%Sg&T;R6 zn`x#(0jqXZ6C1p?A*5!E&pN0jgjd<})J<_H#7?Z+d(Lr#)kRH?!IfT-UBfQ12wO8j z^Dg52b^^77c`DLA;WFL}-ECw{Ijjfl-{>bw%CBas+}J{rbGa2V_(Ckn@ST~caL(~t zBgi)7mq)r|K5@MpOMn&`s%BxX+)Pwruk6r27M_XQB#eeZD=O5eU8V~g4q}pb=7Wp8 zDZb-O)p=Qo7~H8$_8k9RfP0xdqX&P*x$P1g2Qx0XX%( z(U7z3k_&36BN3c?2UQ;}5hA$KhzVdORlYDrB^XHwXaQ(LBS4%{e@Oc|3740m90kjM z{7N89)$eLHT@@z*4^65)+Ro$&6Czy4;N;Vjl50%sDXh^*xnmWncqcJ`(;Kub z2dX1xOTNNv%aY=EV=X-F+Z_iTAz!UVji4K-UIrz+R^yeT)wAs0UZeN`_*aa?T+4#3cc3OA2j(ugcr^2nNN4QGk}ikL-Bok(PQ2ydQBpr$n9~E z6AD=OA-Aqy0Wvdo19!{o39X@9;8WB8x*KwO8#U=d)eqkZTls(%f;v(nVk+J73w0O0=#>rYOI&Io0~rZ8_vz2|G2&3P7be2Ek0)$1sbfXD}o8m;I~+W zt5-iV4-3>8h223@oj^ef=Y?6o=MsCkN)(LhFJyl^%5mk8PfBdc^LO)Lmm5@s2oXJ? zPog{tJ9_^$_f9EigoOMCTK*^;__?Ifev}w=5bpm>$ut06$3iYN|NjsI0`ZGNy?Q7W z%__W^u@;M+P0Gjls+V&E^6^kiJB{m`tKVJ2m?%UFkWl4qGUyRlL2=!#zP=7CN)(a# zz8kCq->Xj7I~z}EiqConH2uE@#Y!CD?GztbZO2^Mv%8N@xxrcx=t-q=N{}!hS=2MBKB*VB zl;$$^)WRZ|!V+NCS;#1u5^W0&WPZMGWTLNwPJn1U@&YHS_1Ydh^SZF{hijr&y!dkR z!X~|T19gxlV}eg5;1o5{t8Ya*sG~q@RhvOIuqF8fjNwsbJq)>)6fh z(*SC5-b3NDU!~Xcwb=|xElC9VPbT6kvk)rY>gU^|ivVBYBTOIn*Bm6ZnkbtLScbtZ9q5AvwBc0z zH%(F|&A*cHRVrlD&?SvJcEX#lZB zQ$!r&HK$mN`eL*Y%faJK#BR}_+>%bN?8l1#02jC4Hgy;Ag|izTVHr%45EySUIni67T7`B;k>^W@xndx|8ppK9`uHa$l0$bSZ(f|$VyEU$O zF-}j_rP`^bC>+0_)_NWMq>A#Gl~hwT&3KeN=^okOUhnM$&WIIrB75No&295sU_ets z?jMLTi7+0()HooofiK}CZpj{#s0ZXOq$f6!h%)i+BFeuo@|2GzKrHi$Ln$%hCR{nH z@PgGrjC+%x#YpQ?A(E)|kpXuK9Rv}WT+1Eu4642bhrw_y=KgcL4GV9PyO6ic8-pMa^C&#b6%Cz zLM6Y&&}90y>ceZLjkE}_w1s%+-_a^?-J!~dhw;T>>BmKE$GDQ=YXQ|8S?V%$hs88< zHt=3J(3ra!viy7qY-1(m@uAi@l&>-0`pGf8my!2)LEDF8_gME56uyl1f=c`o4;Y5< z8qt=-Ua3(BlfGTMe!FySLqi)}|F%wGvl=K`DlZrln&}0Sn z;WWHcNt)F<78BECSr23&%OU5}^a`X^+}^D*_a2*ta#{IwgnErG<~s9vG6YG~3WPyb zm2}b-oHcuV)(t$67xfBf)IkAP8CRJN#rDB>iITFs1IuS-)F&u+8Vacf325&P_G16e zyPmy-dd@{Ptb%MJ?vKk1ao&tup9ulWhEPBMdTJ1^|ECiBzaCXIa0*9M(nKHnL?Byb zO!~+?tC$N>47*7AVGy&?B(veE=5GO+B0Fgd6y^HPs!`1Oyn+4x{oAX5sP2anvnhy@ zJdWE4v9a%=m90HZ@x^dMFk(nXkkqMBzhmvqnN%3m>u&-X4Nee$X$C1u@(7g_fcEDJ zVgNKuXe!q3ANvzr$}>jP48hG_C%d6XPxRSxyqUcR$!<o1laT^ zo6RaT^>VFe1CZtkf4U(w{26@kDz6wt^kCK2^@j)yZ}&=I56=XS>Ao~Ug+X|Z#g>H- zmsK?KY^M$Lw?+c6;ZQWvnxg`2a*q$IiU1XcwGr^!KYDJ(mZWbF2V%i@oSO@<$y7l} z^jQStq4gX6Za&A;{*Uv}7^4-}Mm5!8Lq>`Q%V@h?J;g%lBy=U=aBp0(C5QAUOyGu~ zDKN$6pI$$YqdXCqrhrm^oZfoN;497NsqZOp;;7MnDA8>?4oL~aeyFMX%{@z!34q3h zCi;?;{HB-R^hV}1Ci7CcYGCd^(iN$#laGs;s^gM}6-w+?Lqk5M#KO6c@E?0aYg$-S zWws(v%=}E=gsn5wOK3X%JtE+QsYEJ;?P?#~&qIcBL`Sl0;(6!9r63txOcJmRUPK?c zLa#>J=TzK41NMNIL9pBe=m8Q`DuC2r0GIHQ)2iv#P=uM3D8_G!3Y5U!LB?fioL~KF z!3Q;fu3ug4249&s^#J36_76V7ya3D;6XN<)AG;Q)P(ZCF&F&l+RR3Ox=X{0`3|qiq z-*7P6G%vDq6>pE5a?W&i(z@^HwCi=$;<$aMIqs9Y zR8YX7)?gdJsyD8Z9Nr>8FWciuienk91zrf_FkwVO!82gJNrZY1iq4Pj^CL7@tJPUTcf=&^6*?7$eP~%( z`DEB>W9U$5p5xltH$}_Zn8OW~HY#`W>*TL0G_ibI9-~i6a}HoFY-?J)K9>j_YU9LDc+GfH926X02NJJR2E`EVtJwYj12 z`j1vR6~-48&dDl{(>#URilVWZuK+<9)Gv$FFEdA#)GNeSr?K&sej+2pn$P5JMMcA{ zk|YAPe>-GZFRgqjoPd}kW5j;C7xtJp;6wEhQ8pQ-_EN;q)FU!Eg126e12DQbY za`%D0y{BXV#7f~@3X5+H{&}?qt@Pgvz7r4(Lw2lpgAuD*vVo))790>%ti_^CtPxK9 zD;5~voGczl9pBitegy|flsG9!x&kt@7eLXf15FH5$McNJwE!DjRRdUkpaF@M&wH`? zy)8R}q|Kc)6UY#V=K=x1>*o3NTIpAZrK$fTE?E1_)}Ht;{Kgi(k2LMi-ne>q7PWHF z>oN?cXw9H9sP`(KTC>ag*RaSn77t6@4%Yn-y5mvYIQFPqJ7u#^dr;#Y5v|DMKhJ9A zzPtU5zFt3y7l3I?clP$CJ3Otuf1TXG3VX{kS$P zE~o@v&aM$LG|G%~mZ=+c<_KYjpA!V502kPwi)7p%FT{FzlfgooqXo7|knMvkQ7R|& z;4d)234+$|zkXmg+TCj)%SZmBs)90KTDh7Y97Lz23mTIeHa0uxr+YYi!NGS7x(#+a zZAbU6vh9LOkhiLH5+u=AWK!X78gzT7>Xxl3Xenn`o@B9Hy6be7_C_g+lt{!t?p0P; zAZD&3Bjs@3f?RKyxozEp|I;w}?nDFQ;^HRy-+X?J=|6zsOa7dWyfZ!}g7o5}u}V3I z`r-hIL0h>v>5SB1xk#&9w?73mF^9t_e49!)lJU*I*ZbF4#poU=BBw=>N=h*(BCE^` zQBI)|iPwZH_4CSgp38Iur#w?**jCXUBBRxdI1Y#_pbY{=f)C?`%N#4Pr2U45r0pxf zb2fwtd4b7j9fU)$HBig#M3#SJw$B&NN~;ng}9&~g$C9MdY+<2#~J#wOE*sib4$r%Hw`)DL0S8}k=F z$SQ{$tZ&koMqP!>yh}e^dAef_8O(eB@*sKhvVk=__a@e! zqA{0&JE6S#B@#tJHoV1S=e`IyK2HvbG|YL~d=!-X;89)kda=?`ZsR|t;=R7oMR+?>Z#wpT5#4Gr*;iJG9i>K zcQP8SIgeEL73lcSY5Q&mXR7VQy4vHhUhm1#(b^9?%YQz=I=W zgz*~d2A~sf$o}>o4Ta;-zQ}0~PHm4&MWuq4bakALZf$W%)YxD zAXIj|X~=+uSx4090JLR7*Z$V82U}^+i1nOvvV(eTOwdHEaIelxt9Y!`>0a0AMu(Y| zncOzX6S}U~D27z7Bsfz~<-x6ZF{l6R)LTk47+`r)nO3dNt#J?EUR`AL9-S;+?i903 zTdrWy)Gl+a&g6*dgl5ZnwP`^$tm~Km=cfA&L?IaK@t-3*>9GY7goQf+85NX``G0$u z_KsORXkS}~0TtG=MZ2(AaB`O^S4AFYZ1#(2kFwWlbpz6;+C0oPoq99Xtp`NZ2G5I^=JsrHMU z1mxT>v$=1M7pY;MOhjL^e3LR@-)%s#3*01K=|3c*^?8W-Lu;O34@M%=r4dWN%{!k$ zqW&sU3w$o(t=>Dl6X3_?s-{0UYD}K=$r1?YC4;R{?>YzJi_YUjj+b zOexNpq1&W-qbAE2I1Q`H=}(gcnC|PINQ+tfXlP7Io*DDGi1Fq&P#Hk4@!WtfO={?+ zrQR*F-i7U=Iiwq8=f3I}NdmE|jKM(cT1;b>(dyS1WTTc z3yVZle%Mky5`{!A>P;>tpobF@60MIH9T8KJi`Tb+&@fXdSpk>f5DU~ufjwGGkDY!JrlD?oS`qFEjwH!^|dBg1MB zSe3Ie!JeBKaG{?{a(XLPdAQ2S6KSXW_0547M7mEz(XOUmf#%bN;p+3Job|9dPq$RV z0f$3KqV5MF;ppK$RK%H}9Wno%tnFWJ@+93~AWxB^!w|_oqqO}#qz(|g#7vvJ5fc8! z9=!>6AX69e)YxD!VVjsZ29-Af*~CL&iho{U$Pa5M$QVA;xVyoS`}dNqIK6+;MLfxn za`#6ib4E4mR;I08-YO}_nX}47YBzW?PA}%K+y8f zOUV5;ME87lBZA>VehUE9XY}gCUPvF$l^qdxFtCSW+L`KD?p447}{GVL^cKUXpx$BfcMC0-LbNIndvY-Z>oywc4=@xbmzEzPVF#A zUP32KIC441(YNMSs&jqCBI8U(hEHRt%Xo1QO3NeUdgDldq{8wY#iOWwNpP>hRNqtRs>_80t zzKC!T`rQ%h;O1ruzF8Y!J$@pApMbw^m1Up4M_Ou%%a~=4rigYpIJbVQwe2xE$*%nh z-zbVIRMVSD*euU6xXP|@)rZ#NmfmGYP#3_a5Akh!^yA9+uRg8@K~e>q0!2aiXKqfF z(txZ7Q(aMN5Z6CQdfwh zde~4PWtbfFWXODoxU0dv1{3*&0u?KFJFU!dkYc}kx(SzTSYw4{JeShxL4&(Tg}dR2 z)<)!}-o&RROl()6$odgi>%$TaV27wo!?i|%O!A9ViTf5y z*z1A%+NJqBCNRr35@Py32j;%izsXQj(J(jx4Qvz=*Y*>(B@P02_6Eh?4-MXB)5PIJ zoUF^Cx$KWH7?OR1SWJBR>OLl~zR%I=gB&U6UX@lR?c%;pCJ8e2sEHxecebfAFWh`7 zF(_idI4O8!NNiGXFF+!P+UI{#Ch!q-P%hU0RX|;{G?4tCYm8Vjs59%JoLVgs1-P1c zuGnHJ)srA8=Y{u>67oPpg6tGaKQA|3g+YQ*V3kWFK1qzY+kY{%ZyUr{`zpB|9+P&q z*|b%kWSaNJ1tjB@$&a1?iBl+%RHR6)dC9y^k7bELGt|UGgzzb0flrZbn&|tzmt^#1 z4Pa}Q*Y$gId+>jgm5;cDvex6$oXh)-a+v6v3z=Lekg;MR|L54c3m8sh9g%+5&_LMs z4Wh#>T4v*AxGRaD6b;bxx;3A0(NFVpifV|L)rUg!Uz z1+GzoG=*J|*rL5t{B-RSI0nlAjH`#kiD>`xo=>up{r6AwhCM?5?yw2$D zPBMLx`mX2@#V> z;>Lwdwz5F0sBk3;dtb~<-Xd2#lKxTP1)kb4i0mOzNaM_;`(ni;*j8eanw3%G0ccp% zX{3%16Ok=%%*wbJ!MuK-#k8DfUI*yuGowu}(`~Ea0RiF1dPC!EF);O3CY*wDLe0WI z+L-y!U_2X-RkvkY6fzTnG)PMmhr1!qyfKNAmy^+fP&lh6p&|8x4P_17YsHSwCkC7N z-86zR_aN_?K3z0qyr2sbQaf0W0Zx1~g$XbcTYE%$`J`d>oYqz0{yFs6u0OMFrbSUi zV|pO?Tk4TdWyl0CRHiem8^XgW@TWu zWg21&CFjr&hIV4$I%#=j=vnDajk68Nb6R-=bgzYT+qS``o#X#hGg-fn0*>w1ntS*4 zWN{ux8vgAPF(Hdc?69-tCEh4VKCM;maPMREY`|1S!mQbtwcEre_kndZX}4aC?CY@{ zc@bdlAg)>2t(NfU54g0pwi!W<#^fc3)Z%M)>OisXek8LLb1u40z&B)Oj+gBIplv~% zX4i|(41UYOYlp5BQ)QJ<0+K}K&j2Z48xea+FQCJRHF@55;H8^*WfMRw&i}etAsrNz zmA+Bt)5RUrRpC*dYvO1#N|#sHxxgUt$(VJcI)R=E6sq~cyLmw#w3g#9Ih_GCB(N%l zY|<*BFq$anL@c+GPo(`yYKh+HX}iw3AknQXZ%1lK=Gp5vdo()G0KRBz^4#5g+M5}5 za!<*g@5gSLB1O$osH>t%gE9LvVB^hUpi?dGnXj8i&7r7v z3Epx00vgKCW6_0uQ(XRHO}kTI;5q=k1t#ix=YJ19)db>%rzCZubVB z&VcYoFtXhe5-ON!PQCHOm`1EpP~l%+n@b40LBVx%vVV!8gQ3VNAHr;nD2><#U$lPZ&{Gid`8S`Y{d}~|3weM;w=5r zuFt|I>{U^FazK|AHtwkK5vq0^Aq$|TiFBbpI_lXFk|R3AG3m)}5?hU_DqF*sHS3)t z*19h~;tFB|9S4(0)qBA~$vCh$Aa1fTWZ2`zB|*(J0VJeKuTTM*Lud5+%DfWIqm&&c ziruATObFjK)w{P;VpX@iX67u23VS*VJ68hKS;GTxwZ563ZWAvlrKUMkjP5r*xR>vv z5+?c&nlEw^{i?;>y8fcvdcX_=73PNM;FDWKVJfM}2WbZ)isz*XFQuhS?$QkeKcOqx zmR;Rd0FHFRxTv*iF#?3YaWLJsV~6*cK}m{A_RHOq4TK+n zOmqKaZf^Oc(g(b)80dOn+Me6Az_-l#G3C?p0#4d{(@^|9{dD$b;o*{TKUQY^CPi~u zI1(UIr=NFP!v+nD2C*Z2usf|!-uzg6j(bnKV`pJ;@t3Z&Grdse3(^j8k{O*G@q~20`}}cM&;n_w9Q^plp7J-P>zXbLB%H9eSG#maTGfQo)|cS#ptGf zy9@UM$ODv&_yP1VM2e#8`Q_~m@11Am#oTEB4QyC(pfv!Qc^A@@G+3jl*w1gyMUeq- zoWst{bqs!)mC6F@zOC0jvR0dQquSZi|6EQY<=6B5Tryuno2cXvT=iDd425(Y zg#hC!IrXVt_fdsiVuxHInud79LasI2|GD2m+^ZMvxd_qLSow?2mx`X2&@t%-!YI|qCO)0 ziT5RK>KKEnx7SRt8kW9c}X-i zD)*eeGPjrP;t*SL;aLtp#-6l6V}9xK#G|y90vRBg;Nulmygl<}Q@RTNRGDM=70iS> zrbJ3*M0Tb|-b3hspab!X=_FWX-C~bX1=9%ICW5z6E)1!DaZz6x6?aQMAiX^6v zfGj|d)e7Nv^#EliBw{w%sU<r7oUNX3fflO=jrZkU=r4~L8&;S z)2D~!#4Hqi_z@4 z^Inje63r;06PFZ<%M&F+j zU%%-Q zbFQ+*{?$fVQ$gQgX~3q0mZwYM@(69Qwdp)q6NU@S7$;Sk>KgUWwSe=rzFa`0&JKYD z9qkYGqf8fWgDoqe*v<*@RhE`;SPxfY(!}7YuA7t5)``u5Wu})_GEN)Lebfk)F zaKSIlXSiLjJ^62qemH0gl^x&=YWYCZghIVd?;qti@C2)(#D6CmgpKV-w@BK7qXjJL z=(=Y8_yVSDjP6wUVw%FU^4Fh;%jfM&PkrihJIq+|!OgO$TLPud0Np4k97f#iq0$YE z5VG0tv!#VmC3NWWuU-Wa$FCm;ak880L}1nCr(?ePt(hk6JTuV|EYB&r?wRJ&95}eB zvY)Vn{#XO!vzs5RyWCWX$RtP76fG(_{$C7nADzXrU{Zov>eG z%-67c30DSig@B0}>ZxoxN4uEJQ}Q4auy`nFNO*1A_~0IJmQFem4E{x!1~0M=6K- zb|Nm2&X8RE#B~h7E~`r(Xrvsxo7pVX>knoPC$og@C_Q$~S2Ge!!tAKXdN3O&y|XK* z9aT&+s~lSM!BL=5Kz?)y4A{SfBydksf=M~*&%7*wr3ei_@~hiGnky|gFiY;`A(w{2 z+KqrTzMTjt z47t;EkR1a^QG`mxye+RmpWVJg6kBzoOAr(U%K@+Xc-H>OT?ihI0K8UdLO(h>!?M>SIy<-IXq5%G?XeDYN`e*U7q#;?SvQh%R1FqL;_+`H@1WohvF&CuE1Rng}2A)UoczFmJ+M; zHrh|uL_u0W3C1&?7r>tyulsrN<}cM@A=5Y{&PuS2aoiD+J z-(bJUmNUy@Z#Ctd`iN1DlOs>?XW`Pi6z@7|GaYsmG02--zBp3=Zz@~(H?W>o##c8% zE~9<&DoV{#fml?FfwU7Ao^Gwd^qc}N$Ni?L_q;Vd)UrL$DZn@Xwx-=`6Qz27PdN;| z&}?>fn|^R86y9!av-aqSkElN1WqWYBt+S;Iiy-{U*2zg|s%hrzNLB6zMRu1HtE32L z>mcvX=yLeq>)yQqj4tTxdDS<#zm8%V;2aFQ@f?1F7c5L=WI!^iY;Gg zmvT`N;2LkmZomhI7e9_($jNSx`pIJLp=t+~$7XtoIa-`dJ5=#|y+cdzI@+&P1h`4N z%tdt;;q6<2S@GENw5}a5X$|^Y5_((hZC7hg-PqNB%^dPsYM>oA%iB$Rs#tS_51Qf9 z)@LR*JO|KEWM=Eeo4UM9+)xmPA=9gG*=9|xJ}`N{0Dy#BW3nP4V_>>{TgtqP&>ibn z=3GdvluCVH*4f`NMzR&6uka`+%d)j+ZUVVR!<`Z0(KoWCcsTwYy0j9P_y(Q|+W2NV zCwUU-_K=AhI%-oW91`(PQ}u0+5imIqIu2DAnaD9=QCgD?>Fz zG=i>I`2mbiSAmAdZaBE{u^$?p->rSCN%ywWjiawV27>QrvUw#Q3vK7cXb>|6dF{I` zo=JuG4x?S}>&#i?!!?J`ff074C%TxOa8}m*Xi1_y#IEciMn*b+_q+{?@_k(^P;Er) zm&@QgoUps$4P&*nOc+OfPibsxN5w|4=IE_`umL+tH+m0!D=73n#CD?C7CU=%xK915 zSgTFH{oi$P5FA75gJ7-BXgYy|Ih=Nft~3+(O<_+Y7QbVkIkgtv4c!HvtU+BtPoA+l z99?w&hKTedJY2Tdp)Xnk_P0YJoJ_Ry(QEhd)^6R$dRA? z&)k_Ul5Ue=sTS%jk}Eloo6Za2+rm41+M-Ca+Dv^PW1%l)dgAq%Jm}#qG^)x{=R|L( znVb#9*5Y;FK9RtbLY^@t3XUt~oX<1smjL?MXGL5~ktClk^Bl^JK6G=~lTc*LRUY#e z+QeEvNsu<4TCk+^(~EKJZnE1E5y_m!Jx}tLyS9!Jl4_mg=v7$te^3#vYjrz>mf{mv z7PTs6ABOKPXSazt|Y2 z6U6&3^{*=sJ?P%aib*tW<7KX4YN76e&G>MIH>Csr9Q3mQnw@@0Ul6;HGY%CZuE5%^ zi)j+c#mD(M$ZW-KGx7Fn_6+m7kODr8@g4n^kyZudBc!+fMJEiy7X!^hEA9oM(YG~~u*@}&B z4&yZtTp@I}7;y_~Zyn>@$nDn=hjc5))A5Xkhv!mKGYg$1%9v980<}*&`%aSHlm_8q z`)TM=0VcKN9q~BfI;U%9n6HFs6VS+kB@pCyaw8#P5$!MWKs=SPesZwO#?kKUeJ~G8 zO@j%sEh1(nQXQXy2ZHjrRjO5R%;L68rLw4KmITr%szGMdu@f%ca)tUlItFX;jBJQx zoa`kYG4iy^CQVJO;>b$4KarG9!N8@&k`FG(06>`$)+k(SezZm7kTcUSvbnsncr$c6 zRPs^|)O!wv!H#@kNk{NFZ(MwGHOp4|z_UPPS!x8;$doZ8)+0506L7Qs6}s3NSP7RO zI!TqB2C{Lw5V>eN%yBVK{l9^N*hFi!0ObN=4Uc3}CiWgFiylQ})|t-809ZJ<=v(f1 zfVvu%1l*l790$3T0$XIb?ybm{FRM4xR-Alff_%F)d(n41tMap`Vau zK#B-TlP2d_;T4NL8HtFcN{qt&ZWt8<3`z^bh3~ekJ**Tnd5kgH`OI(;%R-2lkc(hJ zyP=4}6$zWvMMCu#jEpGOjYv6BV^azznZ%|pNiW(ki6~g~$Rp#|r4Jb>o;}IfOHcS&PIXoVHZl4=J+PJy`y1V{$ zi!xx+bfz?tT_{CtI%ZSbcRu(jUpKIyYQTN|Jp8WMEqwzJ|_3X4kk4V-8Snqbei9MGa>uZCCW2PF@_Vkyt*ZjaZO^trTi05*W24hhq9bZOZ3I46 z_1Cm7jO3m*fa!_igN$kZH@_cb4n!5FlyWAK_!+#)fn!S!!OopMK=6>wteusGVPd2; z3;Te4&|42qAZcO`OxKp-{)-H%t7s3=Rh8I=HLi^{&P$uAglnCZ+-L4h-;qtM37y0f zRv80E`DnV}wcoT2b24g?7KxJ(>?vuVBtXj(e9xQ^OtjGJ#jY_{u9+Ho<~5~ON(HpUaj3do<@lZsSq z0~$Vyn(4iYSN!7O#uRGtIoIg6o8mxF^>uFP>gZnE_&7Kn@#$*asq(rLhuY=*^=Vqu z)agL@-RV>H{%qAP>A>IR^KidvKzQNqSQFD(ed&%&rsdsC9D^g-&WrN}iUuD!`v0Y0 zv9hzLIje%AHstLs>4LCx{_;eRq_*V zS%6%@q*c&^pttNggKQh8javMKi}N6vfV6SvpD%V61 ze|G7OW|W@+NBP4?cq?c%Bmo6NdX#^4hvoO!pfitzx707}Jv66e&dEL>KSK}B>M>Ul zTq1)Cq{NgLoEWy@!bEF=HKa44a>x_+El?S5t>%Jp`Q}q#Hq1%L7z$C!PdlZHil4O$ z*g8EU>Rrg{*=A+PNl+uE*sfTZ2Qd9a0emb;W{F$tWT1!%{{~R-z5cQF>ysf|2dhIX zdh?)Y6pHGsz~Mt;V9>Zw(c`%tV94Pqa!Dh3!C&?c8MmqJ?8EV3!0^gx;`wHaN{%MT zG3y5?^$Api!^tq~;|3rE+kC^!$E2JHSq-uCq$^~~-t1*GoEWu*$R~=Hv0IP{1BUTi zWf1bGy8GN9Rf~SpP=^*185x(OF-6>?;inHou&NWL(> zj!?q@NkPA}r%PLp_#qL~zrxQu_YxbGji5UHRSPElAVW8<>D5k9V3S40XC~_%vbuJ( z-lZz{E-1>6{oTUendro+7Jn1g3<#8vGvQ(uCBseuu^eHAxRE8was~nRv5c(x-Gm(y z!UhEi8Bex1Y*P~|T@{2^j)V;3Lbl+}qYfSIv}R74LZX(3i_Fy;+ea+V4w4`u(SsWq z81B`tmumwoB0L+clpilmpI6Vehs1?6!p%nL>_UiXG#-IU3GXGrACjB50uXxf{+MMw z8HL+GA}H$4ODEf|M9Mj!6$ADR%mxn;%Pc8$?3Q2g?(?TIOorxF=qitN=BLN}=2k;Y zyzavFyKkR>tG@6=0w~H$PiAM@+Gs2+EF8!?uFcSwz4EJ5Z~l1*t=1lBC52u0cfy&lSKD-rzK(}X!Xb*=cEHz8%m0coRydWn9xyO3F>W2S9NOY= zHRLM^;&?=bD%7_Y`U1LOi2Ug~!Es?i;+yuMUYNY(M(_)+B&4a7ksCyvb9Bce%XY~ig z1(Co!Ne{E-PU)A|0ifU8A-uS29U=F5Q+1R29hNouOYniSPdsVJLI0j)z5lsF`9_~G z0m)I6?ow$%4yQ?AGpKkSmAwI?!#6E;Q~kD)_=mgdCGWKK`^3+E*6>P{XzYRD)t3Hh zSmGQbZFQ44!Pkn?3e&s2|KYdR70_O6pl8)i^ISF?Q8W2yE`Z;!3%Dm}7FX@|bbU69 zZXAK$2H;-iR3wxWM}Xh+K&${Sf~T^}5FU&GoS`13ZDJ?Gc&eQ#nytY?0{eG~ZC2Zx zs=Ri3&nZ<0j>`ch1~h*ZF2;LwDM==q{}g79|J;sV?IpKQdvW^lL56#7`5Dyw#Pi2L zj#^iWKYBxd3xJZrnacM~Mm>q9kltXIm^HTb!!~B3?Hm@IM#svUNNm>el1}VVMIoKD z(W>m_Wqq0v7Lj1d0UikeIpzS_m`41RyWl}6f?`xm7Hw--nCW=yt}Mi{AsK}DWNQtje@nGWQqK(MEMo;yBl}B9 z(Zj;F4jEDK41j$zt)NOZ6!)BThq3GH7S>18&Rz?>~dCW^c^rx{#c z1Hhywwq%v`+U>r{JxSQ6_;iyu)!vH*h^f9FP)?n-LH**Ije zbzIOZ-`GmM+@(6S+`zMN;fCl=RX}p@Uhq^Hz!S@3(;uFsU1Vk5|EpL!@{Uza_HY|K zSY*4!(YX<)4)ae0_>(|?XH}^CqA3qn3 zB`VUy-8hYMz}-pNM{)~`R5L^NzFc4mEcY5SlY38j&DCfo#BdVYQqm!91uOZ z8kkb0hh{fQqaiO?m$^tN+ib#lu^*Ioyie^VEB}6Tj~pB8S@->NTS#ai;BbK{`ebR= zEv|GrvHr*XqNT!8kbi6NYvHo#oA^B!A2ek6Leis8VHMTm2-$mTY8Cb=vD2g*I0u%) z0@dgtR=>UyL1pgAwbp1=i}k;u@;edJa}l6%J>XKt_p+pcAMm% zdr$zXwiZHdFD&y+WYz{Gy#;wv7H|@lL-e^8aB9Myh0Z>Mlh)u8;2|*0?~=<&D^PWZ zt>hc_t@_aoT;#=|DT{cqczj-I0_^*3bRBS8RYn8EZ#a2&`gp;LWGIK62_P1#S#|HC z!)Vyk$M=zC+-=iR7>C}tGge<3JTN(eUP25Q5)7$Eyf+bmKhqe5A5dMAg^VvaF+f_xE_dy^qqY$tC<=yLG)8CE&Eh-K3-cRFFQ@Y$teo?LjyS0+j*n z-CnzRd?xkc30(4k5?>;lXpOj)wD;V})Pa`y9%yPo5 zP%06++ewDZx9D%pdZb)6@f$LX#|bdKS&aQUY`e##q)a~llN@!|NTBefLk{^M58@}= zt9r`QCI9|2c+1?E$gA0s92M?Y74J}{->x67%4(NbDAjcqphgYg5BPX1wX7+8Z8>6^ zG#31)F?ap4@gYxrLHXoL8NCPJM?-lUCr62o)O=#Ggmng|jX3Z0ao-ZBSoA*kcrZ!cn z?l4Om|0vn8&@tUVs22Y-k;vxRQmaxVzV+U80nYmppeq#7W#T$ zZ`iEFfbSre_A*J#{q}H^FJett3=7?R4(?{^y@#D^9LBy&Am9Y3VBYf@=7tbc{Z7J7 zO_G|o7JonbUp1r!S4WL#S44NLu(NX&XtREC4!&P$T@0zO6C@m|3vw9JtXUmo%x|dp zm%V`+0Yl6e7-BTmE-Ynyy-peHi&@lJ9L==v}BtptC{oEC(Lszy?FhO>%~H z<;t(w;GroWbU;)iYVtXfet)xqzvK0Rn^(=I$TioXJw^IJ2FGOn8FO8k9GIp&{fh^0 zkkMo{gUz>8kXDtXxB5)h=W&g}-tBgWvTwuiyt(?kiXs|Hk2L`y*YJGhX;D|j2c~PT zhke@joV}$Du8Q4uuazoudwKe-{vg;jRY_N<38-ZPJYZ9PR2zwor{?h8GE7aosyk35>*+l+&bvB*==Z}LW;w>km%Bp^GpiQm>cV}_-n=Yt=hi3UX zSa!YVEa1Z0Ut6tgaST1DP{PYVrC8GN`E6BDk+SiAMl|ttFh#5TtuE&cw_@1qS^54+ zc4dD6$Lppi6BhgWR=dKh#gKs%OukS3pnTtTW#mLL{I6aXp3Yg2M}Hh2I)QeXoh}!z$~EFVaaobf9;~# z@lju4NrhgCwfm3(P>L4eL*{S*xBXmpEoD#HpuxGF0eoJ!&vset&6_*#3o2YQ1T*Qb zc{F2ZA2o0)-`a6$GpC?d3=KvCmucf|EaaOIn%ZqK*wpBIGEX)*qE8= znK&t#m?)`X808(!#Ejj{iKxVQSeRItnYjMnPtq0}L1TeglMFU-aoCw*7$vM-T-}J+ z*jWB=X~oRJ!u3Bwm!Fnw+z;&MXPos8Gs6zUHX;!e64^LKL^Y7Ei}|I) zoZ&Wh1PWn^yOtCVf}sEXq?1$)QnV6DE4f6!C~^rGANQ^i$^^17IiK-FATFvHjhAII z6|nyTlKkaC;olC_WMDY*4Q-Q<&{C3E;MDyAZP`}$U}gGUfH>+9mzS0>7Q-NLt}~=- z46&RQ7E2-%^(#InoEG!VEQUc(g6&Q@aJH>Nx^k!!_=pCS7qFQmen(Gy!w%_gkc=o8 zkPAgXHE<=;n}X1U9H6DCEMuWs*fQ`-WFioEBuPwMPT+008>)viT>)bAZS4Yy9vD5R- zcC@H=^r$R(x)kF&oYYt?7u2XytpM`?auSU7J`;w1z|S1_HWTLdh+b9_`$*@EPi`s~#H?d@fMQd0pVu?*GmSP2# z1y-zkx>fhsk5a5k-E+6rJ?yegtgP-St6}MgB{#9sx?flpSR!I=)jjss6id~x*1Crt zSH}voE0xZziL-z6N*9KwOmx8hsU0q3B=$=KUqS{BANpsQxratptRmwo#U5C2L%g)c zajkl8+}3Q9Rz03V*I33zEWL>(Gprgfqav2r#7e7vVOe1Dh(+sIVRo&~b*yu3wz4R* zdRpouMdS0>jBVfTPkq-Mc4Y2hIMf|l9B7W09bETlFc06) zV}IO_-_L&@>~jYoZw~(9*bEa8de1kT&p@|5wPV33cm7;*_uWf7^xX+GK`0tl@Wap# z`=_Qm9NX>@VvsBuK+jn}FuXL!=LsFByV>})^+$+~x#j!VgG=|gKlg1n?z`vH7mp}h zsFHe4=+?}uINI*uzs*$VyA=V`=pTpXh&)1Cj_rSC++!LB|Kz(%(2uiabo9fV026dL z_K)oYeA|$aQ-63qdW1NEHmHj!1BgsY?<>-se+`*sB5>%>KICc-Rf5{$@Sk zzd|X5!Z|mO{znFdXVPzqQMuH@a1C8@jRaP=E0Xg7hxwAGhypD#wMevNt17Ul%txce zrWSt#mbs0j%+^&`uN%ZHPS+`*!~C(t0w^~7MtMw1l%qU0CCV}2`Fy^nWp~l5PK%>D zF3k}~bzGVy4(f24`DnCc#0>Tim0B!X>cnu>)$0Z^hdU$%ggG`{Qc&ENX{rT7ORA3G zSo)cdK#Qu=a=YkNrv>6<+F;>i(qP@tv~GW}Y*^}ng}~B4unu^gk=(65*L(&)j^Fp^ z0s2SieM@-_2-3dH8#eU6dADMh;VcL;V84RyKR%uOIJb`=_y8vec8#UYUi<^j{$bj| z*Eubjr2bdD;}|4Rsd52WLFv*6X;h{(LME3T8jYZsa-|Wnq_57Nj7R3YK^fAkSqXm+ zDb~C+LYlQGjgV?xN(!;bGB(`#THR)>ce(Rz#@I1*sV6oKeYGa&sY^Yv8|YF`YzT&y zM&LAevnplekvVTr20cxwC$WLfHlzKuKvJ3-zg(*u7+lA4$8Jk`1e48=08B^*B z%E?kW5KfiCfo`fSDOg&S3V;CfC9{9Z7Ad5@x5h^z0Sl!7B zeqd_@TN~Jhqfj`yz2&NsxIoqgvQBJ;olWOHdSxIpIXMb1S0Gz4ATuB_T?#K! zZ*O!UGdVUOFd$M2FG+4@Zy+-{Hy|(|QVK6gL?Bx{F*7(ZI5{*%H#IOZMK?A!F-9>m zLOC=;Gcq?dMKVS)J|H|XGdM9gIW$H$H83$nH#RmgMlmu%IW$8vGB-6vGDa~EK3xhg zOl59obZ8(sHZmZS0XryvC6zsF)>RaT&-uSlDO8|{h_z5!C@uY_A`0>)Uo9X)kt!cr zXw^X-SY$GB(8a{TgyA?j*~yp~bukPMEDR3Dn3x!2MB|{FVRQQVK0lTx_uTV;Z|=S4 zx#x|DP!rKa#^s-bQGy1vzzVPubbyDzD$og5gEgQFJPg)?bznVz=ms0WBVZ$V6l?;I zfz9A?&;yLunT!82ewqj$mIJqg%Vvlko$`!WW; zbap>rr_E7tC}Vhy6NkYOFawTdOpG~k9B?9Wj^+h0o3ZDbv!}pm@I0U%&AE*Ie>+Q| z8rS1O#?jwAM~xb))%XZL`K#bcMtdPfSHX3#kTG}5bJxIsYhW>B{=Vmy*cBfa7FXNs z#rH{6X8bzo5k6Ndr-b!5EtyXO$SFuOW4ZoKC?Y%ip)u8eoidk*Cbbh+I4Ts;{d-1B$XUf5n(TzwfI{p$p_7mgP)RNMPo%T5dejHscE zPrmRRW*3EjuaS&T`#py*g;#|oh3z$!u{`Q5A{APQdoEr;?alc7!EbpLg+qlKg$H#o z*8@{N6kY_L4&?-VoD>|W86Ve%kH0mOx`a%$`CBz8PLA0Kb#wcS0 zAzsP9*huK_y!<9Y43qb=nb3=R<2{5lUvX6R5_$);C2b`{ThTzZjnLc0D-96hz1%=| z5c+I?7^az<#Gj%ObD*rOAf z%b$64GMmvm9?fL)`kx-nW^>~&k4|Ot<1ZdZozB+WhaT}aAtcoGY<*L<$pzQ~eD{68 z*WM3& do _ <- evalString s -- evaluate and ignore s > _ <- x -- evaluate and ignore x > y +> +> , "compareEq" ~> VNumPoly $ \m -> pure $ +> VNumPoly $ \n -> pure $ +> VBit (m == n) +> +> , "compareLt" ~> VNumPoly $ \m -> pure $ +> VNumPoly $ \n -> pure $ +> VBit (m < n) +> +> , "compareLeq" ~> VNumPoly $ \m -> pure $ +> VNumPoly $ \n -> pure $ +> VBit (m <= n) > ] > >