From a96b71a8bccb99527f5f3d9e55a3462b591bb20c Mon Sep 17 00:00:00 2001 From: jaunatisblue Date: Wed, 22 Apr 2026 18:48:06 +0800 Subject: [PATCH] =?UTF-8?q?baseline=E6=B5=8B=E8=AF=95?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- tests/contract.py | 27 +++++++++++++++++++++ tests/search_tree.py | 56 +++++++++++++++++++++++++++++++++++++++++++ tests/tree.pkl.bak | Bin 0 -> 292402 bytes 3 files changed, 83 insertions(+) create mode 100644 tests/contract.py create mode 100644 tests/search_tree.py create mode 100644 tests/tree.pkl.bak diff --git a/tests/contract.py b/tests/contract.py new file mode 100644 index 0000000..b78cfed --- /dev/null +++ b/tests/contract.py @@ -0,0 +1,27 @@ +import time +import pickle + + +def run(input="tree.pkl"): + with open(input, "rb") as f: + data = pickle.load(f) + + sliced_tree = data["sliced_tree"] + arrays = data["arrays"] + n_slices = sliced_tree.nslices + print(f"Total slices: {n_slices}") + + t0 = time.perf_counter() + total = sum(sliced_tree.contract_slice(arrays, i, backend='numpy',implementation='cotengra') for i in range(n_slices)) + t1 = time.perf_counter() + + print(f"Contract: {t1 - t0:.4f} s") + #print(f"Result: {total:.10f}") + + +if __name__ == "__main__": + import argparse + parser = argparse.ArgumentParser() + parser.add_argument("--input", type=str, default="tree.pkl.bak") + args = parser.parse_args() + run(args.input) diff --git a/tests/search_tree.py b/tests/search_tree.py new file mode 100644 index 0000000..783a02a --- /dev/null +++ b/tests/search_tree.py @@ -0,0 +1,56 @@ +import time +import pickle +import numpy as np +import quimb.tensor as qtn +import cotengra as ctg + + +def build_qft(n_qubits): + circ = qtn.Circuit(n_qubits, dtype=np.complex128) + for i in range(n_qubits): + circ.apply_gate('H', i) + for j in range(i + 1, n_qubits): + circ.apply_gate('CPHASE', np.pi / 2 ** (j - i), i, j) + return circ + + +def run(n_qubits, output="tree.pkl"): + print(f"Circuit: QFT {n_qubits} qubits") + + circ = build_qft(n_qubits) + psi = circ.psi + + Z = np.array([[1, 0], [0, -1]], dtype=np.complex128) + bra = psi.conj().reindex({f'k{i}': f'b{i}' for i in range(n_qubits)}) + obs = qtn.Tensor(Z, inds=(f'k0', f'b0')) + net = psi & obs & bra + + t0 = time.perf_counter() + opt = ctg.HyperOptimizer( + methods=['kahypar'], + max_repeats=32, + minimize='combo', + parallel=8, + ) + tree = net.contraction_tree(optimize=opt) + t1 = time.perf_counter() + print(f"Path search: {t1 - t0:.4f} s") + print(tree) + + sliced_tree = tree.slice(target_size=2**28) + print(f"Total slices: {sliced_tree.nslices}") + + arrays = [t.data for t in net.tensors] + + with open(output, "wb") as f: + pickle.dump({"sliced_tree": sliced_tree, "arrays": arrays}, f) + print(f"Saved to {output}") + + +if __name__ == "__main__": + import argparse + parser = argparse.ArgumentParser() + parser.add_argument("--n_qubits", type=int, default=18) + parser.add_argument("--output", type=str, default="tree.pkl") + args = parser.parse_args() + run(args.n_qubits, args.output) diff --git a/tests/tree.pkl.bak b/tests/tree.pkl.bak new file mode 100644 index 0000000000000000000000000000000000000000..a0ccdcd836285ce03454ae3ebc1cf330e5f087c8 GIT binary patch literal 292402 zcmeFa2b@(!wmobeOn?X&K~Yf=TU1n36eDJ_EX)Z584o1_5>!xBL=hAN+9phx#hi1t zb8d6aIp;k3t+m&=-S^VS%)FWR|K7ZZzhCXO&)%zcg>`O&blr1KS^UDq7ITa7zbVB< zv)YayHFD_iVFM?O8$P^vR=c5NCJY~a-Ia189ia#;Gq*njv2i_85b0< zH?`RM4IVpo_~3DaM-Lr7-U4oLu}@~XA!dh~9cFg8*%4-sG@F_oX*QZY%Iqk!N1GjO zc8uAvW{)vD&g^)z6Uv_d!X5a%pPp^5VHellV?s5Ock6em?k()aJpc+ z;0(bG!A!xKg0lp(1ZNA*5u7VHPcU0>zTg5uvEV|%MS_b3mk2Hu%n@8BxLk0B;7Y+& zg1LgL1=k3!6J=~piO%B5eq^edNs<6zuzjEnUF8#`-U%B)vmwx5auUz_-OTTjIS1$d^ zrC+)9E0=!d(yv_ll}o>J=~piO%B5eq^edNs<6zuzjEnUF8#`-UxoCmkbV`?uR{7&NWTi{S0Vi>q+f;ftB`&b(yv1LRY<=I=~p5B zDx_b9^sA7571FOl`c+833h7rN{VJqih4ibCeihQMLi$xmzY6JBA^j?(UxoCmkbV`? zuR{7&NWTi{S0Vi>q+f;ftB`&b(yv1LRY<=I=~p5BDx_b9^sA7571FOl`c+833h7rN z{VJqih4ibCeihQMLi$xmzY6JBA^j?(U#0Y`lzx@cuTuI|O210!S1J7}rC+7=tCW6~ z(yvnbRZ71~=~pTJDy3hg^sAJ9mC~ zDg7#?U#0Y`lzx@cuTuI|O210!S1J7}rC+7=tCW6~(yvnbRZ71~=~pTJDy3hg^sAJ9 zmC~Dg7#?UzPN$l73avuS)t=Nxv%T zS0(+bq+gZvtCD_I(yvPTRY|`p=~pHFs-$0)^sAD7Rno6Y`c+B4D(P1x{i>v2mGrBU zepS-1O8QkvzbffhCH<v2mGrBUepS-1O8QkvzbffhCH<y3we+i&e$~>iTKZK>ziR1ME&ZycU$ykBmVVXJuUh(5OTTLAS1tXjrC+u5 ztCoJ%(yvy3we+i&e$~>iTKZK> zziR1ME&ZycUybyuk$yGOuSWXSNWU8CS0nvuq+gBntC4;+(yvDP)kwb@=~pBDYNTI{ z^sAA6HPWv}`qfCk8tGRf{c5CNjr6OLel^msM*7uAzZ&URBmHWmUybyuk$yGOuSWXS zNWU8CS0nvuq+gBntC4;+(yvDP)kwb@=~pBDYNTI{^sAA6HPWv}`qfCk8tGRf{c5CN zjr6OLel^msM*7uAzZ&URBmHWmU#;}3m43C-uU7iiO21m^S1bK$rC+V|tCfDW(yvzf z)k?ow=~pZLYNcPT^sAMAwbHLv`qfImTIp9S{c5FOt@NvveznrCR{GUSzgp>6EB$Jv zU#;}3m43C-uU7iiO21m^S1bK$rC+V|tCfDW(yvzf)k?ow=~pZLYNcPT^sAMAwbHLv z`qfImTIp9S{c5FOt@NvveznrCR{GUSzgp>6EB$JvU!C-;lYVv5uTJ{aNxwSjS10}I zq+gx%tCN0p(yvbX)k(iP=~pNH>ZD(t^sAG8b<(d+`qfFlI_Xy@{pzG&o%E}des$8X zPWshJzdGqxC;jTAU!C-;lYVv5uTJ{aNxwSjS10}Iq+gx%tCN0p(yvbX)k(iP=~pNH z>ZD(t^sAG8b<(d+`qfFlI_Xy@{pzG&o%E}des$8XPWshJzdGqxC;jTAU%m9Jmwxrq zuU`7qOTT*QS1ZM=3^sASC_0q3i`qfLndg)g$ z{pzJ(z4WV>e)ZC?Ui#Hbzk2CcFa7GJU%m9JmwxrquU`7qOTT*QS1ZM=3^sASC_0q3i`qfLndg)g${pzJ(z4WV>e)ZC?Ui#Hbzk2Cc zFa7GJUxV~(kbVu)uR;1XNWTW@*C72Gq+f&dYmj~o(yu}KHAue(>DM6r8l+!?^lOlQ z4brbc`ZY+u2IDM6r8l+!?^lOlQ4brbc`ZY+u2IDMUz8l_*O^lOxUjnc1C`ZY?wM(Nim{TiiTqx5T(evQ(vQTjDXzeefTDE%6xU!(ME zlzxrUuTlCnO20o3tS(O4S*Y@8>a1nJrUUmxKX-s z+5xx;BE5jU(oNHjz|9cZ9JqPfJ6#UA1tMDlw@mw_%LBJUWNYBo={D&Kz-(_PY)fx9BI8*sOD_p}qRA0m4I_eg!(8Mr4R0T|N$ z=_6*a(5ZNENe|kXL4R|0T2LTUC4^Gzw9)idK;DGedvEk4$?5Q$$7rN2W3D13U_m zQNU5@(djn8(TI!zj!DO++XIh5WE^l@IzHVII02D~z=`Rx=`O(I5IG)rd^#!J9XJ`0 z6M!eAC#D`a1(B10C#5H+{eh>X`(hWS0#C)&sp+)z0N`neoDMuaot_>HJOhy#z!~Yx z^ibfLh@1sHE1i`d0X!R#bAach=ca>!=OHp1I6FN*9R|Drkz!zRdSQAb@FGMm240+A zl1AXAh|B@bNiR!}240TH6~HUfE7P&Ss}PwBoSR;qjt5?Y$hE+0)9cb>f!8B)1Mr6Q z#&i22xBz}wSlSoIyiJ8^YqdRICfcsC;V0PjifO=kk{ zL*#zo{pkbgEZ~EPJOq3weKr?hC(#rS<7`zy?I{BQb4E zpG|KBK8MKjz~|E!(wl)VBJvXOrS#?WHsCAiU0CI-z}Il~TKal=FYpaS-UPmxzLh=z zd>fH>fbXR5rVj((L*#wn`{@ViW55p)`3U$?`f>Us@DoHn1%8@-mOcag9FZ@8U!-5A zWx%fx`5O3j`b}C1{1%b#fZwIxr!~MI5cv`KWBOBC5BwRCUx2@)zoyRue?#PV;P2_* z(ieb#Ao3^h&&b0B>C0ynM@Q%N>BTXDV^^^iJY)!Qai-tG)e^ii&XP(K;!;e%i}cdG zGEQry39${+A0XY9SH@XJX+mtr^v6gq%PZrwSDFwzF#Q?Q9eHJ(<&-AG<(d8x=@oco zoE4QO#Fd!-2I-Y~Wt>h*6Jlqkzejo%UKwXqr3tYM(?21-8n2AAy3&NW2GhSH-IZ6y zSyO33T#M2s5zKtK8x*h5J|^fcULu=k{Iw4eYX_NU<{gRvKVqwTE# zA?`!NO$K9M`bOJN0YcoLhMNq=0rZV_paO(=5DhmOjDzVL?GObBaR3cB8H_{e8|^R! z2=QJS!8npWw-EcA z(zn1!B?&Roa0|gcioVfCDL{xv({KyH7){@3V-z67u{7L5Fpi;bv~da$;&>WvAs7?r z8*QQjgm^3sw-Aiu=o{^L1qg8x4Yv@C$@GnOf&zqiA`Q0?j4AYuc9H^wcrp#Q5R6mk z8*Qorgm@|qw-AhJ^tnOUz0>Gh;B+MkaXJk*2<$WH8*PRHggBFi8wAFg^o@3w0)#k= zh8qON+4PNejsk>uE)6#bjPvLlZMFi0cs>m`2#gEp8?9IYLcEZM8wAEh^o@400)%)8 z4L1mkOX(YJjsk>u84WiGjLYeB`PiE)=v&}QB?<8=8ZIB~x%7>8wE~2A4GotM#%;ncyXp>MQW1qiW@hEoTlp1#o<6d=S#8crRIXXzX5IRyyu zc^Xa~j2Gy0Vwm-d^eym`l7#p&4JQWnEA)-_sse=g8Vx4~#_RNr_J#t4_$Cb}2F6?T zjrO(zg!m2(CkDp5^f@f%^d5Z+ysso7en7)v!TylG(LPdu5I?5juwZ;b-)NsIK!~5w za9A)tr_Z7o@eBGE_))-^5pp{^8!4iTc1xpE*7PJ<$ z5wr!^6fl!z=v$y2Jj|C6m!;wC5NJ=|XdT2L#EvwaI2g;(H`?-I5aJ3nToV{8(l^>l zVi4lWG+Ztio#-2_vlxW93JrGxj8*9yt&13hxEc*N35?b08*L3S2(c>-_YaIU=^Je= z1qg9%8g4BZ-RK)_9R&!nI}LXojCJW7tw;evT#tr=fYF1#(biXh5I3NqR$y#M-)KD* zAjFMmC?gmf(>K~C3J_v18Y&FNru2=rnF55kISs`Jqc?q{ZJ_`mZb`%Y0*pTNjkc8n zgt#>gZy7Ln!-}?z0))6N4eur}wxiD*26xl;^exa=NkZI#hBpk@JJL7WP6`m>&NRGX zz}SVp(RNjU5O<^D4FksR^o`a}0Ycn^hBpitp1#rcRDciz4R07Q`qMYsUJ4N6-ZZ>n zz}Sbr(e_n<5ci|u4Fksh^o@3a0)%)V4R07Q4x(?ggB2jeLuh!zfH8o+(GFFB5D%l_ z4FksE^o@3e0)#k_hBpitgXkM=umXfQgoZZ^7(?kBZI}XtIGlzz3>YKm8|_F12r;GM z4FkqV`bLWi5aLlZykWo?Mc-&gD?o^&X?VkcF@`>G2iz-T>096!B?)mH4Q~gq$J003 z1O*6jA`Nc`Fpi~fwBr;Y#N%mrJAg5XzR@NtK!_*M@OA*>MEXXXq5vVDM8n$wjFagb z?GyzFaViaO2QW^hZ?tI&5aMYxydA(eoxahgD?o^6(C~HuV+MVr%~XI8&!pk)0LEGL zjW$aGLOh#>w*wgG&^Ow-3J~IXG`tkhUrpa=*C;@U z*V0gIFs`F-wCfch#2aWRHW)Y3H`+}K5aK)(P8 zgN9;*aVLGF-K78_-c3WX!MKOM(e71%5bvX**kIgG-)IjgK!^|0P;4+BqHnZ^6(Gb% zXec%qkJ2~VV+s)B<1`c-j3?+D?MVd)@hKXL4aU>-jrNQJgjhmDvB4;%Z?rN62(g@o zVuMjZpHf2SO8OS4Qj!p>X(%PwHS~>Es{kR^(NIb->ggM;K> zgBXO^k%mHnu^fG)EiVQku0TVfz*vz!Wq?L2(YL_L@Q@_LPBfGOfzI@ewu%^pxGD{0 z0HX_iqpc zqlmuI)>D8Gd(cn@FxIDUv<(y>#0_aE0~kH&8*L*62ytT?$^gbD^o`a_0YcoAhBAP$ z8GWN|t^gtSrlAaAY(bx!3`g++?t~rf;-u6d=THX}HN?Y)9W{+bckb zeQCJKVC+EOXgexEh&$16lfl@TzR`A3fDm`3;UFN5?C(MJ zEpV`sgm?%Iw-D?B^o@3?0)%)N4Yv@C!|5CC2n7gnAPu(=j6w8`Hdp~d974k_1Y;04lel7u*sh8qO-vGk30oC1V+JPkJpj7jv3Hdz5eJb{KA z1jdQdMw_VsA)ZOY4FcmV`dmKtW)^)5oUJ4wo2q;d`8D({aIKPrcpVKF2ln;!jdp_qgm@zj7YD{o^o=%80Ybc)hKmE^ z7WziJRRKc0jfRT@<97N+yF&p&ypx8D1LH3GM!Q=9LcE8Div#0c`kXq}bsv2T+^-}d zK0w2%gZ&_VqdlYmAwEpQse|zdeWN|903kj`!>NPuIDMl%p#UL1NyDjw@f3ZdJ*@yC zK10K)gHb}C6T_@a>06*oNkS~A;l#kMpl`HF1qiW6i-P?YeWSgt03p6Z!=hlkOP^g(?>+h!cwb3E{D6jC!2U27 zm|i@gc-AsUPaHL2O)#zr0_;ujp6uEBj8qvtPxp>bv;W{OW!U-_@__*Ya!oZhjr#-LLD5{Cd8J zU*B)wH}pOIMt)o-_rN-Tlua1Hhx>bo!{Q~^*i_-{Z4*ozl-11 z@8);+{rn!@`#pW|{rz5kZ@-V<*YD@|_Xqd`{Xzaj;v>)xq__6*NKhBT$6Z}MftUt~l?wLX$@Qwai|D1o`zu;f= zFZq}KEB;mgnt$ED;otOc`M3Q${$2l`f8T%LKlC5@kNqe9Q~#O&+<)P}^k4a}{Wtzw z|DFHd|KNZ0Klz{iFaB5moB!Sa&Hv&542!woTu5AK<-+1FEaAeEE-dB3(k`@ip^Xb| zU0BA2b}lUILVFiFxX{sstZx{A)VP6;ab76lM4shW>7Y=gaU>6Q?VSo#Vx^S2ahr4iu3j#=9`Vg^4a4 z>%ws^9Ph#;7bd%Kf(s|QFvW$FTsYZPIqCt3um}6!-bhHoaw?@ zF3fV_Y!}XP;anHab78g%=eux$3&k#6=)y%VT3-esK*@atNxYdQ*T)5qZJ6yQag}Yq1+l6~vxYvdI zT)5wb2V8j2g@;^t*o8-2c+`c*TzK4tCtP^ag{NG2+J$FaC~=|Gg)$e)U8r!O(uFD) zs$HmYq1J^u7wTPTaG}wKXI*&Ch38#(!G#xHc*%vAU3kTXS6z6`h1Xqp!-Y3pc*}*i zU3kZZcU^eTh4)?fz=aQ8_{fEiUHHU>PhI%Th0k61!i6tg_{xQ^UHHa@Z(aD#h3{SX z!G#}P_{oKzUHHX?UtRdkh2LHHn+t!q@TUulCBY>jNkXe6ES`iVlCWeFmP*3XNobvf zHc4okgk_S@E(yyfp?wlMB%xyxmP^9&NmwBXD<)y3B&?i-PD$vTgjJHTY7)96VYMWz zo`f}$&@~BbCSk24teu2zNmwTd-IK6x5{inGDlWwwptVI?2CW_1vS{tmI-qq#TMlh`v=z`+L|X}M zWwcIcozYf7TNSMf+G=R4qpg9~6>Uwlwb0f^>xQ-tT6eT{(TdR4L+gRIKH3Io8>00@ z+X!uAv`x@@p>2w`8QSJ(z0tNn+Y+r0+E!>=qiut>E!uWy+oSbG+W~Dyw4Km)M%x8# zSG3*Gc1P=nwg;L=+Y=4oXk*aEq8)=a4sATz1hk20 z$D$pFc0Af7w8>~Epq+>|1??oXlhIB=n~HWS+BCG&&`w92j&=sx478bOXQG{jHVf@+ zv~$qTMLQ2|Hrn}U7oZiRU5IuO+Qn#>pk0bK2kkPn%h9etyAtgxw7F} zK1cfk?Mt+;(7s0d2JKt4@6f(S`vL7ow4cy^M*9WrSG3>IenH6|5;(OR%<}n_wM5cfq=XBEfos9)k4+8wfTO^b~9)*jTWMpqF4% z!DfQZ1-%7Z2(}dT5o{&cTCj~^TfugM?FD@WI|z0Z>?GJ(!2jcdwz~>;6YMVNC)h*a z1$zpDpub=*!QO&>1p5m16YMWIKyaYoAi=?cLj(f^hYAi894|2__3p5S%EO zA~;EKvVi{+j5SOZoGO?mI8AW6V7lN8!3@Dn!I^@y1hWKZ3(gUoD>zRuTX4SM0zt9h zLcv9Xiv^bmE)~oXTqd|&aE0JX!Bv8}f~y7B2(A@eC%9g4gWyKNO@euXn+3NBZWY`n zxLt6E;7-9^g1ZIx2<{c!C%9kmfZ##FLxP6|j|d(WJSKQt@Pyz=!Bc{#1PSMZ+TeZdEU4+S3yJ{Ei;_*C$j;B&zjf-ePM3BDG5BluSEo#1=H4}u>BKM8&o z{37^O@SEUw!QTXb2>ui-hJRAR=g$ceK`X)Hf+Yk?3YHQqEod!hBWNpFM$k^Mtf0N1 zgP@~eIl=OR6$C2^RuZf%=p^VYSVgd^po?HN!RmrF1YHGd3f2;=E$Aj#N6=lcuAoS; zo}h~8woZRY$E6-*i^8YU~@rl!4`ro1$_it3APq&BiL53onU)GU%?K7 z9R)iHb{6a+*j2EbV0S@3!5#uH*i#S${RMjo_7?0T*jKQhV1K~@f&&Ey2@Vz25EI36lRdA|cn&33S>4NEkGXygPGX-Y~&JxTL zoGmyo8WfA9fCUrcM0wm+#|SGaG&6Q!2^N^1rG@x7Ca(&RPdPK zalsRUCk0Olo)$bKC=rwj$^_+t3PGiyN>DAR5!4Fm1oeUjL8IVV!E=J=1uqC*6ucyO zS@4SBRl#e5*9C6~-W0qgcw6v};9bFcg7*a<2tE{iB=}hHiQrSgXM)cKUkJVwd?ol= z@QvVG!FPi11wROW6#OLkS@4VCSHW+B-vxgY{2};Luo!*?!ax56iJ+BWalsOTB?U_f zmKL-Yv=OuwEF)+qSXR(p&_U2qz+c{A^yLLB2v!uVBv@I{NzhraieObi7r|7xWeEAlOl`lVE4TE`nVJy9ss|^b_nM@Pa)BLC{~Ymtb$f zK7xG({LLE{w!h#2!GVH<1P2Qa5eyIQ<41g8m37fctNA($bUDL7MbmSC3PY{5B#a|P!KW(&?2Tp%bGTqw9maIxSL!KH#Z zg3AP#3$74cDY!~7S8%o98o{-K>jc*eZV=okxJfWiaI@eR!L5SZ1h)(B5Zo!aOK`W~ z9>KkW`vmt39uPbzcu4TD;1R*2g2x1p3!V@>DR@fowBQ**iJ(+aCMXwF2r30tf@(pH zpjJ>Ps24N{8U@b^o)bJTctP-@;3dJ!f>#8u3SJYuE_g%mrr<5X+k$rl?+V@%yf64b z@S(xPS?#j-8{{6}f?p`%cg`jJMb$0N--2H+EH`l2@DYP?W?ZJ4f6lw%>b5 zc=nrlzmK0@JY?3=L(`F?hK(COn!mo_@Aa3P&0p`+z?*Kr>R< z{}22XKR*KtzxDss^DT>R{6#nZ|HvCZ&Rdel+y0SrUWbMMoYN9eMoUedH0Ji978x(UE6!aR$;p8ihxqigby;J%#L$6#gLLsmFuB zF3Rl4tS7?J4nyLw;z2x4Ny@>^K@9k?{wP{>+H%op%SERx|F504cN@qyC%E zRWCYJz35Q&qC?gH)ldYPjgDhX0qpY8da~pNb{fpNjckI@g!(^S@A@|7H68uZ`z_MLz!v;(1?w z$NzB`e4{@*V1M-s+XWYI`QU&SrOUGK>o=`p{^d148sV?TUeLo37CfH?J@laE z92fL(gMxYIJ(xgSi?@Zx8r)Y!c@J_}(5x0T{sKn(PuPM5J;$L*!v#LC;jf>|!0l_W z?aO~E#Dbpru%M?pWHb3cw`mJ}XhqA1QxrUeV*ck$tdx6(#5(xBL41xHEQIo38S$@W z(T}%(=0lzTL-`;7fam?_T)@w|1$_Jpo@7$^!C%l_pZ^ER!ao7|e-ixlry>8(h`;}2 zl7C6?7a@48fZ<7n<{$FSKXMmo^!J}6^Iy>@|A{dLAJF`##LWLmY}4YQFijud&Mh7R zv(ADZ_|mK3@h)zt&F@?nn9)gqisGGm{`R9|4{;NL&a!)z>ul+1o z^n|1Qzk&YaPdNJj^L~Ae_iOfyDBd}GPE`KWpK|v^{_~ykmCj#h-cza;-KL8k#Py%_ zATIpue$#$-FIM;*u?{UB6ShW+XMt_d;;~;_%>SIPg2$Nsx#+{O=)>`!^x^n7KBW$y zvv=%sw(Y;|!FT#Jb@ZF@UsgKOz~f)QH?`wnK*Vw6Au?U)Zclm;llUe;)Oo1a3MQ%|3aTdxWN4@+y>l5t(M}yE-ZWs z3m<2`eL8kw4|tsKUR`RTPZs-PZDnwExWg*Yf$Z_|etQ?#Pznx74=fQ+8WUr^OR){}8BZKE3(h`)7TN zz4>o{Ao+jLhv7f!Y2^4bVR`%5WK3i*?J#m*cP6Q(8Q%d}iUJ$rt{2@kO7{$NrbREdZa-mGsA2?y2?j z-3Tr3(3Ur2%e$}TO_#gl^l@Eud)>3>WfY5EM)5!TWfb_)(Aj=8w0w_6%NJMd)Z$$o zEnmWMWQ%ufw0M!mqMr_nURAU3fB0J6ZSvkRW zLNon!49%p0hhMnywP?ILlLj6`SNm&ubu|qb)AhXvu0Im6xwhkc7{AslSS@=aPz!n;JWw?J9#u7B=xG%#8X5rjfsqAzniVb6WM3%lL zJMtf;Rvg6SfGo-B>OFNcZHYseJUmP03iCB{c}G7nz$ntvjFuaKUo^lC(KN}?B*l!> ze85zPQVYm&G^oo;F2=6gekgqaCzj%@b*H@75Hbl>Oss%Sxa1XyHEABx9 zk2eV3V92ZfH1HVWAl`-9b^XoJ|=F<5)1gQMtqor z2Qz|>5YK;{v+#JPzHc#+b4&2{%N$uGB$;T1S6yz67e}s)*H(7IYby`Nms$E~&dsNk zb3NyOH)i2*x%XXa*uy*qj*nxyMfTp!E_k0M->121?!B1*jzRKYlv!|m978{CLyM9B zT1>oDQ$y#zBBJ+eHoxUlXR-(SHMl?Xhb>sxbD+u%#S1?9g3uB6iqPHd6{G#|vQED8 z^GLkBa~D6H1#|BZZ6YwpzIr)m_L5JPY(5?SFMY)&*6_}$$nKm|{HYxB6dHKEWvBYf zc{P;=9z)aomAslp1CJq`%;ME)H1HU@)L+aiGnXoKiNA}XOK9McHOJq>t2s3A7`n_~ z!K=$?;4w7UU&Sjka}~PN-_6jSH1No}*Wb^pduiY?g!hf|>OmTK44vpt;?;>X@EF1x z{e8GCUbNc+9)nn=e*nQ(EeMZ6tiVq}@Iwp2V-RcbCnNZ&1>rG>t<XAzEX!Z3U( zm&Z+s?=t*l7RG8c{rDrpzh+^+F4fi^zh(H3EPNN{Vc&s3nPrwnB7xDMe4Q(g$=ye> z;&MzbnI-SR_kr~G)+=nfD=^tUOHRY9T5Sq=Nh>ssD>2zROWuVAV$w}-e{K4%Ph6d} zRWh2sHZ(UIpL4&QlEp40b;?N7^6Ky%vd!Nm;xjaxE3d^)T?;DfHMPytXnqN8bCKrP z%r=+m&Qjg7Qg~x5PV_I}J2W~_ZC~Wzt&w{dEyGR0taJ1GX}>qI@%mT2g_aM&T(bEE zvUn+Nga1LVh{daC@d8>_&b_Y|DZP^x!TCBiy;WA_mnf*(ltibdX*N%(VF9nkEjTO= zMS5^YdTK`&@J8Cg?-aCrvn?k)-!~DOx~zipX+?ak?dJCG+Rg>9#MMV5``ShR>vj3k zUcF*B|Em|=tq*hW^v%+EZ!g0i74*)&>7d>E@BJP{+>(2@S#~$+J<08}6YxCso`1@{ z;ADFdUMIaVUgx|wUJK1vI%i2PCjV{A}E{v;ViA;E&sJgLceruEK-SxdYAl?@{(&>rKjdQ}dr#M$;>q zo4Ct6C0g0x*WA(S=5A8GYvG%gH~9OftMPtjj+fstzn8Mza_?kraX4GU7OpRUUD^Ag z|1Af<!UOP}n0`95fdW%td( z`}3vH4DWB2KG}Wwl4*wfnx)V19(?gM!?Js1;hp&=YKC_vx83Z;+j%oQiG*<(0n;-% z_%?1XD4xRX~z zCjZ=wpQ}^wPH_!{IYT>)75?%);+X1%taib|s@Z+<&%U7?l`m%Hv$D!9fBSx0;hAC_ z0BQP_(Wv>Kp~o8v{H7wa?QP<>=idB%H2ac+j;J%*UJ8C*-mA?A@D=I0tD0&cuQC_p zy_6h-pz0mD!ugXr%wDkGVru!XO~;}y!+MJt%da{<_gZzU@n4w7-FdGz$DC?gyqLUc z>;AD>US+eKuT1_R&t|)22d}xai{m6VzTOPWPZR$6bx8}z=8kFG;WF|*F*QETihRyj zoiqHoS^6x3m!N0mgBf#>3xi!4Vy~LNGWS~hC+rpXSJ=DmC)-Q!AI-fq{wkY!Q!iytH2z60oNU>- zx!2dDLQ}^lvNb(mr^j*FZ=eg4@{auB95zmMAMe7YF3fS^G8Znlx7Xvi_HkBKXTH%3 zOcVhV-J7yay>R#&#UIMO?f&v?SoLmVp*ALm1z%+=M<u>!gHJPeCr#kLo=?)W}aA7?2n z&z54#i(fPKeU`$m{^YnK?rQv*skgIKt{N+6`xe`@2I2FJ(Dd6MP3bFVD~?N(^Lxf= zlVDKpFE&AQuzgsDoIf+pG6`q?9fic?xhr`ib|5o>;Tq=~aarDl+;rSB+@ZJ}$xCEp z4c$Iz9vzGQ-a!a08T=K>d^ zY|~;7#w~uxt zk~2Kx%r{)#ob!jCz%FC6E-i<~a(9@%GDc3Ku5 z?!xI79&VOC@1+qgoMC|xX6Z9L(}g1~AUiV)r!Jgj;nXaBvQM#d{hUlZ6_aB?iBnz3 zrW2=I;?yj0nhV*4;+d8>ElXfN(>0}djwPmNi5V_8sd&C6W@HJ>=}b*4USx?gv&7Xd zTno1-Ty2&kx=nSdK3H zX@NIr)8kyr-H_#Oa@_XZGOxAVO<7LMyjj~HZ?N3WSuVHIa4Q0Fp5^FrJX>sTZShv* z;+-(fOUTU>w?)V;=RwjQ$!MCfCWaZF;X-cqkCXOPMmy4lra9i?Y`0U|f=EiC(f7Or&RLkm}$rOzT&E>v5f$}D|`-*e#u3%qBRKEoe7ytR=-%6^=M|8U_? z3;$u3KH0WaVG~R@zKKmOGM5Q#)~edC_^u^Z&6b3H!H#XDO^Y8=j!!c=us603wnOnt zroPQm*a$4TOzVz6GWBbg!m4d4w)Xf3Q%kndM+|GR#oJn9f@o}$rA+#ettu|d)T>!R zRKr*w*l-^@YJefQ)3FO_t7jFkLR&@9igK&%M9zvC2iwy#q2`<9md2YYu0qao8RsvC zqY!zM@5U}&vo4zaf+odh$1NG!UJ+gsL`HRElW0P=962>KAd=e%kVPf+a6L`B$O~R>3n3aUH zlhDL88ndW5GxwbZbf1!aqd_-u-z4migdLMGI0-|NFgyt(k}xz0!;-Lf681^LzDd|G z3HvAEfF$IO^Ra4EM|Ei;Y!8u(vT7~sY?pl!{%W1M5t_@loP}np+8VrR%?sF_*qi&? zE8E|lTAaRZc}TFuNkcB^uR0!N%N?17n1rK}Fe(Y?elWhGojv7NyF4ukrzPR^Bur1j z8A+ItgmaQ`ZW7K*!t5lRpM(pN(Bc3hht2N@ejbO}rc(KJCMV&9Y?t$UH*x11w&lWF ztUt8eqr8cPY{0k;H@a`O(Zxx)(6*-7EPeiHydnt~SwQxREPP!OuClP~by@h*BwTD^ z*-NwV)k&CRVcDy*@MTH3+`^ZcrOzSfCgDm8$j;5e*CgRu3twZFKH1kN;YJHwZBs&E6@^Q(J~qv81FqtMmY~aGHzgq(Jr1$NO<4l#wME#f zoNw zMb&U1s}=5lnNGH;IG<(bxejI=9`=kZzcRW`L$4xw3~uSSB4tY&cno#+tMIBb4LpVp z_I>P_)*05dPg7UFHR_#XL3m_h2n=K;;#o+<^I=qCA_nV&qhsuIDN`3^saAHLOlQl` z6X(o2@oZVVlBCNsQsP(Qgs}D^dMvqu-<($~(7{=?_77CYTMk3+>TVd3x`H zB6_N!19zKqma1Z;M~t+%NL~CAT$PzF3a##!WXR0w3N3+WOK*$%Pgz%Ztk0u#AjMJ( zuBPBNemi#Fh6Wya*4ZBhW~DLVF}!M1ff@_1+El=A4{p5$;i<%u_H^r2ae{AKk4eSn zkd80HG^bk}?u)OJ^h!oL-cRDBj;Ddgev|zPyqZh{k0Bh>WGBdcTqu-IG;-4I% zRa@=#V2|!3#-$L6ZL_dWFz)1cU>{4jXS!pS?&_CfeKTEEe`&uKLrc@Z<6K+&ZoFzu z1CJqeCQ`8*j4CsQKG|cu zN$5esx*4I3@6L&|p@GLfMZPVs%oHiqhQ}$ zL%EZfZCEn)=IDL0(ZTj9g4)AGDYGbCiZJeWXDO7 zjpue~Y0i8hB)(mVXli3_|T9 zdJMkht5h+L;<&@Iadq%c{IN`=1qthuJCPSBk}y6ae2;^D92AH0`21{*f+Ks3y-fp; z16TW6URBe;V+bs-?r{oBPRdH!u{unADz1xsO|E~9ul4l^pJ8EmD$8)4CC;=&T~l!$ zIcz?nhY7~B!HB2BpexP~;w&Gg1BaGA!z=M9Ap^22W#OfH9FSqzrL!=Kv{s#XK8MGZ z$}Ht{WDuiXWQmot#5#7a5arO1BgZQ_sX5uCltpI|FqxGz+I6H|EgFt9zK^;1cWK~p zC*Jcv^6EVrcntmQKj4*_pB4H+$02`U{HG?CZ@@h6MC~Ga?5gvUs1tAExVL8G+Sy9~ zlSj4qAQSgyi3OamjE|AncRv-BBW&4tx1u$o!=45P^A zsuQ0=-6CA&l?h#N6-zBaH@`=&Vyxw)Dw`)|^)wCiZ=yX%T0=(b#RouhlCr(B+C_ZM zG{dq*S$I7cHnZ@0X6bV#D6)#`#FtRF2v#|qhy@pCdi5!3(bKf(%Re${;1;1~25s0fEWY3ZY;{~d29 zCiQm)=`#3>|BbOao5DxzV24SOS!@|( zes9X4S6lW%-`p8hkd`2+6%5Dw*nh~;&3vpW;9M(1pVGhsOXpZ|4TrXUHvjBk>)*)y zL!CeNpRibLjrv9YlctK^xUn6_UNIZH`2ekwU6|~cB^P*zHm*)e=ZvzkZ_km2&Ql9Hr&dHfNzNvO>A^7#1XfRY2O7q^&a2EPoDXHj4%x z$2!l?=GA#L@E98JaRL`W1COEo{Q?w+PNxG6JdR^0fHC;tpcMH{6nxb`LyDPK z6?(*$4FDs}s$5tYaM`neDUfo0kk0G3J=2Zy|Jcj1^8+m1B zoTglaIE&%ankGZG9i>K(^O%}ZkectLbu1?3 zd{J<`*-kU(&N|zig5!(fFd;a!^f~*_{g<5O=QQvTV)rlDH(r8zMgEJt{$Y7^i|?bEPYPt z7@g29vU9q;RJewRamkjg$-*cyT6N;@s9S_9@yEJcrMOr-CdOuo^Xz0WtHi}Eab9z& zQO(tsw%n*JmrI}u%VN|+S)e0Gu`LWIjv3BJ!%%lLlUE>l*^GP$4>of-hnS_$8n?M{ zjs;|I%fiM+26>FyiG{jkh0b>2Te!W|td)&o<-%Q{$LqZz-y`dfl$fC1mZRm0+8)GB z$=^8Rk9XlPo2TsfY@Ua^Fww$?o2Ac5jB_FD5Vt@929z*ygSthyYASQ0D#h`ZII+3VNvai(v&2cwr7*Tt z3%RZ*fDuoE;S?|y2$)D7C**3KM&{IvIhW_Gxdz#}*$9vF!D0+QYL-6hKE{LD49h;2 zg{??<0#|Vc>K2*X#K&=NB+j!0T_)7SMp3_FPHI;3q#k#Ob3Aaa$c}@f${f-z&S;Z( z_?xqlos`u+B6lqP2umK9g^#yW>7>RhQJ@IN)HN6Ik5!j=jU|rF5|{AYJL}6{l7)@j ze8}A@&f~mp$mV7JaB3YR-D(Bta@7~x0ekd+Aa_XpI6EhACGKR2yR#Ax@|-+}e$Xs^ z7I@f&M=bELS^5lL%0u~NUuu>zz3k903&q!&dbv5Z;3L8DUDDpp zX#MygagN!~EPamYc>tMV`)!i>4DZR)$qeslmOjIWC*cSS9B!6A!&W<2Dt^deKg}PO zsVy~7{1J&FTs0N6p{#8Dl0Cnjzo!V+KR1E+Gnv0-%x*mN%*l2$OP{maipQZDmfb1~ zZ^QG^49jklh5PW#G{drevhdbP$U4NOmgUU1&Jw7Oao5q%@lVdD6$l)7T|0h_g4P*& zwMQbh&9b>(%`}wCF;^gSxs1745;nIfZDy7}%Xj7BXU?>%S^5mGnS|aJSko+hhO>jw zbl7K&ENn$^f*P~yg5iqH&C1xgRxEbqd^%5x6aEd7jaCwVZny)Yd9j-DlK(A*etH_pdr^JzNYlGTg{F}q)u&Fk3W^iMpD z%mEp*ZxXh*$;kH2M&5x3fH>0~%+lvfhx05D!^6$eXLx@e1!8!Av-BB8?QK;)4#IHw zer}eq>bYKV80Rx8n~zd9P7`4~328<^(H5MhVJ4C}He(LvsU^;8uvz+?6%H^BvA{lN z=`*|^4>*y%pIQ10@6F>*4DW50ep8XK9j@XO3|C|>6BrbghN@Vc%K1#n<})Pk{FL>a z$?WM_79Bybjs?f8jCl^3voa=*=j>vW*~u(@j=Xac4zj?`X6ZA$dlGiDfb8yBI8AVb zhwG9}v#`|;yW%RIkKyno>SjI$z^NbBjTdn~SLV+LM2v&ckiCZ4In7yg+$Cuu1RGj) zZY1;ij5(6Wr8uRLX6bVQhwva3!-trq&+wr@WS?)z z3$pNJ9ZkdkS6DcAObtbF3XT=xI~WfC+nw<-sLsZ5(D(-D^FcPBGwc+dvRT>qH3^>- z5OB;+)eD*5lKF)(C(i0Pbj;`p;|33%FmlZ3fkVfP8$P~xO7X0=<427gI(*o`k)wz4 zx+uLRO=h*;kHLPUM~o@Hpm@EhjL%wP2vqmsX*TWUUf z>0i?=H6Q(pzouKNkUnu%yRqYjW7R{4j~_pB^pV9Ey2Y>>{D%!)d?dFGJ67Zun{7L{ z_^9DWa&Obt-i^<;VPcWTU);fp%V9r|Yg3TJeUO)HTaas2kXxo8w|GIWT|sV%g50tN zxg`s7?F({C734Y;K(s~-wrI3VVx-J@S+Pq4u7LxF(Nm*^Z0#cVk5|U{TG~D8Ol~yYx ztq%gLZBRg3y^w@tx*-}q5P6kwR;l@>C`x;Rz-k*6kh&I&O+a9^ zUInDJ3Q0(&o1)>vmRD)*Legd+u-fJYq;7>IB-7q#_-N);TBne-1qiIRWdW&sAqmN} z4;ntmd6m{JBy9x(t8HCCDk>x)nQnuIk9}UH^$JPbg1~Cq6_9!ql8{WdN5c<^yh`gA zlKO(cYC9B=HYg+^neK>&A1Qg2HY_CV1Olt=TtMnsNJ28*1r0xd@+xgqNZJ(yR@<$B zv~eK`$#i!#{J6@igx>_`-F-cVZ>lJ*0E z)%GtS^(iDFnI3?KA7XixwkjkY2m-4eR6yFgkc4FV|MB(};C2+r_wNnv!5xAJcemh> zM}qC*9^ul2BqVvbJRCys1b26Lx5XBBcUf4LWm%SmgqL2^hDOPJQz zpuqz0Y(o@i0}YbS)*f<55lfgh)S#9CJlmcMw2=l$XUoYUMJ!?3ScCQwfM*-3K$~cg zbhh@ELyB0!)K7zk3Ba=rSD+3JlFrr$Ii!dsOq*)ZJ_7J;BNeE>21#dYlpIpT5~cwf zG+F?jty6(E(;(?=?JI{Av4m-J4cboto^5{x+Cqb*vvq(RQp6IbEj8#s0eH596i6;V zN(-2DwhopU24pktz#3uzwXX`LIq=+RqBju3NlSpl+K}QL|vmLEK+iQ??wvLfQN>9SHg9aTd0MB-u0_~_l z(%Cv*4kts2k^dwBX zY0xPG@NB0l(C!)}ovqX4kkXSd4b-611>o7nDbOGdlFrt6Ii&O?OoKJ(3;}qyGZkov z21#e@EIFj~Busl~(Afg;Z09IYOM|4db*>yzdJ?8RHRwD6c((Hu$Z3#twl0uEN>9SH zmj+!Z0MB-j0u9w5>1Sd>L;#-cQUw~OLDJc}Ob#hM3Da;5x?BLB?Ft1N zp+VBwx>61)Jqgo38g!KaJloX@G*W}4vvrLeQhE|5xtLHYiocvNEiBgw?s_?-xFpz4 z4Z1-9QW6O8g=Jq2xKRKebW;iPg=IetlFru6a!5%?r1saKTLj?QZdITIG)OvIx5*(T zAz?aDgKigqXS+jz4$>g$Y~3k`l!S!oU=6xU0G{n`1v*57q_cI898wYzrb9L8UIBQv z`xNLf4U*2*{c=c2NSL}b=m7zEwg(mHa1D~q)nS;;BqU77Y0%RG z@N9onpyM@2I$O`kAtfPU8lyqa3c#~Hr$8rYkaV`5mqSWI!ZcQcUJ!t1dr^T-)FA0> zy(EW}goNoN4SHDsp6wL{I$49Hv-PSRQW6rTQ#9x`0eH6873fqAlFrr}a!A2Qm`>B6 zHw7TeoB&@ePS=391mHn$mmps(#%Yjrw%(CLmU$vIUW48hfM1@3(hb;4i z=}Zm!KmeZYLj^iZgQT1_Q?4q4_2)1?~ptpGgR-xcUG4U*2*cXG%wPna&(pnnL! zvwg2XS7?xQw*D!HEc1lvN)7r!0G{nf1-eRuq_g!eIb@k9Ojm2rPXh34KP%8R8YG>q zf6F1uJYl*vfc#bF=^6i*j&|q&CLnNG%L)8?g>&t|$RZ@hFXbCFrU)29-9+J4!g!-b zqu)&oVp)?3^d=3R1jOW@)DqvU(dc)RfmoJkLVSycP7Y%7Php8~)oAp)DM2hNHX*)E zL#F~U`KPwTw`(-|-83MU1)LDyp`p`)nEcaO;yX1O{jL{?Wj!avcWLPKASV9|miTUs zM!%a8#In2-;(Ii7CJ>W{)G4e z4V?qTi`E z8vSm55KE;DY#LAZYC5=YE zTLnf~>k0SE8oerDlvvGjzoOCTcdNq)%RS+KRioDcj1p^F?$(eKuQ5f**I{ia5*3m7HVv)pfKH2U58Fv7Y|xZl?34FIFWhL-ysjYhxQ z2u7$73HQ4iy)j@|#f16N@ScWk0vOT#tPAgJH2Pf!jIfFm7e3JFO#!1sf6M)$Mx);i zfDu-4!u^p(Zw448Hn-d#Yc%@Z7BIppPPjkO=q&-G#8#I3Q;kNy`yGt1iWBb7H2U{| zQDSS${kcY?-)#dUtm1_GPa3@~V3gR-a(|)G=y%)02&*{Z{!*iN0E`klTJAqW4TKR^al-wLMh^mv z5`!)G-!vNiZU~I9iWBZ{HF^)gu+j+g%lGdZ)&h*^J*^AhX*BwsgArC*;=(^PdN05z zG1PK@uhHmtd&3ATE#dyBMh^pw62mR`4;qbrHv&djX$kj_8odu-lo)Bb|E1CBccWm0 zm6mY-q|u`RqeQ3W{#m2Z@AiceR$9XSZ;jp$FiPxix&Ncl=ywOe2rDh&{zan?1dI{~ z8E*M`v4#WS4u%z$T16gyuAFXK4*`xMhgx?3yXF)QfIAFUSZoQq|7mdw?*fh@hg)|4 z8{`xYfI9+KSZ)cszd=k2KN2{s3F2g-g`2FTxTAn0{AlZizg0^L2f!TzE3Asd3xD&L z6n-pl6gkea`&+uCZ~)x#u)?}X*!^uYQur9)C~|^j_czE$;Q+X?u)@kn*!}G|Quv9$ zQRF1cK8=9`;7*1W)<(iUt%08c97RsG?9&-I0PZwcVRaLD=d$MeI^4x8#s!bW7%gmZ~)x7u)^|4*k>{D^MFGF z6X(~(tOj>JaD-oAy_n6w0dN<>3JIKeF}s0Z1RO;!w(N5lH~{VvSRsKE_BjpwQs5|Z znPs2LzyWZV!wLzUu+MGaR{%$mD=qsx1`dF`3RXzqgneEEzZy7-Tw~e&&;8Ry3V^#7 zR!HE4-QNr#g8M3J1X54lATs;)TEWQVPEVIEvh9+5MfF zQaAwaE?6PO5_W$>rWAfRa1^=6vimz+rEmb;y|6-xCG7s@4k`RT;3#sxWna?30dNn% z3MrPbFJ<5l0!NXDEc?<14uE?YR!FggeHjCP1UQO3YT1`HZ~)w6utJI@?8_PWAAmy= z5a)Aid4qc#IKrQ>UaVl?0JtY%g(OJ4Skb_r0*)e2TlSR<902!6SRn}#_LU9%8Q>`L ztYu%tzyWa2!3s%`u&-+1&jUx17cBc~1`dFG5mrcogne}be+f8>ylmOmFmM3eE3iTm zBCy687~C{C(gk@_}XFz`y};AHoXLl(27T;2!~pKoaNY zXCs6A7&yW|v0iL!-~hN!VTC{@UTk9Ep8-da&n}R97Vpg z?3)^P0NkHpg+M0k{SEvp;4suAf&&chFTfH0we?~%0|&tU6;>E(;>G3${ta*x`I}|m z!oUG=-@*z*P1v_I@V^5GXOb~)WpLjCNBBRi7r!%b0NnSmf-{L1zc=uI0ta~F#nu|v z+Eo5*{6nhk6M7p3azBRt>W5_gx7Gdsvi;lX{-13B_PYOP+rNYE|F`YmQTPAH_V1+o zf3f}k<{;IE#I?z9@zNhtg?ox5{q44YS8ZR|et%Dx#C{^%?{5y1^iOR22kQPwZ2utL zKdJ2>totXk{X=yBwe0&DH~_9Utg!ME_WccfKHw-azhytbzyWXzzzTIEVL#Bo z7X*$X3t9Gq3>*NrFsx8@683`)d=cO%(#NtNV&DL{MPY@Sm9QUb;EMrAk;N_hVFnI> zTLM<7cnN!#fiDRhMV7MchZ{HmZfRJdUMB2E82B>4QDj-mex!i|;Fg0Gs%^r4lz}e~ z97R^J>_;0o0B%KCp;jmC#~AoZz)@sn%YLkZ1K?JH6)Jtgew=}?3LHgNv+TzkH~?;S zSm8X8u#YitY&0B2*0Ag+7&riKO|auEldz99@U?)$>3}%Dn>o?o)&`F7zSfJA3>*Nr z4y z-lz-*4waZVU*K;rxDmh+zE60S(B5d^0JxE`LM2Y%HyQXS;3zWMvfpgr0Ju(Ap%N$T zw;1@oz)@sB%YLhY1K{?D6)JJUew%?G031aQwCuMVH~{V-SfLUp>~|RW!N5`E5X*k2 zfdk+Ug%v7s!hV;59|jynx-9$M1`dEb99F2r3Hv<;egtq7InuJTkz*|T{RR$zI~G=`#0mQY27VlH6gl3qKWN|pxG}IoB~I8MGVl|CqsUmx{;+`q z;7)`UDsjU8h=HF397RsH?2j5a0PYl6p%N$Tj~V!>z)|Eh%l-!g2f&>UD^%iy{c!^y z2OLGlTlOam8~}F)tWb#)_9qSeOyDSTmSum+zyWY)!wQu+VSn1d&jF4i=UVnZ8aM#% zJXoP%C+yD{`1!!0q!Q;V^|JW@FmM3e zrLaOtP1s*F@XLUs$mN#(B?AY*T>&eU)P((I1HTeDid<#cUomh1+|{r`Nln;aHSlYI zqsXfTPIGmi;XQ2f*C| zE0olP{cQuk6*!9AX4&5{Z~)xxutG^q*xxnqJAk9eotFJQ0|&s}1uK-)g#CR3zZ*D; z++*24FmM3ey|6+_P1rv)@cV$H$o-c6BLfG(Jpe0|)P((G1Ah=Wiacc5KQV9s+{3U! zNln;4HSkA(qsXI{{WAjxz&!>ll+=X%bHL?U)A|eM$ANzW4Qgd#_Jx5z2^^{!alS}? zX>d;gNBGm>RYLn`0|&tU5mu;X3H&Pqe+D>;JZstiV&DL{=U|0umau!?_2gC z4IBXX0jyBX683)?_=mtzE%b0Ec=*oG)XO7~J20BmCR&Dxsa!zyWZ7hZX8g0-wylzXOgU|FGhRRZs2-~hM+R;V`#e0l?)2snyNY}scp zZ~)vSutL2_*k?5GNr9utWR`s<0|&rO4lC4~gnecMp8`0FOljF?F>nCfRIoz5N!VvK z@Tq~L$TXIHHUkI1O$#g3n}mIK1D_5!iuAJVa~L=PZhBau-X!dE8u$#rQDjETK9_+5 z;AVmq%2L8Uw}Hw z`3xKYHz%x6I1={x4SX)(C^ENYU%#m< z!UjG+a1>d`NH<;=oa43Cq5ufdk-{gcS-$!oHM&F9jS$mbUCm8#n-N8CaokB<#x= z__DxJWI4;etbqgImWLGzN5a0Gfv*4@MOL)z%NsZVZY5Zua3t*hfiUS>T^TqmZQ^{z zSkd5C0gmuhtrsg9H~?-nSYc@=UaV~3s{==oH7vV-=1=N00B%iKVQDAq{s}xOd@bN8 zvbJUSkM~L80Jy%e!qQII{bPJm_&UH*WL?YdpAwY90dVWV3QId-_YXKp;p+oOkqs=n zf3`;o2f%FzD=h7V-9Mrwg>M8LMK-qV{#h<5900cotgy5bcK@W86y6UwigZ}^bqyQ< zw<)Z!v=es!tdf+yKX4QoVA=gMOj0-iZZlY6X(#L(82IMEQDh6tzM+8w;I@PnmUhCv zk%4ao97TR-+5Iz6Qr`h^zlRl;cEY}ifo}~Q79VkbP4_dnZGaD&0zCCah*}<~+H*f&lj);f3{D`4uIPWR#}T0`HE;mj{;zuhKCd031aQwCw&#SScI;cMzE87+@Y|-@<`YR8~9526+~Kgo@<`bCFz_RQqsWn# zy=CA4xT9c&<&m)aM@glDJQ_HP9Anx26RlD>0Pa{=VR;N0HMl`zQkkz>R|y5;$QWZQ$d9qsSSSz0<$}aA(2_37oL|$A6{M zc@}UKIoq=PCxfMM0NgpSLINl3{;^^y{9NEDa-L=Pk0?vw0J!sEg#=F6{Ug3o_yxdG z|F*9fV&b_NU?}`>_UoGjJ5S#j+n~-~hN=VTBY+*pD~x+kit7 z5a)AijKSRw9N~9ZFHSIU0NkChLJ}lij5YAPfTPIWmi&Ptrr&>H~{VySRs&!7Z(}$tH4p@HOqdnfdk-PhZO>uuwP=}ZvaP;H!b_6 z1`dFG3swkZ!hV^7zYQFQnndt&gL?-!!r!%CTw&k@K~STC+MZ~)w=u!1v*7uOm1XTSkodg0EQ)IaGm zKJl_o>yVDN)@vPYZUg^=;5Ii1O&6N8(cFk8+~=dsg&RJ!xo}?rc?2r@!tcl1T=)TZ zn+w0RmM8W4KbXqX$Gs(OOL)VXKgM7t<8ne zwRMi2e9vL~4j;Pj;6Z*vCxdC1!L(yA?HEkE3xjEQVKD7345r=jrX{?41#gnTU;6XM z@ccD8e>NU|s8wK0?HE%##?`jV)VO}~DAV42z^ngvuTFQHnY>M8yaSS7tIsrRm|S^6ToE1uC;jCw*=Lcyj$Uq7 z-%Q@=ZZK4H3e}WycuF5eq5c0A%1#&kq$uvfQs8zeg_lj;h_l%=jo}^}1@2i=AVb@6 zkC7r~!Gx!{)A<-lsJq%inB-p*w{^O^bfg^DA*%r=Ee4(>F}EMH8A zSP&R27wSY2Yn%ZY=0^$oufp>DZ>2JQXGX{B6n&?nb|chFtLf|l(GL7+T`@(T_24rUD zYBI+qFoi5tSq8|xj)~)wh~=$OSgS>+yWZH$DK`JJwaWNREOk6QB)QN3PTJQhS%iK< zZZaX5QbO=QDODVPQ4RlpBFmw-%g}E%L*GP(jtU)0Wh{^3%>7?I*)b`@43v}q|NRsz zs($eO+qyd49eU`w+Ly1fy`#Uz#1!ptGL-Y`Jw_+o-KF3?I?U4KyVdG^z!;}xpm4EP zgfcLB=@vn;H#jnJr+YZZRqz}RuK)5Dq_HSgSsz{aADlDF*?-IggJ-Y*z6*s*Pg@1{ znC;kO<`%*KmtbV~g4I%ZmcfWcIPTXLm(9|Sa*UBfo<$WN7I(X};TcfzBoo1hOX;{l zj&0>QPLAW{@W!5GXZg20f+{@zO^gGXkRtnKHPRJ19X+RAaSQv80PU^_P3gqD!jU?` zempt{Qr_RUM3ztzMa6cU|N3^i7qwt;cQvu~uJ0v>AN$F2oF>P3InI*fY&p*L?#CFc zAVS{A8%T#dVX}~i+ZOWN+Cmw{fJVYh3}pNKx^~GOix`}b<`y&z%w%{qC7Nl_^g^>d zniwsu($eR}Utdwk4}&sm1N9C%>+T;}Hs87RW%=Quw7$iuzaz0!;1 zb5moC(}qT#^H=y>h>r-0K1zzj#}Ro~l^^AxtNoxq2Y;%E9d8@S`#XkDAMNpuiTt4P z3WnG4k+K{oJ~p@GV{^L;w^J+P?H&1H6n8+3ca#kGqAOgusUJV~wBr*wKlZfqu61!S z_2%-GbIdztES&UH;4d@y3cO-o+>KZC;VHc0;F(XW;LX+1?0{x1G)%Jn!mDc3w9J~& zo722W;b0k`sX~XxqVHrhI+2?kRwFFud-8Js@8|m?6C-~1q*weVfidD23Y6sc3XGA? zjF&*k(GX*i#MsE-RGEkJc=@Yz03Id z&&*Hj_=Uo|o-9>gd`HMJN{-QT?3-3-U!8rY2kj$Ex33%?=nYG--$(UtD{yY;>U8fL zrDp}~zd-m04gFUjbA)IH4!?c%-NKJT=9sT()s9bnA-W6c)0p3NF++%57BKB8`_pt36l! zLvwU6>(qn^;dI|l_i{H*-!2s}9jxC}R{On^<=>~tFvbc^8=QE7II4PljbL^kbrVDO~WXh8b+v^zGAX2>6)dg zR492Y_2uZ>Z74h5@ zP7A1#9J1pchZ}*WjTCnyag)MDFXv_xD(eZtoyPgMizcCZFCQvVFXUudVCp$?KV*MG zFJx0t{8shaA1d@#PVFYDOsa+Feyiqe=J?bP-KR5N_2_xI6(qGE`qDO>BJOAE!E?egGQn*=5Qz z24c?eX5}DxM)|i3+}%tnG+xo9A6`+aKVE?+-ogiWr*KrHH}R$t7)syjyST~CSjfD+ zXKr`2J`}GGM{^XKW6>OkW(*p-vRHUkjf|}G`L_#4kY+sseI%#w@9^frXu#^UBHe() z$kXb}MoI6f%mA4<{FVBTp1D2#?wdc*ZVQPMe^AXpYHxK6ZUqZtz$AJ*yjjJ7Z--l2 z6!CZL*J5OhEKG3co5E=~==V=Bp!-+h6@8=oH{(qPhVE+@`8#)vqAZH~E30Wu;IN$H z&-=51n_mTP9lY8J&Aw>HqPaLURd81GuM7N|ws162SVw}nfaF-U;wtE)uy#?oUk@;WTXnD9dDI8hp2FVXX-=S!zPZv2DJqqmx2O7QM zMpJ)_Fn2yiy!wXhItd=eAejV=(K2{*c{IGRXC=Ji*m#)_$IYvK7_kcivRW8DU?tB{ z-cml&pdsrRywbvq7zaaPJy0g39%1y2@zdYf&1B-oV*LX?8S{Lyi!V*>@ouk!@v4Pp zFEqnKQw4xL+LClbJhq6pcU=juG#&LLE6#tDSLeU!joU1`Q-o=7EH8R7ERH@d2A++y zf2U$B93X4&eRz{a{*&;k8mAVfVz{qQ;gkt(|5Zfav^QK}_aYQo-{_5Y5x$jWQ7?^I zO^g^EUVcLdbl!(+_1fdF#i^xd<{X3rGvgQ>8x=~CJlr=&KL20>fW`gF3P(4z@MDMr z7h~293M+5QILP0x{RXsun|yOL5u*^dlWW0$Zf&?>3A;XSE{nJa3!AU<@}4)2lHwsdkwJL7M|+HD~=U+=K`0SOlBSLQSV1 zQ(AfUuD)i=M~|uWKX=c^S-!jMCEqj6IN?Y$#Q)VW7TBK@j^~ST7BBP}Dqg{(Pig5c zL&i{j>1#s#-w7(+Q`6h*7h^lQ#CDd(*!I-HBHrbP`;KrDF5>NTf`bfP;lk;xPs{Pg^1JBrg4lY$ z=j)K~PZl<0p5!SZyg=G-L!xIYahWA@P?Q_#u8Phj@qC?xyKnB88Z13V<7onNdGDS z7WEog#FYJ!Y&A{hX2Li5{FCa;_#{3nn%P2Qx#M4X^Vq1fmeC=4mLTV+*{uwbRq`Uh z=YUaRU84YR-Rw}1xp%8UVfDNM@IFZ_Fe+?l6!>>tMrY0-TIcXTIWfM`oG+tFUN&) zTvU%zy+4v|ZOHs(FP`L5A(hpL>x%qNHCaRvQ}#!)?F|`TGiUZ*V^!h?y}&7;dhnZMr;ii z$oqD>-3@tFbl|nG8)eNfDXP>HYt)Z!%%XbBsAtxGsMhhK2rfOWqnf(1_7l>LSyXpgJy}ylNHD)F z$|Yf@HLg#etO^&&hidZN#1vJbE_elPD6Bek7&8XjzpdKj@Z^J;4os_rTxp>2zV&aD zl{HK|$DK!QrR3Ln;zTes%cgDwS^27LgpsY*hQAJ^Tti{O${D6w!0(=ryY0*M3Ea3(2*qVP9F5b@>c0 ze;|w(Q1}AucZDfUBL$q3o$-OjxtT?LEn!-_JbzS|dX(>bYk#T7p~iR?FY!jPa~uyuKK3kTEXbkH*IsWvbBYTK@Q$ko0p2L)*s2vF=Xos8H4SISY>yzwW{?;vhxku z214d9^z#PEa5w>d%e9il1X9^rU1&(Fp`b+gpz8_gDv2Z3R|AC$dfzJnxtP5g~_JQg(-m#CI9u%7emt7^g_hOO>nXb@^26DKyU1g0vLOS>PI|}8zmoNuX4K_GONK~ zpWZ%#ejHw4j2ueY8jTfo9~p0WwEWu}dIDt}cP|*UtmFsiN}Qu<#Il;mLMF1{L>6I8 zUcrwq#2jqZW*{1RSswre4!POY=^inP+6ZG|1x5=yc{dYv638OQDv>~^b{VjtoY>t0%XSG+C;x3o;IZ3XK%Z^9NzY1IZly7 ze$nYCvl8$?4;m=s-ryu@J=hx&>tZJwxU{y!he$K?on0R)WO^R|PX-%Kk|9ks6jLpeT{WA%T_zO8?a%z;d{z&$%A@g4nc#^*e>DSUq@M~ldQ}#!) z?=_j5By1bweuL4R9AifaEO#?D>io;-Oa&b>hab(iyJ?{_U1(}Ljo7I3AEU!>kH|a& zRA&qVK3FvojZcA5p_m-MBZvj?E(!bX685|0@XP$ZI%~Z@l1*yJ^wO3KiVzXpwt&u- zyTVX$SO_dK2*@dL3L~JGd*Kjk-k+c*kf1Fx3QTPTu*3?z5JPa}Y)}&rba%)oFr5*= zQY-X=^ilU`=9++@yF*5S8H_+xs|#Pt!*^0;LGx#@j;`{fUc}aLfxNHmC=7X3)Cynp zG8LdAkJuV6lFy>ab1SioQ^OJ~6%7GPUfweLFq`%vd==)a(buvpBx>q0b7&OY6lmM-+xF7!B45GQUhRGCS>=k5VpSc#UV z^lpCb9k&+E!STPxw#6q&0_3P%w_C1tAGYp8HUToYDjU89jjKMLs(iraHCxl;B57Dr zskbTbxuWq~IN`LMMHV(r>rk-9s2k*jokLN-Pfq!5l&UImc2$DNcjw71{}Rc@8}al| z07H}Iy#$9AuaVspXWUKDgqs?*yT#Jeuv-qVdZFQ;*u%Yz+TEVv&GM6Ev|QT1%^$>< ze`BPHrqlYMb8sW3Wcu4B{opU@$g?=! z%+W>HsxMTQHlA@@9PF0xg%QA6!O_9J(Kiguh|pAiZslJW4sW|G!B9X*Kw&CU9~#l? z7*Hv-%NVzBffvjJy2c;g(+AvQpz`nn$kUP_5*&>_5|AzupiWo65?zeGaHkpXF2R`! zlM>flj9r-A0<*|FbG0*jc*Cit?2Yj#Yo3wRGtab0aB)Nn{*`5tTee4-ZR;-RI(b;`xs_9=d3{QV_8bW%$qi}yWm6N!dS{%ID|mT z70Ym&j_GmcM~2E+l_g3t_zd^2r^VuxA+2JDv?V+Y`6|CsL9iyccnimPri(XT@nV*Z zS}zE)x>g|GJf=xht7TWGk->mv7rMU5z&SABdC|;=W}(o8D^^~T9puk)yx~7$$8SF5 zO-Bpb_x2WrgMBdkNj?VB(19;zRI(n{Gv3hN+r28sCUR^jM~CR~Lc?|7A=Ps?Pb<}8 znr1CG0MABf;2_<{-9s>J?}eyGPvQ`I^DkAhL+-1G5H9oZLAz28Z+(p%ugM_+Y+WVC zA#xlj$AC1TzQcoFmY{iH0?H9aH}6jOI)tB31Fr+Zu|wIXFinWz6(nX-^=Y6jeW z&XrrSFl&ViGb)d+K+w4l)RV5KfYWT|w?5#k3(V8sEK?46OEchC;Xn6$uZ660uZITt zAy1fz-{s^%p4vZuW^2O?688oKxGnuC&rGZVMds}d^C$4~Q!u}cS6}6si8Y|eyt85c z8eD$`^PlkQ?|Eio4Jb12ZkYc8uJ6J8EnfXI&rGZVMdl%f`AtxA>fQqLJ80fb1**^N zjo6?gds=67z~$b99JBdz=pYD8m`aBxd2G}fW^~>MB}ec9A! zX6HB1`CDjeI*r(lt6cJ}%jl#lw{Uco>5UU;Z9Fu|W8-*^ zG&-4eT*UjgVO@HtHO2bh=;M<$dLI ztG25w^I3w1HQcw;onU;>YdB{dMl@wzZ;vhbpXng2C>Ex&H zn6lhzuYAZ7l zD9d7z31t~0mU3p@pOW&G{+*MwEGU{!p9l?+k5#xLcD!*kjJ0qOj8z~VYr(Y|Q%KJY z$}O@vbu`O|1a2lO9X-=H8W_tuMGsR(hO!4wooL5XC*qA#qxZebg1`c&MV`YF;t592 z1lN_C#Q5h5`Fij?jwS9Zc~7PFa2KTw(9DWvA2g%TbfW1Mn(D(5UdP|>uj_jYM>FkOOp{#ewZ*=m01}5uLhN*Ckx#2g|^0%sT z$ukN~4mR?kZpqh}mm9ag!HoS8as3;ba0lRcv03$bGY<*@k%H6tGFD@XB}-~ut7)m z(zhF(5Xth+aU4BH!22$9AXU*p|maxXH8p1`b}3WHG#gYUL9_G$D2o#s#VRX8 z_QR20*+ew77>jHQo-||m4s*+L@eeTm6U`5y;d-cCYQ)C+`Hazd0hBNLrf^r|73FZ_ z%9;*M^4O^Jg3);y%&$P_I=sR_cq89^3M!cfj&v_l1bem8J$<5 zLuRJz8_+>w)pQ!MQRfGv^EN2S{0>x+XbfLXN1GUI)cM)yq{XUms<1g`AF4Lxs+}4w z8%=_$><@o2s%hzxyEkI2KcYdFM@m8v|Y&40g#T4p?OfD@jg;T}IaRuNUR~suW z8%?6>Bt|tYH-%HB$zi2&dr(uQWur+{o!qEqPIhIWISke^&{Mpt-2Q6<#yf8re2{M+ zrZhfe3RB@Yy$uzo@<9_cT1FqHHa=t)dEuBu4Xd~EK@&7uMjxg%KD@2ga#)yU4a}V+ zYIC6pSP}D<(T85fhY5yKZr=$vZ$(3uSa-3%D<7;C??uiMp{J&i$U7Lm=$*lMm?m6f zsybGl@8M{sN~K@)lC~j%oB80cd~Y(7@i&tgMJzFIz%?%5#$tuQmOr10&sX9Yb1B+f zFH3)CG5&U+0gY21hs33iy&G=p&gz`rH7hI9kPpr57>j(fG@BXA1ShpZ(9hn3Dl5@%_10?d@nSI8JW(iboz_P*pN=~F&K>{0vXr09AH**!l~OM zEsRrk0CP2rvs^Yolxtr<|EZn(fd)~zPY$-@Ob#Y&u1fHeL9BS`%**wd^3ay}jS@q{ zY4{QOqBbabhyJgg_^^p5{)X9o7`W&Xoe0l(YRA){%7=5Uf&hdkMYYGrG9Uoew<2@k zvrCo$Uj@3^0Ac8;NLFZcj{kj|{JBZ~bFqM7s--3@WIU!4SKIvXkrATDYv9ekXn14t z^}?&l@dfpADdS)&`QoRHQyM;xbRZcbd<*&GBvzpXeGLod<7@Lem+V%28Tw z^B0dld{FQ@zbcD9#gCyw7{_vVo ziZ#X#KZOhD^4|0?enG|v1cAbJA3J%3A9UzZ!yuw+^~VT`WZ8SdhlG_g`+|Az1F<~J z6drQQQ)1qlUVgjcA?-2ROuMFhM~25CRhvx?No%R#{{|6^Q_eMunQ=~pk+s45iP21o zX0p)0!{oZIMr_De(OJsqka-eMS-1~SMHhw+o-k0;p-CPab(S+a@YzicosXfjD0J}j zg_;gc^4O@elF{MAMi{9nAvYCtJ`1Wf9c^N;QD-%yvk;hBzZkGS(7~{3I*r( z?nHA}Xlmo3Ngf+@`WYSg>`sBs?hv>K&AoXYn&h!jXMoW;6_kwBY5rB=PRE;r^E%qZ zV582KM&}MN^8+9Qb~kh|tXkX}u~BDhqr=CskokV7J^&rKTGP=c1{-y@H#+ZunV+8D zhrowuJ_=1urx6=U>3)-w?lMkAJizjax<1pIzkeN<>iYpvyKzxFzjy6V$;H2M@X z3?BjZHIAkWxN+r9xR9lelD1(zH}k zGR3)`^g@cF7)$T+yPPI1ePU!38`&`=`D*geh9Sv)gK)+Qrz(!6d>~v#hL3=2=e8j} z@lmG@6EDp;^(*3d>ZA4|a6zlF=pa@-lEHxG)7=qfz>{FVvlKQ#ONWNlx4L@K^m;OX z1m$8WWmOmQpuj9k;(Ws#CaiFn zPPYu0A;3hbnDd~>e34-e(^oi5u3H|=5U4TdL6P}V!yG14Zfya|mC!(-#+(O5<|_c7P6eur%!6X2?lR0_ zWys?_L5bz#7zCU~Ya?jH#u40Wbiz6*^kQbcA8=bI*3a1vD!<4&LIx$s-HDaUAV@4;esKTjb=a>L{<#igdQRfMx6V{jf zDGR^JAq6rFk8-VlC(wwEI!_y&%rYzD+%~MA>a&?9U%t zxi{68$U|!qROS1bmvXA*%E{Q4SvV}s?`q^+N7|Cf7)_%1D@Ht>x$;v8LmB3rPl|4j zPeRXU7WV4ZMG&Or=MM7ijvB;-%@cV)!^hFr@{XpAS=Z#zwvY+gQhvq27^Rgc{c(== zS362ReljvdrN3_(f4}rz6z+34^Jg?)hlbfxouTreFlDkEd(SYF>njL62IgM)kT88{ zY89O(d2G;;bNNR`2hO^`LgxwS%m|&C@;WrhW24SzMrUfzResW%1_INe!LVxM;U}X! zHtKw7bcmi7a$jIPOG5{bM`u=)d7<}p5G3P|C2I?gRcCPL+dCTO&bKJ+#| zWQvR2rWh+ut=3u=YRkMyP?g-D->8OVT7E66mZ{^KLXy{1SqvIYqUwT1H8W*}nrykv z7)H*Tt|N+Yz@zk!7n+u*ot_YRKf|_mVdH4J#tPT4I$c94s5?s9-^>Sp<*zJ#jK7)n zSh(DJjFZd2(v!5frh(P8zn-u3cQNB{I%8!9OmM~u$CPKT<17}#TzxA}_8ufcp09L! z3FCHV{^Xlol<;NHgnTF*Tr+1AE**{&%Pe|douajfX8#qm7=-*WV5x>d(0loS5ARcc z`B4Ji%(z|t2~Xz)vr4B^RV_I(t(6sF;x)2kfU;{@o&$`R@?HhEFGq71n%mLbgNE1s zor+fnp*bDRcr=HHrnUL>bVT77|(cJD`R&sT%u>ZnsXrD+yu=AXz+Kl%FhG++l3>K z0>w*l$ukH@(ou?TKtFn&TzS7y)oqY_9ouJMG}2EjwN0WoMxE(@fNCK-V2vW^fJg{rVGccPCgN9>sc(o;(;b?vznkobF+8yuTE*uGn z)jWFxLOKf54d};dPnOY|#%<0FOF6lghihA*p-226K>@CUqX5CkszH!-fby`3mHOau zIgL1$WErh%#&R>9xd9DR`#!vS2+d7s9!B#hnhVgJi)Kt{s z8Ou6mEL@))3*9Ey{cx1)lT$$Nkp`9b*TGS3NfQ##@;o4!M^sd9M7NW4T7z!KO2&!j zbcS@2KaRoQG@a!8c)S^=x^S6vDqPcA!is=L{nWD8E@*9vYPFuol*_)a8E_h)!iA_6 zE=0R<-Op1wHYOKyl}Vb-&X|_Y8>0ImnjFlp&9UFNE4oA{(xD0JT#b%O`>Y2QOzv;!f_Z} zL}vAvFKabHqh;_xzA)a;_|Sba$Xy>0fZQtVDyvtPAa5CcIKcRjCQ9K{QpGvXt(?jS z67<9}`f!l(Arnfu?<@kKCc)|YX%Y;d?5e-ZYuaDW=iLprCOgFVJHfEaZ^Yp}Gc=!? z*54-Dp753a9%lSa1JU!q77i;nrXnhh%Va}(0|ILGAlf})$B<-ua-<$oYifB^&;s&^ zp9SN?k2=aPDy#QHzR7oW#~R}!#PCQV_`S3@lmz8>g)QG-_5~90-~>amfDnj!YkoQA z&5)?RNOF=P*-A(@7lPl(v9%oAltkqzquw9LPdB_@!{dE-1oiU1cr_$@!I za!8?2SEL?S!$i^x3@JPFRWs7?r7HhI)(9d}R!( z>@D99#*)2P7~{Fca2_F;QrgW*f+~A`f7usEBzvzhBwGk*OCb>tT3s0u-(U7ck{b+3 zZxZ(s{TMGOW-y`wna6hkW5v4Dl!hM>W^f1 z8nVj$GT4cCRf0ua^fHVfkV@9xT_Z)t0$g}PKLOqwE{Co%w|wk8PGKVPy@ptWQC1EY zV_Bq)#6IIoTp*X7%EN|yT8ZnT0$i*ls}i<+KNw5G{=pbeC&o*N@sb(i^8IN1lraW- z(b`@Jb|?v|Z1??TUm%fef5wn3As&c&YjHXHWJpwBBzfMDY$qgsrF*p<<=Ckts&cE= zAIKz8Up8cw+ePa*Av-=p7BOXiBzw(}Rqhv|5{jYyKu`|fSIW>I$=)<%dI&{pXECT| zuFCopS7HLGWc@pabWw?&j~j=QdQ(fzZgGKJlJf&Yev1&_D95cLa+|cdSVm0QABX>m zA-i1&JopYFyHnb+nOH_l*&oUNWXQZ%{>*WcklifpF&VOmDf=VYSBC5;A@K|KXgQ9R zLt8LkP2(tNJ6^bcPJ^ zC}Om+wd8xsCA*V!Waluaq$^-;c)g8RMnJ*yqera>&`3>ecC7 z^#u|+oiAuemJ<@6E6akYMxy#6$s&eiMIn(Pv{nF7jYRcDlEn-O+%3Y!f~q8{)||)q zjYruZ$YjkeWyod}k5&=js%2cNDJ|a*#xkYL8RMD6cy%#eBV$~?AB|Ts#;b_2sJ2#? zL*h}3h3bp3Sk;iME+nGfS`9=s64e(;)-WV{iE&Ggp+dH|wAFB`fJRK&AIK!2eGM7h zF2WR3y*4`@<5QsQk7Vl_vPu=hJV%VqEo0TUT*(pV2}?{Mm6O~?hV*n9<|zUkC&w9b zoLLf9!>#p44?7ImU?KAbYKR;@hI?knYW!;PXJyDd#!p7sAIY{cWK}$h06trcB+#7MY9b=e6PB1jDig82Aw^t@7&kpE zb0Y9q##iG4xts`gG~|^hMfAi^P8e<(iu6l`Xh63$IH+`Wx?Q!3>w{nKE$SP&hXr13 z92&b8Bi4Wdv((!`hItQAc7U>lX3sox9u%2dhItV%FAPeKU@^Q}JQXOHgKNYF9jOFE zjSjfn5|En`0{zgyV_O&;P4d{NGs5U_1Zi9gw@E5j)6pgd8+Aq*o$j5J>pmf;=BHd0 z`C%E8pel=`)2Iel%hXb?#%amTU01A)F)4du8GMknbb#>z!*b3KvTy@1)+0kx%W`53 zC@@QwA7Yp{1s9#`uLPD(1*%-sCe(@8ICqB|oh8A{NG%1`WzZ~}*J;E?ouiFT#yPn# z6*`QJid&T<+A?nvR3%4_HL9trasg~QtSCNBI><_umW?J+bxdA0*cJ{^)N*clxUxbj zUS%f5dtw=Ukjy+W??a#{1C6n2akm^?>6N&WRDVZb826qq1edzxF9OD;3m|l%Zwhxj zUfq(&CYOg0Ye0cn7Rwoi`Dkz*1LnQ)>byKNu?7^G&oRtLffA|dXnQOKj!OlqW!Q)f zI&w<5!04poEgXX4AmB#ib!d{uMxBd|PG%#!3H!(YXi$EF%{~ z;8HY~<#igdQRgY6bA@8Q(!VMkT|F(YqfHDp>O5<7GC?Sx3H=m&cs!M>l2}_J#?F`o zRY~F(jB58GDct2yJvpzMwKOJC^<|@)dYm7m(=ki~ou(~`a%1j>A-E)I`?_)IHVpQ5 z-xTf=y!t~r^zz$0N2~z_X4zA`ZJ2Kbf8XeU%iRSz z&cqYYc`~mvTHG43QKxNc^`|V?eXtA1D5}+1oiDPM#w4i9 z@|eh|WL;~#Q2c$-wfF?qM5L#XAe!JBG3&(a7h-+ z6vn0BW74<8G?RB*yxJ}_wMlQp#z~*X=cZIxmI3Bn;2}=ncnD}0!l8! zQ=xMj-aH_$qfHDp>db6(_5&s7X@BTIfWxZAO`8~O)S2DrbRX=p6s(>Ot6D5sOICzv z5>#ce%w<$Fp)VY!$>oMoTP&KO(K7fTi)EfhAG)U~Ty6s4k^Ei0T)#bVDNp1bl*K1^ zm(U)zW|P05Y$Sg+*tq;-NA>r?^8GM8`TO9)#&{z!7Q@zta;#Splv_337f57>wx}W5 zPmD*)vA>WVAZ_JIc`j&0OxYjEWE-}mAv;hAJoq3XJ6PI|(yNLrV#@wVwyYt$Tu3ev zk}Kr6N{*{DWVQZCwxS{1SjZTsbU4hqGUfA_Kq@)DvLUU8Quv{I4_nuiURI-R|D}_`7U-Q)C7?uhXN!K)_)zFJD+kPg!SIQ&or^<9MW8u>yYv9#FTCZc| zUXW-%D^@Sc@vS$FQ0ouAOHyrM$X+AK>q7d5{QLS0S;Un6k!%w~<|B5U5D7`^ zu#%`+Grqs<3na2;`Wuo%1mvT4s1ONBYd}d<4KHHK{^-#bh755iVw_qp38Bn+ZN5E@ zv8*tGR5J5-8B&0Y2yVS91XXr+#i|x2%3~>9;R3mo)olzpVuYb5fv#$-GYNkSEt*_sLU=3{lulJFje)od_NdVz1__i_Y-5kU^bCM z78J)@<&NqLB$7LWG>MxJXZ`uZ>Av-Ed1}{scxV0e99-rR@i|~nkoD3s3Tp>yw+3kY zqFEOWwCH&y(uj>ZLygV`ig`o-s&E_O&4of!)6pgd8+Aq)9YjnbQ0P##ewKNVq_%k% zL#*OjfrE@JnNdb2jX~j5yxck%)x7Db`o;wmBi(2cRrk%S2HSFcO3pE8CR+BxFWu*$ zd%_T0k~Ok_-lf1KH;PDyp7kZh8wp$m8XlJGD~9Q}6MBc`rc3e^2jlVF-p9ht0axci z(;Llvp{ZqJBQ``vR#unRY5gb(_b({|QYjr(R7#W!Dj+kcNPLtgcJy^Y?`z?(cwAfR zd0Ay5)_?-Dl$+x;bL$6j_aEZ6cl{?hWX;%E)cd2GV-1-n_(dFqXZ~bNuF^ZNp}M1A zrx+^lPZ^-XA&hYbb5qw9ms=UzMw_53=dRO?Zs}jxOXy(M0^`RkgS4m^o^gizN2W%D zVuoGR1Rm>6sv?s-P%5KvO? zQ0N?nHwWf*w28q+or{dl&S2(;uU#Op8=BqoI*r(s z$A3mx#mR9{`O%mUD8HS^I~dl^&BntnM4Vn6?q3z|2)sEYorY@dXcL1Ck&rXV?MCNx zF!S4jaS%8I4QAaIqxcm?9vgM;Hadeq$<;C#su&2jYBe2gVz5!?exq}?8o@cxITvpt zBsCpvVz5!?VWX1Qbd{R)QQQdg&Y+PHKRoVeLHg`@1Fc=NH))Fz!K zd2F2Y=ZwxX5a3^RpM}8lXkN(cG-9L9OGf7<#r(2=Rk&C1W;f%}CI%aIUNbtGAjr*h zq4Nlu2SZa!Vr`i>396FBZyMD!B!yGqbI(EbfxId$8%?6>J9*XAR&H02%DETu>fuzp zS~^<1(K7fTOXq##Lndm4Q-OB5c|`P+uN<5v>Ip+|NtVvX#-*z<<}1)#3FJKH@$&Na(ynt)fYio$2SGJ-0+mLnrmVqSb_qx{haCR-YPNQ}43dvNP-9~KCkt|x+=xhK=GH(dgjqs+b3RSjh6N8O9iy55}U`A|W z6&MAb(V?l0rx6=QO$&;tSuOw>r4k(scK7B z8ep#;OL{5a{$2MWSE95L}W|)XK)C|6tk94qxU-$6PI2(;K*C*{*K5 zegW59;F>$nWqKpm+J-Ag$~WWSnhg!AKJ%_B0eMhhmJ+b8VNM;8p9g@sf9h<-OsoM# z<_!$<#-5~b%#cmM+<^uZwI$Pt4LVW+HZeNscnil<;hfNc$2A?AIHs0<=Ov2jP7DImxQJk zQ=a|v*cj7ojLv?b+}}5aV-z9aF3s!EB#(_cI~bkIpu-Vd4!JAv=0SNKZDO!dXBVTh zFPM2^psNQ!=fJ#9BR1*`G&*Up3#TT=T?Dyq3N|epO@gXq#So*~eMkz2(K%H)s$9%k z8k4BHr%_DQVK_>lTvI3|PgKkk&7yqQTz{zBx)_v?wg zgW((R;l{%PnYR!of8jLOsxz1A4WpGa*C@j^5xDw*YtcNH>5W|b8Lo-JwK%wz$a9(A z$aRq63hoyUgL4ala=w(ZI#=aEfmzOihZ^QEn8IPGZV@m;fQ7DN&VwTJ;f6U3t#BB) zTMWz)s4?e3k@+aYoQ|+?2!kF$twz%%j}1CHz3b!L(srl?(t~hOC zuu*5M(K#B-M}YYlG{>PiJ~XxQG-9L9DMn{oP;Td&a>^-pY+i>ZoOy$dI^&E^CJ1F7 zU_5S2DpyrYZON=KCP7td^qEFAxSAi9;}rfbubLa3HHoU{7}f4QmPd00IhUI&OlZ25 z&k{8<1edzxN5saZb}w7F`Jui*I_9b%n%=-A1@RKY)dsG4!PPs@WqKpm6^1KF77h-@ zWjjwwS(TbRC@@PAyV@`Z2MP!G94H+&!nIP92Sw)V4D$dCoEzB9{HwxkjyF{_suG}0 z3^wRUskzDMq+S(tT}P@`0%*ehz6w~Ui#oR$os4s3+z!F84h;?Es->wdDQ--Hsw~Yr zjp|`wJ{V1xZ{(>yc(qk%YNOL81{+6ruhHR3qwSHT#JI%Hy~LM$%Edt336RfT_}G8GMk-Mo|P7DnrP!-KQC@@RWe8n(>#GM3z{lR>3o|#w!ip*~q=6%663eA4L zDI9HgNd>B+sZ9(v=t$9g$LQ^r#_3}E}#9*V&2Sz6o*K#~6VAXiENiJ?O zo{x-9#yPp77Ng4rsI~+&L8E0Dt1N-fj1OBQimO3&8#LR7rj~DcP|S)i4KqmGb`V$- z%p>#6#2Qd!{@O4z0qE=w5ZDm{eN%yIezb|f#yt4e=rEz-vl|T^&NL_(qDn`b7;Mz} z-soiFS~wGn@ORTnN1GUI)cK)NCm0ouqgw;vn za^b3Fxh80|3_eJf|6+WY7jrikRC}YDAI$=xsm){~Hb!`&Y4sm#$vmH@EZi?RWv>k# zI9}7CNgf+@CNnzl*)0g20s`xzK^ds&&?JwII#U^))giD7n3*GM;T48e(`m#;o#~8D z#<{W*t^+x!Qm)EOZHckRXGKPnpemU;gHcVVSUx{NhlKh0Fjp^-peL5W2g%Htj1Lp^ zUw+N6qMwF6-GVd`7ruW++LmbR;gR}6o(1<8W~vur`;GR(7sc@{9w zfrdexI~Ax3T_ZN=$ceSL(INAkkoytK5F>D_<#lM1$3~q6jSiig83UOWatz7$`OgK~ z#9*UNpS(^cV1+})c0Z?b)$+)O&zJ;NSssfU)l5hVhEFF)ZBc5=)es()D*VJMs!JNx z;IaGx5JpT6<*{SDP4MhxqraXZ1VR?Xvc{#`FtL}xrQ6Zm5t`b9$b$m2EQl2i^X1^W z1kDw`DcqHKH7+z1s1}4aG1!>B9m%G4VJaDx( z9&KWNWWh8>Cq~>}?HMm+hCV+C)>2Rr-c9q+xUtt-1 z=qopCHa_sto*c&2-s8eu1OLyY|7NeKO$;_hxWnk&1xk8+H+1g7o1m!8q&6|wsI!^T zIT_6SpnD1gPD6ufsp&Lgqs~@FXS`xQ1F8rZpXy%I(Iy5Pb+$1&sdI%>198X-J`bI8 zRc6w%(Ilu!W^Qj(GgB;=++)bOX`y(PnVO){GWZ~wxufwR^}k$&YRK`icVz6=22N|7yprmaFbT-ACOXhX7iNQvl zmeDy3ln0~f@=f`)^j2O+n;Z_yh>bc!jm{9j2BO)+H*!m7yn?H>xM>rEjXEQYP8w{v zMKuI4F>w#SL3p#aSZLX35>#cej54a3&=(HVHv#nRd6L-!QrbFew* zm_T@x{+Yc8F6A--+pzFw_5+NE2VmCs#iSgFhF%a&(m|352z^(};~a z#~YnA2y#&h94IFO@P36V;OvqwR4j3 zA^6`oWXFhR!k&I)ZiqlP48f%?`H{A9sXr#2t8f4&V{hmPTxx^fQbOnKy&n zG7xZR_R8zfB#(_c=NO%>K*wz=@;chYV580jM&}4nvNRnDoulw(H{;PJ z1{-xQF*@A`TmG;Hx#dGsTP#^iV-i$lv0QFcyAQqmL>Hpf-R&Vj&vXztJJ&?JwII?ouL^FVpNZ_4?_K-^7v9hz`P4L0h$V06xcz<9`=jpkf5 zAgsl$5gT=0F*<1w3a0|*sH%#4-*UH1%SMx+DvRZHqnZgx!SH2Mg=4K2izYzeyRi&D z$YOcZ_|U!oh2v?N5zT}>T`XCmMuy;$ES7hTOE+VFxjb(1uL^f7-n=L@wMo||1{){+ zL!)yqnEA~LXYc{&Jeb#M#73P@jn2cMB=aLseH3rP)!KNpiNQvlFO1FwpyWJV2pt5h zyEB+JG1#c{7o*dC5DNDYd{8x@S}a*hV-i$lv3z4xGgDkRdYlVaZLw&AM$6!XES7H@ zeFzkV%ZWQ3*mVDpe%{wE{R$%Qp#QwzId=NphK?M(+n@t>89rk4o_p_k;NU^y4jDIg zy3r$d8@Sgl16z9z9W-?Cs8QpN8#_hyV(hd7hmRgSY>$z{PTJC2oaI|Bq4Q+}!iFwT+#!|8D!QH@tJ$=)ogP;Xa}~aNO9b1`Z!Obnw8@ zdk!BazD-u44jI>{W8#kaIwtSfq@!2Iw;jDZw(98Hv2jON$NUnFj#=d{Z5`7|fIAlG z-!^&24E@{sc1+g4tyjmi{oA@aCh6bSyJO;hZEfvs9g|5@v~^4&&BSdTlXMgvh5WOZ z{6b2a$k0LL{eNqC(zWG(elTtw`A0dLj^dbcZWDRu z`1Sfev-)8}F1YBkwWDi2eEnd=hXFKdbri>ra~q19iJ9vs@8yElb>Bo+&U}sg>cL|0 z#a+jad426m7hCXg_J*r$ec9KWd{p`xefYKQ1LU6w{Qs}LYY&U!y4$EpDad|` zG)*ZeZsL>R4X;GeWG6ybMFKS5T12h!_S6erQft&=cdb_v6r*63pfPGR7+YgRt6(_M zAT_dLBgPwQYAv?L%c>8$!ea8B+1a`5%;L`Z_IrGM;+uc=%U-ueCBJualc zGd|Hdrx7&&tOV<-L20i9AG%5OX7P2VWB!+4GSH1Y1Q9WDi<%){dFUj9utvidxX4~5{KKYMld`4{h zJ@wO=Z$Gi?#&NzTy=_Nas-0YW)1H)i^#}>djx79L&`I61>Nm1F z9h)D#`LzZ+IhDWCKC10H?$ldVP1gKzI(IC$WaQ!IWqxBj-ZMT~@uo+7#%!z0J9a4h zPCvFymIqD0QfnvW!l5MrT?Wvt5{Hcs}fV zJ88(Pty^u(;;MQ~{OWV_aBk_+CdtFn5BQDk63_VLL>G_vjMsqCWr5 zwxu)U9@t5CuWNUoHLfGOH*GXsVwjbAY}Wi;X$MH&_~QQ#Hcw>Cc6QirkCf4DuS9H^ zf5|wPE43b*JfX z&pc$zB2k}C3dmuYRqGj>ns+i3kuLi-D@z@th-oioW$K8Vjo^> zet|PajU06|eTU!Jmb&AI3Gqp7=uKsO#%#m?@<~f41Ge2$%xkLX^(Vq&+uShDC1;i| zjC3%}s#EW4Q76-PkeA9+=G-v9#F*{ceT!aepm*;$^X%R_V;a}LvSnd~r3JUSD0=X_ zhAn<$`<^>~2O&P`S}erhBE)CRc67H+W#2JiTfTEeO)b6t+$B=(Fis*fM?bi*ieXj* zYq$S3+pvYKJeSn>OG^}Ewo{{xVc*lcJ2S6duQw)gfnN{GahUI!Y(uBtbfg#fjqME2 z_~iJsL}h%&Y)e9#@8Yvn>uO`idlrm~dqA(R54}92-k3&W&%QD5KEtdUY=0hfFTH@= zF^n-f%s*nx_CO+)TYC2g){H(*V;r|_bf(Q_`NlLLHN4qsL$2T063_Ug^||HB_>9@c zenI7y0o(EmzfR$=KUy;-!f8w-f5<--!7{6VXI$F1%8*NLRDATI&0;TQ>&qszqH;^` z9`dKkWT&w`mz3D;3x~Pfv@6fL^nQA_-`Gxa$2SP^NzAlqhxquP3h^1SJ|Cd6mNHkOxL25gTnr*ccL-}uqqUsC3fmt%^e zSZ0+`y(pYsPg<`}Id8KNMr_;ha!c<%?!@^aPGb;P)-moYhk1?ZSYhb9_tP`|#?~db zH2wr3KDix#x>ymP5!)8L+%jN0gO^)+eSO6kI=gT(xL`fgthf^yITQtwoSc8yVcyD! zt(liwdiTl0I}CLi>rBqi93?i3#ngGwS^5dj@*CTM?)X!L_@z(T|K98vjUOY#XT-LQ zms>i2zPv*a*h8_LTqz5A5Ey+ZGP)l~fP z#X5(1qA9FoJN<;G`i(7LJ@fIW3h_(lRIXjc$8ROXXT)|lFSiWX#`1DYuMc#@^2{mi zJ#RPDtlpcylE0p0UhG-!FwbVhb^$N9^zPep;_2Pbnz}|+y;WgJHT6oXrJvY%zp-`6 ztsK8}NJGnkm2!MWY&-LE%Ybb*FSqpi-1lGQnN!-l<}TB$iuc(0>q+27JLTUtg%7V} z4}5s|@Jc?&WBBkg7U~gvc>Q_{A705G`0()Im3)xL@Zn`F)Fb%t`t=q*yplannhy`J zxUoI&u6^j(v#nel?lJakW6!o1TF_J2v+W%h{w(%v>#s?$XIsf5?AgYiZ6zP%G4^cB zSg1$Xv#nomv1eP!9_-o1o^2%`Y~EJ# zK_0Vj-iEOWV^ijjz7dQ~7@OXi0%OxVF8o;-oBHcL7@JBS!PtbcspNw^hOsGQp&r55 z)UUTNHkIswu?b^S$p?81V^hXLJ%X{RUvJ@OD%ta-`I+$C;JGRJuV)O;4W65Kp1^bS zjthSlo}2!f1fH9cNATR>xheS|kKwt=Sg1$v-1O@$JU1nK;JLwbQ}RI`!*i3dP>DSxG-*ba61YbzK!hIdX7lJS3og?styyL>3g)gN4xd~rL$s_ne@P(9okjL@J@AF#3n}>^kKqf+Sg1#j-WP&*0q;W1LSM)5F5q2w=LozD@3`=1;a%vj zrQuyDc?9nQ-i4A6@)+KQjD>mx??S)c!n;ti2i^s|3nd@qF}rtx{u=$Y%pZLt^w;RG zy)y;>LVvAaZ_!^X+4H3J*XRM!11kBi zXN(>YJ)n1t z;l7U1r=U;q&Jpw}-f`j2qEFHP+(e(E~r5k6*!`?wHjau3}KiF$&)O)D+ymP7Xv#9q_?|Ekj>OJqc z@Mlr)q26np9S?iwNvrozlb|Mf*n05x9%>TQB;I%t5P+J*J1+cL)FeNongq{HJU1I( z>)zkNa}&=^@65n+(>pHw*+>7}gtkN58|S0t92<_}1&zU5}(zr?7bbZazRd_&Z9^>L{?elsCHSKt|+^Ysky z%y!kFv{!-;-4wI(na$Ukj`?4b8gg2AgFYDUz2O<3i*(2T zP>9c%?YNAH;#aTh$M$l)ZAVvF4A+rzKh{KmG0XMFBCcl>Tbe8y}G>rz&>bn3@e<*9ND z=e<03;Ru^YDuH$xZ+Gx6zen2<2 z=CN7xccmR5dE<-!JJ>vtG27W;zdce$v%M0rVg4oKTvBR1K6Af?d5@#VM zZ50RZSD(joJ>zqIdJFOI3Go@TB{2u%uQOm9(xEghg7;-hLy>N5 zRr}!?vn@{jN%!0I?x9Q8U92@uBDaUwhu4~4;EYitN8L={;WxIW?)YIse6BY1rZPTb zw&8#Iq@|MqTh+fU<<2Z$80kpgp&Q#yy{|=`q$s>po-*f#`6b3|*X~>NS_93tx^lne`U+U3QG%ab5Zo*cMV(o#`ZmT{0>5Vu4}One~S>GFo8dU-~@F^!8o z`^LQc=>@v6ZLs}$&^?O69m5!-!~7%0Y!4(-xuti1V9n^`G{%u_qcd$b%QvP0so~95 z8*;^2xF-|flPThb;_QiMe6IDm<;wVs*~WfB<(2{4@(aIC;jcehGbO@lOyvHMe=35` zN;kHuzcXTD>mnz#qH;^`9`dKkWT&w`NlNVYg~MEK+LdQrdOtneZ)_*I;~RwdT+Fm- zhxquP3h^1SJ|Cd6mNHnvmQcP!W*Uryzg&TivJ zdw)rp!@V3+6h&vH8{3TPMd3UOt=FfVw^;}yw(WSirFS29;`|V&F^H6PjQh%AUSm2| z82ax0^i038b;&u6KS7Ak-Htz9tccHuZ3|v*X*5xB)C#0Np25p4y}rI;44qv#H@ILu zKP%nXawjr!codS8^A9`BTN$x6^Kwh?K6!YDp-y96sq-^OiOpg$bsltyleJzG+B9%Yl`0d`4_L^K#38Z8k5r z^!nWQU*(x&YF=}fpOtQGi}%=FC_z)?e>o&$h%Ps>j%~jXm2gK4>%rd$y%@qQM4xw)N{R z_H0W$qI!!x+t{=1;)6z0uxDFZCmL+9XIsDCV$Zh3BdWL9vyDC5EQ)5Qr5Q{ZPxYej<%{7n7z9{fy+NANT88x$fLG@1fGQ-nrawZPBR zueb0sB_6@g#BWfDWYFj>{7exVt=_`V)UUVjGbJ89fqo`DH+XIe{_{htuVZ*_@Z4M+ z(J%#`o3wT`*uZnsUz5OdlXwKr4W64w292h`a}%M_RxR+{@;>~%0FQp*h505C3g#Qk zH<1ihao~Qn!hDku(O?7fO~2kg{^lDDA{a!{S{DYI6|a6D1`!M*7bi4Kfk7m#6%95p zi1a@NF;+sQ(zE@(7+(V9|po72BNFMia!k0xF+Ba1L?299{)cK1n&ag zg|ya%fz{VBybE|2E{(^S$!R&zea!Uohj(ArM073Md+{5UwdCQ5@&>ghB^2F zYWx7TcjlnKme!7D)!-kG=+|5Pn-Pgev_pN;et;T1AbLOr|M{WS*D-oP^nfmoXqbW? zP+B`0Y|sPhuSxJ7tHdLG$BOS*MKWkK1wEh$jkan*52#;nAO9W@eG2*%X{`$bjT)-o zN1uW|#l;B?Q_!bKYej<%`V{@oP4p=ekI<)}PZ7zW(G>J4A~cUfpMqK%wY0=XVW3&D z>i1Dgqn37YLci6;7#B!fJT3>t}KWX}dHS)t)Bmcjjd# literal 0 HcmV?d00001