From 4ded63a5838881ddda87ac344c4046e9f4969c89 Mon Sep 17 00:00:00 2001 From: Levi Neuwirth Date: Tue, 21 Jul 2026 13:42:21 -0400 Subject: [PATCH] Text Projection 0.6.0: the operation vocabulary is grammar-directed Scoping the operation layer surfaced a contradiction the companion had never resolved. `req:textproj:value-projection` is a mechanical rule over structs, enums and newtypes; the Grammar chapter separately spells out `envelope`, `stamp`, `causal`, `payload`, `kind` and their sub-vocabularies. The two disagree. Under the value rule an operation would read `(insert-event (insert-event-op #x0a ))`, because an `*Op` record is a named-field struct and so not a transparent newtype. `req:textproj:operation-vocabulary` rules for the grammar, which is what the companion already implied: the value rule's own preamble scopes itself to the values an operation *embeds*, and the `value` nonterminal marks where it applies. If the rule governed the vocabulary too, the grammar's productions would be redundant and partly wrong. An operation kind therefore inlines its payload record, and the requirement says why rather than asserting it: the record exists so each variant can name a type, and the binary form adds no bytes for it -- `OperationKind`'s encoding writes the tag and delegates. A wrapper that adds no bytes adds no text. That is the same argument clause 2 makes for newtype transparency, applied one level out. Also removes a second name for one type. `transpose-interval` inlined its interval as `(interval )` while `TranspositionInterval` projects as `(transposition-interval )` at every `value` position. The production now delegates to `value` and the special case is gone. Two new checker tests lock both, bringing that gate to nine. Co-Authored-By: Claude Opus 4.8 (1M context) --- .../tests/text_projection_grammar.rs | 68 ++++++++++++++++++ spec/text_projection.pdf | Bin 135509 -> 139133 bytes spec/text_projection.tex | 56 ++++++++++++--- 3 files changed, 114 insertions(+), 10 deletions(-) diff --git a/crates/epiphany-testkit/tests/text_projection_grammar.rs b/crates/epiphany-testkit/tests/text_projection_grammar.rs index 95bb4d6..a3b7625 100644 --- a/crates/epiphany-testkit/tests/text_projection_grammar.rs +++ b/crates/epiphany-testkit/tests/text_projection_grammar.rs @@ -26,6 +26,11 @@ //! struct alternative: shape does not distinguish a struct from a sequence, //! and `req:textproj:schema-directed` says so rather than pretending //! otherwise. +//! 6. The Chapter 6 operation vocabulary is explicitly grammar-directed, and +//! the requirement carrying that boundary is cited at both reliance points. +//! 7. `transpose-interval` takes target bytes followed by a `value`; `interval` +//! is not allowed to become a grammar production parallel to the canonical +//! `TranspositionInterval` value spelling. use std::collections::{BTreeSet, VecDeque}; @@ -297,6 +302,69 @@ fn the_kind_productions_are_the_operation_vocabulary() { ); } +/// The operation grammar is the authority for Chapter 6 vocabulary; the +/// mechanical Chapter-5 value rule begins only where a production says `value`. +/// The two places that rely on that boundary must cite the requirement rather +/// than leaving implementors to infer it from the grammar's shape. +#[test] +fn the_operation_vocabulary_requirement_is_cited_where_it_applies() { + const LABEL: &str = "req:textproj:operation-vocabulary"; + assert!( + SPEC.contains(&format!("\\label{{{LABEL}}}")), + "the grammar/value boundary must be a labeled normative requirement" + ); + + let operation_preamble = grammar() + .split_once("; --- Operation kinds") + .expect("the grammar introduces its operation kinds") + .1 + .split_once("\nkind") + .expect("the operation preamble precedes the `kind` production") + .0; + assert!( + operation_preamble.contains(LABEL), + "the operation-kind grammar must cite `{LABEL}` at the point it relies \ + on the grammar/value boundary" + ); + + let after_grammar = SPEC + .split_once(grammar()) + .expect("the specification contains the located grammar") + .1; + let grammar_explanation = after_grammar + .split_once("\\chapter{A Worked Example}") + .expect("the grammar chapter precedes the worked example") + .0; + assert!( + grammar_explanation.contains(LABEL), + "the prose explaining why Chapter-5 field lists are not restated must \ + cite `{LABEL}`" + ); +} + +/// `TranspositionInterval` is a Chapter-5 value with the canonical +/// `(transposition-interval ...)` spelling. Giving `transpose-interval` a second, +/// inline `(interval ...)` spelling creates two names for one type; defining an +/// `interval` nonterminal merely moves that same special case behind another +/// production head. +#[test] +fn transpose_interval_delegates_to_value_without_an_interval_production() { + let kind = uncommented(production_block("kind")) + .split_whitespace() + .collect::>() + .join(" "); + assert!( + kind.contains("\"(transpose-interval (\" bytes* \") \" value \")\""), + "`transpose-interval` must take target bytes followed by exactly one \ + Chapter-5 `value`; the `kind` production reads: {kind}" + ); + assert!( + !defined(grammar()).contains("interval"), + "`interval` must not be a production head: TranspositionInterval uses \ + the ordinary `value` projection" + ); +} + #[test] fn the_chunk_kind_productions_are_the_chunk_vocabulary() { let expected: BTreeSet = (0u8..=8) diff --git a/spec/text_projection.pdf b/spec/text_projection.pdf index c6af7fd412eb15dbd9927fc4b850fd30e5adb513..b3dc82e68a09398526843f15376806417a3c9dd6 100644 GIT binary patch delta 65759 zcmZs?V|$=&uyz@z<8<7yZJQn2wr%5%(@8qEZQJhHwryMQ^X_9l?3rV})gP$3>Ri{V z#rz+i-9KX40Zt}o;t zkU3rf+x}q&tW@JsT=sW=EfOmjnmsh-6&s)uloFH@Y$WJ<5o2|Yq0nqO?C|)=`lYiC zrhqkTW$(hyJUu)bT*^dpVHZ6*wW3d&DgxaO!~~KQ3Jv5S%v4k<14DKUZgkD9VQ&8> z|H{-G_~kX^9$W*;q_zmEPsxlutD*!Euc@CNJGdp-_p}*U|77(n<^7nazS*UUdBKxu zv38CaI=2unuIhH)*T2U#H?rweNIqWQ|2R_RmHduSNPMJ%yV(Du>fMv-fklg?WFmb*8SR(_o#y!7`_;$;zxy3n+V-Q>W zdk?r7bUsy%s~;sr7FsvnB-!yz|CUmm1{@HgJD;%l#LK&Ni$T~$&m4pY#o*1?6&Vhc zpxUUIH&z)-WowvyYN=1(Bb13)&2<`@gc(C^;D@Q!>%;n;G2R9BMe5BN zlVwCMKN0_v@L9qZ*N>UG4*Cq}S%-7K&pG}K>sh>ydrrBv1Vv4V1ETG3P2B|m8WN>${HTOo^G}?Sir<#Kut>38(&9p z|AQWy-mH^e#b9np!fW7nsWHGNY_#$rS+}#l?kx`Q*~Tc_ck96UBS=_=aa9{NTyC-@ zU2hptWkxkOR}gMq5=!}y$5Tn({L>DIdE6#CX4BPns+QDq2ug|CpS&3xV$l!5NCKsn0s*z8r!PrCB@9t@@xtXL~PI=BiuKklAcF zmg>y9=8$upoO7&@wK`C2HONqSDsxbvUjQjXAH+kz%Mlu7(>VaDE!S1+vq~~mw4P(0u3rCTD$El#6K^Z2PzKc>;s_WQbLj#e z^Tp|IZ(VxxTr%l5diFrgkR(Pgnm}*(Y0pLNpBic(6`k`Ugr5uyJwx@2kJ-_cC+VfUa{M*+wE$npS!=cH3YvhJLbfFMA-Q3eSI0JUdJgr9=5v zj)eZur$-Xle<-EH57!PfWWL4CD9e@^KoJxKlW%M*ZXCv`9((qq>m!> zQGA~#+!K)u-PsyIIs*6G(|(a@BRt$&bFF;*BFOR6`FcA&Tx~?isMX5rgU?KVAAzlW zfet?ykwNocNdL9?r3gs9x&Y=u(KaEO-+CGUd@z3C-i)$d40F5q6x4y42rR-CH-kQT zEisHgj}t#&U)7p`TW zxNjZS{vNHn8<3p}hZz2XCtl8k(NyPBHuYkFM!o#-P@9;4dwZ?~`;*JbqqtJzENA>q zB~7ORNP0Y^i2`4>zF$0f&~9B=r0{WeHkgL}-?Ha<;5flOR##^|a6O_KL%<*ejp$Jgw~ ztl8MjzyIl0Zt*6!NCdJKsbx$c(p)PilrggkOw`Rl%Q#l?-z&cedzo4l7{+Q5anqKN zG%>4QumkApGMbj;;p2|{>vOo$qJgp)$)o*eg&9f(y*lc)JDssg1+yfARh-F z+?E%36ED|m6Z{sH8_mNnou6PZ+@l!vhoO4qAQp%wja&QK!F}EM{55<@?4%D9h^Zc zz?-pAkfHxByhZ{F;A z89#)e^fy7|W)`8^PklLOqoslwtyLMVd;oOzV?9jetP2b+Tx3)Nm=P^K6LKb?Y;n=d zp`wX4VyQ*X z1&H!v6os#smStHZ6fFlC*`BmMwrG-;sY{-6MPf4O!t8jNR*h~9e}Bh98}*=o70;%f zWhdtjT}ijO#HJ-5gu}W1!kz>*>_uqDQ>Qyk2#Y8@M`V!(0h=nGLXIu3#*~HQJk#AM zI7k{$0Ju!h_sXgD>)jHC^R)$P%K(_N9&$Phl1k-iE91kT&w{pGxyK9SW72rx9TtjQ zcMq~_&tk!$qPU+!UQVgWrsS^gur~We0frtf{C9$0d#+Zhw$L$@R*-45;=WMzexjUSsYn2w|eN&4@+eT1BwQoJ&ZiLqs z=QpoL$`#SOGrwUmkea>6F2E7`cguAL%6BoQA4is)*KyVT_&T2t>|E3YYftH^53iVG2ydxNZTp zdLzD`*Cx08S4$csKzYmSoE2*t^`n%mao%w%jF7PX!OXG}!|UY%9lHy+yK|872Qj5a zrovFm%|5!^eBSfDxf>$8wjDCQ?1->Hhbilz#3@$5V=t3Z_B<(2j%GU8Q5KhWZaJC5 zz~mOm8`xxbS+4{jJbDkuh`{t%Mwy z-ZD?tKi8GS&k2UoQa#Yy(qYVhm?vAa@7%o<5AZ-fuD$oWw;+g42$dx3(qF*yK z(yRqz0-GufG?{cdU|{`$bNa1hE*j)ujTJG6rPRQQhN8;An~|)vN9#Cv9|@%%M5TKD z2Io*kB6Gy9Bfm4Od&Rb6H&}u2%(NjCqSzqq4Yn*be+a)c;+(>J!)fDd(@xNhJG$^X zFNqVnfW&w(z(z>7=ef-Mj-m_*-Hs9cay zJMO4*B;WQOr28e@)eeB$^Ly|DprL+bLNIl@&6ooTD%~xZ! zJ0IOq4;Tx&S@9Wk@fzme>tBV>+-YKa6?*>{pH03Mb@9&t9dM zabe;H(mEN#d^Dh<(EFG>9dL^bIQXnUqZPR6qDpxZ_ONYYc&U*1Hq>q(8$rgw7&^EE zj2UM!G#MfpSX;^R&LPVfn)pmB%0gz0L9mu_sJIqxi}1aqD-%a3t;(9T34TWiBuX*>! zphL+Qzp1RD|5S)UE3`v3q?P916uQ$$FRw>!Sm*jAm^g3qPhTgTu0h4vJQ&vtVFq_2 z(nYb3g$Y&0Or&N{F`9=m6T7f*>BR@BY6Wru_y*l8T8q*~$A)6|~7)=3}xwRWkq|;flv4%x)GkCVf;)XPno>+1OcU(8;>P%vq89xGc2X7u# zP%T9}2R>cXV(NW}%7S}p@xk=4_x{*2;3qg)eE>1L(}z&aVMpsx zT&4XqyG@?+o43S5=yEU>RkLKJ{h)USSrspw#Tpx(Y(nT{MKPe1qq^{dlD0Qrz??)z zGL>hK5PB7(wb4-%geqEiVs6AU(F_NUilZ_DQ5&=YhRUrPd<@>nU1jc;+d^;T|BR;( zfzmy;us#|HRg<@EWre}7mCwsSYBSp{;?lk1@x}Wf>c794)!E?6XRZbYZ?KP^7G?QB zDZp}BeE=^jx3!nLTgh{(L|(vgWUpC@trwc>bdIV4zG20Q3&h*h%mRNiac6qZJVcxF zb-1DZSJ@mSikDUHzg~Ph<-*R#rB@`>o;bHnTd3|njx{Vy?E;jMU+0a2UQp^=9%#r% zaz32E1KHlvyZMMQUV(hNRaYv6t7MMpj(Y)WQMn9~a1<1|23mKn(Igt6}3 z*)a>cK46DH-xgJH%2cP~8zPJ?zGs}JaGL#NHTxhxu*cUwcuuYLM>Eb1@wUE`qEE1J z#n?`05zVTOeBaze|1xT@QDCk6F?1H{7JL|22e{e%K&Bq&Op^k|42%Iui`+Ns81YES z=%haVQS9a>AxmtG7Zb3FC*(hcl{)C}3=xU54GtMkd+ z@j)_?Ds(=_d~AeO-uix6C(x1+!?zBm(eC@n1>ROAqP2-XGRZc8s)#I7el*h(DMUH> zs<>ornpLJ~Ckm>tc=;-3&z`!(s}byk(o+Ja_2xY1)(jDQzzz(z+9Gv0_ekx|(Bm<- zjv9`^xyTJ_!HpQc`9~mbI$q*YUs_ILRFAc~pk*9}FolF6w>Qa6|4~acbzi*P!Vo+k z(W<`8h}isFE6}tUs+0EkFAK+*V-b#zdY3}YN~~HwEQ-sJ%q<3HMS%Y~re!|Gr39l0(G*B-#GS_vw<#Cks z5Aqj`8U%Xd^dDab;SPmcFCWA)RtbB_litJlHKTE|I^lt~H*zvm#+@2+Fd^~OrLe$a?om`D+-;bjz9IVZrNxl0#IC-XYcow`^v4v%2L|M&2bR z9xQ|{PTdyb+SG%(g*M(i(a|l3>fROirxhHp*q?W{yvxtq_jRH526lT;+ijP@@|ory z#8sfVb?(&_JnQx-3n>W+OUgSiSpM&GOZzpxSjhnkC6#(xS8rWWnE}{7+hf?;#FkwF(HDbWk#nwc~i2=MI zCBFl14H0V}G;M>&-T1o~@kFWDtz|cwssOOH&6T#vpRHWbiP9YGCC+!zKIeFkzpxe{ zGx#ogApGSvG_csvLicI&Orpx_EWo{(y4$O@^+`vL%3 z^Kjen>BG!~Gn~DJY^(pZU{11huP>!eBG6W6JrBFdL~&%>fQ7te_@XnQ(19fR{qUEU z>iB|igaPHe>U%Onw|34E4P#DyI`IDDLdvgIx0y6$4*PQO4t_WROPcI^8Y{=cntnX} z=~=m=+7{tI7WL=)!YWSZ(uDnnHWBF8WO+vj##NXXyDrQH?|~5=A%g7wNEEd&0^0Lv z2GVdqvEKjvY?`X6Y}SJ~mD^~aw9?Y^+HQe1^eISq2CR)f`hG^P`?vooEEp)qCx~7s z+{V{D9*)@jc)B3$oxu2$=cqs|*boR>QDWFc-29B)pb>sr4NKq<9)ojFz0PgAoYA38 z^6{%@{YNeAp|N+XA=rk_9oH1}$9v~{0y^+U5TsmG`2S%@Mpm#~ED20$WB@BW%m2nl zhq&X>BrUhuH75iL8G{@F0mu-45MG)`xBlX?l2|&|2CZ-%JS&q%n#4^ev+notu!A`MINZP6e71tIuAQSNsDb;l$S_yE)^WK1T0%ioh@Sfw>fSnA2Y8Q=Tqs-bskeo3#>sBaAX$H;J6#_k@E53k3eeg0`w#zLbE9R5K_ynwKBw+`Dg<1MVoelMHvCd>IqD_W&CL0p^fE40pRxc?RTqOey&_? zBU>Z_figZ2@!!J&^X_jC0bfodKW1tguR3zSJ9Z)thYw4Dotk?wibk>`l?pT~$C1z2 zB_Em|{!Y#P4TE0jw;0aPunmwXr*DMXo(mAG17rd*1ax9b%c@71kn69{)3@Uk)SV@t zH~B5%I;e##{Au?$Sh1Q?P*oM2$R&1sH|r-LbbMfd&`&I2aV=L1gS{_GpEWmGc3Us` z&En(jUWs6gGJMxNJ3{``S+hE7hA=8Rg2sfq>t1W}1OkFEYPT^tkIK->-b1(s`;;w@ zWCbno5WDla9GOr6QJlbik$)9GPUUr8YVCN4R=rWXJ)A=8F z$xDgjqiU?chLlA{yot}LJ;AaFCf;`s&Y$%a1j?huab0nNVn+!q(-XYBlL3j#b1*Fw zMI4nGEF9zW-{26B@#-@Svs|Ows2G5|dNU}xMhL~!ND&BR2#X_A{$BX=&+_mMtIQ}C zYIo6pXFq27n8~MW7*QtT3WHGmR8Nv{6-f7P$uY06b!W31`!AqJ`WqsqWb?*Vx&E+X z{p>lV2u;JQoBNYs0pem_HON#8CmXl;*b`Y^cpxM zt-#!4#w{YW%Rnu0{?2?*NXWHyYxvS-vv90t%JfzQ8zlSb17g3tvrrpXfJXXDI@&dm zHagaTXyHL9Y|pZ!Y7hEeCWoU0Z29n*WzM?T2-L#|%2Hn1)h9PDLhPVo8WEVqL?@G` z$h;??bxZkvmZ0@OL7i8uiC*Am7rUU#>B3=Y$hcPvCVm3BF2jaiy2zoTi zd37c_sAuwT5fm#i)(?VA-L4kT<-|yeE9{`n_8~lHoEa*`WbJ$w5$$-Rh|CIHxeLm` zvtPUI6H;^O$KZ8;%g_^y?r6t{;Tz=`-~>3LDTJf|*9gIqFjS-DWXh97JZg5DY2LVG z>k-R7`6{A5>B4#ztFZ~-%b$omX~D#rnRVJkBEhQSoP!!RT5<|XsPGqgRPjJ~DBWM` zC63rf)A3AXu13^iR1@xOcT_3;y@0>ubtQ_j1$8$J+YTo z&@(!d?W9OfRr-fg5yQCNU^3|oTv$yZZ7Di0)x}LoB%|-TbE1iWFLGDzRmQpL3QGql9txetP1BnM9Xy- z2>VyXUJYYTn2SOh)z1Ei9#Ry9xKifBXtY8LKlp0BFR2J|wxsSjLZ|%+gGASR4Pu<5 z3R6}Nu<>M?;gTrkd&~0bayZ7Rd7qJEGCGwJ&w+YD=^QPvYa&}+^%4a z%7nN1)t4v%{xC?P%vA2Arq~@qSl@O)#jRP$%_RBhueTfq$rz`>8Xx8ktU}C z_lW;!KU)TY?@9I#LpPE05lwhuL-e!rt>}7^A&nfR8(5_zFrR-Pb>%Q?O^epC)G5q+ zAh}!Mw%V>B;+;-Z7Sq$saVa5-;%hh4(iM4)vuYNWkvDaLqvPtzrQsP*5%Ds^6YLrm zbRh{taY~x6Vpwl}A-VRNB0ttZbMkfvUMN2~(iq;0u$%>Qe^J0<11;QRd}@SEnT zb5`z;mgaLQS)#1g}E&rIMOSvnVe0{-HzqnryRo#_vEWSeD)r(i(+^->@LuMp9f|^pt+S#_UahI4lPF#2#Icu^;;0-C6RNE zJu4*xi&QFiUj1|>h}Vtx;Y57Z#?*4z+83#d zP9u^U&Z;BugnUQ0>eqUU%xZ_U1fb%lTn~Z$k$sKr7`z`pgH+aYShY&WZ~f;j)paa; zezb9@=tBH6i_0=<{5Oq3et42j*uZo#YS^hqe@_=cb7to*<8MX*Fn zO6dj)+M4ZR%_6C}CSsQ+h2a@_tV~Y;rM;4KS0s5;XX3A5VS&@QC2c}`RHt*T?hsGR zgXELa=$-Exzg0~9qkKew>OT~II1>uk8A>IT^Yh~B;jj*2I8jw-r{Y}co?w>#v7oE`HJ5@D zdbNNrjAqa6PxAPRODoX!Vo5T955{^4``JY_TVKomo~7uU=C;A3*t~wLFV&*dVgrS6wOlz8yxiWYpud$G=tG2YkbmCaKg1#T?t*eH(JnITU9t((c= z#VEz)Zf4u5+r3hk&?FEwRhaB1e^S&Q=r2Ze*<6!kqqqb-8W?j*WMaqxiYCecUSNqR z$x(t>olAk6pxH>LIHQ{?L8Snzr4OlFs3f;}?ed@2pTDV1+?UNUC~{`{(-TdH1K6Tt z{@g+ti|-1oV~0uDAp%_l@i61U^^`bC!qXaB8#JabtF~8b6Dn`$d!mgkzimL)|IoP^ zE_XYK4!zBBH<{07z!+i!T|{Z}?j)QpBW>3{bg-mc>SI?cms89%4J9DV{?sgES6-6U zr|q~gni|HS#y0=9T3R!XB8GV>Fqd|0k2$*xk;pS2!N?L>p1#8Wq+z334#zVre7;41 z@4hV{pl*CAfdb!$1OF`qEGskBwJAeb_n<2+KE()xInxf2D~!-KHB+1F8|^B1Ni-HLnWG z4a&e*Z@fjyp2Y;PGw$=~6>GK-ppYeo<>lV?@F=U@4oNwQ6J%Mc2dXZB3S})z(y`1s zGM8OKRM}GDgr_=c9GAEim);@vdL?^Q0xvQa^wsVOmCCc2&&lgzXw#PwD%9p%bKgV> z0oEo70)P2J$bnU4Zr(C?aprR(qN(X@8z6`VQ@I?=iJbw^nhAg2>qo~TQtT;mS{Tme z%w`P)Q-k8qkliLLc5W^NoNV5(#L!dCBoAg4*;-SS|8*$Kytt2!`ca|mv=3$}jyb2p zRt0U^PyI>D_s*RZb(?oH)5c>lk)B7}wx*pjABbhtmAt))^2=cVXtQ;hjgq?^nzb!3 z&fx`&IaLWL_vmFK^vxCfm57vDn5xU-1~U7Wswk2!%bYM<+}3UT%MJrmza1`j`6|Qc z7l0EV!|ah7Usg-zWDXhxF_&t@Jxnf5lMj4@UwRUVir~ z7+dobM}d-gax31G@}BPyS3`a}D;D?+Sor2B?=ppB_-*(`o9Z-80gEA<}zG z!bBUnjc_#eB(A{d3tI>D2|)3l{%}jOZ&$N;wCXw|`r&BxEGyKmO1a*_-x1yH+&Los zbhrRizr-CKHyO`1c&b4jnU*xy_{ zTyvbfW|V4XwQeQ(c_^Q*+u0sXrvE*%d5H`(zih*^jnOV2sb7Fe6Oz7>(r^V&oz)5J zA*5)P8!pg%lI2&HS|O(2CA@|pJp}&kduO(S#DLc9r|UZ1o73}C-ExYXGk+k5hil+4 zl;Pt5t-#V>FgOYw?(Wx{ztE*Iu8?e0KCQ5rXcXu{!hg7UO5ou8ko+NiBkCJ6NYo7k zL1nHpA-O(xtb5l;|I+^Jf0M=rp&Us@yj@pp=SavZRDGKUL z_o!SDhJAIzlW7bikmaTzvprgj5HX7+a-(w8NNLl&`|GR$R6R>R_{&}cm1c#> zoF2`ekZlv{lWU2{E2GB-s>fV>%teKnzKy7|wMMA%4Xp`!v-eX7xhN`-Q0`4Glw%wD z;5Au-YB^UV$7b_HQLk3Q@=;oPFqyyL?)Ti%%pC|7NK*r^pp{y|@^a#Vo#!DiiLquU z#X)`<=ErX9aj1W;y{XOSRh2TPNlk~DMPH;>;$A`Cp8ddUStB`SIzB>Q?p#HpmDl(f ziU+RFqZJj9ymX&&k-i=Ol!>{hBTFFLab#4;CkcmrWC{QEvo_Pj>W_4IsgC32mLEFV z+?7<}b4A=ywcrt~KTnc8OrtlD%SMjpG^+bqEKD1r!~=KNh8_>^%_ZdXOGS}xj7aMi zGUtAop$`^{{fkdU9K;O|v~~Z-!mk5l=H&GH2;=7@wm}e0$opj6abg%Tz^(O>% zjsl4K<0r(d$qI5(hQ@#HnZ+C_#RS-@dgO;uvs>rZOF1Q%AJ%PBn_6Ei+c(8}RF09x zFV=W(7TIhX`_rK{NJbC4^55X5k7)z{Kir1%f4B`JBisMxHkWwgPNXfD|8W~*Cxwh_ z@&62#B5KE^|EvAn=BcwdA-Yk!A-;b4LkI@)Z5E{IdXlb|Y4EVvpg@2kg9zoae6pTO z_I*E~A$*h+4--(Z4X2LvaQF7`%LDIkjhDyQhG>oQ+khBgJ|=KuZrr;Ch`>F3-VdKv z^sG@$bEPu+`lL6e&ztmLC}r~FcXz3eK@?S~uaUm}l{yFaS(f7YbTHQm)nn@CsM*oJ zG~P`Mc#b1jRk_1O^hYbsyGFpnG`zIvm6bSq+wgj~6N@ zg0~dlU1;*jcd&PezfIYx(G9;X1NGJ{^oJ}Cm0wk;QZ@W9`N4C6knz?RFo^G<;fIWF z-&_j!KOnvfp861<41pEJ_Qm!+K{4R|U)W!7_?ODq#)iy1mizu$i0J>0e_n`yZx_Ei z!TRKW|11NNa2*I=t|PxFY+e=}1_CkabHjYnlg8}R@g{yUI<~<>CB(u}q6$l(htzz1 ze$MCMVYJ+23n1U?+o1j^^s&>ZSK{%BcKBzZ~UmN7!ZIhl^BK$yx^stJlRi436N+~K#ZlNECr%RjKeQ2vfe6UCZzW6o7>!jLz@;7=5vIR=Sp=cUi$WA&H@*QvaXThrJFhz_AY?xexX#z`*rc!k_n#_1OH zcG|IjQ}t{0OQYO_#Gmw*nKt4HyZ+q=C0Z;hWUuLOgQz~@&NR7ZR@cpCE+XSk)gjuu zaP=X}w>m#|M3CxNK-yQWd$Rpo#I+G*hK+IZ$f8odVVNUz&iP_w?(i=b%hb~~c$_ms z6}>?aP&q``^h>{D`ls@q@=MUrBs)&cQni!8u@Xww$QUbv#|@U4VJ!jjRJ;d%fQr{m z#u|fv`;E_4XfA@>VxB(f0s~W=lK37C6rNR>w(CzdTe9Y2@jj$`G3y_7LdDknSUiUr zLBCqY|2|gU`Qbwvnzz$>!Or$>BAt$gE4 z@DZlNaH~RuNu|j%(Z56a_c^Vc-`Z2<1DCt|%*vc?K|8~+Y(=nWZQ%uA8fm=Gg%55^ zDn5_M)6b~SNegQ6@~m?Jyt*UidM_ml^NG{*xreIphnY9a$^#qIct_}wtT4&)$8 zfyvep7&!|H*HZ(?C2Mf^KCdOIYGoBGvjb#895{X*Q5 zb;~%j*UE3kN__hKG-1eIY1a0<7?tZc#f5mBo2iO2!TSpi#?5luSLRKmA!|)cKeuV{ zJaRZYq{2Rl$lE@vb>pqPfUv!9miSRe`f}XEbN^F8*i;KNZ$>eoAzn zi*)y!ryn$QEf|oJi=O#3S4CWBKpo9d%DP-!m$IfSP!{9BJ+1u#%Y_D))iC3SkIL6R zE9-bkL=Sd7U{~AwzFKqzxMH~H81}Wi^LZ4hYps_RSBU2oW*_kEFrZyOek~3y|B$^8 z5IPVU#nWVWoNj3H>LT$BL?^LS+_RZ`+9F;<+V4XWXLGj^f)u)qq)t=&CAeBm+Q1pR z2cM(aB-#ALR}}r(OQPGeMn5Gr7?%4Zh&OxxcGQ;JWNz#38a9~=NPn9vcRyFdKd!3) zrNG666}mXN?1%bYai%f~C60(>=sR1^#kebqfT9n*>{gUhNQn$nl#Gxk}h2&;b{8$ zY)^l=M-dW^H7sm*B9SDlaUv@P`i}RxX>7m);aEPRkRkXsim62Q9MOhh8sZACkq{xv zU3Gs2dkuIYN1~=2t@w~?w@j0?f6NXijoUY1*ttfkn>Ann`0nj(%WfG4SzI5=F@_y* z)6o-af97k?2ul?g#G{y_jD{Ki{{6%L=eUXec_SQp9NlfRj-TKG>j0dZf(;`5T82GC zDVB~#TP^-#VJ87Y8z-vWk5+5uDrf@F>27iR^XXOSRFpZGHqiAR>xczAChUB!i8(iASlj6~gq4amfG@BTXAU=vm?$gZj%)iMMP}o=M50%qp zxfpDlY>RPw`U~|l9X|4n{9%R-ms+Gb%|5(=e#f%zrlRKOIFx9TCaSlECckHN)aYl^ z=M-tqt@L{gm|>14HB2(xb=Cel@RHrB(D>#vj{4q8#1wHz4tk1$5cCI92xo{J(EFfE zv$a43XBl7riR6RKbnLo(Mm2f%sy}*YO^b#!kCMMBONafkug}u;pjqCtKXky|#wB|=val5IbK7H9+Q9ek#Y_V%-s!!Kjg+gVqCAL z&8nA>6Vdxr@_}is(>7CFuO*i-HmCq#pGC9im^A+9X8g$dZwrQ*wHk~(-Tkv&*8L=) z=BHr5*CnyP0jLVIJ;@2tj~nWry*Mnnzd^RqU+u9$JE>SoeN+bO1VUemS8q{jDE#Mz zMwOnEjs1&=&Qu)pPoiaK2FW&uo|1{Y7Bfs=%3Gd(sN|T~h{*Vv)=*$c(Bi}aV7MCR zE_);EJVf^y2xwa>_LO`6+YxBp=T`;HyQ)SJ&eP9UtMBfKl^+a zOZWzLuC!$3aL6dVs{0;Qe%UoPE_Lq4T*po`fpT_xqC>tws@Cn^ z6m%)HDgqj(T0NUBgAaQQ$=y~;6j!d$sH&$YpSfapS#JuN+ZY*GTE&JNhtg1!YwRbe z#(sHlI8Itus%O8T()2;Q)R;cslw)e~(2Q2Aq7AP}*W#K@XuR74Bd>s?qj>a@` z&)nC@U3$X$5M4IFPkXB;r+|~R6?LdLP&_&VjP@(l>_L0)ggd;X2ZYqLOLY%}R`}!x zFW(Z6C2L>ZLKuL~1?;O|o2OZu&e3>%_}824%fjd-PJHqig;+YeB4#x9-5X#T%T^*l z^t5X}yGwLqO>o?f)FvD|NS;q9!{6g4Q)3%W1=-!9kXA{^e3qa)HSdlqc@%Fc2Z&9%)}H7ViDq;HhXq|q($kWU10(HC} zoqtqeLvqGOUMx57Vy?+Udi?&my%@ZDNJlPm5eO6w0`jO%gL$-zK`R(H@;n*Vu4Ed= zH3Z4_-_*Jk7{H~!@sP~*Kng2Te6&VzZCKlJEP05t?PRmg404yl5M4aq`EX$vrq)4^7} zA18|uGe~5oV7dGObm^#U5DGZEq!9cv>VlhrN?#h*XF5jyEz5$od#IA~BE_b5ORZ+- z%mk{j6$`U_pY^|?s4RVq5^ry*J5|Ho&2xw*TV)#D#E4%7_=~;Yp0cwqoW5NoKf8ed zU>3m8tn=ylxIxv!kGpe!S+4XtSETBq&cmbvuf`FP+td8;(jQ&E;?DrRJ|$p!dmaG< z8y-|00g~YDNLmnLeN0G1?Xniyzr;w!v|6PH+Ktj%q9?!2UY`UAL>jkV5A}O z?!|n;Jar-bFiq;M(JP01mfeX*Y($Gtl3ZgSPj|BwA(C!Sq#tX#n44*gAe?vm$uW$T zpSU|uFME6t5?vMtEv3gvjp~vFP<;x$S2)tQAT{ae3p#$w>Sq(aIteYvw%?<_P;T^f z_`m-_e_qeJn@wW2(g~Tv>e7-`%}vDxYuO$}Mip*F*p_r2cKaf}+Spxj`-;UGNj2^# z1aZH8Um#|a{oQ*&LB((*@$Rc@jhSA))I(kqyYAu%S&5w^;pn$RHJKX@T=?Q7Gqpu- z=xSjPSSe!!WmwF?=EOp-9g&8zFXS6nvyUt-<^JV&t+8}DQlO~%6Doofj}m~rm;Xi$C^o^CI#7T$*d0Dr5<(w=orqJ4VVX3n{T&f!eF!gF$TOpw@oC`DT z^V6-`4T9pV( zSMiJTN5DWb5=SMJU{c}VYJZl;yv z3Q{2YFGcoI1rA3>ZFJIwfl_=g)@TO#HKS7P6<5NwR`x8-l}S~hW^+lST83lHZIm6h@+%s);jrjj7#Q(sUk|Uk76{Q8RBH*Vqj%(oTaG;*#^sUgJK@h zqeEXt#xI=rD}tO29K@}H2;mE-&*7fCi$FV|lbnJ-C`Nc~L=&s2bvKYA1sA))?0A)6bb@q^7f$VS>}K zT~tr<%&Gtib_~DvuaJWd8Jr*kyt4QdezoB^2WQ;@sL<#8*}xPV$NWZn(3FmM;N?6; z>FK;mX;@Wwk0j%)q`fYk6}Cl99(I^i_iW=T$WKv$6HoohoOuTMpC3M;=;I$c*!S?k z$_z3>!8W}?8r#W9k8GkaJ?GdiR@I+g(Sn^!+xpZ{rrl+=?tw}6-wFo0UdvA=s%Wm+ zKHpafOhsi3^c}Ih!9K^&JQX`anfAcUN1<5dTR>Hrf|zOBZe&4@vv)VXDb4%~gwm9a zB$>BfRd}~e*Xd(*59gW7l6-RMIIUkU?P_)y#vLkKj%=K--`tAK|3yvrUZa`C>$QD5 z5WYAFp33=Q@Aq-ENeHijUb>E zgKr3Cz0QY=r`3v|FQ(58#9VJpKH$uN4dH$7xRU3ULh&s|HrA+bh?Wz@h^R{Z@^&9+ z-kB+ziZjAmrC6XuDiZA(vvkpZ+@J`Np)pZu<0TmFTnQk%@mbd?c?iLiC5w8ViRz{V z9J=Sbb_*W_CqpJQ+a9^(S6P@O=mQt>mDWin2l+4=U0)SonDQp5X zcDHRO#5y(3V6M4rMcyC6LRAh)LlL-genjjpdWSTB>F(y%RXrPK!fg%)<#!_?0@|nv zG(nBWx^)+drfr;|xvNSL^fdX;Chw)Uk-U(jHQcUfg(5?`qQ{4f9D^U7u^tAd0^!c8 zd@Iv?YJ;a8u~uF(HN`PNr=0v8DNuNW3)+WD^_1nz1wL(z;5(jGRR)M7cxNB+5lv4_ z>#Png)T4tj8Lp8}Le>cxFHTa@^-nYA`QzB!v%`XmO6bv7B9@f)OhlZ}K{MX7B)m7~RddL*G{j{{s& zPn-NM-4wIi3AJ#r^g|j8zzEh76uP{wC|QY&u!kKEny)umGR;&qe~ix1uT(`4`9S&x zlFfD8tP*x4U41r@VYuW@MEr`xf;*7$-L+sabUTtVRhDcHDljywlmOX^%h6-14Yjdnq1jq$UaIx&E&oh5(#4ioK%`ci|K!Gkg;(%BBV1~H- zAQDv$KXpFCO~88@33uer+>cmVlZPPzC;Sb!tn(H0dNqK5QlNUDMpj;`rmrFNHs=FJ zbGv4D3_twl`R}#7^9XT$OUw%l%zU+j)tb(mlVGVrQ*UBWJt|# zM$u{zX9#{Yk$2-h0J6k0a#8D6u=_aG7cU!+hk}0A!~1bp=YYjk)yRaE&5%cvdKD+N zi(jSwc0IkW)Yy0$LlU9Onlf-ju!dC^4@9?yQJOCbnFXn8>EjHe;}ib7em%GMoC`uT zuY{$3)%x(GlAq<*nifbCqv0)@VR$Tkz8rM(T?Khv*gpR_AR#ul=4Fkgzbxrz|o;v;^Xw` z1G@-BNU!Y=e?of$;p4kYv zhhu0)skccN2&N26oV8f_+*=|A{2~oqLE>VNho40G2;%sKS8C4{m=#Dne-8T z$1GH(w1~qSTf%M@pExHQ1)t4>J-|Go+1Ac)%jXZa{{*0jiMlMDZ&c*7bh##ZO(Rs* zwNc$iMBc&D5)x<`6192_x3s<0tW>o~D40Yv7~An6?G*_8ZJ_cj(P7b1iL(j#M|FU{ zDt>CXkGBJFt=^h5ZkuYG`?sL;Ab>Xv)Mhh22Ug3jNCpjmFyLySqNT$wrFq2@BEfQH zX##b2gBM_Xbv>CS?ABdd{uas6f=|Hxte+H2B&g8(&Y!1PSZDqy-psjr!&+RbD`@A|D$Bp`RjJFX zTa#)p9UY+-kGaF>gElKAocc_W8<(n78Ce)tu?BeLcRABKMfiIAsB*ib$ z1q>+^3;CJ|LpYF9Iqw$0qdqM=4&7;SAS2$6SvezXR0GDr6EcgPe;c26XqKti!dbVV zHAs^G^%;;5X*z8Ju-oDHt}ZNMFxPgH2#!uwZluS&jTKx8(DUS2K?Z*xlhjOBJTXJ< z+fY&?%)VMkl?+ri8G5YrM-@1G@7%smF8c;YuIE$xU%3p*lGIO5*;w1S z4Fk#w>`_A5*w|H#kkqwK*%&g;gPP(3MhW2JV*NjDajp!e6AyVDdfsX8Av3YQOClnL zcm_N|9Bp5w_rx7NrVTa2pN4B4Rmo@rr|2|fFcQR0u<7bgBJKK8#9 zVZW#SWNeSi`slAS0B_FkCxE2ZK*S&E8*##pU1pyOIHkXQ-tR7Yzfbv0_?X;BC5gXU z2v2%9d%Z_7zrPg9`voojyr*4n_Lf=}`_#J5e#qB$l$CrkEfHTkzSO*4d?csm!Y!1f z{rd#?e~exk0hYAX0JTfWQP{sKZ#Ky>gWu86O>3i9dz08sY2Rl)Urt^eJG8$3ZufEv zGj9*1rRRP(VCDH-6LV9A8}58DKPDU3@H-qRSWilP+}*T(cYF@}6?3luu!FG+ml@ar z&R7%Sq7(($6*CNCC&Wc_N*CmQ&^T9sxa)tn#?SkYhsGt}fEvLXQHX@MXmt7OM^~QS zyKO{R*T(A#{F7^1ZkBBaz|8B+Yqvb2?AtSHwW}E`7|tU6Nb~N(ZQk&$`*_|c!=@vL zoE|N0`a*-KtDod?S@`Q?<^%WMyTC*vwo(F5JCe_Zff?V+wO}zmdDo4>AYExr(_f#{ zRzm-a$mIJKzye};3LT`}Ovuy`A9h8KEvIm&;`p0o^FM?4Wfno#g@~uvtBjWWke)N> z6~s{ERaOUoPxg+BWRq)x@5W0yw|J-HzOC%dnqVRkr^cQpUWg5}AT#2hbx%I(R{apO zeo6NX7Jqgk*&E$-`JsZi*`YzqgbFm%Gg~D9ehx@zfLa0WUSVNAk3a2jTvkgjj=!b9 zS^0fmMxBpdqh6Sf8Ren3E}apKgiQ`VY5=NRmc-3n^w;#bYyzCsJ2}+pI$U2}cpe!2(#z zJTRsAQ%`G?hDZ`9WS0CbB&2$8d2DQcV1VKf6vB`iqYTeJkGYSVN{^9oxfiEEBVLRC zQ*SUl&N)qj@y~p!0L??YeWdZI-gh0HxaFioubiW>FFQejPPsJ+WFT3yW#_cy7c2S| z1sDpj&2ls^n1jSLuTKn>J#qCRXJO=UUipdjPsma-1cmov?>A3UBc8Ch85I|J0IOvt zCeH=XGS?NLWtQ%XQCS+#Q-5}P@B9rxc|v<@0{7;$0ziVhiEM*Zt6dc|#p}z=nb9ci zmctqUQ8di2=djUGH3zxOPQMLvkgvl4nOMPN?@adU|JPt1#R85=zpY)bKD-bEjhnC62|Lw^{`JV;7lA z796HqEV6exCkp$`&pueJgxa63q{i98YB#=JpFkQx!FhxT&OUPYQD7-n!cbko>NCtI zPttMqILxVLGe*jh)4NZAL^33i7^#sn_{OdUtDsj(Ih#+rjV4xo6m;BLnf`>oy;8yT z@URZg=dUd7=cU{wd^M0NK<;Cc67`XVc$qpGzRXX>ve8@t=)iuGX&`)Rd*ZIbQxVBF@lC%%HRL$}4J^A4dzt?wU0E@CXYKy0#R zy^(-JQ)oqorZEuYmXsBVH*7aeVkNU9|9U&s=I4Mn%CT)7F+Nf~;IjDC(|bdcTW-0> zn9VjmBrO!>xbw<|8QR6RSC?)szMlm!blBkd5jfGf%R83#Tok{iy)4`6KN75IwWzMP4PSQVmsQPTUjv2!?*54n8yWY{em`f zM&kJP(v#E`MSL-IMq5<7n>#JU%kQR9S!ifmZt~D;+fs)H8fU*jT|jdMx(_gk+PbQE zMD3xyVW@^^0e+M8dr+jw=EqY0T5^}Y5mES8k}bHaXAHxfSBhN1 zvOoE_P|4HzqZ@mh^nW-O2{-|27$`BrZt6$6Rg8N+4lS7$3;L>;Ib4a3X*jJqsv%ZR zsTiPPJU2tWGk>$tg|$^7+Tv3&NW<#Z!0rtj+*!?aK?JP$iOpjI4*A|oq&Q^pt-{PAotC52CYu9z*g*dCdA`Re}_rT%ru+z;W%EM04P>|uk z%at3eZw&N0sH;$o(@3~wKFKDhz23d1)C?TBCZoL_2P;tCHSUg8(Qedt;5pHu;b|(3 zJz@G)!k4|zP)cm9-VOt1p{NMrxH9~&jY~s4zgCza=v zFJEn>vuhfAc8^MPHNF@P{mXYXm(={icjceq7Cj*#%vg7AUw;D$<0};}v*_t`fiUPl z;8|_2^Fdd876Xl>=r1ulJH%hS^TPe$IL_VihH4TNmmxH0*$XIG3@u=LEgPRjXpf7^ z^FB=LxrQG$O7lFqFg&I{>;{|HnsL=$JP|DTwv#SRq5fCcS68NatG+`?ndH*1g1`i(5rM2jy-uaId$nK9nS`_XU4%(Q$qquLq}y5 z!~AHWLJK$W7g2#n!ED0f{{oAjI=Wyfo#@)q333^{0IHdhpqzK;C^3>lYUEz)7(L`( zaBP5=-SM5*WgXLgbmb`BTZrUF--7z%KMaOl`Gvpjoh)1>&7f35?B0i89Ev+?R43cM zOc`U%bPB@QxqDt~dO5DZgcqBh8LtI4U7!_;)}6YMhA5bcK3|uG^{kpx^xE3c6~lW{ zi@1Af0B4D~dFHoIRxI)_L|hL+&xk5}&6z2PNTtX6sjB0L3Y~RtidKJeJR$+UaW@YSy;#FEdreSl=5ZdChJ0yoO^c4w-0qeh zv}R&f&6tnWBUsA_*itfDU;p;- zbajWTYzj0P2e+t3I~CsJh~;e*;wa^^@{siADpZC@a8K~qqhMf0g8r>Wka30HM34nd z?T|-V$uztNTF(pfuQxT0oHQOlFppQfIm=Yc~DKHR*ge96nwBeQU4vO;VY@nE} z-kr8=qD2lN%-R0;1BOS{uXP9kP~0TT3O;AUcYa}SD4^5DI3Ow<@tf-^B*2W5za78zuW)*(vg-8c=vsxo_M=^& z0G0p<4*ZvHFr4G~wrHqj0yC9<7A!nKg}GgweGV=Gc5tPedDM8Ch&UD&Twhuq$9T+9 z)UL63?WMn2cGR#Q!{wfSsi}?)<77*qpWpDc8Z7K2(FR=8eThn$hCpYBg{mVa6;*M6SgHU`)>rkHqnLB;7YUQU zq?CnOx@Vo3JEIDKbM=-Zv3jD1k3=2#0U}a(1Op}I+6lCEu#v1iunmWujSwq&iIhv#_k6ga(Z)q69fHjR|&CpxCidP-46xjL5O; zD1D@uNFsbG!ELC)5%N^Mh7v(V=!eWf`tG(l^JC?j_wkVW!kWl&jML%L-c(0^imk2Q zk3FTP4IOI&WGUK0i9)q;(kH%Uo($j|WUMiR^-j$X_pQn=JAzvyk9Ki`4v(Z=>~vilU@_2{%eQwcw>MO#U2+WoZD-R6&u0^uKmZDDYmYCio>ide4(d z3v^d$)b4_YzWI3c{ovtmy!^BT64Uh5e^mf!=4jjkI+I zq)Dte1!VLWepOk@*My6$N=t~iK9Al2C{*PO;bE%uK@WI2X0t01Ix1tgv>IDd`GE;O zUlL%Nhw8!~|7RitFr34w22R_-fAeKUvKiTxa%JH%9Ehozv5U}4aDh7sR3fB5FGRK# z?C!&|jZ7V*531KFxU<;_*1cq&Ghxj+s_7t6(^GyiFD*@Mh45Cp; zmc)a!$#usKgF#jkXp@4&i>OqYvb%0ZPF10jio-Yh!y96gpjFk#K{2&b_Y&20oy=G* zyq8sxSy{VSuH@~+^R~7>$%(29?F}`vDTOT>Tn==MC!eMBQk#&!)&dj}g+fe!ALX#Snx+ejjyRc$uQE;NGKPtAc>B3OGUp zt!m1_fL&$SASA}>l8M4R)=3n_FYFcS7kY1oC{p?_u-LOQSHuA|`_D3oKX71_UXlmN z4;ysh)qL<~F_nA_vMaqouUs}201SNiBPh)5nv+Nk7U5 zK^tNn$Oj!zxzYV)SIi>fTqHn=ffTP2eFlac5+Bjy=*wj)pLG_O$m0~n2nol~{m6wW zTXh}^M|JH1)4>E7QV>%PRsf;HzD>+1!nd59)&X7*=XD{>o9gAfUlc* z&V=_LatAoheq7-ADu6%z-rS)#yIsHu9#)RKN-ev&mb96Hs`@gp(mhCzfQp_Cf{pe9 ziF04%2utuQ_u78;&)vEJv*9dkGnprrR$KpJAhop*mKK8uubp@qTjqAgzktkPcp&y+ zOU4{P>{&8N9)_)K*fV>~1W%T55P@UQgAgb+nZrAgvI6h|0y&Dts}o>~0&|1c8q7^O zN~rryIKu5u)qk+#Se}>jW&-m7D`~_ZjkLbdMX+o}F{NBZxY;UrF1&d8m}EtPf8GUn z@dDr@=Rpwe_{esc{FgPKY3P$9t`b*hNW+$$4eI?qX7?3okP~Ay$u@rNu9ayYj7G{X@F`ErodM-uB!qotalKV~gCv}K9xIt}kY-d8hv4bQa%uu=2VMJR( z0fG>~cav252t~p(N=KBj0-r5md5z7+k*zho%m?jkH$F>O%o+rau*A3B5C#UM*RIu}=l36KTX zBu26NA5qmnnJ8QkS>h>IGbqtWSLbY%DOXFdt@U#8&TfHHl`>6plnKwNfdixsWJUi^ zAT5pAfvlNc`pG^4d%?)b1>PiP&JH5gf!cItpYIP@6R?ol$J1)(4!YOl)L|{zriWJk zfsM+P^p_Ns3A~A{)tkp91F#Uj>y$CbO;f3-xT9@$P;KDyK zyIk;4Dc{zaa~3#m)`10Mw1p$Rm9R|3C| zb6b;f0pqufKTfSom+&Ga)GT}{!+p1VsK~?s>y}UwI%OFp8nF{sQ?h4UxgjrIt1Q$OLja#%Kfb2jwq9 zUtniBaCHneeJc^Iv|LKNWs-mX2T3sRfj!B( zVmq;Tf7LEJy-w&E|Ln`4i_qG@eyaCNR9q~iv^6!kP)Ixj8s?&m{qj6%a=fKQv#6fC z;ZaJ%2y<}ZvJ@LcO{kv9fw91dK4bt`)Dpo-Wz;ISxzN~k{FV`CtVagEX`!S@OUgK6 zqOhTjD=?%%$f2LU<&ZyUqW&^Cb1$0FXAJDs9oX=3zf;G4a=)z=tNcl`mW(?nQBK$V z9#&3I)g%?g2$NMo43%*=fD5&@#uPWXcVG)0K&GLQrSaYTt%w-9MMA_krLh-b%&@}6SV^`DV@>=I%nyQ@ zA~!+m6@c{#9uR^V&VQP?FTdu`d)r)NQZ@Z%!?uMoyCW|J)R}%_-AITtHnL4vzD!u1 zo;9!yG#D0P(Ev;71lfv&6rf+o>Cw%58rYf}*~D0-j>|190yHCZaMwDN8Xo{C`vZTy zVOWPe?gZ?uiDSsUST?AL`jeWc&y}^&YaUD0`-zd4r=%ET#W@Q!53h-{)TQurt~5sTOR4Gv7_g#!+}9Y{jj z;v+R9*g6$tVQ51Xame5H3=LXUAs-uT$-P(ADZpvY|HZNLXqi=UM)0(J2 zbb8TL#y0w($fvr5_*opf;OlKyFD9>CaxD9UkM6(KNi2iOJ7}Q{SC= zN&(NO?DmJJsA`F~MNpG{ zH?LAEC-o0R1X2?2i5Gx7D5S-j5VwhWe2QoZ?k51PI0R2Qp(ShovH|~Vm zI;3~?^=AL`QqWJk?R!$y_qqo_0Mq(|=!>}-gS>_psVq1?ljZf~o9OG}mir|_W&PWH z1wDamp_=(e;gW7@q$(K|CwlBRL}6ZP_&b#HLa&q})t0saf~W5Er_$M514BYJGZa@v z((K)v1Y&_0VN>TtQrt5X;LZOv;$v&STSA+(%O58rWC|hs9`cBThyJTkz&Gdq#QW!U ztj$WwZVb#ge)$DGhw#?$Am@qW!tB~)RWx@2j()fhPMQ44dd@{%D$QzWZaK*UDmb-w z=tc)|M)}3dQo1b7Syx6^fw3G{*R*1bsW{=*D6bi|8`Yk+>dc-j;3SiMmItzbB2QR}bb_980PWa;6R>F9ReQ~r_9I)1XmL~!} zT8H6cDU&Pibx@4lH!F^tG=|8TKq*ibyC+IQA&vu+=I3(TNJO2H7}i)Mkgy?(t>!VV zWu-;`YTZ=xbOL!a=2-o0^i(Yv zm$04|D@SQEAM}A$?6eUB4eO$ZR{TSv9~DMeDpQRybgEmPqxAzfB}A{?s$wKX<#;QL zT;nfmYzw@{CAv9rh<93)O0VHeGWbJ_$5*CQ-ic3Vx^6>KB^x2;{^umFnF_au2jc`* z4~am1{iY>=3D$(1sQUUSJCv>Jy2*NL5<7&tIS_QKL77xi#Q75rGcr)kz;G>J**WrY z6&^Ekf0pNE1h(pN(fZK%U{ku>|6nr$5oV4rb{ovYn!g8;7vJ=c(o9%$V`k%)hg*}y zLI|TvK)pRq)96>x#afGUf3OzAm9O1~yEb4aN^TJ#sLC?+Lk-I~xp!g6FOcu(B3V!> z4-M#vD0`4|CZH$E&r<8gyx+ku9gv?JhtpxXe$v5aKIMzKwWtoSD*yf!&$$rpK?t{g+ zoD?N3JqeYbi4DJF!8I^bEEyk6@Mh?F{05X#N|ztUnTvSCVLVsz=dD7bSN{98*ae2t zsV3wp-~6zI_%j@FncTS8#5^q%eY=M##pi~64GPL_vT0TO?ULBz&ckMY!RegC@v6m#~Odcx9UJF~#qZxbGkRS4}Fv#J(+=iI3^w zo&-F8hm9^+JUl%Ch1$m;4e0V}*fgk}-42fE7V<&f_eU^WsO>(!eZ&LkzWR;J$c|e50!n3AD*5a=AAf@F`r^8rO+TP84aVFO zi6~la{S&;Zx88EYvnFpfky%hrZR_7-HshMrWDx1fDPrNB0=w4v1&-k8IUpc-k!)v^ z%)MLsBWja#-uHHMIZmeDCz@lXBy;VW-BsZrMo#uropp|FqG|KK7sa`$x-*$^;QliX zqBQnZxsg*pbMcV@WXYGGc=M3S@UGrGNKBGYT9xUTn9#S=UMOnJz=9lli59}0{a#LlpCiaoqw zu5qJF%vp2S03O5^i$B?u>ZyfLxB!n4lNX#4jQ85K!PFVYogNVuDf0|@8hlQ_*f2-k7FQh2%9`fgp?+%>+l@jy&xBV@i%yA$`ALrn zKEq{W3w{Q5){h5u#@59Fw5ZR#D#2CVcykl1=8%@)`rMV# z^**uZ3F4Ug3QY^y8?Wv?N6SS^npmKn_n z5(_oxrfAS*l6+l~KmCA412WtT-%c}{on0R0sfLUTXb?Uf8P>(E6&A`LQQkh^aGQXp|R z(K!!|@-Up4-LTU_{8qIC`R-Z0qMLP`)0dfq=JC}G9Rnac(-2220_LaLj+`o*J@F%t zNuT`rGLtli#3u=BwKNUY3PVouB951L))vY2`sd4s8B&F-UA{adI;;z=KHugI!i~{^ zEAeQREc61dB+?YPkjTQPq~RwN{<~Ir#`yKHjbV5h?sXxcNPO`wPgY}kk(+=Q1$O@ceSGq`ERa|J0m8s3W+%VQ2Zaraz_^d z{z!qf-*5ec@oHJ@~4wifs*EY^Zco`VrM56Q2?Yydr7ij_9K^(}8l{_RTmCrPee>GnW#x930M0x`)5@iVLtKjS|ABGLa3%eya1MFAOpWIAl1IFUM;B zs6haq80#1eNy|(TUGTFLDk^@b|G8L16ZfXPJ83woqtC8hI|glNS^>qcFTh-*b4ICv zJQgsnyaQ-0$STyGfjw!Vu2dk%#!_~JSN8#;S!v=*Fz*s`*-2R_X@ie6PjHA7402&{rnNYIatC<4R`qrUy`)J^(_*LgEM)a%BQLbeWxI(|mC<)#TM2*| z=01^9)~K?GH&c@T@VEc2I*NZ1GlkObJd>UZNfDl*2eP_X`U6fo&q|1|S}T#pCX7y? zIpjs!Z?NBoA}9Ri3+6A#!wwW^oAf|WK3ANo@gHJ9$2P8V^dkpC`7qL(--}t4cW1UN zTQs*Nv4ufM9_%nyuH*);G!)E^+adsW?Vu@2lRx~rE@j3^FpS@cK3xDC@N|a+T@}O5 z`qy2b6zF|(L_G?U|GXbS0fZ*NiqNBa?Hz11RR&t~uayjRqGHRYGeh2Fpf`<@j6v8*S;{!wOfnC;4lOp#z*T19dWBA{T@TI79w# zMvy6B$3T#DpooFS)Jw3jPa$zL1|q0#If+2YS$2Zp4vD8RuCl@#wCImAoR%^scnDR; znA}izvJP-u+3w>?dT`uz=@%BoT5js#wliZq@d)RygueR@?Ob|o5#;FY3kk`vo&Bz3 zW_8jPX+~7ukz6-|_5(y72Ac^9@fzR@O+70jvJz`{!Es>{oyCLiNU9$K(*3n4n>e{Gt>y_(IN2; zcbP0L#OGC*4YO@Fv)mJiuDapW2Pk(0|#cCp`Ggk4+e#P zp(oK4#9Mc)z3kvOU70pJiYOIMJk${-;)-?R(|C=GEe&w&#Fave9OFTB+{b}gL>ku< z9M_CQaGnXC3Xniy<%_XLMPZ)rAtRwmj3YvAr_x_TqD=9V5-o1oD(cvZ9bR*s{B)6A4{!%noLdeG2vy7JZhRhL<|9 z{B?sYnz!?aF2}dta_`@s*IAp$#(*w3<37;cYO(It2w+=3$iCj%sF2r(H4Qn3g#=0} zUY|WEBybI2a8!xHQs9mrQ8g3;O2)@gVTc7JHJp-20fs2Z_c+muUqyxo;fM`Pf67`k zJcLe~rtQIt=+bTxD4hzlJE4k7#5j|cBCh*$MjGv+03 zF0LB`qO*i`^s;aIZxG>ZB&Q^N#QK3T6?C_yF9^tYP$=|iDQ1L!e*`Ml+CaW=hDC}y z_M!r%J4WJ(q5>nr{YludkN<%gri&fS<#kg@K)~F$<$9k0!PXh-Y+?OhaxAc6%l==gN`!eM3KK7Jeu#8ubV|8@KC}8JutB=>#5Ws`w z`HrGdZXSVH<~UW2fYi;X7z1E$+HZ1b-;gvB;wIsz7dCX{Pdu?8sv*6OeWiF76?{>m z+FZx(j}l!ZDud; z2v)4v?Sq)FL{1P^pHK8Fg1n5-p9hU400~Bx*JJSN@vvp= zd6EG?R2M;1p^CMT25nDf(Rgz%6YR)#$cBpobXVbwN2HkcE{4~LfBTh5%GplBIchY} zPa40tSGRkFHgA}f#teHz^#*vVwpn053GgxHvu9g&@e^U|aBujAYM0W%{$<}VZ{p*o z&2?Rq@_y3ATo!fV0SqOQDuQfIEPuN${!|kl+1b8EL$p(RGf86dp{C3qU)<&&_YM>R ztC^xo2Hq?;{!#lccHa9uIJktBX4w8uglh~+!a}EsPMp#4!My19NZ^qlpfb#bHqga9 z7tVB1sv{wln-BW3dgQgypK8D3m*TgXXT0R-QTu_5T3g?o0Dz4%h-L|~Cca2dl6n=Hq;~(eCUMTwW&Hg{gOW{xdaRE_^xf+vFw!)(ytcmh7 zyRICI!`2K{QI?xG(x5NYy@n|2675{MQQa;e+o50mE|Cp|lLp4h*r%Bvek|^(42*ve z<=*eA=S%Xa5CD4HUXaOBOCjA{iKYXbJ8^OP{tDvtrnMTVuFzx{Z|Qq zeKOH!_=MQylr8d{P?T99AS-Z$4C-g3Y~?M=!$=uii~;01>l4iD!0gs`mHD_TX-TI; zNDs?-YsExWU@GfBQtL(?YV`KqO;1+AZ20^K5DlrCv&qU4eslyUi#cg zock`(EQyM2qGh)P=1;XDWb-1>g-(KNK#C&13qb%ZG*OPKa*puDu*+7eGj!DzVaZl? z+gbiTitMQmv^w^yYpR-?MI5=pxNp%6mKs}DSvRn&kGsFkU9PDZ1^sRxV4w796Ly}2 zZFEo1W>-Hgxefd4kU1K^~dLVjM6bu@j>9gMqvCXfU~T&HyHKKVij+=roL7}esCOsqRB&Na&l|aj)mA` zOQv!ei<6ea2rW9K4PK5Y#5`%kx)EO!_Mk40@tN zlqojH>dHPGVx~b@fp_SN{nHczT%(#xVZ|T}2EGSELKWnPWCOU-1sGSC{CO8&S8*-@DJ%4opiLD$!*S1Y^XpuT4xT#N@PRAM;KD!Ntz$hq(pJZnG2eyZ zx1=ijs=`7Rstx=|NR?MwoyisI;iE+y$Q(fTqTc8LUc-fr4Rc(Zt}3VD2P@HM1gI<2 zbj78$7OP)}z%*K(V}EjUp&J~T-YYgBs~v$h*Fq!l2xUm;Ga!fGD@5S2m+ zk1(QMur6m^4?If%Csg`od8X9%n?B9X)3_fFhk83E2f?zdxEz%UNWzQ6jNNFun%KZ_(P`KjvGxIm{LJWb{ z|MpAL43Yo4%$4K+?3U!H3p(QecZD)--Nl4a20(;95u3b#;mB5SsjcvGzJ5I|Jip6$RuJaa^uccwlc#RZ zTVf6SZ}&|bgkb3&BV>W2gu!J81D3$DK4a70f?Py^=z29 zT-g&Tavr+tlT>YeDN0DvcckAhC_c5bi&&FuO^VDc87N3;3*|D^@l@Up^TjO^M(=W0 zLMtP4>{8rFuOM=#6^={moj1B=N~I=bH9;BUfBkk#3PjxK_ITY8YE34OzAHWRgnA?z zQnx>8DtwZ-e9ef-vneRM0u mD3V-w9e?kM3@7>>t-y(f=ZLsUY1b6NV^4YRaAH zSh;~|%&~6IgTr~(B~I5H9o`}lu97_vp@z;+oL9`kJ@9#&)$nXqs0w#3d>qqf)mm24 zGp)ZSVf00i`MLLp&$_bvW-!@Zk5DMXb5IiJQ??H5-@Lde^C3+CAS-|KlCpN zd0`sbf+UobE>FaqoDLdNLS(v@1X1G_(-Q1QgC+^|Zg}kc1m5cVfL$}qM@LLpg;kX^ zrb%<>%l7kM)q=CF?rPc+oS)^%`bS0iwOtuUX%%cwWE&b$>|gPM0n-4R8u$F7U0|ql zyYo3iD(%v!y^#zKxI)_6-fdKjdWG=VET$oOCZ zNBrTfmC(&vOZ)JJUY{88t#@Iq(<`_w-|A!Koou`y2NAq*Z30*X`qI? zg)dg<=sHOxs$mDqt}B4i%eEg!ptSLzQ8Y5Mae#o65t8zVmPa*Y39a=cRG%FxYldK9 z(J9Dw2A+2)ScMdC0B=D$jJpS#rJlj?xUQ1G9OMg zMrASLAB&fEfKY(a|K;#}zbX6X+<7MeA)`J}v-#HQg2{u@m}E_U{k^!}T>}3tZHo;o zQqa3YoAW6BL!05JEt@@*7ST^*w$AOk?51dcUN$G6d z*d*RM6vC`v1shbPg>{t)I>fwzw5f4ib|&JA&Ff$5k-wW6*D!VI`=_37IFaDFE5aki zknB8%PI1)d_7ZR~ftDI?ffZRs8U?Bpyj9~65-y*S05U;_jCr|8csEi;1v=Q7cBtby zUsLnb`jYdr1Cnh@OGbUGLq|ESzB|cp2M`mcSSuiqZ;Ra7JGc4o8b(Z!5OKm;Qych`x#xk-pv1>R(!_uaX6$oo} z9NKat0r^ftyy!KB=_u2|XPs=Ey1Cc0>Gyj*@)Ex=u+IB01FybnrUE=5g72_K8j2Ci zv!iXf^13)j*1Rt;gcr`WbLK8xnq=rL&oZGMkZ*TWKjOlrkc#1;%R)E01EGbLJ`RYw z=6qF=9iGaYuC!py!%)mul(TvF*8{AD7~aPAK!wu~F+t-19Mw(^BI#z!X`I8KZcR?q z6z%z&uX7PJKqnmo;3;x|K1u}oh-`eGf;Tnd^>mGDr}^I)r4iPIYEYxSy--{q_33#p zoHWNF0+JdQ#{-$=_i%vL7paKG_xu5~F>b>Mfp0C)J9T;RMvLXR6wm!LV%`SJwN{r;_K2=^Nh z#IFB?W&RzuTs!3+J`Amjz^pXY+BoEU5@?PhRZ?Uyo(+8?mwWuaGQ%$GO65DLhxjA$ zpMiHHm4e<(hugu*lAHP^{d44GiG)jBnGY-jz+JZW@gUo60{uHh-a-sCT^D=11s{EH z2klGF5cT#nF6n!`$E|>RBQF@H9mMJ^Lpk7uh|t2Mn*BRlK7Z z?es$8$$o0@$G@s&d2gj_do^3ir)zUhXw&hy*=bR5QTvVva4LyN_N%!Pd(20_G2pmu~&c|NRyI6JRiLGPD1`0*r3WFXA>-I@p^3+dXi3pW)46i?MD67{s^Fs0Rha_b3JLDXipAO2; zuhyj}wTWz8nD5Tezm2nfe_VE+U(BPV>y`2K7;(Mf2psx$>PL(ya6oVZ<%E1 z(_pyd1Jmk&x~i{j+l;WybUGHhX{lZ*@%S;UpQE3iQ-Er~R7SbX(waSk{3UxZbfd+58F zTDGx{mBUuC86xrQK<_q!AOQI;Ka}pLoP}BT0;9FF@DP2q>S>aoPNC4VhQ{+T74X@~` zB&v3ep)Cs(1cZeT$2i}7h3g#4gZn7JPe?0P|7xeZ2{p($>Dh2T0()sg0lds_g7@At zO%Zlj&$W<90*%>!)Q~r(vE@vAAoIFyF5ZK?Y(;Sk%8-?(1y{KrxOvfTeL zKr$X?v#dYF=;o+7x0HKsG=~66P-4H9n!o&7U8hXRpC)6(K2IcTAT1D)l*m|xDRQ=# z$vzCBH(=->kG)qbYi@epl|U#5abP?qrw%s7%+%Q;pD&8v1Na!*93<+&RyrOW z<-AXeoXgvx2bkb64YNIJ*Bq=yRLJg9qUsUy)z&&bgs?iX2Rm*cgk8VW>f*WSQ$3=jnAl~70TR|l08SHLK>CfQe5 z?ShkTp+s9wHF+q;L`0X9bMFD1XV*Mre6hsKREINI^(Ik7_0mUZJhYk zqWsLI3!q6X)u{=wMohWSMV3y|dnAHMT#yyaolN%`s9_nb6+VwBJ%_iG%HofJlPNqxVF`cd$0~|Y5uESk%$E=9EDqVk7yx19AN(;GFU zCoYNE{?JV+tVWacwpwkaHm(#6zl-ohs&g^0NZ{@)j)GWiqxl<2QGsrh6bS=GLTF@h z8sK!g)#5=48HBrPeSRM$J|&z`Hx-4&&C{uP^qD|Ea&lc&tZlKjlwn z>MY~Cp)OU8y_`?+T~6$}M}rS?W#59Rmyteg-D^}E)*0l=JoioD0aO*kwVrVvE$#I# z*KT`CAF_Fs;OHt*xn-Ii6LWHu)i22r1t?d33wvl@%I>2Zbx4T7F3gaDF%%Bc#(tsW zpn@EF7_cq_RTi>bqM@P!4Z+R*R5BIEU{cEJ8XJo~6AJ`zaz?7us>E#rZ|D_bBB*JL z#`7X>jba`EW&r^~Ez7`J>cwd)9kb>&*qfP@M8^GpR$@jeoa9IZt;qQ%ss~kQ01)O1 zcXUpF_3}}!i&<$hM|>Z?l)EC<120Zd$PNiA=Zjz#tRgE|$uxf56eU<6dWVq$;RlP6 zg6CpA2b1fTB`N9iAibPFcaXO{H63T#f!3+;Y=i$DlQ|so9m^a_Dlx9g-blBR&;6^- zbD^au2Wg3DXP6PLqA|v`-wa+fAR-P;WhX{738NO1O_vz<7jQvG(+};8*`si!tZ3 zXf<7fqABv!_##>nFMdNef!wH09P3NK@B_BC^WrH3#8nhd9}>l2+STIYd(%tC|MkdV zu;=w($^;rP$A9A$fSr-!|NTj;e~ralwEaV6&LV2;DQyA`h5||YZIYj9#|3t7SRypO{q4QQ)YZ!Tz1c5X**sQcW9Q!gf#CusPZaRt*JIT?Gft! zytuO4$ldvNV-6q&CAun30wuFAFY5?MwWd@xq46K_A|Eo(VtSdNGSQ!V=FPqJ9p2w4-aYQrNw0d5m7qgD(z*Lgo>jH`ijQIcKQ?Y^pe=3uV^SxF@T-LoYfO0d<+Ua-6T01l_xem+dM*u#rY)YjPC3MA5RJ<=_&F*sJpEF1b zhF_b+s#-5D4}*gHw^Bn0nwIYr5 zX)I;O3{9lF!0B>Hdfqtnb{s!=O2`fg{X%PC>Dqp(`2G%^KNLu-ategTBRuGI3I44) znC0(2g!XqH<6ODhJ`ys62&|VUd0?*k`jcokmrE)qIxr8W-b&zO%C^W#FU+IlEYIh7 z7uLT|wi%St6_V* zuKPl-;p7w&myiWa;aq{ld&bvtqEakc-#}qs4b*PLGDuSt5OkqH=5%s;_QmABI3TYC zMJs!S3EVbw(X~FKi~=&EAg)OzjLxmrUX2>ii|IGT{_*vP%2S#UIUsN)q|@~L!$%*Ib})+iP8ajl&u=Ch&m);U_fd5 z(6LuVJs`=G4evGSdfH(1i&gJ*ym7RlnU1*(bhM^IN}*kSrr&7BK@Rv6)dR$IOnury zD`lzyaGOy3kP%3m_w=YmKD^g~Im`I5v94BEqH1{!4eAkFsF0EY;uOqsDh^-wmL|LI zk}o~DQ(V_l1`;SlH{(gp11GkkGtut24F0ZkT?k`$$}c<}8=+m07SRv6QYFkNkOcPE zd3a#XImfz+;`C`;yPRzBQ|crGZM35Eay1POK*C{kh2njR$@K2S>I)=fEv(qRK9=3| z!(^`w7jL_$7;jztOGn%984XhVwp&W7v!OlinUllG+ucaemrmrDs~%a>b>2f4sl)z2 z(glJH4TX*G{)9`cSo^Z_q?fBDvMN~Ob`vgq%ChIpQM2-xZPMCUm4yf!F33u00kLr` z0RQ(^m95pz+>ucehFId5h1De61=fC(xu5WK4cqgGPbH0N`}0?sIMoe#bk(kS!f(m* z3d&+L$l4KD3V^*t+$Z;2WZETMG%eqgPz+EO2E1f#cSLm@9I#9nN-kTRF=pkqqGj^p+hBPcupeoNPO`OfcPSltF#${BWJ*B*%h1gdN4>+nMUR>({dXM?xBW8K z9$ef6@sQ=Lm0^P3pi@Xa1vNG4j*aAm?cWAW1h~QA;+~~IP5e*iQh349gAgn}A1;6N z5l^%p$7c37GQ($H2)-d?0OQBFC1JqU6JVVang9`}k2$+~-}gZP@L-73{eO3##5fRg z05dB)@O8f$5oAgG?ldPP4drlnAZ%wUa%j>n z_gJRvV0L1?nx|gw_G;Sp(wR-Q@7iVVx>Zg5_T{eqI>F=wznEay0Vcrx4j{-y6~0je zdak{hK>Yn)TmxWhZ|eGuX}#Rg))bPE`ts4c9px~lK@jaCnzN?i6*{xLYS0=9i=O8g zB0twh5pY*$4s^V(2E2YU70ls2Q1f9xDXtK(MY4Rga|6)-e*W%lM22JsTF|oQvqxbk zT~d8@5J5qSg!^?9jI3`k%G)YUi$C_Yd3^h5c-Pv$*H?_u76hHJlMeH6d4F0t%AJ_8FDi=a)fFXWVw^r8CTVW&2wAM@ zFN#U(rJiS4&}^9Sn-69iG)=7w*hR9ut(;K9#G*T!+<#h9nUDfin|G}D0Dn*{_74F$ zCEaIT?@!Me9(BRZcV5Wt!Dq_AT|_8AI=Ye~Jibpq|U5eWiTbSEsh zm)!o|HLowE6syCtp0mZU$ti}EXB@*?Tz&|=HUiK*5C6f`=JgHI?t=yc$|cws=3(%? z&OT@}FxvL^QC_sy!8VGsI1*D4MQfR%MzIi5dQ(x3oQ;;hmnzX7>x@1`j_K?JOwr#Ym|4OXeyLC;YGNvzFfhp zNiR3LMZkcv7Z5flQ*=a$L|k!5aQt6~F%uha=9T ziv^4XHwxmVF6n6*bX?S+YwZ8<+j9tuD+(a&0Y|$jT0n;$0(rcbA@K8*I$}CQ@^!@x zFkv`xl?tWS(*a`wN_c&#^|zyiOgw$88($~R|M1zLt1eF>E}TrG)U_mWsKTCbC)(l5hUv6JhYA3UQDV5x$4xR^Wi2fXE z@b;Q&iU^Ape0h!C@jH|5&Zf=v()bTGhmLGzR|yHo#X(K-;8beO&`+foYZ!}x*ofkC zEeNNbD^PqZOrAGY*lkYFHu&4W6p`~M75EfS+bY!oy$Dg>5!JeR2#RnQ>1c^%I<|%< z)mjxIlILpB_^dUDqkKe{WVOm^cqB^lI#>tZx8t&XLYcY<-(=>Mj8gA z*Y4Kqu8lx(xHU;6{!&n&%xect4ft62Tx6g?O+|E;P<6SYGbTHS74DOte`;ALdP$i6 zlx_|J7TKI{1o*Qr&cJ(IJfgVlY56X#V^AIqy02r;$gq9s>Rkmeet^?mtbcKH52dj7 zY`J44m8A$7PTfGy&Zknf&N~Q{qRiJHgfW+{CVR@?2~_M-zU{P_fk+yO%}z-!srQ;D z1Uv^zno%^H^%`IAqb1hCz7+8zDYK|XT{tiTOjT_vKV))d`JIl1>q(FPc4;{BLm_4u z7rTaJw@Kd-Q(ImYm9Yq8BjdD;o9escY)EdA>5^JnbvbS_vD41bn`a0sSaOamvU8=s zkiQ&5>DF|LK{oZVMTP__AuJ_Sd1p9qNkHT*C*|uQX3b!U!^WFh`Gc@N8xOvUwsaQ* zJm6!K@L3sxZ=xgTrBxlim6Hg@-OLmhQ&9C6S>q10<*kgL#`9P!rboxs)qe>sZ7Nt& z&njdQbmF&vCewlm;!_Wbchn zOE%R;?{~QuX}fKg_J)x(-NX6=Bgz5+5zGf#({kL|KEGL_*lRqk^h>g6Jgt(ZnO6g? zjHJw>bOL*4Z-IOw331mU)EyWii}d>2HT1|?tVu{MI^_j2Qnl-=C811*bISs=OA3?J zv_01ss6)n7U82T!AZ^IpR<5mA=f8(AIL`RoOzo4HIVU$h2|;m*>i%-ltrNun##-ML znNe(-p`dcXjk4iSPo?-Bmluyy26SywaT%2EhMOy&g8R zoouwtv+nNyY@_SGId3l!!gW>~bUcsAJlg!K0I8J;=<{88LqpNG+Z)OSn4s&Y2ogio z%bY|B&byqH&)_Fagl-#PZ56x$MAbN3ka>}KMMz}JEH+oI)N+3ZEAfs!AtOKsK&Cpl z|IDgo9{*D^ECSe-K3UVY$QbpscL^##@|lYy&7k+0v(`Nm-Z47i=0+G0%iFKQ&P=J2 zny1#t(l_Qp|Anc|uok?nQ22&+f8wur!x*ld4_@PeQ8gZxA1LZ3{K4@Cw3609mJ}Rl zP^#lC{#Xoi@N8fGFvcA^TK?tx>&pjUK-iEO1~m0aGJhSe^C#p)5o6PF*8%2 zIIq4?<2do}6gpWxpQjB5;KSVfjb3G(!*ZC18_k-R1eLeZ-YM4mxWL=yat#cH&4$R< zyMPvxWjD*2l39~wT}2bBN|b9u#tc!4ga~;JMLP%**ohjO2rnI~W2eQ{Z9;F1{bIE^ z*POZewobf@HOr#0hCon8i2Ip%?fAay{wKwM(EkQv7;FjnAKYpxI2JG>2rJ9~*q2#Y zIRDr6tXO+2hNTs`=Y;AVd~vS_C;$OC0jT|-%`Yy{jPwnKAS+UT$3(SW!=%xC1YmGs z7d}<}TpN*fwIXX*@mbnxG5%xq@oK8<6;=LSDg3r_^3SsTyXEWVgt?;0?)Q(tzY+iU zk?}vgs<8CgM{4U8>I|S!d)tZ8(96q4>&lYF(2dGAHIx;Y1<+;80NQQgs%_r=b#g_p zp}+IZiLDo>XtwS&jY@W{)@tSWhPA4+^@mJBQ#xo>WxH(UYCo}hqver5<)oVzk58K7 z!D^^K>h`$=uWr}O&jOr9TfcWFHpoXlr`NV~YRs-T-hNV#wC<~ci@UKf`|3`jTD{ZYp)~tbx(l*3DQWcYbMGU<=Pl z_g7}+sB!#Pu$lz)hUjQ_nLMgid>jq)-4nK7DA84au?<6oaCU`;4sxQ?Vm(wLZ<1HP zp9##JS!Wn>Nz7l)X0K%Vjx%aSz)|T_fhCY~cs|G5BRGv9E2=k>qoFp2(v5(A~2G*u8?fmE!QZ6Jy z0iyqIFon2%mOz0M*WEEL&0s?Tyn=-}0cI23S$TuBA50UXuX?cwd!8ji*CD{csp+`$B8*j@&GegT6~Pn3;cn}q`W!p_k!MIMcoC1fW!w>vD7j0h>`s;wpwb!nGeUK02RfLKteWhDX7KRu zgn&k1MScs6I;(5jj)7JTJwcA)LPZhS+8vAfmJPADF6l}hxeZr|mcU50P9x|qV31Nv8q1kxa3~LJHf8J8+qdGmeMP!+9Nj1{>^UG>&m(sSl%5? z@+c=?yJ5>Rcjt;ya`!hmj;EcgkYG)x<9G)!%jU9CAtXc0$K3$qP1!6OiJ4C>Ni;N^ z*>0+SbwD=6Ifid&2^ifnc>CIH0056p$ZSJZ=yhnfMj6TkNPHroji3t~dXO8Bf`_0G zw<-J99Q`8-n%N-U3$ieTqX-uk7t=@*(#xF)vkbbW21t~;J^DK4$ZJp29eW$;Kxwnf zzN^O)rt1lWB9#maAC;EmHbNoORM<1ZkSyuX;FOgsM*E+P;UVv%6~GV^762CMg@{nF zAP=TzLL|aORzB}XQT`9CV^pD6B~q6;ZFiBWGiNrAJaV*khmje&Sm!>+<_tj?s^7dL zV4u;x{S9atDpph37HiWCpTdB8Mi^tO?3wP_fHKZ6Vro#DzMGqW%f&wN=4l==0b#`b z7xu*l>8IVtk{Daa34Y?LlwnUJtkPQT)lqg7C`|f+T9bbFK%+>ZnUk zs|i#zZWjqUoH%GM1vC{w3hBiQ4zlq+(OjyAY;=rcL;%N~a%qi`T)q0Itjo-u3^-Sq z9+K`6CY8yjA|w!@F{};P`gWwB-o6I{h5Am{hI`Kfxx*%-;VPs~7a%^!C*?5Wn|nXj zFRDL@FPo7P83d+l0o)Vde2;6vO$THgVKd4JF4tg*1Fs^48H_G6n#dZ@Mj2UMi!3tt z=Pc!;C~S)Ve4;KanpF`1J=q zn)wN|InC6E?3C|pF`MEnPIhnIm`MQGpUfu0={_N4-EWE>1|ad6W;s`3GSxxx!d8lH zp_oKbvh=O%@Xe0sVT1~Cg6IaUU6!EeILwE8X^HKXiq4;6S*df*c4|2K*abUvN4MMg zAlS8^2-BTd(>g}ja{)1z_RT6Ab+Kl=-cfP(DAORQI@!sj2WY2J#GWHSA3g&$a%Ek?e31UuH@V>;-T?kDjYO{8}#{Ma%i zLLYWnFF7T6#wjovR%WSuybZt%)N~-LW3*duSaG_wC@KmLaxp9tc=AYU$ZM}gcIp`y zo~OF{u1Lz;KMG?REO<3DVl0AZ500;cRn2orjh+R00&?X#fyma&w{Tb%lf`j#Aq*QK zuiTN;Fo3@xqgtXT@xxPmy1<@tWq!u-I2g@D zSfJ9`16b1k(>>$xxX@Nd;G>=#sOtLczNroZqs1SkN)WG|vy`eaHT${BHKs5MDUiSo z{2p~8JEHayXG+6h@MlIhds26Uv~+TmY&z{`ih|A6=sW2M!6O4vS?D?h^(b;htYnuV z-j)ENM`=C!g8o$;p_{h-)b$kIg~s0a8Ad>c0PwN5w>rM1GhP!BBcG=pF7>Ta*{@7j z?!GAWwJWkKJ>A@na4G^3;_An4#oFu(O1v-v7BYm|R`@d_JQ*LG_ZE> zbP3Go?*Y(q6=TDiv>$G_FO++r84#B6fH`5MhRTVlr3PS(ZrchGK?kYUm$A%6RSggy z0`NCPHbuorg$cQ=R5d?ICHqtPWHK%2W@r4AWo-Ck*VnVW5UDhFpwX$LOIfEgeN`9b zwq6@gE4`?!a}I3biihr9jsPPNWb%Bh*`)xnTG2VTqFlE=s7%yUHY;>tRR4wKX~rU4 zr^nfJ4pcWooN^{wH%8#rwQCAbEnn4P0XT?|&*-j4jj}QY+f(0F>30a5jqGFAyN>UU zZDR}b!b{ysXY`aX4#P_DQq`Iv6OV-a%F@dwAlZQOmYuRN$@lJp1VK-6{ipv#?jYJi z&QQ6_VQ4mu2?zKT#*7Z9HKo^~2x5@m3u4vRTCd z!$SJ8yTF`Olfat{Cl$Udp?(gVYy{XW5c$s+h$E#YDv~2|bsPExqe1ap5J7u6v!AVW z8HAT*)pPQYN(S}`AK~zGvtv8nnqcUQs_hgWzYmi_Nr)8DhxA6Fb_by8Z2Ep2e)oIq zrM+upQoGekIxUR^?(HiwCOi=6fwxuzWh=b%25h!Hqos&lE? zMtsEwqjgh{|120|rL~c{Rv)LC2UjwNF2UX%w#th}DV>s%UPuyHrxV^O&eyQtigUoxO9Hm(G5HZC3$=bWm zf}5|so=N}krd>x4it&sM_0k5rP943+{KxajA0VEIf|-`tAE1VB=YY$oC8lJ5v0ij0 zT0}5io?$4sbJt8;xf)4F1>Dz|YF=!)A+G!m#2AyVNZ>6qyEP6;>Uol4cCb1DS8}~% zTy)Qh?mqMp=cg*ZYRY><5^rQsBFv8Q^b$e8gtFW+7~%0c%#*8>dt0bL)emlqHT?+0 z+0RjMx8{f};suf_H{JhC+U~;Ous%Ldz_$~^=dh-BQ&rWzGp)L)kQcB{YS9$UC_7xxX`VW^|BTw0jDur(91_3!*C)+Jzp@w$WH6KAi z=vRC29!d;~SnjoYiV7^7*3;~uASX%X!5$+tn^SzF?M{#WX?pQp2+oe@>@+;`!oN+5toW5?D9Xzl)L zXzyMQ+3D$XyWaTy^X+{F_&um>@AL5nd8*vU@H(WG_HGYu@pEtU@vyVM{Gunc*3)gb zePsh{Dqn58bN%D%K#z7}?8?u|rFQa#H{Ja(rq4j+k_V_jpKb_bDG0Zp0iLqa0YBHM zCF<@&z7A0@fe|6wBysHiKH2!)((C(iU}aJWVZZKm6G?s+Q4oTVD?prISC$v4h!zfi z-S%=p)*5Cc-mbsr9%!6Ef)wng8pAoiRVi;0U`<$z=MaNEV>c7wGnLzG>vc(I*BkCM zfPla1y9Q9I@tV#3+4^q&0*h@@y5n&+NkDzjVPIC?@xqe%%F#)ec`If9YRIY%fuR*% zr=fL~AYUE%#&K9@3}_eKWDvF0LeAs#b_|J^pdpMAaV|Z z+Dhn?rGh5n1Vy0lUI3-@yEp7iqX6NbOLy@Ml?QZsIw#Ts+k&__j<1!W3PfU6@jDJv zqRpU1n7UD2jMoz4jC+>;vB!2IErF?5zq$1QZNDK60#z14DtJir{z#6U(pJ`J2((($ z=NsYGMvOs9;Igb*fvg@@#Leu~^Nw_fsT4rjCF5USxgcwy^_Vu#kNA{(6r?fhid0wb z3IWisi%J#Kj>RwKJG@Kr63&?I4osgOB5B4!5fsFVgGMY6IC^tTA_@Z8LV^R0%B5|* za;7048TymJ%H`k3AyVb-iW`=iwKZa6VM~ygMj(0~z$Y~58K3Mb!@x)%33aK$STn~D z#Bv%rGW=nQ9LdNDN0+tWoJJo~L>)-&P69M&KnN~qFbF$?V*HiW!8L)QcJuu5wHo0Y zxntataVAN|yR)nl7j4&j7K~cS06&<}|$)qTapEX8(F*`4!24EhVbMn@ct;UIlj{fF0q& z-QcMRucL~u0xqu-cKXTPUF#0VOfjvPg6)gGbY|Nxqx|MG=9wrzP$q@oNPf1ISJjAy zOSsr%j+1-G(_NQ|a}YP!yjje~69*nnf{QyGv4(%YxDz z$ZRSX5uo9=3_$yEd&HDJ9102Yo)W1A5ZCP2XGARLc^dnjsXQs#f=d$&Py!f=&&bL1 zXZt&HH8rJvi%0vN61K|B4YiSR2bQRG8?&?&lU;*m$ws_yKJQWlDdsIHTln)=C!;5e zl8R7i&yzMqGmq}m$)js`74w=@Xhm_L1O4;N`nfMI}~qYv4OdH=1NX z;zD{;EBe4%ucVWD4hNg&dL$p^G{wf6ACJ2Uc>Mn^&8aE>Y5_^buc$#R z;)1=&a3zp+r&x%i21(kZB!PUq+nON`1xKh3Pav&cLu|?How?BbHA>*91!ldY%`rde z{tq!EL+usFWyEBHROTfy=F|8NXiBXR111941!#uXQ#;b2P@u@C;qn%}Bscdarhybz zW{b2IrVsFlEzilEvtBALrJtc8!#Yzhh=V~*hZ-}$JvDkmgT^)d(n&tCB?l|Mrd}-F zV7hvP4*1+iI9)d|iOGeP_61VAhOgO{q(}>N4R~vbQq;8qxX~BN5JrT-Fxw9e12 zBm`4Y?Sxa`aW^jLg%c5KVE?F#tf?~y;D}2x;|{${^$mm+LqB1xq~dZR;p&=2m3X_$F~$iQI&x2 z+6LXpKN6125;@drxDs|)}VY_K?4t;7iJl8;`@dvEscpfdkwdk zm=o~h`Chx*u`~Pw?jGXd%lXT;Jf%7KURNRlvl515Oeb$m^dAD0-X9MK4w{gqTU9^u zNw!zl+DK2tXn}o}E)N>zPyPUof7Y^ekF%x(G(FJ<$0LlTJ=8Ka))U8m#~NOBat170 z?JlhTlFE(AZ)nyjppzMnV*PfeOcC85)2lHWeH%f?K4W@iZw$|(Fhj(PdI#;i77J}* zRaHs+5<#~L?~vquRIz0su3T6hapjABE~cJqoS3AXy0u7ZGKq!2ZspPnzYMrnvuXQgjHP&i;cJx}AG$hT86+adZ26cQtdT>ZgDoC>4U& zBg&8ifq*>SmC=pdNplM5>9u<;rc0a6n);fPm;WHJ!fn2O&c^&*+pIXe_-)Wtn@;!h z(NR-VzM-2RU6bEl>s%Ic*{=OPT~#SFA-S^PtfZ8`i)FsgI7N; zImiLXj+He;Y{zTyZm4E)ybxDMD*Ybp zeXF34?hVFT%8TVUYIc=zVsXCQnwJar0Y))?1MK+q7~)mS6BcHk%(b9(y+Yx6T=lcg zSjY^O^1N0F^SAUe{fh)*e#>#x545lTb4*vi`dlJhp?z`aj>A{=O#+ZN`k{pw04qS{ zE>}Xep`YTopZbD3C2;+(_d3WdxB0L40%7I)pXD_ZJInuGUTaL$Y_h{`z0iDus*y%` z0)sNZu!46;d%1~XI-SJJHb`)MeI*c+P2f|cXA-7c$BHO=`*rBi{(mDxriF-<~a#HtnTh7-u>l0FMf zG}}`x%9AR0ozY4K=zXX8dU7}^K2rYnt4qw1`xP(J!wq2Np)Xx%I!=UR?zr*fIh zn0aN(Kk_c1K1mAM+f4&hqg`AbG=%E}T-Md5_-{Yn=IT%G-%Oc%4jI2n$AE>g)A;4F z68xW^79Lj~{ZkIpUK!BTP!yc6Aw|n+z&n)8XGc`ay=|m&TUaP0icn@r*Z+tK`x_UZ z!jrB*h}cY}A6!M!$t8%@3|YF4A$e=fQwmFPL4QWEg)n7?c`yUO{>3pi5f(!$f>U8X z*16ZhGRHkIP7T8BqKm2=Wb=DCWRY(L%!^!u!5P{^{)I&>{LRhGc^Hd(Kc@j_bE4i5 zZPUGMRp)O#WK4WnOyfgu^3wdvkP0m)in2keME@v#3oAnL&w-YGr17NmPSW#UGyc0wIpAK{2n=TQk)O{1t?j0FE2mGpLjxybY?#!~kJySs?xrK$-bcCoYl2Fy4^yJ#eCu*NAn1;Czji9^d zzZ~)kR2%Z}XIu@g15tGKZkg|U@Ce1kwvjNwiRCg3wC@8AYE?R0D5E?vzI*2IjRaOU4@Z- zVQ^??AJ?Q?r&Pk?ZCW5c8k=?3zbl}>gk1UL#xJGJVq+|$kJ4EUO4^g{W{MVpP{Oyd z{L2b}6g8l^O=d&TtKXp{voSz6tM!4VT4&`!GS{+U zv79g@D{1u_Qj;IAQTN8WnNkB{ zah;)M#<1|xQuVnqxy^ALnJ14mM9LL#>VV0Z9XjRxZ%bCaU6)x!6lFckYf?q^>#ZwA zG|4$HltRw&O2_=^_2R2?LcALi{)2)crou2PG6ssJyh66hfitHDQ3J++Hz;{;doo_4 zTIqhH<|N!q)G`~DeP(JeCw>3`JIh$70k4cv{Mx94Mj5Zf< z>R^t3NHR!(>#t0n&+0Ak579_a0a=eV5;IXLI!Vv1`hZO$Hs z#YmmHkB<~*NF4M0a$8xKVl|-TXSC>2!4$+pIl=h z;Wu30mGNtF0RGqQ#1FUTa|TReBNTF~pfoTAFmq}>JTMM`m6hp#87QuFc49Z#6MTDn zg<{V@2Z$;odi{bOG7qz0Z5=d*JleDe5m9flW;i#DR}%-X0e~HG%aSFlisU=jQNg%S zY)RRQ3XP{blE@@9lUw01VLD-nz+KuyK{oh&I1Gm};YsE&0wvWXM6y*vW|io`Qvi}T zT;M7a2+f|EA>F1~RSHr16D7~S1`%(mV1B(yS${RYCt52+wF2x|S!tUpOHA7^bqphI zKlc<;I6#Y#dEHOD=$KK%?{5O6a5B&vgrd@)Fqn8%2v%W|4D@_z>>9x6f|>$!iB@oqP6$>2!Z4zufww>P zu;?67!GJ&_3NLgr6HW{(v>4iJ+x{pF1!Qi>F9Vb;h$OERv#$g?H05_$=B9Ij|5z6kd z6%rCs)~|3RkwS728d7&+FDy{Z6*vkA&K~AlVED?VFjdcfobg?qS5S{AowhHb5{!AVmID5Am)L1K8hw?7b;>7$1CAVBdjxs1qn}$k-4F z-5ga{#AO=4-Y8qK4Iqox*+CFP>tH2tjUa;=e6a4eA-wqQ*h{)5ZItQ)yW%=+(iAnV z+<({lp8}ZaQxssa0O~$J+W?k8yaW~!^i^2w3NU?Wz9Q^xw13L4K!7|U+T8sJJy{g# zhV*J05ZX8+Ry|ZQ9D|=9eQ0BlHTVdUC6Mr5s6nt#1~Qn;>{C%NK?_wl5sb;12>ffc ze;|~C1soIc`DqiUbe%Bvn#QgTTR`!zbL_LBL7Xmv8gq`4&;&GB`@hm+EfTcR;k{II zA|nz*=pQ*|%b>oH%mDZSwZ9CcWoA^KbhFD)0rrU_+_RBl0kNm~e@+#oSWTa8$o$RH zz^M%_iMfzu)Ane=4oLvWpO$rmBy76Af^e6 zi=J_cO_cJG@7iY>lGKF?`Eus0F9(bBf|J5?kWbm9%0-CypaEF7dQDJ1tsa@?QdGg_ z;lB60ByO$qeVp?L$<58lEqdayE6W^V%8%YT^#tr_DD|qKGnC*0qC7$7B8)#39?x!4 zmSpKlQ5no1b;zwE?39HbDdyEnO@t}O@>yi>-F13alYO4$lBV64YrcA>p7DHnX3w_! zwHQV@@ioDqXn-%sxYgUx-#R`%AIHywjV~(9dDkz-fZ|iUU!FMzXj(J0RVv0)2Q2x z?M+S2*W&?R?f2vR){mZ#%g0_V2SJY4-$#a;@2m69N&$4^&}(pTWIED!;OA&arqo71Zy~+ zo3tN}TJF4Pv5_W)WLQgwJd^x}+LIW zXEbi#2!JFfrlZE!xlcl&Jw_h~WGphs#8WZs-!NUH5sPN-p4NrgIAKwb?j$*br^g3Z z3oP`n&SU@;0NP&(? z3T$XAEfOs|>7(zAE<~hz*IdST#aF_R}?DBQ7bKT?P z>gMA%=t3yGGb~hd zvpzs9-jqPk*?|Rd(_-6y7i3MJCW^HZ9Ct@J@x#`4i4ralci44O!AU-$BcmJxIM&Gm zLWFGJWsT22MyZ3EH>d9+T=ZXHpDsxFZ0T6u-b?6a;l>^G*sGv9?X?Ld?5E?`o87Ch zr&V{1*EQQa&uK0+kx^!tt$aDq?L!l5i@{+`w$x^qaB9z>xs|Egu_}ZAd%PWYGLGe_ z6K8b@A^TUNfnm&4kXWg9Tva?3&^{kwJg9SM6{9z>qb@%Yx8Od)mp9Wc)Sjy(^@P=H zK*EiU>0N9ztvYUyb{Z^AtY_^?bd8Q9hI~z;qr;SHD10~_aIj6$!JB%9j;aHH=ID#z zpd)22XR)a~e5>1bhRhf?&ei4}+X(HMTNya>e+ql&;L4h=?|))D6Wf^BwmHGXwlT3z zY$uZw+jcUsZQHhuH`jeV?_1CP`{!46>YQEOyZ70(y7%s`)oXpeEcHkI&-xl4Gl6-~19Mcs?VGKTR3Ezf zjf_Tr3GBB(0(H(>_sEi?Q0;)y&V}o9LMeg^fb+!plPs>Ej;3Nhl3$wrLNMWIB_BaT z9vlusGp89$n4xENcFP_ufsb1PPa;Xn8Aj? z$_p#Md1xYw5w*`v%1vU-ZiU5cEc*EgtMJZiEdOa#{;-)LDW9*uCmn=K)HaRN50du` zfb6p%bcr`2aB4|7(%iKN&~tgydA=M`pay)NbZ!FN?n!C%Hi<#JT<^!nKihrWZ{M5r z&S~F9M^CqSC-iiYwuck09|hWdUSBSDZy7rNdOwqwf7&;_ex<3WHPJtxM@1T(t8IN%HVtJlLnWdL5jr@6FUCzFby)zFc!<1&iH3Fk16a zq(obc*VeX9UVUP32-H`eJ>{mBg1FZnxJL>k4*&zJ8#=MS=Hseoo1p z;^%|=!Pdn~-M^tDJpAI#PketFrpHJgJ15C+Eqd++@l%)}`9he6xa0@931lYiLYUu_ zinAJQHP{m8YL@GW9$}Z#Yi;}ic+2`_>|GA?k4_*IYG)KS@*7-Wd!i@h1aOc%6aT=dsumeVxO>9-$XH60mp8yW z|0Q0u_@*`Wo5wgTW>x$s4#i;}I%tTXFd!%U&~*q^uPI7WLOfBGbVgnnfHX^-mn}gU zOD@zDRV+hl{N22G)YT)}x%)Ur0?Pj>DDyO1MEDuJdR_8oNFv;a9bA5_?!jz$2Zh+r%mZm<;`t)0JS7UTtnAIxTDXIGCin*+c z7E~K}gL5d3e;>QMW)f-53)}lQg)?8ZZ<$NS*Y+}J&2Ts5D@H=ofO4ETQ#6O=zE}st zq2^;N1ep>mbpKRTo{nGoL@r(x)@OxP&Qe4z;zY&NCA(G-kV=z_U4koki2tup1RWMW zAF)n2Hh(;`!@8s5-l?%;b{1i3I3p90E50``&+c`aT@FinmWt=V|D3M7f}JkT((27G zHJ*pppbH>>@r2_~W*1*e_uRYi1ja`0T5Z)Of8macMU|ESrgby8B8&FD00@JVt<22} zV%1dF(wr{b-#`$RIwNyJQaw9*Op>e0z2Of^eLr1n?h>Uws?5$*IC_pS>r$S@h>{jI z4^!)q+s}*8dfXVMvIRUeqD-*v65m`T_T}y9h~u5Ka6q=B zeTJ97hTC@H&uo0s3=UmRVK8C|rCTcyO*l4KPE%e+Q&Uxss1j^l<=S&_d9Fih#9d0p z-3Ea2jg8GIHq9?%ir55t<~)*)0rT69W{kMpd4U!7(y@sZ_H=x7YqlUcKhF2@%3wD9 zy5|RGFCOXS=+zC~8wuTAq&byicU+>_%q9@f^}7dDOOq&pY%!h=`YvA=F9fdAG!cD` z8wrhn&O5&n1%a&ZEk(|6S)LtbE;Okq1LPDwpf-S>sTUQA#HR9czw8^t2s-ynCEqs2 zkk{wg)H-TFIwL3*7cXpwfgY(3F2A`aB%H*1P zb4FzxU*A@xs0a}MqWD#B0WOdG?qAhLsQXAcP+oLQrRe3L6N4rwJ)PL7vMTJX`4b^B z-?1DFnQP*MN~{&v{<2DMy}Du7VW3^vPafB9m;7b4{@g`RuQkoqsAMgop+Nn~Y{eG0 zYCGAY?)(FCeBZ3koWTeFsa_UPHY*R5=g~<$EseX@mDa_9QIJn_+-1{NKbR1tJih3O zDlmzsm8m%rF`8l4$-7KUVc1HIU(65h1h$|@pyIQX9pmJrxO83EP1!QDB%QRc)h9+w z&1nolDUCu33%dz^SqhYB{?RDwoE{ZquV4N{Q1`C4}ci zwOvfS5;*|}X5pmq7Tg60@laA*!{=37oQ9~ER3C!C62<5QLCK|b{zNMe|{&yminKx%2M@ z3LJC4&zQ%`VByNod$a1-I8Hic8XZa|1OKINQNW5)3P$L~v9UH_%Z9K%wUi%;G_~^M zw)2Bo#o=vBc}wQJw>4{{&3&5g5NzM1y-j>C5UJm2*Q}q**o-pV+sP%DS5?1t0~mu~ z*}psJyP_pWd2xV?(&E99mBi=pyOcg@KJ5=&ALT`~SCh^Cg)hCmbdwnHW@Y`?_H47J zCa+`qypj+0uFx%j^IKGST`wu;Xu&T|K>)345#iSl>fI3IoJCrZ}LKF^dX* z*S!80j=Ti|DO&j-`qkf>j`dF5!6TEt=~S4N(dkr=^M5iQYLW?8Ytir-NDTYs*Q!!t zqN_Ibo=*0{UdeAx35}jV!AK%sHUEib|Lx>xVqo*1xb{yA5C~8fjz5#2SU@cq5I8Un zHm-j?Gt8XqZ2y&is5u&~!-JA>`<>?G|JUAQau+=eANp$kIbx)`$Y?;@XQ;rd|FEZ{cnP{jT z>aXwMQ)Uu@ONKXaxktZ2g|{BC9Sz9ft{}Hhd~vYOL4OEgNs1#pkbXd?G2R8HVv7jV z!KXU9iX#v!T^wSo4L-pD?6A7}aJlPmf-7O#{5(S4W?;zecyqScdg;SeziYy)Oi4v9 z8i&g(1R;H!yd)VyMqWbxi?uD@r7}ZhU0Hk^SZ#4PrdN*k zhol_sxJB5dC6L3oD3Qxxm@tDm_?pat<;vc9553WMk&JYgjZsU`%U@(gf4|F`+6l%2 zB%W%^KSKSlVO6R-KzRtMTsx&N^l!5u`;<*2@-y!|}n^MNWbIc;NXgmx` zLP+Hdf)ven0BF{Jg+G-twMV5RIff#X(7Yox&!m2GmIe3Wnm890%+E;@=E6AW#MZ}` zKy#0v+6y-@2M!f#!lezX46=BI;0iRLZ4gy$c$OcHO>zL9PdBS$#OV8eVDxpoe%zmi z=(Rs?&52+1_cW_^EGlgHFCV^4Xf1hG5@v`Iq@M(^12BvQ7J-J_kH6p3>3F>=3FGg5 zva@oc{QTju#OC4{Lq(KF-|3a@Rgq> zv=4xd0q`rT`QU(t#D` zUN6ruwqL+T)nB>noY_Q!xtHU&WoXyYd5{S>UC8U~V0jB-cOIk+$+$P<-d5a_wJY(d zXjM)myhuA|Xc`y|jeNocvG2FZSD4Klnl^~80_pRZ?0-UJOC>dq=ScKb02Te%!Cp7yw`Ot**;YR7 z!G&dFY1#%+-d1bLFhJylfBmp?gu8jx2Xfn)pBHBoobEx zwS2)3&w|i|NMU|}IW|u}pE1^|o*HQn;GbilPl%XuK35HFUD;D1Ak$tMi-YNjGc&R| zjH+nlUd+^dSb^9T=cDPF-N5?;nSL~xsAVH2g4drf@bf^9T8h}EBsJu4_+g0AqRgqN zotIaxanS#sGakzNY%*TUW^zYh=0YLd)7@2REsTS*zr9U>`eOfG%7NkXpHcuoX>Ig1 zVMq51^!#{pk>3oolV|uU=3O3b-5u6lBUE^}`EaWRJ`N^)wah%*$C5kg;=}veNCHs( z&2W6Y!E0r5p;R!GI5{F2$2xUV9C1;KhT_i(_ohBq*}rK_dS3X=&24w-Aag!&n!&qg z+QuLIx+Is#^EbgZcdT_7FyM-|FP~|}@$+Jj`kzCBJbcmlJc5BZ?KkIKuiJxz!O`Ab zFo4m4tKH_!d@DnY9)lgf9zVbZk<59!Ry*T26Auvf<0{?Ry=b&G+?Bagxg)@*=XZ3o zPY+=gu#Dhj@J>#??g!LKXZte<)`!>a>#OS{hrq|nw&Uy5{s&;fKeE&P_2Hl>W|Q7E zW>%r6{!{@75Rex@kLeCUm}=&&+PaG6r~kGOYtKwH{^(wIYT7l+fvdx9=mFqjqrk(u zooyQJEX?YhjLKPj1AV%M_rVJ4@4fSJ`8|i_r|jGG`SvuryT5vNy6OG=aMcXj^1M43 zLaDa-_VB^u8v>w&OWK4=vL6bA$T^Is_mZR?nRoUA0+Gu@wI<5n;3B-7Uwd-c>SyaR z1BtAk$SOdtvB7%S&^2%|M~_Xn_3OwtRxZ*rm)#N0&UgG*P`902xi-CxPlQHfKlF@l z{u<1_d^Apz7SHT?YIZT(X2~aGY93gOw#_jrG>&PN9|KB-`I+R{S*?p%$S0Med(InR z%j-4Av!qp%-(&JBZ_C1fCKYqDKNkZt*4$Akmlc_t2IkBnVHm1f9fpC!zJ=EN^Dx)w z`kddIn>$#|4>wUE&G((HQ`cNuy;x3AYjZq8sw;j@3j`=4jd*EJt+PL8FV1AyzP8LY z`4e06i2?AnqzA9yPuwcXtq%Ca^gLKUCGM{A+U=%CS&o3e%B-T6$V^u;qYq+jA{Ks4 zHo>%3hy{4>Hay0{X$ve4q#-Cj15ZnUGk<}?r{vxPGS5L^lDid{YUfVgnKUAJ1AJLp zbB(iDSvAE!S~)&+Pn8Zo=Ue_{96Fb#lUl9X$O0yb%09I)=h%SxgxpzJ#~2zKtGy*+ z_iMRvo(f80X~Yha`NQv&6`Cu*bW(reul~|e&~zS*t@~Ax_Uj$AQ-SVF0=n2cEy^Y> z>K>aYC+CFOwPDv{&NSM-=vxnnFL|;JuG|GSYpvZ;8IPk@{lX5VjRmI|<>Ao^M(P{O z5j$Y8&0PG@sWyj8jhRR=eBFzKic4kPyzW?IXq zpboMFBWVrKieJY&u@|Pk^4{gurA^+ff#$nm!b$|?cen*{ZYW-5{_C$|9At_;sZF|Arhd2cMb6A;_1#f z+IiRZI>~@p{uwhmOJPA5?i%Cf<911T;pO|`DWGb>4S@0K2z(~F z6+0Yl8+ps(l}%QIxuv=7+`&pwi*x^;qL%V$=J)Rb0EwBoisY82E{p#Tl0j7f2@fmX zGr)|&r}=sN;v!RkYy303`hL@K%(L6k;hxaF&gY~0)xz-lm9WFhL)}N3^)?2J&_!zz zGuYPFh3DPmh-<2<-G_HWpb&T>kn*9Y9Q|<)jC1}%bN`!0`rlckI!e=)0gUM0kF+<< zOyS~rHbQ~FtQ?HAQs^SvHQKp_@$34Ojj8Lv^s?dP`8`@&O$G$0Eh2fv9$?VupHu3(FZXl^vkuef$_FlXQZV%Oy)u-u2onf)oRxGs$ zy}F*LTq?wa*qFbPMr#al5~=G~0c(%=1p?H|YU{00fh0M@ z3QY_gf*xd5jhAc{=#TcknJK;4vr7joV_D{s)S=`sYLTvtn<|eAq7$Whog>T95R*V5 zY=c{IvB*?$j3PgWo;_Dg4{FsVX-U=nf>*G6o;U=C{{D#RonP%LgPMQt87PQrrE>{pe`11Mt?`6~3E-ybhc$i#k>zQ@a zhO~`n`+PE3<36}g?-cjt7HR)IuFbL@#|$XEc1h?;KkR~Ao(7u3;%n15@UH687w(#1saK1BT~vOwvCRuYi2!TI+s{^*vU5bKD<{DhWe zJjUNV9v}Q(Wz!rgh#IIQ?KdT7fqYU1Uk~bj-<)n(`a@`TjCM+;;F|?JuHP4Nb=wiL z=Lagc)ffqJ`oIs^_dEDNpBHgYpDI4g8n|6h9Tms2S?^}qw+_cbB6laWi;ty?ADvaT zyjnb&A)Pt^w+r#qq>jnfOAp}wCId4GjK+U@8<^(_LJkzQ2Ehl&S)W6apjU_tv@oyM zEVBOP7BUKb=mvCpHM>|5!5r?b{bqO^P>3i;9uIvBIMIM1Eyd~n4*xF3BxqKQyKUg_ z);oZ`oZzhD@pW7KnJ&I>>t>l3dW11o_srCsQ#dP0^bv852wIuZT+zrOBVu@zFrj13 zLn9VgIkaEv3QoWS@{NF#zkv#xrnNgD7^=6O7O@nCO*4IFhIwCX1cMuy6t<15#%1Zx zkOyKwK0Nw&HaCZCHUAy$sy?vp%Z)|)6YUzi(n#(e&5A0?%fmiK++1wbE$kq~0>lcu zksm8Ib~SP1?61LJBp@-9UpRXYBok4{5yED5JxSVJj(j|xyUUAQ+pRafMazb_9DE%L zgtkhga9N;5A9j{4#^PQXjIC4!o;II;8Mzj2q+2hl#td?a>jM5Drj+9Zc2`1uck1NC3t&~JHY#)qWElbFu`{?F`lviI^I#@$@Gf7 za>P?<*aq{S0B6Oqt4Cl@dEbKXQDymPW472Y1VfXR$ zw7n2~sQ1C_g|Yp7-aJ}f{DzG(=y@1KcF7U)S^;=m^!{zzZx{#7gxh7eq1r(C zY2xufs=_}vF2>uwAM&)v=(Jwc`BI2!QL8<$%Pje0b!4+8_b$hro?jz>*NhsY^}0^h zOZmNt9|+BpF)ARI+-UaP%qQpE7+D`?EW{i^rbZN$ftp{FU`&#NXH3d91Glh{{oNc) za~B{B;g2EXkI{doWxk!l(|0UMBZensIPROh5}&O(E~HqIEymTSF@@(q=BCICL4bby zvjI%#@Ch@FJ5E8FGHhPVMQ)yfsFXseNQ|7dwCtw>!h90=JdWy&qK%Y_oZ)^-27zR8 zTQC%YL=w0J>4#N)t2Oy{?=qq0BH>{cD)wpM!`$v6jK0YUgJeL#fL$F z2h)_B3=)mr&=n_yq{-<>#>qUibp*YPj~{mg&HeT5MqAvrTM@g}y-k3}%juNQXJoeh zv6gB#v3u_D+)2sAAE7KEA7F^1lrBEooN9V*G?yd-y*m{F#uYtlaWfwU7(1&xFD!m~ zhg(ip`S;oUAH?cc;40AE{%b@bi&a;*nykP3CP&(4QxFdX05-8qkod@MO_?vRZ{ll9 za4LAo1SUc;`0k`-LK0Fk1dr?$Q}eMU$=^2mwIbKz^LZUS4@iZTyf_YJt~E0&sl8h_ zPwvpj9##izYM_@lI8<9@2?oUgN3|xl_A8+WWVaQ@XXJ$rN=Gh7c zqg0(ebl&3ZD7x|W?vj!P{GamBvxos(s=^$)G+^QDPKJ!QU#x`}<(b{2Aayt|z^7S+2ru zLbkNT&|vt=qJGL+SMFWQzN492%s&RhJ$D(u33)6L-j#R=>HUMo(04#cIs_a+tQVo$jx+ZN^k|8eSP1e0)BV|_ zxtY2@yKmF$jW#E^d@pVz%N9KtZm&~zj*>iP??O)Hl=99|1! zX~w(C7jXrKvBmczYAnS5=5QL@4PGWQ*0h`;d>b!OP;63TB~8_=6}0}x%QwQz{uPZA zIaVz!wjH*8W9Xi3mm{T1TS}*ffK_~dDYi~AdK$_Hv?`A;-ioV0isGm?$_8i9xoZds zOuoZgS8x9Q-cYeEA39l;w^;4_X3kiZv&Fd-cj=S#lrzch(-6y+59 zh>+WFX%CtQl6}g39CT3ey)&lf`rHVQn!eu&;SnZ$G+>dtU1Z(@BGmat@a`x=d()60 zn#{K{tL?J|Xn`BL(7Qzl_3KqZ{y`YfN?KU@^L>)=V!%loxSR<>2#jz5p$2fUa{X_g zIeCnfESdrOU}sJNV#5MC`%cdoI1&kJaW)gOcJ_cT3dd9cruC7e&}xrUzM$yBjLXJY zeGoHpEFD$FAFSSPH)SM(NMa^pGMsi~KCGxPlpzjI3eBGV$D5?R_Yd%yQxqZO1Gq(6 zTa~5grP5NG7=R`RML`qW^W>U`LQ4x_2^2INtz3cA2?1Y&m+t3eVp0(DjEn8n;{$@v zW=*#Ub-wpT&>gr?;~H351J$M_UA=qiN^`IW<>cNRzG*ZDX4a4qY{i0M;aI;Tg0l;U zvdLja`RGJZDvxYKQKjGhYI3>~ zD9vFgwuH=i(b2Z}!2|WH6TGs&wA0li`Tp!3Rs%4#;PndW7cuZBXUFP)Re0Ap|S0c$a?i(8Redt${SRg=8vD4NtUj#2=i4`szdH3uZzlMkOF0cP&y)%Z=1utQV@I)uPJ# z=*y=z>M}-`(@GfVuRzM9K-1lLC(JGt=luTPyGwS4mauG$EdP?yng8p_&{3?h?IVI; ze};`wQ&j~ODWXymOAOy$Db)^+22aOR0t<~L25bgI*dFQ2`1njd{O%W{OqWyi7ONts zNG@kVQR@_oV%)LD&w-DeKQ5MDh=9%CG5gLx=dTzRefzkblC_Uip%*Nppx3?SRHXgz z73mtS>Ex(~M&BbxkQ)3=WwR;FDx4>MBa-l%+9+#Uzuq=@w#!6l52J^H{s?t0-)5B4 zqf^Q=z)BG(&ygj*uu{wXrGxxvtaBp=i_%;5TAx{5W1GPImk9vL(<9=#v57Z_bL5Mz zKbYl@q@lWll=97n`oD|;ZTzn_*#4Q?S%BgmAXrehP7Ytou=yqv4-g6v@bOa97$ANh z2p52vlkakGs zSrhp&q`)MEWnm5qH-J5D=8J`au~x(fwi8GZtzB)9`O9-oJRq}}C_`ZFbb+i+j z`}gaf;L@LOq>w3906kZca^&~q=+q8dbTxPQI0VVeH?^$ ziA_wf2TdLm@>Mx`h~omWb%Eb0h1$R?o7Dzf7C=+=?#wOD}5FShr=7eria^T=A2oEST z$A2ybU}9nVulIvVB0v_+3~TU`s-0%z1iUoiWW7weOI8!|q;MArq}xyF=PIHz3x>y( z<^pXyEyM_t2`B3>aPolMA*3Mg-sI>MIef-sr_}M|$TWwPFu!801Ky(LjZxi%bHpSQ z)629r*UQ_E%UiF_$=ieOnk#@k{NObeX+l%u+IYU_8s4eAq)|jgEtg0-<;13f5=l@P zE4@FXgP(9D;$y;-rP4KPsQftG;pdw$7h&&}5zGGd+7HQixB>wag1?gN>BN{urHt@{ zlGYgPn0fZ!`7vYO6_QnG(6YA>Z5%+)rtoTEX=$z^dht*&av#_N50dhhrU2(9^X4>mj1{fqw=oZdS=_MRjlfT`ekTl4N9biRk-|W zcuC1`zD8L3yY7oL?U{f_^ka3`xDLgY-s6ZOb_b7VZQ%pR044+PUmn2*zk{P0b}26n zOxz;clV{(vo>?$tEpKbY)R~ilYimmm%(Ba&Xq0)Aua?$jLiV0@{f4G=` za6mzhD-L*aIh$#}micRu=rkJ^)(T3W`6-U}YNBUc=u0O>TIci2{clh93(q{xn1OPq=fmskB}^i{SpyX z--nQ#!o34a(3~OV2-%ow!9@Ho+rW-{R)`Xq-wh#jF!sHyUV`uq&W|(kL~gQOldxB* zPHyNO6@ECPyh3n_yh;Po-DV<&D2Y7RSQCXird1Pb$%%jHl7q*R0O)LY48B81t{Z9&(nbW0D?NK)9~FY)fT zqd`Rovl$0ZR%|Y=(F6ow6#&1*(e+K~;dD;G zW%_~D%K94Ktk3q*)N+TWU94rfs)r_ML&i$xE*&Z0&SL)W2%?0Ejm|QUN-Nvv)h{{{ zpq&RDxym;oa)g?%bb8F*wDwckqy+-Xd!Gsh#aw5Hc?yrBkvSbSYreIqHv(05#`@P> z3`-xx^-QuQGQkYYkifv|!=%I|+r`Qj?}qQ_o!+bTbuJ>q+mq(WP<1LIHaguKC$=n6 zwG^QM0|j3bzCZ3NwQ}T#{qqAz)9*t<<;}Liec;-hjKU>xV#o+Ho`0z)rqh?4dnAv; z-cYmFr*%GK^;d}J|-TNnQDzrOmYP^O;<-1=4b8Ma5zY0u{rK#O&+J1AhZ{* z=s{>j18S?b)nA9P8or1Qm<`6|DquCLj(k4^qVHTnHSig0^YQ|+NqY3&Bhovv(uqZ( zSt?mspWfv@4!}a*@X5Fqb_DE?^p)#2H?fGa&>R*uZ4d$g*ME7t z8#I<3S2;1fFRQw=R_6#rfi{G+a$@to_oILl?qEskn8@7_*?D;a6FBn>#4b{A2VqAylA zSEeAucp#C^1|u<>cSy>NAv!p0fkA6m-rwA4sxCG;l1P$w0*H80;wfne2vEP$Eg}Yzf>R1m=1(B^h(1 zBazL9K`NuE<=mJc0xx^e2QX#O@4bHzKooQPbNajN_P1lUpZ3T#x5#0SM4o!&P050g zf3heg&|35dst(V5#MW@_}d7EJyr2BC`|OsV)?(QX2L;j=dd@-ZGV(OMtAxUyQAV z6{qQqg{f8hZ*tQm<&o-!498arSNxfj(bjnAZDMzQnZ~9%+2?4*tDth@&3inJP4uKe zOKOE%bfk}IQ3Z7bd?yPEo|)sD~$lQLJ8p|E&oliU;-%7)Q$SvDv%_L8)yxm zgi<(jix>FcbiMhuAm=>GMDH7*>tMWp+U^Dj_|2#?!V~hfKc%l|XB+bhUmn;tHQ@qL z`A}cB!LpbCNXzSs6V=Ww3FT|rCDT4YV#O|D_^V<9bN#tnv{#B z51dJ3bHkYvSZdy?a(Yzjoj-`NotN$7-)oX%F6krsrysBN5>~J0$6X%|QOqNIIXD0W zghhXuQYI%P%65+4vYw1{zO}NJCxTT1_TLtFS)(@AFzRMyPSWKKmuH7*ViNA>y|j%9 zlls$I=be~)*9r!Jc~$*RVGe+*OWP!o=$_WIw>?o62-%6V`yfoiwSrJ?) z!dMZe`nicj$W*M0((ohdqW$2)ZCAHSNo4G2n6m#CF-dNhDQ*GK4gX4TvbxFG6+^5< zU8#2+1;`LPV%Q;>Q;VjbRHJOe;XI%+rb?i~SAZ?qabU+K8xu!n`H95-Ecyg}Gr7P1yGZOKJabO|o~`{l zV+Cy8(n3-!<>V z=3T!2VHZv=^)GST9Z>@&f1;e96bIZ+exl_I1KI0f?DC9~vevm6{v~sa9kTOEe0}S` zlwXGtHgQZEA(oeDn`#wwZF^%>@Nc?i8$7?D=v;%;Z^R3LzGsw8M>tMdB>Ya4hZ11z zwTa>8S^TdQ7Wcv{5rJg@29V#2xNMkU`-P>&K2N#-+Y%+L; z2q6JDt-(Z%55ET=W(L^J^Kj~y5ezf93WxDrzx{Th;Y#H7N#lL7zu|p;x;wkaNI|O< z2;k}H#~*&&jaFj2;M8&)yy148GV8_vLCAJN1hdkg;a9x0`;>WSQOV6?P+mvLxD?U{*=hjD9h~`B58#!gjxmKWnuSD*q~zVR z|2~VcMv1yOCSW0Hj}-V*wCdmQ==@+)FL;pAj`zoemR&df!{_>C{MgQ{Y6G@I3;}Q- z;B1U$eyZ9Jm;NOgAXtFC;1~sS8f78^Gh&2FdW07SCQYZ(^0pm?Cs-a`tJQLuj-ghj zq8W?542bCGrTzHLkxF1Ur0D9P$2*%bfTNJ$LtC~T#%dEq$-c^#$soZ0dGiK8qO0Qs zLi4fdix~I;wMbqnZ;P>pP|oQGtOi(a2G83s`+qMR^h(#6u(K6k-aYe17!0<01uIDv zJi&-%(_Nrg?0;Tfu0xu-ztGcR9D(X;ma26Z@K1FmrUJtSA3b)Jz>CVTATdvc-jFqQ z9mTOmP(xgW;rH^nIkZ$9{ijJO2r@f|N+D6}G~>nea9v{&bMhm8%mBg?j; z?(5a@-DpI_tfX=$-}anBntkK%;U0P9ND#`l?m)P4n8g(s@reGn%j?DCbsL+7`E|eb zPq5Iu>9zmuZ-KG>*K5VX3cP>=#S%7Q<6>fGHD%{uGchz|VP|GzHa1{qWZ~d4G&VG0 zXXW7M{r@`yC5FFAeNE11ipA?8f*H2OBb&_)~*@G6uLgaM4vDqJ*eMM)|V;WPSg_US^J9V zQ;6cUMSB#qJB6z!M)|U3bri8Xjr7j+jZ&Ye<;oepCk!hx;R*pBW%sBt55Xiora63B zoo3*9i~wQxC=_e4su8B>IY^t1;wk8y^e8Jd%-u3g(nqe!m08@NK6y;ha{_&0+C8*e zovEPx;YbA#eKOW(z)KOTp{+kDwTG8cM&`&hkt2nnjA=G0o3ofA+i#H^d~BF1ewKor zUc$nQZ>CRS8fL-qFlIdg-zS}l$0PxDHm&W^4(D$8;$fYoK={M-3TgG|WTsU)RLqdz z%_Qc;15QjQO4Tqk`WL6Kta_mOxfpy~%#7A-27j zHB>gtw#U|tae9Qg1JM?!W{;xVd+G*;xr>U|mG-v6bfeT3)O3wV-%H#U(c6r7x$W&! zl=%jLwz`&kfv@dQAlQMOd+aruGdrQ1SZoRbyVtp9U&hTSwz|Rh0uEpf=5^5iivQ|| z`>2|5yioeN#{o-6WK#pyle)iT_p39ab&2G6i{m-Lsry%cI=`yCL}!Pq_*#cfAsM3oXRBuRP{^NiKgByY!!U zhOC`vo4BQUi82<-h;qJ5yFyEawC=mV%Zhh?Eh&%oa01>Sftge18 z!5!2UQPjm^TybmNgc-WL&^nJ(urh!N-&uiIc%sjGtlulzCt`Ct(GYv0P(Ye~5O(gp zC5;!8GS{aGkCdUipc$US{_g9pri&D^YAHP0FUN}~h2h#O1Aon_mKyO(EySI2wjM*( zKq=%@Ce4yWF`VPJVmdP%_13u|GHkietyd5_BejGAub6ea%iIvEb`kKphyi$gT5h

yr(dAj$+UlaRL~@DGfNq4Zu&- zQhbid^=l<(eJ0hMepd{RJ-!FL#MKkK;pSvp5ofq0Li#B%NvGTy#u;>`81r%9) zF79UjY0M&?nKt>|A$e$!#v&y4Vr5P5cu1U9C+dUy+DZNe)E!?Y`6OG_KA3p5odNVcCbWLvZ++(9%{7{DA^W0LQ_>%m_wMv!jWD4XpcGlgel`sxW-lJ^CX!b>|X^n2%6ETr0vsFc%rwZXaGS zTu+SEd7+jtNt`(A;+3cCs_lE*o-RI5t)O$<1>r^v<~slC+pFDaTqz&%3aX;LUbd}Y zPehSrV+j+6ie)hE#D#8F40pRAB6TZ*=^b^L7vMnWy!z#+w|TGA`x90|6HFm=(-AWL zFeJJ*2hl^RHOv=`S1@ep>sW&6u~NL~9g z!*%`z+}(|?QShLS_v8E5O+EIJc*hifZ&1{PbTCRVX0C>QuxJRNeMXDbX~WVD2^5B? z%h?D?;AioWM<8M}wJJL|YsTKx{rtL%-V7=UJ$!nS@$eR}ODIxg&bm=bJ)^O01+S^k ziS8_$(8=P9c=P7YmcIfj&_k~{eA>@TE9zhOWaqcYl=Vm*)MHK|xy^c!_r7GL2+ z)JgUUeJ^(r}CX~^YjO;QDT^>8hKh+fY&QWj>e%|DdGffie=a@9|F6IT~gV0QyMfG zt7W=MbLtd>RNB!w%J*Kjmx5r`6RdTH;{WBpdG=TncE3YC%S@&JpX@ixK|ff5vc>%* z1K3zOnE&T&AL5TkleJuC*OU^b*8k#%!(s~nsRP~SSk2fKwR?Uzszo$Bj@?EgS3oIJ zRC%6=_A;|}_iC3ag8HLCCZ>4za85?)|2;Yi`h_}wiuv&g?kiw)iuCfTonv2iL!5tH?muikTWTH+24o57Qc#-;`e!w{%@5zp#fbQ! zD`FG(&bOc{X5Y4;DUSDppFmo1hxA1L)2oZ_a|1ialcHWyy#jgr*>g+pE!jl0l)t5N z@_2JUOjyzbc>Ay+h@xV!($3%)zah)}Lkc1bBaT3TK^H+Q9A^IokW=~tZ)tK5ojwES ze!fa0bL}OVo`eV}yBE}g{}OzHYmWv!dM({ny>ycIe6Tp@i zhBg#pw@cqTvwXx0T(B|;_whT&f9+a%7V8n7Op4; z!9lf_6R0(?jig7?O+-BFniv}_jb;4x3Zj2p=wBn=GBrq9`+s(WIcGDHrC5 zh-9T5HD}fZWRY4ygy{<>1Jl{hhypd2N)6+DUm~|lQy(D(36dIMCABNSAqK6Z+XixR zQYbn#Mf&CO+L>8g{JUU2sa?ukN@aUws>^h6R>+75M4sQuI>nG98M@NVU9lWOMTe$l zK4y-=2$2Vx-XrCD;dap-;DhyX$a@V+@$%5?j5^MM72}aHra0~7Gi*dBb99iUG<6=- ziac971c(Nimh3YTIt1})ct>GfMJM%oi!YYA#J?F5a;Df2EJF2caIZ;;F=f73oI*kzRz8v zPMm8%J1jhoyE%dxD`zZ{f4$rQBZEv3%0j({7S1Ill@0hcm3^Ekz7DK2{ftYrgU1>+ z{Z=m@)DPvp8x71b;c>>{BN?^e=y|8ns{I678?Z3w;JG8|Ob0p}RW{iuIe0p zZk}%<`J|ZI(7yUEHx0;f<44eO)-<$$V%rPfrPT^=kdL_cJ*o)@DGIMjwfwh6=ud-c z!4rESSuBQ~z-f_H^t20!`=Hi*`6VN03nc{h%V~y!l}+UW4)8*hR1{*PGhw5}e_R33 z1saN(dzlt!&?IwcTunR@2q%9O(W9CDxI?y;D3bP;es|kw72UMy5ty)2XIo>|=P}RM z(^smhQpG%>(Td+O8t2Y{AKl(T)HVC#Tuhz_(a-7wFKQ*#Mm2b7eFJ5IE)jsW5ucPz zHxxEe`(TKh*`vTyoG!LiUj9@-WDf_RhIBmKI{0)HT0%XHl5%sf%0bp75mAFv^2-%j zAnSz1%0SVkE!c+r1a*v^sqynOWlis^~SVyo$tqRkFsGBAGQnFSO+J z&=_V^9rAG2oI1vw6CUa*`7}(2zQXFkDQ@KT!v%Ku$md$?0TaC?h3q?+@xIv5%s`gh zfCT28Qp7>i*&1T>lxY(~gJN@J2E7}L&kuXakiI6c^d_qn$(zqVd%f@yElkk3Np;K! zsK7 z#CYOC_dJb4A3|J#^~zvrSpgE5K7W5j1%kP@Zj%mSF7sKE9oj~*ScFN+Rl{uhnczFx zI6IRDB~tc*I$<7OtDE;O)4dI~ndi*LxisEhH)uo%0i1$f0aY?cxE;wc6Kz2tn&Kr!xDDO33*6t4h|A zcA-IPrc7(J6nB3!x4do+cKCp+?y#s`lI>)DAof~T4)@)H4d^sc z%pG`#2C}j|qWO&Nr7AHc^*Ll`2vpdRroiui)ce9`V9wS-RpK`c?msfoE>iN`JeDb9 zgiMpx!_3LKhz(}`=JH_y!L{|7DtUd~|&%_H#-nO4qbkHw>}g&LuNEH0EH zMhqUsY>sY-FC_7Hw$9;Yf(DIBLF2ffdGWbhfSVHuFZ} zzO9LVIeHG@V_4$X%+*3%jF-o%;mgxOF9_xN3nwCX2@8@4hsIdPYOFMxzn@$f8Kq-E z-b9@rcUT0UY$-h3gQw7i5y|AUq`HlEi#<&){m+YRS7ADgUIVId)Wv zq1}8{hRxLi2ui6LDpmo$S~XtT5aHoaAK6Z+Xs`I1wf9rzVvAg*nCPUW%aGvkQ0gE@jZJ z9AG8C!(s`A=JzLR4JJ<<8+5IgsThnn;ZIJnoe@rwxb_LI8g)?|#yu@UU4wX^^40JW z)~&Mv1V5@HO=&-=gc?$wAh$~EPTAGfv>)0!ur2o;_cP*23O+kO>a1Yo-Q^L$jd|)+ zr%Z@+2~Y~F5oqJsVkRJ1*ePkB)Wb%M6%@+2S^Km#B6t(}m#CGLx%(FrA>}Qj?nufi z;9#^xs>C8zrCVe&>s#gO8Pi&eO)|OWP`vj5ntpbLO~YnOQ+7(!+YPfF3@;wD43mZy ztbUH`aa9{w3-L6NnF&;lL&zw4S*ge94Wgr}C({<@PTY4r$FI|!a?+8Cy+Ag#I=%9I z+@Ce}GvV%UG`H1Euc7XwQ=Ks}`&EUnkG1KL^w(~@K1cy6mlN{wge2`x!gKw^>nIUEYw0{68 z$B2011x`{nYARXVshL;J%Yzj*Gyst7b;_G8Ftx+E=0{=wVsM{&+#3q&Kl$XueyZ4i zt{H`<_O3ZT^xgFW>k+>`NN{C)A2?Rj>X z=S9CkS9u{Cc#so2&Jz0bwgK7k_8fJoP3KypXpdGw|IE=RHK1QPfZ#Lk)(F5ac6!09 zP;!QV7F5m#e*wjclIm&p($RX z8Z4^_=My02aA$R(IUP?MYP_2n=TtWCt}C^~D)H(a@5#fb?{c=LU_qo7nUyyaS2C#& zO0+yy1e1^ctqX>ES3@h%i2-!EoMZB;EBz*gsz~}Elf~a+BeH%2r?zz(!^UWh6a&;5 zhAcnnPn4?shgrI?J?N5B)cBHVboo^B#|UszJq0}p2_&kX`@tc@O(P!{4m_-;6ipxw zRh93`xuq%4@o~$WTYXxwY4xT3L%2Ty5Pz<8!%4$AJ{3P~nMkbBy}{;krNg2rHc3ObDp%6y49#q4Y*aD^WkE*7PRGF@9t{i3>jYf#myBp9Wq+z~zi4uZumkSJv6dn$t08 zNG6PwnhFo-y@3)`>LN)ffbm7d=)TF>>%-PVm?2F#)H}B z!#8GYh^aZ@{h?c+UdMD*_e*3r`rVprngL?;IKZc?qg39FQd%ycN0hp9NJC?JO~w9? zIPx&v{M(O8I!D<x>GOQ3`I;91yGU)h7(+zUtZ^efQ^%T{QDP73a zn8hXa!b)}?RKI{NnN2G9t2LX-p!J-6uTU~3x7@@GT$*MoSAV2%9Duw>>M6duUTbZC~wWs%lZc2ElT#*F9 z^TeA!;;w0VO+#&4FCt&Wju6L^2xFm+Lupl&`<&_6;!!*4gF~Y4l#$7tJ#I>ZSJ}5%S09l{d;}vJFS< zvhu54WY>UbCt_@__KpdWWn3JboyMK>CFFBOntaOiV+v$P7Vw-n# zQp4O5X;D;kq0m~wo@`Uyd%TUJf1OOurH@YD7app(h-XpbugJ-m8cT9?&I!leYfn#y z-8Z*nyD5O=r+#G*7*@>K6lB#FoiI{Fjm$~i=y1jyaY^a8n9I=;$T%xQgdxoWE|Hb3 zSO7N8!^UR5gc(apna0s=x|e$Re#>*bHnFix#WVd^N%f*8&fi80j+ge)bB4!PDn%Ll zSStBF7b9y!=8_0Hm)5PF-j-#SH7ay&nrDk9@tT#@Ql!qhOqIq{;PGj_6$XWxIlNeS zBr|8ZzkV3F;G>=vCTp}0OhBl$Jy-RFm`gv$k5srJU;Z&|;M<}MyZ3azT-RAt&yQq$ z+5QER?vK*pT`N1i?+=_ke6%F28A>14Al@t=&lCE#*u5VkF~P3M z33`hFW@Cizt5~(qzzmoVaKHO7{@qa0d8pra+JFA1f<8-nMLWC%i4pKDNraKqs%iZ5 zK#;V=c%wmk`LG}8fbBU5ozod0*Ax@9jrQPSSv9jh^m~7+m-oX`z>rbN>!-6;uE5t} z|FvAtr~Nler+VECrelJul5iV4n*Grz1qPCasOGW!{#@@W5YoSya8(j4ZQ@JU#^YlY1yIiMEI*+J5?`((fvz)g~bc9v>#DVq<3 z$OA@-ejqr?bp%8?fs%<@{NeE29C}JVMn#^mlMMtzofI^5LL?gVqV=Qg<9BBcvo?~Z zk+(hK2JmoU*s}`_w~(o~v*m2eUp3W20%Kt<-=cL47WCvw)QW9Z8`DB@+HtPQiQ6oQ zOznV!CY+VL1M=62WF^TbFJh_!DTu?z#F{J`X!GK^Un|!dB2;Vse`k7R=8Zxgqy8Gg z-6ATa_4+dDsmtsB{=UBm_@=(|&d-*wBy|R(HV{p+q_z$UY}Nwd$=_fx7+FG-0DW~VlInR<_v$((<~9@ z_$W#5{w#vd^?+Th;N93j@QyzJmOb61JJ{{b1an|FTRaJ92$>&bi5dTDZkS zW&86l6HR-v>(;pklnHBRb}YK5l?h`%t)28r>M@uQ#Tr}3K6Pyf&$0_Y7P`I)L3I9R z=XfV*P;k4G+u<{PmbFV>4{ioERK^0+^_iv<-nNvc3hv$v`l zbA=ICliE8Sd~|3`d$jyW2>P(ody*{clOAd#2NZ>t0f8KxEz#M}BZ6Yt zzwrA|U(FWd`n;Uti+__z`w$_n`oITZQC=+ug9)ZG6QtE!7EHOSh}fUCG+T%Z4;AaM zsa493yw|Z`*sp$ITj%RVxnt0(FsekyU=)W6R6`di7V{uwKWxI~DYLVgmrkiztOR6pZTcKH& zjrRxa$e!4oP#PglE$xAg&ULUrQ*5SIr}XC-?JX2lVBjQv3e*7N+Ef`pK5szD`!g~* z_;(jdips$_-8Vbdu*S2KOUR90CG85rMS^fC@8tSw@-DoQ0Apu&f-S~4#t%?Ch6ue1 z_z_6X92E|>52{xKglSQ!?<`1SD``gcc!ba~xN;4Wng;|>^F4g_y#?*Wto`f)e zxk9L5>N4z}6+=)~ugUHJeHRtn(I=;s6!z-9@JsfS!*x0$@Ts^kW2aaTZclDnSIj6zgL(>n-dDUJ2=L@*(`R73jXLM|5jp1 z3Ichu3ufRIPID-wTc!e$V9GL8N@@41`z?doOO)_L6dN0ichPYV}osl95S+X6Ld{TT-$ z1QKO-*3y)O)=?=6(4ACi>qbrhfA%HEN4IUc2RjeZe)OLLs89OBtA&1|{HyO?ZP-=-M46e_{Q&`H}fWCt_~K!K!+LaAYO30gocjnV>MwAlZ}FW_OdS1>OHg zOPUe?@kgshn&;f&0?CEHDQ~wUqwwymzl=eHgStu+pau`=R=&ChPg=mkuP_zi2ld&G zTM)#&=)=Y3%pH^cu?92eYGx4!UN|}RSuz8@&b?yvuQXc6+73}m+QZpcCZf>Aun!59{mM5jRTH&0L3%70EA`MMxm%z z8!Rptu!|-ChrzH0GhqI=M`AmE!@7Tn&PGd6VS}X2v2GfQhs16+Jqz@J1a=Fht#(2~ zz>cCSpy4^p`UX*DF0c-KtddqTdVxeVPj9|8AUSdI;Pmn2$~R8qI}iV#RA!H`^|}kW4K;~Z6>Bbt0wUzVwv}PJxY4#gvkJ`2JcV!TSEzb zAvPBsKTPO4JznRcInVm#>KO1nqfYEUv&!k&n{vSeDFkR!J{lcubA&S1KlUgMSZ_Q4 zZSeyo-FA3tJ%l-(ZjL`5Kl5$r(w>BieZ9Hu7fdDj^M&{;TSXm|ehDJ<9*`68D{qB5 zu`-;(GW;fn2_wNd=*Z~7SsK+7wX{GIH03&_pfq<5G*T&Cb}1_Y=TaG!B}(+PbbSfr za8Tli9GcE6!!PJOAV-+TDjW6naH|vtL~3k%NhH`BI8Bqbwma-A;+zn?Sg_s;X=wvj zf>ex?G@v#o9&gQSxq3 zf$+ODh2tYB>kV=$M5}RlP!iNHRVR3c!PWh#8!K36ft#926TI>0TjqnNBp8XE0m$=2B1ka$_r zYz3ONKp&aQ6%|0la3?z?jThXxg<>?3tV7UW#mh~@NN1`3xe-{GX*NJw-nhh%BCj*E zQ-U>*dRVRjF*2)T=2Z#!Lbzhh(=)$QXH9x|++J@K9aJ54Cugf(QQ;z^3l94&rBGDk zJ6|{_lAC-l{tH-q6wm&T89?8@J_%w9JX3jOv5~Ubahe03#KMs zY^p!NgmiB}tQWz70Y{g9tp)>Oy+x}@r*f@Y%|@-_D;p_6#PLL>?Y1R9A1VB;dhRq^ zL=uGthU^1(ao(31@=Z`IdpfzaPF*oi;DM-p(jN(ZIZEpGNu~JnB7UE73|8IoqWQy> zd^i$dy*(x|5i`nv*N zk)@`P{8~vl@vX~M)-rE{Sdn3`4qa@6Ukn7ZrJQ|od_q`VWN2K+0{L3VFs=O7k$kp1 z8L%B&P`-^qB5l^DZG*qN3K$A~cjGJ>4|k+NT{?6@4^5aIA9=pB8FE-~eES@<3d|CV zBW3VIijxR(pc4s5CMV3qK{j^0U?30iwRtsc+l*M$T=Qhacwji*Idqp2J4j-5cqjkW zEy3I)oztPd;a+v3u8hwv&w5$NgpbzS32@Y6(G3?dri6mm&(c>&MMJpVWnjF%vos(I zSJ9Tl*p9d_D4cTj9_0EwsHH}DZjd@VHzoppfo@t7OpJ&7@+pDdcyCE5MZ>9l%U8%I z!{Jx1GHB#LYqH{==4OmHUcZdP=Fn7EV=mUP3dM0`QjE4DJ07y zG-RuXrZp~vnq}raB85?>NQicbAz$F zr(v;}6R2ntyf*Zf{*|bfSiHUsrNT8{pNF!7Cgu~ToX_JM`8#J#hF3J^087argHKC9 zypV7VnW3`gJf7Cdn5W4sMf=~kqbaMv-~HU7wCsY1e-9Z-^=?fGhkp{YfH6X9r>QHu z=JPe_Z<{m~PBiAC#z7yB^YRfhI9;@zrOte3B^Ed}h&FCGuwg>!yl8z>R9 z`TZvQ4`%|VWEEuIb<0DLGk@v_p3N>5GVcr!daKcKDT&$8M?mP7Y)GaaT-7#s?Q) z5RYAX>sfj4DK|Coxc%m>GxDn6>{bH02T5l^*`Bvpp4S$$Td|H9pz0&qbgD{^YiJk= zhLG^ppY@o^S`)-9Ps=om+aiI-gcZgcv8k+9pifh@4&49kaFV?2?6QcLdQ&lHSvADB z(nucd`}r}=bceY@k5G^2o*iH7JB5EI-wu+D0RFlN8?cGiKp>3l!E^0KERHCpY zJ6~`YFf))IW%}_+g`K}HE%|8?c$3}`=|1!<_|9n?zgz$R-9 zKM7hbKf90BIt!e!u%wJCq-BZ}lUm0($=g>2oM;O9L zV8GnF4Bp#uHGMS(`fg*?D+hYKSHB~3dIp!x=sq#@a?agMtKhz21HUbMKK9pLR%`MI zMsAS069M)zRkZ+@uQ!L+qif6C30#Zhm=H1hBMb{Ht`2YSkFRVei&pt`xYLtOM`D88 zh8?hh{w#=?rpiIN^!*a`-@A5r=NFRy$&a4?6Y+HK*W4+UlN-^W=>+K#`hL7@-nGOq zP8Zv*BaY#Jjq4z83Y+~=@VYh<;De5{?i{}<9;Ox zIOh{Ta$^+B20hn1(_q;v@yh5ql^oBd{T9Bso5DHDgfZGpfux0@b~Yzzb=}S4CAB%R zx(7HfSh0ln{UZ~7riz$aJlYVQ7&Uf`L$^gG}7^=|X-Gv?)~HT~xqYLT+EV-ris0gH{l7==&Kc)VD990_f5lx1Itq$y{xRj16dR^gW}C3AVBz4zYU{2 zar{jI>2Tz*=FHW&uNIMfWSz>00fH*t2F%{~ZP-%{Oq-X1;FuZN8s_Z6L1$|3w|pw5 z2iFMF7b%d0AZ;tDSU=X7a4S=EEg&D!=D0gA`KRAf)qe1Nex7 zWqehKei1A?B-Q;W7kzV;4rz-F^u6gRirRkc3{zA(h%pa+MYxDBj%{62yqPc5&AYF- zBX@t41ciL~$Z>XYM0;l>vSEDj0H}@e*&5_t8nj-}S|r}vDQ4E?lDj+qmP@NhVhYPb zc=H-iWPWB#ROU(ks#aCWz>)=nffa*Dc(aLzL#ZZd7;_Yf+3NkHEcH$z#sNjvo>tAv^<0_?HmpyillDivuC5 zg=`}U-Cb;mz{2q~#T@b!^O2|k&sF7zuqYT*B#LE+R2Bkl?MGR;lQJPc1ubXHxQ^88 z8FL&r*Q7sRpKz@-Q-0Hg4)FfZFe^$GM;Or+W1DrCZPTJ&@QhJoP}(hyEL|%il7P^7 z;h2HYH~co$8zj8{pspG2^Je(N%804$R~)mMxYFq#aQu}&RnmOR7VjW@4SvUMWaaYf zCK085dm#=C<8X^1W_Sa7?nuveZ}tM9B4b>`8I7BT)Bx4TBTDj=4)BYitjuKvBmg$3 zuP9tpLpOQv2?P^GV;M01YhiGo|B#45Uc#XF!k|sUt0}}xYLH98u(DC-;ntx z@$^jE4B<%e$jL5T#fQ!A>k4<@bh@X1Fs?&WiEYup)_kvy{-Fn?{J*q2>h+6R@IXITQCLjPo_Vs7N?Ay)DqOd zU}_jX@DGBiC4fE`qkWJYNO>Xf3u{0E#BxUTC|E-c_khyOzV@HSUx%^-l###LL8lbS z3mgK%>_??``5JB_Z1EOUY`@v;md6=}0^qeFerSG6nF~uelvf9#xLnua}U&z`& zw-ah~lDN&0w6!+i)=t6q8dkvK#oy~M6J`GF{L{KG?GI?OP>TH&7jjBcL?cy9e{f0* z+oi@87ilf#Bij*#NSu%v2H96sV|Sim_g_GerGe9gixM*{n8i0-C#oU?K%b*}Xh+Gw z=L7h(`9-u1gO~n!(+C*GrOl*?P3^3oPvo=&Oh-4;(66iqebYQHi+)G`o;tJvAxQdG z1O2Y1{Q~?xyU2I-(BC?WX%bBo|7-~Fe)X?tsSZi~W#7&7gW;IMTZ%_)EFYw|RFR^+Q6`*AA(wp8Q)5%1+-qj~L$q(9B8zSBMQYfs;r-wK{Xq$N zf-T@qx*i)P`a;dD6W}#-aGKhN@$smb@pn7UJ{xGWRZg4=t}=9VR@c}6x9+ivhUc9$ z?90se5+58pBdq`Bc|sJY*DHLBrNlWzmuQa{<-y?ogrV3)!PRQf*@Mr)<#E8C+iS(3 z{1={tRWU0Ho+JtdZND4lB5oMWE3t04k36carq{d7R>2LpYEK7Pi~QnT)?aFH^!j4TTt5Nl`V^(IPoa!-eEIwSM3H>kt3X zL~Fd$v$CdBcY&WgCYVSOUFQi-7Ix9p@(7@b*zoivK}4H4^t1Vpor3;!BZbm-u&U&0 zA6!XO8=)&wGW{ep|K4B8xx1EqE}KMH1z*FU5!wo8zUZwTn|#gr;uyon-i0cN*sy6~ zoY~#u0Kx_K7|N*lETpW`lZ{sarZySdK?xkh%DAy~!)2db-1nHFA@7KJkEK0>SQ%hd zG^8r==ZOspzURkvgSYR)M>~Z@(ExQ9Q*mn2PC$)CAmN}*!}NB#`?HXhyvL_@*a+?Z=vH-ym3`iK))`*= zG?TTqqOjeSVlxIOdFH!gmi;zs<3diawKZ8BrOYRbyT|QSz1T?HS>&)thqCa@4elo) zke?!bywPM1hmfepZKfAhe4{dUn{D89tTJY^8?9Q`+@^mejv~+T z{<+*rYp5$QbnH>*KoY4BwViz~&&Jg#qay(M-n>Z6*9P`QX5?=B`h^4r5tqy?{ zRdRrZW;Ce&jcV6j(91dZp&0Z*dlD@M?03yxVo&))pxhVz=vTSGE3IWfKzR|%#4GO7 zKuWNnltt=o>-gA|JGG6(YwVyu4s4`TeY?EXpJTG>!K#GTWK~K#4{@!;Q!MWR+Lp0f zH0-VRUZ;{`m%#b{Ab`hD$Hvnp_`6Gcj16tbOwmiN4h=d`q z?syNb5LDA`nX(d@T8}fL@U6)2_aT8t48E=2To3e|@%iCrGW%D+#fM0_TO6iZF-?;z z!i_Ft|9pwIQ&dmI#=1(E61j*32ala;#^m|x6lT=|yoPtQc}KFzK`*o5<{0t!!pH!7 zchzQTB~UVV$y8!~($N{}fh^7YiFeeItTpO7Nn=%y+WEEiro*d669?f@_v}PF&v4qa z0{`M*qxZVUfEMf8x~Ve#Q-0ae7GGgq#!qh2KJv?tF30CiwYWoUm>j-jdw{B?!M_#tOshosvg0{JMJV{b)R9|`({iaoT3gkY$5dk};XzW`MoZ`pG^mouhs80lNAqSZaAu zbV}Sz{4Xwa-(-{H(VDZTm7?R@Lt!E##ujHX>Uz5F`Q?_@k5rw^w%6<*%SDY@!L)!CR(fwzhUqRX z1`4aAnGDnTi~3Z$8SI*vP56VX$7H3Bj@HcdtIRhFQi42EiGQH?&fn8NF!XWDFjXQT z^R#ey_r=_=9L#!`#lneYgG;zX`o4An`nl(h*abI{nNZO=Mo(k^$ov`+yb651!2$Uf zMa}#NN*9#J>V%NP2_D!CkLUi5=Rg)BcS8nT`EFeKUb& z65Kmn%0bq3dN%2#T>plG*6DM_xd7!(`A#@zNcN_w5c3!Zzeo%y%huDP4!Nzx2A98# z6I@CtT^-SH);%D@BJVJ8X%UWH2Y4A%Lm+)OIa?4J9C8B@{K0d7p$YwL@2D>vxDYTw z&4>o1WOp~=5w%!b(Nm;rVdaW+jPVC%`eK*zTD!NQ2~-B6?cZK%14dYzeajjQFNHjYzEj9eR+e{AtZyzzv&Kv3 z3G`wz)Iz^czt=*f?*D(f!Ofjw5cVJ7VCVdwc;gUv+?KTMHoImAsWgSI8&nt?j12r@ zGR!W5e^t$s4^ZU$3Rup$ zxySx3xO?o>q1TCYs>S`$tnhI^?|JdeHZAnl7xNTtia^SBZ1)W8g#hM1Q%?Scy+_D9 z!hmfU24Fsy>P7q6G-4XR{!nL`~=11 z^)Xm-Bh)}NZFs^X%>Uv2UGVb$d7faw%R;;+7MMoG9`XzJ*N2ce_s;|@q9#+3CP67` z#*i!oo;dWek3bF}?WONOPgU0Gh#Zr%XZ}x+_?+DU3okz(fzy`BcNz@*K=f~u+r9u6 zv>s@qPq4$Mh?kVse)8Ve2Lxu&x?ugOKnUeQX!KIeNM{79O^n=@J&j7DzzvHiFzMnO zl^s0Dv0`+|wOC&h`yJHMifLryIZzUQ&^$r!iDz$@VL4Zzk^lR^M-TM%I)G*{X0IgY z_PFs5%0?8V%Wpv>jhv{ebx^9!<=N2ADd~gvYgqdWm1R4(yT@w@^GfR+S?(bk=hH!i zOd=~Ul+gG6KR4CBLY}(7cgO%~N+wkNbb6ghsLUuIC{8)Hv#M0z9RRDlb<^3sAvR158dwgA`p zG>rils?VAjJ{e17CWuLh7(&XK;{tjv^77Ztuk{cPA~t-&AQ4R=Gw?m^%nTv{1#y)G zRPiX0=0W!g#T|C6zX(5UoT!PH4Ku}5=St}djwB+0m#KNa$bWO0=VK5H7`fF5s6x1> zI1PR%HI)5bUc%K+?ZscTdK=w6U?aApaZ34N_d9O-u!w_^ul-O_NBD1cSkpzic*W}1 zB<0R{FQOuExKcz=k4S^xNmyTOb2I7+C(26t&SH!Y*@FsX0f)BI5zNj55U`m}yGv|R z?P4K7E}e-W8?wtxT`?39zbtd{A*s!Qf-|)W?iY#X+M;*|TeU4q^iPVIYl@bBgIbC@ z5)`XIB#Dvh>G2m&jOV}s|M)a^fux1Yz}nYGmdTh4PUAQbVIT))l!vf8N}=xGAS-|Wq&H`(uJX9diP14^CICz*HK8Ry3~<3 z55^{hTa(VzDKZz0%_#FSBeIodLH0qT1A{reG9F-;=jSQXpWe;rY%$}p+?N3->bhXC z*OWFNq(q9bYK#evs3O5g9dXEkv7ZV&gKkv_wRrEKkrHzK{LMr2fYGmP;_WMqSFA*H zjzrPYbGA1|_M4vVM_H(L(z>2)AGJlaQbzvRv9<;b10BKOvx8yu(|fsg824#vwURA# zt>18KZzRn`Q)9Mj$3Zp*TDZx{E7x915~aLTUT~48ac<7J zURtZe!gImJ!n8Tjw}8Dk={z)Th0Bwmz~OS#lq7eWxcGyId$M>uv+(o5TvO@qBH}sG zN#gDR6Fd;Dg#+PR$FL-JYU~AQ36Wig2B9%z!h4>emmt>r1Rz$LW!T%d!UkSEpGMIzt1(%+{*Bq3Dc8GZ=D81) zGNz;~lgU*>Hl>-|c}X}R3!A_QOT$o?#BwU1e;$>0PL{w77vE}eulE4*XR3ZIh3$j> zXuGe2oNk0t%w(IvbM?QboF4_T#!Qp&k$$w^e9HQ-II!I2r7J61SGFu`2E$jah4rIX zTG}HR@}CeW@mn|^7l-rO<_fX%g_{(z-7(Xy*@ey36_$?!qcLT174yC=UC_bzMZ=;7 zq7-_!rW9L_6Mti#`5S>`6@|k1j6}aGru(H6SzxGB8!8;M(y;V~|K_2`? zvFMt14=#nFePHjIA8bp?SMtu&H{%>btpuxm`%DtGwmE}Fu;UtUuFq5iPwB?7An?uLFW^!obtVMtob)xZ-u8e5}p({YE!f23PQ%shPe@V~M zR6PIC{+rN4I;{zP_w`Ro_ME~+gy=N-@HhQ`p5T%w9Utib?6UM`32kH<)c=dBZwjom z3ARlpwr$(CZQHhu9osf1oN!{>wynv;m>75e=f0ftvLAO>SFKuA-Cb3m1&E>3;-TN* zLy6kA`APkULfmX_E$f`}Z!OvV4hRAx4I^hJmvH*e9l)(}LlTd8|rlM|z9cs@1ko=&apWnisvCbvzRo z1$-2?Jr;Hnki84X!dCDxt8|_iUGgabc}zo8#{2XXl1JE*eT>U z59IQ$ETSRK1vIRFk<^avNqq%W7Q0D`<{~B!#+v)6C(RRVJcvz|+^d1-*1dUYvR=7R zgH~R4NZi?2I_b621hl-v3-pz4X@t6&?EP|GcKeA_-FIWEfX^MSE>6I7F^ zIOdrtfLJp%&MHScK+35mSI17#W);;{f=t0-67Aq-T*gR%l!+MBj#xKUEuW+(uh zod35H`^sR(^|&3O_l)KZA_C>Rth$!xC#{Tzqs(c>yw5^?+6Q0mnHS#Y*ueH(ttGEwCcyhcJl6L+(=*TW z=!sF`D|l1u^InGwVDBHZP*xA8Kto6Qm?f7gKE}7(wkz)M^RF4cx|e4sQG{z6yPZDwvo8(-vK_yCzf+2y zzXcgjUCMp!eLG!;Yp*mc0vJE#nEt&B0X|Od$B6!|EYoq60S?0p{_;IbkL>pjhpk^6 z{=4}J?>pJ+_Wk+vnR}fMXnnq!nTuV!r6@lWsvQ|Cc%KWOC|=9_4lh8R_87D1rgq4V z68d_-f1Wbhk@7YB^kVTQ(Vby^z_Kd##}-GO%>Fw~>i)$7``IA4=oPf^_57y}3CWU4 zQ3+A=?Pl``7a)$D-3NT=RuqbSz`NN=V#c~C=ybj=a0NU1cfS>P6Sp_DT$JWSG{DP+ zNfyM?W2_Iyi14ifUzqvfGClYy+0>k#5<zym*_q#)nPQ7Tz z+~p{DyV(`%WEp(l<)|^;l*#Rh4BR@}gStLF_9Soz z3(5UgHbb(WfsFso99p|qDhfyGeVvKf$ka6C1;E!zsQ11xH5_uEpCKH({f8zwd-F!M;_;+1 z)pgjJLNcT_^tR&@l5OGL>o|1W^oGFnaFZw4m2xD6P*L@-Lhz7o4&PxCr)2ba0JJ|V zF&VbhLGJNPN-s&;wwXd{k1CTKY^^y1i6U3gs-Z9VE z%S4=&f&63ZQ`(82o`A!pT4;5N%e&4zl#S&raQiS|ExC^>)VG zj~K-L#`R-4Md%m$sVmBtG#jzvFna$?Vg;k^n>{PwV`OTJw%yzUS!SX*2N&P?0mAdG zqW$uO&(3&xJTiJ*0&v0HGEg99f-Ra^Kik9sfhmZnL|uqC@@}qo(oPH|JP;sej^G&6 zHb8^U&;X@)^&J|9np(*DNefDdUJZq8tlZNr$B$8{-S6?mw>qxfTmSY+n7!QS2*{PG zJ)!MtsN%)Q7)+Fmw{Eui#32S)PZpS_pD%E7dmxF8>_3^ocAP}PdDacQ~Ti|ITSCHHzEAa)Gf%Kd@8Tw0r zmU$brzg4!wvD%Rr>>)7r*tv+sQSGnXW?+6_T8xIFd!PIZ8r`4Y#Wv8sY%E zH!u()pMpQlM(F|zp(i(LVhjQb3#vzUi=pT?d|_~7W(Aj)ujz#JbhmYhtbIcB%ftrH znvBk2fi6(qO`}H(6#$;fd?F2aPG1OKcUI*^9#ZG@K$xbhS$gr52BZyA|^E2k+xfo?bBd{Bf$l&(XC zW76T~ms668H1Dy=WT3Vpe7xUn^t8t8YrUt)sCGD^Dc~6x7ZVS) zKD^^ci5g(qtW2_%IVl9_xUVq3ac>J&ph_G`hP`u>s=z~!hU}~m#{lI+9wAP(G}V5t zLHo!XW=@Jv!;ZjqMjb*9jf&pqk->*s>%sDS6#eJEc{fl1I2$*yuCE~HMav#)+6$i+ zfmgudHG?qux2unO_^)S9^cC5Ui6QmKr_iDp-#BVY^-f!d2n4_+wJqpLE7Ul&`IKWz zjptqHjt^P#DeKgiFZxe#af69VWAi{=@QRejK^d(cbU-_4AJ^Yk?FCVgzo`msmJSc|!e0RF$Ej4eC!&Gn2yw(s)Y-P?+ zLZ?W#`sPJ>w`G95iZCjw(3zVK>?X zkCl_6zm*KizNoHh81|qk+_>Mw>PV6e=xxzecPh(|l#64w#hPfVyQvzOe`<2kc4~4) z_jKMFy~kQ05z!7$4_e)vl@43O5dD882{XR`=C)s=UqAq)IPNG$!2ZPo>k~o=<`kFv zQWJRov&QIvQ=EuGI5-eT_qNERKpa7v0dZvSKUFEt#Z19mniOSBPhT9O;sE#Ets;?4 zUW&Y6vr4C8csO>X)d`z8ry_ft%f*>KJQqS%KbVp4Zcqq+qiFSlcn9OGvEN;5<>6BJ zceNhik01Tw;p5e7ZxSeKXjcFZx~2Rb;esx{nwZ#go$qOE&hVZ*g-xWaca(Q`*=Mxs*E^XP=rTp|U zV>zG#^G2G!d5o@-Rp{kn+V)d;(bvFW{t>(j+YBA8+~1x}4#P>AZ7LIIp*zC^I6JrrXy(`#&8Fq8adMovqgI1Cq8p&MvyVRXgsdURQWA|id@p`N+~7__ixfD2?k*r zTNSv=M(?qWmIHe$-%-ANF%*U+nJ?M839X@3XtzEDequubmRF~E)TRRtmFm%8?8)pd zigND{3qkQ*%|mEP`(V(`Nz@t@*jZBm1^hDqHK)(xEpfO{xaa9zeYOk+!-jQ+oWhp+ z-c!nTlmF$8s2Y#lDTN`kXVYHtvwn$ukc^r>YJ>^%Be6wH_{eGDBVQw9RgH_OxG94 z&!^y!ab8zd0oH%vHQje3u_^kDn^xO${pbV$oK7~QHovF#dy8|93H*V?Kj zK43uw7x*cFannrfMmd zavJ{R9%J~kOg#uM?_ODKBMe~1T<()ZZ=~^;LPs$VjHfQ4nBd%82>KeWYnM7^zw1Y- z)bMl7mlo_tv5POC!9H(5N;@G4`gMn@wtku4g23WQkVrMbkSsk7(gVrjnU6U|{ci`A zEoqT<1YY=;O~;LgVY^{B!=R<7xKysJ=z(@TSBlY`fJV=GMz?Eg8#O>KF;Z%^N=52s zJ4e!>3mSTqRJ{_#!ya}I#REKhuCf$(b#mp-h~HQVW*v_00fN6TDAglQY%6T?34%9^ zqNF2qUM6n63;D5+Z@^NeVG}R@q$n~c!f+4GH8=ma%li)oL+zo%rZSza&nLEcnp&5{10uXk#B3qhEg z677r1UhdiFdIyRxbG;h%kKfwkmOOfsgQ+jCUG6xl?v`9N0wKYd!viZYEjl_E`!3<||~jCPCs{^>j^ za5Kd_J8(F?-vBRgIFVyE-O6qfRo98MpQ;UbvwAaWtcms7CF{aX8B5n&6Q}TK6)H+8 zNO5kdh78X!DY*A?%%IIN0~MW&V*{g;RIpQsEGRpxvU@e}f{v;czZn*qKp$*NK#b|J zRS|x-Q20S@WL9&_(%$lG%G~C!4SGx68c)ilMgIczZi<_e1r_KN~9km#pLbZMlSQPa@7Q z`NoR!A87zTl@i8oAj=aDtc^q1PwXbcL6a6v1Z_@$*krp8kT#lw%)_$afH-%192p*| z*0x80H5^>RL|~T>TJ)whW+OkTbUh9lu}>)2l!=Gv{ZWYu4{rP@)Z8oE&q&i`X%APF zWK4*dM2v1{3s!$F)8n?bIcc&e(@+FfDsjxn^Z}^prWIIM*~#(I(I!_LO4Y( z0URfG2WUdasj6xeXb}oW8CX|WepUmSv~-Swvtr}!7yj29x{YeH z?FG_O;yG$oQe1{*BWr=`!f!8D;fiCYz2_p&h=v>o0ahhq$r*lQ%qDW0INIe>l^h z8IGmK&d;VmwI_+9L>&Z*p>($bbVX6D=hVfL?UzwuB#I&_aAVRCu}*krjwsz}@7%tb zA=#h^P~sr;eu;blbxIrv)ai=`Wni@%S>~ogjxY`XCY15E(gJl@xab>kSl5ZaH$yr# z5xWJjLmsc59h&H|hW(YWDk1hbIYpJ`4nD0U$BXeSAg%eq1dNyC1sM>76P)7#BtcTs zN)-S9XxAS|yZfb{w zJ|(=N`()YDG`p0Zm(*FRf%-7UQ@Wuzo0>&QC0}r>l6bs!Y8q`hv+>+5r-Cd0r?#65d224M1 z;nqDmVS4iXaxD3dlE)(>*Q&s^|2YyOXMuAA6Z%!%P!K2BJ&~Z$X)4eC5$?bjsuxZ!X=Df zDu`S2RdJ)-9=^+IhQKJ!{u8ov1HCtN0X$ntQZ0AEn#;WME<0T@%HA^kFhSE%t1>BT z8Wz-s5UeH%I#$OI&h%GG^w9AxSmXeHbAj4xtVe2t=*&2fWJGvvZ!>|Zygnx>Q{P+$Yc6R89nIv0_Hp~`)Jd7gd5GUytR|MU zE3pA)3(G-_9ot?k3H=)w>!DH21;vs!Nu&XLjRkJDB+x)g0SD#2rcQ=+CJ8478OjeM zj=D+_MUFb43nSjJra%o5o|EMOrx9@2a$qL0<_3mP)ZPK+Diya`U^dgxj2i~ba}Woy z%mrbL90s|#OWBWIXMrw12&MNN=sF9m**pNlwqIx3hd~5oZJKYJMzzsj&feevw5&X| zt3|5rG3a?n+hEkM()PfV%b>*#Y7FhA_TzYH=&62NOm&$i09wlD@lWuGm2-hBl zkB4L4N&l3K$zxrw7#$IYT-cUDvNhzfPjfXAMtoNU7G;XH4vIzMwd^%w**Yih8<@XBOCvBg z(fC7U!mt+Vmvd&K2(YE-TS8igk6VBs>NA2B?K=Z-piM?BK1^@(Qf*+SWGOrP9dM19 z%q7nl3xy=_*Wo>gBF1I2*K9Vg9%(xxSVTT(u6XQQ3g2u$3c?bMsX->9O;MQ!|9!E0 zvYKo^@O(J7I^QK#=CpWIZUb^QpH{`jI#Q4WIX{}s^S8td=xdFB@$CITQEh^VAF?4U z^C9O$Y$z(rK!Y@+Y(UmKy_(ig4^u^+hykNk&A!VL@xa|tOCxapr{!FrmhHy$l-n7L0|Y%!0%0BZ?rHcG=A*eXc%9rvrL+MV!>Q2QfcvHyWSFRs>IFY< z_2h+oFtCWJEMwlQRPt&0jnVL4R_>ScBDi{tuBea(v&!F2cQ8hVT6~z~9(q7CsrKF( zfvlCI>U?>0z|D`aDif)Sh{1p{ULNC!L7-0z*K>#-0DWEbfcOCib`3GSHa3mDV^|RA zY3PvL&SEAY5LD<9wJ4(CM6mC#%5Z7Q=#4syj^(+Utl>i@V=L~CPjJbfTpR1;s6CIrjUC{nNF+$;vA;WQC zp}@^h`c|RCxx#Ot!$YU7sP*~Kul>q-U4Nw(Ju?EtSKEt`C|Ysxl`boQ=Y(sa zSQDHK@l2(&0PUjB;tZFjc5#;DUNig2H~DX0vs+x6rebz+Tbrd5DIc)QO}-lip=ElK zx^RcCwAgQIGE1>@AXcXc86{4FwoFvh5*Q4dSXEBh=+t=V%sLZf#A<~>ZNoFuCv=}3 zJpqKG`rLd-BoXV31r-cep)TM^mRrMQ-oIOQ2w?37fsLiKFGs~Wua#vkm6Xdd+n=Ei zEKFSZj$7|gP~`~qCO`@j8cU5tbmL(JUQ4xVhQ0u=r9?hLrm60JDSYS?$?U3;1p+zf z5XyOb4j~K~3-t~R`#S1{q*Z}5u)(1h0DCtj$$)YQB|zUe(kcBR8yPG1ftWjAHLRq) zYPTHs-wDpX7V-{wo(_G1$W}Vk%6)-3X%G4-`2mFEFw%Zh>NEOXBv{+o40od>Tq!Dy z>2Q_!B=b)N?mOXokMc0dD@DuVh}q($Y$+RQ_uabI31%1E6;7`1yfP88rUAf0nrP?x z1su;$cVt&b`NZ0E%s9N3mBjnb@6lK_FmRrRf>O%}Fkt-r$MGW!2&ErkKqwKb|Jpm7 z#+t+7s)rLH$3yc1pI4S(eVJwO$yS3gG}WSeyF%%S{}h3;*+! z^MjT7ze&WLtQAL&H&jWJb2H_u@CQ9R5N zVGEIaPT!w)IaxW>nP?V}ffvz>T+dwjl|^$(^4eaRtJh3C9eslW+W}l1ehKH*UAY%l zlz|<4*LqK=H>L-SMY94cXWy@%M3I2^o}MgM5=yM*6g7UeIhv;Hp&w(0m`s50VV?1c znd7hLuMhJ0+h^QwgYLro{h`6n!i+<+=g%YIc8>d7z`SZ)`zd!GlBg}P1nS%GrG98{ zn@rN?J5@(XJVv^y8#`LnPKQ)BI%`>;{R=HRP@C`?Pgv%gkO!x|u^s!mIp@7_@xcNo ziJl3PvnqA&?o}M2Sd^f->mqgj4HDqP+b#8VeP>8ogKQ`iCof6~IeQ-BikpY=twJcM z^m@e4_AJS9A?qv|c8sw64<~1DAnQdu&+V_Ze1CsOb1*{9IqvyfE}HUo8&9(Z!!F?bh-&>s}jJz?0g2k zHK~F6B#&{uA{8Sp?6=--Vy=L44Z9_S3L`2Ou3s!sFP($NZN*7JVD zi4bmySo=-B9S^8x-zP;{c9)_a^I*U5X7eFG7{xAIQIYv?L&Q8?k#=+hKKWE_ny7^` zW%(;TYFdLIl)o}uiB{%~v%COK3F;67+!aOxmoekTZQOB#UHYA~=(xn& zhi#$RrK;X%vqURTtr<_IaPY8;1RU=GWS%xLr>e6VjjL2vQ!Pz7O+MUgl8b42KQ{rK ze^_$T%D#~U{~%wz_10=Nk*nYCL&&-B`Fawp?zJ5*x+kL3Tb0tl5iU=}ggZh0{Rv&x z5m z*X;YpjZ?F8sg=Gxiz^$re1u0jQRkw+{jW0nt0e-(Xrfwu z)?mzz2NBu7zJyE7>bJcXgCBM@OU9v7G}*s+C6`#qH6NjV7qG+8x>fKMZiK5}Yg?=Xzu!XGto|ijz3iT5VLz_Wq^ObFGy=mFgd#vkg3WPYcob zjK425ry2GCkax^3ZOOq*ci)|PfER&Fjc=Xmr&Jww8i0mkV+6TBMO2m6_n&8iSyb>V ze8%c7<~KQu3B9}NY%+1Cc5=q4x4 zUZ72-{>0EthJg{SUwL;7>D-(1tE#Pn@6hJ>1e zUe=>iQ|(qu)6S`eUAyIv34WGIo|TXcQ&SVN9Nw^@<7|7K92U3~AloO?r1wFJCNe z1mxfJo~_;dhE+dur3-p%4>4K~fV*g@&7&2fIZOAn*^@`q^98hp6};&{3rOWBhq|Rl zI3+I_Q3Q&~BC!JyBigOi5l5^ST4cfT^XTN(2P^AP`vxk5PD9tCsm;P7qwdX!%TZ%`0at$X8psD13N4`FM|Or* z%M6MH2@S=8+x>`^(l#z<%D_7(uew~-EwyfEWKa680hRT}OUOtQx2jVKDzoWFO zdm)62I+?Zy12Y_x<+PMnl+1?H<5)80J?GgcS+vd1#EJvQnsB%5jIv6Wh=SM#zc|&H z&o#Lv{C}NvfEZ9s_9Ol~T+ZTj-^e9&54b%$?W>QcD>!gB@xSJx8fKwiL)u0=Uxwap&)u^zKQzauoSSAudiu z8?Icn`l5~Br7dT=a+Eq*G7ODZ&NUVPf;rm@dTyc2>?<|07HJB5d)?NPJ(qE3(<}ac ziFLX%;uKeVo(Nn(>c2k-XjsTO?a?=R?#fozp_u}uPDgY~*7*-MmI&-b0!^B$cf6Zn zS^5C#7_n~xMfXV^6DNXMciLu`Jd})Yyk|VP5vz@)9(JYD!U)yt0y}8tv%J1NFY&iS z7bzY+hc?3@9abcaKQJwsF`jZdZ;#?8JxbHXZBKHaVZ-YVM51J!qt z2;9X3Pce?YZbe$BzQ)$~lfYZzQz!sgi$RW7noP@z>9k*YvHfrHh5`!n<9+>;1iYWc zYrt_A2ogC+hN70KZbKmmO}FhPz4^Z!n^|2=u(c&u2`IbMYT}Zwu};~fJNqm-1!C@b zh+qRYF1TauBK~5W&rj)B56ogH#oB55$}G9DI<*{y z2SjrvrnMk%b=hY2Jobi{oOo`P1Gjjt%o<@%Km2{Ny&D9e_=Yh}VAS7PMny2p;xK70hR!Lb&?M>fqTF5UWjcTDu$9Um5^)yebmxa45O`qzkU2tI zA4cr7Brr_|Zmj$J`Z|M{07(zv+L91JOj13lc~`Jd{%Dz=aBYdtNVQlD7Z&_CKEcY_ ze91DdVr`lvk|0m3-*csfb=YZvq#*H-zvZ%PxX|?{5v?=H(A;V;oqdMVmm0l zrjG)Im$pBgHUKD810hf$HJRI>8l36}RTSNG%Ut-~b3Y$$cZo>wjK8*sLAX*Im?{-Y z(K}WXg$!D9Ee*w-~|B$61dNx1z!6Oj!8r=hG6;f&VwL% z#{8=v=B$LB_8kRH^A=P8@*sAaDU8pC2C<(4f8&wKFZEIuD4R>6DNRxEZh8;qhbO;_ zsw6&u$r`lJ`F+eJw9PDZ&|Np>DbxBL3Ic5%+`{0z2i(uTAdocM=d?+)aV%piG63yN zYCF#DOsR^!UIPI z0^4YUcQPq5UgAo?gjSRvFR0>IvruAw&~d03l^~A+-mb~&N}Y*XUF(9e8cBXU8UZt) zyUf&8YfOqGTYIh>g@-%y%NB0V3lRT=P=F*Y*m+T!2kppPU%AoMEX-9dKi_vC@0|R-H%xo{mRtyP^ zKimF95a;hdeBt=yX6QfIRuHtHr+?bP|7k?dx|>HbEnhU)J!A?cM#)X1x%ks{QZAdiUCU2N$zib)Fow?5U z+EaOyBv(5|w{L7>iHH=U9x^nr0Q2ZS9!JE~V|1&9E_2%V<9 zzgy2zt!~w(O+REKd@HtG-~MU+CsRc7j*rtl=iyTUmsbIK+eMD6w&JX{$!)$sHCew} zMA)yoMQbr0WV45=SYzE6d_LjqFM5jH_p4>m4tJ}?+9W{G*|{$13A5;v_6|>&Z~g=H zN-xxt3`WC~eZD|u1*X}G{}JlSM=bHjrW-|JXV6m|l*`}W%1zmXo`}nCW6ZG1b7i;) zm0F7k5X)|TAJW1CncXKiliLtBjO&=a?*-8zP2kV11uFr-kW&1PfEs==EL2EMJX0uc zav?roD+f{I*6803l-K7iPEWvPZ+~NG2V#O^1|-&L@4YUXJlcV%QSV8W zyChlK`%Gcs`mtD0;OXj_;NRD1rA;Fim*l3~3Q~Y9fW!aBN=V_>**y~Q`b)oeofayQ zz$#0==N+n`>H}kZ7|Kgz=pxj$^pQHMU-&0v)Im^<1g8EZPk9U}r*NT9tqy z%MXiLdH45I5tMa%YNJq`+yL86N7otkWJH6hnEN2mwIXRZZhuGL56sW2Pe?$ZD=@S*%tf=?1oe%l zm3EW6Fn*wo9L<`2*DK0sKIaEt{tffC9!}^$K`@O9<3WT1-%IqBeSt~%H zH88HP=KwT*yJ&F;lF^TeqG84ai}2QvI;o$o2_cxuz?t>?m%rI#!Q1}44ZNHSADDYS ztYI9T|3?f_BI2SWBE7@6T64-2+_E@Y@i~EG$y9FMg~zGs$Lu$niy#vQsHs#^EaQ|~ z=85IOhiI4de6RK&oP6TBPPR4a#aTctmLJ;NABcJ%WtD3uHo4({P5FT{J#DUiUk3Vp zMF&GSnZszKAXmEPx}(3BaV1kGbbMpXd|imAsuyvdb5+Un`_jQNRANUBM7!o$w5!!I z-8(L9{=yoh_9Ai4_759JW7|(ONoEFSF<<*0VKnfUQQEhG#=xw-Y)*AsO@;xy4;N1n zTfDnMd6$cM^te?4*rbDI{Nz@RWiofVRtLTd)O3hOMK};gp#*{CAqi*^8&-^<;xjD# zNF^-Nc}*kTeC`}a_W5tr-l1-V5dHoyW!WaX5Zeuk7k z+wMg{i1Y6xD3|=G_z-r>UU2caO0sS<3c~$R7+V>4f^$8%l0JqJZ4xYBuD}-Do*#-P ze{8G_jO9L(r=}_T&=Fdk#@o)dIR7Pno~$|BrLIx)U!pctb10-C)n(k z?@3|`$kwPhXJNK9cDSEuBEG-R8&QIO`GlESm0m9EI<@b3*W zL4Xw*{QG???ive%)`+h4ln{mi|4CLlu|kLi?KN9)V1YeIW>rpmS~FF;2q(LS?DUmp z7gT3=uDcd58kkmZHYlzXMytZfa)=2EsjkiHe)VEr;L!&dgXSxx{WI^`B64ugZg=1+ zCaRly;GhKBlKdBMUN!j%HQa5ANt20{T)dV9QF_|Oca}I6i=Lr3rEF9W-LT=qOjIi_ zNwr3Vb}HHwPMU%-)Hvz3jPmd!-nAm<3{=mbePd}_qUOFg4 zYBkNZ-?}+wLT7F6s%>h#NE(7vx~>EFHT^MQ~;+`axNbK;;UTN1Qo?dd?#*D}2Ho=~%=p^4p#m308{=P9oumemZZ5Fd2X8 zmYErY^xMW$(W8s?><794@|xvyliMk2sF;6j=8Na^KN8N`(Q%zuBIz#{H|fxf!85Wz zQM@&JSV^T!t<%c^-dGbAgy~NBQT&3m2g7OXX(dAg$H5COe|o9ct-cQ-n%zd&|9QIr z1%55d9oXi}#r(gYF7nlS6v0^FcYR>{`XRPlzJAhzp%OP@IEulSNp;N^({~Hb&ZUb| zsQY@gqPT7wcwttMI6Tby=-kb&AbD39Q)2ZNSJI8rSgz2Pl2JrsKZIumkY3Vs2`GC zwn~McJsd*QyUG6M^0c%$Ek_iRfWkb)_S5?*d8*w{Tm@n^%2jT z67z`O4SMlm%}dLVdD3id`%RHVgoTjNJs?`5$X!>Y{>Dg0r%4@MQi)2ju_{ZQD_8Bf|h)1O+HD z@56!dodYaQr|VZGD^1q54g+p>(!vu)RU;szO+P1~&QC*GlLnE~m56_%q=)_>Ejrao zilBXoVFM-8p-Te09U8T^h`$IhY1Ks!G>{xpZ(eDSY1rKHb9%S0nt!}DTuoDjXH%E0 zyH}al+MT|iQqT5HzM>t$0gMy&TLL)Nc;{7|N0wnbUwYi3)OM@ao=ZeTJR>!VZ%7_M z;6g3c;0G0+l=78izC`%5bzV};TnB1oPT~p=GG1B36Ma5Rr*V?=ZWxk1B3B;$986mV z%+7Qg#dsA5Xwb*t7b9-wiy#h1RQa5Gj(x+D`l~xx1!D)z9Fm5inGCRRI{=v7EynPK zOB;6^MdC9$CJ8wiAu0Fh_%x!n(OVCqbvU64R*2^|+yfkE;rNFGmBb9_4plkpNCSD!jx$1T#7}Ef5U&V+ zKB44f=3pTG9%NQ6v_@7E>;QPq#q)Qf?Wdgh{x+3sfX=EXFqbCh3ZVpJ6yWmnaV-02 z-|;34A*VIby8h7XfW?p6m}o|M{&^taAJMpT5e>jOYI&!YDI;1+$* z2}Xloa~eMv3n8$O$3*jmwN<4tqm8#Z@^u#GLqH6u4V%E%j!KvrplpGLvbmzRNRLoD zkUKq&!^uokck~jt5+4IL#lY648(Y3V<3@((E)R*5K(+Fjy2I1{xs{HCg{pvPa135( z8m{lJocGs^OGxS!dOUk>NG$Y)>$-F@u$Mu(+mot`CRuq=ySXwj_Tpc{Z zZT{Xt@ji$cx5Q?(nxSCVMLT1*sV9hU;u~a^Jdt@r3M+PY)-^uEWagLqfW?NLu?jbN zjG1m4E2jT@E4;+f<=%~nhK{M7FW(6SWf3mNc+Gt*gwRG%H;$W_|KHM{Kgh#|7^s8O`` zrdUiV8P3!}K?%G%s*l zZoilXLI<$hL|$3YIT^tr-_rCmXa1k^iUxShmt|J_jBuVj~pU zHzy8P0@Vp}fr%{uTsID=&XGza+vQ%P>o0M28n-Fd++&H^hPRgX>$Df)>irX#C(jJy z8-8V@!%FvNI-J}6fQdH$y-goW>sf23*NOpY*IqiO)nluvja0|&oE*)VfDu8^jx=e+ zJ9nj^GR5-@NkCqzl+Ta86c_nb`0~~8wyRO`m$u>0l%KvyikGxhT^ZJD}QjWWSzXmUrjYx`rjUbYA0TAvTsLJGY?}fMTGmQW(Id|6+3J$ilKX>yl z7lrA4t~+?Fi7OSbT>8VPT|@{grH6hx$rz^SYpNLch*}^1qWs{TLQV9z0e5rXwWqs5 zL&NY{d$jS;`!&NA=^W@E=7HsaB zoM0LKfIwBqT5>*{k^+-x;AMvpNNThH`>6QgPA<`2p4BF%PmtR}dTKfm0g885uv6%& zg6Rv?Ho6@8zj%NS`agvQEZl7W=kw(~Iui-_T<|?-bbq0AS4AC!OA$d2K{|M{^^(M% z-P@R+20D(P#Z-UFwoH3NO8%IW*RUxbr@Bv0sc=forT=nMdwMaeIIBdpM zc>7!n*xD;}!E9A3+!Nd#&bng)*I#O19Cg?PR)zqSmLd~PTnE(0eSCf8XLDHd^*KTR zKDxg@*w;pGY&3ZY>YX{RhDY^beIUL}KTL=TY$<l$V5V(U4P6;-DxgS|WW?Tkr z!2na2haFRr^Dy$lHIRC=y=k4lC2}D329p5{yOycQS~?#w)ydUu8)92F{|wZpc5mrQ zz{359_U!yHxeD{-vddFvxe63JJO99&x5QCuzxSUt@z+1VNaxLD@8Zj}N38&-mr5R% zo8d@^-U#yDFaLq8;r-n_=wA&A4q%Ouy#JFsUdB0}ZYIu#{b$k`X{yQ_Vcb{9|T zk)7&&!_6N|h6c}y+~z6J-T{3|`3!a4;Bf{O0~Mi!{HM4*geosLrKBq>Rs$A6qLdHa zu#T>uGkK(XFgLavTKeGcScN)AG@C_0<#lf(*IW%I2}Q_?&tb7cH)id{nPi|3uyUu} zaq@s(4N%rw5@4{Cnt@xn`@mj-g&ht#KDN{l_4y!c0NP?-5B1wy| zEGZ6Bs>Lgs$;l{=DUGP7M0pFhlPyjHANla*5aTuWani&IgXZDD3}0t*#Cjg!ghd;l z)sOqekm_PDu|nyb2E&w8u%?ymB^J$-i^^w!Ane{J^crNIKe+mtNCNAL0j#u)&%kGQ z7~14Wji3wcqI-2RK^t1c=Kx9JPC#NX#B-=oLwUN#Gys3$^b`}vZFQ*kbMD4REZ(5t z==bc486fWzt~5m6Drg=V27>~WXYzYBP{A|_hDj8Kp@*wXD*hmJsNEVDPc@ZMFrnm% zfw8%J%$S1%3HU`ps8@d)9lV2WIU_}?aK6TI37)0Kn6=8azd_4+T9qUI6kLVV>2nNv zjDf=Tb8Ka)EP!m`fzL+Nti);k9y>c!h?Au5%jXsHQm%N$Bb48^BG4CLRbR@{nO7R% z%#rh>&dyfmkZm=T2eyQypYHrOR8k9Ny8{Tq#N+XXf`}Pd4xOLNWAJ63KN^@eLXe(S&oIKDfS?+B8)3E3FY z>KM=JDySy&&aBml77}8>2%j_x_%j7gvg)uBF^|!(QxO(V=1LYfxZ6~9FI7vC%tMy2 zYc3_vDf;H{m@k%I(F%sZpLr4&+t^-@x-`-1i^_HBel?p_u2)L<01_ID{qdWh$OcW) z`+BwcMkGo!{N5t7>7G?kGQo#SBue7^s>^R;;vy~hslwXQ#4tDjHNLrGr>)aud}LSS z`l=~DLUJUTL0mmg@`WEnumw_xwshP7AOScVezyRRp)9|ueh#SCv;~$|JEQ+c)j0-d z0yJwowryi$+qP}ncAnU_Hn#0-Y}?#;V>>7BIaObM@87BUHB&X+J$LtYQ?;0DhUdPN zMXiO_c|tW8t@3+XnRC~DM)i$#6DZ7MnFFVA?6It#k6oZDn3)`@G} z)7`kabJJZQC;{7yKd$JcGpp(zAZ>V~Qq<-#*348P@W}RNTWwp#cu2Fbbp;5r&?Rbh z#l>(~&c1gtsrXt$l1_KzlpLkF@L&6yw8}loLf(+JKC$|ons(@7cf78I1~*IJCSRyz z%`FIf-PFUy3!#5pruTM4p|N4jyWDyCGhJ|?m08ZT?0+mSwV61BqZ~3to?ucP8A`O) zS)a16^A6OO2y`Vh$cVo+Qz_Ik)OA!#sQMQ?DN}VxPejOoZ+@|oP`wP*Gq9csm!!OH z1h#9mt+F-Ll(Fsl;s%s#+|momo0BL!$^0QJWyLqS+?uiVc@y2)&{~ah=9Uaz%W~OL zg{W~*TLTd4*TOZC&9iEK#uN|ln7M5`dOr0ptT1rl3{)0d5gWv}u28DjXy;{x9X*vu zXav?>N6p$Ce=sb-a?t`*$}uaD#xnD=?}Y`t@wgoXgM#?r(I(TUoxerBfU7AUm%;P& z2W%@>gR^PFz-MDdIy?Ew3~<;c6H`1w8uJC(^+gx&MY@cAS|YBB)Lqr zdA%L9;xc+rydE~)Um4;)?P^EC5=632jmKV;A4XDZt@3u?^APg<-!K=hoEQH$oF)T@ zlLMI98UHJq)@V=0(R9FX|0kO2&Ifw~hhYLI0jUNbn#_p4x1+LB9bSe$fR}s z=IQTQHmg!aBMe8A@_M&x%I*ia%OHGbU;bU4zMwjKTNVGnop^fg<&XP(xA27>ZOa1~ z^0&W1GUSm=^T+IM3G@K$03Xr26Z(bGo11=3=Cj$+JcrFa+h1PnBVs0gj4Nh;C`~Tm z1$0dM_2m&@W~8A7z=QKP@Zx9TW;&jfaxNE#`?0TImU}{=+;s_>>)8P^-UM z%P?W(z%f@t*kcQ^sbH(TG62A>Go<2L6(HtTRhnt5K|CZFOjDSgRDRlhrx zBf*HW?un3FO4@(GyoLuv(gvZYlfK7?C`qpMl)4vSJk+%);6La^vw$)7?DbAxrs1S{ z#gz8nwj0R&#;ky5q-b+a)rE6qHQ zIhwVIfF+pSNG2ZhI3_WWI;JDqg9t`QhJRVbEUsbk2JC;sZ0(J9fd;-XV6jJoVw z2!0iCI!RjVAH`suvdVS{j50Xn7Vm@fgiO6Fa+&Aih>@6Pju4d)|XdpG%c9J1%B5I?rV)^{~o9gHGeHs za&x7w@r86Z3qmdsE0QnWK$7ow!l;~xY0N*tS}-fyfD|DMu3+rQhQuvD=-^wBMhXgO z0;vtWGy!i-N_bntWm@wt3gSUiOzJ)lM$sh)3nM5k2x&6KA+2Y3Oz2RUnlp8cG@#z- z0OF?QG{3Jb)Em~&;Wk~DII7^a@_|%BdB6-cz^FF!;FEp=^F07&RsjMJ?;LzyN=xgu zUU>nhAU9&WG0qXsSdMeVS7i3s;p+k9al~scOTh%Xm3gvdCpMHV)X-bleb9i!M^! z=of)aXxzs;X8jF-rpa&ba~1F8mD7 zkQOj2aj#f72p!c143~7rg-*1W*dTG%Id$p7+;x4PT7f1?=9;uJc34KkchVZI+`Oj9 z(dbUNU^)Ft0yJ&fY9(L*?6bB#*iv`_TGr=@_P)J$$BBjRTPyj?d!0>ajcWm3T(I67Ma(!Bai$2PYy|F zW!KJ&>BG@yOC?DtBXN49EXf1V1Wgr55k*AeSRasCbmx9G^#CaMZ+M?6cSEg5xGZ|t zqxI*;76#@DDH9Df^75^!6T^lR&N85{NWQ?vLmCTKx=C{#&+%2S8B+kPC45(!)UEqA ztR?5j=7w5*shZVQB#2k+`Y)N{zJ>wpJ5mta+$O0mdRMELF0>U4HN!deNd>-W{IEis z+9O@Ae;|HV&q|>j?s-fn62o*|85_Z6bJcBz0l%OV&iV%CUHMlu71sWxwgr(de!#d) zN13eXsoP42CE_x5h7bbY#H0Lww9kOKPDRx^cPGSCz*ak*eWLx6Qld>sXGbgi#v=b3 z`)*ZnGff_>Rs5)V9HIj6SY52-;7nD>f?UQ4RU|5Any!bTHkZ|XvSzIhD|K_O@lKOW zw4NB}8QyhBV)ii+0Vl|@2Y4==Ot=2EkDdo<7VGPEf>@~T#HcQ#s{l>c6@eWcY=x}x1V93;h zsPSP5mJOnvCq*pfqqYo$pRQAtcY++$@7>vCwWPF7Ipo!>*(;Mq4-Ah}ISg@>LjGDN z%ckza&Dh!<@dnUkTRDnQ!bJJEYw7eueO9<+S@90}%_;0U+u9}&Y*@MY6%}Kp%Mh~(6#9v|whUjsXmmUc&+%N~- zlNDd8BT6}JDq4kpZ*+mz&4OXFqGJ($zD<}%-qZdbN<#phrW>Z2TN72{@`JR;iAQG3 zNQpU)zzxAChY!uWXmUf$tUvxPOliBkn!l5E(pEg(t>K-~ZoYF=B<+lls#$+*lP@pX z!Mqn{S(tv?nVer-r@%|ka2mSpO_v7SCvgSW`RKl=&##y=2s5r$!Sb3H(cIBo5*o%r z5F>6}EiXVIXj!)G-pND2d2IL)Mkl5uzo`U`BqnBe0G4Fb>>ovk`amD9U5u4ect6iR zCu7&^75IihUjF{uls;K1`5Mo{XBB;Umr-cg_@ERL=SE=N^tLguNz(ANqJQ@sr3=V? zTR(`qY@e_nOic6Z<~-$}RUrj<1KN+W_1%?g>Ttl}j1&XA>wR8`?~!I4oTH?t>ZQ0s zT~J@6EH}ZqBDL91EgceydHz(ts1#Ehg}>XV7mNS=p~}w-^2YNad1v>|5LqqGwEA$4 z<`4<)hF0y*L?ZT*?muQneKJfS|NCU)!)z+m0}&^6Bt4kQ%ha0AQ}5$LB*K5s%&fJz z3tu+n;cIC4cJCK0>jDpW{_Ro~jT;&}0`Am)xSq?qH`r>Sf|eKIYcV zA*M|E0mE>EMZg~(o7xK@EVsNE6XwYH?>dlENiVZtL$YjFk`NN^{;5dc#q7d*u}Htz z>(#pIr8A%I*mKC<^QfK_@aL{g-)8{E1Q?_d`aj6%**IIh-f35BO&%=ZNbCRM{c>X) zAvf`3T|xIUH@O7m*D(p+rl(g8n84;21I>dP8O#OF(9r?6%;UhUy$R8K?pKV<2kVlk z-t6uD@O#}%|Nb4zSr44CqWy13YAr!kV}BG`N|Kh@vKv#}HxU1RgTBF&Y;)2-3~&OU zE0ha#s6T;cRJ=V6fzp2*VI`8`H#FNuYO-58yPLkeijw{v<-7%hqv@|BJXN(=*GvDc z>mNo+ZuW6WO%fUCG!q@Ov~rH4+y#-$t^8Ff*_%0&qz92gUyV)Q6@m^HE*Wf~*V@@< zDP@6CS68a7j#HnM7ClXq5l;=z3P2O2M9zye&6vm%)>3E02NrGtQ&fQhftm;ihi2eb z#ACcpn{*u5kDMqUg!P{=SCVrEFNa=>BpwOGht&1txFe+j75R!G&QnJ%-1z`*Cayue zgFtndeh8qrM=H8|1r{Lupxv`rDdj~bxHO+H)MCE@3yv0=KRSu1#S&EN2K1n)GdcnH zos7EQ&O~C~Q?kBga2V7@;rx^ka40of5kYYSOG>~Xa+1_}*20*bw^ID0F*IJ!ncX)? zo2OCi~B-`sNxBElyx1Nh!{%X zNW%F}f<~RU;K*Lyxq5qp>A=juWPo)&syg=P$xe_H8DhK+<}I8Th;C@W4Mj}Fct-&k^xBvmB1b*^zP1HwoHoTiBf5$meqM6QTtMJI}u zVz>)_l>1uKCBC}MN)zJGLEtJSY)ruFi5m;|FMm*#95Rpf8ja}q-r{%V0=B@zPbt3M zChpmX=UIglL`X;Ckt=`qPU;=3y?3Q(Xx(NP^|{#u;=5m@$~$F5f)$;?_yqmYJ;6vVN-8_ zP1DQdx$SSxM{1kn@G}<)Xic37wdH|V_@%wVVoVShy-|=E?@RG;@5a`wI*P+-Qn(>P z`Mw}J*H{)kxj@RC#E?g@jNV68U13&Nw+K3G-E(sGG*+#&Ts(A906X;;@q1D4c_N27 z2Lv?Vwy%z`FP_K;T6Ky~=LAZ>(&gcNWdoI*X!&=}CHA7s*|GVe>S8Ne$g}%d7FRLf ze7mTk*2N5zT!USiL#_W<#F(jxUcr8*s?B+hz@WBEoj9YJac2yY&UP>=tN(1Gz+W>c z)L~;}3L9le`o-jZKrr8c_je6A99pg-iCZ8pr;&hS#!m89n~c%yF8KAOFbX~jxJaVw zK*3bwdQIunh{C9Ytl3PAHkWWXnf!J4G4ahvB{2OY^+X^}1LZ@_kG~rWfu5G#Mbc8OgicplAo$%+Gdo%c>;mBZOat&zbIh(KqfKB51HyfzOjQ;GP4k zp-`q7$hs{sTNL5Cz7dCJ%&sxB>x6PJOIn_-415RpfAsA21<7ndA->Ke#64nbv|DB? zHmfOumg-w<0J;61s(^}Os<^1^@_U;axhvw-&pc;DmDRZ(&{x;mGR&8iBc|iNhKKrV zF6p`8$4-ILHq)1up$%ZI4^-xVE3B@r5p-6*UH9dbN_3$E+`W{7gZlCvsd1p(sR_q% zq!Vby8s|MjpcO$yhk)HIXtGFbAr6JgKW}WwXw43?0A`*Fws-s!dU+=3E=PrPP$o8& z;dTN@74_xT&e=oMjoBP8>a=1!E{3!m#DU;r&5GYflvm2#5z^W`ROeHQ;zMCI&g+=9 zCOj2g#nEJPu^MqaBVk9&N3t$Z)bOJj8x)i$J>x}O!s-8N=Yi=QrwjMsCUnIt`y%3Iad;y7f4AbZtrub*G5UzZq**|KYjP zZgX%zP*c*i5(9S`{~Z2AX}>adN`#fDwzu)b1TdVibE8GH7nxr8r;e`=mlzt3#akZ1 zUH;2L_eVOCx7eM9D~ip|-AJbzjmpI-DS~^-&&v2A_^j?Ru<{D-l0b#G_N#4el2m9o z(xdfR&t9UT?e-&b=f?#*;)aN z0nt2Xd>&?wDa@QXZLdNQoWh2QPTI{Pc*zbY662E1^Zd=X+4$#+Y1P!BRwoG3zpSQ3 zhJ#c*=)zp#D*viorrnS$NMEW=7l*(W4y_+I@SJS4<~of`THM#3PL$o(LKv;tfiKo5 zm=`)MDx!Oup@2PA&6Fj)+`&+OeUMhY0I1eQH`__=1f1yjqrx55%HK`syBD6%--CillO>-Qcn3xc zo>*H*h)m>^0=<0ssV0&oM-IQE?tXfqy6mwc()0)$@>E7DekeNNSefUb0w{Dr0-21X zDt{1q^fm49c5>JGNw|-<{M`WL0I2uW{g2P73u~<&x9#&8uf5v2j+Rc>G~u!V9%oW^ zSyu5J)op(!dlS(Q_Q%2V5;N*7LNbI)|cqW)X}uT?>uWv5#Fd?LmGN2<Dt5l^F9|mddOw}myA6vJH(X{=DX-Mit({-7G?n#i z%@nm{V%Ai5%2zKBl4~YgANbQwdU)~qWGL^gr+~#geHIaZ#wPljK_*sKub)Xxt}jpO zHtk*RHXWL|%o%v~bB@q)@&^x3}uX5jmRbkjuiq`b%YY+Uvv`PeZE~ zK-gi;km;>GH@k*1I6Grkkp3Aa5QB^Rj znA!7>sXkG3l}Yg&*-B}45jG+>O*=H&yi?aCStv08m}ZIGvuz`X3I=7c&8I~DFkIT2 zYW~$SVX<;~;fweuvFB789E(Z)lTz7SGTpRmx6}@qJ~~^>UsEcKb{*-cF)vnNOi{8$ z9zet|+}ubqj1$XgOPUH}zgqhUc#4DG88pW4m-Qi*u|+*bJ^oC;7E{(Fo1sR7f?s!p zBT*Cpz+z|S0BGpGDZ3sY_D-w=ioUhIFa;C99#~fx%Umm~oJNKh5iYiO(fr!*->ht=Kb35>4I9S6c@T03)p;eNHeA^PY`exf(D4S_M@bY#VCMGTDi3*~A3y13 zZ71655M!&5O1$YxU>JZbto@!%b`Quh--w3vQ7TZTz*HE2#~cfoY3{2`#dtyCmmaeg zU8~I<@b+z^DJs@m&afAfD)v*!L+xUwPU;g{gE_fBnSni2DUz#C4uP1@8nRC@7PPJb zxM6ehN!`t3H&VdHpLT#hhVT01Tj&@(l8rF)(5fnuu32)M9;jKS5}Rj#yKN7=O%<0d z`d6(3K2GB>m)1PG<#Wd;6L0%K{0uUb>POWK1bzi5BheAYgnKWOQpMD)iPTv7*0tZ7 z|GVf}B@2S3^Maw0P$u8-SnS%L+0LE^IRCPWv3m0(+2jXv+^5%F zF)n~)i2HXtz<6Cghem4dmq!{49b>+iZZIA68{!JXKU^{h;~&Vjtz~~41##0QfSTCX z*m0E#j5(;t%BYL*XWo5~n~;)*un4dD_m~Cxdki$QVWJOYQ5Z)t9xM^2@%WRsCoyI@ zbXzTu75pvHA@9LEt>nPAJaF)d3y%8e4|J3macP zeMCj{Z&qD~R_J`~3;gpvu}}KOOC8 zlk~6hKk#|NP(=^+&DY}ECAH}*7lP1ajG`2UPzKFgeQJRyeV+t_{ly=LsYy1OPIq#@ z<{);Y+>m1;)&2=k*JA5S)t@L12*Lgyu#%-*W}FL*ioj-sWWcipIb#b@%)F*v#Fns` zvzt$`=5W2_M!7j~ebBC72^`xSW_-N7q?H(8S_ zl)nrY4#RK<^Hq%oc7<*EdVl#J(<7)`hM67tDc{-BZ_2X-x&4j5jD0|Xq;^p*2T5rg z0n_v_oDUgZ^OdGkodC)wwmfW4r4-WANFUC%MdmB| zDxdDM8rzE1fN=c9dwSNnSQ(<_`uN<|zcelLP!_hOR!b0-d$gih)k*@3HE;})E_3wFv( zHHHCY?haFmDgXjISL~2!g66+MnrdK&gp3>P>^@}LZ(_!aQH~!d%ExC6+-rK9j&qZn zdv z==638@;c|42Bfo)^q!ZN3iOr z8&xnm>gKslOYE1YVZlH^%2s3YF+q+SG22ZWviR5znjrN0NbBBwNd~Ix@ z7XUh^k|Q3;14(_%v%BdvsXhFG@~D{yMGV0LmT}lq4|PqMvq>Tb!JUh@n}3Kc=@=VZ zQKH!0EdrFP=7ti@k;G}3tAwTUu+N{RQZ9c+0t{lmT6`h|L{c0GiyM@IR6yi7t9khsYY4!3fju9m8IthPDp9P&Y*~7E zmVRw7pCT}>Gd$2BN7kpMHof4q^j%&NO2xLSJ_ODw~KH7Jz0eyE?86z z$p@b_0G6`58Tfm28|)<1NsEZxtsPnO+s#oH;KI~Iq61=?@b3itAWwpL&Y8rHG0sc$j=#r0c!V zITSqXm+0L`B|RL-1HPA~v>Dl(BS5H_7`?^pqD@}Pc`Z5WFJ1NH>+kIrguIpJk<4_C zfQMYsj*={gv1n3Ui*{bh;D@Srmo$FDNO!P;qMg6{GZ=yIM~NT9#>`IT^v;92poh6_^f(KzAiL| z+*DVYUI%y-A7e4vMs6_m{{Yln=O(>UP?rbOe@Wq?SNrhu_LZFN_8ly>*iJk0DTi$R*=2O(LvWQ!OH)q+b@R3lXd?YSQ_|WcsNSU~?%Xb3QblgiSM>Tk707)( zQ|JY?4wd8oPuYYD!pi&~yDxH3R!;WxQ*q!Q?krn+=HSc0u19rdKblP@foqjyV*i+? zfhbwaXY1>9zd-LY(D(M!=j!xj3;V}E*pF$ypPDGI?(^Bg6Q( z7kH!Bck}C`t^KhlU9r`{A=|@eQ+QpaYP0RV*B}RW_%-7(|Yu@_@WvgIP^f~yh8y<#KD;26@ipIQN;1pOSLTlf9?)00rQ>)(sBUJjh|wDVpl z)md0xFi4po`HPnN)EG_7IGE?^(tDh)a82n-gL7vu;}A-8UoMq2&h_~mHFFO~(n=!7 zWaNIc$=Klj#9@=bXL9q0VPph}XxnQKpjzcST{UP0*a`HL)~J5qax;%ddevfPR$TMJ zmHI2x%9ehpW%_H)sEdH75nrNXbQR;nh0CgJi9C7-t|!g%((md$U$82c*kT%ZKoPp( zc>W4hU?zZFuW#-tZoNd}77nqO+AB>7LCOJ!Oy4;T#1MR~*PB8G&O4pr?&&WB=<#(* zr2%mSa&sNoEP$_0ZHwBd-tv@JmH$udm?A)S*Y+7kRj~Byc(tiE{{h?H}G#Rm^X9 z9KiECV-a-;t&iH9qt_So(%c&hQX%3!6oL8GtfW|hePs(Vrgf#i@nkR@AuLn@uI1-m&_*idR=EQX2`#{#Uh0CsA|P(qs~B+0r0m_+JIICDnD zgv<<@_^mG>-`zgSNl=;{XB8C-RP|Zud7C&`d3~x;`D>Nr_K_VnQ}%c4f_xJ@|k_Vtjeq1xOcL` zK)E!6GsW3*esxm{q${Rb1BkXVJ+1oErp==Gac3w2CP;fI$Cow?RpZ)VKh*3O-{JwfH8&DV0jU&$PUp2RbJH z0uviCi)oeo!UC~s7=cLLoh65F1W+ld7IdC8@;TsF4)M$f& ztU6vPL#V%|RS0R}TMM+A$H3WsgfMJ;*HjEPQ2f-i^+$1AfF0-}WB@o1xH{VwD4B5Y<*87ji;9;Wr2wSyWmZxj*(kY zLy<$M6p)B#erA`5C_ip;Ey<_utSX*^W87I%zr*+{xmkXb7zfImy+r`^zdBxo7Wk(z z7y&7(2Up!~O^4(!>4mjIlT6;&FJsa`y^c%o{~hkx$<4-)Y=KOTL`p0H92a_S`9lqO@TpZ! zz}1*ZAFTy*Nz9?C3dWdi9-czClp9+{CXSj_6@RNjbN+fI?H^jiI@&6bct5~PH4ONj zyvKZ|lp|=;QC7Bb8=|%_h`?dAI?BmpY@W!u+LO_8FCzOOxO7@ZElA;YftItNQ7E8P z9omDtwR{#UR#<+((9|VGxn=&O&ymx^BWvw_-C;%8OsYuMpS0;x0UPx6Hzl-3bp^yN zT{-HVN%bl&{Z{Vh(j3As+ZU^&R!=W-$zYe{V9K}(X7S6|<^kXKi$)gVTdB5Sz3YKO z&hJ*18L^Uk#wpDW2|e5OS6J9m@nZxZJ6mwmg8eVAV_~Y-OZGh_*#sYU!$R`o#-q&U zo{e>0LR5a<&ihUq5ha_IpL56#7q+@dE~IGzf2^Nw*UMbk0r%gwGxRPq=J~XIQATFN z4JEu)ae1708a1ITa8&;2~oy)LHt!~!pa(iK6*wraAywzHdO2>pZ=kv$ZW~NfXjMD5mnF<1`OcudRCCffVZ}-1 zv!Q~w1EjHMmV4g*)h~8aI=6V?Fjy|Rl?hjZe>){rw;5&S5EmE44&maG^;mFfSV%DmLwjKh;~_IuV?BHavVWFaMS=nGm)HJu2; z91&g$?g1kd-(r%>I7B)eTl@6MOIBmq)=OP3A@(NoZeUPJpNffy;dHuF=M#bu2;p2} z4q=755++bxM4B)}PUjw?4Spe36MIz*f+rDK=8Qn-A7unYz!TS_;K14xWHxArnXVLF zMA(GhKD;@jd*?f~Zl19WO7lti;w}ZHS_Qlc|?y5j}{$DLoCvVD6m26>B_Cv&a9JSsilBCqWX^c@l7vuVq!{i8yF(Q%B=JVj zcwsa}L_YnIc+?a#kJ<=oxcm!00bp<%Y;B!5udjD%GIw(OUm@pWhxgEo{F2>eVHx-#gp=dAw#pdWUAEK48MDeQSCMzXYx#F%2b1REi-Zz1U= zPT3kjMq&hngPL3p$xvD_4mK1hV$20ZE=bKA^i`0{ZZXJH=;~|^YvUg-Ht=TvPO?>a z7L;#6m!YqOvC>k!n1w#^OoRg(m?knab)N`WR~S@)IdB~!2KsN9yf8y9km0cmEb$y4 zBQnxp42CBR4r;d$gBA4@;py@~&U1{Lm?SztQ6h$=DM|<-v1HChF$ON!l;uSpn>AW? zt8YQ|HZI2y8-uFf5*O!WhO(%5CQ*eJjOc!CYd0lkVn{+p1eI^~gQBqcUfdl3 zrf{?w7W&r^zBEffXxBiObZbC2UdFSiN@<%!pEWtYkVEST#Ss1L;wdp0QipJ>Xd0R` z+!b}b1sL-}+%-|ji)b%vJ87jfT%h|rhbW{+LsyA!Luwz zdSB1_^FYrmOqgJ6sugc8qF3CKZ4R=}u$%<1RWlw`G2blp6z!md-4_)()&C8!ef_k% z)!p;@@-etvW#gDf=)We=IgB%A|Wync0M6FNNY@_Rk*Y7pAj33S#69~0IZZ2$Rnz_?R< z*cWWrc8D?;BJ0TYFEqtJD3^odT8~p%r%Hs|7znLQHOCMFozhMDd>DOFxB)}r3#hIW z1~1r9w-we$%UmDfID<|w6|}EN6!K56qe01E(`$T63@jyGusXwqy~cCEFginyEqNFF z+DJrPFo=zlWM4GRO6UO`V)9>O_e@#sDe@jy&qvm72q-PmqeDhz?1a$Q{!pH($(t>WcTySzFxxsr-F7c!|33&4w4+#2$r7qo#wgh#=-I^=%m8G-58!9clk50 z!}EA2jEA(cn}(9EmCjDXW(8}4X)W+y^l>tx>61r#dYDn1pnRc8;bP8GM*O`PPi=+Pm^c2%f9m&f)GGl;Q z1XH;TbgzRNID4V(Y{!UVT4h~?=<7WDH3d_mTc*=Dr{qbv{h8wah^X<3r9$Z{wo6V4 zVy5@azhW^|v;L-rKXp2?CBXabl)5*6?`l-yRf_fllGYRwZ%Yjs?DSfAjZOze)B~@E z`D38JWs|Xj{cf=ZX!gd_d#1ih^{=f3y#BlNn02VLuj{Z7mFhK@5D#cLzciC+|!e4!c*Ywf{{L~ zMONq4>;XVC`ox3^CLDI3v~p5RZm}xI9dCI-B0_o%S&@hUrl*aNY4cn*TZcJE;pL|a zlRo@PR{HmodRVye2ECwD-z#f>hZ_d!`1*>5R}D1iZ~hTW>)W1pPmQrUCpCRE>W0l2 zX!g4asF3Ap>Ss>paRr$Ld-s8F0bb|DyW7GZ#KA1a@lr-*##oOZHxnXB)9=Gb;&RbI zUk&RR+s5+)zyYrFQi;oMYZ17<(|A(CsmR+fY5N}~ndv*h2c`FqxhT8~#z^INiZD;S z4pHh~rnWdi4>NuDbYfpYh&es|VMZJvUrFQoMGIi?v8R#=GUHuWt}veQ zH{!yjVgw>aH~Uu3Pssc8qdD_}q@N5K%oqe8K67*mGBl%`45{z*hI4ftrk($eomK%w zE*13Hzs#EgErk2X6j+;V@@x#p@mcu~^b^UebzV}XYUsV{m7oRj64()hYRjU8%{hNESN1LvQ|;eS5n}!?NkK9n<`jcLDStw+ zhfip}<=T7{M;Hti1fG6>6?{Z%eC z2@BS>tJ7+;0$?GjM^OUa+|O}bPQGv!oV%;>O@%gxUEfZ>`>z(6D;lkHq2jxU(4xwD zzfc16>|O_wmme`tG7V<*g#!0)=7c9;npw|B3WWF?;Qx#|^&VxwHl6#a#6Dwvm*Cd; z+77(4y5oa})?2a5KsUz*tC(&u=H}Y(B<2I&C)Hp_YHK8_%?7eZRZ#|uMcttR^eeT| zPE;RDNh21hapdv28)#fhqz=eR`)J>>{F#Ub)hi{ER~o-gjiZEqD6D>kC8QlN68AZz zb=lF=GPX%EHUOd10_<4HCu{aq+NU-c0s3oS(yBEUsG79vHu>~6Ys3cX1aeR1-L`Foz3f7JM0ffR){WK7O-$-Wb(nf1(vkd{n>iQQvBUHc7Fvxb)#;Bj#VF2jN ziQ_>A@mR3KmgPB!MS}`;oS5$mXrLtA5lDB!Vs9^(@zo_7f)aX>O@6hL+{*?B>lp2}1^#M$R**mEL-Kdl6{peFSTY-Hf!(jh<>MSDG{01H zbQK0}D6WoJ@}RWNO`fPzoT!|t;jaxigz@ZZpWqfA{Qp}NLHpT>&?KBNG%cIwvAe>I z-=pwbmP3#d;Kq#aOm-Grw7V3a5rrCdz&arxTv9Bj+{&eF7b~Esq8v^Mw)Gaw>5s%s`R!~vJI{X(3krvNf7*WMz|GdMSglsCbj9cNTliY^CP3LkI7hMUP zwy@kI0AE=F`r2n_hUYQ6Ip?^!x$=*oE@WrLf#2x*(jTb_FL@a)^`)ZHFa&3pHLKGE zX0WrTD7t^T-`e6urB7)#>ooV@I8bA!#)gES-WsnTy>|~45-^|=FU1VFS!7R zY+r(Mskv>yAZK2ZvjyraFTvW}f9U%H0It69T-4bjhMD&gT0cjtdUhiU3{gB- ziB#N~d1gki*qCNrUeOb(4eZ{We1=qPjTqcED?V#Or(EslvJ|VJG%j9Yog(iXRks`hPTRp8zQK*U<4np%!e@Kqir=6c zjEu#8i|@53Vlr=TW31+3HRX>CppGiJ7b`+p#QLiLo&zeJDc`HR^sUMV0D@ z@ay*cF?SgKhx{xL&P{(%DsedJy5p_^Fi_D>rS>qkqsREd#`1&hbS2~99}In6!B!tHk;=PLmGc_7~A)YaSdLjlj0o0Hq#cAKT>@3*w$9sHVbI%@}aa+RkA z<#qE}ltnk7(j4xuD_-GZN3`4tfc|(9yXbMrQU|AI`jnX^L40+cXH)BW?DS>ym@==@ z%~fnHA#*FlgWKoFnDL^zwvp#`uDz&AP&{kAh6fiDm@>A8Csg1o|9<>(S-~N2C6^*C z`z2G=(=n@_@Vj)SR3tr^6LmXkx8W)b92Zmna`!uCH8EMve>}enscaDv0KKes-3B8>-_HY@6p9ah@fYtE{_&CW6r;hvHqqw0Q9DL8){o}Vzcfzr5*3&Ic z3yL`GrJf_=?q0ekVPP?$0^a&h@0GK<<>1z!M)i6x{&6KVTeqr4h0{V?dU?2UL$ia@ zx76*BAzWPtvbc|H8$)jbU{mu73oo0!DjhxAXx@_Y?XjnS&zTY%)iiiPY<8%t$M6It z(b?vs`;6~4c~P$O7v?}Q>$NMZYrx67M?GT}EzF5bldk4OdbC=Lt_Cp?kM1{O;ax9n z4i)BAL=M&Sa%%2VL&o>y*o>*Z=vdTmt2)8?%)`jgURj<+eUk4E(gAOuFBW9JMFK9Q z#muKj*jkoLJ`Snb=J*fnN!2gF1*~0FdZ6!*e8tR}{%HwJ2Exvi%w&QKVCLlbFDs7! z%=qFfyoAEI_aMW8a zlTtI2%IA02BR;|Vwl9#%`4C0NZLy6Y+yebG}-in^Oa#NcKsCsK!AfsUM2601cwialv5$8wSr z7sIj^Q+2Lq_eu@wN1x5S%Wph-FK#q6uu%=0Dyxo)^u$o(eF~=ox8a5bz{R#lQD6SA8}tkz=WsSvk)A)FyI`E9-1OA_h zhbBpcYv*nvdXw4_N$e!6q5QFiCIcIG0F3%C_bY;_oI$`_*c^$tFijz?M29nrW;>!3 zKudZB+)Xn|VCSB~qrSv7V8u@$6kSuedmM>U%EgfRR2RsTV8wiUSmkh@bn9G4RJL(j zOLt*2fhJ>&wK3U;?aoH@`=yK>`TNw{sK9;jLez&ex4@@FsKkNOVo)e5Jjf`cfSjKU zYJUhPq5`Y9Ca=19w;CEF1z5Wo+9n`+An9N~J;8}!B-%us#A%p`#;Dsfjbe>#Y7Cmz zc|F*XOcX>0@dMM7>Vx8c3i}G!x|*cRJhNkFW@fgZnVA`4rkI)O#mwxOnK5RF zF}7o7W@cul^?Wn?YiG66N>}$veM#!BuCD4jbxJ941EMZw1A-FTm^OYgfC#ml2LggC zD%+&dSQ@;7-2Wo`lA<5KKQE4jRcV4=J*>f$et!#;V45GyEVX5<#sD}Z0K`tF`@UtRRyaA5XR(~0Oi9DM%ZPyiT3aql4I$680 zwplC)c~fq)}`_Qan2-hydJ=|@i{vR0}JD=pqV15W&Q0;D&bH3KbjvuwNQ zIZR}wQNKbpy^%>4Tjf_FLarcm;{3wiN%zv7LkGdNwivSFi#S(Bu8y$jimL zwouDYGFNtw--EHwG?udkot=@m^yeo7xm(g81HyI*$ir%TaWe2{r=5nA$Rg}BsB_uj zWrWp4?8X#-zOZ}n8(~$1fcw353u*A*V?0r>Y|5c@e8elH;|lfY=z71_3j*|tFjX3Y zp)xuckJ~skCzP?FTW56VQugD~8wkVS=F3eB>=wy)evT;F3@jtebN%H&w}9dKmA1JG zqMO^=pjKu**Ef2)CCScO3c08`XKCj5O#2dCjonK+*6{@U^Ch{x6zC?5J5dUP zUzDB)j(ZZj>!)x;>w41IW1iT+#kg0ixr-lQ@Db^k*{NE$PgJXM38yp$MEGX$SlU8C zX18;Y`ChseBCanBgNW^IaR$4;9VnKA`dWIjq(YBk{CE=(>7=oL;fHb#7}X@UvnC^s zu_EoxTUOgh(dkV?o4;IXT->}>rGAEcM!-D_Xd@SAhVGU$INu3ZG zpAR%rcMq1kYK(36DfL}!Xnbp72}#|3af+m&L~v+MHNGac!)|va+_YoqOA=lM(HEz( z)@&F@(134NF^thWl5$CB0GMPa=X0V+DOlD49cFj$)DjlcLMvWp&&z~K^7l68rNtEJ z2REG@kOCQQlt8Nj&dA$6;GzW$IQO)`qdy-e!L?9K0Lq#WqwoNGoVTDDG*zw}J#bjw z(uo!UmGK;^8)ge;Nom>NxH=kC@Vr0kI60n5HLQ)2eZNnS4!sOJ6LMj>^MgN1I!q(Q zM`OFBL(f9>t~46ga&>7?&@$3q(OU9s%(CWD)5?B4z}q$!T>LY3tl-5ea5NO1n7s=8 ze_Y@dy(FK`A03k}#<5rh3(hCgO4B|$0QT>A#e}w^dtZuzWneXzZ6y8e!@MP z29r}|!VbbR=r$aav)m+tLVP5f;|SaFj4~@hUF;Q7ssiwvDLaGZt7mHWGMs9~UCsuy zJ!Lx|US-1FrbV}WzF}2MU%_D$E2`lFJ_!D>a&d7uvfs@oVo&>HYe*?22UPIhswE(= zm*i@{_t)3G>;0L%87dPYl^w>LIc&597M30RXKs5xs++a|_s&kV&OpDv&R<*n{t{KE zs4M!sQTEZw#ys0!bcP~;T3^<7CSu(MUyqNRK3<=$gaf0x{9f+Q2apVykS1pAf8CzM zrhxbryZ**RyYq_nzP4kBhCUi`PF91U6cGP<<=nRxfGDuJ`fx-Je8VKGNnPao`0BNS_F` zZ~gct8eizY=+5O#l`(dOcs732KQ3!{@f}7+Ht77kv+HGWE-@+X(!lt-%xLENy>qHS z`S;KR5O1W#_mp{}aTJc>Mx~dp>-+lYSTXHxjJ2O+ZwQa-_2}NC@(YV3HZ%@V>hs}NO0Z$WV#6hzACwMj-jY; zqlTyQr|VF=_3hhy`bWWCo_&XPRSMqxM3qJ|ZmsNS6I13G$qOb!Rkke%&CMVZ>LsM{ zAr4Mg@F&z*NZG4wQKZUg!S1)D9)wRv4LT003QO~>ML_W<3H(m>GhySI+BQP$b-Q=q zgGvhLBhxy=>FGk*YICJ+bAp|g#(Og(wJhV)*`%jgVVaqzC6ZpO%tir9dzM`Zx)?OYLPrko4@sL^Vv@fd4UpwR)xG~Z^WvcZ-!6)&VEr2J-eE~Z2{ zox8^c!GQ{DwA*IIqK2#TY9OTZPyBLzBf8*5a>y^&PHR1jZx#+*l`8}{#d_{$54duI zQs0-F2CBr#!qU?dPVpXWaq9feWnPSGcauf5q3R6R7tM$h;K$*;o+l1jT^k#|AD5SdIhi8b z{&vZcOnQv;kMUe12a2INl;*3TkEflPSJnJ-)uWf*`8|{1yoxf{$sBFp*;w-mqVWf$ ztD@(R;FCs|isAEYD_!-Sa-Am@Xra0NPHc`V_vG0h<=QoO4ENKd%T@Mwo@Uazt)p#P zfmppu*JaJ^8w^D5BO|U)R=(xHBCCG)4*;PFHS#}pHvpKpiAf0pa{QlRNQYz|<+x~QE;jZRx}M;8AreTU#}{EH+Qh;*XYcdhC3}bZhoSk0VSY)j zsKSzUB88~S&$MX7Sc7nREP;jM)ACXsiL`d?YrKEQBy|B(UG7saSC?J^InDY#EaQ3f zJA0sCj5B*r=*$^~aU>tJTtZQ>p?alII2D4YxX~NLw9)O|wehVRTax zr#hf_e7V>{F-;!W6iWH;UkN4_%w?(;89)F|BtCm6VytYYp@%Ml*mJ`~?MVVfS1tb1 zzMG+{mF+6Zk{rnjA*O~#MV_%zKgO~>(F>?)Iwz?z~C*h|VP zpE(w9nXaWd)Gz*9`1gCV6L5zBoE9}00X|yoRM=Y_LKVO7HgWL3#|98e3E~9)*VrWLMP>-0hg`g2IR7r9=P^hRCdMwH2)0e3 zge!7K(})s$g()s^1hFl{m}vzH6BdqFR5xgct3C32-?awo#Ec!X4`j|dE*n&#maZh>;iZ7{ABWG2i zysrLgW}AYbhK1=AQ3VhTM)~`$Zb`W?xn$27!t2ArdUK>EPgQd{q`XnVlKzzNVJubI z!AE8k>i!k;kh<{<(;n0V79?`k{<3F-TgQ62PO<1C!J5@%0GTOHRZv zK>OlR*j}K@!@5@-B7rzbVpUuR5qPHmuy=GO*LwoM03m3_W{b zLE7Xl^Qqz@z-Vps=Oaj%x7)1yS7mQTW2}D2*3w=5k^zUbN8ddW;p;=j)wkL;Z9jc8 z*IG9oBv9M?Tfp7N1BogCD*TsSe1dLP3O9vtExy&!OHMnr@)5WLCE%^F95cyt z9s13b<$GcDXpRYs%0QuUA4O>J1?iKB{#YMM0P4uztqFY88^ zjWkKmaNrY^l*HIKi~RL*WZb>X2x0CoJKdC1(*4lPW?AN~eEYn*Ohcqa#)1IZ%DYPE zlf!vE`3q#Lo6koF`qmPns6 z2nCB{6IKWF5Pa;Tl&iCe30#Yu+JFr=C;8ZsPzi3 z=Xx2~!fs3O+JPs!*SBPl!8ue|nqfuUw{fg-Ka~Hde}Azz7TNc5^sScPSKxWWfT$bG zq{V&fE~P7m$jpPEz&#D4v5R>7@vtLq_wD|&1?e5sWY3hPRfS4|sjB5n)Fawnd2)U# zI5y!Iv>aO85s{+m7^aA5vH^O`u!oMP^dyWOA+9~P0$q#@ht_pGoBmYD(XDiwp;Gku z_R-v#1jB1kE@+n8{JpP%U*0uYa#^B|I88jkI<7|nc6w2oHC_%-7mt60V2wA4+W=|n zPz(kVj-(KdG`?q=>|t{cn~7J804DrR2M9M(2si2kCFTWPj*zy!uPS8uP90_|5J=Il<79#!Mt_W=vOd9!iIVvPhH0PXf8#^n5^6 zJ8>3pd>Si%vOvNHhuzP=#C1=h)ba9=PNBH)@Q_|WIqFwPe?nd)&k+gi7hKtIZ8Ai6v2_q4u;<@Ame> z(h(gxq@iZEd|{-l>FF&CN-AWX)1Q=Z+Yz$&Tl^LpaE%R8P6w|j&&*B!SYOwWSP92-4>BV%N}N^#Td(#Y zx}=K+CjA(}NKv*oVH}o)h=usOt9yy*9MPo@Pa7ReT~!N5mo4Zc>;n0pnFLIUj{vZx z!1w`BKzed2M%d7o50^%gkSNh+bX%(pTPhG)&RWIcs+v#nP1nVg+tR6kkWl2lSeD&7lRxhMZeF(3qF?;XqkNb@r5mJ9w$2q-|11uD#)cJ#uQnTh9=9?n0-~8w5XAuv^1TjXxCN4j8xXPXp{0NjpU^j zQ03B$VRI7?_k6e7a)wqY0*Op%aYHFH4+|j$F}Dh7?H6UKAlylObsJMo%4%*gwATpTc?k?8v37CMmlUo0JcV zLke~ezvVz-LS5QVW62GL0`D#VSZiU^0lnixqt`447Gc%2;Er4i+=89mJ+;$bih?HJ zzP%;yf*JXv>roVurxmWAhWK61tP5|%Il*^=bpMo9*BIi%83ihAzl}SPGsyAl4UnCP zbONfW4Xf|pv#|> zW2WL$5FBjhXW8P90JuxSWQqMi;ML6`JYNWfyArnMUNE)L{oROCD9xc}DK{NBaV44yIcW=AV z*Oha`;2o)*NB>aRk?<|$a8qt_##Et^726A*$cSHUp)dv`W*e-z6+b*~z_*W~|u?Cyj4wX2mTA zIpWIjlQ{~guH!SlYN*w3-ISCVST?h8K5vg9k^<^7uq_oCYl<2pyetT*?)BlI)LS$i3{Rl z|F2Yfidb7IG)Me_kAr!hgLI7O)1&hmEC#eJoiJl0D{`n2!pdfj)xCzMqcbPW^ySQz zb9Z-zjFO~SEjz~WOYz%ZUQ>}UB*=M#T*gd2Fr+^}mS8!q#tsH90Dd`4{-8A_^39FI@XU% z2p-ttT4(1$fs9Jsi793CsljL>M0gSQex>*Kk1K=;rJlxwgI^0{J@T3`i|inPGyavZc@^({{fWdqe0;bJRv8C3m&1-$)xoZ4Lav01DZ=8sUmm*t0U%X)9*Ycj?^ln%u}N$u@27ijq)%AE7i+UXlFnVZV`!pJ;A~Ke%Bp zQetTV$1OT0LOmTHftl21k_0wwax{egYY^4D4-h9^1V^ZpVUHky9CSX9d*+jjd?ejL z890^g2eSI|*J5Ml0r>F*(*(wC9VSXGB+9%>64V%&F;pqp+?xd-cPDIdrj#3-9niuK zY05{^zjH;S>IPO!=12?;Wh4hH#5Pv6%_U37P28)BOtSnE#J-WCM2BGp(?$iKF1jR* zbJu55eCwB}%x*>=eSLDk zms4!AS|r}!KT@zQlXjyFCT-kJ3AmUmz;O~#*D?qHDY1X{dg85`tItGLxRNhK34{c8 z^c(=I87i20)093BzCpQGjk`kIOT|_4NYP26wA1f#%fahBW;L9|k0)7Z}8 z8|5B5qdqPCw1QN6t6kpFOLFeqhnF}@)G@875vzpuJ|=rvLRTn%V~E2_Mot_-(O&=d zj^g@L;qVpoz=W;FS2H_PXBQ_kBiqlui1q=%q-eVV;8HRo05mCCApmS>xY+C4>+6~3 z_7DIi00NT2y!{{bk>cb5_$1r?ZypZ4c-hE6X5@hjzX)zO?TFZA8Q~xe$E!)-vKmc! z3C&Vz?7PiogTy34H)8({)9jBH%Xkdq)b2O(A(_lPJP4}HT@m=aK0o9bqAx^?uf)#v zwaPIW>$rF8Q80GC9lmo**1>}IbVjX{_qb7O#1_qgq=d%kl8T8 zti=_2f8YkaqtYelB7V$@_kJZV2C;`>`9?uF|Hz@ng&jScp(rHAzi4%ON@*8|M~^-@ zB!7^6dP(l`u;}{~t$?^G+*DJ1{IW&S0xpCANL0G0e)I{vk}Zhq-`({u5;+j-e-r)d zDb-s2WrkmS!@#Xh+6Iaq8G=cQ5clfIX5rbn*idk=H#ug0rlBli*&Y5{!o*H~9aV-4 zbp@z`kwx_%|A_n+D1z<4np}h0pnO&8q)~qxG>>&u?Ie-=@J_q@-q;!TGO$u*zr<^S zPZZ^M1A^I8c8^|64s-r437v`d<+%e%*LZQ$W!~;jN{}y9boU~xLbHykSmpZ1b`+2CiJYHs!K4xjpMf$8rbkP7UB)Y~_J>UrXa;hS*Y@Xp@2 zc=5?T;Qk6ay!(+~>O!^P0i<fI>(^S`%VvY_)O<$CYZWgOBG&x{d zo;hC?8-Hcfal4=yvi3!ZY^C9O*-dW7doH^(X?!Xu_R#lFDj2m;;F%$nAvIZJ;_#bd z`d6flzf1hOO4qVeq_Rdv(ilV$U;U~TMZ|-HLlG@NcdDhqSaHWFmXs(9B#y#U6VT$b z=;A*y)pqOHIraqZlh^@AL&gU`zHroWjL}n6`R{seV-S&fX zdVVF1xD@$PR`sXR$u9mT*I}|3R_faE(4m)ws_se{mf(u3!jfA}=||k4;~G2;#$*n&OmtZ*G&FJbU1RDRw2wqB#K4`4 zz1Ur!3uymJ%7am$qas`mrB*G&^(8O6SU^r%-m({?Sm7x*YGP2dC;UMoJ}m!ZqY+((?$4w?Q8h6!_7(H4B^iNtx~2Xe|JD@Zm=Ey~fkg zS=`rGxz^-9h3EkDoRMi(leIXty{?W{b@=XL%;XG9l&V#+V{I%8Gqys^4N=v3xRhEO)>rV{i$Rdibd=D7N2--=Pi!^@nxRZ@5FXRI4kKhS1Lw zL9WAp3!j`8UKm4Cli>bB>1CaDH{EQ*dw=hUO3kgH8*N4io1xbaR1F+b*5C+|G(Ap_ z!kQbZf8=1}MDxfwC3*TAS3x=Pml@g`sXde}t$oyKWh$R^Wp$z%tE;oEUCW?5^|D;I zPM1^_Z;{ncy;j;PZeSj!+;w1eg3W+W3N%(L%>bMg7}}Nr^2gy5oGEbDNIDYQWWVzj zUz=PQk*)XdcUb=VRmHD$`glL@e#51if@PIG^<~=+=Nl<{Ncq-?yIRzc(ga?K0{-{H z6oW%Yv$@8O7m7%{+BG1Dhoemc-H~y)FQh^!w1>c}7n$lQn-#i9;50g~FxcfJ0|+aG z&f{VZr(bNfZd=LypsB9cr|cjhv9_nUDOE5o%C8?aJq*Hl>Qef(=kk$}f%yi)MnmwX zcj_vUo{?%q0Sw+VBUA(~7Cd8QhOZs+%CXO=WtxliwVN^V-rGZLDBpSR8=_1j-i1^o zIl4Dk2?Z+bpv{!v6W5y(Q-}IGDYbpa(gIfO!@xwA0G{IH?W*_H%=d}goXCLK=^OBgOl@L zm=$bzE@mbPODAU+Vh$kNztJmP?Ei&cY1FY+T^U4u>+CY_WSGU&yzyI=QSKunHw7O; zs2TdDL4;2qW{;E6I7Yc@08*TgYBDt)DCR6SwbbWdE18gc7}S~o&ShwOs~aZx*&^C4i4TJ?eb4gUjyHLBdm zHi{Qh7xD$QSbK7o@FiE+(CM6bg_~B&XDYBLjUG(}j*t3qXo}pC2D+-qNW>ccXPimC z&aDs``m+`!&R1W2%}LA|Ahu-F*J`Bzr7dvE;3`rrEr`4XSr^V^>2B`C7EdX|RBX2| zUmz{zK+uS4rBGkK5T>HTl;i@SdFbFNbdw;7p){-j@X2s=o>1;N@y!-DO%s4TxaID}lH$_yOKEd6d`Vqc8GQl$$_M z?$-!Spf~U(PETMxW$9&|!B>8Giheo@H>SS;XLtrbB2U*8x?swKQ@kzj`u$xInTv>D z`~x~F8IFZC;^{LQvoB3vFCf!1xhhU#_^tA(tO$p%ON6btP+MzyR5N`~;CQtC7}cH= z9TfX>5|gNjbM>e&G!^e$ul(u=lLsB%DL5de83R7QDi^Ksjbsc@F2$p{%%hE5-_EwH zSsF=wWrJgOEEKm5+X__)gTVS?R!5@_Q)BAbz-S&dM^uZ%a4tYfK^F#DcYKY;gS2k5 z3EZmtt)F!bbupu=Znz~3+jc`5Yt1%K34|vimZ8)P(Iyk1mu!fM9WLfZ(z?i4xTsdV zD~tX6j0LrIy05CB@T}1E5(APBhfmFHB|3Swg8pVCxeNnU-tX!s!?9s{h_7x^+MJvEJ1VAhPb(oi@WTB$zXF~~Bi2=Z0BSU8L8pI8y z7AYHf_Mjy*h8jpmNhN1Jr(tD00pfvOfWBLc1t)r+0R zyZ*}b!1ki<^=~JlxxpgVC|g<*SKHE_At$}TY7!S$rnRX~jI*7n>qAS;$_lF4ED2!u z619_?tL58qtiZ2dy?d92BqR4KZ6NisEYtpHC&4z4$JdQ(FO9KhAL%ltxdErH>DK8- zX~B$P@|0oaWW~C&SKpHg?$Vs{-HP(gO4AeeV%Z7mo7SoI$$|Ta`oPeol&eD6;pE{e zC|kjoMxR%n?Awx`kKb1u_3qlrW|`-b2z;g8)(m!V(mt!}rD-e-)D{*iJcC@GTh1$R zZ-R$kPrfGTry#y8y$rQ{IOr+3b>4jtu0Gg**5eU$7cv>c-~yeW7dNtC$HsWqI~_c3 zSky7oOO-j$uIxO29|x_=j~uS~a`Utlk9#hgD?rtgGS1gKc8&fj-fIh8a$xRRE*fs` znAmfOa6CYApUK?WBIRA*zyjTYV}5sAZ|iL;nu*Dt>vfcp<~3S{*iM(T(n+Thj zJLKnu<0Hq>H^lGM*KY<-o^C+%qp8cEsYPt`Q)OJseDxJ#d%tYxfjPOO*X-crZ9; zkU;{OoIOH+JIteyLc`ib=>mX9g-wphsSG!+MjOkex-g67=w4>^L<fOb&sM_f&pl@%id<`|hRQAkL-JD>DgwG^BTZeamC91b`Jg zqwVR=(~2{I|L(?|B~R#%_`EZ*XLoNm%|sPAbvABEly+-)-xB%z{33LZfMOm$FVP&x zShA4V&F{1Vdd!Xs*u9dB@Lw8utgH1kwv8P`EM6doTN0CKyltn7o?y(Kv%jUpsJ(x8 zzN(8 z^U&m;*!Pqle4cW50_DPl^(3A)fqeREyH~A!1S^{{jq>NjCW|wqop~wNEhd`N{Y@4H zIt|(&B;!Qx)-n7xNauNlItI^I)$7u;A?K^3+q3ScIvLmnqHcob(X1LA_arNafu#uE zWUk+V0&wSsFBT5amJ>YZr{U@RG4@h9_rK~f`zgJBBKZUCyR%)LZDa|%bLu4RC$euU zxFiQO8)YPs5|2Et!QBZ-tnQ_VmdIu$POn5jOp9bbV}uO2r+EU-_t;pU*H=Hq{tbfo zdnmG2F2aQ&e8LS5i1o*Y)OySwDCg;n3rOc%%u#Kwfu_-^XBy|x2N#s8^P?cb`0V}- zk(n3&As4sXqR`Wz@Alqv^%!t;0$E+3so9Sy1@%Y)f<^uA_wm66Rhk@34iT1@V8NiK zZx#HMqu?U}s7V9l5|cwHk_jOd4b_<3@IR{E>b$*rx#{iAk1R#3Oh4$Tb}C;_^0-#@ z;_@uF_dP-|v;CR2!r5(Or~=OLCp4?a{k&ZRhQ<|mzx;g7fpSqi1Uc&E9q$_V>ivme zbBCw|;hV(*9hVxI{t6Y_KTwl=CIz`HwoB2h6_||8*e?yO^SiCE zGxGj4iTZDlqE}`bp1_NQQTY?wV8Mv+A_r0V3o&BiXCH9B`g!^}I^kFz=P&}FdNDK4 zR_l;q1M)!j!q_g14Opux3~Ck@&i^u~Ip)8qsj1@+d?uWQ%L3uKP>{vM{I`A)gMsnD6sPSo zOrbIikp_eH$y$__no8@>u!-oiVK1z?8>KT<;Nc(@qDv@)ajGUJmmqf!~7EBv*HLfHY@ea9Q&3;i8IN{@^N zw34J^c~+8pG+FsO^(vuHPI;VmwsR!;mpppWoOO(v8&G1HpUPLlZ%#Y#s-VzgX*|3P zIxGDZyl*Pkt;RxEXLGTS-BDq=%dI7n$XLwNPnafL{lJG-|Cb$cNm)<3iuM4_D}wfr zg)1n=?jjE~(7sK{;KeradOvRq{KYmue$QU%#k=o#eReyT=CK^V*21i!$mxx#_J zqq82i)cyp@iS&4-{Gu;(S9i2m`<5vF#*q_q(*Ca%ejZcr6FX7jNG%xFq&?}$O+7N! z6i8(LKr$zJz*O%&Fh6y;Hfg;; z_m-&}?d6(r*hPHu>YDw0qN!NmTq@2l%3pxcg3&x>-zTvuTwS1pKkK7}()~JYhtXJs|3V!ek0TS9eFb;T3vw|u~pi&RWc;&Kr=s?Bdn+DtJrKv z;LEGMkqfmdQBC)2;z@x|qI%+o{sJtYGzji)>F{s;B1PS=-cA}lU{J?mG=FK^BKK+U zjR!c>Hbr}sW(`sG_80x$6AwK5{Bwh52jq)Qz4igbiiw}^=lnuzpejO^^0q%{b>~cq zj-xOBS<5Rg1>kSY*x<}CRL0n?%wNeIX%%{gQmIu`PhXJQJu@ekJ#t*Z1x{qo9w;N( z*>m7VhjH|#Rl#NSV9f6MI_EoSa@*xzxUfNE4`KQuA6Veb82KFC!I qxBh1%^mDJ>&eY!6>Z`Mhk&}yulbQKf7B+SkR<^Gc6yk~!U;h^sLPy*H diff --git a/spec/text_projection.tex b/spec/text_projection.tex index 35cb8d3..d8db9c1 100644 --- a/spec/text_projection.tex +++ b/spec/text_projection.tex @@ -229,7 +229,7 @@ {\Large\scshape\color{epiphanyslate}Text Projection}\\[6pt] {\large\itshape\color{epiphanyslate}A companion to the Core Specification}\\[14pt] {\color{epiphanygold}\rule{3in}{0.8pt}}\\[24pt] - {\normalsize\color{epiphanyink}Version 0.5.0 --- The projection is schema-directed, and the grammar says only what shape can say}\\[4pt] + {\normalsize\color{epiphanyink}Version 0.6.0 --- The operation vocabulary is grammar-directed; values enter exactly where named}\\[4pt] {\small\color{epiphanyslate}Normative for the text form it defines} \vfill \end{titlepage} @@ -627,6 +627,24 @@ Chapter~5 --- an \texttt{Event}, a \texttt{Pitch}, a \texttt{Region}, a states one rule for turning any of them into text, and the shapes stay where they are ratified. +\begin{requirement} + \label{req:textproj:operation-vocabulary} + The core specification's Chapter~6 operation vocabulary --- the envelope, its + stamp and causal context, the payload, the operation kinds, and their + sub-vocabularies --- \MUST{} be projected by the productions of + Chapter~\ref{ch:grammar}, not by + Requirement~\ref{req:textproj:value-projection}. The value-projection + rule governs exactly the \texttt{value} positions those productions contain, + and no other positions. + + An operation kind's payload record \MUST{} be inlined into its production. The + record exists so each variant can name a type; it is not a modelling + distinction, and the binary form agrees: \texttt{OperationKind}'s encoding + writes the kind tag and then delegates to the record, adding no bytes for the + wrapper. It adds no text here either, for the same reason clause~2 of + Requirement~\ref{req:textproj:value-projection} makes a newtype transparent. +\end{requirement} + \begin{requirement} \label{req:textproj:schema-directed} The projection is \textbf{schema-directed}. At every position a reader knows @@ -946,9 +964,11 @@ action ::= "accept-loser" | "keep-winner" | "dismiss" | "(registered " bytes ")" policy ::= "strict-inverse" | "best-effort" | "cascade" -; --- Operation kinds. Fields are the Operation Catalog's payload schema, -; --- positionally, in declaration order. Embedded Chapter-5 values follow -; --- req:textproj:value-projection and are written below. +; --- Operation kinds inline their payload records as required by +; --- req:textproj:operation-vocabulary. Fields are the Operation Catalog's +; --- payload schema, positionally, in declaration order. Embedded Chapter-5 +; --- values occur only at positions and follow +; --- req:textproj:value-projection. kind ::= "(insert-event " bytes " " value ")" | "(delete-event " bytes " " tuplet-comp ")" @@ -981,8 +1001,7 @@ kind ::= "(insert-event " bytes " " value ")" | "(set-staff-layout " bytes " " option " " option " " bool ")" | "(create-repeat-structure " value ")" | "(delete-repeat-structure " bytes ")" - | "(transpose-interval (" bytes* ") (interval " integer - " " integer "))" + | "(transpose-interval (" bytes* ") " value ")" tuplet-comp ::= "not-in-tuplet" | "(replace-with-rest " value ")" | "(rewrite-tuplets (" bytes* "))" @@ -1030,9 +1049,11 @@ derived-but-unwritten, and said so; that gap is closed. Barriers and affected object kinds are byte strings, because the bundle holds them opaquely and the projection interprets nothing the bundle does not. -The one thing still \emph{read} rather than restated is a Chapter-5 value's field -list, and that is deliberate: Requirement~\ref{req:textproj:value-projection} is a -rule applied to the core specification's ratified listings, not a copy of them. +At exactly the \texttt{value} positions delimited by +Requirement~\ref{req:textproj:operation-vocabulary}, the one thing still +\emph{read} rather than restated is a Chapter-5 value's field list. That is +deliberate: Requirement~\ref{req:textproj:value-projection} is a rule applied to +the core specification's ratified listings, not a copy of them. A rule cannot drift from what it reads. An implementation that projects a value's fields in an order other than the declaration order disagrees with the core specification, not with this document. @@ -1061,7 +1082,7 @@ fifth, over a compacted base and one embedded image --- projects to six lines: (profile full (0 1 0) (constraints 67108864 (retention 1 () true))) (canonical-base #x1f8b... #x00 1 full (schema 0 1) #x0000...) (blob "image/png" () #x89504e47...) -(envelope #x00000000000000070000000000000001 #x00000000000000000000000011223344 (stamp 42 7 #x00000000000000070000000000000001) (causal ((#x0000000000000001 3)) (#x00000000000000020000000000000009)) (some #x00000000000000070000000000000005) (primitive (transpose-interval (#x00000000000000070000000000000001 #x00000000000000070000000000000002) (interval 4 7)))) +(envelope #x00000000000000070000000000000001 #x00000000000000000000000011223344 (stamp 42 7 #x00000000000000070000000000000001) (causal ((#x0000000000000001 3)) (#x00000000000000020000000000000009)) (some #x00000000000000070000000000000005) (primitive (transpose-interval (#x00000000000000070000000000000001 #x00000000000000070000000000000002) (transposition-interval 4 7)))) \end{lstlisting} The envelope's targets are a \emph{set}: strictly increasing, no duplicates @@ -1212,6 +1233,21 @@ absorb it, exactly as the binary decoder does. \texttt{"(transpose (" bytes* ") "} spelled two targets as one run of hex. Still no implementation; this is what the first day of writing it found. \\ + \today & Chapters 3, 5, 6 & 0.6.0 --- The operation vocabulary is + grammar-directed, and the boundary is now normative + (\texttt{req:textproj:operation-vocabulary}). The envelope, stamp, causal + context, payload, operation kinds, and their sub-vocabularies follow the + grammar's productions; \texttt{req:textproj:value-projection} applies exactly + at the \texttt{value} positions those productions name. Operation-kind payload + records are inlined because they name variant types but add neither a binary + wrapper nor a modelling distinction. + + \texttt{transpose-interval} now takes its target byte strings followed by one + \texttt{value}. Its \texttt{TranspositionInterval} therefore has the same + \texttt{(transposition-interval ...)} spelling it has at every other value + position, and the grammar has no special \texttt{interval} production. The + committed grammar gate locks the requirement, its reliance-point citations, + and that absence. \\ \bottomrule \end{longtable}