From bf283fa9f4512aca4e549224a89da238b8bcbb9d Mon Sep 17 00:00:00 2001 From: JakeGinesin Date: Fri, 29 Nov 2024 11:45:22 -0500 Subject: [PATCH] updates --- assets/diagram-anon.png | Bin 0 -> 44200 bytes korg-examples/pan | Bin 0 -> 86896 bytes korg-examples/test.pml | 12 ++++++++++++ korg-examples/test.pml.trail | 29 +++++++++++++++++++++++++++++ 4 files changed, 41 insertions(+) create mode 100644 assets/diagram-anon.png create mode 100755 korg-examples/pan create mode 100644 korg-examples/test.pml create mode 100644 korg-examples/test.pml.trail diff --git a/assets/diagram-anon.png b/assets/diagram-anon.png new file mode 100644 index 0000000000000000000000000000000000000000..59fb9895456de00ef971aa8b495f31742b3a6b03 GIT binary patch literal 44200 zcmYIw2Rv8(8}_kPc1!jO**j%cLP!He$jk_Z?CgwWRb*u(6_t!+mMzi}vXT&y6;eXR zd;NOe|NEZL^Y?!qe&d|)xxe>)UDtixC+fJq7X4+TvAJNu0Ne~pY1VJW5OOD@! zk}q7t|7~*BHn~I)3{9l}k=+tyU?&J3;)uopL!b2N0bicP{td-B*`x!D!ZBeVLhr^@ z%Q&7mk#}3?+{0&iw@a)3bf3$+ec`_F{lhoB+)EO7n8!|@yc@R7EtYnxbdprr@|s)C zpXGP3fMy12NwXU`tj%N`!jo<4p0;DKOJbL*? z^$TxrY;3Ib(O*hEfBt-TSCE+9Lr2L(~B`pdbJvx8! z;>Oba$nwH?(8@$EzUBg@sv(!MPq0eh(j4!UZd_d4>({T_+uPTicbz(8YTA~m60H(@ z?b>-~=TRGF+R#uZ+-wR*B1J$m&0yMvY0@L=HICs_k!F8vB#)4hNH z%#M$Zxd;9n4BDu!sybtA+}qg5FC)`2Fu+O7Ezb0(q@-Moy)0bcq^+;dKm?Z>kQ4YC z2RXK>OqFuFL&h>6yStmy1bAsf{go0~=U;t$lT1b+81`QHTvSdv;;&shQ*3?s;K9)A z*O|&p0|VDz_%1wq_AEUk!{oB>&4h#}`S~Bax^ne1Ca0#Nt2J^vy=Okj+ceX8dj9S! zv5$<5^!D_uPyX?_@(SnIk&%Vv1^WulMYnWCw}ze`@2^c!&CShwFMgTcHMjQnkJI_{ z1To&0g}0bjxDMm}$>OF-*RS8Xe?NStySKN(Yv#<+qen$WAFr`lCfrAKcwawh``TFx`GjsESx;jhT#iDUtJw4}_*R~VH``emWu(wkF0RgzS zQp@^KmCK7hK0X|3f&K$kp81#8fA?6(+P$@`RwC2`0;=QVf-3&KoH6SD<9v#*Von6H8s85_w?MZ zUAuZ)ot&Ihl$AX^J>})(rl+Sf)q=jr1~)Vu#LAsJ_YE6C|AL6Td{=#aeMiUBLdLrf zA8zuxdA7zswbYb;a&mGrJ-xiN^a&#)d3kx2z*WWRjd1Szv3IxepY-(fTeoiQW0)3| zqCB9vL$G1%rSbQ>nP_pj)ir+eUk{Uq+$ktfb?O#t2=e;zd6UIaJw1U{N!+ivI0nIl ziLYPD%VW6JxKy=ubgX4k=jZ3=CSrEU%E`&mQZ|HAZK-k4rL3vXnx{&B`xuz6g8r zL_9>jB5-ZLzu(x~T|Rfx(%Agx`Y+bjC(FpnT1jyPUTtk{ouk7huKq#r7Z(-PsWMFe zuq-bjoAx%!^XUG4 zsSY4OOym^yFFrjZ?pxUyY zyj$ty>C-`f7sVH9gY2-)kXh3AT@nmY?|tDbo6tHs`e29TS-OjnGnzv}&)vW2;1=ZM z7@R(BZ)vH{!{qGjjJ1r?2z|b`GF9k2yYQv@^04kyPhpEf9Jkt+rlv4;p6O4ek2mUu zvT`FLs3SM@nJAYFvUl)vJuE1oCSJXMy;#C{rM|Z&;O}$q*(3?`&4kad@64Z({;Y_) zo4a*&baYr)SSYEe7JmNxF<3j;-hLx3Z8Jg3$S5fxQR6xsT3A>Z8%s~{C@QiNL(|hp z9BaQO3{ISAUtL{A{<7&w+wXba%WE+~=vY{I`17i&Ol9AO9dy&jCe$p6I)umO&6~+7 zD9DK2yLWS|`V+*`($d@XeG9D#LWUySPw@@b1l;~D%)yYHn!1cs?%4T&j2JSvRJiat zB{MT{<(FgkrNG~DQv3Gp!#+n3#^AIyE*vPD51SY>ys&hcrB_#)=|| z+jM*H#qREIYZ`YJ)=(b)kPkiH2P#5Z>owBu-o4Afz(5dNwnR5IX)MWO{l^i!MBUSK zZ!``cM%91tz|P9bN>ekUw6wIM!spN-3cZ*I`WaQe3wDIMlar|Oy$27d1D{`wioy%d z+1mp{Fr9t#;lputb<1Dh+i~x)^?OgNQcneZAADr=_}=~dI5WoD5C^$5Tt!vYN-X{kwPPM9*V|$p{B0r^Z}4Hkaw%VvB12 zyqcPtoE!>5%I+;|1=U&M-MbH)nVI2|`}<7|4Y$<@@bmMFiG6NwpP%Ry+P(XJ;TJI> zZa%^iReG)O^{U0b`xEm4@5>h## z<~Coyex18r^Wp^uas2r4x-;Jg7OGDg8J(klP+CgL`~<-gMM(f2`1~9_g3CF5I{D5W z9-(rI^{Fd4ofCX~d?PLKl44@{`T3MY9aq(n1i@WwY~+Nc_sY-yn8tD)R{mY2|kQ<>rWM93G-rnjzl^YGJ6a zai8;1CWxd{*IP%C>rj{)Hd|9sg(JZh+$t+8=R|iA zMOKXwb#>|~PY}Z>^N%*3+XWQ%p4HLSy<#!r)SX|i(B0F6MPlEz%gw#V+}xaok?V!~ zx6S!`Lx*xV@iQ|shp_iO<@51e;t>%!KlV0tsPWq%Ao|Qs8sh9S~xj4 z^!E3cbX%0HRa?$pLJaKS@(P@mjBBi8qTIFV_-VHI?^9D01d7V-+qZ|45WQJ}D-(|o z-7PxH-pfQzI9$9)L&R{Yun|K;L)UNIa03wa_V)Jm^<|6Q!N&IJ&K=@U%+;$)uf772 zrqiJIdl2d<8(v-tpF6s`zJ2|A^ZNA<8zG#Wocj9ueSLkp$r36->o1a%caHCz*)r}O zCa+_q_RG`Lv$L}kp&bwq;OXJPN~fu=PL!!#sV7K~!~?thVuIFlgBPSgOpokqv97t&`kS>H(+nZ8}$W zGBdkPe%!;su#WBYb0(-Iz5UN1?D8h@)dZz(A$vDF9yIV;@7&a83|5nNurm#AxL ziF`5;Ju^!c?SkEpFPwAJ)!pJ>mzIBtggI)wf%|WCJw8oAy735OUnKB~iVCC0r_R~h zD(>6&dm}?cNNDf5*V_nne}CmG^*+l#cTXEWEh-|2bS3W}L-kh{#@_Xp*tdPIyhKL0 zxVTtbTNgD5iim9X5)Y4zY?R@7Z(?eSszy$rg0ODi?g`ofo{)R*Ud8k0C;<<$DBiq& zJyf^|1|(rtab2|Y>+c|~{Mx@b0ZS!%1-qG-(L1sJ02*h{p1pA4Lhx?;yPXqr(U*{P z(!J_ zCC+^^)K`itIX&TJi9*dReDr9)&zvQ)FTVC=Q`69_<>kwli8|D`^z`&h)c_zWQ68QT0|Vk9 za?{gqm)k6k9BEbCSiRI==8~lv@TtU}u`HnT!BKqS%a<<$IJJ40G-KJi0CF#l>r+r% z2@NGbaG)MoRoRKR@i3jrG5?SaCqmi?wT~jvto-kVP6X z-bpvehw!<6^3FQ33!oshgeYogPl+V7l;ORUQ( zNC6oE%#W1o>fsUQ`Hn!i%^+(ZO_d4P7O*>auCl7C;SUqxionRxig#yq!A_ob4_|oF z7#qDq9KcFMLgK;6ho}Vx5A=>4JH|*yN5{w*IWpH*R`+adexyZJRTUQ=YSIAO26Vqu z@~pDUr)Qr(e?|y4GE&92l&rHSBqz5FyJlu)VwK*!d$$G(ktA-q7`r!o69dDK)Tc3= zN?wf-^uxo$wHxb7r_RlejR{IhG7`Zh0;Ed_TKm0|EB-X8V8w&Pd^~MA7YCk;Bw|q; z_|Dg5M<~xA|1aIE-V7XyuA{G*!K8u0p#faFw15CBVaS_!gRKTe^%(b0OiWBv^ts>f z$-F#aBKYRbli-#2@81s#qfBT`-|sp3&>(jxPfl0&4G;%5_{hAEo7+69XiHNQ-7|wa z5PA?1z$dJYp`oFv>EAZBjbDHM%x>hJ$kEJD_H}Ov+jRKwVH1#NGP3^ii#vDhSZ|() z`dgVp&#nN_Xn^oLOD;h_kE8{Jr1-hispnMTSrxmtDPSn1i?Xno-eKwVdb+P>{Q2z-xV|FCkCoq3>%1h%FZX;n~VOT=1 z*)R0bEo6jN97l0k*^ceo!R8=UV2AgfSbNbgYyaM?#4Z*YCLlm1l4=PuL9MIVh7vG+ z(EL}bTRP%6BqbvaS_5`AH8nNIa~D2%@BkFh<&)gGbLRrJ!swb?;<*9J=6(GA{PsHw zeK#^Sy`7r6D^^oiTbqX^>O~9_6suij6`i-b`}$H*?$gp%zPIOK!MI1XZXt_?hra|v zdi(aRU$+%cW75;7KPS5$=j7xta_;v)60Px4LJEr2yshLd@%kD`>Z03uCI&R8JZK}( zIXw;t@olOs5V0tBI(u*JK5edv>FIl&6TriOoM6ls2W!InbB|^H7$0vL?zOX31noXk zPz3AO;E?xa&atr$LXkmETvd((cbF$jkEq*#=U<0+U3(SJzo> zt$!i;AcuqWgI0n`S-p{5%}cv|JHX%nX-Uap4UNz%SBmGq;N_5|w5bzVx9{AEZ{NFj zFMtmx^fE0M;mOvvHpzYab|I{qno?3z=ao4A35pfYbqlOe*`Qb9^`>XeplF>RwLMG( z16bku1QRNK7sjq#+Z-6#xHo#Iq##Qa64O_29@=BsZJdCRmUU4#a&v`l>2!Vk$niPd zc~I%%#fw|FCRA1JKYjYN^ML5TuL-21(2Y51V1PR!E+mA_+r42}3;flzArA=#ldyV0L4^4k?AgJ} zOSzSm`<(soVW=FJ#@g}PXFzUYd)r@r|iEZMcgSVF*tT?7WyalEhPcDvTiXG-!7Z_7Rm3+ zb8p1BiILH7$c2!3f9&cTEBbm&7mC!02P)JO^AqPjP4qCH1Y z9gA9!?+C*A#4+&GrC|NslB4{aE^)?yV)}mosyjwbLjO4G7E!w+$+>b%Mil^jEX3B^YUWYv}xE|jH1!ensVzFaKDhVL#SZ~4|13v zK655bGpDq?yfL@;SCov5OnUsal%gaR-U0FR`X+q5vG*cHpmSNkqd6Y6|7 z0B__jjp@Dbza|9*{7(FsFexeRD%KWY@vrMP_+rUD3RsPeJ72L9c*lX8o{)w2nf+3C_7J|%6xA5@QmZ z9WPRT804{kpsQ;;m(m?OW{IzPFKKto54l$G(qrlO^YMjh@Ey_CzIyd4bY^)0fu@EA z>pSDAssVnsw)c>Q@Q3TyugAr`pRL_s(0u`Mu?hmaqvJ$GL+Mw(7QU*^BgIOWuQdC(H|@^9{1*a@KSc4KJr>Hj)gk7{sE^0%++@_O&Yi%ZLF-a zb91%spKP^tS5rdj>X`5VCS6L5H+TI1FSGu&^4m%A)(KQf3yOEb+g<}O1BY7u>En4F zT}iuJ^S|oA&2dUIxAXV!-{N9o-#z>a6I84-9BgG$b?%ebEas3UvXWo`t&E0c|1q>z z^rEnBEhif{j~xP^0OH=ZnQE?-oBmD{E$O_k*JpP^<~i2V-1~=est_p-_zrl7jBviC ziI>KiMPIu{PSm{|IuXtMFVzfk@6X6gNZ7i4`~8A~FH;q=DXjI+Ha*Zlh`()Zt!IeL za9CeoUs+i(6uG6J3;psbgZ+rg|IUgPnF4<%i2WJ*f(b}YAR@1-D5kev;k502PtxAI z(9-FRqP`?p!5(xwn)tts!d-GQsWJ3?IVT@NxWX0>*~73@xL%c?Pp67L9nf}pNeKmk zOjM^ShT(CI(V zN=o=yqJTGdec$~rgeLZ=s&W-@oVT*#6&F96eH;SI$mFEX{gYM;jHg`1`S}kCCJbwK z>&q>jKXZnSwN)G$e*p=*w-d@F+LQC5tp9cfH3ElvF%Gx!WlKxr`qR9;JS;a2C1u{D zN1+>4tx~o!`ygT&8Qt<6V0>>H1GKgx@@L&^by`RF$dP)sSmOkNe;-uCFTm2;*hoPP zVGmABn4CESIc&?8cuO@lQ?4tXck62u<}Aj--ub_a(9g|p1aH=cyb8~Y`OY{815L&IZt3RXf-4mEYK)^DhDHv4qLt|G=Ei$N z+f^zE@~SC~N!y+xt4W+v0(2`UnJ~0gu0mR<;$8E1(l}vgn7;QSS3;{mLM!Ud4kjj7 zcX#W7;n%lBQOS^?0g55v$;!x}lLYok1VfB!%zxF_w+z&d_MUZZx34ceEUc~(31M|@EuK>;!pQdT-@gXJiM$!#uVz*20#4NpyI%bAf{ZXW zHEmoG(*rXj>L6$b|NOl3e_jA^R5P>BAdbXwGcPEt4PkK3h735khv3JP54NqSi# znhA9cjZuUMC{$Zp8x0|qsyF>#QF0X2Pp9R!wYM)cDG^juta$h^YU(t!3e=%yy9=Wn z39Xcbwytjfr%x+?|El@@y4q@cQg|B&15KwG)JilNi;t$OY+Ew1k+W)`M1St`pC6mH zY`OU9Sya7cQO#zhcIdkPB4T26+#e=>L9-(WEFl#AVNDK(7B5S*7(G1XrZ)YTsbs8~ zX(_jC+0rXTL6BOsCr`4V#IC$JfE>7K(nq_JZL~u=6E#fITxa4gwO;KzBFwCH@pg zYnp}u0K-=aw^`kw^-vLYs%*Al!C8u{znCePxt^S@X48%N*AzgxLpKolkdoZWbsY4s z(4zJ|^y$`CAoBdipN9?|+IK9b*RKU}f*b$cqw3i+4^$vY`+(6)*7xq-{R&a`>(`Ej z-C!+v&3`Z>o=XJ{`u_(rP$(SUEd4M`fTj0E-WAXMR+-ga5YCtY- zE4X|e6~Ln63L^F~-O@Sd^pQZ>c&{zcG4ym-FFlQr=2P@iI6K`9(46YB?Eew(URi2_m9lACqCd+`vux8-M(Tu%$>lXTRTR*#W=bHdfLAU|HUqKRs z)q;!why?{forCKE&A18(lBTBY`EN9-bq*iK@~6e{sVOUd>m_+6IFYmlo7&rpd%Diz zV{RuVj?T^=6JYtfKS}4lewJ$W_}gnB7N}pSRQQQwFr`H=OO;d5RDdPQe!xC|Y0$sp z^wv1s3Jnd)C=KY_;AN@cp4!^9X4fHbMMgxhv9b=$cQDS3Kut(Tn-hRUgJW3|qM}Y0FLJZ7ed_rhP%v^Rx*cMd-#`J{Us`vIFHAU{ zfMuo>f{W#`;wWxjWv*Ei)E_^-EYv|VG>58FcYt4P?0p718yiUdn^s!AQ5tASo+Hil z|N5{?oLfR;6rE+ctrr$|v9i`p(-5#tboKVqTBIquS)V(%d(jwDx+?nVU>R$BH*0Ha z7roo^N(WR^KX-g|w5f%3G&0C5Qk2HT#AIY}Mrk09)|x-lJ~j%){T})@WCX}!CB#|g zF5WZT`?U6~(Wz4)A&|LHkL|C1UD9{yd%7FTq@d9K_HE2y@!ZE$Tv3LS5L&^I`mr?@ zlsIf@!N=eC^pvA$Ajp6MN4ynjWxg^+X&_sal{Qn)K;ePzJ@fniE?GOYwBA210{jm@ z7$R%d=&8n&@*HW{ZMV0T?oDG0zO~5bM_6=XYFe)zje(H{)eYsEi~y^0>M3|B^7RI{ zrmycZ+$BKK^jYYd=D1&`99G#J&d1B!er%#G7y^Oe>C+`Hki&3!Ye`(eNK+}#1q1{v z*}=Jnr2ZbrN}|7|^HQRz%8;4}*5Iq(lUTDRA}qZk$gdzxP8dSUn{VMpj5n6S-hlm< z8P7}42HDimP=E>j_XCg>Pn;+oSA~aQcCZ$XA{#g{P_OnaH!cST0Qi@_S3h*9v90Zx zmR4juFYhbb#KgpV_wF@4Nu;%)@ zil^7@$2RihMwRa0ySHt}j-;D6-JwpRZh~3*FU<|3ey_$&nGVk{A%7I>^R|Eb#{I}@C*c5qko?S)Ub2= z_LsLVHS8m|ymX>X#2NkH18oc+w(7)OzbF&5?r&`Kv7>{$lRr>PjunUpm<$IRS!m${ z1|bque1G11@xtHDt+=pIGX1tCKp(&sjw_j)W-d#g|0qlzQup`7Q`*p?pNorQUpExc z7C{{fizhK9fBy(;MXKofG*6O!ZzFWNXO>@1HEz%d-!-m6^$vZyUOm(pA!* zIBp&0`UV8JW=e*?ch_rMnS_LdW9f<~P^36GNJ<5iBHSm4UCS#gcTN16D2I1L(UQod zH{JCP<|K5aq66$xAXryuq?MG&I*Z;tE{yCSR_%yu;uzEH^_2nvb6yt+Ec7-piL%b_ZWL*NtsZ#?#7t78ViNzYqPR3(&^^K;B5!&MEQ1 ziIWao#&_eDLiONYK<-0{+p*O3`B%}QzIE&2hYkkl`%0l zukPW_0>nqF`2G6}P2!L@8n4I3zQZO(s)tpe@XALLJo3Nw$_^B0eUDEZ0Ys%ZvL#xFAIpBR# z&nKONGKW3qePVIrdC^z@s#sDHdfb6c->^ZsqfC4(e(LOd=4AFB(p`Ro&; z*7zGj$H>>OOYV+D9r_J`#Y>)^q_-`L0N%oq2fekR@LaPuG$;w_EuH*ysd{nOu7y5s z{ONXt&(P+dj@+n^E5z-E5vi79n7qt-5(T#+h0V0M3|Grh2@qaaNX{RO+d_i*5geSH z@PkEKXPo|GBl@7mXC7^`#}d}CaoAf~9mwsp+94lW)gcAE4iWc?qAN@=jrO6bA3l6Q z(`im=GY=dWJV=lY=trE&H_k@Fo4xvvD)TeZt}=xD9U?!EB@H-wjT0QWuyF9hhr0fX zbv0EXO%jl2VBq>(j2_r$db&o4lI+1A*mm9se9^Ad#F_l*Jis#iE(t(-|#4D(w87wfz88C=m1EH({E2ODiqUfN-*c)^`!Et4s56@did-LB!MbGA3;& zBffj=pSl;f#&bg(d&A#x|ADA>Mkk14(DQIxP!hj+iyDnjk=q6>Ph z+&Rs(x)HsCo*WTNY9cd`NncbZ-Mcq>RR@3+wT2+RjAoEF!_Iwh8nd#lN_C!XY|0zI z7uU#?wUwWShK6Kq;BPCCzgyQtTS^jI{JjNs?+&`h#=mpt&ixq|?Co1-)obF~qHrgl zL3ItXSqg#XNlu`MERmomt&9|E25y0Zf`Xdf=}&XB8dsLm|C4MwwuT?v=lvu7=FN`y z8>|6ZC=w(wx-l*%hd)I9yVC%j?f00(6OQl^v4e~`zU(2bk+;stlkVE5ufq@x$H>O& zvMkBf<^!|IA#ZU9P;~%ogh6av+z+QLFe(zM?n#C?jN2_^+rAbAI1V3W5A3OK0$e)>r@Fc>+r#fUwaq}-1Qz(4xep+5fkoi(^IQ2-b21i*>xOnZ zz$cI?ngDMX<42z#N2l%jb-?kn)qdfn95IwQHwbcB@B_fFrWw!mZq{{W^!s;Og0+e* z2i`;q0@1#*KA_HJ!!#xWdD{QGDe;VKfefjBARbHOM`}BSAj+2vblryxT>1j2{&}|)h)Xl`q z%-PC{jHtlQCSAXilYxN&&CX`DLEzdv3slL=TMQpEyx{a>XPHE5G?@s3mVqIn+A#&3 zVR6x`Oi~#v2e{))#3DZ|i<>rYuDbk3!XN&BD`#gh{0+zM-QjDX%JPtcV8NA>JO1z^ z^fZ{8A=+tUL||imt;Fu#S8tE>*R8GlU^mB3H`yzKpu?r$`1i3tMa!~3baffwz$N2A zUj+~XzC%_2r4NIHL5tIUunUd7(YbH2d(R$HpOAOIFSg~8Bb$i2PoMT2vHkye!gkBKE7)3 zfZMw!6f^yFXmDfjV}(UV+S}TSnU;wuD)xT)k~x_DJG9mIEa)!S`kX~YPRUajNuin>9MynV!8)ludz_pd(PSMRyF#v&)cbjPiHH+-8Y4E`!kO#v6 zXgs_X9GO<|KVi#Wba8>e3Rnk&pldbB;0k$(2!^Ks?U3BuT=+AbZXbtP2Nw&lec=KK z^A*}mJwZ$vFi6B;ex}zDBQy&w+(85hX@GU2!yc(??E&n8ygxs7hTrvxob8=BPNnYC z?YG0injnY!awyKvVVKY-MVETgbK zgfy$c;dmf2gue8MzP_D`P#Nc(inP0{>-C#AzaFhrV!IXL--Uu@|2AbFfHPAPkS^xW zyniihu1FP-KcCu0)z+%jHV%iwR|&AoE%lz{cgvf8iQX=HiB2 z!@h|r1_c>;-Tw(*2ri(7uSz(-{ilu@6up}x7hWv zhDOuf!_j^!;u~7`pO{tNtd-`W6_rVK2E16Tg?uFIm+_f)0&Y_2{7au95MO2UI`880 zPSYoKugVq6Q`l7Kh2Vk=G=592b zGiA$&12=@e=l9!nCIjfgtRAnnyqoW&N zgq2>m0CO-l#;)Lp!qU|xkAx{K>;Pw%F*%8pV-f$=3@A$wR<7)prjW0Yf<1W^ISLFD zSbftbG?cGG-iA+Ux_8!2iZ*nPIz%1uWI4dc!{fR*Z4&r$VZhPZ*~81rPKp(+>oxns z5MDKQ;0KaisQ9Y?Hda>jL@&oljG@LV`^@nWL*;{kja76@_a8oV1a^^Q10EQ`a#Y(L zMzaRr4saxkGP8HD1u6=fZK#oo`)a{6D=U4~N?8AhAdd%rg?^pipL6%_&|*j?d~x4D z@PgI0zMfh0uYm)u((m`9q@+`xo~6&9D-GHwR=`IFJJ_CWo4t>{v6KRhf)Ra(*oW0N zRP&+7@WSr}+6af*fQlXP=ZATlc#*<)RE`34)4qJcDigu@BNa6@?gg>|Ie|=o$~|mG zDiOv6KrcL7Flg*xVSxy{3=NbfK=R5K8`Mbr0fiZF+A65mTN|_iTLFMmQRiLs`g)(3 zltg&yZz)sWG%<*1erPxeSD}>^|9I8&=b#OcuZM%01`Ck^pIFpp)?30lGUxr{HL?^w z>8!r~573E#qj99^DD zCoe8BukrVF9Uta{;$@JlzeiXYMXH{8z#pwRjDl30wfP0d8~`&x3=R1^z;lM&HB@WD zjlzKTw}6-!>I^ zqE$l}1r0;~+3GZLI_O&4MNbjLh0hfy;GnFyyvvLg6$;r4<2)@R^T-Y`-^N8nVZi96 z{+o>xjuev?XovBi+PiLqPQCH){!qGCST!rB$n^Bjm{nNfeD96@!%>h-ZhBO)*tV5L zG3IeWL7bi-!U_AqMtpT}59}{Uaxa25R23AGEI7|YorNEMD>E~?8dHzcDypj36xyKi z06$k%SE~SXC@Ecrm~Np`o08ItZ^6x`HfK1H(?0a-Jb|$dx(t2p&%PD9aGIcCA$)a@ z9#sM9`tVNRml0{GD52F%4SM}I6!6OzAoJ97!8B|wOZ+Z<3D3pvsoS2}0vrtEP;g~S z;M%k|KQRi?2Ysmt(f7DpPhVnz`(%F}2qPn;q@@u*`WDG!8)qCRCMMEn)v$blEIBwS zD6v>OQe_w)ry$^@MxL)=5|(iWSOX{L5>v)~H9L9I+SZojhU2Yf0^m>$AdOn$!mgja zN`u)M3^V{#6>n}SWW$^q=BtKmpvYt&huTd>GU*rfYN&+l8~m-bJ28 z$v$=ZbboIzK{C_e1VOw&Ey^woeA+nH2M8l(^7P*G=YP>oRIzXYqVSyjh$;%Y9HI{0 z4rz*>Lw~TN13qnDNX5d!-=UCu@r-9(EELpBVcNEBbY_Ng+csMpo1Faox5FW3$r%|c z+j2Utug?cPk*oXJ(x-+&q0Ar~#58WH)UNXm4wjeY(NTeWnTAV9`5;=8d*tOwlOK4A ztDRqF>zg+teWe(VL3PmKy8&0W?}pLJ40I}Y_oq4{Kb{+B$#&WpcZnW zAV?FOO-=aiBB?3<%MDB;l7W+D`}T8Ethh;wb92HH5|}t!LzM<2LxQuSs6)J24y4?@ zi+P{`$Y_Cqfrf^O7!B<2f~_(!C54u#8=0456W_P567t*r{b?=@Rhc*=dOA8loej*A z9XKsUpH^EN1hXz;=WkX#yQ%y%+AwH@VEPP$dp}Ya0gv;ltIe^S%I2j~-v*wMX=rRr z)q8+;FSgCv+8Sx_H!;!g#{=MM0Rh8Pr;-vAKYsdj29ukCt3Ha46+dS`f8GzZ>v1R8 z>6T5KFySRT{Ylkzh)`JnjzG*`W$N{F-Hpt!cfHX+v{6UJdjsZdM@`p zb2Na}Au_TB#pEIqEYyA=qK=M}`hpKkpL@Y;?uGVd{MH=&N>S_0Y5OlH4GqnTERlK{ zkr#&5d6}7SP;J?P;#5>t2nv~@8i4s?MT9RfDt384Ko_V(;W$`!Tzvd7$kk|?p(GBy zNLKM~9Cn3Vv4+tzm???J#%O<3PnJ-UbEQC=RYej+(w zCAG(E4hZ&&#;aGTXE_4KZZQio(06CK4_ap%;!_m`%+ z#k&Li);0$L3u0unUIEt~Xoe{uF*rpjM*kfB+O_U-2dZ-SBsq=Iu8wGD#N#S;L) zw7dWe@x=>e+$X#ij!wJ|a;~$I&8#xV?@qNP=DI&GPWvc-dH0UKfT8%@n;m6ejx0%A zWmxo5?9Yf>+uyM6QdBS^eW$HF2p*pJ=;+Jv=7Zlu`JwS!Du0}x&%t1DG*0e?e$1%? zGebEcOv}!sfo$7g`|9Jz#KtsU^jJ7KGk^{>G&Jt8OwVfL#zscc zT&e%i*$D${-D@6A27EfwAc>WNZNh;E;|Y*Kda~>Sm02Kd+!E(?(7sEG5^R4PTbg|u zsRiCgpYMAQq96-U7q~b*Ir*vBMhg~2TrLa@1_qr-jnp3EAjinyfUAM(S^?1*G{fwK zxN%W%Bg0X&uPmhmkEQ`kD*tCL!7DMZH91+-M5{|#j4%j%7V@;XI4Uj<0|(|smSp|9 zb2g#e(o+8%;b$77jm=dwlV-&})P zI16$WNC1p!nO9W&^-mcbp6dkPgL~%t zk00wK6X149)A@HruL8j2GJK+tVsU;q>m6A@u^csoaLWgg*}SHEdRPft&=ukytUs87|| z*;WW^pfFgQLjp8mxUgP3@N>FPR^%46IWnggn9G2vy^`e#Xg(yIurQ6b`=+Q3B-b{Q z0M-)Y6ZM-F0AW$P(c}6z(w?-9c=%A}6|TI=6GeeGo8FkI{$#@(k(b+O=+NV`C+QJ>T?qBO-#A zo<0_n>gX~ogOPZ;yX)xdkLg}k6&ku3d#GyV0Z{7W$4)2}a0Mys`w6;3bEXR(UWdJV z%Q4Z4NgU8x_Q*!*R6R1X5KJpUnQXMU0NqUVR6bPBo48C=Iam@P@dO5{=AU1|sl!Fp zdSnOfAd|Doo9t#wDa(2pj>{WH05}*T4B1CH<=+YFYhzA+@c8jLJl>%plQfWLDy})_ zTrJ^n(az4!);2LUbz){F)&*roKHc9F0uV~q<@MElV(iwOx0;v7+1c6ucFkFS%D8>I zA4qD1Tnl5kJvR>f#CVfN7VH6D`ZbM(C}p#=g(+?(C7rEswZil^V&J&7+}m$sWAKpN zZnZ5iEoV4)m=*qK@M}yJ!58=Z-@{1UR7X>ihr(74Wt4;M1wy;Tjzyy;2Z9>_8(eJr zuX;|Ko0&mq#~=o@ab7_|1VjJDbi@Wu_Lboa5|#QaK-nux0{rn-=6Q? z3|wt$VuE?4CnY6Y(UE+aa{1l0JBK0}GBA`VFArBK=|=g+4Cz9Jd5lsUevp}k1;qe$ zDPMQL>(a72OD50}G@X1SPKSPhpBW9sUhfv~KYfa4Z5%&vAUi9Sul78&SP+GO;T9A9 z?%S4#@Ub6Kvn@gfF~pHeBCmwe&quUyP&5O*z$8b zv|;EGAoGwS@*Ay~@*uSUI$#M<-x@ESatI3Az<`XTq@>&l#mC6sn9e$iDaA!s`cfoZ zjM4-2Hw_MEi3){nRmMCdpi{D_&?*-gwj}nGqGC!*LP{fB4p8^Ut*(({}RQexZA09#G#_0gByWW#-(1g5{bQUHpN2Xg6uV~4H-f(U@ zr0BaT(8x`ZS$Zcta)%GUBzw0x!j-CU=M5J;A!Z&8I#(`!F=_M%$w`mcSx{xUcN!)M zG=<0sFrc~1StV}YQ_|8TOw01YRv@#Cc#FM~qSA`Zu3WF&Qj?Yb_IRDS0Luh0S>8t6 zAJp7=Dl=_(D>zR11L^FVE8<{TeuQBS*!bJB)GQ1P5(bOuBEY@S9)SRR+`<7g*hg6v zHcU8_@(RQKSW+fSp z`h#N!40HI`f;-PF${KuQ%04cv!N^Fx1B z8ln(x7@$I)&o*tSLPfrF#}Zdih{o7m-MP0Aoydr7o9_cd4i=-Qw;Eh?rL;qltj9nU zaUm&L2pvpPa@NyG9*?%zd^AkOzb-q@x$z1Hh+a~4i=Q$ygbxZT2TZMBkrT~onIvO( z$!Z=tl!NXi9v=bC{VUu`p>*3>qQcUmmqNXx+E4drjT{Gs!ZPIVc#X%lI6F^Qrm%@B zUc3h~ihKZ76Xff%gm&oMmW0+Y-NWxwWh1AAHYRejhRE-d1|e_4bBJyLq-AO8V*ESW zi0J;00ipop2(UN;7)eF@A$#G$KLl}kae5gZBH;Ig)@MaUy`@e&6{`E;;zI)vEj)BE z{4#!_@4O7OW++mM)Qp4!zz;MvZC{f_mMZVGEQq^CN- z#_gY;k|NB{Pm!Ae?DpsP@9@W3w-OVVR#u+g|AaiG?Dmy%@foH)poc&(;Esk8Q4E0Haz@h&Sw=o2BZmG>7n5x=$&4Ph!cPR7kBOqAsaf%eL}0o%G%@i zq*2Ot417zTc_zGf?;nhP<|oT4D4^-2AT14=Kp(5Q@aNA(M@Im{;ZxR>gA!lb9-+4^ z3Fq4>Bctr|2fwhZTZf4kDJ%9CPNM2^KVZJvc#iCP4O~}Hb~L7%p+OY6m=s%w!{!qc zqlY4CZ!ctaD*(?HLK!B4p@Mfey=rcz)~5&3nEhOdEz|ksOI*tcoZ$pXg+yq<#qggQ z6C=DY8Pb(~f1>>XI*4A+v(i#f06dcl?ah`arAb5mXvD3}(Pmcz6GORTFM13{0Mln-4|0qSF$h8ErrxSJP;u)ZH-xqVzh{s zjJ35%r613Tzyq2vFdfd`7ctTxU4?NX`FEfh%3O@ertnZTQ6K)J=Z(=rc+(H(v_pa^ zdZWS`Q!yo6%v2@aWzOZ3G#0uY$sQUKBIv z2zGIjqyYkNn~k3y6%mg}+#R)}>*z1>f@>$Mo*Wdt z@vMTitJ?EWl}q`9ssS&ZhmUVo-H+XoecLhn&6c1UN7J9l4Y-D90)?MyJ{a zTcrJR`hss8-Fv4mS%3JJFr$t3WV=LGTM)`DT0QU_so`-X?k-ckfPi4_pCA)__;B6X zbpK9qbDho)A7CScwR@Gz$^%PrvF6l%baY`UsUJQ%NO$W~#EA=lr#w$P!urZDa>uvi zv^(HSyV~0;@rb0KOwX=E&cCFX4y_!^HY#`UC&LL76U;1r!7fAOs;w^_!m}>|*4EaO zJFj=^TuQJ*-^%XdMI>Jf6O*WwW=jD*7`;v&26;yJz3}0~edwYBB7%TNF7WklV~9+E z@R6Dt6@DYkal+<^g@qc5lZuMDmR9aj`tw>yP(&~+eti*^@PA~fQ3PX(^qMf=-4uAx z;Z;bh_J4Jq7uqX6oisOHTztTYxLQK;zo>E(crF%l7FlrP@Err-q@~<%PQ2-wXdfRE z?P)*<82DX7Q`23MgDut$EN5aOicOJFKX|YKqwp_>U8xy3dR?j1pdLe)fH;7*H;g{$ zC^)##@*lLd6(GJ(PU68YGyz+sWMoLT3D~{EIg{`@NSOiiT!?L3Vb%bus=E3KJR$aB`l`Hx40tzSME!Z=gu{tZZ9d^Ml|Hy_#}RWQaV{Cs@grpZUo zT@yF2dM18WpN3leDYueW{=IvYmC+FloFdAW!1)-+M9Ih8HP#=L33gZq<^@13JZc5A z@?RI05pGzEhMn$}pJ5>)HSZv)Y3AStNwda)b8G)7E!}$DcMHKPYe&ay*i(Md00E7UWeD?97zh;Rvzn;WGc5&t&O+OVkLJf$ek zxIE~l7c73$>!nC#WAuWGiVB4oB(Vb(tGJl=y?dqEw)E$4?CgmC4LORu4n6Ajy-65g z!j{?`{uJm9BJ7QAFCox!#plAS_It7m5)d9FLFGzQ)w~41z7Cs%g5@3fxk!4z%R1z- z6RrEDXD=N*NbX)W+gm(>UN)*4+TeV(f{^^{>+6XkEEVF9oa79kBCm&d3piD1{`>(R zAa?4M7ara+{J6?vf(0vm&FPsFnvKfJ%CyO{n%2)e_CSqtnH#Fd(&Gs}?uRbg3t=W< z8Mhgt@AXGN$yf>sYK< z$-0SlxPa_ec)GdumASA#vYYtvBQ9wVGcNH7o=g^u=X~KZfX%2M z!v7)QYK%_>_ZTEpx+_x>v$H;m3k(I+mK{5Y87#Yhj)eNO-d4&ES>Ey zXC$Bj5=`O7%=FbJGl`>qMT6Q6{)fLmhT00rijhnCYB)22$Et1lKXrY1IF)Vt^(F~P zC?!(n3=tBNGVcr-lTewHG0IS(QihC~DUx~2JeJB7(O@1jq(X`$i86(6-95+ecYJ?* z-#(tB=Y5~p``-6`UFUV4YprvgB-pTY?V>anXDwYsvWKimX16v12mCVEmcH&C-5!}r z{ydk?r?)*A;5Ri1?F17sEi;1EQo_O^0)0LT;jZ+GC=olzWlKJ4=?d4$8%;X4&mBuY z*?8fd*j8VocQz$PIg3IT8$z0xFQ#$oYXmHI3>`r^w1Jww?tBrSj%IwaOGbJ~!f6O;)I}g=2%`XR zcQZ39ogD&dR##UCrh0<{D6iV}HO=%+pd6%62;=r=1qB~+T0n7SWv&_;biwrS1+#q%Y{w)j zvw!41%DJub$d|AHjjAr516zl#RDUJorye4g-vlYXU6H%^UM6PmH`tuw#6>^TuV0r( zL@B}6o0{H$)*(k?4IvLcEeNTIlh6=@jFQEV0?$BZ<)lJ*s7& z1}O|c7Q6$*0ZNf>Nq6w3)V`6?(cJ)j5U@&H>&<01YhAm94&hz&0Z`h+YD|B4{?ym^ z1-?;daAINM58TR?-&6Yz9FTXL&}Fhi?g*X;1u~k8LBPPI3Z)V94U#zm4njzFr>)$c zqKfLr7d^C3wi^Uuu3 zn{X;X!MN=SVF z-W8d-5T|QkAbI|E3{sxo6P;E#@p2v;-pNLN0bMOVNs?_EQ2?O1^_d>IoG?8sUey{= z&8<&8rqQYhgNNDqdETM8KQNwjf@%bdB{Q2tOF=;at=j0cfXJk!QZ@MM>T(6tPk?Q4 zj)>fv#P>(fR9K>WxhO12XzA%69QBeCqP;cw)BBCRCt?J0W*Jbxh>s#B z$F-x$Z4$K(66UA6s;m$a*wunfh5;2-GpqVTXZnNRdmp{SI)}RP#n(AJA$Yr}@dYs` zL-z!J0ow_r7Mx5Gu3bjB2_ZuHA?P$fWY>$6qrMKExr&x`h#;F^zqUs@3F$IkfHf1u zEN;ifvgj?Rt?HYYcp|~V8TNVW6wD^!0USKvXpUC$tO8tNUr$dX@m5}5iMaUTwl+fl zfSW}$s316?gY{Meb+2 z>lS|X5lzT5*s>~j?A%#j5G5Rk%MmlViD)p!XN$fz1ri&!UcjT4ZQfSUBkks%}*_4SI2i?DXZgTbZNtj8k$ zwUL6w=|E73lbNYE^PJd3ai|K|4_W~mnj;gTNIM3iwW0Yx%9Hq#FE{wKsO9V=<5+1l zFV~ksq7YdRHV--#V4U1ls#~5BYsnu1nKnqEFB6Spe*V(18BGXrbf{{)|2IjW50=wS@MzRv01UpLDGQ__@{tfsg=5r4u zcgEngNbjrN9RN9lHI90~(H-m}^8g4Zg%2(Y8x3mxfgSFI?saf1TWsux{yFs^Z*|(t ze1pPgXDjpQz755l6cX|~{+i~S03`(}|DagTh8zkb*Ksnh>2!R_0#XU}66%On0Ye?gqMB7(uo8+=YU6*#K;pE$qq@=glq3f8`g=H>V#*x#>~y}x{cd87GCPp8vBR4W8jDOeNx;?YcLkf+j@>plqK4@CM?8 z_ETHqO+4bLQvBsN@<+prX}^DR!x__(;pdxbpSMH^A2=-_8h1b>R`@`CZf+d@EGP^Z zG&vk|Q}-m#8Dn)Oq4h_)XZ8t`=tvtCcB~DhkYZe)>~UL`NUF(r&a02&f@{dHjb;a# z;{kT*hC2KKZ*R_#+;{oLJkQ{^R0WA9dMeR^rqU2+UK0%@g>D99J^-!#Vq%Qzy>YyL zVoKIFHX1|OVk;Wu2c}ZHzP4*5%fE?@$3MabhWbLnpI^Vpjg2j3VJVGex&2zhUiENh zwMkZxOT{@!JW5d~VBc9v`u;RS9aamH?aIQkiz} zHtyer#y}?A73^I+IP|z-@nE$8J>lLYe|_1{u#eY{_RA5_J0P$gx76eOMTfNJQiAqz zOGt{euG8T>;A-N%J+I@xxlP4GP~?<=NNhp=cYTw=%rvFUa;o5K8t2cevAl|je|7rw zN#WP09_8h*u+VwmIDdX)W*Q|G<)^uE`)>+rTNR)4GJjaL`taA^O*ZJjNlV}d$aNx} zRKITAoDPmZJUk$PeDUHB>}RlQkh;&!&G8-l4L@SGqwxKa1Lys$wC^tCB{r_WLrIV) zy-Mt%wUZo$xL8t5tOKF2QOCkO{Kw_L8i#LWUN+9fKf7!7gPLO><$pIZHf|ns7ZEfR z6`9mOS72nEYj{peMC6p%fQnNN1mUw2?w2jmu>WxW68Bx0w~=onlh58 zuv|ssg-a&Ex*=A+|9KTjB+g(+LwIe}pQcw<_O-PYp1MdJfDljwGy|3T+M0OWvNh2v zQYH?|) z#3{QZOkxEmtb>; zUVTH(Hnc{B%9`w!bray_r6K|9fhB9vqenwHjS13iITS(N&PX+(4n|?<)3>nE@**rB z+1Qvp#jwKOCQ27|B3=uD4|fu&x`{3P=>69f2oW7bEL1Y}Bfow+0>}vYxKnyIP6-qZ z>RY7-pZ7V>G1v&kYv$%skOuOE1_n(ORhRq(J>t5vr9Fe{qq7_T+}U}6LHmK)l0NS% zNnO6H>l(IE*2Jl7G^GlhoSQC;6q>Pji0{&ftVee>+1GDA5koI+fyg1 zEOq3G=K<|aK1N5_#ms#m5&yxVxdZ2{D1Z$h9P}h?1*d{wncZzD)KnPs1!9OYK=9)R zvh0Y9%$DTGsCVIznBgbnqnDR{ogX;|F$Mz3Sy#mdv@~pNoJ|70>4Tl;!0t#*w&MU{JY zX?rg|-^zpM4E&p}QHf`DU$u<>kG7e|E3z^TK+2wvsHvlY7VB*Q5Wjan}lQ zw11^sO$gF)v}2Lk&7eU}*A*c2TIkI<(;jGtDH9U#U!h1r83Z(s*|Y+Bj*AnXj$F9! z?qOU^m*xG*ig^>zmk_8%3(DG>*DOx&M~~S)b#=X&)$MfT+4K{>jDg5Hd4bUpR4 z+YF~Q)T|VBA3m7=5``FQ^QKLkq!L$8owjpufS98)QawZL@@KVq!H60Ue#+EfHtuIe zP<4;O>-5VpXliVEXTK_0$4W4qrygAs9XqiG?K=g{Kyzw?N@7*SOV0ay|q=9YpnIu-L+v%BEh8 z#Ju+<(p7MGTn-+&N`t&iw;3fZsZ+K9+hmM7684fcXr1}@>5D%u%O-WDra=nPVOoj)cfO5QN%RfqI zPiK*v0flnT=fSHBKLSdug3c+iq=vN=oVft?XVo*-TwZ{IGBVHurgR#L-K$K`l;sx{ zy<2b2sV?dAsg5X=*bW6Z{+hGKJODU)@&Mcf!U)|&fWQAL&K`nf7!pN687b-K0+aMT zGA^7X{0=xhzJmwLMp$_>0Jt=|mF<}ErX+1ScWzO_Yp>sDy@{IZ9O|rSY@txt=iL^i zJ=c%}E-~Kh#uGr5B*yD*aZOa=&Sls5u1S^tik1YE;|*}R zdVaj3@?-)N8F!4>5*IHPqR|M);iYrOZo`-oZFEv7c>oSze*itBjDGdqeD)zL{iMqA z;}9(wO1S3cgYReoAWaB7>U=1Ok}Pl=8MGIg z?vdPsZbxk#rEvGkQ!4}`V3Uw+tph z{j)+c(pS{4ZSXdfb=a5w*b%M1DBoYw% zTtxP6&F)|C#)u;4-mykj+LP>FXZn_Fb%O&2X;gKf7%uO0=rk6mAb%tuKcz}CKYt#U z@(xI`HC!N=j;J7$QO>`pG9r2W#5}Kk)z-9$yn%fWl|kW#eb?BS z2rE{UwV!6Mf}aM;68TJP8of^JIDnAw*>Xd~^&a#$k=2vtsRS`8Nmx*Z`KNyCXb2_hTnjLM4#;=4^TOotye zh8mBi9ejq7vP()x*uOpv-Sk!5D^T3<6M^VcCrP#!p0-MM@0WUVUH)}WoClEva0q#X zdgWo(6Hkv@8rz{RM&y=Rtk$z$wtq#L5@794iaqwh9Vzr53D92r}buU=gQhUfy|k%@&2#XjM~iRKhSo=rX=gKh<|8~)7zXZ9UE3O&_L zXXS%ue8R%Cpd&(N_-eJg5{gRbj0~u{1_u*VH1Q;WcBVC!b^+JeLEaKM^9Z?f-qaPn z7T57=Geu)ni!X2E-q*i<`yKQ;(3BOVkQC++CqQGWd_F929Xu;cvA#@BUW2reBm=!K zpi@ZWgyg7KL;W=U^04o8%qKw5#9&|zHk(5yTN5F@G zrI2+H;wNBADEL8O0Edhcdm{e$>_ubaUB+dbA^#`_6#zXuH5HYSi3z%JqMVqhyYJqY zw9`k|R+|RTW)>$|GuzWfH)GbGX{2x#$z(2_-S+vXavlwdP<1+gJVpW*vYn|OnyD=$ zH5Q6G$R;{xAuMFHQb~A`lk;fq*iG_~Uw96WU`ioV2v4G2Bs3?}X@gT|*p6d<@Xh!9a*7v!KjI|&`oYhXT+;Nql1_y+uKO$u*50%S0__F(s{)8C?sZVF!;TOZX6C4e z54AJ(k#^KrHqqg|-M%3_0bYG$qv!WX+`JV#J&h)pQiCZ?xF_M28vGkh*J>QH=iggdZCm{t9ks(A+zJ6aO(46QKq^wN?h zCMTIrJakL|1P8qz-i9;BiW=hc^$ZX+_(9+gM4SDxYhzv1N zh?eSh)?MjkGU(Io&y%&b)FB+%k$-ER;-&X=Oc4r6{@QM}^`duy4^0tS=SoI!AP?t! z59Bsjd_vr7@-Qp_V6?2HnUfh1=cWc|F8#h;KT|-n>Go`n@j6!*OA*}!{8i-Wk0ljZjZ2FKP*aw zMc11XR``&rDVL$nW+46fF)YkT18?xX930o-L;}$=5+k&yDXw0@P&vYT4w_qR6bGy- zWR+SR&hrHw@7{rr`-v5+OSv(?&1ip|n!R}RD@Xfcn+*wUK~Z-8^~o|>R=N#ss_TJw zs76G&{Q{|vR4qJR7;Hb8`25Vt*>?@iwHHp@Q30}FS7(lhW6j<*xwxJwSx)+kwuIna zVedt>W>LO<`({tNhaPP-TcC_WQ{gFHT|8D5KQ0&#teSlMytN`@BMF)?G&GloJrsuG zAGdas4>Xvh7Wj07BNR*`ctf(Mm)Ako(5wvFTLj6@%F3ED3?vLpW4gXFRP(mE?3q1q zlu~&9-3wVFmOm8a;JPBc@^iuG^o!rO@301&Oy1gpWpy=^p-ZO`pH*Ud? z562FAZ#qlKO;cT28CM+LWJxPO6e0h1cz6}W4+s}D+9@`pJerxF9`2dVvLOsXAQ3NK z_i=;V8S<_~&r&*h8VIhSTupdQkH(-Ke_|n!$j&u7hy0Uy88AuIr11#y8Z_HtmG?XI zTC8m&gFN3vf+^r^Ix3zU;K!i@g*X~wG&Q&=An;j~7-1*{VB#;x@getu8kZ>H4w$Wh zD+GN-TFmo%0ot+_s}@HQ-Vd9`1ppQpHRQVQpI&iBDh;RzLi^$8URO~2gO^>!sf`k5 z;>#EE<46_BLq&}$0T>1Z4bV6NyMw*EO)DE_TkXBEXhBTAf@|gb zo=f7}w(OGNm6G~{uxZ2!Pj>46Z1@KZ-R!NmZ?`Ae`};BJtLmqPQJGzAapQDCL6Hj# zEiFx{k}K)%x?d-d7>X3E&e7wLKBF5S-kQ(A#e$w|ytHZ49nf(UJ|Q7*kZimFcizy@ zk&FMi?bRO<;wk`5f&X#4bSW}678>AZl>7aCVB4xr zdM8>lifY&L($kgSe%KBG0eQ=tmX>>vI*Y$SzX_b4lzoe*NDw-^8b?PhBW*T*l%og5mQp-by?j%* zDB{D`-6^pT)#FZ4rmp*6$##$77KCyT1e*1k&Rt6fMhItB-F42LTl17))aC-(6|oRz zDn!SLaT#?I&KUIZLAC)MCvFth82((%T@ZlX{5`@jx-o7=7nD7Dp zRP~h^9P5ND1n%O$p=hxh!{v6-ckgQB6EsI9iFP7oH{5+cI-EYHj#%1 zGbnH1_9OnEI(>QpS`+YN_}JL!Xova7i!%FoCE;Fdvi3{dNek5#KI7!c#P)Oo=ThHC zC%GRI)S2Zy0J{zr z7~bjGK+tgAc(FbFwXkrUWhX5>Wy2^FRVIKz0k&X!UW<@R@Mf%Abc~IRXqvsD<6ydf zk(2@xIf-{EioVcEv32PR2V0uUh;t~7 ztq60IqlF1Px%g;e3n%J0W4jv&aaTn^USN|YA3s00cu#SU8qw$$#-1o-62ir~TeU)I z4^OF4U+vA|cyY4dp6Wk;L=H<;P=H^+>))CS)>mLX@yM5sD^23zy*OVJeqjND2q(3~ zxh=+a*q_i;C_GFJsJ8}s3BnDm9R7r20&y)oFtBdAKOs}w_(@@Yexd1Bu5hM7Gy!k= zqS0n&@M@fSO=u)jk~dZ$=~FyqcOPyJS2WfT#SXHWI?)D+To)v2lv9WSnoCWeT}6j- zV56>bRRru0xB~p94DeWpxnxj;8L=MHT$q3B?If$OWcJr=pWVAoAuB6Jx_!(vO{}?B z@@*raL?HJ2@^Ynns2)mntm_wJNE5ju>$xF8CB_{>imw1X5SYhV2yyvML7kQV?@#J zy?bl1k3lz6)}ahKgZ5TnP4V$WbG6|E8sa*TBcS86_Qq;L``0T0{;7r|i2oh8FXvCk zprk0N@Xl5ihUs1%tF0FFeOsJr&XPY4d8 zTWD!PAd5pzBOw8gXA6n@enNno;1<#k!7O4cfLa_9yXarSN3upJY7i}QBp@>;tEb%5 z>~nf#eG;nIiyY_I8F+m*d3riYA37kv?tJs6EvIkb@FV6>*C^H~165KAli6>R-??`9;3KnOA(JsrQ2U-(JyO2TG*y9D93*Ue_)MT?0seqVdpH+@ zW-&`Zn;`J_Ok>`MDmXN&;ssG=Vu972qh!{ol8Oo~ z;DupfNpSucs4U+Af$`(Wf5O=tUS%+*L8DP>a-QP4U+UhB5JKB$ng{rLrFG4?HHUs7oAn9tq5FPFJE%Mn@u!2^5hy;bCkJX@Du2Y=gQ}W%3K;Dp+{{xv5DPhpQ{FY$0S!heIp6 zbOn+P$Yg$GTmac1jX00)+YaY$0$se}BlI`XE|Dnh8J&Jv`ptf00{3($)0rQNNWR*DjP6Lb0B6U$mH{ z1+(;!CvPGFjfb$1b12U6C1kRY`ZbDJqs`*er(zsT(2TNe3K7YVK@n@b29G7P?$p$%0HL>qAN8kJ3F1cT`dXuKY?YUn1PGy zc}zGm+4UI3VVP8ljTTU^x36CZ2L)k~5Q6gMKhuc`34@uMJ7MCq0GD@`*-S16P^fwt z6!w{L=tZpw&y!RXN62#E3I({d8K({gEI}6)!OA|^Xe9|})Sec4#Z+DBm?4gLS<*hC zjQSe->UB7KfFU;WrltybGtTW?hS4loW5?7IUEx))B; zLte;34vh$~ZK$iOL#l|x2`?~Ye}BC>&~O3pGW`BYAju@ag~`kBI3i`omnru?83YNQ&Q*|-l zoRq>+hou(sB#}3+3rcFZ|2)Us49Lu8&z%Qf=( z8V~_!T?{&MIz5!9Y32_lycw^Y-2d|MVf8SP9L4L&j1+Y&vgfdqG~NigN@+B{jtyU1 zI{x@Vfm+U?Q;cd8ROG~59?E5XrRI*UvXdMAtzAQjtoa%Y^Q z3GC{CbeJ=Pr#p_&6hE0&6uw$b)X>(csr#};Pn5;Sxhlfg4OaWx>CQv5`_X&bWHz5x z${7xrub?1RVnvBdK@!X~uGuz!#)nR}T#(1rbw)ZX?3b@7vPdvEn zt`!oLyQ06fm-f^p-rX|nFB+^HJ$_we0Ygn?-E*=P&z*tc&+p%{Mxl|IPXdV++n)Be zwl%1uJN_Voqct}%j1I0Vvw!|j`yeUb$|gAh*s9@CFM7YA#>YW6O}CjJUhQyOz?uSZ zPIQ@zh&TZo5n&?Z$U~uuNyd7(+i(;@Yu~rmy;zs%?}mE?F-Oa5n+p4y8pdp=oL42W z9=>c1n2qq{Kl{{UOTj%1Ftl6ML^)9rNQ9jVGF$~OAo zDiOUY>JT%b*@e+L0=BB0gSb;G0s#(HKq#no`A4&zxKMMOf}GIo8!Ia-gEk7$T<`{~ zr|cgP#D9x%ib2p^)!2E+vM~^xh18LJJ-~IKKq%^(npBHKTyM(m6QD|LwSi3}auH4o z(2|=Cul$R$|Tf`)PjD~xm z-!ny(*_Y%i@yjcTlAUeO+!f`whQ%p3p2P?k$Y5Zo$HyOvolICXS;lK;11_elL%hTx zk5=uAXaXK_!50b`O>gpfPn;TRdw{lRF6Kjwg63zyPKZ8ekG|`b555Enu!1Ude>a@)w7nj1JwP)MU9YAQG2J}B&j zDjmSSihD0gX*e;_y8Xp*fWV3WNYB8K)pwH}%?156*S#RU#FgS<;JyKT7v8rIAR#b8 zAm@Z(0elpJ2_k4E%ergG82a2(!?Hl9sQVXa>@j4LRm#x_V+64B-2hO|KT}jZ130-p zPb~`RvR^;|Y@IOJgn?Zue|$@qzcHZlN9_E3$a{eoT!V55hIlv?iH5w}O_od!Nl_}m z<1kSQO_SHwI+6o%s^45sI#cS=5lo1uza`$*^jRPO^0K#?L_5VbdUIs>n{2)M!Grbj zk%P9AVI8NqFLGJzqB5gqUHU$F$VA`RPmMKo!7vJ%qphrB3Q;9bu;5kmC~pZ7W@La6 zVWI)+C(r(33)I_)9`}xV5pHky&cK9@1R=?N2>H;ULpM)Mu%x3yX;)QRDhvJ%%rFw+ z59sayj@09Hj*}5Cfj@xxgXKVb9r?`>+eumyI6%PQ06Q4=$o1P!G~gV;L(==bMTr&6 z(z(YjsVOOlX9Pmq#7Z>ZqE^+~^)bNMj;Jb;y98o4)L^jtOkszE$mdh#AX z8_DRg3s*=JG2MXT6JlFKg%dI_xRes&{CRT_pTl^rBy)%$C~ukLJO)q&)SwD1)wQBYvBA3$_?op$y_6&vSpV+DU;2(TFxyQa71>#w(2F7IBa|R5TV_6U}+#b2R23xLpcVR2&E53k@VXZ ztDO=?Wl6;`IPvC-Bz@UbS&9_qq4}ds!~vK{R?G zdiYHprE8ue)aVFXVI~rIRLJqA4jmz3ylZ9WPNnQ_+GI7&2o!)C@6eH}`q73aFy+c< z`?iuVcWQP>C!A5V{sBoU)6P<({T9uG2v_V$IeG}feIV=+TY&NKaG({yb~fI8kO8g^ zIQY=(15iNz=uybYrmfGYuwggjv>6AMiS>MAq+z3=^W8tIog%G&jyrH6B!KtHVP+0# zf_Lx^vxyzOVW3hF0Vg2I!lXkJz2=n1=g_OwS8Y-Dcjo3gu(`mnu-JQIls=ahX5Pic zoZTZ+T&Wn89>BnBd15*~EjyK-*;HkN&l*HTbVpNVowY}4h4z@X!HM^IH_%^eSADhc_M~at>g~H-CPj$P?#$_Kaw709^x#Hn*fBXb>bQEiDr`7GN^KCVlZN zHW9o&FkGh5S|X9I$ySn)gEk#>AS}ZOM>2QGuKQ>=Mj4M}16cTT@Mr*DP_kN}Scb<2 zhY=SNKa6ES<2=ttcf2c1)-+z5eRftbGpmK=1!UUzJwC&QGa=3%lu+aVKTowOVa{P0 zV0_iQpKaH!us#3A=wO}4{JrvQul9pQicbLr(|39dxNGw}W7cH3!u6b1J)Ep&$@QNP zDTaiFL8C#~BOt2s$v*{Zj<5asYm=J4*f;bS{4ZjxYhgxWg^yfjCZBi~wl($yzy5F3 zVIkJhVEd4XBPOHAMT6?W$H$kfUdITAwIK=AVG9ETc4PJTX%JkJN#Jr!v^MylSuRq) zWi!w1($dQ?_{8aj5}1J7VH$-}k5mVywR1zbcJ`I2zA(pwwIOJaWw1HLB#LqGC`QoF7@+OB3`PTO{6HY~jocn298!Q? z5rqBa8$*qaBn2W1kLC}eVm}n4!hM%}G$tY7WnZ?AdPy=VR(u84VCwgi(B8_*Lt7O^ z+!IO?f;j+fNI+qu#TF(7Z#AfY(vEYGI&90a^uGgO1q_R9acw-_EJ6ncLlE%0;iwb1 zWDYGYdSYR^=U|V~6xDX!{QS|cY|4V@*pX6QqXI3hqE?SyEqm#- zy)YR5A21ZgNa{a1ZTn8#b3qY^)zg|Rzs@eYuV;ghH#g;FO0Hqw2MU2RrH{iD^&hIS z$FYK82IL4{7UnkGow-pec0bLl-k&9X+PQNR`z|J9yDiEge(Pato%TO+o%4SUR%3E> z9+H6m{;Rl-3|1FV8E9_8ZAQ)#ZK;r*spS{x!sw-pG?9&NCyp8@_3#qk35b(!C4z=} z3)^;P=B|by5(ZPGSsdROGsA;}2hCFAQs!!@xcNB0K0Ld2FtPOp-W#h3M+u(Cz7kIn zCqDof$Pdt@1T+pbxiork{^Z=D!LbQ?%hlDj=Dxi$R9Kx!Xp;ob3a=kE=gQ2Ktjb?+#*3kC6+U(&e;dvAnAmE2JIxf& z-|v3?nLg7Kb-VHJR(& zmw_We6>WMVbNgZYBf2XW!Di~SsoZ51w?vWzwi-o-zR`r@DP`qTx9@wJX=3s=+EEt0 zZ&dKOg$#aYyY8soxBs$b(V8mLaHu>5$6GN8k>NwG5o2$W_% zSYN#|I}*SVMKmt}QS?6c@#V`eK>hgMv0lHv3e##>ZUSk7m*|a~FXHZM;RX@%=k#>+ zWutV^J9wEH18Kk$$G5Sj-4mmF|$yEFJb^9U8{lv!$ zkD;U{Oy?1_@c?B9zNp3^*BS`uFlb!=a;veG9 z<$-H=XQ%jq13K{g1#GXcUkm|6LMD%&+SXl>upRp2v9U3|r6|y4!2eKo zL^;J6xS(P(c<0mp6?&?}$BvnLnz%rHyRx*TekK&dTE=mTk?J}-|A9~ZCuE=iMU{s# zy3+?GI-nuf`H4>GIM{(KqVdtee$8R;TbnX~3qaLj{)jE?ztX}0Lrm>#NG;7FhJgIu zHW=VkYtj)2D4jb}6j72x9p4ZK_a4x%#BdfQHQs`Mi#BFYSwR{&4`ku4%8^9c_UA?ln6pR3rSzb@fKgq4N`8jYx7y5s{IvT3Qxy8URGHX-!Z)>xF)R z?BC;UFeSnN_ZON3Y=^uYG440spz#xwHXuq#3ikHIyn8$>2pvqu4_SgCGarlqaSZQ8 z0_Z}P1o<3Z)IRXhVAv($M~1@$XsttbflYQ?0BYp+gg1|2tpWhtB;txHd%x+k{x@$l zAJ0^{NdOfEqJzzd<6lffWXmf`6p#3B$CPNUa7++psQ=k=!Y~g|S!Pxib7TYBAI-q* z0$N8Q({iYk3(q5C=U2z=TepT2I2TT6fmS6&#SwUjp)YL$Wf45cer*8I)`1zl{QNIr zwY`78BaGXy0czLRykN(R76(K?$cmu!Bs4e{7L7J#8z?CecWfmGVOo#2NE`~NB$I)y zgMi(Fb@XPO*%ym)56&Ri!p_XBV>2SURTx&;{EG!cnCgqn4&}!+5ZpK`htYa~$Bduh z8!9wJLUj}Uhq!sL1mhlxi%Uc3gu5&z=Wg5PiiHNG3zaRydz)-M2!7WVYS-aUPWaTv zJhT;K!peXfWoD}t6$xAj-a;1V66kEKJcM~9y*O}@*%0$G(QL-MZ=bx^pM03{lJEma zNpAj~B?i&JV5I~Kvp3@j_wLDg{W)Rn?ucu}Hc%a!xNsSBuqWb$#l@L^Q}Em_+|9uO z}bq(kmE8mBeiM$Fgv}F-zHH1@m;^UX0Xan@qQdyWOAS}#t{4`G0eOd`B z8mFfE8jur!-XQ@cTK(25%y0*KWmF(2kaW+T)2ehY2zv0~EWj7^S*D}VfD1Vq(L9B2 zXabD?1&JgGl#JrjgIIpJwGb>NLQe;Z1Hl*qUHG&;PDvqcVGNo*-u!>TuFa9b+>EBy z$1TV>?rnGGa$7`X-#7WF6A);(BjFL15kFgNVEn zp@D@3))Gwsk)Y0MHRD1D1l_!q5K^X9t~4T-Kxp6`qSAv16DtM>JE|gpqwj}@_3Zl( z)c(aBHbe{m+kOnYWl~_F=jiB-6@mZ(7zl0JBs^YM9G)mc2QFak0u%|;E{FIK8hYF) zF699FJ#sQfjy%oCP?3;e+MKSffrOvRjwDNlZO0DchG7{7?uH?HduuD72ST6!l`|XnhsrWd?4ut~g}#BF zoKR9)8r8;7%CYBJOrJ3^>EZ8U38)ja*Q!;D5D&p_kDy~r->$lboH2}-4-!cEhxdpa?IoU-Q@@IqmdLbkp-X>%1A6TO!K5zt0eJA>%`h zrh2{<6Tp|DRAjoo_OE}rHN_+bxDg?pv)$Vu@Som4w+zGihKJ8Z{qe@VVc|Zcz!#2r zC5U;LO#j4&xc)5vPpmwp#IJ~p>-{yh+d)PQfh~2^-)8{a^M0#29pogEQuB=9KU|?m zUAGeQshkG>Tgad=>r+;^0{(1wi3VL^;zGI~5<3}Z6vXC!$(&Tk(SFa)4gj2hFlz8( zoCl+Kt4*1nTO>q8ErM?Nrm1vCiMv$qMvpe7OFofe_!ZU839ya+GepeCjV7Jekz_Nh`%tAfMF=!httBjgnz}b55S>WXOFAR11gaA+)E++jDkMkvUXd19vdUv3`k;_4}l4cJ~%7MM`azQ*lDu@rfg~4 z9GYw&hv<<o^*iJ|I+Z{~;DX zHP0z%_0d2In!0pLq@>7cRT}&rA+$t_xv|mDg@eKetS}Dw#NcOS zjPgP;&JJGD>Ml1^-~jt6?SJ1q;x4WdedU;4Fc6>?Q*=tzR*tmaq?|@DW9E1op@^hv zG6s%7K7Kr8*DG@|(;9DN822AOJO-h&&5RuWghlQ@0XmQA54519kIRAGB+FS4*Q+cF zU5a%gr(TT~ONF=h=14a~Hs5-M!X(gov%wOq(>Iyg&dp+P@?Em79x; zZU2Na6@=By%wPw)ZOaZ~2|DW0^Lx&PFr4 z!tCVhlop(55unq`3x$wSB|tcg8DWr~pP8-v7*w9i&8f+XMV-QEC$85ox5pVp%nAN& z{@hT9;A9q;koX01ALeBE69pCONtGw7DwFA1qj7##g^9oQ{(B&@=o2m2V`YGb25Sj) z_Lx*D=|d(VeU{HZk4DXrd+N)Vfa;7xCg(9&tQX#a*Mfj5=zV2G^$EI~*8x}rATr`a zF4}4^rne}>(puWY#~Z!f2J_9vNn%YqR9I%^dz`}Ky4Qs<>Bgj1Uktw_fP<$;oG++wt}x^nPrDA zE$u08`EJ*+|6&5>)=u?_|N8lp@dJ)P;7G1W6&BuiW3ald=f}%VycPIH+sS~}8S`KW z+>i~Un8;NJP`s@#r{UYA$<1q5jPMUl`G#$AisFRepLQlw@5f_NAK+W|v- zpPoLvTiZb-2WJ^v)M@qty@a@8r-;#ZN>WBkMQcDqT+{^b|^pa zLWCuH$7rjRj$ryKLyHwR4Kx4F z9&leE2aR}%$47n*SCbvH^WF!s$dIgW2}kOrlPEO}`vWs~X(bkXO%b@Yh>8~S4Nj~N zK7D$x^0hp}C;9$$dy9g^ZZ3yt^%ETxWXi@)woUf7PeV6{HJ9GsKTzJQ8YUdKd3a;T z%SKznoX)F?!Y9IPjk7h)O%!-cuTrZp{@y;SnN?On8^EL;vibhbzXu*(lbafPt@&|& z<%#{)>BC#CU)5ZD_;JpwFCiE?Dr%UxG6R*vG~`PbEjDFniWZE_G01!D+TH&}B36TM z`YaFk!>?PYeVfN3kKfl7_&j?RTgjWRZN!B)PPAmMv)}!XYI6I9vH`{@5-Fwbze#e8 zdc4fnz+K}W4g6kPyJ2_4Cc}t zFndz;?5AtTSm{eQl|-OFEl{n%5M1}}6lxO5KfRzJ>^WqX@QAD$_Fxy51LbaPYHG87 z0oZ_+j*k5Ao|DLZ00EobSQ-ax2jfAMm3Uz~H-s+#O^JYjzgun!_1E8#J9{to^K*)` zi0@}VBqdea(f#h-zI8*r3~p{A%;M$azVo6JGbDhJ0$g|OD;U2s8L^qI!Z1zR1ZbYKIl ztzA9*18ZvjsGpI0WT$ORAtHsjn3{^m)1xKlDqdMzS{O4@g*Wq@yKsed?_Qm`{S_v| zF!J(vN?@`4{6?3UNhF2(sCF52#;ZBw78)^grvcY^Wv1CJ|J^-LDGi6z+S*!JHn&D) zmZ3^+;AO_p9((sMTUd;#ql$`3goR=?OanzORG1jgMtHa09p*Y!_I(Qj-Zq6*l{*rZ z#^Vq$73f{Zvy99x%z&R#tEEB}unE~VK>B9YYj zw0B~T+=TDeV=(r8`*{irH2?1cOn2Hpzu3{Bp4C@|i+ve4ef~ zo@{>z%w(Pp*VH^5oLoraTg8MOef}$=5e6#8N#d63e7(7ab~RDuCIUbD8EJ>Sbl#oj zFFBGgD5QS8*Jh1{MDnrJ``4AzfuVgeGLIvp$$hfUF+mOLsxiI0c(6Sf?qCDGn~JU8 zF^w)*t@~xBMSDSs?%5Mph!Zxvd0QA6rzwO7qkTOpdeAHJar-NA$#cY2JlDS2U?Q+R zAt~wn6Ag`XbpDp-YK8IS6rqMm>|wm@OMH^4VkY-%doj#{a9lacG%I(&e`}_GZl|r0 zc3x3Y`~{9AZD}zv&S38Lx&3_tu^LrFtBu=q{FG9cmp$*iu#jYn)yNbGhM93!B;=&7{CkifGe>J<`07B(k@B7O!z%(K#>_R%_3DubCQHMSiJx^g8N=>!>LQHxB+c60) z>E1o_y}ClNhL3v3FVD)&%q?Zi;MXy7yKLaINM4Xyrv8)Ri%U`W-KYzC?PJ?jU!7!1 zEV8r^_;CUYlho2dF4eQh;(k3_C|Q8_u+Mxv20KX6oktRs>7;+9abI)kocjH}_@Kwz zT}NC*MEhuNN0fgK{CX`e_`AoEyGj@X-M@e84S8c?ut4q5?@Wyg*It$B=gzOJ?rw&S zTJs*S@4&y~bZAO!W9Ki*waYJkj{bh}My=VgbG*ZQ&nzPpNWC*D)8oqKer@G@TyHx} zJ_2#gP3JiZ45wUV`Y*`bb$xPna^Y`C+Qj82GIy=^y2|VhlD3Y_!9lJyjn5~23Xu5t z!t4_^4{PXW_Seie2O%#T8hT^nc~&&O-u$QM^PmgKw6{O~_QXkI;4(ZkBwS=4Rh%7| z2JEqlT70df?;2mZr!5bmS79ZttPsAYd?Mjgo|2QSD@#^hqgk^ zY&p+5oG9Uw`r@z+u)kQYR z?pRi@JrJUy;b9Ty1C8ri)v&NfzZU*e;*F5|-ILZQb-z#I*NdO%x3aTn3Z*^Xl@8N; z;Z5Q5SLGb_-r85#bV=u+RL;!wcQW04=f!PKm2^FSrFx+|63)jm3?CUEASp5eyX>_e zo^Za*^JK{ji*x(k#%nx+EP}DGDRoqNH>QI#-`0r)t1@|C(G%0|wx!2$YExEKL)VX) zVWix*ZxV^Emo|ku%Klk+54hJb8E>JhJ6hU_N}?o#J1VY=;8qXQk|!MsT{+`V^&{Dv zU--BK5204MCW}8a4dM&$@Tr%D8`FUrp8Vsh$A9SE2~NgOGIz%w8+^UmXp#L2wlU#j zG9I@bh4SeV17Vag`npPb7=$owYc$?SUi~#$H6}PP$J*UJHt+@jOdM*^q(aL3{peeB zObkrX6+oSFl7+e?kY}s3M&>WzYLlBE4J2h&@ki&vTE17q7@Nc1KA4#nlxABtAagflC9VBy^g_#rzh=Lj&947uVFEaG z{%IpS){fL0`Rkzoy%bb{e-C)wdzS3(;P5CW%xJ;ha5h~(_wS8bEVOI4dpGDQ9XWn@ zM<}!`OoFi*+1-;1D+4`D2y+fnD;aoy?fY82JYHqR6w-$dou5H7Jl17lFDp|g#0EcV zRtT*IOgA7O`F>QNk;;R-pXqQ?n*t}N|DKR0%c`NVETbRK=Gtr}?MsZJJbZz6LA$_% z9D~bQtC2xBnmf|8Nc#SX{OeLj&P!eI?4k}zBgk~T>#JAlhW!lqJpY;GUFp!)9b2AA zS3!an-Fw`=!ld?N`KQ-IEc) zc#Gf`_v5#BLr;N{Bl-HD0Z6;bmJO~+rPT@t>pOkAz(r=HGGyI;Tu4kK!F}HIxq-XN z6Ae`?X@V_adj7Lvv+;EdHYPb1PTdBb!`FOCWxnr>^ZAu}tSUFRo{LrCp`pA<0#Rxw z71cMt02wN1QLUz(AX_>#4O(tMTU7-Z+Z8l)J~s_dx5r8dej|T~{1!`{pyc64_U%#8 zvH1?=B{stc==S2)*nf~&b++*7k2F8Zbh%{+yV1;!R*2=Moo4SZHFGTOA?{4RqTTzI zMCY3ONwJ+DKCHbtQ2W_RO+7>CVAPigl*)z8F>gmlxz8N)!q$oWcOSI>hBD2)cWu88 z1YIaLueP?9@$NDa=Ho*GM|Wgn0Xm%A9;EW?VCfVGQY%J3&{F{aW8+@l(Z&Y~xU6e> z{>D%hpa*~d3^{}Cx?j|7I-bFtmN6XKwVidm3m1Vg?j{8wy(RUrTolALj#;UwKzaw_ zk><_|5CiT{hrzwH%(jf8Bf_Ayh=bucgGOHWP&jF3dRf6U3!nQz8n`M4b89WL3Om5$UUM~j>?j25pU+NPa4sIs| z`#J2z zLLiY={{Hor+5Ip%nP}d$3Cm}ME5>>7ogjNe(Yk-&0H_JCn&U(&X6(p`#E3ycz$( zbj_c&Q9$A+{EXvCAsSEOOQx4AJUei(5PpVprzi1U?Wg)0jtM`7M4l!-kzP~i7k*OM z@5u9?D|kBmH1e_hYIOQ$&*_;Q9)246$Tl?zlrx?kn?93UGq6xJmp{XNWG>>X)A{Oj zzQ~h{5$g13*q)>#{p+LKv-vX%IQq$AzXhQ=-)x<)`O~S>ho6)O{R}Y<0;KEqGltU~uGlgIb&)qTo@v?-IP zdS|E2?$bN1cdu?Ur*-SeR3N>2;2*WALH7(7qVk1Of`$1_f{CSD07gGidOD0J+9dp= z;u8PoeY(!MbNBI~CC|V3&eUJ;aQt|E+Sf!wqh zOT)j^jxThuol-mC^@=~afVQ~;X4zHX*IosFBl5kHoSA^9TtPmmc_sR_SAi#71)g-3 ze2-m)e)3h|saJv5T?KymD)8*9z^S=ksl3Op0{`kN@IzODUw0KdP(Qy?zT#ErFI|Ox z3FuRRYyLA5fGf$5zl!{quR>3)`$}>qTm|0mDscBz;3WG>@^8Ef{LibvU$_dq_A2my zTm|0tD)w0pcnWx$|7-%_rshDT=i}d%%Jtu?z^7jYUI_R#0(y5>D1e{v{P2kmPiY1h zW_o70r#~%B_j=s)Yo;)L;*1&7W)OTTA!a^3(>-l!o-k(2OwTy?<73>D9v_o8Zt@gi z;_S&D!87@Zi8G0IhI`TsCS=mM8A4v(6z|MQ1oljuBIHe*K5;4~rrrVwt-7!2KR%5{ck%oF1#lZXk>O_(`j+|&s`Po6o= zZL^KZo9Q0M^mET1HzsfL)NxZL&zUI9oIYdnR8Jn03C*6E_=Nk3=|Y}+%CwmiDK&GV zM|dhPOf>mXurVT(IB(XB$sS06HekVHDm_UVnl^e1gIqcN2aM_2?T*M>dauZ9$Dkw=ADukYGjYbS+yPUjO`SMw-1sRIQL0Cum^M`}^cYThMM9d1 zqVW&&5&oIk8>Pg^8>JfmBdQofx)DQfgr)yt*>7q$CQzrM35Dn1wv#7g=#CZc&|$B< z_!_3E7{RWmlNeqUWIf%UrOm?qdiuYNK3W*5r@hxr#*`W*Jc=~^g#D^;d(FR@!)tZF zDGcwS!)2PN@DqlI(_?RI3NJXrE+j&!9UmGVR>Que5dP~sOJ-g&(`57&ER4B zu)bmXFnmZe`mmg_&ER4B{Hws1HiLhn+j&JZcv#No&ETUoZvQpS;3*GryOlPFKf>YF z&EcatyrwyPyl($y@caoJUe^pBwnJ$rjwfGEcTJh1)do0Q$8hz98Us98htZ?f0Ke4$ zuQR~A7~tV?pJbEo82$;5`vfO{GV+tc^^668zi~{Q0ZzVc_$Sc-H~O#11~~Iyb%qoJ zobm|&bTPogZHsU{3~&q(k)J*Wc*_V>5V8#LRtC6ifX5r)Lkw{8MZ-TM3~+r($53Mp za4AfT=OhC>JVp|Fx&f{)VHwwK1Kc>z=NsT{872Q!WPm3b;7bi~ivj+I0p894Utxf^ zH^5gJ;ItM9|9ozMUl#`AxyAs$-T*H(z>SNOY6HBZfxgB7zrg^nHNZO=;B^LgiUF<} z;5QoJCk$|-pVeT1>r)8l(#K0`n^uFII0L-10iI}p-(r9#8{o7C3IC)R;J1Z=cy=+s zZ#TgIe*N15e_P;h3;b4pok??{}i zie(`|kPAyaQK1^yw;`^Av4t`=103r7J$_4_vhYUfNrVg3h49n4oYJ%f6sTe8b(E&9 zt3WABe@SWD3JQGA(*LG3Z2<*Vu=Gkw)AmweDN8S-G;IY1@>%*NO4BksFrB5Jr!;N- z1je%Tvy`SSpTH27oIr1A^bAVV7EhoDOFu?w+S&=Eu=IFJ)0R#kk)m|^Gr4Lh@wp;=!EWMA?wAB(wWa(X$zJbyLOK+oeCrY2VMCIR1=@d%W zv2;15X)7gA!_w<0OKX}`#zi`8)vZ*>82p}IV& zle3YZ^vky&1+U<}W4P?IF9W3@D+fIZvTCn~av@6*K$;u2suVYX&@`%|QQwNZ#&_yZ zBrotNXq8hA<)p*6H`<|`aFjJfWfzvtzt5?Z%Kl!9WaYe6>@bzp#W|(oYn-MUQ;k%7 zUv$|%O5YddG;J%}*UF)kJIeMYI@7nMqyLtfmGZK~txV;z?WDKd;m-=m{<(|H4&V7G z&t&|L_GIF>$@7fgyo2nMUPJVvsa&Zkt26V|H9U1KPsNyOpp7ElmSuu9i(^gYQt=?t z3GlMAy@^usgHdJs+N9T{SL;~^-)lxz4mBg9gM|!B`L!hA*2AXqz*JZQ2Jk->i}E|9 zoD*f2qh)tJ>`>OwsZ8tW@FxkreX*%E{vmNL_vReGBP9D8VrJbV`zlR2?o!#*;JXkz ztDmw>_9s|BM$NdBUX)FnL;EVJtz?<>hwLB1U;CRXqku4`Kq3`ef;p^JWuit^^HOSj5$93Z(Y5GSW^&PgrHN!=Kx!1OM6#(wai!` zRaVMnRFEqjBFbdSXcK3=`LB%We`RcCU?dIW|EggdT|?xB99VYkprq_O7A^a#l3BqQ z#iD|8-KF>V&E)`?JS_?AjU`(!8*Fx=fT`s!R>s@q^sTPcQj|$nHp^xEV1x1;6fm_$ zR%+xjEzXq=B#O30POao-xkXMt$!zqqoVtZ`wU^URkqF`f6)}o(`iW+YH~*C}{jZFz zbVe#*CHj55oQ}Mq@hMq3DVObq4Pal$MqX4aFaTAdd~?Fb*=P?+!k;tfu@!)29I&4O z#3USO%8EtAqXM=Iti)JG&sBI<;72MJ({Z$9Ymk*9 zM;+mZTv+dE$0ldL-T7}CS)R*8E;Kjmgu{n2v~p2a&SKPhaF9vJ?{n8v2^i(>W(>o@ zphhc|zCTPJyR2F=Kp_>k^p%;`QHI<1`8J!*Z7VGI_Vd+UR-!@CmQl3vm7AomYLsY< zj>zwkQ599$phu%u#ghX`MjT`?rMK6$hz{23==DSs+^oj>8ca`#zG{;aTOltzLeUYj z;<0v-m0{K%vf{G#aVbt~mJ4rkL8<3XDb;BmBBi>lW2Mw#*6C8}Th@H=NU85zm$K(4 z))nmeU+d@W`Hi&{&k3?>?o7v6GNdJ^msXjrzvC^%q#{bZngLcUn`3E|F#y z{{wxn z6~i3YR>7XR?t?jH2U_Kt&R{Cu`wfVcL)wo(|JzOb*{!4DLte zvV*N$rn4^P4_P^`tvn0)GzDeO^Rz`9l4M_nNh*#;(p*sLJ()RAD!hv(;b?T33KOR4 zci<@rQo&OIl7KHDKvv9Fmug=Oj7te=%K^$!Hpt5F+RF@Ejs|9Rnd)Ry4Y!E2=rFt@ z7n%JvRkW{OKW&Sjio(0R#PG_;YG3fS2DpWqL?b5qS$kYaxE1$bk! zn$&>ThoFURM%)6?HY0wXsX|txXcT*Vm`Q-O9T+N>!fF`H;9I!-&i+xT$a{d4rIIMw zbV4eYO}@Rcw)0dmbSI;c_N0?;g5Zaiw=yWKQZ=VWQ!P{O<=-@C3 zeuqgB+v25gle7dQHze$n)r3!}xc-a<>*!%WZq-}0W+9WSmU|FY;6!ut+kc9no=3Jy zMPcdF3y|CTZe()GPgXXvcKZ*=h6j;vKi-?Nm(+x};V{9~l9rrhic_||dA4yp+u0G> z%OSfmTj++Yx1SDY{ZIrg=~+ufKanVZ#$7-`x&3P~fdC?C38ab2%@-NZq(Yivlv)gE zWM}Hh75VmiNk6IJE0Uyk{0V+e#Iie287wOmu4GMySvD<#34G0<`&_Cx3A|9IC$xYv z|GqhF#2P3QCG%y%(bdd^IB?6=>{pk6>RmiE5YB&>>+3Qj={%n3Vub+K#75rCVgX8dwN z5Q^g40S+I@(h8*D*Z`nZZ0><^{SDbxKJzBorl z7-nBSHA0Lo6;eHz)`MY+Iz zRTJWw-q&E7D>X?aNwaL_^L~fI9T|ZJ(jb;BtY8c6W&lIcDE}g~9>EoDuL3SdDv3o_ zFWdu(SoZ}md$eJ-t5jB+dy@9H>KUhXsys$THaLKyIDCJa9Qiv!&Y~`85>f$$N=Zw| zF(}+E6}*V2@1jX6OvMZMCFF7o_@!cJOOvmz0Zw8O-Uy?EVtv&q1gaEMQE*e>1Zq-m z5ZrqX90ufDwucl#mqyKQL3AAQ{PwdESsw$XW^CjG?++1{nF*_a~b7D z{nds&xDDGQ6yAjC{3bk6VHYvH2H%AYs_o^FK?*cn(fZFECF{>Xr#AH8g-80p@Pj7zG00Zsq@v=|rx&dhmCEpYvAW{=J{lp_1WkW{dR89Spj(%NXU8Yb^lS$&0x z!Pt|;9D1p+5Oswai*hp*9{u@RmWzEh(R)lE~f#@ny+>th$-WH zK*_=T6bUwf%8LDqdO={TAeVBClXikS)Km+uM~m>;+uKaS1gW4m4NQ9=Gi7;L=7$hd zC7yu?H-WNK(k4Qd?El7^LW7f<@f?zx2}Ekg5)e^0fGt7s3Zrmg2v5mTH02k}cNf24 zs&Nh8MtR`hlB)gj${jVSU>?(F5#=Wpw4><{!|dL}R2H5m_d`MiVZI&L8h%KVEHMLr z11CgHxDAq!b-pp{n~+~+bT>Ws4NyMpif5n-z9zfE2ld%aOpC(LSSK51O<|@Hz6_g2 zg${ui8PZT#SqZq5dK8Nnvl!C#j23Rs zoFSt&W|)m!8Vh#_0>Xtmhddh#XQjM7X=MLrkuTfQl>I1WxLvh}$#@x768;gY3&Jxi zT)^6tBMX5Hu0@*>K(Dn&iVr70km`CXko_aEAoVBg1Q)e~|KOqg&iP+ubQu9GjHs%6 zQxdD9!k_+ZZj4rt9jS9vlEE0Ve+n{C6RJ}TI4|D9J5o-pg?n7hON!RL=M-h_Le|J)Q4=iSKouVPgsKp}tE^OUrnz9kwg5HU?`ajGV&g(< z&lP1lX0RT@^ZoHeqj?^WjxA zA+0vg&ciC2j?Sj0)3%>ff|hL=O#6bSnu?|zBb#ybGH@j89N2#eZ}A;qMj5NHRHG>v@fILzmuNgOU=ENDE z$qR7yJ`}QCfI}U8o)Lxd!9TPKAj4YW+|IJ&oouJ2w@PoULY3WwVrg^?r_@3jeW8`w zlh#vg8B!)aR|>hbQ0mK|UACT*M%Ls>UCPlpwb#&e$c@u(fpl7P#efKibJ*x#Llcyi zz!3>MU|z^9rKOGZ-1A(fcnHu_(g^WKJi%5<@)+CC`?Q**q zf_FS+KA975j!0Pw;>dFF8IBzo5j6wYz#x>Jct-(Cnq+gT(GeLgqI!~znfALQyuASp zs${T`We&OYs`wrrKD+0DAoN=hE8i@(?GCUajvR>xH5oPGA>df?s1CreFSdaMpZ$6!xHSZ?<2)DP)x*g?!ye+dcO&ID*T^bZ z+R94uBNY{pm+D}>G}zW}?wwxakMCVrFXfaem0OQ{lCtWnOrAr&b0$aniQw;?5a&7- zd}~a(i@+n9SUV@m?8VMp4Z!+kS7r;ai^%f++82va%mE z$Fy2dU`O5aHqqqRe)k5Hw3YkFN1ch<5v0P&tp1v8Vq^PYLl=YRypHrj9~=*@;j7<) z_QI8)4CUb^+yuZnEAkDyI+H=Db%n*a>(T~qn!gU+n%a!tGK1v!Gro=tm^YFf<(GBH zCL&|mD#*}uL1_WHU>lOi* zx)I|19$teZ4ICMSsM8U*84z;`QKcj72E@yR_)JF_wOU7rS9OFj^R0xKt0OWDqG}1@ z))6-t5a$Rn7zowUbq{NbPkvx%ibHHsB;fDxh&r`HszJm>hn4pN-9X z@CdvKEpS|kov%dSg*cDZHX?4paodRaxrb%7hdK2ZVc5OI5^{}l~ii` z@(A_^VA)dcr3h#pK(ab7IlrIaeL{AVGwM$`h)DtJmG#fh>?3#=@ROIiT_L`{)sJ8F zHLN-@Ik)hD=PqwA~5g^4Dz$RKYkt25DT?A@@Vq+Lq|l1ifGzT$is0D(h(`@7I1WcgPIYE@zlJ$$p11r~}_ z&VX4sqZL=<6@Ihd{x~C_jb!jQIzhvZdgtwZuw5t>Z-A5bIuO$8!BKcU01MGO|yQ8F%p=PBzwZ>L9--4}n)iNG=vyEulQZ8F? z6a_wXJ%ssYcM(vXs`v|~)GWjbh+FVVE)12q2<<;)DF7t6t4YI+b0~kx?&H{8NF(bl z1BJAD2nr`2-$#W{Lbno$4^R|d+yrP*QWv~U15j4wWE8+dUbPaBDzpSzgR~^e-27H)X&<3KD_<|&M)KW+<~)eds`Cb&v>B~lL@3V7Kf%~ zI6^PgqCpCEx8!GHxab%@POoKIU=2v8IG$EoE=H^hHpx|RyW}Vrlyknzu?udK{T;tT zN5^Vx@x>@Ay5-m3$uyT4Ik2w+8~6bzr+;8+Zka5|zYH7(mG@|>bBhnI~XwkkbJsn)0qckWrdi-tK<*35? z`S+rg_%mNe93vuZO+3;Tk+<6@>eUg=BXKG67SXGSyxqnlZ)+lvw-;Jr(6gQQmir$F z<@%jVdEo7I7I>RQfw$a|@+WPC`Gj~c5YCh zA*2$Xai(fL{FZ=v{B4<1UDnXbR2^LL7fKd^%W{MKU_S7PJfD`7&(;Q0O<)q$S(8x! z%~Cm0#^P`N@i7>YQmg$KH{E4ySBZt+=8(zVl@xw^p2BZ8p}&Y|8t5+y>o07N*ARY- zSZf+f9HvSd_KYdO5!s8eck&H{64z~I&Szr;ZVtJh|6hv0&4HUu5xA`2ECLr1WQaOG z1pp#&3EVUScN?4om+~{>TM>c#vkSqj2x(>Ut%$%y$nmKh3_}Vcat|W{7sLpG{h0^W zBK)>lVC`On-!_ZLJ&f?%<`KCFzh#VwxS+t=KM;Fs46F?x@HQM+TXq;xw-_EQby!3p zShg&12F?IIFW|{1wNTXj*=(zKVW=Ln+x*AZM5CW93?0T}{^&Jkme?aAao-yJ24-6< z63&I84H$eqJr;)6w8FF78XAfhhCWF^;#S%}#Zd7A7Nj9dUu3?927DS)D%OBos8|z2 zzbkx~Tgz?38Qt{9>PTM~3!QgVHMsUTq;0Xo)DJuBC&HcSca{av$F`mV& z>fjyit4?wh#el{hrcpc8$c4K-=`O!L2X3|O9$?K;I#j7cQ(S7iH5aB-vF25dIk7@# z+wbZlh@jl<{n?R!%W;_582{?4OU_L69(GikuR+{P>o}i%V=^r7srA_pu$Le8Wnt0~ zm}bUv;g$LH?_kcaxNoK)j1?QhtXAf?qZ!G4)a5tdo}aRx<|db|)O#j8*%fY+3a&+U zHU^QBJxfH%i=J6ze>B32nfZ)C1qFVxHq8Ia?zgQPFK48qW?ui zIc6pbo>(NFSWaU-QGAEEAEH3ck4Gqwh(>}_q%s-3Kq2NZigu8J#4Rktj2rQ&FN^V7 z>dR6f?-r1tCngY5%0A_|AC7m)QbD*6mtyFWg5Mqs6fdAeB~i2CfcAmy5-C`A)YsG} z5K~(Op5UEQ3A(j?EA|^W$8Vdk^goM!774cf4iGLQ6IUK8OpOt@zv>aUn|^}Pl8{w! zr_X-69o2kno^Kxd@r`^RsJ5C!*xw~O7pWBKrL@AB9?5(xvSLRbP;V5Vk<*SC&yCV* z&!`wwl;?<4Jgj3I=pE586>PyByzZVrRzW%sM-y2HO`0?j2lb*I>isaIU5w;<7%bB2 zY++T5_xe>S-uqU?dB%d^x(LB0l6eh4!I#2jDy91 zI;RTkTOsjzNYuVTD#!gBYgv{bFQbvD=JNc^WZcf;us4mcj9m8tw6t3R8?2h^7~P$Q z>T$AjokU-_-0LZ??>O|j2y_)e|Hq+SBhZ%!`c<=W3`k&iiUjybC3K!02U$vugGT~4ew9z3Qn7-*EBJ2?Z4wR?8&)$yl?FnPIV44lqK}x4^=4uCopzro{ zV#6V{C0Up?ASn$al&p`1dtoW#I7ssz`u^G)>Y)kat8my3O@;MrR`uI$0BHXVqHp=d z9h_z=(NKpB(_|Bkm(!f&G;@fCCa?9F!6DdwAJN}bG!_BblJRPZ<)21ueYKzn{8A>O19a7u-4j(DCBPXYm=HzOiS380D} z)qq(lfdI?Y&e$3%c1GzNG@X6~hHrMxi*S*Ah?yAyJPkm;{a3m&C>2EW45t9A37qoP z2<5#1`0T52@CizCbx^R6mr%`*B^X-nGNdpJ(k8Gs!j{bCs1ZOc2fP>o)NddaMsO8Y zGQoB-l{OCu>;@czcr~LGt_uWzlpnTX3BzVo0}J@1h`4_-xV;p`*B(b+S~^aF_}KSr z1q8Y+UWlS|ZZBAIf-h#12<+7QN;^nJJ)wXhHu)inN~XIxs`%LtR7yD-N6UD_I~LVg zn@dF!2AfsAcX0D;%#o5eh7m<|}eIZt{3z-wIAME0BJ?ePm>#k1u+F2D}WQ3A3C zW(r_f`Ly0-Rlj`+k#5#W+k{CIfq6SZ+6tsp)YH&vBxN)5G?MdAlYtNoQ7b)nC&~ci z1ZxV?`=#fSdD?01Lbj{GISwMlX~=#K+xk5JVxDKhhpbvhCOpNfm$6V#`AG2pG3=x`E5^{G9fD?gm&f^sIS8DCT|qMi{}8AN&!MtZEtOnquhDPbmzPZ_@N z7+2Q_R~wy+>KH>9DK(}qMS*k|LpaEj77alcA~88SG{B%EbZ7-qRQ@1Ux!*o4B6nR` zxNQq~Q^jHsv=aZs7OW@1XRp8$owWykm#`ADYUp9^L+9pR!dmGt3^(I(xmWg!DQ%k@u()ktybcxs? z4+6BFD880SI_ZH>GK8RIkE4g*{!k>lKDsttm^LHCL{2a?LeO3(2*GWj8o8Ad42%%e zLrv{9vb1V%xfvDsKb9?~Q_35e-3C%^I#IoaJAxG9p*>3^IPOY;XE1wa*vRNzBgCqB zGRrk$37+gc>Kr1hv~;jT)MIn;-kHBYNAK6-UCnUA*8ui?K=@EFo|9A%Nj;XDK>kke zhw-kpgBIA|qn5cJ4SrWR`*LJo8kijlh4ig|T1&q}qYT}FZIE%F0ONWbVvS-kP1ee` zj&7X5%;+WKo(WzMUf2<&;sf-a+Hnv)lwHi5p!maKH=*&YEchN%;_u~=F|CYvv;CozYso3tvHh;AJW8|zY zqfAxtV|aMjaV(4nq1Fin1aIsyzrjZD7wWA;O)CgdMxzqRy?p?!KmIh*Qpo@u)ig-YVr(Kc#xSBRihdi$ zUM&YtVZc!mfg8X8voYmZY5;^sHW?><+Ax?yH*!e|q-awvQI%yAOCn<#fmi$6VA1Yl zr~wcmp1n*N4na=+;g=vs)iQ@=H6+R>_Kn4vTVM*RgPkGE3S*(~YcyjS6k&;DEH<#{ z+X@#K;_w+eVRWcGXAy05-B0}N8c~nkB&jPrnWJ>$B9{)tuz(hmzaxs>xb|5qE5iZp zS}Uv6uGq!zl0+(=pG_niW%ot7>`;_8pCz+}U}^XoG0wQ|!%2ZuT zijp2ga06U|9A#h%h&KO8hMJBYH+x$VEiam*sG!*gPR*0qN)&gWFB~UZim!mWpj0Y&1-0OEAImizWnGokV8U{8(NxPj zc=VT6_qr|5=5bt}Z^4jx32htw76OJc0p2aS?lV}q_Lf=Lwkkf(cuLIEood<=WaUWR zNZ~whp_CYuk6y&XH;<|xy%`X3H$ku|2=mvlS4%3-HEBkk!cO&Duyk=!4^V#!5`gJg zea1N6?J28h<(f8%p3P59+jw)K(o;QZs zYv|Mpaj`V-M~feU1ns2@LL;_dK+aEl6m+CI*o@Wy5Xy=H&_jX{DmK4LaqY=2D+C-4qxm$#5V*$kPT0?t(z$YhhK zg`7ku()Mx`wGcl;QD>qS@-wie!0V7vG1UJc2A~8n1y`d7rQmGIR=uFF?@+8qOugX0 zA465geH4L3;Xh`?_liGJiaynmunljl71LFXZ;NTvqhN0L1#L3Rw<36~X+zVd?xlU~ zN}v50S|~QlD#gwilMu#BdvVv}Rl8|BSYu3J zT#EEaJBS|bG98sEdY23{*gyC7WS4>}Kc+ndos@D+Hp8T%{?w>^ebKz8;Ei0mudq{1 zvvo9F7MiW!qn&GIB<*=zA6(-^?E7AQT2n0&*QW>RqjasIiCxI1!3zr!^qHC1XiOM| zBS(i)?SKdE+Z%-s?VvA|Zm+}k*5z|M3#&Y%Dbv>!%4~#q7t8z_u{WMADzl1aBC4lj z84|4q#9_40rVcn9nXuFK?SB+jN(BR{1ghxi1|4kT+YOkHqbc`$YXY|eb@PBYwxJ>w zAkqjsh`wjyP}p6dfaFIZ87i*BCJ5V6sV~F1<5}RKDQjcf>%cD+>?3l_TRaaN@{r!a zIp;Rq+Yi92Kuw*~zGIUZCVT9P;?9MDFTb$

zq}gsMA`Ms+5N$dODHY)w3`hk5W} zk&gS$VfSlPyw9%DK<~j;eZq}UOsR(DaCILlZQoziF`f-+;zkh5G@JV8CFf9NN5*M% zTW!yO;i`0D1rAd8U;Y=e?}=5kXLPA?Jy>M72K3)%X zM-c1+z6Jmvfx7tv0Lm&n4ygN>@L1Gi*zrzS`wT{$HJ}vM!r%gnH)I{RB#GF&Q>l~z zeZby6!oDFn!aj6Cgq>tC6LR*p#C}5WCCY#vWY!2~A%dBCvWgH&X(vy2a>CTg0VMHBW2G z&Z~LPyolwRRr58(E_3!2u=ltU`+HYqZ$s=YI6KXuC&_hYjm%KpPc~zx^VaqFCzM!- zeKYeD2V{Z$%PXjM)7WPjTVwBGY|rpqsT;VP=StmRWixh?!P_&{i76?L(W$xc}OiUTntJ*q9hwH=ZdOqg}I1sYN`{jGJ=i zZHdNJ?F4uBWCdq-yx~W)hSaGUTVq3FY-<@C8_3_qYJk~^bsNq-h;dV`t)*Z59EgqM zND10AoI4IGyRX1~J>w>akbV8b&;&^f&Ca>0@pNv&&D+k0&3b%e+oATXh0d{>CvzQw zs~*w3vFSX{1W z06##(i%^nqE7^(rYF0@wvMn3-8Cao0{iKxE;FqAi0Tlo<-q_VBb0IQna z1tYPV-BlUTmBse4eG7xLw(!VoGyvQ)Nu~=9xMzZ8nai3&2eV!16Ldoio6iN-Nub5& zEZkLe^du{0tIvKA4pQ`j)=u0uPDYG>hrmBc-bJGETdw_ztjDfA{0rTD4b_ZR0PW!Y zbudYbx3;Dg_350lKcXGqQsd;?U&?PTh)W4}bx|P0E`HpaxCf=xk6RBpd>c#%_K9=a zCRjU21q$S#i9B|M9bWestaj)^5h|s@omej;SOseb8tSlhQn<}?gvH1tZAD~&r%v|G z=^=Q2VI*&Y#HHZ;45mm7cBdOD^qpAxd=*?d+^@8zIF*x5gyN+){I$U)!nWM!_WJt}c-B%}B^lsJ|4@pijZH&bUDwg&_8@MBd=FUX-F zhz~H%SBW>VO29hjGVH$rAjdb%@N8X`s~ik|px4c0^b9OxI?!%KA`cZ&*-fNgY)$Aw z!Mo7WI{%!SQ+5xh(jPj^s{mVrp-4{a2rSaA4&^7rKf!~7rF&p9bD}2cLPhlFR4CpnW`=vk)DIEy z(%1!D)Y^h=shwlvO>e^MaA#KmxzVbVDTCkBP~I6JuAOP4=Rh9 zckT+zgY^Ow_!P5?-sQc=Q0fs8%C0>E3&0JPlu9iFN-5>6Cj_w_EYqkedajePSs|6U zoH4eoxN0mFyUYmt3wZYgy%=~wF&~%QHp-JrKmPZ>Z^NfnQhLpd25qEkUxmYH z3CgT|+PgnjT>vYGya?@sfoOzsDF<~sK^7S+EAR`3s=TUf%%{|WQu<@(ZZJX8tQvKwnf(XAvU$Fgb79ltUWxeI zA7LWB!69ZDL=Gix(&8()5Wh~OS z)5ArwaqZVf09_gZ+BYlFUFl{6HC_zG2BSO^VK@gOc5@LG@5!dCE3W~E4o;y1FGk2} zh|F)#13;UA_Z)RNn`!}jHbV3;Hbg+QHF4^VysxZP=#<^^Bt+HpH&%Oq}82X}}hERV(t6#VwFu26i^-3EoIh7_T z)N(B|b``sHDHV<&s46~ukU_)!#Pg2q9+E;=a-_ln)=t>m=na6hdxR7nhdhII zu~dopM#i}nbe+@t_1&uTEMg>aukCX-aaNiWO~DUvAq9Jc*Wg-FoBRv^@SG?@Eo7O3 z8h!g@Y$YV%<95@+m7n=83dsgszoq6~RGRr&^iin*JCpdvS_3kqo>YK?0d_01unS%w zAUG9uxB_b6-3(#cE9~849ScCsn6UIcfTFkb&^g#xp=|ib?`rU z8J{}3CaMx!8RVnki=Jm(XmD7yz?nj8>H$$5$Pn5&47d2+Djhqbmy>Sxl|0c31G3NF z5e_G+d^K4X9tGwL@$?EHGMAz(?*a<39jIW7UqJ#N3}T)bCQCjK1*T&t#CYqqLvafg z^?&c6RpPr1C@(ML$tS{Pyg(=l@dWK5KsAK`2N;0U?vBuIA=D;9=_Vfqt+>fO4=uPJ z8hN@>wEbwvT0IG}?8NXR7)To&^Vt7OIowK6w$r7Hsb7VH^2zWeuyH$&BdV8~9`8VHJvAk$HyG>W#0puZqAr`NLa&YS@)_$dt(v6yjB(2QF+4S5G% z!>@2w7yiY{PFbCq5-$5h@Z&Qc`bd2)0?*}n5J21eb~ukk$b+>=X~`TC|22F|cyY{( zIhfX&gVY-{5A#2%1!BYaS&}gd@-PW+BexNo!L=@BKR$X(PmGq7D5U};B)`;iF9k~u zb}5s3P;rzFJ@_C6pHwPnjaKVYGp+bmVz3UgKPxZGHI;uSByte(H5#_SKHx&){zv(? zaw(7Z2>u&>bnpWgeyz}p@*ngI7rM@nt8}96Td5PBg8zoD@&d~3vybA5Y7CV=`)r<= z!E8+~8SZa>7-?q}kB4o2{;ja}77qli!T-Xj)&a!{k7{t_nU{qRPoqO~KZ|weInYFJ zT;BanyfyDPfm1Z%=$*JV&!6i0%gN#VpGN+H?`aTdi1O_4+24SZh7#R=nF{e0OBB)< zMt%0F9J7FC0=)}-^8wQjrx6%1rGi@8z@c$6P=+_X-8sI2K$K!0yxC*gV^rJ*d^7qd zfSBLzJwO*Hq$Q7`*`QKQP8-H4Y4IdX08Y3kv`e3eai=$-4J~;c)Cm5F^9qghEgTYR z)N0^cY*;|k!)8K~72o^(X%Bopw!FYR5{u~svx*a4JxAFYTn0P;7x=I@7bwQk8~#4z z(p9F#)A3Q;aCyIfpXiv|JQ3`Cq`31L*d%!Wsrb< zu#n}a-_RSgaFSwJmivy3Ff6>CRyn;?JMsZ_SgB|{B;oE0^t_E)01v-CejXK3JPhHt z`*2|(<1~tkPf&3ixlv*ywB7%tC$1M^iEv2!lu{%Q0ic4sCau>$*#EKu=bXHfmLx#? zR}-G6!#pq$95{Oys4hs0tMQw!5d9fGmh(YWHN6E>*R=o=ce5$We-Jy?0iK(K3s^{t zt>d9zA>f5YBu*9AEhDKkf7W`iePAZ(I9jd6A=-b)<)pu?pbkMt+~z6GpWRZJy$+w! zj&rL0@s+M!XyB1g+C53e#o8wD2HGvYnofmg_gB^c;KKdKh3JOI9);as2Y^)T1l6>! zxA8<9(i4LpBJaW<3WL|PVT7^%mV+@I;DPTmIh3EJ;*O6sP%Q)(Ub+m$S)j>>$RuP5 z>_(MQM=QXQC^;eTFz_}4f6EGq{jDDb_Mu*cXh6pHCg15zeUE*o7j}3QR1Uw(g2UE& z$%(swh)oe&0*x>BCY$JKHkZ2;G=<#z`kg-QAvzu5cJO3uYEp|>Ui)$${NSV2Eb zu_e*s`7OjHp28zveBm5cvN(n>!V_`KpYF%QR*nzy)+m-0l(5s6bJ<^5So;8#`t&Y3 z6F$0N7*w1ExoE295g3XGK!CFd-&XZ!o5Cio$g2`1%0R$N6kg1*4181}KxfWUaRqd{ z88Rp`AaI8IIQFRxGLK^$3I(YmV?sn0mfOK1>R)_s4>lFFT(A|1-+{79tiW&jLAB!W zGW@mwIOQU~@qtrI|FjU+TaTiq+OeYaKv9smG?B`6Jtc7cRu$iU7jN{D0F>$pt^r*@ zh5zcxzhLq{j604-ZLPUCi+osKbv+(HC z?+0H6zMkRN5T1WQ^CjfX`}2U;P<+4rb*9W>S`?rV+>rWaBW}02cfxbDVF1KxdkB4u z?>chZag_+5Jf-W9a3BR3E0l|G_#ZG~IdT|c?~mlO`&Got48>@=8+=obARo0?Ehv0Y zjcc+N6u@mmJCjx?;S(U+=HDijY{R!oWcOyu{{UmEra#v~*Jj#AWG^62#EJMt3#X}3 zDD#IR1f!W~dp~A|FKW>c24j}dL%HW5rt$ zq1XiqXn1Qt77cV@ZC>NEp zIjkY(DwSx6ba7}DBmEah(b($fh|67(71uQ?$Ndx5hClA3QMMN@|5!G_`N4ixc~Li@6k_UlM4e-)Fa{ccae7>;yXK(vN`@U@ll_l`*7htV*?+0t=?x6 zsn6Vy-^a}V{7bMi``pm7@!<-)`(>&Q`$(quYY@m9A#eN@M$=*A&7u6@^v{CsQXw2K z>btKpJsu@J{Px?KjQf$uWq)y^_H7pHWS$QDy-&6cE5)xEK{2Ut3FI&z7N64QTPsn$+mUDF_mR=1$uQY4L+-?KH+KkKiScgI~-VFN_OY!~PPp#`BE7 z2>eVp1RUv~!>(X|Kf-s!xP#9e3EzS)t!CYXs9@!+ItWWxONj#o4u772*)-6}%*@n} z3BMh}Iha1Hi7LFVj*6Sr65%PCrfW-mbq^u zxhj6bXk$$*=qK<57tkK=Ct4TvkzY@cF3u=Y2CgCk{vN{CRs_$D&@@I{zE8|L@f$t`4s*#sKFgB^ac3)7*cNh&$Z*L-hb zXYpKZGPB99C}xuah|yKb`HM=6ARwaBuI)^v>mw>X#8i5)QKdejT;JBD4gZIcf0cN0H!l!~YCyCWsv8cxv<;0sK5FHi!Gs9O4?v0>N|!O+ zokOs{VNn5NJ|@OQI%C9l_lKC+H=6p6rA8bL^;NMD`QcL{$Zi~EN48u?d1?&Eq+&#wR56|9YFP)zPw77izKSB=z(C?^MkAV7I71*GQlX?kIDf`& zY}#N=;X=kZPGIdyn+D6V(?H+@4-!Imh93X|9x$Cd^u=pnE~*wfJjmq7q9W^gMQ-2G zSdq97PsX^N(U_p8f=wEDJ?)pgn?B5xesr;3JJCh7|B;92`xLj`x#8f&$H1(pcy- z4-iZ*^f(~&LJ!1i@D1oUis@%4@!p>zC1!DJy~s5$?vGw>_THX9r-d*(o)r+^O+#Np z5fQQ#`6#`Yf{upJ*u%fG6Rgwb`r#oXbRGfEzfhZ)YO-CD3RJMND#Ex~^eGak$DT*w z{2Z1RFDJ2ZJXOn(H}HnZr9YZo60qDyeFsd*m)8SKhu{quf!`lRjdvhe18y`1j^N*hs}gtDLMQyV zl+H=WofXh9DZY_Qylp63HYqNB9dG_#BcOW>X61*-X);xl8#pJFRn!OI-uZLWO(uN4 z%x@pWGXCL5-5`%tP+TFoPTMM-_-iz%qc2dg7-$o42SNXnRLW`Q7Gx_M`Six7=6^6P zUVxw+cO|UXl4%j&AKAg>vur2d##Dou%JUehGQ*Tr)C0H{XhExi%g2|tOt=GqJ8C1T zIDH`~GK=8PRxG%ID`wliAPLIhTqH57$d!oW=))%4_W8$gF_|fh%eFX*+YQ$~IV!k5 zf40fw{Wy3ytT}y(%s;w~%Re<)K8HVp1qWvj{Y|PEsQ~kfklDgx$BFl-eY7{8lE=oP zl?0FS$d3HGM9)L`9qpNj-)7H~w0fiisIQqD8=yvo4g3vQJEA%5hXaJ|_E*aD@TV~@ z3H%RZ+*lKwgx>W7aN2|DPT1C3#jE;0fQt#7#lYUzgZ%(`pCFg&iO{PC(*SviAVCI^ z3Z99yls2&2(nr|%wzC%)J^n+1nfqnYK8ZLtJ(zVT($ zmQCF9gCNYyLi$snuenWaKpFB0-+Zxy5>#A8xZSq^%9Hm@J3r6q(7 z+)O0)0>H7QgwBq{bV{%h`}D)4@k2;c5biY?M<@t)E4(|3{N02nWcDPj`TKpvz_qeIh5_Gw0UNUCwfvt+1)>iZqkC&G8g4K_ft&m=C)` z@i;r*Os6!8SbXQOuQSGT!(t=P^9fc!TeHbdAa`IO=H& z#lC%rOndn|lz;|#5*2`>S)bJc^)?zqCv>e+K;vzd*B9s6QsJ-MQK$eF8o}>~62M(b zmT0+13Fh_1fuH101t)C19B`N_uZ5$2LyA<88H;2ATu?VztbRix4i)0)48vi*y^LTWbSwB7ule@(55d0DbL)|)7yro;h2J27zl%iuR4Vun z5{~+TE%Bkt_wlNAMSg*0c&is5J4DT75Jvpp;Y7J?o#SAI`PiOIgx3DqQS1}(miNeN zsTVN%*g!9v;9H3IVjPl9Rod!BY?F(91O_b~defigRWqg$kKY~#25n6Z)i-@;^93k` zw`i#V^PzxMu2fi!7dQ@pnx4v{ww-~#No`w%_SCj7!SAD+hw~PJ1NRa;0x$W<=fnNZ zu9|F1+Yh%wDx`BG)I&G0VMx7`9_WFAcd7GU>DRm)|FukYV7 z${SPPe_Is(YM`329ZN3RmhtB%L0B-;r$v!&vu=j$ZJ?$8MQSca(<3zpGWD(z?_$qH z@hKhNTZebUGw?WbrIx|p5U_t_s8Tt6E=hNK+ zr=f}L6Mq09ys?YyDl9a|AKVhZAXq@eA_RkH5G#z|c?a?@N8iA;l)!56@;)b(kQ>or zDaxt45kDNjJNw?^-B1&=s!1s?Jsgd$djWfGG+5!%M;1`|<62(MDw>?-RG#jGF$;4a z5E9xIHmS>Syjg?eOYYSepiY6hq*?scI_CHUfUJCxeF|H(LtOSnk_!mDw+qx}kiU#73 z%)Gx9vbBU8KeLhSD&>N!%_nbh&OCd*5fT-Zea=>#R~*=gP?r5r72*?D2oN^bNdBchVtaY zx*snlJC?FPa_H)huQZ91fke9+zYY)ltwW6dPL!Aa#%e5Egq32qJt{3fzRWquy+dk_u_<%VL+AmIV(&C8lNJ!x5T-djX`DpNqy!9moPX z)Xx*}%wy49!N9TxWZ}2pHH>=eNUWNm{czxECcrqEEEQngiV8}55I7v+rril-A2zPS z7ebLN-LYAp}pw5-GGFMlX%z0oTbjRF>qa&A&780773O=cxz%H8DKQ|Db`jnL4WwI{r&Nm zC>xl9KHbrx8W)3DP+P!)Zkfk+H_l_>cGMJ@Nl&|#EFu-Y#(2b8$kXYc9dh^%EXgj) zYe5X`6D^pxcx;0{2}&ijg*zJ~cDO@kf|Ym3br4A%vdQeKTHb`y!oB%kI#90MLu~TaAi;BT8RStxf_%WN33jc=$+G%IF8EhN9uXr02lor1YIObbl zU3_Mor#*5s|#N}~h7aW+KnWH|C z$Ua&$3NqF}4a~eXq>krW+zV<^hov#Q7nH^B1!0=MxqqC}KQ7RXvdo_kmr%JGuff%P zjxM|t2^`hTtAGe;NjfsaO3nDKnzix36v-|4xbPut3=j1kbcjX|HSiExmCv5aeMu36 zd%ZXx6xc6#35Cm12hvFHG3U$4`7q>oVm^uwfaSGV($wTPgPQN*A`d&rV9@U&m2Ryl zwZ7`~BJoxRwahOD)SuCwQhs}n{b<@37qANWZ#h7U=+9@5ry78H^9*+OJ09HwNR>Di z5c7|usD<}_XpUelNsZL&(=Dg?L zfsUN}WhD_O3vnsH{sEnmvUGP}`;sVe>PP&IM@B8^Z_5DkNQL$!5#TT)-~ONPp_z9w z21u;!(J1k04E)yWu~z26%Z;#oSAcD~0&LwCU>^cT8>1D?h5D~R{PY!I6R!Zfk6_Id zw*wY@wIZ_p>K}yGV;TP&R$%4xGYU&*r{hQp{k{m+mr6QdJuffB7ff30!ZWoVR1-M{1O(PHf_PCU_R9fvbz^DG!U!2M_8 zw3_jA3CnM%J)GZg2*X@Ej|K4-;g5P^s1yZcX)B-G62wsBSrz$7CD`^5+mmM}m2{P1 z=-s=?&>N-VY#Q0I9q~M7e~KN$5e>YHDLkhox#66GSkxi{|9hf>azmuzc_!R@g`_V4 zvh^W#OX1Msf(wGHj|aPBBAIA%lpcx3M1My6`8lvFl~|k{K=5Ib8&(?>k-Y@6rDCrs ztMphj#zMN@njS&UV94yI-r0QeK}!a^{(o%V9~-P+L=oco=4i zS15>f{YyL@B6k^v7Qc z*BeES8egUCLSq<%z6I+%dw1AwdyoqnLx~S?`Xh~Zp{X}Eh!p_a`bY)mFOv-$8$~eC zj)q&meOyG)s}L0E52&{EPZA+Iv44mCc>25KY&5~go0al6Y}Iq?c@_Q_YkEFM;EZD3 zWwN?I;H+WaYOgPuFe>z&xE+`;I6i9*sTnsxw z5lPZmNCHa>#xe;kX_w*o`Rv{C8{Wk-p6QVsNW|vh{nS#}pVs3?J^A+Akfne>F6I`m zBSmZ*y`pB{11j{JxhP|6;As_rVGpWVPA zd20hEwQ3MniZvj?G9hCfvH9(%u>r!zo*bwh%+)@)h{t_cPpo2uKCuXD_X$iS)BDn1 z=D@U>3^&uoz;AWVywbceKx*x!xVnY_DM(w{}pdmdN-nYXD z`Ij#cX)zdaa+FGVFiFH2s5UW8KY_tC=PUru1Hir*I69*I3xFf4trtr4Ht2YXW)ZO^ znw&^f10s;J@s~esmvJc_>nG&|HgZpqP4_x&L#^K3*#({oWFHEzja{|>zuJ5A@TiI$Kv1GvY5$Cn3+Hj6*Qp6fP#q1RTRWsSrp+SiUyI*mFtd* z;=Q7Y%LPRQ7o6``-PMzsk?4KC?|Yy39}k>VpE}jm)z#J2)qT$N>AnXEO^X=6d@(A4 zJrd~^7#PRv&_4D*XfX%3R=kf}a`G6nmxxSV0ce^OSYW>G3%S6YRc8{_=o@=|tueK& zy$>bSq&HGQ_)ZI|1i9ZG3?=oL2YK+h5@@I4Je5wSbStFmOuOb2i`dmKpFXs^p@;D@ z9%xn-)}*hOe3r(5j}%)jeoNQh`K@{KwJWSF#4c$Mbs`$;Rg<1U87Q8ep>n>7J2mMe z<;9Y*Es&+az=rQy2hmDj_%Hinz zn2KVtQT=wBa)R@jCs4=XTbBB-?+qk=wt*EW>A%&E{h9KurN%oUmb9wa?FTWDr)}An zr@t{s+vq#KfZ?_sqmeHH397e1)i4QZt;69_^K&sN#^uxqEH9|lgMa;#s?mZfaEQ#g z5B6y|JeqK0%4e@iND5KOnkXQM;o3$O;^ER9*fIK(j9e8?&5+MY( zIySW%3VC8j?Z%f+>&7NRsQG~i0gso+RpbSlVH~nHjQgpnJ_t0=&@#vNSC<})y)6xm zSo^B1H68=t4eX!sD}vNU+Q>~-HlzMHMIQU{!=g@Aoq!sn9t_i>bf?Bc7@L~(H1NQ+ zq^F;J*FnZ-kseihRH`Ub>S$PNsUv((vNE8fQSjtTf08=7Kes_H@?4kSMVCuR2G%yPH(RQg&6G=K`@1ifrcn0(amo)({N9KmK zR1r8(OQC5&_Dq0mJIEThVL)1({wiV!QH3#%jj^o~EH6NND`>S~Fh<)#QZm-A%i%#} z8>whB3;1Azgh!*%gkFaKqfs73P2#Bs{lI6}e%>@~LVxIqqK$EN_|6dbhuZIvwdxp3He^$e83&Mvv5C5bL}~NFvSOdu z?I#*`A_|4($Zz$bU#cY{Kpq1-YhI9*=oui&1ySRDaCy4_$(o1u zzX_@+4#QRdTRT##p%pmDFT>);d9dwe=v`=4dP6eY*j@?bc?U5>hFPr`sQ%M zA{Qv++_H1wn|Pp)SVDDO$apg6$^ETxO{!Y;un_H##9NOkplgRuDLzjTK-Nz50n!v6 zWR82e*3=)@XfNRgs5PyBNM2p6uI^P=+3ISwx{3i~P~MI!xhq}6mz&81P5T0f_Y`6m zA=;v(hF28gSwch+Vyi+t8OZXWLKFoMD-~jTfX8Bm$Pe&vE5w*Ume~sN`vxhWJAfap z@c&hKOMqjF!hfpp69SC8DEylW-!;JJ_f4{%vw>F?|4tz$6GGPW6NMN@h$yP(YYLGS z$g)!*etA&ycw8aACxqm2k3uvMLh`s-AwDBS95J1z5O)O-4ux1wh%Q7?s1QpC(UK5Z z3b7Cf*x`Ku`!evUqdL=?rX=y(m(hl>t7I}VV!x?9Qmw&Zzo}Iq6@e6qy5IEcdi+Ei zsXEhl2oK~|EYhlK&a{oa2^awz2fznx@Kvm(m~~R=nbIyh>E(3c>#a(Bz==s+3m|s1!ykNrC!=+(DF(G@%%D*b@9mDzF0WI$L?oo3{Ku}A z>2`serxl_D5Dj%I-J1v(sdPT2y()bzrAv@j612yp@FjZq-mv-|xP(`?CIWVIVl!gC8fJtoj6`pLc_@%S@n` z)9M)HY)As_H|zGB&Z0up-i?>z{yx*MPvNq$uS|a@(>;*hZ+e-@_M4vNR6{Fjtk@R| zuz#WWDLX#`4}d>HGeczj8sv5uNlx9UxW$9b*vJd!2i;wQCpGdDZ8dvaHy!|K&hmwk zJKK;lapHTq5UJMWyBfkgfx9)P-c(eL$xNW}Zi(tC({)JiGv$+fm=hxd9s5nE5XH#4 zl*{`mQhp24`%Nub>c(Nx<`zasi^N2!^Kg{hu2jA}61(3tdkwQlL^jMrym(jOCtqem zcNo+7*cX37T}S?uT^Z5ZXAYD840z<+^W2XR00RIjcl!HVI+vr^#v|y_ct`POq#Ksv zq4_@3nkVsLWNfGe5YhM|-ChofqAAz%ffI*;?i%c8iom7a;`WKM#%n;d&t#@+u0Xvq;;ZeJ&B8k6f&o}^j1{93FTvD;~NhMdj=6cLxd&}HeRO0 z32vARW!2Dv?^dEZF{-S`h(&S`i@S-%%OGv|j_B*K2WRYylY*?{J@gx89j_r3u#OjC zDgm>28h7@aQV|l$hI|m0HR;*76jhxXRukV~i>u1pZ|cpoVa-tn1=gB+lRnpVFVR5EQS9>ya9JTOh4ABUE>dU3-2DCzgcSSfq^=Wwyp2&(>pOHutjlq3Bi z3aVn4977cl8eTVq-nX!lnDm8^&X4pb^uT)1qgCbtPu@~AJX#FxKaD(#+Ycb(#)pv} zx7-^rjFDi3)$@kgSUtj`LFrEN>fkhh@uL+!UmH>a<5LuVu*P>~d>4f`OiY>12fe9-GTe3kzKujxeJtGs{0x@<=(=)nf)Y`NsoFx$lmxmU?6kt zq!diXe)aorNIwsGhQP)9hSjCFMSA%dtmH=`(eOR!&;foy;XC^yzwRkdC*fubR76#Y zz*d*bl_eP5z=3I`ru0^*p=#NUczLpMjCO?Vb~+$KLlo}7*x?A%wOBns zht>h-&XfZi9biw!VJ--4!ga%ZntLuEcxhKz#`}YG8M)xpkog4-yb!D5R!n4TOm&D@ zA{yVIg`m)SJP+zxQw6HoxEXi%o30{C(#kp_#(V525Ir^vQZ+6IYM-g_5#n_N(y=dM zf6swV6b%dM2?|xqso)7j91smLH&VY`vWhgc^fUaeNq=WE0BwH%J0)V5yo0|8+s%#0 zRcreCVR>abAg|t4SBWr>n)H1(A&f;(tSN>X3;Ran?&9>l_$%1!n&%DqXJyA(5$(v>(D;@pOF56-u7eu*>tOTYh@Z&4?}f8mV#N?l*tpx_g@ zKE*hqBYXwlI}Et!YkcYw=XN~E+KZED=HVpxG0xXHP1ol-2cpb;oLg~zf%61TqPqZP z_Qkm?sBEl!`p4mXmCJu0i*B1y_J46wo&h))LWTzcH{tv*PQnw8ET+;|>Ty`@mWnE$ zquNsDD)S9Bs$AZx%1XD#=dc?tx65pI6kDsDK7;ORE2}KC8;)w5!(sOt9;>UwVKn6_ zT3~3lHn+=enQv{%*QV0y8frM4)=Dq9`^qXDMnX#e62t2tQg538eh8=7dfZf0nqY8wQmnzQVaeIauKDXPbu(}|f$8B?X zy$-KoHXF7okH_KC6$3%FQRX!g?2^iBB;tn<^gD?31bdP$*FpS}jVYtD3MWh|xJoki zR#=_RWW$4cR8*EZ9R^BHu?b0vqDvhfhhfDD#t^y8X%vIVJ5*O#%4xH@TyFdhyv)T! zL}Mh7R)V#V3~jhQP+wv~i7~GXwRcF_NOy{^Nhzp6x~Az{VfEQc7413c6x(1jQEK&; z8fcngXPM3C9m=hd=y7=6&UsD6ib}V0fy-S{W_1oVQmYeE23JEmszsT@8_=80UF9T` z;woB=rd%*Cr5ezaPNY73o&|>0u$L7VLwhbCj0BaQU*;<{%##XSQgsED$T-E}@sa@y zN*S2akJ@yQk?pWKDvBH)qhD$o9+-$|bEaXGmAIfc!-}T&_!5(#7q`<&rqg71(dHt9 z>gz4DBXgP0u(}M{hG=9qcxp`88cf{mEUPHmF7{e2+}4sty!uxZ)j>t%77t5j70A0UaGCRG?iLT9mr3XP~vboWUsVRueZA^ z49O*^9Z5RmG!nrXVtT>HLp01P+K@+;x6D<7ww1+u9loYk4ai_5R3T5axy%5S)nhA_ z75A2sU-J6Uymya5+$tBEnfj-)AXRX*c_Mf~LF6ix zy&14{N43LNC7m8JqQEj2{5R!@HqWJc&8;efp*t!neG3d*DLf<@;vcPo=siSlwM!i- zwrptzd?T#iYPTEadC6v1vN=C5*<6xr&XVPLls%G*a#`WVo8y9liG~%A^78&jnP*00 zayKI*r}oThmLueHJF6;OXj!}AuJTo)wG%@`4YpgDWBxgcR8H6oS-fykHYiwnWo8G% zqCvvQW3eGmNwf0wH7dL|qok@#kAYG@1+ZJvjSodsVqhAIc5^PEKInn>fRBgp(qR;P z4OsPjRZ=v0HrY{C|0=siIw;jq;PRk9*%7HLH`4>j*wrl*XDfBPL29nFc--Wd@{%cC z>G05ipA4fna7T3mDL}NjFx20uaf-}`ti&wqP~o;WwWm+#C;h1Yq`DHa%r7lNzYQLZ zXb5yvS2}6@q5`AMK5tdAQjyJJq^MSqK0bwRz}6*7j+RodQ?%bK$j{9)s6cZ4t}62O zq@Q^PA&X?K%~E^yi-Ie?*aN1Lk+cyc*-xxs(F z2cxbW9ICkoE6KH~w~2OF%8>=`4=T^XiQZ$N`^b)FE|7go(ZHE6Fp3=TZ%(IsKFp$M zfouzMDbdzI6%am@R8>GEu#na1gTAY~U!Pk5th+z|9v*R5lR?6i~8j2DTC-pCmCVvX= zNu4=_o(4Oq8n3Di>Yb>9s7n(=B)FINz!1hnGD?@BEIZLWKOqn;>iUJ#XOAwRdfCbm{#HO;P5xBr!%gw5 zktkgxxf>c{R0bLB1?tCqoo)=+aH+)}YY7>!bZN@u6h9w)lhZhdHri;zETox&47aFn zCJdrE1CM$fmMMQyiU^D%eRvdm6 ^AUG~3-$M3j&d!=JZd_)5!6>7bQQ~&nlVym2 zv8AGt#&&oW@{goc97I1p6O#ZmMK5$#A7Y8iywqJi;W?zpM4yudQW+l+Pt;DbY>G>8 zDfy1fEi5R^EF?KFi9%@VvD#p?p@d2d6&FLivTLZX6LZz9s4+EcN{XQf4P#89F(c4{ zxK|+*#h97wv=%v>=@%z>FAj99z+47?f#yj(opIO^0@F+eDwBuDQB2yca?xZE(SF%A zFfrNuG6+D_=dwdGW#q`wH0QE<;D(_!>AHvv22&B3cM)B&V?N6IQ!-(-(aeoRkcAFU z@Q$E~Mv|IWV&e}zY+;Xy?9o*pZJuu;ruEP| zx6Gf?q40T3C-pc~MzkD-D@g)2!urlqvtERem?YY4h8Y1Ad_sbkj0aP3FXn0JmomnJ z6c~JpVG9O)3u=N0S@&}}@00CB_8nFvku#yB8>Qyq(hWfqdfr286D*cE7oBfGrPQ2O z;ZRUZIts?gy;Qo<{V{zDiCi!=_)5_`s5F=$4GuVDJ~lR&qgsZMdQ_U6H)`6btjUF$ zBgc&*<5F>;$_F=M7!~9fY0^T0niU}(bXQS^vQc%Lh1@{7YG-nqYKW2f42s*zoKB2X zP6U~DhuMKCGUn$Lrr9iruXtE$%79+ zna8V_RfLjT_IRGWz;8fWn(;^`SU|!k>u|wmL&+2nyGT7v6S*19ML1f%j0DRWvS9WiZH!Wp&p{Z8L4Trl0#^yo|2B^XS;DJ4Hokp zmuh2ED*zPdCU8$-b_rO0Q~>!a^v?!=wicykRb_I1uqNoDiA4DItz7kKIV05jnHhS zK^59mb6B%kG!4Fb!BdbaN`Gmli9Mx6bkmxp?i9S>*+%fXOtuaW((@E1Z$tuGz*>aG z7&LN-m~!=!gp|&nMl30DWmSTmTw0lvZ5`vS$EcX6ma?#t4E3Qq30hup=sA__TLNav zD_T~M2P?c-9(7cob49dG7?u}2HCnkiJ>X#RR0gJ)98&NPiKobAvk5$L!&DW^v(ack zxH4!~wXu~vlv?(on>JeEaaS5x+{+8BVF zMhzED%eWMB>t!j_g*&r%9;W^@4bh0XVb`>@An&sUV>(xfu3Y6R@mP!Su)zm0Fj&Fe zqUWKz*%8({VBB&QoQb`d*P*94v1t2;J5?^57$?REtH>1DVg`nNOjiwGB>{oaP0;A3 z|ILCOLT5%g*6N~X2viFcNg|r&v6$f!(DT_MCq`bOV`jwI4zN=bTopm0azqbOP|q{r`THN!LlhHo5(Sl=8GtSD(H1MW%DAp?!+qe zhfnoJn++Jd8pmm>ZV2-zB}f|)R4s5zR;z>b0K!=XwPZ6&7#6v;=Ljbt_6&YbW#)&X5*pr*$X$P>Cj3H-}e(~VswA71-A!CvX;Kas2YqwBC`NZUi_NsyCLB($?jfc>?%HfsaflOlYAMt@qin(&OPLYGW?j;lj941BmcnMD;{jk%tD z;MU}W90&>onnf)j!Bk}IP5oaATaD*i=gL9uCur_Z3<5KMf!u%K7>=aCDP(MM_~z2k zQdSWvyoDk)F_)&nMo_i&)C`LXa;Bx`=#J35lu2T+?go>$W0E(|A&j1h_#e`}5xAi# zT=J06C^>6O)Ag zu-Ry;8A#;lWuQ06FozaZ?O~Pa_er884s6 zmCWIEV8Lxtp)p~!ku^PQ+^7+BP{69E?j%t3Bs|MUv<`;@4lDuiA!KrTSqvXb8GIJ0 z5cyVt6*C*^%W8ftE2jeQgnps5GsO6Utf9vBV?f@9)01SHIx+PVvhtxJ`e7DA>&2cF zJp(#H52hMpJ|BETBH9!-Rjv>&8jK6vRUVteEQdQ|94!eVx2Q~qD&@n?VTL0eRx!-5 zrmKN}m~a;ti!%MZ2ac4VBO#@pE>QxrDO^xWt_(e0{9DH1K>rM z`~ANGRszPg6ynPvpa+Z`>i5q9tOL9j(7-Ra*8xre+yU6-3cP>S3j9ao{Ug9D0qua- z0#*aw4Y&eu+!(+AS-^6@LxA_?Ku*AefGzM#+OGlQ0f*&64}c!P9Kh!QuLbNi*6%+6 z=$PR59|im_AN7hBV(cW81NaQ!J%EoCfDUjI-a+exd3(Dl*isg7GGHO#KEP7IpQii$ zcLKJY;rBlVc*88e{{_Gnv!O@8$$;Mio@ep<2e(DL0geMKnuBrxR{_=oZZCqq+F>mW zKLsrWOvaBA?*m*9_$**mIqD1ObAlh>3BVTZg)mj1zJQMd4gj3(f}R221iS_CXTXO5 z_u~hphX9|$b~L{Mrr`&li7`U#^`IVr4L-;LII0SI0sMA8^b(6-$YBG#Y`_ZvX9Cs% zJ_I=U2G~;vAzlT%2XN9#v_GH~@HfDYt5DC5(C3|g|1v=Ove!d^53lz7KLK2Fm*3y| zJRxj%LvFwy0eyf8_n@5t>1%&G0Jp61`+o!+a6jbjglCcuKtF)j0r~(hUkCjF4qXpA zz?`ShPMw8#1F#hEij62A@cd0^AHWL$UjV!i@DSj8fbF^n(SNhw-y6{R4C)2=-B#!y zu+v=4qAdjsCgCNe*w<=B)|U>qR4I) zN1!*(0XPTuK^gRW+L*Y}G4WT%ww>R4vACl9uuJ>*z8F|R#4~X&xYX}&LqB%JK{)a= zZuo(JQC=K`TY@t=1@B4{0teyl!PzYg_Y`m~!*KP$orFIL&igKKM}Z?gbP#O7`3Z0^ zV|ftnH=J(+2UC;>;o`vPRp8Ja1GwJ6?Fzz?ZUzIl1vpvR+?cqDF|9=+@cF>+1fJv< znK5xUMP|mt*FnE2bGM#dP+Ta1iJTxQCQNxi9M zX3XH4R@pK6wl*$`^{{|`tx0VyHWl@4+r7q0M{M3NfM)M#|PXr;N}4m|7E13n}~l+i!m`< zT11sbw2`c#Ef!1K<5Qr&3qG9eQe?-(O@+=$FRuXq58!JV@0MDDf5!Du+-n6tznboW zUri*cA9-UN-44{2EieXEgJw{G27M6e3xK~1_5qUZm4!!K;3R-`@{uItX_FxKD#{RIg8f`wh7Bi6}?esDb2={%yiX93@`u!upQ|V2Wfn9FIbr{=k z`CrP&m)3pGGDzMP;Po8hg4zEIuQ`zqG$XF`-JgKhYltOEz*or|Ifc81NCt{xoQ{Yo zex&aV4k!;C`aoz_#K1BFeHk=)k5%o%Qx=cj&YVf)Pam;L_Nwy$AIXc`= zJ_OoVK$}anILJOI-ufB1xe_C!?|mJ(DdX_YI_x`?XVeFgK};$C8PHyZ_=)^I9fWI# zzBvW46tv9{d(FI435f2qVL?Hlag9X4^<8ZO=a1vR`E2^nu^~h&}5__s#H& zN`du+j4)sWVy_(ulAU?ijn%`eVY4T;2F|DQl1O6EB z@1l>WzJumMQu;sKTRYpYegHtj$-*H2hkJ`Hh|@tU`OS}MO>J2U{1?C@T$6a||ELV$ z9wMCd!%oR45tkIdSIlYh(Lw!VdXOp0c{sh`e<`YC)q8pOR`xbN~toRKC(V?yu zb_P^lYXnB)aqmsK7w!x8NiNX7>SqH$dmOYs5N(LvL?W_{r*{82aHpB+K=V{myP?gaR1T&#V_VZ-4=N+V+0?v z#}(kUqZD)DO2K*l2F|Cn!43v0egE#>A=YV$+{;&K&M&#sk6-}{YYXrfc zfzL*?acG;)r64hNWX#}^F&PVj(!u!PbaOPp_{fYPM!`4!_w*|m;>A_;Al6ozbGR+ zW<^BQs^&T+vXhV40)8(p#=6U&`-tJ^@)6XJP9Xn9H)0-+G|6Z~KN^5!YY3eJ{A+|q zKRV}}XJ_b$L_9K(Z#VLNM)^W?4PV~m3T1ra1g)>;uW6~C_kgy~62E^X@om-@Mov{7K(NAd^H@v>toqsm)^PVq>W%aEtVt$zP|NQdW%d_zhm$Dj*vdk1JY zg4Rd0r~`cRRPB>Ve;?w0L>+&6rg{C9olAd|KfVLjLXjUIuKY9oe|xU{Imj{%`9~~+ zzlMLNy8Ov}kH(^ssAj25!9$x>=y}FkMX~=5=v2CaXmU ziUCf5=1I_eLNu`d$hk^uP?u=e5o?lIv!W`~K{x}rX+b!$ivhrm0&WKpHLF_$MHIgU z%p$Wb^}kBw-Hp65?x*sn$FwGW-2!|otdk9)*!{2cm4T){=L|~4C+~vSkN0BpJ*r5E zeMfoW7XrPK{FA`CT<%)GzdLn~zbbceMAYi$Ci%#2;LHcV^B%@;TDfdmZ!n^|qS&T3 zpf$p7k6?|s1u{SfQDa-kzL|_mS~nd3gx~)&VzuUVn;kO;xBou=&ud_@48(*;WvKf` z5+~Ye5e${UkSdR5^$K=VKpeVIWsqwzz>&Gp(Om)YA>Sw8Mu)zC>UY1JuH_mOAWcW; z7|aBi#>%6C`V9_*!19p$pd&@@hYsrdbjbOKO3J^S4O`PG`FQFpR`3n#vvgppC=XsX z7K1U4(xLJ7T(FkAn)8zx)1k}%6-$%~qpJ8jU*okcdHDHS>-hv-w=>+w@O_3~GW>~Q%br3WT^L@%a1g`M45u(G zW;l=GO$_g1_z1)84EHg7pW&Abe`473VlJQIB@72K9L;bF!(xW>7~aHCarxuloSqSX zL^5Xal9Wt+mv*-dKFI9o)aXc|{sDo18XKI$gg!<8TFNtUr&)SDe3$?5ygJa^WPuT2 zPiNQ>1$m-G3;c^j8IkBQ)JJIXfVPE&y~~68hfWiVKd@o0w!HRnH(&O0?EIOXAAN4m z57n*S?)T}8)azdE`|H;8AKrgYpR<;d`)*iq-Td!=*wpH>J6do0r{kR&3tyS|-TMDt zb#L0c2Vd~tUNNNPyt5DXbXZ&WShHmI-Wj*JhWl6Q# z_kKEe@7|tg*MEM&$X`ukBNuhMW#TWt&cE9^an<nrFtjVF6tV`}@!r?;ieII?2;NsDdZ8y}ZW z@aM-(^=$e0<3YBZs*5()tm%4L)>mI0+CAf&AA9b8`J!8fY&+Sj{f^I^Z~5Mx`}n)> z-F@uso~Jupjx8^yrCf3NKP~fybe((MXE#^hF?ZwC>q`Ea(re=Dr~Z@m>^w)0m%4s; z`S!$Hp8P4};PKQQ`_H@eyAHY0KWug^x%G#i+pTYZU2ey1pTGK4_5*huT^&)o?C8Pw zFFu=8|M2$ZBR_s3eblY4)e$q(hiv+>uG^C}FZF+F?TA^eK6_=ZdCZW6`Su+*=Tvl` zKX6_3Y1apvx4yrA_ul@$c3)Fed-L%-4$f>pYw@CcqyEvl&+7#nw%+y3)PtYyoRs!O zmxEKgb&Z}_v8L1he%Ck5dj9OQQCIgo;=kg^_^C6mn-^VmaKW&`$|onh`upD6go?vTJ@TtrZM)VrE?v|6 z^nK%J^y;;;amdMf%fu6BGM{!Q-8%7s6-BGxHzmLJ+wAD?eVrfQvu|c>-&Y^(wR?nV z-wj8*eRKDa^V8orxp&LJ86O_|e%I3%+}`K*c6)MfoVa|u^?|i3k8a$PbpQONcRuy; ze4=hc%vV82}s9w+AwEp&oD{jo)c=^z`55~7GU9`*n(9g-q zFpjrQ*Y#cUZ2Rh(FUqUlD!$?Je~x&#>#Lcu=l?wYaLKQC#P*-r=Hn|OMsFU_a#;UU zy;nRMvF@%_AH2}{=^klA>xQkY{%qEjYt!zH?_YD{{f{>$y>`0KmG5`-S3dgP-I4ts zeYn%`UGC0@?ppnE=ZL=niH!s_G-bcr}|J-q2?(u*96le1P_;uST zOU8vQhLw$a#9?fm`|Sg<=kMCHq3az#%=$bb_U^vR-Zj5<>znuHB(;o)nbCcE{h@v@ z*$0{X54OB={^UjP?Ol0z*8?Bj{lMcdC$0PJwL`NqcV7PQ>204cy8O^rtGZ3ez5cSq z9TQL9He%^F&)<6Q&&3wgvD1V46xgm`?s$G^r>)!i=6%*Z<>rC|uiie@_0~Vr7j^BJ z`H1<#1pCrfM+&~HKRoy1gshyK7i>HDSesQ77GED7)7pIYNYap9=~;uiE}QcHkjCC$ z9aY7UsekWHx2`Gd|K-{@e%b5z?W$dmPMCJhz)szsJpSqP_Rl|@`GD!g^;-+N zw%fHRIc7`e|J-$TZRZVlZ9dheIBR)Uz1M5&`dPyqd*kv^*IjW(`3II3?zDl2UK@VH z_@8WLhgTe4)#j#aPd{+Un%kdx!QFSt>mSaI>r}E~_L=A-Kit#t*iFA=p1StJH`gZj zDj%C3ef!vrQT;6KKWJ4o?v=sE58mAR)KmTAmoA#K!CN)xx;_4fVs=NHH%=(N=$ccX zWgcHSU`kYvHYZDt|9os_pKEd+oVuXZv9p7|xp!j6FS;CGQ_^#JkN8$^?OC~d+p9fy z{xk1R@7nG6e|FY++;ZxX{138zIoZN?=$UKFw(ff8hUq5<_8*<}K-YmuvrQKst6XmV z_{_(q{}#`GVs_1*$g8{5{Lp3Fs*B_9d^rEj?h`L*Wv^QJS+Vt*&m*7nUVYnFpB?Eo z?Rb%?j`>6bb zwq3W)T;2WnmL3C+I|nV=Kj-#?C%eZ#bonh;KA!c$2Fvcj`#L=TOL5*?OP@?V-lA1P zs~1kzJ^5a8#h#x>SaW-Rxnt$o7A>AWJYn58wf}jz*RHJ9Kd*Ogd@{FP&%OnXXKHs& zSo-|FMV~x6ab3=^!IzcyfA%5k`Moy3v;T_7y`L?8;^Cwy8b6v1vKW_B}uR zEzDHuIFuRJN2N4WSAYDwo9x)iZadzX6BV=P{&-PyKBYE$ID7 zI!@pu`V&(_>3?DT4p%51m6G&}!|=2YO8jr^LtItgA$T6smxj@IWxT=t=yzPxaX$0u zlCQ4yvvzvNisW2ZstD!tb3VR}Qp^+_V+7+5I2B&EOBV1vC@Vt#JEa*sy#q;hYh*Hiwv+2Mp6%0M zKDRW(XN|hCY0Cwohk3-nEP6#;oj4^t8qonFW7$oN`r zkTxvVLkK2F{%^zlK)kG1yqLpwsO|Pb=5xsa#b3S$h-4p0kMTWB4=Ie#;r7ye1~T5b ziUnbi4tyNy)esiXWdl$3YB@obtKWAT&wS>D+2>ToPhfeNy_n5>E?|F^tJsMW#&>;M zAy}=VO5&L)2;9Q_bv&j0{7S}u$o)~*_ipCDI9V~7hxVi6N*E;7EAtt3EuW_-p=@= zVSLsy{+=*-9%X!d82!`0pG$9hB|b*{lCA`w$nw9(_@}Q@2>G5GlAkdD`a(7Y?k`_5 zJ$~^mk4go^f0=&qe5PkZImPs6A5(<#`6!ZSnLaVhU$wx4De|jxxP9q&Ep)^JPyKZ1 z9C<191gD#%$GFLH>=JcbT)_0x)+@wP#wSWVUj%_+l25#-53}=8j9(GvhjS&qn^+O1 z{{qQBMwGC_;O-|Zj9+3^h0^?ij#9=S=630+(89y`+t{924Pq(q)K44Ou5^E-_kBq} zV^%8$@_hp&=QY#c?`A%!VdKKRntxb-*}(V%VfB52@mpB`XjXY_WBgIJbA$0O0#9<@ zI6@)DFn$lye;CI9HKu=bm?EV44;>#c{h2WOqmo|H1pob^8N3Pcp7eV(L7;=}JO+4@ zbK!7>PUG9%n0|1W-Y#PLHtZjIt8C&@ra#2DY1SmwWs^`M{s zPGkCLmWOkRB8iU|*mSsVScGM@Wg+{7)4#enNk?vV!1-3F@Au=^FEp$gFnQK7pUN=*uz~51hS6_i`uZhG|2m$e-&c}8kFg_{?;D})7a8whyLyr3 zd6oH8hn4#V<8KMW)A&aG`!avFB0;}(C40ySv$w-czmfxx8ZP%g%s)3wZ(mD%yjaKm zOTRyHg8AInM=`jV`OpNJ_>j+0Sb~c0S|haJd?P5#tZBe?xWT(Fgc* z_3NRMK3*JPdxM*jM;7B#*^l8;9(m31p*T+VqeZMq23F=XILsfGFkY`;r!xN!d3?!W z`3=U;W%}eWKGhQ6P4wpW)plM3Jn8f0F^T~%Ba3BBA0O7fw=@3ru<>^_r{PUKeGw*e>ZYui<{7^-#}vy-u&&u7dsK3O1Zem=XP+ zSk|{zArcw?j^xu#ED7^(A2I!r^@`BL^v5K9ywJ}NwA~)WeQMt`+%8(r-!Y%(iWCDK zC!AtF^=$tc%>OLY@0+R+b!;cCV0a{d)#(dU=$?0Q02OWy8n(1HA^kI75$N0D~`42Lm?Kz5p{7oE^Z!^7qj-=<~?=yY} z`v)!OCz`%U8M0m{Kg#$4VR~o)p6sybCRHvy2cqL7<5#nNwo+(elKO#NO;h}Jxov?b zKFjY^ggcpjql~v>#6i~c)!e^2vYvN@jlcaRAI=;Ex;2CEEBSO2t;6bt-FG0*ACGK_ zj}blCPsT6_nHkw(e%SbRCG#I1#(!cn{IO-oIm@l)a<9Bg6)4~1M)F4HUl~^JEzR&r zg8oR(b?iTNe6p7LG=$0dIO7M0;h$#w0k%)wj}LF(bxMBu`vfFk zWBgM*Z#Api;%&)4UJMTFN1sS~CJF+_C4D!M6E?1$W_&)&ujTw*@`(|NJP+!}yrSAF z{TvOe7wMbyX0YAre$<8W8DaYA0X*s9-pdr@)y)4=#$Ody?qw1mR3T1gHG?k%p5zfc zE@v?PbmqV9R)x@dwlV#=0V1L*w5?v$RXgV+~lx!Im~zw=0A^0e7q>- zxKYdhCDXqW7DxRTc-g+}2juV6Ak%5aUwn%aa2@+Adbm&Y!+CwIisg@Hd@2V@gBahD z@!i-T`WW90c&b-onEZEeoPRXTpZ8!sXUY_VSbJdM`}!p4zD7@x@T7^_EoF2|!k@_9nicN1H}^#61-=UI{ zY`0Y6anHw&wrV>)Y-$)t%l$etEpm4)Ak{a+(o*_2rBhS-2`}w`n35*uV{<-iSZL83 zOr;DE*w)jB@2{k!3QP9%yiD2#(PF_{DV9+=meG?k$B(k)WKR;7G2{W~|m0OYX_s+1t zb-Bo&Tqq`5+`?_4?eqr?z|MUYl@@HHCh%byY+>ff7&9(+WR|60O23qWDmOOgUQmhO z8{>N&Hh~Yn$bHY`E~@gAI~H3hHe&M%_5Byr$XQlo!=~EU-_ufIEpr7J_8%Y$ESa)E z+RReei@nqa*q9GWaoH*t1SqL!S3#-OE?YwG%Lc^~QAK445jJJ@Qk!|_(f1p~*nZfF zi?-$$mfXVeXep1Q1iPF&JcZ-4oM@IpSsL&3mI{t`>|GhcaH7R4@-5IP_SnK#0jjCg zaLFu|GOybJg$|_Zs^m6@Vy=ZYEX1~9v@>s|!!A4) zXaaVNE%3Pguq~d&i~XgoPJu*mDXiWx7s9&iFq|?c%pRM*dc-&-Y`z7}f-)=)yVYl9 zL+Rg71U{c4H@8GVbG;U60MY_W9gu@QTqTNausugeb)}6}c*}*W!iv8Y)^bPF?#OZz zH8E0drHQU2Z5g|wVb8o`0oAz5NPSXHv<3Fm3*n5mOr5^E?G|lT{&m1>^$S;|tm&PP!Utwx}Ug7+N;( zEN8J|Kup%$Zsi zPJlM4Q=eC~V>e`vdqI=k^nS5?71$AT@~02(9qF87zPqnKkHkefn=Y;{t%|?9~yNb)I#Z@j*NQxg#yR&9mCb?ltHjCO; z(+flJps&b%?Zs84Vzd?apgHQkYM*Qp!R4m@D~g@q7;JrVdiwBb8;n#E{IK8;Ku zbVPQ!EgldTV-xVu5eDB_qR2{qHcwy+P<((f)C3k_=kTB?K*lbP`J^U{Dfmkw6e~T1 zWVFfctSxf8Y?uUn!>!5j^cRp2{l_v1qZk}DEQ|c3aKnOB07`zw8tSu)XlGXB%2HYK zNlk%KI}NT(4eVA6yM2lnWN+|@iA0N?cB!>Oq{P<=LJJ|M54j3hF8ZL0MJLXykcrq~y_P=t^WBFj6lU;2bt z$b|*>Jord45pt^1=@TikKc(OU%t*`dE(JT_Qly#UD79cdR)MI>j=cIx<*>-FVW=EB z4aWEipbe#B+@L=xvH-;lu1ci9N77e;{x~E3e}|#>0chr_=ezX&ARQX&b#a9ayxyfR zMK7ditykwC%=tCU2vDkop5JOTt$zgPujc$3^74Qt54^vu5xHUc>G>xe8XEGd>5pFL z(HMG+^Amp4t>xG6pK6%Mge@6{%Wnl9OF)78>)*j^sNV~uI+C7se*IjEmT5?2UB3QZ zy@vXC^dOOkS|!j|Ld-=HzuOJSuYaem;Y=pg^6PRmydL-IH}Lve{|;WmO3oiHKcmHR zBuJ+^zy2M*hPoYf`Qi1yoAZxkhWdB?8tQ!jD1TR+;rZ7CM>^5`g@Fq?4Ea~+_g&Og z)BErG`aUFr^Bab`qoLemRucopaazMiaUGmrKiAaom$gBegYs+a#<2X$>eU?$+iOCG z;r6=~cq(7(U%xM*VO&Be1Fb)eeLgI|{@sX%x*uu!@bV9a<==8fQEFI!p3bRYc=_)D zP0v)g+XnWjIMkkM)zsedBIsK4q4jQh2Bq`seJnowAM<~Mykt8%zy3YVQOOe*GR+ zMhBIV_R|hNjNl8TTZ4>vY5Dc@-v;`j4325~#Q=FFguze)QWH_8Y6L@_U$1ZL+ls5o zLpZt)*sdl5G%iq-^*t4m#-T1ab-lI!j0P?syCRi;kEW~qC$Wwid?;)arUR1a%Ky%l Nin2>shOkTV{{UZq!ifL? literal 0 HcmV?d00001 diff --git a/korg-examples/test.pml b/korg-examples/test.pml new file mode 100644 index 0000000..3d97829 --- /dev/null +++ b/korg-examples/test.pml @@ -0,0 +1,12 @@ +chan msgs = [4] of { bit }; +int count = 0; + +active [1] proctype Producer() { // one producer + do :: atomic { count++; msgs ! 1; } od +} + +active [4] proctype Consumer() { // four consumers + do :: atomic { msgs ? 1 -> count--; } od +} + +ltl always_positive { always (count >= 0) } diff --git a/korg-examples/test.pml.trail b/korg-examples/test.pml.trail new file mode 100644 index 0000000..6e4f7e2 --- /dev/null +++ b/korg-examples/test.pml.trail @@ -0,0 +1,29 @@ +-2:2:-2 +-4:-4:-4 +1:0:18 +2:2:0 +3:0:18 +4:1:0 +5:0:18 +6:2:1 +7:0:18 +8:4:8 +9:0:18 +10:4:9 +11:0:18 +12:2:2 +13:0:18 +14:1:1 +15:0:18 +16:2:0 +17:0:18 +18:4:8 +19:0:18 +20:4:9 +21:0:18 +22:2:1 +23:0:18 +24:4:8 +25:0:18 +26:4:9 +27:0:15