From 3d89dd3b22f67d93c2abd94ac7240a5b92fe1442 Mon Sep 17 00:00:00 2001 From: "sergei.winitzki" Date: Mon, 9 Nov 2020 10:08:43 +0100 Subject: [PATCH] use /root/.lyx directory --- .github/workflows/build-pdf.yml | 2 +- sofp-src/make_sofp_pdf.sh | 11 +++++++++-- sofp-src/sofp-draft.pdf | Bin 6032962 -> 6032963 bytes sofp-src/sofp.pdf | Bin 6388264 -> 6388260 bytes sofp-src/sofp.tex | 4 ++-- 5 files changed, 12 insertions(+), 5 deletions(-) diff --git a/.github/workflows/build-pdf.yml b/.github/workflows/build-pdf.yml index f6e4be628..79c7de0a9 100644 --- a/.github/workflows/build-pdf.yml +++ b/.github/workflows/build-pdf.yml @@ -30,7 +30,7 @@ jobs: id: full-pdf uses: docker://winitzki/sofp-docker-build:latest with: - args: "bash sofp-src/make_sofp_pdf.sh" + args: "LYXDIR=/root/.lyx bash sofp-src/make_sofp_pdf.sh" - name: Upload built PDF id: upload-pdf diff --git a/sofp-src/make_sofp_pdf.sh b/sofp-src/make_sofp_pdf.sh index 7b796bcd9..42a2596ce 100644 --- a/sofp-src/make_sofp_pdf.sh +++ b/sofp-src/make_sofp_pdf.sh @@ -9,6 +9,13 @@ name="sofp" draft="$name-draft" srcbase="sofp-src" +# Set custom lyx directory if needed. +if [ x"$LYXDIR" == x ]; then + lyxdir="" +else + lyxdir="-userdir $LYXDIR" +fi + test -d $srcbase && cd $srcbase function git_commit_hash { @@ -109,12 +116,12 @@ pdftk=`which pdftk` # LyX needs to be installed for this to work. Edit the next line as needed. lyx=`which lyx` -echo "Info: Using pdftk from '$pdftk' and lyx from '$lyx'" +echo "Info: Using pdftk from '$pdftk' and lyx from '$lyx', lyx directory $lyxdir" rm -f $name*tex $name*log $name*ilg $name*idx $name*toc echo "Exporting LyX files $name.lyx and its child documents into LaTeX..." -"$lyx" --export pdflatex $name.lyx # Exports LaTeX for all child documents as well. +"$lyx" $lyxdir --export pdflatex $name.lyx # Exports LaTeX for all child documents as well. echo "Post-processing LaTeX files..." # Insert the number of examples and exercises. This replacement is only for the root file. insert_examples_exercises_count $name $name.tex diff --git a/sofp-src/sofp-draft.pdf b/sofp-src/sofp-draft.pdf index cd648f1044ac9dae2abb9fa163476fb7df3cd348..2f0d21da07ad8d1497eb44a065d63c37777bcf98 100644 GIT binary patch delta 78081 zcmZsk2YgmV)`yJ{J4ytFhzg;r;J&?B7Ghaf#gb*QB&Y=YT9znl*BETri3($v*jN43 z*idZ5hKr4ey~l=KV#BujJ?AFDz5nyB`~Hk`=bkxp=FI6c_pvLNt^7E@Q%^5DedW`8 z-P3#g%8i*d{`}`Pj-Gzhf%QkMaoijKSG)JoALQ0OW%(V8-&}O>uuE53edEh+D&GD2 zRl7WQ!NYrw_;;V}w^?`UIR~uv;(gzIK5tN;-LHRk$B~ncuPp0xXZt7L9(LS}mrq&m zwnrXWxg>dr{+{L!X!s?NRp<$WIb`N;p?c<63dy)*dd z&(ELL*!J^@RmJnSTd?H()wUbI9`RAl#pIh?%zK34^`!BVN?!EnAzd!TvL9dQ` z>%Z&m`p(Q*2VS|PZ17n}-0)oW?0d$2-Oz95)Ajq`Ie)*O+TR_&$Hv$9t3U9up%rZx zeRT9Ezx;6P6;~`=xWgWOUS4p{$Hz^a{O!LcF2Cigf4=e1q_=Z_`YQkCjSoCpQS;P+ zjgJjGcHpNUY*RVt*p<%S`KFVO{^jR4@A&JBV|L89jlAUbk!LR%{`wP7KXcd2z2}_1 z$z7`*H2B@zX_IzsnfZ8Ce$^@Ke=}vHIcL8y`@xe29sc;=kG%W((UUg++s3P0xpc=( zufJsI(>t{+x_?69*?E(XsQx9@=b5c``r93QKfm|L{kQn)urJSB<(9%{?_AY;LgVb$ zHf`N`#^f^}IOnbj2Tk2`yN1hV?DE0TSvy^_<5qXiPS5`Af;R@f{nD$0Hu%d*S;H}Je)03dEB|`r!%Yv?9lzg<1w?!Qm@>sOC$x_iw%t1miw_6_?V z-}mkz=Z#wWmo=CEWz5VMPF%V2p?}m(3P1m6#L#DtdHa;@Pix$5zy1F2kzs8I9e>WB zKe}YseEp@#jsNoPZ9gwMci^sT@78wa+2ekF{)F6iw;y`dyqEtwV?q662PFP+&f%M$ zcKZ8cXYTV*S=)q*25sJdmrwUNCim=3Cnn36tTt&`+0IXVI_^)0EII4SU(fz{^^xI+ zxod8F>$|Hq-Q0hRO%M3zQGb7C+Tuw&ZaJa-)BEx_4{4lt>py>3q9NK-XAz|Ig2BEX=)P#*V|oB`t$$Pu=eAkG5au$PLas z>g|1Q+I{bh2EWj|bLBH%nep06mk;^Rd0YHm@$0ngvl@?7qtatxY zCzKy>)8wkQnHP?Ee%gK;ZCKx!e`$|@OkL@wiVd4KTxYd=-&r#9w$;BLH+AKkiZ9*t z&`ZC3FmwBrr!^h^?Edd9EK96>&6)47wS3dFr(U=1ad)gTW6^`3ZI@}=;f4_thW9<| zl~*>|dC9c(QXLyT``wz0&Zs!1LOYuimH?f%x0J6}`v+2VEk%zORLj;-o< z%?V|V+h_1?;bKU}==jvpLw$Kbzjy)ew1JLA_gKCfT()x<`FmNc$1f8&Y| z-(2a=x8A((#otDM|Lv?jXFvYXYpd+N%IRB;nfc2ni~qUr*Jqt{$FmO%KJ)sgCJw&w zzKLf){lxwiTl_M3!PbXNKKbe&m&`b8<#~rsXgTx#?|0dG$Qn=G{?z;1-9Gq=uQr}= z#LGu6Z9M(LDTAh5yXapPi;o+=()oW4Pp4o;mjN3)W5_(d+!d2lRh$#QSSqvV7(zyFGF0cPDMI;TDHo zIB?7G&=!?n9y{yAmENwt@U@?YTy)!eyDXizan&ZXUwGu(S5B+i_vV|A+W(7tcfaJ& z4I77ie$c!Rul;!XTe-!{W_{Um*30W$e88W#xO2^`4qE==b5);iwBGb*&-iM$>(-gS zVC&1nfNQ=!=&CgrefGiBmfG_+53^_Uh>k{jp-MCxz zjL#k#d|9|<)nB*jxAvl4o3>BBJLcaHzB1=e$Ibon?zT@0zi!)q(C6C?KWqH8|IXes z<-X_4y1tktC3ekk+YO^;l*OZmBX zAAa?^``!BR?T6Lver;jsSxqxe|Ed4d3+LZ5bH-QyxT^Qf+uzW4dDTykZCl^|^7@mf z-@ESZ!|po!wxJ)cwbjC%PkeUi+b`et%;j$-re1mBz^@KEJ2_=ZM2(uX}p! zWBJ(+AMwS#v!>ME^31op{B6Gn4q30|?x`pKFk|vLO^=TseCne=-kiDYlxO zF1q310l&=M<RAJD<+E{Ozf!zH{%Met55U`%V9G z-PiLqeeb&D-165pIJ0@-fcnDY1Gc*~)9215AN)Jfy#Mqem))5^eEIUf41MIYvc(Mp zH(Y37r)r~m%Oo~LiH!4sF=I)C{8?flE= zEwAlpZF>0BAMX2G&CgereV$)+dF}LNyFK*MPm^D|ui^I%I}4fRBjzsr&o5^m)%X5Y zpBQ$?^ab^Zk!A58bw5 zSk+_m&bhRG;*e8jY_#%ke?F#h{;|W)+G$$*8?y_CJvL;{E$b&=nD*91gU)W>>&K<* zFZgNen!%gwGyD0CGQ+>V{LJDJi5+&zelqj3|D61nx>Ot#{*>TS& zJ3o7H@Qg{T@BH4nKV0@(`;lASe(Hr268lZM_03xw7Y{z+`2G{VU-P!VRqe53?+xEx zv;E?`Cp|H0(Eg22-EieY*Q~PUQ#;-G^_^4CUh}sR*?S)P@s6Y3zv#(B*BEr#>5Y5z z89Hhc>ClHBm|eco zYRjhHf9&YS{|-9-u>p5Hd+oP%O9#(wcx3plz4u-B>is_N*E(kP0sCKDb8v3yS=9@^ zn|5p8`ByA^{rl?VlJhUVsdM{%{xYU%*%`yOP2TnX&h;zJExTsBk(VFv=L?@)>x6!v zT++MO@K5Ky^u@S+o_@V?{`f^d9(CP!y}qAy)KyC!TiENwXJ&4*+tki)SKVgv;p>dL zZq2{Hx!pO({r4ZQPFy&!-{1vHZvS-o0aI65*njtfF8uD-jwchF9(%((BVRsXmj@~? zUF)jfCk}u3y7q4`+56|srhhf~$H|Xf_21X8T&ef;^GENtZu2)+*Jo$m@q4eWzuEMi z(7M|?>z#GMI=%Uo^IL`As{B^tw>rNy_^rurEq;CYt<7&8etr2>@LQK(KYsoB8JzX` z4d6GBUnRc{_zmK>A-|3IZOm^lzajjp_zmSZjNfp6BlwNvH;UhAew*;yl;39j#_$`< zZ*zWs;+No;&?2K#cVNA3_l-JJFNT9p~u!nCPIyY$j7?_ zy;vw}TRxd{{qpHdF0>ekwCkQt31*pex{&Z-^9g8Daw7RcLFS#w6w)3PE0A zC>DiO+KpJqBxNF*d^(#=gk}SwNaqWgtXri*KCd7O*+d}`It+w7O67{lv|yHjM|7d- zmrf-@@>D=1bt1)FK}eh_W`W}R6>^!-WFQ3TY$B1*32UYDiBw9k%_g$RY%a7L2thiV zOh6|YF`t0n<89ewE}Kk+swO{?Y_gbhoS07(vog6Ci+r&t%YtM@{^%YmB=gzOWFXvbEVzxIMQiWtDE%PpB3Ymhm(JzJL88zEh_X~9%_~#b4l*aqwNx%0+HD{q zFpt=$F}#d{lX=-1^vk6(q3T=*g6?@tw-|^7-HR$!($FlI4GjiDrv}Y3aYdd4F=sCW z0@WAV41~@xnJ9?8oMi10$$}ZJIYh#FfQZjKkxnL4+4vsE07_vJIuMz3GSnN0cy|Ml zFUH%F$xO1CQu-v>jH%EHh(`A)l@v=1pow(KVZjECznjFMD!P@kNyYntCX?zW%-Y?S z2G&Tvh`CpDKGTYCfMg0&O(+8l_&3fa$y6p)Ocz6ofrxLpBrcT`Nq|6t#)wP5V!DtI zodzP#CCPLe>)BBu?My(xvRy;<1%QZmXFU5SHX;+jDUvlqYhbg5W&g`7H0voro%uu@?$*vwp2O}77&>A2#5>e5?K)((v-^EbTXS2QxTshhx*b9XY*pC zqRCJ&abiK3EStXT-4$Gdy2`V}?cgNLpUmX4X<>d~U=qm^XRsMl*-$mhQ6`xwcu z4Ma|4NfP=M@i!X`git1H8$7-ifXF8@@qX5pO5vJ#EbLJx5$~SFlPRQ~%)v@7gocTeVuS-(Rtshn(0 zVTUF|lYwxnkH;0K4_gfF6K?}E48~MwHxP~%NQ-zI?1Opehsx%$JZ1yJL(li{QI8hO zXLE@27%dEoVj9cCKnR)gSd1D2N~dzE9_`oz)|?A$_%;I(XDv`hm%CL$j>UHZzA(Z# z8!F}iB0fiyYZf`JNMle7eF`|bENXoz5XC}Pt><*gT&Nh>B)*ra=vD(EoLD60q^>d` z@@gLz5qcP%WdRU^AVy8rPlOn!qYn$63pIdfjIRibg%cL1MGF5i>m(-tGV$$b?;;;# z6HZ~MXPhaW!Vm7AeUAV_o#OmuL#ItE&Oj+dLOvO9W2|C2A74jn%d%stF9n2~RuQvW zP|JXt@5d5_W~gp+Mjr&fGnW~j zP;8vG)|Sq9zq^7p(|OYfq2dZpTsAnqU2H6ap{`RZlfZ7p&@d3nwdq{a*^=p;+A66G znj?kN;z6);%#>FwSao5AOdiuM5z4M~SfIJF+vB{-MDn=rF|esDo@k~JY79hNs^I73 zFl1xh4FsXVSexmjOg0l*3`Cs#Ji<(fgEbI&i7KSBnMgx-8VFfwvKT9bOHUNnvMzq> zTFfL=Uj>Nx92t>>hma20Of)Mt5$k7Kso6lpCt{BXZO6K!1u>c27Qj%*g$@HDtes0G zT$YBI5GG6P~q@KuhmZQ)kzgLhr z!$wGic8`UDz(S5;fjgRa0dD$5L5^#Xy-I1!O}9r7xTKp*_6|(C02QuMTU z9(23^fiXJ#{gwWN;!>gS+}aVniFib7L~q!q z`@JHjxC zBp`{9On1K`q4t^^Ye$9MZ>$~J3tb*sZj6|%;ug@#A)RF@u{R0uM}y?>1-kztsTZnm z;>B)^F=2Zik%5gm4J2-)Yn~<$1H(NUojoSe~sk0gE; zE+LB2;Ymz16RK|mL>ygcYxc6Di;#%7p{*@#9-0kAoM>oaRyy8hU~%dcYzD(HbO2(j zxNOO0Gsr%N8S32;jlu_$0>j7RV~QEbplpozvSqVbtXz_L|5s}2NW%C4bkC7rQM{3p zC^Z8SUod);xpsIX0abIs_H2-<+X3OATargdWVgksmo+_sDr+zh@kh*?jTi?@cZ_mIK93dM zHRw)vqL{J()(_LL0}vQ+3_ProEUH!?WXO{nSNCX>v5|me&Oo~ktruY?1T^53rs4F+JLKA#}s{27)5weJt$Sc6QoG&1(gv78L zYp#QP1&79ALfD(#Y@-UpQD&i`WhTQ$a@ZB}coh{7L|%mrUX52Q>AVCvSpon;Xfn0x zg3>Qb4U2&(&%g$W&Dz zJ4O&gi%Ql35GYF=R0E+*gp}9N57DQLiV#2;_jDQvT^o2w!a<1)#e!M`2-qzCWc7p2 zyh-rLRS5yYqDMx}F!w>s8=WX_suu9!-@76m+N>a_gJJtS5V(t7OOeOOzy*H@+;r<< zFRG3wDTB7?!fn<=-t;1RlUKWmwiWs66%vec3>1Ak!#b+wEe|GZYZY}OvyE`X>8c(E zgy>&vR9DVO8^TY(TJ(=f+J|dLZmJm;a%_Y}v_A$PbuKofVgs*gFbMu7e4rq3gV=bF z!1|FS9#&Z-T&~QC>20MFus|hM4XT=`bfEMpbUq4)EO?~0w}yKNb0~D8n%Qf z^=K83`+d!$q9zN;E0Mp|Q7LyKnF zQ34&Lqaya9$8!l;RF%Y_=@>KQ7=BGQtQHVkX z2j)#DAU4r`M3_&@B?$c)(p?+q$=cqVxFPUelx#R0U0WZu!#nFKpB0jb)h@E)icx9T z@nmhk(YktOv@6eWcpwvTUKsyW31qCQSs9pJjknSM3=&|Ly`%If63EjDpk)vR_D(f& z%9Y6{Pym7%8>gU^{rDGT2}9LF&oh?A)WxNZXli`5Xv^nt$_#`Xk-V_b49%f+G#1b% z%oo}Kfr(^us-!+rQvUQpc@vd>x)iR&c!k^Oj_0qqqO!?Y7zp%ksndqP~1r}gY;TY zq)E<1XF7VbJV%-r%Z*+tbEpy^03;Je7CIKhyd@Zue5M2u5Dk)oL}3zc?Ls@uddAyz zgi$G3&|#65$}&hxa%vEBlpc5Cm|aqBI1X+hphMNOOjPNPr75v5a$sl%%EJw?B_2y@hpJ%q6~Ql=9QD^oyNc&nD8-B@AabUv-K;CJUYSr&FUR>s zASlJ~<<*%Zo@ZesgLWvEj1)MTSMG8Lw7I+!ZOHHV9B6Z<3L#HaLo{49?vf^4P%|z) zNSoV8?E*=Y(`uqbka)&I10)+7qpS)kD!I!Uw{c^83{SK;#%4$ z0+M-K$x1Rbzu;{Hi(24YMQcY@Qjy#Pz5GBv%x!@jl{BaaM3!JrE>`ym{U{(0?Il5&p{XFuuXJs=dN%V>nnWkmos$|UtPFU2 zCS)9IiHX_5>P=q&B{HTgBr8nGE^9(e&_s|Po! z$s}+d>R)9{Aux|{XB-FudD;eyf{i(9v}|2UkFYAWI}S%Q-?0>X>8g@AD9S;B1oje6 zf2es4zEWTWJa7-AWuPn)?rWi!x-52HO(RRR5$lcKobx)eUxW!Bf(tm)=1NFu%MxFy zejQfLMbIh=GDt5TdDn(5_mgNxlNnjzQ4Tw$3Zrz~UAPgjBcrFmf3lFb&9Z+Lx( z8{$r#(w4%FFk*&TZ{P$eLm=f6BIfNxKHjsvGsa?z%A@!Ms-HL~3R1@KA@OEy@4ia; zaO%}{BUimjS@Q&N?vI$(Rt$?;s`|H0qD2KKa0;HNFm^IeIxETf_!Y+_-&1 zlY+D)Nqr^XEg_GH&;z||AOfw4&_pj?;UdvW&8M+`D5&Vo@ZP%+P7onLkx@s&f)+}D z+DxZay$5nad(^s>Jw(V64JWVJKrfYi>=G)R;w(ZN#ML&6+7hA7KnT~fn)G+wT`ZS= zoV*DY9pLJq6W1eP{Xta!#!1b3I;k8qL93A*?2MF#Vz7Gf?Lw=8P_o+f3$on-i?t`{ zbCflk3}x?^1VPD`cIO192sSJRq;{w=5bhDx^(8=fEbIhUXaNKP2_w!x4yh=rCcv=O zY#dz#Q$tE=Tvautjn$}ptj!#HzLH>nc=~{T{|*-{XuQ{ zdLoPv;^bZ;9>u_Qz9Bk}$#p-bKwn3*T0*oj`+Ok$qxFuMU>qzM581+dANn94!Dp=y zVT0wZ-pe3{#7DKg)%qpj4x1Xta_S&VUws5K>!hf~Anag3=tZGoXrq^t3e-IIoU`o7 zTTypsHN&kR*NzyM(@+F4A&4tW!3h<$pD-%1QbPU5Fof@(b9_olO=`O-aK^G^2Yn1f z=;Cv)fhIAr;W#Z4%9b*s(gKC(MkG+L(H=};3zO9t2o*0#I911t=sYVsd(K8kermx? z+{HK;oDec&x#;nnPilLQj>|kAqYT|ESS2CxDGanbuLv~}uf*x%TiZ--y^q4$sM`(A zpTGoh4z@>xC1Pu8ZFb7l<`I_JuyGm2b4+I6MvzY700zDFsSB3j?{V%=QK2XY)^GZh z+L!nu(w%Bd#S(*BB&qcy6fan?{t`K|ek)FbcC$Whe}vq7YG168!!kC75u2&8i5Ft0 z>18y$8zN>6pTR~-4ob2eiPGG7QJ_Z4x_#gru0r7&&?_*HW`keYDn%2eU<=9Njr0fe&iwgpJkyVW=5^K}) zWNYITSHz2B*<5l~l#m<;7<4w|5(#j$*r+-cGJbBuAoe9G23Sl$@}VU`aEXsD3+9J7 zDuCd`5LFIeLLuGh)Z8L!Y=4#GJ|n4{>E(7A#UXC-aufzBC1G3gIUNQ<@uKoZ(xmv< zNu-plzvb~k=&Ra(HA*qmnz%lIVEeeC@OT|qT;wh}QkkQmSjm8WhUM7Ks3LJK5J2=x zktAE=u;X-VGE{wCg2*^YHYX!8;Y9>*1HH^=US{DPE%UYOM9em9qm$cplql(uSk7Uv zEh1p!5%o$9^o!UEL=*@LDy!Okbl959Ac0QTw1ERlF2{ke5?w=N8zI5abq05(o~Y%2Ku>g)W@g3CVBWS&Af&oDjvA)r$b>=j!2TLrTcrqF+|>&{4mh((@G> zjLTW5jWvu%Y_{TrXOGUKpp=~;GffdeAcOLq-axO_v{9@Ot=?G9M2H__*Xa;Z5yb7heIe9;kL=LJ27MOW zc%eK^B>~|DdPQtm$$2@ILLB~N!lCR3D5is;ozzI7J1SU^q3VX5~5t2Z)m` z*mH_B`9w7rJ?rkJC3&LE;OSu8Tj^vN*Ug|oQvwOL+Q`f-m zHzbcmC)LFqaU^A}Fv+bbH7M7otiu>*EPkA06w6pDYAjlTJkL)M&^~zB5pWRrz&PREiXwWlRSjnh9uUtTWeQH63keNSu1{qcq$?6 zEP@-0pqNSxGCKs+>jBYU*@C)`T$ftFpCuyEYU3zOyAeYdgzA6EA0QCTO9*AZl-O(3 zBFkAQx|2V0Ls@b))Br+al-8Y^Cs{O9KjC;=v~cGyF3`<8$Y|ZpX1*k5m(>lM^J{Hy zIhsc$I%gAgzmev5^Cw9!kw1G^PnB33!wJ@?^Pc44AL;~sj&a@mt2g|)ECEBvFt!X8 zbu1lpQp?Ux8>=lv8?%WIP8-E=A^BfG2xWLg?UZ&mw@ccH=5PyRlY#KvN$*Q{Qn5-> zJL`yf-VTWMTz4w3v(aoL*F9AI#yGO@1SQy!Iu5Ds68$K-XaGc61e5FZ^eBv-A+vx_ z8=X{A*ezOe(wy#ytY|sHkl(!%Pelk(VL^?hRXdP=D4S6KJE-Mtx|O)ZDmn=yasNta zrIV^J9#QY8dol(>FO`_xQm1)F z-bH|EZ*o5lON$J4O&M=jt`k5Cv;H|FNZ7rsPS5D^n6t&oGFb1bQ!VB}2}yGqc#4AI zk=B|USlnTqDdF-$=m11nFWu0y! zRHRDL2u7xr6Na{4aG2slwoA%I=}zqghcJ7Wm?np8B-c%MvJ(z0HFK060wUs4j;>)6 zDd&+5<7`l?jpJrUDoA$(LL`e%;)dD~)`1wTACa?q z4l|P$p}8aot`%|fM!q>L$i!12vP#{^O`WQ;XtFMeU5mvj%~io#SCEY)6|#hJA*e&6 zNVLy}96pBC5w>BLdd!&Ym=!vOb_P{@fl2~IW_)pIqhisuaruI4bD>Y()yu~i9-pKe z&9HE_x{b%l|E+K%>SqfLAm+BGf;+?3ZjTmGE z4d+`AAd-9FV6EcI>fk6fuUTSxz<29Q0gB2soMOt#LkA$#9I{6mI<*Qz94DJ{7{69s z?;2$*+-JG|+OBQI0+6+3)2QgfMY5|x4ECW`Vx*Jh1}ya+x#?B!0ixia&7s@~Ei}wT zKX!Ad>f>!C*b^H;Fy`zFX_$sS&{{F0LRJ+vAP9si2-t<(yMb`ft*FIycd<(%um#j_ z#oBC9>i+s5)yy)G7cDrg3qx=k1z>Ls#LCp6a^w>^fNNVG2ULS1NKh_7>{|7{>(upj zoRa6Tw2D^zP;8BeQ>O5aBN~3UnsJ1CwO)=ueUy4_Stput+W;`+ID;cM`v6VRNiRPT z9Ih)tWsXK2&^`nRLv>$3C_!!CXq%m#QZiyO5{Pa#5ULWa&|5)J52g+)(QN{Op~FCk zfTQ$7bNEORl7q6;^otUx72f`&RLpK}G%A)84+YmIdPzzfJBNx?H+VjBn|L$4S5enn z&eh|3+EtoyKIB}Q+ljO}HDxErHRw(o@ev1a#p$!Ka6sKg;na0uM%j%B7Ho8V6SI}; zf(`q{_KrfPc0_|VFoFpQkC-*7L&9yF3~&F>>Z^DDpt9G_&hP_u6Gvj zj+%HVOVao<9}2=XC`j>##k9)$vr#e;xJqnqscB?*OQD1sdP&`~JwlvDZ&Rf78!vk7mBhAf$iEl5UR9ee#(g41w(NHk4KE- zo+uffV`&<6CH|#FTT#UsjxIo)F9?p##-oiBvY}!itEQACa;F9@Zazvlnn9R0u*CjD zzxI>vz1cMOjjj^)y*qM5Vp^RSsT<1AB#b#88N#;UPB+zVe4e5sf72@ z02`Q^!iy9&j~QY`*Ddr?67UFHJ-!gM!3YtwIUB&YvQ8X;CpE0E*yT8`%`RoB-k`2u zG^a|KOHE%&LhXi85Fe%LfRwZI%xJU2GaZ1`@CA>k<`WE_u5tRS%YgjWf9V)wg#gqd9%TgJ7q z3A)-=1cL!+$3Gf2^t+uS?0Sd>s|iW(;39I^D}c~43A!VLBO3K46oGrU5zHs{5a}W< zm1Z0wtOWQsMnt%+Pd)=zKqd#ZRoK(d&UUpjruuN))8vvzv=IYUuy*^U;o)MMcJf?v zH&&a%d}}tY>sODd3wo{w8rlULLfbsMRppO;C{3xs<%d0%&L8rJ?_l7Twt^G)a6}wV z1)-Gx+V?NeuAyugyrqJcLs}ZpVX@gnUA#4ASP9;;^CZgBa6wP#t0yB0XRvES3&X0} zW)8MyuxKOhA;hu6<(be42(7Z?Fg2CS5tij<22kxgyo3lPCX1#r%9LB_KGUL?V`7RO z+@2=zp#fnMaug4R4g;Z#f~0ohkARCBV_4Ok5Dv)^5l5DdHe-Y8JDE2be8K>siC!vu zF>ZIs?oBq+MvBmvR%2 zR_MqcE?@zzR6Uw0Uw+XQW=)6(MvuAag>4-wM%DG}FU-%m`9gNi=(^$bAvh80>7xvR zNn(eoY@l+}MWhtyMb$nn!w1?)KOq_<>mty|O&wMUeq{)|%@?!0W;8&%hN&cPp-PD> zh$#LJE!L}x`Uq4j6X5qpv4A-fAlOMS)#p4~aRc278nPu#k21Be`zCe0rQ98p3!NTK z)JpxZrb6>3B{&DIqmen369E!I4smGKgK-XpgO0J7wB{&a8{?ehri?1`jdFhMW*Grj zN~MLB{ZqiyWFW+B;}MJQKw$T18?Ghwlz?zlMWSjHk%~;h`dw5_Yz9?zi0Dg&(erXH zt>idU!)B~%*E&>kT*~bX4rQ1NW4*f9p7Z`HL`d#goqfd^O!_Hf>Nt*z855rfm0Y$0 z^<(Nr=}w@4hLw)qL!rvb5&z?&2YZhgQFQBE*;qD;$ZD=AWzD;KalIXGaSgpxphaG$ ztQ&2vkcKuwXA!iqoCwfeMgR{}MW#n;0v_!&+=S*F?jU>Bg&T#<=8 zM_1FkeykGO8xW2Nn9Zz0L@KmYlEAnPqy#0ytu8j~uZPyi@e%YVyzr+I0}+43bhm-3 zZ6^rNvOB0768cya&-b&WjDZR7{RyS4G$rV+hOZrxSKE`e95qH&iHJuHTqW62jmcuC z*a|h!OKoDzl@&!XJ@Sb*9DbPu-V5jF+Y)u79BXmpQ4<_Y*kvDRBcy5|Eb#3%37Uo4 z`uZd^7kx+&gipM7EiU{?s-Tr#ZYBsnji%>wnBmF<_TAgAT{V^yP#QU=$rZ5@Z$+Di zniNzf|7}#Jyh7DBVOi)LTIi+nibpPTNRyo=G-z|uKBQo$8q{f}jqr>t3>ITH8LHDb zW$qC<8Kos#h?p4NM{K4SbrLZr_@E1qe53ZYBMrrsiHW|bs}Bee5)>^mjylNzLPZcZ zg2oi7QXz)tK-l#bO@OeF>K0~a0aON}mH_iNv|BGCZq|$Ws5wq4J|#e*DvQMKzg1md zDzhmjiMp3tVI)PQJkqET^#pKe94p#5+#9_a7H9n~=CGmOVMq|cbhN@Du!=8|1MeRE3s7_f3gpF+^~h03U)42V_LMKs&oJoa7ISGy$Z{Q zMO1v)51c!%*pdYiLxt|}T-So&xRRNxrya)wyTS)cR;HKMrk$>GCiC- zmm;D&M=j#iMfVZ*4;_GzyE#aD5CjnkNgLWJn$uYO@_?)h#<`;gZDdQMSMVz9|5Dd) zEE-4?np|w4ca2f$O<;#i)1Q6V-;Vja!7)gzW@4P@QoEv4bslYcYM2pmnec)Dq2@GY zZe&mm89o$5eNSkkQ;l#r#R-ltX>)u@8+<7%LC}MhumSi~jTXJZdRDhtKc30y5*jQA zjC6r;72h4Ud(&D0p*|Onu)7vBbh%~WaR93sM`7YBs3`=Sp&n%-h`tb!2{<&b6oVZOK7XNVS2J_EyvZdhWPRJ2rVkE!7v z5mMBxMj=u+9j9#%9hC@N6`@HcikcA@vK&NZIG)nFJ*B3q+9++nvy%SUWLT1A$WG0m z(VZ*X4Ak)6*pqBKI=S_=gIM)fCTtG&`Hu+Z+qTT!( zhf7fnG3YqIT3Z1sSMT6fj7N4n(V&fJWZTE)%|qg1z74tU`eCYQ8?y!hBu86&Jr@a&3$-G0* zJg!Kr&5rxoJ98$u(h%G;{BL~)OAx&n4YND%NIZ#m=%8!l<1K_#8J%$81See$1d$9` zW*A!Jg7u5)h5shvg_2Ao?rc z!$HMpla>=0huhjpbfQ3>#hz7zwPnWwh?MUJGI2|rl2sQFv^K3+vo@4>s0V}u33)`) zA{&}(qF{Ms`;{7qVkmKXC<#w%YS7xyTA^(B61ZAzp%ByTdC7qT!oDpMY5-x$>KZ%L zC1GItAO)#HvSDPGU@s9@k1r=}d@IYfS+Q)Vfe?Ks!?mBo>K^n4iMYH`f(+c>!+Vnq92BD_uNCMp-wh2k)Vw(D^)Jy z;PVzm;yMC5QLJP7aemqLV_Y|e70z^Fyl;2V#$MJBOrd&z+-cpn5YWVZ32YaVgy{!>s{=E zV#1DZro zhSiBimp{w)vZ@c|da_!CXj&N7Z5#;eHaY1($!>5q0t^Yj0>bK@ZHKaOYHSh^w=1!# z>ljF-85_^39|GcTdl4Ll%FPBs83=Dt;>&hsL(eQn=Qs%1cNhp=6z&IbRK|Ui!Z| zh(@q!BIZf#gFT?kV_z^*VMS8ZiA=7IaFz)Lj!vkt4|}YT75vWisy$b?{Lef{gWw78 z!}6#ov9Dg}_Jp+R_af*pDniYE7BJy7v+Nsl-R0~gmLs32BjK{IXH9d!)m*0yaT?!R zwAq!dt$>igKG5BDc-CgeM-0i(cR%len#-j-!aOdOJ6J{N9D}3Ryr$5koLLeq?K~IX zmDEN#x7r47jvIt_$uW3vF%AfpXpDHhy6#6^Bn5bVNa2z|5Sna_w`WNbq- zeN?hBGiQ6)Y*j4LMp0XB?+EJgT+AdJi>MUe+4KD|_? zV4-raopwigEBjDJ4oTV#gvbv-XhaiKNkPb-O<4sq*B(s;gc}iBx~Wl3t034K7Spt? zLm{G+7TFOBW-626q%Pidn~kb-BGRbg$`m}zxlDZx$Al$9f*5-_NGKGW@6rSA# z*VPvGJfN3Tpgj0dPbLH%5CYWOo}<|5Iup%4XCpB>U;5kbPO5 z@+o6%w3upi)VW^oLKczGCwBNjOi!mmU9;MdR0?a=B_Qk?h0uNw!r6g9aVn=GMF{m) z9n6USk)ELdx~WPbGCWM$t^p8o7?SR&N?j+A!2bln5##jg8bl0iulj?yyE?IUtqb9j zibFtKB>*O^qc!E(8vY?Z!$GD{Zy=N#@jcX=p}S^5!IpXlcnAP}xp$;0S^06D~#An@AVh&aGXA`Xn?siOsir14Q7&{|iO z!wn>MI*-K6TzoieF61Kpoz!qUZ7!}s8zsG=;t04S7lEscPFTfxh$EcvRj8+z8eDdC zQmWj@y(0oeBhW@kQfM_0GIbtljRhdAtVFS(N`lh{M*>1to$h%*U8;YC^3nY{+#mrf zj3H$pM702d6hE-6guqeBHmJCjJi;yz9Kl)@B>k}YZBVBz(q@S3G%=N}>h_%65yy&LclM&TQJqIUlYwvuV(aPh+8shlAMP}u8YVdnmUdWJ zWwDOPsk~@yMvS8{L?04laA@P!yMFk~Y-YyvXp>WNW3qE~2|1aNr2MG?5F#b1pF=AM zW^5rj#>`O(JbCI54TR1dR&`5g1xt#BDTA&ZNzp5b6&)4hS0{t-MThT!iH7@p$o=kVQyhLuH~2s32x`DjxI$$f+Wg&C358C z;_VY+H3q^>gi;a@0q#*}2$9E@Ctp%s~qUL5Ls`>H$FvH(FcHAZZMcgguHYwAw(*9Cj>E2e+G* z6n{IG$4zd>0YY&gBkQ<{T!EUvR+>*FxyC>!G3_E!2bL_BZ$qR<^Q6p}D4I}%@@X|0 ziSMziLZ^+Y%gQ$dojNBkp_w=P>NOPt)yJ1W9FJ06CFG!%L)x)btFvncgvQP+FhyuP z;!(2hZcda4xn02B%o+r;GxD0op$&x@k|(gIl~fdXIIVql;f6C7*xDQbjFH$!YTic@aJ()!jlY_VsWj^wbo%2>W+xhkzQjCD@7vjo^&6qCMG+R^+WA3fe3}+um4$A4x0rFn*Rhd?*w?wFDU{?sK@= z0SlcYMK<_u%yCqW@)0Ui?NH1dl7zD4oU>FRK=99Q>;mkFURDlV(Nto~5Y*FnxY?USXE3%-Bnqn<047NE zI7~SUVX4Dlo2gl8*ZOI4ls2mjZaIs^B~f9EOVx!sO9(z{MvVo9M~Bvp3a6Y?w~CW1#>>ieq)}BNVEEY)_%;Sq!`5s<$GBDz z(@l*b=TcLzoQZkg&AHqmWVb5TpIc&^;Blz*rkG4`+#yNK|4{`7LN_4>xrW7I2@XaG z*|E;k9A!DL6c%I##0)X6QqPc*HV!$3j`OXa0zXh9n$vG0kgP*N$WXL#S|C)P4;I1-7C+FkF4|m;9Bpi~&}<+abWCzV zn(i)EVdZ=*BIMJ1*FhT3Ur2|kWu+*|3rda1fI@w`lT(P3&a5>^*JL2vBk%dMqWa|l zFe916ZZ!}hBzQ#ekdA2Itafeoo!_bp0paGz^;jZjI1GZfD@?oHyajr+%`v;Hj6vZl`>SSXsQi+ z)`c_})MfQ(BR>+suCyeAqJt>UaX_FM0xNs7fLgSKy$&PFWI3kBv631bBXrhAA5N7-OhY`*O$g@;!@6QNG*QOo1dXNx%ze|$ zgVh*grq=@k^DP<(KGa+URS?9VLaPlVO490<-R8rLP>YsMXpc}fhf}G#euP*wkV1EY zTgE$K${Z{rWlKs29J^6E;JC(8=@i~Fs^c08Y8}_$f#`V?tXs^+&ZP}gtHTuW}_0;_c7LuUlxo9QB#h2k@kd(bITh)E8vY%Wr7S@1?7E6=Hu_>Qxa ztx5vgqK$K@XA*oP7y72n6$jDA^(CRnK**$c#0^)91)hVfvE{c2Cbb&~-`ypQ=}v@H z!LsC-SrBBbed0$kF>6CXqrs@>YPgJ1l~nkrYTOf?!D*0D$p^x>ZGg~KBg}!Pk%L493fS=56I9(Mb?ZbAsJ z)hkqwp`6{j#LZn>WJj<2KR056vfcX8#qEi!Sxn_(t29*LQKg{(r>cqhHC!EOA*M+@ z&(#yyQ3Zm2ZFF)Afhp!z*J=xO5_ki|t17MmgvtY}EmTHg3#uw)Te5bc-azOw=h&HU zL>v>>kK_e+bQ=gaBC#A550ph{&4FD<%Q1B*qcjgE+Ecqbd`CqlP3&OHvFcjKR?$WPWuEAaucq#5yF|D5{w` zf=WIjGy|eWsSWdM#GLK~aTN=SV02aNmMP8>LXXNk*BJJ)paFSjr^&` zt~frXUq&Ht0DEHL8VH94*#S3syUJT<6Giyj0HK*g>fex9(L~FMi{Q*uT#sNq;MUrT zF?QHq09oc)*PX~H_|@~8<0{M!wd%Rkj9jaNB@RRl9Uu<$k6e)^7qGhXeYCk#UXK%4;(ayo&cFl?N-0Al@#>BxjFvnD1JV-vrKuPL57l`HXWKyfkZqZ?k& zSuL($WcJC>bQ6@3DG+ninhI>}gdTfA<3n6bZvzqM2vV|^O^6YfjIw=TQQ8O_VI)@F z?3Wlvc@OLU3(;crH$kok-~ZdA>_vaQ9icMim+ZW5agsyS%+2w5#M1P z6SIR(@$Pn?gs5+vWAd!%np@mqNNhp7#xM@Tm|LW}W#92*r5{2`Oi5HF>mR4LovbBt z()Df+W7^Hy)TD$Ka1t3x>Vvh2bDG^>O#k@!1plo{z0*JlYODlvh<8UJ=pN*H1{j#M z)2)Driz+lbw@3*HRGXd;$H}%83e5&WmX6|l%z-!-6gO*a1IJ^qh=|?;BFwrI@1Jys zMu-rBTo+uAtn5}FJ|e97$*IK(iejTB~_CrlG>G5ZYaAiHnbWD zT^x(w`ZlerqYs5$gwpPC;d34#XC2Z=MzWqT=6HPfIFEyj{UcN7JGmlMtRJz$(88b& zZ%X;aKCdC~;uvP4$EW+&VHjpv_H<5~)XL_E(6~WcIQH61ryYqtX1j7|Cbc5p_3;8G&ZF9Jx z?8_`VJU(>yyFIFgfyv}^?G!l4Wij?h>*;92ppac>eu2ajt)DuJc1wPqdr)DHp+-&o z(NKRk)RgJ)2(=MM9WR5MLtLB5%2q%~@Q{)01AneNg-y}uVV!&G%5|e*qu6)FB4V*)7=%u6lKMa3 z;>-%=Py$>c(nX5h?u8VBGcjsH1Mzv#rg1;!U~#|De6QaUJkvZpm#caS2?$UO9VI~U zh+;ayf(lC*=Jn?(V|!O&*6M>O5%S%*hj0c0TXilPz1d-u7b z391;ax;}bdj&Wl3AM*&d@zqdpswBgzyOXL&>Vmsa&QW@!=wWxt>23-siI;J){k*!7 zHL9e^w`na!mIRvCQdk=@TS&nz#ksIxUfqb^$N{YJ`@x+1E9TV=AHe<>&LDlv4yO0; zvACL2N(X%CB-;+rM2b#nPUzQ-fH`7L^ub7GWj616BdCPFv8=rrp=BM*_&b3gYLdeV>)D97i8*p ztULn9VwY1EOTnCCj%6q@YwL$_3RMpQLb!y24z1;*JKls&m5s^1X)qA7f*9?{aG4)B z2&gEfpVjiU83>VbJkonozyb$MNlCnb_;|&`fDjI)y9TTbgcd*0#wPDtv$2?R%A$6E zgOvMm2EuAXLaU9c)aFE@#4oHnkwc*enLvWCWsk69qrpcUOpZhQSPI#-5j%2i+}f#a zR$J!UxZE?eFs4TvC*KW4{M&)$=rX6T420`WV9j^ePcJ|XtFImp)RLE9|MFElhY;Y z_)u}gu93y#HbL%OtS<=yEv4cO_1t4euOK=VC1@O5|3*~1+p0dW!7Aaz>7*$ml&F#Q z)5|lh4J9G7uytf{!^FqyDx~y_7l?Mc!KfPO=Gi+Rhi7%3BtA8CVu$gZcq5KM0<81# z5-VVVBHdo3V;o6I#~3P4z%7aehm?_WM%hVZ3e+6ugaJE7C{f_v0SAU!QHKe+KSE24 z>NXpB5RES24Y>%6c}S$^lTQM|L8tUwIjunHxe7g!u?Vv!KwvW3Jh?!bA|II(;>C8g z4W#Rc(IqJgvqCv`s334j2`)Vak(GD&Y7Nt9dD_ezXh-~rUQVMDi<88bsJ>FO7&A%3vxss| z_VDeer%{3;kWJdCk;^#%%*oIRmK3A$*6@L@=nYkXk%k!iPhG#Qlo~`oRD#f5FOmQR zUR#(8{IP_o)EmR^%&0d;8qq@R^v&1WN& zV<1GdA;mn~V$Df*2(Wf9W@t4K%652QYHv`i;`~_JI3^g%o&$uV1Xh3|9o5zg(Q(jl zifRmmVnH5WolN{%=M>RKEHSi{!h-aIB)=iBT`s6tP~S%&7Z9onahEYxyVec&i)dE$ z^F6znI0M>7c|XV9Oc=iOTF(swyLXE~tXWfo^m3aAV^U32F640$3))EBgyai=5S2%Y zkFBY52-cE1}ImDCZIQbfVniJ-VJ2@1a_w-K8;s z&N(0lmZX-hlvOS&vEW5DNI6obp9*6Pnz~V15tgKpx`EJYI4RMre92J@mQ)VL!*yJ3 zwM@EL1S~aHP8?-L-s698BCx>0)fc@lXvIv92{^T$;uN?k>pNdW>^uC34LUmFVz{|k zj4*UEtcE&ZP*_>`3~{C=odwdUpr~F_3Iu+vZW=b8+hcY|HRW0c!YzoczG4AYbq9cM zma2IJ;pRJk*IeS}&TzzUBYa@?AL z%gmti=t)JdsZf#mfV{IGnlvbp-b6}qb1c14h_t3|E^ZnG6f$5qzDfWv};=bGX<1jGSs{ZJ17HkyvC1( z5_EV{E`qEu5Ds19!^*?Z)~^<-j;aj z>zp_OjCI&dFQ;*+3UlPPngT_LNILi6bO1s=_&^@OiZq0AibOkaZn;N9HO>wE%@r(^6g4aJjKki(N=9LZum@Sp`d^5sThHID9AwaNW(!R}g&ek65>XQ2rw1q(w1=p}gfl=$c}hiZ=n_ z=1tsMd5O+`B9tmnqirBucdIs2q_GU#P*$&G3*g0t-C5?SPZcGm{acLa$ONmp6(Py) z=tDIDroDl1NW5glF?H8v7ZB$}}P6HuG^N2K~>y8EE z+SnhV`fWCyOa!IH{Wsbj=Siq9pB(hV2Hz5t1yU z845zr?*8?c?r34(SlSb zv3_;(REcQpoqDsm@- zji??c)Evd1A3$nHR;oK3?eN&#l2DkP4($fQp+;`VkqeK_O`lK+?!Q>_vy zkj~dSDcbB>rUpQ$O~xZ)l)7jfzi`Bbf87j_Qf>xTjG^#g%kBmIp9LrBkq8wZF)cS1 zHARlNWIEhf*fLzNZXn$H;D2iyipxnns?R7CFeyouP*LqI++w0aG8?Nw;E?dgjH;_` zWe2{yD`&ycvO9Kb4204YcSC(Uihqd`C>BU}><$B=dxHe2)6i^dt&zmFvzshB4TM9Q zD1mYXo}k*yc*pI;%8La$!IMxEmvj5@Mf2ErkY zQRlG0Wps4MsN?2f1EB&4lUp+@v|#7Tj^R=!7_IsX%-Sd3tLrCCxMvd1xBV}(tH zIg0rcW_{`Nh}`i*P*KQ7Lf8*xhvq{2mnBG(LDG5TqpwQvhV38+g6p;% zxma234FjQ^M_ryXq|usA&QlM7J=g{a%~4S+fufFdb~)iblt;za1a`O+5iL#&S%B!z zFzssy=_t>cAU6d&qprkd>k=yhvIcR9;Od!9h=$L%b= zfk~)Y=F@yUf(xRVQA?!Xd9q97yg3dZj+M|w39E&;3Pz(TZaNG=D2VyD@HFe6Ru zNNhRb&~6~yidZm5N5p5)t!Cd#$%d*QOHG8`;xHp`7b0~4wEsT2r;bh=7>9?MzrxCWM=H4sWByFNfUmhg)+ABhW5 z+t&&RXUtftu4|7^Vzant9|aLk3v(jOc|4T5InNsNf}DKK&miuQB+%+6gPp7^#idD> zyEG7vRAy-jD`Cz%+rlm^BFbPOlpC>iv_6ee6aBC|RbW=n9;$x;Z=X&sIw#Wsi0J6&1~@CMwR9rEk0?w2$~d}J*?L-FL;;$s zT&K;HNt1z46ga)#6Qx`+GZxY*6Lc*r-(C_6n9Ly!lj+)EO`#R5{>$AFN?*c2ZsnzH0*#Ew{&3hPa<>gwqXI@a<5P^?^dNm z`h`1pI8;|py2UYzDP6ZJ=uq8YL_DcEYc&wcTZlR>T)`!Ar6shnETQc8QXr_Tb0gv& zxCvVlF4O?RdAS^d(&9PFqVytIoF#UjZaU6e`=N+AIv&DK?nd(u1DJQ2R;NwN5z;Q* zmkni=(#kemACXGUuAb~6aM0696pSQ2B+N--LdUb4C-+;=!6pk6rOk%-CYw>5-7(o} z24FM(o9`~zUn9mbilRyJn@%4Q;*>2*Z=X~yo2=ip=3AL~3%aOWeQm0|tkhK5;>yg_ zI642EOYfj})ykznkVJ7K`m;2wm{npo0K)M;i|Nc;v%4KxLo+#$uz2Oky&F~huoO-i zQIX(sG=wVr;+9CF5YcoIMk*tF{HQ-zkrWpGVSO)1<0y%0SN7!ivooN%X^!MftATLK z&+TlEO~^Ys(hx=Gmbc!3aFn6$&4DGd>ab;(;0YKAl{Vx-JXcW{;xMD`jSoEnLhHwX zO};YD@3e72mun+>;o3Ne^ZQME(It+w^P7q%<5SkRYikV&e6q2iy!h)hV57rg(Vqlx2+hibI zccNep3kp2kno;ydX`_JXB+&mv*2nx}L&7=$eu+ zQWuh-ic34tMu04|7zkYuSW`VOYW;|h%feB_iKy!=IT1U)>$+peYFl&?wt5Y)&;_y2 zrTOl7^$rB7$xgEDxi*sAA-QI$iC_jfu-reS z?87}z8S1vVIc0N7CY@(*Wt2|BArEm-+HF`z7p^taAqWDiXOBB)H_%qCRRRRXChD46 zE?>i{v>E0N20~XcMFz!TK|)fQ1DBe^^=&1w07G2@EJlqx5uo7oWT@!F_ETCAKjY+S zbSVwpOo!CdP0!D=eF+E3!di87AzamG@|fzW2OgBq9dN)@>g$1*sQ>?2rkI*10q3-V zBgm=15mh^zWaC8OmKWgdlPSPqAJ9NUB5=qtEiEn F7XW}J!}S0F delta 90504 zcmZsk3Eb9W*2lG4LaAu6RnJql;@%fTg(Y-6*PbfXM?nTQ=r*746 zkEZum9KXe1-+%S^6K`J9`sM*E{6)4t!aZ+v?6*ZHHq%g?&(*Uxr)W7C7KTkW7{mluCH_1D*4 zeDT8%n{Ger@bNnx_wZ(SKJ@y39=qe$t8zyl^1$=w|N7OPlfOQC$1A?s^!?IxgJ*ts z%yl#WIe7Y$H;tP2(5b(FwQuv}%WrHgt-s@&xpQA_e)H*Po}YWp*vs2*_OInVHeQmO zF>;T-=RT2qefaqGrY>1=;xY4|_{W;BCOVy$*!hOk@}W=fH)5j!hdliDEhFz;(!WFJ zg?--n@4rU;e*Mf7kBy$(`_h|U9r($>^AFzo>mv@ipyQmvZSP%kX=&XMQsD>g64mUHG>n z-|YUx>Qjc_bKRDQd~*MO8x3CV#&dVN=kfi1{pIb_D@z|+{LsB0l^(c!@_QG){?qI= z#vbwW!Ph-;&Yiz)bzFxx7vJA?)&&y94e(%gvZvn$%`q%i?E`nAz{w;=`~1 zRBY;e%6}id^S)x6BWFDR@zaG{M|_wWdfZh@9=`RgSN_{(%(%ba@Y%3Tn|5>NUEKf7 z4LUzL@Z&Si8N2X+mY)thXMF!ehfZfqJ!R(YecpbyYvGZp>o$+wckDKo|C(Ge}*H$L;rD_UGHKnbL3Jl-D=RWlBGN_x)=hZ_{l`RJ@pJB@nlvd30m@$-SZEyxU8_pkH29`nb`o!t=DJdi6<|faaG5mAN~3D%|`F@ z{J)b!ADw>Pef@IN2aHJF@KUM$4XFPlvWV z^y4{S4SeXp(*7OBoH6m4E9bBJ#B0S3_P*`(4^9~MOJ?NRmrr`|#WU9WWc6MDb<=a> z@9w+JL!(yNd-DfR8}|Itp~rmm?(3iSyKt4e*M8;VnRg#^^j7Cj_~*2nw^{nzYGYoU z`SHi?+t1u_MBBaJ>U_bTAFk4Sm#)|K8rZq(rmye5`!4PFo_EAq*X;M*UKf8q=jSh8 z*=gs^jy%3J@092E{O7ZUo3A~7MDI;j{l3o^{pUT}Vcn0mn$mfjH_rO(KcD`QUiAGL zeU`MJ{{DOSUv}*9XRkf`(K!P@ek%7&qR&SM4S8qy`O{YXlK5!V+iscG^Wxrn9&p8# zd-QMacHvHwzTJNMDT^L_c-wDoS+{eCqu#t?SoWANuDX0k_nAjt@YK#94bHtg_=>k~ zefNdZ>KiY}&EN5|ulmjYX2dGJFWU0_HdkJ?>J~ShKk4}^yY!ly9B|LI-+#T!(P!Pc z&C&mR<&8g{{_hDdb=|(D_x+Q$-g>tO*2+wqHFA1%PI|BRny%k|op!GrH+kx(GY231 z<^JD(e#d2R5B<8$@tp=A{KbqBsnhfSc>6D>-#B`^Utb#A`K*(!yZ*WRa<2~?`SCHO z>33Z9`<3T^zGCw0L!Q{-{hxMB_X}8Z`OkK6;pjCeV>Aszxnz!j$Yb+kt{kUZV z?|$Tky_dhZ$3sVdG^*1^|7hJLvH#OwuRCDfb-T^%^u&JKJ+sEOhqO$-aN&sN(smtI zpY!dsi3dKn(ef3;3Y%`zVZEpR`pC^+xAdB~^t78_?s&_G%R7(U?T&62ZP51Ihxb`@ z`rqH{v3UDWHv4MPq91o|fBKa_jNE_Gc~c&EWW{==$w&Tc&V)-^w!G=NC7jt+whSir$70_y%XO1py}T&ExVk$+K1o$_|Z)#Z};aHr)<98 z)rUNP=}#>ijXvP2)4M+1x435a<`-@$ltz!)sr&K!e%L%@(B|hp*!kHW8?ABv{r4}u z{-2jk-SDCpC$8J(u%*R4-WoOU%RARQ;QzintM7+@eR694h?#A!>R6g^%A#kF-Sneq z>e}r)-Ll^qH2RFPj<(JhrobuTf z`|mjLANzkf|K@7|sp{NLP1`#$w~$2b4}-L0Qrbi<9M4QE`w&ohJ9`QwNK*ExJrmmYT> ze#yO?zj(u!=bZKLjz6@0>#ALL`s~CucP!c9t0NXK9{kPTpBy*x?Wcd=^~ni~--)Jg zw8gSbo*TM!qb?WDUfkx3jsA9F@#7&I^xbDfYR0V1o^88U@21bsn{?j8tKTyHgw=a( z{P{QQyn4n5xzkr$vh%@z+VixZRzG32pMHJgw$ghS58QmgP80V1;EvU1^qjN*Q`+yXm=2etqq`v%0@|*x(Pg zJ^QTJ-}uMkwi^!ma@^Ee-#)b7pC(@Y^QdEf?|R4dnQgY%p#N_Z&R^xZRGY2dy8g?% z&Oh(&ZtIO5f6XU7&bxiho(E+9vfl^yKU^r~E;wNNJxi~gaetp(Z@*;Dw@1DC(M9)t zJZ1d)$Dj4Z1Z!X-S=bATtc+d;|PFr}>ZabcSM*8UP`!4(X&S~>L_@Q&# zZOB5HrtIn{pUGvy>sC2GyYig{0^l% z$Bn;ijk|Xqwsg|CbFR7LpTo9$yJxzz(N6dLII8s2e$W24;XZd9v*7U?JD%0!e`EI8 z_TXc#T==K$-@kUujO7#78@BZy?fx_Uj(;6Lrqjruii3Xp`TWsy-=BTZtYc63?6Z-7 z?z`jC^pb6R|1H{b-z_&BzUD4Vjvlx5jBWn?_+JiN+C2XG-(Gp+z7?N+zPN3Vx$WC_ zoc6EGyv%#AJlA%W_9rFZ+2)+mJL{jkaNoOLSoqmLS9D%f7}sr+_FJuf^XtFtc*m{_ zpSohwM^7I5m!9o+>-@kPvmaUgngcfOo?cQorT4hk4tb{QYU2v2E=^m^Td(6Py_fGi z@#dXB{&v3?X6H}aW9P(>i`Uy_&>yevbnj1l_88G?+)+3FW%fp?Z;x&H>7 z&I70YG31={zxw8mF$ayha>P2P-1WoYKhI2l(`MTvubMV|z@bxjYjemCJHEW}9%~Ld zuJ!ZX_uhTm=PsB(@zZy%?f2P+7hH48cW;fm?zkW4AJ*;b4_^MbeV^G!?0E9Uvo8H{ z&D)3m_4kc8-+zm_QSyVn>zzHTb9;Ur_;uvBD!OuM59* z_;uyijbC?u>+-X)dhqMXuNS}G{MP5U0ly9TZNzV5etr1$<=2m26TfDD{rL^xw+X*Z z`EAB;bADU!8^~`Ezb*M~#V^4x$uGq(%`d|*%P+?-&#%C*$Zu8Cr^y>*NO_hH(o!D|sbocC*rUyPcv1P5cZL-m~C%0_V zCi%dYe`$%@l`?%2_Ftc)`mAC9Kb6a+^63zkE+n&=WC){OCYuUjnM5v?%7!r7cA5*qH%~g@VHJ$((DKPiJH?nN*@s2p3&q$N8+TI+IQp5`L0= zLI+G2(@B9bUZEh^%47;@KVBh`EtbNaWO9XUG9SWHxk4)K7E{P1WyhI(I-3y;(l=X_ z1!nSvOtyOLrP{d{@_8MwkWJ+MfW@q|OXZ5mv@AMPOca%lXqQgPcqM>Y$j@l6fe4H2 zIfP}3*-Sw?)3=ZlVol`}iA;5OmCZ3hekJWvsa&5@FmX1KO=bmM446sC?y|`QxDFRc zyR0rSo6KdCLJPFZ=W81-m9JekS4@O*SDg`hvu8 z(b-a}P|PcFahsGDvgvfPpy!@X7P5+&Od*wVKF>3l94dVNcCDN)G#g8)mid{}WpFK;TJ zOC*GBxx3u*a8V>9ZHti?jN-J6mMZIeXuC!fV`>#4jDi8J>789R8 z)W()wLoP=ML(n8VpDboF4FlR_Op?>1L%=0Ht1FfY3M@cfD!>^K5h9DpvtvPZs*r#u zhV6i*^@bG+#cV!aH2bfihG|s?DijNul?({WcayN15C$hmr4=)UWTHHAWnRO7F_kE; zq+u#6=uZ`rnY8SoCE}Nq9H6*NF|j& z14B!5?XndCQmUcfNMLH*zriSJ9u$z?@w}_)55HrbwhyZh^3nux~P1 zKo|+PPP5-eH7!1WfY>+qJwt8uo68im6jt;BgRUqN6h4;31rtLrT%YEU=k}K?3~ON66i2);-aVrc5pP*b`XtQG)hPa>%dM5 znW)R0mi{Fqv+8bXEMf7lC36YRF+2zOVKODkh`}@mX(_32G5RJVU-u>I2?D^ zQs79@kxHUA>VPTuPymA#vq?WO8?K*!EDDjUn8j{)DfNrcE{h*Dn1mhU+6yN(SV3)Y z5Umz9cc5gXrvrkm@L+Lc7BXrTGhkY<#U;RC3ON{yNkdb?9JJ$>izu{)c_*w>Y4n|- zGwm`?(*=h33EDA9(aYczPR|Bx+4-Y8W&K6P#p@&pJ|q!)cAe2Of{9rmDr1OM+98-j zn6)dVq;oQFGQ^<}Ru{r(SHSRb6T>?L7%anBNdU8naW@!@{a2|!pT+0n8x}>wpmPqj zDi|<{d5@nrfLXhgDi~(326GtxX_!$B1Iw!DL>x|b;k&RAPi;wt_#d3 zN>#(4iUsbWNDEtFUPWONOBsB*0n;k>@B(-h2)ACYd?RY2FjPxlRxF&S;JhX* zu&5is9?be3V~+=m2LGs)aEoB#ByNC&da`K8l?d9UxI9@WEO7sb`ebty#Mb~uiskhsG6|>77|z4V7?>LrE{ZW2B$NyISTOcN zn6*R24;PA#f@TKHu3}9srlqXZI%mZh3G+gG)+0=#V}{3ou+4J;gNbdtz}T?)O|ZJ? z0yYlzRL~ijhYIZ`#@rABg+(H!g1$_gK_?7g$VObF&L+pP;dFGIYa-`Uj8_yk&Lr7{ zNKxdVGm)$voX!@*{_E(^;uet==8=!#s;zUCkyQHA>3FpVlLH`Y_u@zcmD7;oSAfiFq5x)~Nhjs+q zLM$MZiDre=Z|#sF@pv^>jIoTh5l&(a)wiD_WRp>+r4heOLc1Ie`e4yE9?qRc7%|^$ zW+fUBB1JUX6zog6Bm)u~4r#_<82OEpFh@48oYUH6vg{uUs1YI30|pYJ&>DvF8zkcv zCA<^#wRSjf0~qa)Tka~Nqg9Bo%8KdCh#{pz(dbzr%-TWM;Uqc3O(RvuM2$B%#0*gt zyd+`Yk`0KU4+qSnxk+bh=YkJuLVqIr(Hg))I3B(+!^OAF#(33Nyp1=kFHZ*IPLH{>99~wdCt5G&6_Hm zwz&qh%_d{Sw9A7bn{yxsSVMRv4FG|Hs-WW&uZ|YnXg!EMx=j^wj>vHdRW?{CmN(cQ zsg#Mnd7PXZGbyV3DzYdWnLo3t%D)PETWIq@7>isfQVJ3-(F0f}6%GB+hQ@YElu<@r zMxpvI*04@Y5=m#iWpTDf@87~v;IoRO!tFWLLX05(RmjClX-~)`Q-KkGk50R_rGML0 z=JMO^oQZ%cGsvd$(fk`*2DD2RGx5~z@La~L=}DG=qkL#472S;oq6ZR6Nf2Fyjj;Tf zSiZTrWx#sajdDb&|CMbJHHfTHn|!qV=9W#?D>^m@&yA0>e-EU%8wislMnlgmPD^E8 z**plb(0O~T=rTfjqH{afOBR(qKI~}ett}lY$AIUyybm1pcGUgb5iKv{9-&#mb1_pU z&i1%;^6?P8Py+~H%7%%)XDVlo>nFzTfVNC}_eCrYf-FP_&4K2L^m7@T2j=kl>mgw| zYEl#0MY_EG5>i)=m2fbop8+}o|17(<8!E}$i>=_HsUN?tkm zQ3$hC6L0L~N+>uoNyakCLKv7y6UftvGYKbfNF9>EWtL366;#;LyQ44afWs#e#42G1U{*I z;_^uB#o7_m)k(0L!ilq710n)JJG5QPrwcg}DnELHA{Yxv?0KAw1ZBfhWIQ}DA?eZ1 zXfK%9+F>_^+Aa+-{KHjSLxOXzGeXkA;1Ley9ha=S=D4h8m~u?&G++Xhu5c$T1~wY* zB$n3BJ8EWPcqB;hVn%!ciC#t@a*1pblowMJ$qriS$!+k&Aa9J_))i))7kVo@sI za4$D7@=D4C6oZOlW7idxmE~X*j8nRHc#9Nnv^K~1h8?47s7J&mA>A=t4DFENAV-<> zGCj=`o{aTgJXAz^1^>8>86lj7_>|+zz%;9Xek5&$eA&WD&Y5WKP^G%qxz`S!0i*5j z$8SuIi|APlfN??~kSXRVXeyB?<^&c=0GcF% zAqln=3HVgqapK4o=e70K91&nN%k&u#A`8Vq98%U06W`9=)|yiT4;YtU@L(C2iZ6W3 z$_X=;*A_|vrsGO0UdgRt-mbD%lHa3a9>Zq>Ur>XPL=>0oWyvY($^eqh$0sp}(5<`D zX!g$T1(qv240_Qer7R9urh2yKl@P{ZfmLx-Vx!>h(91!=griMd6{3357hOce7%)qv ziMet8A|L|Q^GPWQv>}I=fwk#@lK!a*IFrD!q%VA-t`ZC{7XdH{>YFyiWb%{b#o0)L zLnfCt)43^{{YXoPiAoqba^7_Fm>!~LG7KSZw}hg<6sXf>?RO~NDb!0@HOfeXw26f; zRwHVywj<0QUzupuqh5(N@0KdPz%<1tfu*3Cn+9{P5nxVq07IuNFYAD6zyx4H9Nh_X zBWf-ou(%8$U|G1|+;QVej};GC1In-F>H{NLUr@vCR{2Uh_<** z#~KJ?<1E4N*2_XpjzyYX79H~-&P~dpREl$V3hC&Wh5XgxkV0LAs}hCyXorGxC!K-8 zPr|JLa|u(xim@N6|K503WSYP9(xETotqgZrDTRH0>&q! z5V}g6Zr?PB%ygHGKm@>%0I+oIwreWU#Z?3lEpn0oSXzuV4vzSO;)_U=n&!0Qs>-Ti z`FNwEduF%v9b+DRC1*T3&b9%T)xaGv5{-56imSS5C>~cj$)7CgO@hQO@M8E<}s(=Mn_S(_D z%7uZ|5-S>DnB6il(Kj_vaiZccuC_~8tL(@OR;s|Ir`A55LG^+Y?S4Pi(qU6K9}%3| z*wvxgX-qUdDIZabjDoa6?AV4fDM(V&2N;=s)x}l@G=ohs3}=h&`KD;d(<@n*)h3CS z2=^?9ZEKG+}|j4mrSrI7_@x zVgQCiQLJQuI59#b0jqhysuY4aBp{^if-K2cAE6yG%C&1eyXfubTY7^8^dD_UW{|LT z94sVKyLL`!(GIK6wIkO^Vfc4x7q|-0h*N$sUU^2=BNJpm92}~zGMbebv!tFl-T%T4U&f$|_650#x;rcFu0Xq2?Gfuv8*i@Ip)T zXs(-z>>OH`xT0ToR(?K^ihnELF`D0e0I&AWxS~LTFZdZnCj{%!7=WtZh>X$Hep!` z03$O>*F=&?qszrk=D+#1jYj)WfA@|_OMW^6*nsL z2j+@_fT4xRvhZ=LbAfinviUuk004BRU2wR$CHM#zUQCz&2+Squk_kkXXWzvZ&%_t4 zvyqmmp#V}yNS%>YVM3@lrkyLG1mvVy3{dswn~^x#C0%OYne$ zUp}U)TPmqf!iCJopgfj<2bz{{v*?QUEIx#w2^~KGomU!|=HlWFr0P{CfhDN7nRYIp z4_HIReAIgm3I<4UYALXcyJ{$^${>v8snU&HbzVha&Z}th7k(K%abio~9z>^Ig|j7+ zZ2w_P|6b6$CJqzu$FCLNu%QTTEvMqo_^lL4B;%_6L%RwOAl>Dn=UciBWHe0%wRotr zL4f6=xt3)_hJ%Yd!P^=ixTF%ARo|&^5g7WeteL0@DT1%JG>;+}sroT@0~w_~ zOc*$rCdfd&=&Ka_HAl-?bIJ99+q;qB_KMS$Fnf$x=SV<(g!*MwF#D=08jbj{WrJwe zTiDi$0a&6n?F2|z==B<$`+BsPUjBt`MBvwsq!c9kP zLRSb!S6u-wJ?gs+6U~2zBT!<%mQYQI2$_XvALCsD@G{oOT4k1cihb z$eHCzj^dovvCAG&_@oC`qI$Dn{5%Sv?Xs!ZM7#VwEHpO=YKxdhJObceQi7>s3B?-+ zX&T?d4uYr2w7j$64xJ}c)cHlq03(|bRVw1fbL567SP2Yom!P_i(NC!7#iQT>4&KXD85P((|Ya1UgS42`L+!yq2z#AxSYbSw%Vmh?6A zDLU;VbYU`^HNe3cx_UTZXg)d$!bMkroK$ZhQBn6opG8Uy>y4Rl;EyCP-6p1&n$MOJ zs~60C+;L)We;#JgON=ORdIK<*7soqXm{hV$;up%^XvKBWcH}%*UsLa^Zb2HN%WFe~ zq+DX$GND0R7 z5*AU1(KuyY2wzo*Y3DNM&7|uAa&K<}V)1VE`1@|rolQ?tREFIk7 zYqvJ_A|)7;I#@qEA0m$ye2$&UGXvte<*%p;t_O--bkG+j6HunYb3$HNIe^T;+n5rf zGmEJFCPICi2E&)_`r=e`uz2gyM?bdoiI#tg(h;5tBXI;CrbTtuE|<9Mo7N^0gpnVi z+)7$0wkYccLsOFV*b4|DE1(^92fA(?tzy?(JIk;R&f9?M{4|*6s{?cKF@q6Czk9hk z-*~AYWOUewl~(M~R>c!13~#r-DR>EiWYoWFg;NmXo2U{ ztqcaHgoC$T{Sh=0kZ`4ywOiFdAKv9 zv+UpXFrU6G#&ToaY~%8Rq@5pmzc7#?WoUkmzRfgj8L*(EOVYH zfso7NaKzRfj*x-woJioQUd5{VV5wciJ?xw&lTg=ij+JAKtw5n4bWz8-F#JS8g@1yuHM zZ%9{txdQt+#6L@*r!vm>|HTsiol>k9S`f=&4I8__la)!q@}MdLLHev#7!ZgH*?@<35dZ^DqUa4|- zYtPsi&twa(v!-Lv&ZT1*jLW8d$wqP;v8MqW+pP*WvxK<{55Onlt{CU#5JD@*N~qg& z5(6Eh>ZGXnD9DjRbym70v671JgF`7o34j z_&l%Xs1i+QJRN=8wUTOzZYLCMkx=!f0CUPJFal8_&VgagJDAg2Xa@%rYs{QbYOez! zPfiEKh8O(OSM!`mHA2ezc8$qzah4?wiJCerkW*vwv1zisvmov)x>z(s*M+xHt~Bi& z!SSIWp5~Lj;JiHDVEk@cS8E0H&Nc+bIm$56`xmx!>%dcRq$St^k476%NsUVA513f7 z>gHD9Em_J?0bDs|lasLpNq3d`Q}A|O6Ye*0_cIKhP(_t}e@2hXctXsBhQLK|hsbpJ z^Hsy63KXDgmnrM`jDiL$e}#*?y~DHWNOGb)&9+gQ1`3 z`bnu(3brgIWeg;I74UX6521p>VUBpb#N{xDa7(&@c~7J)%ZS`KGQxe}P)VA!Dn;b^ z`0GwI*6}Uq-LZXp!xV-SJJo8J36PULgj6KZPEdiWHRUOML&BY_6$mMv6nWXCehzc27hG>xZAbZ(92|i`cR7s#Ed9~E?)HY58yTOJ9xK`X>ft4JqOXZsJf-p7 zq{^x|2)8PNW(lm|j##5SW++QwS&hXb@i4%gEoBK*YD55Y(h(T$vk)=B${#1NyxZy# z19V{sVEW)OR}ZZ$W;xOH)ml4jE89bvr2tIk!%d`Ur5z_>Vq++-UVSnH?^DKwBkT(U zp;~WVDoQnDy=IW5E30I%q)63ufDzv{Rmk3X=hDhz2@0yAh+~2m7quORx=g z17KQ=N{o|NeK=oon;I?zxoUn(JcFjV#~?ugS`F((va1$z%@#e&)13R?3*9D7+e}o1fT{{^v-=4O@KsI z4}vE8g(74O>`4WQPyC=A_D-zI^J)y1gB~48lq%|YzFcc77>4Vj8zG@XJzlia(hzKH zj76!LfF-zMaGQj5bU6r=cGY#L`>eSRYO>6Vp!8;7;MN@<H_P5y07LlCX?1Qns**N$9~YM-B^~MD>{V|iaF|wJXXD9i-5I_*)xS|DSVPr!P>K?nINH2?-PR5hbvhIubuXa>qu9x^;8^OLFju+iw7_^$#0aZ| z369#Q!;mK-j0N;+RjPe23T;&Tk`m#TMRI{}hjS%-Q;Gro_eg*hlZKgIEET~i)7evs z6@|WsSLiXy8C1JKJxWpJ`=n#P^W+SctE$VuoVpB*6c`yAQRWB}mB!&8QC4wtPwm;- zVSpQkD6>*)As>zVqNRT{pAM4$&YdEMPBBBSwW9@;!m?+R7io~8dQKLSSIpQGH*RR? zEJ}VxO%KE12nex&cILc;z;IW(cKYEDqKvURy_{;C-mM+>5+dYbY_e2z6ci4(0tiWv zN?%@VjuT0^rex2^Fc$QS+Vp}~V6*FeCuZbqYhYR!i#=EU3{YJaw|J9Ycl>fJL03S{ zC$zeABd?$#cB5;^2jU#exoxu1K^M1li{>wH>0ZJiuZgy3V)mU483*5{UJlx6BC+)) z`$YQ^yVo;@pCSZ8V-Y6Hi(sy^eg}a`&<))JO(l`Oq{^v1zzakTWw7Pv#Td{8n{>wP zRWV@C7pb@a#=8xtt>4;zd#ixZL12WsD&F@~9RS?s<6O{a>V~cDOAgZ*SB_Mu9(HT7 zXqr+0HDMkxJ~GV1Mb(h{+BN?PK+0=kw*nz5N?Bxkn0y+9wOl_nvQhC!#go4F7^EIH z?jJ|~REnW}hF;M4ExBlMACus?XWh_nhtxQnBApGv1WEJ zYbIo%LYsCtrnMbjLZy5>xb8w)VibZf@B<-^^sOQjQTkR9Fx0j<+%Sd|b*;Q6`OIF= zlXc;oaAJrAEA=ZvMO0_TcNjHART5}N%crc!%K6QKVV~*>K&oPfiVG+Dt=bb76k-NX ziDLj%9jL#VygO9Gi+W?WnMS2cK%-K3KH0?CMBJlfRdLGu%cW^s&b+tRl(B3v%O~R^ARjH9518{Y!ML42A6V>`Y}96A zlSTFpj4zc~%EwT2BAoU*9pvbifCE*w%rj0Fq-51&7{+ZBn7*h%jUERf*rc6PIiQn7 zC1|i{Kx_N%s=DN`^`oVmwe}wfC)OLyB(PT56M7Bh6U6ognPH^j%5+?HV6ymBE~4V1 zsTbtq7?QEmSg+`1@mOW#Fh~3dWfUVG-TD!aZi$FTy$L)vLA|}LVGzb3@OAnI!t7OV_`Y<+$Yj`1|#r<(ya%nXlM}lT1ZC2wL+?!7GMS8o` z2w*NO229_)C*^_)EgQMS$S%(qSX@dPP(5KvhZvr2QB4VFg|nN0IaUY^9awZ~fKC?z z=84OK(!w(>-(MvvFnxp*USMxdR!_ZBH~^4$LMjh;p_ek z0mP@c1FhH!kR7y~1l zP)Ej%Cl`ly#b_=yS-d1guAcU=JZ(XxIl`s-68{Bnco9QDiRvEQU$j8!WS(!O3wX38Tj2NJ3MYq7gFjB)@LX=Ee*x3aRO3NL zA&M3xQ0OV)(GUsO+@CjG+nqOeNcn+%he9=MV5DA}9OL~XWVaF|JXW<8)KM2v1je`M zjDrl}i6QF61cS(5E#zW4{Y)pvMW|~0z}EhIaT8RDW?+13I@f2wf3Vf72h%Bj21}GU9*fw3B z_D)bD9R4y|{gPfre28&XC)^BsSwoa0Sh#o$#R_yWdMlw}t9eO|lC#Qyxx^b_F8LOi zr&aSsDpHAK*$G+o#8^alqzxfBjmOZAs<}9Fv?%LY z3{NWP1MQUg*yE5oH2c;ik#&Vi$C5_l@=}a)@zB0y6f*=w9MO(^Mb{2R+So}nKgXiA z3!ec}&4oO59)r+fPz>dAQ4>YMvK?SA_Re`p7Xku_ShF3&U4c{RpHW?O7BV)J;gQhJ zt=GO>>vH`UW9YltoRYc6qzk?UhgaUk)chLyqK3P^`c)sB!`|HrogP#;QP(vxkE9^$ z!XX5Ss757*I^sj7!+2NOPdma#uARLThv~puN4S_3!InCqR72*3N_n()1Wv4L&MFcy z)-F~6t0zwZtma*@1m`0F7W)Vq6?gLnxHHC@t1`}7x-JbV0gx@5J1bu6WbzWoYSusF zKX>cLbD&gj$=Ql7G+M`l?CJ3e3G?X&bx>p5=r@Y7)(BwfbSNuokJ65!M`I?FaSZ8u z!H7eYYCUh*pW|itkQ|@FI#2<}c<3;3a1w^(YD5cGB{btJPF}@rwfu+h}zGxPG2CJ$>!ZCG_;ZE(XX4Qd#QHyN;q!J!kM{!(K zr;6B1P^x#@OHk^(1xEFwE&(5ha1h$r=cR(rE>ZpjLy!|CIVBkvY4aWu!cFA_>&McR z`C!6IK(uqW1DLxV_UuVHvk%nZ&=rmg%-soK`aT%!2(BnJ2Ml4POErW!7}rBYS`l}D zS;(M_auRYs>?0G(lYrsplCd$AH8q@eu9A?nFBC8BYvHv%(W~3F_8WqPRp$lk!u*#$ zXx++&X@?K?qG7EAN`&6DJ^nw%8}^}w;knU>AlKIw4^rjkf=a*$m0DjuAzMvMvvRnK zDuevNk0@hfF{|7+Ipx-XPf(>7MuD?=fl*eYbCAZH7RF3Nye8TZpRL|8Di-*xI!Z`1 zYX@KKW1q`(v`2!A<}lIDMX!N5FRxXvxFvwg;RfWDT5CIJHBTh}hcaN4WXU8+dRC*tXGn=Fx(*A=#lMrcMN(bXbQH5a> zhi6P*+=B7YB`Qd@Foi!`j8caoS1MegwbKk!U|1C)RU1qd9fOfA8%j9?YNoQm3dv~X zOnYPuc`OPwb%rc8T0DXhCh~VgVZxuq0(CX^OjRgs7=_CJ=$oT#64;L)hWKoB(MU|x z#LlhlM~aGL(`f#fnEg#iPM$>I_@2R*7Ni}Ks-jaSUE6Dh1V-@zCs-j z2aYkI##B?AxLhoS*r|wdn*{D_2T|f>PB?(hM}$S@Low7>Y8ZyNv)(A!zaw=_Bt2MY z-74#Y2kC4;HTDeV@1Pl+O2NDbpNe^d?MbC6MG6$j$ew_aIwN~WSrI>k^@U|?JM-W> zn5BSq1=9_eIdy7{R+`Y+%{6Q4-I+Kxbkw(FI?F5F{}5np-3LeZ?t7-f_gg}tET5Ka&i8b1N2u4^z}p(wDr8Q0EA(q#QS<5cx} zRP6;OA(rYJ>g#N@Gv=iOk~`=6k^-yO!QNd8xg&Ye_Ei$s5JM|$NIQE0R43+WeLGFV zu)fGP*B771CJF?H4uz(bj2vgY6BR_fb&SpJbDPHcN~$Y;~ZzJM8q7>B~?im)A*8dveRohhIR~nnU|_ zL*q_#OTb1`%A_O${vwo#LtL#2+>RQ|B{kv5Y zoQp+C2`M1yXNWaw_4GX9)kc~Q%Npp?FKYma6+^AwnVxWwA& zgE0ov2V)FoFYd@iz`5Y$1rPhHIRNs>j?q1_YPU}uFiNciXzKVVSMjnMUTxQ#Mf}c@ zE7cuN>YKOR_tk7BG6=CVwB4bYd5-VlQFBGAgEZ9j+68<|M*xElz9Iz6) zB)(LaSe1JKFLqJ@7o1b#@RQY=2YkxH=t8I&3aK@ z0F1m|bF4*O#^H_?wq{1S>bbxiOGMcu3F+<$F&Z=@CB@0;`zOFqp@l4gIfDV1GZ=uW zli0?KuS0yZtA`D+#+m9ci&Y5v(X`d)hO(hw1Y{Bdb;A8j4QQaeXp1vjdzHYyJ{V8c zp;z#LIRy`xrh8alDmP@&Fj%)}t~ zq=#im>$*rB5>bNTp@|>#MLsIM;YNYch3uJz&M*Xq=UgVnC}@zQu^1(Usjo#aF$%fE z2U%RT@hX-x4ar7`6*pYvTyL2VwL+3&z$!9dH$|XPZC={(9;c3n$k!`DpbyXEhRmY5vTo6YDr%=#QQT-qxv{RA7gEgU+)O>WbE6>e^*J7bvv##) z6ztlnv0J;T8REn`n?2K}=Rn%Dc_RbwC*KKYIXVdrp)!}EpvYYbE6!8?O8DCeds;V5F4PZ+HBBtO1>&2P{`+;Zc{# zsG)klQT&~LX2BFiHD-_M#^(D}-58jb?7*9>grZCzH9sCeefG~9;&v56BKod&65>k} zi0O;7RS6gsL>#KatYO1zLY4bwQCQ_vmJqH?#FBfWs}J;8X|> zE6OPaB%x)akw<|eIEABc9FrP2v&ii0rN6cOeG*HghEqC{n{NUH`0j0js55oKZqX4!Qy(bvM=05!di z#hCDLowYEMcDw?qUWIi%@0UJK{YA8naU|*UOQ$XJ43QRpSG*H*-SvOpAeXBHfZ>T*DG^)DFrts-o5(5qk7f2MAg@2sV`14Q@Lnr zQ%E2*bV?qfH1(mt`zu-e4R?bmyW^dhKTeCb0{;3TM%x^UOPkw{3skVc9dD#03tS=( z8a$~L0b^B1N-0F>owO#yNc|3Ib@muVm|F*sa*xwWR4`iZuM(HVcsxu$n8;GSqXnt# z+$O+yL&bt5gY2DLMVGy?+kmc^mVxm}OIM+T2r_XF{W;ZwD5-UT8HAFWG$w0tC0T7V%0U0-K> z(+(=tcBGEWD_v}XJd$!YR+m$GB2~Dx`G3{(z;hn@9346|dbyA=um<(Jn`cA-f!CHLr>T>UiB{ z$Jax0D=CS*m5UXqXN~JoW0(|5Xk9QrQSxoZlHsFAD`is5ZaMjnDgLIa_wkg!$hfm*4gMLQT&o3qgu zAyjpD!Q^0^I*NV#$-!L01%0)q-yRY7dn3u#_SX0uiZ$fnb)AIZzQ|qL=@(__i@#Cm z99XJcsnnCFb6t)J(Zf`<9HluLe|Bq!J#`XjRV@M3@mTF>6f(eECLwXeMAYX@^dsJK zQBeisCQvTBB>1haXWH>#k89_OUSRqwnFH1Ww+Ym78sb3E0a4rCV#ov1n?%v61_*Fk zP<*N5@rHDr0?V-n8hR462O6TGGq@srL0jsbp;&}peVABH1x87^OoyJPP8l8&<-xr; zO=#A+tsN%l3hgs&x??<&YLFpb{jw}+!1qPTAh0=cmBFciz}qWxyJZV>f3zqLa*Hv@dn zE)Ab5;58v7Cz2pEo{DSB$t+-)1hOW}FH}@vj5Ux`nGP_#u%UDCRKi3&V*6G7O{wSkApB{l-Xv7<{N=%!~+t*zsL z$TgccxZhT@tqQH>f~(33%vBNs-ak=J`sQ}+Z$LTBdE3`jINU) zjq3we+c}4vxh9I`{3cXU$3StpxwJh_#w9NT<3R~s0)8x!ceHb22N>5-2oE6MLmkjN zvhe@u*8)K%(Pg=rz=&45@%Y4D6;^SM+ov(~y2J(bawV!kSZXixe)rN3nBDx~) z87NhwJ$hpVEN$v69_*^2va(PsKULZ%OH@qI6#4+jyUl0KFdsf3v!0;1>0YoaQX;i1lV4lE8@HV3%DQ{yKlr4_A_7h_RA)M~(? z??fvwi#3_ihGFgEKnz2{lWXMS8!S;_cwCOj~r_41Acz&H;kAQ4P>@QM4XM0iupQ4}rzB5+thv#DlLBlK>Tm{CVuyKAok1_Tha@-~?{czqj@ug>P7K z$+v)2wPj$OX)>@SPAR(}-dssPSRNsEgnOasySf-)?sfxnx0_4pUM4XkT(dEO)$&qn z=?4Je=i&N+)l}{(I|rtpM#VQk=+pHjNkgt6?J&TDIkvRUE@q!pxlB)BF4Gg3zGBS^NUT!yBR`E6f*>#cMm%e}REo2NF`HkqqTmu( zcL{;OoPurvcvY9!r8Crlxzbi(WT(lp@B$NE4#QV8L=bRMK`Vxh>w*=iyCaQGl?Lh` z-Rmn>6RD0>U^o?IStR5bTMN<3J6tM#Dg7iV!FA3j;;e#6c+PmdSpV!(FL2M0o#5J` zGAoR@yc-XlcM&C4LzzvV6vKB%+M8kvPp2|%+T{|l$Gj9LBP&A4*4F?m8P60^%K|w$ z%~7KrN$#$li=WZX3@V`o`|3-)t|)O0inQKJ%g5KTSCWr!&-1(6iytj(w-=w8%LOC6 z?FvBoR145u?-Dtb*6U5Kj)~EN@~l_AaSu zGYzPW4Pbk$rSH1%Q>Ux*iPf<@tw9C_Y(e_2q*U6TCDIUqMP)S72+S##!0;gJ92EJ< zGoqH`u5YOt42Pxb%xOCquM9XCF?)p(OQ?-k$>_i!O_Mupb|tuSAvGKku6zj?^dV#0 zTef;5IUBbwT*yu!k+g&03ZC`E8%OL?*%7K}E>;|(rPrfzDbc`i9A~nMAw6WQvw8|( z*)->KD&%oY@GB%0NLn zep4swkZ-Dy)3>3DwNi>l3MlRr9gygJ^v&Zf=CdFoRz1BM=e6ffTp!+msNIwbg_t*A zDG86MqZ&)}4R0Q)gCy|gO5wt|SuP?5OrH-&apyVIaAG#%J+QQM+62yv`d1f9N0oPi z)N`R2Uiw6=hYJLmE;E5@2KTNADm+CgL0=Rp;*sIerc2ld`t}1>FxU@KZM6yd=^nC} z(JezJ2SLH<1v4nO>e*u@lz7Ycf$%MHpTf(CZwX~v2DAzu5s*|Bu|L@zNu!z&hfc(0 zt1*GHKNb0B{<{!ec&OBYf-X<^Q5I-bX_A8uynh|dypw1*LiCvoY+3ySX*J4C)x+i^?f6hc}`hSjdY?)IvfuqpyvsUh&u8! z&}k?!uy3ve4WWJ>X^WEgqkkbKR0lE1p|l4K9mEYoHgvd8Yp1na2Gf@)3`WXlD8mg1 z+3Q;I?}P+SJ90R}%^OTpO$|oXrj8ewvuJQM_zTPAf7)~+E@JZ6Ok(~?7Ab=A3| zd>KrW#(=d${6vf2Bt>ETU8wnbc(6NB&R9KnI=rd|!`CnCN4F3Y!Ln~u3>d7IonMt9 z21FLo5zQcCm}LTfAUwKFXc&4+1e4ssg75nYMS|ZS)wA9Kpc6Eflu5@BaNn}Ul)#vz2D zw~}`FEnK?>1GJ246gGX|jd&-om{$7MSP4K)zp;jRq;wM02)X4LWol^97fvtjh+Cs} z1>^O$h6J1fAPd1OS4Pra_kkoq2wJ0h&*|d4=ctTj?|FkS&R`n1L4P8ZPLRpsv7XAy zI-n{X=*$7iS}hk?JKMXn;YNAm7WOZF0g|tG&||GllPuCIF)h}G&qIh5n7XyB9VsQ@ zvVdu#sI@CbUFPs{jV1TDcI+-UkQ{AF%h3Cpd!qHJ>Sj6jg_x7~!lZDF2pHGR82uoU z5OK4~YOoQccEa94V)J)DXy01oQV5+fou#@}G_f)<6VumBHOL?{S+TF85n9qo zShFxk(~2Z9%=(%mH{bxdo}{As6>{`35tPWaMq|)UsMz9Vq8%ofVh)#{DqXZg7Re&; zV5(@N9k;ZbHbe`lE(|2p7ivDW?r(M}~&fSf`x6fOyjZ-3vt5R)5+n8bzXVLOm%;l{q5B^7Hs z!hT9|3@3gX=CE1BHgs zah`t1gX;>TQvL#x+$o~)s4c{m!!1`muxO3jTYAB;@UJ*#Qg+paoR2%;FhdrMI8Pam zj7vRPp5>POW^0G9bDQdF$_f@lrtbqA;qk>J*N#u=#J7awtQ)!2Q3&cQ^&|KkU&hxa z0ZIHeke1@t+@nfIsF;TH#>5!w>{M}*1rtsyu(A+SyLmH!sJUW`IH}{Jlsc;Og0e+t z0%OB!Dj}=FAF0;`UzC}}F%j0dC6Fm!hg}SA__%lD^r?6qU3eYa87L4 z;gBewlc+efom?RLseFdC2&eo2!ygzf6J3HN!O|6~Mt*j=~^$kvW*ZS`CBs z10B`xP+UxAKxYaNTTCR%3>9~nbHHJMp#10>pcS`P*u2{lv{GL~Oe&10k0_X>M%YTu z4qz%5pB>+Nb7#j=@m|Zas6&%@D#jg!%+W>9VjAJ$Q56<8Nr|tFLLgLC8%laJd|LdO z*8YdN>}!N0)t!1uD{(5*PD{S6uRhymFHcjaZYD{IAUWY`#k6G|C|1$;)vrKb_?~Qz z+6Co=P=u3Qz<79LPwmW373Tz)>+ZQS`=+zgtqA7v`C3fWrXH44wwWX zW*SPQ$`peR;0_LVsj44Ta-;Cel94Uhn7G?uey*?-Dcmy3i-6giPl31u#{V1)UhH80 z1g-vA?+nF{=m*gy&ssHwiAfy?tzAzGg{m&^E6BCrpXr z&Z~f+p=NtpXRZANhW+o5WEJwdIX)6wUtl>HWAE-b?nWe7orCyAoD&zAGopcM)dKkA zAasE_gn`Ou8oJK!kX5-DlErt`TsTcpmlc{}h zK9#v3UTb&z2-vFx!)rn)K}W&jtnheT*^Z;|X*oZ%c_nlh@0cS6!J@+9-NCe1T^Q2< zjv`7kKn*>c4dFQo?m|^;xEh{~&{Y*_+7U6VF0h;;X!i>JGqxhgx762o`7<2H;gC8) zw^945dv)x}1vRCkPU~eBW{RF(ZsM`Xnb3+rfAbO;3EdFMEDuP*fs;AJBh-Uv`k)hV z;H~bntN3FmmnZc|c7hv7Rc_j86*smEfpsMnOUc(ABSzKQ$d_<5N{T-NQf{E=H?gRw z=CmE_vJ_aAj<8!b05Q1Y`kas#+Uo*(#wM@a?uZlCXsUAV$RCX@TMDeBBTIp8n4@x@ zn4YFUllF+g=?((b#VrAQ)9n)vyu%Upro*Kv8G6{{O|dM&2W-(zj1lSv#82Yz;Zm;5 zckNsq2pUuVstlwe8=xt5`_Yh-s5PwMjeD$;)*8A+lR4^OJObcIv_w^iLk+5}I}+^H z`l>67LA7<5LA7l-ZMF#(@P@m^U^m&khX0yuz_j=0iEZpAhCFo9*v4*RTp4c1s1A*` zlzBB#F~~Dev_h7Skg$zYmexR-ol6yD6d0!NlcYe0U&`#%iEYvMQWIjuvqb zIVNsZ$*wQ%A<2X0(-J-=YfmZriE-*HPrxVC=--OjArFf<-wX<3-Fm5NQAOi3iUsVP z8lJ0YwpVGj9Z%7^zR;T6G0L#^9fE%8Cq^N3#9<|gIx!a`c9E3OoEk2BnMabT=SjzB zVgd1P6HF?9u#~Sjbl~-5RUvmXr<=nEH_hP#nstXrCYHO*qys2JvATwO-!gY2V6R_f zgxy(gW{5XnP9FiLFV$IJ6c^W5KY2tuUIf)0gL__=)XoImw)C@I?aLdCGbv(-gtix=6RzsnlkS#DiBUo=( zX}6NyxdL9sqnK3a$lN7rCju*>D(fWVPB`?FJK+{%&*f>~tjm|63Pc~2VSz*$<2lCF z)etKeQU7LKd*&wbK|$IP!PmtQcPi&6ELuWBltVC2M!J1sC^|B8ufVc?f;DbD9%b-- zYY)oQvc^yH*eS=Ep0OJLH$sMHEzC00$UOatweNy_I?n~l&&qm_0p z4VQK>wqO#3pRouBBiBvBW;Art6PSJ_zy{3cVz)&!_x;xPB^6#o^!4ii^l|SJ8%*Eg zGnl?JU@)y+0ERQXd^)5tSHkiD^+6D8sGk)vnAT4kjM$7~iL4ukIb6sAS(L1%3NzlJ z9V=dmkM|cG`?1eey1r!IxrwpjL;7J}tax{e;L8o-q|6Hu^y-DDv-84R1-kmofax<8 zOl)a(Wo*@N5k{3`xKznGX+oKWq+&B5j>Q12hE>aZ&?B*UdjR7WK{M(l#F}%t3&8jW zZqS*&h((81?0IDeygVQiTVK>%NlM`jKK*7O4Pm2hVlv`XB0%U)w2|}fL>nm>HIHkh z6o^R>cgj5xseWSgLpL#xm^H-_KAMtpd7~!S6L)56h&_1%`CMNQ0YDtX$nlL2Ds@a!lJ_rY$ z7{9)vpYj<$F$~)GrHHpSUd3{;FDNMY#Hb9VChQ&ml1DWu1ir5el+o7($_nWclHRS5 z;w|O8xPH{e#dG4)O@XyCH=qDXtxh%0K%{E~`H02r!%hDQGo@Q%P zkgZ=f1%o6uG#s7HZ$QtvNd8pUEbVX(>BK18jxa60;o8B29gMe<-Pz%ZaGlMZ)XqpR zNBt<l|3-IAPJm+| zCbXE-IrG{w&)KQYWqS8cDmDXO_ReqvW6&F0X$l~_rEsm$A;iBqlM zhztEy<75m-G)B-$9hnB`?70P}1mPwQwLa6t@vge-M52mQg6snnb(sLOI*;&yaHAl4B(d4diREeOf$*p9Ko1gQ%t;o)tj@$I8L!|pNxZQRvzEc2R6qd1ah)s~ zs)|`k2i)aHCe`j>O_Rh+>25#Ts=NK9M7hgPQiJ2OxR9M@invgbRw4+4tP;}Y{TM$n z#a&7P5U$@bXi(Zj#jfqRYQkGRl{^j3d2+9n^oU7%RP*MR-Zx8i_kF!n1BJML#8pkw z5o0eYIwXv_h1xKzSmbqevRH}wpSw)kyTq;GY6?!{<@vy_Q3y_rRQ;ZfIWHQL3;^Dz|(xsTAp!Q{~6QyPyZb zt1ynF$b)t#OAMz`FXTKxI@@#`q2A3+Ord!lztw|4<8Ymk-EMcJ87t|Tjq5ODAJY*^ zp=L!xt%V##EB&Ds2%9m(wOoOoc)?bzPwQnZ@4)4^QkC+VXu^AlLf8??mu z{EmrHD;pvk%kP+gszWu}p6^>x3)z1i{q|6p>;xx>Q%F%OoPWqZ`=OX2FxiOe7}F$% z2bgAlvQW(lt`p-|b_0?QuBf($U6d!gEG6qR?`?U zSqQxPs>{bMp-3lR$vK74<($)*Sd`<+_?XP~Yvfu#FmlnHx0^>*otvG=uagI88h&EJ zU=4Spd|-sZ>YJ;uD^e7kJU|0=u~U4W&go1oqhrwIXE+8;vXJve?|MDCa%M-QWPmm`kO?6iO1lDWC%yoqo*25xa2MJLR{dAn$djs0b z{MNocV~a2%s9jp@dd-y~N5G3=yu|Lj%`xj12!XrJk?G%X7j1s5BYTlXv9J;f$IIg< zhQi&%ME*R?RmM=Pw6_VG!Sw zTQpHfE>_4~3q*Q#VzNB7yv)*9YN4X4k%hE&EQDei#~JI#~kdN;Eue}>VYPOOOT7(m{B#k*ii(Z$AD;P>}I^uGI zYphg9t;FM<3S}>+DtEQ&O1=7IkU63u*2dY%H6cLZl04AT9JP{Y>bNW!WG?&N!-T8DM3%6#K8E z-(1W(AUdx*ck;CxP*~ov&(}sqxG)~DFkhSbL4T029aFFgm_{|NGD!pHs_u?_ZMSF? zGPh_RHgMR=2{rf*Gsw??j)ocf`JZSJK#1JyV(jxf4wj2%*<+oU9!^U`s5{XGjL3Vxg;mHzuBoeC1yQ!~^jq*~W22yC}{B%|?p(+=!hKG=<^hgSa zdLe1(ypX_9OLTW^MNg6Nt=e7a+`N?`eS7i^Cx=4waK~ErF!}^yxQsa@q+UEyfK-8n zGvTa_u32mUfkO}B^a_WjCuR<&dJ5Z$*7ygl5*Cc-3)^jb=!A)Qs#1l64#u-K;o#(< i5XC|NKV!=j;COkGMJn);6mGs40}fLzRaIAiH!c98NXgy+ diff --git a/sofp-src/sofp.pdf b/sofp-src/sofp.pdf index 2b5afaf1a2323a9590c549a2f9f990630d3053df..4da00d40d0dc889d28fa3f1c3676c0de760f3079 100644 GIT binary patch delta 46570 zcmbrl2Urx#wl*v(l5@@=AVGrU43Z@?lJfu}C|RPUmYjnMjsi*+1SJRp5+w_gvw*+= zlEWZri1Rm~ZudF+oO|#8JSoAM)#Y(@v)aZ(Ba1r45dcBjfUy@yn2 zc*T8-TlU^TLjh!O>*}y4Hdd+&QubWSIt)Tbr^z z-q5G0d2b!lEf1Z&{B`HC8oh7Ayz3(4uRqokL0WAZnY}2NX62}8ye>qljIoe!Uhs!1A^E^OyG#M$bYx-ecZnm=X@w)69ryViLiClK+6xJ&PPms`jIC zXwr2m&1To*xlMm1bwPzQJMrpg)r^ixbqVC!z03RNwx3ZKWN#xLR!W1VM(Hv&PQ?Oq1mJ$oxhudYOMrOt&DfMjSjAI zFu_(ldGCF*R`Vf`}ioUxpsZLtkFOx{IY|&gj$5#*9Qg1oc23DIq zvnOXQ* zFUkp`U0SXSsuiB|X1~VArqD^eKG3))7lISWVaOgbWo?H3^%ZwuDUN~c6St%s>xYD; zj4^BrN;nHjToFCK7pZFQo9Mv~+F7r5dVUK~4A!!+cvr{VaQ9)9^!G$fK*aJnAHCAn z+k=j1N=U~S) zB6*Az1&@+Ijjl&vI+BU=I zX_P@KL31MVrb-!8Ity)lYF)Z`4V;P(-Z%^|(2bv5edgX}ba}MX|B-nN2mjpHG4e}_ z)+;fh=_x@fEU?538skR_-+=Fm1Wwdp55Ae@Y8%lp^jzM&7&aUbkE>`w5C+4CMk|MUyATbP~_h zUg*DPr1BceUixH$Lp5g_?2dO6yGsfERqR{F+BQV+=cHUJ9EcI$Q^^NdQx^*`S84j22&q>t3m@8p^?HAKX7b-P&5 z(OQZO>fg7zkV`}xNK1hE0hk=P_7-bH#_D3O*kEqW;Nfh9;zgH0hfeG1HnbZT)52zO z_c$Z1vgEyst^{>dFDnQ(DCe-Mvk-<44|AvuxRCL~={mP@IzoxOoA18IyCEy%9^%P2 zlj-h{qd7EA1Miclnt!Z`fhon#wufKxl6j=GAU!Gp*N6lOt@H_(=LGb$C!EyMn3j8q z@hZL+!zC?Mgbk>;gzvBc*f&-2M0)M0B-x*>98#Oj5it&%i#-t%USHF5&D-g5$4F&J z&;QytnEL3^V@#Es9D5l%_h@g*t6UWfo|V1${q-A_dpA2Ox_U{X=~dqw2?AyZ>>Nqa z-CkPzB_F8TcAwI#%-$&i7<8rDU=`^>N1-d07$Z06Xa;~QRrEx2;}?o2#>@Lp*mt%P z43e5^Mz0uM36bQAI9%*?Hs1*ME9(5n5SHDl!|=LXC-QT%HIeus!zU>_Q~y`UfuQh< z6%OhdVU;@?YK+*eg{?CRg$ya{^y-d7P75LNP#S1vhX+xwH_L@s;1;aqLRVMt(|+YL zYmErpQNyPndwhT#5&4mq!oWRKVAf5-R)ujPj5|3FU%>HFEW;hrY1SFs#Jz|`t>#DD ze$=$$_VJVwuo`iyHLnEU3*ThpNB0?@yq(rqsGw)!Nb0HE8V+VM&&zvYz4}2r@g6PX z%H4{&%z5_-;a)_-8juk_MDX;Ew0JSj%e#C1T}(@KWbU1z>sna^RiC7iVH9Z_cVFUk zEYDhH7{~Cy5+WF=Q+!H0S=}jb$^@eb%QukOEze^hT#P)ALB@p1RvQs;(Aj({EXK- zeXX=%N%Tmblx9VNCH!XQ8=*32`JUo-&qGxS+--mC!1N4%Qi`(7v98^+1`A^elc7=- zI@s-n=XlENZ`>u5mjfTczoQRw`S-mUe%-NMC+1198M)CCDuBsks^pUyWonn@=XIi= zVpSY3x*qYZ_oW+frZ9Kt=O{YH7qz9Di`_YcH{%8s~r6(ztE$(T*&m)XH}^$TTXj=_bRYdSss9ivT%{6p3pTPjYN2 z4%0R27oVrOYBN2jl&W8PX3F4Ov4vLg99rMJQ=*5zKi3yC0JPvKlr`8|*L>7T(81^< zyk6t}kW!$GpV?nTw8cs!baLrg@;57f!t_#ihf7l=?nvUVA`rs&iP7kz)M1a?C@e*r zC={Lx;uR0fzPa((+MV%5v53Rop3>F2Wwc&bN?LNdE8#+1&bM5vWIctYmVM^(?AoA- zBoCBBP-6xm)YL%pi-IbacWQ_15}ELlz}iQ<<+mXRFVR*+F!qey5n45a`=*2Ct|;0~ zQNcad^tSfH$OnX#7|qOf?w_i{XXWF>2$dtqo^)Qlqx$}4aBD=>)#Oa4Ot+hdAu$9y z$cTILuFOo06;aRobQlAI=q{c}dsca|gsZyrjU|cNH!?m0^2zynTqd5-MD`gX7sx;D zOFw zI-MNs%J^k53n={IG&%S9!)pg9jeA)2z~ZN@DY>$bjq;SZIkS+??3?i0*RmPmt28Y` z)zt-QMU{ua7qqO%t?m+YsTj0uE>|-I>0zl&6Yst_>2s1Sd=#&K!$PlMya4EB@Oen8 zzJv4jHj}=}W!i5zeNRjEn%QWqTXRxt(yrjNs=nSRwu%IBPFRJ?YLG<_W}dX%!=?!i z0rc^%Mi^aQLK0|Sdf(Bn$o+ZI%^0~w@dnx=+r;>Nu75#!=mnwWr;CSnqUKemmF`?r ziFH$T?pM6xfSvA7DxaP$<&@YjEEIg9;(=ma#yz@o&+lH%$0YO%mP5Kpl(bWpmczV+b#u!RVj$CJFe zy>ce64c*cBNc0@{B}#{-Hmh$d(dgj1`#J;CwDINf*VGG_-DBCch#&uWWhoR0v7}x2z(F(AWokr0znLd z1OzDvG7#h-C_qqxpaMY+f(8UF2s#k-AQ(U}f?xu16$CQ~77(l;u7O|!!48501Sg2= zAhxBS;-rnI;R-{>stNet!oZ0YLB%6@I@!N$SH#>ouo#t_>32za&EClg-Pexp$V*3vG&1BKeY+&t zMl;dm-(!La{CMNBU)D&+fQ{1);1;APNm2JkTnia;Y&9-RC!@Mkg1=INMpJ^7Qi5($ zf;V1r$#FE&Y&2GCG}?bO{*q{fyl4!wXq2^R9EoV8n`pd1UNnGxTdRp&JaixwU2)u` z7|+)gGu-v^=I(Xs2W{Flc{8uE9b}KhqpJHyzElPk zREDio2BuVoj#mP~)s^9g-jBk)L)yH9a=pVAyaTm64ZLGTyraFm;|Y+IrHrBIp(e!! zT%;M4ti?23qeA4w#qwN4MDo8s^2M`PUOm;6ueob>!GifLGN0W|7-@P=l>qdb-X}1 z$`yaJR!C~a72SZy`APDNyAI9z4$;_gUgVW!bgratNQgX{HLnX9#^|ShQfZFPca*yL z-Qre5^(Q$x*hDS#7Hp~(iUXv-#POU#m)Hz?>D{1N17$NWCgBYku{`@b8cDI*jI%ow zIsj&-hSK@Uwo$nI$!<{OX9dx{&<@+09GNjN8mAa3_sl_mHyS5Z8CDtRQE`>j>e7t# zNbE)%5p9c5Gmz>O&5%ORql`D>f9<7AV5QHF*6eXsfVjDN6Pw(oQ|}GEpxb3oX8dWa zS2I*ItRm+3R&7!>!e7!W2afRWs#z(|yoDwasUycfEK6X3h5`lnI^Ncc!SF zQ}GUGkFA^b64OZwPaaF0ut!(!(V&!$Iz+}I&m>;B!*1X^tX!5kx%f(#VKjN!)nKk+ zODSO}v#_N=IrMtDrG#fXowbqR)V3BjT31q@eA821L08bB9u!P|i}=!!qx5S$DvlJ6tjg;m7|PewHt|bpna$hjMnsrTo|bF)x?pU+>fgnQ z9SyXvj6;@4pnPidt54XScGqcK`MgjMj(+Sp7{`0F?)g~|Z_4c*Db-Z3)+Q*3%~bB4 z=nBjvO;iX4b0RGdPafjUlRz`bQ(;hs-L$poJY}DC^>@sSi5C$+t{OMcs+PVll zhFK4>AC4Rj^0Z$c*FPAyP-JiRO#O7p?`BPava^si-7cJ6^J?K_p9QxZU-=A|llOP~ zz90_$I|(h~Z`-aoG+%RQC3k2Mc4)&dvt;wM6xoIH?pn&=Pc!1fZ^TWr!z{a@lz`KW z_^<-{1~Jo?eYvb@r?rUMV+8@8S+tqU@!U!gI1i2v%dKc;Skpv3sW+=qku6BpR6iH& zO*yTT0KWSrL?Q^n%{aGZPokM2DSxJb+Fal@F~?vgK0Gcr!mB`F^}J@VeM%wR0XP+|0EU+~8+-$NJ6o2yP257tHEmqF1OOryeW1Ve3o6RwTmKIOSF% z{E!B(a7mu&t2}W2!s&cH-?@H`iAK7Kur*22`{easfP*GW zymh!V{WMeKMf%y(vBi9v)f_G~In6x@my*8O7cSYBkV(LCp#2zCDHD}BnB@|FdYK>@ zrkWYlE(FJ~W#~U-s@-E4%w(!%z^19D7Sc{;$^ocugZ%H5LH;omJ+DXm$^m~iul!$R z%s-dfmf(cD)Ot>(4Du$KK^Aqy!vPe!_w5J-t?XpBp^FJ@UidA*$LO$Z8J6A*W=I3f zD-4~zDS;oC<4>Z;1-_2TZ#MXzur)R%THc}xOSD|%Bz0O8-*&#m9X4oni#g2Qntf1? z;HanG?iNAVHuP`QC`NBXc{_~hH)VKvMj$w46d;LsD|>y8=n>kOv38tFSgMdKY(Vl8 zcI97#r?_avplvtnxiHctAci;;@77$yXQ>tJMdj<&f<1oO*NK?$El1^ ztHfm+OfH{g06iZF!c;)Ze_cFjXnVgzp?-OO~LSNYau=4f!9Gr0C z>-UIa;5$ck%@3XiFRVH>gjvuAu^()@`tlSj63h|{9A!P`S@Ke;S35B4-*^%L+pb>D zT09&HSx9&Y>#V*rI7F$KO9ICyTQmlTVmX4U?R2$2>GITf(z^zLXy`|cAb817&o^Dqbp8YW-%Ji{d1TMF0zz zBEpP%+yn1tYvc}Q)``7fmDSDPSl4-6y&|jCCd{l>eaIE35T%ywJxp^vOg%to*NJdc z-SJ3M?UVHw1gk78eLYV2oSmO_+D%_qtNy4VL3id%FKi|BD_e zS8OSVZqY4^!=z&E7bHEQl}VP}(!biYo)u08o9uy7szqb30IXam>@&58UiwW#R|GS$ z?0aKA*vVe!|NOTRh^G8>G;}U>=^$W!{ix+itI{QW7>pd=74*)UNVOw74fZ1TCy9Ous3o-jqK*X2mRr6DsUS8 zhgmc(uXu%~NqnQxN%B*79s<7W5>C|8X};PNK>JCSw$YNd0Ycm43NBAm8}Fqy7^OBn zq%7_IBDh#|g4PwBAmsi8kio%yMJj(FlU9#vXr1SV=on6Ts^s zQu5B3;yLzQsu+K=h6l0SD+-r^gn8Q78T?n8Leq1a!iu#UiSQ(|GYI@2iNde?-FUz? z&ZAdD#k)Seg&1q61PkkclEGp+pqRkLHO}6`mNf#R4o0MBLj_Kq8DcHS8GLMd+~T1L zwu#348ox8_VRh%Y4ZXgX-h2VSMbdtLr-4l!=a$}!q7J{IVKY3MLk(TgA6iY;J5W6W zeUQ-g_5Prt>QDI>i+m^yhZgi~4E4g!X{ksR&=Wi;=(pGr*UzcvJl0z(a*DzRz)5o` zp>g?H9>Vs7-&8M9kIe9Iv{VGs_yT2M8S)&W`IK*G(4!cNT2`~f%dY1{>NONa`R*it z#DPyk z5^`=k#VbZ{n|x?nTl4ae0JeSAe>C_Iz#+mx*%i0V^&%S%c1PWE>GK|V!KM(B0fALV zZn5`5Mw-mx0Pr!WM+2lLJjLs_MNE&C+{4DZrycx0d~uu#aaQ7)@a3u7epl!@>l{A5 zK8r>_!xN{Vh!<;Fo!W-}vs)?J&3H_FI_p&p%#v|w4?b<3TsXnM!WUwB#2A1HP{_m( z9n}`U)|ydEt2)R+mbi=$Ap7$QP!cBrm1}^J-x5RRLCf|&-(XVHlI83$3^&dzyoB!dYXba>CsDLzC|xQxt>)B3;D{oU-lS|Fug z157eA$7KkI75muMVxQ7vOg>$fdh@@caHveOn{KH7G3SP?KKalQtyRSF49jC#lJ3(e<{U+>d7gPy|h-!5XVY{zDay|x_ z*hNGg^n}PboxXSZ=ikcz*~UK>eH1Jj(jsklbaVKk#EZ;=hSF`*xSWib#Q9rCCAe)cS};;27?P;5LE z0EDX5t%EE4#Q!2nJjCbn+VvW)10vxMO*DWZM^80tvf*nUjef9Vnx7Bj^^$bcM4 z7%#Ds6tO%fbndFxW4c~PHeO6eP{PW|gRF0=mFNw7IU4$HG`My&{QM=u z+8UsAz;7=KxQxRX&>tW`P`Vzp#}&VzS8Q1VD9x9D&8&^~HL`gv5;biYi?ZQ4?jX_s zKa#S&?vae0jv*7-qIMwucn&iS*@hFomz_emlDk9WU57v=_p@}~&2Vh@f1u}UNvklI zJ}4b5pbtuLMkJ@28oV&;m^%&d$CovA{XE5CmVHnzv>UL;ec*JE)d%GUR*FJxpVqm? zW`oiYJZGw-do<%%X+VYR#uEFKWubBxj}xc0T?om5&8~Nh4SnHb+3?O@lechb0zZiS_uK;JLBn_f z9?}0RVFuhpTnb_!JbE;Zaao2DiPpeH@G~!A|4}E#9cjk+!16rgLLJZBq+dmTl^{HV z$qYitxmjKkM9Ywnp;YB7SwIcvx09u&pR!)!ypewKoH8!*Ghi}kJcdCAq4Y4*K`06E z*>BofxBs9qYN6#N%tksY3Rp0#)Hry!w2+eq3ot);co;BQmsYW{Kql%u)uSfEdt9@< z)&GA>jIV8RCKv=Bc{9!h;)ku@jy;gdj+hIu=z zhJP-JsR;L>&FAaEJwAyGXBVMgd@p?tH(r#T^z62XP;CsS>)7f@fRzkF8DZK(po{yo ztze@!bU426dr9|@ns0~aWgnz88Si@!EZ`8HuSiuPVV6O(6rB?idVi2H)Oe67)(1&D zwBR4Nyrp3neD|#)j`8E)R%tPnN%83r^>bu`v^O=u^`t*d=G~b+cJW9<8P~bo`{m$) z4G%$it_80&M#-G^6ah(PZ@!@G}n7|H%|j^(~_pJsp1f^QF?nqSui|4L#Ta`UqIlFqB52MT(}) z>>+>6Q3|A8Mejm0ZD$zqdDR+rw^GN)Evw^$_+L z0i}}#4JOxvSqn_9$+OkG#@krcy2IG+Ghnz7{`x9mJ#C=1 zl72B5oUo%*Pu8_UM|}SWcNOP!ux(N>=Z(CJ!JN}suYV zl=4oamtx+hC)iwX{tHdR=#lRui;ve8bEbMJ&Fet@OHV{Xb9yn!3~vXr{u3?n`j;Wk zUZ>xOP*^Qk6Rc(&N@yx=M3HndVQT1iX*W}vbFG%n$-epTi!P1P81B(1$I&=CyQcHk z2inlgtI?_$d!Zg;f7>t95seiP#j&_F^Qm|&(DDQ9`UI2;u%2FiTH!+D_luUXUkkY zCR&QW1t=Ua_cJ`Mi?`MXFS4(3nk8dK=Lh2n-=;}ADYb`}3od8if+aT1IGH(bWL{(j z&iIt17mcLAjI(R_xWP75fk0{dQ`^k~f7~*k=DXB=!9-GsH@(Y5Qk17j%D(2u{=E@I zv6PTNBC@|zLp)}H0)p9c;AM=eZ5>a|O)1L9C;#5c(=3?gHz+OuHu>bUyxm)^3jMQR z6%&H}*-v4fnV;eDenhA89qFrEL@(k$`>}M_T%$RgZD_DF`;(@A91DIWPRzu`Vu8eA z>t) zWp1Cr%rgR%34FHG{~t*=-8M_4L3A$so25t26!S6t(%$ML^1am%?CsArZM!QaCBDMS zHY=|}+LmSG>9-gEAei$clpfGRO0!EX_65_Q(bAr2e1|4LtS_H0?Gk!B^<)PJ>e?kz=Xc^apnFM%YiqF@k-l^O7X^>A>K1esfV`>Ym~O_6yo`} z+2wyyX9#cJ?Jz2v=a7FV%ja(*Is)cWPCYD21b4SjsaaHqEUEUmW6$DEON?=6-k+q@ z>1`xnz7eC;IZ7xXE?p|kc^Ec@6Wt$6mEwJ^yF#kQziX7@uAr3?^Dly}PeI9Hn^WM* ztUvAXNzArwwu~FZx``UoX8wWh@Nt3VaScPKx6Jdt2&xSX0Z#GRW2h2BU=sUo4O!fP7s9@GFM?GU%p#do};l&ey5e-f8-#?ry1a zQ$F4AE*j2zR{|dWRr9yM?zg#ay4B?b|1#BB9zS)V(H5b@=EUSD1Wf$dT}dQc1VXS+ z{inaz-o@1Xd$C?`8iMjxE9#r>iz+^U;CbWwD)fFamud|yfrYN6nmCvjb>lm!<^AIP zbVi#Kw`FC-9wIC4V;1NGLN@?#>&cu3A{y@K?uKJDk}Q3Jf^%Z9lc@Fc2dy`#zu&R! zxYv|8@Ze3u0XxKnNm5@g^=8fFe3At01suu(B$7mMuo3D6!_o7j&XbyquTyWTiv>P^ zaFOr(WvdRAp275d(dg$7PI!g9xm2@zLU#rzY;kqEDPO1Zsf(Re^F7A$KEk!etj=MU z3qA#}Xu9h|Y;izm0JB~`F{#u*1XE-+&jUo{MF!n`uT!nn#oC@zVHl4$8u4>pL39PZJ6|IEi$;K!yUr*HYu&y?Qz;$jr9F4ip801(oB>HX z)`OF)T+T8FBZ?y;xbknsY{l_z#>m9IrUK9Ca z_n$qq5G{2WC&zpsn5lI}{s)@!A_wkST4zLckeIRY#GmPH82$E=Y}!8%aGKc=rBP!= zQWVk^z^Z!GI#xUbDyQ+k-Wid&_Du{K>Jx>Z57Y>}wOfet3WL3vgVLfawKt+zVO4Wb#w-4i z_v>llu<1E4MB+HESbM1mGe8k>J;;LSC~Df^a{W~#Sp%5GdYN}B34xw3XI^4mbjwGv z|N0a2$Jv9ge{6&?-tcyu`pnaSm z$GzJQv}@w(aUp^h+#N4MP&@m{7M8Wjd-G<^0R%_J$k__egBXtpt@fEN zE^(41e&yHZk6N!ZjwxvQMQoXK7G`+yn7~`y*^V1d(eXIY8cEeStuPr#f-5?eLBghZ zHiY0badzcuLunB9uQWv;0TVF|%Aj6TS#+3#s|JaYr$1f;3G z8;yFFSF<+W$YA?t*u-k9=PJ16J9D92@jDyJ$#9WpRndF$7>wgWN8c$(`{<6@=6Zv( z-h)GOl|2s5q6ru5o(8UV&k%RR`MYN?%3WZ~{9#*9`poOxk#kAJ6{iAT{eJw{OC>tr z!+$l4Zazb1K8rUw^OCm@{C!!x-^=xzu=%;REV-$MpMazvZTW#xKN_Ae9iDeo^pb!; zC&BU?<#6mdo!t^&9CML!w+1TtI8h=7O&2fAaD9ObLG~9I!pD;{q?@?46D(sXha>(X zIN~u|k)1b9qNO2KSkfuw$Z#cE-otZ_>vtQ~EsMf72jK$bLwZ%KW&me5N)|cpavKoH1#t)J1O1{2X)TD-5~q%;bZvMn~Ldi zR~kUVk!Ilcp-e(O-M|O-J_}=xn=^+ASsDHVA?dc=M=Qz+3PQ!kmuigXaI&JZrl<-z zgQ>djJ&hUIpUFG=V$wucW!dO97P3$V(_Vtg0dO(LWVbQFg)*#;rK7OCqk6885B=9m zUk%)q%I)&eOxZ~l4wZO0g6H;fU|u}8%R@6|B~^Gt%rVSu40oXn)GUxXaE(8A>o6-S z2p}ad!o4P$tKqGgg77;YK-?g^u^{?VhD>iTr-{Kn#Hi;UsQ9&M?iRKc*oF|>x% z?(}aLpqYY76-J3Up16%2EtKu|+}lbU*hlCc+_(HQXI>_ED}%KII_x&~cA?CuXGcpu zzb7-Q%fd(~_6C-?BeDDG(?(yHYWSZYm~JTFTuvibCbJkL<{8So;wsX;j$c8R@#nAw z2rVa^g(uS8QY70eXqrj+kFi*q>D>9q3Fk1jv40L$)Dew-3Q;sLGd#MN3P~z{v{m`Y zM3h2r`viil{(C^-&v1qj%okHY9Oo54m}{Sj9)2360(S68#v_HMQy;j@Fkz!FnO@A@ zrcC!H<@M!UoQ#VDExp0_q@EA|rosqL8oB%d&KvJ;4RGADuj0%{?r&i2<$o;;QosKB z7uh$LDXIS>0nKIf>I_k+b`-%TT>lto-k8}#q#+KGJxJcqv-L9sh;StH5#I^T$+iHF z6s^UBBZCcO(Ft#(V;navY6!(DjZ;C#&2Hy%G(wocKH(Nsgad zg@5g0f}7*uit7)*HuC#(t)mB>Yyo2PPZzx52$5`$>-jYTRQijor(R17) zpLJYi>sYbX`hq#6o*S>g8rDD~hdI$wmEiR@^qjh0m&-H1zAVFvd?U5#G<{suaA*;{ zS05%*Y@ogt%li;zk2o3mnT#xY2o$JQ&==dsEP&@KrX2m1wAM!|)rjU5{89SUfDE_D2mRD^#vsbApR|D(dOsS$gdKONb#kFhhN|oI!U| z(EDmZVE^3~O~&yiv)rA(hy8VE>4zfBmGll#EL__{a`z@@=q8zu`jh&flZ=XH2$HA@ zoRKBowZyw}_x?s#{icuXbax!Jz$L}$z2$^f^Fal@kt>a9gYu7oYl60o1Wp=xJs}6` z{|9Q-Tn)Oau^Nc2KH5xjn39b3|wyTvT(KMYAEk#qoT7TKQ+>IDBNjaix|_ z&mUzqN(j2%GBE!B0{<4b$=SQXaj2JWfqtNO>x}=`R8Iu%d(7u8PvM0MCAimTAF>Wi zQR^Ka17xt+P3Sf0ntScoi)EQ!Wr;L{pzO= zo5G}M^o~`9VVj#!Jsc6wOvZfU9gj!$9WeN*k$E2Li78V*dLH?M6l#4B+LJEj!f%H_ zzw`MQV4~}P(1SC>9Gcw}3WlLB3+%NjQ`zU6y*u|@pZU*vY3XSgBHkLU+{XcjSpUtO zw*@P`k@YjP20haz zlZl9YlabIinAjGS_flaI7R-JN%1PGNcssGmt@9yUK^luJviB8y!abN7VO6s)EM}j+=`(rm zZKx5!vz^m+pZ?JA6#*aLU1plvgY0M>ITa{=zkXxLfF-==7Jl1_cEvtDuwsN|O@ zd(V@iulx0P&oAl%Q(Vrj=OrrlUZ5wo!BSE70gsg7+0=T*Ind-JZ3J*>e=6798to@dXs+Yl{ z5{-@;n>qDM_t~nN963mphw4Wu%C*6OClXY9#eTK3GC>`)q?Lx>l7!i@2_;U25cAO! zbMlp5@XIKsGl9_P@%kxym+t_hkIvjJk#wSQj*uMy2}eW-|HD>H^vM2(iR%<UZ?xXOopNQ9$E$45>-<@UXYL!Wj1q5kOcETrpt49{4TR>Mg zO6YIbC~mF|4ZrsDH-wU$*cGmuJ1Yrv0aQ-D6cz{94Y~j$5ke3_~@d z^!jU@;5h^^0?7&f)3b1-5|H4KOFZNUPibr#%rxNk`B3V0oiy7()`u(`tOk9kfU{O2 zE1CBtZv0TJ`M1UYNO&|5Dxahb1FApTXES+y%lyS&N1lOFE&no^qqAv(#ZkOvs9+{o z%vqk!=aAwJ(T-+?e#mwU+{MLLFS|REfV)L{eix^`aJo7aqqRvZHk#vpsF8ci5r=I z6yK}arxf>jI=mote`VQCS(I(?F3)9FQaJ9m2te+e*sW%EQs~{^loWJ;oHg)I3azoL zut?lKujI52RUb(InYNiMc8|OA-saBe(VmBjK=pB^DtG=MNOf%~>>jA=;FNmcs%YYr z3yCKj3}@dNdI#5%u6lPCJ^N>@LU!gLuxXabT~U$2qw4Q#Upe;2rtPmF`ZM#uw?s(V&HyQW=K>Sw`)Tz_m_Yvopz( zjZIE);q~dizVMl86D4_Vk<39DZ%B(w%UL}0Z-4xw&STU&8^NgiJ$^tXOK2a`Y+5To z+;k`y(h!dwpo_=~0vO1S@}`y1WsFaQJu%E^hCV=+;#C3NgRK7ZTaJf)>bf)mCxte; z=t_Fff2Ag+3VBe^FEyM<2shO?3^Gc+K*)=DRi8m}1}WO1LVqx>4UsiNPqvp=sk~z| zI4QvSzRyiNun)i?Jgq-el5-Bi6mK3(A2a#LI3~(hcOuJm;@wj5(z@b@>HtQ`kDbak z(wtkM&JI7pJ3MoJwh7yL*~+X^oJ$ZDupZt1tS9tIr&%&S<$rCkGX=7AKmt{D6+f8C zkUo2GSqQS0V}WC!^ZR%U@V`H&6}}d{VCoZ_1zF1~a>%g$?Zw0-_<7bL=6YomcmnHu zG}aFM_w$9YhymxWp~~%R`NtFQ5X6%+Qqt%*55&CYVA{t}8q$1ix}i8)-01uk*X+!( z_4h6**k^YnVHU?wdXIwZYqN{XHsEG70at`qN-1eh}S5Ux3Vs$+KeTxcJE;+Q^pNbiLE!&|fYZ_xr!}C<@FE|!cUCBVut>%!lK-=gziI_V_R3qI9gcZR1?;%TuQKV0fj1I!P$Za=5!I10_%h1JpO%QMdlS(*Pg0{-!~ zbm7f;)mzsCbPSJ{imy=f6%lPQd^7o*5%EyhtAI)JEwzwn6mlw5Mv`p(RtCApEpTh% z-zKB~cBBkAJyUjOKESEt6g_MJ-kOd9(8c}Bgb>~8)U9;C)Z-$RZ!b>&>;cK|{d)og zVLXCT3qi_@Ka;&E&KOjDJbR)LHa5g8%ijje5hE=Rq(&bY5$0^H$QD7!}_a95y$o zc&+)(Tkq7ww0l#PZt&lovgxe*qRtVF<@4f=y6#>*9p?2r)>`kPm+1reOot*kVsF6W zQBZQ=BkV;#=F?67YqK`51+7$>)n9x;PH5f*6M0|M?=>eXJy(PA!Fa5B%vw#WVm`W4 z4J`7%?z8F4|MFZC#`lm%fULZb|2a2|FOplpLpuL(xd`uiA zYvRWk4mT>DdH%m{aPtb}U|a(_Y<_wqI%+<~JaqdyhWKGoO?uUrY{-A50WsGB?KZos zN~Qkli~5^*D)+BrKZgL~q2m#NX5F#n+MQx5BZmg#L`4tzSa>|i>B)z`oIQWVxSxkc z5pYAkQM5HZb#C!IKR5{NLW}&F@Hta(u0O;*%&JO5?G``!eXg0rJ8Bm4t;kPIa^~C- zes+}Ylg_aDnMdl>A@wsv{m;lnH{JqLrUqNcxBi7j)vzEi9w+44uNX#SQHM_PGntRd z+s;f1;E7_3vNNS4WX>(Z29BE(Ore@bgwI$C%0~p&Beh|7lE&zd^f`Om;ARP7+f$?eL4cnnzMAGm8H>K^ z6#r*2H8B18Wg}2e-4|Rx)Oz_Z_K0suJ`i=8rk(yo-!mBw$1S#Wn}0ZA`^uK2=$fX6 ziTv%<2Ls6`a>2$#&Tr*wUdMi?rpY+SN4p-y_Z-vs>4k>D+fP`1&`nJ8N4+iP3ik$p z$)c7q`=Z*fQ$1S~%pSI6Ae zOW}cp(M_M3;+esbCAlvs3p@iW8mM2E@yOFXJwo$WyvTXTJQ(6?mKwh+d1&XIdln3P zx`)CFhKxumn9e2NMviVM`qr(;gw;y6{t*Nlc;x|1@?G`>tniX0ImOG^T`p6C9=-J^ z1m$yXJdUxueshZ6H(~3SEa_qUmn?|@d|3%jAx5;?n;hsR?2$J)a6)-G{8Zp-*cP{u zPlBF3=zEnmMK@VVn>d%wg25`r-Y%oQoJzg{j`pKz z3W;UN+umV@iOrcT19683!cp<7O zn>OHXNPjcI1PAZoLycX|&zR_u<96`#$CVJPLpv$lLWEReg?c~8nM`Ae#L_XoxQ zkG3~~hq7zq$Db#O?7Qqswn|3!eJUb^6j8P&l`Yw~Eca9PgdVCXilPugrR+u{q=k?@ z%OLxjZ7?(U|J*}8%lo|l_x-*9-~aO&UuQq(I_JL6ea>~R>pB-UAcaaV^2Gh>P*XsC z!f0`(`i%2W=O+(Sltwo1gSNP)SknD>&3zrd!($z$u3bLYbfi~(*58&@n0NpFnen5` z4xckM_j%;AX+OIBia3RN!aTXfBbwLTE&SL0tV{Uao?{tlFcOfU z9y3rx(#F8Hldp8C{fGAn;k4&`qeCH@#XmNIk0O35 zp(6GlGB|Xm4a~cPQBeb{$e9f|lsvq>fACp$ci;)EF&#$M0A6RrtmdMht|$KiIz^2y za;8P#@S^AP#~5lK{|l&yUX_qIcS2lB@&{lY=rG*Sk+Ub3r7fX<1MMLvK1u6tRE@BS zh8!NtctIIp!9AoucD?5De}ebKk=^u2JEG)sD32%2a{mM)HXiQW;`#Ob`E}5r)Z^QY z?XJJCUVd7H73zwcG4FN?lgaO;o`=cQ>Ht;q4f9CZ_n9vS3?qds0Cz59$E%!LF`!36 z2;3LT)%s2}S}WlpyNR0-wmy zvYSrZ`|}S#^a;f1v>666=YPO%QSEPRSB2Tf*%2_G5WYQYo|87|Jom;dBH-cAWPfD% z;cETjvrGJQGK96Z95*Kmx6grW_0Ar~j)7vBarP+T$T@Q&0GIH|)ts=zKVW3(ew64k zy>6oXQp~|b`lXyx&5_P?kuCGCgsP)@iF!*BdercL0-2CR{HhG;MAu@i^W0)$grxfT zf#1W0)yMw~X(cWFg=*;R%Z&z=Bb*M`ITt9OneL4E8nWD3VluuGg_UE#$YPH(VCdKl zZCe>-8|#zssHeRr+>2LtW8D}qf^-uMcO)(uT456yF#P8kP}1UmC;8kuDg4R2k~;V&`EP-6=DLsP_y)dVO{Pcl_1?ZtBs~L7A=kuhDy0-$Q{-5u9DMnD`7JpwTaw0Z^JAe@dKd{<(wlzERTel z!Q_KHNdLu$@n4S2-U_`{Mk~E)Zk=%k$DC2klbaGF?1y(zIbZ7b(58)mgUcqbe4UM! zvn`~fD`bQloPx&P99Ei;p#?XaomcPM9WOSJXY58>n=o0~uETI9}&53Yx`&smZG z2`Kx`*HD04Qh;CWJZob?(Z;cLG-8XGF+A8xW(*S~5;0JMmLo-nDNmm!Y;adQ{9gpq zjpoCbHgs9I{(Y&?R()9A3$sVQp}U23=>JLyC7bPP82dQyUqBu@M}9#sTiDTO8}}X_ z5x_j4myN4=Vdfa*Zb8X&pl3b$_Jy9TF#=PpcaDUehKgi)K6n?&()}HvKL_Tct$Cup zg-i27}J2C$X=l>~?1y_c&-uq}o z*7N**piLJr|8MY3jp^z8z~PZ(;?*dTm?D0+B7|S|%9{H&)P7or8C`^B0gG3wP+;k2 zC6l2YXqV>1t|({W<3#WWz8v`mEnh7v5H@_gwF(Fl1on15-{29f+gY5!OuHqGTC?Ch zunuwdAKLl|QSDL;2?Eh1?C*Oq;!uoZ%i!fh%r6T-E8-2h$9?;B_ubp^e}irzjkKwjYF3Axnq8c8-DDue z$5a5hd6I3yrv~^(7yO8n%r~nd%%D6_P3^frT}WKHLY30;GYqNP7VaqGdc7|ZtPoqy zQu5v=6q(XHMS7mv0!b%-tKzx0bJ41Ml3yyQ?@NBE{8{PZl<3`;Nou{nZ9ngQO3LZN z7EE4TT+oz<58+94I~PSH-s1%{IKY}(6hjG*SYzej&M`p#wPPyk11EkH`2^hrX)}2I z)FPsa`s%B#{>F_gytLZpDslMhIx*xu_g|`qSA{G^yGw%;!#p-)$GYs2qcR z!;awucq)H`m9j5wcoh z%?uU{zT?M+)(0Y{AkG5Vq?Dpc_y^Cx+I~%IAyidEB1jVwV9l$V^>&rmvW$zx@pe3m z$M%mIbiz_PyE>k2Da?!pCPU{nL6|L^>Phw(ik`29z<)f*0dtDfqw5o+v^`?6IztW6 z^~5MYo8c$IXo})elwa@A6OqN?#9`^$@|m0%XbI$5#l?n^ltSQCu-3o<}Y36*W zHPF(Hfw$85a`Hmb9K=}-n~*As3cfmttO`JLA;jr`vsA-F51E29L)#pfdm+oeeESyi zHcN;Ac>z%*p3Mq|0`LMxZ;e4|M2hM{S&1AlG2QHDDzZ7o$)9d8HzHo{E8c+&I70rB~oj)7owrb>&Z^= z%@DX#(4g7nj2eXuQ(#FK3U=hwrSLU}B;cQflh$#MDX7yt_N)4pk6~jFz>Vqq6bOL^ zeSszOYRhdFk|?OBuyGpml+h2%9IB-pGXfzHF&>!t`Eh)uPPOy%%B$_~-z}g(GfC7= zg_T?=;g8o?ld#p_uF@h_c)*B z3|=5o1IA9+vZZ=$H6p-|9-M@4`#C{EySK*OQ$|SWtX+3;B_V^dJd4A`(q!w9pF852v5i$giMUPFbK)6ejOof*K1W zXJ#9W>mkEoWQ;+<{IFy^oHRh+s~v;A0VmZ%jUG{c9)Qznjpoq_M{MlTH>go(T4%&s2c-e{TCO?YIf6}Pu~ zh7mJNT|SCfexw`P*+m9GSGeo8&AQl0!4eYdIZ56+FB2}4C9Iy z9D0Z-cM`Ur`*j>_lob!Rj>5*#P2R`Dg|q}MNklX~uK12tpoMhchZ9=IOhF0j5U!Yl zvJ*(-3Ao`xb^x`QM)=XbePDyQ#NsanD$Np*LQ-K=A4kW;?j6hQ;p;JPPL>LyT`9QY zHEIndQSrm*moAI&lTR=f7^ZTG32(@}?hq0XxSH*?r`ON z9+K6>J`8H%p%&y$$tzwfY@K7BDi{`)JHoA-&QgK9I$!2I6rMtSD5Vp~duIG0k48=; zOZ|Q&a`or;vj*Jh8%AAkIGy{#n;$-Bb$uJozwl6BD~BC%dd!^NVk-RPDcs3XaNta< z5YjB-^s+e$h!&}#15+PxBtUHt_#4F;;XDE=M~JF3L{&1O=&~8&1}&vb6csR0w}oKk zzYw3!>fwlb|D1Je%NTuJWUhO`qX+z`z3va>h^cOJ9HCBtO~e5ifO=@cY{&r*=yhP} zt&2`|S#)^v3AzpXV7-lS)uIvt?>9m}jsc1>UD5#N5m zk#&|^N5%<^Ivf`GC@|zEcovqS2~>n%%1vsp0Q>}&(R#R(`Y24GBK_)+8Jfb7CC@25 zegn*bNJ9!E{iKH_e>^AT^jew)2WSj=YGAmP5z|LClBBEk+c8aw$-n+!zpghlS~nnH zQYu0z5TI_rf#1FFMSXUHiF->VYw3cK4>8u0&&rd#(^E**le6SF-aVphVp!zma=eW7 zD*Yon9mGPyBC(1HJJiFlLIMOSCP0d#=uhLY!aDAlNnizP2sH5q1$9!SqY7!cLOpcP z!g_Tt_^@4|`uNBW`Y`qY<-;!c0zZb*c4NVzo`~|%>OVC4{>r5oNC|eSCuMJ@axpk? zspNpY0_-v>aXG^8QDP~tp!@w0d~p zV{?QbU6EYwrDyaW?mw1Ve@xan1_I)rSqIQ$XS|g(V0O^l_{< zIF?maaUBUCjl1zvYT=1x0@ECGbuz zxH28Bq93pN-?>BMZw-CVnpvnH7qV9fmu1-o~0LI5BR{9yP)n5rN( zd@~jxd`QMSr0YI8I*b(N8|mkSyzZcnUTfxS@}l^t{eTwic#sI*s~7c9H)}NH$BVpg zAkE5d46@gP;TPbUn%OxeS7!_y%P?*_G1710vkvHDPwtcrA}vrG+L zz0yHMfzBrzS@ZIn9>^68;&2TEwo+&atYmP$$oMsOFFd{vGyGTM#)wfRlds$gQ1|cj zXJ+1AVXeHe7bfWvt|FiE7D}L!yWvazmVAAsJoZnn=UI!Nu|IRtL&;|Vi)x2=1KSWi zAHnE?r2gZ}{|XZRBa%ZTAxi(eKvnDtw80t` zFyB#b`IDW2*wFlGtpu1w1?Dx5M^(ufHf%A~U4hL!uyg@??kh^*l;FhC-J1{gPi{J5 z9Q90#)ZTzhGOkhw*d~+7-~^^#3tNO|U}>;*$C5-b2cVFznnG5KUdkd?iwpAy>bl2a zG(J;YUT)j)|Ibk742!TvK?6sZ8!RE)<%ZBx!v+~-+`72dUZ!EZyxdRdkJ{EF_R|N# zbJ1Zt{=YPi0bMXZ%zzf=)#=>Dp%atcLTULxu(}=Y^;`%FFHynjh+|}>f1Vl9a2yqn zR8n}SZ`rbeFTCBruJnlgQ)#%GXj}Tu-dETmNsR2Cx9sn#ICWx54c0$An)jchTABT0 z`zb0x)lk!`dD4fah+{OcLc75+Z&`repb)z!Hv6ll_@KRk`l?3xcgEF>T<~0OaQ<3C z_rB_+fTer>&M66eRf6}d-z}fQ%=^JY-@Z=Cj8T)nFY7dK`fHTYp4Eg)r3CY)Px0QD zFW>U<$-JK`@a^kYnXyrQbyd~(Wo193Ot<2sK^DPM_Y*%#+6r!!8M~ve9>D*;%I83? z#=Hti7(d8jpdO(1zO2@~NeDE^^OjF^=6y}UZ~Z$lH|?;nI7SL`yXE7Md4Gfd+nwTP z0YDR>jG5q0AI|v2+ZYc{4GQ*tD9e={%YAV_@4ff`B~QuYeb%|Lxz(ZWfo`tQEGU~X z-`m*FygjlxicYWQ$VGMDd*5u&-|_kVbko20+;%IIWcMsP-Sq9EIyUv2?d3Z@o1RYW zH(Q50KB1?ZmM^Gpc@CVpY`ERl@{SG1uh=`^Y|q^BaXH=eznQI zJ3eAI6jx%*@EvbRE`&{d(CFoT;}70)`#+Qw%Z|0a_>1T33Hn-_iZjT82+!f&x$AXP z7|3usA-8(Uoan{+zKHi*S2TmgIW#b94rEIBfuXkO9~^L=Y|}H>5@vuK(--58u108XpCOM&nr)^`nC_Yb#qY{p0fgV=(kjr6fvc=B`1UVYJGsQXd6I zzcsX(w`U&~uRl^VuZou278Mhu`?m4`rk}VM9VVN*{;Ut<$SyDcQDE07Gt=UZs34l! z%Bz_E8hMYicUAvGF!Wy~7h%O5znuAX_cCEIn9Gv95H-Iqr`qdWzuEzh`*&4M|6KEK z3Ukm~oLC~UdFc1`KcA6o8Ee_(A^l__L6+Hhc+H&pUj_A~b2D-yApzlMhyJTGt(?`M zvl9qU+J5l7#qzTc1nu;?pg*iHY)T9r-dO@nuLJAg?EP;LYiAMiU@82z9o;IR^9pP3 z*DV4?2P`9&!o>%7h#Oov^3ZDg-@y`RwH*APpadN9(z1_pU$ti+w_NP+$yuj7ou`;) z#ORv)4X+fLvi!Z&A2mV$Qs0l5KOzX(wbEbsEYrzN^Y$YTtyr#bSFZ|M{5Q?|w=Gw- zaF7aiI7|Q{jn!6!VD5hRx`bocW;y%M@OS@TqT55xe98u}l;vmKmZT;m{&2L-RY$0^ za^Vv3OHan+YM5xqS#kOO+uHtDaFlzH)UOw&!zM!Vv-fR z*esz^F;Xe}mhH4ZRwMt#Vg&03j!U+|df3Fhn0>VIl} z=n)b+O1aWy`YHNL$kCvv_ZgE5FiJ~wn{F=p@%n#;QC(M^$D_Io8jq`WyK~mfP!ZT$ z;bQ8$lD0ruM1#i?Ee15`}jtp{s5%3PRU$AhknS6M2;@vt6}#^rm4s0 zj~Yb*5RdA~plNBqQz9-Nb&jHfQr@G|0q3+t=#tSau$*;>Z$&($Xe^Va0xjq-iP05T zmN3z6Rr(Jg{x4~o#ZDl3Pw0xBxTdqzk!p)f_}ow?&A>`^QJ(j-F74juB9=$bI{6O1 zgO~-ZhJlb6BGnR}NZggMaR6DQ)N}h%jNA4A!Kma7Smi`|Hg3L4<#Kl3q-UYNBCF zes$C4CpS*46Q^88d4?1PYV;=CBu@>bguuN^;1n3FraB=dP|-vtrf((?X>BzGyRSbl znq`@-N3UU-7UCyi?;lP1UoZ~~JT;gtJu z>j(*(Wfp0t9S5|5s2*54KUf%5246_ta8N0`k>O&IX7DXY={(8Rcd%*n_-|ArCGo1C zFMfn{+LdxY-EdXR?D?3Zq6nM?i7cdkh%wb!B9p%{M_(Z~cvs&pA>!;DQ{v?Y)A2+4 z0aIn9>P(G9^BHFgP5$HzOgI5DBJDe9X4V`hBJ##rLnknGR|L|M9aBRRN340NgqzOOiUPFBXB>~RROVIxh z;MQp*3azRMm;E&g3W#3qk^+RoW={*%q7-(EUpEiIe@`ndJ3d0Cr0F>1k zBA(xtp`V&TgI=A(&*hO5T#GXKr*n2_=Dzt)&U*>=u@0X=;eaxK3ZhU1r)UmR#t^>_ zcmL;hz$fd>2X5XDyEyC;NC#bR@lnRP2_3dZ9ih|lk*y52dy`Xe*1}5u3J`aU($~7e zyZSIP!Szw*neiMR4StTi$OIk05{i~m%H0|7dN?!XbB>hKdPlD{nE5ipQPn6?DfI?} zB0fuN0U_GEIgGu)xcCkX5476(MCe)I<-S7}26PnT3xTg_dcJWQgUc=$lv}RC%WFlA zVqa?0^8+Mr>g_m9R9q?W_4V99GdHW<_{kiMF*xL|NML^Oo9bGD3YRBeLuUA^bb8I@ z;L1FjBfgvRzcrt~*=-(@VSh5_=6|uuI1t_di&vii@l^*Gez5Cw&5HqIMErAFYR3n` z?JpHqwk#kA9XM^ih&>^Xk%q}rgutF-Du0#NkQFrdEwS3srv+A2 z=_2tfVgAM^a4}5R)lH+r3W9pduMOz3Ass${V43pxRikMGZXj1nG`kSD;DG!V;WKF= zA84Y7B*)-ayWm$$(SFFu+kQ1RA=2V7K{EL-n`)kqPIssZzFG)|;h-hm;ZN!M%F8qaAz)9D-o#p! z4WlgKbkKVT6;$+;)1R^Q?tJ$fJ=4**HCZ{MOIEcshZRLn(DaJw&d?G6aGd2= zKDL`z-_D!Q0wECr;5F! zoxt|?(!t3cD|*TS=~2xGt?45C06g{)rDYeo+4$={L5PZMRaY-rERHH-=)^TXGaVA4 zx4Qjw@;3>VqeK55&a=jJA9S-=tWG6F${p0B)AKzjMR(pCfW)PPgF6Zglts=kHQ#Ik zm2B35znWdj+a7YsvddJ8E-i5QgsP|;jcId6N;-L9&raNp7?zmvgMuxY-8ais%|8{A zaG2zhj%SCt+I9K`?x>tIu~-b|txa@8t|NPsS5;KZ>?MUG#TNA;8q5}$V2j0N5oT+n<^fH*E_RwLvwqelAdxW^O^R5=Y4F&U=0UZBp=pgpUk-3aD@i#2nN4SxLuuG6$+MyHRfke-@ z8D_HUO&N;0WFl{^;`vN7m31n}4cl65d@#l&FS6mQ<8CHZroiVKfwQ2RjxD8{?Pi1dOs9@Wnv{AdzI~O+D=Og` zD_~W+!jtHzC-dsj*pToN^S+xGp-bc|Zx_113WV8GW!ZjOKBFG=^9$BQ<;)JM;!OiE zs(;yE1M|Y+;pTS3P(>|;Dtjn4qZsNqA)g>B(EeaOk-(=u(sHdnr(mgj{vc<{=KTd; zO1Z&{j+ly5#hJ(y4-6gcl^eFOSgkIM%6{NKLhT#p;xD$5;pLIq3?&gW~ru+YO_1I4=q<%;Eb0mxT@VOEmm!!TpP+G z9vR!0tLR0mSVjABv`DhsQ6X5A$L?H36}LyPfPJrDbJQE|Fm@UY>L_ra(y|`@;sKG#N z+h)10{q0fPs12gR4g)Ft28gIIb5QUaa^VN)Q0Ryk#tWCP=A+Z~RRH{qN8 z@!3dbwkX=FnrkVjoV88xM#-#R+XDL9Yr_L((YzX5LX)K1MUUSxrc4|T@^xM{i}G`= zemKgw?Zv}=);F=V?AB~o0UTeX)vg7_jMMUP{HUef;U*TMeSp7)M}jRNu>#6MK=goC z2wQy1qouj%5;1m0j_0EPGvLb~p0vIhPumS3@+LFJ8W8k%kp8DY>%ie~Ae#B^oTcx0 zrP%aBKw%yB=?=_phz>dCCa{5WcK3jNfiT4%3G>^9Sf_i{zOYYdr;{ znjEZhFzK_N!M@I(et~Z14#@J<{tdRNh6ry{kQJ>3z+MZAM?laX?C~VeS^pDsM2U!< z-wm$%ClH@GiSdEdB$CG@^|HUTQR5D|@+;%M2=-uGt+W!mxy*_()$ zOJ>-Jmp`f6kbpvp`m!_ES4nn(%(3HlVlMvy3lr5$-Q#!SF9Qg_to|pcrfHn0raLrw zCua60J^MJ%)ysc_NQa#wLsK~v8VFr!r*3Ud1@nF1r3>cg zP_9Qj8|OPkZ5vk*Xpu(d`aO@RF@{f1DtB$qJ+&xOoB}^=C(%6{g zbRUr$hqy(jbrLU*WJIlosb31&9*3TdFLP2^A!!*Jr2#cVlWsED25 z6j%NeK%5uYp2jYl*Q)C9tVp{dDQr2pb0UtKKoX)CInSwxS#c_}73?IW09d#evsiMU zN%Qur*jxJ3$@kwKo|N*wnHRg;%lsqM4n%zrDhqO2^c;ae8de2(o&jEtXe{Uc1r0zo z;4OSwL%FBor3}DYpX#5{#A}>R9sjMyg#K$pk?Hx2x9dO@ac>PLhbH8;?U@?5kB|P% zeHp#j?{lopH^+89f56teGxh;ndMvPMCppQ3_it4aGvOpC-pq7f|D+YQ%-+>WJ-*xNCB>DGbCP zPV=EhUV6RID=@P%ckPm_u2$7560ym6yHU*+_LXY>{I4AKcpB$}mbZw%S74fdOs=74 z1@=o0=cWLPNho*lpen*Hy{{~ObW5mwzVYrvy<5bt^yp5i63HWWlZCdAaOXt|4(T`Y z@h-^N2Vt10fK4Jf&^mz0AmeTGB}Ps6tBNNI9sp*SbHjqn!qeucnKLa>+f3^>d?*g7 zi*V0JsAuIQW;L6-ySxXNxgW^a1g6;IK9t5J$Q&R(FWLZC8E@+Rb5QMy@W~yC9U!AH zbR}MhS$0-1X@eU*Urj*alwayl7URt6i;NL>tAKfit7n@cCeeu;Fk!Xw^Ra^*P7+@F zOBeM#E^3c>=$APmx5XYr{M5j|zzTy&*CD%Gm1~7~<5P#zoN`5D6?acLM$%6OgvrZ+5@=11*Yy)+@HFjq!W@xnm&S~GVuLSNTh;|I-z7Jbi@0-OXnF>I?B&U4sFeNhU?Tp=Ayc0kG>L-Q^{ zk*uM{jst8+vj<6I_{34&1L@Xr*C>S#;e8~F zu7NBto}glg`vwe%M5tPDAdKPtQxP$hYk*YTt`7HDAe#b6l>&yT^fkI74I#V-DYi$JKd6%)D+e9);xYf_xPiJ3fEM&|4wC3Zy$g z?ymxzX)Y+2Y1er#{2<4MTAMj@au(Qz+mlLYn}nB!W*SRk`P%J zV+D@r!0o+e3!+98N>foIxN8P6!}1n7*VB7y_oY=?$S7>07Bc~^s&&7WBCj0~+zWIt ze~L?*>Y0B>!N!3-TUQlBU#!F`iPgk_Hu%*P+#>|P9-!Qz+dBkAhASwA3B)9(}{0h#TPbx!ZfdbeK4zb1}=gm8%KVNrzr~mY| z9ibgjT1Tc!zvtpwJz%nYwA)DAnx2)*3kcP4W4$ztsx~aTMi4a{ApCZD(CF3`m=_QE zcMcY(nMLRJBPW`?s+nI51n~6%^S`WSe1VnuI{F&G?FXC@YC1Pgz^-mxBfw@ABJ|%c zdO2&x@vs_?!kUH=Im?i-r(qj=gxe*PTNGknk*Re?9HZ zxLq(S=D{zCb$wSV01LY36Etv{(zfz+-uY`{2}szt1_{kz`sDKCPP92N6z==(sQJ+4 z#?Gm`MG3Lrt<_f?18$uObO@{m!aA)6g8rUtmgcVC=I~PD8d4dKLuyhF9F@(lIK>QG z@0SQZCf~5#XA}GzUfe8yzAh6wPeX8t{ym&6VJG2kJ`^w1@ViVOQQ?yG6~_!!ka?S` zl&52onv}ZZH6?#>qx3aZ0-w-L+;h|W5xxlzqK+lh-J33L`?c>~m*4%w*46JAI*>Tl zkwep;cAJ*}C+XtaHoO3Cr4bbsDVf6-G67l-Cq2mq(Nk!RCLnQk@M$gJBZD7lRR{}2 zRX6>>Gh5u^B|WlqT&|*uHGD*5OWk zxe-+)ieV#TNo0n;Vj%GhRqasep@tFUE_TTlIVGPo^T?|Fb?^V z9U8E;{>{UZi|By6aB(0iKR7{Y5^ltIehI(m6Trt1STcUR_v6?0I9Wf&i^?or!3l*gm?Z?gbu`bkn z)QJu>AOJGg;H3>T_vd{Qc;M=!%wk?TLvQ13##y=dBN=byj21GuP%4K7d6UgY1FBJ4 zx-WPy1eja%`lwysZ9ZyjP%HJKLMA_MTcyl{IF5=OXl8VeWYNI!kDr>T7XIoE-?!pzKe9%bY1=8Effr1MIKkSj(?dU@Pbg%)Ja9 zAv?5?nn4M5bBw(+V2J|T0?m_!XnZ+Ce%y;s(Y2_TKSlK#bly64WDE~vz%aKRY(w(w za?rZCznoG6${sSnmrsHNPTUdj9q)smjjs=6OhIwrb65_Ww~!OB7r^^LLpFb)Ipgcl z04Qpxq1KdDREI%!GXk7jgA;5dTpI7ca0mnR0g$nU`ArYK4>H=MoeUtF@bml33M8(7$wgSDjP*O`{vH&Gf z3dh$IhxDwm1{ZE=Z_MdxZ%M`t$qx~NKvHT4)uDG*xF&!l!S#Bivkojl;6E@MeW|NJ z(%zfw0fwLs%{Y}%Z=3+gMazKhATH0>JV(|vM>=61IM_NskXA7Eg(@#z0FBr-p{XPC zA^pDuy^(m8&<~rhx8J>Gg`z z_&D>GDu~bDlbI^s{vG-_KfZZmPA2i$8tjk_!+si+8DCQG1hJ$IhBe4=VcUX7_V9q| zDm?BBXPT};Q@(JbDVFvaVEY%%8di=_L>^G!&Tg&_?Re~0IJ1q6)<8sV9dM?r=t+>a zsRYyKgTwPj*iV|?BEJDPA;zf&Ay|3Ki%VJv3X3@3H0A->LZD?Bt?PjJ;x#MN)rDVE zcg=u#^gyQJwamsokJ|bzvCnzSXR#O!6DFw5<=kD<(1UfH>Eb{@3S4~>?p*8l=vKS@76~IejIBobdD+Y;QKr7Y55O`h61J1}+~sHP z|6QBlmrU=_0+bnuKnZ8z4{Hp9O`^OP;C$5d(yoL|?j{ArZ^yEs?u#0qRN7o#-!pyr z$v4G4Yw?oWp&wU&%nr*n>374F#(92VZ${OVQS1wlKibmYW~;6ajJo*<#y!?dbT6J` z^-d372_0As{V=_8htKKGd4)VDV+F-~%g^dK;xb-vEo*bJjeRuVqZ9f5R#w)bgF8jl z;*Y35h6FbZ9}n+-+<8zv>Rks-hIP!5C%27EE}UnWSs2?O`Aken41cSZ+X!+PK*OXr zy+SQ-@*W4gNiAJZoad{qStS{6yOw(T)>6H+*80Ws2VN>o^z|jgow#?Jd0$e$Zt$?v zm3y)6nr=z`wI7C^7F6PlE?OuIpKZ=@xw!A`)6lAq(D(&?l;XB~?C*}<59ns(Pw8f* zlZo3W8Wh#ecgo570md)t%{@-htM`&?=9qAbUz%k4{ z4HoEP&I2)zQI}Rtj@K9OrV#?72Kd69%1?RB#0`WgMOK<+(PlMgd9KxsET0_>&Z-*( z|3X_gbagBO+y*$TcYMIm=0{i-X#{<*R;64Px^#89h+CybrHj57!#Vxiry|a#HU+h#!6B^b^5nNgas&Gy(8$lu4Tbpu85 zHuLswfu@GKkMg2dPTG-57Scw(-1g-~S3iw|DHYm{6BXIzL;;5@Ns5i|^bloWb|@Qq zC9PhuJXU^}SSJ^@p=ahjJEpQEG3Eh3kqetSV&*Nj`a!#~j*R@@PVr=F;Rqx3Qc|pAJsJWSUuuoOoD(-XL z(g!(81C)TSzWrF3@-j_g*$oGECojQ)&!x*=Vhng;!iIKZUwZnS;cTc*XYyBv`Jy;1 zy0;D-r)xLXEcDrt>e8o&tln!k4%Q9Zk)A5rkDR zt7`M6Xg4OKt-YjE(_A4Fv$t8{T}w-DS4Ne!CsNWpOw6*fq)+;oCE1h2DEFMq+7>e> z_Iz2AaJeF^tbH;i?U;#KW0sS}qSEn>uUM@$PP$=+rr(^r+mcHs%GxXG)4EKWC#2dw zP1T$|N%twW#`h)b_~rg<6$b;7kzlvR@B zK2+bv;hb=7dy2=wZ6=3PIh87QvqG{)tqXg)dK;|puGTbe7@AAb@kKN$Z%n(G zD$X)ao3=(bzqNFagxo#1nZ7w-o&GrB@^y4K%?3eK@LH|s_5}Rt@yNEu4~+z(lQcnG z(9E9lW#D@H+WR}4j#-PIzsl8emojt?ve+8g7m^zmnhSJAzFzCSc`Yn(TR?JWg;l-C zK=`4+Uv%f$gx@&E1kWo4g_6dG9JIp6=C|47_XRT7$}@Nj?yrP0Wm)`7L((g&pKBCM z(u715EcPaoOf|~;Iu|-o&-}`?%YNax>Mb>qcK*r<-Q>4s-a3ZgNA`*aC5;#g9V?(K z2h)&5P||>*t8|G}Av9(+93>&&NRe1b4#ot3*H{z_s}P`n@D*E0A*3g!|E|?Y8F@6a zEJBGT^0g(~nu6Qf?BOo6x@Hn90mqY0yxyzEtYq4%*0?tEbYwYwLu8@B>7Z!x*l$F` zA?ec(rj005i9>T;>F1%O7mWgqQxLIvm{;{G*>FX=8wn&EK0Ve?J0v|<`^(X@C$=Sj zG1WO{4?jc~n9(I`+_h*LIeD|@Jbza@*SnFpk!9Ta2DE^BEB`dSk)5sf@h+)4`8Adp zkLdQxOgKu#LbILD+jO!T)Aa6eGYtC6IcOh}K}-M{koGRicHw=TJA|IODb zJw48Dna|>Z%>PhRH`P4XH9r&Vzw)KvCY6&%M+@t+BS6-hd zeqn{`M1p%txLZyc20JK(NS3>b{BpXu>X+ig+DGS!{e^Ems)UO}Edn$Oy5kPp=(wZy zyFV=ksr777?nAwAkus0iNX`hCguRWc4z*1)DpA>Z4xo>N!@TJp=XHGxUTv&aYB%r6+C|M}85WrKB57Ih<&Mv+lzt z>Tv1{iuwgI&`Tb;6>!(1#GpKR6+Y1q8^_l->sM^K$@-*YChp3w+P`!-^g?z$EtYzV z3VamK+oh;-*QwlRdHyANUlJvXe&NB3TeE04&Nmagph*LsS`KUI&W&l9X5r=SB0d%T z_4CBJ5LDQ6hK?EyYgU1?jF%$ai-i1ZOuJ|+Fs##&p+zDrHHXx8N}oNcU|Y_i8br@h z%dW=IFj$&0WMuZnrF1)%z;r*-$5U9Y=E%`E`^Qb9pl@?^%yw7vJedn>na9J!N@)TJ z!e66*4cu0eOn`9OP=PC(a1EPQgu(o-v_t%9wTyu~3kQ{Nya^6uG)pE7tPKpML}Rw= z6PQDOOPt@SquVvNBk4u0&wG~UJ(^nC(}er$zXvqF>uDiI%1%2zSU*KKAZMsg`IHFQ ztLLJ}ZV9EG^ba)cCa8nO)h+G&Ctv%ThW5sfjzHI;=RD^zozP#Cd@0c^zhDDnUrm*c)vbIkqCR8r`Zh` z4p1O++^|zcMe=epxdUECC8p0zn0BC7ZQ!psjj-1xNFoSH1tL9S9HysCSKz4<*ul(< zG_7{YNPnGjUXVt+H(lcbGT+~us>f384?6Z9SAorwyE;YT?zB-AU= z_-?hce!#GMwtY|VsqE>~Ncejx;4#mxHj&&7Rr5fy9v}wEVMmQgwaC77;zzQ-cmz&l zSBKuZL24g}pE~(kJMZL5zG?Sujpdo%^CP^FM%V_6gh%t_BbP$<*LkMh1%R@ONy?nd zYOh)2yBmqqOAx9^l+R9;v(4N3*L@i7{HSN2XO__9WMYMK5l_dPD_y?`U^p*D?f?5z ziT}$ohU$`uo)GWs zo6udq9SWpZO=_vbadnb@5w7J7WM~#;ZYI!HMp(`BM^PWY%E$ou9diUQLz{tx=fTb; zA((ZzDQi1V&0*{9ahRR5kr#>tPt_P%)8=8A^CSI=gjH(vySArd{>@9YJ(@r-80qNd zDQJ2SbwA>yCx27TX*Ierum+1T_T($5u`J!uN!alWr)ND& zFAP=(OlE_$l@Xp489qBoGG^38;mWw_G4Sdz)zaU<3j{LGon`8;r6ba(4=RTIIyAF0 zFdKW|H0C_^;AzZ3)-=50(OMriT|*|xCgb~9?8DO-q3slS?g17)jS<7Lp24vH73c*G zzlm$belQ#M|s__Q~AwHwF#3>Flz$IoEwu^wkIT+C&?Z|pX>`l`}vwpr6- z@xBjR-6}`q-EvsIYDbXi2K=-)VT2d1w+5Zi5o;cuw`>qi*__aT{(Gu$@eoEV$=9 zE^epVe$5T2yO=FR&u1ms<$$c$LZ-_eS)YY)7xjG4g(?@xd~dIh#rz$m#HM1Njxu6L zv2aM_}%y4Rz^Z+^`M7 z^swGB`lO>O6rn4ZWfFbp`^)BI1^~@W8W21NRf(>3H)NdzXpp4{FgnWzpjaF2P0}l~|@wMGjjb=x_i{DQo zSwIrdI|)#V{c~!5*1JgJ55YztCrRfdNj53b;Vrk`_uyk*Zoh}v8h?FtGz_~(*g!%= zm5)^;X#jJ5H&{dM@r42}Bd5>5#Zk9SwA`$U5_j<77v zfULUS4?WNzYZ6T;9mtv@IIan@!XpO<%ps6>58ZkK$a_-#b0=d`Nx-**1AA^(l4a@E zn|>Ra@lyXB0KUQlAFft2iUtK^SeERzHTH`5Je*@V+MjlhCbaY5_mvjG@rqxQN=il# zI*1(Y4@;#9Edlim3XV_FHA0*xNwFg{?dqR-JO7_vt~9EtYYT&@-~b^E1~n2A5+XP- zi3FLfqC^EEwSD-kib0ejViKi>ArdgmD1lJ9C`i;+eAYTW2ZBUGkfFC$#bOH;giNA& z2pLpJN=V)b)^@%1`qt`t(~q3&v-keax%ZxZ_FenC>t3RsCgZms-!xEHXLW=@A(*1s z{p&-P!hI8m&UlyQDn!M>PS#P{!R>+Vk53o^8LGAUiV?3>U8n)PDLUjy`O=IguHBn; zNS?`~Y?H!0qv><|oGxXgSKm!=M4?PYL`dS?%_=5elB-ZLd5kDFz}lpI@ame)w+z}EM49(=IBRz%odx2w<_C@( z#OXkbD>~keH(oy`(QPaj2HvsmjN>To>O)D*^YAKLjac&*KzWEV8i2}Kbe2DWDmn5` z0CX1yJ!pnbNOUm(%9dGoG66OyoYag0*a@*_5@2PBGK_gzHr?O@u#+4)NSZMgbIUN+ zaImKjX)?dwr3DTfK5Ep51%X8K+-cKVlDK zR*V4GoaDd=?L>4ImN%GG!e6J=lnRcLv$>uJmhreL#ZB{Im0!EONFn!-e-Nn+j$$+N zaC!loL2}op)*rG5`LofY!Z5F!09-2Kb3yi0E{M=Fst>Hji^NZ?!RG4jvj+kBb}dMp zqigV@jx-ETe=WeK!r;|yAE7-vhKvA7lj6qX+SPr47k&2zjnfwm5h6gwyo%*b)=nfe}?2~#3Rd>%&|`OT2w4GJ}Rqj)P>#U=K4MC||S zEv&GMCTBklpa{ktd3@t8?PelAeB?kBX*uY+`Ue$(zr%bYS~Cl#hyot_WA(`h`qBHv zTU|o;;j-6gyURNAHhLrw4b;jnJpi&R`Xy}*Tibm#D&cg|T^9PqtUVNR_Rsknw2m6- z$`64HR<8s%H!$p8`Wmg{^#vmr&9*z$jR@UKu>)x~g7RscWHq>jaXdaw_=v&3j6+ zy!1-J@${|N_q0TBL34V+=bbjA!A&QADnS;LNM~_x^8VUIk~J`P-OEU`Pt}#T6bpW~ z@syQFaIH4}3CD9pFSuDeZq|_%w3iXnGQ+40fr`Blyl1u+ynVMAyj}MouFdxJR=cNf zF9X%v)Nh!rwx>6L?af-K%?Ao~>NlunTYYN-HeR<v81&107sU)j zU1lFwlC?wD;YG?%wL^SV!m28vzG0B7OxF&D4-_dQv}4}1l8b>E4aS~?RVRfLje|wX zkNj?HO(n`SzuUe84WSH=`F$D0`WtX>u4?p$#>7``%<(rYzr)5Rt1RsNrp%D~Qn+`- zM5x~c_xA1Z-4W9fcDY!&(Qj;Gi|>wTc89Tx$u(^A8;ewRriIR*2p2V72;^NK8Z1`s z^&9ImEv|1)e8pt1sQ(0>I6wHTV?;4os2V-um0?PPI-l@`rsMoFWsFujhT$p?Xr(Fc z^;vM?_chg{M2wfnxqG!%%8zPaQO(jprMolBS-PIV&~s-M_h`+>lvFK4%4YVAFV?5O zRdo(0zN&Neo_{@Mzi=D6ApNZRluf~xdAYTr6#daQcn zT(>4ua%tfO`FV*$+ocxgB2-Qa+(|Uusu>?1{F`i2G>Y53Ow&~xCuqDYX-|E4y7mz9 zML!(GJP5?nEz3t0+iO$V4B`t}L}_pk>c!TW4{CQZOhdBoN+tqP#E<($jU>Lz_@Mow z(>QJU!*jZ)f<{vAK`UAR225LWWuJXg)X&(Ms{VWuO{qWj5jN(iFpp%CmJSceo)kh=jih1COj%xG+zCP>sYl}~TTy6xu_G)mDOFZk)tx zJ7<_~bzsdegsR{d#>gel+GjdKiVP_*7j(Z-MZa4P%5Ln?n40oeBB0n5>chE7#g81~ zhfDa^CSKlyD)v+NLOJ`XDeN5@?s8_k>Dm3z|G19-cglFb_jSBy2xmn|AxiDAQ=H;b zfON?ZRL>g_y9f&rYGjx=NjI$xbw_r8<=(81pzEpBZy-r3)rNg`iIG8xGlai>{uMXN zVXMU)DspK7;hIyG_&s+LaP1!`6X)CF!@ZWlRMe}2&}*nMaW=`qT569jaHl(!i5Voz zyL5*baWcs&Ns6v5oI^)07w-{Fi<2(cUbv9%__JhQe}R+v!Nr_$N!Z*Lw}6lwY`P6s z;v15CK|S|-HF{^uru2VNz1s7YC8m!T8p0n!Vj49R8li!T^^Y~SHn)}-1D7RaZHMmC zsq-N^9V{MbVjX}UK3S*O!aa0~@^FgVg#NOR8a^XaimyEiz1j!r=-+6b_bksZgnarm zigf;$(jZ|Dq@KO=p3kwC#lqYMwOxlK^c~H359Jm%=qwWVu_#&ydk}o$CFv!a6O zkaYI;{1p1411-@nIiJuMe%OUzN|yI?CVVV7YKsC1HsolhdipzpCf(9o>MSgvy5z>D zThXM804=Jsz(^edDZZL@eu=T!dvWGA2%APd0c}pB2HOMGPuH*LD&k-I63lGxfBA~^ zIGe0%FJ@Okxt~!5(3#Ju3ugW)&Mcw<2HV@gs&TJYiMOs7g>4|Exr$PE+5;Fdy|6r^2j;2ku5Wm`61*9a_j5K9U76O z>0F(P^6S#G|94Ao=((a}f4V{O`f3}SU|gb!FE(v7#K}YsrW3kfRe`^w`)3uCz%LO! ey&Gp5k9Y(K&7yueWXz!AYyxHz2%Q`&dk7^GxM8YWFi7Fb3v5AF<|Ltlw3fe@lDq;Q8M45 z;`oZJd(tFlCpMmU+durkRh;#KTirpN?G83+@NL{1ecy(h#OS63(#dnU`Iu7AiqiS` z5`CRy5Ive(zBGAMTU%ZAh&ebh!n!m>%>6)%U-T_E8qj= zvvnW73)-yHTW*)Ur~BR9f$T|>uV!0cB-NC+01MS;Irj$8_lt+OA?`rn^NI^l+IhG7 zHcLY;pIG+QZm+R(7w!))IIW2}BE+KO4i>Ktb6Te1T7H5{?D!lEeEvK;%bFi_531~1 z#Z~lv=*x$KgG5m$>xz!>gVmzDYfeh>8=TW=(h&%kw1`6K$IV%~wZMBH)T$xd-4~fA z0KL*z(a?UjudN?DNaU~C651p%qza{Sp4@VGsc(8k*w0T8#;=|s z2$yd)Qe(PkT{W7cQ#Q$t1!+7#_Wg|-Dm}veKCJmhY*s(dJWu$oD{FSvk=S|SuP2gY zDXo)NGkAF3HbV|kT~PoA*KIa@E_Zpt;LsA1NAF7FMB-MoHS7ky42^QmB=;e_7Vcla zA4)#GO+-rIoMhMaes{)`0DoH}>p*)o$h^JkW3^jpJ?g2$SBfS)d)2pT zyw>yYjF_ZxGeec%))^h_j{<#DA9~-HeXDqJcOq&CnTmhYZtqqa&=gX1$mfdnwKuDY zA0bXIEH~Z6?-!mFdj0!{60Y37*=2)Ws4W{flsfwJ>s5d=7UMdY6!{X`~S?M%sb)9|L`ivxize~*Wb zmG>P#9(s(-svhOPi+k`o+5SSK{Sc$5FcPsnFegc7|14)gS9=j~qd!OMUr^GSSDX~m zumY#BkFRW6kFZhvwlwHzGG2_!z{azws`X5ZRW{9I%ZlDfuIKHyAOdCGk+=_dTYKhL z8-x`oz3a(bj=Bj(5G))(`Xj$jS<-n5{Y$&GeB7Z=@xLZA4Dd7P>Gu(vx#g{jaDQA| zO7suNkQ~8paLs%Lyr*=^&2#A0({7)ApGEhM9Tg-%kYP`Y5tp|fnRD^w?#8MYU9`P( zuA0^6z4LRB_j#LU?5haF4*C?6O9VHC_XJ*u5pA!YnSn^^jx%Z9{4jBU-F$rE&ZG?A z9id$c83K-n@81zO!idRkJK_kAEfw)6-85MZf)FbK67=3 zqmFh)ho(~cfiKOfPBs4wDJq0k1whTW^@7P>J|iIG1nq} zZ{5M%w;oq`jhr->Zze0J-G8`nx6{}3Jv*c!>yD$wjnq6^EGeQt3Kz-l>t6@ZSSnF55G3;C?nl^ z?vkUPKvh#7EuT%7dGE{(TTyPf{cWs8=^$pMBB{?tkK4m;HY+B=iAwMrYNLG{tk>=; zG*i4~(Kfj`7d)35R&${$uOiD{z-H#YEP^PNuv$g#>_y0t3>RDbS8s%gM9-3UHMrHKo62d)+fPxGSG1bWF*+d>bEHxDa)wl(;V@qSVESFWjooH(PS*5Lf?m z#N6Dua}i2v7&k^Bk=JI=&}opR(egmZIES>fG%#<}+65&WA+E=4=j|=`DXViixYc^K zUn~41o}J>RM#q5zY@c6dudTtN{KjVwksJ4|r7_f02wNn@a_8qw;HK-3X*_E&Hnp`iZ?7_4LcslR4?q*t;d)HdH@p9&e zhsWI$s4`W!;A?wz>9b&BkL4K@vRu8TmNN*ySAoKHou{EYg@s z&n(f8td&KAkb?jQJD>{1hLF|H#>{jMVw8V?DB&2^%h#QaiXd@$N%&YV zQH|}+m5f`@usgeX<>X%@u3da?We&M<3p(K+ptYnXmDkj}(~1k>49!@cnlZww?>%$l z(K>x~Gz=oa=G@U_u-}J!dzd^|UG+L9tB*ZXIc0NUmx~VmBL&TBE9rIPF=|=9E7=>5 z%%Qeo<02v1z&f8`sTsYHfJ37=dnHB(rnntTc~`Yi;gOOmb0>lM8MC7DNz8`&kn>;Y zYF~FcSmgws>%U>9Ev9bvJzYPbD~55H;64{NF{aO%qnV68`+Yn{`^9)uC7xHNEB<|` zJS*Q;`9SC`#9_9HtIx`KHm0LMgKy}vRXzj!YX)sjIA9lI8`<6J;hKLwpE#Yxz~k-~ z{~g=cs{6hrVJ(jMANqMk4hC+Ym$O+M#;)a9fV01GQj~>qQC}(%!Bq(6^MgL&3*on; zgXT2p%9BO*KDpgEQ8GSGABxPwk!!oqI=KFxIbsCgaox=?_i81YA7$dpDmbVShefzmEO29@2WG}iqdSh>K%hU zX1cV_(Jnv5L=u(Sdv=-WX_UmA90QAinxKC)*Cz}jI@YBy+psFUoW~FGXqlHbNc#h3 zME!6l)o-a>dxFG!h>JWJemxPx!`+~4WjIrS>rayhn6^kY-BopDQ?Z&(F*!58tK^gE zrf=+iJ-Wt@Zmvu|g>xX4wVmT&01-s-)kb z&THmB&jU6czkYjGK4%Z5cMCe$TBy&MR4Dt}s7OPYHEY><;YnlGRVBXwAtwsM^|d13 z+L;{)hE(Xy$1l}O*v2Vx^4ERgV(dImG~;ddRo`xuot4q?+shjnGe`L!^>io#MHbLF z{8Dv=DO-z>#=2JJZP8!q2kTSHGRDKDTMqnJV@~Tb*AnhDzh|QNMB-@*1@ot%YNzXDXB6=6z$N$89HC zodtCs-y^w@@YRh1eai$jQm^72=?4)48)u~)loNebFWzy!de(YJshe4w@UpAPlGY6^ zsrJbF+Y4hU7Zw>KlXDOw7HO`#^)}>dGu?CN&ZpWbJ&K8r-6hPI_eL>un_en`>9moP z`x}u28XwDYFDSt;4C^h2GM!#lAj+Y{Sh`{oqDm@?{1W^^3M%pf3L+x%BBDb4qWnUN z0)ir9$_g^)rT)h%X83$ptsQOLY|jgei-`$6@73dgc~?V;0r`Gmz3tjwFR>5n2es=5 z4@DkX#nNE3lCfW;ez}+WvYF&8HA0`%>bn1XURM`4LAE<8>P2$=rs-_>EWIuTxh|0# zueN;FWGAmVBwcynTc_)@FLh0yk|NgUu%IM0wd6ea$HN;>G)coU{QMG}%Sn_2v4%`6 z+Ptd<2LxlAA$!0L4>hisT)7L}A;dwF?WnK1HE!kj1G(~-xikD4`GRqBq}I+R&l0Uo z*Un!K2==~bCR6C#7ToB!#oV-%trLY^AkW&kBx=c+(CbI|#wdztI7DkW;_`5q!|+qa z;ZTE>M#q%~^OYuFhI)Ah1$yFH+@~`%PiN0*&oFe&5-z0!eqWxK1Zq#aS<3f5y<^`d zQ#Q^2^!$Xcvf>&|7`6VG(UZau3so0GI!WhqsxDYj8|U~)R1KtH^>iNaq~Ol??!03M zc_pdeki3<`R5`{8p<-Tl560sMG*()$#^eqw-xRt$Yri;qIa!=cv>(f~nccLN(zHdy zw2f%2`SMsRBaC(eN&t{cwFpVI5d_?-ZM3UtFsW(s@~&@-$KvAQ9P|5dD-E}W^T{~0 zp{O+aG2^W?hMh31I15~_`medr&yWCR{d+El_MvI`3@swf#jFz4b?uu^*xE}e!H&0J z&a@kM@{oskQpz^UMLZZek&sMO z>6afOrvCXVxu_-mJ5{VUw80ZiNfOm(S4b@(Gi5jYTWlNfl9Xz4M_#aAKMJI%A>jD} z8~XrNgH3*b5&|Rdp&aHVHxxV=Pk#Mgc{FI(KrPI~i6l1~Zw{AI zyLrpEQ6qfQu5b^3C2Mz{I50lswmX;^87vacz>+MX9wHekT{8$!uvZ$JuiC&A_sggZ zLN+W8BAxo1zURuTx;vFL$WDM5Yc68To1cr-zYEDpevF!JCQ^KzfLpPt6xM3zL+|UQlIiEF5Z%aC##C76Q^CT~4&capE0R3L zHB)X}5w9e{4JX`45S`?e3!uC0OuV6(psIO2Oi7l0L_g}9EBfU^gjPfC{U#??v8ZVTkt&4Zyn~@zo3iJpb?ji#7*Ky*p2m9`k zKif>;8tQ&c^-6WLlEh5qF3OF3CT^_mGT@Kw-a%W4g!Er2xsSU}x_%XBbPy^z!?-c! z0e;HFYcsSnUXb#jNFVYFXL@&M>Ro4M2%IDePIC=T(G6$dBWd5pFW$g*+8|!vIJ@C! zfh@-gxgK(XBI8^Zry_=WYz9VLu7b$DXobs5(JIn(JptGEmUS8m>u|5twgy!`1~e;! zmXY8XAwGsegH}Q_sUsTw;L;)r{yc+Ln4-7HMXdMi>dl%7+ZofErf)_!(KqaGBEL%S>gU*(lE|u!LQYAd5{W#ADNW zim!KJWmqiTuWnP*Qb*ssS3RlG+O$Dhs>Q3>&iP>`?$Iqa0u!s-^zW>wXJDQ?Q61NV zg}Y{?W&)EB60LI;wDkB(O{Z=gew(i~4bJxnGCWE#J^2LNNO#v2P-c8AfdDw*NKauX z5nU;jmQgTOvmHDVomtPaaz)kSh@gr!e0%tD<>731V>rfA_!rv_M0?=lD262B3Z^y>HdzD zt(_jc1J*RM9;89E8mL0Z_?U^X{L%gS>xZyvTeW>f48|*Dl!q#IMvnyvxtgN?q{W8l zNNEb@nt9;D;maQdWAHAZ2BBg* zf95YjbPJN$(xL#ARn$_bD4jiwu8#Gvg~~p7%P{g}awDaO!+nOMFmatA z!6bbUJ~V&Q@I5!Gf(>x%4|pYRpASxEzqtQf+?>H5OI;IQdFyiJlf=sJ1;)d?L+Q4o zd;x}Tf2=7}%_bSHu94R^2)mj@u0V#6_{9LYvXJ%xQ4sj8Dk*E2;RHL9x4|8+RugXK zw@&5_o2ouH31)GSRA)}Iqj(qH)$26(&HC13d<}gld~7%kVV%{tC)hKJM0DJ$c*fE& z%$9p1s21d5Om2&R(o}U);|hKbe}yLhVd0NPS-{4C)7Bor@ZHMgJ1;foo_S- zA4Y&(KEOB`MP@bIIQt^6y1ROnCWV%G_3Qk~imQe+$Ckv) zUv;WK8?|i&4Bejd27%8?BKS{ZZj96L}IoR*oHMJSj$k)7z9Zi{QNuLM;#Ra;7j|j zVu6{S5xT>2LzQ%Wyly+CY2a8$9ZbhNp55EgEuQxED)x>CX1n;x#zYnR;;+kx`! zSjrMlohMEs3U)c?vRBhcetkTC z#Owc8GNQTB?_b)3>BHoOLrHT0Ex3HT1C^zp=dM{$%NN!S6J!HL3T|i;uWsPI0G%2D zTu_3AmwF$I7=>RfP!uwbmZw@SJxgDTmspBrQc5&hiYb}VSX2yIuA%pWpQ%o73?6M_ zRG|?1wf#1MLg>%^;CKlU58mR3zI=bYA6%*ov#TVwN_d%A88}*riJAHm+y_*#l^x1= zN=TVi0xh=HVa1=I+5lcRsftI|BrodWV#R38Dv^%mZgF5Rr((5W*`@z0tp{*dtox~y z*(p`ym*va-k3>*AKIkAzPU+hQ5Ze{wta|nofdmU_hmyjg+M)OW&MJ3L5yqks-sP{0k(bAO`mW3C^hZ*6o!aYrI~ z2*a#8Zj^qpmHvKypGDl!68H*M02~ED6b2P4fwBkG(|Py>dG&uG*wqdwGe=fk-n;yX zGX~1lp1jwNRE}s9<5C%^jvjK-SH$!( z48H-C?T!3Z3Y5tQ(`YY$Jbx@HG!0WwQtk$djQ_{eBeKrNwcQ{Nwu8TCS+%@%HOf+3> z1!VCn#@jHZn#~wO!|3Q5A4>d?D!{j>r}<Z&kMw44$N1^$$RJsxjj$V#0uI0{t$hGZo z3L4tM;G6zjC{lBHDu@6Or0v-wd%>_U8Fa>UOoA4bvT{!CWz&HTb;gu0|9e_d|D60~ zMO|J?R8_eGr?HB2Kl6jjeey3}H$HF-{0rUsN9G%%os3VcJ-@n^3e^=ST1}D)cfI~v zJuX47@e_egZ{j3@U9shJI?>nvM(>{Q!h7_JN*0-vlr7M(fzMDCg@~}$;$RNrpR--j zLqfToLJV<~$G%yh8bAJyG_i!%q=a&`gi*4Dyl^;heAxfPa4@ELh@x$iCBu_YD^*x$ z1C$21sw8>;c-eJ#9wIC+S#(rYp46pz*C0LCh8dtD)o68m+H7*Isn@Il&+t$7oK=tI zVmU0r+ibs67F&>By_`xTm_921NU6$=KhrHvN=notGb3|4(Ut3FdI;U7>35#Oau7lb zHbMZz&lF+G_D3>xDxV4BBm0pI$rSsCIT8qKyE;p@lG!UKM#w6K8FBp=k=6Pdd(*&WDX7?gG$ zdy&3OjpqN7^3-VZ)UumeA2Cv*hM4g+UmRT@4(SuKeRh=^JVd~*Z$fF6>gj}UT}~(= z{%m_ZQ*GGx%@^%=g5Gd(PwebAg*hE>or?C6VFX7HD&0AZO9`q=alA?)2QFuDTyP!4 zBUr`5ti)lT+n}rfzk>+sOcZHO$_j4cqK;nDQ7QaJ$_#DtESC8UrTHw8!pRXv4swMj zOA&Gfk^28h#_2PviH-QL<%03uhItvk3g&urk2nXbxY;VT9q;jY!tnsb-WTi?U zn5N|K7YT6tZd@G8Ck&E^X;qJLouDA}U?cKii*)|~N?N_w=;qXZq%k$RpQ#H_AHh}a z1JmQHk4*5(aYw)3);la`ZnW#i&0tcWWmdOh{7Y(LQ2&`ey}wQ%&ENSfsUMS>MU4)w zMyIUawfLm;X=W59n@_>{MJp_IMdp8|?+$;Q;Q@?`eHAa&CJmlw=skKq!9a=b=?+jH z_jZ}R z*CXkMF|k+9VtVqY;{2Wbm`M&FPvM-CJ&!!w0KxT@gZ1=7&jBZyw`I<6oqY-UXq76$ zeKa!^P)_#Os&Gs{=IFi0oj5-$ddtmW3La-=Zdq>Fq|aEqhQNNe{1(Ui&22d>Y(3}+ zo!0|vPiJtQJn*+RU>0AX5SYmqDCs5d2o2+8lZ~3ntv8*jIvY-mL>20?e5e}4R$sTK ztkY!o=|z^#CS20A+?<9e|RVr@(y8_a9aJm}6~nM^8>)<{V=Q^B(h;J#2u7 zA3k^o$B`r{=a+9pIiWJv;#`3 zIPI#JvMZ6-E%uM4rTi5)W9nD71AN9R+v*YuJvy4-uZ?<_+zOBt+x04l() z__bu_L=Q#SO={kGvL`f{Fk679C?CE1iyVzNWGX*r!Q=;_R4}DMC^?`380^2@e)y?S z=TilWZ~7~nc(o|^qn$u!eXKkBP=kLX_*>EOl^40+idXP7d;M=p#}E7<%J}i)EesXC zSI}u=Eput>=F9GOZ-cqFf+=x(1ySd^@O=&7Z~amz4-2Mjuw*YGZ#KZ12BBntOLwb_ zVKN~f`i|Zvkz~_y^icuACQJ4b>Sp;XAKZrSljmeI#KDZk?voMsrNkZAQQW^Ge89wl zj7qNgPiG>=zFbwz!BkS0{aIO>CNdU$@<4W3=jSM{6DSebinl| z4d4!}%szP#2=`o{;$54TVVYuLnic?cu*uUB=2PsyRa4;WEB!qcpD?dJ6(5;<_va;{ z25^1fzmGZgC>4Q|pAi#hZ=~TMFaLeld+vsr_a~(4(m|s>{X>4rxWg~7#@R2ou3yF; zI3;J`cwefTCNGZjuM)_m_iyLVCH&7cJzM>c3LYO1^o_!p2uGUzgEL})ue5{ar_FoQ zRP+VAT*CR$)$dOKyaIlXq=$*$gCOlZoj@+B|33-G-vyGF&?M?X6?ZstEr8N6T)vz} zk06Dyh(Yh<@|X@6oCrwLNR&BM@HBL=Q-U0|(-|mp1ForwfqEydFX_a0k%w-s$1`Ww z8}PtZg#c8&0Meo-s+V`rOYfAkmSu_fEIEufa3LkE+$)|F^hU-(_@98zG>5gv3jksMu)Kmv#};0saDV!;?=B*kDj$_BJd8H z$Bq1@J|pqA8J=NI?*o?1sCsC7{I#VQzWhO5@Yf!{b0`<|o@oE3MR$!l-Tha6>#@G` zRk>e+pUr5Bdf8~|Rb8epT9VIUa{C9(AAjzgiaCOA__ez5SAOdh-Z@i}Sd&~x7{dq@ za&`^IGXmAYD2Bj*5vVmVms@7zWJKM-hv%yf*L>G{<07{Y>br9>6VGBp%x|KBA)xAz z7ynM5=<8!H@;<^eiaClwz%uLDQ0$9*>VW#bW}n56EQ;Do3Ro}npz434i+|pqt3%Yo zv;tP$`M6P4LGaCOsQNWn4Hr+K3QT(xN=vK`EM~MEi&|k*`Ii}B??<6bu-Z{59OU8&?N=wLZEpG|Q-ofg-gV$+@$ z?waE9CJMo9x`z`qKunm=NMj($U+@rWv|3*>^2DewbWDMcpw@X!EmMLGQdw2##^U#e-PuW6ACa1z`*LkX9NSR$pQ(K*Zfwt(r`Q3ygc zQ}zOibTLW|P}*nh+jZ$&0&l)3Woe>$c=Cuvht(YP_W6o}M*DJu1tZjeX7|?-x%DCV zzsVe#YP0<_Bf!a`*Pm3HrWcbLvv5bCXNffNt`bBAQJ>0790~y-X{9pb#?t8+tla!$+~>DQ zUq*fOR+?iKWPY|6(y4k|=EBx9@vQ{=00oLPnnKPH4Z|b<^_)*H{$YapxvttxceuRy zsbNBDzgkg2lD%3vmN$=Y9wM*2TItHQcThDt829iq19TPvbfNPo(@KlXO54f4^^b|` zYS=wv%{O&{cUsW<^7X+X4C~_QD~?ka9YOv7pG)rXdYi?^@J8LUk;;=Uj{V5oqqi7N zSNoLnfNCAilt##mdWo}}s~lyFIH3jkC??pz1e5_bJ^`gTCK3Q2VZV8iCioDZ*tn!o zr@AlQxBeCH^4eD{%7tf-qE?5jtaj}~+XrQdfqWck&z_9`o~92{5vi&W&lAd=bd~0o zL>V^SQ!7`!=H;kjjnmrXps)sz-UmlF_Hakg9@l!|{p`JA1^hnOp#j3iY~66C$c5fW zrt)~ajpj)4-R`Ctk#tp7&)76o+8<YX;$P^hvfd7Ak_1$Y+(AH9PAEc1 zU+3#+u{S!-xHGpU0wk#uJ|^4d2$;z1b{F_dB#<#HM4$eq_+Yh!b3DE@)Mmzev}trG z!pBmD^^WkZp9CA7gmS{*lb||>T12$q$@M$Ds@CIZ(Snp+f7*2%Av%Fs6jVjoriQr_ z*SFQAA)>;MR=rydP>HjNy`!Rer|hL=*03oTwPMg~@ zjUH>*ewZMqy?V6&RqILp(CS$0={N<|+i_KG%wzmzo^PUl`wHG-&vCkdbWKa~p1g%c zQ`|*+cPilDoh(P&oX$)OAzzbMkkrzx{gl0dpTf5S)?Y*bBchiFt<_(k@_IXoK-)cW z<@oy#`M<9~@0IXq)EwqahjZJj=iusUlV&GfxJqO|Ns-wJX#2?eo{>eql+2sel>N2@ znH_3!pc9CXXg`{g^SIzcdo_*fK@X7)p>7vVb`sB335WRm#x%SlM$GK^UBPwwlpG|* z6`tR<&u1seU6p`6n})IhU!WdO@@CH6YR7AiB@f}^AkqC%{3QN$6Y>z^F9T(0(SaIgx^g1MFh$*lx?kEglm|1rLMfs^fPdRiFEi9!(YY=OxOlwdhRA4(F<{m^DY4mI_ z43_c@N`2< zoH-Rn|MspeA}2T{_J^8c=u5C8jlwSv2kdh`S~qN(J<$;XKa@l*qNeq8oO|!JEYBY6 z@{cXOr?MzylFMuP#J)1^b;l>sV!Y5w{3*FOsAG&gwdtx>(y&+83Ka~Txab7(6@Pee zVrBWm$Z`#i5tVV<$;sm>XlXe%>DHb%G@fOtf$3}l%m9}Z^0ET!1grOS5fc({824b4 z+IxC%H11MPV;KIEt|@)0t06nOAZ0|`8fQ61#Y|oA@hFx7eaj=nFXGb2O23F9PV=!{Lp^_=$Cn4IhWPM3((!cSc)r?{VBk~t2r`oV&dB1IF>TGtj zOtah*IBBm4r}lDLS4H4pq$XgxKMR>*?T~%wvB!bbJ)}KiKw|<=>JB^4`onPNq3mbJ zVZ8I;QkT}@W_P+tz_&jaQXU&~r!T!S(alvh(>u~Cx6~mr0_Dq^#cPcYc0D2Gwq%FC zFyj)U&pMCn+&!Fs>HCglO{NnQ88z`OFFoH)uSNxTE9S;6rg}>TF3wyFRA-hbLt9$z z;b05g2GrP`s%xlOU8q1GX_yNWH3^0|X`JjqR!Pl?b>=C3WvEFd(PZ4XCu|bek{W7la@g6Xv&o6nsur>AQt1@8L^7!sXTy$5T2f8j>Fh zT27;HvP<6t+}U~L;7xBB%<1ERBb~}Zyd|MALM+_8yVH~_I0;2GWq^E&0yqo3FkJg%(-$JgSctdp5tZ=;w&d^WD4k; zssv7m2W1I%5NTOX^Wvxk5u7CpW-LN9f#W8bWT@lN9=WR}f`rQrB}~UOwZ)PVth2|r z6Wk{KhN$t~5ZI>7A7lGHN?#ml#+|~|rhArM53dwc?KS4kEK~&Lw?l(mN7!cFYQ?$H zk%iO5#k5z{~ht1&(7M3(@CPwBwopq=u;ftHmVVfhbM_nOE@%c zZC`6jdHqa^HiWiW_R|Rz{yTZ{k5i$a189qxrow%6*ktSa z6uM=72HmvI5`_+$Y-65+Y)o#bBA<8jAe_BFZCHGmt=mVFI=b3VBa4rKnYYfPy?%b! zZ2%EzSffMRjOJ4`orW{ZSoWR%#EdXtl>A-Ln)dQq*$KV6T}63MvhZF1U+8)N2q5D_ zHX>2@wBIH*puhc!4{?}8pL!L|n3+FMFt67bP~VY_dwmJBwd5 zLsv9=XE>V~n9-~-{Sa9_{Vr-F%d2RjZQXYcM;)KUH-W8eO-t|Q7c$37N~B@aVwy4= ziR>w{ETAu@4yc_@qZ3gBMMgE%xZ2B7wPo0&y(Ic~_<~1Ie3x+QqBqr#H7m!8l|$cl zj#F#2qzk@edi#e-y5x*sUSI$-&eX1vj6{GaLn|pmivU9#UQ)BeSo31;Cc-dz^$+j8 zAA`pJ^RRY!zmvmPVvf9yVe6A?jWd$IuZmKCV(*qw+OgMw2SMZY}9yf0NGlb+lWh;l6GkkV3YqcOma^$qCP$vnf{aD%T&RCry`%qwAMKwy9?t z?Zkr%>Lt0PMg|Y&fL^t<}dWSMhwoI$pEm z^#>OIyLH&>08yP&ar_9i#pcn_6sox4I2)+LMx!0z=*b{if~fFGJo-a)MFScbsv)Z2 z`uwFRce7d%D_ifLhHJL4%}>%+^vOoJX=rATq_=O(PCE_QX!v9|OFxjwI}BW&CT2|N zOXE7FO+`T>-7CUbipTU^w<0xNms=$3#wq!dul1Mk#?T3DbLJiPg~OHFMY6PX)3la^ zD1DpMg0m-(4(Vl@>*?)i51GTj3tB#Is%K&Hbx>-vs@$c+PbEm~6$Kx?y?I$0M-%^Y z+s41yBYxW;{VQecCh(3xw>sC9_pC+Tbdx}N>#jwiR=_AI`W9Ka>*?z=8@T^)7=ba? zgXV0|DdgB&iO-oeul>l_=#ne}@-F7!d8LPc@rW!wyseMBZmsuVDymVzf;D#T*!0!N zXU6q8piPVOb3otK6EgD0%X)b|;V*>CEG|o@@3S>q!g*X4dL^?IBBC=;4p1=NfG7hA zJxO@7l_F^}rRL_hB)_&2m6u$Lo1aZePA8D|@6^tpMo9iQnzm^X z*1Dy@dXd6)20QkF!cC5{+X|W&%WhvNQl4!s31m{zPq8Py^!gtUwu@|#fz|^4G#v8Z z#4P<|)?l(jP%NMzG|x9zO6oiKiH+ngt)n!+t^KE(P*q*eB#41)ixuV45~hx9-02B_=MZJPH#_y<<)L=SSo@F&;TaToGjJM`s+Xg{iX8) zzsuamZ>1wq+&#q@|68g%7MZhimt={9M55j5G7s4MC&~0t3us1I#0K=D%!j+5-dN0` z`j)880Z`x8@^<o~FC0;d*S5?|laQy&YsU4%90X)|r_V3hyMLw_)LACW=@>U-6L3BKpb z4cM$jMhOlYR2v`r{++t&*edBFN0D;3SFac*KEtb6jpDO5Gm9E@9>rr&^fukhsbhM# zcJ|b{e+E5RJpSFu9h`>1>sd(=e5>x;f1Qh_$>cD;SNFGtyMjiw+hASqJ!P^NZ&e;I zoL8Qz4txj03X)GJ$;)^@g3|Ims4;1)9;i0?P%WnTwpygxR-rNg04!4PRe0>0-~5wS-nge&TN@b!of7c-^53rp{jH^q{z7jTWr@OJM{f|Y z@9(_D@{W#*Yc5zD4USto;dg-F;pvbHFgp4yUL0+j)QuVVMXw*^?sK5+jAEI10B||Q z&q$D-B;kz%U5qcY&AKbhqZ5+QcK45pKke0BJiV!UlIVPLpDkIr`w}a*4F=ZmgjH@s zF92Fc=+STJIxXhugOo&Y_NaN-K-|iF`(@hJbHukX&!o@BJi>vsQUs#Snfm}P$8yFnk)(;`A}wtXr|Ui z2QA#XOjwKOvB7zzUi6E~00F=uH41=E496PTl}2rbww>JlI&UXrxWP*6KeVtd%ZC{T zV_?U7;6Q*dmqT%14B1d12=9=hmc;ztA;h)+TJ^pV^1ZXkA;hsCy|zTXu{He;$vl>g zZW^$t2k|!yD+(ND;Q#2@Ma`eOl4>BKwOVBpA^>3t^w76Mi|1RwU+(*v z1HXR=0eUF)>2FyKLIOrX%ec(G*&2qDTGgtxUO$4b z$sv$aK>!Tk5M(V zHDY8=UP76>>}u4xYv~EW3t>-@P+EXt;PAR3QmA}EKiqtEWgHu8Q9s%oYjMEeTz)%G zW4$PMj)0?aa!IAw5%C`h)bk8?_b>v4~YJH4#GT*@$~-41&v#{02u zpU*N-INgxe(@BxlQzYFGB-q70&{XXnTEf||+g>Af+fggBt=NQ6z3ugpwnJqePPk`@ z5k*$5rBE8osa#kz0 z3LS@27w2o*J2!gw3+uUU77d>Vt{xv%D=5>!ur1J?Jz5TQW|w2nyB?_*yDvS-KH}{q zxs?8;LO3`d49EKAgLoqPgYN9dHdRaJhf1&458bCFeuaO4u^&05vKo=AcmVM5mw(f# z0xPN#!$OLd%9#q(l8U)7Qm22Z+Y_5+IaZjuXfaK9|IJ`CGnJ^ScwH?0i&GLL90)t{ z7!Dlr@UQR)23>_;Mj6-JQVb;T1y9FNsLZ-Qkv&>;)`zHI$#Nrg8lv!h0X=wzA2a2l z?QsAUqnm@?kV=*;H%ezQO5?Psd{tFQ$Kg{{K#txM9ZDMgztTWSFC)oe?v(1U2K6*m zb``Ny^r3ol88J-dEvgXJ@@4a24(h|)O4Sx=?lm1B+Vb6qFna`p9u$EAoI4%~OBDVi zy^k3~sW=&8sZ<#=Oq9E}4DOm&?5n(VR@a`uzX>wO?d5i=TFY>6^+vysR!x!b16z+n zK$jH7QW*DL%&Tq@X*KIsGanSQaP-aq9_}TP5Eik0RHQ+s!^Qo z_Xs-Gj1kob(=7~5;5m&esg*WK8Todr@^N@&KnECU2L>1&M;!!?;!^%N>W8R$L~wY7 z*?2q!<3_|$FH9pfozh2&t7y#|O+Xn?4O4dhDNF|irKd2Z%*z;g=5MJ}F8)+cZ`6#= zQTNGli6qPd1qB0d(^}qVL_g9V1Ks3zZ6nU?XpWZz9&pv+l243Ch_QH%G z3fb$yrHnUx@`y4XA}c_bthRqL<{HF&7C&F?9)Zqk-O+Xl9i2ci>DGTH;6D|+Uj#;<6u;ZqG=;N!yVMLesZfsQrnL}(dL&n*^OEB9zn}GX0xRwv8S8%$yW3@*dyR1 zy66eSgK5A4U16EVw{a5dMoLF|L~Z-v^ZSl?SC~M{Wg*IU$hO?I=2xH#Vtg=60KzAf zMXF0@8DwN}M}xKVV@Lcmm;e@^6~1{ZMNI^k2dyq#Fnh}SYC}hS8SLc^?B^ST7iX=n zwsyovzyuC>t#-^>SE@T>1>;j;FWZ$Kpy6^xEc9OYeDrqVDFOL(0$HT6XJ~Mn09z8; z6$CpHG;h6K(;2IB^=<%{D{ac?C-4IA!Aq{l_&!|MMZvi~>&~o>cukl9jMs|JtW~%w z;^qU|=ktOWyREYu2lcVveiyu0YMtGs`oIFEZsan~Z_R7fZrU3AJ_2k`cTO<7)B5Vm zj(9?()>ESLZAWz)M6OUeYWmQ>=+D!p+~YvzUJqyB@zd57-GAw3F@{( zH%;$o_;jXrTp^7vj64YsWXn5n+M1rAvRA=2iEc3{P`s%p_JxEg>DN+Dmw7$>O6FeNIvU@F? z=X3aRT}t+7%bP)Fcg&S<7q#z=WLUdd0#m$T30j3ysUGCEHQ09VqFg+x@0!+2u%%1S z%P=zGmWl^3Y=WN5whBVVr;3E0Fj0!0r^FP!p+5rHPT~+RfzgJQ;ak1QHtPZIoT@H*wnU~Ec)=|9MqygjCx;HRRmx}h)Aj)z+_V2u0?&|L~+s$sQ#oUL* zR%ec#WG&j4*-RUI6y1k;m$0X}-nA>6SL|-Wgso#*(!q8xEy)3;R5y}+o!6vzG*}v3 zAts)2aATEHGb6HYmCfs#H14paXSTr_g__gZsMt$6LzUIHHN^}H^B$lljd#(7$3J2V zg_p-8U}NZtK>!8V0itCeLSd%pyut0_duHgoo%tqAr&;!)y1WOd{1G(G2t}=%^vKp% zv1y`EJ@rhD3;JZQW5i#q$t!7IFeZC@BjlxNT(VrHMx#DiQH*n3fL)P*Z}~N^Pm=-b zVB;O(-GyN=-_a;EUIvoU8`}!mjpXsAt^=JN=GP(snD1m1@Hn*R-6it`#O(Y=To2Wo zohu_-IZy8wym~$_@hJJ}($7_dlwdlfalv5$tr4QO<`C!s` z59jr(J3UBb+3l( z@Vp{+Qsa2puRiA%Bk}6C_8*r+@%p$LkAROwB63pGHJdG`c8dj98} zd+&SK`>k)SS-}-{FNPYTfonrA9hZ z-cWS-dkTr3U)r_PQFUX6mscAf1?>GZIIZHa^|9iuFZ>20`T<9WMqDO}h?gg%u1u=! zPmEhrJ3G+ToiXXQZS$~akeb%%qwEiw=!O@rt4Ywp+|+j*0m4qZL{3iF$mC8_ILk-K z%0S0QE;p;{)Jp>Hsw!4oQVHx-$K5$t9dFl`daIUnZ~Y2ve)K-}i^ZCLONCG;z6|b; zO2TzYVo|!ybAY|_n~@#uHKHjden3n-Oc_y2sTq?AyMlX{e^?OcZtCgFN)Bnb=4q;N~S|1g0Rqenh$IQdFTrTr$;Q{Pky_qVL;gd8r6{3$P6-$dhP zKL8Hyy837gUD(N%W&Oq;SBi(#@mo)n8hau!d;xdEMbt*`1pS0>z;6hf+Ndc>BxL3% zY#5UbV^|2^7fpl1%Nd^0x{Kz9zL&IldjiXsW&EQ584jA&i-qqqf$Yv$BpWXJn&S8M0j)`YZGt@P(UeOcsr_2P6|o#~+2y zuymh3bQCvqy5?ifxpO!%ChQ*Qrd4c(Wa@`lrya87*rJ^+2EIBA-ThfLWwAm#{t5V* z?n^k;9LtelF}hg#bl9jmdDe&t|8&;qaB(x&6y+hF5iLt^Z*|>quXp4kKzL)p5q5l-EwPLYM9S z(CI^eg|RGF99kXA3$+J6rWtrCblqAC$kHr1#kiL89&?IK=R^|M8c<~u+Q$l*&ew$W z=>+cV}U+!uI~P?mbu;>ZREaYZKHzJ_YpI! zi7kkY7+~rLL%aWKBsQ)w1ozz?H+fF|zk+7FyN2I|T?s~V%Xd9YRwmQsQs%C(m(ykH zqz#*0)c$vX{we#bnVi;l!V`6Ydoz^9S+=bKhwIXt{r*?rvcK&ClST;f8Y^G9gPV$+ ziNAV@QcL1-iYyI6pv2=O*^s}(^Md>mCe9OQSzFHt|HT0Y@PBazk*UTtDfQ*n8exhV5w-PxYPl_gq5=)!n_>@&MY6p4_gxciCo7izLT>{~`_Ws| zmDKyQPuA62Ux_v^1Mx1h+5X!avTjig_#<>JGs~^37I@6!+CM>o{&)ObPAG`_~D;vieDwO{)ff0rHr$6>s48me7PtrYnhllDRiOykXd}w)cM9f$xcA8=rmK z?@OLJiNH6XoE>wYs)FoaTip+`SNj`4zb6isz1h8^tuQaJ-u`6k{RvT)Pvto~{x4yB z&W??renCGl0<1OEv;R3B+Ms@evwx2CSE3qunCtZp&QD^TMOAN-PoLa&KLq<L#%WE*Hw^{Br$|9p`LvxaHhqna3 z9a%IgSz8W9*(PUgIP^5;z?PFjx@=d0+LZ+^WHa7M@K7MUW`6P@lD$Ia4yU79BjJ z!&R@BK&~53@wbGxlU-KJU%KpmA^3Ux^xNuWz0czuZ`CVavhBg;aAF0Zp0@*9@_&UF z)^&E_OIk2oUL3o0@)*|}svn--=v{lzEsjYSdH56>e$JPraVAF zLOMJh`KjBfjmvn(URY|C*fdLVEr&pCS;qvt#|P{I@sN)lZXHy|QngVjY)qo65K(&8 z@9MQhR7$68NR!^Dr4cozBo^OP|0YH3dpYyLKQ03HM>DeMZo|ie%InpT;klNr_Y@#q zlC1x;?L=1R8lM^x4)i@xuWQW>Eg7r@3s4){}yJ zI)RrcI3s8SOOCCg4-I0zl5l&elAp>adctwHA&~H9doK9)To0<}cHdeL&N(^C|1^o{ z={ub3I;&Ccy6^`(kpXy%`}MtDmvBPt$Jzn?asgsqJ@akRBn~{|o|K@WwCt;W`$~pZ z=?}H(94uvUUVA^?>DcQ))h?N)*&hDbPoryJv-4!!mOBoUrY{|fC?bW>#stReCumoo zZKpt$j6}w}J^@=;bVXzv99xBd3SOLE!6$+ceD$yZ91A-2!#G}|O#}2too~2rXp!qm z)#|qu{_74%@zg*hHD)Kgo7T^qu-`V&7!kdaIvPSmUmzP%HwAD-L5HZHW~oug4MXzo zGf}B?mEcXGuPe5o=e!LL?k{Gx@yZC9wWE8q(hyt@vpfhDhF(grb%x z-NUnuwura9d!*mz0;W}smk@?yg_vg!rz^rn@vtO>&K>g{4A=`BQTIDGjZqt-x!uS{ zbJ68=X+C4o6q57Z897?xS&?Z{06_WDXg4|2aCHEg@z5RLJNfzNb0>s|wr-PVSF!3Vl<*$p0 zX7`Aw*}D@u={B%ho>XpD1Yk_4eP6AAzSzD^#0rJxhmTj`%`F@|p~wcy-UB>qPlDUJ ze|e~yV&EQ5Fs<~~W;eMMp>oRkQx*O$5p7S!DZoY#;k3{2aaJ&|S~8M!IBfZNI8F$T z^&lI`@pW_{ERVy&2h1EN!a=8U-&ZZ4k0eiR@-pD5LovGqInr$P5Drr~?C}hAx;_f>k0Dgyo7=*A$(|+W$VOm3GmOp-1K`%y zl5nf{8+g5+-CaS#3e>bx)?r9?JtHc|qwCZ0-m&UkB|5p4?|0Zkv^h~69g9O-GX}bJ zSW#=gX~yi={Pra(xIQ}=2&jvR_alEcQ!}gUu3`*29fqF6934*vWd~k)!PW!~nzJn+ zH9`DrF}&YFt`>XZmA*yG`xqqH+`Hv_z_Dq18t7&F@LKqFkCa2TmvVR~aUCQ>f`Td+c?bac41JtKwfXU6%ZV%b$8*HpbMUsty zdtDJU2rmL9$OhnkZS@8UAO5@{U(qgpDV2y;672A*Gy*lDd3>`@u=3f8BoUU*74IpMJ-7#N*UIy<0t+lcxKOfu6ony66<(C^4kcdts>4*VAX;y%;R%cFdbyHGZm){8_h6HR6>$X z!_b8`*eI;b<5-xm=2i=UWMccx>w4T&t+2E1VUbv z7Yp8@`4fd$eW3(7h8H-&D$d}dkynGN zwjQSX_z(|Ntl`$lzsg5+?OU}R!!S-%7DEXaz$;u#wLoT@$iV(|0C}ZBeAQdmT7dtY zJ45v`ZVPf^Q@={>pS%+32Bz*x+IYd;?PW!8t!MvQg$Fl=vX*Sj2ObG<$L8@1fGJuO z1MU_TN7Z$dM;7RX#4}8a{efS6YG{uD^|&LX!H)*3Odb4n7#ah9R|oK4kWs>L8lP?_ z&1zRqGw?_!Z2b2Nwr&4Fr+FL7g%iBUmph2{7uN9LdN`NUV=ELbS0GtV@B26BRe-M+ ze5t8g=e%H4QqmNsE`;|(eC3T0eTgvsHVoTO!so$d1MfXc{Y2mbT`wvYO-Xrc&`=JB72K6DS|CtizD8$r@5 zD1Hys{xK;`@Ht<4K;l8H!7TSK#5QmXkMacK4vH8kt46`%hAZEb$ z9ThXo+XahXmUg;&sl>A_dU;kfw^H%?XFVP58xyd-4UC?rIh`cb5)_8wB%(5o+T3J6!tA%~yI7nP+Bb=5d4zfG`LrO+PPZDmI91pm^pdM9sE-uJy!i}ixyjN zoL2sG2&?8z+$02_2R9`I-u%jn9|BX^`=W*x8-zl zIJBE+dJFdYMb6)+tRj7+Ro4euNX1kw!f%G5lk@n=i-oX#E7i4?jJ`z0<-rNg;okS( zEJ8qJ9|!kiHGg$;5Qn2)+LG1qeU41as{(=&9U?6f3gh0?yk6Jk&3DPOmX>4 zF)MHoRGd-^S@DVd#*FyuUn$@U3Ab}wu$hP8J|iqcyQ}B6kf$|^$%m`ex1}HH4608EQ2^cyF z!=F0fI&iJRm?i7ewDk2{fNLgtcLuwMCw1lry_4i~A4h_B36SaAbc5F}I|cX?1ZaUr z=RS`9knX&*V0$FGtH+4hTl+O9OZQbugMfbQ6%!bfwz7f ziIl=0sh*Az(&OMBAQUyxvmRBg%)KPv2{JW*s?tLcFLY+(qdP{c3A?kK&oF z+Zsa-cqZSmZD;jAug@p&jbjS47K!z}HW=Qc`lf!jM|G@=QVOk}64Ak){7C?QQ-yy? zL|^(d2q9rW13*!Y8F7*4H2RdnbyR!D7ZEr=IN=J_+G|g4OEvfd2lEntn`{gVH$sLB zy_^(peVowq+e2p^%>j&Mx^)^~Lwyz$Ia2Jw#{`5#qYeRON7w~+6Ic38wQ z${prLYBhI%pb{-{V$A0W-M^ z>Sc?3u~HZx{bI$3^kBeg0n+m^-&AFA+UEaT&;$=nstFX*dvLMZ0=V^ZG3_5|4Rr#S(4mCP|?hZ8r)pk;pvUkMx%bq zdqM86g`uE=6F80S*c~eC;@|yylQwpQ6d zEb?Os*)TP_kMl9EzWTJFyo^}XzUjxa`zyr1V%S3qeA(CErJt|TMlnuAFHv-36xT#_CzzBZ_SvM%(*5-#%)p^Ej&VNv(Uw$a>@p z`jZ-d#|Zh&qxnxBKO*OHyJ8tsU+gH5*m!j3C$+pCBh7CfnSJs&x)b_K>|Y}?pVX3f zjOgc+TV^?{wZ2m!MpQ6^Dmb3)XFGqZS+KQyw)NSc42NI*2E^rPc&2v1PABxuZc~jG z6&)6x>A!45eizP_$GG<%7g&zDm8m`Ze6|SLg{lp?Z!>HNKA($=0*^0^Q)%!hsN|hV zkGTxA7+}80jTa8+jfwnSiw!ZA<=7HeSyFSR=iDCGHxE=aJ|_qd*Rjo?54-x7Q1T7i zGr8N<>wl39{c9`Lai%R~X+n0=@Nn?erV_G`dgki)m~eN_-ITiMi0iUvdbaLyJ^DZe zUmJ~z$PBn-X?1eb5tezW(5u{plAG9`irubf9;od3oUm=!_}`PE|9SChy=`|pcPzW< zk;ozj7ErD>nJLrt$paOW&k54Qb=<%8JevdQi7dH(Bv9Y_6k`8Np$LR*L=Lo!QTl}u zu3W>-%#4dz8O>7>|05YzO5;di8e#zL69}l)wku@Wk9WlVr?I^|YnwZriaWF94{o%f z4?T?!QVx8pb6CP|uB2u==s=5oBKyoZ;zmzDsg3Ua_6GTl{|TABFIM0GcVG=9#5Wig zZtcrvSjfEUYHRKfpYwsFO)JVWRzK!9NYVditF)e=f9mgVX)k7*`nkt%XV#Z$l<=vI z-V3q|nbD$enX#bQ{jY(w1y|F9gN~6vTNVJk(*g-iOgdS!O_x%}XKF%~l@gaGOtK>~ z6RF1>xdSh7K2T;l@~JFW=zjri`|qZ+{sCHd{^P+3%7vE1KLPp`{O8d81*OCj^A{Qu zly?{#4S0rMk2iU-;%PH4?m$Ry<+Xs!EJ+{qPoLWK%;0|odysmI=@!s0Sj{RZ{vphJ z%sGuUr#x)J-cxMnuz+&J$c3D^BvGs&|G&yvaTn#V+c%PZa8Ytt`OSu8F)amLsT>vs zHA|O2Glvc?hW!FBL;6@?Xq-N*cTxMPrk=g&A_-<>5C0G|&iX=* zXO1anQs?LUCBL6O$QC;E1M0$}3|gT1YV3RNYagIgix*KO>R|Yc4)XI6T8TFV`(s+H z;JIS%p_-VxECBRb@(k!xP>h}2@nXsRTnK#43LS7yy{b)pE&C4fQfc2FF3nzIIB8cjcCLOS~d{T#_4@jyzw;L>B;*A zcJ!bcHdSVyTsa1n43U6^4Yb#m)%l%I4G}V)hQ66IIRk0dox-|hym2Y)3>1)>C^?7C z5VpTmFRZM^>I~S4jlXBV$f3#yQWv1s{^l?}Bv>T_2j$#UG0i zYa4_tMe+f9Um##dVhs#-fZa~#5V=4KNTF7!1!G|Z-(8hPV8qBE!t^?)d}>xu$e>nV zH+a!|52E}*aWE_}gT)ZTnMxq(a7HGFXLJ6wXBu1-g1-)ta8lLyy=uUQ2+T4Hx&TW@c<6>hVOztJfsn=v2RmhCHEg*70Mo_)o5HBHF4K%gb-z+#5!dxudWTUr(i3vbtI7z~tr)9nS zMy&s9R*6Ol{yunE>g%SV9vhL40hf+R68?NOtTe;!?9T4&MaH}ZL%5{dNknc}T@-vt zo3mpfqw(432Sa#fc5NJ=sy>;)rjbd2qQ-N6hW{=2EY)(r^749{!f+etYM8AMzKV2V z5~AX%1o%Wsf^d9&Nd6^aEHN7lcjtju!`@kX3=?UiAF@%bGd;(4UzFLVwDoq6E@MG5 zcXUss)@X9-wb2X_RrSoUsL+b>a!U6@)yDl=tQebJ+0#zk!)njOsEBT z6RGFk%Lhs*d@N6V?VXkyKZRnd|4o&Fqy9$6c_0?u;5ujPEYqhDWvFxo#Vok!Tk?X= zz;l4+Z0$ocj(st^FyiFPa75R(wQrvkYBQb((=)f@Ah_f!#r0@H8Zcm*})bS4%!ul z>LV}Q|HxFrFkgL$!>#O&yp0V3LYysJUV=vFF!@Cili=|?j zD>Ywcm7kuoQ(n(7IBmCS_$Mrm5TFW+#Su_%aU^?R{|HZj-47TnFA!o*q@-mGDT@#Ura<(JAt*Hc0Lq1 z9Lg5BhLO=@&3vtu`EWG^$_WHcGuL%YBGfA&IqT2xDR2qFZF57HL{zr{&VF_!Ion<} zR|$Nq<@W6}pT|{~8%f>yU9Nv}cj8HP{U+|)nsQQwX){lKLf z<1YO?jaMN%F@GKhbxi-G(Vw>r;fVCBT%(zQ@b09`ROh%z-J9u5YMEsNJFVdJ`#Sdp zx5PZ!P{U7yc8(V6c?&C(eOvTT@7umb*&r|7p&VzVfE9$IAQyM?<%q#VYazI6fHcBe zty7>%eOCz{{vTQMy{By8H2c%Y5x%a*flXD9(7F2%(cPj97 zuFN;(87n08h53 zqA7F=YNB!LkfIV3d9jyVoU?&b*fBJTJ@{>{`IUWK^b+p>4sYlyoRX9>{d*&4b@@PR z+tq)z#-%LkM%R|wfwE$#kNL9Up-@Z>0FLrND7}!ch5E6r{F;K=Y=t1MXv0ZCAKn&f zm(DW@vI1xzh0a|+`n=wFkA5D!geJ(j=4I(_ZPD7rY$W(vDw9&rR~}7MbS!)EJ|~ye zT?$WnozsIDahhX&&DZXsn4+gY{3kb;t;KW-7GX(Hzb*j%jdzmFzmnn7jU(J=2OJc) z4LeP{r>FWGQ-L!gL>=UJaj06?hsq2WxSDVu-48gkMbV_RG;5iDZI=UA#&p>0*R>se zZqb|CR_Eu`>d}0VUzV{;%v^eYvG<~LeM-@b8HmY*Ia@Ggt|PT$H6Tc0~YkXPO5#!&r zaACno+b{X5wCyLYna@Mbq>BrfE|eTrK|fZ6T=5 zPqQ~?_Ik5yZ%F^>pJi%mGOFnB(O~J8RYYGnQ%MLD=k-6+=*|1swA(O1M^jIE^<1h6 z0y7F<46fkkbO>@IV!{4=Vv_zU?vj~no_baWj;q1XX4GALy0sW8%_ybTrroHg<+V4O zrPUz+*d}Q;1Z@1-MfduPiAJXup(!pt@k0xYmc5D<{ObAInzIU-YbXqpQU7H&^vV|3 z)K#%=YWwP9_~6?WLqhbruIpdUh%k+y1Mgg$pQMu~pI0i2?=N;4kO?Vd+#HWC0m=wK zKLQHh`c=D01z8A83)^(>=rDCv9aDKHZ z1+Ru`^+i^AsBQN76@z1xT`e=mDZ4^uPVuzB_n&vX-h~~F#l2!}EUU9fHr`$&kz$0v zCH9IGqa8&6HWle78C@tgFS=xA4u|z}=5Ob_#2N5yOgi_ksxdWa(w^m?4M>*lCB6Xz&b;4aS5U~Cz6M!K9?_%@ptaHDa2Xmht`vZi|BnzUX*JUV0L#`PWBn0SZm_iy6W zKMkPSuk2$^(lGOZz>rPm(Edd}8VuQ&CFLZ|f>da83nu&pM4lkHifD(6H-$3{;IVHsXFRKL3y_Qq=`LcD1)Q0m`#Y#fI zl(9D=T53}2Br{m9WKC$!u?#D;pIdj+m;Pg(v;F8`2cb&$N56@lezThv8SwL*O~CId zY52{jFW5vOdKU;+(*0dDdl);>)N^(%JG4&cx3dz0ImhvN8%zYFL|F*syI-ynCPZ<& z)Ua~U_T4sEpYW8Rw>e+K@8OS59(l{r={ zMin{w>kv_!BgBFV+RegD$l1+OjU6SkGbv3r3A;qIu^s5ox`~vI_#GfC7Ur(ms|+7= zuCp+I{Mn3Ag`1Dq&29I?vHt`o1p|U(B2`(W*(P-}KEEC9bMPhj@kvUky;P`(x-e>(d^d0vSvX$wu@3_jU_y~Pg;hCe02hVDYr zKdplhm-UR&sX@?kG-?1y5!MX~kz*&js%>qe1e9$U1=sD`W%`wE-VAUjA7JM&?9=zo z`20R2dG2veAYk6bK;b`+6GFC$YHlh++}$1xQ%XhOldRbQ`1&``_S;w)Y$|Fgp(Ow) z&@(MkIlx+1PpH)peb9ZTaVI^f^FM&@r0h)7f_QJ~l+bw;L$*9;cRAFsb7S}RhAfxv zZyEjly`dHoDc0MIB!7doZ9kGUO5*iBjr0ou_%0tJoh~*pWbGxf_bdHJmCE!rg>$La z%0>36KS%syGHYxS>1!gJo`W9rw(BQZZz?i?X!s}a1W5XYXQzhFT*LSjd*r0d$}`~s zY`M;}$9m5nFEgmO%Clw202m0j#s`!h&^rJc9X$ZZaL8Rcy z<*GT^)R}dj=!;z>H+Yg>3xiK5#7Xt8exWbbsFz?gMb!N-CNOzLR0s?X52Camsvl_* zU10=1e6Ns=CeWez5nxY@IRz}v7H9OV!7|64o>CR<#4s}sr09q$`E;My0GYLfMZR}k zj~DT3t{D7M>z05HrGGXT5ngK#EZ!g3ka*OGV2xG2DG2DJqmwMSMf{}hnj-- z8VA?!i`@GqceB_ug+xg<{w!7Dq+2c}u@2iSq@xaZ z=H}v6L~*g#iFdrps#JISP$fgW_h$A(fYVK`nKc`d z`#(rH!K%t>VLGrj6TGvHW{0_dFX@Bwsl!zkSDV(k6@M&Q#qSH6z^tez z^3E#|V-do@R}7aoufg z=NB3t9>42Et@hLo?omxu`7#=*XhM_=2qk8pCL?Y3`(x>{f#MIetB`uRY%!aOR(0gY zL?UnbX|;JNz!pPDJcvQ^z<9R7Ogghlk0F0>b~0(?#$Y0|j!1`Yo4<&p$rO|8Tvk4! z`+6zo1g=X+5>J-XEZWm^oz@qq2%cV7GobM!55mLH=6U>$6-*g9d$uvBXBg<3W%rRr z%E1c(n1Zx0(l~yrNV@=<@`g4;G8mu<^DF3-8yULXABTPK44$1t-T>jma?#M)8KNNe z{S-(+X!vgSVZ({gZs2embtSad1F;lZO3@4m9mIf1$f{D)`baorj>wHC;mT3Lk*yU* z;C=!f+Wz_EEM>6H;ctM#z+$4Mom;YZ@ooQ=<>Za`+N0%~leGilAzDL#W)}UQu=4aj z@7#L@g#Dv-&Rz6yz*<`v-(k_9-*h27`;Ofu2Sx|80=JC0fbmliWLQ0**Jb$80;sLi zybNt8Ysnp`Nwi|L)(!)1K)|tqz{e2Rs{=Kd9l;LBK^R=Es>V}QcrOSrYBZ?t-b?vO z5MvsrNh4k$0mJUR?5=T`8aBh8P!!?o1MD2Z_y3%?cd!L=><~E7YCDy?sV83m``*EH zj#+2heZVg2Iq;kjH{#+7oDN!r{X7%*rp#gLq9vh;=5I#Bi+7r-rp-d_j9XyN^=mNiG3?_G!yt% zRzK`dsmZDR;W?x0!#$bB$BE1nwn2nz+MJo!5D}(r*X`pd7Y6y>GP9qQoht-Xy~XTck3Rk zaD*Y%i#FPBA~XfK)~JZERU`o{c(7_NX`NS=9JKLzh*>ZKMmuFKnPef7Lh0}O}dr)N0KL&}j31;lKxO-|PEaz5u z)XmWcs!@kVteo%m@DHe-psx|({=BD5hz4=puXj9kc`0_d%`+rjSeH##RVw)G8)Yw{ zu+)V+d|0hULGJf^#)P;F_XG;YRqUzZ=YIN{+jRA_G(k~a6gvA@m2pf+gY}_MgyJ{% zbh^+xuP0PdY0%8~@+}hXN4Tmbye648`Ao)}IEJN%s045is4j7+q%5@6g|Z$TdEgm! zbMQfURCkaB7~TVksG5%UR2hn`4$l**2WMkdmv+3$p4U--1UL4Rqod4{yNJP=gcX$V z7kE^auVdim@vs#Pa!vGl+pw`$aHp}&LnS9#@l{=-(#UUW^WY( zpe0CS680*jUa0mZbVeF}M>?6uN124=AEw!ShWMMV&UX@qms8njhFXysQP5Y+>Wdr? zWP5p1=)m^F@S>a5caAwnUBJB=yLV^SQ8B82Q`CWn!ZVEQLWY7&v=fDo<{o(1L5KbB zh0-T|&{eOe9bNEh@Z8-CnGE%X!89M#5rU?}pLJMYbXDxU>n2D|Ls)srQD@-rLlQ@3QJGg6S~xPAtziTh*_| zg1w^cUanoYMh9NY%-_Q^$`|N*@kMa7R>s8)7|7b)9WcP!f|6LOa>=#&*qBRSiVYMDD>UGkcTh?zuEsIHBRi4m`0 z8&Ar}Kr!JO@u+1Z3`4i7@F~P>N3uMy4FP3{iNT9r$o~(m7`?9b=2nAm!%igo-wj-S zzMRU1truW?$~+W-V(E++d1){L^V-7iNXZQ+gn>uBg3;A_gJnow9fZieDd3N=8_pP| z8Y0D}eqNybCn0KsCW0jf;4EK=qdax&YT%Izcb888Tz;Ejq9{^T- zTm4~Ea!bRBXdj(yN4Q}9Lb_Rlwyrl$Pf!#<*6Bu)B{{O8bsP9|0P`Gh4b2xvHgaIL zfKsHyaynxOi36Gq=sSK&Rj7SJ$vPJOr+u!^HM_l3o=C`G5JNO6e+Kr-^LT`mBukdT zL>iG*1zRuO#65zoJ*kF7v~Fi3qIci8$PRAF&HzbGH?Rw&j388k1UsTquMn5P>~y^L|xxM@}x%42wl;m!+iK@$wC zQ{e0-s%tu>_vkV_>ItVF1#he;9F3zp0=&yNEP>A{IQl3IPdG6-n*f-Ygzu~{%vW~`rl?KlvzRKjnv)NUmmlhtZqKMihk@sQ28{GBhra& zYg@#q*H_W?)C)0BIR7|D`sm%W)^{lduI07GIf7uxdp~QD#Z2%l+6^5^M}8TOjC}Jq z^&)-he+NFD3%R`oVD(7oaTWgPASNBGyG2z0bYk{=Lh1SMe`fXybPSYsT%fjHAZz&V z%ngBUrQH}7O}*x{`me+>U>eiz>?e(@ln{UIebgT9-&ISkGzp0mA-Lz3o1WjL1~rXc zRDAqO`S%|O!iJ4M53)viyDQgHr_jM|$jQlp)(pv|ks3ZfTwB5Try9}Dxwh={ue_K1 zdzby2CfAjB_U>-yU6h8Gjxs(6i}i`}ET8{Gx(<%*nvdRabD7 zq~vcwZsBhV>0%vDKDNJdzvbi!2mVJ|o4Fonv68>cX&6oIkbP?y+YaY7+dPEJTH7f%aA&fA_xM`|VYW2K_*B;t{c#w-@e=MabF&C|%Wh zKnc7c>jQpb7N`$k9?y{v3RWBBu{<_bTUY-)xOl zvAHhq#`&t8-zsr|I*GYm+)L++MNNj$L2evuWmwgXhW*=w!nobIj_yZ43N><58>8IY zsdZ=up8cd%GbTB;%kH)(u?fnHfS0R%V-?%%Jc(};ib-wI*SJUTp`r-P8VDFsjrrK& z7rUq(?7p${ozle*$ep(27jarOA(-y=IGd7$nSo`@k_67O_t5cZ2sSl|U8TTprN`iJ51$P6JbP?QcGc;Q>w**TZE>0;k5cKY zg^n2!ZP5FOUdKfVI_YIkq7lBKa_0WE*s@R3MWjy-#iTWzmN?DT%LTr%$q71*m5E-_ z3pKTsw&beb@k37n*0M#Z5;MOXi3_?i{llOx6^MbD(oniR9gYMRY` z&FYP7R1CToY#f&)>I1~P*!FtIKe=dZQt>RVePQ9!wP7W#vG^yh#wO1|rOTLDyH(r{ zQ(%0x<5;U^jOH41*Z|v?KnIVexWch_EhQ{Z+KubSq?+myKAbkAuj~Ba`Iddur6+K0 zpLZORELih45vC`0s=6NUJePOKG47L8WF244+p)y(#JGKzw@Ne!(J}7ry|F1iSXr{+ zTpmB;vCgN(-xhtBhmKoqNG4vLo3y0j3VjElgbJ0Lu3Wt=M4efJR?LU(rZWdaQN0n_ zJA>}!2%RX~Vio&zF#Gh(6C2h`SmBpp#yQ-|gk9|$i?Q;PfzCN9hfrFA-g&}aA7oYO zq)(rX?Rl>ja1JFDOmN#2RlY}+Z6ulRi&S=c=wRaG&`)j(S1Bly>NdY~pPsun85C}^ z?1uzw!UWyeUr7)q;Qi#c2@Uk#eY>6}p`Mgc&iTw_lKSa)GenO0 zkhAHoqQUakCNqKf?E$yuWnS=g?=<*VR#XR_O(vJVLg&sM()`xB@xrCltjK)jjt<95sXHU`cXX&bW*Z&I zuijH&@pWm^#nt!#TSeUaoiX`Noh5mBjjaa&e=acBTSD9+fJ0~ULhlKEYso3PnvZ#- znf?st8kaUUXfqnd-l2z8OD7hSrcACl3_N)+ll#4C>Fd|~hpjoC4RRO1N|hQze%7MS zCvz>nmTsObSp3>*vBnghyt7al?_AWG9($)vhtDu6Hh&*&T(kimDd1^cN@?KL0|VHT z`_RR=qu~A4T>7{>C~{n(*}dG5W|1*!qTvMQ_$&CC4GfIe65deN>?uaIi@kTfAI#(% z7RN2a$9rI-$jY{=BIrkivft0x*jXvBrMVT;3E6fuTIkQK^RF;NI#C9e&bE11TBg13 zt=4SfEjweiQ9fCkf5jeJN?ff;%V9YokxCCA@pD#k3aQJH<6m(ttx{?Ipx*w6AeP%H zXex)!t9(~GtM6&_WDv#e54LhKRhIPrtxksy9JU;^ghT>U-B_XsjH=I{6*eil@xJLNC*b3)aM~n{n_I!l&cJCUAVkH~uHx^4%pdU;{LgaK zA(QU0>FJ?)v{|dpvNSPItGk8@7%}h!MgY^<`S>L?T|mu-?ERcE-fyVydRIrNdBi-* z&q7F^ncv_(?>8_8Pl2yp8@MEmHB#tU#tjIKexo+au9>Aznmm4^bES4YQX0*---OQE z3`%!0e*8x1N^NVitTiZO@OYJKuCO|MsO$NyDf7o~%xD#gkEfU7AKj*QMhqBAxE4$| zFK^6uzf$YfBAZ|ia_-%xel8-Z$#%Y1x33?+tM$T6`T5arPu1OR#+*W=unuJ!MI6!_MS?F(UZAp@>Y!6xv98>>rs z)VT$dg36$GY+-#2U7^~Ablzf{DQ@i31UerEIcTTXL`lyPW=0?(mO%H(}m`^kqC^5^)8(|L zJ4=F=ceA1T#Qkp6&u%W=NTlK$-s3i$#75(wlUPpna5N|88XNMK>}QeOa~GF*5-Ut6 z`NarFI*FCQF`vS6{uLO7hCDRCVWiIbeyP;cn!>x%$G)D2y-gInV0S-boarg-N!+nh zSbk{Q%dPi`*D^{fhk=*CWySRAwA#z-_i~s{5Cp84Cr)cQU60IRR3`AYGj*QUn7sZt zhuMoD($2hgT1V)5kQ)OVf%CtiKG@w9G8XhHFO&%vGRuyJ`MRM*KIm<`zTan)-t4x$ zPd=E@sEvi46ujPYpMN5G_N>X7Ypnl9n6=i`Zrp2YtO;($8ch1{z|OX+=);EI$8u#) zbLFv-5*&*Sb~{cJ0b?61v(Q18n6B`2O2oOzN{9pRcS&LCtWK{#KXqQu-3%9KgMExk zvcYbFB3(AJJJBuo)l2{XLKu~8fG|E=>iajBgu0b#@vps|&^1x#UsD!r65JNLzADc2 zY27B!lNb{F6u}?mhf+!Kv5i}>#meDW?Eq;2utO}w?AX_d#e#;A1pnHl=MReZu+&up z=X|4)PgV-ePHwdoei)5;8kqufs-o~VqLpu5sx~}->eExFdhq#HbP+%OE8Kv+%3xXe zGe_XV+2?w#?5g?NiciCwY>}!qN?KRXAkkJ8C2e@HQp2T+(adbm_w$eR5An>rbV|8y-9t@j|ulJi{?7;++IBgY%WuE}=46JXuwb*{|M^UrnH{aAX#p>8Oh#b4@zz zMGbtn@*6x~A^JXLCwfGjgThnYb=y(jDtBbgFZgN2Kw$zWPAHzLuZ%Ixjgyr)Gl_gEmkGvO! zR^FvQQxsi!C;jX)!0Knr0L7XlW5`|NO*{aT#sm%qxP0)Wlh9di@MH$~p_x85vDmeU z8KA>BeNBDkR-NrD@9xS@o6KD%)(_x}0;Z#6qs&1>V*q<7U^-v+OW@GR!1aM(5P2s1 zV*uAyhb3SDj3Y>F7p|ix=WxO zZ04G}hal(Ou{tx)hSJ5aMm>|%5w1y8IuxKDEA4q|uIUc>LL8E@lupY~Kr(Q(xgcqU zTdKyyaIPr+KG{nYo0a}swqSY6p)xTzLjk-M~o~C zIv9{B8(=MgTILGlt(n_^!~#hc!Yb zA%F~G<(NDeWWc>cAjQv96bXmW!usM!_#rL4RSF5;q=koMknkN^I2Wl~S}n11p$6j1 z^WM|YW=w6%B5iv!-@gyDF}6T(U|;WA&}mO_O_J3&vNScuV zb??#nzZbpgYst3octcHRJxCQg*dv0Y^XJ<)xAb0Uw0Ki&0pIYxUY?i|${zaFSAj!Q z4?&A`60WGaz*1{a^%C2{B1kO&seBTy>|X*)17gVDdn%(3_Sik9^LK}0;a${|WRIH8 zrprla@O<`G&V)l@l2?5pwuMSHP}Y5)d$|PMZEW_)7EsO*B`4u(*%(+lE44C1dqz9` zJ(JM4kb-vGQ8k@uAO;>&Z+9;7BQ>3M|EITejcV%H;y8%Bk${2$d4zY0Sa~X;LLvo) zXoOm=bSaM;&{7pmB5#N}LU^U1K#(46fT$qeUM-fE3Z;<{48)WwmrE^FFhB@u=oLaJ zkYGqUfo1#Qw(G8bXunKm_MSbDbAFjw^FL=LptSXpWU_2O?HWr3y<%0WvIE_@7Q)n4 zCuL!z`Ziu}S{Z!Jl$lT>iDtP0$Cq3uB?LT|wI0sl%~~7V2TyZm4n5A7AYGJ69zySM zxl3$?>TNfO?*>|lZ&{5;T+!C;%MAsAD&0fWH<{%mzC*bD6=80~McEExS|e%Yo{kZ2 zD6XGlnj5#zD)|j&`DE#!t#H=I@^cHJfKEK^%pCjRI+WqeERSfW7e>-b@d2iQPLIMj z!{sc(xmbXC?Ws&q>mM7J-*!W-({_2sUpqX+G3_LVYP6Q(quMdvB4{lQdfL3#YTk8= zHs7~q_tEC}uh}EC`O-BzxXhps0;U<+X%9%n3>@f`%;pwxCW0}Q7bN$LLoh8iZnGDq zJjM;DY|;@#)HXw5u3j!V(LGYcdP3iHD^xCe;aK~=DRb%B(l{TG8pt<915)qdv6vQH z5IWCe08&X!h^Q10N8lc7Y;6fQ%p$YQs56q(YKUPzNE@2OYHd#Cd!1P@3 z_Z8c+ky!@l>qejvPB@mC>HHztc zRjPsp6H6rhpL`5Z>ut4nQ4Tg$TL_mvITGduecQU(MOoFfpvCh{L8Q91zcJ_TRTj4 zbO^UoM~)vJJzro&*+aG@7TC7z?b3>0!ka6v_MG3U8^ZnqGy0snL8)qUW@~m@u{F;i zS8-9)XX{@se-BK{J0<=TMNytV7XLiMFF@6WEg$2Yu@ZBK17Ww{D+kW#OUkg2!y2 z8s%FTCDKfD%cKOq&gH>-P6%E`c{?Y;iv~G;~yyv6lxb;|aaq>KFX@ zeZ6 z2{b51Jsqo(3@&i(?o_qp=5UVln_K2iQLMy;-4S0s(CbpA&^X61XD`gHSQhF?$I$_Crd=Jmun)8Gp)J5QvI7Vn0TWJxrm_ zQ$l*?9tv()X^jV|DWlZb-CyfdUN$1cUkKw$ygXJcko#xCV$s<~6vlB2@$>@=exW5R z6Fz_fcaPvP>zw`?tPzp~n8C(4kzp zU-aWVrEt&t$7Tk2T=p>$~7*WFqc^sBX^}g@a^+N8Ldf1ajOZHouRo z-`u^U-8^vIV>Ex{wY>UTLNb`JG~*>@t&5(p4K7Aj6u~l+`1^lwGTKeO>!rqhvE$(+ zteZl#gH2Pkr{zDHY%m(?5TjpWm)l|A6e1tKnnE<&a5P3$bt`U;OS>Vsyf%>&f9*uB zd3B~F-9^I_XNc9X#aUu7)FEasruAr&ZcW!Oy8Zn})d1}w{`FC{al)OGKO{3KBCg*{ zG!u32%0d7!58I7an1RP~7HsK98aDVJ*Z`PFBC_D0NZ>a7nwS+S%;p|9D{!rxiIea( zGSMHdAQQuXO{@{XnfyG5*&ot;61xljTe#`;qE)pi>!)DdbHw-IE($T*xO31N8a~46 ze+xEG1D$o^vCowOXP3ysFhOHrGOb+3Hgd+U^5sFf?bWdg(-x=S*$s^k29kijh z$;?IfG1Lp?GGpw0q{4(B(;-GJU%37pKA1*KgfFCl>-9P@HtP^4)V}x#wepqYp>?oV z9MGsR#y77bVNx8?22VCU8-^Oq`=%nF)^4~op&MMFYf}*6v%Y-7IJhubW*@(MOMEv_ zs{TlUnftm~0ST(7k#I{ou?X%;ClU-v={=h7`ZvO|4DiD<>I`sW|7>Ek;g%ORsE^ev_14eN2*Mn?<}_n_`5_63a_gtV_sKoQqL4_UA^o zaWjbyy66O*#+CPWKS?lYTv-4gR*fswp-&PV8&~k%ee}3Fs4scXz2KTP?4ZB&Tdrzr zR*bc}$)^IvTuaSG1&I&2s_o{+N;G>_Yo@n;$M(CXTxNd{Dx-Xw`>MKLgZfvq$Q54B QCb}2}n7F&|iQa4S3wz1H&j0`b diff --git a/sofp-src/sofp.tex b/sofp-src/sofp.tex index 6681e1e1a..471334341 100644 --- a/sofp-src/sofp.tex +++ b/sofp-src/sofp.tex @@ -269,8 +269,8 @@ ~\\ ISBN: 978-0-359-76877-6\\ \\ -{\scriptsize{}Source hash: 0b6314be48493c4785d3049162e147d8bf855fb7c13434baec80cd6beb76e2dd}\\ -{\scriptsize{}Git commit: 9cda9f594d97030fb053e2e52ceeb3647d24c2a9}\\ +{\scriptsize{}Source hash: 3d7efdfab0b385b97cdea2813011a782555209d2ed6d71825b1eb202583da478}\\ +{\scriptsize{}Git commit: 281e2be2f70a53ae499592fc46d82016c05e2d76}\\ ~\\ {\scriptsize{}Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License,