From 9e1861cadc0a9134da58f9143cc84f7d53e63cd2 Mon Sep 17 00:00:00 2001 From: grammarware Date: Mon, 3 Aug 2009 10:16:13 +0000 Subject: [PATCH] changed the way figures are defined and treated in LDF git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@673 ab42f6e0-554d-0410-b580-99e487e6eeb2 --- shared/python/repp.py | 4 +- shared/xsd/ldf.xsd | 25 +++++++++++- shared/xsd/xbgf.xsd | 3 +- shared/xsl/ldf2tex.xslt | 20 +++++++-- shared/xsl/ldf2xhtml.xslt | 10 +++-- topics/languedoc/xbgf/bnfbgf.png | Bin 0 -> 63587 bytes topics/languedoc/xbgf/xldf/completeIntro.xldf | 38 ++++++++++++++++-- 7 files changed, 85 insertions(+), 15 deletions(-) create mode 100644 topics/languedoc/xbgf/bnfbgf.png diff --git a/shared/python/repp.py b/shared/python/repp.py index fb44ed74..44c2320a 100644 --- a/shared/python/repp.py +++ b/shared/python/repp.py @@ -38,7 +38,7 @@ def repp(localpath,tree,prettyprinter): for e in ET.parse(inputfile).findall('/*/*'): #for e in ET.XML(''+''.join(open(inputfile,'r').readlines())+'').findall('*'): tree.append(createCleanElementFrom(e)) - print '[++++] Re-pretty-printed.' + print '[++++] Re-pretty-printed',tree.get('src') return @@ -50,7 +50,7 @@ def main(inldffile,ppfile,outldffile): localpath = '/'.join(inldffile.split('/')[:-1])+'/' cx = 0 for s in tree.findall('//sample'): - print '[????] Found',identify(s),'of',s.get('src') + #print '[????] Found',identify(s),'of',s.get('src') repp(localpath,s,ppfile) cx += 1 print 'Total',cx,'samples processed' diff --git a/shared/xsd/ldf.xsd b/shared/xsd/ldf.xsd index b997bd3e..5bafa017 100644 --- a/shared/xsd/ldf.xsd +++ b/shared/xsd/ldf.xsd @@ -221,6 +221,17 @@ + + + + + + + + + + + @@ -395,9 +406,19 @@ + - - + + + + + + + + + + + diff --git a/shared/xsd/xbgf.xsd b/shared/xsd/xbgf.xsd index 0bf508c5..57d4c926 100644 --- a/shared/xsd/xbgf.xsd +++ b/shared/xsd/xbgf.xsd @@ -496,7 +496,8 @@ - A new definition is introduced by extraction. The argument provided for this transformation + A new definition is introduced by extraction. The argument provided for this + transformation is a production that identifies both the fresh nonterminal to be introduced and the expression that is used both as a pattern for folding and as a right hand side of the added definition. diff --git a/shared/xsl/ldf2tex.xslt b/shared/xsl/ldf2tex.xslt index 146a3d9e..8d55ecd6 100644 --- a/shared/xsl/ldf2tex.xslt +++ b/shared/xsl/ldf2tex.xslt @@ -120,6 +120,14 @@ %% START_CORE + + + + + + + + \appendix \end{document} %% END_CONTENT @@ -441,16 +449,22 @@ \begin{figure}\begin{center} - + \includegraphics[width=0.5\textwidth]{ - + } ...don't know how to insert a figure... - \end{center}\caption{ + \end{center}\caption + + [ + + ] + + { } diff --git a/shared/xsl/ldf2xhtml.xslt b/shared/xsl/ldf2xhtml.xslt index bb3b87f9..5b4ec9d7 100644 --- a/shared/xsl/ldf2xhtml.xslt +++ b/shared/xsl/ldf2xhtml.xslt @@ -526,19 +526,18 @@ -
- + - + - + @@ -547,6 +546,9 @@
+ + Figure. +

diff --git a/topics/languedoc/xbgf/bnfbgf.png b/topics/languedoc/xbgf/bnfbgf.png new file mode 100644 index 0000000000000000000000000000000000000000..b2f5d281125d17de5f1b6f96f0894b05479506d0 GIT binary patch literal 63587 zcmd?RW0bc2+Hlr%_phjh0z(%mH>-7Vc9E!{04-QD@jzJJg87tWjW zf)AU$_MVwFYv!8k`Uau$vf`-7_{gtby+W0g5K(;f3aabXD;OI@Xz&g)Z$<_9g=8n8 z;rQwm?pw$YlxgN9_!Q|YNf9AsSE$2f=Pb(JDtJ4IKhl0JmUcI5$DKO1HfyUQ_+8rKVbdDHi-WFN){D(ZRy91 zi~#vQIy?T!f7hWo-lMZ?VtOiYfe%CbW=**M?|Kmuc%8Zy-t}Lbu#tVd|6Lc9L4=K* zh1J7C`>$g&_Lcu#xA;tIR!eo8V+ZLIS}6DIf7j(P!E26A+(4NBK87Fp?Z4~3spyFK z+}oYebnNDn_GRt(>KT0xx1 zZ8O%=nriTk1bE~J+=q~rLtxu_c7ISQ@Nif&#&`2GTu$I=`tS+7Gf~uX*XMmzs+X-$ z^DW{--w&fWNs}K2K`ADw=3yi+!$+Q@jTKnFkU@DJ)y=KF46}{B3u#z!Kd2ewXG8aS zSXzB8B57@g<%=Kkp`Y;LW5->j?+^PvJnBqO2jR1t%wC6b*z#KqcwYnQZI={=*l7}I zJ@31%uhD$hI|46v?GMKucU#FFx9j0$JWkrcT-) z(Aww@$c7-dBFDXz(D8I+o2+R;`y$IeA+k{3xQpxi23(sECuzHy)gp1<%~sQOgEKb~ z{Vs67n_K96npjP0M~~Xmuon~9`X(RIEiXRG7<94bgQ}rJ*y5cNT7zXVIGFswB%Y^2 zgPaRS@r=#8Iq-(hcRL@WU|uh~{(Z(k#6Kd*&EQ5~1t0cWaofqBaQb$=U@GoHflFus zeZ!#0vK24KFI2p{cD-clbNeqiKC5K(%KI_RX;KnpmQAp_4J;;HJzb@ga@f#b#v)kyzTugNl&Fdc_*m2p5Ni(YOOhLr?Y})_P{BGh7Y91zAt zv81#j)p=H9N;}oEqG|Ng#h0$Hxh+DZZO6?ANm@2dd7}hAk7r<+sSnMIH7wO%Y58Y* z-|satp!U3#W)P~JgcW2EVrpFTgTqlLt>Znaoziuh5Vg{~TZks@`Feo4++($n<&q@{>%S1|;oiW=Kvv_n1p{`FV()3Sp2G18m4k zo^DOU0Rg+bY@e5h)xr#S3)Z@c{215|nqT#gJ5)&&-r6hD%Gd9Hc`+svzac|sU!0pK zEA~g@37LAks0sGelE`sZ;*voyQJnM!&q3MOs)ac=r(QnG>yeMEpOC(%*)-Gk7r3}G zSSHlXYD!mf=^r*9R19!567k@8nX!UU-3C2MFc85ZIq&m^?@~S^qs_#+7xkHMlXO|j zEIY7y=~x7+ZJ2e)RdK1!RlFAZPel69G1JYF>N8RaPz)d?}t`Yt%WE1$JAmXYI2 z2;#Buve^R(XLMM5XYu!piX+}7AB6H)xXKH@md!Zn`>|zNZmU84#)iO`yPZtiLT^zJ z%|QclYnmYoAJSF((|4oI9rH#}LMQiB(ReMb!)_R~tg3qDx~JZ&t>n}yb?YLzJfiJ6 zJJmprc^|(q&i9jqm8ocnB?tGrnpR@`O?{XJ`E+-}G;M)_nTxJ(@hrTc)E!UZ-qq6NG`R6>bu7^Ewm7JZ}7=kXf~!K&lw z`q8AZ>|6(XuF2KsFdEBzK3qartyNiT%V=TBXZCJ=LhM&zVt^cCWo5d{Vlh*+@CQSz zLm5rie}Pp^)?cyV&fYdp!y7{H5q6Bs9Wgx+>g z(Sj(n{pE;6@q7qG>^~A-d-=(uoJ&@QS*NAUx{UcEi*EU(z1nAf)^StH6OQTGx)j>D zhbpQ1KQBn!HZd^XASdmUry(~i*|bFS--qN+2##O;YE`3Hdw{I~(O|!7p)5LRT{W3B zMz<5{nHd`U*JOz5d)^p-tXlFK7Z2!8rP@c(F&AoZ+XbN-eR&dQyA+od(&mbNw-nxB zU-^Yf05cajeqIMuN*u|J$Ryfq-fl$8sZ3On?n;%`DgHBGD<$L=p%1LsI1gs$*>p4u zem!Y0^`|QoO_K3i4fj1e$JOPOT<+-M599zcQY~aQ%`#?T2c)|SECEj}?N;Tq%{yIUiI;F&r$9jhP0Y!5quZZfqBBtle%at`%)CJzlc~v z%n}57h8Sv;?Psf)P2JxhXON|Ao!nhhTu9`%F4SaTp<+^Awa#qQcFi5UA1#3n;QwBJ zS-k3T!Y5j?E8PCR#H9-Da&RK=?y~WiA9nrw*88u6qz9{XuP+x+30$hOUU1@x7zth@{%cwq|x!H-h(BWePFOipj(Bh`X!pb};$MWF^jbR4OI~V`b ze822MVa6Ilvn2-Eku2&OJn17_g^}M!9DjIJRtxB%`^^{<%4#J%5h{MPcl@H}xz>`x zqTU4ILA7AG3g8lSU;NjHUoE1?=e zhVai=NLogd(WZ7njLcw$D&;kar|}kG92V8&MtPIiEl_X+k@rLuzxyP(N?j zjy^Mkp3ejAJ09si7JR$%Fz1ASo_j9P8yeq*p%7dgU=eph&GU;Ocv;(P^fvE`O${lu z*d3v2z`RLZYVZr*fG852@=9Q~RFTGk`97L+Zkx{!mJFS-Qewoho0iol*$7h-&Z0O< zuXu_Kmql~+88{O7t6T-WMs}RpzR3gNz!J9Vlc`Ba0cxBq$*ZewXx(q2HHEb=agy5)L|83Zr1f%D))>fqSoED7l z6I()w89iLi7_!3(g}3I0lD)+6_$VjtdnG!n2ub`AshI;ZzK~$n`>PVReRE;R>Uk~2 z6G<)^HG`_iDWGJJT_B+_a65X|8^*uzQ4xOeqhmya57Dwyb;d<%wO}7w-UdU}6ElnE z;?uxM+x|+@Ygkb>LeIY2&1+Rtx=F+WXejTr-F-$oFXK`yzoAs(`Oj1~VnDw4pWiZUBkbD*mE@nb3yRB(MUc1-Yeq@4ze!)o z2R;9Lo{v5B)D|`quDWe6*xxL1nW3afkjS#L`1B z7A==MrEL<8+Cx*f(^~#^#<9z|TCVP{5B=?vu~j%96cZ%@KX*J?-5Y0%*mnC3HUBIn zm4_D`bIS8tIOz6&X9!SBY7q!02U5|_SYwfW@htQ_1Mh%2859}s?5mio6=|G9}PiesV3RB-ivM9pvx`lHRHqENLP-&R$AH4 zlT2j{ib_P-L4&De21i8Wb!pSh;#HQrdS5>7Q>lO5mbfV$puXd^7RW8C3p$l4sii(A z-@^K>_d9_uOgwhN( zQmkBK;ENpN(@og%u&ig!lnBDbajG!?BM^AdjKp(rWZ)CHJZ6u8hOm+8hxDv2y(V z=VBTr+1Nr*BA#R_@?P(Q9J5cvFyS`qHkbB zXvm3l@4D}%9X+7j4vblW>cq&{Vl_%^Y(EU-@w7j4lqrV#&WD)w#3^YD6^K~~Ge8Qi zU25A`G#O-hD+Arj^%|dW&a$YWEsQmlI_-_6hq(OPZvFcoXAPAnxAk+sMQq&x+_VT2 zN8+u|E|5;LY=)%uJ zf`CJ9(AVebYVM}~^bVUXd;31e4^0>#RC7>{`nJg3HvX7*wR4_~%|g;K1x(xtIa#7@ zW@0t$Lx11IVEL?Y)_Sq|aR-Uq5E=>EPQ4b%iR6TQxf1FhcLJwK_?sS|_R6x6HgWZB zlgt7pxALaQhAa*;UF7pF@<@{=IKJKd0gz5I!P%`3+seBSU=Qd-fvFUL`SNJsEUNwt z>UT_!n0wmswWXh0M|w``Y0vtKoj>va>bEG{w!|LQXK13&fWq3JWo0pA!DDdF&*LYP zJ>4!>f7xu#oN+lqg_)a|QFX;st57KgC%qk+sfV z^ zyjQ+I7h43(5UIRy^_eckn?y3=W$XF)Iz_rODM_r;thIYvf&4^T9MDWzZ5QYfre;T#RIsV`s zT@PpW9;7W?n{syxMPU{Bqxm(G!*#k)RfMh!i^S*AzIXX(1)6Ze^XnvzI?Y70I+M0t zC!EXb>{hn5xg)6`5vCtufq!bGI{bI#UiY>=R0g~s ze2`m=Q?wDP2v5vR!}y}#g}*QQEw*og@2?UGdD_px9vQtfv8+ z{IqFxUfcH^E^={^l(F%CjsvzX<45fCl!bt5W-4nEyDP7u;7GcuW2E=-NVo7^;-x2K z3pyD_h{>-H*i1-0yMNiad}M<5t%lU{f%&r{^g_^R-Aqv83CMFaiECeDL#)fE7+;5q zUboFVSgbUY()3ohss8mykR$8J=V7HhA;74nexcCgMaHb>jWfqbblQ_nf+w2_xGrLT z3+>AaX%;HqUa}06^Ir)2Vk1?~HW{K7!2g^IJdT@8V~1m@(RT@ax$tUjJ@-A6S!MHb zc+~J`RH9xTQKLFL9WRYf}YpaMMwW@eh@@RP51-} z#peDGFQxj#hw)>BxOL>!}&x)KYrDh;+sUH@eJ`amL<8ehNw< zuWr4Z&$;;iCPey(}KxHwYtBNWSEB^fLM10&=>qzx^zVqP! zZ5YmoL%4{UBtiSX+1`)2fZ*naeX~&gB_;1bjRXMEtIQ{>qHil9Wxu+RRc3Glp?zOS z(ZlaeT9L>29~g{(CJ}pGPJ9E0Wwg&@?g7BD9oz4==~HG#c1K>>__OnDB`9srUDW{W zs|+AK-`|IdSHgh7JHM)0rE>wfG=Li^hw1@x(MSw1$BBd8+-S&{b1~i-1Yjg-n52A) z#1Cg#_=ta9QR!0zCp#x#T}m8tU2Zyc0r2#q+^9u1K1KYn-vH7aT%zSTJJ5S^UocL# zHgim&N6E!KfV{gcI$ z8h+DKaZ32jL-!kjX=NcSrifR$b`H*|hGDd>{DEG@EDqSFk08=RW)h&l>#^d*ZU9A( zp*ov#$jHyg#M?JYZxFeKkO!c4_5>jKs`o>=r4LuK__VFhgO;wmn{Diq;{avyU+;$_qe(^p$AVq>=D{0D3g*#t+$>%1 zJDBHq{!x;nLY4Ojwwl~N?=WrSqQ4BiJaoL&1oV_kQc|DCn47DSeH7D;q)=sR9bMk< z+plQeFZmk94W9v^O1L(*A&+NTJ=cG5!l$R*Z>D0%M*anp5Z^v?pckvZOkR z+N1fp^0jh~Q|>d3IDLl z&uUsS>J=YiNJjbGPi2DHq9UPQdte>mJ!u87X7K_4O309{W zK0v0p`*kfs#hF|2a2cg}Pt>P#35yYYOM3O6l3~Al;p--)=-U9-0w?V(!^w08h|cK5 zI(`2IVFg1706T1N#a||@;V#S^vn@%T-h=o1{yU7=Y*L*-nA~**qqySUkmaAarn5R?#AW*)eM|49trp>^ zeM%Im3Tjix>W20y?WVy3x$Jm(i2hl>@PD)b9Wn=!?9)_`a~dDCe!>{-E)0nEX zEpz~!t|^f0FBc`%979LMRC@qB&dh!fB;o=sec5xiMJ&nY9_$sSloxK4`e?W%cmP zXO0Zr_xv7D6UVVn&jj@WddXMVIazNX1WYNhjhR1ft(geB!%KwkfAqRdDDqOFd4Z6e zawW0e)lv%++%>ZwQ1k2G?edBD4OnH8RRsHB70;@;6pq63yX#;>r)cBj@?oIsM?Sn) zV7DbYPAONR1>6^1|2fFw3RQ^Av|B*j5~y*lPr|JjK)wgT!&W<7Wo{U{9-KHz5j^X( zDqY`ZaBsjVTGBj9Gp~UdU{gDHMuz-v9AN$vpY}MEN^MWOsxW`TsFw07j$K3eA|{c? z6{UPms@R9d-PxK*_qo8Erl$)M32ff7aoi{Y)wZS3`$Y_pqn+n=rGy5Pa!>D9dq&ku z=F^Dq;KW%^<)-qS10wi6sVqh@P8^ZHqPT?1undJ6uawf*!daCMRn9D|6qb!GI5U;S zu)COS1zwL~6Q2-a4DI~tM*AAv1ZZmBC;hikDNgO5X|gF`HVQ2*p$PLFFD^tTRYN^`@omgGf zkmqmA{%NhY3a6;6dsWTDaW^jfMu^|B2G_L5LANZ4M`bn7;>V#zHv^iY$KP{4EEV(k z)Myh;U%_3m;LqvFIbKpb>EBl5i;2#=Bl1f$)~i z2}x~^ws@0Uo=w=ExQMl>u(3z?0#sYL=##u++fyK+Xm8Uyx;jVi`B`hUubELweG5`{ z>!H-(_S>L!z7onF9NyVwJz=M9!^D&!_&fEbbn3l12{4*g% zZ8)Do37k;;gZ$056_HrFks=4my13&AN&RuTNZ`?TK`Z#Dv1UKDFg~_f!}Rvi-{OAp zZzXuQgye@8Of#+1gsVp}|B8`#IZed!=D)OEO-bgAPLpX2t^J6%u3r#y(##B7ITv@| z0X#2{(P8V~exh$bart-?ava5#$G$CDf2;_Hos4otUYeYUwBB=<#^M7ZzLyW0A_?Be~gpDqv<_d?=A#A~y-1F{xp0PNjydx3sMXDt0%tg_M&n?0-C)ZW;YbfqSuiW z2-wW?!#^K|MeTJA0^Pua83sG#S{!FN1LIAoT!JdT{ zB=wI?NW7+pLRfSi14lTvQ9r1H1O(Vbx!@<{d3Q=&&twNA^(ZX9R8NF|I+Fjao1Z>; zw`+<43(pe?%7(NRbLllQeP>nT!n@;MEw{@FajlsYvjz-EGsd%|P%}38I8!1F zIn5CC1j?tMKqeEno4yh3J*vfK z-dR#K^)Ht&alYk`@p@4>TimCH(jq$Se|%woiF&o2Q6uShi;Sq>9%NI|h?&1WlRg@` zGvR`Z)^!DXkKXLO4!ZqI`#PfEZc?D$3Mb~dDB1rYQ|{4E7#K%a)gR#~5lODqD=Zod zPbP@|?w3yhzY-;iodzu$ms4fib(cFCD!nE2k^&D<3Y~zwP(?(v1tk0Zc&3ESY)Z1N zE$o}J=9OFQd^%*74Lg!Ds+adv?R>j-Mg9@6G{sJcQst zI1bmDns0frVyqR(+76*yaSN}MN(}<4M<0_?jF?J$85~`*;R|C-1g1oB%5y2&axx#$ z7um#+2D=&dG(4TZt4=s>u|3!zp>KUirxE8%?@+ncbW|SeC-LzdYq1i_S=ySaqSlC8 z)BZ|vs33+HSd?ZVmP;(KDy9969U3N8jB&>@rL9$F3hxZi^5rSpd}{-?a#)V>Gsa_c ze(X|*bo51Wc_CGlqLbbkU*t3$8rI|r&-2@{hgWN@*s}wUrwNhTl6>vH9{|+}`E@@a zm<|n!iQ@mxE!F6Y;SFl8CDC*Au@-Mu=5+8K_-^R>_alr@DnZM9&7 zESEAkvcHT?R`uc8k5?6UD|G2DSHzk%myf`R@qNydofgEL;bM`^hP zk3(_zkZf!{-C(zJdXHQFyHs~?QRG>Zzzj66_ur3EerK&P%#Uzs3W~M5W3F`S? z9xqfJ05&>(tnuY?ltO;etj%-L-J@B;mI@k16Tj{qmRti)BV0x!NRdJPYJ~%n6Jveo zWoIUeYJlhBV>y7I+outh1EZ~^a3J$%IGj|AYNwLk8vkqc6|LyhKF!x=g@?;IJs&Rw z#fdPZl~imM6ed;XRZ&goJgaiMMe{-xW#O^m74{P?shc(8CesXwJ$YDo_DD_Rxkg2{ zeOcWL)3h*4X@Qkov(m$*7?Dvw#te|)&3^Z^LEdIw$`R>}$E$64T`o1|pV?7SE093( zNT`2cXP!xDfzu83(IAd-=?&M~_l)j|6Tw#_LJX2&7&l`AZ^`iQMQ#1rh4A!Sc_$p7pt;+7xuU9d;dkky}@fnS8x6_4lYrs z5$F1Z(c^1gbd6D`PE;6NrTU~i+?UX)J&QvcC6NRE6*>mpPY(6mkhrJeJW^Z2ck4>N zz(MmEjcv?1JbIL6yac$Mngl;wKRp(IyKxK#9duV8rX)RYw`R4eN*)z_ofV)Ge*fFJ zlb@Z9;I!O2K4GLDtvgSoBIga+p>LFry324Zf@#^!hb8xea{7`}kWyl@^rn(7-5YD+ zpD0vx)}fQET&Cuqq>OQzvjd#7C^)tW^}lBXjiJ#Ogrn3PR`q^((w7zCth_TVDU$Yg zz87;MPdvFEiW_~ulbKvQ+cq)lNFi1Sr_P>5{6v#$@%ARg(3Hufj^@4}%EYb4vfwUD zxc1x4D&n5TD0i20^L$IwA)nyHYD{F;KeA@|a--N@L5eLn>XYJzlO!%xWZ;Yglv4iR^%O@0)+*q5QtjMRa} zXOq4e(S2X_z8Gg%T$Z$lhg33o_79EpGqk;{MV+Nri8deO7nd3WlfsVdRmiz`tT@EN zGJa8hHfKwz9;fte!K!Xtd;wW0r<)F4NN!7?L^RbUJVAWvcYNo^2*xNFf6I~xO&-Aq zgMNh$4s>p>7xy8tA6Iir%lnf}>8v+})fGhPir4WPI$H`QTZpgCmT4|SeXY1s%5%3i z6jssXS${FlHH`Ain)u7tYhb4Eh*P*Z%~plF6ousy@EV03$(c(pj?mN*HRE~}5&8Pc z=Hgs!LSr_%&@7e18!Rx$hQmf#s*IJlT(NMkuwhO_vWC=^uti$p22VZ~Tp^dH65)j^ z63iJ+|22YS!C4^4%?m$W2_Be^@3MSW4C7fG-Dy%gQ`BU5 zD4j4=5^YJu5lUx}Hg|kdlxFM|U#2dflv?B#7=t1S%FDhkEyx-Na09FoZX=duhW)<@RP>25#;A+whH5i-; zO=*`{_%kI0DYx(#6bT;S3rErLoA{dt8;w4q2@LX|*A9Skz&H9*$>-2;&2aC}0q34> zsK`={{ z@7ga~zbAl{F9a#&hcPXLzkl`4*2h@Xt3KB%QAM>lCxd2k8;s=H^n1^*U-Z*Sd7LD_ zyjyn0QFc-RI!*kvZ597oy-#xm=XRRJ)N=)>(tpw~<$>VsKblOgqlu}$9Da1evjmXvD??~b(E)HX;(+aAdZ?oif`L(^o&ILA0lQv3Ja#y47VV<^uPKK%u z>jqLH#p`)7Vi#`f&6enh=9h)hgu?MNZE7!td9p3*^cFjDW=H8W_8ta-HG`vf==q}G zDN}p?YoM1C>zBn4V?%<35(R&)_4A?h-6#8HK18PxglwiahS*|!ru6PQ7M2c_kLK#W zDVC{!ZFEvGbyGj`=S!8y{NX(>_G)%6ZXHMrX;^1m-%nV?h97P`-Li1_nA247o@Gq7(NO_L4*dR!dL z|Hf}}(Qv$;C@N|u>UWHAd$V|LMSr}ypN2jwTnN{Kkb&zhH3V^r= zjHKY#aR+KcU^f_@RNx9rne%mQj;q{N)v~5Mr_I&lTNx?J)xjuA4{fQ0_fB4~Cjzxy z`nlQs)Qa0f9dCYj+g1Ed{A~t%E3JQ|x;L`%vevVU^vxbNN^CEKa|HT+h!rvE(d^i+ zoEJujsF&L(jmY8#CZOU!Z&;#DX5Py)E>vj%{BON_BoDEWz5E_-#>iid{}I z0YB2`n0bVWMP1PY83^U176Vb~BW%|;sY+vgTaQ*^a`%crYwdJaenb=EQ(WcFxywU> zof(aG0Qj?q76fFSmc&O=NC#v^rpvM8Ww|a`ao2%)--Wl~dsX#PG`~d?O4$*xo5>$E zkH;i69WM^m?iHk&RODV8$2PJFRlYBul`p;tAWUte9ySC*nffPbB2$u5D1Rs&cC*^d ze+@;OGk@HtW|sdTI?|)ihH&C5H$jE$c(XczxF(@ zq0TaOs#UJ%ppmwnfirLfGUSa_sh9YxPQ3gayjCF0(U8)1;sc0rV9<}F8FRvCSQ0wr zEQ6HW`K5zB5zezB{8@<><-=Q4*RdreyU-?&gvd6GU%xGHeb^{MoMQK!Mn*2-Q3!)O(L5nm(rQ%KGr)ww&$ zgRCiX|1qq(hf4bspfp@e?dV4>%_E~Q+YXx?40SN?(Pe50Agrvb$Za*D>zeO7)JhF! zRqggJ=tg0E6y3ixt%k@w5*6*D9tE;^W zqZy zd`;I;dIa{CdGo^b9v&``pYMPQ=CCP-HtvdXf*F~O69mE-)*Nx}17mip)2Kez80fj7vLxOnVmo9-`{ zaMd`hVsR&q!%%3Ett@|(ucC6V%F~<9ST8%>=5)SoeM;NP7Ue+h>vGTBP7q5ZTXLgA z8yY&l^y*x|eEzeTJWS^eOc{Cc*esMpuyKQvo22#$BLdUJzApS-%_qT;Emsh`o~{I1 zaq#ivvF#x1Im%TEi$Vaos(1YO6<};{!}T5w!IIj*BfrlR*x60F6VX%%lW|@M_(Cli zYh&ne&Bp=&p>0563?872OjK+ROb?>u<%yQU{_ev2<&@fP*QFOae8iv#lkFXq$*)hw zq991XYX6xLE&}V?D5Sp&=kU&kbQ}P7i7Bz&@Gs-n0^{|&h%DJpkf|SXPN=)~WiM_% zNYCeqSlLs~61gD>t+Wf-hdzdiKS@D$QSs4qNr*c)f?`h}I*X~`H3%qsr?*Kf(5v-8y6(J(P;B&wSpWm0a0tI$VIX?OOP$ignAj*O^ov4*CpD1xiy!^bdbQRY$5t zXcq@*41;vLX=gS^);m!jup%$18B!e+^Cq$;wzHPC=y71H@OM#vN>oCOI8qp;96mV{ zn+@ugItuNYutnnjVx@4*gNXnh*9?=$_36)PpFqSdCW-6|Ye$riEkpzhNmRbXG$Tgr zAk?JJSp&7lWyzv5+#w%KX%gAw?yA|PIEvDbANY|@dRIVG7byF;6dm-03{}eABHG4H zNL7&PTUHDmejg)d`I!ZI2b>%uz7q*UF_60!h`fz}i@f$%_{#)&&IU#M2_GbL4T>u< zf2yeZi+PQeFc9`a`(^{Kng~C-?*-Ys_Uzrws^6G8NmcqiGYL1eFJ!56v!puUHBS`$ z{wqiRKJpqy{%-{=Ce(HXAh7oDR0BrPaS#lo&Uw z9Pf!7gs|a+HH%VN3WRj8JgjF#_VzKp`;41ior(?+Lk{5Yd7Vi04qp`&m0qS1qEyo;%;5mXoPs7N$ zD0}a%M71!ruD(R^P?(>YNPI5^?%MLtMhlN$3WZw^cpUkj0rdz(KI!dg-arMQ3nZfL z7d^`*7$Go8r9l<o(^m`L1GOuu|i-U1Ok%54wbLp zK+3QTJ_#fg0~)63aD7U$+{QpOQCVBxd>{t+?gIcZT?6fg*fG!xS;jtp0yb3YpLWpa z*p<;U3dJLwOT&&t9*0#vK#}vC#vVAIGJ*VPPSdh{^>O>-zDO~oGeE1|H2|xtTF3ni z@HldJ!eVNBUCr>*338qFV0u{I0BwqnVJPME{agnf#K3r+#5h?h{yUu5M@CE^s6+UH zbu;y^*;FcdB>&UpRBkkXbMjl>wQ!)Q*#yqId64EqtYHw}@RZEQUS5?;aTSmunpvHh6dGH+P%--2^r5 z9O4|FnK%PVGm&=k^s8m2?2|$I%G$>hUajVEgz~cR&EXyH^FQR-BC~Z7(sDscqjtM^OW2h6UKcq)^& zmmUGmXT7+%cSJva{vR#CYiXXocVE8%_c9!BjIox-QQg2V#HU5e%8|FuR_V^OXBWU2 zP3~^G$FwVX(zp>dqpHOyeRxBwI0__M;qavNiA;aa!R+!K2}!y?mi_-BQrMe)F>Tch z>BNjdgV^12#*}S2ZbWavN*!Xat3PG%_?Y=)CQ0saLo+-PrxTy<@nQ94v5L~!bWvHT!z$6@tQ6fmGy^QKpeA0xTC(3jFlOAcKy@aaH! ztB!}|6K$=$oep|nlP1f`a+*<5+X`1t>;U@|RBhTxKV~u&vovw$ojzvX0j*n}d0jSB zDVqsS~=oxMm&vm>G^p!%-8 z7{Gm~lVAa@g;bsLi|!||EpJa27iRE`eY#-5MQ<^Cho`vPQO2|bHVTo;yswxXZM-js zznKfz228D|T?Ieu{&CD{e;qvmN;%bb4G&#o_{?Au?;ly0KxF8_`-W#X%c$~{OmlY` zfO8;eOxtFN;gGrGno(9#Fof7nxrV;9fO6$B39$)m-_0#nu{@wm5~o%2!xLGhO0%ji zTjpnS>eC5|qNp(8W(?a4ACY@frcN99!Zwm;UQf&6!PF3w&OgpTt^_Nhnee_e`xZ`J zKk?liuyX}aB+~P~Hq>$3N@UCj`WUN}*A)P#3ehzTz!2jCu|u+5J>nJ~k0(X=4IkF_ z;U^=WbOgjfa-Hhz&TF6oa|Ljzc>qY!AGCVRRMvGk2U)NNcuC4lQceg40Lx1y+nfz2nb@?EnTD|#qWO#*m$gr%2ze2a6p<8 z+UE|q=S#AxP&dJxOCZ=z)NBIvK6BfpqKTIo1JK-P*|s@PcITC}z6Ec_{dAW=U(xqR zZB4m724-{!CDbMzOz03&y%smp0xS0B#}$qTYZ)!?_54>DOwwsy;O#a{>TEsLg;HA8 zm)I!FWU$qMH{|`f%<9KaozS%sb7(Wf0(4I&OUV94YZVFNlw8XLpB{!Zw|F@osBJc!KH zWbHNEaEz0mYItcya|!-wotj&IqUt@+HT|YxFb<6>%R0ORjV)0 zH`OU^be((roXj1MtYR>J+%N&Sx~@V~Jr$mmy_Iz~-uo2KpLavFG)lU`;o~))B~-Br z{xbv&8kZnRNLT@T8OsA4uJ$XwP<{fShkzLIP8L5(`uy;Ei;&IT`vI{_Y7)5KE5Zw3 z!@4J~W~N@~aHN8Wo_^VyVg@RPbTA!IrEvn!XVJ6*VH3iJ4((iZ{?+%z*pcqxSP9jD z9m}`k=>S4qJmb*z7FrBMCu_GA>4ucwYB>Wb2c* zLPE|8v}N5rj54lYQrepPWaa9YU9?DCX}Olgd9c;S=~3_UCRC9pY(XipSK(vcrlxKH z#}V_ELCSM@dd;4-yaHDRp8Rv-VXs|sD%TZtX&xo6fuRM|p%EroXwZn!svUFu%^1O< zN;@dH6{s~ov<=D|;owmwZmx9(D^q1S}#L8PsZ~&7L%bSfoWA8C`&W>6Tn3^Dk4fHI%sk;kqp0hbJA**hyxT70=-(-lVTCjwcDwcN zK}a9E&gbInBoY(AOZ}x-GSvd*rk7eK&Ga@>N-k5KR*vr~p^~=6Geb{NWfn(6qq;+^ z?d|_Z(^m#m(Y5UYf;38pAV{Zxba!`mcOxCrAl==u=@0~@Q$e~z>2B!|kT`2U?{|K? z1!nfl9ak-#sIcI3S<=*$j7G%B#Ke|bq_~lbf0j9bNINJKq|vGb@4D*e>;)F2AB+n6h?MsfBzjy2l30nw#R}fn?$I_%S!wsIHFP70+#%MSViX32QyM`GTHiu({dHL zl8fhHhS)A~^$4-p#CIcPRD^1g?qvmhV%lY0gX zX=z#QhpB$_A~L%6U7d~Ey!|D&nZ5A>hMhTyi;1Z_Wx5gNW678MK3z7Q^VdOh$%n-^ zg`Xx#nR&+N1W11YAt~9l{-e!n4w2$PAzk{_(SQ)i?8uvdMNx>Q%l(GK*~^Sjko)0C z?tR*+z1koSIl;Q$R_DZ(XXEcwrK1|tJGId4BOhe)cFrkzO*cAGePEB`Ev1J3q;Sck zL~1yH)i%N`a2<=36IDEZl>PSRQ)(jFv56*+NF;jJvV&n}4&h#D@F2O2vp@9><3?$9 z9uYHEtZ0%fyo`=k(qs*U2W!&zN`;4bxnDsbpFKW<-@i2F0VZhhFEX3Y^e2X5etsnE z;g7i@>0Ywfjqlm(8d)<&lJd9h+C{pIJ#rUig*sJ`q}%UI#;gWqTL<6valP^VuuoIL zxl)vOlPI}ddGWQm^2}tO!H9%ZlvMXl%|R^hW+2|}$s0X?PZVSunIp>OkDEo4eDR#F^sq6EuK4L5<;$ERH zYtW@rw(o-8{vs2KubZWUx@kCJW!hVzY2O@$7`L_H!Qqjm&)xFUyD3R%RC8C4yt-AY zavPYcVr$pMwrr(}LWwwrEU#)vmB5tUchM55Z6%_BkVEWeZW+MxLSZZEWNxRd>@4Hn za!j$|Bk09y+(quQ2^E-XVix(VLfWY}G~Og7-=sC?!=o@?#ZEu#qO6lxGI%oa(TY{) z9-wFkMMT+rO~S2yB=;3Q{Tvo2;iejyR+D){{9^iL9UNwr3jMM78ngWL_HAPs%DV~M zL%C5TNhAA7j;wp(NJ^z4)MWRNzQg#?JP%Uy0|ysO3?(K4B=*Inqa+`*@3#-rgmcq8 z4J&-m*d9!0#@fm=+dm6!T!w43#2t?Ur+6~GF*b8QDN}c>-keKOnxE68)^TU&>{d3_ z^SgJjWU{7P$)GCHBcSjVy=Ho2I2f?;A+18|C{mf=T$a9=sz9j#PkiS$8+KIk!RK|! zfGAsr`|31yl^d&@z=A-Y_eWw@RfCeyq~>Ra`{ zpJhW)Q=k?LvN!Bo{eUn3%hix^_w$aG4CcH8oPmt#ME)>!-Y^^7)SG}QjO5npmHjF8 zR5~kPO;s~l-PwQXGK=!1GIh2;7mMwa_$>4_1CApsG)hp7$nYBxsSX5PWNZd2e|Ekz zO#Z zbG5r6M{E1alzyIM0~cNUSxg81quoL@N`q9>pZfWct4KNlqe{yDk@Qprd>P!-vd`-L zMlut%ejZ#y7!^+NlEf)i&W zJib>wI#~PUgZrykMXZ2+)+Vj8SKVsq>ra|!o#s-UXKE9AJMs|n_Cd#Mk3^|JCv26t zKHnk4GR?6%3pQyL2(uAHn?DgFWG&kL3KTyu-+yrAjM>ZzN3z&HP{Sz@gJY+?o zVeM9~e-#CX}j=o0ky_s zgey5#0;$kBw#b4e=B&vCOXei%qWIUZ=+tX!)?h7`&SAPg2s}qX3b`9&+L{87DC@Hs z$Rh)DzQgtEvIz;jB4I#7lWCgO+gxt$@P&W#D7(Pb*hO+==DNMccol1^DrM)9?Tpxj z-GwvqI*obKU`X9XDUBq}BYTi{Ba6l01ht)mob3n_s#=vMDSu15&fm%w<@oCgP3KUV z4F1=1W+kU`33#(I6?+9}le`RTgYaxfTo*{}PCg+LnZ;q%W zVzn?X{1>sqOy0?__m|}jR%O@N6hj8#T`K$RYF|`1JxOdn%+=rPd9hYEHGs%6*VimB zm^3=-H3dqE--{6%Iy!YX_sONTy$dtREjAw8j2+66>(Cy`U(h?+xm2Um@J>}J&Nq}= zv&H#ba|T&#nN4uhPhgJdw58D2*&2b^EITNKSJdo2$j?>kP;KLXPq!aFjOXIB!F9_n zjUkU89Yj!Fn6*l=qOPJ8NNJX{avQRr;*z`mL#O(5RZC8dR`l*`)~ZjrzhGoJDV;Os z-;P6-GL&mghsA3)Bbjr%CQFxco@!)VtZ4%;_L%&1R}uJt!9Y}M-UAW-FmfLxrCVzp z!5$jJgVce)f9@?`6D}~>v_=f42^tf-A^G`T&FtS&Z}cVccj*x@#fo~!aarqr+y6Gj zT9>fn9@A6B)@IUymiF<=t-^N|kz__79`bfJ5-~R7m)M@#*jX7G)hZTStbM7$R02oT zXX#p64Iw`wHd3XnFms;9L_FM&g}M{j18R>brb-E$YJSRPQpq&fHak;#+${+M1;vII z&!T#NuZYRo_FC)pYC2d5&VQN1OUF@;H5NF!%sBiemZVV4^b+`IsUW5PC)3ajWrMZ* zvi|4dFrL)C43Pq#^YHFLsd)ZbaZvBal`DOOd@6Z)rrXbn)`Lh-x|1H+95QW%SUXg< zLu(Co^TnC(TlQ8e)sRGFh^yK@lOqg;NYuOQyzQ8=P*UIiI80j;jT6oP4H!tX3d8Ma z;Ryx^(5=-gn5)HVN|}zV6PUsY>+46a+k_#RyTyj?X|oW2JKM;<=_EaayJSVOgLcGH zXTW*{H)pBF<8ZPVwP3YOmHR1(6O`h5ysdnn^#Mhknvs+1us`X+{VsBmNEUMC*#+C^ z?=x~M8ExA;(xR0<-fTj}z9?^%hI22u^=GA&Q=#pa^N#~X8xH#-lKQ_2w&E#%;ZdaB zJcEo+-H|2odr$Dc2KOpX-61w9|1b_>w&LR9htgX=Ba}wlr1TC9C=K>qb##$ao)=8r zcQvZ$(E-G|B;uhZAP1q<%7;RA(pt(HZNN=24!kRp0HgFH?2@nz|H^EZ^EK z(0WWa&?!JcwaolU;BhDRUy$%K6bO%3S#h0=%^G?-G;~$hhKC(QjKzbczrgvQb^Ur2 zFZ$l6NXOg2o=gOi`U8*3M*_-%TN8Ow(Cvy6IS_yM`xPTeD0V-N?fD|;e|FnSN1id0 zBcFdahni;U>d0^pRiZ>S@O6VrufX5@2s0b86e*eP>p^iC&-+g@aK?J>-}%2UJSQ0P z@ZX&p5w_w0^bY2HWC3LLlmxeez$19nBgT4G~wQ zYKVWASATCy^rpb>Ub_V#pYCP|sUk6I# zfiApXv8Ue93f1LtST}NPkwoAB+&JmG0anTBRm$+XrN1^iiZ^bsS zf8Mbb$H!7&#=i?t3Xn}UG^8l5n0MpXD6OQR><84_C(q}nAR1D*3u9LAV?XXO-Z8{@ z83i7imXY-po-uOh@e_POkB<=l!VWB{*G)eGpq9;(wcG)jrDBVXSnXi zHv-0L>~xT<34nFhd2KVEJAfr>y;Zhq#0`J%0`giCo!}yNDabk|6}VQmr8joDRuq^( zW?=dr5QhQ~9-8t9JdmXi!biR^G=iOg!kBZq>t3+Tt^st0Na@Pe)9jJXcU2>1N`|U| zBEh0Ht(OavtxOxhtM@$&Pj`PJ;EC;A?KMC3?Y&F+OF9j%WoI!3Vi2DRzY5HM+W_=` z+eUHD@EQnHqE}&~?+d0XzglrG0t$jK41;%{>~O@~8yFz`Q9rC*a#9_dP6MP9XqA~s zfL^5KYm70U!MJYVGG7A}573CR z%36E|d7k|+Qe^V-HQumTvAmUn9kx-gV9s6JkDH+Jn*eI%2PzjlX6=C-MlB!$U?f@r z{~7q0dm(YWwm`XFY4)h1K|>Dx)spD3o0HnV@TH8_?}7O(>yM1u0zLSp?I2GQYMq6; zpKFxCEAdBDA59p%ae8d~nc%zJ<*S(kNV9efAIfkvbC(y$)3OUcxkSI+B7Notrky1D zd|+kw*jK$O)PO!lFTJU$n|2c43KC%`$>0DUxo6+M?+tbL-Op1C}Bau6Q0#yBjKC>71W5(+#~dTd#d zl4dGvi1$riy3AYDOX2r}^VH3^Ul&81mdep99HvY5C1;>-G106T2M#+g4zYm$ZI3;; z(a8#&3xNOmy=9qAO$;1F!O~M3O*YR(dg#zt6_d#uosWzCeR~xX`Y-P)5CYF>wPJ@dYx95JA)725}Bc zJrXF7N|Ax9PDSq=O3W0UURTKJS5#Q<$w&SX_)@51UB*u%RwZfdpm7f#XjK(K!|}pI z;UQ_pG+lcjch(Q26>__O+15mSY&>1%p#mafZS7+|>si|a+evGteGMZ{>qbTodG<}3 zg}*vCj)+uWfOEI{hP=o_IUiD`0S%boaO1!ghctDCvS%Sq>ApP$Nzi$BeHfj1MJa~C z-6BZEB)q}6?tIpbMM?*p-yo)z`4ojN7ndEksst{5g9l;1Xs zVU@&%9Bog5xY$6qm|zkVm;J)FB%EXJA@ zeryW{>DmhU{x~QEmfbN>q(LC46x1CLpueg%*L+PwZ;Q9pP@x9+!rK9bN>E|ou~5>6 zl9~l*F66<}?&q%PN`}Z_kX<=xJt7&-t_#VSssHlp+Xl$CaDO--sAa_)Lg!ju@58L} zsxQvCn{%IRy^Jfl@NjrxzaCvQdA@XKKa+DiGXe;Ncj5H(UU&_H9wf$R<^nBg~Rj}Fz)E*VzFK4 zo0^077Hi(Ts-}s)$as#pr0jCXS5Qz-IdUd-=R4pvJ3*F4!S}qo=(0LBn`W=4!37

eE#&Qf-W^$Wg(A2!!cPbz?bA!c9&m(~%kj(NAmXy0)~! zbWz$3x_R%i^(m+OY~Zs%L?>zlMgB_Dp&M5D_7yjpY;IYOi!2jkKJPlLH^$X`ru3;B zbOfu%l%KY)KJtbODrz$!+broJMSBFyATl4HzyWZP_bRypiV5qa*y`IO7VXDtKvcW! zKYVFFxd)oKFCdf`v9Xw zhpm_6e7;9wiC2}Rb<#VDWjp`fS21Bx){>cOM;)5Q0+XQ4Dvt+Kv4Qwa(VelQyvWOB zvPoj0V{!5?CxDgqV*99*ghD59ESyTqhOzUTQq}JQFM)~Yt0Kq)1e7na*&`6$l{QJ> z8#LNB@)w*zH1Okt9iUkmOm7M(V@-q7t_uW+B!dUPv~_V0=Fvu>%XLZGpA)M*pT`F{ z`$)w_zQ2679iO;LH~9PK2Q)zB@$J_xFbjN(NkOchVr{ZoBQNm-D&j^9vqU!t)n&Iu zr;Wi6w4>$JO1u2ECn&cKL#V~&-he<2tU)dHK$)rb?;HMaJ|G26$eO(bvbc)o z$2Q6mQVDixmOW7xKxSF_MMS?BBP*UtL$|JpXwU(8qP-~N9sKpVZ$A*i*Mri&mW1k*xr#od-RSxoNaW_G&%37gUZ zjcG{dfyRMxO}n=!3O_O@7aH+0@^b`@M)J;1=hY&_M9$t{;wod#-D+OPO5m^@0%kc3 z%>wn1O2*$6Qe2?utR6DTK>)te?>3{*493zfkUfG@B=ph;{#ctA1Ey1B&WX46chM6_ zZ&&E%p%4ov2NOjaIx*3=qIii;gELC0FLD~#u?__|)q^Q2d7rPqGh6Snm&QyjJuy|X z8Tv`5orlZ!=r0Ij4XVP9rO)^NGZY-Z?>n!?AI3RPyQk6IKO#9E2bC3D{4l4^p2qx~ zPFZTay4RGLPPwp zQYnh<>5VIUR@Jr_|J_~+432L|rc6g7zU-sof-~}LCc=W3->xDqXFz86k`sECndc$X zoAVhXC(kOm=1i0tEiF!2cX+tMHx3IdRHz?%%Pa(}vp-8@LnTG+sw~Yz!;#c*>&@uD zrxNd>Z8<<5bv`4-?Okl}$gZ49dXh;QnNM!gF{ssM7xgON)Od*>tD#3H&As3Ues`(t1H;Ps1?R*@j$A!B~8?6qU*JR>T zi?7IR!UrM+uVTTYw|2{Z<0uWGx{YEZpRaciqBB9m@TuuZd*A;MH>bg`>_}3?$ zbG>$?H%)Zw^O`G32HM)7ufwvVjqhE#Yq25Z9-cGcD3=+&%AYjCww$Q6X|6qpm2;x2(7$g@PyGodP=%oQ;zi z3(&XZ03(57sVlXrllS5~5?^Q$?%M;h4RrhY@d(+W2qncU@|omfQ;TI7nr0-I_t(YR&Dn=jbo%m5G2E$yht{S z!AXqKjd#K6#~Z{Gy!4kZcqJE1f|_woV99_me|`X4ryF>dYwL&U$!UNoKO!ei%jHv^ z!KFHSZ(*!(OT!@=k;9G`6%qQYhhQ@npt^}nI3?Z%db>lwJv-_c-5Ix;)@z_LF?(t7;TG&n8t%tlK zp9BXn1b(X;m#q2`Copj6|C!KI8>sA{Tp75Nt!+M0 z={{hE_d>M?G6tw2b1T)FASyjJ=f6aMhH&mkHn5ucG4M@gI)GVZ5E1NwU_g>jqj~4p zv|tHhq3T@u4*#*wqd@aKfrR%oFd3MYcfdIeR+<;*RZa{ldSw(W)hsKyPiVPI0WAMrV5J%$FhiRX`d71- zwGKL^H%QtDU2Eoe0-0PnAb1G5klPK+h=-VcY=}R9y|z~K%f}W$qpJ&9Ot678(jy*gCE!tx=Q1qHZgY zN8NFvG;d_>#r9-PGVfTM$!;Y=p4sU+Y5z48a9ABRAf)fj|e7Zwr`(L?+%d%Np7mdKE@2FNY=qEC^fpZJ+{pz+5JCadYftH)ElP zztsF0?y=@8o(f_eAM+mu+GC15r+7iPBpGT#;B=YScOCoWqtAr|d-6Af{brU6X%$w_ zp=FKBX@AV*d=4s{g1)@Ks09Y(i9Qc3=LlhF2HT?k#8vNbAEqpt2hDTciYrB|+NUFK z(VLZf>p2&BH4;8-4R>@<8DmLg>*HV00}*Q%sEN=e+!vsA#DCbp5iy&xI0vR+cM(mY zZX$etw!a6U8}K48(I0*%eUoAqNMiqh-jYYQrFi7WsW-*TAB7Kj-P#vgY zw&v%)wXJ6%LCUU6;-gZ@1>P86vC?6;i?|;%P=f&2Ks|mES`}Y4Dy;T)rz#q#AH{Rz z8>M{VR@(>gi}Rlypa>KdHvpNb@T?-$8aFNlcw!Kl8`5%^K36XIAnxfej&-VThQOf) zF8A%vzK=*LQ4Pg6&?LM0TMQjvP`<%wIusYw70F^PFpj0ougBdWfN``giX^VxO+kFzXo3~+j1gF-Bj{`V39N#wWExrY23lNEZ@^$Pum%O>JCnRTm zUH-qT{ilQ}@A=y#+yInAJ%?|&@7Pga#;DeI-P;~HmU;viv+Y}DJ8%Zu&M_rgK}#l3 zB_4vriET0ovooO66|7}#0aJToMUC?JjG}|eH;4DZ&{V>j5m42B)kfAH6-FRd)4-*L zpKBq&Y3_@U0F3e;wDZ9zib(*L4t>ZO<@P!=7HZIQZ|y0=D+Y%XT&Sxld;`z8a=hgn zsQP8uPF<~6;HVQpxtM4y_>89lsan;fw?Z$1bYBycrhR|W^am_;eNSxGlVnw=XrTa> zHU+&(xPbBc?ut>2h!cKkuM@*zy z1kkC5jr-z(D(w_V%e}#etf*>QhPX9P@NQ$NC#zNPq1}=^no-ngom?&exF$glerqn0 zn??0gLUbJrGe!XT1&IL#T}XX-_bBX?9T?5OO;Nv7zmdSpIRLo&Yi)B7{{U$bHyl%M zTUhMtgv!5HoqwPwwx4(t{PYvJO5-lu1`V%z{rsh{rf#CMI}yy*@*gQQBBrQY&o#g1 zDakjTpkY;a7OV8zCs^s%S5t2R*nySlBhU9muvNt#t3Kr0JJ%5Wd^kDzDQ{6&#n<|E)MT*bl@LB{~iiIqZ4=5~N34 zgAt|fR-T(Z*WbQ@pUZ2xFR^{4qXo#{n1nmkyzeBf<;0t)S8iv5(s{Ukuk)E)%%PThMCSCtG)5Q&|I zqkU#2$6m%ZO&PnXXo0nbNdC(;H03+q=WW)7ADA6NCjqMD1YZ7wD($M%sf5FZSPjmk z!)SDMP+PlBMW~CK+CrG@@}*b*axSM`GZLMcLn|MNK%z)>9Kw^fWu}F>X$5e7UEdKb zbgtTEHnoZz_aH>s1xf$o?Wf7loBdg4KJ1k3$k|R2Y!en)u~6_T@CN!5%=6?m`--Ph zULazcQ{Lznj5*qaAp!3;V-`{P7sy4p1NvV_AboDctsnDQ>^S*NjLE*p--0MFCj!|4 zYaQPk#Dy-k9?To6I0b0&#S19@^p#W2g7^nfrsix|a={-4rv^vPTE3gXm$96$PGDyM zb(vX6UHg?xXWZ4sWeHZ+qe2g7FN8joZr)#pb_4@WYXW8jM!Yd@JU*ojE#Am976~E)m_1uSi+5xtHQgVvg8C5E z8T906tJySYLUR{8g&$?o`hkP~UHa9uW4b{)8b@gBJRFa`@A?+_WL=7Ka3rzRl;}==5}zd|Hy(cV{FRSfV!N@+7xnuZ4n?Wfm$x-(Ne{hUgv#mqq;U&n7a2j9{DH>yJ2w>^ z>5*>D?gm*A8m;mAUNBXtJiz$C01PeW6>y)<-t5@%sK>=Unoy*D>&WmwK)y|`Usr?o z{PRL%`8+|A;WHx&4j>(_XmS``!2UP|24NbiTp*uSj61?mVHZeLh9T!IvsRkF^^g?2 zT@Miw2xvA6V_!U`SgzkgC3-~m!MMRzU{_fbWRAi1RFMjKaBIJ;^#_OGp`^(&9IDU; zKu@I`UKa>}H`$kr4#vHs2N}*+G>z4pts13j!a21vLBFZL0w~VZLF?^Uc(2G9 zl7zw)Zm|>1=A5S8KuVm1-vF9MnLE4nl@Nuc*#u~&8JoYeo$$Jc_9|vxHs(Jqim$_T z0pwb{3#i2n$}v=`@9AckngKn-M6uv8fysWK|L$EnF!EU6Jlw`w4_X6DgXa>u))>h} zU{fQnjJm@7b=sXGX+`V&csZF21e3OwO|lB&LkRxkhRel295wkwG+8v}7E6$8dr)4; zIJ*G$2@eqYwRe}|!e_cYM3c{`UVq8fU(|IuP^XX&u21O2R>tdxB!930Q9zqWT-RbivjlB%rzKQmYuBl)d(1%UZNA3 zTe`fEzNy;e7`y`^Ta4g*JYc+Hp!&f+Bfk|m4KVfUA|lxjY`Ne|mjW|etD7To(;Ki? z(@=T0U0AK9`E(I(dckJ;cf9}C{%1woJW;}aZC{pUtMCE|E&Z9*xVGQ5=!2Yx_b$GR zxN6coT!amsSC_*dxS4aIZ&_c8pjnhk1#~n#d>1pU%AA!^-ccCi+*@dRFDlEGF$I;1 zzPy$eI0aZHu*_iB*UUY2%(<6lmLOd}`OL%uxT8<*ed{*Zan_{rqI^K&-Bug`cGqjl z)y+@DLAeW$$qGA0qKN6~+a@~a>97U|HI`d&lLT)EdR0m54&pR6MlB9Tib?@G^Ec~N z1^2;c`y**86R|4I72Yv7aFu{y+;gxcCrM6JvBh0EY9YTO$m?uI2vQmW4NZh*+^FSH zN&PK$Apx4EPsPQ-SSvO9S%`3rmNFru+ z3GBMp;`K^D&lM<%&K08UgR!FHM@`38T_0F1Bcn8T;$%Jg^1{3)9{Sa!>$`~Qx-0Uo ziu`}ZXBk-quZ*gh{=R~3 zVH8@I5eJLE(?!y8%_(HYg?+BtgZ%5pA%38Urg8f)4D5Zz;4^#BkW z1uUm@krwWU62h~Yhz8oI8$aOo;7Q5OWECU z2E+S<(Lp_)wlNj=qEt9Nqs&=)*wQt?70&Y(DPU?#W-*9)GL`4O|Bd7=`ktI<{19bth`5+4!3liE#VM+=S z7vc~52_i`>XeNU^5tJ%Lw1;2p?yK+p3s>@f_)Ysc^8a0J3*cAE7bK~ynz+k7tUR5Sqc}b|GL`lv%-Mg8#!`eYCS43s`>?bKji&rG?p2>$Sj_-LLw^vJaxqP zRDu!i0h1z#b3d_BX&F8$v83*URmGfeU!xU-Fxw!T*W+J1%f#EtM6=p=W z(mzfOKa50pXBusqjVQ`V=02@8W2qEkA^!&egJd40m5=LMzq(ukzAB~Xx_%FqIK{yS2i&bd{ZJLew*A@GhKiWn7F`OJBtusU8GLA9 zhmXIirRY-3uZJv-&E$lt9%Z=Nc~wQ;MdR(k#8w#7t4*^6*T&k!&HalSX|(hgg>SAI z{cf3t$ad;8p3Xexgiv7PyEgmKPvbq4hBdZ3-F|moO5?z2hem8Fo#JL5XiTgmW!&jlR>noP|m!a}PPUsh1tg>idd8razH ze}6A~Np!=dhd?4LZ9R7HHi7jakb{+tBk6O(-met^w&W27eIY~di>P+Oxlyjju3YoVy@g2WJekEb_xv%YZy1Na{NB=rl9;Ig9n%S;$b{ND$b|=s{~xWw!p;T zBz9ZFPR(}xE_$yBrb!wFbgDob)x0=9D`*m{@=z8L0|CtAXs$v9NoOn!H8aw}KgVLl5Q_Pj=YJq-KZ8}CkwQu?=UQFRX(I7^A8u4J--Fh%G`%Ka0cbA)h)wbHk9Ext4x#wP!MypB$rpi&rVDv|B>Vq+f7^gsXTX85)c$nbVP z^utqp4l8^47q;5Ah*a7REU;f=^thS7&8oImM1|IpX*Ga}>z5U-u-Y%xr!%~LIWdX;&5~2r5~k>G zL>s`;xii#kMq3oSW``=+!e^;L#_vP*Gn@q`f256wn>u5JI$nuAY13h!V3qN&O&Qu0+AJ&g((ZaSIZCi6GnekxO;l zsaKDK!Ok4+e9iK~Q{vqmLGWDErHB0F4eNU!9u?+A+XpWi5@mG}eu&gmC>q(+Gwv-o zBc+yp9;V{@%_R~DrEO%wx^gXpy5Ui`ojU^^5I(PXAk(0Y!E3ptOTL@gQcy6bq7+n= z$OIE~*``hn?d$Y8XENg}vG=_=RmH_`6$AruofJ8$U!Mf$kI18UPZb0kW1eyz<2o_(EANEQ$q-nm0(#gZ- z9LjjuND`5xUQkGYPw(SZgz)HA4gB=~l<7S@J(`5gmQ&$)uPF5BRs_v#?|m0(%Q2<) zpci`4b>~9s@QAQ*@I{KNUv-FnJY_J2(gM!smcNjvd1$rY;GG|nizTJ)I#4CFeYuP;K>`P~ISHx~>(ewNG$IB^slx784 z2Rqk!%Kr6IJ#l|i3M3qIK;k`t{)gMVsmt{ZMt^_ekSKlOkHr-HqYzHg4yC&4|z71}0E@W@f5_ar4~Y z&*atl{7$NF1_8L84&KChzp=}I-#fhix_Ei(jxF8fyHNieNPTP;-idR2StRsHR&MXf~SA;6BBl)GkE1CU_84})N zK-Es}JAD6FuS@DX!6LW$v64|m9sREQ2sMdz2+xV*f(p*lO_k`^w!gTDx#GIzW#kA| z9Ow?zwP+YHG8D!5u`?Y@3$QbVb+0(%eWb#J)bGo23Q@u^7VB-#RhnD#{>12hsE+?Q zkN=S~L2X;I*lxFnX7+)g`sT3zp7arh^ku^Ar!(aEYnBi}by{mB{;5DVwIr!~&WPvP zQp&`Rif-+nKC#>THD^i6NM1D2o_2DsyENF5dK*;5D((S7jn6OFi( zfGfaCMJ<4hD2O^ih|-WxQ;Ms_-%ue`POYliq1aQ~=A%q*V{;gw^q=;%g`dteQjX}f z_Fysl|5|{^ANI11a8s7Kjzv__BIGLW2$hjId z4?_!hg*{wFmnan?LeiTZrSJh;UVr_rSfq+@)>3*5fn4PcqN&QWQx~RWL;|v;UwOky z2WL~I1YX^Q`QYKI*hpJY)YrnLORmY4#f!Ul2?3ohl_4tSQ_R7?=DjlQaNQx9ig1>! zC|a0qE`+?K-JdeChlb0-P*S=p>d$1OSQ0oEtX7ysHYIX}DkhPe1nVO!_HadyyC2Dn-LRbK zp2CXinqS3S6zyGzuC3Kt+N$Qp$?8l&Vaq=RHnRzQ7YK|jAA9fe-d6+Q2$%P za1!aM@7s$^O0oSGODXXSeFLQI(|k?THy+Erp>C+bUXVslcJ%Zgj!K&1;o;QXa0!y1 zn&u5K*N6?w%-$%eEE;3n{vjViX-*1JHnwKtS!ru}AxU$d<<_%G9`kV+Yd$%hv?Wu$ z=!e=3!r7Rjp;}JPV6iEd=WWJk5kaBi4?X)Vv~fiw--80D;uTWL+n^B>0m7}toD9r{ zX`~EOU-7H0n!a&g^2GMw2X7Wh1t%51OO{+}FF*ZlMT0~d47xC>Spo^2+cRBo2*NJ_ zR&GwlZ6jQNbs_P3_c?ndmTt6UCe=FztC`Q4_*=4ml7!#!i-;_X9pRq+0n5*gaJ&n! z)4HoSg6;aha|JcaUohKSf8AK@>Je|>C&1|)?IYn%S(E_?$#F+?R)`CkabuFe_gqXN zoyL`Q%YA+7@DCSRUl@P!{6f2mi!xV`Eh=wG-b9-tq^NY26pEZq0QZ7i6&?IGYbw49 zR0(yge7dmTn2$*J+_GX0~{1m%eNb^zL$50us&D2`;i_*bi$!FAOD7j; zUkm*?8AB&HUTt-F9)y!b%y|*~W+aKb1r*&bIF9-`H0?rjE@JfqG?k}9y6KXw30j#j zc_*_J2&W4z-nE0d|1VDx7T$H7C3{DM(>fwpa$GpcKpE?Ju+}>E@Rqa&DHdKZ18~JW z7k^}BLr5RvkjJl>J)|lu0i+~t=+0KefhQp3T*h1<)#R|haVif&6*R7bZQj;f`R(6Z zz9bliZRP=1^b@Z_^EL9Ve6*lvghJkFH&Ay%gD_jc; z5mTx^gY+rEdcLce*-@|i-3{>H&;idPE18Z0_?d0viT-Pln$hg91lc5|uWy4;y>Y=? zoy?*C7?~g`$InBeq}yYyp=ND|EuvJ1)sh*9>PZeUJ0)JGy;=qkxt<1t0>iesY*{%f z&2W8+>6!?7+?SN%t)H<+f4Q4Vr&Omuo8ha;(3CO^q7c-05D}gX#E~$hH6%+ATUHT; zL6Gt&q~ewV442VAvpZ#*ZKuq$?+mu^lH^a;5;J&8DL`7vsXVt^^$Er)g!j*^B?~>? zbuO=WNg1E98-ZGix$0hTPz_@c6k7tvM()8cU{|>jjLjKbffP5WgeYQ&xFN?SFF4$V zo-C91i{k#1Ve|$&lGJf_T`iZQC26R{$0`quTiF4p7GmSCK)a#?#jW(G$g@u;JdG8WlP}3-XDL^x7Mddy*7JP$PAUPfbk8#_^jhbi6*MdoG&5cNH=M^n5 zy$+NEhsGa$=W-qM!~b;XXXj>IBS$_Iaog|eq07KXS*4?RBMN7(AKa@diA2I?iN=#svMOT3BZQUtLNU42 zf1_D>LVSCk9Fv$9T4@Gjb*EQHp$dtd!QsC9l=1iT2|0jDNeHiiYx;VbNZ$DY!p9xo zAK*-t>y%yoPrm{RH2`aW50;@1nC9?lQp|+UrOidpL7vos@XQoM%F1X;_w&@TyR&Ms zE#lpE%d>s+gsbmQe3nI+E;0Eim9CP9d|+r`KAbYWeT528*H11Fx95{*!0!>-zy<(D zz&Q=1t9hFUM}GalA?ou8j@hyDb{v=m8Y2ifY;qLLZ4|S{#y@0y;@WL#Dw^Cgyz-W% zKoxf_Y;0=z*P4=_(mJg7znu45FAjl{|M}w@(KCPxu+<|w#QbcSgg|JNRwD*2pwtx( z)i1UHaWldze%NS9<1cD>GzP#aRYpE61{i1-QlD5wf*#YM_mdGIknO2~-Z=5MABxr$ zR=OV#jBtO-M=}j!jKy@GL^T>jILRY(V+;4X!GL7blyw;@Tf#1IdXvb{VV55rFI$$g z_f3!sZ`5FwSyn=((!+dU z(PO#t9uTgBM3&cq-#3*&0F>Ajely}a%nk?Iad1ODB7u>4bMlMlsqt~&0w*FRdPSl4 zvO^K#WpoiA_${P-fJC~OPBNE5Nkewpt(dK)@n3`x_BHJkM?u58_@T9@o95RWZ@v#% z7c+x9_3xrsho@L^vuq6rD>SFVuc@1ro1UT`TI_MazrN`ovMysr6jho{r*Rl8WU{Dr z5*rYhp)zo7;k_QUZ}usGh1BeNbwBEi=v^Qt-HhaXHU|oo*PN0RkI-k@2+#p+G7wnE z*p_dP^`+MvCd8PuO+vER`UAumPNxq*?83h)IRXnQ@p=h7a5wBo2K#z*e+-KrSGR?= z59L@-!GFzoIZ5}Sx~7@vd11oeGWo>l=>p#-n~b9Uq`MBqZ5Oci7s#VDK$az&BV+Qb%U$O{`W4X zXzAAki|I^>YHZ-5?JNx_7<8RbG85BsV(pvvmauwCOfQp|(;6y$@>qKVC81ZAxLn=J z1u1-CLj^oce# zdcgqhSwd!iX-?H2f~u4T5KoO0566fX?dDuy34O#y+g@s+5je1jJ=gLy@nIs(q~iLu zL_d+5Z3g^+Hh31z`Gwa6?yAzcvEtYMJjMph{7r0H-zC?W1IQZ`F+%_O<)YbZUxP?P z^OF5v_HIQ+OHEfmQHC0GObjb!R$`2RfxjMmx~y5s-&+UF6uTgsE_LW_ljv{W_P9fV zaqx=Q^TQZAg-@l2WsMj9K!%H}f?`vJWolX`B@k6;nE&nVw_3lkM5dfG38EFimOEgD zRMuU;3b+kPhJ}h&c2+dr=JA&9EUi6xJchsWz}O3({tQOmMw9C5hQbNI6W4M4iiX71 z3aGP)NACb+q(brYh_t35r*Ctb9v;0SnA)_df&YVM*ug9y>NH~^}}_6V3Bjl{cbK> zNWv#DfiS+`PnAGm=dWr=z-Z~q7u}z_&ruEXS8+0dXZjPSva>4Tpp|NTU*<_NyAl-F zjy#DOAFTF1zwKjZ|5SHdpHGzID|gGvHKoUsE_^M7q@BmPEZ{CG0q59phmaURFH*i2b8m!JDc%~_~cL>p)b@t2P4I5o}Hc~)re)?EN z@;z|vfhK1*oB;*W9x-Bqh>lB6vTV2&9sz74XkEI8@9hk^Zpbhe$#rQLlC(IcYY@GM z!2>IoX+*K2J3T8V>uv-vQ4+9kkm0p|zomU`03CZ{O*$)Un2(0z%xe1e-Mc!*Th1a> zA0-j?Kl?a@+coUGc-i#sp98{WdzNi6)5UrFnQVp2A@hZ{mcm^u;)3Fq*D~T z9gMM@Xs9B`fr^)LEe*xNc*)}CCzqmx_uvPHgfcuX$vX26VF*W~OUT$D8=ORbpO8vC z8HqiWy4u!)2Igh7=NwZklkbSmKZxBV;&Xxmhgdd^34e><%x+~mBd?zH22OpQx{h+G zeRwB6O$7`FF98K&r-<6bw0ql6@{Q;osJ94G5#?PTO-upOp&M67mg#&LbA=m;5EdBg zlT?kFDx^fS_Fx2}&bJLp$L^TM&b!a&5tUkjm{X!m~$nM0}rhhA>tgSA6*l5i8{4_gzZ?iX7RMV5QqD8`8~IjD7z{Iz`p zaA0#lGl^#sO@^k{E?dCj*X)@@K;j@BxS4_8mk^Z?j#X zmP#-tSb!-ZupUAxA2{R~761I46Z!2yxBm-o;(98Dwr6P8)!Y+iKhp$6t$Wai;e#JNI1RByyWk(DW zD-eAcPl}Jo!1ePs*AG2 zCI~cAP=3F+vJr*8AV13o0#wtZ&u|$xU`7)H3?2E;&JHgpi~^C0S<+4{F%><(JDJ>?@G$=G z<<6GIbZm(GmH=jFq3bTU%-RA(EQ7N0_SMM|X+++R*~cWGU;nc}IaUp(nNRK}sY9dF zbdeVQO@qk}x@hl(`ml421LhoeWVcxqN9{i#jQ1;-zUaoJ`TWLK#C^=!b8so&kNT$h zo8(6&+Wx5?9fP}96atv<9ZoD)7i z?D2KE2~=VkmXEYzO18Vb5+Nin@!tNhf?|wCK~o9=&w}C4(0AS$7YOxk=~ssc_Nern z(SwAfTg~@hQ9fZN-v-s}96Q>FM4U>+xhvAWZ0t>72(@7(BENysGW zK=Gk)<1+r0$uN|yjJn51qwn08m=iic%A6$e^E1#}M1Fs6zdQf}&J`@^p9BBS-2>~N zdt28O)dbG+9w?V4H^>XjXvFeMQW*)1aMVvP>0%1ezB+*+-v(k47xCeC*{zT8;ZFjm zj>SIW7ydo1Z2u^N;fF;t7co%2_U(Z^qB?)v_ZXacdeW{dB zV};V_AMm_;c_o_ETR#;F2A@N&6_FD6O)9La2mOcAdj!ur&J8wym&8*Djj~9d4`~@1 zGsgO&!}Bw8Ph-i}<`KApTU*Kzm4aeB>bPyAtJFiRQy|UVK-~Mo6iB^I-4h@0*>DB}o>;D9P`X6La8!l)n z=-#?PvJ=gEL+V+0v>zUY|jqf1b+Q^|Vn!5LT9wC#%7Uu_y zg4e12c`BVr_$7^q61o zz@iQ=IA~_Nk?r9?Hbh?ALu=Eq@#GsKS318sc(F#m`uU-ff`LBl9+=2sC9#nBy!UqmME;H+^1Oc9SJe zW$<~-w3cY)+b9Eo@#pZ%ANa&i`3k|GShQa~R~O8FGHx}iLQHl$#R3R!@;Zv4zm)}j z{CE?(r8(t#Lr^`7jw8M=c4L3YF2mq9+%Uhns$pQa$}-D}RGK+;M#ly**+g=MtDlUI zRXWdV-LdaK0%!O)d{iKy`6({}mI1J3_;m7T+7t=gR)hz`h;8Q*t`MPI+XJs> zVn+vDG(0A+&NX-zsCIOWW{vjy?sWcE_|AWFI$g&ycsDyoyvjCvFO#yE!8Yah-+j_E z%YTf|E}dMbKGMfp5`80Rbads^pYBP#b(d^YukBl{QP zd!5Dmz)SNAn{)?l{?PC51w|6c!XVrjLB7s^ueu%lLH8i3o21Kq{A(|?N^ZkMPfm-E zRd|zGUX7=WMF`rIPS}7Wgo!;vOst+<#}i&bX;DFwHmabk>eBXsVZ3GiW43-?ve=JK zhbQ9%BDb|()ZX3@jfCf@Jh$rAb43yHx7X&?jmJo6*F@;1Uk?ZBhIp*rd3@#NjJBVK z`5~m$NRGgW&Mee&&`tTzJG-<=i=c!vb+8ckHAVYOi*AbioD;|GmN z2meSWm5-)ya9e(~%ju@IzhY;65d_KRE;P5>Iyum4&##YZ@y|+ZJRmH0mq9HGbvw7QUzhk z+<>c2^KOKwwKca)r=8Ouno;oFt!zRQ!+dyu=&+8&B4G9D-Jc&e%TvbmCDyOU&-T8r znAV89a7$5q>j*CA1f}vs>lJTm`VwNBp0xoJw6aeC!|@DxUo7wh-*puIke@()cd*$S znkA36hnd0D7=^(TKham0VaFP6e4CO@sfb8KvX;pRo9!D0X4ZIwT{`L^&^ zfpCuR{VH@ZLbcBvT8NO>xnF=NMj7>}ok>)Mnq1mb95GJ+hj9BJ`gyJ``7cX=hkGCY z)pVugOn+~DG14w=Q=>Iu?Owc!(bQdk{cW``NObQ_Z*2Bb4nj{A`4}}4+&t>;X@**= z;Fflm)5gBJr;57|9BJuuB&3FQkJ=pNKg)zd?{Q;#xq-T5mEga|H}$!Sb@FO`K6g7S z-HShPoH+*Euvz6HcjlA(87HNR30_ud9#?in%nlBM(81(>S~Xd~EM2Ok_!R#cSVNJ) z(m~ z`Jfr%clQ($ZRU_`ne?O`wP9OIqpfPUo<^z6w$A~1o)yS6a)H1$3yf~QQ5g*Za}Z`c z_>f2}OEcoXOVY4usg7(SiJYG0;38%|`hV!I2!gS7{ZS|TZL59R~Vxp`6te=o?vmIJ{-9H6*L0`HPOxs91Y zpXvF6F#hkZ2I*D{bN7r1^xm6m3 zbSCGU>-2G%qh$~ds1%cf-dXt0AFBC;19KV66G8_3Ff zq)M*g-L(eHSbk$#DfkQ!=e5b@4GRm=Oq_zoKrW~~U0xemLN&FAw`a-m5MfymwFS2d z`940o-t&8Ks{04o23#aW=Ld;m2P|LNv=&0n4GfJp)GRLu{*8ByAAeM%V8teNr9Z*k zYZEG;=u3pI@h1p55&3UqAd)Wzn#n8F`RQW{IHBWhpe@M%5d*na=h0K{hP=qFH}S|_ z`&N^zs33gMG5BfbWTE2{P8?Iz=r+~CGOkJ4?pzR(RFi(+;v8x6piK0W8(tZe*v@&c z5DILVOARJc6djSoanwccr^p8QQ2t0@{0)f1gCS3rf+B5Afs3Sn4vm5|VWL{wN>Ufk zw?-nhKYSAM3!5;xgA|we)UCxPpwnRIQFGUBdzRpL-tD0^e|E1i|2F|=mSEi*4OCD> z@?xjSID-5)QTQjP)njHqd>)fY;|ERl^@$IHj!!@D3AlX`{;EJgG6#a68KI6JxR|fj zuO+Cy*+cSLGeK$vn_u7!lmlpWghtDpi5}a|-M#uhEx1GO1F|;6% zy)@6q#txQSsWsO{TA}0JN(S>*KUSby;d%@xGt==`KsOm5 zdi+NFP-ZedwD=EBR)|Ct5D#3hs->zXeMhO9qkCgIw+wGOHk74~z8p{)!7E{54KAnK zMU0^QuMp)Nm>Mu?iuz68!NSs%IGd)VMi=ZKD4U8*DI)y)cUvpes|DqzK>%njN-1v> z+d-s8K7rpJY2Y9=Xu!NMuKB~dZ;2IU)_yjG!Vt5SN1!#XrLDPF*P1VeJXbtcB zU6uSVnysQ~=^u+;E(+g1_{Es7!{gLyqPwQ5o-xygdk83iX^i8|$+iS&1&|-AzF=eZ zWMqoNO7gYCbJn%lyzY1p*(wwV?zNMPVUw2cIr}M@&;A7oj2zK^K1zhSU@(D2Tk#r7%Fr;uLHi_YBo%} zg*V*`SN^DFuCL8ehlWR#gXACFXFJPS(xP4)6QWmzaAjvFZ&*3u^~7l6oAPdId|n;Z zro$+#{l6f&H+zLbF!wXc+9#cUehcYDm%`3g=K9sokbmg$I>vY3vSA}CV5U#9?UmzC zMvBxP^<`f|)1RnNCw!v*F8{j>oh}s&&P?lo0Uv}EgiYwCkjVQYAFd|aZsynJfF4Lb zdy0hrSy#}Id?@jdLqP1?f`aAvJZvqBdN~IJirL##A~4QM@HYL)3!m#BWuqfi)2d>B zf%x1THI{gI6onwr_*k!fBdi6-C}K^4_mHGM@c;i|+=aDgMzG4wKRi>n;v98a=%7Nl zVo~HyVv!R2wy1pST(#m$+r?HN!90<8+~zuv^Gjd zr-BUmLX7(qQ%s~!i&0BwJoJLZA1=;oTWYMb5K=mDz`9V3j447c>qNAsF0R&mCP04zmem;NpLf{C2%US6@n9IB~iN6#L22VN`X-F(d$2cB7pF!l1k=TS8#`a`N zw*)f&QBA<~I^a3(OR_uWP;=^FaI78iduAGOL_;#X+*|4-O{@SR(TzW>Wgz7@f3oKU9PE} zmvQnGUW5sQbstp0m*Q{97^R1s(N)PW5p*A^4;Lerf5XvQPzQs`$8Ys}1OV_rUiK?$ zxz5-RB2vx||NV7ejsk^a3*A0q`G%gra(enBZt(%KMn7|nn)e$ z>-rbyMN;RY*i#77 z@Re^mm`pc#A2*XdjrJmsyt8vL^t^DSEEb1Ihj!UOvfTIAcd36O-+$#Qf8H^)#2VS> zxvRrX!a7&e9(^C*%qD!KWCNF7xgDjgM9)H7OY*$T?%tU)d1EI~7F*Y1*(a?M8n8}d zFhtl=JiMKSwRr_zjLC@jH|7sZ{og-0`tW;S90X%7I zN}P0Slwu=wJFud&c`?>tU+G~4h30l1tIj4sn_r=~&|N*fL#f?w($wAvx_a_DgLkGd z+%pudb_7^Yy0v(f(+?>-^2$=DJUuG|_PMSYQCqx@Ja=FerD`$5djg>K1a1DkYe0U8 zC(2C9c7_V2Tv&LQjP(QCEN98I{kG@?K3XZ zBLBR$Yb@kveNgiVfwc|WS!B;ODejZaT=xUsa=QoH_C;ZC1@)>4!nD6LDreSJ6Z_1U`RcD@SzFRpHGcRb3nui+71?*hE6q2wRDfYKySk>$;P;*Qc#$M)9%tOyEZP1an;_?QPvwkZpN9e1I!6>E7 zAhK-XNtQC>XQ#aM>^j{|&}s;Ktt;0th~5FyBY>MRau~G2fNP`c>+$pIFjUGh0r%hI z<;#K?6!qPf zUv&A@Lp2nG?Hn2FoofZufP#0#b>K)+z_XHR^SNN_hw;TkQb^g2>@XuHc}X}&6Z}XU zg)Qe2w#-`fW8T3gjrD9}^Gd(z$wqFy9IEWA9u`5_6a9WUEX5ye=6=h|(B6!(8uw;W z#=!AL9P1>gH(&m((5%>Dy44#D13rmg!zhOCMQShkHMdD@ZV%^XJDu-J=)@^sVE0h?AGY_k(%1PjJRbeBQ2%ZIgK>{6OTZDq-m?S|v8a-(7Yqm7?XUQ*PW!2|JTiGpSeqd0%C( zjy$;t`-e4JS_}XI)AxV6N)wO=>4C<#dip8dx2&%+LG~`9TKyb%hN?&tO~dyFZSYKq|Z5jcgNH4JR4NZtV{L#*$ARnHG-Z z5oJ1`W@@!!-Z#*^SxhP1Gq(PqW&VA3k`enx37OR>4TDY|R=*W4>8Eji<$j+V70J(o z2ORG6V|siR!XS$&kdGOOoz)Et^}M-I(aySBnsTEuMy;td583MQPl!i8&ebtKr=+p+ z5_-ykqF{X;GnTV78zY;bkRb%v6c+^(4$Q%_Z;j^4&=l1q(j~Ve-eFL0Fx1#Z3uOJ# zRDDeN?lW+W1ddFuv{U;tII-MFC=M58-?n%7$8lG-8wTzv7>*+cJ;}>GxyA8j)nS!S zOaf$8>cf?v@2Ourv*Bge_7Xt3ZeU?wM_inQo_;myg%%wJ#Z^e)Dr?c(KN$KOsE=N+ft9TJ>;lGuCdWc;;Go}ci{ZjcrQ7f*kk zP2QZRCN}uS{dJ>nBXqJA*IoLT$hmZ|)~mr_ zDX?Y>grFI9t}~mQ?pTuubq$3f60`8f19wBzV6)`97ygjmkuGX)0W*HTpeM87N$LO? zoi53sf2K2K_lCnF-`MCg6Iu5(%SZcH8Zq($F-(pMWE+=MQOwjXjMvQ+P%qO49f-5f zC%s?aHBPym$*&h~H^f(aw|=co*|wikRaa!8(y6M&V9_pIM|IVVs(mXQUrYaCtNl>1 z$OgZ(#`BSzvesPu0VO5ZC$o=@jpv))6ash1M*?-Jd({-IHHpMi+4vR%h8Rci?z4?@ zs2RqWa|3;2-yMdYisxyZX?xRD9m5> z@oU~oswT>|rv~v%3zN&!Ru`tz_uqJ)Hyp{?RIz5LYzqV%688@{-eQd-?iyQXPR7yO zo_svs(58<5YhSdUk(o&Il*l`Fd%C4F_*rT!@r_D8k!LpY3W+q;_y?4Z?DB^6>nS2n zNJ9c@RpcRV|onmV++OS_@%gq?%>fl zm;}0QRul=QN2}$HWn*)wqf2RIu&3NCYId0K3MILzUUx$wlSf~xe{e?gT~a-*{8>@ zcGY{K_UO>9ZEKl13F0cb$TgdB`={JB(r)e&@FeBSjlx}93tb3U$>bw@3zUjrSrF3>B20Bbu zYr5ZR!(;|gLLbdhiO=MBZ1n{A&?hxqCw#9aZ{J|t_GqJp&||W0e3XPP?BGgXFbl=6 zfsn!YkXl%Ksr^Gn0>&HX{5UW7c6Aq(zXmv|brZ&s%-Mae1x*}uJkg%Umy~LHl>rWK zqUb5{nW-f!DW~aVd&nu1c}T(rhn_T7SG*yb{r%BHyl5&iIA?}+=E?IlY70k(>fjT4 ztYVbA!{;aD`NU{_=zbpJ)-)uZ8od_uvbO}uiM9)$rEc?gicUsj=sf*Cw1G9xL{;K= zTj(ZEb%z#)Ggnu(@zE28vqeeU@Gmph;{`9HO7HYBkZyc@S#tOm^}?q50Ik|Gf=}Iy zk1JyB&y8gXDeMKibDro`wMnb-x8JWlPI%*78F`7M#pDi$F{-OZS?%W_ofe7B%= znkpvrb!FQFo+Tk1cYNR6hxyUy5z2nl8n2V*!YI>fdL5_H3Axpe$!t?}@wWzt#D7FT z{t%}8bobUj;{KHBijq6h3Wr*+wiwax5);oHw^bah#AP!3e!ueHX7mwiM44_l)Xf#) z7s3lY%X*ZVp{+=7qKzTJrH3~@k(l_!;A8nUMGYyG@p{vAbvu1|in?O7S~JU~w=&&{ z45z5ZEqj$*hZFqqyaEw_N8>{LN~;6zX@fKT@LR?}ef%j!34H z%r#XcCvnilQ1>Qj;1RB)E0}J1<54^pK%6|h>A{I% zOi!t{Y4KIpSj74{%aXKXq*Rn$jGG;CZ0?#293A@;@tFJ+DbXw`ulrp`o%SY-4f(Y( zug|i=uX9Yt`A^jiL%b)#4@%+^R}g}sq{dCEoA+u6r#*Pm6qj>9+GrPBvS0G#$kCiU ze|1Byb7X38_{$a+5R@2{e{!?tG5p+{zTjV znlawzpPC9NbA6t#5U9OqhYT$)BfWIcN&2zm>?&J^PTz7&#O_3XuaM?+2--4L5`trWJ5*^w1RSR)wL799U8e#l3o*3TQ1A z&tZ)^T|!0R+Alnbr^Qc1R8?wq9(~4ciozs5HP4Y*%nUlVQm2l zkoz)fJt>19LRS~Fa#JZyOk0UuMr{x*ln3EL5y{B850~D_<3wus8gKZT(2g{=`(geI z(%)q=VqXXnq-q8zhRwVu)LK+l@u8wbIJS5JHv_Vsjp=z7WEk1R_;f4+#ox@6`r%un zvIw+VWH9Rd+w4BKybkr|`)$#j(JUfn?YsOF_#JuswFgRxl-d0BATzmx*>eS46B>)o z>Cz?K(kA9|{;m9>gGk294OU*;g$vd}ar=29HMZsm3rgpQRfBilkeQ~%xSsVs&MNUK z1#Eu7AyKeWBH#z;euOIbn;LO&5d88h3>iT_;qmeLO0hEP^FPvv`;*5u3h{TpWYG<= zhKP~Oi1n_QpEc2SO=W?o;+k;*Zmo9nfFiJ(4A0=X1*1rcc5i}9p+OYz#Rh!BnA8(PwXrp zLPw#`1TmaxulHT8NWX`Nur@QIwz|+vDaL)KRNWbi!jL;-ABei`K!zx;l*kvzg;~A+ zr-Bo|Py(qd@Ke;Vh1BuRK!Awd02k(L{z6cIc$XqE!k{n_;=m~doE`%&sHCd(b#aKk zBQ7S4cizHPQYadIZ>sn(@Y4o01n2=J%M&U9^@^<2le)XyX}vd$iph=UT=yaoatiKf z=N>BF6(08hxL+`@T*EOrc&N1l(5lDmV}x#l%8|dtz!wxq)%F&uLE=}g%Jnk>e4cB4 z2#4B|P5*=5;$MA@T0q)KxiEWH9a|`!wF2Yxm>iXEHCA5cJhH>TSiKd>5}E%X`88PU zBSx+1q_MV3+xl~}mxE!O_?bl&+3~7!$b=dTBYj=4kou(+$xg~RKLZ&+qKClHvLbfp z3`Iy@fOE(hI_jdDCsB!!kTKXW{J?S0Rhn=aLnc1_6$MN4UIlfp|E!CyegiLAg3^L& zC6*0@b9_^P{u>M#EdVC_8C?0-VBVk z^_TUCVY#6znt`?|w7{#UL>>%wJF0320B#RQc>_NW3A-p~mZ#?cZntjChMu3`>r18JHK=wg?~}m3*zJ zA-_;Yni*NQ2lfd9CbFc+gdY5x@l^-#mRKWQ`r__e(NdkTpcgYDTfh*Lt(8|-mA5?Y zc9()l@b_`KTf`Q9CVycP;Pvv-%`7xp%TxDerDrW1Ap4+BBxbwNeamCgEkN5HgK;oT z=xHwS0mPzW&~7_nIdZ^@`4dIqE+7xIm_2<0w9dnRrTWyr5wZxx7F?zl{;`F}oSmZ7 zsq}+1I4}|XxL|1Mn4MLg-qFAV8)lUgH*-sjTS1z#2cgGlCgPti|ZxEVifEfoQnDuG7i(n+?j zlxvR2tu%8CC#$R!_RD{Rv+tUZFPK_4WyWuwg-q)x{TL%w>kKrPA2A>J?>Dt4w?hB@ z3T>X~{QU=lRBOtZDHeydwx5pJCcC5 zprVxD*SI?66c*+9=4}Iwb4_Ia` zuKasyglfdB(KNLTA9zcz>IULP%VjZohvq5FQur|*1EG*KfLCg=`$-2py89!k$D2Vv z>kAR7!{XW#Eyf)I(eELBa0n(%N5LoiJ&7dW0DNiN+iIraBK| zxc&BRCc^bWCX-?=e%%gn$X<$m)#VT; zarE>XFhc%lJ-c%+{LiTK1JJ4XMH4dlP;bk4zC?CAHcg?b!u6AB)muR!nt-}@LJ*VaOWYJATXb3xl zx=I@D#C659>;#fNCb|U08ma*brDC^H(tD<9SwDnF>MHn*;!DVJmwUqQ7J$8?p9H2n z@?4HcMc=f7Zitv2De-t^63T9(u&%kIYf=8v5)0&WI#s*?!tfag1z}Om(K3zWU%v98 z+>r6Ofh^cHCZU!aJQuKA3$#r9&8d&~eWe)c|A_Y%J5SjiCF%#%v1p!UOWKrd%fUPs zu-ysfay@(c4q;pG)oaO#A}r~9S-)gj|A4&6@Rnj6x)Vju{f^^woZ~9)R^Ii*SpVAL zU2H9&vIg(MNLnDaz_*x_kAG4Do+pyl2{OkCmAfHa2Y=r%8!|;_Z+U~@ z7u6LAM=W|3q4quLjVGYU0AyX!uFKQ?$LPmssL2)Jd=cwrhqfhW*O#DBAm`yv^vXz!uL8 zr?~a*7F@y4MOmqnqDZR!F7Lw)L0$&&BYvT~&tXr?F`nSXp3LwKt~Xbrv(o7`qVT5% zetO&^MLMpk62H2CW&6?*4fZ}~ab2y!ciGZ=phS!H6X~sg%poKV=e&16DRv1V{wC%b z4_w%{Cz@EAO3n@C!_edy#2@bfg-ewB`!5e#I>c0)Rpqd^Z9AO1Vn;@R>+;r zYYe$b7^KgZd!*tzJDA{pRZ0>V zUpFRD`U6@c^7wGIgiGo-VlrBe;ne3pfVQ+s+h12`Yuzj?V(^>CK!sS?o@mlMed8HN z)aseoB;LFl(Uvf>hF{Wxl|2@2;cVt$mXh>n=yoz)XYmk72HMG(;+Z(6V0Gsq2lWfHOL0Cc);%j_fI3_KsUQ`=Y~k`7Z+{qAL!- zq529;=ZKA69=8`Ue4zAJmrxzB{Z1BC?yjI!WC1T^?EAUYrg?o^6qoAC=T(d8$j&(E z_>}%rln$z}i|q>~302Z{cGaUV@Pq@k-?#m~NHP?n4jz4nlqbJO-7wx@wB;U${yiyF z8y8_HcUtc8sX=0qEL?u=JZ^5HbhU{#uWd9)GBN)MsSJKQ>w=4DmS)0LGJju)45nHY z(JRK&62qEFgRauz@v4^aD*6*KOq(|IlUQ5=S(RvUsmCRoAkBnk?0yzO?c4tQeK#A} zX?_HuVC+;y1=Y0*ep5~-H<~*$kmMcz^=?<`>o%G=Pz4KN(g>`D8WptS3N!1c#EHUd zSjDot+iM^!EbhJT{bl8P&dW+x-~HOVFOL}-OMY$D(W|u7IFNjep}TfW?qF0IN6K#> zuYpdSY(C*@_LCM9JZGm>m=g$ybCo0>w{_*4aqmXz_*~qJ9WD9A@@YVN(SR(R-0emW z&Q0u_uG9K{dSb;C`_uDf6dR(d)^qPrwViQNzr6b?_R_AVD|xg;q{>&>6=SUl3L-yO{sn2SYCBaaZ0gbQ>Ry`U}{oY zCM|c)9otm%Ar@a~dU6wO^**w_UlL6#qoB3XIQu4?y{sCLJOMG#;=m`iVZT6pijwFO zTmd6rk#mrdAz=xQ$XLV6QfFUQiA+du!@g_M##&uK%d-$3!PdOs#7^<-(N7kko)%7{EbXgz@Xm=0&KfU1#hm9{K^mm2FEv~Q@q#nHMB9F* z2Ou6LY4WoWbY`$~olD03a)g=0WMFt4@rndt6D!2KDGG%*VdqY}kSd%bLatZ&EvKJI z6|xrvY|-vqwtkeyaCJrY%EiheziaYOzQs*V=byz0zm@t4BqKy7bUoQzOpM%o>Ny>> zYQb`a0&OoHUe_b%@9q<3O-u&YrZGL6aX9fFcBLRB?}+nz>XTHMoEUX6v<4aLEih^~B_Vg)@mLf+C2SdGaX@6cSh_+mV-XuhpF_-X@h^ z@I0B?qYE|vQ{7IL)KM22Zqt*>Si?Ejv>oOD>UV=(Nw%SNkm0I9ZH@nbA_}DsNIAmdnDZgzYri6S7 z(oZ#8gYsTfSJ2+f^6gL=zXR?7@RLT($zJyr-TbtwnIMtfYFAH4)%X-zMOW*`y`qc> z3xm^ZgTt_$3v`|$ruEjnEE;m4L5(gB2KG2Nu7Zp*CQ^UVm>h2tqzWw9_>Ur7gF9v( zPw1s!nEgk_VYkIJ>YLFfoQlU$#1engwj>}=HT?<2_!%%^0uO`qB7}aaZGcqP4|teV zU`mR(fp=aP<(iVd`JpI}W684*vwI&wz#gAlx*vuMna&A`1$cMr!>K7n@O%$4X|B

&^LGmdub@9>sInf-P^C7{| z6AUN6&@6Usj>VRW{ZL3q*s$9PD(6U}}@F1L*{xoNL#@>CCXcXD1#-PFC zUOV$NZsepin2@N>T*%y=yREW#59Q@0FjfoHFXAl!T;qw!p5#(}v6or75AxvbbU3uL zRTdf=v&UY?yx0JE^ukV!*^Y^nc&7HfJU4`yAZJS07e0yngErfhn>XUuU$8QyC8);2 zyGfOI-?Nz<{v^ZRa@|aDWWfF^&Tt1*Z1yh(AUjn#?;9|Ag9eXXSv>$GqH_m>bw#%D zMOitY1v|>$eF$-pi$eD`?uSy)W+a>JmJB8p zlA2n~c5NZkR<|u8K3P#Lgqrp4He+t^cwQP2EC-erj6|UwFSLx^y$?wIg z`af47p=00zTxaWbYCyq1%B<-32(uAHsQ#Z)q>&U4(cFZc?k7&dko0=bjO{Vm(RyDT zB3&vx|M*ZNH1;YgDv%D`#O8#zZaZWUgSNCZ zIcyu4qZG##G%e^wY}fR*RJG5%RS8h?;cpr~pC|Ro(kU82Rzygh<+&>yENpVQ=;FTu zbAOZzIH|5Ltp$w!Tqt!q;V5OVNUI3n4k=~Kj&2*gofdgVhoW}_SN00tD6mP$l{=Ri z?yFsqRzeD9X{9^CkNpHu(U`=f$^fb#eQUm_KlWO1@O%(Ce7mja2zDuJM*aI2<~%QaPSclB~uT7CRBr2`xC8ElVD z=Y-XQ!zX5aMI5w{0{Z?0@W;cV@->(cP#`B<+Hl=@#llzYr%Fjz;w#n4VR}rh;C&Hu2w)v@VE0HYRY` z-xqRE+!en~z#o=8TKIBZN(7_Bxlr<%xu?}<5KT8r;q#q(%4F6^| zIa_yC1kWN?DT10p%i0cyTLU@QG;BN{r1NUGXJfuxyVJ>{c#JqP`QfV25@3dEifp9q z-=)34#cTNAjZII~m-M-j>i%({SH_qBVzm;*1npcV96XBpkjwe8elu0z1D5Gr^9WiY zOB>_^ihg~NrLXj3Mf!s`t!%2#A0iS=6h%wG%WX8BClkxPC!yE1RMj^Msy1wQkabKWKjlYv8dyG#8v%gNe zlE$~jXENFE=VI1-TA2fFhb}3JSDht%u~8KUe+dwULY+3)5X9*pZD#rf{QL_lB6{a@1VAOE4i}L zVD87Ca^744Xy*q&A>$ouSh5lIYRdYs<5$@ zdFUkqX6)C$=**w)fz$BbSw0x((}euCzQ%ff3aBIkJM=Z?Kynn)eUXdSVY@Uu_ND?t^f}9<#dNI}g$NNYnM%)6PEa5A36P|u_ z6+|zseGX+*`SQxU-j@j>mim|scEURJR}j2IB1gr?V$WyFrhbGX6j81($#1{U-ko3o z(bCuUaS5pf(VdBmrz7nE@2vDgkosq7JW2RE6T+vW&Bmc$bY-{TjZtyo5X@bC&DpIc zWN>OvV*1&kG~r_pFvpI7)_3RRr3&O8mBtds)P(NMoKo2Btap_?YaER#d88uT^}YHY zk5d8%(^v4lm(o@j*S=;`0h!c-WW|*Z6a=S(K0oW;|I;r_Yt42~3-ha+R33azE5(Lg zadM!mIs|!7GcT4MOFweA+GuV)bs6lj7rM_?R0>3Hexq7&pkI(jBY^;nir)K@2-6<4 zEsW-yv%2BpzX2ryz)pSOrKiqS{+zB(ML;&Xg~;q>e~>K#dJP%c$D;>okeRc6`%K(N zk+0T2`T0j>dPUFO#^=-|@SZ;Fe}%`QP96;N4pZqZpiEa~A{xjN?l*Q1svgJ?3qv!U zt*V$vsnYEaVAY#mxTXBCA-w~)OR~f*10Y#o1r$Gr0=>S3Zj?ke* z**Rec%igb&F(5JXka3#7JB$P@A*4>@_{1AiY5flkwVH9pHsJMaC#FqF02`0F@ z{$+d+^T4q%kVJDUH2<{n13<839u(Jl2)^t-^_5gvgJaGHVx&$~W8isPZPUA&Q1bVW zT_!wX%$T8;dHQP}qeYlF!D8V_Fka*1kNX}1!mg<6$VuAIbE3I-*t1yE+)(WXiUQey z!(i?Lsx%z@X`hVYl{%{+0g?u-I@_TNN;f~4WjSMp{6;77WA;!!W zg{Y^s9hlmm4Y_9NcqHH(f5+M`1nKKmp=Nb}KOw`W(qeLsuCRb`!Z-`5WUomp5~?y6!4e zr2>Bb_)SXe)ze1BSL)d+PA84Z9uGLxeNlqFh&QR&eby|lIXslB#_RDy)kpQu<}eW< zd@7z{3$p_$_3WC5Tq>nCM_yQihF`V~!@(f`3I4(;?6WFSzK)hIZv2e5)klV2>fhb? zUE*=CJjiNo>?wR*p0W=*)Y`*)+b=9(AfWAPv1hCG6B-A%rv>t(A@i7X>#1icl4(^A zu8*O>4ZWS53vZX^$=0S0{o_eG=Pt&oN35;Tx}9>Y!@^3utyN6N`5okj81a)!`URf{ z%~3HWPqN1bRhG(4x4CCfwJWk2lQ)C1u(m)n>fmE0V}J-fmJBddRf+DkR%h@b2dxC= z=NY7$Sl3^}Lq_+7ISOs~OAEU2=+bJ^(@r*zKo2|Tw@;Nbkt6y>UgkozjT9Y2-F*hy zm+y<8I3xX$3$2+LCKsQv?Eh=;EFYqH-!8s%2_mt8fOIV(UDCaDi%563q~HRAluFkE z(y=s1iV70KiqhR(5+YKH{_g$$4bRJGU(JhUc9@-=xvz81^|?lhmy?;DSU!RxiEFq6 zci4WJ<-^>JgKU90zM3cwpQ@mNUGlycwXLXUVpM=CaYm6t;nCz>N`0@|V(o8w@x%-c zrRHEx%3?9jR<*uCd$3e+bAM`zfE2j7Xvrz|a=vbuFrG0eW^#W=D&AYh*CP<7wUR(S zYWUte;+t&`fnEei0kb+re+(d@xI;ZuglmHBB=Cl^-ziZLU04rje-P`%iNZ4JDK{?% zGon)-qg2>rQ`vm4bd7<^nk`uT1ekr_Px_=2V-Tu*?%0~LcFKD7(ofaS3pVX|=`>z6 z%kA7t>&Y6? zj-m66pT9X1YN?Nv0$H0GIKw`7QhBR(KE`MfF(M>tdjd!y!FyFyB^W<2`Q?Qwoq-JB z+FZ=#b;F%9C|?*+_Vn1J=A7xl{)|(=WUx;$aCu(D<5>RDB1IIrXt~9{#O?6?K_1@@RQAfmc2RG% zYlsth7Be8pP!fk)_m*lrJo*l5j=Zu)D6;jM40s<=jtA*Tr>+JkU1@*&0e_a#_bNSfb9f|lpzTd`_%-|Biy~Lbhp^l0j!lzB;c6V2O5TDSIsG{#BzrnenNtvZxgf^C{2@fjm4X+yOqyU29v60nS!4i-nshu} z?A?v(rs*{M?*~}qMSO=w>o5BLC>e6nUb{WjQ$u6Kt2T!lMrYT`yE(XDdbBAi$_}oMTMo4-(vNJOzSFUc3T~Hx? zIu+S0P6l_`0o+uac7?o&5Bb=g4fGjdh}6-X6PGs>KkrDBCcMUS6tcE-`IZHZIk)iL zAh-y5K|RB(lM*);P0s+)PG&T{Ys}a%zmP!hoac*A#-(Q%Q9roxMv(B$hG~f836YKU zJ-4XTSRcsq_!-wHIc**irE|yO$6?T!p^Wfke7GUI{%jVyn=LzordgO8an~=~mjY3q zN=+UAT#%Q>hlZPG2`BD3ypWe7TFDW{AZ~<3Tk*8tG^owEk(5d{pr+qZ68)3=>?li4 zi_ob0T93-hMTUR5>?cg_hf1@#mheL_qnV@aMy~4(Z&z@wo6lEOe@>x$o}ZejzCkYw6W&T@gLgo74v(wXkYM+5VZ>1gK_GS!SMFni+9z^lzskAa*?qtYmx9;|zeJ*gNOEQo(XHnOepd+v}-b6M(1D|9Lv=ReQAE^m6M-N7&Hu0u&^ zMsI804!MAaOU71-nNJ}B=0~2NrYoVD{I;d5V67?w;B^n1N90%%rh5k}7k*)+if=sI z5^fiv#A3!j2@kp3*j#|OSKSd)Nz1T{hY<{S_!dmfDh{|~5X^9uvDwtw{MQ;uC|~fW zo(%W3rc+mYux*(WQs1Jd-lqn>tMIh|W0Y0QeX}*iYnZtt^`$XV#$I`;Zd4yU6hH}L zmY#xCz;i~w)pxQQ#${w{8jAb)uGT(m1?Ngr@x>~5JFG0k<3UE%#r;^Yt#U&0~XJHUzl!EISoKu zja(3vL1F*Ea=g_|S+TEe5Ob z)IrxCGN~(wBYv8MEeCJw%q*`g5IUc&kysA~v5lFL#RU=@-VFZ5Hiaup)ikykeW8;4 zIcJf5=Z$Eni5$_(G8S_ZGUK7hf>?uXX00bFTjRy!nwHuf!;xWl8(~hFh+>R& z(i^tmq^MnkIP+=j_hv!~Oo=cD>OaFkL5RY1G!Lg=o%XO*$GUO+E2LIZChc z4ahBIUZ5SN*@rU835p@FZQkYFa9Bqmmj}QZ+gd}oM2JFwUsL=9hoc)b@M`@q5eXT- z(a%UBMj6)T_R%?Iv#h*S@hMzm*!81rfxSRdc|v1>y(k(cUBoFeCcv2b1=s^55_EBE zoU|`D7KEQkbF4ikG@+{+ZmKWYdL}fGz*DXz_A$^u21lV{*wuM#&QnmcV!I4GYm>_S zn}Z?EJMOOujOz&DoXH^`pNXdYtK#NuzDmaDIA;|$R46CQuL@+45BYDa9j0b~N)yU& zn2Is%2Gdd(FnXC!Q|s(Y8Qy8eS#)@%!TBVRWt47B92FwmS)%O+L7-F#5bGOjb0-^+ zRiYokf+qbNV~j>CXoCO{Ka!}KfHOST8O_n&|Fb4C(-#+=ajQLInfzESjy^|9wxGcb zs|w1?0I7M%E~C-kPh1AOBPJ_zkG=A4V#d8^PAIwv=k7{=WffhtPI(a^X7w1}fOfEv zUVkfO%N0ndsT7`&b?Xci|94$RN-8`lV1Tsa|5h}+i?GO6rZ+CbUN=>>&>@2qNss)A zSJ_s8+fr$M`s!iGC6=rpG8T0^g(?*u4uX{|VM^ow?POkZwJI7lEir_JcubwuzDN}$ zkw`y6Z)B1H>E;jsU($X5LOwyX5V?M66y0MwfCI1lc}Cy8t>eMqa^P^U3-6eZ>Usvb9lkn zqlPbcvUVc=O`}d(-iZEveaAFCb()P5$^n)S~>;y)+yJ55I#L0=Acp zq=GQ(`m^NrS=midM^agvE6(zD3VIVx!K$FCB-lhrc(WO6HHXIAMQq z=Kzyej3{c3g-%X)M~ZiIhuzVt^yCUSFKBh3Zjr;zzw@agmM013xdVZKlgGmxty4`t zy&nH6l)=Og0Sx)y`L#b$r5ogi$85V7%X7A?U>kt`dEcGv3W7{I>IBgD7&tp zQK^hQoC@F6npZPWfM6a{6935Rq1*3ojut`sx;>{r0o?@NMho5W18?8%_N?S|qt3Jg zSBUEcCgX9Qc0}t(qPEua&AJ2{Kx6qfAICF#to5}FVRs~l+;tBcBotqvFoZ;!TRe&g z&vd>q3|IjKZZlqTaX8#{3&$ax+bDJ|Y=!{Z(WiWJqP9IXrCt)%Qsb8!Xaef>o0@SJ+ZpdUA^I zkG?YBwlD3ORX5J7(r9~yQ}7%5uZ!ABzMgz$3>viL9b{)%1C&J!))gZH-rol}8XjM; zq`_3%t(BM}*(+Yp7o-P4pE>ECD&_$t=19;3a=1R@a4w;-8X$jRyBTA;l1j4s9LJ#7_XHPBRAxP>-p5uppHtA|9!5TB?yl;A~-8n-?sslh=dn?A~sm zaU?~1U^f;)X?fx7>xi?GNlR21plsFvK-u3{j1L0KGEC>eF{Gpr``BZ=rQo$$`{)AT z-S<*Dv6W!KY!CuH9GBlnH5UQ#m#ReS^KKw8`@kv)LW-G{nnS<=gOcpr#@oOlCbts~{54yWEziW&t^hqn{zkLqfCQheaw*^axjCXb{as z8*{m-ZbRy?SZjqDs|;98Vq%r0u#9N<{Quf%31exi7$~+t=CFuFu(m5u&`6F6 z0Xn^I9gzEDbTD@LSNCM+1w+W$Xk%fmps&09{HFh@6bAl{w#D)f0aW34eFCxf!$YNQMuks}6wTmM3v+|}Ue0G)HC zhKo*rO%ps90k1(=q;!=JWAaY^g|Q5uvYrH?pKo|PU>=6aZ859SIXEc34sxC^32HiK@1b3b0q)10Cvt6Z;}UiYjclND{2M*S8Q6?>hWX0{(bt97$A zMVE3wN(7Dj-_k%A+g0CZ+dn3MQASN}BsO&_k&Wn9I z-kM^}GmI5PA~lILf`E@b)*bqH5--ZZll!}XXE}$+DPeZMIY=vV5RCd6Hl2hx?0 zcD#m>uOkLOIKu8?#ZgO{C@J8@?WiS80XA=@$wN!(VuN@?1er0%%pr2{GQ%syQ;Z}3 ztVp#+4{uk8&x!~{+DUs z@peqDy0fC7~&RrGE=Q?=9fyF*t{dBtfNU9)_p1Ja1W-lFW4O3^HwP@G-3s#dMg zXdz6$#o)dAgPus3)aXHCs7DlbO>YfvDa>5sm5TD|xBXKv4!MwM32=c8*Y2u(WC^SK z0C~@HKY+UztI#PFAB!!)JkNH|&ThRwgQz5|EDx_`4o7qaC9jAr#=RnPezRV9Jw7K< z@pri-W>w)A!|oH;^pq^dXeJIZrnbHaA<_3`s%N?L0NG>T`%K~ zBTl;0#4hbF)rpA~ej{s43K`j31kQW1lC${2WIb-zbX7B@QNL8qm(J@S+Va_6z3t8W zd9{tf*`*2PKHdVuvzkDGak|#lu;tVz6sHSe73?at=S+N|!+BxIS@`Euw0&?-!Y47= zUxNi~Yr?j5q6fscO;1t`9y?*vw3p7={J{W)z|X+=-=<#9mt(MaDR8@RfP5G-75)hc1p4MV&=fBs7mt|Ygc0P z><~=*nJ`Ozp}dcSRrn@X%+-7@i`(p}{F#=jyM-BgqI+_d$rrexjqyK1^s{E}s$&aS z&#j(&7jIbm6ml?JmP!qiT@ei_8573FG~El;$i+y$DxEm+9VD! z7O%VTp7CzfpKnG<|5O$ zNn4JSQYPSJk154<5&vVXatBIVCFe{PFHOHg{dqS9V^|3F(95#4rjWN)j&zs9+|=wi z$>LWPqN>Qr&)#!EU3E$lHRgo{1qG8o&Pk0$9nBB9&$hOlpiK8bW&39D%C zz9LV9#+9?Pi`>l2Jk0qM;f_@~Ri-bj1Es>5^k9%%;u#5z9* zn(R>KQ8~8n$jC@&1&KHZ|Db<2nq@ZD^z(kzKSJ-0EMhV&;oi)wiBy<(>}On)rF4Sw z++Spf1Izv!+06C=SKeRsT+d(aG6q}*+w8tlroGP?Bsq@?3jag{mHAf+4fboNNctY* zoT~hf9-F4?X89!x|DtU7Jzw=3WWJHX{C#bmmtS>vlmlS(E;SqE@8@Eq zt9>6n6QO4K)H`syLuD`cI6rq^hkM{>{nzCM^{36|VqO+9@2?e>s;&oa=Tkg6B7UuZ z0(9hf^JYB~6WeCai(;7-KY2)H#i!)=l*A%x=2n7w zSkOgdE5^2NCxv!e`n2JdFv@lX zwT?D+zsI^(Qt`#o*gah~1q)W1DkfpSzPO#4#vlPj*-IufBcC&SyI~`X=S6o4L^-=R zYa=GB_j`i%Utl!gvN5Auc$bq-_Hvnf(N`f_z;OmjO4A~nZX-&6Z-j%=-*to^H6 zZcMMLI51s*v5G9KyV!ja`a>wv-Qn#>{2MKoepQ}tY}>0 z_l|#!eCmwxhO#RWug1}k2qEbcyb?zml-*NyCFn;+ycG~C36mkSS_91a#m?V#?$qw* z4$?23tp0eU9_GN8#jS6_D`a6?P-*xtIm&9laxI*=^cej7Y-nW#B zVI-8vOw#R(DXK*6$nzpPP~X>&r0XnE=zKTqt&9Nn3<8@3@Be`srQE+=nx^dFnhmJdbr)aPOI`Rjl11vCC^BlQh9o&cKW7e8sL(1oQqw zg*webU6)^!lVh`CxtrzWQBAb;mDw*(XyF)B;%#y7%mwhnb;^*pQ&Xe^S++j2oTNDf z6mNI#Jj@6`)U{FP){@wh?#eTs`Yp6XWcZa1Wu$2|qisuo4NdB_8TPQ?r#6)6*n8!l zIH5BWUmX)Vt|M|G#9QqSK2IH6-c0TDH!}%V!frXoN7-48W>qMM^tzwcm;Yw!bF+N$ z$mgCALBdC=1lXC0RU~vq9+cL3j2Y(}zVFgpw+wlHDLu67dpI4l^G5j}Gqyy^SbV#g zJe{ML2E1w)7L!4(Kc!N}&0|uF3sK{}t?;of*bRo1k5Q-G381q;AlSO0xy zPR!yX5XtBmz{=ecU2cbFsRj72?n<~Hs zHndrzP%LEltuua#E%p30E^CPhWe|_alNDkU6KsWl7dj@Yf2!P;+6+yrP@CBu@gC2j z5gph|3=gZ20s&!}8l##Cu5~t4=`oWc4_)MVER>jqukQpdx9LJ`szY%gkDr`<@NF}g zDo{0?3SN=JzMlS|r@YVnP-E%0JFGMUJ>JsxjbkOIdxbnMDIzkrEyWZYk&SPX@qEyW z(Y}X0gOYh*j3)c

+ Full convergence diagram for BNF and BGF. Full convergence diagram for BNF and BGF. The top nodes are sources, the bottom node is the target, the arc labels are separate XBGF scripts, the nodes contain numbers of name mismatches and structural mismatches between each step and the synch point (marked as a double circle). - PDF - bnfbgf.pdf + + PDF + bnfbgf.pdf + + + PNG + bnfbgf.png +
compatibility-section @@ -362,7 +370,31 @@ Finally we run a grammar comparator to see what is left and notice one mismatch that is easily fixed with massage, as well as the right - hand side still having $(symbol^+)^+$ instead of just $symbol$. This + hand side still having + + + + + + + symbol + + + + + + + + + + + instead of just + + + + symbol + + + + . This corresponds to the design decision that treats top-level choices and top-level sequences differently in BNF to make them more appealing to the eye by avoiding unnecessary parenthesizing. The very specific