From 0b7e73dd8f4898b08bcff8b8422bb41cb9ab3ee6 Mon Sep 17 00:00:00 2001 From: Fabrizio Riguzzi Date: Tue, 7 Nov 2023 07:15:23 +0100 Subject: [PATCH] fixed link to gauss_mean_est_user.pl --- docs/_build/doctrees/environment.pickle | Bin 81652 -> 81652 bytes docs/_build/doctrees/index.doctree | Bin 484717 -> 484267 bytes docs/_build/html/_sources/index.rst.txt | 2 +- docs/_build/html/index.html | 2 +- docs/_build/latex/cplint.pdf | Bin 352572 -> 352519 bytes docs/_build/latex/cplint.tex | 4 ++-- docs/index.rst | 2 +- 7 files changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/_build/doctrees/environment.pickle b/docs/_build/doctrees/environment.pickle index e81f3087f809ce9ff8278a314d2468e770df6de8..5d8af4662ca09e9f450ba51acd044ec941204862 100644 GIT binary patch delta 24 fcmezJm*vY}mJJDttfkemahA=girZ5a8T(}ckS+kfC*t?=J_JTc8V?iBziKb|bB__Gn zsEH*SV=sxF#Kbpt<6|_jeY3OY+eBir*9#LD;XfXpVD3g~NHLw5TYcaTZPr6~%FWX;F^bF(XvuVuKo{UtapX zBC^RFSC$o}aBLUT2j3s92jK^y!YgmXt)kd8O!UO~ty+2PR8EZbUh4Os|MV+9V2K~D zYc8saJZGVBFgq+{6;(yL?d|Mm$z<8ZTYi(Wzm(M zdA_s4^Acwk#|M>#LjXRG6?G)IS`|@4f<>2LT>A^DG_Q(?5dkjviz?z>iRar7Qba{p z^Rp;X|9`mFbAi8(7H1_D=@O1xVnnD&cfkr&Rj~Yh5RO``s3Ll~V1r`G2q|rVnJz}V znxo>xUsBq^`_;W#D5LW-TKeILYT~?DDA7Xj<^ZjvSGonvi7t-ItBb*~&YxXnwq}4c zDPEKlu+^WuQ3u!5AW!UMA&#y7|M}0z9{qf=NKFxpW=#>Pu)^~`8C2YRKrt`w%O8|R zL@x$6A_Uz2gzPI-ir^6Q8M{HcyeA>_~m(HNp^(sc=7A0eMzP zRH`d-1*8PvnU$iH^GH2WL}2d(Q9AEth##7XqJ5#P05ZE@M8D&tN{X|8B6Yp5-FCg- z{pQkZDY!97WZG=7T(Y=}7wU^ROllyS6`J}Mhb0X}A%RPiL{X7~Up5r=Bw6-%G)f9L zqTW~%khi^ORahN>!=m+4OIm6^MSAs&9yVx^O9#wvB&HSn*kbBZApq0f=)uH{L!hIp zmjj%?H5Pwqus=YJh%O3(3*x=}oRO(C>b>s}FS6qQ0(cn0ZvoD8&BYT9{tCeF(?m-U z#q)f}R`GtL(EbW=wn!IQ63n88NQS=!s3G>UjToXqU~x5or*{x7Lv0x|hkwi?sr3K;1PNJ-6hL1am2+B5$n1XFPiy4G?rL*WykL0ct!9BW& zaxhS;Q;nMTbP>}PBo!vwjR(7mcpKfn8+H2v3*wyGP3#da-CW581=cdsacrx$2(1j{@1-^TcDZ&AINcL^0}c8?OBqmLLZapa&LW4T%O8=meX zra5AWfLtGiz5_)_-u&wRqLTB2zT*FcNR&-=d=ex_8nJWA;=aD3EMDs`;%I~v9Uz*E zHjDxZC2(6!Jybr!9%}7HUv4I(76U~dJ#G#Zjl~2kKZtVBBo>6j28l9a9L^skJ`f4c zGJ|CTCUUzUP3$y81dDa}?hxwC^&T{9B#l4bA0kE&=j@@Pf=ldow%FidViW;$`-pgR zqO`aY-kc}=oxctf`5>+--G66nxK;vNzC)?^S_yY*{^K1QpZ_r2=bCMP1zeXy@i%Rx zsA(gg4ipZ|A1RVWVf1~6@;otPN6<6(UD1QQWj8OFp_jGEvPOx9qJ|4}bCf9I9afUN z;aZ6$qeW{9Vw-N>XfaK)m6-*j$A~P^O~OJbwfKwPcyNr8`f7}5ZyPqkMSOLvh^AKQ z2TU4A39C|xJj&S4ZsWw?0_K)fV|fO9s01ha^%KM}SW!}S;|9fue#R7r($vf$w8%o2 zj7m)suLOLf7@12vT-`HQ92Rh*q;l$c@>8p+G=48IOK}1(O%)>vOcRhu6@PH6;{^GD z=Z3`Tq6^lTF8W#+;rQKjQC_^Vi6drE9}sa)7A3qfGemFjEhR?;xyW}WrH2#PYNnXt z8&>M=v2X(OXNq8{lpG2hJnTrHB?1K0E~Ol@(ZeBMyeE!BN+~iU9B(fd@sM6h4opXi z?%O3m+UjM|cy~s5xSKv3LHZ z8;Qux3X+oK?2nPa)F z*Wf%+8++x^{AFRS{g8@|Q+c8ceEl!fmW#-7jTTXIT22n6iU5wWkzzSMTO=;ggA5DA zKNgE~a7|hlgZGz+28HfhHpoeBIo3t7znI-*rypXN-3Edr7h2Atp$9 z@|H{HGN>11=iZvoBnb0!v^unAc$5n>6et|izNDeo*#+`F3V!(GXTpo%nE!>LiuPsB zqMOBS0h3r0$G9MCh?YJJvvBZtGy=<KzaLKiekSz?YW(_gwn>WAp7)-+XIPJn*2nyPf*wj79OtMd9Z>`-SKr z;D)r@GVcGB`)&j|4}K}GGE4^fpDrSr^S%~C0fIR>8BoY59|~d zAR<_K`k4odUv`O^P%YT)?z+KTXH*MT?pB~BU+doZ=^mO|(p_M3xxe>daw&O@uw<4R zwwJQhvcSCj4VCbNJJ3W7!R_DBqVDxxF&KZ@BNAX(FiyBClIY1Ue<3v)6wEH~k3|oN z(m41VnhO_8x(Tpc3BzE_xlXGdR8ns2mzB0fV?Xr=Vhf5xgRT zNeqEHAvkXzq+6o$CLeTQ%M&!IEVRLSZ{7(eEY@7}P_XQen#XYeDX|fbDQVt{Vu2roV6`(;<^O(~YO#Bk z$O0ZBx1OQe?S&<%kcXgaXT@CbF6|0wQ4Eu>Qs{b@Rv~SJ&Wm=UJcDR!A@+g@u%np} zsLQ;HFi#cDCvL$cXjB?~PeMRm%mN1v_zha()AJ%hG{GwuMKfqpI`7Poa7?{KyBXaS z*Cx32k{BZ)G6H-hy9T)6tSFPWEwlh661M}?(VzcBKAogkDi%=+3hOH^ie&@`K+Am@UB$iPDS5g5u;Jkkoze1}r zJch8$En%o!?dPm@OMI=1u1aLl5)cc$%Wy{PS_bn&AcsnDu6l(#^6laD!Y z>wQrguDQTBytNiKC9Ckr1={YTMcW{0m(VfyPg;(3wOv^mlL|n29Qqs8OU)CY0G@wH zyI)FcmUSu(N{fQ*wcTnWL3P?e^y-4@;jT)P}y%TTJ0Kx*{C zfq#nz#Wsh&owSJ^FU%C%AbkBdtx@*7*kYl-g%?iyM}$kkvVg=>|4;__{BPQK>5AoF z&^$o^+IN{HesNPx_=l)QM(b51F#V9;2)}qqtLcCjqNr>ki6y)Td_$_xVC;(JUWtL! zx!C|}QCAQTz7kQy{^2Vz($_!iUmD}c*CK}4@Yo4|iaZOzwi)PeD9><_#6_RXOm%k=~FcDO}r-*O|g$ zQ{ZGD2*Rib6d<`i5JIT9AXiHfkN<_XuK>J{UlxERk{NjnCl>?*wz9UOJ8mxscJ+vb z3jrr|2U}z`n97MKh=^Tvn>>!{n0C#lq)erAS#?#5}N}l}bTFn;Yj$ zC?|dEvrjreu9dC@vtDT^36Nb5^L@0IFhH@-#+#u~jauze z#eqB_O=PemyPVP=Z`7oE^P621y*F!;`z05-gU?=A$hfj?%{?lS=}G4W5%{ncl!cF7 zFgfcmti6`tT}W-X?zWZqg;u!|DB~P{t1*Hg>N7og}e5067q;XG4$;86FAo7DT2hh_M0b72&W1$a<=d za&JZ@I0P*fLNm;$3^SowxSMA-L#PR5mUCF^m1elD3ilkX4=XtXqDV`a9**lOnsw+9 zK%5Sy|JykQmMVaExD`$zm>fmb=>Tt~LXvhQJEEndlCI#z~ZI;gZ5UN4#iWp@%C5?l8pXT*Ut`2F^vO z76e$R4cDyprxC@ z`EFB45+WI6TT>8nO`Td^_A?}x$BymwTJ&U(rMYSFK`N|(UP=h=Z|=^~SDV8w7-30i z>!xu2(t=6^ieZ+*S@r$$YJ8N(7R5lG%`%A7_i6?5DsLsMIcZc`PEDgqm$4ec7YYF@ zrc(;`q&#c^eoLpR$y3_T3gB(AoKqEZTS8TQltIQ@Oz&H?+gd|qn>Oi3syhFJIo+sh zb1|z81VgTJM|-z%c%lugrX5bgQm2==wyoPG``W@7h^(L--_?U^YCHG@YE)45X5;qI zlS(+rf_L6i@Jf4#p-ub(9blYqS_Se1o$lGYo;46VP?D`tfd|3!4iF-GC?#uPMn_1o zAns%0cWr3NPS8w3^P)wtC<}%bp;E&G+!gfK$ z@d)aqtPW;%h-4Z^nMfbr?)hW?{{D(BgUhU`mB`8I{_7hd^T}6Uod+DdwbN z3EVh@rj_=Qs*}gKq_(9KaTZv#lwJo0D@q<+a< zymA?toGcIRYK(-MRD%o|34KH*yf6|Ld*34$QFq*lR41>uBb^_;3xnk*E*r-i%Az9o z!1G94F&gT_bLNai#!wY|J5nABVU;m(gLYl#Plh#FU>Tz^JsKCxrA5e8IiFqwe=h0Y`7Q!4se_DpuQi?)_FD`Gb;rR<9H9F#cDZssU!o(TA{5+84Uzn12vJ5p{HO#8%iP&@Cd*l;@7^1+qsD9OHZBN5++>mbhqr-CSo zXFjud5ct)Hut2h6zeyWur{L0hh^8~%?H@s1C|6mztiuKv@A#1{kc$f}^bu4<{Ua(^ z-y&_MNSiCt6pNHrZsWy|&PgA`P@xQszc0g(Yi$~}^#2dR1uer#}At6+{2-uoUh>m9bu3H zWpLYB;pesA0&ukEIibIR@m1u(emD*c)$5DtYzOUGt=vVk_V_A1+tYS^2}dR!4v;m= zl%YfveVlgUvaXQTgeF%&a=%|}wi&eBLkmNT!InM5V1#0D;C~p<&e3ON4KW{&$$O!_ zIO{^$bWO3Bg*RV_`rT&#!9GeTur z2UP4K7>kjI=%}xL6nDol4`Htl!A9uK6p$UoA&X_dgVGo^iVFYvN1zdmVJIcLqDR5C zrJt=>{a~?@k(+lE`UBE67uwQy@4MsqBa}Xu;nMG64J;$8Spkrl6wG;ABXL5KnXl4N%y))c~|~7i%Raw!yRSI?I<-`ZY#1=lI&L(nQO;P z6vUz@VFLI@^W%Wd;|ggm>Eqf&hxZx&Wz^p%^F2#^QA9PkvrZ7FTOzQdz)y! z(wKghpF#H?>B-x+Lw&Ulupyc^u{LAcC7P!*qj`^Zp0DPE*MqepxaSg7EB2*S-J_x= zvGRHZJ>-ZzCoQ+imLWgEXK*4~&8`J%sOn-O59TDubuIMDb=r_>Xv6trj=<9DpOkS(Wm5;}7Ndsd6}Ky#sW%}) zh(S0k-#r2B&4(i}Hpb>(6Q(NGV`J1p+6JAc{B-(Ps0ZkRd)7^3G5I!CZZ|AxazODJ z*;g@dpOL|CMedBjs~1I6aK^Zf$>5|5wC$1@O}o0pvJUKs;Q-!7j9kZKj}%w;Fomaz z_Rkn~JVwuKIvxY>s@xg$bLeF{B>0oH#Kb!k*bkVm*oMRIKrg6V)jefFRYet5RSm+Z zs?xpYuhKTE7VpvgV{0R)E9j`u+g4ShudPDACDGH}=rmn<N z*Y6f2Cpy5H`3S0NVy+~$CYt~Apu7468VguaRqZcqP_pT#T!qVK-jdtN&EYGmssTPn z5A8oBbkX!hxr^jJyfMH@08&rFF)WN6^@GhPFZK^Nn;Uj39$2SUCGK4LR-H=c=ucdr zE;(8i39=%zCV0iN(@B>b$@*jolF@n3vO$JMk$+%1l#l&au7%1>C?c`y3tBrzV%7^v zIf>lph>W#zRnkjnfi+)3M?#qYk^&?=Rt5-F$zdAZfC)ZAi9h%ijE8JD|7Orfap`Gu z$$m`*Psi6#5qidYOg>{7&BsQYQyU*0hZxKP%?lg9p)$Q^EF1Gs8k6ZMcyV!U4y;rn zT_?h@j`_jrSQYK7W8KmI6@$cTtN>abVMxCC2s8thd+-hLbDft|v^sB2Ys^TdGWC?E z(I%6ooq}sh%FnU9KB0$eeey^N`59XnT5lkT?1{%x`3o!r!boEonGaO&sOz;OO>LNf z;&JZ%Kw3Iy>slSz#`}Tvq!~L!RC6`+R$%csN~YF*?i2>mZIA2Tw8c#Xd~VX&Zr$di z#SrkOkJgH6D#@IF4JbgDSBZ(#Uq+djVncEYYSkpf-ZT_T7~&`%XNASkLRtd$DMVY= zge9$fV#OORUFF^xRkDu?Yp#`I-6GmL+Ttg<)`j(FZgi|#RGSJXNMm`o|8EOGV|IzJ zMyC*Q?x{-r${hHF@ot=~Fe?-Mt@+9i`xnzH6?-D}^q8+M$EnP%bbaBLfxdp)VklTm zrG-~6tpc3S{j_Kef~qOC-guCVD4{u_Vm0>&jH@O`Agy2bl+?V11WAu*8uhzevhoT-NSRp`FKfwEdf36xhcvexPq;Wq{Fl8Vda+O=|8Cp=${ z1_xou5jZrQ{h{_!-V4`qXcOf{xVFr@V0BKJKGoHwJTK?T2(7H<9jKa1R_6{g3rQb) zVNQ(ZmpAC=L?~~y`>OVX6}8b2U!A+q^mF6l^h(-6Xh_Ie`g~|no%fE~R>#oJdNt7y zld5PFe7lk)&k$;eC#%rNYFM2Mm?2k+`T0OMxf{89(q@p!p%MnB@=lF z7J#C%7J%+Mb0Zv;!a*M16Wljne~MMTdJ!yas7C$qS%G~;6(#je34GL0dkV4fs)Hh3Ed8BvjkSIP664kU+BBY>EPu+Qmc)2_>{&;4 zT^UXr!hfV_^(5HNXfVu%>~5-Um;C60b9i2hA?0BjLwpiRYwn?WnBQ2Nk8@JB)slk@ z&aCDx6F9n7TNXrnSWuvaHVHnrEU4a5f~JVMT^skaqDy~6<#QV z_uxhp}m6e8mcd9xG4OcP1|VA1;o{GJAGGMy10{2 zgF7XzhMJ@3$!Atqr)y;)%>|Pa6}>Z4w7pi>KKks*Kx&-Vo@NN5U|s8=t$O+5^_q)>PV?>wGG+Tk!Ey)xH|m{8*;OgHeEub4{9lk)^*l4zzNIB1ecY5 zxS)%66E2fqWJ>t826xrn8k`bjb8;0e6~FGL#rZy|@pdO&#=pDKP`k{k<=Ke=wQgGJ zytSP}BrzY^T*j;{ts)l6q>DtQklwYaBSEqkX-UGMvl2v$b_*o0!YEJ&I&hM$^y^8M zmMmpSlj?b>KQ&wXi*D%?mUXDIwFd{U9A?fFJv1R;Kuzx3CB0lx?JU(xYa?JZ0pu-< zTqT6wKkKc9$yV6|w5`Yr(NB)J(KTI;78`AX9(^g;2;!<2_SulIep;+cz-hac1kf^V zQB6)Mqv?SeziTD2>O;B$_N$FFsz1%M#8jHv(8E+2!L+w%n;Jq{hLcIaKtQ2D6Y6Hss-OO}^*k7C+O5yct2$AVV@>1vf%q zEgodlN;X8`mFZeJ*y;lD7_(SSE(c}of%csXV}5(Bh9YhX7hSD2M& zih)#)@2bont(EZpm;#@s+t)7oRqtt&EiAPa&PAjz#^zF}2I8AB+CUpDZKo|K3-WZV zc8P4_o=tW2tiLmOy!HYpjVI62TH&s-S_1w1!%130)kM3}bS;o>VlkIQ957iMWg&}U z+z5%a`2yKn_|rT=6m?T;vl)r>@Q6BOEFam*(?Mz6HlEfuSEtaBWQDBVem3zlTZPqA zwGa#Jx*9_l)+_~^P1Cafm-w6wu0P$@KP2zbDsPmTlWu)VVrdBXswG8ZD^1`Oi zpFweAA+To(WA=OG`9!=lQ|qrFt>~R6tMP|fT84%0>Qjf+r!{P(mG5b}HcwZy)9HrA zWBdEsM>gYbc4Pi*>dnO3+?%ajy~zcc7$uQZMlxF~7-ytqb2WNxZ$=$8+q892`8(Im z(*_GzR7Xvm^8Groika|1??-rQ0WD1y)!|p{nl04geLt`Bc0OL@oVQS0AjBdJTcq_7 zv}a3BaV(NpvIH%-SgVcNVy&@cB2!CemvB|6P?B})+}*7+#w^jUz#o>%S#Bz4d(`}e zcqZjpspLNin4hlKp)209V6j2&ORxSe_?;B3t_^oN93oxt*~_)={|m3{f=^tby<@|R zuB3@G-31!AQtJoL>R?81J>GDui*c*8M=&5kRRFy`3>>*yyA5L!FgehS!})78-LBt0 zU8DUjX5!;@WFOx~n4iE&bSAx0C~qTJAWm=_7(`9`*U?MP4Cw$n?Z#;zYV|C14nn@R zbi#%vucuY&Ow3tNBfyKwc6q>hV7)ey76mmnXp_AEOyHsWC_$a9-cP_s8?+bnR=4kF zN>p;PeVu@jA8QBXlMj-#Pv}N(NlgEQCbB?AQ~M^d0YiZM4cFh&-t}zD;{h zr&1)TO5V+<-dXJr6T^y4(hHS z6_r=6#ZKW>e1X^m+Q|KL%H^%=c( zP4vLbbfVPiyBpL~7~LmF@7+K6h8v`bMLd zA*T?3dBE?I>yIn;lQ-roqaW?3ikM=uwdl>!pAKua#U;f|zCH}+>Zvi+ z^N2Q+t^(gZqFtZ|dAltoDE9Gj%=lirK#bUj>unKo1Kqbi=OcV{Ohui%0#WF=_7#NI zS9WZ2+uuw;(e+vGW;ZAF zJE@I=UIdqY_sL0ZFbuBGrT@tKu6`?m!>IElmfdgNi%qEic9#**^Qg9$lC;f|B;7ml zw3aDgv9bn>p0x*;>PJ|w?DzWCO@d#YrCI6=%l<|5@uo=S|7iDe21F{zVfp?2TRuU;nK6Nu)=wsMMn$KKyx*)|a*TVkHyb_7`C- zyG*myUFE3L9##il(YiovqU!bY9wu<~QoTcB)mJYrDj=N=X&KPUqWH;bTn5T8Em(U)PWxVfSbzxF&gZP2`N)=Z4Iv z^DQYi6hsY=oi{08(bh6^Y6UA~h2Hw&l2%L0Ft52JtlWu9{r5& z9=)Z7!=6OiRxiC|s3-vgj$!z3S{hNj^P6_c=F1tW|L>HMZrXfL{;nn3U_Jq?cAHA( z|JvY9w`onsS~aHLI{1LH*lJQ=t|~2E>6V8#uDL^HXE4L5J?IbZuuW9elZYzkpd@zW zYVs$FS~RV$zN3|+{W8f~taiSVzlfGxR|mS1BsqN#yQihe#B}hU_AX81weD*@9m5r$ zVUkdN<6tmexUb!%{b$y4Vv^EwB8EQHI?&#;Y;{Z|Dh|kyM_Om}f28#RLgZO~@gtJF z8FxL>!fBsNa#geZrX-b-VjgS5B{FA$iAgdGnD=E5QUpBH=o=4z(k2?+7L}As45JjD zenMNGgOhkty!S+#0Kbq*@;dNiHx+*MUrMu&lGL@lzm@9rbL>;v0C~hhyq+++;`8t+ zmDYZk^A}}pB^USprPYS8WPXDbDkXDGML${1uw+*A8FO%wnq>hRCiDIkZhoPahZc-a z?w|b+t(x8fWmzC+;g?!vK`_Y*hrXf+R+4!;Yiu&7T(4IiN(R2BI^;d6WE`%2?ZU@h zueGy)$!h$6{DyY3)+Wn5DL!4Cq*oQVI7gr8yDjORwZ&gcRj zY@qhGQ=L@`=z|1wX`o8-0+JvV*9GY%oOcWAlW6CLUR;#XS4ct5RM!2RUl-P2=yV}3 zHh^A@olNhL@(T&M4LFEKH;`ZIv7vHt$*&|VwxMcq$;7U0xs41Ynr#7kJw;0ISIO53 z_S%ra#r07@yyf^Q=F-IG5WuLMB%&glY|ylY-q0 zoRfofQ_#CslGKshP<0Xpme!l%mNj%uEvU4fN_%T0fTk3A1*qe{Q0tb_D=E}^W%Md< zp$<|CC8HTik!&$p^)97azKt~52LBeSS0*s&E1g4q=Z{%odK>zT18HR~jYC~_lt8nr z-WN71V{mO*-LR>4m({$ zH_zjN2>ld+*_)9bWH-v|uP{DBFD+jI!D$in)?Dw3dH^@^`y%u;gM*dyI=DZAUQU-F zc-9c}PtZppmQ>W!sj7BCOF$LR!*IVw9Q}lyT#164rUn-qy|TVQN+^nuw)$7qNTz_mIMJF)B8_A+>7Jbx)2zgN@rsB|OJx)US zJ*_*@dTg=Tq>X0^kYw^LtKp3}%By;?T^ggmN8i4YdYEylo%ML9s=f-ou=J?zCUAC- zrD5UtR@r+%5?T=ufRhH$uGUG#tF{NP+tu{xa82>THP!9T_jB&7u8*J^t&y4lqEqzp zG|@}X`P`Kj$YfXr?^oBW;H!M206wXq#}YQ5#3i<-4yOX37G0_)2K+@F$wuiO!|caNw7urQ9))~`zpnIP)9JYkvJRiaq| zpX6cl>;yd*1~%q?#KgL`&HmV_uKrSt!80|9ii$J`ve{H5kThz)R!{FqkL3D#maGw^ z3S;QCO4)m38cP*0Ceh8TS)#r`-mjF{I~Dd;k}0d9tx5z}ZU>U|c)EYdBDP{|GQBrz zf%(4X4I6SjSo@%x6U*vEM7QLa<+H}bvUZca?FZ`Mm?p%r zh9}3C3NSx~rsOz0m_jp_#mVW@RF4$cHbqaM8%aZ&>3Q^6(4HbWRf_HBMwTy>vnr|1 z?WsC_25LzYzV`cjbG;m_X(GRBLrv^v@;b9<@$a5?;-eNE>pVUhwA4QrN2COGzs5{= z;rlrgTItOI&Ntyrl1=G)JX~wSQ`q??+&K~?4|aNG(8ztvAjkP8Rw93yq0Tt>L0?60>sIZk*RkR8{F*8|c4X_-e5*8l+YUc`mQA|{eofy}8b!9Q4&MkMk9qv?Q4hTvv~DVcf_}Z% zQ_qk@@)A|crKV#^FPbs>*wCfDbSELD_jdQjn%??dn5+n>P;hs3Rk;T^oDiF$e92zn z(B(zhy{lXxnPzPA$?xjLFuEV*=j{rPEBfg#B$RyU)r-ACb(35?{obFF(HRULpl5jh zM3z$oU2Lj~#&h_|0DUXmYRaQy{6O;deb%3v@a{l8Rf1%v^pgzFVa_0W;l-;NyWVR6 zw>9Pcz^a4wArR0^b<`jiatVAqSZ@j87R3-Zg>&{0JxF+0Z^rt>DN3*53PIk6v|b`f zvUtAZ!E@0tJqOY(p6|MOV(T30fNssWL*DXl4D@NnBe@$LLdZ?pZkRKQ($;7XuDgd* zZ%(qfj`iT$afChs=1Q(sk1SzcblLCCyLt{inALa>R^>KnON%-Bn6p?bX|ix8rGHbx(U!$#>f%qdE}bz}8piiKat>b+>$)O4Ia!aFjRyP!Ok z-11AS<(yB)=^qNHo~k-?h9oS9k0(;CbZ3Iz1sbNRk@ubgNUEwQ2rg4^t6WOGvl&F!%y#6Goi?TY z%{f?OgK>(UDZw&I=efj}z-CjaeV3){LJwV!TDmUsKpr@a47+F{FL5FJqu+G>Dcnkx z^KB~JSK87~9*Oki4Ni9vZl9(1radi* zO$TbN-_v(M+2+zCG%3?p+-B)1^mR82y5)Vn0zp}@Xlb{0o2`$rXw>&+U(VKJ=$bq$ zK-gTi&@-$f-FTN~ly1(IKoBuHAcCDGi3ZS*&Js<>9l7$(g<_)aBGQd#F$y zw1JA0;`n$GIol6|P%lT1{1vhY{78?c;Fl2aYe7M6Zn8nVvKz6ECc zTf4|Po%rG7WyGyW3q1IXUP+K1vhG^-gXzEt%k_yc!qRNmWHXi)#jMmwoU}sE79*un zSz?Z2II;y6onl6-R!h~j4DuP-!s@P~_;?TPGk0922UvJ~2$r`>4-sFw*sxwBrC#w~ z>!hc0Y~`HE`zURRD+={ei@a@{f@uq$eZvl53m@8G#Qn4qv*6Nqpta;td#MEuJHQ|o z@}U%R&K9D+#a&oyKB4t#=axLP_h>0+_ENa^JH23$UOhYyw<_YnPxbeU4QTmxLL@Hy66gk( zR{pqdBW2_%O4>wB+oUJL#FiXhpD-4Om-Fc+y@-Hyq@jG#Lf?~FZy6r8l?tbm3YVP0 z9k?FXZl%Cl(~^hrO2U-GxZF1V62L=CovaYufu(lnA@EK-KOW@y&beP zdhDT)qm}GHH=ajC5uWOXo?nqR!Hg)|4nCu@gn0zhhvXVURU6`*{I%{QB#KOi(8$$Z zW~c0LPq7_s7&hOn-}B@)$OXBuN6(VXI25||J&vX9d1{g%=#Vx==_ zpFUi`C#|?QL@OE5u)dWmUBMm&!6o}?j$hx(BhXG+kf8_k3|f{SJRrT@%H?gDmNvS= z#m_nQpiZChd)kV31>kinjzlv}p7O-XX4(=MU9520+i^$jmk;SxC7gW}md4|Uey%yJ z|DSB;=_TIPT=b~^+J)VWn|+?PvW9;eUjJ54#~0u0-NjR>a6HaCMk`b`(KgrG?_v4&BxDA=n+JuN{#y`^f|C7jckj-O+V_LB!Hu_ zCx)FQ|CFN%kay)z>S>fn51iDqz4wvLH2(LbsVZWpv&$)3dBCwW*R@jzUOTOa(fZ`g zX63Hg&gi2hHp@ANzGq3!&NQwqv(D=K;RWHJqX|;S1y^XRQl8RN zlN`=?>Kugv;mX6ld*{fiQt7Hd-7P!LVlw1BbzB9^zDyGUFVTlxpsJW&$gsE(EdPSO z0xG2Q;NNSJN}i`K>TMv^;`xmS&!Ly}W3<=DJPY-tLD>B#y%x>JHc#l7t`_A7Jh%n^ ztT%^uEpFd>aQotCeT$eTxpknLl6ed}R2u(#nKmk?VXG^813GZ0=IZq8$Q6AcOjD{J zQan_b1657M3Q-=Jy*9?_@gZ|c3^pLFbyuQwMjSu=Go@;qJk-RBaA_a2T*F89)T@ccn< z(a1T_`&a$7h;TY?=|==q$nc1U-+!fwa^Mi*L*KXZ`<+6fT86rg9D_IWsbZY>J4FOh zaLWEcvZe@sNO%@&=ak!eK@GZFJU8Be<&qyXqQ9Ph82<^ot5A@RBdlkkv z7REV=v0I68W+-1gdZ4%UIVbVF=%ZS``0xRpI_&;a_wnXNdcVUWJ}-&SyiHu`5tXQS zGH~W2J=6P+5_ZqRzaa7d?`{0ykI5ebS3TBayhUraNo%dNzbMh)yp7)RPkoSgu)+&e zcwUzzUh&r4pV9_$l^5H!G=m4`yeIlbM-4?&9h3e`Lv|_khI|Qr-hXwv2GF3j>hDkf z(ksx6cIq!Z64F|$f!~~9a^N?6roSs1;DKi}e-S<(zKjVoy28-boLol{{u`Pl3C2~o zjq~KWJ_x2OoVl%0+%u~BG$389P0WW+X+Pq@-+GFRY5G5UKUkp%*0;ubHOyKTQ+oY& znzEt+HhH1Xf^CdN8+_s=4W|Z}_>wl$8?@%ka78+W%;bX@uUC46_ZdZdsVz@0BuwT`^5s#J($J)j5$!Wjq1T$ z+>TX+Q5VW6TwEgz1Bi*dp0i6B?eZr4?1iPl*iM&$PlHiM!elxts~JPQ7spv2bi?_Y zF%{}s^6t3hVU});^KQ|GBPUhK^?K+5k28!X(6No`F?Mct8}70GZP>Y#8C$)fPVLx+ z{r1=*l`2g4GTOleOXd>~o)sL%WSDIUd+I^)kHe@8%Pop$ZVKmcZ-Xu+e`=BZ?Ll(H z$4CLE<(#Af>>L%GoeLOW3OL+G-c*Rd_J7cKNlvzrQ?fYh{HTyYFPI)yI=@ovRBCNs z#E79!cg`qcEbxA+-14LicR4(2<7{2jpo4wUmixy`$n(laZP?$Ne2sy0(zGDNi1X5{ zcD~nC%(x%~eUGz@K}&^qY5OtLpSrU`TP_Ytx8-oR;XJ*B1{k#Zp*$l+~S=jiyL1FI{1+Cmy{$gkXkZC0!tc4XyVT=Y4nFdZMoy#Y0KX| z!K4j_7p^X4ctg*&@&k!=@wZY&jPH0U(&K_rPmBmOIuQ@HfVb8+1RCXGp0a>wmsc_t z5)Y{po(giy{v*iv12$T|D(O}hBSOem^eNL2qo$>&^IC{;PSD0L326+cn6=}GWjtnw z8fCC!D8UJ%zxT)MsfV%;!@V28HCsi=k2xwyok8%sgffbF9A-kQbV{2A2%8LOm zj#Pjwt7PO6m>DK0G8OsbD;p;@^sQu+mY3BXI4s7fNW}&#L&b*kLX1Iads;i*tA7-0 zRHl-HfKhby(e$FaBO}fTmSDMpujkh1lYMa%{JSJs1aA4w3>V*eknM8TuWrzVqFwFO zJ4HG1Z#4L$avP^QbboQu0p#b;WaUJ`lCVBQRrKc?Y?zh7+wdez$^vsu^ zKigW%r~*FidE`)A$=b$oNh*0Zuz1S6bFz`q5J%TBzJ>7isz)1ndS_;W(H%q_W~9)F zhQ|NYI3!ITiAQjKoj_sD!od3V~Ygm}BX^Kh!MLcsI(Dk1iegtyysLfp~9$N;Yn zssnl}fC|rymPW8nH!!nX81Y_xJxC5@(1a0gkqq`E>CxKgra7v2VDWK^a;QZq(_HcP z)Dv`PhdAP+_LPDwB?@&g(jZN7#CaVUpp@9yf#wZIrsCL5aUAL9=uGKs^bjzxgPQmb zbuqfom*$DTx^g>S(p{TV5!ZAzD!O0I8i;ec8e@u0BdBKzB`&t&3=rM-;lo{XSCN1j}d z;;P=pF$t05a+1e_8%TLj61WlDDaqk@a1bS~@Qy5biib0!22-Uuq$39@?jP)qkE?@?3NV3$%e+6s zP2o%*VoVn>+fsGqI8t>{M|@md)bX~|nNtSW454{x_An!c5P83gx4du4hEEkTHqW5| z^n@PBA?RKUT6ws!PC})pX1S$f@Cc(fTvYmcy>9_zYCAuI^!?4!ca8!m-!^^6_*uXc zPlaD9-#+Q+-1e?kIDh)&8ai!6XlD8G#{ z76_=;N%bJRrEVwL?T%`ltSDPO-gqAuk2jVO8p~Va!Fb{Xqaw7o7%x=-XZ{3Zy?|bx zOb0VlpI#QzIWutWc%wLeH`&O+4<{Ro37dH@_u&10t`P+@E#4~?03YWXUA>XmP-0r# zNoA?kmfQtXjJ5*ScXD@Kfoaq^n>(rfC2FTniV=9hv~b)x&4`2j3WDXQ8-oep5rO9{ zNYD)9Z%HCMbgiXA#!TZB+_z+Z=u$YqIeeDU6yT+$@dgVb-Rw16#<)*ssTrRdw3%b1 z(DroLEH$R7io7_-$d?#W(w8o##hpGM7|jGkbyj`nbTh@Z^Joc>&{-8J&E^}m=&QIc zh6%WDzR{P!yqlJ~fC`3=E~up91V&&fZ=VO(poPX6kt0##z4p8Hz{EUb4NSJwIH&+B zQY$Yq_5*yt#^FsgywMkpB!Mgrx9v1b<6Jc2JusSy&)h(-&Q_q!U22rXgyQ6j50)B% zgs%GIuVy*Fo zfSO%YX#VKo!Hf^7hnsX!9eK*~VD3peF`T^Km&!LfhfBcmqfY%us3oJgvDY?PBQ+1HmmG}`#FF#?t= zjp%c39*7)r01rO-2qlEh}zV06Asv{EWijuto8U2gUKtG{c>@C~hf$ zik!)x8$;-Rr&OAb4^L2x++}C`{36YhHx%07)?-F2?%zst(=S~x|G4oEykQ)Njf3^K z8?|uWO2Y>ew^P>;8vAj{cJiZNSN3C2SLMg5Ul>K{>+s~l3fS)pqj9lvUElU25$|7R zgtDwJjM{eD5x0YCpSoRf!4pvRnAO>*cNp|?E$yp1jgio%D+fv{PXEfNts3d`neyXI zx4tqGpsx+?^0hI}2J@aKTRx7#kV-=2wIqw@JZ^QQN;Tz_pS#nD!O=U3U20eE&O7cN zaB91ZcLi+hs;0%QyWP{`iQUEsTA(HEam6Xl*<;+H^%-ey?X0pEr<9UMu+To^r~;3K zUzKV{y5g);RB9hlk{@|=ajpGE7kEXg%W3zChe|j1O9vIeb>A5yDbRC|QwJ63hBLmR zY{jh}9-?c5HoWWC##kHfauL0aW5d}+7T0ucbrk6KKQ1cJja~HAtq=MgHWt#Ni}+Zt z5j^v-;`w1?9E|CvtoU02RG=O>V%!t-avGW8;VpXqh83FG4GZt1WjVt~iVdz-R?}+T z$*qL5;0FW$m(>YRBHGzRzi!>L1r0LGmiN3+sLOgNt zI9QfmzOq0!N7F`$S9gxhnK<*5kqI-EV_taJUi-As6T-T)?Re_6N(H=L_~SH1^HMB# z#>nxm+nu$l(_QVE)pVXbW7N{<`iresz&b z)~4NM=U~xGwA7)O&2JkeoKctL+HsOn!Zb~?zb2mf$v6sg>7}X?^dh5blE`@XXQ~cX zTDZj-;LNye%mUcdo!7x@<=x6D6}?$Ltw_C4A|Nx`D`X%RYtH5Mt(5AGZE-O-dx zt~d5Ppt5kL1)>)@jB64iJr=E$VclCkB9mcVrn_Ft`;*e!tp`SeSck9wqz)#aq^hQ< zI7%iyF{TPQWEoe(%@12WHKux>CsiqM&ay}Bh>_wj@-Jfw+{~0`fI(QxGzY^UY&ty7 zRIhs-cxDvA`Ojzrjj;H2FKX#t?C*a$gMd|^lj%2=Zb@$4@bGi0xr$|}QIz?&yPL-R zElbnTEVrpo{-J%zikNHAcke^7`wI#&0?Sq0XD^HpQO}0xFR9wG2&pLX#(poUxT3%A zLWJI-S*l;=;KRR-Y;5_;7$$M0%Nl#ARrIy70tPCz%%*OSIiJ6li{dd#twGzsv3Rn% zj^4y!t;S$CVb+#V$*;Kwzdr=MBODH93aqr4w)9}S6HGr*XmO0SRZX3-Niwu9|E7EJ z3DeDPu*+i6+RXy5?xSP5bGrGt_(AD%6!#itCLGOj_nu6O#Fg(=-Ol=V4-%%`gY=^@Q)=b@JFFmHobHpX_; z(4QbNvk9VJKlCbOmV-DO)Ta#A4XnzqrCD;c?JII;jB{DOqIo2ZiF>hy>cY+ zKgu=7%2CD)?5VhpumI9Qf5n4&nB?=1aJxRKT0{h}EH9azy9F^e+d0TDS{bxFv8{ee(vL zy{9MA;8&=)GSOTpir~6*N~ax?$jXu!)|euo2<}fZM<|FD^;K-hg=90CAla#Ayw_r8 z-%G6``ZO?|a<#}Dnqa3!W-h(|LAwxC@bo82rZ$LEd4Bz?FIO=&`N zqoSqH$2c%B#VjXg*w8U4W@At2EeTz2LmM`w9B0Ypa{?X(+CvAAi|!TX2#P)`6-QtbBqniOeaq>q%AbG8)Gxf3NCb6Sx?L` zL!pBWzMNr(Szx|@8P(R5f6_Bs{z=b)HqzrZX32tcjL<$qhlfgll5XSE_lNs%{7tg) zL)uWCwHPVLk?X zm~9A}-$Mqt?6~B<+}p$}J;z*RgE$Mw^a|}zJ2J4J9x++gt`8DPz6XdkCq}!`vlyC?R_l zmmS!zCzU-r6qk=ZxLogPj)IF8mrp&oeAtVYLMU@(_|g#M~i2 zEGHeXM+uQtfj|B-)I2Sm>;VoX`mz&S@5HnmbFmF^MG{?Cw7|K;&0uh{IbQoLj#LWy zA1Co8HGzmm<=7!pU3upFn@#@3$Oa2|2yVBQCR+rTJocCcpa2% zUiIU8F?^&+e^IEvnwr0}0J13hex#Y^h*GR7yJ-(wDDun9)8920K>hyeax!n=G{l^7 z)TK$dc^nn$N&R_Z=bdPu(d4xb45oIRH=R0*p84_=U7owqU$L-A)5n-YiNk?0gi*IY zUjnO5GUTPcMq|yhFxL|3zHPryk5LWkRo&`ogi*aA(lb1jqf`ilj2~&Tdql(YCeEgmL$HllR1z6 zo>v>iG#w94qf$GaHV)sVtM1Y@(ANfiFr6}2`T(|(zk54Qi6iVv7tJ_H<#HO#v#6X! zX3{8;WYPi0rA95@)@a!*lm3{2r$$rWqx&XbGXuwt0oFoq-uvczIOBbC#*P8%B#6eTR_Y{s`)!`HP%iQ;p7c^+FBq#-8Rfjc)T9?-M=9D(jwpvB+@no(s>%!rIDijW` zp@_Mv3^|PPYpI_I#CJ8nTWfys{~Ej2@T!Wd&Dn&RBr2C^fJg!%RE0=|gquJq1o$2( zwueAeY9WM#(!`Cqld7PmKE-&jsC)>WkH;$(5VWYs;yZ4?wd&X&;j_bHg7VlsdEyhNF(8?*Yo6X!D*-Y6i zJKjurRo(BjeZclx!>g(npD$unHu8Br3S<8uOa>e&4Oik;tHtGFN5LKuo}PHdhcbq z{i4g=^O}0xskP-kS3W1+R4vCN8D?y=+K-!t|OX*$SR5?$!YKdLh4lgL6>qEPG)!$NnNhLyO^?Xt1j&pL09 zHt+bBdeONMC|Wiq-}e?y2<#UF`^1Y61XBFLP$IQAFTahOmW$Tq0lGXF?efSfwFPe% zUwKE>Iq9W5SrgMr1Ad+j`6)D4R;!nsv{IfaX4e{!REjzNCza_L`1`eLr8B(LcD;PO zvSTeaT^%L9oROtw@*67C#;r&1 zmf@EqXOP*sULA0zTOWt%qd3|}<_6qy%?p_0I+kd*Y``<>LffkO!B*vw05Z&!4H&Fk z@Ml%z%(pH-r^{!eUCw$J_oIH(_C0jlyW$6P+%~+YzIOg(jp}K%Hrgn2lbY)}N~6x^ zvrV|U{?gW*oml)JOZ-ycsvOt<2)Tg05r@k;PkZfk`Z5Cwa8L z(+BDXkE3yeI~|=dVk^EyOE)!JacRjYvs3Roo0D4=_Wdf8h3@emx%VhbYFQR_4r0fK z**LFIQjv3y^*`PW{ZQ?7##^IfH1b9pnUB=(u$HG(ukBPYTh7NAYk9<)KWtWfjBEVE zFu{3SwGFod^UC4Qtat$2HN8agDF@tg?>f#VlUj?>v&(autKs^>fht+U5&#_;j>oobA8#Mbh#8MjM);~ci;U(kGi zqBZm28g9R&5+lxm@#0_TlNdqa25y z?1$j^zw2P!DYX3zkMuo5I=P98(hU|Ec|0#fF~6W9x(PSQ4~y z58}cHtI&w+Cj5ZirC4b=%{+u#rl6(NWnR$hkwfaF6Etn8$36TKQSoqDG=XMkG0*z> zBgnV)L67lARUWO_rC&0PSEIvt>?j7iox@nnl3(26mMt(@^_VzFtPjR9#e92IrI-`P z@t9m+9-e@Dp2r0^zuy1M7wWPTsdrR`yvnOD_YdXdRMdoNH~16=n^J-*JGBK~S;-Tu z>?QX8v#Q*Awn842jk&H-jl>8|Zlijt-ODhH zd=*h=zHY?OISl3gGWT1Y{_oi8)tPPI;{2+U>Z#MLN{v}{PAy8_ zDp_(~ec&8M$m_9uTEGuIFRSq(r;9GD7o5yWwp?YyNy!n@wh2`HY!h}2 z#KG53aJre_G^y5RTazkH8Wda3Pp+U^r=`*6*cDurYi!HDzoI^N^58kxvP+?s-Q>UH zs=Co}rdHbUPx?2w`~g;?m$~w9mEQW1Kr!18LmVVS3{xxF?dnR{%fbb^JYfzijkoWW z5?eFOqk}c@=X-RP#}vftL}y{R9@tGrx58(==$V^LVoQBFVPP)b#qghL8K-NVrIj)x zX?dK^cHXRH=HVxMra{H?R~}yTTj{~h7SVf_`uDZcSfL$yW^yadzPDkRsr6Z>K2&_~ zK*|0+@fwS4oUsw`cS+PE@zo>*WSB%w$7!Qb+x#>CqL&?8S*Uz`>4oxI!v@yfG z!mdrV)TpO*ECYTwWa$4*7-0*}2^4%sg#Nn>JtSeA)sMA$Q{D|J-dII@|D0|}@q_|< zKz_hMcEABgF1p{MpT?@|>u%BW<16f8RVMdV#J#LqsB?O?9dX!qtNtAGP~N^xHzYi1 z51bS5H-P@0h&tS#+C#fe!mIYcR{{s#$pc>qA4p2>Z!2Sm)qkF?n;idLy>x91?!zqG&Z_MhsnPdHdWW5+(T+M35N*#(`$j>Q@l**+!fG?aNli!dkOXQaEK7s z7vLdm#FlvOp9!b2mbQC}aI_!bbAmezP)wME)ur7!!b3v7TLhf$~eKG&W%_2O5>GSUI z2tUNEIyaMWI~{ZjaY@Q@2dEoxi1oACgad?~%*ySAY(m#w#P0~_ z05x+H$_h)T&3L$CS~Yi_bFWsLpXcaO=Zj?XVUF&ORqY#dbed$XS2ETo+3J%_^+}d` zB}2WEoj%D-pJb&^GSVyA=#xzJNf!Df0ezBuK1n>EB%N0h&MV30lSK1MlKEV>7MbFe z?D9!w`6R1+l2JZMCa)xtSCYsl3FMXJ@k!$NBx$^oFenCj;*&)2N|N{_LA-7iBJ7pC z@Jdd2B_F)Vg<2Xg5xkNFK1l$dbUvbjKKDtd`=rCY?j>}#SNhp2ee9L~MLVPb_N!O= z)F=JvlfLvxKcZmKvj2S2cV6~eJN&^u^VXE4u$RCxi$~}+4hUw#NL_@*IyQ{dS+znd z&)tZ=-Aq_X5P~TrqX@ywrX&RO8YLl^lavOu2XrG$B#a`gCoCbfB@rbOgorXJJxiEH zSWS4j1EOTvDI>&AHIyz8{y`9)x`$*XJhh0D@Kkadq`B#UhX|_)D+&7vpAv+y&QlV? zO704&Bm+=HAa&Kcxg;>*t__rgyH0h7RGA6LC#)bWBn-G6(2X#WFp7}h6EJ}wY`2z_ z*OU#oK$zJFFoPfrs7Z}e3HgNWwM0KbXz{atked1fE)doX0=!8Os{Do=nn|i`PY}}l z4J9GXax&*B!d`;V=VRnhVb7GIkP3zYCQ%ahEFDH}*~lMXCkTo z5+co}Bt$xf(tNB4>CPp*Hwxe<^cfBKAwg(%FD0SbD?foGG}~?Nmz&|OCpwx>ni%?7uV*Wo$1>*sC5rm?5P!fu6%!4Ep{pj70 zvL-YCPTdO-j(%bSq#2kF?v@dRt$#2HlCbpv61uQ;VF4t|)|4(z0W=bXxBC}C0&gQf z2twOUl!UgolEsC#dlfVPgtxDj;KytXLb#m?!r(PH^DTqFLMgEl5JwO$A52NOTvb65 zE+0-wxO^EU;qu*-gv%Q#36=M#hD0iNcV9<5O*mO?{yAFr_Wa7^+@(9VDV_nQFPa;7 z|1bOYU4T^^vwo^OVMai6UB8eHyHYo^>mSn9#pnivbn{|#cZPI$bJxu0z>sc9b6vmQ zA>ErXx~!0HeT*(Uq}vjs>l4ypr}XH$^b5yje~d01mxdT!I4-ASbm6#Mh|z`P@~;?O zI4<#~a%@!p^$*7-DMlBLOKOZR9G6>Tbm6#QpW9~Th2t_PMi-9D$QWHXF5VbjI4=0E ztyy{DxL}SQbePEX$yj{}GsFIpt9RjzaPK@kV$3m%@7C$~$o}u+bl=n`Yvf6ZmodBB zN=f&U9zUDu!GMw6w86>mc`Zl0Xhk^M811MA z-2?{vST#TZS9dx1BQN6d!o8 z^3r{}eY24ADjCs~_RU?4u`Wj0YBXVAz}TiV^YP;dAOD()xRy@Tg`R2FQIU1D23uwR zS4WdVj$Xu~sS=JyZByo(!u*(~@G=?El&rXB(Rkjvz&bIE=zF8CRfA?ee$m{=I_qP# z_0eZ^q>uPOrjIdQr|288tRIs5MXc^9700sBEH!y-q(v~Vd6AB&`CAdC&MVZFo-@|R zSJuajiP!SMOKXIWgRO$C$A&6Jx&YHpa;EAmC+iQ=S7z)50dq?2I#YfPJIdh&k&ndcq+ delta 43775 zcmaHUXJA#u*7lv*B`2Y!5dx$_LJ6sK0tpGBw}jpyp(mjQ6hx#1DJnGvSSVdV6dRy& zDAE+chJXd77qNgKpaP---!n6NpR?n=-^-s(X7x2|*7P~A9|^zlY51&n*#yS^<1S+C z+c0Be-k3?_XiOL%{JSul+{udQ7nX(MzETaiXsMRepEk-O{Qf7v_v`+#RBO4zIqd?6U~Ov*Xeo$?;b>#hO(-D zNo855TdWf&j7iTOvTU@^pk<>27M8Qcqj=feWyQ;;FRL@!C|f)_q~Q6W(rv?%T`vax z=Rc#*EsUUUyR~3jS2`BO!b_uvhq!EBr5mmUMR_JS$`XqlHY12p=B`LuS&k8f+#lie*a#*})qPecCaw+!0h-lo&$eYq2!`R}kejU@3H=7Bl#c zAj<5{g539OvHG05f{A@?#?YE(EQ$vNmu{HdOq9J}s1mEKxYk9YP!vg290hgq(txMBkPQWQ)1W+LQI^1y~ADp>KS zEQSUov3Ne;13Q!i#X%=w6Y>CC<$=vjW_N`W!VR4*H+1U~M4zRwui1OFzCKHZ1Egnu ztIx)=LzLTqH4#O?a=+1lRbu?h;L?C+Qt9|D=Hh20XVgLSMy!*9#Lyd!SOou7$pkVR z+gd=B-7YF>jM`$Ag(pFGyfKRfl!{}_R=l!Z`gjx8(&lzCnupM>Cd`M|vB3?RvIc@E zbDthl>i=>r-ol3b+LS#jAl^F5u|fBnv1Wp&Fuj*DT~+k#R94Jb0p+!1)!Y#+go%?X zBdn8Xa2o4f;pxhVq|vdXKSj_KxDTeWBu0N{GJjC8mTU+saD&ib^i?ZF5M{8A6<#Sr z@oNUFz-Vulq$uBtrCFkAcq=xZ?-G)d`N7Imyhp1_QCTdM7gR1iA00wDS!`^;Cl;^s zqi=K)N*B-kaabA*unkrT2QXw_IspBN`y>?ZZ0IyM0(M5Yf^xESlo`vM@G=I`l==kF%%> z=#9Q?o|kG|KUR-M^h4}HRLQ$xl-^Ny(XbdE;xpQWCX0o#4g72=3ma2O9~MSW_D3%5 z(Vw+ZWU;irKa1fTBr;2*ssmUfo8g!Nh=+GAi2KX{wucFjomcoLa7zrU!9TM!JVK2I zvpHb0doX(sp9w=)EB=ek`R5@lL6D1Dc}%%VHklE*tO;X?`blV6dKLGnJZ3WdN2KC~ zP#ERmr5D44(Tvv*LsaWkN{{`~hN=x`4Flt=sK~SH9#px**%Jash?%Oykf>s+GlI== zbq4`_lcTsUZ5YhDxPKhMer9Z_RDca8ztLo?YVXKU7>? zMtfhnJsaNrPbh7g$R^wHS+BzFnUm05!#(gfC$W(>{CG9Mn?1%d(QIw{TccT&4PSrL zbkT#yU_cuW{CK)v!-nUiBOnhv&YH7+9ysVj$``Z_mDTVce5m+YGn6JyW=#?BLW)b2 z%65@7g*Bs9cTGP^p2C_7?M3fQ^QN#|HcQ~jxNtoqn4Mb~M%8DoYe>Pt-RX8PbhZg09v5-c)v<@vWgMQOr{g7Qsq?PeY#AC*8YZhn~ug zNM0y;^c0Ka`$9#Hn9Cfjil(y%j9;=?t#H=Wo|)_;#%>B`6WO1N(M?L4%^p{Uj_~8< ztIFQsCdEI^J}CpPK8MxfQ8sw`9OQ$Wp%nd!UY$h6YvFuWRARgDL3&Bu74OBLxG zzh~H|yr3$&u^4Lk0@BDNrBwkHKFh`eqN?xrXIUYiFSTMzsN^}B?vFjk<_6Ng}lbt}4uk z@_AO9pYlMSM>gDB)iE5nt~B3E*`@4T0g{22xr}{1t@zMYa>VyqYDj zrR2XxR)Y+JfooV**Lo1c7i*QPE_Uak<_S;jRiR@7|BY&N@HexI&sUb>2dc-=thKDA z>!2duuQV1Z`hEBPwX7oJN2}4LLwZMcQaRu#Em@C2&{63C^OWH8J{7&hs!;R>wu;|^ z{bI;^a|6a6?^DWqNWNR2;PLFCL#=Zjs==%Rm2779%?qkX;Jd?KW`T@XudYHPV;VQ8 z-$vx)7%JX~x&vVEMs^-wZ@o43fRbNfy#+`#o=YA%Rp`_!%+0zBVNGnk&TU3)=2lmu z;^QCkB$lt(pzLA`K2N|hcWSZp>UP$UO_wl+8O|02c&?K0qmppxD|DI1i+M%&4@dc4 zh8{?2y0*Ie!ZBWh@wE#3XMz2q&>^yPYg9Q-)yaPzZ)M7I%UQV#v~>0{ZF>t9ZaG$a zoAqGdDnDKK`iWkC8!`3+-G1APnzfa!Vt**qTOQOPcicAChtWqnm_KFj)T&5}c)2h+ zZQx<IyEjIq{8X- z=!;XVEi0jnJ?v?|LaA6vkM^MVEEUM9dUL1RhnD>A?w3yhl_55B~jcVq*{Px`Xl@fe8~K0 z{vp;Xut|8?z9J%A=IRJK_yua?k>V{IV~3Ae3C|9fRf2(?Y^Aa>);`RB=Yzt9+hZu> z2zvOD;j)(-MD8Oj8z9W0VkrJ&jOL$|5P_Yyn}@F0kAcatkC{ntd<^X@#D@ZLu|)J6 zB-9g=+el(>A|p)s1Stp9auW5DEhh0(){PCKS@`hxYzd{09t%UEu!C|x^G48(dklfTZkHaSEWD#cU#BWxu-6pu z_!q36od^7nv5mY^gpyItA;af5yTq_~aE3+F*3B%)te}9=C)fraAK?h=MiH_pp-hH# ze1w=*lK*8MO8#GACf`BABjO|ekLZr4;*+SwN=gQzdkY^GL796nCrv7G(Uz||TQfHjk7IcxVL4 z1{9#&BV+lqa~PI2l%y<~j-Q94lOxM|9JC61DRW_8(W z8?+pM0VLE@Ud`q;*;Wa4&5TrWLF2EYBN=&>)$y=CWYbr@2K~WWE}tX?>hbJ52@++; zqja1lV34!EkEBuW-st%DaxB`nOU+5-Rx4cw9>qUuk4*o9M<3 zED%U`F%&sci(t)d$k|_!b)15_+K?MJ+2%5kJR1^x8wtswg4F#n2}Lo@8li`kA$-On zbl3fzmE!^=rpDQKSOdQ`QRpV*Iw1|Zi|WkpjRDL$fgi4BgRAJy9kv2?FT9J9GPuhT z=GnWf554>+YsSJ#^M(Y`ta~g_0A=#UAHJm?3{uBN1 zWhq9E^{z$9u^!#}6Kg9o39}k3D*P?~KjS{Kye;?EefZIcmJ2NvqOFCN1icd7ir0OC zWv{kWqNoHtlKlQ=Edwh@m+b+RE>(OBE(zO13TD!@zcJFUt+*ydQ(lx&mB#*q7MAu8 zW*)#V{0@BzO0ol*{F@ma{ReAl_=B!@4?^M!o0ERM_( z%tZ44Up;qDv}9RRu|#eQ@m*f&KkPr^A02-;`99Rad?p3N=DlN2?_AwxX>iXkT~IhPj{A_@A7gR-#Tu%dQ+BPgj0J zLNMeV?8A?7Kus)~A5-ycy4ud{DMxI+iR`Ye?tSwVYR;Kf?#rP${XNDwEl8M+N>0FRY$kjaT(RjT068Ev%sqS%vy`2(fKMS3BG4-g=43Jsux zkvz5hMcdNKQF&B!9X;jiRd_X^mZ@HhdIdJSNF75JBbgVQ*`>)j4 z`FYr5J-H#TOgYuip@O+^M+1*Z!E~!sYmG@GgjiisV}~R9V@-fhuBqz1sfQ}ay*!ME zaz3Y~%F>IZNb#q11il_eunitqrN+Fq!0~$GJqcrTusgzA0%Te4OYNFq2J?xBQuZYP zi$Nlmz^k~Du@a2m$He>}DQ--RB#xJP_e71~=6ypeaukf69o$*Benu9+-?Mz`PNa<$=lJNnmW*km}4t27;6i?;UEn+muv zINM7|Z9DK)e10vJ(7P*uOy~_e@?Cs|5=Bv+?5GQNr*`7mjBk{pJR@ZOrjoR=mZOis zA2NL$lrS`x-CcM)LFvgK-`J4it~>=0h5xf%nwE{^^KVK2*w9KjNIDK~m`h@pD7sD%wCg{^Si7bNLkJTqjRHmZq_@K-G2QuE)R4g!M>l(+@5J^%Z)BOA-aMSm_2`e{*Lw4I3Yx`UZ~`Xu!I-CCZDAMP?Bl69 z)o*Qg*p=t7Ykgn-5kF|zHOyhx_I`Y<>jZQ|v>sE$IsJJ6f4^Gkf$FjJOn)Blx~#w# z75LU#=3?jQ*ZzDl`&DS~SgdFFq^6X!(2VdA28%tu?18*FeO{>hQO-b~#($Nn`xFQz z&eayX$?l5-c~yop3Ejr>`aWY6KyB)@9n7O$^i3g;5ZmI^y^v?Qe;>)qYog4bDit6M zz(nj%WEb#ltQBG0-3_NDwv9x)YDJ3+;YC?!CHlV$d3`p-2Ir6AZFs9XvcXRADnwYb z&t_AFK22=)YsR7t&KK-0P7|u=^|1mh1$8HRw%sF%_d)}G*J$U zq&nZy+=*!4-zvk3Er-gjz{QieSb9A?iI2pdgJ>x*t5o z$71=nu3C1E5il(J)}`MkW0G6FuJqVE!Pu{^)N{@heu1S^$yC(fvsSs#Q!YDqmaOH( z-e-Y>2+K!01y{qgs{2$d`wbA}O(0z^<)53%(-_aMt2(ocX;{9VDAi#3?pLSrK>{Y# zSmF@ZYdUYu7J9|evFY%orQ`MK{BO2O>9|}GQS?l{oWE9A^rkT+m!G#QTTv!gk?@th zDHJg1{w&NW4oif{*WfleF#lgut=E)lWT|#(V|6!Hrq3{TO>zIRuIzX4vHKnNz=pUp z4q}?h0TZd~1;OI7P+BfmV-2U$JS;jXCrS76nsGA0`>e90iMa8vrYBLg`Mfi)4`?5= zzG)eZE&3q$JM;PboVSjXJzYi|ojA{0unbCBiU62(&_y0&d0&a+%80WX^VS7Cjy5mg zjTL$yK1L$240q8&F%`&&vp31HOu2|xW3%bnB8;Hs#Hj-Sv#8TzJ{RaG7V{y@X0lN- z@w25YtVu=B@|tvODQ{qNOfTUHd^gr}Uc&c%i`!26u7ocIxBTb1kKk5RiZJ!7tCGio zQhrePy#m#R3oR$T;`GCJEBST}<6>#JTxDAgUGFQCZn-P1;lDF}D^BjKMXlr6yh1&( zrG_Gs<0T7(JvA5owvI>gCWXRl?8Xqy+_<@VZVX-V=7kU|a#^6ae^6jhAUe`Jy zLG-ARJ9%|VzlP7Qhq%a7TR zH+S&{infLC3Ptt34Fgq5xi26Otb|y~NY|^%K8D}1aq8_sgSTWKsE#v)z6r8g*2PoO zrz}UwQ~6}j`#he9*f)v^~K}F(+3hrk6I5u`$Tcsa) zz3CpZpGPv@BSE?Ih=bo}2l(4G=OgZ4T4_Ko8x3&(b4kkvkJ)@V=Lzf;aeMK9OH?l2-Z$Q>h;%sq1@72`c`CXVVj(U@hc( zCHe~?`ht_!Fz!lJEvG`FtRlZexgX$1c}IC8pJRf+Oe`Z@Y|-%~No6hUHI$^-RgON& zTjB%KRGv_VN^QLIfeN#)`}{GuoAp&vP6#PIJ@~T49aUbE6*QNxvkPy0g@uQIle{CLe0Czun1chC_{#O=>}pycek4(}WY@7o#Mn9P zMwa+%Vf0Tm%~zmdr8%8~PVxqU-vaI&tItl9JAAX1AzxWai>7?|B!8XXOjNOV(rb-- z-?u!Ep--3Q%=*Md$#E}j-32Q@bMLVOFX zR+`}Cl3Xq{Nw$~=P@3|>wQveQ&68P6n-x2YX6j*8i}mnO%T{WMmj|L6oWpY2NEjIv%)QcxyGS!QDKC7n+4?98#- zsyy-sOz==Hm|YUgPA18?|0+o}I`8IOQ1ZVTEeoY>S5bSFlhx*2{*Cu#e4oQS zv3ht!DZ4M(u?B!Y5%q)rngCg~r?|MaIUj!WZpQWVN+UQL!=RZ$1a> zoM1eJJ*$Z3(ZYYQIycY3QgktEZ0O(zd;y;)SyJRfOhsl(maH}9Jmg#0e!(on8@z{< zrUz5R&T^Xy%STwdGtlLr6hX6YV5lj!nz8XH)b=}=Vs%Do&krhrEtzKU zy=8206Vsw`$AB`+X{r356uA)kk6_)0;b=PwUH@1N>71t3rLQ%uk-$THp_V%M{b?I8 zLD$4IL=9Yy>e>Xxo7H!$JhoCYP$pL%o7MNU7P+~IVRmL;UhDBC1) zaMbb>KdpgaY_DChT{h&Ya@w;3A`-^$o~9E*a^P3jMeG4GQJ$)-_J^2HuB#wBBehU3WNi;$fXVzR58~nSkLNcG>uZ;~10mRu$ zJ*Y1SR``g@$__wfS%ca90Bt$Wvk0Cv>ycU2^k`MtofD`fYCOGxGUSm%tbC3&CPb>Iu43S$l$3EilT_x+>aqU`sz~nw?^Bhayy)%g0;n4GSQw&aA5a z&ZjqUSUt~c_2U1sTA-qbZbcocYjM?9{LA*~wo0|BsH#?*^2ciBXn%Dr9%Qmo1H!a$ z96J&Eiz1PM@DT?Km!9E1v@=Xg#IZyRtWuE|ZqSTyEt#E=a5kN;g=-|p58h~GdM$FF zh|pFt{)=EMmuX$JBueWdPJ%%y`-MWIwYmZRd(XbAa$NM&vAz%hMsLt2X4)Bo;)tTC3ee}oKc)=otPiaU?2B66R z_GVwb16_{O8dRGJ6`TP%Qv9v9E~Dyd)u=-~Ee;g2J`N1Tk%i|4Gr6QI7YfSOs?7$_q695WK;cKTvNGjFV=dTyEaC}LyQ0Eg)Q=Nv|Le%zq4Yk_%oNK6!#K}n@)Wv~8y>v;k z4@##t(yF^2D5syG)s3_atWXDZ)Z%GEBhBSHVcAao8*5FeTVt)YkS&y|B9(GOsRWm+ zUL#qdbp>T3vzh{-!m4stGX-j*Ks6n;B6pG6sPbBh1l3rc@t%!j71D$(&0tv75q3Y9 zrHvLx{I|6cjsFHqVc5~>sJxEi>20(I3fdE=BpiUuwpyBptQhfI>Vdk3LN!sbRMbw( zRuj>Q?X+$-x;$?_;YF<$+w7rXL*1R)YfTs*+DLjK&S8&?P4sUaAtjDvL=Nky&E&_G zIcBm0H>s2MAwS*>Pej(?b(_dJFi1TaN8!|^5rc5ls)dB3=-41FMM3)T z91oE=b!6jT8Vvm5Hh!leS|+rW=A}7e_UsVt4xiCP?ZUP6+U<_X(-`B6ny6UF^pdzI z4n>IZRZYr_boj<5bSaIeQqm|SZF$gRRTGN-gLh>LfR7wRqf`uU_~#b>?h#r`!OR}r z@QW5;>PY1Be@pq@0zyit%MG8R7gZhqcAi8oycd%FP>gT1U`>yDlMg) zd|8n)=*Q-3_jpoMWoUavA%lKffp&`H!c@vQRFNH#ylqoiMQKe%N3Eb;d4E}mzxIsN zhFK(H_db=6vmx8ZYYAl_vn9kYt*MH|g`t#EsD;wwP4qx&Qm6$Q%b>iJ-j%PAxGo!) zmKGsy=ND;hYz4O1V){%(mu%@QR$0YCK)z2xd0JD|PCX{6cFMo>fW>&%Lv1xw`$)x) zwupm|p`m(sr~@4Qz73uJI1+$sz%#vXf8`()MxeEEGU1zbT+t6r+j1$0BHS3j9e9$5Mf_UcFTmuY8s z`Q|E{*?*#UpbGc)*l&&(hjTd-DbwH5+LhEXR^@%JmW z!B%k}S?E`-xfNT9B8dc1y%$kQauvSHix>)ng}8D|a^N%RUnF(t;3gb|&u*;+Qce!W z6%|&Y=cv|PwyvRG3uwVA?Iv3!sMXMcwyySO(W9%ipZIFa?okdZwpROrZ)sk(@x7yL z+0xwG&jCld=7vny7 zXhBVCvIV_bVGD6#*=1c=9!hJsXbbpIknYs_@flJPG=~GPYtuxjoO<_uL+inxZy{ou zy+~)@(CPuh^`2tmF&=>=+RCL zoRcVdm)4aJktjSVO;u=8nh1ZNXT0L6)^2SLe*HCPwFgH^pGfnb znO*(4=1XIDYd&;!kJdG?LA^+T(E>*uEq!0B%=jkD?nNHK!SwrHtqFf8O;u6u zK5rFG--nj)fki}Qk*JV8c~CPszmX>6{@#aL zQ(S&cK7^S5D@}#`UD|v|Tg7fr)<@bmKvat_>4(wgs-??1y+N-XmLTc7mmLbpblEUn zn&9)Q1rVDQBR7KePN3NsVaK1EMb`mSo#rfwN0h99|6R(Ddni7{r=ckvc zP=9iLp><7KpI){u=Zn9^O2Yp-YXKHQm91Wj-6y}$hA_UznzH=gbz5`w_;UcO6s5aw&0jY`~RL)|T;jB+3Ys^3=Ue;m(5f4XH zr*|)FHL&*j?PXlExeRG{^eBq_UW?)9TVfSIf-2$J0bX#Op88(P2JPqHYsUmvu^4yo z3Kr(H4B5U8Qmr45Gr?6}&Rg&UTu?=V{0`c-RH1;2n1R*!QL8NwW!@eCBl2!Ni73kC z$W|(?E*jna8EvSg1iNfLboM8$AAR+cHli$-9!@S*$`_<($Vd`ol-Uip*(9@(|6+FI zs`d3*`nvH`inLhz4X#wv|+x>72nbfRe?(>;kxz<-=w5( z$WS(H$dE^r#KmmBOMNj8gNqmxL<*j;aXCRN)ntDH{y_ z{PK6L28yMG-xYfDAKFUZ*kW(1Y>G=1bi4t$`Uz*MJL*Q?RP2ihq9VWvm|uFonqJ096>W4Y2Q^`?&IB4+AWn_zC<^KLLyFR#lX5G4wbO`AtJlV|ZM{BB#No0zPNzg9Cg17qR;3iiDj(ZQrlG8I`b@0Iv{HR#1;J)4 zHnPN-xk?rEzjVIJvR>Z(+bC!;PXC=puvYRZqgD9GtA*B;jh$W$$_vtKgWfY`v@dOZ z?!a*c>uENQyw!KX3-lF6i^@!*Svn3c-;Cj=xPpMComL{)d;*oa@-)T5%K9qtvWB1D z$S2q;7h{1ZL-Z`}lO^q=TOp`#Q9cUIZL(=akQ03WXTp*8MtDo8|q+QGgM#B z8)OMn>13$howtyn4!iF2rs z7N@u7PqbD}iMIeEhOk`gLucajd3=6r)ld>0WN+2e2lC}et711(-hf-%T8>{{fkgR? zmFITl^48wLA8uFn2z(1VI`bFU$Rmr(g?6%$icr0kpg+qGE5+#TMCE6p*yoA*8vc!? zQ$w##?j1>J4Zc4p4}5Q#)Yyw4&$RH{7ND8K)|U14x%@wEl$p&HK;?sg2Kqz{)Y_=- zAwIyYh0FFO&8%#Q^74)J34qHH2IXM8uU;9jcuq)w?R+6u^D*jhaFB~kK(QB@?2OUF zgXOB&Mm0H_*#yttOm2b{V-biYBYO#Oq=!H#9MM!iFR(VNaqPV+Z;q_|ewYK?87*P-Dp^o9aej;Qvv(3@k+&SNLa z<&0vrQmC~kpo#^)JHHH!3QcH{pdt%@aU&_Oi(=fSv)!j9=*!&a1U*(V_sh> z5&f35wNh)^ib;AfEp3YwQog<3g)eCaX)64r1t6Ta5|=uZCG2?>bqLyqH(?0Nq>`Hg}#_Qm^l*Qp4Ay`9hW}f zmT+-`%|$#L_3$4$n1dL)*H#W8ZMeK>_kK2RO$19g%HwkMb{?=e*&^Es7RxMh`Q(;j z@7?ig;Q`B)bPN3NEw3C~Mu+ZtGh2ppS$vp8aNV;UOQ}5&sVP15hBh*;Rb=7uGg}vo z=rI-#YNtj;prVwCdKVl75(uDqyQkg^Cd-)W?(k>RUiuLBvcR&=g!FPa^;$1vtnKZT zQ~O8&9q6t9#t*dfZhDD}pP-i4+E28T8(-`Ip2X9q2b_XB&V+e@Qv2xxKrM5I++@G5 zEI^Ss^ng#vKpnH#I_*_%9HbyB zH?AC{Co$f*z1Ifbvc2pC+O=2uH>QI_pnrDzvidis>|DJMC_Vb~p&-QZ?e$h9kL#eqsXziKa~$%;Gllv%-n4_N#4!$v4r7o*+F2CiycF*5 z$Dnq7`#`M7Op4N+=t1bqhp93;HV&D`l7D@iUc@IVZnSi~Zm_#b{+97b6tg-w{Qa!7 zOO(kTeij{=fRthJ2`oZ&zGP|jq(>-Tu`1Fh@vR-awX;jI!4n?4CqgtJ!X-~R44g4Z zpU%IsSj}*-YX6vy&gcKbP+)=tqY3e2~r=t}~_0dY1{lxIJI8qqsSeP=6u)jE2Gsd@s! zqxn>QI40`rr|Oejodn~Mf(}BIn!U7jcX?8OiJ^-@Q6ryuf540EHUw1VW+B9J0B;tCNFO)>H)rWXc!{!li9>-6#YmE8g#t~Ss$LVc zsiH*mKp)Q52eA86OP>`Mu^0~)KCR#3KAqH6HGf>@0SW$;&DE!qXU31G%WTm4x!A+^ zp-Uz3-Aap-=>O}^(=YI>PL$FbR@a`7&Z)hm!9;Y+eEl8Xrjr3h%WQ$?v9fAo9~&YPp;qfCZ;8zq00ke>-PaZxxOpi?Z&J!FBtl(W|rtIbqz zv0ltKcM>DbjyN+atZ;4aWF>@>C3+WnW{KVp7~Z30U)i){mg+~#Kz>qMfSuH0v(O@y zzwA*!zKkK2YD-I>*T?Ykot0&k={5lqf4=&vp3cfs-fFmSt;2nB%iyDioz=N%|6RD_ zb8DvA9LFmKA+qtL1${VGI==z>}%JuG9lae-Y!>m7P`AlBT>Zu|-*nm-R&Pm9~7SY*|SQS78vava{^H zep#i5a2?o-(Eui|VGu_;a znH|1TD(*O2#UJm}b8w|yn*Ne7{jNuVJP|J4(YB-NoXc&{OBw4-OY!ELs-Rwy5sI3> ztS9l#T@?F#S?cQCMOA~l(k2~m6|X5`zT&_Bf<@FTdI`=$LJc)KncGG5?s%y@_DYnDdqp?t$GNN$BG;kWEUz4Yc`H zOzk&xkx6s2H}KqDUeoa~^C2jXhq`Fpc06eE)E127K2d~+-PgD1`HUY1f_O?$!p>PR zy8Z^{_yQz$Z>PSg*P@TM>;80L3&IM;qTcY8GG7xiKjuIe5_ zWFemO-G+*C+MtNXUcIe9l%pq!;1iFH|T5TzEmp+z4b|E#{te4p2l(1XR zwUv2iH??5l--j0!UcO3E@@*f2!~gca;&0k0*l9O9-yc{<>H1h7Szx z#D232kL*Kt4|Ku(b?IUccNxCY?RNN{-LIcvJT%+8zmyNwp@wXVgm5-V$TT#dgu@Ptdh4@zTx9Rvn!MUiK-#FMGhanP7aT$AVb7tIcQnLU9HI?xLj`m~fq0 zXNFMK&-GRUMbgJ{z!Ta#&)CI=jvO#Bwh z0xu{Qbn9EBFUu;w@AS8D3RYO99-2A-9p=AVl{TBH^C{77=afbyhtY?p^jLOCK+xF@ zVgB-*@n(uRtrrRuC`|iLOU|lJPMwBbU8u?#eVyyK99bu~B(=E0j~(P&XY}V?|LG+~DEWyHT@?`kS~jlKX>R&-_&Qq7s!Ld-L+$RCk+qNq@-NyK^t=hZ*mvc*%3u z9j@rntS1#-0djA}4{ySLbp?^xQLszK>VuP$`}7Zbd5sq<7VIiQYazv7MNllZsGlS3 zSS(`2N}11vGSfXQWCoE6!f3G}aO0XDiTU&1>v}`E6R?Nc{-PiE{X)6w^KNRAbV6|1 z(@nZ*&UL*iF5a)bu1EM@P-vGFn)#JLJEw%5wk&Ud1Ks&uT6071=X+P7|7oFrEzofx zKsd@qpZzN)Z56uHg0?|i6>gdX_gjJ6%!4c4C9Q(-Vs!n}ZT&S@KShV_o@7FwQLSXaFC zjX_95)1Ov9z$<==9p2~LtjrieYwzpNu&)%=8AX-gp{hVruNnTX5hxd30-g8^gOZQ` z(i;l{Mcz82OqbC#Gp(l^Cop3?4dO;cKE&dA&C8Q^a$}lnd=D9_ zW4+vHf@T;TW(aMc(~RHwv>vM8k+n2Oy1=zi(EX2E0f=$({i%<^82ijYcHco3;cK+xr!8TBD}ajf z?Y_pljQ`w2cEoS~WHu7FN)1EKhuP2W2jz@B2^KN(z#^1OK5tbplGq+PU%@DGh4z$g z3!!a6pcK!o1od=psc1l@7+I#?Nnr*eBB-Z~2<~qb@&-L+M9_MF7y^J88SM5qzF{nr zmIfNbkUYT=k8Sl-1A@$+P*Yx_$-o@~0RrOnAjBXrip3_WSAu&&uz{`JCzJ>uUkf6t z5m$grdLqO)z~=$_k};ZUR5c>xS|s%pPuWzXTUCroY~G4cV@$w080Q?)&!g#~Mn6F+ zN7w&^8nxJVrOZ4UT-7KANH&1V4w0GFjH~Q(uP-RKx-waW!u0C!#TiS{YF;XLqcGzu zMmr)6JPY(S1~rKhMihpa((tSFT!hh$UsbZgyi`;#(pbRD_fl=NGUe4bChi90UZz*AW%Koku%T0!XcbUoO8q=tc)CtKpaT%eIa;W0)dEF=^+ zM(vfRGZYLP6>3$tpHb?PkZu6;YT+;aFUUFdmae`47IaR2|HoFrN4PNOCkZ+|vGCfu3qmF&} z^}+s;u?kN?;S@BU|MnRw2>trVyi~3e8dY2$m6w)ug75wMs7(1`~z1k}ds>W_ZE;N`GT&;ARjz zQyM5_1TXF*L+-!;X@c~}xdBE#-*4$L)uDOmK;t4mYH2>rq50uKMn2X(lLs4k_sa6! zQ-h6bj9=>`r-=)5jr#oeK4K35Z%6%=YqY^9BhSDgj=omm{yZbR40<&S;+`;6^ePs9 zqAYb?6Xu9fP3~}G0QDJej1sgWSY|pMS8;@)ao!H|SMeia8B@%7p3|37p2f?)eN_en zOy=~TM;W#Fa0PRB91VX9GB4-}51DjZyS`G`Y=?K|78(P2NnaITa~$4jIL4^W*W>*V zkznU}DcrA)G3GM90PTWA^Rv+wwx;Z{MjQHThT%tNCKw%nEmeQU@>5=s@dUrG)W*{|-Y|%t zi0tp8+f$7CJ_{{mnRnJtG)^%d($A|l-n5T?5-}Ol&+U5L_*wv^jKyAKDSnF45o@Tx zvr@+M7Eq*&Po_Xtdm&2%kPPg!CyWxtdpo5Jky2Q1_rNDb$JAR1S>fPwavC~=sY>US zUg7S}PZ>)YpYLS0R56?HE|_7&GQ5embf#)mLZ8bsjRdwu@mcNVLjz|S9bCKn$=tHj zVar-Cj{BckMkW^N`l+fLHXCE6V^S8%o7ts z$mgqGe-5GExW890ZB+U8!%Ityx_p{M<%9dHR5ZB1G;yy(#H6Lh3BJrSalZmk zaf$IBf7w##pj9X%^Xcb}{hV!6D&;Omu)5goWeI zebESFHj=ze^uj75lh?O-gse8A`8MU34=ullLECeyjiZcr9-wOYh=RCF)*2r%-hY6K zh@+NgZXd%c?w0jP-T4D3U=7YCTZ}|!^z8=Y89c(0`w~+AtO0Uw`Vyw z3mX2i5g)L0K-oTI3T=29{S9zrmWtYl^z*V(eF`nuXw(EqR_V81)roB~Ch@(N=BF$j zW$hi@WTb2CvlXv-f{(htW)$($1JrS9huZ#IjQ#9qI=;n=TH|$?aL?j<#mV=(*Nt&F zQ#nwM$i}>BG~yKpiaJ6OoqyBVr$Ave>tmxYui*h@zirGGD3~pT(apDw&b;wJ*|Db6 zxUI;#0Kql2=)hK^O<>!BWnBYcmDNU+U@e;Mj}8Ysw++LMA>b>zgP$!$@mNi;yY6;_ zGd@-*YH2fBYQx6Txpy#}9y?I&;k0CbnK#)?A>NmJJ< zdq64&>`vy}ZRRiTfR_OgnqKpI**(B*OlJJ^fhwM^J8X#Ag-SeQ+3>4n!--wS1Af)v z=HHa;s{?8E5#z7|S%#T|WDNjx@hC>Ipc2AwIYcboYYgB~gOrSb%q`WHuUH3ND26B)e+-} zDzpqcqGWFwBx|n>=!{Kt^%H|^PB)$SIOlU37NcL-f{!>;Iht|0{jD|A-$EBYGhViN zuK(QVjOU7MD2K?Z(YTQ%RkWVd#PA8{pKTO?E*v$608={TZ-?C_Utl8Nnr@%O(BYwF zwp>BTJcbeJ9-4N{C~^%MEOi?s7^>p{{oS>W8%;G{h#zmPh5hL{Um5+d&+idfNL9Z! zS^_K^$mFk$0qhwkw8A$?&wwJ7OfG&wvp;qF$Ef0-`wgaK_#rLm(}eY>l3$HrO8eG$ z2h&FIPDPPGqpa`H>F=ka?`*6f_xs-&k8^%>u$)e2pTVf(q#%hW{{i@A*rRyVK>Qqv z1(!eHDSon!UG*Zdqtx*%=K8=@V^Hw`>&3I+^p8h%*HO4aj%HV#GuqRQ%NVMyK4)|k zjD;~oV<;(4FAcpva!d?V0z_u<7wADXa(duf|ZCD8A7xEKnJ1as-?ljx;Y+)38Mc( zRfyj@4W?uR=bp4&@3!4re_&DP1;eaFP3{^kL&I{*`b86e3(McWYlJS}j~Li`*Qh2q zz`hmtFbA^YH2fZBJB@Nxg|zaj>OOJL=!pjpbCvO(?!)-bLZeicMLX_e5|WiGeXc=C z@hYf-4E)PT6A;nqUP^2*2j6Jfy~oraA!Nmq#gv znF9EK*Irg&U|!jZ1D5!eO?+S*wKPpnO${{7pLkrJs;NF6U4q<8e9V2EHKn3J6PaEd z8I{qUDO5;B`FDP1o&}cMh(pSmHL*HlLHCt2huFl;%bSx}z74rn-fUt+`6|t8nr(IBth1o#HE*!xV8({OX-m80C+XF_s;Y#t6m< za@++04R4x9Z~5Zq%bjq^^P)|@H~@D2TcJN}XiA{j(w68$-J(!C;@$kFgr84q@ZVgk zdr*XA*^fIVOU;rzIG`UDY~nI-o(#!>s&UY4fchR13lvP$U+F0Xo*utVZX;&FXX@+-xpNG8>s) zV6`np6n)kROD10o6)y5AlqxG*&_#6OKEtFfK4TR?t-`I1G_!C#{Boo@%D2Wa>AI+4 zY85Vgn0ro?*^%+YVQQ>YBnZQYN$*70Fvs#Vi{m5#Suti7A1zDq*P|G75I%Wz%tk(sJD9;QUFf;muzX~g*;(wh)-osa z=Z49d&-0KjoKrkZIA?mLoHq^9O<_DG`BqXYyS)PmRCRTIq`jMo@Wm$u2j05fB6|v?(EcYL;uRJ0uEV6;QpFa-C;_8gpGUGFb z3;(+24M#Zq_m&xZoW5vi7U7f8$n46O4JTI3Or=j7p>;k!T!!9UhXEZMn^?rM44CgQ z;9_HQ8-IVea;m!tocfV;6CNf`Y-&CYkmU8OB2m%Gn#pKw)6DGVdtIm(QgCg!I>r1G z9dBkn;C~L6v1%?7WIxfi7G@QSYHt3(eMYF3yhH&?#^Cpa#lci;zqChI7pD}=5)aW` z9%JE`dhzLxH1l~@pSER-Za}=1^+vjxga;(RAr<9SS|YhyV7WRVLZ4;Z;Dih`g!&_7 z{#x$g8sy%aVeVv@G)gWw|JKSZMi&7gvD7!qj1mD1{(ku*R1#TOgHE(HE3as6R-}tr zW{Sd9WBw+s5%9}xPU~8mZ`x3Cx@BS;r0>^k=!rIF8z;0yTR`{P&{b{C0TxvCcwy~u zNb-aYE^cSOpun+|(H=@-BL+(H{1Iw#C|{XL4l{i^m^T=%wu+{JV~5gAd~7p$h=lk( zw9RZlgF2WEXnbc>xx~W>mCj}&kCS-(;Rw}dctO52r;8cO(`^YqbV2uNf#u{fqbq`} zyA5`CMdesvS(y>pW)dIi;V$oaNO&9mq%5uJ(M^xapA_YI>PP*Jh*SJzZ=KK+`+-Yx zOdr137WrikTwE5Vitmb%GLB!8NG@9ht?!0ZPuwwTHoKyMP?ML;I9?~%;g+}o}|v6P+Fo)TGmu*Ne2dEglMUBdLS};$tbbx8%sm- z%vhXFm+VTY=3ujj1c_c5hXaI=5@JKlHYk*hVB&W9>1RF+~ zhxq`fBEv~2;y1ujWMM2FABBAPTDVU+O3XLofGxXEaT^8oB9H}xgL&vC2ataOoNFa_ zdHdvfr6t`e@LKOzXg0+U)PfWzfeOuVn_zjN`5}MXGRy7JvKMln#Fah4E{7kQjm6;X zb4x$LLFUL_-?2zjUlw)ga+R z!4^=_w?{o@X8YzSZe10%&qo$q9K}2Lm|4Q}^3@6EN+03u{G!M4YiJ|$Dd1CFOR6v# z8F5&?cZ^{^j!tL7Wc+mDlNQQ_$;he0@~zbpv17N`g1kD#950B)SoDaHIV4}4Cc~M7 z6Nk+RTK$CiCEsd^_8i;i@8!$>VY`yOJzrg@9`m%B&Ofn1QYJuXg&p}hyL81gG!MJ< zwq2U}l=(VJ<&uOvdT&tC97NA{nlc^60V4GKSm^gw8U1i@zall8VLpN9n-4B9L%fIg z<0S{bx&>B$oKBgW%^H+D(=6b13skksbNl#Z7>E*OIJcjK6%e5?>**<#SKL1lqGJo3 zu31@Z{>qA^RC;@no`L&-lF_6B8uukUjIX?AF1*5?^S~}nhOkKm-t*6EB?xOhZ_GiB zflA8XE=ygLEcNNuTyrY@G}oLfXoWLA6&j5%qtWeo=BMmyk47#!Js*whl;VHV-Srt{ zLVmJ928!HUlJFZAoGLtLHW6UK{WHP+%QD%e^dxQ#95O)i_8tIj*UPSpEDZ+PA3+d&3J`EryF}NF}LA-l3-i<}{xP^x8%dqPFym}{0;eYZL*^j*g3QJI#X{Qf8CMFdD8mcC zK<}cfD`60B;s`%&d%+xw!!lBpgYNz>Vw}Ja7K)d56#3pVRQz9BOAPEErzu}6I*A#%7eyWYLG;y*I{n_bD=sNeL|RirHnlM zpg|FDFh=E-3(sSfDszKb@BcM+@MEApTL zsYPT{6z`8DWC6P<0b2N7HYr9Js(_*hL|LRPk7~6DS`r0Ysj`YDVr@|iL_rF&^!v`- zyu9%EgZ%Mj?mKhNoSAd(ndQ#CV`WX2n>$mlTV=n6%DGSjia_t&289N-?|#N#pubh?)&T2b|0&FGT%6c zyl+=y(CtwMzXBn1YALV3V&8^s1(D^Zud!!ZFPU=73g-It`)e?JTWhplt+UqJhj9#` zX#Fv@ez6|+(sdY6R7PrjZ#fG5P}r>xChO^2p>I{WeF(b%MaU-RrAadM}o;8$X@r-K=9x zr0uia?yDDt?0oE&5p9l8n|YB^^{gEj6m9V&qI(%&?JyPDrWgI${wr2zg!3plH`n9* z=Ns(4JoH=<`3pSxQzPtC3OiI!SpH=zpy$7Z>8vl` zSOpT{uWw@%Z0CzrV)FGHZ`((FF}ko4Mma_ySLz8#+KEwTCy#$a3k1RQJJBC@6@Gtu zzGd*f>*4@+PBLt#aMdgE_*PRlK1U`0}aeK-$?4G`|L*b((~n4e#2$_2u{M$ygL%CG?Ab!w97? zLSnh~oRL#ja3Y|e+k;^6f~fCXu6-5gqL(8x_5jL5nf(=ZYimnB?_mFOuP8mN663f* zm6(JsXBj=MWf9`r@;y7hzEo*Xw?6h1#tT_^F7rNmzQd-Z1G>ovb~PReNjq1w();Vl zDBNq8SwDL0t@qiv_@=<-DsLI{k}lte3G5}q{RO$tM{uWvlK*b+wX7Qp#LQ*c`~12Q zI%|v`!Xnai-hR6)b~g1pzy$=(=XUN#h45WVuM{h-K)$wO^4zQsAH>ueudhUq*~`}> zKO83G=b0a4sWqyACnB`Sdp()74bG3!bzkS_Q*ZIW70=f)|aJC5P8fpy8V317dI z{il}hcG5HJ6`fp#+vJL_I*z5z1QI&yDT{qgd{;tWRoUmQT2kkFq;cGBYF$BLaN4qe zVKR;HY1XphcQb>;|MuT{{rQg(inR@G`3jZAhd#r4jL~iXW50tj9_iYzmQ)=DJfDX?_yc)?d!- zeE2o}w0)nRdfI*fS;Yun(+JC^$m}Df#-8o3F)E%iD)QYD{do4%(myp?+rTlZCx83>IXgEjyXKs|obLpCvhmDj=l{@UBO4CVUD@KHXwj?A+v7l& zx}Nds%6g2rU|0I4EvZpKb*`=nLUVq!<1A~ASCy@o&}S`@;&jesJL85IyaM=9N@SAR z;T$9U$2uwc+sk%=e?9Ud8@9PYTb`(r;%6p0rCvp}E&8^dDl>I4tJzS6@Y_OG7o>hvn@VjnH_W z#r8K+r+imfQ{7A{F(g;8(-p*7O^d{6p(p(6F1#;UBn$PaMfy}gJpf|pXN^@GUyDvf z^-TsYse02QY1dd4_My-hO~7E~6qzRw%{&S>RsB3xHL~EO$m>%Cs^$PHIq+cA-W0Ta07T;5qi1(JkZWa?vsW-D!ym_3g zmIqoDOU)CC&GJE9ama10Qhb39=JzywCz_k8JCh}@Se)Zx8=Oekz1ZAwRVnJXRPsVBt$CFT|d_jdAk>j-MT~woS3Q>2Oc#AKH?R4O9XvLd({U| ztyiU~-s-lx-$T{yRX1N?mSLP>81>MbU|eX*C5st1sf9Qe{R^1o`buh*wLz`NJg%NQ!@h|{41@0l#SJ&9SA_}6eo z24lS_U6k>*oTn>%67`r@!Jeif#tAQGs9AyYM&3DN3VdN>2ev%>?GiE2nNW77`qJ{< z9ZJhm+hbHJes)qybagMaSv5+)g_WTH*jr`Wm*R18L4Vd;btzpRhjcmNEPwruu#hm1 z@H$}w;h%(m5bjL`3?h6z4DfG4FbOc2u!^vfFf$o2ouE1c8WQ@Y0QwRRrveV7>bZSX zY-zjpxM)M@N9ap80P_gz zNhl{g-v_Xa@G8E<>#QXV%m(z&E(OkJ?pcJIet?sNV}v7w0r+}}lSAm;A8;pO4B~SN}Xqb&d3RX;e=)*0I>vx zt?o`kLOCzj5PpFTL(T}oW)e0MhK&XcAp|L4FkvC~tvK@t9mWA}BBWsT&Pf))<5?$> z@MS5UeL2;Hcv4yr9>lV@^8jHXb(=?+fS}=wCG6#8CE+pjBhDj)?j+nw_#0t2p&1<3 zi6va(booaV1y0C@3Bj6z_4xbAsYEu6T?q-Vzi~K{0R; zS3D#r-rZBwL4H#ff^ix~0 zD^0)9Urq2`(AEIet+hmym*Zemi74Bd`jYSuJkuYb5=$kNyw7+dp~TPlG>ULHVLHJf z93|`_WF!K*5+vjdVd_tWm4pL?T?7e31H)lx8B>W2L(Rhh=~u}NK@ySv!XG6fW%0L7 z@Cuw1DwTkg00%JvDT}H3Hv(o8Bs3K>K1pag#*~Dn#+{LRHXSg7u$QodFzTm( zy9v_?4q*lkCU$;9kYIL*5iKPHkeC5`J1dyf1c`9zJ&>A1m_ay6I6{!9_dkZdlsf>4 zgo8Z+9}y%HHe(PRLb#J4G4W-lBqlz?z}T2E@du_D9ZQ{6yzZY3=uMcF11M!mqT?TU zSxwkSkU04i)V8|-n+R2d07nQT8AXQ?vP$m-{=lS! z(YCylFnTvr5=Nh9EX`tQ?M{$@dX%ZaFu+-+B(naOm$&{L(3_!O@t1jmg)N<#39Oi2iC{0pQc1g~RCW0$|J;&}gJ27>{DSmSFt* zu}IxC4v<1f8V`sgNLc>m1f(P^mpV*JSWaP>mazP9MrjGlxsM?wVL6rY`u==CKY|44 zWsJ=dpm#IXwGhyeAfb8;Qxd8>Ga^fPn_A6mYoW)YiFGYh7)`8eq2ERm>sn~GA>w&h6HLMJlr3hc z`nzwFt{RRB#d>U~P^nf%qV^3}Ep@M9s$H8`r^+Cl{g^q*Wm2a}ornC!htphM(=$h? zHu{-im^*x6Bvcp)iOG}@?|VQ8nl~WQ@96#$hAlfRQosp6ihDu#r($mor92jggTx^jb35e@E11Q-mHL zj#Y(L(Ta`GpQzZO6H;|Ttd kc3p$Qus7;46V!NXpeL!nk<_&?Qj*`h<(KIp534c%2R>Rl&;S4c diff --git a/docs/_build/html/_sources/index.rst.txt b/docs/_build/html/_sources/index.rst.txt index ba400f2..54fc1aa 100644 --- a/docs/_build/html/_sources/index.rst.txt +++ b/docs/_build/html/_sources/index.rst.txt @@ -320,7 +320,7 @@ Moreover, if the density is discrete, the program must include the fact :: disc(predicate). also after :code:`:- end_lpad.` -See for example `gauss_mean_est_user.pl `_ and `binomial.pl `_ +See for example `gauss_mean_est_user.pl `_ Distributional Clauses Syntax ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ diff --git a/docs/_build/html/index.html b/docs/_build/html/index.html index 9c7b9b3..4468425 100644 --- a/docs/_build/html/index.html +++ b/docs/_build/html/index.html @@ -329,7 +329,7 @@

Continuous Probability Densities:- end_lpad. -See for example gauss_mean_est_user.pl and binomial.pl

+See for example gauss_mean_est_user.pl

Distributional Clauses Syntax

You can also use the syntax of Distributional Clauses (DC) [NDLDR16]. diff --git a/docs/_build/latex/cplint.pdf b/docs/_build/latex/cplint.pdf index ee379f5305d53076cfc99885a9306f9bf0d77be9..97669b570073de5e9f34c17d67a1c325a87dad91 100644 GIT binary patch delta 21033 zcmX`RQ*>rc*S4K2wvCQ$+qP}n={UJ!+a24sJ2pDDt&Xj~@8=!gzjoHBn&+IeHfpSK zth1_n03&<=qh1RQS$B-AB3lTntgC7W$&ub@sL2W~Pb`_45j}ZMo<3PhiyKa7=I_kE z=b%k=BsoTl9a(WbwyJroF2X;@OuAeCR5*D~ixK$y*ZtG}4puJ40;}Iqj%e&fUgnP` z017uC8Z`a@G9@O1FifG3|2R5;uM?6u}x>q)hsPJi1UAwxXg*sWbU@P9bVM9m8 zH#`Nr)VV3%56~X`9Uu~`EaUj>Kg2gfK#y@CQv{h%3ks7Iju>uOk;CGwQGe~H5lfLl zDFig$3>TzfL4BlN(V!H##Md3CRJFZ;Dk28GM{$>GL)#C=6LSS)EB ze_|d#?u@pj4Lr()u${jFmR%j=@V-19wFOs5ZX8#su6!IXVm!}W&Q@8jIcW}$L^vil zX4{M{$lWe=fac#SUgVGS@XKbtB?-L!b^Ojg&AV1u`=IVU`*N4~O?PY`FI(e>oqnR2K3+gk!ZP`h z%%8hVugBwdGG73Z{NrIBwT*u{_&w4>WErgNB+&hR4V$-Or)frxk-5 z@hu6cJGWvj9zRsjfICtjG0&I~LI*r7)Ft9pBe^?wfl-gt!PJo+8FWHLLLLmyfi&p* zkmA>=fJKJ`-BPQ1^0b0^Re7D=W3IMsStbauX@|t1ZoDBZ&lYE=CD(`ElU1El8TgD? zs%j5`nw3BBN?T=i{-s1Z%~%38SnM8MZJjxfEf;RUo6V*6d{HceB_`)|cmkCF6>y9B znr4wdT{@BkB|t4Qt%khlV2wHrCk^Jak&JSWdmUO6bF(iHU1$Nn4Lic^?1Ze0L>ine zJ-)S)x|O>m(NLL`Efrm;E|pX!ZGgk+WWj<=2ky|rghdKwn3%iU)~QHuj^c<`9sX9J ziy^lDE0c=N|K$WvZJ`B*fencJILdBAK219bIy$AC5$>HR-l|*rs^61l-X=F`rd&dH zmvP+R=xey*?a5uF0vF-h#gNtoADv~8HZ$4o%XBnnr&?$g3x%{e5qKHiU8RX?riLfs zCG#Q|^!Z#rLTQ@y2-)9lCHZHyjjms~i2HHoifXklNvGmU`?`^4%M94Mb6#Q`(7I@7 ziC1TDngM=4dc!00r$t=EPEu{`}K{dsvru46+o3ASRUBS_+2! zuCQ>#9V+Mz&TR^wk{_A7)O%H0<{ICgzHW|>&Q5(3@yr1sUbw;?f-jS~#8;*%W*aDyBHcoY$cLJE-7#KrEO9(cRy1{Q0?NSch#Kn94EAjT`as1UW zmcjI?<(ZEZ-0wdv$-<`Z37WSj>6ZRJgqjStF<%k-3#q{0jA=ge3c=+Bw7&2LxLJJQ z%4Ik8H!6_{@?zywq2KN3vm)gzs36bha!7Md@V`KW;LO0ts`(K;VPKwi(2@41DI#T| z#RJ*6O!LYx^DDwmJWOB2`~281N#q7&2k2XGKAmDRKna0z_=Aw@C9}k`&r4k@1 zg%W9Tzv0P1Wh3&_0YrA4aR&X-2m38q$64F z;OJ`PN3HIg1)bdyp*6k8B5-HD2C?>9O^~Ua(J@z?CL(R`1iTVVlCxMoQ*p`I3ahrq z+jv?NMNdG~dnSvh7m;ohYQnvBMjDWARxTpS?Ubv0V^^AHt1Vo3&;o_VhY;P&wW?5f zA}NGgOoFY)IX=rPV>WNEL?CNvB#4N`D$)0qL!fn!^dIM+$HjCQmQDxUhAIL_Xi)G1 zuo#sR@Xj*5c2^GTaQW?g87zv^q6EWv+2N%(_0mAG^9XraQL2y=$rD*o(1pOyCrd!W z5{SAXveMQw!%9qRIZU zwCKQzebj)!yEa;aeTmRwKa7-q9}EPEYo63MpRk&?ARh&bpQ{TnZ7wq_n;dm=HUa-y=>RiBLyzOnDCgFq4j!j2sW zAL^+##7HFSuQE3R`>2)W1`Ne$MsJY+20k!Y(Ycl0YL^J_dGVA$fR)+ZBAdD)Pvu5N zw=AVVRd^`wgVN;{BjXc8q*zp1|NU4rfCEfcP{{1p!g`CV>3e`{aL)@5-%JNPT)>Sd z1`D{^TgpmMqzh0`W_7BLX>%OFXGT(#*$l(AX2X=qd$%!UB2zi%T@zxT8nD=OvMZObPO-<+1^t!cTjjm5CsjA z!ORaE*f}b6JhWm&kdqU0^>53J$w~dOFQ+WvMJN4pZg(0diQ3pvk7$#$W$Gy`A=h>t z9OtY~$l%x6PwALE!h3GpR%@uCXVS@jqcv#0qOARP*PkbHdK`7jk$6&h)zNtH8VHWdH#h!H;RJv##b zm<6GrC^^QEp$bHP1cwy<22IUFs7Ow%MoV|p24FO~nyA2}M|uFLfzvwnjvHerU$uq} z!+ss;r!JNjhDd)gI^Z^W^C5!Bpqdeagc__RBMjgpgSOuP>}*?7twk1VC5e|(AzMm2 zOABOsxgY=9Dp84Hz04+#v>JCB$TL02k));Y?D;D%=gprX=lw(eHi!eqh5CR9&m;-Z z6-4Rv5#(^l`i6`X1uXtuUx0q2hAPU9g?~!RwVVIBV0eSd;GG8V13>R#9bz*YI4TCg z0cp%fIw%(Vn6e8A_@y0FzpJ4jK~_L&NoqjcG#WU10O1E(%ld;j(W@_L!*uBChhI`J zPHRH;tp(pC?{csmpEy6&2wZQHG1fI$?&bIk)f?QK*(W;EJup=SY~&quPvZ#&iYbM& z;L`@1v3?ug2VC2aR1RU%Nh#|av+hAat`MktVB#qA~gC-^DM9h)|qMIctvhaGu zL#&P=a&8Ek3`aif?AB)bF~`#|1c1OIl_%tiSQJz9LI^%lsP$rOI{el4(`{pQH@$5j)YK2Cr9 zs2Ln{yRI~>G_1&x1N4kh;=z_@HpVjNZ@9X;TU4%;zFk~S zPpL6Z0iWSExiaPHb-$-RUJgLM-v&{Frmg%N^^D3b};2?6p<0CRo37(=&b9Qhg80~@Y@Sa`y{K1rkk3$?*aIm zU8=|e)nUr0jm2Pv=v?F1k5Siz;vt+&H<4)Fz+kF8I^|6`l83*jFxxgsuG_6=RFD@F zU&g4t0M?^X+DtP_i$nb!+0gT9t$HR|3lH`Q($)x#!XQ3fqLWs#0(6S z(F37KqQ2b?O$@$BnMJf2H$lLhpm-t=y<1#C5{T#miJe0D6w3Q(B0tx9r6eu0wL=>e zkUR4&JTY56XTckS290IZ+hYvB!Y*rB{tt1Y{j~e*5JSA)5r{OkZtx5Vz8m znAZ#_6S+eaz$}@?AH-dq@A5-tJ1hlp_f#;bpisLZC}Cek*MD`)4J7IYKh&AkD72@st} zK{*ChEIrp`xBXKjMem!4&ArHtB#^pUh%$Z!KR~!=P-qOj9KnQ)>+pR*>fYyQhmbRT z4DKEi21n7~yb}0vZ&_VabWYLKqzr(+dq)s1I7b|emWWCV)q&Eqkl4E}jbj?ZG zZ4~GSMB6GlX+F9Lbb0C@xXL}=4R=&*FM7m!wOJRW4_==R<0&Cd7>MEHr89Ub??gt8%l~Lg+dB_b;S8^OY7wrnsXu0>U)IJ zMMb5pMQ7%I&x5BdPZ@G8LNPoI?noBu82IreqkpbMTSMn9>Bj7?=oaRTyi@W8L>CWl zKq#0W)(-yVm6H%k`Wr`XZV>xw^r+F z$$M_x_#5%lW*?VkH$3+R_b#>%{i4Vzo-A)&!%$tg@0v}oKkdsN`4xH{ucnWd&OEOv z?Od99IwTX<<&L6fOkcl&g58CzvJ-L81aZ5xRLQWQQQ;$ziMjBeM?SiYdG^QL*YT6C zc%QvVCvj)@QVf^GpP^gesE3OWSRdb9pTqhOw_FdMZjGs513XuuKXu?Pnz2@_8EY2| zHq-wi-Y56TPUNBC+Zh3_qW`?I`EPG;uMc0HDstYhdAi#(mse&1_lC=C_;lES9k2IM zy=6$0?g_)M0D7owmpUuOQ4OVy#9JP`l4uIR*aLdYlxiY9$d&h^ubzKBR+IE&0zg2| zU^#gPMA=qF0r|1~QEWC^zJM}h@JQU!S0Ob-LxhS4x*%sLP406y3qI@h^siflPVSjE zL`bIsnCU-mNN)o2ZEnrD`+;%VGDS;{JbQ}y?wq4R4-3wzn)?2XLk_wAEjagc^xZ+Z z4E^sUNrn$17d#FYZ;otDXAlO2Dc8cEJ=jDu3VHERiV}Ex_R$vXe%2|`x zvUOK6?Q3ogLwuX+c0KaN-5*mljvjTx7rBd{G(SJx14YIjjy4q0S218~)~swCM|9a{ z-0)*L-}ps<2Q>o1jgP22q5H|dG~9osDVXaRlwfbgHrSZ9Y0;WR|CNEc5@R-NLFm*c z7iM-kJv@-!g6H)6ScHvVvxq5APzsXJ&z8r8Fbqg|66P`P!d>x5C?$N_^?9=zKBeOk zaO+UvL{F@Jx=4x%E=(kqu-(ix?I}C#2PATi#i7>%z3Z|r|0Eigqut7`6Z^xIq5iHG z3w0nnXB`UC?S!MUu!?o}A<#Wx0)ZV0;~lZC5RJglh7qfCE$Ey_fGvn(`Vo|q?S|Np zJbdMlLVwGpV*lVnHsSDy5lA&bLLrRYxw&L;=#Mxq>^xC3ka0SSMwQR7-I1DyU&O7`N zZvPv1|5*$*-xQUT|y+-AeGrL(}$_qO=gttGIt;DZfcG2q6AZTYd|3Q+ovrI__& zqxSKKa`#e)gM{<5<~lubM_ZDTl_d7X^0=vlW<MUF)J|XDC+>UCcLys`2P&MrnkbX|4pGcbyQ=*B|FoiHSM>(BK)U9 zZ@M0qf&;KMam|?`09c!{x5W|uuhZj&E8M^KiJa(7e$PnI0Iqc5GdfaH_mLX zxVz}roC64)tMRPdPkn`)a|T}62`Wit?IcqbyGEB~8p2ykb)x7EZ3u-4Zk4%-*?;@k z2|fybTv|;`ASPQr$}X-w8KWWDGP@9Hq~#TZFx77Clyt*9B25yGRz-z}6CK{@3k_Vx zejOKPY9$S)tdS4lHP8<8jSFrR@Hy&M<_IeXjT_(Hh*=}!JL6Mm9OmR_kW1iguYZYw zBMFcvJ-H1F@Zyc{VxD+sDiCwQLt5Mi57IfL@eFkorHwHSKz=dJVg^4qN?QSjRIf^M zy3A3#*cRhCbi7m0839S46WX;9~t+&)fxnlaJLu0IO$0RCnwx`a}@(4k#+Qb$u+uA z)CChbg{|zNTkcPo8FRR!!k_}CTqtL0EY5ou)yp>@m3k2A`s%TDGt;;&`ku~nGIL?)vim<;ke1XWYS)l z12k8(Z*sgh!f{d3QoPio@?});JG4(cKq4nVZt}|4|LKrxh^zK_B)c{(m4{n-xMB!& zpy!7lY+YNe*8>ne(K-;Vn`x zA|h<&iu-p}1RGZYJ4zU8oP*;uMlCQVRtUXMLeI>`xa6UjiT=+TIDuyz^~he0y9{whKCQ`^lJZH-i*T zAQ!%xm={VA|IkP8bYITEBb$d*e6ou1DnwxuV(Jiwfa-#cdW&l71hHs8;xj^EEu~v7eoQxKw+FwMBdKzg7 zFO-yO442ghTPO?ednm9qdZS?SL(AxATlvBZe7)cpzF+UV@@tI{uNdC_DsKsLjudvXb8%00hwaSsisRVt{qT)1NVJry;5 zUfCJUoCy=S$=G(#(OZk@2O7~VEPMg)MkkFgtSFr(f|}Iv4NTvLxtFGcBja)HDJ?K> z5Vq3UH_-YCo<$btcbOrR7k5-=1rd?WdIqGbxnXHAxFvic`U(*TR}cl;Laq25ylE!1JGFaaTjX~;0f{f{KgUdBpfqB8 zo76qbR@ieXCcV3g?Bfv5C4VIOE8pm7aIZf&3v66N3wUBD@dxzRDgo0GR~D1bV1F_{%NRXdz?GwDqrBuYj~!A;R8R6V z7iH!-9v@8?jHCYKSi4TinKyQq$!SvE7v_@eai2!DX^g;z)b0{cz*e;y<$4++Fvgc0 z;X0I}o_t&TI$I?m(sSji_dA|xbzGWMNJ08N%9*hy(P5W(yLO zpKBo^o09s9{*QJi?-s}T+H zGQov}47)53FJ`6b+xl3T97co)jdAAqOkOiG3(o7K$>pG;&7aEhEa;blglU zX~39Z;_)Te+TBMeon;3#&!3WIWmd?$ zBgHR-z3{c@>Z}t|=BQ{`a(zTE=@~vTc8!GnglaIZu(eaNF)1{>O0}=q0zpnLr4M@U zC3AA=Setb}Y<3$b!2?^jEe2vi0Yc7lm%FePXDhIz zkRwQFu*rG9PGv|k0Ek-cw|qO`xfX|UTh9Ro{@_j$4KX`r@sW={$(C2m53=D?pRU?O(B zFt2k^h6?^zT&wZMuRW;N*Xh+$JRi5QG9S{a09sn@d|BIlv=4T$=$z<>PQCYTC%fCXh|{|~I&8Y=+MaOtf108UUYj^schs()VYjw9YE zivNjWL;Setv%7`+lVm=b6KXrcAJDKXP*c4K@-Mgr#%M*DWysJr!80Z5W+FxN5nNocLClqffk!lKg_%xR zH?qj8VEzzMiwXL$F{5G(%7Fw#<|ZTM8C+{JsYVKsECW*v;{CcAY`>DG)~WZ@$zzg@ zZOvm;^AUmyR8wPs+Cb8x{(ToFFDAoMvz#?^Er(*gIjUvK4tyBe-OEND!fGX7{nMpKL3iI>wh=@S%A?zWo!0$^N~? zLf=>;8k-_oe0rL_bp?vV%^j>_iIv1<;v9l1YDy`;fW_;0@N@TIG~S=&cg=^1*Y;-9 zXP}9(HgKEdFh@(84=^q|r1N!V(eZ*Xh?G*3Fbmxvlurq!6d(p^8M+U-ckJEWt@m-_ z=E9si{W-k^c4&1TmYw5oKjhn}h#K&N+7a6BEr@jd2N#nKr4!i}*eGQA2vk@AXum`N ztC<{^zO|`I%b{Jr_#F{mUc94b)xyP@r$3K=4bY>;w><@?1Esl-^jUb~Jk~g1{H6HK zP9^i3%zqsV38{-n-k4AAO<|wgKhA+<>$6ygZBG6kK@M-)%S6ye2bS+W$G>j9MsmG z5io`seHXJDi3hz_auVN?5KSNn@m^WOWCTMz#1EUvfQ!&P%_ z&hsQ~!P9Zv@fZaWla!bpT+1bn=e}6P5fJ6mpjpcMAXAWWn*pEcW!kJY*E_@O?W}7} zn`Wm|zxgDNjrdvx1ZECSrj0>r8)lJLYJ2#_=~&MbX_*`!{KAKpVUgAPF}3$ERLMFo zRjT|=LlV$ce#3U#VDhQ6M2Ow4Zo^2Ut-snKSo;&$e`zF%dE?rkgLyP)0fbsI2kQF1 zXXLt@);w={=2NA14>-3LicvW7ViJ%`-+CsAg{Vkme$z!Rv0eQTmn=y+h%{0Eu@BF* z3z67}aJSYP3H{m?tuugv0RCi($AThUM`R)v;@lX^1m3erF;Es#Z~!wXT>z-Jke#r@ z^V+wy1H*TbJtKk_q>+P?5jqsb1AezPRlUi%IX-=zJq?=p3mD`gOf)BT)ch2j#8SRr z_LjS4DEnO(mKccMZLwjpyj;Rv&Z&?;F8W4H;*V>%qbHwLb@q65N40J?6bSyX6$u-q z9+D@!++UdrVgP|FUv5Cul#H!AB7+eSd;79&t=;K<$k;N-F&ZqOjO&}Fry~!E}B4L#$;leYl*lY6auMs zmB+T@pv#FgR=rfn6p18W)))@@DlJ@?>vu)ijG$srpwW+Zsq4XpMC4{cnR$25KpVFF z-2=i+3}xF;_Yy1fIZ^k208t}&iG|yAPoI~?=Y5{fZ*9UWlW#(|Xg9T9_2M+psjnp= zXrRva4b<|Dm5B-uThVAY+?wsZA()X*p#|j6`mTbOTG1t!t}M|6b6++lkAGK1UqFVw zzV1&LR@V`Bvix*2U;k;&KJn{LD0zpM^4xyX@AvVx|Fp}4{#x%v63~zEXj@=nBWBp^ zw6?cG6ckn6$1SHDfj*_*<@ACga179gB3a-a-KD&yTcP0jW3bP!ZR62X5XQ+bjK~vQ zY)pWpn3F`TGc-KM-#sdZBq82A=0nT-w5qfniRlc1X$@2^3=q@k*}|xP**v%yWYYR6 zQt}e0J1R+wDJl$M1Y93oQkId@i2wo7uN)-PQ<$}^dUUblf9|JvTI0?XX(<-7?%*3{ zl{aVRXvh=z@``&_<#_0u7GL6Nj}*;$=UnZ6a}%C8izs#-0wm>4#txe-la&s(9F0$U z*prktu{1p!_iw0V_5#1ugE+5uD|{-@d#}h`{ql;G z?wB@i8UDaTHbqYt5(DIwB!i_`9}{i=_l z@CTB10Z;Tlsv{i(pn!6){|8R!ZF9~4k=OqQXl={A0K@-qjAIPI0t#Sjvz`FZf+i>Y z!@P{ z9jiW!Du8J()D8ws<DbiAw42mykbgm28>=x;p#?&^w5wfEG8QOUZU?v%0<%bh-5n%$Q;>#b(;YPO{(Dn zxUp)w!>ks=OQ8&i?>mI?m2{clr6Y%)Xu`-0ihTA2H-QY1lJ+w6WlYi(VEVyqoOFb; zot?AUUj*u|tF2m3!&5(v$b`?;PyZ+49E6w$#VV0^KnTP_3e!z%yH|F5svY@O5~`C7 z6NJLlxFcDOBuUW>n2H}mJm9H9OK6cQMh8w`7Qy-cgeZ2=FD*ldY0fOoLY&GnK4c6^ z3jarPg2??vHZ=V>T}F0_MmG^t$pTL=9zd?^#hPXrB!#VK7IY@wO2cc#B$D$h)SUQ< z=@)d0b_}8eHan`}k3&ka=G2vtOEol&LIb2hOb5za*#KwB!wSJ&XKIzbs~^O!fM_ zwjZXVZJ0FcBBjuePu|ugTeDX~rQe^QXtV#$ zFo+AE_7N5Qx|2ov2LC{N)bX9E#G3ebs{0*AP>!B74%bBQ%RumE?~lIb_mr1)Kv1v7zK6USjoTdpWmdVD6{(z(ng2L{w$ zo}oemCZa{UTaAI`OC`8szsq$pZBLzBsZNRCHhg)HR#xCae&~vjhHetqG>_<8y#j$9 zA=!SFc?5%Cc-nYsZ`?RW6K zzWTE}^tBHl3UBT@hKye?MI1L*YrL#^8W?=u9KgC#3#Q8cM*>O#WH!*O8Kt6lkofkQ zx$}^SL)8G7uwc?ZMl6-1uKM(yq9*S4biy2q%gVem%Xc?Xq7YtKiN7+0RpS{kn`|m6 zi%89mgWOe2%$BA8sAyS*Z%zz@Q4s{z+o1e_Vi5ax(}bZ8EU6{KR5+3}pFcEQmind3 za|0*`w6FCa3M|-*6ZooS}Yxz%-0sr_*qrBG)LnT%v_>vL0+P#mF7cU!ie@2{N!+bP?Fy3->=Uw3WE-zoL%j zyx!^hnzs=ea&Mo|-utg_=kpqDcwvI7c-K@ z1aA5L*4J}M;saC&Z1YKi-4ceBu01k0KbvGgj`wYpJ^$?F%e@kl%Q3gVVIkpn&xR*4p~xUpp?vOZWAi?o}7gPbQR|;TmL40@{zXCP(f&VG_BHMftjMdb76|f48x}A1zIB**3L?_*eNj3dc|= zh)^e{fm|c21Yaf>*(0U(LPa3X8MqIwAahGznS=Gx4jHSqfy_xImY5kNDFV$*pM-3k z4*)}FrgPM04+G*GAs2Q(;a_*<9{r244&LlbE;?SB&XCgnnqwv_yK-mun^G*fS^Q8h z!g~DqeY@5)nlNWk<37(0xc~K{i**M2d*n7p4edg`^85#M#?XYiWMEN(5 zpZhBB^ONhr_SQ9UssC4w9T~96F3%FZ?u=LRT6NJyW0={teX8b?yFa2GKgNFnBeFon zvdItRHYyREk6Kxm5QNJ*>y;OT>TeiX1LRmtq6%k#Ap!=7Epyrde+`18RBIcrT7gyG zH@L2!il8Ax)X6LrUrZ4Xv)_E+)^ltQ{Tcc_z5A>K^$U<;w=HIff|XP^ z>RK1}6M5|E6`Fg{>4+>P=u&nv5OkikQYfhig^+MQpZs-?RdQ@ea!e5=ih!0fSZcwg zU25uP*jLOcpcTPua_mcK&AAgvp=ebtv<1HqGVHqGC-FsMDH7)f-lzDM$F|yuAIwbemqfbeHuzMdHedf=<)Ba$9xC6TZ}U&fu5p&d}DMRY{BY= zJY)-sPFapyImVXX&&!sIy^Wn?zE#BVopr(3?Vne|UQ1|i>UF@esvnDW-hY8ex|i|pBb9z`Yy*?qp{cV@ju@4H|M8VF3=gg ze@Xv>=xtUjphx%sj{hQ$QB_5X6YU?J=v|6gu9GK3)2|I3BrhLDE% zcbspGO_A;+0D<%`y&&+PQ`ss2Ap|tz)9b7rYo}q6#!ABphnvNAEjPwdWmrIcj;r;w zh?Xm2Z^PA0iwyefMUk;NFJm^M)H4;M-cA#N)_y+4-N}hV3tL%_gSK3_%R&K{Yprht z9ow5}nT_RHOpe~*Eo&P(huwM5U^J6&l%G|Mn`>n9y5`0 zsAkGi0x=a3IU#dut6hpC-TFt`DZ6_abZJ>hF`JHuOPV&9%MJnyee=cV5wu(1?g#v(9RI7ibFZWME*c?!`Fp-!RfxiVm zgne;Er$b!9bRK2UN>3dGOu|5^57knXd;sRbJSy13O5S5LUYgunCXKeDN1uw?o2EQG z%`O_HG^%@=>yc@sC^kv`kpFz|R1WhjNc)c7nm8X&9+*VRksnUc+)q_14X9iisI1BJ zU!QnxWYmEjx=>Eb^9R0V2jVA16QJ_+WXbh9d>#;rUWJ(RZf@?#H4qrTeqM2H2xo6? zAo_04-RM_sMX$O2`g~AL`%QEaSaW>~ii}D;h#>yk{R^_^Zt(T;qg~I!u<^s`T0AW; zWhea?){D6FBZlRbJMyX9NKWf8B52G^JL|~h>ZRn&n1VRh;|j3SlZ{>a;P{8MdHAra zqiS3+x{ghc>HeBd*TMcTBPE&s2q#2(E33g*#JZWtBxAONOT-eUSX?G_bJJbw6hB!D z>8ND3xD@aV!3!d&3am3kdTd5mn*lh~T{fHpDTK-H!g-~#fhs6~Qao)P=;+!SQ_3nz zO1?9P-m(N@E*fwQ`Bus65&nKpo(!8!M3@G8bO~eohkQHEDmBZ+7;IG}xYY2r$XQ~e zQ0zpCF2cB&%XR^EpjSCvYzenmv87BiZ*AuoQ3&@nvVu4BK%@~n+ftu7q{bg^A|vZo z5khM&Z5<_koINmueAqSna5Uxds&?4fKqn0t>r*;#0A9MM2m}gH9EY82X2nJrIW$4# z(8P3H&E~`p08%b~NPL%f&vxq~l5>q$0(aFt7Frvl>Y4&eiKN?AoKy&OCW4xsXac0Q^;yhQvr@6J8A6$mC++;;O<=f7Aq62~C7)kPeisn4s{{G(} zv&QKnZzX88i^J|5#0RSMESDL%`+id zNpeFxF@RLv$@3Gw%8Oi|ALfs8$>DcJz#Ajn-%RF2{hCmw4%HRCWo8XuK4(EvwvPPz z=VMUd5$6}uBt$CWzvWArkDAiiE<|0^lve2pIcto1(rNaqK9;#;ip~=idDnR~!(9Z9 zJdr`Et*}Whc8)flHFV8050g#f5SNQ;&8yFqs=wO{l^8<>vQ7SMGHp{lT7nI9*hqu7 z)nGA77qjkY%tg{BpjT`%ZnKx|Ria<);!p=dd97`vpBi{E^M}1@vV`TLXpBwMA0>_7 zNm6qDHmXL<+!RypDm|hI5=aU+f|cdi$VG^;Ul+$vwv-aDf zOtYt}A`^WPI9xc?9TcmE~rpw2_08v6hY(LkFLdv&`zJL+dt%q8FxG>7;hC!rZF7lzr@)pWgr~?(-5z(7P3ek=aUMuv-KA=+ z@^y{v2|?TR}a=usFcoTsX9+{GsCY=13$Zmr)XyZEct9uWq)>Ao<+!hS~v%O~+3 zg%zmvM;9E7( zr6_s@$;Nkbx!5aCM+DNqoD|fIDfyd-cXDZhIe&aO2vh}o2?Coq@&&<8=UzSi{XJZ{ zsehjoRlPzp#bcfv+`8~}Q0;~FA1$qInW-@NiDXQb(pnc}8z>3ASI{&5&Qp}&Jd}9D zJNb&o=jjl1l)HAAnc#NETA&Dhs5wNY3o*oCYfJ8eNSbo=I0Bk*hxz~Bnoc_!UK{eL zau87jVnqdtavm5hyj{9+_5>K5G5 z8D}^%8=n=P;(_sqd30;fO-C+9{Z`bo3uO{oOgdTJCQRaZZmB^t%{V&qWeHtRE-1oS zFCNTUL`!5tvaxK#5~}-6!J34IKqAs`yP@+aZI%Y3Uq_LVs|>AjX6~+NnkRu41TH%? zWaElO5aNILHD%P;YbNF_F947nJ@rB6%Np$c!XDpi?l#;q*VpeaE?Q$%aAEPJ~H);X*6T3}@M! zk1Uxz8w1w#?*+OiN-h=7@}}V*S&QZ(2t0k<%RPKO%R$>chEzeLRs@~G)6F!OTZdLJ zHa+|Xwj>NG9*fb2u#};0o6nHhwokTO*it;<3=kFHn0HQG&iwnskPj+UNT)Fb zPIZZln#+vf-`f_|RpCP|{GCbrN}~~O*qSSRFa(O#b~`wPhI}{w%1HZ-J&PqvVlgsz zepTKXSZz3hHF**G-Mh}o|I069fW1Br!TxTAdeM(@Q(ejp!-P&bVosrWd921}h;ya< zex$W3;hcudybyV7@oh|UuI#?Dr7HgH+|&*(pF~-TKT0HLr9?k;6IMuEwjf2+;(l(! zkrK!oyn*pGfsSyN)UZZ_ZRh%Poe`_+Jc3ZO%oF`*=QU&(Y)yT7+dzfXU}T*Q8OOgq z40Tn1VEsa+&rwcsBPZ}5}I4nsXfp9ike6217{jH z6=LS^E9KqC5b~P3EgXDWJX==x=~h0ow7`Vg0a`nA>h6pMw9rSx!kagQpPDb@=I(^HnO$QV1a+C-K=0u(I z0_oXyOr*{zu=}C!S0Yz)nE|KNqQhPmblJF;0sB_wCx^z_8B$;FXCrDEz@U<@ z9y5Lwaci6t@uf`Jh4SSF#Ui5k=Tk}UuiaK(dbI;4bpjT;9;CFlSbJ}LNBye3;YrXh zy%N+u_0Z%rd1LX`j=atP85aNgR`Pc7aqsn3x1u z7VG1p z5V(Q@GWQ9ILISYF`tYLY`+hVM;XIHIEz>e{PMR31J|s5fxhl1i*Rpy~v@_2_(36YP zjC>{oxqLliWlhu76(I?CF;QpiQ9@DjgdzuhD>-Bc54q2h@#?DKUP7VVD=wedeJNuv zmHewy=^31v*L?(q;d1a6bp<`)q&HSA%lZ*!$ggRXTL6Qul*4_;6_f44nJ0(Ja3LBY ziucPnjh^U-jHxL(YwGlw(XKknarG)msMH!TO$^)WGOJ(}7K!KEozY`A`ryz+p*Jk$ zA$&{;p`{q51mkf$h`gKkgxz^QiE>g<-FMKe8qmTn9Hz@VW31w*P5kxaeOGS^2s5#! zTk7s*0gA1wk*3+G8>=7@GrZdpVWg@}XGP={pL0ecRc~$W{MxgT!+Uo#vaQdXdn4`% z&z~KgE;aWmds_V=jqD0YJ4fALj8rR#`@Qz3$CqVjl|~XZG&;+PaW>k5KTXN=gPr~U z6^i!sS?df*TwWVL&+H0a`)={+rh}O|9H>Ck;_4nA5ny!?NLAIc{kdRMKF?Ma#`QFs%Ib&!E44$s{lA z(?F$#Y(t$6T}r|CrL&&g76sx42sOEDOE6H2Oyhfvgd^noo-KvW1d#c24c%?n*#D9HSupjkmx(pIM=OvO- zXKx)N6~mEJ%US+hjV{Mr;UG{Ygkz+)VE5E`gopVo4$DwYW5fN9Mx_mz!76NN00DM$ zPY6gTB`&d=4GP`IhGs}P;qfmm7&?(g^39dkrkmBwYqHkGIchst4rftV#=Zk@JA)OA zDO;hJnVzDe#J68^FjtO(mEqdmmdCNfagiQ4DNBZ#7=c0$>vsB*d|WuqM+whL-oT5x zc_XQv+`oJ1y0>hCXlIW<8d`k;I^RWIJxNZKXG(0eTi6%RqS(PjkE^hLbm<#dl=Sy> z-n6vIFUeZlB^}UH@Eqo%wc&WGtjP?~ zCN$fcAW^PVEhM)q^wR6o8*1j5X#K?dnNqZre5TO9VDvB0wR#(C<^XYqW1A*5)xxB?rGvWc5@vfo? z$*eB^jx^Dr76w289`5zkpzHJLnI>X4eOpGsMNOE7;s)G3K63I0o0x3CM8ZkVJc7TW*pU2fk+ z-}~-wh3Ad!q@amz(7J6mK`A$6z2-gap{Ku0u0<)=+tTAQKw4xhmbpzDZ*YaKgtcCv zKEszWFGV4`BhQy#T$4wu7E;K>Ub3SlDQ0_xy>v(2Ig3Pfd$BpMZyLx<6 z#a-p$^DkSjIi-A>E3^j$^`HqW)0pQvwdC!1y2;Q#XJC^=T-tL|4M=h_e=_tif)cOw zCH1-S2P#}Cuz9-w>7Z6!Zk8MwIl)eR7)+5STkJ!*qbk)XEM5pNb|nOevBR6;GvhQN>dMK%g}x|GOaVq2 z(*@erR!#}d@)ek|r&nD>7C}_V7|Se5_^$JkClYhY(^%4D;B7Q*Lve$O);zPErQWay z9sJnb&5`Ef#kAlg6Q%|f+EL~*3VyDiDY)KeF+BKXb~bYzS|I;nYo(S|s4^D+XL)Kp z2T*w-GAq7Q(t!(4=PL8(KGkwXB&3YmOL1qn=b@pu^n>gEXm>QG~xFj?(qL;r{g>-{HDVmIO%?l@Imn{NcA)B-M+$6MnL0I5b~-tl`H7 z@pF=c*a`l=1_!)gq+eAso*-d8ueB3KfRh-!HBO2(3K(bWi7`y(A?v={OU`u_MG+wY z586hMKGaIK(J7M!Nzc=CP>yl?h0ietKe)F(eWRMt6k$l_mZk`2e7g1h!!~Rnc^@(W zTtmG+Uk_U(GH>TONi>RtB9_~eo-8{C#Ddz5riVaJSRbz9gf|7Fk~7ya4W2~+!j+F$ z;QTBpz{#&ul+M~e!K!aW$s?1J#{cHYQ+bqf4J|Z703}&qt_T{VKD^15$He}?G~j(i zO%UC$v>P|w_g|3FZjI#G(T|SXiBBzqo2aCyEgZP2$g|gF8c67t>1Q-@agx#cT^=0| z1M9mD)bM_kRiK)W(k1WaJP+l8-h7=cih_Zw);uLhF}~=S!aC}#rMRAgw*1}*dz2-p zs+TriL4td;=$ZTydAvgDLs8ZBhQ8`#Y&10gh}`3D3#AF1Mc>8Lu<*S%zS*$rTGi?a z86y(Nv+}rGc6WgxIRAA0xlDPqXgHY&;xmXb#xbDNracb*RCLZGYws#R+_*yA(HWbM z)J|!)VfiYqNRu8b0rTE%w6R9LJ5P8ewS-ipHi~t6)q6?2A$Qib@KcKDWXPGvAQE?X zOf~e*b&1^<<2UB&n^?d0M_&$7n80eS%dNIKVUFS;MJXwyC+BqC1ld0p18$B=RmiQb z3M*TVJ?j#^E5D#$YoikZjdrV_Le{t6Q*Qb-o8yr@Ff5Xs@iKaxLMLhfs}5522BR1J z%!sAwkum89{7ti7P1w%C%;J-`Q%t`jZ|W3G)L+YSs3>vn<=Ajoz;}Fm>0Q#wV;_H` zwb{rW>VnnkGQ6D`QkhLLi%?@Cn%qZ=8)qLJ#YMsMJcCy#?QSu$Kd3Ch zXZvi)H&YSef1p5Xf%AutF7BPUXztb@G9EE3lLTa1$;9@lXMPFwVHRZ3L~Agq2#nW)I>qG{u%IMH2eY*iVgsHtN8Jc&2k-wy%xUsQ5;qO#-C73teWHRdv@2(qtUkw<<0QNPv|#Sx#BC~W z^|C?lkgA5jHW$PstdT{-zPG+yLAs^m%dF3-A%xIQL%_jTT`P@Lx2^CXpgz!_lATS_qD_{W;phxW~vU^T6MBv8qt!57b_Pa i=KECp|1Mes0v-JWL;YRdz;g01q&yNVBBE`K0sj{m-T9;d delta 21108 zcmZs=Ra72J7jDgqyF-BB!6mr6yA#~q-K}wVCs=R|?iSqLU4pwq@RPmwcP{=j{vLHv zwW`)rqpy07*uz)j0OWRHSXzseTgs? zd7RO8GnqGduOJt<;vb&nFBUN52q7&#jv_+2O?WFN`1#Mq+-Cl81?v{M462g%MLFH# z{A%(@(e%Yo!?G~kg`>g=(08SCWdEAMMj287BZCr?$;t9ip!-m7`G1mz#OcYRS&TOeXdkAk| zz?{(_zP8wA)hM+nBHUk%{$P93=_F)s^@0w|fR_8<&W0Gic7y-)_^h84(tsR-$Q9K9Yz95UBU|qIBfh_497>|`!cRg2(oz_L&7xi1sd%m;2ZdtZ_4kCB?KAjt!%rrfn%(MOCavkVo zdAU8&WMBVQ%k+D#kgf#phE>JKwF=DQb&lJjPJSw}xT`R(>t#)V^7*h`g&l~rZ~K)! z!w~hPzMb+bdw~|PG`8g5pe~{K$rpAdTP=KDv>}rwoOJPf!!2|0>4R?H8Nb5OaKzFr zPPo2Ps{Y9Zay}$|$Rw`B6(J3Iqt(Ttrx2#Iq2D&{e%miUBmTbo`03zdFi_7|2mxKi zI1m|U-8A>}d5*1EWKh@MmfD@G*31`2i^@i zCZwf43ICZ@ZAf+yFuJGtx-;NB=aED1CaXg+FL^6-+{0M5L2CWIm=$_1ZwZ+adEt$_ zY!(U)1OLerP@ypB5bG+!wWu$v-3w5NRAj+|Y}EcPdMiBJz4>6$-!bTINc*LuWh%cE zH>f$#Q63*(biQwx*j(A^(bcrsyiuvLoQ!fd-vTRf&oWVc5GgAI5fULln_+xlxLduD z(nIaBtcdQnZQ#A4fJ;T7B##P4$RNsxPmom`drycsQ1IR&{3;tG-p>Ei1 zjP+N=Qr%gqWd>b&vMAvkuSV+SsTK-@xvCY&(QawLDb3JvZfw>QHw~qj_q(k$=FjWx z04=Wgw|Mt^>A+~KJ}L#cT&bE5!o@!(Huamt>7UMF@m^BNIW1UAHd_gxK5Hn`Hu9b7 zsug990}tArtccU8&!;xKjkfg6;XQ*~S4F?jFDqFY%Du-5Ej(Chn`kjv6GlhOa#y}q zjUS)sE-T@c2~We6l1g1((E6Zs(?o0{mZtTxrCh1E& ztYKEVS@VNx8Of2T^ThR3=a(-86@h@*jGaOl(vn5M2sY%$A-S?|BKp{)iGpT=8lSMW zfuxQu%@qCU_nlFjPo}d~DTul#JW|Km1wZ%MzK4bUj9eqx__@PGwNT|R!BU*8V3|6j z4umt8x%HD!3fts1dJwa9)P~A*lUn{-epODE3PA8}cnOfxo3Y{CPSlbK2PyC0e@Za5 zDnOIs+gi{ImdP9sh@oTg8L>GZS17wi(dEHqZ9?(H0{lD=swpEOuC9CEswvG56#zb5 z{y0I67kw3C3|bAPP_?D4Y~>72IOgvKKql;`t%3bQquw~FF1d;@XORO8D@_UbSKr$8 zBsVj0lG3wW$A`figlmxIAb#t%qP~%}pFfHQG#D?dN z-7=CjAH^Q1_UuwR!c_2uJ-9EtjbL(YyuUv8F@RrG7=ALuv%|Ej4cQ7a?#KLN1pLNf zr+QiKk=rg=f?#9=|AEO?=kjVwjHV$BNze0jV^Q|JUYIqGUY3C`<9l+*wz+6v#=L_P zj+!UQCH)*!p;R=E{cm(d#gyc=RmZTC8&d41XJJ_S!WS>LCc_Cl)lE9)rmb+ejSKfP zoF05W{WB&Wc_U84>I`pt1M0X{8DP9Go%%P-wRoXVu=TG}u&c>!|11xcrl8P?vgv$R zYev{$?vdHgc9v$<*v$UKY%N+YE=v-(S&d;cNBd&$6X_J-uo;Fyug&dH#rG6KLkk&6 zb*foCF^4`qh>RPTGdtRZ1?q=2%7jTW9T z39kURJ|22H@|it=4W@~tcn<|y@V!*#M_8+H`sfe47OZ7&Lb)VTcY(M7d!+x#gLg)( z5Zr^|86PGqD)&T2VVBKH=CfH$byhE64PN&XGn|_fREF>;&)8B$<%gWlqsZd{|8b1$ zHN0R@RP8hh6H;JWA`J6{BXE7(wQTx8DipEVr2b7gwh~t~nwG87n(XO@eXW12c6K0I zuiMtA!szEo*>r8M`F zSYID8!ddQ`qpD)JT2har!KE}TMd1-)%ABHev|CfQfm8G`?a|5s4&W12Zz}`=v(i!` zetDGb574Fjn1tR*gzZAbqmRApmK?Qga6(n#%Q4mxrSX zg_C1Bs=9ACOS>KnHcp*HM6g)FlRlm5@v$Iy;uXFx8^61rJurBNF)(=31G0yAx(&SC z5nmdnV+B(zB>piF7U&=y?k_nX(ig+N^~f>9A(mAjpg-9$7E}zfhE_Ndcb{SECkPS9 zswl$i&laJDia+jC;w2m0l|zl_^ne(*?Z{IRdc{GO-&aHh=RKf)uOv1p!PhR9QV)uh zt^m$9*x53naAcg=a1cvi3}FL78azsiJaxi6TdFBZJ(Vf7K*T^RC|?R)%g@oDs@t6n zKT?U$>H^J%%0<`r+Lo_af<*BVXE^H*Ze>AzQtbvNA$A5FTpQ9onM;@vq*gZ4#=AxjJt|hT-tz2k&X7s*}DV1&%*^wzD1*zUPbgLy#Q4i%h+$o(~fPBV8;0iC}bCB?SZ2I|i3)($Daw zb|%g)PNs&o|IF--tl(LgnTZ*R|C#af!ZXO4CJ8V=*P9wC!~F%g1b7fNpk-_SxfSib zO26lKmkxaLSjNt2PbaB+fHzEoVEmqclMw3g!zx<-ClRfl3*RIAOBULd+9Hj_#>{*{ z{EMoV^{~D$mZ|tc@>kWP~v=$6lt0M3s)B06JV zKs0k2-)~_AnHWvlcju9FCt^WG(a=wwp5AC?l#~UrP6oXpQBR#g<{!2rsqE4%cZ0a= znQVcBEd?SoP#ug1P9T`6X}(PxNW-&ZB}LvsM5l}(|1mI&hcOi`3rZ&Vny6=z)aabm zDfD45ikRO6-y*mVxyq!t7tP>F?<`tBvX{R{O6a=4tzc-4Xrshz z6fA8~0j<*=32v5_e%G4;?g0VnRrZ$_r0O163(QHxKnyVegty@*!s}KHTVfIebVNn+ zv)th@BpCN!Umjg;%hTqLD{)or)6C_(KbmLmZht&mvi~YQ zyd*Fyeo=f=e$#q;%~{P9x-aIpAAiBOQED16LO2rRUr`iXNVbgzE$Dqu!cggCThKSZ zG%NNp?b6={24-xmR-Qi{3=zTnSt5!>wOPD)GWcSH6uB(wZ4mr!KvswR@c8>D#8`OZ z!qZ9TM8Yrl-PgIRwz5OD=VmAs9*QeywX(Ai+th|R9HTM-A9;P6Yr9}!=U@dpfa zSNP<5ISfKQnv{0U#mh3%y!A;=mQPwrK+#|@4|z3D;kUX!7VXK>H0^Y$@(6>iqRz^H+#^AYk@mKic89U4 z9tyh+U&N#T3V<+J_53M8Zw)gza9qq9vR}R$`AH%v~AQ&gfHWl$pGNP zE2fw62s>=?6jSzoJq3`6h>d2bu4EoN@xEV~@R>9YYZEPSWy@tg)R%mxAU?OT&OHJ0 zA=B=WzG~=r2Q`;3-L5>X;cYN2oT`@;d#P`+AM_a`bQ0<<1f7_(>M3MG={-KTtr{|E zPfl6;_E$&%)ePc&xn|A9jXI)*3Swb<_YSe{t~AZ}gm-YrcJ^DpR;!I?UTQ)%$Lgo6 zsp`AcUCG62Eud>?ZrgM+wAGc=$bSN3_m^FbOBD0QWmNGPI7_JUZ&r5mkrfug!R1#9 z!81xKYcqHGU2ldiXx@m$--*R_HQFKSN8yo&W(!UqNY;dp5wJy@+)|DW82O|Xb4je6 zT3|5J(H4~d@!^_^}W{(49>~s55hZu|Nfi(*#pOGgL?%QFeG^B<*p2IU5+}f`Ltxn zZ~^cB@+7rQzRv(cX0P#o=yv6g%jMwUaC2mNp1b#9&(YPCEkE({cn4bX;;<+5t3EpN zFR$k!2uvKiB*s9^>$I!8wOD&@CLLAc$Hh`$%$;IiZ*@!%1l#f0a#PJ8eAvq_zI3k) zi18gGqP9}(Ln_7TDBN`|V|od5>g2c&9;!-NPy`nSZLdn%jLf5Sjnrhs*~NvG9%o#r z3znWTGZqtFxbln{w*YGkRrZYIC*!{Z-uVc(w>VB9g>Mw@bcpn`d!h0^+&S7VJ=Ez> z5_@&EAe)EFv~?sM$LcA7N^?2dxH9ilU0zC&YhhB7IuV4rj6qW1y zLs5n-I`b3x5cW&lQu`9%0J-Q@`q~I~9Ec~EzWURH6?;4052l@d!J~Z-38B^wg|E?IPWvImPODm`?6evIQ@A)xUqIPFU9!QfpsbV7ewuU6 zkkwE15)RLP9)L^ynKnIwMKsY+H__liH+MtRe`Fc`4Y&PCi$wcQRodcHBuRzs^ezot zWPnHsQ_lRv)isU)N1t&ME(;A=;SVJa^CYp}PsD}3@$$=GhwkYMk5`a=rgDF#XNw(% z*{Podkj`%SZ6rD>vO0C!#AI4mx+kymklcK!`x0ESc?wYQxEy>s5q(W;3fJ$g?Ps7> z%7ck`cB$P?&6$bB)hgiA8(QR&^#`xrLB?&E?-_`!gv?)RRNOd*4v81TLFti~=Wbsf z`E9l~mg<31M!4YJJ7zbJ7ETgpP5^aTQ1hYq=5|;p-H0TA0;=2PEQ6WHjLK2aP9aD` zj9)$B5(7Y#DUo<@W#44!iZF1iLdOP-ShM`HqU|#GJ1+LpTK$UxR*mtS~IJP-J)PytQ3tf>aE`?s0i>ANdrV>-o z40Tg2D!@KUa7JhSzFu&L?AXHBzCp0RV!@pm9lC4VhDIdU9OQFV%lrE$q|7qG*q2Ca z!XnpVf2Th-nUVgz?cmfI0i2cbzjV7t6xhF4V%8^oe87WP|3{)*_G`mv zeoOkbaqcL(7iW|2+%4*R=q-FdpaRLDR-r>l#u_TM(2*h{=e&=$HtngzYe~r|lkRi_ zILQXc-Q5l{?afkmsi+F@#l&PeDfTu(5uX_t_4?f;D2+?g#+uXCC#$J}>QG`Xs* z_sH?V=gP!fq5EahF|*@3Nd>GYglQ<5RPz!>j_krHC)1hrjVJT%_ETHq7_V%Ln)QZ| zA0!y7Em92ob7(YSQwnJk?WL94xa1|Qn zKt97axlS{?ka6v@H~f`f#-;+WIDSJ`w0QDD4j?Cu5wN3zAC4o77y+thzJy#<;a?1G z$OfbiqSQR+Ucpn){oE2#+~w_r7_#=US&2l~aU2pI6R%X!`^XA>-0b#h@(q|N1Z}_2X^DOD8mr+L@nVv~ zMBom`)+7rRWzuL3aR;D}V&ovHz}1jC`=irpuW8UW`zR_PJL8riv$_qU7bvm!6O=|E zsAM7Ogm`4ZzCq*Tluto_4~1sNwZMlR@6Y$j(x?SpWz;UBMd$hBcc92jpk1O{?7@;T zZl_?dj(AYwLgaZwsiSFuS>p#A2vr(-3KCm`r}imQXW&f0(g2i6Ch69b9a$qabc;|2 z;r*y*kROY1(2TedsgSSpEnxLoo}5Uif%U}xU^x*#vSwCRNSR&MN6UsZorjV*XXaIk$E(2vZGO1ms;#lf;4mHN5KgVBg1Kvv-!WLv_=idi?; zO)=Q1Xl`EaQ2|5>s9(~2>rmd3GjlC7A3MF-MX9%z->M)2@OQQX7>CTlC@{~>D94RN zuSbrFso1$8w7}}2^BLSuEmKuGIC-oosPtq{G#lwQu>s(={?*rAd+AXCbD*y;Nbj5a zx6Z`{3BH`83Ek_h%&_vduY+U9KJ2&*Q8&9Djsgrz13;MOlVVk*0H10_`@OB^BG8{` zw!2SM{J49`Q$3s*z~AXnjSR+bUJd7OIAecMLT?$vCTD(seju$-F6PMh&e;Ant-dV> zt6C3R{r03>BYKHVtyX*CknQNj^U+k$Dj;u)8{P!sm`pK7940NtCT--+r>WAlm3maI zTL#vH4_NthjWulnm2Izj9S6K4&;@p*xdu*s<+yzsP#@}9+ZpvXo~$t4*nYsz5uvt~ z$nBH)$#M>LG#2Q!2d;ost-i2l8_`(t`@X{YTL-Pc;)#(yP(3u~q}tIxHfGu>j_PpJ zLS?IKtCr-n0a<)d@+(E-P+>u0p_I%2hf&k?I&gXoKSe72eBLrhW<5>=QZh;KXyGe< zNN*leyNW8H@NL^Isf-c*F^rc0*nWf zz?H{Fh?c?MHfS`#8wPE|lV;BO@51#?JM=0d;?-&f#!VWSTGQjtNRM|XcO~Z~R z0yq{Jq9G`XRh`+it+>`r-vPYHK`Xz8)sZ zaeo{mqvL!E-9>JKS?@WJTECV=@d39dTo6+~?&M15cQxhTV?pYxwU496aKcZ#Mz`L> zPBeB%#YcKgD^evn$9wXds6O}ii;=~~R zu}m%?-~M~fIobEuW-$ru4F`ENA9a)zoA$$~C@MPHszgOm9f?$Ryy+MHJA9awhObNa z_X{Lgj{Gr^4};nAVsYsvacSHhI724w5S7pKOm)KfhilSEP}H+C0DY=I{PW@gbtN*V9Y(9a6@W?bz7B1@%; zYW2qlY5HaZZEa;l2GMRpk{4;2*E(B^QT)iFtCEIc!VJ==VRI^Vb-F za`1DmE{-qQChGd6>e+#-mEchhqgg3-#M+Raw4{|j%Qg(>O=A#ccfr*4{!;HZxz&w# z)DgM%@LquL=McVz>!%D=DuDIVuHeiWZSVv67e9)gD%CXP$9Z(uqBavRs2T+`giQHS)DfjcS208mBCD!L2^dC1s>uf_1Yvx-E53LijtE!q^W`1pSyj}Zu%?ObfeaQf!~^4_g1MWbvdXeb8x+Xc7hX-@`FeC z>Jo!z2ii-6d~{O5Ij`+$WmV`TH`9aU37L`zf(7wNp?;!t26G*Yq~AJ-p1QIcU{HR( zR+45Xt3TGHNypF00|Pdyxs)Uh3wSoY7pO+upEeNol6c>sqk9jCze^$ra)>8%fhUNq z!as{*g?8fJD}~nxG?43;7iPi24IaY;U0bPbeSJ1f)5DM|5T1oxLq~VHEUF+bI6LSm zf{-k7EMSo&Dk0rkX2xZgGUQ&yN!W~6F&M!76^vzDlnkAGUJGoANBA6x65s3n!A=;i zOU=O|GU-bI>^%ZJsM+6Cxruow3xB~Oxb;}%J};=vU7K}w=_K#&o3>W{BH5q&W&Z_b zFLaHUR~1j2m>%_HufU9(ye(|VP=ryT#FqX%E~$yWf~EV#hHdHaGELXF?n`3voVhc8WeLmA?^Fl-MH#1lNA>1@9j7N?VTv zto{O*ra$j#k-%rm%)HI0{QPmJNg{NO5ZBJzq~$!J^~g?|SzgRR#Hz_W-buU^8`n&7 zYT&2Kzq(ceY z?B6%l2r11tyS3%Ki~DAS>`CsrpVG9LK)6ogeOhRhOlb2ZMx{#VJitWdpFKDI%WfFYGoJUTow@qvASq|Ys+J{Q|Qfn zGUIPrq?N&0)7a?|-&w!$&!H$9Y<|TKdpKFEfy;pz)F=$1AcGs7wTWA`KYzHJb%;RJ@ZcPbX|+or%;rpL z&^YXWVBGA@3=02;jQ`n4LtO>YrHKlF_LHWAv6}e>L3}VtN=BH?aT1_h*#A*=v#=tF z6z<=$hbCwf?!Pi-v$Ziu9WH716tj8J2K3j;{>R|W-tHg>_mZ>- z@J<9ok<>?>#+O zC#Y>N=2JW-`sZBUR7sqy+Ol}aHCbl(GMop<6a1zVG5xqB|EqXD4=}ypP+Tbc08VW2 z5;B)a{$5@wN=PUj-sR+LcQlq$T~r{3=Z8N8x7brOhp;7k1bKH!e6mM&1r>)hqp-9O znrS0HjX2(Wf<#F_8mG1BGOhJY&sWDK$@xQr7_uS2lnN!g=|weeo#lvVlZ+FRfHgL$LB!uj-qx6W<>V6K?PDL;}K@|R%TleM>3R`_e~`qqyn~>sMJ%!8ta_HYQmZA(cXub| z^34xF?aY&XpDvBKa(DN`(}U;Bxu^TmXUE!((ljFc=(%h)pu(@p?^$qSpwvrSVetT> zVF()slG45`LADn8ckqA~Ww0Z|#7IQhX2wZ%)FXmQC-atU@#(7k;V0m}#J=QHqF(yt zFQT1hiSabGuv*+UeS)Z{@2zAA1friS=T6h<8}9G?1SZ_d(?^FCcrquKnz|}Ztk^nRb?Fb>?j5-WfNPkL>Kb#0*^K7m=lk4`z$&4j z#EGj<48!tig*WTEr`9E6af@ZA+!4PRk-o1@CfD zn$d!7FNem1Tsjzply30-y93{!Ki37>SN62+8hUCBUe=UN<_ol&Nmwi8YdFG-Hw?{V z1NP~D#I_kWRyvwBh0uF~Xoys>I2^-vc7tQ51HdGO`tI@i=A;{)gfhq23LcDa;4WY# zYl6e~`vA56*c!lRI>Uu=TNvRqT4#%GA(3SoK`rpFH{>*-2$@ImQ`0hD+>}wWwxt=(AV@jb2-J$*G1L{wnrNPwbr!Y5>$eWX}eEiVsQz69`N0t!~A8JX%a<@toY7GBmx;w6iUFD z1Y|+;!YUH!@l7OP?FP6bMxSIho#wSuJ8XCR5}XhC>L*>|H3gO(ANYdQ^iRgRRA@T0 zl{Yzw=v8f2=bKt>IkFZ>2a1cDY_l~j{~3Vh6EJyZAZE6GTg>Z!2hs?3ZkpY@vk^Iq zA4!#9S?QCaHX(nRDuh&!bl_G&@4Kdgb12fIMW-kKK4$?cp;fuLmYkuR;=p1YyGo8p zQqZa=?Z5nL<0yfNI;|kSjo{#=S&`tdtMvh91@nWRAUtmuZMVQ5LT~~vxrYS$`&S^( z(IK3^6@tl65G^#K()tx>Zwr?bMNzvXvYYyJJ9d3zq*%Bxn|#ogdyFvbDZ@qKxpaS7 zVQ4_iT`?dW_u5X4$x|B%N2aAH5Zte@o4KZ`J8_cPzOU4ByaPj8d6}asSULXQYC$lr z<<|WTtTXsbEb0SaI7p+c+dzb~%MGwf{z`BybF6rVCmsc?ZyB=lAiV!5u z2MR_#2ZyD-rRXgN-pKQv8*oi4T}OT}g{c zY%hY1GlA-)7kZ!zXh|ZM)D{L>s;Aq%?me1Bpq6(K7HD-Wo^@hVF(bAf;Z>1;4?t84 z_H_sfj%MHOrGmL)&4O@ha;_tbJPcY57K(olx1GBf4Pkh@>%O_Wx~h;c{n8mfTX;58 zPw|!b_OMn?2hU}UM|A^pC<=6%wpK57HS4`N+?CsG`CfO$K5ufLtcCC2PM3Gp1rdOM zTbz5excB+X5&P3iNZ>s@II%hOpDLL6!<)a?VO+p))LghV6JElA+@`i6;|$O`?9tZO zNI6}cQM7mOFma`R2%Iq881LjUWcGFiINC$(E_QpQ2PhfQP7JXc)B|-;BR03KvP}>& zLlQFBy5i73)+MZ|#3AWDz;JZw`lxgk)8-buxE2#$2C>(jv(k__niL-zs0!`0$Qmld z3{?#08JyUEHrV2)T0r`{S(rup$lxC?!)Rt61`&gU*qT*FLA2oDT>ooJ8V7v_ z{UQ18K&CP@_mQ zS?n~#kkv^NNEOg9!fXMR-e4^9K{IMv8oGWdE+aZ5v?Q{M4kvk>Q8g|%JJdRr$s{_4 zbpI`|E}i&&+zL`-b%#CDCX|d68SEDm)Dm!L1nRVUoAeY~Cun$7_J~NBB4LF@ll~sM{F| z*&0nqXTn}%^b~hGD{|RxT{5+tdMdbzD@1oX3NUHCU5F>4!pe>_w7f4wd=!YkA;TdF z^))U8$$B#jf?knf#dp?NmQhzowWq<-qYstzj7O03c`5v{2_6Em8GEEb0>Vp7@KgEW zbWU990Z2}i6?;JNG*$}d*xFC&pML%>fm+bXq!i05W7&v*O(}~h14b{|Sbv#nmMjj2 zhNeHVp`nyuUm-bidP6@Wzmw&5UW_cUSvZoV=umXTCtjg517fsp6YN35#g(XGVY<-I zwU*e{v76;O9ns5!oGF{`SK^uwkuIF{PYd~)6A}yg_q`8` z^;SCiue0l=OTrjs-xf1LP3gw;M@Oj_F5I>?3#W_KjuM@?uXl6V>P=HH2We*fRR`yK z4>3=fTr5DG0|@Z_VoyZBU`;v;Irk&0ahU?E1d5VIOhx{OcWaxDk-}|5&ihbSPF90G zV@ZMOhU|pQZQLjGo5zjzeW!;Yrpv8gOHq&a4(#?66Df8F>SpY?9ABJ$nch6v!#oP2 zOz(H|wQ{ByigyoIrysXFjNfa$2v!~Lg)@Nn(=7nLDOq@yi5i6^0438hDdJH)DR?LZM(dltZ+fyE)#JisD?{J3(j3I^{=T9LFL9Q_9I+BuK z*M{$*Xl;X1o`YP+()Y&K653{5zqlLoPiE9F!RGfMSWM?R<9WioTG-+8cBg#0+OP0> zvU4qyaF}hreYU!PxoixuXV}cx? zPwGq~Lm@@No-0k&+^&*j7f^u;Tp+`~jqNy&hm;oeJMOv0x1kJK;#*d#dC5a19{v1vJquqe%NTaYRKyNOPio64VvG zuOINFB)Chu>q?dcw#c)w zcPH}R48A0W$%F)!BSd-y)k&=v=sp`RaNSw@RVO3MvWodzl}WueuMc|5)ZTbTT&t+w z1?o*RGQPIed)3z7GtV#UV}~JrO_W=7v8O0ApYlJDd@{#J%wwEjr8>=-tG@#Gt})8S z9n1*Bw&j_cEc)N~@5g-@D+bo-HifXIBFq+L`E}TDSEJQ-9bdLqT)6D-+V}5G=E(Lj zCip2@rIt9@{Z8b)zGO9{#qyo2baDFXzK}H!@U3*V#O+-=D>M)}eRg>vUDEDtpf^0C zH+&ua!)Wg~<%0U?{u^e)Oz#OGUW}b|`{G(~nlp6qz5R4v_r>mP(fOik>CU?C{_Xzd zOvw?UR@(e2^h{%nqs|qB)Nwq_!-K_#=~o$GZT%267UH;QW()VG_OTg=BbODdOiFLK zN>T_NPBh&FBeMk_g*?Nr_&!W}SlU_iP8XZmW{MhvsVRLx{v^sidZ-1w7TkfI+|?eD zmEaXwWIAO3j3pt;DyyROV*9zJ)~5IUv3}=hv2)yt-SX=og2#B}cZP9>g*`D}HXoOV zJ2aODOW zrSZA7`$Xr3P2ZfW&L0cFPU~{K@QwUFZQ?MlHCeXUb_n_9w-e)IW|btOWcI`ZXr5L) zFegoVei4Q-t6}05iIM7p0)~VjXdEX&!kg(&SRVMeR`kAyf^}bJmTA>5#gKg8cMO|* z$G1uZ%&8n@4;%?+#hOAdm@paKIx>P~-?ff<@@z$(YR|_rJFG1r?1}zM?Fij)>hG}B zUPj0|5q{w*MxC-us$q9aE=55vabHm<*5A7#cnxF%9S5+T&#-UQ!nMXCLZd-mX!zl{ zUFmVK$bxI}&CzEl!?At*oH0f!Sc^{2_&8l*#bK2a-}%>V?C(C+#&z@W8S-xqFFOA^tOPA=I@ri5f{#R0n?6w^Sk>LpJIC(PnE$b!BygdJ z$?W9(^~nmC-=e!f1cP^+pCF+vae=T%aCo{xf`hIk;3ku)WFv2)hmV3!XPTGK+mBuA zs9r)Lw*Wp3phMe0TcF=~Pwgx4m%5&Ns!+hqI|a?EOL-296f?U_%Mw02d-+d_N8SXZ zN-%<`QOWAbp66Oqh)*7Qrk4wod}PpZ+~%YrFx(Rd_8MPF9ViJR&D=~Wb-^|REIA0; zh~XxAj$z4#T9TYTU^d*>!v4STm^QTxf&%AYN^`^p$81J;0hxXVu{8f(+>-spw||SC zJm8X_K^*@r7S+HH@c;U_zdKmXv(Dg=w4nd>I_83}|Ly(nm{B|U#^?VVpt=OUkN8KmQki**uQ|aR~c2AORH$vw0c^!ouKhz~2Q{v%Dw775m?Se|J=BAR?^(3&3c; z!h=i>{l^IY)02@0>23jHYDR;H0-)3Kr$Ok=`KVArRDV1FmN1+Da6(B!{XHzi55<<` z@JN@I&krRC&<)OFYbH1zGe<5 zMgLQjBDueFoUXttMYGCbAp;9sJ*ie$F+@yAIp*&NkbSOAP{;{WV=xLln+5SVrE3Ex^NE8IVW5x3;SppYD@`q6qeH|as5{Bw!G=Y9 z4EX&afM96yoA2OY;9W-Jj2$$j}B*(k;7)77p^{p!QaO%$CpmOR6yB&5-y5 zEl{j26O1^6dxcR3S3FOVaLBNnF(hPvdhr`o`iY5$Aa|k$sc>l$ObnG0qYF8=A=P`% zp`HRx$ViI9eYYW>LQf#2zf0wZ4JDjl)-VSL0Az0Iff^>=(tY9Lsg$0Fm z1F9u7{hp7V#qrgRN(4`jH%x9^Pl-NoY=#DqV?6bF3|EkcUF=x~+#pLG?Rh5M$RwTg zd8U0OzA$T@>x~zWot5O)y@qV(baxFQ7?n}|j!Dg_a|zOW+VOGo)A?G@py}80NIIr4 zdO0?Z@S5N999i$iLvw4s9+1ZqF2KDz3E~Q{cdfh z=Adbs_ZsT2Z*&_PVCngh9Ei4quQfd#dP|^}jX~aLF}OmIo32#QBEEv-0dKmMsG0bi zEanS2=wOO_Sm^icVjdJZrd2Nj`Zg=>t|XEPpsb2_qUv!^40htU|81L-=W{4J4-kmX zH5od#I^5$7o)Ij&;vD*PMR9|Imq&~hyn6y~A4jo{c!rtbY7(*_3a-LvpLZvz`9s`P z?l|3qJ8wqr^Fdx6Yw7`NLJpcf8IPU`YHyZ1EM+Ioj%ZCj^pgrT1nm(%>W>lG{5aMu zI{MO_=&L8eAMlo*VHipy6)o^n0cpy@P5aZ^y_%SB`~jADS$d?p&fR@lnKrmBd zaB*-%a@IwsnA8v>X$X{ADHgwY;g4h!DQDX7OLR$P>4HMzqAw=AY+2OP=(jv0aO@

;ahM7a2<2O2b zOPZJnKTLilX$R&8h)jG_geb8R@upxzB20L8#wp^X+h5M{0|^}BVP(Oil4^o2JD8pH z#ADCTCqKMmp5pbCk8-NkUpe(@xyTB*OE(>JMS277=@aFA6->E1{50yOoxfpsPLSDF zSPzr5bv>S!>RAG?m7P-NZE3F}P&feev7|aatL~pYxMisnD=MqN?NYh>^18u)7KyBuZ6pqRpYV*mb%Jk$^YwM5b1kOd>e=hc2B)d+w`e3T+(sVz8iYU}3C zJqz7kipxEjphQaIM+x}JFS-`%K~c9x?A{O{=x0l%apfP6-+tm2PC|y46HtI?NZ3K3 zG)$rrL1Eo4Q);8-fIHUQx351qD~x$lE4Is?Rk$WdEaR0rmv~k~?gfp#6Cuj2zkjjX zFkZP^);&%)N<4^0ohP9?Elc!bcZd(o@-_$iT%yixuc_H3cn;`Oisf^Fm9wkrOkCV6a>(L-! zZH>rxlN*zR^d&>-!A!Mj;`@xV)(}Ng?9}URMapX0P*=&<{!K-`qxjx6SEH%6G7)j- zC0-%P9IgQL?ff{{_cRudnf5ej+*SOZg(n~%k23qvdKfl;x$5H6*w;y52ErW!Yvw(6od~FAneJu1WM}#OFtdnoSRy3m!%Xo_u`T zvnKi;=G$kGa(uX-?ryfzD5sEfa_hiRC<-dXC`6(*HdY?b#@N$V*xmiov`IP;^|o$H zqHdkq`c0Zs1U_$c(G008ER7*@u)^{!4`Q~a{L+i1*u5>8tB{gHiA&p`kmzu**)ORL z!$btHl5k%A^Q`U1PL%zj^_6me|Hj70_1nf&8U43czN331M9)>mRqhJ*G<|WXPXMi# zaj_e7ql$Kd#^{lu)iHZg%Fj@g)n_^&EqAZv$->E-Z*gQLJFOW}6ywJ9sk{L_<> zPe}QINkfa>8a;dM%YOaaoVvuO-GX%!-Dj13(8g%|MM2=Qvjm41FTa?M#tIu4m2yS3 zdi)}^4B!0<|C+VOv3*3BD>wG)#>!CAmBA1qKDK54^lS8~5-DsAGIpw@daG-dl5^hQ znwItG1OIe}$`2NaCmI^J%_wez>b}GK$?)S3{R)fVH@y(z-B+a!YxYL-0wCGx&vRec zQnlgKbx99(pXr+4ph5Hj`GN-IEg`mVoyOSmEXK8!UTo@q$LqNrtEF~}lAEWO*Ym;E zvi7oqP=~ecoQuN8GQ{c`+L?-%@9f>qLX%|y+3oG-2*Z>fKNsgFAI{Bp(th4A3XksAf4^lR=TA#&gKI$Ej)1Xb_IyDDk(O+pp z?oKg#R;8H+1o#GcVx5A|g>tc9d{N6(u%!?q{8?jB!1{7=w|8XnD`;QI)0G2v0%m*9 zKS>*f(iY$@CCdua6AQh;pq(9P#S7m(bidUk7=L-nYy`dG3dT(i-QKomj!8Z75$R4y z_zWVVb_&H*uM(|UsbU6e0uX?ZX@BC-Qs)%_NGVP zJdM5Foz*6<-I#2ZCAXxJdxZad6LRKh)g~T!bpzDDrWzkTu5H+8>Sf9KG@nr1-MQ!C zaJsM{v;Ulucb`Kza^=rVv&L8uuiv~ync5-%E);EaQxj7+-QKE0k5toL*u*Oi$P5~- zp(;K+?8t3^ND3-99GvKZau zSpfw2xqa$Pwx&|Y0-y?tcolw$_6E+Znnd+r+D?Ci=bkgOkjfRlSRE6C)ZN}1unAO6 zLSz>>+=>6jbDdWL2EW53fsiXr1W`%Ibmf&PA41YyX&xTMLd~63^rzK zls>i60%JC)z%1rmhRGCZzpjUDaYPT!dl#7XWpk7p9r!J@Vy(OA*+S{s^6|Xq<&ARe*6>1uH16(K#kh?jA^$lp(=Z;&q>=3T+Th*z$yCWrTftIv2|O+2`!(FyrX$G6Qw_1Wp}|Oc`nhS0l?(X%1eq%={Smup)`b z9gk3hHI*mt7|W7cbVzfYSd=|u2^Nyv8FR_VWvWU#DkdTyVuOq1)-CsWW4eSVNTbGe z9?IbEOx~Eg zH1rr=r>cGDl2*c~bs$cu_`QPcvV}K%cdCTzDo~9hgrhe_X<}Sz%h9%U3MON1)k!wK zNsfw=w3VSL$K@-SS2R|{ou3%nAp9Uzk`#y(&OV=w6>ic1m0D0II}O|Mdja0=bv%FI z0n^A(myu;3EX1Z(?(>O(D(;)11;e;}d3XDoifMRnPui?VvaDo{1xcGKC3A-Azct?w zNzD9AEutr?=gO5|Cr1Z=Ru#>8L1Ute>Je)|{>(RbXVc4#!{hP}Y0eFJ{**$Q$EDH^ zv!LRNpL(AO>9Xw_-eej&0ds`HiYs_+O?ZZbJ5j^iG^&pGkhY)I)M`#lM9>ZV!xifjj4xg|*N4E9OQe{oH#Q_t; zC;ow!QU^pxCr&a_atS-pAE8UL1Y4)J4R~=%Lw;bV5ntoa%xAYgucvHi;>ayaK5zOw zwyA$K>EW4g>CxmeldKJ&q@^7?gnq*Sx;_= zOGg2(ehe+239c$;^I0yn0+b9@uENYsj9Gearcc`hhU&HMk{8D~UGs>6Op%X&sUc`H zmTKCY(vyeALFo^TEB*-{`5apSVO=eqo#iSJDIu8>CqX}r!Ngn zQJ-SZ{T(7kthZn$jcwkc%|Tr?>6=Q#l9Zr`Tt+wM)>^MMIUYo->*==TSb_keHvN;C z4dL|jx4(maoTHUpzC~t{F;ELz6WUBmYF@(z7pi8{bbk=|!aMS|{py2(V^y^F4Q1HF zur`zw5jD;M^KZ1W8lmk9JshANJso+~b+OdL4tqli(^4{|4p{-HvfGeKcSgzeGzTq| zbInw%IJ+6Ln#Q))yC*cidfQwL26St43u&+C!)byslHspZzcRJ@*)86NNR_?YjYZ$T z_*Au0@MuP{_YX(dGJjjgy4R;sL{Cz^PApM6e0g zMt)1sn_a&eR>2%RjYHXM$uUSCJv?H%1w}AV?iXTN0&*@M)W@BC4St^HYF3g4AeR{1 z%7twt*HD(<Fy^eunNy_9E)>jLRGtW(|w0HO2D2LI9dg_e>yM!*1!Ta6caU*xj;5zg1V zgJW&hURQiN%>FUP_|E%Btd^e!stW2hVx5A$aiqIs<-0WURZ)V{Mbt;DG|2-D5SdC^ zc1jH&Jp+o?Lo;Iw4ycIl(M=lXmr5C-_%MA?esAPA;M_f7XY!}N)VX_ZVnbsk0#km? zSfe(KE#c03^xh(%35jzNou$SQq6H5Ij@iOwW_HG@C2cLPXr+~3Hg<-%kXeKhFAu(a z&2N=HKW)6$?aXmdJ^4C8i2n2Y`0y|g3O5f8!^&6r`iF&G3urjBFV9+L*KsrhSBBi< zycwnt%sQ-G{p!r_2ek>5 z&rdAZx#?3H)x_96NtL6h5hN@FjTi22+zc~JMF-e0X_(HOO_gJBR?s1ri^0yIqy#a4 zK5pmfyR%6NmZXeH>SHNQ9<7e#WbFc_b&p9HyPRMI3uEr;A5j5kPD`VZpuySYSZ$&C z)gGhwO4h*=!Lbh|=wPQk1G6G;f9g`l<-Ci* z%!WOOq_gasA5)$PT4?6!cXT=My2ER_sn$KJcF*=g3Xmd3Y7>o#ifypwo@Z2cl6_ry z=dCY)2Q^#w4y;Ey~$mkjF^ByM4^P7n7xuCJyK*@0@C+2Hvi zuN+mg1pfIcJyWTURzP2b=LZR#tP?HkgQ{n@zLH6O0{Clc=6k^rE|$~7nth7+rc#CB zn0XAcbXTa5AASFO*TY6cX-;|4LE>AREcJf(20hAB-%c6r_5-2@(zG9w5Z!HVMBUw1 z?I{WQWr3aEX`)zmt4rzH{}BGcURq*5(_t~@yk*BnytqEpTk=lBNM?>J^V;}PyxG_#Sizw44j{fPHY__`S2S7~g%huu zY)2x$x#Qb(+a8%y9F`EzZ}uU`?J1M zGt95h$ej^R&sbcOz2+ZwCeBg+NTN$+OliiQEqJ3V?6v{h&n>tpf1xk!M>buz_n_>S z-*41~X6doi9tzEC0DxqL{u(avD-Q9 zdt^{KPfJLNX(H4iN{qHzi2lk7Otm)UVq@z0I)p6w%aTVxiQjji#Ao_zgUP`&~Su2$0I&aO-K(uJX}Kt9>^dcXCd>{_)Dc% z&ei;`((F4I5^ef!3YuW<|nnpaxS4R6%qF1*NOms;OOM_rrO)XoWTG4pZ~Ym0467! zd2S8l!``(ANt=6yy79o|?t-N6^E?3a+~ooPCC&W&0{@aSf141@K+^iY?tXs}_5IF^%yYi|$|G&hZ_J7S)9{gW(70mQO zWmvKfP6VlimFJEdRiJ&xyE@0(wihIo z8a!mDyr5fril4cP(@%OGhPt(0P(CaAp~?O8{POZ>-R>H_f6@Nyg6KG}kc1vz25(i{ zf3xe&t|@e9$`q9Pyo;w1Kt-Xj)RfdkG(KE}@IF2f-Nk2C2>BbMS{(3PU29UY$+snA zf_Xr9oR4M=Z!G|ge?D1F1$1Bcm2;==APr8Wm<-I0$g6mzJNXW+K|jv%$puCH98;wF zD1&7(q`Hp}9|@%}N?N33!AZi`6F^2zRJOu74y|l0McWS!A)vYC7 z)sx=w;U%#3sp6C7;-NEc5tb*N4?ttWoLr|V9VLy1)A z81b?raT7#kNL_SwuEBa~`(rM4WE_p78>{Ga@Z`LTXZ>&NBS}-UG|4j4bHPJXNP=aF z7#mu9RvHsuZA-&xS!1nQ4Hr$R>?o}*sea8KU#%e~U42y9RvC&LE~$u86M3Em7-fItyo9W8yWiYNVjO=#dKD)xybpn$rDRl!y-AywxQYvr zbS@1UTAI7G72ZWY)oa(<5ixUO`0()&nxft-zZ&boj7PW>zI?(r9$S`{aJzM%27$rn za>^t}0+OGMXDfvnG`qQ{Z*iIUXZZ_NlB7GaWYJdl(xB-br`;_73<#-X4=YG5cj>`O z^fOsu&aYV}fXBUndlW1H$i6Mw#CJ~7VBRE36yACugr~99z_ois%sE4RgHA9-4omL) z*ckFL%mJ$AX_Lu6`krH+^hLZCBcwj^_Ee!7neB-09i(0I_BV(0i)2^h zL;F7~lVr=#Wy&A<+wSUvhA(=c_hjb>VJ+6ioFqG)myz~kN#L4|?QGB2+ZgnG1l~=F zR8n^N#_wl0oW3lLkxDKM)?or_O#7nLu{eJ9Hg0h6MUbS`+r(!stMaTAsjF|=)gmT4 zsP+fP_a_(%02RG*BCRdhiHFNfYW4r9P+N0mQD(_7O^#=EqD^g`e_IvS4qo=rL|y}~ zs4a_@ynAgW2NFpcpR-5y_i;9Fg2%l0@t9|0fEUsC9?l&%xj(Y+d05P_S`*m-z}^AH zjsA(UZHw+iMVG;A7Vf3P>Bx#1otp8$mdW+7TP^MSw&F|pY)L2tk6#Eb%*<*Wsd^#!vZc?jSfov_Y^FS%bD6Ss!;75dM) zcz}dR;#dSb{&Gecm5VJnF02>{yJ85*e=+cs_%xs@JniUWk;Q)G&iAA!eR1Dn`PBFm z*HVcZk_{1l-R#5;g8q=Hj;gF|YE_=T%|P&HuU-T7P+7B#ZN1vjA3gWQzFoWT%(F{W zh1ueC5Kz^UNoPdjlM2&RLHZ|kleZ8n?~6>E1@BkLc{Og#@g`txCC|eOb$qNUyQ@q) znRon9Gsu|1-(EAGG4whRTQ4_Stk;a2o1f!U<>IS!ANEu0#?2<3k=l3r+zEOC<(P!v z<{M5QU%4D-k3DY73m!R@e$H>5xE5fT1tYD^TyM?0;hRWx42_%*_>;N&m9BoI(Pq3D zHi&J%l070*D3s^^n=X)-*y>4f>B`Gj8MJ#`$V}h;t5$w;{fdGKN=cWw;soRdL1Z8x LK|yU39ngOO>Ao#{ diff --git a/docs/_build/latex/cplint.tex b/docs/_build/latex/cplint.tex index 08ed630..cab1b64 100644 --- a/docs/_build/latex/cplint.tex +++ b/docs/_build/latex/cplint.tex @@ -60,7 +60,7 @@ \title{cplint Documentation} -\date{Nov 06, 2023} +\date{Nov 07, 2023} \release{4.5} \author{Riguzzi Fabrizio, Azzolini Damiano} \newcommand{\sphinxlogo}{\vbox{}} @@ -537,7 +537,7 @@ \section{Continuous Probability Densities} \sphinxAtStartPar also after \sphinxcode{\sphinxupquote{:\sphinxhyphen{} end\_lpad.}} -See for example \sphinxhref{http://cplint.eu/e/gauss\_mean\_est.pl}{gauss\_mean\_est\_user.pl} and \sphinxhref{http://cplint.eu/e/binomial.pl}{binomial.pl} +See for example \sphinxhref{http://cplint.eu/e/gauss\_mean\_est\_user.pl}{gauss\_mean\_est\_user.pl} \subsection{Distributional Clauses Syntax} diff --git a/docs/index.rst b/docs/index.rst index ba400f2..54fc1aa 100644 --- a/docs/index.rst +++ b/docs/index.rst @@ -320,7 +320,7 @@ Moreover, if the density is discrete, the program must include the fact :: disc(predicate). also after :code:`:- end_lpad.` -See for example `gauss_mean_est_user.pl `_ and `binomial.pl `_ +See for example `gauss_mean_est_user.pl `_ Distributional Clauses Syntax ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^