From 8d59525fb3c36b95f885f8f1489f877f7002a97a Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Mon, 20 May 2019 22:47:01 +0200 Subject: [PATCH] Nog meer front en back matter --- .../acknowledgements.tex | 0 content-other/curriculum-vitae.tex | 20 ++++++++ content-other/references.tex | 15 ++++++ summary.tex => content-other/summary.tex | 0 titelblad.tex => content-other/titelblad.tex | 32 +++++++----- content-other/voorblad-colofon.tex | 48 ++++++++++++++++++ content.tex | 22 +++----- images/logo-ipa.pdf | Bin 0 -> 10238 bytes images/logo-radboud.pdf | Bin 0 -> 15328 bytes 9 files changed, 107 insertions(+), 30 deletions(-) rename acknowledgements.tex => content-other/acknowledgements.tex (100%) create mode 100644 content-other/curriculum-vitae.tex create mode 100644 content-other/references.tex rename summary.tex => content-other/summary.tex (100%) rename titelblad.tex => content-other/titelblad.tex (63%) create mode 100644 content-other/voorblad-colofon.tex create mode 100644 images/logo-ipa.pdf create mode 100644 images/logo-radboud.pdf diff --git a/acknowledgements.tex b/content-other/acknowledgements.tex similarity index 100% rename from acknowledgements.tex rename to content-other/acknowledgements.tex diff --git a/content-other/curriculum-vitae.tex b/content-other/curriculum-vitae.tex new file mode 100644 index 0000000..62d76a3 --- /dev/null +++ b/content-other/curriculum-vitae.tex @@ -0,0 +1,20 @@ +\project thesis +\startcomponent curriculum-vitae + +\startchapter + [title={Curriculum Vitae}, + reference=chap:curriculum-vitae] + +Joshua Moerman was born in 1991 in Utrecht, the Netherlands. +After doing gymnasium at the Christiaan Huygens College in Eindhoven (2003 -- 2009), he did a double bachelor programme in {\it mathematics} and {\it computer science} at the Radboud University in Nijmegen. +In 2013, he obtained both bachelors {\it summa cum laude} and continued with a master in mathematics. +He obtained the degree of Master of Science {\it summa cum laude} in Mathematics in 2015, with a specialisation in algebra and topology. + +In February 2015, he started his Ph.D. under supervision of Frits Vaandrader, Sebastiaan Terwijn, and Alexandra Silva. +This was a joint project with the computer science institute (iCIS) and the mathematics departement (IMAPP) of the Radboud University. +During the four years of his Ph.D., he spent a total of six months at University College London, UK. + +As of April 2019, Joshua works as a postdoctoral researcher in the group of Joost-Pieter Katoen at the RWTH Aachen, Germany. + +\stopchapter +\stopcomponent \ No newline at end of file diff --git a/content-other/references.tex b/content-other/references.tex new file mode 100644 index 0000000..c5218e3 --- /dev/null +++ b/content-other/references.tex @@ -0,0 +1,15 @@ +\project thesis +\startcomponent references + +%\setupheadertexts[{\sc References}][\pagenumber][\pagenumber][{\sc References}] + +\startchapter + [title={References}, + reference=chap:references] + +\switchtobodyfont[8pt] + +\placelistofpublications + +\stopchapter +\stopcomponent \ No newline at end of file diff --git a/summary.tex b/content-other/summary.tex similarity index 100% rename from summary.tex rename to content-other/summary.tex diff --git a/titelblad.tex b/content-other/titelblad.tex similarity index 63% rename from titelblad.tex rename to content-other/titelblad.tex index ace73cb..7ab58aa 100644 --- a/titelblad.tex +++ b/content-other/titelblad.tex @@ -28,21 +28,21 @@ om\\ door\\ -{\it Joshua Moerman}\\ +{\it Joshua Samuel Moerman}\\ geboren op 1 oktober 1991\\ te Utrecht \vfill \stopalignment \page[left] -\startalignment[flushleft] -Promotor(en): +\startalignment[flushleft]\nl +Promotoren: \startitemize[after] \item prof. dr. F.W. Vaandrager -\item prof. dr. A. Silva (University College London, Londen, Verenigd Koninkrijk) +\item prof. dr. A. Silva (\en University College London, \nl Verenigd Koninkrijk) \stopitemize -Copromotor(en): +Copromotor: \startitemize[after] \item dr. S.A. Terwijn \stopitemize @@ -50,18 +50,22 @@ Copromotor(en): Leden manuscriptcommissie: \startitemize[after] \item prof. dr. B.P.F. Jacobs -\item prof. dr. A.R. Cavalli (Institut Mines-T / Télécom SudParis, Évry, Frankrijk) -\item prof. dr. F. Howar (Dortmund University of Technology, Dortmund, Duitsland) -\item prof. dr. S. Lasota (University of Warsaw, Warschau, Polen) (verhinderd) -\item dr. D. Petrisan (Université Paris Diderot, Parijs, Frankrijk) (verhinderd) -\stopitemize - -Overige leden: -\startitemize[after] +\item prof. dr. A.R. Cavalli (\fr Télécom SudParis, \nl Frankrijk) +\item prof. dr. F. Howar (\de Technische Universit\"at, Dortmund, \nl Duitsland) +\item prof. dr. S. Lasota (\pl Uniwesytet Warszawkski, \nl Polen) +\item dr. D. Petrisan (\fr Université Paris Diderot, \nl Frankrijk) \item prof. dr. ir. J.F. Groote (TUE) \item dr. J.A. Perez (RUG) -\item dr. P. Brunet (University College London, Londen, Verenigd Koninkrijk) +\item dr. P. Brunet (\en University College London, \nl Verenigd Koninkrijk) \stopitemize + +\vfill +Paranimfen: +\startitemize +\item Alexis Linard +\item Tim Steenvoorden +\stopitemize + \stopalignment \en\stop diff --git a/content-other/voorblad-colofon.tex b/content-other/voorblad-colofon.tex new file mode 100644 index 0000000..ce08ea2 --- /dev/null +++ b/content-other/voorblad-colofon.tex @@ -0,0 +1,48 @@ +\project thesis +\startcomponent voorblad-colofon + +\startpagemakeup[align=center, doublesided=no, pagestate=start] +\switchtobodyfont[20pt] +\midaligned{\framed[width=8cm, align=center, frame=off]{Nominal Techniques and Black Box Testing for Automata Learning}} +\blank[2*big] + +\switchtobodyfont[12pt] +{\it Joshua Moerman} +\stoppagemakeup + +\start +\page[left] +\startalignment[flushleft] +\setupindenting[no] +\setupwhitespace[big] + +\null + +\vfill + +\midaligned{ +\startcombination[nx=2, ny=1, location=middle, distance=1cm] +{\externalfigure[logo-ipa][scale=500]}{} +{\externalfigure[logo-radboud]}{} +\stopcombination} + +Work in the thesis has been carried out under the auspices of the research school {\it IPA} (Institute for Programming research and Algorithmics) + +Printed by Gildeprint, Enschede + +Typeset using \ConTeXt + +ISBN: 978--94--632--3696--6 + +IPA Dissertation series: ??? + +\blank[2*big] + +Copyright \copyright{} Joshua Moerman, 2019 + + +\stopalignment +\stop +\page[yes] + +\stopcomponent \ No newline at end of file diff --git a/content.tex b/content.tex index eb519c7..6637bfb 100644 --- a/content.tex +++ b/content.tex @@ -3,20 +3,12 @@ \project thesis \starttext -\startpagemakeup[align=center, doublesided=no, pagestate=start] -\switchtobodyfont[20pt] -\midaligned{\framed[width=8cm, align=center, frame=off]{Nominal Techniques and Black Box Testing for Automata Learning}} -\blank[2*big] - -\switchtobodyfont[12pt] -{\it Joshua Moerman} -\stoppagemakeup -\page[yes] +\component content-other/voorblad-colofon \startfrontmatter -\component titelblad -\component summary -\component acknowledgements +\component content-other/titelblad +\component content-other/summary +\component content-other/acknowledgements \setupwhitespace[none] \completecontent[criterium=all] @@ -42,10 +34,8 @@ \startbackmatter -\setupheadertexts[{\sc References}][\pagenumber][\pagenumber][{\sc References}] -\switchtobodyfont[8pt] -\title{References} -\placelistofpublications +\component content-other/references +\component content-other/curriculum-vitae \stopbackmatter diff --git a/images/logo-ipa.pdf b/images/logo-ipa.pdf new file mode 100644 index 0000000000000000000000000000000000000000..aa36a0db8c4ef65e7983fe72f4d74748331655bf GIT binary patch literal 10238 zcma)iRa6|^wl(hVPU8*@H16*17Tkk3P6+N6+}$m>LvVM8;O+?oCxoAT=iYPAI8Xl` zJ*v89?X}jNYt_Skm^7-A(k$$(AS9aR%i0$tP5=<#WM+pXCY7R9$KR<9-_wLw`muXZCy8LduSo~~w*xq$<=k-R~JiQzL z_Pce&_|?t(_xI06=X%n<)i)cy!v5rx_IfI+6mX5cXvOZHk!8&&g*}#b>@XJ z_aC=LJ==aJ7*VKsS9n!QI;AuykBBxOJKCddeHezR#YU)xG!D*Vl5sf6VUtlWuh* z&;AGcx>*<*`0Gr=Md{bhUBTIhh4qmDxgYnSHv*G~ACO;#%pgF6AMgErKIZ)qF@w_J zM7;lTx3Njad9=mEzsFLaRidxH`eu|%(RX|-Br$46?OR)q*6eeE*AW#nXOGe*{aeo@ z_6NoU;eJzw1(=LN$YbH!T4^MY{S02F9#?E=poaJHT*V2usrgfGW~NzO`r4Aq(kkex(%ywq&x65l?Nk>767`iC=pbJWaa{$o`{;Pd<=`dtaW2iwJUMk%))W`#{ z1%(wz)Kw{F9;1pz+FmlwcS=;n{-AF@SDe{C zdOyA_elctrfiJQ-2d#i^Rb<<0HDhEoJP@vaJ>AjsN@uck^^0SKD54mD@Q|Z8?ze62 z=hL__mQdmihF7H_J=O%!9K}vw)iMLq^%3p`!z?&U^8!UlbO=xEnFR+9$9Wt2pmuIW zyuNnFC)+-Ux=Ha?XJBTtPGW!Zbq#|O1eA=2?f`tRXTsk$QJpB}3q+Grc zngmJeJOe-pMkPu0lK`!jR)+`}7Hv4ez4} zRK5{1nWvE2eChmb)4JM~)l-hjCpul8syo-8zpxjRr4>TXwI+_>4j{;}27NM}SP%yilr?F|zhtV4@{%{_AIo$^(pZpmH#5X?s6c^{Wb|jrhj5f9W?;cI zY_BGZoZ6j)k)aq8)90{AYRqTroroX>1w0T>pSSCk(wu88sN{ND?yaalFf0qc6Td9l z13Opwq+6t@Af-a!1h1bzS)6tkEHPz%T(_%gZ2CFTPwnNxS@UXJqQ>BGpXpD3V5n|Q zg0XITLa#h__hAp(@i^Vb9SU>Ux1Xyh7$ED}R*V$%q$<~kh24i;nScz;i zXUFHLvz$kFLpKW*unDtD!lJ7$ex!x28#)u5nSLOM0wYSNO<)^fo6$ms>yz1c%LM0~ zU+%lt(_GYs@mf+4Pzd08&_>E3U&~{`LHmVk;6R6u1&bI)le@-GxeQRmogmF&v$QwO zCUyt3uSHYO#9oMHaT(ZrU4(EKUa^Mu+fm9ez}yN^HP6gRl6yO46iIfCe}p-1Hl2YVGFbUt!svR>88~|%RMVZ9hD32WG_~qfOQ$$ z7Hw2hcCIm~yGDy+W!*!Nxv`kvcTE!6p5>Y12A@dP_NZY~GNbz#Z0@GE&za-lG)slx z5uh2LxeJV zn@on$Mc=9T#@hs3$kU}wvrWLBs06VQ-Y1?MtGvRR_-K~d4!a6Mb+`Uc3_wRJ2{aJ> z@bdL}M6?@B=c1UuNA<^cB3_kAGX}du#HcVZs7EJA%J)R)f)NhUrw1R_Xx+?{VYG?`E&>7`om;q9X_Q`d0nVO^R2gRB>2k@SeZWKhl)-)sFRsS@+8XF%~S6@P~O(X4EbhN^y-WpK5WsU5}5-CV#z zNVwa5a8j^0ehtEyi)hTfZXx0d=Cw4aHx%_luPMxoOQ9^3BxUa)zO+KxlNPM_mRIVnPu>vWR|G|t{pn6)Oc zQJjGtSD3Wx!SDkO=Rlq@3Ur9suvO@MM=x3}4H|a$giX4)CM0IyfoA;!>rKS<=DJ%%P{{#)?eV$EZh2^)P%9dG zVW_cJyKZGNveBA~5vZRmF114!Jn?$9abtsc<{zCd*lEMdUw>N*C$|RBhCo2_ zmt&MWi%4JOP^$FOl5pa8zX8a6K1CQ!5`!x0*6 z$6=1J_~U3$`-x^|wl@IL>t)h=jI?5dl3UYmP`77P#W6ul8I%Ai9jL&0Xz^=SLvFGW zQ^+Wt?-vS5un;D(T7FRphE|NPe1pRN3x=I4ZM-=tOSBB1pT=GQM9#eG86l|n^n{dWln zyfV|5Hsi^#>{b{3fFsfVq-Z&Gm||UtANn{4$KuF)vAXx;mOLl1m%vln*6B&p5EM@Cg&C{zdzb z)tR)^ajX5;dQfx(&gyV!08vMwlu7a2AOkhqIe#F65r#npImQoEshKB%SU{}>%~D9U^W~;OT*k%h4FfkidsGxB?wCty_DTHbIUkJpFpcRBdcD$csY5kAEYe7&PvRFrj7h7 zg_l~f4r1qnSqc_Lr!1tDM12XIV?C;+qDV(?=U{%;EU?5ZC$d*7qWzruYlY~LJ|)K- zMpXxl-9n0iYw^#?Lfd$_{@tn~8&1#_PrVM{@66{{vf*@qv ziKOhX`frhBz2K_|uFD}5t{Z#j>_Vw8CNQ_4X*}0)M6?XO01lMkdsVc}7(_v+ASsjN z#5EEL{cp3z782(DWmsDWg#>~S`A|>-y`u)t_Q|b+U19}2v=OoF|#xjQwV>%%t4~0&o02NZ2p$WEKu?Y-T^H?R7AuC>n zVpJK;cU2mV2rWfkBPQ@JJf^CW#B~?7YbjDyN*}ljqc$c4+|^ig9XEf{q} ze;%hXG^%ki^fYl6C?56EC$s9bGrqiHF(RmAM1um+S|SPPrps3=TU z9s7%GK$B##!sxqdrh_q<5^e?sFoptK9D{^AfoC)B80XR4Udbno-ZzL!oDwAbw=CQ# zL19;+2I1J=6PtLsQ44U>5C)9%)b!EmTIjO2NqoTKX8K6o1A{%>PS@g)uU~w!_oU3c zwGwi?8YP_yF7u*iOZgUj%1t3Z{FzXT_?G;IJ9XbfNvsb3WpN{SN*}qW+6E9PaRO7E z$#UK_t4B}uN&9!ahO`4}Q-3I)G6ydeypcwhcm$_|NORp|l^4_uu}3>XA#wv3z|9Lg z&q&-c$Z<~#uG(_8E0A>-dI(Xep)?%5qZd8pN%Kk%s@C$rE+|xWhCn{LN+!KxwpSRN zs)B))Tkfe5o91ZHWmShid{hg4Mz~spD8#{^K0bFLD>=&814{*t%HjIHI)lN$S$kAq z0qNT2-0aKYjkcq5-evF@$5Q_3@rbdG73>8(ugaF1)SJtP7Z}+^7NoP22|j0n zy>wI(JA16PABIWmJaAVeOpWadhM>*~?w2TqumqFmV&NF?3K589K1WJsXq8KI%2l(M z)oWN1sPPwDg1rELqOYNmr6M}2o&%40vj3o@QmkMif3=WNY4saZ8W1F8P!Y@9!JK+* z`%K60B^6wTBG3N^T+<})il{m+9SnDcajn~`4`bJmxDR z#R7C$upJ>Jla9MJq}d5)+0=}P{;;z>N^UeBo0*~_5szmnfE1XO57&qv>l4-;DK<+m z`u&eS)fW_PRke!wgtqL;#Yz!$O(NM-{-W+&@1w*FyKi)hOam0ODD9CjH%6jV$s9)A zIq=OGMzEKHNueHypsv+uRLLZK+`SKkhLu1Qwd_>8EWBUZ(ORxA1ag61bvbdj+}#|i zed!e(Wf_O=P~Uc>L#a`hZ72f6g4l-ZO>+dOD1&f4JuZ(S52xTul!&J2M_HsphlU5_ zzt9L1Pb7~2(I8poUz#u1hSM0yy157txf@)mKzZ01JMxQZ-xANIz-|}dv8=>WsAyS{;D#nVOJHfcH%YV; zP@;Gy2EE$THVN4*tMOnx`>T>dQ9{@$aZ_npOyg6CKMqf{)9@;p z{N^_?FXI*+)*oZ{8HFK^uy#uk>(AW9JkSomq1Hr?$VI%Q!aBOu)l>{L=9g18>d;0i zUfdAR76BwAXg8!XBU{1lPO^X;wxml77^=Dm=?Ih(}6 zpp%cRKg>h^w#6)hPUcrbv#1xj8{HNKAgp-WP0PK=bvw4bqFOS*)MS^5w>y812$j-= zWuX-6BTS{{aYi<^4Y;yjh=$r3*PeY#rK5r-{#XI z%)`_jDQ05-^T6t{sA~#-- z4lB|0=CHGewQR*zd*;FC^7@aN2nr93b0il7R)~z^rdQ>SZE|a$wf+QYk`(g58f7TB zK>@|K`h$cVaOTMM>C{=^qvFNI5J*XHbR^(Ye6v z1dq+6U%2~is;S%ZtMOO_cM6)yiX;wo$|b5AecJgmJ&8VAvxf@RQ)I!7NW2KF;#d-( z%P3((U_aFg+s#X@FCK1!Jc zF=M(DS4j9^bF6L!86G?)oiEoLd&zL(U98 zca=+gG$K1Mp}FHR*)^k*%b0Ee+CJ6J#rO;paz0YTqtUM|MTMfMA(+nDDbYi5bAq<4 zDDeasdch}M$zd3BXza;QtQ#Lz`=-Y7%4g58{_=CRdT>ePb#BIoe5kH9PC6}^v)-TF zGYIHXv27b#8k&fKe9`{W^9XT94~47WmeZTFT)Q5H`iV!XT}$eCKWHphH4HOX-TWrq zNA7tMONjY7%0dyPG&9U{{wlIE9rPVd5sIbqW4SWj)OiIic@x4Xa#agp!ud;`MDE~H zM*sY87YpZY321`X5aC9jT==31Xt;AGr+9|qYDIj*@(1ZyqTcTWjT1~08GGvp-7Y&P zE}6hOD-N%^7b7IWq17IaSR;mRFRmP__jX3UF!0mqU*-Suwx$nT|0O@HozZ#)J`W1= z3pSfh?*?jV(6G3mFvC2xOUr!2etSPKB(BM%T1kXte-uUdkOCSI%vi@p$2o3bGdaoa z)zMmwm>06P)@|*XUV^n|Z%hl$^>^TI{XAD}3J=4Id~{0XJ*=)&tA~Wqo;l0CnSxQp zm;;MVr14$yE@vspRk-+u->E7fqOQHl55q{nu>-N8a-Q~e|R-A?_fHVF=o}@PJhI|PNnPX_G3^oYLM*IdI`M!gl)>_9) z$VgXID}9tvYbQWrZ$-JL3D|N~%y3TreKJaa%uplyULh{bzn`>8AR>heqBn0xuIx!#ClS3t)4*O@6M=lL#|z6fLD;7-Be`&#|^gup{V(O27H1~ z9m(KK0|AFj8Dq}I>%WO&2RO~^ma1~m%OVX&a&CJpuV#_xG8dUerNfj8%I%sMJ2c+x z4&jD`I*hDw(J<*^BZ3NlV6ZI|GP6P=i zak}jWCfZA;!Zqt>-q6a1p4n9u7Nn^`w@Fc&C*P&lzm#Lmg&h1S3}NU3$MCocM)(M@ zZ#_T}P-^*v>dik#`)<@to`@O89u98c;yzkIVtGVnxM+5{$mQlrVUwYeApq1!JZCumhwuC%p0H4Cd$bP8Q)H-ph5o)ylYFh`B%7P5d} z-={x$oQ$Mn#nDKWRfXlP1P+?eBg;o!?K|u#>(*ZVpolT|G;>hpQh1S=3hx{UoiwZG z%^TS@!^P68Ls$-)J|(oAJUQW_E+$$&Gs;3d_WS!ZAL^}pMtNq|Pg`?C6s;om8 z>WJdXSBcQ?mmVM(y8!DE8*~-U!k&s}TxWWu5rsH1g2yo&h{S1m=W<}FDy_t=8SZ9F zfS9|CfImJOqBx2jFp(j(=PcamtIt~K^HA)&c00bv!CW)l3*7q8^f_mwGep>{&g67Y za_Q5E3t8jx{2G(9kJVl$LBRSQt;1f>6$xVqe>A9~Qr-x}f-z&Ls$o5)`_v{>b9*MQn`V_;K^ojZ7fCYD2-2p{p)AkLR?? z#*ti|lDXY^>Cfs2SKb3$wg781X`N@sem|*dM3^snZ0;9lNxBCt$93?Q+)9^uV1w1U zwLpqsW9||eD{Ra&UtEpoici@1wEW7sEbR-lwUnBf0NBgkL%q>!8|%{hJh-z=#ojPm zDEs!~tX<4^_ivb{ls21?9T^nGP(0)bh88R*gbtunn`S5y$`qPEQ1}nz z>-iteqjEt!r=oRjzXGtJzaz=YB#mCapTMW=1z1Q=KHR;`dYK3h2ag(cSQq>pSR#-7 zJe%7}Q7)-NR2!a%1m))*7I*uzjKB3SBVfjRf7*T- zH$J_{?>A)D?nZF+PXTWcTxF7AM&-mU2-apY2NTE92*-hv~r=%za{RWR)yAz z_<;A!@PRx=9jt?d9R9F%W46d)X8^~*JXA2V+Tm<+MD%4>I+%TJ6hc13z(~tR=v(TL zW<{9(fq_LrX=ZFn4vFv+g$usGW3>Z8s{fAx{uNm95^cHdzV^ZAKZ2zF+PHj%yI!M zE@cjS1hcoU_k?RrnK-z}K8g~KWV1GlAV}B%Z|78B54*wFWrsx+vJ4}XIHiD_GXLvo z|JraFd})X_vIzwp^y8Er<{7q*Z8YYI=*iDL6nxv_x>k(D=~IX00@NSFF%J2 z1sLi?A#8W92jRkt1i~m}EFw1*oz+cfI)2KnR2Xf&Vd_43wZV~fD0GvR4`vj<`ngGD z=tG#TbzH)1I0ewAj_!EEY;EDdjrlrGpvU;rt;(a86dN|Tm3=9Y8+^WpN_3JESQEO# zG@~(1Vt8gaf(IUT1!@5?Sh|~R3VwEdRcout$J2|f*^CThPC0GO>FZmezF7`g=(J

o_Ses@E5E z{wF;jd%3iu3$$C&G&H&bUEZ#tPH%3gh*ClC!bY<%4JVt`oQ2O09R>Bn0em>)br_EL z?1+W4$z#%#M>9k337$ruULN8BylvXU4H@81`Igkbdi#CNBc#STri{zGb-wWrVu$vz zE36X!0p_^rLJP<~nmc)*f&EIzUr6i8_=A3`Z{2f09FVNd(t*6L@^b>2D7vDqLsMsn z-@}UXPA@edGH<65FV|^^?(ek2<2H+c?T*>=K^ybfzzoYqk0R05XGwaYSUlXG+O(a_Z54D^Mi zzU58JWMx0Qje$q|Zhx-UV6Z9EF ztBlBA+ov{qh(Pp}T@xRXA+oORfN^GpfOM{xBrNbUXT{3q)#jW2lpa8nLmowb#!0S^ z)OCi9=cw!!!@A13vbuAg@>t$F%XkE1a>f8u(C|nYn8UeN`DJunWW$QyQ28ij4!CB1 zMU@s2@w@hz@mV`EezI~;c^W8&A#WwJKpAYk-tq;hHlyNCBBFDxA40Pf@<2m@JpZIFr zj>!DYS&vP7A*V#dw@4M9c4uJV`>cZSYoQMmZyFrT1C* zZZREMW-4{$b`P>bsmj5=G~-MskoCDz~CJM0@y)(0CrAZ zR$gvSK0aQ6(LX^FPLAOBC^x`g6V|^RS2C_n?#}tAL5LI0Pk#(QyBQ%5)Fza`DR z{}+}6fL-1HA@f&{#QQEuOAlLfOLZCXzgzw#hfUqm&B@)>+|mv3w<+rXA?`2rzs>sF zhW``i_7717TMM^$A%FF&|C_t}U%mg4fcrlZNW2@wz)r3JdUI1-S0?~FD?5ml9YAjb z20Qb!z4!MWw01Rhwy`yLV|8-1W?=ZIjH;`Xg}eE?;q3oE?Ei+t^B?8^#b3e{Z2Hm3 z`d_Kv2j%uZ>g zWPfkZfA8abZ_0mRT%7Nn{x6J|{hj@PVSJ$Xulav5u&b%`MTx3J^$e7xhyI25#e<3AU006)sW@+PM z>h$+&W9VWkVrpz}VhYR02kY$OWNK&&>ycxtD;am);gn;I(HzA5VTPj@MBMjeMhGv+jNVrO5>Zc9OU>RN#a=%V3m*XjVTXIK@$1V%%A3{R_2#gZ=NqO@*P0qT zS|Mu~q({uB8$I~+DZCR4F^OW{f+OL5?Ulk9WM;11RS828Aw5zh_!^W!z_++s@op*V zV5I`B?KkTw^f~A&CB5spZI%Y4MX^1XbIp`5zuOV!o`oYkzqbj6OLg2z-FFnTSPk88 zaX2AdYuA~*;!{XJ=0AWFv}hriYm=HB4{fBPoxyZ4)`4WCRsNWEq`cV)g5$FMFuR2h z`P3?;O-k#J`|de4WzLSj_3sikDxPMbi`V2YvMNK9S$(VTpO8NX)b=;Pk!~|GJ)WMv zkKUk$RZnbS5?exkdi|Lpx2#fv81nPzZL6@_iy7frpRB{2?I2DS%J3dqREo&y`_#1> z{do22TTX=7%;JwjS-HAUp=aCmz4e;9`*GLy(W)k54t1f`;p4CE+yF{qHVm@*8M~stHA6(x_+0mKil)t zzyA}$8V8ZI?ac$q9dT?OWaf(DZeoqsk+gcm`yAKbQ*3v0Wt;>+LCkDmqY$%s$m#)q zCTThkY3HDVTIU`xCu>OmNr$c`UUE2+Pt~Zyufbyw&pA>MxNuQtr@+90`ee+*It14B z`JMb0BgP>e9TN|{N?N4YqC->Pi4f2DNjS%ZTFTmHnS%q!H9D8X<2Ir%wnv8 zIQ`mXT##_R?v+lCPb2+IMyul()@iViEgD0m$s)FGFv@Lvr=PSF@Eftwnza}~P!2W} zO~!pFP(%T$ty*Z(tuM~SB|?HVn2!UHrA;u2y^`&mhIF*Z73{c5NFj!kMy|>?BBPytiY}v7^y8f6K%K@aVe}DQLL>MdDK}noF%_ z>kjMa=hxvpA|#wZl(PI*b- zQpI8*pp@|;BVohySL}17Sj3C(0OB*mIylAqypV#DkP^fmwsjWreoW#OqmW7le)OQZ z8-SWq40=$*Hv#CYsU#psgJ-PCzBY-6|EaPwnU2!KzA#G`7AG-wECYV(Q=Zz z0vMBY5dI|VFA#315Ohj$*e(SAxIh_-05nl52YfIMb_STxdk0rqG&VYj($&bQOjRJM`UemCIoHR(HRB6qd3^ow8TBYu*G-rk@9jptr^XaJbD~b?rwR zGBmQ|yLr|Ac-ShCn$*BnS3&FkY;+#sTU-h0FhQ~iwGxi*AbpibCC7(Zi?#kUHzQ#T zpNw_-i!N;ncjaXs8iT%I%C~`n`+l`35dX+pmZM@rs1#2LcjV`5GB}M?U^Lgt`PJ%4MBRMlDedz+Vt}3-xk#emn7OW?-Ms!*|$Bcv9f)T3_^;UB%mniIIxvSInkd&CiDS;i_ z5eLwh5$r`jAz{9ZnsB@}t(6noCnne{iraw=J{U&7tL{C_Z4M5YVs3wAVq^Y1F8ZIKFp68u@T5A07q|*VjDZ7p-#Hlw zc8bjDd_bG{d5Fi1B!DO)W1Naiw;+kq#EG1s;_4V15^i8ADj7H%hs5nu*~R>FfuZ$l z;?ZIficy+1BWrI<#a7d2A-L49UX4Fx&YttYOEX*?)*|oy#0$X=wPVOd?0&nlR1zxSSfy6~WkI>usf9O&06TQN*So;XV*o(quXDl-FnHn^fTN z!b$Vf)Ewt%9zh19WDkeUhPwEe5y$KUSq>icP1QOE= zGkTrjbp94ijedYRJKuZ@m|p?jm8akZ1w8K_z9+lebtR$%Mp3!-wq|hZ(`C+j`kW6V zE{^$~C&VziJeMtp9<}uPkx{>kA_l8nicFFjc4Yi-lM`a8W_sXtv|iZDIDA^U`j|kU z(;-~eGlk2jdh%L3XMYsxdU@J6_p{NgeENu$fuJz<$Vv-iJQbNfD}hJ~V}XGCVEw$- z6tPf9i?Ban)G*%6eGbOSxU5a4C5EIAUZpRPGb~+5hd-diQ6?jv5psD!gvc`2+0O(Z zbshpn!>24ocGGu23y}_j>Oj>PU5vCcU1;|96KEi`1)V`_$?VIP9W;K^)>%~UAjU_m zr*!1ZpbLs2;Q@E5 z6?s33o#O=AqAut|2@ZGZ9p19{ywaSq!S-p2%#uE&5*pTUz}d7>J2j&qza?-O2c;i| zMK%nY6)iMPDH|RrMz&N+*q*;eh1pxB36;a189x9z9KK?g2|4LU~LG^ zSsFwYa0=2#q4+Kf!LU(|%o3whuVVu~4G<=Q8FgkDA)b=?Xk`o0Nn;}CRUqOgNjgql zw7-WjbA4u_zXk8Vaki>tt$Jf3U3n2s&8)r;ZI(AVZO1fEt=LJp`5#5}X}WaR^>t3F z;@ll3G#wEeILPvRYXnb6uIeyy3J8YKg}(A}xH`CM3FJ^oC`dw6U}?`PvskB?P?RBF zcLJpx6fVk9>_7U<9teh5wM59Ho?Hrd7@|dyJ9-s110T|1yJXEWKU!E(+zA zn8$0+0=mFcHrE6OYkTMOy!;w?Fl%ts!80|?GQxwXxd`1e(*LZGKh)VHhmOk>(amBY z!MWDX0yLeBjHPC30T{K^_xqalsk+RiqWK&BZvGf-1NzKA*(RTQM{1)ARXjkLuWT<- z3gALEwWl`HqB2?#0uv?~_ER1 zf-oFB8Q_x$2e0BT&GH!S-BV@r7S0>vZ%oh{W?W?(waNmlem8~GOE8c|YO|=spZAT4 z>O!_!%y|*10y#_`3C|X#{f={Xx*Gt}Pz4!Acw+TXy$&{G^EzolTG+l~HvosK3pbX} zfgHNI2eudYWFedGmxjJ#%lA4~#cgqYb}#6q0Q%a(niDD+Jfds6n$IVv zM(7_PsYr)~t`N8fn{Ck%h>i{MoFw_vw=~I;r|LNn=-_%&EQ{y>T@)NUKz^1hI$e_q zI^`agsm*TfkFl}97RwO(AJ`YKLNMzPL&Noh>U2e1HuL%X&;h;+^m%k(~_ja~n~bns{{K*BeWFG)jnwCrBW_=! z02?13O_DJBIogU7J=3M(5}+0BL&|#6S4fmF1wtIoJG_iq>`I?Q zKpG4sP=|Bw96}%E{ES_ccI3%JZo=8F4Bq#81!s%q zmblLOzR7cR-(1*aLQJfl#>N=0lSs5OO+?Fms6awza4hyF2{8+{iiaHnL~VdP->NPr z4`LNoS7DP{LI!5iJ%n8B6Im#-%B33S;+GZ>6J9r1;S7htz!**udH>glxhREdV8C2) zXt%H#;Yd(-3!WE;0osaEk&XV9A!+pWVPZ4eUc@(aBf@hiv5 z&_aMd$t=E7tRz%)fCs%AsL*7Xm-P#LK*MDogSy2-$7BNke2U8T=<5pok$1 z)SE%zQqBiECTEqJY>av%zuM6RO0mhY_F5iV_4x+RfJcR88w)>Gz0)0H9jfnS^y+c& z4zdOozCLdU(arvL8*d8Qsb!$B$)AyG;)j)0zTu-8*=8TWfMd@xD7X`@p&jpiF8KB; zGE?SxEt##o&sGV;v>&-Fj@k%83$%5`ev7aNxFK8!U9WWJU<)_t)RQ)B%OYH1><~w-Uu7`cj zE7dhA-VnK7kgmqZIJnm;@rGUNS)L3}j111Tn2?{0OvIIpAX|Wk?<;Ojko6hid>702 z+VTl!`l=YC4y%C|+VI^&RPj8s^mXI0w&Wb48{ptdV8Wt$T5q4uc=q*+2k}T$HtoY%GYs4>-jYnf!a6->DUD)= zXk%uM=pr+jwrLgBYr)0b9)_H1>9Xzlqs-W^_w4{8{_!bwfPOC8A$uafb@T^ZmI zg(;D4Q`AXGqwXq*y`82VRGwpnEE8iI#cMjpEB=S0j9|bCqfn?q4yQ$)avLLMikYTv zIxpX}w_D88#R#E1);LkKQ7*c9i7fpD%dOB9efLt(i}F9SQe z)wnF`?psmIHoCJ9fz&~ezrH4UzaaFG2^;$E?Jf>a{LKWL4bg)Yz>3ZrE z68ni#Ea8Pzpc02$0U@RRP}P~s*PJ_mfiTf?-85%4md455MGq80bs^*oTUeGqew_Jo za`l+l&03u7iJvXFjmTG~Gt?ZK1cV?$VgyrThGshX+C7MG8HuMYCp9GRm+r!mxl1`@?8J0BDBZ?3?2!xu(r{-L-M#Moc&WT3g*exZoz%&6^- zCO%(pWo!7lH~~j)sq;iKj*#HvPOtVHQRU07C8XYNHtQka%{m|}1)F$%&z|G)mIiML z5)`3I%p&)4f%9EcH3_?TfAlvHc$ zL>sTPp*0~@I;)sugBgzQEg3Wcohqj@L9B)ha0cxl$#Aoq3Pi>-_tIEFpfEupflb=e zeKYgz=u9E^IoHlY2)2Hf#ze^I<<;*|MV@MefGW`49ocI4RX}1MIPBT{{g6L3`|)R^ z<^{=YOJlL5^WvlGmzbGxm3h5KGoe3zYL3SU1gt|OpIzGV(`%X6$||8NrG*l9T_QbT zcY4%MSOsyXl~c|Bt6q%FIjJh;$X)P+M5GZL9&(baH9L5j`Bx=~n^D?1duCf>nno?+ z4g<>*MCDd_Acnd$3f$kXR?1oQI}yCntfQ#J@MQ{zt{IuBi`aTpnSo6ctT85-LnwFm z8Ru@|6f%aaHj3vJ_@j_|k9q0NvA)Z-&}S&HW+D|gWfifW@pw~OF4}Ot%=v>fB5=B< zKH|hNZQ!dQv_9DQgpx!{HLBkN9C&SzR%Xr2z(2kYcH#<{l_1a>tyO`ks&~p38905j z8arpJ15M1sRZXN~uXx&U&0g0vE2srt~IMQm)V$l-VJ!9-aztd$1H1>j{a3IMtT>; znRX?gxJbq5Z$U@+r|`W*U@_Z_@kK;piMlFFqyqPyZ_9cK|qlfG24M1ZO*(dn0Z5Jjf?!XRPc~Ku|8u%83ECPK!*T z(RmE4Z4}A8@*q+uIj2O6Y>7NV%grl&zUTYlg3ghPV!4&E1W6@VCleHWUJ+Odr^ns} zlh8DHRThdlD2<1^di9+_uAup|zgRBDA9V_hK_Oin-ilY8x;rA;0aoy2Q)3Az*o#R8 z%jc}sGdMzAs^7SS>0fa04D6R3Opz^UER6$5N&5Q+qWuRutq#I{P)cF8;(Sp(TDw&) zb>gF+Obzo*ld=fNU>TIbW&JpX=w^e$p5>pZMwK53x}Lg!K&`;SZoizrB>`;&^nPXt z5owv0!Pks6chNxbEvyA$lgPUo@IDv|fht3yQ& z8RD4$oAzgQm1)Wmn>;;xsHVbYp_Nk@=KuV z&S_!pWf|F_7yw9!b#6ld;{Fay%yj*QrdVMsMz*$CaVYtgp)xiQvQsXuTg zVy-K;bSB%cjiEzS?R*pBI1{iZWhPJT_eBCft!cF$V+3u`R>BimGQOnE5hNlC&_#U; z%Uy<%F}EJ{z+W(-DNCjf6@`6*G3@d?-}|Wd5hceI3@}2sv?SuPtKJ0T=oHMi5s;WA z(>}*9LN5!>u`%4fHMn!>FP)Ep%Y6)I*b+bqj(VxP6(SZm2~l0)tXOOd3M$O=IjKgL2(ssZj<t2ZK9aoQp5|)bU;JXOD9tg7pW7 z=Ck#^?FVyt#z{3ahZ8x4c^s4_4nfreBVrgSNW76yr-mtF(??*^bg{EAL`zBnL=0_A z4e&5T1L5Ah5x&`oUzBsWM-;SfB@hkxaNjy!$ z`x<7kY^qwSrz{oIrsD_?zKuC@x24bvNtbNEuD?Ho?9zWvgs&}!a-IC)%G2(qIFVEt7g0{DHcnB`Aph=XK^#9}@3OK|>l+d)8O z!H^seltyICW`4TjI!LBz*;Jck5=AXRSRnH(gsk)@t0bX#4Vm2Nk-@i14m?ZH>5Ja(zGr(v&}fn0z(>b0Mo0??f_I&qEG!!p08{29pyR!Wm7Jo?x(lju>- zF;n3L&%hGXR&y{k18;6wPP=W!h4UoMbnP*6@ z>sid2Xc(Z&pmel}N}Z?Xjd_#!RoW!1+*XZ4oKmpi%j}h_t0Fa_l7DN>SA} z2}>YY9R-88jAZLcFJuV!J~$uay|4(KO*PocxEmTWYcQr{4=H%~evhQf@|Uj|$p`H^^nv0xJ- zv`elM(y768plf6YYLYq{P{oL zRQOJ<9SWyT6;dkHetx2KdUB9Rnk_gI)R4rFFyM0Gh44Uz^ zNf$>x7zgc=64Q@kdVk;f3*4wNwGo;2l1wdW_fCedkzup5^^qF=XJHw9Qht^PNz5(y ztvnMoJ;#74>-*9fGG0!l`B5Z!#>Z5 zxFYPK@-^6b=QSCG9zOe!JkAR`OuP~8Z>-dG3nLKm-yvVpTy&ViTECCfYcMKEZ(=N7 z->N$gKT?6vGi?@n>Jz78X1sA2c@;=_#LSuQWoUUO;4?u@qBt{(*p;fga2u^eBb#i+ zWw1@-nCKd;GA_j;X_V;15#sNF&KD`4R`sNRDF&>cxpkP zv0^$k2lk+&koMZ|)Q>-PY$Trq2YHjIpBm@*Yi%065B*~>fn+RZYSqk*( z^f^<%uA%hKa*L-l6hZQlG9?aXb0>8k1cYOpu5+_V9i7G5rufl=LOPQ1t3!eD9JDI^ z1ipi5;`6b>%|SPM;;EhPEpoYFYtHANpOs(cAO@u_zzH2tn3dw$sTf1f`h|$a{t%4^ zJG_$ogF5(~k12^oz#|Eg7TVY!ej5or@v4$WB@fLM!R{2UvbB`O&5+0t`_YfTg8Bjy zCp_NInVQma)X~JWlNa{8zhp;0Zp|q!sRvA{`LCFn0Suy@64jQ`9!1ZmNXs>>*&od( zn34z`zcJzQrbq0tyHsvS{%PxCGW7A zU~cuqL(|?Ism;xJ(cksWF!syh%w3|&`v7|eJ|Yx$NUM)(p;^s8e(h`2<514{r94|~ zW6C53@*pC1p3m?IBkDfSVFX5|%G?<)Q^M7#ie+3%)!be)h{*j(+NI&djcHc~D%2pf zH^Vk*-!}&3d~-#Ek*^Y7G*z3)tKk zbtbb1OQZOR2d?TW#DZ2l#cavEcA56(LT_C1=R$p@B24VFvb6CI!$2C%YFZ{yHtZOp zyKr)_c6Lh&drL8Xi{k_c%!Xl0TC4q*7<0qx0F;(lr+kq14xgwbTWOMZ=?u+FJL{6% zO(gHR#H-^fiJnT~=~DrUDHp$aq1bjPB#V|x8Y&sH?b|*|v0`^?7s)HT4yKeA;Zo^2 zW%`jxn3)A(2m{ZwKUxDS9ay{~i!AAZi9e2Zz@BU7)5vTO@kgobtt^cA@C?p6c$od0 z@v#fbIXwCP91?u5*PG2Lq;=Ns_rl|;=pnGpx-(AiofVA5@sUKhI83;?x@6``WDVw3vsy zp=S`-^RxDr7VB~^Zd-G=#e!P!*a~M~Fdt;edBmqC=bWf#j}A^FJf+#(T0Bs6Ch+<% zgoJvdx!M#nLLG;Elnt&V-cH7)WrT-JPQ04J26%txfGeX@#7kH2X%2j>MpAm{)JpG8 z;6AkqF7mY>^*lc>!gD2eK_4Vxfq*@J2F~Mu&1t<52lBf4pHoI>5D{BKiLLwmnuQSbGaRxGK%YJeybE!2zw3-% zDcRL)!nke1E~IqcToK|N!QSMCx4EmD8UZJOEaW1e`u*6Y;6@K$t1vHzz4`Ya`r|xw z@(2e#MN;~jq4?2yzog0_@gT6muGw^$JQ4|f4^N3^6^r3wMh=3%%^Bz0Je zYJpAq!0fS3#Pgf8a#Or(PPHud&l;YZoNHUm_0v^IW4B`plI)j(7FWdn=NV#v!R%>j zqh|s#KOdWX7XhsZ%g)?NLlf9X$DZCtM(ShEu#PI4M++iy}-?#95+NdGtP^y%Ny9ckWExhO(|;z49LMYSUTJP&1T<)c zo{`U^VQ&z%=iq%sHoSg34+6y|*!%TX=xqFxwf&8y4!14$6xV(~+<0f63Jxzd{zy{U zR=-1CC#^5M2f!F^x~|R76tITG)uKh20Dn;0${mv*Yfr#_KXBoe z?j|2JR=Tgm`gYfLbOCan4&J!?RxbD>chmhuS7zQj4AjhtJRx=p1!u`&e}K$6lAgPNwx&#O0V(=rvala+2-Q#UCoyCN0!ptM}$O!fRs! z1A8Z=4-Yh;&vb8KU+vl5gT^qylEpxi#&pXk=5SB4(E#;bQS~DAJG?#cS=7PJ2a0Ru z1G17JZ{Ix+=Let+x~$cx_EO?m(XQaDj|SzN`CVDt?;n4BJL3+JeVwrQPfC9l*R5;K zzB|Pfm;44ZL3mohOUR0%|(?z+N$kq(OG^YoNUNBhaT^NwX|H#HEw zD%x7gDHq@gb-s%P+N%a3WZOV}m0dq|5TOlz2;oFQ(utY?6S){y1VT*R|1Bh3qg5NM z0K>iYokGtCGco%Xf2~XC z1G%aXEd*yf0E<{Mm;`CIpKrzPX_tx`mmB4X7oj2P*5;IsBj)5tr9k*d9L{86acGtc z?#%wIdlQ_1r4xp^psglj+ZfX&?xRes9DaS8gr!|kpw7CdU3_L7CBX3Gx?U7Ae!&?I z9z*dYZj@P)%l5S^x|v1x7f3f9b@POFI4+?xbRX}&171wHz{j6~fG=ip?xK6nqo(a?--0i@f7;?>kQrk1Er&Q|ayTxUo7<7meVgx6 zcQeT4j<$!(_ANOG?3r;2ky6l%)~)_lLR^Fk%k=qi;im#;3fGI70f@nt3F3M=Mf*o< zrAzntN($2YzM06ZXn#5KYkTfz-}KTGHPV+1=T2IfHsQ}(!$S>>Vld(*@9zVqckB?P znovkO?i#+8QMVpSUSwdK<-aXr+qt{S+V094eRYY{>%gzZPFGHg41xy)!kDkVwYOA{ zWwraK*HUb<>!O$Tt4+88td8xXr%)nmra))}SIuiWOtGI(rl#zBs+t}A7)LpJ?R!#H z&OwEe=*Jtu?rXMBW{M{|c(b!|e#na?|3te?Gx8%2QQ8$QTk%ByIZ=Ux+Hg|~54!U>D871A)6;s`5%5At*aa}Q5D~~?|E_MOn7Zh$9z^-^ zo~^OboE0@=xSdXmms7DUHZkXcD0uw|H|(|E;?baVOpGV}u;{?0Ufxge<}eWF!_iMd z^bCymIkQzi0t<2Sxn!Fpe4|Qo6?ek&E#1P%H-D^{d``GL85c^@~ic9~=u zxHHgn$b3yZSBOOrG|Y=A=ol|Qg)q-2rtZmAgN5O{?=dTTmr*y&8%6#%)L?7jFfYDc z_nC8N64CM=W#yTV9qQlbWI-PYcR}S#9tG)b@5`rXsHTp+HiOpdjs5b^^um(zf#w=0 zkQnwHEgN~jO5VJ&^UKv~V-c)hfy4H0)pVPt=R8XbGmR;JBdwF9Weog{?VjH2ghmAS zJ7b=ud`_fg{m>6RRfYDrrlT(38#4znjZ;PU`4%X(>^bny?fiO1=~n>|t!J0!andUF zyCdhDH;7e7#ol8jTlbp!KMzN({AY8dOYn!bMq{J5kd}+eMC6W286P8|A7s`3z9%I) zN>0uxtm*U{sf^PrGV{ZWp5a6F4EL}~r_E{{e!?402pSjy!>A4mz=zJ-onFY`L>qCQ#M@=|00Nv%CzXu+8Qi9O&aFhlH|9_Y5LbeNrcU6p(ECM8$k8GydruQYOBv z*-iL_+*L^E7c9zK(c@vPh@_$z?kUdeq4wHVK)8G_Io%!0EJrXtR5lvegBh;Mrm+NO z9vM$?BJeV*s~zF`KYp-g=8hrgX-d`U9&tf?R4 zSTNyqk6LFip__#}5>@ujKD59W*h<{jGb!2&|MMx%j3LRqNWoZMB~(%Aw+4eI_v z{P-2IUiTj}t~=bd)Z5{LNKo8o``{xygmNMr!)6|CopiZrZjXuSbZQkD;l!algm~D6 zj3@Jti5&XqaQA>vf`?Zf(XAobQVAl`br>_U*8NETra;A8)?Xt1D^)&&_7-~mV4)-P zY)QEQ7OZ363cZDM7v0Vy?D5NM&YvQJ_St`bHl1%#co^8HC)$9sCxI}KwyU;!O-tD= z&uFlHZ&zK0$x8LfyEdY<`TmAHw;$eiP2<(~$B^9E;}X&FvuyN14#Q;m7fdPItjl25 zdw0-?ILBrba9azrD=wkKE>GzVsjeuR!RtI9-fRUYs`lyRmN_H04#A8vqu)l}Iat%a z6W$DYL=vM3$33`Rwl#jb$a*o#wY;5OtTnEGtAt3@8uNiTWBdxdF*AF?#jV1?Sa+!2 zFk7^y6`>QlK3Arnt;HA#3M0yLY$D$x4d+N#o)t>5&<8u!4L=p1mAPCV^e@oAbj( z&U(?ILd*D8a>eMhNsj?V6nDxk>gHP@Fw?#*p#r^ic&iZ3qcNj1_lGT)n|e^o9w~ln zU=>t|!#2@br(5-hKrVt8fS_Pou7@r9jc1b93@GMD+n6!0!{Py81}SX=zfLA}pNV^Q z*&X$Kb>&V9W^?Xk(cz*SG}rFaJ-@?hI$~75^>)HMTFrLa<(LkdWy<*70e?~xBhH>- zI}qQ0#bWc^uy=TWtdrV*wFYm-GcBdqKh@z&WwSZiEn&`&>CCVIW(xil`_7cnIn%}OmESWE$7a7F!Pl?1!ie>wePrV zfp>#)D?px8$m}$E4|r3`w%n_=D-(TmJF1rhu1=hZZV3if;q@%@G)At)%lc$>^JIdE z{z+L+N#+!$DXykDcvG3+8PTZ@od>26kY#$76jd^RT{dNs%|?dF172{JWN-G(fh&_e zY4w{A9Yt8lDa{QOkw<1oK29ue z%6ft!zfT{&L=5NbVNLB!{!3)|_wFBg;y;?if3AO3iA+EsGuuBa{+ToXw|wzmf<;je z7jb2mzhXrI56?fq-@#zW_;&(e5EcY50T_%8|DOL!82^6o_x$(xFF&mR?FYc1;^|-t zU{EkLH~p7S1w$uOJD0y^|4~KCnwnS|3fX%AwEsek0A^-3dUkduHdbZ;8!J6K8w)!- zCqVaKro#4iE`M#E0sp8h|1GH$cd~bN_+Q!mJJ`R_|0JyZHw7m{J7Sk$dsw6J-&ys(WVo)-5ws&CIw!haQ@F7{3UDq}-SCwl-BJrj_g2|#7x;^M%? z@VCl;L31ZV2MbGMXL@@lb86~;g;8*_H*q!ot0?{dZ}vYeV*g*^|DC_Ep^Kr7z4^ag z|81A^e>LfUY&@Jy&0rY;9I%Z4J^nU{m4y{x2KYC|1mpnzt;|0IVE5k`EAVgi{txzd z!t}R1{|93NvNCb}e=s(tznk^{wT_eVZ}I*w#>&X@cUSxeb8#}Xv@v!1mkd|g(#!O3 x%Kvm($===t@DK5SZyrfIGkd^4ZTMGTom~u_T>iz7iS_Tx@37?LqVi&}{|`O#;Qjyr literal 0 HcmV?d00001