From 8628ca81ab24c8103a5ed1b6b203b86b71da9a49 Mon Sep 17 00:00:00 2001 From: bu Date: Tue, 27 Nov 2018 11:13:49 +0100 Subject: [PATCH] kleinkram --- ROOT | 1 + .../MyCommentedIsabelle.thy | 2 +- .../output/document.pdf | Bin 626398 -> 626548 bytes 3 files changed, 2 insertions(+), 1 deletion(-) diff --git a/ROOT b/ROOT index 9c69ed8..8287e89 100644 --- a/ROOT +++ b/ROOT @@ -8,6 +8,7 @@ session "Isabelle_DOF" = "Functional-Automata" + "ontologies/CENELEC_50126" "ontologies/Conceptual" "ontologies/scholarly_paper" + "ontologies/technical_report" "ontologies/mathex_onto" diff --git a/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy b/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy index d209e6d..faceaa5 100644 --- a/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy +++ b/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy @@ -4,7 +4,7 @@ theory MyCommentedIsabelle begin -open_monitor*[this::article] +open_monitor*[this::report] (*>*) title*[tit::title]\An Account with my Personal, Ecclectic Comments on the Isabelle Architecture\ diff --git a/examples/technical_report/TR_my_commented_isabelle/output/document.pdf b/examples/technical_report/TR_my_commented_isabelle/output/document.pdf index 85b34dd042a1cb6e8eee0d55e38fe4bf44816476..782eafa9228ca6850af66b190e6b8ff732407067 100644 GIT binary patch delta 23207 zcmV(vK1jOlVBxRR6`vcClYq_&+0W>t1L3RTvf9;xkj1|=# z$M3QaTWXro24e}`%<77dSayUKEhacpKt#mBl0q7)11u{-yNs|Pui^y}Xhpr0#u!C& zHP{Df@TN8mX(_!`FsvlxRwyk<>8QjH6gn;Xm^ZES)o;aD#gkMpf3J@w%{if{$`WHMeqP{ z3ET!QgB`H$fZXik#Q{x;YK4+cBn>t)`A{%s1siF`_{6kY=VOUxfG@}IBpKF0Iti;upPnLk40v4;KCqfd;Fl=Z-)z!CUX z4ZreTYW$^E{;)vd{p=^VPT|q=e}3?7!XNM$S-(@^CXqkmw=?d7$BO*HcYrILzn$~@ zjC+g+;Bg`^@SO?u;j_rbJ_a`Cax1^KYp9RCjfNlLj}(5lUZYR&b7*s}Dr7yP)_=S{ zoAnBJsr4qu_O)SY_fUV1!Z+4^`g{+6bfMS-{J$kF|FQ4Qn)d~Z;D4hif2_h2(T^hj zdT(7u{8-9)8gu7`LhR=d{;sq_;Uf*{)~n!8`z3td$G;quKj6=M)m7)b5%T>t`fSf& zzY^b;DLg~sA^NgU$3NtEi1h;a>FD$s|9cF6=XqZT^Ii704gYB2A1;ddIk$OjcVPC$ z3H@6IeL7Vo{mD&J>z5Pmr!)`$E%6C{%+~NL!hXJy(0*L>v%hA3@yBZX+LZioen$S( z!+I+f-d&&jT#~m~o$o&E$GcDAmm4zjKiKny@z3@F{nmx>_ozmnf1Jr`d`JBLzueuq z@htfhPaEQ&QQaqoXUz}WSL?qM^JD5{+d1p~=yQ7u^YL$clD+`{H;v~#_|p{gV@#jb zV?6SoYlJ`e+wHBN6NOu%&U5J%=jZj-&(-_a+tpdW@UU8cfy5)?#YM>5{fWXSsn#W0LR#d^P(Ih!-=(Ua{Xb%r9f_TjKdkuMGn4eue*u{W+}XgZ;-8?t2~UPzuHBJ5CQg1w=iI*1o>NVDe`|!}uOW;qD`hQ1C|Cop0zUUA6==!>IbDog*IXxQr zAiuviotyns$e(tKzxgTsr=E=b3;FmV?8(JH97|cx2iRjh^77b!o7B(v*C`tRT0p;- z_R8jb4*eaEfBl5`mp{b&`9=M<&HwBA<>_j@O$qfg_jJcnv=y>c<_#Tc3KPU009b|C<}C!;gUY(?NdVVh=CqDE^xM@elAP0s3|7 zct-mtpIO2CE9gs$#vX0@4V{|zSI7^>Cd^+V^0&7nAE4iKQlqa0`b{76euw(BC61R5 zj{4r8BkXrjjpR>d>dUJ#isu3P(2-GmagcvoM*FkquWpolo_M?|_J?*%5%t0AN&6Y- z(_r=&f1)oQ^*|YZOxN(kWj`h9x1zrvYVB9k9FvuzgHvr zTOi+CnXo_OoRRN&^cOb4FCTujYvkebye;=DfAG6MI5?yK;^Pl{$3N5N%$i$7-oErN zu)jZ%KNdO9QQ05yZd?3s)|45&jm4c&pWxq5X!0=!|Nhed>G=xOOS?1j4?g;I;vDr~ zY`&kll6dZs4}2x*eJ=UHboQIao^EaYZ+_7>BBKAhUBjOO`mqaK zx61cE#J7X;eG~lIk}^Lk(_h+xKP(}y;Z@4-E&T1lg!hjT@zF||j|cGQj!@v;@b_Je>Xs14xo_m$|s&*Xds#{b56QTq2XAG`}(2JZ&j?BA07ih9cD{-YxOWafw9J>UrZ z4|yN?z;8HDG*#h7*0;Hj>I;rI?`rX1&v2i@dM^3g<SYK2_IASfGf6MF6kG_Q1 z<43VQt{rAih{)$!ljh^(+aJjHhS=8u$&ZN7lm1->gYZ6w@IC>D@IC^E@IC{F@IC~$@ID1H`2;dBGB%fB zrUe!QHZe1k@xLd3ZMAc7rr#1R987FZoHw>Jv2ELWlf1Dewv&k`wr$(Ct(n-izTY|L zo^$I~ef9j)y?S-+)ob^zhk``H-p)nM!vV;`z{1GP15lMvk!N9NX9h4cvcXeOh&lm{ zT|oABV#Y2&9)Kp$44?{h0I;wESecnw;3)v2_6{CSAPY->7XY;>&A&l_hK;cq$QI-T z(6G0$cLkYR0{C2AU4>koe=<7#6kzLC*!(8}nA+Q!f&Qh*nepEO>|B9PF8>HKce1wy z$cw89ODHOTr~$-9nbbr9#&%`^IjMiz?OdFB{$T@6ooxR#9X-J1f02#x|00wBMgOZh zx&J3(glAy^n1M`P046{SkR3eJzkHLnGq(qD{0BDs>G0puKZ2b9(FdUZ$3q%`8PNP6 z_D>rd1!G$vfLhev*5RiM&B8r%JUmt|}Vvhn!;<^3Oqw2SdSJ_y@c z{No(+e;|;v1jrp|rUY{N$7*w9n}00&H?9f%&%MY4%|JhG|I-ir$B%z*)Xd(_#^e7S z`Og^tK9EU4Nkm;(lkR^D@b9v?ovFPU$j$hh15#!hDc1O8oBG6wx;d;TltzuN?0 z`M((9Y%GhW|6mfAfDY5)kMPG=*PVwm0Pswn}LZE%OyGm@S8*o1HdNr(0$LUzzH@ z(nSLeTACT|U*O%U;pMs^63zse@b8}QNZ&Spks8MW5f3LOqe#N_m+_v9$jU8ztG8a2 z^Iq!04KBZF;M$rhe7lOcaY`nwG7F>G!cCMvj!2C8?=jfMS*K*nO_#*upg#V+y)Gq(qL_0JL6Y> zCVXL^;t=y>Sp>YY@M@9_IE380*ZX4N;%Zhgx7G%B9F&b z(;kY_=fYB7Bm=Ihq`F6k>7jPo3 zOSLYc@+evpdu&&E0KB^&ZyRp}qjfZYQX2hAx1>F--TFt0{t@4vEJ9RnF@{~F{Q|R- z0~pxhxSu#Voe8N^!PO2*pB|t+r?OmQC8V2()RYC8+}$yWM{rHN$=(e+ngz{iEU^U9 zI@EQ1bDNICeeldLvhKQ}>u5unGn`l;C+Xr{f@smC17kK-W(ZLa zAVy0LtB0t&kLha&{b>dYEZ7crVyg&iZP9iA3}09!TV;GW8HXLq)&BJB9whqUe1aSN z+qyeD@#f4}p~e3#IZg3keA^f8nWNHwQr8zFPu}m}enMbS4akcV>K%Q23 zt2o*+OV!PANESgM$2-FXLMOoN4a(CXTp#NyGDeK12kHx=LPiw3vZx<_y_14f1sVi7 z71i<3XN@yygFGVUk|NT+TyKrCNzinai<@$*v823Xx49<8MSuwXqBX|h@w5Jt+AfraA`Ho+=8P)Pw08Ps`Hv-k_*e8(|JD(TlOg}x(y9lWU+oyHOEnDkV! zXnhrMA>3eI>`rx+ihRv+A8e-IkJ$A*%_r;PP=TGNo}XjX@+oPt%yQXHHgw+IqwkT% zewh)+xoe=z&N*>0AM$$DU8dkR+Y%ky&YwI2i)iGW=_gG1;iQTz+@j%`IAIwwV&<%uiB8H>WeF7dvpgjG+5^ zIQTwSA}t$NYwKWM?wbsYAq9~92!%}`&2W|*h-jCGb}CD<6bHADX?*4Jbr=Gs&IuCz z;)Ws1<7W2!G)pZJvsgJ(+AQf86=&?}Gkfi_Lz=!AP=82&R1gCv@A_PG$4O@mIe2m^ zlK?tN>F-=gC2ouh(q!5rJvy_0_*UGXl-(a`K&6h9iv9}dTnh)H1V%) z?O}yI=D(28;|*xX`WbfQg+!&>OUXRkICn(45{VtXP^A-C^^JJ zP(p?i?azjPg`?d4c=Q0ap#1?Keih~hLh z{_qqXffNB>Bg@FdRd{?oMR{CxzkFlzPBkLy#aaaP z!ZBZe0y~+g^&_zfD__B`qWnZqS?#yWPp5bx2nHZpa>urkJF$SGtdz{6E7T$qjD;x+ zDwzyn=23b&OD0ge(cJhoTA5{)8lv~w@Roj8MQWRX>iu*E>oAW&h=g8Lsm#TC8uOQ( zR-iS88lYk{y4H^6h{8BYIj%Ityy7CHpp&=kx0uFxpHRC>B3<vH)Aj$ptQP=+9Bu)Nb3e688km1e-1l6Zs;EZRk% z2C>l*r7~VpHoq{%3BnCksFTi0ghw}j?M_N`fyTWQBD=n@PRP3Fwr<1Yno(b-U%jw+ zoF`G)&s`FmnHm;tHyU=VbPQXB_S%g0$_pyQ0j}*9t7}ZD>P(7=6vv zhwm2;3P?darm|SSX+8<-6v)u%+`aGqh(GTS63E5%J)mi8Wx> zyiS02NJ_ExWXJYg{k}NpLb51-(HiEiy+*&)>C9su$*V?_9O?Pd3%yR??@mVQ8LI<} z0{P&j_FZmZS84KR^&ORKLw=Iz17!o;BCTW*SPvz82?6P>fQqhL>$@wHSc_1x2f&NJ zFJ1Yq{OYc8BIc|77#Q_e(dQJ}n|5EHKGk&Iuy}xB(K(0H^V*ZFE|uqhUD>|jn!3FH zbsIriTtqNOf}*FMu{%r;Ihr>Uia?A1uaUx^7m-X#*Owkz*HsJIWW6uSU_NHhO=WVj%LXFk=B z+hN;Cu~OF(+&Za?eh=lHS+S~D8a{8Cpb=0Kj9{c)C|>}}!l=@?UskAdz%+E{&#JY` zku&Mibx4JgHE7E?_WR3~GRi50QtY-s2Q)Q`neWmKyBJ2!L^g9{7?r?vMof87odqfk&FIbRz13h*D2=@@ zl=6F9>m39ITmb`yOO@eF&|jT;PQJ|22I7Ci3>)xfy8U`TV?u1~mbQh>95Mymp2G} z-8~B<<||z;lGEu{cTA{Z$dOs}fSYUBi5sQi5~-N5&mUTe0Ww>Yk0EL;93|hK# z2I(IdA`I9k(meDgXx}y8n$jZyBpD}33#>%XSniRa^vIa6fyA4e-lBj*QgqeWf(iw646A&(IIs zvx>D0Y_KO&YSPY$!CriVv=_F33fN^2Z#E6RT3RWSk543-sw^S&cM zNph-?7K4}@p;TGDV7CWk`tt8SZV|7OM(ZCXukv+mX_JAY^NZe>g9OAEg}-pU&D{(?QAT#{O;|PRJ+6qUwdj!Sh65PpJ0qJO0uf>3LBSjUI5CQUH7LO_`t2lRmS1HZ4VEC(nz~#?DODdZb9>NoY1D zgT&bEDoZ`UYQaqEbiv&>n4!vlLu!UT{9G;>b+#H6kfuoDay+*e*&9i*TepzY6jhu) z1IKX{M;=+nsbAJF#jagKg(S?$J^roVPS!eO#lL9VGveK%Cc4}jSWf~jwMynU990ov zC|;I%nTd)_#dVhEBQQ3A(B7kECk2>3ydCk{*a12d>r?w>B}0Q z8^JVd2~d^rbX_8oBk+}Z(dM0Q_eQQZV<$~?o4a-Yp~Y~e7jWMJ3P(5CTJhuunqp>> zP)UwM_ukGY%Bxtcef1?Mtt+&!!R}oWARA-!!V1UK5r&lD1|$wb@ZDVeF>-FNbEeRs7dn4E2SGVL7DGV&9cvwQ;N z#vhzuYsny65ySbd_gh0bN!pPZkk2zW=~>Pblu|P4kpeVZ0<*lYw00evOzrc}WqbkbA7p~2I(1R9g!RY9bGh&Bg5PS#%k-NC&|$t_r- zo1PSU?B<(s=~kC0onMy!9(;@m#0(p_!~<2I-rMZFUmx@abs^S%c6<&mx)W#V69I>+ zgpEOPG>gCU_bJvqrWea0wTyCK6y2;G$|BgL9NJOjiz9K?Lt=PgDe|L*S$d`_a!0KI zci-hlwk@xJp_V>B$fz49YXLzzQOd8kSgr2*LC15Zsp1K54C|I=bWCdIj{*%$I#kmtUhp9*@Sx*a9zA9nuU&t}mZ&%W}`L#5m= z9h+r{om#UNX5ZjNL=f~7uRJlpiQJu_diM0qB5am_TX1dozwJ=u;uHryfZf?M(cv0| zz`-H@UD5q2(wG@YDQw(^6Tp%qSf>}dN;z$y&3{4#p))2wKNYU}d#6sURGaR8b_T!5 z_i|Qf%hM7u(hX8NKowrXHi&aih77h={dy;laoi(dNLN8(Qth<(O_aQHi|>Lea)*Wy z0|Fg?>0Xl>&*zpM&in$PG#7Qwt-Sj5L8DtO{M;lKnZ2L^duWtbDBDQFr03M6NFc&OCO)QojSgZgdt*DHJ{1Cs$w^_R9dTla>f)2>QDl`=0AqU7M|Qpqw|jz@MrIB zL}E#<6ibA{?Wn7*e&E@2bLJ$K6C>HhV28yjJ>B9cn9K%p`(CnfB8pU0orSNZs0b#O zx+gjy!}oE3$4`&)>G%xufh+xeO_=u=hCO*ZbsAE065A5>&Kk!Pz?_U*k;$g_E>5n0 zJ!EjZl!}IA9vo|W|-<99b4hO>1jip|t{bz9ZE zPKVH{4lq#;dsrgSQ||C?TQQDt_DB#6)Gy+M$B@cx5@f_Abh6 z8qK?iRYy+NW((!4mG?xFU@xU3e$)vRBBs!kfgEI0wWB6X)=~qBfVFQOm&P;d0SRfF3sMGj7DD7grZwvrxDLX z1VUbstTPH%gP==UX3ArGrgBz+bdhA;dx>mjcUJebye2?Q8>g@QF}+XIM;08!!SXG^ zlSvKhhaY@CmW=>SfoVVPra5_{o!)U8|TC=)m}>8@TAvq>4FC~Xok*8 z3Sh%mkH+ZZob(ARPnW9iEmvMAZIqXrIdRkDQ9RR7+aY10YTV>XXRl3v_%0tZvW#RQ z2;B^Ve8)Z>I?Mh9{D~tNCZIEBm)*q$&v-2JV)rCDwQN5oWYsF_vg(mD z8NpG?BZ}*ez`@|ASG^nSY^<27rJ#4!byn;o)bS4+m8FqGztO`zP5$OLy)T2nl7+pH z)V!LH^hqGQBNt`~0~@IPvb7#V-&PN;X0tgQKkqG#p?R+LRDAP)q~4emaVj#m8v4pt z)O?tMYCir|G4=?XQek=dhE~LNK7!`?J;twBm04`=Sp-OUIOjY*W4?iVTeXw8_!_a6 zIJczkSm%1D8 zgTaOJw2d-XiOxWOM3$#ee)$qemF2BXIoHB!@zz6YOV^W7(8`qBOR2fYnXK@P<1nR? z=1Z7&)qquQFxA9?onJ0|?U=vzP*fjqUI^<;?EIv=q5wJWHAuGL`nR_kLNfQ@N01|+ z^3JVQsJSp?(tV0ik6kZ?cG6%r0AzRG1jx*VCT;AC~DID z?6avRvLD5M5;AJS9z#t7qsuGX9yvm8>O;^`kc@dadb@FG!E|T1&Oh6Q zC~+74(KW$2KX$|wygfA3VJZk1pA>Zg-OP8Ui+n$SsXfGNw$2H+!mMQYOf=^FpNo~l$EU%I-DD64fr|3z{a*3;LBLmOl? z^6k5Sg3WEIWkGh4g6VhVzq`X79&xBs&k{6yJS{|!)OQpL+~)#;T%>MK2uDQ<9`KQZ z8_zdYE4HXQl0K+8lk;s&tVIz)O%SVK<5|ydRNc(N`pIALY*Gv59dJX9w%%ez2VPoJ z8h+f9VZvge^d}T^rrr5u0Tpcqwg{Xb386QCTdUVGQf~W&(kWsc_HaBBLa|d^t@?!C z9W%o-Fd!7z{3W|)!?VZtAC$J%w&(8m_2`POb>)l^XLS)3Hb7! z-Zvt)UzzB>vP1|vxs}2Odl?&BgLkw1ODb8$hM9vJGfs*WcW!LQ8W{G*tB_ECV$+!Mp6DkU_e7^tLyaj>BC}`(#nCBXTVR8+ zt)ZV^`aZh=0IhrSA2qchGel$@^3ZrV%dF4)X&>qx4ut$CKgJs?Q11}0r5LMh% z(#D8k$)8H5jPpBo+JJ6U(F3+sDz}-7Fl3(o_MEQVDYo7u&o%*hdz4DU!s%Xr$1Zup z9g%T+_1yTcap&Q=XEv|ndgK_mZy6mC2Fm2YQ=A!j8a89iBj4Y0I-3?rudvstK@mDu zsQY-ryM8%wRf9GF>+$5ZaadAa!-NN;^jlJLg~~N;DqF*?_||^j@M_DmE7jM80O@Z- zT^YNET=jaE$w<ZYMPy%yht;8|0aq-)+?!gRgV0xdZF7-|xb%i86#`AL)O&&{C3`pu9zKl3vW zr5!2Gq4PF%B%g18LaO1p)t8?amgRaI>BPnm4Fy-VeM1G=Xe5YGyYFEvQctIq zW*6I=TL@`;`v&US)zKmxHsuAWULQO@OaUM6q-e1>4=Ee0oX-U37tP zp6}d_C?4Pp%Hk=7ZDUVWL_81hLPSQa5m!)Kl^zvfU+GQL{{Dr5UFN)qArH+xwMHe^Cd+3@j%6nYCrHx-HYFdO6IvF9|a&N1AXj^j#>Q+NX# zlWJpQ&{s2%3Pt;B6p$kM3ul7RYIavDemr3%bk@<5@l{iQDt>W{*C<_((`rp91G=l0 zirzTeif^>w5#ngJnOF4SuH0D7%?7g#oH#{6q_YJv0E(0ZKYr_@s}%m13$d9&HeKG` zt$HWA^*Go!jA-ji89yAhK<(>LlwRPL$YbBcxVH%Sf?2cWj-egCm|-S7IzQI8%Q#@}tGivNq z;;CVehg4OJ7EcY|O%{2sv&vk;TI>uipqIFm7(u z9eqD`Jua5-YDydoN&pUGMq0q!?5ZGQik{FX!Jd)%1o{|fX$K5_jGNIGB-)>h#um;X)YcZY;xtXSsHNx~9&Ih5;k`uCRlo4vOLc&qm&AeB=YZIr9q6;8S^A`OwxaYY13Rlz`sEZiJS>%xD_+U51UDNPT`Hb5#2Y(V&VKd4eR5 z$&;3-2wLUheP@aRY0yd7_q3+yIucWz|Eh zdx-Clz|3WQ!a0AC%VDNID&-n{qv0=kNxNn{cHD0ey@bf082ES^97FdCFlE7i;Mpzp zUmxigq!h?90(wYXUrn2E8Pd)NkbiT% zTpgTEvO73I3d6!3m;eI6zq8TAsa-y+e;5iLen@CFb6pU1r}rBia5Tjh8`r z=l0M$A+m(;(ttHgf0=cSy?Gjcz9$$R=hVPrka9WAg0DSjitrvO6tr;m2g5woK|vK* zGW61I{g-fM{urx&VI^c*h>ISg z#?sY_nZjFZoVDeqwj$_{7O(3h+A=0Wb~|m05DOjhB?SESJGm+gNKegJ_n{TS`nFy& zZQwq-hSkXga<+TPuJ!$oWFJEiW4Y@6n?c#^CSx4%{Suuney?dXf%=y_rIT2@E&gm~ zLBnGTRcB0YpHWUX1?*&hj!GnZb{j_j7K6cBj*@cIen0rxZ;k#e0ayI+b!!g&H&RI4 z$c-bWQ@QtjRC8H|75!A)x5@kgoDgaZ{(3rw-?m%qbtE+6i9t6IvIR?~`;JFpP{u#w;dtW{F zU@#SZq4vNpQ!JUD_L97`S#eI(FSi!bG<<15v1l@~IinPGi})CT2fIG&HLGx@R(nX_ z{O9kTHm9*G1=IO|{MpALIMTheh(}D4hUh`lB@Mj|@Murb;i68a5>rWME!qv@-YdEODWlZG|Li zx~{Kg_W8{^6^dQ+wN$&3cNa#~{;x1KZ||J1YhNI$qJyY?`G-cR#4le*7nyP=Y<51AuG(syZ_T<<7u3(vZb zl?Wz4xY;A3O+b;F^?F^;~mZ_ag!o7X@sbbFux;r!G0593furIgeK+p0DzQugw~x ziX7^obb>nr_@I)Tg@k6WONt<>&g6F|w*Z?h()Le%RBJrEuH_@>u~PEBO6E80F8yI0 z*PbO*_g%AusGug}^v#)5sn)}Qf6x5oYonafx(A@16fZZ+W zO5qyOZ%2d8Y$S6%^}B%rfl2 zS1olC^Q9dYdJmHym)BaLT(ZN8Ja;3Qz5QRQ{D!JCkcE_Q1Jh(CH^PnUmC;B;y4BmV zXeK!=i&H_0DELkbB;D%>xRc33?|*BdS!q7K0T`S2*mP+HDBBtB|59?#I~_ znZR1_g1Ru~WznnyytO!Fi5GlBjO9pwdi;c*6wDhzVi?j=Izui=ATeN)wWu;ejtqct+{aM2m*?X7=p89!3t{3$Vj zXAMhn2iKPro_+E-g$h9Gj>f}D2z=AEb>alsm zIw0tj-|6nyrlZAv56GcV&tI)|Lu5jy$<8D?<$vo4T!bNi#w}dY`ksVIsO&7_;`R>a z@nufr3ZnFV6Fh0X6)FbLuFS=rS0k8uM92H<4FLyX^pi$*`kKJqX$28~yUZU)Ai+AM zEqG(KDcQr$JIs6=*TQz4K0T@9l>?m2=ScnBic5jDz@g@g8o3+-=h#BK%k@b&(f!p- z9t|mPSf^$oGI;j*W9G)>>E^MP#$qk54wTqI49hqG<=@o);8&n5lC{?#RYq^#mBBpd z0;yBi3cXvK;$0#kL2=c8AgjPSK_z?_Zn9b zZ(X!gm@>aeceZ1X9?x#uQ-e{Y?nXa<&5vV2zt zdK1m&{R>8V_)veYa{BK3#>Y3MS0v^#CdEeM$Ey ztA#0CMh*`IeMTqy^oN5%ppkL-D^$Q)ugDzQW!QPrhuaN_&|>%-UPJ$CH3R!8~%A157O{2L7xy>2gIt! z15RtqZmn;BzcZ3faiR}uRCP;q>iSZrUhx$r^yc#-JI^9LVJd|h54{I29KU*E~E=4=N#ByaIvX^9z;5*)#$HeMD_Q=3TY#qsmuek|m4lL#q?Att|||I6<#^k=Fb7M%qr%t4F|{}P(yiQB>6 zt^}bT?pD33a#0zE!dGxQHc;ib<3u)x zH;~gS;KS1D0}Mf{_%J*uoP2xo_DNOR%?z7Fe z0iEWfmddF|E3WVQ`rV-@!T1oSn>ymNX+!UNCN5EExNZ% zX`o(%QrR)nXu}A}=du`L_0-rjNpJ>CMh7F*+=bR697gsO-!93ZFl9syh=u0H^?S9k z7nZUGX2+kq!H=i=a0fezAEK%-YFUhIwQN*13;dN>6qY|9V#wWdP=z0Q0x|^=F_#63 zBl8A&m{iBT+v%OF6ASDU9lWZ$*Ek<&?I?(zSyW!?C%RwhYwqC@t|4E&~v= z;S(bcwbo3CDAvzwhN^hvlr~=g*vsb3VWlY*8LoCG6(pA_zY%#QT@#O)Mb9$;^ZTa7 zXY_?T)%PkrG)^rrkMvA3j|#)v{KXdD(=_+z7_3gaYpMllTC(7JgNaCdffTSM!Ejq! zVi|DCEFqmfe%1ZCAe1ff=faNlwsKl?lcNGnZ@sUaSA@&cGNa+nu?i|gDx@lyNQKZ;Ari2( z+^A`pHs~rkUNfOd%DNpJY?WM~d4eN0C|)alQjMosEX}5r;>ja1M;S|qBT=hdq}FJu z6cQnSiZntu4cA3xilMqhBQ(Jsn`nd%4cE~K(`dp*TvA3yqKL*Tu7{!);OAp1V!VVVv(iB?>Jhwa!L`K=ubIAt9Qg50@ zyorI?NhMDdI!z-&0~XVWU@ezuL3(cCX_E2)oe6w#}QFS^mBW`^j~4UxWMNK(21cM_L8t=Ev^>4ug? zIJp$jhZL(xiN><}kl1K#M5$IhpCTz}W+l-;nn;YnI4XJXcXY#bL=r(Bn@A-UNk-Fu zM_MJ(M_Mh)O(m1SJ1RM*RddO+M2Ux*1ejRztoEz}By&=CV|Hj#Dv?@OhIpfm)yxy# z42~4e@CaHSK?7y zjp@S<%`~SefP}mM^Pj--uzGJ{D_&If@!NN#<-48)5F1C&R9#-5pMPlk?$Ii$AAhXs zJtGXks6Ez(q}mS-!p|Q9Bqtw~2tYnK2cG3_8e-)SgsDE9U!5FHm(_cs{^4GKRll5m zT~=7cd(!7!*7X0vt-}vH@1rrhhMvx+U9!bPNG(REUCTYJ-6hMZ^)4MCJ~9kp*H=DS zf-Z19?M!JURn)s=$=SMS&vixPG|@9zK?fjY)TN3y~0VnGZL5@chhMI?AaN zH(Ne>HPOP*WSLu9A`V`bSi|*y#w(t=A)y9R zlR!$r>$^Kt4WFD0ZmxCtZ&g!tUVWwmlGZNp#;zJJ0{8SDy2>y{=8Qm?R0pX6N)JX& zCn@Wuz+#btjeH0elw-YT?Pqzg7CVieiZz3IOn5BohXeF75A7J<2>~7mchM}8kUSHU zco|V)p*HZK2FtUo2VOgWEP*#-ih{~y!5OGx=#hE@ELcWv1FO&)Y`Jg1B7qu9Z(C$M zm!uvhhBk7OOI8i>f_bDnL_ynI*qIn(?&F$1!`I3#^2kzPGM7MEixGYmTGamW{3{B} z+4*y7G?a@NnmYAaLGB`GR;996$t+hWAli!M-L$Z=g?wdH96Ydg@j~e$#fn35w?&FO z6qn-ei$jYput*COSiDH_;_eF+FYa!I;tMQNd~vwE_k8#F_a`TFW|EVWWM+~~=8o+ch$?Ddpk|31w&Mu0TL=`6;^suD#a740%pWSHu z2thdg=@h*IpPAI0rtIEFzYNU7_`2EDm=POm$NAWxC5OyS`J7SL(gBp@CAs39@xbB7 z=>hFFt0BpW%`KAE#i+bffFe4WXe%oH96%H8Z;p=J8h9aFE>4=%|5G8 z8={-1kCUxo4Qhg3^AiM>?>A~0DBd{(Cz>ANQ^9=Z*!l)6KXxkr)*O=(WkjxXh&lS& z*d#6es%weQ4o7B=P`=E5z^Y#2k1kDn%|C+sHac7bSKXFl`VCJ)>LwUyhN7?7m|Otc z1~eJ^R-@|Y@Y}ckNu<#(r_xD;)ANnCK}Pr;=Z5;p8YucXDp!rK>nJ4`2Z{2S574Y| zLg>1pIUUg*-)>xUBzYRXi4UCjq~;UwcYz*K_uG z5@>TB6jBmmiTf#xa`C*;gIRgNo!8J*ykDje8l~NvpzUCaEOF|x%Xm%gqtR#*K%`?Y z1oFCJeftQ5O@bjd-@wf!E0b?J&8UyIxYKVmfd$f~`h8%!O9MLFQttE=<^EavW7udb zHa&+wQD`Hj_|UEaNA)3RAV&+Xa}KJmwDsBtkvm-{xLe3lQle!B;IXLG*xaR|u=lSU z;`PyjAJq~mN}Fvw0GqBLCZrAC`x_Za8#>A_|JK7|siz6^CmlkZ^5bFC+p1GGrNMadaB(6erKNSA*UEpQ{Mw#yF6IU|rvcCe-+>YXc*_WHc@?d$*N> zL3&#;aZYZQ6gg%Po0mb^S^rgMaI*Gq9V@*{BBo4yU4^L-sLvA;@;lzE|J7ZWucZg} z$lGg@YMb+@r6Y4Z#c!?a-q`sO=A5Bi!X9XD^S)*>8n2gBg(Tu1z!*pc_nJ4)P02_ zaY)h2WI6K-R-N=nN|hHGo)a9TBW?TOFoU8H)*S)j-C=Dmm4mA;G3Hzg);!r2qPCvw zm*o~qT|>N(*LN;j@L8ilaqAuYgCF%wt*SW^M@FTb!2w@9i7AiK*W5VoP@%e zW(pUj35+hZ&}56>;#De28Wdj*wCDi6B*|O>Pb77wDV`Ub!2^dqr&Zn0*|mlA2M%V~ zw5Oz4PQ(7mo`(Cj@D}3xq*4)&1eIRwP5%_5INk@97jJU z@6SGkv4w-JVQYL{jW4QSF4R-rtW!}p$Z&{kTO7aHjjh*2UOKgI0EbPhrGB-N&&zLb zV7zzuF15lFe`MzsPr>n)%AI?=3;Qoc_uIhld61Zt$Nx2%?u^;Hz4xev8r6-hNRa&< zHOu)+A`ZsnFwq4A;V8A_3@j5&43oV@!P7`6{lj3Dk225%=>$U!pt4y`FQDGy$Lx8( zd*(XtBH5Msp1r(HTU<~n-ATn;*_b51G0UQmW0U>vqPI+clz{j9etchLAOFXbP9A0m zx;||4fi)Q&Rj53}qBiYF^x0+dyl->UlwuBwmllM5f!Y9l$5uDV>{gXCH0jeny~Xno zjbz6dL=EKQ*h%!{O1I7=BGi>%jwnd<`F*9Rz^Ld#vi>PjL4fi z;C0{QS84jM?NPz?5}ldB`u@!kqpbPo_t0w;VQdVvE1e2m-mP6pMP>;2aEklcvxqQO z^5xGJv4BkcQ;yQ{N>WMn`80Zak`m-0h?x(=UhtpaCngm(V!oOe7{sA_YR7A+#vNw& zmkZLFS7{-Mj-zmn?84l}!QWtT>zz;i17L{{w*$Rgnf<0JdzyDL7OE*)R;I+R( zvyDOz<0p5kWE;O^bPlo@bxPz1PsK*t7U!_L|IMS$R* zWr*QmnkaoY$c@)R#7y5%0MgbEn7Uw|qsG+?Ke;Sln0P#0U!SUVEZGP+^V2d!c+j}5 zKjykzhN)+pZ+dg^;shLkqu;cJsK`>QcHE0)1xgs}U4$gK_uzHpY21wr-5hSO!gtSE zg{V1;NvnrKk7ft_&{>((+y&FmRqCE}a?As>vsA|+%&EmAhz0o5FdNcN;7|B!c?U#( zu0B-*ncYTP20#v!@ck(Hy(~s@d{z;8Hk6`!Qc#Py16nJz!c^s55Lf zily15w2-P0vAw@(r47l}U>-rVeN-;7&QWT@P8b-#nurB_8zi*`PY7}*sNGW2i)L)j zuzZtLOY4n09~!Ejf!|!r)NxL<_=rCo`9nO-AR?V+v(bpY!|nb1{W^_1yYO8^Qhxrs zqCh!YF9$EZgUWd7e&wgnUgFi&T*U>jbJlLjs@r528#8M0ppL75oH~L(TZ(2(wwh#@ znpf4il=MkItIsCEo1N)KZ!h-m1NbIFvxCIx?u^aN%mWIr?Q*yexbIB~W8{?;rXh!I zzm_lPU2I0oIz_~MFJE~a?;Y*&s@(UmmJ_uWx%Np~?fmtYpqa3y%$%rx6n^ksJqleq zPC7@xhZ@XGASSA*(Q98UM-Fb_R?0;D(YLsZgJwCDk9{yV@>#H1+qp_0gc5KM<(u`WCZdwV60-V^A+TU*mn&dniSfi>Bzmz!j-+ zJH4a5)BIfx>G4J7!$|4?im_98*=qP%k=owUV2Ze?SdjlU;9|uScZm!w|OT;>EC3Gu1A z0kXwAuaX@CJtnWUj6U`dLJIO(N`TnNI8UU6VBwqqW94?v1!8HCPh8R$d?GmWMgc(= zi0>~}YFqc!>x}o(=N$RJT)(^Psb%Xt=0~9TxW_!#W7frCk|6awx8qsf!5fF|;@dXr z(+mUoYVdYB6nAuWD*EnDhfdEL4f8G0u5mz4N9|{odJ)U3{kzMsTg!)%)pAG~gh@n_Nx5D; zP){QeJFqY{yBC9dF!dLF-jczgFC-U6sxv#uG7?4HwI{+ z_&dydT>N_wvrY8Uf*?&jPR9Ph?d@4IYIsulO~YfB^U1>P#O>N;XYqM?hhX#AO8i~* zzjgwb8gEq!neDI$^9Ag&E;2XM<>RE2wL!fId}9JgV$FCR?w6bM(JEWJiDRJ?t9PU-r$cKM%4s{6*SVC#KNGVA zqc*>3+pZGfBsUgK{Dh8&n`hHd{d=J2nBL-;b{11I4c)!V=8KsHjd1wK8!~u@9rYcI z76DZt!DCN|@FO$lbMpwwb{EK%w@*vXvZNcb8VsaPq5JsWa8#N&Nj*j|%k`1@HZi=ApX??0E z!dcM#-`XY*P;FOJm@mTz2^n$jVao0s3+nTDfCVXvWpJq5)h8|8Z{Pmpubmkhx~vlo zT<2J^6H%Z<_eL#>hQ|;+c`x($=N>=-wM_#PLAMBk0^XoV#swVNha8+R3=gFW^DKz9 zY@D;8-Ah*?RHa0KVb++mz3-jL-@O%4|I_QSo_9O@BgS=rNJFX>h9K$2&q=y#!1XvP z*>Ydzskc+%k%d}t1Fc*f5QMk3x|B&6QI(m!?~)tY`gho{C?`Kdw|G5MqIQ*0tz zeyi>F(Vy6gn2D7VRW?LR!lOFTV*T&2wzZKFNlg|ZMH|{a-QRn^QMZ~SScxI$xJk?X znl1tua8g8r=uaU2cOM9Gpq>^Us-^^+|NhiW!N;mUdaNt!9Z%)O+@0{57BRqk zMtGZdX$kvLRRix$!|jP0POg##ArHi$=|#g$l_b|`0z0U9HHV|2o3!0Jfhw-(-E>(*n=QlKdtn%ZqgyW z0$&w&TsAxaz%K4OqP-nOZm{a3D%wYYx1IZ^_r26^eXc6g$F!H-;`THm5dJOWgyqjz z+Yc&3be@6BdO8&>RLjQ}oAYkS@au&JuInib8`ef<+8~J6CpClC6bdec_e}9;zdeCv zgX!C&C3odhy>gq8dR6o1l!9%!Lsubxm%~p2|V&f)?WX5K)uqU!<0bEe*sJHQ6jw&%?Z& zFS^+OuV3d43+1AlSEg)P;Kt{s#ec$8jC9;29ovrdnj5ko$+9FI zXtx}ie_v!#%^v*%{D#@_@4Zs)i82*bH?rKxruZM@NVd}<3x6YT9{v6nqLqoEi5g-BOpO5_WunQDT7u*f-dsAe7={l4JPK;6 zU2-(xX-YEQKc~n7rn+RIQ+sH<_}26U)G>s8H!0la3%B;je~0Op)%^Wr=Y!o>NiETeN7LcrI^2s0>qfQ&CDfv~OGhmGJ_vIHW{_ z^`w5`bDXK*a2iQ~1Px+Hayc1IQ9UOU9sCMfXz@5H)O4~k<5J>MWXqmP@GD=anHNTz zgzH7Z(sU)=MU3A5;F1-xXEY-ILqAOzuTU;Kqrrk<>rm+sP{@fz>;N%!xV`zFi{pYu zE^1RQ{rZoBz~5g+nh`K;=-6zGw+-*$|w6Lg+I2E zH{_}1BRrbI01a;i*nWG5a@Am7MDZ>q#~opc2YCu$Gj)+I4s^YrWL7Yn9&+mTuR(D} z&*-w_c>xQqq(xuu@~(lP;f7>cki`U>S`fvAc<`Wjhbi-5AcH|XXvk2*$>W8q_9~5q zww$>*v_J%HLe&jz+Ihc7c@myxpKpJuWLrMTnx10qxAC*Z__PTLEohjh2k#9?jlWl5 z79p@N;9e*92;bl(C zRUQi;D!Zsf^`>M8IaM%J-LBdsB(1R%G|co~aH_VrN^|sN_Yti4ctPfJNhZ3_8?@sA4cQv35GO&d>r)KV$DYUdweC27dFx5aA?!}HG=miQEF@4*WScPgKr;kySQ;w20 zK8I4VL;eEuliCa87Lwrf6}I57CKO%5RcIEZ5vG*h9%;Ro!Df?KC!swwRWzEG0DWPT z4fn4-#Q(2Cf$r~X&|~>J0!TUU?*AO=xTz0-6sh_+q^2cN&erR#AH zwJeo@NHj(XL8(_>w>=nClQf|wHFBd_Lb@|W=ICd=E1ktZ^bYN6h@FYP-F;|a@0gu} z5Z0)UN~--JL324^e=#QZhY7Y9580fJS7*fn)lP6uHW2BC;ndnoXjdiVteEfz$*x=yK!B;+@-mFsv+0&WJ+C>d9XPYfmkY`b+|wp^zL%w7)HaUH2&Y zspH*rEQo<+TsB%xJK}LNk~<1j%0r$=U(Q1w`x#e{mmj5-0OXoag`P_$!18nF%gCMd|;gV3)tUxQQ zmy2?~M9Yc>&vBNa_9mJf2vKQU4}=;qNUT(9mG?4tOgen;N5hb#GRg$wMI)p0B!2QJDZ+6gmrOn}Jaxay-4$CyIglTR4^s zUMVQXEEbF`C?HLoi(elBY*LJq2YSE~lt!s)<7c}f5c&*XXe3n*C>X!a`8j(7-jNgo XdQqn~#$wap2n&heFfz((DB%1L`q}73 delta 23071 zcmV()K;OUgo+jR%Ca_!q5yI&Z0^)QwlCn#k{Q=Gmfx|C*r+hdh6fJpTcOm)FEQ z&z+(6Up64#{+y@wkJj8TJ4>zi^hZ966rRie9Q?o2j~^^o_z~8#oeIwa7hQ!z&daY< z_&e@b=Kdb{FFmMm2m3Rt6<)x47TgN9z-?d~+%D^XQxskm{jqFoW*L63MP5GqweJU` z|MTJBo2hVr_;EOYA?Lf`4zLHlt1g~CN;j+hL$Tm2{Oqc&jQy2ntMi|aXcyOy)?`^{V?o{~O z+Duh{P=2!F=ZDBYwx4kN%A+>iuGT*jyg=c5@F$1+wGGk4uRGNGr5btq52LSow=Qx)DA*PeVr6jU*(1PZ%Xxp zvqYVD|Nex(_to#$#+4`e&mq3r-3oU~J|~{;Na=n)`La{$AMhfuLwxvv_*j~+@a1Ap zVruN7r4KVz4c-r-u(){#qUGn#{}eAI);}Kl9Vqn`@@}Hu$YH;&Lp@9UD6)Qu)T`i8QvbovD^f3ilh3=kUzYl5JoXXr`xen3zwg_}`PBEH$bG11 zAN#AGZGLc6hV?$=8FJpGqA&1eqK~KWAF&7U6|#Pg!h!HRhk6HoEcTBU`GBt!{;8L@ zNIoWh9T0nA|5Y*VBS-!pQ?Kz?&T~Zm;Opgl>VY%4kI(uIVh`XOMgI*7e=qTW1pi%$ z{PXM|EBYti@05N4d-1TB0{h2_KB!-=$KQ&q-z4XOCy4)pCu-#7QEz=nd<@}d7yN|$ zev&*NJXy|rTHz_8zq!;~qJP$>iob!UiT=UU!A0)h&ix(MU5O9i8KN)n%(`^)Ne2HI z6~)^%r)(eN;BS+VM~VFQlO`X3y2x`(rTYIB>iic|s!x6D^97NAty|SM#yKJ%9!WOw zXpr~=@*kg2{vq+XSMxlVdTtW=FT_6PU>`Z+_185i$%A@j{D91Hp%VSj9^zg8K81fx zSnn5^4>ZL5y+i%FTl7Ob>sM2m`v&OuHL+*pyeDn4nIA8~e{A}B#$YlK0C#x{uwUyA@i&)P5%vh3z_GCoN=7yUuEKDk5!rT zecq3(kbFeGI2nCg-2Wi`n$7&HDW*K~_~%d3|ImNcwxq+q_YnO_O8##nk8$KfkNWpI z_|H+__DH`EUMc+^c(wE|;I+~(;UDuv9{AUV@b8i@?iPQ=f1hK20e{~V?O!#*_ig59 zU&;G2&hx+y^USk+!7HSn13xAGCHL9M@5`(| zC;c$}$-^@5re66&^4&8Ezbo?t@aLNT!J^+-tI3yT@`F2|I^u_oeV&GVa`gXO6UIjm zd3$0%)T2E$$L2mIo@Z;`kXz{Q%erI3Pm%g*o5UO5$6j%NIHmYPzqLo^`NW5P3Hx~$ zf2>7cHvBhB|4e*s)x=kyc)Y4#I`_+V;4kn~BEGy6@$*9M=H7pLeu4gCV@&%jasS!J zDc=^D$A?iq{AJ#@hNISz*Fy>OjYoW%rIANK|G1TW>(Fns>-rJm|KJL}|8vPd9n=RF z{_v)T|B(HEjS1tCPrbdZO6o_4?^p5_imwj&;YE4hgZ}FWXZ{!D(ogK&m+bcz^~DN_ zU-;J?iPy{r=Mqm`?Ca3}l=!EfSS#eRR&*l&sVjqBpZFXG=- z3GJ=S{g&^ql6XeF)B8V(-)U38{QICrpBDAm$GQWk&%%`CAM(C>J@MS4|LW5Ciwpm| zBtB4oufMFB$7Y#V|6C>Z>r=n2i8-Ii&i;G7XER^eDBoWouXc?-Ecu>I-ml2_vS9a! z`HMq5tdIUIyl?Tc9QyWTeu4kJNBx-NK6`~f^4;d>-{RJ;dgF0N^e4pk1Dbj)OML(E zUwS`ZzTZvjdphjtz%iP?WQa$@$mcfoz=?5x-{+DqJK@*EpC%6YtG;L+7cl?bqLGh} zeQXEk_`cx=ng8>B#7Oun^Zv9E{%q>c4T6~$t+Nu^EAKNt*VT{2qqZo%c8vAr^_I=J^_d9J_3jAJ_CpBJ_NVyJ_R!Q1Ti=_IG3@o0~7@@GBh?am*E!$D1UQv zaHij~b!^*tW81cEJ8v|xH8Cf)olI=owl%@Tnb=OgIlptyxpk|)dj8nmt5?@vy>>qo zB$5vHuIgTnKo$lTMrK}snxv`%3p+bAfSHjEj)FqW8EE2a?O-o%;tJ#iXaUUuYCuN- z3oC$?nVAKS0wCt#=;dr}Y2^x_Hh-h}2Lx!^nwVSLSvvzX9c&%kt<9_e{O<1V!tO3^ zjLvR?jDMTdfIxt&6%b%yZ3_g5DJkp7C`tjSr4%&)Qb2p4vxzN0+0E3}+6*9XZ3eV= z0nz|09Gn5R|4smA4)*5O|I*~b_>Ta4cc8QDUtt!`4t4+q33U-kB}H|Bgnt;5x){L3 z-W(t={kPrT)rI#j8))Wi_pj;b0j~dzY)$?fnf^EWZ`IlJ-w`7m3k$&9+RPPT3beGg zhhzGeZ!-244gk)7!{%;||0(?yK`I9?bvx z{u3GeFH2O^!PAF} z71%xBk-2RqHHiZv9DhwtMUzArtl&MDkX2av)oi`06ui_&7+ykX;@X)hLR>}OxMpmu z2PxA|v1jG}sgZRm6+o3@i8e0l=!Znvj$d26x0j+ZphC;k{X_un(N&|&S%nr}nhHJt zUIz=$58g$%qQEt>Dl89lJP6nQ*$xbz)@1EiKNChR zHu$0A;%Zehx77u89kbPjfK~8)KerC>=_tdXy_vxz%y=ltoDWZbkqW%3mhKrFp@$r{ zVY73p)K;>)#ux^Yp@c!bZYQBq$e2onBc;OuE7|%+mg`)@6p*zi_t~xr0C;yCZ<}uf zWA!xBnghzWq<_6_JqE{00g(_-mZ7S*=p(K&{z18^feh@hJWpI)E`-$Spz4QZPY+Pu z(>d;Ok}}Oi>MBA^o}L)QqqwHNWba0uEkYJFR+vJlof^7+`OPO0-|;Lia_)Md>S@E6 zvz%GLr|1$~gK1G^1kdv2#MY7pk)_tl=%Em22~iHg#(zqWYKEzMPUve1184?|EZL5B z;;ISj?9lXnk6hTK+GKq=n}nap*SY!k3=w^BJ;4s`we8MLzPT_~Y70QbB$qzfEF(cL zcJSQAiDaM!&nfe9N$;X(7pH&nUvXo;jc(m5Q3}7iq|6#gb^FsqyD5||w13f_IVmr9 ze=+hFB!4CO3xhy5A}vj7boTR;M=l>)r~Mv_syX?6>ripZYC!SDJ&K?#FrK9x%{z)* z$fwj0NI#Kzpi?LAD{VTu7MW$9q0CZP4U|T^9)ZA8b+TiYuAk+UDuF~waDfeiN`&4Y zQlNpqKG9QRj2z1hG7v%mkNoM*qH+9A3Q`?p7=P?sQqN1DGr^=|?G-tn5}EPkerudd zf~u$TvpK&8Q`$Ffn|n%PRB9&vpqa+4CZ;zt5RaqDGl^S`;7>NoBP2>saG(vRo>>0& z>+Ormm#M3tjYqDfbynix#X(**o@`Bgl*|>ymGtqUZMC8xE>j3}O!vZGjp{5hdTAf< zu79h{K=Hz(L)iLYqiFS2_R_gw90gVr^j)ROY6H3(v5>bsTE7AR)R5Hz#bVvEO^UuU zn)bM^_S-C{Ynxg27Ay@~V(;Ts?Z*XRh%fg03%q1gG=&WP7`Q=!?V3=54Xs#2xJ&Yr z*LousOMnm#HjZIR>3~)l)E(*2P371Oj(=F^l((v7+pC}};U@D^PrAGGkJmiUp%(gs z$X)M0g=F2FsxS-G3-gTH-%DGqa$I*)ja+v3>3e0cUS=h5?iwj`^G;nYhJ9Z3Rw#JP zx5UP`3#X1jBAd8o2M7~6oYjy-S~b0sC#^!K-5tEnt?ks$NmJ0Z|^3|uYYGK z_a#JiGNaaIIi9FG0-wUm{iQ_p^1AZ+u!1Ja33{$aLhkb=GjegYw+-|&9ZDi9n!b+P;9Kcclq<%FNVB|boZ;%qQp zWGxRj7YG64BgIGc8cCTyX@6s#P?`v9=>;T{hBX^z#-Mj$k5DEbE!!T@??0OQA3%E~ z?p?oqo83DP0ahP`<~_Uhz$2(x_D4^;-bL&{Vld)Cfyh>BTRkWB~EO>Ei2J zoay!+Na67{bBs;hMJ6`VR3_98DmJI?)FN|UzKL4Da4wX>OeJe`B!4$!7Ao3TR-6i{ zs3*C)IVT8%F#u6hJGYfRi3OG9q-B@fA(s%LEzMX^$Ycq#k25n_vVl5H7ACJTDlBW% zV13s{xAeQJ(%S@7?|)`7j|v!sN$ACt%U!?CU_{w#2Yo|V2UL#5)Y-EfQ<$Wv#FwR6 zR9=J@b@BboF8}UJBY&AoB6tHzC+ZU#+@t#E%2>-Tbo*SUNIIXPJdtiLL!v@l-tTvK zy7$KE?iz*GtIUQ}rND!Pp0IE~eTHZ?R1a-^1*yi1ai%(Nww=AT^s4s3}NrWOS+#Oe3?9c}j1>(;j(a zzEvnZaE1V`fU*QBLls?qpzAGW?lglgl*FTSATh26Gzd*j$W;kaa)rfd&R`xW!d-MW zqP%(;chX{uG=H9DV7U#&^}^qJZ|gU`t{Dwv2Q-R*PVgqH_Uim;~pJW7H?6mIJ;_8yUABhFf{_qh`&abWD<%|Sjkzejd3>OC-h7$O2t@glI z(;>XxD$9c?s8IM?{H<3AQqyHR?p}%MyA5RoZJ@RGfPa1Qpokc}Vk!Bht3uPqi_Zy)H}9mpzV+@}LOgV2`VBB=Q7=e4EUi>`x?^{)asM;;LaHSB z8}waAt$#tA^O@HIqED?BIpXu94_du}|DCM#GiE0y1=8V5-MjqYuJV*y%^j6{V_}Ne z17#!Z60KATNG~OODFNx6psJon+q*lHc&qSFFMy9gf2PV?#noNYWb9YP2{3w3>H8lj zU)lo$`gF4eqo0EeOD=g_-q+q__36CtDh`d;)PEHXuiNl45~4zRk`%oSj6LD{NHKib z)-J0mkhi8cwHBHPn_}qZ#$#t#{6N9uY$i-E`S$yZr3F>*Eq{|GxnFb^am6BvcYGwJ zi}%jW1a|EN_~ZM34yqa1ji4S!{hPJtDxM^U{2_5Bw3RRcq0^02&ikNPw- z@K<9)PIifeYV0cp4lC~?s>Ck;0E>p7-F%Ne$3o%ru@r;Tw5 zBmeYRqyw56$1Zg1gnWqU-upD`gc^~hgUi{@&BBeP%?;z~x01TVs@)(hoZ0Ob3IRG&aM z83Mp8Z@&{G#^^M;up=%Nf*r!u_srl{CjZ_SxM z03=zbDT}N`&zPP+tTTVaehnty6ub@F^#uCBrsxu0hMV7?XkglI?1VNmO-x_l=pOADB&>vA^PD(&j6U5;}1y??NA^ zqY8F*`qXN!@(g)6eT_QKT7UUf`Ix7EO0-Q!*lBf+>!f&Psm9jj=ZKMxYHab0)CZwM zKKuczbwP~{%UDFIj{Wls-PTU2&t9wRbnQLAN6f}Nr{9`H)g=|3ZW4<2p({AEGNKC$ zK}x`(rpH;n#Ehk%?Pc7N#)#*YK%m2PM+1tA&?K%@?z-(@r-6-$<$u^jBXF2MTI*L@ zjiUdQyef|&%stjAH8+SG)ul3Bx=m876YJXX+lU-$b5?(bEAj5D)F{A(+9#V=+mGq}Ia}%T*s}IcfplpBP z-N!A$b;?-7qtsQQo*iu}aBN}8_i~7U_@X!p*9VQ@6$G4~KoTsYez{67{#`5-T!waZ zVz3tQ&A!-BmvRGv%6`nSl;hIK3lUBRJCe#8#mUmmT2 zS5OFQDjz9V9?FiPC(vf#jatF24ty4!-!P}J3EXqT53A^~bzn3CX zOjALDL;tpFOI=d%i0xDMs7+YQH-FT`{!IMA5EHGxsb@`lpK#&AhjTy&DXSNk)H0Ho zRqU6Ya8xBGgTox3?i9w$6642wL(AsuL@B4sIsqot@^a)ecOH+EgRrvM=G1dd1xHKa7(70yitiF4e4_)E9LP|427M%AXWz}J6-#cB7--v#f%Ib{a1H+`XOd3MoO0}?t$Sf zRRLlP)PK?EO6i!3&6uDJMGCjmxr6BbXqx?orM#Ay(##nsj=KcX=mt*1ia{Ax-7*R| zVP5`8l0gSq+pLYil3nkpZ>zf4N?T9^38?fMng2+1Wu%crdG=*C3KA9fS;lw4@j>{G zUTu46z|7I@sL$pO(1jTPeCo-*YHjG0jNsr9b${GI&g9$}xaF;Te05L}?Cu=4wU+GND{N2pHdEKpX2XbQ)N&q3U=zLN;pD|Pb0Z?U%#^LW*n zs(aF*V{_E-JCvbG!0*~C>k9dQ=GWTyrJM$6S9E>t*c5v!N6yf&ntRMUbxtmj*Q*4_ zN*5Um!{56tGZeJ5sfFt^e%TkrEzG5G$$t&3Cah`gBgbKU4U^xbk}RyDx_6{+*D$-K zk%&(v+nr3yPWSD;lSdeMsy{*JZ7Y!JKMJw6OJlYa}m4 zI~r^K{h5dKEbj?YIThtt5sEF5S;5cOiZ&5H--urQf~awu#_<_Sw2%6MIZ%%_FMoTx zXomcr6JTh3t#gghVGSRLflvoqC>uZp!ZqG}h*>>iyn99D@H;cSY5Rv*2}`IhTPIhm zg<(-Qg*J(vOcg)j34#ZV1$f9VtlXJevg4?kUJAdFyWzwd*~90c%3IFnlPjP5=$rIS znWAObl((W|qqkit6b8eqqG$|W8F`S4r`SIc$JySKglXjq|-^wG~md|i&zkfe?^o{d3 zK_NOZ%CEOL?Vg4qr*o$1pOe1m-&$MHFuv)+hiA=QcvtXebsaiR6pl;L&PGHBK!iWx z2{0DsUMOsVpZj@#D(Z{rb(U&;*a!GNo5yTE`zg2#m+`!G{whc4(w?(4hkz3mg*QmP z@EgftHAoZivzmviK6F zQG#bGbf~R5>YY5+X`g^0Qx%a(t;;frD0TG~-xWpl4i!Dt+WJ`Unt#+}A;0`+HVS~; zQqncQ`ue>e3e9HG?H94=9QrfUnS8})#+tUj#G3<1kqb!qr$Td+H`(C2^Yqb!(M%hx z5S(It=EU^v^vUH9Xd=&JiFw~ZILb83 z(rk;IYIZX#<@IV841eL^PG#%Y!pE?<;?tWMG=Z@qf!zJgADB|BKPAIpcQn-3KJXlP zxbjjeh!O2$vBKk&pKfs!P3MAm{4UwJ5JW4h&mz{-RE3huJd+)f;QBd16K2Nvb-$1B zgDUU6CN2bsz?{DQaUNE87T*%{&6&Ux#F&a-mCdF1{h3;K#DCy%DIEjOJTk#A?eg)C zPEeG^1GoSd=ck+s`i#Z!KdTrxCG2iGj^yf6{503#(`!@r`7?}KeTad4)XNfymUf4C z+lGFEvrn3=dlF_+JptSO%gU@mxuPLpKF-lo_9K%A;s*9Q^Ju^P>(fcDpHW4xFnV&Y z&8l*Px;5w4vVYjr#J;R=f&BCX0Rx3KXNL;xjd92_fP6H`bhb@e&PQe>d zlD&+M_)#}Vn3zIK7Lt$)DoSuN_i*IE=HcNck#)#q+uP{=O_TUsGfXg&?^C9w7)+{* z0*;MvySBm=N(_55#FzI+> zZgvgoeq6hUS7!ew64ePlzURb{7qAt7`&;j0yTGj+q0RezK5YP8NtnZzgq24ksQ*!P`ik_q;|v zCwr{NxPRHC64CUy0VbQ7qXhHU7dP1*17@s2fe87P&2!?`8Xsj}IMVC*Orb+tR3jH z)+?XWcFN0NdGRw7(Y!N|+o9oM>OADiXRpopu74l0a*Sl5@I4Gd{3qYNbXNih1d>P5 zO|8$EU3Zrjy%R7ketM?JtLOSNA*od(MPX8sG*w^r6dZV-J%AdNL-3$`6r^Nvw_bZ=bQPvVhy$ z*MI2KA}ya3WBk9rS~_DaIQ(4D`RfpYkqo)KX}C9=irTRY8NqSdBeMIB;Nj3Op9T-s zxj1n(DzueL$P*4*)#cG6|FNTeErFId{V&6y(#8GI^n%)t%qbwd6E{XF1Dkcl zWm^Nfft@~T?XQ*y{DQX(hL-uZKN7!A8-Gkl5vG6S*FatQiCK&=P%R|9D#aaRQ7W#i z+|Y`;FGSKjzsLIbsWFSsKZ^nhkLFz_W-T^xZ>x8bmtG^+ljk-rR8Hs}Vk%rb`=L3r z-vV5qIt|^>=P+$DKt~ymGDW}Dbc)$*Kw}|wL%tXq;!^kEeK5FE{%NPoSEe%*m4D+c zR#>?NQswySP|mlqTE6wt+R^nU7PT>@_fcvsaiuCg<2X*MX7~{nTs2}=7*02HVii`1 zTssx6Ka?~Co)^RT5xYF;ttx^~_zaOPy6^S1fJx;aas)d8s_s16gd2L0VTS~bY{L51 z4qcD}B9c0GLJ+U+!>vPJvUs%lD}TwD2Nz|6v;+~g%`*pR5*F#}V%hP8I5QR%%eEr2 zQ6g)*OobAPU>~FEk+p3MZ|@FErNllxi7}t`hq`uF#!ylg=AO;8z(-Ga@CbVKZJQa@xmLf$<@RCyy5X)sIspTd4kT5??3;MzEF7^}|f>X%2Xcpe8PVt+|!(|)Id zez;a#iKf~L*CfSOo_V`fTjh?^|2$N=RN$3uU1v&N(^x zc|riqyY!%=8ufuPbE$B((BiFuL7Aw)&Ij3!+LmKE`>Q7m3tw*jMSedz4BQI=kLknGTaQhReH#) zpyk>6-UvVlJOf7d>?TSHvWniE0SdFTt$buL9gF;-ARy)(segUpObxjQLBpNb@@1DF zn#)41pqDL{PG3xPw4`Y%kdNma$1tQ_z)teF!49sBAPpIU;!7{3;Q{ z{jANcp}RSOWz`%LqwFEgS!X4RI}f%KO>`3Y$8&JDPdbC6FU8+ERNob@AY%@L&7BSK z1ruz7fd8WO%oh%Zw z1QW?AKbk3}L{N0-eDY^FX%B0`*rOr*VOV#6!-;_sME`6qZD&Nc5=bXg!AXjnF{B$) z@`7oT&Tru+3|*kVJ*TU1j%zS2uuDYR9;4ET z2~VkSob+Opc}q#HRK2E6XKTEb*g7Z}S!;cEr}~-{Buz5XleKTm*Jxmw`axQ9<1R9; zI%=Dlx_=f=PdTj`^jVsjQDdgyINdZ@iX><~k9|48ULtiUw9yT6PcWj^lW)NCT14^6$9^@Lt{@7nSd zJ&T@Frt9TaD4~(ZFw?+%)^68dpEUUaJPgXL5Jt>}*`Ec-9fh5VD! zjepN=egb?jEZ5tJr?y6@$hc}9o2p30qrrqa{SV_m^mW^4cCmbUgb}y5Zy=xDoh+l{ zbO?}_^pQ}Vg6!waPQo-^WRtR7n5lh(7%brC5Nc}?r=L{Fk zZ$FhtK4M?T>+GHf-&uwTdX`dE~0reGV*zSdVe=n z$yrkrA%lt&L00QLJr3%TT4l~_LJv%Q727jnPU4lkIy^^<+8VxV_gA%(0Ra>hpVz0c z_^>G{W#h*aV%RMR-SiLChq+i+uYKn^4bG9SOdNM|oZ=gp*mPT4!~WXAbV%A)p>J4W{S;zrqUXablMzta>rvhS^o?b`_X<$r7`V;g@H zP3+kSZ<=MU08_wT5YJD(Ge z8O=~>h*#TnHrjNVCe+gl@WE?Je4vRWlD8zhp_Y0Gw`!j1vyz$dMPPKIyv{l-xCi7i z?FwHzlB~X905X5m_MRT=G=DBG5^~;XAxVT|T)z=YqTk$VIQf0-dR?sC)s{LMmI55b zjkSUKxz)kM6un_jLcOC4iS)59NN?4l%FHzF1z7h;K?SjC87NWia)zlLqzL*D>m`^$ z^K;BrZb&fqkhPVP5fx2r@Z`oleAFUxPAin{-op~#ad6=-dz?B=>wh~S2*t5o1Y5TW z68RIOSyb1aW0tZE02nbg?bhWH!Xn$#h$`@9i)hLwcxa%JJ(z>9sj~wQ85UN{gSn6s zX!df{$;5u4KhQad^a_`DB#*jNdnOzWfUzp``d{teSC7cmA3ojbu^DC!P zVs^)oDt6o_EFU95(SKf?!7R!Opens(Xcma<$By5Ts*A(DI;qDz&vH7{>me;|gL@jV zYio&ih;wNL$g(eap%b?khP6q1RZ&9E(T8#=3)A5YdidOSFijy8=whyS9~(`+++VZ5 z#1nl7!XRPZ(aKXF9w<{01_Ds*gsck&r|7BMwvXQ$3QQO+34cM%by&&_+L#+64dYvJ zm$Nb60D`aOJHXXV(_6BSME;_AS;7flSp7pnH{Pv7J}GSTt^7J0iWYN{s_otwx>B8$ zdKes?j0WSEzD#FlXTAGFy?OCT;pUJcrT${r(AOgT{2yhZ9C}qiKgd#JrAsSEI~7e5 zSfd77NsB!^1b-YpO$L^4qrZLNF(ByPQx{M)Op$yyvQUa_sh;sxqynrMUf7F|H%Z4@ zEi2?rKZ|p9d}2`{Vk7kC=_Qdkd>|QfRXTC(7mLszE!zSvx`vreS#p&RIph^Sbk}`q zaa&$y+#_acC|143NsZm%8aI^fl-tzH8uIQMgip;A@PEqCP6W)ti3+$Uka!2QRELS2cc5#cOx&L!PV3 ziZn(BMSsHYPj(9NtyGX$QG`<+gifo-QcDj^EqwaIM=AvlEk6JNLp1kT0i&^jvwX@m zwlEP?1EmprF z`zNSTw8ecg7B{qU|B$kJf=J|W}q}!C!4+wZ4JCwUIQcpTkS^Pz|HIDBTW>lzikk3%~E71!KqW<`^;82a7i(QPoMv&f^YdB{7 zoPXV1`8MN<)= z{&1z2Cd~R?d$6hdIjJ<`1=`@7|S zw4VvR^{)2EQY>yH5({0`3-pheQ6jG6aEk*OCBlOCMv6^3^MI9bsq1UAG0tL(a&_f* z#2oH5Yw6YK+Vx=!eJo=cdQGlIj&L$Vl?!E(EI5+tFG8qo(x&(o^0^c8)(zGr_*q!L2ek zUEfh1vC~uWPnRDZd^4`b76q#|_qShk_h-gY+FYs{HWZ?U#hBoq`R z)p7ho7pP&)-@6mpnKVu`;>ZGbGugq=V10XQ(cBi(2tD)jc}ohY0g4in?&+i&U4!>V&i%h$?h>yLq_khl$q81;TrZ{fFO zt~%CnhCLdxh5Q4}g9mJn62p!I{+OJj3S15|DjiXyXD3|q4plIr+UL|K%6ZgMn%0i* z<|rO?IB8NYwwiGtgzS{!OB#rXS8Kf2-H^X73Z}Y76_z;ef`7BoV`EaUN!7&aP;Qz3 zNE`MxC1XqgM7DcZ2p<}_?B6RkfbM5jZJ1ME^f!#Aj@<@%cF|V4aqLYUsKJyKGwnD$ z`ccv#;80kz&skA)Pij-bAvO;g)6t7~2I2ubyCISD_XD_Z7us^$`%mV7PdtP^wWlf1 zk>0ci64$9y`G4**d^d~!S->7DMXMaP)2?~3p{N?7@Q(j=Le7*}ZDquX%Wq_R{fo?E z%N}?p64WT}?FNwH7ybziWc&jhVzzfua7R*5l;6~S&#XZx2B1EmRZHdac-}=((@Cn> z%=Y6Z=qpnQznM`v_8|bHc@yj14wFB-U5wF%#x${NE`PBt*61S$KQEK|8e@l}Vt4bN z{RUFaq?!@&vg$wvHfgLLyn{{bMR)-&cVl4dL6TXT=u9|Sa4E>WG`$ekU5 zdpO)s0G;pte!G;JS=>2kt9NDx{yXY1edF4oA!fAos-HmjSVmi>WUMo&$ZWhJ^Y-AE zQ>6P7<$uH?0JfO+dF6hyS2IdX4+kWnCET|h$6nw-$YoryIFL5u>ZsemuTbo4OyHS= z{wAr|7=2Q((sj7UwwG02!+0&Nlky;QGPJ3@k=qL&8j*&a!s2YZ=F5kdr}lRLXis{5 zc!Axs{6iz(NZQdM6kr}4*?|=u7Ov<{a*;L0G__1~PzCO7uwT0$ zOkW}hX`$AoU`zB?EN6k=fN%u8Sx-HnHeOsqBTdC-n*mHa8aeU-v;+6Gt*_JhE3C}a z6Y!Y&DSkcCgzM*Lx4VU!WCQlyBxyurOku@$w)5wc|r-5}b z9F@SeoE~iVJkhF)cIh^xqEC9aqGubChNVSwE>D(7=?EzDaQAEd0mC0#Cp4BlyO!Qw z;|{!nmYoHUJ?UMnGefGzn!|<&P^Euy*c<6bX^K)TBxm!m_-%vuo=LCEL(m%Yv46LH zZgGYYo27DF7$h_1s2H`cPy3|L8Pi%XP+5bwa}h4AurmbuUgYOyYiuzQnRUvoXo)Lj zQb(f9Ora7fV&XZ;QT7LkcD-jMId4Dnjw4^n@ca12L&u8NcJjoMr<>ufJZlag1b7k=>{dIF zfxxB5gJ>N9)NTxnZ3AB1Ak0VpHRqTr%tcVBa?9hNZl1wbN%CR0v}W_+V}D*XIq0gQ zZS(-FED1q;pGo~nn@@vr>){d)o(VZZ6r+8U=nMnV6!E*{p zm6e>|=%*uA`$5e3P8NRX&>jDBCCwKSS%;i2MCqR;7N(XzmaZ%-8-j6#Z44M8uaKIE z%O}fsnHj{p7w~lz8r|DiUwb&$%<$)bb1HaJ&qY(1W3qs~n^nV0T7H=jdSZ*82 z+a_pR?^lr4Lq+skKM00@L_R9{WVPU<|8#xYT`yaYI5Uy!9RH3p`zL<76}i+&ELxcN zQv>hho)E`(WMLx)xp#0#Why$cCb+wttE&KOd~MVGkXkx){@e-H#U1Y!cB*^wirz$2 zR-E(y}m7^?%UHXFZg9PZlT!2BUAy>+xp|VkL_7is|2i>UH(LM$+!{~Q7BX5rqPxoN=eV=YnTYH?^v~h9{%N)hlTc4cuW{Lim z(rg4tWK}c~9dZt){K<5asF|a;U)+Zhq!45hq!46x43BtaQ*@}Gn4TFDSusC za~rpke%G&<$K5&=&EO7HrB0PEQX<>370Y%cr~E)mw8f1s4oT%C=htud*O(z@s8LLr z*?l=xRu70vK^r|u@ zaE-1^LJgyHVaIw~IjyZS>moD7P+g)Cn&6I2G(v}l>u7{&G+`qyDWfA%MB|llT2-#05hmzJB^qIpArgs+ z%4*AXG{Q1#9L+?6qH#{K$Wr5X9Iab9rHD=Rr<|eHJK~OVj#%szjqplQou(1qM8)i+ zk|%~ZO(Q}>f^oDm6|CVBjeiJ%W^jf^M4EZW85$8;q|VTY7!>h^IHHnb{yC~kp7>%y zpi&@}QJ(7}NzrKTm$;SGM-!jC#*>EIrapt(~D(%_YzBj-=5fK*N$}wPy{Xb+fvM9h#I%nv~0szG!1<9C3$A zj?~of2qKkn(8>&Rh&V>2#Jn;z);3%s=@30!qLpc@c|U0CXN@;I-+#YTzxngaw5pFL zpQk(Zlbh@1^m@4Ywgc^_%G* z%L+r+QFQoCihMvx+U9!bPNG(REUCTYJ-6ad5^)4MCJ~9kp*H=DS zf-Z2qQ%PD$74LE7Bx>mRG0dk(YYSB%F1sp5sdvn$ z#`9RRy~#1XAsXtZ8tKxoXrgDbf(}5)tckv%p`lSUnGcqk7a}3#G9PaA;Q5)ibd*yk zZnk{z?wTI#bI!^nB7;Wn@@dnsRnQy!uQBB&}WGon19t1n%iQbd_O@%o%|&sSZ*Dlpc&a z&@Rv|EEXx)$cJD-Io5mDewGJovD4_OSTmT%gvYXeI6yD+(2n7q5a5Au7tJCG$ulvD zmk|{fYJUR{YOp-Zdf>Ig5_lt~D5y*poPjEa9;tW0f@RjSQmw<5`vxo$sIm06MaFYU z>S1DNBR9EZ)etY3N4i54w7rF$i81CruIV#;t?VL?ECnWW36!-M;a8zW?H|v-qOhEu zKc_}Rxrm{uQ=b*&E`nxNDtnd8a)kn-tytb&3x6B?(`&1cS$S{j3^RL}b&V(iYQ2Fi zW~1UA6BeS)Eau%z!Yk-xp(NFbK+BVvpXF!v4Y zG=CdTkAoo#9zDrX#MXAyO2G>6D`GpDX_!vwlV`>Zxg23A5+5ysCF2E!e05aR&-XV- z2?!`4NQczYODrWNu#|vwFNk!PBKek(knS!47eu&EO|wF=qy`qg`T}337Z2}G46D>b30C6k3 zheA?IIMVTVZLCKdhWuCOful6>s+8~Zyj4Rn71o#Ct6IH`;^-hBD^9sc-S%m9F6JVx zhAs!P<>L0~?V( z#Z|1!9V)y;lfKAS;=!`N)V|VPCoTO7Pz0hdwFqq9|IJpxX%Ppm>2KmX zbqshKPW#Q2OJ40nglv$*TbWLo8)FfUrad-Sr!gWiZE$60dY*4S_cO4~_TP*yl>^A- z!qDq6qz98fmqRzha@iaM+xonDZVwuITJZBTttsQv77H_F^1B6dmI-$5II^Ks57d815`3}K8A$Eq9Zu! zB9DT4x8@7z=qXs+ioLZvZ{rBqUN6X{aXB+$;qX;TD#}r#vIvOy$t=dJDybPc{80=c zRHZ_ycqot|K(HSAXf*vjRi!#KI*GlHMEm|Wk8{etX2o))pxrIQtdUj={MwruI)C}w z^n%SM?3;UtOs^GnMiVv>Klbi6vw{4awhr!~^8ZtdVsSTA#DLwFZ!!Ejj!UB~)@3jN z-*;x)lb}qo+mf?yOeJb%z7u4=Gv_!@8Vgax02mbXXG+tn%^IXW^owqM^EGWQuMgUK z<`b@4>DhxkFAK@*Hg;|b8t*D2lP1ro4-~R{!;^cYlhdKfqnjv?>w!<3JhqzkYs>Sm zPsjFh5?*efOC@XO#4?d)VAiS{;*J*>Be@63yn7PZeeQrCG zcmNGWfI7)5I}N>1k=-ytR}GL z4-!m4I=B?xZzc$2drefby4c6k3Ki*L}v6!@>^hipicBX!E1%>tBMaAs(lMe@EpVT{2M4_N-7 z7NlKnzq*+cd{|KjMhxR0)l0Sa(MlB1JS{WOx#xq9YYRz(XkYi_K0rsC0wL_S1U>>!Sk?Ro8Q) zc*>xEe3d&qV=)=WEV$`t7ENAo3;>cZ9d<9=5HiT)ANL)^;3i%pNZVSCm%2iRORdWD z`g*EA4iW=Z;$5SiWzL63zWrVJ9LEe_iM$oSpXXK<@p5VZc)s>!)>QLJgGTHpfildP z%kV%!3vs0e&a=vsKX~_usf_x5=5RVOClcV$h706?qL}i#^4To!tHLK{-qll>t{aOluyZhBWQ@;N?5u7P9yr5BJe|| zo2SrTEuE=qW}-H%h?XjUsD`;IpDTQPLA6|i>^RZa%WRtCZ)l3rC!l|QW<8bt(j zfWt8L6$ls8QAeo547?~Ll`3!Q{$(ZStLiO%puIgV6~gu?t)&M%)Ep1VmF3&!qh0^} zTo*3}>)Kpzh~x~5eTA0G6y1B!Y67Q$(2x<3tr zxjBnKKeh1D?EFsI>AF%${BWRI`|GQ-h2Ub{qntUWpxl}wL&NuEP9fzyB(9=C)351i z^2@!~>{h?M36#b2eu-}7>nDOMsl-o4(pLwn6)Og#FKcRsx0^V1qpP>IGeW&s-8hsR*_2s@X?-1lE zf)5+hrj-kQy+pWj>dVJSW$w;=AB=9F+n-p}C&Ykg2&O?yT@NXYI7Vf3N-o@}P&km0 z5*6W$hzM5xyV}i$IAO!p<9(GWj7;2&vK@4t$L64-!Z7ae!}2OfJJwEi{?e}svrybvjdms*HrmB7WU&NISz9wHDrhFh&_sl z$pK(XYcdgClC*63WUo{W9$s~Y96Yh)E^BMeFmf3jZ>l?l-ESb)mcwid*IZ9L)%ACe zUpcM%!5z*rRkKXiKXZcdeD>tS`J4TfWwPG2-U?^>w(9Ai{9~QFJX&+ra0U@uNaXn0 z_8>@zmItnT*dMSz#p;O(Vo`Ahr=BWT0uS0I%RX6|D%`BI+k=k|$U~Aga@4w-phegB z;rp*-r>sLsKt+p&HbUJ(K>b^tC+G5({)?@6uA-B1Qg@Ie=kB%Yd{SkOJSg4BuOVfM z4nC;pE7EZNMWU$f-F8*_>GfdGZUd1^0WJ17BgMUI9_|xBRO3dIHl@dl zx%Ng*th)Kd_@b=;5UxhG&njcjjtMg*Q-4Y!R*!ag^d zp5JV`dig?1$m{6HC%4vxKFpnb_G{52?iu znK4Dy@8OqmyEj^}@Eee@yc)IAos_7dN^Q3qjb3S8!l?1<#^kHH%@mEKDs^}-cHsL* zdc;y^|8jo0n4I1U$@E#4sMU7&(pB3@#&ePdWp6$Rqs?p<_9F5+5DAXoIMg;Ur>c{V z_AG>)U$9GTtp`Ny&#%uGBTjzYE4=QGzg74f#hUV&#fAN@%o3Qb3y*Uuo$vqNBK{bJ z%9{kJ4<#jRH25w1p3%5quMFjr1lPKIK7aIy)5=7j8rk&z<`TL1A@O^3&&GENZu@!? zg~Gmhetp25P$!*A!@Q9f@uo|kuuY58IZ?ZQTw5xPCW|)9(yNnA zJfG-oG;7Vf+HzHipZAW-65>?)Keyqd=c;N!S(mdY;XeJQOOFXRsf90EZKa5i($SpQ z?0q#-gCZR|;xw9b)|IEnmF2r_*3QoI<5@XApYoyjv?LOGS8~69ZYffr zS;e6sCQ(vd<91Ml5@RqNy0<*Qq}fW5ZDju5Bd*H_ZRMdle59Y z&E1nN7l%=DRKIB^gP&imuFZaW%g@_uID6g)Fx_Tb6w8E`JXO>q*T?R>6{*6BxVj_c zwm0u2qH7cTBgV*0z2b38>B>vcTI@tQ5>G~$s<7>o|f%eq$IY)PoM`df^Z_fkL=& z4$ST57G@NZaHyMns%%B+SC1DRO%`wD-DL;Kd1c6@4P%3pj(jFHv13FXQsvb6!n@6Y z@`5kP^VOCZ<@=IL731Lq_j@sU7yHQNR&Ed1CLjdaXGz0ew7g@waI<^WanBLkzN526 zr^SGKROYDXHw!;{A;UlS>mHr>{l@uCj#ZN!E$eIIs|2iL2aV@hKurzu)Gtrw^f;Xy z2Y%S$z2vO1HA;sPl%F68Cs1MCU_$VkBX7 zAgi}pcICW}n{#yWlt3oOTED%-+$q=Tv-C?+4{uV|Gn>1tFA)8VVN0v3tNDFxD>Ha} z)uM&RLAy%*sB1($w$H5^`5*=8{;u`|ifxvP#thEN16+O}ns_DI9cT9~_g)S7))64g zI8!!Kk;?<2;>Wz8LeG~E`91PChrijk)Y1Kbrp@pCRP%Gpa&rUg%2(^@4(WAWO=TR# zGh>YVxe9H&mWDuqv3c$-*WOsK?RuChIX)(GP+Gto(uC&ia(i$o(%;s{Z+kg*e5uau zSHW|ixmo6}RD0p<)@DahonicFwwrEAafphMQ^u)9$JF<$m$p?`nI;T`^Ru?d!qYJu z2N(Ax*l6|iUkQ#62f~Q+(ox3|tJ&pDUO$)$elhCq(5H6A4QY zO`Dg6e2s?C<2o-YFX3 zQQigz)Kstfd%sxKrq>1->Yf+6E>_sdTOONkJcY#q8*C3I5UcW<|d_Q<|MR`&atC0v>Jr~2Z1NF_CE&!eED zrmNczM|n0kRaa&R?;602XuBu>^5_)l<5|%j&Ae;_9CS(eB%6H|hsYr9Ek%*Al5(6H zk@Gb}0vV(ifj4LQX$V;pfBHwd<^Wz<$3yuM2_U3pp896h!Jpx?WcPs*5>^)D-6V3- z!FB)qDs4m%>%bhZ^9)0))FWI%DszT3%IUl4pVFMg-eH%EL!cp~es*d&4K-S+nO03tsXr5IVYnA8!S{1V*H_xd4K;x+8IjCzZw4zjuAo51 zw4%e1q-sAW0Ai%kJj*_R!uE7gZ~S_A)>Q7-)%D8)hu_wB2e$P;1XXH%wF!ITZvUgs z7BHGfb6s5iZlAm8MaA(5;6Yj1zv8s{$))vM38&2+rCEKx;L=RqwrcsJ-o$lgyQ!j= zal>697Vl%%i_q_Jbbn?8ig5U-xTmWQw-Gy| z$;vID?=;E(?x$Y7Vbzm^D5*#Q;@i=d?l%Z(Ip`bBMC4_Uj)*kS>yBoW#=yT&+yWa{ zCkdHXx$Fmb z3wkzLQ9fR_p7RlMDNc$NGil8X~cVmi(@J`;ycA6yF%mxKxs zPK=$5&BU-s5j&te2-=ADOBu>?Fb!i4juGa*jIs3J@>9%}8)O~E7O_TOV4pB5f5H`( zB;QE9nQM_}^DF*z{A64w=AR_HEQi#j?k?kO&dVQLG5>H%;u5MN=)UK+e9@ zq=OTtiglNDMuY=4moRJwA5@w$usX;Rv2-0hM<$nNY2GO&O-UoxxuPr$`CjC+=AMrebq= zpZ#6R>4y9R-=uR{vYD&|0MSNCDV1Vr8q3_to_SxFKBa)n#Fp59fWiBMqNy#eSZ3D` zQwb{W_CG$V8Rw>qJKbJH-EDx!55S%i9}lf)HHpN3Hi=vMp;E;6z#fwyC60uJ*D8)G z`qt@aLsBoM4C+JBaknyTs&mgg&@N9_DUJ9iUAn`{vMI&Fl}Zd!_K$}#(dH{K3IuipXf zRo^Exw{{BE>?Pp6 zXFo5XRvDBMR0tD)Xs}Iu1HmLy+>?%+Q+C?3=E4Y+T?nV@_9Oi#^%|o}cEKmT2PO{3 zSjb-N@T!=;XslD zSOm$K9s2#CY+-uVp<0d;5!&*Q7IlCv(BZ6w8`&S>Z4AI_MPKLJ>z!{ zrLRn5QK{&2kqY7A0pXQs%r7l4Y`G>_fWne!zVLc+Sp$_n6hEG{t1$dnWjw%nu|=XT z@mSehz5k$IgvspjDb|7*WxXZ4MU0dzR{w@+^&1Mpvx4 zPAmLoGs!au`y`&Hp4rXPHdzQWV+|LyjhWkH6|ha1t9cQb##D=nf({e&Tx#V3WMR?g zc2n%fMNWdY@t29*ku%CZyZ%rrrjk?1$OYzoJ*7NC#U>Z6JXOWbrHMjiVz|VZbskgc z?N9YOreZRIf3cf}B$Q`LC-?C}7cSp;JU&k2C`p0XFuaz2p@H7xq8hacY^Auy v_H@Lp(IRsm@#e_J*mt+DlF7-jhaXyST(XmuqjBl*g!qN