diff --git a/metadata/templates/download.tpl b/metadata/templates/download.tpl --- a/metadata/templates/download.tpl +++ b/metadata/templates/download.tpl @@ -1,38 +1,50 @@ {% extends "base.tpl" %} {% block headline %} Download the Archive {% endblock %} {% block content %} {% if not is_devel %} {% endif %}
Current stable version (for current Isabelle release):
afp-current.tar.gz
Older stable versions:
Please use the sourceforge download system to access older versions of the archive.
Mercurial access:
- At Bitbucket (development version of the Archive, for the development version of Isabelle) + At Heptapod + (development version of the Archive, for the development version of Isabelle)
How to refer to AFP entries:
You can refer to AFP entries by using the AFP as an Isabelle component.
+ +
+

+The AFP repository is hosted on Heptapod, a friendly fork of GitLab for Mercurial +provided by Octobus and +Clever Cloud. +

+
+ Octobus and Clever Cloud logos +
+
{% endblock %} diff --git a/web/download.html b/web/download.html --- a/web/download.html +++ b/web/download.html @@ -1,104 +1,116 @@ Archive of Formal Proofs

 

 

 

 

 

 

Download the Archive

 

Current stable version (for current Isabelle release):
afp-current.tar.gz
Older stable versions:
Please use the sourceforge download system to access older versions of the archive.
Mercurial access:
- At Bitbucket (development version of the Archive, for the development version of Isabelle) + At Heptapod + (development version of the Archive, for the development version of Isabelle)
How to refer to AFP entries:
You can refer to AFP entries by using the AFP as an Isabelle component.
+
+

+The AFP repository is hosted on Heptapod, a friendly fork of GitLab for Mercurial +provided by Octobus and +Clever Cloud. +

+
+ Octobus and Clever Cloud logos +
+
+
\ No newline at end of file diff --git a/web/front.css b/web/front.css --- a/web/front.css +++ b/web/front.css @@ -1,324 +1,325 @@ body { color: #000000; background: #FFFFFF; + font-family: sans-serif; } a:link { color: #0000EE } a:visited { color: #551A8B } a:hover { color: #0000EE } h1 { font: normal small-caps bold large sans-serif; color: #FFFFFF; background: #2E2D4E; padding-top: 10px; padding-right: 10px; padding-bottom: 10px; padding-left: 10px; border-width: thin thin thin thin; border-style: none none none none; } h2 { font: normal normal bold huge sans-serif; padding: 0ex 0ex 0ex 0ex; margin: 1.5ex 0ex 1ex 0ex; border-style: none none none none; } h3 { font: normal normal bold larger sans-serif; padding: 0ex 0ex 0ex 0ex; margin: 1ex 0ex 0.2ex 2ex; border-style: none none none none; } h4 { font: normal normal bold normal sans-serif; margin-bottom: 0.5ex; border-style: none none none none; } h1 font.first { font: normal normal bold x-large sans-serif; } table.nav { font: normal normal bold medium sans-serif; background-color: #D0D0D0; border-width: thin thin thin thin; border-style: solid solid solid solid; margin-top: 8ex; } table.nav a:link { font-weight:bold; color:#000000; text-decoration:none } table.nav a:visited { font-weight:bold; color:#000000; text-decoration:none } table.nav a:hover { font-weight:bold; color:#000080; text-decoration:underline } table.nav a:active { font-weight:bold; color:#000000; text-decoration:underline } table.nav a:focus { font-weight:bold; color:#000000; text-decoration:underline } td.nav { background-color: #FFFFFF; margin-top: 20px; margin-right: 20px; margin-bottom: 20px; margin-left: 20px; padding-top: 5px; padding-right: 5px; padding-bottom: 5px; padding-left: 5px; border-width: thin thin thin thin; border-style: none none none none; } table.descr { font: normal normal normal medium sans-serif; background-color: #D0D0D0; margin-top: 20px; padding: 2ex 2ex 2ex 2ex; border-width: thin thin thin thin; border-style: solid solid solid solid; } td.descr { font: normal normal normal medium sans-serif; background-color: #D0D0D0; padding: 2ex 2ex 2ex 2ex; } table.entries { font: normal normal normal medium sans-serif; background-color: #D0D0D0; border-width: thin thin thin thin; border-style: solid solid solid solid; } td.head { font: normal normal bold medium sans-serif; color: #E2E2E2; background-color: #2e2d4e; word-spacing: normal; letter-spacing: normal; text-decoration: none; word-spacing: normal; vertical-alignment: baseline; text-transformation: none; text-alignment: left; text-indentation: 2em; line-height: normal; margin: 0.5em 1em 0.5em 0em; padding: 0.5ex 0.5ex 0.5ex 0.5ex; border-width: thin thin thin thin; border-style: none none none none; width: 95%; height: auto; clear: none; display: block; white-space: normal; list-style-position: inside; } td.entry { font: normal normal normal medium sans-serif; color: #000000; background-color: #E2E2E2; word-spacing: normal; letter-spacing: normal; text-decoration: none; word-spacing: normal; vertical-alignment: baseline; text-transformation: none; text-alignment: left; text-indentation: 2em; line-height: normal; margin: 0em 0.1em 0.1em 5%; padding: 0.5ex 0.5ex 0.5ex 0.5ex; border-width: thin thin thin thin; border-style: none none none none; width: 90%; height: auto; clear: none; display: block; white-space: normal; list-style-position: inside; } table.data { margin: 0em 0em 0em 0em; padding: 0.5ex 0.5ex 0.5ex 0.5ex; border-width: thin thin thin thin; border-style: solid solid solid solid; } td.datahead { font: normal normal bold medium sans-serif; color: #000000; background-color: #E2E2E2; margin: 1em 1em auto 0em; padding: 0.5ex 0.5ex 0.5ex 0.5ex; border-width: thin thin thin thin; border-style: none none none none; } td.status-ok { text-align: center; vertical-align: middle; font: normal normal bold medium sans-serif; color: #000000; background-color: #00FF99; margin: 1em 1em auto 0em; padding: 0.5ex 0.5ex 0.5ex 0.5ex; border-width: thin thin thin thin; border-style: none none none none; } td.status-failed { text-align: center; vertical-align: middle; font: normal normal bold medium sans-serif; color: #000000; background-color: #DD2222; margin: 1em 1em auto 0em; padding: 0.5ex 0.5ex 0.5ex 0.5ex; border-width: thin thin thin thin; border-style: none none none none; } td.status-skipped { text-align: center; vertical-align: middle; font: normal normal bold medium sans-serif; color: #000000; background-color: #FFFF99; margin: 1em 1em auto 0em; padding: 0.5ex 0.5ex 0.5ex 0.5ex; border-width: thin thin thin thin; border-style: none none none none; } td.data { font: normal normal normal medium sans-serif; color: #000000; background-color: #E2E2E2; margin: 1em 1em auto 0em; padding: 0.5ex 0.5ex 0.5ex 0.5ex; border-width: thin thin thin thin; border-style: none none none none; } td.abstract { font: normal normal normal medium sans-serif; color: #000000; background-color: #E2E2E2; margin: 1em 1em auto 0em; padding: 0.5ex 0.5ex 0.5ex 0.5ex; border-width: thin thin thin thin; border-style: none none none none; } td.abstract p:first-child { margin-top: 0; } td.abstract p:last-child { margin-bottom: 0; } td.formatted { font: normal normal normal medium sans-serif; color: #000000; background-color: #E2E2E2; margin: 1em 1em auto 0em; padding: 0.5ex 0.5ex 0.5ex 0.5ex; border-width: thin thin thin thin; border-style: none none none none; } a#bib { text-decoration: underline; color: #0000EE; } table.links { margin: 0em 0em 0em 0em; padding: 0.5ex 0.5ex 0.5ex 0.5ex; border-width: thin thin thin thin; border-style: solid solid solid solid; } td.links { font: normal normal normal medium sans-serif; color: #000000; background-color: #E2E2E2; margin: 1em 1em 0em 0em; padding: 0.5ex 0.5ex 0.5ex 0.5ex; border-width: thin thin thin thin; border-style: none none none none; } div.date { font-family: sans-serif; font-size: small; color: #000000; margin-top: 5ex; padding-top: 1ex; border-width: thin thin thin thin; border-style: none none none none; width: 100%; } -div.cite { +div.cite { font-size: small; } div.list { margin: 0ex 0ex 0ex 4ex; padding: 0ex 0ex 0ex 0ex; } div.list a:link { text-decoration:none } div.list a:visited { text-decoration:none } div.list a:hover { text-decoration:underline } div.list a:active { text-decoration:underline } div.list a:focus { text-decoration:underline } -pre.bibtex { +pre.bibtex { white-space: pre; border-width: thin thin thin thin; border-style: solid; } code { background-color: #F2F2F2; color: #303030; padding: 1px 2px 2px 2px; border-radius: 4px; } -pre.code { +pre.code { white-space: pre; background-color: #F2F2F2; color: #303030; padding: 10px 2px 10px 2px; border-radius: 4px; } .chart { height: 400px; width: 400px; background: white; margin: 20px auto 40px auto; border: 1px solid black; } #most_used td { padding: 0 10px 0 0; } .nobr { white-space: nowrap; } diff --git a/web/images/octobus+clever.png b/web/images/octobus+clever.png new file mode 100644 index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..c89a66676758a1b920a4132c336ce2e9f1422616 GIT binary patch literal 69952 zc${py2Q-{r7dA{JBoQRhf*^zuy^K17Lgc_fZ}N~l@Av*WTB)&$&ZhD@qgGrM!!Ug+&0CkyOFLx+{-`g>7{k z7xSMXj+i9Ouba-|V71$rFYnuC?=gShc_X9kjD^MV^!GQmd#0Ex=ART$DJ`g~g9X&h z*vTBr&CQL&%HGD=)cB1#hl3L&VdFU^7SVH*XH5-V%9D?`1fUyWjXF$w2Hp~}>+KWmTn1cE(8(i6>kUfgMdHtz`Di{|9fo{@OK(JEbJ5Ad+)9%+zrclFswWUw<8AqlecnfEs@+u+C6O zQGVR}YIvEP<-S}|5E?eT<}BuFDSg~7SUf7SH1~?Vq`n^qp;zvGev)C_f4zSKZmv7m ztJv9|ZT5_}s;h89nB+R1ANE>QkS9@lEstr|Z8@`$=0)5?l%8}uwL*fW#wlne+H;&oT<9MH|akLh%Z-2~$C&8-KrKjs=<3${Bt|J@vUu5YfMvpyq z<(h#E!m28V)86*mad*PSYE6qq*$}Ghk8{@cm%t~V_s;Y{uU zU8gkmf7}3v>-(<2K6ECT_aFhx0uyr?3%LaL-jmuql|s$mB=d7}+!b3tu0eXLRU;;$ zbJWhy?_XJd(fki008@abR?Uv2kPmpkp?lxm^w43n>*xGrjf&M9>2{Tb-RcFk5(ii9 z1AJQ4Y0#`t@b#yA`TrME`Z=41Et;h?R&!83S!%Z;zcb(cAC!^tv`?5NEou<8O&n(y8LTo%_ zz$!UWmQYCfVrw*1e`Nq3ISn0z?+XfE*@3A3_OttKKNhkt--b>4!+k49S}Pca`_>~_ z<8nHU(p@9e)Ht&D1)<6Vj0@t6X{NMwsd|yOuF)R%pBK2S2Cm}{n!va)1~-$sk=Swm z+;65$`=Huf^}(&z`b!kFEvs0fqaZ8B z{+}%cB~={4FD}N9wDL{33s)%>QSCy=66j#KSkbEZbqKxwTLb3`qxy8{M$aO??LI;U zhvd(PJhBfl_|nc9_Q}bOE8IvLty_7o+aRocIDEZ{nEy5bipSvM30PAGRPkW78O}&B zb^K24lI|6FVBRdhUEIel&N~8yg#KnJW2DQCT$lsYMq zFS45-&-}z3KD{gd6cNSHO+p+Vu1-~FYdaujp|>!ZnP5+2wfE~f6e9nHBK(7X{SH#u zOjCB_{i`B70KrVX`Zlx)kDL)K9L&n1IncssOIhA_@`^~$X?SOU72bk(U193~^&V&5 z3pdF697_(O6wYWa&MPk>l=Uqp^}d`OEH_%MsVUlMRc<_AE&H)cZ#b32tLp_k{-c*t zvuWu-#zCewv#rYL>cHj{0>GGYAucfRs-z4?p&LH z{cFA!i0)MKQGaaS@T{76=;o5voQYIZrJYR>ofLS$jBaG!>@moce5oQ9?cB-laOAsu zosDDsk#PTThvOQL1W&feij35Z={B;DM1SYLL%!b zZX2K69I61&yH{qE|FMAk+x6A6+T+Y$6fh)njxe-0j9C9UWQEp(PJ_@VpHBnqjlcI2GWnOEXy1JgwsEQ-}N|0j)%i5M#wEbLvJ|=0go~z zu$u(P>6jKen55;RbF!w*cZB}qfmFFG)7SsCi)9%Lr@(SnrKmv!!@0(Ck_eycrEB*+ z#h{)arZKVs0p^)ja0lS=j7obwMeD|%=|+v?Gw8i5TkGJzVWoz6uai&D=|MB)g9Giy zsG>tC!YB7LhImSYYvh$$;~zyzK-LPlokxT{f5P%&iVSC1bj_|@FcSFNdHT5TY9i~B zo7<0_4z$6_%Sm-618rGM>J-U$^m$k%B+Q$K$rAP^7YyLS=3|Qlm!yBl(fKdP{3{^S z5d2g5WVRg5fnR+hrQD^aDyBrXL`ZI%OqH~L~h@4tQz#Y%{X9_A*s5H z*47iB??w^?_r#W35A*VO-P)P|2dM*_2$IU!oDD5 z=FXG~D>2b}-`+t;9|a$rA#3()$pHTkiycI+1q$V5aG3kl{(QsiPu11({snwlEv6F_ z!JvT|rV^DyD$lhC`jASWsSAzI^;F@-cLNW8U{F>e>th!&2}kPMqxP>QK(YE`s7(zNBUqY(7J~K)5xN~+X-nN5v!J&j4f`?kpD?+Z|mR0 z#+U*Gid`3yYh(;#(B-LKE2+HCGyA=g?;w>0fX$MorkKp`KTOz*q|g*{LuVyOi??1` z8j=6Elc?giy$!6gK+O&`PO9!ovpi+JPu?$d1@*HihV{pVpY^~JkfBJcA^KG+kvHw? zoufrc;!9VyP!KL)$?^rxvAEJKDM!Si5{Y@5?YL>yMq46q@FCbqQ8lO3`js-DA}=FY z89*5#xBUgd8B}-8C@*YctJcbVNL}=w{2nsiZRBL?EkUQaHq*bs(8Tk5=HQ~+Q>qSDeEoebcCvZM zV!GLXi729~2*X6uafQH`i?tK#)ax{Y9^k+m<`-(xla{GD$`3(9KTG$>xc&ty~>sj<3 ze)~nI_MQZy^WrEm$2mws`Z~4cJU$B)MG=F0Chf=+LQo_HIV)wooh}mrkt_^=UkqTH z!^C%Ck__l$k7*q4&beUx zwQ1gs-FhulS07Z+_IE7u1>;K`@{TWy^nT{$AqAz+vhfiRsz(8+`I%9jE{^%6t&?tZ z6@MsXy|4feP&8Z~$1Xxd9g_u`Zl~r%tEVPVezTI#DRfp`C67L=b_~>rl3=>t6DP#` z=bm}bqz*Xvo&B9u9*v>4tZZ?}P1Qt2UeW2|O`POUrEfp0>DTRjO%Qf4A^X=T<>k1O zQAttuCJsk=L(E`uTbaXhQe%txfqqz;-}55qv=UNJx?bvfH{CYgMhjF=(eyxSS`=f( ztZ>q6ml6`t(?>unv#K;}J_6*!h`~V)mn9mH!yp^+?CUy8ub_ynl_6hOT`#2B>{5)` zJLnTpSa}e4LATOzF<3pgL>LrtwTTyyiTa-21Vff2y0JJIO5*UHnzx1c9MR@&Yqs zM$0)cQ}1wgmM2zTPpBzbEgWJl;CZJyrvnNM#zng6nOiBxs}y3m@DBBeiPaU99OHMY zV6}K}_$k)GM855ZMf%NV25g-iw6CFMUF|M)ELAO}B!7xUj zXHYq5?x_uWWOeSmA0_CTW(us%I)KxwDm5wtrxKOC=^fucyxQvdITih&4%m+bl^GD1;TM^ZMg=>|&-qmyl4$$0N%{gU*U@mX+tkkHUjxqyb0W-YgU#I7W9E{)m@&xJNSk8qlXC!vGwHsp8T&YB;5rk=OEv zEKL?h$|-FEWdGelxVf0u(A22dgKI)ciQ^k?G&5A1!PASsr~^CTPyI79pW($8D(Z95 zb?o-e{u=bo6uMq5Doj*w5+}U0W8#DCC$h|fUN(vpJ7=Uh3H@F=6vh!krp{sDx!axD z$9-LlpP6w1oP*{fs>k0D49I+d)i*iWF0=|O+MCnx&L185#g#B|J3c?t1~XzV$7pbu zyJX+hl@^DTeWe-h81}8T5Od-OREWKnB($?m|qzQ z4>MUKro9K7QgyGRDfQ(o7+yVmTu%x(P0R59OxV@_0WR#Netd?_1o^`xeUAd)4n_i< zZ5YoLF`ff2`UpuYmEQGO3V}^1Y1mj7*yg8mG17U%V=6DAYQF~l$50%fhpXCRHvasV z?1CW!HMNP)&}8Lc$wfyex%eNj``*>`x#%W?6n!j>46?V9+BO4AxQWtn?+LK}Rw=h! z;}SF1dnU)^HmA1;S~Z{iYqe}dKpVR!ba~K*p7=Gjw7&RhXwT7bn<(&_e_ze7FV0nIPK+1;p2(+@Y0vyQn0W}g(kUqqRzz#v3nF@-CyGIl zU835X<$cfPPngsvvunNo3QRBiUnPSF>O(GX6On8fs?4Uo9*X-Y?9z3>e9!gnAo~^h zYuYp(dyEp<6I|EkYX=wV*vEa$$J>+jGdyUe)oQ|cIJ_RIG09Zx&3xV0uv~j&<)Iuidcp|X-`j{`UG4e4C1;W;&`8+ozooR#1_ zJkZ)ZK+Yt74f3DO3I^MOL~&t-yy*2*-SO`4oI$+jLt4upDlnQDlhH15L>cmbbcyZU z)kromGQFk+&lRph{S{W}Vx$=4T0$IZ41A8oWW8!gxS!9U;Dyz#V!I9A4 zGn(!n8rAuXZp=U=FYTZVENBZC9Q!#Y?WUrCaYI(*;D5$J(C|?sx-+pF8|*+ZHPFM7 zE){O;%L08h!K%naNn3=W3pbz>|NZFPJcOt_kht;6iYURjfOI+&&C@iG2#}m%ez5o*?LuC@*o7sMs3(v&Bq*tDjqVThhf<$(iSa!Dl zN{`6S2Eph%#jCQ5Er`D-?|CdEq|Z8*Jp9Yu(rv>lSdHdvZb2vc9mh3Cx&7~XuG?~w z;_E-cqMy4XT1_~ZH5CYIk4%?gjhS|t!}&An9cZY*)93S(jlpX|r%k~-!3NZ*D}1I* zk>V05VoLc{hvQ|3e$O4d zbZLAQC|%##pu|zvoKfg`Gu2tBRO#6Ia#X_YD#pCP|NHO@$I7BLqlM-N4G5<}?OH3m zy>vygosOk%)L(@B5&T|!T<8Ua7Dt`#0M!aSKyfjHg4wg7=;-uMFXBz#W>pd!h@<+5 z?(1X!(X2AqXEzbm#g#HDe|6%V3f!9ce+Y#X=k+PZYG<_nqZmnK?2xH!gCk7Q{XdHTi%ELYbxG=(M51oqb-Vfm_iblbYAG>EBb)iUSwjyll%L zUZud1@jS(@#_73DeU+p>TUba3z1-S#AN7#~m~mvD7$bgvN0(S3zN#0)_Dg zuYJ@Xf3?FxdlfOh*qiYv;*(iOKwhYrjMHpRkLML(&RN)5dB;; zm6Rzc=6B(kgAT~jcZgYRDfm>W23qzn#JRX`m|M@m#p9-q9UO4%Sa6_pusFnsbFZuO zS+c1SXOu~oDbc@A#ka~Oj}wfs+wWccvczjU=$eHt5PDpC|X`f!@51Fqk!DKvsot zsvkUHot9&V$-5C5%ITBmqPaK(N&@GFf2p}Tn6c!j5!Q8lbriaKE2vdyaHu*s2pj<8yo*BE#+-=aUVr&fP9P9*BjG_soOaj4{PN9jjumo zFAc&rFjQa(z5T_@RcHD7Al-sQN!=``xYG>uS2ZBlsc zYXz_aeCio`-(I(4x6|C2$N#p?3v$20Kkowk9vHN&L$g_xN56S5M^&g(u;>0hDZt_T zNuMo+U;3L}6|Hm~SJc21v41_m1puuURbl4h-^*^pp~+oSB-MLl)oT(gHhG9hi1U|H zmxGHj+k^XvVz>BebH$S{8G+>r_C!`uNet-0>k7hzO(maYa4_>(=SP+9INo~mXV6>L zpCJaX1_wiO)%h(7g6R>zuGmRo&0~~idq){2m-KNj{)I?)u35>ZV6_9pDUSA-*{~9r zVIZp8tuaF@)z1x6{J0n7Sup$$02tkcZBYN{4^{Nz_Fn9TEJC~G&OHFh>h@rzr*M$? zcAR6l*z-r24Qmu;j0^qNg{~}C897si5vM_Ow6#gBdjA%Yzfn?Uli4`ZSBtp`*1P?& zy|7)Q77XP61DeHyv$tS5vDu^s zv>C(+H7w+2V3@PnN(Zd<&ef`XHo|V;Yn~W(Ins_~v;wykHev>f>x-Q&6Ban5%cg)B zMkvKjR;Ypl-=bX0EtNGEROn0l7}rx1U&*?&{kyvt@YDSXk;u_)3Z}#DkK77BUuA-7 z8z%iEmyO%WcXk4YqlXQ<)OZ}APUkRygutyGWzL3Ye@YQpBB=gc6{Fb6U{3j%l9qs^ zM3iV}d+d&VDkqa4kpH#;yUM`v`N_Q&-4X|nWckzJ4|gns<^6^Y(PCL*8x8Ext_}C& z{(9M&<2c(zcG!goR0-=?ken0$Pp8lSl@t1d$6@2HZjc$65`^PYVQGv=d!NVAtWJ?pUV`|Iq@P*z)W_tQO^+L{V}_2d=`E>-x`u(vB}Mz{4C+)b%J%ki<7M3I z`ZKr6U4b$}U&;NxAGY|c%DFY5t;fKw_niao{3%v7Zi?|LNMUUkD`JV0ms~DGx-YVk zlT4?b=a;O|HoZOdlaXZLW}FWwe<*hotnq<#qN@>%VQJ{1?O@)nQh!YIbnXV0zlQS< zW7fi$A@$Wc4VFyO1b&}#t<||3je2#PKFQ}u`B#wPxgXl#ogMs#jGOtbHxyR5!F~gp z=o&Go40}Fvp~pz4pI~=po`S0d#xeKk-s1qD=F8{Tqu2`|4?I`Ze1Xg@SkX!dD10~f zL+`tu7Xj=#QNznU)|hEp75r3P6}R*)Z^2m%iBHK$E8k!p?B6R9*jf?ef{o8mQc{;J z_@4X?%rFtc zCVgYod%T(a>=#Jht6j?eIWtp$0cIMI17bd69o{2XlU_Eis*u*q;dG0fJ z7Q`{r$#kr-+ttNFpNT60_!THkf`fb4s3Km!LMLy+T5G3Tqcx9HFIu0pz5HC5P>ca> zllqi${o675g$AXjpBPN|hZ&x1|63UKGxUDbc(KjtI&^fuW6Hiq9k3V`p2=X?Z@n)& z@Ghf3(LRBB%Gya+-|VmjIKH+Zx8DFU*84H#6(#RyGSGi3yiPmE?33yco!EVw&ZutT zf{JNm=-yMfeXOC*QBm^flCX&!q1X)V$B=!4cIx@0%erG+@Kgwk3O%D!C_UUvg@y50 zQd_7%!$Exj4)c+DPR36IiqtQn3X{31mE6UwS^54&7rk9uN1;&7 zd}WZmJ+5!P*b`lshRww3vw@lS!6{~PL|onVEnt^eHE8TeOTC$%>PthS+JGeE z)6%-6mipNvydtp*Lhy^%!L+_R#uoi8I<%wmhts~N(VO}Ej@Vc)R)yBSsLJLxF;)ZP z+-G#{tK;)jFs)_N?{dj^rh4zd^YH|DAa^YnGQYRt$=1gZM2g1A>&&CQLp|`qUVSvT z2z+9;{1F5$9bWt8ddBEvSh)F`d~6#gnzcx^9L6|BXXO*sZs29VJqeM(TPNV0L3Xb` zgbQo074!>c3D2iBJTLN|HceHv=NTqek|J< zV|0Q#6@3(^ZyHW(X^pGievW`&0A0~;K6q=mKW5f1Uo6(sq4`Rme=i6rCH8I?Gib`s zat+~#Gwe|^G|Hkx zBp=d#nsnnkgk$wG^oS1K!O23POOi}{cf0`X$hp+qPkT&DF`P#R3g6=2Aq-*dH4Xge z!MAun4_}!KxB&F+%uipIHf-F$8tS#h12E>;yfhd)uGV2H4|gxgNEJ^0_y`t|k<+df zC@yWU(jfg14qz#rE{}N&F8lXAwHI|5nUpd(~aPnc`V2$R=&$gby1E3jyX_0{-T2OmGjdK zTf^O*xzr{Dc|f+`N0lJPCJ*ypWnViRIy)nSBF3mWY0XhC85wZ1_T=2S;2rr>nG-ci zwCeekFC1*BAcx9Aa*j@70+wio2->jZ3GRSewv^>^ZWi^n6$pPm8`-HB-k(lgYY z*#x8A81kC$_|Npj`@SjW@IBN9E?)@WGdGOgbx=Zz zvZ6T|6Glx=ZOjw*S`|-B5u@q79#iVKsd2F^sfW>_JX88kab%~uUtR)eC@i!dHt=KS z%)w?!a2I)VSX>CCy!2|GdZGG$ey^qPflFB-Mo|^?J)rYAc4Rtaf{i=4X9YI6YPuEq zp0CszB0y75(GEkN7`bdZ@D}F7JXp|rQd4)h6DBSoG8%Y19od0?*GJvA%H!d~4E-** zz0<$4F-;8gu=|9@=fg6@44Uf$# zS1aae$4gK(hed_M-^Z!3j@h|v!kOP*qM=sCXU^R>JK zVg-Y!LQ0y_)RWzFyu+n4zMR1+m?)!_!E#nL7g_nEK@EHNn21{5jejPU{Lito^5S5F$)mE@(>(x6uln96q= zC!IZx+f)jG%+~+3R-qkophngQN@BfYdqxh0hr|Z;3%&`YE~_`;)9S&ki-YIK7cpK0 z#Z0x{QJ|VCLPOQfM{B+ZoK#*8i#>-&qkBu|nhNbWi%^q^^RuIc)j}uVMRFgHOA5|j zhdpd8PS&^_mT+C)r#taHZ~!eeA@VI?2*{c4UAS<;tnMb|iny8#*g1Gg1#VuN8&cbc zRQHzcGJ+3B-aPlN1|J6d8d!VCnd6Nd8Rt^LtLyFkRHBxb>_;PD3fwYU(s;49MqHO` zS@lWvGei_6sLlo@l|h1K7cRuB_K?)4zL`aNo76r+4gK;YM^G}1UnykJylqz?`zLkC69;Q$wF__i1A4th*}7iX;;1aCQH}v3EIU)$URqS zbfL;+YjspVho(edShnKy$!s2jPbOnSFE&;DAu9LA(xC5)`{RIa^F zRgu1VQ5S(L=tYi@S>GG^*A4$8ViDn08Ded5z+WYMLLXPh1Cj<>9 zdcuUxz@V#s+IzD<)zqR%-T{BA50^*rL@#PIp!>pwE1uS;!1erGnbz*aEkM<0Qxnkd zwd!$Jy@Dwg6Iq&%WxP?6qG%4-s zEK!`XM?lAnsN}0R3sMNoeqY~6hWpsKcU}m(%I=&lX$^VzE>ns$@?iF5i0F4dYoLBGJZ((`$nmoNkOGK zGqgkmxkFPjLqg8VA}T@#!eM^`chvdvB(J?)5Gu>{KgUn}55U%Wo#k;8o7+WHo$Fp_$i1fO zTMV7{(zMT7<}G}l(3SJvD1b&j|CHGE{hkFoY=|0^7PO(Gs=fPS`Mm`swD8WUp)ggGHJt7uR3vxZfrYT zuM#b!yTam1g|J$W7&c&&;SXk^e5G820;w_vV9a#ptN(cgy-j>DzZ|_)o0ECN2$E@jg?l z=K@z56RiJPvgxVJH&3uI8gM&y%jVcs1s4%c4LnR_cM&>GMa)ztbV^?o4aKuBzF;~Zf}GE$O57hxQ0cVY^QKM-+;c%5(lDK?m1qXq zTipUs3&$Dm`TRbt!N*FeW@yf3QvIc}fN4;(bGvC7EcIUsdHWdG~t^|?^tHPLkbL^v5cI$s~aYLy|lJ}LL< z-*X=S1CltB;2EYbfXY^m#Oke_crkIij>J<(;^z?OdiBhzMWP;q9U;H>^ruPfWWm1A zb#^T_RTM|Pjy*~}ZyZRDA+54fw+^EdqLO|sgmLbE=+<^PJeFHnYXwYj?)lhS&Fc9i~P=t&FdT5`apuwyQf6<=k3`{Y}NfU{ws#&@bxGi zVq>4UIM}=WvQ6mJxjpOK%qU@PTtQvRuinX0h|Phv12fO=S-IiD?eVPYI zNDqm}qogGS${unWe%dozj;PKxD*=8b>&^7zMAv;Caggp&T<=C+`VFsckw=}@BOK8+ zj8oc0d|NjZpQ`LZ>c`!3CtT|5>}$``1lzrp25eTU74d#>7B2_!fxIsJ=x(>|g?>-F z+}ha{&&GmfB>E@})QCgM;-W>DE_tChu~Iy~t44z^^Vsu4*dPWptjl4pS(^qJk0V3u3jQY82f z9=yh8mjg1(=&I<<50oi{8PPF^Ns*Civ)z8Lb?d8jg8cYEGTT2d#yY37pq)IOKE0cf zB+vR{*mmpPESyApfxS(zMCT18quYkaVJ%kC9n|~8H{MpUYjpG^XQHc?4t50eMdaHp zJZ~)eO5cWVr@p1ij*&lCiA?%PQ^m$-$~e$*Yv>S*Az*si#0Sfr_@~@Ql~Z@CO{FOx z-xL4){cc=u-tlX469mx54d51rp{80yCI+VB9gRw_i9s_E4`omE85f0 z%n)y+s)kzoh6c74ehX;2=M3pBx?y63$CPKk{gc{erAqELouu*h#NZp*rzx-BCUcKJ z#G%qC`Fb zvKyjl+@M@ynOU8|oLbjScB}?IB*caz^2|i!-i8feNKt82#DvASev5t@+X(5V;B&JU z_opKkXTY(!!qDAsxKbT>SOxopMo|y?r?C!jkM7?%Fn!{1!3O-iQL<(3SJXKqLIGvZ zdhlhubBLN6O0E9+E&(US1!KX!O!G6yw>wz%lx7O|rrhsvct8mk^NC6b`^6kb8b~E2 z0ty5C)#dl@+t`oDa(Z#@Pj~KeiwzD65_3BmSyk=%fBXkOOBSn@o9oAm_9~LLD~p6)LiQgHMhIwn%zqCRk-Y!_E!kp0nMT`ktq}WP zu-!I(Cm~tn0C^&tx+UU{d`YhCUd0}H;^b)>z5cG@{lzayu83mfp~O2rBb1cHi~*w1 z3q(#=^iAEa?WZG@&y^4G@%;wL6x#9&O>5&FtQ*w@dfXhz|1ejMrW<6nhT84?lzMbR zge4nL80gQB%gOLlR4`R4A;Hnh>~7W?Nw}mm&ItpqqU7lJuTP{%`qyb{Kkc}UMBLK) z$+@hz#p92_o+S9WWbmD;a)}j%%fZd-$@%xGX<6$!TKiXaYJb^A&H_$8UyMXU(kJ2NvB3 z?jw0DjiM;7FA{=}>mO4L{phk${aTs3giSqshl}t|)rU)eM{4sSq-LWH9#)1I`DdE_ z0$Mh5F~YfTUXlk#g}oQ@uxsSO25uoWBT4 zOUqw!)e(hFkjRhS=^D&$;1Kg(zEsVKL?$KqF7I{iCDakcGdi1zE<$R{+?4dQHf~$c zG@4x1Cr?h3R+(lDkz1|uk6wvMDjuw$q;x4&NLB2a%b|a` zcR6sGce9Gjznc|c9By0C?49QSu4%Rt`yRm)7uHx`9ubi_E>6BVW2!r=JT9G>Z)w(F zbJ(@kPnVeP4UE~Q5CfW}7fpRFJgr;GSx8POfn;Ny^4VZu^cT9fk|gn2I*O+iD&F&? zIVk4&`RUu#lYhe*+rj_uMkR?p$031+ct<`H#PUuTZGwipU;IKTiR&L9?T!Qokf^c-V!YQGc=mQIb~T8i%gogFK7A*x)+Z4^Dck` zx!18IT`U>$fb@PcM3@uDuP5kyb`Ut|H?d#j>XAd?r;6@-D_Pa=YR`rA(Vj1v9ofZn zCQ$9DL|mT$b`q{|9wY0>#WC5=dtZA?GfUFjHRGK!-7JqmL#v6!Z3aE-y8gF(e`lZm zf(*-sAhGLc7K6fe4N=V2j>CNj8tS+Zr9Jj*lBc?>0UQ#0PgCz3_ZcxQ^LREd6)sf$ zm+ce$TmIO-Jj>!IvY)2KmMQOs;3;9B4X3Ow2SjKN^fnlA8-_Q#_Dv+qiMfTYn?I?s z@m$)I=Bt9etz=t|d?>aaSz7UyEN8)ZN^k*hnc74c3{HG*tyvB7hmGzI|W|5^I zrT0`-n^dK_-J_z-KD3I*^;JH1PspENW#pU_dGM=G8H@i%n{>)?P{-AmpzGI( zBt!+(&zg^@Jn*$-?rji9_fXLsrkQ%ECcIBriXH)%RH9fxrw_lp1xFSU!y=kVJc_r5PcZB-j1#n_3`sUM#m^-L@{k_oy%pZ!nm<{PV11sNE{ntkfnXzI6wH<(8VErzEbuVZ; zLNX$|j%irLX`bIoOW*k^w7MQpirz9IK3#-k_;0Z7)X$Iot2?|GPKF391$28)%ROrh@zpvY~@3wLeUS(dd}|^flu#dW*+-Q zQs69anWHlP>l@iby`lHF-h2$4f7g=p67l->fa1v;u1zv1wa?a``qp$Q46GZ+QSEKv zxkyd6^Jw;K=Rc0cfoi87$_|G39+EVsB_o10^T%tuK(>XBkT`UlAJ&#IRdwu-7D)Os zqk<>ko>H9IVr=_SnxBde#igzBR-WQWoDC?FnWnbPgs)vZw@86K?t~HF^@#pYZH}l$z4$7Oz&UCejngdC3>5C!?dKLE9Zfv;MV|w zp@2$`Wu2Wkz!}#v<;lA(|7P13D)F)r#M2^9A@2%`F^Wh90;O}Nw-H=%tq?yFe{zMz z`yLSmyxeZ|?`YZE*q&9f+9|ex&5&!#Pu7fiB7-jY{lnxJ@7D>i0#`$z(5yd3u00)+#(Z9QF2X0ijb*|A?+@qTJ~hE+t-{d+`9u{3-- z@hJ%SE`c=0>$6G40voi8B2hQQtHP7VKVc@w(C)^m4jhj<=ndi zyuBrC$}V{cY#PaT4=qOgt#P1C4+=)($3vibDtjd=?pE8sT83Xb1aLvVzjvH{vPzyN@N0Y5wSQd5 z|NQ~3WoviQ;n%L`pI4dGsDPEsfeKh7C-uI3B;WA6yGQFHZZu?RS+cMIh(=IzuPs2g z`-C6nP{%62$^dq;x*`(G{ei*@+d5dOz9=?_ z_yyjBBAm}~id8J%;lq8oPQ>O8;Afn^3HYYHO>&*i?h|^N$$jEnf<}P90MFnlRzt^! zr5Fx7wzg>Tz~#KzrnQvpA%I~c`GJEMmvVJ>TNg8+bmcC5=&d+EUdVNw1 z*1w&+)XljK{Wyz%SS0y>Xt>I#IJR!tg9q2(n&1w>HE4nd53Yl|I|O$KI=BQ9Ab1Gw z?iSqL-Te*sTkrSutkvi2s@hejclTr8iabq4aM*T$;U7cnwt$e0NI~uz=l!g{bWcBD6|77ZO!a9p|Lh0CJ**djiM6a zifK1u9PP|RRtvow{@&4aex6p2xo3wxjs=jX%G4a=AQvHV!rrdheVXygKe$Neeh~;D zq}abVD+QH;X5_7bTT@XX*&petmAsI}J3}QtU13PfKCU!A>sozN_CKImMmS~SWL1xN;WG)-Vi=a8T8ScHw-x0j;mi0$igro| zJa8KK#_H`fbyprrXUCH_9fL&a;lXV#IHW`F0byjc6Om!3nkth`wbr(ZeweW{-qBxQ zFmp~Um)KGL?^o?65l7KPDb|^@-t{!NeCjm{rztqa#9E;rjpoajie90|&3gyBr|~a` zB`D+?5WWvrY%TwLT??-Tz{-rE^7HQQ3{D`}}p%CHgtlL|++SnM4Frbu+D&BnB1&0;p7N1k7P}TE`(?zta zI@WOj1~JVJ)bJv+=mM*Yz`-6T49jn^sb~}>_k?!qPkfMU7y@i((&p|qMkkJH^4fUD z014H=R-+GZ#!s55_=+}uWQv$|%-w(v4HysuF*xu9kO~!3c2-aWh0n2eVq-Mrzv3$h zRHN;%4fON24hKDj1LOuAiecg_a0aD@9IY&@TO!JT;s`Z}<<7Xgow+)ZJVv~JD&3?b z+KD2}`3!;AL_ALChqo)$# zy5CrBXfzkN+OSTQ9>PzLDEeq8KjRm05VVOn;8k49q??(-sU4|sMo0jqK6C62{ivSW zzQB~0#GgWPK`K$yl+3-luL+$2+V)h45coXCoV(lZ@z0MDTquQA`6+__a+5>kd>2`l zSY#a{Ng{i39@r*h1E$GgZ}YaSa>YRzqFuDS3g%@8G|!Sjjj5Sl3H|j}HgBo^vXF_` z;Zu0iaAw1fJtr4_#4y;-2a%A5OAxQ0b-_wpHWn6=zPufiP`>stdjlBr)Rt@29AE&8 zHVnRHrTVe;LnC(xVs`Eu(X59EImFQph3*3`GbCugocu4{KoU&U%NVOqfX-$^_zTQ! z=JdXsY>M7PS-~UU_tGn$9sK&(^ddz2y=&hN7poX!+svh@sI=;kV@&@_nX?-mo-?n! zp&#BEWl1MeQ3O2ivBRJJ2}LNy4gzEF9_(;E zoLJiD)ZzVm)4?*YcClld`&q*8jGUb0W~(pX7--B=SwKvoh!AAxR6+UY2RXvruc&J2T zYKy}qq76?eCA56D3jUouX-UNc-A|Vp`Nh$wBtSo8wOk+wAnA{~6TOz7DXpg@QzX#q z7PXE%(7U|T{JqV;eaZmVfggJYB`J4Asnl$T>eOECX)-x@s;MQ-rE}FroNy3khV`UH zWou^{^?VNbwldjF|BVJ({SrTd*xF}|oK}zyyw~ve>`N{{gP}k_ytjl{DyGR`)PJ82 zX=^K-19~f{ryXVB&+m}hVpBU68*Jqlm16Q#^n?v(+yxz6-edcqv_Dn>}Ng(e}#W`>(N+eJ6!I6C_~i(v~xw-41*-2Q7gZ7%m)Uor09ZaK^ZpmTedPEM{0aR;@`2(4nr$bkmw5`6hVxO&9;+}Sb?da zdn@~1w|3jBZ`3$1@A6B&$u6G%KBUrVjLXIlXv61I*rm3}!1V|*s_fc}|8(gG*uw2z ze8h)qqg<~Jd)(2f1rMaMXI(YQi(CcgyvJz?gz&I)BHw)+O0YQ@@>W0iM^*%phJR|h z+yd#ZSUY87sX+Q=$A~md9h`pm1$CCE+1gpKb}M;ln)7`k2tB5 z<=a=A9KAC@Wl7s$fikl`WjPV~vdwaXvGi1>+a*7TPS4a7ovuyx7k%j}{sBIvVRtG! zKDrBZ_i&1O<6EP@XXC=0`cPff9nkn{ys{w&g~13nb|%Ugy&UeA3Mlx9|A+Je`^@Id z{h$gO3p%aeTie=thZE9h5EElYCzIH)`Ho0*g7Ms7bgX79Eqk2 zasBK}-*Ks{Q=*PkR9Imx7Dlk7y87zO{jo#bn&w%x^9Q0GEP>lRQwOTBh4QU(i2!G7 zJiar$&!2`aR*x~T7?_)%PZle}s^Psqh*Z;zU;5t-n&JnXJ9FB@4{#xhUD)pR{kPLt zWIUN2H&ZNyPGQSut7yOw3q)SRhGrx3xf`mKSfxCKB1m&1zt1*UV$yu{UgH7x$Zel1 z7^eTo4LtUD;5J)~(y_+@2^Il?)AT#Y`IbXh`7-N3U86wx`2vU*H~b*uiw)vcp?}Ia zP*+3(f8Ji-YQR4{XbA63y_*3BzLouKOl23dlIbxDFG1%w&pT5q4Le0lID^y!$y?XB zoTyWu-Iz5i+6Hbf*o_5g-Q`efk}$@R8Is$<=7^lxP|6oP^) z9wCxJ2)HNBk3JJz?F}w>+pW}r(7jGUH=gcyZ)z}vs^1pPB?+<6eaDh@`e@{7G^uF_W2nql-2vZZh<) z+uLJIax+lt=QSOI6r!%QKIZN{kX#Pk`4R%C&jtRZ54Cr32Ad(zLT?P@#%eCViw8v_q95w$>1FY@nNuOUbspBwpP-T-Z%tzF zW@AT|I>{7U>=MdHTfx|X6+G!3Ro3w+G_(Lm~q)Z@I7s6+EV zval;18aYaK+HNi`E{;1;AEi>31(6Ur3-MtZ6-qE{iD-ZMqVfrC%7dA#T$nNaDw~J5 zV3wDP1U0AMrNpfN&u2sNnTf0L2jKB-@Kl%{%-B(-=DIR*|KE8w4^zvY3t-7CALvvl zMw=PfH6COAR+bYx&pG!`@Zc+2cKhafQ)C#Z$&jNZ!7;-2v;5hdW_q^$6l9;NcqSQ< z6|KjM#wjlETfJ4&ieZMipfpiwk5ia$prNY~z0;ap{Voee7Q$&^J8r{|>aIEP08nCyaMYljma#Csk!8Qq% zY4P}0cVVGNkA`;fuU~v(^nQH)Ms>%BnBy7H9`5It7K9%g>jpWKp0!JctmQ_MHewYebZhTthMZB5OV+HkN&E|) zp|B>2&DKEWc^59I_LXlfGBY!m8c;xPNYOy{ZDF864%c?T-)M{#^k7LlF98j#0@P=B)#Jo}LeLd>Tzu!!x321g{%e7>4~8|T{ppwh|* zQ8o|T^$Jn3{w4in*~us2CuY)cu;vu9ffzV9>wphZL}XjjMWU1doi9untW3~LAaFNT zG$4&=Mm$@tiXtk^E^|#@|NbBwkrmmEy~Efo544atGb5l;b_kVe3!$8DMo+-Llh&)y zW|+EXrTPb_D;tvpQ&(St^>4`P+uUK*qJPm=nbS9bb1;On`mD(3%so%a$~TozAbrFX zhqEO?##E!u_NpSsirwawFsW0`NQM0Z2fX|D!1;D**|yrw3$pdshb&~QGgPQEevNYKI?q{&d^9m>jxZ-- z8kvw8)%<5y;X517jX>@ON2DP0iHp(JFw5tJssZ_e~8zH;?it@hiMn z+m8q81MSO$vLB#SRIfR!PrD+mTR{^ueUCjB+#i17mC-B2sUSt1Ge2=8h!@h#to$M#FK zA2YIM+sB<8n9{|Bw=9TeBi?48xvwYYFk*G*=TTuz5@Ep3a_wq41|#7!7DO|THZL{) zK+>^esFd&0A$CUl_{+tz7f>D3*9o_unM%FWVw>YaZn~nt#1c7o^Uvm}Xq^UE$EP3J zMq8ZU@3%0S_+24X_xto1L~7{CiM(`Q5RHvF0W_Tt`-B(TRHJUAkY%%N+Z%(C7L&SX zC7O)8v`RFjPgeKMp@1*<%tK_G74KlJ<}%4^h!|2d&6#W&CwYCwo(%sQC(?z+yxEfps)vojZ);t^8(n)|ByvZk#W!mJn zr81~2+Ppr!p^^T1gzt>^*J6zN@+lF|&q6`N$qhVb_QoE#^^uG7dsJ{n^DghPI-aoRAAI4qB+hPJ=a^3`Q1A>(QpV-BQC*9G4`F zu~>v!g~Ssl{K|iQib8LQTSRgEPAM|J=)Ke$IG8O0HP3f|E&Q0`PyWegt;sx{7hQT9 zJiPF6nKR>|Sw1LwkwLfeOzH_p4VYi*1_o(Kx(-E<4SI8|=s#q8q!%IR8hWZn2ZxGH zXa7qlRsF^CM&FUm-}u5{<>vXLCL66#ZwDM>yww%tz5wnKm#UDuOetvzi@<7dU-+TY+Hpt3oYYQ8>kp|>5k!3|Gbl#&oZYKZeU4Wm%Gt~J{1 zLve)_i-oxr8>@j^O|7b$P6sv*#cO_;>_`Jm=_T&j5?!?KLa(;PJUoVxfCmDk(xeU; zSckQSDNaxn50=0v+8EJ|hN|4In|PQUysUs7n%# z=%tPNM}z`Ogx8e?!orA+D)%qGLGhL~o{y8QBJ)Bx!8FI1eJ8y)aQIsq#PBFUjwEu= zS9nb5O!${gmHGTo_6r7kd={Yzs1SdX#kHEF+SYi?1NFy!MRsaHJ#-iInj%M?Co3U? zs_pE}tr1_?k2oh6lu^qA6ljHl0}S6@PZi%gKV8t&Qd{{FM||Hi#&<$-^wac<9N)>j z`xSob%HBj6@N4wnN?VR4!i3MP^iYugwAnr_LM0kBO-6`=jcMEJMds&k*NN<>FUP|$ zUC~&aa!@mxkA@i7@Xsv_4OKK$Fkjeq`M>qZ;q!2D4GiaIvw?>cWk_f*X#ssyDF2`6 z$ja*lHQL`YpI7-qXj)k=?_Rak>C8)ko^#LvXFOkC{$hE+Wl{6@_5(1r&2K9fYH9KR zvjCvEFILSJP2OUDn&>lsrsDew1p-;9%<=HJqyc9kdZy}`AD)`0$nwLk__W_EveU2DkXw^-PgRE0}aGEX8~Ee)pJ$`8CZd_~o0J4i!^Lqi83QrJ^fR^KNVFo}qOkQK+~6LSz| z9)>1o)lt1Jw?H*}@OAC<&WA$GI|^JXRHDPp4~3(;gAOR;q-EMZ=%Om$%HFvNYxp&UD1uOG7jZPXHv0+$y( zEPxmNmI#F`;td*>t=6C2zau#ZNXn+B>jtHFzQEH{&1KWchFqV=j3Obs(IO_*%P8QA z(vU2OX|ye1RQYD>BR&Hoj9e7Z=CyUY zF45);ylzlmG#`Xdaio8UKk-90(y0hwZTGJZp@O81j~dd~a^?G^f20akM)(*tSbuEB zq8!v^c-H%B%puk*1quAO7dHWOkhvE~Cd35^Cll_}_%>>T1tuB9Yh?o-ZgHxrezq-= zgSH(>mdRv-o!lGA zhKG_6nk^+D!uMFEvBz>_AR#juJ11)(-r zz|SAm7sr{hP$wu-24W8$bGaOU;?S+ywQtsc!N0v7l#nCYVc9E{6n;2Ha- zL{*EmNZQA0tQ(n9g0d)DP6%zNS6k-hF$n^ZW!}Pm8X6cHpuGwA-m+nn%R-&4nf$CD z#Z<JouFRIi?Y+sRZp&a@xr8RV^!{ zla-$Dl&uz=loB!T!hu9I*VE?*pX{Nusi3Ii6WB@#H&ykl*1&0RMyHP$x_!YnNge%+ z>O(0aAF`FcLU?CyD5I6hdBW(NXHM7j9wBB;M@t#A^3M2eDOW-x>PKqOYux+4_t2ts zpK!1IOc+L0%}3Puotiy~wK@0O5655Ek+2#`ha{4k%+|uM5vKsif&<1BhneZ+cQ%rNm4crDx zMe*}S7M3%Wr=_kzH1=QcZp#FS@=xvEr-BDp=HEh$vJR2QXHTc)pk>Zoewf0fJWeQ* z^^hClyg9w=@cY5qezLf;=SB1YE9M#=*f$iyAD)wnMV+?n_Z<%?2)fz}sldWiy~eON;24z!~fA zS5p%h4(o+#m;W4(lbkfRR`1_pR7qf&E?6CiWg&ZMu?B9yzR1qYx*L;9tj3AxRiWXEt{8LZ=J zwq-WLHx?~E95fm_;fy>)Bh;_{KoRu^k1JI}r@vmPxt9&8>B7CRi(;6V5_ebo{!}x$ zX7V{+Rj?;*PQ`!=&JN67wT_+rtd*tZqZL$g^Q)@3$V3sf6&@HkkHPAG^vt?1w|SDa zF19D382skzZS8@R`G0!C{hx(Jr)g5zjU5H`oXnh@I{hB7&GsfjlFr&24Jh zW|UbY@b87;g}J5yAFlCQa{Fh09nd%ptDu5p%-}kce%$jsaq>l#MxHhv-&IIK(3KD- z;@tlBu?Tks9?sQC>Z3sq6ExW+%W*%`?rKRqhjkY-0%Z8kq}_SaXbG$jtSgNv)uS?i zKD%lxsg@5p$nOiAAvVnsLJr6411$gh9IMxX59IdE(|?_*R~~Ow^bXn=4A`@GL-(t% zhEswHn~*zF(0=k`D(uGUO$&?%rf_A*B2fnIrZ~@sW}jn4gm^wT5|;8b&ogYCOSEFe z&?P2^jE%3|+`18phO*k>pUp8a6yJ;yU8@((w#Wl|z%3V*rP($&U?4?^C7D`@h;8lV9WSy;^N8WxRF<6c_-kDSds2ye zZk#3HZeOC6*@W0?zM?teFZTP_DqwK+T^D*yj zd!D4@vWJy2y%~So1A;E1{|z9BGG+-714lUHqF_`p4UvBu25X$I0#v|?vYML9>^FE6 z&u7UmxYSe)*rLK2fB{eraz}3q!4NhMH%H7 zcqXucijr8|a#X(+z$16$&gsdcBO|^{yHu}ZZ(=!``aRd^5i37`UkQ{-zI0K1fZ0w- zqgbs|pmixvxl*`Ttw|qw9h1A1o{P>zl0@Y2bpPhOA#0U5(su=nwE0;aVcSRnLN1%Tj`$hK z%I|EU41@J~gN-iWW?KEs8vh`bIsESib2Sc|ihoYdWMs~9@zooe53h`eWeV<$w+QrN%qL2uoa-oLyuj@FzIkeB!q1<^-vXU57K`or1Q z2>cQ89|v6L6{6fi(Is=sr{}E7(s^-2Jw*4a0W!mF=|sn8!f@0lJ2#@Yp%^z*fe6ha za`a?q_VE52z~NXZzp})BVs~V@?oud$Ha3%zI^)f6YtQAPE(yj+Nc7tgyE@SVC16Dt|04 zU(oQ{+*E0avCedmF9Z>wFu1lJ@?B9E z7R|a?W@{d`7NR|x+qFaBEgB@G?xAiO1`bCrxcn z`m%$IFa11kLqXEm*M{*^7&UCwfkNFc;idWib+BJbu?JNQ&JX2k1uA#voz*HWu=i zmk)kx9U&R=qRj7gquB$zx0@7#5LPs5S#>>+8ik&=%(BiVfUNn)I@?=&Rt|UjgGvcr z*f!0}itG?baYDaU%FUmc=RjZh0~O-C@UolRLa(>X4W-qMtu=Rcj}ybOdw6(Lp%&4W z{v-aC>7>H)^u;B=1z(P-Wo;`wqZKxZ6+u?}Ffz{+oJ3k$uD-u%d9rMtS#Ed$zmnqO zwA&uyMiPu)k)SAcHFL$Q+cpc9ZCC%POqz(waDrYqU2ztVQv^V@Z_uH9?{eXp#2M?g z#vl9c@jI8D`|)L}$Df;`!YY1aEh8YTn6MY1&|V&H+8^;o@H!A>aShe z?hyQi<^2vrd^*>5Zytz(2>tpb*%$0*e|?$qB8+O4mkBN&lGqk-tYNYcY`Jy@Lbs`= zU7LP!)zhR=*S7Uub1f9gG!kAy6e7t;z0 zJz{ASE_^#k_%Z$aN3UWHdq%WE%PNu-H-EZ&58nX%U5@iKU_4nG;?~KDiQCu~xjp>~ zgMe%~y_*!1sxu@i5|mX42~@b6`SbJeR?-f{tlw?F`&LGo!k-Z{4&;5D8AoijkuYv; z+K_tf+u`A2CMKw9z|NYpZ(*`M-D8^#yi4d*F@Af2{F=sM zxu8`(o>q++YKXZW;abogmk!I5icnI2dpzBh^uOt)h|%qa4Ml)$K)Jz{N-j#mHG+$W zN7$OY<2`k7j18Q)D|ii!GacH z#)KmA^)Fmw4w#T$C*t0$5=GM6y$P;*;NjsJS`nn22&0zWZdsg|VAG>_!Swg@?ulhx zFhqPWH>LdEn(K*Ol!rmhQ%P2~lRSQ-yIM=D>`tF!?$!pJ0dL^LVr+-PnW?Rpb^9$^ zhf2gkeuKI20J!Ziar|lb=Z{X~hne>DbYgNce%yCqyE1T1r*`EdzjQJo%^3l-PP$R1 zp&GdZ^S^W^KPZhM{?Zy}{y1}LL8R*^A}xK=y}Bpt_T_5&vq~0B!5l4;%>WgU49@JBJjqYRa9`b z#8*I<=j#ugdAbsReb=EPku)TK!aTm^&Gu0~Y_rpq1X&Km(k=55ohr>qeYt_@x4Lcw83IH*7CSRmF-i}o?G zUti}%lVmcbg76R~y_a09TINy!*%WSDV3)O?VK;%BXY8xmSC8>!wn_g7o&Uzm;3B$< zV__@wS&VEt1!Riy)6=$_P1$;Xe&FJIOhS?(W=OTj>%UEA9(@#Bk_wQm7Rv4vM$PFLeE|p`b6r%1&^7rKm zGa|&!SlaJwh&tX|^dAvgWbW6mTVz&EGN{pgaQ_|s)ZX^MpMZ7#HGHQ{!)zJbx|6(HsYbN63S zQ-=9d3IriS88@LtSyEbB#)PcN#GOl$W0yK29z>n1yEfP(h5}oRkW+3gP$&1dMG$* znRqzYp$&>Vr7!rz?7m6$ZhF&E1S`IO#w6rZ?2#7Patl-?(}CyGcHG`>Bm84KwiX8o z!4fEJmg-~DKfHJ3?J9yyb~?^ChO zQ~pnJhkbR|nu$00c9K_dC$ovW;99Wm=@#PWokd+)VeJ9lZ!5!f{{#|$@GzM4@5WW~GA_hvFn zo2QA@G<+)P*(8uAKby}-%Qe52)~Iw;iL9GnTk7+<%2#`-TH7l>4mVqOhbzoM>NoMV zd04^bs-;WwFUAP`RUEp?&KU7o*20L%m`T2a+dqEVe1^8i^2Dku8|`n+$)9 zpIR*fI_2xMSVnM{Q{n+zTkK8rnB|Wv!MD92G?eAPl96+_;ry$h-US!XOQ=vy)>cWA zjPcCWzqwfB@5I!mNT9&Qn>4XQJVJRsl*%qb4>~nQDaxWAAgS@byE@VAyJDA3{viAr zmmi@`eKa6-^YR+sFI>Nc^G(VlVve}e*EsnhZ~HN>&5jUr%ayp;kI-f&duT>tJc#!C zl7b{P$umo;_%_aX6$r9xH?)Ig^iXzraFUH%+zcO79av^s{nXwhGUk#?1ZXne68XdO zh8ba729)7^pl9O_sCbj3;LqbqG zk57*yE$yU*t;>a`B#$0hXqasVq6ZCi$*DRtFLPV6!n#==Iabp(9l7eEnRP%1PB~(9 zKW)bvMx=5l>tx8*f*q&1F`30?5i@d1?)`d(;ukmo%#YXh0jE-aQcGU*zuA5Mh@twB z4Ljsu`^WFp7uHN(i_DR4b*pWMQnN`G=DuE6n^YOe|_Hm0*QnK_!+)^J&FLa`z?s2 zF)`jl5J$I*p>}3cwABQLQxCNvhKvZt03Y)j!5*_MA0UD6u>cf}x3vMit{5$@{-UGQ zO`R$uWpkO%A4*3>_=d&pI1I1ktKi+}R5TNDB@6S>Yu=lxDWv_5^u?Yelr2Zq$GRa9 z;SpWGP&VS2a{UCB&0})QlFG+Om`m0-r~a;C=6k;f%D1w2E0X!~8z9sVxV|1v7bAC7 z4Fs^(*7QnL8S^&;*4AHb0b{ACI(M_cGZBd&iUE+qQ~^iaP=KFWy7KSa=MH$3x3}Bt zZu+lw0mRK^VYBi&sD;|iy*FMUTds@kjMe?4Nzehnl0*MBF?753ojO{PXlR@<^6k>} z+{DBfl7-GfS#fbOrawahUzq)8*}md}fg9{xfR*;S3)JK}vHLBU+=t48GxyBm%g$QYq_XnXP{G8^7z>s*SQt z_K0XtkJ(2cmM#$8bR7=o7@6;x7(difA3{*}wA7tTZ!F}_Ve|UYfG_>lpN`&0Eg-(M zJlDH%91ecPru+-;i|fn!$JI;%jK!a(&Xcu-MzjT1Lg>2i;m)AW4l1z z93QSr{~7%}sB}A?FRfqar4RFgN57V!t)!lQMo@ z2lD2_ul&2N-*1v%G^1J0W}I9!t2KEe-_0FNSc{-5UP;NpQ$PTuvX>VWoPA8-3;Jr; zQojI&u_ar#@$hhTD+fWV^!NS{FnEX^5*QZMaw4He*>*@lN|lzR$b<9e&roAX7+Gaf zxguJE?_Xzn7+8K8=qkOfMYf@lZ-BX<^pN<=@`Ku@`+hZ$0!dXAQ&N(G z>8sXnnXhmXf0Na;WYTTG$4^-+HaVhv(?&byp;~P1WocP>A3b*#R!SmTEH`?mo_3os5JFky?PzE3RIGY< zM5Cxc`u?*1VrHr&rDb1{F4-D8My_+j_2_8O7h_dKY)ym`S7TthtgP##gC%bkiAPR2 zbI^1IKdKzYfZ0c$&6~FRf>h!#tGzG&mcH!;Tkb3=EzMbuttBFC8ByqcihFN9w5GAM zop`WaKsHK_K$wY#uHn~jmteLR+Dix%>`ShMMcyjw0LNJX)@(BDy@Q}#bf45&^d+}a zVEVECQ~pB9%a7WxaZYjt`m!cu?kmhOeB|Gk(c!$dsF*yN+fr%}J%=#l&TOl@mkU}A z?X`SY!WIbgaP6eV}TvkZge$G(eb9X+5cCBj^+1-L70qjOi56gbf(#daT? zia<7o$Wc1#4QH^w`v7U=ksfGHyG_K9-HGlwSu%`9x`IUI;?~rU+F6UY?!74K*e0h8 zfdi-x^no%T>8L3{O7uWx*>40i1RXXv*j*Yap1{WNU+K(l0zFOfHSf9JDBw|2mBmL4 zNA)Bpo3eiH)@Wx7i7|d#U;c+Wpxt7sb&BhAB2>A}cAgVcLPUk)5 zJUxB52B=Pj;xEu5a)=xez2gwQSWRedVb!> zB4Oi@l>X>^0zO+aS5(ZyN6!K(280}=g;8ySw#jscELO&|XKkayT_pw;cp4l3=qa&w z&YsP*Afpn1{lbC6VXur%5$;{y0_d%I>W>=@wM@>!nyY~(bz8&jgRoC|oxd>U{(lz0 z5F1bkR_fgB3ZLxd$R9YV8}jy&9sE}6+eKBSoE=#)U9ZdF+M=bMBBK8l;+cxnA`+z- zL{AqN@;PsIzQT%5j64N-C~EMBQHf~y(L0ITyZIW%mBfe>M6eSd)(Rc&lQD;b+Mm7; zi!cBuYh1)pD3?{T-S6LWy3Ch3liKH6--!WH_x4bJF=NBQ&N51URNPG~iq-lGDc>FFkuY0I_O$x+6i{WF!t`5cw#*T((rYOAAC35}vDxmtCf59)E zLk}2peiDkaHFS6`tZv;r?rmQDx+;CfD60O&#oV!o6|oZ5;0EE95H`G)1VsgEKrSv! z-sIhqVAAmQB8I5ZS3RQ`(sVn_(dyQKMb64>LJ{8)%<#6#)C<#FhtWITN9`Em)7D(4 z^xnL>_lGfIpEm2>bC4&6F;ZM?r@wO!e(Q%NN)>$rWC`7_YCO~7YQxJ~&Y6#D?cj@5 z`lx6%j4}hQbhs@X5NkS|h*Bzp^{zccSYA=ON5A<6X-U_HO;?FWPNdP9{)f$^u-e-% zpUk7^LomL7^G1_v;yWaI#fR9(A#q6@f=BTWEy~a9P)1+8aVB%7pa&A!Z+o>fk9)Uy zFIY1AIaX0vqQE+1MVxvUI+BLBWkC-C!Bv08~U=-WDl zi-M=!KjJA+PCefdcKle-=l6hyV?7wJN^>Yoa1jm|@@9^UdCYUMu^G$)PUB2sno>5e znfU4ZxcHtl;)X*O*<-fPdaI>Y0I zD(@w53@+)L7;i>^05~PXt#sJ5WhJcVxIz}%9|~NzZTCE2bK)0XPI8Syx47Ld-_Kf- zrz#70RaXBA45%f`I=D8f$EL++JsdofNn;nxG8I3;&YMRV$+EWDBUU66Fa*A zaLUr%B7zoaakYa-Na(p3y9k`BKN*0A>Y|a1hTA=O<_U9t#<7}l;9q}Vd_$syfV=IZ zM6+8Z`^pb;_PUH97BK+8S;j>vOUxN;hOZs%zz~koJm!J>p7vHrGj%ja(_1IdX<37q zGewxxl@I#2f3Dm+?FS>#Z83`a0$_6^6TTbk!+&IK1+H;tsCozC%^QY(gJCyy=mSRl z&eBI@oIy0c`b^t;BjQ%k#xM}7jl|klKNGu@R%BFe!OYUro zF}EA$T;z}So#ywoT&iPep+OybJwH%&gSADRe*E;((qyZijg5Zhp`(r>%zMyecUTLz zEiqcqTll)>GlbwCu5mArn%m9I3gUetLQw z;~sBRYiXyzJsv zT&j9etfR;Kk)#P}T-4>w7Tkdao~RE!sf>92wZVKBt@y5#&}$QCHojFKm(fzkhbP6b z9Lh$?+*!y@x2Mm|vix*m7hNjjCMeM*eic;ULAL8J_cRNZMsWLot0h{~e&6BZ+dU6q zcP`eiq>)dnWc4R%UAHk~E<>DX5vm{j{m?`*56%4d2C}p8xRmiy%v8JeQt<{fxnN-} zW*iN4tj|X?^K4)L-71CuntnUap7|il4&}_|lHF7?trMp3&sj?_um&fIq^0e&kN>Dpw>-;?k{qd zU9`_W>A;#wr=!!wl+ciK33;V!Pt=$C#X@?hcQAs&6yfxCe@b@dj&O`%_j4hpRj%e^+BDt%jYHD=%7$#W)l( z;ewTL(GoHZ@!3Sm~E*)7vJQnzF~O+7U-Yf@}I;Gir~p_x+nef5LJrxZV;1jhBezX%SF28IFfhZ=(z zyJ(c}gO1vR9;}19Dk>r{ZEu7Vt8wmYR zOO2A^yTvut`nLsXBX;RS!TF2zdrUd3dG0q&cK8VQ{TEg6Zm5KvtYO{Pls)XiT}aWC zJ6jc2ryp}$LJY6!3|=ZC|Bq&?42!Dk+B0-_N~d%q9g-4)l(h69(%mr9-8GVu5|Yw2 zfOJcDcXz`#Jn!}W-{)L2_gd?Yz4!TVGJ#}%GJ@UlHA*8B%!wsT1@U#!%NFhSmqhgJ zlt(F>U@t8Z)MxpTk-u-Jyp66_s-f-UhKDP zcIL=@Vo+(ncIA_BU^c@MmJxp;VRaRC{jFC!05dpnJ#16TM+A#P#T(|`-$p=JE#)M( zOZN$rJ2s;*ujnjQ)y<_5s(IM*hH=OA7>Ik0Y#b@h8}3ct0(Me^`v(Q>5yqMyGT}wM8dr%XX!uO?Hubm8)rf_$IU#pzm4R z=&4K`WLJsfDQr@WlAM~VWJti;H>zu34@<3NhI%6RZGU2U^VuZXy|H=qm|?lo`AuuE*{YB{jsp=mnOZc) zbRW;Ro(JSTfsxT}KN}3=1s1!;-w@!_dv*$bf}U|kF8+qH6J;pYDtPYk`+Z;5i1y%Z}q0(e?S=*S5Xfw1e+T9V}|HCOwtj`;9b}79)NPgV-{f? z@-M?|G&D5HIHuJpen&$rFm2OO{Z~=C?^Kvl_V-XrfB`&!*RjKI(_CU8imq>L&6pgi z$Ap?3i=bOw1vy2qG5IuS(3!O$3D1O=(gtL_qTJ8T1cSn`!tSh*r69Ms%eAuD(l~XW zG{|no_=B=GmnMMM9q;btXqe>Rc)KiZYE7mbXVZs%et{z2R<@Ppw#Sox^L=i>#$(h% zWE+O@vE(y@^9(WI+?yFRleRc4-irX>N>`z6ZDPw8IfT=!!VuUAR-Nd(YpdAYn1I<69uWtc6D1oe6o73nDjf^M0n^j|e}Y zw~GUcopNiW*-&4Zi1~H42sb*tlS2m99}&Wgi%31OGS1);+ptlixwO_p++d5aR}5ecrFiQD zQizJJ!}dq(OQJH2W;~c&bibX6U#W!r?Q^=cIez0XQJ@}d?ki7Q;h%klp%@)ZC*bj( z5T%z}|433U`8c?CZ0k8f#@$_^H;$$$pd2UO0xR4Bo|l6F#rLb0)>Ejye(GaQ`%B#1 z3rqta8(~>>24Ot_g#yo!(3qWY^E~U@DhtayH*+4^BE&7pd4N@>l_o)hbZ$rg1OpZoIO!$>`pB$N}KxgKVkX#Zk( z=s!UWw0QmyFi5Yr{Z(g)Nc(=3`Fyxh&ahebE)c_Q$aL_WLKvo!EB3R+pSXfj`ZYa1 z(|)x+INt&OQTof+S^V@QFlTe<3>fg?DBz8+tbZWCV3(1*@uVrY&PH!WB1DS^HRucp zy*j1fKJiW)Y*--gCtJte?D?zMRsJ(Jh*7XPbl`7tm$GT^7}#w@ zD2?}TK->I7Yl%a=8C3|e8)2Ier+rFYT~F;Qx3COu4K4jO@l<+Z zuuC@zucrK<(=nn(wAy%Uw6PkB<5B%p9;4~eCjZ5U|KHv30>RbClJ@*qd|y>_wvGV* z4q4&oOVwouVO98BQ*aDMLsZ3R)bR72y8GD^a7PP~l` z)2F_*Yn*kVfGT{4_G*5frdnEV+cffhLLNGNa9WhPHFUl}>$i|K!iz`;o`OFe27LOm zT#V0%T$BokIu+TiOZGU1H3b@cE1R?Y_ZT7+mWZ$zJUx}$cI%n)p*xaMsns?!j-3?v z*+cim?|D4ozKL@;`Y!eWyqyCVJ}~HIV}PbpO}z?vl50|3pFzAW8HWiJi|vXDyBLjUNO*pMOvLMcWcTcA8eF_hZ>W?oajZu zJ`Hob*XaR|E14T*d zB_FDKPn)XSdR*`rm`K%P4naRd50cRoM)1DuDc-)B;GsDnrOz;JX3W3e|Bjr}lA&B! zC$+l$V`q;3k4ZI?&Y&v(_`_q&pt5^yy%BfUNdsC~_bua$EFBo{C2v6kXfT<&lEG!7 zCj?G>DhG!lz#K2&;m=sYVwFtiLxMw1k-FNYJ)rlNA_*lK;J58=Kqv}&Ac*hVu`7`I zq%dU4|FW>-v4kTux*8wn?eKFYs){aH>cMw>Ul$O1OJ0K`VTl@W^Bc+Q?Y&6UvVI}r z<3xsB)7Nrx-8667%8$s;W~a6&zWQn~`w|h&?SdPy`-SfLJ^MBVb(TEyRSMs~Io88Y z+35{b<3~E^B)&#fV>Sj?_Uk+*E&RY0Qevkv1oC*zeIQK5%tZBo>s6}X+09cKI7u&B z&_eCj0@Cr&KA_+pNP9?8dgSc25Ba3Z*w7wdR4<0htn&gwZqunMZZ0pwTI!CRgjlZ{ zcg<@qaevM#%91EiXiP~tYC*&PUdMMas$__NW~u}Kq3JY-%(mHYsAO*d0c8b&^y^pz zxKwNe^D{^CL6%QZ_3+{0Tc)ok6qu4F{k1QciI``18=o-z%SdiQ3& zN8L>IZto)!ziv`vztS~6^aSn$Ki~FjBz#|9(!2sbk;E5MZp2lQfB`F#i-3XGg}1XA z$O{`g-#*#rrM=&4la@7QB@E%1={O+$zD5B^`))ULlRT*jq)D(!qwn1L{)YoujXeJc zNlYf6RZp8#6|xwu!CQiRx?YMI2M;5^alMz+jk*-Ob5DhFcTZTvCZl%2p3)QkLR+q` z#yI7Hy&Be^sL`fcuGzuM$XFXoO~jj>9C1`XFd)FlW0oXi1M(W!iK89#;@aQ}Z-8ge ziLJm)95TgBJo#Oo#a#Edc7?q6rGHyw|0Y%cnoB-6F2^(Fh1?C(Pmyj3ezmRgpbxnU zLh6PoQXQ9BQk-6vdqQOAHwRI&|7xg#eJ0$xaL_)%@eBzVpU`{L*v(cSLzs*0CkP+#+}4%L_;r zG5!Xzc(&)(Py8*9NkW)78?O86-~F@NwWP4DE8gXpv?JmI(}!q?YJAj6MMyuvHigXU zL_q{9#zwZb@lPFXZygdJ=UM*EP}TI{ixn7&zixTae3jYYrT+3plEqX>39!5Lu0SeI zZhqK9e-!Y+#k1rnYU>0!ULLm4@vO$Wr%Iy3nH|n*DeT-vlP%9&%gS2Cv*U3* z188B&j#gEoNsb%MgO&d)SJx7Yh@n&S?J3XSfymW=`EUM^Oo|xt0EDdLYP>2uxgvU7 zKLcn77x327n>L-+^jn*((82y_!4eh&Nt0iH&IV?!RxkF$S|9mnk2o#*WVmwSiz+pG zI@bp9=a_kvm_AdTdi)=^qXCXS{;t;g>hmjA)b7vU*B^pm^rM(@g4TWgk>_q@6ks|i zA#pb*&FW)2R+Ex_!Mp4>Bv@CnpTUh+^}q@#^OfMmN(uY8d4e}@Veue}@v}G^(8G{e z9E;w49q*0>7%%$x;L~mX4ipPVcTOeh3pF=u$81JH9dzuM10SO{$B1SMVP9aOG@~$_ z*yJl&noM`pra8}&50T=ziNRzzjL1aoE%fUBrs-+|fx4fBY`JE8fy47I!8Ro~g>$b; z_vHH;4okW>0^H;EH2!oZ^g^iL8R}lo+F0v(k?X!M?jQk@qQ_yG+@W>aFo2S?fw9MK z24NyNm$snMQx=(b8ZDU9nfwO_fj(jwis?s;Msk0p*E#xdc%coz!_Vm>nLn!jxzSUw zA@ivF{ZIRu#CADp*Ns9qX!|6JEOolbYcfX)p~?&`r_rfO3ydJ)?r6s|_lc2kg-Y&x zIrC)Uvjgf^_`h`H2*Xi{Te%Y#esb1!D$M{T-y(QikV5yhwChz1n%ODEo~Un|u$dW% z5xUiSvx9cO(*eUs<7w_gaFDS->37?VQPs|9$3SS|o&@^q{wU@tNQxjoPH|GWrcKup zWSGiRV^qwg-|QUng}Q6h9K$_-=ukj|@8MdQ*Se=s(B6FZ3hBMmi|KX%r9d-lZZ942 z&e>O*=2%39dyn_P6ZntI>-xrbSbMgAhmhm(Q}x7GGZz8N7qow;2mC&VTsDDnObiBw z+A60ZOIbWM&Rlad#)lIzRh+T>p_}TU>pW)OQtseJ4Jj6Gu8+r^?a+0iy^Ss&e}=;u zSo4=~Rn|I)1VT6(4a?YK5=;udZ)*-{7QV-yODRBdi|yl7U1Q=e@e~{CXA>U(Yvz zx3QmY17Z0jlbJxj_!pja2wmq{a&m1z^hXwy@F3goW0TGRWPsi8Plqj9+C_x`K{Xa} zT>b~Dsr&iU`os@xz>f%3?NffLX@}8P^G`926uc@5j0Yw8>pPK+-i*9*3OjofQweuz z668^Reyf+rfquAdmJCYeF6i+f(dY&pL{MiyT91t#{q&&m3>jG$Q z%6W$oG|Kx`cW5(96*7muZITre{YkM{{FI~?;I6P^GIo>i%v5X0{zg14cdnkyj1qV% zZK{lfv#>XV0u==Bn;bqdTe?}>+KixfXp@o09w7om`^gb9#vUYIkD|n!>p}2(GH00~ zQKVQr_eF|?DXC5C4nnt2b-lc+IOipmp8hx(;*%sNZv)P>0AY$Jz%h0LKM80$4T1Mq z&2+q8%ELypzDj1_YxZkfeo6E0@56bppRvzE%9< zd=Y^qX_Lzj$f$2_*I!d4v-bRH98h-P<$gzz1j#-X*~Y3;Eh|x^pdoDMOz5Aa2aB_% zc8Kq}%YYWP-G?%H*Z}|Hy*r&=YtC)vhSPX|xn9F968RnX=P2dS1u~Rub1TA0==kX0 z2TRClX=S}@mV~qucSKK;LUO9tBvsS+oEKFf5&UdB)yp3^=px6)6K}9?veXt#Nyc?z zx<`2(ialtzW2bZ10@pn!jpb`W*UCH~Oq6VS|2H=z3e}G@!n_aX1Q8bj^G*iO1SI|h zD!d@1H!-*)KVf|foy$P3(Eq0MH%l%2z3FD$Cnr{Z9MaL%+GB^$`+tlF&>Ds6B{X5Tj^F3##vLs-^x!-)gt$GQ?<-5q?R)V{8jXdIXGt)dFe&P zFHGjzFnkeH#rPY36-bf>G<7JG)bj zN+%jW0u>kqrh$CAu;zXK0~$V$_UmP5r)b5JELw4_=bkog`*hgWB*}F>`1|*uZ}u4E z!)!a;?wQCjR!L%i^aSDtb{MxCDH!+r=KKQZQ19c~&@c2{5-a6DWw_Dmszb6NJO9)H zbFb~ptuAa)U0J|&gEA_}Zj9lP#0d=T8WVG^((QfFO^19{#%E2dXT6`?YAwD{QG-sn7Il>4TnpumbBI@)KEbMaPHWe@(>H?H_c5jgPnt0E0< ze@YR=9nW6S*!NBV_$O%fnEhxJ?m{_1?Ac(4FLIg-pt^ z(G%9gXUzY<3y`;9Z5&~duF(F{U5T9^KcW|ybX!N;&q-)MapP@_=9@nCL)RIQwK3E7 zMu2cVI@n}(hRll?KHVY~pS3|W`1N3V$HHK?jMxshC&%S-%)$Co33i=1h0RD$CkMQt zu!R#2&%YZKEK`m~{@g(ebsmUbobvRZbhh^=y{4;Jz%qfd<2MV7C3nP)2h+|Vt1ehr ze`&F1$i*91;OD=hTfSSFz1eCAXFA<#s5ha-v*Md8j6#`_zjQuh4{jVSWm2SL9?v_48hI#0*8>CaEkbnV(4LZ&Kl4zIyM{o#P_t@u20Vs?v6&7ivKEB=oQ7*9@u86DyV@tMrt0~hTwVD%dIWu zGCLTimjiT)vOX2=5NHr>yVR zwN_4CRNgKuNj!^?dp*GctS~_W z!_r|$0V|{!epgo?BcFM!cf1ltsG*YopW5FZZ=fp(QmN)V$Ch<3R2oGpu4!k8+0L5= zGtF~5X}&!}Gg7B>#&$L&!u0*w9_>~D2;pIVo^fn z^<3LL>$#+??16)K3FWk9e}6Km@*w=(bFxDKO;+eaX$k0dE`5yi)dh)(ZOZ|2H9{a( zQ%$as`6;>Y)sTgo(UtEdagm27iO#bVP9U0(d^31DCN79(npb|3-Sg9e5V>G2Y6q0&p^jKJ5{erJugle>vfJUqqJ4*jR|tR+wcLVpXSxa zc(l*VU~GE4@B$NJK7iCm#mi~mw5x+&N^Ijl72~Mx<+?RKdD+|#dB1Jv@BznhLmg4} z^og~^3fm;GWNH~B5ORX-fCAMHo-@dgkmuN82gc#6I42!=-7qF%BBSlhmA=-UKG9Vv z42BCiphxd<<@U^(z6g!zPhFi_J^mW=8eb^agc$x?6$u@|(Prf|uHWXfl{5C#xub_q z^%tE(Y+iQRA6%XZp`ZK70URo?5|sfjd2&87B&sbqtaNllN0orq_NpT?w|Sb66d5QD z^^=ns6u0=qvD^hK!A(`R0Q8BEy3%mcGE#JP7ry0t7NHAB;pFplED9 z!BA}lJJxEq+(*{&o8}iZ_w=beKZHP4+!9{{3Xm#}FOY^y#@b@VUZe@QCZ-0<#w@vP zT}MM9hTS562k@Cl-|T5&Pf>4iuXUG?J@hVjm`QyuQpRE_D0o;#Sryt7mGPOcG$A{I z2s+;D>=`sCDoh?r-0%lq z@pYw#s3R3rq+-nLZyXI|P>Q*PI-gxKa_eGjttxHeixxjG_(8ihM&x)g9>xT!fN<3# zhRzf13Og?Y9{E?w0P^j01KJv^tLx-=6nJzWWI=66=lI$7M@zk19$AKrr2fd+$9u&M z0(~bgQ&YS>-KHvJ;7^q0^G8$h!-W_6m)8m!G&P%P@9&UHxa*BE!QL>AR_*e}$i{cW zEin>jAcE}D8>V>2IkjS~VRU<{ffcS@R7mcgpPvsEf&Tz!PqrFF znwu15i$t!w_otMo5XKlYLs2eRSr5uFox=ystACc2u+);|kO5oF;3#ofHqK-=8BI#0 z{zl>qB?Z8z4Yz7(70+oDA-T7EEH=2bRP(rg-x$jSxXn}wwU(4z2jzTY;XAucu?Dof zkt~5vJMx7kkR8bewepg0+cMT>M*uj_6$o=&)?4en6u`eE{PFCB{-nOjGV^LTM#*+r zz|Bjzj*s{6FRhOifULL?_{%J^q$EM>lG1~i)RAQ6!Zy3#R)`M2T*{Z`wg}UU)Aqq0 zpU1jCP_J(H99qP}Y{yp=3AER{k&eO|-3#`Y*NR98&uwf> zoqyRJU5f>5g?1v^CWxzGw3u|X(!v~_T5oyqQN*-M|B_uknzT;68k6l6Wfv{amEiG67^75>`htt@zjU9~QGG)U) z8-2)`c>BglkC?5k_8+A9U!|Tv&Q~SMTz1P(ik4#J)f3+ zSg-sNl_Vunr6^dmwVwo8f6)DHVzGr^tANN4Q6bk)Ji6}q-~(Wg7xuSQZ8xFM6TC*>u0bQS@K?LqZR$SttDm?S(WqOVmNr}zklnAbyej}77+J$`8 zm%%v+ET_<;J)RWkt063p(ItDc6nE=~cY!6NFSAh!RH8eAyZoaAw=MnGv{bb6REMEo zh)-0VG)g7Ivq3(@m>HHi1%|@ zS=L3*gxCrMcDhV2}(*b#mzr#ugKieT>Gi45s&Ik z;Cw2#U7>K$`gB((rgQ27E2rPbkG@8u2P-B6Nt3$+1Czn!2V&h(8jt0UH(zC)o%Q|{ zeQlQMY<>f^e!n>%0vG};TEa}ELsFB|}0Ho$hEP?N_7Y{|(>2=Nl>B zFcE6fCL(l%?2s(1BPCJYh6;~!PyCa44Xa6dpT9m zie>PB1hjzZMvcQxAqlex0Q6T5ampc=x6h{{om^67b+SUA!TC3IsL#wb_S`; zoyOvU0nHk2m%xMh=IJusYa9OnP3_Ur%DPfCXfMzQ7dj5#`Vl%b2=j5vk7LrT5!-Ka zj3|97_tr{ECKW*$WS<7krq`d%d9IK_ZTYRfx{=u(-Z$yT69P7?5SfYt={R@v58jPw->NRbW@g>bvB-1DFY6W?S~e+Tk5 zchwUOt*NLRfD0V2?}+P}5G_LMU+MZCPu4)i>BW{@I*76%N)Gd{j0FtKp5PcWKUkt% zf?KVhK3^);7P#75*Z=tODa>a20fDz|ziF8`3{Gfgzs5b2ZTN3X9-tg8k0jf3bM37O zF)pIgVlX>zW}`b$koi#W+(Aa#W+XiNIJX@sCI0r~`1_B_W}5+_UBS57&pM1teI>M3 zh@V|Xpk)HUu*|T8?ohB~N)~F6>*Coz_HCpu*=?VG#o@T3h+A?Iw5k$^({qKj_UEEY z!VA%d(9ITAZKC??S_aIn7}H)99s-mImON8K51A5d+2n{Ayp~~nh6ac`*hOs)5?6>~ zlONqK?-Ot@S-+ODG{M*#@jyZ~TT4TU?bP%$1@8m?yuU^5Hl(H{A06ry!J>gEiy^P# z0#pHyw37P3E1=Z>YRvxyFxNaP}ug(TK`%`ORL0cAz|wMTsEl^q?uEh@u1vt zJ6%cX#+Guo4kGHg?Lm7oA>)Dsr6Tdry{v+Tm_p!V`}f{YfrhkeUy}L-E#U;IgDy|r zcFM~5sPQy9(#3hDp{Vjq@XE}Z+MWci^%w`$x`lD`p+Rv0F+=9>D1(>1DgCIy{%RT; zFCE+44EJ33Dth`A4eSu*Cq(F5c$JR;6$FRe+931lYa_5H0Tf^6nh>C$7EhCl3kcz! zhzE;-ESfDzbgROT1w-Gq(s{@SQcFuUO6itEvqj0k*pRl0? zLnI%Ax*!F}&4;ACeyy*$=Kb~%h*u)E7oQhMPHMhvs|XaQfbR7`KQd~(Al!1(dcDb+ z0oNZ>Vbu`jh2Q$hkfio|P)RvV=sX-52CEJEr8Y86Z!|cf5F4b7Zj^g3f3jBQO7keh&Hltj5%_wBWW)3WHSu3+UgTP!5AsluJXBDH ztLrU*4L6dCYfwDCMd zju-qxWqYSJ9k4?1JS3b8#I%V1N?_C@%ydYycfoO!s`H6&r&y7>0BPiC;Jfob=V)K4 zpmT1*U7d=qQ!T-FAjPqG^lvEg&#zZq7}Z-@6+h|gPyB#!A8$~5=j_h~Kk=7qLS;By z=mKTF_k*YKOFJ{qMv^&?D+soZzYUqw!Frl)MMq0ZBoyLDDs^ubzN-Um7KODp@bnw_ z8H6FW(e!8_dfd{Hv1d~5@Vy+(ntO=k&9JgO?*<82BBP&rZ^Pv$Zj7`5EM8}w&zkL( zsdCG1I?ah}oc)ypcycB)g@@7Bkl)0JV!xPSsK}n|sKeXwvx`pw_jDKKi-0zSig zbdrds51y5tHPk~IJBPP~H_kkK8V*46B+{YW8zi)EdZU=ZV$h0FMOuSTFcGY1ZDnp) z<1hKeCs48bt4z5d4Cgv%*%z1rjlu^Y@k%aWB`&{Y%49DgJA7i?-~c+*eNBPe@_e@? zxP1bUvXRNp`@W1i+0q60U4MfvM{xXy*Gy&XqvwL|L4I^q5p@G|VlxjMw5s*R`XpU? zt(_e(W){`Tw448WGehh1^mAO89g6UciYY)GZA{)f7UJ%gbA0Pb=6cdFCx$tpn07W? z8F7YBsz>66saE~ha1v>?<8{*&-Y6qbsN*B@`C-p;p#EVmj-oi;>;Wo(n~Jq%_+5n* zH#;(Q({DH*3ZTiCw@s}mZ-+WExU%uiAx|y4*QS2-ecE*XEd(pvW{^+?TUIzrnuc+# zo>O)}&F;g|sYmgB7Z(yT70{t^^PO2j`uPyO-}07uhq}^aXlG@z_{n^b>7#?DBJ&jI z5O^jYwK>XfkxIqsINlW0@>Xa8_3`%Fi6Nb@9+v+;+$l6O<$(L%P8{UgiU{?4t z!@|=uPL`%x)tPCw+5P{%b7{wHj%mGBRZ^PRuZ)~cwpCK}Bb4O$%M${;B>+VkL-y(cPv#3ehkmMOyfO`T14;K!zA>dp@z>Xd`eCQ-CNsF= z!lkgd_H9;6X8Z^LU^cCk^sK841+JZqy?v8#*<kifKW^c%<{RaA*89UPIqz&{*+N1MxN#7_2&;KWYU6`2w1>EP>vXC#c?71F}h zP){0PIJuMSR-FF8ZZ^zQ?Z==U9@f4gF;hkU#5Zw+{MCbP`w>r#go5CGcn~iI)ENc> zqD-2WmKO0H!(w!YtI15IrHdHtioIUa*>DT1cKL;hMs#@FIBIAXJ79l z(YC^E*$IW?B}Fk|H)HUJZL+N;mv?5^e1pU>L*-QY9oX3iso=Rd4~1!0@nOkt1+_Vh z>6_h`Y6zqq6^hxMfn)k#NX{5B zi9=e=HNAQ}wYT62Ai=Z~;xpM%lg=AA+;Kt?VrWQZX&Cj4-m{m!{zhRXx|MC~IX~z= z8-{IK<3gcEXyNbQXR@FlWFXA$_1~;C3wCAM1g7lI)S`{C0-LHPskpLM`Rr_*sLe4x zI2*oK49>BbEL6O|@eOxzJWhnFAlVrES7AIO7;CnOAvPDvWBK*kRffZF0^_ZLEi5fd zF=D-ttH#wY$uDiObG=*+C8uuZ2BUY*U{0k+kG0h=iqxXLcWm%-Hr|c^Bhzr%7bJaS zs$SB2*|Qm3u+^`XY}9N#F>$Z-9T{vw(1&by3SX77XOI3F90Kc4tj~=f3^ZR6FSzHd zuPw?^O&XNf1}m$Hvi?MahKwMzz=?nH5-p0ucIOA!+I}1auwlP8+F3$LNzx$;J7NjU zn4?2?f(+$l4#^@RTKJ4I_Z|93yCE=Ah;FyHo{agURr=X;&gOAY#)IWhFBeSuqM@bb zEj8=ed4=5==TPuT#TX>TdDl6^%Ag+|7 zBx&!i@hW&G#6ZB&k+uQiDz?dt+V1kVH2Sw^R!HmX0?YaSX~YHbl!yKv?xhQ#4ThnG zV=G0Xer(PT!*= z+~f2?)3zEOS~9vyMKGSYdpjLyHNBpj#zMxs{Qy``5MtX<>%RrS37_N!_zU|9Z^s}y zgt$;1#AmrP7fe!voGEQoO(a6(xdZ?ChK3l1yg_I(K(4SvyXJudfJt}VT(^chwsQi% zKu}lfDi2WRa6n};@nv$W^>uX?+Q3@{SZl(6RH4V)t1O+xx4xUNw4NoTHK20C^sRL} zTAzsy&x`_mo?!-rkj^Nlad~Ub2E*W7Zab6%`{TG#n9$`CzJ3D?n~dCFt-g0FkULhU zHX%uPsi4Suc5O-;t7co&-DneSJPtp{17E_w(oPA(@)?S$ zx4&pj82%XoUKkIB&)=uOS*P)Z9OJ1<{em3x5nP__{Fqe*VBo9NSmA#$pv#b!B~N_v z1z5#64aMC7H_w)YRJvv)Z~u7E%Hf;@zR9sl^F+awNwoy^38<6C&gVOWxwj08p3Toh z1Jpl6gB)62D5WoRT(Ho#TMqCi%rMWh69Z-&BoMh|1c$93%x+hLotX-fA}SYC)^&u~ zt4?sz@ND5Us;AxQ(Y)Rqxap2U&5lUPl)Z|IEmV*_TxV;84ueWc=9!irqmt_C3i)`S zUPm6tJ5pMrDC^c;IaQiYY1z|dGE;?r;2HMlv?$_r+R#hKt)QiTip7M$=j_^*KiPMCL}ZmUo~J<69Cp!sdU?2z>rzU}86R zntl@LcpXMxd04ixB`BdFV?_5Wd-vT=|2v^@wL2#pB)~4sd>wn*bQ$=5 zbD)vp2HrzM7@IfcW7p%_KTmq)-op)mkE$^C_hW-#t-!0;%6U*2aWlH4HlWzg1?vqX zVqCAl1lI+Q=_6a5`Sdd72TFeG815Zuk9lfcqW0S+xM)@U(;yd0E_OwlWSmhtdP`Gc zV4Qg9DLJQmkpq@sxi=@Aj$a`AXCJZ)mi&tkf^RNrc~t z*fb2PfW>Z7f5+F?i(S*gMu19=L%q(w%EXL`m=-XA)G`LI ze6k^~I;e4Gj5Rk#=-9aB=*=M%+#78$qk)0>N|HdGzsf>8e?$#(!YO~ zlC!~wimxXH;ip==Nz*`XKwRe{9RT4Um@&Mgw6pvt4x2M^9UM~wCzA+I%##j|=Vw!k zm=1ps2<3&`RGBeN?k&|+o?j5di5|!;zdpX!M}D?q#{S;|hTYkdp+S&rCeh;oAf_J= zXGNHz1`F$f|E8Nynbkea&U71hy_a^u+drg073t{>1YQsn0d<-5PlL3xH~+SY4IK#$ z@DRgjqXTa|k<186V6I=?9zA@$Zidl+*>_o=cZe`cg2#gpDJ0~x34P$lsd~9 zWYG2XQwJ+bw4n3z5ScNMOR;*9Jpjz-h&q@M;qTB(xM^2#~Gb}!U6Js->P=erw%7E zk|4%Jyx5dME0z&BV+UYiQX9H63;rXf)pVFu|MZaq*~8pE_Wp9lD($nBrXN0hBD_N1 zcU%7{RpxxW6bHsA3t0=|9%8Ey)yr%bqf4wU=&cr@O7@Ut&>V@Va=Rr2cUu zRTNdIn=O%~mRXSy=fJ+L(3*G-cA94jz?qyMoN&#DM_J)mb;aVZP9g$lcEtaG7of&i z-{*#Lpl3HpVXJ+nNoj0@(8$@O-Wq9!LJ<-073N18Yk1ET0D(u%k|Cry}Q#WdE z{+8LG!)Ox-GeGc}{j{BBl_tg#=JUi)xYzKrnhf>UMv~cRHi$UTidOqcR%pWjbv1Au zlJ++hv}}j}tvCT$Kng3X3|EI1qn!!kJQ78#qfK!@<~e z`H*&(N$s>n7p$3^^lk-!a1lp_@Ass{Hv2|~12!h(oztDKXOJObI=bWxU5Z^C(uBA( zcwhF}M*0gV@ttI6QA)1umYQTU>Eu>lYTS2BoTjv%dslWoSInUV$;Qh%0)c8WDPU^q zn1FzVplmV{>D{=XLJ=S?h}_m?5*VD{EKIYZ5g->|9we(t^d3){8iyKP z!QHE(Y3D{hQH={#!ClMO`mQBwXMj#~<)p}t-O%@7(Rl=@Pav$6Wy5z-lftRGy=6L# zw^pnWSKfo9(y05;O%{YdF(^Zv^5WoBGqOy zTIQknu|8(vrmB&lSgVZKMkK6&CB#LS{Ehtw$P(tN`l*^Om=$-PT+vT|3aW@gN)hWa z?>w~2iTcPcoG6I7=~IeteRnasF5S+@)KHC4Kem$C-szxo@n(wz_Y9u@S+*029h8fy z8I}OPm@gAW)4Bdh)IMj*-Y{CWP0@XqOd7iBI6T9bxwp|Xx7`dC&#K@bZgpi=8eA_a zH|6F3_J}m{SCowq{v|Qg6`(Wl55sO|$BaERKJCTyO=?D3>{ZA&9?S>XltwZ^J_*+Q zBj*OUkABku@8+AhiMFj8`-X^=3#zzP502`rl*#yw!$rWc+t$N^bwYP~N-{ENN=80t<&oVb#emx^kkqn3z281`L_G?L^J_mj`lAqR zwa56-OF^rcr|T|tSG*!aJKCg%ms!rk(Bq>fi;##*+)tf0(K|Dw^ejSe_rqaFa$ovn zMe(FT*<4iR4`8a~LD}<;j9w{ACPuSj&o{ehnPwz%{7&5+p8D){2NXyd9Vb{$Eu=m5 z2f00DmRx!7>~9>2Cmr`p=-662*M>wX(4q4?j)p2LDAN5;Rjh^=5LXc$@8_&ga$GX( z$?>!bl^7BJVA2!P$^m2wmC+e)2am!Khwed7uZ&0)3fE+f+@6%#MjnY#_=jOpkXU-X z2nzkK(dt-Y(as$uX{4W;d{ zZofR-iw*uHDl+Kjg-r~5FuJ6$dHxdxaql*{>;$RD!hG*6F?X8_IRPX0ev%{#O*9x=yOR$G;-q*tdX5 zy|?U_+Dr4wozO6iIv>9T23|DQ32Bc=(FvmUcN?^{&xJKR?qAdvdW%XJS=;i43X%1n z5bn_pA0or5ZH>O$iCCKF=wy=ux17;yL8T8ZYrd#o&Ji+bM%oDVG@Lv_*Q&e2*7!=E zJ>y!R7hV`43^IsdIIiy~-}g*(ylhmG$yY8A8OZytJiMG2#)9|L>_faa$eKSZyF=jp z6^Pc<6~bnHbX4<#LU_VeQ_2)wWmmfRR0ac@&sAkG=CxKT1$q)|BSH+9vUkqL*&hn@ z#Jx{iX9#T7GDzR|IyEoED!OJkvm`%$A-FS1QUS&W)?4t9>$1F-kkaRL9p%?Q*bc1zG4@2-+9?wadEbSi^ zoQ{^g6K@){ThJR|Q@!R;pPu*YI&Euk=aI%G#pXi+NKD^w=}w$il}AvlQb&|PR{VL{ zdq?y~Y&Wfv4rRN`a3&waMX%0tgBXQyr$gEU*+t_QS#n>}7J+PQxX`Av=E&S0hKWYL zif*+9Ws{!J>uP~T%N{mk&8$=-H?iUR9nX)S!Ffj_Y78akz|(cC90O&a=f>SjkpAGoFd= zC>YEId7Fo+O3b#cJPmHLl?&F!n5S=9d5HjY=di{wVyp<>^C#}Uw%_#hN$ObOK8E1& zvt{)R!Cy39zjNjD^T@RIgATPzw^7;OPQigzl1KSvW%9Yq@BjUMf{byWchcs8vVF4W ztFj_8Y_jEG8 zJKv;$V8{pX!*}2Rq_y4dXDSh6Oa8`uUk=gI(mz3X7pk<%;LCBh?5&@zRFJTfeuf+2 zoqtMaeDbkCuc%BX{t$&iZXl&dy`Kyp6|1NLJ-(e-_POr*I;Bva%9bS<{Ue$p%aoHf z`NG=qpHDv7{KtHeu?B4|uG9Ytlp@(5I1~y%wu%J_RL(o(#;&`f%~lMzjf1K68QMd{ zgEphp7D`?V3;LWu5mKhh@;$8O>6Mk6W$zPPUk;;4IS=vX$xW4j@9aN$2`FlEpHHo4 z-`^S7S1!bl4vb3v)wYRm_7}I^ds`@j8F}#4$G!Z-TI_1dmCpwh!Jl7w%W>+C+_2)f zd1lerR$;PbQV9w#jhfH~+hd+S`iK#Y8d;`OwuXhEAN(3rP*Z|YF|lKRqej`9_>ez> z-&gR%j}9yP+e8+|o15Cxsqxcg=IOEHZ2`#^OYv;-|>c3R^-ef*9r{*o?fy`$yr zeXjCL5biJ%dhzq(Fr>FbBK`l`^vZxJ+oo+40qL6tDWySbX_k~mN<_L_x|VK~7Ld*b z>F#cj5?DHy?(S|rd<1=eeAhpAnRDuxnPbjtA5^R_Ov;8I?A21&dX)Uf?Lm4lJ?QMv z#*`MI@G*DA_(*j{AylbA!hv2p*_=7J6ZW1EIKb%i3vBoBt@zaRdI2Ia73l+kn;V*+ zcWmz^-a>910U=mBi+9zKKM=Ld)V7t64_0bv&N^2R%)h7;UWbNO?%hbyjR99%5vGq4 zik~lW%HNQS+&CxiBN3-fay4bfkzV4@#qF~rEG1Yes?1a9G`kg}ep+^WcFZ(7biiyR zKy_CCV;$Y10u{w^9gkVR_=N{jc*+Q;%B?_u`F}1sGd0dl)x7x3Lj9{(7r4jUuF8G7 z{Rzm8rL7P=Ur8M+yL433;-Ydt^?=(hrqVsfHhQ{pWD}<_QMc#oH~41*YBOq>W4 zh#S5L{yI+|O!yo$Ub<<{X$B*U45GiQ3gnyqNza$Vv_`1dDWbCv)9d+iSs2f@+kI{5 zxx`IIh*>#5*$OWsA-B&-yrsvp1E#&NS4P8q=~A$Tx1P@h*4Vl5;x6Ir+3pa-tU@Ga za7Io)aPT|I7+=+RU}mdeyH^a{n(GvQZ?2tHDQk)JM8Xvm5%H09JYU|_%QgOm`32)T zB-O63b5Jtlm-$9+Mm`D;<5>pQw<5aob3~|jmeZwejNnMfa+lQw#pHyyuyFQNXyG0` zM}AG#s2BRv*n~&Vv3?9}Rj49AHE)QQc6PRQ?ae9&%)R@{Rpp6rFR>wAe8hY)p^!UH`q59@ zs!8Ku9CXxuYR5uARXYOHzz-_&Jn)I{vy-dH_*l;2ix$bmq%D2CPo1J6;Hu*#)mQT( z2bCzl7p&yiM36UP4`+!GC8#Jvl(#Go2!5>z*&kfHWKz?Bu!9vE4)r+EH4X33X6C&Q z6?1lT(-*@mc}+?M;D&X2 zkJ$gx=6f=yuhi7+4oPtOs>y{Ef-7$$PghQ0)`lo>j@gU!6-LTJXCSk6g785MyCuEl zu`2r4{?f0|#B8T!O3TzPu1g+(tFiRVi^^Ghwi}Fc>cHh@)J40AHw)ruI##SOOaYwN zl{hx{c*6ewVT8lzQO_zSNB*P}`y|hum*8EvI;N@M$GF^CKC76j|04XXRW?#FJc!CL zF^el&Z}Tf6mPdob?)CuSIB+is@vHg#w$Th>mxq+7=o&)v{p~3e9E7YT2&cQt>o}BW zZ>g99lLO<%PRIXiKimy;HdaLbD(39WnaK|=QfhbCm5ETmV_9v%%dN-^H~NHYkJ!1^ zy6iN7JYh;KZ0^8@l?VOe^&+w#PfJW^DT8Wh+ND-YEE9T?gaKZI2G`{smh5LPk|ksa z7v3bfbwPBC;~Tq?qgA`$%w>n}y7Rde+l3u0IdiUYK30OAdyGBqVFU-B60T^|OKw9I znoHC3nMe(E4L*;XZ@A~)1Bn2P9j>3C&;W1OS=AXR_g;M%|Esg>{_k2I8bw@ZlO}d_ zbeOE($6hwhp+kn9A+WIV#j~FGGe3yy3i)lIEHm?XEFv7B&UCZb!HjUE`c(cp&@*Ok zP^j*O0!tIex;|!gHlwKuWZ?p%o1gPM43fQSocd)&4a{!-taHWme(k2$Ex|KB{}wM| zQ<{`h2gmdI+<(Acv=i7w@4^;bc!83M=dK@NI^=l$)5T50f`^lh?6lO}3X&Pmim)|$~j1kBg)N1tsuGGtkceHar(@Q1chR*u6c~RsRikN4Gai?VbX9O za<-g_3vovUokVPsI4rNE;hbkfk4F83YQ5ee%}f=Ujz^ocQV1F_XW7E^_A9G9$~c`E z8ygzRePj+5XwnrZhZv{*;@|Ec`W_pINU-pxgf!8xiO^+q(RH53et@fpmvZ_#WZ9|r zXtl7ntZ^P@=VF;qHYg3^tg{YtS;sZ$E#7w_O4L50QHWx?qyp*V<_nQ~XU+@Qw)eMED7*`noQaf{wAq%v!uCsnBj|n`+OwAw*7UWvBo(9* z&jh}a-5)ldSMkTTRR)d68;>hDpG3HiLa3h^f1e(p3wwTib$xB=^1!tj>aT>Cy9Oqa z;pb9<1(irOuV}spqmw!-;*<|ma^r`n^e~1p-X^zZ3$5e(8AlvezMGm#=`tiYE4)Y7 zu|h8OkYr66!L8OH0*dkH=&;l?rX6NX-Y8>RKGOr(*zxnFtdV|2E0ZBXqB6X$VbOCSmgtnZUzRblsOwy>m@Vc9HavGsoV)1MpRWittG|24DK%$bG z0d#59IVvj7o9OIwF0(n7*`qa*I<VPfAKDdPdpr++IzF8x(&qNRPj5<-4m?UE1Sp zSgaNJyiyfarXQM1C@(MX9HDyR!8(WD5M0ohd_%iHa=yVSAEk82QN=A=IibQjRQ&7MaD548^|lEZ(( zt_QtBTIt|sS!zL4;|0P%-9~gO9$^DkYl>u+qn!eMDU@b>Tp8 zg>T<1ovX-!un5^sgL$*RnVvq~N74)UimK+&{m2f-bZn89zVLY3pHoAYsPpsBH5<)U6@VMy z@FecNn$2Z8Iwy4^asPzN>6W=)3$@4LM&BHa(GOl01h;OIfOXVo+{@!{`({(D*AENT zy9(*o0l^=6L%Gs&O(Aip{&AxIb=T97ha;wwjhYZHK9|TZRO%400%s7YRpLv>!0Rn3 z0n6=Jo1l(mbp9Map^tO_lO4?ou>veJv+`gs3Adiv8h^qDtdV;7pRiu=7)*=QpgCT@ zJutu)^_;D%Tgi=bPgRO5>Yxf8i8T9}+^Q zWqYnwo+C{=jjX<$!&QExKP4Nl`eazVXcxz-e_aa9zp% zX!{nj@OIW2WryiuE%a2aDky38EDKJT;$-D|RgzPC3AJOHxMc%{>e0m7lA_0;9j_Q*${p2yn&zaN!pZzNU=V;Lrijg2W;^N0lB4rc z<1QubxH=I8Oj(z^2%>hRMWR9Hz6|@H$VBBr;DeL6ze#Q5VA$Y0VEw zT^f(>acoN|1PS}3`fhs;y7D)w(T*Y9bTQZ%wA!#>ICmSzImLZ$pB%MWSi|e&JtUVx zht|z7a+cCpx4{Abdn9b$#`{PvfKy?yv9gzlqXd=PUADdmcus##UR|4b2u{0;^?kcg z!aWf%AS%??#_kJ&vTwh@H6>h?c_2#HSNXFbJ-alIGTFdI@PlZ=OuDZ zd7^YN_~4~NN>C`-_$rBeMaa0nFaicfIP>uA?S)sTT(b`W`57@W&=>nhhcP^Av7~Z57FX4c*JNavemn+MXa1q`-|581K5)MWzgXR$ z(X~)M*sehS2;{h0rU9Wm+4?5f>m#><%fTljB21u2srC6snz$3H1f;dgdasqSy}5-i z>z~@t)#)$#stkCqTHMt3NRHkyJ*(yIWVxtouWf&Wb;qq8N7z|VRkL~{v`x_tNUAO*VxK%cd1MIe{d6rlRn-)Tem2+pQA*19&yoq( z*WP$S#op4NQU$28?fCM*rAqZ>e3VOeHO*H|K*20Nbj)*5FFJsGo@f z`q{kZ7aeAv8{GpQtR_X4xWhd^=PGy!&J_IZ4Lw;c*Td&8&PrU@zIKR?s~(L_eI}g5 z6u4LAyq5d)qJh;h?mW3BZhTz`q1(@wqBv|u7UBKUok0py{>j}k-tf)(prnWhMFGgz zYU8D7szVAuC4)b5bq`v!)e68VQ{apLdUt^N2$D4HXH33m;S8a~?BGsE|9<%mqW764 zAcYMWp0c=c1hQf`^n>0(RivOHT<3iPWD})qftEM@yLWuq*GwG9l0|(^UAg#nG|PH) z{-m|kp^W3QJ`skUj@J#gH)Ly3BH{NRV~lV+`tBF^j1`1ZY|7hbceY^Nio+_0swhEm z=BDYF=LF}D&mJ^?6rAZRnp+x30fhZtV93eHbUR=PSQs{M@6(qnA$ z3T|GX6iNqq-0%9}5ix2@A9W7C^J`zW>^egsPXBrW8_RfPV7BqPwj^K$Y_H{M4(|a& zgawp)=G0mu8QgIBdkN`5rI_G!9`PS9TYTSjM@+L$5R@NMV;Md$BwY znJzODR~(L5=mtXK;V{WiHOx3ZlIxNWwp(jd8i@h*6Z zOl?18lXt2lAD^D+txXlk>mneHA?5|q$T7Fs4HIC9HkhVQuiIiuq6qlihT4nsxn}C| zSA8k0PsFv~V!G0C74_t;zR}V z(;O4C9V3e%wa$S}Mh8>NkuW>W>#1eauO;*k>LNwX#z@ zTILa}qA+*fEDoX#UE>bf?u9^TH;NkS7Y0&cqrCXrie7mWyTkUq74q-)r%D(O{%qj~ zsi$dvUS~`sV1~i4US+fEH>i7Lf?=mj@~eiGC}ryd<8sbEtbl4ty@<#P&WxnvnV+nD zRNh%mrk;r627ZKi=%KVSHzzG=o%bYu0K>oLtBKn&sqm1bL;})!F2HfpAUBdE-|1L; z)F*1%E+zl|l0-K^Hyq;C9Lk)^PwfSPXC8ZG5nT)v&T<>fzL3LxSnjK{o;x1SYX&}x z3jU_J2Km;f-vR{0*s*#tCDFUUqkl=Mk6V!p{(Pso!3))~mfAq+=<~#DtN$Gg3RMSI z0z81@Dp|xnXB^C3?4Yyl4&_473wM8ptka@FT_KY+S}p1AhG%)`&x&*oYNCkzyR`3S z?0-Ih0~IX(zZaQiFkw=AbtMhCv&x!Oz1_il(I-Y}4+W_t2b6bFP7Qh-+1){8$BL=K zD?U67BXJybpim(Uam9OhB3z(2M|?-VurYoR$5b8O&=gT5*Jx=mPk|%6`ZUflZd*El zKljUen2Ly*q{DV^6`@2CLR0vcuH`$lad*yQ$E+9hsi%vrKP6>tE>eYoC)=i+oMENf z&)4ZGF8gD({VDa|bkFn5Xv1{XPF5kn*P~Q5?ZZceq3&+PqG(GT`6HB_hcB!H3+TPN zs1wzz+r|_#<{JW5#w;rAjV~{7G7~RkC&(g{mBT$)FF1)fa9i}FLw0pb0>QkV8T^ic z0l&_iIwc*WXYE;373I}M$KnzO0Tk%NrH2}^z#ug7&X7A5xa=oH6VdT5=LfvEHRx=` z9fOds*`(oR~#m^Qmm>|+E7)NNrKblKxtP^pZ0a)ELa5i&`MU~ zg?YIJ2IRQo&l}9#D}cbd0LZPN=mUWI4+J_zWH<+Hd0ebKe5n%jbT(fkSQ7SiBDSzC zw6~P{>7!mWAm!o3OmFPY+VD*@zi_KfzAAQHUdO&(FY36Op(G?gf_Umm+>v2JsR9bRh6H|6{#)2-8=q$^#ihA)Z&PCk{$!FDja0+uI>$(L%08?60< zR{V`vVu`SpQ{eBpCf}qU?+Bt~pj>yu1n$rNDlisCz{ChI(W*I0JD#brF|H0AA-Lkq zfr6?|8YU(8I}20wB|=Y($Vi}U&&A;)p&udxatodM1myM-4mJk*d&EheI>9c$D;SHF z)OtN`P}eqNLjSr&qv+QCVJT3ObGJ{*xq<7aO)Xz(>ES-Kw?ZW*i)CDhAO~M8x5T#q z1b;yVnFuoUZnFJms~!gab0b>GluQq4RQ@gkTjiN9;`<#`$fdB-m+rUHIzoCB#XJDA zJDN#X0(#p*NZT+$iFm80Rl6goWWP9ecr?Y|9(kBzi|K_G<<7NU>MxjH)EJ>vnc%oe z+J}&Hga@)?q|YNCLUpjbCj9$P(678)Q9Kgf+_hq^@sk2S(8fbX(^*7FVR=U2=ck36 zn$7h}B#uH+;-^nkf&+dDOhx;2-^t9j-_|9Qsq;GgUT$T#<6_dNt4GUfwS`g2Ov3Wm zhWhKJ^ZqR*EM6u<5Z@L!@A8#ztyv&*>VfsCE+OOYSgM3Hy!8Hk?-W9ylq^?u-|03# zE>Ns#R6%=I^v1GF7KZ29&2Gz^mR~!?MubG3JqO|_W{&jsu-(l+WDT7Gft#d`I|5$m zj)&sogcNT#nyW%MD*x*)M}*`MOJ4E$g&_#w?l7PZf&qZ|IFOxB6`vB6N|Mmp~b7VBv`Dt@A$1A)FRdqtxoXi?@^#kMyud{eSCRHe4rN9QGrq ze!wGBVX-o`({7fI!ONky$45?o_5gxn+~RQi%;6ak!Q{#)MTuD2jwTyKsWMr*&1{E> zWJ_OKI)UFn1spCRdJJ9qUDf#VcW>l>p};)$#t2wisM)L>oSE!ob>@tL=c1U#Bp<63(bSrPGnNEb{9#P$9_h#sb!GSKpKT4kvo&#HJ5EGX z_UjK<*An1N9(x7!m1vSS(CdRq&;K+?SLVLX>aGFjVEV1OqvZCNB*I)0bY~D@4sP7! zqFk&3NL6ZtSkCE>MqR(o%SafXYUaP3l%M0kSM)G3SU&N*je~$rSqGu9`x1uav$JyR z2_X-SC8l6M*Wh&gVc5J^@@?J7BgVzg|5r3+7WYZGeNH5koCa~cs__9M*_4t+sKgX_ zS>hq{pn~>b%2r5!a%AmZcB);#;n1ICa735Dp%J=X{%s>iNQkz--(OQeF!EY9CZiAAX-oo(axz^~cDvl2|?mpx;J zODSLo?$tM5K9O+W*X8zt9TCpVdh-CCvnkFfpQ@tz_YWToM&`aGe)s5sLH*r6oQW#?v4^~lhxh7|<=)I|q*iCG65+lHzmMCBFX z*!9J~hQ4VVBqd}z`Q#fakE`dOEKT;0eR&?8`*ce$F}_BNqbw%MYgv~mCy?6y?B>3~ zE6mOguoEIey?M5N@t`G_Mc4Ri|LaHlG1cnQ@q}k7k28%@M4_FFPnb5lJr;ty=bR*Y*$x7kpLdf%<5*R9Zc zH>cyZ7~kpj*Zwz8YTnPJyctPBBu+0-AxksbmrvFI^&be8VsbPaFm$%0m@T1P;OTI9erz8h_a;3#0S4!pWrgfzNrbxDU9xlv-F@~*9szV*__Gj-LRqO(d6 zj5OMKOuU5ZtBs8@`aPJubE0>j3V+t?9fOqZH(na%3WQ2@iH>9oJ|?B7~TQ5zednq!ig`AAMS- z8sS?=4t*=UP9tSBy2lCxAwf|Iuj!z`?=Okd%}=w)QHAgx)8lg(oKd*s zXn%+&0PU<+_6;R}bUH$6v%g7ZuSt1>Xtl^;ekh~*EOp%3clR>+{T1tw+589Fytm*D zD0z61A~fUCj<08OaFN@r`j)diQ%7VaR$jcmbU$ytz>`+cw0<%wfWO9BYp#~QQDGVj zV|rM2Qg>>SuV9ygdW8AT$Y*a)@XUL2TkzXJW%lO{tQeW338t)D#RHJ5{XyNwporME zj>Jo6)q8&0AbK9S^**n2e7IV*j~{tV(42R^Q1*v!OX<{Ig+*@BpsLkV|1+z{1IY#( zx%Dmvx%t!D4#ZtAtDK}QgIjP*7(yMzE?x$RbzIQsVD~5ELR)J{kv>O(&TiLF4-1OD zOl6-gK|l@GtD@_tmK$}$tcTOW#^LXh1EFO{qP*iKIYJe6<$kA)(GO7P=o~Lqgxy`| zzbZ%f3w`PxtJ^6+>F4c$LR4DOol#L0o^$Y9~SeoPGZWwD`h4~aHo3jewh#PRc7m9igP>A-8c@rR!A zq>N!|t~sfzz?k^nvZ*b=AWWNs9k7g?s_@h>4SL@(aL%lSgZB=sH|UQX$Ckw~6{&=} zzAHN$nN_Y0V8<|a6>aJL;0OKp7(!aBY2t2FW-x)c0puQn7DOkC1b#Q+b)ASed?U0$ z|70z6NhVu~_x9v2lIWU>nGrT|A6R?V@8@c$5SAp+Yj_M{}`>pjgsT5O&jW<+LRsX0?zKKM^7v|$o4&Q?1P z5`^UwzOsKKjci8cxrQIcfcOm^oSBsAdbO$12mpO6J9m>CTi~)p+@ypQzq&TC->#)s zd{_M#O6(|b=ybANZ)Du;_hM!;s4;tBz||n_U$m|+_|Cf@EOb;S8BDHw;|ZKoQfapKhH*1bLOi&jY6a$S!Akb0a)7bRV(~Kzs%Gu){bWi zhi0>YGqrC8R`y5-?3tfN!grLLg$~a74VzWnP)*bm|Nc**rsu?8M0tp}$hl9<9dS%1 z4$*(^+|iUB+P}5p@f_~S+!pTo8~JcepeqQ2)kw!fv#2e=Jf%{+U(qi9RI26vuvtT- z4I8r7I8H*xS8f%NAv+rQ)O(#whu6_$7W&XgQNWoqe>aCH@SJozd7{`ty+e=&{6NfOi+Olq!(`;*cNyKKqV+oagtO zB=dP61%WUqXL)3#1)l1%MGH62wEPMYUo6xU;vo3syinDek6g+wNhOTcgCQDDJD>tJ zxukKnB{vsaDTc)Bw?bVs)UazB^ZK{Uy{Pw?AFzOO+#Ay~GUs&+4?zhDy?Y^NPJjUvgEBAgeY5KpeQV`P|N9p9 zj}x<%>c^5^W@{E{wX|5BW!A96u-YX zM_2|mv9Ih$G$n42)u`xdCRE}lxEka*Y|{@1Og1eYtZVp&zfSHOyAAoBd|7)1FD#Z-Hn1H&9&i}CO4gR>aIrh5n>-n?xSf$;+GE1;YtD}L#G+#qew z&#O5)9H}*}YJFwJtZJg%f3@jQZ%<`{TkbNGjwomxdL+RgKf9ylKI&F<4c)uj0A+>2 zb{cUHWqs>f-;pg{`EhYDQPUc1S8KWZUE#^ysPA9!W^K>?dcwsMRmlf2fO5Hc`0}Ew z8(R+?Q>`<^xZVx`BYxNKnUGsTo>g!oIfAFew2cZDd-A%*;d*!)PUBoTiMIA7xpQP^ zp^XRccEc=_>`c{{AXb8($Hvq%GgM3zwbQ;KmPt3SI4_A8go7!c;OsItGR|Rrkd~O3 zThiv0I9MB*lrw9EUNT7gexh!V4qlIVLBo0-aY6W@_yk zNihAL=fzovYd;LhFFoAu#%H`&?Wb(>{7GO9k!3tDM?+ey1@uOKlIzUWn~d=ImpkTF z^2*YE=l-$I_ zHalPM6>~N_aFodhaZ!Hmx_=ya;8xJM(C$b?@SUK!nRCp zP^^MkqK%fRg6WlWp1)I|f;qF~)c^gA;VJuBXiazZOpPXo45%d6t}PyFlth`reO)jap$@ciF;BI$RxAwu?03zHyDZzV`-gZat*OSS^E$Z2|= zGtD)vln{5xv-oRHKLvVKIrr1#s!e|=W6TQ|vF{fhdv_m*LyE&7RtD<>^Lt#O#Y8S_ zPmS~$m($SsUXG-=KaT^BllBI0N1iDNH9CEiz=lhYb3Ctp#hT$b&QZH&s|p@R>gi^c zyXU=sx5ZY?iY=t5e~sU8^6F|&kOoacBu5kx%va>#V`K+cCv$IW1AZ95)4)7Y8U;D)~wIBfHXahQHox zj^ur%(v|;C5=U4*Xxhj9O}Wp!DjHo+_Z!uo4g`%%Sln{H+OU?mu< z{&(~+WRt5Hvi5E!VQPdIaMn|1Ga$2{m!OD@PT?p0E5BNUn;gZJjqj)X3c}wcdD0nI zUWc}(6`tPnRbRC5vS*Xvat&GdpC1?F!klsApYA*a~@|I&36)D zou^pby_01!OcrX3ow-mdng|Em+FegvLhcSjEv+$PcL`aoNjeP{N_dT2?$)nf}9q_CWxWUI*6eZS!ib9F=3VR34;q#Pg%6MHvI zC9hg^NrRn``>(wm!_zI(i{pFac~jOzi|@|ySe8-fEm^os@ElLge_qf3zIBdT4S1@s zvfzfz(V*;2#FE6GwaNfLedV{*I z<3>6d&j3xd!P)GEa~HSWvp#_V#V1CD0kt<95b&H46kU4@Kk}>+ ze#X0>olwFN{cEUv3DI)64EaXii`wyem7AgE9FHD_>brkLKV0v7wLDbeGZAUx{YxkJ zrtzpFoqj_LHf=(n|5M2{3@3D_aChoUJzo|!rWJ`#_5dnbp%AC*@Xaf9u&U<^chP)e z()Addq|R3#Fw8Zoe_ZzicG4Pfq@QcFf8#Wue<*D?{)y;e!_MmIrL|t+^}iPE+LdHe zyYKOK6+b&e24@d~_^vT;i5pY(v6DdNybUH4CIj2FJ9_`YR)6|nznKv&HQ|r;w6lIR zKk}%`O}^Ti`?a>9@qNECGoyw;+bmc;K?va~I^h#%)qz-Dn3=`QZtx!-$~83rfd#}{ zNfO2fit;HlGGk{t+b}soGCCLU?1;R-io6yQ|ClD^gmR?s0__79-52b)u0y=Z zqhd$>zh6r~R>L_j`=*^g)q#;ex?lfC8kcd$;d))Ohg7F?Vjcdh?nehEbjDPf~ zJz1vv(xuac1yx*ht(uF7fW;phtG;{~foi~T?>IH`Dg3_%3u_lfjO)c2S_p-W5&QJB z^~YS6KvWOLAFRZvahxkZV7#Q+R^^&zxW{eXs7Xn2eRV~ktip+y1!Wo zf3w+9Lwx?K#1Y1-r}fqL%x;h`+kD&?_ot*uzzj&oeMltHyrpbw7KxWj+k7ImFD8ak z76KW_g}Pq$f2(Khr^I_87o~%$Pl0$Z*@{i0CDDce&_>xI1qSa>RiiWfxLlvU+s9_~ zkfVAp&2m2QEZx8Md~A)Q*}rE+#x2_{?i%wc8qX_^kW+vqKQZTF`jNqu`2N39e2(%} z7BjRhJyCoZ94bVOXcE1wEUW5#Jv{jCuU`39Z0YB2F;{@f@LTGBw$~WIu$_n#A*v;Q%NEHN#=arIhII|0@#3?c(`FgA4%Pm@%PidIKDZS3<}NmUA`GC^ z%gsFx;Dk8}F?rl6pJKtB8Zl6eW;WElp04q-xv9iO)#~3w&CL6OL{%N%-mxD@pMXGw z1q^P;YJznu#wb=Cy-?li`t};waj4H*#woUU%_Guc1gQsqCI*;+AxE-WPM>L|Se<*A z{#vo(U02uR&N4ePb8FTTH|Tt1u{|Y&0y^^z4R<8qB$;E2@UD3+r@9_@&!&JeCg*-b zoi9xN7q9kku4g9Cu`pc^>NextaVFn_NT8)iVRLL@(ER^XbHk-|dv?XtyUMUB>0Sf+ zM(Redg}d_bs#ymzD++h>j5Hk|mTc$Mek>!l(f={X@+UM#1^WmLafO(qU!@22S~DV; z3a^KI8d=`gd99K9{=F0=%Us_KOyL_RS0fI6NTv1zE&Ji9p!{&=2%h-wn%3eMO-uB? zf2FR;zWs+F{)Mb;+Tb&-UX3+NP5f%M#XAmGT-aA*8lTAoXhARj`YD6JP`i5f1Fg2DpXwkNWa-46LZ+Mr8MVI`DYBT+*dmmx7vVDiMu=p zpkuR${T326U!x+r*{~xd;c37hKMoTBg*COX;dXu%F;)?Eh3iqF0tPdDU;vUpS^C8f zTQvlX?&PoKB_ws>sYX~}GX@2*yV}P)BHRKCuZt@38xKmUcK zS`ae6WGQNsoTltZ>sOGr!zzEDA}vCkzF}kwAWq5)0gBPy0KZQ-NX;(`gaKdvPprkX zY6mGY+d^r2dd0*aQu!Xpw8h&Sn;7FWr0kIpIg=T|II?tSwK7mXd0Ah{qnYs?=8xPy zDu-pwxU*KafhUH2Od4S1q$SSBoPUc#)ZRKziM2L*+TDJ*hP(d!VsRVDGm0SsM);qg zPNjO4Z}&)*$uu0dqGfbBL&O|`eKJdI)QJM?Eu`CHGxunL^Mpy?n7=~)UPU=`$A7g# zW_X_Qv+;4!T(&=&UlN{*c~{_r!KfllJmg0_ughs+aIw7oZcp8XElFdgKmgtdt_DIiH)S9yfGbu z?EA!-bLm#k(eB#{1#o;vftCEUW`qNHn>&)fP8%%1$VKz#gb!Y^oR$Sr%9CK(R@v^t z8rIhMaKu$3T>Fe_`WI`XJgWHx`=Z2|_{pV$yXpuoF6n5`|0m}qP@#tuSv;19OOLQV~W z;~7gy(qN!e+>Nwsw>Lm_^qr6cuVSWtd9-}j%V~h|)lAG?vXvO|i$7Av)l0!&W$I3M zWlNhKhp8#tKMV)C8D6s6%DVjcc<1g~=}7erRekgT}MBdigR!%0})jXemjw*UD*d|qA-yeb&lz|5gc*PHfZhnjE_c@&(5KYVgK#>q=HTH(%G8u zJYfJ3@sDV~g(42sz``s0=@b`RPT(fINiyQYhrAKuiE#|_e8c0Q4K7w5F7qrp4hw;6Vj?A^<2TN#Wy%GDSJ;Pz28GRtRk3*?>m$F6YVI$5YA zkla5Y|1l73*i_`>dDBb-Z!bzS@{v^TZanO@u#A#%XRjC)%u_PZnHCO*=vIqeM8c%~ z;-5W&v?{fau&BDl{{5BCs48xooN+W43yJ+VQCDuw)bRMN9DVxnj3js6-Nn43#L>ov zW?!^Ff|A%&y+89ayVoiET;Hz7OJ5B)=O6Dev#^i(T2a znEwdA94O;XRohG$o1=p^GulFrW4F_`c}ByTK$ekHMGnJMlGUH(eP!y6o9p%%K#yqt zzz9!BIMLI)4=R(B%KHW!sC~h$9q28usv|G1`h79p6fCVQLad*fe9AjfbvcMN@V8$q zrZcNj{Z5ixEJ+k-l`Qs7{o~A}mh4n*ZS%UitQv{TV;iSe zi%g;3#uBT|zbia>E58&O2d ztfytmb7nR$fuw={=a{I*)R@z4NCRI)Q2?-)u(Ty=gH-YRd3q>IaoY%cLQiLUC?F+? zl`p~pT0ecAEGt3`|3|PxRJRPmmRmS0iOyt`_?1HYV|2z;W_APx;lYaKTz0?q*Yd|4 zerOWg+BQ2{SDalnaFomo1r9(BvOc~C$Atnr3Evy&yO;nomb=NUWd#mpcB@ZL8}RLM zAB}_e?PeLx*gXf0xHHd=e73-msH-XLXm>fFHb3H%?_9^m+?e5#IOn#AVYp5WmCZ&Ej7_Q81g6xDL7HebZ*q>4I9x#= zp$3;H_ilDu;2Z@;n(Sp`*Pbv}i)oMZ_VAp@KZ37;s~|n!^3TH-G7(Kwxmmx`pG)#3 z&lHJ|U7Cj*KbB_ic=)(qZ&Y>hd(#gDNu^g0(7jWL5CyN`h#TjF$P@|eQ6wYcwQOap ztItkvXtwAdebrj=cjl^=nL3-R(YuzZYkD~?C+WhQwczbORf5~9H+PAc~*7-xNV6a<&z=p-eCiqB_sGW#kwin)*x9LbXuk&6; zWZa2VQnBF3i!n>iJ2cJK8Xj~<%ESM0TJSQJxt6!qbMP!*-t8i!)E2SW!DMYS?FGZs zSn}UuDEe0PfLw}%P&dhDw3W));q!}ubd*0Ty^ch6F&|G5VwtR2RO^@_F~0hcYn&+A z-70?>@0Ker6@ex@W=f@eRg@Fi*#~XxLf4*vriOklp8V4<1Xa_SABQi@8$wgn=Kkl! zQnInJww8?XLy)0iPaPvS#v*S6ncS{5u!)sU^tn0lMl$26^<(V|U{gIN{l`nKxtdZ& zO~v$CYJv1eD#`ob z0pa8_s1x0)*%<=p`T_!A#id_P`0A1oTC&QY4YGg*yHu+?$Y$uu_Ols#OKvr))0E=$l%%g0R6!~e6v z4z>?fxx)ZG@nlHoTq2B$os&bs+K+pF1R1NcOeic`hB~Rj&dzh7I;o;!jp`AGFn{w< zB8^g6pl!Ui8xHEwn}GMGg$m@o-p6CR{*Wd%67Tdz%C7%JV#;vea^DpwKloTuuV4Hv zDIEfW+~VTy6lMF^$XUu<7l0Y70__8^nOuy>2uGwwDucDwlRTCZr>r)&oo$AKAKSwB ze-&kzQ@p8Q6;?kPOKG98@rrc>GFWr8Ir9@C{^aMU!r{wFy`|H{opSZ-fjC7xTjVb2Ol4n%I(6nF%g5yE@4 zJ5%s)Uy7;KuB=khSjx6!FK2oWyw?~QAOU~kaNgrjw~}qdviD%LMy}BsPCi=Jny#AX zvoUxU{^&)-zsB^o{qH;(fPmk_Zyplthj^qQCb@J?Tu?O*?M5g>I20D<&A5+v z@9kicKMosF@xQJpz24q9@bkZZCGGN|OiJtg`t>i0E3y3N0$kfyO(HU;ELg>S)8i3M zyKeP%y$g}l!l9^t1hG;7B1)z8U!$KOs1`M%Qc%c^&7MfEHKM{BY0Xs|*&g`rN&L&K zK6C#t1rNaTh$-xUn83j|pRq2~vkYT(-#EYje1!ESJvpWOzE$<`c-cNZzUBJ1FiQ3n zr|~(7fSabVKd|3}lJfDCwSNJjV;L>;0K;j;CNail+-O*GadSCbZqA1dbY#OvuxDF= zAv_~sY zIr#=>Iu9HiA+*>KCU)i%>Tfw zXjxOcxKAaP#VNqKbjOrfa$QYw|Bh};`p@@*lXs+-VnXzI%VWL2|CSV$6)6(Z@%ex8 Cxnr3C