From 56fe5d374027635cbc3877ec90e806cf689ff28a Mon Sep 17 00:00:00 2001 From: Julien Girard <julien.girard2@cea.fr> Date: Fri, 16 Dec 2022 11:15:55 +0100 Subject: [PATCH] [doc] Added version mention in files. --- doc/_static/media/caisar_logo.png | Bin 0 -> 62372 bytes doc/conf.py | 1 + doc/ext/__pycache__/why3.cpython-310.pyc | Bin 0 -> 6703 bytes doc/index.rst | 4 ++-- doc/installation.rst | 1 + doc/usage.rst | 8 ++++---- 6 files changed, 8 insertions(+), 6 deletions(-) create mode 100644 doc/_static/media/caisar_logo.png create mode 100644 doc/ext/__pycache__/why3.cpython-310.pyc diff --git a/doc/_static/media/caisar_logo.png b/doc/_static/media/caisar_logo.png new file mode 100644 index 0000000000000000000000000000000000000000..6b5c44d6b3e6bca1aed7e2e3f77c133440f45068 GIT binary patch literal 62372 zcmY(qbv)gF_&3hRboZEU)6Fn#`fxDKOy}fucXKe^97lIEHEg=u^mKRKZ=dh?z8}Be zABTq%*STKT>v`4lx`eAL%VMCuMTLWd!}ug8r3MH03JN?lk>3E%Kqy^!fnNyb;!5Ih zaMdwh_n<`JZ%Pw6H6=K>P%JpODB$r3e8~SJ9Gtg19Ncas9NdR3I5?6arw_qyaB!&X zmXeaHpClzIRUPfkENx8T;N<!<lik4JS;ElKb~lgQVU7tBk3=>OzY8|XcL*S2vp2-Q z;d;=OY{H-)rEqZIrQ>q^;PZ3k%EG=-F+z>7<giu0a6~|%Uu9<Gz1-c8x3;eP+gBIN zkDadPJ+tfC;AmAS*w_)1Us0wq{6+E*nA8fE9jktXd-L57z6g#(d$*)R{HW_AEjvGv zN6P@pL*xoNyxc>F>Azi-;=pH>i862p9Nd6m@3xJykV5Y*weoNLf`~(I>Y`t?5hOC< zsqFHqy^ddEbT<pLy$R<*LkC~Ub$iz{)aM6nIIqLLdxpf(eCd_#MI_NvE()`c{LKC7 z#}L7(?l&8*&{Ryg2-*fTfwJ#7>0v*5u`r!+P95PK3Yypjw$TV3Y7o{Xn+poe&YQoT zzG`7ph_$n_9nSG|<VqBH<)15-m^83iyUWHjSfXga2N!An^q%CK?QR~mZkmp+&f7GS zR38xZx#fnR?&y%Z9rb33J8b4U^sw?lZ4b_9D8j0CA4_-02TrKr6{XuVR{Ay-9Idps zb?0fHyT!VDI1#d%ZB#TjH+OUsS#o?+PUpU_&;y3|sR+%fYiCO6(eH3m)I<d5Z_A&V zJ~2s%iiji)u8(0nf9QP{IH^4U{B|IG>qPJaND6B4yQxh8)aq_i;g{Z>@8tem68_9_ zprVsu9nW}~4afT%S#CM!)#i?<Umi9*uDj~e<?8)*AQs|!I#H2OwZL^Y;^TdVL-<Yn zNc26~4lc2xIm#_br1iQr%9tM<Ej+=%Yl0kjXMZY=*P1^G1zz!2y}I!?!p59=MHq%O z=!eB6&NhdR`VnUi@hU)G_4S@OjRiczM<f9ZHorfAg_=-~{E&<gq5^k}-n7A=V<Q+- zaY^}aQfbJcarq5VzWIvPEH0`_iH|8Q`3)NjSE6~05Q@wk%$%zO#knICLe%%Gka#^N zVu7C);1j&kgRB@(QpHt<LE3{phjJAXxW?;1mhooi=k1Ad)2oWW*sjA9#2X<mBy#`k zo?7IOVaOODNpzey>j5`ZICAg1W%($B<pkA2>nQc**d5VG#EatH7||mF^77F^4U8&a z<cMH-N!yPE`OF|$&>@t3igk+7>dhsJk_<~O#u%Rk`vtQznGl}7ADb+H&f-|gnA_OK zKYn8LkdX1N&&D4(*M1-j2`O@J!xa%Yk#qZz^bCEe{_I``KZCg+YWf9n?$v?M0q23> z0i`S1J)vxG$@-APQ4=y5R!S&KKkwSe`kQZfP3~>@259zy*FCkT^EbF&A{}VHuf<}r z8RYPskzIp~BwiVF=LU>PG)aAz`z}q3I~_jL3rC&O6#iNKgL0b$8C?g>VBEzgwgS0? zxVl8=Am=RS*oz27dh5h@gE(K|-5HwWz2YB!JZJ_`8`G}QbtTU+g6PKCI2lhRaM?@f zc4?b6xnyhf&I&d$1}&M|APta6e08fpaMBc0iE)XxWkg*`UAA+LbG38gg~skDlCr3V zsC0B)dc*CiA?Z|3REhDNCe_anR*1)My59l>lGC{!AUvq_ls)uuibR`a-n1sSM!QC% z#{8?S1+r55wzNWC(wOpCh{bUVBl|a<ZtWVAPk$1+=$srQ9Ag~GnkAYwn}r>Zw|39$ z&ce@Hw}dw-m~!wh2wvfH5nwXwsr}F_U|wLZ!AB!dVO-G)NV-URl{CZjPIFH^O+yoO zrK+s4Qt1V9*9k6KhbH8x6*+2}$|vPnRsPmsRTn9~i(*r7%VQX4`6qHg!b``i!kep8 zuG6{D))M0p=8@%5dPjp1@J5nGGhZ=Z*F;8LV^WJ-t5*BGgU}!{m!Ps<rBusWSyxtA z(KFpO^r|2xBPK;TM!9xGQop7m&@Rm`^T<{tid>Q%bnLgH<o$V7Ld>93{y7BR#>ny~ zuYeIp6@L4a2a~<!@`SNuLT;jQh;i*26lZv#pK%o0^Dnr%=v&aK-G;%23OynHC;Cfz zEJagAtsmQ|uBlH}MfShAO1WBXmHFKGS1nd7pBz)WxJGIM{~YP4zV~8n(011Ks;jHn z)NS~ztZk_yt*fDn!3{<CmEqio;9Xdl_sGAr+;`(k=6jWn$JaUcc7c9@Z(f;gR(nL- zpwnwec{#>X%bNd-N@Hw;*jKUjob8{^P^a(f(6s?q8;1;s2`706q3w(A`QFsyrR@(p zUp8u1w%S<M_ttd&EgaKt5Uy+PUd`z*i;T3-d;jX`Hp%RFSE(y*+_4)qW;bO|*2<q9 zLM<iO*Sh$g*cRBv(w=?u@BYNQ#mjh=pu^LPqGC#CP<MU}>7ni6>PF;j_EhEkSriWM zFNG?>3C|c02Y(fR7%o1+6#fPMoM02}jd++{7)OCHn2U$2j?<ZKh_{T#=4;X^?6R~X zlqJZiN0_DxCl?0;r?zxi^H^Vm+!99{Td+>XTxlk))S6(1zFY*4j-)S2h$K1&Gtw^N z>F0&X45ztC+ZULL*=M#g@3I{mSyvLz2$O!MEydo2zT{uZzvlZ6!_y<&!q{W8w_6-o zn%VI_;922r<38fX(z4M8)78^&B;+TmoPPZt-j;=*1Sx~~g9E1mrs8?h>)I{3z3hD? zg&-aD?dl&19u+T9T!M9j^GU8qG)U~ZCAn41KAE4^+|^vxx_wpIY})Z^$E=U3uMpN^ zb#prU=TUrFPnv_lN!r41WizxY&@pH-IX)aT9G>nwz&*$^?AcCdqoCE{_*C>zT~4l> zjz)`mgV?iZ(>QG-YrA82ylUKG@*JZQe9&zzO)tGAO%b8pH`~GW2wN`=&a4)`S9q_0 zdDMNde)x9bu<G8T#Mx4LcaD5j<k0k@rn_d=Gylqf)lk!*HnvKo$-bbwIM1nb`$_*^ z4E#%LrNptqs$3Jc0upia^ENuk+2~4syOoxgb{*OjdNkuP)i7&0n?&)8Y((IpPPDG$ z+WOaQGzKb$GzLZNNlX+O#)pMTi|M(!f+_F>IzL)^af~#1>uvNte<o`PYkhg$Oy0)d zrjwgm`~1##LTlc6_p}>d|G4R_YBYitP#1Hr4z5yTZerp`PDcFIS(IJe=3VQ(?JpkV zC#{N0M+UN(1Qi6*eO=e|Mw;i(OLmIcd-aL;WA=O;zD@TniolCJrnIr^Hy`-ieyLPH zZf0@SQZ}q__Sk#7q0{g3XaCTf(A!q*^TXJT{rsv=&z{VV(tf)B>pw^%m_q0VO<NxO zXSS7#v&Us^+#L8^&TayZ-#6Lrk2c#2JlT)Um$H4UcB$@+*Jw&)w_=mXXCI;0Ci`Jq z1F4|d@eT%Y74oR+Us=zPr^(RMhvLoREj$=rbfQ^eaq&{Iov7}k&4c^i`R#5%cA;;D zPwxGCt09^1Zn`!v_fx{N<J#=H)>&mto559!=Zx>wY5FGrxl^$H)+)Jo|M%H@(Syfc zuWh7*(1=(MidIo~Uyr7^wyG1->!9;{egr0Rpv**ZkkfX8gJYw4dBA@!6mtchq;i)2 z>@4YMYV2%jZ$}BXv^9m};^5*E;@}hF;-=){6yoF&;^3VXhJ1#D`&aWxN*w&%;9wcW z2w!@E{{)tmN*fm>?1vn=g!~3vLH3a+4q=J_k+$pzR$1Xkh7v#)5r+}+3RPk=qN8R1 zZVwlo@rZd7;wLCTfW4`y38su^K@l`7+V^DEzvC=mNX_4o&ssei)8OUo*LytP+hhJs zOoL1nlp#y^=}XP~NM;FSDkS5N(#TZ8;@E`+#{+VVODc@vlu=hfw#Z9`fx0A1Bi*)Q z@mq&M#LvT+J7;`B*b;o*ei6XWyxd%$pp`o<iCr70tA@@#;u@q~5>{$xy1JDd_VPZL zpZ~ot$6FSI!Q+k(-;;^ewG~~Q*Z<wplW$%Ow!{GHCmS3IWNq>L=(N{sJVX&OA?g)$ zUd31zo#Xo@w5PdnfU0Fb$-zO`u-AuT9wau~%)HSYHQ`?Ar;LfFwHD&YRL-vt!~ykL zES^E!M)|e^Ta2k6B{np}-bx_nrW;`a2Q10)HaVjA@W#Q%kdH+BF(`SkXsauYK@}9| zCjtcoB&JywINyO8Ti7xjh0X{M1)wERsvvA!jvVTsvEidI_b^p1)hWFaJj-Q|2u7O! z_X?Cp39{s;T)JBgeE)?o`irdB9-hvmb4#UDOL;82r2KLa;CS%=y+YIOi~q2{GAa`; z9f=EA-4C9CD#%XilNiX6Lgomc4zL&8Yd~A=J=z94DUlOy9EkzXmz&8Y1>w@lA8mwZ zhhs|^pufClIV_&}<zp~u6hP7ctjwQRCIwjvO^D0`1R)#!_c=}vJ>aQ$lmE|CAa#Gn zW-OYc=Tu~>&A$Im7>&6@7UDa~Owb6WCD^tB$ski9{PzOJkN4c&b7E4{?;5JqQ?;Z? z{@-_TYgYRE{((d&a8m!NjN}4N1OJ~|LEb645<eblpe@+<48j?w(NN0&wN_l3eKd={ z*Xe{H^`v%Q6t={_H^izq5^{)%PD%v}0`L(PO-3+upPxMkCk+ZO(D<L%qgP;g1N3<o z{_p-gg%5nC#qZS8;Q`72xQ#tf{Ur)&9OJ#U@uU3&2IELTK`*GZs^h~)-%ZlNzdfdp zGVLo?5E{4ff4AZqfvqlpU;hJjkC?L>*_F{L6grz{O>(2$s6m9*TBt`%orWy|9nX#8 z1W6(1{xWtS$=M!GdrJtCFP5BEv80Qn58cvj=ZKI`kdiQYMx}e=wN27YPwKIyYj!;3 zb>-`nu!NO+{_c}yiWkM#cv^e#uZFD$Q*1lmX<Gs~{PkiU==k6Eg6kEbO-p&Y`Z%VZ zLltZ_ekKi<x*q7qi4alD?5tRER`fKmrvbcIQ%&FrFX<<j=~iCu*HgKF()(~c-fgwl z@ni8b2HIbwc{O`&r521N<pC&u%LCvmSH@W1c+TP7ba}wKzI-H1zIzBu36uRd_NCDH zQ;#mLpb-b81y5c#Vp}0-oV(!e&d2pb<>$KTlKs7PVHb#*cy;td-kxXo+&KfDWJ8#c z1TydEmkYvJXzBLPbm_GhL>Q3GvHH^|I~_ErqKL`9#JI;cEmHWMk?vwu)h4%YYF|NS zGqo6ZfgIN*2;0ix1wn5M2(;Z0-@M^XRba||tubACvHw$yM9a&m>8=lB^nf>lPwAB9 zvbDqgR8W4<TJ_PEtgL*<L7|+3BynW8rEnzoH2~7c|0Lm)Kg<vWJ)=->b0HVMldjFb z0jo{|mvRh(E&NM9b7Bv_X-DiMF6=W-L7|CM@x5NHKMQHq$1MQ72=6}$QT2$%uP+nq zc=2f<gi0ro#iF!BO<s;SS@ucv{YwpdU$g>gMUeUi9k{1>to-9mPL9hG!)+UwFaRAE zUnF>~+_h01()m8(GK!+`YYiU{iLpAB3_VpYSv-uELEHH<b&fk8?zgAdzw>x4h{`jz zW2KepUmo+w%n?Nqn`bKjbI{`ff{w}yPS3Qh8?Mjzd8{+#Xj|Z5!w}8JzwIzts+yy8 zGJ_K_`NTqUroImxu>rC3K2_7RJT0=k4+hqsHRjjVom%w>YyqXz9q5<<X$z{@r#ZRO z>Go6^Y=JQ09;SXV;bTh3lXeL#*W|A&KmHPlvY^;ayV<zkUpx^_{S4Z^;?}Z$LaHD= zL;#fo#bvA!=*z13sY-M$1hC~K&4N7E_<||B`0IniWHm0mx)+sSLd+S;zGIJ0F`;zD zG@hd$E|&yP{@pSn#f7_wCQ-4Au6swVg(NanWe5=0Hm4KLX}ztCr2;BSju61b-NVbp zL!@uy8RR@3-ImoO5{1i}uo-oLyJ2~WaPH+(0bxI`p4L`BHm$46)~o5n<E5!e5Fx&G z?r$m9^MZ_$uq*&?E`14W?wOa;@yqIHG!3}nW)k(46A?U9@wmG^cBO1S(<alm{x3e! z_T~*ZC~o$1tw<XQ!lda**9B|th4^@s9z%fK-7=uT>fxQtH_!19Yzgwv7lpqK4kkc! zh@T+2!Omm>yLuL9T1Vn`lpu-hiQ92JZ19dkc=1WKEV4V<i(uJ89|D|tQ8q9B+=*7z zK7$XVC?Pp_I*oR$F;}1UKWM(#O!hxzd++omg$fC!edI2jiNN2;3a<ajGcGTQ6w<cd z!y<EEbX`JyxrTC00%^W^Rs3eTiTxPyOHk8V(xyS!D6azD?#Eb2LVafP(~=GkO;DWf zi`-_!><PwtMn?%eiH^XNL`6nh<|B!f$WcLI-kg$E6l55Rnj`s$cqFzX+Dr0DS&X9) zHPRQqQD!Xa!qDPA6Y;`am|oVo5}C8r_*OOnq>PHd7c+1%HRBwrMN+R83Rz;&eT7=c zbd<)@jz^I*(dl}&fhHthPPYBx4Lm6s<a;SP*qpPSOj~~vMG^TQ$}B&V)B0>K9+fI2 z2h(O-(Jx?2$Z<DKenhskk`(U^JhaDnN|tjb0duzT==nernum281mMLlnV1Agt{IT2 zhW{d=O32|^cc32E<}z{x$~&{<;;TIK;X>kEvB9f{Gmd*%<fV}`(%cfrg8yNciS+Eg zQIR!5&vr}!iK^@`B2P5oJ2)iz)|O(3*WB)Kws5#i5Vj*wNCm}7u20hGTN(F)nGv&s ztX?fSpi)b%QErXHWv-qcG4&0;OZ4q3>BW}7>;kY}qibdS`J(+@PiKfg4WXStxNwU$ zp8UT&dRC18MWp|Kh@^jsk$j7BVg>sl-C@H)dybUf{&M|*ie@s#iyk!Wtyhq<jACH} z?h0mqiP9eBqi7iNtWlpOT<&Nf6V-VnRJzi*?LI2kkaf4#4$zXpi-9#>q-vh3*X~DB zQ=~kkzhi)OAS=QD7D1j@$_o-LJkRg<EMv=Jp`*COI|M|dy_}C3xd>+;t=p|9wD(^1 zFsF`sv(C(+s<uq`PlIerp`MrOi)6$XG@x0Zbqf~(m_(+)G!%D<n}~?pZc&h0STJ$< zB$JY~bN^Dj!TbR{fK4<&UlTE;<0H|ZCODy@sQhhbZ=1>Ksy*7Di~yCVGqp0U=>R{D zesK%zPplCcV?lApl=1YEysDPc1GX2CF$6KDzX%A^B`<(1iBzQl+$~qe#=9#{m@4DQ z@5|dIp;;d4O~G<1XvN_|&9OhZy#W~&fShP-K;+xpsqWSVJH`mbB-%$&s0>p%vU_Nn zpsS0T>op`{xUsxtP6Kd?w>ZGLc&XJ_NWRXg5_3k574=ggC<f4HI$}wzAQ|MFU?e!# z-R~us+8T<HzfS}7g?kYm?t-{>y-cv@_Cu}Z6^s?48Pt{~R`}J<sdI*b5-LhZ$FSjp zmMa6d`VX1c!5R(eQkgaCMuOo}wq$(@V6@oW0uh91x7LP?hSrx1oku`5^%00?P=B3F zH@8TPU>uf<sblP1=Q<0Sfnt!vn?09{(jz81il?>9Y@rCVAl27^)8)RQ7uBDzWkk=$ z|GT=0Q0Pp^Ljv){w&Gw!n3jEfe2l%6W73{-pKhkldk4q|ydMg$ZHVn-e^G9X#F(U( z`!=tRddlcj&@=JT;-}lPW|CqYEs7(H1e6Mh+N!UsT(v%@0J@|bBV{Tu9x|liSdlUA zzW+p9z6e7TZmD?RtWXCeH)6mbUUPSCV>wgZVRRmWM~sEeWfn5f_`Dt$kDA8*z4a+_ z7PdNqXk;piAOIQ^y(*>^>=9miXZEfcs&~{ph>X{Be$}5GglVmi-T7rkeshI~CTLqi zQ!rQX62rv%iwo1}{ui(m0WSh-k4nR+_Ro4y*M{#!!NQE?4T(&TT-U{Utt5#Il9zda zg=d>F8w;#7-S2l(ZTXm#TrHKEw8zU$2Xe{nlb09(kchqlVyEaA+b%y$(g^C+*<DMj zLgz3GSGk4n^B?HiP7Z&=A`GIclg7S+kHiNyh-o(S<(*uP6H#mlvoq(bCF+F3uBe61 z+<^#tsIQrIO!F2;!T=MHX}~5}X$^-kNpz_OXP9;I&0^v}eybPyTB|6CXvnOF2_I(2 z2w)L)5$n`>t|W*r_VGq9ltMaRbN#~OksnAfTB{8Q{mDRl-z)^e<!0XukyMoJj_)6k zT!BK)+k!ePd->j@jl`a_V{@}#D#7IHIyjDaG9%nFS)$(V%YPHYsc!S83D5!mkxZlq z(5RfWKIsA=VAJ$PTri&(!8m(8BbRK#KQrWFeW_Y{MVWaktOLkEfUO}##Zf=9J0>h8 zNi#^V2sL2$j76*BLMUl&TSSoQ6X9XS%$tC{1t7zd{j0u{r~}fr`-=m)$0xZ5E_~$B zSGc@@1B=vbES(G)Y(T0WG`2LRMRHp(?HUY3qT@tFOOxl{VJq$sFt~KmFD#W)<hEo0 zuuiwvb*V0W5%$vXxcf65qjMDy%FrU*-Dmpkft%bPrZ#{wi4Hh(F(+OtDXdwZMM7Da z`Oo{KuM+8;=H?+8xVGfdC?wW#1vDaR5h-;lY_9XFZ-e3vUyf`{dPXC&3OH++YRg-g zf!paXNG@V1B{arQl@k+Y4mj_DD~ersF+0VsuZNjj(Zr_4D@s@g@lpcWakAQj09$%Q zoH^i~1Csx@LlB$>`CNM07fySMkb<hVyr$W`NvP0rbc*Vz!R&ZTGa3e!NA6s?N)Z|O zeftJcu5rlTor|!@VExrLVtN25b}yw4zit*c^cD#I1mKDD=?pKcSEmI~?j-f@Geh3N zq;^W^6JDB8V4TqRZ<`$29i#!fbrd^pHyS+m5mZ8%;4zxQ&BsN9=kX&%PHc%0Aoawh z_ZBO(U<9uvrXk&B=0HXQ=(F_$zUlNnWm7>#jrpn_poBmad_2N8KI;L>?WhmDwTH&z z+mSbxPyHBAN-=IKOzzdzXWEM?_%i>KChe*!IBdQ<_n)*w<V#d-OY81BN+i)-#YjQK zRCs3yU|&rg5RGdz2jB6<E{j`+qRoAYg*9>jWeMAOJ^F_QZ<o{WK%wMF1>9=$*h@PA z6kik0;1s0kR>(|<bh7D{&F3evEtqvXWkwsSQqpe`yKl)j2`G)vf!U8#HjU?eTWp&$ zTr>wFPQ3drT%2E<+gd!6EbJ{>ROQ8vs$0Ix&QABaMeqg1p{f4T5|IJQ1?d@me}8eM z?d}m9OmI45`AY5r<8=mS*+~J^%I>hDicP5f;?2XMiF9JoU%bd{F6F`?FCoGA&kTjr z6E79lr#B+UyJ>G4?RcXrj00A?D1Q@r6hOSt(mUkK#s4tWSZ)ud9$tsHDE!>842m`= zaYy7P!*BO&?|zt2IbS4-1ay%BKvzH|$~)W=a3a<fV@-lk7n3(%+9Z_oWace?(~etM zid^_8l~_B%l{%ayRA+&9Tu)%@B0rLNarhAOLAs<4A6D_ByOa}Yih?A5Cp&fi$*@6` zV&tUT?=GFCiq!jd$nDu%Va0*}`5lhL+n?$W$d+Gi#pgaEn;L>7L@#C>_LN6u@O@J6 z)yJ2)@N@TUuqGL_{*>OUgfq_Bs1VCXBq*tOqpc=K7d@#im)21;XmE5BYU%M^i6)I* z(YOVvv(E;o)#NQ6`U*^$xC~mn+#xOy<umF;?d9&L@&??1ZipXD1JUd)j7}LI4cW4X zmcjlF66>NU#awW-JBj8yJS^dORz|ceXT58<@2{EIzm}+`stD`bA$au1c7;n=7e$Ws z;^oqcdL3dv%*WLoXel?*T%cPK>DmjLAhk1eR$+Q-)BQc#F2y1-ApSjqf(og8e&x^V zSeXlT{67U%3{9Q(>{jK|Qf*xUXk!+!Ca%2gzU7yL+VfOtEC#y48jEkgfs{l!*g3DI zx+wzFIhkU5GNfYl`T6y(BpiGsC|qk2Y*9(2Bxv++VP{4-_X3XY;*-T)pkr+QoKIMB zIMB?VNe3>vpECLI%6vcUFr}Y06iuAFjR3;b{7X}g`PmSgQ#0Y;zUl$2?gmrk&D3fc z3v#Cl!>2ac`iiWgZ01ttBe^J{oL$VU%D>WdkF%;%>+8I3NK>dc0|sjDeK$qrB0tm| zvpN+1bUf4Gben&+$gf)ni$AXl{p_&)d%<_W0Ya%G(%t`R&psmjeW!Da!%nN?!uOYE zX&z4Hl;&$_y>xsokiBZDGVDTNqrvL-;?btUR5uU0V2wep^l}%0ts<!dQDtIXHdses zya~P8TL<RqVO&q;%JV{L6^1(ZP~u^))CIC}8=3}nz8dxq@07hiBmZv?x8DGxl?O^c zn-{)`wCoRtb*2t}v!==by!-(2c+^3!x!`9*{M)9@)dPVKF{6=YysP>{%y*w5yl&C@ z+VG^I{dFxA!m7i}G@U9o&zTlgi-YrrY*~VLtK(i|B^EG>LOf@mi|?`1eNKhF>Q8wD z^T*1csD=N2Q`~Pj^D+lO2YU^GZtrI?6Hxccjqy&OqNx;h56>!ddSLv&l6B->wcOtJ z+^z1d8_Z0(cU*1G3p&-d;u{Vk_jWbwSI9f!5XG3-Ws!aUVy<GvjSTzK;$nSj+X#uo zis0KsMt(>zc-99B(oIYjHiQVxpg2?@SZTu>GdHyR-iXhYl!aKa6cWr^D;a$62au1o z))Qiw!6Ro`PRgC$5Rv!iqujj|emjX_?k?xbJ=31@M)AYiYJZN!@s!~*9kuOYyjp@g zP%cFq!@tt9lt9tPw-|f3pXGQu`cM{NA&b2H!rbv|8{*H4)N_1cIS}B=S&+4qzS7aa zpZ_We+N2KbbVi58b`KZ5<3#93Q>S*z#?eS&VsAG<CavsnKqQa6R-p?zF{&(4N3mt+ zklBuewSPfRI7$Z^lTzVIp-?2dn0>kM3-LyNc0y-`W)3OfMiGD`qF6VC@&_8Vps(P| zA{TyVo<u2;26|`gvv;%;U!e;w%y>_vq8Z&=X8m6Jn55H%YVASu;Nj%3n(Yz%gTIoj z$}GICyG*$#K59RKrcwP?5kBwTd}IPg_&-$70!W+h;=b4n{{>>M%<I?8Ru>70bWHUe z4@{D1y8;N4&10LzOMwUV9YzD0*vf7nIWg>F4A9pvJ}U@6FgL6)-iPi;l3~PM!cwoo zsvD)JLI0KbGd0IRdBpZBjPI+MkL%jEK;OiTWp#OjgETL`kCrmfQ-B?LTR&AvO}*G3 zd`t!QAc7qxX@0Hz|MdYvyqTCLLz&qM1`i~RtzJ=O@zu^CXH7%-f}xjARk)J*h;1S6 z@&Bf<2@{vo&*LGg`9R^yE5GlCvD?eOMCH+f273*e`6X^2_k+=j8aNnx5Z~6Mj8Xth z+0uoqur8CaMN+r=Qb;D%QuOM=Ol-*JPyd~j;Lw`5Shx?Gcv59W2-z&b3Ud0|x1rsR zy)RG;Nhk<N;ct^x*_Prjgj(5_#9eYGOm7;4)yAdRMGqt(`fm)-9$sbZLegeApReas z>_{TfVj{{lA4uX^lMSRXBa0F)coC-S-)TL4S!Fgtz7;@+LP3Akn?G`R*P&3g6|<+R zE`XPUGkAbxCswt_O>R->z8^2Cw_=S@iD+*yzr&SX3x?=N;tUs6trHtFjOeksD}dwA zZ?wZplrBO5CIjyzfM@D6&_>uvdP)b6Jyl;%`h0V;>>RiMY0G=azsEZ#s&L;Qq;46v zm$p5!@IoAT`^>Q+7kPcTQkG|_A<EwRh;JPqeIPhzK?uDNvTS2)nLwz%6pi{JHFydA zrEbe9q@cW~&T2&{k)WdOjgjk7AGEk<$9hkG&;S$Aw45OKl5s1{&8G++-TJ!VJEb#c zm-8sg9(afk#maH0WADJHO390|6e7c*LaVcOhC|_cNLAfsf}S-$?cF)F$`datLfv_V zf4Ioi3BIS}&&%{xzhlPF4kGn|qH<A*WMTXfqk~;WsH8am57}C%^<yY26Bksay<|#N z&zQh&5tlQSadmzRGi;%g&Md)qQR+JOV6nNmQ7|{R;ZVZ-qa{+c7q524YD1Pe*0KIo zg0%7C?E16*14-^hY~CK3OhdM!4Y$tJduPwurp|(V;oPP?oeHnVgP|B#jMsksi4<_g z$7|2mBqj8t*<KyPpFnQJhhlAX#!6ZKv4ae2ep{~NWij#RC%n%=hi_di7Gr_Vad=Ic zv>AcSRDD70=o9XNFDmo#M|FXvJ<oRD(06nQ+K>DW1yAe?{J(Qg{Rek*eM%5<oTxI+ zIK4g)Z|pCL1NkFAPdMZ_&>;<V8k>52Hu1a#rtIG{Wa=BJ6t3o^6ME%ySR7tc)cae+ z{^xLdF`o5$gCHl<^d8JJKm3PTxFc&qOj!WNvAEJzKK!bSt_Byp7Rd2;;0fwe!%OEJ zbESA*t9ha=oE`V`IJc&3#o_mO+Pw01_Z96S|J`(&GIEd}oZFI|6OXeqi=*sP=i1h# z8}uxT*|SSIQknLSK6K498rK$}xUf%+?sWq@gDLCLVc&(u#Y^0A8Vd<!3cB#Rc6i#= zEz8}%w0v~PV1*GDNs+e=eQl5fXUgub-oOm<icow`r|%v(M6Y+G3i~`s9v+Y)^Zq#N z+&Nj#U8q@&7)O=gi&j6n<yqz4@2#Jn1g+4(9)hQ|6XbLNqTkh7U)wRoLi*}FA2MV+ zUeh;7UdpDN@E4J7VIMKOeEE|_IyGbao9S)&QvHWDcQ1d0`{RmR17u5J<}!hg5&ihO z4TicFxbHK*iLmgtW43dR@$uWZ(R5m6_q`2c#83|IGHO>*sD+HHPBzh7gf3^4)8f^x z4XCJ0;sjAI)0s}kL-RjdnE_*vizc?$$HGp7F^11mncbnxb+KsANDoiG1WE?cmM#nJ znDFpEUVS{QSFiiHnnygxtasb?^zh_&_wzjPg!GCTJOTPg`LKFDU{?8d>-7TeCwYJz zTj;Q3qU(`P*Qm4CBaSByQg>{eScmwWpfUsVueuup<VT>foj^aNn2b@?XT$eoW=$KD zoO=`|%Z<gm)LB^|Sn0`0!Bmsbb6xu=*{@Rnf4h71S4)v&;8{!I4riugml8VLHk+cM z59;9hvCh<~v-2&%K(gJnTYbl@g3jw14xjiXLkQuqEQ)u*{n>HmUF$ww{9xWDSt_g0 zOWg(4<`{$XS$O6vERsj6Z2r`nBRuZyGWee9ma$@UyQ$TvxFdfb_NCN3%POG2;I|*{ zvB<1E^7wvZ&-Kh%Ed{S5v1&ZMRmH*AyXY#dL;AEj+OFr7;z!v_LKigd5Q4Kvgd0?u z0r>rn2;!O!$~HJr^qYl)2F$^m^N@fO4p0M!U>jo!XM;4jo}<h?$I#en?XR%ZGMks8 zqv!KUG-TrY_$Et0xG#40yDmCP^s`#Bhi+-}cS8C<`ukI7Cjb^kmq`r6CVl&)o~5N8 zU2tk+IN@GuG5RFJK$pYOU$1>6bbIO*d<`$cV7aPu-w6Y9Ny~7Z(^ou@>;My>I-i6| zvADqFv&m2$5i&*P@o8kG)N;UkZXftJH9ZRf@bCEWr8_DoCncb;kYOQJiCyMWqUM2Z z!IR2lt-q_vP-8<Y(55xO!yoM3TCP^lr&m=kygnYL1dkpjpViWvNZI$Y!~8j#WWbqU z_|na1%JwU}RZu^plCEsnAuUAy8`u$1lW%a-cJGL_kZQ>L`Unh>_Kro`W5jmeB}K4| z3Cl&AeaZ`nQwN%#;_;*EVU&E>#wZV=GB5>|gRttgeSP4!`3-psL*q_=r25eTO?h>b zhv?;1=`m1-6jV%Qjn=K9lByEE<Q;<39hjT^u*PRN3wBFJ+Q&e|*_heESkuCv4aX_k zmAbH-k)rn5)fu7q&0b)+Qqw1v^Lf_NE&Zoc+t!fNVF$hj8qjACV0n<MTVaMz?q99~ z&4hvXVhzPDS<V3A^rm6nSO2TX$ROY4Z{Pkp@y=3HZqlMd2i*NzIwgA7{>ZeDCxKOn z=tZiog=`v_c)>)O$|-2!&M5eS5W@a0qyg)PZe~#ZPgupNpoOodRT}DMSDHMJ{@Ltv zf)2hr!K;0eIhetev=Xf@zW4MyY(}x!FCVO8HFl6(Z3PcazCVx?DvdySNQXxwYY<mz zD-vl%*()TG#P~T>CGgOd(oUE*95AQuI2_0J+MwWdlRwK{v2sGClhIUPS<s<!XqN`2 zmAT?Gzw)?J4{@cz{H&G9N0hgSrQ|#xNL`wuaMoiozi`Wm>m!>yL|o{Mq({2;Y^SN6 zE1g_p6vB7i#$=q?-QS)5B`=LAzK~;DQK5Y_xG^y4(^vk&(wV({<O!-CGo23Z{K;Ov z#iQ-@&cnRN&g3L%PAA8E{U)QuRcU^wKvut=i_+@D%T<pVjC*}h7c1OmbB<#CoP)b1 zj?he6SUYosx=(FISR{l0gvaLzNs9ytN!Tjds6lK3PGBD6VX?cVv-{WQmvhqX%FCMi z#7jV-B|QA7`>aUYLQYPJQ4Ie@EX6=Gdob7Aku#fI@lteCC+fG?9(3UXQhBsB^5~7+ zoS*b(=TsVl^bL5E%(sUU<j63M)qyHuW6*(T$^5Z6<>t3y{XosokM|4`<L|VL8Vwt{ z--98n9NXu`x4u2a&ov(7_!Mu(fKeoK(A?{Uf<=tn%+cGu3)PtP!Jsw=Q6?#uAvXs! zQ6&<WQRdGB0X7Y1ByuI~MB-K-*GrM8H#q>%d`e?Yv=A=pAX^=(dQhlh(y|)JWGpn9 zB??+)c}YX~gyKS5PH`<+F;Vz*XhTazub2z4i|!ho^}W}~-(o-D(K)k%^_ztzkB-e7 z?mt3UowdK^qUH9Qs+;7tq$>V$%KOfJ&2AvUn~6orD*?m-CumWk$YRkET8)=SSuT4b zqkf;3HLeC4B<{BA+ilnD2eN6uyMwBLV`7sT*OiXmuSK&Om1!wqz2;3-PVx+`oVD6n zgPy;nmjgy}Hbi!t_*z53dX-gIw>#n5*h`)EA2Cp0?D-4)Iy`ck7pG2GnU01Ra@E=> zIY$es<#=IAzLz)o=usE;%-S6H73aecyGxI+^SEk87b27(YSRuCOfpZ$Lr%6D{erIE z=iTim#MaL6$r>qZZj1qou1%)hhm>_1jBZp5QwP%7zUb@;63Rg7o3Rz%EL(n^z*Y2C zInGlxoNXm;)v&&?C}1L~>Q=m@SuuyIss3)RF@ys%36{Omd3Z^2`$I)b#mdmEtm3c8 zTD{!quF$9AjY;|D?(35!)-N?n#}`8l<tp?ID4~lMO?_R5Ba<oY4IJsi<55-Df355F z$hvoKcGI-)A6nl7dlL%M@Km8daXXT`Df<GYxWtTEUO&~ntlQ7=ytZL%axQeKsm8Yi zT#2`+z^X|}_I4$#3<WB>+{1>KMi)Wo`~?4CU%?ybpG-`n;QM3plZ(M(1r8|jZ)mAO z&UVn3)VNPC3?qv8#g;nvBDp514kg27$#x`ShCH%+i%!J>X6HYdZ(8|yIkP2(8NUWd z03}ooNL610l(%4iZ%jnOJ;zl&qqfDqFIx85??Pcq3QY`t@`Ky+zDBlv%K!$Wy*qsz z7*UM~slgA-(QNBtuRI<Z$a`8TB0axs@6TXw(EN1@J1ol}<;NeDV_$YdCPS*<gg4A8 zkcqxL7z!|Jo~=y3%Tl&DkIBF{#T~vB60Y4)0eFxnTJB#vW_HfSPpLyfk?Trxq96x~ zR5Dz;AhH+TWbba_9`?6cb}Wm40Km1+9wGNF2&cx6V`F)z6!kSj=$4zmu3^Wph!*iz zzVu_GsNs-Gb&LmP4!Jj0E~)DILuTDFE{Cqs=v90}aO7CoBEwj@whYIt_|vP?Lyz*) zp3(KM#5`l_FPAUj;oJH%R0=9lzQ@dD4~}}C6yF|3N+&KWGlY1-bvnJrC!Ll~1Sh<S zSXW{+L|xd<sf3q_`t<=MGe8Bnj{4kMPgT#?hn`XWinto)%Q&iW<Gd+o7v>WOckO*v zG$VQ@Zu0Zq=81^mtfHoGVBKkryVck6c&0T(7OJWh)<2G9Jk})O4PeSifo+O5NrQG9 z%=%n9r6<vEk+TQUih^ZRUn4?Fo{yFdo(tJ+>_Ao(KV5<Aoqx|v*it6yD_rOdg9>37 zv_1=P*B<f++O|z1ahwSIA|e@knFZ?PcH{=khV6M3AB;6ntaZ6;?C`J{_1E~~68vXq zOFvs|M1CV*b8|-xPe(?R>+mlo4eQ;_)~}1D2yJTl2;$x%*QNp{N8;{&dZVEYl!FnQ z7ph{Q1|uE~wxH;}>3=#o5NOtRr-4T%d#G;VlvmVXnU7J?Y;(=^)cbUl<5SJTVviN| zioxlHlP}9|+h=`)S8aCtJ^e-9rS26_J}-#WY2RC^VO-OF>A}mdzjoH8|Eo<V=enXk z%(XU|Fb(ea4uG}Z>m*XFP^g99Gvr^9b0yAm1H^r{%G*)T`on%t?cyK;TFFxt2ksdj zp<;8Opf?Yz3Eq{wKA&t%i_vY1uV+emAsv*7S@1Os&;INRHj?3(qD65{b5tP8MLc`n zHDj-A=qp@9a91QpJXh+Ccm}r_rb9Rc_AkmBn5vjmtuV60F44CCq|LYr;9)w<HRf$g zoN&i{wS6%pz`R=qrWSQ|vUM=}w-3dbK@FrcIBc$|=2AsxKGK^sl0F>P7E9q<I4+P$ z9MRwSjE2FS81;YXeAm(i)t+3g?eSI#7ESTYitw_p^MM-vCKlh43~KIcLlR=|KoX&m zu$c<59{*|9k<QI%u%Y~A9#emn?*m6|rWKqUq3_ZUy;@Z%Nw;85uKSDXXBcL`(Zi() z^@Ed6DL1W^V$ctUu2IJ=Vy7uNAQYt;h1SM&cTP%A6F3g64b4h76L#RG0T>0jYfIZB zm$aEzaO!v6qdXjzN@?SrJg$T)!PK1Oog~uU0~RCAnz#OH#-{+T-zoM<%f9;?tX7kB ztI}ErkP&279Wy={G707S(5XUcxmO4#!^t%~oVC-Ddvy+0W~8EZlKYYH?ZK%WS67$& zMOnqTi)9f0CELpbB;guw2CwozBYJ+f2S&;4S-Bq#kYBn3;igBCxsrBT*xN6w*lJH< ztg>4V_(zbF09x+SmUp6Iq&=2JT#0(S39kdK&$a}k;?VN;1mv^jS;@*;_&!juprx}z z(zd}W=Q~*}OIV~>ih4&JW)(0n1{C+(_^!81Oy<*3Cu{@Rv#e=MGY{N)El7j(AF&8+ zMyJ6zIrppnz-{tcg+4^F!F?vso|~vA@YD@7iD_bA6}ZTApdlOm?hUwr322&esqs3N z3N?xHygn&z#~=JvZhh4^b>eN#5K7c5`LhKHhV4LF#yd%URf_59Fq09MUsyG%%?2BZ zL*^~3NX7hwn5fi7q!GzknamiitekA+{p*wjo!A7nKkr$RKSMvjP?7%ZoIIT+(BA9W zJI&tv4KCl#ldS`HG2}0jHvK8K;;~>N@t4^h-Qkiad+sMxs-)QA=>U|D{r9dGt@}i4 zAESX3Tp;NBeNni#_f0oa4mS}!_@{5DA6Z3&scel8fvsygZgO^tXN3c$$=O$^0a%9= zy|!B3b$7Z(V>(HPl|s-4m^0Ai*%-e}3bBK3zk|!`E%_b8tVYY(qa}km$`?ErTrTGc zgK$~S4TNHFuKEUh`P$4|li5lYj<!YCU(x|om+&6iWGBiN(GkVY+Fk`@C?^jy(ooMJ zs)FA@gp!ijL{W8laEgx)3`(V$>pEn6m*@YM0jP=S=Hd@myFquV)U`;tX|MTpk+uzk zvD)#~w5RbzKN^}kR_tv~3?|SX#zyNmi_sUYsAshG+sJ=kTTId*Xg4w+oeiArXdK~2 zEs`Z@xyY*mhNoW4P`$$Kx>+q?)dhfd(sYuSUPcdItuCGRq47oLHz)-5R3S728NGyQ zS*4ZGo84tF>i!k^d(w0B+1&P;wB{iBb-y7j=6<3oCjAs`^9iM^?s_nYuQCIe<*smE zX&FXz)_!0Tz3g5B`RA1ox^irosM#H%$clSiVS29k-mi5&aeMv3G79Co2F6W1!SDpl z=weB|nD)>7!cDfcochPeo_WvynxaI8uEX(-H3!?|7WepjmALaCA_jIA&S*ScKQxZ~ zz5F>4Uy4FEDh@ZeL_ySA&nVQ=+VqE+yy1U_!{L=AN3d_Pb{iFwQ&r|eMAGJuRDRgg zlYS4)#)>mu4_x(Jn3wZa59(EG3LPH88}%^5X|2s_@{V`?b7|_M^@3DZK%!|8fG1bY z)<@sqb4;HxUeR|=A9h4Qm}Iz7tH>LMoi%SPoEgDp$GuN5f8b9Q^z|bZq1Om$u?i=- zC%s#E;=egKlpFG5v;4&_vxOwh@ORjkyy2nt2Cj{7BIk+BtLoZ+^uqt(?-kammG`DR zzN=$iSlso7NHJD#l$?JGTQ=L4jK)b<%Ys+A&EVf|iS%Utr8o-Cv^~aS&|!JqO~!Xo zItXLy&|N@Sb%K;eaYZ$$$*gH&^L1^H>ocQ{4^cMTF2F~f^Y$ErfsIXVak)~U?5g+3 zcv&tAiLRZrO#LgUx_o;r$F%08e5R2_);~}I?Aw8h<M*=Ey!8IC>~=|OYA>8mEwO1y zKf1jvnyfP*o-lPi<<wco(tpJ@bTS0%7yXGq)4zDLOai)uKQRApV{qeR){14L-R2iM zW^mXt;x{TI%KI6u@RI-F+?t4)VX4M=-(}n{ZnlRUyvgnO#Uxz}o106YF2nI@OjK+3 z{msqO++6YZID$jXQ<i~FQN3j>%!wP13pU;90S%+rtp|cDJ|i$2j`R*_0nGI;B_b_2 zEixtSQX`TKe@x0uQu@|x#WyV*_8hYeY!j4y6WA(VAc6&}V|Ftg-_Cr<aD-He=KWJk z@IT{b=*Yocaj8r;pl?@Z2zr=IcF<|DSodyUa1ln2rSFV*Dgqd``}BI-1Sj{ko=mCN z5(ZeWna@z}H)Nz5a(K^)Ma$|wPm^DLKbDAF9)2brHzUZ7Ostf(=h3(dYKJ=pooA|R zR_)-@r6drSyCGQ?i<PrSL;)4gLmuDUPw}u2=$)m{xl65xNxn$;(AVk6W~f2s<?f@s zGSQKj7SO_YoSTzdZ8Py6ijT$MN&}RvOl00{0RIAE{`+f@RP36+UTVmllrUveH1b{j zES^)e@PyIa1qI9cfCLV)!RP&&V7&ft!l1UdKqoRCArsT)VrX-4AN21=YEd7enU22s zjPcM&an!n#<>85OGm(xRL(dJY1-RmNa3bQEmP-%T*F6j3i+<NERf5;Zk2qZs8Ya{+ z(o7b~e5>DU9(uApxLEn*uq8Z=rpjoN_6964mC95cttBFGK1-6^RaBzp6yEC523nsm zjVRpwAX4bu2K9J%GbE_^!@U>S*x2y-G2gIajI3oIZ3{}q?+n;;3C)3Z)RnZ%oNOzw zE2RAZWnF|h^{8MwasuIS|D-h7EtZ(`tFPVx(wj`@5VbP_p3;$AZLB$lc-fN9Rk!=~ zFN6frFhg;ld|*O?DXtowY|4k}`gS$atWqj`v#7dOZCQjnhGdS-bpQ{D>W<(ptdluw zzBT?fha<i7X+LaGJ)Bs-r^-2Zjihn}j5jhEVUXNlo<>RojUqd1UglDw>}CCpDHl(A z+6Db<2xGHU<F>cEK)XhXdlIh9TpjnV@R3mJT*b;f*Tlw#3$`M|Zs4Qx&-3mbtOk!$ zb^X60IA};Gp}!O9pY9j(P^#U>$2&aWNvwVX6hN#37RKcwDc+=$z0E<;V|BItVKm8U zyFn#OK<g7ae`gxIqcWw}4+heJG@pLoH&{ROmSN^Js1171yFx64ABd{u*Wh$n)x8Q9 z*#0}_HDvihEkpKyc<*6^zZELazrijIs%>aKG2H43x9``(69h!=?LICB6kmo$Tm5zY z7@V5A6H$Xm9z;^;rNbnPiFqhF$nB+94z-k*|FAV$kY)*K3rERX#W#_b9#u!7+Aq5_ zScN_mhF{0*Nn`yqCov589J!Ny{7f+hVlw$#)zArH=zDH=Uh8ErBE9<q;jB2|lpO%J z_2T<KGTOF_v0crwy|XLv8~RT6#pLY)w5Vt0H=Qu^llSfD94WUW5`ytG%91?<-=)Y= z{_|5QeRB;F!nCgho=uzlMaaVwtMokG%uetd&|Xco=VAIdAxvH2l+K#O<Xn2%@}#Xa z3pX?nyQ3w}tOup87YgG2uz#VGwPMaPLffF8X;-RyZmIH-Yubwnj`!r(f|gZ>$0soF zbh++%3gwigr+BIpmm<BoFLF`1*w8-sc&SW_sLzc_C9Ns-pB!6ZLAJ$=4(W}Tms-Mr zn2{$`yOn<Hgu4<#uS86JBs=i3D-+A90sdz+iE4M`^A0nVvdzs`Ptj^^EY}twhrO6U z$S{>3O7F=eChf)#Fkby&`)3JqMFB?aCRNo!<BgMyN_y%X&~&KwkGI+vR5qwdX^D&) z`eXhSLD;|AzM%|Js4zHJ)ttrOt*-lJ|BkNNi$Z-_t3yAI*OHztq|ESfDc_sDXB*ko zU{2$i1jyaTlke@6uq;<K`m-Ov=9P@MSgCh=sX2j4ELK2Vlaz|J=EB?3x)u#5fsf<s z=!E}mV7_HR?srZwG@8V_H~C_AYWxO(+so35qy=gU%9;s-e$7*R`(KO?<}NGC%#*(b z?1!%mo~p*nh$c~e12>C>R=|ptJ;j+5>+<&__J^oio!Fu7tCl|2#n-L$*%*G&^_H~< z-9J7Y@5~?mmY$a2?wny4|7gn&W83)cuwbk434hDn)M{m)+(pC8W@Psd(Xl}0*cCSr zV<`f_X*_GEMdeIlAKh{69t35f<1aJ6)@`XgmKNuxtwrx|G`BTnF6+6wK#uqQtugD- zMV@udVOg!*&b@GV&+je?;k~p@O!U$tqd+^bGEqaL274j`4fe5r|Ltp#ON6+&=@y;U zS&PeUNz&!D%W&Gs>Ca1p1M|Rc?$P>ZfQEH8&{%pGpq~eAiBjm<-COUJ!=1;Jp1pjU z9YwEPZVVq^I(PmuK<cQLZ8dI3AXaG5;vkVLRdAiVAZ{rQ{RT`}<MNQ`CT0LHU%c+^ zof7_bQws|HLmx`?o`YoAo7hBGs#aE2B1@SS-B%vWn}|=BKB7hNgcw1ZL`anIFMZHG zVK1qdUbD|LKBGf5T7Iwi*Qoi?#-F2wTFmBB&YS#OvhsS4%!0mMZ-Ei6(K<f(Hj2Ur zztHQf)+pAsI$)QOp|wrBOvtc;7s%_a^`7#lvbcp_LrqAY<nzk4;pjrC#9X(V2d+fY z`5K)gzD<(u6TR0|KhCIF1&;7u{&VK#e`1Og|M3GcS91r8!r&NDZZd?xTa2#Fh%CD& zj^o!3?FBk>A+R{=B{jvf@hfhj5m*Gk2Q~cchm*`1|MFq8-Ahmd^rWwbOUwIfFLS*= z8dC?27h>Vyk55C9ku`4@3)TLY<;eNQXMh;wg0k3cIjAVH>*?|C5hg4DNx2b{aC0@- zC%$fnrsmZWgES9p>)YRdf-h#w^~H5-rl2u5P3`U3@ElFmw%yA#xjs-Ihd2F%XNZ1s zy;FStE>jsR_YDfLGf+=r#E^nLM*Fw7V{WcwSM5;MsdjKpy17}5U>SodiM<E5Jdx8d z*^_l>_%iUbO_ljWZiiknSQ<fnEA3SOqXJSE6kWRyZ49%bDDuz{%AfL7KG!9|TeRFA zEvM?7626xbkyi?W8t{O*Q$^xe@HJAZL^5!nyv}DiJEePKtV|pfJW#s#{DJ+wU0{#D z^YzyCTJj?6S=JZin%k4Y(Vw#(uvtj#mJ-Y?sS!v*W{LGHyQE31X&eno#SOA+SbDEC zrca_(O<s24_7_y;XI2Qg&-UACWM_n@aSauG9KUx7nXzrCFPz-cMDw~e#m2}v&)+>% zElqWIxrOni+YC@lxBx2>Jl1P7N>ue4ctxUyTNj}IQls-WH77DMD`*zAdD(AkHb_Fr z-Hm!DoS3L!r+W5$RFxLcH=ajAb^cA%U>$e4&hJTJ22G})e%d__5dMWD|BPz7vhkgL zNl$26M}+u6pF$(8)Ltxg%<ObN_1%7EP1!@C>|GLF-;OG?Z3s-Hbc1RN3UupG@+wL6 zBxkh|pb#9s|6<Y_VOIJwhx`C=rh<5-M@X%ewt4g3jP0SSJzc;miOLK?NUV0eOUhm_ z^`N`{>lq^Hm;j?Yoax=zuGQu@-L?_3lFWtbGh3l0A++BW#r!#Pg!m>krxt38*X~EU zom|wwA|<fB8p{+$-8kA}mE&wtr#qMxmgSDdj?Sl`78@>4jP8<I|4vJaHnWgSd5iP8 z*in}o5Ra|~pSfcCSwXmUxN<+kqTBRRH!?3VusL2sKxe{4CwtZ3_kJ)krs5j1RCm(e z4><RddGgkMu9c~>Ldx3lVW>0sj)$>nmk#;=Q1#YvQMPN>ut-anbV-AB*U()<ON%s8 z(hbT0($XE$3=)#k0@B@G(%oI(HTS*ue%|kYetOQC>sZHH>ncU|d>_nl2WL02R#)Hh z%$mF!Q71vNYIc=ChsTt8wDt`;qcE+;osR0IIw$aUQU85t+Y+hj`F6Ha<7Ok{%AfwX z2z7CDWL|C_%Xmf++4#RZOZHA)S@HgI>hJaH?wzn=s~~sg;-odH(RX{_PX&)KfiPdw zhgz%}oL*GaBH7CTOnWZ~t`f_Svo}YqRgCZIlR>wSY82zc--m{ek3?qG-@UbM+*m+8 zER;<**bh~{x3iy|*3CGlidfEE<qLR1t{(s(Zew~IYTB9X?V4Z`|2vRTy*0H*?Of_a z{gM1;QmyjSjVs5o7f6tM15dry3DEL1_vl}~<hA0hbkav08To$|vL(y6UP>lu9F4k7 z4iA6(rku_<zz7guOhCp&HUZ~ebbK5}toMt7O-Q*$FOlcT=@Otv5+O#%sKST!-}_RH z#b?f)<fqhkF@A!@Spn&+LS>0ZnEXdq9o2JP9c^D!(h(5*<PXqOLNWW4Ee&3*#q#-& zeyUy1nA$yjlVR)kYZukFsY`I}uEw7<u0I0B-nh(Z3jo^u*>>~UbLI_fWKiY+J&vSm zV9Oph`556rM3i5f^+vCOOtp4=XIrZP-P-^z({2gyQb~<B(@4nVQHW)kHbX=<L2W&R z<BDIsmb4ldjF*RL_<6{<U<)UC*l@Yh1Zb)Bl}y|_W~a?1U5m_&+fT_XYnDxom$ZEp zU%Nn|aXtVlZL{HFbV0iLAB|^{zUNi>Hw3r^%`+FE0>C<g0?3gBV>A>g_;>QnfP2|^ z5ZHVk(Dc4FpVln0q!BgVp3Xx%l|244bNR#_rTz1eVz&C*%lht1V0r*$=t=0J>EXR( z<=LW*zpV3=D(SfwXwAd@A~$Uyai)|otO}9oG(k+H0y;1#l=m4jVM1&=p=tth-Y$XE zT}G>@#>C7>aAcaF<S{UQug*c8sg&zg08YcWD)vD}5(4qX%3)MgCe{2N0=1haB6WSI zYG!twjuGL~x(K00P)VDy+m|PpCk@wfOX4?9!rktVOL=d$91XooD-Tpkz88Ga(IyWI zG3S7`ssA+~J_E%&CZzF^hzsyaaHy0dvG`;uqUbR&$fQa)X<MN6U{Nlm9|d27C`p%e zfb|kY1J-N42_x5V{^{2&`TgJAV|;s^A@qTY6x^h?*>`m3KW%;eTxUmoh_QmTZcNpF zu!6G<1Drk8k<1QOa%~B3TA^^4088v!q7XyINMw;auPH}YYT5{rQ=@!jKej0^*eC5e zToY!;)>h#ObV{>G81j(hP!R#hf4VWtsl?!Q;bb}$<-9l$7Ic^`ClI?471+*(4B@zs zt&g8LOH5>Bg1_>W0$fd2I$6?ligGWw_()T~<*St>G(Xw3wCquN?(KQseQ9DE`Hx7c zO~UH-5M)db;q%VHIw*^UdIuQ^4Kp4eAZM-L`+yTixhXo)uBd{C2qIHe>yxH%0c6w% zSlkQbIQBY5DZ<Q^082ARwc8dX_NS1W4u$$2Cd{sNtrW|er2T#T=P4yc?--pVe~@24 z)T;9gZP*GQlUmuI1iGE5!@idKjpQd^K(92=&3CgNLzR^eFP>kY<~0ev#@S47c;*q) zG!cb%hNFEx$pMJmL!$fZUC1|d_3BZWJM3gblp3nf_)GtCpOF&1XlC_On#bKmqOdAM z%_DH0yG+ipl_@c7$Nv&N5c?Wd-0=Y39TnIG#cGZAW{kk2-qy=AV6oS`;z&g?ZnJMK z_}D0({Th<Vczmdl`F@E;1Y3iSnN{g&B&RUfw%t|6pICAaQN1=*qG&n7_Doznc*W%M z!aq=z1c`KNw{8!t5}7d4V4yVQLce>Pk)iK*b^k#ik=XP&wN$SHFaZpdu^Kz&eMDnG zf9q${p?kvMi!v1r=;nJ90i3^K+_GwaeGBZUk?SZj)Xm1BFadob!RGgH-0625-F06r zM_dBr4=2lOO|uvcQb5oX5(JU^9!(9X_nxn;^jdx8C##WKJ9F)ZTssLl@|2h1u?g`b z_3B1-wfoR>->FKJf-N2s^rBm7J`BM`?6Zs1ZK*xK=!osEdUmz6n{w4S_fC_Xsr3-- zDmY*_iL8U5@tDUE5qhzN<V%t@dc1Vb*Qr3?WqlA53E?OdDk@lL5X{$5+|J*?x(h1S z|COSC<KbzD`4w80TiC4W(;NJD0KGMtwWXNA$w!508fgWBT#Z{`N&ehYW}IMV@#6>Y zNei1{gY%|^dhICZZE|6Pypqh6Uh8Ys0CQ>o1E5pbsXA<Da(r{78FqaSZ1|J~p1`wB zh3qe+M=Utb+`bdk8-hq6s}J8K0zLq2M82y6)FbMs#Pn8>5c=vk<boT+0Xl))kmw_2 zizn7sX_&xzLXGq7?QM<1w=uidi)}HcUl~_^90m5z(ra|xDFafmOtXab0aFqdX74kb zh#XtD#y9<wYR4XG4YQbh-xY@}(SDS<;*V;K_~ZyP@fO`^2$Ti(1bphUFgpgMo??HI zDS^VKN(QfcdHl@{BjnZsJas0?1^Gq}TV5~fgt$pIPMYh(2vSq~%$t?dQGQ@`jSve& zzw2Awd_v<7(Nf%nU?8sf8d|byzIo-rNkMifPIsxfa}xRvt$0PeqXC)X`KC`DQ4BcT z{wXuNT-kNK=3JMdI~h!Aj=8PPOunMWqO~-uKjDE_`mw3_-A>lo0Ojg?>*!*kPTdZs z4UIYlzEp?M9<g1+an>1`Chbjy)9(P3t!7H(ld3Hp2YjLUz|HR!Bg`~*I7>;IUMDPc z#|K<FuueMAF~W<YZxDmfv#j-~ED~x^i^-S9$J0%Xl-te;5Pnf;G2P(D_S9DU-no8< zXXjv8viHX9Y-7<S7`_Oyxgd%$bzMDADVjP<AFXDEFh$xEYAohg$OF7p>U~)g_rC8W zbLSPc$Sm$=OxF*zw_9;l+bp@lfa(D^z+30uTi1rgh@;#MC?0CTA}`u5P+;$r4e%(O z@g*pal3vJN_jJ)(ExGCDSl8O#jdtW=r~OSC>=sv6ZxQHb1%`WUONiIqgE$?B-EiGj zxn?@36O_D-Zp+rszb=|C+dbP4vlqcc_^PDr>4{BbokiS2ez$+gPee{94j;50*gopU zb_Q9?iCd(r(m{ObfCgd(GcnT05KZnLV+B?b_9(l!V!++SW-YwhkX^MBk3k|Kd0FWD zG^$+;-;7<Yo7zjj^hfOo({3M6BDkkS=m$f{RwzmDf7On9<T2qOW@kQ^TwuO=rtn`J zQK3#$bPcP0@AafhLs@i}r%{>=DlU1VfVB<>jydP>g@E$N{lnyEmfSfTSaAqy!O7l| zr<ZnPnqey)S-~VVDB^A${%TVWKv6*J%ZvjmOW^)Kw$N$Ai!iaN%WksU*Yl{qFVi|! zD}(m|8S|qLcKE|j8|{g&*k{ZMr+9$%M;t~oJibhy7Y(qW(KhEwwZiP{n`7N`Q|ybf z-d?G(tj%Fq+j@dm@17PR)k}DPn47R6qOh_o_5jZaRsHRlM*!@ZTSbl9AMEJQc(mND zc6N`e9+_mu98#0bFA-Xau`liP17CnT<JIUw9#phgT}_P6bQSxAbN5gjv5K-|ZO@u( zZE79d54&!Tgy8ky+V+BSQKvrRczJ@)3cY>uaGVi=yog?Y$nIrhhu_bi$Ao_{_NnH7 zD1K%8^<wSN#xe<6>Wez%`i|n!u0rO|qf!q4@9$VA-gr3H+#c7tFf;HbJb!<b6Gg1Q z1;nX=*6w7rw--+_iMq;AZc<m1CqEaIA|>f5oMkfAn2w)ni!jh+hgy`3d+ex_#q%k3 zSUl!;Mfe&%H6?6OS0t#NM2^(b$W{mm&p#NuK1x_Cny)=s(L{vc(4V8u-`*%+fAW*R zoY-|^k)D$rGA!g$+K?$IP!*lt45@u>(KP1&DVCPU0V`oSc;O@M>@!MD6oJP=+1BX? z^UC7ssJ`<bM&DK8zr5}!EYqk?uMe3Ra8eTSyOn>Q;Fj8J;ou;q7_7<<Q@gE20by!` z&^s!&Fah6mC%_OKqvk@`P`P$u4kAeP9I^kJ+B<u$b-$AI=I#yt6J5HPxpnvLP8_hw z!g@4oWPHzHTb<3mDx1~Goi|O}2?c&~?uCzXj}hRo?3d&@HPbt<?9<m;$>tfRm%Wrf zW>qLQcyoy8`hJx(GOIjO6Pq!<{IvgMsi1a)K~7$`8nu>Sl2KQF=Is^(P(~UX`NiHv zIxI>gl(!EZs6MNNzJv~kfDgD=Zk0%DgHr%Wo4Y|))-uGxa=xZx@;?qB6ZNmx&_;&$ zzucAgJYc4{wzbq2S@q{kqKJWtafia1hv*SgAxGzTtw!gC&Nb^fh56d)UMIb$UNZaX zji_G;l<20W6b_mey>$~C^#F%M?1_s`r&<f=3l}cVRHW>TsjScweeZnyXVRy1Wa%l2 zWg=CV)VCvmBdbiM;&=d!^2q$#LsExC#=Y?h27a`JOcn$P9Jy_^hNm+*j)~Aq2cAjU z8okSd$|W&L4xh*rqU;l6-c{@2TG5jF>ozGdZQ%X+`Agc8Kf3enc1te-<U~8?AY;-b zm&f%YFW)WQ4BO}Cl}6nl3pD82nfdfw3<y$D%+WY3(B6j?T+bJqZb7#f3MW3#{v16h z_o1~;^Q;8|nEr)QYZv{SEO{-A8Cjp<(?2ob%|}+!Wn`t3ujIdF@{i5l2te=H%^QWl z_GyS{aj#h=@)RB00N4G3TeX*wmV-k}k;E<J`p_&?1a&teRA43>$<0V@Z}SYgmsOp6 zHN970SlyD`2E-Cboxn#>{cJ{QPf+V{B%Eh=pn@D|gTwJvqJ<RA&)>QWa7#_v>$r@? z2aLYC5v8z_Ze7=sT+lxzx9NwIss{zEPB5I>Ko8XMRLfZ7`x`hjlG<G^|1bYyh}nNs zv+*QWti7UZ<dyZ$1Qy&%WCAb1=d{5|1UC8_n`g-^#xFp#P)JZXZHMJ(X{|~qezQjS z`j(}P?Jx9O|Lk4g8X{D*WdB?;C@V_HkRHmH_kHXT_0r&FOhny;8|NA22QJV^wB>n( z$H6$LL14#M<LlnaxS6)Xn};Oq{KLPjYYA->APybv=9A70RWTM7x27a~F>yJ@?19NS zc;tM*qIw2XCYo{NG<I28YCJxyMw0Ul;We}}RyF;ZeT8CPo*CZ5OFd=xW}_S^V)>%9 zf1n*s4P@V}B*_=oynyn@m`o}1(gyNwG<tCY{XOj(!5{1WCi6V%Ix@B;HM4&VI&9!* zwqW5KhXj{GiES5P;as$nMUl2B1YjN%Zn|ZQO?|*}53Ng-gw=Lxo}Mid`>_6Fd?#AB zxYLGiH>JA1(QjTe4L2bR3#y{g(O<|4;xqpSN|bgmZ6n7zzDAwQ1XTJexp4?>t?Mr@ zLb@tXYn{9?B}dJQtm?>Zl>|gdD35iMcud(KniPL-o$G&LNfm$Y;OCdb$fn$gXlS%- zXSnX_R{iTD74BXN$aDrFfu0Peye?tJ8v49j;lN64!qP&*(~Ne=^X|v}^SHuj?SpMS z3Z_`+JJi(ZzJKzuSy2b{%}b0lzJr|E(S5J8FpCHxE4wyjUH$=6RnzhQc|fg<<$k2n zR`6#N854z?J+SB|wuc9B*F7xNgmRqG6`WDeDf_<>x)rjxdwn9ij~*Hnw8qL$(mGsC z=*)4(i|{2isH)l{JW1$O;lNGBt=Yo?ckzNZN`HLSRqP=&l!<#JgUmRACCyIuzPpCr zThxTv_0?j{^Zh|rFZ~C;VW71?68<{f4FG^xFUcr_yer0Y`>WRyeyUW>iCka&xZ->C zvq1ZMk1gtl=O6oS46=v-n809}AR>iuh*~tw5z7`_J}zLL*J78}1jj98<anYQayv>V zSL+iZUax|l{R~+LTso`m(Ih`cypeK)oaAsw^4Rp8e$#*XY_D;oCR1XwzV_`mrdIfL zyzoPzBopd~cPwKEtjw#oUYQA%n+My6o4G@l0NEEqm(U8=#ilrLEJCc>7JJJKMzyyS z;%MX(ZcW6Oj%PG|5Ip<y89qRiJaECdV}tvo$t3p#`dN++p-wc%k8x2edETB8z^VTZ zo*F^R^ZFn}`Eqjg$B(?+K1+bOr^gK|56)%iR7ZRusCahX?XN<<I;yn^E&<fQSQ=qx zbh5Rg7!D@#n?=<#oGx=K0MWKFU@{+kMM(hv+=|-Osu(dNBxlYQL)LdgSiQz`6V(W? z_uur9hQB1-zSIg@-70bNj_p0`m<SeLNu21O@xca4k1|SuA49Z~w96llPjG8gZ{U_^ znexYPOjpl_2xZctXZdogmwD-!G9Ze&cGkRbxc^)it(4%o1!Oj()ThDac^0BMsMAL8 zu)mOvFuo59E5$j@pX^(ys_JKp0nguQ4KnGqs*u34L+v9z$fWy|DVj3<)#=6eV0TLV z(b2J`Flo<U?uTy?_094FvCoy=87B%$7ad&zJC!@f4YG2R^X(oNf2bynNVa2Y-(~U$ zt$XX6`8}<taR`nw!>O@%Q}Wj-@!-LC<1sybdmtN|soWv@8RN*~a_-UR;13Do;~YRq zng!UIydoWuwdx$iWv6-6KlSUXt5d7Id^rE!t48Xr->R(4jcl=Tgm)=aHbOdXd^U5g z@Kl?ARFw5?4`rUEnHbf&y|ZS2+slpo$<tRn@(k_3Iz;6hGOxJr)Q@ui1!w)o1S+{* z+V<sqM2zbcv1^4CkQMURy=d*ld*%0MJ(weg-!C5OHml`}hr9M+IX(aEgl=7U=4Lal zfZqOA$7Z{gl%7U>895Jrq6^<$MaN%4dLd$Gl!NB_931@D&DNz8^Is}Idn@#K4C5$9 z#Phr=Nf>#DO>$3b>WV7OK2wpfNnvsF&@9^z)v4lcxGb;HqEzW*qUl*((PO|{u+t>j zyV`#U4T67o+?M*pw<zMa>Xh4I*H|>fvfK8xQ4?Uz%0n^QR)@C%f*}hsp-gR_tr4&1 zuQ=e;AH2Dh^@b~*1)9~(j^Gtea?t~n1A|M$3}qEPHD7c60P`(oFwZR!*+mxKP;{Q_ zUE>2s(H2j^<KH(5){7L3EenAiOoRvlBe;NF2jNM!$eWBhV|bJ?!`L)(5cIeda6gBu zdfW8{D3-F%uCKQV30hJ3)q*EjEOq>{b=DFV>i7Sm%e%|uhGRR!vMvtVd;2R7?3!kr z>$?J+otHlkc_<FC@B}SZz1^rAUO56_*l~)=@`51U+vmKqs_<oOjax)Ef_~AfpqzUG zgsW?rDYlxG9o3rW9W2yD&ykTA1+@};uL9OB=L57b5ApU#Q&ec;#X@`T@YLNP#9wwp z_GeT?)#&Q<m>hpKEuYR7pfN~`JdZ<`zI|N@PM5<XGfy3~tMeSNQJ<35awrc2pPPK& zIhl2ZVEZPmGx={Yfjq<8pt)7hiP7ff59%{y2<^|`rM=a(TF?jLRL)$2oSp4Rit5Xq z-dmBM8mKb*AwcV{Mo*b4wm_unH$Pj7u5EfGR1`|5UDmdTKHF**)Q)j<p2sUfOXFuf z8tDGHq)fijYxP+1?iAI`Zu~D`>QcxkO{_I9yUl@^?m`Xh<}dKMnn)1)p}+96ezaSw zy4Se0|L?va=tzg=LvK8Q2dEb|e{p3v>!#Kq@@Xp$EsPQ=RNPyd7!K~`_V#)gb*GWE z9v^I+eDUPwUV)#gNYp9qr>3LT#&*8nsC-blf*>&~B!oo!C)7B&pm*5d^6=I<_3y66 zrYJr<sEzvP;o5F_)^_&&ac?L(_gGXhzj~{+?-LcEMnviX@Ln~nYZr?LH}n<?rx6d2 zmpxP&pjRqcSVd$OEQSQCg58n6JCK1^F-Z(S*#@zrt0q%-PQ^)0)ipg&)Hql4Mj-~W zg?`8Tn0>&#NgRN+LDyu2T}B8nKPYFRPo-}sZU~>mL~1)9Gnw8-ScPmZ@V*VaqT~&P zbRT_DtHS!eH%HLeETx39TdGj}EI~p-$}n%&vCSwd$ZZ~!ns^Oy?dqHwDk>gW?bCnX zYPh^@{sBeo8&nr4no(JUc05kf6hfd<N~4YPUA1V5+2K`62&~J4q5HEuq)3v*d_d_x z_f_3?qD0wB0_8>)zeSHlA-6OL{m${K=g%L2bO4meumZVN-*_pWX)SbwyFrcKd<U4; z9)N3{cQYlxh;mT7kMbr|e0WnVKNk7a29h4P2OK?)1s;Fqc>Rd8tMOm%*j4w<#;6e@ zsytBr&F%(@ZUE~vd()S=v~VLEs(5ddpUL2z=cFLj5A#MDBRrLN81UKE+L*rD=18~X z7Dt(ab*D)C08`<0K5qg}vLR&ijbE5FH*nw`HZ?86_)52;XMNlhJ=^W#4d*s}W!JvJ zXvaTBeBWEVZ(;t(u#JEWaKG+x`$%P@sJ!cVJ#f+pYJBWm#w_Exs~rU0nW;CPpirn- zhO+hfA1oK4srx(jY~gZyFAZO4*3K2KVn~D~`$krf%FSS<k0~PL+e@)UoT}I`&iY7< zMAS9HXd9uZL{brJj-9sup){8U)ri?=7mYad0O+B$^<ofh&VD^aaUf?8<Gkzcl^9Ay zwS3MI!l9TgZX#`_b$wsJ_M*Py@zvOkrx;3MwLD%Ys%Ig+M7)t$=MvGU5eX{Z3GUpl z*j0G2jh3G`$!fNPWMS#ArKe8Z@l^!Vy<k6QH^Dh(<~-Es%+RQMb^YGVEc>sEQMh~2 zsIcsH!K17dw!-|YDQ_Q}SZ({YG3Eb&vb0NwB(^k9lkMeZxwtbr^TWM@OZ@(K4UCOi zwR3iEHhK{7l2aPf24^eZP{P}4G0gt{yO`p}sb!y|UCGCX4~*0_D0E|^ld=sxrHAYL zJy^ZHYXiULqe7w`5CcBqF5ZmCx*H`%+x`A8!n&O_c4sj-k#~g7oSy#4OMG3SgH%uM zH1L5wiM)pP&|0N5!pI1JMMll9o{*p@Rr24LvI0>{_TBjJ$hRQ47P-@`K6M(|#ggP+ z`3`GzgkRrB$#NF=-EQOt+vMFYA3h7aKQIC>GPle)xqtlX@t2;oy4OR!yv(b?k3vkQ z19Kw__IujRLLcqWj4Dm3>0FVtFceGcP3b)y4?c?;^2HAcGK7!3UT!h1SYQ}t2MSk( zu;p~C&0=8gH-NrGY|qWA^y4i&7nc{&1+z?StV(_keWxoVI?&@>9tG1wvbr8)r2!Kz zfCS+o;A<l@aD}5k3@}6<m)2163;q`pm6|z>0y|%><8x<Q&Q6r*jqlu~-E4tHYUIJd z>xzO?rUenGh)su<Crdejb~X?;^lxDVA_7}@HeC><r0z}?9h~LnEg<Z=V$<4s>&i(^ zP$u|@puOC?#|CHPPw7)-u!RNy$gtN1WQJTHg|n&O|60ZKv&OEr`ejYTNm_r%jB<2I znuQeAV}<oK2|x}StX}&7HU*$twxQq|i!WIh&qzHIR<(7Lf8AvEVLlAnnd|JLgk)}E zPxdYK_98HHaJXvFTcR=x$%k}SuZrdGKr{9s-K$=g=3Bwy_YiYQ>ohB_>ZUIy%ab5R z!NZ?98&StzW&$k$N+oD6^fUEklQf34(ywyN$6I4*jH>Xk#`m+QlrEBiz6SDjSJ#hO zLQ>&9u^=SD7Q5}7A3yNmxw&T~-jnNE@`Q3!llApXbQlS*bu$dg^^*2EfxC1+cqel3 z<!<yulu<=?BhoqQFFz#KIA$0XUi?mwKq|9L1JfXm+f<%T|6D`y5*6u+5$Q%&J4Le_ zxfaW&<a;_X9qL%hN=X3;g;j)WeH4@jUE6{X`pIl9=T^42jwsm&(uQKw2+7Iu&A)|k zO9Da*v+rRskFI_CyO-I2DTj(;y}>2aSc1ct4*RVAwZGQzpRZ38`@ZN(McZ+0A+XOq zlv>Y7&waT8X{p^-61LvWiJnxqawW(1q?O4xX`LgIG}LfB=>&wGrM~p_ZZ(Dt5SXAd zq7{r{-lt<Ry*V}7zAF{Jib7b=5JM>J+7d`_-E$?rA~C^bw&J9>uob1KqjGqM958K8 z>&qOO(|<FC*)KZW8MueHNDgN2JXG>*vFMX^v8>h=o4&Yw01%k)%`K^{qBIGd_Q#6t zV--ujr0f3hMorI(gM(l^u2sgEXOV2+68_KrqX45eyMdSmeXdH>dt!u}JG4w)T^+@O zo?IB`aaE@#F9iA`w|=uHa5J(fRZ}p`j*REx&^RR1zE%qR<CAf-aU{X(A@l+ss^;V- zUiM{1!e0feWUz``?c3w}#5j*I4Om1J#F#@suF6CzK@=4n^wwYm#gL&&gz02cg)+Rc z6WGJbpR)&wR?obEqsRbYLyGl%xLPC{lg>6Ztlq&5gY;A5q<gvO2bP20<v`oY@jag9 zbe|XgCCYPy&gBEn5K;GBFuE+zFSRR58Xes>4uW@oiUDrn8}9N~@#?Du6FF7fyS zW@i??fhBF}!-vgb;7Mv>J95$Y_HAY>FY>}pbp4soz8@FIVSS}}R7-h)p{Z&p@Yqb_ zQg{|Y29T>wB;mfMVMstq$-ndgiL|(O%37Xpp7LNRlEubZgwT)q<<jJU{o%|W`Gn>d z+8~n>mebNK5A_abWv;&EtoZY&*HXCt@WLCfKO-@v;i4d+zht2k?J|OL<lG^!zGOD} zMvazrO7@|=AJunLQ)Okn0ImBn;X+7294cr(qO1K;-6hoB-KfGGPco?>lkn2p$bhFV zJ^JpEJiId@Ddc}6^QFx>`#p#3z-O#7qRK7VmM;zJO}RkJZ&xHwOqXcjrZcC42rQrP zlw9_+cPxmK`p0A_N><TubMt1VF#zp;EI7!bfPZb7bIeQFn$qSN2U&R_iv$Ulzmu)8 z8&2V?DG|fU_f0_!FlsO}UdcA^pg>hsWx;pT);0e69JCxm+aW=6%v*aM?$?Uol&^82 z`oC4(gu4{+6=J_pbH5U!_)6RtAZPOKei;;*v07wIEwGh9y17`qXgIVb-||UN$0Fnf z7rOs2J$kY6NJyX};mli_es;SL&Rd@!;zUp8Ihjn>nq8{b(|OR$J6*L%;40LYxsOW{ z$DpRyDT+)iaTZrWe+FliA$JN|0W4&JOQ`(IK?Ax;6H~smndb37F~)Xj=oEFuYn#UR zjQ&?GDZ$$k_`a>+Ghs2{`c-*C;y6o5Xn>v`LI`F(4TSq1WO064YQ=8IIPOeR*1WS5 zDBjX4WmJv%Ui|Wv8`7lGd5;Gz0l|!Z*;DgY%XdV74({`=pB{UzLZBf%bUL1wbr}9n zU<&XpkA4yE@wMa18;)398#o@HsT!^SO;Rx2C3oH!kMLXm>xAMNYg)KVOADt3RN>;c zdWET`f`Ti8!kpfI968>>Lhw+Xa<=f}+&o{l@w8>PWxP54hN9CO)|_x=rYyphR+|?_ zFJ=6b+F4%1RB`{_JM6ED<-QJPk$y`|q}zK<Vk6!%H*%t`&h1|tu467|esHH(^AQOi zs_Ud6-g5Pq(m?T!{#rwyJ38SyK}e`fKj@Q-_~TG*Fdot#tqlRbC<sLG-y_jXm17)d zk>tB%XRJFzB!pgE%W<>fQ8~1MhLk|OnR#+^N}*c>o2fJeE&utuq%Db9$Qdz(ZFekY zpk-*cEuYr(OXi+!DmJ5=-t1MQpZL(s1f6Su{r-30SV&qZc?b4-^bvNcvlQ^QEjRC` z-uV9{;H*Ay)^p#<B?dN1`}aV7ykcWALPghcc~AOVrhCR;OU-udjS@z1m;8iV(XY^L z$9>sE3SDyMrET0O0U|ISSo@e$u=o%s*O}ov%Pmv&3PL2UCZpiWJ33PyG>}Qv8r3Sq zx&nX-74KcdTbfVSRFV3`kUpTB{Q4Y2XU}jX$yZ62^R(69ahiD<=PxMI9V1S_cLXFh z{(HYVU=~}gcDfJ$jyzz^b>K!XR=sCG*sU_XZx0+CBv;h5Cjz%fX2R71P51<yJ6(Bs zUyue!jKlexC@^H0c%djRD@LtF$>tL)Y`D#T6(t~s#rPo0ZGvZ~x)_=@e4D>mkhmfu z3!QConbyyoS1%wF2#g;DE(3FtCp;X4yOB6M=>LiE19!qQSG2guo}M#_RYZ}^%~>hk z9y}9)&>ZS)UJ&aLSwhBD-Osd3NKPYe8c%u!5w#;=N92`8<l@921^~k3??uD(nF%12 z+GOl+ZA~e*meoMyWzZfW&;-XoM$(%6mJv_vWe3)|8kHb!@Wt>0!iPt{5EhYRDKC4r z%_+-DTowaKg2%w3l6-k3Ir~?MFv16`fAFDqiiHA5#H_cu>hF$RCsbWQ?UMdwRBj{P z8w$J!tx>Tm^m!#CfssG*Q!3in2+L5YCwCSBILFE1W%jDccnlA^ziL_D0RK-M;w__l z@7wAfxYX2BDQA}eY#=3ZatE=cwHD#a9?wlia|BKjOB&7@ECQf{$uv^=9>lVJ)UKyz z0@zTnCHYa6RfU0x;QPYqMW!_Z1Pk6GWfW6-MP}k%k`kNlmoh`2UN^WD8T9BLMnoB* zq!%h;2!^ZQ{?3U!h>@v%ol(5PGAXM5oQrymt+*~tAh<Rk+@I_?S9#f3+_*Sblnbx# z@hVjT)ei^SuK01uDcApB2s%pvo~yIX^V0EjIN}@&B%%6eKiA&G9y9*$EVnwzW?HFp z!nhrvm<FOqrCS34w#ko36$s?@q8=C@My7Z4oqszZm6KLc^JW9MCf=}jfkd2kop%Bw z?J@#Ms3APl2b(JQ0D|L*<cNC<q!Td%^N^eyvpiL`DRw0-=Yfv_<h=7ZZwB9N&AbMk zA$^C$D9H5g102_KIG`w+BEIOk>gsyS93E-+W*$gX7i1I#8S4Tpd*7;@8d%awB3_~a znfmw(p#pWx&tqnPcO6UDqnyD(mE3mwt3OeZ1zeYS+8b2#17euNeS(b8+Ep11<L|=} z`Q<G{E17%5#?l3!DPtxE|6$tpUjKUp{0Z=nHT3sFfPeH~UTfH<(7zfF#A}7wJNTeK zY2*-KXvb+c&&a#MC_8%(&s}ws*a<wXuv^l0E*F&@%-q5Z?L|HCmO;q|17?-I|DIR6 z4V>bRZa&!ky9V$mA458O_LpHQ9Ff&<zDX*MbdL;_?{|+}7RnQ6`8Vc4`OlckhIl!s zD`ve`z?`(oBWG8~KfFxOnx(|!W)bDVS8D@;fvFU5gWum-SG%i3w_9z#vF_k}=-r0> z`47R^op3<zE?6Vxu;B-b940CIsBj9eNT@oC*nS~Z?5?4Yb0$gzR+kz@Gw#m@T2r^V z96}`QtKulULYwTOljR~df189Puf=&afK*ox;Cx`9kRMu&QqB_+R=;5vY7DjpV$+fK zt$mwK^u{3#(u7Vgp=#|I*Zaj1zX`c)t<ilQ+Ngq_HkM~+ttRLc7=T4AmS8dxIE~5l znQ&x^O_Hch9S;Y00zFY)EqhwUX}2)qPw&-~2U}pn^)-f}U4Td9rVaB&nxcRmeIWC8 z^7oj(P}tT{Ow>~Ib(T-#SJ@4R$PB8;tq77cV>i{vp|7skPl7LG^lT)KTo1d%>LBkM z)Asr#6y;&TrV_BADP+ZN#V3E54gjW=#KbM@bz|d_1%2T-ccr7rL^ij)B1uWTjsAso zTfEvu+J<7-{OJX7_A$BkvU7Gte?8W3scvwcq!s{j7!GYK6cN;R9yrkG#a}iE$y-B( zS6-1pEDAPjRw%0M=>5Y_;z^s{D=&V<C8#j3eqNM89WecqAt>;%N5X(&fpqLC4-^#e z%n0q}j{X_6;6P}Rp2$WtqdC4Wi~A-j(3WTM<V~0NY-60(trDIrN9F}R!UTA1gYQ=y z{=fK8ga{m<`F|aEU?)QV7I|X*W_zp2SDmq6Wr&@aZcwtgN%Zfl<(+qN<7s55c232- z`++GBsK8A}BO`1U^IHSG54+?V_s|<>z5{VhpTz$6WPJ(jKdt|bJXP~I_-mw*SOgy$ z@Lzf$QIy-Ij*)pzIwM(FJTlMoeukT35g-RU>iqvuctOHN@Rn@bMqzE>-G3-sV@T+Z zVDTMGS=RraE@NEaM|7k3lr35td%38+r@<^vHYH5#BpUkSeD!-!8KoEqs-9x8rT{x4 z!TkuzZZpl#M@J??t;gi`;Njv&o-|j8vt-XWp~X)Y_jatP@qYc^dfQVEKoP_@;4E$q z8lQ+_{=z_g#Cl(pJ;BMrs<x4#B{Acqp?;&`b>UT7y*lqpe&F#1TZxw)3%Vj?bA|0O zVL>^anvfl${=VrZg}2@9K*hmL)WK6knqJ(c`+vaPo}+VA<RJRMpvZx_crZVa@Zil^ zP-I5P9k1sMF(bA8+98k~7}{P&_biEp-A39+A8DD{=IgZ$?{jTTcr6%Z;zh=&5EK?2 zoeyvU+3vpLmRq!+JXrtpV%v@V@j98$d?E45n47kAW3j73sBL?3cAb<wg{yazJKseh z(bZSrx4dTsddQ4)Q1gdOWG%D6$v;%LtijjF**NX{A)^2593&%a4Wm<zm7MT-q4y6Z z(x+zz)lcikzYV}n%6yEsF5S$O2txO$xAUTG#<S`iSu>rQ^51Beq^Fg$d}}4IlT;Y< zyquDf75C=@YOMc0#=V~#>3{A)CS@SPx~1b2N^y%!LlPiwGS1QR*4AoBn<GVubs4l2 z^qDF(XdSBxz3fLj9lAvFW-s7vDQ!-!wHhMNav?VExu*hWL3A&8JzLI7NN#s;z{Q<I zR~#5CR&>7EePDDg{bm50{f9>p7k87UYc7aW8qV@_nLJ&8NN5<k>W=c2elsq_Xe*fU z!adhK^ldd+{9FccR=SU}&2;xsN{Tyf0nK~%p^E7(>fCr|H2@O%eQ5!JFCDMw8N@sl zs^=atGtQGq0|dcPUikY8ydZ^Ji$<QV>lbCSfGo68{dhdSGOKy-tDm-4NeBu9P4Rol z=Z^CfV}kYlU|A;ra6CNCf&Hp@dAHx;8X8u@k(vmi$>!$N7#@+sA1>NxZiZ{V#n8}M zCK<5}_yDAc3b6g|M{*=o7V2z4T0QwhHy2-nW3WN|c`8NpoIuHD1;00>`kOVKQ?SR- zvfsYdd4Ql`&MS^~Y=9j!Zc+q%h$Qs4Vu+-R=BDwG9XF|-WVP;uYM6J+&9U2Ifn2w` zqOQcHPQeuaKfMqDEGomJ70W>fD&#@~E~jMFJ!b#YKk|?qvjtcF?p2r7<HL8}__!&I zMELs5SW_imDXv_}_2R|Vf`EqPo3*XcN&bIJ-AklFX`&@~pG-UYbeAU|N!>{X)-wIY z-5Qt<Z)IGBF>W;NbeLwXGVJ=pUV_hIcj)yXhX3t4|Dlo7U;Y`(p8B{iy|SJwC){Wt z7+3L6znlatF6zjahJ-OZB+9U-x`5}QhDCn5fF@J>vtoNq$0asgJ;??5%+TIfK*wWb z${nYHBs`r4hW5!A!bXJ#Z_8@o6a>$?yx`c6?td9i6CEPK3zWFENf$_-k6gc|(2-Xw zJ{t6%tUS<h2p-Y^696!$ZNn{nJtyas_$nYEWBxxQQ53h}YI1z9GtH+yH3&EZicsi| zC4Z7RctK)lg5Q&5#k;&4Aio7p!*uhE!e6`+mKIT?1fQB<xG9ET+&RmU><O`~c!EWZ z{V7Y{y9`h?D}nHeL0aPc*cwYAmVIPnE;E-P!lF}x44zL8?!NI!pD$QE*;iQ8e1Y#6 z{AVkD4ealo1^^~jSX$xDyE@Uau{ANnUzLszYn^GCuZDov%bHmMM@yqSRzva_V(HIY zrDQ68iJFC8%>P%o@OU*_c~-_k+xUa9)O0>j7O9+UzBBWQgFAVBfB2;|?K{iEHm{G@ z1S2cfi-s!1n2SR1r5P|fSl<^&@BGgQAc3~@g(vOA4KlfVi8mX2d9sneG}&WgBf<Wh zsM*8NFz1SUpx8oP#s%(v4ECHivU-^DdRLzxa8=l!?k)OL3P0OFhH}O4N}uc2KTxId zYA5lWx_KUpvO_`t$0dMrxST(TTUxTKpEKY7{273<dM?YnE`NI?98&?&b`(G47m5ON zNod8&RXPHGb&oJbRtn%Zu2;itoZaeL#0v_0_E~}q0(DsecE7tz6aFq*I@8o|riA?r zHnFl$FnkhI9Yr!Az4>6W*!%N-{lheXAVev|`}8axm@`p4e7d;Gw1~~Dm!>|7G}E_7 z#WctqS$yG%liW!AnX1FN`BKzzXUZC`{%0kc0n08%&p<qVR`5a-Kz+s}jgW6gH>e-J zzUeP|cyD<Aa}R}AYc?oc1n5kIEjqG@6Jjsha`$w0fiEXzF4UsMyNZBE-&vC&@XHlV zeyY`s?5#$&G!LNPbIWbX6^?uHYyk#zI+UbjNXYtJsa>s0?$R}rC6-H`3V&UE&t@|C zztq#;A{h(LS<-JCvJ^E5mCKi6UwdiI<%W%b6_;OYSA+uMoqy}i%RpPpjnD0=so4=w zrBk%RS8|akQ|A*`8Y=8FPQMVR7I$09+u0lxPO+Yi?2n=PWWYqflnmiVrZ({i?>)0~ z7w9a64<$XFS)U4Ce}03r%UkRY)^E|FqxtcoPS3JhP;-Ct-QlOpf*avWp?>zHGgKJ9 z{fAmR7cGvABuPk3rG~OqTmAV8C)9GZ0&bSEIrVNv-v3WCI5`{FohX=ATGEUnRK5lQ zx=aD_?c(j&pv&J2of`ZM{MRtUpzVBG>x(Wur}IRX$$;P%W6VDlWCFc|wygq(K4VAD zfLTmH;P;A2buf=12JG~b1%-bLqV4`7Ggd&W=*4lK=#<8eH}MTPM{2^PK=W<;UNGep z>y7T^mlnD<fg+6tWWg7hWV1dGKg~nAl3;%Vy3~As){SVH*TAk-&sb($!AocUl8#4P zZ8sG#-xMhkc0bE3Zfle!`)j-+ovMAnkxT;Mzy_7<u07!N*4oC~_j+dJKAX+?abOz6 z<$N8+H&of#U;$(=AXYkF7f@};yaO#FRZA^ohxCl^!iT2w`dqGaV{7$Dyr5`D5qz8G zC!@<8+n#%%;cJbs!pI8&8=XXb`4;qEZ9VB{Y^1`Y^cbo3Z^vIZ$x6xp7Pd*K!$l*{ zu67*{Wj&UI&#sp>HqTWbiM8E1&VhUnd$QPDs4j>QBC;m;CcXzqBryeI03HE>fz^2~ ze80P@?@!<DKNA+h>kI`&Ju^Ny#;bp877u%7jUc@fId`SwdylIvi^ljy(2LtpsrNyI zPt@k{Fz-iroX>e~-ev9<7ruWqqc<MX^MaOrk|X7}*u;z9%PlbNFlu#u$Z$#<ufZEv zZY>{mNxb~kLI$cIs!=g&^&gR5x_kPt2^zZb=X;<?4qAQr2K=t`>XZll@pSU#E1YT< zi~K4hyzaX1_A$RdI-)iYH)$wp%GKxH_q+d*3u6Zy6#8j`99|Pb)jyk&A4c&#{dv;C zD{hR(sUCvU(g973Zy<Z0VI`ss3X1|xY8Pg2e?Kno5D;L|g7&flPW=)y(%0Vd?I$Ol zBo#un!IV>*k0dCjVWSG*+SfZ+oo0gE7PnFj0HH!6)JPyAtKgLWN;{d7!&C4^+{#8e zY5Qkqs;`D;Q^GcAJcih{l<}uO7(wiPyk2?Mj7WbSL300Vz{Kc%NAIf!B2TN2D>c6g z)nPAsq}^jvPvTjlQ_N46nc82I(fGGz&A?GYkKcfv_f{Rhr5$nBO!P7P;NWu|WMXH> z{4w%2n|@T>`{f67zctPTc^(GSr|F>yOUGSipt+0b*z^a}UWvA<MC`%exZ3jz@&SYL zR?*qBxuXE<0tKZ;D+?%*$Q60-RT0^um<0PRd2oeV>o;CzFpmKNtbGPP>lR4;$q5z( z{6pk@Cb{d<bHVwixq;YF<ST%>vcVQDhNKM9p9i)J3L?uGaRYswyIs0|A2m@?xB%Wi zzqPkMS||aKVV*~3_`=J;Y;EUSMV{MFI$o5S+Pb_^mA&PzP3bw*<kF6igyfnEvc#V= zDaFI<dP4DmJ+3qLd9|7Xa0ZfjT7CPjTT#x9Qh@foU)QQ?MvW`p#Li#s4!JH;3<Su{ zu0xmY=;_8^7V`m4mF``?Cbp|-=cs4WL^>5Bq=0Kx^-EOP<%{YA#&M3ud=O<9(w`8d zs=wabtcdSj`M$I3beEc{wZch7^Dzr(($9Grc+&#srBqr0_)u;FTHv$0Ki>G6sCvE9 z(4X@&H4kk15kOQhD7gDVz=>)=VKXrcI62n`7)6E^%SQ238RdbwG;0Y>+PUNR1zvcs z6g`xQ-pv2li%-(Q_-rM}se1)s4)7P{GHoSTLPGy|ud6<d-{uVz7i#f<g8~O=%4W#) z8A%{L3itVHcwwAm>h;=Z@`ELhU#lGT^r~~mt|OV7M-ylK%v+wQ3Q%|`*6V048$j2( zW)-2r3bzd9lx&4k0oSN@)6dS((p$r9NQ(FL;Nz~5ggja{PPH#GaQG>N9Skb!()^rH zSBPjxWu}Nt<5Zd7uJE2dnp9Jkdq^O*viSkmUC|H(BZT1|(2adc_-3K|I{Nr6G>r*x zplID}Ny!iZCmz;SD*T-Bw{1+UKeEs&Lr|vI3K4~8$5X&hpQmBLLeDaw$$_t;dh_^O zzPZhO#*><c;;o`un(|a0WJ2j$(Aj&11PK3qag)rRzPC@k#%Oxxg5AnX`Y}D3u#8fC z!C#yyl`$<t8>uOA#@~Wa*FCzw%)=DXUtFirse=X#fq#|jB~U~7a1;uyNW%PBd*`C! zy)qE@H*fWEP&eaTSKk*o>#y8Df?J#IKB^!#4-eNGDZCp(K#PRMwc{d!uR2sItd9)X zk%68dJ|Lm&XjXeuG}7XN1)1>pzE|fYWPg+tds;n_{uQcXyY)gegOhB$Cp*XTdg_p( zr<d+#39oMr`g9ed2@0^;9Y)RTqCKsZmf1|Zs*VU4D`rSU`#YftNLO!MwR4A<LGHX9 zUh9Pe76<OK?{Imhge_88+K-n<+GLz8=Q23$rQ<vM3A^Mv?^D?|4_pA*tr{$$gcG9@ z`I3M08>7ac?0I8*L&LUoy7v81LlNHPxe`^vU?7yi-Tc48XP(o?i|q*^1)=AHN`}zN zo{@0d&Lk%xv#06Q6L?+8(>7&#mlb`GWxR9Dq4jnzeZEY!Ab7(}D}9>Bn_U3>-Vra} z3r9H4;@Y>ucUc2kx+~a<_wwj&)d!SidH8{z@FIUYa5PnE?UF!1WT<dvW-}PegG=6D ziF(%N?#}r)vFDE`+=sKmm+JL;K#R*k%aJb~cbA};Btd5-=)Wk$<~P7Fix~Q%E|7Ka zNaXch1W8m>@J-kTh>m%fD(_*LzNcLjBXh_~X*)+h2;4#+?5(re9c9v7w%MD>Jv3xI zb1Jf_tme*GCelBnau_nKwj1OJF64PfSB4u^CE!F;nIjI+$$HTX+b(?Wj4JmPY^^q~ zFu@F%L>S9I0m~!$KHh54>(V01*t4pq?dc@(fa16wnLRC$!s*pk+ph2FyNzvNSfZd$ zXj#ecvg<VO{XO%;vPZaOHjozdFTEZ`mE&E?B|H0ZQ}(>S*l?j6MK$0lUTg{?s3;U> zIV6Ci8qg{Ar-?q5)v*5IdxT>Ap>^9Y`5P8da)^U#2!|J@aDwRsFuI%Od<nRrHL5RX zK`57|*jZ>Lix!?8&vh|IhCQLLVcMDC&}u?ePuy^&)i93%=X{+LWEMh-CRWQ-{J8yY z%Cw3_=iuvv<%!P4X|*^>H))br71aLXqe{1GzW=~o0D$$p7k3kWa(~WA(`m+z{kd;7 zrc-3&QinOZ+iS}x`E?=-Y3)K52*@_(GiLGs*coCK2>=27FW9J2esLWA$yXOz*vvu5 z8@w7iwQ-px&%f6!H-*<J=@Qt2KFAdmU}j;IJcNna7M{5bh1gfwh#VIDxlg~XN7-^I zItylLHWy(q=}6?;NgVhuLjv@93<z+lGX$uFePW7dZ0?#bt`dln#KqTIblDnGG}fK& z((wpe`9lf|qPATi^HEo?9A#hX{}M(yWvYBqh&+4g&I903WZq3-28U2NCRMHd?cHzs zL4Ndjx3{aNlna3Tzm{;lX&>DjQAAT!%_3wE_~6vP>qZ1#`b+jF#_JyyC+pWmMi6MJ zV#z)v6>Rvzw8w(w@fTwTt{y#BxgIFQg!d31c;<!wID<a7d<?>-L4>4ORY|4#$V7DZ zJFnk^;Wy1b*|#zFut+kOge-x>`+ALSINuyXtxGj;l}<UO<yIgcObQSiUc%}QfgyZJ z3{AuX<JTsQ?-qT)mRoYbLk_vk7MU%NctZKpZqZ7lx+ZL8jiU++3}bS4S|I8$U#9Vr zwwam~grT&0VyRk`B15q2yt=2|Oa#=P(XY<6hvwt0fZ5oGc0^5Z$!XAwhvxQ}EXD<5 zF($!=Cq(v_CJF=d_4{wyP{OWVO`tZ?D7=iY_YlbkYy^o_nW_@u7ZJYyVO=s&?J|B( zL<?`iFQ&uO5V_yM#7Q#LEj-f(dMYk9kWZ<1!}F~_KwBYQQBfitVTV=`C+1#mV78Tj z6~7#hDe?$IUs6D36i^L@{g;i|=IwO2D;VPopZeKAIee&3wd_x`8iZuMYRUCF`gR-S zq9tv&X*d&uIi|aOWd<gV?+rgHIKD#<_(SU%O>&U}_JG}d|IjDz#itheBU7v}2YdSf z5vwS-aEo@JM7A_)@X6+#O}Qa3XFk;l^+}*VJ`=W|orEx34TRV`XUM-~9u4v;^_=at z9Z3Eo(k4fsekIZSxd#oC?CYFBGWpNL-)pkKMwTL`D_v~}-*USVHhx8t)UA6AE%0S9 z(b3drf!3Xuf9t<irc75ZY+yZ7soy<iR{PTPb(DWCm|K#E8dll-BP&8j(i$>^)Sq@x zR#mT%vkzQeVam!e>>m^PGGOUp*Bu<#xP1HA$;1?^RB>(CbfuOoGjW{dz4sWHQ#TaT zQGf6z&A&Rhw|iSNDdyRD(q8udPY7;MbWA`EC(2L9uVJ)RG=S0wr&-<R=+|_dM6E~V zk18lscRx0JvauLSFRy5i^*e}&In8d{h&pjyO53>2z1De-6$_BR1((3Y@QMj%r=3fQ zuQwQBJgyTuvt;W)FN%SlCC?>{+pc3>!<Sq|K`BDc>GhfQ1!Xv&P|}tJYqD|VcfCz? z>W`v}Tic2B%4SOiiHgeC%t6#LMlc;nQ42!9dn?*#yWzB2atUS#jskh`LGN#e!%(qR zZ+E>x&8u4!3seCCVy(U6tiFqkyaOX)P`_p~<-Mr1-|V%;dgt^#H$3{&{uQK%?5g(% z$t(pPz{ek1f^Dj@K$5+WFcSy*RgTamnq`s|#^5lBZO<)@&qql&Q{q|(f8U7INU0pN zX!RucILf0WibW+Qd;0UY7f&~ngyI2~n?F_z97WBqHF9fo*#rIt7`*w8o1L~-k2Vl_ z651xy4>h*5a;^X%<|(#L8vkcX>B)LroOlaOX(ui3*kS|56@oTIe<_OG!)-s&l2@{4 zL&{lmZ*3<)V;V(&y-p9)k-#AQ4vUEbUh{w8<w_;WZIYR?<uyicZ}Uo$)7{K%0G29n zYKS44{-<Cmw4w(q5v#*o2HBUMSb3~1dE@i7X5@{y8RTNdU6>Yc8JxA*QQVH(u^uys zqP_!#;aoICvz#8E>%)Mnl2-1W_Ov&_5Iv2F3RJOVuJ7JkgCIc~XoY*+mWLg`-tL-d z%8~4?syYAMN1DwyaE9%vd}ypm2^d{rMn}|xSFv*k@X2h~q$!EDDm?mh3Vq|ia)PE3 zYJ}i~-CF%y4RlvNDG68{#MdW9_u*)xac?<Lyj-~$$<^nVttz|3pARP=79GK~4<Pxn z3x7~-4<wYCY7M{cYE<Xi*o!_5z~Mz3I$Cljp`ZonOmi-iXe2&PYpT$BH`{GP8j9*x zOpZS`%?+eqA+}Z7Fp5;gNL*&XT%(q-;W=2&mb4nF>n*v6>rD4sT^*HqppNX0I7X*{ z>Yp7HcbmX&_f?rkC`CDne0{K_ZHi*Xsnbn8`@3aWl&HXNL)77oj7~085VW#g(0mFV zh~wh!!|ehBmAuOY*o|w8ew`^^mR8=%lnDOzkz$^S)UcUj{oKBibQE3zpk04#+?0$f zb-k{{<r9>1Gz1pl%X^Z`KoX{;aX8LZfr6z6R&Q^b2oHP3J01gGn<oZxye+@G@A)$U zh<zV&tle4ogEgOAbjpo5uOf@}Q-rL}O{m^s;7oa^M$u0N?i~|y@K)MK&`fLxKyOFC zR*|pMWXEJxE~t&SP^Y~$PXL3u$ET@ZlBX$NAgb4m-nFYKT1aXgSEqV}YLz!h?@U)2 zou+OIQ<QjEl(-MnCrg1<xcUnh*4%1P(=zr%<xm=6-#Kj_xsL2zN3t}R!RqT5qMiQ{ zo}IaD-rWr7WwCdOAYpRf`_@*s(LI7SPq<mQ&$8O}ZwPLi<<zzIdwR#*Sh}BSZC^7M z(5xjNyjrtz0cr|CpiZ9`v!765JNEvChfso5qB_DZLfpH}t8E}?^Kiqn?BXzDSXNzr z6t0_I7WiXu=>pE~ijf!DD?mP&5I>4qXg9qo^VIQlw?VpEo7GrVj5MK{Gpn!AC+Dsf zw)U@KYfoVjS&3*NtC{_oc+NoDAk%ViN$7iK`w2Ou#Jm`Zx$J1W+v$~9M9VMBp&Kss zT5<Tx=K9JYjneGeiF?h$eE!g(_XS9dVf096ZXFM5Gpec8KclQ`=Nc|<=&>_i-{L%* zVdp!Dd__t1I{x*PYX{enHB@vf5tyY8Qj%g-P<YtjOGlO2_I~9@mEXZ$5_;X?+V@_d zy=eDuHO5!rAFsRx{kH4O?68~5|5Y+zpTWMf>_w4%c$lr7pF8tA@`rAo^G9}5uj&$) zx<y1&rWi$93}|Me&WMwh0HV({n^><8!bgRa^ku}3zPIYNQHj{r)`kBcdvE;~)fc`C z4<ewFl1hU#Qqmv|(p}Ob-O}BSbaxIll#<c{QbQ>)ba!_%FlY1mo^!7AH@w%&FZ{A+ z?X}l>*3;|0x7)3G!%4{Ccj^x=Nc2E@hRYb5?2b{m$V9$%1J7ZZ|F^zISy=8ghA3SZ z@@KN`P}$>6jt*9Ft0~iYL7uDiVr)VhfLzUcQO>Q~wf@s9fAWgN1FlK2OcJ9k&xuA` z+HO~AE<{y!Hf_}auwM>5A^C5J;SjrJDQukt0%<Qv(*sBY)8CPj(T93FAVpN}m1EBa z4qYvrHCZ54%E%aqtj(tR-a>1=A{23@KWSQ-pQf1>T8vA^7{z2MFSldexn<WWn_fq& z#5Lt)Ck+o6C&P0SE4#;e>YX9bc(6dhzE4*kcbKj%^WmSoxbS!}-k_QFChu2=emQ@a zyExM{k>B$0nZc=E%_g9`YBhj5OSQO44h!cLHUy!n`&v8~r~*@s-Mk%N#0##g?Frx5 zI3Tps>g_MRA4$L8ecvvrESkcm4j~p_7#vwmM*PN}X7&B-s&=<~-n1~}jUxr4gRkVr zF1Ifk^4@s*MkrZu|JiZ5@V&{DQEhnDee}1^^WR?AT*m|)E_TEVA@lvD!BXGCdr1Gu z6b7`zZs}1G{6%xceQ5NV{$rNbxQv(&dZh&zDM9k|w$nIs&bKI<!r|=V10zo>YnT!* zU<mNvKD7jtvYb1NrZ;VNxEWxCmub{>@KKQLI@)8Gh9qYx^xZy*V5<@}x6S%|I0x*6 z_u-anX?|9|yjd!V2Yjfa+GuJPZELX7W$450V2cib)NG26*zBMcZ_(tTmvcKKja{N+ z2pcv!uc=!Tl`dA!GLvw|8u5*2U&w`I?K!o)pqd8wKI2>2Yf;>$e4iR^BA_Fh?E~AN z#ztk2lh_dxhsk@w;SfP&^_-7@kw%e_uQIS(uKu2T{RU!asX=7UQxPU2d#v5R>r0dn zu{UPwL~9fw>MIlMN+mFO!VBmpM;~1jAN7uJ!8|@};4>mqZ@Ix%pG-F4#Wc&ty(3KT z7{COn&s;|3su-a0!cvBC#OI!{#)f`M)asCPP;xpi02N$Vv!DZ)-CU>cXgXroI(YO1 z^FXO8*74%Ga)|m#k5p2^H5_&}Sy{!h(tjd5edv0*6X;N-&`tyM_cHQ^AaOHT+q|@0 zas5Iew=-F5ux?MJi5}R)>x-cb-kZ@2zxg6VfO@vuaZ_*PbI112T=Va~o;<*w`Of@& zG5Ux8zi1q%C#uV4rI!cErM`J7&e!<|2VU-$a1B6-RH+v~<s-k)h^n`1N46$~cQYnL zex$eS^?+&m2VsO<<A*VD&v%{IzT@Q`q=9teQQ3s3Iajno&-y-RbwH0M;J-y9b49Qr z3ebA>xy$Ew_A<pjb8Ny7M0u#u%4l?RRj+(D*CoUTt=_#!x=r8q!sdG|9t-rz#a~57 z|44>LL35valVj30y@Ex%7nF<U-TqMotm)45%nOZ`RCqFF2eom_Qz#Juu;ttSUV?CN zIRFjw2_~_;p_6qBo3~5J)RRr-i6k_WAAWQ!dnEvIk%m7Mel76SnBzT(xmEi$ce)r4 z<=&hKXt0&;WM1ZX3~K0H{Ur9C*N*Y_^sAAF!}|d1b_q8e@vEm<mCOL$LFLPUru#FH zBe>sQ_I2)n#Q<;1VG-k$CL9;qlQ4byg^wHXs&a)jPdrZZwpG~bOwHisVirBH`)YBR z^0`rmOh=GnyYo6EFuUQ*(yJ}6Oc%n%65?OOL=bc1CbKEfa~=;kVN}O^qtZvXc3Q4} zY)u~+Jl88yG&OyqZ$ws69f(5W34yZ)j#&>GxCZQT3)@HD>vYSyD7Ha<lciF57u3bq zWdIa*tJcRiO3m)m?@5XT9-ZbEl#jwG`bt5y6z@bz+Jv<p_-jAVmuHoQnfMvw`IAe+ zgp)507Gg(mxX}YSve<C@NZ)qq@h)SRFR%;24w-?R*y7nj_#ALKM3?PhWBd0;jPiga zR`_(<o`xlWSOb*N2l%xkht2&F=WGu^X3n2#u5wNAaQ9r;Q~%Y6lax@y5IS$VRCi|V z@CoKkg1$7#*=KopTJ*AT3xPi9q~bMw^=Y_ZcqD{=L95^N3@dkQ8yvc+v#t@&LMr07 z#nPc_O>F&!D&?3Wk2)*>&rFbhxM2>@H+W@3u{GFe79U{FepxovdV(rG0CYaS;P1nD zeRQ~YwhuJfnN^Yc-+XJAf2Wj%ke#{U*Ly|F)Q+v0HU0hiId-`E4a&@#yLKEKAvd~R z>l=?a%Dl6Fjt`oc-ivU-GsbXh7O6d@_-zgEZzG?Q4Dha&!Tc}T+o++0M}Fots&s!k zHjV9I?0_N%oGG1cw~P64gHwQpui|E*4@U#x`JmmWeBb$sH$2ROa&iU;lLq_*sk$(U z;}f{~;T1Kkz>~OJrLHpR*Sq%u)C9kkydx~HbjblVNm|pP+x7{#^ImMYigxxhDfVkh z-z(uJOP0#fO~pmzM;_P&yu!_HRf6m$Sv}SZI+qSzF(&aGdtwvfuoGu$qmku+1CUDF z?TNXW;q~GFIZ$|<Pw_gCO%b00r=ZX|=zsZ&(UDqixD$?3`^5CiV`5?UX${bqpD>@= zy0~;NC)JP9hSQrarNp1b_Qc*fS~^LkPb3qCsCTD(PK9BPy^(?i85XwD|IL8aW3@kQ z{Xs9ZjVw0;Z<t?0s*3ZHHR?9fIh`H$E;O3tl5LD@Gp-9E!dpttfS<AK75EyphJ&Z@ z%t`b7w=u~)D%SE0W@FQ%njx_zPhH^2CHe~b?RY0}??v)GcYH98hPKiDS{w_2>@`AE z>PrDQt1sX}*T0W#uCp6oaBBg66vT-CKtD0sY}$b$Iip#&9%gk1SMEb=u=7h+t9=d; zldEt)kNPGzK;*zeQX!D)zL(9?hIYbOyu}WixE~u<azGh_fmAQSsXq@Z;pDXk!&ZLw ze0k!s$t=&Me0?yU<yqG>(Ai>?t0<U7D+(DI&hcA*o;&z$Y}H&v0spghIpaIItvPZe zJ5RyovtHrg)4c2EF%s?WuTt!FBZ2GE6-Yniu9OaOQ*o@z->7f1>!<pR$MY5f>Cwg! zM*wN6kjh|R+S>tJu1oUtga*F%B1W#YHzbOAO_!q~w|ed}l6P<1z5)ctr5Zh>_ZSCl zab1VfWz(7IkGxAbN`VQPBXt0ve!J3|P{1W>pg_h5glcR#f89CWt9P3UjteQh9r?5I zCsgej?NF8CCkJyFJj!nxg`Py*dgVuqdQezt)i#v|*L39ddo;}XU(F!~2iV7&eqCv; z4Rjj1f)KKY79Z`lyN`{$Z}L*j!}9MM%j;W8$0ZI54Q)b*LBP2ypYI<&`wMthasTxx z%vE{`a0opQvSK>$x)$S>v$_n(q=crj&*HnSdYhc+$@ja+>+o#3{d!n+>5UUpFn^8n z$tbu6{@`$y_zjAUHuX8{(W-Bu3U5Ukn@CeyQ#0+cMLwBDW$X5|w6j3+!QG0yVH0g8 zTg@74f1!}Y*D#so_jPA?#KG{*(j5#>jSR-m)bzpfrti52iwOD?e+0#iiTLVr_L%`5 zuhEbvxWcj#atmeArYsvZr{m1K|FtwLf@2-ca7-;efcGjK%Wj`&M#J}G{&sfwpT-rD z*;#~4;-;6oi+V|$2|E{hh8Qi>{Q%%fkNfpI9iDh<J$OIW=dcukSn^|;gJ-bsKJH(P zBRoE4<ErUvDSCA@ISmu2A`IXM7j%ahVaNG1I#!Mt?+%85tPOZ>2*rQh>SlcplaNV) zQNF*7l@MgSsW)?>Y3)|dTG2KRF&Msb0)7qT74}zk(y1Y_Of`v$?Rrwh(*h@Jr4Z?c zqWjgKJ8YTy!9Op%u6;hn7@e}}a;bMXcVmbb<Evgi_k%q`_dj^E&@hbv2oQ2aif!1` zg8p%*%!qbW(jOSua!X(@mGJlqV{9hzD5e`eLqpg0!fl{U`WgUj;oP!o9;@-3m%vfd z7KJ6PUN~!w-gPt_tRfl!#Blh&TB<PoI@!#m&s&U-Rw4EO0DYf2GXX%~D!}pb;bueY zDX+NUzH}&=(;F_ESXXHl6_IUHNM?zq$TKggwROE@9r^WCEFkTO%-h>mZ}xnZH-FPx zf-7X$;@rL72#@Ld&g<t0@7`7M2)o50f?Xqt$6x}d=FM#Pn_W(za%K3Z+CZyk&Y@&P z`52|^&{@tkPhxMEB~$2`-|?kQs{i>4kPEq}upEzW?PlcjIIX<(mzwPc-{!f5jC?HK zBIVmsA?qpU+-cjocyuUBA*k9Ik76@kzu=O`nL=o^*ocRe>Ar}bt4B8cT%AW4IX<Y} z;RDVpvx0se!F?-2vZh0Jlid%LyWI4=D;->}!`l0PZ`7v@|MBV;ytlJFn{?5A;fVsU zSpEwln=#Hvmj*m#QeJk>q_Ll$OH0k|?2roVLSx@xNqlWp=JLieLFnJ#^-P%Z%bs(% z+hdge8UFlLcg_Qr1JEx3?3XI#{F`d0I_F3LlIx4}g}Zw#RoHU*tS_PiBkMtKgi(Wf z9I|05>q_zEYajoQ^6NrTi{I;yj&)^R7X6bDYal_()Fx7I)Cc1TUitY5vDJo$r=9hk zBUcNcu*fop<qOQ3nj;rvmex~G-T($Z=3h;8g4O1yiAA7tuR(9usp{j?!V1({WySn9 zo`boCjlg^964zgi@~S`b4icE$;BNV5?o@w!MMdj-SR1b4-aV1GOe)6kkW?ms;-^%t z`yv%=8i}iW44Xbe#fFph0@);~OFD(`6Yzz6o$HU?+uK!A&6E{eOwQ9BSq5IPhm`Ld z6hBr2mq=7Ra)kEScH>eGqm4}M=t4=j{b>)g0H@?yl!M&f!iM;@wItvq#od<YuV~i| z-*vNOzP@GTP>g1#ujLU_k>yBDxh74|Xl7;No!+aL@66yio+twX6*v^G@hfza%PV*A z{gAR>hgXZD`svI%TO<W{umNLUD{ONWUn9MO@wmJq6ir&TMh{cU&JSD1_u-*@?0Vff zwo%R6Fq9`{<^>SHY&tlG(EQW(e>hnEqS~OM<(V>eb&{kuv7kIs*n}TZEAK*@rzQ4g zo(Zx<9j}(TP)qhOI+tC~8yw%V>-4sjOt>{MUw6NoA2TQ9U9<a2#I+7*()tRhc)3O- z^?=}-YQxQgK;%py^qsWZ)ILyY^ztG!EX<5n4c7K7d0)4UYGFo3py-+@V6$&0AX1Al zo}eiB+C7L2hUjRxD6o*!bmrW0@FjRWB9erK&Lk!mW4F^V5tfY2-+?6umjUE%ShUOX z58GiY)dvG07=Ryd>=z3{3A9fUTMvM(&coka&YAP;L;(3CpW&Z`5){A8PMo*C*M^?8 zMf%g>-im5)BOmwsqhQY8l$Et8?2g`a$|OIkYqVp(^Q7xD=ZTZ6+x-n6ho6!?z%OgM z?$0^O1bk0W$9hnp1M`wR_OE=*IQ`qHH@KgYpE)N72X(<8YPI0>%%$}2&iE_^su$Md z)lY=_fT~z@9c{KS$2H=a#qd3s&arf?mkA$Abf%fGO~8<f+MqVR)9&-NZ~E{F&F1Lq zzp%5XjAYoiJq62pkl-q(^=f^X`+EoLn7v~<x}VGClUy9<b7>};*w2HH7XircsN~F4 z(=06f99mAN&-m?lw5nc_N6gCvdAhmW)m4@a5ZL&Iv)CXBf_jL~?;p&*80L49%Ljn) z%5K*ryI}!M(yznRH(~&Btm!TFB2G_e-~3%XRB&P}K$LmFU+jx19QJgR<O=JCJP&ZM zZ#38^wtde$IEj6-)mmO;?vcIQdU?WkP{)(euBDdRhrsY=_iOkyq|&$5*$E$mlrm?< zr=ovx{;uXsPHI_}i<|dhGpFR61%MG%q&MUi(`t~+!f~i{j_jW^dW`vm`OKH~Qa*&* zlo*r4OEp;^`q}EL(K8jcv!W>w`TR|6+HrKA>q?H;WvnB%AAdW;&8Fh&hlIR<y)n58 z#T(fP-in&!t5>>hr#VLzc6vY2sg!|0yKRZn`<fWd+`I#;b>LfBu7++^;_CjA$tU$1 zq_;Xl(m-za80{pwIV)Tt4*-VF!wpk&s<6D0ORhZx+Jd63i39Al>bGKk0_;DjjOUGR zMIqLL*rh4#+e8aqZ*1WyneK(d`NBN`vcAyw;i_jUx3MoFCWcv<^7F_fcFO1K*9rxb zl0iO)g1Wy+e57iY7O~QfGCv=`r-H9g@p(>&)F7ZY8;|g4WFyLa)?V|zqu?(B6|lXr zRS-GVF>n*}HX7)GG9np*_D}{8MwMi3W+`rUowzDv506y2WBm!awITzQ*`0981^hmg zv1%z6qLi}nth(iMOvVe@dY=0L3feY$<)Oa}b^9~`TZC*PZ{Cu&%H;&S>m4t}R;iVg zCY}O)dj?R<2Lkk`Sgx{Kv4VOw2zM(rlqEfHBZlZVtd!^=U4#t?w7%E2N$=%Y@S7^? z>ikc$RYsiqQeiznYB~(*$zoA*9ztRj*Zut+9Iy8`HaIg;%dXIPj0@wLImOJ`sg{q0 z$4h$=oQwl1nCAS<>D_euSj&F(Z!J5Cn>$!%RU?4ilJmc@Tk7SNg)aR>zsP*oNuJVw zfe)^~L#@le0F2HXmaVSJiRf9qJGJ0Zg7xtwWgUT%sZf!H=vzJM&w^yfe2r{oyAr{Y zz2bm!_!uJC3NB@4OI(wSqYzxYJF>W%BF58iv{^$$emAS<68bjN*HCC%0OY`l7*gur zk_-=o{az)xZMkLDY+-&Bi&SxFO<X4b^l3)VeD=oayo`mXie0mVK{!*j<&_~xLE-M7 zOF2S<+V@pU$eEdAyM$Fm5t67lP&SoKG~DE|y5VqzoPe?2MQ~e7K+a%QO%owiDd596 zF+P>T=ln190CccCs^mwKOn{*mX$C87e(~G7kfeX8_S!tnZ$xK3qKx#Z_om9k^Y_#J zCN|E@zTaqD<iA)RH^(=Zf<JJI)Y4`v<so)wemAnjit=r$Gu~?OZJK^{+1=RfOu%$% zSO3PJ9~}=RlA0BFaj7NGJ<%+LkbTlbKAvpOJ3|Kh$&E<8X&cWWTBx&_rYf`zwBlQw z#7wL)>#MjDc!bI=g^XOwjmRdKJu2!Zy?M(N)d3ZKnNyqwS4uvN&P&cEufaRiLSa=J zTJ(!vL^)owQW5&flPNt-q_j&`6!zQVxO2t1C1huZ2uH~%%$zSCjNRo{$<QfBlPMAO zAaB{JdOZHfQSFP!{{+ycIK5<&+Na894Iq2n`OIHnA#-{`m3O9K!jf86PuB8a8%M3m z?~U~4mf>3<N_}oGi+!-@Z2+J#vU}TDJ|)C)3$j+jJtkWA-3kPP^~4)!)U~sNd>gi& zy(jQRyUfGL5=_nvOTPnOeS`P(>si01G>Dbk8_Fe)oFzbNXuuam&_M|Wq&KxbP>ZlZ zMqAG1l;9MSv$WPzze_KSRWDtslE)`i4|f93a`27`?6m$%<<dFm5&;><So0b`Ti2A2 zbIdL8o=?P4B@>F-QFF~YIa*SFtX6(qh{(L6cyK2cm?H{TrF;Svw2ECKUknSm+wML> z5R?gcaDOCIJc`&vw5yj4&(6>pKbG1=2Kr!j#!XkfF=fjcUcjrS^;K3KfBtSmVYZjK z4XrxW!o0L;Eh+6gB(*v%MPD-q!|)8csaW;n1A$gWnTs&#mSAxSncQq0P?}IB%f#Wb zognmJZAf1YB!&-66dvFf8%^n7zzoW{F}_K{upb9mmbo3zVFsr_7$;$gn7Nk?SmsqB zX3IS2J?}|6IToAa9hL4od1nON{IiO>irg24!#jhhJH_YtlShjRiXIuP-BwGZEr4Ws zmojj*sN<i8CFFWCoh^WJJCzLS;03o3H}pl;`I5JCS*)JTSN4-{bGqeL5eYSw4+`Cr z-n8wwW)iG+ot+tFI$sp_Ia*0!=jbJp#e`7nlAQ6CJr99H>!r_W`tOS`a&cj~E2v*9 zbN?3MXr$q9_s;ujp$Kc|1;qWSQW;<Kole*(CY=+hUdlkjsRgbdg5N#?DRKP8U^uf< zt{07zTrO>jtF0*ga@SV%(;cJbobsSRtEb75F_Q!pN?tj8+k%6A{linG+$tbp0m$X4 zwYQ`jMWbXf$|>5^0+c9L=M&yt%oRyxcL46&bJSDrSsUXJ%Ldj?6p!OSC+N|VF!7a> z`kwgcWkOAh`YCl0STAw5t84!a{c7CF7QcN14ycJJOYXu0=tzp2ziU>(qoKWH#c%j% z>F~;tI_HXHga}7e1`p^AaeJoQhDPD98~4su7QWM8Z^MOPub!woZ@iEJ60=%2>7xNT z>J<MLe*a}v-?oj#BS_m3{2?N;Ic-?ZKcb-UXRobf65t+ng{YJ8%hM%VA5+t6Z4q96 zos^5KIrXw4|D&O;{})vdt!3?hvVLDG6WPoib;|hz69>&aPh)exYH6mDEK3(oc?Xc> zWBFih1BHZFt6JN=7F=9c*eAn}=uy>tMU&5S#}v6G+Hl4}z-qq)bQb;0iJ7c{G3e!4 zjdM7s>rtuu8wMaSv7SEPF8*SX{JskzrKx^;y6dN*)+y8XIy#|AT`OAE!2W~rBR#y? zN%M2tucOOwY=CZNZ*eFKQmFCZXwAKMZWE#!p4L_=eXV5oQY6PnUS)C$*Tb#h4X?uL z<(1!UwTEI~xY5w}V<pUFWig8(sSHeXS_zsQjn9oX-EaP>WzpCL_-lrLx7^VBdSb*1 zeZddh9&jQCaQrBQZ}jgABnR<<cDFpKs#KGEtg}rKyG;5YNN+yc+4~D~25rr`a-3M@ za}gJIv65`QTAI)rdWf`vugV%wL8{}6cn&|0xM%^SkF3{D?QEMd#|+TaGUmPlCK@>- zrZL~LoHAWLzk^|c8B50mE%lps!fYeowR0$@waf(9ifAH_g1%Z57dt{y&0wC1fbzWW z?koZrgcv-7uE>fXqDlWFFv%wR8(M=_)p0(Fzxd@am<`BqOTJkZqK|n->%wnTsHwrt z;k!g%^rdIIYx+63r_;{E_iH3TzCiew@%7`YGy~(2%J&X)+ed;o@K)j3R&z=LSgw&d zPqQg0<ZtwwXBza|+uzaBM>hBY@^etgP-oh4_RV0;EVet29S`FO*>sDo1zb-<+PTb4 zLfr@No%f#utcKl)A)-$>G=-&gQg5lAZsii^`xBsOqlaL3#98GTcNN-;(a|X5lOX$3 z?;?7_c>usK^Wj_5Uy{Xf1!aRCDlbZx-`3#Q01ik}?)-rF1{Zp_bu^6b^0ZXoGJYGq z4D6TbFVg-;`Lxx^?vlRdFoJ>-N|?D=mtcf{OHo{cBuD=0<XS|n!)9%{dMl<~5%5O< zH!%#TI)np0qY?dE3=76$c(izMdU?;==vp7udQkumVnuN<+_-s&Z;pSwixKs;8W2Y+ zt>OvwnCGiGe_xWM-~-Y*GIVQaw4&`VX~8ju)PlFT1%-oDC(DS?JsNT@F1_agnImI% zGbajFoBaI#opd$bY{yW?Z~eS&{EwYL87U}w3{~R>NP`)alM$p0u_Zcfc4dGk{%KBC z<EF)YTGG?1n&j##&6OLM_p_iZ%iU;){O~1d+#ho5^?$J$WZ2$nP$-#)rp$0mfKho{ zgM(0*c^8%XIo$YLsUZC%HeHvPhm?rZE1+|UR0KKiSi`k{QyenUug|N0Cx%b*dJdNy zj`1R+Mk(V=N&TN?lI*$2ZaTZeKHbeR;w8+>LiR_GznUS%5V8Zy#Fj0YD5DY2KiA5f zCB#0w^E}r*FGqzmx74k8cHK|UXc1REPfcDzLcWuff(=R-RK%P2B^n$7Nxj*Ya|e1u zn{F{|OI5@vLY?>)eC#v6y0Z@*)HCRg%c>S`2q$i&ZrZB$0F8P4(uEM_(O>w*kP6a= z<8cHd?Qn6aKzj<-)dt&5gQYj_v+af5^YN<Kp7r)GFVA_g6@V^u?f@Bj<5EP#FL`Fz z@E?u-ywkj@i3C_%S^Y26;=TQ2USpP9rMdh`pX5MD?v}+Q?NF|6B6zbCZV|mF7C$&} z192cqAwI(|`d8MH%zpBx<rdSLfNjGMP_E8znx&E#7$t3OiogoV#6?&q*KA2;tEE88 z7kN4dV#57P>l=G?^Wo(d(r%l(i{`xScaoh%9d5V_^#|OV?5Sr{B-lAXVM2Y|uY3B= z?Q&zcWRLk1teB7SbaUdqQx!oH6lS-jJyBsqT9l(SlF6IF3?<Z!mT85W&K9pnC16%3 zsj0SP+!K}LR~oY<1}y-YZYNyLoPqh?y_Wd!JVM)p6<@{UAki!B8P<?_=9B#4K<ThC zb(?8|akrMwzOX;u<JPM^*fgI~BO&|jweCG(r`l47=EA&U{&p@m<%iez-=k=mB}lk< zw*SYM>5d}XJ?`2HP?N|NeSlQ?K6-x1X6^L}%no9s+#rQklKpH|F%U_zT4s*0?M`p| zt;=^|^Usa-x#{%vno1(093fB>I9=MDmx85nw-;Oexa*~#WI<{uUlP^C=1NR7eQSse z0MhH8k5ONrOrw0hhgab0T^s+I3#1n30cus*J?Zys3STe0RclZFEFjQB+PQMI&Z3cR zj70u;|FzCI(-$~)%qp7H?|#k}HTK5DzwM;`)a;+Rn7JQ((xYd`pmdMf*dWac%T}Kp zi;?yeuuu{JFVx=?#nv~*S&{_J8M4x_?IQChR%r@3;#H{%8TqGuHjPs_1mAIHWn}5* z@V;)w=j8mLo|<H;+O)D=vt1EA%iR+YGb+xY2%&LG0}>7~o;I@*2w8a&2f}Ne_!oAV zSz+UKrNk-{h2x_=6lE=ym3=p7;Qt`fAHvHsPaGixa+u9Yqm<?TsA^X+49%~5R>}Wk z>vgUsx&8CkUU-D9Ldp2gMT=Nr#6pyvZmTVZ(bw8ktMf*z;P&<Bs<7^u_Toj#WL7`# z-JVNB(&XBM0^X5Ye!{4!YNsn&<Z81%y^M)*meSkiRtss7GZ7$W>5ZsIbRVC#lu`2* zM(f^Um{#Y89hiSo(`}bXe(m%EPz(5ObWMruYklfo2ij`p3v^6`G;-g*TFzU}CVf^l zFjH%<)k{pIC8Mp#FY7J8Ja4>8)va^8{rtiq#Rtt##p+Z?p!{V!5H)_zLZ0H@NtB;I z);9RIItP;zR?-{-*u1J?gvk(pRPxa^w0MX_k-jO(0ZDblhyR$tvZZH9PHGH{yNsi& zt6ui<M#d>`50O5qmKU_JoBM&Tu8ble>XbO`_I9w6-Ld6C@0lYlYo+GTBLgaW-tzm2 zwOo(e*3Kv*Qq=+ksWtfu4_y9zQkgomSptJ}QzW@LuRl;ZuQZ4Kh2B`JX9g9;x;-ie z8v@kqO&@<;3P?gd3->D9KO}^=tT|YEe3qQOy3w6D;m}E4y<L&8Tac*cXaB!!%7*|- zrG~0&ah@zJg`m)u3jCdmlt+ucOd64wuoK(a;4=L1XZR>Mhw!62*4GW`b=X%Ja|<Hz zMwRo%MTZ(P8X#2RxfW(-GO0b__&aQxKK1ufW{uLu&^nE#b~3Su@W=ua(}Vs=yH!7O zc=0AG_WaGKzdvF)G;5pDO*Ry7aP4ZgO1OTyOurM791%Ye%Hrv^k#x25AbEH{bl|@< zu!v9i(N;asQo^;+3s>gW#i_wp?~Jw0s*`|Q8~P=@seDu_I$j7!;@Bk*v2}NrCP&Ew z=qjdeZ7QzC43WDfk<_)S(0y#XiVm-z6iGH(ezo^5*$RVgm?XK)tPnz7R4xFi!cA_( zG5RNvhmM8$STvdMN-TG|Pg9Gwl6<7usM?Q?!FA0#`AZB`j^0y~pnZs7D%3&u!~IuI z&IOHU9RaH75TY?yU>=p{Wy`P^igfWqu(DAx*E<r$&5Fjzv*Yx(X&KWiB8C<xDC3O} zk1~N-NcK|<5tIXMlZ%L?Xl^w>68vOn9^UvMJ^5ZCqp5+UV8d8d$}J$k%E#tbf_aEJ z8XyyDS~cHSiGjNgQ7kb)3C%wutdzyAg31KeTQU-Q3oD!Vn0wo#e||2%4UywZPX~!{ zQUT?J0)mNWMLhm`uFXu(#388#h`4Dt#TBA_*!WYc;7nW1q-|}lzTFWCpY8fHX+&Qi zR-)BT3L8Zvo+kRiw?5vJ;|ajhSVA!n-q~csAK&f$=P?2d%;~NXIGz~z4U0e7YZHC4 zPI*-;HV>yeZ*w`WF!0BiSq2P`tI3VBYh8v-GZF$-M%14&PhU*wj;Zim(E&)XbkkDp zHzv`xK=V0OTGg@P#QjjZ(CT1P^htgkdX$_zk!yH^-$~N=8I;+l?P^-?`?-sP7bhE= zu4`!1{)cr7?Y-<>WJ8(oNFDN*T`u}{uPID^JL<n}b0E~G>(#2sw?J$1e}R4T9w02{ zLPBdiGn#FhZ;TQUR{|hbxO%b7H(r~^hOH^feOHH2iPF?c%$svE8%M04I{=lFf@@ao z<m;d~eLt#zdu>H4%BlAx=a|o7-lo(d&&EnpD*R^efkMz}?oVCZE!$Ng-c0?<z6khF zh8B#2;iibfw4`l7&dUZv?etsI4>z~0&pjBdo!Mn&^8)Kf>I%&Z%>A_JDp&*2{b&_( z8;v?V+*gFMZp4uXIN;}}c|aPfJt)k<r@>j{5M9>cd0u(N%5r}}Sufwg(8-+-j_^H# zYVU;=0N6cFDwy1yreWBLe)VWoIQZH-au9zM%TD?ArI+uIyMH!}Lw&<ZF@1t7O*aZ$ z@6alB?!I}=_Ez|MIACZvU~m+F;5;S&savAp*)K}7D5vV0nvtB<iEEa|Uwgb_IOB1T zG*Z1%b^$A_e7mI1$XT+8^NNW!Z7X&ioqE#g(TgAP;P9qsR3W}hZJ40aV&z0}zp&8h z^p$TvL3)Oj3{bdKt|z~Z965*A2G1kn(r3Of91<#GeL>LG-YUH)%_RFsbwL7j`_j&w zwtan(hPT>d^Jem<t+-Kt=eIYKTbFh$eK=>>k9Rs)Rg$&ly*KJU)e4{9P!PFGT1j1b z9k<gnE$i}ZX^Jy>cXjoN6hs=8T|qO=)-}V`-spyW9P%EQgz1P>>u@e@n&3D)Cjra~ zd+N{+3EO%kN~@Lfl{YLmeL#v`hlMs+jQhlm;?k4g-Pw5?h6r2ITUkWDF$rE)Z;1iq z_Sr^+^GS!#dp_%lzvev?w}GjPPn^@h4Y1V{utG>?l^E=W5#pusnaYc1?Ao3T$iy(! z#(OB+OQ`{v<#L%`#N-8%M{nqBxmGcC<{Qxs?M%a<5n0P+iD+2Hfn{~cKCd*;h<%TB zB$9%g`COB^;+TsSNb$Ry&Xts(H(>$0J=cnN!vH<UUKtb2!l6M@Rnc=OcM4VfXe~4c z`ZQ3`fCTQF@^66YVxK@X4`dsvFu&L-{zlf*ZGb&LwdH<kiC?C*uPO`bt<#c}Qo(s9 z>*k(|I3I0elBUd<T{LyOzCN@tU*6UM%hw9t4-b3W`dZAs<5gVTjam=YhG8Ay?cGD* zCD$Lye+?M#@-xPEe(eUgTx5o)4g_b*+~QVMLk4&b59?X^ou!_=x*~G=ZtdE+0#2Cr zY;PN-$YNI_O<CLAS@`Fg!`cj)J{coX-`<CM?2khu+ByXew=<0!p<|v?Ta7WCuG*MM z@-GNjMY7*BO>|0lD({%7qy6eszbqgvGD_;VkZoYyFq0Q{L!bw2hy}iSyP7CZP6~Fq zjQDnm{F3ude$*kbMKI0qe1-IOmd?p5!(V>YJ==<2Gag;T{GQ&kXd5vVBKy;EkT(vh zRuEE^#cISDw;fY`=t33fQO_!*?vDHy-O2R*ZDTG)%%>W1kMW=;#aEPetArw^A(@#k z_bV#s6jo&pWL|oE8SK@&?WSOd7W1|L4v9>RXa2c}zref?jkPGex1Y5+@MRm6=&p`n zl%jVq^eHiXfrPtFTe6eh1`xsEm&P-y<cohQzg+|qz%&VHHx$Bq2lYQwntUVNE$_wk zHQWCSg`zkrYr+WXB#(^k@jo)*8kl9un%p(HdC4#FO6Am;KR2v0+d|(HSz+5IVEL<k zhx7sUmBxS!OcRg7&t!j36+De@(SG;xMw7E>ZQAsFa9qJOA*p>#jH%q0tw9V;59RFd zSWJ)wjO6%gfRdWd&@S`TOB#FOExTJsZublL_krV$zOqG*_YN+L`t2cAgUF^B_+{}w zFTUjMy(QqZi^4D|@l5Paj1txy%l>=OrI%0y<`0dWYM#9*tNhEWz-d)0UQm-|{z<)3 zz@T;tS?Jq#i!zTrS*~Eq(UIwhKs*(BLlNmHGo;mNjN{tdFz5}XLB42cbZMy~BtzAa zTvY=bD(jWk>7uF4%dcgi=~&lpHKal}bw1t4-Be8N>h{6mTyLtu3GPhCj9nRwEo}P3 ziY`SX$yafLnZIehRj|zWv%Tu#1)JYPfd~4c!d2AB6=SnhL+O=BIqR;0ASeh6g(;vw zTRKz7`RnUhmsB5<PLuJKf7$%YcfU%kyUh|lgH`-u(G}<7*pA#kPc@h1d?PZ_JW*r} z#^yDqyc~In$vv{6<`Q7#dHSrsP|8!v)#6a|0wm1#Xczwh0oAN&Q~m3I;Ui?h1$u#B z2AcodL|0*<wXpcp@$j3Q_N?q5wSc#~sX9s8T4QAlu4v$YHuh5_be9$9ta?A<UgDYW zO`>?F)<P8C=u-)F)hG7VzAujWl<`Ae;R1;>$6aCqUb7Kn5Fm*4*t-$#$=tLDtKYN# zcn9C6ro#q3Ltzr7w{O3Mvv70LDQu?;iFd?r%fIs7^BG4T7xrLYvk}e2R|<B%9_Z+a zZd885%-i~j{6cagutX-uJX5xAchF&PtzM8GiL7?yz;cm`%faQaZFj=%V)jZFi%waE z#?9quXYTtMbWfPe3N!-<Uch2m2KVV<CL~IZQKKI^4fR(b{s^haS|~sROJ&5xf2+1N zjLJIm#U9Bls=3JEV@*@=-my@-^_>n8bMM~jT_&}k8!VX2C}|*p|4{s?3hdOx6|492 zI>Vc5!X#fWLsdIR`_uLjIy6v@XyB{Am}+IL8A8q(xmPmEGM!VhK^DAY**_XvAZtOE z@99M3kFMHc<;u}Z3?F_k5*d259y1nPXwJx&3h~J^-lfPEKf5i}n@|v371r0!pvT^B zRi#hY>KkAkVS!Za7`fEc*b}eJ3@eBjSk#bZXmcU_l8^%ypWdt3D72WmW_{GJrxzE` zc9fAg-t@5xd){ye+*TdoY@R1{?Q0CJN9#}jHGg5PeNUF!E(vX?$k5nR*%QorFZ_<t zx%;YahuCvw^UznTzAvgwawLJcCPZKC*to^!Z;svJVb9s8X+!^k^b#IkOprmBE*vCm zz;*cet~SLr*e5zs*vNvK)`aEp2-4=%MSgE?W>B2mqT8*{yN`Ts(zrIyGh21(J`C^F zN?IH(Pa7G%Rm*$mcN)0spyrlU8|0%>-qVHW8S6GT`}SyGku3k+?S#cC%8&8=qu!Ub za=W_|=~v~?_%*u(oyKA)-%kid7D#fkIpq|xnZGi7=pO};Rzbg!0eN=J6gVuvE%))u z`|*`#@IYoGVzx7DVST90(CJdbf?=rn%qJpCHo~p^xi0vPM+&SI{drk?vLI;h&1_=3 zoW>Y_8SzB$rH!W(wHCqLh2$oCN-^Qkn3YJ<UhL(cE4JKiSLgm{t0<dTJrT7sQ3I2@ zhjpQT)?eu8grJ*nJvi`wp`x#=XWNEMrfWmssGAvZSNyZb0r?uw9a%=DeHsN*N64m( z*qxc$-h9+#@zJN{1fK-kK!ff{A}KuRb&>b-y|k1*qFPa&N%=%I+d5cA$2s=rmG4hi zE3==2UE3Fj_xnvVA1e_%x9){}C=u9zj6b)u&LpoY&s14_Z9~E&wKtLoy=kap>$vOk zEoN^YQM+gh$-R#ex0w9%=zVlr6Z4%pjw{ms{)?(kHGXPmV{*;f1?Smvm>B}FeVoVl z8>bFf9J>nc{>dJu_Ns@<*KgIEW;Z~TSigF)<DYw}V43}+*qHzLO*=Eu_q!3Ba?3H5 zj(SS5AJuBEJ&)bx0?Xs!k4cFO?WnoVW9t@b1Ie(v&)e+f=xdA$?qWvVZI0hZIu+fF z3IFK9&kkoR(^<#J4DLf@kwk;?MNwo5%cno`$tGmdhKhZu=Ax|=Z8x2JC}kjMQO)dG zP?*~<e&$M|Py_Xg<T7l`5FS5Q8%*#u@?75Kw}?w(F+%*Lk@xBx3Lq%kk2u`Dw1L@0 z?%-j71SJAr#hY&DdP^@a_@X|lFy8$P@md-*Oo@JWSy(|BJ&a{0YYdT7WKzHI3nYGz zXgu5jr0Ts#-=CLw@z1!ajWV1MMyjSU`8JPt9I)agcY=Z8&bM+Vv;ZsSRoH0!$EOrL zzE$}Rn(TemvXP1A0L3!vOb+a2JUC!ZO}VVcPjdGGqzQ>GjdgD}mS7{My8T%%qv%<I zD9R2{bWO2=SSaw(%el0LyzK0rOv={GsP^3XTH)WReL3JM>&lTvXNp5RKg+LU4cnqk z>HOTD?}W{pQ>!&AS-M3C%T46nTGCd)0wrPq8Wy{?8M3xqXQA{l!B#-NJHK*#!Y<A5 z;mfICxEVq^(;1BW_P`v;EwLiG#jWOH5;{d|k!$Q!Zu*YH==KUt|8Hm6l`5cD$b+5{ z<P+@#(!e;GkCrSQh)0K~Wvwgj6}~AppFL6m-ppTL)AD{=j8>fhRx-J$J+O@L_}Ing zcFIqGoXc50aJjoI#=N7SHkLIBFbsGaYu8M`##|wNl*9Wu-U#omXoi5R*b?moIb4xJ zuwGoe-IO7~J*v-CXYY2ZIHk$XzHFi2G}v4=*`y!%MuT|4$BqU-&$ferZv;&aXWqCe zYD$?!dsc?9HP0@Y>7)WjKd`Q<?LbqmJWmEvbB__=Kvk~cpYH^#sFG*$zgau%M=d@+ zoByMcp{F5eKKAc=?}!=ncSt4w+4F(yw|Ip9Ct4dr<87jiVEwL0GaWCSA$!H<t-$qC zLsvxSd$UEV)kk|mN@LVSwN4TqxI9Z%YOZJ0;ANPWdG6yW+DB@47dy)1FCbGUKoKFS z|Br*f;qHuvX+kZu>-)!-?v}N~sS7Dh$@?T0M@Ly6ses-SO{T>7jP^nXIC>O|Z8upx ziq-V&c*~3S(&2yy*n0GP&^7QF87toEX_k|1B+NXM8k+iVi)22(f`MbHr@p_`|8Q84 zXKH5ANgcX7o49wz#4P$Og_(J>&C_c0n1?l&>+eS5rf1ec%_adXr{Ovsg^~9=s%Qyd zHgLW<L+EM}#V<9YP8t6spLo70H9Y^l(dK)tUylFqsoT(K_tgijM(WF+_Z4FRuz-eP z{TDGaaqXDIq_*pf-8P^&PBGnS`8Yv`2|@~eMnEa0F_x*a{L|46Y2K$egk+)8U%gbw zWutid;{{l1s$FuAJqdNkE;vPvH|?<0(AGd#$JXi8GVSp0DsDb}E2cV!*SE#4)e7|D zLnWYVf>_%iZr}1$mTflQRideTwv3xf7a29w){Z7@dDdQD&25!q*__fZKm3fH(JT-y z&@Mi_eAt6GAuDxUE8-!GMggA~-(8~b>mO*Q<F5i%`cQsknS`nSi5B(MWNyK79e=HB zg+skhMMGJ-uhh}Zt(WRckc`-qn(N*g&Ysj)=PsC`6E^5bUH-6JozEAlQM6pQ$fz`p zH?MB^W12i>4WF_BIKeW=brp0Aot}q%3BwoaFL{9jq0psD2Z^=YENCv;UjAsVpg#E# z3B>pcklf64-s9}X%(n#7cnz5EwghQI9|hyDHWWMJ-)W?4Yk1EFB(}sU5QEf60nN^( zZlKv*;?)=8JQJHs8M;?ThZ%2gSQp6*W@i~;uGX`10>#q-f&nhi%qSHR^qvCa**0EA zJa7YIy6M|(tL%M`Ob+WTJ2D0iG*>XNLou_BBXt%EZ4*nRZ~KO)<>lhSP-UdN9>+cL ztw=I?y&i`XlJ*4_xIo}{fDpg^a&<761svKN#@W|GhyNacai!RW2)>_c1HshT5R2al zauP}aR~RsIu*O(6T+3CncbBI(3NY1Rq@c)Mf7AKpJrOs*e*r&T+0x&GOhHehTDrl& z^iv%KLb{n=v=HnZ8qsgI##_4-HJhu=CR@{c)l7i1`1Z+L3<G>M(u!(GdTVoV7_<oy zlNj}D40J(kzV_rvdo1m=>|<r?H^DZLD0=|wG4So&zH&xIUDJ`a_bUqS6tENI*Z+?j z{96!EAa8+f0P#UA6upW8zYKqCrX080sSY&QD|yU0;mON2f{<I9K~c`&0-5pwv;C2i z`8J9CaOMZkFpm-ADk?8}{I|pZ@jrne<UjvYC<Y%CfDDX!urZ}K7B@MZ{mo>5YCz@X zHk8mg7bNq-kI($PY@u+@$~#TyEK>Fv$OrZ5>G3@KOt>+yWGFlnX|(!)R`$_*{jQa( zsjT|z@AQ^wMJ&)4dIlAweEB*HjW(Llz0Zy1YTZqX??sz@B^A<y9BPD|ME}7<fsgtj z|Mc9vwYk<Xf)e*_!FE~l57@}FgICgK?sa657$al`dP3$3NwG+vmXK!zppWJEiyKvd z8?Hb7>FV3py9zLSq`*N)26>u$-#@_1Rlg%zZdw8ZPon@cz4_2&y|xDgSj&+KzJ(g^ z#xl8n@7qrNY5Ui(?j$|kkWLB;c$z3BE1*z>IsZov#}dB9WQAhXN6zM68Sa;;dYV{M zaPfmcMu5PIE?nsD{=aev8SzE^5RlvHvP75#Xo6gk^OIWX3wQ|#<Ol@RpqHH9R~sY1 zbm3ftk(=@!omrt=S1!YiaYHN+A%{E;*W)Zwkm$nG$lW7A_{v*R!K6f=rJRcMfHN^> z{Z+UEk$!7L!fyU}4lGtY`_o*lAQnoNcPmu`s^i(+lKTtq!9S`beHOPGF?*b)rx&YQ z-O@jTM8$yv9svH|VhA{(^=1rs+VZcQjZ4T=<y`z|h{+Q4G<bbGPchSxi9m@@vUL%` z@7!_es0a%gqW&pUFew;AhuL*aQL-}wMA^_ldY0czUqOH0Jxw;Q#cXOL1qhCz5eKhc z8adbDh}vY_2Hj!b0MDYx113FR8j$M%LsbLr(^c%HsOYa*HOb$KvO+;SU)D(8k$KIP zwKONuPxmU2gYx_TdlWD{%|+&0AtXgS*eO7O!w}{*Epos>v_Swf;6K?A$mRlx);uk0 z`_Wbg-jtTMran$gZ!GQC1*Ib^1!fZtrl&=%Ldd#SC=i13r=JG>{mXL-j2O=4w|YOX z!AOO=L9^VimTlN*4I`1pdZYI}&<2F_=4nw?E*3JmIhnWoaU!F?Z0#m?Cx418ZB<(s zzM2Abp-n}cFrqmk3l;PN6*yWrGOnFjZ4KsqA^UR!<VwTt@~@J*=|OnBsz4+MxSqhJ zS8U_c=b#rfPY+u<SI|{g=W?vR7bJejOxFIaHNjTGn{hC49<`@5%F@v^Yl;MV_7d0t zaL6og_T$At#!#%u);W#O@`yOEt$9ga^?Jjtr_}i|FFz<i6mSVaj6IE|^MF(h-+S2X zvwzKGEO)zpyAyJR>u90peg6Xx?`et;CFLWE$e`yGuQWh1{O*evhsqEO4TZXQ397il zJLcZmECegn+TCh!k=g61w(7ANj{6Ycs5_&^cz=l*L;`^^dZQfynVVy6-YQ5U_;+0V z){S$pn_|fL+^<}bVrjvcCBxmM7xi4SbV}soPyZ{!S^Cdlr36H^n&CRpu=-$apZR^i zcdWs;v|P-t4G>5T>uDzFy}i@sF?Y}ek@zjwT1=<J$fBC$#{!d{xy}Wz{ad|-WL~x< zKijJx1x65>?|uxcs`fm_K=eS;Gy|Xa?VGf7QwM>{(Vtc;<-A7!hx_tD<!;nuFRppB z&N5H!$h4I3?T=5dCPIb@taVc7ZZ<ZKKSLpjC*SRPu!hkKqpFwc%8po)kU%n?Py5bd z-~tOunAN&EmQ{_E^`w^W^LMI0oUd~z^XUiU?j=bp&ofVoT*r-PZ<v4djx_P{T$*X= zr9%bDkUago%D`&`c{yHU@z_*w0o>B3Uk7hC6R`#28tx3Rm4Vu=gqn3KSF51qr3Ak{ z0w~EoSe<ROED?vGfZ{ct1~}BzV%@1*E|^V|KQ9Ga24pQ38);~3!lCu8;IJI_fIEyg z)K%>{AyOoRS`Lo#57J5tm{mZ0DgSuiIndb3`tmhhb>wV<(INlV<097RGmwny)37EA zIgKmmQMLX>_`cfRIW?a@Xljm?-TaJnlZ{~#RC?U6lVM!+{ZgjHuWWnFa(hqA*mwPR z2tCb-sA!LuO?dqtT5Hd{8cS{_=w`N*?rp@u0TR`HlDxMTP)%&0U+16VI2@AoTH$&$ zm;0xa`vhls_bEM&*+{&3Le_30QRE?ov-7$*o;$>KH^XaXl8e`=vNqCh=E+CLLk5{X z2M$Jj!iD8sxro<_9=J@7r`1FPd@`j+@4%((Ag$AHK2at%ouuX!#ehK1W?z(A@Z)IW zaupz$T<h)CG19t!R5u)B|N01nXgW-h`aU|p%n$;BC{v!!e6-tYXw&u3==}EYOcJ^_ zYqfdR)wPecPUP`he7tz{C1&{ZYNO1AofaSFXHPsfyL4X9Wom0(7sw)kOi6)xfm-v! zFoz1VsW8Eom9n%@ChK{%KNW;UFHk@`&!^VVKr<;F66W*;e6TRpWxs323cjV#=OEBH zE+F0kN@d@6c{f(??UV7PxR@;FkyJsTFDry1Ab^;WZy~%A*(h}jhc}5!uUyFKdFR<o zD<DdsKxW{rg8VCbweoI`kV7$k9qmjW5a>xUf!s{X(G@D_vk&!uqJRR%fDZ)Cgb@oL zfjs$^V!VQgC8v-~6hNS-92MwyW35Dy+4Ago@!*rK{PHBCpvGd2K&wkqt#^v(Akg!t zIUbfFD;8}t+!b0O0r~{k)E_KT55PMv`w;XX(Jz4E0L>V-dLGEyZN2_KKRLNC`IofB z83!yfp#MR(->pKeF0+?z5P+6re_FKpsNU2}t+AiCc_k?Sdp0~Cy@lFloeLpC#>jTN z9^LgwAkqKkAK5a(l^A!+>R0zN7z_e620l$znnd_ENh21)srsSe^*nF-|6PFJ4k8UH z>1@2lxTlv3wLj=z8G{0nfglf*kGHUJ6L7Gd$^O#gWrGWR3fP4onE&nI*G}(9{KQK- zIWPf!jN;c;M(eMj{}OAU0E3m(RIIs4j>vR!_Hs#&u*Pp3HJ|I3{s6y4?j0_92?FJ) zrkbh#+9(~rYYv&UpW@VOB)0Z;Ca%$ikqnhT0~F)aD;B|LL!VS-G!qKdU3Sb{!PvFv zktQPBTcKmkjKHhNo}M8uKe<UTHOqN7@?rMO41E{Q<FY(%&ZtN-P}1t@DU|vF1#|*L zg&<MVNh+hoVALy-5Qat~$J9bgQ=#6aTQ>W3WFR{OeCdDtTXcg2{HIiTT7M9*l21zs z0ygl;Bm#edPfG&)J$rI|fWPOjfV~F(Uf@4X1q8xjc#?+ye}MnbuR&q@EEf`plAs*! z7_P#=6`jnToQ|C^OhnUOW9#XZd`$mSN`VYqrs$N1bJ~yFNq<UQdyDDm6O$@!Xwu3E zK?s8amZmCDAhqwmcduj73UX;+#fQu7QF=-RZ)S*%kER4$Qg{w0{*u5du{*O6PFz64 zMa0ecr3idwzDem{g837HL`zg|&59T#H^+%t`g_-D8shF1^cx2puV`=YA7$MtBZaLD zx`AU2`-lemTjW(Qs(GKbIsU~pkrebD{1*-}jZLn{FLeCkW%Srl8hPtjX!(v;<SNV) z^_e7@hph;4{q<YAi_u1)!T7Q!>xEZ@H!lC9EuI^No?dfv$EajH2$Js-axg|$+(Ela zWzSR2Go+>5_@J%(+7n+}TRr?$TAots;&R9mdwbtVjB>^cuXLvO6!b<OXqhL@wzFzK zfnwLJ_4Yz+GW>1pcM+3a!S@Glx29Hl<5O|Na*sg~fAlsY;~1?wrL&saCe-PxW!Y3< zKk!ghmXVS+=v5e3WotM2lxZ+KX+$Qy8RYyoQ(|lsaJ@2^7+OCIGdL^k^gpy!KDtbV zkr!63y??bWsj$<ld+U2>F}ISGP02v4=>^FSF=8pmp1ID1{c*#TYFg-KPP6~O|ALac zmPTQ=z^rB0{G*=4)n3o9;^Lk^e}loIzLMlhjzyy5y+;UBZ&m9miw%P*NfvZOPh<N% z^-MUJpo~f1i$-S(-)gV!;ifwA?w!RwJU<%+o}0Cw$HTvaa-{hyQ5)<UB76J#T`Wcq z!C7wTvxe(3c<sOB;z!Dnq6G!ekBN~zUEL)|&gwGMBqoMDda0gkg`K#O<;~PEL51f+ z3@EQAM=KM)UJB1{Im)lg(-Ad=#I0%H7WWTf{}PLuAfknL*tP@N;g;h))7yMu+8T=l zCQ|>PK?!9N9j{C{>l&j{15WwDkRl1CUHR+Y;LUW`Cj3%mxi{Hs8tV1DjIK%9^=)OJ zQl9TOAeDbRCE9Smu*176og^5Ac?TTL8ZB|A$t+$|@Vl{S7D1tk!mKZuRbT^a5}Tom z(mJUfx;hZ`QM@j8r9DkXjiIB2x}jhNEHAl;YOX2|Uu}ZerJ;JH@mN4QBxm_q#wXo# zgY+pw81cP6#g_6}Vc=GbY0UO7$0(^%g~}`Qybd5TDvI~gh{aUqTU1=baSwzzEJM+6 z6G%0*W%y)Ev+0AR4bueFub4H&W{XGdEdEyj)g&t0NIF$ea;!Wgs_$GLQNIgJ8z8O7 zap^ocA~(u0N>34$3i`-v{k^>IKPl_jY?Fgt;tWJ3y3mahfq!Tk0NyDYOWC0pRAJfA zrQQmetS505Y0lNiaLE($LS{**KOCu`zk7?SbfFqP?f{d6WKmXv4|3`f6%Om^#{klX z3YSii<I?TYOua%+sdFhj_#PCgy=?En=g2QZPtlkls!WB)k2C>*A974k*GawApu**Q zn_Rc~E>P8|(vzhyeL-5IO)Ax#OgY&vsDhHQCWZuaCJ)#BfD>zfQU{)C+5jm}PV_6u zvTAhG&7`E$DLm-U=(pHAoI8Sw65ZWGk;=kVR7iwzQf)rvT-5ZySAnVu%g&{cRWHp% zOb*?f_9GQqB>x`VHcp06_NB7Va)X4zK@-w~GvU6XKkKHONoDFR8ddsZ6F^VOAOCgP z4|RhCQgoIo9FN&JAQ6Vk`{_w%AYV6mE>KlL*;TUtqcqdyc8(tHf2;hversY#0B8PN z<;>!cc!~<0EBF8@%$dR~i|&%<9&RQLDEgHeRo<KPwPq$uC2An*j`|X3U2NI_@ft!_ z&ZBB%QMVS6@Km6x!t!aP)J)xUGigMrYgA#`6()js_1#k!rvuy|2||hP+X~Rb!Z{bp zfk&^Vmq_ihy+};+iTMU%dzw66CfgLrT_KOx%Ja8NTTfy2vHlMd%##28*;zFZdW0${ z{j%(n*VRtZ#p;l+rq4+f^tPiYJMT8r-mPv=)bETibvyB=YagS3Qrm`8dDXu@F){dL zCU@7%k|uLGMkYHtidz<~G%+LrChAWPHKe#N<>kC3N7F=%*ndYp4SyxFAEEaDKF_OG z=_0jDPJhw-lShyWjgx4iycS*L#5Hhs8^4m@|1V4%lE|4e*PWIuiTFZZ*3hk@0^%dT z&s3bK-#eyrxVipL6LqRv1*!^{6_ceJq?zp7`g&!O)$+pE$iZ@*{0p||mnb=XHm<iX z%66D+2|k<SCi;-R!D|{?O#<Q|Co^Zt$;>?_Or}4|m*DxP4M~6kH91sa>35|T)O}Cm z@j5a8oR%-Vmu)*{a=xj;k|FY%^i|y-NVun)^{tg6_E0Q0om?thaxhsTy}Dj9`ucBc z6}2>uOvZASu)Pc_P(PCG2yUtW$YgfXWr3=O6(2}_bN(aE!EPpjnBJFH&?v1Xaxi<2 zLhr5WYW-j5tbauD!4%3mL823+kky^T<-qFOqqM30bbhm`&BPEV`GEaf9`yXD$<{_& z_z-@rVXcWF!BC(khkQnw<l!VY@`1UAHg{Z|jN_KdA3un)LO+w1p7h;M;q#^(+pneN zjeko-;S9T`3d(Pg@4#gBKiwYFY1~}@4--L>#8IHWAitycOgmAO{4YoT-ht8{B5lu8 zMRj4ed{10r+B?~8f$B`I8ZLc8nu+Z6t`Dg5iDQ4J<&P~%#2J|?EIUT_-<77`@|<M1 z@PlN(TiI1n4Bh7pkO;{MM^9nCmYW-XX(C846sU=(h7=E^{y85?)8ADurmLh-xWPn8 zBgIdld?D#UT-{v_<{f!)zowS;e`fnRKkpgvz!`|zci{h|8SmBZ?s`H#)5WF@N#eUe zW&3n)ZoJ<_Nuk2!hZEVQWU22+beu`Yqk|&$VY|B1vitr<qe}Ilp+ps@x?j{y6x}jJ z-sI<S^TH<+b-RF<HN4<d;jOU)CHje^y6#8HTqg(8Gf<o+Sg40rA5jV&_#w6Q>vMwa zeHN!YuP2IAP5ytD(fW1AOF=x}q&lbXgz14;ZEqeS$KtstPJ2k-J<pSUPZg)yNh*K* z(WVU<h+FDk=a$Af@;N_V3ROLayk3?$9(^dw(syb)waWrkjVL=z&YrI`VZ0urm>rfP z@^W6WIMJ7&Kf|vt+$cY|-_jO7LLbO=%6(=>d<QLGcoq(%iRGSMsc)FjtACkCulAvV z{pD;9AVq|z(6qeTKx)g6OuI+$>gTr5@<u%XM-PzQ(K=_AfREOFiJKd$yE`}w;^*Ai zAa$7uy<u7=dw=6CvO<_W1suGraj~3~>aKj99UHn&(Yemu`cCZn3Thwqd)dc(Wl9P_ z{vowAmhke%*Gw+ybe}{yV4g>|bD4bm{)tStQp>_~(KjjyEY?@t{fq*RQZ%B!1pST3 zXLY&LHyI!$s4tm@S9kETCCQi?YPXy_T`i3l%CYm){)Zc6n@(*Tq%duq=@hZhvqt5d zE_<J|q;Qq|E_K%pAJiGnxD){4oRqdS>V=NxxEWveqx_OFroEj`iwRX&s{e3>8~OGz zajb-wHT+%<a9vLokObUP-yk2vFH7qsllcQJZ@f5BT?^oI?mD~b920u=0IzuLZTbCF zo7fvgBPcvB{YO1Qy4cq|dSjEGNu^gf$IM9k_jI3cqE_8a>pD!y*Nc?z)$~@=^7Z%0 zn@JyQ{d_NHQ{S9j4r+nS<J5O8jrwZ-VmIT1Qk~YDySUnA{n|AAS|@M)lXO2*6ZaZ! zu78KxHcG+G7f7*uMQ;_$X;0CGviCPRH`_NkkL%apCGVSEPC2oAp`IDZ3J@=5e|M&$ zyvnqC1;5<1P7g@zjjOouITbGXnml~PjlANUb=Nj-ZhTpewTn#Bs~>cCB_PNQQdh+& zX6q>*{dJpEosV_esX$fvWqPt^{Q>Z6v%K1Jr-OY!=reuYdEbPPU~1T~9C?H7vZM2E zF+DE_%cq>CzE!Av_h>jVd|Hv;hLlncLYr#pvS+@;>n04|FR<W1oKyDsy4LyMdII zcdlszIGk>r&VnJn6m+)w+|E}}L+WzV@`w3+DL9@t5oChChwA>LdJzTh6mNf!WT!8S zUa-MC3my0&1t=*L{7`lxR-J+r<_tttzPsQ3l~*iUZ`wpHi|S?X@2b3_%XT%e1v1(n z&7)T#8mtaC?aypipgNtO75N>7t<B-)hFa5x4B!q<vh?66Ki(tz-R-8Zak^wM`J2m4 zQKcF_?f?@31QY93@_fh&>1kaclUbxMAnl@S-fl5Px9{Wcba%7u8WVbT80D8tG;ILa z^2TT6o#wNfp1srH(e2;pef#L?di<Uh{g>9SyV|rNQ-n*#$-cl1yy9DSF%PZZTTj`P zlZ_7i5NwLyHZ5;hUF>wHfsEu1M0FOU@#Aq`(XiaKw-LERc6wF@?<|EoR<IpsFr}gw zP3V!e)8Nq^&&0lM9=)^qQcO3JiF_ZV+Gq>iX4>1~=K81Q;W;<*>;e@o_OO~5Ko7I& zWz+IT(U&OauvsR8Ok=U0&d29K)Xq=(xut2dJohIPdUb*-C_mA(0Y3F#^XS!1-`k%R zs49Q_P}z?%p-21_w>13S1dt(Aewlv1l)8~eO!w@54gDSZrgq;zQhm^Y9|Fw&w`q8% z)Fo0B+@!2yvrPsvfC`8E$ll*TRN~iYdE=ud*jcoFw(R}Q3+{iqD@a?s$uzv$>F&_y zS5UJ;r<#^`w*4#9f=m)3-S^b*1o^u!K<#($m3^n{^L9xobl``;;+BPa{q$Ge$OlE2 zQh3n6RbjdAUIQ8706h?Of4A*fjdSaD7kFipzT)+e8+kTC6_yM!Z2+O<WXccTsk`5{ zxA@1KN3ULy18$>fLxxa=<M)$7@GKL0!}MfV(~voRQ<-lup;tpFzjT6W0|XD#0@LzI z9Vxp-Qlvhw3d=4~BZ>#Rc}O?TKvbpt4n*BZk=DPM_O3;J-?0i2hx{$M3hBz<j6S3` zo5p9H0#!Z$@~FP*WW4M8%@1iPYl`gr4cORmYN=gm->Unlwz+{v7GdIk2(ZXJ*(G8{ zyJO@7bu0DBd0&dvXJwlq1*>ya%bj5ZQeL?9WKvXUB9C|;uUy*YEmvOAutXmI<3=9o zwbTno?`0y$cpNqjZ+M4g>4kd*bwtTX*$;5qUfHpGObarEI^?T*C7g@g$g?-8Wns7a zEAy(w9}@H3CiLnARXF|x(*_6>Zhq_yd2j1(EQzAKwCL4^u9i>e0}{R=h0O*jR-cig z^>3=6{94)0)~gWd=>*-25|A3$Z$HnNd_n8}rQKuuzKWVhl=}nIh72ahn1f`$(|o4g z^p1J_jC+vEB7M8akCmoB6=ae<2k15Tecn>!+0L?P-KPAl&+ov*{SaWRekS{5t`0Ro zK0n9F<F`rCFJ!xetk6>GoAZtoudPzJE|UWG9#v2_U4=`(p+=Va?c)eZqQc`x%D&8m z9`WCK*}^wX(6x@Y^c?0NxPfPvxC6N$v)Q_@w7)wyTVp#d8sQeGO!>~EcYfFMg%ssn zc~Q<}(SB^AR$JfN>^9R^^$9ofN=;NF$__IDK%j6-{p+&-r3rglU)c)eGjb*=^-Hp> zhbY^6SBlnmRY7^3JWiG3b-4RSq1UJ^eUk0(3*Yv3a?h()wG;ELCiLn6vJN=Iv>^kj zA;o>AK=3)!1ii(tFWhL_pK%LRMLsXdGL|&WH2EcZwufPE;MpCWy$QP%^F48Yh_d5c zx)&gsS{BYErbkQ^1pCYPfi5&^<cr~DDOBH(?GGwkuDcIF4{`^hlHY--%j5*e`-wew z=mOQ}Reem{pV9Jiek}Wg+`uEIr%Y=*rXP|z*nRZKj`>_M08*CneGsxK8uhoV-pa;* z$iDlxs<x%*dvazs&_n=%;!OV&-K=km`JWp#x%3o5m&rH9v#PM{RaH>_BXxMmp6*kS zRGf9O?Ddsy@6`6onsyhrG`%kmb#CO@Q7T+kY}$}P<Ro^SeAoWOgg)2{O=CNsc9i!s zEdWz%%wN#}DM{szKU&^|{?-F$s^=Ape9isn^jT$nMaP%^l$VVT{18~qDC^c(i8Ot7 zW$7vE2>JZaqTJB`<O`_^Cw|G}3`A9=3sgVW(xwi-gG-5`QNMSr<b~rZYNm0DQ=$iC z%W@LlMTo6V?;?F#pz1Y#y;{d_Hu;+Z2vSp4mj9`nx;wShu55|@S@!-`s8H4=Sa}D6 z%<1~lvaXbv^@$j}*}&2>zD%S3Ij^aL@{2GdKoSh>f41!X4n&<B&v!GgSfuZaE_EZ1 z6rG|9N=KLo(wH6;rwYq{F3oz`;#pq&VQ#7a$h5a($-zZWPtwl~J^9c)LI!ZBkDzb5 zk!LHYW#MC{?ThmT&ZLV}KMthuAavk|Kx6y42sbxeN-@^`yx(%Ofi_qQlA9@9`k2Ze z<8yLu*pXZC`<|G;gQ8n+Hf{fG-~Imeq5|mmpT>0GXsHJ-C+omhB)U#gey^OmY~JPj zRnfsG?m+_wY%#GHFY>bbV@w;;oSZ4ml>JpE^oTFuWesyp;F}s%dIW_m`A~dz<=+du zUwu$kaTbMhA|~`=t^B<AGi~rl4I7q2IYTayBed?<l?s!fuaOG7f}0yLa5hfz<^Og0 zy?1M_=$-N3<XHQECh*O<a1}0nLz;)U8BexS+m=I|d91-RRamZXcc0=$p3IhN?*-FN z9Jcz(`*BZc43Ss&Wy$D8BNDZg_&?=)qR6y&qUejIxwOyDOH6f*pOp{7@g{&YrbZU^ zr|djEiLQ^q5xkz(uRoYqKj-HpXeUxAKP>yxOz4eG#lA+iW-t_}y-S6Q^T^8it~4)^ zZK#tBu1#dePT`h?|1>f9AO%X3Je=f49<hCFqD~U@fH<iTW|`0%=3jDi!?h*?58^0L zQ;jX}*U|ER?Q{gcX3?N`{e1ZdrB@SzOpuj#p6vaN+-15wQN^hv7Dr!JMd-i}DTP~_ zHcO#Dn_3!&%V$Y1M?FWjcbzALr$1Stf2dLAe&^NBc+Nmn-^D3CozN@Ts`XE@Z*>EY zl)BiN7ZYGtbZxMk;#9L}#R^@ZdRW=#Gx2nag%si3>QQu=3B8KS-w=O)sBNuW)Fkih z<tFk*(W#hx98wY6Hgj|R(^9NXm16ZEvhAaY`D!`H>nYeicK=i$>`5Vhz`61Z-etwH z`knIKZ?sdqY>B+D_)ZggwJ+sm$KBNc($)&%_8*z{E?N4(CkHw2lcy7X!8}4b3y+^9 z`$OHpBj)?$OLeF9b>rc@Up=mnvJJf=i{HTq0D<5Xt1XQ$adX2g`Fx!w1?ynRj*!or zo=<g#DOz8b&Ci901W-qi)n|qYpqtdN;sa&xb1*0Wk6POAH$fulW39hgC6slAvMhhA zU_m<jkfPB^`tFd4cgY=WqG+A-=uJO0qS)s&7?3)wIL_!}2|c6#%qO4xRrY?~vqF7G z4I8tM2>?=_6s$HcYj{Np)>>Xxe~m6$<?#sG)Sl-Qt~QlRiE)wq(V4R8BBoh3pQ{CR zm%2a|jxR6)bVuJD-Ot$Pba?7!wwt0RNErRTl7~h&@@yo9$CsNnfVM%3)3WZ)iS8Dt zOlzD+ud=iKE_n$lKoykgK5u>p!u^|<E&7*fCltT^)K+=V-flv#_MpD~^p`b2TGMl3 zI)!UXeS;LOw@T4EO}5izD<pgM0QsUgM*h?V@<;z7pC`S7P$GqhvVLLO&;@58Dv{p> zMYhOEh~ML3*Zfa8CE~ci0qN$yWJkYh=GpC*Pp_c<*Ln0xDczwP(v^zi;1btCts6Qb zda#Jk0e&<E9rz)WaZ5{w{-TfqcCHkx-=pP?`;#3jl0sFl#qMuGjGawT;Szt#XlI(N zymMvmZ)Gl~yLL6vc|xpcY?S|xmrdl=$*Q1SPfG-ujOh{D!pCvTqLn7oEuUUN)%}(H zIL<smno$Mgz9bJ7Zsge-TCwh4(@qM0<*|2Vf1e4xLI-|;ZMgkf7ygr*>o20#*g?ds zrwH;lg8OqJvaD~LHta&215uec>bFmRw>bU&$@fyzn*S9DA=RywH_-WV0(=_3*09#( zy3H+6ZSprNn$&oA)eA^JS^9wKZ!%t{oAs(VCQ6=YJX21g13y4#^r~&#-0(~4;IM>o zcGFScFb&w1{E~^XKg<n0Vp`<&s+2G5oYDOLW{Xf%sfLd`z(kN4K6FlU+cq4*&5eIF zCpn&(Tl}&AIFH`#OZlaGWdTSds&MpPq}2CJ=v5oFZ;5-=sP5nujnBybSrd9Sl17%4 znKl6IfM0HSi|o~7rTLJX@#R=dIn@PA#W4`oPHtB!gV!{)%Kncg^r{c_$(m}~kiPV+ zA$m#kb7@oi!TKbZSN-b~=NX?Avs>7z!g4+N^ZriY1#^wOkV{PjX+Ra0T_gM7n$Rm- zw!}@$-?bdse2#pj$9P%&c+-YXU?nMV`fK;^^Dk)~X;R+Uu_CN4)j3sAej+K_?PTR$ z(A_ZnO#|hfUUS`V-~ErtmZGH_QwwFf6kADZgS`7{<t@0Fwo;Ry+xWY)&Fy(!VjA8k z`nI!fG^7O;4)>9LJZHQ5J*BUh^wj3JIMv3X13$p->Dd4%Mi=U)oAF3lnC)d(;$Ph^ zSGLZMi^<sH8CbfPS+W<>OMha!-kIVq!NsZed4bB#rCA@;Aj%oy_jWJ@joQCb_L<XP z2+N-WbcvTYJS*Q3{`#XTb%<%fHdJBB5P6v3Mj3$Va%VsoBnkhT^qj|DHm1|$zx$v0 z3;fUnA@5Q7rGBTQ+^x@V@#l~EB4zbkElodzp8iWM>xTBoz!*p>Rao{P+55Ydmzp{# zVjspU8~x1%oaS(gA3i0=hM&v+Ium-pxA3xti%kHADk#56PLMOJdmP)Rb8}-dR=i3Z zzHjmS{Mo8e<@r)(>Ml6`ra5!1qo^~-X}2ce@2<~^QC_k5J=yymv3V$k2jfaqic_OX zPnLZq6{lJs%CgXb9|A*#ivzlhv|42vUiCANV7LQONzZ+nSyUVY!XPPldHo8q`E+S^ zxEWstQ&v{JDjc8CixS&kEoJpL)AHjNYDAg8sWKoKLK(a2#|3KtGToO8px3DUvQetA z{64aBR;eMy@m$SFl9=ClQT5;&*iNoqHA?sE%rNS!YE&8KPY)PwX=oy*^L5kB_%cL3 z>W?IH){gB9RMlE5d%q*F`%xctw>!uNQjIDo9U%{yxo)zey=foc(`o_4MU5&wLJHHr zQI=XJ;Uw7xQ2(3&o-A5ES2|MhT$xEb<~vfayPugt3KRDS5I5KBxo&^yM!p>*C)oEY z>)3b(FMnpc0+p97`B>`bdrauZ@njwNJJW_#qO2?Q-VHL+Wmt3qdXioSR0`AEDP-x1 z*7b@@+rIyPWCqa$$#C=Njp7Za1)6oh8M4phiR&k-k;R9aHUtPStG`Zaz(1SNuQD1n z_!iTS%g$fO9KBKYdM-=9rmBL{t4%vFRAJc!cYaUUkvgJmUwQbB8)dA+Y1DYXOS=Me zo9<)k43M!xdO*SVW$Ww~_#VWeyPQF4fuY8khBr*_nHD%Qz8_{5W%u#Bv@0ar@^u%; z-sh}NhNAQ27^jy@j>}F3s#!MeK{xVASu@-bpTVFC%csizUfF&tuj|Jq4WHVB^a$H{ z=D14_Dr5WLLJv^+;|IyHXa-q1Z<x{ByPrQ=(TNo9Gsi@|N{uYh%bxn{JE-V2)5>@% zTvjX(N4ZfZQ|GC}OZGGY1c);mQ`-hTXsX%G_@w9;s-RS#fcw_@Elsw6Ci|!x_@%Cs zV(>5Okgx7x5<O0T0Hlh)OPV#ZnJW?M`XFB6?JdslM=4AJ<N6vp@Ix}Fg0i1cR@NKR z)W;qVquSLE<iDL|f?lC4OHp=6zXpF@fTB^qOKGPcjAH*(f9e;~gK{8%oFz)z+E10H zUSZTfW!<6*OZ4C4OQ!`YH#fd454X8dJk&WfaKLj?5cc?b{VH7g4a&8e<&gS+CiOYz z3U4_&YHI@q=%3F%ZUAwuiw&?V`f4bVzbi&c{m41l*GrD}hH%L=*_XP3XYcTe$KE#W zjOGkPRVlNCW%4PyG*N?TAn|xr(`vHquS;{2oAD)!C{(Ay<zF$eC!JqG)i$;NjF{dx zQ9SacAbds+u(vsj0VJ9JK}hkrh%D<Ni4HdD&fFlcDWi)K=gNp8Jva(JrDzg5@I%7I zIL^VNa<ZS7^NgH$_vk#us-WyD*<Wu$AGqE$00U8XbP(ka{-$X|0C7v>OJv9N?<k%{ zm~y4k{JYd<hnu+DK3hquGip?M1%=}5kGj1!+3uoP>=s_WFk!cSoGS~teZEeXbF2C! zH`^^N|GR>l>u)k~MsY8_hyGzguRbBRkEdv4tBHdpE9cMhRWQ~>9`WyaSp%-53aliR zICA2w7ea}5Nx&#E-$GmI*U4D>`crE7xC1CByIPuh+AIHTD(05@Crp&F)UYx8P~U#~ zO0vH$Z){JJV{I_IN@V9;BzwQz=3bEFM33KL4Kg`S^yo@b-Qn~lRo3k$^y_tM+j1hW zTKu7jyR_Q^Rg)jqTzN=FUy+sa6MaAqw+m_Wrsw$Wr#uxp&dBq=G+K(%(<IcRul;to z)<1wt<wG*t4Ks%-EPGt`y3@XQOuv)D{zoPXoH&c`P1G7Yh+kj0(Zm@G1#04`g7OpP zq)9I+n24)rTjeu&2idW?2|d}*A9o0avZj(!y6A{^@rqZdrEw(Nc07}Rrv+6|HeG(E ze&?8cPCiS%ZjttcxQlPH$MUkq#U{vjK`c-;sTY1N`=6T7uYc2rT+C}4y0z#>*9EE` zL^E)JKByk;W|BgG0qQAN^b7)T$$|GhQuYR7)g~WmTYmC+((W&Z_5GziR9@9c`Ey6e zmZ;k$Ow3ccx#4CLr#<IZp=J5~VvER6>`PLhzGLFRak?*rOZEH7-`tH%SINKc1`}m0 z6sU<M2l;zsf2Ii&WtAMi{w~MNCn?I$@QOw2O}<M`AHWd<!;}>oE73P3RV3T4yMB3d zuDl20ol`O8Id}N_=jZ}XPv_@HrTiS{n|2_@cOi@a&dVC~dk;il3smPjwd5{oon=z~ zFg-%c+b6Ky)a5|@E(=sm4J$s7`sO?<O(_u5mi!?2BKe>sU~pLQse<x5rM&ky_bJm~ zrFaYcys1(Q{6O|Tf1mt6YFU4{Gv!7GLxGxD=4w-mG?VqS(Z?};;`q9p)Jsvsx>#+M z|K|>A_mLC+zVf)2Jh#6b{STGAKGEO(bXUIca%$-~sykmo=`POOqi<46<50Hkn27^P zg~yL1D{HxKx*1PwibO{8%EwljIHLu%K-HX8(5wR+r0JzAWhZ#9)LMGJ)!pjWnX)sQ zD-tV{L*GXxm5$_trEXE-a=oHUT66lBDXKJ~S1ccd)L1QS!zMk&ShxGTY)>6b`Fl?` z0YE}H{jY3Wufv|K+ur&(cCc*4()ymB0YJ9t(*BL}NHk5J`+>w?m&Z{OC!si%f+MCb zMsX@XVP_z!GdRj8{zK4<Q_aku?sq_(MOoRGn>GX(x3tKKZtLlC^wKju#X<c*bz`pl zZr{q`l?&yp-!4t_B6TIj>?ch-edT29b)fZn(B3gW=8Wu10ZzYWCjU#WVd8#B0{Q$r zEbq%-nJ^9UZ+UtBQWIph@c44s>n>^D>F?SPX`YFKFJ|jiDE(1%wi;19*hCOu&XV}i z_EY5j8Rsld>RMG;{yh_P%2Qt>Zf<;@R8(Kujc@YSU|LMk=ontvxW>e3Nrj8^<UwD- z@rhHbU#5!ce#LtB2=5eqSrwL!F%dxGEN|4y0N&#UY2{&RS*Wknf+LQTT*bF^cQ8p1 z@bbpTrD$1ZLa+K!pFVnE9;5(X+4Nr`TMtl==l!X>gWRUV<z;TTGtZsjdD)_7YL6Tz zZ^Y+KD)lklM)v9wFM|tGmeog}vFzmro;B0*MT<;3CCK~r1Nr^_&4fPSDk>x%+qO+D z?Pp8#UN@5ln4YBd>%Nr=x1@W5nX~p}H}b5V?2c5NS;qfWR8|+OVZ)Nq<ph$zxnRkp z2Ykl!dC!(A^j=k1c8rO)<7>1gzw+3-)c)qzq?PKU-anCl!~bz}{e^Ddiu9%|D<lVj z%S`AU+c%`-lrc8_UiN-p_t#ba_@Sl^kT6ak&6f6W%RBQ{lS*X|(?{!0<<-w^F)_r~ zMd&VWX-dRGIX#P4*UH}CT}VY=puUI2H$ohGl+;fDkmHx`G8m6M`Q<;N3QLBV_%pr= zRE<}yYUgDQQ{>w}{`FdW$72+Y6v)3Jj;m`aCckuo90a~(BCl2xuc<Tbl)}sFSI9%7 z8+m3?RtO#VAt`i`DhK(C$hN0S*zRUiik=4WH`LNN5yk1}5-<?e|CPvI<X-6Ec&_|j z;S4N;lp)8jTVy}WgnsQu6sq5`AF}TP^;5j8@llFw9zpE%O-zNWknhSN^(<aiKR)Bu zh*sqPjGnnVwXZUB90z=Lj>;cD$OHfh$1RO>C=xqXn$2z|CA>v8kC&7DpE+F?;B$Sl z^a+R0fvEHdH#f#PO1c->&eVQB`zESUls~S-1du9P7G5L!c)KeNr9L@-R|g*3&&2T; zs2Z<ax`~?`t|E$!knm2~f;e}io^I$GTEA{6x76S5rZR`hFFjrg)DunU)hD#Y))O(O zu9k(5>Af3x){jCVbl``ia%M_tX+K6z1}~E$CCIa-Y?jw}tsF~7aZ5v!$${YvL{+NG zIUaXO*(tq1h<v~5_wHZZ$OmOzX<CpXoD<YdPM><cs8c+Sr$K}M=5$9C2`NxN#mg4H z$;;}`p|*D2mtcl$Nn0zr`*^t=OsB}f^iX+iGcxuzR8}1Qp_pz@^<_WZzO(V%Hd9m3 zfgh61z2)CfO`F@lB*!g1PhbF!p@uG+nSM)cTZYJM{3UMb??QY7QJ+hTWj}5DgR}QT zsc~v#N!Ub?BKXawHi||kNK>y08V5Cj!X?$ZmCyq9Q+i^5DF&~hmURcp5qFZL^cBlb zoF{w62l6UzCW@ZO%NoLZ3DZnIn5q$FhslHfJ@}!ohTr5iQ(W7B^|U_kxq(Mc2mT>x zzlZ|_gB<KP$Z_k}w5k0NDOA5DDcy&<HzvN1Nm07cc@3M}58&qdpE!#RK&Rp!h)R?e z%PVtB{p+%S*o0mw$_`=nloaI5gv1fO3RaxQ2z9Z_AAfYWmO4!Ycg^QPCs0V~X*cxk zX5HV)?^))K^wquRWLrv6dm+8N=-=oQ^*MET$)1#JebI#8bWl6L-0+r(Ql2w-At$T9 z3B8H%C+R*<?v9)R3*nMsChR_2McpqcNE8(=-&-Ea<k+dV6Qr#NJSJm6$(vG?J}p~4 z+0n*~n0_xoobS2tAio1qbyuX<<hv^^rs-0JqviX(pT8x2IU3>S$KEheMsb&x@1y4{ z_a@T%uI_GWqF$wrDBG9%kv?Aex2fa5JyxLZ$ob;SA9oO0dbvF%A82);91!=H!>#^D z$s3#Zkeu#ho+X>Ua?mc%Z<ObyLf5kf@M>wlCSQchX+`53?k!vZfXv{m>)&UOup9?R zky3gpw1Z?jP_}(#8z@_@Y@HRbda&a<XVa^}DAp$uQVj4b)YkSKu8;yi5cFDs3IG7f z<J@lE|Ck)g&B~%a1LZ`&y@OUz8`j7NfZ!wge*|@|KCLu#j{pDw07*qoM6N<$f(ljx A8vp<R literal 0 HcmV?d00001 diff --git a/doc/conf.py b/doc/conf.py index 42a6c97..b7903e1 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -23,6 +23,7 @@ sys.path.append(os.path.abspath('./ext')) project = 'CAISAR' copyright = '2022, Michele Alberti, Julien Girard, François Bobot' author = 'Michele Alberti, Julien Girard, François Bobot' +version = '0.1' # -- General configuration --------------------------------------------------- diff --git a/doc/ext/__pycache__/why3.cpython-310.pyc b/doc/ext/__pycache__/why3.cpython-310.pyc new file mode 100644 index 0000000000000000000000000000000000000000..58c7cad082195fe747e9ffe46b4ead50457f7a6d GIT binary patch literal 6703 zcmb7IS!^6fdhWY>4wAz|lt{}mEm@X^GD&$AWH(vwO15Mto3&|2Vs;ljLl2r$HN&R5 zr$^O25;-1jl9hKiK_DbS66A6MDnXDa_l+RQLx4QzIY7N8FMi0=0(p>geSh@~IijQm z(vAA7{;I#Ozy7N#nV2YQ_`ZAfljgrJXxhIKGX7aWt|6sD*EFUvJ<?*`*JHysbi$3u zj4j`aZQqU^--%t{jXmFs3w|Lk`o*~9m*TQt*0mqen8~b<HD+=BzUfb(uN_UsQ~s2$ z@d@TI_kqr*nD+*aT8Jus1$i-=j%WNCHB%{?jpzJ1RW3&-;(32wl_#Q;@hSh5Do;iW z@uI(|%2Uw`@oE3GDp#Tx<1_vl%v3peiA_J${UxkthRtF<vwRWjd0Dm0q2(-EPOy2j z%&V4jz)!MMz)$hhpnL`R0$T*W$mfBd2mS&(4g54e5Byc&FS0Yh&nWx?@R!&U@Fj&` z1pYER3;e9YtH95(SAf65Poe)ZJI`MISo1Hj!Y!?O;Zr(|sv(Ovd7JOP%Xhhu_Ps=~ zv|5nX2H(x3dp(I`-pQo*ewT|NON4a4%J+y!TI)f~rE@D2VW%yf^<KP%0ZJeAI?b#X zWMR^g_S-@vqDk|Nf3rZYA*KHbz%^fInr|@OH<{sE%=B%Xq|-8(&0Ro;d(3T_%;R3m z;01280xLc+coA(SMN#G@lqYx@aFUmICUz!Kn&MMC737s+K8<`D_zdzH<g>_Uk<THY zLw-VyIL}Y)%(Ig%vptPd!HjDD1<b#Qb-aN5G}X2(_99WD{S5Mx$X^=fOT+x-VS7Fz zdbS;Q_7l@T#m<5IugK!pxA)$ASFzo<RT<ph-ixE^d(sQG(o6)+%y&@gf!lTvg+VIK zptC0p6r3PUxyV%B!#Nm1=G(z;n8ecF;_VR3-x55yEsd=`X*aid^ER?5>2SZ)Ou`Q9 zHM8(8mtHgJq**{mj8YbMdffLIT11<t(qM_S7<F=3a<7vC<59|`$vez<c?U}amCL(n zh@oYH?>2c?9lgVM!!*M>`EEDCI_*|K9qm?>1er8jkR%5nh$0}pj`RSqqNL;7?d>GZ zq}5J>NE%^FI$^AaFv5;sI9xdu?*<~IrQ1=k#UtO2cpL}Pj5w;|AZu<*E9O}soj75= zh)Xx_Wx*B-W+%ZSl88yS8;C5#OoguCENliD$hsoDi-K=;u|H{xAjHxgm8FDs+T6Fn zU6%T$;7tk8lAhpqdLi+{5j^XOj&$=JUD9UK#TljGU$)IVz5|#DoFs8H6Fsab18QY^ zUGAGb;_zLp$vxcQz3mXow(f=5w(r~%VaC(PW<9;scj_1G%k^sCqFlPoTwnXedhJ^6 z!_Cd*`exs#Z&h{aq`g)v-0jcQR=)Z2`43-RzVxNR)i=JpRtH77wpsgV|BFAo`r5_n zW`CmgVg2iMwppv+yRf;8p&&?UFUsm${iT(wbyjD~7i+7V$f{Q_*7)0-wM#3Td40A2 zrIo9fYrEe-XBMoq-duTStfaafHK^|051#1$!t**eu#)M^wdDQH+U1qcD?n9Kmup*Z z0ehViRd{uV8BltxUwEva#kQ4w>btcMFD_R%FZJzn-Cnv4ekrb<>n7d4U85!<sn^ef zWTIZLp;W)n$+pBM7*NNYKeYMLmHqy7y}nDxaBm-dZXYAn>z%48Es-Rdcn>B`{5ZgR zbwPTKMh8Z+(U8SPBbPyx%Z<jJUJwmiEXt*;)Elzn-OkNxD#$+yhk#AMB;XP#5%2({ z`&KWEptI8XAmu%l2=chneka$lALYB!e7^}ne+wk;S2`K&ybuMVac(3%QUvGiv>8A& zoh-Qxb$+BNYpuZJ*Vnd_n6K^hqL6pi-hJ~cx8A<Fb{*N9H`kg_i9oEeq`3w^u?D+! zWwpB}CNMUwJADVh(<~jo;Zz*m(;a;hiT<MQ86Il#-!Y21@gL4SVUBM6m*<XJQ2)62 z?`lkv--sMkx>42r5)2lUwiAUNE+#S4I@;|{!gz{;7ce#|Prtvl!<*R+o;F3O3=@rX zBZ-5sL!{rh$y+y*h@(7ptGgX`c5gs~m1RU#ISy{~26UT-6YpZ8r(BtV%4<m9n*%s< zWz2w^HJJ%RZ^<%@`<0C(iD;%Ko#^PJGO_DAQo0O~X$Lyf2lhi_-yYZp1~VS&VtQaB zz|p>KENG~;26oG!an~Q~OMUVfSC&2{34sXO_fjlZnrUxK78R3HvKUoIS}BiOWVY{; zRZ<(0GuuJhfO(F>W|%dyFoQhUdFFt@ZJr$ogJ76Jmb)Tp@-%IL^S6l~DT!ejCtAko z^%urBx;jp~{>T!yKq@u}`~-nM0pjNvph-jr;HyaABhGjjUDfmpuxJ-om#g*7=N^KH z(E|*hrgglTLGibG8GnlFq(p~Ye+|eu*E8e51poDYXW)pLfpcKd8I1AWTo(!Ye2Sn| ztJ>lYG9dt<!k7{47q1g$w?)$HR$Y-1L65*)0`~~)64(QfdVGBQ#1~>vO1ey}wMb#~ z{+XvX^(2SIN1z`YOtDrmbRP|h?*pPB?719FFQWBGjK?D~-w8F}Wj1pl+K9*?f?m#P z6755^c}IMcW+CouGzpGA;yTIub)@uX0ES%Gb|B>o+JX5{gVgKH9B4b%KyMlI+P;z5 zI}Wp$H89#bvmcoI)aved2Ze$8P)7jnfKmsgl@)hN%!PIspx0V9=)DJYZrV=yV1gC$ z6Frz@#eqIB9-6u~um@(FG^v!Is9N)5`+T}`K9w5O-wavWFP%@nxI|tx=pf|n2BAO; zA|D7BthGhz2e%ClRHw#dp#b$kRMtTNWRnBximzeEqD4TRJ8CJ?@L)g{ot#5N!pF2R z*S|J8NE<N^-&Hasi_ppjQ}#<1Vdxr(GH^pVqbMp;jzt!84OY&@BKswaY8YBM0>V&L zA*druI3_hDFbHQ5i=mLt0L;T~&ma}`Q_%8B62%iEJwH74RrFY|7LMt-ERltwu#&D2 zGsF0ZHIA4wlPIGcL}PUet*|pz(Lm^fXr~)Axh&=6jkL>~;@7aav6Uam`?t_gr{$At z7&;+xM0(i})b@Po{{mW{DgF9T`YlMl<rjupP-HIipbaH;pDN0N;tRY;d*et8#K$zH z2{8Jod}x2jZw!n~+tCNG{15ccL+S@Qq|zX#W@YfMRYNE_D8RopRX|ZSm05wI58KiO zP!39QKmm1%m2HS@#2eHcARgspdQzIW0$%hN4;Q<7oUlnmqmT5K(siVi28MsqcC?{} zS_53#puPIQQu=5@yP(lZdr9|jF{f4rZ#J-S6^CXL9a^jdo4G@+bb!0)X^~zsjZDkB zxR1HSw*mSN>EQWPe3xpzL*QcqWJIc-(kxtqx?S8!WGN%|H<YMLx-9Tr#T#XSe}Q`a zA^@~Qk=+Kt$V4jzeMl6)L*SPP{0f0zC2)+lbEJB?hBd(Dd_FS3X&GP=YBH%WLS5#D zc6)=STYXli^=kQ;)`(xH34epYZxZ-~z;6-wJp#W^;CBi90fD21sS+KK_-z34qA3a2 zxB`$8ct+V$6h!~TN7nip(y>?uPC&=CoGhg&CrD}zU8^jR&r@D@{gHiqA4ki5)*}B9 zGu@}z$SKewJzY@U|6^I|wE)Yqa?QKJw|eb<kx{nPih{PZRe4?fF~)r+r~V8LN~->Z zC<uG*^x_d(!2ypr@E&fJ;&Z6@K4bp{ntu*SsIduq{@8ztR%}CYcLVp!6j$TepTrYD zUd*3U3Wxajnf5O+)XyJIOW0G>634G0r2^o%z2o+MjXT5S<~cJzv3(D3FGXJBWxS~o zK8bi>3aJumqo3+|g;{uM%j1OUp@p2GHyc>WSysY%mDStFl{^erYV2FYRfJQ2gcXTD zCqUd4KTF`R0Hm8cy7Z}-!b2<VF#R!rpC-!!3q>~Pp>{*tT&yFe*hhqc$iW!aO`*<0 zvJvB1_z`apoPpVLzNYEgotZnHvOtLQ{stqer~r>-77Or@V8a!~>B!sS#usr#g~&jJ zNp6Z<_;hl+xe1}A<)TNbDNE$Phg%_WQ$EW0sd*^o9Dd_}t^euI6EAY+td5a4X{V!) zg2O|r{DVM7`yMEJt0Gu$;E9EShn*Jo?aUZ}1A_wg>JIGt&MjqU9~t>B;ZXh-gGiHt z{s^UN@hEVWrItwI;jW~+g*zv%L*nm1mhbVGsjGTEQc(pSLeeC<%b6@>$%q-p_)s3w zG<I<tAwH{ccaH26q7AsGlVeO6r+vaVS?FjYU8e!g01y}8NzImll0kAXpk&a~?=4OI zBS^4S<qZBFWwq(5m2Xw;M|lBd`=4B}avRh=H2}^GW1!(79mQem)w$zVP>r}olTqX? zb_kGh#yb+ECsj62Ssp<qLIo&-v{n|`=qidAHaMyfH!oQZJ0U$+HAo!AKTwZ<CO}^8 znHKJ^(Lno2e*j=~BUkrwaM}6H@C-fwozE=SGVl%Y;%A=cIb~PS2v2Ao`3d5@;`%%a z1MNV|bmjkb23><0P&eQ8zIl1|^$i$J7w?HFy$H|XxeafAJi<jOV2w0raXEWfryjOc zB|S?MTZaKEt$`wPc=@qiDvh#JJhpZJ2?R=n@MvJt7M%YU|3aN!lat-OwhF~p)eC~4 z15~dmV=e0SBY$zRshKQf{@6lFr=CpI+e-fSLOxzSOUT(&JsPZThwbeM36BzO!O<)Y z+{0CLpM_DX0)IS3DdIesn;!N&I%Kg;{U%5CDl$(+NR{PbWiBx!LUL|c)x-F!bc;~) z+@_|{(5i_vGF2+A9tXR4M$GRiB!l872`IVz7L_P)I4+PRi%JF*KgYPQ6hs|?_eTD< s^<|Qblni%8drhwx<u6P^zRHM$j{c%iF^X=*sCbo`%881V|K*kc10D6P0ssI2 literal 0 HcmV?d00001 diff --git a/doc/index.rst b/doc/index.rst index bc7098b..94ff650 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -5,12 +5,12 @@ .. _index: -CAISAR documentation +The CAISAR Platform ==================== .. image:: _static/media/caisar_logo.png -*Written in november 2022* +*version:* |version| CAISAR is an open-source platform for the Characterization of Artificial Intelligence Safety And Robustness. diff --git a/doc/installation.rst b/doc/installation.rst index ca8c511..46f5b96 100644 --- a/doc/installation.rst +++ b/doc/installation.rst @@ -2,6 +2,7 @@ Installation ============ +*version:* |version| The latest release of CAISAR is available as an `opam <https://opam.ocaml.org/>`_ package or diff --git a/doc/usage.rst b/doc/usage.rst index b9ff66b..5344dc0 100644 --- a/doc/usage.rst +++ b/doc/usage.rst @@ -1,9 +1,9 @@ -*Written in november 2022* - .. _usage: -Usage -===== +Using CAISAR +============ + +*version:* |version| Prover registration ------------------- -- GitLab