From f4d96d4143ce9c55a429e5fa9d466a12327945ec Mon Sep 17 00:00:00 2001 From: Tibo De Peuter Date: Mon, 12 May 2025 19:39:30 +0200 Subject: [PATCH] Voorlopige indiening 2 --- documentatie/verslag.pdf | Bin 170370 -> 170611 bytes documentatie/verslag.tex | 14 ++++++-------- 2 files changed, 6 insertions(+), 8 deletions(-) diff --git a/documentatie/verslag.pdf b/documentatie/verslag.pdf index 94c7a8e946b9d4d50a8d3e762f557bdab32b3990..ff52db2ae24c326238bfa2ef9917deed5b75c714 100644 GIT binary patch delta 37653 zcmV)GK)%0%vkLRH3b3CG12Z%@ld(xCf6ZD+v)jfIzWZ137P3l&F@wRDs+23TWXGz{!A2-AP?6lcx!)v#mqyVhj+G~aWb-E9{Jafzdm&`Fef_wL1lgYN^`(E<|KbbPcD&xT+3jIH6$)A^OyYD$pBxX}X|GPBd)Vs=?VY%>FY@cha&Ez89wvyp?)N#`Ko(f97+3-iIpL zzJjd-Atsc=R-yGhGEC5EO_!k|J{{^h_@9_2{ZrIGZn<)!VXT2DD z&{@ut%q2DwI4Tn0tPjG*C;JbHitoud-c0(3xH$ysZgSji zICOp455{bmo|DsTXq2RVZL??b^g}Q9!-aSbM__Tiq^aZ1NYmg+f02|)%yQNk3D4hC zpR+UA$a$irF+NXdj7=t+P^p(h@e0{)sHRE2szJkwVEe%Sp|wbosd<=6or*mLmWw6n zWs|?>TX{<0!nnE!Hf^z4^xWZ%w;h=1?*9FZ5DQt2q!&kOVOeAvZSzvo(a5Tf6j`zs z=dckZ8j;!ac6%jLe<1i(Ge6-nLM3y4URo0Hqt1s`lVzV+PPFO|x_#K8(pNck^i6M! zGkF1a7D!~3$t?Izv&=ROPLE;x}c0Om+f4m|ORh(`Q*%4WA0xwDr zJMtQ4u+FlU<|FO#|9+^CeaVfS9#S`2Wm(_#+(0Kp!$aAVk0OH)9t`9z6w2*m-@jxX zsoB&3v-GeACSKsn75x*Q@Mrq>i!Xg^Wz4>4PH=A!qBL0=s1%*Z0~_FiI-Dm0XHQfC zIgbL6b3+!Ke=-%{l&BP>>GtgaLR=b3U=vVJdCX`E(1Mq9)Bs{AAO=a-W)Hmg)A`*E za6!>;bvIOfma)3bv?m}SfLCm3I47Hj7chIqTMMYNte)zWT3`qqLH2p}M1Hsc0k14= z9!8K>@-ap|?`ZK8P-CcTnyA?Ewq?cupt37~_Sa06e{=5a172W94qR;4&mUN~?pCj# ztEoW%GL!^X_v+z%(CuT^b~EjQIsRt+A)7qyA)Ea9b6ygkZo-*AK??c;=H(XjqBvxI z)9yP4cu2#eap&5h3m~79P^1tPF2=*mW{-L3AZehn(2}3 z?5nQsf9W3n`~u(L1j%p98xe&O)M0&O4VG#Kkf(22Im_yzE#HDHojN>S&&xEhAiPxB z*Txvctq~Y^9=b@#g+XS_Py_ZkgMA^6%%TuRkh$)&vYOGj164U$(?W10P)7)01N`6=qUnxg zthM%*!N`bZ)T?iU&euftHAOsxypiReVMKr>|3xZ^3K$cRsPeM;b!BX}l%ifnm|Fp=l z#2M(VA~;h|4>Q%LuENNIi4U=vRekw3f2U`y*Tb^V3rARVXMExRgpuz-0TFu6fsz5_ zf4y9)Qs;0v#KkKY6hQ*`-0j}$b|~nyhMyVuH`4yasUskG=q&aGr7zZpP|=SZTc;TX zL%u?Ds1(EzfSh11HSBS<4f+irmjuZ7GBObCYU~^Y+SmhH!LRf*AveJg^k?^le@1Vr z5rSifjf6B$n5tt$ms1G6T#%-ZNX#$(5Tilfv^q`wV(PNHG(0- zf?~84Q|~|XPOwJT-y)pmQZ-#?2x4YA6vFEpdL3GQ`sfDaK0nQb+tk{3;0`F5&JO5L z$d7$Yv8GuyUu=J{DK+1x;{xU!f2I@8vdl*XLT5z`f1CDqLrB4g z5E4Y5e(dnui|1Z31S9JLwyZ7w7?(5ICi$COF0!lq#q*wZQ2CJvRw%cHel{Ez(l~ft zhZ8iv7b`w^Lj`VF1*0PcTo9PZ5Q65ex3)TjU_#98+B+Mip*@w6&H7=ke;Lezv6(Wu z!OG80JV?)%PGZ2O>i&-*%HU3u-$p>BaQWBnp}g<^7?IlSe&A#@ry(hymZQM<$@W#r z{H`FNV1eix8><;XIImzpa3Ee7I{O69x;&S?L4D}8!-ODVQ}<HcgMcU}NU{e_og_V%jl9*0I4N z+z4SCz_T+wJy8!!BF|48;ys|iVpcN5cyZ-2p(#a8lGn7juAfXJS9YUpLU{oaPu(;&8dyQn7&JZWakIp;pb-{zewzePf53nPL~J1>kdj1N>e zhwFijMr;xU+Aayme@#vQ2-kOFyNDa?C?L8WhLtGcSXteJ7o&s>Y)Oee6TxwfgPK=* z2*o>&V#UpTr?#dn41QRGSA**7p4I;YeySWV%9Lt8IoF2oQEej`1&BpSBiXM^+D344H_rU+?5fuiT606Bk}QDkPe6?egfd5D*$uITCF%lxpUd(k5>C_`L{e@Ds7AFHq#;| zQ4=(#F^rhRFj(BZiD6vnR=AowH}6eW`G_tdtH5QHJu{dB%&awwO{>xb9hWqpC?{tU zLn0vjbND2ce+{4JS+fo~uLRv5re`fBu;4Vu9_)6-{mfQOZ^bZLajFscYf>ORHGcf( zH+x46ctlrg&Fx!Wu;j{QdJ3tKyM*>FY^P)g144&34}N1(qC(XECkoOL^@V*O(K(>Ah^^p zS$-QZrh}E@s+KY-L5Kv}!H9zCvpmJoLgyOOq@dAU1BxZxN^y?EtVOC~iZ{)WqvRE| z65v9bfAMeFogQydCZA{}m{`h2&z=CQRGb=jpO(-_LG>>n%xlB<@ynA+=Vd`X_UjDX z>{^n%TUAcQB;%U0UYl=e=#vCL^&N_NK*gS8sPUlNU}e5 zbP5Ky>}?_5h~y0@G-8C*H9iDX;57YAX_|+^e_iTX=_=p3J!Yj7s$7u%y!uq#`I4m_ z`6@A!3=PT>DhL(28r2#Hn!3TENBkj11Oga=sssT0?OI}3M9CCjO+UklefDDTFs8Mm z)Uor{+oz$Ij8(KB^{<1jkE`ek0vVakQS_QR3ol6I1gC|e+P<_^9}Z+V ze=G-xoh;bwN??HQu2jmz+t%8AaR!}KEH`5@bCRNFvM8?gdp3~;?^d~y+|(aWk_ zeWoFQXJn-AP9LbEVs%RC4;Q)1RKSU{D&HKJOWizbRQb)%Y+wJ6ns-Fa=jDoCYVyKI z2WhV?ls3#rPBO0wc=nliBEctILmn)q?dl66kpbe6BLj+_PyucE?{G4u#RH z-ya_htB5%LB+`ipGCva#lgGIPCG#K5ANNu8G{-DD)*eIiZ?>VEpU2KFKiN2*LyKa>(A8~eG)NusYz)7oRPl+qJl&KFUC z6nlT3XOUOU7h&dA^_6{UKyTFP-8_yxRZ?T4OWm}Z8q~8gg{}{U>ZnVaXl2tdXj#m1 zKTpEMDme@MOh&*`;s-J$mY%`DC=s679}2yP#3e(oRjsk)5LW?$em74dPqoyQXzt2L z#g&2Ftqj5#Rt|;mWgd5Cz3O%gBLm@oZFNg88+}zD&5jzd^Th5P8`T{8znh1tr)yom zvob`w=I^G&4y~@&3a~43fCw(}rNk^H{5+01THyd0Bb)ZQD^%0yvepMc=$dBX-NV;` z2WY_TARm9eNaFy+cEf%4y4|wS=fDsVuaVWNUbWPujlt&~6RQ1~4Zy3qE?`@K+^%(j zT+mK}@fO-6a*XN@?06|rSZFnMv&84t6ooFkPsBELZ<&U+1EOr^3(%V#Qk%Cl2W~Km zr1vfDNncxPLF24^j%{l;G@sQ-WhX;rVi#IA@J>jS7-fmNeZP8hNd&@8(+#89*GBIw zC(tp^y|pcX>*fNO6`%uVwzV67h3_lwx7X}2@Xo64JCK7!BQs6l7!-A8>J)`0_8dW$ z%#yAjaXpy}0%&Rt>e7mg`)e0GNKXt!4tYOe&N0*xh+@Sd5L3||Hi zure_g;!Ra=!1!b)ZfPwG*&s&21gJ~uwBn}aDI1Ip6l_*JXV=H3Cq*=W*J;Nir)CNR zSvy!2%rftpQgx|R!?W-DD40>WIAJ9PFoPV1IT&2k;!E1CUZ5*6foHPakd5~TvYmw~ z*C5QQ-jlUr2W$MQlXI!9$ZMKuVwKpvvr1~|ldClRvNS&gBAO1Lqd&qLt)W;VJm$L# zC=(A!Iu8LC->iJLLpdXV!Gv5F2va}HGU^)n0;UyM(Vgd!#}`SuKs5k7R_kl?c87te zBmzYKkVFrSH-CA#_^z%%$tP?XdCGj540kFXuHG8;>adOI-sM3(zz%Ta^+ z@_ICv*6WsD*CWoMpF-_jqsUNp!yfE%ebAB49=@F9?>Ha(Z=A$`u%+COLYCbRp$Km0 zd}j>6I@x>kvmwh#Fln3R@TJdk*cf)6Iaxb)Clz=Rn02#O^B8Ree~xv7*)Q{!TWtxu z6IzKghy`Ic8o>IPnbOc3gvx583(!5$F+t%|lhZ>WI)GG*%BGCQprLN)0|g7%i76>+ zWgM{j?c1OvQh)$|V~?#hZo%j-n#mxthEiJBSfU&HlnwzR$suAna7{?3mNlYurx#a{ ziQg;dchkdwu&16Jk$FzjjVQw@;;(0%B2HFj0zPMn@$svp3z& zC5gdUdKsZc(KrIvX{c?ZHax2Xm_&nc?7r;WN|P~IcemnyFH5%fndFg_(;bAS&Yb%3 zfKM(^2jIAnD>?C}u`k03;+=+5aIik2Mi7iN9l9ra$>4}E0F$*Unv=L5f@9hT7eJcF zjel2AT?jl4!O>$O;2E70Rh{jGdE94*Fi%hrJ0@>5W#4#+w%Bm8KP0nP&lUhttKtZO z=7Q|m@V8cfL-GLRSQPfCVM!Iw{qoJ9rfbKX>=WxKr_hO;#n3`7ZA9Cv@`7k#5M<5; zMUv2M=K3_4Dsu5yfI1KC&R#W2l4glqB#C5UQ0d4z=puFoMzb ziu$+*p`3$d0T(d&&^mcM7-A40 z=72B)LSi@lZUAd7Ldp4{g-_M0E7fpIsq$c9 zE1pAw*t=qA?w;mTI?bP%w1R2MY-{BDj6&Aaa|VgKEGtU=0NEd+kw`p{2fhgJXk{-1 z0R$0$x}X3K@g;pEgk1u(u8FYX-ksmt-uy}NjQYnzVU~nkaN=62O>3b->V2!Z(*U!C zaA1}oBe3z3H!v;`fLW`SPP5YM3igcaeWk^5lEz*jHma#?&6K{1*CRK8M ztyHXNK1~x*Uqjs2|0WhEDfr39q_PpJEvkd9ssM>Vy6ix@>_NI5f%K3;I%X{}c9QRZ z5qEb@hiZgp>~3h$1kNP`c6n!MfxGT?dv4&8-~dU|V*`wm^)DrE#eNd^R#dIe-6Es_ zz*{2!WJ0tp?M0jw!5gfhNlwP(=I8}oQ0UL*-QhW6le9g%=sG>V_pXf;R zsuPhfqr_Gx7H}-IF<6G+MO@B^xk7P&i4_VeD+A2Hn)AM)+GC0(RxB9SyVI43Q21H* zU$bAEw+Jg3^uV)X1c|OAKG#Gu<+`uo$&f1w9jou*)x;P24)5Ci5We9I+T?D~We*(w%>I1enBg?QwpERTy(P z7L=F){z&g{6?b;)oTp%E*2B_&X))0nO$=U(_s#fXvq;*V2w+`;NALwAUD+H|t-9-% zQ}rtu0Yd7-tu0+arZ;Wd)y>Bd3(`i^SG(+?3s>rxvW{`=N{N=a0sY6Rd$ojL4PShG z_&{O1fgv8;byDx`(cr}aft^f3!idKfahGL+$F(lN()G1@ix%3Q_HOKdeGfw+#UWJ} z{S61lyA8Xt|z8lhybc-39wbg8vXNxKH*{xs;YNh?)D0?z zcHQw~NA69@nmZ8|ZYp~)ptaId0Kzt!E*v-&8h$o<$roUe7x{PI8jCCesmAuM7IGjh zBS%A?Uq1O4<7m`BlVK+mml0e769X|gIFq3ZDSy3K&2!tj5x?iJ(CG~|6G8w;@FP9F zXD6;ZZtbz%$ssQXT7+rD6sdxgT)X+>yNd;6GLhTPJMliT7O9r-8rH4utxTWeuu+TjcaN2gp=OZx?}Dr zz`IP-`FT!!DbvVowyoZv7P2H%Xhrrf%wYDz=oqog%17}deO=?Z! z?_BY{6N|vMZND`QP=%MGYc#18RPl`WyKX(2zN=a@YBQ1)cV;Of*dU^MbQ;FTRDaZj zjl)-4M3{rwkqeELmr>)zuW8M6FD9_$&LptMbhL=_;P`}V+CCa*Uf6I@7gxzb;329= zgNN{_(fWQ2_xqjReh0yD4hJ{ZY>6;CH{2dz${kF(gK6q48EM{c>2zC-y|XBKOc)=$ z)-);fqhB1x zYD-_v!|I}y2Y_^FA1<3#@xZY0K^L01$vxcHMBBXMudH-Bc^V_s3bjDOA_iR2x` z^Sf{xcf$|}-d|o!L-S3L9~C*0KYj|;lutp0i6*LyHWj2SOT>OdG#yy(Z0{T;Va^M467q(Zpz9cOv6;7s@*3#DyNxjw@xmrjb6C=`=Yg0xOb ztE-xh3iXkteDV6@j+{~8NZ?!j5hgKX`k{&@f+fX4uJ?abzl`ys2&dfX@yVO#|Ds^> zpA=M_C1n~!(+2~$W&?5Pt-B_V9?5$!k@VfbsOgw@D-d!C=$b9!M1MjG@!9rT-@Ce* zKnxf?%$1nRB{(a2DMJ5}uvB=*{jE1IyG^xgoinCTNS07Q7=2^y6lIzCrCP7`W)gx} zK$0>_1Xj}^wwhih@`6c~2N-T2(804bI^RGZrRqOAt%>Y9AQ-RgQb7i2`=ydmb7;b* z2d4>BG6@HJd9SR2)_-Yq$AMsf?+hgZ%%T=<99#t$k@idpSwev11;jEOmzKWFSUn8P zN1`jpBT74bSgq>bu--N+kVGhd zkOe;=w7EAOeB5B(tt?umK57{bpEWeLSHL0eFg7eDE{a z=2582C}QdvF|JN8U@yUGUJQ3Ef%0-#+8tL zxO&aoB*?!20``^}AQSRj&egicexhxWANr#k=i`DqAAg7W-+H?@ji*t3&;r^-a*@5A zZr%oiwx-F2OF;o}N4m1FMsU^%F@%dK*wr}rUJ`Eut}D{%l?OQu=lTyP&Zu6xqnIp7W#}pLE{gvN1f=MhnxD<1@jg|X3YE#CHP%btqgZpdgXaYnMhWj5@&tKEk3c%^5I+h|op$V+^t@Foj{k(4bsU}GN^5qhq zi=F-xO{?`9YJ6zJgpB{{V0(^HrLSM-xeU4(e731YoXV7`%-@^NHhsK(_ixc^lsJ=N zCldlSIFS()0y8y}u}LVCYb+6e@@Pj%HrY&^ioG?5$sQ;XmSFLrA}J^FW&ZkhqZ=S8 z(Vm)|_9EfgX!P@I&|7R5-s1f$kN>alUR}P6!-XHYVUz@myZc2Nx>=GegoxZAOc!^> z;!o%5V(I%q?0k|xRK0zDu?$7*9P+k<9(82RgRMNY4YYk{BRf6+-@A{0m+yjfkpbNx z!6UrIGVt9r@QM1}MH)J7UZ`F*wUp(>GV(I#Nj(6~$oHH=(nu+P$d-oiI2=MA%vcVc zo|kT#3Rrdy7t266K(xLHQm2=-d$CMJQZSlX4HjkD|zVtJw~JBj5$pgi2EtD=05j zCqdK_O)LySbNT&Ne#be9`fNcAnt9kw%(p71tu&~YHf_<%^dc)<1eRh<4%W=fkM)SQDr+;UwIbz6Q^!JW3#M!pj^x_B zs`6fKaukIhBmG=|%ZBEg1O1!5SD)`bebu}#C(I|ryd@3tpOTJ*bNk`VZGY@&cD(W( zI_9w~&u4Cbvci5)UtckbolaFvy$9FX%Jz~re8GiUX20O0x)U6Q+7lC<+hE@^{(pX%e-q56qcx!3Uc_q!(#_3Jq@=30zo#o3zlh%gKE? zLX6!F`_>>M_pbf z>GI_fY+WwzAz>p;mop5&Y<&|Av#nwS;ihTEINS9ZY2PsN2{8ds;u9Kw>vS*z++T2s zfh5pZ)uEKA$S{D=)+;%Wzx~t=&8au7+A0FxVZx3g`L2Q?Mq=SNHuY38z;9fpvl5JP zR)Q9PXC+-Oq~Pw5jCnudVKGKcNj9<^JVJ}^^c-YEt=qi)d67n(XT5Wr7G#!PY*L)f zMiG;5NgyA)BY1^f3c8u|rp@nrUF2Zz1D6pkSRMR!cr!0?zBZgs+n&~a{t0;o?P`4Z z^--0DC6&|P0FLIaa^D)`>^9)aRC#dpTve)n2Px?GZPV>)wI}}$F#e;_0oaZSwPKJq z5;RdYXYY{4q#=qQp`d%T5eYq~+el6#BPuiAnT#+pteX@>Wphwl_Caf%I`P^dzPET8 zI<*Fwcm!7Jbhoa^z3k+NWa z7iFB0iIZw&N}MoGq8Rx#B~C1(hs62!uKa!{O*s^$ zLq!pZOiK;J{&BpZIk4ptS2%Q*&T+G@g<*0oor9&N5YSihNyAmzpkqCh^H9-g&h;Rt z`9}cv{hYl&sSTdG!(^OLGL9G~M+qB$pRQRjy%LNb&FAg*SlLRS#)gm*C2Z1v7Q~$A_hb$vDoep=JrUE(2eH!6(y8>tNzO=aHCVQ{#~V zd*mwb^R-UV=x=LsPm^&+4nF5^=k6AaUTm;k>NJS0o}Xi=r_%zCs)vGZPj4^!AD|2s znM)`mCQmt(IB+R)4e>qi*xLes{XC?-7zzjqjrss-7_mc@?1%M0mC#vvnDfQQaZOET z{mOF%)WojOKkasLGV=BPtJ4Q0eCM-;F*?Gr?1`9pigY7yG5lzvlMx^aTQ7fQlRw#X zqRQ9}~S>B4DbzZ&9T;#b~ zW|=z`6Iv&|n~2!;;u8lyHQDnxx|98{UL^sSj$gdV|DToWx73y5Ld6t2Ib>X}@fbzr zMm|GmeWoCRz$T(>T9I6TyCH|myNfKs5JTazXaOmPzJ)7=q;84$h!D-+qm`AZMtAgD zBLdC?P{EqVBH?^jdwyY|ASgyPW+3o2u<51QT^d5xG_X_YZwc6%0iZa%({(fu!&(Ff zY+*tjeqK8xOoekdi)L0WgK3ukYLvcNOvr?N>MjgE$5PrK9=sWU5>#^fsQrQ`{JZHv zR&(!~v2cB14gKzBbu*(S@art_Cy$wDxH%B1>wzy5aAutIhE3%^n7qIQ8iu^aNX&l^ z5_>MYjz0{U&opCH3tfw9y;MUv{aMC*t@#7MWuqTMusn;P@rk~S9DmS)=AQn4&o?)> zL`1*Y>F+_(e$W|zQm>(mE{3ah@j9$38KO{$pif}7Kj!q7ineO$&lrjVbeKbpK_>~} znE&y;p@JUJJiQ9yzvdYJTV{f>9~0n^dTIqe=q$^uf-k#vbGbc~GYW}>>xpnMg=Gqu zY{h5R{548fcQ^poI2Z;%__5Cg8YCPxZ(OxAaXv^Ofrwy#F3$6N*4TX}7H+H7k5^w` z&y|7zs||R`k9~t*3p!g|z$~cTRFkac;^j|2L6+#eUno*EzO%yNG+{qLn73GA-(vA$ z3{T(E%I2_@=eoj~G5^?qMt9(Msj&IrA%6tZioxfW517@l=z9LFC3lOw+*|ThE$w@DfV4ah@w2_IrAPBkb{S-pXO?fd?Wpq5u{NO7cGBx94k+0tEt~ zAW@a%fioDO(bLB_-O~d~CYWVfFvo&pkxA*86ims$q-M&XGfW#i@Jt88aNih<=gb5# zP>NaMn6k_o$&_PG<5^_Rl{`Jjv}WFaIjj(v6M73L zfWk*I7EEg3U+@a#b%4M|1w!(FvC!lu4Qo5PfO$3Xz+-0&CL{ou(ll@Y8jw4%#{*nI z%K?1LTsa@)b5W4D;RFFgNI=1>(*IE3lrV%p9E>3i5ar=Q4aWuO3uxeiFaR9-C}3A$ z!bd_81oDxr02BnFX)1*a_^R|9nLq-JL6RBBvkLH&#`r zy0@&8q?P;|;uaCs<4THuHVgk+sa10LXWh8_!aTyi#nx{s#fnE>ZZXm?m5xQjALU@& zWt~Zz6}uf|nsa}uTYp`7X(!6)akWgF&Ce@_S&OWB^&qY0OdFb)j=HU0`WH1<)iA4Y z(S+>|bhX=`srf54@2MHKER^|f$#k32Hue2dy_Z&E=G7`&)z!a$d??gyed%9yPwP6M zm)Fg_TW707s2(jAX*QkR@zW;T50y-JE%yH1L-7}tsh9OBvxcTkKP{^F()uv3wAsOP zpY=gdo_2=Xtd6f8g7zIzk3jb#@0n&t->v1x785n!n^kC8)YrsyoomrAXjSe#Yue$o zzC3Q~i+^69Z`v?_L0$=Y-D0xV#d*+IXPv%U)cNnU&Ku_2gVGK=(-!m18ag$-HmU<} zhsarr18%CT9b#sWht9LMbn>>&f0qPCb@bc|IzEWt=eR?6#J9afeJ{YYnsHX&%VZ6z zv`#SZf>YLEy9(8BI@0{k2RHSIylj`Md8cU6w1?H+w1N14%M*B2s=Ym8kJuv#?qKju zTmO`xlhy@j28O*gIPKbKJ!*n?O%t58m~vFtuqjY?a(}VN+p+7aR5?Giz_V(Z-d3XR zLff>#_AAOH!9KC%d{$f#-;2x-KI?M0aS3$*mv|Le1Y9tTwVgNo%FhC*XH{_>TmV@6{Dq3l3lsnW#vFYTd zQ=3kg9hIx)(3IW9peAU^aFBdnkBf5rVU}GDlCyj{O_!xe@*?>;d7r$&0NgJ~he^S{ zDy_N0>{eRtQTCw{=MGX@<+vruPuac`CbJ^t;!m@GRW4(+vvgAWqD`8v>18#&)(!@u zf?9HmTHOfAouvZ}1+gwFg-U&r)02~Og51_v(95ELOiylFM1~eLd!r z{5ttAiYxsi8K*^&E{BWJa+SV*wwy8w9#M81A2}*>?_eYYsRj4S9wp{on&sD{$@f_{ zO0M#MVm`};qvd5O?y^hX9$qE{J@B&goKB34R$SPP0ue>IF$%qDb@Sd%_C?Spwd7uC zI+x+Xcoh9WADvHm&xO#3;I>?^R_T1Mgmg#X%>dTU1%~-OowrEEwVL*A8&7O z`RaByTrBf>e#!IYWwMx0^GR|&%Ko^`VSl)Poad|6X!+y$=nL?Y!y47xTRImpFq&r$ zoe2LUp`Yw}Z33qgs;v^*3$ExK>t2aY$Aj-EgDAxi;il&M2a)@4fBy%g$c0!Llm^Bl z%hvPxMHi_nNqw+fM&F0jx_}kbi`2+af~rP(jucXAc&-DBahq>6osEg@z{2H1ZU=OK z%qP_S6ODns9~cbG{eVu{$`nL)Nj@&~$>$W-M&^2Z&XO_zHeTRKthMT-omwChK!ku9;r`p{Y}$ez7ujYIZz{b+TFJoc1VA+&~|x&lru zdeq~}E_&?8m0c`)Zd_5m5m(fan`QdmQN|PXqI+QJVLyZ{jW|M|E0myZ9deX^4Llli zXzdo*yJbVX5MFNSDy5Jj$xj;Mz`ZJRujwBBJdvc5W$ezc^DTF6EhkEFY8aipD9EKyxKy2;GowzM+$W#odnm4<{X#US+ zb&~vqQW{9a&eb4GSlWOijCd2DE^9iUjh841_##DhieNKMlX0G3B{5=uA|b>E5-KW` zb@S9X;f{Oq9PeODi5)_@__KuC7-PL`gT;L%Xyyj$td~vbaXSDCX;#cx*jcc z=pQX>w2wr~hqPFZ^d}65<>;O6#n(xC$MmAL!En0Yi`Js-?#UMW9BX>A6$*&!r<(C} z?qr{_cj+jDl5_gsg3(8Rg?k$s;oiC3ZU z+ijY#+w|e?$4Bmo>YEVqi-5tsvfO%2|9C--C7DNEW0Y*)gfu@CJ~JgCbXlwo58ONY z=gj>vjiO@49d+I|%8L0ixm=E}uMx$DHzpa+^Ko)LS|L6pn=_FfZO1Ro(PuUu(U<=I zB9S3faHUGZ+5f%@{{bTvo%)kuCldlUGP4~**9HZ5wiWE%lle%A1U;BeU6Wxa6Bjr# zATS_rVrmLJJPI#NWo~D5XdpH)HkSc&0xFZ*Nke}vX{)vtHCf%0wyCt_q-j(oOn-h8#?9E3*Fzx|G`g@2F8zKkN+~7v z16W0GUgE6=*ItJ@zUjs2h|S%c;E0k4DZYsdq+M{+WU~AfkV?~*B=M4}7BGK0MoK9X%Np5T6^X3S^otpu_J!nhO!YWu zh2WF1C#>MrLU6=hIGa#0wWb!D{un#IHk(VcjRvFxeYB=y4_47BI%g;J&HQ#T`p#j{ z5BFo}VXk<08T>rYZB}9ophy~PO5t>q9`5LrVnE@pE7h0Q!)YQ z!4ReMuYezXo%(3$X66FVBUp=YQGp^1Z7M zE?hO0M`nh#o8AiOTtFVFTYda&q>mg$%UTW#B;c$xDQnqOvQbE`Il+8go&5tmCOWv2 zVJ8y;IXIV4zyTEzG&u?{Ol59obZ9alF*P?cHkIH46$CapH#e7&WdbLcAOQjde_q?t z1&SiU-5oyM-QC@t;O_9@Zh;V-;1V>ryE_DTcPF^J!)5Oy+2?<+>fWLX)@UC+yXRVv z6Dz6G3!4Is%_M;KF7(U{OgsQlc@ZsUCIAx?D+3b~3oJRgnw5*K*?;7)M;f03QNdD-$z&=MNWGds8zfz(;m~srlLSQJ2QJ1XV|~$6SHzMGx_MdC*!{l*Tx>`ZtwjcWNu||YW^1uQ&$H@ zb$csES2Jm`f7^VBVE@Q0%v=EMOiWCi99#f1M}V1!i6!G-3Di6tf6V??GXEw1;Na`+ z0CWJDf6y@VwK6yR_yg*v2udLI*J3beQN{A2$25i^QusB5bz(*B$Bf0ZI4Ko5X7 zJv#@0o`szWz|73Se+J37| zGRXfyA2AjGi?}{wD*ZtpQB?mRHUOjAAM{bR`XBU>LF2!O`y+$VAN0Y&_z(KXXYyb4 zSHBre{{cT(nEin)9|e5$+sN7SA0{jSM)QA|d?2fTe`r5EEdBvMYX0NP_EEE?r-S9k zjrzypL-tSq4N9kXZ%fEot!>i0)JmnA7}L+{P!Ej%*?~g1a@g2Xu|u| zy5?)!LzOU|JN@oB{|x!AW(qaE_mWe)>k}eWB6VeY;D*zkaNl^n8gFD29TQRvF3YgZ?Z%`&Uvkssj)bB;gI2IV-tYiqK-~cc#9k)$zUyb ze-{-*ZtyQ;a)x~$T>jb{Hz%usL*l1|?ew*not`m){E6d#^&B<27WI_QzK}l2# z?Hx>BBxxRBK{`}qkb!UI|M*HupcY>$A8orM z!;jfAy!YxXO@oR9&98PT%`ahJt%~YjEojp8^*< z-F2Q`I1er?rSWHDrMiRo^V8S-&KS!fo%$;DTa2JdWP=Xw(49#amN(Y;2F}Z`bkZzX zB8aD@8C-)hDH}|4=yuNd>R_6a%1@?RC&c(ueS(NHuNfVuC4wu;XQ(G^r)DY0f?xon`U>4|y8Zab5Go;Qr zQ@0K4^7h$Hb}5Ib-AvaNI#upM*)f_=BTia)J{b4tk=v*Z%3z(6;z&ZQkz0~fqc#6g z$jv5v$fb!v9N)*Qv{O6BDvdW&p&DLMmWYw-35VnYdJ4H%N_d&GV_r~zf21@sHv`M% zBx%T>rHx>Y84v3Ke6>ONG7_YHI)5c@lkqU5jnD0t#iLN zw&{|n%7laaqEJ?7Zp|BQDo7e*OG3+W0B=B$zfwxjV*$4J-TUzth30Yn?0+;FX9^CD zPF49gB1=JQ&T|*io^r(3Af5xn?X~6}4qF_1CS&ezc6x0WmvqOB%SHLR zpUF6Ib!fk+i-(i;H$}?-R6L4na$mc=N+1z_12eY=7g8v1Sk~(S{0jC@%WDO$xF@C8CSro&KT7ucr{~?YU}Q zsV{y67iI-tz+!mY>k$h7IxE<%+_a-;Jcd|LYp;nAL zkH@3Pe@%sXpirj&kTg?l@~GgT#ZW=iZVOymZ4=M`+o1 z>tKmwJ_vTmR616i28Iq`-MOc?*XPF2?c&i4jZqA99%m!o{n<9BvcT6ggn`~n25!H0 z;8rvy5z4=SpQu=N2Y<6(48hvIQkujQT`L3+epRf&=YgW_XXvk68-W9>jJBSo6J!u{ zG>@vtW8-Gm9zncMnkpvQ}#Acqd38~Y&T3t*Jeo$%~yiu=YVVbrHSq*!$znxd_oY95N+LJ z&4Tcq|9JN%^%ic6qs5jHKYkH?(eW4^^Qf@z5p^W3Csng*VL-mIdeB^8ytLY-2@;ew zTpr5&*^9jNihuX+duYKs-WgkiR2DCk*B&V_FI5>()_wf^cwW3>XU{##occr`a=)AX zj8UwE90vwkcG`#V3x40lniCG1wNHM{bK9%n>mJ>fp!P+h(B6{@x{`>M!1eFRr{D$iY&n|Q{AO8&tjh6| z^gk$>Jb$M)PK&X#qDgOMpfv$Z&>L%^c$~V=!Kf}5>=mmxtWgR4MA5&-+i(_JK4BFh z_00R|sQlQf7GVD(9fkI_B*Urk7TyEdvcl4nc*jO#M0K!&GejEhLCtc|NG<*reGPa# z^yU6*G*tz>rm3^K^aKC7-qTDfvb@g>#E)20nSTe}&m}5|rIMZjNR4c!RLC0&-*@nv zyh$)^A9ce4dNzXX7^?ISNyvD!&StO zZ`r>@8ZwQ!0w$ZMv=HV~<%_G@>mtih7YnyhtzaFZH&Y_02b|7};j{gIuQ6Z$fa_WK z{(l3CkJsOnu2O%7BY)RCgHEZ-VZ6xaqQa(4g{y_L{)SM%3N92fw4vGzpx^nmHa$aO zItO2`8ygO3(HcTzk-Pz1Uqv7$Cs4;l?`pFQ z%P($SrJBtEu-qOrFJ#qrRtM!2(gC*WHdEUbv2`Xx@|wCPy~~FR(@;ybiR%mu>7ABs zm%h`Sw>p9breSCP#$Re#4FBl@|4B|1)M6Tz$KF^5CiF?JrPuL0Zo+`mzBRjkFE@CJ zf{I414AOo%ry0iPRg8TN`N`Hq6@S|2{zTV7mwEpr!j(^tBLAkQ=j04L2G@T-r3OMea@QQU(- z05=1h4vP(;G+I(+{&6*776RDok$`hWaMrgX!9F|+_N;S{p-ZR_@`Dk*$dB{eR_Tv3 zY@@?_wI&IoT^cNtwTVJdX2%LkAC?X(u^xF5|8{AtMtz1?I@l`XvSG^1=i{zbbrDDq|Uf+Th|FDiW^b5^w*{~-=iCC$uMN4oapb?#Btgp zf)y^X@90VRkDd_>9-`Ar{aF-&o$5u2zDv5&ySSlFL>a?R!&ovFc<>orTReL!VuIMX z#lwI&D5|t8T$FBxq!R-6C@mFuL&lY-_9Aa6Zo>+$O$?;(5!=1X5`U;-6mo&1J_d7d z3`1qvac)LOo2t9XyqxOfqc*(YJ96+MB8F!!HhI1<;yt@a^#Qt}QYr}jVB5`nl0lQT$e=&{ynT{(V)*LbDv-I7h~y9 z6_%)cQwV(F=HeNyV}CWRN->P`roZCxgSrP53gVaI`i-V*gR_+Z&d%!36_CdSJb2d; zhhPi+Leotcv!xCuN@)qBN6AI(4jbq>C*d(ORe!LYzkZ{+>=REI06G%#c81QiPB8AF zM7MAp=@h}sA8r9&hR-uc3N`xiU2=KQdUoLW8G=GGX#bjog?nY3MG7(Jy z9}-+#b?Ro6$3~yU)dz_2vHM1JiPmGB(cHz~uOG@PmrgiZN;Mav;J%?LbHN~-*7CuV zd)QKZ!7GHFzbQvP^AoY$=HHa4%h@1d(QVeF`|UqdE#zcIRfK3Ou}{+%{+aV-DQbDq zFb}TUK~<2v$$!dcB;wJ<2Sf+@9@Cib5sy=z|1o`<6U%vM(!L%ya1yy;s>GdzZ5??b zxXYB$_)N@Chr03+%7U%%C+orMnj{4Xqk}?F4>?jI!4hwIn@jv20%$T1Xe747!4dos z`eTo;yZjFf6h;tlnEZ*dfLta9i1WY8ozE}Jv4-Own_5Jzn%2$a;BA9Go&qZGl za&hMG14%g~&tbJ?&MQ9gmGkYlF2^uUKhe6JN4w8B*ZlitI}E1ePw;z80`CR98)%*1 z8ym@fUw`V4gJlcQeNJZ}ka%8A$OHY6MGl%E`3tKB-MWL00^|%+onl1ZV zG)1+1%%Vegr>W;TJoR{O>JzOc7efd-@lau%VC*}aF9dDh=+Mp2lyg(j(fOaecgKX1 zy&YA#0eSs>+N8pDao9hLYtN^V%^by>1(3ixRe$74U;^I)WEX|Ve3ryC%Tps}ZWxsm zY9aL}6Ip4PWN&|eIqZF1?Qf*^odK_qIh3~`nI>a@;<_~GuqYLEW)ZFDq?66aLYm7I zgdT4lpP*x2e zy?z@r0pwVY@&z__r-ZYQgcDiob*D+lg}sj?8YeT@y!BzN6jZA{N~Nm_#M;R8-LMd zdP~d1h_zQb=48e2hNexr?~kZ<`Es&3`jFvSk%ytn(y~BviS0-|HK%655oucObR6UiRKmh=?a)Arh=wGU z|EAS%ES=xdg_^>ALQMxdX@C4x9Cw11XonUcD3N3cYQvJn$EZKQFey08vEMF%j336z z5na26(?^4H%v%_^J%Pc>?E&+}E1UXr{G_StWQkd|F2~*5QQ<)3l<#*@z3;nIT*l23 z81U{)`gQ4{3x%_UQ@SZZSmlw1(0tZvcGk@DiXCpMoiWh#xn!ABo_{@QEEp5cdyAGi z%Z^k5@O)P2I@W^;CcUqkZnF6>ID;$Y9$H%cq+rs(V9p4*=&rj}l({XqA{moyo*`OQ z!p@*pNGd?`frC-u#wU`KL1#URy%F(;n42xpU8xb%QtShmjPOg$BO!9l+IS z^BlAjV`FJIR+2>H{mnvLy#;U&sLT6``cPfumlW7lDn^Mna4ueVIQ!zEUag_|%dS>mX2XV-|y zIMayQC4MJt(P}NhYumP<#8C}@O;gXc6?Pe3>39D@svOZJv-F9^*N-VavTnUsZ)p@?GL(w}F) zdJhbq$e&JyRu>AxRM@i5r0!?2Q#NvFK?gwo(%0qRV7x# zSa-85XIzTne;Bb~x_!Q+QqH>~nIlR~ye?RCR1D4Z_guy!hk1ojBc}EM59k@bEMuYd|Q( zh$wcedm#?3N*P}mNmhzUAy%G}agedO$hFlYSAWVFgVw{gNuMc5V~ftGJJuU9$flyu z^_Rm71c=6Y!rCT6b5ds7na9IX)B%T?`?iXCg7>W6rh|)7c3lZ-5bV0w%oHX9K(kW8 zgqV2&A|lTx7-zoPR6l32@RZP4yFdlZ!+t{>mfYC6KYM~Nmep)_>c#uYF+n>5w`3Mh z2Y&#mH%sT6IBdVyG(<&2z7)&tKYNTZI~x?2;ZW(a4DV?F?$BnKS%sApykFbK`*LK4 zn-N*(+R(sth=9bp>5%log(Bui7vJAO@vw%Z!zvGdv*irg>oU)XHc`^uqz2Ese-`)L zfF#O`k)S6gR_)5P1_qT2KbNQcqQmbM@P9U(uk@2fR#e?F&L$fqA!vtm0$p(5rnw3Z zfm$Bs^7L5}Uxl!0KvNolh(zTx=S89BTkGmH$js4vf7Nl=dFl=mtL-kVmS$`_7 zNd&@FWARSqV=2^KNMsj=9&?U;+>`mAztqu37vTr8Xm)>k?D$V)DOxSW7&baF>Y4y2 z!c=)iNk55wx#t&>y%XML$wF-`_?>wOUyf)YM<8XVxRg>_l5LF04XqTD-GK|$^h^Zo z8AzOhO&nVOI;n_mwbCzL)XSBrqJOSh#NI!oFmr_h24_0inLOfyOCCp8u00@qUDD9# z+Ctb&q$w}f4l=^hdRim)rQ#*Bqd2bg`4kh0yV?_84+df<{otn(cyos&e}7v(8fWCu zewn&JoYS_P^bT{}IT{m3L`7e`#bCc*4XApwjYhIcmRxjhreY)&*r{1>oGB<_eO-15 zdtg$SYP+0~QD}ZVA(X14D?C4ybMhEhcly%R?N!*-eY4en+Om|8$ibCH7)!X>>4680 z+!HZ>uCHD;z>IoHoWf1K%70-#FLwO~!G!K54DE1(@>mGXme7@&@{Co@AL2X(BFN8IqgGKrUVRnK`Qd}lyBRiCr3Css*2>{5}xls%&hz_t<<4Q0ddxB+U+m?b-JbKO zK@7r?h!QfK*@mYLJQ|56^P7RsHvC)`BfAYk8Pebr9KXE8!?MX8l=~zxr^VpuZYU^B zjwqDk4)@u;KRa<0gMXj0S1ghH?YUpxhEMZaFZaTOY{RV&yiBLwE4*C2A~UpF`W2@b zqpV}{&vUuM>BXl_rn{B;EVN#cDIjAT*m?FY5m2Pt%P<=G*8z^Js?%|2rf!=o^{`zA z#N~gi(NKH`4#Glg56{ms0TfZsY@OJNU7|b3cy_+P^XIY+w0~6Xl3+*};c8h@#T;+M z7|Yg>#;-LaTrR309f#z*?b`%#~v&fL}D>U8}9 zhrt5k>*u5K$IQrJQ+o&Fm2m%s4oU{tSy@&KdO;OFmvU~_YkU~vJCiVstEi%JxjMc;1| zgQtrNw+PafDg^6GU>Dd{WSSn#Il3yOQNG%lBX8*S=MLSHyghLcYBMc+*ndtbfQSU# z{5n|}g@5LEASa;=GI4wl3i{GH(gK8d2t@l_0&?(zW7+tsBadUsuC9MCWK04T+57EkF@z7+rgbFg@0JdQLp_d#va+|g_+*5GRI(AZu3wXrnDXZ$+7US;_s+u^NwF1HNA4W3S0Ta?i4PNO&r!+jm4Sck@^E{Dl$(ZYbkj^{FJanTlJc~M$t3`hDvhDl#EAp-v|MZlEFI?>Fi_Fd$uk?VQKL>B($jl zi2hZhY&>i^Fix{prq8uNPI496E(JT7PeI!gq^t7$66)!ChPmg#2G)!MA>sYn!hfin z4z#86R-FpQmBpqw9@VWt*&p5moI6H9R`5&GuX0}5rOD|0G919oPNGeP6d#%n&|(uu zt}hqPpUg%kQlq4tV)p`os?Qi}srcFa_ZlyIXKENHjF~e6xuPKHMVbnH7>D;;rh5!= z`kcY6$#z5fZo9Ph`W(*1|Y+>bA#-oEBH2 z6C~5bJLXCSV(#p0-RX}{Sh!Bgn%|8~(KwKH2(?fnkNpfLl>~kf44|d+3AiELX5~y9 zTI$WE<2a@8zJZ<023EedfRPx!yrE>xnkHeJRya***;j4Bt7U3>VEh5X~(sQEh-~*7z9&2EVZ5OyJigdR_Ya8Ei$dXG+}><>iCv> zhEJvnI}>41xm>*_t3nj-B_6)hm*Dq$4qMl@MK(u~xSEqa{va@KUs^PQrg#dWI}mAz zi(PqdxZ#=jLwH?@Kg<7fIe+P*^XheAIi#y%>J_9X-aXPw2aJ5S!hlt~T6IzzmpYY_ z->jO)346+Ra*ll@bI?d&YGi?gSJBM;*Dfwvo9pL{w=Woc9dr#n6N^HWK8|BXQ1Hy2mp)qrN_2UW<^KJj7FZo@AI$T*C8l@gaEs83#e;iUC-I0@iiz3} z)hY63(dSH*C*(W&v8y(qZkkxp5&501j)o#|Jkta04Duue7Jp_4gv_Ia`8OF7+5&Un zg&6WrG%7+GucQs53cpf($Q)-BMgO5++E}%;z$N5Kk8CNE8>uE7Der+I2E&Kup!e@> z5Y)&fsGw$boN2i7LrWGbudb_ZpFH%Uo!Lo)+ZT*FG7Bjxn~Oz)biFef z5WF%*m`*`{w|{ue3Qj3k^tra_bYb}&0<7&1HjEv=0Dc0%(b zwmh}wpj70>iqk}(6YYg@R_A?6z2 zOut95W6`~zC9QkyZ#7*JBHT+h!3<nJ29bwNb1_DvPuchPKp>fiW(t7z_e4@SqkFJflaFnEAOU1HM*N zGCJy#p0n*`$$OZieWlm)W*9{IYAKggRDbdmpLieCAuo`{Ux%QCUsEoMO zBPjfH8O&{rZc5gb`ii^nHVqr2^hawBM!v&wAm+m;sUdd0)oF2PwvK5a!gG_RafZ-5{ z*w1;KJdq9q_dX|Je2Y5ANq$3SjDO;ZbU;l$zXM_p-;rAy4CKRANQLgGm&#tEx*!;Q zS?9a6I@Ry0Ho_$+nrn!)LD!+(Suyg#(&wUp5a~?FQO@8U#3aZ>7DM{#c~nru(s=zz za%KgAuS2ds@EkXk5NGzBr#ZG(FoWhbS8~DYc(l$OiKTR7`&^epO)`b7pnpRfQ_7EG zQ#|8Hj8;?2)A*MY@7*3@FfYBPuFA8eA$$xWGq^&Z^qT~if z68;0vsXZVHx(Zy!8Wq@(4(vSJuZOMa^E)NSC@j`KYS7XZa#+wJ3=%K50n_s>7*%%4 z`NqgBISj};x!yf|w*_Z$fq$69q;D_`!CGqGpggsXR@jv@GxJb9HW;0V&rw{t(9PSu z5VWkI*s#3$tTUZ^c~E2n374aNYb{un0Jcx!ymP&1x!yZoMWoX$cu8|Elwnb(M@GQEN_=6V#>M5^WVN4}mlj(@--UqvN7+Xls> zH2hc0N?VQ>zw&l|8vEiKd12YH70Qwg=MEZlFNroV`gx;lD*da@oFqNU!&|UHqf~Gh z{e++I0H3EYd=Bh)b0}U4`$3YG!aCH>&T=TbL&)BE8~vDgTAa!BAh*0v>SMoN5OO}v zwHgF8jx^cJ({UqWU4NkoG3kQRMPz}>DX?Qo?Ef0|QdyN>Zia3lOpTSLC+8g ze6#1^Xba3L7!QVUDJ`X$>mfv-6-P3bsJ4AC$d7GTo8qQRn@0?%Jks zmzI@8*JSUOTa?478m(XHEbMySJ{;FlJM7~ze?h>PORs@~y2w@gm@VmT`72k-$1W*> zu9Hk!hAwQ83xD*38=-ekP0HW0>NMYLO&NQf**6KyEWbR49`Sh1tp(OwhgJG}v@9XS zG_{3qv=6jZHMh1;-2y~~^C5rTAhUigY*b`e6dK{JSVumeKY7nsP0CBjQJ*0n8Mv`B@CQ<66zlYgr;u0BZoA*ZRJfsMtVf2k^Q z;Zh!>eck^hhczY!5dl_gmZ$SZmYVukN-U)2uS1ANQ3L%N#)^b1C}+a=j)dCq2gR~M z(n;*`bWRe`m#$r8Ojr0B6xay(3WvJ>=g#chyzK0u(-D35eXLI}L!RyErxTnyFgfg% zAVe%zW`AsmWDup)Tz#fxGhmfGPIGVPK|Kf8eIgYP>qpnDgEot#(LHRKHyZlWn zwSPSqv^};;NrgCX6D3qw+a___2-%N}5=-tm%^Kwl|ir#4qSsOAnH= z0Ckn$w8hu{BghJha3m2t-DEi>P64ZDnu~t(!-(y?NuQu!WiroU%_5+!PEqf*z%dtC z7#~M%9P%R~U0}6hfN8cO^*$5z0BnW1&wmpzg{+C=zPYB|{19~A`#9$MebK+UZuSa; zhSI{3-$gIV`!mY=BEF68g9U1>Y;`94Sx&0tq`#li0jAaASKEPvB@ zjfn7ON5QqNMbANrC4zP|=W4_#(qy5=JL|Bh4?Js zFzeYVuOHW-*ssVE8MM~&f(kX6E;a3&C}v)DF?W{uVt3T|xBF#|y_~PGu zOQ67XYDO4X2VPE)Ip+}!9}3tp6XqXUbAD*%hs_T1$WzftT^ahyv40H`-4J9V2gOS> z7FLfQPF;1&9+>>LUc_W2-g<3tzbUHddVzb}$!?SY+NYi(g?sccAR0;`=YI`?4Yg4; zXjWOa9fkqy4kM?=jctbU`??;Q*Ztv9H8P!jEINNs4jm6*H)2=c2GF0;o)eBRJvoLVB-fOo(H$?yU5!a$47nqaV z7W_qnX#M^-bZI42jVMXGn}5PMfMu~H0PIsL`0Hy$x0;jH9eS^7dqh0rI`;QA;;t1Al?#tQsc^ zcu9{#i~GIAi>k^MpIgq^>E^udiIi5p=ybU1cu}izGL_H1xBpRLRc_2yOcCDn>ytqfpeJ!MQWVqjiLAL_a ze!nh=w+c&s*A&5l_>DdHXEt0jupMRxRB;i>neczmHGf8kO z4DnO@A^MbK~68V~SrvgT?u9dU4w502ll)Jk@#a9emxU*_Wm~Cy#hU$iua~75$7eWTYp@AoX zmR`s`oT(rF(pY2s!aIuGXHi4}S`DNwY%Kb7loSK{|@!pfu9< zw=c(fM^?RfZa|84`>zt?{e2N)cK*eU>&?syG=+#Gcx1F#2pyNK7W{+t6ja1g56TPDi${H)Snx58bjlimmc^Zp^ z<F}Ibh)L-mJQF|&H$}nJM1f9Xj z%(IWC=E}`->-+vpYl&G(Aib-v<_0)P6o2fW{eMX%@DN|*I`+MFkJyx6na>LTC7Jc45d=^_gUR z(HIvTukV18sl@o&u}vPP+|0}(cu$e)D2OLV^CK*1)Z04lkOOs+yOb|bJ1;0ynvOYhYLgCA{s)-K9 z&7Eju>$O|T)mEVu9HysS`H{lA>hZ5iUu6Q^aK$$%d?o5Y?0_&=B=EgdaxHz3m4C1W z5tM{*w-gMz#1ub@CQaLM25m}u3AvRDWZ)Y_oOP?41L~Qq!_T# z)?p->_LLKFUN^nwvi%(G=keVYK;`r}a`}KP?GRly zY2aDiDy04XoAaxZ%YA`l^V6lc>cx55>6$c9@g#V7Y~v%r)acPk)ll16qdh z#1=yF*yfy@VT-yHhq?B<2t$^EtvW1NywW8IF2t!{eB~n zsrT75qRWi#Nx|O!4dcgYEq}1Z#w%M2hSbUW&!*`kTSbxnN;(#<;VC6FpiD$X#h;H( ze&;I@Kw5UVH3Xm`gi_g;52tY!+RA|4LlMp0BK+m^oT1+tWW;P#_=Kw5Ssz6S_0NKxt%qq z2Dr9&7@cD8c0mu2*nbmy_UmpQZe@mYM5prBZ|9m-g$V zN0|Q6;1VeqPfq^}^#>VheIu;g#A=!SZQ5lGAZqiyOKx$4v59M$wzn;MHHG zo1*CvxPPuze!#S-7|-dM7eops^E3tNOdEPiQp<-IYD$a1+7ktXiyQ2LuH744UtG>v zx0sv+wnambi3oYHf{%kSKfJox@GbV?Zb!#gzYYQM|lXUZkG(E?2Xz8Dplxe5!m@qb@)p-ex=t0ZL@B|eTDe`mI<=_uMg z3+d7AO~5Zbi5eY>lITwADP(0KKRQLTjTKPECpIurJ3mV%9@~gR#N#qNO6;+3bdd|% zb?Wn)@mcmg^8Ex}O7rYFtTC-zdX2U0XmdCzX^CNigy_}N9$RKm>z#766!^l0Xvk<_ z&wm)M(ivL5)U9(6oX&R-lSgo!^{lK(6$sj}C?6cF(qr?PMgH)>g%}rs=^&B~s`4Hz z!=vvz2$vB5usWYFBw^9Tsf7c!h7&2P_N`=<8s&y3Px01%V0t^jf>p5!4eBLQCF;Ug zn+9}S8F};+uf`v}rv%*l{kLnvai6zLvVY|4F~q4*7?t~-;F+p^*33m}iIG!E1TR+` zoESxZEPzT`CnM+y4`E1VnMdfRSdohPmW;7%I#v89kMcB-qItnchsB4to90zc*w-U6 z?#T@37aRDrEXu)9G*8n5kSXbkGDMpBoO%YQ6d zKYVfAy5}z?(6`JYCwS9xjp=Oyt3J^HpK6br6M8lEMNfizd^h)fMJq&}N*^C~Re~Ml zE@8UzoFb7=o`qVmqc|JYcw%W=m9K08Dpop;aCJH+-u=5ao*^@bNSz1mJxJKpp5JH6 zehsIti=Hu7Fr2yfS0hO`g_>6`{vWZ|4_l5TGT-E&2iasn$Au<_n13mHCgEu z&{t$>xPZ{LA^O&0@guiFE=8-^hlY$1jRuzNwaIYcS34B$01x6E(oNjq2t$Ip6c$A1 zdjr&0(SS4-yvZ!#;ah=hs~g zaDF1ngT@~A$NDkNf{fk|!hdN!JRf(ddAh5#S%zUa-{vm(1nWZkRM8&Wi6LdkTJLcz z`w+GD*$fF6f1DAU8`cH$W-+9&i}ri|Hnbh17@Q$)=OO_(Fs zTAF1l9IkH7hINS9xQlZnv`{vvMs3>>fu7VJR!sj7YtD;yQ@ zj`F>4n%VLA3cRHf)SwJ;-~r*J8SD`MtY?nJawDw1CR=BX@Z-}Jw#R^AJ0&Ulx96I< znoZexEhh=cVli=N`46h1N4OUAFSo9eFgnihh$5`R1>&vBI%N*;s*%pR0n%seT2;Tm zr*g6zxTgtFt_h=PFn{Sx;!CC^b2HWO5ej1c*=9B)`sd5OfQkKF7+k<^teVa)jwlaC zp1!|4_Zgp^ttQtr5A4wifvwx_z-cb0?p&knipx3M6 zu$Fo4KI`Yu2`63A-L)iR$#5vjfU5W57; zCcvfJGO^M(uuyLkfwT@ zMo;@JsZXO*l`m^w1{J#+jw|vFGYPEd4w#6bzXJ<4w;Z&LU(gz@NGB8_0i&kP1(&HU zxu4low{&@LvwyrP%Gdd?);mK~Uj~-G^Up4w><<_Z{eRxDTUt7xSBs5}1nsZw0ro$< z2@;bgu}N%XTCG8Ro`y1$I_h^jFJoEY@lDlK*SuEpB_0wyGk4B3EmPC|0b@l6{`&?d z(q%vpJ{12+OZjX2CW4V{I5rB*`Z5{1c{#{I5V*5>C<9Ri(hz1B$!Za4N;uD z)^r}ZOMmk^eIlh5djbALiqn2thF`>+Chb^Vf{*)}R0ritYZ(F4D!@wG+BqMVXNpBnO0=;GkV+ zEgY~@W(n0i%b)vc@Q5t5H#|xOekjtMRTOnegMZ2$`Ct&=Bu_$(={DF3+ITCLdW{#| z_aG*MEkjsK$f6*5C&n58nG(r_t69>ifP>l2B?{v`p0)JfsgSYDRanny?KCX*8F zVSh1()AX-ypJ`t!Wp`+HxoHSU-LQuC&?tRcue;kq`?{-OOdK>Gv6e@P9JP zscym@OG0ed;kKeY2d##7c7w5DPZj^VoWNTHAk$$QjOS`1RDlx0%A3j0Z(`{ z9t_OSD{DQ?D$mZ-sAIfjL>Vp-LS<8oshI1B`v0uKpq(e{+axL65uZ0x(p>XuNwChC zIu_#46PIa~E`&W>dwgtQ6SY%46}f3w3~NG;X4c)Vm9#MffAiJR21S?d2%^`}DEJCx zZe(+Ga%Ev{3T19&Z(?c+GB7ZgP{08cvsaD`KLIkcWX&QP0W_CTzyTDqo9Dq>0XDZ? zLjiy!0XVnbX91oe0x>YReu)8C8v!!6*Q5b>8v!)8P{09cKmj(FP{08cwax-OMgcgt z3r7M46_-X|0?D`8Tmo(amwjRa6SrDl0wV*Ld1V3nInXadH!KV|}M0+-=y z0u+~xWdgFdb7=x@0+$wV0u#6NYXTwzm+Nu@%(voi0to|`z;*%?xBhYh!ULE8c>)u+ z({=(Z1DEi80u#3qdIH@70y8kT@q7Xw0|7Ia5r6_H4l@cbOl59obZ8(nH8?htu}LU@ z?OSVe+eWheu3v$w`z5I@VleN)mb1B*Z8>uMT1(D4Nx4!W2}!W|&=Q~@`Sp8x1^@xR zB8s_p@2%P@5gZJ9db&^dboYQGu56SLMk7!BdF{Gl&FCz)NtML|Wt9st9yKa2FZS39vDs zlZlBe=p+Q-+MtoD6HYzKYV=^Jk(kV=NH_r+gPznYgZsv$mE3VJv#s9_`Lzyp{^sRss+Q{@0mB4ITN6cfmwaGszAW{Kf|p3Iv#4a0MA z;fb{;Fb`S+%mir+FQ67ia0elO1V(XKitqx?LIGe-q6kfJV=^ubxdUv>AuK(`ok%s! zjy{R&38dswC_)yDq$J7VDO_r@D+wwM%)t|SO4DK(J}Dtj!Yi&Y0@`r}=YWHd*NT){ zf;ee@LKamD`Z?lFV#0`AX$-VPV>s}2)X+8}b(Dqo7{3ez{E~{^0}AYuhY1QBaa2B8K`O~i(@C1MNgh}I?P$%6+c?DFev z9?<}-G|-o81f&o?(!bzA!OZr1>y|cSr;>omiD-_9_`=`PhvJ7k2B14~Da=!Sy1WPP0W^eW`X~Q7aO8O}0bB zag(&rC@o^FX*em59U=!}b8O*Jh-R^sgw4a~!GnlhMC|GOavrhA(KqFCSmqv^_%!C< zM)$T0mURrI5WsYQ>=3b(NMffcYMIzLakybdi|nc@X4l26$``kb9M{sDX*5UAtSY@f z-QSUvRIx>5Xav?=#FS9(E%4{hpX0CdWwjjUUe4P|_H|N})%SGy?)CGhFNd#(a{Tva zzv;8f*H>rf*TTL1vV3v7v>%iFQr%w_2fHH|X(3~WG$ZhTZ4jw6X(-J9Cry-s3P@j? zW0ebvrAcfNVzqz^TYl8?em=i0%F)dLi`cKe94nocg{%~-X_b2ipS ziabR|liBbJg2BVbLMc7YCBI7K5XHfej}uldMn@>jRm>%dg(Qhn#Iwc=6#%f>-p_XB z=VB0IO*~(JT*G`6e5Tp#`+BK=H^0pnSv6mjNBbNyG7RQ3u#Y)1O=INd|GRR_B#o(X z70SgLi$xkF4ytQ(8ms#(mXGslQp_gVEC`+57Kl)byzU>A)p$}2>pM262J^vqFkg>d zkCCA@)z)t!_U`9jQ1!+J<(v~FTpG=mlgay?w8qnaB9_He-ra>(0c8@J?K|$X|6OQR zYT=pYZnVfa0tMV%Xr%>TbvM2um9chr!$BbGY3xAmLW_D25mNPO&yZhyo;;(X8ilGK zbtXcE8g6L&f|`?VFp43hj4pC`SHxaFK8x68{-uiE_dWD=cAcNFM|JW-LF;*uTbA?X zVw6)?61raGf8!!MoqvhEBkNSh0yU|lw4TC2QGbAiFK|7%_x%!+(~gHkqPjkOH}|Ig zw)MC3-|z36>p2B06qC}%C}**QBD1HF#hQXy|A!X;a9K=H5FAl1kru0RNjf+nkimv5 zrd=2I00?1R{7^_QPsugw@1tA6f!gI>2-_^Pz2|+COurt+sW_qd7RD0i~NHZ zmLlj9YlKaUSy4N}aTQ)8v2iH$up`A{H`ts}Nuk71zz*}-hYWHKZsz0b64Vc;S(Psr ze+s}_f5svqw}hOCJ_cdk99Q{VO^fj|-}C^Aik9C!>-1>b=eXN|08_6$VkS5u+*7S7IEW@s6&=EwD-jy>peo48my`-Ts?pDTd#>6&4e{`g)wy~?*;ps8gnrG)4=IYXf9;*-nBa}~& z%5pd)7PF3w#s0*<4t2X8JDfb%FutBaq%pny7qMt&2$cSs zro^Y)W4NEGMnYk17nQC~p+}j-e^z(l>8h_ghI$1pyvT7vJjm6>#q$%KXuYkZfAkcx z8Ep*7qzoaZJRY9zKWpUQw5|+V^hs%tU0)@t4qV|+)>~NbygHRqJAtoQ1?xLM(%I%Y z%4tVm9K1q*!&}fwK!^@A2I|mWQ7M0~IusoaZEL@Tce&OaJCb<~B=??6SGo_nTG}@^ zdSW!zopkVMoA|YiT`N)&cKY;ce>L?QI&1`yPc2dp{mN+xCQpFvH!WV{Jdo6Os0_F_ z2Nli=6DUuYdJK)Io8fBQ%2qT_7mcn)^g~1HnUbCScZd-k`%-Vu>M31APq2y~*V2aP zN|PM^U3zV$)w6(5XxCTrlHe6wY%v3c03TYy)kzXET!jtc-9IHZYadile-MKLi@y^- zSo$$^pC%NDIsLGf*4?6WC6X}Bs@0{E&c`u-_3XRPI^t~;Y}ZF@ND;UyOQMHs=pof? z;`2dJ%STQFpE6B`fzMe_CryaMD?RT22f2mmUs7;~!)PX{#lvrfy`2~Y?o(2U%J6u;j!IQoPDDp|4 zgZ(wtgmAb@P8nBX2Zo^(2i88$_>3HKUg}r9Bt)GTizqm@zA+t8@RXsy;YvqX$ZBCO zq7JPtl~TktT>Xq)4o-p%j;|C3EDY?ZQkhRe>nM5?ITppq=|xL zDUejbfBeWaA;gR~5l{RVkvQ+L))8T7yAVb^@Qx_F1BZz@_hzl7@K@{c3X+>ndtEE7 z8*2vJ)NML|(6MId?b_JTyNkLf*rFcUQU?m}3rK5r*DMONxo=VbdKdb=hM+(2NvFN-X)APVD zjI4PJ(oCzCH&M|Gu_Q6=jZP^El87sz`{IW?Vxy!c5!#kOO6@-PBYdAm=yLwv@p^1a z6`o0-T%{v%LmSTkxWxucdPt-{g96Yjr}SOB4xLj<>gUu)f1%R(5<9I!B&ErOjA>|e zpbXbkEArn?k2bV`gz`p%3z;qLZcpH>;3lfq7AO*2kER|Q`u#cyJr*f~H)FdzJ&n}L zJAH6+wBL7L4bXn~abAuV#cefTg#GW!Y>Fq3e|r1Nn^%8%^y2g#Pw-%pU6+vx6sP_z zp1eIj zy#yj}b}d+y)C)FA{>b0to&0SN9$j~P>fbg#e`7y-w|m)hyr1BDzYuDpWtFpR3Ruc) zHU@aZMK=1F!~3qProEt#6#ayo<{#dXJ@>Gu^c zjBf=|nlOSuGAFB3pSNf}ErO6`{s|M%3TUjnxegF$*zfsb-Z#EF#Q0C%{rv9bJ8%3Q zf58Tc*#{f?HSABZz20g2$FT1uESLwh3*Z`1T#))+@lAEjA?m()e)030pS-$uhq^NO zda97 znHSk#uatvf53pq?vZ-XJHHTPw-gkRSfANE&_34XOKc1d@rQ8mCAvXDQ*z^OYwdtRs zli8_LSxk#bw&-hgP_%vi@(c+c8eN|6GLzIzeI(Q|ORk%M+@63-;kGG{Rw1^@>)nXi zWTQ6x^@89052GE0xTa28tC9piC~m!YbN2HSN?JR!_&|j$PN(mW$l{0RtR`0le;D8O zGy5=G_@tD#=_%iyoREtCxy&Xk|1z3nQ;+-gBG2f^=SKRWk@6awNM>_=%$rt3qp%9O3q_@+eeaEaEl`np6L zel2BBBHfWlY)X{gL!yn8f3+^tX2_PNE0pZ`wyTMowBrBYa9vEfC5qE=zmm@TEvbNM z5A6wAn)6IcBKkEISDfq4_>Ju^h#@d!Pspktv3)jZH zTGD?R&@c~OR0l=^E^_rvEsSVK7TBmq?McO`IrZ4e+T1VlPm$~6e;9`HW~g<0hT3|; zzoaucPHpnBw&kPt@G-8-XNx>mwtSKvALBNOP1+C}vu9E*I+He<1dN+={2t`yCV)KP zYm>Dgn?A_8r{ETyOpCF0yGQCS#AXY`x`kM)t!%=`EduBkRGsX>NvSR$*Ttz3&f{cy z&Nz_$$y93;)i;XTf1;CWK~?)aS0x?E8g=Vc;yRKwH`^_!T06*nzAn3l*e0}W4I%gW zy6F14+F};jnnkXeWs9$i7FMy(*Ll|$WY5=S*VpAl3~pzp)tixj0Wip(&zBCC z0wA|ek^)Kr7c&YkMrm?$bRaP>H3~0GWo~D5XdpH*mU99sf2Ea8kJB&^hVT6qb8L{> z+KwH^Xtko-f`ott!E!=-$hKBxktS8+iiKa#*hz}xvju6}*Y#%h#TG}Kfbsz_ zeQWi8P7@Rq0_K1UK#G8o0B{Fr3yQ-*S6lNuUnYP9AbXrF-kZI#QPVK;F&20B-6bI6 z%Buu28L@Q&Qbg=EG8M5m3FK+ZHpc2XdG%DAU#ER>e=6;aD&=QmvFuRJwY<>`UEEe5 zi>kqqU0CM!k_`Im>WBGmUQ#BxV3G(If(IUkn5M>DVe|%lBp>*Wr>486)0NkzNBme?| zPyuigf637u>f7}(m-R@@?N7SV8*A$7g&&#I0d#B_=A_FZaoVFaRL|r^Y1lc48ma4D zIBhD1HF4gwo4+|dott~v;sSSjd?_B~vUJ3`AC<Ht($Z+f#LIU%DpkE&d;w z-KBJI|G&u?6j|#AV_Ey$_VD57LBnEI*rKd=?#HmhBV=j!pZIvPrKvpW{}ld=S^M;~ z@gM4~UVLqIAB<`E4lca{$g{rNZ_^Rpo(g4dWOHdSxIoG&q-0mI4$RH6Sn`QVK6gZf0*FGBh?IFd$M2FG)loTbH4h z0wR~7mI5yUGnWB#0x5qTlsQjTQ51#uJ~*HtgM#7&4mjfsJcb8|h=8JiBPt3=Vl**Y z7-KXsF`-cl8%^llG111~;2-c0*jQNTX{_ul^nR=PvetR`oO83+y3fq)UouPPR{CkE z&H`D=K?0=$v4E-o%RoPCw^7T%3NXalJZdGV1gBV=L#+aiaGtdpR6SS=uCjImwGK33IXSLl8^L-k7sWN~2GE4%wwT6l1e>s29vqrB zgDqIzAg*Ayf@Ul)6qm6rU>laVic8q-Ux zQ9r0nbSTszniFb{DxhvOxDEc$!*nQ^RnUk~BUAx`4+T%O(c(5XuN|ZxR3-EUka>`K zFxVjYAow8oAow8oAox&tq#x~W<8?Z(!|ja*7M*Ti|4NnIel<&Vxexu3>UO{TSgObU zb)!_T`-f)-Qf2oq`j3b{Pd+8p?`h<{)PSd%Pv&X%dx3?<0(a^Q+#4=%|7n4Tp9?%% zEbwHyz_Xa$n*Bmf%ipg_*&`EbMyK=oW+z25J1uubO}p1 zKOWV|f-%JuYT(l;L5`m(w7gjp*tUp{Iewnmqm4H+`fOvAZbtxat0yxDq3a*_(}uYK zLy`t8(&P`(FbE3V&QpWS_OseWQcXI7xi`9qW1YD0S zX8rTuxFa`W7BkzIPnL$|rH7A%XVaLPT%#)l3axYkn4)1RKG`FW+U37o*rF>IQrJcj` zw(iK6lVq>TY8Y8(nfih)Lt1D+?ZGNT=}PgI9eGH-IdTE~H^OLjdPAzgNhp&CHSMQB zaVSrkS|%5e^W0qrdQRna)V(I*+Qd}U^o-NH4EOE+PB?BrV!Je@3C(Xi`5K<}a4;;$ zi(k3**9OC%&=wIQH$zLrV3$zhBL`CXNmWMJZ?7C~bNoq5pc4Jt)=WIjDcucH-i;yb zC!uzrarX)MC6zxO9HHpfHhHiu75>iQ@lac_- zeiT`IG5aP_xfQ?}t&{-_G0MGtOf%ufal>7~rnA&TPj8E_DM#(z4K^_h9HzrAc@Q%Z zVuG4#|FqKQ`kxH@w;|8^BhlBSvJSq)xzM-~Q>TKkO<_<;@b$&+QbGqc?OZ@UBio>~Jlf#J*g)>*Lnz^WL%r%Tb z8cDU70$iT^Zg7+x0$a1t_3_Kn-cH4ssS>60ymascF;!>M2^7Da5b;C`Q8EM^8Z}sd z1PKAyM^yTf&YJHCI(mluUhy;7G#Bk>I5L z(iu9l2#H2D86R{8U!zFx?mVo(jQ&(Wl5z+;CF!X@Tqs%^H>m>r;7Jl{Ayir$_m1?)W-gI zLG6=4e@rytf^pMQ$1gtne6+&9Jtt#Q3H?w=kj_}J92fgLLg%SVwl)De-rC@3OgD!Z zpJ=%^mT%9EOn#Q;7d=*rjt^ivR=s9ByczfBrkV+6Ux#eKagg=OnQ|Y>}E_{5rJOwa4G`%b;Rpu*ks7AC%G9RrIE zG-TvHI!^ZNgy})JHG%zRaCKcRwH#GA_&~BT!P%TKBrM{+lA`HL=ml88k@8~(27d^f z2Mq}{48EPxId~A+Rxm4ISe?f_*bnG~vmFbJdVIWxnyE&r)KXerA_l>c1uOH>05&p? z6uBUD_(Iwvt>E62Vc`)@oBSC!+y|(PD3Ja<2FOWT=jCA)vRfm0RR) z^G;OU7{YDsLMON+6ZGITOL4|Eg=<(ZzQi=D?A$X07c(SH_IU$482%T;N=~>KIeUnR z`;;p96HlNYN$gZ1vSfV5sjJG2)mBgievUPXIC514V8h9jh!hVDGO{Jr%WIy}JFfmTM>szEw4zD*-R%suEpf+({cx9#i~;- zL@jT!!;V4Zq6#$h<}LMS=Lo(~8)*A%9NS;U<|l$SaM;pE#7~&ldL)_^_R6EEMNY^+qrRBB6{3>E&`=trj~d zfdGti`yg-h(6&Y9i#9E4i?;W! zb&qWBSTM9bmx;5yz%q$byZ!trsa?sHW}O|FFJkC%*Hv4+E%zg2DkD3BN*o;%g1SS z?c~=Q=!B8*t2Mol+(;RfCQO-DGaHAElO&9~Um3z&F9UAyr~!wzF6bWst8G{`Bm}90 zAuN#+du4+6CbpvJw8GFPefMvTUEnD?Cga-280d(w9!1xggp6_|3$X*4ReX4m7NC#h z7s5flM*M-zz^4 z>p}9!9>K7~cm^Y&l!@aq)2?*e>USKtOG@GziXu{$gC&VQ0!5oW_}C{w#s~v;Ndhyb z0Em4vxI?&O~}Zjx|2#ugCQ6!9Eeh z*rgMXBUO3}_5%+#W|c({Y ztyD?O(22B$pLP^LU}jtF25vL9=dJ%ft;Uv=Q{(^x>|l$FM$Q4>PJ#$f2LW`4SL`sC z+8a*$nI97Gsxt+EodeT8Nmq~aVz@Utfui`r_IXP{=dJ?kz)E=mv`1GGAbOVAK(F`4ErpnSbe2@8!tPEW&JR#ZxcC}?Vd`aK^#5M9OOW}FtU zt`S5srx&pkWee4?XE50YF@WcCS{p5a8T8A5lz^^{Ghtj2S>Gm|z83*|v0v6nLvB5p zSR72jL8AYOC-YP;#=y0Na3HPY+Dyc^Oa8}2x@}09Tj3dc3@Pc)r7?(z! zq~uDGu00_+nhR2?o{dW+$WV}weP$?}u9bSdpGH+O{yW=yYZa$$T}ZTNsu&$y_&Qm-Wa3-e3P|s>@upaHTpetF>;iW~#|sF!AGbb~0``N2tDu%#gw&u|Pye^hbfH zUV-kuu)#97Yq-!*gfIx1ater1Z+9v-rV8s1?ZsI~le}(h{%GqK!#qpY8%G0BM@4U3hB zn3>qY#0Hk1AC^hp+}_gFikOX^Cv8s(j0QN=({b7VUvWov5}~~%r7ANqQ*)`%j=EYy zD>FO;E{@o*69j?~P-#%|vAejshe|G|j!xvIjk1Uh@BN>+gF2_b3vGP4LmU0rsP8@b zUV1eV^RB)W0=XIrR4HU!9n->)~BFOJDAo@>;txd(vorrFPkDp89+k zzB5b%1b?OV`7;~s>Qw2k#^yxegk#MOxbOYTHGSEi2qJ@}hi=TOvU_;ikH8`ZjzeZJ zJ-(h?m;3tsmI^m3{8OquEFA#HTZYJ!-Mbknp|x^14f~z)BlV`ZpWvMP^lw64qa=q4 z&$-KH;YeO{Z-cKUxA=UITlF2`K7PfCzo)Y|h?rbWCh;0IQXG`dn{6_WlfSP46F9Ns z7mW2)vBG0=*BPDS$n4q)1jD6^2){kw8fa`baH3{fPOAw^PYJfB4L;!CUzdsxE+vlB z9aa|G{oc{d7aPTDA$@*-5=&h4o-tRaisf21YTG=(<@-KjZ%>xw%jw_;*+dp!!@{Ft ziqbOpD}K}iKbxRd4$|%;`RVD=AD^!aPx_{fkJAU+wqb;QLs1hMwaqv(Pw!+^WybGe z_B&(=rT>03whv)2C1_x>G2eS|R^UhS{@Y>oF)~9q-ua&zgU8p!M5h*}*m*U3t@}*e3rt8g!SlQp1~A+A5z#%MndE zL9i-10_?`yG=Bij{d`U%dR9tfEYO=CCtkZ!#{KUa+f}z7Wl^FjN0^P%i+TltkSfX3 z&Of}1q-;K8SNjkk10DQ^eNt05prKgv!JgL{H2x9eB!SNzn=xqShTf1Xj!Kw;$tA%IwV0_Zd ztc%bSF@5Q$`Jim|#~^pg3lgG7-VLeen}2o{tSkO~W}Ch!?|SAK!po1}Si=MP+lm_H z-KbTt?3h1l9#vayUwXhrNSsDBUDTF&u=DaF>K_ej>jQ%x zC0E#8sDA)v@_4+LFXMkQ27(I-Z2Ku9A6X~QSSN9H{CeTVS~5chhokk-`{12VN{k#e zqOj_{d;)98A#@^3N$`l`F5s!BQy5!`=PCs2hX0W}2UO8xOqY9QM9Tc*H%;VMZT$(_ zq(O%D>oaE`a&a{6B>E;+(}mcH!FWR)O^osQDbEymnBi(!E9~9N%2ogS)7A&|4tz6I zL;oV5aj}oIr&1N897Z^Q{YkfX)0Cbz1Ehb~^mK6Va@Vl7=MUZ7eKZf5T;wH{b)KH@ zZmav4&~R_eOeCgjX}-B)88*Ieds1J&%b{Oas_JGcQ!Ckw@z1b{PDz*ohv z0G}&bqfImXyz0&DAA4p{$`$Xjh`PLa*>qvSaoOy&U>r>8Y#-0swi2m!j5Qp!p>jXhtRu>q5y`nF1FsDLL&y$ z+24=krP&fSjIq&-F5#(J#$MKiQ)88bJL*fPCBE;^J$1vJEzy5?=+u1x%~i?_#NI#e0C@82eDxeNuB%RUtm@ml&rJcCm}fT!d!R zDGnGD**h@{gTznw__u?l>tawvuwwzXbGlc}unkc8qlNj-!O|&JpKq6jW!H!l$5ID0 zF5K?vBXi=6G{poBcR|*<`{cpk-JJ)cg`Pn#KTSoFJoSA+;2eJX-E*ixpG&U?1=JqF zWRt{$L8lb|R$p*qB$fo_Ex@73B;7tf6gbz`3NPYEk{seP$C!QlDn5&o=eq%lj6oJ| zKPb{MiXpVSh^E2v1VKPe+_8y?$-_E8NLWy4PD^SISc%QtDho7|H7R=?co+bZP&HiQ5XwVozKv3=9B7=Zn=ka!sd^bz<%0Nd-4<&> zaH~40ts!V8=X4ZF-qD90;L(Q-D9Uxo2+?>DMk_j#%T*2;ny>qv2_iP{_Q%d0IbknS z1b&wdM@(m8d})?f(r73U*Mc#->Qp;QnvPSuuH|@cst2V8$gae36LA3Ifl4NI{c{in zZV?Yx6Zp%moz_1*5q4+@*$}P>N^bPBwKyK`T<+wg(#k=S{Y}bH#dHIK;?RD|L@BH0!4y9PeI*=rBqul$mA%zB6k5Z{HS9u6 zDZ{1^kdu0y<6w#wzfGugRp~vK4Uz^!YNJ?{PhZS@;nRXO9u9yNxKcCLiv{MGTl-zq z3mFjL+KY^=Sr6+y`uE`dZFe`>Aj~`Wh+u?x?sK3ZM%|XUeqN$AsS5Xa-(iBsu5n$` z9YjdqnUN<5P{U_E>1>Os746p|@!0L#$0Y%;STnnb2@dU$k+tja+77dDoWET2Pm($D zIckAAHe$j+(*X)MthVq_;nxoK3a!0b*=gFB)x&V;qh)I`q#9-4K4YrX?~-ub=P?#t z+b=gfd#JYI^BZ5i2MMPbMg;qOG#jfu3{s}^8KfyQe>r&=h%ELY#|=IYt#l@h+=D~%Mri^?^9|`# z^sHRZi2@4!9%7?{LE)@0l@%w5yx6e`bA0l+*e|>Sox)~Ittumibn+yqWZ9oM#QwD6{0~Z?AfJ_+@^HLsZ+M*?|kSRqQOPk z$0X5Zz2gTh!?6bAk>$(?2>gv~wZe$J@ABnTwgGu_KuyJ1?%yOxeCZIp-cX(WyqiwqNz6{WG)RyoUUms7&gMq8LpdPif3B4>A2r}#uHM<% z3IOY+-w^GYOVl&eAnAv;sx^P~gx9Q*qgTnE1ei{c`enW$(h}e`O`jyh(3S;6#5_f6 ze93B>xS(;b9}uYGCJ8@=-z?ChVLn{CMYE^=dUY8i3N(PxYA7&`_5^Q?{oURAS^|+z zSECnFgrY!#cm7Lon9AMP7sDAhT!j{nzyqZ2YhWAR-)`jY+h-%rvf|hC^UlLXM{+ON z7t7W2jZ)Vgx`>WuE2+6x({!@OD+h6x?GE;!?=g!8@c6v)xpSD2CZ943>mEp#wD$icd5TT{BUK>$7X`)Y>1ej_ty4RU^7*b7yCqV-mT8 z5p4;e&cM4;h8F?8ZI*PB9GC@SB^;VWi#mO zo>?Ez>dwl)Ver`Uc3J*f6iq#|+J#x3@M|G?=B%4pj-lF06*Ow@mr84u>yM3}H8pLT zA6ob}cwZ&xqi*D`a=_T6*!dH>HC}J{12*1HS6_8VtAE$%mVZ|2fyANDBaYKgm+w#}cc;%$h z7dZRm-R=JfJZv`Z|6ky-u&{Fe@Axi8Q_f|R6S?PI>n0i0QXUxzjCfn^-)eEu60Tkj zK0c8ZZ0fplF;sE3(;3mOK|s^AdhQb`2%IC)ZYxr~6mRZdVeMO=$Gxelq-N0?fkFLBreNacpc5=2eq?=0wD$dlDUL(i)+iZN>TEG zAZ8dmxc9k`V30v(O=qUNeNvE^zEcV&2Oe3Rsy@g?{8W?-&Q&Uf-7LxQVu;Ew}?u4 zx2|ve2%3bGEVQm2cf#F(*UYLrjb!8xy#;(A*Yn9FGyj7WDDVgVumgH7nucdIjV1Vn z(kaoJ)Ja9$k~EuRmK$mF1Nis#diD=_5i2o1HVbM06&4xjhCh!eh0PDGT->kw3qqyz zGVd9rwg2Sev)X={z6MZhleD)C>|N^#yWT%^xo(f7Y}#$x4`ls79+vs%^tyaHU9+`D z*c<4OmsSqNN>xm~k;Y1P+!C5>6Liz&;toiFjq3NRljjHKRc--a+9nIs#LrR!A5Ar& zzn`7yATE}R4;)<&90CG*q=HS7aafSfomZb*tZ#f~##5A>W&q#cgRgNj0xMZ6m=k3B z#8g2}pZ=RFzinO<$3~wI2a!8cNPZyDIhy$eZMF=Mw}|Ms8Vgh!2$5rb4ST=22O^2_ zEG_>uf)xv$*`X8|T^ONM@7Up@ggzR&3Nxbzsj+5}DnarJ+MDe}R#(W}DD82haBrkS z8W%em{>f*s$qqamA^Ibn_LTKOYem=36^oO!C5Ha}R-regcx$?BF+cZ-B%$j0eV+i5 z+A9Y_u9KPt?AMz05gB#qW|OB8e)s%x--i!)kE@@9SePNg>;YE@@R?uePTX71uz_Zp zuRo-)Y17uvF7kQTPNWa7pRlZ^8MS6{Dx{bmW>O=OM+H`u_6Jw9iL{01v>+-%u(MD+ zajy(F4Kg(aw*TIS*Y2D$C`(kbBG_9n?^+vcpNtq8uo1vacwzd!jF4|)#h1d)DeiRX zr&%4=|18r;>Je*E&U8MRYh>>#B6Kp+pv$rGT;`;6ZJ`le{PrlE!Zqp`2dc4ojb_-e8>##1akQ+!BRS~krUZ@ zLsLm(u{#E0cy$%aPObH+)semuR$-Cxa zVxIVjBuEzY;fkYjT#umI?y*>t!ra159nh*}Nhv<{^5O?u_*Ob)J(x}Fw)%syO9>2f ztd_o=Ah-=Q(BZN-nrH!~<0MpLg^EQ3#X&B#nptOmhVL@T(>#EkA9TN0# zebW8V@qdv8hUQhQp2el*(v^z>;SqBCUH`8(^|#o#7qQBCzU=J@x5ditQ~W#M*{wdO zNCCtM8-?L{X*FZib|=`?`Bm*n#H+3){MmB1@k%N!!%DY5XZBQwgds!{3HO?f0D)v5 zTscfiDPmQAmwGjXiX3}AGsN^ElHM!AG5J{|D2vsRF&E2jd3MV}{!d*l390vL&MfcR z$eVH46UWAsEJYbz|HHQ$O``?X?1n_AyBFPWuHUzs_dVIndC2#v>|=l|FY3&8 zIG2aP?!txVA)o715B;p=m4DqpkD8$&%kLabf-@VWn#PoA3cHtRxaKMUeX<&%ZkIpJ zi7q<}m5LP=@g;8^RKs*+{ngg+@7SQ9WRCp(!^Crx(>P z)Mf7kt9@Re&i51gD+_`H)!yT{+u7xBBYzQ89<=sw_}B>UZj=&l7B{*vSGN`?xRC8v z+8rW3oe<-_M&A1%l|j}w13vrZH}`h<%rf(Qe_(ZM_BKS4Rpy2Q-)=$zM^#PD_i;4{ ze9|{syP76M9K9toANM%J{w;T0X8I2PlH%ky4M|QWho&D3xgU<|uI%)Axi?&tE_gs6 zL5F3ahzY(`HKn6lr*2*RLo-{WAsDOr6m-k84i9?pNk*>1?h29lHil7N$J!~br;v+3V(7Vp)Tj>wK$5&R zQ3GSZ!u`Z&uejTUmc7<{@XM42+A|~9SD8j^nZsqFA}@xpSf6^PXi1~_1&z|dQ||k; zVF$ZJ_=qip`A*2IQFK&^TJ9qGIZYdfG$-#i%bAk4nQ;K^+GblyO5Fu=W5>ejmL&5( z1{^c|tnOq`+Pn!E4<1%AR-+ms;9fIqM?(horI5;jgVN>4Gh&8zV>bEV#g<)&cRadd z_qdl=9<7R?B=$Mx(X=ySY zzU#r&lZOB}xoz>Oa~NoPwL_tCi-s-n7W*`|Wv3w7C7z@p2_=ZEujsx*4x(hhI~yZQ zJjC0XBRvHzD?D+No9xWKgOHn;%b7w^%kKb>^tvMHo=T&L1nrj?1%VX!8@#mBDhSi; zl>A{GnKU?>Ha>FG9VJigXce`@7<#Ce%QN^iSioAp4^(>$`A8ES|OZK67z!O{iXmohiBO&CGl2#rX~;A>!G5gBYaV zD-9iORi00TJ*z8Pq!^YNckmkd6ey|LWf3>xAKN{Zn+7FM2fLsn06Q*PgGig znst0++Ep?A#y89|3Oj857az4nM??~H{Q4MNxXG%wF?OF&)MuvO4JruEfGCfA8P%+C>e6Dj{Y|7&W9&KG%P(O-1cKs3r-W4$(B#fLReI(~h z0K##1di_0VWA6{2{0I!ieuS}ea^3A|=8r|X{*!s%9ozTd>IZ9EXd0D)QbGz#Vn`sY zs#>HoVG2?eOet(3#S*#>ndwzzG=S}=W!-XVO@MrFef+7D?KP#B@>d=hk?AoMO=}`6 zI*-+(@9(aR9Y*Bwc10&;C`u9wH(5G)%KV+wD@@NGIF5dk({`0Hi!Uyg{kL50=&)YT zKrVOB*xDcz8-pOUX7Mhg(yOnxx+Z`bXEcLjiT>}3`5qkeiTMmeIxp>R(7w!Enq3Mznl%%6gNuR`*gN_n#N0OD__)uQDfLxhaNG z7Cm04s>T<;$yv@(0y)%81I_`FlW5dHkZO{VCqIpZly6jrz+>-(!|E56!|=3>D1NR< zdY3X2(eq*tG?dPtzW?^hD18W}JR07YE6Mj3ZlkzfzZ+FQQ#(}k%hOG$!lNfS2#dQ)cTkR#KUu~jwSI+3@Ah>g|7gQu1I_%&F%~9lkcqk}B$y%ixnkya35l5kI3Ls}1E?Mw2zt0jM=Yd?cGO+~ zgM9hm>@UlZKaTd6^HUYZ%+q&mxakp&J)-!T_ueE#HqLREvDzyZB@=UCCP^&|>iuru zQ0`>SK9blG+cfsF=xU)Z)3UN6kji5C>kG_L=X?~IewNhAx0s3S(?eHTXzn}j_2?)z z;)ILuQ$TtHiC655BYA$h8)ds!P@`QbdWf)zILU0%7>INe5PO?_+O}4D-+s7S7i<18JCdHRG&H$s- zyUoA=ViuMO5c@b{!$6V!FI)m4VZx{Jv@Yedkx-?HNzx7|k4bl-M=u!t z_f$_;hp6>VUyGaVi0FOx1o49rgOkX2nyA0YlYwB#xnQ8T9DFD~a=|;cO9~y^c zMo~~JAh1IQTTw1;S7E7sE*b7}(Z*SST=_NbWG6P6M;*9c7V`f>9bx{AVaQh4@q&rn z3>g@83MeQO1ml^t{tSKY{=2-X4?a=XvhVp}{P@)R^ja2QiCQrT%Qgjm##ZNRlm&0K zhc;^AH5mEFIAj(_GJq&+Xm2UMx-i6Ba#MVi=j@?T;{>w*q;Z)w$kUGwrRX@de)0a% z^oa)?`AmUDJG-x?h3?G%>V(-j6bn%}rMod9?qP09=Qi-yegZ1bHwxuioK~LJbh=ol zi|3(O*gdP^dyw=NaS$;&_$rALnv#20H}Gi4URbx4=Hvo~mUP0!4#xApjW@8YtLLye zhT*?ji=EE|ql|RyPqSrbN3{bvRw$A!!4#=7hWe{ARYs)n!i?yt_1c3vl2t;rfC1c& zh<&gCan|>k^>_+Lm9?LKF^C5fKT2M9wAe@%l9EFWGRJsh4{6qw8U8t@{v|Ji7*dvn z4qq)*hb+T+%K8Hm_Yv zZbnF|%X|;%*EHn=4a&m*@?&dMofd)*1f79dhqzvpSi>5o2UIp;FAC7p1(%9IM&~Lr z+R&LKJwVcJh&V19^g~D}!I!379Ceir!QV2 zV_odo0S+g;5E#;2Mfn-uAx|vF`io;5x-GyA^`lxXNIe=3ieNx+1r8gW_5o88Bs8v= zzI>^#XAfiS%n=L^0~)w>3F;CRsa#kL4PEY+PDI0DZ4TM_!5$z~H6M>Jz)sme&BFkR z`g5-foc%5xx-YRyd`|oZx|Tj8uS%3HD8>VXx_|T?kh!X5E_=(+l7!f5&)|HY*ER3F!7zfeJ}>1blJSu|-4 zly|v`bGu}sqq8f3?`2B0UVQZ$X8zTmsRa}-XIqQiEhr-`i+vXywcuK$7_x7>pSw11 zVl92dWO^*&H`6Ddx{te7E^r=xstcrPGT+;zFr57}6apY0l?~row--AQS0~SHc4``j z1#1asEUYeeoL&J~7 zH{bm*Sl|x!z#wWu7wh<^UXJ^QjplK03a>-C!)QuN51YNpZZV14qRn8(zMX*cf=R&p znaw#%(slUEVvFlt=?sts5$1Ni4${4G-apF{eih-s7wHXdq(9C5=i0mhQbU(2-Mw9H zrJ!@7a+Y`DV+Hd0F@oPgYPn0TNqR%$vrcs!Et+%JsEKfvhwK>OWU-ubp zqEZ(}&y$CqHuU`B8SneXDW`L1?3sg@*vL<}P^F#kO*tTP$6|0W`ATh|tf9U0N<*L& z29&*OJ?SX35HV<}C*qEab>Roh;=?PWykfk{q#o`)XZ+U8#4RCpQ>o%@KU=C;G?zNG z;bAxT;3)@Xz(GumI@C~!-BoJX6mia+9X;&|A!kbJCBIH&gYWxHG{eTYXk5tTo3bxC zq<$<%Jw~LicHTn0Lu>gJGG8p+{&H`Y08C3i{F?J3up+oz*W0dhXv znOeEFd&Vw-DtW?(v56TMUKUneCu1!zarNU7>W9+hDL%e+tXs}M6wjiI?eJJ5MML4w z^RLOz`q168+eeebq&bQy@mC-Ko8zxzu)&Yq8NK3vxaY8Eb&5jUu}DZrzPHRgnbY^y z{?qrbZme0c_bSd@Q(sLp#z0pta1=G{_;vZZgJnb!&Qa0c>WXcd&pwOKi}EFxpJ(fB z2c}NIDQd;UP4KQR>WWL~8;+BYE(OiSu_^R>3-}%t!jWJcn#gDO3$FsP-fpa1MN zn@OB-jQL??Bq$;kKjI`Yj{p*^^`3o7oA=Ssg~wP{!gZP!Wvh$JXtatzDQheGCYb&v z-a;ki%McK(FM(&DU6AAqkZUTHRqD$%3;pX|*D-fJ*!IX+wtlW{)YPRY82ed_*ipiE z@Uv+wK(^Dr33nY;t_rDoIp|?MYK7a(a5YXde9Tm-3$}m*Vj08HX1<6}t7YDltA;;T z;($|@0NqU876RuG37*yFN9vAWmzm?OGUdOtc~Bod+lU{Rw{>;Zz~0RDwE7QD=XDf9 zXr|WK6xFe`2MYxk?}B3WgP(Gxb-B$?)sAPDi*deEpYB(Ax1JZ0Z^!`Q{NP(&4$;IFaM%O zQ-{H@o>wV|Kqo+M$yND?#`Jw@PaSZ`Z)eJ=uhi#&0ZA z>DsoGoguaUIabuuOS#(}gJ{}};+a{pf#oRgU&tzRFE zHmOKP41inEv}3So=%BJwvmTdOESDYop`&w`^@Wm+0ch>+8Xar>!yeQrDOOD2@%dGV zWWoCRs({U9s`V2oRD14ZfV1u4y`8!wc?rn~quVPIX&>ZJW?fT$wfMlUL_B!e9|KNC zVL~IOaHZh!(|zAN+-=dt9;~-?}ihnl$%oY5f{^h(gU@ z!F#AiYlVpG$I9Nh{D)n-6mS#`OUaI}BWL)z9{`_9bNVNA%Of(f z)qbBS&v{3^go>g_=s8_5dfs;JqNFdnWXk`r`PW>)V17Yk)2X5rvq=SoBF z2gL;E;^axI_XeW^q94Is33OKj;KCJf8=V?V**WnxTN+I_t!y_ngGXBIHf?MlkFv1@ zuAje6xA<5`X8cQ!bzN!{WU0%f2OZ2zLD1{#-HVO$OO7F+W#P(M=D<%*GptTeag3#9 zQl{`30>2Xm<10We38rkTc)pEEtdN#GKH_0c`TVhEH?_e5@@#rgczF;=O+`pfMQ?8q zG68{60N(C`2UPTJ#zGRrS~nmhhGPyiOnq)-WqN07Xz7-07U%(^hNl6A$H%u_0y@E8 zsso-Z!roRuto@|a@|XYHZ}F20D2yq(!h$d5_EnA?~KJ*s^RnYsuJBRam4e7>G+u4{3s ze|kZ}$3a7h*-rCkqJ8&CQKTApmIt2QffUIQ^2% zKL9M?KJ>QQ^VC`^Ki` zP>ev>SsKG$(LTlC*}t%Wt={eoI^m=*(+_Nr2jKJbIqPXO1ZQ1auj7;D`~CN6@!=0~ z4)ory&ckoo9}u?spoHx7RUo*MnBE}Z-~b(4z~z3_>i0;(BG{QfTesHOg{4gLb? zP@Ni@KJ=7snS#HGx_eSGN;Z2L1Swa?Z%yHf?F8NX-@Y>|z`mP1z&KMSzqP2Yfb#Ep zxQ`Xe)NcVvHYgM}t^9=SjG}_m-jPE?=fhsi>4hm=YRi42r`1KUeB=DGZ=sI3OV*|r zPeFV^i#rF58&j_@u9CXuf|z+jy^$BE!MCTUH+yEHv=0$_5Tvj;H+Ha&FM(kYUfo}K zqexhNQZ7G1O!0iud+n1`eh80#18FCQLy-AsA7U3Eyahr-p!sNDO!f2NC*oho-~oyc zNGzZyL*K}B0g7ixerEAsVni(F-*Oj3EQeonQs~1%L-6@(Z(>9mbl(MW@U-6)v2pNk zz)2BQu+T%o>`m{(s@EdUC%8}t$d|}S9GKvY-fsT`5oI(8?>><38^10DG!YR}e)q*? ze!s8+OSWegzus;Ozv^G&KNr7?Q0{>}DJsnWU`_h(K%#E#&;GcSvUjP2IH|CiBcd0T zKbLu`f_H2F7rE0ynU*iqD_{Q|W(*RA$I0T;e;<=$3z~3$feX=Re+3dX^L~R1*|@!q z*844;y&-*+FJJz58K`{UeGy8sKQVLozTNr$#Prjj1YWL*u!!d{te_jaj7-NcjDDic zJ!wzJ?Ta=F^|Q%!)Mkpx?AP1wUOhyEq)6+e-1;qkd{2;H0BZ)!)R zZKL?v^EiC3!KG>J-HTyieKy%=)=vZ23GGFbnv6RPGS% z{7X`4f-0*UUk%Ik`JsNV!L*t(YpV@7nbL>Q488w&7W9LsyyOd&V%a_C)Tz^IB3wM4 z8>!cmdSS>-dIvmnBv>)Lt!!B&1*SV|zm-i~PXiYyB@jb<de-RcDz{l(GV8 zNmND07q&GN6{x?h@-bZ7IxvI1XgvL9)5PccO+&to7#qJ$BQ@et`U2Tf31Z_U2@e`# zc$je^hDww5aBroF*fwEQp>{VbX=54Ew)oiv-RO`(&^zI&bvUaslMaAl3=ESRH(L%` zsoD9t0%apkUThyvYqO2qcCkEoDfKz9A^$kot5w}j!XC~oR}p&HAT`<4W=TX4%EV#T`R17?^tFU2?f8l`i z+zDMxe|doXLvl(+<&N`V{3tUse*|1?)}l z$6x7Pa4q(tkq1+mM0p!*UBeiZf~Hv10^lT0sPS`PRV#f-q*U4`Wq?_Vl8~awdELmC z!oHcXd6)7Q{#&3rMU4TKbarJ#^zj6M!du^mPB7!&&u(7Ou!DJJ)Z86sh&2@e%4{7)@0 zKkpNDRNed1(YU&Ibm$jUL((opZwfTR6&MNUMF#{#uarR!y9JknsV$G)9M&L|$_a;w zcx35-)X$G(@-)4+-w(+{$-+{l$!gf@keiW{95psyAhhi9d^}karHh+bh-$x6byOjL zcH*6_oN!l1Oe6|LMbuKaO5GTne@%!z8|i5890k2U%^uDqa;5KiFeL^r-*nRCTk+aH zS|(cXhZ!~!j}@l+ObsyaJkUPqcc$%jbZv%4Fa3NGXCd6JZkbnAu4Ch_mDW9icEt6>N@gvzNVjH>s*7}2X8TnBypnn= z!&$j~NXu_HzrBu4xF$MdYY=~b#Pb!jM|@iltMdKPefsirQMzhn%`wK1`b-o2u%GjS zUaE-{2L}4%S3i6&+@Yg68!R+azx2A>j(btS0rfVo#$_Yl!LtIIoPgQ4o4u*i!i%$2 z=MWW08Th~jw3Qn`l36q&$75Y;=;hPBiJfl-3k zv*4+zkhcBv8;hTKBx*oerhVfboGX%PrKua?u7%2|;!q`9usH0alIf7XQv4m-y3OgZ z-$OtYMJ1f7k%O}MBhQ8Q^K2@TwC5~jTC9=8qn3J^0z$c{n=fL2BeM|&(xy!GE^d{6?PZ^gv#IAT(Q z*9stPXSbYx5OB-Rtg|pZvV+(;EtK7WtN+Tu2De+#)HUT%FjR}zhb!@ zO?A;~2l_o7Giwibxn(IV*AWgvN)Xg!28PqxK;m=Avs6o;T{L#Wp#7mai%uU0c$tiX zO05LqVFeoyed{{Lx`y;@d$Jl;eIU_k$Z^3Z34axTA_RkZpecNp+m1-pQ9z3;m%ro@ zQu{SO9}>Uj4#yaC*u~AwQw%NF<0MGg`wO>a=a~Mx^c5at3LHp>FY>v=>SFWK7NYKS zTi?sX{5O$_@V?|Q=Q#P`VROXncVuj^xaZ1DR&>%VLtk*>f47}(^nQP~4XcyJ)t zOlWL>FuDG+B178sBrq6o&?5rt1n;0@Mud5M66jXv5<{I(@9+It@Uk$@dq-g)POps` z=gpkR|LgM54@rwiczG6#(2Nmr|1$H@SK**510~9H#45xbqR61yZ}l$6>&`E=+nyvC zw9F^*RD81zysI!~k0Fz`Aaw@)J6iUiBRLR%_{)2@G`OFfzm|=Bs*)1iYfYT^T7tLA z4i=4;g!|+cPU|W-vpkSZ_PtZNB++YGOMD+Y#GW8?hf&eli!EGU=EF7x=CeoPdDdxuZpa*Jt6LeZ+cStq?H<_Vdx&C1dB3uXdvctBl${EK;U%dx%3GBm)Me*n(U>n~)G#=p68Z6FN8 z6nlqc7}Dj49Zi;h#g7^z6|g#PpkbSW`;w)Y#(41-M0M3KoG@r(htJg+GT%B$cYqw# z!g``v0w;yEaE@ft)Q!`q1b4j#U79Nrno#qNrw!?9iT$!6j3g#2+h{+WjF_H(VA|#} z!O=;xZdQJL>_u34kPsKMe^iTLBgO&MMfms4w@{%^0d5(rZIeLO6rfoXem0(XM; z)Z^tMoraD~2jcO$aPo(5K0U2LY4WZ)p~h|$A9r}c0sQy-cXzi1%Q?z_-)}@UfYr-8 z$z0UQUH`6iWh_Sz&1?%#jtkkh?cn*QPv__=Qa0m3?eiw0VqIO0% zHj?aJ=}ds-e4|#+pv4n^d09&+08Ps#1x*m`#b`k@@1Q0FIsc+eHlg^Vj2`hM6(^!R zMX_Ssq(f`Bsplmu^>lq2;;Sh;Z7>?)aB&@P>~Cf-$glll!?(F97e<0(3%OkPr}(0M z9o6~11q1yW#Qb$}n7O637c)peJK^SUh+v%xQe~gNzxzrq@sW6cE(@tvq=wJl(#grx ze$tsrWTK*%yxa3T?t5DsXr%O-1+SDimNp@pAz^uDztZh6DHn8L6s%{XmdwmXoX_Hg zo@kwzq|7-;3}N1Ydq!AeAO`KRX(>-?Zp1(rCr~rYlzUk64sB!rg1Hqka3`HCWqcZ9}bq2=5=y&yX=(kSnwuH zfUmxr^Zk(X#I?Bp;=`OT@_rWN;6}bKTV|Cpv%)=N*+tZ}T66OlJhTfjKBBIII}WtQm=mSl_Lc|W8TB6F4w}hy zSMh8!{ZI~l3t4ESKhE_NB|G%&Ss!#f=|XbPevG^}_nb}NnDJD&_kwXck6lK4Bbr2C z`41sNjn$5Sc}XFh;Tgm3hZBl@?mRWj!5B>1%p-y+vEycVCb2IegCK#W647@(;Bst_ zaf!sE_|Xbqn+%n=%kh+ywm~VfC2R!Qr+h_2ri!)Yb^%d*Kl+3bQ{=0)GI zmeQZINVZf$r)6?GmfkI`W?1bQwZwybwvr=S) z2_WXS8Q4nq7bNT4sf4*OH=jnvF_HCbNFDG|hZT6qNWWmXbz_8-si`JQt1MT036_pO z5sZ&!nsgqO8k12EX)P^W+-z}c(e<7AuGXpLp;z#-#@S4s_il^ozHj*Eye?Q>#^c@p zY(0~Iu_UCJUCvCpPL*L1X-&Qr~L&s&9hYyyIR96dJaU3f} zaN`t469vk;V4~~%3vGhVHxh<7kS)VgvWZF5r5s zc^=xHuCcruBi#h5d(91RcSACt8a<|e#|Di>Q4F3~G8+*?lMHV02j;=8VLx0B7UVS- zce+tC0TM)S&F0Pk|1$aUS6p^JH#d33Q>PK+i-buv_xCKT<7Fn-#oJIbNy5kq2dD6< zIHT~|WgdG>!JlfpHt1J?TF}2f27Hg;Ur_+zHiY=|CitCbp&3loQ zP3Vxm_`ZwJW!RyK^_EQr+YXmF)$bmlr<~#*b$Vm~MceoJIk+0oyp-5V^$n9^@NXQY z4^!g+q&53-V?uw<{6%z^Eo%gV6)wc)M8Gj0|Fh)hG+vXa9tfFOyP%U~2xgEPb|lKa zXr;pO&;5oVT`21%DGG|slaeEUkf%s8nR5@ue#qR~D!hFHLlzb+zkr=mWzl zPiRC()aD=EYmdH)dd5NL8tcZ{YYU6Uu5Rkvt!6}-#1vb7p4YCIw$A^5oeb?vQ7u$M zS9iN2Wl)ana~!^Cv~#hnP{Fk-n$F9sFVU-_gt-0grgOAf@w?F^-^zO{O|M3SG2&=@ zD#SA!a>`?mU&1h1Ug5C-&d%D1VgqqC!!7l?@!m#gTu-S?LNFR)?M5uvT|s~Cc5oI? z?zQGEe=z}R@g#J_bs$53kgxSUB3{~df?G2>l75o6W2rP}I|sw50R>tWi&&t=4aF$EVg?CSMtB~y{9 z2P)vc`3lCl!B{3jvyo?68OOtt)!B?N^lz7P1|FEb&jgkt?>phuz*}{%17#+CL9wWY)dTu z8U&=?E?;b6G4HK^s|X4R_?1c>zPOGvIOvxCz@pG%9NE>_>(HQ`U4s$jeOTYY@jC%x zXGYXHH8ijv!y__n*(SZRBMaG4#}9OnJ+32aGD*YTZaaMHb6lW9oh<8aQi9_;Jdb;6 zKosOcPtX<;`sqZ!4hEGEH(wzCs>$Q-`#w@AmrErnsB9O1XORPv;J-^eiNeq`Xt^$7bpsF}L0g-|_+hwupd+XW^$n43&K=ovr?`C$aAt&4VJWu!*UY3h$tluP>ln!q)M%a}?}T z@c5|)!kzMer(!7kpO74BdyH8RvCkHAdzI0~mf!}nsrGYScYP+aWz802^cwByvx`vr!t0_Og!QDiBPh@WiZSms85iatshSpygt6IcvlD$H*6UG+5n5HLkQF_MdK}YDM8GuEOU5!HDcJIG0}*E{ZE*k5 z2LcB5`kyPhUm{-1!GpNgTG6S`7UUNC<01UpQF@X|Xw zV}^WN52125|J2EU$b^)@Tl`%)k;=;;!}n;3cGPWyheijsLh{(qKVpK#-&o>et3PW6 zB3JZ9p2%IJy5}MbuG2T3qTj*G4Wq0bX1T;iOb5>QN#Hy`$Kx7l$n`E!(y<=j7b~!T z1*uZ=rJFHlwS>yDq(#~m@t!*jL+>bq#n_Im*hGIc@8$PI)$Vbma?A<>ckI=@)qw-V z5IX*7co_-ST*LDw4wXog@$I0x1rNK)=zarVra1T{Yp=U-Xb!2Ze81?I86i08TQV}k z6EeBD<3kn?b$ixQ@Lw#I%cR~1E?0MdVKZFjD}8VvJFpvruQRC+GOyQfNVKh{-lZu9 z$QxgH7T8^2wd2#LGMvjj7hA7MWRNg*t=#&S@yIf)CFt~h>Hw$JKQpjrr|+6fwJ{wB zg{9NhsmP*jhF~CfMi%Di0kSCPmi8=!j!~WCoV$K-Jo(InE!F!(=py>qYNix_F{hg` z29hvqw_@TO`)>s;v#tZ6(P)Tz0U z_6GbtU7838J(*8Gu|{C>_lEMN%Hhm#%)7oF6=7k^+cSZjq&OtR4dWj=ZCL}Zvz`ls z%8by@%8q^Mh=V=P=^^w+w!IvGR7!2lsz$4>Wf%2BF6pirqrEiJ>!9RQ#6|*oYIVla ziMZ=c@PN4255dpgbtK%+2KdXp7f)&tWz)yl*1w+l>8N5ol1l->{^)Zd)7x63*mp+Q zH%!IISY0xnCJ5kS)Ln*+^1^NlBYIEraxtU#ylnipx!IYLImQ@mL~TKT^( zW+xhZI!`w~H%Vc}iFYDYhOa^v)p%GMLX&-Jg2L4@Yf*hjRH_JH2`H1o&|j_vk!SK^ zMTWxIm`Q0K)aYxaH|Y$^Ze(E z4JLfFroo{I#qA(}X_~4Zj7ckk{*oZ?%>IdKuDHq53Z*XY7;)xxBQ*CEqrFu^io|DC zDP|ZwiMB}eTGG>BK|hCi;pSqtCMM7x%+;kkdwF>Vwj*rNUT@e^kQTCWM9!G19nBu? z9x^@QJV|%Z4TFCLW*~8w=7#!zL1I4AVvrIZnCfzRMnMXH!Ao2?{rVf>90bHj+9W+2 z1Mx+kcRnpYyX*p7uSJuifh~BIQ6jgn4m#-P7?`31(r;k@JRe62?fky6c=K6|&wTHd z)6pucGfBSuBrd~eOySMwQ1YBvNCTAK16A!z8B^b1q8@^lY+(6DD&q6v?ReT2=mXj& z8abH_y{Pqnqe`WfvV4_43e0#e*r1 zK#)Ru8aE8ysIJca! z99E7eif%ILoOHR)kWo0#vT=(e+lQ&z>gU9*$J?w z6c-eHx%H9eZq*l~ujRa0(c#-94l&r%F-s$Yi+}XPxvec|pMiC=9NZx2q*@LTF2&T# zC8tV%{Ph*G3y0Ary1Nmak$e^DMYz)V2nMuHPy*%XTC2}_yc9B2HoB+DE-j7>8_}9G zbiN)XMToe)&G%9%f=J;D8}?=pIEoyoNOy_O#4=mp17L3h_lIWcH6{|gdH@i&kRi0_ zZr_#fbkWvAo|~~*jm;D*?CB_Qw=--i-`U20^bA2b{lTydJfvxJ6%d^U=@9)>xawMT z2}WR|&OmeqYQy0>06OE<1>A;-YV_t=x{oy$y~?5bYes*rcDFD+Gd8ZBb6q)7oP`df z?3WFdKp!`V`-`eXg$g{+eY|N6%}0u7uDsp+L@-hF)k>bstq$b3{>E7N?x6a{osh)21^ zv+|zaCCmEy5EHEIx!+ElKZy;qz1HIWMxT?(RtloBNA}!s0A;Z{)VrJ-dt2be0**_3 zLGqlX*Bi;_@s7O(TrSQ zp{6^$2L7CcA8QdTKz8MCQlAyTx5l=l$mE+TFzsRBc{M2h9*xK1*Sfiqx{_*^#fWsQ zp*ysD`)y@?H4MGR__Qy_sIL63>9#v!tf>;RS*Ow0i2#-$Gd4;^DyOi( za$Zn;S9{3%tLRLW1Iq6qdIb1As8WVwo|2m`I-tjL6%9-bWL6>vi?AzWxBf4zhx&r) z#8eAp(PKm2wOg@LVcL`ngSqN|XoET`A@d`7QQ1d@v&%{Tl5oB){=nf!DXTk;G}lhB z!*}aT+HZ8KbWGV|_DC^d9uIub7+OR7gbD*#IZ$f2li&SHb9PqcMt$OcuY7Cj*G4D# z2E8fZb!`}5D_YiV*PdZ4WFb%2HGgz|+m(mc5dYi%JBZ@SpoC7PCQ0sp*r?TA!_cRR z^d|hYNy~yYB=F9pBV@(Vl8fKguHFs-wfG%v$Nb+w@}^-euCIq++o{9HUCkQ^mPc^< zphX`?e&k9=+@SIP!26yYnS+tNiP(yl3eB$LHY0zWjECXfvU;#Yf=6D30V zY>dLV4^EpbeOcI{?K}{FXGn;d4}7fJIl0$^35?Y^%Zv~h59&)m+=ngrx^mI@Dl2~t z%Bsy1vtj%F=n%F#2~{(_Y*N>w%Z2-S%%v0~>SUzIGbQw%0QP&~AaguyP~`F}tL^a- z2?65QUr4GYo>o57;CYw&bGWNUkPxBqWLI0u=a7y{JQ6uml1iixnrL`F@ybU3dX;p1MDMNxADQMmLIUQLP}d(C{hu=(};gkf-T?oQ}SE+6o2 z6dv(p3jw#3d%onYu>z`(c#`MsQpL;-zfqT6?vy~%4{>6D2zoz5>{>B;mv}zcCLYJT z)UDMk5SA#F`0lxN3h(Hft5&diOr?Zf z)tph?3h|@(p8h~J1B{13J)>^nV|dF%Qp->9Tc7graE?h**CfR+cogyv%PKM;<%?i~ z3jTJcnTG;@jtIg-tSQQoYOeDZ@rV*VuF{cVk!10obLz0TAmrzjyRHq_$DYwUHjCy$)MRvNFWhBr3wlHQ39z^FU>nWQfJ(S5h2h54Ee zR(HIAmnV`Xi7z_)jikh*SlZ5RI#1qi z6uIddC_NQuG<<`APuN_i7LfN9|NYUeo+Fu}&;=v(Q7FBI9G8d`=%bEq%%3!~Fh0h; z_LUP9L35-w7pxSy9RZKS(9!yJD^ES`3-CyP^WyI7sP`Ps;MZmkLIF3w19Cdrs=W6D zpR?HA7bE&eg&7JYT;E9!Ab6khPUnnz5`A({?+{FW?NWP2pSt#F<4@*<8Ms&hF?Z#R z$oE12@N6f;KlP#w?Sg1OO-j#jeQ{`<|@_vxR2>NM$F#O4~9~gd*sDq>V>tJtwm! zyyOK}1!Tf!-91RkvblJi&k?NerwY3&t9;`Zzah3hrF8nsP_z&Fhb15#)>!o(5prai zzOEFNq(jD<4kPZ$j8ZwODAzI<`~ z+<(bZ(CxM9=kpu5@GOdTs?k$sQTS_X;8Tn8d!sfn)?(*YwS>0&Hx$F6|k@;RI^ z?+GJjkmrz6f@_5WRec~qpkqaWhkG9%mA;%Mg0bNk@f@snQax`JVQ7DU1E#K=k5oXK z_KpH=q~9v~u&}@FKnoBw=gr!oF~aYBbq4JWk_a}PB())qdYa&y?n@@C?E+U8SNMUWa@_nH*!!dQn zYga7jzd4|?$(^AUFuHA#=YVOVka(|h#tkA<$bFuK--NY@9fTTx@L(10iF{5W*dEa_ zPXIS+W$8um&P^$B+Y!A4pMiauG}2YwLTk@_6Op3$1yNK;%bb_X#S3uVl9OZ9c@o}T znZ)YA6VMWlBecjv*{Z2P5EIB7)t3JqEiJ2Ev#2*#lhvUNR;rrELh@5dnqGbKXgTBj zcDIzF{V@FI7n_%V7cfZGhSXX&H=4LzBW)X{uv0W-@v$-rtocR?5C4cymR+;B545t&3yqH-T(_ zMhS;vtpcd9b6^-5K?p+A=Cy1dM5u|UEs5G)E*(^V|4uyNaSvP%dQz_vndB;3y7Ah~ zi*ypi5R=d?L^cmFl!eS3dsD4@w}Kf_{C4W)if)Q>sgpys<>I?o;32WMajK5L?BCcPqLQlJTmQP41)<=6w$u$Ai!$JvP zv611FV3PA`o$VurM~awWyT_ibr(Kab({Uq6@_+F}7eM<(x^et+?FDa>X^Q$i;b$*w zEbWyoU|e2(R|Nob@H59e&bN;47dC1efrIf5~Gn2R2!-?`Qy%hSO=hGi!|&gF*;T%OJfiQTkIMM6R9 zRluikk{pstaMP*rlp<)%@GE#?Z~Z*p{ssDD5sL)33Fyq*M!znGIJq_VJ*yBpm{k=U zxD5(=^b7n}Qsurrs=^~swTL@>mtJOn%(iWyUgo*YY6g($W!-n<+8$jQa;pvWxKubG zp(_(s{=(FD>M1>$>LMWPP4xCne__lvnWu+&9wa^d>k@}2Kmc4P>Dzx7U{ zC0rMK=LIgZV^lUwr?d2|FZ%_54`gPHK-U^{PnHu+g5z-W zj=O}%oSxCR4?Isd?OELb8Rc)CDx`P9YVDpw=*-C#)@sVoHm%Km6*wx)r6$3wL}Qx$ z4)ja>7s^FTJZ-KaW}GsdF3;nC#7pd^NXw|UFB*h*QK5u~W>c4YlCeLt)BN$yBU@Lh z4D?%!V2+!09xht%u&XI;0ri)2v!qMclU`HRKDYcl*R4iRZ?ccz)qX$6Nhb$%00E_y zkO)emYb`-B9)_)705Zavg?#n1Urjz8u)cv9^6D-CxpL$id-ZV42*hK5wM>KFt%&ui zDoi-CpJ>Vv!$H)KF`ahHWTFp*17hB5rg*V)ePa$dwLT+s8$%(QT?CnNm7*b`8rh*7 z>g$wEX4mULLvmgI0A~R)b+Q)IXbJl*+X;BV-oQaQ-b+M3h}8~SMWDTSW)M(%^^Gz? zP-MWRyoczg_S&mhA6eOdFwVauvi-!5tS4e)c0-7xoA5G4j#r8-?&O zh?I!g!7j^c$m2Vwr{`7Y*UI){8KVV%J*=u;`RSO>yzVB@C0LQr!`CW1Qp@d^j<$8t zFpVZbRE1``*7w_{HEwJx{Ru^?-djxjlJ@bjgjC9_Dw<$CxSEZBRA+X68ezvV@HF5l zp)R;Qt}%ef@Jz>($gmUVT$4l=Q|k_^-I_qKanSl8xx9KgKBx*6Uz$FO!y~&;%6n$h8@1Zq9NBL(%jjmJ_dVF6M3u@j z=L`r&d-pH0k3GcZz4%2?^khvDZh>4DOJsYRoZ0KOK!&qG=6xHx}BZ8h{Y z5RhRkua*X<>#pxFODOzA4^tvF{cSk&?mRM}$&02>4C(tA@wkP+4>8>Q8GLrR>_I~A!z^%huaeDNpyufqGJv&D1;)`RHst(_U zg3ntZ&Bk>pS7(bD*!7I<%>vP9rol7%wq9aqd*jdDghA@=W7pEwTh#_k_nuS#G#hJV z=d<{KqN9<?I#kN*nc1`P&BcXJ^1WK{~dD(X0UBxf%i-=-RM1V;Ns&~U#&P_-`UxQSr7?NLqQd4qi2~EM4g9c`D_u@H|6=%^=d}EDDygqw5 zOHu`KXcxw@IKGVjD_~IvIGZXmIjnv9+;!hQz(zq}9PL7}cmd zRm>4X;v;LMQv-1NcWkflz(f30mZAm;$>d*LcIi$#iL8WgYda(nY|*IKF1wJQishFU z&SHxK^t^zd4?>~b8%Gv?wCdo0g$0BmCn55H5|9~O$NjdS3o4}Pl1m<;Y3sM>KM(u% zxfX3tRYMN{*ag2bDy?!pMW19xlSweFFVWPPl>D-9o=sg0$dxVz-w@5Kao zWEI8ITu6Wey=XSEXZe_qrwTK>`ES3-r&zR`d1aQ$@%I~HojJ5SNp@A+GN;fXaQt%* z%I)$)1oB?nRx$;B8}e^|4BX!9XxA0VF1Cg*7}Au8J)4-A(tcoQiG(D&1Et%sCqXng z_*9~8@50D`HXa2PfBBq)*aOtrcHF+ELPyrBO;) zPsgBc)1fWL#4d=}y$lpY>ayR37G9H+=gT}7jbZ&b+C;hT#Z4etcin`L&E;)^8 zVpYI6dzdarKdi8tnitI|v!CI;Tz^-DL*`0EYR9wy&C^+=X(M?%3_#F&X=Jpo1t2{2 zs?saWSO}!@BDAo7`ckeu4W{04`Q_33unZZsHyXb5{eofCFX!PTB=yjRF3YOL9Eo@X zktdFK=epGZ!i#g2O>kyxGawyLd=DIUfK{ba9;!=(-2t?EPz=(e=}?9w4hEVuWc6p! z@`YnzK^Tx6gqbdAq=4Vr2XgakGmLoqtD+jEypvv({y%v ziqU4%C3W2~7rF`_s~CAwvcYK;iOH$FXAdY~iu0C#DzO_R&}Q*2)F%)q{H_x_KyGwi z&967bNFW!%*Hz12=G220K{onn<1}_3hGzSt=Q&AiY%1&&-Wi3O9;9t1I1^Td(D%GI z$cDb9tAqF4b?lPOoNWFz`cc_2^TAq6mqHFq6R;N7mSH!C8J7i}gH32Ll zH%azfjZnRQ3*<@so3NRV<>0k3rWcsUBn-j=n`wo7L>ytfjSJ-t4bpAcTm;Kz9?ZPuDUE6D1W zD&$Q#;oNx)!wj!iXGk3CJ$!IqF_mb#V>`Y&;h`UR&I^|XYJkBrJ7 zD-NC4=|tdeSE%2)o1A!#jB>ZT=bg3q!LFI6Es?-=9-*4A#HEF_wK>U5(@(ua)x9Wx zHM(-w$seYz4Jq0&%A`;WIx>Bi!RU*@SW{y6WDF~b)n3EF7|_-3-)5O9;D^qsPfx>? z5@S1|l!ulxYWL_EN+V3}_NRe`zFZ0D(jJV_Sl5S9(^CkQQb*VGPN+|a`*rZfwF%lO zY{}!E0eXnVRmnBP^(2|8zUmtqucNDfC`i%nNJU}U8-}VF0-pMUVXgC{Ouu8TqRxAb zn+{$GLnpcp>$;I+3F&K%wBYWnX@DA+ehPO9=-g_%bL&_oKEX({hD&Bwwu?(PH?a2z z*+KTM>w7|b|Ca}S8e3GKyri$&)MNpkl z?q@96h!u#QC>py(KN}rfNZfuzqaYT=T7a0{Qa=!ED&#DBOfZwXZxkw=i?5m+c8+w| z71sudnD~DiuuO?j=JygXgjtnU=GN<*&Oy$W-XR(U8+iXh#$vFU-6vPNdjeg>4DspF zJjz#_l7&WaYvt(V01T65|4@{F!C5 z`jDR-VFg02DrqtWknVB_$$wjBQjaA%T?YZe#gd9 z2EE-0m!Aj;`=$Le+#(PCvdUxy2QIC0&J89fm495QF0I-?hj46dZXwKr*b~P-tzR&Y z(^>07qE+ChP)_AZRp#k`;muj+x49NQ7DhgC9IjGHL3t!#O1dqgm`_+BITQpdq2yr! z1OtE5v#FFq^fPixwrFi$;gmeIDIW-2qdBG6NDEhjY{kVL(P*c#T3ouws;hh{4#oun z&Tqu`vmkgQ#!`fxO?F0$Td|Cn6zP`wg*>p^%+!$=%rHRd9+-Z|$4o}-33ba-b&fPt$ zE9a+(et7XCcHh^vjjftAizy9KZ(mQ4PH}hikx6;kX`!?p&?;GS-OeAeVq69bwS?pE zen@@V;(pVqb+Jx=4q6A{oEz@vn?U*MsT-p}zJg!#;%H*?WTfS!O@cy1y~?#oQ~@?k zV0qHRN98jtQ2#tQ7gz%Mjkx2MK5`DHG265UVyCtD@y73fxOT9bqzsWai+YUCy76Kx zFB}MlfS3&wm}LqUcVjS%M(r!wF<;#qyN^w1sn|4i3L;0u5Ayl3V!SK73N?rjlL3+(2LxpI;H z@Y8JJZvZL-0?UGvaV!%8IXROd=oGW@jtoBmF_&?r0Ti-xuY65Nomq%#=6t|CT0wDvJdu##|mzZ+` zxwm|90to|`ux|p)w^4Kg2?Ljfa{?2$ZFd4J1D9HN0u#5adIH@7mza726t|sy0u2KJ zGM7J;0vsAJFbXe5X>xOPAUQBG3NK7$ZfA68AT%{JHJ9Ol0xExLbK6Lg{jOhukL{Qs z>OL^xo?gqg+;&^G+md_ib~q+L5|Ys7p(a2d{pw+i(HvL96XQ)HEKi)Ldy!-r=!{H+R00ohXkpQ#h>9M8%w_IKqr+>F zU}E7h2ZoAFW{H2nbeU6$$r8zhORT~b(^!{C!A;@>u2^4yP>Kw*IG#x9^pP++ky>Ff z8e;`$EP9-!28c6-rL0Yq5X7=elq6oAOq9mz&fuD1fhiXg*N&0$ND?qI0Y3Wf-K3lBw>9mTo9CNw6r0x79aV_*_YT*ER+ z#o8DPz|pXf+Yqr0`a;9Oib*%x<5m-~C(|Y~=MaCJY|(J&pEPR7TV!w&Xh&-D3CKZ8 zGRlI0h`~ofI2#Qu6RiOxL~5-+x_|$OoqxS9682y+nbt?_csd&vv-g}_^8@>tJ!KDZ z14%y|vDd|*PTngmQnG0-QUSf{Os5=TI-yc-4am;s{TfrU=jG%hdvO1LSb#kk)a7)- z&e(sO*H7vA;i|5$tG_dLS=LwcemarXCv zm$Q64&Sz=;rM~x%e;na&1B*tGBuKIy8i9Ws-a-RwOf!IP0g?B?SyKlMTl70c*gQz? z-%r?C!k$derwMzM{7}vNRS~dBk5h3k*}==V^&*W(fmC9YNj-F~B~Lv812~|1jT*XDL-%s6bLfiOeE#AZH?jr}{R|@^M;^%E^BypG2nf z>k<)aRy6&+sveHYesjlqb#K}m_NMEx>rwI^84+B+PT1RbzoRZnEovYyiMcG9%txaS zJ85m8MJ!8EXWod`cw|r1EjOXnnS*88o6#cUNR+WRp;Zp^>YL4rN;ftBW;jShJ%jT4 zCbTHSQohc^3Gz$GlP6T-qt1T|qfTTj@Zt?sg(!9C2BR24%HXVkbtUZ8qmzW47hme+ z!>Wb8$}fu}_OMA_D55EOzb3P+rt{gLs6u@nx=xE>nIBKTB*BnPW>VDrsPmB4GZ-l9 z4@?p2!$2Nvzry0QUm%ufyAZF7d(&KPa}6WcIlOtU7Zj{q;*?8iXP|!pjS+J06sbK+ z9DE9D{U37v{=6KaAh<)hL{covCFNm&mi9hbs$c}zCLn}q+LyqQ^wx4|P}W7t|ErjM zEN8+}Jx5PS}-%NQ%Ij(Jl~IPlY#SK(6nU@$z9l{-dgk&-tuwiqCs@=F@9r zWkNhY0MN$n2WP?3;+~nh5P&bM<$M)C-$(WK4ijDvN|Cpf*XnwL4kWbzYaV zyvoNcZi{2HlVS1Yj(I}T z-ivIiVNrUO(mTo9@;IFKXT_)BBX__}x)cEu$qNBCyh28dK~%)9Gv&9b3$|!=POq^( zmBr_Oq4S~~6+cnWj{|QntQh*ib6l%S6MLLS2ux5ufh#9qkZ@*`Scm;dcpd7I5f$|YI^~Ii zWOA0|u;hF6e|BlwO|8R4!JCl;NCZG*7q3im+0HgvQt|DqWdkkG4D< z%e(k=+1DLIy^JAHb! zngt0xHiF2f4ylKJ8gv9xAi(yUoY(pQB(*&%0}<3gg|o&2I?!bSLo1tRJX^oi6|K`n zqbm{p(2#|HNl8!P8e>F9ztp>;^^DH3Cu${(YiZ+iZHSNXF1^vx@>xVEwwp6qNwf+f zx2S=iK?&(g*49-h)PYX>SQut9+(+{q9u!x*~HI0a%sKdfay$>yR5<#96f?*5f($kZ6v7hkOvl3X#*ortBiaz~)?_Q#Quo zrJTXDg>9ZUePL`fJL0lv0B`0u5l+-T?eaKm2<}Tk*IOM3!eos$I_-}3Lhp)B<#LWj z6=sz>QmBj)i^{@$Q6ZhDQGnQv=cP>uzN!I=d@AJNaLx=N9M4Kn##PvXVJO9cwZq$x zkz>w(%YxS{LevMgh(ciN3qIkoL>c=RvjWOsj&Uubj;$`0)--E8hZVasc-8W_jk{e( zGrHxX;TFCtnse-l(s_h!v5?CPvZuyIsG7;R250o)gO2tSMrNE4vq43IhYOMTV6e^; zVQl*tMgs7jD1rgUg@p)eZMX<$7x0Rl+fI9bT`FT1+Kjqs+L8k9Qk${2t7A*=E}EXG zi)Lg?9Vv9EIw%b$WVf`t zJ#l6YGtnz;i6X(T&@^LXfAEvo95C6en0!$!_(upg5$v`zpN4+DUQQi$eyuDPf~iI-+Yi5=*3typqG#~ z1Lec~`sbp&yuz)w*oGJJSx?Zzr*%Fm2M;EfqawldXLT|DjY`8K_O=;>c#S!KuJRde zu76+;*hBV+J!U8D346+(vs3nxy<%tVoV{Vcv7GhUfDKu}ipemquGj^;DA^^uVpm_U zuZjsP*&pm98?iB)uqnG{*Tt-y4%v)VtQygPn$6iK_L+TQU)f*xqMRosxT81C^g?yz zmCA11p1u6_;dz6b+<}`S+yuRUGt0gYZamwA+i{EB61Ue4a{p|Q8%)RJ9QX~(VpddT z#fH;*R8&<7L<5u;=1aLKR$bL@)qzu zJwM-JmqGwudW%Ir!(_IDt`IBe(rt^blyVi_9vNfA*LLAmq6_cC0PGomV9cu;qE{bR z@FesIuo5WkF}$x`L}dKg;iibZeEjC=@i`EAy~|HEZ~T<=Z`qr=k-hD~qib$Y!b`?y z?3ZA6FIEiiH<;edbQKpwEr z@}?gk(6GOX*>qL;>Ja5We*5n2i?>1fJAw`JaR@f_BiMJ*z1gYzN6_y%G+0EmOW+z& zoRRoJ@J(^eA>zJ%e)jJ5Z$VtQLtGVYJ=4hVI=ivBW{0>&b;ad>U2&g4+#;A$^leDF zD%wGL0Q}>Y!+S zeERa2`s}ga$Jt`*@{HsplJL2#R(ETBszb(OHIlw z$|9-n;&R;tM**-PY31VaY}u6n#&B-#mYI`u1;UC$CTG70PzC z(Z5>s6n(6tu|LSdXPJ%WR{WVSwZ?bFUcNK-_UEHfu^Mj0mT>!cGMEm_$tBh*FD~fg zTl%8ny->E9;lrlvoeu`66P9wES4H??aAQ-n0#*3$knrinNja-(Vm6_y{5)@O;P3w| zhxJtz{>dbN(4J4SQ>*dfIM`F{iiLApC?^w|mjLhMGEUgtY>l|&EwbUJk=%(do3q)_MgY%9O3r_$Ej0aE{iq`Z`A&cCFM3N2bG(*yPCHf}@R;wa(LK$X2$? zlzP}UA_j$7UZcjD+ zX7QbWUKsUZ&k|zS63vG&`^LJKmN)ChFACSjyqwcN7tpW(UD8+^0hcU3L2Q_j?Z^@v z^1PaG;1L!I9<)HR0ofz3i4w5DBu>EY>Tn+ zyGNQX#C8kBriIw(t<%JjTNp4csD|&sN$c)BT{mu-3pm*oW9+Hb#dNC_y{Z(wMJC;X zs`pv0<{i#VH!sk?xh^?d+-%pNZuOw{*}Cc~VjI({RfO7S>#}R>dW%|As}{AUmMykm zE?ZdTK3f-ETTm;uuDZ6a_S(8^)go8bBDxkUx5y-0jD_DlQgk7fTObxK#6oYKCXU>~ zfM`J#`)s|d8@XcYqHF4Muc>J+D(t-bME(DVL=;~UyV)yKS#x{u~>@6xsT zhbH!aZT1%vAMAg#F)FflHE8jXhvWf%{&{dYBwH0tv8$ev>;wECpy~d?Bzu2qcD`&0 z>qvK&ynAOl{e87{*_YZ4Vn~BWZ_zp+CLg-}259%oznAfn0w9+hmjV|#H(d%ZQ)zl- zATl&J3NKe6TQMLrATeDEFH&!BbRaS`G$1e_QVK6gZf0*FGBh!}upW%Ce|8U512%wB*6yMX#Ty9YF5dC9nn-3#_%dDFOp-4706**Pv_4}wEj9W;$?0f(`uxP(0d zTES7!29AN_f8Yc-2~L4_(Cua=rP={H*-EolC>5Z{&VmUr&V8p*7f_n1hOJ5Vf z#z2o-&5F(#0A~O@7i?M#u@xvZcFriy1O0OStZ}!7Wo^Kbp{vSV1JiUhcJ*c2t>w9H zRy@j$VTayD^-=#+Oj;b=98@`|a!}x)u|Z>liiY~4eXbxNu~kMgtBfEQ!cQiER1mduN}k&K0CH`6xxg|16eCMggi?@}$!TV @@ -174,6 +176,8 @@ is AppliedShift -> /* Shift logic */ } } ) } } } \end{minted} + \caption{Voorbeeld van geneste boilerplate code}\label{lst:nesting} + \end{listing} % KERN: Overerving zorgt voor boilerplate \textbf{De implementatie bevat boilerplate code} door het gebruik van overerving en interfaces in de klassenrepresentatie van termen. @@ -299,17 +303,11 @@ De ingediende JAR kan ook handmatig opgeroepen worden met \texttt{java -jar ./build/gpl.jar}. - Het programma ondersteunt de volgende vlaggen: - - % TODO gpl --help - \subsection{Testen}\label{subsec:testen} De testen kunnen uitgevoerd worden door de meeste IDE's. Alternatief kunnen de testen uitgevoerd worden met \texttt{./gradlew test}. - Resultaten worden naar \texttt{stdout} geschreven of kunnen bekeken worden met - % TODO HTML rapporten. \section{Overzicht van geïmplementeerde predicaten}\label{sec:predicaten}