From fc3c672d3801b135ff4434607019911a34faacb1 Mon Sep 17 00:00:00 2001 From: zhuo1ang Date: Sun, 11 Apr 2021 00:03:39 +0800 Subject: [PATCH] fix typo: transaction tla (#34) fix a mistake --- .../DistributedTransaction.pdf | Bin 217831 -> 204939 bytes .../DistributedTransaction.tla | 26 ++++++++---------- 2 files changed, 12 insertions(+), 14 deletions(-) diff --git a/DistributedTransaction/DistributedTransaction.pdf b/DistributedTransaction/DistributedTransaction.pdf index ef6fe031f8920ff2a6a6b8091db7afe205f51409..defaace73fe141666126122e9e337fa280b08f6a 100644 GIT binary patch delta 59183 zcmZsiV|OJ?z-42b9ox2T+qP}quw&co*tTtSY^QT$JM+A=)~xw3^Qr0=oOO1cU1xs~ zV+Iit$-y`{Qc!8A0VjGgZbzKBy&qcEu2JeML&iqQ*lXI`+nZudtkrj9j&~duOOf6`wdXMN7-1({u0w#sWOkS zg5O!P*0*H$ziJpX+TgWkXy9K`k z1Mb$GGIMdv$!8AUEhTv*bg9qfNv1|FeFgm3_O90=6gpp@-ubL&p=x;~!3f9eHiW9m zYOB2>+Vo*qjf|L5v)7&-8ttMr^sc4mE&_;Ug;fy&>a5=%Ig z;gKS6bq$1ftVmd;c;L&4=_Et}mj!V5(rMeSabukeVESz`c-!;&m)J`77Zu;TwMaS` zEWM>%W(O=;-E()Dfiz@~t=lvyH(Ce;aX;YeCWC|;!C5Lfh!`||F$x3&Dzoa9B}gH9 z|GTcXt)aSVGA$!yTV114c`$d1InTtjeWmIOs@$UoIRI_ z;9{Lse%zg{X=x$j4wg!8N7BR^H>lN$3K);r%P>Spcj1eXMP?NfKvg&k*wV~S~% z!Nf3+a^aA%FBk}h=g8BLKVo1pBc_Bf5;p8Z9-3=m&BPx<)SbT_jz}oxc8DYsusE?J zL&^>LtZC<%+25kzb$h~c{_6;0Mdc@0tA3Uiq7hpkX|3(i#fthteGq^-jPv_A1yTn9 z>i86)b_VM#$gBPueFnL5a|tJmVa*=o5sY}Svj>B%q~ZJI-fgoK;&s12!Sa6kt1>4V zVDgYSz>Jr>>d2E+3b+C9>lpEn?OVG&jN1p3G~z^@P4p~F zk-deP5!26OYa3SH5nHC*LF45m>!sNQ+;8Fsao^BUOrlCkUP&W(OOXy$7FvVeKvcuX zYR+W}?Yx<&-62(B!xTl7D3Mu9Mu@sl;DY;c2Q%GC2J)uNn-iQBX8>5JlzG+as)YB#ltHuuCLIWRV&SM*Cfj3G77TUm-^I!yk=`4lu6yzZjyB zJ0!!8;QQsap{S<`aOr|F4axR^a~$t-ZWn}2IAi%B^l@UR>{9M8WXLZ_Q3R20PD&{2 zAV_g^bV%#%2Wvs1k^@&a1^uv5zSmOi;tu+P8D{@?!lDRa`Z}k?Oz@f}K z{`J-khIEu4QCw$!${9mdEZjqVDA?a4`HpN4I9qHW}L6(1!6Mx zbg*r-K$3$XlXZ)_yt8&l)ygtb{B)R}yNXB+d&d`#mA<`q^+H(2mP%Q@(JBG-m+Pkn zy$lX!kM{V=(2w4l_7eI*KKmpLT(-_%_MWsy?~XZJlo@e@+2`6_9s~+`@hsrLC=YQX z72`Ygb2gYi)K6PGTDorle9r*2?R1tA8h+Iqc)WoQ^_gJpF62O--9dPNS}&3`B+$8J zI?kUdufF!v7ggTvQH3{o8#3|ya6Ij8ELmJ_?m#U$kcuk+DAxV5HJSEg-KLgR zu<|B#HC07eqA#nD@&18>$0#cM^$n-<2o^NIR84F3tO>!!3J>)Q$q>wySS88*cEI{& zjxsFVa1F9oj;+QBTX|(LI+zM!rxn7|x_o%fLgZ7{H%J}p<^8Qgh^Rr`)Wx+7&*a0^ z$ttK+anN#T={^tOw9j8KYm#}vQPOYKHPMw5^F5XfW_c)T*LpAHVkJM?koqfF&P(ut zwhieXrDt!>uiF3z&P0Tw##0npg%4Ve7HTB$?6(f4raW{k_p~WG_+9kHUAVg|tvijx zHiQBUwL^?8wmGuufricvnEVThOl))v%fRcl*)j$f3Q7=Q>K)^|t_^aZ?`+ZbCua3w zE^BenMehZ_@bw=(wP`pvL4!INu38=us~!$q`Gc3ljwKm|lv2zPt@h;%;*SNI=>1IO2DYC^8eus@TpUk|xv{LC`HIi})bFKU=-~|IE!c2%j-bmI? znL8Yo=p5<$Jtwp+_kNq6pB9u1Of@Pfo@6U&&~BcPynFhsOA$1vQJJ>5a)F*_hEW$E zNxy|{@c@e~M=4|?jjWsMD2!Su@!uu`8IRN#a!wgQ9D+DwIWFXst3EieNnvF)Df4!j zUKPgDDj9Y`d~i zdQ2bNAxXv=_EM}^lA@knbG?I)PHw$U@#$i0 z>~Ibsu#R&^kS;{j;{Vurrhz$nwEL(2EK$5FvA8rtJe+#LkyOU~7UqGf9QbwZhP+M- zB^;hI`el+!wP{_!xJACPjX#CK4}VtejCt;z6$REmVOm*YpU&YpT*zU-nWYaxb@NCe6Gt z@J&>sXb)-EXCv?4s-wEccjFjqiLQDgHQzH1TC5DJK@Fji`J~cc0Du`qVt~r&s4Lf9 z$vB8|)N_B-q)3b~3;F=2qXe~ciT!+GsF(>WrJGBC^|`Us=Q3&Q_3M2w;0X)s?WaobdmRN7%*1%|Z9_<6@=q50vP zhnuR$0wdEBeAT9pB1%`aiKZ=V=(so{F@ z9d0%}aO0OH8N$9Us_#u`}j*)@x}Qt z)8F$CwV`_$D;U`Pm-rHqdH5rSNHpYIF^vozGAZQNRO1_p$H@p}{#K84d#^2kebYZp zGp1XcwfBmvqm>1X^5=4w^6!fVI+KD$?s*v5v#41I zyTq^lW}sHaf61KA)5vBVeQ`Pz=6k(#E`Iq7?N-55vnRj*eFl9KVRlja$?$bLmIo~9 zd-WWBhUJ%uEG5hMZoVlw$9N2&_U8;#`A?5QuKSuAVWS+v72F3~dw?;NXfsW$>2o%B z7)O-Kx9FM`P9G|s2SMILb;PS@dJ5(c4~!YpB7P5URu#JlaRS8w<=`-!B!pC0*XifT zmJir&^Wub{zo2J)aes3Qqt{0pe^+(}bCa$`3!jbl-X+k1TB_eI?I#w{GEB}9@0C?I z^=_u~({NrDLm{i(b5pAqX4 ztKc&UW#QH;AB}Cwv1Bzk+kcmsyA*@j@tu_EK+_Ct-NSI05h`Xr`}Gj^Cl1Hc7dlq> zl3!1hzT{88k4W+^NZSt%m}T-?B%Fn#xtqJIg^9!e+?-5p;aGT5Oc6~0wlT!Q4C%#b zMg>lm13^1j}191Np0zO{Z>KY?Ftzd78;EakO_ z;__`MV2}LUI()DM8`8PWtYT5g)@vp#Gv>bqw_R@sgz|(wF8oX^q4rAcJp-d=2{^IW zw^11XUi$O+xw-y0y7^K9Qu!y_SL}3V*0!bD@db%J^Zb zDV;N`IjnZ-9|oR))L~2vjJ7db3Klh;svvjo+WnXne5%e0?SD}qfa<~x<>TY-R}D#Fpz<$p3LVjQT68fHq&Otf$6s^#(0nsQ$!ys*CFS*x~l4@5s{%HoVL z=rwG$O6@9PI4krOcXq`7&=;Ve`Q)`y!IW;v*87el21Ip$h$UumFV9EEK8J>)Km$g% zg!BiE5SCh!hv#l*O4u+EE8g5=>p5=j6m3)&PcI;k-kjPwdFJq9Buzd8Hx&{RrLSkF z0trK7Di`TnIBQmII>9y}dI82US*asK2CisU{=^%#H_9bJ$NOYV&uYbk+O(43Z?Oqg zYQ!tFI#ekDx}QBGFwx9SOT9mUTjSc?@K~9TSg-Tzof@nOf452uJ&avdV3e;pHHcoH zIIWe2T$}`TxCM2JNq!w({*o{`wJ_td9%2$9p~;1oHEfs~&&EcwRp^YQRg z;=-H5KYU#(Ha9i1An^Nn90P&Q6yt-ww8hS_*ZT|beqv~;qCM@XDPx)aeUm30Mbgq zEK}P=I+n#pT27#%3w}j%zQ>AaS}^58<&Xk}f$+(u1kKcK=$}KPVD-Y4{Rk5wReR)* z+TD8q?xmXXSkynCX)$?62a?>nQcsQL-dZ5off1CsDxql$UPl||X ziJ(-fiq05wE1Qpk5GrZ^@-4+fv#7s5>MGrzE5EScHR~aGbTdCD!2a_av3?lG=pt1F zG`*kiPf;%#BqDsN|5XUDQ-%j;`xYpqD_rbX46X~PyIAjHRQ98d2X9`|0a1o-W-cpN z-&>}Z!#Q^1OT|Plyll`MY5_uG=yo~B_Oi1<3Z;VqM;0KU)FnJyl%^jA8QcOG>};2! zEED%x)s+uYU^x6^O<^4yhsMsFulV=@BAr5_)kupp4b{QCio^E}KppA~*B;Ub4G)8x z;mX=*73}I7P=>`1G=z*8fhT=qCT4Zs+_>*lr?s;!9n1#;fmk&ehz2QL`$`F|d5gFa zA}7iT$^fSN+N$ARHa?XiWzs;;zk=lWC)EgWbPlTA2{fK`67(8(Vq1nQC(IXx zss{=2v-A3tlV3-hkWNQ|7d^HM_RTL|8@@@S;d7&>r1HcAXj=j-n~9sO*Nb+=!CvEpg)p0NGd>j5u6!2wJTPyqR@qq-mDO zV%Y1WD7RXIp$7*GtRb+kwO6<~E&g##7fXvSv5p@qZwp1IfLT$pUXpO$vqkcBoAcbI z)P8wTuN@ZU)BUIm0UnfLU^%|`RdWsj|NaImU-kHruKJPCKBIf_3XKL_woSBcY!c~o z);{)JLn5wV6m{4W^}?`-3nz*vz+1xSllKj+P%~r7lTEZXPQ19acFId{l0Zc-)q^M0 zhJ+k};2RR$fFK>Dv#UKNTkK>Z$$wrlTnX-3(m*8lK|jI#2^Pw#&mR1(U@CT8uAUi? zc^cz31IgRDTq4YXab^mLM_x$wm?9+cn?-Juf_P#4LoLCK&R}gegjtR3hDHnI|+_L*${r8B#P6tk#H5JA?a^q|aUYT+edm4ZE{50U4-vy`Y2-hj0kwBDOVmM zf+DCX-o$`|D<0KSDr&HZUEAGGqTo?~+Lz&Klt<>5&{0YG!+`gM9T)U4F|}7K7vWIV zs~l@?AtR%JJnPk05vQGtkCVPS_h~bJ6|}n!FK1^bk`}K?aPxAt8$+>gpgCTf7TgEF zJprtc330NgmN&{C9iK*)^uPdSJ>mzGPSVO+au7h&h>{j(XirG`Wz$)4et8%!WHYbb z^gS=^{p!Oj$Kgw4yUd}kP&}iuZ5)M1%8*VYLOlqPBWqlgzof<1k;|J>5aN5yXha6E z`d0<(=H{MMuWSzdtq_Isy5Xo>!i=X9JxQ3pme7s#q}zw*w(4n;n5t&R?H;}1xAYpV zfG7aQXrbT~Vh9msRU+8KqpC~wS?{mr^P7t!y=S@_w`+fz=H2WlRc^d$V&Qc(-Ads& zdp^H@Q;nY*@Nz8`Z~O>zX1U&7Gak6cJ3@XZ_OcfL&|%=+x~We*Q^Vx8`+EHY)k%zC z*F1+kOC<B;N6<7Z6PMloIQDVJo3zsT7qrF%ieI z%%+t>sR|xT_^ka6!H$A&RB))MA`%IVVRe$|tnH4O&HSt-0?cD85Hp!lI*xaiwLEkYk`Lof=YcOx=~XLaPCtR9i_K-LVqMfa`#2M_wbPKp3vf(oJT({ zV4)CXptzI|Ik@=zBX(-6;hFk}S*SR4_@zDEfUWa8(KNa+)3V>RNtR`na1?;?fuVL4 z*VuuG7zA5-0FUcR9BY_jS&`EF=$@gt+51;dqJuL<*(uKpAN9#%D%YPQi@;u?oBCxr zWfS=%wp?HMTK*#Qk+UcvP4YMYA&K675-Smsaani4()bcsJP`{yQPgdpUgfZ6YBwxm z6p^KL1ew1ohM-z7c9t+2{xKj7%ijoX+J{HUy0|~B2&t`z{UA^l7D7R!Q;DP{j^<{5 z6seMHf`3N(J`dK>8SEbNsa-`!KG4aP<5?!R!tqh)D#bWX6bZMcfW?w$o1=7?3wr+2 zN!$iM1&4!q)>*nQaV%(BNw7!C{n!TW;eP+O?P8v=0QRl!d7H%ms^ zE1KF5VQQHtQuv+{wMs#_OE`q^`%bgqnH7^z^4dE>s#%;B>x{m>`RSg>prKDeJI8!+ z9aqD>!0DWH-MWN3q#Xb=9Rm%V=n)@M|v~tVuDTTHK+cD_8khdqv^$=m$ILOMzVrKQSH-{_F;*a$Det zuPSOhg}vU0>2|2xs?oiIH4#I7UDIw`zIg$z{q#V-Ek9Uw(=Wi?ma-h7{v7MJYsf~J zn|Za#TuVDDB2y~sqTy9R#Y{!kvp5`Mx4Z3n4FF$yWAf6X>FKuhs ze|`85T$(Y*1k6Q}%JE0aB^h%q%-7=ykX65=)dYHzU>EfFDZi$sRbfDiv^9;vAyswt z1l+yX*3{j06VXKxySR0`%&lNJ%K+?BY_~{`Z0~!i^@4bX7ph7gm;MddPDA!(dHU2ZP zhKCE{CJDimE!l(?w$=);ImRvBs^EGK`t{dA^`aF3uQy3nY3$+7os|#ZcXyQSo5 zqPoOwh{y~r7H3#nnZmNZGgLEcy6!y=AMEcz3e_%40B->%Qdz^-Q{T7xI(OK#W#_)B zNN9yjXjthr}s}~Lxy>z<(}cA>tOZGx86F!pko}5Hux}ouVTr+3n%z7h(dX^pKh4#&(!7A?S7{=ht*`vW(nAP>Dmk6!y zNAry!!=At-SajbOdr&t-8_18B53}lvA#@qEi*Y~@c#Z(lWqA6*Ai+BBfq~E@c4@31 zK(Q}jESRahz5U2%(M=h>d%@_sJ9b=lo0CBy1syld1v$M;2bM^%pMhg1zpPFlVY?I>joJjW?ZZ#iRRb=6HHtOOSP6syux_ahAPB{s_fcVs)@K!9m%6S zZaz_G)>~hgQv*GrGrM05181x(MPD+Ok_4NrQj7q%8sv!YD;vlZ6DE;74rXE=t*5f>QmQns=(n|ccxKpOMEtl5dV9NE zZ*L53{Jd2um)My1FBFN}9hs?rm|$84(%3J<_s_Mx06Ql_1cWn5gqdhHQL5DF15ON0rj9$_)Wb0$mk2|zU{{CEev+&U2vNo-@KoINvE9G$R4&hS{ zXgC*7tz=>>*1rrTJ{yW?5b`1Wq<JAiolEQ z*dseuI)6&jibjt-+Hw=6i%YS9ohDCjGY5`;2*+7K>eT*9LYpn`uB3xoR49apay^`&&?T2y?*Rku zC_e^@|28quzgLuHwj8tPqVVahW->ZUg4@0CqtO_O{+&e?-{cL^4*N|w!tW$H3?2`u zSySt5fQ+epC?U!V5d76-#~IT$Yl*3Z1=FBL1nIj0KIc}Esqz3++&nB)4T~&oX)AwX z_0p&4t1SrMxcfCfCd@a8q5WUA%s*B^O@X+0r$$B*l&Skwq!kg4)-O=*%vn!#*qJwn zwWmN8bLLx&rJZjuMinUdR|r=L%a$E+6Y0-AuW-6sTm-8!AW8C>qIR-uweT=~HGBKe z!ag@_RuRoDPUj^1^H|q=IeM2zq~n4XK9zc40nAFr=LTHys_1>4{>A6y9bP{7dRi(JUUapR7X#x!fEilg` zx^1Wt8;&Umpqv!QTZm@)$^~Xcj)|-)OmTHhU2igJ*q}{nq6(#x4JTe$XmO_U{s&nj z%zbqv0>Mw*9iw42ToA>8+yd(fNV{mi%9KyU2DcaFh9?=VZmv>6q>YFdm`8BvdbwC+_Cs_(P#n;1dKWqZ8?Yn zxbnti*3n4Fj=Su#@9p1M5t2Ek@U!%ooW@FICgqdP579sGa5O62+aGZgi#VhQ71DHk zqJ@JlG&ZstV5>u2nq51La2w5!HqMUog@;GK&@cS6` z$iq^LC6H}Yq_(4Q&_ylQ9B9AO zA~t%=H5C?~gUa+SYrBSV946Ig=rL}cky*_Fp2E3R)We3V8fDN7k$BD|Y58k^mQr%G zzt8@etCwQuFg58x;ZWlwmWUZ*-ehk^&bLFo5|e;YZ~WW9maMHJxTPQ0VsJ0`wSvqP za6ugqVpj#e+dP0#&wOzI6sAfQBc&h%Vnuz@gY>c2jIvd++iB=cW;O2GHu-Mjx79ZW zI2yYwW+`0a!%~&380aNWS+9ie;^<$!9!O?aV$P%QRs@0nV~Qj*dNVru-T^;m`1{4y zydOf5V%SX-IN$nUaMY={7qmY?U~`nRctZiN#VjXUm4V=N{k)Bf!cQlQ?if7W=xtNd zxYZ@@Xh8PYNk9#BP}9r%Ul!ateYhhNK!DE^d%X8Sp69ccbvg$PT};L3hF^`bu*>ND z!Xh>#ZaUeC>BD<1%K@d}CpAckfWiJbpo}^b={Re7NsxD!nO4!)})tmu-AWwr9;L#}q z8$A4ixBJ^hYc0!M0KT%)YSJ}Vro@nZnuB-U+UcCO&k|0>gF#38r3sZZW{54)FLbPG zG;a#XT1Q&{Vw(ACPp!Bz9Bd}=YY(OKYCuP}^!2bQEl{ez0Gz-u{u;{%m1f+GhS+Nd zml(86#k?4;mg_%3HczGahx&MqQt0NZ`JkF3FG>^V zXw!d3pDR`;+dC~J2GL9tZ{cB#tHhmcq7>7$=9fP~U97LGv$fbZKu5dEWlD0bT@#oK z*EnTbJ51Wc#I*Vb&{#$2V{9{d-wJO17+;>w$oqAgt#J0X4RhIptcb?F ze^T56v=PN4=E^TUkw?ex7Npe;i-R|8HWWjSkZsh7LpBTly9v4wyIUk(rR(ydJ1}J9RnhG02W)4C41#OR&h{9a2s{zU89&`ue>BC1fOm& zrn2Rf)2-R=(}(ldwU=_OW+S6Ru^XlOdZl@#dM8CdLQX+`@3fGh;DC@*eNI7?+Yt7y z5HFuy;Js#`KyR<3IGa^>M<$eY@Le%9g}_L_xRVmoZtA)RoGlAJ zaliv$`9EL#DMupQAxNQp@? zKjygne!iYUN*=1oD08Hr132`kD8c>26GW>L%zb5yv%PJ|DZi69IaEGqHw*PU%Tw31YpI>U*ZAq z@$e0F_t3j1E9`J5|Ds(vId`~^OlOXmpta?a{e_FPupuAK!SNvI_x-ik7Z`{#6gYX* zteNc{anMTd`z-6Wz}ho6F% z;Yj=n_6AR*__x4LuMKB&B@^!++jb(q|9NePN=^1Wb0e}9%Sorh(9}Snpa4n~R$;1Pa2WOzZ zRkeNLcZ@8|0|RufRiz8bKmXvtiija?iB5?{J&c^KIm!MKSM6+JxhK9J30KRM7~q&Q z@gk3J1_KHg%HW^T0)GU$Xy3m&s!+>EiLdX7(s#zrdZr!~o_~ZUC1;jSbNli>xf8A# zYT+~`GOj6|z1lKAT5@hKC|LoK+1tu!cn5T&H#oOEObsqO~bCZ(L- z_{aNY!@T;~}ZGBAtNG7#*ODkjx|Cjt$Q|$?+`mV#KJfL?Zsv*-8ML8yrxGO%D7; zEPPkZf9Q@{jyfspx;(;6EXGbLRR$zBY)qKRPjiTW=1g_EMMk83X?Vl^Z(a~@+h#GhA)_J zbOxu9jr$^v$npW83nDB*+K>m_WV0fS@a459zr))T%1#K}huhcSQxF=FxX7A8Rjzggz1!SNu(q<1D}-9q_}OrS3@) z6=V~~XI^@GKK7PYnsZ!9DKW$}o3rr?KZ$n3Xizb{mU5gL9V7+>tSNN%1OsSzP+?Q2 z$)KR6ZHIbfS`1BYS2Z3SipJYHu8xY{ygPxv5iCp^1J63S_w6P(M0uGZxMd^yaWn>7 zqC=-kORJmmr#I*HpYv_F^|44TF;^kkDeESDFKYWvCys5MZ?xkT-Z)=gfCDY1yOX~1 zokWJAPk-_69U1|B$$0f^jx%UA&rL>xdE&0PVizb!SyVi6izFV`qD`Y+aiPm@b=vJV z?^j$}?bVREuKy^ZPI_upy6(hexjJ3ZKj^s1Dz`@v({e_l-D~_hBFPm+ZXD|`MR+=wGnSu z@DZVX(L8)X&wpgQg8O}2(5EcBf-tTkh;{ z%KT0JXTqY?Nn8QtmS*8VXxMZJ74>}q3JMzCq$g;8wr=pCb-xdgj`$+-qwsSW7Tu=! zVhq5?b-q(qz(A-Y(e3LNG}5vJq8&3D`Pj|~mv%6_`lw;+kGK=jYj!&_VKI|6-#j7) z_Sp%0HlAx5DEBN0ItCH?@_7Uwsc~K6A^ZLY2rwt~lH(MKlc|H_C6w19LR#)N3p3M8 zv%&S;I1p&}MCZ66l&=}UBX|1?{eQ1_Tdk)k0k1xcD zhq^g1?cc%HH-8~89dIgRE7~wQNOq6M!L02$K@;BYaa(_4sXPxW$at1AP8I`RqKU zMUIiqAbs6a0QN7n{sOB0_U3@N%x)>av1b%08ygoOB-VlMql27S%YyNg=AE0=Y=eY< z6=|H()Tt-^(`{mji8UX4Ksc`eh!a?rBOD-I)oyr2Mprls(QBBE_RNlEB6`ox?%PPI z;Z2sK`7t=LZg!_|Sd#2KvB|$j)k+@kr?qPs%vL3^GRyunUFTEb3v6?HR#Xo^ncIt^ zWqSEJFRGZP2%-INlBCxQFE5s#I9sK?Bp3{)GG#(5 z9#aScHT+q|t$>z^zTuD*r-r3}ch_wX)S?>p_xQ=|@1}*Dy!-QJ+6{gx@9%@ z2qsQm`g{0a-}MwUFcxjJdj0ii?7~S6cnVQ({U7cl>iap$8kr-7AxM1& zC*J_}yhf!O(DO!wpT32+&^nc}K1{ijBNOWv$A|kXcshB9PD1Lc$_OjtJ@>_|q`$?l zd*0vni8zdE$14lNRm*1AW)HntYJJoi8@1_bp6E^uS+?yCc6?|(r1@-tVwc6PIFk%6Tnp#q_QPO|d?PL-YB-r6qdAC(-+S1S$ za~70qP!&6U|CoD7A-QsD3e;jwT!pcESM5;LwJCDLXb2lBppaGw`o!7QwUUNCT`LL^ z*b4Au88W0-!LC=I=PJl4V6fIHT+m4}NTPHaNa94}SS(Z4BY9-%D+w9SV>Q2ZQ{e+_ zC=f1f6mlAk97qimIdPS@&o9>o8k2qTImY9z?_~Nj0-;~9* z9f-r+dKws(6}pcr3jbk^E@#8;NF5|}D?%e(a+KJV91swzgDT*agth0dxy!Lr+_}td zsLjdWTDPVL3Vw|=Ubil&V4Ljl9S8va;~qiOE#zJd(927&3m;TW@zjOXP&^mM+~tr+ zi2fXD9HYY-;9OS!7Ncz%vuYZO%JADSCmq!8XR8(6Cjf}bwNxoHYgC}=`;0N$!{^$Gtc~=LL_n&h79$(DxFZ349m+SGfpTlGn?tmu9 zBLS=e1yhKoE3Yy@{+yDL`AIobziWl5T569VRy~Ex>767*Kh_y1f%0(={J)4rf8T~Yu-!v@|57;GtHkt85=fW;WHUUCPP z_{o!vQ_(nL3&g`ipqsnzdxiv#+L73zUFFH7FCM85ooYx715eUM3=A%At`vs+!42Sh z_a997xSW554F@KR>UK#PO;_i;5)}SfVB~BYzX4l!9Ka~CWl~FeEbdQX z>FC75F%5-%o#zQ5hoM`1qfr%AY zpj#5DT@A|k?SLD@L;imGh`Zxhr8v+e+Y}vvli>$R$4^f5K_n8R*t=EDlWdja9*^d< zg|N#yCDoykK|w$G=g@xj@0LZ;yb{ICv3y!`9nMt}W9ZK<=owO%<-Fd1`_eOiPQL7W zN?3NFt|akWmhm?`U2@)1@x0&{IG;B~xwr%^=GjdNq5$0cMaNgu?kQiQ+Q2_SUPN|8 znw3*sn>rcQw=b4mj0|+cJ!GK$+(B=eaX%~|dPd*0y~M)0peMi5a1lr7${kLk(VUPi zPXzvHZ?bKMm-%|l>cSF%1i{R3poOS#08>XplgEd4;!_FL>J#bMykdou78WFnez9C^ z{}%#TgMgnnSmWaPt6g#0l~zv=$#W7(HW*ZHLRI1IumqapqtSr#;P}-_=iI* zNnBZ}kMEk_^?naOeCdoqy0(TFtnxck`&PTe^~$9h@Wc$7fHdg2SD9KhAv5eY8Qg?{I9mvr_1|8 z)3$v${m5Sq_{#gmgN}vL!E%Vy&N9MCX$*bZm2P^S!gmx&qSB8)U|L$^l%hqyWzV^j z083*(UYH$FkUTlXs!nm!dsQwrbnI!hued}I;iP^iK>JGp=gS1f7Wdqi2X4DN^e17;|B zGPOpnTar{PDrv$!bU1xqfO=%8FXE*)!O4s?nGhf)1HKnWQ#k65Lyalt&2S+I$lPN^ z!MO$yvlfZg#DX19xM2S>MS-Humrim&fg*+9l>ZSfjk}t0)=Ml=z{L+UR&wO?6QZ{A5=0WHTm%20aChjfP=+!rHErwK@7%b6LQS0f zUYEfCn?#v_p_pIK6ox&iSo(z%0HGW5bb?|X^Teu9xa%3#IFzo^6MPdLiLSeiYy&fw z875hNSB*dS>OGy21EqyFfpTDESGS2#Gfk^7d5Q%$_O>mb+-|)NQ^RHp;6$NR^F5P% ze>ONPhl<(Q2$fyZ->7LRjMMlW6SYwg660Sj2cn|STXlfDNvdXuGbSWwmQuo65&)2v?) z%p)@S7IUNwyJyIr_byL-d_0}}Kh7-mLPYaQKxCrRvy4~r1K8V>n(veQei{Wc!hezd z2h;aX&1f_FB-h64$}g!(im$;89Pjze`; z!;@b%`(SjfnyrubFE`H>opRoWZbLm(pX{hdTHO}K(X7iZ&e8Ll`q6FnMcbf0IGYyC zObL$Ae{WDPDD4I!0@`^or{)@)19=6wrQe}2nqZ`mbWue5nZO#K_M zBqA!q9qDR|9N6Rr6g_GNZ|(HC7u}2O+AaVb!S}B1q$+1U_w*S5*_z<%ooIosmsONb zR#mu$)&xyf!LY+jlePD8?>Q&}w>|p3{1ntIBuW)R7b`1PsT{Vn4IGVx#O-`LGA65@ zE@7x&Gjf)ntFCpN6+kaVm;;&JETXmaOqt>N zexAA35RGquUr&Y531YWS*{WP@%U}O=iJHR4xoKf%m_>_tdN){gPOo3Tw|#iz9)kZF zs&qlEqd5x9EUJUE7R~bC$hI`6-qqV`G7Jr1bo$r~;fOJ>_^y@tXTS+Z2brDgD@}1M zPd^Nk`Sblyd^yjQvHK8GUb|W4&_TBt0-axMg}b6PVS|{-?eRT~)l7nkHA&O%V(@8%e<@kWB2#qBGni$i#Bmw2)WsPJpQd6zKMUU0oc$0N|mj*v)X%lC8^F8F)-K%~L+$e?YN+Q^zIXu!L9u zNplQ7n-w@Fizg9Wem4yis}j!%>!Ui#A^o)K(g#jcWo*Y?GmeW+E_P+stS;Yw+3NH; zI>p@24*Lcc)C;BcZ@>M}RvBqF-*eO>9frq8&sqiw?b)BDM9=XWIo?lt0+5D4GYIBw zWb)&(3&Ys@q!5W^xiD-+Q3mNo8DmVlD$RA%>ig5sZk%-;VkX-voO5fnUKT6g?#n&{ zz&;-$6j&%S%xqrI&p=9W1q`mE6z)$7+D^7?ShAF2=0gaY!>W5nWuz)n#7xF<2BAT_ z%D2EyTNqEWv|Jqs>uHu#0H$iP{k^m89EQ6Sly666k@hNaSk<>W%bsUxipKwot#b;_ zG}^j#Y$qMtwr$&H$96jUqK<9bwr$(CZRhl^Q>Xq@_3yiN_uj1a)|hiXV-DvG?ER(o z?*pH1_!0Yvvy2%K;w4eRM;K9Y@VrF?aAH@{`f(uZT|14Ki1G3JAu}~$mAvJ8F{j{B zk7f(eraI#AaT_@3%yRs%+HO@Fu=HsK5-TpUU^cj(g0_DrBQyank`44*LQ~aSw4ch~ly=yqZ_jbSR0eb<>v!w_ty7 z?c8?}h^9d?EHh~?OiG=CF-^Pr1-uK_&~m;&B!9hn!%*C?01NVRL|pPE8kD!Z(N=RY zX@e;%Ysl7sG`mCB0#b>DS0(|Hj5lLTkjkWf4dr)lP`FWeU2?sw!I9{0I#xZ#S36-8 z`>EVOnH&gE`H|ar9vedsZVB-j`&Aowe^Qir9L%3o*f+epjJs4O*zpWPz3Uv1orD!ecBI$@lH)9K}585AWPE10$EY;~3(J|XV23;5?C*AAT7p^(6 z>6r|=wJSv^Y)mp3Uym2lJ#1;nIM?C^`E_ZXIE7sL063c9wgf+zYp))K7v{n%CsUP0 zG7%lyopA)ce1O(&4ZAtG9xv~F1tqFGSG+e>Yuq``P><;vyQ$bDS9{3AwKC7YGDkMS zzB$J}laso3{L>qL(=lxgp}mZNYC2jo7FnaStp9Q0om>yvc-(|l2+~P3SvG^W(+3Wz zB*w>43`m*itA)2wpR1?*{6V}8S!%l?7|4TSiWCOZc7#=kK~v_D!?h=kZZziXbW9Tl z;Y&9xiGm@+*FaH25L+7kz)C_?IW4Oa;YXn=*k|VCyWiR_6@~KNW0YHu0?|1bE^{xs zE38C9j@J33ZJ5Ze4o6ZO40c)A8+WdFb3ACkJOt;($n6_K~bn(T{dumb%e zUqV4{iqT?llk~Aeuqo*cRYq&)FSbcuKv^5Li1{Hf5Q5V>S*mI;w(BxpD^sF}(mzrq z37{wcV4LkE?80%rZ2D#TG-RTvrM%Zf7`Y(SA+p@dVT6aGS)w;EJ2kCw(U$Goc1nwDZT0hsq6 z*%!90OtQ>iD-hbDn&Qn9OKV!WKR^qR1$}-EqvCEQ^lR;Xik5+RxX&5aFD03pnzQd#**J9Ceea3(MiwiAicX$N6U&48#kU+3yGR@q6YOcM zx5*&PkWIF*ck6k|jh)uWe3*lG0D5G(J+E+Bpazz`zPYJi_UhHV?NLlC1bSF?q*RU5 zNvyRz64ib3vsn?M=|QQgpA5zDKBK!BA1wq-Dnw$a%!fh$W|w2z4L%RFF6eT2elwyt z7P-E>=D7rGm3tx&hCf8q9i(73$)(vViysZRufR73@Ah=rWKqlW<#>OK+z~bw{ekNF0K~slvD?}7^@W6 znw74(TiEPe;luLUC-=a@4P&JcQCYbpCHj`1FE{`)^jb;fCt<3 zrGLv4UT+ANYiD-sY!bIOru3i#?A7{z_PR^-%ECl< z$?)Uc04YyRi6VP60Zdbir7k%b0}>+6*H?X~MZ?%p3deV`WBQ3j$q-ikk&|+U%A%Kq ze7QheApN5LeZG{{#*yFk6m^~LqhW=+5jHIA?MO!L#?_$*2cG7pZNRO#Afl8c_8fT!P_74?!+mg=bL#b|Gj!}Q>AdI?VOo#hQ5}Ik4_$_}Li$DYcKuxa1w`$zr@Uui7kh2%+?4 zNCmEJcL;S;KNqI*(l!?y_9M$@ohIoboYc5FrIB5PijzF9+3jU2pxQujesMPkNJ{K^ zcj>f(rdkO%SL}F5^HO1Z-!GEr8iRbx%1KfqKW`$Lq{pJkkG!qqhOM+B@-e}87VEkq zq|K;v2^?oJm^?Y;dOsSEm_ts?n#forrww|G9IZ`8ndWBagw>1_H?lW^b#{1cB79z0uwc%|;T_~|ZYnh9+p{mDW~Zy| z_1&vT+#j6g>U8Q!(qkr4gTxv)VLWnMH)=b&Bw`{A`C#a%gF`^~^Jr=)1lHf+goG(R zlVwN_*Deu%>Y8D@`=Eg4^8}IPUrV=Og!9q25TJPrk%L~4!|)xarR6l0iFh{NAXC}V z-jid`(fGQu1Isa=DoOeNt11=7>38Zbr;TUYKAZ){W{feGnn^9gw_gvKDF|Fq?L0N>7g~l33|2j1JCX%X6^WR zEWl|C@|CT)+gPS8&5r+m>Yu3g))^3d8;JlBoA$%#jJ#hQG=59 zLTQr9{q$5jW5>xhP6V+`y?{s4$LPnSr1XFiYEh*&4b-ZLI7<(fC4K<9NH{jmxSb)X z=5wg?#L4{Ig~_ZYx!qjKzLUHMa}cELgw!0HQjoT&Gz%xgww0v| z8uaPVd*sdC4UT7ptbkKcsK9LOD*&O07@AXxtAYmK>mSt^s8GRJaLb5AxBF^m;g1vhX+qgkE70w4~3@wCg8+sSZ0vU zxCARa?>Ezshi%Dxv;4?}*O^``u1!(?+$l)2HR+jV4Lv7|M;oqYy1ZCapb3emBbpa}GcbD`MeSZ#1 z8C1mUX_Xw-PMg#qIyYjR!DL`pt6asO_eW^7eY>ivy8)A8K*^RZCDOML zaZ0bE+V=~w?xJ3!$OOp^8)x^$?c-t=*=2kpZBv?o#=Z<|?akny4@3tc*@hq;D}!BM zi~=sLB0ibp|MMm=M8(#~T0|VY$irMLe>KRj?zTIm9M?*O%AO|CQ z$*tP-{A{>&(1A^7m81^y%FPZ=UE1cdNGl3{{gUasImVPX*?@xk>X5vxqs0E;+=t&L zh^>DoU#+x5%D--*(84E(t#zgfW6#!kaHJOr44dhgw2l@bXcqN$S-~=kfv5XP?rP0s!2uK#h0NJ=n#yc0@kL@C@mlyY5Ri@3m#xCl}OHmx;*{hfd*xpVXNp zl1_>0Cvu%E_Ui35NYtz&l8%csrz<)hul&@c)2h_xbNJboIL=wiJlg6pPa!c(y*l>k zgo-WCyb*0$u?^&p9pneogn5gRH*2%Nq+qVV5sSdy!hlvGi$Wn=qAe!Gbns4AO6<5)NXlEq>$XtCDi8h5HG+s0$@pn85;Pf*-H4D{VejmnLg|A-o%oL zyT?e7lm3Ai2O<2AtIL2C?%!GO7{Mj`6y<31rH|pcqLTfprgkd-`!BwGF$9>@wG!6w zq=I^I-@z*JN0?8`>w2ACfKKlE`#xB{Iv7~_;GUJHvtM|^0AH$5;t0r3n19j4uujJQ z5a8qK)3^OQ@q(?-TRx{IeBriyT6{&7dac9rb?$Lk)Q=shOnO2xhry^EIR%KMao^C{ zO>tWpvX+{lWPh6sdO^2a*+cf`xjS*qT4REv#QRi_f5S5EwBm*I6wqA{N-r6=5~6Z3KH!M!rp(|4r5WXBij4ppihsKnr0N1j0$9jA z6}1bIs%C=>LnkAZSVWLJSG|`HQL|!^3R#kYrEKMPK@OY)jtf^TyEI=`$j%y85*qC2 zlBwDkrl@m$3^0c5GRJiMFWDFB)F_AgZPC2#VkCVA(Yv|C|72rmJY_3Xv9`o-1+RrUY-A>zDFnZJG20%P4ftAlsGJF z8oumf8c?5@?AN-H%kn;gI`?#85GTjXNla6`0yp-X-R17kkm3{&2mt z&T(*@;s__bN4li*9hR^NH8&TVu2Z@oE42spTLZ`dwBnl7$BuL(24cVAjFi2S%F|G>%rbE_)-OWy>Qs{EFE*9T?R9yphgaY8fJcf-JsB3m; zFsftR831_W6(D-QLYUzuMyg-|xW`w_IWF*`@8RjKHAFp#ZIwv@{XJH(1gGjWgssQi z+tx?m0!S3r7|t+cq8v{q%hjhRFIdHfRJJxXS)oV-P3*X)Uv=6)ni~LF{LfX(eXsXk zwcU0Wq{3BL4G-Ra#VxN5uY2H4mE?_z@+24qIq!9olQ**D^yOThro+c3*Pt&R2o%6&K*0-f=xr**&f#IN z0at@3#h(8$lE$_CO)+~5>Mgy@7#_6{s-^dAen1P>L|Xpk@0jrfmOG#EBUcAvj?%;* z^$#P`lYr|x;|d@}qGSCo+w*Puw_lkX0H6Wu7T^D=r4n-7e!>2~838*xbApmP4ZxmQ z0^Rqe=5!J@Iazv(p#$5pDMd6x&oTk8hbtj;w>c`337DMa;pU~{+%9(=ob@_Dmi58d zW;2uD^?K(FQG4@O~(6L@uZn%azN$XKa!Z1|)q@~OmwLs3fPfr@m<=}%94gj7Yx=$}M z9IDdfCZMJv&R;i3y%g$6DZt-?6+%fSn^#0U-b!MNz7@$LL5Uc@yW%jBF=wSpAc&sM zNn&$L6In>8z@n!ofokT*pMFr8QK3KZJ^T+AfiwkqN&HZ-;xy8lwq#XOzvL{P-AIAy zU)8RKlFCaIR_`i57e0bawVPpZ-oPS=34YrU+2md&c4=#9|epwDmGjC zp{I@0#Z9xeA77jL5kC62f2!rE_OiHMNlfK?QB=mQw_KM8jqc1cDdF~V;LS>GP&I=xAXG&- z`a3JS|89E(z@bwfC&6pMmRz~Dwv0X={X3Q4R;0$aKJU%<)^s%;X1t}AlSH757f$kN zlN=l8kh|nKihHe?AbJhgCf>xxK3(tBPP_1TP4TJhh587N2{3+qs-~Z~Xl|{B#cHpu zru?8#uR@0Mcim4(-z*x_!pJRATkII~3&n3)W!7kc>c9w7ZOX+$X&iWjZ6V{ERVT3? zW>o9YLP2FSBzW2SElOj)0S~?l@S#!|z3&N=f19B#M+nEfgvfYuB69}f zFCElR98s?NjHwI(ipPQf$z;wH7j(%WezdE&TlNj^04(#lGcfGipYEyjAm^Y(|MeW{G@x;$6JykC zyd;mXC@8n}9wJNbFW>IvToA$LxDd|I_29^2i^FUiO_WX4Nz#O|TyK5}iB&m?FO%gokf@i9w~ zx0Kya`9$R5>GXXhf;C5lxVZv#12E_?A@J2CVO@0vtYLrc<~2rYQe^iXwt9#&a%~`R z{c_osEw+`w$I|B6?jpg3a2HUnRt}%NV!7#e2Y}du%TMeg0f#`98HW@OB1>>g09_RcJJ#;otnvq*!#68bd_#i1Ff>S@Y)U-8Zq9ZMdQjb_18;dL zCFZz-W(j>jY)P!=0B@Zrc8R}GDEbJr&*XXqUXyHf6nuCQ3?(Sx6+S-&I3?8kl9BAdXwXd^BT$y%JmCexSSN}tmC2ZsrCi4)82aS>0k+VrVRf2>FTV5b+KG& zCXJC26(@*lPu<{h>)8fxdlVWy0ytE_eIqFoyNg}M{4N09?H8nW^)&Rxa+JsH3ku)(5{>to{QB*h=izih%A$1Z;4mlkUR0JwC`6J%cMYCj1Lhc>kYrjMEUPkO2>+Y`Fwq z2$U25oW#j7sRdswBd7RcaN+4t+@hTXS*88gEW9BcL=P}F|>vBOXg2|JYY=z$7PLt za}4RQ*f}<1C-A4~Z+S#sW#82E^)(RmWP%B11DB+suIkX0GoimJqmBrOOnMa!G_9!1 z#Xk^8OYfbqBI3n+&~JV>g%Y=)^U9omQL;yL51&mjC2*<9ZvP?VQF%ww`H>_T1GVFl zC{+YJj*IrJ1SsMh4WM;jIKzep|9c3xorECj$Z~6ASGoR4(E-WQeD~nUHkPQ-fUFEM zJ8MfHgafyY1V0N$6$@^45(HiicKQ~PBrLY8402ew70z~~ZC&Aq-uk`w%R-JtGqE7! zeaqlh7}8Wrpu3tJjBqoZ^ERgB-0}I+(p4aBtLre0T|2-;0)U{Tr_R_p0Tb+Q!Pec( zQV;;@*@PX@*Za?OF}@%`d)G8JV}s@LvINaWQT0AYgSp`f?tIt~=;~0M{Nhl!S}E^# z!^a5qnx#Wgoz4HU4Z09Mkd_7!T34*WYL$zF+Z%C@&o#0Q8akVh!eYVj`I1x=-Xw6e zEz(d9_gitx1R$Ox^QN{__naFonL%d3tF(NkKHK^Du`g{CXRM>kC%YJbu8Z2l&1ODg z4+B(|>Q^M!(|Gt@h76lOTkV|S_CB+CjASk0ieIL{y~QlyU2}DV41B^&W)h=XZXd-; zw+kndtM*nCxMoITRG=WZ_5=D&E0OpAX;LD;|JjA}k6ZaqKR?QvnFI!J0yzuar!F%U z8(sjxyc;X}{!%8{yhs0N>WN`RW9O$|En(kU4R|_%(?;!I8I{Yu7qn&*V5zfa_-;=D zj(Pw&02d^=c>_5)93OqI^%l2?A9)yQu@(K9I>AdEg<9Y~zwG`5HH?74L!o^+_=yyk zCut|kW2hs?p`YeZl{Qbh!mg5uIuxXHftYh|6HNdBrJql~oI~sikzVFZ8o%UQ?$Tcy z7-5nNQ~kFye!sG*+g8+7L{nbD(ryD7C&YA*zkArQ_q=v%RX`#L*tX~Z7S*_~jW9eN zP1C{7=t!a#Dw3!dWLPkR3j$s87e#&ve7XAShcVYr$%tJ?G%scbPs!yhoPekXi2iON zJX3$+C|ZFi70+mJVu16UJ{o-<^w{is)jC$ow~8phHT>@hh3bi5B2AL8t2`N#W?|{M z-i3MBi|tcm_0t@;WSt=XzC2DXlDw~As zBpE-gdCS64iZMPiRa9UlmWS6ko*S<43MPCWqgE1$_MAULR3D-wgY>Lf_R9uCotW#h ziRleMEh{O)7^^|zU-7-0F6cE)8;68!@nhQ_W~nfh7sFfjh1Y-Yyp&YcB?z*_R@2p+ zcm80>7FA|v)X>FdfDRB<#7ONqkbzdkfa5{PpjPBN?*kd>3BAmQPVnVA^7CnM3^`)h?&i{>4;AoU)j04vG0ykkUsvX_ImK{(rh;KtoXA+<|X<}F? zCOx*>R9LF=t7g|AB`Y+%^jO%I$!q1!s7q^8fkPo~ef%K5-FE-6+XDovfrmz?1{YWkb$(J9H3^(T%QaBEcO8hInve?U&QuiZ#&gv|;ta!rs zsg^EhcsP30gP4^-FK~fXlfL=Mwauy;9M=Ng{UPTAyZ?_8#Hc6a0Ra-i4w?Z$xb2d^ z2Db+TFx4+YMz04ng!JFXVR99wDytutOmt?|tQ>d?a|6v(>uMu?nGE~^0edHaqe?8L zhLLgA<<-?}RF25nDx7V#EF`)u?H2A)v{V9V&--!En`X6YHKp~tz3 zxvQ>;bj1&b*L~{Mb|q7Z_9Yu68CV7AFSXa@O>1XP-8zZt#RDH@u-Thy7X!@7hE+a- z0{8@+Ct)&pzejbqF*59jj!WhNsNrY#Mql0O$wN2Yo+tcfa#D%svb`^X4LpOC#;md% zjgNdK$oy=1+2OJX;@_Bb?MDucp-TSx>?q^9b3PKx*ZE9C=XgiP$k5+9JiGP+KQ#Gl zo4LO$RZif3p$9+}OfR-XN-9IOw6}CCZ3{(#Y4jfmhnO=en+&ejKsASKv0JKGsA)|@J-BQX`=0lwl$yjyej zbJ1;KQjR@37Itx29AyTy;SIwn=p7=W~ zI#38}JuN6-&x;l4x6RTgTSOX{MhE}ExF2~Azl6b17Bqzk9ycF*+HOdJ+A`_Toot=i z4cJ8=EQPW2ZQ|(yzGwZ`vzb`29?NM36c87XOM1zW7ULC7LBJBys8&3nD0QNCza0vv z0+~8WzPycGQ8`WmC+UrioKmLy`nQ*UES33{I3Sm_4BPa&*b?dGig`>#-{Z@nfWL3b z4CQciKsWWNIid>l`8DRC8YPN-M{@Nd+1N`_w>fao{xN^sM! z9W6U4F?zXG$z;Rp-k!0=Sy=yq^RfuYtUI8YspUP>SFB6DGbO76bC>InmiPZwHM*K1 zt2b2|lHyO`mF-!ci;obe9)Vo@^J-5{-PBNt0a7B`$APxg`wOxkpRQ}a!J z_y?)~@#O;Bo6UfL+7VTRt)Cl7h4NgDcb_MbaK?auAu1h9H3}6RNWaSr&3vn{ik8CX zh@d{7Sj{Wp*0R=?fOQv=u-0^gjl$x*ieQLAMqQQ!7_BM74i{5w-lHix1rdRcJ42Z^ z;;~-thF%{MlH)4r9p-8#7b)ts1|SN1$v)XhO}g?P@$onYGi;R2T1~@NZ8w_uCz+I< zC8qVu)6u^Qb=qXk_P1=UOzPDJy3a(36!{Ld4u6PEh4Vz^szbs<-LE_R;bpBk5Ms*R-IsDuC;%`&4N(6mU5-l&^owDB?>7{bq z^Fc27cqz&<)2s(zZWvg%XLHge^C4(zdbY(zpevSAvAEH<+Fzyfe@@}$nFFZ|qENyE zbPwQ>6{~DzTX4FVle34-K|y4>j#%h_;rk6Qczp8tX)M$_pjM6Ffu-Cx)L4ptP;*jv z#_Yo0(1mmSv7d`GNND3YXq^+m2`BT;LOsIgz18EZ@HX!?)fWDqDPv4ROH3%r?UzS8 zvR%>jDRewpzl^yxvcY|Gl7Vr}ii*tE8w%O-51Qo$CveLzWw##*K|S5R-)p^Qc-RX> zO_S%67lGvD0@e-U=Y(F{@<028>;;vv`yUPXpVNO3X4e10crY_D{nLch37+mG01RBv zqn($8&TfmUrj<(w%w2FC;^^qGzRAK3X^nKEL^k301tPZ<*R>aZr2*>D>8#9QB@=bBV$iU0t zUe4`4oPf8!Lva_)_DGRN?5SQXCw=tu_vD{hZ4X5WrTHoL?)HvWnx&KqfDAZ`Z{Ai6 z))V}}^b`i%aKYY_i{77j{1P-hN`*p9%OuL5YnONx{nn-2)$-4$+n&sGbYR^6F3=^s zeANljr!zfri&_#4=O%HiE-#cZidrp&T>?|AQi*}Fj=jSgEvT)?9e9ErUA?H{1*6v# zX3oD+X@r#6k`}{KXz5tL0UBvoy1(m7LOK=ePpc|FsWJq0St5SYNMmO*fzCgq7efTL ze+R(~JQ|lxj>7DeimRW??&(gllR!Ccji>da?$3%Tm8Xk@T@?y9(>;16vSbL^97P~3 z{mOF9Aj?ybl{Q#op#!OCWBPL7K~0&oV0c*Qo*{ zWS)FGe%D73_{|I3Dgn_KroDT&Hr!wVFCRfUo+~l4*bN=WHQFy3k%bZG-bu&mOdLx& zVdmmAo3MN&hp>B6Xsf=sB1@0zU7A8v&z6Nkm~D{_a%YoF0r=Y)LF=y7q%5N4Z7^7D zx%zbuSCrAx*}*&WZ;sufq<1IGOU-Ej>hClg#!iG#iP;V*ymBs=T4zpr;Jf071NJjq zoECwJIa#ep-W}DYYt|W0I;jq)Z>|_9!iAYwkmj^Do;%F=i`4R%Qw@&#LeL{?|69MF z>}i}kY5r9J50FZ%NQKK}9ZrgbqO$08BIsK8VSX^}xASKm*CxLcWWLVUlEob)zqaZ; z(R2CXxYx%UV;vQG82IU0=))$1Vj?YS*{Y@;+<={1?d#ITGhJmXFsZ5V6GoU;Q5LeC zCRTtkN%bk_=yMzR`-3i1z_$yF;PIBp_t&=*ck3o2Fd)`%ZSf2Ys8chP!3QLFmcFP? zPZlUK4S4O^4Cq)V6_|3$B-e!z6e_6d-pJ=qH81ejE_uckUCI=l2dK0&JX_5g;65F>)CxruC?VqBWNc?dAWl!H@`* zAp8is1&)l6pU9XK59OZwl?k;I`0UCt+H11zmd|5VsQhb!qcGtYD>dJ%LMAy@T{3TD zKB`2sr{QRtd>I&{4smG!?Is~`6*^uB`iZvDI$)bo!PuQmP}0RC4~0Kl?YlYO*v55M z$zn9Tq5c;1@8AK#7e9VD5=nYWHD^0G((T7UpOC_3 zjJ{JIM9IRO99XnW+FDk*4S`MU%*~6;S;$HR(-rk_N)Y~mj?pK~Ux}^#MibDnk#51I zJ;3QV%HfF2QuyPlB8VuO>G46#`|(xs6pwL(O_4g9}GijIQOFyCP z?C-?im(OPbmAOeS0r9y>532-zXuX3;Z>0w(*_6-`XUJ-6U+Xxf^X;QskmY;DDD5aFBE}NS4zN8E$>?cSk(?lA|x-YNJxq zk`3uo{2$NPLotDo5Hc2BwVaQlhWw=yUn5mkVLh){fvs?PiZ$iG@51Xhqt(q^as8Qo z+>XRko>SDY`X~9~6AaTKs!w^PPkVRl^Bm^;1s4&Uuu8_pZ>*>rVz8M8huI{;EC7Y5 zyVa{o^{$-A;S&g8O?ni4P)JvaJO0nx?zH1E zl@xTwb-}VIC7i`)y_Xm{&{WfdJCIm1RO4h8r*b%o-4<8GCZ9eYj|p%`hM#HhT=r z)6?3bLzK#r$jFwv<)g~Wo3svJQ=T=R%_oiK>rKeBLdrWKxgk~m+%`NKGq-eFL1sMa z##`d#V)b3r-2QWqsr{^VZn@;V&h+AcWNtS^tn~`eS&cC13eZLewyn4(7$Dt7u7tim zJI*Dm_1_zNT%rKJxUMs3@^b6aU%kZlj!(*Jh0JfI%RvXnOeSOUT)K=Bk_c(B$a<%+ zWf4BZycjEp!Z@ld1AkLlL>!Stw!_}LYA5~A~J z1*&`^qP7_v{cmx>#`wPhQf5ZZ|D=6V0kp@QHpG#-E@%|nf-1v@8yKXHc3W*y>b2?; zMaJt?Siv`F!wNzA)jwbUumA}G;iBjgl0h0k)pA~@ZR_{g`H|nCrt=Eq9X*9iBuLD( zO5-}FUmV`+^*55Lri#*tv?`7rsoh)MuG~Hy#l&PoE9qE-sbLHE2T*V%xFqM814M=( z&h*&F7BE`gesgObCOF<19G_<>%HURge^IEh)&~+Uj~=C`Vv40!!Ws>w2lJOiS{u`j zz>~=1Rmb*pgyRb9e6r(rBkWZmI=#>Eo1J`{cz>z9a~=BtlSDw?b(@M3%|%J_5ewpSXHQ|Te*_!_ zKwc9iRkBWrr}&GsSjE=;alV(+!kF%KK;0+U&u?wlJ4<`?&a1DL&gDk^<}MGe#Q58# zF7Vq%y57KtcCky1k5?=q(THZ=#agx(PHz%>FQ}n zeHWvNaO@$({4ygpZJMeW72;%~p?5@XGmENg?fq8)}WC|ZGsD;c;wcngj%qZJiVeI7y<+;7`}_L&voH)Dmm6+d>P9~hj;JeKRe}6NrWr}J`+?m~S z444hI5TGKQRBz_lf@AtYo&H@pA%PkrbDtDt7BR<}Gigr7fjQMZ9kJ2kPgwZG@bEbh zFN}6ne5h8ic3-TUvR5Kfo*}%XHU;(S!~XVRvgXr0ijUZaA5`s-eWV1}G667R?R_r2RJP>Q0#sv?CDm6MQEL&1U80$?mu$; zm4O;8`I7%w@0CNpJ<X;HMQJxRPqMKqlP8q%yM&=B^0fmx0oP?)z|@XZ2mst2H_Q1dLZ%BlJ9l8{M_fH; z@JEcdZ*>v|q@YZ`n8d88V<8I??m})7#;BC^Vkj6&1co(w)d6t4hm|wjln$OpJKw$T zdTm)qQ&M!3%#zIsOl2l$HN@CmHY_?c1+ZmLi>`Olbh|P)wR|%@myjjEV0uT{qj_Px zzjd8=Xl5oR+k6t+Y3(%-<;tz9tdkshSX0};Kf<;Bt~Tu$vPie9{aE~AvFmiHPhYNr z`$O<-;)|vMo_Bkx@np(R+NuY!*SUCXhW|)wp0MrWQ@0#YvmDZKp}X|0DxJ*jP%To(2wt> zHIpp1@r`JV^f)$tH4(HuH4&JGCbhr8)jJ0G^Go}$oHaY3y#OY>fnibC`E?r zK_=C-8<#yC1+2t**xn`vhDA2|0}!8#aLM``%QiUWm|GckcnB>!DhX2|UYLC}gm;VQDlc?#$g@W}j_&IAdGm1@ zpV+#1E{gX@KAnL=x+Og;Ei1*`Ov1&5Ex(|LFaL?AZd~9!<+%ef26K598HY(E4B4tM zi8S(I&gN*zocyh3W!`(h8&@&VqzCKq{>%xX2su@^v zbV_lXxVi*Q{42(73*C2O`HtJT3@ESG_{*+l=iVscNQ`}hewphm_pZjk0X$sZ`N~q^ zFKP1F92&MuIdhhQLw9D3?NEe8Wk{DYK<&Xvg+3HYySC~AoL8t%;HvP?^VY8$fzF)tdg-U}=_14a%gmabp$6 zBnl~-krTx?>Ch9cqsq>%ZI)BNMrv;&Adr%22lY;`_m(X<(V4vJ_fWR@S;|z=zN# zAuDcnfZtv3DBC|pwQ_+LL>#at2;-fiTSE~ZWzGT3#w-%FoTac&{s+YqkUW)OVI7YQ zv!YfB_;50(0xs7g%N#}=do#fFBcAfnsDW|<}o!H@d9m^YJ2Y$pGD#*D;dN) z5X`Af#I`3bE|H-cK$cmb&Y;N;pg|-nilSP$B`r3#_mAVRP>x@jF*Qb+$l{^ z>O(cdHfC1$?MaUCs7K!}p{6AeBv(5}9A!+aO5sqd;z;qFmE13#xnpU!2B$o93u8C5 zIrHT#h{i(FvF6SEqEi!X;}8FbZdx{$R4RSsW=8hRV!u~jW7C&Xa_tX3*yoy(>)U~u13?@&7>XnZ4I>E3EsFTq@Q9{<} zM9neD$rb^1y+NZ7HM7g%6O)$8PL}xvZ<{D6uy0}$k*{nPHpt^NL%EV}WWGkJH+?w7E6#*r_=*|``Z_hHX$~6J1C_P;~{MMOj9h& zm!=dLJo?970_pN203Om4AB-K3u$EivFK7psJ-jNa_#cK2CpZt(L{$s3Alsj}gNd7* zZ%!t&OzPoZ#G$y2mT&+)`Mz28LGOx?~t0oK=|Z|v|zU=tY$ZJ-Sd z170j&--?r2n3In!M(qC&Ro@t#Nwl>a+jcT>Cbn(cwr#%A#C9g0*tTukw(aERoKxSA z+f}`)SNGnltNKsx+Uvpb-QeS!n`gSkBF6fpQIoFP;@F~Dw(a>8tyIc~;akn4Bko6P z+oof`HgN0Pli~S38yQ|#J#x9feT6=(FmsVQ35LNSC$_!!n@(K^SJL^!`quF1mkC|H zZ4Aqev`x zuQFRo1mtD%lIIFOU8Zn%EA?_KwLX1W_Hf__QuoS6O^;2$9|lbw`8~F&8VHdlKFg&r zFlXwjxTeGe0c=9KP6fdTYji`0W*dC3#~9Y@2geuw3gD)OnB?Cu8~+zUcg~$(@oTP3 zd1tZry#Pyy<0=x2j2jA4$Jp)kjSn87NKmG{rRR0^I19BB9(&Cmw2AHGFrKR(r{j5W za*8NMC-(%X*BA@!9#+R+#f!W<2PMg8J3HJD6YmQqMvxMEh|Kh}Oe!c*DIjUsj%<62 zNXcuD5)dtOJa#v69<8yv7MQaHz70V3EyVjyC|kQ3K}4I*Pn?Yb^cKZfvbhF|bxVyx zgZ)Fd);A$=Iu81ZyF)K^@(+1YrhOeB-D}~;73T&e*71`PfIZddo&uU92dbeM#Iu(q z945^LKj@+NMH_YjV)HS=lwgr6(c=O_*rSBv1yF5uom+_)i;;F5KbG$?STaNH6VQ&Q zUGpwP;&LNMRJmJlQMQwS8g_xwie&PB1A>&mRqg#^9Zzd4&D+^833%wB{p}_fksL=8 zQFPb~`Mb%H{H_Mpd^KTph#m!41G*`nDf0&+mhXRP)BDF|3g5xRCq=VcFRp!KbG0iN zfcL7QqPHcQ@$V#@gRwL0s>z|}ioRrXzt)lJvGdVY92NEKGJ4Lj2={N@y*^38mn_cTZDsUMc@FM+`a}=7+pzF9=n|)1KG#!iXX8=PvhcY{*3tKy-1^yV z*f)!X=rx8U{f*l6f1HSk>L?1YgKK8tbL37U+{96akIoj-{f|Bt`q4?WE+EWW0JkGP zCE?grCKko69cd-Qku_CP2ltw8n-g88PI?E?kx^W+^!DnD!;^L!hWDJ*mK#RbJUt06s&#raV7r<0q&tJ z{^3XeR@eYN4+R6LYxaYq<3maZhGMcREIXdUdU&=)R3Y(eC5_kh9l?cu*0bM>qP)7t zYA?HgH74T}GMQ~ZseILx;Jwt^8ADc(I1`!>@=Y#kj)`z0iX0e1!xVmV0g86kff3$# zGyCn7kk-Kb1rRMHzD;|l%=7mVCx5T>!zC#P5eNrCA_RG+q4z?M>!%;CdiTVa1>MwX z(AP8Ie**D>6%oa+%BC@l8x9Bqa~>sjS4y=Ni!yH8L=HVX|8h$JI`EDhKkhEl$$%j) zgd6yC;of+f58CHBaD3{$4iF_9u*#}#KKEf9PkHPZA|n)@ z4Xz~9P$Y}gzEB{wwFkX8cg2;ee*tn_HoN*II*J{!O(LACQ1NK&hQ zh`5i;d-4ScQ>t))LHX(M{r^VVtUvAzs9;RY|Fv(R1Wan_+V8iZ`%YIQJ&i&P>G%O` zWye07PJa0Km&R+24 zuhOftbbXz^oed)jnZ$5Ry1MzMGX4siWt$&EqEm76&G5zfRNMOgS;dw=TJdG5)9=$S zcYnPE0Mcbp%+qi9>oc*=m_!>IcG+{NOlN0YKjg6t6U-B14he&>)peOcxv34N!jv6x zz7awK-QZ|zU;aXXW@F7DQE3OshvzXk+v0%Yh9dDIPBaok)Eeb)e7~mL46>}I%TA{P zD4t&0-tHe4o2f(WEr*zpc_nN1={Vzib;0`PBeOdM(yY^xw-8tS_X1nTX( zzZEVJQEnl13a5CPupF4AQ#ZbvN201R01BZ|#Ycw9zV=h2-R+WDCi?Ny&z0j+Xk5{D zCjDq|e9`qEd{09Q{1IYJW=tzCuXhlSe{k5vgdnGlJ#L`tM$#4!GIGP=5eTzIakG>M zTA5tZtWWZHu~eM2GI5;d$5`VU8Rlhzw8lJzI)H-~8bu9r;DERXc3ma{421<3khIZ6 ziy+^^kT#k^;7`*^2hgh?^VB>n*HlXN7g$>SUywdBh>TWRLJoS&Nff6_Ab}}#C#&Sa zS3erF(jqkqR2D5Uk6;_G`H^ox4f|FImI|#-hb)SC=kgPuZxMPT} z>h~@Tf`6(&_SbTY#1|X(jVcAmr*CE*x*omm$7-fscztD$<=*e?lsqjux&W@Xz#oJ^ zc2#H5XrTS>@0ozkn(^KoUYInzkN^?_qc^B`u8+qP>QLkMR%HuMp_s19`rF5edM;_X zAzyvH>B2%)gIoV|6D<-iz)M@Gk-L3QgYd-$2@4M_E5R3wPTMiq-{{_S?_(9VS~I>J zwVuCIRbd5>c1=!DI8e<9VBJv{qRm42VQDZRfiDlw`o~5%b{Ll2yN2scd->oC$<8 zcFecS=VwX1Lb8!3PPsIGljk)OG`i_ktMOj6`|jgPm=Ra!qs8|I2pBVn@{zT_IWPY0 zW4BSgw1^Dy?qX0%j$=whJYMk&j}*HIQkmssL82x7x;`Scjd;wZlnuqA)*f6g;2d-qRf(1b9a4C zl{0H`<)LLhBE-EDFr^;T^~S~q2sb-#hp0Gd`|X9W&h~=B@s@A4c^8*Yn>UmRThKS% z>P|4A0dGR88#Lff80*Tt-J@_YzkWJNtW^~9bLjg8$gD0arh3A1*64_$P-4=5 zDM)p*LQ`+%P6$9*$)xeBijTBmC5E)#COBeOV zvkNQmqC_x4D%(T0VAVfbN5+io@*?x|&chCB)nVsi`&+GTxvU~3;-f8l`$!hIZ&0`? zQY|0q!*DR;#*8EB6j=v!`Ncv{_+(vJnE|nA6-r*QC>H-X)259HZ$w=ZvLYS);10b4 zgoI8D*iDN!Xvc?P+wNyKzjCj|Oc*`rc4ofUI55=%t6U^LK-covmfDRRLEY_mXrN7} zB-yCTJAl5UaQ>*gJGdT+3U80MMaRUsS3eBD8cD>D4HAy1O1PDMk8xO>f-8^@7Uo4V z%azjBhh{9JyT<6r-!jDZ)Xj#UJFkKu;vAMkO1O-)u>v31Ah(B=je~Z<) zgfG8vxZU1Z{?2Us62)-?=u2?YvxNg_P#u0LzQ8^lQQCQ>QsiI;2Nq%-Wrm#&SMet> z_)xnLu4|WRp78}O$I`jTF`^)9GRgs>I3D7XH+Wr6qZiuIc_ix2YZ>!B>R)fGEzhh@ z_Cl;(_w^>`@xNujQmkta*p~U&gQvzysl6NENICMyqfAXvGC) z`tNnK9X9YHZR&_I@P7xwG#5w!lj5d&SNt!BYHl$B?iUB69VDDO)dBRzmZRRAPoemIej1q z|E+|=$T0HCzNKAy|Eemwoo!8H|0=cdna{h@c`LGo{r3;)J)KkRi&Ok4QxT1H%nFXU=xInm z(wiF-0z=G9&p$1&4GxysKRrD7SkV+r`naJ86(j_Dx zsowp@rH-Z9;dSDkKNZLd6$c0w5fSsVI|Wq4CO|HQT+9s!oCFg#_tIPp^#@k_w=!MtySLXfK5%e#HDzIPK4EcfLI;o#Ms#R)sRb$l$qJCO6HxBaCj&)`wh8#A zibjqB$+a^){jd-H+nFBO9*>H2V_8$n0=&ivpmS_w2Im6is|Q^$IRKVI5NHQLj(>Ce z6WruvfEpN@yk5I~Ykn?^rMP`-*_ap^*`FJj99vqNBQVrA0D~lv9%AeA=$rtHxdDm* z;5e%s>wqeDC+4~aMy4;gmsA%L|AH`>o|F2%?}cNVJ(JU&y@?YW%X{@`8G!A*XU2~y z_TYuBZGaoylmp-twb=#aug{jde9<>vRby6Xd)D)JTzX+v>8ieIS{oOG<%%X(8;I$^ zH|o7*;QP86f(x(%12eO8y%VT^3;-xMG#q?hA9{fo-~ZdG?!)w}qIY?{cMI6yNfTmb zc@FO774-Ph<^Te$g`*Y3xAXh-WgBd`4}_tS#Ss__bdvUR=WFY89**Um9gy9fSO_VQ z`da^~0W<;d{qipSUNtOwa%0N|gnplgr5_wNCZP|UektDpvi|*hA^@_70I(qdfl@;< z`~UfqjNkL!*Gu3jT1=oyj}SB7Q+5N0{I)wBvWN6mf6oYlLGnx128cYp`_x&!wLAR2UiiCc z8V&|9Zw@ioeaaj(2MB*>4!YYOfH6?|%;38({gk}`B7gjO)IPNRkS>32|2A=R*gbH6 z%KVnW*NF8kn-dQp|1Rv73mJVN904%^`2yu1O#cMsUrhf7 zMmhPo`v%}z7G9n>e{B4&ADc7{VEZEcTIL3U`uWN|m2|5aH{jZfknVg-5j*Y7crvwh zBnbNATYVOn(mQSVWndAv{F^oCVwGVJbRRKZYhv7{wC@(ROG8FYY%hn21cQ-{Yb(%} zW*y?!%t7QgK4&!7V{h73#p1(plT!N zEUNc}Vqi6;X_OXtc6MxFH9K_i6;)QVT=B1e?694Vt#?c7MTAE8iy!i!)nYbx8)3W@ z#Z7UTh}X4dmHloP(-^s|u^1 zjZIW0wF||YdP9|Z2b;P9iF$VZ5eHsa%9l7dvrl2Ejp9}0<(S^JjtZ&|>S|JXuo8WJ zh*dpOQ(w?k<`bgH_wm)Z8L|ut?s8Mv^7KVHBO>-{YVEgrX6dW}Sz$0v5sd|ym&6hK_=;Q>urO|NY~pm3#P#RX1(8hClZKs?V!Ar~o(5>1hveokM&mvY1~6Cv~CF|0BL zy7D@u7RWr6#3tv}i2tc`_9x2toUN2d0m633BFc@IU#m6rcsqbnlqD80#FUVdY0v{0u927oPGxV>|nTO&!e5@Mv8t0J;_MY!z z70!~-yKWF-b(-TySemrANet-3I-=IE&2t4WtS)h1NY2-(GEz-SAn%($4iuncKz52- zd*ZI6kx{UK6ndCn4j5jDL3QtOdLpf_$eNE=cd`E{_=)_*4bAP3ZX_n)$dm?y7J~V? z94}LI{td=Tz#PH$H!|E3Law_Q*2WyGTf0H|+{&mwugQ9vYQhj*5VV1E8p zJnfb|9Vz9+i1)!tR3V%)hF33ep=RVQQinqG$fU{uh_^W4Q5jf(r)1bup=>+F8+M?; zn68qFQp)}5);=DbLbl(YNM{1~S3NsU+lKRlHOXorq}pBf4$pl_wqUOm#SiY?{T=ie z>0~$Fpa9V{B2(TpU#P_YC`nlN9vq$gf-v#&*1`j+gbH0@sWwS3a9Y*T27MdGGpFpS+p;`H-iO8$|w=?MDHr&3Fdgsof)q@hoTgG(CW z@y^p#eT=R&*i`QwSg!fzBI`Q2)NWJpj3!7NtjJ3IN)QJ{#I|T6Yf85Nm_T|}zWO5K z*^`*=w0w;^it%%G_S{Wn>XlxbI{|wtm8pRSzzXX*`=H-P{Szj!z#P0xQY4sTt20t? zT%*2=kC>uq(3O|(^bx?0MUjXHi)f}eeYQbIe%3B3Uqu<`;dv`uc#0B=Gn11;*!poa z0Yal-T1w$YnnBW7&}hT`tiQ^0WUnZjc{|ZBrVjGG{tNO3g(I=D;m2S6_O27Wc8R67eOe_|3`H+w$%c-C_&8yxr)VXFg*b{}``e*T z(K~m8JG~%^H9b(Tb`Z6lvo|}qR67iIOdy-}r0Cs!;Qd%nCL6Jj9fzXaZKLKvo&>A9 zP{Gfw9vI9O3Ax{*QjhA0BruN5!$;Qv;QEV(nPi1g+?e@h7Y+BjT7E>Kvs_BUrXkk9 z8wuG3%zrJOBNOvY%k4pAokL0)oeWAWu$FK8SK&j?LUlN$>^dn#y&8yB#0W}G9+C_9 z4FyxCclaeNl7Zlw{(x?keoXY!ArxrQhq9-yx?-D08k*YU$^n}eaMW;5epvHKKgKnS7QLiNUMHAWRo`*fJ+o0AdE2U9vrHbps6!q@Wskd&dKrB7>>gop;9)Zj9f! z{A*l<AoovnsQEmlj7@L-k!({CH{S>$bvrRP7t*^HzPQTF6mLr~_G6 zt6cF1IMSt{q0hj6-z_pk2fmW)_RQ?6-n)LbtP@ehv#4u#O5_?`%s`Z4K$lS1HYU== zBY$>dG!&5TUQofI7RGz}$-@bXqFlv7EcUGfy~f|u zuzSIBL`|JN6E;r4>2V5%NF-vJE^_hKnlDJ-Py20>)xQ-4lHtAK?pIaf4#wY9E~w-~ zg<7O|7gU%MkN#Qq%dt{U0L=I|+fQ~Ou*@bCG3ZR=CKg3^AOa?`gqucmsoKD8wK)y^ z^-YdP%Cz~y^hiRkI6Xd}L z4S7y4b6Itj`7E_X*C(#$z){Eg>G0QtJ}6#w$!2qWQWmO6>X|KF0;V$26=$XywHLl< z7cTPT(M(sL(!Sp3t%5qbZT^l^UijCtTQ&yIL$ z5hG3TU&k(`mjewr07$=f17o(b-@SJV$71Pjgky9Rs|BajXzoFhgBfltfknk0vzfDg zj_|SZm6Y5<9m2~b$Kqo9sGKfTjJ~ZTgg!pSnzJ2$Qf9?4uJ3I?diXc*vp}Xq6|cg zc2X|Pj8DBH-+dW*N>I#*!>8HR6t#L|tGQH^$SLnDmO_!ni}c$-kOlpI_g9$SD)e8W zR9Je!4fgvj{r-OO1ec}&3OPv|X^qFj1}r+dHK&)VvYopD&p2ty;s8|BLE(R}7rBr~ zwfxDpigl2*!~lP`_iNrZ{wU8O?dEJW)$y!AZUf4+!<#00F|21U<8Lfy#4^l+NKf%O zYU8%-+a6(sxIR}z^SWGFgsO)8EgY~h%iOUF@5bcAs;dm%%LQ&iqksp62`#XrV3V^G)wv%>O>l)oy&ZFi>0Hl`v zIVl!uE#Iqt)2fuVXw3^(m#d1Os@dS(D$CxNGS3kv-|c*xp67A)=2z*#`Kck+7-66; zZ~&;v1lCH%gHiLupO=~ptfY*wTK)6HjaVGKHe3DUc)6W-Gs_tJ00oeyeeUV~fDS_Y zN*Y*3O281ULD(J{kNrv)YC?$Njx;ZS8len=_R}Sd3VWcJ=~X}e&yK)iu%DMB2M8+e zf((8&zkhQ|JYm@H)w;i#wcMhoflqYRcu5uN>c!w1S+rbQ^9R?wFuyy-=Ck;{AE&&F zH>9t))9f~aE49Fj_?o)MC}2Y|_*GgEDW@8Rzya@4c4=1ky$yr0;@R!u(H~uD|18** zD4DTG?)goBIAJYJY~**T`TY|UCaxQ0EX=~H&{6PWr_8~@M1ShJ`{Km)n#?2M3Y}s( zgF{Q1au#Ml67CgB&;esgSk_rbDib~1;rfJ;sOw}^ay6oQZ#;f@(~6{{!4QMDkJ}79 znd`XEv+B`7!C|F34s_e?TnVzFTe}fzdjXU`>!+hxMb+cRCj;I*{<#)1b#V3)%#+Cl0WF~1O@2OCzu^#xcux9`>QM}YL!Dth z9Q-}3=P6N3JU-{@{%g0-rvSzOG0W-J4rokj1EZHK;rOcH)0WLitYb@W+va?x8v}$q zQmNVkK)e$nMFaTz2$qH&P*H0+hzZ4tjz*pjkPrCKcaNI*1R4ED`BSaqRbhIo&Z`MGkJACvpuovJDX;}Yf~1t4&k z&#N#b&o%3%FISa>Nsol;SC5pqlm_J2K|FA|-1)0b;^AX# zaSR>yr52o9agNdg>%;uVZBPut$>%n?&Q~Lt&tt}}T{wX>-u8Tk#pm2l*H(d(6Z-10g_vrHFuTsx!2kfIe$OOtb>$7tWhVXR5a2K0EeIW7 zkH5VZMH-Yxw9XdxCBGyt9ZrIA@kTx3KR%LvS#jHZ$!aNV6Gp|>9t&TK&dHc=0=ZTc zhZ!8i0O9?cj^9@?0mCdxbPF$4jd7;)eKtL`j=Z5Tcp;3hJnZ4<*7auKG%^;3j|nZ2 z1z)|*1o-(%>N}Wf8Srp1rGTqCwIjCvN*h$PGM=_qflaCy#xzN3x9=Glm?YttGV3)N$^#K)|J_RN~={cdE_H zomAFWX?vmV_N@Phh~?L3jAXdbxJ`DWL14oKB9KQZbMNxswrY9`eLBIk2nMzSda8nA z!wF)P$ItG6zv4nJ{OKHhiudEw(uIvx34^~@x!$xZZkg0dW!W1HkvqMOz_v<1&~Ot#Nm!Q1tN`wI^{s-0vsIcxiqtI)X? zi(WQusP7VumLQE6s7+xNS@j#~e4ZdGXW9rdrx-{H8|&nwI=g|&zVr}`H|u_Wp?udq zz-1*P&RKf7)owbGAb3lHcaP=~@%yMLZG?r8UmY)z3V7d^rU3VFGj_pC)VUO>jZ)Y8 z??gTWVeTAuRy^l2D*&3{z$cpW{qG>7*MYT_ZnwvBJ`=vcdHFd?!Oyq?AgO|BMK`#A zX0|z7SHS#D^$g!|&3(rX01wQ2Icot3XZiLP zr?9WPmh*@stN?#6^*~;Sp03Z2wbP;Q&A6)-z2PoGNEnf^)X7L6120;>GCEtBWqg*mfz4>HU3s1X;OZ8fy_sJ`b(ToiKjPa@19$3+Ns(o z>BBg!ZK-T>qiOEe6&D>f%(efZ0?x z;q8*^y?G*hNs=!3wHUP@_U5|3h;_S3_Y_>#R>5X4P6z7E(&$%yFShxQFal#M)s5Oa z6ksIp!omR;R><|S(#53;{(?4NeYG;V0$J%YrH*wh@WOMWW@CtZ1o=+n#)p>`;VzAF zz9;3Ip!iSOodRhTURiB#k0!hhzn-miabm9(mYiEF=`2&fDrw;uuDnC6CI4HHPiLoP5&QQOZ?g$-;2S-*)dxUd^Q+67h`p4r3ySRw_d& zgK<-Lrkz$uAvUK_0&#AFWgvP?cIfWY8S+su79__1Y+(for?sH>X*8sYH)!K(WIJp7 z|AZN;B(J@vp+SQ$se=VY!J*^V7Xhr1-+D%G3zq~_r$Ne)!FzeT*t_C*3^4{`h=}^A zWg<2T>2DT!DxyT*h_L||wZGgj8EUJB|8URGVCAOT3T$X^r54+Wn${YWAyjSvmlQjO zD20@ZL+$Np$A(R=hMS+S+NQmQG^qBTn)#SaLA)7;v%*6(Zv+K0wgfuK?{qzh2Uz$rP^wnyo|~m$=>!ZA!j{Vt)`(iQM1*FhF40y&~`%+sC}TGpXpn1w*R))*JGPb-e+EEhcCzGjqP| zKB^rQm_|)=r!AARHhcK0;4hy|;e-ZNs9naOdCiMNxXQ5hfha))8|CCmrL4-c}D7f$k1AIirW zny#j}%g$@o#L&gjYXDMn*tGZQbO5ily^;Sh(xzw!vTOHxuw`MGgSkb=xxfoBqYXN? z%V5!CyE;1Vp6Jb!E-~UL#{itAOzhBlO}^wN9IA`O{P!1bBfJQLi^P;muyh>dQL94# zXqd$`9>9N7Q=9p%tOf;JXC*nvywo&e7cBj#DMq%EiV#%Oj|P= zSVGy-TOpO!NmtH-MBZ%37RFKo|8W0)OoGpMO)G zhVio;(y(8fLBcDC3;N56;6AsOJd=f)9BY^7iDfoBa1*-^S2tufR8kt7Ej zEj1#6j&t#3?C>V3jXKGdwt(ISk_=S%{nCI`qSk2L8*=EaifjnsyChmq=e`wuL^(eC z!>eg2#Rvd;s>u4IQ(V7Tywwe5S){iTbO>Y&re1|ge6H)8CajWS0l8`e0yPItB5)ke zsUIL0i~n@M=+3f+|kR#!<&Ue0agcF6s(CE5`AX5A`GDiO41{U#GC zO&o%7TaW0%wDc)Plwzm@bqi)n`{8)k4NHS(iIiX+l%Vi|570`~kMxR>AlZ^Jn^c}A zRGSCqMrJ9a;7DaGeAJ2xFsZLn7d3>?UtfTVw^>sxEf~veF4x(TE`M%{YqIz&Lbvf)l*tqFl3`ZhMCjlhB(F zGv}X!4ekq7oMaQfzRxE@nS$n%p3^h@2jI4Yc12x6h>ro312IZW2s+H&D(~q>IvWL~z=USM+hh7nqYgem z^@wm#D-8OY`G8t;Wd2E}EnfUu^PofIry6I>QuWc%qc;nYE{e^1!XTCX>ZLKr(?g1w zW6xK6)0+KmhWX0m%`m(184V1+(JS%z8THu0)`%6Xe076{IPaV`D0$i=aMZY^e`Aa4PL3oQc zHbM$4I2x5=_kDrL(B*bSzj_BCl5VGYB@?|1#UK-GEN0B4Ui4CusTlunsg!>>*$oCI zRJ)F_c*`rt5mGR2wL|fJo|=2nrSLE5tN7mZQG-iBHy;VyifvE8 zI-UMFzC zt%ATFk>|zJ@rN_&=fOESdO8SFz+HN!g#uFvs+>*%F-KKE<6rM%c&LfkHS9j2=Rf-= zz{OW=BID?VGtE4J(s#v?C_|hId~$H}Afb*8B)1je z$vHSXW4iEVh7G-dpl4uAH!E+*l7{lL_Jg#NC30s7yip8bLxSCvk|HU;5~v_AwdLbx z?j!T`LSS%AzluI(SAND3%z19|){%d8;UT8m`95%0(zwn58aPs=B2A>HERa8y8f6Ra z@y;ERqq`Z;B7Fl({A`?pm(SVth*5E9#(WlE3HsSl9N0?TYFHt+^d&RAKA~C#^88PujoO33LYY;mQ%8PS+5a+cVN^FtVliCO$tkH1d-|jn* zKPa-t1qvbn7Z?4ny)nNDGVzOy0E!IC>`%GhRx-0d3xwu}tM zz?AB8gRG)u(u?i)$Aol3*t8pE&+%nKf|h6=hslyXDa%06D@p^(phA_>fuG>LH_sre z;tx(Cj=PQz#Ls-2uqW60dm0iN?YtQ7hnCa{h-l@2^aO(VC{ODNf}9@K@q^_0@tsTK zVHE~|r~fiA1-sZPR|;(&Mx7o0d>yLNY+9P;a!g4U-&DYFwX`t=!lhFD0JFAn{TOd3 zbb6!bBxZ0PD`u#!Ik3B=znHI6v*mq|O1jX=BV1eHvFU~PGa1kJy@WaramrXhzJspTfc)MVL z4v_A{n#>z@R+i9A8yQ7ertY=7Pi9+iY4Xk>&l; zPZxkVX6)}D6!xq@k<6Z5X8kniz(q8T+&#H^R59_I+&pOPZ&l`izy-SA#J>cSzc>Tn zG{_f>!+7m2s37H!c=Tys@T_H8`CSws*!M<#6Rn3YPKbVY&56|Y<*viNMZ#`&!7rLS zDwiCR5)e=Rjrwprra3(WfBSX8H!Ha2Ho2!hNTNeS9r2aGvHU??>jYG8m5m@P&5YWq zhEObuTABfmkc4XmpWMOG@BJcbT-hQ|9=+UUkeLINL2b1N{&CFRPxFI}7u3w$AXc_=>`N0S4NeK) zX3rIw`mA>eBaKY05F#5?u5(6Ny%CDWe&W4N_dPv=&Kh+~)11j)F6jom5A$Nhj>6U8 znQ?RrDpkxiK4UKKCM*^(m%l@HMa{#~wFy-l+&*k6`~hN|4XpZX{-_zKBluO5;yI>T zxjm)}k;^cqYl?YXl8-kYVPN6is*#y&v>juTi;l^8^3mKpP-Lo=yFf~OV7=IdKS_q= z-AqAf4#aWhPMpj7&z}^~r1A+eZRRDoY8!;@<|YBXSHVWDV?Z4a#cr56xtgqZK+Qlf zvxVi;*t%>NkjE8XUUcZHL`DGnw`RJ1mPNO2ylhCMfaKN~m*!>wk$ z@fTZNx&aF-tmmfc1ZEA;A_@!^INY8hkMk7wID^-T0-4 z9mK!OukX{MqlR6DZpnZDIenUFsnd<{_0fMme{Ms280i)|!Bx#IrwVhvwsNanrvI}$ zRJpAeD&$5<*!{IwT2nJW3W9@y(+Kj*fjS{1X(&@)P8mcLAQSqUcp7VbK*Am@E}-Gd zM={_(qVbV)gZ0qdWL|}IO?G#H(Of}cmO@V2SCX{K{1+5Mw$7ugrg5iyn>Qo&{HKvm zV&4##l-AE9JKz@r-joX|b)iC`710J3ax{vljt=a=K4sJx;pEL+p+@A!aI5R9VlRRS`48Lfax3StH z*o150*CRbbrYcuNzcv*!^5-08f3E(3#xt)KnPgj$>adUSDsq6V zqhL6T_|R`EJS|LAJ~Aq@S|=l90ZRDyCZO;|V%RGJKnxQ4m<>3oqVDUm-Uz}KDre$? z+VkWiMd8uv+JzY#@IYVLCKRQ3)~@FIi*6`~jg`Je^kKBZRM|}`9Q8|}FxP6qq`?V< z?r7m{-OUb8nXLWTZT_P=kCS?6FJ;lv`+7gjHu>$+&Y|L&fdAlA>Z29%SD0=f2GWrK zdLHHgz#;;8i}Hg_ij+Cl1~nY`%zi5p_70SXs;+}c;(q4MmUJCuqi&o@q-@Qv`4kz< z6I4_klbF})8Q!k8SI)+s^CJ1QZ4@gtru;@-d#Ua+#&NzApv{8-Xh41i5 z7Ua6UGQEF~0k&1*z$i_QjyG&;WllS90AX+tux_valz9LpXZ@gjN^luWS>?ccR-&c7 zNCmAb*SV@F*ldJhIDvaVL~#sxo0?WyyBYLvmHfqY`bjjSPS{!pOq#y%EMDHZ{JbW` znAx*%5*tB0t9I(Wv`{AU$w)Xu*AKZW=`iSvd`01T-+`Dj;5}qxRx_$c%YkBHu!_48 zP{LxpsYQ!=S?)WUX+%gCafYX(iMGI|1#!cJeONLo~NiKmh1mp{ zOvA0qtF)MPR8YAk%7Q9V7Yozb&e&q$6x8zsz>=srDmt2k=U`lO>yTb5nT(a;miKM=1-g%cQYe2v$ z;mg6UF_Sj^CAxKY(+-GWJIliU*)b|MkH{gqor3KSDXSZmQm9#`+w`7)(K9l1o%uEL-V$riyw!kvvHQ+)Lg( zDsp$PXm%LPKeK9t+82}o@YdnV!EBC|RM8|~{}@hBp4d;F<_&vOXs)!wq-r4$b^McG z=)qRFg{GEK(CI=GGmSgiJ8I1JrCt5H6?OmlQYNw>U<`^H?}X7|6Wu=L=|hQ5SC6Ke zKqxyNi<)ny)~cgMR%Lc25Vv2)THvfNk0T?P-?$z#|AQDP;9?>Kpw0I0P}KM>fK%Nu z(hz=Mi(wR!CVs@7E{kWMSze%XoZ>;p&fp1dX!4U9?xV}x>oQtzG#W|K7p=>reBPHm z@{OFhujmZAS`&;Dw7v04Y15^ilA~LJ!YnJ!Ni3Zw$&TU+N%aF}D)n+&WEr zcgS&Yjz>k^uGmKvL`Z|e=-L;d}ye}rnJ7ugEoQQ&~xV{RVTOR#2YtTqGh zFzWVwCXn)j5L8yFX~kx<U-qd9AAnXKMq@T52hGhJ&ooL6$p1!6 z1O{BFh#DlZ-nkA(g-$;^936NUc47rP+F~q#w=P1u`oMSr6h5KLb&pr0Z{}uCK`#Hu z*-N?VZFIeSz{b^Z7N5zXv=ZiI(*Vh@YAvPVI~PoEn70Hss}nRow0h$NOd zIE&9|{A?v_iGvKcTMp4vV-q~8!gN1b+dZep?nOCOy}cs5S1E)|KBdyT1XD@qE{T-= z7LPH0w|$`k2t$DNid2OO|DsRuBZXJ8Nw2r6|33SWw2h<;*c@%}uC>yjB(1uliT8KL zq1uW*3w;<*H)4!0&QSHhsAXwjPlJwmXCV}g+-#aHGn;=FiVlJ6b<);~s3{69sNj5M z=vfz6n?=)xstlW`>3*@)+LCW#>}fX3=MfAEH+R_u$bW_LOAr{jz$}`5mz}gH{tMvJ zOabL(YfIv%Gbu9+KMH*1}P9Q4-P%{??!PQjp8GxTMM_Fp!9mZrlm#@mM5 z4@9$2(pVPD^zjuhUx*K1^%%PbBTo$f?c`h(ZV)#}yL>pgSYFHyH^G{t$!T-EHC%eF zJDe#92o>=wG3O;ikEtUJv(-~yIk6L@ZmZh$sxSn53O{vE} z?G$4IK0?t51>71l&0Z(rb0i}zoN4{u%m5VO{}pyl!IgyF!p_9DZDa4)o_J#0w!LF( z!igrfZQHi(OfWI#uawuOn?ZK#ybWP{`ZQEu^Fy4chv`E}RXK8<;a)B!a}k3nK4%S4ieRR)C<9qdwn z!2)J}e}2`W2cn*Fwx!M{lq^yB)}nv#9?aG6WB{hGLZBqHuSX@5&gZhG-Yhm0?acv- zz}C7g^(KgfPiVb4qIY4JNx*qLJ%XMxeMZD6CDy)IYqt$P_itdupJA1>_ z8=9kpjB5-KSR^1eMdpL4@IqOM>i(lr8=fN0GAr0)xJ00LvW{Y{(3(x#>G4#<0X6iG zFbf9xz_6eeWOu;%6IQ2?(S*Cc36g~Py%&}D4huh5e6v3>>WFSrbUi4iKS5Z>1C#UH z`*iN72`rmtVZJbo$LbybR(=miK4u#n#O?OaoAm+8&ivyHW>05k zOZuthnm{D;h)1=tx-jA)e|#Y?#YgpPL#%*xX|`Z`??_ntnnpsqhjh*eV4;OAB@po%D#6a0JMxk-CEDWAn)r@>5Ne#@N#vKQh z_hUa0t9%Z=UAN27xqNQ>+0I}EOzGn)%nxWf3t_U|ckXo%rjEApT|t#us!O$pe|vN}rqoa#X^4A+ z{e1!cVD=st3qU}aj^kjWqY!EaO1l4&Nk>4ky~oyLU4O-DOqCh3`YvdILCZV0tdX+H z{(U)h^tQNv_N;uqt*2gDLnExvG0+mcc@fpBgc!2Qc(?)0dB|aA`gO_Y_PxBAJ0TO~ zzJINQ!oz7CZD`VLl;j9|5RZ|9Fg-aJ?#O78#S{SFN+RQ4QI%B>#nqKr_N;zNLJwFu zC#Fq)@XmV2%$T^r3iH@O84T4KWS8E=#QKSPS+6^GiZf=n9{Sg4y(Sr+QmlKVxv0)* zl!9~%VHjVHC1Y>#mm&z9f;Rh_YljCkxjpc9N{bH<$lE^6X4PB^T21_!df!@vyVBw5 z9n!RcXiX}hYQ{0PSczbtiI|m$T}bcX{`Fl4CDv1#cRx)Fr&0_db>2pQtHZ%bdrkl$Zw(}rS(eBP|oJg%l zLl5+%#Fclul&mb;ZmS493uU~{`B|sK9~@rpTGB|YgPe*j%2YZUTs|$|=RO2U0iO}- zaoaYAK~bEA`dqS+3$IszM1KvsU{i>-Y^Uc?ZG0Qx+s?k!v%{r~K z1+HdhxC<}o|D5{6h0vhiMCRp>*=Ea2kSx5u1q)c} zo%$P?I=EAl{NWo|35=Qq#cE>A7_wHTS^A*;tdl~U4aF|GB_RhmY0t)!oB*rW89pT# zfL{~2H3{wo7BJ|;>o#1itX`rgmqFps2hn&gG`#e=>GF3QmsDy|^lGeX5?kBlC70R;mR~D~7`B|(F z-2_O*JQ(vXEHT2~iaT5?>cwRS&>j?*j+8MH7Y-|8@!Nt}QwU7l+v?8;)segc)N?ow znLRiN6auJpH3J$18Q)t+%;l1jG@PRwHccopc-2CQWV&8JvVB+e$P?6}X)RHy+C(wR zov*fAx02(EsHU`N_AnmM#}O~E4e63K)V2{T`guS2D8mayGG>3eVs$CdhB-{H0Mq8k zH>j4Dy+V?!LwIV1g3PXH2t!SGhisCxwIPD40mo-Y{3Y1Mf$lVdIz`*;Z)hDla}{>H z+$=C*@fJLw_?~Q7WyFdSP|Vaa&M+L2z?~UA|BBzk9}%tf+QH(oTxZd}^Y%QcDv=^J zsHa_?pON;Fm#0rt8wj>Z@=w9MD~(6Gl%OkpC^!zzT8O0bFK(xv+t~w#R1+-AwnlAt z_InZ|iaKs(3G*a5S?>$e5>LIXbIxA@gj%6`p3NelLt;T45j!{8k z{t+n)LL+zhuwMTf*Jvq`uidB;^Z7wUnKj0NE`ts7;-culP(Qt^75W}o8Wu;iAKy6) z-cl!VB@!6KiqESiyfJInQ1$!oBu{TVUV8z`&ql&OPS^c+H`krnhh>*exv3U=5u1+n zs!rovv?qh1 zjAFnjo4n3@Akr$HAqr-hyjMh+gt1Eh!c~81u?WCr%pDoN*$sB@?k^-#6vLkPnA_GU z+!l_@E>0$~*&6a*kcWI_vcpxjRCqOl;F`agkRL4L#lO+xRz1|ZMiuQ*-T-cSA8 zZ^6HZU<#w1%lF|@PQ;xeXjj=>Rm{xjH4F-Vk61@IlBKqNhY3h{h`dDz8)*&Ore&-~ z&wf_zMU zvi41=6N&WK%%temfCzf7lQ&KsJhvD`F;FlnMDZLY{}NYHv$JOiq&9=N$=K7^RPsd; z*sdDi6!(k6GAMjRAY_t6Z!2=NBjy5FX0Dzn6+A9cL{rfHL>s^^8kf2FO z=CWnB(9oP{VP*XVoh_)gMQg6xidi=Z*mz-O6A^|eWN9ChJOa!1@wu-oOyXwf-+K0R z^N4n5M~h|NnJpw729*>=f%E3UQHaCl;4%Me0Cfz4y7y(f=eDnICo)0?4!#e%I#=jm zXsIL3Fp2Wyuhfw3_svL}umH`hwFjHd2f3=|+E|D=(zew8m{ZV$Lq(M4UfK`m_8cdY zBMM(ZO|S80M_SaNx{L1|fnHcVS(?XVm7bo2vIsN%?mT_YaxhAzP*wfz4zPQE!QFYV z_~+&lh&F&xaH&@x{T0VVW%)WA2*KB-2YV0_dUFJ(mxpaHhqg<%g3afS9@OArk2u->o>oQ z@s7eD$ryClhZ2Ed2s_>K$(@Cr-_h>A{k2TS#g~~sIW-_bLm44-(_VmU*VvSrxR4*d zGhtK)Nuz&*7KuVdx3pe{Ir~QqcaDLtwPww}5muLIlE^e5H--IrLOk0sA|yo{tJ9EPhviFX>F;zikjs!72-*l_RU*o8nrxc zq*Y`4%ui?9M6qAek{9ogn)=rdGzf570$nJCZ8WieQ-&}&9{yT zPIsOr*h(~h5Y^uzi*uT8@oAv-xC$fQ^HRK`?`m%Tf_$TDby14qS)bQj*Hhz8>%{+& z&v-|>EBGk6WUG^@Ik8|S45(vP1V81OdMVFk-89g5Q{k#wE@VUw|zFPQzem@3q7_-;DX!fOtv%oL1*N)gF8B$_ba z9--cyLA1SP;>@x!gG4VAy#cUR(ewfs!e~Uz6E3uw4?NFfDXj@Re>iD3;6p{q8W@vL zH-jytL$nHI+#KA+4jNNF9C`Dzml3P}GF_j+_OKRFWr_sV~;v<^S?Y(q${ z54DvnG&R@dFM`J{lZjH5?K_7slViW|Hp|ydnZzgOyPmMeEyy)9%t$sh83q6qIv`9t zfJQiYy5YM3<=bdeG*x3)5}VZ}NL(kC^HGL4Mi95Hwz3 zUF=I#vsKhz&0KwL4Z}!Ny#`(O1PB2^AV?OPL^Cv+mHDjTe-WZa*#A&JiDnO^Pj~Jq zLTW;-mv78>@$B*n?$v{Jv`^cMn2(kJnP@qHFUC_Wa=!M3hWIN?%&0DO~o5+b8aa-jO&CFU*QDFiz0JR{S^||8Leum+h&8%rFcmS_K(F5ongAo~oYIeyt?fntl}BOXK>dloHM)G} zPX(?sWsMjF(>7&1z33#2A<3M^J)Fv*Ri{rZY$r6|zZ@`Xh_!d5DvMz0lD>ZhvaSqh zfu?QmcCoT7dSzg0o|BXJz6K2mn;<=z9*fVbpU5?y^a5-C+0x^kawJWZXeY%R3ZXXJY@1!ro4#RF=2*l!=8j0fA zN270&T~D<696%Fh6T*2kIP-cVHf-~kDxO3lg4s+W;rS-_r+qTrhZt-@s33ilp4?SM zDA|RBWj+Hy5j@X#HSDcZGZGk=26k&&-QoK=$HCliW{SU@N5?&c6DqzwKOIC@SMJI+ z5ysb=8!zu^DcxkN5AVkemPfu{SEnbvwhMWoF}pAq9}HHG*EN*5y>^*75QY@NhdN}% zXcC;s5lVx7kkQKNrm*6fkAh&r@AWHgJi#2){hYL^c z;lo2c{2gEwWHvU2=nx8bNGGQS$saBZQIW7i)w1+eiYmcnQ7lfC^p`v_mO&yWGk{8O z`zah}fLv`xne&bW*6WD{BKouEa6gs~ZzEs6(mCh4RGW&IaUb(+TfY|i=OAigdN>0#^{qqSKs;LO3bvaGnw-cMDmIx=I zRxs&u;Cm-u5FQgz-OZVOCV>Cn~BP+w~(=9g=G zx(T~!&$)v>)VJ35oUsf2B^2eutC!AVY2a0X-k?UUPBk~~5h%Ga9St0HI1j0la2j=8 zM`lAf)jwS#Qo%;=m|XW9{~JTKW3AdsQviN#kG~HPj1G+BUWqq0zOntW`r5`Ir^Y3q$HuCZ z6M=cB9`cWI3GzgglQ8*IY8y^jf|SKbn&Cb;>HlM}91MW}B>o@fitPb7wP0Gh0K|WT zT$aco2JpdwfV4R&2&}X#DF`-ZAb=eRUZxytA>V~fSTTtfSfBCf*Pfzah@Kd zDs4}o zJ9K~&;vKF~OT`k-7aNix!NM;uwm#G?w0Zu?HYg>)7lEFC(ghnk0iCgQ7FgEbhh7x! zZ-9H``mGR{yIIk%`NwGJhHtf>;F-v6Mn^Gr2H8JY(6CN{wujg4*Sw%D2IxR~!wA!W1h5wb?B$5>f0K=72U+*W!;$4tkgcApxGLVAE!@{VA zDv0G+OSkg|`rJqfVIe*pr8L2W`_N<3cJm@2y-~!2m|A@=qqy;weifSjIa~P6{dUpJ zI4J$E{4%oZ)>1vre4$_1v->QP>&VrYtBtkv~SVhTVk}} zcD!?01IT6@ePM~c=_nh$8Tpq9Qt%RCMEj8%LzIyJ^xNkGmjq#hTSEdtAXMl!;LGqR zc6MGudMlvFhTv#*Qe^sq+M4^WFS;qVZaT_Q@fkvwm`z=yxmfSoNez9Eml{mmbdJNR1S=-l9haQxMOo1Z<~_#TRL)x>yX<8Wl9(M}a)vyw8ji@cBK%s^n>H(j zyf7={w5$!*`6Hk?Yl&1%W=ZH~h}TGba%Y(k&7pyw7^-A}6(i9(i6IH_mt3m<)r`C{ zQz{{CC(M$tIYq%3g^Yidl4;Y4pjBVMeq6395zNgNR%V=`xM zZR0Raj||I)Tv4?mT~`rWSPZI(h3=ev8WV9?BsL>}@)b8>zrh$B_6<3ex;XMuH)?ds zoT`?HZJ3>5j~6U7<4G~SQLofs!XnE*{yn2ZLhcAn0^kM7r?Cv(Uz2hMZgSJsMFrTJ7Ca0Sq?y#@_I1H!ej0K1J zAp*Q7>y=b=y(5*xv=#|`Kcam4jfSCWsjda2ontrqG~9^O&;-2M`ir6CH8(ra7Dd4m zi7^EJ3MY%llZ&V^cHWy3Typ)|byO4Kjq+)Tc!&dWj>6_;*>q}QdNn8q*LwueKwW| zysNcXL$~s-+a?&-DE9Zn$765zZJRa0-yIaSPoR!{DiSYe#bu>80@w`M7fk{&s6*gR z1HeFicN0(!9oWjThvse$dgeF+c=!A17q~49T5gV57V015YBcs%CyHB@Os0 zQ`lqcqEUy!3IPeS!TmSOgJtA0(zsSYA*MP)lr?_pbuP!nZ`iAfgcyc${bu6y!E?%J zC!#h^NuF1haJZ>-VdHGAIhH1h#d=Pcn)INLO=mI#dz-)a!7BF=gZF{`iSJ4A8oUrf zJDVvgwX;szh8iO0QV(RKXI^Jw-LDaWgeh!i@r2#@HLsTTRM~MFg!n1Ghc39L-qqVn z0gQ-L@V!c`w?<21MbWX8dPK6NRdFz0MVFRh&Mt&^kU1owi32ymAr0Ji?Bi}LaCD%9 zcZ2K%{FC;}kU;@kU$B<)b=&P&e3i6t)uPk)KlJh#FWbAc27J6$CT7xscO18>i5x3} z`4rf-<%!M@rd^9cl4=FPvWm#VtXlz5kQ&63r(sWJJ!n{}2@IaAZiKRULid_xV}VxJ z!@kK##_ju(SDuCX>vs2Ba%s%%>e8TfzNp7w7uQzy2SEgL{ih#=Sw(HA{r-!dA+eF} z__F)9;`iyp1*Jua6*fqd(snYg>7(BKW`YziynPzz#X!nm(>|4He;Yja=e`>V!uT{D z=*nr%w*O*Dk_@L}po75QPI|EYLsy_I*gsKO!YI75Cn;;*FJ;hi@u1=9je&)5=} z@$KKTpJQ&!q-QDa`X}}_o@g<$F%>!yq+8701AV3fStuVT&W21K`3MxAp@y9PK}$^g z`@D^uWg0x{Uu9p@!BGr+E;ZIp*2}W+Co}!F9FGZ{KO6b&$=Q|LLJW`l^xDEQ-naCC z_{U8k(Ap8vlxX^Opl_&QZmAYDII^JS<$^pnivd!_s8j;{YZvNULH~#9cPp(MA*&QM zvoE6?9f%u607N%&VxTsrH{X}{#o8G%_;+|jgedH2`EF;F-BuHiJe|`6>0&_SuK6~2 zx~@x*dE9T+zOYFH591P@L&|Mq*NwZg`FCik@N#B65;t|Btd)r-_|^xkN%=ywn3!x?ANd*O(O!Dgn$C}azpc7PktEb^e^>n7r&2>|0j&-i8@7z^D6>07 zivhC5M;MbkhR);8pB_*Dh-O#FmfL$*DiSLApg)aA>8n^i#s>U2F#Dn0m_3mi`%T1$Vj30clL!q_c2mri)iA>LW4NB zNA~;-EJ8?;dH#mP-p1%`7mb~GH^$~#vqsGyVK3_MU4#JyMOy_24O>r#jf;DYs(e$= zBTgAtuG%jj#;ZM6xD87F0{>PvK5%-1fh8q+>7xvsG*oipWgGauo$(xA?oG`dmdN#} zZ68WtjOS-9<^n%J1XM>F4%5?*+o;$?8*?4&4a6)?=Y5)kwb0RDZ|pj*ZL(hcle@*$X=YbzbWv2C*S4pC00pCrNcO!X_x9O3(h;b5A^8F2EfI>77s9bnnL ziPZfVesl`TpUf`^9FUNHK0VzUtMKdHt9&ChuplnFqR4jkd+$@q6@=Xd?!qF2kE|)} zG7&<5>N@pVnU+Z?+v~aP%5}^cy;%Oa+H(mip*VLdot^Wa;(&>s`M3rXg2kx6vRTNF zt-oy8F}N1op!jlufl4GhmVPyT>R(;mhkN@J5I%t}udcT{1`OhUyJ?W7%qqu%G(_KU zR@s$E$I~Oj+o8IyYx>vGcWA*HZ#i$w3V~fD;{-zZMEyR zsAhtitq}v;&P}n^C#KZ6SW1|ts;jh)y7f=hGB51(DRsQlg5)?bFDB=_U6!UU6lEWj zBk+>SI1y?;uroG1(u%JeF-?ZuFPVD2`?fG6Fl`-wwzrJZUx|6kzBp$cy=m_yYkRGW zdfg+g&v#+kaIVCnG+B4FoiBUU6?xMwt5Sf{#u-=pv5mHQ3pi2^{xMoxJykO#IT(3e zz%HuW`|C=mLcd{4SGj3hF?c*RZ;mh}x5Po%UCDksxpTd)*EIO4ej7bT=g;aD4pT8i z^I8Aude_o-)cD++!$AMJt8|}qjDmv%TDBbhM$&?2|EwZ85yS|>v#F5(teszTn^yy+ zx#BF#b8xWy8woqdSUsnhU7qX`%*r3u5Wog%K=c2DT4Diz{lEG|AQ1S!^hT;)j%K7R zn#yM8@GR2yre>a`Isj52kW~+!Ma9b7>_3O_EE=RbKvFhR;MYlI2M1SDAb^JyU`49@ zpG(XgzHLO-!7fokLullU)SJCH7rJjE7SU$i*fuNc#Uz z`MQyunZ1RpB`F(#jr2?GNDCsG9Ag%9A{@HiY18<@RMi%RuXC@-k-98b77`na#1Od( z$Cs+9iT4Wo8%&n(rxb}WrM?I`Is@5>t>DY=9igX;^ba0$e^dyg9|_-Cr4vmvjznZw=o z&A(+-3@XSN>5#Oi`~szKbz63EfG-Ty8O^sf_U>%djS9GqehbOs`>zN zGE@F-_gaYq_RwBctT#@<`Q*J5y^3HtVv=8gp7qlmq(YO_M{O)s(0j pG_V`iazz5y%+mIM`|jdu8VzsG!2_H7G{JM&pEpIkotxEh2-e-c7zdiRs=vUJTJU$L2;*SOx^DLAnvQW z^pM>Kn3+iC0MurR4E>Dh6^&T78{5mcJ}>scD9j!%i&1O6*#e?R%cl3wJK6a-&6&U+ zK;8)9gaAV%Df&hm=evjV)nOMi8}qREQs4Ytq(gYUJVUBbLfG=W$GvIidKFT-!`1n* z7g9dM{(=@|*)tAi7ot^!8{R`P@`M1o_Bh23cQ4B)9s%;Mlg8qk1cudZ6>3o^1^+)LnB^scg(>9yyOdinx0rK_E< z49^L^0x6=(evnjOb3nfMz6mOHi%dcb!WNW`Ewi4wvm6bVXNY(e2}nw3i0JEv_pE_2 zZew`dElUl1#;qoQ=J88>d zP7^j7yDXB5G%{$bIwIsd*(Yd&Zj)DqQ2E^09xrmzZklBY%S3q4HdiGe%m}mPzA$wm zbVT(4I}Q;GcAHnE2~%OrPbKkgmT#~{&0_v$)$uAc7`)tquWnrIeuKg!}n1t(ymB9~4&a;qfI1@H!F&RXuZG;tuL2cG(URuA_R53!H0 zP96;Sk2EB)`R{vT)!Q3D5MEp{mXHURSQ~X>FbE|z2Xu!)&mmu%jN^3@^~WR89$zPw zdKilvIzE+tLs*G3+9o>NliI6p)wa)2E}wVQ=ie?ZK>f_Sp60%OG`#HRzac96v5Y1T zjQV^S;B9n@|7e}sp`uLfPVg5}&N(LKGpet1vePg46+1w2EwGXcQ~`J%1!KxME+yd{ zf8qwDKuS1?s@gSd_^GB+0U}4R(JV}Z&(|5%EjU0ClQ;&$Y#nlhTj>eN z{Op5%wjF|K3jeU`GkT+BX%2;NW?nzzCA9z}s3hK}CW|;=-Yx&`wV53Q>B&k;N(v}y z%vb4z6niVsz-LvV2HNz-rHvxIg@qd1`=w_>{upH))}aCNX>nZVBEuV%Y140LNluyV zHsdxmf#q0nANgbkCvmk5h=-%1$Rx5(@ynBn;gxpM`fd%IiJX)ig5wL9(fb|O1A6$@^)2KL?#Pu|l7 z69my#ts%>vH{FF*1%s`=dhxV~)N8o4jL{$K){e7#unh8H-)U9Zr{^%RnRDdINuI;~ zVdR4N0>Hx+FOE9fMh~|xW$cv(`-?8cy(zz~?3B_2p$w1s+??A(upX7qh3@cX(#X`l zy=P{7=|PcIsfM(gk6n5{+_v7PH`h&_BYoZs9 z{__=PtQ@H+-BP8$F1N%F4NQT+dJ4OsCKZ-F7v&`41ytMQ^7_)+Ur48N^!Q#Oad>ur zpY2&x*e}K`%jNOv_05>A&$kWdtRm@CqMS1(un$`-CO0U)DRvX=WPSskSK%2A^JJn7 z%ibv`1o_Q{Z{=+C=L;;2K?@pr=o+Vd2{!hfQ6QFn}DZ0NY$tZmVRr1wBejwB+TF8w4aD{*pV z_nC4M>KUY*m&X*yrJRt6B9@NzS00lkn^#zmA0}mGifPH9MrRnaKPf9?Q%M#x1X32u z#fcLwWk&IahbrfpsqpDo;8ZPHeaK= zzNEbt1l6|d)qO4Izd+!9_S71_2edyNU38QuRuNa2QOXmMlo1VsCop)gcIw#lJ_FSn z0RLfE-^?F*B9e|UZ<3Clo-Ul~Z?^5VEj1jO7UthPY*?0W(c@=eoZhl6aAv|;O($Mm zvrvppy?3a8!<5)D!D{&JNMwkDX#x~1L|cVukuPL4Oh8gp7LbIruk21o2E2#v=QcNY zCQB?=Gx$YwOSkAEaP5ZLNWTi6D_K6E890G zZOBHx`E@KqZDXI56_|oNPW>#wvyr^?j=Oo4?-?*+niah){oN*H+R{KyFs+cZ7 z-OA#La!$q|fOeXTfZk+z1~b;wNi=nw2<7MkhNXfQf!RGxR3zLcUOB7(W)3wf$bs^r zj~f`9(FEKrH$Z;z=5TCit1@t$(S*3C8vUsy8XMKTI|xH+3LYo63Otn}4VGES@|cvf zj$LU>ZF(I$ApkwWZ$#0~E<`e*_rclFdqPHibS>pdr5r{Nq$s;~{o(mS?l#y-*87IB z3dKB$Wihn0?kO8S(BmD2!uVwN(DIG3vyU&DY;f* z!pY6IBGXt8Hbbd+7>GDw>M^E#(z#79w3EZ_e%s z-3paw&&YP8m+SUq(_Ai|8tPHFeMnr`x7kb*OTI>pfd9CUvvXyt?%Y^h{Tb(T(fWa7 z86sneN6*wj2RxB8dArFwVQ@iyQ_iBm6E@&!M%AAtSITTgg_OlQ|J5Qq*V&ZO1Hz;` zn18nE;_c_@9wP5L3Tb6mDLaN^(llY*M%R5OIr&IbV8gpl+K9^1wPG92wm=x0;)rNCcYiJ3}1YiLC@#Nuw zrB`;hGXc=c8|cq1u=Jw8cL(tB0O&=TnE@<+to&oh z0QfWLk0A?y?ccMEi~#n357_`5{~mDwIRE;Y1;F@60e@`3!UXue`rn&z0DhPB?|D`L z8@OUoeis?I_b%(=x*s0PpvWy%< zCLq|@1L0UXGvzk$*Y)V4<$!^4V*8~&I%=~6$6gxi=r_+%H7A8fonz~?@-O{tB| z1VzJ)ev&?y#WAD8@1|-#`w?ozybB!a4&#BvQYSoC7aOx9c!cjD1n3R%FV(lE#G%!Y zT{?0b{uABe*V2_VjB7=a+8EiE*NRyf3bk_UVL4)TMz77K?p)jl=fGb|d$x^q$q@q2 z!A7gw3}{8GHwhUG)@e6;@76u6p(A^Ij zp2G10rGnMwOBqNe!zgN=ygZotK)=aF)KwHXxriQlUZU`ROl*R?BLl z&dI|xijSPD`@*3jp)AI#Kw(NtS5)2{vC`LS5cCvVQ z($}YV)FJi#iW{MOSfj@Fycb*dF^>fRLLz6YmO13nTk%P;o&f!e?s+-gJ%xPPXj=Yf zbi~}@T$XyNW}qmZ%xMizG||v?WhwB*t$b~|o;ue>pz-ebBmjEY!L1BY26;yO4*r7X zo2&pPUCgLCERKSBKZAAPH5?j~k^D#+`v=d&av5AG_F{YFms|aKOq=(ZW#XQE9m=Qk zdATZCz5VZMeQKfB{lf}jPe+Hg!111HV$qr@A<4Fb31C^1t=`Ao-RkV(=0W3Ze;8D6 zO*&iKQV}zh{ljQCbl|&pvuBX6-pYai&Z3AtV_chB8j67N$+;FKVpqA1@TmN_;Ww`f zdrBWRUM(W6w2IZLwOhyVK7qvB@-oa)cox6!7&g>LVANt*g_M0rNfAJBML*SmrtVJs zZlAIy9-zNB;y4E*uWd`j$Qfw(H4qm4PCe%l9Gq)gi15v`jNF)n*Kb_rTCNRr@uBnlIU4{ z(MDwe1GZQFpHwBhg;BpqkE$e_b@2>u1H6Bh2RLRVn&fk`+3vSP9ln0p`PgwZrQa_@ z=3Uz(7vg%H_oi~S5ylXy1bI-bTu}zYX6v3P5a1tYk$byDIFEajYm{N(XF!Ebbvd2zIoCNdbN(o}* zEq=}t(-;K+S98m;Kbb%^pcd)S=lq-rGCD0x<$SC`SEmRjXUL(h$+y-lYO+W@vC>eA zpJWLDPtNs+%@+Bw{X&_vh56;12clYM9~v;>1+Cr^D-)~@?8hz(4N_ZHpaa#=7bZQ7 z6A!{@Yn@20Hags&c^&jUb}dVaQxNxH!i9ayze2p)_%U!NJYqY2gOC$+b?n?OPedg zRcfHkYD%4X?*oEM!|k*iqqBlIh;zh?rXXe^9BkDoFr=Lm&)tDl9Rvo{8NEW(tQ}q^F|K-=yblH0+-EUK2?pt{SZY4`_zLp+Yc5NM>Fve62wR z3=_=A(ew^{aEziz&^NGhQ)p?j-nNGe`ir!KSHqS`jtQK`l#R;p%%A4K6wODUYA$tC zzcp1{UP)8GiWJ6xt*0Z3FXh>RH9FuUp<6~1gwSOHwh<(XCN;wVyjhmOOP`uNPa?co z)R8dhY&iW1GfYfK%ceri_M82dIU!13X6TR0yXXamkep8H4{O$WE5e zCrl-HVg3fj33r$&10a&`jWj_MUj|P#i#3ST-$paJe+O86k0A#UK{JB!#rgaN4@3NJ8^h|k ziylRu%|(OthG}uJK_&?=;-u@#V=6RN-ijJdqepqybw_Y<~dy;zIxHsnis*>;9*O@HYzBoV#hdmFN8M(E9@ zdadKg5p22FVam~?qwAbx`Sx1fWOMiCrDfK-J8iRPe{#9CU}%1k2Q@rdywOqgy11HZss-CPDDEz)zsnj#lBS3OWM-&?K&m+gF7$k z3x?VZ9xn$+B-QXYQ2I=?*z@T2@VrTy?fdX*g`|*r|GHnXPi=&!uS_m8qM)qDHZi0E{5AYYdyIr+qNj*l(Y8tfJ@MnG z5e_zBFy%m3F@TD2%+h-iJ-{qgt47BD2OU7rx6XNa)B!^)a-#gTBHNGNOoqAEQ_|5D zDj2Kq^noKX9T^$xjJyV3-jZfWTh3(Aq9NTv8Ka%;?xyai)dYm%8{-N4=01tyVpItN zSu>q2(9psb21gGm7^-OEX}x0M>m6SG?Ep=S+)6wYgq}drD1?fsM^||WalgMb=V54+ z2_Xj9)1WwinXtB_)V-;5Y&K1-I2#8BVB=gk28svjW-lScy;#$9mO5OL1m4*vu!*2H zS&=wxp%x!0-yU*|{D@*k``lZtjbT!aaT&-2G;gx@^-Sf&CABZok$;lN>HT<&`Ft9% z88j@43~eTk1#%N6UcuhO}!u z2H2b6rY^CR@~Ln3$unfUr|4AIrS~-f5ph!w+hyYNnZ%OHUo)-3a>TNMMQcv+o03!m zkhObHRKN!h|!oS2}Fl#u*p8{D+>j>;QAyLF2qU|N)r9eCcUQqrfI z&^A3DdSNQsmhY*G%qQUog(HZFw-c1}VBhke=DnxKh|ENmHFHDvq{!z!vG zz)d$EX~tD?N;mo?q}Imha7Opz7PR|A>GQxnsPEhkYRJ7C8!<~Y6k{lhLA^7fb3DuN zqU`|gwa0clw6$she5Sm}kLf?uiG4N9%2KQceZ}0BQ zHClVoDiVN*b|3C|DV(#WY_K#67q0#5p396@y@JslV#f0oN zc19C>1Qe8MTcuQ)s0C%*F9pp$d~+E15op_UyY)2ohqM zko|wcHshaw`(J4LPY(W#%>UoK{YT(m$^OCHf0On94VQl-^1liBH&Xu#oq_)X^#91} z{~eY81K@vCIOD&-{eQ&XO#l0GBL0^eJQyeQZ}pM}__+n8^F>YCAr7%0%$$ckvCnjO zebl3_gtWEbTXA?2CB_(f3C7X-gsHN_>^*VI?P|#@6*1UA5@f)&v)s)G3V!i zK}-d%0ww$+O=eJiCM_s!Qz-0T**F}zGN`;>Q{KvIzB=ef@=}ik*7$inA_+&cZoNBP9j6nDt6+L=<+V0LS`#9fB$&>qV5!Zo)R_Wrdglypu*@61TLH$Ej-L#%( zX;fC_On}(fJ(F|y?zD5yBHUm$n53ENc*nfgQ#6>EsxXO%|7%?<2Dz0UJK zi}Rk^i;M$r!fln)pol42paUGq{HF-6o zzObyk^)-fvJ^s%OsxeFlWDPtBMjeC`X7QVnzCSHRJni!ilmyIq^ExD1fk6IrX+C)R z6UZf%X$^Szbyr7BGaSyRpOat?+QYgTU-LpS>0{qoIL0K>=((koZdgII>mMb4r1yU^ z5Rj6#n-2*qlPBcz%n5thVANm9A^(CyrKzi&dhm7r)nPHRXvF$|oW61Ozcy7%46Tum zZP=QAh8qNt@IWdIm1ho>HQ_9!vy% zvx^8}WO7V-ln$nJ965rf8u?OW!oC`y1RJ;{K%Emdd~4Z^og_jb{3u0s$ka2<=VsJo zZ`0eiC1Ta`o(s$&*n*ZCDmmP)6y!kS2;i3zuB2kdPQReJAx=e`FE&KrQF~N@IfQhR z8O+xc8Uqw$E@a1g1ZX4<%x~EV28}1VJfp1w;z7k+E>S?uuttTloso9%C1o)|9S4xB zy)VS*Po?pV!x7l{U{rezn2>Wz5iII2*)+ouCp(14qg_PyO zYCoaViO)*wfbx3kMrBXmYQF>xRjZTRR-H;tkKV5#R%M(U_7lGaGusq}p$%C6D7tS_ za9s7kD!iY9Zm5yMaroc-I2@1)Ff*26*F7mdP_%wp5_%-b+~VQqEV=L6m)|!}Y9$%T zuW6M%cjmZ3vV}hq#pvpop<(!;Uxqz-&^od1t7T}xqOq?ZCcT<6(CU)X87f`ZzBf~+ z@KJvjY#A<**&{TqW0=y)$@ddjH1v*Mq8()idNUR5ok|+p@^xfHip|D_5w`?kA^g5V zzqFa%o%tk76$2YhR@Pva;7AQyL*RJ)!2fY}M~`Ka&!BBRV<{p{ru2!ej`)ZyvN+w0 zv{p29B`|rH+-Yz&eMcu&tiu~`L{us#h%yf`wIg1n(++AGkkVXcGIJ#RsXp+MZlFdV zXjgSbXGZzVpu1HqA5DhBc7_m2F7L@PM(Z4Xw(X^pVOw>B359Y!NiL>W;XO`2#f z$S8r3g1kz-SO^xJw)K|0?4(?PWUm*X2o!c=ahr>Y+kuXt==umk&eb?AKMP_X z&64kA)8Mz#<8Ev#Wexq6g%)-RMpcQ0PRc`iq0APa?3zlpI7Js<{;VYc6Ld|>((#aI z;JmhOLBAWynxO|;c_+4Rl!If3rBAVsm=ogS|7qeRY$k&dSWZ60nh+Ul- z7+KKFgG*+8XHmC$^=-J?ha{arFt4-k^K#(T6^1dDgE*cGf;%H(X1I3U`>UQ`*dTyjd{6BkrroZ*B|BJBp zXLtKwlr^S5g{=Rk)d&6uZSBv%|7WlN4{hx~_UnI(Y`u}Oa2$3 z?SIzC{}V-|O>E4Z%mK_yEbPDAd1|1Rtrk0~&u=T@jj@qI(w?20MeKk}MB^_LtaUc} zh(zIq8yTycEK&3k9hEr(_!IG2(Cq+adutpths>aPB$iFxda(ksDR{^baPq-syp;$xZc)a z`wbVL+PX#v>|@}jWF$?1r(OBry7-UOK*JSKDu?pB(7yAGm#72dm8FXYVQCqVA=I?D z)2=xkDIU83cErai<7tCQ;*CW7o$4=ou13Dscx(QPx+wh+jr(wAXrySQl@LsICr_tj z>N@$Fl2$n$-L#+y4w`5Jc;7MS)+D>L*VfuwQV8+U+WMNr*zoCqT^UnTX`41c3!kiv z_h(c4j@M^c{#)So>w&3#O>>J*23t1lWbaV1*yG`y%uOl>`DaRNG0EzAzW-}@fNZTATLm@8kEF*r2`82ASYcw76a2N_A^EDXvCR+ z^^f+5T|srPi)l8*ud8i1IlrL2II}4kq{ORE-PCW7*!6%u_fuFw(4|yR(Xed?EaHIk z2G_HbsdpX9&ma|>tCLO=$?+wm3icSIuj0b*K0faEnW5fvAFrC1-Lls!+(wTIb#&vh z)WL1vUQGO;MJ&YNw(i$e`eqJ9FgxKlEIApxJuLdeUfIOn+Q=jJp)z|mo(EYX17PBiy+U9vy)rjn#g&nb znW=*1j{T9E5aHSH^Q_{}I(|79fch=9P>+ih*CX(bC&wxQ2Vll2&XqInyQS`nN)>Hu zSOdi`8&F6_g|y`!PgU{R_Au_7%KFt7BO>BYT*-j^VBrtnjnxaE+uLOb>{0JQUcQHs zO9=OY#!VD(&?3C7UUa?=QEcJ|*{Rz-lqb5pI{7uwxJ}-*eqXz|QW}Z`U0(X0{B#1w z50BcONchVS^5?~+l5`c>NcB#9AqTdFW}IKQ)i?6}{Livgw5yOaDk-0@r(!C3AM#rj z;_5koDY)ZkajD&vAx}DJKa)Q1ci88DT_+)R+)$q8^{2+^2sl?rV5tZ{M`3_gh(5Qb zirEYNLCT3;fp~I%!4;_3yo#rl69fF*e~^VPv6V^(b{G&YAMzbK3p^uPz$(4F4Acoe z(0a6x+E`#tsWgwz>*L`1_Aq`-?WPV);=7^;Py_L`rTP-Fv}-cv^`LYuDh31wo_fg& z^&TE4q%M)^5Y=6Kt)1EcsYI}_f)VPppF5;F(%UMd?;xXj9Jc(EJGp(T^}>gzgU;<^ zO$Bm<;p6=y(wNO|u}4}QA?H845YQ>fDRW_FtDCKl^)>*Se z;8%cp(fT)V(B@{`;tBE+qi#wIr6x!|`o=nExGNN+WkotDV+_)#tmBt&5GF&;leGFgYQ&P#MGA%M#=k)hD4^bZipcY3yO^-`m@w z

k^f=N|0{o0Q9)4CU6L7oZj5gPMafvmC3x~Li#Q%(&9N;oG;A_W5WszSZPE*z8E zKVfy<6-`8#P$;JHvlVDmMY-Z+6~`_wWM;g{Fln=}Q3aRkr=?Y-%?i>Nw=yg{wl-iR zk`0{Q9?G{iL)#+vNul7>gh4{RbYTNzWgX|e z4~j!d^)W<+8d`gyr7kVJTSE~qkca7ou4y4A{ubv1&3MDNoQxiByWoH!F7?0|C4xhq zoXld(8B-G zgaswXl&(IH7pEo-xsW&W`!TcVjEu%^X^a$Chm}0B<4U9+%rX}6Y_a-M;EY|HZ&> z&c+r&>FQT~x3u7pH2|ifO=3#6X^w+^4duaF9Az=JqtPdh<@2?#bE~XXU3^RJ;#T`g z7zg{2LB@Sw4<42~J-%~;kknKVW9uJ->@A>-FYF@vC6v`s2+Hm%0i%VS(cDXR9#>4* ziD}>Sgyv-^Ic@JRdvhbGW2>r_$Cg~q;w!+1a4_}D$U0BG+rKq)i&XNz91gt#!Y$; zEwgvXNpb1GR=(l`1tP6cFub^B1BO+Yhc`p1TO>46(KD~gVhqp9^e8V^>!>Kq$UzY5 z)uszeWO)2F;iwLB1FCC!z5N4?LGym}cuGp5)}fw6yQXhl*>7)IgLQKbhJOi-!Sk=% z!zIH(Tqnr(N%bw(BL_%hHB5M5%+|NvLVoFnCK?F)XqUdk2CnnZdNSlRb6mu(%%r5l z%-D%un+4Q=qUdTx0ksKAh$f+X*V@dGu3~hpcJIk-A)F^d%PX&|guF3^APFHjAiOZ` zMRVC5Yw;UOk^lMtU25zOwVn@tvZ&%TWnnIKJl&Cbd6dF@XZlOJV?Re)kLu-$>xCz; z!#{AfrbtBbC!->WWB8=>)uJ{ofW;DaFV--he*~JBoO4E zrIHyst)(B%?si<>txpENPcT6dlQKq|U$nuVy@fw8L;}IjTF<<#wrzA0%>?&)J+;?m z-gmY8QYiI41sAWobjDX%IAr>fG}%OJ;?X!y?FZqeu z6|+3MPpoH!mEN|S2HjO=EuLy!5MFvud?~rpIYd_SF+d~EeaYwAk1vzeJuNNkAWvOm zD$VI2X9eO65Okd@8#I(HW{#G^i)sdM!4V;-I?rVIg*T6)Q`#vR0WJtt*J1L2&D}zAbX6Szkp+vdYF?&*X<|Hh4lS z^JQOs2dB~APIK69EA!Z4RwNR@%8KWKwBUBZs|0xOD94(j$M>LY>~pxw@p2i81`?0R zDnfFBa57g{(blLV-f}0Vn0<~w(U&3juIAP!A&!Ig@vW_$?rPPe*J6t{#gqMVYe-+z zd7Y=a%sv6hTkf-0>)AxSD zmIj90iB)RH2Z$=8@bm;wkSgMz6Jm0UCivV)-DQ9#kG@K#KZPAw;6I#|On>?k{~P}MPx$vo z++WH5mU{k4a{u7JzrB+zzwr+E7vKG@&HOe={w?${u>zR>@?ZW#$@zyt^DmzKAEDsy zI{q&84-||ggaBjv_h)I^*0!IAP~I!`?5`+bg4o-*Usierlt^IWZpoa%(SvruN<~%! zNhNcCExkW@n?}>S4)JbGYfD*Pf6eRPUmHI?Wv-Ia=qNG1JB!tRe;+%VPTq_u&kL1p zJHB-;3=MS6by$FtY2@nop-aHul_qN%L3l`^iZ8b@RU9$GZv(`dJvmyxwPEDtcXxh% zOWq75N7)bT4>5VW$}UX2%Uj472k+92&ovBUsuUESm(n&7fe)VvD5%DS%Y-R2QM6X_ zC>4-Yk^2mnJzth!K|3ot>>DH*W}e*pLDA=d++(9Ix3aAwrk73d=1_1MT&`T$j`f|| zth|~}^>9&)UJp2O40hqI=XZf!`e3oo%7XGKzOB@U>)Fgk$sbd4zTj5Tw{2kAu$Hzo z_{V6Kx@YRPjuG%py`hWCz0_OX0`9|>A&9rpvV%W-+=)$xXXJ=ACPoxX^$YyGg_1}G z;OmObQQ{`*w30a`CX&inB2zK<3Bb%~x=z!tB}zVUf(0nNW4Rj`AP=!OkIB^C{<24A zNykPUcy}+$mtpSh#n+-UCv|n?TR2$|fEN^L75{9gMH{Ge9Q=(bp?0K5Vk7I99gkcJ zYi5UgTy8mdPufBO^Fo;nIuT~0Zc4nPi2!K9@S>c~nh6a%H0?ZeUttG)G9*GWuLLD= zDf#f0wkmKgY5E$IQ)|*(3e2K|u{64yFyuP~;xSLY>5SbRa*1zRSi9I)7)3=2U)j%RN=@)3WEoYWMUAL2kujMPz>+{JjoHtcCK+H zK>;|kv4ZjAKmwV#cgdnZV~RCo@FtK*cQ4V^T0 ztG|Mpa>4DGsX#B5(Y1w%a5|Y zx@t7Fco9tVmeZ!a)!PHp{+X8r;u^;}46pg*NVhIXnn@FmfthBp^n7>aE2j6t&R7^a3?F3 z{rSW7Gb5+poAu|bGcONswvUuPH2F1<(Q1ji+>Y;v1ZamnRNw|qF>Iv1F;2uLyVrKW zkH?+1F7LaY{+C_&Q!T23nukNfoA4&8P1_@HG>L}qjCMbdueiF#uTI!1O*8_AahOtK zKle9}GXw|>R*@~@puSq#y}%$jfUeqBXCQLJkHQStfEC~kc;4P~(l6Dgv%9;NHIDUW z@*s{fde`vZLBL;_9@N!=Co$ zQWN0Dggw0<$e|1~jKtbb7`91+?mB6a6hdx%%e%{n%lm@9E-6IZ=}jGIAmOD!GEVIH z_7P%AAkR$y(9xUq*VFm-IRTDJ2G2${1#AMAwN@)Pqz!}Mk`PvHz5*Pzdp%JcXlsJ+ z$hTngwUOoZ=>?MJm7Jvllm!gTuGtmzhlnd@#(sUu*nAgLW}2@oyF-7Az2e4 z{2ONm{`$`xgGZB-PROK1Ggm(Mz;%TbOJQe{TO5{P7izrLRJ*3$HNGiYsb8kOSj)SS zTdHxM4E8TGnvJ^9R>%hCB5Y8aA)pb13k0p|5MAtL&h6#!7n88feFhs^Uth&QEWBGv zZ+m|q_D3)}JL)%G)=U`4vGy|!iZ5n6ydzk)srX=uyxNJXy-@nu_MtiJKm!$v$t5(h z$^v)}`IpdE-xf)SA@BqY+*V5T29eCx=HO;t#~7TlUrJcX5)xHVp9x)Z9Oli9S`_;* zF$J5#$qG!&_r$sA&-z^Wf`3l)sUMP@ZDu=S_sTlV+VKib9;yvI+B^+dw6dF9K`aT+ zhkK22?zHpimw-(hAzJ0)12aBVpvdDvHe8A?C=m~|=(5kNb(FkQs8WHb+ogO}kEX*I z8ml1)0SS#W%0pd?Pwf2!r@02y3~DR9(_IjjcElr7Kg3%;W;>ba;hC=>YMwqlgu;P$ zZNDl28~=Rn_F%q#J5aM+iwSxgs%lcPKy!YResXd|tTZN6U~cHw1JvSfP1+xl-FVh% zpn++wG5JD^-b1>KnutkWIPzg?sZkjd?2T+rml{K64^1Bi%&7_-G4Hp8XLRaphoP9r4C)^X-MfVC{Xx zGK|>p!R{munHyu-?J%g=DOVmj1j5*-kfQ*GBvh&|>p#7WD1nTd!)grDC$qVD;SNrT9g1KriXNB+Kb znPMk;dqU}t4hPyBbQDNZ#tDlcp=x|R$DmG1JqG7n`9W}@OraMSiY_JX%tYl16wV~$ z&_i@)qB4_WXQ-!n@Jzfozx@3D~4Yc zM;5_UmR#xLDteuspdmF90SHlvIcmH-ZpiE`^+d{thtRbf6TiFU0s+vuGi75u&cd4V zAiGXD>%Or<#2?LBp+aP)0K&kTDD}tp(>VDLE|@D01agX0OxsyF$5)>_en&4K$GdY6 z)h@ntojD-=#zdvfrDQM6){x2D)P6B-v^w8B%Ek83b;r?^qJmW_=VVNZSIP$Mc|UZa z3kgOis;TP$Ri-~myWeK9gtKSrCzMp1vS^6djjOg82aXC}o?8Q~I&?K*r`8{skQeAB zR}(urMA=cjRyu*+W-}S8NpHGlKz_aPfL%1NVm4sx=d&PGHi9c^Vc5KZD_7fEI;9>H zNJ!YAl=Es&HEMN1wxXVi>Q>i=wAjfx2cFuLtHg!Xv2UC|?9EpeQ@Cbp^>w3OSI`z! zS}c=8*eTo@s?REN2Cp#YbmAMqKP8j01ocr^e-fXM9r_+CZ8IX)RZMUbdUI1H@Ux25~ibqX)B57%E(f7C~de1M_&l@^}C|nW-Z5D z{Av)MH5I#XCLgo((`wAC0s|;7=N%lAIFRV|YYR#q@7rr_x?iwmJ6o1*HdS1gtD_jW zPo~0|d-paX%onzVLH**1zNeF@;p3i%Io}5!WOS6LqorQ+vjJiVCp1&J=D+`lC~j;1 zsjAI#p(6i>iPWWt}6r^?ZUCXWEq zFy>=jb}j}c=I4P^Z0=Sh_PXO!rmkisEY+hfQS9BWpVe6K6pfuATCQPXe8Qezhmf-U>6;G)sZ=y3{G1Fqe_1w^D(5Vt9er^b4-$ zapb+c^Of&IdoStjU5OnACm0VD`q#i7+A5AEOis!Rpk=>Z$$wy~KdfVaVa|VKsz2%C zze;NVHq`wO+;hJ@ZvXi1i|LQRzmomURR58q{vsfH(SIV>A9VHq16SIAYjFRdtG`Wp z|1-Y&BjaCX|66Kf;$UF-^M60qwN@Q|1D5xpTKOAltt9r;8?l&5Wr1NbK0hhSCMj71 zSQ4ouK;V5oy=e$Ky+35i*U32@*Rz*YfGo%sY63^+Lp=Hbk|66b|s(o$2D+0y75lqL*WF# z;q{AGrCuA2R{+_{xT6TQSKZ2wShK{V=K%&LP2TDRBHg-kbu`T_3YBh9m66FsJ4db?DwM|r6 z4Jl7my6Mz@v=r!tfqY=%qWp>nj>$_Lc_hO~t%TKf`Y3W<$GBuK>;Izc9fKob)UEB< zw(W^++vWrlCllKp+qP}nwlkU7wlzuK+50UVcy`yI+H1txXa6BwhB7kZSa$NXD2f_=uhQ zdt7W`m~*jSFDgpEt(-bo_k|fNcxGK%eYhqK1Uc(e+^!hX0iEup2fA#==;7V}XQT5?W43KX zAbs#|pBI{LBuS*RlRK39I#ahTs$Rdx+_BRcrZFl)jAE`inyfd_%qx=K6LIIUgqsmF z_~FGl6cQns#hWuSKcJbEbn!k*ZpoG18nbn;@*=K7EB}c@2C|?%7K4c`yd-dU(1kY% z!kIDodRBh&5y*gh9t=i8A+eQG)>N?&cnv-XdR$z9G}VDFssk^9z04Dr0#&rTHEMTvrZZ-yXE^OHe!V}S4Qw+g2ux>;$5PB5{TRz9ZJ(F+ zl{D{i5hUZc`kEMuu5`{4mKn(P)UKUp3dq`Z&P2UPf1Fg2Cc&COSeY?)$u8?BRPGgU zxo(>^SkgmlT53{Q&weZbVN zrvsMIQK6ao~#raB*Ynj_U zL$?WC_H_p%ukc6)@2g(N*>d9L9KvR;NouCcsnOrFj<1~zTwTQ>ZC&=@Ny;B=0DQ*Y zovi3vF{19LGe?Ki&>uza&OH6W+gbM^cmT>`iV#w!HV?NGxJ9LKyOrE%>Wl%>yy$u= zPbb{PC*l%5`TJkZq>M$51JBjGFdWeHB%$afEVTo!=yHN-w#vu{ejQiITBKIBj>K%( zKe3g7VY-NkqEtn=8vUUdq<Y0bD45hMPnxl{FJqz=6y_U~ER-NZQi#5mIr z5ST#N+KQNY3osaVU6sQEV<|ycO&Y;;(ua#vv zx4L~a4;(Gr%Q_2v?Jj8q=I(tDJ%V!FYBa~Au7e*y6R_Tgo0 z8Uia#HvUC1hmnZIV0!3Ccmz+>p76aa4u1vsRX5>d@k5)9Y||v+r>7akp^9NJ{_LfM z$24I*?>y15YY*qj8~UaRD)domLMRld6O)E+wLQ~0ncq4tv=Vu(_!w_}$>2`Y-l~dE z+@4b?@Cz{1^avx42ECUxsRf{sGl3foO1J*wd=CCXSlo=N;44e;CFBV5HYg;AVjOlA zl9C{py2Wiw#p@fi2CB=-Yjl5H-L01&V0Y%g$>$C~OzZ(Yv@Jz-DuA}42E11xVmEi& zf!&znP2f<{!&(7eM6&5kKCooeiZ+6zP30h+|ExU}zF8ZiMqA%}^bAnalrZ&35XmO9yjHoQRm?gaooCaLcKT~@ICD`oOO zR$%-S7-T;{S0|1NdFD@y`$bC!hZ>vf__*%U=rPkJZc{D&c?99e=5Z-`Yg! zU+EhL@xRtO|DLS)I|m;NTf#LCbwY(SF(8^u9IZ`8`ODST5v!?NACibNj``lciI^19 zthrMT|Asj&;X1a?Q9_X>n82(*hdh9+=-V8(u~P8LV}2w$o!re`^0> za2RJG9MN}du-)=Nm510;ojN$}&bM1k5EqJ-vWeg}E=P=o*+Fe=3iH~CYp3tctzNc^ zw0w#}Gc;x}L9ceQVA)(2okT{?0_e9U_sl@nWj1pKy^JyI)gHD2d|rBxWfA%$q=h8z zuWF+~g5ouB{xI$3I3io|@=y?uUqdm|3%+PQ9Btx51Aj$x;n~H^b6T8ENh?spI&C5S zUBVYth$4#%>4-|3D!z7iQ><;v98F5Lpp8(;KG`}uVIOEBl+KxSZ{5S?0>DMDt$!zU z$*|#6US~!QH&^RpuRNPSebv-0RIkx7&9FjcF3Spdo}|YQbwmoVGhIt>`z+Rp+>&+&6|Ko3!2K=RZ zb#n`7_7t2CL#$)oaiA`~8Qi$Bw02#A`!HNsN97_;b3+*)u}fS}{D|XW2+FFPr$j*q zBKSx&Gbz{90-5VatsF7u_a@_#$>f)GxLuctz(rt33OROoW?!}My`}9U|;V)gr z6{~31Ga-?<9w5+GdZ=fQ@9VR~{;!-#YViJim9~zDvXSO9Ju|C!#{3l+TndYs(1rTo zg&Nucg>9;@F?(wA9;utapr`TtnbjHYx_kP-b6qjd8UWebtWC@%TkNXuQ0j6))``*nFZmCVho1_efTA5IQuYG6R`b&2J@RAtNj0#Jp^L zl|Rl_2CTY(MUCa3|fba z5MLHUdM%(hZOmGHa~Yi|~-XgU03RSF6%q$^0`43vXZ zjS0Z9P{bu`9m|#{%?m;ar;RF1)QO|d0vCo=vD8wgr4n4IQBs@*;=sJ0=E$@D?nJ#O zM1t+MmqBPY@zR}pt-@v#xi?c*wayEL_);nA9!cDPB^<^=+^^t@IF`mcoG1{(gaf<=tz&2nueYwvHL)z=WI|in zR{6_VeybpM52(KhcmcLKh3m_;AsBs>F>xRSn_x{|yOblUFeaEFHW|CqEkaxKP$M7_ zcCe4vRbP0Tog3@k+S?-jOLP(D?8`eyFYJ=`B zL@LQZLwnoH{u|Y;7z9-6$})?zu82v^eOv?1T>Jc!F2}1a?0Ri?t5YeupD&GlJx(%S z?)JVh&-aj9)oB6dT89-kOULgwK5PI_tQ!6UZ5hU#g_Me2-p2BXIJP9|#(o3=traY2 zMu=UNllQr!FG-e#WI#|=oS~T)YITdif#V}(t*%mKtSV(_1PvWslqSs{rTc3v1o!m% zhmEq0NuC&&0&CWwBoyf1%PcFCjzdaOaPRGDfNQt{u=75hL67Tix&zO{Sx*6?A?G~< zZxHpz7Q;z~sU9cx&EcO=EF^_AQo3cjLVVXn4e1uUo@>lhz$hs?;u3a^M+}6SCgE!n z^n{Z|DTtTr8v)(tmwq~O`hb46iIWnlEs5@4P$wavnk z`(Vl;-;cid`FH%JyymeM6;T~7m)1FaRZ<+`?B|gyY% zwF8xUUifaCq?zaxR}M6nx=^g3Cpm>o5z3jg*?hYhX?CZ}peYSNs;hl0QQM1#C8L}d zc{#slM5dz7Ha!3~+8!@b>zVcy!4?UviS(LrO-N)!0znKkLbF4@!q1JzN$kkh6OhfqUPs;uWBH z5e}sgDHksKtT6?+1_f^d@&8_Jr1^!xO(MQhmzF9KX=5=)9Z{^OvxRX;+QLZYLNf5# zt?3(8Ma%0O^C^#!%5yk?ICbq&}1lKd5FQzAuT23A3JW{hv@P_HQRfd9x` z@IvOZ06guk0TuI++?ECRm>`nX%v#`*=)Hd-!QLa5Fx9R*M`bR-KB~;JQ0|&(u4MSi zTg&@Yx?FT8pmf9+952>&_X zEK7;gqr=G1mWRAhsh_Z><^5=xl!^CP2+$*zRtW9LE5S_x3dQ)oa$m}kMbWk*7i;l- zWNWy4;BA0?MVW0i>lJU>M5DLZ2J%dXdS+o_{h|Vp*PaA;!?16wGP}y5m|vSwdraD^ z;JrH=Tn4E*JW9hxvUwCcPI(VumYj|Co=qd(PW2(j-oM@q=S1fqUjDVe(5R#3YM-Mx z6LR+kGt0X?-5=S|6+gln^!{iCX{?b1t)16A1TrFo_)^xIg(pG4(+2>qu_)Z?zW?1> zT6P8K5zQb5!EdUDDI}5-~%WqORQaVndU*V(#r!zMF;b0|S=?N?AVQiqY8 zh<5=SF_6r1sU7*dS{$2y@AObBDi|`3>tFz&4xAxO+vKtK)uCgb!OrRvc)GD7^>3u+ z|LO|--M#R;v+%!2&40rb2>9Km$nsB@-X9yR-}3OURnXr`&A(LTU!K4}mE<1+^v`A1 zf0v+I|9AW1f7C|&vo+#RW8wd!>||w3*w#P?X8OIoq6X;bIO0fP_$=3?K0~X~Wp(Sj zOsMI2N?9gUtwuZ)b5fH;kx4@#_tw2%J)LD^=Y~K)$cbb&>9azmvy>?0thpWrU_61- zb$8`HJTPcr>H|p4cS0AwVrsYsF-B^Z!&brV2%~GX3_TdU*t?Yd% zq13m!x3~JpMCf=u>k5TAG`kTd^P~H7R$N;uceXt%G^HI+D{J=`Mscuo;O#yh7&7_b zFeL9~Xe5oh+<8X#B1Dbbs;p6nXPEYR3xlxky#c`Bz!OAwDMW@tRhn!B)V~y<)(z4u zg?i8m*yu!xB%&10DkGb$$6-X+45yJMLP~Ki*-fm?IjGtSqNQ_^T5+oVloZM~ZP%7) zsRD9l9Z_G7&>MIjMyN)8GX`l%eB-d>{HE1x!K$Qw{<8!rLk9etRgwD3PW)Y;9G8x| zOdFv8g|o^e6#wURRp)MnwI@{m;^|!?JV}d(EVgQm_l~v6#A+cx-o1>%sp^dlL-?hm z@uF&Ws(;9VRi6R`HM`vI4el`oF1;^?{i5e9nTr8*$+=+W1^gm0X0jxGbYug^!TnXQ5l!s;;%f$6oG(h!C1SMnG$fOOmHRt3O;cYG=>%jmvf{H zF3*rlf2|x4=2Cjjkk2su@&?_H>ypB`GUq9O)E`xA8qgPtHievpS=L3Zk2_d{oL4@a zkPTq#3FM#yisonYe#9=|!yPA61Lhw3n-ron&jU1`d}L@6$xIbatToXP03Rt64>15% zcOjPu%Ph+>PktF}ey(2Y)50$Qf$oQ?yfc4q##n1+F^I_XuUrQzhCm9GGmfNBXI2I3 z81r>10^P2fBCb;sO!kPwWc3qskvp}K-B~~0UMMPQe+#SGF@w<=8 zG=T2tv)Z4iFdi_K{4iRGlK?H6V5xl1ofp}9sV8QL0 zpiTWchPuPTO{4`v_=+9pyBxrz_4|h7(;~!T$|&Qdln?ZiX~Zm%>2WyWrI`R)_M35y>E$N z&CmfZ2R_|^XId;Ad^Jf}=dS|aVbKNi8Y49+n|tdv!lE4Eqg3dRqKsG7jpNdq_BLet zzKK489{j$Nu(5tiuSf|{RJ1e3juzSG3{<_bFU-oJ7HhSXOGrUHxPO8*O-R;c*k0ljBvkU*K0czm8j>JrtVwwv-j?xGr>;dY$P^$s{Dy_oSm zb}ZE+eMK$pCY&>y?Gn0=yWBwb=5>Ay3~@>LA)Cbz>z7FB`#b??sruZl#`~Gb{kgx4 zEImNV{|S5)N^_ruWCQl)(8N9jzp0QSjRJ))kVUdEPvNN+5YhrI?st8|XPtEAvU0zPlP>YNhnTkt_WVL6Qm>0%?vU43(Zex1xqh~?c? z*Od64$-_rS8ArbZZ`l{5typ;0=F8v;sagGR!lPJnTT`2Eo*xUJPv@WOi+pBJM&>wfZ33%-rkB5ccI`Epv#zwMcg@nzk4g+naT>o(K1G zxuZ6jKeP!CaGAKn7?=p9gG?x1KMZVQNnz^*GYEiG@fP{pZP@L z?MrSJ3i3QT5nnKEvSPD6cCleAn`{&aog713f(V|^XLv~*B}FMFQ>s~1&;e>ZeU>uA z_tkd)43{ZJgaxlk6t!eWYHqF@?iFFq8ioKfcE#%#fHl1YN*?6)hvrQ!b-lc@QB%J0 zSx&)45U7Ya*N;Z=^pM={iHRr(RuL>{F?+Xi%*7C>kSRB%Z1x17edHj&tC-0$tvMf{ zZw~eO;CR!acv4#|QgIvYb@^(T>W$+g;nTHK>1bU>Ir^G&o?3J77hAFUq;G&9mF9j0 z%;E=F0C`WP`OFxrWT6LB&MftJ*e|blCSq?}2=0d>!N^URMVvfGq1*wFQ=#1RA8@3n zc;(Bar;-m1NChlZTSx_@2OTU0I+ZM_oE+$9vJwr$MrW98FGIdLa`nIe#(s0qTb~Bn2NWBYZ2{}d~JA{%ok`~O2iz3?|soS z3XqM%S9k#unG+PB%;WZ-)67=yf~O+ac>sazbA}k!{n3xL{;C$QyB)TC;b$x2&$D~d zDikcFGDVA|$TkT_h$R(xK1I)n(QiVs3r7b7ZXTcUBR{AhqXGCUJkD6{*YqNon|b5Ujnk1Zk5_6YwA>)5 zqDs^XpI-+lDYnW@W;aSGj58ZgB@lJ3mh&d!VxZN#(^41q@P<6p>pkcFFnSSJxZ`f_ z+bHpmRq&c8S$!kex-ykO=M6yh5(Q!%Wx0Jp_&B%%9{WGRw8}N#ROGo?E9wOymH>Q; z_j!r>5BLEHr=g8nnZu~xvTV4fWB?%5gAiv;V#6W~bY;^^G8HNd4!_)hG{d1aSMOnE zE(wwAh+u}eSr|%OIjj+o9aWD^UlYCQ90!+IK1PV`>Sf2CIccUi+S9P;2jJ#|^xaoX zVZIeG2rhpDEA4TK{0rg%|Ef%9`Col#tp8Eu@KyVER86KYzgcUoifAIrNwL>@QXD$AXEKS@b`<)&H%95$oUi&^Va>xiDHZWCmx( zpFmDXfHlGgc2A%-QUe}M02rwORPl1TcLG z8g5Ca`UIy#e_Zs&v`v!sb252QT6t^4j(q$6U4e0 z>nEXFW@t7>srI+4h=X4_1nn2E&uu?fxJ*LCpNZQM?10VaLXj!Nim}M0SA;MM(Rd>s z^X;JFB?Fsnm!=yZa!ATm0JJ;;1>BIiU(3+S9cjY)aKzNER{77mzE_kuTfdKBF>=zm z1o|nKFg{DRrMgelgul3sU=V}vIFziEs5Fn(N?~c(8|{~@?+iG&@aXzbA0o%ia}K8a zwH$eU8^Lw5o~evLSyRgQ37-p0S^9Ly0RjeO!!$hBAr_ zWxg{S0Liq*OW!=y0Z4a|6WB|SQO}_7sbF6?aN(}Ns5rolt0y3iD}f6`DYgofLPp7= z3VXgaWn%KXw3dxL`w+lDBbC&Yfm?r_h=t0gb^z0`{(Yoj*ubfqTk7Amc0&0jCVpz*K0Zv{foLk`r=EHdpAFMatMh4j?~MJyBU-d;6*&AP${;S_vBeJcBmx8`yWL%Frm z<~`JQiqRO76~I-pJd=@FnRv{yUPGe4sRq3&86n-WomL%j?bgETJT#J0_->93OD^ER zP)9$d;!wNS?}r`7XIl+%CZ>sRr7PnH@Xoc|%|qT#b$qv?fG0MhB9LDuw%Pqc36s2a z7EM;t9yxr)LzCzS#YWs7KiLo3Pgzs%h9npne|2WEkpe6)HC3m<2)hn2CV+k{wQH|4 zG%p#d%hY@uKE^nlS}=SufqeNcm`+Ny(v{|)a!7%m&xM5s<$`Y#al)JGS({X`X2Ei> zcJerAI$S!$SJ`1{?b4okg;A7ra_w{KPwD#jS{s?D{+)0(W(acHeHR51n>poa=uoHb zrR+Y?upQu~*;7+&a?`=E-WH>!0PrkpT!36me#OOSs)BkNHo9-H9W&>k zgTN61g>G&_>NknL=8CpQkE2w%iA;|Xx82hO`tf+z6P*-{m>B7NnvvHnjPz|W=rkEw z3Z_o|Nu5KQyRpU|?bZLh(C=>Mm2T9)cQVu%K0) z3j#4-N4du6V7==bK!9tb_ci80luH>_+^Hm(kPr?G(REO#(a45Gcs=_#O88WDe5fYm z!4+9MbS%s}i(ed;a`j{yM|0^8yLp>TLYO>|B(qFN3fz#WH4ihXp+U`TO<;hYl(Dz) z$sMq;vJjp^K7l$&M9x!GkPIeHJ3hq3vSP zbYp&X+v~*&S|{+tLD&B@y-Ccfp5F}FDOF3xm>_fM1aZkW{>xFQ+I0kUqpMnJ=A7c& z@???;0x@gYsq(An0lI3;(Rj7ImqceYc>93Vn_H8_wpD5At(naW>P)InxVyHm)q3waDdkVWxP~MNu;v1q zAz|fqJ833n76xbssjqRMETu}Bf&IrO6TkC<1y+gM0Z8VHdr~(Re7bAf!!quKgfZ(F z+a`7mzFnPuvZiI1cKDs{*Q{4>;z+09FJv*1*h{H-0zEv5)>1@O0o&+*A?KSG^p4M8 zAkU+DD!QDAZ{Jf-^X(zwop3zCzfuD%mJC0G0@1IBmEffx+FNu|VRmzil8*+}-95sH ztFQzubuco?tm>mts1|1^T!6h}$&>)$sm<)Gd_yU(y-kV#Szo$)pDjf|p?9X4Bt{yt zCt}6xMVre;a=@G_85}1Uc<*fitW0?;Z3(`!?FXk}G{o2eal7p&pV*jX>I(!=<7KjV!m#MKmQ+TyTOS*;6pUdHv~5%_sTJ$cy~0(E+GC4-@{nE6f06 zKR1R6`M&n$vXU~|looDKNHKwF0Ld-5X@d)y>rP`SGmO^;Lv1pwP6X4rxwA2P>BPT# zsdf?rhgoqoMTda&up+LxKJN!0;zGXlfZBIIlplii2x(Mv!R%)_^2VSL6=z=CXkR(4 zOkSHEI>F#w>fr`X>Y3HJr^`B=eiIAu(pL<{F0GM%>Ji0-vM)jKT3@dNs8(8Yg03oS zK+Q*3=xlc5lIQpI_Iq8yJ)lKyz2)@q3u0Y?j;ntF198l``*E&K?+CpChI{93d{0%) zRM5M$V)9$?wC{g-M{GXU=RXzytRA-&t4xB4gUk!GCyRAb1VwgT$JdHK>t<^_0XlZM z3x05sY4vFy^ATp!>2qf=+<%<~Q>Gv0jNkFoQthU*K_KHJz6B*>4`=RCABksfff z$KvJ=<9fLq#wID4xfR-c+iucWj}5$IIU+OL;<3ja?t;48x_F2oNHjl`YCaP*bf8X8LFRf;wT;niP=24KdzxMd|K6r~SRA z0oQZf}~JOZP5W11wqU zkbi_Tbhta^(H5ZRP}|t}9t@hIaR{=nlV0Ibql~et(rMCyCFSwb&xeT8) zwfyS~yQ7PtjYZa&AI952$6Bq;l@{PChtIFZjTpwlgxAmSrs-j5+w$r;5Yz1W)}$}( zvHBS)MNcT-RcN=BbM=kyNZ|X90KS+M$J+Dh-L{RAF|nDW9MIIJ06*aKh8T7-0iaJ9ZBte^*;Oj$FyWbp|u1oGh5o9KSG& zeE#etQ43&vaNCg2)ngQfJYsXapRoR9fUTjw^?vNIT7Ru9L;e8U{ z0!(c>)dsuer$!(LWSil3>Cj ztOKZuqzmB34Fo(BS?WtPM@>!H;bGt0IH#}_^2`-aYdcO(jMHH`0|X`f^R~J3U4Tc@ z>S)5}3+H#^$eM&BJ5m>_E#x}}`%bz;$x8^xE-fP|nheFq>3=_&l}fo6klS3jM{sMG zeFYSp$&!IzRp5VFH)$UB{EoBSl#~6QCZ&)lPR;QHBj|Q-GWs-{B_7VPyRAKCAO?E` z*a{Lv_vWM_MxoaW}&b`B%AyM{Gk zGE6DeY&Epu{K(3g5WvTkPL)!1ZULtv6mJ@>GL)T<;I>SCNl2!lTvE9}8TGl~M-2e+ z?niDYwsTG{Et>G#Fua=)Pw{KJljTYkbq5bMT4Of31QY$HvqZgCSu*Z-{Y>9Ti4qCA z$LIU|aF0SV3vShto-=H?l~eia%E>)zNjoI^_pw{_K+WwG1XYb(FCwb4)2E`BP2h(& zI#vOnPHe*aYpfnT|19{4hAD&rPr>^kK=3W; zkV%$1_gx4Lv%Ya`%Iz1#jSta=59(!&0MnC3=}~wDeJcP7ef4vB=ADOeHS^6Z>M`mK zKyj%6WfEnx0sMrRPqxC4^p;_}-h=$KtdIIci6lqr47n~KNn*i$^pSw4J_!g!03LgT za0GgQJ_H)%VFCRs$2Y&%Nyg-F#SHk(s`*^tiFT#Pc>_@OtNB}*9^Xh&2rC_@fq z)@07c+`by!;R61S%tZr~R}>J^qS(JDc2I(jZj=)cEi9s*86Cuch7$ATTGzDh$yhV9 zMrN}6G~YM0Gf3BH;qFE;5Noc}X=sj4(07Xv0l~u%aGws##+emuLt^-KeDYG2{CV5g z%O^r#TA(v~#zZ5pi;NX(3u0A6lcyY`1V2N9{}$X5L1Hh(fLE_vT^2AB3__Go#ggN? z_-Ng7zJ{D=GSQeH`gu7={+$xWdn0w}G{$0Z`#KT}1um46s#V$>_yeUmIt4 z>P%x{FeSTgErT2j8x%l5bdT}2Nh;y8lC$qHGLr?cCP$a$p(rBX|LtulDXT6J0dl{ z<5N7h&Zy(5vZv!$lBZirraG@Hlnyb_O#S^$wm`#doPpXktu(+ZBevX~&X-(owU&ko zo6gxAGTbm=_z*vtmLXAXr!$*y=-dXCZmtFIW5L8HTJk5vL7WfC%w5f5P$N`GF;sV* zl6T3Wr+J*7+h3=L9zSQ4P?aYg+Ndc#5NbO-AUkfDwZOEaha*a^tHz0>2QSugmDCs*TiQ~?NnJ4A7M^Z zUuZNg|A7i?g*4v9&gD#MVM~t7FUJ9`z8Pci9CHh3?L4)Vwce8ugeSoqHtI zu5h`$TE-v}VQA3Zsr(jy|AfcEy3zd5sgAJ9jLc@0r;)F29MK*1|dyS>m`7P;Gg z#u5b&tcL)Q>e7XK#ZPYg1FJrN!3Hs4Il!;o9>c-g6~KH|8TlKa`d=Lbzggw~atyHk z&yE4WpC=msJ5c?vj)6ZZ>aY3YA2Y?jog@B*Q<8t2cKr8%>d#s0f96>kx&D!7r3PqA zIj)Igbf0PDIzVf&Sw3~k(m=*cNKt2?%WxI)KB9^AvCEK@`PQ<1Jl#1P5d*P9)5kK0 ze1)q0>9t||w)sRLn1Bc^*DX+R@SwkJHq&jyY(HpGopAO9y%4YX4dow>0PPL)4DkL9C{RKei482>wHQleSLd`5Jft%VN67mJA^v( z!KYKEdfJCBzNCp-Bhrq5OvqrzH-}#D!=cN9Z7i(#0r(R;>g#1_-78hh=l+26i9m6S zK(RhaH6~-78_cqfIGX>tDu6B=Eb`Qlv#y_C41rr3PNj(cl}J|)l4`7hp{u$s7-}j9 z47UtqbSaY+^%wlZCqR*~&rQ0p4ACjcG-rV}9cLpJ9&k3* zoBEtZ++l?4{EM9&-Xl;qJ(@uAR5$cvYn2neL|ObYGa3 zN{jydr+6<-YPtAa3!n%o*?bpnT#b5gnT{ljR^2<>xI)h1hzreFnvofyePPEXzwd$y z?jn+|O;^YN9%UBuBnu^w{TpgKu?Tl2-jTpFR&Bs-ReF!t*2@ph{92?47G+dHg57t- zACO?<3_s~)>RH`;s2P7Cz(5mni)bOU(r0RtykbjADOn`LZUKH4MVw&TxsfBw8eNL# zjEqN7tXS1!!E%qo+Aiu0a%|@5uf-IFgY1XeE0vA1rLt4qGD^c7ors973lyu=j8thT zMG^29zl^YcxqooAu;8YjX#SZp>$EH9m1l+epNv zl^*M?`${zk=mPv|rb@DofIeKqMoo;5wr*r=T=~&kdC^?lg{$Jrzt*hKm&ncr+-bi& z_L65`b|wJSNs7oFX%AU=+iu!dd{|*X)KSj3j&}yoD*zY%~it~vBMSU^Q&~e zYDtXPq&SUZNF9u)qJ{<&+K>E7?IqamFv)ASACH<@u#33mzSrsI)$%yVP(Z&6&hx>R ztt(pE1^cPj_E+V6e0`O|vxJejWudaPT{n?%X9NS-D)|OA!AKLsx^LjN!t^JFm9~NE zbAX2B8My!rrQ7@+#8Ozz!1{EDeRJ+xP(`^S%pLlbl-chbh1dT`s`cx?&h{JV8(|ak5E6l1Ql6q~lhkE0dtcRa$?%#vSA=*12 z47w62&K0<}e^u46$yxV&NvSsqbuis*q6j@>|K1EZ8AWbFF;;QVTavzVDmYghn$KzS zc)ji<(_JyH`<%^RsEGavZe73E-Jkz(<%Rs@`%@TkzAWU{{8@Z>TMN&PL+AWulDiD$JM9iq1d4k?m zg-HE*9BaLYZ9F}Van*nF)%6nuqdVhxqnEi;Rfa#oLFmlg(u=#{NV>Ncy^>a2Naq9t z&`;&h#&k=JSa=sfY>cTQL&R*qt9+A1?xFz1mee+l@YqO9F!9&75(Ysi#drBEGVh+T zb2`+zem=LNe+&dYs-x^}BP7|;2?{Dq0K!wnIS$ZoDh+wip;(Lg(>5DvHga}(btP>{ zRYHZxSBNk~;go&t2K_@C;1zCJs~^@OhhhE%SIyX1cD~h7j-|5uV{hZG=@R87cv(;FwTig*?Ci$ZIEm5{0)h zlhNzz|N8ao;b-dHRor4ppfsTAN%dXxx>f?Af`Akh-$1R6c#@8K8(gi{Z6uBb(=cyL|_ZokcPtdaA@bJH(tbc7;|ECBb>pwW;zmBaq=>NaB{+DWze^FKf zz#1L!*9P}bl=|C&)PD}1euwoqh}izQQU1sMY9=DKe-6z4@%oQjUVogp{x6}wzxKNS zpfI|BCK-wTE%ahz{cXNP17YF%kM0nin6+W_-$ngMw*VU206SaLgkE=F zN5hDx71_A}pu0;mP0WEt33m}=6DKnfFWfz&>^Y`p!eb{(ksT-bK8}2-P97?WOC8H@ zc?-YWHtJ{@Ff&fwySuyfk`H$Kd(;-3-)}7WctGpgO56^p)nIvvy_A3d3L7+zwg^yE z5O?@^6vh-B`Wr3wN2o}p0UJU-@g@6|=sV3Q`bwr5%$Y=o1Kc14{mS6vzA-5^$NM1q zJ`wQfO$jmIP98*&zQJd!C*<_07-~?4s`9Qj(f&%Nd*C)K1Inv4d^e@sI{lV#AjZy+ za+Y}?`^+(u1}0Y0_SiTRNQRM5oqjR?Fp;n_D2cTD74vs7Y+w9!n zOG))ya$%9}^R&Byc%;kZNDZ~@ksm~q?mBe-ICNeaK7@BMQba7?E+~Ed8u;nZ5Kww;AqVBKJ_S(FQvur|=+j~121e>*{8HjP4KMSG-QmJf{#V;E&s%IiQ) zXAs6X6|d$WO!4DE12BLNBBB8aQVc4xn2B7qL4*$_2G-z*_FUbnH-nZjUDK{?91Kvw>OvhC(iD_vz9fMF?za+ZXJ!e5h(BjD}Zx8&f{(=IRAzAE( zz7MY9?VRA?P!I|gWp28b>7J&L;_H}X4K=oAKlS&Y{!0zgbSNi0nZjPOuR|WKr3bn+Mc5*!=?siz8#?-kbGIp47FEaN>k>{W}CD|XubLZacq;~9zYIw*1VQ}_S&6Q`wW z5ZcX|%Kl?Ku=4+q_7-qaZC(F3A<{^LgaQHz0z=LW-5}i{Ad*9Orw0j1K}10b5kXK& zk(3T4q&q}PLZlG{$^V%dz2fuS``-8c|L*6q-Dk(zd#(LlvG+N1PAn|^a>9jaxobfr z0U7L@wiT|R%jx3Q(SD=0%@rz=|ItqG(irH>M>;=NYWD4X*m zPw!xqfMce&+T7+9ddRKQPxe$ILgI7-kv5lQ9hG z5CIEy$*mhh;P+XU8535gs2bhkrwh)@3Qnf^ooheb)Z}uFoed;9k9S8-dM9eZ?HS?K zDAz^{np+RfJgTb&q%=Zmb8uJm6jhutpo?m^?VGM#w9<{kv<$gVkRJ1Twf>g>=22pX zb&D#+!wQ*|dzSi>cC7*#=f*AynTD}Obc%+QvOQ!jlbfwmw1N~$J{@Nch@yCu@bpC~ zJnUuA#*fY_rxCJ^6wJ>hdF#H0L3?f`Tr}sh;wTi73Sc_NalfrvGtUD6@>CXjJM|yyfj^F|H`C+kcDfz_&bP)e ztAiZZ53iIreP6gzzDQLLt1t^#b`fiX>mQH3KFU;4&Vf|}cD62znY<)xq&M%*YpYOD6C|1sXJp zymZ#PqqasF8b%WJ8*bet!Y-Gdos;9Gxwd5N<{;QHV4~G`j5phxF6_k;CoDei`aY8S zBO%{}ub{;6U4XX8%J#_)gRI~PXrQgZsHP!6*`MNKwzm+-SdwKa~%izHGXEKf<3{gfADi#GFO-Tb}a$LD1 zu4&>6=S-^r0PdLgEB$pH((yBzQlf&{C&gyDC4JvATI^pm6NL?6Fv^Cm-wpM6MAdkd zcS74y;uFl|RWU7Jd=oL#@=bi3@KIA#=XVnP5(a89YF|r<&mXHo0<C@G5Ua%{$d!%fS(@E~~(^)sAHSc+NDx8uf4S>d+FAH$D!tqAzIkEyZj3CP`?DrTO1cxzMR+2m#37-c1(zdDQv)K}#Xz z9cVC6|KCRC$YGK9kWu~q=4SHG5F7a8t5<)%=Ix7== zziSIU|h%g1*!dBb$-`b>%&&IAF9{C!E1*vc%%J`Q8Wdn0mBL^@{MzwZyzz$@4qItm{WN4WH@R zoOt<-j3PFOYF2Mdf7I<&IdyxHQd_2z$+8`X9(hRcG5ZXMdB3L8nGbG|G?kgjjM8?zN&w(C z9aeicLg>ve_Pkl5`lr30&w&f(X&`JAjj5@DJbNkT~i=Lc{#2j{o1`iG_spt}x z^DJlXmr~5X(Od4wRDH*mKu_FrEqd!g_MZIQ@1EweNsl6mJGzqMWtL7EyInD0!>wvh^M!Ta-FxLlV}W=` zndu$FIViJo-$P~w*9P;Bc-6gWApyVey0mIHOzOLt;`a+f9>+UKmP7}OI7KvF9e?BR z|KfQ#VeU+-SqeTgdknkj*JFwVPJhZ|eBqvvWyFq&lxP$~aeEC`Cwb@i$HmQdYjeI{*iVRMwegafo~foSj@`Jea4j-VxYvQmO^^ZWj5E=y zWx?X%`SBjwk?tCs2QSE~;$3=VMS@5^)^iwB6A75z_bh zUN)>SWRL)JC~Pv9%MWAZ)$#4aC%PSCgjzS339Uls-Y~Cq>@?etk({HkC5sL;0e}~4 zsra)jriJb!0)fWXK5FN*lj4_gcb~qwxgyd*f4E9YdD(epWND!iqj-h2>(i7ZEXMdzzu%KjO=IA<$zTz{)W(Y* zlB0%99R3Y6Yk656Oy2;5lz~@v`r_=oTtxN$Dc#vtMbk>HUk0*Tf}?F!;-1)}<;{KZr16iIhJ)^(ckUHSIM7|2F-mfB0zV3>IS|iZ z?N8ozlRQfCLaJR=v8UJvo*Q-xn*u(4&xeMEQ^jM~Liq}^p;}xPA*1vixLR_31yEy? zqJh;&2ZCA=()!R|$B?(3#^1-edPF5gk`(0v4P^2US=t((bUHs9+2OI~n(j>^9G+0D zlqbhE2W}+o9xU|@FNM&tmz;eB$loljx#S=c{;rHbtsp+`p1V-~H}10%PG4+EIYPge zZWhW9thAXunG*K%yVB3kZO`NNk!6nd`ca)_6%8|s3<2QXyHAYRYg1rh!FqN7O)_}` zz>I%ZU84L)$|r{PwM#5jigMnpaU?G>A_{QLFKBm1m2Y0tm3yjQc~ysziVUFV+$!2B z&$iz2(<&n=TLz}mVw^s#O@EDF#@=Z6ILy7-v1&O8JA*fn`mmnF^Zcvr@LHd0WwIa7 z26~?wG%@wpjb5En^CPNc7`h^oL?qU9{F3U)ONinFANH{c6YG1;&AH;uA&q3uSSi)N zs-NxZyCkQ7kvZi^F|zY+X7%PYP=}pp$=&KY7i0R=Uvil>$AxP(_Wgd#IK(uavtC`R z8aC3M%uquLiyr-S1|BQzES<>0!+d+yRkbhGU%N5}=cq_{K@%%*a>tBMFM`#V`YR;G zvE!b8)@{q&{Jxf;lWc{(MB2DHix-Ydz6ATlBn@n3l8i2kj_oYOCW>-&K+YFPPh_(B zMAci_8n3zIrA*P=DG}YAmGuu@6FR_eipB@v-cl4_@uzD|TiWzF0NpvS;edpXhVtZ=ZR)&)Nxmj}Ewecv!sAL#ML2 zkC_!cq4V`D&$*1nYJ&z@rF#JW_P+9ygfk{vb|T}+mm3p@Mh^g<2}a=-U8}yLQds9> z+6|)V4atcLBZ|KXZBIWZ`1g@5`se(oz78aWd=%iX$QE$%Wimz{3Pbt$nP8`H>kFZO zY6M1@ze3y7&k+1RfIfBqo|g$l8;o&JpGyC6?0o8|nIHK}AOM^T*#7q+^{IgO_x=7; zpA!1tMZCXm_Zvfb1$g+Ggaie7gnp){O9Y?*oJZh~3IQmx1f8P03GfPoorQ&jc%V#B zC?Ah76Pmg}en}Ae>#Ie^FhLj(Ke8M^?HZuS zqj==5!I&Q;A@sY$ujgQm!2y`y0s_d%{*{9XA*ad@gYm$b1mJLRV(1jv0){I6S%>O} z&Liti{{g2j{xgs6@{D}LZKkff20D)slfP=ZG=EsfGHH&7u^QN z`+L$L1pusu3JZeOLV|oCAvjEk3Ec!H0OjEW#fTz?&I<~GoC={A0?vyRG8_gj4Vthp zYK{Mx2p=CvfgdFqBx|Q~e@O>`gR6!lCB%p1Ll7haPUTcyfET&$D9NBo`B4+%M{zBP zB8@JAp_xFn`P~{#NdU!~035k|0w98r_g+w=LHPhAkEjYkR0S&iz5c(puEqlVpa_4L z|9Zm4m|s{3qyXoKBBw3D2M&PB|8Dt9X^nr@g82HYC71^Uncyf6(S!u~km`a?PmyCn z*9r&;g0<*8y7vDiMbQC%kp@>7{)-P@Boc&B=}#=6K!eUhVQ{b|31fME3_<2r~(RefXG!`C(uR16#o0f=JMUrQrJiyg)%oNSGHCA&eiX$1qUj zpiM*#4L*A<03z-5Y@mX|$mQe(siWlnJBJ?s=PdY;hCxUW4$cs*FsJhZ`~Y$yKc$Fj z#4m&#h#w9rI;e3Vd{NhMK>;N6Q7ullMwbXc`9UTHK{0?60>K1QL=OlTMhXVSjUXzI zN`Hd`inPBdyMsp1|4Yip3(f+(eTe?&G^IalPD6%|7dYMNkG_BQLQ5N+{#o-!C!~sl zeg!>;)2oHH4(JqVh0zNwBn+U|8@0yhiJ^goPERv|9vTiVI%se}T?b_hP95}H{3x(O zd6A$*8DuDUZ&jEVsVPE8V-Cun7pbD)>VWoBfEVn^#}7sNBRFUl0k8(N4&W+*D-0?x z2x}PF8w#!`6f6Ou1BZg;P;e|b6I2L_;to_pumgAj5(JeOsSN_il2cmp-}%!L{B6L2 zUv~T_I8jhWN#Zw3ejOhf!-Szoe!$^D`wsd^Bv-=Vd|{wsA*X_LQJ`|6S_$$Y(SVc@ zQmsK%1$_pTNf>41&@JGghY$vSc1B%*s>qLI7OiWj0e%jNBFV=KLrEDu3see4NgQb$ zL1}}E{WFI`KRSQ9L{J#1Md{1wwfa^bCKhBU;taq=k@7 z3Zh(u0JuJ&<`9U9zx;*V{;V55-PEiVma??MZHOgBe$45s6 zKU1VA!SzQ=6g4PJ7!HC433H^3P+)`cA(a3G7>IH{I8yCE2?~Qsb1I@kQGh`~PXHP@ zqRH zWbFC7;&+IBie(s@|G&ifyZK*{HxzWkAR1AD0Xl`FVkmTq_VNNKgq-$l|DA_{5Cn}6 zDs=wsYLM~Qso+f*v}YiId11e!p+BMtbcFXGG2AZ_=$8Mt5Dxrq>wi!6e_wKXa_Ia| zZcc@8=n^#hFc2tU2!;yY;7FB0+JB_Ygn~8_bSEH;kt&OnlmO@pkQ*qZ3x$LFiQGUS zy__&8K@e4_Ha|(DDE!RBk63>=fJ4;ASS@kQCV~f1yE5Odg^Gl|2u!W1Wozp zDxxrf&i{b`R5`lW&vI0FfG$Df<|m#60A$Gi^8(dKkWUa4gdi&R`x%F$p@)tzP%H_d z^5_&b{BPL)wP8TV6EM(~g2LiMT0a=L^GAlfpjkt!D-0ATD1TJoApl|ulpCm}NXHK9 zHK=p^OmNV6g6lqhlEPu z=wW`B{GO&z@@-ly$`am0VXj2_L?QrvD1otU(jjbngA4>p14uh-%X(@S{1CDl<(#|%H2;{YnC&Eb|)OP~N^`AWi1^7S$w&w0S z2v4Rf5OatH#1di!K|rh_HV|8g9mEmh1aXGAKwKg25D$na#0%mL@rC$tpy#Jx2NDK@ z5#)K+?{g|}mVfSzx2%}*@G4Yl@@%ZDv!$4D4Q$t-J#W?(LLBI`$@MymI_)u>7HwylpZzYp|;2Rw4 zAE59D-+%CmeuDNluW&vzuQR(t+=-pL|IVwDzLAEq49KhYKdmwN-ld;w4DRm#k87+1 zoZ|H_&_jj)kyCR|h=sekr31p#5n=sT-W{n?5K9+F7iS1cyC4WRFLOtTwVgMp9WGw( z5NA7Q1jGgWb2WEIIHUTaax&qyB8{XK|4=%58Fzzgmd|3~Ek zMTaycH<7jktv#oe=P$v+|5>nd2uDxzKR87_wS3A_z=bL{r7(vTlQ*O={~b4SMsnBW zm5|*1gNlGJ-Tet0Fbe&jxjSVje=!IAHVuDq2ZR12Y@{JF5Lt*EL>{65xdu^!s6f;p z8W2s0Hbe)a3o$_1(tpO)Ph_FB3~6u?ZU72i5Nm7je>)IoC<|=s=V}Wg$PQu;arny^ zqd@ncu=|NRlx>2zLEOAtJP}qFjwoFIx))*^X!!rZ>>+$D9nGEo0PTO;b~xI$S9IlKwzDNy=Ke2`tFNdhcTEdK zu8z(>nLO|g1d2;xVWh)(?7X+yHm(={hx62I|A_e zGXkK1|EEt7M*D<{{4PvmR`7`He{aInv~_i5k@1j@&Oc~5ROlBTzyk*ullX1@P^i}kP%d%zX_56bj@Xh3()O)IGTId0w@=Z_{#xT{!h;(EK~vdXf^ueU|Oty_gv~a%JLfES9QS^1EKbJMve~z zwJ`XDAU=LD0Z(E7ZNdInFTGO{&*=sGXV>iNZs&yfgTeo_=)x$APFe9;0IT#ua+d(s zzX$II>Y926DAhIm2h{}+r$H{k!%IFmxX*>1vT}b9%Rjh0ZRJjL`OhvIg}a|f10%eD zhL@X{owvCo!r2n>3o#&${tyr71kU}j$q`0-0dip>a7EFNbb|LipuAANROX?54jwywL=7Z^gSaaDq+yAi9kJvW!r zcJtP_^UMOf_NNqFoTTJ)@)}vKXB@3LR#(ngSXf%m<6gUB_o28L>$;)vBSXV6vKKD| zouo;UPAnCl_LqBlRCsyMo+yTerLvK3nuoBCfR+Af5A(j1hB09ciez+eZwdGs;p=|wLGFMej821c}S#*Y#=STNIJ7u85nDS^{&51E z2lRdbjN2#q*T$P0XH0L61GtALd$;4tNhD69_8#3h*V{^cMHpBK88{&xDn8u(%4rA~ zjrzlnO@i=;iM!#gmEIExgAeT!W3#UimW#7zF+NQMOW5Ck}@xTRa4E=6rJivqtMiVT*0vV`}!fjyLgl%G7 zXFXw;z=#|dwm6Fz5F8eQDZo`5Gb&pde?DGzjeGM_W@&F3aVEH4L zeYnPFm)SF~ZI9J1<~kgyU0hr`RJ(Zj%Te;4L|{Yxl5EV_)Ha#jvFZLY&vmZj+khhm zbq6pV0nY~$k!3IuO9c~&k6?m#044+xU_#VdziF9in09>oB7fQmnA||-ZXk0L$lL^& zt2ncdd+Wv49x^#ZCj0bblDd8;*pj+G4hc_298&@+-v$M~IN2flK|66W0~{H=F5L#o z1r@KGxI=01N*sum{a?^r+O`l$vtE?D@HYDG?E&F?O}k>+gbAd9H49hbOvsjv_s$XEx(9mNS~)Pf(nf{`!6VfG(BrI*>AK+Ifw1V6*tOZ%qxuHB$3W7H>b5%@SLD zBNTUkux9XVpk62PxyFT(JC{e_epeXgJm2W#Q-Y_VkzhjU?5+_m5RY4lPpN8y`AruW zTidrM!%o(@s!5_R<*kN&q$b{6J7ed~_M43FI$j!Abi}Pmk=RHnuLQE!Pu!+Cm~~PB zN^H2Krmh+ub6X3kl?*0_#^ks^%~L+BbB*qTn=Q^w|22c_m%h<>;sEdO6u-5yRNF1B z`B9+V62;J|uXop>9#Jmru@^O}S#ic#Vbgi`h-pXj^`Ye)M3b(PvjA(4zbT!U_$ady+YZle} z66Qgmwv92Ud)WTC%re84rT>d~ff6YTLC@~~^(xuP=jts1@M8VuY&~rv3q7Dg zHPfM{SlF`C)+@zSci_yf)b#uEYq2#7E|&9}iHqC_`+>Vo6vFcv3J>97&m8+9R>eT@$kaR-uFUOMw-&5uwDCI?6Khuk|~v zX$`(j<$uQy5lKK?TSyr1=Dfui$a#YaFks?le|J4#U;8l*#s|cCPFUYAgJ~XB!AVZU zJ966lGpxbV%}ot9L%Gk>Bn$_4Sf7qWdBjWVg!>zN<%L)D1r3lhT|rzpdw=Uo-0^hC z24R@qhb{5@jM6JZ6Y^@+Wd|wj==@SQ3NYE3gcGC%LAW0 z-d)KV-w)2a74So4Op%ndGqrclk8Qf}m6)RDd(xd%r2UG>M`66Ikf0cU4rJoc;bqx18ih8rDOmPj8RS z8_9{Z5D#2}#J4%Zf@Yn!^PkRm2o8Bi55$rZJ59=@^`R@yremzmV6{i}+7{=xVCf|nZf z{I%PcbGaTzi^x)^3SWk0v8}U95NwDU->44G9y9;Y3c;0)Y|ENHb6q+PI$1p z1l4PD4nfI_TRndE7B^vBz(U8`Gv9%~2#y;ALpmP4flN@fVuiuu7P37eXAK-yzjZj54LYswg~Y(JRk9Z_dBPQ3BLRX3ZnbcmuKY411`SwAR`wW zt*}w*9r}j9A$1$>D{>`N(u}GwHD2CssO_uI<=C~n&>=m(fyC|769O~MbHTus7VmJH zOz8bPMm8;I#7rL*|oMgRa{Lm$s=>pow@$@$ zEZ|dFy`7y@mJ~WZKQ54_b9c&8mw6!n;7+5G1#@r7t~34|QPLD;QwFA^h1_?1W}&e6 zBh8=1*Y(d-UW9%(?d}|$IWuddx@~^Pn~k_KkjkBo=5|8%QRo9tCe{fWPk?`smXWCL ztMQA@9dev_Y0Z$ZtD|r+MFU@d2S_YlX}(BA)3ykR@$wE zD{0gQmG~S&?D*Pq9J`+3<>5Z<8bSu#cZQf{zA{u=j%rXhS@|yy;M)YID{I-`DBu+@vNxFN4)Dl8Bj=n=w%$2+@H%}F<-`b$73tjxZT%8v z;KTlcZRd;8_j!>O75>49O{RlaM9}e&2UP4S!-!~`tA!U{X~Guj0$FHUy1q$3h)c1C z!dHmt>or{1AM0Ph^0Rl1xZCS2sg_ID9aelvL5Jw`gy-9G@ZL|X42jqg#^O!gFMR1Q`Zo7o zqz!)=HA_QyVcB@LY_F=_gZoi<{&DZhIupL#Ya;NXPGB!pNL&2y)n_qZRoPL2nXvBh z!#)psqRbndhxnCy?uEX+0PHY$s4LZ?8L(D#B+R(#XRA)x?x6AR&~o;Ao-CYr@wVxf+aWh^KAz*t?_132Qq^cilvHZvmUw`Il!Nv5QCp+FGl4m zw&**n>F)QcuRhYI2iHg`e!npoCl=7LbnfCM>vF})AYQtTXK=dVtV_JjTRKF~ok=CN zW-l+-ttKQ`+MR8^r&FOD$ClPY;Lk;R&ER&gETeWpDTY7(Dwox>8qe#2w<*9M>YHm1 zk#W1Uv5)u9Oc#zkZHaXOYJ!%v3~QUX3n=2E^=_LjT0HQpzdDnAe*K=cR#KQLQ5I); ztBZu(6;AiCCkYJD*q50PUB19tm`@NtS+Macr#-*sCSnC3-4n^VfmGeEYY{cVPx(MQ$cj+W&ps+ z#yC<@z#&vB>F~pDG(Et}>_mtEcF?%l-{sbz_q1+y9ohJ0ADa3870Y~P{-ut2`^Wv+ z<}>~~&VH8k-{K0AF2CwZe{Fo9ZH35x=9%@$x5Way+$;D21<8Ly>cAh^la3) zj4v;nT<$2#ePL4FyL}KBWszblw-oezgGn3Zwaz~&>5SEGFyGy}R* z!OHUsp*YeuT=I)@KxgN*5K7wD9`2(i6?p{(y+bnOO}+bSnVD^5X>rArTFL2#7A&?k zv+<-ed3Tq*cw@A0-<^N{R;#bO5O`wg9i`Q;t;N_qwz-t@lAAB%wd{HQl;-t-f~jba zXQZZ6&FTSdbcLx2p@3b%S@|2OH6mHk9d8Nb_hWjV9vIty5st)CkS2I-P$gcgsxZ~r zYCbhOHtB0Snqj*9VzjMaxj})@XgQU|v&}@z`X+Ej-||T0C=`CLIR6@4XI?vp+UAd4B5lN%y!qi?+@9U3YAJ(@N{StYF z${-00T;6L=;?doS-W4s0g-O>B!@c>M*+&EU=Y86Pt+I=Z9|IqgKZ~g_UzG<2$uOE- zsu*obN5w2T2CB=9KmrDNXVAVQ4q2=?`@Z}Wz*k>u3GgvqEB3*W=2=`38m#+rZ`*bC* zPIsp58}UpwOFIMOms1IU#NC|4I(Gq~Mx(~zHn0wl=*`e1v$pWzwK71&dKlVDxr(fd zyz=-AQ5?7+cVpYS`QB^aK*)yx%X^z$gM?m~4o;MQ+phF@DqQ_3|CmK6E zjn|c5L#-e$t!$nPEpOW80iMF>aloC5#}bgPC^YR`c5JA7A8L#NM}IT1!9_M zy2{&RjMfc&V8L%p4x-*WH(__>2zR~#=2-HakKGN12VXu{K5@V1AAc`$`_mSxVRw@LK$AOFr4US4AT%_)+ou!tFB2k9TLj^-bLF zZ?NjR^oE7D_?E#Bz86(x*b2D;O<_f|O;dXhj}>t*1&mgRgu274Y`=*K7~TFPRKb4K z`;|s;O6?UBG&@h+N-^3BLaAuYHJLerk@Bg%J1Mk#sv7{mq7Yj5m_H4^EP8IbF}VGV z>z+1AcLCdbsFjMHgcHX>-DkvkjUbxa!!d7iC?{P*YHI0$rwwRThE+=3^A=XjU1blsy5DB)?pXV*_M6UT)KQ3fLLjR% zG=a7A(9$Mg!=AKnT%_a--S+`s-qiygZ55KONvdu^V6>=8;N0BpK<>I!k)XBr6fXs+ z@9*@wR=v@neS3#`*{|JOT-uXil3rK+l^_Ym>kBJPI1k_CiYR(sC~`VFOS{-;@aq>k_2 zLQ-N^Mbw8QYd$Z8cge}n&F3ZRH3_FDlskXdo$G+CtE{C=#?5}>r(R%V&iZjl!B1&L zbaGUlWmB-^Y4`bz!Md-EjU8TM8DTpe!S5Vr&OtPq-0X9XVQtfl3p1NzUH4v z+H#4>rf3;Y%BIsKYL3U~!?Ve&_uV@yy_+JUZS<4JfDH1O*Nz25*z}A%!sb2w%-YK_Cf+*Bjh zJvU3Bg=;Ffs-!mm+EjEGqFMjq&9^wc-P6Rm@q=;XZ0uzh6OBCXcMG|Tyxu;yoF~iQ zx!+;rw5T7t`HR8cnNa@`;#P!@^ zr@mBZOiclBr|YWT-N*!~2YAb!^;J1KHy+%-Axl5H=O+C$laF{o6+@dZ=FTg@&O1Yt z7KTA}ek9%}60ktg2}Qbq5rRDOguU@>d$zmA-pS&a^^HV_>FQUd%ij?5*bM`Oih_@^ zFX_#w0k7>9cdCQb*LOD>!b7?p_&@5YAL{RGF~>X+zgC(X{1_6s{IyTTRg)OwPMcK` z=J~mkBr5WTxHI~TnTY#vyPFb%*F!a=<#Dfm1h_T30DtD0E2-gA<4w$Ch9+|G=|@{} z{IUl`wM(OX_IlRWIn}=4qbPsym(*h z-sQA|$EnFr#+?5np}J*GI{mfu_SnHDt;9$@=&zw%leaQvG5%2H9@Gk~nEVTCi3?3PWmNTKjH;3B#ZT5Xc_6FwQ~Nywvj`B0Oy~Yjx;}<-vH^ z$8$;(HCHnY0j~K+V%hRkN5%NdRc~?x!c{tlakrjyX!#1T5bzkO&q<`S(bpDJnMqkc z%lQ8Gi|5nUdOS5#PkqsY7I?RVn$E<5ILj-!$|LsCi@aAuwD!**$}+`pw8{3{M2li) zbORKMTn9e4DL>(pS$UL;?2+t0oBPCjW{k#IaxnjX*9xNVvmNm*+i{7`*-2WVyA79f z&b)KDM--ZAO2`7QO#KmH_$Y8mb;tbJ=xg9*DmxOMRh~<4>k!!bm1gFU1Zztc18t!8 zIQE_=UFZ!9{EH9$y2G(38{g0ish5n*rA8kDZ3BBwXZGU_7zjjs49%e}Ww#=*@;Tqm z7IN!+fqYQ%YgD}ii;WJY6V<-mn)GPn4Sjotua^oJuU4Ic8LTwHD9LBPl*vE8KzlBu zZ{rSWn7qoU)1|S9Ud}PU>DF%zuVTs+#nzsQ7*^vqY$x2}hzu+pNHWJ-`B)v}+c{^a z4%9D2+1lKI%g!0M5Wc#>)+*?~S8^x6qW7E|{0s#GUoo^N(Z1}`aG2hUTl3jg<#!7| zUA%B{)N%HybeDt*&xxb+#n}g&_jNU`_*1Nzn2k$T>+cSa?^b704lc=--C#aj6r7VK zQNo6UQ^dO&Ir*c8D^}L~DP4&8us!(Re5?n6s#dzYSYsIVMj2Elyv4%d2?j385-GrI&sd$J7sMqR3STIn}S#&bU$@MYCA+xHT)6N=aZ5%S1Y-CG%aO z%OYOX+u|(R;CcWoIDFmEPrhwUaXb72fa{83!!AbA@O=0)?1R}@WYv$iVxR1a8?UTt z#NKB3it*;w<6tUFvejEDL04NNpe$8z*C0UcV2$n(0()qE`8^VYOGgO&FNq#nC>ObvdwuR(rO#lTym+sf``Pr+Qo(Qm z3oL3w!1hXbUk=5qYRK1dF4BO{`$J7_*6>JKrcy6wt*{nOS-O_I84;eAH=Dg$w z%wc{H8Q)(WC7EL6_^jVfTWw)pqpW7vY|na>i=9}D$S#l@G;jGJK|c_-k}f7|(#hLx z)R5}g=?QXZ&8xwEL2$+tHfQUYw6i)+wth13Px~F8sk6&37R!=twuU-a^N26 zUOJrV%w&X~cu6aJO3Lu-Obslu7{cMf;fZ&?`{@2ci(^GujNf>qu~J{jJAfw9 zK}_|Tcx{Sgcgp^amdMw-fJkSTiPW7K>v;nHUi)-zy8<7>*}!Y{vV8*C_qM62ZzO)k zSntn!9o6;yKJ$u7hXS5+QKH!$Ui-wW#ZM#nSckAg)%B&OS3XF^$>wsLB>5ny$opGf zrhYL|cyT4is`EP`t5Tdz5siumB{>5?xJm1(x)zVaEaKxBTN%_cSNXwN>%%qU$>wc` zDT-RY=;mfKCDnHR>eBqp96vhwILW@(`y-~?d{0{I4oYkx51(HrW?S+q7sY=5opN1f z>WY%}^J{ae`yuAHO|MG%*Ci>X-y}LNOPvLIrBOH=j)_ zmK=N#yJ(Cps-Ff+@GH%n9}swMtARgauJAB6S<+xl#3C)9B9p;`FSf2`hvSU8`i;92 z%paJK;Wn@C=muzaZp#B#=WOmMX6ga9Ro9A%&+#6NW3t3uB**#sDUnz(94FPn(yX8| z48GeZSP|JX`>?o9pj|HEh@tRStw0QsK%ewrn+xr=dB|kik+(OcWR>n4laNu@7mSSh z#t?~%6ido^raVbAYP_DMOf~aks!Apoznp)@nvne->&QO-{lqTsKttKB zOSi{51TIGGtT}!OdUd?mZelu?KQ15ap&0BHypQ$G+}=~VdshdWcMQ0)j7ifaavjqI zzfPh5vX}53`P5vsMGc?E6&gZu8Ll2f9*GD_zZX^&R3vHS0&(V2v8Vik{oc7 zQ{FQqobTUrr@nLIe!S0FFhKrT1PYXX7n`oLw0SAhT=DX9C1acTb1~&xyLJ~C-n5^r zeq-e3@ONMTC{jmUkXe|WAj*oBwj16Ue}!2`lps=)L^;UwknU?^G=7Xu?YnD^p=I2x zGtb$0wFiwcUfwbhT^-o##X4XZDn84b@P$)9p=ZnK+%q5sJzx1>jN0j8x{ z`mdHOYPWAKYUJ<4>WL9mTXLwW9P|qC=X@7_5sfuz&`?DwNRq6I`TxYew7Gf0It?6fmzxV|#N(z>tW>w zcawAL8a=5dOreYy@}=^)_@qe{cGzy?u@>u%Y2*z|E(wkH>$l!-^VuCca0`~_3IfPj zt(-&7=>^Z;Z3<@5em#)+#L!BLH7F+jvrhkvn~QU&hC%qvAk*@jQ`NM5F^}BFkX z0AvtKPP~B74iOf;wDcg8LN=e#j6S;A5#R&>$E1aMWl64=XWHWwn9saeB`Gpza_7)oEK16` zyc1Lq0Z*kU9M&HoT+>?<$)pctkteGBKkwa&V9{T{sL-A@0XKKZx6%# zOqA3`ifI`_WRs10#I>pC8EW} z59@tmmkgFKk2rL!OcSU$KNIrQavjzIQ+N#(}%=!UX^T$y(qIU<_zBS8mt zmiITN*=>^{CZlVSvOlB>4Ee3sHR5Yg6a5shmtB8sCNj$lOAW zU)owiC)h4$-n*LRp2UY+upsdYcaVh^(z8iuGVYj~a8*#x1XEBs zf7ObaxgJY}!uKq>5yiOmDji4VV83xpwFKcAOdX#fHvrSnlLmP6Zc^qL7{BM(5J4H= zUXVU0_dVRT{-Jx(`C)sl9vbVM`Iov4*-` zsOXk$BX-+}*v?k|!~2qrfXZeuqI-9`-JME?E@d$mt5GdRk3@Dw+mK$Iwo_P8^;!K~gjuC(-Y}MNnyd3(Z^P~C>(T=~L2fN)H{Aa<^Q zOZ9LY9~Z%pU&Y;bk>O(T@91k4{P&ftFK!pSzXZOYRy#vTmNGUUTNUmJ=t{$;=FT9Wn?VNfgv>)*&21G2XEe0Zq;}$wOM{` zp+v*EkVyYQQ)0q5@0$tbGB>>6N9^0sD>;~DV5n(RwhbPWif5_Sn0~q_>2r;OXKEp-=FV&|NIfxtMfkRbzbLnUgum_dOS^FlR?LY8 zolG3D7f<(PN!-!o3Q;IsK1K<7Gi(cFS{uw*b^CFAbKcpe6Xhi3jB%gBKk>;_gH|evAj7{k`+|m;LXaSzW0*2I0KIYRw(c znT6X5Th^$36xC2^W>O3;hO<=M|9XN;<7NhF;~`Gp8JoVX&3=0SwX4gaW+}-xJ!xK> z-1SX(nKHA$Tj7v*bkjb;t30Dxl+8_EyfjChPQ-RjiY3rWHVI-YyVVu}E9pP{U8U(9 zFVn3T(CG88Vnnh!&BUvAcQl}&%6hu$f|nywWVuu^pW2Lev^sl2jFnA`!e5WAY-o7j z+o1ShJ|goj+a9*jnM~sDPZgi0efzHU>OA&JONDbIom)F#~8>rLoF zhEUo_{@U{9sT6L9T4pvSvhEYH(xS3(#HnizdNz4WC8In+@)0RKH^%8>({1C2*b}X| zn8T~8yYOz;=qlol^VU}MismZTo_#{T7@(vE3)r;h=ACAlg!JR3k@Ph@x-F@cM_*Y> z-z0CK%F8+S`EFC_`HH~d^N`yXD)L*;RTbe%-VnFT_>C{t8rU*ipIG<7C@j1UTIPM+ zZ?yPrF5}lBe#Sy!CIs-PP3bIj@nz$$v)^rkQ#;Xo@+X;!W{RIrVV0K| z{GLlDIkzUhIJQ9_#xTZsj_!Jwbq1%-W?$e3eC>o$gu(fBETfNX>_~<1sIuH{6CHeH~P|@a>ROVZF9P`J=5FChFzC_@eL1S zWmNEeUm|lzg4QO=r;i=krH@EY{30V_Ys~6T_B{Y@%x7h-g(d$!cjlI4ZO*opWfj*( zZeqFR0_`|?vD32`ggriS!YVQZ zslPOfn|^GJF)U5wn19K7R$*6HW@uZek@or`z6g(9|Ag|PLj+i-!=~llEH&#!XD8~P zD&^QYyHc!nX1)&<@r;y9Sl3>jVUjO!xS}^+i>r)|ThOk7qY{VfDHIoMI>HkBvaJS- z63GTBOVT|TdB z=4cfN6OS=rQCeneVKjp>17EvGGZ#2GD(tYa;~4R%#C?&C%ljd{YSoF8y}BQb+zPnwP|Y%KSxt=4gU(^3ChtY)@6Zf9vFW;zKH%pI=?5EvfeFO&com z^=|2UhSUo@KcWI)NBl1|)srzZ3tcR_`Z860KD015RAGa2T{ev}6-vEPSe`3PjURnV z!;Wc9CS~j_N!8|~IEQm_E@U6%B6+0yM|rJH`;Rk{3||uOe|xe=$Z9xByO!HJbRid7vLBO_>yf*gffK_vOtpmLURgmw7L^M>hR|STI?3#h`|iRT zv9CvE{ym0wY#xu5^q+5`9)9*l=?r~$m-GI{PP9(=`jCPHy}Rj=*v5rvb1khkrP}9* z-ME@!a`?OThY_yF6P{AUo4=7w`%3c6>F@v*ce&f6M2gNsRPPndBq0|4$t}INE8`hq zjNOG+sD9DdSGGgO-SJN+D`kcPU-XCt_!gSLKS?ZHo6z>P4mYL`YzQVv{i<@(GiB=L z7yL>VyH)v(nqH>-wDRTZji-#MZ8+K4U5mLS%QYk`7LV)KxEA>~gjci5P0c;pQ?uXm zFFd{TF{SDFNB``yg~{iT!P4>GhpMRzH{H%BYwNU)C2`*ANOg`ruSe$g20j z!NwYC#fqBqXGjQK;gnAa@{j!%@#A@1_AP8Cx)(?MZ=DE`Q^faoX4R_}zd4N;Bw27j zrS*m8S98_x>pIyHkBJO5id^qB)qP^%K}n{+tRugnI{3rVQ+lO1rVA2fmY(Al<%=u# zc|W{pz$E^V_6h2PX@IwxZ$PHaCXc==lGXhfQ{<9W2dN$S)xwEai86kpY~9nQ8+Sz| z`JYNlwx%caE^zUyQpcy&`Um z+@8D;KeghQseQ7`gK0Q9eT{T>wm&=VrGnxFIo#mVH!iFTT_+nl;E-bvlQ>@#569t4 zBUU?ytozQDey$(byt*mS)p;bL>?o|k9{Yk1orel%p8`RqF3nQU$HK_NicZ+0C;FuF zE~q?u^NF^-hv3RqS6jO!+kmJq%89+uCi`r6l9Afu*mC2MFKG>Ig^|uQNnfb-o+Hdm zjL8eXyli{ZB|q`~yejz}Xe9oDk+#hY{NxX&lgj$y45(y+uuokiTf9*}jw&0c>P-@t zYTvXDX4GiPGS{Kgm4D55vae#b!%zO9JQ3Y7;8ZwqsqXbzzr_z8idA~A;CB8A zVILflnMIx%FY9%UMR@ujbzFNzzVHOA*^VHHOTNmJS<|IcswihTtC9~|cV9a%cs0_E zR@x|2PW`P2-&hhwfD3OqE+yCa)=9H&4;?!4i$*!m+e0nRIblZ=nxD1Jd!p7T8GHH$ z{`IIxoCGo)m}QI|`XQ%pU?wsmZd=#F-zb!etB>@vDKZbR!;wqC|9h3 z@k2{2#q?ec z`D4w=r~Y#Ack}-DU*_EJew4$CUaZwU_u8fzYvIYHHsXw1j7>YJiw=eRM`2lK&4-{whvRbkLwWdXc?6H=sxf}kMdcY?8*Ta`V?XZRVGHZZ z4?`S1(&LPyUqP#7DOTRBLVrDEO2J*;%ONy@rk2ycp?c%G+OL?g*$+ej3O7Bsedl=bRcWMswQPA@O`mPz?L%8|BdT z{#M53^PgB>*)c}WQY+o-6mS0`Sh1}iKH!}qOR_HEb6Z|oo`S;(F@Gm5$0c<(<=jxu zb!G6b?kMhIGKYyXEykB2>y)x=t>+x!%B|4>_Sj>C?%3hX$ZTuHc}4E_$`Z*CzT0+X z-wkF|^r{zntD2mP<|TVo;^!@H^>ozDr({?(W+o_byXIdJsEEDdXPQ-hBxcU%8W3}Q z>)UUA>t@*94;ODVA$W(+67b4ydc_3Pc00SgSjW9n%NCd3nabo%1U*)>HqFFpkUcF; ztzzItFNdqlwEV@AE%9XWWgZfgM({9c7e`VSixkqwY;BRpRW|ExP}k!JvtcaC8HdXS zDJp!+f<+!65zl8NLy2$1-1aXO-s+s9Jn0qs_I7$?4BUK)?3RO39GjxN4(a-495$y@ z#t^cOPz>%P%DBCt$^?CKf5no;cpaufsbomz;5sbrWGD7^$qI{Msn>8K)%-gaJD;oL zG<|L9$JWo(=DN0vvL)?-o$Je1kDffq;bLiYY@o_MtQG0ZPBk7P2$`JhP~9lF+^n1& zb0ynmE{OdF#ft&bmXZ;w=B;%e)pN?M<5{H~OLWU41b5(WG)#q%%#M0|@p#pUB!2OC zdPCBXRiLl@;X(AswoTyx337cc1}o3#bebh=0d>Mf99CVywMMeFZR(&)+6jF94{NLg zJ+oEYYBcjs+ZC|Vzq34(`@_^^ELlCY{Y2P_&&s`|awX}7{(YA1&1`J`Z8zA{L}_mn znw|ZYF%7f&VJje$4b5sCH6y}e3=i>ofS)q48M76NAiPY_*fd8lP~{t}iI;$lOlH52 zzn0X@7i=hbr*O0i+f!LlgP3>iOH9rQ_Q~M-GflIwqR>0{ZoID~d77)G(Z$5oMUz0a>9c|tJV?$>@w2X#MdOfmFk31na6zyw?0rrR24vW3gUc zdQKLACE7rdvlw;xOu9d128~r-=-BwsfKK-1`6mOVIApW12F4`spvE@!Z`7vg$MBS@ z$sZ-rj$}T}YRz&Iz<+%Gew(Gjn(~*L$o4XmmXZnFbq?-l7w1(6NJ#b0KG%8mc!W=} zgeh~3o>=|W=O+(+44@C{ba`drbR2_R*tSbtI@!mw&dzJILenGD>P<$cL}d{7uEOV* z=N`Y&?)&IT)`9%E;%H7n-ozN{MRc(y|F~0u%Vcu3XIbB9MohfJi|ZZR?stu4hy#od z55LrY*YxJY^4-x!tJe`_1{Zg*H*go9X;3fJ%=1ykh;eF(_N82h)YD=qd#vtrq|FMZ z653c;GH>6*fz=%%BcQv7Y)li8?P@i>xjt^|1eH}kW43Av-sq07|K@HSjF(XxeJfX} zB<#!bwTb#TB+Jm#eiqq$C4T3r>*jVF*d!`JJ|>P3D!=D+TqL4TXeZD!Vx!kNzwqez zJJR-IK@)^cpcPF31XnM)YyFkkzAHRZ!lk}wA{t3`>3(4gmx$WaS`!(Pa2t7HFDXX* z>L$?uac5M3<{`7Tp)zB+7lgNv=1!Xi&b|CbhsBkIikX<_=4Z>~2aM;+s{EE|&&)Py zx2~#oeW=NDsT0r{AorvvX8zt)bS%a9)U?AhF6H9-F(-`-8%VCC!~Pw@;IeVvZI#K! zYvA3_3QK;aH~6X>GZg^K9O+StDMy+CgabHIQHJ`7Poz6$Qjr0PN%{7VOmAI z4^IRai0G_ItE`~+^7fXz>GXPW*T)*tKuQ|&A}?- z`{@Plj(Mfee6gY||R+1H{&vC9_dI+Ccf=%wcgZey}Wfd=_t=q@+XJ65L zQPWK}AwRfyi%)1qS)cxj zT6d!NBYjCz4qiRax!Xn?Oi!QY%lUwt+}_4ol5ShHsY2Up9jkZYAu4ppBh#1`ZIZDqhxPmeS=&mXhVz!rA)PPg17lq zFH|_YGmF%{_wn}}$h8ZJvJ=)5o|x{7crUEUyPhBCm-3@*o!oq}>CjQN$|gjD607hW z(#{WFjPvrP$M{+#g;T*@hEMbU)BXzLG1$kRN3We72uV39_h#*RaORPelDq6m{ZHrN z4y8f*)q#mSqjIKD4EV1O^CAxygePrf4X2Q=Iy(C6by`E;cek8u;thsoxWeyiy{>R; zoQ!(g&fewWL}mCX^juV`+|pG7N#9nxhKdE!VF!3$hE_F^|H-T)-Jg0)=4>st>hAzE|Zu(aAtltTEw=C+h%au;cT+}cWy6`;Y9y7VP@CiPSfG4D+nplUv77jI7 zFKwk{*#)=-;5`Mue^1ljap#)(&3JQc*(41mm5XXsawWOMNqI+b^7%Q_^&BhZm=c0n~`j1iM=igNr7 z^xJPVD`G`fU+u`!1tRo1uDhv7cwgqHz$Jb?8dUrFOvC*`F;}TX`)ncUqXm=$+riWu zd0DcRVqI67PU>({rB1onc4E7Z7$ciEifuEAA7D=$R-Gx))cp2!SvVgbDM!kIACvkl zNw`Fi@OcX=vTFsp#;rl2U_(G9z}`V_r_LnrGe6ETU9P0u9~rnf%lara`Q^6zo%8OR z8}E{Pu72LCwtM_$b!dy*Sdsk#)=Wi*vUWx9=<$|_7r9BTW7(s#_W7scL-`UeZjuOl z^Zf2o(pBWM9vt({F zo{MvSGad{AT}`Ky@7H}rM$}hXX=r$^7?#q>T5q}X_zn^p=?+rFUuo)jE0fn|Fnslg zZyM>!q0yk?*#5@SY9Gz^v87Z#lFDqW;^n3EK-wA|&k4(=2!T5ou9_BAMz@S6@Gq@mP9d55U+`GcI>hGB=8Jp77rlqs+CahGbY)1Oy zw8NDI3)RyTq67H1b@P@li857_5xNuQ*+ibmdQB9bI)8u61)?*goow({eO2|z@|BXf zjG1HYPTvogZ{gz5C$2;}VL3=z8JnpNuNA)V)|0pIrH@z50&ccJ*`iV@o&V{p4Ftk= z^n^7xUk*E)1S%vOwiq2(WMCH6^7E3KwmExwQp>?y{N?=Dsi(g8>R&Srak>vb;|f#U zkh>h1!un{vG)KJ8OyCGUkAt*iQMr@RMA{_NQ$-^_T-y5vZ=w4o^yWsh(vwRy4Z7K9 z+f|X*RU1%2W_DQt&j~XG@iNn#!`b=!3l`N|znEy^iy!ML7f4hpGL6?>ORtrxo+mM1 z5{Ao6bKv3))$ec~!Tz=#{XPvRiFERTwoUve)*uCGE1%CH^j>Z5C&3;UZfPe!Dx-JU z@8aXFkjh8wFT)`M$~61+HS$kCaJ9L~v%M5I?u*$Bz+~sT{FKPVI$-|(&$(&@eQ0@~ zU7}YUEt9pUC~Q(B@I#$lqGhIUx!LEPd^#7`T0=DO%F?sT2G zJ?kme{WjS#ou@9FbMjH}t8;`ITX2>e*h3dy!KFLHZU&ngHr$^~>T+E4zGmVx0UN=~ z@O;@VR?HDbc8*t4$4^&7Y-+ zCy36q4ZsH%a#Jfgq%M{&S}>iY`EZ4msQ!}NQSGjbv{~~76}%k^$zkO&+}PkBi}Ksy zI`*Z$spEc!wd%wT`3v9bXn*PP%T=gc`IvMH4>4P#)PwJ21Wmd&(&?MKZ)rl7W_YH? zi~+2S^KTpHWcu!^yu!g(KC{_z+I$pwxJpRJ_&uq%w!@NZWR=44w3?$`b+a8*M#rc% zIHZnTk(eCix)7nxUEGrhp*WRDR(tia>uqC3JcG}Tq-V_Vb}J;SqeUiMTmdN14*e4v zD-9UU3CZf%#Q!JuP)S8aMgh%j)BI=b;cw~@9Do4-4Fzit^a$EZZrg)S5d@f)e<1ou z{9>D-xn@d$Y<6)E+e{14&Gi0;75NvS3}B@8@FG3fF_DpgakU?Y1c&_sMm zz)XK}pERCebBHB~J^2?il~7ZVl(?`vQ{d;{;e(KWvIF(s$#?$%))4}Xy#KH4(Ee}P z!N-mP6otbuX-ja}E>@MgB4Qc4@mPZA^1q-FNoYx4(2+l-B=OIbEI6QK!BGenph|#d zr~buU+K0#jFMg*6`0@8vg3wIWJ$vbY(Xj+z`*Q-5we^{IOz@qJ@9iNPqvx_Sl{06Aa08?c0>jfMEdegBobG38m4Wjm6vN3Oa}WxPk)P?^jp^ zG0Pau19|$-&Is)4iR~f0 z0^sa_T@_5cA%-^xb9HYqfkS8{;_rR)a}EC@>w<#+pS{_S?!$2AK*I7vd%fWYFMj)S z;7mh@^}p>M48R_SFFz*>?cK%uYCddF#{TsCufU*Br2pm%=9TrgGte&K94$`*y4+XY z1Ob!yZ&O$ZGc*8!_+Q=ma~Xs*<EIr@R5MI%A~tPJ|a@0{IJ@6m5)5{xNus327n zi>oexA?n};W(weos%ZSRD_S$-=ZY&@nYpkS>;{|#zH4Ja>{du14uEa}*?+a|UpMd~m&t2DkM&hTaqY=@izxEy+hIVj&Ul&ZkyAKBov_l}+ ze`34$p}nO{)!D(!?aEbW7A|EgMa`?aED2WRILI?F7?4?jA>l|k>J&_v69(f1_fTaA zGbzBbXW^1Mi+};4o?VTL^&VFlYH?0|Fdif1|%x?El!{pi2xJ42F&rw6`Gw&`{Cb-2FCw z1OVG&*pO(wHVhj=2%Ta3pGCsa*??h#p%1BFHfYyt1n>_q=zkl3+4u#}iS?`DZyV4$ z!n7gLLR=W_5W+$SCxVvc+Sd-qK>@KikZpShfx(0hcn#F>_%R;_PNUE)`F+oV_fkL& z4bz4|U_=Xy!4DKB&~j9NtrO@_09_6DcZft`4h#d)0+?Zpb}%4yx8DZ(1L7b1Z7{eH z63C4Hd3JaGfe~mr{$jKOb~_fFai!F#V|vN5CV&g`K%CJ2qOwGFzkWJAz?_gjK*&K|7;T^41q5H=&wIE zAcBT|H?YqJk{`$04N~G zwZB885KyGVu<;9l*kIa(;h4Dq2djj>QSEaOoXwcI1qVvWe-1Y2SM~#=00JYc!GwiT zn6m>SVknI51Q!PCn+KjnAutOUsNUfIvEM-m7=iHYej~UC{3?%sB^=n>AljJifMhF1 zSV23)-UG(f*#zMDoxvv-EPNVP-dA^TFMR3_4(J=KFpDR+tAP*s?9Cm(OOP77ucTNE z&Iw8gAf))E1i=X=BY}_-mVf~R=vhKqMwnklSXhkZ|88Q$0xobat|rc|yEiA`8Yt#O LCr?VN$PoQMC)sgh diff --git a/DistributedTransaction/DistributedTransaction.tla b/DistributedTransaction/DistributedTransaction.tla index 317eadd..151410c 100644 --- a/DistributedTransaction/DistributedTransaction.tla +++ b/DistributedTransaction/DistributedTransaction.tla @@ -1,10 +1,10 @@ ----------------------- MODULE DistributedTransaction ----------------------- -EXTENDS Integers +EXTENDS Integers, FiniteSets \* The set of all keys. CONSTANTS KEY -\* The sets of optiimistic clients and pessimistic clients. +\* The sets of optimistic clients and pessimistic clients. CONSTANTS OPTIMISTIC_CLIENT, PESSIMISTIC_CLIENT CLIENT == PESSIMISTIC_CLIENT \union OPTIMISTIC_CLIENT @@ -61,7 +61,7 @@ VARIABLES key_data \* (3) LockType = "PESSIMISTIC" <=> type = "lock_key" VARIABLES key_lock \* key_write[k] is a sequence of commit or rollback record of the key. -\* It's a record of [ts, start_ts, type, [protected]]. type can be eihter +\* It's a record of [ts, start_ts, type, [protected]]. type can be either \* "write" or "rollback". ts represents the commit_ts of "write" record. \* Otherwise, ts equals to start_ts on "rollback" record. "rollback" \* record has an additional protected field. protected signifies the @@ -79,7 +79,7 @@ VARIABLES client_ts \* for prewrite. VARIABLES client_key -\* next_ts is a globally monotonically increasing integer, respresenting +\* next_ts is a globally monotonically increasing integer, representing \* the virtual clock of transactions. In practice, the variable is \* maintained by PD, the time oracle of a cluster. VARIABLES next_ts @@ -120,10 +120,8 @@ TypeOK == /\ req_msgs \in SUBSET ReqMessages type : {"prewrite_optimistic", "prewrite_pessimistic", "lock_key"}]] - /\ \A k \in KEY : - \* At most one lock in key_lock[k] - \A l, l2 \in key_lock[k] : - l = l2 + \* At most one lock in key_lock[k] + /\ \A k \in KEY: Cardinality(key_lock[k]) <= 1 /\ key_write \in [KEY -> SUBSET ( [ts : Ts, start_ts : Ts, type : {"write"}] \union [ts : Ts, start_ts : Ts, type : {"rollback"}, protected : BOOLEAN])] @@ -184,7 +182,7 @@ ClientPrewritePessimistic(c) == key |-> k] : k \in CLIENT_KEY[c]}) /\ UNCHANGED <> -ClientPrewriteOptimisistic(c) == +ClientPrewriteOptimistic(c) == /\ client_state[c] = "init" /\ client_state' = [client_state EXCEPT ![c] = "prewriting"] /\ client_ts' = [client_ts EXCEPT ![c].start_ts = next_ts] @@ -457,7 +455,7 @@ Init == Next == \/ \E c \in OPTIMISTIC_CLIENT : - \/ ClientPrewriteOptimisistic(c) + \/ ClientPrewriteOptimistic(c) \/ ClientPrewrited(c) \/ ClientCommit(c) \/ \E c \in PESSIMISTIC_CLIENT : @@ -563,14 +561,14 @@ MsgTsConsistency == /\ \A resp \in resp_msgs : resp.start_ts <= next_ts \* SnapshotIsolation is implied from the following assumptions (but is not -\* nessesary), because SnapshotIsolation means that: -\* (1) Once a transcation is committed, all keys of the transaction should -\* be always readable or have lock on secondary keys(eventually readable). +\* necessary) because SnapshotIsolation means that: +\* (1) Once a transaction is committed, all keys of the transaction should +\* be always readable or have a lock on secondary keys(eventually readable). \* PROOF BY CommitConsistency, MsgMonotonicity \* (2) For a given transaction, all transaction that commits after that \* transaction should have greater commit_ts than the next_ts at the \* time that the given transaction commits, so as to be able to -\* distinguish the transactions that commits before and after +\* distinguish the transactions that have committed before and after \* from all transactions that preserved by (1). \* PROOF BY NextTsConsistency, MsgTsConsistency \* (3) All aborted transactions would be always not readable.