From fc6c9dbd84fbc140179f41ae6ff9d999575590af Mon Sep 17 00:00:00 2001 From: aiport-ops <290548737+aiport-ops@users.noreply.github.com> Date: Sun, 5 Jul 2026 15:21:09 +1000 Subject: [PATCH] showcase: add aiport-verifier (Verified Agent Commerce) --- showcase/aiport-verifier/README.md | 38 ++++++++ showcase/aiport-verifier/acp-verdict.png | Bin 0 -> 102713 bytes showcase/aiport-verifier/agent.yaml | 57 ++++++++++++ .../examples/acp-eval-proof.md | 40 +++++++++ .../aiport-verifier/offerings/offerings.json | 13 +++ showcase/aiport-verifier/showcase.json | 82 ++++++++++++++++++ .../skills/aiport-verifier-skill/SKILL.md | 45 ++++++++++ showcase/aiport-verifier/soul.md | 33 +++++++ 8 files changed, 308 insertions(+) create mode 100644 showcase/aiport-verifier/README.md create mode 100644 showcase/aiport-verifier/acp-verdict.png create mode 100644 showcase/aiport-verifier/agent.yaml create mode 100644 showcase/aiport-verifier/examples/acp-eval-proof.md create mode 100644 showcase/aiport-verifier/offerings/offerings.json create mode 100644 showcase/aiport-verifier/showcase.json create mode 100644 showcase/aiport-verifier/skills/aiport-verifier-skill/SKILL.md create mode 100644 showcase/aiport-verifier/soul.md diff --git a/showcase/aiport-verifier/README.md b/showcase/aiport-verifier/README.md new file mode 100644 index 0000000..6b3b334 --- /dev/null +++ b/showcase/aiport-verifier/README.md @@ -0,0 +1,38 @@ +# aiport — Verified Agent Commerce + +recompute-of-action in ACP's evaluator slot. live on Base mainnet. + +## what this is + +ACP (ERC-8183) releases USDC from escrow on a single evaluator signature — no +recompute, no quorum, no dispute path. aiport fills ACP's first-class evaluator +role with a verifier that does not trust, it re-executes: + +1. register as the named evaluator on a job. +2. read the delivered on-chain action from finalized chain state. +3. recompute it — receipt status, finality depth (5 confs), reorg-ghost check. +4. settle escrow on the recomputed result (complete / reject). +5. anchor the verdict to EAS. + +proof over trust, inside the spec, no fork. + +## honest abstention + +a deliverable with no on-chain-verifiable action returns `unverifiable` and +refunds the buyer — never a fabricated pass, never a release on a claim the +evaluator cannot re-execute. + +## proof (Base mainnet) + +- job evaluated, verdict `pass` +- verdict anchored to EAS: `0x94fa44b190f72ba81669376d3cae92e6e76d0d31e2c505a7e6dd58e725ac4167` +- source field: `offchain:recompute-acp-eval` +- view: https://base.easscan.org/attestation/view/0x94fa44b190f72ba81669376d3cae92e6e76d0d31e2c505a7e6dd58e725ac4167 + +## primitives + +- `acp` — evaluator role, escrow settlement + +## builder + +aiport · the operator layer for agents on Base · https://aiport.trade · https://aiport.wiki diff --git a/showcase/aiport-verifier/acp-verdict.png b/showcase/aiport-verifier/acp-verdict.png new file mode 100644 index 0000000000000000000000000000000000000000..0063219f5c6a82502a6e3709b455b216e9a54faf GIT binary patch literal 102713 zcmeFacUV;E_9luE5fzoBB47dpBnSc$%Y;a7CFiIl$vG5-1W^%D5Dqtb(Rb|K`pgbMDM}=9znYKXi9N)!y}m72fr(^{syShn&Rmqvwv2kdPdg zd~oj(3CS@J5)#rQNA|;CtoJwQ!hiPJK9aaYlGb#7nuO#6iR8W8icS%81Flv|w#qx6GnD&L~=el^GJ(JNI$I;QW8cS{W zrc(85wZk>Gsa2~?9woMRmy^ej?7MPN^Ulc!FUFR)3?heww&reitIcKHT^1p1q~&&P zr8$I_F zN6W9v6eYy$4_lL`{eLya|G}(|s{Zwrr^s~o?fr7^ipQb7*C*eR(Codwb#MPaH~h0o zd*bkqX#ArO|5%OxOHHLcxIvlq^Lx5X(j>+9HwWD=h6V>y`&G}(&QdUnm7oatq@*M} z`Qv}ClZTufiC?zN?c3irmPWY>#{$W@N~~6=S}sexX=o5xGVA~KE5p1muQ6Ppd~2b2 zwksXA(kMW|Ama36a?hXNGGg|q?it=*X)d47>$50X`e8l#gQt;?&5S%Zc85st4zH8gDx)K|w)sTF&h%M!Z$!YR5>mpJl=D z^T5Es>9%+-t)d&)Ri$e*$q5OnMRwDx({1o27Vv(xA8mfgSJ(#%)J9dM54i?c@n2wQ z>0rjxNoKi-0==r|CT(AtBGOY+BM~V4?{8k{g3&kB?8*^%f8`Wa>l%8;W3cP^ZES9C zE?Kl(IKO$-^W&5(aw0goJpl2G`iSm3cgF$yu9=Qx4Vp6b4Bcjj`SttAjg`3r3aZ^-RFLGI%DPAaI&viVww?zu4D=sxoG(~QW1<5lH_0>3fWlT9fn zw(;AmOUrQp1gg2={GcnkbT+Mc0YpRQCc+gnSHpfk*ax5*m}0jnRPS57#f_ zWt^R{pCyABT<0=*5n(k9u1{M(OOB6^FR>Uke7NYfw~Dve4`w_FD72kq{+!;KrX}pY zz0r}Z5^pAztdh=vaNq9DH5-+0`f$BU+k0<6BVNPzSi!iM=0r9o5d>^fa#~VC!h@mD zAbBaVu_N&N=1Mf-Jjw<$*8@wcvdR3{*VQn2REP0fk9-F?=fO8b6SgNcEK74UGp{3q zHg){{{qqN1%wGU&a=TmK`VVjcz%2X46J;6oGae)J_}}?3ni$> zRXK#mh#RaCE{ymXJ;p(e9@L~ zh^w>wHB8^2um!STJ~B}v&b>J%OGahbMoVQy#R&Y*>Yb~wurO0~?&rJ9!8=#H;1hB2 zYJqZWqf)Z6kI`4zaLi0{`i>g>%ha%3gsJnQ@Y@?zq>OG>Ycn11B`z;mOC=4h_J9Nn#-G~N*x z;j^!X+!k}Yv|+z%VvqA7H&@^*E&?1!v)armh)_C z{#W^EhI#D(QB1d4dMOP&muy+rmr(7^)i(KZ0)9*3tISKQHt$5S)n9kvzEeN;Bs6B_RK7_jzZzF@E*T?e}VO==OOaSs)&e) zv%F94h41MLNuc|pWRjLUQwoC8^^wmEtP|?# zP#F%a!|mMEQ#-4LC1kXI#0a5HDA{G2&-gj>GUXRlowHnnl+Qjf_ZrhY0v} zM)!^3=g*(>i|)w>Nn`*C&AbJO25xhWoFdw3IBnxvF$QM%R%V`CQdg?m||ob)Fe!oKO1yW@!B z)2<-TM46QuGkd>$BZo{U`bE#K@&4@3(;Y4{K_ojhJ28bB|Mc_X}FEK1y8GC12@~Ym#MXOZS!VmNEW!Y4}qLy@s;CWovo~SU|44R3prqvONtSy0k zBRiXtj+{5EolF3G|4>csEW;1PxxKOM%rqe;=7Kxnn~JtG6SmBDqTwZ?1VmMy7fJ23 zR832XxwPF9;QroieM905tOr1fX?e0gAK;N43QJ|Yy|J|9n_iB038aq)ohiruULLQ% zj27u`h1rB~=`av=M=n}Sw6=^a;O(Nv?%gNre*QeONEn}-jJFy~NlCF98!UB=w=yKT zuz%mR-WH}%&C{rjA9R*idX~VhIcyJu;a3n!|GtmXqU)8n!~>^WyU#gtoR0tLGC{z! zJ%Q@Ywhx!v#q)x>Eu4Qo#)nq>OkRC`Jv$p);547ZT(>k==?xLh5~n3_9SXvkpl6)g zB{xM%R$HZO-q453)WBvhFE1~0Hd#8yvCOMkznvT{h09xo41ljwSX407t% zCs9|-XHyvQIT-Q7ZGKO5>AH4csYTKB*NrNWaORE`p>G*v0_Nh|Uf&THcE{`Ovc4b+ zcqFFOb$tN<*=N%+Fl1o!*o{#e!@h~dM1FRRrODAY!*exg4jsP2&QEJwe1|~GO zs$D->ITch_WkUn~{Us$)0}X|KARcTV*hNvd5^{2GTpmT$>A5X_BV|1=SeBtodQ5i> zJ%n&u1R=(4t;ZX7S5{U&J3u-yHfH$vaYsi7y{L=b`oe%O1*666O)%jwHnCxe#>U3A zwKaeS;C&K5*wh_6!yO~r#fWe(`TF&1FnLyXwylkgr-Q6)>o9tAG&9&s_v$M*EpUVZ*e#JO`c~?Y3N7%Q@Q?FR!eue2vD; z)Ktjo_bqR_wS@s;0RaIK5u33GT3TA+_kY&a9WAFZSAt)3bcQzhK+6DG)dmy-^o2>~ zHC_1`e|X*0*!U)>49tv;oxM*;u96}`xr}pIz?&gTjnP^=HSisvQW}Ff_Dd9jVPR^3y_J-L4Rv-m zvgpN1lQ5TYdsi2r@p#kjxw*NF?-c+&+`vjJ`bV6GMa1`ZmC>M{fLS=D|7b}{TDs=- zS<2|&WB}v0=Pglv#g3NCaavBpKD3%vw`aS~i@7<~hj752>WxMGVJaIXQYhPn2DICg z^*B}Y4@E_)Z4%Mo=>#r@n}r|BmYxX0GO$%NWkNl`lrZs zHY%}`(TofrS-$2R5@-*WOgT~mlYY*yy;BGZcidmFm7hVM69@<+}YoL zU7-9R2Nd)|H)LdePB4mXH>2>p*vQ=d!(E(Fzi+z|_KhDii6gIRC+xv~R$MY@b zk*ew$)CWVU#DanXaPq^$M6_(^lB$|HLPSvZM3iUWg@bR?$){um&(nege;MWxHp5L@V3eL4_Q&c@0rd6U;^@%PWT$A*TQwvBu$ zTJ{}eZ7Sd9EsE#!V2CU4EUoVV+JR|Bf)N#`)q3CiPWT1bfeh1!^;~Mw!+f9!)YR1G zrCOE3Z(*}TL%TX}3;B9~xfzLmlil*-)a5cvZaUbZl*gNFPS<|~FrwOI1**H8O_Bj! zwS`~4$KoOGD!HM;TkGU>=O|m)s-5Z20?pkK)&A!48T%{q)@&)Zc_`n)&WlW$cgZeA5Be7>%fw-vx8%$(dGvm z#-3JiX<3VC4i#l+Vlxh1oM-CB^HUM-W>YU|4F1s1^dhB*%96gb$tL1l=YNFquzbN< z?G=#+l?J=E>Q}WrdQkNBae5J_3|YFdT#Mfo&-6GFQZ@3QU;O;$^0Cgj{z6*_&*CX_ zSvfgRtRH=9Z0s}%_zbx|!2K;KIM^OL9_nkI!=7GZ)0L)Wo_Yf_m)*>qqGw@Y0iNm* zt>(!ef%gL#v_Nfpsk98yfWrDL%aL{Ul{3nz-KDOM86ENfx!m2|**k7zWo2!yqZu)# zqwfu139wk~ZDBX|=f}>r-VRxnIa*HZ*>R#$6?VcI5I_*4;bc=J#BEQV@t}x>5Vv?? z04U}`+!E4tWrflJOd&+OuMxJyG14V*Y8BDK=Ig>^|5)$&G2y zI6^g-`}G$_MEI$ZZ!rKSKJao4(KbGO_%N`~_O@x_9=3hUQ{_uRL14tUFPuK}sRC1$?5n$(Asj10fmrcUUk!aFcn1v7dZCe*6exQx0x# zNid#>u;D9DFhl$IVQb^7U2)6)6|FkbYa{`%$(gD6q;4HvrAe55li zhsuy!7^VoBN4B=M_3L?{c4C?x-Q7-=W`U9uxo$Nh5*FAjCc$}6PtVxc*cdR}rEb{e z4Pr3cmt)cfFt4&|Na%>>J&gIoO081+79w*N3$!9b6 zGbR(XBj`&b;Qdr?`qSFcrvWQK#CoI`{KsU3t=v&k^bv3sLH*1;+c}Aei68>00!Pa? z!IK@==>>~!h(Fn18)3y-^nivV!Hs4Epa>1)*JD7QaHMGRxos@wePyVM)rq_BU-$E^ z_r>ES4mqK)H#LmUeV8;t7cCuliuoXD9VN3)2EP(zL--cr#e$u^Q|Wa@Dl%s?+wdlKrs<>SypPqKf|~14~$eiJ8-);81R@c!h2W-z-H;(P&oq6opQCi zsIIPVL*I*5%kCjhX<9jclM%n@3%jHVeuzj#%%+!%g=sH&p&(Y1Je=`28$DGA{;#T% zWB9N$>nWN}uqIM^dZ|>e0(!rPBF>07S!ww7jE#+X&x2?xr)@*H?sa?srf{io^YaM? zku!N!Q!+-Ubw*|lJ8rl@{9KMA#L(*zzJVM**MU*h5tquXtz*CH@Cq?Nhe<#>ilXhQ zmL6+mS4>*kLYq7ST%KMO&#><;9>6B~PkT=1%-?ySZur%8zn!|0lG5?x$Mtwbu~`ui zW|nWxBzs{1Vg=2u!C+Vv*4VVSf5RK{St{FJH*Va>2`t#NmNu+#5igGLJ#HPj9uF@^tI^lFymRT3Mp7IjeO3T_wpCr-&OS*MAj}06a)UG z%K>_4B%ABg$jAt{2rcN{eLv7hPudv3`2aY-(HGm#cJ}wXxlmYlz6fABOt(1Slg+a6 z6=KzrQ#&9d%0U4Kd7E znP}A8@+9Yckktjz|9R9#swI;Be}u5LGz+A4x8@N}bKRK$<*D98uyK%Y-{9l(39pUt z-maU?c2hduQFm) zo1;WWb@*dzfBt+?t?zL0ivPh3V+nNGmPI#%nA=7zzDF(t@K^qjyRb-vkiF?2EZjan zV9D)g+7}n+^M?jA^zQP|!`?opU}S(0?82@Q(^7l#WFp~VoF@h#Yj4h|_Uz%~=iWz0 zGv0GQ@QoeQ|dfH1&1%G zm%AgkhpAOGGwr5Z4TZ#Tt8Jm$E+$SlEeA_9EDD)?D8mITwJYZX=bWmkRlYMai|h@) z6MzpW;@KR9V(H%yfz##*gCl}X<%r{7nr9GoId=XgcO`>^$vf~ndX?VXZxyw)=$}7n zHQS}4pW;3O6T{vR6VVDHTNR-uDOn3LID(+RVf;q{AMk3OWC{}BG)}oueP0&Rjo}_w z@AM_lHvT37uwt;l+CY8Msgr!as>GY~i76?^v{ReiCU}VG4X@`K5sFZ|IQbKC0`A>9_3k*s>oaGu9f1rvbP zAYzkUmmz>Wi`vM4f&bJ}6o82Z$W1yQ(s$O!h`83^M04%)hBY24DN#pf9W`(c3ky3y zdgAG9hEe3}*RQRZs&J$Sh94a}cVlXf?Nryh9-p^%4?%hDU?0I05aZXIK+e+zp@Hh| zAHpp-4i7iGW3q|P9pe9Z!7u4<!@y zX;Mmx2sl%93S9_mZU_kEn~cH8!GdMDZcE(0#>LCa`(oUFWc)b9j~8UBnW#?tHOB&; zX8NA}Vj>POdlw4V1$Phw(#c7dc6%?(We@Q!7ogWGNtCUvm)5#;%Jr*X843Z0TAc{D zi~@gr(4~VyZfM+DG=69FXIyM#Gw3|& z6P}BNusD%k(D-v+hVs$e)44B)EG>S;+=g}6yPfg|4MZDZO@~0OH(QFyhAmVmI{>?E zel8m*{v*2MV`Jarl_17^2ysi!y>wwvhc7wXTRwh% z2SB$4G9>Iwkf(v&5d^#tbEK0X0aRl`HqOJfzt!rJX{-%n==ARX&gu!$lZJxJ5RKRU{S&?%LMUbpyd`oD1v8V z7JMKnDd{Gd2J!@nBG%fn-AUT%1Dgy~Em^Nd-c!k+su6D>lFAs+TW37xbs2mQ(Zuk% zAEsdF|8z+f=mk3i1A`)?cTd3frKhJi16zQ*4N z3=N6eG#Y>qEA^c!@GL##g&`wIF@(GzH+>!{&NL#F1tj5lU^zf#VKShN{Sc=gMO~|^ zJ)+yP5CyR%w+B#)W$UHrMxcai%K+z>taWM-3B`?Los9xRZjevo(k|HuGm28nHC19C zV3GZ}O7vG^H>qzz;FOv_SOodBjHeTR&Bf@BMp3?>G-xEnyi zL)3T37f52&4BgwytkXcm0xB>8!GZ01gFwKh16R8M3>3^A5_yO`%OQ6#Myl78|M-Jj z|N9F+&LZQH?=SEAo-h~u4NL`*Ivyi824)4G+z1&Mk(9JF?HuEW%LBW?`&0_(({&*vo`uB9j`D|cRJF92s@0CC~%VgTg_4j(ff9{~rxI@hy8gmVhnmstU` zp4hJnh#oe}_XK@iL&LH1_orTk5M!59$=anZK4;@7XZkZsHsXN^gv$)4zb{1*?1%Kp zigOSV71_@UO*G33odp_C>+anuE)=%DCmSekpqO}#nuvU85ThQ%Qs5Y;iF9p9Zp!l$ z^yjW*2A(%v8mV6Iw{3oRSt799^%_mMpzRX}2M4E(dL8_ud5K+V*3ayQjEL*%)G4B` z)K$eNT}C6$Fy;z=iTTm|hF-YW`B9Fnn}70cufz1fy2EUTL;3EIB+G^+HPP3bwLP+1 zxYm0XvsA;_)zJam7|eJOeBeR~*BSa(kjSZ|lozocLau{#I_SGT;5Y;Xf3Kp~41B3$ zzjY1Jv5;O1`r|0OB>3_ua1^ayr2BfU8$Miz59>HN!4d<_eyQ@$eBG2=C61Jijt)Rb zV3HmT`#MC8F_FEM>WS3%?*ly72L6FEBy74fwGVPMR8PP21HodrUvN>+4mYBBJGJFC8mIFm=fF6%HTm-UNB(mkg+1lst zhV9M+aArYZCAY%}8v%qD+)c1Fi1or|MkNF6C?YM#$=1ngfq_8ssX4=*A9<9%Na6g6WmF;0OUW0(I7rZp*vZFsX2 z*w!0Q*Fgn?*{kG7i+?HWg(Y8b;RBw{d!@F%u8!^6wPU@-4)a38>_FLLVa@pY`45MF zDP30BSRb-#Yo>%e3dK1-KEB#x8jl{e0!EC%wMZ~VK4s0b7&xa%Y1kr%ekhc%*aw&} z>UKNYyOLV2*3s_63wkgdwzexKZw|*_futcMxdYw@2mAO!c5MCtg~&$^Dlk`aB=bO^Mmt5iqAa?IH%IvxV(mj25wez zP*Fc#BSN=&E#3lB`1w%bxQ6B84d8hE!6 zgpinq{Fz^{T*uCcTy0Ti*p&(o&SW4|^kkCq@*IGff=~&8K)fag`rEOaqjn^DEvKwX z#qA_Z?F-2>!eElNDrw7pEqhuF6lqykQ|ooIl$|+fPR*Ee4#?RLH(s5rkm9j_|8~># z3tQ{i4AA}z9FZ(?OT05sWM90!Trcm0WFMKW%FX(u?OPX{8wBp&hcAJ%crJ_5;@$?f z86}qDL9Kj9Savwz9eCfbhPRBxi3vj5tfxI$zzu^(=MY%|@(lE*Z0)8Sk7w`ec+qc! zxX+)*dW@p|5!uEqv4F9@U^sV8TErL7QX8NY9AJ-*<`=MWa2)S5s>XW(SDH%5ww5$6jVBTwo$4-)J0S;)(w;X~JX>|U^VK7PZ53I zyaN7qNmdrm3tpO?$i1txGs}^o;e+# zsp20`=4N#WoAA>`tWf|e=9?c9(q|}4cJy&h3sX~oa<)MsyjXu0j`UI*!ygaU|4yc_`ZCCwnjxxw>8ZPKD)v^FsFWJUl%sJs*8ru_v5&p;4( zajE6Ag_xuz^(z2Hrl2Fo1b2?ER{5JPD`!6K*^g#`9rNV zvwi!oUniAkUZFqGz;oG^Q*MITIx$1l6hND$o|xX=UWiOei;9H8_EoV6Jw_IA`-S|< z3=#z52w07X#W)_=A9tVd@Nj{r-5G!psRjl5eNOg=&JIGGs zhl64i&Ag|uv}*Ni!Z0H!IzgZaTSF2*$yy%OKNflHne;`MvGjr@(UB-we5d-wSLRA$ zS{fdToEF#13AiA6G0BaD#6*)V%sf}=YAeJJk-g#Wt1S}r{6C~v+EOzzxD&|27Q*Zv zYB}J5X%~jFo(*1z$8bLc%1#aIEVaGMz=I(M;kk2XKG_-Ap)lS_nWm)KsVp>#RPWy_ z1f01vOMqILLP!rjkP`ts7k^CkN+Qe|xOk(J^C14OGJ<4`vCDF`C7$Im2P=eRs$LqxgP}@NWB8XrU>W$>;-=~!<*BM149UvRB!~$g% zWYg@sl033D-zV@u2jDfBOvNwhfHjRE=Lg}teV&=IaW|MRU`SgK%fsrgg96l7#z-&l7wWw25S6{z^BeaMH8e- zPd6DE88yRR!+e_&gl!-*CCO%pMWH|m+#Ojo4K1xa6a_*#4^RP6 zBnJBn`M||j2e3< z(TlC!T_X~bDQ~Dxe8J#6_KxT;A=2Eyua^(OHd1O61+X(nDISPITmx^j$XdGsz$np3 z>%Z>JdV2c-sXbV0LE8x`YU%-CN8k)Zl=dxe1k}KjQ#FF97tzwngJ1H}&Ml-G<1JP@#jkkj7b_QrlTG*FiRfZPF~fj;1Dzz7!uq9D=$z_J;+jr{pA61yi* zGWHmf83m9Eg9;^IBgirzB`055UWUDaB0)%C4OjWDqla`LW7!$DxA(swKDX{nPD%>Q z-TTu84xU!gT^Wa`dt?Xy|MvU~A)wSXAS*kCLbS}0C+y0Tz%Uu+iwAjlFWl!Od(r>; z$kDYs9KLz&bP<;xB`8uT-4hQ@6=ho&_L-R$R|&rJ?NNJGrqj*%PP+VqCl8&tleI2$ zq;`xy%<%c!w}ta7H7TZ6m||XRyXru z)BmbZKS=hkgH)ae|8*wm_Wpkzwz{zIU+0$I{;i1o!CtPHgyi3Td=J!HOipS9ny zRsXh~`$uyAGm=x6my`2Zbg$Z&q{4gbZ`M7g=v}#;qhq{it-I;iL7uH>nyqNg|Mef1 z|MPD1|MTLMz&Q_y(PO3u@O$s&xvn|Hj^4?L5og{VaKxkaF<}Q%>Mk!Gy|afOJpL09 z-PYzwSlIU+qFH;hn6zIgO`eBXZIO-1=(k z3ESmb+j;qAkAXUs>`G}GM`J^`@WXUN#02>dn`TBaClr79K$oP{R?|AZYshULUGFNt zvwI(I5mDzK?B~usp|@Slij}q$a+%gXkTUv4^y^etS1OuKUFR`Rn4rJEq6V4~v2m99wK{?Gm`yJC;pG5AkGP69vWnhuu(WG7Ks(Q_?mbWWOZVzJmO9tFyMt4$ z+h#$NklgB?(UfR?q@gjZT^?m8%Nfczq{(Wg<+ezzvsoX{fSM9TZ$>7GF7+mtt@_n4 z3eD5UD^9+2b*YzR5!tA4ta+q^>n)j>(6A_(fREgO{G`;I!#m$VbrEp6hx)sEmcy#^ z21hai(`tRShgHlzo})t-jn0PRu{BAU?}x}IP+Mu1+N&%t(Ml=aaiJWzrc%d7Gm8^$ z>+)RNKi9f6A3poE^FWVByX$FF%c48aS5fyQJJpYZvq*77H}xe`cq4wCmJ=~LfKKV9 zgn-*+phHJ&wqad)(i#fMH-8Kbh?SO!x%mdTZS*I}?w*r;eG<&xt<;~6S3({UISoi2 zzC?3sI#s|yKR?d#Wy&pTZ&&ylol@M_LRr}kx2aSCtzzI_k``l{krSB8*#}iHG(|9afceRxXRPb#l7NElH@T7+CKY#>~2IVICb~Qrl`R zV#IC4m*a<@k#dS``%6nPuIElw9H2mr22Q%Kxv53nG}v4fC>hSUd_w2Z2vYzUfo5#Q zmIa}As5B|lYm6Yx8@nT&qErQEcmrtNZRV<5_KE#Dmmu~#JOJQPZrnNHC z+am4Q?<~)+v3+XZJk=7hW-cD84MotFLtBxbdz8iShA(S(ZDi}tDj%=4w__IPo+mTX z^nXy7ZG-*2Md~=;Z{K57esXI;%o)=&c^@&A!aL+TE8E4--z2%&Nmf%XcwUzpsV`k$ zqG4Hracp){Y0VGeLS)+PQ|1pB9o`UNNfpC25QJwb5IIH<){`f7ZjP=uxsMqU+#k4V zw4_HkRa%Q5NRiix+E`zOXNRwvp~piV6(?zTowm$9?b~4A_^yOX&wbHn(G4!p<0vL< zQD|;XH-{GdmaU;eY_p~myUzL&#zrP}RDs_i(M8W(VV zmhnu%bVy%NnN5HAkYeZVnHZ0IMDv|+vCvJ-gq1aut@Ptob7-gRO#;S?)GuoIM(pFk zk}QO^lhelYa0_Ym$gci~RfnHT!n*kF)5#Q~+Yc%y1DKJI@!KIb4Z8=&<|2uqujzwC z$_#Z%o!d9z9MU23SF|F9n))qDqr~dLG`CA8xtWQXrzwylwb7xf<`z*JFMUJs(@)X! z1DT`2vC?$>7Emh5R@C0E`VO}%!S{E!NG-q24A?gDP$@-arrs1y_d8{tR`eW^*K*flWZFez!iIhw=0s_vlaj_g(#?@qp| zs)|0+EKoUUkoN{QNxokX=Wf^Ge9)FGWR(!A>K;fBy!@6QoQR#G7dSk>6as z_0dIzt80ySmO4%g>?Ygmq=~V4?w9WxM<@@ZcsH}GE~$jcJkgCQ-=yHUazz%#VqvOf zZ?rohW|AFu6>_>m@sV-Ipz`*?l$Q*DBByq-z4zM1qCJA$K6Ks_;O72-*>!XzXLsI> z2xQTvMohD@HmHj_%U8@S41WCYK5)85IX9m?Gerx&&7f0QH>1MIq$Ftsb_s5Z zm1b8KYsuBS+rhF+xLu9i#ZE(cLecW-=a7R+tz@c9Z(7dz^<>jUInA-Smd@ePh{a&` zbh>7*`(|KTRZvUVm1bd}4f0EBammSe!m zr=1CrjPKa$kKkzh?%ur%hc@X;Z*2N_&8Jq&SE!4YQD!84wO{%+8SS`mhHJ35&30IV z>+G2`DT{xeW;Nhr+JS~coe1s>hk0o*$U3fr9jlw0KI9ZFUEWHAx+X z6u2((BL1fjT>mT#9@_C@98yB%rf>?MW91_XSJl~B-SgC8^)dF%OY7~9GxH1R@|j+` zA@@x*emha;tLU!(t1#QyH=6O4NJ(keGM@}&I~|!sN|S673A@78h6p&G*>KjRc~|%s z`*wEC&j#z(+8WiOWHvhz+ckFj#IKJra8}p7=S!$a;Yd8p(V{ndcU4O6YxROf{DXmb z($du%`K!NQtz>kKky{eVs2R3T-Wm@JaTwU4%u1dm!do`>P5| zB<1*ebZs3zzW)F5lZ;tMR3n^0=3eg(O6t5`huCuxvu!{I3uwYtI$>0s%XKC(z6KkE z3~YQ-?$Fm5AL0IEqERCWtGO$MSHO~ZNPbC9W}iQGH2^4PboY|f-KvxpY1jKI=GFUC z?tFS%@A$^nL&dRl^GmuWZ&UbdaZAggkF+}HUnYZ;T+?*A#UIXLjRa59jKU~{A~EDj zAN+eK1wcV{J=LMes`oO?pMS?>J;c6wWAH|se{-b^?BCK9aS!|9l!;F~d$=#7^IQqJ z*yb!_6Qm}3S}&&;E|-^2e~1ezTV8OC(oThrSi}pXFGXBYlIqkZYLx%)*aNhk^5G%1 zhUyc1%^#JkqfK| zT5dka!qn7L`6C%NWD-WQ*XZdZ5%}7>@uj2hW0QU99gI6zlEm2=@BtGOg>eX!UdIeC zig3V0X4mR&(eGHpgwK>2JYg~#vm>WjbjO#mQcX&t$+m@`Ns^r{-pv>z04u55v7ei4 zkTlpmnAOer=Lj^*c&F*zE>9E90GJLRiR3`p@cb(rjgftd18V#|dWj zuqv_Gz+_;vPG03Wq!i@T_vm82J3D@WefnDRJIah#Wu6&vwvCI6R^t-M&*{@k0&|FC z`L9o&SC5>%y6NnyVTQ{w@jIb;(}gv3F<9~m6zG`*><;1WDIyY-tsnR6QUsr>oi~@j zs_<%i#jPxEgx-2n(R4#oT;q)7kBd1B(nCux<)f6r-E$T#_sf? z-nQ)0{QN*lSsUMSYsr@#gRkc2G4n4SwKH__V5(xJS0?kpJR0a&?)tpH&xkU8-kBSi9L%m#}rEO@$48HvjQ$KW{Eh3+q08QdyUNsCu$AE_oqV-><7 zxkq=x6{iszt-6Wx0x$Hi@Eu?f6y7ghUfcaqO9$`ZN*a6lb~Srik%c3Q@RKFobznBF zY$QD-+D^aqxJrs!mVVW)(@Nioe?I2P`>Kx%)zRoSMhLD<(4{eKtwE?4adlrO%oz^F za0Jy-9rbZtC{5R=1Ps)0mjdyTN*7)QXt@nWF+EmQ7HO2%j zN$|qG+gJ{O@4EboId?R%V?gs@RuFM#ffG zO-$4Wa+3V7-@NHGa6DgelNE|@HwSS;j0EH+>EW`aMig7kuDPiAu;W}h{g*V8bIo*S z7|$eZ-|T2Z{EE)G0ZH~Gf9u9I0Rng<<>A{9tKu+&gVuv%n{<`~;OfGdch?Xjw4i%)IS`LaNS6^ zBruML?@D9$F4a(UJ<5acM?Le~H7z=+6iy8nL-A;_8#h+R+0#nLf}+ndFr-a+VOA|E zL^i^jan-+n>;5jLKrDA3qD7W`Y}*|aQ5ipw*w7o0XDnmunja~_8q8>}=(o<8SR%gM zX{JAazGPBoLBoAU*mBD>xT&nS4dFhUMuA&8q>*PAfMfT$Gps>aZANeXb{<7}flY-g zBYl@a>Gr$MV4myJ8tD;SYslbiSAB6FVjwx!n#3+m)XE0qLtrkpHUZa`nfGCI#Bg($ z1H>@dzKjF$_{2H))zN5r*AZ4)ZL2{h#;qyXWTv$9=gztOCM8T3(OKd;R=5P#q+jTN$3=)cM1;T-r~? zN7*d5UJm%sC*lYa35ioE8_373rf77n{fuL0a9_;~)fr4j1@qsy@mUm>?bdflzJqi_ zMMEpY=S$49(dDvK7=+f}e~2iQB;g^fPMA@&>qO6FE5ok8cyMC}AMFgAgoK%m=sk9? zTmQR~cEmm1z5XMF+g?sE=Ge#ZaNaN(XuQ+wCBp_a2@hNk#=M6RD~DLD{6ZBl19Q;y z^t2=q-PKi){Vi>2e;GBsups9eh-?2zW{5#>{C(|$>SYN zx5(c=AAF?lp7Xx)vE?T!&M)t^)h&AN?)RQEq#%3Agm#$wzExHaH)dhR*L^wl?e2$2 z#67-(UBR++@=ivqceEI%7?-(28o}f0-#bQ1{;e)U>TkVeAO5{LF0>cfvq-nz|E+^= z?BBc8GX1U1?mu5a^1pMTUPVJwg_Ly?k_wWaO-*n7{DhsC4O0Y&{-c6=Y+~X^bu|?G zR=YqzbBu%@*rGqL*!S(&Xov}_U075Sn@$)mpi&A5ndA7HkS#`y1=Lgj&aI)Ioi@iF z@AOx3&y(7Wak#z*!+(9CaQD+E{^cnDk&FLMfmm5P>2{XeWB96=m^;L105G6l4k9Xg zdiu;kA~jaE*TMN9H4P0M^t>S|TDnpNHP>*I0gxS6=N4?GZuco7L<0r2fQ|-TDQcAJ zg%cmmpt%w}jgv3=W%-Hbo@O+i8r%yRnvTCBb~BCl76wZ{gGR4Gh{oRY_bDadK1ce9tO) zilM)^SJ@de=R=;0>(&}-h*FC9@ZqHPP(J#WnMR+-wd?kE(EZB#-T9vOb~iYLOrA@t zp`k%)IL$eneqgdmB~sMYLRaOb+Zuj$Hu)q;l_s3`fe`ofX_pP@LTOo96iQti8bglH z>{nF@hjQ^lQI>GrF|!Y9AGyyHjaUWua(y)6YUP}`w6yf&@gCk_qb{YV8*2wB&)8v z@OQ6F4z7%%C&y%7Sqw1D_m-~PJC-n2dZArL=c5U8@tbzI=g)t%88w|3v{@aNU_{Lc z$af0dxR=|=9)8ohQlZ>Arp9-04T1k$qF?2avb+?4T#d90Saq-$Qcx>=T#sqg$VXr{ zf>`7t<_HW6PF2tc(Wm*jG9HJ(&nD{-hH&LJSDsf9SMd)xS_nKBG@%3l+zsta*%?q! z1Pyf$_ewS42*CaO_qixuVziZrt?1g@+ke$TIdB{QEvzfZpxsH3L61|cP$A33CBVhy zI2|aCTAF0+#nvUS<43v>rIUksc^Fkof3ajsMQ;4DFXgIC zQ>`;@)&dFt;M!RTn~*f#%167S$LZ6*oAOrt@ex{+LiMllV<@SgpLaj4n?qC$;-O9` zKHk{aP(_1!khpYegg${ud@iuS=jv?t$D_A;DB@-7{noT!{3u#pdnRR~`hv}di9OU; z3-M$r=F<&kQQW*GvTZbAdnQeIi2FA!SFsyOa;Wd~NBa7eW|qa+XF7u`OXVfSH4k4_ zT!r(J5!it>v3JMs$3i!#A!y(PX9pNYR+Xfs>!E3>t6M^0q1qNZ3}yfJBVb7G2aMN; zh%Eg~-@meT=2YbY)nToaOYg&l`QBCuJ1s7T)m@E0`{v%+vu6pLjp?`*1kzgf?t|od zDb97sRFnVs98d9E9ry0TheZ{X^E%3Xy-)Jx%gjM?l2vJa{SjzcdLVM}c>^?i+fsyF z!*5e&VjK}C1+9_t%a(Fm1A{XMk07%j_tpFR%YF(5rDhGXjV(}gnoS9Y9?8I8C9$d_E_Xgk<;s5s?1*`}bfyts4E=iLMk}4Ht^DvzWxg zU9H5)8oHXLC?lMg$Kb3gG$HC}X=zb|HZ#s}6bkxeQ6+N#v(5dKsoDi7r(2d%(AlGN zkU?EiN~R%NEVZD(_{qbTtS^4F93`AqQn1>N_%)q{g4uZ%`N##rVRx5iDw{HzAxm>f`*DQa5h z)UUCsVJo}>?m77&B64{|Jd|3x{OnB3&5@I?Vkg(8q2a{Z+Hss9js;PSCPi$T1W+)s zuryy|i{N$b>@UpLu^sJQbXQ@-E=E7?$-}*5iJopgER?z+X1F+3t6;>&9(qli%BG@j z(tYa=f%fS7Bx37`Kvm(T7oxs8Us$Y_o?@?B;P197&Oid*uyl{vA zrG$jU(`XW~xS~G-gi4Fd)~f=<7-(tpjfd@Z2s5Ein%PdAU-VB$VxP-uG^r@9+tNM5 zdI@VgugQ$}{320STlelH5ptQ^7+<*66*}>i&T^yQ2%na50bx}!}BX>wh&h)rD6TH$3*P4dP z7WHGw3|lI{Nqcjj=~Q}pL{X~pIhl4#J8RHNygYg8TyJSS9BLXWrd!A>FImA94=yF^ zAgB`HfPBdshvOPy^VtbiVTY0|gBtcv!OpgmuLA~Ne}>Jh@vVGsSOGMjxfOGj{H|Bkg-pZ#>pWa_u z^IR1S$L!nrnDAXw%q(|#LN=e z=uOrGpG0={cIN4ghTO`$@^nfM?Q%pnwHTT^gQ$nj%p%r(P{*kJo=~N!XOs&1Xae z^7?dn3E^90ddWF;NjbSPcUiSLhkMbf({EmL)6{j6NY(~_!Fuf{MQX|Ra?@g%UEClXO!9km^e#J&>>?90 z^ZT@!PT!|1A*ouZ0(V&x734(2*&th+CPn4@rOE_)F}Kf!g@Q~>Uy=huLOzCs^#1yF zrb_EJqPnJrmKqS+So77ZSFc_BAjYu{s|=6_8vfZ#Ew+L{I2XQWw}nJ31_p&Lq? z*>qlB9`w8bMhpH8HUgNgb=#NF-~@c&uR7ShI|yR4RA>PWvKS6+Kf=O#1_uYbyH(*N z7aYKXrXt!UPMOhkFNlLKi+ZG{)&q?a2w$M4=i}Q&U(|(x&Q6ETRYqo3mMd3e!g!eA zNDMo>88qI5M}ZK-!7k8F__Pp2AO;3QcpG^ssgEMgHpb(yf#91Xb^75fIC#hSuV3N# z7}zy;IHLt;p+AutJ$?-5*jV6saAXib#5Q&%vhM|ch2mXM5HFm=frO}?Se3$~M@3PC zaG(hqb~3!4FakEaw!S_b+M)n(f%S27gCej=(?wG@wRE!McT zE*2*Ht#Li*D{2rR+8KYL63)s1tT=mBY-=w2osQnkpU{Sole4L@@i;}P{S$2#Xd3`a z039R&YCva-+3rjOh${|c*+FNuhA>{}^$Xb4RWRl2*9kZlOG?4;S|~p2N#n;~+ZLLd z{qm^Iwx(u%Xf9A6%GC@HjR2A7hkoDCfW4-=n%El^AeGm91f3$Wr``o;2k`)rRr}d{?X~8d zYp$5AEEa2iWMsh#j!tOPL<8!2M`xsCcpyD5BQrBy;JAof^U;Dx(CgP*?JuOld`L@6 z3q4noaE7VKLo2nHmlxq%iDtvH4s;Q171M2=T2RI+{P;mwRTI{ma7hWH4;dL5f#^SY z@Zf51Cs<|NWU>@HK3(#IElxlBjXZg{(gPIWWiH{xD>l3k#Qkg5!6s{oz=^wh=ue^? zNOqee^l=IjLMxXp(VMJKW}kll!Y`bo_Iy=qtM0W}iK|Ep9Ny+V$ZfinnGkj3ev;%1 z7?bX~`u5bxdgr~C$i0^NP7Scz>h26A4Y?^Db<=m3kZ@f{so=rc{mRvG<;J!f)uG)k z)77-}_D_a#>;~m2c=&sH@ySR|$kWENc!QWfXR_uabRMe$c?oqTQEg0faeXz1uT!^YIcMZS+Xg*uCc?o$C_ zrJ&V+$Hf;G-Vr-%MA0b!TJ>mR`CgH9epG@9w+5!&ni?NT+`BQ#T{4k9(zf3HSIbdV zWN-t<=W8n}7~{{?9Z%Z#J}WPN*X&ZG{&1*TPs3rvsdct=6A!bGtCi2;;a)+(_Qd2? z=MiQ0JRf_(7e)7jjBnuu@BmZ_T+O<34+f-&n8Qa5tzW)+m0+wos*3(_bM&ZlBo}^z zp}Z9gv(IiYg8NGqR!uIE^zwatd_1vaqYSMP>CPLt_}pr5F&n|LVUq8P#n4kp@`Qg4puV@gg&qadL;R1g8VN^(n z0gM{lTHW&05Fg-~VqH+H;`cHjAOn9rG{~_Zao$DN4ri8V{! zuygdoVxd9s;lnKEnpPB1xY87>x(><6%%=@R4Rqfh>wLiW(St<~Zl4XqHd;mS@VYn<^=B%lH#0`P!7LAaAL}a9;5v6=uWpkt<4S;_lakp4o!{Yc?Z7s4i zNp!i6W^Y6P=7@@RI^xT8y{*VbR4)jEop4XmrBGVxtdOFmKu#maWM2a^fqIMRO(x*A z`yz|z=r#ppP8ymHlEQ}9)j!4Tq7`=qh)hcy)ZA{Ww7&K7z(I-d6ZK+UMeQM#6k`<9 zU%s?B9(@%(^4do`Tfe%6G^=;#mW}3*N+;U(7E9)45{XS7VcmVtD48cc{c(HO>NUKj z>=_H1!CXRyt8Qpm*yuMZYtV~2+vrVm99d#E)DJ_LY~UhTzKRaq`M1l1GNE79RYJDk z0SI7O0d}XV+ViJL&VkR|9WPU1+l4!snsPT7c|>I7VYrtaJ!+Nva8)~Z6NYjS=H8wH zj{C<;uNsoRz!y2Va8ebB&Cm!+BN*e_A`QS@w2B-T6GON@&O}!d>C)|6w`^Fc@SudS zmseB=o$rqk4~elR_d2oFcd#@I3kxyRg=oE2UrWZp!m*e!xd z{1x6k!S3u25NDvJ8lfO5{)AE0N4PwBJYN=oBn7SysyDe6acB1Y^yk$j!-NYt6S6Fv zT=(za36o1=bBKuGT%G`WF@GJ3r5^2)`FTJg89c=v@P2ZI#NMlKU? zj`)t(zANu)W*6vi;J9}$mViuiwk#s;YsI>^@C^e93if^R!WZ24`4L0k2(9g587afY zYxREaKlFxX789D=E_97EruLQZ@`GFW(rj`XQ;aT|Xlq|D+T|Ztr8<+p|Nd0g3>*;p zt160TCsdWm6HRYSIp@CKQD~PXvs}B5ayi-kJYMJAH$gYD7-96u&Ttp4F!=Dl%e(tN z;bP&YlMAKYX8jU+kqif%iSHsOL^$U;4Ez5sIC~&ZlMQ--P^YD}W2H2nfoYrE4bDzL zmI)$GHJ>swnZ!^Dv{*1&yu7{XNK;{he@5j%V2dM`KLLBO$WJ%!=8uP~zG89EdQ6M4;IM4L^d7O% zMBF!rMMaT6+0|U)`9w5SXOf`cYaER(+SO-D!%OLRWVy;!2= z=;-)6AK4a=1bhg>dOAS^J_i(v3tZsvR_G%?B>tQ@Hn4+pF`mGDkeW`a1d^yGcy8T! zJ%F4nu&oA>1;#SG|8U5N^Mo3pVn=a`GhF=tVb4DZXt2S2zTqR&xZuLG{ zav2^Sd;J}a>unXI<7Mg}(zP`EzE<#flgRhRyS`Kuf0~=)ZxPc~gIlU1ZQq_f83X(l z1X?D2mEED9CE4*=?4HezmqDz|5m%GxRxbL&~h=*P6=|&+@(cz8)FT(Kvq6kN4 z%201_JrdCeJaYCpGCA@@QW|?f)f>^{_RrPpUcwvS1+z%dYhTq_gFx_d8FM?;}({0OT6%j>?zoRxfP>pe_8qWmDC)hn;hg&ggZG{ z9l1@ahT(A{(4ZszbS7p(h>OSCwVNeNOG^j2OgBso)Xmgi2**7JFAlt;J!&!7Qr8Im zwG_3eCsFa{jBb>Zj_JC%G-B1JI4{Gk?rOCb_07^}T6+XeTR2n)x^2CRPfMN~lRbX? zTXLR|#6DS<$`31oeaEL{6T~&Mv$T~X5NRHkpWb=u%a^)WuOpm$S#;Wz2%YEhrG+u& z5$2Tdj?i!7W93w4hn{oi9${g2pS=%oaIxBUJ^>dc*PQ3n2YlsI@+!Kz#I-j6nAodu z#Cflwp;2FVRw)M#;~N|2!W2=4tfET8K_W-USN$=j2B=ct#lJ+_4;F zJnk%1zU=?HP8H=o{m984!0#o2*W-@7saUOi@0{>~1AWQL=`cdb{{jH zYnGPdg=E_qMY+jPH%EE-&KcG~c1Zf4V&9UNY1vD&v*s7RDRmEEazY+$qn0Km$ry=H z<>4K}FX@bW_cgK^GjC<(!Vy+c(K?!@Om)&*=V!&3)u)F9lQLF6bEGYhS-sPB*|t8S za#C-r1&I5@epK(;wd9zQCtE~NCvR!IEFveD1t$=};HK=^Q*a@~ z&v@L8XR5+jEo`tQJvnYXj<&}0YgAM#b==Eq3ba#vqy005~|nJk(R^ z^Ci@L<>h3&!Jbf07@#~FUBjDYt)rs@pLg%sAW>B37*sIaeIM@Lr<;Nigl6g^!W4z9 zZ#S0(Zm6aXgz@BMCg z3;Fw#DbXlt0E`)(Ll)~I7g>VwmZ!@mxH>yJbPw^YGk&b(?7Z+aS71lL*&8c^PCkCT z%H4fMU0L7+uN}Lg`Q*2^SBP^p+fZJvP6>XN-wjdOmaxhCr6!%951W|{J$_6(&-cnV zYHozYI+k`WFEZ2BhW?!F&_79Dh!&HZ7@XipbbB*#@L1a3J$n`!(7O|MDMD04^KMI` zjBS>5Shxg!AYQ{Qct$kBqj#Q?uOGy|_i@NxucncnynVH0$jL8}L zY_9AK>w3Acf)8KqD|g8SzC9zeA$AKbp=7E0@TZPQsW6O;CuDd^!Lij$`X64KlWNh_usIBO-yuOCvh1Y97yAh0Zi>mIIWV0aDM)Cyv?fY zU+r|IF2?{_-q~-N3oCwhPa0h})Kk-YXcl&3|3X83Xpcru=*}X==Wqze<<1D~>!}7? zyDMNZsK==2W(i(hbvEM6EnKqUDNXqwo=ov6UXA{@^~$?r_o_bLX*_9KpEAp&&Gq>0 zwpWf)Z0Ia350sHfxL#Sk@QpoFG50KZX+*5S(H^P{!Bw42wx&6Ed(mA8%s-Po_bnvb z;YP2z=Y9eqCjFz@YTv_`#qgzNVFlMm98ZJYjU%=ON|aTH;W9rCH$(`(HIN-$zn)B$ z1jC|m!qI}Uvi#BH@zb@fty#!VPyZH@kQjTiG$O}3Y5xsUdto6ATi={NzbE&oYUWD% z=!w!12gcD1Wx9oTp(0}~k2l9^qM+m$E)I0V|8Bbh?gHZwcWV6?QBNd)!n}eK4(_A1 zfU3K=*V%31lgu1ZmfL7EcTiL`D&gj>-%+olc|LcX5m^0vpAJRM@~r_^OUJo2EM^mX zJdw6=MoY^$VtUC2l+qp8(kGU$LB}Pnnh#&tJ&F^}HLGrJAdqn|b?}zTS)K;0^xxyo zF)D2T$^3$XAp|4?yMHGucKEPPyIr*J`b1VAIA_oMA%_}r_JcBY3|Mi_j5=caE>q*2 z34q`pIWSz zk$KB12_Di+J!L{?8B>8H+!o#v9rjyx6uds9^=9*t&t_K-QcjvoLdDTY|*Im-ipwIv$*&Di^)pypsNbX+RWM7b- zwRJ*Ll82m`hePk-QBzaQZycajqg2kMPFUuSTxNW7tgEVeapG^9J|4ahh6OHJQsHmY z&6hPnVs9Uy=sd$?rvY2pu62Nt_@QS>?N{GmQjnaA!)QhOXx@kF*4F7r3&rg@J8pp8 zV$>#Q&-YpcnOazkuzwX_OkWYB6ewra)f-#FuLCH$I6Qr;=$kfG%~(?-Jh1y2HZJ9v z+0EdNGk5yDcwt!=Xu&9Lqgghm#0F2LTHR(=`;ljON%LpfGwZc=-4$Y+o4#_AKSl$tin8xZphm1|_~z zHKMJ)vU0=R$kZjZ$dzPM$Q1$_3W9yFNz(3?)DH1E^}AY^n3yAvRJe1ijm5!3o@3lU z^iIa67*usd@m!4HgQZ&rq&zrds;aJo=S$J={Ij${c?9ZG+E_RjNFp!lTr)XiI5GL5 zoORDow6=N{%aF`2SZ~Vl!3V#_C(>8={_*$3zyu7`2@GuM48bEo=#$SnkkW680UNd2 zk92|l4JGrf1F!N_U{QIMcTLp>4!BMzPOJZK2~S0yT9n4tZC{TRFGHVLIAcyKn_ssL z)Vm#fh%eZ;uEn+l_wu@(Cu-Q|IEIM2=3vw@rPv#J-+5@G%wXSNpTa%%-T&1$*kDDQ zuFRfmXEVL|EHpN0u^H4>mk}}7U$v4;DBtvQxNoU{1x4J^*{P`J^rk%m$S#nbXbit} z3iy!-FHpQR1_>T$m*mD9nb=TE9H+0J6Thg6j7(#diPuzB+LOOp>taUpRg_7xwx<$M zO5UBJyWBl3nw1u@=jxY~>s%4sd{SHrB#+P(kDO5Qe8JpsuxCKP1u32EKjVg{4{_h( zia_ac;pM({4VLN;;B^Jec+?S=ju`x65DSIVlKXEe3C)t;8!asR0}`XN;v()eqOQL4 z>E^HT3Ji%l={R1~7u=|Kh&bl#Y}&$Xx$D6M#^>~52Dovnj{G04x~ERbOp)4V+tf`1 zs#~#JyaQez(tQ*3T8*3_s|Tylv7Z($J=L_C#}yq-ZH{$T*)IC~lb3EVHZs~?)&0)X zI`vv~N{T%I+x96G%CK$2ph4NK{)B|*5%+&Lt})Z&=l`;lspWGN0Ft)D0S${AF~)9& z*}=+Y)hiZ0<7-j{Exu6XDK`q?Nh;az@WF!tM@|Y~4UjQZqec@@nsdVoUR|9!`p>iN zQr={YEsfMjvVJtPWW$c)oICRJ1~ylI`W%+(#~7$X)T{+dZ(U550(^CXz~9YRZ@ZwS zr3HWIPp-OMkl}D7@M9HO|6y34kN5_N#PjP$gzKkh{^j~+kyUR-dn z#Noq<;YaRuJp7oSUz?O9*t$xm^6|@157Wq(@+q}pyd)A8qvu{(H?)b^3XIkpcqb+$ ztsAPnzab~J={qPy@qZZZW9)^o~$kxX6m2*I0Srm?;|^x;l~J)K5`GpE!^{PaafY%p}*CFTz&^Daum#D0XMZ;HNQttP*A)lmi&h*V=-7? z>XxR}r9?luDeQ8<3H{#WrRv8LmLB4d;Zy*|3@!h%0_2m3f=AcS2SIg$Ld4V7PDmS! zd_?jRd0{y@)>jIi;Wl5Qc)DL1l9ICjYUQZG$EE}a6I8EvEaIcqX+SLEwe`?SS;p6Q zjh5g$@yphJ(<*08y9;XEs=0LjJcgFq z+_-V$&KQ7?K&yPzno`6j^u&N15^V91xe2xzP2yZH^PQZW4Ax8o4so?_z)lgEy56yy zjN^i8_`@^V{t%`CZT9?3wQzEBdJo!aYww3fuZIsGnnb1EUO$a(`Sjrbo=N#y&KRXt zde821b3fBgGNUHma8U1VH0k;L=@VKc%KW8-k0&;1|D|rY#H75{rJOzdDX}hk-C@_? zE+eziBka-ZE-ut)HMO)OS7(PNvYT*UZ3tpPTk?=I2GJC{upJ#s)bRQA_5Zr_DI}yb z;kNzSOW@Q=_Pv!e3zagQPQk^+@xU>f^`b406K;jrx$+_aLjZ#gE=<7vR0j^;@7^^| z-EnlBLt#i9Mq(X+tZfc^N)Q!=y0vi5e}`mP%K->UUi8kZr0Kfa`dAl}-fgbV#Ja$M zQJ#7l;Tdxp;ZObKslEN$V~bp>WNtP7n{_F6YE;ppRAMhUXZ1tW9s30khZUOib0S3A z*3ao*ztQnwMIEec4^!e!B(&Dn>c;AK`iz)sFj{HMU01i$eW!-QcJnXtU{9v}cavT6 zKL2#vy5`oW@DKG0G(zH6lX>zd>QteTu_f|@xb?c%M_7)C(ORVUTv1a zr`ebQHS3}O=k~h(gdQwDW@o=`_>re+f8zi?wQ_?OMsENS@a_|Rq4c+`DF1BQGL5xX z?c4LSaJ#NA|}U9=QT(c;#9DwhTpp6 zhg9;gcHI7i6oVcSUa?y4p;`|wUg|;guPMK01e2Macr!T)5Cfy`C%1xq5yf!46aCWX>)S+Pd!6pi`6e%)y0rHtbPj0-h99r|A(A21#JubAuuJ(D z8CN48KKwREp<xAMbeiHcoGT$iso%uTUOGGNJjXWV3{A$X>mrF5hVOto+ zEh%Q1)3dmV)p)(Q8k~p>3@U(=O2hVXyPIjV{P+6^+nA9SDzzpyH?rVF-8-$S++k{jl5A++ql!@gncVBD!I+N zliRH$TEPBJk>rwVM8?rlSt(&(m)+A!6(GCb7>y#yw@<_`GZ^8l06)f&X^by{Ii$JX z&6ozH*I0MFPDkbX#zCe2_}Kifx%h9pEmSna&o)-ir@m9E$TK)27(n`AqN;88X~jf z$=qu@2Plk%Z&L&Fr+&rm9(*-gvhIaHHGcXioptlQJ;Ix!fP?cL$t9IUT$o4pD|4Qg z$h>;87|IW<$KIshZ9nrKf{Rz*H1&;Sq&sTkCqd-m?%9}aqs(~jsF}Msk3V=W5I%;f^Z{PG7Jm;_th)w)Of62 zPdS~8pT;5lywAlQdrBl_kWImLpZ9IbM9nTC*;8%f%Z(GE%3?v9f1k4Yo{?%57x&$r zo@h9dl|4V%!+DbfAJiW8Qv+ROVS1L=dkQldenxBh)5(!!b;hjAOfq!0mR(p+sVIt7 zsv@tL*7~s0x0L1*W<$)qlAuhE^$*sN#28>*B_{I@H|Yv|y!Ud|s>e*{Wq+&Jof@y- z#E~3QGS^T}8}lPE<4>DB^k&U^3gF^7-x`3co)TxTf9F$h@V)sGFs9Gmy<3w$Gw3fh z!xMR9JXE=)q(t`KZblOIVXba<+8u?z>}4T)0#o_@Y3_&ZE8-2e%rK_g+l3Uf=cX(a zlFh>~YCegs{Gca@CegqBZeF|Uqi?m9m1D8lvrV2f7YqHrSf?rRiHTFg?Af|dC9d?K zr~3ev4fOV|{MiY)Mn*fg1*X*A8M)_%Dj#D!6jF+bro=Q)85HV()|_ZY6b!qDY4O{D zfM!+5$H4CqRsx(h9bNZ(dwcCc7jYPQg9h4r={10D1EAih_sj<5-h;Gt!jY7<-37^{ z6H4K(a14*__TWq7emR8p?&%@mVU+e5{9RaCLllL14<78pR{Q$eYFRSM@aT3>&HWq_m_)`|>k7`ZzvA4Gvu&P6cU@^RsM-J^3pFV%y zx@C(y`A1Vz6BU*@MSiVljK(O=_a|@;@m`=7Mz?B$wE(XbnED-|dGqGU(Y$Sd-}W!+ z1#4XyOgZISU&F)aixkOnS7j~C)4Pu+w~W7I>9ptB(IV)To->&^>de24p0 ze*Qzb7N5K6wj=!SmZ(9VL~pZW(_MdO1{Y`+9JNTFIt~qd=@w;bs(8 zVH_I7CK0@7JHUt*pQhYhT7=G)7dp+O8&0Dux zFrYk;Y)%1g7S&jPxyw^TOpG^Yb=_=f26MWJgKT{T4%E*qoIBmyOiWEL z1BC&zQd&w3!SgPk02BBy*=wKxnjWBATjd0iicQpNTbP-fXW?4FPa~Rw0w+-79U17@ z`AA$>ch4!TU$!JC%o3VNyNr1bE*}2pQwrP8qf8u-GG86Jyftx0#**5iaVBXY1=@zI z3%KF$?&x5I;QuhflN^Itzw=Z5C z0as7VrA7{b`Pj!?2q)~K&_~E=)sHS7Az9by32H`rRC4CH@mUM6BXN@(W51#cA#JET zxTQ?o24#Jr0PV7lU`KW(dT4Gb||ZT0%cEZ>$(RY{BTP@^Pg`xeEZle@_9S^u@F0I z@TywKHhQQ{X7ws6D%D9tG9Q}c0W`I`w6q?l2fRFLb^Dn7^EqQ6V>I?#v5W~>(j&)K z(poOCI`fRn~o9stvQIr!0JRX(c?gh4{Z(TVhl&!w3FiL#>%IPn0fY zzJVeD#VSVua%-q61joHR!z`!D6e4khr;|AUGZxl%&=7}p{ zZqri}Gc(w|6EnkcCGRE=;CDfeSOi_h2VGu|?>K6N0XnEF1=ov;iiO`Ea1k{ns7i%Q zV5vh;?zkciKff+2B7&GY_H-P}w)@rQ0d8FBE=b>9Sce%*{G_jx*<+0%V+jMux{%ZQ4$l)B3m!1iBglS$Nn5{617t!I$UfIX(wmy zq%^%y8jv!5chpG@LY^OAG0x|l%Qt~vQpZsK%VKFX9fp5V(n*e8QkLpZci@}y$Su@A z;2|eLxz3ZprZqcPbA!EU_e@MkFm1}}^dz$yECgs@6C)3AmEqqC(1!4*r?FWO>&9ji z>W;H6-*DC-SmJzw+=T|0#5u<=n0dK%>sEr5OE>{~5knYfj@+`)AV%_mbVf7Tnl)=e zFTbrS`Av)!VB*MwbR^RrJd{SI0;w)6+HaS>0aR(1s_E$`N|DB21eK16&3TiuZ5fJ} za=Cd^h-a={tHh`~M~5HAW@asz{S-w>=e*fr3~&zS^T(m40Sbm3cgFrQh-Sz?F;=;e z-3_cMTyX(#07yTD;t?4I(hNDNnO$$mHYj0wAI85Z3^1W3u?3MyXK_m`$vH2fe`Xq3 zEb{j1am#XbRg#=@S4F!JnjJ7i*n6rr<;lm-pOr9B3*ay=YW!1BFc<@Opx}bA7{i@# zjXX%UM$o@~`*!09a%wc(OJT0bA;(h=rZ6+}bw=Oa|ntb{(GI~`9JNqyZ%p~@{;xc&$_Lz6UWgY6J2ARr*WyNn7y6TPvyv+F_xaWR!-LC;-OM1`jDJkLeha6^Hi6!|z4f@D&{{Pwxd`ihO$09N4 z*Mt;-`6;B>s|@|As)|E5wSeiaqenw_k)ydt+g2{GjX2zZRs&JFJrWZ7jj@0VWRDO% zt=QekH2J*Rs<=3AzGBH&ud`U+X>vM~*LbFyQUeAfUMii+x-4dW&9Q7j4WHq1v9g=7QcW0#ewW9ci_@%Q4@3X$6c#X z3(n4_{u^PcqMrOIA;K9v@4preU^wwRHTgyMB5`O=IWR7~_P`F%;x(~x&IMml4)KpX zfw1zJzK)dtP>?(65bDLIzBo)=dA3s`!q6M1^1xw{fd<3H^HZTjxHnAiQf75~zkR#? z-)IZuPZ1GX_=IImR_wW&qh4DNw-#_J$#j3Dw=9HEoX??O{emHP!e*P%bkc$pB`wRN*{6g{Tlkv>Y;CXqi=;t18rpCg-;hecTzM} z`7iJo(rxCRN$HR@v)L*t@%QA78ann~qC1$+VQ7|uij|cey<)h8y0E}2XJ=GcoSZeE zhZ;tDT)5exsa#lTTU+drp{}ETV${@53Uj{a6sw+;)?hm0+_B)*^OG7=ed_@icYp-* zOOWhbuqTN*c7^=^U8gd_QYVIY4d(;=#huo_SyV>zr=vmaCa-d`L#1#z{=lV0z5Kkg z^86Hk@~P>82Yzk%|C<%+ElpL?$lu98}PK*%!_%;*!Hih zQg=JO3q4w+dFxWU4W(pfYN!g&c2=rzC!8GW+9aeYslSk-RIQ$g&1sM=5mF{Mk>Dwi zVp!(SW>oTI`3L%L`6fr4`z7_fDY}Tvt3TBHqdR$mzQB0(Qn}ujQ!PrX zWvp67xnXua&e5A%);&N}MVlNo&4=%kneD6*9lI-}>BTR*BvXEI^Zu2Z$|1lQqPVY^ zb!j<&?8VC$!}CA+16xnl<51roN~5s`61k8kSjM*lG)<{Yea{K`^>7Y zSL-^tOeb`HPI5_O*E64R@*LESPYRzB7NF@ADpLa_1{y7#52uC5FZ9IeMU;DA4@N|c{!kTB zi%Oeo9LY!?eV~+_A!G5)$dGdPm#@0c#FU6k?aLP%#Zno${xru+$vgHRDkAsg8wnOb zM@|KNBSuL&a$n2@cp=8$JqdcA=20Cd_E6Lpb<}_j#?k0(FJ;NU68Cn`~ zde`0JAHvP-bh33KD}TtzmHD%QyueBhIU%KEV`CGVJ!(7D{x!Z_n)#hCs=T;#kYTK2 zIw)($?0?g#+;pAVCd3@v2LMQhbt}oleAQ2_!<3{C7zj8sxn56d*`TA0q|36v)eE15P#fU+Q{hc{uk;$wREWqzlQSLjE63>-3`p?9fgWjj+ z{8oCNZ(+Qo*3?N^L)URrS!Vc+`SJB~v;iKP^RX8V=Y3UwCAUra`*gfD4A}8P*bDFq zfgAzyt=4^eLSIMM+&t9FTjo#i^SpB10EzH$-*oL;s#8)?^SVXqf;i6oFMDP#{5R~O zV$I?wY8x9B^3G&`^As#lb~$paDxnZ`Lkr^KbI@_GwawE-a) z=ZrgYRPpJy+Ssb*X3Ij#%-IwsY~=cL9b__llUp3@&flxb9}7`@HW>1J@$u@-5F(5FE{axGB`!RtHecUq zSFzNkMk#qqSC8l47cbU&whbh6c*$w)y#AwnnU-3Hd8Knx19qjAib=Gzn|*QUgXx|gA+-d{cFgd|f{fg9{nX9k zkD{*^1A9*E;izcBpvJN4#ix=p2SF$q8GUJaA~EF)lb499ao_N?sfSzi2lC`8GV5Kf z+KN@f(|=($Vu9!7w;3%*Cq86wi_6HEu>Ntk$Ud6v@~BQwWnEcW@#^hyHeKzW!2Ar z6uG{@c2Vh@UV=P$#flZE`|&cuH$(H$Sp<`U=3nbVzu3I41qp z#48f(>Lf=XlJ%hx8mVcise2`D)Af_xSFG?d@tdZo{9C++?{wmgb2G~{MASY0d>T)G zNn6cxDRS`kGSgrE9Tl9p*Kcho{!zAW`7*K6H@^gOo;-VYa_nKJ0DC}%-!Jg)!aaUi zf!uE6idp8C6W1+rW|@Zjie(z7lRtg@sB^bfSaiNL)RUXP>ess~{>CKQ_!mz$qyAmu zfMarct5wcYF3b+Ji9l<739L}>Tnc>#&zS|rnBb~NbcqA$09(PFX`_Kyfk0eLbRBcu zmOvz!XoDn%f>R-MF1iF!Gdk3PU;&#qi~R^L=8$IGM+3D(#^3br*2fS7<6+P>4Sra)8YnyN~Buvx-^-3BWU;k5PrBK=D8W$9?N`=ba>VBWgK&pt8-89ia9oT zP+{qz_u8C1I~b|ux|Z!LdIooyRqvCP9rA)f53gvtHFA3flf;^&C$|nq3e4+5!3g2| znJRKSG99$Mr(qT(Sm}6p2lRL10>c`z0c>0Q%C82YcnnR|gtBJ#k3V`PuF?5cF2`0S zx)6hc1ZH0YBuB${5?UXy&Z1&s-owqf$^mQ&+|5~v)&6$`dmb-zm%+-`3Q~^{nH^ZG z`tF<7*EljRS-4F(MQ+_?3t@D8WE$|DNnf>m2T{UvVGizUUafywVP?UB&gmF^}I zT>cTW0Evn2B%V3vWopTm7E1(0Ga0$+x8-J#-K14ds;1-ZUn-wsjVY4ShF;SZ0-amZ z@fJefrz}JJ!foX}*1mT zrynuCd1v%f+*e18Bbs9WB`888F&Nc6! znO2_V%RpT>X#TtIY{M0W=i3CX!|2P_xcM)x=81tOP79is`DPCu(%j%n@0Q7Gs@!;Q zr)*85fG|8JaBR&;Qpb;D7C1D9cmcrt7#eDbM%%8gwcEsZId@_PGVV*_@D-J>=6pbm zB)_haA+vsEOpFe+INolw(o2I4Jd#e~07Xa%KR=g{JzQN-k9b1&>&cCWwmObz>&e7%`X)0Ir z0(*q#UR|V!15(b;b#rV#DSoHYN*oFx&nRmxn4TG7a9noxVX4RR+yNG zh(Dm_!oLZ4zKM(2=0|S9f9OV0E2ugfk^9GuYr;m)V}twuDW?Qh0XHCh{BkWs z!9CkXL_NwGW?Z&Df@tM>gLf_pi@^l*3`}?Z=`<8rgf%+7=W-4wwp^j0%04Qh{h256 zZSSfThhi>CD^=R-f4?+D3f&`2a;a%|JN>&?h-bt;ypmWP7oUGOFt=Qj?eOxWzMg2C z-_(?OyeCl3n5%xx$34Prw2?qr-z;OhPVPG80P!qCdaCCM9ATU~oDgw{^P|R3V;pl3 z*gmAV=Vj3$ed3PZ%z)#JC+7j7+yZ_00ss>WSglSZC?2AO<+O zcWj=m#MjShJ-=8qY=HL>IkV5hr&3WHO1lLnX+G+}2fu$=*-L5>Cv2SiK5qJqPx3{P z)S&w%EX>(yINgk7c>Ct$4gX+7dHboltc};54Tm#sm8fHr=jZ~OXx{AVJ{*N)y3K-S z<%B{`menQu4R$RcQ`%IQf4zeCaczstExKX{4?Y=vg`n+YGKG_&>(K3sLpE%008SV5 z0=nF`Ugz0BXg2v%xb_?9Ism-|1v&q4@G;8YfRSB)84Q zfBaY>5k*(j`ps)!<1xZ zM>RdwSxPpW2SzQ1g?-_YTecv*jMygUY+rbT;rkC|6*U#N;Q8HG&8okmDKzB4I_WS2 z2{M@mq3nhr0XdJaadAg-Gtu?o01^+5fihbSZrs?Nx*C21qI+!78W;oWc%?V~&2_AR zS4M4NU_Dl2aANUV5PSXhZERcbwL*TGsc|u9N%MJ<1Wr5*Z`$NW=P9Rl!#PI8bmj8Q zUB{2Z=I1k0F^R~^WijZ&uvHO37$@@Aiypb5ntncsikX8LVt3nOI2oox=#%%7F} zRL;n#&F9st6Q*}wg{b7_-Hi#wWj0&Y?Ke~_^!!vu%!75!wDx(@aIK1?=DBkP&!gK1 zdPBVBRbBi&t&wUn7nPLO zeKBp#I5|Fq82K+(0lwgUmj?vCY2nn?*Gm|d#Z)>x0>2eQf+jf+2DNi?HpoiM1Cik{V)4{ysF?w|HX1NAYdY4-5B{sxhiM~@t}^pf2!+F{ltn1n69e#yDZ!P=&uK9_k=0dqVNXGo@bIqhE*J^ zvEzlP8MyX*E-uFGu;^&-n-+}eB6r328#kqISc?zNtx1PqHInLN4Kg1LxJ;`$6s&3K zJj6XdZM>MmDaz=vW3LUO-puOnx5yOl{M1shAyfGH@kH6hVjoBE>CQ2>;v4G>b4%n` zclz%JUoTh6nJX>eb@|ib^`Vs&PiOZBrcOA8T+F}VFiqSMsoj7dIk-c*cL^BR`+TWg+|-8d1+3Df-89m-@GX3)HA@{NM8L5_b0EJ}kW%F-)`phX$_A}JTNF^T=xNSk4X z^)L8H#(jpABT?$MT||E2470oj*GV+9c7`?8$mh~hl%;1g_AXnNsblTrRTnYTXZv3G z%1*MVsAQ5|nKV#8MfSqkk$_)oKq;mtx`Is?^nE@vFcb^DmHa^zNTGqYjp%HAElSa% zP%`IPS3)u}oPXyGi57xOUdR`g8~esZ+RV#qC$)r_S@gfdNUf-8UZ|(j8ABXAk=p82 z@yf1N(*bP@({4d7`!=k8n-F`avcsKAP6YJbgN3KJ^S(IlL}FW}&0}I_PQF zVeE=`GR-T{EwIFS?V?Gjz!0mADd?OguXg*7u-J)EgT0db{wRCPR(AG@%&FPG>IZoC z{6^g{tTB@HMsUeKmy-t}%r zs}kt-moHxAQv2(osrrjAC#?2i)TnqNm1?h!Pebtzr_=^yp_ZW`xe#Y#n0q4`n*k>c zl7}z|NDds3AYt7X1G^K^CI=)UyNz4~Kg zm6x|(IN$qYiJF5$LGBEB@Eg~%gn^%{G;p5z#NX328$_?1o3kef5OMunB(~ClD}Jp( zqDojtt=hEjser8XxBzN)qMZ=Z1ps`9HDY$94YvFzE?Rf8%jche%pa~m*2N>o_|3s{ zY7|OC%|v6>%{>HR;uQF1kvw|zy}De9XZC=lscETt)}(vZz@s4EmS0M;GH4W;>FegZ zlzcpGS7HiV zxm3RVFmGhn#(KJQmnA5o$wp1MR3d%Pv~8B_9L?h)iR+y{ADftHGt`*)KZ}*;M=wZ7 zNWhC^=*w*g319-#B6;I099q!zk75i}L?|B@Y6aA%c5NC#s!Xqy2R6ncg~E%6ybxnHYyjIZybz>e zNPrgCP;ETUbYvB<>7krV#(4qEj@M8%>W`!lc&k9c0#`Wc7MtE+PdWC&MCPdx0+R2& zwRi_5H>TXH-b8chk1N+{j%DBqNtq9t5C0lIA0@Wr(RmAx4~|xiwQ`+!R%^eYqc|JD z2s9%uHP?g@FrhvxDPglSOObBoVOL9;>lE341eB$KlZKH)JVWH|jj zcd(fd(;e2D9E>klQ&n}(coi7P|KpR}weZNuKxh~Vw+FewgJNP9Gl9fe99;EZI;ECz zd#F@X%yTo@=|?D3C`9=4ZfJ-yC{DUk7cNKlLz-23W-(9Uw>6=>s(H- zd|F+O&xZ;_+t8)C6UHdxo;y1MOIp2pT>i;%K6xvf9Dxt8`+|?Klh{tASFG_8b}w;@ zqeK%$#Twl<_Ik9m_WLmV-j0p!{e-I_7}_-lZr{8)nOhmI7HNFvPOk=xj4oZc(B~eq z_$hb)_bDAFcr%XL>7E}OFL&7|Arb5?{Y2MZ%_u)cAF!0Y?$-pTr4bbca2n+2+tGSj z(;+!%RDxG-h1q$H&t_ato^TfAo6clg@$E>GJZ3r+JbXWBrk)x!=&m9_8}IuZ$nD&i zZf)`b2E;cQzno;a^^oX#{QY5@`fG@lTMoj`#ijd*L@k3a{Sw}e)H?7%R$@b`1C3}D!7(8y_z92?k?uWLeQlVb%pJ~ zhDW6riuL2%QaTK#%eAN8{cS%@ZrUXWvcAszSp2NIyB60kQ&Ws> z0DR7;!!L`GiWU{Q{{0uZxwYE@m}=+8zLQ+Ua)-DCV%Vwl6GuOu81OZ3KB3BX#&;{M)Ceo*h(Mcll7+qr#${`jT^nn;eTyX^f4 zfp)Wi+4^3Gs+4=%IpmX_t0yptfSn z4e&rqpTzpLoLt;HY9bHw^FwIZV`1?-#|=+8^hf-8Ny0mZzZ~Y-R(U;cL!TGFW9DLq z_23ki$aQAkQ~n8P&7Po5?-Uv*P-<2S`Wl1^*nBq<9NZ1DzTAo`cq%qx$k>TEku$mmM;-jg512eC$;RTxY%LCC`6{vgnyzDjZx} zJvLKm2DaXkDE^@D*_H*oXO>-X%G!RE+M4i1@*`t{-b@7L z`frp=9GsKcGj+*V0>tG$vg$&E`ph}1sc$yOO>_>+n4g^e*l8DILXgXB@ZJi~0r1Q1 zz5mOFM{csv=OQd2NCFvljF@1VdYiriUR}GPI{7ChucPg+ELk(nX}2)fs?Hu85ullZ z9`eg}ykdaMo19vH7j#&qag`h9ncx~&FD*m$9{aZ5G0m=YxB+V&lU-J zUw$&E1%u5(2p7|!6VJ+$dok5sT%0?+qO3$_vO-=c)ky-9d9&W8mfv3fbhH=9 z5jRP|vE*(jkYeu>9glo&AVFmK5+qPg)=jbWf1yL|{Tq(@LbSP(y6oxh=LPL~9zm}C z7YLp@>Xbw7!v_RDOL52rLpk^E(THm!3^CDV&rFU^PcuLl?UbPuySG_6V77$XGTZ*4 zVCd)`REvMPw%#jLVwTy|ftK|=g@)s*Le_ZQu&uUs`fR%*%ekQ2&*sqd2;GV;Yo|oh z|I;$lnvMN7{ZI{}uL?m70CsLS6oUa%`2)HW%e{!!o@xL1*f*u=@f%d4|0DNmq26W%)6=Qa2Tg77>1If#n)@81-A0u=;c9LP4Kbu&TLoOD)4S_Zc$IQ96$lWP1rQ6OpOVw+fF?~lA` zBS6%h_wwKW^#Gj5br_+se(v427TD=Ch?%*%_*d?_RJ6fBBhd&A|)aqBHb$8-3$VX zlF}U_f^>t#Fod*#fW*+<-8plv!SD0?JnLT^&`@Z56*9MZx z%xByNdU`wNKMeQT15=@^%?vh`!!{GdW@T$<0d19vV97~Ozs6-V`*BP}#I3!=d7>4| z50oEd_qrK})z8%!^TV-h{;@CKbmUd9+e-}PmmbY%xg2B(UBqq(od@X6WozENHD&~< zX0US;a?s3-3|x$ao|=v~4HszPj&r?eXqTlNcd7v*wBcn;udH+fGd9xrd=MIdl;7L0 zq8X$V05L!%1ri}H^I>%$tMv6nLVh0}-eb3*)!>WeGU+3+#bY8N_!Y;u^G9CxA|v#@ z;o<=C!p#8$l&-F>YLU#87mA0-`?`0gpcRWxc=PBe7iVHdNFfu?|0o#@QQ`3iRC8dK z2xS>O9$&}dfS?Bj2~u}o2OKXnxkMd~3;2k?fUT&Q*pz%bKLWTx3(C}dcE5m9u^iwW zXO{rFCgV!SBf|EhB1o~j@ExJB8)&a3uwO8>M?zX)bCH9S({*WnLDONmsjyIH*%r{f ztGvku4eYAGJK65eK@_;Yq!=oCJ(a#txl!x9Qkm7IWSw7NMfAv_LG~^SQ~5mAh}l60 zPj1Qg^z6#Tb*7vjhxz7+jrr`?96^zLolL#1J7>oz`j@3}x&*}0R)`F58jCJD6;;e} zAy?4l51O`5hcfk$Z=nnH>FftB$5gU`LtcDUi7ywtXE=>}sI3}rkkV3Q1K$`lHlTdH zfMBG&0Jn;m1KsQEBn~ri_R#jZDde;^UI)Z#ka7_r7(osW{jXcM2g6F8Zh+MAuP*?+ z3czC4bd(LaVStOuGuQ^eMzzg1t2~Llv0f|bOejd^M03hgrYi{9j@s4CCGtwX=qzjr z{a715pdAc5JOsZG{-^#=96%~ibonc=W06G=` zQ-k@vU0I$W;~sX|XeBUTUNC^V6VBA!a<&DX%c}4seR`I3-r~0FapAF|TFL#SF&UOd1Sy}D9mbPg*Mu5@XzP* z-byPmo37-2ML1;wsH35gc&Ft|c3Hle#V+DLgozTiy=nv0=-bsvS&_1<5QmQTLaPi0&va&~eT`!5 z(*v+C2f5u3&>GlBCPR&DQhaddkzfnS!uQ{goGSixZyhB+zKJB421x7#dQFuf`d&DFm~WsiMbxfmELn87#1QS zfURrOmVr)w7+X1Yw4(O!e~NM{v0o(u&C2hj05X zwjdXm>dC?K9Io*JDhv=vKo}^xfOcb-c?U;tl2P;P#MHWi$HP@U;x9sFQM z39LDI9Q)xz-zyuKuN98a)g6MC9_*Ywp8B@;C@(+&fMOFo@xcKT_`gNBzrp^E`!Sf@ z!=(mdDPJYy=0YzUR3wlNfb9mzvsnDP`}@lvk$?|Q4i4x7^!6-I^lF{_?Fp9(*dI3Z z_jX(k=0{LVEEQPSmV=R!|Mbsk+;+B-3mY~$(}BqkIoM7r@K?m#u3izyuB;r};?_f9 z>K7}`PR~+>g(<+tvV&_B z9>H-b4#jwO$*@yKjvDUwv?bJqar@r!c&R>sQ21xvn_g~&8?o-c+>gduuGj%wClT_` zlD-|xhxFFU{T*{>!WG2GI%bFE-~Swg5yw{z@BfNsU~_NO-i82^f`R1EzP+&+eagcYO&>YqD}+H}vsg&*aZQ@dJJV zE6Qo$W(-Y=a$M2B%X3^t2s9d|#%>nGApR7zS3q8>U%C10&ww{EmD5_PkYmqW>hv@b zfnyrf5lfyxY3C*(IGo8USwXH;BQOVB8VlTif+VQzh9Bw2S#_>KFym7$c4+FvB|}ZA z@qiln?PuzU`04>&Uri07AT-c>!!i+5bXcePxf!XJ<|IL+JeY&dBsgyaH`wv_y94iv zLTn$_b?|rY*0%_)qk*pWqYbSb+ntYU2+NI0$;0%v#i^vp+ z-AXgpLWrdLLh-HXG&UCyX0C331o_;^5YY*3E%M8kt@r0rCGysy^yAT6UPqNWV2dX5 z!Gt0avDK|4^~`Pp`vA8M)g1ew$AQ`+0ks&669WL*@YVt`pG`B|A$w36AdaX;=7OkS z0(x+(=iWX+PjZCg#x* zG>f8R_~_Cf7>rhZex@TVtR&mkPDnGO_%dH`y&muS;EA);BoCJjz$P1cpYR?SZ~@0` zRvA*j7QmkDcm7g3gmKK3Sy4O19;E$3d_$<$$bPmsNKArd?4?5$qp8yRDvx_1J0oYzGt<$=0;JD z+mtULK12Nu^Nb7uboQgY*?T>M_A?ScbdUBg(g*=-3b>nd^NQ8Lv=zAr9Y_s%DNQ^0SfI}2xbXUJND3^*X5S3)61 zm-7z%1Ipfw)p`pajv|MowTj9&#|h0V*Uri%RQf`aN>*^~>FziGpo8X!N(%tC z{|o_F9poe4bcai$!e73omtCUuXU)RMn+B+OT#rM_ydhQNrCQ z5ZLbHfOG=e4Syk?x6PBQPS8B-)NKL$TSG&A5KO6OKPP<=@f9bcix0nYtyxl9`l!|u zB`~#VondTL=ImtkveOk+N)P4g;WwzLpz{rxcOGc03jh2GqW2D@e!vgXVV9}*6tM?A zvG$nlP3s{6WGb#~7}grG8>>q&hQ+)*?8zW|IL)0szxj=2YpW$9N4?C%QCFcGvR=^m zJaG73wHgaTjCu3r{ccAJO0pixKLK+PaJtJaED%*oGEfeK4fP% zGUED>LmcIMDPs2`P%_0w$4;3Y(r*$#H79Bl<*+#Zk22CVEdSNp|n14SmVX zJX~kf*gB%ZupNF|eLN8Gex@B7HOOtXkp&JAmkb}`kL+OrpZGw8VR+7Gm&yP!n4807 z=e_S+cn^+*{X(qFjVm_Db3pcnhYL0C0^(t~}-@vIIALkaFZ_c|3D&Z1>G5QjR) zNQ)SJFl01ZL)b=`#=kzRb){m*?Uu9oVH4Z@0u`?!h#*pJ3*Kq0r8dOl=x(3K^BSnT z6$EjrmSs5!>MJh~Q85V8V3UPE#yRb7b5lwpJ`nlrZq0;ej<8nx)GO0fC>;%ZL;th?i7y4(V%v0q!XKR2Lw*Ad?HF z?{hQGDSKk6szA0`n3R+cDvzbEckl7Xd_AkRm$!vkFaNCw`xuU+CzjnpTj!~6hlDRc zdC&&}+9{tR5Eb@!+CN!13%ku;{{|hjqN12`<>61OW*ZxP?U$DBzy<_v=$oI%e|Qpo zv~YG)UZ49K7%u9z52BEM5jj)Xmq2)7S7tf1-SNF*DTm0USMY>!?T3qil#_>%n1J`2H%(j}z8l-C<=Z$uy}iyvuwf-~3Iq~4%dbrtAbaTv3njZqOSb;2yUy6I z;=$XKigt>6U{&r} zk?P^w+21!j&yqt*n4@0g)SceVq(lzNz=|(AGdqRL&Je2d3krZx0Dw5|^UIgOe;HUN zH8TNU7_AsC)AaA(XVdrWpOke|%2La|^E3rIosVt5wS95r3(We@3c|CqdqKE$K_wd=AdogI_h*Y0R zeR=#Y|4ZhRt3uB%5%7@&e}23jF!8*>xmijrb%gGGfDOYyr%LhS-0!=SpW%Q$j^6`4!om&49oS*XNv3z{?XZ)lm z&5EMGLxb{%Y4~3;5&~^fck60ZaCgeOJ#nb*gYW%YCe>l8bXul_OM$R9|^ zXE!ex$m%KnNK1$ZJsl0J4*XsXYh6n@9od1x68nm^Z9X>SVgFcqo z8baWTVazXgQFCZK0zm?1WF|dy23KWZ4nYqNFx^F|J0XmmoC+jffH)-BbV>pr3mC1C zAd%9HynPtwG@nMgWCd=U-lbFE+Yj`ukuD{ejsWU28cYQ+LdMu^>wL()iFekl`2S2! zO+hCMMlm)G_wUsjVTggZVq7u+gD$k><6Ys&#Q*HJsGFbPl};MjWm z`{%J7^J{F!Yvyxk*5p2=I;&E`0Z0Rz#51!5uFMmp6@63Sdi|+jvos>}WH`z!{HD8Y zVWWhtt+YK2GZxwDx4F6hA(2-#wJlkPOhC(=E~UM=S>-3awQsrp7XNR3lgw47^g zM-C1WvU#$^K*2h;j`vo&A=C5d;eCiO1Bm_9jJGxfzDXcJnP)C6X3m7tC}I-qyx`W_k? z`9r(fLlCt9WG%3lS%k?4rh`9%&L0O0_Zv?zy;8Vy6`+4W+`Pcj8twSfuO}&3qJDv9 z68~*-YLhrGA78DcR^1E#hwfovH>j?Xl2q}&Jdv?Ht6A#9>Xm=Rs~c)`uO(+Cjcv4q zl-UoAv+MNzGDD7Nc9eBL6?Sh&gm|!bh;6G+{>6*?FtqJsr_vB?2^7rAzomSU!%@#u zx@7oFn?o7Ll5~NWh}E=DC(_*PIRRUSZb{$h1-r-S~igMJi?q z0Uz$qSAQEi7fAm$3aG!CjM;aSN2D-a5}Os9YrKShnm~j1Mn)z69+UiVnWb0KNk#3U zOm(rCx=iMK+9y6LKY4N(5-4P|B7kDQ=06``(eZu;xw9OjtNSJiS=d*g%nZDr#dgw7 zrz04_G(JAredQpz!vHi332`)L5*ks!paLvlcFW1O{LOthAmD%+rk}Eg|INpLJL9PX zs85jF1a46Pl>Hw^i(hyhkZL@OKRu=cy7YHK)+kD_yV>O{pE`U#B*=ZE*QGy8tWa;j zGM0}9BI}Z*q=Z!ZT_)|R8Jct2r9;af>hGuwG3(+n@$vmQsc74Z$4p)IKo=yDvi#dG zv8AAx_5l5J1?9xeXjc&F0rxUrIHA1+tdWlQHfSSrCA3FC%mq{r9930S)4PpM zamze^4!92teqo}Irtp0Jwc}R|x9lE=bvbxFEv^Z5^$!eeIk_Ik09;WoEd0)70-Dy) zwiR&R7UkFiv!f^Cr;wWFpooA&>ozJvo4_H#HV<$u5JWJ~aWi6;?3{lRljCkycLRDH z#RV2N4E1#@ozHNz);~+6>9}{Bh9+)j2pia!W!(3BVM{-@@-Y|B<|$>&c?IDU%wqVN zhllFevqiRB7^*|z6PY9|1fBtp37_C0nHX7}j>2ZXc7Ja(;23spU%Az^lh8Zj*L>m) zD=ZxOwGi+;0v@+C7#;~MflP=445KP45}&JqloBX*fRRSZ&&v_zBk|KyZPr^l3zQ#vfabTU!Cy1;)Ul# zs-MTdF)8#lta9G2ePyM;G{dE9nx#X)L&Usvye7Pb;qiMrC1i|aAC(LIW0qld#8Bz;2Fnh}^Xan4Go)*F- z4B*?_U&yJARo$aru$~9TCzMeuusQ%fkq_5D7X50k8ooy2&J>|Y~h#n@V&JUY_l+>(*&*J`r2XZP6 zgd(DHazQc_n+;{4(}kjU!CInZ011GfU|qY-=5RC{C<#Fju^R+1XLFN>rer4K}QIkmqp&9Y^zdWtjS)vus>| z28{3y(3=BI?E2lm@n+A4^=-#}2sP2r8*6fEU3+de_PdJC%;k7`SBa4|0RVNBe%`ncgh5RA$>0K$j}aM+B#ukCQh_m*bG* zeuL%qqeo(Lo39g>ge+FaTXGzire@yi`j-JsV$kAf2Nw~6M?!}vb3vb_%TY((i9LAR z5I-2Z2#%OqmUCiIFh;LusFf@!WA-BQl$CzIB~J(EL+LwTYsWSb(R3D4MZDMD71ZKf z@?QQ27eI~McKwzx39v0Lo)NKU3D3+-JXCxmFaIi9>6%me-HU!N}5 zn+{Z3Ki0o$0M%)J5bO@C_9d!W^V14fGW!ekWp~TLr%vfgRg!YYZ#Z>t{ST>$8leAF zD^vrs9Z$mUX-p%7Cxw2T3!LFf!NI|87_NO>BjMqFIEjPk@$jDTSgigQi*Q{LViQt& zss5)$52T|?>UL}75gO`w_9HNzyyWfNLs^HgOCNmKCV;i?$TS%tDn}iZknovgq^lB4 zF2Lg4{EU@t$E^(5X`bkbi%*T+!#03h#Lz_kd1VZ-sNAonHr`i`lQO1ub}#TVuk90` zoUN`XEjVSoc=2;a_K(e8)X~J__J@hEtv$aZKl&8>Pb0&=@7KQ0JMA{Vv4_iKMuwK` z_^1P_!di$v-l#F*YAJhJTv8%o;}sAU&4wU(F8%Lec0B{uG#0y zhpWZ%+jM>gMv}od)6d}4C3sbM$DCEXL+jK$f||kHz$boh3e!h4-R~+1Z+QvI0yS1`*#$9VPB*ED!+^BPriqCpjzYs4fD# zQ6rV3nssXU%DpmvT3J{Ziqjp<3h&5s#r+z05Wj!-P1=>0H=J6~o0^)oL1cb+7lS0= z#`8FS!{0u4;_ti8BQz1#7Sq=VpoGaMjgzt8M(g9u93gHO6>+Mv?dLPTrN5_%4lAdg zVO;vcsM^b$8>|>fp}Lp-uruw{NYwEgB4IkL#Kj59&PvsdR#dzbS5F4XY2jSefq1v= z5m}*w6==`0%Lr}xt;BLUPfI!>1t;rM*&?xv@`1yLwF9v-Gl@AIT&h_;3<++S?%rYQ zN>>Zef}A>~{7xZr-74@ERDAjASpw0S=Z%CTX~?S5;gVku9dsX^&g1BP4Dypf2yj4x zICWM`jv6QOk^4GmX8-2R*KQ-zgC0Dwmlw{6B2pvxaDW4*2Tnb@tjd;(7rxK*UEnx+T<=@j2F@2S_PWeUh?}1sA2eP7U$pXZ1zVL{;@DDb zj6$?@?g)kYGu*!IhAqo@Q~3Rz!pQI3NhI-GPocx=i>gcaF%pW>rW&KEQ6q{~&Fy@u zFTa(k(tevCX5yZC`uQdci$W^jey^YgS4?+5mv+XP`+gVo@R^aC38b+XX#zlu6agGe zO-)+4;9n+OFhf|wq8cCO21A*3o#HPg!6Nor{SH8nup83Q=Ij(FjFcX3u<1^4Ya*m! zpY^-KnH%ql5ko)Kss3nvg~hMKD(Uf+DqhtS#-eUJ+O`&iPY@B}*t6%(tznGgj+O!> zxCjK9@ocCji?hsn?=N2(XkD_)0qHMLQu|{7mWTsQR0_mNya3VxiU}CWff_ZW>Ca36*vf+P9*Evw%N(hwsO%T}zL<@e z^}LyVLR|}@5_x%gL`PubeOJEY!*}QXTc(P(f{T^V?rew{VfzJY=6m<}@0?QhxXynt z=nJhL(4bXX_oqR|z;EaKQZ~w~vAMYqg<=xI8W7f86N^qy*`93-!c&AG$gJDJjJHbl z%RObip*OGEs0a=iYtgE+5|i@(%o{d z)w*{ZO{pHIvm}D5;F%3$l~TyHvcvtMSpp^KspS?0ttHl+&lfSX-rRKtkB+(r2gj{S zPfCE9556$vnkjx}c#mRC(vX6-2@^NB1c_JX=y~M^quCRWu@|S?y{j{e$(dLqGC;V! zGK>UGII!n-Mw}M1E>dybJ>d6A;(=6~GV9nA6K}Ln^l!<*LBsosk&2P^9)Y!1!gX^6 zdhtqk$Yk&_N{U=}*58PZqGz;1{hvqiTQ0|{%m-XaQVFCSd-T!fU=(ew{%IX4PzEZot`2MOpBVu z^F6-uyEeBqyQ~axpOPR_pp7rl))77Xsd4;U%W}m87vkG@Ga<~FbcSM%oFzv_ku+Cu zSQKdoY3P6&xqcA^2nF8b)1M3skB`@Tc=agZgUKDrNc6f=RddS8EAFeAYN$L&0-!Za zGOdcKi}1YPLNaN=qX-iX4LWYdvCj6oL(%MNcf*El0b{|C@YPX2(aJH4MNFggTK?wOUQZ*jG*E1Fe(Xo_xSj4ivPz&$x~9e9oYLk>fwXV2|p$( zCaSdae31StF_fbswM`uZ>+3d{yxbc zze<5O>QLa?&<0HvqFJ)wTSq&sSgPNQAHLo{CD2^+l#%p90q`>(dNygM-~6_yoZ4}r z-kb;N)7w=Y)hiqIGGCclj=!>Y>@!jmXoE&Y{i}hA-A1|;yx@uwOT)*@`xf?S#xWsD zFtw=Bx^?`nPaTha#&ZXC2>Kq?-jMmSpYP=M@Q?gFfRu_&ERH@%>ntx@@Ss#TicD7H zg%0oh8e;IH+ZiHk3%lsHj@I6cb;69WIU|L4JjLWHw!&j>3bgg-^bRZqR0Rc(Co!?1 zZpFI7PZrt|TFwA}m8Rq5?(FWNMoXo3hx=cAHro9gLGoCO)@3*E zMAq`gK9#wW!u#1oUOzD8m>Ji0bX@;{LduKlP!mZI51dKM%!K_1nD2*8NQ*noik&(4*r5#0VZC`-i z+@&XOlxzg_zEuFuZ!hMEeC&(Q&~*}?}(eer6}R&sc$dk zUv_o{p29Q~+(UY87TG#MqP)y=tvDoooLvE9%@% z32M-KYARy0)9(&F{Sk~dh~^d344KHXANDuc#yG&V8C`nStZ8qdA2&KD?$XOQHA&`F z?EdO|@YM;uur9^6Ke6J*LY0}Gj?r^HJ;$w!pP4+FylK8-Y-ei=Q*|rV=zjEit?3GD zCBZI!A4biDv4h86u}7O3Kx2D)scIC$p(Z-i7PhAU2n+kBYcvzmlw zcFiHQ;X>1r9nJ%j%c15R!|8f!XAsQr+GSQeSOe-~ZBz+GGhPoQOE*pZz6U%kvK#-z zaLvD7I8xP-9Q@Zos?1WJeEt1mD69GyatphGz4u zwg8l7N6;3UCYy6z_`=`kZd@nAo!lzz&N`>#)9l2q+x&Ay!&U_muv+J%;9YBm+}sUm zuUP$sdh1D{;V@k4+vYSE);sL5fbh;przXUl`5b( z-&BQGk;{A(1%$`qs%kH2>?y# z218GHbQH=hKsrG9OiaT&x#bk*3}6Rrevq5!KKTxxCs}Wpj#MH+9hh754Q(R0@rxaP z87@3?M&J}6ha7spD0L;1x3}$dWow_pHoE6hS+yEft<7_=SO6NzEX9njxkW>Xz=p2& zT_t!`um~D`3c_Ei++LD-fh zj=a)`Aw1w2@E6Sej7$Ka6dG(W(`T#K8@m5GGRON@Rn^~4#05iW$dCGUQEbi-aE~~t z?ViYN2VEgtF*EF3R=y?NeO(uOhiqzX1ru_<Gv3 zZCTM3GRX2D4N5Y|#2}iR^4BiQMsD{ku$}XG0Y#Dd$UCs#3!?X(aJuV1y5@v%8K6tPG@}Adana}OpA zLmrLZ;8b9Rb+?52VT=wgv9g}(COfQA0qv7OnOp50@`9a))D~19VpLnw@`b5i3mbAa z4EzWEH0Pa0;OH-Q~OV>J@CLU|2{GO7+mFpAMWRq<6 zOu;trL1oo>ay@)-+X4`36PF78&jN1_?TZT|>@_B3B_z4~#1Y z!%DE{do>kN)^%Tp)(G@Yu4gRY!lWd7h|G$Lcc{22FM!oulq>S?fz}|Pw*xS&rlUdt z4L+D|Zf=dU?e6PBKDaqrU55|mp&W-jfO`EAi5U1qJcY|v99f8K8HlOOJ!_h?$yUz0 z+1Zl-)0f)df#uq!d79A;_*}DJ?~KZm^XkTOX zRF!4j%!a_xA_`YItQvElvEqqEp=K&$%#ll!Qd)aUAOQyI%MpJgkZYXhZ}*l%NeGrR zU&_y#i4L0W%p@R&+vnxq@zb`$-3{2+J@cx!$ z0^GvTwg0m;JUom6UzOrw@y~oK#b9{xao$TZxX`FOUC^2B*w6hw&tKlfXV{}aZr@l+ zp;&=gm= zt5*P8czr;vR@xWo+;(+fV(V`C5A|%AVheLpex#(7P>_-X69VTV3OUmWY5MoCG&L~* zT!|f#zBdGc6`UnQQKcI%X#;T+{J?)buMoE@lp2yRg((YTV>Z$Lxx& z9e%@08gy$8EV>U+_TjPi%V>&tl))j7Iq|h^eh~#x_zGxbdcx zG*Phoo*}w(>nD&W$ODD;Op+xs($bL7bk}R+S*zJ-e{_(!0`^UjmW}B^f{Sf+TmYE7jAB)oZg*EWbcA0bWzLg&2@FZmF+9M1IQahYp~?i zfX|eWkkf7C+~28J05&lhNlC9q&yxW>5BDcDi@CuQcTG+FtEGDi;h&CV`q={n+-IgXtJ^*w9m+M?rT7;MLs;oxp|ySPDSys7oihdVHmBd;&1n<2sbzbxyY% z7~2pgmY6rb8+2;1*uL?@hMqhpj6@(U3&E32%oVx@emOD*KQ<<2%Ak1MBRnWRg_Lv4 z-ycR^ZC$(wFuni)Jdbm}B>ynjob7}{J~Pwrm)`~NT9uLCFSJHL_lDBx3WrSMo#tbc ztN!(uQ)FA4+SU_r!5GSD7z4Y%U+)Sj1glb)?0LKoL4}2X#*=E`zx8!q zNLGj22;17=<>7PW=GmWk;3%@efIN&Cm{>clX&lkQNfI)@wGWNEJ%Gcg#`AESp2S7wBYd9ZnPdx0!)2IX*MX}rfH z5QkvC7yZ&xN{s_z>OlxP7br;7WKylSl#JgX&*OcJnw}1ak1Z;$I;R^VAKPbq$Ji7! zSSdQN6QUrB8)X<8GP4Ke!*w_p@NhS}(adw)gFC)-xKA~I8`uB(8t>JyEy};Y#=8gh zrvK?nJiM^KyV}3L=l<+(xA9-!czpYBh4im)BwoVtq5sq4#i!$7{O|94|J#rI_c#8J zIt{khStOaXs=R_rIj7f1Rtu;5IA@ z;<9qiB+pdNo={zth)kr zc2tNu9};m&SIPdwlI63pua!849gbty2b$yXQbl4V96i%WQMc64P>O7LFClK+ z(XdeD(Q>F4>B9KZjU<(h2W(BwrYQ%puX4ob15?O>n?;by;EV{KusiT7iMGLJK3JT* z!U#Gq??8q=c^lys-r(MP=dZD!8}denpUl{I@xP;|Sbm5w>aI5v!<{bo$gwtDzrj8C zm+blnYHlO1tLMI;{>ZMWj-bSON9goX97A89Ycl-JI`SP!@dxmi5 zHtu=6rb1~?DkBk+MTTpgy&+4zZ_DWWrO3SK-j)l+X}9>>F-YKk4fk;W{5Ryz4iJ3J z`T6HfM78{-uhdo7bT*L!J(}9D(7hJVVmD=?1car|{LP=?k1p{1T@85Jl#vm$=MMke zIG5s%nvT4-BK>=xx8n7y>3jn(Y(Sp=tjN#QXn}Fsay^s?|LpHb&YGtouZ+TSlVmK|IB`M`4T#HC953v!p=5+o^b?$@aJM!aTj})Q*uS=1oS0 zYF`c6zw;w)yuazy@3Sg+#xc@wLcDCN{Yk}yBO}P(f0xgb9KLU%t9F`(a>S^!MO;t* zI5EV%G~R_S?oOWB;VpFfnZDW#^>2O?)}P)u z9+y0b;;%eBKKvn@JWbrwxZg0fiVdY6RQpX=wZ7}+AJ<=c0-cFDn`?DZ(A1)TK9SvH zGweEn^WrteU1I6{&B1G@+{dKJyyW!Ke%=a;cA;;5`A*Kr%J+ae+SRUA&^u)?JFmr; zftHQ=+K9(n^SlnFx4}NoU*>g0r0v)~eUhP;Y3sYdTWHKzs8wXFapZ72_6nQsyl2}= z8Ifth%xuPnK|$gDx(O5qy>zfJSv3FaI4Sj^?4wL+ri_TICV;|N!uctT);9)4y&9S4!V=}XOW3Zl2y{c$~R1=mBO?? zFsuJ4U>4hyAxR$_w0KoN$m&8RwI`bt8~S!$&+VSFI^Kxs4X&l)?7Po-Ic1t3p4M1q z8?brz?%?t`Qhq$y@`_=s*frDeLBTIgEQ;kEO#Ouk%0E5+; z=x4%&QG$1N_u=Y zUxiD^9*l%cv%F4!VY9twPL1D4GZ7Iq!^_4w8&_4z*Q!-$h%fxKXU{EUrHpYPi%`&_ zY?!-;88$tPomXz2y!DFC1Vhj4&)hr8$y5bH6e*5R_>JOTXm3gfgtWPuYMOh>3)>NF_W?7f+a9X!+gVE0bFB*X&*g;!l`nKLm}^Vd-E=#W|Dy;^IxXa>1~ zftVx>u2w{hO%CV$!v31fB86l2MwbWc&QIxZPa=P8%-WaNGvrs-OWv2B8A;|b)bW`y z_gIZmaF+dMDUTA76Zf~U{cwl0s_gzSj!Kp;1=;*#gd}VOd6*i>2 z9#$f+V5fCInf$%hbZKSm+wvPsqSMdQs_q^YHI};hu$0MuQnMb^l3kv7?&Dzr;V`4A zID<^(+tWHjSJ^OLA!>81W=i=EZUyUJnTtQ!yWdp2lCov5`7Pv9g)zfG*c?+-S1^+4 z4tklkBak5Sy5B>o7KT1rM$3C$O3yA&B%`i8Qj*P=^<7z^s+7~4i(%Xz@v~^^RC;KA z37G+Z#bUE3w6&iUyLuenF8p)qHXE;>FYsJZ&puC};X3ps=x7L)udbN9%{#f1H@#I} za05@Z{;?eRd`;TkFJPh3hCKX3>FD2Bynuc_etM0lAR=Y{WGj-Znr3~*N zbhi^`fO_ZWkhOw-ssD^p_%14@U??Zh(xCf}!uo~Ez=i>Y)@Y}MgBQQ&3UX~bL2OP= z_EX3*%LQ&pJ(BmS&uEUKoQz^OyKfyRTwVUS{j76O^V*VwRdUxQq}Kj4l}k%Kn$Tb8 zcC4uIu0rKPsocHt`H78)UGg2|mr=3?0%t4a5U+McaJ zG>xXP2@!X2%{)rJ?{njQGO3pk`46+U<(02oJ~iy$0-j#hMlf5%Wv8zyzw3ZNh)nM7 zH%I>9?KRsjdQSgy?wy=Q=lcN#sX@W}HxBC12R{)96_3WG<4Y7D(2Fvo6t=rwpbT zZhm|(4#CU6;Hmr*)5FJk)~V73&pLP?xj@`+VU`G}$QC&WQYi0ALF;twp8oQSIZP$l zT3(=wTw|5PWA%C3o0@tawOg`Ao_8zw`)Tv5B1JB3^KwktNx#QpY^cqCJHvo^~w<>=l> zQId3qiPBKW&5+IKY4UrI;dyg7XPcLzt;(lA%ZC_$u8;ioKyS{2BWK-k`*D!9e5#$b z(%betL^zKGrAVx4`7M{h^a0b}#eBnbjq#@;9D*{@ml*aARPPwMB3Ny@w=#xq;-da& zWQ_pMQXNkq7(bWj5vM}+PLyJ?F(RCzumwUVX0XTgi{_3me?%rhwfr|C@3*S`H7G6k zGXSPALjZ<0PSr4rNBAJ?V9kebCC72qVK%Lh!;;&0%BkO+nQF< ze$@oEg+X}Hd156hx7dYBXRj{m!#j6HR?1mhjzmpQx7P}h@r0?c2FmU#Wnn67#dX7t zGgX{ylC8tX=hjMY&cN<3qlUV6{qQ07=}ZHN`s;L+KfJ&rNKd3+%myvFg(%=2>;~hD3TpIAhhoKaqb-+<$eR zvf*3|OF(YUrgDLeoa#rSez=i^`t>ik$d(t2Fmas6Jktmaw9%V&W%%hlVmdtp2>6iWBHimTp=abA91AD(9kYMj9f~}QcY)DT zb!6cUO~*4WTj#_+$E5xqTM-{|61QNc_8X>)e_Zs-_lBl_&oK#;RGM_P4H&6(+(9e} zvUSUoqz}tRnl;%GdaMqJ)ce}U7&+g?Za~KRvo+kQL~IPd{S{<-e}{>nG1#(k98HnEQKlTZg9M4IW)eL$`z-3dK#~SA4Y2ZcGx$TrPCj9q(4r?$Dws zuf2cocQI=#qZ$icQFDSJ1Rfo?Q*F|lGV*WRSo=*Y4_>_3zxNsIm5|>$eqlKA_uaUd zYt`>DdE>bVB(5_#N7{tu?47Z-zEFlVSr z+K*2IbL1s9_!rxx7RQ#=`{J|M@0z3MMaN|Evo*R*P*=z1+fCo#Rgr8?KAlmv-n6~| zm%z4=p8eH8<(RHfg?%#P>|x)nwF-@CJy|-o(%|cd771x0Yt1ftKKplrg$}lqrRi?R z%@2)hob}HamLr+I{ef>wxgeQ&-xd)zR@)CH4=U~-+Z?_(59n?-Q5$+;SdUh*2)iK#hPgzQc}cu6`W_=s_^ciA|9@*ao{r+(V>dOUY%dheS~(mQ>%X;T?>!lj!$ACMVZo#2 zOI+|I%LTSIuC|*^`?Tku1g<>Mg&PRd<=|(-gA)cqIi)cVrwPP43Num)gIBLnr{2OJ zx{zVx6V~?PL?+kLQfWR7a^N5WqdJ&b-mmXu7+Tv`tCR9mQhr<=#b&XTXB=KQJ8amq zr3nS%lA65wcu;&ojUNrEHI#L3zb%ZBE7laZ26r;_ps(DmoL1(HPmZ zAttC31^9l{D+e)V#@W99=<{rcmWXK=lrR|*F8PXx9Rj7%(OA(HW1kOxr08qgSDo`T zv0q2CgF+^5eHFLZ-k(jalbRmADrnH%v-$h=%d{4zN_6sp;s0Rot)rrB`$u0C1rzj9 zLXl7(L|W-aKtXBg9;AEd7#Ic<0RfSc7Gdb28-@@NY006xW9XjP7y7)v_c`w$XPv#* zKKtyo&vUPFt&te+`-*R0-%nlW)#q0%nC1O%9vhVw%1qC51sBe^t1x5^Kq4RJOV*r> z7D>a82ZXU};EmtQ@UPoSffp+c2YS~s@TP(7V3wZNXbS79QBp_?y_Rv4oweJg1Y(KYLfftJFi<=k{b4#}P zWM}7UVkyZ)7W;lMq-$O8IfAWv1qw~pJnby4J&2nA{6c*BR+HeXt>ImhBpCt&?aAXf ziv2#M=66L|d8gIk(Jo+$>;%SD@%56nYP2iu*gQ!ldZgA^^>U5AASfjB#uNC{nY~pM zO7oU}jzi23+HX26ohEr?XDE5UJ42yI+=HIS6?XSr;VlIU_6s^>18)QSjJ(gJ7f2U4 zIeR|;^Z6C$S1!Uv5Hr^MKpSOaqRH2LR<#aq4KC1rkW0w^;s505W8|igc{S@dQrV3< z`cJAef0*;8E&HIOi(1vimf>MhW_?BugtS& z>7Z6CZntH*kL?_!;2r)buE}&7-%WV_R0?Pij?otqx5tl*#P)?V6D8III^;KM^eu>M zw`WrLuU@wUSlP!><7E%Z)kjDIdXKo2_N!G9@ilyp1sVQ$E{*)oJfTBpl*ppK-b)Vk z`jP4Mgq9grrn~Rp;_7=SEEKADgD&g+pTs}UeLLmRCR&HwEd_2?{!_- zVc>bVbwTGUvPSy*%r~FDXMrV85R%1|DyyxpczlVnGeucdY&q?mg8LA2{X7*Z zdwkP=%CK%KrP%Bq919KG=e#~F9;P&$`9ZS0GJ)ZMpXJ*$Jsvok3BT9DZ@s$p#;)~C1GUMlp;YbOT3 zo!>Q@1mO{8Y(9wzUd$@X1f|_|F_Z5?NLKnpjop0fRBxk=XN$Wo3~RPIjOhDf#T)V_ z^t@bi&j&y!R7J;{NgfRz)%RXo?wqTBIsXSOm3xco_Qhyr+^&ie4tq4*k+PdD7rV@U zBIueP{d%~n7v}JJA{J#H+8!y`;i@f{+^_4DaIYhx#x;NE6CBWS7M^lKVc716h@K zQ*zhxvimB#b3^O*DvwU$R6;u;bJcvGa?EYcbELi&4qv09yu>-`MDnv__#4^tlD8vJ z+r-OMJv7`2xR|+~U$^_@*IcysRJimzCc8B`cG0vX3HIn{*(F$Uj5ekhWUj)i$OyAv zm)q&`AVV3~d(0+`T*-C5xogs3`Aw>0DEg1x&P@>q`Q+f5P-LyR0nG7hzS~#FRNqfs zimXVD&K@xGUNFk5^IcF$f%5GbxQozW8F3Ii(<0>bNn_S1x&>=jV_^l!vg$(*mD13A zVkn8CTA#L~;X_`5`c}1J9cu|82b@UV*P`rF$BB3k&Ews-lVG95$&HX^SA|j`R=VrS zE4|(5RxwqbHrU&$Q#)&CNsOJc&G_i>*^n2bzk~|aNSj|Psf6y>KEecb%9Z>) z9_uXBMJN?fCb8-IQo83s4i!E1z;ym(z6-dde(9s-U&UjNdd25Pnp+KhkNmk3t4$6v zhnHH-JNl6WQ!s6sbV5tuccpAg_%2jT7iZDzuBBpY+04MQLUyzZEO;PtU8u)u^dAOtHxw2pr(ep zLJC4^T?&K;oxYZrj=~(JYIZcTXB76!C(*uQUkj0ub8%RLm06obqnBm0{+RYyFJb#^Nt~Rec-43T ze1n^kYuxf%qTcaq?@d)`m8ZKe4*NvXr)b*37Os)WRGxI#ZfistY8`BvJpU z_5r9(bIpuECdHvi2Lfc>*8>>1{Kop7N^*`_--K$8a9=Sh;c!-35pGyZDk+j|Rz4Mf zUV`wrERI9sT9Sln?mpyogqnQH+}_Oi*z;^LRJKfBdc{cpa|(NGf$Y&+&E3ndQ89=R zK5Dn%;;I>g#jo;3>33_&dkAlq+T*C>4C(h_>Yw`cL$Rbe%`D*l92jhJ@0W(`d7^fN>7!%H zJPZa&jl;_KA5SG-14xHX>5P~jmc&JjN8LRU>NLzbR^-mBxv?5*ZnmndA!eB(hr=PN zV1(F!Jxxu{U}bem%XmS#%6W=`qD>0{G1KP4Wa&y+>f!5|Fk;rYBIoz!!?LY?MPXCYt5cw5(qca!J}JYj-B!?r4K0UA+2SXmB5AVY&V;@rtTLOLJX9#% zC?4&pqG%qf$gyYnjh=i&1x>IrEmN6bkLI6nR6c&xB}%>dqse;z7I*2IyZcNlAi}~j z$R^+~cC({Z+Hu>3{f6+PF?#Wdv#(Kt9)j2T6_yfccHCpZPOs}J9h`6l%bmJCxJw9# zi?RMqRzX+z`L(;pWWx>>Ud4oL`shDY<_o9hy%YO=nOA#{6=u*%>!*yR@MGak#L{g1 zG12F+esh{Llrk}`*5{Pn4JcwA`>KAv%L83yCcgxy%kEm~g2N;PwPNGplXsg2$Sc{4 zxEUR4vhRjeY^z#tayO>$mr>4DTcmDsS3Z4J7$K2gFgy@%AIITSwj$oJ)uXt?OTT{v zr{AA5>trkOJeiEk7iA~5?7r)S`hH@zPPRg zm|5Y*<7Q>OpouV;dvo%hWs_3&3UPb7g&(OthEKZb;A^vOhMY0%>RN@YdP^xK$+=OO z`>q#d5wSSE!`aZOcl84h1Cb$N+bwmxV|2R9VX55C*3>+sME39@Q|S%PGQw72K>ZNo zUY+MuVy?e{?^n|Rtth>uVKJ{|^nin&Ap(3@FWxE|0uo_<%z2W&=g3L?cn7xSVhxq0 zg=6x>bw|gWR%30W1&6sH_?d!fjdhvi8kgchdFy%RZ(tj;tPIKRM^2PF4B%1Mdr)*X zP+ieo@+z_#Sb2H2mQ}k@)?Cv-WLs=)Rn0&JTw8vrh+IAagF2;Sr^kvPF0F@3rh7d% zAGgWO)Pgk(v|{y$Z{_SIyua)m)7kJsg{wx7w#=`A&JPE>;mwQ~F6d}wvOB(2R(^?2 zg&Iw^-G3&}lGM>);=xR(Q*E4H<;PK|~6XJw(0 zH51-iH5+=YW0j_py>Tp-<3buw*DJs5v8U`33tcAtSptDz*vb59eB02#n(!^_XdRWL zr)4K;?d?;zQ6SOs(?jDT`3)1HI-43f?Z!fvM0!$=lCH%f%pGd7W zZWEhJu9>z|z|vY4KT!k2psak>)0-y>;FB{d5hH{>Ff86&Iq1#N%%z?c&y@Ar2Cy0* zK+b@k4*3~qA0_-;*Xq|L+cJ&H^ZE1U1Y`LnNAW5|wPVwUdUQ4yt(}q3;OacBn*93c zL(jQF;dkr_>JDgxDQIS>j*fKKx)`cm6eeA1mEkqevR`*V*qnxn>zyAx3q(p7Z0{@M zW%%q+cx`!>{~?T}C?yuXIn}yPjo&D7z%3TdSR@zPHrZjPXh-8T4 z5Yy_Qz!Y61)2Abkqhs$#f(&_XelW)kg!x|1XQ1V-Uh8g^<4Uxvf-7aZjifEx$7PYH z6>?sCi&r0d`?@2D9TmwU%r5jGa;y>!z4zRA$#_Y|yA3Lyhpw&lDL<@GxTh{Z)3G`g zVE5#qp^kOp>T1@oB6Ltscv#Zw=eoFrXUEf-2g+FS71sB3TKSc)Q> zirv3d_~!3^(hQ!X@6eTBV)vI%VqBS`Uk4)BP?VhT#q{0o(}LalpsaPcmfOnXspNof zi8e2KRky*0`F_Keu*(v(Lhem8KM7()-9H6{!^ip2bT(>ZCB$?)iESnJXqJ$BItRv% z-{y=Y;^PAp-p!AnK}H~hBj>-TU(9ybD$=q`o~bC?SI6MLm$t4&D@TZ6f4Z^X#GpK5jn=vn?<3|^m+*8W$De#R zhe(kNp%KKn;R+8@@v2dgDjXlXV@?=;>$MENgl1T@l+uW|$H%w%X}xvB+X2nC#I)mz zxy^cS<(=MpUrK)MCqr%JoJ7NJb5?r>8wZIN>lbm}D%ZygQ42lTQuG|1mH=UCS@=#9 z&~rAr+gau=KD%H%iIpxJGW2dtU?41We2;`dZ&D#8t?T-dXuE+YH31e!zOFMLJDszE zmB5Nj30?&zG=4YvATP*gtz}xlR}9yvA!%rH))+<@PFlU;xrCQ7#KsL;e2wv4D5%Fc zWOBqD*$iWnI0)ZM57;^mr)UN%QCsE1G8r{b;NiX&m_XS)hUCFCU`FDSoP*XygfJQSQr5)8ebhlU<>TB;T-tZcS?1LL?;FHS0sR6-z%!FiT<;IVne zFC`M_p=Nn7tHqS#)-j*4wf=8FL||9SvOx8QUoQ%RxCx$izWXvg>4$IIO(R! zZ`&*sZ;O?UR=Q>!s&ZqL)a4-}I!D9dO>tWMMqXNYWcJOwYq}WqWz-Jp?#W)San5k% zE8adu64a`}J|>}63D0o_n-7v8=+?XZeXGLgtPN`C^-L4xI_HE_M)4W>6!nqkoYhXY zbER{^`vyAR^;_XJ!%70Z>3h+V`QFBu9-FXr;pgRhHB&Swn^7^5-N61}a~4T_H(FUnsM(N`T zJ?ytsLGP^|6{$%0<%7+B)sH677;*)a_HGh9aEgyk)dBVtIa7L(_GL^mA$kV5DBzi); zaI#q%LCcYvq&u!7_){c(6ufS73bMov)##O$MXklP)*x~QdkI%ab`px(P)d>WY4Y3O zy+=>d>Ww%Cgf-|X7`#Xc=PM36Z_-$$clzz zefcq+2<+e2qmRFibN~7e)6-ww>VCby^5@B2|Gv)sKl%8f#YL;}W?=S;=@eNg$y;|N zihD6W)eb>#9K@G#*Ls`Phn^@4<75B=<3hTE{tnfYXGr|KjLH9fUtfB55TN_nQ%$4dVaHbM(*0|9`hX{u%p!#{QQ``R|sj|EwIaa?DdwQoI;Jk=V8|I1k8* z1c!%b;Y=q3Di#b{M~;nH-7EPY ze*cfm17}+QdwtP=gwp?}LdlQVHV$u=d%l3Um9(~mwu4DuNdEJwXzCj-CMLBr>>kSr z>4~s~ldeF!3x}fXJ04M@yLOf|$P1@W-_e9!d=vHPCTr@))-=onV}sJW4y*<5kQr%p zA|)fGrMqSA@mPyl(Q5Sq2*v%nzFhgwQ{(Ud5|2#E*{XY+{U--|%>u-M--TWm3 zKpau}KM$|p{`cXme{SQ^Kcn$qONE5wpV9c+VEpep8Xwu1nCgaH{(i3{ezt%7XLEzw zsDoP29nG?9mW)}8$&@I1@pz(Qkl5Ko@Zj151u(>fApE+)Dq_KeC`$9+|1Hpl@BeZK z|0fA6KY~cyziI*gk)Qvb=6|%wzsKSq-TLpW&dI3wN$XjvkO=02-rn`E$%EQZC=_T4 zZSUaVK6!A03psc0N;GK8SmrRcTvz{JUdqXDp4M?pOP2A6d3go2f!6dPN)Rs??0Zww zvuw-Gc&Ew9lb`w5kqAP9otIsdyY^B2xN3Gk*=wo#TY7pY?X0eg z{p{~|n|&WA{h|K*q%lfaUqi#dKn*tC*wUJng{44ZmiUIV$Aj$1=P$v~dMQ@{@;Odl zFQOeH@m^fTCM+p0Pp`L^*4ETCrA5PZ&FEKe%Er09y}ftu$VO6HJS_BWZ2{h9ZS67{ zIy*aiZE1HFQ?%_{nl#PmkoSrBcy+V|!xTjALRnI$XsWJqyOpUD6WSOsD?|i7Qmyj3-^q(h9$OT^BqC)5EAE+nS zSu!+QEqeO;Tn`JM4VnIX>U3mCE-GK4qsxvw>u`(Vqr9SGM3i?*wHD=#OYi&q?zc)p0Eg8#PGTeFc)l}n z33OI>*H(Ag9zcyq66}Ub*Q!<-H}D?gpLxC0a8aUIy-L%C{ee>AB)-g|<1-gm?FlZX zhG0=P&n=Sg;cfP~92XViLVZg(b{Hj9Ggd5cPei`Hs107?(4fNLJ35S}9IxGJqDiER z=BB1%zRYOrU0hqUF-j^~sckS`v2y&xgR2CMkEKd#YNE(5kaBTRaC+9#6!gS<4@)#@ zT8@u57$J>4+>j(DdbJfhh(F#M-R35&pgbbPOZP|N3-o#T8EDV)Jg5FTzFS5)A>8i0|d4?$v(9R9;?=o8FY8#154@671m;Ra}d1l?w!1 z6|}~vWH#h%La+8TnTti2LBZ+_qUPvR)8*A-&naADNAbnyVOJ9xuCQMFzPlW5l;SF4 z|JZZzGvkM&e(ofpLc~I#Iivp@+5~Y{13J*y4WL2Q?tM6Jb3uqj!Y0=QA=`U<&V7@h zC0Rki!*CX4_0IHmdM^cjmm49lxI0GwC(j+9Uhq-qgX*S}W8lfRZ`XR_y4OAIqNJ0? zc)ZkF_eTUJcV}mQJ;k3amk%cvh`6;hxAU7$7ruk~iodR(Dp%^HA=_J97tWs#)9UT* zr5CNy_2Tpoow#;aZnW4MpY`(mrlG@)KTLeq*AVy}7RsHL>ea7W+0pQ$`fHNjI_7dK z+1~3$g)i2e%?+=fl>&=3DkvzZuzA?jq}B7HAn4}NP@Ea=4xQkGFPmAaoWalr%NBWd zYw!*)BspBfUC1UooloP^2p}073@cUsNO>FG$qStFrlU5OG+G3xD-wSxH7?+lB z4^rlj5V9Agclf;yvjO|KyguWxei>(gB2obHzMgf)pVz5pDR-S+~vy;gRCiT z#FyiWDAPMCJIt1k?3MC*(R-mZXfe^7hX8oBHjEY&pD}P(R#r7OmXvm|ArNTS!KbfZ0bRpEEOq;LZ#z&*$ocSLcSD2Bl{4Wju1h`4=C5fly?gWKOt9?T zbJ73?n6dy0KPLfB>u0(KTcntu+tjzW@5r{Fs;YQ;d(#EeATezb6YU@VO4i; z?_JQ-+Qv}Nx7 zJl1Z@?IV?u;?98{s4(IW zU%vM5aL~x^2Sm5B34sNS3f>^ltLgi9+;)F7!$C_|<*jW3F;S=y-`zOL>r{qRzBhS?TwX?nE* zp=W4lC?sz3G8^cwDJ(3^#Ka^hCs! z9Mx(QS;s!{xo#Y63hqxSa#rnQnYYxqLM1laK$q7+4q$kFi!E7MuUwZpv|KsHRut*0 zL?k5K{)#^KmUx$37A9EpUV5kqR^9rmmyO_qt&Q83L)7NgRo$YNp zahR)_St>o{vM6W)I^A}jg2H{zfP@4id0J;tealY+EEiv2!Ae!PXGk^XKmUB14UAqu z$fCGa%K~)Y_Ri|lL~(qTxDZO$Q&u?O(GD>SYmYd9~Lh)xW(7qLDivpJMO)M1nBb7oE!Y;~bF3L?AR zaEx_c{t%y%n~TlrcM$kc^>A+1$P;|i!QMX7K^K_O0mBT7#iBP;G5$eMo0Ch#}x?KwG-&SsZR^cEJmC?`qWMFDKGyKqwZ zV2FL8i?d3ih^gre=!Dv$y>^4~x2Ra8?D+z z3!${wQ6geY%5>Sp<#m9Cpw!{3W48abQE-O z;8~&v8uS7U>+Vi7;i{XWl|3^v(=_MnHizT42i=@OCum8h>Bgho6_q3jl<^r4kA0^Z zkz8%idbq15R&2&x26PVInrqu%8}XR^5k|!hTKem(fj>~^)-`ZLzOG;vPp+V#08j$- zLgn?w??XbOwCIhDvi-BNvXOI+qCD)3@WRy;m8jjV)K#imKAK7E7rnen%edLNd{@@? zn-Gzp={~3TnxV6Y3#0C&X>z&D*!}Peq65Ufc5BG<8&! zO74e}zj}2VId{>^P|j`JY~&0XnQH~w2PY=_z4l`?6bHr1XEpvJRe<{H1Xn#4cJ^!} z^2rcWSl9{i@)c8YS=qHZ=Lpb_m0=+E!sW}6TxNzPHlV?M%ycqf>H#bRj0ZGM&ZPwV zPYyJxfAw1Qf;Z?eEb5LM92_*_% z3;kuaVsz91=~ZpS2}c@ zJh#bDKLb?g$f#Dl%>KVTfg``#TEruOwY=)>tSl$*L`6-#_11=X+l_&PiwpbgZSNW-D>4pFX6%<6}J2k(&e3OcbnQOm{eW6MLsa8>032yf2=%_S1 zPgAR|zaNP0lFZDNi;uknl+&-#*yK4JPjXNUp+ypuK_l;Q?LUn!tu8O?>FZ}7P-SYc zft>Ts0;Ia_VfPeB{TEOelbq5D*X$arA*eCcbc&arFfQJqlYIE?rvo}c1)Z6rBQo|4*+KF-sq%gU|sS>73% zO}%X*c(geKHL86PE|a)<#EVNaJ6sN?t>ek_LvHkrD>Zy#^jef^>K(+bd0-4k+BneK zp4~P9b-QAmMvDBn0(}}<9?ulpqWK6~LJ=;4va2>4lwBtE)#7uWGRM10V-*-|;vc-%TYzlm_|;fHHV_ zcz_s4Q%+!W01yG2k(nK{eVDg55VVE{MxZzy{2=(fcb9HVW3gNV!xC!DeD^;N22bnY#?*Jfr8WK4- zH#a2wUN!~T&ENtt#|N~Rrs)j969AHotn9n${kJy+1@KivW#oL9Mld)IM_`@aN#S@7$5bd2={>5~Yf^^Z*+pguZqGbk`>k5P4|)yzO+B zR3344W}kSFz95OmwcT4m_(30upp>t?S>In}=R{w>e*ONrZ(q-D1MFlT#o>D~*v`|< zhTOsHYU5{}CkU@iNEBA3pOUnFt*i56@!iWWhTZ0_&8hyD$?N|}u>$NI+sEnNUwl*Ck|UJPm%rA7=nbvK@kvk)Z9~9PH`;l zD1n)wyx2aNQd$aNS3ne9cm-mLaj~&B_H93YJl*`}`|z5vJugbjdj(Yn2DAmLk*NV_ zAA%D;E(Qjp?=I8XEs%gka+;L%tW>$rp|h&$&v;>%#xL)FfG|#PFIa$EU~2$M%mCT* zOpR$K>ZM&6-8Dxcz>PEIF-hxC7M}o(BH#G?t0ahM%J02zdUNOQ-Me@0l-dpTG}8d+ z>bo1f7OuWerYQkcPefcCf4p8>2JdVGn|HX_8cf^P)oL^vm{PZ>sR35Q!j#ws_R_Me z$P$o$9pF}GOCA*K*{lA#?Ce%OCg7GR?7Nao(1Jh6V<;)>xgtu7I7u!^D`59|s9+hG zl2|O*$%#oxwIG7drQic#Q@TYKz&ve(_O0y7rgU5JQQQ)81kjHG_aNDns}NrhVFlc( zRGyb$U;qpUY^*Ur+HAb(2BZ%Uk23(HQa8Atcq2l+14)D0hHP1)!YfW;r&q zMIcG-hl|tF?u|^PKQ#S*2|yB7Wr28~oi*E}GOToM`QCsuO)DsPp5Du;SNzmRkh-G0 z9Eb#PrKP6>$VKxWCx!d`TGq7QDSt7b6YX*;Hff&yun zQY?Z3${u7E267Rz>6Bop+`1LP^I|l2jN)8%+c6~;4<$-4D(+fM$j;?K-`J zt?YS=W}lHiZd@g7O&ERD8W|ooB4TRkd3b&ccE^TK$|E#j^MJF2z?xiN=jPhiUHO!g zlk+@9*6l`JU_iiCn!=(Y6!L|u$k^&ok&Lu-W4}T)7XaCmmXsVG9K5H}J$?E#V78R` z;$fotw!!qG1I7>DYvzIN3;Y?<)2AExz5|>TFf3NN(Y=OOuU-Xfz6eL1=^zcv_vxk} zQOVSt9J}TadNd!S+?o*}B7l|p^eSHgK^5c=l9H0r(-(l1Z{Ik4OZk%6jbPcOD6qe_ zww!_Hg+ie~VXI}5UB0OSfgl!t-lm&Tj2C(?4=Di~QA=x}ug}xV3*2U7bMwg1aaVyH z6wH*W>c=6o#&Q+#_dh>0bzdL1@5(uPU0~XLkD2*dHqiQjw?X#09=LHS-S6|P0PF~? z;F7TL-X+(vaagw4pW5o`y&%D|w8T1J33luPc={I&WFu7=kQ!=hTLF+|U}gfa2LMO) z_HNf4W3#ieL|o<-t*opxG$KCNe)#aAc$4q|Fl%1DdWFN`K>X|BX@2XTKR1KRDl7G} z^aY$}pVFPmahmzg%mT3%Py^1kk&zJuvc9%PfBiZjR)FA^ec4zk_yNGYixWKv1Rnv^ z3s}cMS;ofR1eiTPKav76O%oFnu&rK_lIMsIw6)oSJ*1{p0@fawkIc*#@Q5GufNTi3 z#xl^~KQ}*Y(>F7yeP$3el7uDva4>voi)!95tvFWnEU@|e&>VD{G~ z`^Lw)eAxm+gZOX04hlMS@qP=et^+4iBiJT)_w%rx;KQ?TA-OvJD5v@ML}AN4MekBE zXFfL&2X(hwyme1qj-)N;ZZf{qe&XW1%O78f% zD(LHvuq45|x5MCYAL{m``tM+dR z+w8Kl{N5jrW`U`B_3CY|{n_{+SBDHRYF(X<3a4_w;Hs#ogttgvBL!|*WPD3&YoS0N zKy5YR}O09t07&Vr2rOoru!lS|M8I~vKZ?JoQfKungGD?Qf7!&yYRBq=UmP7ra+ z8ceeN_U3$BG&dCZy|_Ujfw^lQ5S34&pIat+r9jxTUb0*;90;U0sP^o(gieT>PSsZ4J-v2c>}O@6ypSxDlr1h3}~S5 zfb$JdQ@PpM*Pxr*+i~E|KQrAD^K^v4U<=xP0|OTB8Ngx)oO=(DG$*R(FaTDiYy|#b zL=7NdomdNe_GlwXlg9UP4wcV1?(@TT7J+T2M`sCknaL5LKXUT(?;dQ-KoGe+^2*BgE8SKC0|U=U-RI_}Io=0732pk>3c@D=pm1h-x-n+toUx{+ zCVaa?@D)?MnAeuSBre%=90%kFKp;^~%wcPe9X8#pfzA^3I@p*p(aJ0-ahs@tr>i7I zVV&LF5`>&gfF)y;mn7|cKK=FQH|4%&NP9z_c>s_DQGWQb~MX#vD% zkawbHlmNi5%?_}wPB2yg4$`ykrlX@HFCPf(H>Ps{o~>J8^0wrCz9}&MPXcIeo12>^ zW;(MQei5$pvd{>Ob51qxl`sG|6-^g4zC3T?(bV{uh%1ouB@Et8S5AWO?h4k9Zv?9! zsqHg1tE2++x$*n=bFUtF?Bzg+d!gbvqRUfL61cRG&)>%J+Hkw9tXv8BJ^12Bsp;j$ z^D|mGM_DW?9-K#0a1WI@o|e_`btJ^a#rvBgWY6Gmys0EHGKG!S&}9}AJ?MpcW?4bA zWn;6_7li z&yH!ZX@bOMH?3W%xx0I3Q5Uh~IB)W1soAFVv7m#M71Lj*M*O%y#PI#Zc|iez`Puu` z)EcYtz?++k+y;Y5MMVYFzsc2{nPyId9biFlrMZK2H$YlhIo*OlAgpgKq99jmF=JpQ z0PO){Fu>UbgB{J1J~}oAa$mDc><`88SbLYU}%wSxjIbb6Ky|`Yv z!c~wj?dn?Gq;2M&@pSGB@H<5rd*F|T(SYIz4z-3CN|{V=)V(AH#tb;JX_D2hN74rD znPD_QBt;X|%1TRtQvh(00MU8j)z3LBC`X9;mZ?^gRbH-hQ~`ub&?%0GY1YBjR{-EE z(R0~AK3Yp#J5KQ)5K#}$_6zT&s%186bCTVd(`DXF-y8Fo7<0oI0z*n9f$QPJ&5fxB zfqQqg&Rsk6Vxco(i%#iYZxp9Kwqk(+ZIq{#O-{+cG2hUBaCrF4d=^-2##)WJ`T34B z--Cl_xTzI%F4I1!TU9EFHu`I6ZxLQMH8q9cUoTHj-|2!`nwbf$TuV;?xIfDd!-JXQ zXbIfU*HTi{!*rDNJd2X+HDMqueh^+O;d+q4J3n|Cq|ijm9E#B$NrVLi2oq-+Z$#P- zNNn$LpOpd;>d*Y9N5gr7_Y=~X&V4J7YkvC6_zDUP><}2Ng4SNIldrf8N3V~ zwDk48F=)zFQRD1K*j*(CGBtx!E3lKiz?M1VP{k(5Z$rG+f*pb-JypNb>z|L&9V+9l zj2m|QOa4P|nIKgVxyw3YGN0#>=n_zFl3ld+5h+Tt^agD(4g_+53wi zr!k<+_H3>SJS)dM3lMl9TGx~eRPbshMZR11TNh@4@rvd${G;mKA+BuyRfA!<;}oDP zMo;hnIS5qvX0Et52jA`IxRf$~8FwJ>$_57?UpW(W7yt}~>1h)$mAY|YI0G+?nJY;W zVRWhL2fv`8rKKe$oq%FHuP&XO2pNc8iDs%jD#Lz#pU7Lutsx!jfKG%m=(T zobKQt8rViXA(31Mc^MfW1wJ}Nu%UJT%sb6Y?|9&c5o92cUVca7W6@kjnOftmWb~}U=0cvv7+m={LbaNUbm&L0Iyw( zo4AvE%)qx2ftkqYU;g~rYGlNf5MiCJX*&>b3Uv3T=B`BhpUTNTqQsV6(VHk*uWO(* zw1$1=d10WExFQ0;f4Lw5$htObEn3R&A;G)y8BQ=$kE$kS29gwb*9BFPmm!i);lJok3}-rQK>l zXBRdj1v4xJ^x^cY679ac^2$p2g$NWsOC}1{@#Du8b$MVYQIqQQFtBrTm$}!ZBRAQlACf0+aHfZx6~;pTlGlGYe^LM{0?x-riN7C66C_>bPo{ zIS@lm?H25Oa0!(lXbeBQsOu}bHoA-FMR;~5hdWcKcSItB1o-%N+$FbGWPo0K2Q97M zPYMkgj;>od;jf8rH!nC0e$$4aMjSc%$I+D@N&O+azo*OZsmPj|uC6soK`$CO;;DTK z6A)qUb!pmb*GvcMLCR7?#082Xe)-&gg(md^U&6BrW@}SAyZE|K-(>baxWFBMVBK6? zct?7^GvQxqtYo+tl7-b9fBZvw;EwrT^&Njk^uTv(D=YBJ)O`3D*SbLhe6+ySKVfFj zWwIryc;eGN>#kENm=%B|UAy1~(48QfNWK1v!p_!PR)onO_hD;$yQ9)4*6D!#^s2|@ zYP#uRsR5q0IE}~S-d)1}Sk}E{tf{4$ARKqw zUf`iQE||Iwwmq?qJ|_5Y=@Sl@6~gZ+Ux|MG`gLI;=YC>s_fx9;MM)5BVq!*yu{FbxOYu%Uu0G~IBx)jm_iWl&*Rs1gdmrU z`8{gqRY5UE&qU`%ufw-AK^zXH9uvOSUFnLn`z@A`9lImU=jFEOix=`LM;9Pa^xd=h zK5!p~gKjjmdN()R0u%bQf}O7ZkgoNxJtsYp0ACMAEUCo|g&lS`CrKV|Ck3>DlB7$u z);i0Z*R&We|0TVQK&sfpAO)DTqZKZJ&0)$D@sfyfR`Vx79fDd1kcx72%=h>A$5k1y z`k600V@~NF91&jy9#X27gJ7)0AQ~=<(xPM#^X$ubzGdw1VyIF@1FvgnxGOANp`G+K zIT`pi7tu%8o#7jSB)lNg5;S{?HN3?vB_jJY+R&&?x3!g>deo_F3NMOA=M{Sqny!WJ zfCjH1dR&3LR})g1I@yCP1P+^W0?+d+Zyrk0Qr)!ZuSw1plj zcjop?Ge{87mF|7EYVKTDNqQD7Z5=AU_0yYpSYA-jJ+$r2lgXADKoS*ReVi2PySFF< z8;gVtru%LV_K^E7uRi-L@rx15BpUnr)|8N`8G^v-*6uDiG|V2iZr{x$*vP#qw#g{9zOMc(xTB4RDGlZux1!Gqfp;xdQK5*UBM z3Ey=Tf*@l+ap6MsKDLR`XD6nJWzLMBxRz#_^?Y1wy_piXfuu>&#%=trK+HOr!c>0x z)T5b=8F#^$IPDJTmi-4N+pu!>%aB`K-&<9Nx=&jV zf#z^G@`D3RS@({SGaCx^&zWG=K4xYHvrMf~Ss^qGIu@^u*6RM)fJV zyb$=Vo0C&O@lm5`s8xv|%z3|kXeW5WZs?#RieA(MB z3AVt>pZ*3C*P*wBzvfu0xVRL#%7RF9+q3}S6&r>$bdO}Gj*T!DIM_IFajqS`3SEuQ9-g3hAJW>{xm0rA zJ-OmAYg(TSJ?=jDB2pe1d3Hk|HgL1BwA8&fYMr{XR_V$cP!ibkOva{iXkTd@k)M{f zcPxHvXLpN^F8m533ztg#11#VoYlt{Cf80OrU8%}d%*J@E9)8D0Us%b>tT+VUJlbYN zu;+p_LkTxu>~8=V-+_(R8-!bpwu;33dexL!N&e47w3VR(gp=;L)$us zl5jT>c=QO}4*keyG@~8^L@QsFz-}Fk3uN~GS2h#&8f0)m9WM%{G{gjw2`1qsV8v96 zRn_FJFmG|a0bc_C_}2bDjST1B4r4@3JP_%XID} zvC*Om0(>Sk(eK}%V|{#|MN-`6vRvMiEsG%FZJxOEf*=w4M{RLeOG`m{uI*3 zAgqonT=13KeWBQ@g&|4tyIeF>RFw3-F42@>N$Y~52^0IXXFq~;YCu4iBC4*TQo-C%e41@bT5H4u3!7w-EGpO>6)ut>bd5}Jl^2+T6lL|a z?L=GWQn~c~x(N`>>2N>dl-J_mTv(<}GGT-t9p?ESmhVU{w6HK3RxGnO5pnM_K&TNn z#U@&3rOUb39C2Fb=C8ocPjpwRwnN{XEWduQ?t zV>>gmVd!5~>OuxU6M#TRd3<7GuIDY*CQS{E*`2(HNUk>~Bag{J$wWn?GK!7u) z`#ym!LEO7Ebv8@g4uqk=oEuW~Ktqids0Ber=>$Qa1af*9lX8Fp{=kTs%lTSzF0~K@s#){hbgDoKs_2gtd4p6TU?(?;1Oa0hzf3hH z3rfP#(&LQzAllWYmMeaP2m%cuoOyGO!Zaez4{rar_O3k|>iqq;-`d(zX}66cMr}oI zlZY5*w2@jd<Ol1q1-bui`-&{5^|l$C59my_i>*YgPHj~_Pb}l zdw%Eqe*b^Z+0S7PpZS<$=JULt%j@-ep7);GHN?t-xlIi5UAjll(w@cJfATDxux{W`c>)+XliC{HLsH@mYztj)pu;_6r#Ko5zYC3K# zmUfr40HsiPe0`-uu63dJ$P~~&PdQhk1VL=3KhVFx!rvhW_XpNBQYyT$gY%AO>okFq z0fB3=6E=UX4k7pMWXN%)*k}Z!19PipV}NdPX_n8^Ka=5qwYkRw#9m`>9TpM-tkS(k zN!6pno4zK0Y--xA7xqT(hdq1tfO<@4sX;PALQE{-pn}5ABOZ_CesFMb=q!)|vCc*@ zvF+>j0GbEX33X;uo(&N2ujjs4)oXhaR0=7!0YbBfpKMDECsZ*x_wy~vU6YvYa!R|sgl#jaOhaYAwFA#B?NxzbNq6PS@D%>GNM^|3xMvC4($KmKXypJ3$kkxS%No zFsZDw$Z2TEF}n7mdtkp%6>SiQvq*Of_}LC9FZ9ddG*s%LoL!S840Pq zxykf^^E0#TV9W#iHM8wVS^xHr`q&CS7vENJj6$4z7&RGcaiZ4JaJwY(nUB*D7#0|g zF?np4Z9FNiGHUbAZF(!24xmq1&M>8qc6~4N?^NiDZJS3?8-Ehiou^Ko+=leYqfnsw z^Xpx=0~lmg0B7ko5E<8f|9v;61b_=Q!pn1HaMR;sWA4T8KD|6%voGrD!gvzyN*~~G zAgF4h(z$}KJ<4X0?Gd5*lgu{mdKLfveeyqw&{@%C4% z6)YauE)WU)qH1&B?GC^->6bgxPd#e#h`o8^#%W;n!{jG-)5oKL#7cKHcdES)WR4o6 z>XOFY9a&*a=R#vZ0^58K0|j2#H!(GZj#vuFcgNb;Bo_5CD0V-3Ygkl84jCF5HHsWL z>F06{=jL!GCMH{v;6mI!tGAgZo0>}P%|r7>`eCDU1%Mko8Q7f|?$;>U2j_5kc8vDk zUdio6Q;jS#VSYlshE@N_OrjUfBL_+=duw}qn<<~JIBsn#=;&&0-g>(q)<5?eqEAT` z3oxy4L&LK8vzz4C-6f)d7ax=iW6clT#|xr~!9-e2z~Hx6vrd%o0X*=IG~T^dlOP!B7aiF5K_QPRs>a(v_PI$Znz3KIOfp6mgcHYaM) zfjK{PXr=`<-PF*K^ZGTA?(hCM%svi7S!1@C8Lter^2&GhkZSrmEG>+=;>&Y$y#z~n zmGu@?{ryB?_`H%et1LCcIQ|)%`TqU;=0ue@?NIFZ0S^+p-?-hQ=p32KinEE0ja9XM z3wwfpo0yRP@yC~~ms*nbP(WbFR!-%~puriNsX45!zN!TDPWSco1$uS={{7%lp_|K2n3kD2yvp;dwX^_K@&%!U96wKm9luU)$aj6Hx$y{}VK zf8C_XNlroqwH z$F>)TgdWR3F0JUU@eK5g?j5T=I`!q#LrTk;+<$9lIPv zYgvK~HQY#Bv;i}7W>_t4K_t++U%0{o7RiJGt!+a+JIt;a{IqlD3~K}tBYWi6w=8gx z3QGRpqK36Zg5+=x^aBJB40LUJ@>`K(cO9aFH|#?Yd^5+QY2n>Q@+5XVk8~X2>FpiL z6Ohs^LB}2%)^W?lKJP)Co^Ed?Kdj@%tW$Hbn$&fSXpss%C+RlD>@SwqVXqqBfo})1 z&wZogxcEEe9D&J?_5|&1Vkc$m%=BX27s*Ckw|eNGRd{~-1QU6o^o+edFbc}_vV2yD$A+!DLxA`q?NUFWqhsAbfd~Y2R9f&b^O)P6 z0LqE9d|!$aw8^#5_p|nVkZ~EZ(~g>CLczYuYweOuYkm6ou?9F(z_LdJ-hxKlYI6M- zX{dA4WpA&)?f@z+!2A<2MBy9v&mdUI?3w^&6tbsJ?Enge=g+ZFL6awqjmximeGfzh z7sLXWy9)q(Dx;D_*VXCevKbl0S0RUhhK_>=5ANA>ESa_h zG2UxK-*3jop#4xRIG>@_QFU{f!4R-rQBlwsd|q(c_J^ zA(x-AW%L#4QA>-9`ljGJPnLAf)3dx7v`M)|vL*WWa(imn56yqRwyjl8Z?Awao~chXeTQ3YME}r%zA#fP;EOibbdJg-rD)35kUDuxZQ5*zIKocfz%5=iLBEJ zvHS=#$XxC0n2o1yb+~=lShMN8bN6U#8WtnqWF-^|Sc6G??Q zW&Gst!LnSr$*FSh%AsPLt*GH-{B-3q9y2<>LYc}bXD0?n2r`M-ekeN2S<+gz_~zIx zF49URmH;}&Hz}Z(Uk4|vkI;j9mc9zapZJ7j&>!)P6rWfN8|BfWZu;g?yI)S+FC9(o zO1pa`f{l5~egC#g917S(e9QBq3F8e5zJ;F0yK9XQ%hR3|t5{lS?XJ(sLQX+H#jdc( zj}i0i*~Xzd`g1G4)^g<0z~0g(+rimes7e8K(yq2PzM(4*NxdknSZEd-rlW|$(1}i; zQPD1R7`uZ=?1)+>u4q*T@~&iyh+1vZD1nxYN z8B+aJjX#!%sGM@*_2P;2XcTF@wT|H1Y$V}Ea4|{Laj7Y&>x_@{%6;8))?A&Iot>V( z7|EYEMe{k|KX_Enr4ZP|1iKC`Z<^QF{gN&OMI>$X{gF!I@Xex(CyX2^DQR%phYOu+ z`SbJ%etf+N<#Ol?qtk!HtGe2H`IP5&4_qJ6%bXSS4EE;3@Lq@@%C-Y9(u4P$Mn>+q zSEGYMZFr;Q2zBCitgaf&_zn23)bywb9a`HqA0g>=YFS1_f=M)Bg08-v{EK zrNto+0v4hH@>oiaFPk)S^E=Ci4ig2GY1+`BJ91H$?C2ul;NeNv8ib~@O<0v!uP zQs}JYxv@zAXc_GF1=9xIBXy+q4754`g9&Oys&b2lt_;WkSPf4`lJQdvCbxJ&mbeQt zF?beeRg|k(m?aJeO6BGxlvbg>lQn=8`CiRVYxop-i^oZgj_ z3B6w&{hSfubt`+={|;ng11ad)v3{XzsH;!;!kpqXb%la2>!Kuw%yChbpHt=mN|}3X zUdtt%h86aZVJb4LM0AHwFY}U6yywZ1x@jRx_Xo#(0#=sV3KD&&)D-z?Qbr?gvqsf3 zL5$V+#IScJ$`W`7_FFq~q6yq7s7veb4=yx+FKNHi>nhwR?=ntIqpIy=EBAw1T0Fgb zs-g5$^tmOZ3z-J{RBLjs)gr;7-^IUeJ-dqy!melYa=W?wBze%|wX^W1oYQ^`V z17d;G{hKD1 z4~3JFB|iN$N;rEM8$N!EFl9j44AeZymiG!Zwd73{)^V$jW6B0|$h>L#@YDkvr4lcu znc9o;3x2cZ>OLiJiiIyzE444uZGV9G@ZOH3C&AU!s$7n3loi#?p-H{gW$Xw<>9`hF z7^I-;#8R(h(5MIe=i3a$`Z+C5`GHF_`Lh}Eq?L!tcwZ-j_-fB7;=tEriV?pl3(ZWC zZ2llEMJXMBCfUgmbXC;WW|HH=7jRfz?HA;*;b1yppxStReA&)?sU{kUd^;&X1+_1P z?pw7mXWL=-B*-KNiu4Z~Pwv(U0BlKzEO}HJR<7K`lammrKw1D29GNq+1}O!HnSexu z=+fXMD4j0hipD^n0r)9}LaG}|SW>h(JkbHSmB6eCo|YaP9lc#Q1jz+FzALB5>I5hx zoCcQf!_e$$e((j*|AU(;4`Ks#>h9rjx7boAWai@DhasE}9M}{fOB*cgT{e^Hx3%=X zljzm}p_H#4_gLf794?{DA)ScxW)!QGk03liS|{Q@5tU9xAeLsaL}vQ}(MWH&!#1#= zIua$RvXY3tVE&?}@jcQs;}t71zVT#Hi{&Y6g`e>N^t zwqa8AQBKE5YdqOKZ9>fGSlPMGUXX>$>V@eef)zAM-dqrMBkjr-dmw5|p$Fgjg8aH) zrc%%{tz5AXA>D8*X9F}I@R%ZfIr*;>fqr#ulYS1%*(E~MUO z=a5B#q|x8Avu6-_cD*SmO%2V6(FRiQ3?G>r>d<$V*gy5+95>MveJ>`_^z4X| zAP8igzmRl)l1QaJgtjiXe^G49gY-D<=GS!{Zp;JH8d~={0SHB9MMYgsyRV8$ZgjLs zAg5fZ*tN`BdT$zYE)L)rlV=*fgEuz93f;0LdP{V4Vu{7(OU;E^-8_++I%KW~%}tR9 zlhIy1?FM_#T2iTDcoR3b5q-Lo(4lt6&p%71Xv0NIOMT_zqNwN6`@e#9xkj7 zR+eDUBJe>IqNvJ z`Rw7ixR*Ar_p_k~7Z%ahK0Z081ZU}kcssv(pY^YHkZ}|{YS;sLcOM_(%)1SR0fzdQ z+tN?XkI<)CS7DuUc2phOSGCu(<>=7;N2WRl{naO~wKpZGtNR2826lAjU{@UiOj6nY zD+qL<$OH{k8g1K}m|w3Nb~*7PFEJG zqM|pM1a26j2Y3zk)Ktvq+cl%t*W8=@NT;XhhWZV=LP!dtV?gc=Qspgu{68tW)DGzA z=nGU`b5s+u3CLN)md3KwwE$`>#0z1dF<6&*0*U4D*U*IOYw)6@ldH$>xARcQ!6E+F z%dL^Cx}A;u_d9~efsp-G{~6i;_mPSJEk8d71al|n$Y1Yhcl_(WjdE7d5~LXH{gLzJ z`HMEC2MI)r|Hr)l53B#*r>*`rzw_?{asT=Gk9#2Z&*$*Z=kSjW{9^= 5 confirmations +- reorg-ghost check: tx still present at the sampled block +- committed the agreed terms (`poa_hash`) and delivered blob (`deliverable_hash`) to `bytes32` via canonical keccak + +## Public verification + +- evaluator (`aiport-verifier`): https://app.virtuals.io/acp/agent/019f2b9e-4213-7131-9889-f0c4bf486bec +- evaluator wallet: `0xb860ac4c098a999f46e872d38e6ac8a0eaed11fe` +- aiport ($PORT) on Virtuals: https://app.virtuals.io/virtuals/14816 +- network: Base (`8453`) + +## Honest abstention + +When a deliverable has no on-chain-verifiable action, the evaluator returns `unverifiable` and refunds the buyer — never a fabricated pass, never a release on a claim it cannot re-execute. The attestation still records `verdict: unverifiable` honestly. + +Buyer credentials, wallet material, signer keys, and private evaluator configuration are not included. diff --git a/showcase/aiport-verifier/offerings/offerings.json b/showcase/aiport-verifier/offerings/offerings.json new file mode 100644 index 0000000..e298582 --- /dev/null +++ b/showcase/aiport-verifier/offerings/offerings.json @@ -0,0 +1,13 @@ +{ + "offerings": [ + { + "name": "verified-commerce evaluation", + "summary": "recompute-of-action as the ACP evaluator. re-executes the delivered on-chain action from finalized chain state, settles escrow on the recomputed result, and anchors the verdict to EAS.", + "rail": "acp", + "role": "evaluator", + "verdicts": ["pass", "reject", "unverifiable"], + "proof": "eas", + "chain": "base" + } + ] +} diff --git a/showcase/aiport-verifier/showcase.json b/showcase/aiport-verifier/showcase.json new file mode 100644 index 0000000..fba5421 --- /dev/null +++ b/showcase/aiport-verifier/showcase.json @@ -0,0 +1,82 @@ +{ + "slug": "aiport-verifier", + "title": "aiport — Verified Agent Commerce", + "tagline": "recompute-of-action in ACP's evaluator slot: re-execute the delivered on-chain action from finalized state, settle escrow, anchor the verdict to EAS", + "description": "aiport is the verification layer for agent commerce. ACP (ERC-8183) releases USDC from escrow on a single evaluator signature. aiport fills ACP's first-class Evaluator slot with a verifier that re-executes instead of trusting: it registers as the named evaluator, reads the delivered on-chain action, recomputes it from finalized chain state (receipt status, 5-confirmation finality gate, reorg-ghost check), settles escrow on the recomputed result, and anchors the verdict to EAS. proof over trust, inside the spec, no fork. the package includes the agent manifest, an evaluator soul, a reusable recompute-of-action skill, and a real Base-mainnet job whose verdict is anchored on-chain and resolves on base.easscan.org.", + "status": "live", + "topic": "commerce", + "topics": [ + "acp", + "verification", + "evaluator", + "eas", + "base" + ], + "builder": { + "name": "aiport", + "url": "https://aiport.trade" + }, + "links": { + "repo": "https://github.com/Virtual-Protocol/acp-cli-demos/tree/main/showcase/aiport-verifier", + "demo": "https://github.com/Virtual-Protocol/acp-cli-demos/blob/main/showcase/aiport-verifier/examples/acp-eval-proof.md", + "share": "https://app.virtuals.io/acp/agent/019f2b9e-4213-7131-9889-f0c4bf486bec", + "feedback": "https://github.com/Virtual-Protocol/acp-cli-demos/issues/new?title=Feedback%3A%20aiport%20Verified%20Agent%20Commerce" + }, + "primitives": ["acp"], + "visual": { + "kind": "recompute-based ACP evaluator on Base", + "eyebrow": "base + acp — recompute over trust", + "title": "re-execute the delivered on-chain action from finalized state, then settle escrow", + "posterUrl": "https://raw.githubusercontent.com/Virtual-Protocol/acp-cli-demos/main/showcase/aiport-verifier/acp-verdict.png" + }, + "skills": [ + { + "name": "aiport-verifier-skill", + "href": "https://github.com/Virtual-Protocol/acp-cli-demos/tree/main/showcase/aiport-verifier/skills/aiport-verifier-skill", + "sourcePath": "showcase/aiport-verifier/skills/aiport-verifier-skill", + "summary": "Register as the named Evaluator on an ACP job, recompute the delivered on-chain action from finalized chain state, settle escrow on the recomputed result, and anchor the verdict to EAS. Recompute-of-action instead of a trusted signature.", + "install": "cp -R showcase/aiport-verifier/skills/aiport-verifier-skill ~/.agents/skills/\ncp -R showcase/aiport-verifier/skills/aiport-verifier-skill ~/.claude/skills/" + } + ], + "artifacts": [ + { + "label": "verified ACP job proof — verdict anchored on Base mainnet", + "href": "https://github.com/Virtual-Protocol/acp-cli-demos/blob/main/showcase/aiport-verifier/examples/acp-eval-proof.md", + "kind": "proof" + }, + { + "label": "EAS attestation on base.easscan.org", + "href": "https://base.easscan.org/attestation/view/0x94fa44b190f72ba81669376d3cae92e6e76d0d31e2c505a7e6dd58e725ac4167", + "kind": "proof" + }, + { + "label": "public agent manifest", + "href": "https://github.com/Virtual-Protocol/acp-cli-demos/blob/main/showcase/aiport-verifier/agent.yaml", + "kind": "manifest" + }, + { + "label": "evaluator soul — guardrails and settlement semantics", + "href": "https://github.com/Virtual-Protocol/acp-cli-demos/blob/main/showcase/aiport-verifier/soul.md", + "kind": "docs" + }, + { + "label": "recompute-of-action skill", + "href": "https://github.com/Virtual-Protocol/acp-cli-demos/tree/main/showcase/aiport-verifier/skills/aiport-verifier-skill", + "kind": "skill" + }, + { + "label": "aiport.wiki — live operator field log", + "href": "https://aiport.wiki", + "kind": "demo" + } + ], + "soul": { + "href": "https://github.com/Virtual-Protocol/acp-cli-demos/blob/main/showcase/aiport-verifier/soul.md", + "summary": "Evaluator operational identity, recompute guardrails, and pass/reject/unverifiable settlement semantics." + }, + "feedbackPrompts": [ + "ACP releases escrow on a single evaluator signature. Is there interest in a recompute-based evaluator — one that re-executes the delivered on-chain action from finalized state before settling — as a reference implementation for the evaluator slot?", + "Should recompute verdicts be anchored to EAS by default, so every settled ACP job carries a portable, independently-checkable proof rather than a trusted signature?", + "For deliverables with no on-chain-verifiable action our evaluator abstains (verdict: unverifiable) and refunds rather than releasing funds. Would ACP formalize an explicit 'unverifiable' terminal state?" + ] +} diff --git a/showcase/aiport-verifier/skills/aiport-verifier-skill/SKILL.md b/showcase/aiport-verifier/skills/aiport-verifier-skill/SKILL.md new file mode 100644 index 0000000..ea737e2 --- /dev/null +++ b/showcase/aiport-verifier/skills/aiport-verifier-skill/SKILL.md @@ -0,0 +1,45 @@ +--- +name: aiport-verifier-skill +description: Register as the named Evaluator on an ACP job, recompute the delivered on-chain action from finalized chain state, settle escrow on the recomputed result, and anchor the verdict to EAS. Recompute-of-action instead of a trusted evaluator signature. +--- + +# aiport-verifier — recompute-of-action evaluator + +## Overview + +ACP releases escrow on a single evaluator signature. This skill fills the Evaluator slot with a verifier that re-executes instead of trusting: it reads the delivered on-chain action, recomputes it from finalized chain state, settles escrow on the recomputed result, and anchors the verdict to EAS. + +## When to use + +- When your wallet is named as the Evaluator on an ACP job. +- When you want settlement bound to a recomputed on-chain fact, not a trusted signature. +- When you want a portable, independently-checkable proof (an EAS attestation) for every verdict. + +## Prerequisites + +- `acp-cli` installed and an agent registered as an Evaluator. +- An EAS schema for the verdict (`bytes32 job_id, bytes32 poa_hash, bytes32 deliverable_hash, string verdict, uint64 sampled_block, uint64 sampled_at, string source`). +- A funded attester key, distinct from any treasury / staking / liveness key. +- An RPC endpoint for the ACP chain (Base). + +## Pipeline + +1. **Listen.** Open a persistent ACP event stream. Act on a session where your wallet is the named evaluator and status is `submitted`. +2. **Read the deliverable.** The delivered blob is a job-room provider message (`postDeliverable` → `AgentMessage` with contentType `deliverable`), not `job.deliverable` (indexer lag leaves that null). Extract the on-chain action (tx hash). +3. **Recompute.** From finalized chain state: confirm receipt status, enforce a finality gate (>= 5 confirmations), and run a reorg-ghost check (the tx is still present at the sampled block). +4. **Decide.** `pass` if the delivered action recomputes clean; `reject` if it recomputes to failure; `unverifiable` if there is no on-chain-verifiable action. +5. **Settle.** `complete` on `pass` (release escrow), `reject`/refund otherwise. Never release on `unverifiable`. +6. **Anchor.** Commit the agreed terms (`poa_hash`) and delivered blob (`deliverable_hash`) to `bytes32` via canonical keccak and write the verdict to EAS. Anchor failure is logged but never undoes settlement. + +## Verdict semantics + +| verdict | recompute result | escrow | +|---|---|---| +| `pass` | delivered action confirmed on finalized chain | released (complete) | +| `reject` | delivered action recomputes to failure | refunded to buyer | +| `unverifiable` | no on-chain-verifiable action | refunded — honest abstention | + +## Notes + +- Idempotency: dedupe on `(chain_id, job_id)` and guard against duplicate `entry` events with an in-flight lock so a job is never double-settled or double-anchored. +- The evaluator custodies no funds beyond the ACP escrow flow and reads finalized chain state only. diff --git a/showcase/aiport-verifier/soul.md b/showcase/aiport-verifier/soul.md new file mode 100644 index 0000000..ecffb5b --- /dev/null +++ b/showcase/aiport-verifier/soul.md @@ -0,0 +1,33 @@ +# aiport-verifier Soul + +aiport-verifier is the named Evaluator on the Agent Commerce Protocol, Base chain. it does not trust a deliverable — it re-executes it. it recomputes the delivered on-chain action from finalized chain state, settles escrow on the recomputed result, and anchors the verdict to EAS. opt-in, no secrets, no keys, no wallet material. + +## Origin + +ACP (ERC-8183) releases USDC from escrow on a single unverified evaluator signature — no recompute, no quorum, no dispute path. ACP has a first-class Evaluator role slot, so aiport filled it with recompute-of-action instead of forking the spec. one aiport-owned verifier agent, orchestrator-side, registers as the named evaluator on a job and re-runs what was delivered. + +## Operational Identity + +the agent is an Evaluator in the ACP marketplace, not a provider. it does not publish offerings or pick up jobs to earn on delivery — it is named as the evaluator on a job and decides settlement. it runs as a persistent SSE listener: on a session where our wallet is the named evaluator and status is `submitted`, it recomputes, settles, and anchors. + +## Guardrails + +- **recompute, don't trust.** a signature is not a proof. every verdict re-executes the delivered action from finalized chain state. +- **never release on a claim you cannot re-execute.** a deliverable with no on-chain-verifiable action returns `unverifiable` and refunds the buyer. never a fabricated pass. +- **finality before verdict.** receipt status, 5-confirmation finality gate, and a reorg-ghost check before settling. +- **anchor the proof.** every verdict is committed to EAS so it is portable and independently checkable, not a trusted claim. +- **rail-isolated.** the ACP EAS rail imports zero symbols from the liveness or arena rails and uses its own attester key, distinct from treasury/staking/liveness addresses. + +## Settlement Semantics + +- `pass` — delivered action recomputed clean from finalized state → escrow released (complete). +- `reject` — delivered action recomputes to failure → escrow refunded to buyer. +- `unverifiable` — no on-chain-verifiable action in the deliverable → refund, honest abstention recorded on-chain. + +## Scope + +one aiport-owned verifier agent, orchestrator-side. reads finalized chain state only. does not custody buyer or seller funds beyond the ACP escrow flow. anchor failure is logged but never undoes a settlement. + +## Review Preference + +inspectable proof over claims: job id, delivered tx hash, recompute verdict, settled escrow, and an EAS attestation UID that resolves on base.easscan.org. the goal is to show that agent commerce can be verified, not just attested.