From dd7327b2ba82b6172082094094ebe75a1c41fff1 Mon Sep 17 00:00:00 2001 From: Jared Corduan Date: Fri, 8 Oct 2021 20:56:15 -0400 Subject: [PATCH] fix createRUpd in spec, add TICKN to diagram --- eras/shelley/formal-spec/epoch.tex | 6 +++--- eras/shelley/formal-spec/frontmatter.tex | 4 ++++ eras/shelley/formal-spec/rules.dot | 3 +++ eras/shelley/formal-spec/rules.pdf | Bin 18468 -> 12644 bytes 4 files changed, 10 insertions(+), 3 deletions(-) diff --git a/eras/shelley/formal-spec/epoch.tex b/eras/shelley/formal-spec/epoch.tex index 4aa2fef70b0..f97663be4da 100644 --- a/eras/shelley/formal-spec/epoch.tex +++ b/eras/shelley/formal-spec/epoch.tex @@ -1432,8 +1432,8 @@ \subsection{Reward Update Calculation} \Delta t_1,-~\Delta r_1+\Delta r_2,~\var{rs},~-\var{feeSS}\right) \\ & ~~~\where \\ & ~~~~~~~(\var{acnt},~\var{ss},~\var{ls},~\var{prevPp},~\wcard) = \var{es} \\ - & ~~~~~~~(\wcard,~\wcard,~\var{pstake_{go}},~\var{poolsSS},~\var{feeSS}) = \var{ss}\\ - & ~~~~~~~(\var{stake},~\var{delegs}) = \var{pstate_{go}} \\ + & ~~~~~~~(\wcard,~\wcard,~\var{pstake_{go}},~\var{feeSS}) = \var{ss}\\ + & ~~~~~~~(\var{stake},~\var{delegs},~\var{poolParams}) = \var{pstate_{go}} \\ & ~~~~~~~(\wcard,~\var{reserves}) = \var{acnt} \\ & ~~~~~~~\left( \wcard,~ @@ -1456,7 +1456,7 @@ \subsection{Reward Update Calculation} & ~~~~~~~\var{R} = \var{rewardPot} - \Delta t_1 \\ & ~~~~~~~\var{circulation} = \var{total} - \var{reserves} \\ & ~~~~~~~\var{rs} - = \reward{prevPp}{b}{R}{(\dom{rewards})}{poolsSS}{stake}{delegs}{circulation} \\ + = \reward{prevPp}{b}{R}{(\dom{rewards})}{poolParams}{stake}{delegs}{circulation} \\ & ~~~~~~~\Delta r_{2} = R - \left(\sum\limits_{\_\mapsto c\in\var{rs}}c\right) \\ & ~~~~~~~blocksMade = \sum_{\wcard \mapsto m \in b}m \end{align*} diff --git a/eras/shelley/formal-spec/frontmatter.tex b/eras/shelley/formal-spec/frontmatter.tex index b05f1c98b7d..7e409b35c4d 100644 --- a/eras/shelley/formal-spec/frontmatter.tex +++ b/eras/shelley/formal-spec/frontmatter.tex @@ -35,6 +35,9 @@ remove all mentions of deposit decay, sync varibale names with code.} \change{2021/08/27}{Jared Corduan}{FM (IOHK)}{Fixed definitions in the header-only validation properties. CHAIN transition did not need to use previous protocol parameters.} + \change{2021/10/08}{Jared Corduan}{FM (IOHK)}{The function createRUpd + should get the pool parameters from the go snapshot. + The TICKN rule was missing from the dependency diagram.} \end{changelog} \clearpage% \renewcommand{\thepage}{\arabic{page}} @@ -66,6 +69,7 @@ \section*{List of Contributors} \label{acknowledgements} Nicol\'as Arqueros, +Dan Bornside, Nicholas Clarke, Duncan Coutts, Ruslan Dudin, diff --git a/eras/shelley/formal-spec/rules.dot b/eras/shelley/formal-spec/rules.dot index 064a79d8de8..218ac48bcfa 100644 --- a/eras/shelley/formal-spec/rules.dot +++ b/eras/shelley/formal-spec/rules.dot @@ -2,6 +2,9 @@ digraph STS { CHAIN -> BBODY CHAIN -> PRTCL CHAIN -> TICK + CHAIN -> TICKN + TICKN -> PRTCL [style=dotted] + BBODY -> PRTCL [style=dotted] BBODY -> TICK [style=dotted] PRTCL -> TICK [style=dotted] diff --git a/eras/shelley/formal-spec/rules.pdf b/eras/shelley/formal-spec/rules.pdf index 6fb1475e5b6bae4c4a4c275461cf9593b2ff7ea5..5a9060fbf6b7e760ec451c5ab488abbe2c5deeed 100644 GIT binary patch delta 11096 zcmZXXWl$bV*RF%RyFa+QJUGGKgS$h};6A|v1b26LcXtc!9xS+9u(S93Rh>HLd;8b) zeP3&8t)8h~-G#9b`=+sqfZkXJ@Gu; zI^0M1Hq>WJcPlMrMLI6^QH59#gdo%Y)8cNA2Pv=+zjQi(b2&8DaM_~|+@iI--)s-n zd<-ueJ#>u}b$NGo4hSFT0G&@aSI^tZ0ysWfazAaS zw9SSshb~&Mmy>xeDZdys|9M?w2ctklAfPV|O+`wQKm%K0(2n%lLUu(yx>l7Tp@H{~ z5bk#nXlu!}MO$9lnj;BDDV*zj@w$Uz%R7*Z*1?Zo_o(fsQn;bla#B!^99N2J^ePNW zSJszGhx#nh%qLF^ebI_hE$&mTk;k`}**EiRz9fz{MS8WMCa{W!^&MpJzh2z16oy^0 zUhlq9n*-b*HAZzFVHh05J}!9?Vi3Wcd@z+F-Ub4d5j{KR)q`x)Iqc3)+>TTi_}8C!Z6p-M_eqEzFiJeUNP4)S5Vd zdMYc!!7?l1R-X1~ z$hx%L-mDq6~JT6X>x-gsO$&4dd5y29cwkjMNxaLCTp zh1`*j_zKT|>NbI+K0wDHio+Wwxp}pTy91#1a>8{5q-Y~GIJ03?1~&A0K&%Qm4SX+< zB!8KFY<+DFZ33x^ri)2jE)Z7chx>tk?tdQGd;CNp?bC-BQkntdhm{{YqF)_CH1~^( zE?liQdPjrLAFZvg0+RQTiOrW#mrgqbty{sZ^7{mAM>OVmWZz0y6>-a^BZc6&om24&gl=`7kmWI)Z zj2b6cm>o1_spcYA?{xIEkir`rpK?!_RXsSFoIV@DlpcFFI|K{b-K0Li6NW8D$48_aahfMF^dRe#>J{^nl2?b?AoV67*%i<-#qF~ zKMr#-tL>X5w~%FFmqmZQ#C5lDm>L}TNX0Dqy7SfAp0?^ZaO) z`uJH+uk-Ns%&3~W_#GyI!aYW1w3aAVkyF<^nCIHK^m|5D+?~1GG_E6{p~N>cQwK6O zqNV#$8?Pd2FViKmlTbQ_B^WEqpX6y8q~0(2q!TapRV^>whx`pj4%Cp+uEF3P#~^o| z6pSdt{&jc@jmPKTJ#t(p#kiKg1?{Bp%hE9}c?r|7d*Yn~HLUekpg3Yn2F$jhFK5i_ z>5#xnnOw-k(ySuy5CYKah(YNQU-F4m#~4RxqitxG58-_@KK1tN383U#{18Kc7tEx#eVB6Mft(_aS(+39lq`GFMQ z=>~*U;>a2y3}paCDz-oS$G|IQ{BGJ0vm^TVu5jKtNL>P~%#A{=1caX>3Z0*z%q7mj zvR8a{LM)^*TGSK8Z;IngV`do*x&#@r9dF#syt1F~viBVP9P!TAG(IoOzub1qXjB1zgz1B9J|h-TkaspiHCv&y zQyE8PJ8@_y@*tB2L);ldxyS56FOG15lIa7liD5cLI8uDr-Z~{qHowWnFKFlAa|!LH zw@V_7RMU{-JIEuO6#Wz{V1(at_*xHv=<|I*t4={%3D5R%I`!3>v#RkbPOOnzvEOuE$?j zol`DdnG-^M%~a(jMglL`A18f1|8C4Ak=D^bqY7ORRR5kQS41Af5TZ%63Tq+@*Qr`1 zRhB9eXe{%)a3&waylli*6aiN1q*b~+(SMqTkFvQu8bxEA)UbNyA zJsPVzkS1_l;z_IShS}>Yn++E^$Fb#xIfZgbr3V>-a#=ZOn-Mz568rCpYzsX8tk}LV zu^D{5z}!U6V_j@Fiy!)R4WdTK3X&+E9OaWaxwYIeXBQMc8DXzzsnwZpU@h&y!V*k$ z*8_rxT~v?n=2)0jmbUGx8WI_@YPGm~$Qlm^<(Sus|J5Bjim&H4X2M=+x}MyyqdUW2~W! zmvHM@0KrUQs22gFy`yO~e$iBOYFuj==-pk#pvdv6mRcFM!WNc(V(iflhDnLwaDOAt znVxw(q!%_&PiNb3!~}c=A=rm!^<##lBx^r=~elfBf6axdwUO$V3ieI#9K1lAt_n0}%FkVTDcC(K$X2YS z)#w_2<|JcFhC|?D$!#RnzYaGmfO%oWVKHUj(_j)rJ{98}OUWPF9G4Uvr?fJvb9tun z{h1iof-pFWUoi~cOFf@_r0|y%Fc{_Zr?w9$`FhQ`O0UrHghTDm4yd-$`kVOMpx#~$ z{nlC_x$zsWVfZmlZuQE4{mrq9v>Lx;_=-aM>tgh`%zfBF>M<10oz%eWZ#{8DR1ggQ z+|E#}ZG9`rXo2DNs_wm|><`prx19{!)s9nkfng!uANgNBNWue-yqIj0vT3SDoTaYm zW>$|QmT^5`ttIIZR)G_mH_by`$IW1#TL`h7QD5#R>&z$gjc$Zk>Re*F zU@~QO_J7>T){KcNj8q0>)va;mz-PhOZ$U*1)vmD7M-nG!u;`Ge!(}Kz{Ytc`C82r? zjszWKZ|q)VyTO}cE#jPhARb5~@yL5tpXu^+VB*IgXR&K;^#Z0;g8$P#X*Jr1;LMUV z+fa1(kvEFfaOEA5pZXuG4)pXCC0&*n$(6_1#c=`@0T0iWj+QD@AT2);xL zE334ui$4eTrU}BtQvvdpa4}p{0a?^M!R{_QQvyKShO7%n_(o8^67H}!gR{`9Dh|>1 zZ3zZr3ziDpLot4uW-y#QOKc5I#`X>GCDHNhW+ObR_P9vMfJ!y(OMSxqc)qDc8`r1k z9vtrQ=|ac_YN5M6i+?XdN+DdT>e{O@L_y;hD|V5c1o6n#L76$9(!IXZ^q*|P0R_x% zbHF<(@381E-+Z|1go{N~XFI=(sszt=c_O3xz1E?a0#8x|lAhV1%zt_|E3KqEYHog9 zD5l)%JEP38=imJT{YR$7)3(sYI%Bbm>JC{un^~Su?2|}2RDu*axr`IcI`HR>n{qNI z=|3}9vnP;6cBDvx56`Xbn&C;hc!@8IRe`T8kO?q-qG!t8Avqljo66x|XY?#}AW~Zm zQpK;inpz4eaHnp6`8tvCBAi4|3q zf#FY|P=p<}@Mn4E4&?-ea{~YA&XX_S_MBSpqzbMwBHt1MT~J0(n;MI|L`FOMkQe4! zrK(9AaM#ZC8!A%($v*!yV%?2kL;$A{li z%O*Si_P>1`eAGXDlk1Z(^XXS7?J?5ajlz`N6MY0XKRLbBm#*L3zS{+E9RbhYz(bVx zguL+ke6TxjX?7wBKdmwG%d23l66~9|+Ej&K<@A2B#O3sK`FUR}Jv-fc^%&ura4E6Y zx~sRk={Uy<>OX(Jh;l04_7;C_vVuHA{M+yK7p>|Jdb^89>ZihX-b?vd%M{~{6wnm^ z)%gqNSiRaa!*NfL+#KWPC9XUbMOIXyhKOTV*S?Sbd*dq^zi>E5LLNFP6c?B+p&z{w ziieXo!3$#%;N@mxLlhQ9ba8dIFtJDU%slt<@%*BZe7R+nWpMOX&aaUqC!?111yc;# z6fzhzj^QOKp{jyKuJ|+Q6Hcz!Z7jODsX(*xnif%9Gqt@LII2dbfMf`wQ8iukAFGp*Q5QA>fdx;Uz)lO`j?`OH?`8S<8}qFk-h?Xo~skD9ZFXpS4u>xaraMge;nVfFAa;j2url=5U@MU!DYC2zO;V)~8zaTfT%K?n|2xx9tsA%X8A!DZHfl~Rs?eK)6? z-we|)Y?sC~*r&Ppn+Ruzc3Dhr-vx#&F?o633FM`v$x<_)qxKPLQj)GF7a_ky9=no< z>?jKWczrbTy?!C{*H$EZI)E$F6R_D8ZI2f|(m%fN+57$y_=4pz>Sr=NPq!^42Kflo zJ<38nr*l%T(Go;_ik;QAWwL{qk`WLa)J$;p2hqdcn@cn+WK-QrM9M3Cj*EQ~FgYMQsLnmZ16qSs~gsYIc5VhR|E3PW>2 zLKE+O5fXe@+jS`joB!$R`ZH_qDLNWxpvpSzW^bm9Vk40Dtu@N)Bu0qG%RH5hfWc46 z*9Y|m;#w6$PF{s6^dsbdR#ct&ru9XMQ&LsCALb63T?6AuAy)%-g3DDA1IG6|CNq`j zsNgdaqwb{*hcAD`ILv7U9;+?3!h=qulyQz1Q2dm(jQ5(SUsAT;I|wS8QW^w6u-vW# zJGAxT0pV*BZ8n*IHxK-+>^AFY#Yx+QPQ=22ef0DMw>BWDpx1K}E{l4Cd<`j*7>`Iei`57L* z*o07CAs~N|gTuDTT8dUp4W34knjW97o!$2DnlZoP+kI2h-uXc)r;AG|%VL*JEbQ*^l!{Y{ zwxqY(lZo5Fj;L)E1@Rs@&GOe8C4cn?C><>pe)xDOXzm6W7LgX`YmM!v67+X1)&Msk zj3gaI!Yv*!;-ZBn*IZrTi==l2@xGHN$;DcY-X7pMMJ}>92CZAD#!A3^nYjt^o&BO{ zAI~P6Nti}GiFsO>c0*ibm{qW3>(a>gm)I=2?ekX^hxqhFoD)R*s(PuZQrpI#OPH$+ zb~r8c>kIb4ns}U?zUkKQlJ}eVdN{|Z*^cPeCNyUa);VU^31M&J5`iO`^vG{L1D`rm z^ul{mer72g)uP|lp;Kz{A;cqWAMBAcSY7uXB^`n=uG!)Mf4{U3CsJH|EUB*>aVJm} zh%;aBUI_(y8a?&D6d8*3hENN?FQ~_K82wH4JYD7jcB0?c{2o0vQnuIc_dnxe^!VNW zxmwvSX5HaZIXbGNYFpMR9K|fnKPK-B3m8p6=v5x2^GFKi*wvKZ`EAtE0c(}wu#N{rc_PrI}m zF|F!(IN;XX`8%ygBN6u*v?ajH{Bhy{?fwy%h+O6QYr%5j5bIF#*%Z+{SQDj>g^0ot z`mV6lR3F)?*z0EHs?BWR@CV=Tm)}1HUbGeO0k4&GVLL_BLt~%Zl^gb~fohL1G`;x_ zP9!~x@2x6c|WHW?W2$rs*gtt!;0$@3m5)vn|@7T6)%}O{}U^9|JaCphz`u zfj<&f*=h9(vdLdU64X;C?XaLi!flv|n^S@n5lUHnDy1!|FeV+yDQpp;r#`b0%7jWH zS?pr6i?sYAt>z1TpT-QH=We?~pYjqOL1Gz1_=%eJY*_6h6-%L}R?cQ6gH$NFn^8p5 zK;JpM;oyK~ThGK;PdEeV-3y-z!KjRC3z!JmNmR~j<;FfWhaBbw#&$!F(H z&ESn9VN2`e@}EFX&Eo!v7G8E@qWu$0ygp_`17?UiiCT;Lt5z^;*SN%ByU0_e=m^%W zN;Z}+9lB8SPGV`&+AOzUY#}tTOmSNrdX01!BBMaByMq+kyYLQuH`&%^^)T&u0nS#= zh{a#{z$Ae3&&A@lmXT~lqbqynHDNgiCz=rP;VjJ@_Yw*jzwCtBZohHVedACTLWuPr zxn4o|aadk>^X$%YA_SD=!XA^v?qRd1a200DL#;@HbK5Sb$AYL&P@87p8Rd?SO*)U2 zkszO|lxpu$ZnP+&JNZY@*!6V|VET)h0x1h~F~0F9xqYpyqX{C}NAc+JUTS#w$gpZ+aEPx^#)e@1uL${% z3zB6w_CWjBNXthL*C&U^LHUcw3*Gieo_keWFqzPu*<-H2kIL7fG|uBJfW+*QSw{?z z(VEr#duGwFSt8VyL-xT8ARbf~;{4K|d>soeE0t4a*TM&DXz1jZUPF`Rb;hg~3*%K1Z^05?7)X>f-o%_=(2w4_UAN0OVBH)na8r0tXSCX!hj zRN!jmO>gC3MR`TCrkmzHpux^644v{~V}G4{4i_%#kDn$%bI|{z!7E?C>`Qr)uEjTt zP7YNa4)yXBEBb~79o;TNBd!WhO<&FYZgWeUpp9JpDjw^|2%_I8;i2&~ZL&6M8I8rB z>iK0<%vA}?^rs7`RRx{~z6PcSV{3B`ZFq*|+cXE}xzsug6(F(J2`fw)@K5MSMW zVlkE}V{!Qvvf}s{joB-vfv95$GJ^K7T8Jj7SxdM)f{A0xB?|)?l<+FaBaoT)Cf&9x z@|PupktI5pHByL0R%qarKK=DJ<8h;{J)+kh5s( zHk3UUNSyMPDEz@3DCMO)uXUPvn zv80<{;I9hcnt9&P*Y2Ix!Y#jTl>CcWAIRej9zg8ISUy1XOR5{!x2Qs_My#sWl3bG| zvfo=X22gs^n{M<%Bj9(;w@WM-!>mTFAJ;2F^5B94+Ujq^pr#1U)bQLW(` zpX6X9kUvyr&J;bd&Qd9v;yRh~u3+i>t}lt_jAY_(+}*rlU5gh?M1cYWj<;|nXhBYf zallOu2h)SgCK_>u5nm3S)Ccw zb6|46y}7{VFZ;0b0EfJZ8k6=$2R}H-Vm$J_VDG96V~^623q;3oyGZ+qZM7>m=(xnU zR*E;(s05;Y{~h6nVj_vN)@5WTdAKrhqUbs0$2Pq`a8PDJaIIT)fKo}D;>NFN0JSC6 zKd|v|s*dlN*vOt%g7@NfEVhAdALiZ|Q5Ex{J9dR8&{mcg8{3mXTuOq_rhLbbrcV$H z6U0C$%b1R=mzH6f*N1L)*q?@>F z#YVFa6B&dRq#l%%C+B17q*N;md~pQBM+Pp#)Sw#JgAt?pH2U^F~ssoFzjYglaOTV1iv^;qkkPb&O3g9H0kDLZS3t<)n?hk*L5hFF)N#~ zf3P%(Y~^blyO`Kc_)vR~d)=2jp_`4|zPGkX<|i!?IsBqj)UhSR!Q;9DPzxCRRv&2~ zyT*Ah5qc-G0;ct>Jf1?ON{iHm3ZXx46@6kGjZ>alUjS8<~jv zJ{2L7Lq|aN*u5PO;SFWqcPi9&O5SM*?EVG1RWtX@+B1YDbB1|hZ7+>q2;NqK=lzch zSgP+0KeTf&7D6cnN!=;|Uy5Liz6k{ha@?=P6rz;}{StpgI8Hyd->nNcR)d?#C`3jc zNV5&Z=d{Z<#9^;qv5y}{w)Z7#c1NWrJ068NBpAaV&!LF2rLa_YTQD|G&5#Z#n?aDp|KM@2@c#D)d=>K35jmld)@*n@2nn%=g!`~M{yRZPJ^$`eH!)} znl9Z(^KA$Psbz5`9X%?bMQ zBE353CpED3gU9i$e4|O+g|JztM0+B(athu1+irWs=wwv#a81=uGfz)*Qr+LVQR)$b zRA^9dEQ)eot?)$Be8+wlMP2vp-5wom@%LDeMl;(Es@H@81H8h(micdKk_%h$?cibo zO@amy+M)cIj7Q=22cutPALj#gI)`DuYwAu73U!Q4EVVCjF->va*TatZr_fyX@LK3% zaFMVR6a!T2B%@irEI!D(JA(U z^YV(meDwO)0B;MSZ+#^G>>RuE{AwirN*!g(yCD$hN(uxs?pSjY9|wT3c?)|_YgW(h z2|cGm^9Y~9k!sqnB9KJfcfTXCqOq8>#`N!qd5(qP`Ru^pWiRixy)pRw3VmaEEroq3 z+6j}aZGr9nP>Ar`4zW_Z>hjO>t3ifs9<$3ueqahMQGB|<_B`35ct}LrUbU~k#O`;% z%H9Bq8fYhs@wQsz!wgVApoO1;QIzkl-}vtYUiU1n&P6ILx7~N^q{YwbI6Ut#qJ#(o zrNc`1WL_!JCeAQWND1->ZFb0#cXtb3#nVV1X2_qGvJhXAVYZ#0vOJqza0Q=w$scl& z&^ERwNqM2s?yeuVwT3SoLtjYVg%eM^Ia+~7(#TCc=ttBjGPmJpAEs8Kl5PPQKoiA7 za);>6sRYum4Exk2&m(Kh+pM-g+DhPSu5_3{JBqtBd^^g@7McOBUBd1|)i?JSI=fAd z0Q;zcWQ1A*vNe6^4E?8eBq9Os=GhP>6n+xnc_^YKqdp$j-oK2-24Uk%X|>fcmnuNs z!0tS+g*Wz6HQ(S;d#$A#r=AP^(%p5%`ozkKrS|#Nxy4Khp zq^Y&`E28gIh$WsTODK+zQzVk&ZSHJHhC%Bw`o^FBdh8A3fqU-SJN_W%^MF(2)(1H& z7X5|S1rt*Lg_ksN^eqyEKE!FTVvov)n6`d zvN+g8j!Z;Hu5RqjNj7PUMF&}v$i1GZ|P^#%*vI(-@@H8p%h`POd$xc z*i_^qno~C^qR88X6`_K7`MiM5LI}L3ck@&~iE)_NWOJYUlL~yGr_mLMm< zKAVbv0hw!OamRNzn)#d0E}n}pFai;r4N&Ht(iaf)F!{#pv#@=EpDIiONR6L}D1m-1UKp(NEfGbUh!zg!F0Kj5qIl5Ud|bQ@ z^`dJK#wuDW$~uya5*A-gG~LuKoNX)-K_C#Tl%s>Il!?8KofnAie>~8CO#1(E?M$p( zK%5-^7Znq8^aSaFn87@JAZAW39uNmR8#joZosBPHUYvrO_dlS7g^QVmgDZ%cgOmF| zg1Cv3jD?Mrwd?&bYuJ9v&_bI~xb*Kk`2yJ0FPWANwDRn*+qd z%l(hd1LEc4_$Qp>UknTav$OvrvL%#Cb|C#z1sg918#gxxSAv6-EfWXZKP20~1LOcg z{Lcd$7Y`rTe`(yj+zBw!)Brcn|K{1*d3eD8#q+WM7stlO{lDM)&zge&cPu+Q=fCy* re>wf5{aZd88`b}lDEmL(<-dYCIR2?@N?HMlg98jkq^6csmO}hL1K}-r delta 16970 zcmV)TK(W8%Vx*7(kWGJDOONEX5x(nJ=s0t*%s0iOCtf&l{Ps9bVE7PpVh6!Y06T~L z{d`|lky5v&dwa3=ZkMDYi}ilc&klb+^7yNkG@o9l-==Tp-=-D``u^w_J06A$N&GHe)@lTc8i<;F?lzCImcR- zu(mm`^XmXgU0U*U%x&?_gQhvgb#ZOw&(j=zU7Skb&Vyq=Jx@5Rb1tN0yc=NjWy!6UT;}4J(pvCsetw-k{^cY0 zkpnB9f0=%I_``o=NDqH}4CUdI$B-ZX^ytIGSC2nGe?Gl?-uM=4TPpVV(FuDx)RaG1 z--kT=w2l+;H#w9SR|N>IEXjpwVA%s%^Rz+18Iu&#hiysxK8?*LdDSWDSUWmDfKm9V zjPfyF<rf~utfGS9&kZ(byVyJ#iV^RJ-_3b8oWwdm(J*D>xbIo1rgUeTi`ORZ+58qLk&yOLf z6?}0NX0Cq=SE_NTHInT(SuTabEYQKY`X%K$x4MK70k*xO!s?v^6g^b|w(R1P3eJ~t zt^{`g`VyA)SiY3?itLjEGwrMFs8Pw4B{rBFsHm%lq+vM9;F=bnyvY8D_cX-_BZE^6 zHHi)xgmpxSAuK70xY5Hjnb3w2}sEZj2Ld(SFloB->hl24@DO;fj#TP41gFpsF zk83i`LR@p@3biAY($dBM)(ok0dD2L0&rn$^CQXI}`qjZsmFNT3InD6NLSbTPl||t- zA`a(kSTgO-!;9dHfQYw35|K_ZW?@3RbRK_i5Dg9D*(i~EaGfI|+&-j;s;&Hz}8XUNrs3s{aYxRHR z9Mq(Fs%2VYrH zrNSpM&VUS&KAq7XcIB~S20zlO`gni9L$n9Rx>ob}12Wg0;AKIS`1KL(#pB1?^H{_J z%E0B#@2HvIX|%_$ zPu@=AcA1Z5aodwBY21Kg6^RcR{^5Eam%NjFOus7ob#u0?jakC}8;Ruyyr+LDr+q9R zkclWmKU`DEW*>HvO^99$0U~qoth%^K)*hG;2Gm8=QFGZA70KFmD%nAcq3tQXTe95i z4$1yN$x1RO`S`JNVTQR%_$_cKB1-y8o&utzs9?#GAkkP|&M3KHw3R1|lDS+FB^=M{ zix{BGbXf_Z&aFj^R3lr0OId&EYMBcJjde#nq-F5h1+F-GEj|qjR(+--d1PX73%4ir zVl0xDIdS2HNG(n=4K#Zoi=H;ft(KM!_Igai{oNwfs6w;|mq#ZtRVJZKJbBAQl|(+`Nb95p8faRMa23)zm+G!G;c z>Z(qlquB#l^t3^6-lBgw9W|`mqQXwwZqiqs7DL-pdcWqh;oc>rUeO%!=X+0Z%rB}& zOGw75ay(%qWot&ta#l-FY-WBE!JV}>e7#kdT(nhtooRw zx|l6z@w0+#!)`KfKj=zj8C1bX2#MS}H%=P6OPa zrN_k`r5{ig-6g?KM}X_~QDAA5-zbQ7#fAq(6%{87buE9{eZY1sdr=Fuz@{Zc%eaH! zmvfe*uM#MtRGaT9H+*(dn^Rzjg4_TZebeLsVUSh3N8*{pT*@eak9crmj>JL=jeX(` zQfCV9Ti6pv9%2^7pD@oV36ta}QJcgaMPXU*G=NnDp`oQ3hJjX|*0v$A5o9=f0`E7_ zwMQXlr8j?Dir-MYKTxRO9E7^LBs0+dAZcs3gIQa{9W1vx!*!LyKtC$GHEZtzSAX^e zC3irAg}NY_4||g26RotVE8`nlMnoz_&M}sPwFB1tQXyKWb;Ve+B9}?53?h;W)C;6Ht z(K9o5s*aoow7ovs1Jj=Yb?q`#s@`xqqLa4WB;cUM(Dszx?{u=eM=LL!jwtD|(d~ePxFe6f)@bXkp4?YQdm|z z4Ipb%G9YquxOQ;mp~I%C0x2J#xk1 zL6S$}nu?4KnZsw8z1Oj!_@RvG=dVsrJZcgiDg(PFkwA#bFr=~;+^`~Q7krbYToOqh z@ZeA)BXF1GfJ`WC2D0NWl5A}!NojS%CCVF?oSP&CG_Kq4E|HEzLH6ZDkYgjMSUZ0e zhPJ2iepj;kp1<6Z1_FzTn;Iui% zx*|c=Y$E3_%t)Xp&h9 zR*spRIj<}&T6R}xnm%eHghj8k%Y$~-q9noByexUdgoaIRW&$kZDt1D`8k(G+CaEh% zBq7rfba7GnYq0;AK+K#`9NpOmJe{Oc99QkXv|oPv}fr>nuwk$XB5||J^7HF%tt*7 z6q0VRPP`17B>U2gRe2J4^F)6#R^5Q`t&EixPn!i9MMhU{!=v52*j&=i9I4$AmQ=`K}AfY zW7z|fP=~twIx1z`7ge#_Zj($zjFOJEr}O@CW^z4<-;(+v5$iL}cQ(^3Z)k#Cqkx~J zCg_Zv2LlU46ADKJ%)tQ{#|uj`HrVMxtdUdYNt7Wfe_3)<6(oP?R~(#|E;%&3n$7Wo zUbe5+ob9fqtE;F2Z&AER!*YC6tz&+`dy>m63`Hf%ZKe*TINT-T3Nz*I*!cUTZit$e z^)gdnQ?X;&16lL5LBSHUj>@*GKjV(>Hp!b#iDB*O`~YV;%KH+p=W~}sGiyQ}Z#0c~ z(FY*oi4L>}+%$i9j^nvo18o_PjIYXW-QxTBI@<8Mf1?ACOT6<77SKTEN+tUx^$8j0 zc?E7aGB;qE%SsqQ4(YBqV0MWLE17uhQq@S6c)KK3x*xdaAh`nvo0SVRxykV&Q%h=J zf#&&O4(Wh*PIg$O0ZXzqW0oKadT1naGYJU{5evL7m7RZa6yn8#?#30s?PdtvE$@@i zNfs3&84~D^WReMPXD@?YlISflJ)*&Qc*P0%FdG`N^^q73D9sCLII|VFvI*nlI!SbC z*U*YCpw_Frp{&=k_<$*U;{BrC=h{>wM6Z+CU-vQ;lQbk`9gaDgb(o}Dqffe~ZeG!N zpC&ZBsl|UATJR0HUF(w#;E+_d$;8d6o_R_kH2yP(6Q-d}hX=5V^T^&nXE@?GyY z2-OF?bF#OY{P4>51b$7uvcdFgVGp+(UU_%3v5bneyXQFS*gl_bXWyvBT;lQGxE3)w zpB{gZjhYin_o`P7`kf}7PxG=ID-5}WP^xBLgi5fcM3I5U&s5wrs}I5(4+64ie(Ha0T~ zARr(wOl59obZ9alF)=VOGYTLeATLa1ZfA68GaxlIH3~jH3UhRFWnpa!c%1EfRa9Kv z)+O%lPT}q@!QDb|_rjr&!aYHPySqz}kl^kFcL?qlAh=ueefPgNefz)t(*4$>PmNLM z%(eEKbFWo%*BJFsG!&}pEaHC_ATyv0$PvuK!OAWOP_c0^b8}S#IjDdHlvvb&R&Ic| zI4=?njfM@_9{8UYAkk<6U0iKIj)MPOD(M0=1-}KPOu=sz8rE(AaW^XffD^#MCCI@o z$SnZiWM}95=R%N+Ai&ZEWQIf|33Bpsv9YoS3j+T22%y(g(`H~|V*Y;<;SdlI0GN6G zGXszUy4qMd0%-q@;4SJ7v71adHB=1L!3g{+;D*qZ}-6Z#+me09l|T(B-YAzYG5wnGDFq3ix*~?0lSD0D5aM z*h!F$&GIc}`B#e7)slbJ5eQ~`o;x7S!g_{$brlXCs8&F>AAL{{5ASZyOsl6)@;PaM6`jfT-f&o12oa_Qz z8~~s*0O)CM&Gy$GG`yUEe<%MAn>t$f`TUE+&&Cq?c0=-UHFbXn0>CbAKtG@VIq~lZ ziGu@RVPg&km;tS99FhL8zlDL8|G>(oU>6%tfId6x+fV`Qf4%^$sm z&V0LZ{72jVTmE0>{Xg^TUtE%ZG5s;>f7_vqo4x(tv!wrrod9osGIa#JSqh*8_{&rF zrY`@z$kf5c-s^u?_TQFk1OIVW|95oqVAHp5#2u~d|2cnh0Go}gjEyJILe&OrZv9`j z{YOI6(E{jVZ{rA51-aV%^*sV$;b3R~Uy~ZvHs*GYKv&l{XaAi8I$Hd@ESt2WImp7s z(F(xH!wWEVaWVBmVt+FvCl3$6hXe3-kbs_lp9KILt0M^fRswKx1N#Bq&Mwkl2H@oZ zu!;W_`UijF1+Yo{L40r4{Db%bY*K%a0Dw*UUx<$bz$W_#aRS)n{vfWm(fmPgdWwJ0 zo1W4i^rol$2fgX3{6TMe@BfAP*#T^-f6$wr+8^|$r~U_V1K2eFpf`2RKj=+e>koQU z*Zzav)OG%#H+9{=(Z3Df+|9-1&B}kDrngV#pV)uW=FI^>peN8A>HgCxMC$P#$z^Fu z+=9@fA_QHN>LqSC>~ke?7xe<2BNA5Q>iC-Owh2+4YW54F$BF(8^-=d7L7y?U>MSuV zqYGGY^sD+2+zAYi^$ejcd&e|@(w`BxW&9dJDuH5xDwRC;N@?p5TnFX{uC zeHjZxu(InQZrLZ$Gxyd^&TRBv8z8))UXy>Z2*KE%Fl?Q)k3=0!p!xS%Z=!4%gLfgk)i;_9%-Ynj=Dhr6J)A<%!6 z=eg0s^M2}wSHWw8yI81xuLHtHcx(+$YSQ5jK>ujC`pm)wbT`r|StaJYppJ zP(`7J!jh636(DS7jziG0Rw52PQL zsRMuWpN2y@uhP$UQ8|B~80?_o%fpt+1wv%`iGNL~^Up-bKtwii`ldr9-@(3~TF9fm zC(8{#S-P7?3#yUzD(wx`WM=KY5b)tmXN##z=nG*#I;paUcuj^mmy3o3~ zj63z3D1HP|yBObzY&r!=%4OL=fHxlb{|>@vu7Fyzr~ ztqsvUT(ErqL0FXf8PhG#f905F7Ao)+yV7?~GDO>V<<`%$zs1B6#yxEr`d{5{JNnL;P4iwtf+99z_4^hqN%@YPb zJ()E~849w40qrQ}vxKl)b&>vR@uO0Okt|e)a66nOMOkqzxSb(g`Zn(Rek49Nhwg}v zhs97)0+Y!@?zqJ1Gi1LY!1s*=yr^4k&)jcS`k66^pzm{3T5g*!}@zu|q znVlE<2swYXFW-IVk8TXjMZ6Os5hCCA?^enWk>qddjsk<95@`S_gl`dFAzBxu3GXb_no_bC7*)6FUIg z!__yIUI2E%ip&GyN9~J+rF(3&!okxuE7WJnJ)U|Q*NjC*;>A#fxEzb-xFXm zT|%h=i(%2TX0`^2yj17OWg79kma>}Wci5%iS7fGMN&A~@#Yatg#zPJuLJS$x)X710F3O(%h)Q4N znY|%?W9-nGM)LIvBzM)ueT)KPtbhdvy zFO0eF$_R9)_?Q~CS>ppHj0t@$lu3t+__HrSVJrN@&s36=gzDF?iLX4S0Uyy$EX}N!M>9m?} z#ymm+?4CPK=v!ErQNRA4H+UG=}~I@f`P#f^ITW2 zkJ#MH+q6aZMQT|ls2F#}=g}TX+>h3ZGf1By32QP$%OZireOe7u!zh2f9)+XM&ENc^ zVdY5{f~vyp4rsadx3DV-k2Y3%y8N8MPTAn*?q>a>jP7)^pj84vOh#t_0wWJwGN$pG zN#hP;44ga<9WBB3INxa=Er3eoDwYK6S8L5Uy?vK$bgYaFn<1$6+^U^@M6XXC5*ih{ zy^CJ#?o;Nr3H4E{eB9cFUEl1OoKU`dlZy`*v0;b~@hs zSOJ}Ga+wI#NJyxq+W*?Xr>n?)ac_;|K@$xL9oHlNAWoe-H|NWN(y+dg{Rkm2Q?3!Z zJbPtW{UhDG#FF@&?1Zt!pk{u&@g6B^huMe1=!*o?xf*{{UqIs|n5_=2l-8_YUbXk&-hVq<(xCPeL2baK8*Y(=+0s-{4P*IE1RPVZ? zAfXZbFHC>nW}{{&`f(KJ_iDd$>Fc0dwT}j0dc;h3C#a<;XsH<$^{n$AG!ZhT7bwef zkfcu?W>t8q?lH#~e<#O8bMQ-jNw$IcaErmiq7+#oP+|bvs05OO!O1pJMTsZyOwR=> zpieGbBY(}2Ml@;DdAZvT#V0lMqf6GXy0Z3`A!~m${p1gw;w|xb9z0I5<`O2(!5jD? z)#?)V2Vm;~+C>3}Yp|G>QF zVluj=^{n3Vl(0!4kWsIbcS*w|7jb>LcitVw5SUn4|NKnt{b(GL*4Z)|f|1>Ab{(u= zi_)uWHjso@xDj=a8rV82;z~Ce_h^!6p(1}{!EN8oIc*Zuy@&)cc2gx8d&xLL)uM%a z#W`*1A_8?CqiS#O%uJbL1X&Bl9!+&wM+}|uJ;M7E1r9ROW6kKar2r4=8eJ)`ckF`Z zr%ywLBqYviqjuy99|Q8bQw9oJY-Gw~S#{(3a~`@CV~L&;C#i{VF7y4x>Ke99u}9WhpRwed>_s~>%vZce;@L*=8F z5u@YT8g!*|dH)j5+pdm^=L>D5Cs$>`bDl9fi#dncV#XQKcQ@za@O0?m?ijg-GhXhH z3xSW8+>G4HtP0gf`e}-K+yjB^l(c_pxra96b#;vRVm7bl(?yf1HlW0%nrFgD_sem4 z_q)G^l`G_hqXu=~F(uv65(#TJcEfqVAaA*J71^K@9(g{Gxj$kmxp(LRzTU?&Ry?`~ zx-kN^4GmcVOMOW#spRsT2Y(r)&vM591zeVN~m@ zk(9&o=1zX}H3|7j*HBD6YbfS8H-x88gdSV#&#Wm-d=0`1TqJ9BP1!vWR~%eQ5L4iZgrY zHQGK^b}!m;SC-|9tb$nbPc_kj6P+Udcf#>hnL!cL8|~yhNx5Ol6Kv6(quu8jc2)@2 zbk^iyJ!)fU`?12 z$*W&w%zbh22$ACG5khtjjh^aRX!u0ENEh5?Mx+M5e`1Wmo%(;Un!}xWk80uzI-3T} zE$Ku8WWUOx(8(#1IsascN^j7NHkuqU#7Sl(^MGX6V5Gtes`xbJeh!4C$uagj1^U^1 zOfW<+EBccpFNO*ceYa*rHYpU@h3#jdFS|;eY^atpI|WW{NTnMyHQa7L3UAd%7ZYh0 zlnwmK6Nq78=s16v!F`T(4biC!X(heSJULd~SnxkTpFfSzU;T^E?PwPk!H;`*xB(Nj$2dzSAihGI$LH?(@ zKqKQLySud24>lEN!IW$REsJ|*Uv-Nr^bQoOIcTuL*yg z(4;ZkJjIn>t9F#$VU%#f4lhTJXEVp3b3U}Ma$1Air$Vd@{VD;SzQ(SucFs`o(tLVj z{=~y_$vF~hR7}Vb!%K2yG^tmX;rN61y1|Koe5neJ=Czzdw|EIlDGqz0s)TsZ9U%r7 zW_`<}^C8;V?p2Q!-ksaO?7rFv#;AXEq-{|)udetQKnz!?RVlO3>B1c*+;8Zce3TJa z6iHH~=b0)k&8mN3%Y-@U4EQ1D`f{@dbA=nbNwKbUcwa_8aj=nL5Qu{VGfIg}ouFl4 zC`$c&#^ZE?TDHKjaIjponubYghPrKeOe7xvOM(ya7W``f#gC#Ug(}q5XCc z*vLS!qNd_w?Z>kCu3?a3*-g@fUxCtlQJlAdd~)cC!`tna7@)9`KgIM^%!E~vTk<^O+FY@+kHd^83eUNYn^A$1xv^{K~&bpp(hVmm*6Gu;!h zr_w+f+DjXxmO9YHDlB`vgwo96G(2~YwxaK#$Y6k0D)lp82ibE?5(n7k@A^>aZDc4s zJ-pi>oR*u{SwX34`Gok1TZr5ieWSvhdFbb!s8iHVys*)(#sII_mf?T8u@J9+9EVO% znYiyV_7j{&u9*qt3WX7uw>_1ZtnvN`hjAFkeC~!O{?k-XVN@`n35B-^WKPp<^r5^h z)nH4<4YGR#jj?(mQr9J@w|Acd<@Id)hc<8r1uLbWuubp&{Yb%hI>nOkW3AOe0zxE0 z@i;FP{+C+8Os!t&VQPOi)GV!vIwG`l>_ zGXo8#hQ{7hZG!e(pr`3B7!5Gw{f_3OZ5CyJSTo+tua$#Lusazt)Nngach2ejYmJxS z^_N-%zDH`DccerJl{-MgLwp)O%UQ!a>|k|6ny|*r5p``!*6)8ft(a{tH)wq%nj09E zTA&A;=;x!Yo@#!V+Kg*REv6)#GF#r)2KfUOzIwf(R)vj(T|#NE61@d9R| znf+G>=MeY&c>B!RO9Tzq&5`N-D|*MRcbMwzVBUnuHLKvWyOYXJ#E?Q)E%piVz66x& z30|N3&Br!j%_)C)eLFWv(*9ZXB;ydO0zn1OO8vlwmJ=3Hr?_YxO7VcM*v}F)IJj)d zRDohfEN3#%9SYnHyk9SG1a#aIq8k~3(n~CY7$qFDWETDG8z|zjJ7QI7+C(T?OwWx| znkJ?JBW_Q_aGHE=5#Q1PV*r@_c(`(DJs0e)#QlNS z6ySE*@eJK*5t3nWqCr8dLRB(Jxu;hZ!P<+q+G_l<<>8Zx{^~LH2;_O_f$Qfq)B*sZ zpZw)>F(kAXfpSQWOE+ziC0@nS#D$_~U)@^eqpdi#Grp@sNB%7f{@T^zR6rlM!_LR= z<&=59<{^KQnjBzM`rHEy8|CnY)5A=WI^8=z2~&OZ zEk+NPO*!Q!)q%3pw&;LG;-dZ1m&Lw94aH`q^1gpqHh}`f+%j`nXPzLg4=N)WeM^xM z5-9`6jC$IF)M34BnY7%@-O~jjPfr+|&55Q?3OakRXgz}wE#?GR;2Y1&ECS343Y18k z7d10_g5nmjq|@v$4+Df)Rqh#%l_0lw2}&O(tr$wv_IhDNN(X^As#tf6%?C`}azP$HXJnk2x#d34Z+y_CN zS*odUcX5ei;@X2j>(frZ#Z%Ow%-y(y<*R=O-yw@>zM8Z>y9%b)Y!%K45YV=ekMWNW z9t6FYaI$9++Nh)6iEI(dY>5$}>w0Z$B&j1Ax9IBHuA^x5&FBbqGEsd*fU;$t6ky59amhUvj@~iEWW|8NW!;#lzzI^ zT+q`{NEPUFGbN6stVZU~7<@@Wqw{~Yp>I2_GAH9(v83b)8fOjruEHle5fuHYB4x#F zGe~eYkirQ?lS+XzC|!pfH>aWc37Zu6=)~+0o0~{jCunGPn0Drnx#QOf6C{87haKf# zkXR^Yao!80JnnY5aZR&YqMQP0A4-XrHfO$(Q+Z63({Em(D+R-G>;{Ch&{)T53*gK; z6^!r)ss#efE47nS4P>dZjyIVq3OdR2qjf!UD&4>tA9F|*Ey-3*Iy{4uw6$(%@S3-S zDZiPObq>=bIruUrWK5R%*l2$fp{5CrPt*)LzY<9xtGVn{9t3J8;j*`_Sn<)F8O13} zT|&5j9ezCSG8y%C$8&(USRM4E@2(6m6O+v+)XC8Gr$+}ccuDkTWxoV8hk*S>)os7RyG?jm=&S#Yp9WmV= zgJ`}LTC?kT2LX}UL0n}LYsw)_hu51KuJ`(oqpl>xknc^Irz!YbekSH?@r}Q3FQ8FMds@^^?W{M(ykWKT6qp}l#?-C~ROuad>R)=(Ao@uCqw!T_NR%6+`?9 z>HOk7R{CO#0%yF0%k}Z3DK0{j(*Et+cjFm){MKEmzRt*6J6aE4#-%*`ACcM9I&uJ< zn%?~!20PnE_eT#uQ9nv>K$>ArxQaT)LCCQr+zMPy&HsD=KE{6qo}v5i!E+>}N$(#} z!oSbK<~5R0|3M&TYXi}DWt7Kb#uEx%kK!xQD)Cz}%Pqg7hshR?0!c?-zGN<($h3^e zty5M&j5wHpvT1sijG~d z5;+$G;~v3JISVjpAQ}1FhAri-e$So#rt1XH?;k3bfV3rg7J4K({Nf0s+f?YSaJ*&4 z=0dV5oPV|2h730@IHMX6em++5DSJyb(pt~h`(uq-zHt8QDv(dC&sJBJ$lbz25`BBr{8=^^p$26lKlAs=HXZPbY^46f+S?vAq1woNZ$opc0fpiGF2 z7ZS_5tIk_z0`Gj00vSvGQ8{%eQtvf81$E{2aBqKzw&qQ8kd|C$+q^j*Ey=rfPjctu zeb2K15>@Oux=zwe)z4A#3|LJO4pS-H0zKc+g@?QqFsPbBotLYhDJ zi$pOE2gxloKf^~FU^|E2b7vxzwjo}^dHbJwq0&o^^ylg#(VR}%>`zaGE^%Wuel5tA zj6#2^7tHWWpP9~Ze{|E3*-&$U9pxCJ7<;Y5MG?`o} z{`i7^_#)!RyMH~8$1|c@Wt5Te zKRtOWAb6;=lq0#7)}b=0`GgDaMPSAN!e4(pqCD1TO1kHC(>KWEjXD>ECp2j3GU+9K zLR)X6x=54=gc(Gbax!C4F>qKKl2vVh0O{#I&$f~g_G)o@2&Q>(Uy1Jxh$Oa+*g!jdj6~XGg2fav>CXkX6e3Y{y~dBQt$QnnlZ{~du2p|d zD0bNs;N43VaIK6U|W ztb@Nwcg?F)l&pqhjok6jqn8TVt-5LTNQ-GE7f@%zeyXd9<6suV)dWr91xyM4zO!I> zDwzw`J<);Ug*3idqB59I1}VDTlx;W$Uv}Cz(|kOjwRmcV=G26>Z82-Xi6MWod-}1K za*cIOE3cTg_kq5ZlqPpuP)Ng$l9f)b!}?pDSqSwZ;XPzY1T5w#r+8)iM#tPPV^HU( zZ;16hNidqO1-@MVlzcIfeL1F(Nw7Jmf{Yu77eN0Tnk9AkDXgMKDtisTKB68Z2*rSV zMZ6!-r)-qu^S%fkRqu7iALM_NWKI&};%XwSyW{56KK?{+1>^Hyp)7Pb=&9`B)J6`G zJIS-}BN+Q+D@wYZj>_{>%pMm8RgujWwKr@fi#ti5SCoUx6#K#Dzq#GJtGA5@R*{aMirL{&^{@@o_55MyR0ZP&^=7NXH zMf0TUk}^`19fAhh;eFn;@1A0C9TC+Xw~|L#JcP(B-)51|3OJ8j8lcE<(O((uYpz6* zJ%^F8K8^V{V6~Mu8TxLIw-Qa}ut+z|7svYy&MbyH%dC#@vWd-R zmj+&23#NJ-4K($H%H9u$BtLBl@#@kEc_^h1x_j9}EEwf*&98rob;hF?7clQQPFcf} z{ECKNIT54u-y;!cLxw@?XK=Yxon%4NLDPAp7Q9dGIF{#RWUgDJb;gcn3>ifH&MLYp zDM^eBVXb50^#QZjVw*VwWdiX>f*)fnDo|<`DftypQ*VMnd0LO|KR!%DC}R z;39YgR*G~UCl`MQBE4e+`y6HcG1eHHJgV?xFH|S2C%q7r%urPIJ;Yozt5VSj(Jk#T zF?5H)T=`WMM1>L4i@8w@vgL;7=i1cOqADgZYfJSj$=rZmB!gWmfQepbr-og$Xx0B^ z9Y3mv8l{bB*5@N|1lv&+-pGwCn&5P(Lrj{nq7~MRf}npat${v?c*f)oy-E7UWs;(h zcn>Ydc^;=+ZeC)^O?7`Oxr#I|nr~TRl^;FM>R0I;GIMn1^FC0+MIUYGeB^uHw1Qo` znoRg5hS78h6$Wh`U*jrd)>NKCLWq_{RZbP%Z#;KBIP6keY|t`*JB_7ox-jp0W2W}U zEPkG9OR0Ykae*yOdTrEkxnw3^A5fO_!#5>}>rkkE;q6cThq6nXNV%ird~$G|!NKvZ zK&*b41s^|p^Lk~?k)QFu`eh?8C`r1h$uds;Bdmke7uT_-yH|+Q8^DqDq#|L2orE^M z(Hc~P#_^Dp9gg7kV1XESf4i*qIx;>s-3cy`vV=4hb6qj+p z-MAL1JFJHqeQYT7Xk#NA=fpDB2(Y!unBjy;Kho~H?(95nVLm7xd1s;K?N#+!YYS8Q zrQOz@;fts11(?|)8tH|8a^N~k7h%Z4LA=v$Ja_c;%H3D*gW8}&S0=d-a}0gP`qo}Z z$}4~B_wYy){4EvRJo6(`1tH^VjH;+%_#K|Xdk8@ycD(W?Q|gX@aX6|Kwp zu(TL->n?W7!YUe?0r2A@nV5u?5AuWiWu|{IXzp@6Y~4Mc5933{Q4_r^(WT`i*vc#J zaAIbRR$*KUmY_)Y2ehs!XMvLt_#|uy5IilXXze{Xd2LU zxNx>sb=a65pyGTIZouD8Hc04NnI4D9 z(_b$+Zot~ol6=hpZ=^*YJ2z)7h35&VC`7Pf5-BqKF=w)#+vyGgH7WUf&t}9yf{I7S zRcMNAZ{;_|_hFYl6)FY|QGybZfED_Hn_6qo@0RuBaZw?8W zGn;YUx8)(^vdb(wBuk#tdYXCMccVx0Ne_qhvm`Q=jG!W*$?Gxx=fS=o|K5ix123rdI&YN52S5jt9{?YyP}_d!hJ*NaVI#6^NW&%q?o{6EA-*t#=0b zIw$sXCroYXhyk{lCYZ{D>DnBGGPLb=nGWwu$&P*bEB(-h=M0w!QdhE8CC0B}AZ-(C znD0bV{T<^l4L%c;W7#fAYP+t7O0PSDAJDtl9Tw~P()rbX@=;b*pW=Tv0B)BI&rys<^bRnh8+2Q8MJ~c|2W@ddCYJ)FZ}*;h)d`e|aJOe}Wd=&=m}F`RflANJ#$!;uqBilej7!1u-%(G&!@`D%t@@QgvIwO2jY_y?62C4-B%! zgBv%Krb&9OwkRwstOrp~RZ3lS+l6*PPlCUY@6aFcXZGl4ILYdQT?_=?y!U1@Nv_Fx zes!50P3McdRXb}I(m5$elaY*vuR_N?4Yj0J`Zbi;@hQVa&qoI=`s*Y0P1|;3+Y@oL5n_ga$b@dCXEa