From db04c2d1e0b71685d54bf100392a22ff6549b119 Mon Sep 17 00:00:00 2001 From: Daniel Date: Tue, 25 Oct 2022 15:07:00 +0100 Subject: [PATCH] Start addings docs --- docs/keymap/README.md | 112 ++++++++++ docs/keymap/diagrams/dummy.excalidraw | 284 ++++++++++++++++++++++++++ docs/keymap/diagrams/dummy.png | Bin 0 -> 103552 bytes 3 files changed, 396 insertions(+) create mode 100644 docs/keymap/README.md create mode 100644 docs/keymap/diagrams/dummy.excalidraw create mode 100644 docs/keymap/diagrams/dummy.png diff --git a/docs/keymap/README.md b/docs/keymap/README.md new file mode 100644 index 0000000000..f9b04d288e --- /dev/null +++ b/docs/keymap/README.md @@ -0,0 +1,112 @@ +# KeyMap + +KeyMap is the name of the feature that allows validator operators to use different consensus keys for each consumer chain validator node that they operate. + +Validators can improve their security by using different consensus keys for each chain. That way, different teams in an organization can operate a subset (can be size 1) of the total number of consumer chains associated to a provider chain. If one key leaks the other keys will not be at risk. It is possible to change the keys at any time by submitting a transaction. + +## Overview + +The KeyMap feature is available via a provider chain API (transactions and queries). The provider chain validator operator submits a mapping transaction to the provider chain with a consumer chain ID and desired consensus key as parameters. The IBC protocol used by Interchain Security takes care of forwarding the mapping to the specified consumer chain. When the consumer chain receives the key, it will immediately start using it with tendermint. + +It is possible to start validating a consumer chain with the same key as used for the provider. It is also possible to specify another key to use when joining the validator set. Moreover it is possible to change the used key at any time, any multiple times, with some minor restrictions. + +## API (High level) + +**Writes** + +```go +// Associates a new consumer key as consensus key on the consumer chain +// for the validator on the provider chain associated to the provider key. +SetConsumerKey(providerKey, consumerChainID, consumerKey) { +} +``` + +**Reads** + + +```go +// Returns the last consumerKey associated to the provider key and +// the consumer chain by a call to SetConsumerKey. +GetConsumerKey(providerKey, consumerChainID) { +} +``` + +```go +// Returns the last providerKey associated to consumerKey and the consumer +// chain by a call to SetConsumerKey. +GetProviderKey(consumerKey, consumerChainID) { +} +``` + +## API (Details) + +**Writes** + +```go +// Attemps to associate a new consumer key consumerKey on the consumer chain +// specified by consumerChainID to the validator on the provider chain +// specified by providerKey. +// If the attempt succeeds, the consumer chain will start consumerKey as +// consensus key from the earliest block at which it receives the update +// via IBC. +// The attempt can fail if any of the arguments are invalid, if either chain +// or the IBC connection is faulty. +// The attempt can additionally fail if the key consumerKey was already used +// as for a mapping with the KeyMap feature too recently in the past. This is +// to prevent attacks. In particular, once a key is used in a KeyMap association +// that key is no longer useable for another association until the first +// association is cancelled, and an acknowledgement of the cancellation is +// received from the consumer chain and processed on the provider chain. +SetConsumerKey(providerKey, consumerChainID, consumerKey) { + // TODO: signatures, types +} +``` + +**Reads** + + +```go +// Returns the last consumerKey associated to the provider key and +// the consumer chain by a call to SetConsumerKey. +// TODO: more detail needed? +GetConsumerKey(providerKey, consumerChainID) { +} +``` + +```go +// Returns the last providerKey associated to consumerKey and the consumer +// chain by a call to SetConsumerKey. +// TODO: more detail needed? +GetProviderKey(consumerKey, consumerChainID) { +} +``` + +### External Properties - Interchain Security + +KeyMap has some properties relevant to the external user + +1. Validator Set Replication\ +When the Interchain Security property [Validator Set Replication](https://github.com/cosmos/ibc/blob/main/spec/app/ics-028-cross-chain-validation/system_model_and_properties.md#system-properties) holds for an implementation without KeyMap, then the property holds when KeyMap is used. +2. Slashable Consumer Misbehavior\ +When the Interchain Security property [Slashable Consumer Misbehavior](https://github.com/cosmos/ibc/blob/main/spec/app/ics-028-cross-chain-validation/system_model_and_properties.md#system-properties) holds for an implementation without KeyMap, then the property holds when KeyMap is used. + +In fact, all Interchain Security properties still hold when KeyMap is used, the above are just the most relevant. + +### External Properties - timeliness + +When a call to `SetConsumerKey` succeeds for a given `(providerKey, consumerChainID)` tuple at block height `hp0`, and is not followed by a subsquent call for the same tuple before or during a height `hp1` (`hp0 <= hp1`), and at `hp1` a validator set update packet is committed at the provider chain, then at the next earliest height `hc2` on the consumer chain that the packet is received, the `consumerKey` is passed as consensus key to tendermint. Thus tendermint will expect a signature from `consumerKey` from height `hc2 + 1`. + +TODO: check, test, correct, guarantee and formalize this. + +### Internal properties + +The KeyMap implementation satisfies a number of internal properties, which are used to guarantee the external properties. These are only relevant to system internals. They are, briefly: + +1. Validator Set Replication\ +'All consumer validator sets are some earlier provider validator set' +2. Queries\ +'It is always possible to query the provider key for a given consumer key, when the consumer can still make slash requests' +3. Pruning\ +'When the pruning method is used correctly, the internal state of the data structure does not grow unboundedly' + +Details can be found in x/ccv/provider/keeper/keymap_core_test.go. TODO: link? diff --git a/docs/keymap/diagrams/dummy.excalidraw b/docs/keymap/diagrams/dummy.excalidraw new file mode 100644 index 0000000000..31a8e76861 --- /dev/null +++ b/docs/keymap/diagrams/dummy.excalidraw @@ -0,0 +1,284 @@ +{ + "type": "excalidraw", + "version": 2, + "source": "https://excalidraw.com", + "elements": [ + { + "id": "jnw1YontONnXqPoVC-D_5", + "type": "rectangle", + "x": -154.92880673737443, + "y": 3528.5756797513577, + "width": 921.0283500395554, + "height": 472.3939033586794, + "angle": 0, + "strokeColor": "#000000", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 2, + "opacity": 100, + "groupIds": [], + "strokeSharpness": "sharp", + "seed": 1440774261, + "version": 74, + "versionNonce": 1312719803, + "isDeleted": false, + "boundElements": null, + "updated": 1665008710945, + "link": null, + "locked": false + }, + { + "id": "-lLVqybaoV_sFz4FYz-Q1", + "type": "freedraw", + "x": 127.38944319887776, + "y": 3784.339242812418, + "width": 486.37005434562263, + "height": 216.6303402976191, + "angle": 0, + "strokeColor": "#000000", + "backgroundColor": "transparent", + "fillStyle": "solid", + "strokeWidth": 2, + "strokeStyle": "solid", + "roughness": 2, + "opacity": 100, + "groupIds": [], + "strokeSharpness": "round", + "seed": 497609077, + "version": 54, + "versionNonce": 1332451483, + "isDeleted": false, + "boundElements": null, + "updated": 1665008713037, + "link": null, + "locked": false, + "points": [ + [ + 0, + 0 + ], + [ + -5.590460394777324, + -1.3976150986945868 + ], + [ + -9.783305690860288, + -4.192845296082851 + ], + [ + -12.578535888248894, + -11.18092078955442 + ], + [ + -12.578535888248894, + -16.771381184331858 + ], + [ + -8.385690592165929, + -26.554686875192147 + ], + [ + -1.3976150986943594, + -39.133222763441154 + ], + [ + 8.385690592165815, + -55.90460394777256 + ], + [ + 19.566611381720463, + -79.66406062557598 + ], + [ + 33.5427623686636, + -106.21874750076813 + ], + [ + 51.711758651689706, + -129.97820417857156 + ], + [ + 82.4592908229647, + -149.54481556029214 + ], + [ + 121.59251358640563, + -155.13527595506912 + ], + [ + 156.5328910537636, + -149.54481556029214 + ], + [ + 190.0756534224272, + -129.97820417857156 + ], + [ + 215.23272519892498, + -99.23067200729656 + ], + [ + 225.01603088978504, + -58.699834145161276 + ], + [ + 226.4136459884794, + -20.96422648041471 + ], + [ + 232.0041063832566, + 15.373766085637271 + ], + [ + 240.38979697542254, + 43.326068059524005 + ], + [ + 255.76356306106004, + 61.495064342549995 + ], + [ + 273.93255934408626, + 60.09744924385541 + ], + [ + 297.6920160218897, + 47.518913355606855 + ], + [ + 331.2347783905532, + 25.15707177649756 + ], + [ + 367.5727709566056, + -6.98807549347157 + ], + [ + 405.3083786213522, + -58.699834145161276 + ], + [ + 419.2845296082953, + -97.83305690860243 + ], + [ + 415.09168431221224, + -125.78535888248871 + ], + [ + 394.1274578317975, + -142.55674006682057 + ], + [ + 346.6085444761907, + -153.737660856375 + ], + [ + 294.89678582450097, + -152.34004575768085 + ], + [ + 238.99218187672818, + -129.97820417857156 + ], + [ + 183.08757792895562, + -93.64021161251912 + ], + [ + 122.99012868509988, + -53.10937375038429 + ], + [ + 76.86883042818738, + -27.95230197388628 + ], + [ + 16.771381184331744, + -22.361841579109296 + ], + [ + -29.34991707258075, + -40.530837862135286 + ], + [ + -51.71175865168982, + -61.495064342549995 + ], + [ + -64.2902945399386, + -85.25452102035342 + ], + [ + -67.08552473732732, + -113.2068229942397 + ], + [ + -53.109373750384066, + -141.15912496812598 + ], + [ + -15.373766085637499, + -150.94243065898627 + ], + [ + 29.349917072580638, + -143.9543551655147 + ], + [ + 85.25452102035331, + -117.39966829032255 + ], + [ + 134.1710494746544, + -76.86883042818772 + ], + [ + 155.13527595506923, + -48.91652845430099 + ], + [ + 163.52096654723516, + -18.16899628302599 + ], + [ + 160.72573634984644, + -4.192845296082851 + ], + [ + 149.5448155602919, + 2.795230197388719 + ], + [ + 135.56866457334877, + 6.98807549347157 + ], + [ + 125.7853588824886, + 8.385690592165702 + ], + [ + 121.59251358640563, + 8.385690592165702 + ], + [ + 121.59251358640563, + 8.385690592165702 + ] + ], + "pressures": [], + "simulatePressure": true, + "lastCommittedPoint": [ + 121.59251358640563, + 8.385690592165702 + ] + } + ], + "appState": { + "gridSize": null, + "viewBackgroundColor": "#ffffff" + }, + "files": {} +} \ No newline at end of file diff --git a/docs/keymap/diagrams/dummy.png b/docs/keymap/diagrams/dummy.png new file mode 100644 index 0000000000000000000000000000000000000000..a5efed1abd727a22556a3bcb6db15e2d638821cc GIT binary patch literal 103552 zcma%EcRbf!`!7*8DHK^54Xd&@iH4A5uTaR|dn7xdEqj!`v$xEI$e!86H!CyqcYVbD zJkRgxsqa7ctGm07^Eu}l@9TZNuXFp|lDSHNOM!dfzyX5m*RI??aNvmQfdhxSu@A%V zSRLAEK5&5c!1XI)ckDI44;%?UKE5R~@6&zj4!(i!D_@L9morJ6$Vo{#@1A*#MOv)m zUrSErWJj7;2_5De{svmUGh<t z+Wkj8;eYPmhaD7HJn zXL(QT{q+}2+VzaVEbFRJ_u}HAV^vY_5$4k*3jXNI&}Aiy6taEMzs&_;VA#Y3Iim9@KMYgRLPCqRJQ_ zYKqz?Ctuj?)E=e1C5xGS_#2m3S%>&YFXoIwT|2jEb8%Gf;W4W|S(k4y;ge#%nzF7> zbHx73j50ssR7WQ{e&o*Bh`mjk7BkkRq~$UmLJ!~Sj&+te;fn7;OUpd_j_lgW z)uMN<_(7x3J%@99%rsUCqn*!}4q7%%nvg5SX;;~@5J?mm{p&@XxGA!Z%T zz72hDg>~HdGvs5sue$A0hw%#~Mh6Y9UVm6od9LN%^%v?r>NSr#)l3WHE(Dl&jDNXG zL!eP?tHC>t8cH1TdNfJ)skUw;!J=$ud&9w$JU>9pY%`8#vNv!v*;PSHX?9DQIZ)-q z#7MeFLMPk50`W`Mr=BHvr_D8qH=c;9tc2aa+3C{3$u<@9{Y=jR4F60~X)#4{W%j!& zo>~Qj5x*j;!90d^7&k$b+qT2RXrgk9<79-L_aP#|%*1D3-d^>gvg^NSWp$X_*nN#A zpwO%EI&YZqF^?ezL7C1b=HqN&s~O(WZCDOa)+o&KluB41wOusFX^N24!X z@E9wt%9{XB$Z3Vea4aby5?9S6S7BlTpWzk_)&v=CFs|!p5rb&@`da_xk$DRw;I>5yp~<6;k#T&I}VWE$4;DbR`?J#lu^xgHdla z{mED>pPb~lG?$Jud9JM+Q%>Egy2C6|9cv-VO^ zXCgW?Y~GBgncQMJ(p)+fZ=N*EpGk^pPgKosFEh%{NbY0FZoFi(Gj_j!R7F36l&xgG zl20X#L+MSn9r=E4J~cK9 z$e9}%+&fUu9rFlWK5lyn7BpxHgz;RFlGIbw$@#_^~cRVUZTen&l#BXyubg3 z+eB6G9hjDGT_8c9S-FcG{joDL_*4S6js4;7NFuu>f;D2}KWQWRql7w2ZC>sCl}IJn zPg48#L@rI2b$V2WipJ6Z$ms6g48&D2$=b^JEfZvcO>=cpGftWtsTsP@%Tm0b=MtPt zITAuJWnAXHwBE(+{*%spB1GTYpRLFsur*CJ7gs((rm3U>wqy}H)WkDblKAYLe7t9# zNuQqSXVKkz&%A(rM@YUXzQSJfpedi&V#&(U=I6eB)pH8v$r&l_+;J;PNxj#p4z5-PUJC4<_dki zSM1;w7)NavKTx^KG3Sd-oLG**74fAvUOH^PmeTB=X^D=QQ8<(RXaEnJAp=vzMV!2S zG(q-KG+f3^Gse=SYOl<1r%%WWvL(6^d=Ew<4VkU`w7X(bOHw?op_r*azBx;S?)WL)OXC}x6!Kir zDHN9!h{8V=YJJYD=NdD_t^AavVAB^Dtm&w|V`1sM3qtP397~*f(z!Cz=L6{FzVKH# z){N4X-cxOub^dj={vTEUbvnc!*@?w_f0ANO;zTY6vhtkDFnp?SY}0U~BUCA(*VX*4 zrj6mE>Km;(Wz&JpjO|{fkCp>H%BAtB!OuZ;&s~~=daY6lFU;n**4^2nXz8d*==HQ% zq>!JglZuFV?Rldfr42?fg`dw-ruOi6>l*QMn~70UVG z`EKC*-A?vH?bEA6Ic+j{TN|rUZ>!B*7sKW^7n}9jG_s%qD$+U$2OuF#LO3M8P zUby3Ql6J+zgH|tRTH~Y;L_IN}z+$ikxKw;`qRF4aBA~Oe*?%|Y{Lg#7BRcd_UIqtj zeCpJzBHI}XYL}%ijZTn+`E_fbWd8WXOwRSALrKf)ey|2NB;h}Pktl5tVs!bY1C`=L zLN5!g;fq!W-9&PXd)_BLlNJ8Sz-iRUg5D}9Gq;Vt3&!1nEQ$wzTlurCp>WW(!ctQlPh0eG3BzZY{vyuf#gSL2S z1V8+CKl=_MO6?x{sB>^@)^0ej&$MCJ?EKlwPH^|!dl4%M)kALPS4Y(S{m}eB*BU#@ z`*Z9?)p)R$@Krx?LOuq33eK}uQxK1ug;v$Ob^KW$Q#b(7uJoofeS?N;MaM_y%0>wf z!yo^+yQyQcf=6M8#j%n)YehYJVQ6h>>fMVkP-OS3>;_%zy4`lR z{3#0O$~Gpjwa~Sq(I*_0666|p^m2FlAnl<{@(0KWh1Z5+C1*<(Kl4?hW!*Bo!=BH( zbhfH!wu!gb>O@|v%Wh6AP{t|~h~!TF8B9pT+GTEKX3;X0b!prE8d z8YnPZ(AaeHFMcbCQAgwET(CZ!GI@3(L1gP366ivtz}sd9%iVZqa@rnK_@QL@#$Ted z78h0;1h)r>uW$sX!|8m$BKNfa(48!$ZU->w9|-gZKlA07*R*QlvU=&uu~JLSjk=u` z&82yE1#%DjH2vWWx6M(S>=nIJ`wosEjei3Hdnv#Y2U5lM&t^Bmt28dw6TM)JvLahc z#FH1(i>i}6*$c;>qxm_IE?sy>eCaRkeopK4GhWQ;1+j_Gj>+(92ik-PaQ)?y?&F?v z`kqA>S*q$%_;Vtx3OE7PeM7uhcj{O=z?oRdK>q2(3+6)=Xl}~m2od2CD(hRjUbe9` zbtiJaM@z&z^w7LZ!;X~e{pwdIAE(*EGiatASc2Sf>D#ki zABYrk^46~MCgo~PQ_G)k5hp?`2Cjd5TUFtH2&@+<7w_4D;$4Ws<((WP_~V)!JtQQl z6Bl)^pqVL#t9*P0Z2MSuz3Ji|D#-J4^nE7z8uptDb!Z|l;gxP(qyYQ88%KdAp{Wg| zQfvP>5oSgm>9W#;&Lz8StPsG74xD0?45Fs8?YF4g&CI~hy|(g9rZg+DI3eQdjOIt# zlT1Ns3EMs7&k+L6N0V*8cVE02&WjZKf5R9Ra#yKH)62Kl`ECdT+M$cQ8ETWH+)}i? zj`C5`bcjm~vguSg175lFu{X@(Po{@W{E-oChaX74%&GV=y>x(*HUl z%k9K9E8nt3_oHyy?a#HRN&)KOHtF@u|LT~M7zEf!s01h!6(^3s-$#ahM<~P$6#Vhg zyo!LQQEqh3ZO6$MqKd|OvYhn7iBRp{oCgvv2yRF4I~v#>fEcRU@0fU9AQeX!#J!?k z!xXQnwghsn)>M`3`T8?a_t43F5N9d_c)s#p^@DQ93(B5fwj5cy4m&JPe1^b6=j9G1 zG;_lsly}7JLA&=w(X6@kJ-hkwx-zi8m5@t=b9qMh599Z@_EZW`ip_L;Qj9{1;%+IT z0rpo35mD$WeYSq{=e-j9e+F~nkMu1GvQg%cBAet!N>{()8Kq`P?gp*Vo)jn@s!jzo zhH^2p$60ZiU>sJHJZCE#rg^k zBc3pj{PET}yPL{;Kb}EnjvUhgek+f^#fg*(gzZM+6Q6hU-kttBlldy5s_B#r&G-Kp zwQ0*QBIJJ>&OK59ND)F#ww=$tEJ#E6*MNm50CMGg&qq(3W0wT^;pp*oBppbcAo{7}TLM0x%r!;pDgKSXkUt-^j3Ob)tB&Mayov~R9y{QWn zX%4R+W2R-4Z#zPDBVI3zMDt9@>XTDnl>eA@vG0+bCC%Y}(8}PvwcHgl&FFESB&T-D zou~V*$Mb+ER07<_#WQ(@p`3629JN$1Z(ybEv$wA;r{2JJM(cuzA_VN%dOjw~y{(iH zn0c9U-QzF4A&F?n_}cSBA0))Xc+9AUx7S8l##=9f^+ZAT&V+8zOXGWM^TXQt1GWtv z?>_uKK2Fm3RXUr@dW4{dq5-?T`pS3~eZp8qrw9eE!1`A1Hy+48EOD zNhOJwjf#v@=Z`-vhJtks!>R4z(6ysnR_f7M3pS*o8^BfRG*=oNr+(j~^C-QfXSzo5 zYvVCU$V8=%%b(C&#iS!y;SIly;qGUJe_01>_5qL)Y<#aJT5R~KI3YT_F>et&;$?4X z&=CiBHw+Q}<83x7`Df8K-I>}k`puDyl!ef#seE>oIs~1&yVKGO_1=XCt?%|O4eFuU zOh|jd#$(`Vgmu(T#_3E1O#AoqTV6zz%zd{khBDzSMQ@gF-35!0>b>d zPQ?w6y^#Hk-ce~lC#Py~XM1&T73kYdAORP4HR8`sm=NXah|aEVi=lv_JXIS+6ZPx* zjYy1-{Y5i0OA+qiu{VN^wfhS!R6fP&B3_5e zq;}g}V5H<*Y~-lIB3FNk-jNrLzh0B3m)h3?sCmQp@Jkh1--OuGz*fw%gzCz;N1qVs zXt>rEwT+Gs4pkf?!ngbCp#P->N>Xkl3hb>X#a74=Zc%#@HaYBh3@P!Sp}EO@e(PLt zVA8b~$L*h!UG`L+P+9VCLN$cuMGiPjMpWqr3BBI+9OS^OGjrQ5k=zN$^CB9jUvcor zDPpAg7#jm|P3?rRv;Cd}Q6vxqwjBvpMGA0pR9gOoVe8$$gwCT7I&J5^3JI1FHF&z%yl zyeJH8`SV`LRNU=#zCkk5u-*hVW9}5{6ISxImfn1`L304Iulnuw*tk2UT6urg3y7M! zgQ2@0p*}HNFdC?y%S@6(ZQHG_4N(O?3V>dv?@@YmvfTIlL05!qlMpB3{}z40etu}r z{dDQ!zc|%P!m2(O^cvr&OHqrwuzy?MdpPhZxl`}ahnW^VIKgA8j!qmv%FBMMW+4gjAmR0I^OGVwe0%Nz z@z=+P#N9YOdm9t5n?(Y%*868an+`^%sfZCmf&m^C&PJ_4HI-M6&x8HmQ03!YCj>XL%c+&r z`y77qH8eHU1O66bERi7WahL$t=al8O!nntI8P{6Yp~)cV45^BX`v(y0-q4d_Q+oTC z3?HrTep~(s+|W#nQikUE>+`*35YFE>uu%f)2+NrV+0n5PmDKtlP_=B!rBX}l*=vaKN{E*P++xjnPAvx-h<1C-$a@tmv6CZkek`f_Vc0h?WO}oURS9d-WharGz%VsNa1fOMQRcyU=Shf;;3wr z+tC`kV2iH`HBXPV1|vn2&C5S~MdmeJ$a0|U`8gjpxXBcJbvD`ts4VR!uCAM5zH~+< zG_v{9uWy7qhM~^>87|#@cDx%9U?p^c`~$b3jf_uek|W0!)GvktnFW<>bQ3#*-{yS&oi8he9-RoI9|L^ngDh}Dt>EhM3eyzXI{kiHSow?x<4018o1w~mKp|m7HjYL zSp5reL3hsP=K=-+2_2@H9}YhtTCf#-yS%+IC)-6p$<4C4l3(7`mXP)5`uMC`^qrP< zpnu6UsB^!^?od7zFrWhZ_FI3URnZ)95%0_;kvIY7y#k@)MVyH4@4asyzCBgB3lITs z;dX*TFcc68=06M~8SQ>CtKh{6LdJPLdS1~sAD_}q6+s(_{*?WYyTdx?>;Ed0_E+3J zmHT*LJ%a$KGXV+(Yots+gzE;`0aYIKNOSZ`s60SwS<0nhx7X>KL@#!20dza5sOd1i zXWTA8nNoI zDhsU)1q42qAanyHs(@Pb&jeT!td?xB0jCNm`}hi=+Z=<{*#W#={O~#*QQ}rXlnO^9 zFN-EcF9VT@)4-B_6Un2^R5^rTkV^oyS$m=9nh6f!gVd24b_+G+K5&adXnsCu2xwlb zTh{O07Pyc>H}LYmLQ%8G&L(nEohtfhWmKq)J)hBEB_r4XbxUQl>q_?CvZZi_m2F_$I?&qzi0(&#r>%GZ?)Suvz)uGyXb67dg?i{I3**d}B{@%;&zAilaKy zs(>@!K=uj>8{Z#lrT;L`BEg=I9=Y^UoC=!%q{GRts5UQF1b$~F~Irb$~%?1cc zZ?j1Vx4iKUTBEaiq`&1={#jp?4+Ck!pWrgQ!~f1=w00N*Cu_o$dJ{0yLq`blkP87l*2>;6k(Xns%y zLWPsFW>H5)4srijAm79rf5c@@C5A|pZF%EmKet_rBNU`w zu3PJIHL`$lFSj_3J-Zr@3WUC>InbGtXe^B!E)e2XZrh7d`-_4Y-IL=pFFh-DMpG{! zZ*xE=@!(xx)_iu^xPJj6r`)H-P>>}W<}=*3Qo>0X^P8x0G|fL?4HLPoiK}j|mhZUG z83=ug_Gq;!-x!#y1dio(u?p6oBkQfeioGiC1)+*fhr%xE-m?avG5gJdf{LqYhO^21 z%#ZSff=UGP{UDfZVVJ^y1k?Xc3FFvzh*Z_`j8B3HPjP=u!No@NFB0UiCV1B6mR{(q zAU6i}B|0{niSRw;+sheKPjfp}nM**pGyd{yp$WjJJ?)mPKL}!LAQHmvZ+6-2(I{wc zcJ%(OgqtC^_x1`^+L$@?ClYFo;GZA{_(yIFol)4Wkn`F+nl=mS22*>mnT9=^MJyHR zxaF*Y;zNb^tqt@|Wx8ypS{a|5;=6>76;RoB(+L89J@r&;XT56}mN~cQWP3eS4b{zN zw{5H8C!I6-gTioIN)fBPc3pq7FEWe{k4^&aZrTzE+qozBR;2;!x~wnZ@C;bX7X^dv zTo{44#tS+Q{Sl(0sN2$P{KwqG>)H86ZdI9ZT-%5>HA zLA#(Cjg3Y-wx}lc*h8$^n90{V0ZG7-1>q{`c5C-G8vt;)0OZb2+M7uI(eB;*F?Rds z0GwO-7q&q<7+GvO8=ZSKhPOhL+L-j^5y;2itVi#Yi;#Q;t%8^Gv156FO`&5z#`WVP zeUK+WQJz%ru_;2NwvU&I2t_BBK---%()mZd^+#X}sdeH*?CPm-zk148K z)L3hPh_VW#Na5%$n+rw%Fm!U*_k2Cf`2BTz06J|WKvxXH89)Ymnr;M15b5Vy@ud8d zmVf_?Pe;4K0IL8dMG*1<&s+s?LUk|hLBo4%9wwXK)o4Mnc)6wM`}>A?6liEkkiILL z#_B_5t6Tu8hrMKNeRiOjB$MS-Z%06LQf(4v46Wg9*Ut?h!Ew-Tzx7leFZpH*O< zN_*SwgTNerGvqm06z7B6h)5FA=eF8_>d}4;=x%ftPo&PFwradM9BP!lA51}#Lx`v| zR5zi0brv%%fP(9M?=a|g(OfUmyb@>lF?0Iay$dr+FVsWS`>M`+0t33pnsqq-IFx=< zC@JukS^Wgee?dXLxW>?L9tMt5nrE&nL+iwayP_sOT?HCY_6BfuV$(R!ixqjCD9SVL zxx|v&ej8{n*K1vF!2f&Mko`GSx4#10-OZuF>Xz4M2PO$sl|XiYU=3!IF&MhQPf0H_ zG-!Qy{SBX$UeWeG6rc6}8!9xxLhAf^!2WSzQQ%p_kMP(MXXYvL8>n)&N65>uLE`P! zO0_Q>=QQc%bcUomwa#9)cABMp^G6}2;veI~L5y5dxWGuO&wRu1Q_}X<<~I8(=)69a zFh!{It!U&iv-dPg1o-O~(5Ikt(g0l$gklcBzr)r(pl_T|H6^NW9nRj1R8g7kj!4@w zbeYbl{*6CM$K)P#Uc3MrAZt5vEoTc}P%Bu?0X>6wmACy?$34F`EcX0<%b4|CHGtll z%KCpR*>PZR2qFOia}PXe;*0{ z!H0&-nV`e&<_^zEHDLxjSsFS)m6UuSpZGz z+HckFS{EfGvi54AQ;$Q96y?>Krsf0f8v&Q^FhjzE#;HO|*exokZ0^8%xT?B|MNo2* zb6s>=`ChpN%!(I`p}Y%{jub4+{QMV*UlB>Sb(?h6;Py(swH?n_dtF|T>cAx_wNNDB zXo7yIm1*SV2MY~#e(P_<$o$??7EBiAqOmU6`$7n(km;owdSB({fo>P^WgtxUkY zQV8#CE>><$!%)WNB3f78{{wn4IFRG*cCQFZwb9Jh8_aRioZy?)HWoe5cB_KHwAQ*v z2n>h{W6V_f&$%1BT`}5f^0W5l+QQTXRPJuwKz0}kl+@0^JS>M^BQ`WyELBS+{K@Fj z{TqP3p^9`}pIXWSj^jOg_azK>uN@?`^09P7T?_>g^n@auaE_mXq6*{9DB)6bHvou4 zFn=XYvw_muQAOi;!C!ZN1ebdv^vLd&LA9f~){)`*iaV>8!pO6LjZLG-8V6Vm85&AZ zU}{Hr{n=M-7&Ggc!aO0KTpSqKSHVCic+?5T&q5GmnNG7?cq0hbEjc_~2 zkYV3wF4doJ&l1lVh_7L2A>KdTIoR~ z{6^SzXKR%lJ-5)0a^W_HcF3;ny3FKuT}DVzCWOR8+yYLW5b1@lcSB(-kLJAr;pqh$ z(#fwb>CrYYqNMFXzQ%=-9HGI7;#G;?8K@R~qy`<{hEcbZY(?Kk`UoVb?Mgt@Xmxo9f;P>5jq(58(*d6F#c*D z0yV!;p|v_p;6ouo0X0W?PB%0@C}-gxm0Kdvuct#=oz3Q@Lyzz*(ZNccszzQw5S$q( z(Zoyxf5id6y%EL_t>Y>fDVHmt0pZWE;rnV-b}cIB-{&@e!=ge~->(mfis1&o0?{-K z@J%KRBrYD6LmxcwRyS7XXn?BAS;_)p((B-%!|ktvxBko-(!yxmB}5*cRJ|wGwrUs) z<+n%T0Q3o^!g!Zj#H#>ssTa5*j3;7r|8TNsR3oX7y@nx3U*kcX4(g;62t}Hc1mi)T zpj3%5-+{^;7r8p!Kt3jQm~zP#((L=oTxfm;RC;8H7_!p=d{rFo%d)G1WqwtB#V0cTfvCz6*lMP*y?kltQ}W zzwzCF;ySz~V1k9Ea;|sOCFUgAZ$KBGwVwux!)`!S zZFT!%J};Dt1?Rsdr+Z}fplhoH{3Lf`2b5#+HY4jN;%n~%0p^wQGYj5*fHM7>)R|Ry zWaAC;asmRkxkPL;nEoF^y>%61SNi0(<5H9lApx0C)`l+X1Nns&1bh_ibd_&&eFx3r zlrCtsO%UFZ%A$wh-hiJT*Jg7S|=9$!Ru=j;$6vFNUZU%?6oxP z{r}DAL`rwYVD(GL%Q{n^5y6-zqM}>$8D5s!eagllf0gI;)+@h?a|-^w%d*=GVmDA zI@_(V)e5A^z3zHq9eE!I`5G2Z3@MhZD{r6^>?jC{SO~NvmB7v;fdM9f-{Pb92pySSbr|L0cRy(DQvR(K-gCL)X` z?XYnkDSSxCP{tRDnXypJp+(+uOgkUG`Vz+VhpL9_>)yPtw)!Ir##Be^kFVCdlpB$S z1Q#FLlNn8%ZhP5D1wFMBHz;jiI|s&O#UV|KW&Nq`qQ? zmU)IG>58^Q$xWz$g%d@!8NAH5@O4=c)4nC(z9tq8v{&rBd-R%EjJLDUd@q&7O4{=w zu8>*b!|&tSKhHj3`1Oq~nV8e}TZ$mL`vA%lc=aS7N}IvTt%cD#AE;Lnf=mjAy^%`G zP-O1q0qF)YJ@rcY<{%~EAM+)2iT>5OMWyF^vXcKxO(cENYzwRI2 z236B3?p}kpOId4rA7Gf}|DDM=PBl*=Jl3TB!O+2YSq}y3DDp>LCyI({jY=IszhGI;pT=h|M|Yb?L2dl?TaN)Bqapd?8#qW9hLjHO542<&L)}0@mtL0g6Z{S zyk>vKvMDN$E)PQf#QEBMXwATJr9;yLEdPq>hQatJDJ2N-XPF@YWV6&-+aaVbWSJ3d0ST6D)_+oj2w3WqJ+!|Pb7$L=4Ux( z@{6n{*j63$Ek}*cy&ZELbr8AGF^_4zCl_Zia1Y_o_hym~J)V1%qv4GPG@Zb@_oN;1 zLe+i1)|~4PBFKBt#^jQ^r&xB_;EMcLEIfUtrKPe18sB7(+8C}$SC)A(F8S*}s7VUZ zC8jJt(?y;dq+e4zIpldv=Il+@Q)X)5|4)@@aTH&idl-=xs$~6zl4eJe7dTw;@Z8Gf zTJqA#!J~VRe$mY@cWL>6YBb%T3*z*^gM^4mXoR)aj?6%F7*IE8C2@?>auwH=8(y=v z$$GP6U)lKAOkB%T%;!ewwH!(*vNmd3f%G_cbRUL#Cck>qn_qTHtI*{Rfrjo{sOQn~ z&JeA>GhJ2z`b9|ja!bu!f>l}CHD4lXI-8{tbx6E^uCljRaUi{YZhaaBPn78&WyhDY z%u7K9u;Vw!>;A$@%SuCtuyJ9oBv}eVIZ&P(7oZ`WlVR@!5uLR^NZwFkt9l8+{1D|m z)>BeBeqDF8CU$kS&PcW2l#0%E`TCRh7FUlX%HthaWM~yvIDwc`ue+da@TllX0t0 zCMNHgEC6&NkGK%3fTV$iptj_wX#f0tn1Q{_j>IyAZ*MC@6kzkviRUni+J6fN@0sXk z7@dQB;`-{k^P74~tLqgnon_N`RHB@^)V9cc%?!1GOz?WhwSBYQhp~)~N^9|Y=5*8N zPeRP~IaT#JVGC7^c!qw>7MF78A5DL7#UWOn$5;>-UKo70Mi=GHPinp?daI-S%X6Y8 z)=wO)3>m5SUVDu>xrAB7#77;7K|R{Z7dx`+iFdV+uI-V#j|mgN6XB({`}WYGY^&Yp zVvo=6K-r9&lKTF}dN;f4g8w|C5@c!i8{I>}hIGV()qeV>jQUnJ8w&)HUN(O25|*}C zen@Iru2fe#HU=_BRUplHY$fug_KNzR2Em|5nu z{oK==Kf}Uf6l{_Q*Ly4mY)B71x%a7KO(^o9+A;~AO_!fg#}W5+^A*Ez5&;|qtd!+p z1-X9l%~j4wh1Zz07LVT+sp{N4I@l--#mJ_Bg3`AY@#sKIie8nJg}JyjJ9$e2S^fCV zFL>i_#Yq%JOf+v&8wMp7`EPffiVA*O_iK95eHsJlgyF7lb~diT?-v}HXs3H;Ju@7BvVbn{_7 zPnvsvfLlhu7`NGb=Z2pM$7H0FX@u4yTbV@!X39cw*X=4d)*5=>57+T;>ddPu#Tae! zoQoVjZ?3_sDITaZOm;0EGjK<;y{>_af#W>Ghve)#lq;x^il|BU|OFG4(4{HxjwSOou0EXbKaTprSn12_!{-aRZml{9#ICVy2sKo`UN4jJ^)i zk)+!`7{LNcZyack+x#m{PAfu68l~J=XgV%6fXmP}Uh|MX?Q$sY>&(0HB^BPqlOX8ykLKF`unA4J z_<))|P%)nE-vJ43C5#A!33mb%mSFG4sEpqwWXPLH~srxM;pz3`~pg7i9X&4X~m z&mk$xs}9LuRXT=p)$&bAe;&#jKIO7C#fhUl+AOQVQrS^-%d}v__ux&zF#f~ai;F*4 zF}l1rD84vU9rva2l)9Xj4L#O?$VLXJ)nciGHklI|Q^v?(Iq*ky4w6ix-(z$%s7uir* zgK}xwCvorfO7}avWDH@q2>dGb-Y$oi#3z1hXeQUm?_y3V+M`SoZ1E+9rHQxUc+|uJM~VTvW1_ zwT73ny;Zm-COOIt+GXNTq^F<)>vlM*%ioUVRK{m%a%$=ZKHo(s3>XV8AEwK9P!cV> z59C3EB(C{R2{J%KKDz@#LIR}z`jXA-v|`+R{#U(miwIMP_xNCrznNis$5MPQ-*@}h znm?|}k}%ZpEIg;>5>~9|k%$%V;J7>zCggY3vN*;k=L@?x?SiqAnQ!NWf^xA5d{{uU zhO_(y;UF>$6|4~>ZXAutt|PJ|sHJeL&q?3P+f;(Ocrgf6XnzW@dZ*y6H+HNET+8fz zswGX3uzC-7b8WcUer07-^La(bVBMmc>aS-dZ;4=z3{oKcsT_xehBN!6x#vdHLx?=E z+P{XW0Xj9}DT-;W8;F8q+6+dMtUNOuh$`&&V8#lD%}K(Jb_J67TAmr5hZKYTi4^gj z+XmCN4JRsU=egJx2%^Va#c_4s+To+ZXF|7f<&{Ll7bY2GEXbo$ZnzfEZakwbynxf# zoUJ}u&ase7*-RGNWqb(lMUpNZK)P*Lzv0`PKW}b-{iw##u*NHYZFAs-XNrp9331vC z(M`bq6%G<0D zo$yV6tSCl&@=YSy=5efTcs;7+$hvFat(gnA4<$T)Q%jGT^WaKs;O&na+ynAUuFr-Z ziygpN#`%`bNUW57ewg^(A;M|}?$rxwi;~eQu_>5c(8bUEz-o5vfE(?BgUBu-v60T9 z9=x%UX2?o@83jCv0rDYLdEP&h?jasaDbnsc)}$m8birm(9r*Uha2P_aX-{W8@^dnZ2T_l%?R@Y!5(Y|T?;R}=qn*5T@0w1+1LQW4Z*q6XG5AuF zoy}q6&Xw3F;V7Sf^5i?J*YlxQ7Zfh1)ZY2>Dos8A2Hp_75_&UDIP!Fv$5MqUhwodu zr-TOw!Wass>+*+^y^L_ujhU|Le>dRT!F*JdLgLrjTfjk#RhB*O7C00`dC)|&edGFI zS8JkB;LtQT^(lhgn;`xu;0~krjY!K?!F1yCt^%=9ioNtWfBawO!il1|?WP#|{&TlDWJV@XnI8A$eibFj9Rs zM3TvvnfKmzhM$P9tPt}NXTXgul+}Xj>69z#rAIDc=U}+ga%E1qWTVp0GnzjoRNi@C zA496Aj#`n^Nx9O+IbAp{&<6#!JyGuLQtagJncX76fTxmtd!Uh-;>wWQ_9RvFTk-{~UX@WLba-f;t}u@M;B7we5b_f4stE}Ftg6?>kF@#s4) zM#J2nZEU{w9pw&*tEwwYm5y^~JMze?UBb%9QCmshuy1p0#7j9nAZe-0HT$3tW^;Vt zlb#3X)xf-LhUjJ!7xouxqZ>{=qFcDt9ki_Gukj1GG2hchf3$Eh{rS03bYOu+@`cgm zUw6Jqf`~qwK&YtDVZi3u2`c!3#wZaH>zn0Q?XGujyUg|%>OoJ@b*hD8*XTu~YjEDl z`6%Goka#XtUAA{+QjYXgYQn?uxgnwKefA`)H}gQ=9M*#9UDA|G=AW9256Xs0(-M4m zbv8yX=yaFVi-*D@4Cyz9o^`jeh^w2BJxI3_2xr^Z0?2b>xDQQpNa5Sm`E%pVlmEKi zd1`lT<(_B-JtuH>lLrJZzvi(1Yejj68|LWMjy&?VZBONDh!FX#UILTBb2`?nZwT zpjj?^^i4s6>{)A00S9wp(%A)t$`tma)vtWXA{n~L#W-kzEVix7oNRvtAc%2 zG=|$q3$A%T2!sc-sOapLmOCU0S|F&N-zf`cYp7@?+WR}FFjTucPmA5gGt9Vgfg&b)E#OK7VE7BDA4DIh{9qWZ9Wo=!zn4 zagmsFkBp>dk6}m{xF#Bg!;o&6&QrCdAw74<#q~!|EB=W3TT+}gGWBIXUU)-9 z@yhk6y%6k0YYx5ZHwbI;sY@L@4d%SU0rlEluKNn3(2MRw&a|85whS4|q_rnaHe zoUzJ`r-n7PSar+B_&+{{uxUy zeZ9+vR|n;5Sa3KtWroipNIvwcpGcYU(zh?Kr12yY#Zf8EIfo9aVU(frrx&H3Nt zf@3AgcM*5wG4N?R7f#Unun_4k5p zE3G;3m0=*<%1xeX^iu55QwZp+SlR#s*Bl=M)vh+uFPhIqf*mp$@!&$N^qwCkVShVV z{`PH^K@5N3xe=L1A!ftp1KGpnZ(^wUri*!|1YMK!tLaS~VjiHkQTFExTHtrWSZ8@Y z6q>`Gb4AfFO?Z~5NB)CH32}?Q=X+{SdZ7zR?u(bE*A5;Oz!2ufpUO4@vFE!F`Qo4D z_MpHWoPN*^=)t69N>MH7FU&e&-_>0KR9~Q7cbfw`#VrT7wt-kx;A48^JVycC+1{U?NPhLN?C zouhJTc^9C_NPAK0*&~vi=b=~nW@l&LHJQ8mA8YaEex=u97oQ{jC8hUTwOw}3^)_M5 zR=Q~G5l5mk=dvzB?EX~njzcg9_m_2KGMR(>y%AdJemlL^=+#-{PaX!(dU9FcC@+Wc zOa+-6cXt1W30;m(PAc!-Q`#b=yqQk7+gR4nnSTFzIRnL#Ak^*Xk$QWQ1{i1ZoNa=wxwgA_N>B^1d-uCdH-5s1|G_| zfJ)7l86m8bp%Qf4cFu-_^&!Nk5$-Pmq^v+V1FDb-q<5oL41-pUAUAp0{eWUG(!2~1 zRez?SMa*zvAyYH&q+IIu+2?nxltr$$Cig6<`gg&56v?X9E3eMKY478vueeA&FJ7T! zox<&OcACmVl=YzB`lqt!@0jc1HyR%GraZnozM-u8@&P%<&(qP()B|cG?KBCdMrE}m zX1hQ?+6MdE$vbhqv9AkT_(3k3JrQc;EgW#-Vr655K>nwC;JADGAyy9?Aul2Jz&wDO z{@Ay3zrsYtBV?<14Q11}R150qh%-;q4r^KQ&wy3bBx13Z9yzY@wB1)n`o_~mx*-{4 zm$CkL@=2dHxZr=X_nvswdI+^BR-SOb_j`O{0u4R}v4IdqZ$-?io2+b*)#OpNh-VfU zzkU+!MR#PxZvvi!v{w)a!AoN=UAnDsZ3eu|L=y(l&Y!XCGvToUs@p5$+!0HYte$FX zgFWzm>n?`H6~)+DT)`pMF-MNK>M!ngY+UzWV0n2a=3^o8HAztce}#riGWTwo-=EH7 zqV%{Fp4J?JlrQl?IhcwrdIsr+Z;5i18ZH=pJB0cCSj(2^Dzy?lRvGifK%ZYxo`K#R z#-KuFokxx-1YB!-nHSQolR&8WtQ$HAA|>0bk7us7Fg!vIGA!mh1~@u3ePtsk~Lk#7Nym~9FaUM;q)QarmU8e z)hv`Q(@;E6m^laM0FnqsQp#@<)~PUqbhjZ z-35K@2PLSd&RkzoJyr7fMyu2H2a?FnqA-_!p4FCW4!4kg=A&9r`{}A^*yoq=@;mX` z?~cfLoHw})u24O2!Lz%U-^w#`_nSqzG1H4@`4^{T-HN71!0Kd$mS4gP-_n;8mNs6< z3agBdoe}wYeKE*wlipdH>Sud`@GAm|^u0*?5$B*^Dx1FtOvYtk-#&r)>6+-H$A<4@ zBKWzMX9K7N@_uOQR9&7|dqQeu^st0u3oB^;0u zi@t!FlO!7@mY!R8R1J@#n)lZa!D2uZTA`pw%J{Sh(Hv$8Dv=@m82R-rkf@|s-j1CH z8>A_-g-L=ppxw!TDE_eFSI9ajf|+B_fTcJCMy{s?!9D(B8rCWJyKdS zDkTz)&+okN)#vm5{n0-?xL)@)&Ul{Zd7cwsX!0d!a{Hlz!-<)`iO@|(ZWiC@gfNP$ z%Zaz+k9OpzOm_LK0lWKzB37N;86^~Q$dl1zEbpw+)1?bOzP|f1tU@-U{-y<@Xwby+ z3IG)^O9eR4I2)j<@diX?tN(zKhYIxO=u9^QmU;@2^_B_WdW|ME)LhmuD^mqkR>?D& zY-`X2q#@azLPA1AWnz`YTW^|^xJ?I2_#2Z8HVa`mE|Z=~Y?_ePq|`+ZvTQHhV5KjZ zzcpF~pE85XSw9w$e9i2V%4TXc2Mb1e>I_Z?iq*TT5bmrAh-VO{fRaf+ZGN(D!;{TM8fGL7Cmr&YwY9C6%-tFxrWdEY zI{X-9MBiIJg6d=(1(%5NIBDQn>+?#Btha%3td$3oxn3^iexHv>pffSrLUgvPW8w3-mc{CVT-I&$&Tb{U-mv`>xeJn z(s^po+{{3FlF6-v((vz#i`EX;y*CXNt8y_zc1Imp901dnLEckGXlDpepE{Fg@#)j2 zDd3Kko;KIexdXoNOAQn)e}xKFh&CTy^P?zUzmk0ifJWSmZPBgKP5<71eHB;yD4R`0l=LyE!jpSKaFpGvF zCN8vA8@Ub6YljNay-4T+s4JFuNd@FB0S1l*84Ks>0iakrBD!)ilB8Q_{yGzLpa&zVeg22^v=+j0baU<%k?I{M?kVdb4Qx`OhHBbzI?sS5RBI0@h4B12a zaj82F9t6lI?nj8q)6F20<$Vge9c98n+s-kdjn69V&hMo=msE0AI^20Qj9J${E}zRZ zR$q>7-1_X=`cwaVl5iYFeNS)upc-V$ZCfSSue^S! zwzjst(N^>zH+?i#!Rp#N^s3~fOzpz?Ht)+!*Y;z#A2igbgRlmjS^*XYNdAL}mPwuk zkP5P(PtKNlBSn30s%kkfo<~BU$!O{5Rl?e9P?OA6Pj3J0=xlJ;*A`xaCgUZ5LUgYb zpNE}=y|a&b&zn`~_Ir!9SU$*67PaTc$P=xp8hZh-B)_=)?91a$q_&X`IXjLUD4_}Y zP2PG}-a;_Cm!t0D8R@r)26ZR@o@}e+m$V1J+Cn}D_P8q3Re^lPQ23R#x&4lF<+Mz zc}+D5I#rKVBI!{ATSU_a2m+UBVM9<%*k3Y~vYSqO8v{)#E zJ9bFIC(7Y)Haix7_hHxn0a6Z+kC8V^K_EBt2J9DMS$}zGHW~a%a766qkHhmIc|@O$ zV6F@xhp7m$ILErR9J)|)GKmeJlcW7S^`b#fi#j?fif%ARJ2nzLv%8`B$0gPHDfB9j#pZWk-8y-CsD_3uRV~Qj<5V31ewJv#M(Own_`NU_`hn8z^wT`=Z zIYt!{j(s^L6=Fn$|5Syv&S;K;FgFAMb{2z50LE|Hh+qRs(5h5zJFh0d+;meBRPDxl zK0ZEE5B~Y>O9{S4<2q&{Vwk8h8%n%P%jaI4NLwv^_F;n@u9=->y!+i4$p;KTs`|OT zPFoIcz|ghaqN#dzdBQRuPp@lFV0hRf&l z^A`lLT`XKrcT?_1(9M+L$_@B-zDBneUKb~i%wC!nXA2Ap!fUgL1L z3s76(#(?xe7xckCYR9`e^gI^%Ymgz~?~@_19tM98zR5rd=riT)?84_Je>QD8W{KZQ za)idGS~bw!`4rsw7Yw+}ozN_kSCi<;tq|MxOn3PGJlE4GoUqQ2)JB~&(n*J2n#P zh_$qu^fRv=jPpTzk&>4`i1pIX@6-%2h$iQ2NFKkrlXgCIbnxNDsxxz>s<2<5W@aMa z`!*(5V~T=1wB64iH8{!@p|h?+g}=64A4C5->Mw!ZVk^|xuiJDMtVCYwd^)y3m5q6M z9A${EJ|Z4qKR^iWBtwHWgj0Q5BmnC9RCa3V$C&99b(}FK(yj z;yg~`b#bpk;gzG|#OpY_lSi8~9**rE1M( zeMh`5 z9$tClDIJ&1Aw!>a2Z@96#*KTknq>GYo35Mahtp{t+bZ-=1*&!N8@yU zbO*QIPHy!tu*{dgAg!aGK9)~CGsk`gTI4c)L*5ETW*0FJos7GQ8PT18kH@w18iq(? zDFvc)Dbf}(t?>u5%)Q$6vM^_|E_(PIy}5>Uf~SfL;26=}sMFY|#$)^35kq&~uCt05 z{S2~C>5ynhxcoQOwQ_?L8;g(pAlquOt9&)0)G~#1;)Sk0+}7lX3;-gm*}vb=v%mip zbPPuy7TUKK16&86=2YEZ=WVwCdW0%{J;tNuA_OZHxALNDaRrFn$4d*a38zl9EY4v)@4>{}>2(u6zmx!ITcb{jCP;h~?S-5sDz_{r|bW9c>2 z%?`zrw)H(W0n*!{W9cm-rn)F%u~mbkPW9u8{7CxYUH!$cR*`D;vDT9ox;HXf)wuj5 zbC)ali|r2>Z(V9C{BUlEx&-!Rb zJYaZZ9E}(0^zQ_9GrOy=p+={I=qETSS6HymwJgB+*9}6`A3rK160y{sNySu1C@(G~ z=cFSFVgGZ~CospXz2Iw4$DJ`AEV}J+j)xtWD}q*6S9kK=BSp35782m#55Ck5PUCrm z=V9aJ7~s2|_l(zNREDRk?6}jh8%GZtj%~`@`cNnG2-3{p+R)Gt^JmEuT%%_nKNwHS zGH-e3P0MTZ12Kmf5dlub7ILI4Rpp3LX77KmgT;7VA5V?OdF6Pm}VA9Wv#m|{_5-nXmW{OKojQ&c~_d%u%o zJ8@G$Y|LEuC5}=ayZW>5T*JQJ>Oe34!Mij?>${|mWPZQ|`k;G51t^2AE^7S9USGsW z$tGb{u!@RODx$5gm@j{j;}iZ($L`qt5y*}CGzz^=tVZtQD%NYRJ!RP# z@LZx&_h<3u?FM->JVL{-HYJmJ3wYi50g9R7DW5pVw{#>+cB@Xxf#hcDhxt0eldE&x zpxP_L{cH7ERr8IzUz>L!w@@E5eUbF7F=??yUn)SJvC%2n>)1{^52PN_3CM_G zu$(8V`t5;+nCBcSMA$!7FBz1Zm#CVhIx*` zfh4ZH;0P@vPh-9bVv2I1)~b;p*VD^npQy*hzR+a(+?eV+aY5qv&5yt91t}`gqfb?k zJ-lz&{Jko2v84lIP9&7X{ew;ky<1!D34RmGc|M5W?wJEbxC`m%#5cmS?5ioiAN;fY zPe=U4MX|?!Lp1>ul%Kptw#`;ywOd)%i{*B%H>fCCA8KV0cGujx)?iP{s!U7Gojcup z_=&emzlmAf5ClvJ)o{nt`O5PPgypK2FJBt53UuQy zMZhnp(ww;>Hgn~z(v%U?3m#%|eN`&w({S#qQ&qbRZO`Wrs3|>I>GbUwZu(x+Ljm93 zasvbgkh71KM~BW|c%}5uw?qFV|A%eAqmWxAbgHq6gTDRwa%>but{zmA_K1{u zFHuqoMSBB>2-fqJKqv2@H@+3MoT^*!Lj(PW+jPucC;r}jhoJkdLwk)9zcoC0>YG#a zk<}|ry;rM*`M%Dfz5Cebwij-Bymp3M=MJ%WCU0PiCBhExaKCY~x=N)ST6`*!@}<0L zHhewX^iAj+qN=X|i7)ayDR73N243$|oa$y;|KUz}N|iFUvKZ6P9&Ru36~8RiP-ABA zZd>bRm?aRYSS9}0pQ~Il_h;(ov+_e9&D9nvs;c_$HB%#`d^R0+4B8PIheSFF@)R%@ zHlg7+R7m{G^MT=)hnNp47wyG*bTAgutWKnF+&><`o7ol;P_gq^iPL6Yt;K^=2mcJ+ zZF0T%=NtaY*yg`nfSmuq!p@7BW{Ezyc^m@wm)mgPdd`M;7^7C3tnO8GT}LNQ%qN0*2`SN{AYF$Aj2EDz9LIp=+dzKGdNKEa;nGq zti&nC9qkl%{F$MhJv0@!(TY*fq`cuOz8jYXrV4uNvH${AEBFCUe&W}x)dOliqF?+l z1Tr8_2Mw@k9f*wHn}jD8%I4e{P?QOcRaveEQR(zud%-AP^ztI*Z=(wNZGmp z0pBJ&d@Va^$2IGE_?!`FQS>X^vLco{EnV1?qB`xh_xmOzBku<=)h84Ds8#j6#)*e< zt>Yf&<6C3<)}e_v$e%Cp9JimXS#6qs#_rSJ^YHwQpMIB)7SjbA+^2=Z7$1-O!vV7$ zi}R9ghBo<5?__6KfOTlaJ-MrNYQI2@xZ(A5WIADm75FY$MSKaFH941x87h{3h(~!l z8u%6*vtG+oOxaM_Ee)7b*X=VypRe#QiB}qM1*#0LSY+DK6<9c=cn;dN-uOctl;G02 zYwl2?a5j!i-pn#CmG5EOWR5wWtzL85*HoFd&!W@2aG%vZ=7wzzCwJ;PEV=#pwNm0j zkm8g+xE7}0&uLz6TGm9~N%ia&$l0hhtJ(7*l7R-&m+{FeUes-cDGw?p)FSf|DRGm6M6G_k2MZ(Dw0(50cfts)iVJVber~C;<-JwF zg0aMm47kSU8)P1_UOw()8CUhpHFtME+x|%Ui>!0|WYW*e&M`_e1A@ZD-IyPdy5o7hcy4M(R!mA`JOI-YAodPK4QP z2Li8zzql5mD)I#VX2=y^ouZ8@lz;SsLu!NdWm^0+!Rv0rw-1{zi+Z?aTjw0ZWI-hev#gIEa(fT12QTmZUYYYF z3{`Ae0ffa)=QY$`lo9oxA7fSzR`C#5|B}!&uinHAKs|U^#+5H)N{t1$kZ!R7PXASTRnP62fb`($9Dd&j8nhdKWcQ{?Lz>Eiose$3UIkHsB$L zWY|7nJoryRX3~DZ=RU&(uwbmY%0r*p*Lr8@kanUdA>7Bz(^O2*R!zY<`+NiMm<7%O zpvSAB8%S~rQ(i}j@+gV0uua}SK0dB7`8qg`knJ{cAv6O`@EJ1IJjA@x?T4GOv_5Fn zid8K5H}Ac#hfK9qfC!1mmjq&I6LiopjZ|ne5u#6+9a`;;Kf=D~Csm>1#YoFR^yX1o z(?aT2M$Gp~HL z2nCGcC?fcP*X)L~9&;?*!fE7rB~?q+3pn;=2y6iB`x_t0sfGpafDm9Ex?L9+osP|C zKSCPSZTj`Q_u(Zyz3>1%d>Y<~5_WK}5X#`g-mk5Nx-OS)a!q7*ZSVCWaYZB_IR^yW zldC5h)5ObHU!><>D91jV{>j0l`Mej;HCnH!skvF>X@JL3?VU_>D5s0-b{uOJu7Sgz z2j@HmQ#n1S`;T8-;Qcl+e-UcEATiaw6VYcQL1%u78nhVOdjFVS3!xI%9U<+|OVyG- zeHuwQ`mDx=c88rljjCPF(X|q7sNvrIhm-P$W17W&%WQ4YRsX>|Cbu|g=CyN8&AQvh zdnZ+q_u3}zn1w$HCMHCF>)G_LI~hA*E|UA92;Su_>U+?@ctkIMxFPZmKV-fP_l$`6 z2TlUfJ7WbjV(gJxAQB;m7;AiiF43g_Vhb1JX2P_iq(5@d_86%o6%)U{}KyS=4^!)Q^}`gN?@A?eGR1^_r)ClI;y+#;5?3&#G70v+8mRu#GTXrw1FN_b8A-0bM05Dv9`bw6 z;SN+O5%5am*Oy0~Fj4p26%GcJ2(LpC0uZvHHmT@QYnvQL%nqf;zo1#F^5AOYBTHY? zp#1U>t}lEO4In>5$hTeE2lroDB6r!q!NK7ztFv&Pu^b{2@jhIguCV(wLer!qag~>H zmsN7DzF^d^kR<|Q339RSNGc$+6Z{)+czJw6X!pe-J0Kav$TCBV+%IS@ z;>JT^fs_AW>_8c~2*SRMCqKTvjqPe%(7|y(jym&g_v-XL1oB@PJba&m3k&dn4?iFhL;cHN=oq#Jt}QA zeO3n6j;~)mkt*oF_DPf4JBVjB?=39|KLt#KyNWDw!Dj;lRbLshI~A$Z$2uNfxRdJ6 zABr#>zFdS4>)5b%kq@FA{w$<*A~M+2WB^M^8yUJ{x_5LwB^k;qAc~Yf`e4GH6H-Sz zw^el`X3DaaIYll;xz5(FBgtvLd=f?*ez( zhk%f893wC92%IlccQ81rwWw-Du!n_mN!D5?- z&)^O@g*KQ{abL^PD<%B~%=GZsL_IkuID+be3es^kogDR4=869RsB&)zK*rPU^W63e z>gtt}QS8iHKnX*8U)?B5auTAbrI? z^8MU7j*mP6Z(>5LC3&uZO^p>c2cq}}79T>-ho<>yk;b$LC!bUs?L){--y`WLTOB8) zfh9yHyc6#G%j(HN!_*&NChWBgh0gTDSJ=eQsGgaf91D3YBl;7m6SU`n)?DB870q&J zGk=AsK>fd?^WNphT~sM7UFKleeCG4eO}+NXg%0sf7S~Lha>v8@CMBD7?($qs!-z?K zxIxBBK~bRax?(7>b+CY$w5zRu!OUy!bCv&=zjJzvmc@$?h5rEik8!~w3@0}_{J6XV zv9D!N@YE5KkJj5mzg};F7hl!>3<`{6JN=qjUXzfaMxZuLdUJa6;M&bRg#mMK5GFD! zd*IQ~LfopVFpG3 zNaR|nCBWr^uJ_E1`|j@#G^mf|3l>yiVAUTja#mB2QG}IZ&r%u5?>dw)$H==ck`q+D zN#)cCGMZJVszG2W+b)uC{+y01iP!b`@#CT&4t=kP$LHH}NAsL~_ihu%bYre^%NV)G zTWq0tw6z|<{&f^59-N2VRNZS8hUs)UK3SFXo4$f52EIQASwFzNClRHr9_ja3!nDu8 z9~kT)2-S%1e`|=Nylqg8MBo@QI|_RQQ6GyHzNUb2F~*6~NP*YQ+2(c@hPSmJ7dh1$ zkP@R!7%Y-V^;`L1I2yct;N()OL|tiV>FN3EiDsN7Y1D1&ZzKtVt`8qJs@w!&-oSfO zKl~5_Q6b~}IYOqCaukqJ=6H6f9UfY)@6LDtF=3uXyAORhUxHEj3Vp+yvmcRW^VdT$ zNn7hs+$bKN)zwutmwX*UA#1Bhf;goPB@o0~wX?>%Ozxz;XFiO3%zjEioPaL(@9pRX z6I@mvl%+igyNWi;7(6N6mC?jLQZ(ge_TmYqhYi`e)4b)sPjtH*)PG=UWJdO9QQ^YD z#r04Zp_+7ns|IC~4k$nHsEhaF@8}rk&m!g5rbS3zULb>+{Un=rtlg`fJf_gvdW_Fu z*O;0%*>Jsx$X8r1z08cL?Yzy=&*HRMfKEvmqV7DsfyW!-wj(mHwYRFN$)Oq!P&wy7 zPP)o^%A)bnh(-I@rZ)R_E^up!rm0A z=))o#Q9vZB2nz#ZecuB&1xK}pBJ+M}nQpAWottw!H!Sa_T0T@07~wywBgg@Oo_DqB zr{^gW*7Iq>IZF+~W~EKX`Z*alZ~9(_))RpY?7f-ud~10UZqgoAGv_SBfta>)ExfiK zrT9yTU}yl$?Zm4s!3*w}ic%?8aDKeK@!EeN#F+yMGr%?+Yx{V`+-de_8m)r$Wvcc0 zcq^Hca(yZW$y!`2Ix{m`Pn{gjf6zAzE`kP$id7?C`aJ4z=HwsMk&6yJE7~>uuGrU- z$T@psM%?gDRleA_kMNAgC-MND5+s{hFT3pssdSZ=J$qW&Yt_^W3Y@Eoxx)~EBCi3r z12Yn3O|>YtybSbneVm!4!H$nIQc{Y~mu|Ryk0z<)kf)NuM6;$NDfg3mWLoe?c-Saz zJUyDmLDoz4pPnP*+*Z8rW^`-Utmd0AypjmHr+w#IjMFOSH%Vd71hih};0o)mALR33 zv)-x@0tg=?2!lEGz>|G6Re*lpTRbR_yR>*~R}IzmL!rAeifNdSWsvz#LG5t#i_AcS zHOpn=*?0^?{O427T?=zP%@~1`LQQgYS-Y&phkAi zcUPuLM9q_5?y|o{{Lq~<&%4=&31hWz)Oij{6pmb*S!pS>tjnTIzkxmVj8VY>-mrRwU(pz=L zjHn#x0_^}YiBr0F)>uW9O0J&Er`+A$AAL5xjTDl<;Be7DsN?S%$`!o^q-ezB!gd9b zKtEi}ZSC7r5>_%!tkh3De0HmSX{S+BADRTgDy`4uCw6=@v7yXs2Mn-&es^Ovvrl8a zcy70ZkBpbg!3)@buN)u8fLA7P;$V_k=YhuD2%+B9$m1aoU%qiDiq^YoEO2Z79EU1X`#_}{9kSj!1z4YiHTk=p}*s5PXkz1yznY2d73($e`c+7LnXu$3PITau3aQq)Wog(=0v&S-s?!6 zf&+8R17JrQug-yE6A2v|M8H@7V#>@MNm;BTt=E^*ztrG zl}n@1cnU4Tlv{qs=8`N)zP@+vs#kQ#Ff65%Jc|#t`q`UiwpVZB6qqC-Trk>exRYRg za{V_z6wcKjh}0y=vm2H>d~bmCWtW_rIAiPV$An-mQPlZU$_LzZt32=+@0U zO(R_`Krp&@PgYtHd7UCGMou%31Uns|HIx$fxbWhCu-P&E{Rn4YA+uu zJlXNk`+(=O1BzQ*6pq;OBKGYM2Ega1?b6t3>yvLp80+>>K-FZrLCYJ%f`NL`Ytv(a zgCw(i&Bz>oGyttfrfLbb{kgA*zeNCx}pm?AbeKzr}p!v z0tQ05aJcz>fHO2wt@sJ-Tl-^bqNX%YWMa`2aF>_goctIu1pO+HK$K4oc?CdbT88bb z{~#>puTl+qg1*Cj8;U5Y>h$v&$7^f8D=!R;lS)^P`ywuLfTz6E z@m9C`@aFWMwNeqZ#1f5_pfUQ?y-#lNuQuU^m19 z2X@55;H7!txO^tfVJtAWn9%2W_wfbt38YL{3;@aflIjSpD%^gawP380t9Vd3V0Se_ zXq^HHoh>^I11BH@rl!kkzJb=IZB0eh4*$D4LmA0F_B5Zxs=0W>*ayvq9GpBJHuUaO zFNj~;wPtI*C}u%dD;9Wq+!0CPMtLrhb7UX-!_rOnEbgPXx~^SW=n4%+pvPQpmhrt9 z7o3N7(%E19MVnSMY7-sqMR({YAw52J(LNYzu_+Dp{9snV-}A=V}eS&0|lt4xKj2%jKkXE4T3Mi%#+){vOhm8((I% zQD|3~pIMLitZgXy(c~1j6FIU>co`nsAiBT-8T0x&8dBd%n@X3+ZAQT7J3Dfc9XPDZ zVJ3`+dI18cnAX8&t%bz+?U8rZemge?Z6{3D|Hta_j-LBk^#e=M!EKz&Q?cAu0_o(> zX;HQ5K#baJNyH6=T%V5OOD1EZfb>l;&-kh68e=Lqlppy;-gB~~;uER12Z?N<;#dCr z^BtbuO;~xpa871p#5(jxj5lzS5ibs6R)Aep(n z$L=~r4b9HZo^Ha-NI?71kz~w>yzo$fo>Q_S+BBN3e!dZJ3(8EXw}?7y3_9oF*-?>RwsC6^%3jqPff(;HypEXuL?po-C4a=C@uJ7uC~UbSkQy(gOrtx2NR8 z2!ki^n}?bU(0cvoxg|sj0T%TUSVVq0A#H#Clf>l0exu;qirwf3p#h_v!i|an9rLO^ z#0K=94*i3bd|6(Ny>4ioyH2A#rUQ-UH-2`E0hq8FB3D&6ZGMq#w0^Y9zl;+xVm4^+ z14NnUj@6&-s(!syUo)!tTq7W!MpgV=R@pA&_VrEMi5KyIk50K|;WLP<9zc!`<`BvJ zckeY=#*4S+6Q67G{#x<{&S{s~Ngj#n$s+^R5Bzfr7dbq-yv!7c8g1{X5vB6gzjo2o z=?3dRWxlz8==j#ueJquHUS0L4ig%xW_Rp_E9mKnx7jv{VNRI!H3y@l=d|puP7t?Uw z=QjO5;UNNg1%yayuW~cBQNWmYZv;$OD;R|w<><{_t3BZzz<@|R(DVbisPKVYUrd_C zWeOq4sEmj?oO=jma8EjKaIn~R#vtbHw<9>w31~4f0yJiCTJ6Lc+gk%vZ^ekK`-b!z zj!PStcY6rv_{hlAratbi{Y7SrybwY!Y1c=#Y{SuJS60p?n~h5JwO*wi+@_|*myfav zD!N42fW*c&Um!eyoP@GE-oQ^e82=I(=*hVL&|&re_Ao8nX)wd0l&}f)n>&KH(_nS~ zlm(=xMbBx&R;@!*9qU40>N~=0+lIRv5w1H=3vmiUwU*P;heWi-Ov%hEuf|aqB9ZVu z_eKC2VcP=Ua|qR5C%75i3FeFT#~?8Eme~cM0WwS~ltBrte_J(rHlVl0syIJ}**rX{ zPFG9BwO)2O3ECt|-wF;oMGGq+Sn&DqGh?@(5M= z)9SVWvD}}DXhP01zowv!artB33(!?rJXYuJ>|Iuo*Q$Wr;3%DD@p~*wHqk1z=a@|3 zQLY}PV&&(}APS;V<@fr?zAj*umWF@TLMX%XoSkbQi1#x%X-2{tZXFIO?=( zlDTN{n*i%un4HbhId+_1-WihBn)|{hb zEB+|TTZhF6)40?LrMA6DyoHPP%<1xp)5yq(pfQ&cp#f*4`8|Bz%XJ>br zEwR>=T}VL_`p^f2SzVQiJGT$MvdQd^a$^$Za(ANb%%4Kbk)V&`U+Ns!_H^>%GpKXO zACzK3ObO$~#WKDyK>B{q)WODOt6(=pUbZvC}wFXHQ7&og> zQ`h%b>+N~)>7KTN&V|EcGr!`bZx-sUs~Fs6Td@hWM!bR`UF4(Sd!M9hune}QPWw2! zD3|}eF^6*-8z-cwHHp&Wxi^K@khFDZ0bXku8px3B5l&~^=~S`+AO8I(Xqoar)B}3_ zf0rQwD-2%)eGb(<2Z0DpE0ZmCf?U%~9Y?Rh)O942V_G-KRql5nlFE9<&vNYHvkkiA zvt(Jj>TN!DcsTGqYv*B~Kc<0N%Y{GYEn}a6luoIDNN72q1SirUl5hbfpCv!)k@53& z>tW_TaZ_Me$9PAElH}qsl4sLR3bfuDD5oX}q~}`|V)Tq>{T5Y%_5_>6ZGXFg@!D}B zK`8kxou}PkxKgT)7d;45*Of@#6i^s6h0!cME)qF{)M7KCxwE!Fq}Y3-y}kX3el%zV zk4f=V4YrXS=JBb#5YAu22e>>cf7r_C`a5mhEbdd@^dRB-q2Wi70gO$6Y9UCC6=fXo zJuz*DL~u)1C@K(BV6=575hgn~6}-BYSFh$2Bg^>lb(A75ztYB%W3rL!tVvuVnKdep zGfos8#W~Sl9<9x{9Ec|H+SZgDMbXe^4n>Psi94_Fk601ItvX)X>&ZX>xxt@o{$8(Y zhnD|=VS2`6296*?w;yQ+8Hwrc?gOeTkFj_GTTz0o^h2{`^_`){5A==(Bwv0V!q`qS zt`~C*W17-^dHqJZ-7u%?C(Fm}$H^W;3-Jn?-kcOwLH>6(vJs_FJDx(&C-Y$i#X2Q33n6}ni?_=UAj1(-@PDPadikLNv6Xf z6tzHueApT36z3*X>3eSqyfjHFyjH29Agr}}TQJt5p zF?Fj5T3wuR1G3?X`5nY}sm%tNlYy@&1zSwg_LU+J6NtJ#c9~FSPSq%gzPol(kPak} z!v;Mj4dF<}_S;5M&BJaL?Y9%!mVPmQ3g;HHR@^Byz(ucs8rRT-Ji~{kh1S6 z-ZHXicuF=ag- zr(0&_`a3_^t^HCWN8JXJYh0zwg6ir*C=!i{VtVOK)BPqHAQoZ!JfYUU+X*1Xp_79T z%PJMiTW;0Q3#2W!M9JR-%pySOofq>!(#g-i?e@IF`?iRAPdpBzpvNE+Vj8n1#rkP^ zethgbywoIWZze&3b5CZ?_P1eaZ4x~)PBiQ(ND7ICLe)ZM5YSle4YKx$EDX3|xH<{S zBT-Uu%#g|-GvLPgu{)r0Y^%G`*R2fmwV>npWwOO>rmry1LQCn(V-q1eK{wiq#|ST< zPpy%k&td68^@w-V{C3;_7{@f3CEw0YY#~wXyqsYnd zJuBISK3|IrW#^*|x(gBH-Wj~O#YxiAJ>g6r3&j>0+eLXXGlAUgXy6r`0_HybhWPWu zHPZ(n#{GC?fQUCTR_@CZB>XieYZ*1S+H+su$b7}Wq37E%%S*6HFU2MsesrU}&bw{t zrN7@{7;L@?)o|(i(vq4+)^O+M_86`Ljx(Pv4@pXGObl}s6%FNH8jgGZEBnwTt*pvl zdAG%pBPrn#(F~!U^JJ2oL`-*=!*s+ zo9i&xkyHZl8H_6vWE4Sr#*0hJy_MVX4`lymD}Do}Q5jS#8V8W}vxnzcB$Ew=iaeIN zhBvB?)ZH*d`L_`!&WhKbf{!ttw_+?x#&tL33z=5{?(>+Y$62g8GTrNfF>dMZ(hgr| zr2PL*BO=y!=UO5JGJ8Njz}KrfwPKW@qkiA1ClK8QAtFyfLQ%qc+O#xqEYMyWhLmvsr{-&gDI|H_!gN%JcAy0V3^7bPDwvGf~P zQpvnxPbFE>I@4h661Lroi5Gx-=8DIa7S+SJqYS7IOP_F7ac|=%lD_SD0HKU--d!_` zlcOFfw0uXt_lTAw!xEY1kk2R?9;}HZa1e3cazl_^Kk4c+alaku76id1m&Y+&iM6

R?YvwF{OURS@{YaKnNFuFnMvKAnTIuf}tJkYgSK8xx`5z1H}wH))!=rW=-C{=$Ag2^8khoouh)<^#WSHF4vY_vBM&BCIE zn<{?sie#$%;~W-Vsv}Z1k~tN6pj4gCV;$+Y_xmqG*f%6PQ9rzx{5Lw`VDTv*44}kr z7Q}W;|B3(m9bsEE^MasxRXJd)BXZcW(+14Ek2$+x2>u<(k;nd4kbUDK`ELnCd{1sl zT$IacWXR+8!LdgRh9YqhWiQLGXg+X`atCn#WB_9Kvu8ek#x^+otgN0bH*iedACr28 zY?wj$WAH2G3c3+_E2eg+RqxNUvz4>!y3hZ&9Xlcm_;nwPA0pZqs; z;#2-2U1XdyDhl)*W;{b2-(k>dl6J<2(mjTX#6Dc+Dwp6oE7l4$pBVFh#4D8N$_+3@ zac7fypS`M=kN!5`+4<_nYi`6Sa+{t(jY|#MRJkQCkJX&b`?U{dB=-yC&ZRwx*>ic1pFRae?KHl{IR_;J8SwMg+1KtQun%8fn7PBdw`bewbNMEw62B%p?j*u*-Hf>`9A4%MPqhEIhYI=s@ zpK-ap%vN=lx@}|qEM(d*SBIljf1(V~N3j=A`-&f_L%k=e*+6JWck%hRvuSGT&@O%3 zc-{Lv?c>N_d>0RyC@QpRyl7jO!||_cuOML;YAI|8iIwj|zvGD;I~N}WS*F$3F2WeA zEQGax&^Uh%!0kCKFCTH~ULPmZ_`&DZaht|!7N!L%v=X)vXN2b}Nt#~@N=rMBCA2^= zHO1SLUlc}%u7caqTT+Tt;Al>p3>R?H`uC^4aZFP$)tbemp#-v#8=1h0a(*16z+>wZ zvpBzoYr}u{q~m^7>lr(jpoU^v3df@&ChCT*1i{J~ z;kT9Bg_puSh60~l9opR!LB^^Vf2NYMKL+RX2U!dDPR*C0?L_lIl-o4&9J7-~#1^%B zDsOXoEf)IpXG_N)zG1L=A&6Utp5-V7t*f~6Fo)&7Uo>CuD%7PjAQTDXJQipVlBD+G zDe|fU%7S9#AwxY+^qS#fLlGCx#+D!P?mYF5ucfGM>u`#Lc9q)!H@h7uGnD_V%iK*` za4B`1O1v}X{aQ&qTbj zV_qlc_b_)NGlZw-FXv2z>p-@+6A2ptUe&uU01tIFuG^0*v2D{$q%47+#}2dQW2RoE z&UUlam9Oh-rq~(*^bLRgeQ@vIxQC?5buE^Bn|}8WK9QcifZH1XScq4rHyyi9 z6G}U;1~$%M;v~~kRqmcV-3^nms)sv?ql@V@q}&4+Vd1DF1XpelWZ^kWVFJ|@DA+E) zaiI^iP%R4D#+vsue7Cyi0m2+g^H5+sw^zfnF-9;JLHfwJXkJrwL%H;ZAuS;0> zg}S{(+L}%wnMzuA>j9XD3CHd*V(oP>G5;;h^t3H0Em3aWj`rfH8}LlEzSAwvTv_Jv z<{(zL#^CwR-@&7%25_Tl<($D3Uh#DjzKZGOkEmpjrdN!hb(CwQp%kryy6^3mRN)tuF8 z0{M(zgDwsz{T?V@H!!r2jhN^#l@9&}8X5oX9okJwU8M64F@$ETEYsLrg(=x&RNK^{ z1x%(jziEr^gn@*_!D+CLzMvUxvu|4zU$44**Ulb67}#c`zaEgpYkx62u=MB9{BlGW01j(_Gac`d zTHFBD*=r{HfuUeHXTSS_tdBC{UVj|;UDib|M~ z>b!Wu^=5&^yI@d?%Ou!X9MF5lpsj0=s+M0!-|x=_zLU}lNSbj>0^6DmdWjj}B_0@Y zWc>zBN9XEw!Cdg*he6Dzhb4@#&-pOpX~EC>qW9E#y@uY=eS|ESovmabPM5Okh{L_` zAZTyXXxh1+Qq55ySI+ilt_j3A485AG*{iRP4YNrPZmCspE$eYV$h@L6JP`cZH&r7Q z6)-)1yT8E1giH`MAY>;&>%^~b-GWyK*@~tK$o(XGiX%LUuuFaO29hyKlEOti#8r>(_vzMYW``~jYi02s546DbT(AD)I z3pqg@ZnxfjlAl>#TEswDB5X@sE8e&6Ha+e!;rD2BC&0==x9gX)d1dpL5E)|g3#=A_ zv=cOUOzDZok$=O=3J{R76<;UwCW&~N^=-Uhr#fKi2Bo@ib3L>ud(lH4`y$m_ zM6KRG0lec!@?PIkM5)Xte=MAQ^Fj5>)iL_am%_jLlsi#~Ho=B75ya17LzJk;L*Pap z{An=z?>SJWxOyHn&9aOQ`O-e{m4yA=C7W-Pr4(Pk0Ug2(7@Dql{_!KE>$)3W@104T zAB#%*3`NM4^>nUkQkPQDuG!Bx5@XsoIH zTL@uBp{BMeZ!lS>K>5#F9!seU{U1GG$Cv8^6&GvzlrmhTMcX< zZc8Cc*VtqMk=BXC({sV{q5Bw$lyJg+*usmD7OrBBxjXe@ae}1d5f7~+R2%H-U;0ZI z+78=T?4NIw%^mPJGT>*?q;1)yb$|8+NYL^{43>RrX5%5k7%cBSWo*}a1W3YuJZpO+ zNI@vyJkOG}y;Bo%rwPBu+ou}RdCHv<@1?qL4)tYY(bP7+d9Xf7)cV2CT9L~&Cw_Zv zYcaf-cw}UGy4vl+5=V27VQqoxDG^X~arstXR<8kpup`5n zll4$zA%*iIwYthQIqA4H8sQ$v+z&aRu+T`&gYA)XjM=HC80aMuPOx$1t8#gk^u_vj zS>VHeE!QZoA0O-N`4`k0Tl;Mms521V9h(1|8-m_ivhSo)sk(bDiiE?OY8#u4UXrY$*wjFk97N2^Z}&7c%;I5sOt%zTB-0* zFG`|I*NjF8Z#t9#6Ft)Rq?U)63sO}^HZcDFWd%UkmOmCY5+rk1X;CNe4KI~D@Q$&o zlhAG2ZOQY1_*yvgv2|}ziMKK|tX3b%Tl{Cq+`%@xgMm zbpw33xM3RCP((Wm_jhh%3p;dBej!GkLS}Byp14QwK<1;z^l|)~5WEW~haJ^1A1&Cq z^C^h~&7)auc&~$TcN~|4Gu+pQlK5G4qSU!i*;PNLD;Zyxym*Lf?pO@&mv2)ic=DN}W+KN*8Oh9{MTzXlPB_S3*;+=jGE$-WZif-~B`YAl9FAW7hdB^k?=w;-E!OWc!HGX{oSPA9z61j$c3{EueM}sFy;X#|V zqQ@&$hfZuYXW}(B*y6ZV?q)qj7>rmXrb7dQ>|I1yF2@^gubhvc^ z+$)b`EXgr6gd9D6q=q{`Ru_A@!)U z>1-wpWt)0jn(8l%*4njcQz{rbY79Gb%Ot);%PS6D?#GP2e2`9x>1sCxe)$vKwUbln zN_~J4$-S6t1Z`RbUOHFHD!QvU$Z0txLi z+6wQB4jmy8DI1!f{&5?S7yy0t8fR8;l#C1_XL0db7`;TC@uh5u{-!e`QUZ+lEwnVUDF6VQIDYNijFX$FAJbz!@=MNAf1{)(}Vy7adgtFRzx0j!6=JWO zLINh;8lbRpw!Qy83+)p!YZVRRU-=T8tdo4_)x^wiNB@gvH2|h1aWea)+_Urm_K!p& zA+BU74Lu-QGuWesrC=?QOJY;;@I(=wgHmBa2i6GRq|wHpzQEX-etwORrh0qkO613K zFU`&|Z@EJ>kB1}W{`qO%WpJ!cd=IB649zmfLq2m$f55{zt|iSzKK0NSa&U1B$(zah zL7qJkdWy~OIdazc)gfI^Q7wKwfKQ4RAOVN0rO@& z_!4b)OkbC_>ZtxbBy9pqdOQf~jEi8I!o5BR^H-b68Y(&Fbr8pUZyofnc%oRUki*Kn zz`hyWLMDBR3NLT;Sp|ry`*y2c!Ybi=rR!ha-Fv$3x+-{*&8-W>OC0fiJgn}F=* ze%$t_`mLqM-W{>G6-#p#CIetv-b;lNUB&Ms$VC>+ zQ}kC-LPxw~BU++vFbGH_g-qtbGTq#y7TJa}VF)kaI#h2b zb#75vAxG)vVYE@7`J~>`BkEQMKG(s+R6vw2_`>5L{w9z{OPWykuEUFP)mEZf$YhRytpo!%;vS)W|MF+=i9ULv5;dkSeLl))~9~VWzU}3;-iLC^n4vV=f<= z(@gEei9wwn;hpHd<7{GP%HjAkCM8R%$pzYbm-nhCPs~_;$p3VSI`A#6=7=Yr=)pD)kLJ&j%Gj?*VEX-X}4qyi4mY_tq2w^2M87z^~vr%yxuQ3H)2+1}=FE=NJK7+%WpNp!x z(w!HCVdBu2_{l)^OB_961_zH)G2ahJ!$z|jXMZnnD``Dc;9zDLG=W0nWfB6RXU|Kj zwWz!$;^eQYkDgg;U)3ul!aNzMZbw~gJEf3+Xd93y;JZzHe0;DmwS=qRd_rrDc;8Jm zU)`wSA#Qay0UAWjFxf1H4Mm8}B*SEvvtnsqs&nLu?OrZo=*K8bLb83aL|U={Py+A% z-V|6l#Y@pm#H<4uEM*Mx!53^TViE(+UKMtbxYL9!#Ey7!7Q`f$YW#7(R-~2xWF`J= z%~L0?%inLDZFi6{jGV5(IT%!6g*ALU4f+RNiQb1y3iux34I_2N$1d7Mx&U>O`%;@6v&{_*^y?PdI0 z201dq_e!`^+NBbXuZ7&ZcOk9FF)xcmOUd|Nv)vjRCo@!gFlM1uYV~XaBI4UW3wbC;>Ul7{%<751 z>mdwF6*_{M_;DT{u(~GtC%~BDqp;NDRnciC&RY9kyYEgga0-SkAR7+>a&+jph?Mm= zo(5J3i~S+dQpRZ$z>2*`>PUEp6trl6%(sf&dIif{`~Lm*`WbcIlO{BTT6*{>)10eh z??K+TLwTU!5It26Bes}W%Dx!+G)FT1tN&feIDy2<>934wxWT>UU3*16wr>z5e%Rn^ z!edd4Cg$p*K*?*wWwjOC&1-SSDog@m%l68EeP;N>jW7yC{3rUEG)cresqme~3{T3k z>AR;6cIMi5WjIq`3^Cqy9UF@~XWyx4rgg{3qiVpQ3veJFN0m#LmX;W`&MW6g(6JxK zhhty;)-2vY+hEiH=C(vbsAa0WUBvrBrJQ6EZ*U^DE9juNDbmS|y!Zo^0hpx7diaqDl4GZ9U{K_xvJ?eSAzM+;$)p~A+*`deQR;2{v+wL9s?tr)L-y5 zb$24-oL4r`avHX8TS(ChdlV@3fE-Db_kK zHooPkr_!kaoBNE?Zds?ko>q(ZQMcnzB2HKaU+_96!Yss5;9qhmfbv;&X!ud3(yuO> zA>;ScN|^I(&nwx#)BOx=ZYhV+JaI^))=wuv(it~ewXs`Zqb+oq>NGHDT!87weAkn1 zNNpSjnpmYqxk`xRQ_#;df5=czB5?zcuY-XNRu5ng^u-mfRE^FjdK9dmgv+0?NU^?! z<(Y(nc)NVwsU4q%P}h>qOqdVdc4+&vhvmgHz*d-45~F^Kemj=OKDtpyImO%2*{SEH zQXpab=hCTMtvk*lLC0$;0A4~)%mKgu5O zg$%S()cktyXDzAIq`C}H(`vXI-#>+JbeyhZ{DhMr78Tonqca=@O)jlUR3I(x zn<*5uYANTd7tKK5`O)F>Dz#PsJqVbfBp>B&c3c1$a?+y&CHt_ z|Mnlh3ik|Ey3N{cZ~k~}>?0-Z_Q?pj_G1)s(WX31^HZO!o>GmZ1}x<*6>Cbh630F% zHbyaEwo#y6)l>47CXwY0V%2jB0zY;dbP^v;z;=Sk-59k#V5+~a-MWv+884+yAi~afDMUJgiCoNhA$Nlr}QBL?e@SWyW>f5`5g9X%`?A0uI zr@g(s=U*Q7Py4QB%n|#_O0AYK@SI<9*mFr;v$wWgL ze)Td&s^_%8#rmA-c5S}rl`Gy38r;ZP6VQQ&_nKK+9$eY0x$#Xn129W8O5&Z%u<#&3 zcIvW1Po7k-5sxT`W}1Z0K^2vI@NMCDBx%QkSg^(0cZt0CR^9x>Cg+DnaJ{cq_4d+{ z>ITZsOgV4n+k=vo@4$%hip=44A4AcqBPV82>h;pX+jd^*o#@Hg;nZHK9f-og6u*ht^$nVH@09NH~96w?Vgb*93p z6RSzdjIX_q5GE!Z9G#sxavx;QnkGr5>SHC3zlxp9os#?C#I{bJ8YOuREU1$ zF#mX=qdXu6(|2~ox3{Nv4t-nr z>1w$DyQYfbrh0IR(KjniLY!l>WB;XqJDEZZ9FxLX_|Vm3FSl(N0Qx3-iaM8qSLd%| z+a}nId!8(3@DxVg%|P|$TRRL$Q)77xJ~I&yx5u-)cu$*R+LQW1t}exX5e#AL_$it% zwvcO4!+sjkmK@5cBRzGLt4in3r`zi|A{Vvsvd(~kaf}n=+d;(pK~Z74{vSH`XzU>I zyx$9?yM2dE?8=|p89{DipKSO@l44%p?(go`#v9#}D?iN`nXi4e*RhLt+~ddeX^}(e zBiV)*J7=|T2vPU=`Y@)QvK09y<@QxmC+Ix2v5ux!x9Z9hpd0j#7gO`r(LAoOjc}W0 z+*X;_WYN<$UtXflNO0f~VpcfA%~2-z@mP<^f9OtkWI9==Ee6ra9^v37nYwKR16s|v zBMp7Gguj1jHjr=>=hN=$$qw}JH%bPEg=Y6ew=q^$)|WzOnXU<@s*6jEUG#jTrTWJu z45stDs~1j-nU=lQH)S8K4M^sZ@mc-4{-b^;Lz68bKAyc>Bi15_H>gIvbN9wI5vG{N zg*%CCMM>Azf9vuwWu;-&dYU8otNzjTm_$gM#sXAJZn`Fqqe-{wOT(kzMx?_S5{_vc#r- zt~MUGy*fHN+S}XvHAB#u^j0`&DY+itv1b=yO7_aBH69!rfC7-sx2zv&ZrqNhh&;>3fl*}iwU#MeXw~pXmc0-T_A-g z#{#{;URfOxYV;3TLMBmuyg1JRdwy7@F{bdqJ0&A%w&tfrg1Bvn^fqkygt2AnqlpM! zjSq5Mo$M`s=}en9LO*^68OBV`!N;9g|!A+qjVm+wGJ zSA)M0j!n$M3E2}a5R^&2Ck&@Wy-u{YrK>^l{OLmhm@?|)5)$vA10}O7VM0kq^VEx)8h9kVS!C@e%^JcHI%Y)_ZV{WZ2CFX zF6yrt;cqcf=)kGgmZ9J2?mPCZ^lpku>XBgO#uEo{6@?Q8#MLy}qiKwhLaP zeto<8?l%?vnWqyyZ#!<D_xzT`qPw7&|2#3}E6yeId@jT;2vbCndEmjuz5W~+dA zFo4X31qHu%MM<7IoWlD9ny;tZbpJfI(^1qhKztT64SFyZ+nVviP3*>rn@=`f_3a7_ z4^tkF?<&-PLfjEQXY^T8~xW-G(~M& zDY~GZG`XpY;cFX4b;!@tXTF(V@qrl_Rk*hoNn1GvHGy;G*b7VW;=K!mT?CNLk&u8s z8fB5>tkIz0Ro0GH6`cQ&MpSHU0%I{^bi%1AYK*hl4zHnCikAQCk4U&%u;J2`=II?V z??~=UltSb;EbUa@Co!16ml#fIY#;S2IltaY)6+66?JslQ;d4s zHP$}xfCLfTX~#3dA?%A^vRh=wRjP>D&U^ahTbC$q=0)X{2s&+_Q-OTG+6-(*SbEN+ zb6xzqt`H84kpnP0872S24ouhibvy6>TS&Y_Qs@B4dpAYiR$KSf8%4NE+F!pvW`!7H z%NT!)40}}C3x0R`z3OimCxd#xs2hP*)0aC6K){@=tT{It=S{)DaNeR+E%`dvX6vx| z<~Zp!Ihzh>eK&Hjw?B$~zM-K{sI$B?tEzlD?7tscNKx|Ytew%-iSE|Q5M3? z8X6kTAFI8-9XQZ;CoaGO*VU?F5ty885rq%hhB`-u{=Fi*Qgri>&Oy@C9wYclXDHRo zN>twE$CVzO1gh1~yIa~1@joZUq+3+5Y z`887@B(%2H;61aXv$a#t^l>KhyHx!U|`o8l-lqQ288i<|%iUfdcZ zqOtO;!fF9Yji5Q4NyxLP8PJzzM`T={vcxsiKjt@e%(I{A%BGvIa9)RVk|}R_hc7f+ zea5ozZFRTe_HG(|`j~(|^}O{buZnJ+8>C)FRGAi3na7@Wv?{K)(0-`r>(>i9Y>%v8 zGckq2w@3*{o;~x1x23gJ>yHX2$+SYp1?>va$)ibVkyU;niC{p03&AFKR}!o##Tpp= zsukr&gzO#9utX;@#IR_)Nb0Gf~BW9*KJz2}q$+qW) zb}f^23>|aW#2N|q^3|rH8L>2;9(Gf_Q#WRJlB9F|Ae3+Yb_*1yMMK5nXDG>lAk!<;6ejA!tlw`Z3cv?$&4#o6y^wyR+dKNJ=(+$In#QN%(u0J62fA+aXeuE%E1t?*8Y*dFuV9bZ)j?IpHiF~Jtjqrg4YDwOk@*UQ*w6B zlaP@3ed-2DsW`)5A$IoXJG+BEKq;!AM_uAx5JN2s1TKRVJCUE~f5H8IC|mZ1d7jjr zf6ebTG@tgv@fF3ms~k&qZOL{w9&m-vqAV;m&wU&Ay>@opW!)lqZ(@VnGdD!PsPWhE z(`^&{#u+ceSjpxHgW|z??It_kS;~d7swF!uK7_MGSy{Q+y`d6r5o1V|f-z0T*_FB$?RSW@P>@Qn=2~2l8CciL$t6_`(xW1)uM(A1W^Y+H@jtaY>XhqUH`r zK$*XUKnZ1_%aOFQC+iSPUh0u9vJZZA7UPrSU{Yukn6W#u^NShiEgwbxK?{fuA6LZ> z6pETv94R}K7Aqhoc7pc;HKJ%)0YqcSh51XYlh(CTYSNJZx$$!9!?pz*%Hc}Lk>Eq- zx%lJbF7tU2_3?Me0`(jzns~z+wSL$a&^ace@gaTjOPE|4EFp07AzArt6zwQmTiae> z&ZzXWenun;4Xwyg*6!Je(Dt%!29`_mXXMj7bknLGhR5utA+9lgdMrO_H{Tu1NtF5% zZP*-YpghYDyyJP<+0E^O62 zzP88oQjJsvB!_stQa8Pyy^LK^U?N*Oj5v}eJIM8Z>&~qDF<YVYlEV21 zz3{c_V}K5yY6)NZE0FzgEtEy1?YY{T1TERS9##~*$ASKNhwWL92eP>vveJMKTsN-; zR&;fB_3e{MWa|KCh=sFLN`PS(S+`;-1FI>L$K}%`Vw35=-rR=zjjBZmyy8--*#4z! zOD~kqliu%~K!;HpR_r>$TXn!^Plbs9OCG||I|x+geinlN*IDeN$X5#@U?7xg`_iby z0C(k=A_J%=`CT+LG`>cAb`1#ba#g6GJWv;ZcxCnLa}hg6s_UXDv)s$WXIb+6(<&ZzWuenH=QjYDo#X5s737X1+v|+X8_`?-}$kXS$Hj4 z88&&67ZIQ`FfuX)4$rfSojV$;Ig*(VA$rP6l@;I9Djqu39#47VSdikv54Tv}tYcTx zD~_WWn5iOcdXE3HU~EWe4kxL{p$(fbTURFoO}Et7;vHQLkbXeFaAwgUsHp9QY$WO{@L;NnDqmV}G+aBHs;)xhj(*&%cp?CZNvE-}PE$>ydw6r9V z(%lb!`&lFv9=Q=Jb%wL$?VnVgWavOE+MZq@Zc^2JKA;W69ftD!Gns(^sC`f*;k zO)|ZESsuQtz$Q0vTBxc;@0$|4;^WNU@L2Q%@6y+A`dk-(rY1AFOPS?wSEhzzoyI7Z={;Ye% zIAmZ$mDLC-YQ0@uXLaPtT^U2wHglW+%m5`)fA?E<2TsNJ%g^^pI7Hc78uA!OqZbjr)kipNz5LIC1e|a`#_fhGs=>6v*`kpn7$%qWu?>BBcH) zN|S)3(rU)?BehI&k%Uma`8JP0^7Tge7#|2WFrGne)W4|)K_P;;)9tzNASxhvjnzbg zOVB}Eg;SU^%BIJGh6s5C&O~0WShZ+bFP&61q2dvq117Qe5Q+MDL}G&xs*nDbXyHNX z@kt;D=ACT(P1eOTsAc*yF0c8SrZnR29vI^az%Wym@OUdK24$uevL!(TvX&o^Y`bD2 z5%_95VUBiuYa~*~2?D4Z(FfRILlLHGhaMqM)Ur2V*0nPa^(l}p zdOy7`iy?6Q3_loGOoYIYoObe3)UABhYh%x-isd-}ec8<@+I}E28XVp#J>+7A?~3hK zk`A}tUE%uz#kdWRMWu!`>_(a+r=dwlJ4!={+1=}(3w6>BjWq7bfgQ>Z-Wyuxm-gcR zt&i8x3xs>J{c3z!4q7TeBSKLy~PfWh2gpGHAGrR^R zZxr*%M{((+8@Y=oO6?09+9UxUXrbRiRLUV5!91h}@@`>dp((@Xxf$69hoUTg-ra{+ z0u?q`To_FA>%M-%z)PYI4Uf211;({bOP*qQXA!s3C z;m8R^e&O#OP^biNuJ%)T2V571NV#fQR!N*b5@{_Vqsxfs~s6-Q}h%3)UtlVe-s~v)Dys?*y>cf4<>%7)rLxx#EBC=@jStP zNLz-}5naL+7(@35dZ~V)4|sCKMA=DoNDMpL@QIl{%oB`zWaO%s@EPVu;I*FVKSNr@ zNYHkf!f!bJIUXqW@W-&WIZNU^pV-+2IiP?Xfm*i6r18g6{tgDaI5hU_TXNZN?qNF? z>ZO0)B##9?_*#qU;1Sm79a}GM*h#v16~xKuKh`X)nyr5)3-pleP9wr(XjFc4*0ap_R2#Ik(4a~;Y% z21=U4YPZpKNIFCB1@_u-ZME}`{6O)8&715T8wven*thB#Ox;kc$t5qzsAR*gz-jod7;#!-_+@W&IqXRw+9qM$j;yFmN$Kvj$ z4Vhx;Xk~$2JPS2uN93**{Y*OMx+y&K^25dLvc+Hy7vmjzk>a(K`?#(r(y#q=-}c_7 zzCAKZ$<2K&B_(zCir(T-S65?1qaf2`2&^ul14UV;9=0ENa9RVB<~wI#eM8dInW?Eq z@okaJq4c+t0{pkz>loGv3*z~}ZGJ1AH($8$>NZ(jl94X0HVj)L?7F(fXP>$k5RLlG z+_XGX)SvnTiY|5ML$dqbMnOHUc!*cA>gm(7+tY*+!FzY#YTKx=&`|Ie8N49Q+RH15 zU7wQ?y1jpFCtt_gw>AJH*pK+D#bR+)iL%T$_Rv%kWCG*e(w-bO$SOs4$Khz%KdWx0 zKGUT>i!l-i!k`c5DB?M%{?tL?Z~pK&;A6E>QE6r-|LcoBiy1aK#25XZLblJ{?_w-y z@DEg`Ul9GK1GgV^-4Xrev>0l6Z%&3%jgpsFr9GVobV{Il#`7Q5vj)V5X(vdw0eSTs zD-OPgELmxbK$(7Q?VpxlPqbgM{a4 zx)OKH(h&Np$0Lr`JWqUbyFOrZ3@;ax0t^ zvfxyx;P(%Stx$Gzsaw0E&yvHm#*2$K-~bxM_ZML-waj(2h2D6a+&rcqH^l_g`f)xa z%9xs@Me@^8paW^}URKybzGBUSC+22m`zIB9g3zdM^twIqN#tGAf+~skS;V*=d*@od}jpyp(=5|1Pxz6|4VRa+ao-8?U-8=x=C6KmHYZtm7>8YOFnC8Yr&eT}YWN_ea%Ycm0^ zmdxaU`cEMS;LKA#xz66XTPkt+AQfcapYVGnzt#H+Q1<-o1OePW|Z;%qmjyoOYB3dim%a ziv`sSbiG$Om(I7nd&Qf>XJ}~n^|zhiO38(uJlg^<9{S_WEfI@e3*kqwo9A`awOX9$ zDSOH8xDao0jq;KFSAr)cim|x?7 zLHVEqO+I|IJz+;fFqGugkgk}in_Dp;FCIkXox2fp4vRg!Qh1YBT~3~Ib*dZY;UD(< zBW*_|M9bV~D7ne`&jKyala9#mN|Vrqv}eDLNEzI^_W~Zd^0su^)?p;V_O;!l9A#^e3BNvKD? zz9WtzTLMmP4D~KvErSQWMvaQtQ_H}E0&yp^ZYhyCtglzeE=H^|UR=8=)Vu2Yrs!Pn zvPnPG@$Iu9e)wWbp>q~oI3%+s`gR)aK#Fn_TEX?rJ1CfRRY-aAV9lH(M$dmlZ>8m~mLlV<+E>@`j);z6je*vpV@O_FF$Aa6@pDf zF75?kTD;4@wStpu#^gDVcH%57E_&ZTewWIi(;K+Vp8VSnaPyjw>&j@?ZiXKRcu+7;K6<@k#kd?~BsB<^U{s=)8WHjr2Dg)|5*$ zh3)~rRy?yQ<4K`Zy8OwB32SP@C9BXD^K<)~X$o{4ivk~pVJc9~tE=42>@zhfCrEm6 z`w7N6tu!sIalsnDhXFBRN|W+CIBcY1_P`_S)|Y3_!6QX*%r7gx{qyff(qDqKbl2JD zNSemapRG?c#D}bZVXabJn#V$h z{L2~uw|UyIeP6|Nl=~W>T&mmRNlhq{90ly4;5ClMx7lO~ss7Q`r*u?PQ{%hUSjwPU z8Ibh-$rDkXzH^&5TVK9S&2Y%(A=xx|9S)Df_mt7Xy*UbSLFm2?AAf;={z5c1GFS}Cf9dW{)7RM+*a#0O!=LlixkjaQ79+-tm$MOTkj+E7 zZ2@v1IP2B;%~ltP`%WMt1CE4aY+R1W`?^@tsWMX^?Y;(Uo1Srysvo2qRA7pORe89d z7qE-Oh^l4fMF)KO{d+~K_3g5GSS(i3XKCtiJcpt(=KyNpPBqjvJKANIY(kf6Y~9J$ zM~VO=ukVT2oU}-M&7buZtyW6uPD|yS2;x4M>caQhYJDI*VjgD~$S|ReKlI{HQSSoF z81?483A=H04%nseb~vp)6xxa?X<0{(vALb$JPuXtQiIy{gA4m`1bL0=;^jcgQv>9D zMU?99o}-PBvwYJYH62=xSzDXEMrZ2)skydh$$_iGgvaND0Vo8Mq@NEMb}hpGo?ZWr zG&bI=Dk<7lc*R-CE+xqEH9R2M4<{`xoxT1h)u-J+oEsA%acstng>+%Aiky%oA|Psm z7ZXa?knr`ypu2u~BD_IhExP!D<-&j1p8NE15{@wv$B$nZXN|~#4vE?Us$akVJb^Hy zBwrYQwEDITeH-XnW@6vR*`qj=;#VC3IvQylA&GGMiUiFZo08Sj@ zyJlcp6%rCx13VrEd;2zl?-g?5q()eEZw8UhT@nb*g&ir7sRT8wBx)tdV39Z zI1nP>r9T{SogdL9Jhd_7yBT>*f?z8$*_Ia7!+JdD-}9q0%yh8!4>rB8v$jP2Bf_x? zvFL-%11`hyaOcjYzSjnPvC3cXf&2ssmw4l{6|Obvil^r*(NwyJ(e!5{GPAM-SYk7D z(2$z8w(i=kiN!`|%fPn?qQz$qr~IkIXJ4HD*3zmJB;8Gpt>@2JLEUNz0y>%$|uc08e=|w^f zE*KwpyaczuS{@LQyX@->6P|>tszuwazwnSgyNQVa9jXD?k302d={EPh0)XkCih8#L zCv_4WrJ>;ku-e|H9s$;O3qTYy31a1c+t;__V|%m@-0S9Lj09oiL;!F8+YhiDK5H3gw@C;4|UCFNr zy1bwumP6g$UnGCQE-+_A%LQyUjdw;yhTqIVVE%OJ2X?CI-3I?HFz`(=7pVjY1A~Lp z_TsqT>d5(yB*^%b^}KzHe$3g-9(Rw4tOV`oBFWBWfaSi2l`UUBiUP!O&(>+T1hMjv zu91;lTU%QaUpJJU9CSFLKfHX6Z~PA}ZdqGxAS5Kj*Uo00BrpL1`~-mT{lv-hd|}B0 z~CvezjiCt6SE|ON1T(bg*E=iD>PS zR;M%xYi6urW;5}B=`8XJW=IX0oJ{IM-vX!xjm8B;;Y z$6o-|kpUn?9E`jtH6c*->E^ywk1m}_3`<^ca4(D$_PHNEY5_!P@1c`5_>6e5=jdOF zAq$)984UJHbaZqQ-}CtfK-WeoqM&;Nl~zI|QZX*fxT#k3wL`JNfSiElp#WWxBw|wZ zyygN#Tgc=mDcTaNS%~n1P1Bz5@8h*5-JZSpzap)g5Df6u?R)>`{L z)TQE9>D_{e{J$@GOYLGXkc35G(A>Yd@vLRh>Q~Wxj$+fI4aUh^`_@@lSHaqCIphv1a{Q2E}ZQw-RZ>{pg7zV?6D7)%l-Opj-S&P~TMKEKG1M2p}&BTyiPCZ>+tBIgL zCj!T}JPBtKnqk%9H2AWG;~865+>}o~cNGuiZ)| z{2Scue?Auk6Gl2@D*$Q-MR->_!rsw5OwmdqD^e0>2Nzi$M$bgmDGl z2^mgYj~KuH|GPLQ0E`w8E!hqmhx<^y7MMjF)Zp~>&jZ^PVax(hGt$=}jwGxM1C)w% z?SxuN$pJjK4~)tW%Duj-JPG)Ri<{?ggeFyf`CQ5WM<5;tB##D-0Y3oLp)08ya_1E= zVr=+qtLawu;~;s~(Yb%62;+d3{CM^J3Iw5FuB<1{`o3BRMx9%(g`0TFpC83yQYGzQ+=TChjlDd z09bP4kCX`R1?cB{`^>}-1joJScrB4~-hWD6lNJSbNedyDIJ_CwLfeTNrLO|EX|aqXfY`BH_bnphPPJP|nj^$a1po|7DbnFwy?%Dqg{0*}FrG z(I`DOs`J^y^Yin@yi>3#Cr#G;B^k*|HFCEe!pjQ~(cY6zh8kKj5V4SSH`#yL{yiAN z!7Idzey}{m_3O(c4CJ$H-6&E(e3X=QK{llM4AX0{~+e)mjgwx z^5u}b)MUkPvWFVZllGApp4cTdYhh|R!*V8yYo7`Y1vkzI8 z_pcOgA}2Qg0waJjbt=38L?fmbE#X})8D%fS9`$#Sntj=A*1Ag$Dq^WA9a|MC@^h$^ zOfjt#o*o`v>^A4mpYKu=**H!R6{1;3bA{g81gcNlES%g*ys30j3JN+t`u@-=e}*i# zPcj%@$tK_7fd!AWw5owf#mQL^++P=@yhAaH7U`Fvy0?LQ16W;YdHM}s%FS_!(6 zxx{D;XCw-EK<~&D1I^CP(>q02K0uitC!6qBahj?F*7G_c#M#XQu_n|ddY}Y#7l>#2 z)ipE*pCS0LZ~r5bfljk6!N=SCwAPiG50z8rzd>6pn;wtH7l2ss_LLHN4XAS*F8=kb zoa`tjKF#q(F7r6yFi3FM0;#Jhk0iY$$1MN?!%OZzeq zw3&`~rJ-0~>Mj865G?@CbbMO)q2~B+EK9kC=oYRLnnT-cQjdLCF zZrXivc-zlQCMFNQO&k38ljapMYKLp&XCz8|3u2bI=z&0yF&!Es$ERE4H49!{68C;c zMvzcFGPHtFwFutV(2TNp5*}tY?6fw|v^B8xej3S){!b=^$O*7LTU0MSZN$bM^d1R2 za%@pJc^MhJQFj1K z0`dCOA8(`+?(x1v)&}n2a1Zw}?#ZJ&J%{<9y4JLt@I3FvcJ|U3b1YW4HUGk^nzomE z6J7=p*q+|z>(HBVaQJMZwf#P{x;O8iaGVNOi%Bj)cw1%E60bA~Lg)x>zsoyhVR%F1*(d@s0tbUcnwy1*N$9Me*U!}Uc+cTG*YH0tH#Q)~sAmVe zg@T$1wiKX7yhngyFef)x^C@z#&z^EGkke(VM>NgjX|q=34yMTXl&Q3|@Kv4kF*r7AL=K_%(gko?rwc5Agv^r+W6oTJphXz)4gr zJzITjEzpcSNAUMU#6?qVVk0ap0*QvuxY?_U!R9X0Yt`{H;e=o8^~L=6KzuN=TNaMX zW^uKlg#QK;5?u-Yj^6_yJ3~FaPX`P=5H^CCL{EYqsXj!$T`>1uh%A+s_UOwQltN)y z?;$1*n@gu({WDYyPa?e|?PeRb=jyFY`eE(MP&8YNE&@&o-*1VVEKHd!K( zB|?fcwA@?%;h8tBu14M#R$}X!;mHV1Y6&nPT}?WT%}dIjuRUk%Q%J0UoBp0tIVvN% zjcj}|thByA5{62yt^Y`#*$I|l?Umg6IrS$}sT4wRK&Tq#aKLkCKDD%{|1ZxzZxlf6 zU9I_<9p`0?&1E+Q2y=GCzhY`=Ym6R`e(%opCD_o`FWSsQfw%noKkoO2psaM|Im4NX zX@kLK*d{IGIkWTFziY{xzIg~`P`b?b<+?w*k!US)`0!n9VN7)Nxvgp=XZU#(F5^V4 z)xs^g)zmde!Rc&c5O|E#OXLh%HeWO@CVqkSA;lbCBlj;>LH70m*{%%?bW;EIG{O{1 z3Q@vm)|^@8zy%f+iV~Fx##F)G!=tk10+gt_G{hbNRu)<7StEJh zH~cAJPz1f5|GE04_-kcFBo~+b>;QZS4hpu8>Wy|OcOe{%6MC^ z7>8apC?yVDf>mw?kcq!h`oX0h0vspZQIB*a0o8wAgHr!Rd@j$}mh5)2^+U9p3s_W+ zaZqYIi2t1h{-G;zpF?t9xY<2CGx8DwySB2kiJXs8YT8aNQh+f z5WyGw&H4P`_M@j4$1lVknaQw zT1Bh+VK?m9?sZr$ec#-zO(Ip350WV`-4~HlLiF?=<~Eir|5=8>5D)R)%w=r(`bNP0 zueR}4hV@P?1s%_riKN7Q>FUpcnEtARMmk_J4&VT&U$fLjBejoc9Mp380Qtb-`%u6} zpCbby^o$MSh~X`2g02G(zc8ZfCCqo$&rUrD4e_R-TSLy* zwt=*?v;Z;>t}#C5qfseEJ|;ai0oh=m1o6A)VW`|yug!SY(b_tJssiyd0dZQ_shKpv zh66R%x|Q7OCpx6Sf&CxpIR*MNC8N;`cFjy!08!@2e}8QwP{cyPdH6^gjEF8dh2N%A zjFctc6Jd%C%&E*&c4m?*e+2Z08*k7e=5&EC8^cmvTI+n8jVQT)Tp>g|@Y5z$MKO(J7%gEKlOKcTB& z+m>Rb8T5r`W-fxSq+U}tL|oO^ct_13kIxlf?iGWCN&dS#ycLU&!~_WKgND|K*IA@$ zq;8WOur$)sRjXchlYw~YNlp&fik+IvTVK;v(+Y&Oh(GCSVJ$AaqxM%nlhut#@9m_GE;uE?tx zLjteSfA-yer7)O7A;nj#^!>2Adm7M}p8N@Lw-D&rBAWB=Lc#+G>s+p_m`Z>-Xt0tvgG*FaRdC?ni^RveB>z^gbt4- z>}Tz_OZG!XsodkQ=aZ)s z#3L`YNb_J@3JbO8bku-dG0Y?Vm@;UCI-prh=;Gm++M7f(sPz9lo(p}<5MGm4q5Iej zWB*28oZ-(<8v`iIH2Mk<8b5sn4TTY;-9i=; z@=rT?bfH`g<I;#SSvVaF;KKT zcRq0893G?!%1!Nv@`Bxv1m#uqA>v(F_zecVfgAs7;)!YUo7%d0P94g?!-sN}gf*Hk zED<{Wy2s>+CwuzNU5}ye9n(N6cj?l9MGB@R2!N{d`St16potwAi{wA6uaM`Zhf0dW z^U|T0P;SQc;00Rf72DvA zsSVo#Yy-Qm9jru#GB;!&aGSw7qljrjcsvk)SMlj4;_p_M`|8TNwWZr+a?9zWeg8Xf zhXpzaF0mIDWoOvuYU%0S_qcMU=vt;-;mAH1<$KAPI}j$33)AcOYI57f8_orH(QQ4n z4h6Yfk=Ku}mD|o;^k9cBFfvw*oHb~dNdt!r4G0ZN6GBpk z<}^?tB?(3I37IQOWhfFmgHSf$@xH|i<}##&1Vy3-(R<%VgC?!byu@JdlIUfo*QIn z{u|#vctw=inGFKkI{l^MTiwgPWhV|}3!S?=jfKi3Pr`OEtC(DWzM-=txqheSP{Shh zo4@0e?fmrYJ&?wetM=)7JwN>IH%?}WW?o?Guw!%3Qva510%;RgDDKm^7#11n0jZim z;E#M$+E~dCsRQ2M8N|Q)mUP=|ulKkCWccNFaLky>A&y9^jrmdJh!bCXD%W9N;?7Z_ zH#IV}zN6xA?(xIaK*4m7VqX>tXmTjU>ATHmgvM~c;S1wdfr@CGrB=(v5jK{R!@g}z>bX=Zoq-by(L-3xM`QipgWmikZm#S+=6!~eS}hKi1Xu_H);-a1(g)Ma7+1oe-3U>Dzms+ zlW*A7==*MGrPQykY4VBv{hO+@Jv6R+ZX40?ChMHU9L+nxYlW|-X?vTvbuXG#SDS;u z3g0}bzFaSGNeC~|&i|r2aEZ8_`NPd*!I|u>U&TR7GR4Ap$7GiB(Ykip8JeBvJuXzaG~e;; zNGo&B`-sl=qmKWmtE->#xc7MC_usv^Kc&>A)&=_Yhv`Mp3_w;(H>}X_Y}t}08?Jio zriMoNcmBD@;ZGiYP(H^b)F(6}-Z4Iz`M8 z@N=)x5E&!9Tu}S2UC_Jl!GH297l=>`QOmElIRig*HNeS?eg_1LV8tb?{dU#CK>xQN z7_2t=jEQ-KMuOSG4Oi{NIP4>(THR!{?>g*z_uUjRMGWO90MCRQrHCUpjqVSfv~cGo z=|BiLhyc>r;=jpPZ|4!>DiGgoLj2x-;~2lelSXa)rqDt#1a$jXi~V(1&rsyx=o#Q_ z_s*Pr=j=-TFKnq8KG@*(@}ZG$8!}aKd8iJ^%$dIEhy8%Q5MsJWr-E{t)0bxf#g}~z zYWR|IN7;K^^D_K5Jp=2EPaA65z1H!>Q}j1*Ek6QSV)o4G;@XiS!%A{>ECh?-e(bq0N2=df^UgDRTr#^ca&nPWmvZm*(2~|CaY}>fc`3cFJAi}mf zB!fn)cFY{*&0Nr5BaZquuDlKzXC5B!Lxf+qSRi6)c!4~UN3=a0`cqEa@9!_;a@O5k zIsCz#F+RtALL{4oN|m$()HLElR_b>?z5SHqY-m|a_Jhl(o^85k{T*xs&Dnujs72uk zWi=xg!1I!ti$W<~Nk}kdfQ6aa&QZ{pRke5pbWHnFahx?r><533=IX`r9Kj<-jJS}c zIHbVS)3Y!V8Y?vrhAo{EO7?Zk1G zZU;o`MDk4D;owMKGqTh&J9IhOj0zpDwSUI#*NykvVbs_RRw|lu#$AIVYVrZ-MGfmGHL+XTzWHYK8Vxh`P#4gP&s#fty56Hl zk4iH&JVVDgjh@K;E#kl3H~4yab~f z@4q8$$gKN8yLy7o_oJB_DIcMp=&9FiU%eGAFKoAcqPBl|Th^XBl(Ivm>4v1z*-4+C zuDQay_uWg};6y?gc$hh>(km({=>xl$C9@mmQ0U?G>EfDyRC_vWdOimpD_{6EwY`Bj zf3Vbgkf|y|{ANsjdJtKxsLK zfI6y;A3y${pgM=DYlxR#b19^_JsW~=km@{S8t1`fXs&elyo0!IDC17M-(OyFHr=_S zl3%6j#*gm4=PZO`vZLTc={0No&xY;^u>EdrOI74U--mELKN8UO>8eeJfbW5Mk5iQg zd9byFBP(!l#CVT+T=bAF#>KqLT2F|dm3ed8c=1F@{~wq2?b!XW)W7-<7=o`X7lpBj z2};w(hC|4=0HWw zTLnjOvYuaCOOjRDw%6n6nH7hp*7>a8ZZ!&bzo@jlw{(`S+MxIAL%thm&!0Yn!8fHb z?0SdiXD@m-8^L$YhW>MS7eTI1xR~F$Bl?}T0}rTY8^}{`9wO4V2=1KkkL+TP)9!gZ z*NT@tHfAyQ$kLvMb_b}ot{8u0_dV865zvPU`^F3QNBe0ffBHN5%z>~`{vr@%_N`LL zS$y<&=PF*%lh~n1(@$81vrnIJDsY#@{5lLx-ZKiN6CGPy+dr1Ee(^HEUgV7TkfoNA`-bwuPq55$vcHoweVosSG0 zpTzyTai%9}(dQQxL0a3dHHXT0C>M_2GpXm3|GKH)9=_s6D)f%qwDhgL?fogqoQ<1B z)fTf#T{9;WA;R|hyd&7AAvJF<)jGvJ~!r*;dN^fz{G z6irvTjuPp?KLf*GjP9SYrx)(J0-F1V3Y>DOL(>!1Lm>>Hhtl+;BQwtL7$pP7>^in) z7bD-}2cXdc6<2Xm7Si-BDIHaFmfYC>@@Rfq+G5%f*I^UR!t9U1E+s@dWQ<@6#THio25AU*)m!_J0#-UuKL>y{c|$&OC%XS zZAZS&mLdUPy$Z6sW^=>#v-D6Z_TZsZ?Mwo8slPzYSyon}%&e|xOMt}$Lx*VA5l(oq zU79`^U9E8)C1e9GvX}Q@6R+CWxlS;MLX~j}qtGD1)GR>W7uk?YRjRE}`n{@PgN7hTT1=Pa&A7Z^I1T0AR| zjkxf5-)|!2Umy9G%isM3G@U;lGfZ4Q^`xoD*NViRHAt<3wyw_qTxeGt{vO9{$EaEF zZsuvOx7yDnx?i&sb6TzG7+$si?qRGCLQ`nfV6ms?ZrmrLmzX1S=~68M{KVfnUw&I2 zJTccA^eS;5IhyZpQ=CDko-PN)sizw$aNVy+YYwF2Vb`u5e!(Pu;aTVbt@ItMy7?~` zA>BPinHk>4cG&CzWM(@taH(jY4y2wctp`0 z=Qicl)g$v~?g&B%+e4Mcy-0--4UD~1#G}cD%X~sWe}RjVqzX@e{zEqK%P*SD(vtN! z*r%N#`%{nPQ|*hk1A%A(wqt}uNsjF2mjhaJpg=K4r-~KRqY0TB%d8CcZk%cAGA^7Z z!;+acK)Jv3yk&Gg_HCf3r8b6(k;5Vr3D45TZbU6+zfCvjGu{$ngHKW-Iq&i z`wimR07ma4=5P~A{qX9pMP7(T{RPC#=gW?BjbV67s1Xre0B&w>7Xk;W#;F31(W%Bz z5;AfOA9(~EKddze6q^MayP1N%ZzSe)pyvGN&&RXYj0(jztl5g%9kJ$|3rpUIMkenZ z

t*I;y8kQ3-9gT}^O)NeK_@xwwXp4t0HU`*zH9UKyz{V&c3@1 z&4(5?PnBjASvobHyQA9lsTxL3!>hZt%wkRxH?F>Tv8QG8mze&; zzm6uaY)8mlLrb3{DxvHuK3>*o(Yy5VFoqzOCYW`1!m$)ZZM<93onHn*&BCyw=8 zcqZe7tWTmZS#rNGEg0?8-0c$r0^#N%dNzoMj8z9mh?U|L?DU{r?_3 z`r98?a9rbw9``DjgCk$qMxo5s%nRk$~vLE zsyk74+)t1B_Pm}ysLzC7q^$*Y;(fNcPE8`=E3{}zwE#-PtO~oK2jHrB@YuJ z8wwE;de?+UL!!4JW=A~ryhJ?A8d{5j>T$7r?WyIFDAj*#E->_6a7y{dZT;n;_)jZ1 zBrA{4uK=%`{es8p-WXIY4nMzstme^3-BHqYQ4iDd(nw!ARaz(vlIf*McFm2QII4Vx z4j&c6hldaO`Lq4{{E%_@j5ZBrGTTve@7ZYNI53$1fi~(YzXyG zWmC4?90nV`0~jNnLrd>uLdLu-!0V~(?Z&>c4hbd#(V{)%x+DS2{T&QboH}XXn)xPE zmEJ$%8h`n!Kr#Cz4gCDm!y~$~W#>qnJ}EQwa}9O%PI@GXha$|*g@X;aEOg*w*MLGj3mlT2;5(ExW zoaCGo=WebArfZzScU5PJZhm~aXM?X@bU#WPj6pSu+2>`NIsrl^0M|GrTY`Fe93Yo+ z>4M(BzuDZ6FCia-J!n3$WaJU_310bXf5jlg={#^t?KU;p;@X@g-LMoQ)h0*a0b@)O zj-MAdz4ya*O*Igo!3wATO@Wkk&3OD^XhhhhY#cU^g>O!?4jT|CeK&X}p|fJGEr{j3)VE3$-xF0uVG zgj&nVFTcFAzw(loYGy0liL?#OQ=9BCeK?ByOinX7P5_iuXBPzDjPWF!d;cQAQV$-X z&DTWf18Odw4H#T95#!@6Xw}u{?IV~S<9NsRmXBx?zWjB$y0+Jll+TNaO*<>=XcuSk zLcBa-d#M!cXRXi@^ToeLq93i|FPECX1?3jq#P5E9QF5VdH|*5;h2?VKjmE&53GhZ& zx=X)lhpV1VcR6?-+Xl&X37s&Dx%OpA)A6<0r?rQ4-ls%4S27&U1 zsJkOYEsEn9Zfq(1j1efrJa6w$wnYlH|MeSS^fJ|@%~uZ2f)hRWj4=?Z7o`XnU3>i)|d*RuOnjW(jj%4Cr*z$6I#|1HacqV9CjMNwE z-r2kR{p_q8xHIQ$(#ckEUDv#wcVWHo-yAxLy4n-;cdv!#@$Njlt-a-alcPm)L!xF^ z)!82+@b3owp*xP)OCA#7c3GA{l>2Y{kmtqPunM9z{vD<@tajh9*@x@GqWI8IK-^uU zBj-(;_#7`9%h!iT)5KzL;$uI+l?ECX`m-ivj?@L*E}{3ALjM)Le|tlU9PTsfb_j5d zpvH_@^KUHa{g|1!WGd9sm7zETyLXm{DHJJ~bH;RuYRf=LPytFL`_Nh3Cbqk-P_%r@ zg<9~$T1?I^sNqYA01J)g7B8;5Z8>jyg>7n23?_A?YYjxTsmKb1^czE(ka7>{gI@y{ zoSKLvUYR>npm%I_X(+g^TRO@XkyPnPIVbzocdqCHeWxSVk=ZrtJ;BMmlLXR ztj_W`MyI~Oh^n!@gOqgx1qX%WHhGoDehcTbQG`%L;=ih}KZnCzo$cwsm**QAP!4%p zmSmqSR~L1+0>O`I00CmZ4^U&MucH*;%Nu6^O=E7PVM>RxDug$1@#Yu-YlT_kZ`y%f z?gO_l*=j$OR;^G`s-7Pi%MqS=JYn_f)$kWuiG!WO9|42 z+`aj^s{%4f6sIMk)t)bL8vZuhsS<+-bf@YGmS ziZWxMG6`mHvQYOwwJ6;4CY0<{?z)T$y0stD?zZGc%S4|A{(T_%nQCxF#kXyna5csD zGo^w)-n?-mk%rhc*Ld%#MUaQ*6f?~Ud|RI4oZLXM)jCgu31*wz-u6r`*_&EEX=H*r z8&Y7-wAsbPWxysTiJ6UuB$4f%sWHb2qw`-c*&Jw zmr)CyGZGQW;qZWwl9Mqd^h85@YXkrOe@0}s>bxZh7PCdWFPshy(^*6FoInK!kRv?- zg$6GpTswCO&_w@Lev+c)0Wd);An)pS3JPDEYqg%PncaKFH(3KmPnVr=s(tm#{tLFQ ztHViY8_g@Vo4|%D>i>x?#pX?&L@5EIhBHh^V9@sgQZ(6TLlz}QV%e(=pC&uD?|pmW zP-Ewi8GfTt7;#MIU$l3JAFgm^5(V8cW;+q>I!)r{VbRM_!<)?BbZF(LVWE)@hjG;A zLxk+t;DN*^5jv*EPUx0`kg_nfM+B?;C}8QZ7q5C|ox>t?;r4M z%C4oe$(yEDggaQnv~dfNAeTk|OB_3Lc# z<&R5|>*AiNw)p~BjD*|JY^^T^q^y6~%JQ-9l0i&%qAKA7X`?@aYhq_QUx2xmA~Dl^ zaovJ^U4;Iv2XIhLK(~CL%b0#Lq#x-p!8PnphKgbLamsAEJ;g1G@1a+(za1|D>y@q6rjCf3^+CBuxAOPJb9`<(91YmED4+MM7BbCLBhSvT^uO+Gr) zoq)aA>CP66id}CJuOWMnihL*~8YKhlcUF>6p%sQ{$%9d5Og8)F!>Jy}F?aoSL03a} z*BmOtYOsSXWY+Ge0RG$U3Fcyvf!({y4k;M?at~K;o^F_->PKn@L!~7*miC@ks1vdy zz4~V~0eZ1_9NF+#5nQ@?s1Pa!IwvjfU!)_wZR*6B)*#GbWwLgPwa?cn-zTXkn<=qI ze$1xHcIQaX1`Cj7%@N zv8$;QgFCrbFZ#GN*%<;QV{{TlGV!MO_vP2+-6;|}pr!>2M?{}E$s%rTS0}CzItDK^ zwY&lSDj%W#e8WnRi{s6Gr6TQmPlHZP+kvLsd%*ERC7l2jyx>}PD>XaY1cPKo{lOij z%ef6n047UqG_~PJjTeD1AgTm6W?p^mBK8yG@LTF4KdV1hUGCH_(uGbQpLJbV_aNo0 zesXSt%Gm`O=OQs_@guYxZ`!Y0ym&yy32P_zHDiGJ@44}hf8(<5@1q05X;`~3+}!0; z-S7MXbs<++4w|m%4OJ>{<21K9!8+a0vht=KK}a06k6TRE3^tBp#>KR}0OziSBt`RP zFI^6Frzv>JG6z&f-QcUQg9)XCrm+)JupsN&e1=QMJPuVFmD}J70z8nI35*Ks_uCf#MAfVu^EN+x{c&#G2%Co)kFuKD z8(r6Bc7IaEfq}}Odj$7_hv(?lfR7*Z}A*Z=b1@xyduSIvJU zPG)J|vf@3zSDA*UjsWLuz0=vT1nCKKH2;6Sc*+Cr8{_^3j{41( z@1B(9pSua8iRC}iS$XSNEdTK*03N9Oh&p$55J^K^Ig^J*v%XX0hjGCIVuCx#zCoiM z=g`!iVtIodHBU5565qy!7WIt;e3!X#drM!H>V1EouL#u60g??^*7>E`{Q1?wD%c@e zP0jOQuU0*P?Ft;c%vQ(=Y*0R(L9U|!6d4mU#5hXr5)>IYBAkGFa|0Fj_nc)o4sK`6 zRcw6oNH}&C0J{dDm3Gty1zI<;|#$V?fEh25oa(vDheAd*~ z-4n~I+Uo|H;97=I+G2v3v$_rT^!~^b!a0BwT=O@ta+Re4t0r>$&(fDekm-JaZa#nK z?r+hof#BL_kY?oZV6qa{2F<;bcQci+(Ng&4qWC7LfV01;Put+Nw z3XfaI(3p{g2jMueeCQ>Vl8!ceyfSN9YHs5bj;S=W(Xrv%@hCRO8vk6)#N2@CA0Ueo z(sKko8-xz8o+r1v<<}+X4iozN&)E3K^B$>xev&V|8!YiAFJ^|;V?|`aGiI4S+4qcs zOZPt5tM%H{v*DSM99jK~jfCkTqH8fG`z#^B~6^l71|$L zFl2(k6ur|QJR-SN&+GQ#WYnkTVDx1o@;#xFvmi7USe7j+nmx-@f1@i$1+47xp_v^c z&0B`PO7jXYI#lEp=In5PN8|H878uA)z83d*1CnrN*eEH~qIHv}9MiaD?@_szzOhM4 z`dOJGU2UDWXOlDwdoPovdXA-vt`YDfM{+%tYCu*kusv`oFdkf9^p00)4u|U+$aTfc zSPw1g{f^tX!GYtvg9?KUSR-ue4^Au&eU7X*hr_Ofd?WMFXH;vA;bxE3W#kL*5D63B z-C5}snW5HKfH$MB15WQKAxU~9mB1;_(y=N%rdp0+!}t&wrRC&+q8UL^Kivi=A3Dqnw+fbDl+bx z{RlsPkHRkN24cMc{(4kPx_tdwqrtkIo1m{BprCL{f^I-DCVD`42UWG2nkY3NY~ppb zukeyLnCOlN9{h%{@_P^l9R);_3FKsC?{%~_T|{;I<*~aj20dieb zIVVns%N)(nMktK7jfMhvdl(_JGW!ORFP0lO(MIU@zO~xx26HFtyy25-wmF>8N(rtLJ2QQC(9x?Nb#}1v;=$r?4F=)? zL=QYb?zT?n{Wk^ZFxgY8brF4|Jb}rML>XT6bh(1z~GFj(*}m?oc@yjS2M)8+T){S!OP`>mT*X9R{#Q-m=o%%$KmxN z)0$bd3%C)sIhA63i{RhaFpcbZT^&TfTWEq!n=drg*Ni`+A_`D2E275OXJjpI42?%`}>46^M`Zk_#d4?bS~o4b`*>nqbo zZL|LbCrKN?yxj2h2@Z*1!j{==?u!E)LTO0Jyhn4?wAP^_eM_=Ex-d=fcJ|($f?f4; z9;>A$jE=MQ>xU;f__#&(_z)lz_y9Q9)R1K`%FiDmhE<~pXss*S#o!I2*u0PStJ;`B zOJfHqvQ{Uv?p)H{#HgVjMVKS`B=^>yhK`QY#_mVz9`}i0aO%pyzH*dht*;k`XXs%c zQ`!+A;2JP4_pq$vm)F%O!j%NgKlW34{Nv|j`9|fHfuM{?Z=vz|CR!`Rh_PF=`fkL%u#Gh8C3omqj~`Fc#0EQ!~g(n-}$Y5;zcy?SBQsfP^g z7JiUbP~@}U#`1$LFG8{2Cx;$79TJmpghH^Q%hJr{#z%>pgex(ILeJ_#(A-!y; z#s%%~o{=ZmJiz3LHtrB zb!*XCEQx3ZhDv4I8{+bilm7Zp)mWiKQ(X6omvIKh%17gt2==%g=z7U1aT zoEl}yLv;brUO)V2Rv0?nrpLqr49bDyzTMG*3Ao`=tC?X{5tFmQdjX>W1GuSlDSH=q zcw$izifiM53^zJCK~;TE4&#%a>*W1G^7#Yp6=*`?id_~Fxv^Yhg4e$M9+eF#vOC*b zJyN5j^mT@F&7CY5Fp5WV zE|vdZZ|sYW3nq}3cK71tmTNVDr@Cz!c~IQ$&3zW8)89{K=Xz~dt)W*(hMw=;Xf6+h ztC<7ZO>va_l?Zr<_R>5EnP&!E_^>|gs^89)!}%6T%0-6rpHk^e51H{J2>CUpymVf^ z0hswXFmha)T;g@7mIXLIP@=G8BZH&?N~TInLvhSHPT7ZsPaKOfd|P>&+#AD{y}_N- z?grMouD4S=gd+ouR~pT=Xq=dZ!7mT9P_Ot}5o!XPBx=`M?=KblznIdGhZZdE(E_mF z<&9V5k*7-5ZEifGKYk8^&l{;=o8W={@&6ahY zm3J=*NQCZ&Aw6-LDNgDL;9n1y0fUyIY-9ZS!>cyimOUPPGMWBsd4Ju|pZCN}7?4k- zgU8J6oQB|vp}LVMxv;c8@8g~sA>qkIX&6Eg>Bc79&%6x6vUOWDR{#8nUtFe(=Rg}| zpnEZnOR(fyoj5}#gH%w5P-P8o7=L1~z#^kXZ06mWZM&C|ruDiN+ z&W+ceY>>)3&twIub!?juF_zlogO25rb8>Jx-&u;sGc+em^_YsO9x?1^CV@gEl~(AU zhBA^(JU}bPXv~&>oZSE#kfuL*9m?x%LEVLvZ|Cv8Lkm_*zmFp|ZqLJ!O|m{5DmPr>+qB~>%Vnu@8X!mI zS`fJcqeA;YZ!0+vnNf?8puuZB`-|%?Nyo{{mTJ>fK2rA4`EAjT=rdo*0rEL5Wo_mf zNrS5@aX}ReBk?ZWX+n<$*)9?jn>k>MM`b-KA53Bj033-+^^jPw!M_yler1^iTPJlK zoous^y7~lcaVFs+!>5usXv&gd*n~pI16=Ci#n9GZ#18;3 zdTb49WR_OAM?+j_78-7ZQOIp=2ohXWjbO5BFzpMe|7K_b%Ljr&TxqekD(O;SGi1ZZ zNa>AqYYy&3;X)bjxR!yf08TKqBr~)N4=RqM@UP5%DrH{u)RDYW_oxI2t_=5)mvk&@ zzlBz5hMy1Ft4Rr9C3}bIBBBQf6kZbL;H@h#hQJ+HY~BYz^v1D}K zkB8(ubVnyHtvQTRY0v3Ex$+_;6t+!08d_7_%kvl$x3CjPNvxP`vyp;1{IwB)de1@L zlzEB{axn<=N=i9F-`^j^?{ESura_kscS8S`jT_h`Z}ve3>|&vfB58M=HtugMzHLh@ zC^Byb2WZl*QQ*1vfVCHivnEw$I$&! z!^&w<K5#_v<2Eo+&<8!wM`r}<`DAeryK9>TUlw$D1yb_-qHBFHvDc1J)_{F;L**i6 zy2a5lm7%&2OH3kUOI7XLK)=zbeO7NNDyNHvHI-t!3mdVT==Gaw*AqgU3?wxG}J=s5zZrBxwwg(yM!kD>i`VAcB;xfU!lb zdD5Jrx(L&49m4G-6@D_PR_C>#4 zqLak(G3V_B>2cP$jBYJ_qr+jccOpt@!ewJD{GnpY`Uob^i-+R;Bl6&B9w*1gIU(Fq zO}css**Nxagm~d(IdhyZ%&nHr*xy%S;OyXSU_C{loE<8l^H~Z=p=T>WV;Z5VmOZHe z7EgCL)5&+j&4S3CXN(Hz196%C3vh2ydb8Om<%O=-c~^XH^L&%w%RV6=lJLupsE8L$ z!>4w_o<2IGGNSiPA(Qjr;ymh7S=@bk8_LhvUEQ1++>d*+c zCa@LWp6S<`1Do$pFg(63F)bu~sbrgBA8*vHMz&ULw$_(&=yF{Lgp+iw!WpaklrxP+0E$4B_9KkhXH93dmgoL_ss|(P_&YyZyPQ|! zmByVJ{=3%^<-}wkGj%p=-eMPw_1PaLTsQtG=2VDUl6WE=(-#^YTLfQG+Z~f9g8O5Y zEk zbODw*kR9Sy*vaJqxDe3_%6b82(IOl|;10BevLDE51;hL~e~EHr<`rn>c+!d(u$`t# zF!Yh#(8k@zH8gtcy(9%QXp}ckVqaRr)3$YCaL;ihz0yqHoGnLNcfsV$CZ8jabi}ie z;YeMea2Dm%_=Y;47J(IP>w=)ht>1uurZIbSeZYW9Ajv)KZ*-l_a7dIRR0v*5gWN&! zQ*FT0Y=xkCp4fJ?Fe$Mxt3+9$nHhNZ0ZD(;UzMZiOVQj5`;OS80m}> zojrSnboZ_(s!O+RFD`SdK%SA^ih(uy)JnzV+o*HIbpa6`Nx=jyv90li@RZGg`$rx{ zceRA29;y8Sm8H3@OLMolj1AV|Ad3fc-S8h8Jx? zcB^t`tws!H?+U)y;Yom{fI@n+r& zE*bTTn+HEv-+;Rvj$)GVuILzeS_#}o(8+#Y5-?^Z2Gs=bJdB>a<+xzmi@|qsl_<>(Bouf0V9qXujN zt*8TJ8#?0HE`v!K+yd5?t00Unz_{jV?Ecb8|Y^^SQ%y28?&?bLlE21D!V3Cx{> zpf!%V446C(A((p5fZl|zZZh!ViKBr6xtL-dv?L7n@)4MH+K6j?gp{hm-&BK|QedMC zF~}iv>zM+CP0DNQFe6X#5Jibf2U!=`WmPS2e}+BWt9U`ql8rIsG!6fr_q6O*UG5m5EVomblD*}O=lk-CQH`!_9$ z*_1marU{;Z27`|eujD>SVm3zQsDC}#D1L1>SslT-o)RnyM_c9l0E07^2eOlIVNIHG z@)q4v3q_jF!tLT>fulr`@diP!DhhLE^3`B$G-1Jawm$nD(halIRnCs*H9~K}VH^bk z1~0Z?Tj5;lTfM(>`HX*j)&BZxT!PY41$8%W4!}u~ulBOpqjS5M7vLK*M8l0eY8P5$MmDOtlnLa zFHGJs3>Bh}NB~7NrM4ADy~QVI?>p5^KpKa?9X*I=hx{s>H6~vXAs6!&a5GwlIZ`HzGqRvZJ@J@9ve09x&gO<;ng$nhL;dhswhP6y|hsmab^-%g5KcN4LxtPSzRf zcll0V2Cl{!O z{~eBEzZ-@>&lZ13^`J!L8%%7Bbo`X)atb|}_gMJRDjizNjW=g;!K$IKcsi-QXyQSp zgIOP7+lSmXl+s*~xZCK+3{%8|G@Bn<2Zr!w9K*#9`X zly^ic%*LG&Tyr?ojEWljG2E9^NCx`rO6c0iMAfh;_*f)MW!l?L zz<0>H1A;Jl99%Vyjm$qId9>L_kD60(^KES5WSTI-gNwu&8Yi~t7`hXK{CsRxu-DYr z`1rhxeYC>CQT&+x@reoa(5B&jL|=zN3zKY>r=jJ|HZ25RcTxyOE5MJqOCl~XIf!uf zBwM6gAj$VUUzt-3kqHXd4~+Jstz$YSW%x0)P_{v9vA2olXrH%zbLRd(z*qJaK$0sN zxK<-x8Wj*D4qB`~AD5@PNwcIrbkEPuwXfRtlZleOzeTy^`rkH>$6=J()4t z!m~-bdXKDx+ty^Irq0&jWd{!)T)bz`9`*fwfanv;H{kYyR}c^cKjoFSIpE^rvPjLx zeCQBeuesKH_e$nHq$VrR(fNH$LsJu3BV_6bPV6pR316P-6op!l@M-8pR&&$4y;n4B zeZuSzg+7qa!>RNToUOEvmFZ2ZbRuR=GsT@OBT!dY65Cmo>7A38$C1~U3x7REJI-|N zXRr%umr)EKM&+CHvmS}L{vD3e&d~k)_XjVFFi7G?ZHCFiu5l1974utUJ1_fG)!D`S z@*&wd0H#tf?_s=oK^n&XUgYiz=q#eEsfQyiTpjWWX~b}F;+gX|-MDfhP|Vi+{n8^1 zIANTcVcKIDyd5p5?Dj$jj5DykA}nrNn(SyViQAGxPEL~8ejqC=>)JnkWMGp$ca8$xP)X3)r*&X5%u{sX8%kwxDKZ3+eQnB|Ut^h^jL&dTJ|j zzCZ(Y5YqF@+)!Yuu8`fp$SU+xoE*9M_}tB|o(QytQvVf(E@B->f1)KmRB~^=5sglZ}I)57njSdNh>Cz5e=EH=Vn? zqTt`vry_edJUxGlDg&?a5`K0V)SW8c0Q=%pPU+cc0RN4U=msz2lXK$9^Xmg|z2?Ai zj?jsnu9xhvupw@B4Lpw=9PbCf@XOp|;+FAF`tCI5tG~o-x7F{%8m)FU8^5)yzWU|n zrFUUT;uj@q69Sx@^;41eWlqp=>VEC};%IG1cJ`&{`CI4AZ<7==w{+v_##hVA=~lG( zUa6Kh?jPT^dxw^mR^ra8mBwBgZnNQX8X879Iy$aakwK&JTyb&Ep0~)^=3?Jk?+OB5 zX2?j-$Y;%tF;2mUp0>s(``Cp^L>v}Xe7yF?)z{jp3#v_OSJ^m*-tcx;jwxT4qh1^H zj!Ugbt@+F4CN*&OAw;BP#cmgP$9n3U>AU?a@JHDLDVDrKSg4=2?XoYh^4_ zcJ^{RQ}^ZH0<$-I8M2;gRqsFQl%JcRk=Xi`@$(wCd-v`Gxw*N|Q}aT#4pHN7|$q?s||vRHwMT>u&u|U@-8y{Mek$j{TPS%)PmD)z-YHw>~HvhVHL7(W^SW?l0Ng zs>_eg%3QJYuaQwdA6c^6I@|5B+Qg26dBM#U|E(L9mwv6$AxX43LfJ0({MAO+(HYHo za{~R}#^}z83Fni}HO$J;U2j<`EVF6ivzpE)2V@qQ)ybZhpV}Wu>)9QjL8YbP?IxWO z6uW*Ruo>#PjgU#LR!KI^4f=qlS4FX_iDCmiKm05HSFl6t+SoD$&Pfq@wdOH5&W+ip za(#2Yv1dt$XU^P5pM&zl&d(UK#{Yk(CeH*upptojn)l7x;Or3)KcH^EC~w7EYiVwF?ds~fHvNx3H#c^mXZAo9)n?h& zm}zr0j91o<&(jLc_T3a9YJV-vzbIkzE%W^JJDb`PW1n(4pUHiH;x89%m#Rm;hiVHV zm#d7!^FMt$fM~T;?7|OJmrGo#$?9dBZG(g#ojyI|SVsNyo2s1}ERU#QmlGUH(o-V} zaq`AZf9CGy<_h#7Fl|uM+ZiRgj>%^}T-qEKJ!9%cr`|$zvF>EsL3XiADyDIj-PpCI zO+SoAcNZeepR%8#0N>FErpqyLfkT)pDal0{@d<}z=5h&W`hUMuU4yzj{NKJaYgzag P{->m