From 55fddce491464a2b827b481a8f9a4d3f39ac1cdd Mon Sep 17 00:00:00 2001 From: Chris Brody Date: Thu, 17 Apr 2008 00:13:11 +0200 Subject: [PATCH] Graphviz presentation of SMTP test FSM --- test/smtpfsm.dot | 31 +++++++++++++++++++++++++++++++ test/smtpfsm.png | Bin 0 -> 55934 bytes 2 files changed, 31 insertions(+) create mode 100644 test/smtpfsm.dot create mode 100644 test/smtpfsm.png diff --git a/test/smtpfsm.dot b/test/smtpfsm.dot new file mode 100644 index 0000000..b57a426 --- /dev/null +++ b/test/smtpfsm.dot @@ -0,0 +1,31 @@ +digraph myfsm_mindrot_org { + rankdir = LR; + node [shape = doublecircle fontsize=10]; + ST_INIT ; + node [shape = circle fontsize=10]; + ST_HELO ; + node [shape = circle fontsize=10]; + ST_MAIL ; + node [shape = circle fontsize=10]; + ST_RCPT ; + node [shape = circle fontsize=10]; + ST_DATA ; + node [shape = circle fontsize=10]; + ST_QUIT ; + ST_INIT -> ST_HELO + [ label = "EV_HELO" fontsize=10]; + ST_HELO -> ST_MAIL + [ label = "EV_MAIL" fontsize=10]; + ST_HELO -> ST_QUIT + [ label = "EV_QUIT" fontsize=10]; + ST_MAIL -> ST_RCPT + [ label = "EV_RCPT" fontsize=10]; + ST_MAIL -> ST_QUIT + [ label = "EV_QUIT" fontsize=10]; + ST_RCPT -> ST_DATA + [ label = "EV_DATA" fontsize=10]; + ST_RCPT -> ST_QUIT + [ label = "EV_QUIT" fontsize=10]; + ST_DATA -> ST_MAIL + [ label = "EV_END_DATA" fontsize=10]; +} diff --git a/test/smtpfsm.png b/test/smtpfsm.png new file mode 100644 index 0000000000000000000000000000000000000000..2d58ce888f925835effc3989883f3fb46bde94d2 GIT binary patch literal 55934 zcwU6O2RxT;8$bL*At6-AEG4o>_EuI#AtSQO%+8*bl`Rn=DI-+Kmc2>#DA_Brv-f+P z)&2b6&-;Gf&wD>TcZK`uMMb&NK#tbp;<6 zzOv!`qt|Co;p4gyG z?eHLyK^bvH9F72fs=bh&3GPb<*ehOnZQsP|jBay~O|N519 zY!nOs-(MrsgM%HU|N9%0nkU}*e?QlK^=X6gz5Dksh=@>2r;vP25Rl6^{kk2lk@1e1 z>EF+&O$LXAL`6pW1_j|?zkdBZ4-c8Ds;c~r8;|8L!7phWn%guUwH* zRV6JeE9>m*^MCb z43&a{0y8V?H7O}90s;aO0)O~r-u31<{N+5^(~@|{D0#oOHl?ZQ>6p1|=Sf~$4SeJh z5D4`5KOR7M4qHa1q0BRz@BenIeGFtz?GE?d?v}ff9v&Vxx3}Z2EI)9Gpc6ARG{lIB ziOtT=N@{6Q3=R%P#>9MhcofQg>GEZV{DtxH@u1+~+Pc6~QStF7#zv*9T$V>Dxs8vR zw#7Z-&@1b0_4vSk`}ygAAC!4DPn(dQo}Na;neYXN9z=xW7&caDXsDs7Y2#P@Vz`HX zp6Ab>k9ED3gZq6{Tr99O{JCkGi;u6Nz@o>{+IslBX=mpDBK})uZf z?i;@vbc;As-X#7@2YG)rHMLxmCSn>vI}E+Jr*A+2?!v-?p_!Q$=Zj#o`}fDY(-Z~W z*O{@gv8yTT-l@LLwd`Xdq!Eln*J)mpM%Bq~iF~8U6)c1Gib4u*SvFnYw+uGW4ofmZo&++&zo71qgp7@smb_6F+=D~Fy zeE)RZ&CPB0dp=YD`#VooC!1hjS7>u|YU}D&=X0uRdwNbYGBW0V`c(T$%%d~UM6U9! zs;bJr{hcy^1lnG0q9;9f?gSALQAt_ZM1pOlMQ+2kkBp3r(Ri(YiQC%cmjbrod{+I2 zEzcMuV`FF7)$6n!CI4L_wLdj2&1iRhF1MiI`hy2-v783s6rB2owSFhU($C{zXlZGO zO6+mW+7lnWdBc#Hm}vOmL1=Zgb+FJX&tbY%xXR$w|8msgF{R13B5P{R4?4#&-wG^F!vaR$ znKrUc9vjJ!NE{MjWpKfkWfYM}F@o=Bp&7gc(C zx@Xgbvb(!*x^hAQETL~F8E;tqzi=tbD=87~ZZ3vE-571JjJy7xQi$eg#*&ngIX;kM z&=f#K9r^Ml?99nTQMXSjjp_f}_m@GDktA_1UovoT5UZ%Dlz1PwCvo(B?6`F4Qm*@k zC5n)PgF~FSm+%>Hl!4`2f;C?y3b@aB#5Q_KMNB@84HxGe<(8DuYNbMgkh` zto^JT9juX+2wbyDTQM;P|LQ#A}7Z;R)p6tJNgjiL&jnz|QCBShAbED@NW&s+51 zyV|75t^Z|F*llxjW+i3i3jh|Y6EfO&?!YJ2DBQf+RQ(8t^z`W`Vji2-U0r#ydl}UD zf2%3%27EX49PfD&d@i3u&-c2;#8&<9Yo1?G=W<^+$5emNEqZg(i&LmDD1vpM~gp-weyUR14uN6o_o?Q^zIbBxM5Q`EeZZH?Ly15`jwtf;X@_Q zlNipl#cP*3Fp_iJ#kaDuDk&{ZdHs4Ue_8z!nMQWS+qW0tM_as-pFP7)xfOJd*VM4< zjm%vi$C);%1b%B0O3Lj9ar`ScA%|om=)x8j9xRMjB@_I%WEqavgG~=1XV2Qv`+n|k z9QfY9dl!Ud*wxi_Kl}(vcxWD$$txrz6dM(#Iz#2*;juaMH6dq-9%D69F68Lq@-uw; z=TBY?n}kF%ccZp~LJQNu)X$&!$=gvA~ zwoH8f{B~)Rg#MAl|P&3vJ(!NZ|aM?ueRE@FCd!YKJ;W21LUuBfL!|8X={ z^Tf#9eEZMJzUP}=yn6MF#Qq9SVp7shcn|aX{J^OfoCdg z5by7nlCkR)jD=reW;Se36tZ)4yas%T8JlW}&dtlqj5@?J{MDNoC**h;O0+Rd^<0|b zWXCHp-D$S7g%lwT%*@QyCH9ks_wM;g9B$)a{%|TQ>x&-|1qD|Ji>&w1vf@5}7HLnG zh^TpjXRq^vA1RLA~QIi!u6 zy1G3OBUj_t^z?B@$2F>XdW`qpq5xN8u2Ee8%l(1g-s?AR+=v)^%U=d!Xl>KQ6fE0kjHR~ar|v|pR~%Cd3iv{z)K;w3Vp z*5_AH81qb;IxD?ADlhWg0Q!`Rpp$_M02vKB2$;Ml_(w(ZAEKk8YIZl~YbdYT*x1B7 zD#o(aNF41y@jppn47JBMB7u4MtM>#Q9UY*Xd)l6;;|$^Z4WRwc?_%gO`D-=)t7Y^(BL>Gj@tzH_u5+aFvWk{ z)0lVULHNDt%$YNGn+tbDT~}VWt$H8q8g;&wx}~mu?X&ZuW$ID)UXw&+#87K10T2OO zPkMRUsBs=8tQen|xDnzek?{7@qMn|fM5&fHKrmvx+S*$2xt#JXt?%OUJ!iZ~_+Tfuk+n%rMHNgd;*7ySK#$AG$$|L5!gwESXxW_jEPttXt|tQv zLoHzA2Rh?Ze*WsrS87UX>Wk;kV}AeseRk&EgFT2*bzL3KTe%31{KSfN?=^_{#BA4F zkbHtJOEkVd0_6!}9{k1oC7--JzdCqy+i^FJ&CcS3(sFTeX>M*_q0MYTU%%cWM1j*hCgZecJ;NIN_8yKpcu;WacgV0>$9r9HP-urQtFZfg$9 ztg$a%1ipX2z|=H7HP!k44ln*OZ1kT%jl)`g?yBCt?FWbfNrk=%o0B3FLLT|-+2c>2 z9KsI2N49?X^5q&3&IKl>z_>U{fYLSEOaJPYzJFqb zzi)?+8ZLg%#{<%-9jWjb9~-N7NxZz=m#x*=-7O83PD(;@YtH#URsB0^f8Vp*bB8QP zzhZ)5@%i&JaO3H1^XuymZDMy7pU1>pI70wzcXCNlK_Rnki=Lh}X_YN047d8L{tFPh z6S2*)?GKLz0#DK3($?N?S&c9oRXj^U;mErIf)gTwddi5%N ze}A8IGw1#LwuAU$+fh0wfWWdc;j34#A}v^8H9%}VSdiH*RzVa6OIlc5%)9@ETu?-0 zjW%#U`Q1C_+4*^s`XJKnz2z#_zJPyfw0kzF!5Hr5JOcwZIJ}^zPo-eVQ2dc`aX}#b zZw^A9yagQY?CeAa;wm3s>A4^L)`Lhu{`&Px`D61(MbHcK3JOxNQmywdKHgxiU_UP= zMtkMTmE@$T7g14qzg)BT+!$-;Gp;BJB*RD);rlpOhVuD@)BO{~P!9rHkuP^;C%7w2$ zP@BT21-LAGnco{!(Sa1)nb`P`^>8mpNYI1yY>H;ONkT^U7?iZA$0i{|)VnsPPoF+@ z4h#fVR*IK7FA`W=Tbo;0NWr3kB1O}fJek?prh+%Ma`Z1;xpHE4brmI%v^4g_3I?rMY`oV20AST_!iI8%yj8L6y3%rT8A>VoW!Tr4&-A;`05aPbn|J;S-?aei zg~0J(Z>y`y=cq$p@gJ~^>lqs}JbwI`hL-2pMhx7eJV(#mbAdHN_ZovX# zK2Hi>;7fxW;WVh6+PoMP8oEC*atx9Vt@G6@Iut)J^pup8lFG^-WO;V>_Dp6wQ;=qX zg;}QFR9mAHbN2(_sjI2M^4MBBSSb8&hlD9eNgw(8Vz&48>cCPfC@2gG!N1^IuMMia zXGg0fKp^0Gd3n7&xV&-0$moKxiOH8Uzqq-%VHx%F1340<`giV}!^Oo#NwL1MVf44V zU~X=H+hPcO$|M*G{1Ydnww8viel14oyw1o7bXgt&OSG8JO7)+oD_m*_p;+12@UN

ZgwK2&GuoIZNv&zS3eR-6=!ec9)wq4;#Y)p)QP!N8(>nb)WDJlNRlh<5b1w9vxLsEa!OR~E2ncv+z-B=v?zxTH zLVkgP7unbdVJ)tQ`$7P6;&%vgQc|$4U9011C@U`)EqgeJ4VjuKSlzq1x6 z>c#__JRH(i!HJf$|l=h=+%VW#1+8AEK&RKpt(69vudLdBIuN z(GlU%m=9NpUDMD@@R4cJ>zCdSm&xo>$FQJXC>vCZX-nnDN#XCp)bRb{2uUaUvh zZCW#izo@4KTLbF<)XkeWkKy7veCZ}4Bs9E#|2QivE0~jrrISpl=euX<0hEBp;>0i}lmV+Og9HaBHK;(--KNe+7i{x=0=o@djg)Rv&2 zAPfeuWhK$?wts9aIp#bM&!<|e|1uWi3zp|@h5K35h5Bev)y}RAencc)DgH5dDM@wp z=+Q{Ot3V~Hn0L&!<~Ib2*ba7L0{;dl@-heT3&n+qnNJyYA zj%e@^5*D7A{_^5}xCWD)+d;2?x7_tgpQFm5we`fmp_csx>lSpF!iPHsGRMbo@$%Ny z`k&;s84^UUEisZr?G6+fG90e1u1TR8IXMv^&ENPO9im3>lP5TbyYrm&4GrT^DBI(K z^cW17s;;gs&~A^5iv{Y9xdVu(HI1skl>nFCrN$r&)*8cV|FfMI5JU>(%x7^{Rz%0> z9-;8tX>%;YgLgAeW^3g%f*H2k+q8yS^LBV;`nNEt;-RA3l0+yFcST2^h5`-|a-2C2 zhFn}+e0wIr_T71=)JLRGubYDoObVl*rTzMq1*suTO-&5yk}AdXqz&;u!8;X@k}__# z7ZbT%a4aS!reSmON6N>K;e}QMu|h6OLqe#V2|5up`9!!DpPUQ|VY04@ic0Cve`3Sp z66^tr*2CoyTJVw53H;Wm4|<7_aeS=iiNXH;cu2eH>FE@pDCv~k_C^{JXEx9W$4{L) z#ns5=IHQC)B9DU*PZveS#>#@E%;tL~dA=He&>n2xQXFU*DJd-En=f9xxWC#&KUA7E zwS8B@DW!lpXSNRW53Q)U8YvIAs*Y;v>yM?Ur>lGrx9Q zn?cg-<42B%PEIKq8F*k|AA)=ynlAC{O$FA#_?DM@CWU!0-$VmAjpOD;t)jR>jwM(VUX&sz`$o=w>TwRLsllan~Mwzk_lJ6@mW^HNhU_4f63<(bIg z`%7Q79if3;98yXJ41$7Q9k0U+y3TOV)N}%|mg7&AcyI6~+z)5Lb!a1m-`(AH+N4wH zSxt-Yf9brnq=z&L$ORlc;(8E`hK7c|AUg|yV)`4!{&p9zFd+80xVdYf)JxVzy|!q< zmFcA!m!!T$JPv$L5CFZ=+RRtio!^W=W-F5s5`X$K87fKJ;Y}iW z+NfhqBjHUWU^7$=dZpA6v)HQ-u2-rC7#anxbRj;Anh$nh9MK&^P5yzG<9@3kO*2*B?K&yNK#@ zH`?v|zP~V3dKv`faT7u+DyrPPyhlk%w9AUkb#-+pdT3SPb5O(VsyT`G?i^Dny+ozv zatmYF3s56x&YU4ReYy^0hYXOGZ%D{VAT6$Y&5<|Td)%r1@Q1q}cK|?4U3E2P)aOX- zS#&hmci*@;%7u}N&k7V%fchXMW`X-JE5-Q&lp6o)%`EZS;|HrUJ~2`2Aw`UVI)}nIe*$sCFFBbW?FPhs5~>z)5v=|RDC0MJpPfCMCd0JZP{cY5t+Y^&7CZ{1ung>> zN}?c^qT&~Kx8))~zhi9d?DiA&PkG`&a-g406tsUF?5Jh|DA?TGED4fmRJAgQTXX3} zMh4Spmn)cV;<3>_;^|DEBX`n2zMdPvu@3gn$ka3d^2D(9`4!jIiQ_}V!&XiilL6;1 zT{?z}e0{D5WE~+B6H|RtlgZEaBtGXHS3UC|MeNQ?Lr=H2T?K`N5LowQ{5^3XBdc{0 z?Z%i}S-k~alb4t0DR)8R3|JJPUajrr{~{r(prqsn`|Q5C@DysguDhG;Xn*aLO0qZ+ zJ3BiR2MZGu9_UEfWO1*Ru^JpG-U|>64i1i6s;c86`h}VA-XRpUx3@>fNWhYv88_+K z^vmOPCvM2Qt*@_R5W$NwUC^kZyaw*OpsP3rd!XVJ_EQObQlb-2Hf{%%VZqYCn(3sZ+RvwTU&vE{s3-7US0=0 z9cni3x_f#+854pYYfF}(pYQ)r_mawfDQq}wre^Zo3g1(6-aCnla5ynN{rI;qPo zES!$rKYRg@j2hG=_=s;&EB+(}hhJeKAE=&N@Q;m%oSa;_=gzY|aYn}DpwW0u+o}Oi zN)Bh*;-Bza51!}ZS_$#$WdtLRIchI^7BJbDt=0VXtN+K3HVqWqf5j)$jT<+ zW{<3{tQdlZSJKpsEiElwrOg>_RP)Ib%i!V2lIUASxn5q)Js6p%U7srmNl*>gsFx1D$`5*yV{nd+zY8Z)~860BISS3?wSw_OXgMFZe=n0FRALPx~J~NxnjxIij6wh*e%*{`&Q6jE9HE!neF9%kq6> z|9=Ni^VzmP<^P^Fl`KQ%qMjdM5dt63(j{(drZKzkpNflXekYO*Nja}xSbcYJ=eYp$SWv30u!TO?utcCoj^eE-*bk$aSX&V zWY0Muot3q)pgysh>1dzF=y$#*5p zJJ0jm43*s2G8kE!XJlktfIKj3Y-}7_ng@iw2ioNRVC+)B!9+vI&E1gT;N5%gTQ^ln z^R(Ll&KsQ9xzJb(QSy_2!CufHJUhgxxjg1X}Nd4lE;*|9C zMwe9g9Pk+UgoO2AipFMU0yID97#-|xz+K<6vElf0fcGue2uIlIm*2#MF=*wQrY5}1 z%*^D1J7o_o{6&h6Ui|+ZexWXtsHiBH`}!=;m+$IoY8VW}puX#^+=Vj)eE6Zqv3nZhQg)WX>Bylh@TzS=;v<($dG4J3kw;dLZys(LZor>bu$+a3 z1sWVe>H%qbVPRvq@B7X#F5idXoPu;gy?T3qYR~;(^&p2SEJqftSXys5#jP^l^p0B zyV=eQ;LMYj%{K-C(zxs=t`|J`P9`ocuKYX7jBk8r?I)LjfSjx>E{A?OJ}WD0<;A|2 z!J9_gOP`m==H~7+S%{ydqH6u>hlh*nu+<8D``YK|kW$=J5E4&+e8$PF<5h#ps2ASY zQAhYGdU2YMA3t^u3>+>f|OIU9SU=`Wv(_J6+KL4L3Goo>%k#aXw z<+qsY)0Gp(W@oqiKFbI=N6!=;^OC@5mN2B70)m4NVpjr8{5rwGlD~SwJaZ2 z3lf{#sP>q-g~d3e=v7^vlUezfDp)8@%ttH5KsMpPb~d-PXp~uNgovvZ6VnKy!5k#+ zKveGi?-azd5nRv8!PY1mrvS9Gb8?!FO?<|gz;8{Z@=Ek6fMDs+o|(c1yFn!l$ zBg%e5)EgKXp#x|M1jTyq-o5Sc-ghADjGH4bKt0t0-Evv=vsGT?69j3F{N#%l6rNsQ ztDB3uONpRnQ6DUgan5OOq{0LFEi^JX*%a~T7R@Xei<2J6xuQcIf2DV4zaj=q=sg~2`mX^P1GgWWM%cIi~RoGCbo3AA0 z zJ;5CZT@@4(vNwTioA%Fm??~+I>}XecivjjNf*1h~QzMpr{1|(*i;6~3QPI`IV{)j} z5wYi}Jyju?Lle|b%FTVf7jkqFoX6qe;a$?hiH4I)m39ztGy%w3``LL>XFPm)qYttW zd4D$TTnu2aXOqS6{euJ4G(n#P zLMrQkKLnxun24GmopXaMuPd_tVJk=}u*`ugi&gRb4VbB>gh zbYto8=O6=l$SUmRNBmRx_+$KL(UFm8GfNqUdV9|RMTjzebfe(ZuP+|;4zcJ-AMcPj zni5fob^<>IWl0C(QPAnv?U=#80|k+nS^4?Nk$HriMQu%}G~?}+afnf8Vp7t7Q;LywJ{Ws8fRe_FMDa6!4 zrUV#7_~C4|iQ1u`pWkcnBLKbVG?l91(|*7`5CEu}HFNaCU^i};{zE$pHPkOgun4LG z%%5*|Hf!b4p$C){L3nuhpXu6-UmBt3cmrUYy9=!bxIn213JMzj8L7&QEw&x4?dXVL zt-W~hVyRCz=h z4UL#(L4(_6*W4{g>8Pj(^0WytkuP4LJ^`pPEM8vT^`&8IQ0tI0$vnKgDH$1o<>jKH zUc1lfqBQX+O%R6x37{sC_MJN#+4MRCl7CJFz!jcSQBgs002SyTMlE365PWw1ix-iD zlaq|TKAq-!?HZTomu=yz=%^0dMjpuD%1KXjY!0e&GI#|{nS)3wpn=I)^`jxNaY(?7 zALm)X;++7rs9vAzF)}fEBI2?nsiX69SvzbH_7kBKD{HnT#T4f2A8tsE^7uV<0u8L@ z=5m4e9jkwOdKT(%G>~cFg6iZi0B50%pYTVH{E+onOH>LeRSD^05_TJt# z4UMyM;WRZsv^(K_=D_%V<#mSQ*6x3*VJ2x$aKAkSUbXGsT(Z9802WuI^d*j62oLy6a-;bjn? zIZM(1N}WaPm0ltN#IyvQoHWIlR*;|<;MTwwPJo5>lRQ5rqVv}I_mlz# zC8C>(^r6-6`kbKM7zRbPPsZ)W4FcfpQpP!0%up#v{qY~RRnx(CVqz6JVJeosPoCh^ z*4F0Qj*2TK3X%@w7-Yn-8MHJs97p;jHkQ2om6)zcf`9j4lS)+%IPbYN>;fVIHQv!M zAJk?7r2Q*xHd){_G>KJTU*Cy$euL125Xc&7Fi-?p5377YnF0Zp#;-sPEZq$uXGiDU zaq;mrwYAu?va$s)B*iq;)E+-Q%{0*(!%8XPEecXc@@CSzbjW67xUXBPs_1MoB`rfzP>)6P9)A>6`1-6b+fZHvU9C}@Y|G@L4Zf|UOoq> zgu%#$)3i8}sYQXjGM;Pcw?h- z@0`GBB%Gk|f z3kSD%P`ltF&fi%`5I^X+1|(>6dwV04c0dRPrVSa{#7aLXA_7^P&BY&RCg&I~?i)z+LUE42 zyq`G$MctKeb`!F9EWx(22DJCw;i~%>Nb1Pg*Z}YiqpHmmV92k5Tn6wR6CucCN=;2g z9+F1P{R|{foS;2JEQen3n>P%VZ&zo2Pk#X~)(9rd$jT}N?-ZS+x_bWq9*@}Q2dBpc zVz%7phz__eb^6za{JndZ3JMBlyR?aX0pZ|}B{>uX^=0*OGBlCZoe%aO=g6u_IlhM3pIR*v>45qBCOqA(DjK*$$ za8MA4Z%=9FGZO&k=#1;_+lvtT5cLcdl%9~Vo=w^IEiElbf1&{y)G*U2B&gc|eGyDb^Q%P>_*rtP%5r z$Wn^uIS%;yBq@n@b9r?1wfHS_mN#$SU~Z|7L_R-!4}UbYv}|>xQZu-7=T6Pg5Dma# zJya$x$f|GOz8NkK7KTkMd#I=o4-F0Ff&znkLC4B~wdGX;e@s%OPHa@vBX9td0P-b1 zN8&E!pe@naerL)xBXe_nbin)Ni_eBDBO@a^Bd)Ehv)@|MgWE@skOAbQIcjvq>$Usv z+u$HNF*Oj=zc1!66l)%Kfhy}OT#De@B)Ru$Y!M%Fb{NhPY9jJ zeBYg{@$li*4h4BHrZWV{b0{T?)1pydUpFVxcby?O&k81&E zp-#fk@G#VtF6XO>3x=WGmDf;Vg(-u{f+7ik{F-PCqXz2oy~XSo6LXf0jm^-;M&Imn z8MY+s1)8{}r>DPL>3I&^KIU*Z#%-{`0zHickg8`j$#nU$^v#>6fPw+@t>Yc(#XYM* zyN}P!J>|C^9D_eT%yAGC0KI}{cfg%wN1t+j{P=OM&9Lypx$fiWk-jSL1Jo7)oRHMj zrA7w@fUuhj-*H4lMC26}CxMmGBX3GdO0A2$0s<6x#5C32X^KW>W_Wyje5vW_Z*p@< zKx;`uAWN+bD%}0Sai9@0cHN@umX<7-YCw2rXJ^=_CxL-@G&D3^X6-c0tgIK=*@3W~lk(G{Kx&(t@nMS_KvP*dv2~Xq53-qi!qUqX zK=1{SnI2n9GMbv?SNZtzJa-(v{rEAEvp4tWe;TdR;~#%0v23B!eH`|%?|gzog| zy3o*2N=!f4CmrhKUN&lKYFuB&OP6|ET;1K>7Y+~h;DY)U?hTC*^c|EYZ2bJOrJp}L z4*YrW2)+eo<=Y3{V(}lgU?bxBL%EAUfb|2OFYQfD-Am8T{z50=eK&o$+->a}*iv+Q zvK?JXOev63ky^J5FtaA0X{q*Br`gY!*Gd-iOoz*)PjoM3D=ah zvEdN0pEyP>=6)63G$yX7h<|Nm#SjRrMa2Q!^4C8^l5bylcCQp5qpfp7&N~b5*}^}>d_2#8a||= zLhMUNM@}BM!Xg!~DIrcZ+=Ld>q{59G=u%627v;ja8Y#cDx0?cf4Xs9m4A<65Z-Nfs z+&mbS7QTA*ImE?&v?EF6#fLljGtti9zkf&l^rHs`5%dxuiukgl5)I~|t_U&IyrxPh z3dLp}ukso~D0nqAG;n5n)%P|J2*Iu&CUkFMe9KA1LsaJJvvW%A_P1_d|=%T17O;5UV z-9$skg);`PasR(g5$1P2GlT?2#Y{L9U)t*9FTMl7qxUSSfA z-Xk~g;|I04xHu9KE-GO1fnSFvg*VpMU#F+z0@W>@xG0@M!md*w3E~}O1|W50QW8;= zyx-RH=tUkLGBi;Jyzc5M*xl1pdgw2GK}lH|%=sfwuD454%)Mm)vaAg99Gq4AkAXOG zFz9^!Yl6U^rV>-OkZ~R*@~-IH026OOcYiCkrFREPnnOoaud}m5z`WmHpAP`AM;&_w zg_f7WD!+WAqDY~5qvGT5WK52LZ|CRdN9=)(gCp^sue40Y4LAtNUPi@O1na18;Zo@| z-;a9oxI|R9=PE0&iW|t3!X90{dUXYUM40x)RWXoN=rME+bI6i+m}uE`Jp{8ss3koqpX$0I!v!Z|CA7H(Ken6Rt4{ zIE)Y+&32-x8o+ckr>BvvX|(aHFNWpK;+dCr|IGrpEDhZ;ElL#yM~zes8X#d2&cuOG zfZF&NowqbnaS{gy2iO2LTF_`TU>#`cP|&~w-vohXrM0yw(X=6$dmGasNF&IXoZG7U zqxa3s2AWMMPVA6@2$-FnH3TbyIrLh%Z*0sU@FVH@^J7u+^$wk0MAX@SoK z;fqG{va?TuK7>sAy}x8h_qSaWa|^x?e#>NS=4)hRWcAF~gghWgOZGXNAlL__kiiIp zbsg``RKKOJp1rc$EvErUsVS&{r!9C<%`ie_be<<*xK3#U1xyLE!S)!ASMog zD1k^i^+?jUpy2B4uU`y&e1&Zv82%2GLf$_;#TChD~Aqv(hp*X2BWTAIe{L*F*j#M&%7IW@1Pd(%F2qQg98s6J9}x-{=oqj zMz`nzdObs{*vyNm_iSkr*;~uDW|RRw?=upOC+L;5_H^p4b!K+9$wd9rIAJFi$hK@Ae)X1x zg@s&?EgSu%5YtK}NYVB6b+GUuuV0_9oa7>03omngn*8T;)ge{@7-7I{Xv{(o{8ti3 z^P}R5A83XfuoZQ}g&b$9hllmDNaqz4s}hFb$9I2*}^L zb53$&{kac28bcVE?RpFH;KL0c%`^#-03%Cc{x0e|F2cI!lRz!Gg@wmSjkcDC>F@Su zfBXgR2n|Vs4ny5j^zZ}1e#nIjq|}1o>;fLhJWy9xAD^B+4i@^VWiLJ`S{w{AC2;NS`J5^=9fkC` zrKKfWF{nFob{#*!M@dl07iB|zU%sS5BY;M=$3Tvvvpm6vvn1|dAk#)Wpf0d60D^}1 z?%hsn+SPe*YgQK|0|rAxMD!|}i%?y5gEOoh!o|g>D=CR-X>EnlB})=@d$ugdHwbhH zIw=SP2Ji_!W{Z&o|J}`G@d7Xd?gzVkqpF!DC2^Qr($bH6H-RhceGI^uTw!5Rla&qV z6(=SpUI+4vDB>g!`BG42KPk%t>Tz(nC7S7;p`j$8xLQXNzctkdgQ{0SL6^uB;)`H6 zq|y8=XbM$WP4U6-L3@&joLPI~j(K}42@Q=B#vB}$hBsTf!+X8Yv6x#B_)%5L0Jl@r zm4EJH`CGo(DRhPh_`tx%7MgG;{)z!$A9{Qm#gyshtEr;TWn~PPFXNJul2U@?3e&EY zRr$D&^%x3jXf#75iNMXx?ZIHd(;uGkLE6e@BBan7&$r1*?=yd-M${#;G zJOqJV2o^soFBjD*FjpN91-ao5h6FuO3Y40fk)bu~1{Qz>{}_PLS#k0@&M5g~ zpv%83UL>sZq)G5fLY2MZ%zh6%G9tKO#yKnLnqd9xQTj@Jct_Vvl!xO$_j2SS6XrG#4&6%VF^AeFE0hW0Eaq@ ztaXU`&kCrnjb*2t;}{^tb7YNMfVpn)PF+W88t^< za9x`rdi>~G{)^NxJ>kj z$Y7yW%GoPJISXi>!Ou(&m_Vio>kBp9wSH`aa!lVzq@=2dT{Xc-I?;TH#ESdQ|QRp*!AdX?G zZ)GotiP6pv4{qZBQnb}W=lb>I{0sV@)EJ64HMQRaW<9YEw zZv=*foLpF3l=!>|(L_(-$6d8hi{JaWw=o|GiRY!fenVYf^^hC<6(U$VanGQ@Q}o!| zM|UdXU(N$|VKAVv{$L2*-)wez2^jb0?OSfQ-%~tWYdi*x)zz5K&Wq@obRc&Bg@p%| z7qOUqEZ882(VK06=%NR0Oicsm#N5&21!wi8vmRPIGdz|&Uk&wZXl#rPc`^0#r{f-^ zB6<|Q#9=zPcg=RFq~`4Wa*;-ti8tyAyf&%}I6G4HP`(28{&0Kp6sG!MZ>wtdo6^P= zz4Tm=9s9UOl<9XLYzw1pHlu~l2LFA%DV%nEe*TL~qE171H<^u%4U(15uc+INRb%O| zojG#`9WG)pAbZdQo2jYC7^3jU$H#|+$Cn+PoDRl97nfPt*y>-2d0^0eK2A!aUEkQS zN7F5H-N!-gqQ?V2e&i5-IP2Tlc?%t%19hNIH54CuR1z!{YBWG*9mk+nFl;fWi|j^Q zo06ZOAI4SW-0)OObV_FCPRsl2p#1!@wQ?qY^<|^CA9V_0qxK3^?A^O}F&H#7ef|1% z|KyI9iwq3dH*VZO!#M~Vuiz!jhM|0k24shjBF8gSV*j?W&qHBS~ zA8y^WQPvuvn!p&Em^>L98?#io_@ShP5{yPHOZBKhk&>d~Ni^LNAAb%QHuBjsY!Q*q zJl22`B&49e#+R2P&;zI6Gk}=ziHI8fPf~C__?F8e!a4Irufz@u#HiQq`nU)|9T$DI zd+WIXqc~wRSSflL1$t8t7@jrSjQ$_sXd1(5zp%46-hL$)L3aVn6F3B!d-pCuMyqOT zH;ZwcAuzJEY&|<>YHDi!{Zra)YOu~~yyY**CqaldK4VnmvK}lr)h^CS_7puPvO4)^ zd|bovS({comk~A^Tio7uMUO+$1{%dVdXfSf-S z91QvNO4JP-_E|Gh>!Od359PUYH4P2N!ShHR>~8FY-+rrbi40v5pl*A)>d0>6mj?V* zl8xMP@2d6SnQH-r;{+?9vLt0>rt>2JoI5|e*d|K&&<&S4J*ldafK6lF_te$Z6%-Mf z1k9ooab7T^PtFtuk11ti!|}k{dMCV=t4%KVl|ukjZ9CA6gy`^&2q z*t)tuPL1#$U6`Aj>+I}&r#hd*YkRQXa}ykT9bo;Rr!{CmxB8x)hOj6laa(j>dN5i^ z3)cA$$EhT#-@1hXlXvFqSu~Xi$n7aN(U2fuYqvI|eD||+7;CM%np)~+S6| z`r9{3u#%HZc4)Zf7^Ewju}U>HGuvKUpHnxtus|b%-~xXB*^rul8-iYHmIo3$E+HZR zaUv5D)zxYUIxz(W#ejmUvb9PXM1_T^8X6jgCbP1#(2KUZVEb(- zcZ>V8h1`DMOBA%nuB@yCkQ)~v#;G0{pa8x@LKHa$z4=#0aW5Zj{6+HG&~v;bBqYA5 z9|DTPvnewly+Hw}4YbiEM#jF`kx|a5n3x8lYn<%029=&IVjN6Nf#6qO1DFlndI)@X zs@>-BL!|sAG_nc6whC-}^})AD02m!jP4a?*f?HMIUVtI!)o=z?-f?_ZUO;}12QPz$ zK@UwVdlz(fc1nV|EMXX`uRjK8D4PCJSV~F?9mSScRG>k|%E?{}#aOmS85vCIT|*EG zbP)1;`U?g<3|>-Ff*w`4rKve1bfu09!}=FFs(X4)qj%1LctHbEa1FQ8($dcUe%YRM zWm0PDz3-<(R;57xz$(zwTZL8wb_csoLzQ0W;iBmwzS+zAaSfE(V zp{!!=q1Rsxl{%tf3X7if6yQ<_JUaepX{iCdjavHXrEkj0L^U-vT)ezEnAFr%^u{AV z1uXD{TP?c6fOB~u(hJPHupt=oH*ccXW1v&c#6%j@X$L)zCMpt>lF)lRK%p3du0~%0 zfrqBw&|{hC4T0fRBNI~(pyJ$sflt~9kx@lY0Oh&;TwcD3G2i(;?J1X;4@Ox9(>yv_HPqD8-E9sgy*E|i z^peZ>*4E&55Yvoq!66|hFpQTj$y*x~Jvg_urID=}1vetobpm|+u}zOH znt$dcvw4nJ$^RdoX@Xq71_Z?IbLh#YSN42au6saa zx}S~?4xL#VtRi-k_Bz-Xowao+iK3{8+oN><}J zKDXgye@b@xG#YFA`&JqBc84~{kdTno-_wdk-57NXZPh=zz;bhQ6OD0BOirfc+P2I@p)x|UcOGOHNuj@R|*Xwm%=h*3F zW|r9@dhFP-$^J4vA;-BUn&A}srYM!Yd-gmmDiX-f&c3_w?Gm^m2Qu)4%RWfoo*om( ztZsp&ew>@jgBPT*Pgo2JbmXp`og@U#N};aJowJEj{&^NXXEWTf84}6v-OPf5N5NQ0 zNl85_D@A{;&HrgFUS3{KNKAYLu{na{InRx9&oc%e@BXP1OJjdfCHd=%?a|b;|FFCW z9T%MA|6=QMEClA!lA-%G?;r2hzjH_9$Lz%T_%OH}Hht3c^p|AHAnybI@SSYFO-#4g zLi>mIR5VyTHfTslNI1fKi!gL=%9GEy`4$A?$*x>_Fsd~vOBPmE%=yM78z2w~@$nwm zq5zQk zIA6JW;P>Pw)L~Qdw_L|3!hKufR`(Vq*O7jecCD_2Q^2y*G+!_VMxYxu+Z3+uQF= zf8~~xkzwZKBx`MLl~q*qlw=xSr6lv>J%2uev$|*ZOy+C-nq8PlhuKyyg&i|3StM`# z{QmhkfdA#2H|dU_vsfQ-=qfRK<7@0l|hU+!Ji&>(tCyK{NlH#|H0)Z8Mu{#J;h(z}09 zB4j^xkZ=oBx(J(oV>|2;P@7>0njoXS-@bM8id_SQdbNI<`@<0ZBOrSSo{^D}2;A`G z(wnQZj9gs0G-=gu(?HZ?e-uEXh3VWX+y`*HPBbB3Nfd;r`t=54{rt%AC>;}p!CCN5 z5c|L_PqZW{#hk;Yawkrlh)+yh>apy~(j@mk%(IIUJ0AeZf1``xGd_S_QUK|HZ>d*3i&{ zpmOOK`mC$)FuN4Ac+|L;e1x)JK)}Zw-4Y5K8n5(pc0&w$U8VO7elOIJ^PW5B9UM%F zy-XnR@JxL+;8eMEiAYgNiSqDapQ=CG$6=R7h1GKGRwl3D(e7+-Q4LsevR{AWL0a1V z5ccsF6ANk~VzVm0AO$TN7;u4+slL8G^ysgO2Y>GKn}6L0)I7Mi%D5%gq$8a&fL8e0 zum!joRwkg&&i&Z}VT=2K;s`cj7XiUUDVqO%w19c(#IN;rhKm z$g+Su@{(nF6dQZf%l3?-)a(CzGi+pJ1Ut-i_w^aTUINmH;*kZOhT?e|<7Mx=wT^an z{D3}>-@X;e*eWV4#7-;*2LG+d*|WF#+`4Y9%?&&TEi%=W8wiVLVr~v>^qTYf0^|Ml z;oWcVZ(+9*uY?5sF#6?<Q1 zZM`HXho_6!OBHPXEVCgtI}{WY{9C1D17wyFVgh~y(o6_>iqZUXnOM4qm-q13z+}bm z-xme9Mr;A1%q$>419Z#_;Fy@0m>1jy_y8jd3ki^w$H4SiRbuxkDShVov+Jy);J?5u zj~CM+A=FqNXKwxp0`m?OC}0;5&SeMsIGC9qgGp2a%4L#*5I+-W8pVUDriwA=_7A*q ztb?~^WUHHt&E5wrVshZk`B&G=9{oqwigW`1fbV187w}MDKR;rE-Ap&->C>n4ii)Jb zi?RgB7aVNr<_6v{1A)47bF2Z|T$`_3`O#h`kQ9|WIyUAB23if62NdY7QQ6&LVg$so zdP?8g+rT795E^W3G7F2|4#mB%=-8b2^LxYgf{@V2_s=olzPo>|&ThV+IIF1i{=a~7 z&1|4t09&j9mtUgw+8_Z}#gZ=&8>4euhGr1}nn2q};ceDO1I2)|HajL;M+XLy!w33+ zv5$<@`p3P{e_M`R3}bn*lh3+ag2Lp8S*E2WT6~ zY`(|*FO*U~kpzAjmd{V2{&VH$PolRkUj$}U$otFE(9kr!5L_-W>M|M>0>Wq1{9+IM zY>r7rDLFg)X%wF^_M}A@$HRj0MjB+Lnwp2P1tYejJ99Mk<1HycJf)fbP*=BO{m<>d zj2?Lz{=C?w-dv!3>l1Mg0DnAMlVl32fAe9V36N3Vj~)?YzyNCso|lbd0UO0SJuCx) zsDbs!pfm8q0hnerSVT|l1#hB%MwMPzYEaWvwLdyKnu5%0rpB2TKARlRUkE@g@@yxR zW2rmcuorGv7!3id#4oz6d=qS)-~(L)JBhmHlwReD{m0K?p%C`N!Df&bY`^d8zN)Es zqxRpL$tfz55U@;Pf<;k^l!O>U$0%?DHyQoRhWJa5DUKZ@OHlR2l+nKh1ZvNIV%Lw6 z4^QB!@L&UeXFXs=1Jvsyp!b+Q?7BMhFe8HlJ1Rchu{-gy&jHeX`y?Su<1*^}3w!o9 zHa3K}6}hj=(N#cV@)U1XZtHnXs~sIzv2zRq#jVfL0$P=B zf+WOP(diVEa}$^-$VRZ3w8^S zECmE@0fcUKfB%bltuSez3b6UL0D7gHpQ)*+@CN=`j?Vjm0osg=47WPN$f-;F&}u&I zJHqQhP*qk|E}|^}6kdT3q@=uJX2uEo^VApn;;}O@c=VAY?Wdq@Ewi1NY>MKew@_ya zrXZ+kXq=>{k2@Qv63P3J01wQ$tOZ(Cz_K?Kz`e_+@6Z!T5)T%tJ&rGydNWRoZLLrf z#RJtCJj?qV=ua|)dI|zS1AT?l;-h)lx2}sLJGHg6C8>{c_jfN0e?a1$)q4wWB9c-GdEzwnL6=w+v;x4Wn(23kNNv~c7fMrH( zzPMT8^8U-0g~yg;B*cVwg{JM_CMJA9w#>cG(#*wUYPHP@F0fPhf3-j~gCio=-WTsA ze%LXzq4ukwvAOv>_l_F!8#iuTf8($p@I+cm>&Vk*&+aXbNL3mveut<8@GtG;bOFo7 zK~i7R)Qp(d>P!T6w6M5%3Dy$clLT}Jp5a2s$C?sEvV(^YFVlu>DAv~2g7n1pY1P;o?G}W1Pcw=)j!t^{NezU{wNqkcTged{5{>a`!)61ZCI)K=mJ#!`j z;8YFPMNV70tbc+i9{$({#DwF*g~(X32hD374+MxPW4;HWVcaMzDgw^FxV|`QCTs-! z4@-t1L}97}z?w;0vRu>_I35)h6{pCam*NZrO6)MaHa{eD_3A;8-gswT-PiY~e-)qs zZyyV-299BY_6tE<3To;dN2C7GGeks2qO7zk9&P!o(PPvSi`kbLKAM`IM(k7kjD5GC z9_8Dm5-V~E#3-H`08w6`&5|E@>r9QcO`teIygYQ@T3V?X#2sT}>?;76^M3qO1gcs>x?Yti7Ve@j*|lrem#!`uY(JTmwb$8s zgRE$4ebE2_f>~6Q?%ut7zJY;tz+@LjYWEVXhpMo3B*uTBRVIMOVK0rthS#DAcq@EW zl$)Eo?aP;Mjv^Yh0>M%1__j@LIfG65BM9u{^I zevY@G@LQDzf2%$UZ`YEwwY81h9CBHkQ(|Ofyn6k5ljB>Vl;mVj1hD+#Vpb_BDPsIM zQ1#MubaZxe{eqnA?CH-9zzEB2Cl0`i26*o~D#6Lg**|}|#A*No8pH&RlXb7ive}LC zRORIqUFH2BZ6_P+>%VQ&Qd8IL7k)4lacEpp5*T*^(T-hTfMJSt4}$lbfQ(VI1RQRE z_i#r_u|_icVgK6BbMFrxuWSyTfMC$^+CYX_oLi?5aF>CTgJW3ut0or*2S`o^v)06& zMDajn+G_m|Zv^~Q;((t64qX|lbT7NDsIDFo&aL~Ab#L}OE;Pcppq^ztgub|*ESQ~m4 zu-*mQ`GT;}P`s4I^re}Z85G4~T$)TEd@s7LjtLK*$7D@r>8IilHL;$8Lp_y&nRy3D zJuE$8Rf_h653e-%%9(q!qPp5^Z$eJaGq1geB>>k32M4jt3}~~ywKchhhQ`f&2tNrb zaiXa0F;N33Orq=B93J6dNt~9pHlvVGbc6*>^}GO)H--hb&I%SC;7>&H+gqFM@cE`6 zd@1dIt(a!GpFMk)otHNV%g{8-DkkUURaDYwxUNwUbO54Z7yJNwl>qI0eSvzKLKq_P zcw13{VJv{|qC6~5(`(1M{s!*zKY`~!l%{lcaiJpURJaImYv+3sz5p{e-Tu9?vN>PX z{_Xwa47m{2&aYez;gSZTUgEj)^$&?ja$jA|+W_ZV_t-zgQ2@*!AzW%O1~#))(|eoR>(rb&JP@52zF2g|yud zst>nccX-%dnx-Yk_D4!!Xu4Gs=Q>c2Wa6bNh{ z@d`Uu6%_FOO`6d%mt&zq3VQsU1@62rDSQ()5IO^l6XfmFdEcR@-@e_#%;_KPX%LHO zF*y)W{PMMH;qxYOCxwKL!Tuvu8s51xJTmeK{HQCkRr`N#40P~zT>!1GzyITh4~d5E ziT=1O<@xLx-cDx;?iT}8TwEBg=`GtnrG64P1NLFT?k(r72T2wjJ}+Z^3s62#N1Zn> zfXu;WYk2bjFNnj8ewvka7ru?EDg~zY0n-Ma^1i3%=#6r_ zVd0z4!h(XZCBO?|#{&`x6gO|)jJ)W24p_{3z^caf)|wt(-Jd&m2*~up&!4rvl+5b^ z{|NA^cCp1#e0^#*WjuvJ0shc8J~8nTW_7R5_Q4M-FFDQ+V!uD^1e%(-wEW`Z0#MInwpiPym2^?126@mDdHKvk^b%1 zM^J~r{^Rq4B(>n5x2%V3JSkLTn_b943&#B1>=DR)`2&_5Zu8e0nUuc zjv!$ZrTh=M$&4vMkYZJS;ma%&fYXjdkF+HmZyk_oB#{-lx2~) ze}7vhPTeKY^oJjTJ~26&#NFK;&(x}`i4Pq*G;?#@TG7o- zMF*tK)fp(gx8v*AulV`^D6fHHV$S2dmWJ}FLk5c@wOU|NW8>pk76+=cpx5@_F|0jK zb~$9%F0t@o_os z7PfAYHMSsftSAw5fGxrpB|Vs{tEAf`Wp0bbZdEn-DAuP9z{u3lidt%Zdq> z>%GV`!@lW&`*^kXXy@K<@fJ2ACu^URxTI`%qh}zdFTz7Eg#;B%K~ee{p) zB4D#+cL-s$B`ePAW1+$gZsbh z?LGEqYYkJBKj%!UhW+no3ovCT!PCoY@rCC`B*dz z1;!|kfiS#lXxIa>3@zvO?c3`C8`>fwB6+6mtag)Mh(Pu{s;m?p3N{Occ%nZ)SOJ^y zp~7|TmZ|9zUjBknl7JP2ctCheOYz@6H#bafl9ZI}Xxtp*!rFX1-7{@t!S1?9 zLI60!XaoPdx_%ZB6yyQ4mWh#(D3D%E8dw4gRRddG7erE==|xT_lI|Va6oH9KfI*li zcfHcBOkQjS+43$WC8bk0$`1z8U97Hj-~5uL$@3fb0h`$t7oP)pk4-Kr4Z>d=x6n03 zp4l-qHFd#$>R?A_CuRx&IO8ofyoD6JF|we{Xy%vrTy8}mg_6_K@B{?w3!jIC1V=?Z zdH$TLGRfT*^DgiIb|NJq#?CgaiBbzID<39Xlg^lYVIWvX%$juPG1}SLVd}wL8Bk8F zn#U&1D=RBDeJ%C%;V|&5=0xR*7es=5<1W$C1=;&kMc8?Fx3cc&- zI4HKg&WuIQ;0>>iID#)$Rf!G0bzbh&j%>txeb6YEAy~bCv=h660Gg5R-MiPx*_rXw zshJRSdA@x$3s}9MBop`%TO?03)8b(+P*802JpDBX?>Hc&YHBmC31aFh&?}sTfG21G zN0{#w6c$zsTZ0AZIQgiiCP_Y^2I$w3?;)^`SSY)`?&K@U^x@-22^OkhY?0U8yloPA z2P_|FGGuCSO-@fIp@jlJDQPx;yla2vqGBZmP#}#mnB5tJMU`deAHzScX>X?n-S-fd zp`>N3Ap{`cf!oT|c}hIr&dkij3*r9${$#q6l9IaSm%@xxPr#+werh>5oLl+%6ZbV+ zr$~P4wWlWue6MX4IWW}m;>DBCpFbDfAd+C9a9emB2!@cDnAq)ZE6@bNYZ0$50C!Z? z)T&byBJK`X?}WFp*{uKc3A2;owIzX9msY=o@WR^I(C{Ag!|?ok%YgY{rMoNI5MJeL zXymLaf(FClP>^$XfgZ2S4^{Q@xlO}DVJ~QG4-9lDOjO-HhoccTs_fAv7AkCav9YmH z|M@eLd_)SYES~k;FE1~TmKYiq24R(C$BrG?H{?H9x7ekXs_eS4gdR@;uMNOe zb`yej5)dj1GA~ti^~b90o~rDUu-@t{?F$my9xMPq5k1)c^6V?+Aj@Ng_ZvD)-M%u`Cd1(E}k1VKx9lpJ*EFDX;z6#`MV{@~;KA2ffS2qS+ zpNM@;fq??p*fCR6Q+U=xfb{M*4=gP$j|tka!0)QVKN(8<#H(@o%$eXrJU10z3fVJ( zam@XBTwX4;pH?UojMxNR%x=7q2BLeXaS2bbEW4m!6o7C;S64);N}MvtCnl`I(b|8E zKmOs4-EF{JInJLiA!}ahBl4i4qVn}kPfzy+$Y`A5bDX>0_T>xkT`-BIwY9VYGgy{#6=#=`RDjWySJ(V{^Az<}6# z`HjH{cu;t1KTI+pn1BWg3-{V^DX|)0BJf-G7OKp}goR15DZgL<$vib!A>8oklfqVZ zUy->CSbr+``xP)?fn*RG8Ks4V{5pjul%^&ocXM?wx~#+linZaWgkSwT_Z|YVn0M>_ zVOrOLa(fbwQ>RX)Cnt~j_ukr$gJ?$-k7o~4Ys)d zvwaa@bU#|e{v^XUt6jf-;^Kqt7hv9^-9`}m@DC#+Ba;wJRwm*eJWonuhJRAhZ_wS_ z+ZKD#H62vQv6dJ5nabdPTR*$>Isk>{B*OCZ&u;x*ZYebSd<>-iAvu=koS%c@;#7>A zUjUOlKLx(i(AY>tpd#}!G&Yt25`OZv*7cO5W{GQi6?g9RI=h*ioE!w`IXmzs0u;r5 zdeOJlLs@Mj&i$qL3=It>sh)VYwY8Z5yXhaDKir|OuOIs2g`%V+n@TJTczedE#+@tM z-#;J!1r$eA+c#pHj{FF(2N(>=`lhd()=g)0r0`DFh9=S<_%&CJgJ02X4O zuXU@^9fANq=tH%uS6K+j>FKhgAD<WP>(*;<6)}KTW@5V7n#=LlH#p==~ ztW5MpSBJ9Ap6+f{V46Rw{%j{f_`ZK_Q&JMhE(_rx9i6g5_^AXC(`V~=1Ptqg&Ppvb zgs_#>WhJs#*^H9`(}rmItkhqC{`e0THZ~b9%~z+E6Yjv4ka!%R7yYf_9N7rO{j!;v znc=NlsvL*q{rvnU0j%(#?U;yDUWf56LPxeX-!Y&FIX5e!PwQ3wZiwZ8V3c`?n)))P z{7;904dCs7a-8VriqpR~Hp0p#Ev&8e66kcENJ1w^%!BQI#1F@$)2-eyyrs&8>utIu3&&6;q4vr_kfB&w>%Tg^IoQU@VCD-?< zUja8wgjc&))9$)DBd1$zkpK@-nG~kLLe&bvR8Czzgn;48*~R64>%xZh=gpm#fS__L zRE;ey5xqQT&ps#MqKZv3jlZe2jT3b@dFMf-=JjW@4pTdFv|dYO?l(6#KX&0R!`i&x z!SUO#BdMsV#iF?(-T`lu)zpk|&9Q7t-t!rhQ~%x_DSGAQ<#xacZ2A-x6fmXgtboAQ z`yLWk|Bqc+8s$>G`_`y!eO7yN? zl_Zq9wkiy1ZEwztF}dho*b!9zYkFiv0?6`nvk8diBp!1^RVtE_i;IhYZ;iS>Zcb1f zIih7X{CldCt2a;oaR=!hSm|Q|W(R36x`cjm`S$LijZaozPmj9|3*sWtt&6)vu=zef zb#Q9xcQ&!B*HVGc^}aUPEhr?UmZtnN+1rztVgLU9_#rtr-h|^_l1uwh?+gdfCy8ea zKFWSBSx(5sa*#4rJx)Hp5MbwWQc_-T!u&Jb9`7b+C9D7}Kd{#oNMuLbfzP$6@&IH> z1ihqTVuH<7>RVa@fnm#}rluxmXa8={8zFb+;Nl9&$l!Q({5+1gngod!CsL_(Diu4h zXqFs2c(A^;HJDDsN%iQ^G4Bn|sHiA@_g{9;gM%5toj?<$n0LKeq@DJsIefSsFs$L- zJCEs$ThqB!W}WWUK)4F;d^+^%3vhZCa&mHnZ2_|mUoPb#`^hhiLLj!idR6}a&N2sA z>tR2m-e_|E-*ZgGGjD7sl!?W`#FJoeL%?{5;(^e%KR>BJN_a*q9R9r}P6clx_tS|) zM)R9i?|nXou z{rztxHu*G?>@IwVkm&RoLlfXm3Pim&Fzzy4mciM-Ggm&p6pjE@*Dd83iy;BTBB_(G zV0=WxVeadtK^7JklWB4HnV1qm>OZyvuHy@-aMo9q6gXpUSoQ0XdZ#^h7M>haZd(ZZ!6F3K$c4=2lo7n8kOnq&w7vYQN z9%_@Nv4)O9Q}uGE#oL{3HIdf6z)56fWF|t26ad9Px#!wBIIt4Nrl&t${#A}r?P}G1 z_qNv7jVZx8C+@#!50Uu#87m_rX>g3K$=x&XjjiysrYn=J5OxdBTE}~Pd&5%U#a|Kx z*)K?uSXexpV=pQM2L~TKdQ=V(fZza6}Y1bd={>G z;DM+xSr$wW1FATHw0Yzma7+P5T?pe!Ld2u0_psJ}Z^#N#i^!bAv-jFcrJBI>_C|6R;+?!-$$+tf$KEgdI8+0)Ej$OZZaz_dZ}g*a(fGuKOx4zE-{Gz7(a}-7yv0st_cfic8yT^M8DgwtZotn6FKGUPo+MMSs-ogPyeh}8 z46{mIU%#dTB7A}1g!41#-%f;VoSi>hL`O$=XEjRL@iYp6!-K!Kwtmd?6vSBw^Y8>> z3y7_^4vQmFZ5GJ^WXm7ryg5aSlGf@Kjc1J=JJ!1gOjt3TkkjrdQFb*ASssB0#mk;H?im)oiyJV4+Cda^_tY-3|1d-?KX zPYK319_r6P)R^6w#{+VdR6vmG+uHJ*Y%JinR$y~N9zWh;*bEg z*4FOG)4$x-)%9m2;ISD;qrbnuDTG!Qh#O>NWGIWmU5A|1)Tj`rHW|7qTpfjgls|j% zL5?Z-%M)t0bl0`H{+Ky%^iMbPmEdP_54PptpW-L%J$yR5sOCx3)Y@1B^&Fip*p^>F zz;|J)Tw+i$_qTqrP>|Mt{+y#`Wv(y!3I}1wi7J5}Pz$kinCT9_mZS5tCrkIL4@h%j z@fsiU31Rt{nD0R>4)FmT)CRca+`tf~FO}QErz2Kf$1n{dH%G zG9L|cn+?5nW-baHeFHF;ZadM8DLSoSja(h8fXjQtqc&Tg44xLtNKL)QdO4%b^|Qk3 z#1|XKa&J~7mX=;9xBEdwD`?|cY&9VNDV#g0r@%NQCx=^GM+c2hJV&P}@z>93g^J4h z#zvd04BpPVnwrt9)4o@ouf&Fjf27$bBqTI`+H3jOPjj8OPG`VqsR;RbdGQMi3z-4e zOhK8I(Gh@?!C&4hQ^>%glNhJV z5+}nU{~ti!$HvA!Jo6wH2d_^ay1)5suD`6t@q@|~!~~-Bg_+r=2#8@RtV+>As_fZ( zB^_^bAu@wyT{?c=DjD`ttuBD})2W8k>}*AxAPCw~O;wcwvs7rN#+|CtKQ}kCK9N-W zehzzI5R1PQcHGX6S_VF?HJ2_eCMI@F$c~+o5))0V2H$f0T+hD8X6jEYHEqy-CC8S z9rCrcwH*bi^;IEkYk(8`Oc1t4$SUL$DOGpZdVfA$0$@la0N7n9CsjgWrrr-0&s@ zSsH0DZ;yPw5S~E- zA$v|oz2Y}-gvZCnH8ftBg+xTi%+1a9Z!KWIcfN#Yl1vF3%M-S1Q4c;%OY{9E-Mg3h z&Ye5JjuU=PcP-PVeFUAC2EqPb#mOH(ez?i}VjZY(jX;Wu1BOjhv|Jv@} z+FY}}Jlo@WJ*;J5;N|g#8aK=Z@bdC%o$AbL`1&;*Z%tEWZrr>X3-2jO&8o-%R#JX< zSmNb6MQmK03dm2!Z?n-uDdxU`Cj_5^abKOA{sOi!IoX;N=bjBX)CzoY^4-H7K-zU1LSa9JGLdB@OD6_lVOW5uh0WBQrW z^73SRNQeioY3UD=?b*XfD0KNb)pFk|?BF>~gkRy}q%5F?ElZ#5tl9>iTto^lUqK?gT5oS@x-zx6RMb zuXGPqDQYIzn?;pe=7F#zkHg3Oh`_yp7bJrA`C2NFTJ>?|NBfUI-EZde(qH9}zpF}E zV^UI;yyPcoAW133?{VWb7p<;^iR`H-er3_VR}^o*;_#Dy#G1gaMd7;R;Hh-q59uA` zdpQ$j>4gfa#7ZX&y_xJUgl>tF2kN(Qm>bzdY8%fId*B`Ev}$=M&>(8MKpD(uyMJG_ zYuHZ5O*F2*+}?i%a0Basu&ZOmV#{w?S=k_X@eo1V??Kj;8{Q{`9iAqqq}XT1a?vVX zxk7oA--IGKJe(D$2z3pscDPy&RlX!R%~Q39u7`z%Q3?nMEVate3%CxQQ)y&oV)BKx z0>;fK6L2D9*$D#56*V=pJiq=h(zRWxYHCcEE?u%O7PJ{7-E=7$vpU^b@u9XBKyD`! zAPBJaPxcpHdW$pM>Y6QtrK4%xWoTsd91Md}K|vunvmXdjgWiL!&O1JY(D3l*jF-Lh zG`KT=J`V|b5*~gCzBhw!HQcPi&yVamP}>7^BC?3FU|vuB{N!IAjifnv&^IOJA2Wc?g#pc zitxEIsw-7aFoc(#oxMYM<4*ZfdU|?LUS3|Yh`rCDLx(=z*Rldi);xNc=cb`v31Ge}8INAU#tR6&_9DvH~=LI?*y-F5JO3Fef347V5}&6 zf@b?l&YM@AQ)r|I-tDq7c?q6&`gdz)W+oHYwQL6Q&(*7e^kP<7?GDGVtC(@a&DXc3 zULMuJZBI^S`2i9oEwU)mOb@${dHNPU@3MioG$X&q%F1e>cq$lz6EQJyJ@|O{Vx|aP zpq8#~2oQ)Uybz>iV)JxOl$4gXp;b-`g=hhBw&RKnPt_ae5 z^2d)(UGA^#?aV+R496S84B>6Zmc~DQjxKwVn7;bAKraZ?|2W5$hKx5R2(=!Jv&_3MhDvFpLRrM@a|PbLM{I}W+a#EQB% z+WXQ1P9H{>xT2wP5(3MF&AUID0OUdG>Fi6>xmC}@xHPF; zU0oBivUIKUUnM3=fD~zXv~#a-ZZ3}?h%M*!1^o!xHi;`QpZNRlB@&Mnajv#!@A#vo zqeBH$(dcL67^MWMPC{YfK`c`P&Vxyn7QiXpv&+kmf%5*Cp`M0C@Bk3lI7T3CdIf-v z*Zr3rkPuqD@CI(cz`@ZVT4_6>?Bwcdu<-3Y-sp^tj|)BxpCSd1$}?`ED=jZ)VrM6X zZJZ7gs=&VJZEaLIco$v)OFHajZ(q^T@q<7#3jT-JwIBcq1S2COY#CWlz^ACBBp8rC zy63+RPhf5j;pwUy8~xz(-U7H`Q`FYhR=n~Lpu5Pq)FW+A2Z2IXSs8m&1V4ZN2y71T z(i%e8(!oXxDx#y0{WoXXL)873xSk%p`>z%K2Ov}!PM)lN&zF!sha;(gYdbBC?deKT z{ZsI-Y|QuBGp}dQl-eE4W?vGFm@sa z8w!i=yoc8w#Na`fth_uGK!nX)zu>EyA720}x(C_pD!pH2y?y%vr}&J)x{dW&SDgfA z&0~`)%!gi@Y+u*D@BhAm>s-#?;hiHS1z0D>I@@(-IFIz28;&D{HS~Y zs;CKucy!_;u}2W}J(0MZn_Ki-l`PJ29Bi7E#U=V{k{M88FRaOo!QkK^CY*rdc>*JX zB`sdzzoB;N5|MNu-LnVV8-JTgf*o#ZX=@+F^rjCVBt1Pn-__Q7)yQ(Z!ujRkChS~X zHNX`Y-tVTrORE;KjD-rLAD>~@HHhzhrml=vuU*3eXwv=rfh>`LdLR(60Pn5yGEP1k zuJLi~ou~_g7skAMPYRsw@aom8>pmUB$!TfW8>+s({v9|L-q*Hfnw$@N`SMv)lOj&r z1g_(>Iulht4|+}dvYudAXlQq1`Q4O(ckl2!ykX5iX!dR#y>hkg@WF#5S~=(cnt<&hl)A3Hl097SzPXC6rEvZ?(B3^D(ZgRP zesbMh<<8E@!Eu1Vd7NBa@&i+nliz_y5Gd&B$*HNSUsWexz!`K#O-DdK?!Zo~*mneSkBvaaNhI@bTm4EIeS(+%400g+)Y+*7_gD?oMa<_CIP)(2@7{_F`oiAWcF}&gbpEEKQ!3nI3B3fEMR(`c0kQUXJ^7YjbrL=M-W8 z3Sb@-`}glRF*Rir6fBeLD`Drzef0_(^MOJ`1s6Q^9;bQ0+kzcoX%lw#wIv_Q!3vq) z-ecg%zE7S|9({9!ii-IB`SUqmnHw4etd;F<%!-R1_aHXkBUlWtv0Gk$;mT)2j zB?ZO1;)(Hb?BE_16@|@VKR!F&)qmMh0UPHh%Z0?}<^}@V1@pMZxh?I%AwIx&XyWew z;_$hmHakA>#?hiB1Oi`gdonHdeC_Euy8Qj~Wi72EUBkWa(2Z&mV@>!_-A=(7GK1-WI{5m;dL`;lovH7r=dSK#-lCU3^-aCR=b0_iRi zI{F3UF1nt>NBJCczNW4&?M_R44BlH-ZmsGfGO#JXxW$tVDl;-FDj_kExS^o|Q(x+W z)kbjE;qTQxYkO~g)sZ{a)`63gCfGC_6v;RKLlUImw@>o&c(JWFCUlx{VmJ0jNlDCL z*$Q=Y#RXtk*pwV++rU=fw3{OHE{B-dJ=o7ECgwQqwXm=-#J(>rESWVU%NrKYPrrCu zb${y^eBjK3DhL&=1{oO{mvnVwl-htIgID4F%~ePEpUKHdadmZSSh(4ReHn8B6xatL zGBWZT(D3U%mpezMr~N_d3_}FEd-tx1-KG)SIIuL*0|!0=jeBj<%2YfsG(`U?f(JAF zfWb;+o%?(h?D*d3N6f*q|42a(A=Cdb4^9Gq^ytxrr_ZTMgdOK@jnxMOPkjfD`Q~%P zRse&b;8FVf>x`g%aQwHnc8|kFF-8*X!2(tRnCk}=mO!|wp@HKiE(i)@7DwUjb|P%o z*V#z}G4>rG8kUo)0%JL>ZG^KiGK!J{QM78#TXpvaoO$JjzU;b-1s< znEYCfPUqz6XZgn5n-yfhlF-r4oeR(TUg^Gh2#CeEMW?@ods$h1OU7TGfzZVgIR;O7 z(Wu#CMbh^Gs5o;)QcB9cM<9$NZ+;o9>ql?>3Cw22%G%$6yX!LrExqF}78e(>9uD;T z!paYIf=7P-*;JLd1K>!CFD|?uu%=Lb=DIdVi)FW1O-9JG`=K_|{W?j(z3dPv2`MS* zyHur^ppcNq`ZeDALzV6`EV&0e2d-*rGPAMyD19Az>#WXpucf*9&_)G7f9t5coZKZa zi>aw8CNVQJGy7h%5-tvoq8h%m52kbdW!OmQ#fulwotx|zFVcSe_z}B`-ntckggF~) zr9rywl9rYxB`3$GYt=P1!C_%L4Gau$auR&x`gnvMcH+mT)S#g*-2d$q@^z~6!5>j< zn1AEO4cO#iunR0CMkWT}I~<}S`mm(rJdR7u%JK(K!`4l(yV(43rl;WE$cH`a>+82Z zg>x?~Ec^cI?8Hv8L(isM5Gg66M!y1S7UEv*eb@Gs=KUK&JT0QfU$ z9!_^Tap7+K;Llxuwl}SrPM(wk>2tyFDOE{ivz_3HW zx~McXI(K!sT2IR8=tP^Cn^UW+tKYtJM~YP`TJrk!>-CLcTn(Cf?oycIfD#9^hTPSw z2g_iAoqw%xG<^Cr`YR=2TjtWGhXjV_&z~Ct2Y|1Omz!6SkRT=!7rA(`k5OKtsi~faOQ*2~nqRwi!2MBXu_hkUWWngVdb=#ZsRZn2QIoR26_2JF+ zt^+4zAxcYOZj!i~y1LYAR(d)ELH5p_lZ>809UWJRJph19gi^njyZq!N5=g zbDg6K{x~x;Go?7^u=UFxtFCH%$m_s6Odb2KQIV456&GV;1qy0vW}Cx4Q7ha+LebYg zy@`i4`UbcLTsBeR+dY$s=9idJC@xMo#B;OXs7^^qsTP(HQ__Kr?jV4MIODuzh=Zm; z_y$~_NzTm5f&hXYzaV&s1J2@fUtovA8Z`bCk8pw*(hlck*5u@5-Ur)mut5?KRi_u& zGj+kUd3bW0Rqo%vUol%mZ$8rH5)N+qFH;WOKOI7_oZOQw*!ahOeq@`Qo5cy2b#$aP zG-$lMyqGKjaj?%Q?BKU=-w4jm8$z44A3xr1iadkEqukuxYw6NLLk~WB{CIe5jD&zi z;qYEh6BC)hUtUvdEIWz7mLxp*vz?xuZ76nl$hg{bk5=j3gnGZ51e|9A%JzLri^^DO zwUY?l=AVo0uJI6oJI@q-1vbiS(anpq2*6ZL?KWB2#zEG|*xB)812qeaeevJP>+w}rE`?TlK96T6rJyeM;gw)j3vaI+)Asxh4SP_|z>{BKtCf`7k)Un06VHcrSHRh_OrhjXKv2qTStq+J?5fKrbp}@?{ z{Hi92J@cq1^@=x@b81Ci9z|_!E&J)y()aI+##}E7ef!p};>jCW#*WTT>}v&ERo~EX z3EZ)jI`Y$*62OTZcqKwqhvwn0)N<>WRNSRRG62gu%i{Y);TVY+?Rvr&Zib* zr#C)6zQ3FV*mqLjdDE#uY+nf;efQoyeQKNd?+jiTha?$b7#k(qfL?b>xj#3`@-XBXZD1G1b* zNJuEXza<3G6dQMgn874p0Ass~4J*(!WLR;7oq&d`cZNnpT$YpDgXbr(+1TC}V53-9 z1mX+`ol5`)OiWBc!NElF-=*{3yb%Up=^fj9Nb1T#)#dX+a{Zqg8&%cRh+)kjP{Gb5 z!NN?Wo7n$hk$W?gqIJFiP4?E7iH!ylO1YoX!s7+0HifgODnrgX|8b| zy-LF_O={(OaA9N>(Q{J%hlbxh+~NE5=?8c}BEsWcSRJ-QIZhPSKwDSk zUTkwO&S27Jv*#+d7sTmX*d&vMjSa|scJn!S5TGYA5O5L`6G32V(3x|?XT|!LqjQW|`l(5T-0hU)z6OMzDkY4Wq=0QyCm+xwxICWCsRi(EG=8#I9g-7Ziqk_#DOgKoUx&ITOb04 z{%vOF)Y-0GQUV{pe4+66_SP!5;~;zkLI_kAr$zN7{{ni$9s5OHN@^#1QAP&Gu6;+a z08$@V>P)x1Um|JUpD> z0m>f>F4|L-E`zjsH?gd5Xy^&hL`=YgBC8SXa037bP~ABaspIdg7abj1<*2x^wYi32 zHjGR2Hh_)A=3m7(R7nd9oL5j_ey6_UZ)^9#K{`G6pESBTJ3KV9uHk^NJ$v>XIcrGj zL#dWCJU;Gq(RKA3_{x!U7Du{XQbhY-aKtZK*Z17kwThp?L)#;(nwKesEg=gb=L|0|1Gq(Ud3m{Q{j~e^S8igD?3)$Q zHIwOIff%yDV}0o82%T0<-zDO-;6Y%(bVwYQDRjawvG-lfd23%EpWQ^_*h#Q*`4jiOX?gi`i2VF6uYjNAgCNMi z^XX8&X*(^*dfK_UDUBRn_DxpT#{dc1y#AG}*8s4>GOzEbLK4Ms~I*FbD`MIQ6u!kRL)H1ITPFy-Q1DBeWj%0v}_fAmzRPd;Og2 zOLjk(Dx5Uq6Q%m9urQQ%ij{&Cr^z-p$^(>)f^5QBDj@6e=z!(q$pkPIjWY{QA{cOo z+}CcrdCFtW1Fk0F<|ab8^=swF37K{`Jmg!Q8}MIWciKlQRM5HI6!dU zT=hyyVlKAq!|s|6Oo_b;WO51${vR4dUghNMH#VMdX*my+2xJ@ovBOeV1U$Pm4lBRf zOGbu00Mc?+9h{w=bA)i6u)>D%vNx8Umfjtf2w4jY4t@_|Xz{_HwFgcM--zH#zNS#w z#2bYLHAg<>1K~!pTV{t~A0n^Lt|%s}#Y5b&oN3DuNN>ADiREc-op- z#v$a~R%slnboaNP{>sS9O95I)rX}_wY+6usG}cyQF*$B1ycEcedt>#KTH4w~=^6X7 zwF|I8<@%4bxT&qP>OhV?JP0`4)%{&2u1D^bY({{gg#jc7#q7)Bbm9Vg|_3ts(dG4DI#YzAS3K6Gk!BH1$59^5oNP=310A{-4M3jFi#9Tces@N4_vDdn$sd3;0yr8OvhF3tq z0eBrOIu;NRKzS@BmD0Rl3_GzZDB$>5JkRYZV8hn-1;#4DQJ*R*Dvm2P!Y}kx(POVL z5E3|5c{e#7q9OpA_3CoM2R8Ws6)rzr=7%ix_dDo0{yP*0Y6e1+kRCPO(%*jqC%?Ua zyu0tTS>_c)BB0I-IAQh(FM+V|d&Bm~kt4_kL6%aw?i-n#W1}Et;NZ|sJ5Jwjslq@J zUta#J;tYQWjj9%`FwQRqH(r%+UL4t(su=YMq(R=FDu0AkoLYD59iiC#KB$$moMKS^2*UIIbh!P zil)rA6L?JNn>VA=xmCCsgU5|^vAzxjx8&EjG@(?GFp1Vfl{0sD0D(Kenvj#8jve!- zM67Pz@+h;NxDEb*{Sv$n(Do+(9MI6v0Oq;fc~e+WOf1g*E#rLDoKIq}2IzYDNX-6t zF3TsEUrKH24LlN$X_At5KwvFCdqapsM*Ka*4CZ?vgcIWBSr{`yDH->%a ziPNKM9!*`K6T83fq4>K>F{LZk-XYJQKLYf-HPw;9G^?1Z5^>4=L6iCYpHmtTWc@7Z zFS_t!AK=i?gOO2DMdpf@0|U7^x1Hi35`6gZAE2LZe{1?{4ufZWVc}Ini|^3_=DfE*kYbz!J!9Rrh}6>L z3j>x#Q?n{kIL|cypSr#S9LqNRTS<`}sf1Fts1PzMDUVG?S&AD9Ah42>(sLyz1K-@{ckhV6g29fezgBz27KQ-Q z`8GaIOGkHn;-8F(+k{pRVE?m2IDE8vB$Vkt&$sR)ShO1P$8+=5T>Edql25DX{ zu5%D0a61@s6H1Wg=57gka&xy|)KTot(e(pVAynRz1yKU29hek71H~8}pdb!l0Gu@Yji%Y9uEKQgyx!1n^COAXL1`As z6qH5=C2*Bb$%G%q{B0b_5_lRKx)Z>#7}e`A!%%GVE*qqgwYP(COG-wzgJ^wy9fy`f z3_&p}AZUv}f6R#e%GNJ0t{%BU87*wZ2-bwUCyMc6`vD8%_-j{J*NgWFbHkN~6A}_| z*fa2V5~)OL@H7WkGZPaI@x=N+zki|TkQ{-KCs_q6oOkoXzVF}+vaj~A^8itRj{Hi zfaB(Y1@Z9k93vFMeT#D+3bW+p=I-iKK7Sskbq7;rCe>xFI)0vbT~c!S=1sO6#>O+> z?b7?NLn^v);|BOu(*3}Pl+M;^dZM&1PpZA>KM)rF0=VLVlPfHz7p}RO&&)rtV)i=a zaqc0fN&*%%QZEJ96j}73&e~He_&h8)=hgFoEs_9ce-ajE@oYscr}l*D)9~;*TQ+*x zqDZiV$P?E*0W}IaC-xPXmi(g!u@{SuxTzl(7X$#Cf=N{MW-N>3eV~$s)y61T3sIrB z%sxx*7a(bX0Qn5{U44rit{NH|ulJ9@?V{=~Bm*Uf=$CiFN&&S#NlXlxo;G&~zMX#9 z5v(*IFi`Eu;Cu32R8vaGns=zsS%zMT>Ke&OxkRtL(>Kff08 z9OiUT?Hn6;9s(1>qVl6hk8Z1H=crx1`UtSU@#p7+8`1~5grnr0Aw4!eRi*EGD%9Df z;iO3qc7U~6z(()FxvwlX9&vxy+NwMoRuDiQwkbe3afQ_+bSxlXFRYv}tx4!4tPi+b zen^k;RZ^jcbxbHjYckJoZE z1N2ta*2bDN{r>&Q+1Z1$3H#~0)Pd~&)1JDAU+)d_1zTq26330@TSV{b{OMwgu6so+ zL&6JC{MB~ip>pFpJ3r^S=(U|0*PazZ4!rRyJg~g{IsmJhni?V^z;0Jx8}6W>qy#wT zk(6|l=*-Y6*g0bm%FQ#sSo_g)JrzASI~!>^N=gV{0;-7{j5q}X@YTDqrNz}bT^#JR zd-rao2TGW(ut}}_5nJ7+uP4OIf)un-baOxI4L*A zju$G{s~b^u3`DWb0t9O}tDPPX^>?s?0~7ULd%d!0Y`;VQw+&Fw(oo$!^AwI})f`E!)G zBR@deCCDx&E$d1}m0!Oa-nOt1ad~50ITOC(B!QD;QOuD~?y{jFy?V^V#AFl|q(VZdfgJe0 zP)R%nG*&+`rg6-pZPFNU{`&IAlS^IN*Nx@}v97rFPRl-&6agYz_|IleeYS!Wgt(`D zwN{pvHe(HxVtoqY9UUEDCk#N1a10hen3T&QEWz_=1~~H>sJL%Ph>G~d{?#50c-A|2 z?tBf93mF2$Qk+)_>1}mxz;CGBaqQXk2OeHt#K_oD5^H059Fa3nU*Iq37x3JVv9av} zR$3d$r~CRw{a)al-M^Sd$Hqn$7N{j9B{j6Pj&XACIV^1Hw4lyv^#L$4B;y-zd)4W? zicar08u5-aGY%c{?T^}3oM~0_!NJW+(R0usYF8A&F8X35;Yl=G)S-dqu_e?%Ae!B0 z)BM)l-2Cg36GDB6S)HAo0HC=;j|vimWYzfY;?^FEBqJ<3I}T6Ct(_{KAFd1>srAD> z15{!zSj`CwKR{0pUPejBsa)qnexP^tLm1~+jSsn!&h>&KELF+)QDLdd34piM@9$UQ zB%FcsA9~}obWB20(!z6csh8~Su`RyLSjmec9O&riNO$c7{tN%1Znoc%2ZkZK1_o4+ zD8Yx%gXa!$Zu4#Pt_@u;XKS3|vNG9LFoz}j`oIGNGyujoG_O@0Jnsyrn$Mf zxLE}rJ~MO@EDM_(9lyBw{g~+~xtwvMG#%^q?CeitVt53y(^k)DX=;*~nN5k&tz(%r zR@iDM>#lwK_Sru^egXoffq?<`V3k*G0yXJ9Y(97T_|L_WTHIU!u$q?`m{KM%LiWm= z&Va}=qIlJz#@}*oE~@F(V$|1utD4EoS2Z=(%)Wkkt|e-eGsF=`(bLnQ5f(k) zsW=`r722W^AMNJTrlO`Xd7jkc=~G(pJ77I4CQ7dri{jg)|1zN{Iga&%=OJS8Ma(TQ znqRf~z?c5Hxzk+_!0?bx(H_5)OU59@?vV4| zqWk~k5{!c-Ie<}9%gPub0Z=M)$*GO94JsWX8kjq{E|QsTEuJ202McIhPQme%P^+x8*IZNjBr>yp-+wl(al{p+h5}d;N=5uy zoqH4zQ1ixi>+S;N&)yO0ozk;XZM~J2X_iTv2iK>(_^1 zO_02P>SfuzBp`$XyZHAJXUr1Z*Ha zxVl2S=6WvIoruWDQLqeA*Y#6KG_8jvP{yS>>h$cd&IA$F{$DZo6M^`!lg6c!flt#onJ^}Bjs>lZt)deU0k(*_ybjqiq`CAlIK4@52SU2ADFd?<()ML)A zWDXN0U#PuTa3>?U@A8}A6t0)N*9vdby1Kb7eLVU0)AKlDl-Gp__u8Z-hGFhYw!E{8 z=ITyjVywWbNNwz5Wn~q$`zDvwyK_|vR{`GEYK_v@nJXM;gLpASX{YqQ;4Jsbp zoop@oc(znseB-5(s9KhF`5L=L5#76f#;lurIU|F9np`nyXxeMR#mdkf?)|1}QuX@a zkNR_J^s;KBqjPh?kWyy{OX;estM&XktS(->__aOtGG;|x38u`}5{`*LrMYR8oQS{k za1`@jRBWt_zCLqzcQ^JOHn-qh*^eeCCA;)~|NMc%AtNIrtlcYxmk0zxyhyC`D?B=0 z)Xcqf*TyEpkz3SAf+a+$$^PCwY!-hHtaxF#@^x|Xosd&!E7PZeU3lf_mUz;5f;;Ul z_axu76Nh46x^(H_8FTtv{c_*4cPAcM(j7h=2>GPsarprX5K?B(j^4;(15 z#xcgzvjy&dAK+|s-~)VO?iRq~lHeV!y?=Z;CR5+Aa&r2ab)@5vz$@vBnH_FL$=ANu z%Q9^NqyHZWuH^=Yso`jml9Iy05K^9)n1F5F52WnfGlx_9WYcR7o~|Lz}E0}LD%=N^Ukq59qW&!0EO z8iMC&dAfG{QXKO9_U+qRD}yp#BYk~QUEM{B!@?A}DTs$wImhY4utyJvr2|CPl`PC_ zZCVEA26mNwh1=9bieXJ>FsFWOY5KR>ZN7=t=gHSH0s{kCxw#2+%MK=nhD3)CAI4sF zz|W%YeC?I zr@-yj=gSv9y}JHZm^;7AW#BmgiTBOT^k&8!Gzuyz3!lRL?IX|V>mCCrMl@aVCptPh zPO-OZXsF8Vu$Y)w%W%jc>(9Mxw#>5lbz^|DP6-Kp6QjUyOv$)pHBd|mc8CRX)T05K zV#}=l>^y1pOU*1*EiGTnDOTzSbFOgjdANgk_fcM6g`4>z9JGqc%6EPcG9!%)Tt=Q( zK)QrmL_s2LBYRyw!uuWXK7FDA6O~g?uo!#9WsChCz?;RtQxdkmm*Hw57U4GSKFFZ_PDx2=$3u>NO!7)fB#R3!J2ro@bd~T6 zb)6`uXgR4zx1E=R857XE-h>IR*f4zbT-b; z&e$*vIC1u8oyIR((p^sLi>!)@ioIzA58b~UADKSewbVXxG@kql_rjOA(#Xd#uAYep zl816HWMpKpRM_#U=hw+idjXqQpQojb08ps=_91NG`}z-#apFBx*v4DyM=jewH#@sH zKO`>Uw3wvimBhIAwVJrXWsM2~UmQwj`8OY1N?pN2TMMOkU&1!YFFC!!4tJrg8WRZB_<>%T$2%d)0(J5SS|=6_!&}q&FK|auVX6Jg1>S?0N+urQb$MU##t3FLTP2C zB+*d;flw<{)&+v}sJHhj+=D;+(U-Y^&FdN(Mr*01z0=b<23jjbnq6e=`HPFC76uK7 zhz|8)FF^6u!43g|H&j0NLw?@R+bf0*-nx&1nz*B2c zjC;alZ%(A6WwX7oN%O(~z3crXBqUgy01A&P*%A^Gs@JZ4u)oUOigJc`Clmp?uU_&M zJrfn4m6c`u&!=Q;kOC++Fh4S~1D5RVpPvfZ9%_Go0+o0-w)Aymq`DZ=H!BCnZeX51 zV8VXwYJBw?22;!Q%-XkZv7-_vtBmh|zRG`IL4h0~H?|YNE#qZ}hlkrRYx&`9U*ITM z0hnx!_kusYZGDF7R75}}zpiXNdi2O}0Nad=jlCW{A_ZdUFZpgh7ZM09EiIs7kK|<5 z0Tx=?9a4$Z+S=Mwsi`_Rzwn6LciPstvtG-~cDc35(B56{aXUow%Ha0LQ^_0%cV=R-q7s8KHJ zFdKE%EA=6yL+opvpP%2_3VsqAnnG~qoSc~O-Q08q?&dqAnsI*@35iGJSXb$vf4^M( z)~#D{k}eE)Cz?_20(I`!*PU`}M=w5jAZ5~)5R6#~M@g!9uGSn64w`qgv3Um+2{i{G zwh7(LYN>T1xN56s=gN5%6ciA1;8_PdMeE^;^8jv6*^XX}X|}h6zv8sobd|)% z+s*sl^b8Csrfms08W@FD{`E=u6ECx}^6Y1{uwMiaV{ehg0bGdOT62-5r6nA38^)=E zO|4I!(0rfmE6_J~vQA^lI3#1Bsp$i+6)S0K?hj<(!!2|`(_Gy|`wD_55Uhhvek&jgF3@#9l^brY$oSI<;DOZ>8(TK7M|FJh_;g z%Ma+RXu++dE02IJ;A*vh` z7S_r>?{FC$20yI4Ts-y(@jHJyPOJ%TH2_uw;`H^-&d%2^Yj-rXweK=h`NZ5&?8(*l zN=-ek^nM$02xFHZ06iQO&b1|W+_-V$>+EdM9%>ew zm?y+a8R5j|92|sk{OFY{S0HgdY#iG`q<-ZJZs6in>4xCLmf~Gv-ZWTZ#KD~E>iaO$ zIgpc+1MdF{sOD39`-rIe%N*Q-M`b^VGb6LJ&Gw>0!>BjH!txl}ZG0dA0`>fMCy_b9|VSHv;2*KO0yi_w&S+$&!0a#z_3+KC(Z0UE zQ-XqC;oiZT;vlIKF*x0c91ulT;vV2hycr9-9in{$2 zVq#)?L-k@n=Zy{PpUoAO!R^WE|1E2MDI_YUvv#}09cItLW1^?0M_`eCHE$;*13f?O z%Mfz_egr{&-htD7fjgnkW3L6|L3~3P&(>v=kTamREf5ULasUH(=nMNOI?|PHkmZZ_ z6`Ik3$1Kj3dEB6$v+nZKNU6f1>_f zTeZK(+1W|J{Lx*FjEt}z-6s7v2tX;Gk;1Gs$xEiGtvxnadKZr&g3IUGjmx7{`%HI^ z)6ehR#nxYjS?TPO4n^1{nJA6JZ(@TqH#hg}F1fC*uGjhbHNStY*^bosP<8E35-fGy z5WtcqcEPO94WKH5>fINOot^X$o&j%q0+7I?Yok+B{_uOXZEe&E2?@aK=XwVQj*E#g z0>OG+QZk7RW0>No{AoM^AK=m0#>dPuK*%7FVACizu%f@5<7~?#`Px z*|6f!^Xj?`;MODVo2N0%IIm2c2VjzYy3ogjeVk~qLq*yMRkcd(*jML=J{Er|ccg~L ztE#Qt2p5%{l{GL??Qjdxxxh`*<>h4*p~g89ZkAmyHGyT+0@FdSqDp;UH;0yW<_wAI zm7=cB&TpbA^T&mR=&{X0#F_=z<9~VJ35!kd!)e=8TbrMIiPD4-PV= zr>CDfb;^)Dq~*uzoG!NN!L$2UX$Wn$F*rDQWMsqxo zP_As~We%f~qN4f;UTvLCPe&1WMp$0}tgXYjROPt9lAWE6@fZhb%gYDU%4M#izAKt8 z3Nc&1{oMfJob8|DcdR-1-u`iSU*PfWG%N-YJn3-EvB@_t+T4y~}K;YmwB_QA# z8oCd_N7D9`|Mwq0B z;R$1)eH4sBq_(!UPo6#7quLQ{)SZ0|kjgvAK_g>h9TPhoWt;7;qTZU5lc>1AfteZi zrJ#czcwifz_X}gaax#x|M7+Gb;MQLu&K^8#$JWDY?~J?E2B3Yb;XGiE#=wUUAFvf;X`KM5~yR`=xrACzleU0p>H zZa^fmCij(QI-?|@xNL%~2 z#Bt%gTG!trjfw9(Q!PjN&g5OP-KS_-VN6zgi=2e6_T5dj*g~V7wI*^`Iv*`H9LXfG z-+Ij8$?F~c=}|yoV6t%r?-c{0lNm}+c7FK1uV#KBma}8et*OmSSA2KKPk7LG=~o1?76h#_PmEh z?yw08(t-6xp1gi%O7sFLt2fQ)=^yWT$GXhV01}*l-)T;ejP>>1-I14+bQGu!5WjaH zKa$5QuVp-&S-vO6Y+zuZp`r2Q$&+)cs!yh_%E%Cdkpf(f1O%L_mBkmOac_66FD0Hq z6A}`lp`khF>|6@pP7bLQJAA=t3M_i~uiTY|FNZ4-(}^w23JeM11UjFir64Cqnv;{0 zZVWjF0v8ZF@5IC-E^G5vfeH=;_bnHE4WgCdVu z7+g8{-Wy0Df~KuPE{p8AQ^itX(z5d?JG;+$uie)~pW;`0JH-_d)b1D?*Ct51EPnrv z>Xh%_%l)a+(9h8dOGtQpA=z+#uoN&-8Xx~a8vNe}%|Mk)PDMo|mPCXx_~NBYp--P; z$D_;Y>{H2MpJ*Tq`xqJJ4Gf0$sjKR|%2y0i^YWg?i#tM|GMke7cgfe}f`|WPmX$G5 zQ&V@$^d!12`}Ymo0)xgTWgtbs!8VpZo&+~i(bccIg5zXPoCqo`6iRSiCg46~LAv8^ zFAsKwNX*)RlV$GQ;isaaVo*FGmNhY9vbnkW$-JmyVLc4b}^1E0}h3-o_^Wo2n`@hBf(@X}c0 z-Jjp5ii1970#%KHAHyOeaSX}E#)b)r^WD3G@M}4`C4jsyn3$x~e;ciuot?!~U&akV zBLEDKNl56KG#^nV5Xgpyhw(!8^J>YR=ij!1U}3(d9jIms=@>#D3go)GyPI2BC^a%O zGq;-;UA%l5H)98fhWrBq1$l?d%itQ}%WNDSCm}?`Kc{w?+upk;6r7opQ~%{lBEaau z!9ncq0Sa7XXx_dbeB9=rPpo?S`hCS#hgn%!ho(z9STJ4zgvVjr5)yHghlQ_-g>G2~ z4Tlxrxi4KkJ#h7bz~MVBk@p8!C=^}MetYJfU8O{G1-I(X^F zkF?jXaWD=FQpl$r6A}ssp12y&bq8WJ86~A`n!4@OXLfK7t`jFJvW~VjH6iqYFT?R= z_wSd%Q^P4|A&BKCCocob;E4!;uyIvP>qTgMd~iqzH5d|Pe1-p>TbcuJ(+*23D}tip z&6SB3pgj1Cz@~t~r=ONj3ss60ww-7`Bq1U3>9&yQ*|W5?wABEQ`vnbR-#E-M!jJG` za{KMY#l^49(Snx!g&!;@^3&3MqM{Ch83Theg3m=J0Qso;dkSwsNr@?hU2k7sJHY>_ zE~5OR;NFQq!Gjby2?TtmqqkQM(lDTqyn83Mqs)Bfkiqr8FTkH5Bp`+{=c)Qz>f3)? zC^R8KSx=9NQzfCUyPKg%M+ra@AY0eVb*_fEyBsTGeJQmayHW6L0oWJBk+Q7gtAKBO zb#gdFM4kb6T4@paf^?po{lHLg`|X<_Bl(azdR4!J4EO$}W>&Ln52`O*3L0z!P5KMX9D}XR%vhzQ65xZT zr>99ND9{{-9vl`mI#gO(3Q1g5UETB5tCPTQ8GhwltpT+ENGB&94Em6u3Gg&ISY$qC zh3z2W-jyu7!3>bi1W*b#IN?c(Cr=*w`87&5{`uaa0%n8*yRbq5m~mhr_Sy9Zhperw zaaPA2K~D%)o13nXKJWnTiw;{@P9R34R8%JIDY9$vJ|A0J*pD6a1Zud{c|~QZ{qhl7 zM#g^rvp#Re76j`7N^|n_KQ0-*pQXECYH;lu0iFZy$@KTf*w1t?!Sy)KxG-!v?U0{r zfZfCCX>(xBa&mG>MMV(++G!6T4h#$HkZcqY7KVsjovUB|zNtwdM`2;0HG@4gCSM}=E_mJ8?eEf)02%4JYiRkx|R8>`-xcd4b&eB_*b#7bW z=I7@S7LNS(?WU!rCDz2iWAp#M`R5eeH(=?48})lpfkn)o2f$nW9kTbS0*t|I?Cg1# zeF9BQO$VhPNZ?_qFiw@?dqUe5%Mw)|uq+Po*FPxe+xpTN7yVwGyww!Jd+3aLr(0Vo zQ022{&;D~ytWbyV0KeWT@my6dtlvF;{21a(ss;~u0=0_7(yqlGmJv-&&Caeawd>ba zApG{^>I+(&+p{=$w+-O17b*rD7<`}US*VJ}zQxx@#K6i53ky%#Pir9AglD)$>dwsi zryQIiA1=9rI0aLW-FVZTC3#0+r~t-*YK;SGahwPV!mJmf?`LM_;SpdMlIF zm49bQ44yxbql%x?SvXJcfPvG9dxFbY10@h6;PwK)09Z(TD%wMF@L@qgL0@A_OE5&; zzioF_;zX#TfIuij;v@|oGHPnmsn2Qpc9k0+ z!Z@#$JMitHVj?;!DjJ1M7Kr3k(dg~S{#WS*chdrvb#M+8V4~Fa_m60gJBG=YUccOKd@p0LFF;{bP>+b%|L4!2Y@MQM z50+!3?d>|cy5Leq0Q!OaqAn9qH>ZWlwfTOMWI?g}-?@O7Faab6dSTKMBde$wRN;SY z>yejLC~Jp*L7^vy*?@NlsKPKKo zWi#7*I_T1I8DEN#A3fJi!J&d!B+F#-Ntd`Nb`#@~Z@9_H$wc>thKAh{^7Wo1Vlk4*=<%9VnrWS8fEfWoB-^^Bu%Hqgr2#RF{GoZ<#;peRW+rT%H}+ zqim)|%>FjVpQ7mInwqj^W|>pf+D1mK@Kq))2lr4idPDMtYz_?4eQ567c37WJQ8+NZ zW(UzYATW@dhbN_~>W>FwW#7QS*z9ajSXfx|d$Og!F)=Zs4>sRqo_lLEvh&uhTYv8> z!|mb>BM2*-18*6CaQjjpd7PES3xOm