From 66cbbe3da765c8c44497c97190915c6871a9761d Mon Sep 17 00:00:00 2001 From: alexmadison Date: Tue, 1 Mar 2022 09:58:20 +0100 Subject: [PATCH] unit tests working --- test/unit_tests/buf_s_5/run/prsim.out | 18 +++++++++++++++++- test/unit_tests/buf_s_5/run/prsim.pdf | Bin 54472 -> 21864 bytes test/unit_tests/buf_s_5/test.prsim | 8 +++++--- 3 files changed, 22 insertions(+), 4 deletions(-) diff --git a/test/unit_tests/buf_s_5/run/prsim.out b/test/unit_tests/buf_s_5/run/prsim.out index dbae83e..4a2d00d 100644 --- a/test/unit_tests/buf_s_5/run/prsim.out +++ b/test/unit_tests/buf_s_5/run/prsim.out @@ -81,8 +81,8 @@ b.b.vc.tmp[1] b.b.f_buf_func[3].n1 b.b.vc.C2Els[1]._y b.b._out_a_BX_f[0] b.b.t_b 198462 b.b._reset_BX : 1 [by b.b.reset_buf._y:=0] 200657 b.b.reset_bufarray.buf2._y : 0 [by b.b._reset_BX:=1] 200679 b.b._reset_BXX[0] : 1 [by b.b.reset_bufarray.buf2._y:=0] - [] Reset finished, setting some inputs. + 200679 b.b.t_buf_func[0].n1 : 1 200679 b.b.f_buf_func[3].n1 : 1 200679 b.b.f_buf_func[2].n1 : 1 @@ -155,3 +155,19 @@ b.b.vc.tmp[1] b.b.f_buf_func[3].n1 b.b.vc.C2Els[1]._y b.b._out_a_BX_f[0] b.b.t_b 506989 b.b.in_v_bufN.buf2._y : 1 [by b.in.v:=0] 508590 b.b._in_vX[0] : 0 [by b.b.in_v_bufN.buf2._y:=1] [] Receiving out ack + 508590 b.out.a : 1 + 508743 b.b._out_a_B : 0 [by b.out.a:=1] + 508787 b.b.out_a_B_buf_t.buf2._y : 1 [by b.b._out_a_B:=0] + 511504 b.b.out_a_B_buf_f.buf2._y : 1 [by b.b._out_a_B:=0] + 511505 b.b._out_a_BX_t[0] : 0 [by b.b.out_a_B_buf_f.buf2._y:=1] + 511506 b.b.t_buf_func[4]._y : 1 [by b.b._out_a_BX_t[0]:=0] + 511527 b.b.t_buf_func[1]._y : 1 [by b.b._out_a_BX_t[0]:=0] + 511722 b.b.t_buf_func[0]._y : 1 [by b.b._out_a_BX_t[0]:=0] + 511881 b.b.t_buf_func[0].y : 0 [by b.b.t_buf_func[0]._y:=1] + 513087 b.b.t_buf_func[4].y : 0 [by b.b.t_buf_func[4]._y:=1] + 520872 b.b.t_buf_func[1].y : 0 [by b.b.t_buf_func[1]._y:=1] + 522470 b.b._out_a_BX_f[0] : 0 [by b.b.out_a_B_buf_t.buf2._y:=1] + 523757 b.b.f_buf_func[3]._y : 1 [by b.b._out_a_BX_f[0]:=0] + 525989 b.b.f_buf_func[3].y : 0 [by b.b.f_buf_func[3]._y:=1] + 542146 b.b.f_buf_func[2]._y : 1 [by b.b._out_a_BX_f[0]:=0] + 542291 b.b.f_buf_func[2].y : 0 [by b.b.f_buf_func[2]._y:=1] diff --git a/test/unit_tests/buf_s_5/run/prsim.pdf b/test/unit_tests/buf_s_5/run/prsim.pdf index 898f10abd33b01b5d7e0d8dafb6bf316cb8c9ebc..eb90963f375cbe25d037d6bb265753ce706f58e5 100644 GIT binary patch delta 9665 zcmc&)c|25Y`!|SEB###RDXAI7>@y}?8$AfoqGV?Tk8B}Zvi;5(>Uqnr_wD)op6C6|ALBaLxvuN`y}tK-&pG$~QFxo@!yVMaZ73-c zm7qwWQt%WU6;C1pB$ARMnMk23k&#Qt62$`hOm!1YsLXd`iRneWzoUJ@jRlv*Wb5i= zf#5s~3x~C5C5!Yllg>;|Tw_JPF-`Lt@7@xqErE6XaJ_zPcy+MGidSot9h=PaN8fd% z^$#{B9{l6!bFj%&W%>v!Fhj%Wpdh)qUq%S*Y%tY&JQBn|{kgLV8*UUn)3|luK}&Kq zn0BseUy?&(_@2=mtJWsB#o3vSff|$GL_txXda6vCUCxQ1v~!=PRw(AQ7UeYDn3{f% zO*GG%{8EHXUFni1bi8$I1DZVC(c0ED)><;!+mt^#5t*8(Xznz#{;>4&)D88%*}KH1 zpPFpNJRASWdg&0I8RorF>SDV3D$CEy-k$(>$@4Y`t5_EHuMXE%N*6t}$Sc5`$Fj-H zWRxGkJZjnEk&&8}ynQ9hF-%5AF}1v4*_p=Zdk;%^UbW;E$_}SXrCYlSj^J7ibV3y0 z8~gZ1WiSd(gz?EUl`oLio!$~%>7EcFvGYo0^g6c8N3|vsJ%ux_1wz&~Dj&uU4FH$U zfrnJ@?3ma*xK*kkN!rqY+IlQOdyC>7Q+t}RmVNlX<#HFDno~-$qIi4;1C1FDp7hUt zF8VL3_jpTsZ*Y3oa_~^eCscC_q5HOKE{}PcreUUsaBIuQ1aYH7pBTOG3r-L+W!har z72;0@l${lAO;A>`$T+gpqxR*(r#?{`YO8jERTkBKxi_+lXs51(9%8zxT`YgCC;O&t zi$85sb#M~5=8$%_V?bs`p0c3h36WIKvGE|Ggb?xmKNe@^E4^O3E?MC$d%d*lh+CqC zf#ES}dCle+=>?DPja)q+8+Ou_vB#iz+iyw^gvg|@8owK={m+(cx*~L|Fv97==MNdN z^3FfSk+clK0w3QK8eUkqe>K9wSzhar! z(Qcs#KBO!J`S(S|%bCv2t?-Xs`uZIFE5O0BYxRB$V|Yq~%L8Ay40~@6iYr@X zA|lVKZ#fy%Tg#Q*Q*UDA@vw)S8W{Y&L+Ds3 z9eGRe0A6I}2>O-AeH}di2CcsQgqWzL1=k*5o{6M<>GcS!QpzbqH&H8$a>AxHzesfL zIRCP*Y0OMLrdIvIX%nqyr|hdnDh^3ZtPyI>Z1^ZM>6$V5N;9Nv;i9qeqU)FId5HLE zYfaHHu^EF9PmA@ZT4WIbg^dkg0*#sm^f&q|wZ8g2cO;)h@65ijuvztHinjVC5goR@IC z8OPMMT>4%}+xcO{`BJ_|SV!p#4Hg^ZBp5u+=|x`fJ<9ImxJPF=wd3ra3^sUQT0YcCo@ zWhi@gB4y8?m$2q=$Al>xjLq_L&1q>wy0G!=?BO6)9`(4tlXEXDP#dYRQ_Gg}y8Q(R z7sxjWz;R&Mw%d@H4RY^xtn8>(fVl)V9Es$#TD_}!Qu`w>Hyv1v zmp9_vIjs{eXOj}07r~X^dW`mGBSHxbS#b0b>DX4x$*K$(8tT5}S5niLZI{&9{!#=? zs}i|eG{hbLyf4M(retZoE_Yg$A=ERp2Jx_M(@PHOaZ{^AREQBBy6cbCGZsA?@w%TYaUu(Cu=!BtryK0^uXq1B+Lv%$G|v6)C(6(Q;F(E0G^B`MEyujSR zok+=r>2#{uF z2}7$9(w3JLh-*0PSKK(Qen9p&xQ)Dfr#W5358_5&iATU(LNHhY1YiOk!_@vMD1$WjbtDjQ%+&6xAF=X_aua#)DtTgRy!sK|9;>_^$`=&t$32_)a_pCOHN$E}59hRrD=-GY#uTLoi8F0S;lWQIarjjGX&DpxvlJ{3rL#`-SJ^7ZXp_(bkE&4Nys zQJE6}qjPV!fZ$Ya?TtyZb8@=7?B% z-TE6Jt{~MF6fo8#mfT*gGHku!%6YPQqZhQ}9oA8`GeH+)(C$RmN_Ouzjc(aXG@r33`AJb`Bqdgm@r**duHtm|Wn z_wFrzeiD{Z`MDBGlhx(KZGk}&bTfxW8Ap|DJ*v;-h)7Uy-=W5cX#00gE#&1Rhw6Si zbq7CiB#=q&F80gEEXi82#=MV)k2-c}B)3Phvhu=e!Nd@=i?z7t@t8JyQ^v)MVD0+P ztlcjwf-6PjZ7WajGP=3F_QHjyDf_l3_%O6_Hu0)$rp4ZuZt^FJSF%9Z5)e`SL`+B}1EFUtP%4;|tf>6R$dU z&QwxocgLQ9${XH6lk~F}F|7QBw?N!L__DW^7kZ<~eA0yvbatz)Zs=0^{d$>h-B9_L z&b;I@2IDm<(Qqft(~733OA|gWe^b(Ae38!XP(LpyKes9mE>A$K`G+nd#>HcH$QxTP zY~(Mk*q169&--Fk-Vm>oDz#&?&h7?rOPd`D4^wS*w!}AER%cP{ij2ojih<5~AwEuJ zp%q(Wn=8uGDQL-UU9lDc?UjTtfzq-$`&J&~$A`Bp#ayW@h&teHRMsYw)pWu*Xp@OC z-{!Ezs>V;2sN6{p@!M=*RlTlU#WH=#vGlCCl3pA?RuO9rOq*QZwD*ikS=y50n+@J* zF7sOABDSDU^ooY8e%bYaEl15IK)0=*uFYT-t{kn^>_5ldIjs|Hbu;P#J?^>JOl8dF zlO83Kfd%=OqJ>}DHj!9sZ*&;H+PcPV@*pfa`V>`&py<0{6_@kp0U!D{X z=@q#y6y2hr(SeVrtMCd8`-?9Cf4378J{H4E7ZuE4ndKze=L_EyeE;Di?v^=tYJ1eG zy?0CVWtEC9pBB|+oy&)aom&io)NZSl%JBCUC7c#Ll=x)kS{q@bHh%QxNT$D?&ZWZ! zL9{!j9n(*IigM9?>fv_`20E9Ahb_x&doU_G8J3zJ5@P81L6j_T>y~9M<8%(EHd6AzLa;Ptn98gF&SRg(ldzDXyWe6 z;R(7;%5M9f+IK7p=v?vUlz75uVaDX!n5gni)1|y4beru0PG3Yf4ZVipF_|?FHdWl!LV(-U{>Ta|?al5|-a1GXa zIVtvf8d4<%&2heriV(8{UH60yS^Hq`(r!be;o=rkP0hNon`b&Ih$HS|V(*{-p&M)Q zve(Pz0_(Qv{e>UbU}a;kZ+*AlirGyd$nUyLUfwWMR8(kxYgd*mvmXn0XK3Gs=3^H3 z!CcX&Qn@5DIzgjLVFp{A?&?AlK7%TR{0ZIrrwb(ukhbn82Q{?cEhmA zQ3CBOosrWS9#)|jz2pU6h*JuaGA++E$11?;k(?ALO#QOR9h&|u(CG;Y|IA5DZ23vs zI~o~b;V|mDSkn=qk8S>Rn?0XT(2T1}!5gfJcnz9DjX?g?lcbQ4a;YA**V#|t0Tg(; z+M!Q=rCxuT!j+2d2P=H6YRc4~)?bRuYUt!wjbJ@KXPmxz0=N+#aE7gGC-VODka=nv zw#msnr+uc{zq(kfxLRJ{rrK7tw-SE^v_E_{Ne%b($W&WT8VHW3fh}oS-cxNJ7WMU! zjadz5GoQ`XbG&;}+=2>)``#)_Pi3lS-zr$?JM@evhmzgZE1c+LjwucfPXt%b=&R?{ z`;K?;E2J-Bm)v6Jj5BWe9=Equd-g#8v7hKvN$|{M?o{=A5arY{^#Di}lxWbR zorL6>UEC82I@$24%y4OBpWEJ{xp0 z{g5CEDzZUCR~!tW-)zyzyLgBY<@Ru+9M11;Dxjcsv=vvH&bw zAo-rxn+2dDfTsdDfKvdkG;3J`c-pLG1rTs^7Sqz&fzEcM+p+-y9`Olat!8~phMhg^ zB+Ld{0|ern<>KUI2@puLS2h5FJZsSb0tK-Iuyh8v5n zN&xEuyGe6Mt^jEc$(7DzxYz)sxei$Xe2&MFj74{+JHtnMb5{&cfW!e6z_MH|t>IF0 zz-)jt2h6r-(qaExn{1D*E&yq+O*eqdK^DNeIor^gENd4g9U#w9a0ke9=w1MM4*dw7 z=>m{R$^OSEC|)9giidKJV}%G59DvOa+_j;WIis@wKyDMd7t}+o}O~YSpE-tmxcb0s;@=JLA)#Uol4gSRc-*SWhnd09}rI4WN*PqnaGt7%90wQ0{ z%hUd5knc49ceOeA-w(;Z3rE=gtS=YS=S=iwhk3c zYmn#Rc;PSL4&kfG74s|Z+5VB7Ukd+g#eX6C8~$Hr{tLywh5()QZJV-D&7Sp7_4GMT z-$xVgX{soA{(V+z+AW*Dm+x!r<~{VUCfD|V-p%R%zl@3W_Z5a^?{GE736iUkU%K(a4WoRTum1H_;+neZ4qyP%Sj; zqzCivfB*OQ`*u0w|Cd$!t1^6#IXipcZ`l0}|7Ww{n#taOu``f8p>Ox7n)Yo#J7F=9SF9Ht0DAOWyOP7QH z^Wi}lA)lX(&d*+J{(Nx#huR4KKUVw~Y9shRp@^*Aws)N8Y!m&PfLvUzf5Xq-x28Gz z|BS&;i2a>z4*uUh0I+miT)x>8@4cEG;J22~;;_oOk3y$J;3vn%q*%TTr37s*mj!VoD)q-GJcXtN?*+fh#FGig9_|MpZoZEM_xfWTg^2sH z9*j$a_kZAb1#x5?;{3r!o}WxsQu>h$jsh$HV=je=?4!T0M^T48YO<&l!lrQRmGp-2Ab_<0$jGgD3g?IfKU|M;6}!0+j(H4ST-X5IGUu?1aRfeGq0XL)STfn3OuDTA0Y@Q`1mxs2^fd+k2jiEGe*gdg literal 54472 zcmY(qb6{Lw)HU2Bjn&w;XJWUFZQHhOG-zx#jcwbu8#`$mYvOnE>+`(d`~5ZN-Z^Kj zwb$MIoOAEYrBVBT!YWla{w307(I)_C{6+{QRUW3WnyU&ZMm1GfJc^DxMCe zq%6XQE`~Pt=A?px2&Q%>?;W}Sp8=vCF5=2AhAyV0?EeOd+1t60vi)l-7`nKaI@ytO zydNU4C^*?0E1SBIYJ+)1#K8Eb9xkLTlD1$@q5t_5{+~}tQe9FOWeYW*U~2G@ij$$8vxA|NshzRs|3?0=KbVL`*3`t(P{`f`jQdW;%F4>a303bf_TblAl=!i`5$eK49t zvY_kkNJ1TaDJlk#cmo~Dzg~uidq1-fskMC!{yH|?Kk#{<;g<2JX3|rK5imy zD}UE^-)uyR%zS;(7xaDHnSX<=v0)nCw{~e1bowQA%>(_Q?yzXvTfB7d|FqqYt>yiE z@-*!4^ZX22><(t^{z8iI!1C#WD^~wy)P!Y<)?(KR(@b&O0 zm$>_}`+4vD6$E;c_kRQFW6peajXT@GLwNPw9cjQ*W{(VHmb`i zy*?4fq)%swb$3~1-F@r&Q+X#|(B@P^=a6>SAiBk>RqU{J4I_Fhku)*;o7v*F)tHC$ zm(?H5q?K_P-#eMjXQU4e=oXR?`6w2@gqUjOXa#rcuU|%mcZm9{_rrH|nlduWSH~2a z(`pe^ck&8`zR8ceN>ysDkcuM{NzFfc{hT>?gL(a7N~WWXq9+9TlnbkQeMtia{gsGMbj1eEPZZF z5}B50fm;;bCp_Rpg6_v`5uw3}KGR}&<)t4WBnxqBit~wO^I_(rJw%jns{TFZEZvt{ zt576WO-u%zcq)UV%f8u86pBkj+;N1swqzl-D8}p6k#(*ZnOu@0Um~TX-~Ig-d!a$F zciSk`%xU`0=3AP~8T1Zg%68n6fAywcR3e(v! z{|5Wwta$(KulN;!G;o9L+wj1OR|yC)dLXQ@<8k2D8+_G8Wqvc#YDHWsxa0onK_Iml z*PvLr3DbrCW!=YT51)v=MHX%OJ4AdHvTa(P*3A%Cqs~&!W4IYm#AxlpJya&I7T0C? z?9@+=!NjE!n@p-?w1Pl!V1I`;2?V(E0V1>wn%FLOhjSX#3~~a8>67SI z_%v&543}@~|HAhb2px$wFZ5`!g#p-0TNyg7EoDAip15|GHU0kTz-?AVRLt)4fb(R+ zA{Wh#q@32}06REB#2vE5inQO9FW?jdRaoa#01#IP(?OODB1&^3a@1&QNPpy5qdW2Lj|UU&g0 z^T^8;6+PZqFMHugnuJh7Hm?Z7%_TmIOonRdkDC&+U`$9poo@5QUnrXa&14?(sZR=O>S&9Hj4bML(5o00{*Su_Z7?jp`hbd+l6l3+{ z!RSppjLuQQUTE+ag`nY=AS$S{A`_M@h7E=PhB2=^APYZ9AZs}5n*FjkFP^{q%Tc3- z{~GC&n8*&Lo32lm&i2dfXc_)A^b;XIx*I0b;1HF?fuaZwW>i?JFouQ{V3V*3d3y!| ziSv#0+rzJ8>)mtmLyHZtad_NW zvUeeN`hx*SheRY=1W;75G8omyldRog<#8D;D;aEr(04jn2La)TP|fm6{iz3e`VCBA z;o*JZS1`tfhh(9riDdO>y|aQFYvRUxzjojfm#;fwmqbsWI^+psNnMD)!3dAIv}wUu z_k7<9jtXDu2gLxq2VSgI-0ULw5aEf~xD))1&l|$*O&@#s_r8ZfeaCO`2%lY(D3`fTuFJg@1ll2(R7YeN|tm#?4q*Pu^@~Z_8}BC{uS;Ui`#O3|x+xi=-;MR{GE#s{sLkGBsyOqpopbV5!2) zGbn3a>Co953=)97)5dNQIrm(aZaK^_r3myPP-AbIqP)oH$7;Z|NI?_B8FFz)Hpt)O7;SDY;Kh90*(nLUSQC)CU z#qYy=8&0=HZpZKhC-*q_grY-a0;}`Hn*gY3*iPH>z(zajKIP<$2Zi>O!JC8>-Pegp--WjQtykCYK_`AxACeeU9Wk*%WdWKekqtT!(&}duTu-mf`BB6yr9^ zVSh??5N$^lqTJMNjaARzqCSLa$8SGnLDEr=l`cGs6d1BS_+yH=#3@`d^>9%PxSDYH z0jJFHV9&8x(yRbgv`-dvJ23WnN<(>g(EixTp14?x^4-Hm$n6cFi1uJ}WW<*4#34ie z9>vT8dBRN1vldlljxvt?%RKQ(&to4rR@d22>nn29qSL-++X=%?Kx6A z9;082>d6QIT4Y&>BhJO_R@eN7Dr8mO$%Elk`0HlGwn)qsD}Z>2y`u#@+6}e{vJ8m{ z((*u%3Ge@5*iX|TBOg5c{fK-868Wg1HCj+w4JijToOG=m8-MeQ#D&?DFjvh5dmEL_ zh87VNG%63txq-1C)6pIt)Tjf@Z>fThcWX#>}QJS@gbuTX(NxT|Qt87U)d2Rgw4QgmVbx`cZ zOqStuKTRN#SPV5+yKGEzCg|09`I*(Ce)PhmWKk}~D2kcg3ZFs@$7|t|S3%7VY#JwYk?4GB7pIvrJ6dod%0AB;= z?}@10hgqR7B+$0}z)Wyy-RnBz$HYPEGokk5=1?)Rt5@J!sEq10VKcEI1Gw81x~=pM zzSo2|-p!2R9-AwoFQtE28+*=((zGok7`g~UmUhHx+G`Aw1mrUUYM=myN4Ww*h&b03CF~PrFoTGNTo2x%+^+;3hlvn9 zo^cNQJI!FX3d&>s3JOUV3rcel!_rbkr$xCKbl8Vk3@IikDjc5?*bJ1rBb`M6>D&Ne z3jSkwykR0Bx@XWzVDxO}huoiD_W7Su3>iNfN<6Hy88mHh=vG}*%Tj(rII!z66a5sJ zQ9uc`!}2<|{iQ@Hh@DL1ON^)s{W4ymu+NCZTy!l1(; zXMfy+3|lzl$3q)R^&k-JN6Ha9ay86{=l5U+5RjyJ3*GY|O-th2*j{K-{hgISou=($ zJ5JJT(<0B!`~-C01JHF?$h6Lg4>MUpQEHQ6J|ZQp)13H*vTGpy zn^}+ykLMgnGPvfBbLQs$+q?0&I}TyQNL<$$^Om#cmBd8F<5LoBK6HX6|$HI%dMEX7xo4OEN+w$dK?7NrBFZ_sm#@m^!09M_oloW zf{boMNC-QUArUL(HDj!!C!iT%xs$^!^+lyUhVKEt!1oP`t=K^F(Pw-$D789b#v_@p z)|rDN9n+3fys$$JmQz-S<+l_=YaoYp z&%Y&`T#y#_nlH_-G=n2VPLB$wJCxg9j7nV#uG`vhN;86l(V)7x!u;AqP;q#%_VKKf zvNarH;<|R_K#i<9Xa7RpjmZXxguB-nWNx9l%EcB&UBv8QZnOB&7{W%s8A*EEI&}cg zrsZ0qum{IN4L|Lz>H;gq0k7{GAO8itub&+YVE++($8#8pfB~zxjcI;u{nx=~bGzOY zIV~@NSuUYqD3~}6Q_Z0#P@QF#Q@LM^De}i+NsDzMgP{!#-HvQ=OiBis1G@<`aZz-w z)6)~9uK;DU>5Qw{6Q(HhvXNUSj&m|8w|*A@VPjojgh@9hc?a%ymC&}@!Hk-&O-Hak z4jIOQtFzHVY!o&_d{=s{Ev`CG)8yXaFs7MA}atQPT_WgB!`rfbw~4L70qa*VFnP5Vo)jV!_!cy+;3zOgeXf>##* z)v^2+>$RYrxHW9lw~Z2sr>CpG5YlQHgnph|0eSn>vHCfz2IlVPI(~VeL!Gp>Pj@wM z0FISDE#Zuxu4SN1K?QW#?4n-=ZJLd%NKyHYE|)8&aH;M)+1IED(O6FPo88+MURmq@ z+gTS>UDt14dpo`h$iaRH%D=vHfduS~O=i=wbbCDZjepNEQSxiH9duZ*Ef3eXzb!z8 z`~t7jKIVe{L5KJ>?1c7X5p#*{I|Hv08KgL)HLLY&J8;)@k3>Ve$vX)c zLk;riAE=jSS9+XD{pAzsfPGN_Ge6{K-)#tP;c+IU&pqSX)ijwnf$kAgM@OdjQSCap z*G7X<6!!ghsV8C{jJOf*38-r-AZ(D_AJp;;oQW7y4aekr!^iuMzB7$yFTgsyIOuY6 zY}b2`H_CT4Qci=oInB*VrCfARI4bORrWISnJwD#srPQ*J_=7mq;qF%i=VIfp=6s17 zf|l~VU;dP^!ZBF|rD^gA=kn>`CR{c!URr`M0v>J%{6aMBC{tVU1GR1c3*7bqMLPXE(^=}>cDQnOk5Iu^UFRMq|kP=NeLO*OF*zyGxP%tNSO4kKx59_9aMd{hXZsZ&D9LzYt=JyIDQaJkZW4 zKL_kES@QXysA1py4Bj@?Urqi?+LL$J$S)(k+D&$PBA#Rh!)W92mhO8se}1rP|J`qw z*dk1AYfCct7S+0oA@SyGj!~;%qiU}jSJ;J8p;6U>ph>!y<%pe^Yr{fxU_Q|Kl>0kK z@i6q$z;3Veu+I@7bUZu)-E)l7;YY-dHc~NJ2D!{%n&?CBUkB*|I8hb2XlptHRTC?o z_^w?lR}>S{#u);5O|(tapZl@aoc-(7G;6O%vU} zw-q-06^f&hWH9UL8**0M9kTF45sriEsdMuwT|HLTR!rLr>=jKs4tS7>;$1{utWk`n zrWLh1(>j&HpO@Ab<1bryyo<^lgaQO6LKIl)^ zDZorGe+!byk?Bf6N(s{=&i1o6bzTAC@f2&!#x-!|^+_+&hD6}1jJE;rP_w+F%(u=H zjgh0zK*wOqU^+@X#ox-o)~*@rZDU5pPn zdc%N(6o&~@e_t&h8NsC z2A*KQd38;BR2SD13-aOfv@Ox6jSXBLvnS&OFI^Rb^REH6(9xzGKoyBU;8Y1yTer(k z-^!mSjkdGStA)r4g_;w@5gV|8tLes=c{qY;WbMOPk zoh!@z--;HLA2$$AH^q< zSm3dXc|m5t4)Jz{6oyNpX(7Y}+#Bs0iSfgOPj=DPYpbC>Z`TeU z3^%G9zV(;wjIQ?VSn=v%uvy|LFhc3-;L^+!oszM!8+K!pt#3!O5tm#ebU3?@#?)s& zZ1ATQ&QWa@i3ub!w!I{X?FD+%FIM1UoTgunNFn@9mw7t8dm^W*cjvdMj=_;B3k=y| zfxS|GQ~-DR)>c)>S>(mLE=WElDbQ<5@~v$iSMIn4@FE(R%ia@gbKr8o>!i zL^dn6pbxslCg|K2S{41i?^kp>?U`6d*!CY`tH8Wd7chb~v7vJ?ydU@)Ozy#g3zYA0 zrrM_avL9_HSH+grKVDczAdHuZ*Q7^N-Ja+X73z(BxlogLLlk~JPLT?4-jK9*tt6M! z_aa$UdW!So0{h{{H$n33!+pQ_+P5K%bnHH3EB2R5+9P5yX???;#8yVhtnvqeHW=O0 z>j^>0XMyZ~Nn*iB)XHw_FYCF~L#@5|&Gd7al`1dL8}M3`Yqo7@ZTYU5w>{j1QaG{t z9$|T74BIjS7a|2?7Y9$=#2_!(Pc6pv)*-cl!2Pc=;WYxnR5SR7VK|Z~(x0xv8h`R! zRkLsMaq0EJx0mdl6UbK>d!ybjE5?%nJVui5025Sh-^`=MQvP}>92~^`8bJ}7+^n~E zk@n1*QA$$gDNKhzB*-YaLRopuxumN~5_CNJV|`X#&+fwnd(EP`6X=CfV})O)n2#gv zaiVz1sYOyJ)5&ha)yb=6HPkbk*6NmptyeutrRCW0xkl?Ug3e*O*hMC+5RSiUTRT?+ zEftdMsXnIk>~kDE3_8|(pWqRlNLNdYVjdnm@uw(F!d=sg-ijH*{qkH>3W`AHMc zHgreKA@~U*RcJAlPUx(Tq=^nUcyR%m)5#^=TC zGfNHgv1JvkRMs2kk^xPL;5kuQReJIhH$E#4s`8K!jG$hUxzR4g2<-tPA9b4)0<2Ub zif&Cl0OmnO-9YB#cT@*aaM)e@Y2Uv5h0KFbB3*P^VEUvzYw^>yEFS04nK`bkv5(x- z*rDjQCTSukKcjmN^x^J2rOZwZ4eA)N0IR{4>+N&j7f$wx{V)QeB`?oPx4IZ?>%!8`-$@7&mYepP=ntYE}6AEqK=H z^h2eK;=Q$0*WW2d5z;fiL9>3srAF(Z9wzR?JIZy|ENNnBHj?%u*;;;>@UJTFxphW- zPHDe=WG6aSRt)w<(s?$F{RPwPWwJQ(2otMLH!FwuL{2*VX0!5xc}TQtgG4-07w(8; z5s3vVmzL)G*%Q@I7(05cp$b#L`F%(ekBNA9pD+<5DahnLYT9eCs)_#>u@o3ug0^{% zN>p!KB2=k``PJI-f|DMc;JV-h*99jyOwVkvW2y*BNrP zW5)Q_-qFvRWw^%Oj8Rchz{$7q`Am1xB(3wG*d^NqSyBnd2UFH@XyMh=!2Y(XUtyq3cD0(_|@`y$GBpMbhHRlOMS8 z0XV2io6oAFeWbDdl$a8`rGc!a>p3U33O=^zk-Z^5f`%Cd^-af6a??MnY)`TGwxi>> z=V5tLoOyo3z4socR(`sjW2EN6$-0<8|MG-^ENx)4$_SJ8^2HE~R18^`TvbZx731FAY!R4)SoYx zhpck8oGoezWVDqTs3m#;@^n8oTU;XBjEbSbONllQ5GyuU+Y38io4~eGOtF>y#D{K@ z08|7AVq)=8{NK2?hqV1MsY;aNw2q8~exIKLUUA_lEhTq;I8|QqGm=f+NTDkcr>i1H z4fAESjux~nC(i%4xR57Ad4kA!8O=v#P|RC!{ESy;OZ%*9!m`SVBQanSA1f)%qQea& zdC2MNeGW94ykPT|Oeez=HxEopT$heinuly1O${k3>%?9{s7uOI8uxbzOqOuZunRmh zS=14rMiHNF6mAB7(l`Uk9$IWqH0(QZj)p);XPL23U)S`6B3p1O0^uA;kB`eLh9D0^ zx+~}*>O@uBOoVY)lR5sxN32Tx#NZ+r70)rBpNhxSDi-T=~T2VIarpv0Q>RPKFvd7-IeCLGvlVFFjV-3yS@0%3G zHh28nNeiSHCCBBmP|4;sYkG#Sf9N{;$H1SZl`ZXT3BZ!T8@%dBqlqA&Z*-OTx9}9z z)0U$fUM&N>3zeMIJ<*jmev*`|eo}2zMGXRP`W>;vV2*}Hn%j%wFsP%9C#B6;RXzrK zGog#T(!&nmO?!((kS-Snr)3i;lblMl&BgVs(4ERss*h5PKdX|A!sUMp>Ch#4AW$aSZ7@DFnIXPIML=uOu%@?W}Z{Q8-^k^C}gR}20X zTP=DhnV7@5(3L9sl!~hTx5}b|03?d|#9)3BmsLDYdlM@KPW5+35=%K0!_VE0vA751!g@XN=3@mv3nOrTP6+_V~x2str zo6@T@qSTnmL?~k8TS#XgYr0eU1sazk`0{hLOvy4OGe*`y9P)j`FQ#@)$f_l(QREg( z^qX1-QrK&vQf?cCWrbcJ2$9pQtvPv#%TLvls8w0uX1AMvbF)sh!nLbYnl%)s-X|sNJbU1J~x%TY=?xs@XDd{18|3(^Tg2 zjTICaW*(9S)}lN8@;9!H32g8P_H>z+g<{{8*uT;#UaQeB*QGJzCzPY8epl)A=hk8- z&g1`LosjtzhYo6rJv^Dl6bh$7begiYYzoUDeQKh#yxa)*&C!{kcdRWerDx?+dX+lX zdRx3!)gw=5N_nv9dY*yP%iXvhBb#L0mxgJf<6Y}J~dFUKNMP%xSEDeWzz$|@CF z@M!2%2rNOziq*w7RZ8GdAboPv4~+;Pc+PXT?M87Efc+f!kul6i1PbJQsU$1RllQ3qj!|Zs^dq8pvsXfBx|E05 z=g~9Gy5?C+E+&qerT0H-pqz=F3ulz(hTRnDi)&Aka^th%#46{cxJnKh%oVWB(;!`; zq{?A@=#T7g+H=i0C5^Qd9>lHDYz^)Cz^*2ZE7<{krg`O87QKZ{{LstvI!0}m-mMg? zZKzV@MDfH>-D-I}5@?5+uUr(o-9nC~_5$cmCB*IJ=;xP&L^7+)GBM=0grCr|G=bIG zzU{Z>`hQE0Df+aKto>|ZR)GyNM(n-xRMqYoh!Zc=;RIMeS5O1Wd&6E}^k+4VgZT>v z^&q!?QKn-FnUDV*lOO>3q#h=zw^}2YT&>H2*yyTEpQV0SLn}VGf$Q#X2e|H3y40BH zuUX)}pFv^(SGJ@fkrX_vmQm8PY&i|26Ax*Y_hFM} z;Yr~LBra!&_M*^fBH!FY$XR6+M520jh)37B4sXP6Csbyutz3(Zj&=C9LInlm zO;3VpI7=P#lFG1%kkdlwf7^CuKo%Bl(q_1MO?5ERWV`VoX;E(HZJ{ zgad>pK~gN-EbbN_zF%sxe8MAcEB^d|$0>urh*|yZ6yN@7*=VED;hXTlK;>W126dZGc8_c&k$ZD!H`GIhl0!mteArnb7v1zu2eYt+&5NGDE{#T-87-d$`3r)98rh}X&mE0!^ZX@U%Dt# zC!byZM4~DO$=31lyb0Ina6G_8a0iL*C#2$$Vh>g3Vzl3mD0j{3p=ImjjP+r;y4~|Pg29_aJvY$!l2GEM!Mm{Mzdi>RXs9*I+i4rwV zH@?FNQ75|uV;bq)Amj!i7c?-b-g>rh5sF~YWw-QUH*PQ3N#oQ7A;uAIWaV=yUQGZ& zZqC)NUPk{Pz2}+g%ZSN$lFw1Qg#tWq(_B`_PxIZ-5Uf`actu4fpY+kh0(cz-1IiMP ztwZIbv2(lRkVAPw9~{mgq9O^O?LxMs}CzA#)*ZdUn*i1lne$LeM7< zoi}V<55G_aW)lE)BcBUmM{VNq4GW72r07H(nK-PlKuc+1?i7MlhoHf$R||>2V1p7b z`os=$#V?6RwcNLD;{Rj-kHW*W3&o-re0l(tb_1=32$y z^il7TLBx1MT&uQT!7+P`tP>#Ivsd~=41*LUR^gCLgXvK`Oc2FSB{;;CJLq0L|0Q^B zP7_9m^~5QBZ~y5;c`uoVx}_k*B*=I4^64&uTHknX7^|WW^nq;x&v~udaXc(9y3!%nJ!oqj1wFarYKJQ9{X;WG`iMN1Vlm9~Y*yavQk1 z|KR+ydL1_xW?CJ^wtx~Pn1PN=I7mB1$D1Jt;VpsAcpbJ3~9oJ>y;fpfy;`QVSsjOK2*PI5I+0}Ytp?jR=jkn=Ln$(q7mz{ABVJp6`$Qbnh@QdPFw-MJZhAe;)ry`>!BAl&R+W< z4aFz@)loDvn;@cHJ+$Ms&;G*_YkHk_(S*Zt$0+@XHdqzY;bqB)&Qo0+c@eXGc~q?e zy)_Tq0`2QWe21psk=tC%8OmzZ-pv3o#Y|A^X(n2@)v%iy!Dx58OP;$WMsX~%FO44t zT{SI3$JWi7$`8G4XYl*vh1C>kEN~tvF{2D z-Or>nOGmH{ico>>b!-57J|+Na%aX%u5*$P@m=}VpqRWNvu|t|WiGf94ZmzNbMK7iD zX4bb}^jth5|3@hffImZRqZ22Nr-(-obHM9 z$3$wG3Ils{8^9H#4qBB;2=kZnptN`7EBngi*qGFh7}bJktD|vAmbzRz7i>7H3`9DjE-i*|*(8|}U+GLs^=4|r^ z=jKyh#xLJuCb0AYygi{C$xDQ~gtq4yS{rq?+493o3wS--%iwUzdKXkx$?Oop$uQ2z zIh@)c9TZ`fNMB8LyYwdmP|y1cN{;-3+FLL>3iEQk1b6r)G0Xp|O&9&M!q5l<&Tuh< zw2(2%(?~+H5F9`ud(XO<%FqZa?V1j7xcaFIY_=Y6P)_V+bEh3+7o9mOqRudvbi8V5 zjB0Ajf%EeQ1BXIQS1Ri;zmcaA_TiLrB&qxel>m{biBQY2wWT#=a1W6(-q}a&R%b@i zTCm#)Yz$PxGg7iGN~lc|#|#C=Up>~O>-*M|VZSp3MQp{@6;_DhjsMdf8YwYRHNaT0 zG34e!Js%KG0X#{kf~2ZmB!E|>w+^SW3*rvAo}<24+)n^F_RXb}!no6cfsxxj6(d|| zeA>JtFL6j5Skpn1VGmD&nT*S*T8R7~Lktk|=Qh}O2A3sJSKPnT6esveIF&Z#-0R8c zNom}Jk$G|XYF#D%{>}h6moZA~QbL51>y$z(FDVWBRM29w)pHw}r@aq3bMSqaV`fKucwTY0 znb}I2=9!t=GLeX@vpUQ`f+@Ls&_tcaXD1lDwvA8OI;{1HT213KMT&fp>P!g3t-%;u z+0!}Jfh`NfXhW%>-xr|zhLTevkLNOoPcEujzZB7I&7f=Iiguk!$*Mgwx%Mo1WMU@(K8f#j5o^&7kvvf&>g)V3}HxHrkf*j!#&bn{?Pbk)YM`Fz=mZ=%GhsC5i zCpZPjT`a#2=Z7?8q78%RpB#$yk1Zdph0Jw>zJ*qug^b8V)O=F|O&o*f!3D2UZ5;Gf z{jL%`UEfI}AQ;iIA@*kU_>yEEpXt@*=t;Z&8$$CQ{ zEf|SbvO1WSrro|?@XNVf8C1@D$%xiP2SDy6ZYqMl84({}&F(E>s2{}AVsNGG$pFXx ze2{HbA_7!seh5spp`H#k*VV3gxUvenXVRH9k>g6^cgP6h7u7~{5kfQz__eJ#g#DRR zrh?ZdNq{W-Jr`6}W%OT(cI~}^&2b3MT8!{_k+G^%X&rAH8@c2Y6)4@lh1fQ;WoV4f zG9GK=p^bX!1xAuJia^GEXv7>#KuSpZ;(u#@xge0iBlqk}<~~m{rsrWO51h=%7G>pN zq(L>WwzbUhK_7Z9E=P)h>s8fp&hV+TX9*gSqm0KBo!%gG`e;x=}H`rO;n8>VSNxIJR1X}CfUWylx%4*Fq>k0k{d6C_qavcX>F(; zBC!SIlgU?C*D-8AAeGY%YFM+&?%>!;96hq!G@CI^pH6cG$+ zxf+nOEEo01bZf@Wpcx!+HC3sK7C$vmr)fCTJ$!rt7>zA4M97&yTx{WBase0cv)e>nDcP6CGRn}$7pKD5$6IP^CfIYl4QcVu_&N+uvfBg zf8d4;Ts#OVmQ2wLt#qA-I?5;3l&iqkCUq+MiF)Of7W2h8q;P8%@oi0225E$NEW=$F z&;f(%r`mz*UdPpI z%N}v!#4m6Btc>+l@VrKh4mAg3j?DoyoHcjWr@gW#npF#dmFPE-l-l4GR*Nt2E25<= z0L@sbxuhSEFc6K{H}M+;zNrg3P|#3QNLW5rU{xSTb)t$7m$X3d%VE}b@@J%@HesCc zq~phCw(gsdPVkmyo?$>Q3mJZ65^d}&_V;}Lectsp9-G_!c53hU0(u@V?oGjy`GxIC zNd>J9dX8Im+5EH#ez^^`d9+_7D|8rG&mZhi&YxBtbI*K!!v^O*)*oq%l<#PnAdY62 zTr8%xb@1?qa+-9VUVdu*=T64N6;fa26<~wiqYL9Gbc-JOV+mDnVeTMa2;YGtpgJAr ztDI0He!u8rUom?_Ow{$YTG<6(VP5|(ZY94Y+k5jmy*;y8F?5R# zdHSP{^fh(a1wo-Dzw2nDY#$OxPSeBf&?=2f;r)A5+MO>GYsG!%Nnyi7RV|*^DxmDS z3-;X5*y75sJML2b(s-$l9gg(RVwRw+SURF3Tjlq&eY4e z|4w2o-<=%_DDQAdCF1?cD1m19{*Gl?%qRbc#u5h1fJ7nBG4+oDe$~75I_EzHiBT%g z{|Gc1ejM?irz3!A2bRU?Zat^p!>NfDlehdQ(I-6>7ww-(@U9Hmq2<*7;ra|^Y__^V zbt$H-Y+!pk)B_N@mGK2Zat5rYU@+wj!Uw{}$$z|~RNF-p|22oq1vjhSB@h(C%T%DZ z=l&OjtgVb|+z~hkuuB!9wRis{P)b7G5hPmTpLUrHz1=11y z=`ckBO@Utq%6swK1i<>VGD25%N&7%t8qs;;>D8cCNNRa?8F$-Q8fyrZt7Sld?Y|!3 zqG^R|U`Oau&FH~dPTx5f1D~gt-SsvXoZ#x~n9(*J{oa_~w$G;o&KNaItBr(mPkeTk z8#PU@Rh<;^9kI0kU~JTB&dyUqjGQ0#ogJ!675~|g?n-G{ zf^A#7(9$=m2CHKO3)82VeZpovieG1OjuwnAv>Iui)R1h}(=3&!p)Z}|fd3x~mEFd; zv=qf;fPHci^wMQo%5LB$owQqye_An-a&NQL-qVuQo!bl&Sd`IPUFxvwyC{0uDuVe& zS-zqm@F+7ic8mF#QZV&N1eW1^gE2iw&N4EV;E(0M4%Cm|Q6c|QdyiJi z9Q~R1H0|9SHO&$>IWQPF4<(@u_irtSRW2&$LME)zSD6Q)I#p9Jo0Wod-DIG_#PAik zJjfY=oAijz=1aIm|7o1(b5?GCACx`EPVHNn;4d$o50(=FQW>%P1;l#y%AUU|;~#*m zc0eraKVITAu9kO=VBYjq1igDOdiTVs-CEM|@ma2N={o zc75;qXA*KA2}l)8#DUPIj&J4`StXlUG<2R!6FSL}TV$)ecR$uYz!~r9M(qjXSIysO zUmMD5n~mSCPK>P@4II$?4ArelY-UQw)MWXz0P4J|p|_Q>>{?O*H}^+wqI|nn-kS?O z862L!L^!|*8+)mP@@pkS_Q~O%Y+j76S~;*j)$Dn;t&7~Yg<#wqm2~QA`C#*&dnx6s zB`xV|y|N4M153;C+ICMCRZ!)X2oBd4cpgv+-C~fxAQ(rS@Gk8G>*X;+vHsV0)c1O{ z_`NTfw+-mK(2+|2tmmn*&JgPURS2P5HD~|&&?~DygdMB~$a=IuNLz5}eK2YmB_Nw8 z1a=|gHA&)R5=VF`wph<<1)MV4=kiOsrei z6}f?1^r&~|leJAV4TSGr`K(ESUw41+L8FE(m)jSG3BE);^E3;GQATY`dz z)hW;R#PFBu(yv_IG|%N!Z<)CSFN+CplfK*CYEIcW@+=X&93z42XP2-K4gSyLtR3(-kP|)u__w!5nmfzd>z5eU%p8MM~=)Sw&f6yp> zZZsZMdM4nP7X6j@TZ8XC&FhAHx8Sohw$>kLYNj{v3uuu1!?*|ywQn4+uTQzCZw)nv zp>PPzhRz(~8rlG=8xp^J)UB6`-1W~@uYT_R{Nun76=5evC+oN8@!!)sr9LnGoF`g| zu|!ZkvE6T%N9V6jpyCRs#y2WNqK_3)H6s9p3H{gp-~AUWI_^J#By%vW-mVqhe6O#u z{;yXX=Q#MoBU5vQIYS1B5Vli|H}3u~fxpqqSB`Fo^Ne-;Q~L&E?zn36Axiwut%UKY$K|TRMG(ewYOz4w5pI{N>|uOxeiWOO4W zau?U$6j>ResO*uwWkrLOl})0uwXB3xM)r&{QbP6~2@QVdeW@sq@6Ufd9>4$R&pTn!)J`N-7c=q(5Zthx1ti6A8zRlY6@x4#k zyInX(@si8Mnja5a)>$4qfRN)2eQtNOgv#c_jmfv&Fsi3abKcqt2b)Av-)Fv?8kS@LMjD_PlX8*g9aMyWSGvTV#KHHM0D!ChXJ=TweHNf zIe)Joo?InbU73ubPl(Ur3Iwq1<7-L+oE+&AxB8h@HP z^TUd>LAg>T&kCsM8=}jm{fg?wFl;!lR$d>^Ne!Uwl>M&QAgTp`hA`IWfPb zj^&9beM)2imI5;R+t3+wUf-H0wY&QOL*j5r!=-|zLjSXp)X_@fu9tXGCXrOyR7L_`5x_y#<_32DUNoQ3W^!Fi5#$w9F{wm z?e|r}?8>>J<;+WuIjgO+9nxsAGq*1+E)=C4?R0l*?L(Qqyl}nQ#icSWX=KmiLssW2 z+G99;$~X%#SbJ-$%PgmKZj|-bADCBo*!~gqRx&>3(VeG6=Z@lk9S@kNS*Z#1p(VpC zN%vJ;?DCX|;OsbxmYpP=&+Rz(jrevvV@IMyd<+YVdwWLWzL2TJ`Eb=}qf(E|zLbdU z2T0!%vGf5?ihT-P%=gV}+}xY0+?YwKT8RTDde0SnOSnEQJdh_ZX#C)HJ9U!NjIXTl z=awUGk5&?VriBdxzQy8W#cX4ih39)5dS@4i1Hu@sd5?$ACw(V+zBtfqIA?qj8L$uF$sAl6+jG8D^q?#u@ z@N9bI#_afrt1W8|)|r|ctGzG9{HAuJbFo13A8UOd-l4Dv zylF{5(PtusRTC`yQkl;dK&w)qU{^9!nZGN*5uK&iA1F0{(=uv=Ji-33Sd_(r#hILa zZxnUP-QN!g^|_yMxFylo!lGv0LSEfA#>C4y68Fa467}eAa^9)p^ir6}vsi5dulA@B zZvT>~%KR~8s%kOKceX2U%Z<*I`8#smlnqd#@v^vSDNn)GRwsIXA8|DOd{(s=7H&{C zNdDdIyfW|0A<_Qo;c@2XhvzN`#eEz(k;rHMD)!8aW0&gg&&M*g&AZz!#5ZYk zH@8yk+dFIF=<>C#>l0z(*JQlvyqnmTTDHN{7ujc@R`z|l{OKlrVovWJJIg6|pIh?c zr%lAH7z~EFt7&=diAAl5lwKGJlU8GbqRYBO`c6NuQnw1wB;$2FY|b0rO=8wR%WOPQ z7I%C2^x4CEl%G}zb1oL8lluwwJZP?VBIBJKEj0M*`4GF}9zuLGPt{cVfp4a}SanUm z_55rDCiL-jkf}ghw7Xh7qGEXe_cCVEQdLT-Uq z5=uR?REH>=jv`dCY_ubZtwz~U z-DOF{(wrkF`Xz`!%zDJp;jQ1EL{{&6f`%Cm3d~KYpdycgbizITi&`NRqAhBJ4G)Qw zdE?@mzuSkD4f(}5yE;{NS7|X+vy}HwBr5QU#UW=fZU7sz-^HNtu{$bS%^g=8ETucvZ@@ ze(t#Q)wn>k{(#Sq^pJp)U!8gj#^D9eji=hBY*a4(g?>cnK@TK6$%((YR zz^Ct&YAZ|q)1SUlCNNU4PQ*&~YR$j;xiY^fxpM6T2+M>Bef48y(wcGrL-@G!6WfyA ztJTra^6yM0RTk4Zs9b#L ztsV`62f`RUrDJUr>;^XNvG7y7O60AG^6C5MuBq~{NeBx%BUMf%UaQI0=+pIVwjgIH z_AhC*_Xu}bT|Q94)6+41;QhRr$rc>m7#!_?3gU&vpf~YSKwZ?407W$JO>!2F8L~?< z$2>VP_32o4gqa~8G4Zf?=k?by`&wBBZ`hr_W5(#ib+csYG zv!W@#TvL2|u$}w%nM}PeLE?e+P2-tICrOh-`qSX8eZ~Qc@bj+|D&@Ia8+|Z?+2Q=V z(+OtSQITU^eFEjLn}c?%b+wIpNBVb2SQNi>LyXikUR55XuT!Xuh^mT3X}zLuJhbpr zvL#RAQan=Y_!bP?Zqzfu&9bM`_?)~HPPV%xky~t6@2Z4)R`w+(CN>#k$x&62G77p6 z{n`60+zQXkrmDw!kHyi1pL7zJ)5UOzTunLutsYqs+gVdE{Y-m`p@)f?@n5pg8-vRI zPwgluu(=t7bEr#^MEIU*2D|I=XusB`mVbXnykwEWz+5vhRF;_QoUJlU_+>anWnM-- zEDPDa=PpA*_BWJc&WOmGehM*EVR`#;RNS*eY){1h>pqZ#e0YksFKN)f7C=ANtxN4lIaQm`emGy{P<}(G@6HjHn4~i&r96;qQ9$ zq-JlE7&axW2`;Unf7!}3Y;rUv8J`A;dd4f|s&hYq!?L<{6_Yr-jEC2)nYjgXpqPc* z(qU-9O${a=rWAsIkVb-F`3)jV($nwqUxr!lt);M%JfhOw zR8N)DYrS84gt>?4xsDr`(mtP8b4U(aNy?Ak)V4nwbDZ^~Fg}2}p6rOQAyux6FHt|Y8Ln&NOnyCAg z=E$zc7gicCCd9uRSm`F3czD;3o+gZ5sOGg2nR>8e<$;TrXGQ#8jSpJ>km$Mg_HsJg z&(f!sOw-lz0_xfPM%)b&UwW#end65!`_e&5SukfG!{&G7ya;PCv{>_3G}SqQK`CV~0b`s^Yt^ z`G>PDeiTng_)`2TL5|=YaUX9xO$eh$9hys&{KVZ0gS%r5Uwpmh5RW}ksM$7oHs{GF zb56q#L)m#6X!0fpd&KPq>O-C%QHHdv0kMly)IqOHmd{#K>lZZ?akhp2Jp5kaz}}8w zeU-RJhx-m>4FuA4EUo_NX>OJb6ZFp6qG_Ngn%ij_q0KFGG&qMGsGZ%OYGp*dgh7je z8kOIlm35L|5_!Q&$FyZ`o>Fo;bbcFy#nxEGmDVs!mKG zjV1oE@9_v`wJNTNXBq$qCc`c0gF<<3hdvCFf0O8lhl_>-s37Zk=Q2Z0&{D*}ya`v- z;>x51x>nm)F%Whb;S!gdCI+|UBwl^f*JmU;=+>Fo*iiaZ4nbSb-F%Pd^#}Ro+_>Q4 zT#?GG3gjKVFBu6p{Z%63hmR;RJ|j)6cp5ky?fsfkkUxXaC0MDP{Np=|(&U<8wy$-xiwinLgHD z7xdWTpihks*Eom42Te|S8WYt5UE7=Q5~uDRPIK~iVuX)%-SF2KGSYc)iA>av7tzIA z6WKtDK9;VMDCAz_6CD5LV$`tvPdw{+C($h!4+TNp4&%|7zx12BqT}v^WX~6QzW8O9 z^UNfwHfGMRTJd5ORp||^P?mmvN8JMtwwE^eA&R_IM)Mxs@ zN0;ho#kjpdob6KZb_>YzF*EVZQ)mo}iV|6n;pgl;NG;9|8j;uON(%QQjlq|P^?dop zq6$<+gTwE#@9ndTWbYfLJK?Hgz5l^mk-PVZ>I?X;i^Lte?`r69VK(|8Tat^hK=sm1 zRW{e^&npj+N$t;k_EV?^{uiWYv^D+ZJ5gF0vIwZIV_@0sl$l$!w%%ivT}X3z^HWjTFS3R6q^v zBJtBL(nsbnBkLPzUW53rvPPrvj54OTbm5;J3k~)Rmp0V*oxq39=F_upLC$u;A$D^c zu9L&BvqlaUslHCmWt3AHZ?-iBgEGri(>+G}7~|nN4Zc-=9DQVAjKcP9j)kqTrYm%9 zTadC{*oDR*H?c-QUC|bFYhAwaL{dEUm-_1{O*Qjnqs`)b4?0&C&x^ zdhJ2+OSfy!&OR5TV{DGgQrJ3|Ey8sim*Zr{AP29p@^MN2C z1)-MXKZQi2PlBky>Ohdt{QQI%ry_&P!UoZScwvS_hsyQ?0XpMUDgw_v`AAsb5~d2Yz&(7;zx35%!>1P&WzRr0-> zHuNq_L)|ZD)*(=9F*zA6KFxWTh2hJmcfp?&`EQ=vg}!BAc<0bi(`nVEcUH%%)o-$) zxKbDg(A2F7kBvy~5m$EL3 zhzx%6dM3IlM0LLsKXJ_d+QBoD;b&-Kua_#3Gs89MrmHDZ z2@8x=aqj-_kJ*m6+BcO{V1k5qF;t$hPiu?&s^2+~K*&YaWD_|XBvY)YMdzTE_j*PsQr_ELv@QYC4@8gw}4L54I8>zmC zd>Zn_A@|mCmzLVD1mUA`T~q0k%3hSZoN?-d+;@i25?q<{`l{Yjc`R=R?x&vmp768h zR`eX()9!okMs+yU+3sfU zLaEdl701NPo~e(Q^lmq3WsxB83s8|UWSJb2W8v2^%03H@XZzLXURYl+A38Y2hfQ13 zbv$3}-|6@!-Y7?nxfW5AucdoW`(v`~?6t$Rl(3_{egu6lnOA2SGRiu#uQ^tDn(Q(- z@zz$VO7;z-!f9!0!|%7~Mp8~bvF@8b4A*)4@Y+3RqwD0+Fz%NR$OB_Dy6y&CjSA0V zX`Ky9nb9jd8)$e^Pp^BoyIBiWSI@0rYRu#tMu*eXR+8eQ$?E8*>Wq{s=3cWO(Hiq_ zz-wD;KGw;aH_LDt92!!L9kyrhOYD{=MSXF260K&v7|X4FYlc9y4iEpu&z|t$X3t*U zApPzMWv-bwmg&s2k6yAG{k$S+t#n(znkPVhZ$`;sBA*UvS_d!P%0-i8Ik$Ygc6Qo# z793P$H04c`$T|0_i(Nf*`9ojiERy9|--b|&AI_~DOrXn7|M9RfhdGgw)6*_LG_s)~ z<0{=-SC5Q>W@DDOZi(N&{lMdc-P>YJi`g!?M1iK?7+qW?RGOv&3~Hx+t|j{B;LRsG zdz@IgbTkY*MKBrUd&?h5BxXc5j^rru_}+IaMado;vdqCKFGh5M^aFzy!Exgoca}Oo z-kV76AKj~RbDY|#EkDIsQ2mI_i#s(-rQS(B2Tm0nx^tOTZ|o}Hn?rN*yPP_;kj-ON zN=l*WlU+Rr%p@=!TXgR2LQ!C)H`hk}xs4p?+@JR9_rk`lE+&#{oc(GiTT2vH4!?)s zPUoQiTBStRN2o{na^Th}*-NaFs0j?OcDyZS+*J1RKBjBL)J$p%=8ELO zt=&0j`>SAbySo^|8V!E$nf z5xAg)oGL`qS)JsLjf^Qhh14f~KXt!u1+A!j$G^?<8UB^rS%)jFir>FFc)%X~^w{%} zvXz-lcMA%)i{Abor^;(6IaVTxx`+4b17Di?=lK#k3}*jRS@0yxFze^@pSCX zV*)(v!*JQF9@--fQ|jF&72~c4M@2O01MGQMWeIX4UFx_aciTvR>SQ0WqZgz8uqSWG zF|SD3cHz~O9%*8Sh+d8jp%ihnQ;)$O*y{@7_psL=-uKXRA3kuZ_=X}_EU3>Vda|G; z%eh3*myvLvut7!mBZ>|SJ6MGT<(K=%D!mV0-r`x7&VB^Lq2|R^+l9MJDTX%8$m~S7eM)@_63QbW+Qb9;t8cSKY6R6IVE%t-SVzT(YO2fxjdK z{ULb4v}!3MM@qGYa3343PO{>{S za&r&?-y1(;Sj2aWx^5RLV>ge~5DZLAnY-}FJ52$9e+Jdm{!qUHx)|O0)rqbqPQ066U*!3pbo`fxN4=l-> z?CBPTZX4eT{DtpsDTU+1iR2a&FSGmp7!Zq#KjpYO$senXb&bjRdG!Q)8V&F8-iyee zHFJ$71*1=yAKVGvb%Skh!@!X*x_dEM*% zD^$gPALH0Zc-iM3vGSbCT^E0;&qLfEj>KPQ9iGoiWj`w+PO&B$sG$m?kbbWE_>#l; zkDgVLiaW#a$#g>8W<`~)o_|K5YHt+z%1`ZmJ1@@gXq=2?x;D<(vCUg{SU}Ih7&QqESI2mxB${e3LzQ-%kx%kBNt49Y_@_f^Cr1rRR z?aq8kK>LOOVWU(`DxpW*ROLQ`wH2Tl*zMx0o$}ctQp3Bb(lW|<)&lFqL;8r8#f-uu zGMVu%l?YwWZ7mnvlB{aS+H5sJ1YPP^V<#n4y{p?4RORdJX?N*oQ zzGh|TKTI9G+TC;(b9eVtCiCP^f=nlot6S7`yATKiCIB`bhT%ONr7M?%yqyRbq0YNPjH+RBrje@qn?tD$5cEX+J0y!ak3%b{#C%Y>)Qb zM^yh>EHy+|CEBx)zz;#D5?FL?evxQ|XHPPc)~~qolcZGMA*7}KjAoeCqccW<6k@#e zx_LYekM?tG)tvGY#TF3~I6CCDq%+6wefHt$C)SGh8JzpT+ca?7Fy4v2r zYr}pNW^A)u_(q;zyNq;n5LwiW?TP_}8oOJqZE2AF^0{MIm^yW;1tisuca_yjzq(Pj zgcXWIC|*2IaE~gKVTGc(t0pI0_R!ur@292L*{yx4@2O3)Q-SS$`B>6CshaKXzg6hO=R1ZjEfpyWIlf_*PG0k9$0p1uc#{Gx|=@ z27cyGWtLrSFRUKN54fT6WeYjoE;tj~ET-~7U{(xCBnM4D`EZ&g9gfPo!~{R_!CtM{ zvrvQvt=VJfAFw--jMratc28Wgfk5Fgjo>>I$=SB&UHpbTG#@N15*|@=b#)MLtY_Sc zuI)lHG-k6SMCGKCt=vJfZl@diy^4np;x);>J2kx0ol~JTdBlI;B?ZdS+*7RMnno^x z6LYC5F?HyRbQyzc-K*+kyKGlmYNYd@1>G?kqG_)zKO{ED&(6fv!FwQ7RE^2(TGi{| z&v*D34U*{b1oWaB{e*2q1f`0@_CL$Y>oGY=#x^F?NEpGFkp3p-x^QBK!3j6cr(sO` z67TNeJDhnzQe=EH!tOQm>3gMyEy@n<=keMzYI9H5z!m)uHhCv|Mv??))LrDEE2oUO zN4?B;ETJ-l5>Lnp-sHcEJ+=<|)o~ z=Mg`WF#MRmRP?PtnHvWg6kx9#1}_s2`JUb*wg0{l;bYDK9&%XK2s!5#1#cI*paeD# zkpN1AI+>i)DQRMwY@)H8>NjqynGDM(^6g+p1DOu0edvO78#|tyE3SG>i+AQnqDlg4j=wKqm%LT@`W>iL&lEm^e zNA&JKA&vBwdMb2B@g&OoiIHD&g6k!=gnhjdjK|}+*&U2*NhTHbM2F|)hnGfy5gT$@(tt`WIzRU@xo8(nTL$2)*}E%y5IboUY?>+-{f+C0K4MAsst z_CzLey-d|jOn$|YkcuNUIR@iwS)T5iDHWNAIzQiBm8f)LxJ>_&-J%q+Jp6#&{bh>$ zdvUYwd_Br&%i~ddqpwU_Hq{R(jq~bMe_nK>DRD_gyq; zY5pWb$D(ndS>k$BJppY!US0!lgC8$DX;?HfpDd{{(#FU-#lXyHkI88`3SQg_b6ldi zwFNEPg^3uj5@wUp2jfW44ZwV-yy=H3g* zwM2Aq-J(vy6drEYL$u<73b~Fi1hudCgz1D=n{#k7QhnsiQOPg;{2?m;YFw-g!H}-+ zJLkOOZ_LWNpR=#d9x^!m)cMGMfQysL!`p=rPodG#PgEbSa3Y| z2)S0;l8~2bSk;l(F~346ujiS(MJsF@WNvN*oEG%0*elBi+aI}WVv84V7t^6If1%gV zdU7x|COfUwM>EGLks0tVv2*3gI5J*ZW=Wb&bQVeUaDEQkQaSVHeudx)_T2;HDBc6b z9va$|qhSFhb95&yk?OCnomOU%HEfEltBFQGW9lnVx$@9DO6$=TSFt^m1?i>_hw4#)dcvRfyY#ja_+GOsUr z*`7cRSBfHuhzPIdAYCDg>EUA@Hnx%sWp@+zFgO)-l?JbVFKx2bX_4m@@xedD((okv zsU08dK4UhfQy?#PcuzMiJAbieKin)f`Uc5a?Lc}T>Djx-A9*k8YU#q?OfoCl2L+$J zHPJ1Fcv9 zh9>fh_hFy&N}R=qZ%I;+-@A04H906@j~$-Vo1}sp_zbgMhEJFcuC-Ri4|q!*q4hBM zw%W0Dapea-bAhkc7EQBVNQUO$><2iiE*y?8O;kTj=ON?NHl0&{YjJgyqz>#sXf*ua;%2i#HE{p=ZJv*$_%ub?t7#wO}6KJ}0*2Gn)r3H~r>Nk_u6j8UE?n}8H zRTXrVUFD#L!o4xhOpJ8c?&JsR$-&H(KBM*QcMMOlUm*LguhiY)MBB8VUzGlVm~iTG zorL<@N>U!epCyf@@>=^Jh*8nlzv`C#nJ_UR*wb2+SNUb>oKtQIl1_Ja=qXc}%F`u5 zME{cb=ketq_!+5s^jk1+yVw!+*KDjxmc@3HKS0_vZ0K=PmSsJI{4yx&QJP zrGv8R75FU2`;Q&>ZyIsWu0>IlkfJ%y1>*(Of$fu?CX zp7WI!H{)%gNJ=e+Te)4t*D_L#Vl+=#1odl+Pv1N@xr|r#RrLE7b>1%Y6WBb3f)N0- zh9_H|YPATUv8Rv%yK~7KmFYCdih3vXiD(ZcRS;+r8~UX&p zS3n&T&tU)DQ>|8X-kzSu`(Jvn+r??9zm^?|he|{1*YKw=UX!Hac9qfX$vXvx2IrOH zKb~tL3PRD#$l7IGptyaRy!vLUQbzj>_l>|46g6=M6sak#Eata7jD+@mV9jT0>dzVd zM*Tco+q-4xSTTpi<>M2YmLH-WXkX(C5R7q;=_i*^6(wcrbn=IP%+C$C5=#5@VmNbr zwe3{T`SYLng0`sAc2N!*Y*M=kS)8mV2gu^NISGBn-d%nsiP|q*R;_GWL=CA|WpryI zi7sZ=HgS(CNr)&@7Vy2wVIzIy!ZA@74^QNoz89C9^QN=kzL)X{-^;q!HgOv_9OlQW`uwtZX| zT-n|@(xKnx@mKF7qLpVAyC|P#-=Ej+_Ku(Ctr@9mG~Q!X$sh`t0o%FLz7vn-gq2!D zQj_dTsuwAxV4C^=vIe!$lF1l4nc_AE2D|QFFw}O@1e@)GU3e`F9icseo!}@)w}Ksl zgCp#0!A`l(Zs5wYXp|O>zv$d(2 zGh7%0|MlGw_cmbxIKsu&#MIHr*v`=uE-VN~7=kQ-U^v1A6ba~nBh29l3pm1(1cd~* zt>6f2IKl?d0Z0ec0lWKx`T>Fgg8+3daD*!yg+{><7vX0~*0*H-%_bmHh+~$HPR2G54>I06BE{GiD-olR}D0ihdeuz_U=-QR?5 zsK+mOs|Uv-k^gTTB>#8cgFy+w`9b^f1C1*LbSV~tB@qUrWI^C8LWA|n7%-y;9Rh$( z=suJm13bI9Ggv+b^8Zf<$*=nukQX|jcln3DhPV9pb#Jc39g|tbRPo_@Vf;;@I3TRVIg5~UQ2_{ zxXNGzNuV=C1XL;Lzye8wo)rKUUwa403(Cb^gPCwN=;P2K0M?a5XJJ7=FG$Ct(4c~A z>%hs%x=cXwu0o5Ff6aZ}qXoX~8 zi$fTwb(~xPBLy~W|9$+DiC<@kDWKg+aA)Xx!+~q-wfj(>-v=ZYP^&`cv%i(x#<7D8 z(8o9>2+R#&B5pr;c{mC}Yrxc~!f`)609R^o(6YER4Y1?<+Lb08G%`pd0mcZ8)7+4O z0S%7JX9P#%4C!y9gfmiL9oX94HN&-LsL;5ANq}7fx)yhP&7|TMx`Dz?fcUJXn?j}+ zmt##Eae^;Gn&5SC*hVtzB6G!CJer zhV$b}BLRjG=wDnuTR8uktyr_r!0O|Y?clhn13&;|=m7%2rP{;6A`fsyvH=g^ZaBh$ zQx$jR1jKdy3TOWX*6RmB0?w9h3hj+XfP#BG-%fQ!Z4?e-fbz{~|^a z5WB{_KM&y&er1rcbapyv>L_bxV-Fe(m~a53WbLf&95r#g2A18`(%4kvxC{V%rU3n! zo-}l{aatoC$_DH_?g1AY02$Fjg24QrbTl=wG{%7!9I6Ho$lBS|5r+$$P1oK6N37du z6r_9*%BHsF&K7X&dOQCHDvCCS<^UG10To>}qYI|S0CcTE0bF6AR_m+c+!H1~ys#M{ zqCch{byDi~mwmLDuy;+qjFIyBXAOAo;Q56pd@-q`Zto;$?~1Exh;|+yPJpq#gz@$C zEjWAZg28%M^OQZs``$e2)>VUnkMFDDB39@E`pjIHV_Lg{!SLSfS-+H$%Ew#3q@uF< zb$|DNXx0$Po}MvsSgG-{`^6_*F#YE)Oyk6%wsBt}?!jP-&FSRpEb#TUz+bk8U_KQ)67{E}l;!|!bbj*l;EP0DH}WbreUEUr`B+7I4&V3E zyybs=k26dh_5e)y;6IOiOACW7U8v9R0OwxKhd`s3{t>0iJIZODRi%xhl(L|s^`7Cy zDJb9OT-(nCPnQ3itlIz1SPM1G>)Z8uc$btw!i4+uO6+iG1M(4S$1l9lEcxmkZQ+Gq zDje|1S8uTGzY{2JDN?<67M*+ofcLoD`A6^Eb!+)b!Oxb8~(R*Lll>Od^=|cE6j!_PawXO2A@uY zJi21cJ9ch^o%^l7As)@x?e)J9=rOUK+=Pm6{9Vrj#JH?JK!61F!)QKr;X@->!j2h&?bd@jvrO zVgLE-NB(rB4NTcQkK~J3_&oV25oT|Q8`SDQhsJK9w!ho~9XsBm4J&6#*Jp9<<(n!_ zf@u=SsJT0@nK&4XHD*V7|B<*2%6sV(#4eznn)`R=C;u#E>z(lsc?Zoz`g*Q;0ALdJ zI5033wj)Rz1?j-6mmN&3AJ>2q;FrR6R{I9WbY2(`B%if}*KNGx_Ak4BCLJ9MEG``bbmMy z0#rKF(ya~imatF5tvidEesiF=(AN0Huchz3Z4Numrwz_0+^jcD&HC4<1qM^AP5m|D zyR$Ujw{-T>s}(R;;LG)O_1Pz!7ks8}9h2+rh|&g7@W;~oGUVW<y-@Yx!ow5Nr}drM{dJ3rz1!vSXC`GtwSSd**Xo;Bb!;|+1j z*KS9pLqFY_DbiPqfmSumoL~Qi;ZoS~l}otEU-2C+wLwc&dz3y~=M`*Ck^e|u>w6!% z*(FcnEn#=qwSiqYrLH!*rlnxLQR~umt{qy2;rmSR53^|gpL!ntFE}aw56y~WR?G85 zKHTEDyE(Yu8TJa`Tmd2-i|d7Ua#ombS3Dw1n_JeuL=Wk%jv{+{}HPVQxY4n z>;Itw@c&I0sP+Kv%^qlKZ!z~BSPkB52I0?{LN8XJ@1>zBnch$KJA>p6gXD*VADVwn zg`U@YmXkQMxCYrvo!mQh#AlXv@YRMMwDuF}Piw0VV5Mz(xFut-nS+pM`F`I)SQ`}2 z+EUG#uV25quK#xBhtAp*&AB#c(#H2d^Nu&>j~e_ni@dnbt;GVIqrrV`t&{}yj-KCu zwIDtJWK@g{LJz&BYZD9Zr+d!KR6wY!*I{Rhp?7`Qyt1yV*2T$p8q)EwCsjLL@87Nm zIkZ+sZ~)%-_6|(gsLLM`0^WG7FPaK9T8lOFp$_QrtD-wrZzHFEPYOfQwB)=4pEklL z$UOypUf>2VrRkq{Je?anos^w@EL#MG#zo_T;)J1u(OCXpvGSl0UB7~d$=bPqh+!bi znUbXm6a*GT(S_osfl#Dt5xY);=v_`5Vwiy#k{cd&G&OX#w6m3i;-Vdv6G4ORSHXV} zz!4?HkLE$5xsXUMZW4qnln+EgJq*I1+FRQ>TU#2zT`_#%A1~a(+1cJn1c9*meT&b| z(HuMk;?|nD7=xf=8=tZ_F@qaH(P3>(*5AOrfjDUX;VJ1y9L;D`|mUi2&MT?8WcJ3uV*n(RJ~1U z;0yNOG=3zAX!ln>G!n$S+mwb9=7+-TZA!y{xRW4q+~zc}@yI{4pfLZYA%&m_h?}29 zW1+}~o6;9t2C#6l4`|9V#F-}(w|A!|ZVDAm87 z6%rKwH%$n{@%<~GFcL&L{5y^RAH9JV7WzlOU_d|r`+XQBP?3MV4`>o7Xejjgt(!1N z&~SgH0e$sP9~1x)T{pCwv!kJ