From cf4b8963f10ae5e4d0a66ea976bb3129353ebf9a Mon Sep 17 00:00:00 2001 From: "Andreas M. Antonopoulos" Date: Tue, 24 Jun 2014 12:33:35 -0400 Subject: [PATCH] Add simple match script execution steps --- ch05.asciidoc | 26 ++++++++++++++------------ images/TxScriptSimpleMathExample.png | Bin 0 -> 62342 bytes 2 files changed, 14 insertions(+), 12 deletions(-) create mode 100644 images/TxScriptSimpleMathExample.png diff --git a/ch05.asciidoc b/ch05.asciidoc index 219aecaf..2569b71f 100644 --- a/ch05.asciidoc +++ b/ch05.asciidoc @@ -209,12 +209,16 @@ Bitcoin's scripting language is called a stack-based language because it uses a The scripting language executes the script by processing each item from left to right. Numbers (data constants) are pushed onto the stack. Operators push or pop one or more parameters from the stack, act on them, and may push a result onto the stack. For example, OP_ADD will pop two items from the stack, add them and push the resulting sum onto the stack. In the following example, an addition operator _OP_ADD_ is demonstrated, adding two numbers and putting the result on the stack: -{diagram - 2 3 OP_ADD} -{remove op_ from above?} +[[simplemath_script]] +.Bitcoin's script validation doing simple math +image::images/TxScriptSimpleMathExample.png["TxScriptSimpleMathExample"] Here's a more complex script, to calculate ((2 + 3) * 2) + 1. Notice that when the script contains several operators in a row, the stack allows the results of one operator to be acted upon by the next operator: -{diagram - 2 3 OP_ADD 2 OP_MUL 1 OP_ADD} +---- +2 3 OP_ADD 2 OP_MUL 1 OP_ADD 11 OP_EQUAL +---- +Try validating the script above yourself, using pencil and paper. When the script execution ends, you should be left with the value TRUE on the stack. Conditional operators evaluate a condition producing a boolean result of TRUE or FALSE. For example, OP_EQUAL pops two items from the stack and pushes TRUE (TRUE is represented by the number 1) if they are equal or FALSE (represented by zero) if they are not equal. Bitcoin transaction scripts usually contain a conditional operator, so that they can produce the result TRUE that signifies a valid transaction. @@ -235,13 +239,13 @@ The validation software combines the locking and unlocking scripts and the resul 2 3 OP_ADD 5 OP_EQUAL ---- -When this script is executed, the result is OP_TRUE, making the transaction valid. +When this script is executed, the result is OP_TRUE, making the transaction valid. Not only is this a valid transaction output locking script, but the resulting UTXO could be spent by anyone with the arithmetic skills to know that the number 2 satisfies the script. [TIP] ==== -Transactions are valid if the top result on the stack is TRUE (1), but also if the stack is empty after script execution. Transactions are invalid if the top value on the stack is FALSE (0) or if script execution is halted explicitly by an operator, such as OP_VERIFY, OP_RETURN or a conditional terminator such as OP_ENDIF. See <> for details. +Transactions are valid if the top result on the stack is TRUE (1), any other non-zero value or if the stack is empty after script execution. Transactions are invalid if the top value on the stack is FALSE (0) or if script execution is halted explicitly by an operator, such as OP_VERIFY, OP_RETURN or a conditional terminator such as OP_ENDIF. See <> for details. ==== -{non zero is TRUE?} + ==== Turing Incompleteness The bitcoin transaction script language contains many operators but is deliberately limited in one important way - there are no loops or other flow control capabilities. This ensures that the language is not Turing Complete, meaning that scripts have limited complexity and predictable execution times. These limitations ensure that the language cannot be used to create an infinite loop or other form of "logic bomb" that could be embedded in a transaction in a way that causes a Denial-of-Service attack against the bitcoin network. Remember, every transaction is validated by every full node on the bitcoin network. A limited language prevents the transaction validation mechanism from being used as a vulnerability. @@ -332,9 +336,9 @@ A locking script setting a 2-of-3 multi-signature condition looks like this: 2 3 OP_CHECKMULTISIG ---- -The locking script above can be satisfied with an unlocking script of the form: +The locking script above can be satisfied with an unlocking script containing pairs of signatures and public keys: ---- -OP_0 +OP_0 ---- or any combination of two signatures from the private keys corresponding to the three listed public keys. @@ -342,8 +346,7 @@ _Note: The prefix OP_0 is required because of a bug in the original implementati The two scripts together would form the combined validation script below: ---- -OP_0 -2 3 OP_CHECKMULTISIG +OP_0 2 3 OP_CHECKMULTISIG ---- When executed, this combined script will evaluate to TRUE if, and only if, the unlocking script matches the conditions set by the locking script, that is if the unlocking script has a valid signatures from the two private keys which correspond to two of the three public keys set as an encumbrance. @@ -372,7 +375,7 @@ Keep in mind that there is no "unlocking script" that corresponds to OP_RETURN, ==== Pay to Script Hash (P2SH) -Pay-to-Script-Hash (P2SH) was introduced in the winter of 2012 as a powerful new type of transaction that greatly simplified the use of complex transaction scripts. {simplified? didn't it introduce? could you use scripts before p2sh?}. +Pay-to-Script-Hash (P2SH) was introduced in the winter of 2012 as a powerful new type of transaction that greatly simplified the use of complex transaction scripts. * Complex scripts replaced by shorter fingerprint in the output * Scripts can be coded as an address, so the sender and the sender's wallet don't need complex engineering to implement @@ -382,7 +385,6 @@ Pay-to-Script-Hash (P2SH) was introduced in the winter of 2012 as a powerful new * Sender pays the fee and shorter output means less fee for the sender, shifts the cost of a complex transaction to the spender (recipient) -{why was it introduced? how is this related to "multi-sig", how else can it be used? } ===== Redeem Script and isStandard Validation diff --git a/images/TxScriptSimpleMathExample.png b/images/TxScriptSimpleMathExample.png new file mode 100644 index 0000000000000000000000000000000000000000..03329a4f36cf7eca5c260b7eca2d80defdf4934a GIT binary patch literal 62342 zcmc$`c_5T;+c&O4$TCq0VN@tWS+h5`B!pyND*L{UWyVs7`BtcG*_Ui(8T;5~6qS&j zne53vgAvAH!h4PGzR&$E_wzjO`}^ZJ|KOVQJkH}fm(Q_%PJbEb-(+FpW}=~?VY#KP zVMIf7ERTkUc9Ve~cmhSV%+Sz0qPe93F%BACo>0|xcgZ^V$#M3dKUR&mFJG;H{P^() z7H0Q~BHmHD2cGxA&r)i2ipJ=;>_OO_>AsZd9=2nVlrbMC-oofw!cf7Ajk!JOvxBR7 z%1a3Sv17-~@qw5kOgw35MxN9=;I>4eV>2z$&r}G{T35-2Wo?}6JqGCW|J#R_K2nl1 z@nTGb!uwpR5^JC{kw$&t5Z*(L)EJ5nwPO&-VLf~xKs$7V`b!kZ;5hZ?BhXPi^(W2$ zeajmRN1%sY|3{hsMN2gX=pzMc@BgI0e`*Yl`rY!op;;fO>SJyWtM?^pPo=2KECQD2 znD8_)N2!1Rzo_vqCgES|@CXzkY{U4lU`Bn+i1V&88KU(8O{m9fVy>g5RslLbec+7j6#hmj=6E&*YUt4&wOe;ypSP z=63E3j6f(mud5*UsLR8U7c>h6?+6WY(PI1P+qBfH|*Ns^KF^|AcO-|$uRCArw z@c7F=05dA-1F1R7?MGbhGjjtCzi*I$B!j6Z8l>@41AoK!6S0ZQmxs2a*daP)PkAX- z7t>KQ%%f4@bPuciYKx7VG0(TG*vd@@ME84E)Sx%Y%cMC@)8$Id&>Kl{8Pt;MafoPK z@EKe9t_yxF7Z$k)EC#Q5%DO27fEF|~kW+U`S)H$s*E8lXjav>Lb9H=QCWDBsUM=*K zx5gEG4dVG}^AaK*k{LDajUB&wmN zN$!!^uRBNzFvboLxRmNFGcGQw|8Q*h@wMT>S(fBbfyb3+mHfQs(t7H_t}(j7ypU5s zS71p~aYxYci%)E_T{@q9HFJ~ToQxLCoM84MJrong#iyAE%tRD3W;qs1{8NWiZEcvw zoUHi33D-MUPF1=W(du7bm3h;c#c7DVQ&@dW$X=(nL>%|vxOHf0S)Io|rVAs;Ox1Lr zdl*#J{!hmF-MCQF zLdR|XMy&74tB%n#mO1XVH#%x=$TRBfzf5uSIBsw$KKJXuMJgtEbIt&*EZiPzVf9Z) zSFu{;yoC0IFP~z1GB7Y#O1F=ccYb_Ojk3&Hk+$1=%o}$e-X#Z&okvRwOhrcmA+O z$uO7?Vih<}5-q(ugDd#Qs^YhNPg3BQ<0pKwIWJ7AUV*$PdJOn9U-qP7sSCXj^s7@P z=EF~zL-I=ruFaos>pcQdcQF|ZowXQGvH1-52?u^)&>NsnQYFXO??-@qav|#b6R6g& zwVQFWXLC#<9!Zu@JAGveyBjz%`JDu37oUlEsUl9fDk%6Z`W~ZwqXdUONLj9n&OzW( zOwv(PUdU!`?PSFlAB;LkIRLl7*M47hiU3C*SB=L@3Vn=|;npboF42DV4iyckJD~5> zfZG|`>VjSsN~yK_t?*i#3i_i-o292O){Oh`vR_J(md?_mGbAh9BPyaL8Aq*6Kw>9M zBtyQ@Hh$kpiKXv%q?a7g8o`PzcvRiR)+cXo&LFt zYE<1L(Hkmm-=-PfKxzD~w*P?CJDk5xae513H^0a*`Z*r@Ix@EWCVW9(CWJ+cbku|) zZ!Z88cOtK`lv!QbMH->QR!uwGt9sD9AP`X;=Hh*7W4v^gtbv9MvF>9j86Ya`P;I<) z=I~gMV4DRIl($tTP?<7s@rfSi09%mFpb0R#4U$o=DlDot0i zms$dXorr!`X2WipZEGVp;uo`&f0;+S++^t$L;%)-x_9f{7&0r$*)q{Hjq}pqOVe)% zqTORlyEc0|G?bDe3|SzX9<^X@r7$oD*Kkv8cIcLQQPj1|z9&vk%qM6ehFf?T2lN*eKJOZV69mMKyM){i@S-sYnRk}FLV-A|(JFaC~HFYTSMasDlP zxJ2M$FMvl%D3B|<{W*QIeI~M+=)iSP{~etny5OmjoXur~&Yi*r79FWA^S1O-FCt&$ zB8K(NDk4Zcqf|TEEFH`}Eb0+$XQ`YAKOKjLX6>p1-PqTo`xK!HK5z&%w6cZNUZgufz!y=6ADwFWUld0L$&8rm1s+s4-zy) z?)J9l_(ifXCkJ^oQq=#5H}L9Ps#0^de;b%NI5-%}?pa0`WySu6w5A6c%9-K?`nn0LRa>_zv+P888tjrFWYL%F{!&*iuK zx1%LoluK_ob|$G{p)nFn>$Mr2DWZGUVm3em^zA>W2RBJ?sByBTP|srhIVY3DCczvo*{l3k`>#>$eIAC?O zEOTDU@FspbbIDT7KvK*=fAav>ZdG2(dm~pVTJm-RRmb<%&jGXPRtA_&MZjVyI0F_- z{-E;irBgb$Q>xEwx6J3z?e|W4KCbJ%uIESf^8+hCho_y=v7UPe^brR7jJmzdYBpIs znd$mia`Y&AGgR#AXl`a9i0T9B@M_lq;>&@i96(cUz;>F*@%sU<9&zbUa1jN<-yjS< zo=sT2{Jq}Iwfq?XiEqwv_fL)6^@l<8lPOF`W`s3=n zSC27hrA}*KUZZqWh95A3*jY8kH^7q{&m`rHk3(}#t6zF>=-vPZVC}m=;?+ZU5?Zq94-f!7+wXJ3~}p7EaN(0_MsUT!1ssXZXG>1 zQf3k1d_L21R{Bq`-~J;*9+(P&hw2}m{=*eN1YE$0g@6tL@^F-Y)gI_|=w2NLC{$#k zq3#60i=d7UW{SA<+xY@s=ePX-s=WZh==eY6126Y`bn4_C`iL~Nh9C{bJgVTX1}tdc zGk|%&nrreyVKX#9swgMmDB(D#2_{im$rDREMe2>F?NMx+a`G(L?H4S=5*B zQ`dsWX+LO)pice5oD^?ac8b2cUv6#_k*g#QkuejpwK84J{B`BAp=a-p$vjQ00Fvhx zrMfX|??*tCsuwJ9{-6NzC=3P$2pK8< zjVPYz5}7uDX+3)^sW|T$8Qfd7qT?X^6|LQNRfG&mBB(}^x+wJ!?7lVJ=jK~JV6}lr z@P9~s{1ZUmdCM9_{yF4JXpl?Y@)jB^uo}P!7jH|GR{FYqVJA2VP>&9WmMQB4J;vlD zXo~U{DR5$UG;Y9mj>!0XX9*h|j~?822x9AZ2uB9l_CMTCpy8h6k{@es<0~)8DeUD7dW9Fvh)GLgR6&3TfA>UQ*S^L1B+FM1Py;+%mCJFP_F8oP z_6myNX_<2YW2Imb!pk)tTBCPV*rs-1%#*a2U5Ss&-;>`lFJED9ofnnUK6A{evRzsP zf!|1Hw|8U9le}_$S+AR|sA@(C(MeQLB9DhrvjkMl)j)a_PMGz426GEb+kMb}#1z~4 znu$ywX9`xdY(aK6CU zV&02wxBg1ICLK6JWP`gv*)LMtvf0_HYe!H$%VMwvbJR$1>adAp=diEy(T4?K5tIXC z3P$8UqmK(zT1TzNdT zanw{z!|D)Yv&71XR{=_f`HjU_h1pso&*a-q$H&Rk>?8o;hpDmm>ea}Cl16t0#TQmT zDSrUh`P*7mi!iFZSoUov0LoGsTS)s$=l`UySOy=NzhE?f<%J>oX0v%|zU)CKILy|a z-KzEdleCl85VCs-m+aJi<2%N@p`83@hF+XQVdo@N?U%{{HT$NGx zX&W=AZQ=Mw4BGeWDmQBz3DuU{_-VQk4rTr%2v{HLo99HYT~^M$-H>k$Ag-s`z#<9}`X>eQFkUNrSZ|55Lc{peF*e>?u_>nk2| z^LU-Zbs+K3d6uf)#}{LY9n51h5SQ?%F}YKTSwcu;(_>t->v!s;-RaU6A?uXy{Q?f# zv(5*@wl6IkXme|@^g;r(fn~>hmDls`3h^&tJn0?wQ?rQ^IT>_(tUun#krj*3ln(R zgB|@QgvjH9`2T#linALncMR<*+2GTXHW`HgXWiH@MWy)Omi+JkgX5q*2i0Y2MOB>Kd4_kB;jy@Z&lUTR9!` ztkE{-%X&;>=*``x*CbCe6K1&m(_g0NY=U#g`>aPU%19 z%j6KQ44*dE-`#@v-?q)JQA>8&>}qr<4vL}Akr!RGa$R%5IY^Y=kSxx<4@pV#nCM$L zQwDOx&1s5)_$MiZ%a!z5D?_nxa(&-&y-dE~)MAkMAM#f90>&s`L;*SWK(J(`{5!0vKj z=Gf-}M(9YGPw(zFdPAX_!L6D-l@{(sK%5?5_ziuZz^#Ar#W^zps9{^)!WGKot~}>P z)^LRL5OLM+E_a4PW`#)~*r64hRUPLi5mvlVaJt62_M9CBop3Ez&eeIfJi6aCn_@%U z>KhkBHm8gZ=2&!9R`x2+~n@Lqp>3EiZDrO~Gpcd5gx@nn=s~ok27)Nw|`b0O! z$SL2h$C{T^zC;*W6C(a>WxV0EyI=UNO;5^Zr()9ac>gDa!FgR|;mGGQ?$(5BWkQ9ZneNF;LTrv|C^*My&??RDdgh6}a`4>Ww5P1kkGEV+na*B~k) zSc3})GPa6GobN!oO;ouh>}HBc6c=MIuF-vfDJz!NP(WSF zX|rJh&XnhbmH+h`;xCpr=|6NFmzTpNwBh{Y(=F!Vddo&aP(b;P1>Cd9b>UZ}0po^-pvev7j+QtDh6C4PMhFy1$! zX48pHfP1?%?H>>hSTHcc2zalwM@~;&zO-z03fFg-3#h?z^JDa2n!>fE<{$F!L=wu& zdoebHy7m|2JM3=?TP)LTnDD3n)M>My=y+=Hyjm$PRYF-W*U^4vsqNEW@BHiX}r0^&4*4O^|&Q;6+5;X|TR6qNtLw6=;uG?Iyj6?M}N5gj2FV zYESFvUTc$+YhJf`4++JzGkKLXvJhn+eN#?U=a!Ug%;3%WEOXA??Rx4~r`Jq>*#mzZ z>{qR6m?(&`?KZdWq+4GF{C<%?y6$wSs%biAAB|aPt}f@?9gj1`yMz?Pqj59R#3b0c zISXPpQ@hekQuKZt0j4M6ZTgkaxVar@GIEn+6t666X%j4ge;wFlI*LUukkPeMqWYOj z&&`M@kkaM@arEo;xecp3RfO^KRXb#LGyK^Z$~b9V6^JZ?>Yj3NI>_Bl;C$j>srEK% zP{BkKc(X~F!$>mdoxQA8YVjq8j3UQZ=a(3HsgVbcper*I+fB((=n;nzLnFbDG?8pbSX_@8NG2+6x&=<&kE9E}H=Bt_~R*OQi*nc$~qp1lfk;&wJVboRS z8{e-`&Ka5vF>YNLAGexbP(28qc2cF7Pq(Y?`)r?u)I9JdjxOc6yQX5>K`R*Im;z5C zFF{IWA)`o4`OZuaq0oO!VRI*;UR4S*0)KSXI$lhy+kUm0(x-x@s6^o)4Fh|YB|l}1 zBsRqAk@Fk0G&cYsc0%Qk-Jj?-&VPFywR(vkr!Ep z6JOlOQfYyJ%FZ&(ogJ^m1xa2iA)nKrKtrwLzbo;&C_lTVT7VeW=NB#^09rGi_;;$BK-W@al; zbTHp0*dFMB%I?Ht0t!2QeU-oEii;{2m2jJ|a2<7pjg-rr8_B(urPzn#cWZ-b^Tax4 z28)i1;T2AB7cbkiaE^ZAAB0-Fyq4t%>5#R;&s6oGPEx8l`pq)QI&BZ;6uLsK+n?~w zY`q36@SRjJXUnn?ugcoFC1dt)$JcoAvS~nrI zzFUns$I}$(K0eAvG5fY~U%!`J%ZJh@c#T+E+hF0VNzoU_7F0OzN-V#(!+&(u1uxg( zCmZ(NF+nd^Mut4{(KLqK|BE!hnAN}!0rSugcRa;o^M)&yUl*nB~%IT zetUxHEhX(A$NCX^DrHIdQN~eEP$sU$gBJ)%%T8-JoX>j*E;CWl3$-MCWbIW!WMyPT z;huG_S(TqG8>`3EAzLLSY9GtKVR>)p;a;xrVObaTf%$?`O_m(`l*j1eZD%|2x5&&5 z9S$0(3+U_s8SrtwYRKO5_`6CA-aKByw!^##gw!Ke6Cn=j~Cm^ZZm*da_huGqZau*eZ5OwD5_cg;;tG2Eck&t)D zB*}Rx$(%6{{AkW;4P-4JD_+*da?BNm#F6~^kR*wB!pPgI{B)tAMyQtCgbI0^$lbY) z%6mvD*z>QF^VO&1MjvS6f-YoLBnDAuhuNDeF5%xS1vS5SP8Z#;P7o)M@?h#(?wqjZ*9}A&H|jHTEE} zAqy>|22#F4k0`!RiVF`h})5C-LaqmNjMH4kfN3?Tvg37y%)Ns|)zt6H*z z1+V3prib+j8*i*2C<#sf@Q8(MKH(6bm>Y-Mnvq}~O`#L((Wkkw=z*&aO*TVP(t&+U zodM3u8$V*;pIN$kB;!^cjs@ftX3n=9^8}Td3pv z=rfet&$NKb$n|iix{?qrA(0TR04RSR?1dXwT9cQU6wl9sL<-qQ4V4XIqH!JuclM1_ z7;?M1x_TY8SCwh|Zy|SUoq~y5pf84@)^~JY`$zU9Mi*wBz9dR#=wg6$iIkdIwv{}; zT>l^^*-e9tHj3|hweP8o{2F1}sI{@o3K^1ilroXuTn$(;SBqcpk3=FDe$_+#OVs*G z&uENE->`BC;(bm98>gGSk)h}2c9cak+=oHzqICWBZb#p2HCceVjm_HgOw)p~iFOkE z3Z2DZZqxRa(02itJWR$dt>xPoMo7)5)9kyr-Y+LurrUSvbl^$g(X#BHWSh4sL6y-G zqPn5i$v@yuM}YLAN)gyqZE<&Zw;Iogjsd&E9tpjpH6%Am4$h32+ks?aAq}7L1EMT% zVqq(f#O4wxmZuUsC=_G+b-_N>tbf%0HtWuLag18>%8G1FG zXfu#@1jspO2ZNG8yMf{4z-egi*w~odTwn`@7g7@zV=+G6AW=$>QEa{g6O9*%>d5Du zO0S%icAuc1%#a;eiJlFm?H6ZJW5<*?56DCmLOg9P8?6Npm;oHhat!V)X6tg@^@70W z*OI;cSfHL(zcCa2Hp7(rvvc`fYhO&xVpW!EvA4Ld3Ap$S;H6txer+_#To`LMB3fjK zF8J9+*Nt*0LtVAgNa>?kp;$QI_4bRz3CzUv;8i14 zw$-T^65!{%WJ08UVtT*aE)s9TjcPsFK86f&E{C6kpU1qun&3ZiJs10(`E)OaJQB}9^tZoc>+CZrCVjfD_u(bP%6GAgmE4ie@v;bEnHpY2mIp31 zt1gk=UqrLtJL~f7qyU=9PiQS&d%M{%)*m|N6M>YzKIPIDHYnQtgR8b>V)qw3v_*a5 zCVWR3IYba?zyG00`I)QOy3G*2u9wM6 z@W5=kWy(8%@loY&cTj#t@zXV@2fANOxge#-YmGqNE~%B6pkO3Xswkd+Q9ky>`#~F* zADIn6hx9NE>m~^){k7eC?Au$S05ZJnNZnmkMMqx8=*d{bhC^~NF+&0u5yp3hRG&WG zhlTMHMquTyvw*gZV2Q6BCBd;ZDvt(hd zh^SkloP(i+U5?V^$gmVu+d)Q{Z;MzG(L4>IT~b$o@J;CX6_+=jH+h-@*dVQ+o|5k(S!Nsg$t%}m{$)-?36t7sJ@IsPl+Qqp7%>0wn*T)I9pV8|CvoZ8QnWAF} zZIu{t%lo5%M@8BrrRj51V#ts)!<^WyIG5CbI;Tld>y5_M35>9_7`BYQ*_xhUbtfCj zT#}hxd{yR6`@F|TIGfAaZ^Ikc9W&EC3C+vbZ5?$rho(;xn&I4tuY@VL*NXu?3vn27 zK4uI0WTuap6#a`;E2Bi2MI%XQ!*y`ws~J&deqz-;WM$d5C~SVK=1UlhaS%U8Uio%thg@ph_XQTl zH$Y+;n;SrDNG%M}@_1u_AkQA8d@JA20e3+A!C!3oh;^r+S1aI;!`Hse0m+0CpW)xF z*)*eLB(GFLzf=UQhBDH;_d7$|rOuco_jqtKTAY%K=t~P!7yaYI8>CDpws3Fx7y2gn zq8EYGlpkEZ?UBXuN%T9rXlr2b-vp)ab<_Y8$X3*k=4(J`G8vI4tvg762MU4AZ&J4a zZrVe8c{vh5!1_WcwXe$4P(T^9yE5ic)dIqWN5`R}2pe157|4@#|7RI?zaPeHmJ24` zdO;s)AbIz_pOhW$h{|D-kuM{;;;`CF{pC;g^6zTEpS11&eapXDmj9#7|DvTpl)>>o_0`|m*FOsU zr^bhMRI2WLPv}?#ZvRb*e6Rj`095q}NM!$JO#Z*9@ehvYf1HGWtpkHVPy`g5+QZ6R z^lJhr>YYwhJHNsoe}y9Tva4WkCCBQEFGQZv29*}F5t>5!b<1Gg$X@xw2Jt4~g*gy* zcAGqd!+_J1)(+HUuWcxVt{AR;OD?^eb#O70wBPA>S2K zXymIh(z*2=+GA4opo|4uzSA=<2MP?yPJj7(R@Rrch_oD!Cj!h!p!#?W4^Snw=aM5T zg3Xvw4Nua^Rvjd~-Lv^?K;d$ws^!eSl?A!BRBmTDCd)h1qLh@(=XX?sI=K;-_#W^w zw2s-IrHRa0q8*A$&wi%-df)`?yy_HF)!XGLUJb!~i(V8bT(o+jmew$M)v*B_at7{F zO<4`N?e+G`onfjNhCJt5u!wT{Nyt#Lw$nn17zd}uv)pUs9@f}edP9~B3cLMbEtkq% z%xAr5`U{gTfP%buZs8a-GL?|k0VK36(GX*piNnMNmxG*_U=iHY&f3D?Y(el-VdLYo zqdHQCh9CtgPq0kFk$aZ$@L1=dOsAiCN#H#^xP|0ZNUgyvj_7z9~6 zLWCqmqCc+5UU356LQ2|Hn1{)0;e5iGVRnsYsF)7Vj^|Audf)gEH4hUA0KpZYa;~0m zg=s#^MP45<@Esu{g%Qz6vB|B1`%_XiS#G~8+Q2OIUPg#h2m!AXZ*Vs>N4LN3cse@E zZOG+%`?n;ZG(jsc7%uVnt`NtozDww=4|YwTZbhhE^h_4*$>53Zzdypse)ic1DY8lV z((@B}0bddUKa5(&0;*8KynPge%_1qa(CW+cT43LJm<^0{ubD_-t9|g{))=KY3w<39-XuGQSD?`fX?^CA2w3&2*D>wyFkJ0zFOgCGv1dspl`T+ z)OBp0*tBffN?my8azhpY_&*&^ZC8d4@4r#$clG4GAC5P1@}`ZAb2|Q73L`S;7S>KY z)Hv{vp3SEZ2RI?SR8Gj~(by}gr5=@ZohBy|bx$NFHm(d)A_{a0J-+Pb4);*8kL|d0tJr%;v0abdeo-HfcS}! zufW7o=`_?A21kL^ijV#KqU#?B`Wv$T0Ly=(Z~u2K?^LobFE9J=&&#z0S2i_`jXfvn z-MK^F+iq9Y58K~akWis4SL?rfzeic`l2CMXbd1Jq|9BP_N3G2Ps@Fil4B5&D>k3=TJ~1Fc$lPAcl+b%Bf`GN4BGg+}e>ZWIW2Grd5c|MTvgFwv25( zvW^*Z;&YWby0VQP9~90U5+}h#5AV#KdT8Sj>2F)H-+zj_rB;6rLQ8giNjbW^Z9HDr zG{&Wb6r!lfNup+OVkuJoD} z{SiUVUliF($4#!o0#iI#Y+8h;CB@G!%~06u@@dB^L>}u#u0?TZ^mh9~%o#c#6uiH8 z6BO!ECU=GX6cMBmKS64EAo;DAygNw%PG945#!9d|mlj2A?Qf_a z_@Va9Kw5G&f&Mj2kkq&fz+fv)~z$Fs~wR1ARAApwD!S(7Kix;X0#%U=?^%R=Y6f{ z57CXf+gC+1^lyP!jxO0tVL54&%vm5svE^;}%-gT;&$9N$GUe@VKNnX8;1SxeuLbv1 zH322%wkw3xiT)sYLBn?mEO`NIxM?iAM#>>I=1`<2=mt&@vA>0C;jQn2;SR zFbQ@&9!?0=|2OFuqB>_aIUyjAAWNuOvEm2)He8Ga+K)${M)9p6qEjYqOV*ev59UE| zI5u`x#=L)tSNKLJVQsYe?&JvN9H$A%qW@}$Y~O`OC-VLD>EYGiEJ*6sf2`PHFUc!u zS5DiXvpFGnUFSx>o4A*d=&ScbUp^`q2I>p_czf!(D?^@F37z4@g7IW_szUb3Opd#LGvm0-xh^l9&E+EVm?j z1Q$SjFpqBtq5U|wE@~ToxFn9C7jSu>brSUtnq}n__TSMgp&qMd$`EOh?XF6ko!?<5 z*qH^*t+oze+IznfxhCJ_5htGBvvHd0l6;q8d?F8a`*g5pvk}1iKQ~EVz(pyY*2AI# z;~~bLrhcb~2i<|!OO4b6CB0Y@cM=M(f@zRN&Uu-89#W&I?$>w27=x9U?!`BU(xjcF z9wP7rk&?+j^*sF z(-FHEt~mFI78_9lA5kwb{O{$&7YZ1!a*3Ro7`PGiYC5M07Q2|dRi4V%U0po(+}J$3 zdH+8UEd_DcUC%bXnA8^qJNmy~N=(+AkR9n6p;uqXImKwNP=efSwdo91n%nIMwtMsB zXixgXvRn)I79#B%R9bD-qI@|q`OWvBmWq@FfyR@RFhR(qRk-ElZNkR1 zw=IX{g{?91yMGfrHR$>$bqXd)x7adi!Aq%wlMT7`26x*UM+G%Z@PmkEUWE`>t~-t((AqCaGq4&Z-O5tCWV_c#Ju#hYs}hU4kJ-bnd=$nvUL`4DwwJ% zpRsSx?Wnea${h^)=tTi*t|9GxM?YXW4n5rQ6KKz^0j~3uxC=l5##b0j4C)kF!U)2Ym9@0biV)~|QY+tDT8#mJIpSY2HN>PVg%tsVl zfxv7AK$rpl<3Y?r&tg_Q%|9_Lx6S_PkAF?K#7ky$>eE6biHRj?N1Z!WMd8++Q+k*V ze**_Vr$ft6dNSysdiSoxqLKJ567?a~5dAJ#{Tr>33h0N2_1~D2z`kJsqDr8{;hO)Z zqWv3l@^4-xbvphvZ}ayM|AC76-*@@9Z~voKhdR{D;keaCuLBITf6zID7=l>@(1*Y{ zG7V7RR5N-!?}-ATeKwxzdQ!zvU;AGMnLvD{^h4nV5St_?$)(m&36$TbdeR*xL#7;r zPV0n`a@)-@=o+g+b;l2ThqN@i4}@7CigM(Ftw#CnPTUlKK@i{1AC3Irdwe zzPa2m)h~+zMO=b@2X1@)@GvelcNbhM@O##_G~Sf%V6?vq@R7>879y)ctA9P6GPM#? zJPFXsnpZt4eo8T_P1<|9Qjaw+1p(Uh4%c#0l>(BL#XlgSiCf%G5!`Yk5-it{-H%euUHx=<=Kv` z+lJ$KX+LZLF0}W?YsTW!5zb5G<>aXL0k_+bnr**|)$husxR#pil$8X~73GG*UGSb! z;ECGwJ%clsd-IxIhr!&@4aTd(+M}x4`FnO!iL&B|XyxR~2cfgO#IqWa91Ves@plq;E> z>$Kb-b)+*i4>T@jhP%(f3|WBNY0jXu_*TBd+YB@Y%mN2{QwM0Fj@f_D=y(F=-q`N? z0Zk8^%({N*-A&_iLJjgVG-A=FBCAr7w*Sd}UIGf6zTUgcXIR}0gmo_tBeU!OOspt7 zr$OTG=U~iX$6tJ50^B60EFLBEHJFVVR;?+?st*;#-9>6RU;1)ScH5eX~d=NVfS-4<*8KQwq(I| zGMh&NC4TakI1&ecnubel_r!Xo+_#qN8doyOcx<{~n@pI!a{?FzkfoGMeWTR_uE`mx z6@GeEqRyAZh1syIHkSkAEFS%Z$l^fp`R>UzYq$x={Bmz zCpEnWeSwRZvi;2shCTI+x(u7IY#>at2YY$ z8mMVGAd^CW#G7KG%^a~PytI7Z7{m+kN(+RmQz6pdl6^*m_M54_X#3NvDk}}QDJ=(- z)?dFu1d?=4hi#-!fix_yAnU)J$u|q2Zty;d{!n_vuu7HYXtX5g2wC1ElI(`S;giT4UJwnOb&-kxaHBKQ$i& z2Bv^V)qs1Y_k+;$RjPJE$93|nHz43~{}klV1=liSeo*Mr1WW^p7Ov9&qvyAEwu3dc zC*iwA;pY)`Mxfg0`Nku|x>gtMlgD*%2#d#lH?bqna~r0;rxIJb4s`&hS@D=|lfw_l z2OCzAi$G-$<&9WHhVKy;xHZT!2q6n)#F=9cRx_1^l?yH`Efc)yCx9)>lI;l+>q!)? zUc_FNmNRQ%%y*m!03|(WozB1Y0lp?o4JPaLxHp~pO8n~+tDpQg+EoV!*v3m}t`8$h*H#z6~x~pUDBht+(Jq`1*U|7?ywKlft zuMOe*8`;0xeP?nyqDM(#m+V$%_KLaJ5c@>8`A7D^1q<}A^^}$?zh;F2xW4(jEePVc zt((91=IRT4Y3B3{z*K!Tru9WPdmW&8INa+MN9_NM55H21M8>rF6kNG-C92Jrjg75A zi+XK?MkLxWl_a&|b$d}a-|s|0ZvB4kcwOG-VWlRpNSoK3i5RGwv-sty_P)!QTAVjwpmdnUR>isFVU2&A;>0ED7d* zwdCs0t)&g8ey5!kU;On{E7|XEZ8DW(4A7;1yBK^Yey6-c&iPWxQsUjywV+LW>3`*H zDo3oGW$3(qkCSH2JvQGrp$#BP7dXt?Xg7aoS1a${(mLH|D=m5$E zEJuOZNv{w+S|yoK{d!MA zrxjM(UFF4jp{s#{K18SE{pGL8&BWYahV5glc@r`r<*s|_gO+pkjoDrl;{BVv&|2Y# z=^OX(_sG0>SsI#d&Zw?f@N+(F&2m*Xm;O#uEqy zT-n~J@7B_&e85JJ&&!P}w@l8F1&EWXIH^7hR%`nva4sqOX8ML?KB1|qZrJmCOHFc$ z@BQJIGG+XR&>r`NEYkR2Dvkg>XW@DE6xYPUZGy5>Ci$#)k0ykWT-5%s7iJZA$BIbh zb1D<0YLOJDo@w|({p-fya!RGOz;&@jpU@)0XhmFmKIv1d;sp7GTROI^khF38mB?r+Kf=K;%kW?{zf~xR?oS zQVjBp2EcbZ*f==7HtsG9u$CXlIwTz-?1Yv)-orA|%ZHX)^Nd)I=4@^Tx>&6Mh4g5d zJ(MY`n>8wc&ACXnRUev~g>cYyR;-K|dM&G>=cQp3K815=gzj`R#olhhIcoD1X33UI zltphp^6ZKx!8okgVY;(YFngIoyVJr+l>V+NW8-5O|qfW&LoqqkUIg6vV8o3 z_MYEzw>;nGJ96JQN?>k#&fR!ILDr1^#ODZ8?$yyE7ChZVvcC0}F(HQWMgVB?r;fVy z#N_AZaxWcQFSW>}z45-?k-~P0HX(yYXtZ=@ZB&%xjdF3G?1zmOj)kp+2q_VsrOND` z+k_R^)M$!c4RA#_)*UrL@wLmBVA4HeDbLd?MxE%+HZ6GQ_xcohlIu7;r5ahPcYkF- zmse(fc0MEioC?HKD(|KM)D0Ie+o7MbT>#^#WP8-ltvWVlgw_V7wDgup=KP5fG$ z-S&1_qhJpBM-?}M#9TyB#$t#xzJ986$^!p-=??0PJVrf!F-hF(>BNP8B+EAz>+)U~ z|51TfC9KDj=f%^p!@pU^y!tbftddRo&IEt%cRn~`nPRL3>PYjd(iSi)lfn878>Ju@ zuNFmVAT7gpy-T|-0P`659*g$ptEh!@ zT{BF?mt+yPBNM(`(9gT(Qxa!Gw?iLPMuH)KBHSmEOJUla8qkh~0jk zpZmv7_OjsZeAHc5Jc>7WY=$<*=V^%~ri1p?kF<^ebt3b|#{f}%>li*^l*(bG2ua>Ob5tt_~ znE+%7j>haVvH()L1~$A?CCa}+*Y5Il zsot!X-&(IC%x*)BFx~1VR}H3w_k|9KfuE~HQKsq zu>NWKDMzDhucifX8iJwwI17D0ug6C%`3+CoYMES?iMpGoG-8^^l!px)r8TT@C$)GO z^C&$V^A_rWtF$!tDyxiav$Hk?i!9z8T_~kLcxM_MJy#FLW9HwND7n|Y1jCHm!&!jp z+8~chx#jqJCsN)+3q3LRV?>0;J6L1b+SCkeIt+zx2 ze00XVZl*lZQRmeG`qihW?eqJ|BJ82-jDh3G?P9(-kj_)-hTLjWs1i{ zTi1la3;1sVBhjM7t$brsn;nBr^@(UVWQev8aL->i@h;&?&3f3N{tF+1J5pTEB)4Z4 z&zxsBxx!eq%B>-_Yra^z7Oo}+@S;}SO=^0w%@^>-E$`*a*vos);~kVCHDjWB3}-&= zPpJQ0o$ zU+RfoYWUzZDynz2s+b^Or=}0QN7Tv%Yfl_gntJ0Ne0Lna7g`(#kh5Y_PorLf@k?Q8 z??dxHsfhcHt|i&+TlC)ftPsOx?bspOBIMUuGVXWR3*>>@cu+Sy^jLmD#*w{fMr7fg z1;~26)9DJjkL+Hu7PziW@EK6pFYGBdJ0cLbqx)t31Q4K5x*|0v4p26s=yFd)y6@IR z=3l5}Ff8Aesnle<>4BpMrh-qZ+6sA(F%=Gro2!oltXj!l_qA*!iaUtSUvXuutv;Km z8wnY*8dEAEjjg&&V4-5>wnJi??qrN#slI=Dw>L>02_>d7(*(KZqx`QY@$&0a6vuBS z4&;MJk+D}%+Q$OEHicTxW|)SZh`EN8z6=oN!nz&PWf@R4M_ky(2t)KK(hu8fPcG3X zGKQ9=f}Ow*Q=?>8zxoEm8{E;DQJnrXHPhSdcne1!HMh-PjbX%i+68|QCC=e1TmQQD zj?xUO{tEEb7wkWa@<)t2@HSmj7GD+9dDRolRnt0Mg9(^0CpMd=^~-iP`-Q#fiD@e1 zZS=6*4eNLK1q4Zgo{0Ojp;mj6ApKPMWMb8cRZW#+dtg)Ls2!lXl)&;RkZdBHL9&uTCLhuwO5T; z5n5_=pjw+)tx+nWR)x^gmKup2M4~7`5JVC&pDX(LeDC{y-S=;NpV#Yo@=r*voY#4s z<2cXbINtB~If^jh+4m$-dXHD`qFheWLmZu3(9llqdnR@${XsIll&3rFV^>X)_j0}a z1hh03LdI|dFh(;CJH|!(*ZcP^KmKiHT7S)uSB)~G)|*rvVVZ45--KV3Jr4v$I0{N) z*F>aif?ubKXZjiE)yEbc?i^dqX=v^Ibf8^eJE8y}*a4<3Y-jKTUcKdUX`^zcLpXvU6Wt-BQ zL{8up4TA{-{?VFU zlho>qsxHF$`suiOeVZj^OVUEIUqgbOEdj+d?>GeI0oT}KM|Qq!J|xgTpzlk)3;0cQ zpc*|>ny#67r14hdE&Kj`?1ke&@cfsMniYw%;+>ArRc&Sp(EBCZA8#t9Fxw`oM}ci8X#`7wXoD zi!3u|Y_abc$BJ<{BNP%%U?Zd@Qk!_RozFE5HJ@kzH^T4wock_a0W9=lu1t3O!wVMu z5y5g#B4Gk153_-Pz)xpQNp#jH}sf|mQF2ro@re#Y!*uI;-Uam`TvXJ9T% zAt|Sp(G)csZu(opz^7=8-`_?wjgZlr*X5c7?Sd3;J~DWM>U*qKj`>bK*ikP6ozXU* z$K%wSuGfhWmmu5)4I8YjZAu9Hhu`M@0&y`arrWKb${X`<JMg?FOxs@8&dsq;Bm9?w*fh9*Na<&&F=8US3az6z<*#q=82d_F zO5^an?-fLv!zWoOmR=8H@Y%I1>I3O^GxE|?Cj=&6BD+6HbDj`bl;6;V4K>w;)Y$r5 zXnXvrgW+rJZksXaG(CKSd_UL!lAS8JO_S~2(3Q_?2G~=XVrpLHn>`!?c!5Y6@Tm{{ z+h|{{%K2}kL)r>c14$r~jr1I(eagbB8RwV~YmMC~zbru{nn$EY#Afe9mXrPAI9QzO z5*7`)bpNXxE_BC+^aKSx1-Jqj?}+HoD{fv@sxmV|3#z!vnMS1}z8XjG~OG4&RN zGd`MUEEL1^N7sD5r@-6RdYb$Rn`dXp*bf$(k5IUgx>qM|EQ)0g(6jTt9{|t-NA=Eh zGNV^5m~dLv5fMPh^u-EDLsQ)^sg-294KrH{JOE}sEO0vDEul^eq!I3J6r{6avWyT zPG?iH&c^Ad*>6qqN9O`juxPFAxm#VC)}Xk|oGcaj(S064Eg#%GGwGwgc0n^Nuy^Ud z?si_rN*AwW(>oApf~y@6{2M!JetiR4$uRDD1E??k*d+kE;BusGeN2k1`f>2hQuExk zEVtXdpi=RZS$X|t6O~qxvqk(`*`s#!(i4#Y$>hV__oY<>5MuiXhJLTaV(D`KG0>0N zYh21^p{Vuz`aqu9YKqg(niD6DOUf1MlhqaKtkZ%Jl$7ldi#En5R6P3!N3;t`M%RB) z1f7O<`90PE3b{At^2laaf=f@s!p#*9J-m7^xLjdtXbY-w<{7ZOg#ye7GbQ$dI*1N4 zNT}7oJNitdx9||AbA!87;nlmA_rd|l>Xp#KPU=05g1&aUetNgZJNaW(OC^_00i`L_ z8)1R_@bVvlSuuUDny@3nQ6+O+9oEyMQe5#~1J#u1s{mM}kMaCafn9W-rF5Lc+Wi|9 z))fcL6jtpHEJZJKv7 z{B#%eQyz@G^3cOm@b`!=@4GiPX#{{?pgpkWH}g@}cU5txTr#-Ofi(7mb>H&)C`ny^ zGOv!4Ujgx?4v-cqOscUs2QWc3WVotE1fojBQJ{uV-i4Co(KB8TGD(ZIWbwE_*DtUE zF>lc*MLdxonP6eeUhtN_Ry@_^;W-Il{%+M=bq?)9x*slRIXs@~6>I^J3P7&D^ce;1 zn(YMbwb2H=yo)|7lWRrNuz!iJ_k%nEfpW-F*|PpZ4UUl|)@eq!*1muano+ibVc`2Q z9}px}K>$TRK9^>ti-aP|onjs)yhGXgb#YUD^aOzs%1nV+-3#B{9FL`QrEt9XJ!;yp zg=^jx)K;*wL1c0`Oda7;?2lV0yAoG>O~IV)Bi7p*la=pBd)E@AHnX1BkByFXwAyFA}Q0C;|v6xSKA(PfQ( z{ozuj_Ipw+^2)Od?q~e(=;h?faGlYVC zDa5OwUc&RcRQG9ty5_7Q&4rM{Q$g`*0tEys(#PpcBW!IGdJLjSRt#?*0Q%gV7c@An zjKZN%WuceuDSi>QBo=iZV)aKZmH`gOF?T1thk(!!YBgtpeh-ANMeEw|D!yfW3@zkH zezP$Qf$q|+#y6#&6>#Dcz+B$|B}q4EE*FTe%x^-vZQ!3sUIo;L=zIehv^s0(=vCuGb=SAOVkO$d#+)m6nMYV z+f&mps9c*_t))K8VZc)f{+0&hovWMl=5-&cOe26Wxu|$trfF>{SA**Lvo#*AA$J6E z-nyP$4WN(SL+;OLmRva2V&9P>@dy1<)PexFD2Sn8ca+Ig2wI9EN9g^1L}w8p?)hRU{^a_zn` zPL)gmW2;vL9~&RH?b;8<;pn>~4H4=0J}K<(p5WbkjXl|W?K2j9^!(4CPf};ytaP6Q zva_>))^cb?R~+5{mFxcVUb!-L`^uwV2NggMtL>z{8Wh*q%h~Ts_wkBJTjihFzkk0K zBS>UZb$#7*I^tx-#P*wnrSCEpDP<-j#3}#M4!p9XRctNTx<*yJoh<$;`dN`L6oqne z&$YP44|Bq8d^T9*d>RuzXUvzaRM&ab5D^#?!f@}d+jUprp z1wy()z#z|v_`AWfcoW;es7LkC$tqoEWf-zrD4C!?r`vu-&UE?;AXGUOx*YtwwYm!A ziMrp@#upH}+oJo{>bx@QOXI?J-sQWkE*Al+plps2od@AmyK2#C>^w6idMCyElgXd# z!&8F}+iJE20HfUV#(`27F{h+Wv5G9(T(@{G8hfY??2Aax(v)+kj%Q{_BOm-l1M+eu zSuCa;+1@_I&${o+`MZlW%R3qE)YgTZvh3{I%bhfeovKy+;p}?KmRYcA?_)U>s4?|I zJ^Q!Er$OTR@~K^^*@liq>I#YEBmaEW5p#=jb`?2^}XNC~1= z|G@t^7#eX^0>gtU6U7#oNc*CMS9^tfc zh#2SW!d~#VC!_zYx3`7$dEb*xVQX^_b~Y{r~i8%-es5&**v8g_6HK z_qYhM4&RfrcR1(w?*D&-3i+d0{O@1+-vGD&fTsXF$bT*Kf4K7h4UX5?!BV&VViurF z4MbD{UFxIG3eOfQ{`KJh$GiRu<@N7h`7b=!9%>r6`Tr7R{6Aa?XxZ%p?{&vNFf(Qa z=6QG1-9>LY&%_?fkZtwI7Vhvqd@}km&9z1+j^t2 z)A&||RBBgt$N0Ja46%|#qW+taj|ZENF{}@~H#%nB{bSlk9-nb=@C=~7)^xV-7!O76 zYxQN@!0(z8`Bj&F7iII6|{{b&YQInJOYEO^l;eB;4^xf+%ZKy$0BRkMiF zpuC^*#oi~R+=xuCWfmnCSMZbcgzJg-a@g^E$L4Nosl;$_7DSt7;k#phBx(f#3;;?Z z5n?YN^bbct`8Hd4k`d3aIGh&NbzOVl;Lq``wfrWrOwj^}<1QS~I`i<^%QS!K1T=;H z+KT`^zqYRFF@wbusH7)Ew!W>3F}<16zAzE=5#vWg)LloVZwVirW`N*)H0Q~mjKU1r zy<7cq`mXrw{qXUDr$nnKHb#;WN#b1Z{lH_f#6$cCktIrTq0a#jo8F+ZCpQ z&b1Cb^Yjn#2~eokCp}@gU0?A!re#HE_HEg85u%K%AQYFv4XRta7lZ9!O)NcB@VqPK z86iw|!OB_wqU%3A0fMP;k9cKYR(%>zv7dF?MIHNL)q>FR-mx2})oqP=shA`2Hhg>L z4#0qOv6|J_xr)avH8{wnw!?vha(Clsq4Hgsm_5nZz0u3!w`+Pzhr|twKi6*V9?ncck~JdziLwClsN5q9 zI6SKzZcrk0)0uBf?Bwpce;Nx87+=_k^0oH~XFuIh%MG;5v0O5B>rq4~QcC<_v5!RL zWJ{Ss^Zx-{{9AzjZ}US)$l;T`;$@-epL8d~IkR!?_8&ZEUedKQWh+j-$te=DSw#y9 zAtU`{xU-BOr1GVNY}zPyo@r)bSO1<4v?+o^z*6Cp>mxJCG4NE|6lmLe{8`&R`Xwmer00-yiLRT)P*xT?Tg;0@5(k{GTII< z_}2pX5a^Zu@-8%*7TTX`L_&Ie1!t#Cf z?R<1bayY)IdtXTm8dSZ-k!-QE^**@2n}p2GAS!h=H*Dniczq72WqNv@3QJSYcJI(M z^~C#aC!k(Dv8q5_m@s+wDAz8YxEV4=Kxiud{tuvmdZZ}wyGvMgo?|5vipOn7dR!y> z9^B_mF+GdQn_*nwFjX?jXxqe#UBq-&3w-8=T~@OIk_eB)-iiqfZO*-+UmzP7ZElbd zIMkx}{?!tK*u{LCmXB+CB#+I1A;oi~veB-*Ft=YC6cn7=WC!8%ADs%y|LS_~QXCSo z2}CV5)7zHT>ZO(AkY5dB^K)kX6>~c`t$?&m)l#eCredDh&-DpDDrJa9vYwoUX z(!}SPacgbR{U*2c&KOa_vjb zTzw|=7DvGmVw{X>zYX%K#=`cEFK__=S1|@rRmL*ZiT3NynU;n*O@96S{i06oRp9&u zN|F>glkwh2wV%)ZQ{{I8Kf3funj}v(@7EuD908wKVpCMt>ef+;`L@xY3E?opOhq0-HpqsL0u*wML{x7ge{wroElxJEwU6H0E52cn={^ zWhL~X&(_2r#459UZXL>J&gVXVXPa6#z%hvtcU4 z=Es)wa;$y6L58f$G+2HS*$dDW({J(z)Ea4HG468{V1$qm-ih{W(Ixv0A#L-&X3D)^ro#=334zlSrFCjr9B-6s ziFfJ{hg(rqt+BAOX_;r2%5*Uh5HlpahjK2-$~h)rIiGGnmaKk9rh06yk$V@QX$=Js z3UkteT_7M`ol+2;(!yEbU7uRkWpFE3R1f8cppZ&k)aN}Aiz(iVy!Q2eUZ~9<_4f1c zCQXWokpwl1g>JVB8C9$WLNm+@+ii(C1~K`#D4ZhRdxTU?)+F1oU;NnhcoyIfFzqut zXM+5+0r1=v7j(m>Bd>>Urm|A*qb%YV`#9&ip27b5fJ%@Ly^<^t~_*@ z%h+l0x}nXOm@fIE)+d17Td4rUqYrjvR7~EI(!PD54)x@YIZt8ZEm$lHN&egr-=!h3 z<{~)j=(Se{D%4d@9byyxOfV8A%!D`UCF_3(=Ock z-!8NA=LUbDD;r02+sH6grWFh`if=A!2F!6cJKr&76HvkY?-yHgEa;22uxqk$)8z}t znalF&PG`=o`*p(yK%IA_dvrxTl6tv;-N5&(lD~ZaEZe|?1B{nA>1amOdYd_$H4ul}tBt9(if!lnQjUT%9wVn}`G8NE#qSZB_U`(J zi@>}Kuo3$E+y6{=*n=kiJ3skT;1DY2wUQDm_=&OhUa@v9(J`+@{?iA{BLCKg-rKqS z51a>pVGC4<`R#wM+TQm2fAy2Au!ld_`hbwYoe$rRYJDHJ`nv$&?N4(s-~ZVd{TFvq zp>iE?D0l&?YN8Wt&7ebP!tC1WaR(&HZfgAHi>}{p`Bwu(6g9@siK72px20w=v_M!OlhG z&$TztZe*mv2$vv0C_E!KNN#haaj9bq^9-oECL{*hr3OE!pm zbtwE6R{?`~bY$=~Lu4Am57sR^Ojg{V`L8=0i|CyZ5gimq5NVS-N^zR=M~sX3TSKJ< zkLmRrE-`Y^8Zvkhvj+6h98O~LA4UPN^yfK6mSjUNJT-~=&2$5f-sogC<0xfNRJ4lJ zU?IN|p6ZRMBX3@cf;4ipi1JWdFs~x%wSAHQT^m*Y0nqgUR7KL^BdOxZz5NSw+_+AP zxku$4uZMO3b6?D&xTgOGZ;GA1pq_CLE-c+n*KOiO9mC&%{}9H>gpx0pv6R*$3Cfb= zsb5Yqy5q$w-KD;1*;1G-TZ%%Y$+0MVj&7~K$$vZ^A6boSZ zEIcps3w&UfA#nXb(b(>trM3(7BZ|9P6;E$_Gu||(xyUtSHMhAqAbkZj7NH>OuIe4y zLfCYwtQ@9A+M!Q9`gH&C9of2|3u8s+{2z)+5n2^?>1Gb~8HV!R8W84#aV7bbz@2K} zyA+1)GY0<_{5tJpbBo#Q1TkdlO^{F;<8o$B@@7;fZ}1uMe$DfAo|Mb(5HpmR`vH#` zn;GIkvmnc(dWNZ9ktN3?V2AP*)X(guK@vMcD~f^AdwBiiH^O*+TFqQ`Uxz8_V4RRi zkDQ+}H^vlzS8zo5=A+{GL486&o8oPY(SXW0M*;uQ2i?A*W9`69r~sx&G6*mLPkuz3 z^*>gO@3-#n(ReE!w&Y(VuHll?AkWq7!BNg^pPchdBE!o4(+wB3w%U1gkMg$ai{EhV z&XpB7s;8(T^7A#p9YCE0&gg!;u-f{Tt6()lY`;RYCc%Zdp z`dSM|HYEBbm*N9g_^V8IOD&*?Jm2`q7E_er++AiZmP56xdD$ua9O`d!`gC~QX8KrK zIkdtyv=y3i=A^eu%)j^8oSH9tYOYf(s&|f^*ecr!2)pjvv|_+V|1k%+{Jb;9sw&1582L|AFsIG|m1cgQr^DWD z|Lkl;^w_pvfBac_ir>UrAl!T8Z+e_5;jtV@hF`oiK+&lFuHJ+Ja%9k5=Y~vLmYh@c zs&~iny|wG=-Gy?iQqJ-bOzZP5?Lx5)SthmLo}1kJ_xE6Jg{1mYnK)W-kogw>eoL_HcL0M@07MF7uzVdQ9dQwd@uMPT@X{p7wuiD=1*cVGyw~K*Mv*75bJmqdwlYc5IC{lXO2g&CF=%%h zRsP*6EGmWS3Yrgj>SR0{?oCM;3ArYwT%&WmDnuXSX2+S9p z`@8m%#3RB?)Qr`PsmzVD7C)u4wK54;632h%8afA+xk@sDQ2;8D<8H2Tz4Ey-3Q}p> zpn0F&wrQ{I7h-iDjx71R{uFdc=cPiPkFh1Ssl*~caCFWatd6ejY3nm;*934*X9wJW zvC@i9Vh;`)&SAH;mbRW$-Y!}hD2<<(KG;Qkc>!Ybga?<}i8wi16!jxsCS*|z+5hFi zePdqR5B?zzZ65EiC;~Y*jr)pdfO;T6C^rsi8+Y;I2^-pu;8zG-8#IX~rw2#V!wbf1 zE^HG}t3@efy5ns&-oSuzr;TbX1v=#jfswcM1PkPP6(*Vm*jhgM^T)?;sD9auhC5%31 z=tq}Uy$-#%ln$A@npRp7&eHpXt+!&T=2YZthtx;i`^%vp#5T0krV_X_550KzWVD8R zLD`HK#`Qw$5KfduS*KR`-Q6ec?-m?ObQwTfwU^zO|V56+-c5;K0jR_h@R z-ojlK!qVUP3nZA~P8U(X48^9`#e2g-XUMH?g%zjd8Xz!s!3QDWO5Vg*?+{Yef(Zeq%p|hud^G6g_vA%W9D6wL;^TyxTN}2f zhV0Gk9JOh7koWd=icbvogC9xDOGS$rgv5xc@vV}I$Nej(!?bPZW48*zKj1?hbeaMZ zsD>f8o4=%G6P+xJ)$lRlUu8&XL(jq|Y}Dd098e!+fxH>m4@^1QMM9GMrR`cO_=A10 zpj{N2M>^JISQQ}`N1LB|dm?i7vk6vo#gH7|P8tPMP7CaSp0k`e< z0T=oeCksV-IfEl2UJUbfB1LMIC6~gQ#^##=luW&^fC?Uow%!nEXxcu4d#Lp&f)>2# zZ@Fu?D!`wHRY|+#!o4P&O{O>Vq z{*JeIn@?4OQmKq9<)WQO+P;?f3wiAaiy615eh35 z%5}CGZToEP8-uv~F?f@5S`t+e&z0Km6nZ{LC;aEQUwBG$pT1dcKfC(lS{#gjbn%*e z%taP6W%D1X*I?1UPVhX+nE(+@Gr4s)*1{#QRHdjxSl;69!QP7I*6f&P&9Zh+n%Uz}w5dBoe6o+&%YP{?wA_w}$GNsJwGFX5NF$_8jUGLQ~Jrq`ZFzuvoQ}YUWn? zvPHAEchKL1CSY^J4-~i}7V5fG zUFYp$BH7GgaQ)5UU`iz!H8y8wucLVjNk!R`wrV5iWxru3pztt1P4WRETeGl__4h{6 zi@>I)3@MD%nZMn!c_~-Ici)nk+2`Qi;+93LRbre0J6<_I;C9P}y#-UDwC*xVVW{Q6 zGay7yqR>sE9-f!vzVgC-7HL1gx$zxImOg*!7mTg2HQV#dxYwGwzqj+HvnSW%5hY@y zW=_1qmyX%B2ncyUj=vtZKO#^-$6?c{YlIKBk>iQbDa5>SM;`%?(;ZBOZo71bWQgu> z8KPg3T(soDDLD{}QaBYHxNuIy>j_TKopuIwYm8&tT6}-QZB*%Ty|irm-JtAgVn?II zNAU%C6qojSgdDRU=YMG^G{-5is!`ZQu_>`j4N<`UcTkNEk5$~yHZPnk{rTOgA zcG(NaN^zrz8vpUwlijY%<;V3}1wO5) zMa~AAh89}W-RrzgM3yWH3zqbpgbg|cn4i*vl(HA710RZZsMkych$PeCil^g7Meam2 z^9%tv=|znGK{JTv<6JmBz*OT_1s3OQ#tWyJbCTRE)kHPyQN2at7t;(ns0;<1sF)i)DD)Cw z`l!F!cq;?JkNlurkFGqVy=EBwYl!c7Y{z&q!v@IVA~&6{M|@kQGiK%4db575sJ1ww z6OpzXpog)+Zp;Tnb2D;#Co#zr?Ud?W`4REgsVw_u|EK z%r~f&38N_&eyc*lO%o}s6Fe(6+%Hhy)E9{F2j--JA*b~ zA@EZ{qem&B2U?m=;?_7f-?xMYy6U2 zXF8ENV#s3yfr#b`F?ZRMQ_6wf*}T3-l5^zUWvlOcyLt}?)`6meknwC_O+)Rup22HA z4DZ+FL9TGrsGm6^0HEIN`kq~gjqz;1Qgz&~>$C1=5uhnh?+~(6kJ2`63`Y9{CzY<| zH76h*?N)W>=(<3c!vhWh%dhK#%d~B@XqG3e@e<`!$h>q=(GM}Cu!cxD)U;@S_%GJS z5rX5vxhH7Zw;D7cN#fXIxlY4tVc20WN6&=&3%_x#C28FJbI7bJyK7b0YqV!Otbu2JWY3WM7+1X`$HSxh{Ykb@DK3?noxwJ zNjiXC^q$=$^}6|-j)X^a8N~?6U$;u!h?->Jy)VxNr3$}fe;>G+!1moCmu?3uJFa&f zrVnoH5OdcuObCGBFuBok)K+h0hzU6BSa#J$INO?hi{0V!GmQYY|&zV|$k|ws0JW>5a%>7nMMO%Au-q!aQnk3(zauSSMyK z7!D9EF>;cT$BFiJBf4p&Z3Z-~g=&R$k>u0?6GWrn!Y$Tj18qKBiQ9O`ujvZQ4$#b! zja=^M^Mp*AjCz5T_w55DUiE+kt3}#DoK3sS_QxjjV&2-rYl{Sz_oyG*z$SyglLGm% zoy6-xAZ|9&h4(ee_MN#XZVu7&iG4d_OChJDTmaGA)ky7uaMfX)``BDsSAgEFp^yEK zcYi~N>GNq5@o3_37AAx@ykS3XU&nk}HE#X2tOTU6N7fFINRdRnasCBed6g1^A!)B& z{t)0Z+cS!}Oa6+Rg{q}HpWqgh} z9!}R@=|Gx!PGN=LpalDZRXGhX!dU|VhmmVTR(q}dZUK$>N(P6|^|A}Dv{0!97mi(S zf&vaAA&B)sOSEbHTrs7+W(c%{Hh7{WB|5Ccbo)kqR-_8NBb)W z+o(FU*xDh`<04wqGJgH<$Ri*-3!O;1x2am!AV`04Fn!9zRFkfG3yazw687t=SA)@i zC5+x*OE?z%KP z5xr(BuBG(xnBLQ?m?Or{X~ygztVo|ny^i;#4AnDnsj|B} z^TxTH^&`9*+Y-}cr)C=s|LucM^i>Xv*cuvOJv|Cq8&RsntM_>z$v6(JQ(kDE&4Vk zQK_`1_VQK6IZ*P5a3fH2)O(5ojHdh|mTiT@SU*V>&$_ zKT|SCEH#+W46o5_ZtQb)rWt(2Z7^hX-#bcI@ANr-KAPM-Xdz{}(&VTfHBXK@)VOIn z3IN$MQgi?iYLnky_Nk{s|LBNYy^CvTUt7H3)|L%(DZc;;2lLWwD0fLVE z^bYpcEWA2g4=_vZhlYk$9n3p|#-VAOR73=<)46Id2>^h~G$R~ppTTp#)zJc90JFWwwP3FU*hUNb7#p&RjIIngBv&Z zdU3#Y6DewOCV`^P1?Jy~sJ}@!zwvHoD8oeNMIc|JT_V=-pc!N3H0@xNYX<{jlQ`n1 zIU7#)6?q#9o*v-55QV1TP9!jRkizN$rlL6z(eKqVjkP9to=?s1+v-pqn3S}Qt;L?j z9p-7H)o$!5S*}4L6XpV4vBr;w zi*iD;0^B~2C9->mizVs*j#;9w$dN|MDansVcMstf&qd8%yO9^-p|{YIST^ENe&OcJL>$wVry&hLxCNTF=c8w6>1m)N}v#; z)guv#UDU&_WLYbH-N^nJrS~)x5kggE6mGvYsj?|bQiqd7`I3vMs_GZ7E`3m+_=wY9 z4sOqShA_5WvipXl&XMXG+jzh^-ia@a{HHz72dQ_4h6M^F>k>ZIf-N_Z(gj^}TM+8@ zkBclvNv67C^)X&qXh>ZbEp1UP4@c^O?84M;1wH!lx=Fdttf9PfJWya3-44M~ zt^I0I5#zr(@D{OZFoZ3Ze6Q|%!ZEa0dqzK&%$gXRM^nWG)#*I2?}Iv$3?lSkFCkbD~*M=ndgu>SLX8h=CSv%L_EC(R}Lo z^^fbo)-1R|7rs9a%mpMUCE}Fk`KdfD(H27^g;UL`DCxl==t#_Q?0pp_5L62 zB}$*j*ryRRMmfN(vM{9#iA3 z0;r>rt`s5au`#}R5%wxLw=s^N^ikg2UMGUOg94lsn9o(~7ys#ui){kx@@<(o^t>Fh z18_TLQ3>~HFP6$Up@_~6%^6tCN738PYgb6-X@b}%3NuDQWfXh%7sRf52cuf(y*g6z zQ1rRtUPv+J6z7PH67MAsSXI8njAx=0a3VZ1+wlA)>g+~235g($gO1=Xo;VJf!zu!- z5yx7zbST){Y<%}~6FEh0|CJ>#i=bvqNE^xgn;K!ZI-IwL8X!4&J-;*VvHGvDAH$(z z`M70s66xbmniQ9bLn>Gu=(A+Fy#dKRwki=GFyadptve#_t79MWt}{JIXSV!c84y$_ zK$=yz7uJQ$EW#R)c9e~sL@IUBN>&NxRm;1=5Tw;V)QVUP#P@HkePz6A7?^9B&mwF5 z9$o+s`2gN|@1n1!b=w+7yR|t^@3$S2>5Y1BN(N z!g*0#2AC5#z(-Oq<0#nSo%q68uypM$H_S_&S3{&pg|v0~%DY{}Olhf^u0KyU7Ds;= zacTWMrop6R%k_015l^-3`4Mgo!}V?)zgq|3an0Jw%FaBr7h)|W+U3Tw)SH_MiJN}N z8QBgHOt!P}P>2)3^Ro2n`s1MkCz2Bm4YM=CDnPHzsEpHR6*egMso~j``Mn#wdiIY> z#>=h;qR82p)SSGX{QC1~7n=re;ss)CygXSE;xvD4pz>6p&88X(dZboZy%DKu$jjhj)W7bt@wS@^pHDJJ*` zDXTFzbma2O5B2*un!0w__BATatt7ubW#74$qM3sq#MO9aMO>e*m5v6I#enEm=B2ot zxz(|w2wuH+G4F5=HV!B|T{Xm0Ia2LBYwz3F;FovV3v#0-O&@0Ll<4rryMHSmIHHG% z>XX9TseCO2bl-GuOGR_c{cIoVd7KOQ1qTJPd1{_&+BpHoYf}jN8ZI3>rcbiQPfr5?SeMH`VGEkLRlBc!-v)35Wou0hY(c~Ervw`Q9;z$vvt?` z_w^V(e7-Ob1P*Sm#=Gi#pgl>=wwHg?<=j2B$s7=@W_4JE&AXaWG56LP^Nc66@T`av zc->;(W)VF)T)#YP@u|?IDz2@AjtxrlTmCDws5V{yPDQ;%Na9>T?XXA}TrNHwXZ_hS z-vNi9WXkqGZl(z&SetyVYo+{X6y+%hO|64L%>hiP2p)cM-aS@nr&#c$UNcK?t8*FG z?UZ?&pKTF0)_o&fv*D-X!r>LK8ZK&b(sbwFZi^RX25C_#k*T1cC+g0n>@7Ngq!`;&SddiV~M~>G#PVBA#JpI*?B@_SI z?bksN?5UhcD03I z18HMdge%Dre9)}2EdKK~fO#dbh~j^;5dC&x(3lw2=byK+#;_XdCXg|9&z#gG?ZEwB zUtsfcY_K+X06|HEz?KNH2ii*cj6jO58p4tY1*G84*L;--w?4fN_zi>xlA0K zL<2;3$Xt+*4&O8TdYtMEhgsi^>gxCoCo0nH%7xLyFXxGrDV5+bba|(pLv1SbQEZRQ ztkMG43x3-}@{0p+KU2~ha?dL~lL_gp)*2ozbGJV@0fN*LMjeanNy|>A3zZ0oxbQ;^ zn-9nJwl{{#$Uc`I?LY~Y8C)+cmc4>B+t{e`E_R9A+S~aaZ8&~;bl}3^M&pT3geznU z=f0jxF#ucRm>L;iVr|840?dR$;xo++r*M^wZH?@9A!d&HxE`e1_o3j~+R6rzzV;x& z6DxVa6UQJmw{fop4m0jTn{@sfB(zMK3tmBsKz}G?(7=eV?&8dm974oy5>TyaTEgG`+f>Ihx@~jWNXbnuP=~Wj! zDx;;^@1)pu>u$+kwCj=Ayt2nwYZv*U zi!eC7x=J?(m!%UZt(YyPXE2N6u6?)nzyBqU0tVlpjXK&xel34%CO(I-87l zrt=?PAaU31k67|5^OEHqol=}{(Gesli4KH}&yo@%+fZS&>u>$QU`0tgu7=J{q0d+^ z`UOd?vsDDB!t_9tNBOQ<-95LU`M0>YYQ;YSZU*_5MKes?pp5DH3d1kOKDh|x0uGG+onHJ>g+18#be+^#?HVmQEw*Dq(i;2_{ z0wMBx{QEMW+k9-Vm+UR){)u{laDg<=sdf1)%O%&1iiJi*$Qqe$O{-;77+YGsG_f)I)8tcVxt}Dx}~fIEjg~o zq{!{c#L`_8#12JDYV>s~*-uyZQKUgO$Nn7PQ=`;HvClhd@ILkx0J_MwXCr7s)9CFX z*W=H%dSXWo`@A@umR;&+bxIBSO`?{nt!^!~qpk?~J1 za29)+u_+Dj zNn8SK5)OGQw!nY>`vcY#i;LXD*#Vr2KhRHJy+5eUJyC1s{n!is-7CLDIdO@XdAN@asRCr|K}?Kz~~+T2e=aP z?mFoU>s|%^t>67eT?8-g?MJ&_0Zc9zz%u<@Z_8~cDB8ZbGS$->(9D?A{TVh?1p=_4 zW2pdcRF)E6-AFY;bQS-;BJcInqZ>HwT=ZT`Ds!X(hXYA)792g~__Hg6qo965Z>D1l z;?sc#z(h-Irj+%NaAe;nmje$PjN}^u1Y0Pf%l~W=ERg6lgL2Gikc1kgT5gOcJ(~G; zDd@5v!H#iF4s;dF3|#0AoGx15~N1zN`$guwr7?YskfkA+F~~0H~HbwdPZpJidm-(lT|e4@v31 z)tov~oyY){{OKy!Au%iV^i8K?%T6JKM5i$6exjBI`}1h=N`{@`okm8Yf$J-P2bL1$ zihQ4wbydTD_O5iyHH+XAM zX=i?}Jp|||=*_O?KxuW|KbYi#;4|85`Pg0-U5>CF)`&y8kIo%-W|HdUvhP9e_)Oaj zWJZ;6WHP?E9k{U9@4>3?1a!DZj+5_Y4L#iiICdNvRem`o2mAb0=~e4Cf%>ANWf$Z4 zWYhxkr|o1_6wC$Gq+n+<=Td%2?Z1asrKbJ4agK$J?u{45EAZ)R4f|`G>GR1GRSZs+ z6FLOHo4m&F&jYY(KUTXC<9ua#s5HOSst?;8i8$o6rl^r_%;CLbOn|XVxXKGHc`UK+ z<}(AciMw&2B%(6kPkTT(v&;gAqQ{QuAMDkexf(OkaU#s=|Do-@qncXYesMjbh_u)M zslkTQRiqawR=OY{5D=8!ArJ^nL5d(?p-2e`3P|rY6csT-fPj?H0z#x2AoS1zcLL{} z`+ncM?pp6%zxB%>u#&xJ&+M6b>O7z48F)>)^Uo{GDeHd&Xh#O*hDB+}BP5@s8b~VK z`?SXJXhpMGmp$${aINjlW?czXaIAAgsa)bzR?HGR$L2eGv27G})_kMy&GOwjC)nAb zX`}iom;Ef%05=8hXFuLb|GAa(6Bn4xJvJiy#GPn`sX3I-iP4TS(uLm?W}De`P*mkUuzFNfFIKO-j*+15Ko z9G+F;=rlcO&(|(#Nw^qtU$4diH1PpVSWG?&6rDz@*%-fnS$RXu--Yp|mu>cCIxu#; zYv$^E^cT;(0j`IPpqnIGH;+J@TABTtL$;#q#;nNy|5@%0v&JK@^dy_nUiqt!iU$mY zzI3OS~PEhzZ(2m`vKV)+SPP&h_=SIdsIHzP9VO zE3@4HT;3+Kj&<3^bR%Q@HX}(a?aD2$e?)a`E1j+oy;@J#{|du8wLxDabU&E0vxcPr1Fnu|__ z+VhgGPK?AJLhbHFdeWrc^m4u}|L416V{RWN?ItU7$BL#HmZf`A2bEEH`x@w<=WWVd zkHE=g1DS=P;9~g5yWJ{0ml{_^J77o`pLpHrmzekw*zvsSA(sw`A!BWo(_TzdW{>=7 zlHFgDQ>~0SWmH+=Ag;8@yrKvGa5I&@XKPo+aFj`8qJXFp6vTVM3(%5%>o z&qEn>_cu&B+zPIOlmFYk0L1rW3Pg8w)TCVf=sCiYP#_ilr*r5`RsUF}`|)&liwC|} zaSq^m@vtVWZN`&=lMAe6i4s4C_eC4&kGnT$iLBzWv%KBm*Jqx_LX)8uazbGvX zF+>n|dU7f2{6ftHsi@Jph(A2Fms8CX42A3cYNhyvCXYRo3QdvWI<0b>OCfLu7AI~e z#-YzBCyamI;ZNB~TQj&exi}&S@CoOTCYK!tJ=6$!NAc>u$6Y=YN}D)A3S6T<)xYm7 z-%WY`;Eb6=*2aBxh-c_TY7Ip+Ze#tw_HbO~F|PdOcAPhfDI;t|eDsZF*c8BJE^oim z+QS0oO}2)-8Xm&+VClYS)g)veX-;xs(9?um$E`X@Z_g?TP#~TO1@$RXJMf>rdCUFq zCMW$XIGcZ8AzAi$1Yf|qg>KWRsYsDW=)`4v~5}txpL9|(%bi5W9%n8?dMy%^M23wTgJQD`<{20vxA3D zXx*Y4_Lq~#*FbgeVdHlEXF?qXfbRxwvq^y!C=W2$UOTQ3UiI_Z!zuZ><_N7PMg=BM ze7t1qaZ?2>*$SX+@m*ZD{A8#RkGpSX_Z&$kEv)t>%qGcqt4cfc0J=WE<7QH!O5ftO zFonN4LNQcoEc8}mj|cX&|J>`)hYZLe@O0efUGdnByEvzB%O7g%szVJBRH-Las&B%* zORGUk@pT4Ba}pu?XY!}?c@5vQnNsk95$jA|_ZS_9$m5w$8f~G&JqHAvo>gu82FNPw zA#cPyflbtDQ?~CfQ{Erx=^SyZk;;)LGg0OQ%c8ls*T7hS2ru+6pg-w&OrHHDQ`Lp= z!SpilGc66hXQORm$f_bp0P7wbjQboZwT-LyJ? z4WMFBR3)ew)E67ac1cb|=e~$eM+K_4ZNhBm;Hi7pVttb6Xrz*6Nh>LoOq0~KYDaEB zgcfdCX6syvjTbc(S%7&A|1~<`3n~{SzPH-}z`rm4?OERV%G5FTPnr!9mt&J!VW3F| zO}O`;Rqz35SlRBstjZ4~XM9Z_m8;5W@*gPrA{n$0P+-er1Q63i(37z(=;;Y)b_6u* zZMWE~WYj#wx@VdE$BWjz2e`T+kX++(L;TER2QYJc6JvJv`F!FVF0ChpM?dVXK@c<| zfg!yTatnyLy$6V~{SEj7^BM6k;16u@=6?ZyfQyd*1NfuO#Nt1IKicB_3;0t$C1!h< z^jS7}9Q6-UFvFXF-<$(ASOVuGK&Py$5!3&R>6CUUGS) zz^>pB+Hv2YTR0&q@q7hH|AOkigI|yStyqHHwvU4X1K8hrd&B#0{nCaw0{%u4s-GVzY~k8t2C|AUWo?s4dF!C87*s3 z$18ziyJr)5Iqq6VgEUBUS2g_sp7yvEWqS=nF0Ko^# z0(w~6?V^0&v4nNwERaLj&@9<}2cw@{I8}2wVX{J?sb!@amA0{4Y3gs7C8QWHV?zdN z|6WlUN&b`LUgsf-0rFc9RdT4iKLFI{h~ed(m5oP78q9;5l(4@!z_EV_? z5qaLUvI-I`ol&>ea&mdB4~a{?$B?>1j5?Z8$_uQ7QQrXdzj9FqL8Z@ixj@>ze`ZIM zTTN5uXCPvnFK`}t^yQ1$Tn0Er5;6$MQGLwVU1WotxPD@LIK2eaRQ%b*$tI||kP
-7_)?$<{Ru_-o*)cmO@9cccabd8!en_dFpm5oM__Ov`> zPPOIkdqvX##|a1zjDVI()@c&Tc~!zN2({vOFUBUoHh(Sl7EAl}gPqSCb$8ure!ViC z{$Vm%sW4RzjH?;G4th`3Qqz?mX$Bn*A}gSR;~o`fLe!F_!sFM%z1RxxC(HOB4Fb+8 z22jQw{KWQGZkuZ1JE1RnykbnK_Lq0X>>3PvpTjm9S<>sv*{|nb3}*{HnjLfgW$Wey zjy}$(e_0u2=jp?~x2I@(tLtJM-?*S5s`m|R>F%-?0&o{q3 ze*o*=kN#&Nz<=N*DAHY9TXP=`*qZyWUyA5J&~(}1F7w?@{N7>zh5eF6pz4kdV}`oA zI#c_;k?DPyh7_dhLU5@Km9q?c>}`Kau=xY6W=B|6)GxZ0RhI|=Ls5N0%S3R9AEchwfyDQpsx)O$v zxC7OxbFYc8dBSCj@`W?6V3m~9ag7rV?ej8b9q zX}cSsj*V?AbkkMC;b`n*6QqE8mgW=Sw@kKBh69*Ha$r;do5b1hV>5OJ zdfbSaFx5Vj!NsF?&BNW<7BB_ep)(C!=C~DuGiqYX{L*~S85MG_^2vxjP$^mob&m!m z*FXC*efU`{Oo!X@a|yGPPI9;5EMR=lF%CP@wYyog+e#%h?l{cj0(U%if^Pm4+KhG? z1w;&dTj1zNKJ|y`K;-e$+3oX#%Qu=p-KqQ}T&N$;p4f4`K4+YsRt&rDi}+xcs#_-e z%CK4fb6R4#29ROpnI7`|gm(h;of5r1QhZM4J@9q8c752s6M+^CvMsr-kN=`{TVJJs zp=z0igM3QqlBPbv5lU~m5R0djL=6XHheY>C)j+m z)6bWAzPwgRXXa)Mi~8gRRi~2!c2o3)9oq%4wr!`^uacE6+z<bsd722yuF<IM-L(8iI$37``1EK- zEC@QjM^cso2Yg`A;m{;S_af7W*0tL=U+!O2At|%|eer2xO~TN1{o`sFhkBzfD%D@{ zlg^0qKf+GO0TP!t7X2VeG!UnBt)M>aQ3$ja)#O{IxyMO$oFMg)7s{}4S>4IQQ^Q+~ z@eCOoplk=I%7vx8)7^Vc3|L)|9y)kB^|BNVGT$R{l^d_&!JpZdFMT`KV_#+;5PZw4 z#gLIT{QX4Ysu7qC`HK_mEi0ezT&_3pv8 zOD@3s>8hX8>?@w*v}=uxk}{^CE1X+x+Tn3UFXUEh;(j0l$A~Nk7A`g`WetL~19wkK zQz{TEW*sMKNeiRTcSq9cwlW^>x}vAGQgL6a;`r`~BN80fYfFZgUy`pOm~!#Z#H zj0rms25whYTX=j2`BMg0u8m1s?p#w|Myc0*$b4cz~m&=bzvYj z|1xp2X6&u(5a0b#Q8QcWZ~BamBkfpT0YJ8^I-4E|4DUUD%Gnpi3pIINh;8)%D}Gx878|+>V#Rm-K}$+ z-AlvoI?zpakHn^T=lq5|Wzq6gBUp(_#1AcEXvsll2LV~!&MVI|$Lx9nkKXe|g~CU! zZWp69Aai|oF#j*abhLuix%IY|+<$Xi7&(3_Gw{hakAU&JT&%8qE#vVzrL7HB;R$T~M4<4>sF zPJHE0a*5%|E@bvr?rFe(@^_9&$br_f7n#Jwq-e2IMi6Nok1u}Iq8Rp@D}Sp@WXfT5 zs+|?GNv;U%+44kPoOhJtQlnB&_V~Q49&-MfBj82#S^<#jKNS6Mbx!r1h>HJ@mEdU742w;chKD^hnsQivRY$D}# zUwf=G(NPUD=k;eKac7j}8med<_h>gN zB4lwDT~`ktD3`DCj2zC*JXnUTQij{vy-2TFrPm$m+|;p7@^tDSc+{Q6KmUW#`gVte z`k+qv$JbKx+XUX@e`dD{M>gnD);)~6>Kzgo5GSA`$lQ+VxrOGkbOtdl2D^TBdSabG z4@R$0wWV=IM>18N^HwikO65Z49n4CNyttuUKD@ISJRNruTI;D0pU0HpRpZp*KA18y zywH``9W8fo@jHWsQ|%}o1@)NfnNSqiR$C04^qRgp%%^(Bb5RL_wNX^s|lQqrr+p#l=mH)bZo#YZDlu7 z*=;>n1jOn4!~zBJ+;7ZF7L;>o+s@|h5IV3wx1ovU7h>VpmqXwaOwY;$K9{ciI6?ag zeh_*cdPz-1B$tEZ<@2ayot9jVSNF~tDl@$1;LuSu$&eLXT-N44ovU;6^vCKGx@UC0 z{d)E#*f++XMNzSVoVL5rw7&d0`ZJjT!k#JQjS-Le`j~Nsmp{LpT^B$^-l*<{4%%_m zK!R-*l?pxkZ`~Ji>27}`3p;4 zo`HF6F=ph9`{y@_r&}U2)tjqLAPT4OT|HLhJ7G{+h)|;szSUV7o`HiV36^<0eAh}= z`D4^d0?4-@JTBLi zc&j#|(>cC1DV~L=D-kY)n?;j4BJJyk*3?+HBFYs%I&>V?1+EWecmXXT+BO_Ey}iBN zijqSZ1kdCd7SVN$aKC)^%OK3c%rLpAOye{r7XwWSG(YpT6&Ko<(rN5dtvP|r4w{~k zPCeI)bkI=L7A?<_02730uIAI{GVwLYCDeRr>Ebz-fr{6zy1^zm6SH|V!zX;_73%ji zn;IEBmej70FIlxh$gS)+XKE!njE@Y^R3k7R&>=@}j z>nIXqKHV8PFlv|=MRv#qU^J$8(m}0= zZB(H&=WnYY(x6FN(BComGoJ>PQmsA?`tcBF zLZ5nO8}TK@<1sACOIA#%;DM!09Vb6ib%0h;JuZko+y#%Cj^nL*z5NZ_Y)@RB7R!wy ze9}IJbvf@$KIt_180mQ5$8rLc0u#%rIk0g0aM!|c=f;3pYkzwUzjC?%20&5NEg1%` z8VWV8H;aKy5OR!2U9Vv+ao@R;_mbyRADMfr&X|1F_Y($+6c3oZDVbW=JE6SYpp&S? zj@gpjq1G8UUUODbhD#W5s&>xw9A49^*f|^ zB}*%@tZ}I2Ri}y?lJMmLKSs0>?XZaMYK}uKrmO-MW;Wn_W65RQJL#|c^F|emS_SoV zUGT3~HG}=Iay{I0L$`O$!o^yciS@HuWVEIKyGZf`mSoqvu_*6CTwrut-)deU1Wk`g z@3NJ>Rjwa?h^&io`mI?JFg22CxnYW{q`r`z!{x0y6I_UJ%~Pb_dy+9j6$|E3-QN0h zho6E_#y?4DkAiesMO8!e=67b(VN?)o7qVV(8|P- z$g!{MD%hq(dygv2vvt&m-tXv~)adS$W^!+$0*fs;Sst|G=D71@M~{173Lrm99`(&K z4um(mf?b$e;w`(=$gOy|rTfb7C`UIrz8~>TFYHM%uQ~E1NA8w)FWDW_qaP>RB0N5v zT%>*p^>M3iUtyJMD|_5K$weRa%`MH@+XWg;(b%3p^nijsmS$^2&$1$|)avOZ%}CKC z5z|9g*EEE~e2uIhGcRwurtoQ!+={Sy+o@gEFK-P#?>(e2uYRj^!zbS&AQrpzs4|KP zF~Fkr%}##UniG>7h1k?0{nkmga+7EXEbkYMzMd~eF9@6{6a)km_Xymaxph-%vn$3R z?Q(5#adDc9!HS(iv1bXRETNnp%SgNNHiQbwI~6a1>O|HPcmUvN#U{{Zc77RCbu?o( z%a!`ezwFD>UkBEzyINdsVVrk%ezCj+bpun+3DV*T2vM41Ole7`)kY0FgcbmEy55UC zLykwo-Ag@fW+#WALILaznDLbwyE6JZiUHL|$e#lHU73;mr!5r`N1f zlGg(zn7C?Zk7Y#Af|9_IPC&luRPSoz6d7ailNtAn8%>Zs5j@SH3~bqh2c81qurW~K zpv=x|jSuRGYeLl$YPmzZuN&@PW%yFc@-AjP>V=Ar#M;|Y9>LHv`R0KqolScz^pk_8 zmzI|7b#xm>PQ;hcdYipv#KRQhJ+oBTB_D2PX3FRl3vDnO7`JIlQ?GiszH~B~|bBB5nMXsF&_6Ec%b*R9mc`Nze1~@f*3TH9HV5K{71kCC-$)aPhH(+mlsa$A7ixpz0Uu<7@JEcXa=8g>4+i}tr- zY4%V#PhSi9*sh!qu2omEDzx21XNay#R-;2nJFNh7y-X5TkdS^_($5AdreVUA7Nb;e zkbtaK&I8_qqZxjS%H=E(Zws8!_Wx2c!tr1r)-0TOgOm?+RuK-tKfX*9Obh9uQk$022?B>tb>USK63xAnM*p*ybRDlUK9CwT z{e(mqT%WY*_RQqhVH>M-fWVyY!gvfxPCj$lw5^MF5DtAMQ)X#y^1=%LO|(4bF_ii) zXbK4-c%!WG(At26A&gbk=$bNoRTLdLzyoLRj(SDgeh{^d)*#yxMIeOy*;Tq9dT$xo zE%C!b3WvM$9h_@*bp!luv!R^xueiQi&A#!?n)A$~5eJxD1!ajNtqVr+agcQtDMC-_ zfD0rlec6XP!0JO8G%Gspgw~~z7Bsw6D%jT6O(Vu^fa4fDZz$;|i4s~WUc+syE)_-e zBHcmWvc+Jko*)`d?@gdp8h{`=SC1`TgxzTa-! z9|9b2tfiDCH!gX&t0I}dLNO)D*ofvfy8*FEqwnH4L2iCkvjn6?mC3b<)x_8e5~FGty(V$S8(=2)m)%Fz0?Vj>aGe z(H_3<-&`-F7kn5)YuF4L)*~Jnp1L{EJwf1=?yKuRgqgkV`+nX-tJf4_wd>7}4_1|v z?l?oQd2=SuZy59;1)i|#7*qaxE`+UXQ9(zG{LEnUwL<667u5JcKgf!A1Z6GF$xN%G0{5 zLTeT5ZVJ*n7qo`o3TU(JU>mowHMGR%?0*7pSIRX6Qt^QbC%#iwX1W)VDFPsf>WG)6 zEI2;c-Oy3!7!$A8Y~-&?NXT;Q>AtGZV%R8IO|TQfB;M;TUmFKu(mP*h=2nyD1UM2H zOV1jkWtv;^qmsR0w_HZ*YAjN-aXZcC+s&b)#xV|;>UQeM{$y8~j%_(C?(nJu{h&YF zfu}BbS0-pAAV*0soh4%S8GoJ{(SJ{r6&Jx7UIu|p<`dkfyVTN$3sUmgq&Ju4Zb5bmL>*dbqXcoWL-N>^TRVl z`69>I06z=4jp!$JET`Xj4vRg(#m22SE#K%VERhRn*jIvF!xn951aRQVYUrxKt-er*4%& zWqHCBc$z$p)~H)-RskGt7Fqj3Tes7ZE>?c;$;<$!i;TfirN!%|JHu~LEBbT&p6w;Qo|!Pj0B`UJ6>^H?hKeE9_MB4VQk3Ei zUey53_2n^@M@;E;yz>*1LDREZ?PaIbuzfhwqlpivQ-1t4{(1$ekSb@wka4B6@Y}EC zuhYuF3%R%BPp2RD$a|Kr8g9zMk5IqnQg1RJ?5bch>%Ntr0OcG744!;St!&0LM|GyF z9->B~6n%qM>zg$_Y+QpjP;y71oZsUP4-jW|SIbRL0Zss9Wf$RS`Z>ANx#QPAO+BWJ z&N$HxbeG7@hpbbYAdZm^N^*z0#JBI&4d`Y=kum|eW|1RZQx^+7KOFh@;xXQC46W)8r>yD#*6_7TiauAn4&GA(x{o zj(G*?Zhq;ROOLCGPU~`X&85E13DBfMKA!ngYD823*C^>qc>F{&i|M&R{fkRa`+Mw@ z4!1P~+bT5pE>>*0y>rN!xZcQB1lT)`issdhq6RvmB1#uue*4VMJL)bql0Q9XP=bg%1FN;5l!*i-n!F0 z_0Oo${42%*dTFRrypbmkjRcE4uk8_`+**9u5mHARE~hYtqz)#Dv{>IQw}|e(o^9eI ztPz6`AJHZtxD*2w8Ym5Vkb*FDY*@?YRjiyF>g`%CH@?J+dzLYo&fKis-X#deK{ zuhLy$=i|p|D15S@g3UL@oO>(rTz47t+J_y%9MJe>9%h(b(eYld)s{S^$K8s02pzwg>syVww3q@a%X z*;xov;y#AxjVjW{jHP053NMte#lhJ};?xsF!7)EAQYdIT{v-NZXz{7w;m{M#BV{3O z(HOaj=;pxe#}3n^rNm5ymn3+$gTdn)R1Q`1S{4bq))%txMk7^n7&G{v1cZ+*1^D<|yWJj*aYOPsU4YvVxkUq(F%Wo_ zyAx1TB+8w?la!YaZ1R`8P9mzKEF|C){)R8f509Y+q9R8mHTCR8nA2!#EuC(IUknlH z>a4Wg58+moCRH7V7pY6#AH0|MN9#x7A%!&hUiWIiY<|92tuAFBKucf@L+SWU_&Y(KkM2WE35!Sq)CJWZS}Y%t9~yVv(x zL8nEw9*Et9KUYiWTW5JM0YO~%Vl`i^Mi_&9n&HPV5h3`Dwh?)z)^1#Iux8aSBvPQ$im-5VLlJFqM+KvEwT4JWOtn@SmF(O?j5&)~O%c(2Aio zp^119lcGLiW_uh6--#7o+f2TJL-jmI9)vt~QO%_*3Do@N`N)zUBU1@({htYHSQPa) zBJ8_!2Xo@dy?uMhFCHQ*+l%yfx8JD|-{&b`ZH}cE#8sSqxzFbp22?)%dxbUq>ps05 zOH+7$3?`(n6W=axQ+n(6V~SO>Y9n$!=<5ls zIXNLAsZBO(H9EI|+MoFMlUJ-9krvf>sJ%0-;LCml7Hwf^OH2Dt3x|S&6T_fSd$t;F zNh6>%bN&Bz^Zp&j_E-ijMCx-uIk)PMr~lhR15)QH&f-ewD~mGA-99Q&R@}yb7WcK^ z>#==m2eDxL8}Fb0|ND;rIJURk|_W^Jp|RXFfAe9p<~i!906_+asFfzkpjtI@$%H?p*exZK4YczMFDYgJ|3dd-o}u3{zrZZ!2GDc&I^VXRA?I3!?*n z$@QO?!~2NU=Ja2=G)GGaP^7#4n8h(vT4-8|QlP!P1^?l$PGs$%v2mEe->SnzBx^>2 z6#q)dn;=uBuxwIk3gR`4`E_1Fj6)NCV)l=BUu}EpKopeoFSj#-O~qr^(t>PZDz;i< z`apxHDexO_f`N@?cho8UC1IQTWtC!_ppwwvc{VZZN2kbI_kz;Sq$^W~7~)EJ!w8Vx ztC>C!>Zx#nDIDY9`^4NG;xwP+3-xS)Ib3lfr@aLkIUB7cj}R(9L#Jp|`=f5EX5LC;4_h?aJfD~2w&^jXnJ#IWDG zw+(^gfOeQcYk$z@bT<#YY2CoZx(8X$sq**+fkTa*Hw%*Tbt)%k!y#?QjO4r}tYCSu zqBESh~?8>+y-f;UQe$;$g?IXl#x6Y zbDsexz#QXs24z|u7o`*@wYYdiI}(q}*VH3DSV!~jVi)qe#q%#5KG5lMQ%v!Feewcy zL#KqKGjjqg{(!D$c#0-&O5PLgd718W`DpI$uH@nFg>78#RB+!xiNpOmeTr4$4V$K2 zvPP3cp8ARfJM+^!e5rS97ttn>V?OVbvvVp=P+sKWWSK4c-u!i78l8bRW;mS#kr)c? ztbN1I_q*Zh8XyBk@LqoN(4;lP)du^8-#uT0_4JnU5f->mgVro4=bBskgYup28Pu^1 zhiBduH&;_>BhK!;DWaeMHIbUt*P-K?t(-@q{YgJ|}?>S0m+ zrTdIGKIJ!)%HmZ+giW=3tt4pdUXB;E4XALK>-pMrYBMR=*5N$U5CBg{7qKKez&w2! zGgccGRlLPUcR{F(WON9AxmJa$P%)`*d=#+~k-GR?+QF}yqV9@v&Y;1GA8nF6S5R9KE zC6we?59*BM9h!Vm@wCQ^*%l4uRGke*R>uIJz4#8~mLayi=8Gmsd2%~+9vu(tiZm5` znU1cBSb=(;)apA&!od2b@rAn7^SR0jyk4`yP|nSujY1Tcx8 z7=T?L^_7RuFpY0;!kTL_lm{?`TBDbwFU2%JWjTmNoLF8@dX6R)0=<87_#n-vaNt0{ z76jJ9=iAxw$7Ah}MN@m!ewU9-fR_m{Z2Z{8DO^!y_=q#l%!Tm6{Cv|-*yp8Ut$WbW z>2u*7N_;5$dS0}QRFCsJSE?;XAxj3Itf~6u6!>3mAOKDwhu3X}vqZ_i8a%d5M%c@T0=xWzerq&cv7Tp4Y;bXS7)qQTs*X_~ z(I?>)v?s=GQnH+fdhe;WXtO9edd!B_+sz6z%AGQn*Vd{`?fbF}3SMVt8H@c1B!?Ju z@gl^5j#L{5m4zi_*8Y}iKNk0EYVp^ili_p3wOG%*^YA38$mY5kf$-2n9^R7<(t0}$ zgTr5I4TGmGRS)#fKxG#b1-(XZWs11y^5r!&IIjWoSy3Y2hESP?J2TCO)<}bHdL}u& zGYpy@TwH$aRyW+@^rR}tHrt;Z;yoMcf6744^tK>S)l8T&R2L6)^?15}lvel27ajX< zoIW&-^1gxYffS2c)Bi4O-nzE9%>RoJGpfXad8_E5AomCrLs|9F* z`f9mZc+TzJ0*ro>DTCUU91uL6xSssg{a8W4R3&gNSB>Uf;m)>lui@`cja-Jdj~=>t zVazhc5J425;>wcp-%&~Sxqdvbo4CGv@+PDnqLkM6Y}i$jipZTTY|B{^Pl)oUGrDNU zjVL4I@L`AC0@}ZO7Q>|axfbQjzLRCRFo-;h>TAt+BhUlhVdLAWQOiYo>hsSWIb$%m z{BQV+rLU4=uH{ocIDNmu6Lyz0ZJQE`b~Bq8n(cLL@ceVatb_R2sR7-(cE)ZLE?LNB zXENWD=_O&pPJXggc4)CoXaMQ;K0TH^Njgz#?X|^;4+1;n%H{4y~c_#cDG!c(jSP%$s%` zi5aV89_=IKCL8^m^e1HYyoRx1Sfm~LzHrlGsHaVqk?6+CaQN;>49P#PAdNEAR^>P9 zUEf~Uc!I)im*!R?{XHdoc{QMYAkXXYPTLNgC&*&Ff~M2$J%ld% z#f^FV`mImWm`*a;-Ey17jB>N7#qls@*o-gSmP;9EG|>+q`F89ZoJkj7Hb%x!#4so- z`s|Mo@-f1n)NhAW{sgR_5172S-9`{qhD)ye*rRE-$Qg<_p#`r83YTj{VSBq(OlW!HY#NK>$ht$+0 z&12CZvT|JQHc|Rk>91l_r@9@7I%AhH-iT4k*$&E!P%FLA#qzmI#*9O5iXF}5+T#iB zGnU*%<5TnB8~MK3)v#qxX&Q7joD7`u_S;1!&&cs+?3d}$2Cij z$hrCZvNa-T%!&gyBt1HhS^WKM!6Jn{0pw8WNiX#i>%dBkI>Q+Z_{_4@fExv*-cx8uvK{G{jQoWEJ5eYd(2>%XJA zy-k=s-!f56$nqa1oh`1%#S`i!$3Eym{P_YgtI{!w)(M4l_K0K=5xgY#6gl=O zQpLKjxjvUzdg71hU_5cNIt8`P@e(T$MSPedMF_I3mHz;f+Cnt9xUD1o5KC1U?Gfkp zl$4~v-I+mfp3u!wK(i!iT#`48Z?@R1-MT42xMNZagK`_W_l{gHh6xU6@CfYbJoXxG zrmvW!GEncW)1u^?J%&y-K)KZRfXIm&%MqqkahFYo4Aq<7ca}YEBbDKqMi(!?oW%at zaJxu(%r+=sd2{lPF26SYrh}UqB?E>Z_LE7u)c2O2d2CHH?2w-xemI+%=&hq~V2~RH zd#;yBQj5V><$I?@E{m9Zv6kUXqsXkMvCXhGw84^Hva|*_|`oB2#{*EUvI-g87!&6QaV1I29lH z-r#gv{RqZOXFkl#Cav*Q)xe>fkrs-$=qDCAD0iiR?0$n*r$z6k%4(fip%Jg68LXVf zwJbJ`MNE9SGEdw5rds6tcMTt!ugV+e??yUJe$gp0=M~c`%^XuY)%|)+m!60yfZNUq z#RzD^JVve4_`*jK7lyJ%*}MH4Elku$*aX-ob5{-8+&2<1qkx@b?H`N13T{>`ldpu! zifTyAmYFxdnMb?UH3g(!e#O^TNkKHrcW4KhzZ`Y@WQ35Li~Om;Z)PLViS>NM@BDbd zlOx$VD&I_?)+@@k?yj!GWqBK5Ig`-@O$`u*RdrHr$Wzz!63C}aR7~dih!!Xn!w^FxAz8unNxX`Q-(EHkPASueX+ zM6c7~)fMu6QGKtopvXpJ7jTk=3YSTKAm07rC5Ab!WsHS%7X;)uODYMJ`jqtZGsVXd zzgTh>Vphpo3DjEyL}-BkA3{8w_p*xn4w~Hy8ZPQ}l*KS_)u2b8SHjW!!IjZ0u1OQL zbJ)zqdqlVTv>$zWH7rBxX#2<7ueE-9De>aJfbZivO_knxVRO);d@0zjf3fDBnmCc* z65hVvu~6tk(Wc1etDNDZa;bBC7};5|?iY!Pjy2jgY3c$hW*8i+Gk#F^0tBDLzyPIk*_)HHv1^mRI*Q`Ob=`Cd6v^ctMw)L0HkIdxAB`Q0A*FlK+;2={;l z%jqtG=P66T4#^COJ2ed;{bih!`EuLw3R9%JRkyui^R7Rqyemr3TN-J~D*?%mO_ih$ zqVeK>0o)<=IV?$hmIwUx=y5MP1(QZ-NAPtq&?Mv3@4#8bqc$b04^RH+d{@(EQ0!FP zS2)#VL_{1G7HfD^7InrcsSR2Ml_#=Wo3`@D<&O)w_~gwHayQO6ss!el=EH79j1V2F+RPw@muMV zrzd7|{TYpt=ATIyvFENOaQR)*+SXh-qn5muCnihR6(V_h@r$$=_V%iLeqY*!nqH{! zh?Tr2R)aKz9;Z4hujue$+McZ^lf9%<<)^QOYw1&!1SCBZ{mmTTiseN~adDC%YI?Zv zYs{F6CpmwpZt5|)pxTQ_c9jWbm#bMa7H#fSw_;h1gCYwC{lbPw{ztkn50;q|ob`(_ z!M5Jc(?6%5IBd%4Epr(IH~GXhx~_6nvlsLcA4-B!1r0RmE2b75XKm%DN3kr9E|0B< zI$jr-{SuBXVAm6$trLp41dC>B-+veYr^w#FxZARQD)P8;9FqAVfu_VMDDb)?mjgjRQYb)Di9?4`yH>}ziW zxwQC2VN>oR*{bTsh-E8j#zqhoH?i)Y<4by0Z5k$*Uo?}{cW%Jt4)M-G`9>C@0#@?4 z@410eJHwnnqXNVb?`6UBAYx(>l?Rkp7XT8tG!OZyVAH;pv0yO!JmCAKAZ>zM`#bhCED^xS!UY1i2fqEo!vXNxgyJ3BE=3DcIG$En%q{__TkFM&}EOn_4 z=WF4G-+VmIM{oJBq3q1vr30qmtf1Aj(T_C&5c(>$a&o|JQm0~ZaO9^(3g+B^;s+B5 zPfK4&mQyW3aRF9QL-}kv9B_nKXEF^@>%RL-z>RyV%xzMjo2`sW9g{W>Eqy$uBaGuz z@m_l0PmcPIi~crKr{mf1+N9P8|ICP&az?FNv)UQFqUdE?!$w6uig{CsY5O0p2giTo z)UVFkr8(b|7(h~Ttl;ir2DWETtHps#a@_~zVX=)T5S@mDDT&(8gb1)JE>UuCG*vmZ z144KFD{Ascw)w^R->x-DMZ|xEQ-9n8gj~Yq<|kD0RSxz%0`Xug9$h+dUd*MoE!l7p zksV+1W!BNhOnIGy^l#V- z54KUxcs!g~vQl+@cR7ATMbc$dKe;HfT?junIaE{KwnVbej-*aDS?<7ECkaE2RKe^m zjby5A(ymLHU9Bl9;;TJEk@UrPNiF{c^>) zc5Zu2bW6+?vAi{c>GE7%o$}BNM|nGdsVX-fvGbUPg^wmyakDh9T3jAtRcKZ52{83B zsAx>@p0I4-dx1%ra5Q)S&~*2UynZ9@J3?CS%T{&z;br?P%zUMGPJ?{sv&*Qr2U$&p zL+=XQN7lSJ?YGg2DbEl2>53WNp!gs_!ta4h=wPJF)|Wr#N$~FUgwb({a=E6_n5?oE z^AChU(WkhoMh~VzUzP`4e18Ln0=9X)@k(#;WE=q1Nqa~E7rzy4Ea7nFj30K^pBDEw%V_Zo| zIf#aWiVBM8xjp~I_x1Yn+w&7}KMxPj^|{{f>!v8D2Jd|l0Dvt-0Hg?yN33HpVr=&^ zfRdBro>>4`w7_?J2d0&0Cv1wBdMQ#SCH$^#3Lgy6Az-$r4q$>ei_gfX24601@0Ic5 zs2oGqB)0WM-^-nlE}m{2fbno{vTLV%N;-AslOj`&QI0h(_PZA0uPG!^zn`;8;w5@z z+V^QJEUtMd!gu(R<#G*aunR=W*4QR3O9dDVN3g{gxFZg1r&Ba8C9Z^+VI(b>_6=Wi zup2!B_{IbbcJas-IZ0HzgK*7T5GEob^&bh|z9i?@wrXAXrJz$7ypv8dH6`2P>}}E! z&lVu^^4ey0gRTkKy2k?|<>+HtmjUeR1fFw2N@$5hrOj?jS=%)ocbEJ*bwDTeKyNVc z5hrn5Gsct~Qp~AH*8e!GKc%2l1&H5HS+wd5+JvxCfu*5-sm%)TPKCLtv#iZNRyEr3 z)Xso-Fg9ntFhDXdN-xNRHjVx;dd?ELkWgCFrQWLsjDTZ83a}tOB0~+&oonz@^@*k6 zG>@pC?R2fN2x~)Dyevt_Mo}^tml$l6_aoN3{*c6Al&N(zOo#RxHEPOlp>*UjiOso5 zC1thT@c4b)_4}S_)cKT|n@#cBQ<2Q&pl4a^@Z5LT3sLVL&o{B)CYR*>k32RwKE2-iC( z+T@+J??{;>gB|d?=?>hbWOJqy{XCNQT^p^tS=Yy&!of>t%|l- z5uSn|ZL8%Fsj8#rYCYoQNa-djPk2k)`xDwa-?dh@GF*471?35N(_>IqF8|GwstV(D|r8e)4Dp<^L_cfcKQumMIx zg>qDYSMZ(fgI;UEr)+%o*n$q$fPu9{XC?Ebmhn+ojEVZ81A$cUQ|20{GCkNyrOS6a zuG-u=ism|PVoVrPlP$`8M1m1nq(#Pb?uB9-=0d-_CmIk+yg&L$3(}^b=8|fv5rd9G6suPbFI$d z^E0F;;K|8Hz4^kvCGz;_#UV$?C1{%KUhPOV^N~A{OOPrpJ9?(rN73dk>0n-x+h_Jv zSSJN)p|*Q17?6ed&f(i%-Jn~($&@fH+6d2Us9UezOTH`w)~oZmT?ww=!|5mrf$3GQ zUfow#?$i9&J5@N{r~_qKYdv@NUNYVoBC1(vrhi=(Pw2Bv`j!1o+p(o2G>lh|4?)@A zX%%!{d-O}Vu}BTg%On+cHwfmGJLuifecg18&%@pdy(4H9VA3J z|193~WkEB$QrcZJZxUsa`@nxAYb7eoo`+<_`^paPUrPD2C@wT~Ykc&dO^2^vzkw;? zT9BbkF*DqC+$Wtwa~KmB>~VVzGF#|PUR z{qkE!)>ODzKewXV>Kt?%txWABh>K!v#E12F$B?1?9!}E9tbkW9z4@--tWjEg7SXPs zB_J|vA{BnwOlj!S%(v>xXfwmHrES66-zuBqvPM2d54pauR3R2HjexpQB~WT5V#c5H2JgfL6${vCx+-5 zS@8$u&I{m36|6s@m;cfg1k$ju>b>HrrVg8hwscU6Rr5BRGdcf0gKrCRs@iiHh7j$no)WX}F&UR5;`;uHLA7@Zajj!PAI zF)oMa{M3R~;P`m3j1;zAQ>%{fLHcStGr2HR^0-6gLyWS2ZI_dglO3 z_3DszhIWX2{g!$Ge(nsS_;!%cCE-R5>%!8F0^1-9P`wpoM3Z`$a%GWhvGaw2fQlvG zf3+pamt7{T@<%@rj>@g6!Lb>=k&~|{b#cCrlxCBLW|S+IMO^0KyU+mMAE(xrla#rF z90k9+ktmUg?4LnP0xG~^#HVn%Vll&}%9n?l6X?JV7;+dX@iV60Tzw_LLK7;i0Q0rb+OOdAMRx@|3Eymaj zb-aFxg%oFr+=Q7A0NEGcGu*16z3YoX;470GvTwkGtP&NTsqt++umc2w)=E4tLas86 zP*WCnLSD-a;ua5rGn`V%{nLi4ig10Sj_qSV4laQ$S+9k6$RdvtqB`cI-a3x_Vy?40 z5FntXeIi6%zJ}k~5hqJI4l-|N%~ou~mTOvvJkWTO>zKgbBji_f$iJ6-DtX;GA2HtJOk}K38 zmWP)hzkNtE-;qZPWlscQ32U9olgdm%%fxxnwV|#4R(sxLC+UD*Ct)1XLe2r^rbTRX zHft2Q&w5OzBE%w zU$4i|n&6GxfDx|t(WIxiQTVfE1Mtw_$65;q)`8uy*b0?e#0x98MkZKlGLnMuDgGkNT7!s;EIE<-|ne@=s&p} z`^Gv@>`f#C6hMY}kjd*nL%D57rG8#g_xhua6L-ctTK?urkNO`WnIN*7PP_j@UWMy z`X7fL3hFGbm~KTKR0q#jP(gY1(WL4rJCS!2TCwD{b;UOysN>7v36Ph`)&PnhC|P)*p1j2eZ9QL(;uuD7js$)GlOWya};6k-?p3Z ze=#uoj}mQ8ytPDv`nsys{X{OdcWjeIz5%0ghKGzn?)hcv^i9ybe&;0ju&8ZuRgJIk zVL|F?petZ6AI_Q*22vl~LsILLC!0+NW6DGMq2u&M1$Uk?()LT@V@IA9^$|4~;KYe-`@sJ|831vMoIlx>^O@v@1QO!l5dr`jBuCF3_ z9k z?s?gMB=_)n&kIL%j_MGt431bZYVR)vHZ9HU=ddc?sn)yKH-H(US5D|0P0;!Lcs^E# z_;*Z`mQ!2-Vo$@;3)4RGM=N+6EgSJ?XbeF=b`MTY?X!(#DknK zid~VBBZ*NLyi^>F?HJzRl=3S({=P3xZndEA=5?85JKW+iotq*QsCGRA}L-RvB02nWJv>NMcWf<#xhtUlk;vgXYf}+^ytnz4)FS&RYtb z=&MU840%?^%?J-SkQA%HQfF@#=IL~OY9@@K^t%MmP?M0Qqs%qai74V%k30tQgr3mB zc=5=mHLZp*;_I;I80YGsAofknXrd>2EKhLSL_z?T|W_NF7TgrQInGE#Azl zX2@S_*110{(@tb&C{Yf$iMRp$+(U3|`0jRpO<8P)WU&R2$rGW69gQP)k%!JC#zve$ zw#rw8?aLHs>^0Wg00vw3e&BDmm0SHgiFCOtWygY2GHIt-a>9nl%u>xZ(S2p2wqy}y z+yq3=UCBehW8!c)LnUR&oySfGSR!e%0smH;C}(J#YHtAy3L;76P1?{#-*2O^Qd3T6 z%31+-I#T^Bmu8MkGY?nXHEQv`PxpP?k)H2PF$wpjGcm2|qrU?Gj(#eAa9<$e5Q-rK k5TpNp{a;*xo7rMa+>D^ET=&P1JD>j#8wYr;)y>rZ0+)=y(f|Me literal 0 HcmV?d00001