From c28c144fa2ad4b82155f3661525c1f5b61936ead Mon Sep 17 00:00:00 2001 From: Jake Ginesin Date: Thu, 12 Mar 2026 17:29:21 -0400 Subject: [PATCH] moar --- tests/paper3.yaml | 19 +- tests/tcp/pan | Bin 115048 -> 110592 bytes tests/tcp/tcp-phi2.pml.trail | 92 +++---- tests/tcp/tcp-phi4.pml.trail | 477 ++++++++++++----------------------- tests/tcp/tcp-phi5.pml.trail | 146 +++++------ tests/tcp/tcp-phi6.pml.trail | 208 +++++++-------- 6 files changed, 361 insertions(+), 581 deletions(-) diff --git a/tests/paper3.yaml b/tests/paper3.yaml index 76f4cbb..41089d6 100644 --- a/tests/paper3.yaml +++ b/tests/paper3.yaml @@ -33,13 +33,13 @@ tcp-phi1-drop-bidirectional: tcp-phi1-replay-AtoB: - command: python src/main.py --model=tests/tcp/tcp-phi1.pml --attacker=replay --chan=AtoB --output=temp.pml --eval --cleanup --mem=1 - - intended: no violation - - explanation: replaying A's messages cannot create half-open; B reaching Established still requires valid handshake, and A cannot close without teardown + - intended: property violation + - explanation: replay attacker copies A's message non-destructively, allowing normal handshake and teardown; after A returns to Closed, the replayed stale message drives B through a new handshake into Established, creating a half-open state tcp-phi1-replay-bidirectional: - command: python src/main.py --model=tests/tcp/tcp-phi1.pml --attacker=replay --chan=AtoB,BtoA --output=temp.pml --eval --cleanup --mem=1 - - intended: no violation - - explanation: replay on both channels still cannot violate the structural invariant; A must pass through Established before reaching Closed + - intended: property violation + - explanation: replay on both channels injects stale handshake messages in both directions; after A tears down to Closed, replayed messages push B into Established without A's participation tcp-phi1-reorder-bidirectional: - command: python src/main.py --model=tests/tcp/tcp-phi1.pml --attacker=reorder --chan=AtoB,BtoA --output=temp.pml --eval --cleanup --mem=2 @@ -51,6 +51,11 @@ tcp-phi1-reorder-bidirectional: # Expected: drop on both channels can strand both sides post-Established # (e.g., both in FinWait1 after FINs are dropped) +tcp-phi3-drop-AtoB-nodeadlock: + - command: python src/main.py --model=tests/tcp/tcp-phi3.pml --attacker=drop --chan=AtoB --output=temp.pml --eval --cleanup --mem=0 + - intended: no violation + - explanation: with mem=0 the drop attacker cannot consume any messages; it goes straight to BREAK, leaving the model unmodified; timeout transitions prevent permanent stalls in the base model + tcp-phi3-drop-AtoB: - command: python src/main.py --model=tests/tcp/tcp-phi3.pml --attacker=drop --chan=AtoB --output=temp.pml --eval --cleanup --mem=1 - intended: acceptance cycle @@ -75,6 +80,12 @@ tcp-phi3-reorder-bidirectional: # SynReceived implies eventually (Established or FinWait1 or Closed) # Expected: drop on AtoB traps A in SynReceived (no timeout modeled) + +tcp-phi5-replay-BtoA: + - command: python src/main.py --model=tests/tcp/tcp-phi5.pml --attacker=replay --chan=BtoA --output=temp.pml --eval --cleanup --mem=1 + - intended: no violation + - explanation: replaying B's messages on BtoA delivers extra SYNs to A; if A enters SynReceived, the replayed messages do not prevent ACK delivery on AtoB (which is unattacked), so SynReceived resolves normally + tcp-phi5-drop-AtoB: - command: python src/main.py --model=tests/tcp/tcp-phi5.pml --attacker=drop --chan=AtoB --output=temp.pml --eval --cleanup --mem=1 - intended: acceptance cycle diff --git a/tests/tcp/pan b/tests/tcp/pan index 8d793e184112496130c107237e4ec007f5329cff..b304ec152edf6fb9c5094342c3df7a1f1d4f051b 100755 GIT binary patch literal 110592 zcmcG%349bq7C+vTOhbUg4v-9vPDU9VMKHDsb@azFy87!DCZAp$}VgUF!}K$!pcRrU1rpGKA4WS0O{_FI+2hLMk)< z^mN))hIUSkKqP*_a}*B>kvJ1>kruxwA_E}`XV6KQz>cAFFn2nOS{y%RXd!-X%Hb)4 zXF;&Ac%qW5C&u&m6XRzydhl$KSWqZg#m_+;iAOl$4vrJ<;JD!VghmdYgZhzf^jD+l zR}+ze5QQ^v3~~>hDJ}gb{OFiN*Rjc*acr`U(SzrA$#D1u&q3T>z%e;_^kt8+T8fEU zejV8*R+B$?*3=bB;>~k~K@k0+jIQW72^X|_dJZ#9YQA2SxbpD*d^XDxnDjr-sdgS1d z!-p(cIAj>JG3i2b-FC+mmS3>UEC>z2Ukd)N!(R{l^}-+hqWMXUVET#LUXjTnP-9R9lC&w{`IxM_IyIT?$rJQ5z`}l6 z2(_2Kr~~?29ngR3fIhSXy0ZiN;ST5%JD`&Tv?u>Zpj&`x{aXM+d+A^6fc}05bn?yi z_>Am;-rNCwLk&&|x5Ic&&{`c>L+{c@CkHEhTT;s1YE zH^vAZId8$d$L5WgT{!>I!bggWmn}_OymUe8h}pwN%*&s>_>sX6JQAUPY8}9dd{1NE>09;QE!O$ z;`1+|yD$q^Y2jWhK2jKY3cPTV=0odII~6bsz*gJV3x)EMZ-aoQ#W zo!a8yugO3Uj_)XLw}DRMrr@vHKsOG8R0BOYwj#_413ftQBzlX1PGd{`cUQ=7EjkhH zwt=2#pvM~MH2w_!5)AbIK_bo;13frarRZb>eSjf-s)2r;fi63bMaeGlU$#U+E~{}w z1e#>$hNyZWFyeKP0t5buqtq`0R}?NJq^~)E-+)&rOjXj?#KJF7n5v?$hJ~M^FjYa{ zIu?F{!c_HqYgza)3R9KyJ;%a}DNI$(SHi*%QkbfkZxIXMPhqNBzF91MABCw(`6jUN zL<&QDeMPaHM zz7iHbN@1!JzC|p2fWlN2e6v`14~3};_$ILMb_$d0`!ZN~3x&z$eW@&5M`3bxpM{01 zC`>Nyi)G>eQkY!ZC$R9_6egGUow!K)zfNHbg_~LU6$+CJ`VN# zx`j9hL41kz$`A^MNc~Dl5M-tNINh(Nj(pGyeBByNgiaTs>TfpwlUTv0@b5e!PRNEXSRdhEsnNCO*k3`lUM(C~x)2`aX z-IP;lb+yg0N<-Q%*;#8=PSmR1Obzz*+M-5cBDdix)OifCStccq_NEGU&ie9E&QpG){+5=G> z6Dw6Li>N)^BMnk0yK0YjGwt&KL#pUZaxODLPE!LUYVMXsC$+n&!C%H=m4@2GU5U6& zH8uDaz*5=nTRWGX$(C{(Y_%L?FT#LK3M$T#W*9naeCw z;3-u-mycWNd34m@bDb>_(v!czL~`V9QF7!xv37S{tXSPp4TVVgT zz_hl&ZU*2sND!UNgtVt@A_Z!H=pml%Oa#|fj?UI!yR60>k14~HA8Px*PUrsv-%gPFPZRL5T$!Vu3 zW0V3iV!&=1kg}t^qcs$C1~0g)0Yaq+?KjD;n2Ucz|AhpJU^AlWJ_Hhxc}z83DdJb} z(J4Ol5mW>i&G!}>Bs#y3^XYp25AIa>QKFFEBK^Has;H@V-XcgZva80<)XP=Up}vug z`GP08?2IFhdQfkZ$%f|Z$Ul$|b)QZvq2n@tWIR5|(bcDX691(U5ow zbmTjAdVOOKFmQcW{Oc@LSMaG~d=7N!>EEM8v!>Ahg{$*h#K0jsH<^^qr|aca$95A~ zaU>8k`%mlcK2e#yL6_XW3nv)J$hEkColoNfx?FklmA$qGaWg?6Quz zHBnG=&IJO@^75(;B-;N=5uMh%k)==+6P}@R>HkP}mvvPR1b@0E5b#&n?y=o%n_`>H z904X>4h_o!4h#A{*ge3C;naK7_?*SKOEt;X032*-oa`c7I5#9uoo<_En{Jz7n^|Ao zJae|d5FP;qDl2DC%kQvDoMo3IDZxuA)F;ja0yZyfCFC|XP%gI5DBz=`T{+-O1=zU} z?e9jkcxKtPrU^qsxoodg`ZQ9=%09btM2$Hc2$auCOLgi(R)O8El-M~h%NHj?Q;H4a_x^`|M70HXP~pE-pf_cjS9W%)MNB2l|BIt z8X^U|JKw|#F*~KjrZmcHplLT*Bp7)a9PGHPG^%;O1_Dw=mTBzcQt1Iygi>(WgEOoo zJL^nRMa0<09p=)SqLWBbR)`qZ4`rIT)4KZJHX8MvEH@Em=2rd`smA9Aa%+!tvo);V z|G;cA>HMSwUkW0$_8_0N&MvWeHQ+9Di|iV7LN5EM=uWK;drw0(R?=!bM3kNNCWl3; zxGAGF;7G_Q33PRQpCMJlJR`2mf~%R3#=pl)Ltk~uFJ!idQ^C&hf%k;Y=SxO^JVAYs zHGO0)$CpyYXs|5$kH21qNUpex%_yqMGXSM8j#?R&zBqb$r0j~o(5E8C{(hoRN#0bt z*)bh$nSBgom%Op^s=AuZvjv;dB2_FlIS+SEzvM`hoi!0s#b$U5`k)DN`U%GXmX?v9 zszrJY=KP^^HikRj!_;UM>sbb;>sftSbquo%LW%W>Obo)LQkrL!U43H^s-`(p_@J5q zr9QJE6=`FZ-FYaOeKNdv<>^46#F~q=7|^+53UT4KnG|s*F3L7b&%VK!#T2GP2jxI@ zw*;Hut@%u=UFu0@tN5-X69whCfj$p(r59S8l@}TTe8QrmHve%!|B7FCOXm^Qq$)#Q&fa7M)gq+x{YrJnC3b0F@E4H8{}SwB!wrIN4?C${%ga(K zqdOMO9v`06B78RzkviLquh7i-0YKM&>X`Kq;1jjc7J&DUxQeMor>>MlpfblfL zl}icY|n$df$BHj-kt);24NM`wHq4n!lky;9TAdXXk}T>DeoAVXLN_eKZv( zG3vs4;KM5$t@v$?Z}h5{Jkxkmf~Pb-hU67*l-nhi(_#C{N^3UjJylbqiqr*B(w z4dPCL*pS^lV4{8!WLL}@N}axC*#SV_)gZD71IL&Zh_Sl|jYPyh5K*8+FB+eJ#*P7P zWc>YvQsSrLgfX83Cp10f;zM*{&Ayq6UBUnmL}yE9>Dk4wW`Pnvfl&Ekcf`x-O|q0( zr-)_>;6@kE^kNqgQt5Jb5m}VZm`D{* zP~+@uZgFmkEN9oC=LoCT5{p3R7Tgp+h2g3Rg75ejRLU@!?22_Xa&+gQZf;00j90j? z@X@sYp!a^}F&oz;3O*Hmkgb|c#e7efQpE=7fAmJOQ3RiE@UEk}#Z>HZJP@dY>j>4I zaPT(k5$AqFOGFb)-XiekiGKu*`~Uvma3w?rBfda{Yed1DXdIr`Q?IAg?=!&$kzg;N zg@GTJC8O>z#Y@(bJzBzz)7iNxiW{fo^*V}f5Z_CMQ5Zt1n3iNNUsDgd9*!zsvmqFE zO-qVa)@(x1SBKofIm7G`y4j})E>@%i$nGUyq$(`bAl^2N3ZPNE=8i<+xyj)3SbKa- z9r1|@^10?F@bOsz#;|17u>{msjJl)$1fMMnNTu{(ta{f~XgHpSm8etciq4Hv;VuIe z_uz{#WhHE}>bAZeseF4t`viZ2uLTDhy~TknD+9hy zOBAXIQN0HU^x?cX3y?MQ+J1j%X{6PFJ* z9ZaTSTqY4NLt~O`WWsx7mS+xvva%88lS-`+`xDZ!0rzO=AAN8dSImAUU;Ft#fZULH zNVp6pCIjbLi{iuZ&}n@KZ01O1bUzm?0hlOc{x6Qg{4T_Lm|d8{Gyn){#uYw8(o>-a z$?A&+1$ zkZmv6nc0mgO2eT!jvt`R?D$jW{FaTSC{@d+fS@^-}(k77gL(nMH;yM0Gae+p8E>-QY#LHb=l{Wj=V zNSUxZFUL6O2A94P`MF}Ekyl6DUj(l<8V(I+@Cs`{K4MkSo2S=r2^sOy>4KX*g9L|< zkOZtMl>L*i%78x(Zr4J6kOgmfKIZ8jYCqjC$jbKt>WLwj5UM%ePk6O^T3=J zb2p^w$mO3!(zf+F1=OH2-Pvv0fQCWsDsv}g_0xH#??2j4GKiA+z-3i{hHT5OVYhhV zpO9KwZ!RuCd)^KAWHqu#T{{|d@p|;)_2H>!cAWYU#2Tdr1rbkq?1xu5w=tPd*Q+50ZQ!(3#1!>6O5X??UXdF zsX$7u^A?k5qH)9h4tUdj#Ait2%>>Izs+{T!jr@$p?+V863C>Sk3o33X#Bu_yC0-1a zqJbVI^1V8*9vXR^#;fk4AUrmsXc}dE9VI=Xb2xGcE$pFH=KmwzT?OKALjgOji>^-;ZdrkeNO9SpVQWR4g$XZ~ zEl6{S)L$(7CyTiiG5$lYn41A%O3FK$**upb=JOQUD`-v@?gB5FB;)4Eb&HBlAFWwd zELdO6rW`M&Ajg$gfbU?AIt(&~jQiP1d=py8ZZmEP0O=_!2~){4Z(v=TKi(ZZGHqM7 z+dQ)Dj7`ejq-@>xvm++sOry#1qw}mO?Sy~d>3Wuw%{wR;ZOSjKpWdBz4^cZkJR)nlvTL3~kKz^n*n{ zr}bM(RrIc`9JITa#3{#JH>nqph#nZc%#)oi@+pHqOr{dBV?c#l!~3aZoEt2`VSarT z$x=NUqGIg01{}G>#}7~m#;gXRDhZPC!C)bhsUJca-j@FvS5)Lx&w*ZTwglDvfWXSP zRrKtX16RTu)yI&W$n*%4lmAHMe2r|;$(59iT_X?I$<0I_p^@piDrd5em|UZg>G3Tm zZz6JMjZ70xoSYznd_oftCeg?;k-yc**Xra&M6T1w^eB}xSwrM^H1cSjTuI~?HFB0t zZXxpHAj99U!;DErCm37V&kbGn12@V*J^3O;t9NKzQgrefB9GF@H|XR|M7C(;kUlL$ z?xK-H<*=8Ga!SjR9#wOFekSr>jXXdnTRMZhK_iE}Kqm5kG&0RyaVCq1{E|iEx&=knhsSA)90nd5lKR&{G!@xxYrX>Ev}pj@HN_0b7XtYcsd^ zje6?jE+FsI$e}WxMdU_}JWWqsLgaNC`Ffq)OyoanWUEe&?F#Y}8aX7%1R_7AkwaOQ z5P7mjrgf9tuxp8I)yUWAhKZHDo_mGgJ;Ol>Dql&d|9ecLTY( z4S5lfH-pS;`un&FpLnw8pR?!Jp}+WUQKB%;Wv&_L8q|VGYpHaS2{(72V?Yp{tNe-w zCQ+;%wpAlb!RN*SGxL~Vj&+`ol1jfs*rx1E&x=~ArsqX3Kj^|hLUyHkQ=kp6Av?ZD z-p=1TORLu+G2J%mQI&|2U5_V};89=MtB95J(Jo^~eq+gNvxUr(v7c)}+KD{oLeoP406g<({?l|hb3T)Z579Mb(enWb>R(hdkbgfkS6ydL>$WD}=N7hkf z9dEU|n{;)2kdO87 z-b|hLHPNiVR>G`;Ut}k=;Kqp>9(6RVfRb~S-|!SL+J>jKm;uD&b9x|^Ux%mdC78UT zPT~eURCW~Lusp}vVqTenSlKmv<61;}C+Gr9h5-I?=o~&-mPiu|4&o9_r@nz$y0Q2# zgv-ru2-3aFb$lG*yLul4LEW?$Q^8~^=klaz(~1H-B#X{=7hcMBZjAVZ^kb3Z^Dp_M z=>Zoy?%ee69k(do+DgXu5sLiqvx^z%VKD&C(+9waGYdsu(G#~=$vZYL8L7dki_8`7ITI1qaX&R_Nd>hMA62695Y5fFfCsy|(?c?%r>EcvqFRlT#JT3uOOBv4z zFlOBMB~Q)<|Cp(i&YNKln`3?ki10b);e@0)X1i-dDz3*%-Ua4d)0cK-aBl>2x&1JW zcV(_?X{;K*ht26-VK@0O4Sn{HOd|`p!l==CQpGAhzuGx8XPj9{p35eTM>JCUlwFWc zBtgt+G+_+;?Z1XIxL&Gwo-sJk8Pmu;v}t6zdHWhE8q86qoU%jGGxTl+Xm4?pInU-i zX38#SbGRkq6Uc++Z>Qp1poqm>#3?vQ-a{@5Tyyj77qp2NL*AfYu+F`$8MapbT%G* zbo1_JGW_ug$bcDjm-$zUkX;k-_%@DTE6I3j`D@AZAS*;R^K0AzVUAL&h+p$UqENcs zk&V1x>$)#{w@@aqZwH#vGCK9n ziWv*mCFe{_m!fzwIPXk6^IXS@=Wu6N39-O>E<8yxyqv**Xa$e{lEY1CrFwQ;y2<&#=Lu!4Ju^10>J;WK$W6QCq zZHt^=i>AgbsoMMiWG8A*|m z9YmTb(%eC$NReU(k)0^AQ+tuHESB8e7bs6~)<)T!b)CoOZ@*2dh>OiuKF?0s0f=m> zm(#zN$~wV{wpH~w_OsO(Zn?7`i$t5)(!$IDwev+MFg?+U=TWaM z?yS8OQFdm<9qwDPtkb^QoU63J!g$X3Lln+}sm`x|z0&N6)trTrexu?z&F%*W@`^jM-G%B4X_(xbStI=k;}+EDq~B;XI0X zZZ)P(q>9`43RB6n1(;f7idCKwwFi2nHKlC=kMrG3b+oS2kgN^@{Qv<;uI{ESw60S! zZBw??9_UKMZRbo|v~`_#@RnpN7Pn$u=VpCfXLKj5+(_BvmZQ)@un8S)U1u#Ekge-H zN9#H_2a>*&QT#L`YFyWe6}d#QnHo$u8AC+R-;U?9?*LjYu>pZ8e>x2!sLTr`faV+Z87gp}Vs!1&BY`q*4i#l5^$2^Kf zojQsy$85&B&elLI?Q9Li(oP*n*{h$dLZDF+-~O3HK_BsyAqSu^*Rz)l_YgDWV0z7QU6wa=WOZX_~tWsNx=Uf#NLvv99IV+gvDS{l6O+4 z^g2fmIsfYdC3{k*?DF|NdmwB7yHdrZ9@*(fi+=RKM%|7J?N9@j806n(fwSR`BRcig zsAvql%wK0{^e`fgO(-$i*3`_X;i$ixSz6p^x$d!GR4&)2pOV~%VBWIr(lg)TY|r0s zr<}xnv)JAL?s3ksO_cEj#oD1DqEE%HX9Iqr+aKH8rfcF>iRftavn%1 zIUif}cvgeCyUA7}MLDgjF|rXH4>_%`u#5XMC2!naxJ|Caj0B$$sQZ%cNS#~aY~{UZ z92^wE)u#z-`5c4f{46|>=(BOH2MSEGj8}Z)m1eA3#0)8JJJnRGgs!PrVYjzvr>$h* z&nP+L-Sp{tKB84l+c7a4LDt{9qL-|w?n!9*C&!ygEC>00P*c$_ywoxOy?1Isexj$ve3Sw@Z;qU4ipJRMm~Z**r`8*#x_kvn4lwCq~k&+)Ks|6RJKKh}g>U zcyfr?IxUtDLJ@ns7iKdkQfAQKXz3ui27`_O<7yt6y{mc@LT`2|>QUfqwp8~(Zj34B zE>74c7P5H`yRJYANs7BoEK7u4VrjKw9(Vq9$$Q2t>j?!U^j!nX8Wu_(`yBTid{wJ! z5?G9l2(6aft*w?+dnXF&4kYw{?X*626*&rS#QxApC`#lrJiQQysfrp(_Yg@F9A!+e z_s-F?Uxid$E<7Bdd4`Lf9Q~#Bj)ywI^p0av#pD}$kiZYJdL0$oYo`ukiSN`X? zE9eS#SB;%kw6_F{>J}93M5Nb3F4wdf(4F2!@KWP|%FX{iHy=xU%p19vV6tPdMxd6a zWGo1&-6VZ}&+E0|_r$n2e)4nB|=QL}54nVH( zmc^bQu;*i{N4#$uYlB+Q2Ax0~^cGT5JM|jQx4X@$C71*(eGvhg0z7pU>U)Y12#Q1Hg{k#?|3Zcy~=;TUHQR|hcElERN*Rg9pf=^h!{sNr*&H|g6$8+ z(hFApW-!@0Rg=Zl2P=a2I{KjjvSVf{3al_GWd^4qhW6(N*eJa1p{~wWSu=6A;1MRx z7TCQ=^%6+$%>YeJIEK!mQkabBR2-_{e%i9CInxn+&QH;^D4JFl@l{v!3Y|9tL3IzJ zsZ^-*8_gzU`BKIcoA9`t9^!bn>+UlRG^h1T(o-s(f{xpJmfS&Pl1{x>1j_B^bS3E2*DETxGPz{7b1|sT*|;r zsb0}jRU_!MuH>l>A(fLusy`X@iwBo@qL4O4`cvq29m0NT&r{N6oNNR%dwPS&L8nS zqVNDWW;%d)933+lXL?V^S=UD@Pe;zdC8c$zq(0C{BUK zinRwKsSPSmqP z3u*%*y_OgxTh5bNOL?;8#3;GZDavAhlwV4G=D4>P$Hd4?@!88hX z20zt7!Fv#-JEd)^^MFb2f<+Gcy5zhX-+w7~+tDBqo|RVvOQ2Qq?O?z<#NzEGxl3KJ zcu{hBn|%own$kOJhFDg%+Y!6ncQs;_g^eG=vZZ}EUetz*=) z8uhQ7zi96Pwi9%Nd|VeSgsXAowDv)?P}BwM-;urGh;dqn(1ld`ITZ#BC#X+uL#d(z z;0w*>KrSqEpSz4i(dss|LY3uxg9GtF&w-)f z>kOfnMgxVXVo2MxY!tem(RkxGxz;;duU02DR4yb%MS^j>59yIR5$S&oWU&qzd5d+; zKS6|gBVI3~E|cum6>!+SKTckUj(<^Oek_)l=ZQOU_CBje7irN}FelIXiK73ZN8e4E zdLD9()qMx9v33OGAD>W54 zWA=S?D@3w$ckzM+oL%BEIw|6>II)#Wd|>`pF1A!*odYvOTHg@CwKwJM602f> zaE~pc_2+6|8ciwUR?h5IilT0^tY$^pCrsx29e}(~(e6RdsaK+OlpKME!7O4y5RhKC zd}mN8_>+wL3t$AtmFWLBQzDo6AP6q=bFB2$X~@@qkY?mvVj_fdFN#n`B;dkZf|B7y z*4vA6jEN*7o3Yq&L|woPgV|2;Bl4zy;As<9d4AUqS>fjrcbUOTzQnp4T51JH8pHIk zeQH7iNHPCm5@zgfwVbe|h|+g0@GkKcjCGO^!~cqD+DpOg{0|_D;VS^K(u@O3#;&q7*kK(yx+ha zf%wA@K-+vgkQ=m-J(a>}AFoqQp(j?HfQJn(^Y^os&W1U2Kpw=eT{&z*3RS{OJ4~og zqW7kyp!pZ%+9MI_G8W7c{NB(60p>_OXmq8D6WQ(p`1RnYSf~a%z8OIe^RhE9DgG3! zgp=4>ZM$pmBBaQ5K5jvC9tEjkpc$axiJApPJc%OdE-hvr!PiII3KaHac^m~R=pl0a zP^1AB&sO7;7&3YzJrb6caR~*=RiIwMsE@_6+7V*`5@kQ!Ca-E>#d!8px*5caKBCB@ zq8H&Q>9(aLgm}P2`IuALo8~c}f|&m0ivE~ic25Z?-=utn$&=Bz`;0k?bPZ+`RaDIF zHx(T#8T>vHYc=v+#3IkJi?laoSj(ec`ULjGdvHjHXP%{$A!~u?<=T2Ly^pN+ya3sh z91D`kh_|~6G5uwY?+TA=e(VcQ^SyLZx)yVZ!sqfrw>wH+>te zdJVtf#JWP|BAy~2C?Y+@-*BQAPCufO$lryxm3pveg(Hp%ltqjmCux13y9&~$-FiuS z=4B*fH5rZQS-2}|E|{!mOdNd~GG-k^#(#iQrnG+e^#$n;+ohFT$LIfs8`)cA_U5Zg ze1S!K&BfWS!FL01OW8>4ZeD^B;6-*&WbPwFxQ~n>iYo&?A`WGj@e_CkagP-!?CE7CtB?DUJ#$wkBot)RBU|x^gA(O+!sU0klwHNKx%posbS7XC z#=&EXgC4W7iV6;0x*REfi%1kL9^&`?J5VKq*W+j+pyVALR@@RpiE9AJgiDQjX9yi%i_KkDfQ|STwOGruY9&w-I3lzp6Ih^GloOpX0ey`06gKg!) zuU>)|a8KIIdQ|2~mzI!r%#%Lv3{QHGN0BETWKmT0$dlF~*5rEzJSMsCp*yxia4lye zTreP~H?FiQ+wj1}A*O6`PejAkw;HiDSL=?(a@Ux36iUJ45Ai)*RihwLCHJdcJk*HL z>gN3O>Ts5Gz5jT)Q>t5kpy}fVr}gHjMD$mk8^j;3#znSr#!HX&)X1Gw0P&CaCPl;{ z)V^sGr3$Ik?1@6RtSBWbDx>s_RQea>QjI@s%23vT_vLX3 zqufQZq>Bg8QL_gX(w$AdM-YWfoed@=T@oezsfNw9P=&vnP)grOu!ekR9>Ee>+`I~B zYVm^J7=rx}!TfDUb6FOaxDDi)9P7n0c^sKYuhvNw+p%82*Nu|@AxZ#y|EpvmFYCxK zKEUPyxRns_&K9dYO0xf2SZzHqafyXEPdc1A{=>-4X$nehgk{qpIt(bpI zkS|$bM{~J2oAbS@Jh>E`UA9QQ_l!R3272qHGElrP!2jY|0ne%Es}^R_|!!qWbXWwe#S0${y#I zC|Ef|kh1p_C<)n0u?1_zWNH*~o=Od(x)m*b!f!Qn|+sbtiSQ1oDq=gCmC`vKD;=XX)` z1kZqalA(~1OZ@Uy(z6hHYI&M$o|ElKN9kh5&c;57EluN#X z&|kChXjTT$ecC~{mYjB`;OLcvewm|Xp!a1P^)95xwPd(%EPL`24;>7KDM8Fyk@g@H?SXKd+-v4;+PdK(vlcQFoX03$#ReXEWR zxx_ULO_hwTI0%ika+Ejq{9Ce^O(1#5 z7cv=|dQ`T=xQfK*7A+!l4o8zOJROE^Wl<_d4;>5^T}lkhoB`aS@9o5ZEV>2?su%Ho zxvZdP5N~9RQN=>`yq8HurR$-C!JY^S>iZZrYxX>oNjinq&q4;KhYKD$RFPG84QF!|?l22M5_v*VVJ3Ri8RIU#C^b4LFjDpdRoRmV`5Z7)N` z&QMS5dHrsCNol!l80v0@V(sPMY~hB5ZHky-fzY~zQ0=4EPwmaYDuEN3)5f`<-OaX9dtsj8?d+g~UPt&KRe z6}TNw41wuNeTRXaZ{iyGpKl?x|3_!+N%)5t9?n>{mRJ~?gw|e6m558tfWsK@vi?Z3 z4F=S2XM(=}yZ+cC9M!;3%pYTzhFV20JddhOUiBYl;VXdh(4k7w@l;UilN_H13w?QW zxP<`jxcetwYOXGFv1T6T$gNT2&Aj_(sGcE_?_*g8+a^OTASpd`s3N!EV6w8hi;W?( zWPP-;n>x zR`_-rh7g{vRN4gz_(jl-^uMW%{;lgbKwAET2tSeGQNNvq#Nu}vhJ&las;<)URJ5wh@Xk%R28*YSEFNTy32%_dYdv(R8jS;&n&elbIKBzj zz}v&{tR_bG3%?l%;Ykv8(+TFuyE#6(Exz@AYN#eq!KvjO-@@@xG@+&_#B2Ok4?QyW00r|&VbPj*v4a9 zXO|R?+JzmNFt8_&?Q4`(Hy5v<nX$?*vsf1eSrtH66uaxf1as>oct#QPJA9oVA)=C*Jay^Ji{ z??FQ)PR3OK$nnV>|IG-a37874yRT5C8A$j^9G}7QFB|c#R3IPs(4p#j9JmU}#3Gin zkU5LVMi%X>5E6l!d9?{^$zXyB93N-Iw>Jo&7Sb>XAYoKDXOYKQY#ZLj3LOsusLxQx zbNnohf4(igwG~r=;wBhE_!y2a=J>l>;V}q^V@=;RNb8|P)d(Fwl<;5Df;fz$IKF!; zd^`0%gr_Uj&GG9r{cmief9r|}kS70d!jETos`qaa3qw!U8kiOijAOvd*83a7QTvYS z^?ra+R^8)xGf7RNhYp5%ONLkf&hXB1uI_(865u{$G>jG>mu-aYe8}k z9jeGqyu^p$O1+x1Si@P&G_q*l=|d$(#!&ZS8zGo`Eywq3i*N05qxJkp68D|ITz*Kqu+t?=!5TnJBB>eU<{h0!!x@0kq$Ki-et zLioKZ=?}*#qa8+m&*RdOoD0r?uQT9f2aq>~qvi**`~AV{&Ecq#48{7V$5V|KW}V9r zW?||GJanka(!o?#>bWDVgg0>uTf^|IWggjTI26K@%BqLsn>haBP(%K@litc$P)FjS zL)BOuxUI$zi=~{!ZqB00$ig@xqK?EvhpIbtJlRhj$??q`|5zBFsc=Ut6+(EDL_Kqu znLy?EF-E+u0Kx)w4We@jEShwk|jWj$y#d*0bBfQRZNFzhBRC!%_p77-yzlh_%xZYp_E`RI$ z#}J;bRGH(~YWlauw;l@tq~$-6@KFp;gQzvc;&-aro#DW*uyo>oc-VPYIO@*~#VSp6 zicwcX=R`9+9y(M#po7Wk>NEy+7IR(KhT)mV|EZO`h43W2+K1yyIDVE9-^$%+uP|0c)( ztrZ^b_77%)AxP_?L)A1KxcpNH-<#vtas2dF_;ySFeD&hak z@Z@gI#Nv0{?H*ll2Asu!mmRa;7mm7~p_scpGSFaay|{TBO}8^1I#lK9crv_tbRSc< zlB+w!$ig@lq4B+k4pj?vJjt)V&G9uHfBZUw2;5!Pwer{yo+MEp*d-Xw#q^y21S@{K@w=wR?TGQ2vP z;hpp~WDNb58(Cb=<7N@QWiKo4D2^X%#Ooq(kE44_4;`vVU9R|SV(~F&5zASe>u=Da zeUA&37#Tw?;`juP_q4^g_P9_pKbP<$I6jr*A8mz)$9=&(j_z$ebf}t-1DC&m@W1Y1 zCK%1}>8hjy3N55L%Y-9-9=d^NOGUYGF#~}vV4TUT!|HRxqH(il_C+XJ`ARKk+{s!+ zScKcCu5;l?GksMCD z7beiF+sX6=vkW=E5&OYJvbFF|>wSAHLZtLe3C%JfBDj0uMHELRSyO!pIb(@us%gbt z}lsv(9j%O{&dRWXV=eW-I5(-e*3c_Z_|qzOVjVZvGSt*r$cqW78d4 z1@8O6vf4K_}WDne1(=CWHGD0&oQJU%M^XfHFdQb|aE#smYR1IMtnT2@V!PLGA9OpCBvBQvB>{?pt_kNF~?6J6U<~k-ZMQKuycA@XjoDv%IZ9F)!34 za_I;z(W`0(lL(t@iVL;4JCxxT!rNVQl9KVwCv%vDXVqUly3$hVR2ZE;VJ6#^AAKSM z*!)v^rW~^78tP0>OR&z|Uye6x`@t8+xy?T^HBcC%k^9N3boVqz!Ps~`4d3Cop4v-z z&z4Gh5n&^}8qk2kWWFMmz5oViBC!nqzr28{U}JL??3^$s$>PTcmo`S^rXO>R%2kfj z=W*0e){}glR&>EuI8s?LKsIST_T{K?>@2t`i!ZE~vcZG+_-n?yR-#s57kk^8&d9`u z^ttYZ5#!wtbn?GT*0I39VzCP>DS{n%I!Vtq;|j_o8I_?*2MtjxAbx2YxSSEd?h;GN z>at^AzQsI z3GQ+4NS(466z>EC)nr`xqnX+KB0IrQ7ZTbl_2IBafwTYFVAF{G9mQ?!rtHd6Vv`oB zEI{_8Hiv(`h53aaG--Vn-c0bSvhqE4N2fiYq|)aZeF}EN+3x64klrMfRS-J3ckf3$ zIs!3{-IQiWHd^y(29;;%3O-*(pY%HeOE`)mJbwZm8?<}>qQ^gic<(AQz(8EF{ZU*? z61*Si2_}H-qt~*80svQK9=V+0*CX3!J5HsNl4Ivcp2^ zK8HFEC(NVm*j#aJpB3z1d@YRjD9aaHue{B+G`4_L08;D9Ihnm0!uk%qayp);MxtbF z1Tc3J8}zumi^4Z}kfEF}BetvH@Uc%!lLh5$G)Z}tC^NkJ)o7>A$R97~PqfeuP2}J9 z^k%7avq(h|-+U!CZgF@=B@R18Y$zS)9Q4Q|=5tr{BnsUT%k8zwR$9pK)+)t%Xiq2}l8j)JvvYVZ-Uw)&$ zg>i)AW^^Mf`%!yVdIdz5-HxPL-Xl6-4FLWmR6PE^Bx+{Sci#PoR&S=5uHG$lJq*|0 zpXn+YSDZ&|Y_K()3>xe*-20o()&>$ER3uWvkxU!m!D^}Qd$1+w_&IMx_yizh8j8bV(aXs2+r}gP=RP<$3L7diSc_0~+1o&P83zWWcmMQEU%l2%B zk_rgaOR^SxIRfY|(b;T_g_&(^Wx4GWTnfGoG}pkau}v5IsVCr$J>i4i?@8I4C}<{^ z3^QpanG`lNIc_s{4{s+14U$E;i|{7c)q&KVioWqiBUU}S3K548;azqWf_o|WHG)Pq z3S#)k>^F+8pwwLn{2vPbn}U5P_;(5(K`=O^TAE&HDZ*|)ixRvvY-X<&ggMqOV>Z|5 z(*6mILbVpvez+d>7^1v)P;RMoMJ}&C_#EVQkyE2{+wK^ajZJOIndcxGd*^_52CsoH zr)-j{YhWek4pfAR=+U}wDwv0L?Z^o?K@cdhvZ=Ezp_x2~%YDn}Tn#6{&|r`Pf6UpQ{25f)w@ z9lW#$bwY^beYE51@yc$yf`Q&1e>tJC|IBtrH@lLV>i+~H`77)=eBiXEZ)Fy^3yVda zR+$H~5ollO!j{bC=J)>&tgUw$)prli2fQQ}qJjPr? z- z4TJ}|#O5z7Y!Ls>nMCROpyYP9EBqEZ=f6WK>Tn>uSS22?2Vstmeo9kcCLR^ z!Y!z5xP`+A7G*uO-a>CGDC8yk@#;2&0n(UVYJ3sDJQKzQ0!@_L^FIt>)jK#i8u z2mi9gB1liWh=}()>!2^|vQ$SkZ6FbejZ(?ovEw=_)~1r;u0k8*q*M#h zWKp0$0zMky1i#3`w$$4tRrGxdtMsG_zy1x=)8G+^zY+8Kw6~^IdNW!^Tt!G_cj2m_ zQG5)`drWk37oO`zz+z^ut_6(fgQgisCROYR`<`i^S_^&86ff|f$BHc6^P)?;c{4Cj3B(V@Gl874Ln|y`{16z^1`2ttKQ&tQ7z)58-p=FAdD-P}l5@Lr zOhNyzhpDnr?#yOa-w?8yuMy?pjl7ofs>g)7jhYI9eP&Inz_dsFVK0CG-nRh>@ue<4 zmt{gCbp$Bo;ts5><3x;11l%rO!^rg6tw!-99O>66zNcTc#06=mv@3i;A^0WsC8X|8LS_az8gJevFe&@ev_EauAx?#8u!lKMc30LwU({)SIwe)yX~Gup zj_Ei^Pf%4T!7jaJf5e5e&Q#8l(GIHR^G8MC3ncI`C!*+TMPKh4mgBB&*rj?AHgY(A zBeuKPz3gcpyf@&jVUZq+oYXEW$5_TDMq~3VrA*OaPf(x_MgS?$gjcYyiox_2rdW1= zD8{DE*xnbI_LA0@3N^3I7I2d+mHrzNu5sUO!VMGK2~peU6qv%8K1`V5bA7&a96wuZ~mC;{&uPt<+hoN4|(i zQirqbSe?&w#Qi{otFv8?yA^SoI(xfxqz+}p)d@CX^d5RHbJ+1p0~~gYcQiA}%iw{m zqSjb8%tqI{)2XOeS`HXilHiscS? z(Q>j~D7W$J4^h4RTPE@P(ak%HWtYsdqe^k>r&^`J){ImerUo~?y%o8{nRzY!5=-}%guRKdP2ks(!_#qJ{R+XCgQh?_0_m&b1& zpT7Zj+z}p_HISY11JVTC(dpP710O{(owH%kkDXF5_i9gR#EvD)2S#L+7vq}{bQid( z=m=VohU{SxXrr-F%P!K!!c=&z+Sr!^0& z|1iAW%#z=UfEi<51d#F#mJ)`NygS*AmD74Xr7n`3)&Z0fdwe%iVdpBU@@;ig4~$xV zc$)R24>4$GQzbfL!8f1tJ5$L#Q80WyWD~l_Q9Chc@J5f5Dwwo-e!0+6Hh(8 zn7)1dCyY4Zosh{Ifq3;lOW*}*C_Jb2d4!pQi;zZeU^YSg8LL(rGP;u3zwrCPvFnkv z1%^4>M5g&ZiK+KM`{KNbIVW8le@&P;bC@_0A#s)lGKA)iv7Yz9kaGGW&8ICMLUR@haH&4uA4m|JA8nyRmbmZ6!7FAiv_qBv6Bfjcdwj`=QjpDkO0luqmS z)fVof-_b=;3IGSuJQKh}W(@5PppL?uyR;ff@Qvn~RI!8;BCDsO=6fw~q4PwnpkDt7 zz8g;yh}EMpYovctyeG)Gn_>yoGmGGtFQA5fi4kx^W>;pKkXbdG)Z$)`m4s%KX3Ujx zo7{}N+a!O1CD&|1(sP?AiDZ-be3nx;xLC1S{Y#6{7^MYB(kSL&phGYiVILmcQbOj% z+yA!9!IBj1P@do0N`jX+v>-|OW@6g z?UumvAnPUIK!D}oo5z^NXQ8og$c!fYM5=F`HQJ}_R+jlX3?*2D_C8%OXQ@DQ-=4E{ z#q0ogmTru@=w=DqI?Kfc?TUIBWL?zF2ry?^i!pRVW(*fGGF-%e^dtMk1VxNyB4Tq) zv1gcwqM$viS0BLC3!?4BGvf*qmv%b1fVdw|T zT}#r&a)-MfwI@{jN`JkE9Byalpu_bQ<1r|5i3Kdee;ln(LuRk`tM>tVYC{dJR=rKY^XfelgN8QM`$Lvo ztKQTQ@#_6{U(zbRl;xDbt^Fz7&tUDkur#~UU%jqe`EPf7J%!bU~+&+JW?;Gs%0Fq!G03_Dzvmbqad-mxbva9pF zD3uN2g05r9nSK8C{$=em2E~m12hBnIEDmNCvd>$PPqWWW7z)9WH(X8j8Oa0d5rBQt zwQO74=dB0Zt)(x3tlOsu0dAiM8MF9ow51K1SMj#x-fX~(2;IvbWjVHO?A{6Cn3rwp%>*3B1*9D=Z~4zbBudJ{kx<$6s}T=skSviA81^Xo40Zsf-8a}3Xf zS(Ojjr$6%1?DH{3HK>I*BPaMj52W#IKV-nR_UZpXyRB3-$hv)gE(qG^P%qLUz8Xzl zL*}*I#S>ABLiQ=EMG~j=2Fjdj;q`REYGE1|T^q56YGIil+*vJrl5rQKxTtNq^rT*h?Fta! zjyjcbiywiuwIMTwYxywVST|@n8c7<(ULh@M{uUCv#rprY{<@doq@{W(sO5@a(vX%P zBbBD*ZU1FjHpP>cnLJRB0P@ITz_wa`JcqQr4N`||`8UvYElUvKS{89`ccO7@$hd(9 zFQwh6i1^^;9u^y)MzNWx?GIiC;Ms|B@RAKYAH2NY6E#b}snl*|&d>v$HQL}MQV0%S zeu`sm--yPkAv29zI{>#eSbGbSG>UIs4EmIq3I6RllLIf+YdF?yKF@fIJy~+rIY+%| zx!mC8ZzxK%ugHzNEMv_KR`7LOlzE!xfLV;c#lpMx3tkGrf z?lW(^4-l^83G@}M+P;C*cJMmq!H@<@W+ES_^&=h_!Q>LxGhkaK2SNc?ya!T;d!uC3 z^3?30mPdLpEo;#{HDr!%-`_r_r$C0m^3JHBzYU|FuC>2C$&zdSMtbnU^5ZejiPZzA2-GUy203KFnJAr34{xHXM7<#Z~wjbjzzQz)^ z9qe?6!hA!|u)C-8vkXQ5Jp!zm{RqujL*`Aq$d9Q;5lh#1ry_spe6YyHpLUOFpr7cxVO|vZM@|iDq_@uM$;QG=!e=MKpvBnV2P~B0PJ5hyEb}oXAz8y~ zfUa^?NK{n3lHv*rqTFN`#qxqJsD!Acl~$HkR(4TK^O}O9pjoMvrCDCG%OaJQmo$@o zzh`EiWw~g*|M&C0pU?aG{8rgBbLPyMGiT16IWy0*&+`VV@No!JNbA>-8K4s5;EE6k z52ai@28O`;1>L=$RFM0zc)oSZsiayo% zgFo|W;NtB5hGDikRtZdr>5RAfH~4*ua-p6d*8S_0n1#W@{r6~%55*={8>3b~6hA{g zF%$*w$TSo#Xvu0Y^UT$jY$#@mW*cweetx{!DRC5N$4GpL3?GTN7&G4maD-KnF?>q= z2$QZ~MT?6-Vm17}0g}*^_>B^5N?c{@zT(yDgU8tO;Lf~S92fNnBWyY)`jMzjr$iTL zQ9Y1hQ{oIfPgUe#K7?%>h*)&qi-xe`nqvsZbJ3c3wbJ@}Y@vS}6)|oPa{*}xJFflL zA>4}nH{yS^#)t4%9DXu;sUO15E+T4&t9-i%(n zfOZVwr3uOq{@8;0;JX(Nswy&$>*x9p&O=zV4OgxiI{W;cv<~D%?(1B9lW01O` z%XkQQM=!OGUe*ls)`)eyvz6$7jm2z`dUeG8F91_HD2h~FmmBCXi?@aVerbJ)HUA==5Hk}dy%IDj=U2iji-yp*W2WSq(#Z=5u5)6bYi)#;Zidm}c#41JI61YD%yv@j2G*`YBPrN<4TP+}SG8nTxuf5jLF?z9eeX zRiX~}2RcMOj|^KScEC+lMNZ&Dc=>y05sP+Xj#sN+yrc|aha=d=Ku1Ab!X{H<67`U# z#B@~QQ^G|dtsjRFn%aCyeDWF_hf!$9YBEv;+pS-fPClcM)_3v{ z%^Pq=zb33@oxFfU5!?&HGhZWvHpa1vO+$-ABgx(-K^lX% zv??;ad3zf(y`jD3-&E}FOGFt>?5!&!7xo4ZFYN6BCb#bm_^YbOsa&7I-!{-Ey&AV# z{cWwHPqi8Rn^WZa`g+XX_M;+n63xh&y@fuHk+{3PeU8B@Rp+8LKK0#|#_ET{fOf=C z9DRii#W=KNHGIM|LwK{F!Iw8T^$jDMwYP_Wc8r7;89owqXcja7BpgsxRlHV{dB0sE(86JX96_c7|x^WWN)RY!aLbXA+7J^I8cdBUR=XEX-1*d@DtCZ zF}c(>L>J9wk^=_bOACM^whZpn@hizjObV+cA? zGvRsl_t?yT*7+Wr+RhNg0PebNk+|KniT`%EbGmh|(s9FPNNW;(7B#_caeVGsq{@1a zgQ(uIW$f-h-8Oc6BJL@}UFTMt3%^?t1n%OF5!|AAFK*9#7(YX=if)IOqv5>`*uvm+ zx+T3+%z->EkhL}CYnaB)LHS(PZya~9USYSd#*`e4E}KR7T;rZnCgN9TWc*U_I(Yy2 z4Bq`#h8Oqg%G<@3eaLUbe42xO?9Ruv=q-Nkx0oS`Otx&^)PZx_qZ!oP8c=5kPg z)Y7H+^n4k83ay-fZ*0mj-M09)seA$e*@o+3oZ%3Y2}u*Ge9d!t6TZBXm}?v{43CD$TK{^_r^ zbl#0VND+Ie8wh3;rbg(Hm7mH$ZhjN-1et?&lX_)X=?{SgcPsY6ZO zD;2nlw$rhiejx0xvcwk7>Cjqj8Bf5~Vj|#XnGtKfgY4)% z)LxD%tNFlzdY7Rr3wZ6-z(c}5T*5(I!jViuT`@MRc4F;eo5?EaiekwNkaB7!3x*!H zV$N_6$HzMGS-kD{YWg@(k8sr5ng@Ba{dlviJy%PrX!b%K93syDuwYT3ZM*pe^^3p% zm^X3(5`ZE~p-^!VKH#MXd8xlr`Xj5K|67^3;tis9KWk`;D9!@7zeHcKu zq%}@-3k}% zuHKJu%*E0MxNqKO4NRp5mKLD_yudOFbg`uq{dC)6S}cz4(gM&6&=XLDn9lf0$#M)zH37mhj%e9CRNNeGj78e(E!jXdZs_r9OcKR*8++^k6yCzU^jlx1RfF zaiq4;a1$|*1V4C@_5RaSM5w;D1fan$#~Q90ZB7)fGt$kUT~skeKU!Le+DlQJ|ELB$ zBGB0NaIKrJxC`Pyh&T&O?fG75(V=)Jpsu)thf?i9hJiYZe$$U6OVwJ2@LYtKbOMnU z6M9=$#vgO1{~h}h-L{F^>yYrJr_#I@dhO;Y~v8-VgJmF4P zAZ43{#%f9!^$wz@*9_}FdlPyK)lWi=dC~Bh7=|+3K##X)mio>BRczqjv1QxIr{ZT# z=gN(E67nGCu;6(0%OPR;sm`=w#+;O;n$@@M_Uo1CK{w2@(mp*4B=wl$3*fck??bJWXPDyP)4t6A3BNht<-aouML7wFJmWjJS;pahU1wb)cn^Iso8Pr?o5nU>W3Jdq<&x#em#aa$L~eC+5gX2UC>Fq$U7EV%kPB- z?Z2YIQs2qcZb^bqO=l>Cda;byG2$JV!1O7M?NM2Kz_#NliaBt4yusF{mO#Eo$eK%_h$xG(GY?hk&KdD( zFn1Ts9Bga;g!Ur#P+#J7bVT^lvBSN8{lKs&L)5>-2-s zvi>7tLyzi;Xt9O(t*A`5?L)@n=SDnwU*kO5N|qz&u@4tXRg;gp*If}uy+?`2<8UFj zTS(YFXx#|Sc#~PpPvT~E6d@Z~bv0m2$tCVMYW}*3phw+>rqkElkTzjYMDEXe&ab~8 z9z#Hx6vJNbh>aOMdbAnl>Vf8`#5A;n){G zMtpF6`%k>)x6JDrjUie=l;oj3v^dfQ4>YQ%Q3Ip0p1VO9l?bSHMSWRKbvv{iTQV*I z)^m*l?}eXH;Ee}@SPfB_A#m$MX#KUS)l5|UPO%0R${xed)?1!NGJ5ee40v8h;gram zrK9l7rg^w?y-y(IDeHfNi!;mxFYeXeTs+LB;v!@jrm~*Dq5Wj>7!|IEf+>Dia)a5s zZz-`Zncx?_cnSvE(#11;ah?~L<2s6O4$7e1C%hL&w!~l{EK|R+5Gd;nAtI0(HeN*+ za0-B&7cUzG@v%@Z!>Lung}P=W<_aD<;bmKg8;WYik)w+VE>UNJvgR=*mqIxTHDISh zh{x|P<Uiz}df^W?rrIihT@>cpNh*bj7g|S;D*p&_quIIR`p4lx>*W84UX{Ku#K3YEoY>?{)O~;B3%j6W|ZuP zOCXA!F(qd*mglh0-@T&|#B?Ad-Xe(aBx+kCZPR@FMPnPa|LfmE9m6m4p*RghwR(6{ zfpFUGJdm3~U$arE-AdG6!)mws7YQv?m)@z_jD~)o>l9)pG7UY(Snfq^(MUs$1nNjk zJ17Db;xL^oyDl#`pLs|*dD=Oc{;dV#TQ(Nv&DO3x&w(-`p?1Sd4UcTz|Mkq&IW{Y{CD z6w;2dEEO!B6w;{uUvYP3%|-lV2L1n+_V*EKIY^u9f8+LFXr9iaF(Jo!Zs9^th9ua1&Rz^ft;}7{_O0Ly(AV@tMjReHg&%r)F zrs%i)_Ev)hp$_8iSd`eRu^+~9M{z%7!0LHK8L@~Qu%&ecm2PQg;AyAl)n8-jieHxN zipyX^*DKvD7W~*8TS8HO+j_`lag4Sm3!V|bNBqqZg9GpW?W+ys5W(DQXK4d)+=l|`z6m^#o{8R3Ae{|ZbXZqJuP~(YwxWEJC?5k@ z^EW0Yf<5dq+g&I7)wH7hr#G`1~C9+?Y>d|M~(?^l594-KCEnHhfS-+{oAxpS0?5 z4ff2NadyMT+_tw5xGy+ByejEAKZS<=q&v&Q{P)7*wd*9#E^?83>8qT)rS0QrHo}_9 zf2DjDl(k>sxr}(+gM{L9|%j#euutAG|M?2RINv5#m&NcL(AtLL4gJ`GCTvk`UX=dv;V19}?ot z@?rA!LC3WS!9Zk*X%>~4hcw<+=zyqJa znCZ&f;F8FTWCprzQTWZhWgM<0#IlVxf53xe2`i6rFbN_iDF^ZF16LIf!}ntsQ6B3c zXaNE|en_{?HPkl0s@xOWvZePT0UPlA*@@>#6gT9V-H_*Y5Y+RmeTPh;dNC^eH(11VKZsXml?o>JW?^%kW%QED5d+99ReW@wAkGu!5mDc#2t>5~2B zRVe04?!{^T#CeeI8MdP`{6gtMPJbF{(4TkEyK?$UqA}7&%XcS|Ol9T&IH+XlH=P< z!07_vAzgPzbrV%DRd;V(cRPFu@NJ#&2Z-m3oM+uEZZgD^@ZcHi;Mt1v{Fc)&d05>P z&U3$lFWpShYxxvM#gjekc0BdR`N3V9(hhk~VS66sQlid40@vN>5nk{u{J|6KDa?J^ z6~bE_b9js8;8W^55A9&(SR4X{Vo%)8iY1*SA*UHML?*rs5J+*e(~5LjWkN31}_v? zTH)!xc%s&6JU7o;;S(B?f2s5%b~f~T3q0j294A4xo|v<=;NoeeZKlVTRFxMynm8Pc zZYcCbT)xCn_CCtcWFngU!K1X8F}2|wqJoZH=*YPcPXV<&!l&KkM;bA52y1KK54Mk~ zDcO<-BDLDlKs*|#t-u6u#bHzVMhCt(@K`_Jm?uk8LHk0(1susB7)gebOTOjjay84r z56i+_qQR&3R7C04E~4L!`tcJ)gEV8P8xf^NoT^DjbVaq`!#mTNYBb~r2J=Yuw)ij# z^A6JK;t33SEMyDauPfV+$~=5)8Ivzd@w)OZ5kt$kNT@r=d9X3khvzmJ=}0t4*D3O7 zr13l#WJzS!q8RLsD6{yor^FLQOIi#0fY&;8Dx#zsN0GL05>mJA8(n$gXsn9PBmPZy z#7RfV=hY8HCE;Aa(dLZ}YoQ?z(WYd1lsQpY@CjIOE*T+W(gfYM&EotJhhv|DoSbF( z_fUlawL&ZBe9p((j3tUM6R~)9R~^)|ckLw1?qBrmK(;%MLW78>^(H1sbjuxc=$LpT z)KZq~f+xI{?{%1iKcr&}@BqAW#$yF|;8_(!Jk_N{Ux0+w@IE*o;C+@_x`2awI=q`k zdc~^=>1tge3JMJ|M3t}Ur$1uG!M55Kx)~IhJx`zmdXyD`av><;)ZRzPfw*uU9{{kTBD)l9NY$1|lNW~lmkG(X1;*HT-<=Kp{t zfP#5!tgp7GQZd-h4lTqs0ImlQ1N0-ZxRR=x<(N97&SUuY>D@ zK$Yi$!gjJ7EtxSio%*}Z!gG--N=G}+!CStz7sFKQwvRoD9`ZdHTROzAbW}j8xl4IZ z2e+@lL%EOQjO{Y^?Qr)YPVU}n$VI#&SuT{nO>L%vzWf}eCQ!<+4N?h6;a=Vu2%19= z>WXHgCorQ5qhu(uv-niNh*s+m3qYiB*Y+LG}r=1G;~2R075+mKT;5@CU1@C-}^L;nflc) z*bdbN_c7p6=IoxA7Tf6PU01x4LK<~z)MUDzge-JjLg<9hyDDv_94l?} zT;T|#Wc?dEq8J(*Z0}Nu{wy-|fK@#I{~{)91S*yfby&u(KsIlJBz)pa^;W9b63}Qp!l8LUc>*kvM~p70W*dQR zKW06XzR>Xg1?WUql#PgpdF0rXZ=mM4v!U&Ve%$7cog$mF1ui9Xm__BGZfNzKPiulv z8?Vd=s==*SSQ1xqQ@M!H;yA86g(i0Kv&>VPggT#^4({~qvzEBZyo;g~b`i3l+K2*+ ze*_$738ctFzyhKlRiv(cP}hE+euI7T&qc#Xf}okh^o03g<5!3UpVn~nrEl5)H^A4q>~`=rG_CHq*S|QdNcE^E6OY##XKv( zJhNLeofZ01qdA8AIyzDaWI*st!D~mXE^WqA3{*eKzVs(!ZV)f-qK8D4zv1Y_W{}kU zEUdrw3pNL4!GS31qwB6I`=jxMn91)Laevttx}`m_kl-Zc@h$;Oqip+Ca}@Uo?Ec#%E7 z7GY}}1dC6zunEz1#R<5)t)7jBs_-~GB(o_gx!}xgXJeWKa5Uii-yhHcAut>AMmTRh2kW&_9AV!(evNVfEO{T zR$u&qC(CIk7i<0H2D?)+Ht^a3YT~)G8(Gq}A)DO5 zBt%VKJ4k1`q3V&yl&ItJjT+}q;c7b^3X*4#OvPf1xebDuJ&=ni-cf2Hgm)?gkU^g<%q?E_?eWq zlp~T!U>ZK#T#gt+h_-~tdF2%c(DRtga@C;@DLe@5zQmcr>K&fMt>P0DyFH(V& zLi>^}1zWLl6*OcEeiQSa9&%J3Oa&X0nHAAB_;N@m+17Bx(ifn)6vJBxSZq&o)JxDJ z3~tUjbaf|4p%(gPN&faY@E3=&UD2McH=f5}dxMrDI^C*Pj{!4s4mBBY<;s1?a5-|x zt+V!V(Y*DbCNA{%{3DFa zxow4%HEgh>uXtMb6J6=1ngy_=IBW+rg>xmnuDC`6-Rwz{Bk%xJ4`^iaK{P%00W375 zAq}2SfNqki;!A$0vB6TR)Io%y>?xMLPsx6QY_)o%pvSYkMauRFIufhfI~q68NY|qi zTySfg8#WBqTPoesXHhARg4n_ky{@P~l!8&Ks=_p>b%`rW#2r>Nt|CC#{tUZa$?B14wgFDdfBENODTIy~I+ z&yINgk8Uq+QI{gGN9Vd|EWwR>JJbftE$v*0kDpaA_@`=x|8<$kzgC|XM*VpTfU+6Mh~hgbv{+9QcqXvwqw|d zN>;-fYpFwHySfoKQcZa{&CY%#WU1lme#o&9M@Bg4xG@c6og8GjMAimmB=%ltsZlor zp)DNnm#7O-k7!;bn$ngZ5St(en^nZ-Gtk;@;42QB7Y%G@q{DXd)v%lS8e%XW4C-x1 zg7rF#W&nz?s)MyMxeDb9^r_7Olqwdx4-}1f1c3)$ZihQ7XWfI}3IrAUdqU}T)Qc5FUE1=+eNY306G}fs zYN$f3+GBXTfF&H1R)d0(aoy^Jatq7h)kJcjM9`}kn= z0DWQ0)zmv`@Ihqb%kqW6Jc#OeYl7{G_Uy1NWf%N`v^Pj#Q#p1hH?BScJB(u=<=BA& z8^W=j=miZ4ZJ8_wD->Do6SAzw5<>(sCwRj_@HcAnRjLA{jnwxW3fYaIx`%Ne=y-LX zUUcEJm3s7XZc4+!758RMtsia!Foknfqw+g}m8+BQcnz#d)L$j@ifu`pQbPxbVcSGk z8fhY77D#*J&?}qiUUq&^{Kzf4eSzU6R0_pHWC<-btU$VKFfIc;jfCws=rD#~mtzbe zni#`e^wFk5Z+O3KXc^CuwdFDiMxtKr_D20wv!WL02MrXR6jiIQrSo3Zyz@6E#RX#0 zz;N$D1iCtjOaa4+T2X+F*lvV)CF%gq)@s-bjxeM4AS|xfE9~c5`P&ee8_pS=1`?|q z=nB&ab1lP3Bco8neclNn7ZDx>As`eEzWb>b-mHgPqhlr^Q1}pe+f&%a?OpB`A(f8@ z8{W(;@Ul()0s6rxAU4D1)vE49Y{9E`UZYOX>l;hdy}*%5Cs(U4r#XhZb_5pWSmZGk zN9^Sk1FF=;L_yR&b$h?qI}HtEtb3rGx4#G+fslc)eb|R}xt1JDtt-ATo8!x-XxLhP zkW^Ya&4;g;+mWO5v9ieW{-LwhW9Njcu2@7RTVI^kup4t>3!fkY+|?ER;!gA!*}`?+ z;3gE=BG4d4?veLoX-VsFXo=dWRv#TNOWRm;Eh(Cd>Gyi!t%?4P_F&^D!jyC(eW|Uqupq4bBjD85MPM6je~sZWLJ!UQE~`6V~FIt5l7`qyHH9 zlvKb)8>T>DbeEq6K1Uf#OFR#YVT)qw(0;Z0$+uz2iF z5_%ZSqE_L!O7I}#(JFRisAo4c0J1T7qzT%B)rgEm5F{ z7hWEy8FCvQw7afj5lAIzIlBl@Vy9Og#FzP>86``jW6SgeN5z#~$IBw(1Ak)s>wULf zZSC4XRGe+fJx(hO;!7^F7wgy~>}|fIpMJ%L*5+eJ-r!Q`^7;m^R7&s(*soJ?4FO#6 zLLB<2?g?kmjwwK&2wx8W5cyD%zaaA833x)lMPZyiTfiLx>IK{=;IE;a?h^qw2zXhP zx9P{rbpoCicu$f4OysKsEEn+G{=D8d0)9S#=MRf~mB{ZF`K z&u$N;TdmV>eU*oXl>l}6y@HqiLdV}Lntmm-cO%CsSi^G0zbC|S&!#V+fe23>h zd6z?*fFs}I`Mmcz9Ji6f{Q{ac@qF=S4g)^m(ECFU3j|!Xh3ETi{uLyWV!0Q4&@FlPJh=3CWd`iGg0#*oEE8sm}@p|C`P8V>6fE5DP z3V6>6PTx zz-t03{JM(%_7(7GBmF3J?M44m1^ls5|0U7iF9q~#)Zd3izkL7V`dB6MZwUBfqkb!N zxt6JUCSz)HR=&klkerd7VF{D-v(5RrxjA_jQ>vVuldVrRr5W=xEi#o#;**<^Dw_&Y zOr}(`oM+5VH_7#Nrp%TVwkbK;smZg9_4Pb+joD$cDbtv126szFmPz*S-YZ=;n~2ox z>EKUfc}5G0L%WBd+=8_E5l#jw#>O}^UACZgbA}}&CtFSh+u2~(Ctc15A>+lH%gf8j z3zIE5IdYaU8`9w{sf&Qv;QD zO~fxq9upIlIDF)&35>Bh%b1xNBj6IlQ}y(Co994872o8 z_;(K}fOOQ043pWRx0IaxOfo6aMWb9_3&zD&1A5X4(}yK*wrrGBGt$zay=)7N1f8Ch zVVNrHM~=#7svDJyiepT9W-@@j-FtTrp)u_#4>jhcOqF{E_Xyz@rPW8saz=VK^d=iI z^m&$mKem@Tt0#2^cUr@@4+!Nm2M8Ce+?CWlrZ zEyH3mNJ=tQ*@E%^PZO>M)uWPTHiQ)iae23k&Yvy?1D+93ZB;nR=_A z8cZXn$iXZj-IQ%&v(iYjJ~byxW?Y=ck)%USIRKm?rWt(lh(@r|%IuSG&d5&3*s|u$ zCQJROI%JUj^HE2u&yYdIMw3{Zr;=YXTQI#~1~eu#7l|%TmNPS^n`C`PkUS+Hy3WNk zFUWw}AqO;(W;9z&pj7(vn2gCf6P9C=P0*K|lSd<-lO|__J?tz$8{-Eb!E0#snKGZ4 z`9WHsxXx3dI_F1W#w0(CV{g%mj#RwvZ~& zZhkg~ndT?AAl|T6KLR|UAaa%5-eg$1slb$y&zv4AqQQ)8_;0GA)z6@Q&B)Jyp_{UD zEwkm6sqm0wh)u16=<|r)n96j-*$PXO;TvK7#?(|T#l8ey}XdtSy z-NGCbnrV_dVLfCq!%3w;!OSZQb}%ejB;;X2Y{-*-M|rx*S>_ZuJwHQP1DSqC!EQ-6 z7BrEIg((c>{&d_06_4kOJ>Ry~Wiq$SVBCMus_8BZ_=#U~0}9`wg1B2DEx z%s?`BUWDdSrsm{;RG*uimqUJOSP-RiO?kB72f^rNl<;Z51kmae8~Pi*PLcVLmFQU? zvT{=E$J3(JC;jmG#HSLf%$k}3FYLS;(GqAX$jzkniyGAGE#~|*uA&r^+?|gC^YPuO z0JhFhY_(*19i#ZoQ3-LwWNMIHe|CP>6q?;y{Y;sVQ&_L{OnNd;HUS#VFlF*_Ic5!G zzKr>8nvOju4TA?|3m7K1R$m~)le5Ju2mEK{Vbx`eLxGsVTyn+KJ+(QxY-NG_gUX}u zhuI@z`ml+nAI0Vtr-3t{El)AQv1exH%z{}=na#$6T#DA{=mNrr^!zM{1Qx72T`_l+ z>DM(#MmNcm(CXw+nS&2sl>AfC=WG^)AjUDunK?PRti(a56@sfzvVX7CKzO%$ zEObF1Ssn#uNtlQ^c?OJSkl8Xj(`1;ElbJfPAGkFrhp#kcH>PNY&y>u3lM`8xd8#p& zcos00tb(?iJW^O$B8*%_e#6Okqw|t9ii})8)0Bb;i2{l#v&qc4GgjQIe`YG9Gm~{? znX+;aX5^cVh+zX@vqMekMyh2F3`2{ElX|6T$)Cb|(qwKx&sHQBneyJC-vK;`dN`ng zB;8~(nyHvUfq{&a^EIYe^0D;Xg(qJw@y!QD=@|?_#DE3_yuoR#pTwB+buff6k&Mh` zaLW$R&+>Ofi+7@r9yE%EJY_n<-z=!B-k);*ITX*z0n9~`yP+k9S75vQ&uwcWb zrsWya$$*(l<0i-XS>T&86+KL1{0b1$3}sa#Ye;wy<;rv;}T?<9FcK}qY@($Ne*nH5Sr#0Q(&|W z356UiE{1p+PtaT^=6qPuV;b1*-DOS~&?$iavw52oJkekX4h)<#$AReqOz%MY2)-gF z?)0DQiHfp3I8jb=OjI#@5%OYf4$3r6F=ZMa^fy1~n81!b6Z{YD$HcbDl!{QBc1#!= z_Q^A)(J1C;)20)4v|D)jrR9951l>Vt0x5!k_3`J2hua719n{t^Cy#eR?ii((pVM~2Ts&k?yR{zuF^_!OFV zjhZBKLCEN0`1t^HkI||)3l=UFi{G zG8MClT7${bqJe)7c)h$ z^T(+m--NUH%ucclXyeo_Nb74i74NASeH`))iN z%k4B>xPvCc5CSXXL0b^EX@<{-jnKGa!eLZl(R%Dh9s0%oNC=1BjR^yv!ARoBI>^w( zfYj3~<+F0~rn6woY)ms@TaNikYdy}p*qAm`k0L7^Yh=@@mp*!AOhi;H85m=P^(mhY zVlu^6!O>neMaN?ByCI}X!9kVG7Gkpu#W;G2uBBxfv0cD=h^1mSZJILD92<`(Q<77# z%agQP>G5pIl9H>>otn|3du~>y+PdOa=2 z&@10%>-AFovaKA+N@SGGbL#2nfl`vT{!~?&9^y#WQxYdf(Mn)p7{)Qf2KZwvj8kx2 zgyC)=COcmxA(`8!wT?-go9~}W&MhNTSUpziJUMG7KWxKUHx!A9CD8$pN!j(WSth|? z#hIHiFArzXIKVX(h_hJc@XX4Yt!E>wIFeP++}Xi*u%!pbyDW6Z_La6Lka!F`*c&dk zme@?=09lKngj0iN`Dh!-SMh@>Domj>sGM9G$B)Atr!10kAjLu)eM%3k>cVj$4t5xc z)XY2^mf+c_Hs4Tm4@l3k&ho(?})xv*etICC+n^Rv_Q zj8kwq!~!v}Y{Btj4r1b^BJeiBxY;?qAU0#?iP@5g5V}c8es+o!FX6}7QW6$_Y^G&P zE&&N^oJ4D!@^2z+5c-l0I7!qdN$3(N0wpc&va$arpzOA%WMci5lt>#p02A2p?Kh9R zl^l-fGaN;nV+O&;T7LZZ=u$7i48vRVf(y0=*-3cPZWqWOG z!VwBlh%0#xg8SgB9fB&DUj1n;tiahF@ih}$*>2b-vqrUi+d&IR{aL&g(?l z9Nm+v3Y5BGgPz8wH;l!c0{=0`Jco|03yz%7WMUDD+d_#B)?LT_RV2~_u< zY5xA8LIlmW6tq|FF+EU{yRk5n&Kex21Mo@M(1+0ORvL-aquqnkrD(d=Kp6z3qu6PK zgC@~&24Z&LhO!e4WZBV$6qk*FHZMPyhLJgIIA2m5-x*6d)PhfIXweSij~*^XBn}@M z7sY3FVlcZxC{4jh%5;gQv0h^H7&}baAP0*~51t9g%g>e*qY?rlEIE-uk(Qi@AZ$V< z2by76Sr4EQ9GjCesAe*ff)mRJ^Ty-jMkU4!lg!zvokoox#&Jj_kBS+V$a9d#xn2(` zFJh8iXT1-WxQuhgq~8|AV%xp5`!Ik zBt(jBNZ8A{R&Unupg18c63JsD;u4d&U=BQMj+Ho9?!%>}!nk3BdB(w^r!!?=UKk%S zDlwVlbCUZ}UX&O&G^R-dA*{y+!^DDQz3S^Flnx`$~e|B*0v-%Q@<33(ZLNC z87!}&U$kE`Wv1!rKvptknoZ5KVnZvz%OFtC#t~cw^gs(qSE|xgX4*ANFq4S*hKs4b zCl;45eNTA49%1Z1B96>dLXyj3r9zAl)xl`F9XFu ziS`({fg+oBji~`}l?K}Vlf?x#XoR1tAbgpgjV-G@1L22WMo(aI58r>WvloE>=O zTIyp*ga;y?qSl!LFy+|wN!CuD$&#Ok<8zWcIX|0DoD!3jx0<$OxxFyg?kIr_NmVj`!H>9 z2ZFU4rtRfGK$I|TPe+!-3)A+HwCqri)*jp*0s9Ek;#>`)g=s|*txZjf=;}T`+`+=t zglVZa>@b3LgYR2l^8r})0x2}-2jkFW^UYvTo0f=HGB|htUYMp@8ehoA!X_CGfW_8y zt$`iR^(04%YZr|!@CHhqsUGHoiQEL_p{auen+4bph{Ha1zTcldSky))%EJfAQRAcH zV+PQNHc86C5%pF(5_h;@uLu_l4nhFn8<4TXjkKKnY^q>MX2Z_zwJ~B}P2P*2?y$ZI zrS)vsIs90AR8*KeZ!pL`MS3JlliMQCK=V3Ga#oLEAt`D}4b&zA7chip zVtwZlu_%G@sGR(~6q9}w(`-B)V57E_Yk(%%CI5c1$$+WRPc|BOz}ZjANlTM5l&hdv zI>gmgr1&*gO2By`Ln(gsN@52ZlH=m3G+5kO!F(KTYs|)3j>8#$oK%XF5Ox+w+vZGo z3JG>5h0#hDCei*}3d1@bCMDC6RC4yryzZ8)TsjSrq$k^K9DM$XqJcc8e9PfHwRr%C z<3+x|fWZ+juBOjUQE!;QUl#duQ7-qn_IuA2H>iU_!q0W~8%VFU)!7dL&Z?=i%Wjf1 z=VG0`H(=;*b@o`met?ey8US+v2LcuWMgXn?90B+qU=m;jU^?JefZ2dHz9Y0d0V}fX`p5vo8T$|3{tuB;bHQ>+Ejsk~9&}5AajKAi!U)*4ZZm zx?HQX7XTIkt^~XaxC1cYdY%0kVE@1C?Du;}(!COHYX=+*_&8ubU@qV?z{P-_T2K4l?+j|2h-eb2fA&A@Y*8*0x zwcED>#^I+Cp8_re{1I>ve%BG)LXy@1Mgx}O*FP%(_W*tj_yK;A_k2N;NlHGK-`i^nhc=_DxxFc@$UU@YKPz~z9+ z6EGg_B1| z1CGvx9svsh-v(68u-lIT9?gSZ+QWWVqkTa47wvWn;0u5&0XMz`I>3}yKzE-cneaTQ zaezMq76OKSfc61b0qy{t@S)xQ6=2L3=>bVvD1Z@8i#uISC4%7pz-3fgFZrTTZ z0dCz7J$I0#j@8fy;N|1c8{p(GATJ<&+HfGbJTX#oDe!T*&&xxz+{MF(@L(Yw`?1d6 zP0$c%o*ueF8PO;FP-jn2A>r*a$lLERU5iHR@*uG6m(bCG!+)x?tLf(^ z`1s&&9R9-LFX*wg^dVd({%YVm1d8Dbf%~QrZY6LB8{ystZc8KF$H1)vj(F3D;4%EI z0S@NQK7{)be=C54$+8dOZs4yJI80aeA)FWFpXY=l-N?Yr08S>VIB%cf-Wn+YNqSn} zY~a@tKEm5)p(?`L&*~cOEvu$^diwzr;jM{i!DLDW?Qfu^Hs}M>lL~+%UA#_+!QSUw zR4;)uFI$PST=>?Fj^l z_XzJ0t4Fl=WV5Gt2oMq80U!V&Dnv4|SReiYuYm18_MEBT2!4WGkzHyHCisg!Hn|HNsoAx()VT>!#Z7=`90==9na;<08<` zhfl{8g0uAY84XR4j$Q_S0q|CV&th7@m>^GYC1vXXm4TU67403an&PSGo%ntSn%-C= zdOK+FTO*{e0-peU8>}(^s>1}=5vn_Ak?bHG>!9D2I{Wunf1GqU*n6`k%~^@0uT0P$ zzENlIjx>D;R|wn%CmhMW61dyIF@3~xng-pe(r9HtQ}qxCrdW}Th6 z0j7^6hdup>vY9CBgz+Z*s*Z3)QauSecoOTLfzl{53LTSd_oM7(ly#yqe26|6xDCLK zBm`u$s#I~*5Yfk@>@3RqP#Hd?pUJ>Ux9aTu2?6tSwg-!11}F;0-xARJfc8<66SPao zw#&%2m$<=%7m{sT-J`t|R6lq!qlQ&E8#U?f7#;MEcFLNd}^Ue!d>C+Y5Glubd| zKUCI8cdD!P$|Kz#0&P#k7pL#4JJ&7fS3o1RF<-Ai{PP*&lJV4517Dy@P}~`faWLrW zK$k>x_z*4{xEQtFzJ_5ChX9TP?sMQCqj4B7#&QYyfrT`dR&}&@uxqr7x2Ce{)6b`2 zT-6KRmbflexlRxg!bd3H>TyoR+S&}h6^NT8>L)(b{sG|L)7tHMnAh|nJ2(lPC*mh7 zAygB*eGhFmGm{l z+oz1?RHJcFUGNTx@eZHh9jsc!&BICgDy(?aE~#yYO>u-E<7+2ri@x z3wTue*zLa}Ej{+Hx;T6{UC@|P44vExKVv0+hYgALa zh(+BZ)NO}7$73{q$Nrl=xE=tPW}}+>QT-Tr`Qphclac1*q8cGo#pd~Cl#fRFuhiDR z&GQ7;FICMog{ovP{jq1d*2!+~j5OKZBsgxuCju`$Xt!ev!|=2~MkARC{B_W06aL@Y z4p)tCuIa0o&s)Lge(-;n2C2aq&Y(aqIMO>L(mTAsDV=+V^qpv&@$;SPI^+L)I)=$( z@s=n4AF*;&Pjae0>p!IL)N5z_f8q0gm*xp4+00I9=XRaboImfTb6ZVm_{cib%yZ)J z%*R;8%K&4%|h1Z_x!FYB64)z?z8=K1?qQAtlzidJYp>EpD8B&4rQq*yXS5( zsmg_Ih#fl~)T6M<&llG*M%(R2k(P`N&i9^GbdCKOqm2gbng2jb{mljK0z3|>koexQ zzpAKaw&|?Dn^Aus>UX31umP(ogSyN1grB197|Na!WlnpE*^11hm#d(Ac&y$2nb6A} zbiRjc#-Vbi)8Mv<^T%PY{SX*I{$}F*T-ON?HQ7dzPBT&Wk9l_cL6Q%3ozH?)dzgec z6XfU4t3dnoe7pS_qGkP5O;zG}>cb9{-$Hr2yZ6DPxjtM)-LDJn_K(CKpqV}dyRN~h zADxsq41=G)2IKm|aI4*}YR&s_SKCi;?a=BD#!vHk4tS}b!vo}yran52SAjBKekgha zbdx}rNOXg}m;0#V*_cyV1l$>jf0HYa%0f`KYQ5b)-3=M&#C5D2D-1$55oNz@z#}=a*CZL5 zpIEPsbH zh!BK*E)O*_h}&G)2Vo)muxr{#-4Nw;W=|iboWd#koKuD48|Uld_5#_B=W&^nePj*K z)1@8y#ENnXx#&|Vh%0k)9rL*XQS5H_=q%`==q z1;1G2m3~ZSrFg!FfJ*yyc7D4=h@iKNybxEqEb>2U!$r;ikHIjmhsLeW6yv>6z~=>g zQ^0KkRtfmEfIka(T|jpo?^jy^9}=*yfP(}aBVd|ndC;kOWz46yadQ=Ky|N7%JD?}QA zf8qEsV5Agi$_7@`!!oR-Q7x$Ioq#^hhkAIIz!|*p;8i{|2(r9UnG#397r1AKh zAWf7eNy+$Op;4NGe@Rj*{!CIj{!PWdG-(?Crb}5;wv;2~;$J3umx=ezRE>1s1j(T`H(tUvO-N;&ym?)w%>i=@R;iS#tDqKqOb zyqS+uUnyEI?3T#McPr)Ox4jsVt3?0Y@J}VVbuzc>UKmOe4@yN59joVFMCOvsz#Bb|=oXpJH1*_;8C~RtFn5?#lw}il5UU6?*F}4 z&v&(L+GRp?sl)9FK4bGXpFZ6;B{u(oP1e=z9*O$p zmt*^qYOi+MxBr2~p&wo8+;Yd+%%hgCW^DNC#0x)t(dn;NkJ>-_Y+Uz&r!Ke;3vD-J z?%72J&(3&%?A-M2-8+x?^xB1}tusv>%iI0-=(d2x?_Li-d?|QG^*vAj)+$c>=O$Cp z(|_LdTGw)JTBR6Ftrzn4upW>OU)W$D-J*_Otq|E%+<@n@wB3UbpXHuUqX`Pbpb+>Dj}N zx13lw|0UNKHC;a)_4=0QKOB4b%&w6=er$Vq?7i)@BeGVvsqQ(?HgWgut*+BLeQzK5 z{m`+G&z-5wKRml%V(z=cKdC!d^5mAKw?BVPex}9dtA_Duf0%UFo-EBAkpKOHq+8b} zef8(?iij7=-e?)zDdIbq!JoBWH{`?4s$V{S_3bA+J}~v{#;RXBpZKz4=eO<~b1O3Z z+KBWK?N20WK07fe@|TG%+LhK6ukP~K%R`eocYdZO^h!nYh|4!3KFA4tdc>>Cr#$zy zI_SthleB+Wd^c29J+ABa$!neW4NzAtICpRD3!(QJKD%;obDyM>KmD=igZr0tUFKC8 z_tc28ZN^vEJag{-%D`7<6|a2n^oF?eLE0|y{Cii!+tHM&fk;s#?7E07{}4SO1l+pZCPObaeDsIv;~iDAF#gNClR{)ZjL{d ze(PCXug5)44|Ex{skeK-Ue~%Tf6Ha<^DDmj*!P2uJ;F-+JyURY;$v%iyyVx*`qV2M zY66e^)%CHjTibKr`t1c(&$rgM>Axq(_t^8#o%VI1|8gHn`s|p6l9e%$0pft4n{0KA-Wb<$M5%Z==-ZJCYS9SO8seHZNvwu!J@2`8I+mf&JN1y)u zrPx4s7w@F@<13E!EKlvL?-i1K;J(rGPaJ&a)Sg$rec{y&`vcdWJ#uVf#I8qw7~f*| zlt+*Kvf|z`aq}Jt*fHYD(gDS_yPtmPW?HiPr@#7k9hEY#%(OeK&6bb44LjSu`=U{Y zK3O(4`{;JV{C2G)-qd&SPc8QNe$;Ojr)E6p9~HZ3_D6@`_FOT%aGus%qrd%qVCWu0 zRNr<>#(W)G)8*$&B|Wy-OMedR)n((;s}p~_2)NT^Gu5>i>ff2Q`()iO-`*Tid}1w*f=WSm-lYK7;*Ie)$S(CTIHeVo&6%%>-3__RrXebNo>_kXTx{nNs~ zBd*Qq@cEjc&eMk&w9AIP@7goDSdZ)6EejZ0F zpV{}(C!Ka}AGXrGX4@-gZ)aXgzV>FqH&K6IaZ5S&;hc;ud%j#S{z{)-g92Y|*C%k2 zy2DSoWyaGtPOE=UoAu5lYo%&hTkD@~KU(pi&&u@)pSK_JkVk6%lV{V6AD&n3G*4Ul z%h~Vm4Lv&I#F2LQhyFA)`0DW;>7SJiSmZw=KB?7}Dd+kguCCa)=C8n0_oYo(F}T~z zZ>N9LqTNT2KiB@!=8nBDW%iw4J$c#TEA9Q>cy#e&8=^jbJ$YY9Rjb{9rwuz={BH0i zHxGZ0kFS)zdm<>S^5y_zT&JIRJagO4?SoUp*VdL?Sl@Y1)N?o2WxoGzoL8rAqiSxH z>>6IYyK4S-Z;eAkkTVZ5*NrZ1}pst%qlerNsIR-dgMdfh#;vd6`N>wHd3 z8C$aIo?dHPP22wZpM#1o6?LuM`O1T%g1uf2eScoktrs^wwdK`UZjMhK^2|5CsW*M^ z)Adlti~E+9J<)Pr&9nJ)+WGV}4IDl8qCKwmv7sA7M;6Bn8Pe%~?aCup-jGQ+(YD|B(xlI(C*3I3fB9NeS^vkz@9Z`G@XyDGZ`ctsyZX862eiE} z{jg^GK5Ol%fi1sjKd82Y_2tbjvU=0dwykDAgGJ3(^YBMwJDGJoVwY6y?tip3U+a%W z_;lqd1uAjR;3)h`Enx7l(SdTG?!CGPOHPPK8KPmd5QHp`q4`d5v)CVWYe?qE(f(J3 z$g+M1>?mRhx@M@7UI8=CPuX`1!6jwit?Zi{*2Xm&R=>hge}dSDDf{RGv2R!Mjq5+m z>JwJOLL;R=r$xW0g!c3lUbz%zq8&GO%}C=yS5CcdLM|$P9Dk~DL~}9#->w>uzo8{p z7Y*I>?W*#K#&+A)&4VsoxVpG6Wk@x>QO(UwO;71?)u?OHzKV5c$#~*65F)F}C<$&m zQD3cb*A!FM#r-+d^caY*ldjk3MWUKw;&^=|N+nG+(cGF(NzEBBb^V9ZKAJc%biGY! zKg~~+uA{W9=|ZyEDIK8I5Fg2fGQrvse7m}^Oo-NvL|3s)xHgS-hh<{5TZl}}G6~wT z#Mqr>#%WWDo5p1%aFewoh|JSv95Pe2Uz1#3E+lZSb}@1DVHt~d47JnRWim<%v_6z+ z>(UpQLhTpCt(^;X?P2sPbGwJIQp;j|4Mxg)CK9faPUF^cDzX|0 z4Bd2m*zTcp8$Y126Q~58n=e&S(Jv0wZHT3+C%C&0E&fPY((09OabU5%|npEee67>HJVgPkEg0Wnmv?G z;-<47mE0fart>MKC(Q$g0L>aoC$~o3V9hk*Ir&kfLo}zUu5m2V;hJP{b2kysSj{?0 zr%^gyW23t1lupoWp!8HqCu-=ueD2dJJxws3m?r|qM1wSHkz@-ZULqJG&At+ZY=?&tjQw!A{w0lG((DX z*WAK)>qm%4LrmQ@JWUp&q91^{$9G`p&iM8*13^9KV?vaYsx1`{k7PtNo^0SqC5%W? z(cSCr2~$}4RD9oKc9gZLqt0ju;m$hKx|j(<5_)t6*2n$n3IGkgV9tFB$s}pk5p@|E zg@)^GDUtX{ElF)hk@O`)lyu=9ftRUn5i%a#mLVxIdXFF?^pRSGdpx8=`(BJ7fC#+q zL*7GAOeEDuklUj>v1m&_kad00gMO3b=em}rye1T1uInf%X$F9w>uWUmHJW51eUl9d z`qT+Hcg+$Iwetdz8(F&R)JFB&Xe{FWoF^4maFC6D`os&Fm$!nD@VFLqt` zb)XHq=4sS&-JeNl&2rGV{$I6S3zS?%nXZ{3p&?9|B*IL1Nb?>H^UP}^0zC-{3FI+( zA)t7trytXu%yjqk?Vija=pZ8OId}jeg0imRAc`#RLB&gleTIqU8@d(TYYy5Iflud4t5>#w@^)??ppgqtFpB-+0`k8n%mheE&q zO@yP7ve5jigj*wbO57iwh==~p$O}UMwBS9F0ipSkNFf&K6qKdN?9f)mP^b_H2Y+LkG2}f*O^t^<+!N7;=p_lqBH9kUEa9~gZH9g+;l9Y5qO@O0eYrH!D$0CK!u=6# z8(tU9WscM4*c#e;&=wuwoe1X-sOUuLivm?i; zEu0EodhdL9Z-F`fW$=nzFSX$KkHZWjH%Rb=G75S`%MQ>T(J;aO%6zFFcvAm&0TYy}=Ya!g5Fo08X<$`ZHO!K>Lfy;4AD`-zZ8Vj`~vmAchWR7}7PfIEV zJAa|DKA{?@m)C15;O(<(#0!zvAksCgx1GqkKh15luXzy_f9>rZ;dqFpEW(blo@K$Z zCB|S?iejmKtK5bx>s_C;;k>$rruLPmp10w&)5@a_O{Gk|yp7xrvU;;gc=^0La@nyC zU1+-_w<4a1$9Im!GdoASMi$3MySj!}EG{fB4knk3jfCm8fqcG%tpwtQHmuGt6m|?{ z2Ra5531+H|3$b7ehg^BAZ7^5v(C38?tQ|L0#zKoI29|e4asyb@N3IY*o3C8$N`%7$ zpy5PFQv_R; zXQ#9T7HXW-nR||DIKOUv`P`2BdhmcM-Q!HdlcuizFkn~wZ_~(4rs1A-8qTb{SS`<~}5aLU;b+>mf??{AYgGa$=@78E{`{GVW6H9{xB@?XM zgmpi#%Tl3KGy&Fx$>xl#EG4%BtYRL>5}#N;Ctb`B15pJOu!@K5buv&+14<;72`+*G ztf8V8JIcca%OO5i%K^y^V2!|Xfy9$a)$Fb6>aq{3(YE0d);By?cXi2PapYmyXXRXI zq;1&}>{Woj!Q?=+ZBuu&4JtktR*R@@>ArQV@SDp6l&v$`WIdQP)Am6GP{U zNnvqqEV`LWh%5jmMoWRNSA}b=dy`M-^0K&9meuaWJhg79c(AY=g~*8cohHzI6Y`Uq zk+tJwMHMV|BuY_J4*&+~gw>yjUWfv$yNYyV{}GMN+-Mj}K$fibDlB9r&#F9gop2Li zHAXQG?Cc_UlPCnvQc#;RS9P-bU7d!*&qnDP{y!k)r~AWjvKJ@WlJatb%GTKrV6*x ztW;cy3X`#DA)Z_+i;Ia6p!sUOS?#+LBj?O@#e!v>Bt#LH>XdIaB+{bU)>Lq7z>}G? zilCl{@^Nv{`GFm9Pq03?n?zeN1tp`co7zOMEt~d+G(eMw`?ly1*Y3Ht$u)ScU2=5p z?8kTU0=~y{@vdgS*v0#6&Ule!3iYumqz!1*_fCs9RL130N0P6z(ZgcZkcJ!3lW^m5 zs&6)+OX0@v)Z&Mm>BhY@;6;!dFH=i@gmL3;YVjkD8=q5)=Cs>P2o{gh`d-e_Fk zvKF6PdGA__A8p+8NiE)Fnp%6SAq_X+9n{`M)8X@t8$VSYslhC$jGL;(F-mEgaXSqd z?R0Qcyqc8h9*gI`>F{O~+dLiKVxm_}hoiqg&C#GwS5t2^7&jWM_FjXoG*pYpRfEyz z<|#KC^to>e4EmF%fOS9)Gr#$Ze*=$f)8aC|YdU&)r%;c@t`0QC5Sl!$K~V6fd9g_l zq1%YNadqzIeF)THCeK>RQ}QRrL-?x!{14~$-~ble#pzu z1;qDy>Gl!d=iyfnKj8665x<}Gcm&d;MEqV4|1j}A9{-z&Kj6{dd}9lc#Lv(_NFiT!9U{RkCOk+V=Vupn4hP~=OF8&W}yp8X%O@^pHKS_LoIJy{m+@(13 z!*P)%^1qMtt{rszzvcLF{23~t9*2P-iqXP;dn#XtB%c#E*?hve>+yZ!ANKU}B=Gr` zq~`Z$GvI%A{BI%uCL2w^b4j{)Sv*Q^^5tbZ{;i5Pn$s_fDdnl8?*=|kMnO|w^4(XC zA;nwF9`bkcc^C0lST2Xlw;qwh&9sL)%f?&;T=d)X_Lw5NMjJv~l)l-#$#ik4$9sso z@u@Q9S&oF_EvD16H~D%b{BJoBQ#zefh|mRi=_UEO*UP_tXac^MxYO5Fcz?DX7X8mtmQ*B8u@Z1{I6$!V;1?ZL&cH& zk9qa?bD$S}^|N2+_}@=H>rb)#b^SWz_#c%X<-NN$Ki?$2&%@6CpTGq z5imKW4@XCJhGYeBez&SU!>qJ z({x+R1D>BrkbcL1So&X)zkDhdIYcQ3r{7VET2!2j|>eEyhiN}~(jO%K0n$5p{wMJm(~Xi|zIuz?`iZ-I z9*(#5f@eH=9z#6p`G=E;7d-i#1$;U=pQm`EdEy;0&B+$#XCv{e*H~QFT*E#6s*C(g zkiYYv0qIYo+}=+5`aiv3`Rn{{#2Iz;57z4UYQ>vPl=|I|PZx6B zKt3N>AJgl{_1Bn>k3(IQP4^Q_L%vK4ei7Rp9jAbMFA~3>dO4Z&uMyuxd!`u7Ux168Tfb5( zw^1Lm_gO2{IwR(BT(bI3ZHyw|WKI73pMZDnQKP5gv+~wyb^1qJq zk?-Sj$R~f%?=6%MvuXZI@n-WD?cDjp8|Se8K2)3kdN?%c5BUAzqk&K7XJo{H=ywC{ zmfd7?Ht~yo9Mk;ix)%to051KU{a$;zdItWNk)MInzuWQow&jm%uE(9gqYPJ{?o;|^Q}F!K1LS|};+T>LjPy^$Q+HT=5%Il>^P=kX zwD7NQHfzb>-FiWA(U<2ZU!Q@GOr#XK?PIw>rpGMBC*Qj|JA4~((bxP>#FXv{D)Kn; z8TRxmYkUg*%`Df4EPJy^>6^_1UOpF-&mr=0`B_H#h=<2We}MUS{mcu2OS;>iwfTIV z>24a?7IVnU=eLNPM{D!{F!2a+ zJPzyeedW)Ks?$$NpJch<*7SH;ag@u``)_C9^FcT$vCk;eb^YYoD4^K+LC;UhJ`RGr z`IntccMJV(^f6nmDDh)S|BT1yM8#Xo{mj3!|5o5)SHETbeT#g$NFO7AXScGCgyjDQ zj}JDLQ9S4AeGU0va#>6{=g5CO>HEolf_OLN(**v7CvCY1n@f})&!;SxlS4mo!+EC8 zZe`S&l*@gWasDU6{5*SGOj%#X1hCPH=Klcm3r2jqpb=ydP9n-y;`EmAqCH4CX z`8YX$lzcK9ZMv?W?j|3@_el0G)=nncUf-amYf_&a`Laa}jb;Jq>V>|y2;%=VppDDKq;@|M(a076W+W_B79L@aSO8f(~ zPv?j4as0n$?Z>72_oV;aBR2odO!rJg6#h3;&dZ5^N%=IJud%*3K2IwjW}@o!&<+V=_oi} zX=nF&{{I-__Y!ycxl-GaDh3QLRC>H$^~x0mKHYna6{NqzljkbpG2%{N?7#$p2n(S=DVD&bgvid&{UAJTy zbdyI?^##qw!rAwACH~-(N!4OI) zCJ5GS>Ba8Pt2bT{1h~=xt4>-Nw|T*38+&Dc@0vR>qM{6*#8~!V^;&XRd%+frt6slp zW$*f6)0#C~S8oes3+&YawqLGnksAau8a}{4cvYb(6fypE7^jr%fN5Y4+$Yq8MUd&X zy1Ah|hH9?K7~QpUxLitM45|$I?c2W1Y!31!kKxQ=1`|8PbTAHjmnoD>G6XgjyKw!w zm8${_zHeV@qbCB4`869b;yj-)gXOI5GAo5Pso_Ft9E0yM5hKLlV2l?nnXN&uGL_BR zO)?#dd0^Nybd*aJ#%tNbO|$ zohw^w%h2W8Set{;^aT(Ow(ATr23L4b$pBOo<`XMc1nDpl&!s0hEH@a)7#pp@2ca7#EKvhf>4XSeVMdX2XFDS&k1G1kzZTsF)f-ZgWYP zL3RjrFT^g^X1&dAUjPLljUc7tl&#tqcVi&BE063Cj)X?SK((p%lu02UGH=18;djDR zZF$vXhQpmEHyp?BaC|3bU1-{H6S^&{S!w6fU_)cs4A%6C$)-hgN+v^=Z3y-%!|E~X z0_HP}AY$;0E_CA4u>Y~DoXQDD1Tx_>CkJ!XHG#e4kN^M6TBk?c2 z6z)amh=`1=Stj#IY$2NtKyNPZ?b~Wbv!P9MV{xnKJ2VNIet?1J_(ct#++9{{n%W_< zH8o${lr~7j3)s~;rS7X-K*dW8CuJswv@TkKN31aqimaeNt0HSUt2S-KzRzI}j<1x( zVEaPBBr>VQ&ct|P2swjYz)yGuhn)rC&TPT-W{W0Qv~wpyF~LBru7m;P!Vn|b5rE~2 z4pDh!cU$Wxk}@_wKR#(9-G+Nyr_xEYEi7$<6=QE=QHfZK2otkiUBfPK^xCHhUPG?}|lF6e{>sWsHR7@zN&;1R_Uc44dUQWjG! zq;kVzF!&$tHjmjtFl(u*wS_6g2d(v`#xPMWL`1l5h!e(@O$I{}4cX3x!}-BnHjRcl zH;mrEka~_0nNI)#4i4vYHe+amwr$vS!D{$N2t;PqL0@piQd>%SFKP52LQ$DcWf6vM z%7O^E+C6tIF|rA|KW#!cXE(XL)o6&6bkFt@TBCG!%v_!`+eF}NWRv^eU<>B&q5jzZ z3hWhAGT_S7snWQ)JY&|xaSsxdS|7qgz-}>hCzqFMZ_-2HSZ$Wt;8dBZOsjE*ByFR; zFLl(`m5Ze_q0P!-BrI)LtrB>%%kJEsmg!R_orXFxwRE9&SDa@@TVp-ku1q$Ou{Bog zP{qD=D|8_0k^QLA%PJP33zP}2Osl6O zMHEdso<$Rb-oP*>x+n*@qeOzSICWT-xKfjc1=+r_c$~QB-v`7{ z5p9)?(G9%Kvkv0P=g_j(H)h1HXj3v-x38 z=*)SnG^e\(Oejt`?Tz!~0J&lwj&-AWY;ragxVobA0U*R`SDFzuKP+OGL+Pmbph z+2|RX)jP1VFq_ZSTm-m>c~x;CWT=3NhV5$j?RYdmSRM{>FR#7C_EZLwyyS5(lSEv1 zWn9=i-6~*0Qb|7&!Q$klx(b@LV1 z;=Pm{&GuCJb$WMzj7O`E@8;F@Gk%{F3?npo=WD$9?mO=TBz)wTjNrv{==ENFH@~v< zM@vC9I&zhDYU1Z}oxetwu@9f|4`~m_ZYO1+1kMQ6I8{emQ*Y5lf;>tHU7vHVZe(0}^{}|$m z?YQ`r`A8dW`UmZ)VqY#@X9qt(Tp@As-TcLavVI2+N2eF~aq->xDPYy{EAt#>q8N@I zd(yD{xOndT9I)#6ZoFD-vyHf4oKw{itqM!mEya Ko)^KpH2)3z-5{<2 literal 115048 zcmce<3w#ts);`>m%s_y|4wpzo!32UP2$*n_D5EnZ(GE^Da?vPqi31T70bv5si5`F*Q_xt_> z>8?6edA z#4_VA7|*7;g7@?&1mYLG$8fI@jXU8MYT*l`Z19oaMmHg!T|@U^>U6hgVf<#(eEdH1 zE*>*@7lb4hPE?Y$Z5j`6n^wr^!F!#^yn^7??i!B7Bb+du?|VfW9Qd!KXIh~XoyyB4l%=gk^6Z|?l!l3^ud z#|#@YYWU&>!$&Y3Q(j1}TW*`e(hHVZ5`2U4mxjNq@Yf4}eep-XSbh@*X!iu%JIc-# zpbx@dZ!I3BMLe&>Uq6kOsNI9N%ith+2I4P8BgWz02Y=o0mxRCn%`a%@q`RvPfUcU` zSl*Wy!n+&XzFv?u7oIPUy!wpk$d}$g~cwXuy|47{8>WLf`zl^Q^fhshZfR(k#o)>Vd3mWixw;r7SFwZe&IYG z3O;}>ri*hM{ zI%5XqcE(~?;Ud?JhYIJ;7nT%hIb8h6V&?)RcZ(x;eAbK+!$<0_j8VGtI^8v5_-Nt( zeOGtA5jtk>{JD?L9bGtQ-Xn7!E-6{MBxBK%`RStzM~t59EL`;Pu=}0PVb={GIXoS` zBRa{s_aPhiKeS-JmW>%yx>4G{Xx$a0gx@Kq`FG=3SSa-eX4WSJ#}U2f&P5kz5#mvA zi1zeTe?xa+7W!%azAQXi7_9k=`^`mH7$sZ_KmFQf6tX)&te;{YT+SNk)JF$@LHngX z(%3f!?U(4(KLvk@GdX|iJGCTPP?CX8eO>UEYM>kY!*l~ZIQAmUSOY!SZxh{Spi|z0 zKgmERnS#H313g$bDXhRir!hqEH`72j_WN@TbZSF`zl8>Ra12CYB?dZ;Rf4}#1Kl{r zs4&ojHb9uQ20D!`g1>bJy0P6`Z=eUqScG}aK&Nq2@VCK0H;!eh4D{d_k1%xxx^bMg z#XzUFIQVNZ(1YVU3fpU-)3_=4Yc^4a! zqTM#olMVEE1D(d7!C#_*J}5}UJ;^{1j#Vi*)j%I?h@WntUuB?6?qe~M$MWwxk_D-} z&J`7Ck=&bN8il~<7eNXPei>KsN*i3{pF>DrYXHB&{~$kANnZ=||AqWi6@7Kg{{;D| z3i>uM|6}B*s^?qJ{Ew2Ks+?~v^DiPlRW)BJ^FKg-s$#x{%zq#GscQLVGXFi~rz+*k zXa0%gr>f+$G5-YeQx)>1Gyizf!;n12ZQY3S{1y9mPI zf#jzu<7;L9e&naB;%j04UgW1L;;Uo+?&PPc;oHFcQRJs8;akuA=knpFrqQ>S`A?Fc zs)nzW`HzyHs)TPL^B*KXRR!Nn=HEwtssg@z=HE$vGJT(o`L~guOx~By{0-zMQ}-n? ze+~J`#C`G1|1SB-w0#2ezfOKKXM-W z$z**S;LkXoEAN;t$pH zLFdpT#6bw+ORZ1ci_8@Fog&GH)fLEalVv3+rfH3g|0&#TLeX&X$}$oJNy&$&`DMF& z((XPOZI^$t*Z&%oQ@(Y@ZFa9c;P7UzHcRraVx`?w-x?!U_B6Ga+QiC-qw9~rcSn?I zPyLY|^2v;b`qp^4DPxc1t~bkV^=c1OlOwafxS5zp-es%JcK5j`*IZnqUE^>yx&Gws z^9u=(u}3~xf7D_+DYw+OnloDDhWevDO%3F`jQhHnTI4!Owq!OY3yorBU(+73@-9>T z!5EH-7b}-W)gS4V0V(7?^(T6m_V`~CE4z}MOHGi|)C7rIdt}f}?P+TAm$Oj0ss2cJ zBJNO4O}_ciRJQl#uH~n*#oQ)){n_X|XB_}%udG-5d;4^8AMBde;?0k7IJf0ep4?}< zEX~Pv*O??|lVm#UKG${W7>kk)rR4cX<26JLIiWwCG6Nkqd{sL#p>( z@C$J_%8;kur8jX>Cx0ByW@I4|bC>pp)%VS`&rK zO;Y`d7zqXn2*T4q`U%RrDgxD4%4lGyJ(AplN@tNWz!DO2M)iOUk}`gRW+fTCw)3Pi4FiHUlF<=i3NXb#!u^I|_1}~Va0YasS+;5RQahqRG7AQh8*ogU)@ zYGX4S^#yNI`Ds@l>O+;5o^~`~hu=p^)PZWzrc7cTtbAUQe?d39*G)efFjm zJ(QSU1lj_{2wkh4>44!ESUI@fh#T6RjlnC3{CDW*+MStzDGn^FplnD%nY zT6TXkWj(vUpR$47KT4^?y*WE2hPrRuW7Bb$yk#k^bO-Zz$(x;$M6N{1J2@prk}pag z>)tz)1vTr}K!9mpTD6Hp`~Oo!xAkWvDHO+rCn#V1Ka$;Jy^;if;%p$`ue9G~ztcX& zKA9N;RJsf~EDyMn(DOm>0agqr-=gN{3`Sn6NwNlDU`zT)9@2$-Q|i=d_IvHq?9=Tt z8f!}z777eeP0vD-eCCw&26N&rd0Z)p3dK-MPX_{a1-cS)o0}*V`^V(*(bXXz^rZvr z-i#J_Guk|}!J$dy=1fWdCGp_2b@a8&y1j`=Ms?C(o+P16hkoHG)A;pv%F@6=x z9zzbAq6LT7X<~(#op#nPH%se~(;kwAU}R-5uoIHptls%cARty|nZ_*_%MPLme?pA%IS64r(RdR#T2KEe66!l?ZX(powfqrc&d1Q^1wAvdYO72FJ zD@m-p!B!Sgn z)k~47kL`#>xiL%L0u;=*60CRmsX(CA`UB!(Nau;`0v2AoNw!=7rF^US+<*zl zgM6^IcdA`bl0MgJm--{qRYJ_o$%1^sK))Y!xe;boAp>7a0A&oIyrkwLO?fYxDH5Bi zZDXl*Hc23s#iPbS_8;*Gpv!&_q6cLc%jua#lfC|=7T~)FM2E*xlFOy+5iVser14Eb zl-l7;9Y3gF0+}msB4td+2&vS11PP)!^H?m9!z%^Kx2~Ln?&E5WVMMmiLLz&UIb}Hd zj@X=tygx{}qrA&Byx@7iOwap6NLfjTS6z&FzF(*gc`ORm4yZRm@U@8I{~Pr29Uc*M zeN3Qi*YmOz%jua#)5kkMX#u{GM5NBPt`*Ik4*+!T6RVI2b-5IBQjE9MW4x=_dZAdL zbwS+;ILL9YgIpvIkL!22Nmy!O2#Wn4RCH3DUa!p25$l0)TYrUcg6m6yKFQ(~#4Tm_ zc*_j1VwegYGY=U5>(tw)qqFxeONm!=Nxo|=?{1`Yf82Re5{I;$6nmn3Q;7B!d7jr6>s(8BAC>R{2X zaG#H2b|_}=RanLsAPVZp2qdHAP|;Mh0kb!(M@q~VD+jlHlq}fA%42Tp7kK^>#PUPH zXQR81&8D^z4zs+=;jvb|n=Gula1pX&=yDf01`>XG1N8~b-%cQKub_d3`@C6v@*Ozr zwe+};rs8%a@LE@~Y$FlH%H8hPuGKUYz#z{v`gPQ@ir7m*{~4y4f~Y|J6-2SpoNn48 zIa{R69g7Db>@^UZvU>(h)K7x!i93xEj+D7==|Mp5(;$)wL&vyp5aRF-9fN?o5l|$@ zF3fYDc3?;wolr+8IiVUijQMurhNh>&vXvaxgSRE4*hLHg*(j~6_+$d4E|L@8B9zne zHo~RM7D*i6AX{D}kF&AJ{gKduPEJ^HEweevd5Xzry^}C$UqaGjs83DiOcR)j%F|;g zc4ou!uOQwC#BpE%?n&6f;zXIGRo2Tu3}Es^T)iK9azqb%8ezGjvK;MZGc~u!Ni9MI zbdMuK^4y5d_!s8Y%OFr85 z9Ycun04vm_*OLWb4(gh{md%%3PfoFN6GXg_P1%SNe0iWL8_4{b6c3#U1Zv2tYr7Di zRy|-c0%~a%NLdcvJhBZmZldGR7b!yTV8GP~@QhBbLH+%^9=jLC-pB-7{T~SSBT{A= z7Aqg4j>O&C=H6niU~bTJgjMS)y8*EckMO&T(RV<}-b%=AGnpK+_2k=V3UknoY)UkY zt=e&n);UfQJWR8LiDl`h`7-l0S*B$X?`F&B8OeeTkD&e++cAmij7fZu$yf)N_-3Q3 zwga0CU_Gy*drLm2m%ca<*=%dF^dAovEay$7gFq5|mvVMFLg{+aP+K@_u!xUfG29kp zAy(d-Vy;+6d>Bje$5gCK3Hm+vro_tYQsHIOS{To)I+loPj^X-_f5X_z17aDisnvcv z1TD^;$I%3$H|maFkz(QT1U3FOL{#cfqUxAqK}#5M9x=U7r_g={_SB<%p<6&aV)^!g z>4*3ed}nc?Vc%DNYX1k{gY4I!iVC#{fk5ZajqDmE?LLoj!DO$S~QsHhD3N*&eH78vbP!P6U(d+`$NiO z6CUo+u@>3!#2A;&w`NC8Om^&jz*KPDB<$2e+$z^9GC`maTN-l>tex8 zo$KNTaB8QEJ(LUTK~PUd0Ng=6i6#j=qbJ`&tZCRXUIn4q61b7q15ez31YyivmJDrh zv+vC4HzK+4{7s>JQ2x%NejCbq7$w3U*<2HlH<M{wcE6a7mJ^)FS0ixW-7*y)8vzYJ*ZjmWjqqP_GAXdH@-SD9Qw|tfB^9 z9i)*@VWdU;7Bha2aefvHBA*lsEXNV5tS4R!bmDu?>sulh>b$(cxQ-qmzG3BT2V(u1s`;H%7akkUVCf8y28B<1^ z|JzfIEGnC@kT2NfpIJk}>>aC*j`fFx6ta6v~#rng5ZkH~lc7^?>@N08)Mo>+=C z!t&=4Dml?EV=8}h(z}Ji_|kD>L8lpOJ}F=O4OYpq8-dTui)9}W!ZQU+K|5VXm4RT( z=EJZydg>MNnR@Xrbz|$rvL^^XgaW%zd>+_9fepM3cgSiDLImH)015;0*V5FzAqRVq zt}hFLstdykjFW55A%Y}kV;Qzd$CDyc} z2&-$c+1@!9bKRSxJ|rt)fqBl0{#aTWL&u$)x!-k@{FS|Q+!aExA9i*j2|X+ZzyZxSZM zM>vs7QNiG7ag0JEYjq1n6qRV{220$l$%3ngQVAx3gwnqurpIC;fV(77DDI)W%>wS{ z0qT7eZcD@)d9yCkQ!^+7m4_iSu@5dyiCUU&mFDR{PGh*CJF+5p`Ib!Aa6J+z@nI9Ko5_Q;I zkV`Eya5ae=Cq;=$gQ(nUmYdSHXSS_K!JZIN*$Itdn}OF6kBPg4_tV*gBh_0hGj1t9 zhK$D$Z+A&5WxS4MeEwf4HOr6xrkf4Rtd{TL3>#h9<=-UdcanGL<%rmXP;p~Ea%Z^# z2^7hF3gFzpsmQ%00n~~b|eo9N;AmlMnOPR}k1^`Pa3$iArpN zShLJa)bc9Qpvlxy+>2z(zbHwM239;rL{BNP zs8?gL1c6rV7wS+-$8`~0Q?Vp%rbSizMJ%e0moiVfMgkiJGT;>qejoxK`x%Fu&`vRt z@W4XNo!dHKOfnv@+f>^87<`J!_D<&;xxTg6pO4PLT<4nG5E~CDeE&iW=4l2&;vBCt zFu^(SFF6pRFUYt z8|yb;BlwC$7W{3l^IIMmMS)SB1V&R}bSHsk3N&{TXrVw$CxKlkuuDgQ&@6WA-4m!t zbl1n&-3?vyoI7t3EBnM}%b#SY?E*wHHA#L9^= z6}_c(P*xxQ9E{CU&}1W$K;RSsfzB3$#>Ur>`ms;Sxl=Oj!Ztd|`w;%}Ogt90&oM5e zG%l<>FwHR+;iigcFZMJzcedyA|Cxa%WBUw9SSue!y711qL~ej`#oVLr!)MbryDxNI z>XOw!%I2i*m}19J#pjz0%`%sN4R&`(-l-<-CV8{Cvw-gvoWyS6gjG|tsT0^@H85=eWCRiqsmXOxXpVrc7!@sn{(x}&@dJ#55(Xu zm>NtwaL9*JUuXjJ{dUKuSJ zTfpO74^sne2{lA(fItTzAj#F!w2iieil!a%w)%tJiMZoe(>85O=xw|u*^Yg&*b=%` z-x3tTRwOX#n(C3I^b<+GV6ewq#E##eVm{b5@|V}HtZ|H`(6{;F*Wg${Uz z*apiJ*bl1j$=rhtm)H*)xswz7K_hl@9>so89mRKYwqi?YBoMnoBZ1fzsskxGYzbwk z;QmkS2W1enYuF8ot*%(OpMzm8>TbR7XN(r;ehzoutp%c1EM?QHs{*Id9Ikkvie`6L z1&-pjVps{)(wDuF9)RiFy547jdd6?iia_rYwpN!&Fw z>hA8r6cz1Spa!I|3NWFuiXO}ws{j=+bM3y^ZRtSP&aa2%dT+Vd=w00%^J2JN`Ww3q z#Kb$BF;=c-JS(37Pk=R^CWzb^_AnL0o=fQAr*DyaB?bY>xWx!I@vob0V&!o>tH`R} zpz&RTm=<$*?~ihLmv&)bzi4+~FclBUb#IEw%lz53Jx~6@j>nZ0bt`1E%bQXER(#_= z+s*am$FP!s|Gx;mDO*0F4uuc9$YMlgQkTpIS1-x=MUk96sY`anyxzT#wEs=9a#FAC z%%jDJ{V!0r<1v3R^GobaaNd#xW5W|iZ2HYHu^4!nzgVx)!-zCCp~z@k)5ph*LjB!J zap^(Jb5{~Zhx_l}E4Bir|M!xgR@+y@g&&&3xn&uTLFG}%kV7`OG<&}0<(gKlep zIqn-TDt+$2V{#Q{B>05D>d)wj)V-~by`nEf*s@R)!E;3mHUYYZO3o}SNL;ab{WfG^ zQc|Am%adEN-4QdScrirqZNC{5hzl_-9_~nE&1>mib^e`Xq2t9o@W-};IV$k1c z&moxxgIdA3mIr3E>EMdh@TuSeXBh`s^PtYL@cJD|}+KeoeqCV|DcsL(dcz1lX*ydlYgx(*Tj zU%0K`!6Uf37PE37HrD-aR>9O&9E?e7R<9&aY^1L4F zVdAn?snH2DiBKihVq5FzK50)pWvyWJJ|IbcW?36rOUdT<`?fqpprx; z_t&j}?p8hrFZC<9bDjHhotUpMZ{}8l$&O(ffm)i7b^-VE z-{+7III#HgEw(E3L)Vdqi9>|A`ns)S80@=XD7~BIZv~SZg0gt7z*gd~U00$3a$sgE z2COhCWd^6=hW6(GbQIq9P*-QK5}buXwG9{cEK<7|(krF+6$)zNF?1GHwpj>Xhzonz zsHKiiNrhMa)lb3eDY%7#qY%RPf|=(dcpnQEW)pK)_%o z-DY^9teXe0$8J2Vma@m@R#Bfnyj_p`cY@xjd!K-})VlU6mhO4vPkD$E7)h~S)ML$p z*KOU*V||ZUZVsv4MH$$G3$*Iry1@$TLRCBP>!CS6@6yzNJC4y+h`XvCd zS{=6-cX|WJ-Ef6ik%^RpTU8rQig$0pCRGP!bv>3ofT2%{mb`s7qc{Z`O4c8YrY5Q) znWF-m`>##K53bupS{7B2@J!hpP(NeRGiP96Zs}N`t_Fi7i z6HAwz2}$G>-)^A29~HYyOuVg>5H^fjy0UmpNr=$IBDC-b!9BPI+rY3MNjPZB?Y(ig zV{wcq5MwWsN$h!VN-9?08^zUQNaO2H0N&OLR zAdhC<#-lAGMybt;gfJe}&Lg-eTk%K-DW5{7;YW)7-GGUYPX|+k;S-FOam!*DU6Bq4B3d@M4lHKF+5)UG_0nmg*EE2%VLS2q(fNE(;RGFmP z$-hDKJq4c10jgAYlJ{9OKuRfT;1=?}Ox|)>s5+Ls0vaIYbMmHivb%DinpSqZViaTiWenUu+^7{ zkt@CZW(Z|vyAz>1eU~GY+xE?vk%1cV(hbyzk`N!Kl^5R*ijYM@76&6xXGCr2HI#$cAMp(9H6ZJfmN_jB34Jn1p8rLv>{y)t{d8n1NZx za}X*Y*&({*!ek&@bmY4n$!i%@PnL4yD9rF;^T_~U#nnGSU6g#PMvYr`9WT^=kEuhI$f`q9Q>#%3?k6Q3U#50ND})W=e^k^FjouBk|fA z^{A9+KH$*%T-=mpI{tc%`3T0mz|xO`pV5Oa*Mi+gxq3%Z@EdyYZ*@rIbEpo3&J9;4 zqYFj+U>6#r)F7g|j^ezI*U)IIg!%+Uz}~GSj1Eff4{8oANrC0dB+6e;%jdXHZB&{F zJQZMNJu;=H-)QHL9eCP=)se zlVsK0zgnBUrwzj|fDuH*&YG^S7|DI;EEeEmq|E*b)}R)Rl03s|;lOKR{SnLZF1geC zzeG2A9~&&tj?T-GBp#JW1+>d})p=p936&QYNzB6Qm)83LP*0M^WXpWGgW_23hKIC} z%kDibcHGgkji8%sxdAt}v5Ak{pXFkUmDbmxhG?t#QgBriaP?S(0YG@imB*4X_ou;@ zZ0W<99qx}H>L$zUR%EbowB+0c$S>&x8M;>e2;$2*0*#Vc!23Z!X2Y`G!A!xPB)7E= z7{PTZ`hSrU#JUv-9`jmO`s%$%*MEp6>^+v137A@57$uKh0*6wHlHo-j zGC(nZ$Y&`vBE()BDK_K!@604W|_LBfpN ztIj1XWkl|O-GFH+CPRMjJvL&!I>*+W&QsITLmvT9F)&upNw0 zf<^v>S`ce#nMIuiRcPwvPav~d$CE>V^$bt|r_~F9I)Mdcfq|u*1?3~1@fZamJx{^| zETQ};w`DbkI3_j?s`d>*CboxMr$Z()$PFkvZ3^K0Dl8#mW~zts9n=v>_;U#|=EQp4 z(9LYo3J(K#O=}7*XmJA8B0T2(d~GWS2IG|$bHDL%t#%`t+ zV@aNnSS0rYwGX2{8qaD++zKF3_M`05swP&9|N4lY74ZU*#mR$W7h)0h%he==#m3Sx zr?Yq1;~GHB{A|S_Oh0?41mrK%KF8e3SUjA@Nr=~EHc>^z)PGCyvC?55AhK2?yK~0l z7HV(cu$D)C`9tW_V|fViuq65fCCFMJdTF;&q4%8C-sd5koRfrTw;|l&nS(qX* zsIwR=Ac%}@BteNat zB?@urMb`JJB%FKj7E~{`lsH=INlC=z;wEmq;*O%sdvCrdu6YL0SWQMFdIsi-nhPc$ zgBKps`!i(RB@CG$;x=B~IBG~yrptbD<@P-1Z+OnVNn&r*dMs`66s(v_vOUA@1>T;v znYQKpjaAKI6G4%A909xamD;`|!suk14x3hIR@Aj3o~ zUEyR8{e2FzC3!hNu_&8XbS=lrDN;cfI1j=pc}n7QonOE=8Js4-VoHJ*^I#1X9J+KV z+HxHNVNO`%@BcDTrNchP)kHv185>sIA5^pAJ}pvCE6ro2G)zSIUx4V@nWvV+rW)<; z6DE7ww-daMbXtG^88PXFDQ;7I|AGzCVJy>d2zPRq&46%$$J+)u?>M~xtn2v0V%V2rB&X6^%$2W zZJT!@8n*ssgwj;5Hx|2L<4$9c$xdgm{0x`Y*M6tIT}6!uZGLv1Q%A9s8~rE3jZ%I4 z0L?Bpxvgc857T8$maB)tku9HAXw^^seix}Sp)rl5wTz?oO`AuZpY5^c1C%ZQlAU$| z?~&&@f5`K`nL;p$_QArSgbChdgHT{c9hj)T9rDNx=#uWFr@=h3F82*+i}^+Tc@}oSUCk32 z!4qjj2QNO~AXe_gb^>1yivFh<0qp(HlY$i1kzss*LkaLGA>frRR(a%9|3GN%!qt!z z=UXh{TJv8*7*7xr4a0JRzdSA0Z7oJ_1XmU$yay6OxZ(l`2F)JOgsZRwco~!~BW`FN zy~`7GoqKAT*}PYYw=p1{;J*_IPU|SjT0}uB=D$A37mx75uGR|6tDJ9YN1&<1mm+4% z2X-Bjr=bfS7Ptp01WCXXYk)YAC&^FIyHDLuhmXY?(*hO`|~ag;kCi zyNo?6cKJ)Y{AsqlIZxiMj72J{4{vn44_zhib8m}*mTiKVy{|}4%$7@%u$4@rMiKXX zY6TtgLeS@=WXm&CLL`((ZS52C(p_MXL`IR!b_&SE1l@9dgyMpLVi9z&f3|KTYVrvtL zgBKADz6=u$${${#XGE%NgnptG@Qy<;7(BJ`(x;7BD@*a3P# zMB1SedW_I(I64XFK^>s4i9m-WFDG<9M^mSJcuMbsz)?sV1^y^APOguk@GZCmFwlF4$ zFR*17E;xDlgvqO%i3Iexa5SsNk;QxofV@h1;8N#u^c^sNj{i}%%Z;R_LP2+E&uQKxV;RobHy znNE;)$ao7Fnhb&M*RG+Go|i{Xml7cAdN~C@DyI52WQerAI=%`2>+Yrekq~toGmr?d+uO5 z0Xn3U&YSxsgpOwD|AXe9p+4h-N=g3THuntm3`4PIU}%`6bIzcJegMV)I4c5bv8w4} zFrGyu?46teDaxN8menqVev+YSdZ(H$h61E@GBuH-$$0)7hMx1Qmi#)#0QEztri;OT zT*Tl@c90S4mgj{rc)(1_zrfH`i>v8kNWPfRf9GhjpW)%?4qF4(oB@ZaOF~cOXlnG^ zZZ~E~tnY1NK-RYo-KyFfD~FPdF`(rc#yB+8K%QP_d7`O_ zYPuK-1U^CCd|J2MdxGFlWv*smI)k&CE;Ur6d3B@?S*_q;Dv$mV;0^{kAuzerTR9ln zv9#Vs`uN?^3J_Y#)G(=+FfjFEV}Gxzghne2wU><`sjB?$7$?-|Fw~0-MQQymisEwJ zFw{JTVpYY&vKQ7#H!;OhruYCb)ZJ45r(Vm!)Xr_nBi#hSUCB&$GH@>f)1`*JFb9XA zP=3{ueC(M7@aixyv(kMLDTlz6ZS?~VMiXb5&>pNtfFA~g=b1VnwS9Q>K<)y@(T!P^|d?|4#(C14|5n$)(ma zu=_Q*fuF?i|4U;eS=3bw4+AM*Pb_|?=?;zL7*JxsKeR`xw>+;5)hn3X@7p7ph5_{r zJIsmM3jf44XHYVfvF0W zXzF2x9EqYfpAP^TDlH^(?F56!4;X4e0wC3NsiF3sgGtNkF`O3#i|7EXJX+iHxP6!k&QV<7|(j9^{i zNeoZ*ubM73)WY%tBh{JSWgvOaYV$FJk~b5gr3L^cVb#)yhk zP38Cv9A6WGhy3GM`j;WRnl3fNaN#PXQdLzp&~?*;HdOd%1ipiYA%rKF`WnYCMBaeE zzCFJ4q1jNv&tZ7fZ}%Kx@jDFzX`c(ufY&nMA9guO;izBPDD)4TleBPDBSZaRTGxc5 zynMtqhGMPfNTaNJb{$OI%YmwQJY1d@J0P|7>Ia znf#qMrlbya0LQBwzrl!)C;}3AT!KJ>*@a`C%-5ZT8c>l{Smf}{^#bB`{zdDcO<2nA~c!LOB-JM%3Numzr z_(YDcHRAOw@E(+stENj0sf(BRAY$S3u@X<>EdFF`@%2fZu@u?htLwkH= z_Z6x%R}+3N$J;pmyxpLJh%8W!tLaiR1Q(u#RAO-zXCZMGRYn#aXCWj4HS_8boJItT z%jftKBfg_S0IAK;iIXtuOPoakXEEByf{W1kAb|P|)yeTQIsO-$K?@uosl{}lxC(|7 zeh|l(aQp`mcnkt&v!;(qteP%0qjmhXgg^8HQ$Z=m7f0Yb7zBjyGQ;)SnKs5?{~p?)Ladiwkv@V+j8a$5(NDRsnt0sl>gAv7VwdV1CW;fO@#mHd&)lyr<{%&`aO%w z3>O9xX~sUid8 zNPVWE7sBvtII%inI26KDmetP>F$-zo_(CIIH_~Sq3u;BH=~6Qe7hcHM6N^7{7JE61 z0Y()ySgbdS=t{RG6yF@n<>y^7i=1dKM}LJK=LVo=zmiDCO(x z!&QKK_BK-iJrPyYrRG*#xcuV@-;LuFIsTs!_zvn>2v06`D>hJ|S)R%9QyKn$S?r1E;TcBJmp%Q#qp^ee|oGz1a4#>Mc8==Pm-u9 z9G}kdl}5at1>U7mZ(mK9nmcjfc5*YZIPe`S=dql{Vj~MK!qx~8LU<|y^#zW%ar{Ul zUKfE^HR?gD=~6@G%terh#dOX>;w;*(Yo~?Cp=iidsXWyI9G}ne8`|R|t6HeFa1j36 zZ#*&HXx< zw5~2FgF_QRMVw~l*EfGpIH3(4J+;n z&SI63MaM0BsJKWI>f0Q@mgDX1@sZ{hsxgxZzkuUk<9Jg99_IElQvr?ps_9a5FD_jE zDTKe4<2P`8{V0P9xcrgR6(Kyi)E~cQ`B%04x5syGZc_>WHp7#-wGxZpF}J&P!5MG~ z1OB18-4l+oF%&bmFGd>jsuwqJqiL91O_!Pi9Z!l^1)kk1p54C~Ss2^sF@&c}%>o@y z@~d_Gn7ZmXeqtD&S*$5Nd@oH1Pm-vm9KVI*dl~V17I*_mb|#{8 z!5MH91OB1K-WQHq!%)m(2N`A6i<@`JG}x}Di^1YZ@#<|1@1`%RW9ZkK-Y&bHTii^- zU&8S*9KYU(*G1qKM}zfhy3|m1dBzKg#V21fi;3qfrWsjuY;mCyBW0)_j!)$H{_XLR z78h#fXA}Nbj!) za;cx}Vfmk<EA@@)1_t+E?j>L z34a;KS7`Y+;v@FZ*bu#%E;abmSUe1ux@Q+t!CJ7xK? zhW6ido~B6X7>9M+JI(_}}{F{X)hhC?cS z1JNcqn{hByG<)mCZLK_#Bt(mA*!(R5g2$NNhT^CqZK@NIGB$Ikn^xSB=ln6Z{&2MY zqZkByOeN%?^Fqh(w9gcs? z`lKDoFc-Q>w|k0{vgMz$<#VL(;~VMCrf-4=SFFu-PDuj$zlPZ3^euYd!~G}7^d8F| zzJap$0x{g&0mEk*!(%Ldaf{pXkGrsK7Vjo_Mn45t4vtSrYqmTFC;gbd#Wi2`K%VHJ zbket-y!I><_D%C-n5&*CH$3r-$9M_*@LQ;9=C@R4AQ3f+#uU!#)cm z-EbzBSY85O@-0J@ny7liaYR>9Hxy(*U#5;kbW-1Hx(zQKCr(vH^R_m1E zpeQfEtA4)Z72IBKM#(!KM)hy;??h7_&QziPM_I@&M_R z+8q8FCuSFZ(8P^dcn3*QC3!zSlR$^TiDgeQ`V<_CwbRwDD6>T@uOxKv5byVSa1=sZ zdnwMYY_#V08nXPhp20k13*VoECS1i))ki?bml~8~diXGeD?3R6hf1m5;GiVW;zT7X zBiM_?B7%<&V(5_l34oM(o!fWhW!(M>m#+pet@WFMqC)p!a%9fJH+;*y$b#G2w>62f zyB2jEMp!`SGJ5*31D9}+`9LV`5tgobv+yB1+dK)RB9J00XVswg#pHU58i~?zQNY|z zY|!KKE(#yxLV}W0LTGov49TgVno&~z;xkR+U+QgRw-czez{0;uGyS?zdOzx$9kR6?o$er+ljPQR10R*dx+QFNX4!(4VteKg&GI zbtAfwl~+=GR(1(Qmb|W%naWrlFc|=U3Mw9dGa5Cs_!}i1!Romc2ia{ z4;SYlBn8Vp9z39zQA(c9_5z~uK}9k(9I137CbX9By$fdpPwpAjgk6Eu65uW7pXn4R zH02n>;N`JVV3baSie$9UZmYVVioTpGh}-Jto>WW{xUKhm%Z%b5XIO^a~JA)JD56WH*a4AjNG8Djf-!v>Y%l-V=O;Wfh>uF~Duu3@$QxHTBPs*F#2)&TXe_L^e*hCS(2p(b$VL^of8v*mBwyv9=Cc za_>S#n1~*IXYn3<@opuZ^k~Y-JSeWA;aRqP*iI*YzG>izPvo}vhI75^Bi0&Ss`ZeC z#xBYiI>}4o9U(!pbU{~o=p(Nf5O-`~>2H&P_5LP_+LlSbkmrf7ndi+5%HYf_`c2k~RV{s6WLvG1~bF{+)8WoU1S%#Ybsnl#s2UNgW zuKrKhyn6#aeT<>djd|$aGaYOpDo2X=%Aa6$ zJyA4aqs%^tkKXMrCITCrv(XQGRKS_kEgod(S19#)2$jT<)!c#CdFdFN&zW5b(C9f=t7)dJM7b zONh@p3SS+|NCQV+ha&WEq6hRq!n!MxaV*$7NZ$A{cuBpqoIYXkh=@l}$?yn=BUw?_ zFMXawXAPJOWi zvC8X8{w~Q!q^e<~u4n%x*_={D@6vaV_-b0{!|phBl<@a)yjU>>S;Fx%fB%y7v}QL- z%Kp(g#Qd-hoD8cLLQcSjIJWg3XT6+Z&aL8x4F2VlJkj^VDZK$AtD@8I##2nQ$M zPobl9=xEJ7VrBnVvCj~1svoki`i%zWIGrUMOacifM&L|^3sGX(8tO>lSaUOTMDuex z-51Pa`C3qlnk}^J$wZEsne?eGyL=p(9}d3sf#k;!N37fx_I>2XK1-tSBjezX7{s!B zC&$s#uG}JK*Nc@n^d+GX5pX(uKT`vJA0@M%eJgnxh)vlhd@K1V&M#>IdK+yJ%-q7h zl{}n5%!&M4$s5?#K}#Bl_)c;`p7R$6j_Z%MtRuQ?c?!2u%Nw|waB9V?M06&+_63S7 zvjLw$ZjlrINggYGuXsrhB|V8W@=XRklpkM_gxs}!ieUOcO60eT?_YxQz|@p*y5vpE`aFBzyvp&yAsg@YO3c3l)~~Q~d9h9=xj|mf$kRY>w%my;{hBTLy6bdOkk+QT@F5pwjnt~(1Oa@# zNdC+_BY-d9-KrEYtq)Jc8~$@yo~F`_KOG8Wx#JV2ethD@`ve`9gKr7*TU+TPCVUgR z7c;s?Oo5aOZQbn%w$x!4VdmbYb^iBIAuCvHI?uUcRz?&`LoA~QCOB5aD-|r+jeT)O z)*cX*4b1;4`7v-7I)=X)0WYEG&xGJ}$iKQ1xa(m`IZjL2im3h>TC(Znnb=X9u5m_C z48PV~XtpSZD1nE7s@fC&My>{Up) z&U>c`4~OjdSMBtsU*z-3i#oe}u%jcKsWe9Ir*n;zz0ea+Ya{~2jZa_BS?*jhn12CB z`_vIT-Uf49qN3>ROhB;1ibrjxU<@d)8X4qvco8HQlBos`M8>MfT(uca9QcAczashl znCegffs`d$Rd=?|Ihg~RTADW30 zpRU6RP5#@$y*Gt>)5E>VVYdF>LRd^5%Umj!6_`;5=ft(%4+n`;2MB#`=i=Ix^-Nr) zH=3K7410{02Uv4+ut{%jSj$mbLXFG{JPp#PFYs9h8^lK=Gj$wmWVZP~X3vZ0EQ;|- zh|loB@t7!daF{e?katO6HnDQM+h_8w2-qrE#xp-#ev{<9fKzA3+N+@ZfIUq`q|ZQc8A5l@1 zhgnXJ_Co9P9sHe$wTU&C|98YH2#Ga`#F9D}YuNuqvFcGJG;Mv<6Josse<#}d8-m2j zPPKKT!?_tB%AwPo1T13llJsdMnIV}j@Sd@J%FuPKCeaW` z5KLjI}S@CA2C39JEe$_N;)9uqk-KvCseJa9r3-F1||HH@%#}p?40-fEi-zA}X1 z`458%!G%*$Js9o^uKtL-4cmX3Y$kk&eNtvJrhK2S^O|kGDV)*28d+r$JfV+5ZGntU zn4G~^!6t~6EuPWcz*A{Kh2$N|!FlvW`&96UML-zqQ|SNIXQ2WAQ*P^^pa5N%0J9-L zE)yWe#NcNv+c1JUgBm54?MP*rNn_#NOqlrHea7;J7HkurZbms_okEqrsy&P3)$xzB z;oPqyDMPWQDjNUz{>+)|Zs;&07ck|dXT%0U4H>zNWn?NwrCLU|Y(qwNf$F;%^0}>d zAwE;)7{n1=nB%f6XK9Nh>(2_o)Q>hG>RA-RnHDOB3s6mq(EpdWxF2Im@BEoAo1SM7ajujCZyABc?Dw(P5D1y)mc-1?7*P%sXdBR{z))`@;4%WNcmfuneyLA zp{zG@&vWn~E02Rmr1JkUm*r=%mS(u}ms4O+`7`0+%D)}#kgsRZBsbZ}c&*ofv#Ojn z=Bqr7Nsvhrkn+cpgDJnOmKJcQ&@dR3|K7=<@{bK-67NE|LHWn$Fkzd}S+uv5777ds z`yM<@`6sdGrpXo)svzUv467h+B!s*)vS=m~7MqU1I}0gzO7L+Aw4(SjID3>-Js5RL z>pXqRTWbmlvj7i(XiDH3jp(SdsqG*I3}P26zmPeMw>FpXL~mn>Mgzd8w6rFxN!G8^8x!jL&GL;zkJO;E_SrV;w!z^9M8p{_W zrrYY?jKZQ)dyE{#X#m`z0k{!%1#4bm0(jk?SD3LpkyI8D^;oYoye6mL9|-WXV8SZ+ zWgzRt_FEB(?Jr1eB$Ko|Q;p}*h=Pb>nM6ToIyo{RsFOFb5Zz9NyH*->LUoMmL{4Tp z*@~vC$<_l_{HR&oamuKSvLZxjw)DWzg6FwmOJ{zyx1bgyWUWljDp{b4ejty6k7$wdU zQw3_B%<#Ict&K^jB4u=STfgR>N_YT#g#q);k#+s8*&UX^Ga&0F@F+aIme1wP{)3i| z#tqOwm+miV2NI2p?naxh~_;i5-J8p}?+fX|Jk2j_ksE5ocRM;J?V$D$sa zWf1jqc$l$tVIszH5i`R@eCbNk&wChHFcIG+M==gBx2$3*muMndgrGfNOJ@XlEbpR` zYO-Bo;?hn77ZCG0k#-6s;paYunf8rFX_HCX)nHPl=Jqy}a;1|uEWT^qr(=6Ea*0>Z84Kf$OWtJ#KFn$^5skNjhW8R@vK|K^@jc#y_I z25fINB~HxhC(MV`;hn=w&~>xPf`^;U2+nO0n#3ksFKTLTxtxTzb;GdR*N2BrW}$sM zuHJ*N!o=EHt$KF_o;P`)VJyX?rJiMHq;LNt6iE6T4#`Qzh z(_oGFBTBO+77~+)NI8$C+`jpn8`7)$oJA}j&Up{e1O?KGrs)rwKO2hKV|lShP(Q87 zT499rV?sKbeh$?_4D@34r}Q;kahk12_CMW2RO6W(ULXU z`ti19|8b*!%5Pzb-$jX2^LHmXSo1fSi{7qn+2sRwGErYF=l&a-{EnJGbH}0{pJ5QS z1s>M?b!8%6!9~12T*R0Ak$&F)SQGI*axf7eV=1?9{?c_3=K>0C-rb3ag-E`GHgAGa z#9=`ZXQAP2vL$gVn|I8p#WEAp!T7hEZe>4Uh|^Imj1FauS=pA$n1EF*I;({j-upu< z+m}dIHV&!r=JL^CVj(O0C*;$t>`xy-Ut-yGq~x|P;hsBqvUV-m$WAtQdWU)$0kUpo z3Gi?$GjnFyXnUJ%$y`4U9Nl54g$EKzKaa=g`uTs@dlT>`i|%ju?h@J*XbQ3kqBl#W zl?Kb+7J^-&g;JK5wO|QtS}NUW5-7-0ObgUnzy$@DN8CkGQKYhmwFOsD5fBj&ki@E> z>>$niJ2P`9=>quuzwiC7_r0zsTF%UwGiT16IdkUB+*>umoyPQY+EtGQA@8Ch25==K zXZkt*$zAocxh?7EKD5U5Gf`>GrJu*qj?ho)7N(y;XbJYuGd+2;okX+s^%Fd~Q7_dJ zXs3QIPg3-ArY-A3SNO`R$j;ov$NlE6pVFNmvFHwN7AAgx63oP3#pP+}slhB9jyDDH zS-6OEpUDUtMy&H8Mk6Mk1+-Jtp~$dVxDd{+DzYmd!ZOSvw;{YA?NqCFH&KSLV;}7H zFf_NYBs4aX_fijOS$_^y_&9v4kh;doxRIJh8t=s=k^jjTUBH*@8uh|I=u`7Nww;@%Gt}Ldsr{qDxypH zZKi*=(?7P}q$KL)hp57P`8x|0>V&+_UA_EcqfE2$Kx^uyjc0ZvgI=y@6&v<)%S7ts z$B?>iFW&&(*~>-9@LrlZw+--lRgv8(czLoV4G|As#_`e@SZQeE!AmAx2BJ-(2wsMw zJ`Y|3Xnm`{r|i$j#eU5TTH(RVAFWugw5+9`T-$xm)zS9nAgNa6dn?*jt!v-7F@5Q( z$K2-AocBUT&fG%Phw|MP=Ql8vK>+_=J3H)k-fQoT4P$f&AInLQmq={rRb;Q4s5J2 zpk?tr4;Jh^z`1J} zVM90D79HNq>ebmjNkBWN=;^V-&9-ME4&X!HxsHe>pS7SNpX8wox#|@xW{vsRO|E*D z8%;E&^HC9s&ST_kO00kXu2W(;?5SM!x1?ALUFT+vxvXUr+7Z^$^Hb18S#%*h zfA+@kzp(4I40sCK7?t% zxQkeFNkc=p%Ap+Rcl5*V4Bh&!b>ky>o~qNVeGFCjtbJD@b&UhPvqX%;norm`JcV{} z-G^ruAcHpYS;dC4c2)|_+FVFoch;r>?;MC|WcWbzXL9?nmSVX+HK*$6^G%Rcs}gDzeX5=W|Hh`o+pcy(&>!NR%KEoCS=Dvh~@Vi4L9LvjDdY$!a?l0|nf&s=KGx^xE1 zO=DBy_tA|`i9%&R4E?%`b222&!6L~S@F9NIWlZY#4-_w@F7gZtaFK2a;g~(;i7+> zL&(0@)yN^_X;(eA(7%g{Fzb~pg5mN1+jkwp&Deh<{zq$kHce!;>qKOalULwtVCqL~ z2nV4h#Q!|glQ-K*G+Te64<6O1URna}9Ky>Zl_5OSl=Y!2d}~!?0@qK-&vo>(6C~BD z%$tgSIv&R61^r%)W820oeJfQbm(d?pcqh#Ysmo5E2bJjL%nw;7C!igRZU)aJa=8Yw ziVa;xEILr$Is#JHbr~VRJA0{d_OjNG^>PrrYgJ@Y<1V9lc3qe8myhByKBI-G{zCsV zE`T^s#b|NmF5@}g()Vz6Rgok3l<+z3uFujLAhGBcet=HXlqjYIn-U|?j%$^0E%fvj z0X`-AaqbT?!iEcdj}eW|-nKwHm2x9VOo^UM#8G_6!!hgJro`838gk=x=a8SlJ_$qq z0fL{#hI~I&ry-9;6+YxoD5S0-e}kqrw`@s>rd84|#jKG~%|GsKq{suM&H3+}mKtYck!2oG#Gt zA%D%6$$bibsw#3E*Qfo*I{KUs5?ueirsz|Z0sf6CviO*@9$O{iIPboUoVl1eugiDa zON@i%ma8^hRfgg!Rt?seYbe^G9WfNw-eW^?3>~uQF7nLR$Y3b8vx*IeqAIabJNpP| z=SVz*3?GSwoY_wJtE$NHd`et8>g*@3kC#5m8qcG~X-ec$f=!8mT=WJ<48I)$ceYA& z;oR@xqBdA1I*_OhR|#)-QO^w%Q{sLm;zT}#57rT}WDDja?q0s43}MHE*v3FdFCwyN zY$PkGI!%e5sKTd2zC!96hvlFW<4~}MjYBfpvFN7r%wS~DMn6`u;W!L};J7ycQrDdl z4+8HT2sJW%Ag)0V;1&j-S{0er_>}O;s5>QUJe4W&F)dv6z2FhLMxk5|g{_Jyv6Q#; zHT+an%g8X0RI4srRP@tPk8KwOcu0{P%632O8BFRWd)tXB+}<2G zgsnI4Wl)JuO1xjEaVTQZ-F%z%_y=UrMir~ru#;cMlfCVM)OGEx5_o4XS0TfDDP9S& z56-J9GOKZWdjZ!=++FbF*zR!`90eg7*xNKlE&_FUcwuk%bGaX7EluP4%!G?@TheaA zTU4u7|E=g#bqY~TWA=8-Rgc-*E>wh0K4Ij{-mboUS9|*&gN1pE*7#7El*U|Be+9WP z3^KHDev4^;JX*5o3V3E1Z+3uawtkcsGo(>_3jx|W5*lRqNYtWP^kER3WL4y2Tt9=q zucM!1AgNXr|E1`s<6qd*pw4D2CXK1-2dYl?HVRdECzmOtu1>B4mFVR1H(4i*D8zk$ zJd?@g8p|p+w6{kGlf9)t>bmwe70?ZDMjHN`X3;Y0a5^5)YVG+V%mQD# zjgGHaPWLF|OUEyOMYXB|fe8(~>&dNh*WH^t@FdRiU&)~GQjYTb@XYctQzwn}kFr1U z^p?$tsZg@R+*Wyj&(1|`#(`=hvBh;{G(f+^vcN#JNVl=>cHVj}cP7yTsR?#FcJeBu zD*B9vsQ&R4oA{F-Pjj%#Vx#ASmar@c+Gr}Dp}WnCZ+MzU;-8uK7vJzQ^(wyMZ5|W9 zvMSaG-?1%Mox*Mg2i46}cNgFAFb{MU>=OkwXI;2Y72H7=Znc8jX8n^X`Xh`P@8bK; zTlg=s`}gC@_QqDsqDNesTH{&IhMkr1SojslF?*$q`-bs7W{p)7Um?2mvAA8lirv;d z7z)Ef50Oh4ng}(OWvqwS@vzou=&<;@=gdcouj4_jRpw zj)b3p{a5@HR`%Vf@jn*BJVz0srr>|hq_2}ncTMF`59rGD2`TJBrZ6}VNAY!UP02U4 z&bzD6VrZSWRioqPbGWVlPbZr*t_PSjm4jOjY+`B~PmdP-Gf-{nvIQN+V^}nRHAWiW z>&(v7mJ1$qL&s<@=tE;Y6NRUnanouCIJa252;jM0;$b|^e|F$eh)xIW!5|#yX^JnN z+p(p}G=YGZ$w0u{G$Y<}6OZDz012K5=y(q#SV7;aNBeJNTINn}(nPcPC>9*Nb7*oC zN7qBe&7-6!P362Mwqak>!fJ^uCTxAME$~0riHxr zV&EZRUoPQbF5zeg*3vumBG^ItM8thTQL>bAYj z5zVS?Rz|NWndoeGir}TTea*^DqPOu*d?jyVt-Y@kRirfAnKwItE17B6%akFMd>Iel z!Nh)L9v=55MvKOe1JC<>8pa5UJqpDzF2cvWbT2P`TPfA@R$sKQi+~WT_d5qK-<@o4mc% zH4g&oqhQlH_UW1ct4AMNA9UD(v)XRYwz1Wv{%5=~(>_Mz1!tFu*WLI=(U6l~e!_mG zc#3)%k}Y1s3KOn+0zmWB=K=7kx_qQ@4T7SBVqGd_aPMIo)^hm?nSGP{n1O#Dy9;7S z`X+Y=iY0NsH1Ul;7;r^J0iTDd6>!UOFoXs=Q3Fc{vP&7-NuY}_pWIGU8P{}4Y}clM z%>exXeQ|@VEwpRBVh{DZ-lis&lm9Gp^#TobtZ!p}v)>+IlafA-{%qyWn3hP3aMI)uQ_g;ReL~j{2?o4~X#~Y!x!}t@ptY z=x@y=Rg-kew@~#%z9s}hZNSFoO0=J+xyhC2Z#_+q#FzKog)^N^Y!-$0O#)BN(na8c zfq9y2151owd1N!#)F;cF;*R?X;{NuJ!@=s=N%b@#@$|*aFlv6;RBCp->Kxcn^CuX5 zRMo#6PjqW~sAi$u82ER*Cgezbct;Ot&Dw ze#P-Uch~H(b)QAksN)Xw4t50j5Dqb~5&zxEOwIWnsPxbd2-N&h2!Mw7&0J+GoK0s+ zS5!H4|9~moqFeKVOnTHamlt`2z3wUn85k(uLQ!1QPMRHKkKqUysJ*Z$v|~{{fok+v z&n?@=t2Csh=0F+nxpJ3(Wm@I7WJdR;es zKXM)YQbKi1z6+Yl(H@pxG)q#t;{8I+?H4eU^nSImOR^(l%VvaWD!+w?LBWn6Nsm09 zw=ZNKqV-lH9_r^|e*<|n|f-)MjbF(T2j4M0O z9f$qubwqt**>pPp7b&3izVonVxIfFub_3htO=xuRY|&<~z!(9pL1`Fs4T&hgs~n+J zyc!Dc89Y?{gC39Cdw3+I;|+7IL>5mgL}b9RFY;su*sUY3!FiYcweuAGdNd+Jje6gb zXb)g^*a_olIeCFFo?`E$DY?LpjC-No__FaMVLO*;kEPj1dn~-M%c5)d6!TfbG5=vq zJDwv!%UgR;g^HnguT1kRf1=GLk72kA!-}UyUoTI_OBLsL!z^BlL*=r=JI|r%BoE6e zjr#hMB##}xQP$IP>Vo?7C1X7;x@};Ix0?LJY`yin;1*vtv0dzvsaUT}UHu}L6gC5E zZ#4Q8%AnXe{!5~pV;~TKsvf7=Yq^G1hhCfoq%Rw*l2@_)My?qz8;UY4(#<^TFVc4U zm@(c7)y#GsA*Fp1Ik~vdGS#0rSh6Q6xigfDWIX!rL)!AEhZPfEvXx-o+Pm?BkK7BU zQ-MF#C*H3RZwa|-)$o(hAFARpUoSjyQ;bSc%sXr*hTG{MTgSgy-1VP7Fw^K&J*o^G z3NIPyW#0xBp;8hm*+Ov_c~sdR`x@Y?RaX!&xUuct7~3k;0J9-Zw#@}w3ar5PG6Esn z(F>gIXyBOarzSx5Sjy39?h%+0UM|y&KZ4^+7gJW2j|mlz)7bB8obKds7aiS*WxoVR zgJU8u+hd}+(?B%Rz&rITZUJ4j%GcT3B5$re{+)7{3V#G&`%nyF073L(T3ZoY&2{Gs(U^bBKp;#dPys3*|J5W#Lx1UmLR?@kJ<{aVA?_4I3`+T9qjNf6)8 z6yk~WAM&;h{m2fw?jigL^AF#Hj%jG95NJ0Lxc+mOHqLDk?h|-7EZ$FK(Tq{_**>Jt~=M&RjjCjFa+D|4@pT^t&f-XL|5Bdo_u-b^6 zZ`7yzjOb`t9h?mAYmh4*dN9CVNr|~#n|jSuQvg-^C-SkHN<>HY)2`$ZBr|c?hquRK zm5s9e;bFfY35%{j!W>*qW_!48*cGB`-=7doMPaeGoL;tMvYKz}`PPzH%zsQo$sH{S zS?Wf~pCD4X-M+Q?hHpU6Lg7BUt~9~>Ycnp;IJJEP79YGCb2B3!P4M=vfqC~20QLJCx+B*_5PB9dYmmD)YQ8oNtV zlPhrtz42nv;RikK-B7^l??$2JixRYB@5Si6O)(|MiXOp>Ujy*AGfl}RU^hZ^>^tMA z|EBx!;Qm7tbMC`gDE+?!QK#p3C$App675?S?Q36*8pZP4d4d3A5`LP% zv;Y{yzMe}|zh9)im`X{Tjn=K~oJvGLox1cha)LB$L_@DjqsOK@;YI#yDxYLyxo z`XSi{G&mEYQ9t|(kxvT{@5_l__`5Im997<3f&I1aoB7xq={}FY`YqlS*v1jRSsR-) zVsKQ#==idL%<4#AZ1q=mR^H$t2ZQ^OwB&_kivLWmVsx__9r{2n1nxcO8J z!Rp-FidzT5cg<>7R%28b z&zb21aZzavIy=zY9KQ`vyt7F%MOdGAGVMc5)A!=lHeQ~5i}VRLQ`S{Zf_p%Km*8kB zy~1q^s;s11TmFM^Ff(9-13k=t)M0(XjrCDb)nz@dF6)gTaIvm=qYkGPZk(1i;MBY> zr@T6x>|-ICJ2Op5EHG{i2Q^^06|>o`*B$FJRMC9HOt8KTz1VgHf_4q1Dk-&*Qfnzy zO{v!@^#i3=QtBL~mQv~(rAjE}(-)~ZNMUPu6lWKj z`~(R>{~o39;q?FE^u3()nVfzR(a>9NLH{_VPp@bE^Ev%+Cw)IoKaObTa{5F{ujllU zoPL^&LrhnlrPjmT4@SPx z>3iNJ3U=YR^W)6C>78Zkx{$wo(b>QP5T))$z4x7{9A~}X<~ZwZqtb$Sjx4h%A5*&HPc$BHWMFJP@>CLV9cnE)s6#Mu_-?>k~ zl^=1ca|~FOx4tTWBnZ6{0MYNhQudUyhR=b z*W6;e(oq)<$@Z?+!^K!}G}yNtwW02(80lY~sh=HN&O~JhH4e4rqSiUhMtQ1U3fKK* zmL*dQeDnb?Qay&(C0lj`gol~Wmv3O_jejVjHwNWm^ivV>i-6}2zc`JxzsVj7fO_M>>6=W_7F zn*B>LitwvB8dd&jSJCf!{df=TAkA3nMpStTr)tm<{_;!S8Jmn6b@_q8d{Vvb9`uI3 zpny}yLm2X0oJ@u9(p2n%5InSQzH62&C2Fi)qlQ;-kx+NA`(R_Fdq8ftk@le;murJe zG}4Ikv2KybtVJ={-Y7G*M%aVF21Rq`IN5;LxOFP33@=l=VDlj%HI;`o)|4>_S=>kb zW%SL?F6_GoVhQ0qz|mHKGl62=3%|>VO8PTT53@Z43;u(Q5c`FZa2n!F8b_{6aZExB zjrBNGF%`AKchCKrk97q4z*pXQykfN$>e(Kdj|sl^0d~mW1IO!Yh^OT`CP{4bjtl70 z!#z+-MS%xi>}wtCG>6|%gE7E+kFAWycwlgi7gZ{zd6a37BVp0C#J|{#JVPz@!HPgf z!Vi;P@fA*bqh~P+igoYJmvPn3cYrn?jhj`r=(j__dbEB4(dI z2cpiWbol4<+YR(EWyF{5i{EK`gx;}x@H!5Y?T8nuR4E|ADRbXr$XTT>$|MeftThR? zC!wjD;W&)$&B!b&;}M*i+owCo)V23>r1nvUqyT_ET~PA|-sOTh96%r*$F2k(GxM`Q_QRraSab*wX>QQPGEG1ME7r5B?HIi*|# zG+yx?WPQ@9b|X>#1XbWZ8(e7#fqTIxg?=z4CX|Qa1}7iV+L_q!)UM{At*e~1bi^pO zYe?BncAh_mCLPYq$9R^T3xk~mNMMo6Kl+>eR$mvy95l7Bi1Nj`S+v;$== z0)_2Wq;MgaCeuLgS<&!C}vho$?YZZ zP;SHe+4eUMg5d1K+?>5dcX%$0#B|!aj@s-_t=lNoiBfV`q}n2dXRnRe&V=v9Tc^EVhLDqRd8eA(FSWA-XE@JhT zinhn%rS2iH**|Q!kP&XvJQafCxH9{2Tu8%o9R$&m;Dd@1D%LWGr>SH^p{bf4rUTI<4*W ztsIN)6_U#2Q>D7E8VNB(7z?(z5e;3SUQ>wsy5K{K;#K6Su`PS#XBsipv_tIVzyo&y z;p;W*hPmhu>0*wi^m%lvT=gt!GEGlG7Md<2v^^RBSac6j)8=kUo9PG2TdgR@l4`ku zooXD747T0$&TsbaPkN_5KKb+;ChB{L6Rc;Qc46tj=1ho$Ut+oT+L3>I?Xwzb1hbMOpkyRHwneTf}B&DV+|54^OWEb1lH4X>X2rM(ww<11+) z_Gz%gsPgBysr-hp;vlYMhNpCGXPU1x33X1-1$TPAYjZE`UnxRi7qthdhN8d}7zL+U z1}O@$eu3x=Hk;(*pt67gLjuevV__sA(9C{BDSeWxp8b{X)!YlMq@xhuX7i4>YzzWt z^z9uma8oZ_0T{Hi=&lw~*GtWa1uZ&H#9hez2^Cm$c3zT-l46}{4=Wji0d+Hp7eHbS zayDInrj;JTB+7DbZxRNS)i;UV#GKwrduNlFh-q{?llT)ZTrr8wWD)V2xC8af!8*n% zuodL?Iaq2i9$z2~v9@;>y@?{FFLV(2fb|;KaSK|4GBN_3J<%v&rY$(d<_IpZTV*E; zy_+yrA=vdtNd}Ps*AYaxDK(k|aVfQfn;?nhx<1oMsSeZhM&?-n%1jT4c~*pZ z<}l^BEA(u=Ifna$9-#2Y7r{9Nt`A^sX*G`GAJ-&%xh)xUomg=*y&2Lv(AkOEAhG`{ ztiR@4HV0-g!rVsYbh=oUS0<@{E&v=5dMoN!I*8pJfZ9R?@azq^JB1Rr0o zIjg_3B@MOI4=rI2jL#jaIzUzQL(&)V3H=hwRZ+*`uFF)>2jB#8!0HV-no$uZ>z}_+ z$YRP)EN?yx(+p-b(l55`u;m=?9oRwltYh(J64eA$jPyWHn(1zUylwhX>iC{^yKTCwh>m`vg8=lr4f;esB-@f7 z!_P_^xp>RDYwR}X_~7dccecV(wA1cYwx4zHV*L9c-+D@xT7ewj4LHn_wlAlU8>mL? z+-xK1Ofy`y1(`C{1`4&SRen%yF&qk#K1c>-u%tJV-dLA`rR#MkIkxsES(09Wr5M4; z)`s7C_6N$XYC@fL*iQ(?bSFoQCj?`< zjw418f-!xSBL)+KFwh z$&oCnqU3Ov)KGFLOL}_XIvRLWFRN7#B1Jl@R>??F1J$bbNKuEXRjrVsp5X4q8L(9L zYzQp-6f%};_h=TKLmAF8kj1x0N`FQU&7>Y9k^Gq)EZLNjA8a7(3=cSvzcJEL8)-Id zicHsw56zM|EQGMFf0Dim)%@jOh>9l4rULxKpFAW{*$t$&3Qjd>KT**f+H`=ZC~n$L z-LR5-uw`+oc*cvS*QQ8=!i&1d$0-U_7F`c?1M9s7Xp61|WlS=csOLSnmO}I0a`IY5 zq;Hw(WC1Qyv_Q0C&2+lhwa8nGC}^KbsoBngXDPc3Sz7|7Rujo1lsZDGzLW|GM5;Tb z&v}gPN9R4|u<%J#ZDNj+rRmx>I6Ur`O2;a+REWfM9NUHAJ zCevv5YvdxuzWA&7Dl0CkS*|V6EP5Gj;iF=jrF1t}LIrNftB9!`USZl3kWjrBD#QwI zmaJ2-z}eQ21}Mcu#aE-0kMLwx7pDP@<}G`D6T<&Af5FJy+g3 zpMkw4U>oCGJWtYUO6|BR618n@Xq05{<^vPh@dKJ(s=)#Y$BK*0L(ok!qr|db>^7KE zmFhUca1Y8JW!W#4?B~cK3THVcqCM$;7&s$DB>&Td2aRtukHAgZ08|fnd+8-*5_aB zqd{O%Ayg%)V%q^=`o2imuvm5mglbCU*@fB07EhYe8s?==912$6h zmDmCgUsGtk-gH85;#Y3E1O}VILyEup*OJz>4(1_h9N%`Qbn`U`H8yv0k`)nIAjqh>?a)%aZbm>`xXx3i>WO+p^CHod zH=jyuLY!XSPr_)>r@$(dDi*sF z6!m!Mzysf5wp{a=bq}842`LWTg2rm87ta!PdGqq!Py>V$N+}hv4;gVfnz(-x5UOj$YiP9 zrN|N@WO)k<5fKD&f)!4JrXb*J*+Hc0sjn8S*$vU`e&`9RU;EI7^cJeGzvHGf0$i(A zD<5+Ww+@)%d7jDUPGIHb<~!DdRhjA)J+Ih?#3|SLLk!!^Al9x2Ut3S1SGJjc?A)XD zVeIV|>M~F%94n70yj(X4>53t^bdijN%^yrLhSfVUhP@?a42#f5+da;HT_+-ZYkDD* zpabgFd{(cYZCKIPY%bhv*e>3$i5wZR{XOjOY?p{h9mBl`;qrTv$P_TF7~UAbdTg!e zMw#j;XNzwGA^|gM55m$N+lBpHwyuM?+;GmTx#3(xvtT7GE0)t9Z+d(ljM`C|cm#rzC8I@ha+whj!R z^%iz~xcDvwKsis~a-#h$M%u0+omUij z#ZPyH+2#yETb3QT(OaeZnvF%1oe<&WzbKCQ2prJ{J`4K@ljx=GkSLHi6V|$#BsvGq z5Vn|#IysB>QPGzu!u{W94i;v>T5P{W)hImrmvPUFnB(|r7!=Cq~Xw`(%UN{QSph%vLtJkC2*49wX(FhMI^3ld}kmYE#epI0w?gH z)0FlhqHdfMVVIj1FyGr-Y_-0MX$4F)X)~Zke~}?nfI44e9prV%;28!XDqV z==ShTFGjYEbI3*p@6v(jq(M79=f{>Hocc1W#qx>u6W^{+!0pS!aN3dCL-RlhNU>92 z&aPaPIq3P(#EQT_Q)FpOe1(=^azfb^eC#VR_$)gZ*m=v#)=dRjaVRVIJf?6+Ec=ap z1kw@ZX!R34@fjapW5!WJo$I&DT`gYREx{?^paB#}LS&lrlH_?$B!dpj0s2L?=I}3( z4;T5v;W^0;(V3d2f;T5cw+uIsUwWHUYPYas|FF@^1_Hfqe zTtV083ts+`$Zrs^-|HOj`38qe1>7d!?*eMyfY{5k;-yvOs#_c`pemP4NpI1ChUnSdXC$noEN#9`q&4qJcBVc$AmGzScz)4spiZ5-?4`Ck6aOz#j#SI>+g&f93F)fWHfPOF(}?_ke(* z0tP#Hy%VY^iGD*w-YTGv#PLdbs7KxWyQ2I?J-Yhzv+C75EAq>{IKS@&Ty zNfYuZ`5hwvaXq|J{%>Jh(a$ge|0Ccb0nZ4i@M|Ob87ScP+w>csxnufF7Vx`z{Xg%? z%Xf)>`_$|2y`o>Udc(sIovLs43GUbZPhHs=}51qJzq zCPRjtm!GH2Fl6e@IVPD(nUMIWAUi`g6r~#s8AiEKpOv-GZd zeg*ox2-%RMFEE0;DLdC72lnWlB^wPyYV>pRC$d7l3B}<(!ccBP+W0Uh0~KSVpP40_ z(7G|(l%1a^XMpW&uC-rEqja3DJDD_1Z=5D$XfkuM(@n+* zF&aUI24jBCOjol~L4MBcy!_m3eNKcNS`^qLtO(LkFR~3rr{2=@%{gRJqKkUjRSU+& zRRem`3DbwEaJHC@z1p*_R6MX9w>vYefj2ffL941J*~C>VOl&(V|Vxa>}?ohnm*joBH7LOI(c z>+@tbh8SdF@HCjPHJG?ICp$OW#N<$GV`W%OHc3gQDx36EF}~ETjC_+eGrthZ2eS+s zy8=H+t<7kZ-bJCvZGb$OqQsKy#wdfA3|r%3DUz$TanAl_=grjT(EMbr(Y&GdrX|s= zaMLCYt(K`YDI&B-k3Qkya*&wnM(VA0S}2X2A_udCEJL1w%}PDZ`i%TsnQ?I&N0JUT znM4oDft_v{Di?X41$N^1c>WwA?D3$&Ul`&ao!g36<0s4~j z3u(mjGvz$6hn<=8Fn;h6yoOqvBlC$#9ub_gFa?Zq`s{QXW$hr@$u~EN`4DCxauSBy zP=HA&6szkQI-O}kt<94$6CkqDM5;i$<~$5D%};JYykWI=6nH>Epiz&Y*tHFlWQi4Y>uT*>d_cct|qDhE_rJg+#B}$ZZ^s1<6OB+j+DmFknWV*FifKkhPU9JK zTaJ(`KgXP#hmp;Y^UbCLjCN2RQQhqp<~XvECb<*VLKY*OR5}#Qys}^i!=gn(P7-26 zo~+x-(_PLrrpsC8Y-J5(`bmb}l5R|Bq5un11ja3AHqF68cn|n^2+tfwrje|A7H>&S zo{ddZKEJZ(FbBma3S1ua$0j08<=f0aGIm~s=F+F-=Yv#RkXD#aekm!0(glV>TJS?) z^fF5LG++X#wJCM|4PU3oe8@_)tPi>Q8Lsg(DfLM|d_M81getS9Wy1@*uST>48j1>X zX#JuF)moF$oXJ&`ZjgKMQD8p42Nl598H%lzOs``VznMHTAxWkN$@S-%bEnemR%>U< zgq+HHt!2`ad9n#mZ-yz8kIOMDiTN_-w`n@|dNc_hlr3PG+-hx+3{TD$uYB;IRftuW zEe=Iu26M?3Q}qo;j9_>-7Z$pppDZVXSt=%CexVLy8Dcce&N1kw=I3Ng9sq82 z%Hb;wdG#q8;WIVIY;YqBF;3GL5YHmUl2uT5mq!aLOM#J#$ZrJsZggIflF7)mGY#p8 zkSL&-I-AU#J7dMY2IgciIwM(Et|2!cVTReLM+_STn;mY*(o-#Ca0FUJoYXs0P5u<# zlO}T=dbT35$dva6{SM+m)I&jaBEnKeEx{^uwdD3BXWv!DKZdmU!4m)3vaE4JI=2kBegwU^Tu z!o6cOm`fxw7-Ft-KSy+#hFNIqj%1QPopyvI0&8?&pm7jwV1oI66+2okro@7j5MoDC zilC9%8jHq6=#5+8Qwxog<@6kVb}o6DhW*MjQooRLf8v$h~B0$aPXtO}>uOJ`p3ERs$krkFM(=^O7Y7M4Lix+;Zo-o=xLlFye zl~r?0Qr!5sm@z3)(TQy3M13g5dUE#M|S3_$DI@GE|_;pempQEBrs#1 zoEm7H44p>l^d=lHqz{l|bs1?iBm?9`9UIjF@(^8CPX1IqO{k=NlOe*z9R9yBi^QFU z6%!rE=pm1wD4c?%%n=AMqNJ~31#smjkhyo0GSW}>63fS|g!@OP) zh2vyGvQ`h%>rH+nBil$v01ahfmM!cWyGl9^(a*%DhfxP9$4C5_BQ|Lyp9tFFJZ>BU z!z5K=ywDA8tg?0}_Bl&m2p5_qHXHef^|%ibI}SvkN#YoUTPm}Uso4JUP!v&WYG}{N zA$4e|pNvk#_Zjj-w3y8_Jfs*KKcS#FJW$LO!7dP|gM2dzZ_cJD-_D5Mjf@*Td`wDQ zte>RJ4NB1d18HNy884ucuu+1~p0@w(R zD<&L96&9_;OUMVM+!-6uSKGT5hIp!;^`8fAt zW7Rr+St)?Q8DpkV2lygEi)a+Cl%Hm5wX{q_uY9+y)k?1ATsfMR$S9fT)Y1_Ir6jfM zbXA!i;%L@S5+_KpO2DB@;+UjCffx(@R2&;&xa)|?&RI!F=Jsg~WD*yc12f3EW#(l!MWk7WmZBg7UHn`*3KY78Zu8Z^sCTTi}YDEn3O7HHQ~1%U4p2C;qHwFPE7~Sv^h`?(9jn# zt&KBrNI@GW1u>&uo(@4+xv*etJPRY-bVe&?O~Omk_8+hCCW_$uB67 zHgDsU1tggty3+DQqo0EqJ43?ud!z_`*`6DlafCt?`bvI-;Xe3khoB3l=Q_286}Y=2 zzGh-e+a23w)~K3qLudhUoyn^)oq`l�FQ!5k9%9V5vJc>X~eM!&r>z@Sim9%o3m~ zH|xhy7C)d>Q=LqGb|DUTadC&O%(SaT3)DfQA%_huYAX|%ZzSMZjcP4DdBaz8I#7@$ zZ5$WGPjc%PxP|aDOu9@0pMx_==uK=Tf$GsKGcXWTh^*OGgZ9ilrw2=NcNS*SnS=9` z06qyD`!L$&N~4kL-y<|jilu7~ltECMOyQH!Nt5C{3vuCwvy%;wupF+3qgqPeb>l(uS?k5y;dLA@Zba?ED~wsq7qWlxL{5^YmSw;SMJNDrNV@yAw1*c z(94~&A1_RdN=`{5`P}60&x=wLhQ~E%Ak3XG+&$A%8En>fZBS1PY+gZHu!I2^DfeW{ zE=%@uC3~|ZGgJ}NgeYg1A+jr8;1N457P!blo|1xgKAp)aIm034*i*{QE`kfEi_QF^ zF9;mU#~#z0C9%+LmAOvaXnss!Rf4g8a&X0ho&IAcoCa*1hDFil1Xi!+VK zCFX|G5cob0_mEGUBm=Mo0z>PDu5(yO&(O{TuzA2?3is+bGgXM4zEGN{ELYA2k+m&} z&bZdp2s#PEYK3)L^ourLhMY_-o$yMA9HXIeR%~b`xGO~bc{tO{h8}1|>PA(%$xORO z31$+NSa(&{_QEO^q3s11+B1UvkI*G2gOKF=*toI9SEiG43ba{7MaR{y!NY#aY%sD& zk0o)%385ZKN;B9|4h4ZM-$mjSSpR4%hfDpm9{JU&%c}6Ei?D%bS9x7aiUIMRgkj;Q zmbB5NxSHHK6SfE!RU4~8&du#$h!~(QKNgZuy8*}gNQ!~$gb4=I42lx6bL$G9M&Y+K zgU&u=w{9!@ZJaoq`-_v@YhK~;0^ufv5TAVm531y zIXL0KM1en(XtRPlGV*BqnGpn6siR{Avbf+njqu|e#6i>Zu=kZ`Adb<>=m{)N;%74a zcvhUUvlF!flPd^CoFM`;YMChjQ;uEmWbG6hOy)wI$CKn~<~%y~%Se+(jD(9Gotz>u zrzS;3j~Jc82aM^6f+<>RQ>Dov5R!$)i5H>nDXH11AuUU|-vag#p~k@-M2k?1B3jXIQ$$PG zZHj1lYgj}#8Q{m=G8|NdnslIa7$eLPjU9Pmg{9*zE-qHFhRj(6NbM6=nPdth(O zb~Tv^y2-*g8GeMt`g9Eh(TN<`i~KRJsnomh94vLAdYD!Q@-~o%W*`!5GGTur4kg)j zhk^9N+BiBz9x+&snGlm0H;8_;X;TieSocTc&KvAq;i*p%lNWCb0t+$$3#%8Y1raV6Kw3Sw{UV z=V4JGPFBUq3_F{oZF~-#jRZTB#PO;WK?`GqMCS%l1eW~>DUFWG((+~&_AuoZ&?${1 zJ>KfWA*be)Ji>Fzzj7o`tsBJQ1d$&oU})5ftLV2$)Jqch3nG6q#-oGRfKR>fum%{c zJ5=kCypcFk>o@@1VZb2de>z(07znuPr&`BIz?T3s0AB$t0(=$lDZtkNR|CEQ_$lCe zzrCz6rP$a0lQ~z@Gqb{8j6?2H5}aT1P8iNg59r1o$3cEZ_;i@qisJ z);dZ6M_)q!0S8{Ib({n|e!bQaqL!rlZ=yZGd4SIW&i)7O0H)MJ|2W_J05Ay9*8#l) zz6FTG1nIn|!|^UbFNb3*puUO2aRBfPpbhXLABRI~DoLjR>GRZKc-CbK;DdNTXC2^p zz$1W(c=ju(nIu)>k+K}X*YSAZR={p}nDKkSpjO}qcnQ$Exg9<`gieFv5}rg_y-L3Z#Pua zbe3^+Jz*pr#7>*kcxDtMY-d|0>0Q}|PFABaxpct+gxQFZE zo&&C9J>0v%HLZu+3f%R>b@?3t?i_H`9{mWO!QW}%FcsL3aM$p66gZeO`w^}gOy15J<~)&XA)yhY%1 znHF$83HdKk)&pxo0hNK7#WU7F(sQbxqIcqZ0W@0V`Mp-A=4(ZqP3$942 zNAKXdfwfRa^-!i4IwsjdQP$x%)T1)|h&~p$AmBz50x61}KWeAH@yJK--_>1np9??FzE(r@Udpi^#SuO=A5=dj8_aj2c$u zZq%f^GvM(=O|9cM^qJcQAM<~JPr(}hn&5rMc{9>$p~r2;oa`qaW4#9PK-9nCHN`8) zqp?W{KBUj*!0SJVDbkSU@_J4teUk3hq3jgO{-LsZy7Ro`QXc8{C(wS3*n_^1e0$w_ ztw+Ct>Zy(Uf5b$Ih*c&~TXlSa=San!(HO^qZXW1Ti4H%)jR$TIaIY{7^bD8--0;h_ zj-fOT6U10PMSfrrjip5u>mTYB>*4RayXwoYAH%q+7I{DAwbavVqL2_i0$pZ4ViKof zZS4WyN3J18qJH8>?H>WIJL0NB%y;^c9Z-x{c2oEc&x!s4DgM5M_lCp21pHtkoX*h9 zC)@{oXT)Hi5grZS(LN%xZetx>o@wA!0bb*X7k-KOn+x0l;Qk~;-d*^Q^n9l=lZk?^ zzWVwbHeO$XU*4@+M=#=6XS}kN;bQGx0$ma4=#3!KF#muGnp5@0!Sl3#Se$?4ME_9F z#oRpHl<$cZkJ?4`Nc>TZdmm!a$L_$-t7XG6oGZAHE|!2tw1hYdX=&(Pb+P|Wx}Y&V z0)9V(Un%h;|5ohpOLjpY85`!|aCpELfRCj4=8YIT46*T-NE6O;Hg|Z$M@E?qWixqM zfaeU(Ck*((h@xBGlfxJVAv+Ca+fl}Bsm|DVrns*OT|rB+e*$9i z#|0m^IHFJ)NNR5@=w1dLi|5eCG~uVIy(1`lA7!5tkNSRMm&;EOtv3Rr1iU)n0@2o$ zP46xn(T0MyIra%f4QWTZ(}tmZ5@;uYcBSw?joF!3OhdbfN8OdEy8-)1OFWGd4#`P+mW7Q8f$u^uO#gQpUvR2A_RQu zjNuFl^g^Tk!=n8oi`>!$w@JIx{C|~pZ_AzM?eGiSWOJu)n2uxpGWpAs|8*62Rou0@ zyM*p(E(x!GJE9Eq8i%ynA}S z8-I@HeB5Q=>D%GCsvFWb#Q&SVG?ckvySL+WXZah-b7z?ww(Cy+|6YbW^S`ss|4rRH z_xFD$|Np*r8;<+!8GKb|E8_m(cBJyXW9O}9o~-5|L%7G4gY^b zb36I(JVtl+1ONB7>+Ta~)m@0)&C-1}%vHizwr?pxfb?u%2j45!iCsLOQwS+0Tnjqi zehvqHPx~&h5{{L;JlEbPCZv79HSlT~i}y(*O>r9WZ`K;IEpQ);c=e9^y<(5yw_z{Q z-g`WF6~;LnY7tX5es1Aq649^wkp(*gSc&=rhBzFHNj~TVXDX$120(H3rzm?HWee{V zR~LA&O}%s1hI&ExyMVei@eao~NK5)UXOzzq-JD5&=+v5CYxWiE!3`UT@k-bWR*RR11w!);-Sk#?9%i-8d@}aK#`KISKCLzu& z_<4E(XuXSYor7rkxZ*&TPK9wj2!G2_z82*t#Mm~jN3X4o*$wI70O}8$<8Zt|XDp5P zBh;(ht3f~FLEfyLBz-auU#)M+>)z4+M|vGd^}ur2DAINJBc4Udn1Mtp z#y>@%OCh=;{>uYA6WO>^*~|E69m?LNGTOtBzfjreEa(+(l*PP`y)4cVnQrb^G2MhB8-}u>@8Es0 z*jtkfjoT^CWl>B&+UwG_HQUDyhk+0-x#OJIDdOomMLb=n815fg*qFN5+1{t%6M$=F zG|m6}`>zK6tAYP&;J+I9uLk~4(m-*GNG8rm0V#x_p90x6S>y)@L^D>3INCpwrEr@J z`(>!37{rp#eitU|8N_WS>_@Q*{jemm-!)NA@eBQwa&MlMPI^YN6fVQDOZ2ig&(ji5 zKiM~uLApFbzj#qj%RK#d3wbGCr5}qS0I{v8^P`Z6{ibkvm9=_`D8TlM{V0T?AHr7l zv-w3bsNk1~ywZ;;tQ7C}5Kw6!FQ;Yw2@~{qH!aHxait3)e?}cCYX1KW9_4zd-|9>; z-iri$Uck2ntQ4?Hz#jzsRlq9(Hqr2YwGr?^0s9F!SirFYW(qh{z(oQ+FW}n(Rti`p z;12@+D&Q3Xn*@mV1$wFwaY+w$`JHI!9oOzZ zvVSr?vcq~sjI0}8-c7&m0`?X#Lcm7^WJKa04{)l_i@u-L=+B^M=+zk9xqb&&$`UpJ|f6pX)zq!6ix^f2x* z(n`JYUmyI}UFwIw{!%!0)AZjU{1+ib;=gDq2D^|r{1+t+VSht#^)DW~|DpIBCJo1b zN%${O8il{n(ir?VP8u&wkS5~4WN8xqCQDQBFyd4RckWAgGDLb*%EI3?=`s8_9sgxZ zx%kVI3Zxn6l@b5t;||(V9n=8%7e+%&6JZT~Ro{%h3skDf?3fLX);0Ri2YvOy zt*y;KiF+gQvk5zsU)8hPCl3o)%%OCYL;B7F{jg53-;NC&PwR<-^FW&Z=$D?x#3y&+p%zXZ??L zdUZ#UPwkdwyQ_!&wtx4{)LY4U1CKZB^}f25ch6E&Ueqmf$1|EHdw1`ArM=w!+|SRZ zh3Yf*{ybyv-cGk(J9S_5P1P{Z1@|r)b>rr&7ji~DJG{9*Y`yQr1Dn2lx?77r`wvgG zx9DuDcx}kbUu8cYlTo8NllH|u`r>B~oeEe#s@)S8ADE+R`qR%#d!`;=KH*|odf%^( zO&j4D88EJJ-LYf+(&Nqde`HzJ_TiXw=ML;lt+~``=dSyggm1XmrTNAaIp3JRpRwlq zLob~Dw$s%X{T&;=8sFoQqo-?vzMuYG0EWS~G!{%HLVukGC1`)2!9Q_B{ge`f!r=97yTyyW$wZ?`X#-&p_rC*$`2ym@rbGi~;d zySJ@+RPL%))xGB1CU3d*sn=tjjyoPXK78Dyc{A1K{j&$86udv;^V+>-kFQ^P>+9F$ zr<<<3q??fWmqBy+@$#HO=Hm-fZ(e@%`@cu*hR>%hJDh-^W4@~ z-+lan`=_1wu=Z$?L69+fq!{h?IfuMQ24J~z2(+j4v9s;*aG9-i8z z%hUGoi#yUrUAPwYaenZVqh4J;b;S>=kT3puRQ;E!^_tyPlQi8wf4$4jL8_{SC-1F! zA-sd`tBZTr^-Vo;_OERp-?yyWvSzyzo)}e8sekpAr%!&cJNQ4dN}pSMY)!(c5OvqY zz?*$i<+Aqg?<)-)I(^ttuP&Pwy|(PF+$Rz~=pXUz{&r2LE!dX-=Jk*e7{@nP%e$9+ z+PuheX1e*C%!U0w8}wG&&!aRQu1`3cb@Lfb?@4~g9`P9bQJ*FQdSC9k{2hPsjXn5_tKEkF(9%)x&L1y$_Il^7Rs*-?w?6Rv zies%kx?i5Xpi|(Xx3_(tzB>HmhL=|?{3g2Zv>9I*Tkh)6?Srg|ajF5svVII{Grdij z_nIcRO6PfXAA50U>ZeJ6V4yJ5}0oieH8|3vf zet%WdVcYIE+CKC5-|6e9F-7>ZRfpgE^J2qkd!$BKIU0gb-v}VhbFI~?} zQ=PrquUm5Z{0hUCh*s-2bWb|bzQ^L^eV;EIm-o$Qx&>`pM!l`=7?@G&b3FNv9Y<$$ z4vdLkJbT0bcm19nQ9NJm@2kCaJUD!tE~a1Gr^fyeZtwc*`Ldqt9p%3U_wM@PldDpC z|N6>TH})F-nYitp5##6dZFTSa=YQUkaq7sVS5@0zTc6yv*|r5C{_9$we*Uqt)^9xj z(Ph8Pn2MMkMq_&06SgTC_KLW9k32K|aGH01&%Ot~7`SlwmGtbR%a1)*FvrQy>3(Wy`aRZbV(4+wtpHLb^;Jrc*B)_JLQgwC0C>%!zx# z&hKCBdwFf|cBKoZykRu=o44EXrvFa0_Ja|b_s_X}BI^9pea3n{;CC_W{PnYwy3L7y zecWuHv$y)yyfmuinKtKFWp%1}pqZ*N&lU?rxsjRlP3ilg=e>ObeYRdKfB#TO?(XY@^a-7Q-T3q^Z|{$f zj#yn&cKWR@+hSH+e=X;O_Y<0R>Yi-BR6WSmKfN<*b^L&^ho|@c^i6$-E+2hY z{fOt@6Q%FHHLk^1tA}4{68*nwyY~3DiYq;`9QlgGiEINl;pG$>9H^ghh|>}x=Y>OF z#x_j|lxta*EG4!iOLAhTT`-R{p@kACq1jTXpKg~iuq$@ zn;-brpH}Ypy_xvBG-SeBkX^)@$ z#v|8Wv%U0^*RLP?LS>*SvgG^?Z+yJ!(79{xUevK;#p=~_PVnFGlDxTX%cJ8D zy&1meJM&7nm)-NT+i$sX?YA~=z2o6=_tKkQpF3-Aa{JrOU-8d!w&lY2zFhn4ZOg7X>)Z<-n!n{IuRgQ>jt5&t9^3QS zN&eQInse5jKd*X0-Tb-+l?N1h9^@Xub{PA4;P4b>--t%Mf zUBTSj@lWUU33a#&Wb*T(Fgkm?{?s+a+VX#hnG^&`7M}w|4iY4 zvkDBof1z-d^9qGOqHwiyD#`XSg=_o{@lhVSY4Bf#v)98nE&gH>y@+pu{wQaMZ`%C# z64^AqY4>j+#y-B;=%-0?UdPh`tlNJcksamPh?|)IIg)FJhXhXfcM-P$-(>xtrF6|O5PjKazt{g5F_`C>2eL8$JtXMqEY3dvABgM>&)*=3QkBkGK=BemiRLRIMwoX$aL=2ir} zYL-)68pExlz_56hF188^A6*3)eg8*6S9}abDQW|sX-5;wq9$GQZ8|@t@Wq#aLydDYh23(*ZE!Xd&+df?w>U3S+|UMugN_Ss zz6kMbb8e+@l)`JAgA})q!tKr-6pm52%b|@FeOoBJ(K(Uu0V<+yWaBHiEBOf?H~7+& zWoH}~<;(hzjB*kbZHU5-b0yBc5n>T=#)#%`D15ZDf!JL};VNekXWtc9fwI~eAo?q* zbZU?cDbnYBh;w;85jn)v=jbq5ND)o^@~t_M;Ztx9WB^dkb(s*QDms=PuV2bURGwUL zq!K1lMKnU)*WSa=V>nl2a?g(bh%)04;N#4c?_fbl!jjW~27F%{$Hk!?0ex4KOv<^H zsIMWTaJ1gOLL>oIN@{xw!DGk})vRF2JerW|T#1{KGpW}LiVFZp+*S>+w0D(@`9$$KjWm2)=ud2gf2?>H`z z-p)mWJk0^-bFKza3IYB$0~Rd-NSRdNELaqqv*K(%&g zhL87=6X}KB`4VDze?apu9A`IZypQieIN+?OXivU`aFz25qJR1wgsYt)qIrhGHO@^G z_ZKJPrN6=X9nt?A;Vn)N(L6_52s#Z!^E`z|RRuYfGCDzg64&RDJb{Z5Jl{MjBcm$g zTRwHu1FAdv6xFdW#HF14xX&RfpFNfBtVZKH788C&$$U_HcraB$=oXjB<1AEF~Od#&gXmp!sC7jrY#=ti~k8?-4^|Z zcq`o&{g%RxZi`-`a6q?32Pj;n+oIo5xY}{R$on#dYaDKheox^Bhg+impm2-B4biI< z4m#Wpy++|Shnu0-DctVRlxgoFsxKRz8Y;{;DctRF+wcb}x!7!OPX0(D*LY?>MMQ5q z@bV2FRZ8mdBFw%Up5sPV9SsmDCzyRZwLJ3N=gekXI0d};*%I@tLLL7acsV<%794*g z%+T3I!4rm%QGeBD(D}V7>93Si^`J?x=pBV%`i_U{8XaU66Fm}5kztDCz&!{G+Ol_o z!cztpQRXT4cxN6z^OG~FnNglH4?@!k3E&rrqGOeJ=BKBBX8NiMfFefrsWhPo(0 zNH%R2P*@0Eh^nLl{H9N*NFLler8y2QAoI)Zv{e;!dzA3UEoNO-dM4t{n1}~;c|5Bs zh}+CLYE?x&BF?JFqYWJ6Iqf)2P&N$&D1fc`& zv6&a?r5DQ)Vohk|m6;$2o9CwpqDHwcQlTX<+$;dpt8M6An{Xc`2N=cboSz3$&`|{AyjsGHicb`JBc`} z<9$kbii&}K?*E!bVj>OmuH!w;vzjdd37GdC^ky|SNmAH@wyye~p?H69eIL{pu5GGo zT38>>3@N+{R=0LmH`UE=fHtv2h?`aJs`Xg^1G_+_vT5aF1(5Gn=uO0{;4Xd#Y>KH&xf7h!?|Z5w$kj zzG@lHi6lVU+M|}%g^6OVc7PyhSyUTO@Df_JQCc22Qi}~3YGE$O7nU&wQJPkW!J1V_ z4=ZH~CkRaYzGSgbU=nM=Mzj5yTG|Mse=(U976Zp(pph`?0$_M+*5&1|aF6wGu=q4B z9)?Flv?T^B-MH&ucY09iFy&MZ#VKh%>S=U^-SS6B-13S;q(_Ul(SIVePFqg^Rq#Nqr z78=R8i6qzdiTvXc){Kh9qr?Krg$G0+6N5dvSo^TIA7&yM>B%Oyg*E4GST5S#%8S~w z%qa3L&=}QVh!Dk25?E2uC55p%kOG$B#iBo2FGlyE!H#9%-y6z?m=AB*p$%LTWzA)X z6B{y?Pb**rhLLn4)bC<}Eas32ZH*X%-4>21{D;z1f>>yYN(@U=W}1{sHbLT|Sdo5S z&RlFQX6ivU$rX&89Eh?>mzKLih-J!GE*6|lk}2X@UPVOoJU!D6HhFnuE08?qm6$e} zcp|E;ii9TNQ5RRPTC+kNX+GN|7do6i^2CL}#YfIptAk2}lmna7naA2-qCwIOP-v(J z7gO}6aKuuy*16mu1ed!mEnWI~<|p+621P2w%36Kc!a*E4=>e6BlYwYhL=8b+T?tn# zz}Z6^?I4I^5go&txol`TbUc8SpV=&$U?-S!U|ir@o4JZhQDHI~O@(?F&{}1r1eAP! zx#`k3IfmpSb}T`G6XriNpMcXb{uxnYPI^c&1%4bmnTuH}PEgj%VTxNWa*``)jWF zkfl;Z!AYcEwCdwi;@;f2q5Mendu(-aFdyQu7d;6xZYcku7hMW7zNio{QB#e}@!~^} z8P8Kl?^kAAP$7PlGUJB|@#(p7RfYHr)h+rg#7mXwTNdIobKhMH@mcs<*P0J;*o!X( z`==N;;>9AE1#KHRVXvAs}RR1swu`5c`+L6up7!J6?u+D=WQyyQUya( z;ZOdff(8O^Wf`kXkf)gM@HwbRV{h5b%BH+Pjxr3rll8=su z@b8(Td=CI8{$?B@Zuxi_!WY;S@>544+?JdaEstw7X5vOJ{i&p;+~F2aGk2WPQ!bf2maxr4Xv6m?>rU# z0?^}yf0BP#$$TdJhxI~l`x*M0hmTH^{1tr(^r*>x)Djc(}M4_ z@Mnepz%iQt43X#eLciOhr!Q0_=K)FgBPqv2!snZ3X+CDXnRg8R_ynOsI&Df)4W=r@X-#-3}0ewE}4$??%B^lGQ(kD}&- zzCRP6HjB>+!JEZy4gXcb|NNF9$LF4YQdR)c_BHgZxjAv52qUZyBe>NSaras;vZzZR9$*OkSR|Q`g55N z@+IR{8w9^m__qmvqn|FJS2F(9&|hr$2>uD-6BRzYEIa8Jyg}^NBlNW97}cXspA=+d zE$->~0@GKje-QoxEBfJ>%GZpyg(v0X8pf;C(^k6I11J7JeJjXxycQBd^phLux!ua| z&BCW!a8tgw3!m9i-|@AUkGloGrYXqxt&*{>(y7bkUglq^c1wT5=$U?7CpphKR`Zc! zS5FGQQ~ER0g#S)BMv}kE@&nHZ|8D6w8vf52KA+J1c?~>Be1PezRQG+_t_=Nag2ycU zEx|_xH}&OR-~p7&eyd;l7vPkyZ+=FnYv_HV|4|v=Sp!+<2nb#-V01*7Km3xEi?Q2&p>N+AWICQhk5E?d55yks=BG-H!QYgt$?rR# z7yA46Xg>cain{_h+qvbJt`Yi<*EIc@(C-!c1EL30USo_`sxhgL#!miD_}u$N&F5y3 z^X~4$sUqoKS`mVE%c+79!?fqJ*?$7 z^`b`b2EmQ}Gz#vBA28*zMDTG-o>hXk2_Hk>34AI&#~3eF&KW_LyhG$47X0~@8s~M} z@a$6I-!1%&|GY}*N2FeSUie&R=)bS?YufR>LVxCA&3{}v7Gs9~M}_749l>K3{$0i^ z)wq=V)57Qb!vBRen*UElp2vjGsPMT`@F#@6;uTGQnc&YcE;o6XH<(YQ8kTg8p80ob z_{pcm59m1oSocEGebBOpBFIbj^T2UB-M^JIW(xl8wHoK~5qMT9_-m(Ye2&o15qw1K z9JhQlBS3cR{J2n`ON9P`p9h(a*DXM(p6#EZg40Uj6R`N4D|mxthaG|+w(@&{;L4(> zb-zi@YT;iasSf}r{ah>dNdwa8NE<#@z1S}Fzpe=~-SvFNn$Cv5MSm^R3sK(X?jzuj z90C8O@b4D+O}+Rn)0e8N<^`Gi9FI=qbwmGnVY$2|^zGtL%ommqgg$1`)2IN_Tgt*| zAR6JLf*W~`2TuAN7yZ!h@^sV)eWU0{#8gd;S7J?WEvNC5PvDno=Kn;Y{0l)({RF#T zO>0$7<$pFZUaHnx?@b}W555v)`S$S{{W`%{TlCw2Q@`^i}uN3DnRQ28xWIA4(2BD3@r_?In9-$wXe0`f^;pcazuTMkgg|juEYN3Bb`0SK=YVc;H}V4 z0DkZA0i7>_)eTIK_YUiO#VvxHdA0{7!eR(a`7*x~8UJ&;$dmlrAXDxX`hOI8g3s%8 zam&YpLVts_FI|E^%Jk^Ji99m}r$NqCzH5Y!(esnS=LhS8Olj)rv%;rZ>P5Toc~R*9 zyiC)Z?-j2I9yz3OUfT$94hx?#@t?*{-WPnoWe>EbF3H(0a+>lz3OMQQJ5uk)z?+Wa z1b?$3$oIE;_@d?reqM*h_X<8&_@~4k4F6i-RKE82fki^!E%MZ8_G+2%U;U)!|0BUy z3x3i^8s~M6@Ql{?CHafxee(jLzew;6@*e#y!TSU+s?~gW4SGBq08aWjTKYMr9A6Us zJ4-eFJCfh5(C@PJxn20be}bkr{irVrebA~$*9!fnGc^4IrH_9?`%eC6%xW*bDtsQd z^xPqQes!MaGc0_*F7#uTp1*DQSn_{I_{>|N`S4ox;6?k=kbcbkUE{~@Gx!T3PSKS6 z_XIcdd(HRxe-Zp5OAkK=PUU#}9-Zzi=7#-01RoXqgd61J_lEzAh3UR7^e_B0$aK7J z8$uT$BJqDx^t@2Y@i6m2KgaUtbjtoa|27O)VBp+`3;RfCHUQf-+8*m7Ylwr z^RHBUt$OsYOfN)vmuH#2N=+9z#Z1(Tf)88e@-p*5f3ilWTPM6;6Z)W)uRjUiEx4&i z9|#_^^yB64$))PX6E**o@WQ?EF%}%dB*-68t@@Ty_ipcctCG zObYTw!Jli@`Dzj!-7I{%EdAduc#YVz@o#rAj{d*2zedh`g}&P2^DuDoKPPR{>GHbp zNc)F^N57_VKk5}7KNGxTWsvW8@L8$n1oxe!@n*qa5 ztme}#^luCPRl(mBdEN(3cJe7JUmpp5|2)m-MB(FyLnHceNw-??a={N+@|*~q^s`p{ zydWG>h5kH?&zX#i5P6q#fm1s>YWe?8!FvQZ^4!DiNFDlZx>Qf6hFC6S!5KhONnij=l z(UwGi|F+Gs?R`C4`-T_vHq>J9d@WC*{ojYuYchxuNm6Lm>!n3_fiL;Wy-bO5`- zV()DlU5RmmdJ|K(7lVv5ZfIy2Tl&i8>vano<}aL@2*ZUFaW|Ashej}FFq zy1hdK10y`jFn6a1@#d3a^GysA+}y~!GOEo@`pRRH*SQ#oOT799z*hA~FqSulVX&$% zo!q9d>nv?!>tYA-T$qN9t5%nH@C2B`2=Pd7W8H#=<^{Ri7P?)SyKP)R_t-F+b|9}? z(731tJJyC$5Y#oBTh=u%YHU(8d>KPs>lQ3%TB!cNO9~@AQBJPAvZEDyU9VWT+;wrs z<7tiZFsyX>1?yUAd-H-Pu&FeS?Zi-fcSW0UXj|TaVc%=kFKu1pu3x#bb48a+8-A~F zvDtKPLtxjX!TK)7>2ryyR2su$2XKkdMx6@gA={a%Od4doiEyGniIJo$V~RJ`92m+* zFhrI{B)6a6rOtDcDv8n7nHc7skR@T5_BNFo%F+nkVDOwZtClWvF*l%YfsP(_F(g^7 z#en!^SoICXc~4!+w2BO*vLl!qfO#TV4+z^h!yY=_R%S|j+^gPbhO7mnx=}`naB8HG zy=?W{tP-8EP%m3gC>*14vrImaDkRTrb!qsm%3v@s^0K-KTa@znUExDJiqjD5!dU0I z8P)DWOW0O4gR#QIdy*t5t4uPyXptMuU}xs&1c!wRqwcW@axRzIWQzPlgcO#Upkr-C zvThsK4k`&6t>4IHLLuzg4y->hU$u9vU%EoIwRX0->pB$nwx)e=RWi{(!U0XzsA6Hr zOZpqqa|Q-o+WeYFy(d#C3}42G{w)gC3_C1KIbqjjmj+vh`V|7v7%FLG5b`H_VIlE; z)Y1&L^HyuL{OvBv25Gnv9$~F5Vm@jVb_drKv{5<|8qBy{&}?e42;`s{7b*%5m5CH; zfURjDvqdEaLO2hEwqU*prwxa~8_TMtdL|HdcBbuYRXbU8l$6P2G}u~)V9GQh0P{s) zSpyinoq-90CyEXu+o1|AV>UgM2xEvn6>7|~UK+_5wmFG81RFQP z^YH8z(vh~<-efN}!Hv40SDRYfJJr^BMyI(h-ANXZQDK@mfg$raqjFE|kIR*iEfZo* zmP@wPb;F?)wzrP3XB$ePPKF11X$}gtLtM89wR!iEu26ouh$afCSzFPv_3JvjR3-uU zn2lq`Kq{qBiNagLBjJ7s2@`=gv2*~Fb2D4wDb*TJt3+B)0LhRwx@3S^jDjbI7>7WKl- z@D9qfA#}W-r`OPwi(Cz8AYZ8+2lkc^XT`hf@}mhDLn)qhK@~`hfb7r~0e+L*Wh1sf z&&Dxdgz9+)sW3Vp-V(E0kS69n!PKex7Um!u>eCh(8OF4`3^>4-K(8>kc(2<}(I9^! zGmz{{#G`2D69ec=^s_e^q}dVBWZwX08fi_ss%!1~+UW<@*1+mk?e=X#Y$>Y~jcCEn0Ji^eM&A6A} znj~Z_ikedWoa(KvG^-oo0l4v*kA$hID=Y+g*r>O)kJ4l?6^)`eVuf@W?(7)N{vlC@N#Y4MnqmPzOqb!goxHonM+JQ(*0uRUSM*}$rqamoXADPEg zA#%K=L`~F$mRUE~bdL~fAdELnttNM)v?NrZoCr&&dk&p$7kYQBI85E@b+?7k&JRPm z;6zq6sFuYr4~#mdJ(-LcJs9*3H4!t zLCP*HVknsn!S+l+q*XK&N3(;@!vLo3FbDXha9G^Nnl-#HIV%t?7|NgKC!&4lszbY* zQ=56dD09MJ4WUbf+;8RL8A^~(fHkrUB&TV$!OeO=@e6p-_@& zfMZk(my)VPwb~rnjl#2Yt19lg30*7JyWFFOXVdsA%;KQ&lRe2nnCKwSp>@O5^>KU1 ziA|8tM_9ReDOH!ibkw@mrK@Vu zZm2rUZLMQ@>v~5Lh^+XElI16`vJB>+7TmaahFM}EB9u@H(+UqE#X69(hZKpb<>`rz;BRL2QuX7DPi4(^O!F6(+DJwttn z7fSS@n;^G5U(r13=|OXBo^bC;omV7J6?H;R!M0qc6172o_myk7{v z`<_Iw;u&`n3DLx`h4mM{TXzR72nKX+~1

KZW0Y@{j8L8-!oRKgnX`AD8dK`v-LV1~jnw zM|J)U!mr_t!?#Q%haYpyyDJvxkkgXNPRko2F<2NAaQ`SB6r?@ws1FB?S*A3Lq- z0Bnp%uivK89o9qZR_0X-^Sn#th^E|bDyBTM<9`wWVYdFR`@E*4b+Gae6W?61GSigu zAC@1aM)M;hZ0nEsSR!(a)a5#bjdL}FIk+sxzfq_0zvQ2c?PyAUete&ff1CJG^Gu`W Uj(!`NI{xMdH09Y=1nXA)4}QWB4FCWD diff --git a/tests/tcp/tcp-phi2.pml.trail b/tests/tcp/tcp-phi2.pml.trail index 7c3fba0..745e3e2 100644 --- a/tests/tcp/tcp-phi2.pml.trail +++ b/tests/tcp/tcp-phi2.pml.trail @@ -1,53 +1,43 @@ --2:3:-2 +-2:2:-2 -4:-4:-4 -1:0:129 -2:2:122 -3:0:129 -4:2:123 -5:0:129 -6:2:124 -7:0:129 -8:2:125 -9:0:129 -10:4:0 -11:0:129 -12:4:1 -13:0:129 -14:4:2 -15:0:129 -16:4:9 -17:0:129 -18:3:0 -19:0:129 -20:3:1 -21:0:129 -22:3:2 -23:0:129 -24:3:9 -25:0:129 -26:4:17 -27:0:129 -28:4:1 -29:0:129 -30:4:3 -31:0:129 -32:4:22 -33:0:127 -34:1:116 +1:0:121 +2:1:114 +3:0:121 +4:1:115 +5:0:121 +6:1:116 +7:0:121 +8:1:117 +9:0:121 +10:3:0 +11:0:121 +12:3:1 +13:0:121 +14:3:2 +15:0:121 +16:3:9 +17:0:121 +18:2:0 +19:0:121 +20:2:1 +21:0:121 +22:2:2 +23:0:121 +24:2:9 +25:0:121 +26:3:17 +27:0:121 +28:3:1 -1:-1:-1 -35:0:134 -36:1:117 -37:0:127 -38:3:15 -39:0:134 -40:3:16 -41:0:127 -42:4:42 -43:0:134 -44:4:1 -45:0:129 -46:4:3 -47:0:129 -48:4:22 -49:0:127 -50:1:116 +29:0:121 +30:3:3 +31:0:121 +32:3:22 +33:0:119 +34:2:15 +35:0:126 +36:2:16 +37:0:119 +38:3:42 +39:0:126 +40:3:1 diff --git a/tests/tcp/tcp-phi4.pml.trail b/tests/tcp/tcp-phi4.pml.trail index 88bdbca..cf64d44 100644 --- a/tests/tcp/tcp-phi4.pml.trail +++ b/tests/tcp/tcp-phi4.pml.trail @@ -1,322 +1,157 @@ --2:3:-2 +-2:2:-2 -4:-4:-4 -1:0:130 -2:2:122 -3:0:130 -4:2:123 -5:0:130 -6:2:124 -7:0:130 -8:2:125 -9:0:130 -10:4:0 -11:0:130 -12:4:1 -13:0:130 -14:4:2 -15:0:130 -16:4:9 -17:0:130 -18:3:0 -19:0:130 -20:3:1 -21:0:130 -22:3:2 -23:0:130 -24:3:9 -25:0:130 -26:4:17 -27:0:130 -28:4:1 -29:0:130 -30:4:3 -31:0:130 -32:4:22 -33:0:130 -34:1:116 -35:0:130 -36:1:117 -37:0:130 -38:3:10 -39:0:130 -40:3:11 -41:3:12 -42:0:130 -43:3:47 -44:0:130 -45:1:114 -46:0:130 -47:1:115 -48:0:130 -49:4:23 -50:0:130 -51:4:27 -52:0:130 -53:4:47 -54:0:130 -55:1:114 -56:0:130 -57:1:115 -58:0:130 -59:4:48 -60:0:130 -61:4:55 -62:0:130 -63:4:56 -64:0:130 -65:4:66 -66:0:130 -67:1:116 -68:0:130 -69:1:117 -70:0:130 -71:3:48 -72:0:130 -73:3:55 -74:0:130 -75:3:56 -76:0:130 -77:3:66 -78:0:130 -79:1:114 -80:0:130 -81:1:115 -82:0:130 -83:4:67 -84:0:130 -85:4:68 -86:0:130 -87:4:94 -88:0:130 -89:1:116 -90:0:130 -91:1:117 -92:0:130 -93:3:67 -94:0:130 -95:3:68 -96:0:130 -97:3:94 -98:0:130 -99:1:114 -100:0:130 -101:1:115 -102:0:130 -103:4:95 -104:0:130 -105:4:110 -106:0:130 -107:4:1 -108:0:130 -109:4:2 -110:0:130 -111:4:9 -112:0:130 -113:1:116 -114:0:130 -115:1:117 -116:0:130 -117:3:95 -118:0:130 -119:3:110 -120:0:130 -121:3:1 -122:0:130 -123:3:2 -124:0:130 -125:3:9 -126:0:130 -127:4:17 -128:0:130 -129:4:1 -130:0:130 -131:4:3 -132:0:130 -133:1:116 -134:0:130 -135:1:117 -136:0:130 -137:3:10 -138:0:130 -139:3:11 -140:3:12 -141:0:130 -142:3:47 -143:0:130 -144:1:114 -145:0:130 -146:1:115 -147:0:130 -148:1:114 -149:0:130 -150:4:22 -151:0:130 -152:4:23 -153:0:130 -154:4:27 -155:0:130 -156:1:115 -157:0:130 -158:1:116 -159:0:130 -160:4:47 -161:0:130 -162:4:48 -163:0:130 -164:4:55 -165:0:130 -166:4:56 -167:0:130 -168:1:117 -169:0:130 -170:3:48 -171:0:130 -172:3:55 -173:0:130 -174:3:56 -175:0:130 -176:3:66 -177:0:130 -178:1:114 -179:0:130 -180:1:115 -181:0:130 -182:1:116 -183:0:130 -184:4:66 -185:0:130 -186:4:67 -187:0:130 -188:4:68 -189:0:130 -190:1:117 -191:0:130 -192:3:67 -193:0:130 -194:3:68 -195:0:130 -196:3:94 -197:0:130 -198:1:114 -199:0:130 -200:1:115 -201:0:130 -202:1:116 -203:0:130 -204:4:94 -205:0:130 -206:4:95 -207:0:130 -208:4:110 -209:0:130 -210:4:1 -211:0:130 -212:4:2 -213:0:130 -214:1:117 -215:0:130 -216:3:95 -217:0:130 -218:3:110 -219:0:130 -220:3:1 -221:0:130 -222:3:3 -223:0:130 -224:4:9 -225:0:130 -226:3:22 -227:0:130 -228:1:114 -229:0:130 -230:1:115 -231:0:130 -232:4:10 -233:0:130 -234:4:11 -235:4:12 -236:0:130 -237:4:47 -238:0:130 -239:1:116 -240:0:130 -241:1:117 -242:0:130 -243:3:23 -244:0:130 -245:3:27 -246:0:130 -247:1:114 -248:0:130 -249:1:115 -250:0:130 -251:4:48 -252:0:130 -253:4:55 -254:0:130 -255:4:56 -256:0:130 -257:4:66 -258:0:130 -259:1:116 -260:0:130 -261:1:117 -262:0:130 -263:1:116 -264:0:130 -265:3:47 -266:0:130 -267:3:48 -268:0:130 -269:3:55 -270:0:130 -271:3:56 -272:0:130 -273:3:66 -274:0:130 -275:1:117 -276:0:130 -277:3:67 -278:0:130 -279:3:68 -280:0:130 -281:1:114 -282:0:130 -283:1:115 -284:0:130 -285:4:67 -286:0:130 -287:1:114 -288:0:130 -289:4:68 -290:0:130 -291:4:94 -292:0:130 -293:1:115 -294:0:130 -295:4:95 -296:0:130 -297:4:110 -298:0:130 -299:4:1 -300:0:130 -301:4:3 -302:0:130 -303:4:22 -304:0:130 -305:3:94 -306:0:130 -307:1:116 -308:0:130 -309:1:117 -310:0:130 -311:3:95 -312:0:130 -313:3:110 -314:0:130 -315:3:1 -316:0:130 -317:3:3 -318:0:130 -319:3:22 -320:0:127 +1:0:122 +2:1:114 +3:0:122 +4:1:115 +5:0:122 +6:1:116 +7:0:122 +8:1:117 +9:0:122 +10:3:0 +11:0:122 +12:3:1 +13:0:122 +14:3:2 +15:0:122 +16:3:9 +17:0:122 +18:2:0 +19:0:122 +20:2:1 +21:0:122 +22:2:2 +23:0:122 +24:2:9 +25:0:122 +26:3:17 +27:0:122 +28:3:1 +29:0:122 +30:3:3 +31:0:122 +32:3:22 +33:0:122 +34:2:10 +35:0:122 +36:2:11 +37:2:12 +38:0:122 +39:3:23 +40:0:122 +41:3:24 +42:0:122 +43:3:25 +44:0:122 +45:3:55 +46:0:122 +47:3:56 +48:0:122 +49:3:66 +50:0:122 +51:2:47 +52:0:122 +53:2:48 +54:0:122 +55:2:55 +56:0:122 +57:2:56 +58:0:122 +59:3:67 +60:0:122 +61:3:68 +62:0:122 +63:3:94 +64:0:122 +65:2:66 +66:0:122 +67:2:67 +68:0:122 +69:2:68 +70:0:122 +71:3:95 +72:0:122 +73:3:110 +74:0:122 +75:3:1 +76:0:122 +77:3:2 +78:0:122 +79:2:94 +80:0:122 +81:2:95 +82:0:122 +83:2:110 +84:0:122 +85:2:1 +86:0:122 +87:2:3 +88:0:122 +89:3:9 +90:0:122 +91:3:10 +92:0:122 +93:3:11 +94:3:12 +95:0:122 +96:3:47 +97:0:122 +98:2:22 +99:0:122 +100:2:23 +101:0:122 +102:2:24 +103:0:122 +104:2:25 +105:0:122 +106:3:48 +107:0:122 +108:3:55 +109:0:122 +110:3:56 +111:0:122 +112:2:55 +113:0:122 +114:2:56 +115:0:122 +116:2:66 +117:0:122 +118:3:66 +119:0:122 +120:3:67 +121:0:122 +122:3:68 +123:0:122 +124:2:67 +125:0:122 +126:2:68 +127:0:122 +128:2:94 +129:0:122 +130:3:94 +131:0:122 +132:3:95 +133:0:122 +134:3:110 +135:0:122 +136:3:1 +137:0:122 +138:3:3 +139:0:122 +140:3:22 +141:0:122 +142:2:95 +143:0:122 +144:2:110 +145:0:122 +146:2:1 +147:0:122 +148:2:3 +149:0:122 +150:3:23 +151:0:122 +152:3:27 +153:0:122 +154:2:22 +155:0:119 diff --git a/tests/tcp/tcp-phi5.pml.trail b/tests/tcp/tcp-phi5.pml.trail index 3ac1dc9..ad988b0 100644 --- a/tests/tcp/tcp-phi5.pml.trail +++ b/tests/tcp/tcp-phi5.pml.trail @@ -1,86 +1,64 @@ --2:3:-2 +-2:2:-2 -4:-4:-4 -1:0:129 -2:2:122 -3:0:129 -4:2:123 -5:0:129 -6:2:124 -7:0:129 -8:2:125 -9:0:129 -10:4:0 -11:0:129 -12:4:1 -13:0:129 -14:4:2 -15:0:129 -16:4:9 -17:0:129 -18:3:0 -19:0:129 -20:3:1 -21:0:129 -22:3:2 -23:0:129 -24:3:9 -25:0:129 -26:4:17 -27:0:129 -28:4:1 -29:0:129 -30:4:3 -31:0:129 -32:4:22 -33:0:129 -34:1:116 -35:0:129 -36:1:117 -37:0:129 -38:3:10 -39:0:129 -40:3:11 -41:3:12 -42:0:129 -43:3:47 -44:0:127 -45:1:114 -46:0:134 -47:1:115 -48:0:134 -49:4:23 -50:0:134 -51:4:27 -52:0:134 -53:4:47 -54:0:134 -55:1:114 -56:0:134 -57:1:115 -58:0:134 -59:4:48 -60:0:134 -61:4:55 -62:0:134 -63:4:56 -64:0:134 -65:4:66 -66:0:134 -67:1:116 -68:0:134 -69:1:117 -70:0:134 -71:3:50 -72:0:134 -73:3:51 -74:0:134 -75:1:116 -76:0:134 -77:1:117 -78:0:134 -79:3:50 -80:0:134 -81:3:51 +1:0:121 +2:1:114 +3:0:121 +4:1:115 +5:0:121 +6:1:116 +7:0:121 +8:1:117 +9:0:121 +10:3:0 +11:0:121 +12:3:1 +13:0:121 +14:3:2 +15:0:121 +16:3:9 +17:0:121 +18:2:0 +19:0:121 +20:2:1 +21:0:121 +22:2:2 +23:0:121 +24:2:9 +25:0:121 +26:3:17 +27:0:121 +28:3:1 +29:0:121 +30:3:3 +31:0:121 +32:3:22 +33:0:121 +34:2:10 +35:0:121 +36:2:11 +37:2:12 +38:0:121 +39:3:23 +40:0:121 +41:3:24 +42:0:121 +43:3:25 +44:0:121 +45:3:55 +46:0:121 +47:3:56 +48:0:121 +49:3:66 +50:0:121 +51:2:47 +52:0:119 +53:2:50 +54:0:126 +55:2:51 +56:0:126 +57:2:50 +58:0:126 +59:2:51 -1:-1:-1 -82:0:134 -83:0:134 +60:0:126 +61:0:126 diff --git a/tests/tcp/tcp-phi6.pml.trail b/tests/tcp/tcp-phi6.pml.trail index 8bc7191..1840bcf 100644 --- a/tests/tcp/tcp-phi6.pml.trail +++ b/tests/tcp/tcp-phi6.pml.trail @@ -1,122 +1,88 @@ --2:3:-2 +-2:2:-2 -4:-4:-4 -1:0:129 -2:2:122 -3:0:129 -4:2:123 -5:0:129 -6:2:124 -7:0:129 -8:2:125 -9:0:129 -10:4:0 -11:0:129 -12:4:1 -13:0:129 -14:4:2 -15:0:129 -16:4:9 -17:0:129 -18:3:0 -19:0:129 -20:3:1 -21:0:129 -22:3:2 -23:0:129 -24:3:9 -25:0:129 -26:4:17 -27:0:129 -28:4:1 -29:0:129 -30:4:3 -31:0:129 -32:4:22 -33:0:129 -34:1:116 -35:0:129 -36:1:117 -37:0:129 -38:3:10 -39:0:129 -40:3:11 -41:3:12 -42:0:129 -43:3:47 -44:0:129 -45:1:114 -46:0:129 -47:1:115 -48:0:129 -49:4:23 -50:0:129 -51:4:27 -52:0:129 -53:4:47 -54:0:129 -55:1:114 -56:0:129 -57:1:115 -58:0:129 -59:4:48 -60:0:129 -61:4:55 -62:0:129 -63:4:56 -64:0:129 -65:4:66 -66:0:129 -67:1:116 -68:0:129 -69:1:117 -70:0:129 -71:3:48 -72:0:129 -73:3:55 -74:0:129 -75:3:56 -76:0:129 -77:3:66 -78:0:129 -79:1:114 -80:0:129 -81:1:115 -82:0:129 -83:4:67 -84:0:129 -85:4:68 -86:0:129 -87:4:94 -88:0:129 -89:1:116 -90:0:129 -91:1:117 -92:0:129 -93:3:67 -94:0:129 -95:3:68 -96:0:129 -97:3:94 -98:0:129 -99:1:114 -100:0:129 -101:1:115 -102:0:129 -103:4:95 -104:0:129 -105:4:110 -106:0:129 -107:4:1 -108:0:129 -109:4:2 -110:0:129 -111:4:9 -112:0:129 -113:1:116 -114:0:129 -115:1:117 -116:0:129 -117:3:95 -118:0:127 -119:3:110 -120:0:134 +1:0:121 +2:1:114 +3:0:121 +4:1:115 +5:0:121 +6:1:116 +7:0:121 +8:1:117 +9:0:121 +10:3:0 +11:0:121 +12:3:1 +13:0:121 +14:3:2 +15:0:121 +16:3:9 +17:0:121 +18:2:0 +19:0:121 +20:2:1 +21:0:121 +22:2:2 +23:0:121 +24:2:9 +25:0:121 +26:3:17 +27:0:121 +28:3:1 +29:0:121 +30:3:3 +31:0:121 +32:3:22 +33:0:121 +34:2:10 +35:0:121 +36:2:11 +37:2:12 +38:0:121 +39:3:23 +40:0:121 +41:3:24 +42:0:121 +43:3:25 +44:0:121 +45:3:55 +46:0:121 +47:3:56 +48:0:121 +49:3:66 +50:0:121 +51:2:47 +52:0:121 +53:2:48 +54:0:121 +55:2:55 +56:0:121 +57:2:56 +58:0:121 +59:3:67 +60:0:121 +61:3:68 +62:0:121 +63:3:94 +64:0:121 +65:2:66 +66:0:121 +67:2:67 +68:0:121 +69:2:68 +70:0:121 +71:3:95 +72:0:121 +73:3:110 +74:0:121 +75:3:1 +76:0:121 +77:3:2 +78:0:121 +79:3:9 +80:0:121 +81:2:94 +82:0:121 +83:2:95 +84:0:119 +85:2:110 +86:0:126