From 6b40d52644ebf3d8a92e336ae9685e58c4486fdd Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Sun, 16 May 2021 15:58:41 +1000 Subject: [PATCH] Update compilation structure figures --- .chktexrc | 2 +- assets/img/back_compilation_structure.pdf | Bin 67668 -> 67667 bytes assets/img/rew_compilation_structure.pdf | Bin 0 -> 70894 bytes chapters/3_rewriting.tex | 31 ++++++++-------------- 4 files changed, 12 insertions(+), 21 deletions(-) create mode 100644 assets/img/rew_compilation_structure.pdf diff --git a/.chktexrc b/.chktexrc index a17b6e0..4d951e1 100644 --- a/.chktexrc +++ b/.chktexrc @@ -1,4 +1,4 @@ # Exclude these environments from syntax checking -VerbEnvir { pgfpicture tikzpicture mzn nzn grammar proof } +VerbEnvir { pgfpicture tikzpicture mzn nzn plain grammar proof } MathCmd { \hypo } WipeArg { \mzninline:{} \nzninline:{} \Sem:{} \texttt:{} } diff --git a/assets/img/back_compilation_structure.pdf b/assets/img/back_compilation_structure.pdf index d0f4a2f9c76df961ce658122bd715b179498ee0a..fe88c76292f56b318b16d51459bb04373ae313d3 100644 GIT binary patch delta 1704 zcmZY2dpOez7zc1;m4;J0F;<>pVjDZ``Wsr#v6+*(#9V69aIzMW)=hM>PUN`EacSce z{?%xRgLiC%Tlf)<14PY{EajDY@7(L#Zu=i>I&Z zwEe7=64t!Mo{ZZOq4J|e9D4cr<^V1ZP==Q=6xrHa$@!qU4OoPS;tcXb$)CDSU$okj7nRlk!n3IO0 z>8)z;xq!`lGqYzqpQv=iin8%4bKTI_z3Y)_f&dy69=T4@Kl!pJ_>zqeC*;S-=ZtCz zw%bW!`iPz)`Gf?Qev6n{8J%}J6Ouu_;5M==w0#{E4g>OZ>!xG@-_)CW=oxm;6RmXB2LJ`brOQ-+Suz+Stw*{S2I3wg4on zpX2%lU7xNE-pt-wZDj3RsPr>lZwr2XJ_coV*4}3*#h1L$8(4Yuio|$3rA&A4RXfv& zY1)$h?Y)^n<>-YZ6vJLbK#a2FUB2SN2G1-b-&>bjQ3LX+V1bxREH~uU@pr$lk-#Li za(z#@Q_~oNH(79U7FWQ0HGz>|N&FHnyZ}Zq$2z$N3=imhTaTQX=CVYLXHi7^D@u)_ znKwsOkwSD@WNY1f@3?u4NA<=vKYeOE`o4Q?#{S6!MkrVkIo56LUzPD=>CJJCJDj&C zG_IE?uGaT2V%#elPjKQt-iqdIkUlNEu?g1F)avOU>TQ1@5B*}7it})0UWq!ax8HvQ zg$p|9kLCQF=4?Of>mPQ_%Qtil0j~JSK6dCXof2~O%cwnp=GuV?`-ZSX@iFN5v6Szg zUv$X!oK))ybCvghZH0J%M6p1??iE@t*gmM~ z77C;L_N63OJ%J&g2<}vAzYxsu} zl^tS~EBC4%iFp;h^ukBoo)xGUa-iZ4RgxGG98i0Azcx6rw*U3vi)YdwrkW6e!$I>O zothC38pH1hBh|I?wuH;h1X{hVrV&;%*T%ZQDS5e4JD8N^MEly`l?T)83g*|yK_Psu&)IdhqfvE?VN)XQmcMfsxU zto6P4-#g=TnG%iR`J;|q!d~PL|SD{-FA5n_4;GB{xG$nz3SUL74bY%pzzTjVL0wA$}Wu9>`(q0KM61p)c@R)V&G$oYD!KuC~dzTIDgPqx7R zT^0u{Apa~_G6|3W+Q`^tMj(*zj$auWz%4f-9uItFWFqlj1O9&uketYbWkCSIW0xNU V0Kf^zU!@OnUxkHOThq6@{|Vr~`uqR@ delta 1705 zcmZYAYg7^l76VT+)AmC%N$<&0=R1))DDo7<^kdBR`p-vc@FOCmH zvP^u0iGw1xI_lU~3bI&gV%AQI4!M~#n}nljThl(yeyDryIrpC5`JZz?-l-oP3kGly#%f1IVgV-C8n?}Ic zgjPE>qHNB1UMJ!=d>e83#g9M2Qp@dORezqd94haV#qNTTNkz?eUr-=<-z1ZBqGw0M z)o5O~d|TX5X&qKe>Mht$btVZFX1taxjq_3QkV)Cj?9S0f?Dq|AmM6=SpPtbewtZ{RAV(k`3)GCmkIRaILO z+1#Od!xB|jH{6Y6nM$f`uLn_D2&6;l9>-)Mggx2-N!siUww{8hs<4wp zUCMd1e&C8iv9MZ0HU{T{177$~ke&Bx%cF_9I@1JKsmrZU^Lq}Uc?$1rd)JY?Vr+2~ zfdI9KwX&PmBlX>vjU|XD?q@7Z?$p|xxqpdcJRRs|Ufl0hby)v>(}1eN!bH_l5hPB^ z_+q1bTy@hR*J^|3TDL|27M}fJ_Lo!J8K_?H>0{7WuP`%d)H&IS=X+9lGmV3|CpLyb zO1m5fYHPc4F>=rD2_dLQEIsIx%KPbtLsMpU9GMLna}K0kJZrXSHBi%gh*1bHy6_$2 za7^h$gYLEy-LyjdY}aJbL)hvv;VhzHA)&nKVT6LZ~WFlF>g!BM{dvSgG11w<>J;*~+7|8L2r^ zH4vALALBx{`i13gVL^49QNHiIW>oAuzY$!YR!%=RdM6#0s1xfq&#;)XQ1D#JzVzCe z6Tt#VjPS|4&(3^dq3hz;kC=kX_1j-k3paD>lo2EA-Bp-<3)&}Zme~TZ1uG43zOIin za{I3`3>~nZTaXZ!Vb@rl5bXaqatKV}_hMXpiNSSk&!eyJPJul-bom*BC}2C}pWNjU zb>vspKt$}D#cLW z`kD4PA*rmDQte_#R9frV<9_DmY7p4nBQdg;13B6KwAcgaf{0ALW?qT57EGgEf`qF* z)kxAmYEFMcP5RvY;1rd(#&Dx;IcA?(&+D+CXJI^SS!<%nrW9fg0F0FX@dt}>15f-Qp3LubAzN~>YYgdIAX{J5GXM`Qh%Yhk7{a@fL{*~hAl)2+Rqt+`Sa6V7$!nSLVF`C7+zim5hqha7kei{N)Zbuds|Ca zTPhd^MJIa`S7Xy}QN`NQkl}kQp)CjJci>;imiBg{hAyUrl%m|sjLb}oY)tHoY|P9o zY&49F6yNPTPtM-t|DM9n4`XU)^3N1l{xcP0LqaAP24Oiu26=lYTSJ@wB(eS{Nkr(M zq<^Q%iV!lwFvv>(>!|UME+*N~1TY<71OFN37-UqcdF zFfBMN6~{oshJYYEA{@hIVa6^Il3 z0`$)VGR8eVUTY0Lr!hVf=T4^I!iyKo%c!1*d%mU_z5oJzpB#Xk9Ou}0*v1wA0rL!& z0XxV6TK=2uucv7Qu9s(jz#YO@7Qxq>e-G&gRgZt+7X#>5iR%qUcW6MMQ!nT^1HwnU z-?iLSZ;ya`Y~cs&<`PTRR|LuOmbT}I;r2fN%d7Kx`n0xJZk+ykW2mxLh1dGm%Y2&u z3rYkVpWhp-9^W}3|EJ;+%TnqYNy^j9>Gxcnp)y)i1ws`IKYo8zzITB06V3Lp&3>Is zXC6M^QM?)C_jKgMZSVVgemwMaf6OcR2nBD6VSKVI`Pl%acR zRvcETgORc5ohKVo&%2^@P)nw`EPOgXXUt+)#{*4mNJn;L_VOp#k?aNBa6`Z5bmep( zyK1J;;CE?PvlSvF=QC4OL@72BS_q~Cr3hdxVXAVI2E_JJRUADp>*mopGGzG) zmx%Sj`j9ALP-L@N)ujvge7rJeEav#zCpBw?pjU{dwuUopkE<-3y+HNNOFE`T2jdr~ zSjH2L_b+#})iYfI8x|gRE>?bS*!pjU$L6^8L!+WjF|sWZ1MF{vDZhZrDQBr%fDf@o z-^r(nEze~^|11qxrRTD$i4Vigq$G9 z3E6Peh@s~eZ3|k-2o5;2&Oavnj ziHE<-;*w(=Nd`I!cL6SHVa2H;Cg)DFF$`F_Lxhb!I15_nThQXBkFvSevLdc_o3pZF znY&>;Ex7vuCpyN`bpHs6DULPM>+>Y4F9HJPvf7lu7QlI`F(>xJB+3_D0-$hVQxl+CW} zOjAh$QXDbl?kzQ>yiz2FZtkO~ucM*jnO9p7KDGVLa!`c{ZB470NlSUELY^FtB6WoU z?ud95Fc4aPg}RJcH4v|I7B<%M)g%R}P^&sXjj!ha7Dj*yqC8Nib*7apu(2c1rC?fZFvJo7Ow5t+)> zMX6|~RD229#FJGng2~dtSo@N=qJxu1XHGxJgzg43D`dnaqwyN}@6eTGu#8R8_QF#k z2IX>LBhYcU^!ew=l}?$7Gonma$jj4R%*)d=&R*YeJmJ8VA_K>QY67G|8m=RKsvBKr zgvmMPXT9`NCOj2GCYLLg6+*-qQ2Q!6R0@dRh`f_3OuYCK zXy#{Zy;FW+Rb;#{;*eqM`TiQTwWcqtgvh`auUtf-OXH>bX}?SvG^Rb5=1fFvI@X#o z>BysV%Gg97O3yDu5eCQf{}Cfvu0!C4(z1&llgTsis+M@huu1`+mG$e$p^Ouav(+T!V9 zY&yDhWlAHJRAN^zI+E^uVOJz|L zA+Bk4n#bio0`J|m-Fhw`EF`UkDwcc3qEq8^^vI-Q<*6$@r1X6{ zrm(__+~ruam31FY)|^vPHU6NPnjzPCv8+3W{4lbTJ}FW`ii(a6k0|n zNM3r)n33C?>g?jVcQ^mMn%K^M?O^eDKf0d!*v#npe~a@x_q756NIP+`Ei?8TAYvOs zBS}Yr6hQQ-;B?6X0P)_xwFWb#-eVR5C+ff)Z%qn#HM<08avKf#m8z>I;LEBt99sOe zb!{dO&Q-`C(TV!{Szr)zlpIP8WGZlRxu3&9er5iuw9|-L3a=9G9}4~qYKldGaO$gF z0yS_~BizA;@;&o!1bf4D$Ry|H0FsauG0 z`f1Q|L(YJyhnG)C&AJSIVBuFj^>4cWD0)dbdX-Z`D8Tyx?>)=(_pE6_-1N^*=N?<+ zLOvBnOFso$rQNZK{fRdDl<|-gvmSCRWaF}QixPFj>XV4~SKU>bEz@U5a$bG3D=24B zK+>WGZYqGdNh~AGM-GYPqE;XU-(ZE^-QK-jeE8igop=^}rD)0d=EA3RE>vtJ{NakB4pg%KN@u``u!2&SW0tPZcefCc&?Au*21a#_7{ z!{_{i2i3IPLXGS-1>R}iN($ajHyN;ZQ|p$RV#N9OdXIaFvfT@HueBDv&t&dK3`E**gnRr0qCGAYL25m2J>fa?1P^nx|HX;4ky{rCVh0ZsYl=fw?-2I2BDz(gU%s0X+1L))EJn`NZQ#|N$Y`kOVffA>rKibe&03HSpy z-LHEeOm_anf0gAehLl5Jf}OwN?O}$~=n}s#^e-4Q^7T5PvIa|+K!0SJugi*04_zdv zDhY^8fvnPDlFwu1R!O7e)K8R68ER!JY0AW+N+|t16g~zN63gNm7;IVi%RQ$dS-6m8 zA1^d|Ne!cbnYln&IV%#&7#k5a!LmI*X}$pso6ed)q@2_#vcPj}P4VbL=+G!bwx3$r z7+VlOL_+2joVs6Vr&eXDn0p=wr*HEF8GRP@=dW22jgE8}N|;ffkqS%;5Uu=ktj+-T zbkSR;+l8RCwe;eEpB9;YGEQ^AKs56aq*3lEmV%3{__XIf!loZ^*;KHFq(e<6AuOr59lYUYXhtm>t5@~8lF6Gyn}!=|7F%7I9! z%S9LG#g>v_6Vw~`R7eOVBVG;mo3ZA6HVO&cw1N7Vql z-$7Fn=}*6R{D>YyA(xDBXBUD zQ8(ohkNt9+rFt+bsPbi5cAZs19|dfRX~`J`slh9uZ_W3Q(%ixLV(K>}VBC|TrNb9g zy{CoEtDy!6K5EBAll`O&ocBjv5c1;WiTI%qpz>Qx44Ao&CjC;ZkGCkSadu<}sO0X;ET zUttj*cQC|BQ}cp+Ues`rrrY?a`FS&^EQCMB~uD*h+N;7p}EPKef%zIeAx>xImdCM)-hs=7dps!DH<6UvesC{ zVx{eFe7o3A7}dYVP>ffVS@Oc}K=MCXsd(6^8ieBy4LGj|by zUD-C=V@JLp$HH~!+oodA{}8`+an9mEIGIb=UODKpzi`891XY#q{~mlu1zM>o4WD-v z3Vd#+?oza5LaHBW2za)7`e4$bV8CBXScJs&aomQ6^U_;dk#E01H4Q|pp;Z*v=m6~@ zi-882$04~sEpO{9b>t3QpQp{WDh{ILHrwSxA^#}?jnW1Kt%wT)BZvfP-6C1CuRpi< z-Uwm*LiID~G3msd3{dZk)P2hNi!U+WbI}!ix?M`UJzlu>aKfY$fW?vkSM6gdA{(OWXbne4DbZPt;FvNRe8isE7-#h$`Vq(3IAK zo!-7Byu&f|aM@@ry8FCPv)z5K-hX`KY^PT)y%%Fu7C;@8jYL|6Qem9@7Ne(HUS=R% zVX0Ct5lEtk%an^4_}0%3dMxYViAy%dg;J(kq|3q-=BMCx*YrB`I_)yOETyOFpnK2M zw0X}I<}>a7t(Wcf@`D}woZ!@T^>XDZ&hrsCr$75pZ1Wk208lJ({qoEl`XzHdhu7v4xyjNxS_)Z7c$?-l!Iw-O| zoCUU;Ne)o2c+kiJIS+eX6o=V!s^gAwtN9ogKzSyI)dy~y6pbUx!4w9+>F@oF_jBsh z{V+~)6i2KCos&XF9}cc>nx)pk0+biB&T>%SI}iP)M;9CwsA%m#+qu@0Ef$QRmwoRF zJ2V@zr#Di3aN?OGo_+N@pNmNPv&L-&3wwFTJMC0Q)P7K2@~Dxw0B?5MDlbsKkoK}! znqRd*Q?+d-!6dDR+ikH^MO1EyvwCtQy5S@w&hwFJ$}0Hmc9j0^l+o{ivoL!RL4h6f z=Fg7=x7DMLS`VbE-q$F;uwR%}7mMwv$Bt>3Jv_pE7$ z>#0PSGW+#Y!T5g~o?bJC-qOF?cc=OKq@nx2H9v{8L$UwXc-mnGaZ`o=%H1x3>y>0w-D zk~UwFde%Z@(t_hfkve?2DMix-sVgo|`Jsr_suUfM6yC7B)oZ-Ald_Dw@^F2UHg{2K z)1TMtc73yvO$M02d8M-`Iiki1KWkp+p@1sB6pmem6J`O zoRwpGQS3g}rUe6AuZGP(v#ytti)CuRC|eQPNRW#S!cRN*5EHmUa$&XSDD7dbEmDT##b_d6}lpTZmt^_l&UF|1#dN441 z9M_LVMUeQ1J?FSgkZ02w$Z99WA{7~^H8^dXbmw>eJJ=!zBT)$P**V+Sv2Xl5v@g!_ z+BrM8-#H!CIGIjV&3wHc?Ql7FwXS<`&W@3E&d#vKZV7cKdDN-UUicS5YwCUD;GF+E zAkMJmJvZgZ{(LU)J$MY})OO{PG|jUqJH^xGxn9(EtDp2-^Z^&@qBBcwkVH?uT!dl& zn-%pny^m^(-67$Wy-=>3Tu-(}>K~h>Bwpq&a&Scu1fg0fjMpp|7A}f^TvnRV5yEPv zl??6IwAl-Fb#ZVj|TH#-3q(USE_mOFN(W@=v={F)mIQB%ZZH-^-( zQAsleHwpa85EXoa93QvT2WXro3qz{g z=5G70{gB3y1Ox1ALXe%;G;3dY07M!2j$j^4CTSS>8Cdm_BoS>G_~%8m<&~BNEIABy z0PXkVXpWP>1s+siP^VXA2If`47@M$ymzx0*E;Zp60L1NRXzPSHac-hL70!~kYYpbJ zt98SZQTD5FFyq%f5;nhmeE3i}A)$RCk+Trmg<|ZlT|9(~V#sJEBka2F5KBRlz>?gb zJF`D@eo+?sQ~{eaw?lL0QRccx%91RVGs1o};%f(&2wyD%h4^_|~!C(L*OU;1kWY4Dj$;^nV$TpPRgfHr)Mc!miXd9nIbvyJa`5! ztByYJCy^l+x@fD%HH)OaT4|K(CMw2Nmy;Gbh=okFKU8Jw2hkw{WCX;G>*``?2>ag) z7Pw>H@eOKGrapV|4fR=Z#)&4v-_-KMiDr{u#0_rubz!}IC}IcezR-m)nlZYbVp~V# zbm7iwg&UGLz7(d1+Lfl*y*?eS&gNcL-pYaP1qDXwHEzL(T)kKKNhQ3 zbvk9?2v0*Z)-+Y-G%$w;Csf$FJk=^?4qBd58C91DJgcuuYUgXX?K=UXrg(?Gsbi2! zw<-lh`q@32KqrV6(0z!8oDT9z_Z2`M@1I*PSR5X@Q|F9raR(oG$Uk#n3z|zNH0TY@ zpUbWV8H{t)IbIvaNV@g~lV$3Qi2x%WJ!E6YJ`=Eh!TnoTBePxUv%f|_Zc}M{lga{? z*@~ISU(um_lwNLix`&f0D75-3N?L0n;RvKTb8W;K704O}0?q(G+zQ_a#uBEinSa7W zuz&bRB1;V`c**#7-l|!8i67Cf;Smfre{p=aVQIdB-p=eexFC2cr@(~T9OA^SgFHBP z-KY`4IG`*!WODbMYh6w#2_ZCHM1`%t?xbQ?P*(sBz&vOy0kuVkl$-95561er1dgE3 z1gZK-JJfHaf_?WIeNljE@iGSy(XDheDi(= zdna8sGDH`kCZ&`g^mtbMF*Ezl@1AdjT>oo`)Vw$@tsYIP1dgUe*1F^D?yTu-;zwUa zt1X@SrDx-sY5r=iTAW#_y17?WbL4`}HjKtS5{+XQhZd8KpSf6LTWQMjR)Ra89lrfx zyBGxB#XUUHTtd}zx<;LlK%>4xUEUwBNXKA?bAH+xtu!Ox**7c#?&|w`LTkK4aO3l0 zpOxmCaga_n^Hiv+n0u;zY2KKkwKr;d3)_qA*J_f5+lo=f*qz}27sgBT?LUTEJ!(tP%e^Q0l`q4br7^^Xq`lN&jb0K+XVeR;A9?nJ#n%cz0P8Zap(&E;F-L|=|whWf88m? zb%2flkln=E2cEOiv4ueFe?M|5=`2VDQ_MN!#x!hjgjrWJ3#Brmy1;Kj@V5pE9ff%R zV$-ervaY(q;xO)>A9gm%B_ZRi)Bfa0j(9%FMBQ(^J1N-Bms*TPX}o$|X>F~QO~}Uo z%?jKA3?)V~K$Z+)fdTPkON70LF&{ccWR-Wm;V(H4K`l&-56ru|50Q<<>f&~4aYJ>D z#X92VYZv4Yi1!0AHesw)=C69}!3=V92X9NCzSBzpum5I;%=Vy8Zpy4{;V?ZOc5}gg z!4D-pY_5x6qMi~@Wv6R*aQM3MLFwVPhjq5#$VB#D^TlBU^peSpp6*%nT_yT%bG9z+ zti|94B-jn3N zqIR-_+8=gTQbTGC+%V7PYK+71+C5jJ%4Br5Un{(q^rG5%fqM1XNZq$K%FdlZ7^Bs zp}cr~{e59Jgu^ZG#*o!Sk%3m*={eBpzQFq%dt|4gIzZ)#ZzY@~s*)|G@dhRxj%`SF|ESqP z05{CVsd+?DGeT*c>l%|;9O}z}=r)w36Bn>4Gud36Sk;zlf6rhUMQ-b`EWHIui-Lp6 zPB9+m*xH=U0)B)Q@P3dFdhYe4;W*Y4-N)O`LNUtawmX5hpH$NkI9~3YCSl#%Ajmx< z){16P{JGt=(x$ym1m5vv`UjK#;U?DqWuPfeX+;v_QEqyJQ-7+OdKD{o_~6OvNBgwdl`l!XV3vaefzNy10x!AQ_bPe5)}Yc!P(Uc9KDnOv3w)6cK6 z4!O~*p}$3EHL9a>8pQ_-v*&*+&`X`_oj}#1R?h62q}zC0>qd&C^`bXxn=dLBrpvjh zG|K<_Zij>VEu&#orUKC4j$G4a&CD+Uu-fYdR zgH<*Y-x`)^7n@3%uCo4(V&~XXkRq5uwG67b$fwm;F48-j%8qMkCAco7fux|62owDbpWkx+kY!r(x$S(S!mr!CcP1ON0?$$V$NsiGP`A}C-j<*+S z^Lv=*=BR6y&V6tO5St;kZVsJE(~iEnlOQ4UgMKaMT~n{s9{ehvq z^k)KTU))`k4L{{`=e$%x7;L&@X?DRnmUvoDq>T?J*V~1t`avIr*#>m&2q@x(SsSx) z0tFfK{aBt@PT9>$icwQ3X!R|}ZbG?+`jdduQ)mb#iqw4*L8B#~B0%l3y-yEN!w~zv zkrJLXQlpu5;AZPQ;(;b4kJX{>B)zV-n7^gx&m}U$eaVPXemrEVS$X4(PWfna&A~ z=WgI?Usrq;kTcHP!SX<5)e=viW?AWZz-uc#JQnMEVqs~Zhc6ano#AGM{RvkW=05## zm9fot-(l|eJaL`#y2;Yxee^#?0ms=%D|iW&Vp3V*U?lqw48kO30vSX#Ne@D4ROlyE+-0Ium}gOyAs+v5Kh+ zq0YaMB?eVf4;MlPDckQv;r}{|{MT7Z4~9X^!$m^HjL->j32rHM14&OiI2toI*Ois_&F|JyhbLl;9Ed-H$ln1Aon|0u)s-&nAJ z(@IQ)9E@Dd-{jN(jc8(K<6`~akfw_+NRMQ(We6X$oNlsdWNBYQ*xpt=mF| z!`o0;&7O|!F2^Wz$`MEpAS&e348`D1v2Q*C&tBY$>aEALIqkWYSB9pMbmM)18xKX} z;|s7^GS1|a6Uy_HkfO&qPg?8hEtNBml-nfIxHb~RY%clPLjOl zb-Ejfzn|MbMx2B~#4;tR#pU-qgRP#AXx9@;W=jpecng#%`J%Dk9&{_soghsbm>%=Z zRtEQVKkZf-j?3jmBfQ5hY62oh*_l7lT?}gnKY6*`R{=Q)&HaR)z#s~I{op$jbx)Gd z0$E5@L@5ma`pvr6KK^&TLsJGPxy7QBJ8&;BN1Qsvs&*Ff2~97&bv)2cnwm|OpioFs z0QwU;&;9mkimHgP!Ett zAR_q$eYud`gdg|2Pr~%D3y=flqNkGc5xH_mGrGy!lhqufUWNFj=U}hJvi>nb!rf;9 zvIY9vKste!izby3ul~JYXEj-5>k1322rdUY`rys-tIc+G9YdY!x2~yVHTm zF5L7t464KzTkE1Ml>{<{AX9v{=$IqDF^K6*r=?hfSArq*qjh-$y8*c=h$n(roz@-c zTuS`A%q<~w4l>%S{xko?UJz?Wzewm6zvy}7Gm@X=t>lEDz}}*Ew3}OS1iv~67uI=` z$(igW3`9y$1;ErkBc@V>_J&3DR)xt>-zm0@>`N|gn%k}W^u8>{Cze|we!WCpo*OTe z8r6+fXtY7JeGaa6CX;cc;x^LGfDWJ&578GjK-pJ{hE7A*sI-pd5qIj{mV9!37{rV@ z-DBMpe-11iw+*s}Njz&G0Do#6XGoF5uM}t}ZNB6`5I#ckk#a2hpQ5 zy4BTFp2NH1xzq=xN_SoDoSwm#Se|Fuvl`i3oWH1^exg)Et7FBWsOEWX_~U#E0Dmd! zNTl`pDz5KxmQ80H$zq0S;v+^X1*d_|2OgQR>)7Z|v10~N<{8_84wW08<%N`2YfI@Z zyrG8XFeC9x3P`MNf{%Q$xrHAUcGgB!#b9a%bz@=8k|nt%{rRCf6lNyFoT4GbBBB=!9s$mV?#%dnO? zM0Z^d(7S-t5#uOp33eKsEMv?i-!b%4W`}a-jokxUwz^lHH3EmcKzgh^e5LB* zwi%cT^=+yrQWH`2o~q*oGP>Swxw27rhrHaHYru20!!I~8B=OhlM*3*`ik?9G@Nc4i zEDLNdA#dPx0T<18Cak)6g1*6WsucY(4l6E5*J|h^FP~>hnN{pT-f$-XRS6D@hEMyx zeVY`+_X0;^SsdZ#g6$?%^ZEWYFKQ%Pva>!N9{b4V;dBM|(s|{enXsO`_l5m3XR@=G z%%bPto;H%aS7=e)CGkiV6eF6WZ@cq^zWY#(s-LB?~E=)cMAgX=Wugw!~m!E z*@qclGnAFmT*}n|x&+heQrL;Qg%0ZDa{@+w`20Ay0xfO6V~*7?0%zPq&Y>BiXa?ZW z*0=kdS#CkHeY2?kd>a$!;=Mhf+RJ@yM__UX*Y z79+fEB28eyY*Kz$!LzBwDkj`jX8D_0;akznv-R?RvY}NL@6;A4S#iZEvXsTB+mE#u(fDs1^NV&WkpB#7C8eg=6NMw#(ofE#^+~_x##FNZhqp`tt^j zdea9I-DzqPRRjY+4^%V-H-jDoH_HBG^cU_rQ-meA4MQ1<)z$+4L-N#J+XXE zKm-V1Mgs(Sezt61x5w-Hn25U8zuA)G5C-?#7=Y z9`7?RLAL_ln8A|)nk)!K2bq7~(yO`btV0KFMh%L~nb@@fdO2VIAVX8Xd#!sbziLy1 z{HCCM(V!5QT&|6~kovSAi7pzq3SLD^&5*J^5>5^V>qP2QC}GP~`9ZpsXUd^|18W2MGX;D)-08jWfTlkyxB+zo6CO*^8p}6>eKG%R(2V;Sc$|xu@x};sI{nsH6VZ?WfeS{@& z3gg{}O2cNW%uL4;P59MG19EC%waFWdmac z{g`5=`li%~zR}28d!qSsbSTGA{=MhvtHt@?>!A3^xe3 za|X_O$oIpRPGz?Lft|ZPVq`ImCNC;iig<)i*e2 z>KV-gVy78z&XayLOUF*WP}x$e70Dp+Cn${HH^O65!`Os+Ap42_>YtIiRN`Fr&9&; z`Rne}ek$;^m^E~sWY8YjOosXRD7%&KXEqFs{nD2QY-&?BvpY_g z4e+i1c!sY5DmxB^OFsW4%uR5)sF9Un$wH-+EdqGeK0chctTRhAkG>w^=aCpW-C8dO zN~6gx=P?LkdShBlGEXEJ;px=TlNA%tqr0AfA8oAreB&0(;^AH(Xy?A+VQiM~=gO-Q z(E_>Kn)X~B1Xu~I3M6fGXB2!&i=APwn(uA$2{40uMlcQ%W7Z@5`_MV}^lkF(K~ni|lI-F?J~>~F_s2(EwH)%C$k$4ynHpvTfz;P@Ut&5U#Hk$gZ!|81Q>=Tjv@0g;K8DG2mQqIVcB?8{R`W z%NR7R^>caC#n>;5_ZhzZ1U|fr^~m^`@djw-+C97>>rE*~lWXeG;S0)3{ts=RP7{}Q zbFhxtqLs#yxlnHH5k^DdMFm5_;b;Sq#A3+__fQ*xCHvp)S-R(hvJExpJe18lN^ObJ z=aFj%#t+<;Ta^MkP`|MFE*NkBV6LP^lh|c-O>;;3;*S-RYRm2JOV2Rgr6Sl(D8*-*{X__HnjBC#^v_9k?@j`*37r}Q zWV4v}Bak=#vApVe1VepxTf%Z;Sa|Co#+9%5BXWu5+sN%4KV`edq~PPwFioBE)XHv>JE$sl5|z?(^4 z=>RTI;;5t0pp@9+@(uJ5_u~WJKO<#hqpf1d$=5(>?R|RO@`ES2+XSuVPNn4?^tG?>$L?MfOP1ant~R<4x(P?)EnHs# z^Y*Q=+yZA3l`1Qef}N+YG$%3fHAo4!!S{u?1J|nEOfQfp?g7{E6AVJf5-gh8%6z~h zorEyQSUaXa5gahffT+=qKFS!A8)sgTtRJmVori_n1YRqjT>+29l^Ha)T*G91)QI!mvT;mZd3FY) zPm!azG~1KU{_C+L&RYVz*Xx5^)HnWW*Zzrm-jkjfFRHCfscs$biJP-6-Xr^Q%-i&b z{De8@1zE5K@%ENW+yd>KFkODo7s%{mgFTxZG6qrI#d!!&dAJyqrDg)0XMZ0hwzoM; zA3&$%_j!+1nBWK234rTU-)I1sh1u@2kOFMzf!&}v^-gi5OZt1CT3MUn9L@cD>uF}T zgCA@LIitY?y7uBTEznQLV(kZU*8JuH)@}OWX~~0Q2u|olhGF>fv(_ZJ?FIE-aWINznZxO z3~)$NY%K!a$;m%tD+_cnJ*qs9J+sYn^z2n%oA<`;@I|v7=WTBsDo@gb6~5>r6{!02#h4A9S!mwLQmj(QKi|s_^QE zZA{lZ#WrTqeM`8Mh%l$Pj1K2M-F_DCiFfsMCtHT)>bk8MsBXx29Dd6P)V%w!TA8;e z_xnWWN?Wmti9iKAoI@ktl`erRQ^IxVFVo;1>?o7(OR;E*rMzsK1oA^V)XgXfZHH$ zBfwBjOC0VPM0I3V@D#>-Hy#?tqPl&up_1T_xu_`7#+6JP1*^3oD+$9D=LjI>PT?a}`@z0+-T14`+2 z`*}>@c&7Hvxjj7iS&$ft*R&fb2)zs!{T4y$4s%(hz@8&?q^BqB)*vLjimDKD+!k(f z+(wG@^>t7Cdo)&0eBsmlhNxGjtDv`_>{OUMp>e033$nRj!?2RXz zku06dvfb#<1PFKq6pbf`+I2>5G!U6LkH!vuVes?_m4N3F0DBuXECeSPatGtG-9w1- znRXG$Og4ZO;ZM2E3lj+9BzNGwAin@N=n}dVU49hiREUgWf&!HE%R4ZG;VVT>8o8~O zMnh&?T}Rr7fHrd>&gj;J&IFdOpaUEv*7+#USEA@qT@zh1_Oim8+SUT6(ww5MSMn|w z#aAF<+7x5mSh5+`ba290F$(nUa_k7S3D2qL^eFG#o+MXAKj3d*v9?5c&uGWcZiUmt z;i<%t<|c$PapKJo$;v78JmUg}4!&>!IG(36b#C8yOG%~m=shbFm49dDbNWRAAmn01 zMdxVDj_?Be15h)3$hpJ!tp^Xn6>@K z1&}ya|DG!xefxz&r65bA8gxm3qB~$|p%*am!+KB8ZP z9cC5?cbkqX<>qPQrsPNy< zinpYgzdW*o!E#qgES@Dc23n%p`y}!jz7>3^QteifLcKO(oSsxks%NhWdwoH{4!GS= zwRV5=)}&s-m1%mf3q`kw9qT6xN1hTSs1=B`o$$;IhnKIZUK=yyu3CqZV&&U zFPVqUMVIV}bN+T||ES1E@;{P8QH%+Gymwhha<%Bh(?RLhN%iWuVC})7t=9_V^)1=2 zSzHWvvo6rn&Px?=<&{bSOpjzk(-sFTKfD)%dgE9{ebEh@J9`owiQ%p#VPlrUzrg$w z;0@0%HT_|q%~`=eJv$2CVbKXa_kY2{DWMY@ z><)9PDa;@Oh%V4NMp&jfl82J*DqKQ<&NOUn3q2QiWm326tIa<@@!Gf8hJkTp8;#6~ z*|y<7Pi^)bt){#Cvd*V)_T&PozuZ91{`6~|>7C)WTsiyA&(F|v?_3>6%NYJ%H}p-2 zeS?Sa>X&aS5v{Vld+;877jA1ovcLq4N%)ZYI4t_6EO=b>YeL?ZQk8+qnZhI7Du1>n z=0B*_sFhGTC;uNpMMmJHg%EgZtv{?ht&@;10okad!{y?(XigI4mr7 z@_(K>AK+A-s(XIdbibOKs;Q~z`|2LxXy7R4fyF}g!-BSTU}I!s+A0AU70dz7ag%c> z;TvSHUw2U+D$)l*l}|HD74og3lewTjG=);}&cB@#wv%Y$5#SMEwX-~`UL9;d_vrOp z1`GwL{oqR^8bv$^Mie0w$r9ZV#SR_}twNJW+9324yz@yRom`*X&n3(So=nWv&rQh_g9Ld4Ek3i(va;k_Kv_Sf-Ls;z;hS?# zj*rj}pC_@zLZo%VrX~Y&p!>5Uulc(uw$sDX_ z@fBnBg9mapaaU5SWVbPO=+N*WbUOtX-kB${o$w1Peg2(H0^rSZDPyrOzw7yYX<1ZR zxY}Hq0xuPz5rIfU06Jh#^buXgq);<0Zyjc1ql&-4R>N0mZ{D~vNxckZ$=v3)F?iJt z?3HyVAyM1XyPhpGy@6TERIJXCCozX#X?bVD%z}dm!l!q0b^qn)d6l+Z-h&pH4eN*e zMv$k-@3O?7NNi1fO76E!A5x4|y z-rJJ#w!H4^bY;K#Ms7gePu)AhQRT^af7`w0wuYV()S*40J)r{8fT&ubQKHZv;6F}b z#Cd^vS(cZTH@8^Zt9>Sg&ntc4aMYCZta^w<-qfJ4+v}!$Xw${miq~`QKz8Mm?F>lV zOZ_5Ew!xxN>Q$>3R1VQaHrNDRf$AUFH#eN!V>hzgnzuI0AzE#>Zd_|woqT5Q9UHbw z&26Y)sOM5jTjy8ZHvNtJ-l`*a0i-3mHg&M4lSZtbo;&7+bvvDp#%h(sa|%h<1gTzM zpVkfV3^->tt>n%^reUM9re0H^F^H-r_R#&Y6Vm7@%=u^kdkrsv^q|m?!S?+dhBIijkpE^27*nnt=Mjyfw13nAlQqL$)3#f8&mjA-~Zj z(YL^)A)Y9I=|s&lQ({_5TR8t%9#6h{2LBGVL)>9b9U8%y>u!Z_S4?%R3{A$Gg}Wo_ z0GJ%(^NQ75(d&gI-6pww(G#b$B+!%JJHe~Sr#7M|p>0YR=v}OlT+wcd5f~)00Mt-v1yx!cR0Q}I6566>jDd^+^%l$Z zwx4e6xtrqbj5(2NcAVl-G{YD%eUuW)JOD9-^~%|<3I)Qvc@Cl z6c4PjMkrdeHvRfW)w2#RnVmU4^ur?b(S`L(%V*~(50qY!9TQD;?wYVRshDpn_vD zf%?l8@DnsGM)#d_s=1-^diQ1(-LZ+?q^t9y%hD|<_SYkdoO zD|$5E!BF zXHi2@L(x=GRMBCzo77yiQN>Zk9pRhg4s~1uYttF0cKaxvqMPgvtz3O;%NZvVH=Ng; zYL}{)tZii~jQ)flWeoO6$vQ!PuoMX1#hRP@%M>}S&H9^fst^vK))LK{2K zzu5C78nPqWcJ<(|9y_bWY8Q0q)~@3Rb)y5n0}g50e*g}mJ-(K=05uZ|>ecD9Eo$mL zOh6;`9_X8iTzeD1rj0qBZ9DMB!3Ows{<#vucL~`f9$)f6ojPFfkOd9tTzmUsF>O}@ z@i!N}H@pJ@J6ueT8km<1c(BbfxVC2*yj5gtI5KuXC=`_7~oVF6AZeWu`ks2e8 zRsT1+ghDH#P&>U)C&WxU`JlEv86dl;+z_H&wkU<9?MpXVSNR)jcDBKVp|8wjK*zPx zQ{AWBKgp0nTUxy?$(W--xl%%X8d1wiy)|iPsZx$^%-WcvF+#y-% zT;cp0vUR898@qJ|(dwwUtsp(~E^l5KI<>*nd98R`{9u#AF^p%cXPET(`o`S_Mq3tt zcye=Si``gad~m;Yhd{0%4bLmD;ExZ&UVj9ZJG&WcWx+rE@jt12nuD49#P!Aevpwp% zagw%ZMebtoBJ&yPnQ{3zo_%zUgm!+#%p%2N;Udl%>m`d#g=>pzuxp`f62~N-gPxt9 ziF^&Ec0$F7w_sP+RuA@7@QZ>kc2~w$A2!f$7jiS;jnEalHATEF`^4J0-n#f)55c~y z-h}I*>p%k%H%+1FeupTpkNv9d@4$nkL%4jG+g95~pTpdvAxf9pm%NuIt6FZYSw>t< zY+!m{a^_X9Og|g0oh=$J8ZNqKTDGK>QSSrP1I7a)v+z0$zIe6K{88S6UkB1=9XAbi zNOl{x?*jy#sIEAZ*r4->$s_^6MfQrQhm~WQht))$@4CL>Gs^b8Lmv3hFHq{f2{s3VxMv`)+Q^~VBi>NlV9_AIY7YJarZ{ihoNcnY zq-|M!UX@&B1hd&?&&oW@@D=zJ6E679C|Jf+9fw>j*mcC{YXB5cPozD|h~`B-(?L~S zi}iO!p3VZ24!K7(mG|Bq!Vbmm(|l(}9p#&PEcZm7fLDT7-HsGrkbXgSHDvMm*yrB3 zBYV?;I0tPW?j-OY>F#@nD)D#4``pd@&4^TAjM!Z@Z>85`>{Bx+wNI398pMhiav~VZ zG>Ls_vn~6;aZ~tQ=PmCu;ltC(Z{S~@Rh__ees;mPa zdQtz^=a<0%VFcfIi0Jyv-|SuANIo+*om!5y8iqB8rP{N#@=qq`jSuKBfgt& z&97yzMXyb-3fmFgN&dh55&UgFEv>DA-NBG^2pH|0@FDa;@nsD z5eON&(%y8^BP_vg6}!EeszMz+Lj)o&GVdH>$TMMN5aW$YE~ zHM0jtuONY0m94q%gl*|Na$vjw4JZVp3Lpbaqu&$&X9aLUgCIFTa&dTZX>nR{3xx2J zvm$uwzVpau>)GEu6e4;lxtX;Y`?U0e@B4@Nrc>msG;?ak!05{zyMQQDEmLU#C@-Z} zKl>+BMAvj6p^x9W>@!d(Ph;8JtqsDlxGES*s0d3Fn1q!0-Rw6jv%Ts1?JuT&l-Tkp zFBbct;!!dX<9mPS4J(s{T}On*LDKH!lt=BKYrM_h%`umRTbx^NTWxMk&;0KLZ>-N% z-Ie}pF!?aIkGki`$T5A5=pRHX)+j}>zM1Fp~Z6F1ES8_>Q zkFCZ>%}8W&i`VK>`M2%?{0%)7mRY=fMwIH7s6@Q;kf9 zTt4L3S>V(H2K|W8XM;ZuQ{u zOz9QkQ|}Y$Q|^-?Fb4|Ot9pCRmKms{hPsqP(MU1X=1}HtJbd1``4p)-?K_|--@hls ztKb!JB8JS)vf){nb6Blb0NoVqBa?xZH&e8h8%1_)4}`pKylu`Yjz&xN8(w$(N9+1W zm|0tGfURBMS2$z>_Q!zu*&m`z1a30}W_?!u!%F!~EiU6`CQMzsqveCqUC?v{bSnAI zht{*=^{Z<9VucLfxu^_>miwl(dh@9?K8H83JH4jIk)Hcj{qg32>_t9YGNVrCZch@L zK)dxlnGKO%n*#9snhF$E!Bp*WdSU_EsQEQ_$S@`FE^-igH#=6{4qZKSXn$H<)7e^S z%G&g~d_{Bfe*EV1GE%jXeeqQBP*C;%zAoOM6IvaYetzoHp1k`+UybHFZ`iC%U8>%r<%wH&aiK zF+v+zqJ?_|%Ak9}?fb^ut}U!Z9+U&}lS4;H8ZpfkDnceZpx{sr$*1WnR;d#%L3bUU zK)4@<7jJT#g10jig(h_iba_cwQ9FsXddWgyP9FNQl3_y>WBXY)M8BzHoqjvv0gh)9 znQg>vcvctdNHouY)(NyPuX|5|>Ei#e_zK7#j~4_|-5u9}5>7%DE+|YoJQUMxj>9D*O`PE{wiqLym&Zb%X%k1*k~?Nq!cWK7&Q{^E z*bMm)O+EGyJ&MEe(i7aDV{b*c3t=9YBG(D z4Wsm2Ls@`R-a9#&6z%F}9AxI~nRg6SG@kkWRc5a_IazGElA4v=n$#Mza_cyXh_t}g zmfG0NWdeuI!WK835~vUaHON*6WfE*2pBL^E&C!sjU z2w$hx@*jeSF{T!h>0H=){l_7k!BJU-U9R?%`zY=5gO9@SpHK6RkKH`1LX#E!w9_rO zTkw0?VL-!oz7$G+VG;$2Du2z~tb$U)Q%5!BUVoCBd(t1WduhRX-l*LC>G16z=Y5?* zWiMGXkqd>lxk8)C&%YM`#2Nubp+UG$RXIFuvfL*2o_TaD-qY16uy6iO5!}WI${W^n z8ASq6VS&CIh)whh>A9UMefyH73|pf(C6#l&er!=n#Q=5ya^jeC6roH)0%YU2R&;5| z2>-S8UOvLT6Bpc0D3MgB4@APErm+p(hW-UH3p@WS&%xhks&HC7!dgJXq7+F?CMDkB z{Y)nxiOgzYH@0olGrphjRAVIJ^zr7@JDs))22Pwd3yzzk;3(Iz2xFvk)D#e`P1u|1 z$u4n8=#C72wXH%vAXWX02$1q93Cqn+F%hMmEw)8QmrtoJL;mv?hmSMD%!V~+xerT( zf+U7C8vi9YoJ=BmFvz4-EhufK=457Geq)}}7>3jwopV@>l@&@BCDH6pvCtMsU{cs3 z7A%MtmIdPrw2>*yxe2=Ac7^e27XhFsFx}C`&Ln&&{vasYjVPR3bE6r&Glk~xA-bB% z3K)3)60JZ%KsXt{)8c*v*vhNOk36COTunzz9sV4Ue8flOU|e%yMOsVzL=+V z5uMJWs#5og!3XFALgX#ViJ{$Qdu$)%;6R_7KH^399XWM>#Q3XDYESXYtnkJVNP5A%jGA5CY8Va1>=n6CI?=MId`XHuQ`qqm58F%iPXzAO!nge+za zPMBsn(!~LsFoX!S>7GHX5iiPsM5!d2ji~;u;x5`P(x4$o=BC;n@%VAD@c-wATj{y-CZcnPI zh3tj=zeR`Uw$my3UJ3pl<}4iM6#ln_OL%r2isdPqGIq40@8xbFSnCe`6kDpMuj~ zwqC@o!{`NJ?2w_P)deoo*uv;P>7K+q3Gb{lD`Rp1Eq7*};x515=>0-g{nZnP5WbNf zgpdG|&jR?B6qF2pjcsGSeKwFBk%D>v)mcTBR82WhS2N;>_sSppZ{`iXb3=uOWtLgU zwSV$`DfH;9Yp)zO{rQxv=tySJjU9x(7Q)uova=wgZ?12@X-$!cJBreXQi+NQ`v_(x z8RHpb%8s0B!q`0)5XRB$wn!n6K#+)bkBi z5{JNO5hYo;UD=Aj{E*(0H=RIBLK#eeUACcEwT+S{lDT*M$Ypu z`cGiC;eV5Ti21$$Kk|VaCZ3FB&Eh)=_d|dQ(|@SmUq*`Q*!~ak|C?dza_gw;xWcTl zg&T9Lu}z_0>!~CB4|;X~n{h7}RH6;cUz7V%^l|QEj}F47%$0gTv+|Al=miJD*YDC;wP%zLNG+md{rgE0l= zp|)TaM}i9;VX_M?IPp$Go9U#>vax_`8d*9roUp;R zu^~YX!Pm$F><^-?O&_yAqB;;NXxQaf*RFfadh|?#*dOrL7oShZ?y2svUBJ>l)sv#Z zH0w-YYB{8hA40`Dw|pNG;04>HG_du5J0Tfb=5gI0}XK|BH9xPC)K9AL}e&(uSP@1LBMDfJYM5}-` z|6u3uO@clAIe@i-XEr5hZiBx0gZyuH67q-~Sd#6-QD8zR$y72I?l<~|Wwv>-iiqVo%NExhKr$SJ40=rstlYSwgbL z%2m^21aOqSU?pcnPR8~W^BhMz)5H6Acd~stzS8p?hdt&^`Imf|)Whon7QN^82gFuO z4Cn~klyTPU8aNjS>Ruf+RpD`))3Hp(^ze#6;wMxb-bo| z@5TN%BiM;Imee(gRG&SEjxItqrXcTI?(oznR!(L#H)m}L4XkjcygYwBGH_iaCyv6q z)Y^Gom=b@3senmy3MqT9g;70wjp-+6vFS>h-DOjOe4V3WTk^qp`z!-(nQ#Acuia<(>QDe^#p6WaLP=)9A z@(|Npsa%0h7u$UPGgMKkXoP%~X6}5vz}jlsq6hUIFyyaG`6pzuK++nA=eospZt82x0 z6L-lCyC5B<#W2H+sA~;s8?N)zrG)zY8u3hM{pWmSmZAH*6ey^h9Iw9G_|wqaVkVc% zO-?p5y-u20uoEj{Sk0luw|;QGOisRpoOgx@@j( z7{#bpO}kMUy+^R4sYQx8z);!1Pn|Q8=C#3?>Tip}pA|q9hZMVaKn8*~sW!9#XN^2X zT0$XSZbmMzbB?&{T`rTn?mILnX^~S&G+eSIH$Aumi|5&-q;-6SY4`I1oY9O*zN6ph z2@5og!|X?y;Si0#ubFfO=Di5h>lfL-R3{i4fp%}g+Wot=?l!`KCDUaBSu}r-65Ymh3+H-qMAWKBlvBH^vT2*&I1LcRzgn z0+8KjHtzVJQ*P;GDka(e7*Np`h#ZL@k#iISPhsqe@7Wm&Cgj{DcvFlD6BV32nr?G% zam|!y1jJ&07TKzof@G~+cs67rwc>ARbs^JzssrBMsk8E4A1UthdR#E|WSuP;I!1Q2 zYMWG^H(Pq15IbraIfCUkG7VB zg~s@8k-U_~mh6RG6K->EKR=NG=qwA+Msa^~%|+h9z6uN7SWU9?roiUxYiQCU)zVwO zh=TfyZ%Rj>=V2NNVXdfUoFa0>IcLm0QCnBUy-sA+V+(6;m*JcKybk+#V{8?zSMwKo z=dj)@9rFdU=H`btM1bNhubWsy7g$0uvgPt`a*br^-Xq8K9P$&Y3Fa211HI5r z_KoNZmAJ}m66ff`XrPSPN{+1tYRN|qS-adO<>xX{RXB!(>a2W}=|#)420xpvv#dKM zsK={~Nyx9rr-#zR;s;fwh14=BwJ*@Ba1i^KbWI7mnagYu{C0%s&QIZxS(XM7R#_8y z5_hk~1kBpaa~QWD_!H(eY3B+}sT))3bySL<=Kb;i2xMU2eDvlfo^aSQ(q}+ul6qVt|a(bPEis)FMW#P z8V(JECPJ&+I^8IIHLRH|lUCbSrNIT0_of}Wo65xH)iYhpF8R?)w&R?F%rWVETB3^t z@u6j1WCzkXfzglJ`hcv#7!nf9HZ**WDG5I0?h42 zeJ8ZBc;ilffpww!4e7z^6N5;kphR}9JzaX+a5B7L;5i7qW^?5vpDO?e%lr%c%V3Zm-OPnmyYu68*4_E_qAW zUT{9+hsFdT=R-)Z-@OV)1nmiltZ5oO@!n1tr5=kGL7in97h5A&Ld6u`boO3D!G3ODrQdG02w~;O<%*dA00mlr=?puB& za@!U01i7(Jepk$oquvq|6ra8wkm|r=@L($!9;Vg=AG*Nb$C!X?Sf+BBowPrft0APh z&3&|7i*q{YW^}O#j9X%I`4}yNU{{hF{tns0wMH9T)dS)~?Z;u}lM3rYdo)76;YpUx z>#q%QAE@5{TD=}iJYpW=hBxqEp$ncg*APX-zvmXe*D|oyTOej_pTgki-AquX-^tHP z8*Nn6nAW+YUL~(k;A|~lDrqjG(*0s^-PK?8?sertdeCeAc<){^_YVIW*cGC71-WX6 zLauziit7r$aTTZzX?y~ReS1ex+5m~&$Dl6^r5Akk_}(NL_o#{?O)M5S+kn+rBF`|62%l6LJnq1YiO!CyGy;nO;KpI0Ogx?{^qGicyxKk+QVWeWbqMghx`q&nah_>u$KbAY@^%@jP5>Bv~Nw z`Lw}-=iK_*y{)8^t%JYO#|J|hL_d6Y@49ATVUa@mtsH#|^jjTRLA^_;h*3L`O>-Nx znp9`RUSY58OQzoivS+va4cM4&WLH0`cxkd*ZD1U>j!(*+mv$D=!i{_c0xB|iOxFjR z8E_u9_ixKOD{ktG-hJDjp0F{pQf@D_vARgx&VFCrJ6LBZGwC{A7si@#t+3k7J8L}4 zS9NON|25ZhRDk?UcC$8Fa7}j5%&x-b#IEFAf0AjF^2&}s>2u6pt5~@==h9S&ykDw7 zOGIlIqERnem|vRTs?e{8O=yr_v`e>|=lK5pl#-l%Zz4%Wih246K?YA2wpi&G~xsk@@6qYLY zbg?B4KBq0toC^n;m@7;omW<_}oS$(go>{_y^*3uJdYUyh3yXbfZRO^*G!?&}mZC0Y;bG~Xfo-U~%1>4?U zU1ON4SguRV=DfcIz{odXNi--Lm#!=`U;^61nkJ-k4|&@2#ea-P|?k&!^sF=|6o#=zaRt z@n+^gBgE8zZ{M5n+^DaDcwOjg{(W%K>EikRH9`v76>XNA50uj?4uC9V_WaTHVp#FD(VtJLd8B(#ESbqA%K|!1kCxMrNiO8GebpVl&;3 zmpNFPgaUfI$idI58+H8mz`Arp+%wnfY?7crT{ZsXL$)Yyfyor6XhN}9i6$f$MaFSxeqp-y$+}MRd zs&jQWn2n&klJ&FeeL4b#7+Z|&(Uz&bTKYcZ!P>tl;|4$8_(1aQS+>yJzC3vlv!S7X zvO`d`6(w7CMu@t{B>oNb5q6W2AhrpW>_>21*iB%sAt}CJxpXRWjGhlUAK&!JnsD)c zL3e36KyQPFhsBYW5C5b8tA?nD;xL+(g*8K+#pdJ9I97OoX^KpShWiKPf|GN-OO!@* z3BcQMXT1E12AXK7k(?YoaG&L!Gi1RUhrfYU|jh6Vtq#`)kl?6uQcn>EcOe z)Dody_avvwNPBoxton* z>6G1Nl5eXxDdbry+DvYxp1{uj0oBVl^v~IukskT-I{R$ap894S;^_)qz~w63O1uU_ zk8nMkid(vVdG19$yahy&0^+*7Je#9x-)3-^o{I~n9;T!Xz`*`4%8sgo+857OP~5)s z4VM(xEE~UX5(TmXGF33*AVuA;@G*4YE~Q|)@-$ZG{zDH&a=Z>8*E!8HQ-35EhQ$J_ zp0(*;OFzHvh}=UZo`OBGVp{szy3EU@v?0PyE5a89afyVAeXJfzI+(Z*Xc)DZr(%^- z$`@W$2sC(#b)a6b%z^g;)fJoN14plvewL4|=EECx2c?(LD*Y;!6P9eKpt3TbDDj$J zYjwN*vr7rw=T5HCyb5_1m)0&17q?fFc{b;8*T{NNfgTuNZ`n|Zr!rwl> z^`>LSQo?Vf?yW9MX;)MId|4sSJ2O=~f?-I;c5FCXjK-c+N0~lPDuR3n#ZGEe`Hf*3 z3x>vSmJ!MSAd#K@PlMTxBG$5-m*H5`8nJBi7)IrIZy(3 zdduym59Ix#!@)adAWdE!NfwD>~Hve|%hTj07&r+Vx8@Y8ZorT6tvqt}Bs z?eb4O!cqir5zRL)5u$eQr++^+zS*qKTetBqH%~Bcr*OiIgMCHcs zd%GaC6*HnCK!&t`KP0U`6pkJy1X*P9p_($xF9-LP6{j*4CnDs@Zt_R?n9ZZx{7_85{vhu-|*T+0$5BQOdG78r|F4I4Ll=YE& zZhua6LK8kXFabhWCsRSLRHs;aO-m?vU*k#l6#o}B4ZumihUnd^8G9H9ub2faQ5D-3 zEt5j}Sjc#x<|#m7r&8mI=0OeNiB>vG)t+II|ym zJ;1dbN_fbiAM36#JpritgO+1zxa5?A+cu7c>+BY#=X6N1qFs?J@Gx0!fz^(p{bj0S zvZ@AqkY9yV|n{T@)acG5VjWhiBh~xz7f>k~E?Z)_0J*;p0?0Qf5Nn2u)M?vkPovj0#yI;L_TT#62V$v*}7(RHcdKs zIrHGz&gLZJ&FzmjCGeD5zsa|XV`ECGP1;ZPHHDS%4yT~tGLvL&7A3=x#+EN_#Mm{? zXXF>s;ao?H(}2u!`82?2wl!TIYqq6Ix0YaNs_|v}$$@x_#F>%4GnezK?#+wp!pHk1 zGW+?+e`h>I>7^FafxT*dp6{!sxguMaE#Fn}aC9tY?AFbRe`}JPxWU#8KBu3#=!Qt{ z#Z7nmE?ShV-9;70o@|CX=U@-5$ybz(uPAPJ2AyMECuDoQyqYM*{ekDFzHqibO^PyqeLd#+T=Bo-ecM-w<^a1nz~#t5ag4Hs7}QAl~eA zZvem!<+zBro`+C?BjJ}d@gL16N`$Qw&C57Dq-9~h)>-W%=QjqnD!nC3$2re!4AsZl z(-+LEeL5;M>NnSIx^zm}7)OJqZpD1Uplm6y-B z{<#s?fvq-I^D9*vRw?jSR~X<9ebyqQ{c8a~XcS zFsXlH{)o@edGroF9E!Na%;xn(Y0Bnkg6Ly*?5x_=o?Sj!es0UvKCO90irSHT=<&Z3 zT7O>FKn>{honAtzH5PGwyabT+wYYoxoKChS!8N$!p^jZ@_{csnfPaOG81=r6^Hu>c zt+^|F620cHD^7VPVpW9}+xxmI7Zy*>#s!xt%(JTo%ejP%d^hRY<}59bi`=s?FUBpr z@j52CE7rFtP>@1 zlTxJBI3qE>QF0iE)SNLuV(qXz`^SoVxtsG?4>4Q)@=KsBZf@bJm`lV~J z6W*PpKf5W}Q^ex_MSa6D{!jRB=I=%yMyLzvoP@MRf>lM&xb=P;!o)O~Zpzq85-F7l ziV(k6*+Z#{$g2O)v;JH;^ERX)G%6!I-#NAb7x{(o&Tf7|K-5O#{=t+#1V;^@8ua%= zaCSd;e2XQYBAvP)-L0gp&aa!D-D<(C{vvFE5t;iURU2iiTfNT1^)+2G^{@#ARi znn8f3C5@ntxA)Y!{G1VF>Y-eG>az zh=po<_t*SSyj4|j`(gLh6F+dmAAFvl$^Zg72&~<00(u}^B1g4f$W`;VvV`lLnFR7G zPm;e8d7Vdg@Dngv^E9*e2vm5A+-Kf+m1UQyk}1C8GB~I_{KCg<<9^B?O<7Sn$9+J{ z^bR9dCjTpN&Tx*s;++!hLVm+m7N816C)acEi~z$@!9?R zLleL7Bs;7%tP`W+ISYT~F|8WmO3P6Ut)9LZ8vH)+`|o4#LcmKR%~a=zdg(ScMKhF{I&&tKyS8*NsQ3^@nVnuO^6J8wY-ujf?^9|$QH$88mn3fNU+8>vYWuhVzU?bU5{$O5UTcQ3 zICl7EELxU2{x-(u&EAaIPV|IG4Tw7YEshv#r_TaXM zi+YQGE;QTE-sV5yd^kH7wcE54q_zkE=t=bZ2w@kVh2Gw6q@ z*gc6us&K-%ZTqd0pQ1O{Y(s7379WzMfpZ~tw5|yflIP_M)|NLR6rt>o49DB&>NG{& z`tgM%6n%YGypC@6CW*AU<;qWZ)&;PG;}Q|o9QvEM^bNv!f3{wB`~9c+i*|A!%XVyH zv5soxA>R2G&{e>ncB~LQ_Ydp~B9aYTOYgkC^4D(QHS-6pLsuS?hB2@Vr7=!5VY8U+ zb6VTqHjHPEp(G(wU&{BEo6z*7{pw%UHYgCf&Y>4N2;l%5-c!`B#D#WnMTkW1s*Iee zF;Io-a`|+e7q@saxJ)}W%ki(6vQcP=nK6~Bo7wE2->smAS`ShY{k{dy=o~E8jOl=< zXn7=gXIBC5xfL(pz>WdGr~9J_hpnJszPS^=3#sBu)5EQRmW+t0&ZmrB_bLJR$FWc} z;?|=pqrA(B0gN`{I}Twq=kBGZvZk(N7EiOR)k*E@dJU|3SR1dbOWvftb&r;2o{6qA z)$X@n)081p9Z^$x>iBoO<+3}&B3sIPGbeZQu%GPA=d~JQGmB2!#0A_@L8ma1c=|M@ zvL?FTXJ1a^^eKBNXuWW6%$MXyvl?us8QP@z*oyBbQgt30=>UdB9*6x!I-=XgV;1NM zOS)W*U|2`6W5r|kK>fhnK=xg9mH-Xk^{|ldN!)Xn=U12;&mdE}(u+`^iRS~&(mt}A zAa4mq8!r1<`Lj9+^}>0ZL#tFBjw5!tX37F1_MtSb?9ihhoo2|z))F#-b)so%buvTx zdq2tQ2mUTS)?9xfvtiGnq|b-4jSG6ivn}h-`M@mwn1RRK@%HQ$d_=4Z7a$aKKT@8- z;F}2{Tl{uo_G6zAGOK0?haGKI6O>f^Q$G+bF6?4uvyG$f*M^x*FW7eO4csyIK7Hs{ z^N26jd4A)1==PLClHPTB3oq4;q)PN^z2T`RHnlb}Oj(~Ax1fn+;X_7{VaG~Qz01+G zhtn6g;yLWuPrHWLOtn+sLQpT6%RyO*!J4q;Eqqj_M7O2}hHuRJlt;DXA8Qsn9A4_3P(dZqFGM!%I(6ck(5z=Ca13H)!%ULUCS5uy)V# z>ae>>_@v=lmXr;}aI2B;qK?s@Q$Bh*$umoVOJ4WSejkX0U^#q#F8NV!XP)r~kI%;( zSf9T!mVhM5i0I^>yfYNroz+AYVA2Tr5XqCKovUayZ*FTI#Tq)Bn;wf*o~>q+gV%Xb zFYI0>;?#(+vVb&0+K64LZV;Pj-0>EIXv2}1tZj8)heN{>s#=oKUVBb{$vW(XoR3$k z*(g(LiZlMP;+*`5BD=C`rF?O6&dt(CTivFS7rD${4SqFZPc9TN!J1{wJsPZu`z&Ad zN%=xBTfd&b=;Lz@@)`#qa01+a%+S=Mg8tPD{UKMl9ij%6qeG?P8dN|g{iFWR$@%%@ zhgFi3kw#?_fuc=rp+^OG#Ku%*lM`>Bdu=)VBH#0v$;YwX0l81?`d1EO53rG52v$-ZWSQZvx@4JSjm>xw=X+k10+Nm? zTVw(nwKHCj?qt&uOe(K`APh?Bdx-?#_AhqQ^{}#6KcFCl+**P!$u(oxDGNV4f5@On z{bzn~!5B9877IwCHguA%Np2fR{4koD^pPnmpSp+MiQ8A!h$pH%lM}%_ZlE-m8E!AL zUOqs})Mc`m8E}4hC(XQ!7&G=+z5DMV4{Z;99nUjO#b*lqR0G)>OTTYeV5Z)@S8>gT zF8Ig?Y@?Ys((!!hBXxxTn=jYf_m1eL&GWkD`;Oeo6?s!)w0_JY!yJjnPY}!@#t8`h z9LNunKs+0E@AM2IPZf6sHDYio@)CZRI}Uqn><OY6q?mjB(t8zlRi<>lBMaWQi|lxws$_pg&yMIM ztL{*Zc_UllD@tm*@_OGQ z5IZn1J*{Z3I4~d65xXp9e1RVjENM=KWv88fOU$rG^!a=>Q^XVe(tvMvB8A3(@PTrP zI*N)$0)PBb3DNg6Mo6t)P3P~MI~r67x8Y@gO_Z_qPBAfv(uh6A+=yJPwAkMveCmVZ z7D|J~@0brRY{G2eMIS&g+(^zXti-wWK5*KwiYiZ56xM~TV*Vmnj$gL%zX%2mVyrUm zRD~8>;ZW4G-L0|9@P6YXFC{9C98Jh+`Z}%c0Sdxp#VbrMSyU=Wh-1g3PQgvh%7exi zf1U;fH}deZe$r&I=JEH<4nK}185XNZC^(y)Z?ZXtau0;%6Lu$P@=8<(kSif*@) zemsmN3vd_1r7=xA=*oN~dO{@+ps`k+C6zHF{q{AVAbfnS)Gb_y&U11|S8u?TVZ5M( zapHGcL7l}Y)@{x&>q2j>1We&t^mZXhlV53rBvO!f{4-i;3&y1%-SyiWcj~P&Q*@A4 zw|t;L7%}=)LZXYdoL%-uV0>cV*Q~UnIP5R0{ak(Q@lGz3(vTT=-6Iz&P92z;Hbj2B zTrBkCw^exta%)v;FPfib4AX?tp!&o?)KrG2ER>q!UjNHesQ>mXX0IBG>-qX_v2c=skfT z5g{^BGpTX_i5yAtB?hB86pohAKJiNKmF%}E6XI9BuvbZ1xKsW4Wzd19er@Gs{ngxrCf)xIpto)%bxJbO-F|LZ*P@hA*F)KM= zs)--STAP-FPJK@|%(@61J5Ni!`Jj8QNi;i$-;bl*0cF$SRs`{Qc7q5bW z!mK|~F+rM#v`QL%cuXgmXi9N@dZO`irIxv?FjH5jr!sh#L26ct=lYiFL$mKRLr_RM zs+?UcnKxZvOmLH>fT~P zERnO&LpAFFc3M3?ZUeI_V>;Z8MSX!!KA%OlG`vlsB0JIfc{0*h$@?_eCUh)Ffq=(4 zpo&sP{5OLbR|~^fM4vK!#6xcgE`wNsJNx~dm{#x$m~F%YN30lDmGIS%T+S*an7dRS z>o0FaIid^SrpQJ}zRZbHn5E3%2TX(gf%?f)mj@*_u$9_3q+J+RZMU~ z8wjimnpc9P9E>yZze4-=@;*~RU;#zROU%E$DZZUsm*E{(;A2T5lsa`5`!d0Rhv)yw zuobEB;Zs&magIEni*z8W3$6m*+af!o`j_MZJJ~EGI>Za&in%y3dnG4ZirKsi{|}P? zUcd)e3SJ>P@mFfk(jt;M53pe~kyWr4mg2;tQv5Q6TB=$>`fmR#P4y<-6g^SRUi7&# z>*m;rNyE^W=Rzx_Mx7A8(2b*9`TRL`lP1+0)07i?zQstE?+|FC@~rrj;t~XrdWtVf zPGLMk=y4%$A-2?}l%kDSV4flcN@)b~Jnuej$mOr4vLQMorW2U?@Se9|hJeAi{oW%d z9jvhe=D_vkKU49;rpzrCM5&U^Fdr&X(B#dsm^VTkS<#0s{l?b6)m90z$NJ3!71*-y zNv*!+wJ|e85+yDtWqdDUT3+X@6C>Q?PJ)r$YpPR)7FS*dOnI~?i zf+Zo>Kl}WILqre_ca0Z+twDp2sqvA zv57KnjmZ=mu3gOXM@y%LEj|op+<&-KCunFNJNob@U@)v{0x_&M#Q;7k37|N8e~?!{ ze8)zVAmQuPYebZhDpM4gyEo@VhCbd5+czyl$C(%bOQKk2s;4p20$P8^OmY@-fng>9 zdPty498U*5-5wKp=<*W|a>~_#omIl%SGWBAPo!lXGB##aWZ%9smYNa`xJMHYDpp|` z)gkCw6F#^LoQZw!nh|@dkU+N++1t-^8JGL|TVC?s<5O z=8&EmdPR*vQd1dU=>ne+jb3%W{~2JaKUN{r8b%9<3d<9s@a@DlfLu%!!Vsdu*c2Uu z1ML8%>&T zox0ZKax;gRqFsP>*8n^Hi!CwY5XM&Mpf~+MsOJL$#@N@OU4q8l^xI#ul|k2j9yNmmj*69}@ZUGJYDBUAvfze%ta#(r5SgLavu&ZX1}!nE z0pqb`VxcpUvJ9Urv>^i1UVIQlGD3t&scFk#V$or*^r_&ZEU00sE3hOp6F$?zq+$KT z3uy0lf;@(7nki&`=qU3bO(M3FB~wa>BCH*zG9zWxw-5fBeY!?M-5Xo+-$H2vO0nrX0%+?mVQU|ew$ z*~5i`Sb%6VLI@?zst9>>DKIw7LFCQapX=J?{m9XBW-k5I-&uYV*HM@7m=KsA5{ssd z$cqb>54+7DM5s}uk(}K^LX*Wo7y`pQpZ(zl9<+f1STOgIHg~}gLUtlph`|H?9e#Q} z=LCM{uH`k194iDkxaeO<&IoWKp>z3q_|Z_vn+LzyhKa^=`=tjfy0|(~Is~#aY+K&@Bh~#bq1B(WPKfNi)Siw++1)KZ~0-Dc* z0xt}S)#NNcV4xQ7qha53{WiY9S0VVCd^AFU#iCQpGjAawHoh;_;`%?CM+xxnKd`(HS(0dy>hWsD^ok;5I z0s^E6)!#XxMDZ_yJkgO~4@`~`o}hdepfzk;5nIT#H8||_< zG+EPfiW5g-`C6M4ILX=sAO4&HmQn5AJZ<78xEVEc!u zF|}4BWM`veWM|}HX9dAChISIB0CNi`LUu-0Iu0fVW)MOn39@AX#)3BHzf1{1l+8a) z5&9Q{L(9g*PRGf_$;L@Y%M3aT3mXdu3n3E&0|Ox=11l>X8yo0TKswGpH9*jeDHGwp zB$|J)o&P2NF#ZGb{5Q$wpJV^6#(#E~@L%HrVs(TJ9Zml^;D7d7+1beHUto~1q{u(} z|G{*aK)sO^QLz=56p=Nw1DQZ3pw0uF-2YXq?CuEax}=Sn?LXj;lBqcWBoVn2QV5#Z z8kthU(#t!Tm^uJ#%n2#}y&9-c+1bwSm#OtXW5@vN0=@b_5Rf)I>pvO~10fSTI~@lz zXvB008QBQ6nVFgC7#P?&7~m;QY>sQQ0&@4uc(7c|!*>i-&?f1lrf z`uD%)_y0x>F*E)*Xh=71(#D?we&EtQ>_?k0WI#gIccGIN*_|4GoOOt)zfQ4YAwnKo z=a|1%B*VYXAg${2t^N#t(a=V9yV-`C7ud?IUFqY{=>Yc$3a_O>)xkx_=xsjH9*omi zlQH(~Y+COgiM!on78~3m?_4?EhDV}tf5d68#q50HVu?*JcjTY)N8mA4?PqmTJZ^Nh zwMOFUsdKJ0UJC%=S$#0c#Y51=FgxUbL&e_GJhRF4TDgo;bp6N+}iUXGh&kAJ!bOp_M6tKG_7hAXIF?t)%S;CORC z8|Z!CwDV6dKRCpMbj^GE-!CQqNLK$p0rnpe^G~RNg8KgyS)w+^wkH1s!hggMt;D}y zN=ytvVGW8lkWlrnI938pzlyD@4FFWdl#ubCssFE`{$E=1?+6tK6Eh>|GW37_W-u|Z zvhnc|g5uNE&>Ge)1B6g{sfa%Edzsm+C$+)+3}{$4k)!|v&&4!^A-Y2(5|oM|R#m9M z%u^vDWWyH_6%hCuD=PqhbnAa@1CV`rj$3fSsdA7 zD7N-vP>mQPTIZv5b}%Yd-+fKKp$1G*ZZ&k)Y`tdv)&hQKwRh8D=kK+#k=ER}_zJTC zuiKzETa_{0+9Y^ob%w`oKva5Xo1cX~isGdis+kUF<@w7WnLNqMT*chl#qk^4Wp6K- z>GOS&6IJ8l$W;4P>PqBIXDY=3lke8*{ONWdJ@bzdY+N4&I`+ow)r?3y1CX>HD>|{ z0k$#mhBl{IXg$wZjN>6iTY}{T8v_l$_XXl>B+AX!z}G^KiHztDQJcGg3KBFg%R=12JuZs^UcaKuW0tykUHH+7oJ8SQ&-KN z;SU7CcUeL0p=>QC76OfcRypyfpKcJJ=U9t^C8rrFj6?ibM^W~a--^N>az1E!92qZY zy7KU5vP9BQz@e*+!MrhHxz~pqI$7c|=xeQV|{v6IrviIqL`Lr03$x z_ym=I6@)SMd!aCeHzkOTU^q$*$pmQK@b<^O+KTcA%BU)h@jjzDV_Mf75Sma6^|uSB z_j_p!1kZpLfD1YXjDpIqM$JXhQ<({EKs3cD zRTn6(D8j#?IU!mXRv+3_teT5SqZ&sJ`XICp$<7me!MF6QJwy5ovvg|lbxDy`d&tR7 z@0skoV{r3m^hzln4o=Pc#nz<~(oy#7pjq>Rf9k}*v)BGNtV-moZQm#P)+I%HE;D<& zK4q{h>U)d&7|c1E)wd@Sv~5!X#wm$OlhJ$13LRW2J#;Hv23X){vW0mwJbsO{&K>)Z+K}Wgd}336tso-XmR<=L)jo`10Z6 zwpJar;)NCPcl^}ilG6!^&p;nEF1aI#+{1vZ(1L2Y@;&m_< zwYnfhq8gLF5Ur35=yfIWc+lMaHMFGTk7B9a6KS2tK>B@`LW)UziMAxL708yvGW3hT z0A;_j_U0?)z`-C_IHsD<60uMaB)virjkY_U!8FeVHd%>m`TXnx)euUIZVjnBiAGm;Ve^kVoE65H zAdfefxHBVtbckGG*aTz)O)lOT3+Ir3gV8 z@L?NlP1%by^95yMGXThmkjzc|Dby;3FUwr0G_e`EuqRrU<-s~ch?2AW|xD9wOX?4L5^`!`KDRf^Dqs_-{? z!%DCvY{z7Q`@1bitGPw3&apMpFPdkhITJ-IE6ys~Wzkn?d*uh}-x;&B@;tt$cIlMK z0-?Op)VGamED1<>6P2;Vi2WK6jhm<^8TBzoluuy(bynp8JO3EPfOK zA`Xt?95uVY9pw_`ToS{VyNU{TL%6c^R(T~yQ@{!;(q1OyM+~wtOD&`UG{3G&birB#I_l6fe z5~h#jJk<&KvS|i_8uJ${7yXixjl;_a4wSI#iV|4&5_f#ILhYsL-X!#gdQ<+Dxs@(W z7n&2&GQ8Yg7mSDUn#{m=*wz6qW`&9ec=T7Va@~hkMb+jy<_6d+@KCnQ-z;6%F9%>p z_z*Yms1IVNU$=rI6n(G`1S@pEEwrvrwekC11oLCx6%VChOjiP@YLhiUE5=?wS6Od> zHAQBtSh@&6bbLW=Twchs>i$n!x<;4J=*62Zjr{Ve*-vetNoI8SbZ8x9Lr#lyPOI(< z6!+Hm59#HW&&saW^=tjt@?}yKpz|A1XX}~hS?X7*5|Kvt$4#L#+Pz}BrH@!PmF&U9 z+wli~@%1urj~u^_pejh8fC-6jHDaltH;mGKqU!Ex6A(UyzMSSQV`Gu;2x!;$?|7~9 zAbsLpdG5cft$^e1(veQi@2f2xCV4|=X?oa|TJW2K;rU|aprv47Th#`Otdn!7>4J=y z;B@|BC|^sqEm8n=E6x&l7g!gVu8wwO&<5g+@eU9E9L!084}sfu#3WDkhDqVEX(sJt z9{$v=`fzana`JPYbCJ4W&_UBi{#XyrNqEL=4*~T=5K9*aJ>%&4Z42=|RE2+E4L;Z3 z6+e&LN>?Fe6Z@!Fh;{lFibX!*Dm+eUj6-Fk4yE+CMXtdTkEl18U%My?a85~mm!&~r zx0uJur@G_d_7`;b`R3=3+C+zBTKjIPYR9`2^4ZoMwpwJoB96!pF--yZO3amy)WRgE zWg4iTduQ?)rerEvfEDj58&r*RTtV-@?lSWpB+qv|6@~m7hYH({W711(8oScI_S=u> z2a`ab4M3+&wx?Xf;?pVB;@ipL9f?Jb6Yhg|Eb}r#&gB$^JDBU zB{Dmt`iYm`OV7X9DwR~1+cz|PKtQCrJfm3{l;aZeuI)ua-{qmh9&SvQvhFhrGM{I| z#$;%{p#c_<;8@)-N-wYl96RB%eq(#Q(XZj)8};Vgl_#?^!xZ*;ny**--?n^ciw(#W z^8H*DqaH4G=Ea+p1Gy=yC#wZ+u|6M64Rt*c;R@z)xXZ7*``;E?oFUwyeXpTx0=ly1 zUDLJNVTrQ^c`NzC>RXCLLS_pQAFxX^)jZQ~8VL91Mcqf(%E)Dd-|L`S>0pc(;dU*j zejFQ1#jeh1P^JyQ)bQMX;f92j*7XGjUOft4`sug7dMAsCZj=X379Upxde@+TdDX4z zb_44SEnK;TfwOjXSc&f_g^ihb!{Qjd6kq3LiAv6onzw*EiEU2-&inGH zFIgBY&g$X^ak?i+6ocFuR;0Fxq7rvIeys5g0IfG28 zPXX?avNZwFpI7YXr@DC1m+$%wyVXxR)m+GWm$oa@px+zS9^5(EHPMwz;T^}QIhV_) z@5wpd0z}^E^kI&_41S*jC*>aLzr5-@Li%>pr5ZzUO`>^jLFVW~EUBkM(C6%^P8D2X zyBFZ!^5vk!5L8L;Rl1SsG()ycgjsLD9X9)RDvc9Bd0|vdmT4bt=;nYK6s~s#x^(2) ztx{jK#dH!=u8C9YAA!rjUs)W0m%`Kb)m;e{y;Qy#d#=DNqWGaZkOm=!(9-wKK>@!KNtv4$z?eF4xXn z2%}N$bz)&zye7y??5XXH!->Xz2A+O03aD7X+D;#$2Z~8XLDrliPJg+okS(|vaec&@ z7kdi2dJZE6cDKmnM9-TwV7jD4bU2?6b%2@vbYq&Zl;=OqoZbCt3|cP-s95JM^*iuA zPZWj2yKc~W$9`8ZEH=}++$UdZw6hz6YCI z7$Jsps{(JLy0|)!oQ(b=abI#A9CZwxLd}KX>1K{>KfX5ymYU+iwr&(f!)l^7={ak? ze~jp_n?K`nv++z4-|cwPqi~HBVJAL1&W8^gYWS5WDE975$DKuU^QiaCM#Tu z@d-St20!P2S@H73I`C(cTh^c^WIQVbd(Jvx05)75KAt+v2P@L&u)_#@vcivkeB$~- z6&RAv8`G49HD1|*Q40%jTklpu%P14}K0*_acnNOu33rjJHE}9+>0W%g{P=9%y#bbO z0v8|3YA%mNOa8PKe*oGT`7nIo`&y;zLoJsTdKS%n$GiD(A7KoteulJ3&A1KCx}A0! znP%}1^%$MWLjLOV{uEO+Tn1c&)|_5^1PBHK2MDaaG(H+$4EZ!4U3!}qi;sc_JB_(} z7QF9&Kv+b2%P){S!7b=APNok}P6vcr^EukN@mp8*bCnW$H!y|YJXsy&kH}8JY^GLI z)EmNmDY2@GRJX1`T=h9nd&MuXT!-2aiB^YvXrcrsmUYWySzLW+sxhvH$=|uPdkS{hkyKIV3Uph7+wqQP32F^t6}CiJm0D|Q>FK1Wp1_at z3)%+L|0aQ3K4xp*CAL-$R>93_l<{DMfPDO@^-S{m`fcHP2JPsYWUv0>gK(mC)}QIG zF1aD5Vag=|id3G^-;&q(_PxhPYXEb@&hTkl_d4^d2K>yZ0&pet2$_ zS!E>n-^4^27ysCRXO3x z`=M6p$(q%?@olEc*V*kBv*i{oy73;K2?&p+$4>Hq&FG$Q{cG`kk1DuBrLFpmb8 zwF9-tu7I!aYWI%{!28Z4C0AxTXZ2mAkI$P-srxqEFh4wvG+-nFbiUJLm$^X$+tN6?&Bqq)aA7xDA!;LrcI z8G*?jPd_}{5NgmtO!~-2|!Q)WDB$Et`#@1xn7nE!wH%*WMWTTUBXt(Lm=U z5sGS^Bj$=OL+?Zy(tvwRAa{lT6JtT>7W`GBn>xwE>_V2-**JdlLeXZQ$IMLN&X4al zr;ild@9{(jIZt?Fg=eIzO=~)le5kp}b#UiA>E}E^8QZS59xbI&t$6*SpdB0A{m$@` zKxg(BW~;6li0j^OEe40;6RVZ>y;y;p=k+JA;MaWO5!NR11bpn}Zf&r5ctMSFaC|<9 zZDXO%&C#k*P8s)|=0)xUHpNTXbAcHfsx6P*%>!;J*v`!>>@Q z%n9prP8z%sd{Wld`w*rgvl!xN4|d%K4tCnCjPmRIqh&>#0^XTtfRTQ-mGY6!3E=oS zb>TGw1(@~=?HxE)E13;CK4A9Q{&G-G6~>xZK=ILK^#+}^PN9New~%#}byC@V%2 zyo7w7%{In62A~tJS#ijhl%y|Ie1L#ydC>CFT+K6i^q6JY68A*$CI^n;VJlFAxukBa zhKIKHCe$gUen6o?_R5`_wPEF|j#Rrtq=Q)RN|{$Us1*XhCxB-!!JGuHww`zPy#1i* zPA(XnOXCc^H7Cz>Ll!!cpmwO&2a6n>3qEuI=izUHzNH_9mfT7saU20OC}-ljA( zq+me5U#eYM8x{-R@Z*KB^5nA7m&+yP$y!4`2W6`F0dzNOd>07IxcN!x)956m%Hu={ z?X7^YJm0s+aT{9ZlgsbxW3*DY>_={XfKMx0O%yN2wEp}la;wZ2HUX7Fz4EYm zmI~NU+KuqGsT=mY8sC%OvW_VSl-W}}SzsMmeh$nfj4|L5kZE9{0(Fr=E;>Qyi+dS9ZOx_d&nw%ssU~8LPWO#?PG63d;p)^NMG3}FjFhVoW_#OQ^2XNit*Lnj~~ju zslU~15BWPDKjmL(FJQFT`aiC+q|bIMUBAgMJq*g=M0uAkU2c8@);;{}FR4YVe#loH z0b2MyaB$8cQC-%IEn>!smy2FUQB>4Jow@#4I;4*7{YbOPOkAk*k)}DjWLcp#6=ZW2 ztRDMKs~Y0GFX*84DqKsz1B+```V?70IbrD#c>Z%^8m?{r!@B+n;r3@EiM7Li`s8WH z7*=w69g%qp=DFr3(FB{8>+@}|VL~^Q5kXTdjvCCV;cO6FWPrZuH2+#N3vgE!Q0oi= zZy#XWD!tolMB$gF8o%zn9MFURJ_JIwq@2J=WE;Vk|DkWuuW%9njB~xBw?F)dbKC=r z@%jz%qzbu%$K)o|cvF@*BEUP_N&%&(#OfOIJ5Bvm9Vv)v8LA=oYgCT;L> zl826^RrUAt*r)TDjze3tXYZH{INWQd9IkV9-?=_j{tfs@RMclxZt3bgDBiekDUE$5z@QVDY%ju;ewJy@*#iB4JT(!%3Ag8d9KyM z)^WvfU9e@XJ+_i%(T?DG3F^RwGt^;j@ECC^5pGZ1P@Er;3*k?kheWX;N)>$l?$$t- zonI^DhvAhx++d&HaQzzl)c2=LgUR&hk=ZfKLWCs(qO42OYE^Mxu~Ekgp1e-(IRuvu zb!9}imhKyUzz5Z&0MJK-pjq1yNUkpj;3_T!A0ZlEeD0t`GgO*A~4ZzJOp~Ebu0#w=r1? zt?t<~Fr2Sdh7+`g>p4PDQt!b@E7127S8_Ys>+hK#Qk9mcWK>U9Xd@;t?f1&8_1K<| z-cYjySZSA22a7gUEQX|2f&a{8o%lty3FY&Mg{hxX-dbgQg;!yQV!VoSdS&vl+0EV_ zO0*F+~c|D@h~3vTKg0G+*hkh%csP^8Qy?^^6RYgIg0OkTJsZJV*d)M5NGceiub zatt?%S-6?pN%kIkS9hm-JXzG0^5OB)bN4vQKYEmcGBz|!F@lxONMtNEa5qq&zTi%C zUn|OASAVk1Wv-ol?$$KBOlR&m$>+Mj!~U?AdYd`BP-FoCB4dV4 zz%Pr)x>9svg(&+e%awhu`d{BV@jJoTF2!EMyt%zRy)U2m?%uavm*qdOuBu}BS2rg% zr+3y(K54FON`Z~zZ5-*Y-pWwLdWajem3z7@ZtCo`{Rg^=D;(jjA6;APzET^svig~w zrE#vW-EEKEZ4Zg-@?bP6xCp=BaAknOGf-Kt_ZUb`Cg*V;xq0%vb;@z$@zrSsh z`VF0#s;ZmOE^3=Uhkq@E#eG5u9nux#`ro%_HG-G1an2m+|hi zns(IS)k;5Ix-61y*qTx1O!bmrKjJvzJ>op#K4LG$U6`dLCt3VN`63m8nwetGdkDS= z+H$oP|Z^t89jp0(s``AHrrPs7>x_B60N8b!<9^suBWGRPJ(H+cG^ z?Pba0DGd(}-^#vXW4b+mJ<5e=<-+1LpEin(d*#YvW%_S^V{{$KCO)V0UN}iM{kzsU-OYB&>W2?L+zLY2=0Fotj zBl@<_z!=eu7xH?{(7S2_suwY!BBf`CenY~%yObJvL0Yq_0@7OujJ$S~$axA-}SV#wk?dI5)ziL$nX}e{#5pz<#B1T=uR{PH14z~G`{`P}zi_84g z=lwN}Zp3})-mLJoTfe|vE#cTDACgf(>E~MJ;qg%mftRPm6Hj@?p(VFco;ZMRJYH;? z=_TS|_IqnMe$gNR&%N|(M5gfLwCf!&Z4q!WI}N^I`Uo#cw0W-zg-kfcjXwHF%?l{g^gQLVt#`HJ)ttr^dvr z1(mL7Ie<%7miY*0X?k&nrZuXnnEvQnYp6{@`mtJTU{(<;OS(FJ2X9(|@TCMn!Wm6DmN_OKuMgm!v7~iBlg5;mq<_)B zi*?No-oe~5@=Kcn&P*R*JrmE3t7{jReO!DYHF%RIn3e=xLOOajOl)hL0hr~JI5j~P zD47NF%Z8029n!i5bZW^ZuI1A6o^zh_uXC^SP;;gyU32?Vyv~8Gacm_>Wk{t+<>hnY zbMq%S&Xq4Et#Z26HVOpsqR!n#UrzG#dCNk zvz9Hb%Ik%E`F!Oc+V9b=+Uxmz#eCJBIh`e)1sAINYWj-$s*k1BrPbxH^AIP3_c2~_ zeDvx=MMAL3e~2mT@+ivkC|h?FGQy<2g}s%%rFknl^E=Bsi#w}*a_|+S%LvK_=XOtE z?n&;A?@{jyUP@n5Us_%QUkYCmJ*3{X-o@UNI{G$DFKZu{q0U06#cnO9wIbA{%PadW z?X~b|^~%dhEhV+;lJcHex{}HYTP#~F+l+LBPXC++oRTaKR>|v->t?s|IeK5b^uEWx znm^KC=&yIR09~`4vmLWt)&IyMxu*nMfmLQDRhe4cH-6I+u8d78Eoj@(ac(d=cR5G2 zj$%_!FCGUWDsYY5jo;7dtYe!rwDZ<0Y3DDdFXk_1FBb80T#x=VMQqG|6w)rL3B>b4 zM?TavNqLHBS5{6hSVmi(9(lj`Molq#B=gNJSm8DdHbk!Mu8>*RKLj+1dMd4!1%hlJ znbjie#Vm*Zwv*QHI-ylR)$6GH_Z^>gORHGayHzI>FGlR+e9qN=NdB_GSL#{Oj@iJ=lwYcMP8fK_1fl?Y*IgpI!;lBK@NH5y`#ci$#Zo zPxt)P{7~Yt<(cJ<<;jQxtE2bv3+Q@y-*}3v?x@~W9@wd&pSM{_KYuxWIe$5OxkxaT zeEd0+d`f+n_~QQ}EH-syw1=g8AAGMWRy8dP{7d3)5-mizp}honzD(#)q1aR`AsDs{#`(e@(0G60LL&5id+YS&Q0Qg2nCqJ>6NNw;SE8 z7ZL_SMD=UJ>N|?QrNd;-7#zj(rJ*9_^7N-oq9)eJ}q@>FhKshB-62b z5-tTCUWi>J^RWleZYtufBz=mT)7{fk(?hYx78P^KGkCH;Wbrhk%%TpWeu=}0ON)ct zC~;hIZEpe`NZ_|v!^$) zwvJDR@11VR_2yca8bD`y@;0K)=ou>7o88Vn`}5>0wuI_sn+3GG6qV@g2ro$WE_ zG3l`?peq(&f=wI2CI%W&MevOMf%=*H*$Y%% z0VS+{sG_YR*VWcF*FDrZ)J3P8l@&Ap!2Qh3-amYD*XxlD{Yhpo8D~N-88#yTsBlu? zqRLDlyg8(30hurm7#jSh$PW^Iq}fbTEkda|GHO*yRf<*dC)Dhe&6NEkcq2Ndops3E zC88tWO-miB9lGk^T~?*`i71sd3oFzXC~*yY0u#l=!8|J$6Z}VTl~6&+ zWp(#M9CV&VEUUb#GL+<~`Kh`n%+Zw-Rb-t@gK#Prlujjz=UOf6PL$s*%hHM#l$qzg zS&}r?uBcdp?C$#cBunkajulCSGEU2?g7Wn_p2oHn;q%f5CC_s2xlT*|#x5=ayb?qu zsB+=CT+2=_8CnIn`E5PTjy2Vj6^!lZy#$>&?lA)A0Ih;3W%9Ck9r>0PZD;Ov#S1Lg z4DO!H9XUtyKe&HzTX5UbTeMqOTe(~PFLYdyTnQe(JR-aLd4f{^@=owh^DgtUp194C zD`tylhP{xTyp|B;`-HvFp0xMC4=ccr+hO68tc0+#xsl_fgD5{HtdY2v39476C?SOXEcIzK(8;l#Q8_XN*pwygL;*m&^#sl`d0oSqD zwb!BcGf#6*V^3>Oy-zbwBcAoADdZc<$=*XzwYz6uUqigl7&7-vXhxv)bq{hR71%0+1vDbscl@6g7AVhgB_ZoWe6hD^PH4j(99 zakv7XrD>$zPN$qxU5`*&Gie?AdNncEhg24ok>nsr$Qc8G#9Tnhr^tB}4rU|yNlVG~ z1Z?r2);HAGwSJw9Mte!R)XP}gd~;m}6P>it(=ZnTI|3&Hhc3fA77uqZ&#;Ks_S^Q` zj@|a~C*39NiX7V`cP;tHx(O%t)7~oM#~RON?=uf7^X5N4vP|T|1`n@2LI3t-`4(r9 zug7nfUIMlNN5_B&<^fz(o(`T4UT>aAo>UN$MK+K)AYvTHxSV1n!&-!`?w;mR$1~0| z&I`fo&*RT4%p=UZoQ09)C9f~fFAtpjatXd7>)8(1;p!pX?pj(uXElHNthXq4W}Icu zd-~FR%3rl!#angwH2Q}ALA5!kzgvC#{`Q4`2nm$^HT{j&CxYOR{7L-H_ydN2n14U} zdXn*yzK@5X0$wplif@>{PzsQ8Zk%X8;%4FdG4jQf@Zi&;5c>69Ps+A1dIq!pNpzpo zl-}&-bi`->OGB@WX_5o&U7wR_kVB)2z9k`R0*;{kTE$x48Z4eYIZGgiRSR62aZ>^% zYf$GOaZ6&>#JU1AB}YnaOQOcVZ~Xah1#j@WSB*E3H?%Cim|TQnb1(=od2&G*DS2{< za+3OB`o;sUJsFplYo#oVQVB%^x>8BC5&$zAwYo^sfpsZI<5K%*dwQoan0=Cclc~WRTXFFA+XtqlxTc5@{X)|4?ddg06uj|ly;4*r;k#AnT;r;S( z%5Sih(<2;ofJ9C4!{<39HeU=gGM9QF3YUL-Bs88(K9%dd?3lT#)9j$as=DnX2-mjt zIZ4|#UDxXs&+%X)y~|)blhl<~t9|dH@Nvy^^Bsxib@2wB`ZzaOowv?od_{b*a`S3w zV36H9DQoFwZ$SaD+;lE~?$+vcSY@8|{s?rrbdS<=yDsdY@47kZT-4hHZfy~H?2b2Y z@V!m6-F-lbNBOv&xs6Ne{=fgMf4;}JZtdTijkh11V9!>ku{n?INupL~Fnol?LiXJR zBOY&7OV>CSk8-(KY*tyPtI=wku-hihH%RV|i6P+5O-fW_N=V3=OZ; zr6yak5^-OnD+cjVqDdV21MA@Kq8|!kiV_phcSqAAPY}k)3`J4`ibK&k?cuWlZ=z~U zpZ%2n5}dhOBL*C%HB6+pFWgFlWRdUd;2%>TYrb6>2m~5m9(UFRa{2Ef_b;qklC^A* z)=EoJ@9hD#^7%MZ%JPb!ZDb`Q{)BC#2-j%(yEA@eRXiR8~fo_SX!@-_|Gu9h5u)xuKzk zI0g0cw3rpv0?qj+^3aVb-H(|8PbrK<&*QK>na4lfe;7$%g=SKO6vds$PR0@DTaHcM zAn9SFkF{!YEPv&x%+UJ8>AOiwVLS$o_c&_8)VMxV z0bvZzNd^|hkN9*It#qkx>whY3rt}|oQph5uJEjc>lEko^`p!#Fu=KIbTPpT?=RFlj z%~LHDbI89E?-87eOT&U6DQjP2Z6-+#G>I~K!D2fE4j77%1^&!LXG&KvtVf{{==iHx?7nw-|EGLVsratuR zhOZ|0dX^8ib)M4uplJZKEW_Gr8}WC7QG|>xqPThtJX8y;)f>bYOi+g!$Zi zZB4!VOT9#G5u7r1l`e}yvle*-B{4LxxEn8S_FBF%z(c2{NSLY;`Ct;xJ=`N8J8)ud z4wzE9_9nMiHx&5Gg<1HVnf}4`&k#`Yc8&Bq4vqQMhHy}F0tbDVe@P(q830v+2Z2)J z-W6e5VQkFljhg+j0i8ky9#?#cONM>P8f{ibQU#v5mGf9E3(vQUi%`2~n26Lkq_o z8jd~G4NHJ#hJ;R{W`wK?4EWxZ*76r~M54OeI|<4-25?YG-T8gui=pH%?xC*AEt@DcP0oGYtgB-!IFT#I7z5wq5~Ll zv?uxuH|#{Q)kFn%LSp+Edn7Ee4Lvw2I5JxOGPT4b)c>CKc4iHQ!2_kXv6YaWnqZoc zT%cWcGC4Vje~%#7!2!4#Ru)2?%|Z()9AnURCc>n-zoNQoks{P7V~`X=Q&+(YkBZh& zLFRVa4F>BS^-OI;u5zJ_G-pY~lJE)5=Aoz_#uTOmWFU>w*xkl$_!IdN&n&Y|Ym%uj2PoI+h1{E8$b&Gl%Pj56y9UYgs?Lca6fn z#H0ucY(#e%1k&)ZbC+)1L=}rf-z1u5t=@`$0L`!8Fh+FGfpPw6@OM=E?@Y8KG+Hy% zQ`SF}pbe(21ACOV>AMj-MB@(#vTHTZ6%LJ!aGo@JKVu* z6lcm3{UX)Ka0&Ct9W4zsZ_vZk8@Ju3I8aJ|H6LA;QjWefp* z6!-<$gKmfz7T7AHA!j^Dn7&n~t9(>879JKLXP}@+A>l->!qcsaW{cpWn&v$nptCGQ=y-;L#Xq`f6XrQI( zm@u)MFUcrrNt#?r(p|_#@9A0CauwQzT4Ev=0zX5|-u-t^#*nLLF=F#>e@)q0>2?di z98ezf_G}OqP$}*W(BK%+<8Ht4iZ1*e@(rvfDqyJlBCsJnyW9(=%DNq*Aag00O#Zu8 zRw{VxbSDlcoL)ZP?rj(^$`O>JvNaz`+yzg#uP)*=%V5wr#l+cemoVXOloe&W8U z#9~rOaU*Yhw#hF_x_g!3bXZDwTnH(?0WJ%ImChyn3^;#q-M%VRIuV<2G2kvCc$xQq zE#xwNY!X;KO;|ULwT>?~)81e-ybOs=a$T+IWjN<%ka6@3if=?Bx7uL(vBp9!bIOi5 zn{sz%B$%0X2Ff&Cz~RJ%h>-0^zDpn1gY|6Dh$cq=nS*V7aA=D_31bQy3xNmx?3)|}&L^@wJwH_h&ne|vCfG#u z&hftZR3(WU&KtxZzAb_rfNf$UAh~1K!NhDCQNQ)PB;JDCXs2%UIo-62H9*AFpnynm zQUWj+swDw1Jsv0Wxi-Zke;#=zUwupMoYzgeZl?Sif=g(df6zSq|FL$C&6zO48s6R5 z8{2lWv7L==+s+f)wr$(CZJSSQ^Xyya{Df20)74-4%gj_wO?CHmBf$O$_r>&uUg5Iq z5*q4N&|~@ii@?~`{U_fJL??Ww(3CF$!;jh5ygy2c(+J7NhcE4ew;&(JDk&Q};(N>o-~b zFFNoZJgxTswQM8ru9tb+db5oH<0vdYL+XGuIPBMO{SEGkaEQA7rb<_C>h37io#}9{ z`hEFI_5@V&x_uNC9HXI`+GafwMi`r((G5C`negYjecDP_GU{o)q0`D%JnE+g);@=9 zjpc?Qk#=<>O?1Xne)@CJOT!x_J7&~BInY_P*fRmX=CA%@hq5r_)fq%)>&>EB17F3L z4JC$eoxYLudKfyn2fmR%-G3T9{DOA-35Mb73@!@d;k)1qRVtPh9K2)A1IOLqJKbxh z$7+WqS9P2T&Mw`O(Yj=jY6eK&y7}^*)a_-1+fmBKl6oR@W9s55>_|wB>wharrR;DK$mhr^B;UQz@U z1vD3>CHJ6`p87Wzl5}G-chFGcuSM2J4tHzQNF1*3z0;l+UQZM{zys06XI{1+Qzj}W zT`&kUTwbJIP)u^BahD^^-0c1YDjiWKPf0;`Kzs zA;h9nf%IlC;Ks1ekNj?J;;JwHO!CL@y1+vD?&v+GD&cJ0ZWA*>lhrlIDC<-sWh^m) zQD@zXJfV%mhOoZj^*>eo=QT~s^-aSX<;M&0O~O^pcm*Dh6kAnXPTHzY>OjuZrim%! zJ}G;@%4UmCpUr*xbB1`@mXwH+N7H_WnzZRM^dJlIF1PDGj!GA^8MQO7AijtDU49Nn zgM$)K2MiUJGaeH1Mb-wFHWPU0rm+j$d2lTqx$)I_!NA}bK`ZTGltd;)&?!ljzcgH7 zbti5S$Y9nCw)XmjLnGQN9NmsmB`3~qZ9aDt^*L$iytn9W366pj?g(@gmQCi04l?=_ z8x9#{n_WWBVFjsK7Z6X{Et^>v9sebR>S=J$!K9CXW*jX4&NlXB3}|t5Q*A_2wDtt3+a{rX?>hlS`eWN0r}xiVWk8*>Gn_xDOyBS(rK#8 z(w7a+Lb59Z>`MxI{{j$>M2_?Iv=s%<7V)+{AEsM@*-A^Wfq|LHG@nNStrj^usjEqK z;Vz*l@Mn0Z;o}yih2I(^?I;%bP>yZwNf{pfe$t4mI-n8?#)62;@_`&U&i#DR-%YHS zR3-w9J|@^O#kK0p4RX*$4|x4~h{3BNf*pElVNC`mgq-XN#`S4&e=bZ+O%zsT^Jfqz z+n1f!I#Z1o>|~76F!jZc{xVQE#2YqL8qhkML{pp~kv1jQm%>;9O>(9AGki?~OeEF& zQekrjH(qeuv2!NU&KDN7bPE^zr4*dywFv~=BG1M#_ie+{_H8LV3C)H`?qLw=DZZgK z8aBb_MA!St=FrxqXBw`>Hrdw2H^kMH+a7*z2|h3Us!SX}bRdW8R~2~qtgLR!syBmM z9%pI9HxHS!Zj9Jh>wG1hDt4RK9A$~&P7I!g%{^^QePpaDLIh}K3t5*UXp1nZ)v4>z zF&_)X_9KVVMQT}kkr!$ zeD^f?x*s0VvZ|XB%}7c%e|C!37c+zNn_>uorWfem8LdFV%cT2BobX?|SBRU%DJR6q zz4dB7$urn@r=CdwxYN=)j_w09q?az7BK!b`t6dv!Id`RPnjGZ>YME4dj5t{LSiE9j zDg@7CL)r!W6a0Ii%Td8=z=z?f_pAM@v^A_dPk8a1!MapWEyi*(oKZ?c*acd%@791y z?dQescYl{Xp%)ZyjdTia+E2~tK9^c<#q5Gf)hmUbQi@X7y8Wnd-AOA)UbsN+&FE!5 z{)*X#EI{n`$TPdwB+9XY{7ZO;nb6wQ%l0r@L(}q9>t*TD@Ap)%u%JtF=VZgRV=7q` zHj5j$8%w=^vljUK5LM4Xy7xPUoC;X19aV+V3VF=9RT>1eL(i0_#2f;=6dAjY&Gk}l z!fT~gD%q;tid*Zr3>Z3m&nK^3Wc9vHf=37LW^ylkVUHcHzeM^_)u zzqhv^7OT$Bcb6ZyUmb7-i}vH6BCz7;RhMIfMKQQAE``3B8F`yw2k{~yMmy^KDj@Gi=VuqVkH_?U>j2;T{E{&!~#bN5l_ z3-UY7CHAd;+loQ@cxs@itm#Oa0QU&}1p8I};qr$>_rFJV z^1%;~X?};rNyMd&`vm7Bh4q8-rDao`GFR!8&|RTDeM>_2)<$@`;f-k2p063oT_1A7 zq(_2`b?}ow#JW({3|@NgdX6o11m;xND$|pcHV^Fr?Jbj4PlZ{jS^>MP?n0SYoNlja z)p`H!VE?+m-d#$;VnK^lL8C1D_Kcna0{Mc|`wM(tAqYkx&y83_C%lc#Ky}MA(^Gt(1?^2p{*MF+_l6W0Q+|oCHX6qi6BsRnyz{M`D{V0kByc z-BZ~VW3Fa($Fyzz9Xo(X;%TVKtIgh%!rsA zh`j=zt))JJR_h_3o3ND^`q!e-RC+QZImK-b{^pSho*t9Ndt4ZHtaK(jGw&{)$EZOz z%s#j+>|lw=-iKWX3<=Kj@1?jK3BKW;YsY^Q(=Tjh(dOwkCt75oq)jx^o$ak0K zZhkZS-6Cf|Fo8|auj%p=-USth;4TtoK#cgV8m3^mOW27FX{hGik%alnk|c-luAq}2 z`XA*hADj_=7E(XzJt(dzveb=WGN`QxEG}jkzw-lmB&CA>C4t&rSVo*uL7D45C+`EWmtvGbA_4bDhr zI>x_Pesw**ezgLTU#kPVnqCW+JN91+IS({%Zq;dehC-LQYliIbud!1SMl(no?{6aq z-MwX`(+io+&j1PrT3Qa3e00;-J4aRu8>d$BbF&i~tWxImZAd_J2vO9fba_iBTFMHQ zTC^G`=GQA%G~MYCh=em|iMHXK$@qMLY2*M(SXvvblvE5& zHeTMf4QAHnqLpia1m;*DO2}fpmPNN$`QeR8qNKX9Vprrom+5{+EgxsGHXve@xIzRl zxKin+-(C(re`eZfvDPjf?AkmU9Z^+PyKH?{s-cBT8_;C4Rc#CbdVCoo7nzY6`Pgxqo=}P;F4csa-$!p?uhfWE2q)#9hHk3@I=Je9y`#2JH?O5w}=5E`lJj#TXgAqoO~R1?;ScU6E3B_7rGM^+Jd+=Tv5m|xNq}@ zINX_oFgN-Sub#ex$j`qsfgAH6zkZiRZ{Oo?7!&@^M_q^>S~MpY#vCF|<}koYlBCT} z$3h;U0IR-K6gM5SOO!U|rpcQdU5BqU4*P+O1;*)sqLqNNbF%I>0VK_`8(9p150eDIM$9=2lrLz_r*$ zequX2ZTUL^*|Mm$Xb=T6VeLc&(|cIWzedJr_FNdeE1KtI`hyeGJL~kSb|s-kGd_Ps z8Z+WHaDP}&10=LA@L-Z{5z~TV9g9pjsuN2nX{=ftma|T9GSh5se;zm%TdhA;&YE3d0H&-MvOw@D|mN~JrVbyDHox3!-#v41rD6-bR4+;be6oW zmp^M>1}g2GL+$3W(Y=U~4UKe50Uk(^C=I!84TB0IA+CHp%JLY(+SOENVo8{2535Qr z*hL64UgJVQ2#StorN$ix?_V12*s!g*UMZ_T=ANy&=Q$|%chk2dp`z*VBpn&4FY*od-$J9{@e*!YQiAjfJdW%TZ$F!G!3~qqjI~nP9N5M|c z2-L7Jcw6fIo54p>nUmK3i;{?nY)A}K(_MV<8W+bm0(oE9K)M(wyUz;izw2!paZ8); z!dG+g#)I$=Ss_V$qn_uK9NC7MQiKu&=!uj+h~X)^m57!^Y>THll6V`jcmjs?qKE;YVf_2Bak?p37&O@g{0&1%n*iSl9a5wHXRG8nlu^FjjME$rp09E)<1-wRPsp z(mj}mh#lSKGv!#fczjtF0)hQJ=;yuO=YDmo4I>^Wv)N{qkZEaq_IZN}OK-A5p6M*L z<&TM#C00DB=Vd7we4rrxLse;%W&RP|65P1U4rh(o>1KX<6?7OE$knhxZJ*Pr$-$3u zxgBbW5dek-N=`b71{@W_nH$e=Li!m5cPrFf(clTHFWCbxV#U10XLH&`X$8SuT_@?f5f$6q()L#-)bC3+;Y$|KG)oqc4s(fjP7&HoJ5nvt+i{1q#3m*L zU`4ev8F=YRV{-<;$G;c0Q}{>Zvrd<*iaILVD>~feuj3^;tj3aQ$08z;TC66LYiTjZ zY={lPCKNVoG?R^JS>bveP-;_vhE+c6@XZ#}->5<0X3zZ?R-Xp%;=E z{r3&wH!49ifhcG=Kxq=gZ*Id{~R_x9~*z z49s ztr6}CC+_rV>Jf%R%>;A@wyfQm+*VH7N9aMfd0GCCWRhQ@|3D+;>B2}%rk?o1Y`l_C zZ#1MQ6K%NN4vT(t_nfA0_-(E zoZl@pgQGtYr653$$x7`-nhXf&2NS;Q_z%u3IDB{zt{_$>Y)tQcdXs%FZwBW|va{H4 zZ(P*BWWRz)pT3TfzqxObzuv9L-}hU{zxGV&WjB2eJFEs;$iBF5X(~*^geE`7!c_I2 zxi3|WDm%3Rcd0d*1%D9H2M3lU6(0^^OdpVG41Zo z1yj*LCgfq^#w4hzM_|`&60A#>(sacWwuQKJ=l1aN^w+r5Kc?BRdj2>QGP1J0*BZM7!WSyLKYP z>e5s@)TlR49o0T&JJi))Wj*otIDkOgGYmYe8pT6n>~1gLK7Ik@qJX?t!dyNtW zZM4Qs_&+<|Mg7#=J7U;-1WIOR#8cySXSP^LcwSg7M&iw(q*7FrV}&FHW7Sr|<|9qU zh_PY4#+v)|XE5>fB<@SRVtK9;`RE~@IWJ1edNpaH;Gmi}snv>u_B||p2@dKdpGLVQx5N=$u zzxE({z7Lj?&Q+v!UY^?h9vi|{zWjOY&Pz6U?{^1rPKDoHp1t>iKI-S2>%z3Hu4r9o z0bC;^f$d-(s#YCv>|OSEEBn_3Uzxj%9 zlG&rp)Sm9U=-d|2PS$$nA~bmu#3M9$eMHhg>VjHBzp#6Py~@ih1j+#?_KJ;d>@;dMUjbw~K77@1!Cif=Qjwk94H{ z`#_wdDa1fME=f(1 z7lt`io0c&OBhqgWc)0d6Tj+Jz@T_U4%l>9=ngzQi^`wWY<58&Q`!m3Hn=I?b>oX1n zftkjLugiT0!q($G;@e|?=gOFG4xG2$du+7+xQa9`yBrL`1pK><{(T^$>)*KA)Jo&Z z(q(Dq{^(Vm>0eQwfVefB8zLEBILCTO5fgaHBTm|W{h^y_AGTl@HO9{Sov=LtA4$)j zzEK4}2sHS>zwq)56RV6N(=S+lQ2hA%g$ImHM`S$Lf091VRR-T`lAC=-=C6=NX#!c= zqqi*)bo9@#n{FGndIY^}Uf>o$ZU!afb-9#UMH_S1B!ari7(`4BAgig9u8epF z5YXR1?NIhoq4$+tg{kZ~U0W1(_q4{vok72a;JM-@?4~)Y6C+%-Pt{@dRd6~<$Lvwj z72_-k$Sdf7WH2}`w!ZcMlO?EplA()RKd~j~*0%x`{9zxb$`y6~t7MHq3~FO3>RXnW z^nOSLjz(jV06*vBHBJo#p*Z>iOG0uVYM3(7F35F-5OD>UY^B0tE`Q4K9-ZJkt%1T8 z{Ck9j_WGj%!w2Z0-9Hc#RP(6)`fq0rHs72c2C6eXrKQ5JfmCf^f{d^FOZ8MUk!81O zOp9qugx*t{v1-f>P9`nuJdPddS#9RiS!dQvyy#z^ABZe9^AdR~1k(m$UZhWEM{}!V z;|q1B)IN#N3PqOcsi?V}cf_N=4nZXgEr5B&mVe6`6fmmFv(I#p^I24TTLI#cyLb4JhVPjGP{q-b{K_zv4KjF*c*!! zl{!d+ym=6ds8Hpr^}nj?Q6Qp+Ht>JIl44Mt*_Dyj6pg%EDr|?Ns8%PPA32WW)2Cp~ z3W-X?2S0)ZutOCOM9Pi>_dgRgI|`_MVjxLp5^CMsz?FhDkBubGFWXelGSmdW4A^RWMc7@~ovf33i( zN}beBg;A2*xcFlwp_~N%%b%@%M%~*4b%;^9raS!Ul_nL3okucyb8(;pHe!o^8S4@r z6DPKU%0_h`gIr13je8q&BuE|On1mW7FWIaQH%d63P(vlaTvWfj3}iwG2E8%aq^dA( zNS%M@{)~F|n4NliCIJc>xQC=6-nMJ!?q-Mz2MrbFwX^#5l0Yr0aeV1&PhDZz{aM`g z3XuHPpD($T(D;kC7gFxb-Zwq)JycfjzNp>d>1Y#paF`JM2Rd^~s8NmQC6Jilio zp)-FzOxi@5!fJ7^<1k@awhw50h|Dm*O7uwZ$kC*cl7EUbTE=BzinCRl+j5HsgT9x8 z^mPpi?3Ip&|0i)d{?Q2~*z>c$z}yEHy>=cg-=c_CZ2ktvs8y!+HyuW*?9jX*=1h*k zZr0WeeC@pyjZuU;7cvHx7>WkLw)jzjE2AJ=0W2#FK|5w%hQ1EsP>Rq^p{_4^Lu|qdgRnQ{zO;A#`tbVIk*X7~%w7Wm(P(ZHnxgW#z{A`!K z@V>wwcIG3?!uVbo+2H&7j0@wF>AVqnIxSiDI!wdQbbG_B^|vI`MV|KC3ccqE{*0E& zW;4N@Y@X04t%J-FF+=lHG?LUQIqPD3O+{D&V%dZuvopp5xC+GQraIkZ(C^m8JDuGr za*7CRvPd3hxSyH-RYp&*G(NJp$m28!J=FC7an8*PnN~5^P&QFsxxd}^9M6Q-h3sP_ zqbN6CD{Hl}?qSQ`7i(OjNB<@f2-wwUtLPMldAZ zDk5uXjQ7)uq^j#)gVC1vkoIUq2rU0qHlZ}C#<(TjfaCoHY;XJ! zP8M6Hdm)`ZKde$t|6p0h{;d7|lTjiRbt@GHbm`prcsat_GB($V!^i8#=SOCStR@N; z!twVlzHa8r{f+I_%i9bze#}?|kf^VPCmmu43 zT(j{b-_4Y$EpX3R<|8<0`f_87u6C)UK$_9!|mDP!?J#0Auxb` zNC&PP>&@`crA}3xI2Z<|V!u>Wby&WH)AYXR?Ba&VJG(vJRwX4wBjG%$v0d3~>Gu3a z^TJ=%(9M6P>Xl!yJr??I8M0yjKTKOpBL;m-Pya&FcYw_V3pPV08sl&r zhKj56e`8_g2@@a&%j8%RL&v7X1M^yQU6xCTdf_Ufu;(GLm*Xc*Q|O&$s!37Y3@!$6 zc?B11X`!3t4m!?pGvDeRz%}}98|6`IQ_@UkcAvi1UCwy9E|gfpN1ew+U4Dgx)bw2W zZFB=xHW0Q)0=a4|_PcCpfgpSzUwk~D`v|fH);dtlZ9f3Ucm#A(p%Ew!W8B_Zv$ReV z=bM=NA-L<|V9? zOj$627?B_PK*!SX)jx1?Wy~%lMgEc!bp;kQ%LIjtXCb zSQ1PzhAD1hey~mCqlreAePWeN&AsI2QX0%E*-H2?X6!dMt7*OaU8Pg`XiGoSWrQ=S za0pK4GYCebCM9@KdhQB8;&gz?qS&SabFJWX4UBey(lvwRWxB$?{JMPuXXpNyS+& zrw1XIi>2HV)xCvIT;GO(hS_%)9>TVv&MoS?xx;Mze0J=QiMOia& zPIJ%64OQIk2{o+j7uA^tl3HIrDBsdg>3_&YH_5R{&yjYtsJ?+iah(LDzfG`lIDCD^ z|C%k^`fk0uS&e4Fw+4N_eDr9?f9ro~`T%*ax&By7LjDtXf!KTVm4K+ zg$xm4_p5zWnkt$qHX9R-Xsh)U(8!Lt-=y22-J!>il^vs>02-5%qmK*S@xJoj&r{zO zR-%mW=5mPW#NzgkjVYSIF)j3mU;txr^7rkM#WP)VTzg#kxk z#9Thr4KvIq;%G(Lqx^#Hqhzn4ll>vK<^6J_f9o>C`|g~r_VpA&K<10SNAHW?!f$^> zxJkNz(n*4TSwFX*xD&6q0Ur?yOOzzV1*>>1#>G17FZ;=M3Kv44*+CQa$UQ`46!Dv3 zLHOM7Jdg((-|nQ3NNOvK52ds;g;62UkUt+r1VHEnqh%kOPr`{dN-bPA$tc;Tu|^z8 zNe|rvVDH)2BaL=2O{?gulhdheuFy6}Ij}HI@hoUnZCCYPza_o}8&Myz&Gd2ZJROIj z2q%Fgy0&9CUIQbqpHMyq1ZK*F5QH1YBgK=5{B#X%t@xXWBZF>+D1#Woq$`muEa8LN zaYG|Z&ZotMws#F4aN4Ytv@vgB6QKU@@AfCUz!@uA-ms$K*aE-;{a{XJx|H;XI?)!XYHaBhuAZ8& zXU@-q_#S)rW)qnc7ak4s+*P|V!4Tc_D@K3hu#7w$>&MTMY{-K>psX1j`~kly9w!b! zlS_bMy|?%meb^)_w2)<<9I@9f^ck|e=gTt$vZ(#?mT_TtF&eqqcc|=7b99b5uyQp3 z1{DT60x?`Ml8IAf5(BvyyvG9@^2VAXUykc8+36scY&{5a$H@CjKZ1-Fh{J>aYzK_l z$j(%X#gJ0%}b$U;+9_hO8#0I?AlQIXoHKnZS=9zbaQSY>_e&Cj_bUhsm+jB z+i?XrANNT5u_~t5d;YA(#nKy>j3V#WfbOUPaqO(xIeYA=qpC5<^^?G;=nbi}Pi zf-cr|(}KEhw5qie->9dJliaDg1}?Xs*q1GHZ1H%m>j>iF~*; zC6mmpIV9o!-!6QC)EBpK1s;?l1({7-Yu~hR<(P&mA$jW7)b(HbWIvYxjTcv-l5&z^ zT9Qx}lztnepQ{S~T0NjgVo0URW0=yewNrsfA+r36e>u9V2Q3N*6=q0_-QkNQ$5%0< z_1{A259P#R3JdS)<>wO#f&IlJuhaU9D0GE_hwfN6&sgpqjTh`4S8|Bq{fTF+$YCgZ ztMd_CPf?$)yxYr}>Q5Eg1G#h9*nJ*9ylVDz>;Z%{Ba6t;$sycdpfIIw$%Ympg4bsn zg(%Wt0p&*UY@nNt(Sm`rFwwsVa!y<@%pWy2z4XWQ@o2Y2PqI)Pj40a-UCi-IKgXZ8 zawtD$pL-ro^5Ube@!#GDRG+Kb-Qv`~%9<_NbiMX(3l2~}(BEscAId_8`3Csxx120_ zpTll*G~{P$_^SslR8gEDNc#{E@t315dr-V_x#>F*0ih@OC?Gb^78eccX(!ZkW2L1X zg4=TJKjaY{1C>P{-8&Zq@oS{-y4q&R)1Hz=Dd)o!77vPDN2G6~xzMj$#dq2w%0NkL zDC?we;WK;8$r@0ZCO(7fEGMN2lQQ~ZI%vb+SfcA>A3PKB!?*Eye)FKB7W~ppL2s@_ zZ=S_y{-|a!KVgG^|2!T(nh53|7a@$we&tyibfa!&AEQ zM`Nj0q%@IE^s$J2uYlHpaDNCEMSxPI4QQssWJCYlz64jhmL{%xN`;OliW*8by7jUO zxJqzF0d`T8L&!4j3A~H2iv-sZueGV3X)Aqu$k72U zO+Y9({X&%7XyPG=2BWwUP|7Tz-UZqR*W!w$&O?55KZ(-zk8T#&c6-lVm6w_!6vm!( zmz=yb@Z6vUk?yugYl zg+xx?W>`t5u(OS!j|xn>K;@8w`sbATV?J+TA`u%~v^mb7*R6%v!prhA@aIMk&hE;r z;?%c-qX(HX#cdkvWD&rkL-zy6ei#jj&TQhF*5f4l`U3_= z_q!veliU6ZTlS*oGEAuD%Eup}K0M|!`(@~bspp+brFRkkYd7Q@$i?@<3v2!@tU~ik z39R+k6SsMudGWt0Lpj$3yk8-SLs$xnvp09AHssl{~jkG#aEA7NV`(O=Y zEp_#3eQ(TyiX-QiZkI^e1N-Q^WI zed8LnUtBBNF)%@g4HzX2qBIF!ss=AN2B>_9>}Mt|vQl`W%$KR1hcbZfemoYnqm;k@ zprz)Wux?^YK1NAI!nbb6H}2!?wxN=@DkEVs%nUCAF~)IuO=7k5lWw4`HD5qm-EMXD zi(*Cft;z>$?ni~mw_1nRwDGGt>tB;xSvIqu+F|fAkGg;BN}c0czIF;2wd@9 zL}Cm@od^!P7vwIErvC7UV|d5c0L(OR%vj-jyuQKV=Uje|U!8Y9EzQLRAgiBdxac@7 zX(!}(+3jD(RBAAPHQ&rKmH6CzAas8t&sMZJ;CwUZ4$ou;rcqn?OChU=snOG+at+b$ zm!8Ca(yftJ2=r7s_(!yvw{wV8cWw-64Y|jHy&CikIrOkVc}q5aTxY{gyq@@ozgidf z2`F$+Q8OYLz-uzEp{d!wIY8AlXgmk$dqzRGZSIyVy#|BJyl;EccVW)*OtvGB%v%4j z?eo$~wY^8X$QB$FKflafvi-b!Z-}UQ?R`(7Y1;?M`&IYhr%fBttx;!iTfBD*oPDFu z_LOFa84S32z;cviyo-^YLtC6<&MO-vC|nG`BVUWK6X{%Z-E@!4#>`H;=VhsMZ#ETQ)6Qh4 z+{D}l@AZa+l0wFN6!EGXHy;fmDC$BLB1)N&XiYFlBxv#%iS7u;Wx$}ZSX-&axx+D5 zChmowFFx4mQqV@q&HE^u*_ZJ;Sf5-k)=~%1sUzWrb)v(9>S9J-R@r`vy7}5^M2H2| zwgz8!m|egga1=9ovfMA`$+c!LQ!v-`WY?`>-@o6#ei&sdGB*#)AziAfaQSvBH*465$ zNv;_RN>QM*c=;ybZD)kbb&2c6BeI9(D$8JH&0LoBDuni8{+$zj$qlu$iP~+np++GC@rg%R6)EL7VkY-=$D_1SMDHM3zbi!v`Z|r@c!iY28O! zI!MnWQ8NyzWG^2CRV_U#*ij8CBRdG_k4jT!+wo*FT>z#YTx7TRM&1M%((GvKWbxKVc?bV$126Xuk*pSeBz zL`Ls!<$)g#eZ$RvXIf87}nuYOyC9@n2?^f=Y&x^fO}6nun71>dinwdf7!%5W}g7 ze;(SCw0JQHvU0{pP!OZYi#kx7AxdZnGvq799VH+-Q}q*B+Xsqa1dP4Bvh$(z@OcyP zVxrrpME-=10fUa&T;qWS~!?1SJ^e_aQ@vGyhSA1X$#$gX{4I{ zBWQq@YXcZ{^Bjr)cCv}8>g4_5-0i0#zTespO(FNPE&0S`xZgb{(euU1wnY~ajI^g! zpWNUES6#-V+{x4BZ)0YMY;&)3%cwdP^7?L6uS~_x@=SU5+WF!1Pks-#S4idg*)D~l$eIW zxWq=;ebQWo`sot2y7v}7LH3-8k>QS!j)OTz(~c-(a|#ByUfcZc~FHpb17t#BlCN(+~)G z;;l+yi@ai}1tp|kU2}9eN^}MgO8&wJE}7-_YwwlG0X>c@?mM5~wvznD^(0%VXHhT4 zC&26bthRMVY@BMo1O91TZ&d>VS^-|WYodvPx+1Z;)yqf5Ba0rAWyHBCO2?*5P18_ zV{8M4qemKweXs>z=__d=-c9zZ6fcVhM907V`Bx$D;A1_}!=3F+OxSR^kz5yWE}A;yKK5M=YmtyKeyFgRF@j*;V)cZzo`TzPGep@!v!}< z7O~yZpbh`Bc*=_Z5Dv)gv4z%_-&#ewO_96`%i8fSD{rkmO9>%=%a8zW##ZO7zJ;o& zr?2i!pi_@r<956TZ+%3!^t`{sSIfY6quuW8-(3IhL&qPH&Br{sYZbrGO!@W~huQq| zB}7KMJ}#z}_}whdmHQDvc6s>bV63%?^97fX+{Q&3B3@yk)Q%ls_wg&{LO%hV6ouPh zo*M}JHC6~#&Hh52fM#t>GL7tz))?RzEch?`_;|dv)oj=PU-q$Ff1&b-cAm5x6Ec|8 z(2$R8BWNRiYGYQA#s z2MB~%uNb~uz{Z_`HW@Fb*-|T-6-btO`ktf-p9{|rxwFpGX?|-rH*+_i<5|+g*m0^( zOzj;z-1}-wSReec)0%>F0J-5BzdQ;)8CPJ(2FK#_*mX~qm<;BU*5dO#*MiX6fS!qQ zAO>z5Mev=o+%$1tX;*`l$MfPp!V9{q=`?Wv!HvEJAz)CzK z0s*ZyQ-7%+pxP3OfZ(Ams zjP}M5cLkA?m_?1E@>Snmi0GeNlCvB~V`Q}wb!Og$;-pX*ZDgy7+vHJ9) zZJByG_;sQVhneuttbf2tEj41fKYjm`4EXF0dHkkS>p_7~Y-o&(t%Vqe|G{U6*V5~< zjI%(q|4HybE=k)smt}1S*2W>|*bp4cEag&9B9wK*!Qy}YpAWbd*d(+F^isPc$lQbHYGQ)LB9}U zA09i;#o%O~r4GsoMFNgX7^wn8-SGYtVR>|Lh3FLE(S)@h)XX4i*h<>k5PCi<>eA{+ zr}SCu+ak<)9b4&89iUHGlb&*3ToP4-cQX|h)JEZwjA5o{;I#%HY(kS(da#&et>_f8 znaIhy@2(MA&~i%OT0)0Z12DTid|3>-SQn%Hfmzr(7>c`F9U=s(n$ zyTE8(SMS*$FCX6U88jq;SHl(>O*S_p5kW{%mK8H1WTdau-j`y!hkg%pYntKY0z;&- zOd5UD=Vlv0I0_%^6w#*3?|ba%9B|I^>JZX3R_A|t{kvhVh6G;YXXk~$cj-wb4KL5< zHqt5Hso_4Wnc7=O)72Aw=XCCmsmD0y>3K($(~0xavj{-q(0fFVXf>wB9Is7vjMc!f9D1PfD4r=`ecc#Z73XXVc4(${SM>WIg7f5k& zpK63;E!mOzo#~}Av`YE)%OQZ2ti1uktv%4k0gpB-`fJX2EbY`85Xt@G^Ju4npX+-1>!qE?{-Qji4%iYripqJW534FO3wOh5$1azvz7 z6r~FLLRY-HlYjDl?|tvP-uIh7W|FT!+p@dw@?lX=xKnY2Icxr-?mUydl2ezmR6)rq zvl0%zqfYPKxx|1fuSGw45Wfv1Oiv&Wf?ed1dOp3%J{n&VM+X1{T!t zO_Lu9@2}X3JlA67@{e?^O?mB*EfyX*zptz>HpJEOTGH|n+0yBZtGgGDuT=Zb5qBLw z5R~#&W}7|pV61FStMKQtAzp~eY?p;g1$S!eRl6C<}Ir?b7U%|w3vouu2 zw;-#UE>=%mx2~S@;9NU@U%`sO#o%MbS31_?YZeX} z2gDiPm8?ylm2bO#wG5tY!Q;HaY(7!_wYN;;=!>qJFKCwEE_t?UH?*D1~sj zUgGkY@wWcl`sSA0euK%r4DsNR$lb@DayAF5J@>Vq_q%A;%{2ecH~UzNZu(B-8JE_a zZ(Y{)Ysl&w#`;f`-y7U5tq~~a)+xBd21(gf+A%DNxO?ZmR{QGuBCd$uojuydj15XP zoa{+HQ0CSf|s<0*Ls!AywklgIaSY~{f|mR8<-f=`t_IQClAc6+p!LT%~)OKH}Lq$iII~^ zA}(b#a-nA-soN;PTG-xn>hqNb6h)`Gd2X4SFk*!*_a@37+qNv`=6BRLT4=vXvUp*a zuduN5nDZIjYZXMWylI!BwIlA-y<2{3tBe&JMQz`?F5^Z^ckY{pWCsp@9}*YQ`k9C; zgi_WousYdow>f2bM>_`>IQGkvTZ^#CN{cFdN=;{<*TNH*J8k-{uC3efG+I&G+9)3*#Z(%#ND zc#_aK;ihIKTiI$2)OE)s*IfPKSekb1Zh7DCI3e=g4J}Gx$~C>MQ#b7r3`U4VqRwZA zI+M8An^AKWvAV<37uwu)6*qzlI+%_Zr=IGLeB+Osr}!a7nxUBBY_93Y^v{$!+Oo&W zyWe=lpJ_uosk|UGh^;%QzuB{VY~^EVSYtr)3W_OCTTkhpwt9}6V3q!X!-mmqw)0cZ z<8YS8=eW(M_W5M{)bc!r=kVl57ksa1KWNd76HlEaua@6T#^)hLsf!Y)3hH^S<43%; zvagc+E|IoYR^N(`ZvD0K9x*!xw`sq#)f+2@UY7NtJ)s=d;?$6cz%1d5yEwB{S$gW+ zA9iRb?$xV&-L)eA_fGjwVhPFrQhiB*mteHLOZ0OwE0ao6tj{v*zkJ5q|9-8cFz%kW z!4{Eeb@`~gJ5%k*_no}mDZx5oo^^zpWigr0Uo5JNe4gc2E)$kl^M^|#rQY4{LtFbU zN}|rsEr$;77*<6Y=$n>>@Sj|}?M@SK;3p`GjLOTryQ19GQdXCQeOj6?UlZr(a#Ph= zn8##}Q`KgjKZ{Wt@Y`6Gq*L<9;LaBC7)w%JmG5?;h*sQhJH`w4u0E6%;*GBx%bPOh z`zt!yYR_Qhz4H1HFT}@3u4@tMU0JFOBH*e;ZZ7JPkT@^JNYOIcxGS?=Zgsu6w_Ffh zwDpePlGhu2yH&l(O`fV=iA39}jD5l&G$Q?+V3c>RGuzCYdF&rjrYb*%^Obp<)5$9l ze3_l`t&liX>eru}`*$hLJ2EkuV_Dugr@eRmq9p{&8_@OjE10@Fe9oWhmb(5nRnzoJ zur|Eni8!mm?#t`=xT}NvldjSZ6!%T&U!C7y5v*Q1O${|1!xHaHb*9BK9ep)x3`?5k z1}3E`V@Zau{p?=WrT!L6>_1%nD%Pui*o%FbIff2M4U3`kUHj;ljmSV z9-V|3Kap-b{CKTo$%1PaA8gru;HBkDUcB5Q@6DZusHhW-inoA-|F$8I=og)4dg3Rh zwLG-+D?V)uPe%W$GrTPp5dhx35(&aVTXxXf-HFY|Ad*#hFq`M-3LqYv8v&UTNLCR6 zSeOW6z*G|o4KW3XMp6S&$Yc`+*%StS-CaZ&-yJfgn$Q_^Q-n?+*|3H7STHw81kuQ- z2?Eop3&O;DBnJ-gJ6N=526ovK0lany3lu=+<|Jo~8w@(v?}64@ zaRj@te-TLA!#P-Za2OX_`&JBqE|EeZ594dX2U}VaNFERihFCNz49tfi3XNt$M<_7j z3o#&s2B9cw!eCIyU_b|}C=?SiN@HkTg&~v-gS8;sA4<-Qs8rO1Or;>E5FJ5GU=UX_ zz-e!He{Wxa&h9#^%@?9lArz>eRe{nWlmXDU+tPs1R2cRJ*@bA-_a{(@MVZ|ZhQK1| z-FVg-UkF$POngke5JEvLEg_IBjLj!R=lC9%h9$v&+cYsnASpKKkkkM9 zh4mJD!-^rB!Z%vG7MB$6+VF70%RjP+$G24L3^g~`twN5JPP*!k?iqiAQ^pUTMsGLL zdvbKXO(;Woh8N^=(td%mCS#LT&$fb;di36vLy6CZ3^|*}*3_Gw?Vr1SLrerA2lc3* zEX}$ilc~NOYK&f0RXISY?HiY?x+M5j`8?mUqg~&6<7NKW2RR7~1{Ovd;^!6cjV^Th zBrMzQX+&yapVUpA%xrat93Bv>&zsHf*uCMw7s1<47|uT<%0Cp8ej?{+rM9!(#nDw0 zK0V@zx>e-|ABUwoCGKstci7f==<&RHC6~sxSsnk1rOFxz-eSajJ)lomH5Ry{=bPV7 ziNKqmB@w?j51nOItc>^0oxX2AcvCnay9odNvM&ATo~5cQ59{wXwv@hlH7~=dnEol_ z{GVc+Eip}P0Rs4oD%=zXQl%-H*;+HUf6F)=HmH73nGq0+tkK{MPJpYxEi71*U1%oz z?=eDjI2K3%{J|gq8u{M^p;RhDg#w{jOv59Z3krLSF-*zegnfv?WGX1Lk1+-)st+&( zrPBe|et^L+1r*PR7$7(J6TL9t){oY~43zq@4wylMKheRUePSO%rO`ou^%XdL4MC>Q8*j$b-1P^U4mmkmcVVmSs)MrUe{z0 f+!HkXsbMEg>LNt!aM4WSXs{_lBN!QN+HUt>HpM0R literal 0 HcmV?d00001 diff --git a/chapters/3_rewriting.tex b/chapters/3_rewriting.tex index 05ade69..6aa71f3 100644 --- a/chapters/3_rewriting.tex +++ b/chapters/3_rewriting.tex @@ -34,12 +34,13 @@ tool chain allows us to: functional definitions \end{itemize} -The new architecture is shown in \Cref{sfig:4-newarch}. A constraint model is -first compiled to byte code (called \microzinc{}), independent of the data. The -byte code is interpreted with the data to produce \nanozinc\ code, an extension -of the existing \flatzinc\ format. The interpreter can even be made incremental: -in \cref{ch:incremental} we discuss how in meta optimisation, no recompilation -is required. +The new architecture is shown in \Cref{fig:rew-comp}. A constraint model is +first compiled into a smaller constraint language called \microzinc{}, +independent of the data. After the \microzinc{} is transformed into a byte code, +it is interpreted with the data to produce \nanozinc\ code, an extension of the +existing \flatzinc\ format. The interpreter can even be made incremental: in +\cref{ch:incremental} we discuss how in meta optimisation, no recompilation is +required. We have developed a prototype of this tool chain, and present experimental validation of these advantages. The prototype is still very experimental, but @@ -54,21 +55,11 @@ representation, and in \cref{sec:4-experiments} we report on the experimental results of the prototype implementation. Finally, \Cref{sec:4-conclusion} presents our conclusions. -\begin{figure}[ht] +\begin{figure} \centering - \begin{subfigure}[b]{.45\columnwidth} - \centering - \includegraphics[width=\columnwidth]{assets/img/4_old_process} - \caption{\label{sfig:4-oldarch}} - \end{subfigure}% - \hspace{0.05\columnwidth}% - \begin{subfigure}[b]{.50\columnwidth} - \centering - \includegraphics[width=\columnwidth]{assets/img/4_new_process} - \caption{\label{sfig:4-newarch}} - \end{subfigure} - \caption{\label{fig:4-arch} (a) Current \minizinc\ architecture, and (b) new - \minizinc\ architecture} + \includegraphics[width=\linewidth]{assets/img/rew_compilation_structure} + \caption{\label{fig:rew-comp} The proposed process for the compilation of + \minizinc\ instances.} \end{figure}