From aa43ef18f38db1b1f0c481f23bd788b167345d6f Mon Sep 17 00:00:00 2001 From: James M Snell Date: Tue, 23 Jun 2026 10:19:44 -0700 Subject: [PATCH] Update slides for next plenary --- slides-export.pdf | Bin 170730 -> 171367 bytes slides.md | 36 ++++++++++++++++++------------------ spec.emu | 2 +- 3 files changed, 19 insertions(+), 19 deletions(-) diff --git a/slides-export.pdf b/slides-export.pdf index db73bd50572c288b6875a558aedfdfcab4944404..3bc4d18fa483a8af05f4091a4fa772c53f4e6a11 100644 GIT binary patch delta 29746 zcmZ6x19V_9(?48oZFg(iwrzK7+xD$(+uho>y>+|o*0!x}zkQznhxh%?Jvli!nPigR z&CFybbJhZT+zDIH3I?z8KP*c zO#d+xx~^h?R(AjUMYNeaEf>QaNyX)In#oxwpx;+3Jb!|PjNCmuVsZrkoc)l2{-b*T z{>(oad(E#ctijV;s;Xsh=y~bJ5sWpkO!3skJDuQNwv@!OUmd6hy*B7y=|lVck`wZC z`bYgDA2g)$>4i{N*4#O*1pPCu?^+<37gYxZTsh1txi(_hVBmqgqR=UX(?*VPH)^~Z ze9&^5#TR4_R8*ooXoO@#F`R@vX+gLu!$vG+an~6?pcoouHm3WMyx3W+#>Y#IHv>+B zR)_Jji~;*i7XU#+$yM&p8On{Yg_K~#lM*4jf9DKFreZI88L7FDKFfQLM%+Ebx2C+nyA%9FraGTa5Gm{z$|Gg5bVSTbDw6s zJcuQ6d~SlCxR?d|R9yQ+SFz!mRGgW`7~`+TU922XXjZ9@ne{dUt2>`df6xrcGX~dE zZZY0^FDx~$h3CGX%Vm6o>C<8-KZX-4HZ;k2u_|#j7agdMopZRVMsHVHE1=f?`UEx9 z2{_&=LY_j&v1Se=4?vo{EM>cn5PBKSYo&A9|}6;a8cBcpRYA49@5 zU$0Y$H>{JKenG*WnR~C~-2VELQ(%ckbi0r?oK5DB&TiAM^5wMU^}Jd68H2pJe}6X> zL<>=Q-Bvbs{4M9>eIILu!2hq;>nB`i{#VcV``{MJx94+UJ1sv=kiJii~YPvcmrJ@&-cKCXxti?b0W^{uUb$!`5r*4_X~c@ z$QenHevS_dZ-m`51(Bsa{P+;+TJ(uvh;VaA5Ob0iO>NBorRsga=OHz&-nmd^!55{y z7rLG#z+V`+K8G8(x#>X9VKlxIXw?{}#h?mp)mZI>qous&w`FubNBj+~#8vev;HemE z_h3V<#^o?w@OZoehU-AkgG8tu-c6D^=(;gnrGcfjGcPv0Tl1|2)2K87ZmgybJDbEi zKXD~QjVn`y{CY?hQ;?r71y9UzqV$O0MmjI|^Ew_d*s$5F6J+e*B66L51WoqQW~p;y zheJ&GodK)t)KR@d?Cc!iM6bpKjo=r0*MLg> zGh}DAE+Nplw54n;)X!%ckts&vqO^ENl>F%m=d1vRrlIMsoyqkxWG(YZ>6`SRzhlfJ z5FZV^^ziXdEXtgiSQ-dPRmBUCFZ4jC&RIykqYxh~L*=ttJ%xOSL5WTiE63vkyDSOo zXF)Mh&=wYnB~P%ZkuCfw(ooW~7djJag5iKI9bqg_VW$8+y|z%!-M?7WM^?QSFgkdW zVyrGh$BRj&QR;a@2Okz$siI=y2`$N%TEqqjvk_!-j8Udo4}mG1XDr}}{Rmkwlzv;i zkhFp=h>^2`rB#^IMLHi^EZQ)8x4*Bdkvt6Y_B^b`t($D%Y-pt}P%ki_`pL*%$FW?= zU4B{c^W2<`y@B)n>GiAq!|(Of@Y!-bETYZ%L0^Ng$Inr>Lwk5-n)GKU5lr!T;;0Oe zx|6VxKBal!VWM6YJT=pH#aVNdED&mE`s3F+YUgi5_-JjBSgfV?X2R!bA? zOn-2E!$@l(qOEyhNicD-&cf5_{KE+HCm;KB!?;m%YKB>r&!ibCEpuDt^=VQJ2;K)l zCJGVl8_wbA8TQC#otFVEw6z^N3K1(!@ipdIuPQEObFp7tQ_G4B2{U)6zlaSy=7Z8l zBd^=2=)I7Uw|RgL9g3W1pce&ipUX0i0=*3(ad(fkreD3(Pef!R-W5^m#ceu+!+shZ zWyye33xG!Ar!p2`Z+MIwwr0NoXig%i_ro%(wMbo}9l7K@`C2K_^X0Px@YzHWdSnA* z7ZI~ZX5myObh4SuB9sEyA^f*7@Q6*HtecuNYOGCibmYb6HZ$LQxb5tb+=={cmE0bw z3x+2R8cK536ciwh+QNnVmfaf(hcOS2E=>h{WE$Z!4Qg4e$SgAgCkIG?duI{@rKTQ! zZJPQ+X0Y$;e`jZ-U5zDMR>Xptb?Cp4Kp8?n^2ZjSae@R*KzvxTgPwW?_%{-8idFEK zI*y-GR{81GzK6vjst`<|(;(QvF)!l|}N$C)ZkUdaejqPjQb5vMvg;4!Km{WmH1UK1&`PFb3r*tk6 z(Ga3=p^a`#qqa^P3-_auo%bC2HWi+oa zuBXm@yhv5Ob5tEvaK7ShsO_jFv$u;4nRvp}> z!awlw)Jl1VsZUj(wM!MTHMUCEiKX1v9k!@jC$gGiP%SQtSvAty*=|i^(J@PWdc~@j zx$audi`*bL*=sZeNO*s1oi&*+6Lo&`l>79R8r`q+ar8{Oh<{fgv?n2?yp5>?CrG+? z3Yt?==fXUefSe-ku)vvp@~a-`-Oagt-(L-(t0#^YJ<3YR^W4uqU{?%QqdELmUScES z27v+6CH7pxT;rR8FFdB$Bb_wV-i~#86tlq(6WQd{c(ir}{1SUIS6Pxf$PKL>lMf*flllU-d{yF4W?zzuV2QUF=MUb7k^SJNJw4Y z$lSd8WpCnrHcbgJ4%@?A5_ct>s8{pK;Pai5n4$#sm^A?3cC<7ecs4J-dGGO#2=X4 z?#-Rzf$tdeCQkXjq?uHJSWX7>MgE3W84$MXTH4Su&NM z=!;+)d?sQU)O2TGFEtl9Fq$?;Vq`edJNJEQ&RGH$KgIStN>)I62^(c|m~(Sn=-SO3 zTUdhr8Xc-ev&wRYM{#YPX|ASFb7ow@{!eR7RQ;+NX&Lzxq+i!5b-%7sH0}0j zp0nZY^?44JuByp2;so7_DaMxyvt(q}t!L!B$~(9(Igf5~UtmjV%==#OO^CpaApkhY z$+6XGD${zfcasPwTuY`M*>DLg_h_khFlpvt;Bj+LC$yoh%!d&ogD*L{Zr|<3uYiow zlqP1ql=K-T2m^B3J0&T=opRlLhlNQZ@q`L6Q>xyd89v^h$r+nh+eaHb;|EJ;wdM?N zc^`b^TI>*uX&kp=T^j-S$ok4#Lu}GE)8Y;Z;0^5lZg8`EUQ7N1(3a1o>d zcoJ;kukOSx21K(9Ux#rQdRAlz=2&(mgQ4wEEB|QS7oBl0gW@3TcJ=Ia*+ecfyV$&4 zyNQQDap4ZOq5HNP?(`&_sC_KL)Z^kI<1rzq#t)XVLyS}A(^ZtCdc@t)t#xeQm6^QU z@SaM3tScdoC8WnC-PMCRP#gZTmb}6bSftrqh{SGJC%_@}KCx>IIS`A5xf(nF>N)G~ zy;#&+)ct*;+2)$501BSxg!x|n&`#^*lz~Phy)4avO3Q0R0VQB|dl$=@Yqjjg@3#Bt zOOJiY4CCFKb5w(RLQCy+hioY?a9yjXOGDN2yy+^>pVUdzEhsN*sfU>pNa{4L^u=Kk?b$To!1>-*uS z2naW?od=jXp~(3&)Po_i7do)&;0x1`zUKf2-H?81^Mg1|c~>x%q}d)Z1%lhbGgw@#3QyWMTCA;Pb$Kj_M zTMJVm_;*pvZ@;7OyJ?++D$+f08fXo`HLi+Ws`tGgr;g8<%0wU{CXb zcgO9<^^oR;_s(@%SqhvlsZvUJ&9hb+x}razIzDJr9_kimISrE>m1Yk zwGTVBKuu*V_6teui(n>xuS*dpvB6HJ6A#hzzTGzjV>x7Xn;DALA@T!*xrUp@d8+<1 zf0~kN9HF#_0@q<$wctE9C|4vRJZXXa>)W`S+l!{q1LAl~QyI`(Z%8VDZ`ZUUe(oV< zRs6Q;U0RqMIl}PZ_Rh!I@ZLd}8k#7&bY9+)blG$puFW0$qz=pOr6R~~81G;C>#uQc zTd#+4@mbZ4){Ozd+{=dEr^YR;ogu5ecsDXl zOA%Kdc{l0{tA`%~=EOv{O|fKpce(!YdE=!%&BMl1c;*#6cU0 zL}OhBxBAFm`ym{@=S}l*yfEMRe4hK^{)*#mC&h_mK%Qb$xw!hkqB>p=5LL&M+-*{! z8S@XSdz@_uS{Us&r|GcO=bD@qw>>&oMJlLjvH4NQB}BWm^0A6}6s`Q?LB9+`Kh8dd!ydq`c_1+Aw?S<8YOpR(@VJe;te96#FRf z)ymU*O76=$*l@j_N$KVRGPmyF^0!v=FJlNN7UPfHHIqKn$IW{*_-l?WPx=gY2ltU| zJu(jz;LAZDncoY~_3z{(ZVs^9{i=wYLu zB70oHzk{l*1kcpt0i^>^#}aB(pO(QY(H6PXB6w*z$I-xryk!Bq&BEFp9=tK}*#v&n z-U)GV4bdAzI8S2#$sMUyq%E9|C+*BGc@8y^O16*G$s#(Cm8p=|DUPSzqat0h|bhNOKaA z-lr5HXgetM<3vygQ{hC8?+IE?CWO4Lf@6NY-0yLvW3fv#`l?KJyLXpSGHZJTaxT!J zz`AsDozS$s>$b56jgQ-IB4v^Khc!u!g{dI5#@CJ{cvj71Z8TIfhy#seVGd>*JyJsr z_t>h`sM84qGXT`Aw&Djz3z$ibwwWCR?1~IMv6F;2iqpL0+Vj0uKt)S$#d7b`Qhi0V zy*?MQv|w6R^p#A_W`HY_u&#cOL?u6F!_tRoTXG&|&|WYWp((N9m!uF5wl&PV9$HXk zS1~k~C}`?VstsMU%XW*#_c1OQGOU8cpX{Wy4H&HnJiyAvtzMFz?Qbm$Zr!_1D=J*! z$D+5lweye0UuMw1MJW^(@kkz4+3_y2kg4n_k+4u2pteUBP@|itF^8AGrRFERRGB_ZdaZxEf~Hx-&Qj<-Ny1llo|YI zTx8jAc9)u%J?w6i-S_wwOeu}{wIT~-zjl^uNEX1HH9f8E$4$R&8(rXSTb%ACG7Re? z&z}iDl%hwW9pl(*`h1!d#$L$J*pv7Jj6An~OOdm%4&wt+f8BOru+u+?2k|3yF_fal zoq_3mP8drQ`oGj0%yZ(qG~cyOv-;}LGbUyHNv?#iD?J<$a?B42f)+WQpj^DQ(cKL7 zmFqGzZ9lD_7=!G(Y-aGb@JlQ|ziYxVbUe`>>DiRNj*Y}9!@1%qNrl-UD#J><)MO=G zEu2?^Q!fpWGh&51TMdAE6T;8Unt?(r>H>zN-YkoG5827Q3$vDB?dBW2lhf$m$YyjQ zy=R)Qm3V2<+kNScK-yP43i94LAs%bDc!=q8=+WqAuGVq|aG5=McsYjIe0;FJx*>@* z&;52$n>zLAw@Cf<2bF5PbVT*qbp8^8&T2PdJTUHm5d)o_bIjA{^c6H?yBjA3f3eon z2Yu`aEgZ>ree8fg$Pe##NT6RNoB!1pjt#T`8~gv(4!Y}c8|^55E1Eal{R?E#BXIT5 zhCX(J7R>!eeyF_Aqqx=gUqVXcQR*tutTm?uKIW|Y{Z#@g$s?UPswB9rpfq31GhFw{ z>V(DdM^EPuV-UZg4&I&J-rerPKHndcGZ}mRGPiue?hpIWHtR-kfMLVlzb9a zg&nE2*aV;^HFqoe1E8C%KKf&YozDK%ma)G{& zHI#LJlc1a8tbfy12JGitc66m?Mm#>0Aa(SPw5?{vj^}u>wikqEcKQB>Xa6zPZr@zZ zfj{WhivDQ#!0dnjo}z5r&_*1z66SY+J1-$*psX{*SsAKb@K&8R$Qd==@;hnDJMZ=9 zY%6;FBsA2Nv8{Y9_TT5a{9n{Bms1Cz@aPu3Gnz2JHV=rkjDd_GNR@hK^_Wp`t!rPp z38A}IV}w*;N9Ln(LpgR&7g^CCuG|vdzyD-aLHTp6pt~3$n+)3WiJdn|ib0;T+<_z# zNbMjP9@Y^H%8I7`B9cdrfjY1%WRe>F1x}O+jfg`rWYstvJs?wX+Yg?(4x_tM#oO5k z&2T5_XsG8(T@Elqi#k%*{RGFVfnz9cjH!>P*9J2pPifbt<0@&ioXPqtqE$_-aVRu6 z{+3z=L)VgE#!nNX{Lu(Y*gia8>OdCvvRRTx8<)qmggx$Bc&JEm@$*uC^=BYE=?S$wIcWrRhWC$Heb1!3L&*+JYtNl$dT3YQ; z2FT}oczRP)~QBx{VB2B%!tPv44vXKao==y9qah`pSPmM~K5D=Oc*X zY6VP+qk;#>8^1)6LzXACqJL{os8+%;B>jVN3d%r6djb8gT~Adq+DO|QI{dB53kMY` znGF!NN2|>sxHHbO1WPf4QL9tRt`^h$Pr(BGN34rH;F_M8p?Q~6Px#S9l-yBTmoWwv zT*=@1Z6PK}Ls0Cjj3{i)xh_pa+6F~dIjrYJ(J*_Bjg)8IBvkg@&Qw_8CaBSP@heMR zw^G>Q257cjX*2{ba%#G3PV`1fX#=BlHR0pVt4)=%o6GT#VUl!FN|UM=vM63D&sKm% zH8GXD9~Bj3z2&v&5#>!ONl8u>+=)IF@>X!#2!bk#L_CcR=(|ov`h`j5O zIc&Qg9vF_aWqKlrO`v0mU!!nXAOUR~V#ns9+6iQ?YJa^R;v6P2Bb~4qPtKYXGEFH8CdhvhY7m4KpcaOjMzBnfR;k)QJ0aKU7t}rQ%gnz zXVpfBzQiR!yD=g3PTm6Ja7aO5&vrzGh9-AbZG-39NzFpwrxdGTB|I`gDj#^IGAfvNt>(*I2bV&W8&lY0OT;Rm z-{kY_=~Yc8bJqQ*4XGJ>Y5_;RNm)g@oQ!t<+jBiskqM4Dw(QCx>tD6XZuTX9lA4W@ zNumO$W-z=)XLyqnm@r1`8fi?Gx>_}?;gjt8sgls^SBc2(gG&%;UYs_O;*e!U>;OsB z5$(?t_vJI4uoE^SRTw?0WS%;zMc%J+aad()2UiJI{qteUD|PsaJz%aw4Q!d3lT)NO zm#a~3nr2UAHwj1NF-cS#oorop2(5-2IgO1R+q`4hVq?#!C(s1RZd}Hx9j1gUII|i`aRMf)QBs*$CTVMVIN7 zID)G{pIN9kCtQIBO8*t{ z$Gzp{Wc}_LhY{*p^Qwo>ZmUt4b&mazT#o(a_hj>&dOKDH>`)L5eG1q0ShUtyoyS6D zego#^s$(9j@>`yc^32fCl*ruLB^92U3URnE>TA~`HGSYBr1GPtTvPmKa&wd(rAyoe z9WyiAg60pRJtm9jS#42m{m_;*Daa@~>7P-)(h9V>$p=`%DI_Snwuj9me(D}Y!z%eC zt2J?i(r?@na8>@k`DBu~U607VQm_*5=g(K<`Td6@QlPnVvrf087Hq^wil=C~{C%%J z5cgBSiw_X&a(;hUkZZ9>%%pbp_G%frwZnaAy?3APULIn_P4c+2UWoehFeIhky z4vh?Re}Fz*hRZ`VwZZ*oh|78kYVf68S68leM%~p(DwfX4qMSXw6PXj5pQz+Pn6B;5VzP9Vv=SnF(i_I z1V9k0>95O_qv$T_Bw>Q&>cm~`Ao9K}EoWu9l#hY<8#W zmirGf-py?gLLe+TR(8^}WsxjL`T?~-FW{+d_zg|3895QQROwkKDAJyS$DncK^VA)d zd}@sMP3k&Jz@08-kA5jHG&jSf}b0#cLKN zR9b>FGfTGzjNMFOQR8rzn(Yl62-2UJCkEbZCS$fnj_bxY@-dNOXTBHKMl=hZ?|>tx z8&V}>WZCi!YDy|Ks(@MR@DF;&RGbvQzRhPeT3oP#hCsD=nxBnoxdH3>`Y5lp-@g}` zxV~`->KNEm{7qNCj7cVzHTAYG0MlDZgA=`M5q zop5aeR~rq_{HssFv-m!7huQHd=Rl4;C0yJTn$wNg`4z)=6Xfi+YX-tME%-PuH>Rh* zX6~6yE9;bgB^WRzEPb=Xf6@INlNt?B9k%uDzXCGWW+@H8{}vEyVtb425aw0KkzUPu zMnLWRYaoJoVVq$fjQg{||FXC5=`)t)DK?HD7(?61TzTdNzTH2$SnebU8vqX%J^{M! zyU*|HFBhKo)H1KZyo1!izT@w~@V^K`oDHSXo{lSVg6om)oOj9tCH2wOp|I){mNiMA zgu!y;FXD-o{>l){uVR?)@TOdtJzX|ku!r?Vfo<7rWtu%!lFb@OLy|cPc7)#SjbEzF zbY0t-_s#SEE*=SVCRpnlqy?nfd6!xdF}crDp0T*G$>4wcmk&enMg*5ZeG3nVwcn`> zRFq)s2~V25jQ6914=yt}^Z8|%Y=oXGe1NpPZFn2pvriHKtZL^fm|>ld^kKpgmfw?L zV3H_k$e#W{=s7d3{^&MzE(gSSS0mK<{%wk^ zVt)C$4O=O;zIU@Y4}9}l4znmhh_@y_pIXlcHV1iJ*z0t(MEmqHcUS1Euis(s%2o%# zzKRv$@{m4ITkG>w8uA_M&S=aH=9EElnpAzZXQ`i`gK9~xlc2(7IH6~BP|D__xhZ4kMP{Tk*4s#P%gQ@*atxJ%; zhky{**GBn*=G$pds|f$xhiMO;3QrIo3V~D=DxPHnZm$I`9k>x)P){l30o_ftulok)I4#-T}Ms6Pnz{`VW-&EEfU@9uxsk?NNq~&=o?Er{yDq*D>y?`ml2SB6S$)1QM64a zue&N(cP~vpe0Od$%=@~83A=Ue^W|b(F^C9g&LASu;M%57xvGLj%JCsn;u2)wT-X|T z9orL6ly3$be8t^h^G3n+!ST<(IldpS6Y6QUh;-Rr`tvj#F^)qXDoXs63ZLjTJs3OD zeT}&6+8lI%9^K1p%>zKoYHFxv=M9J#rgl#KB56fap*_Gz^c;PBu$@i`>e#UYtC*|mPt?S= zp?-lHQxUzId)A5Hq2#o`c`|#18(Qs-R}ML&%UzOT&FoG8|f}L2Mbz0ii8|Y7_`gH*S=oJNAVmabc5vd9XzxIKeoiR>AWa>wD$z} z6HjG{jy%w!3P8l~F8Jd!){pbUn?QUN8-JgfA_6>9zbVMlk zHjlSkk1xxBOI5$|a)M#y2Nifh;P~@pY^CoO`&JuXo$xo)wh&SE?6zPB$IC3Z`UtJ& zaf`5i&&L-{|A-8KPHUG(NZfL69;dYdLq`B8n~F>vYUkqA6K3N6^VP$<1SECR562UQ zzRtFY-NNsDL8X=w;lxC+#9@+R2Q(_*%)}q`h6S5}6$)rM^KfBbANs&dt*CHf^`ZR= zGXrZ7*|!5?%c#BXVV5_7W-bC5?0dHm~nw@yrvu z#J6~WUQyz0dw>N}>#&4Vmb?^y8WyrB#}!zTK6H$^e%Hu*RaH1dg>UzktwDFV-)#ze z)`m*{yE%0qINH5?k5GD}dwgrh&nQ&;ghD zb7N{xeaxL#%2~vl6ln2xj~0X+O8v)Feoz>otp5F-$uZA!nN#B?hS?p!t!jkhKSY{{5W>=?&qzi)e7BVj)k>32FYEnYd+G*1pi@HZp40#D znUwA?y88YPk5r;GsII=S!298<-Ubosvj2yJBp5B>@D(92^q=9|?LHJ6erG53Y4i7* z9D)$cac1I{+g)A`P?ITi{vFYVf4syTtZchEMQPTJ+beMNH;fsdDm*mXB18JkvblbG zH3Z7|;07C!Ew=2ZeY(2ho!i*?smFgBqa;;cRgp!2A4h8XRk|Z3W{N(i|92@)5aPo< zg3!C-|6P3tL2THEG~^6g-P+`r!N*1W6(F&G%#`#Qy@9*`M)x zgY;h-lTa-Ow`BNjQotER@Ll%*M(ia?>ACH{j2cnr5_-eH?<1nyjpDuky-mo)-==O^ z!nd=<`nR*x*_Lp!bvg&Yc5dsabWzjuhYlDo-R(Z9>hc*-a(NOk@DN|ZP(|J*^bh?J zrgB#+v8@)d?{EKSpM1I|U7#je{-y zHWQQ(U}a+c|D|sE!Fi&u_+4NBy14q)yM6r}_e6YI>)t|ZMNSNXDk23L%#3IWLos?( zy2@31c_U@KB5zBepnAM(L!_|2;iF2x*@hsk+7#fB+`J^zN1^VZduN%oCjSee-O0yi zLOu)PbcUOi6b1(Vnf346A7J7~$-fKv{GZHw;Opxco(RO&6O8ZbM?@#xCAm;Nl0KD3LuhK>z|fj1}pr~JNY0X9D>be*@d5(-}@;+?#9!g-0eQ!iq9Fr zE`0(I4{LDSF6Deb06)-r0N0YI)on2>_8>iN8)6(Bgs07Zvsu_v7a)WhXA1aPvre%2 z+ND3{05;kaup0-p<*^;s$G7PDjj0;^CCv`kU0|4SFaKKvG|}x&m|b=fF#pb0Q0!+x z=)FxEufU-MDiybf#NT~dILr4(6N(EzAbeMt5_50AVEZV`739E7t9{WClnBHN6G;dp zMG-^}1WI5k&g%&`8307a`Xop}zKSCi!NLxPpCTPji_fqZDfyl>mTGn-mFjZzWS)$xCF4C zd&O~VqJjM2+UHG=r85w=*u%OF5SAn@YX+4APt0Y1rUhhlZkc)4kx5fgiZ!D z3x+PWLflP}L5PlSF_3LX^-d(EFW+Ffs(a5$>H;J&VIX#ce!Mm%KdccS;0hVvnwSI% zyF2CZR1w_Rn)A)={_t*j$XfM*ojw@=qZ_qrhbw*o5eOMW%M-i7+BhijmO%8P6B0}_ z#QALq&O4L~4SWX4DJXpItkr4S)U_(kzj(_-B`79J;tCmAfsgV^^hu3hFX5WrRX{=( zQyM~i(6R|>CyhY9h!~$>=M!|gs8v$tDe&<(-kuIC8J~y6 zj=5Sr`5%`zpPqVCJHb~;jG>M>u2|l!4tjf@IjZ(-0jjn_l4J7?PI+`5h*%hbIk`kV9jbh`)y>OpR|F>b97@FRFrfO?&ih` zyjo);{MiUsJ5lH#TX3mgFQbyHW%8a7**8pGld+cHZni2`jxD-B^VFnMHzWn51f>0e z{?m4Y8}3is&c2nlGr;sE%@A|jVZ-tx@QEchdvsdj-fOC?#@}XByDin0unE7Z>w>|j z?ytDy+^M6${#yy}_37=#tUj>YGVA|Z^%h%uzH<4WPp~#Io^&*p zWK_VHkp63a#ieJI{HNO%Fz4|O>fCR+q`F^Z0#X+oxX-;+z*!Fj1&X(LV?zX&hf_Iv zpNI>yML-4DU9su zy;Xqq;4Oo-OTT%sUVaL%?S3S230Z9o^2=NTD>NX6fk&Sb8-k|;Qn@&qDoO%WB9XJ- zkR=NunP{#rH_Itl3b3Mr=5yGQ40k{@A&=a!Io6u_pJlC0mwQ29+K}(*#|Xc;e?J8=w~xM0F;Xc>HaPE=oe# zVJ;Ffc|eGK{Uy!*$!_UkuckP9lVJhxr*n}4QnErFD|W1_eXPV0Ita-xil#r%P12M? z%~>@P(aLOK?#UbpmZ-53xynnYV!7&USux(ijIidy1$d_3$+Vu5?7_+{i=4KcO2i~P zj=u_`^^uxHuz=FcpQpwR*hURXovSq(#mlB_U~!qQ%s7t}q@~f*mMod@L0eSXaOB$J7!=B!81&>QBruXEN)|?pTealtwOvVK+^eQdS#jh8T&zc9&5QpGpBR_8 zGG`+cZINkb`K0<0eLIOR8Kc~e2oRr0C%wLM|p8Wis%Vr4y|9_J<``~+4PvgY#Ff}#fb|eZ~uiy>^>F@t!6WWK|kIq zivbecc8Mi}zB!W~Gn9d1wZ^^c8)DZMMAOu6b32_m+)jfPcxH`x)gQx_lSlKOb>jwY z@nS=OnOlxRyQ`sR0;9V)%d+Q3=Y~+IRzSeE2){!QWiTMjxo>jpk z^tnYohPqjpKF#JKg1c|{py`V+Vm~Xf-P<-V**bHB46#HI)7R}9zvpt~Pn(DCj<&=B z9x_c_4rvVkPK7%Wiic9TEDBvQjQ%{Cwyu5K`lWNnCPT7w*6cn~JIX^eA{R+uJ@0{g zM?kwK?)a&br>;c24m!T^@a2;y9Y^vyNBY)z+deg@8jj4Y@0l~cFuZhK|dDCM@Xb2C>M6+6oQ z=l}la>b(Dg*aauW*->s_Zt-vN5b~JG)4adJ~RwB0${)?uexRPZfH_4)A@uEbkMF&u+hM%tR ze<*A~3PpaBFQ7(?1-6E8C{Yo}iCx@AEPrprBx&#*JaiEQKNaeSVoh>5HQ$z)M(YCp zIH@C-)Tx%14Mx~%ctdh+EJ^zHpBgd-+3%SN-DSR0H;$<{%uiPXZgOm7Y} zuBb=%kb=pkH>RabqMpEaq!8&)q5^@_$$zDt_l?XhmA#nWrJ7sBC`C*+9>`@dy|nM* z%#>EI)o{_{$chFlxG3 zGV&%%O;@>FbY-*R6bRNKq|B7v{ZJG*cKw;t({bc0fP8PBoGQiw$s6?_3;+rG9M!*T zxUCP_L-PF#iSTag=wNTY<(^=9QoRYYSa+c!#Mhb%=TvU)7;}re(xj|&Jq2@`mJ{Hl zc56Z%DnE0cQ}69PM)?yM(zM&l>BdM;hq0FmA<&?fg9NUjtcJBP!@ z7VPWCRW9Q7v9D4|>*(e&-qRNM(RETgO}%pyxOYLed+qe%U-bLhMiQ}&5pgr#c{6IZQ1>%Rzt0(Wh2rf2H4i&}LA!qB`oeN92BUlV_Tp^uo7qQIwaP z##1?bJ4t)oMcr(`v)n;~-kY-jcUT={Jx;$nNSE0MH;y3L zKI8a{tgZ9=hzMhnP!EUtH1Q&gBS^DP zY5IW&kZE22Hl;hZ>=)Py=y46AiJr2B489?bfDbwmLl%WLW)E78A!;R!*kt+4i6Kn7 z#WMXMhiJip-(!au*sO6>ynj4g5#yD6=*4(_3@BcF$MAyTko56E2iqTt6Tbd zQj+TU?@H7A8?;bH#)GSEjY1##Dv(zk4+83s9rVFDVbeXlyoH{aGBMqt@>_Iy=Sa)2 z2>S@^zz80(7~x@th*ipcD6^09nEV9b)`bnlyN$(o5q;V30o8A%`v}rE4z1o=t!IoJ7ulbNloI??U1k8ePU?!BUB}zVhH8~V zMd7hI{Xb6~==A-*lGxg}q1gcs4+m$?{$@bUeUZMh=?^4E&7A5FYX(2=v|b zqacPb^%jlA9}!aPS|Ab?{)Sg?6CnjXE5#9p-0l}@5LF=#xodF#@4hOZW96qX>vh zOzP)a>B}sdkbCz*#XK=Ib&;lTaO>Vk)1Y%|3|9LVS(n7P+)V1aHo33wh*Gk*cj+o5g1bpYL(Ln#;({o74tmU9#TK*V+4UB!8&*% zflUfs9LF?@JjxK#pg4*&`J#*?NDS;BBWpZ@F5jhmHL55xVz>{|{`z^GCS_bPI}= zrt{F*+%tzLQ!+QC?>x}9=ijRWC-wX))V8yp*0*slJ+}3&vj79=Fj+X(%u?#W7$?Qg zTq=sA%|9A?O$An#`pt6$bWiMNSmvWhZB4rVq0PRk7}?=$$GiX~7JDikC&Y zN!N(`+GW199AI6=YjZ`DX;e{~63aWr?LAmS>z!25+eMR7ojJFnA+P(?_8_IA7`?s1 zS65-B-xSX`^usptD)n$Omw&=^HaB(cjjuu;yVUE|kV#NcW_k(=?A0rZ5aF)wm;H0T zseATpz8Xgsm)_<|%l2X(p*rl+Y)R{s6j{=RR1%Q;0u0C`<-LI4abFE-5*+90LKDDI zZ0|g5c$qRI(T?}!iZJRlii3BfyOvwJmj}s~Tl%UABV(`?2idDJ1;L(`8^U8;h zQi$=hI$TLO3dKrlcbZstFoEL;*(Adpz7SUwdjRFTXKE!AoQ5bv2=mvMngzhp^5%tlIsj z)UT_8svW=B=|o~!yCK6_1HHa*k$c3J=KkQ?Qqm;>uN?*3nxCobJo}CJhRhY z^^v{G-sZ9j`tRcsc#&(4F7_p9j$)00zztjKAh4^FJVu&Il9+S=^On^`UeWcZtS1?N zCU&T_6o1}wY(Zu5qctTFZU5DpOK=Gju?^vHXxUfyL#~AV(7jBXlnwq-$__1G%JuN$ zQ&*E@KJ)(7Id@6_36yRyvk)h^(wr?$wQIbcF+x`Ekm(ApQIj?3L;{%LNhkQ|@T67o*s#v(iYaB`eccT1&tPNR11LP?Et54_ZsD!o#c+ z8@0s{Ne>(Kz_|6xtiDkhw9C)OfH8L~WvWyKDm=+lVf^<>#m zr|_0n3oA!k)z#Q*t*dHg6>~@h zGZJ6>W44g*)x|jpR}vC~#TWL+iIV9W&tRHR)mmqStQs73x1JcXI9qXqJvws`$r+U~ zy!eF(%KsDq@t-v?QR6gMhLJq-m0#wga%nM@$em(1$?;mt3CaQ-t0 z_-DMF&Ytp36nLlUIp+NR;I>70wNoERJAlH@gIP4esvl1b27$5S&180&H-H zpaTSV_XG>>?iSoNI0??(obR4{^Zj6-w`;nqdV6Z#uCDDKZiG}ib1y1j{!TvDBnX`W z#KZ@IFg?y@IA{(bFhZN1CIq77+p_O|P;6UonwhRb7Z7za37n7gTnPmLnWAhV>1v?8SzC9d)OHXRUeC;3k+cuLKXHgy1h8sTW3&8mWYqEr_M54Y3JE?!LS2aq1QC0+^&Rd!@)22>|i`NFfM@={A zXj5uaS|xs?HZ>Jzlq~QaxQtK@m0z%Kn$h)9Mf;Muafl7y#CpoTB1f*;T|5g9qwd5h z7WSoInZif{BA4%tARas!jnRVHjUZ7%70eM_gG_OfcoD?uuhp+Qcq}&`Isaf2)uqM1HF?ZXL4OXV9GOVXo>kx?dRuO6$Y(;9MR z_Ginp82&8tMKnwl^N2pUr_yiQvbA1O5bI3;is7`O-n%5TB#9@ zGMsu7+r>nZ!`wc#ErwIYSthDA&2UNCZ4&98zD-GDg5IeJ{!okoyWUy?7YA7g@xOt3 zxIH0j?81Sg@-BroEUyS#8P^bhR9V#*T2Bh2*+DkS;8zlZ6v3>)?9mu9nB6+THP{sY zK0fiL7t&w3KNKSRb5lgo&Q1o?*mM(eneKay$xPLToM zAQxQ9=*pFgjViLNeP>?y;jp~%2tR`! zHln;%_3*pOsQFJjt89aSmUEFr>~JgT(ebAP<79=HVd~^BFI}0Tu;RY$0csKb+Ni-* z<1WoEh)yxUDnfV6`=%*WKA8;}5~t{{7>M!5Q7N)9m;WrtZb-(}*KeF?B01SbvF(Hl z^>WT{?iQ7VMinTRhHsOfZOv#qG-N83xsL7^;ImpFW*g7Na3*B_d$A-V^-H@#r(U5# z#wDUW29P=vJw5&AZ#v5@b>Qw(;i1e>f-?;V<_WNk9Z3j7xtDg=yU><&4H;SpPfw22 zsscfOXH`wgHEpIm+b0rAvW!&KSXJM^iZuQfX9`cB&0W}Z9N&1MIPSFSceuoMIuwE` zBF;x2%GZ(+$fVwp=V4QZl3VadIfRD)!l*Uu&rZCMAhEE_q&M z+J=Ak7#_{{?vdH69|gn`C12QwBx*=)Rv0Uq(izE9V}V?;2x9toN>Vi9w5{C&D?(D1 z<(SeKNE#ZpG7eks9#>+o_X4^cN773juAQP^y5c^0pxZ;XuBry2R<;~W;-gy`DJB~6 zlzf#HZ1Xf3BzA!?{0`p=P?SMf{SSE(l>vTvd0v7!;*=X&d)I~@F(DK#luftarlq=( zqZlpa;|29cNg49R4gRUVUS3{X7v`tey$kX;3T*lu7t*^wUBb076@nVZ7fjQNEh3ll>EHer(S7AE-u=%Sy7$>IpTm_czo8?~^) z9-jwD3D()R!>k^gqO;8%dThqG!IteGzoxi-)XB6Xw9DkL&R~@t>-n9s?Bld<^W>%I z+2n2#_?V5TZt(VtX|q@w;w9UP?ZFfW%MBmJuSj1=xrVWbl+#x)=TxM+VFKUJLa0J2 zOjs4g38Na(sCtT#E|aC|N!rTW2im6?3bR?+IYUDusHy!7X}D`H{%0*X>DYwI4|1+~ z?%#SOgqRgJgF=;vqjrN!sp@^C67!sfRj}g2cak!+FDdUXf_he{ITJTR$sS*ME+?Bf zjU)#_PWBrZ2|5O-xAP<4sX+_|P6s$~;~86&7=j6Bg&Is=(6miDN`-#RqfRa7XymSd zJ>T&C@UWnQenfxz1J%)!yuPmzlz$JP8yhoR)8kD9DH@26A)p7I=Ma#(^#oyhsfEE? zo}0Z9{%_1RldvM7qozrTRH#v+2GK5MV0R=9Lg#pgAxUR}FM(2y+4H`)hJ@oJ0z@Gk0#NRt-Yuf%sSq}~ML%V6XqSTF@H zMv(s=z6BA8Qf{LXh?djBUNfKQ(&z_fvowBD3ks(BQUizeU91~T?mvtK`M;E8um~Z= zVy&s^Sdn>OU{#|3=DqZyZ#d&2?x)k^=`~;%`ujTZ%6DdHZ1kx#Zytx&&zd#1Y?8@S zq~K1_cM_}iiQD%PPm&?+~*PUKCbo$Ol}W6vd`jqVHPdUzGH7@?yo%aOqSc~>Sho$0U*#~21#IDsP3K{SLd^&0PZp7cJi24sIQ_-? z;|9GX`zN}q6x3jvFW}M#l9Rb~cL@^fHB{D)5|=h>1D@pk zzcoIxoc7^TUgH((x3-e-ZR%xw8}0vA=iVk1ef8Y@_1oFa9(>9s_OHzV>>04Wi`wQkK%&ofX+S(NV^TcH!?h&rEbHOr8s5qk?@rBB zszq_ip-O}S1Ri{BD!_Ay-2O%^-wF|A78ZMfg}nRk60 zN)xWMJU(k8I6i|WjE>}dXr@IUEm?0YPlrN~#Scg|pH~Uf z|HzBFztf4sfqZHAifAkA9rSa#dDARv^qbGqFXCa^7*c=oc2Cu@X?kSUb+>+$$_-}4 zV-K_4u=V{n=RYson}`jPYOL|fEUoN8K3Yyxr;Mu9T=58|G?J!X;vulurc`kWLY=w1-f0Z8zQ_Y)-F{#E4DWE zice+Nk+DU0+dHIX6z$dp(SHo>7BiS^>^z^yKe{tc@DV?VtaW4HznpZm;>vxMTP9CL zlpXtvNY?>UH#Q|^?qMV{hRMaWS+BQ4z0B>DQ8p#b9UHzuNl7Rxg(3D@Kx#4sAr!NV zo^mk~!GkjJAF83`++BXp{dTZ34yA4|Cln=xJcwt|44HE=0OjA9gp-i$oim7lCi;)U zcv-#AO<=-x1;R#sP!PoEB+IU{T`U1_)_(4j#m;KLmYAYP4lx=4U&jK|*BObsvKwJ- zpqLi$?bk1Rc+Sec{raf#S{rv4*2X5R7@fHvS5}vjmq-cRXG&yiShJVoAC}hak|Naw zd*7?s{bX_^_fUjw0HKc*#6zl;(qE343GaT?i_QqEA;B5Kr$<5jvg{nj9#7q$l$D>3 zTNH^b-Z3-R-jP5rvi0+}uIp1&BuZIGBS>fI=0d{;md>;3O%{^Pl{r(vFS5CZk~8temWm$IgYP z?g&1Va4$^v#lrP#wG(SJnC@bjQgF3K^QMq+>+QI8j4Lz@WK9CXnGu=1aTUzdkt1R> z5vS_J)pSi5E^4J$mvZi|)DC~KFaSwJAWDdSlUfk6;zl=NQw=QZ$!FwG?|eI=$x<%1 zIsM^SV@6qxKHC>HAl@TjCUE%2_V)2#;`;Z=l@()b4JN+ZlBAyfxiIU}TKu!Fw79LE zeYL^az0gBfH)#=W{`J+jR8?pE!uEM*L&}AzGI>*S2^Srz+7Z8cyCM3B@Kb$_w** zowbeV8d&N?Em`Z#KmAVsxKLYx{{*b_0(ze5ax{UwCd^cnmW^Jvb^ zu6rRO>R>jw8XM$B8K&Zvi`{e3OD|Z9o4Lq9wEoYto0oXV-hs6{MmNoDHP4|9O3hUC zrmoAa=S=$Jy!lXsyWEE9G`Z||cKQ5^#jpO`@_ms)LmfSr0X-iJex;5KJm>D#aKy*= zH_puv4RSISbgjJH%e=j7F&eybl+R`)V$Xb@1fa*XI=HAyD`$ld>aAVZ8Ft(BvPcyJ z`7$uz-35krb(W|LLXJtEXv~R68TU}fCWNoNJ-n~YB++=?xX#cLp-O`FEtptC_ z%-lPS#mZM^+oYB0FKHFURh&=^4Krd|yYGeOuagls^cg{*$A>A{AWKAOpV~Irn}!x> zNp7jCx;#9dH*g-R3!HY3Fj^`)^AEDIDs5Fw8x2UY-?v_X+v4f@j}CT{w^*tX_gPA^ z5M9fxbt`{z-YKtrQ5Lm{(01KRy~*IU9`ITtRd{F`P40+wCXp^zQCPpUJ0~zyQ@@Rw_8>WU_p|EYM_Fft&x9`Q_KAmxu%2_AYcZtjn=0 z?3X_;AAww7vbQ6~aB+((DBF^xm+Jy#*DlBegeT6bA>S*^dl_mGvu> zg$DQ(GCW7kIQ_{_1^O-b?~U}`<>N-SQIixEUYoW-+NsOS398yUW8H&oWNl<*Q#{@! zm*$qf&oYimb9|(1blBGYXq5bjzn`u1ia`0LzKF)RU+rc zpW0<#AQ0MW@<`;_ONMsxZ>3!>WxAzj9GY>{>8PSA)_2rVn_!3c%xKczaZoENa@CGz zE*M%$klfLXuj`FTc#qxsay$F+xEJEaTae$R!4JG&4S8iW*cHOs#E$YtX0uzTsRo<% z-#p7*z%DOe=AixI@^2*%(E*n%$T!_XqgX1oR>NOobNW8OSniR_{t(kys=^+(-<}TV z5KGm&1Vf!6rS+VIq1_pnW4p{_xaq?H_snnZFo))Z@_c_9;eslk#>QYOyA($)7li)= zd?VqGz$|ASucMEW*0rZ2S)sf{ipp;^%B)P+?@^}?9? ztDa{4vUo=J^x1VwDbq^*T9_W|Ngs0NPh_RA_8bw9)^cs7VzJX&U*a>?D`%cwQpr?( zodD~KMOBvB8ulX)qd(cN29j#vUb4u=XsU2sp&6H~EkU=GpYWu~6SR>e%QH}`7A5K$ z=s6dM&?&qt+tgsOURh(4{;9L#r&|G=zyc#_zU2a*55TI7PFmkARWSaG_$@5Wzoqarl~0 zLN5?wo;;WZ!5m)V-%yWP$NUnn8y4?kbP)dGabfXIMw-5pu~l}qJCAfmrbxL?FB38Z zi-ZU}vnm(Q6nf;kZqRTzgtBl=YFSWp2}e1qDqM&`KjZ0}k#gM|g=Vj)gNTP2+pslK z7V58M^0E}NyV87jt{OWsnEkrR70F+Rq6}lQn#-xhR|P&~{8FF5MCHB7Ej3Dxk={Kj zKs=We!vou4)Vv1Ii*@25EK=nEod=*<&!U1r-O|4aEYNm{l< z2rU~`Bv)khNwzuBqpmHM&mZoW!u*WRDtg|YD9s8lo6u_FmSNqj`q!3%5F!`*s~q{t zOTZjds&iQ`DDqbHF5lj}r;JT$3tP9ycQZm&-86O58Y%umB0y0iX05`Vn&hQ3L7Q7> zs_*exh+o1a%PZ-TclSF+XG|hsJ^ypABg1lgufQgHA>3xa;P(NVF4gj;g1y_%cxe&F z#*m@8zTXf2L7#j#5KnVAA=V#0ML%pfP9y+yS=3|}qOg};5ygWeM^EiaCZXQ<5e%-= zGBfsJ(7iMcbEf4;{tQfV)-TRu*s3dc>ngGS*J(m8H)I{xg^=5!>=%Jd#DRjKv0UV{ zY@Q*%z7}$-#Y_IYRuxI&wz^_2&cbM|3qh=OE4^S zmp}uv-2Uf}Qs4K=bp+pFwBIA2VmBIJ|DK2&2o{qYUgEL_V!p(g+-;BhOJ=7|tSYu6 zN@R~nXVJ0sgvTD==W&s#Nv47^mI6h(J+SE7hS0vJ-C|>lQkF*0ML@QS-%;JI^gerA zeT48K=%^5$bDW}{L!7fTQnDDm;WZc=n==!xEZbIyI#4EG(lc{n7n=Pq5m1>`>h{|% zua&S3eY_&!#7@NFiw~;czB4qh$RuTw>3`$yB<&5+mDqsl$ zCN0qDzQV-Y2^%2tTY?(JLP>^d65lw!j~m!S)&F>%zqOqlU8IoOPTraAR~w@kV{zo?^WVSUS2Ky~d788V-CWJZ>F!bSl+p ztNt{Fb(y(P+Nj8cUF?0|AtrtCBX6q6GIcQtzM!%cXVzN0W|hh=n5(jWuOcISGIlUJ zR=~i~Cs#!I8RE>Xn5IjLQKZ=v#A>E9zpr(7oWiAoj^^*=BpuW$>~d?sgPOH^!?$F- zJf+mD*$~)Wu^e4-$f7UpU0HG10P9|wg<%|*nXO!TDF4;cz_o$u&-)ocS0V#^;#J4& z?C~+i@*84@z|8F#9Zmrz%ZDOtr-jP|h;NL+w3d&j1>zPV&MkzsVLuTy;mG3x=etVBp|?_kd2(cNS_*C zd7xV--%csr#RV%*KteB<(gOoKNt-(}D?^88?o#->uxTM#f-0d3hK0ImW7?Um5_Hx-~^z@Z9S=|Kz} z40zRmgc?6dfu}$~a2@on+e(448pCD&mM^}6m>X;AK$0+kX)_1~5J>=$G!lRRTV7}e zVFR+NU`rSdE_PtC8RQ7Sw?b7qwt&)svcHI}74!+X_yuBs@NoXG6PCt_6R}^}G5XK^ zk;pvJnL5pcnDkSy+{oD{SF$RagTv` z-qn%pQ?)@iVG=W_Y%-g^Jv!BXx9X_xKNHf;=(^cPd`Mk)uh`-Hi;cQo>-T&t&b)0~ zhu`dKM|Ad|kOGAXSXHi3Dr3MuXEBTm5!g3r>FGj7+J>BI4bcqDoR`OS?}h-Z6Xo5= z0N*I?ZD&QBvvi+BXUg3wa?Y=MUdt<9aTXfIJ2@{?l z)pl=pg;AgE{nL|vl}xsD{_M+wNtG4X6^R~DLt;}zvq{ogEaP;LM%r+-$y(Lg5V9$; z(c!Qu%gxj8%P9>|3}tCNFrVzX9LH-nELjW_uxSxD>rnxm+hlU~1ZMYYdCwy9L$+Up z>w8#aknHberv>^DGr=N|d@B>RkYn_aoo#feBjbR%cpAIfK+U+ojEeZ___?eVzdYng#onIpwL$X6bA+-Hb9JxzH1E1w{a!cTiIp=}>Y+wTD{f zxrY{W?mz(G`~+2DdJn>cNrneAG>&`#Ie>vYFqpB?>?6n(3@E{ZnHtBy-~ezU1q*$n z2P}953|u3E=^Jekz)>I|104#9k-(o}0VzxSWDhSo)*0;huj8+xd8j2fH)1E4ZOA!!Q82RcklP{_jwb^-y0%wPs! zlnERM@UVax|FT#OfXWJ{|I1?4fE^pOB9z6TedS??R)kVl9h76+pw zIvNuH<*pE5OdMPUM2myP|Htj(B)~NwKuHEH{Fl&Xpq-V2cI>}|1}zUNLhl8X(8OWD zob3PO66cCwDHxza75pDMvjXl^!6<)KiUQ4Q(C-K3vsA!H9g3iQ<_%zIKvAeVI2!QN zg7!&J11tdsaR9l0Z&8sJ7zPaB>qF&G|Ca#+5Bku`;`-oLV8sC14{8H&Q=+*cJ@DEP z><>&B{@0GL5g09zrIQ4>H3WwOBS!y~e=&wOzcK=6fj9vQeyD*~V=x^EY7P3#VK@FZ z0UJ;Qzk{LHyn?{~pud{`+LZ-^c!2MzvQ^&M;d(V zgu8C8zTlcb+xyE<0@|e6QO?{-3s^tz`wbs?G7R7- zVUv`iA}U%aSfk8j?d(d0ks=i`^L#F2ilXb4@K#1d7%r`%Fflj?Bq%E^{5YBuP`43{ zL*BqhT;D4}Bus(Vl9Q5`IjhjajLVyXFMu`Y)u5X@Mvb7Sp+FTjh@|*}Pe?^voQ{PA zaZb>5%>@-BjriYg7F_vj7y~C^n|ID~ecby7E>+IB8JaFm2NEKRcTx=gn(er5H>E~= zDKoSwBUV)#bd zBw`FKp~(xPkEY3W9Mkhrct|ga-KFq?V0huP9b1s>gw+*QLDLVnz3P~P*d2UbvT}`wsO`13PP{M=Xln%G)z&(x zvW0L8zC~}Nv@^eXYOBD-8IEXiaTlDdBKp-*JMeKe)TF;&rdh|wN0U_#lUWTNVzC?@ z*#HxhS5*8*Z-t$4l~&-GH`nn%Z!N~nRcN)%sw@Y7NP3LwobP7N@YtiMD zMS`lOTE(PI5Rvru=KH%$Q(4_z`F+Rc)YY+pUCLWp{l{Bl{o1%B5&XLGhs)|ncUGqo zo9gG&h4nWlGxGb7)kin2NJT+EA=S3Cd6>Uh3Yk%hZou5|_$ zcYiTfp}WeKS1tZ9Qr>zzmC?XSGQmnW!!$ihQ=6$}stOT4L>caD$}ov7!bM;%k>);0 z;I|oiSo$!7sLhzBJpz4qMd6>5C|>?1=uiE^ zn;^dY&-L#b%O7}; zcvij_wZ)CSeg7%ZFx(-@rsqKoRzz%2a`v}g->>>&#EO;E> zM+2lA=C-p~g@!o@F($$NLewhAO0DYQ?khijVpLX?cEzCFR48`{x)Ls&NUP45yRBAb z9*XhXlFvH9*8FIY-IOqK--_i8%lm^m`@6-m;&F_2*q+8o*3#8lAv)+mjlCjHL zOe{vqx;4a*1AkdS%A)Q>(nMO>{6;B#dTtUg;ptV2ArC$hj0byrl|oUR;Q#+4D@t;c z97~Z8WOYh-y<;pvi|C`5r-=214uY6QeLzJgKRIA$k&qK-ArHPJq)2=X)0sfs_3D6D z-Z_@0k-AGj2bBN1+C&6JDdWTEh$uTZ5rW16EWNwsSJ)DF)Z?ysh*r9jy`}8$Na4wm z(!{qI^S%t7WRa;8mMr#{Evg^)!FlJ;#~fPTXm+%I;7A-9kfJ3$!chWWEl z(i+4h;_4Hq#M!|dnPN(w)c7*uDO9gH;1YyMB5TPnGuYu42qOi8do@i#J#M+tuPj=Q zSC^NIrciNaj(L)f_N9)N-&Q=U%h6K1jSwCx$h|)tdW*IHK~Fp@*=*VAhBAW1Jjud4zx_K<~W@MknpV5wT;7SOk7pyor{>(pRnEHlwnR&iQ$fIYEBF-Lxp zW|sN{%K^&+kq@!;bq4)+B|hp{<4_e=`OkiyK(6MSuiJ-3VNVxsl64TPFG$46=8Vo- zaAm2woLb+=zvN<5B%tVk$~X;RONO0sa~QX^KbN8CK?N32!565&QfH$C#ULP`(+)Ov zxCYmTVO!_YN}XA+}^9?iaXi zY+o?p7S(>j1Le94z?5a_?aQy|^3R(R9)=^+T6|Ysvhm=?PoUVeZ3`=k
q3F@h5W3c_UXulvRL0BNbJhgfgFe52E+V7*o5uP2W`_n z%tQNPQM-`_Kb;4=w};Da*N>?@BAzigWKd;Po|}zJC0}2R4=SE)(C_aFbQi{BUm7hu-mU+w6%6I zjGY+%+B%lfDfi}JMCgb#-R}8qGYSTe+ec?%yf+XxJz>dS%6ZERXY{Dzr3+FsN1W1p zqS)Dr8qPHBl^1iDsIWd|Vmv-uy_H~Z1mj%JO?>%T-Zuereud8^gvJw9Di*(_8m}G- z9#!Qh%SY8N+J|LG*>|^o`&_%T6Ak=%Jp>x=hrRx!MeKLEKc(D!RhhAQbHI47_GSbg z7Y({^v>{b3z8m$i^2c4K0OJhV>a(6oRlC-x%TccvbD2;ZW&G{Y&lW~*p*ego4%?P` zzG`i+^G9Qa_jg5s+l;-0O{%S$m1`WsvC|#+IqV0+l}yOjx2p@VJf{}-`^;{yFw>dK z?sR|WeG+&uY8O6y1hc`+LgJ4?fET9^)gwd@`tY#$Uy|pNoUnuwZzcrDayKr%0<#}%I2zCp<5C)s4OxiL$OA#>S^hZVcixMT5m)%JK>LGOZ>Pcecmo3xVLrFM zK?Wld{OX&LeteYpb)o`hltSCkKaAW`39vyh%(F9G+tS}Pj7B^nh4D)zR}S6fj@gff zF>>>6W~E@QY|l}?ei_U!?lpAHt9EzXg6!}(D*FxynXQlZHfG%#@m*M~_Im#9w=d9k ziEGdE-2;JW?8B-C2dfj8re2tXeMz=6`_s0L&@PbLvWo7{kY%7)^zq@@+`F@tJk4beOAA= zB$l0#QwY8CO%ZwQPieD%sd#dLkQew3x_w@k7nr-ClV;y_t+!j!aPrIcdZL&2@y=U~ z-QZZ_)z1-krZ5|1=v~TSRa(6D$Z#+aN`Ki3K1Ym7Od=TfQ=elmUUarA>&(E~LsH{o zeAIfSOb}ZX%|2n#9591}$&M%Uv||+-hWM)IhqmA>f~W)b9;))?oijl?SMd2SWF>{J zUtsJ@MjUNw6K6q^`WUrQY|)@nxe|<-oF6DtMzQaZv>&o@#jRgpKL|f|1DnBMTpR&% zcJdDvc1Xg)NNk$6K33$M&=g=40G5WXJf{FKA@praQ;xU`0Qlu%h zME$iDZ8lyoqK=634*JTM^7E|E%!x|*UyE336Y zM?KN1w8d0Lw`}wy0}(9@8}e#JLx7b>80k6mRS(%iavPyZ91FDt}bPlSOV+;|cg5??bY zvEE5iSi_Hd>K53Fy^%$#rvXOKK@!+OLKh9SlCH^+?^DqufG;=cOouq@J;2XjJQZhd zrs8o#oYfw#y z>Ng~ZZ4|PayfA_Wn74v(%Pd966qF=Uqwe&m*xpyTmMzGehE;m1FejGMWLaHt5ze27 zUfC0$gk~>>OdOs^q3=RG!t5FM=UO8Xhkn-V$f3gl%-t^7HzqNFN7H z&J+Fglz=~h|J8unvdL`!hxcF;)ONx!FaF>hy^ehVL4y0}i%~X%H!2%uHvaP`GF5E1 zw+W8%e0+@a+bh_!&2B?y4(L|d{;VmEeX|NGqo3$NK9%6xh&)*{L5kR{oU;uio%qp6 zolC>gTJ}uW5rl$1cCG}Av74VrsW+=`lZ=7`Wb#fdMsZKodBKxwv$OF6Wg|}iJgh<9rG94wkMp}HYV1@HYR-U=RT+Ed(QXAuG+g7 zdaY|+wYyh!AGIT#HY3!tK>+MroCtz~2rjP9=Eimip4n6C3J#beNL@2^*ZA-wq! zmGJ@d*%g{WK8Pvt^OXmma#j|Jmtko0WbrFqlb3qyGcyh`g>y_~WS%k6Ba`^{oF^=F zKeb1W7N%%enqIw;_pV*jG=GG4TvhDuLRmm48O|@?vj{w<$x6%yQ~}zMf?YwcJxL#* z--O>CyTY8F6#~V+er6AJ(ACtkVg*$!T`gETN}14`kc~6j%|jYM-9Jxiy-NruNZ zyYLD881aE|rr|Bk_1Wk^4ZQ4wmB+7kJ~e_`ZNAUJB`ZSQK7T*KU}&*p0GK zX;}a>`~NBX#dozE^7l zOhR^sK-^^+;Bebr?;+j?yx+E7j9e(K&!j{MhUO6M3*Y{k0USR&SKhS(&K+XVDT~tv z-f)rj>EFYz^nE;E1NWo(YFw_!JhDCuz~vRXKAZgB(K`qB1>f65?!G%>J?*IQj_wHh zZFS!Wnq9HH&H25INP1ZYov!44oOa)k_?1wee=kpFH-xHXf;fi*@(pKSUm$Ktd>NsS zqSHI$YOrq=p=Aq}5cE8ZkM_I5A1GQcjpD#U8&9u-pB7gnd(uQh?`&XdgnDqbJH74& zeXWRZW7QEB4rmOT+xsEnXedzXa29n#azq)4vxj4)NQpJ-J&{e zs;heE>@UaaKgg8uD%E4fQ}6{kdITJ>o?G{6AsU3U+ITst)v}QXy%0l{Sg1LneatEv zvNlMlyAh>;YBEj4u<63#bBL;)cCR(DT4pe9v@*dr8PW;=M`Eq;_yf?i>(QQw{vIH%IClSjIXjVeuj`{uamGI}%Z02n{_kDF* zun{~_)25s-*-D-5f-%)z#IWhiAGX`Vr$_~}F|5~ZO2K=}g^!FhWE|RgLW@XWye9Rr zM2C;^7KvfnisZpHv`2N2Gl{hyU-2MXqr;_zvynU1?CaMi+r}C6@7o&ThX{_xmlG`5 zw*caSwo+yI%AO~+$$hpvD^t|GF=gG#ds zFxC>0lE=q2`Dqd}$M&O+W5xsztH8g{$I##8S&MHpZO90Vx zg%FFz>eIZcQ>EF=GF?MMaeO)XzLm}S1j~okW2fx)M3+A}ZdhNOy{4!LWBe2@((~Kh znP?E_;PPUhyG!;bQifqIt2LEXdf<2{AaQsg-d$+njaL4Yig7e#@pd?K?n;6w!< zLaT2~{YWKpOEv(Z^=DE8UPoEuwdD(Zq60i?f^d5k6Lkz(MIjb7owNii%*xjOK6S-w>m)RVJ%M<#t{oT}KUg>E8 zy5AhjDT54wn%VO-t?GnULoNyvOIY))=ub$wYLff8XD&;F-zzPR{Jgi4`6jQDwY^&w`9_rNb( znxL{#5(KQD7=f^j>p81-@=9HN_@6`1*E<4Vu6NV7Fz`FsU4+Lt{)UXtkB?A`p);MT z6MgIK=hxCqB->468nvNX-=ZhR^gB$RDeqU$%SmJ+u86#HROLPx2F7OenW4qp$$!3X zyR5cO3@@oA-XB} znq7z*(*jN?mKgHlG|uRdrNVizs+2sg2mO7L*~&|klfXKHwv#X6f{vCdSlGVyhVCk( z%jtYp1!FVE-z&oNTdYq{Y?50!wzLqw;PndYNb=UfnPkM~Ljo~2S{MdZH8PcK$*BME zr*85xS*yk=7B!VEyQ8cpkqb$Z;UeAZ&l-v|zT`RR)x=epu%-Wn0Y7r%(QvBf~b6Xi_>>Jk$3 zrtaO(i1Q(?1A?z0sliFVg80m?W6^`KVH8$0F=ls}SCGEL4AWu|A21Tc;gIyvgw+RoGF>aJ6>DFbD%aaR`@K}-VG{LU7u!?kwLOE!74J7?Od z>~A=tfSL3cnvspF>9YwzG>$3r7=IVJv=c1m9em3MC0r&CYDN?n2r9b8QAv{nvdR74 zvTp|6o(mb8`Uq;cmvOB@b0kUmMJB9|04=iVU3k04#&Z3J`nw39gQK0-#&XfSJi~lWuzam6ZpMP zWjR*5mer8{(v*^aVxc@97h;fq{MeFI^o;t+n>m8tW**m2^nB?|4vhR!)`Nk5kTnYU zQ>Gg7yXq+IHe`kVqB%Eoqv|$ICS+yeDea=z;=8u@+9_tq*XNh`OqAIZMmmqT+VC>| zSQ3u1K>@ma35v_I3|(KFxRnPkb%`1sXWa^Q*!T|IaWHksRI#k6uj{NIKP_%+GkLsj zK-#3aTnA`l9S6)sum{>dXb%FD=ng7?q}PLaS;d1FHENqE`OS*4rlx9(%_ga=@=X)J z--78aX;YSx|CQ9!kbC12StG=yKoodiw6Gf4Kjzp zX4K2jLy=3n!M7+kwcVrmnTmme*2%q<5g9H9{jywM8D3DX4s=lwOlm+;t11Inn|3as6!V9M{Qt2o@R^vg+x1DMx9prFH+Dih+p<7p9m3xV82iv z7dbvS|18XL`sg3M2PAV=3RPM zYypkZse8A;OU3wgRmt2-Wmrt5L%(Ss;3d3w_oP=JqD3w00WKVig1>R}qWr@Mf8w+ujFn7YlEmVe1k8*_Dsny>~5UO zCYUzQ-(3iHMr`)xb!cCk3%PS8>M)+!JdD7!d0D}}NuBR}>BRGcvja=u)Pmv&n?c5Q-4VtcPrzb7)jf( zVU$O%;9=9Ku+UoYwvQQM&wf-{a9e4ZIgw)ONJ}k0tD3utL3WA*9uVGiiMQ{!+KG2p zw0=(}wZnoPzvJfnFR$Nd^=DN*B`RJt7)HF1{9Ow2i00Ztw3y1$zp=m_(;wRY%<}lE zL;}0nUGfHF$?fp*1MEmv7geNEajPEH61M%b@Gu2>*FV}oK$fG-BYceJXABK0%O|B4Qp%%+Z9Qs zROIv;)UFYj?_xG~2S4ipjR0_iw-@H6v7T3-zOVKXCaq=zJ$)QtKA80|J*tfM_6f`G z1nEM@G(sQC)!-;LLj*cPS84l4@7*7A_m}H{z;$C_-1{T!E&vuzK?$C;n}L;dQ=5{s z1%(O2$;Ls(#gT-*t_HC2u>PO^xFlIY7K#Ne^od7;k-5QNO@k~bYESoskQN~b@!^AP zAtS@yEePEM*|5x@D^0eGno&BFT+H5(kbR1fbqci(-og>cS|53J;q5qhdrPP-b!}M! zY1-uGVoZAm>->-`_wrUa0;9t9@|KZ?4wy3qo|f;^XTSq2DMBeJxMPLSkgB;6U>Uyb zw|hWj!C_HoEQgL#2iOuW6`m4(MSL(Nq?M>Nb|kJi1@q=n`xB(X@a$nYUl`H9OJs#O zOA```#&Rl*Wy3aGh=bP&QKQKq{U^XpxXaqJA;R%)o8yH`Dtu60M_;S?*$7>Ma$heM zcm=cRBLmyd)5k;yWJ;I61JW;3ZcGF%uO?(Tmn@EBUF^$$5v%_QNyE{4frfG zcKhlYbV@y)^dN564e?Pp8Ui1`e7}FRywQ-oK+*q-4}2bG0-Sm-6+hL;AYR4^8cLmi zO`_JvH0m_({k*u%g6ZlYwaq`il8iN1U8h0wK{5HvcUYPg}># z#LSlIOI63~6NJA6Y1dJK$ETx^kJ5^LuWn*1m&s~wK7kE&SKr<&;3K^?qQy$Pr|Xyc z{lv8J39B=X$&2Eug5mSAHgYnm4wv*$eV8siUWIc9rY0QuqB^Nd8K?tI za}@dq376l3P;KI6xsr-ckmfjtIy+8qOS~Z)Iri5*Mb8D&!0$g84xAHOJtlOMn5IA8 zce^@ZdVF<7p~3|_fEj1#rH%y*6K$PIQ50Ey)5>K1hB6Yd%(w zzuv^r!t-#5!@Ey5aqRC3NY@+?*{H@_-Le9Xvu^D+OW{nbeVM0Pv=ie7t8c@2XH@9}XjFKK-<^!&&}IV(=y?m^={s8BMN;OW zsw#_|?Cv@7^Kn>z6_&DlnS<HyxH9$1!DPaA15^WDeyt0XhP z%)cB}w$bMtSX?wYfX&Qz$<|ZJAs$m#{^1GCPkT+Zo}FN~1cekZc@FF2iL*~Q z!4-<^NeQ3xN7A|G4q|b3(~cPj(dU|-M}1)_805mQ!0XtT8Rj;>mRFE>+KVzq8|KwQ z8enlBN&=8lHD@`sjD8*{_`{3bYEX{)FKG~~SzX4I$R}1xXHI`@KkWKyjVD@DpkAn{ zHjRJSd|vFYOrfSkx7$EU$oA8LkgakCIoQ6yIKq8!7N0uKify9{x}@M4y{iQW#LOjO zS{%&4sP`vZqkv(+w)rccMvY)N3b=I)nk+sD;uTO2b9ltJ&l7k>xx$!!9mF-f>=(jd zb0Jv7Xz-=C7zX8J{H?R9~Pu+XV<6yRNtOifBC)p?~&U1NgihnU# zv!A**d@UQ4;a;9GCyQNqu#_zxzLMT*$Fun^8Y8?JSx0qB=z}?r&Bf+EG!=3Zm4$zX z&jSovo@Zvk-z|}(Hptmqoc}Z0xnm)!Cw-9S$R=}crm{fuoG$8R^v(QPR6^B6WiBN^ zU1mVt2Dya2Ig@ppxvoU|Avm$ZTb3s+5Ku6_(0LViAO6n7S@miw`2okj+YOJXM8l(r z`hkj)xQRc(@lfPZ_A}jMC1*~~ z-SRwflP;Cm-SQt1o#w!$cz2@@O2t3VSiKL*->6L&KE%96pF^=b=ngjbu}cu3|Bvh; zY7@W1%wxEAC8rP3eP$=7V?V9_KNDVQ<&X_yjZ>P^4RC!;#7K&&g({ULC{_DGOI^8? z%p2~-Fj7gH9J8c0zIHw`e0jb;e0l1k1}$luZo^V|TwM$DWP`REETL1U46>6TEU=f| zmWEfOkh)#b<^4IixRDT33a~#_`%!dY-jG8|Afx~%HY(q7AU4-Oa6DP2RfqJpV7XqG-x-Xrg zq#3;F29FEM`2Yi<>B6GmJ{6y8cZjpv?aT8nRcjx)nOBIJnS--%YQ-|Y;(j4>e05^?T7`g%@zDrg$ zVJyok4^f->P13rpe@csA9X0t?Uh@{o*Wp(;S7+8DEvX%$e92co8Jg3{M{!hpWfGem zja8~U3){t4G@zyIxhR;Ey{%U&hW{Om^2QRH>4Rjh>u(%C*I%mL8|-4BvX_ZL^$(?q zGdRy#xt$FCC(8P|kd2R)Kk{VPkILgnkrQKa@Yl1R*U*=+wzgjOv>&t?BjZ{8eP)fs zM9mEDvJkOqCflI9J#(LTDKDS6Q8J~xUX}HoyAF5SEP(b2vDs8j8p5NYf|%eLnHMXq z^X?pXnXuT#+%%pisTv1~)4Lf#t5QbMO^vy0PTn|v<#ns>a%7I?_GTBK7OBE^iAFcix-wV# zuXjpW8+8-U=T+N~5s!zLZ1U>R0|22(5hxZO2`R8`23?uh4DBHwTeSt03}m2U_ZCZ5Pf) zVY)V)Z#T9AwA438!sS6Cbe%H1Nrv?b5?)b&`-4)npel3iDy;t%rv>ANa@-IsrC6l@ z15lDYYjHM@^HB`0OZa1T5EZmKaAab3%z*V3sbgj?KrrM-F% zXojcK-|M)j4I6B%rgsR0Ss)AD4#6apYN{wepELQhVa-p$K&+-D)?xRh`w-)D=mo*Q z6>;z5xI55`>ip^GQZI3&e|OZXhiS|#5!hn;6|@d>IMgA$`Ibicf(s0bq)~cf?(4XK zT}D0KF5Q*o>NJzUC;Gbs`x~eu2X`R9EnNb(9CL;7nhRWyq30J0>IzI>TC1^yN$>9`(P8C3qQ?EBcpM}-zT%)>n8DP-AMhJ{nFpmVh?hSF{s z9&hDNsj!c{rVrw|7b<|%f&i`u__84H{0B##Z55w*eQ{6*ns-q-pD?*!N6m!du{*J` z=Ab(&d;>^a2<@ZD>u0J)N9fOt~dYFeTJsLsU|{Yu?sGGDX;H?S?Y&nwAtV!I+zyJ z&oB&aI@rAGjWn+_I+pfA-`T-pKkpEfUb!efU?&dWUH;QBG^+Gs5dzHI|EFWfQIoUR zV?o+D!)h1CQl+BCfJ3;?a)aFNmH3WzQ+Vy%{qes3o04385OBQ z2E~sC*lSXg3Y5d$3pZVoG{DeoWWt*E#m+;z{1D%}H@#vTZs^-v*(uc&Lx-d^ zvPah!Xyi4ZAnV|i06*6*<@|_?EC_wr*F=XvnVOtMWM*G=;--Ommj#I+svoz@O|all zY?WN4Ya+jB&<3X<4B9PYjI4ZJuXT&%NID|{_{vK=RG2TNIJ##I|KOc1SV)wl;|8yO z^PtO!u?e3YEr$?q7O0yfCS0l|Aa+5t3=ivpkOUnpag3}~?%33cB?OJwn>s2h6eX?a z6S1)&e$y&v@kN<0 zA^xKy%rDanq~El#GxF%k&cH%9C{A7>LyL)Hie2~I z*2GK9Tj^eNhoom~NnF6sV1Q;Z&jn}e^yYU zRXSlZNX+A9s!I~dV`&Hdn*D_W`ob#;e_(+zi;Ovg80O~UCzOQ= z9Z8rv@>5yMYa*m}ixNptDebfizr%Jo&WISi>BmZ`RkOG>mM442tBtgg%48vNSj!RE z1N_kd*?lWMiUj8pS9s` z?(uZHZ;KfUqQ~j)_@NlnDWSqLEA9aN|GMIs>3;p6IdtGn{u(_kGdt#b zE^%qno-AHE{Ht>yZFC@f{=tIuAM2P7%l^%>T9h9;0{+IQB4~TsUqyZH4!VeG)qXyE zT@A51M;P3N4*LuM#jL2IRozfb)0()ii|dw0!6CioZ36apx44oW1i>k(RX;`;-cOFX zfB&%Ss+0m6;AAwOzQX_cPr7-Pn_^~%v+w3R{5O>jL?Y-;SE!=g|A|YhmhGkuZnWt7}-u8sIdWZE%qlkrW#M%6#X*2J%uN)MI+?jHLQ{5%3Qa3Y=+6&JzXku2@4|cY`v1MeMke!r!Z~rV7gCNe*A$# z^8!daS70IT0zY5L2admFf*C@Ons$)#*Z;V1ct5qtzoV^Z?6DjXd+q9RGG{XSWQ-SV zwmf1RD(oBk*}V-(c)iB844g4gl_R!%4P3$56Sqpg>aK1Nx}lXCD_w%f25J zMxJOp>m+O4pXeXlpH2Z0U>K+lfR*Jfa4(2>EXWY&bd%sA@c3+o$Putl_c2<;NBVbA z&94Zo4Dy4_uz)Q|EtzpIOx>j55YI@lXL zOv(f+eZT_}a;to~ehCXA3Ak>gwON9{{k%y z(ejFl{+0#HKc<#>4Xc#qUL_S^ z@v0OJCbrjDzgjmSv}^*Ks3#b%O9p4@1le4lBG@xMId9G@iDziSFnn6BxJxGLdpzQ# z`SOTss1%I{Mz#N7UE<5+>H?euxx5=ZyzS*1L9ww#rhEK+nRv3DYQ(!awjq{M^vmN6 z$8uGeWzXmOlxI?k0z7zv&9;v0+43}+*)QYzlx5wlc#5&Hsd~)v`qrWaQO;AM70_aO zzo1p{%?Cy+%y-rB{2p}Yaop)0(CTCcHFplqOIT1@+wR5 zRjvf0oQuO&HVUSszX0D&rjPtP8*wO|avbuzIMn9?X~xS716fbYKeV^&iLUx7xdWtF z!Zue1y6=j44X|^h^Z6fYBcXm9A))T+dlJE3!?{xgrg*|V8RJn?)yH+M-RxvHt~m*9 zg@(_@LcQFOk%*fNa|sS_T@0G8L`tn{Tnh6Acqn!Wvh6*j6$6T=`~J5iw<@>9x5Srv zoxOnO6Lpsc(05(98|4}2^y>z-Dec6ibS9(w$A|s|_=J#NN6jW@)`iG=xb3IatCY{m zN9Q|iY>$WFxp(XOKD_s(QJs>{R_5#N$LLes#|*R}u`l;?_^#12SN}3a9>|ySR%vcK z+AhXH8i|H45ipd~Pvn%|mZ5xqyk9t3X1xUQsf}W>#=Re%arzKX^5=O8x?H~0osWJl zot+7d(LXuKXZZj2FZV|4i6UNh6OfgT#|TSTdFQC6=1m@BRgXmZp}kFp;}qav~oxfNT z^=fKM$!kjqgp<8aLbcrZG{n53x7>I%Uabz-NpiKqueT{Kwn@}m?cD)zgdTX8Ss8}Y z;WSTBE%8;yhq=OB%hC3U!J+GM_V&~*JK=4ZpPYYrGkS5};PjqH>J#(=V>aH854VD+ zHhg9Qg-0XGzZgHw;9apOw?l(Fg3$izaUZkrM03CX?CJM*W0Z0@#eK7Uoq5c=_|&5$ zl>`xrfV%$DH@*7^P5`)9A93xqzhdO%&pJPs72fTIgkuR}yluX_BJH>_JMzN@Z}on_ z!{8j88lxc^=7LuVGZJ;?-&Sn;jc`6X}zkG${}Y2ZMNFmOR+1Y}X2B;G|sVSwwGvlIUy9?Q12O1^gykf-GMSAly2Ko9FYPT1p1fp|5eC%DY6U)5L~>YA?;Xq*6w2ghN)%I0=n8PoN?+8<(tDq9l9m=V34u3g^n%qIh%48>0ZpBo(G( ziN0@e$-(mfhK3KS%+bvB`^RaasCe&gx(IF;iA5-*ESti@kO@n_Nr7vFUX5hcm=zQe z+ldM5se+^|Zq}R`D?U`0N|SQM{HAoSL!AZlCT}};&hTGXmJB=%d730y+~`#kjy{{Y zNanQ~&ZH?bcJS$c5Y7Z*EHI0r6Xu6(IU~H2tgt0+EF&5FZQHqV1@CCS4#KtROP(^( zLoE^-EfL-`FIW`zAdOpVMo(FUZB}yi?>F&Gx;Ks?wUtsZCk>gg5Pq}h+A8+QoWhAF zBbb!Tnv*_ph7|De;h5v6XZ{;`{O2LP^u&a@w-ooDSKJ5Pq=4O-mOC>%~6tlCeG>dP41>0eb^hC3QhmuZuu`n--OAG z3S#R;g;hcZ$Ow!YSI;>g<&+g&c(WM^Hxz@Raq1>a@7Ah0d#`3;ey%aNXBoBPBjE%u zTePmnSj<@fPCDO`gNgn{KEt;07(@GcGOHYo9t}mO!m!keN+m>&8NreJ9Hk_3+}gfu z{VZUaQrj5O^WD8?z!+AP(T*%@;?OlhF`R5ABw*mgIrE!j$C7EYu2H}ljFzJwN294` zFP`qdJ_*rc*8a(!y`O zz_~-8=72qKgw&Dp7?;>l9KzUR^uih3sg5&#Veh&PMAAyjI~cKkaieWZ(@F^#d90B2 z`UKOr)nqOS&>P7!`W_;Ghrm`W&0hG2J3DNdF^(OZBwRnf>c8a*&j#mj9|y1zfZ7H~ z(g>yHr`jgY?%Nd%{&6`}zP|Us+74CGg1Pe=>F``utRv8PocM3*?zr(X9p#3lgTfYU zK{V0uTNT4ZuwO(!99P28q-Xbo_|Rj0_6*{1rImCzQ=-5L0Uay%?dohb@BdVItxH&M zPHvM^qW&9>_@pKqL^U*IUw{S=13}bKu=MbxfhQY09T_wvcs|;1nA`Bq-2iGL_N=Z$ zTV_0j_08Y;T$eZP#^U>5x_9#u50R!30ENrLf&7k@Hl~JgUP)-;t&R}4juxj>Dcy#MH#w0<`qjh{piH-pV;wC~ zC@dvPNQ;F^L-FW2XoIXHm!QqRd&^T8C{MN%{1=dXyn3|BU8xRe=)TU_4JF66XQx<1 z*R*Y1h-{j&7UL(0`*K{z?Q$$SD*H(ewCud zh9VbF@T^HtU%b(SN#!<^~lMlM5u76+2Wfl)_}%Cvs_KS48O=cTM0{)0sZA!;&= z=5|7feU_+j9x8`YZ?H*)_BU*~64kl7?B5#Ju4(n<6GE*2lT5p zb6O1Tn>tUz4c{xmk^)sr`Eq3XfA#t&tk(~XH$wd7!x3zB+zUh)_eX43js#v!ujAvz z(5rN5HFP7?b!mBYM`K&#YqA4T+p8GFi7exdr4AhSh&IQ9*jcw9o8DKC2ks3;))I^h?^Mq1}&^u1H3@lSkK4 zZA#y(oB$*gzELh2SPv3@sLmqjhWVh{`JiJf@I8in=P-jmOE|8vY_1EFOE{oyNknZH z(Yb4Uf~kj?N@Cu%0yRD&%VUd@Dh9k^J+$E};>&g|o8MjYv0Gbl_rRm`(YEiM0vZ)f z>mKXV@->Bg>p^-SuHG!4?lnMYDZ*y$+pxC#ILO^IJMH22=%mmS(=$V~|u zChIC$l^9NiBk(fqb2rwK6W7%WtYXGp*vcJV`5hIxGEL3yyPFtqJALw`okqA06W;3*-b_o6RR8cZ(fRbTG&s{$|Hbj0Z_+B)bUpTd7W?Fl z9;<-OlxT#fojR&Ei@v3oCz*#P7H9Cr2DZY7x^9u$ZK>mQ9|&AFIP<$`HgNv({!Rcl zo)ovoz6DP5;bI$zYc7&q)MT=tdT}i`^-`OAKo9&?@D|YM6eSu&A=zrQHN`MAdy`*m zWK-43;WqGlNFhO}&3Gf%U4dqM%rO-;&1WOF@ZvhnGS>itYLU0$jBo?Gz;Y9Aj?CWL zKs~g3Obuff!1CShZI2~kBEUY z!3|o8Cj0L|$;&qZv^q*S`zq1b{{DH(LShe$bdgEL+6fO+Ol1Fe%GEniwWawK#y3g*IS6 zSdYp=lzcMuI1H1P~Qn5^do&GNmp$hO8kUKdn!OJ1_Z^L61PIp)sWXrKgx&b9%Z5 zMJ=UfN;;m@TRxt;=Rtb8|7 z#4^>>cqv0;wE)(+wg#ZUa9aIb7npB)%W&&=iS3#Ye6+LN1d}5KS=*aGMT$)UiIAMm zY=n)37Yc65yaR^B{cUf=?5!A-mvAG;+}r-}?JINdmFq*3vWk^zAGUfE3q4$65X9GG z5$G!AKH9H%V$iV4eg8#3(aeTtQ_+8GBa22SkSTSpCs0+W*qN-Pe@F$sGbj%K|lcf-d zu;W|?p(Ii=ttxInn{N^MeznsGEy^-`Ge=HWZC9s^U_0D|WY8&dd&` zNn5X@Ju!WHo1a(;vWa(h`B`0US-3PU@EY(cASig#-wi&4|ekBz_ly4S^A zOICejfF}~7B8(>hXNujACxK@Qw+Gh$-(`cVdI_-c8V7z=_y7tEdU7*uT6`Dv^iP## z1~?tdO~I82mtU9c;Y&Al>-owBRd_~Vg?vZ*!fAZ9;Ym6B!Z)vtNqxC#_oU3;LO^+` zH;C8P*?R-#ya-F@G9spFUcRCkV>wg+%Z)-;4@vpvLYnM@-D&4t&Yb^KPRf0vD)V=p z)TvrUcr%dCDZnJo((rs4`%+qRQZO{9YFWRLHqF2Q-N|^1#(l5YJrud&1*J?;#E_gp z>`-uS)hDnO^oq0UD$xX*)h{8O-vmiaQ{yn33Od<#2%V}6- z)klj&VpI9l75z8GGF)8WeX;DJ)MFjPn$0fSjPI@D?*v?|t!{hiInh5Mi^y-H%!B7>GtcwL0KI2fRrrk&lkc$vPM1|auGsOA5 zcLQ#hr{r*6(#;<0M`d_?^b`} z0T5}*4X#-y^&ak=nJ69abiU!` z`VVV&1t+O2ecAGghVJ;Rft$DNr+r+Unz4I3+BB|vbN-W9D>7Uss?34Vw@QnC^fBm< zwWQjRft02ZN)3vHsC{_g1wkNjQSI6q7!y2--5o!zwQBm|M%`6RX}&+`*+9aG;ubPM zEH>oWg@-GIZmsldv*HmBnL6lr^Z$p<(LVn zp)tnIthDK?!FC#-SA$OnJA4hJ<_Ll`g(C~&H#wF>8i)wI++GjHd!!5#WA#@bHjKYX z1p$U;Hb2)yoH+{{q7R90FjW4EM4OLdE~~{1vMO=7S5!8bLTbbi@@B3_VWy4t6nj_L zoGVyYCJb~X2@R4aI`kn4`5$SHtSlZl^s#OQ_00wS@Qr0M?~DZs&@#0koZ3amgqJQg zhZ?SJZhqnVdtyhkQVM!ZbAO02XfFGYmH|uoekR+l_Xas{pIg=*QYC>*<#o}xbYcQ6 zCKI)vS?-9#9u(o#!%RM=6SB^`iVs!#eerm~u(Q+bNAKF(_;edXy0cFaBTF&*HGNlt zGcRC+=*{brpgPH-+*(cikOsSkv1Gfk3mRZs<iEwNF>#lvJorxUS5lg3zK>J(ssA(J%bYezH@R1(Pn?izagD3 z-G8)V>fhTo21YDOz!mBUO&)Vd4uviXP7d6Yg=oMTW08Z%Lm=UH>p`SRH%YAilEX~o zgKc!-Xh@(e=cvc2T?FT~bRMV#F>s!HvT%)2V=NvJc{t?g|1lV`?MbmV&|PWynSdFK zleovAP5kYsQ#n-{Sz|TCOJsKVz8K!_`lqqgBq^+iMxs? z=f&CIj#tEB0s5_6{7#3lPl6BW@+vHp)+ZSy{v^HC6wi^;IH#kW(1O}aWKBii*R}ad z?~u1BYTXpol=KJPiQMyXq?!N>B`3pt1N@s@F(O`qD_R0Z6w*JV6tOUW@I;9S(MK2u z8*rWYDfec^o}KUkKxNoa^!xv->MNkC3c9vEmu^W#x;v%2k?wA#JEggFhvcD=?nbVJ zv~(jWASK-bN{IjU```Clerw%z)^qmkvuDrDKF^t%b7tF*d z*>jo%(pg*Tg!ET$@Mo72cy6c?!nlKE2Gxdt*%5aKx9rxIxMd|uAuS9}@rd$pi8*<` zfU2Bg)ZJZP&v#(2EgpCM*=S!q42i5>%&lZot@W{0>1x<5?4`r8A;;32TR*+WsWpS{ zKRU~|JY^QtqLM#xO1iohy=*nCRj^7?96oc~vygmRU`M50=%#~FxGc!dU)NK6(L^Ho zQ6rc{)b$PF>hlPaH?G^kq%UVs97y3!4dqr1j8gjIy;dcofxK%Yl~7KAL13DhG||#u zQxZ}eZ+0M$@bWgD+ukEv1NKSq{0ad90Y^mieD^%+bOpu-8g-o2;kfN76{{u1i}4y7 z>Kb*IFRwOtA@`k%jO0ZTyJ$JGPC;z#$s(Al1*%uMq)k+qXi~E+)Qg-;qhFir(Jv|c zrB0TBpAu7lDzj3RGl)s?spJ~B#tU~JA8M+gi%oqB#WW}a8}R^qC{+=FEB&+)m-?;b zfNAu8H)#tyR0ntX=Q}SH+`WC9j4M4)mqGSGjfZE%U&W@d%_9# zFy`z;x0Dn|?kYjnqa*`^Vlw0vi%bjD^5#E^&<`4xk<%vL^m$(8JIX?(PW?N-`}^_F zNOmXH9&jtoj_8i)#p;cP6PsU{TLmRPAQNR~8`%8*b0 z=ef@M1O-t}Tp2aT9eDOOZKjU5XAqOpHyY7I-i8f{o&Wp1jdyxJ;cILS9oIXVPEnm~ z*HV#o!hNRqa=yZMY5na`k+8SE`04__vso_XAAhN|1#E&v4jt>z2Lx|&KTj2<-$_&_ zu>sYZCgQ56nLa+5=uM-<0l~sJ!jmj`HRUPen(=JKOQKI;KoiOWOMGYAS1bz2h)T~TrRfttyZ3!bHV`dR(BQXXh8vSOyz@yya3 zVX^S(@mK(SQ4uu4@68ZIWDNGXFe)fTeXI%eFMQ|pXoqY?9d~Rx^QTw{Qj3t8q+AB2s273#OjY%R- z2MQo2%RgO1ef?ZAo-$e#^|g4Yz&~-z%kM#Je;1kCOll_T>}Z;jbxuB zu{iZMgXKd@yxDZ$qaNiZH^zN6nWdazWVV-uYWPG{MT)8S`J?m6S@uJA6fz2hVd~;z z%6&!A0s-IeF=JAl!o^cx8R!qM&Q;$fTVoZKysaa|$FM-MZfZ390W#wyh`wEv&deD$ zGgg&!k>#1qt%&M~Nj)zC`0)CTrJbUo(2CEu^Yf{0r=1h;KO)}iW(Eeebv20es;M@} z8Q83ao!IAIgGWf0z>9F^?6Qd&DcfAXAbZRJr6x>AdX0 zMkXgRK6X!d|9@tT((jcxRR~Mxlsz<~L?(D_-0YFJJ^Qv^T2D(0i^O&E8%jF6PU!L9K`3o>oqtPM9rjTqS%1SD zDB|1W5VCuVp?|o)uTD`NWFpQ*Feo31%?8h zw?c%W2kUa%>t^j96C7(_ml`$+FD1^xNQ8v=M3$-_^PW37LjBg-%VGTc-<+oO1XYlU z-1e5+dt5XqQWtXUE?beH++qy)Tm6K(7Zz7P8fWDJv8$daopTEUvH0F7g!BJCi&dAe z@v2FfzS}3yOrb+Gu*B`w6%0ZMjFuqdV+iA{@gIA8dk5Z><&`@7WX7O-8MPco8f}%b z)3fo&2#ATS3$7F-YNNPAx!r^Q;ODePte{+~x$lX7-<*VRI-n@Se<9e^?sA}6`Jx%V z9Zya`TrI>l#mup=V^&IT2A|kiQZ6SCGj#ZUFs9$TUS>{P`B z-?A3$3ct=sS>@{1yVMR9xJ`>ZnHLk)`mw5D)A*y^V4g_GrLjP**$7Pq8~>c9H-B!` z5(gTfVvdiuG(r9=yXT*XmXJ#AM}&{;t?zGxtgZ<^ki0xf5@f4B`;q$X8fQ^DK~q56 zage*(zd7O&%PGbx&i+*FPvohqx8RG~o6?eAxh76mJ!c=i=nmmz4_b#xZKhK$1M2UD zCMMnskOg(IFZs2?rGCtF$yd;sk` z5?Ak~q-Y%~`q9mbKZvqli=I|mjY;fdYdrqU@^15%G|-TaAQ6b>zd(_l51dsa%bKV8 zOi{vN`nq0-%e~;+FW=K@Fwcih~c3Ggt~rzq{{SWZ)(xfB{`Sk@odQgN+I6}cnJs@%k$7e=$j+P;sbB51^w zJ(j}t*BE%o{g@k10bW3#Sv}AZ@Gi4#c@bnC+Xb;_9;gR|5It;bZ%j6QzPw>_T9VaE z5j5P-Pto*pFKfPVUfIm&60}&s)or0Naa}QAnI1sQT%`ue7KtNcOl&ggGGeGl6<-Su zazSyjTDHZ{zCVe`jW|Cbr{#g9UYrkHbrv;`ortZYQ_IK7I~>PcP%f zGFq@unrFPPtWoT7^PJJ@xABhr`$W@yJjS}L@>^lGjBWUWYVE>DR3}P)Z+hK%j+~5i zABxYZlU|_)iv@sALDi2T5^8pMUGo@LnCcfHvO*as<$ak;`=e;b%bVRL{Tx4 zb1roBtF~wT;16`KEVA=$^oMM+a~f1}^z&krpqfyM;`29{L8QSH{~4CJRe5mCj7L?` zJ2?gjwYnHLj_}E2l(xBD^T?0agil!{H#?5O+^XcB%?MD3@<081d_p};6Y4C(8ILOW zw3l3_fdcp6`BQ2wXqS`jb{Ol!Fm)7b_V8=ErloM!w={8q!&~p;DUvVnxq}P`IVh_y zB#FReoj#xXof_ez=4WY^yE0D-UXbp*{<)A-tVCybVA~wz65lDRPHsDfrQN@IC{gG1 zo>U)}*dcULc%%5%+{0#XH^kBZ_I5SakJZpDd8)obw%CjJ3>uLBz~)P+knLTTWQu0* zyH~KZZl4ybAv9pEZok6fMDp9ZEm1Mqnl~0P6F<#Gv(ar{mX7!A*40fQWJ!^;u5^vk*(haIbDtm)E^k>| zMYPA&{dl3*!~|vkfLwd!Hj(jS-Weg*MY9sjg?rbkQig2EM=jp?+{u%UE3o){?=$A{6{M9ge}W*+>7efrR}y z4C5b{0rrG(cH>BgvKF*ERNNGAE~N+a@s4J zoUzKfYD)O9E4rrfnq-N9mG6yMuSMG3Ni*#(ZXj-Z`wNIQegmYSR2r z>Y=+-g1dR=wRD~L-05J44R zcz_%7Xo6|eGH5Isee`J!By`8pX#Z9z-HEW`$9TLP+{1Yuo=t}htiMOfVB|~N_as=D z#UZ#n4JcU0V8Yoyor0oX&rGwJ%Z#UXiQGroRZqqzN=1m4*DJ6HMU8(w+I@a&7EW?? zvkHT@LS2l$8K1PWnZzw**vKo+U(F`_IayK~vDFt;So34+InZ4`j!Uq;sAA`^M7D3# zcY1DA>#NN%jPJ&Z8=!n3So3Jn01%YMNR3FS!q_gGU1ri(GOd zKS<_@TQ{+mT8LYzo{(HN6q4{^_DA9_HK6c8kE5`n{&}@Pl4AjDqMBe5oWG63JIwv9 z_w$vLr{^@@$#D45ZO;a!pngS{$J~HJ_|z2hgP0uMwd#|C?-i3R+rLK@ zPb){e5}k9UiG*I%n4=0ghGTcU?>F5)kB=8;*dDTakR^u3u+M3iC`T>YK@AIPm$@ph z@!7O^8FEIilG8=E^bP2?YNl4%uSR+$jmE#n&QM%lKKr!UutFk>;uj=ny7Ih>X(42_dD*+I z4qqO5=w7M5Y2d1pUbyJ%1(CSGtKmhntY3T3-8!jT zv4GePbn?dAHn2@r`Gr)2niJwLMqfg*fsz{bvF2+Ds{MWPf-QLOqZztNU26E8N{;ui zEp0G;?Y&_8owc!nmqJqYHk&q!BBGg@e#-nj=AxPTkdRah4NozRys-P|muc;nQ+1!m z`GS&-S}#}x>lB0Hf2gqp*UhK5oMF}4R8Tcj zSpu-~yHIW8Q;N{1w{+163yc|BV3}(&#S? z?)8+5xN)4Cw;vB=Ox3=*>dv@q?#hxQQzs;Va=aQqi%M-Y( z$34PUXPIK8J2Jjnk}^X062T}tfej&RyeC7>V@$$2Q*Jim@y5L2Q@8qaTO3mh@{Zj$ z9LLilg?Rly*+f|bR%rW*$iYTNs-6MqC;zvt_SRVP$xnqk{0`&3%{r!gF&9^UwplRX zYB^j})pGMw*)q6+ZpDn>URBD+zVT$4)2=hhExS~jZ1+~pP|VILySwg{6l?!f=9~TD zL?hoZ@96a-f_Knw&x|U~?1IwlL~q6j*du|JV$dBvjfv;MSSNH~7`Cf^-5!%X%cJpi z5k7!d+M|=x7WU@wC8UaHxi{zfaH!sBqurIZZ%|IoQXM|oghF;-Zjao{lw_a(rjQ7_ zi*!~+fg9{Qn&fKtxy#66hUaIn!H0uaX70|qB9JK)-s(k19vR0?!$I+itUpqD+n}3} znwuc64dt+^DIJu8y1qz?rS3~}EK55}B8y`P$DD~9BCb5(c14+}6a9w3EuJb7A$t2i z(}JoXs`2Zw@N&9}Lt83-RnZzFBew)Kt4rask`fu4?iLBQa?iMz+Rm+Y2I;V;52%gl z2P)wWcvOy3s2#X{V&VV3kJGQ|+kvu$kFjoLCF9)O);Dtq2sf{`_jb|lDaz+2$dW94 zc2L4M5yrz>RL|j{@TfIDt=*AMR&*(P6IXB?Z!M!Yke9|f`Doq6w5*gK(5Z4Y@H;DB z+9fF?<-l)NV^qs`M&fDa5QI7`DS;2smFl5KUBUwHEwBFRQ%$#YaN9xHrPZ5R_e%=; zw!>6M)v{KpI@p}IO$56;*iOE61)eiqJ`8+|(sY(2Ai@Y`(ws>4oYGR$AmjE;e-QO0 z)-YBNu=<1fbpu*Zs<6K{_W&lkLpq9Ad!M8#D1?5EWw_xP|mdEss?S>0P6 z4=-pl`>)bmN|T4(1?yBk?zfV|LOk+%Wk7$zz27>2Ja?;@6pC{diA^+ zcwLV!tMaEl{a?Fj$?+jnOfFNV#?7$-8!Kl#cUXb1xu6ucLa2dNM85f*m^AG~SF$!@ zrjeXTlubzf;U~1JeyJvoFE8ZjpAcF10pu57+loW!|tclpgI@u%1;RHJj`I(5j_+$}@2Hoe>?dug`cgXhU>93cUD zZ{7x#k$LQ*qOQs9OXyCD1C(fxOsYt_>RBxzi|PSKrsBx9)@!CY2&t6lrF5V;OQ zoI@~$Q!E%bR>sMbCP@m9STlMOrR(0J2t=Opejp%DI725Rj&-i$J5L}0rTUwpe( zbZO3$N3G|10BdThoaE3)6%rTtb#VKE^7L>Z=13>Z=k21IjklA0Nc5iVNz5(M%gYIv zzMHG!X0pq5nu**!Se_RAvEHrSOhpi z-N*MdHvAm~F-8`uosIDHIin`mumFa$nJ>Lc3Hy`4{+vzGK~q!0baJ+zV&kg|=Dy;G zlRZM;lrbLA`zx}vJ4uZE89HHF&72(dv3^Eu%IT*z8ML|n1)TBKyd>Z9+HcYQcR%G| zk5`~{b?jW{`(8U41erse+Mwokqr&@HU^m~G(M#ZG!-=}r`x9GOKV5x6Y`qgu_l~a3 zZV!8*)UKDu?@0zKmCR^r6YE%7$m!#!q{^ce*tZ194+WPpsC1eo?_Nw!^Fu^x^r8-NH< zqycX3n;c{t0QVXI5g2DPFb9A)O>im82S649MEC$O!?HgDQV5{yM*tJt?*JUYuN?pZ zXwwN8fmDJJM)0r`$Oij5;WleN0sdh4Cx8*k!~1_1jhduRI2UsgMEndw=lCj%^t_?c z(m;_iS${k!@&-U%wR}g9ENGbwqaZU|(XavTIDhW_G8V4QjTi*f2bxDdS ziTy@gO}v}ztR$|!|2raFMT_C&VjuDLq8nPZkv8Z1YYoL>Zd@U!Om;V1g=7~JV9B1> zV9;CB8+kjAR_(q^;{&B=Q_gD;97;oe7>)mxd*pD%%xrzd{C0f5)F4StWugt4S7ihf zOE^&v#g$C(o1n!{(qignbb{o3|JOCf^|k#U7xH5X4P^#~ASfpay{F z^YF-dw+P5VK$}H?3H-ARRD+AlaABJ|Ac_E1tiZ#GLK{eefH>=LxTp(gLBQb+fEjez z28uxWZ8#z~1V9jH2cG<}1FS*7FFWwiS~mo6LA-q+99-T51i`7lC}SUaNXcbAQJ%f zFX2$)3YbCwpI^bVQ?&=8K&)SI)kk~47XZ895RAJ6V!_vUa3p>Y)PqF#@JxN2fHd&< z9ZvQUDwzf!ppNgXlrPR5G|!nDVc8c$9GI zEHxw&0#;GOVK5ye8vym_;0h0^Kn?= zb_g?g#|~)(Xa1u9vRMIG#R0z%&SrdYZBDp0oWhF##t7qI3iE}4)!cs#mjG1=pb9U9 z>3`Wu4EReY0opd~;GI+;SE0RI1xB5-pFfNqiSP_#FL(w02s#n>ewbyuPH;NvE7;L!ndelngmo?C9=EP1e#scI=G13P?}B zETMjGlj6Ib^;+sxFHcvCMI_n*Z?m#(rG5xU0?uT(2R3geBjUP38Af7cHgVmBQ>Gp{ z2OGOhwp!0CfvK!e z#FS_7&A*aI{mT@TjU+IWqyQo0)%2|tVjjK7{NRY9T}pQC%^CjlS<>2RheD)J%u?cn z&9-&vyW^n|d{>C9Em0Lj6EjLvtjr{F&cf05#*&u3IsFSCbs!M6xlm=BUPH@Of> z;@M&MbuW)hb#vk5Sgv0GnWBVA$2y7O@Wng#57wXJ;xl^wYn{g!kb+$7kAdk_Dqc%; zo|mv3)0deG-{*uHXw?*FR;BON)wJ`fM?>Du+bt&2WPDwS=N7F_cd#p2{7%h6jq&Bv z5V|>YnbN|Ym8(&H%R1OR(tp*Si&PLs2VdT>cZ^r>AGmO*|Hx}o8z-!NqWx{{@IKTe zuVwO2cK2^ihSc{9E`+;Elk3HnTnd_Kq(;#0KgPt!RS&0`V;py>ZUHNcnHJLhVk%AZ z{#BQCoy6Eesoj*gLj_v9@w861O)7bLlmeTYYv4Ef zlxv~WWqH7LuD=a#P#v|>Wrb*RIr16h(GKi7j=A^M!EcHl;5S><&jUc z99^@$#(;H^XTBtX5lyVo43YTDoa<}q-7kJh7{|zScr732pX+f~>J}`J=8uNz9#<(V z*)Tg8wpBM3&ilJ~5Y$bQe`fc0eVOKn3z9I?Rx@+{Y+TbPN>n54?(0aXVgB7*nDP5-yCrpO0G~8u=Qx-qHK}O*awU zGiEF@R1KT*et*M4rbpB%aV(czvx;w&#<^6xMf%?xhxH!$=2rsXqvPFHt`ife<6Ew; z2CEX5wQ~6DQOveDR5%)6wFqGemwca{8mpw!8YsS7Lnp?oeLwa4Ewo$*b=DD;^$Z!X ziuNfBJZvZ7;d8L5@r1yf5Af!HwpJ%pYo+_odv}+S6NN^Qz(TSq@wPhKQ#WZ8fTtf# z2$l^xsi;$EH9V{Nu4U;of{FB?>sN2j5wZuORJ_FqSG>Fw@TB1s^kmkl+$lO*fsC6r zR?y7H#XBLviiDY<@Z+YQm?>kbRhiL0f z^5v9P$CGdQu&!E(puHr9J$avR-a5&f+aRQKbYYU6|;S%Xy4!Wt7QpwX){^W8tPLKSa`}vg%*UyPFm0_r(Qnp~>IG zFa<0y)VUfIEcJN=ZegI@#Be+;F?6}EQC~#-B#Pl6g}n;cESBA>W|~MFO|w`0&c}jh z_RB8$SD#7Tz%x@L+OEi1sAdcosm}QTF*b|OYpilYk&DP5==qsi3(*XxJQ_a+$P<}; zwp?N)@Sdo$_@o4LD=--|loK+Uc4IBK(gJcy(X=7u_6iU+!6rE1g9E1&#C)P;T7dL9 zi(*p_-}i-Ctdb0cQ0(tZDTuD*RH=w2eyOzknnIik)1~$bp-}ekyD5mGeH0210VFGg zZLD~c3ff-5(hK+8u4ncFX3|*Ce)QV_8+@jc~hpx=)!} zTPuN*HGcZNu-{_yo*xB2!IvDX%2xfh@_b8yHJ@DbY-X;2nUAR+hl<==TIRjtM^hlA6Y}l z3I&yH<@X7iZfyBMx=tETbbaYQVWgV0iv=e0QsWL)pc?xA_ag&D(XN-GrK ze`T4Mm~lqeM^5qGxMc+*g#HcPuyqPz%Ne|CV=Jsa%8*PEb4c=~0{FWYIkY_@RE{aZ ze1lGd$}P$7BvZ?=4m}aDRxoq!S}Z2Gb@BKR7*=Mdh83CwCZb4QZKNO~=B-kDy2nkA zut_n%P@#X%MkVI)LNN1!UvcZwk*4=DZ&t+XqRCr*R1{#|)_F%r+<;dx8l5ho6Il~p z%xw)T6wAq18hci% z3b=2WbQ#hckm_r_lY4K1H|qsmL;17rWB$iY%jEYMb_%n}t$u6@@%5E6 zv!~7ImeS1Wyw#cs_Xm>;2dcaR9Q{)}n+(?Lb>AudzppjCBwpj0l2SDAu$CLOj~ss=g#sVQ|`~d ziSyDn$WbHbV$xpPKto$F3ZeJeLD-0+HP=V?ark%U^s|AB~tC zP4zk&C(6~{AM6Bilf7=6?anNy;IP*Nk5fMV#YUVHobZr$21@3kb^jKTF}B)WdD;SwE9rF0RUqoQFR zG~3YhQIjC?%9QoRYfh<0+xR9<#yOl^o&E6eYdn-D)g+t2ILAUywiU)tGzeY9eL?3Vh@DcVp~HE^;)ri+Swl&1>IjyIDWDgt%O~_ zo?n1n?LK!5%(=Lvo8xW0#3XTYn|HJeUA1hsWNxaQH=UWe8cUEHTU6%rvA3%8pQ!!a zyXJ~`eH}Fi9BG!_$#a8?7i>lI?m@rlToA&e3W_A{CZDOaK10dcf0{K!W!l&#A4f3S zW?2oLg`_;@o4WR=7Uq<(H{Wh}(C!>NC*dM}JLE2ZJ#Y8^PAfrOhmi!E?#QYfx9R|$ z>dOiq{OX|%Ub_f=bktB$C3k{sx;!i@$rhDothcd2(jhBI4F<2G=foknm|0o@8zZ>9 zj^83&4N&yn8(eWu7TeKBY40`R&ugbr+x^Q?2AxLUyqtMePSQC8|+RR9zP>(#=58b5UU0i+UaXK3h?Vp zXX7oP7ddPHVt_PQ3a}DeD7m=>L4<6GER+kKLyyvkl8f>sB{!uBI){R@rIim{ z!1-4NF8KEk{CL0kvc7YBj&ih>ldYR2?W$_9{&lFybLn$;5-~kM+z+_dW<^ab(Br79pkT z(b_*4dnV9nxuT`KGtOf*N6(RL64YYQRgOVPF0tGn$Y%OOloHC6x5PRBNn&>CeQJdA z$=a(ris=|Otwj^spO4Tf=bcGiCa@zd_2dVcVNM9d{m~I!e0ht&XCe$8&bAQ=5e*~QrgxYeW2!lE z7GwNN%+0Wo<`cmN>HKyLWEVvWp}B$b^BXyzA@$Cx`?KEoAC!yvMbA9`;C{gj2niG3 zc<1T(5xXlkf+lGLN}{k{);FX4Yh8gfl7hW23HKboztLSl3}BGk*zx^k;&(|ys+!bW zFgtICbpBKE7mBD}_%+KsA{I{&CGFz|$e8Jt&X#iL^5`@w9S5iX>aSSomw^IOQ=5nX jyM1EnVHP@(ho^wJ diff --git a/slides.md b/slides.md index 0d16804..85d2cbe 100644 --- a/slides.md +++ b/slides.md @@ -3,7 +3,7 @@ theme: default title: "TC39 Proposal: Error code Property" info: | A proposal to add a standardized `code` property to ECMAScript Error objects. - Stage 0 — Pre-proposal + Stage 1 — Seeking Stage 2 or 2.7 class: text-center --- @@ -11,7 +11,7 @@ class: text-center A TC39 Proposal -Stage 1? +Stage 2 / 2.7? James M Snell @@ -209,7 +209,7 @@ DOMException has `Error` in its prototype chain and a legacy numeric `.code` — - `code` is only installed when passed via the constructor options bag — it is never set by default -- DOMException's constructor does not accept an options bag, so `InstallErrorCode` is never invoked — no shadowing occurs +- DOMException's constructor does not accept an options bag, so `InstallErrorOwnProperties` is never invoked — no shadowing occurs - This proposal does **not** modify `DOMException` — not web-breaking - A single web platform type's legacy use of a property name should not constrain language-level improvements @@ -225,21 +225,23 @@ The `.code` property name overlap already exists today — Node.js, Deno, Bun, a # Spec Changes -A single new abstract operation, called from all Error constructors +Replaces `InstallErrorCause` with a consolidated `InstallErrorOwnProperties` ``` -InstallErrorCode ( O, options ) - 1. If options is an Object and - ? HasProperty(options, "code") is true, then - a. Let code be ? Get(options, "code"). - b. Perform CreateNonEnumerableDataPropertyOrThrow( - O, "code", code). +InstallErrorOwnProperties ( O, options ) + 1. If options is an Object, then + a. If ? HasProperty(options, "cause") is true, then + i. Let cause be ? Get(options, "cause"). + ii. Perform CreateNonEnumerableDataPropertyOrThrow( + O, "cause", cause). + b. If ? HasProperty(options, "code") is true, then + i. Let code be ? Get(options, "code"). + ii. Perform CreateNonEnumerableDataPropertyOrThrow( + O, "code", code). 2. Return unused. ``` -Added to: `Error()`, `NativeError()`, `AggregateError()`, `SuppressedError()` - -Identical structure to `InstallErrorCause`. +Replaces `InstallErrorCause` in: `Error()`, `NativeError()`, `AggregateError()`, `SuppressedError()` --- @@ -278,13 +280,11 @@ class: text-center `code` Property for Error Objects -Asking for Stage 1? - -How about Stage 2? +Asking for Stage 2? -Or maybe even... Stage 2.7? +How about Stage 2.7?
-[Proposal](https://github.com/jasnell/proposal-error-code-property) | [Spec Text](https://github.com/jasnell/proposal-error-code-property/blob/main/spec.emu) +[Proposal](https://github.com/tc39/proposal-error-code-property) | [Spec Text](https://github.com/tc39/proposal-error-code-property/blob/main/spec.emu) diff --git a/spec.emu b/spec.emu index 83e39a8..7f8aa7e 100644 --- a/spec.emu +++ b/spec.emu @@ -5,7 +5,7 @@