From 455c31ab5f8222a5a8f273f7a7703e7485690438 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 16 Mar 2016 18:06:04 +0100 Subject: [PATCH] clean.sty --- deliverables/p1/clean.sty | 70 ++++++++++++++++++++++++++++++++++++++ deliverables/p1/p1.pdf | Bin 31973 -> 0 bytes deliverables/p1/pre.tex | 2 ++ 3 files changed, 72 insertions(+) create mode 100644 deliverables/p1/clean.sty delete mode 100644 deliverables/p1/p1.pdf diff --git a/deliverables/p1/clean.sty b/deliverables/p1/clean.sty new file mode 100644 index 0000000..f7088f1 --- /dev/null +++ b/deliverables/p1/clean.sty @@ -0,0 +1,70 @@ +\usepackage{listings} + +\lstdefinelanguage{Clean}{ + alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890}, + alsoletter={~!@\#$\%^\&*-+=?<>:|\\.}, + morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive}, + sensitive=true, + morecomment=[l]{//}, + morecomment=[n]{/*}{*/}, + morestring=[b]", + morestring=[b]', + emptylines=1, + basicstyle=\small, + identifierstyle=\small\ttfamily, + commentstyle=\itshape, + keywordstyle=\bfseries, + stringstyle=\ttfamily, + numbers=none, + showstringspaces=false, + basewidth=0.45em, + columns=[c]fixed, + keepspaces=true, + breaklines=false, + tabsize=4, + texcl=true, + escapeinside={(\#}{\#)}, + literate= % + % Basic Clean constructs + {\\}{{$\lambda\:$}}1 + {A.}{{$\forall\;\,$}}1 + {E.}{{$\exists\;\,$}}1 + {>}{{$>$}}1 + {<}{{$<$}}1 + {<=}{{$\leq$}}1 + {>=}{{$\geq$}}1 + {<>}{{$\neq$}}1 + {->}{{$\rightarrow$}}2 + {<-}{{$\leftarrow$}}1 + {=}{{$=$}}1 + {~}{{$\sim$}}1 + % {\#}{{$\sharp$}}1 + {\{|}{{$\{\!|\!$}}1 + {|\}}{{$\!|\!\}$}}1 + {:=}{{$:=$}}2 + {==}{{$==$}}2 + {++}{{$+\!\!+$}}2 + {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2 + {:==}{{$:==$}}3 + {\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3 + % + % Basic iTask constructs + {>||>}{{$\triangleright\triangleright$}}2 + {>>=}{{\texttt{>>=}}}3 + {>>|}{{\texttt{>>|}}}3 + {?>>}{{\texttt{?>>}}}3 + {!>>}{{\texttt{!>>}}}3 + {-||-}{{\texttt{-||-}}}4 + {.||.}{{\texttt{.||.}}}4 + {.&&.}{{\texttt{.\&\&.}}}4 +} + +\newcommand{\CleanInline}[1]{\lstinline[language=Clean]¦#1¦} +\newcommand{\CI}[1]{\CleanInline{#1}} + +\lstdefinestyle{numbers}{numbers=left, stepnumber=1, numberstyle=\tiny, numbersep=5pt} + +\lstnewenvironment{CleanCode}{\lstset{language=Clean,identifierstyle=\ttfamily}}{} +\lstnewenvironment{CleanCodeN}{\lstset{language=Clean,style=numbers}}{} +\lstnewenvironment{CleanCodeB}{\lstset{language=Clean,frame=single}}{} +\lstnewenvironment{CleanCodeNB}{\lstset{language=Clean,style=numbers,frame=single}}{} diff --git a/deliverables/p1/p1.pdf b/deliverables/p1/p1.pdf deleted file mode 100644 index 10b25968fd98fac3f5266349d226ec5aefaf374f..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 31973 zcma&MV~j3<)};HkZQHhO_io#^ZQI6f+um*4wr$&*GnwxsH@TDCyM9&uUa88;%0s3g zDo)2l&jw94w=}#4&B98^NN8_l11*_<4RpU8#1->IzrR&}|~KU+_1gG}<1a;4Mj( zg!J37lzar!Kx73|(X@-6SxW<(jVL`puDC83KP+TVk_jdj&Dlr))IN(8CR&uZ!_Tu{#OR4ktoL?}$WIEA?|^x{zBNL@u4vHiHh#P!Nth%9gy@%;o6LZ*e zvh$3%1Q&weKQbi(?fr8DAvc1?78!z5hV{W+sbP%CUs<1TAM2xb8XUis1^%3Rg0`tg z&m@kYNX#huac+wFdn9zS;d(4W*;gzqJdkqO#gicAs0WrAPTdo_d8Fd`7Q*+9M7kqS zw*_?2^Fj(ZbQl*4u|I)k1fDx-l*~#4Q{-_{Sb>3PCQ#6Hbu)~Yq9BiaGChp&JY)xUp>2}hJ^iw~M?FSWS+`-tgpG{#TX=dvG zxL8JwGkm1TXTZ)tryNpkaP8UnNJ8;V!b`5(N5u}pMYs@~myBqlQQ=Y`b2G!=((3l| z{;K9l9sBQITMoLo=-M|CRd$!8`xyS(GI@W)gEUseD%ZD#V1hk#z{z>U*S7`qR=!sG zuU?ZsH&P|5pL*^*d-~a`{VkYUeYLs2&!S%8G_;kL>EJ(cm$|s$Rs9L%b+O)S zpeb~!`@pzZl|qom+od=A1*$S2;e$4{Gx?v;{zv`qz_YUbzmm^H$i&XU{NEm6Cgfyg zVf(LRA!PioB;;aaV*LMG5V5TgthhEP>@kEvgkG(Mugg4|bY69et6J6nqILPaqOpaS zEQq8F#SjWn3PaD3Nxg2#w0fo&A9!zn^B#T8XB)hy*;rn6Uinx~4UAXV_CVH&Yzn9$ zIiutg2q?i6mY5k4L4gAV4gCleAoF6U5yPAUe{4t1S;D*s4I$f>dU;X#@(oZoNA^sOLjnZHd-0I)l>lV*7*p{1!w3ozeFc&}>|!BVbr4hi zNTK|vw|M|LNDM&*C8g}wcn823+67Q>z&?PEaRTWgiXREs4G5EvkdboYRe*}q6jzaw zg9-@9-rnA?o+gQ4f1hx480Idl02k;(fplpQ#tPz%3@abbE%b*hmLLz#;0#jaM+%eh zN^!>kff8Wr5Ga)IK*~LYVh8aI$d`w}EVl%9*~-5Y$YJ|+*#rA>ghK2;}`k? zXbJd$7`3-_e$pY3lQ7{25<~i4R_HJ3;2ty6wjAPtWi)6BqI>`4GSJ5W;knlvn!D9Q z?m?s-hu_{rK3F^R-#=kFWmy48xF&ae5Vixqw$1^CfI>k+1z<|pfDVv+eng2t zeF)5t4xwK{F#n8sY~ZhLL_2_Y6RZVb3P0*+;8h~1J0Fk|PQlvuyF28M)RRxx2M;a; zWK#go$oX@7Wx=xaBOl}EkMI|v4>!V2KnQTRdYY%7b_U-l(x>a=-}!q#1e_m!VJ5!8 z>o4^auA(6L2Kag(0tNCBE))zXE+!S!Q9(w$+hy%ASkpKCqEUgfiw8*lXwrRT{?x8r z)}ilxS@X96ey2-f1v%(Z``$Ze=>iG`AwS~xew|x?ksf|mk9z-o>3@Ft(*!h=ese=ul|}YD;PX62JFGp|LTy! zRscT+Zk!J&AdU)r9?N&m*GV}C_7`+Ol3uOa0o_3X2mTHgjKUnm><~!0DE|lv%`ZOg zlBDh_-;5XxZx&Fj2Hr*t`#eLbQKR(dG`F`Mzm_ID^N9fOpKP^Ay5(IRA zUWTY(@nBBnp!Q6apv#UAjYu2Ju2vDsv{!CK;ab_l7ap6vIX|wmdVK>;8NTFV4t*?c zj*rY}w>STl@%%lp3BM{EMrgrSV{!d#`tI*x`5@4QMR>j|CX#%#UPo(s@u;AUah&Z; zq7Abr8qp3_ms*3C$99yCH)%VV0~l&f5@Xpy!GRE0jkZRE*;Mte0>Lz`B(fym)FL0; za*TLwgOMSWIW(OktAJ1X6bduH-}lCAVJn5~+g*vcdWnW7DHdFN9=G#MUn2r5suaT# zP6Fl?bYWRk$@qZxp)RH;2!Z2h3lxaWb4T3szr`*)vE7bucq6Z9x5+ks({!muCir+Y zVd#Q^V>;_ee-YR#ixK+s982kPxo!?hx&^lBv3V;64WmCFoaA<2)#?`b630ktKvZ)- zlUhoo?5|O0-_XPpe~f--+d#i3PNkyXA1&j1;r@LlzD4sS(zP!8>u3%Z4Xe`1sNy== zG8mZ9K_kfWR6u6E3l>_~|0^Btp|^Yx;^LN3#I0A%`x{E-RT3UaS`J|d6fe^vdk8Q{ zWcl2D>MlzZ8!$SDU7m$HuShvt-6VD6`19yXIvSkv7_Zp+)q2NAu~j`#{DlOckdyAPg#P#^+HW}h zGb3R5buTSHw-M&?lh^iI2Zu~`*`{n4a3xQgIgY;@nTayLk4f#JE5n*2_lZ_y$6EO> z&N}@@Jn7kc<=>#0pNq)YABZ(a`mOcL^+5iRy5WAP-h<;H`EbY(mqAXCFDSWyO?t}E z=;<(uVgzcsGg+Ic)wYv=rg;xNSPx>!?fOd265){EOjDV)pa}m!Y+apYHqGl5mcHgr zi&-8Uv#edm=3iSRDCOOvy?@ku+$R_dm#H({?H9q>$#cY2hy~Ai1-8Ir%i3S9xNUZD zM928lf^4!B?d&|a@dlza4-PG#fB0ECZ!|^bjm>9p>oE%RL=;Q>`q^dR5!wwWQ{&x>1Jtt|C-Jnj2NDoItP>pZgQgMGtA zZ!|Uuv*`n&X-dteh))YL9Jy~Dg>peTV^WFMz}~?0o!=~;I{JQBqSY0V;Y&~ODK$IL z!XV-kzxAG$(G6$^7JWBPC+XVDT3lJlxwJ;WVIcG*9I9Y02$3a-i+qP|v3kzl|KX|P zy~jm$r%6Mn@YiN7O!FQ%jZCPGOxr52>oFd`9GI;JYYSk;<6hOZu!^!ZbGPWanr*M@ z*@8;7t2vY(F#r3jl|2iTPD{^|n*pS>?n|UxY#tIG6B6-7!-Wk-#pqry?vYaoV2ZqlovK7CMho2zwZo zpaE1@4y12TID-+sQ;J%q;*(+0S!kYg*^TctL6#!ecwXcB*g2RkX5I=B2_4ine6 z#)9E%nFUyGw$JP7(wt#R>fpGxBT*h~eCNX-2O=!RnJ~D^AfB|HuZw5T(J`J11k8eK zT!Egs75ToaU5ZJKXn!F5K!XfWnI-L(?_y`RbF8|HeO8h*=j$Y=4y2`XE;rj$V^(`B zH1MSymNJhz7?5er9>c(p@mY+09*m#CLprg-ZAb1>GaEjx3Le+$=|e<}~yh+$Dzea(-v+2WXFM`UHEr zSI^9J3qSCQVr*OoM zu4_m8Cq)!{7n{6%*j<||ERO)J<)23fw$InbJFg$%kO7)EwI$9yV;nl;D;t*tALy=} z*(oTSSCP&7HV0;?nq6PHxP-hK_m%ctZIksR6$3mrBO^DHP_gFC0^%7GB~lyaG(z}@ z9H;*|KWfELfIZ^R%deYCx8|dA?K#E~a;5(~OH7dI1|yS<)Ic`oNN&`E3c>1}!Y@7u z2IauO4`&`ZH5d!zWhUQ|C~@p6rq;P}9JC|d!+*zt_`O}}^VeDRaM41VbG5mz$Bs|a zlnN~zo+MEIYI-YB6J<3K#ft)Q*F9k6ZF9UYEwU;$X<`fr33cB`VdC@g?q2EJ9Vea4 z35L{Mg!=a~4J-}kI+Y-^im+AFLT~b4?B;v^ws_*~evsjwZtwZ22~WGRZDvWqS_G)| zVh*078a6&jGlXHDPu`SPv!uaSmO+uzmAWd1R~D4CTjhB^QXF%(+RlcQbJlmTSk+9f z0J~XS77s70-sww+=VcR#nd>X+`Zqi~g-goRF`8Llb}PwhxYNQ}da9v7`|jhSCk}Ti zvKx{e8SQ;yWsdId=4>=5`bf_C-WA&WEX(*?C{!qbI#RQ}+l{B3v5C#`d{Q>TxtAFp zKL9L!vL^7s93MvGksgO^UF=iVD4_CbIS>93Fzr|>!h(Y;sH9rQlSbop!8*7>clO)i zh z?Vmy#hy;W)@(8J>;wqrL|AgaLL8Kxs^I1Bm_{2-;nS00tC{4h#r1a)0nzbZ0xY%g* z+3L5)>Q?1R>74QO1Y_L^-stzumU1xtyCy0VY_^UjTU zinyP#L4WpGF4tI`jj@7@ap(J9xD~A^jL-;M7`xA5CQX0asm7Jup_WJE=Kb6{rK@(o zeLmV=cr3gEEddGs&g^Uo9&XpoXn{w(7_f_NaPv<>Lc^!z)2$erJBGEgT}(IGBR1F> z$lv5>Kw_jC8yv!hJ{icPTx#Jps-^y1uaejX_d-2bQ=$y-8!n}STC$Yc-j+rO%vAnG$A~Nmh1-8;M9N6P~)LgZjWt`>I8qM5hsI>2ibNS}WX||o|n5<)|WxbGsYzaJL z=SRELtIU|7=VSVvHLh#SHPRSU{IV7)Z^$v=vD-6Du%ule$7V_{uruoDzUi;SswOh? z)^Xy?Tl-$-MU~K{1u?)Z=6fX)m1g^4yp)+%d;WbXUVA=++khi|S92#{1~{?Fx&=>L zjvAR2D1M@<8`%$q!Wpy~=ie7xE@*Q%jm$9mtWy%pfDg$Y_^3yMZn`?s`MEp-U(+6J z9RMqs^whB2<_Tw1g}UR8W+r4AYyhUE%>eg{BHPtVk*MDsjj8x`HD+N;AZMecnnk}_ zXxVm&_SDcFXm69eMyZk|5MWpR)*D;<4i9!*6q-K~W%-(Nk_wNaU&pS1MyD%Ws6Jqc zFOA=-2qb6o6pc5b1|F+9k-U?<(c`)~;(-y(zhfLj6kGQHxt508qGM>FPkYkZI#Q_N`zKlNYRAT?H`8qz3G>$a7o@$bk~UiS z(k01g&GA+MR}@=n4rTk0bZxD?=NQ`gFKs!1Stty})=aSRj&vU4WPn81Cyni@Z)m6^WOCEdqjwfXKN@pX#8`leHw=^ zd;FpGXoN@y+?@YTZ3l91fqblc2N&?W$Ai3LnU}2+;vJwQIqXc!d;@Fz8L? zm9hPa8>hgSLu~z+j7F)COfb>i()aqj$lW))e;7RBQ0kPU!n`}rN;4UL0mYs^&zF?d z@RGHq-IcocX>pOq>cx57>_RJ;D(*g{a6(1-$9vkB=EsKDE3eT_*@(MQVX_Qm<2T7m zqNG)79~!G`HJw|5O=Mqk8Yn06=u~qsExs6LYcn%jb|EYhJr+;UuJP%tl%;|f(*Ga} z4t3niwjjW)Ep@A&rmT=zpK`mKGzE>8x$06b)hI_u*7-S2mei;pG{Wg85l5xQBCw;CN4V`>inc~n8_3>S!{1vRI~Ta6+>9W)@=}O9GE!9xFFbHA z3JCPPvt1L{Q?GE-HN+(Lp%NY2aRoV^=_?I>s%5@Rt}4{Nqocz4HLdA0XXA5HdmiC| zB80AG9jW)NdaK03Zsw-paau>)IDAE1ujrg37_lyf2zIwzt_Ycewk0{LapN&Xh`H zhIRWtU(EX*Pf>Vn^7XFpG{^h4R-#aTg1@rD@u)7PL_x}kZ8TzvZkg-6S}AN@&40cs(j>=s^-{6 z=qU@RdRGH8$`v_O^P9W6!I+hO)>F#JO59mlBn6WO$z#33bDGlk00oDHh;0|pDZKi&`SWK~sP?S5=89kNgmS%RDo1nnSZfl?H|)r?)?1ua zolAS9x;V(b_+M61r(c?Xa|gHYxbx~xCGS*sl9T}rO>SO~;uRI1@D;Ezf%jnR?v}Sr zBiJBw?1|q1Pf7j@Q^`M*yuYcN*#>0NWe9QHFyR$_KQT>EQj6t9n}y`3yM{-gPus zjL7AsBN^FliMq7kvNp$>qOkIL$)51x^=$P7dqUtcZ1gDPSbXX?vU{!w7*bn&GL>H4 z1drs*Qk#|bSmjgV$@jXRYoc$(*yPIO%lXQ{OSQ^46gq9Jy>vnW<3`u zpf}W}9*`7YiNfL44FVL!E<&mcEbXo4)dcA_Cq?ylD5PEWhDzgwACrx}tdSNC^UhWk zHPET-Qngf0OH5+Pho5zNwHc0LvgtWaAP8juR z$?ZggUV}0L1`o@oBC3X0*XTMw2XMnBy(IHpRW!<$7Pn5 z&0UL2X^zzR#&9Hn6-ogiRj2qGwFi&qLyi>V>lkpjU6THlj;nl0v)b(Q)Ml~NR>kzc z;LR+R?mAk&E6-z8Fnkt!UXvN>?;I8yUR!~0+fOzbfrIfN z$#X8Y&+~MlY$S}?J=7|rhcXou+%jm1wNy$j_KlqcPkjqcE zq*9*IPbKkzRV^E4ff=-gqPLA6hG#uQSTTNRdyb~2`ey|luHP5iC5gYbe{Po0{Kh4~ zpi4`Cu|(Xr%WjmSLTRZWm63eP=yX`_p)@I;;5~h_VNQfuPH^?{fs}Ksn9{WzKAx2f_+^Bi^H-a4+ zWnfU*`Ma=SqGA2c4RHT0oH*Ei7`^t9cdH&cubeD=52%ZB3!v%)L6_tTmg*8wzdCl)%46274(r6#;L~mK zL{1`b-&yvplh&{dM0FAKs?ix3ppn=T)*IH#lQ2=NS&~l-^te}+ph6|}Su>qenjwyT z8!TOC8SvT^J!Ou#Yyx4Ff32WIFTGKsAwh`HH(HLZYw+WF8gKX&bV97vY7S)0*HieD zC9Q)?w%a3bm5A9r9hqIQA}QQ%egrXMf>fbDmsW12bP#F9h77qgBUE_)v+UDFZjVI) zg`Awv%p)bQWj;wqE8WYGg*o^(+kK#hlJCTei*@o~-but1nm}QA=O1%B+JZad5Bnye zZ@cYrZ!Nn}&Uu*Yc+I~3m-jDhX4o_Pdc0~feuapks9-R&JbWawePxP^-T(x^*?)EjiY^Liu#9@GWL|n`c-mu^{03M&)AgjJcbW4@wr4{Tn?@ZcF$gc*S$HXdX|wy{1Mfhy6;QQ8hfa))k-XfhUo6b zUIBx(RLlwQvp9H00?*`@9=)vl(M&3lPly#VXlY6?i6bRKAM#!HZ3m@Be)h76@OgVk8&)D9OFV923W(0sl}L^~r7T z>R@A)SP@p6{H&lhIn)SX^a-Ju%*4vBXPe$=saB8D>sm+Y%lBTO$qC(xQ(RJtc1F@% z#kvT_6Mq{1WJxrvLy(ejzV)%D939Md?FU^S6jGiIHyvyqyHUMxJh-sYwD-!RxYd|s zJFxGKwsIgX;oJLEB$3b%#B@YP7{|Bc{M!2oi`B7xI~0>2Tj#6LyCS}J)W^e=gmFkv z>_+6S&v7_7Qj=$1)S4VQy$i%fB(*jy!!8>#WnX^vd_HKS@rZ>YFxP7_#W6S<-ohivR5w@ zXM5J0n6FqG-L0${q42j0o^2I+=Zmm`GgVy}4r=A5${V|Pi=CQF1pDWr@c#Kz%!R%c5L;craY(><}ioFJJn8n53OMz}eGD;U0_LWc1{sFrq5v z{xD4-D9mz|Nk`$tv;)Nd`e0;jZtfA$1xa)&FWHF6PTUu*M*Zx1^gy%T0TDL@l~Ne9 z>#rwu7r`hhkca+v$MTEynD}TO|3v3w!$a972COp*SNpr$Dzm&{@}W3%Y~L{A3+x4H zK3mcGa4%DzWzpTFeZkb0G3Lhy1*}q2IO3H5`M~{Ba$8(PxEe!9QS{v0por zwJ5W=>A3_8UO$U@R7Z`bKh6N1fi|XLN+GpgpgP_b<;$+@4B`SC{cCy8@(9y1M!`($OQNu;9wTnmiIq`r ziJ!3rr22K(ZfQpwZuor0@_kA5Jvb9DW+_8uwkR%BWA(KvS0Lz9E}hzpTeGv? z>W9UYB1@#MDcaAwFayZ+9h)5UIlTul^l{1E_dTT}4aq6tg~LKDdydC#Yprz!Spbf7 zG=<=cGWf1-^t?xTkp-ir*1Jl9nj%4#0{FY~iB{FOkniPHHyItoIs_LLW~x9kHu!|I z=;#PwDe>GW&c&9Zq<~{Z|4?@4R@Z~^RByFG=2DXb>M5>0>7EKq&Byi4C7w_QQFLqA zdN3^2ATr9U^}U$2EaWFfxI;io2UL(>FP|SsSrYB2by>xfYq%1*PH9`6#b*(hw8S(V zs-bFR^L*ce4UN*xMl-nMmaiAH(L0*ATjk4xY@|xtHTHYXn+k4nUo*p7bYJgV;voD% z7V>yC-`$*K}xS$RTci_=eG=Y#F` z8)Ri*^U!0*gfRJanIE}Z4799O>!{uyj$@!WVSI4`IQy37TJmwiVuAm;y7*jE?=ZSh*b*jAmqJs6Db0KLIY~RTRUjgu^==mP9wtO*^{#k}&4WIXUseaLL zja?JDGw=C;^7v%g9TqJ&bk3tF5h9NwQd~2hUKTEA=g56bO<}{58~+bCU00dSNe@7( zXITu@hZ13K>G`m&7CFM%#T*hg7h1;Sz3xZ6XUH4-K*DWM@93ItJ)phNGo?gLdq8JDaYe)m#y zg-^T1@>wgdf-Nt#h?&ULxr2$B+nCX%?D(o>bRIxnp%j9@Ft(!&mk!pzj_2>QoB8D2 z=Ry+pQlM=SY{t4u#5F$O*3giUgkuA+ zCW~IQ1rn#f%SCBU-%kMp#EHsv!B0w`6HD+^LhrKamR6awKH#J=87{|Sz{Uyovovi% zZ9`L(T5u4h;XLU)=1;57SJmAZ2s8^Oe($vu-Qnkhn^_?+Ded`{_Vfzd|Jb@r>2(S;O0f}EqE$hvM z)(Fs2+ZW1>HM1LmMon0Pgl?+6v0p;TE1Wd$%*knWBevDEf1~rOs?nT<;{SwAk}5{m z%uQYs3}602U={nG{$JoMj{h5+#m2$@Uj~brkb|9*>A&v(31@L~F#Zp|`TtFC#x{eg zsN7=E%d`dsNKed7!xF+tyQj0lGWH>|FtRjBlE48gEfly=5z=jM6D|NRBuVQ&t^VF> zU+%cBWIE?=d-u-zg=gp~higw@+d(CU4=QYR@e(Qq#AL?7GY|kk4^Dvs-yr{HxE4@K zjOjZ8oB2WlLxm2C{+bd62Lvd#GHWtktSG?2gHU#I1ADv!bp;i62^SI~1|WbUzfU5@ zA%cwsZRf85*zg0GalwU<87KR4_>dH|d6sN*d-;KE)UE(}NJvDryEgzT3P@lpurQ#d zK1!a5MO$&2dJ;hhJFw7v-d~g;*)8}`Cv-62?d@&PJ~>Hz&Vd&w9*jP`sDB_9A_<5g zI78TXRi**lYfum7*1Vuo09_u+2ZT`gE%0M_aX~;UutYf;Xjqr4W2mMGV!-AV0FO*H zAdCg{CA{H+09+?PARJ`xc>kMcD{rS4Sjez9r(aFYfx?_|3I)0mY)uf42mt4)ik|`z z1p^4v{AC8^A>MEOG2mcaLbCC+zUy>h6x5T30rXto&Hf~)L6);Xj|Ycv|6Cxw(M(7=-u9dr%o-!|OwC&Hne+Bi|iS*e{7IU!KO z@-@QkFUzKX=htuImwL)C&FpV0v8TGk=&o0b0PK%|S3Szo{G)ud_CZIXUAiEgUng|^ zFPks;yRq{!;fjKK+3zxSL0{`6Ay}j9mv@3fG4B$HQ4N%s=K6Pky1)(*j#w$hK9kX`F(FV(Sun!}~O^#}zaB!C3bKpuFGF8vJ@ z6tL6P`e^}o|0Zh;NPqyB*zN$>Z9W36^&x@w&ZsB=04X12AF&~zK!VG?iHwkdr7xUF zNT7f{{{%>Y#WTl;D%aeHegXy{{P$=Rlu3l>(QNOCbuip~q_b2xoNQNg0wVjL1G ze~(&hiLxg;+NWYySMq!RSw%|*3|cs%BGOl-(%G~4%hIl2YT0)5$Pr>X2Wn+Z9IYoy zZr~~tY{N?1p@Lp@d>h{LPUG2&us==P49`n@BUmzTS4hqC+Y|p#+4Mw60=MLK5-J9u z+~df>1edsstNiT=9v~to!lVQ7=2aY7nc8{I_JW9%xaCr6l=^t?NZJ_ZlfL*fOdbTc za5CtN_fAbMH;%BdIb9K58s`?RxUVC)Y$e4=W^;Uk1Mf`(cfw^|3Qo0cg1)6CO4*?( zEX2`Iqj--uYM!%7KG2Xs+<`aXPIEQ)^DOG zBee|k!;`xra)FoI(${FpbmG8(OFC#<4@{?9CO9Y&BNX*+t%UDCEhKz_0 z@i4ZTGI6<|r{CJOU!%JfuetL5@aI+Q?ChiiDL}LB1047>I*r+V&f>xDUowhNDH(<{ z9~Nu|G?}g{O&+Qs@ZkNWuQE|tx?-$o80$GjWDZYN6@?5ME8FqFL4O3oPbqa3R-qDc zX1R5HgR|>`dJ>c_WM_lA{6k#qBDQomS2mcM{^(BWJ=}Sx3_bc14&;1AFpJe7FLs!u zq)+GRxNP;O3CK40AH%B~;o$5!R#j~g_%<({NiVD%it|l6d#Vl$Fyx4(W#5VlNt;T# zGnex!m*hRrUxkYK0+$*b4tC^B6|;M?$#kslw|6LtO67=xhtz*3UJB0Pn-8yzpxI*e z+Wd{H{RbUu>C)`|FjfmKVspX~pYtA4F^Jp1vNq*-7V90ynJ{?Ej(;(aZ8ZnqG z?DW*Vbh25{w>5s&=^H>;U%734j0riDR%DwS+*RYNz1Y7$-CK7!*#{gja`z7z5EE+I^IH@CEN%=KWIJ7mX7SOLfZ12AZ`%_%^^B z%44rta!%!|82_8cSIA4f&(+;BsYYbMzp1w|ExQM$$MENgn1XquXCLuP2hk{cxV6QLM82pb4Jxo1$;R!ZjvMPJ5!xxjqOrLi*G#E5C5b%VVie8oek zToQl2>#sy~Qn^EASMkHI;I!OjxsAg;E!QLS?Y++2r@B>>U#edFyZ8)T9&Rf7lrK7C z9Zfx($g|PE!w1c=?ZKoxI2`e1X*(z5OfWbB9|R@bo#UHbyDGNx%^$TzO;M2NHV=fX z*eKOL$fmVaB0`U>4P#UkOoJCS%l3(miJ%1>3W*Fibnd2BT93fvBjP}i$|U=w3uBhi zW<-9T^a4_AN#BF1KSVt9BZ(Bf8xpsve#cq~*$2Qzo`ZUoIy}~crN7JHL7g_(9HJ(F zTQ94YotH4=l!Jce$nWM8+A4nDhCcBs{eJAf|Cn*Fe{HVbi@b=&GRes1+*WAE4x9Ub({1r~0bb4cMij*4$8^!Vrb$NV9#`(yVRT7cQZ9gTND0l6r*YP0F z4KG5`#a39z=;ZtXi`_?R_A2o9H2Dj+-iSj$xUEoeXxi}&yKSAsvwQXioFW}O5p)31 zha)?hi(Ss`HRBubOgdL-jO#niFG?PjGPz@-n3+{qDdQWyaTH zVdL9+F=&|^?2>C7=#(GdJ7_9{KQfmq%2x>hZHMiR6r`0@^0=D{c z&!eWmSfprEYja3jIwfkHx8#*f@6NF2TuU9<7DYR$T2psiV+rKL$-g|xAnKe~kkjWB zUm!j@(?LEp_I1D~VEZ%StuBC4=}g?Q0Bn4>8IUSCVfZP~9jcL5E13|mVR3$6axfES zzJze(zO!v_!)J~vx2J*6;EPsRibZNC48>O*Vt-h=?AO+l4R@blhW{~~^z!o#EY5u6 zo)7p&c_o~H26on3D0}Q+k;F_O+9mYu`E+GTe-27K)VeQFBAZa~^_0r0ohb!7I#^~;k zNbT1onxk0DIf0xCjDWlTk-F!@J?FVD<;E;7nvII9=g#V?MmWlFyE#|A``b#~-VTkv zhriUff{ZSEO%*d%bSXl(Wtf)Y!^T=Amg8=fHHfqCWJhc-LQ;3GP3${e%0EV zS48F%5s7%2Y^FN#*%X_)v{`bnrVdJ&&PKa#AoYK3S7Of~zIkZBL_nhF@d$=sW0-N) zN#C1VlIrI=q?Ai1d1B+KBAsXi*@7^OxfKwaX>LsT0^#{7$JEy0(+dvRN~V03&lwkbu=G$q@lSAVRZ-}C7ynM{ zHjafBzvq4%@-->++sXohdrdZoa`h0OZE$bdeP#0*KFTETXnNuz{V*%H_E>_H;HY6za6~ax-rxC`SSO$==aDUBT>k*F)?_*PC`pkj_Txq>~ z8U}nC6jHOQhPeZf_0o)}%+0e&6UB)r$f|GES6;AVc+>-dIuI@8@NZ$Fy`Bef5kIyY z^hgHYavPeb{^0p3{YdlLnj2&(e~8-KRK0DCo!ZAJ;{v@i+U`dmut1dfBwP*&b#L@;`4JT~rrS*6xKW*Z-j!uHSDLKhsuG1^(gz z(#|n=K?3iNfJ!tz< zWKyGndLu;Mutjggu?$K!RwtLL&PH#`R<(wO=1~(~jcWzW$e%L3nCsbAKls@EKjDia z=ur3K?si3^>)SHG7Mr72ctuHs-^ZdS8F9+lEQm;WkNy;yX@4DOXyy9$Y=d0#s|NYC8 zQ=MfY#;vxK)gjsp)lr5tHEzI+&Uok_O4oGQS4ou405gET3-H%n1y`6X$%U%wV zEXmkPrDVT>Bh^DyR%%q)9g5`SD>%)b;B2XwBpQ6cAO0!#$p6(;=X$6rss%~a>Xnw; z=x^CDz)pT~_Y!?i#Qa==S;z=>T!3y^cO|+F#@|qgmB@W$&pN^;l~bR}Euq!D&tYRK z#Dj-WwjuRFL3!SUWqz%o{sVc+368M@8)?+ryU)QVaDN{2`!)V6EFhO;`wXNi5z(+< zF?_DvD4V6pkRHzZhF0+ptx8aatU0Dtet1xh9dUZf{@LetxWp#3WXYIMa_yOAg2zfj zH0$2|JO?orZpJgiT3!N|;Gvt5cYc>N58mAKj;El?+~9PXX+v4pP~2;fYOxOl_{ zz-8S1IrbA#&A2=q(bzGRMs?WPDPyB81}t8&Kc%}(9Tk;$r0*rRZSdNr$OmlK34DS8 zbH_32?~+k2K(wpAl)#};?Ix==o?P~vyv>||RzT#M<25ltg^GXMeWDj7O`$pzz+_Rc)-yg|ryq|EfUGhsOMV3Je!);A6K#ff#UjS_wx^`f5( z7P2O*gV#EGpS3&WVJph>GsqMwLJo+|FHe^a$l{Y$47+plh&N)Ba};1}o73ZwGxS`A zf2sT9?fIRoL$#!_dy^ro(1!%E3O_J3tuk&$dh}!DD93NK$J!W$Zp!2*j9HT8$KZx6 z9Z&9ZOAbzPr<6KWwS2B>M%kxntiZMvJ1}~UA75ZBSw42`iYN!GxVTr0I7Ga~Ay$v4 zW(HwCxhk;&`MWZOrnv2wuhM?N%$mTz2CtwqEKFBDPQP`cKqfzApn%MV5J?ca{0byT zCuUFOCu#Oi-9|zoB~jFSR#u|S$&6jFjYLkN zxl#$~%4$4$g)!fmLLbSBYJ0tt@kD@j;6PNv9EMMSR!FddI82=lgUL2!SwP+=dswd- zK>y(zN}!_g*d$CO%qo&QrL9!jOAe{<^U>9{zweJPgqzxEVkjO_YdN0Z&-;I!%8pDt zSB;&$f2XVUyb4uK7Umh*f5nd*cqB_mVy)CM2bVonGnD-6Zs9R}dcrTT_pWp=DUg&- zibeZ=+b@l@HRZQ}O%AHudP4CR{*#xUVqIm$B!MqrMNB`Y+}SmZf9~5Ge7mU?ml=Q) z$>=7f)A}@z!o&EPN#M)i$xFIym2_ZNQcE~P*k>2C-E#&QxcyI?7M}~XKQVxLNBx}P zGR;3%Z{Cs2`g^-{)aT+6I)Ba%v;Akm;>EX1ly;hbXnv1P+0(n9ACoxww^QMc9|PXU zcTBqmApYLx1Q&n2nDfbe?s6MCTyfJM@$i(+Y=;BKKI<-xC%;XJ_E&~yiazz3TcIld zqa|pLXyuLhPR-$vIlz}^1ha#TTPuMH;COvvix&l>nAe0uo*T8ftSRB>XRP()&Qd>2 zpTHGnn7W}MVmHR1{W#7uLGAelA9>_j`Ke&=|1euj{uM)Nu*{X23e4xP>R1alz$V;D z+f9C<2p zBqY&qi_lc?vk_1PVe*Zf0bym|>d^c&m5+bpE+iVs%7x_`9JU}(37(`kq84=rt$+Xs;)`7KrDmx4*s2$>_@W5T1JA{EbFOnN6u-MSe#1Urt zkRR1=_hS3(G0a6cADa-pjV~t3272xMv(o3eHsQARXJG5JJgV&N_Obg0-+wp?t}#qI z9K%V@i*-iR?hmVTly-=2g5!(2EkY)UK!^D}Fnjtbp7c;%bz@rVJe=ab{_2C%E(ZNy zjlE?|CQ+2Gi#v@qZXfRM4vo7zH2UH0?(XjHH11C0?(W*SyTf7boI9E1Oma?AKdN?C z?OJ>Ps9LE!>wWKPopZu7tt}XO6+QfW9YRcrl~@@yOZi7NKlSw_?#Wf!J_tCj`HEQ) z8H|~>gRhC3re?zaapJFQk_Gyozqsn5U-sqCV+&|G%Db2?ddM`5h)~b{HT~17jl7;niW$EaY|hlEv&iBZ^7H4(*^I%oD98jw(`j?J zIg~{F9<@Z#u#F#NWERy7ir%<^_}h=ZlrVs!li+a;S`Va19@7XT{ZUB z>&grd;#vkyW^BdB3niK(t}_<)ms!zUYjf3TRTxeCkF2Q5py^DN`MPI%tMQBnw!c64y7=rD=@S zdf45WfENVaIc$&U$PmvRS(|UfnWE-dm`LY=@bTy$yaGjEQaTWr9{uPMIG^+w4GsQ<9RyY-)}&NHYR7IaKC!Q!&iW%# z1^*D@T%aPF8w1=MD=4D31%^SVT1r$=(xX}9)7?sHIQOpO=M`mN1WllIUht5=UvnA@ z9e-B=IsvpicHF8$N*O5guAEnP{wP!(1THW(Zu7T|Nuh}7HC(w7uSqB+a~k@1wf;>B zdnmoele@w)yq1CdGEIlMvl~xL=~QPdh$dYT^j3K6%UH#%Iz=pMX@7UF(_9zZIgEnj z{bYJ??sAk07tkg#sxI8T!{rTAj{Y2mchJkP7D&wT5|&&_NYXI3fdP{8WeM%|D1J<8cMLD9@HSm$0osalM9UK|DDBEOISjg;_ofE+h2PlAi!%tA+5kW zeeoGgYPA(wL|2d`;BXJgrzOMrm9mzpZb;#!=jco$#o*E_@JTK=(=8`DS3bPS70Tst zIV`wvpL7wV=VUVd1XBO-Ski<9b{w&Buc697xYg@;oOy0zDN(4v?)yr8%QjbkZ`tjl zP_EqwW^Z!0Fl7IAE2qEH{z)0b5UGhibg9hZFzw<{S^!}~bJ$oDIq<8GKRYZAjl!}n zbkwsV({=8y{A9vQuZXcmNx&q-!;fj6OU=W;o*Z7IJGWa1d6M?#r5fU^JJgKD$$vv@ zIgq9qKSZ?5b_hyn`I9B~YeI|3iY&WxSZ01l{%Duetz;q%L*3XFOZY3zywZnMGLiRh zd`g@PCw7agiaZM85RU^5fsAGmGYm!fO2w40O5OFrHKn-ov4=Aswy#Vo-^R&{Q$3O~ ztn11z(O?j_^7xnUO%ZS(=qoDewyUpWABN1pXH!@5^|J5n zZ9&W^|0s`s_RaKpS7410+0+W1By2=DXo2AJw*Mf*OGe6!@Q!kIPdQlBdZJ8m^?rU|ixb&@E;jc!cS3<3{_%Ri1Y#2LIsP}kG?O0F9;~B>p zP6{dI#=YZe`)Og~_|2Uxe`XuN+|u^dYDWshVR|+J!Y-%4{K*UXiy4zabuq0}`*W0b z?;&)6lvIx+w^f!$(d@uX#519n8>k|yk|yh$HNTF@w6f$Zd8EC95HL(jv~4Gr!FN=P zMbN*iW90s;Z)^p^btCtHjo+8%wm1~$JeI7R6&_Ap;&q14&~q~SW*-t2)`9`H!MO9(~yeaYZ+jP#r)%(W>vHTZn0Kp zEC#3WaCz8>Vpks*7g&wtRcTNxeC;2@FFWY-V@Y*sm}$bt)9_7L=6*Qr$>T*R)82dz z7g85b80}ailXXL9jUgRst0^ucvMVB_Y4jV`L` zNQF^|Bkv|EkwHVA(SrLJ`tB7gm1yP^dSI*=S?C~ZQzwq?7Ei5N`RjrXus3cx@rqB< zx4k}LNBgOnt;s5jg@ldaNQJZ))0Tvz-f?uNZb-vC@^2$kJ|tQf7XOOVd_dHCCI|jd z5x8~Ra@uQUTdO5_M`ev;7+Qyw$<`1_c{!5CD|^_RDdukR2AV7mdz;M%bLp_Ktdlv{50d-J+`n0g6MzEIwvrJ0_E z;AGvP-#;M5MJgMV2=;!Yoi)k#w%R0 zqwjVWPb^)5(LrI#>i`kymloai)J!!w;-hN+0PpITJ7$M; za;aL?CDKKP(jPq)Bid>lt4NjgNzG9+iR}k%)^hlcz$nSYOlFJdNJS${sm1Jkcz7-e z{Cwm;eNCQrMZgFDijxU$V>VbGoNsv`5hFOjhcAe7HHh&4fSz#uPv{8;<9|a>IN3P= zXI&t64yONiT_8x6Buh+o1XQU|KUVNLHm69ZRMrG=1jYdbM&VQ^*A_pC&?2Qdx;X$5 zV6G|%a1)(#m$U!&`K7hplGAkPUcI^8_0+wLL+(L`Pj7CSMy3G@C2Du$a2Ez@yy)yC z0>aDtzQN1uwIUxOy+8<~I+GvX2)-er!Vy$iPo6#}dm`<`>NvWgWvF1u%QS`GVgzCj z4K?+|%Q`;b0>UL&!#@wi8M*JrdC-IzqyxlpPbEM6Ni?C zduTy3Is|*|2RH{=)8|}S#J56x7RAZ~bpZPsjKa-?&9j8|{~}xVUj^_AR_lW(?ZDK5 z3GYfEag?#Gp!>=Em{C*%H{%Y>_rzgdBFZghSHy{*5g17Pl3SVqR+4*wwp zcnIY+gW!gdVC9wP4Mksz*ntTuoau!C#5oa8kQ|_e@Ptw%0=JU`LEz@5K>(z^e@}X= zbcm*4I63h4o+F8`)v^9jjSE)+4dmqXDZyesD)_m=Xjb6d&wuy)OgErU)4Pj+XDHQ>h#}D-9IHYkVhtpD@e*yu7#lfg09}`kEab>EQ+C z*ZCCyLeDQm0KyQ9Oem-khPm^!ZO|wf_ji2fWmz5D0vtT-QuuUJyh*9wS?uReI!#4ewFWM)~*q8OlR|^1=yx{8~@C;zx5xE7wPj8aC)J`T*92rJG!%pdNHUj=m)w zOyAgLjrogo^^@f|9+5&V2EvaQ=PHm^H+Q#B@lYK)8t8wEpyDzAY|*jWxW2NL2rM8Q zKAQ}^0)BzSRnUyU!gx`#d(+4;) zOYfK8FA%^UQke1iBeckz!xuQQvim#yOPsUYN66PA9Sw)N`oG`@&)m4Gccf2mo`BvQ zeVTLm21c42hPq|nf3T`PcF=2g! zD4U4{D@IRz>W#_2s$DOqCE(o;I!;JC5N_Ub61if*VaZcxD;=2DBGauQSnSM1Q6w&G zQ+D&JOK)zD3^=H+MDrNJ_9sm?c&S{SoxExD+o@AuRSHd|VrA6lM3CVvaNb)Ib0CoB zhA~nsc)^-t*E-F#L8;?)G8Y9Sm?6Z~9PA36n`> zWMAiU4``Bv^pJi2+0rk)a>5}?KOZ|vEhwwURDr+9@6it*wbbTF*8;OE*11@()IyD9 z$%iA8(IP1o##EZle!)6tEjk`RdXgQDFB1hN_PSl2@Vw*K@1oyy1yKo1uUd$4(Q&QW ztSVJvZ|WJ zi zFh9=4&jG1`gAP_$$Sk;@-Z6XkgJk%FuPOsNV*Ex#mYAgDllfQ<88tGL6f}rfA$(iB zmwiE|`a@{Rc|r7{%!9U=)&f6fa#P;sJ`oqaIRi*)V1YAfs(D)i`p+&(5Ki=p63jeg zS{e8$gDLFScRC?tLKEp%mjxE;CceM4l*WP(0Fd3O0pHWWf1v zB_1_d#O0IMcsb5tZO9EkXiPW6FHv+qnrjMxQS9Rc^e{E1#kAaiA(7SG(K&x)MeyW&ZX8ykEd8~!+7^;TjDmmg~(N2gUs(PG{T z?2ConF6G>@y4iN z_nRXAWgxKiVxT)iANoFr-eM5t$H{ff0OXp6Mqz@=Paf3Tscw zVE^6(>{)NU)F62N6rbmbMY|dPg488b2Vo>5A$PO+Rh>Z?lM6k>DOuXlu=2Uaglm0E z^G#CJ9!)p>4vOGc;NS(h$Rk+C+|`f5V?)_hrmh$yaC|IEC(-j(J0rQd_8D?H{s>d z8~I5CjX!x7!(G4`$UC}-q_tO-T1=gmPzpE+{e^Q!NM#^8bV=0uF6;cmrB6IW`7;0k zqjhZ+42CJ-ZJp!Frzg`a%kwsOL&JSdLQE{dq9eXJqhcUN=P$cWA=3|^tZ*cfbi5i7 z^{lbc#(8OXR$)UMv6yAmbP-K}!4c1Ci$D7N2=T41XL=Wg>;VljW6mO29GU0G;-#HZ0Vk|!S*{y3h}#vWF4&Ft?+G%#DFn{kT- zk^h#lxW-0TQS77~YSQ=n3bqy%)ZAKBjiOdgnNnu)F(2dgr<-1Li?)=^^3Z>V#?Jk` zcMMCIifP)KC~aYKq^(Tt&D;Pjhy@uwUdD3^Drd;=T0ylw1S-nU zn2FLcpTrqAx8^}sMXAJ`LHdpT;oxF~ouc}J^hrkN=l%iSA?==MZUFhxeX!)oHfqo` z2TSTN4q`d7JJJ;s>N1*|EmZj5X_nL{&GCq55DbODtx8g+qc*-nec&DmA~VvfkSpV} z(w|g?kOEUu(Qh_pMstHWMGF3kNOV?3e`3}~C0kf%Fkw7&BT$R(XJqG!Zq_AfnH$k- zcgW!Gru~NrT~R!EW(LfdLqmd*b2~qKbwBnFu!KLK?%GAKV(o+9+b89*>4={acjK;q zC@kh)bzbhLnV)#DzSreMOWPK6oWk*nfvp1-Myfk9@At7+ysH#1t!mMz zF5sfjY4U1jiDk2O&D;Eww)Q`D_6Ph-?x#$><)JZkRGU*zyJ%T7K zD*p+@Pg1JVrY$~HVqJdS+(#1m2{!n5%=#r2M!cWaF9Nr8-JZRfW-c>(bB$Ehhqxdi zVOe;m(YpIAFfWZ^N^{$V0G#{!9_)k{R_9RdzHkrpb1LHURyShL4W*x>7rsRE$b(J$ z5W_e-QCewNfub*yaPEwCaxTOO(Vk5G8g^THk$4OsrgeL6lYLrn49Pva6@J=JJ3ju? zr=<}M>p~1cF&s<0fE2$;v^wBRs%?2h3o_T2ziPTa!vyYbbgnVT1A3Nljj!Ai2h{8h zwZg1o?eH>zB`U&oIEd06v_bBf@yOQmswMg4;iB=htU>x5DMhU8zK_5ZgPhXfjbflk zlRzFyn-V1hGEt(NL_|b#YLDukMmbn& zG`)^k)tRW@nWC01zb-dC!4RU%u`6D>d-Lp0B_hG7ee;95rRd0f9wYlFuo#G_$JnE1 zn?rfrR=DqV9Zg~HpV)0J8m6}d9)@9b_@M?m&StA_L-vqjZLZB(EUtS99g3V{<`sYI z;-+qs0Ce2C6+CNB`SdjBn3nI9g=#PTH4V5j4FiAkoS?p<>AuEm^CTra@rP$5MZRxF zso8IDPF?Mkf4`0Bx zqERikpw6`oeZIqexdoG_hOhmv*AY*o@bPaY%fI!QB}y;xM9hHSk7XV-Koo*jRABC) zMHd!`UMt7F)*oKfRt8_{PjlvxZaD#;Cx^OOrK|pI$06~`q_e;V;??#}r6`R_j86`` z>J}3X&#|&?GM?I>s&|V}dlyb=W>~_~k8|V&>P`|4bwi%2q>~ePH;v`9&NR?2)lO9Q z_U0%^8do+oXMW+bjA3vry8^NMqQu@xG!@O0>SaUWV_BYN6z;;%(J6$qW zTjVo!6+JS|8KCByu-Cx9wYvwo$Ytuq35>~j?$J~v9(IOcIsee@k5so$^U7MjgAy%I z=UtKqc)vDZxM;np{#1Q@m_m{aFd4&~nBZ)46HwYdY+dNcHNoUhLZLApYt=^oE3o`z zAaS87orC{4g}3;;w~ZSEoB0tYol zLamOHx_++c%G^e9#A}i;b?vDd-F;y75B!pzkN0^MX~<|dB(tznW@FBIkPVkvsr6Qd z`ESlG>D_Gz!e-oI+ZNc$bCc%#2ue2y!YWb0@<{h`+rYKFy`Qbvhg>0|?G$Mi_;UyX zGRWE@=EE&g{K|%$N4nZKAY$P9Fg95ONVYt@OkIdCWc$8%N!-q zkcSp^2IY3IaLr^!=h}}Doy%vDIM>tG6bNJ&&|Dt~{(m>@T>v+RjcF(l~d$fZOGo{2K1A$N=(gZ$|EYrv@Hplgi(1v#vX00!h zJ{eGKYECN#%#_k*W%O|7A3tqADCE+mV6=WO+0J$m+Vf`o{o>3T;5Axa$$(@H;A0<9E{BY*bOF?tkags)e8Ko3amRi1TQEYE| zF`DcuOj{;Eyohb1C7k=*vzV@Cx?6kHUt1*6gG?qg%_<0O6}qvx%p9e{s^K-iqXDlh zOm_2%O6fm$gD7nynli4N+$&x^w(~i=UpqV0grx2-p6B(C^Gofa(WH#1_|%zivVAN9ScN9TV`nz-&JMQS9sh3D$I;k=wJ{L*r=STQxi0 zoMMx5NgtBAL6N$jad~OP)zh8Y$W2FoDudwHYjY%eLpx}8Uo;$F?}o6n>UedkOVpoo zXDMy`M{yucNV^KkO5#cwldV{aW;f%2kX;SF8|R!9`^eOIZAvEbC*;$OUvSB^y~OHt zXN{CGe(vfQFIg*Dl;uqfsmXnX;gXA2n%0hX%Dd=Ur+Rr$X30yh)|5$u`~-DUX<%LL z185(eHj=DD7)Nr|JG9X48k9Mi5x78>kHFa*>DCt@x+sg}Lrhze352MLEI~Dhp1P>vua%t9 zp*)N7u(m5!)sb>OBJS|ezfI=AXzoKmj0X|NGrQbr5#7d}F$cDF4sxRRQ&etJoS_033z8(-fVcsb;xG zpF~-;^g&vG{z;Q)v4Z{1u_u~MIzxC@%Bt&7c@091%Vix!NW=Jg#V>HqN}&MQi}zc^3o5z9L*lQ&gucHTt3K9WVFMyL z!t|T9d@u0FhWz*-F8$=>)>iuonNsb_tDeeRhmV2RRR&}N!uaR?+ zBJ*rJ4)x+5$=zOU8$@X?^_y)5|K4>n)>4uWpd=fi{ISOo5ht&#8rTd(Ot zf7+%MRnv`xJyu2K87R-sq!=7_BjX=?k$#KJRH9jTTB@0UKL2<*O1N!cagv`#N~t)YW&oMI5(QdEL>p zL3#_TsWdbf^?T@6)(IfGHkpA#=117wG8#tpjwYbwt^+#QQuzp@_MP;s+Jp<=7%g6V z4kCLhO;ai0G%@exC`nMf^gKt1s>Ob$6ZP-X;cNwZhR?4hLwoPPQO6^ZRA^0du0ram z-Qg-p7pVU0vPUVbq$+AFp@eNaj=Tq31s!mHn@r? zV%(&X3!wNKB?!Y^YH%82d?~Ss&=>=5jNw#Jt-0%jrCzqa>pIkFfR`dYo~gv5Of&E%D7yN$eDzVnCsriPE-*zWc5u2@lQ>s94n zHx5Ub?UZ0=`Cb7@R#|^~+)2wvsXxmR#q9Lan-uHudjqj^ULG=7Q`v!B74F)HK zXpUJolT4@g&bV)*flY(3ClVo4d#MF1sr@w3}st#hTcw>q=E;EEw89wbMwlly4>*ni7E9$74x`@UJxIDLefu<}b77L^Jv5@3HQh4`75(o#IRG~ZPZnoN^hr+iWsAGJ7P3BJpS!hQ6 zo~URMxE+nd*quNwfV=~8W=t38sop|JWn$#jN@C>|-ACJMzR|44$^Le~hbLXO6{FRT z)|vDW(JYs{+6u31Chc9%IgF+b_>-U7wjd;aD|^D}60E zSL>O*R@hP_vw>*Y-o1B<4X#Jwo&^}9iEOh-I_GAG{m8=9|6~8I6zA}uHtKRc#d;f7 zDSu)|qWp4$Vi+?%1+!RbB~>sOZJ(!$?kIUXf%A(4hS96%p^CgRwWOFuh1cv-8JdNnrOoPrq+IIB#_@l_1IBQ=U=>^Hi>g030dT zCwF~@Pj|M^p&nNs)wfz%zkRUEw8nqWL-&b0YvC4jF>N0l6Lt8*2Z6Ajes36v+w9O; zroP_HL8oFJ(x9DFTU?ro^T2i7=Kz2C8{I_u^f)wHh{3COV`q1!ATIT?5H$NZ+0;xJ z^O8PHE2@^T7}kL}3f+|#XEdb{$?hUbWG{@yIzcAq0NQ-rv3r=9b5*zIF%tck5sU@R zJ^fq``#i;xvGWw)lZyoJTD)4u!;MXQyyI7i*^VDt_=>Bm`nuJ#%b|w0^zAE)-P0XW zCM!Uit{SQ9DjEXaoHUZ?Oa@TeI|6=ocKu5XZ%z@PDE!9LqbiubCg#yNM|2Mjxp!7- z90Wb8kGN*+FWRm+)9RzZSycrk#~i1@j{too8}e>O3ClT#T)nr9!4Y8;OO|OJ0ZnlV z><7u6m@xy{7m-(l{WO8-%Rk(}T3;iFmJ$jKg^j>THQ{vu)_9Zjs%}|$EUId2*iN;@ zmL;?x!yq)jtK#3jEt)!Ml{wg`*4~?!Y#x3u@%IM{kOadzH{tSU$3k~ED6(`-=hLaj z$AUlOj}HfM?;>9pFZ>RwF-bgF?7_!>J%}OJ{2gOuo@wrOl5~zr>CB>!w5ZX-6;by6 ztUGz5=(n3K?Pa%GT3gX>rzb`Y{{gN64^mSe3F&SP_S0RH{R749vO~UaYLuZ z-SM#zi<3?=Dq6pWa$Ey(Lc^Ia6!heDw z^=g*G@%Z!ctY=Q)t42T%Wmw?`#{c3ge+%Ud{iYevjWp`=Gx zGH#D^>jK%eWDSO&e@z70zBN}NYmAqIP zL>oB^K3oG?-|Q-21a3pa{b9F|Bh3Ty=sl~qP-TS(;hl@UDW!DxgZN^o$doHatgwl) zWoi2qXa8e`p06+0ONBoCcdV)%)&hR|Fw`J^(@Kf=$-HBZ+z|1Bz-X|TN5PJg&N7BZ zKa_W+eiPC5sf7Z2Dl?D(%q;Ws39#=pw7`j6n_wE=KD+5tn|Bpe%@R0 zETTtnA{T6TKc1O3YE5aw`Uzvr2wZED(ID+JJMRqK3&xw`vMNy=p$*r#O6swz5y}C$ zrgh5b>ow;9V&c*}m)vcT1d$1v7Kuj>OeSnTy@Jd{4aJ*H!)a?R`EPd>VxGwskC~4G zZ`hVdqA7ui+?6}9Ez`W^1rp~(ixKVM)r2kgrQfV9^>K+C`8BwmGBjVhPjhjj+I)R) zaN~alKMf?~kKFQquXUk|{YL7YH zRq%NZl9Q{1t_+6qj_NOgO7y{2C!i(v6_cnOC4$@WliU~ee-ou=>$H}gYBMSemQji* z`cDEgZWeN0+$-Q) zrlHME^l-2&)kEaP^P*?1_|}50?{6wW%Ls(!G_Jv1_LXqPE_aZt-fD)8sI}t5L=%08 z_9E>5zh$V|gkED`QVR^rYiuUU>^mAMH-{U0aTden=Z6@>Qn0#%`-sCs8P1~9d9def zU6h0oy*?M0Zs={Fu$7bajod*ADF&HWecFgms*b{Sm-@1#Xz3DBkqVE;j@l}>Tr?%MzVXYN(%Zq<=cq)XU^|1SmlsO~Jh0Tu;oV}Q7iGn!a z4UvxiJjVf}3;FyPrQZF3I1F(KRV@N8b8__(I;<^9hR(&z)a|a>d6Ja=^&p8@4tE_k6a5>1>;NSZ0c%*9s((Uatjw#*y^|d+@Jsne* z;BKuMmMup4R|Zp{X3x8M!d+=EjWSz|6Z$|Z75K2)`B)k1xcWN_4|W#;^f6gOU&VS@ z!+a$O7#Qm2w@ih9Us|!wEZ=Qu$wdt8rAY@HXuk`IsERD1-G<4(^!l(W8gg>keVtAP z)KtgRw1l53B8?f)k|#`fR+B!!%v%xoPf70j&xQU<0#2U>uvfrAr3#@Wyi z=-^1jpknT11*DV#x|tgpSOJ7=46NK8%^d*-HpT!20|!TQ8&fIUg)4<9R2*;qHBC0_z=4@qUXkcUWog<}+ z+4lm!kN?bv7NGWD=`yi0v2ii8v(Yirv;Y5je#d_=QpVf`2>4Eljlme`!XN@PG&iuJ z0$AF8cXBua4gPDz?DWj^Oy3by|6$PizfJy_nEo5gr{Zo01Te@OS|~eN!!gJKSii0Q z#LOKWod7J%|K<7zVB-9L*N+<1(EfJ+{OPk?vttyIU*JaJUm!^D*wG{#*?O@A<)eT< ziGC;%Qq*|j^U*Cl7L&~?$bgH-`H#riZOWCN7>Nu{jgcrlL58vfZZgP33!WT-1%qT< z$3NcaHy1fC{EtL`*movL>85E?tfXa`Utzt1)RinblC|ynX{;Jxh;xSFh%(%@7+8Ly z=7XdqjSP7Nw0%H0;;io~-(x>5AWU$YP6L1^p<=)ULIvjsS{i`hq{SkttDh0F1!lq5pMbYs{Y~L~Ymm7B*jrYkB?YnQVNcCSz&=CLNbGlfPL>{*NXSnj}x}o=48Skcs(Rl!!Edk za&G7ey65n0fH=@gva?V~8{&d&~f;9u`0g=ptk;QBuc!Pr1^hVNS% zB;!G1M?Q*RRMwHj0B*64XAAs(WniX}n79D?7O^X67+%9=t^x?&g2x0B%6f;2MJO0v z;td}^{m`dOym)?f4~Ee{MU%-)mH_IV9s4ie521*N$#|soyI+~Ml>#wiFWUmuSjBP% z?B!;)naXuvh!GUdjyL-jikd$&I~&Ts*c~aXpW4owRcwqEUUi2y$dX9m+JQGg z_a_5vs0?JG+sl#hZ9#Q;a@DT!jB{nMe06n^&g$Pv45Dfr9relXfH~9zk9T4VUdVuXbXlbM*&u0?>{zff7)U9| zmZe?rHZq*VB9O z#_93Nu!U%xlImoK``KSerpCg=#a_6_q*>@UDm!=Osv=SpJCWIF466qo;+yUHXX`{4 zDqWb)z#8TTf|iqD?KXw@8zly=c+r<(Hy`J6-$qkDmGHOxw>p?e40kh9F>pG3U%T2;>pAx5O|#O zKE6+f_o@4s^W~J+`kM3}C1}Hn?=!bEaE}UxxUiH$*|1JwPmZqz0Y#I~_H7N|LD zOKK`v&2zx=dqRusAkWraclRMUA%DwzgzxT`itZbrH+x~GU>`bdQ~1H>Y`e?z?QFi# zxT|y6LvqQ8N7Q~d>dXD?qHBq;&!ygLib1R*wKJSu?~Z{-to@4Vc6I#eDz_N<&C`mN zs;|JWiGI;s09fSugyTLjtq|QQ2`UzrYK=DeK?BvcYmIPEoxukf$bCN29ty3&{i|9% zS0sq8`lw2ac4_<)Q*+#5`p(Q*-r)l%iUJ5Q4Ex8$J&1cVc?E4RJkk8kHf~9JTOX@x zlW+U@3NqpYp#QznPfX|C8GX{NFVr(IjbuS9`|GC4C ZPTv)!o5S~>vV50M9B^c0qVi&J{|gNa@qYjS diff --git a/deliverables/p1/pre.tex b/deliverables/p1/pre.tex index 06184f2..c1a127b 100644 --- a/deliverables/p1/pre.tex +++ b/deliverables/p1/pre.tex @@ -1,5 +1,7 @@ \documentclass{beamer} +\usepackage{clean} + \AtBeginSection[]{% \begin{frame} \frametitle{Table of Contents} -- 2.20.1