From 9ac80b6df785d7b0c4fe99068b4d0fae3b4cbdd7 Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Wed, 3 Oct 2018 13:34:14 +0200 Subject: [PATCH] Grundstruktur bis Lambda, Auswertungsreihenfolge --- .gitignore | 227 +++++++++++++++++++++++++++++++++++++++++++++++++ merkzettel.pdf | Bin 0 -> 93922 bytes merkzettel.tex | 64 ++++++++++++++ 3 files changed, 291 insertions(+) create mode 100644 .gitignore create mode 100644 merkzettel.pdf create mode 100644 merkzettel.tex diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..ad21aa3 --- /dev/null +++ b/.gitignore @@ -0,0 +1,227 @@ +### LaTeX ### +## Core latex/pdflatex auxiliary files: +*.aux +*.lof +*.log +*.lot +*.fls +*.out +*.toc +*.fmt +*.fot +*.cb +*.cb2 + +## Intermediate documents: +*.dvi +*.xdv +*-converted-to.* +# these rules might exclude image files for figures etc. +# *.ps +# *.eps +# *.pdf + +## Generated if empty string is given at "Please type another file name for output:" +.pdf + +## Bibliography auxiliary files (bibtex/biblatex/biber): +*.bbl +*.bcf +*.blg +*-blx.aux +*-blx.bib +*.run.xml + +## Build tool auxiliary files: +*.fdb_latexmk +*.synctex +*.synctex(busy) +*.synctex.gz +*.synctex.gz(busy) +*.pdfsync +*Notes.bib + +## Auxiliary and intermediate files from other packages: +# algorithms +*.alg +*.loa + +# achemso +acs-*.bib + +# amsthm +*.thm + +# beamer +*.nav +*.pre +*.snm +*.vrb + +# changes +*.soc + +# cprotect +*.cpt + +# elsarticle (documentclass of Elsevier journals) +*.spl + +# endnotes +*.ent + +# fixme +*.lox + +# feynmf/feynmp +*.mf +*.mp +*.t[1-9] +*.t[1-9][0-9] +*.tfm + +#(r)(e)ledmac/(r)(e)ledpar +*.end +*.?end +*.[1-9] +*.[1-9][0-9] +*.[1-9][0-9][0-9] +*.[1-9]R +*.[1-9][0-9]R +*.[1-9][0-9][0-9]R +*.eledsec[1-9] +*.eledsec[1-9]R +*.eledsec[1-9][0-9] +*.eledsec[1-9][0-9]R +*.eledsec[1-9][0-9][0-9] +*.eledsec[1-9][0-9][0-9]R + +# glossaries +*.acn +*.acr +*.glg +*.glo +*.gls +*.glsdefs + +# gnuplottex +*-gnuplottex-* + +# gregoriotex +*.gaux +*.gtex + +# hyperref +*.brf + +# knitr +*-concordance.tex +# TODO Comment the next line if you want to keep your tikz graphics files +*.tikz +*-tikzDictionary + +# listings +*.lol + +# makeidx +*.idx +*.ilg +*.ind +*.ist + +# minitoc +*.maf +*.mlf +*.mlt +*.mtc[0-9]* +*.slf[0-9]* +*.slt[0-9]* +*.stc[0-9]* + +# minted +_minted* +*.pyg + +# morewrites +*.mw + +# nomencl +*.nlo + +# pax +*.pax + +# pdfpcnotes +*.pdfpc + +# sagetex +*.sagetex.sage +*.sagetex.py +*.sagetex.scmd + +# scrwfile +*.wrt + +# sympy +*.sout +*.sympy +sympy-plots-for-*.tex/ + +# pdfcomment +*.upa +*.upb + +# pythontex +*.pytxcode +pythontex-files-*/ + +# thmtools +*.loe + +# TikZ & PGF +*.dpth +*.md5 +*.auxlock + +# todonotes +*.tdo + +# easy-todo +*.lod + +# xindy +*.xdy + +# xypic precompiled matrices +*.xyc + +# endfloat +*.ttt +*.fff + +# Latexian +TSWLatexianTemp* + +## Editors: +# WinEdt +*.bak +*.sav + +# Texpad +.texpadtmp + +# Kile +*.backup + +# KBibTeX +*~[0-9]* + +# auto folder when using emacs and auctex +/auto/* + +# expex forward references with \gathertags +*-tags.tex + +### LaTeX Patch ### +# glossaries +*.glstex diff --git a/merkzettel.pdf b/merkzettel.pdf new file mode 100644 index 0000000000000000000000000000000000000000..1418914fa951d3ed5120b99fa4aaf20710e56006 GIT binary patch literal 93922 zcma&tV{;}zyEf`Owrv}CY}?7inAo;$+s?#xCbm7XZQFXEwQH}pYS&&LR)4zs2lUxh zee_A8BqqVY%*YN)@o#Z>6_$&biP+xA3YL!#7AR+GXYOJ_%*@QmO#J^WSfGTZjf<%h zF;K$B(8W~D)Y#s{6jne0*4f3$)X)~zV|`0g-u{3Cx%)(;oL^dK*y(i|l)qTKQwU2O zE7W`avcL0}a(^1Sl#_ch;rj}2iixDMg)HKwS!Z}(l$gNGX!ahNr32o--6e?Jw~xX7 z{f+#7@EFvR40ue=Kvgkl9E;tMXah%rE(Cx1i6v3xm2sY^_W3>eN4q;&Kmkk%UxXv$ zsoSC8G?ot-aq#ws{F;wJ6gGq~yiiKW^TG-PHli8jslVoDCOS%)VWtE!<<-QB^qN2y zP4tFSrm3Z}-TemL?m++Lr%0I%0F+;8iW?$Ls+r9r&v+8ZGBR33YGZ$~MJ};6V#9nF!Y~N541G&|Xo1)|;(`1S3H|bmXJQLV?+gmf zxOsN)SX!%QUG!&E&?fm?u=~5mXS}I)8BrQSQ%X}v*kp6{GySxMV23SvH3!2YhUxq? z9#ubbJt!1s@czo=Q>8R}I(WIG3C2|1scZ{^*A3@|)}IIns+c=QL4w$yKB;BKz8Ci= z=cEVk#`P36?ZfZ^8e5IZ^z8E@ohfGY0bDxsw|uJYR6mQxGCj>!pz!-*S;}eOzv=E93IH7-|G%o^g*O zWsEJsOZ0BI)wCV#3L@cr4q|9U?v%buame`kI`SV9qpQ9iD+Fm|z(g7TA?)A$)`3Xa z#kP`f-fWWa$Hc$bF4iUv%Wkal+hYv7%r~mMpX1WmLRc^!B@onIb-z(id5arCBw5^x z%X$J>3lm`-?N>P&tN1>#+j}xj1X$}Ya1H+=dittcjA`*bzeO!aQ{@qkwG@OH$Bw|u zZZ#e_>uLz32clRFIa{>vSh^N37#EkF)%ei&$w2h9_%MQ8qJu1wpX|9b>^@^d8n`kQ z@j~|f1cIcF+RBz6n$zFues^u}bI{KmRL^Qi{$f6(v(iNb)8~9^X=Mt)#%`@ANuyM* zx{BzcZjx9u*qpD-TbE-)iDi^ndCh}lT{n}=j(kjGt<>%B=AD6_X7_(^!Sjt8QAppf z;Hc%d^|5f%8QF5O?`|IQ7??S{5%kO*6@}RnKieW(i{*6{%8>{prg;*1a^q6N^epjQ!Fhw5uwh5(?hktuAG2YP29~L6t%?=1=Z8*Y zrJww$nwu}cBM0|OD_m$%L9y0ZXJYYk;~!n_B?o7^J25R3wuiMz;`L;%Vpko{e1#pHF%4llf?1sKtI^F@b#L6CF zP3=tn-*o!V^k2!w#`6D*IA&sIR!;W+4m=iOb}kO4|K70@|KE|AgOi)%f18A{E)c4! zwksTl|6&6cLBK7;uCG%d&p;rtjUdg!>`=}iK~mAlOGHIvv~fXbEWyQuN+#_e?>u*2 zJb(OaZgk9RoUgratZ%$;y!BTMP3PHn6I;VKL{xW~(2)dzQlLtU>P$yaAjAp8Kxp!S z(FrSP@ph5#zXuJtqR3Lz_>^}<(Bk0WF(Ml&ebj79c!*$Ze7Ych!U6hXLHeqo;Gp0_ z#CN@c4k6$L;LkzpVC!80kob_o`wg@MTfQhtl2qvLIlbwCP6DVtAS2_%7cYK-doXc< zn*nwKf&{nl=0B?SKwS{9HUjjZ`!7jYHySGR3EiOh*^P~Ctjn;&P%?Z|t~L;R>Is;C z;lw1+zzF`^DpMh-OUSncTp%Hx!6~@-_YqS7Z$Vc-G;{z*o5&S06FJWini-NX;B)~5 z%#~p`kQe+JOY;H<;JiI?0{H2D`f4La3K;tlECkuv)2>E_l7iP^V1jS=S#$!+>{&!`cm6>^Cz$@2y_$b_5=kJ!~;A;7$DdiflM5w z2mZ|(&xrkA7WWgO7S7!Va@RW{zO%4H;r+D-_#g^&0Q^jqfJw4qf!6e;RO>SKSbSXSL^1H^VmXSupf{<5_{e z$#%dxXng!UR}}SGFpLf2>;AaLDiy;nLK)S;iLY^giKq8oO7w;t!-fjG>`9&0>BIF6 zB7uITBh@hSVm;n~MIIm8V}Uc|`4d*aHwAC}C}#q^1`NPKFQdZ=S-hy=UmuE&ERgQr zri}vPu^=V?hyq-k0|UVD17EBQKS6^4L_BoZXOEMCFY$+NdC=h6M!lo)BcI(rHRjMm zP)6aLya=tyK9|2A+Mb$a@|LsBjm5l@TnEX6gGc=_@0K5OPTg=NkD?`IBaGjg0~wP- z*-f9x+PO#Qet`0>tz=m$kJ^l&j5W!Rqnz5e0&!bs1PrgF`WvG0vZKb-tvC)xCbNMm2(!V_dI~{{Uzs)8=@61*FqL0Er#}Ko;*~}InS0znE z4{W|+brjjl%|4^`hZ&`3O`;_z9%uQl74qiUN(~X`OCc~bnuDJ)6 zR_#=w3_52uqYsE?w5!h(l>1qfY;wh+5Cl4n{%}fh3^$*6ZH)hG=rmuP!AZywV(2G& z@f?cX)6DW|VW5*byuZZM$MN{Bc43wUHbRxgoeSko8HR8Vn)(El;OGkReatWT;Gv&; z%Vo?f3Em~ruH}<-I`V>2G*8f8zf`j!v-abqwwia!W}v4p?kI-CAz`#dN!ZR2hT4WH zXNmmvoS~x|AQO0Mt(B(PD=~s<5jB7yZ60FEQtEDJ-!Uo1xlJa^=9#+m+@k8HXCH5) zaY`p9D8YcZQXkHiP7sFzy+q#zkdRwLxn z#{Io~z%`TXTIErG5w4fj^cG`Jf|E~j1*J#9_!yO&!k|w8tAcVNr6AQh2Ls*U z@3b$LXxNqymp+{&XCJb8HSAsjeeqDGev_{p!Oeicvks^#p@1g8^ylSpL%elOW|)Pc z<9|1`5~l9Rr3rVhgUq+jxQmTy~s^C0j1U6tuXSRcXongA>lwUCaJ3hSue71$jx2_&%Cn*mKSB z^K&+Y>~p1d)nvcLxi`LyR;_X2vT9F8F}|C5bEZSqSTM9Xj+C*PNFs|@^`-qHEfJ6N$UuS zpo@Wmm$n7AGX_PmbdshaJ{3IdD$A%ZU5LZm^}?dY-~KgWQ^)NK{jUi3h7cQ(65@x<{djZ z2h!;@O)VIDfIXi}Pvo?11~`9|9+|~s*;7rF!Gt%0y9=&~w?F)`_B*N)`heCWjDY+; zS??hm9%|m`uPerpWm~ykq(k8uq+QDNrI91EfWb_`1yxwnejwc;Xdkl?Zqn{FbC+hK z9`mg<>RsjVbQ_=V@nX@--9&OQzsBPvY5L@uXXHG*f)3V!R>Pr$x%V!){4MMCB8i9n z36H*nd(}|YvL7XGXTnb)^5nv#ZNQ)zmwEi$$>Y~Y=yQ=|^Oj)z4r%m!TDto6WtLfD z`l}^p6BBRh`gNnG|D_X;OA5tfx(Wg9u7$f2Y#~)M^ljBlcosvj>|hxCZkt#&?w5@g z%2YcJ*A;jm{}rRQ8l@twIS-s#7uyRC?sG+eD~(tEViUGVwx=}WpE62TpPd4{9K*&e z4rj16&n@yMjb=fxRsssi^<=AvNtHv`?U4z&Dz&f_cfWS74Pd5wa3s>5dESFqj?JN- zQd&kbxv^oI{}qXkGtZ*N!QZ0EKy03pT=yJ)Nkm?x+C+He^Ze< z)XV_1g943-b*;vh%k1f%FBL2Q)rc*}gVTdGs%Ow_D9|%zc@2og2fx2ToWj@+>S@^9ebm!rdv% zdFC&|JqNP-vgOYET5)U+ascF+c_Z?g@?miCt06)!`xC z1(4(SS@lZO5YeTBF`{%c65M!bAE_ML9G}eP-!VIQj~WpY7G&T{=~gN27a$7F3^~jnxJ@Y&P|`VRT8Qrmz@#@FQ}@FnOf%^ z8a9)SsL&Yp*lbhKNlHoSvI)cIy3TuNwY*Nl;S&1HjxG{a{593+QcSCC7d0yb93kDYMS$n zecvQ-$Xx4IS>qM9b%>L|eMt55G}aw~0uG{RIl_j&39+2Q-Rb8@C&@NZWaZ}Di)G$d ze^=EKA99NJ+d}r+ow^_jcS70%&DG=shC+0gJM46$?j|4 z*$;d><#v7M*|K>UJ>^61M_>?_8-?M6$*6&}J8V~XZj~I^S`-*EH#e-ZbG%e0@IBB* z*q^NvCrO#yK{I5p?xZVHJ4Etc;QRQs(65MdY%it^^VAcmm3(i&Axxtwbv%xhzunyB z^L9@uI*n2T_7u=sXCHtop7%3@R#d>NTze(DYkg(^$jJ)Lv@Rm`lJLMPPm~^6Gpf@G zlqfY(l`!g9DC$mnB8AL}bgq@YF`~%VFo{%ZG}{O@XhMI4Sfbi5lkD}c_e@5{3t~q} zMRz3Pv+n!3{GcWWUA}ZvU3|$$_{iq8NKiEM*L(>y5RXcMT>sf_P40Xuy2|BNy(DelOLiSvgZZlqTOD** zrGs?`TaRcsa%~&`ujG})uw`Hq<~g1_8A^;+@JX;LZd^0C76Bb<_Jd60qPr|);NiyQ zZ0`=m)uC^PED+zkQqf?L)BpSL>d)Uc`OsAs3P+JCtCt+uOw{b3W^ zq@jG7y{|+QP=+FKEIGc?)R9L-x}*}iPCT~90eGEq{MC)BofQ(Cw7bMlF}45=bo94@ zIG~2Db#qKKiC=_Tzinrrq)W`M!ry+@z^^K*oE@(em5*IQ_@t{u6^0_8?Bcs=Qr_cX zaBcDhZ}MBt+~(LY@Et4%nS0ejWowgS9qArlbY6>yp7e}d<6e}(5l|!i@chz3zUd3f zr?7Cwl-T!-({k@^9VR~+u_SN0pHD|^J?>7r`QK(NXyHF0zZK!rZ>?+4L8{{Ebf|4n zwjcMble&o^%GAzGQ#(E>%s`?kWv`!h$E~=*L%K7@)Q(uq6(2?CCfC~9<2fK+m#!fj ztL+OwZj5J?K(LRwsN8KzW-P>8N@n%sB9uv>Mhu?ZiDDDkV$!|fpnXX*VQ%VAnzmG6 zSx(CNIfZpTgoTG`cG=nmWO3>Bn0W+Ixtcjr6V#K194=pdRj#5MIDzhPHVnm zl2VWciCP_+`3@-}R{oOvPG^qWFz6}JmKr4A&fT@--!xx9#pP>EvG;xUCz=tyooZ{2 z7AE5PkUAros}}$U5$X67$jGg)n)D|c!DG=apT@uEK8;gZB{qM1tOzS&OG`h$r&VG$ z+!XBPoVwE-y?rfRAjVTC6AyQMvbKh^2^I^AE_+;Q&BAa9vk2--GbXlDv2kqc{Ft!^ zrP2+4-9iAnCx%6=K#rU6)u&XK+*PO1XKXiZu)W=5RwdvkWQB)#Gn*SsaUko$2{!1L zw_S9_%>A_Rd;5>bNAQIE*_2eNvL98bZz(lq|MeN_jr4Ty|8vPZyu*TAy8c_4P6E-* zZ$^LbI=<*h(ei;tj*N6fiDOjl=3Aq@DY-(DMRarxF-4o%H4~G`cet=r(QV3}MmYvE z&!>&Fb={+VYI_KsGgSL;b=l1%uZ_xw@p-yqxho)^L(MS$AI4Dt^p^>3 zIO|uihO>c80iK)%#7lQn(*#4d0UDLQOgzuP+or}y)(#`ZQMWez6=^n45WoKwy+$pb z(20`|mF8*5#M3pJ331ukQfGWtT~0KM|7yDqB$R2CwCh+6g_{{PN0*D;I`UYQ$52)n z4Pzy%lfx{KdakmH6<2md{vtPRChIlQeldMrA&aV$3mf1OcCbucG)EDRT6cNNHqz{2 ztzHtG@ZBJE=J(lVsj`4f62}P#*3i;J#1OZZKoveZ(J1Jk;3wx2LU!70R^R#f*~ECn zQZa9!*f`68$ec62WtW4#eD+uyE5SZgPYB%RP_}SMPo-ndoNkr3 zq@6>QTXoI5thbjs%2s}%P<}A8Wsa+`7<`)Cn{uQOA$MAQi=mkfDHImehDJvmu>NsBES zalKy`(Ch4wkMMxjEEj~)Q;4_K>%+F&VK9hG0fTdLIXK!kK98`oj96ybeytw>YBw_1 zXq}8!&`Wo_aB#`VTY;I2vm_v$PBu1d|GB>^j-qF0mtNt>tASOe#}P2b_sc(8?NQtB z8`-kIbM*QdZA^jCf3X|$$+Z+Xvers8c|G0k#8A7qP$X$jU$BFsc^qA0=;W!DyG(A< zQha#=3Q)_pnCaY$8RS)8d^_y6^s{6J)#Xa{uzT{ln$^1%)M@o=rt*8>bSRki)asd# z0x4e1tgqT#QpXx>DBk{(L0Vq&iwp`cB>_!5{}2-tr`^uckBqq`VICmOTI6}iC0a^a z*E!Sk)yRANaXQN0{v>vdhjyv2bC5kr(PxnC=` zT=cNq&C?H+oaOsp8C$JS29+QpVa4{x-*D*>=W6!@m+N&>v3FSvERd|*hY^eI+k>Oi z?3iwz$r#q==}t5l^xHmP*G-kmT5dW&#^2Z99(}{U<$@Q#ac_OgEn%VhS2UNUpEmE@ zPJ)16>r~U}n<>`-c_(rtO96^~*=hLE{gh9WvvUey-@-{e`lQumxnwr{LafOc3l5%JXaUYP8p)BCevKA&$F7*uL+d8spAUQXxh?# z47RY-+m3Oq4sE+T>S+dZHMsdqn(o1!PQKFg2s=k7_ZONic;S!YO=Oe6ldztYxEIZz z>+Y=95+hku)qXMeN|k@Ctkr`+UazPSL0d6BuqM$G`Z>`Lq@e)0aqu9eFp&olvWB5*RSe zPx07dtq>7qeH>A|-hz$#0VkHb)x`yi3vapoUKP16eSKrF*5s5R*M3sUFAITMnhFAt zoc<5lHBiHdr4(C^+2d?wcfsJ0S1aZ1mUh8llGgavlkdNkJY0qmjTUao0ke!{U{B`vP8FdwZ zngja4%x1qMJ-$Qjk6%WN+ve+I4J*Qo24X{rtWf;kcS8qzq`kH#v#QcrE67=Se+3J4 z1JRGPYmHT!w`ybV4$MLl8v{|Lsms#ket!yp@MMU47QU&_*r zie(5lX}WD~%A$vkgVw>r>Be-n$}I)%=jLZP!@!gBUy^{h5f~ISDh#P9mHfidnyvb% zau}z&S+XCYzmYJ{j~%UOaXra94~>c`(UH8veLi7eWdjU{EckG|9{Wz|-HJw`PHzd0 zox)k?q&Dttxl?qmDe>L+|EX@l$ee<4(>R=q;WB)t(6!H68ekg&8Iy-@86IIU+=Y1> z^fNA6XyQEIQAhORCR&lxgXC(aZ(j@t(Bk4JyfvU~2j4 zcyd%%hqo6>;oEOkxUY=i%a}KCZMsY4hhK>>2{9)A2LfaJp9qYN>;Fm@3o!==JInt> zV4NK6|9b*+hfqzqTINtjr6nPyDFU5m6_s{(4?kpL?Nef9BHPNH&y|Uqk9C2IKn0zb zk}4__6lg$!f_k*Z)}m*#6jF@mub5(w9xw!3}E;q9e{_+B6_cfEH5M z)y07a4G{9-BSr?oz(o^+9sqvus0^6{Itx&ws1kn+#ya{)u<0qG`VAt_rKkcXRGvsb=9c;hVbik)6Q+8H@@7y0y9KK^$j6 zSR5S-&WqKD5ZC~5+BfHbrNIUN9|Q}4976dnV<$w#49H{n4~U3jS;jgBxAlQ&_JM$e z^8RTcQOq@PzydtG1k^U-3ZX%`zeiU;V+F$fmx37(-uBLaMSiD3?>+KjgNBk4{6eNe z3Q0!j!`%ZwS8Ei8D21KA;VxjB@NEjWE)FOv~4Z+I3>hgdW5Z53C81Q~B5aFH& z2^s$5vj`ciBMj`FH>lIvhM|mhaS7oy{72q*dlCOV2=)8(_V*gt zAPMMElfxRs+JapN*M}MRN_G81*5Cph+@oI~JmtsvYm*x=0m1@|0O}5SA!y^hO~!_8 zPx>5g-;B`i0Wi>Xf=qzNi-$TY*6INRDJrOV{{{be?D86lGPB~Tx3VLDZc~$lYXHzr zKo7uK2Y?1Z-ob$o8WZ_^XG+2ay{e4*57F{!k%9CkeN|$4|MFkCe3t~b@#hF3xSch@ zm8y2x1N`-;+d?M?1R4DV{LFg&5ZwPHztz$IRL%c%l7^NcBKCgS_@jIi2@av`?cRk4 zre3SSyCEzlu9`Z$+gFl&)@`YU4ylDxB~6evs`+>r{Qsr|plQW8dDj1NC^BG`T9W>D=g|BtV`%;!*$Z0fXz|n&?fVl`D7|Al>kW@<#o(M)V~O)e^4v-zx77 zvzN6b9>NW6N-fFYUaveB<$~jKllkBG_bX(EP27fZ9tdBkk)syD*DfK-Dj(yufrJ$?>gm7YiiH*mTy1MR5kc`crF5hT4~b zi87y)LIJ4EOx8S)?PBBR9Y;W!Hqr6#g}>+>jPyImu-)tB5`Zi9UWoqPy-jRO0~gD; z_5R)*nFd%S6j<@Y$h2HX;KsCUKtK1MQVgfQ4!J&w7ILdC=!fq7!e#qZ39s{Oj10Ew ztBQSqaDAXHVH$RV-alLSekxXzr(w|{y54BAnYDvdwnPHAr5uuIl>!p59Z59AYs@M7 zbj~T05(*8GecsD1KZE2W@NfC0y)sZHbHJ6-RnZj>=j!4>1_uo{_4NI@c=8TI%IKNf zuU$4bcViHK=15dT|Ce=l*)I)2&&#ykP1$M@%V~NbgBtE65Z)=)w074$GTy4)v!ot) zm6rmwma<7|1Etf#Zd#Ed(#5c0V;oiUxyrj06YN$%Sxwwoyk$j}GfGIsLEgGxW9f<~ zqF0al`leLK*gpEVnra#(;XxWMNzV()PceA<3xO*4tHezr8oNzZ9097f%w5K(ktC>0 z*dyah%ipV1uKc=5oNec0Rr7<7@xh`hBu01k4<#w|nG$qwDE!{UvMuOD`$JD6>n-BR zDg5v&dt+Ug>rz)RwMp8h=W-Qv7l(VK@C8jt7AqPhEB{-OLMMD~pp-uG3HRAK?Gq+3 zS**{tu*K4X1tW->Z$frvjmyri2O~h;zjs?7edLE!zb@f2IRJWPB9m@OwA_k*bhDVc z?Bs)YCAN@`n%{mM>>AS|9@z0DBb4(|4ZhOHJYgI9VJW9d3yEKj) zh)GY?yKsnRH#|MD_cYZ*u`=GM-XkC&50+RPpbHk4H6Pu%z@#7tvzx76K0lI2BJRCt zGmQa8CxmQGhHzdb0A3=W8Zdd(hanQOZ(}nQZ60SmFeMhC#}<~Ew>x-7v*N=9m&)MJGo89WsOK7GhRCOORCA7 z91++C?$=Mat)3Y#qthAKd&S624_%!(+Y5DR+MYo!)seO_!9iFF+4YmG>XOMtwuEjY zSyZ9M9yz302WDq)o`~?b`|x~~N@2Htw-S?ZC$xEZ{|U#(0PY&JZN0jkP8Ie2EQl`J ziX6Lqp+HI{`nUN14dA#z6F|wjgnS2KHXi;3ydB3_6w3UIs+cf6ApX@a4NeJud_%;h zU)ew~VGSuRlotQ`Qa9v|z0+RY>-dyWQ_p^Ks;c~@dSvUxWQ)J&))}YZ%bOn`T~tdo zuhth{)~wWaYG-;4CM+e(FwD?)XBMW2pSLTkN3=xz&mAsU<~)&eZpA!2a5#vdM--)i z-#atpwnsMn2GtG*PC~~hKQ+df_TzR-mqy3_PK>4FoK&763 z!s;M5thn z#z{6WFX%Y_!1yu{=BOG2G@NrgE;VP_H-{3jd|ywMmBT~X>M3=Hdej8_(PcGGTf}dm zXTA5m=a+rB_HUi9@rQ4Zuf>U?DU1NGjKR!2)WLv-)e=cFq~E=DH|L-Pq_KkO7?JRM z#<+JJ#-OShC3Uq6-W(89)+tSt3lubdi%_ylq4$7LNAVBI)H>U4jaxY*MyrRFe8|fE zeQr4|xDH<65i_cHf@(!ETt z#RlH3RGS&*RcO_UvTk>ov2ivbdnA}~)<4fVcz+eD?#twI8`Y09I2%eaM%BuSkMYdS zE#K}MbNJ@ko4fRqV+*!YKE}T+*1fqmXt&5^F5wy1B^_O3)exp2*X@98Kq3{m-ywpUVrR`Yf33_^j8EuG(`XU=xThOk{O*GOyfiz>Y)4H z#1F36Re$XsWHfqPtmZPbQZ%CscX3{Kr#trwlQ=m#a5df~**Qxv{8}7{2QSSnES&ni zlQVD2*T*3*dR2bV<@mv+KO92Yzv7jIub4r1lxi@2(uuj-^y#S22{_BXN{8?G4W6{C zIZjME|0R7Exh;+a^|ueB#ajM`+5SG`*6s0ty4Qb;_`1ONh?;#w*q5+Ok^-NTZYM;? zqTF(jKbd6>M_#?6Ia0f<9pV>h*Gs_IV$-fU7Po`Vr(S(mE=ZsT2bU2MAAYe$s!hSO zvs~Yx($dC)zl}eI>xy?Np>ubi0_0yDBVxVlw@CX^QG4a#R@1HGj+*Oxviu{(l`h$o zWZ8so1Xr-Z`6;qIU~6nUGv1kHcB<)8SKbujYksao_C`3c(--BLUi@Z$6D2| zp;zH>=mN|qhRKdu-&~D21`3B&nmR8t7HdpqER}b^M^mmi`f8mLxxul+FEEG(t3Xf-X>CHAaQ!Bp5}V3&|+@gD=xk!=)6^%&*`8Scztyedxk&m---2> z99d=OLMNcVFwP`rY5r8nevx9vu?l-FoPBv^J{=8ZdNlOcu-90aq37vl`b+MV>Tptq zp#5qLpav?@D`#u(~Aw&78| zNp|_^IOp&5qWS9z>^HoA7CNIx=`gf$jvYX~(uii%<@gV%WK%}oz6eCg2Fs{o)2Yn> z7f4Q0%vuahK9)g2$}wb!ANyOOpaMZF8REI@Vx?fL5yM;G-->H4DE@oXKuoetd!I|+ zC5e(AAMY(!XQ^LZqo1i)kC>gl;$~<;nqyXc-(s+~elJ71cTrRVDG@f=5)WK#2hxk~ zolzJNwB7A#NSy5%B)q~dJWZ+Q78k|qpFx%?lK$oV*jmHw*OKTQT|E&uJ2br*W-VyL z6gt;kJJY!D3#ZS2o&3yp#Bh6LtIlkEHFh_uW>0t=ic72qoSNV+8D;J-J|gd<=r7_M z$=so<^b|O7Q1SnWP(5G4=!3_?OPw$$Hum zhja+%wHeO->FFSp6#niWnxo|tXhWi!$lux@3CNcRI}7-_Q#blE9_cK2H5+KH7afva zBt15j*tOB$aPxkv-h&BC)2Jj?Afdf&_rhNOgN&mn;QYQe48QcWQ;OB5pOvrxFBA94 zM~2}fShDS|7U%K#C*c&K_r$wJ%0$U{;Y-iAuvinuZT6spc| zpN1b{S_*YB05ewc)(2itBan!0ozGf^*H;!O;zmoxIOXHP7kAi8(cvv>UXZ;?US)o4&-J_+4X@uYxj-}GM51C(E!@im_ z&Kvo8w0z(QJ10`pu=GMTH(OoP!HeuTe%_hL(t8uxuew3eZpv?=`+sqpwW~(4SiES5 zvLUw58?yZM6fX*}1835n+g(7Kvsy;s$AmT@Ku^m&;_fluT^FMC;axuO2ZCtWw>84UqhhoX3v;{WU`Kq{DC6lX9_%5vB_`tOD-$7#q7>& z6QXnWHC39c$1}gkoSI~iJhWiu+kPb$SMv6xqNvkB`MeD0Puy7BQ?_$ll09*L_k_mu1NrPsE=sLA=1{n;RbxjM*gv&eJ$a|n~G@A>)bIkUZ5Zrf>5 zf+F>`OLnu|bb?SVE!Y_cuWrr9y8|*uK*yB~Ms@I2tLV^2R*orXuuY2@4VrWTP z-8DvX+xcf|@#k3wt*;rSHNuIXSWh$!E0DQqT$SygFY540Sku><=Fgk;32_h);_pd5 ztiDNO%lSqz-#y$3L@ZjqaXiZ&vzA{ z1YWjn%Iy@Ya8DuleJI3Q@pF@7lCUhD@up^QO47oWlPHhfdap4x1U6%+)z4ZteX~u5 zY7csv66$fnR}K{DnI>3`b?y_&wG<-V=w8q)09e{58*5@U${xlP&5l$BN<%pL9rk_8 zqOLv9%EGEsue2|sW1;q~FWXgN;`=aB8&FCgG%au~ex{OURkUvDiZRfu(3_0;arS_pn>3-52;uF`Mef-X5DamhqB3>$(uv;0yC^V7T!>LjMUJW4FXWmLuY zdosArOX(?S#xF!NYs_?GpIW#4Z_{=I7qf8LQAF=FJZLZuxGawuoGDB3Y5au_EFtA@ zf#)&XsR&m{&ch54XYbGsF#F7$_VLhbNZX=atHkI{Jn}OWwjC0UNwR1&o{FlUW|Teq z)%p2l$Zy8FSm@Rk?9L%yd*{3r7=;~$&D0Sc{vH|=x|QL=&0tkgvoG_~_6Cas zAre(W6~TMkH>0iVY&Q)+9)C?T4XF|2GK=H=j9wY?pYcp> z=2Dt2Oxi0}xrfaZm$kv17}?D&(vF8zf&T2(xZ#taEHOhj7FIfuB$A|l{pCaG?V;Tv z)(k%0+XUJ7MZc}N`mue(AT{(u+To4ZT#+@W$m(i5kU$U7_kT5;e6(v`6W0o-^v@oLv}QWq6+;^N%~ZlS)A?^s0?~GsIko7-E1msVG5qR55U+TBn78-PVSYJ0opWnf>9VAYEP~;&sx~V`Ypgm(?<-As~-$?~oowN(qPMvB` zZ1=(VT*9wRQWr2{Hqnxc|6y7}fHO|T<`JKyW{^^9~wT=3p9!=pZB zX=*7;8>2O{z+YQPB1F<`pkXLi36>U<4B4yHo9&`;oq3si?5quo`1jy*F3ItlEgmiQ zo&!Uv$Dcb_)5^j1Vc+pH0XA)pKb%lm$axr}vE44$}oDfUW)fR}p9!yubox ziK(jBLX*V7NU?n(csXSVs30OGS}&A%;?VMXUaob#IBbwccZ$hDiBI(**u{WuwOw1a zd{#e3@mRO4s7dwb!x^)CJ20*M>*oJOxiS1?{4EBOb%^`0Ul6)0MEf)hYr;jA7(g0c za>z>n@syM;yY-z;6mF}YXZwez+8om{_m+UAO+u?)G)b#K(A@^+D1S7?N{-Uwg>}0Jl|_AXbkr$30=dWIlGzF`kw-V zxMZ&-`*D>V1Z7kQ!fPCpGmp!W5_(&11{}YM2Lb26<|isTgxSCyF2y zu{TZx(ZjZ`aA-EK-KAI@PIwn58M_^a3eAqBB`r!Wxb^75&?7&}H_i|7e6aS8Yle%y z@A%H+=n0DHlb;9*?X0SKrk*;&(pNYp;ajC2Wf0wQ&F#=Akd&hg@0!GU$9P#exk%|L z@Fnt{UxKZy7q8?!pQ=C5?~xuH@fpRJ2m`OTxu}T!MHUY_Rl!x-vQkQ8|9JWHNYnlv z$_rJl@3(grukud9(RdhB&na!D4nt}v!6+5*tJ}0`S^U1Y+z=%#4_fj0wS{^`hDQ)< zAEGNyl&D)=;&#u%E9uZ>@hLEv(R{ss{3tOZ>5{XC2H&vPTFTvNZZCIb8b6@vWFH(o zf=zK1ATI9KNGiu>4|OLF`IoN44Q+ab^x7Y>H97fiLSk5!F-ew z?W4odWIol)x?wVJR%$L3(~nsX+Fh??WDT}@IbJu<*861i^)u-JbH_%6KoyouW`}YS z`GUeWF3&Lf>0iiFC+whz&l3#j;jrqooJbd#43@O(EzD}lXPKw{;Ij#JEIjHU7`(3* z%j&ZC1gUzHX5WlG|*7q2eK_)b1DCYkgD`2(cyks0zfpgoKqkq>t~cwpX2FRi~$! zvOnay{Az)Ye*|0e=`Z+C$*H>iDEPR4h-GFudK)*oV0CYQ&CWzyHx~DBrq=B~lF9da zrJdKjU6&`G*NgQMZ86~ts?LgVM~ZI470K1DM^_s6As5up6!zrVqCGo@8AVatN-Sy1 zRREH&tA1XJb3I2d9%y`P+sF}2li&lV%f^m6W`Ll#UmD7rRProW${~MLKe2gb!v0yB zFyHoc*`T&Y&^SD^1`Z~EZMkGltB>J#i+BNh6vl4UVPJo@sik>59ZP;)_w-vSkGyc% zfp!Pel?8pC1`UK@p7j-n-t_YcqKNHCo40h&I*fp&YjUe@;N<|vK+(8YP7770CM?4Z zluA>;1pFt%u$4^zJ{v#xJ;WoY>s|* zo670n8b;V5$IMcpJ$TjKs;#c&))C7wP4_Mq=5WGIaR2KfKbvxo>j>BK&+~&;hubbrlAz@>S*B^pw$S(TMa`R2jogJPm$N*|u81!Ux zWB@cQwA3epSRpxx46z0mc)>7~k|b$?1*w~OaWWLF9n_$~!>2E}LjX635DW}+p8hq! zQ<54M5t0O;O$-lz9x)9K$qj%{FyKNzxT{0PpJ##}kxt6rnVybCI*d3LExa`0@&wp9 zz{3|HiHrWKRf66%p9I(@kUc6|`-oivM6vO|HVguqhuZ>`lmP1g;bBn}i|S}NP*8D@ z`ZW+pt1JKk74<%+<^yNIe`y4)g^?`6XW8Pz#-)yn*=DhU|~nLJE4B^_XNa=w~+PxW&b*W4?UaXA!AYbk%4cn zK~$DLLIta#d=)hX8v#f`_l-pM3jyV?GnQ}Az9WAEELClMYHn+97U z-`&4Tmq>|NxQDP121<-dM0G#5udQO>;Go0~Oppd(Ex}|F-;r@@qPG5%t8YcS*8pb_ z`mX>$V1E8j4t)cBFfj@u;ZL7`Y{rh%mZsWL!iVDI4>K(_@fL_)mxvIct{?&cpeCk< zMII#d`6iIW0{>A7?-T5?g4Q8lK5*||js8E3onx;k0lQ?kZQHhO+qR9fZQHhOoNe2- zZQGnPGs&Bq+?&jN>_5=mPgbp}k502yev-YnM#5}=Kk!8{qY7xyKVO5+(13`53@^}c zztgY!bieGGztIoBCLez4#Rms_cat;s*mr(wg0X+Vn{o7>IaoF(J7|L3BI)9#jE0N=}-Vr2VRzUr)*TD^R7{swhIgj#~Dd9sK$EO%8$L8d2+CCAM&4KwwG?n0=t4j)Iieh zju9{G?!h!Ol(9^ylI#Ph)LyPPpk{U(PeJRtlIO_ekojT<6xJ3m4{Ir}ez zb4{b4SmkmZ8i0ySASbpkK0twYqFN)NWdNiNi$?}ef%7$E+a|R~GQk3p<1Jv*u`B)Y6jC_p_>6(W@FJ+NG zr~YUF&6BZOTKj%jA;O%eIZ}}J$Y zjVdsUlU1=-7e4j9u6ua|NqjD)88GYd9qOE6nC@sp(XrR})g+0j8bmgExw`EOT4~o8 zBYK-K2}af&)?LtbG?Nylu5{>jL(avXnn!hT`3TU25A0joLnY+QH)J~n9~rc3Fl!Or zn;9t)Ef2^=v-he7*$BZzGjKnm^)qCWU42fB1f(}ohhDV=j$Wjds2+ZlBoG>HzL#{i z23qrmF;LEKgm!=xPP6xxMX)Pk;7x`>ZmQM1DYKcO!$r?MDWBrVSc_!xn?R$gkuBL! z_4GRMS*5Xc;Gj6`%RJrqWCTrqFq6hQ3+1^xfGLk@;mhaVizWhb{nDpaq#9}t6^k@a z9MTKMOqIEX$zXMV@-VF>fcn~DwUT= zxCp_Vk|mZv)6mCti|W%+=K*<BuQZ#TCz6D>=$e z(R=llf_IZ9XN5dwZ10vtZxb*sAE8!EPK3$438ua%>mCk1t_Qe;3W zfw|ttnwE?7>lE!D(p}xR#2wzD?}NY8FTLf-`@8Dr7e<;$19<^ky}F9Xdf@Kuq{8oV zFdx3xFBX6#yu6(3187dNbC&billC&q)3p9`AU&CL$$Od)1jm^ds5QED>7UpyZ#yt( zJq!XK)TYBW?;bD69Zlsjll3@we8b7zNdp6vJJGJHo$26JRjQBR0O)+{m9g+uN?vfO}uqkF!MQ|K?h=tn9`prf-1ScVIJZ% z?`vkCaK3tzbqOV1vbuWWQ&iT9-#P4D7k(IaA8MG?Gq@E_`i*upE^hUM*($|Oe*Cw7 zmhV!Z+<;_v(p5(b02#ORFL?t}IczEjsBYNKoC zy7;zs=M~pIjn_c0|1-9`|AEk^y!g2Y%*n-pyO^bcd3i7D-e5cAF~wWrI$yy8h%{w^ zt>4Ri9O6po9D6*s_O~Y-SuVVIX{+{mQ9Ex|>4(1DX-Ev~fP>w5I0S zE3HEhui4qVvhMP>LQ8p@G5TA<%=_$S=HmJ_qHwdvRtW3@h=j^L=PxEPjIXVVMveo- z;>Etu3!bd`xw)&IW!9wR31lsm^5VzLU-zgQ&}{;{&A(Tnxas-9Pe!b!D78}Ss52=d z*9~Sexol;1gOP2SF#BAFFUUpA4(;}hO$AEL(55IV6+Ij)LCu7wkWSfuF}dB;=Cg8Oe*R?Yh5O*ld?Rh9het$r3!Gz?vE84z>3JaFS!y za^bER)v)C0$#Tz&xXDdoy{Jf`cbsI%Cp}$eV>A%O} zB-!uIlb~ggmD`)&V$sO8QTwp;TGnNHmsAvJdR=(3*j^w%7tGWt9qVM68B8rXC*R#& z8{^r(?Hw^7#Ww>$8rWH@Iy zo-iW8@Ua%Q`B@-~kG|D-SSKW}Ln}shX~B|y8mToo+S^E9_AwZAEI=v&PdRxfzwts0 z4W9T`Pj-STk;rKA8#z_i{{+F*Y z&U7}+EB#i>XaLhKt7GKp$VzL#-I^wsV-HQD7KFZG9mUT}v}yD#rpo$9Ox`ilwJyak zA#Y71x3pD^q?Dzcx>HI?LwmSVdfhqjf!Py;PRzI&h1W`D%mP!j>+toRlX}^!|HBjb zG#4YcxvYkfwr@4O=%H^q zZT>Ar>Rc2Hi%H$z8JGD;@gGvk0R{^i}aodVn^R>}B8Oa)$zsJeKw~|nLfEfIomw=05e=ll7qASV*PY`|f zwI@kvj@Vl7W|`^&6imFm1ZDfC+^+C3=lkNNR)RKr)Fz^%(FZdq0Gg**NFo!aCZ%yr z!^(tPts6fh4{8@zjVnv1)`4EYJ6mJZp`jce0ImozLid`1!0F#lklp@PhXkR%jw#Km zqfmd3=oB*tPX5eTFWU@R(Zgzw199eeX}OU}kah)xN4h2+`9WG84U@Ib>zmZ`_4`_Z5^{dy39 z{yl%|%+Q$!+sgK}+H7Cg%4&V8zjj{j_J_gy=a>_`lH7`1{F2DZvE7+#|UosC4Mkqo>=KlLYMNm@2`i6l!3X_f?WQrpnHulbO~vk zYlIJx&*p_GX3+KI#t+9tx#hR`6SJe?i7#wwYTXvT6KH6%FTu^wrWs@e0bF*@3bI_lE-G)dAe zF=IAN?S9<6@-{2IO;2y%0tFR}C24}*9vVDq68o7%8}qz1xW}T5CNJ(3r8W-dt6X>} zRPp$?M0?a}u&Brs?l1nJF(+dt7Jf;4O0cEO`0^L{+aGuK|zdT5CVHobL9hI{ezXG0glv zEL@}IIQR9`s>gmUh=MToaY0He=_|Gsv!uNJ}$gMp2^7Rwn6&nVGPWQd@Q zI{4R$)_RieaRpm4s zk$?JJRuy{X`zJ49yt1zia>dQ7SRY@|IH=;oBaYCL^tEGGKMkimf$B^jBFsIKG!ym!oxa{TQf7UR;(1 zIlD{5NUu{_p`3!>LRuRjP&e9M67p#-@yxW|FI=ZyE_Rw8h@9Z_BLz<=#)5Ff^Ox<{ zH;rbw&=K8k6m|=}Q7cb&L-&wTn{6WgS}qfnn)65CoJQtk5mC2V{m6Op$ek5CVm#67 z&?BMy|KTc%_(A>x{%O`eSnqb(8ZRnRek6tU!CvGcd)AU}rN-V&|FWnG^=WIf&6i^K z{db62Yqsk0tLw~1UU{)9OI*rhX~QniHXoP^;2+|mb}}A(Y-KS3@!Z<@n}t)53-hV| z8rUU6SbST^5WljJw2xSBr8!Z%gc$E*27ynO9T!4wO!400Icu8>Dq_anSGABH4q=-q z`c=@dB@N=N4aFbrw884mhX_h{sIis=Bq)=iZ9&01BHHoN@HsAY`6ey>(a()(I8JlF zA*?$}dJXm@%zj|51jY5(tC6qa~G=Ne$t>hc`+wOBXOjLC$L1x-(>c-uewaunQqWZUC@la4krC;9@Wlv zeo=J&io6k+x;_i&9Tj+Q$82#U@Qa-W=cem2tknq$L-~N{k6;g-tezB3lw0K|pYayxH*Aqcmh z>RAHZ=e2CVe}zC!weJ2V>x7OHcPRw{CY9x6CVHelOedC$qwPE{Y8N@YQK!;vJ5FUm zI)cx)RF8P60_OCQggFJ{|FWO!JQ>CzD$z^XKbuGh@~xug`xTcUt{#ub09<^K+O<9V z_yG*+_z~DRES0{m&J&tiVZ_6;chp1Ka*xupiMVz8FrjMIQPRtPl#XoL2*Em_NxdCl zq<6Ku{5(k)F@@Wjvr5YY=QvwrOP=oVMajr;t>%X>s*9VcosU94odxv zF;q4AvdKZBCuu;o^DV3LxnuU)uRGm6hy@`T{SYQ%`ISyP#1amWQxE8Qn5zwwf$yu^ z=2g|<*<6&*EMlNlET-+qCwORxN-6}D*Z2oVHlZw)Br_p}l|ATuZm~IG<{a0X>mjsp z&6Ia#4VkyC&-Y-K_ZP7Iu9Me&jTNY=^nYlX)*p2cKMl0_^cxL_< zN|+};8B_{<3aNQ{rc1j8%#QwY!OPsLf<)g_8R2}UUH`n=qr0iAdh-yGzhWchNxc%L z!cuSYFY*>IvP`YRIAwd8)U&iWc3m~zed{iW42GW+y6j6lh@1fzjh-;wrePOt;oR6& z--;F5rA4fARxH3G4}n~=MO0^;)BY&L;ZA&EnU>%bqVXgk%bnib2PLlo2g4`lAY*E|2~K4oF}ui_^&+kZISeE8cc0$Aum$=P#Yi0n6gY*_oyXHjR{Wp#)AWK)Z7z^vX#oL21wkpUV&!--0Z>58 z_+O0Io!?vEU9H_#vl?de+wZIIo9~-bPMYWqPo4%g3F>qtq=1uvyTD;U4_H`KMF1GI zJ4H%61OGKY)XX78V{J z)DOUqLGwaSupo=0;P2UI3jnJpfEwXn0HJY|K(}M}hue$gB;BtY=xPNAKtx6+_|uJx z;1b3uNLv`u9}LA7-f1M;0@elSDSqV-#>OW;=^E+vyal=gAD_Iuyk0qTB>K4-`EWn1 z`@sB*KOGFH)1&`7Kra{=OTkP%f6_ftJplamemTD{Z!zr#@&y<$0~~o9D@?$ENgJ_^ zfgQlf9|3t$+&RYp!XN+TUx2oNUN>L?cfwz~SN2bJLXHDBrlk$6^D7`x_d!Hgf7&fb zFbm3x$HMNpEdUh5M`#EaAwtG?1$c@rNUIRQuNxdFit!5og(-i(QDM!_e%(0=J(R8U z)o}0L2?IM#L_^{@XV*}|If_92Z_2)HgOzma*OSjiO>vL~l3)g*YDi`KP?ah2m|0&F<>?eLN6=-;eLlX&7O8Y?6WTPyV~z&tqmqMh5RY|I68--`MeS!fpV4ynltZVfqj- z0t5&Q1c4s+zvh^>6kqn(d%s7O1U3l(V85NZQ@r0*rg6P62ESEsaC>>fED0DJ0{}0- z^;;-3AT1+21i!mFzc~+nMgKgQe~{wWO<3wiPOf+Gs`v0$9ODAU?coQyuYLtLM$sP( zsR($;PZ-wFPo)a5F`$$C*G&Z!c9=pC%`nW68D1nFo#t&6UYxSO+kkE3PgC<0? zSoq|2k)CFTI!X9)##S+-bbJhj`K0Q#xNHIWq#y6mLF?N3)Yg7b)_ndz1 z?h5_L9iea5FURo4_B8C`h`pnM)?3=Q_9a6)`c$TYE0iTI;>jIT^?R{e>PnLNcM!>q z-AM!@|7@7iBla2HFk{rQNp~5ilNG8|V-5nTQ<$18=W5cH{33Xdwae>8H)x#u4W;eI zcB52w2UiDM!hx5}D2wO=R#hK^ZmeL}R1LIr7GG-9b!k(KZWG$ob?an` zh{|9VtM-P~q|?&vLIkF_?!0L4-wU5Mx~HH>TKi#6LTA<)7A|4tC`s9d<79&M#!%;q zvR=2`>ZBfCHjQOslW%S(kW3lH!ZbNSgx(Q@p7=MSx~W5HwD!6brjRdP-WVV;U8+F6 z_kkt$PL)!00&n85Y>Q8nKzbFDTc}39v^C-&COObxE+J9o2eNdcYa?%467*!}Agvu4 z@s~J7yx9Y~=Q_@9D{M=nS-|&o^^{w1FqpB6VJ;Ij?X0^ytdqe~3Mj5|PTrdS*4SMN zVJ4Dp$Ii%CX6=FD=j#CD`A@FXfeXyfom7}y=VNzB5}u|Ts#t8320V}J`NRNcu~<8qr>7?8)@P|_RvhsdXLR5T0QaP(kKY;hI>Ox_$;j{?#@;r z+KiGFkc*{hiq-?{^)t(`$g1_|s8w%{z8dMb2aTC|B|TX+Pb_mbj+gs)_rr?) zC+8;J>z_-;dwUckM!P$Gj#{7(vdTMNMz<*=}kLo}Kvy7;dU>yN5Q7f{b{!*#2`{EsF zZXuocdg~kUp^ftvdXyI?9L8HX>>K(IX_=psHqujEE(hoX@0dViO8Q>ZmODxTnpZ4_ zhPv$Fa1eQYTC%^tK-H44yid2cxVwJ0r^wK?FhfLL2Rl9+?6|h^y>KGiTq}ep7~{){ zCdd_02%ac)S)P^@SOJrE}cw)KtfK>6l zzb`$74(rqyJu=x2#$Nksut%`1Ptz*&!fiCy%G z^q-5mm_!xyZLT+mEqE56x!i;f zyiO-QzZvUub%Y>a;iVKgkl;vFRYEI&>ZfV=>cN7%db}@IH3bXH zw<|8I#%+ZlJGeFJ_S9s4vS<-W5W@7qcM|uBG@0YDwUxF%+lqY@?Gg;abpN&KETW~* zA+YG5N5I?kD0{^zEW6}0e{LS%bH;O<|y@Z0R5d5ad;M5;blGZj`#l^Ugu?u6Ig}#!HEQiT{O<!Lrf~pQYj<#Imtr)v(XH*MX z_x5o^op%ruR|(U@of0vgs$a^?Gj+&U8FE*Yikk(CA-j6R%e-8KdTFYZVxUgUL?)$k4`&}}N zZcgaVWx#RQ?w$laE`GSld^+-D)1r*Up5`?1&u5RWpKI?P7PH|9WjU2)SawSB$+7es zrb~B<*cj}tBJB&dnIz1&m4NT{yx1twE9WnzJeV%|?e4d8slktv&y<GO%|SLhw`O)`L?tlZnkc@S}(FjMCl-a_!(Fg^gqSw#l#;3^MF>{e9cL*%#=e71I)m*nKe!iTU$DM4 z*L>UDSJB!kR;`@Yr`8yF`er?HqP@55ztQ}{U9T~cfrwL*oAUl)A!@bUE`D}{Km%dD z_`THOojINBQ{~fZOjjuIfS**&MXl@6Em2NMnS51-Zd6u#GEuR#bw%)HV1;Y+^$*S< zH=LQtyB!&r&y-%B0(Yi65L-f5Hw?g4Zi*5D zHm=TH{63k&)>2ArT|t>sXJP%tf?F>4cM#;vVQ_-vy5bMaNOcCQLt93RHPTAtwdV@7 z8z;<`B`Sw(Hs$+sGr*^FWt*V%vN?`rc99aA{D(a1{*i~ITXs%e4>i1NKo%57(Cqn+ zb%RC>=cmD{F@Lz}RM7`Z_F32z?V?oMHa@vItz%Qn`Gx%ai3ar(khArL^XTAj>}WJs zrgiX`vla94*pt^E#ME8)hkOijR(0_nzY)fKhxmo#G(!fNn z&~tJO!3z%b5=x z-EeQq-W|+|4}v^#iPapK+uQNI zX6Ts)C-jGp9u=l$_d`Ae2F=qt&CENT=tC=@l9&JSr5IFP2R6xfI|oe4&9m7<=3e<^ z2J=R0!u^nhFXXi7TpvgR11e=ln>T9dOR3;2^jn!I4a(Jl!M%y9hq@A{o`!9Wz@<^X zdmN7y%ellp2$#M9(Jxv!x8fLQPP9aGE@XAkdAC{Zh}|5gP2Vn=qwa``E%^dST9$;k8GPMGu!t1 z#MSmP4t!02V2<=f>{n;{tu()YaPfjsnLWt+&HA?_g^EH=MMk@T!OK2^*gHQ|UhMUm8Dv-J2Vfz}St1L%Hjqti_>sbIY3#Ut^-!qEZf6z{^D&=#S_5>= zlg7jDr(EAHN{(PLsT2xiOF}%aC;>dx6I({b)fhMV?UceZlgaDbogh4&E?9HLA0>@V znn^?0RSFqHsP{^V2`k)UW;@hQ!4u)}dG-9&30um@l6a(u(Ke*5NauYnto&sl8hycY zAFx$NLUdrWTMpk~2aFDwCQ2HF-CA1lv#Dq5YBmkAR~PT?+FwyE=iKMAhEjZK|Kge~ z^W@$BOR;m`j|`-)XQruf>@q`8cuGwNRy)w{NTL^uJo|Yv)h7A2@DUx(FCb4|4RG9N zE76Ofc(A38D9zHt>N;bbW@wGTA+*Z-B)ULh7FwXFU{e^WzFpxxIRyHG^226n(T})C zI7j>|_v2#sPA_rUr5>kQB92gILM^4grCLNC?P#W&^_mG~pn)q{XOCwp;Q<#G)M#oK zQLJHH;{GwyLnp-RXo~gW^+LTQZ4euyE`C;WAdrFQ)D5wD?Y*%7!eUy>$+nDC%3%yjo2BaV#8Zu+MOG#spK0mq|& z7s-j*-I&7W`7%AiF2l>^gUjA}z^0E&du$WvRmJn8wjDsAPNTPF z%bP^7dP|pDw7ev`8)Te~QkkYSn(Ghh;mmuQ(QkQ>cEr4i>o(#W80yp0I{HVMvI@Rp zw{1Vdk5MhY#Eh?m^Wm*>z=}S`xPsMCnH)J|h5qSbw9|uAX8HtUxL`&u=0b zVXV9HOBrG`d$EB1v_DPx8v}w5EwCVpKB;L1xpPLTj*xr3RwxurYd93E$ZK!@%0=1X z(C0CmQ+z`^E&kFN@(`SJcak%Gmg%D7jIvdR2P*k!rxKakJlyk6y(KVTNDL$|%nRgn zz|k)}XU*be9Ks|k60^_=xxuOwuM$5A)YlyGx5d?sCd;bS!ejtK{3cqBu>^34d%N&l2dps&n5OPuF}4xJUuM1uz_&2it%{qGd>eDhzK*b zmZ~9{ru$`}DxAT-9Hc>`iwO_Sb zaH+^ub2j6~tR;o6L}18d>$7exBi6XNUI#u~bn<>QCBM1ufON265{@{PpU#Lhu?>Em zhsGAA+|RCdnPszCw$)a)VpETidiV-{nxPl$v+m;KHjon05#JL+K}YU~jI77jQc1FA4i7NHAe}%@CSkJtm zWtTGPZT*^HSHkbW?yO#E2QcA#$}wUg(wd|1o*{MIPr!%OFa^b(53}U!%stJ6Wl}}A zyqDqoC9JXiQL>r>XcNh%2M)=QsiuhdcBy#&Y%Z)S$SA}2{?trMxs5lq0&cd|?2@2Z zM=?P&)JzJLhV%-r@M*)^Fz$&#gxI^M-lHB=)53SH`oLDsoWkeF;2M&uivhcNhazWCB3P$-=N=|_QUoy=m~ zWK45t2FmMiBKFESaH?*a9Tj~!(^_L*;X9R;R28?{GsvFwYm4+d+b;%GeWR~$MAT!i z8r;u%q+#=@yS6S`WhN^*N6tD6oA-(Y@_h54D?sD?&+TiLK}nG?%G=HunMu#Gt~6&p z76@CPn))_p!)4Tq@D=48Ch!KnYFU?v6S9l5ftPe&z6MZbRKS0#gW>z zGA3anoL3<$#X|5AMD;)Ye~$N2A#KgI%X`fPB zh*E^&cLFSBuhtuF4GhWrXzPmEs>OO@FRlo_1P1lQ$w}>}q>VWaBLYXG*VS~Cf1c(w zpEWFx8>~Q2v%;uD@;yp}7(e5h_7}bW2tyM_{*YU;s3X{vDd@!2@W~!fO^r4wpI`6SjjBt-QUbON zwC0?3b=xs)l+^5Sxx-|fGf(JYGWZP*5>nd>rVevCOEn0&ZQf1~{=4i}oqde%bZXWC z#UC26+d+NQeyI@}scI#$$x6>8`6 z0KWY+9$%l()7yS*Mk1c5yH<0Z`_)c80WTgZ^D!kQwLf^J^lT_c$fAOOw8WitJSO^= z<2ANX+P3S95Rs%-M2X$}K;oxX-pn!;)(k`vP?dr^ccK z9Y;qU>EyL%%%|<^QnBSnSI0NR#pm74=8)KOD?Z#pt*SVM#`b1$!l<7yvB!ETMdYFm ze>^^G?o{Vtr7RXfZIe$n&f=AE)rZyT06WO4&zApt^^qrw`Qp3(l5f}Ll9g9kW^vtE z;@bgyj4oq0#KRw0FgN^E$m?+}VpZfE#OwG6ZT=#&X1Cd9Wl&LwZFJ~wnzz^R56e(3 zkQE0wmXV5UB{(JVJ5V1~-gcY|WRmgXdz`oT0;H>snh#a}Rn20Q2Mwq#>uS1}nFA8# z1MkI{+?ILUlm}B%2?iJtt(RVi=^x}nIxbE?o)>HROyywL+p zJ-h2I>DU62(N-d?dE24wvma3pd?kfyf|@yxp64pa-n{ut5qInb8+0{k&Ap8SjQ+BN zs^+nRAx&Mv@9a(EFzylb+anRdeAJ1d01cm2!nr?2l7k z!(=Y7R#z)9{Y+TOT89Zg4J9m>?%@Ac_5c94hyMmS|C@bqgKlwytT^Z0TbQ;DZL-F+ zKeiQvn9yNg&$bNplNd}GIGR{Hw=}G&864zU@Oag=7j53WLBQh_y>~>fWl~`ua-Krj zZ(rodY={7DYpn}aMVQd3zR=6YIj}#Z6nI0Zp<|3AYT8_#V07eMk!$A0%0-p%^s6sB3G&O2jqAgb?M zQkzHa81GhG=xDi*@BUsHqg&zPQ1uiUHRLl<Df3mbx`!Z z@!cYcrKyP<#7B-u-`#H%WHOgN!n%Lp*(rWjYPW|7_VOye^;|L(n#eEuh=4gp`^Hwa{eSP{#M1+D@8q7^Av1Lb53z8L)YVM=fS z$`aHyz>~$RbBlU02+Rzl^^E`;9G;jT?wgx});Bghe2>oUMBv}`522dCDVTtbtp^3n zP%I(6z~RXeNK=npGX8pi%w^64uD!jvWBfXUhpz+X2$+!>_!mMBL0PE;{ z8H*HvmuduN{Kl8BXbJ4dp*}LN>Eb>ZV<$MAT~c?1rark z-&MU4RghyVLr=?lvs1DFN=B6cN$P=qi%x7#K%4^E899P2ehMb<#8a2F(t*>YSJzkm z2I0&T`0qXdoPg7Mb=yJ5brT!@*V}!1e!$QOYg-5KNGEh~G*|}lMbHW_gS%vPM9F?8 zsR9uGQ7I`YVR66!&L9BW)72V35Op{E0AI@EFJW&f0dZ+T-N1bZDIjy;CV<}Gg7=PW z4xm5;a&!Xtb$--8*ah`}0jC7b5d10UkU+%V$v>(vEbh^LX?u{zaPvn$HoR;AR`~gT zA5HEy^iEz3wB!7yeyi!DGLwUAv$+QKqkqN8>FjRd?u-shKpFlz{RLY4v0%zw1<(71 zD>4H5;EwTop9rMA0`&GX{q&Um9bbFC1Z~e3AeD6}L44Z+L#&+-tVfC8z_=xA^4(+xxYx z1pTtMKn*w{K=1smNeM~sf(yi0TX^xSMLePbbp+3>@+UA;^K+ThcZ}gLok9Zvt6bv_ z`q7{UC|zCnqTjx>$XM^Hg*#nM{ZaYP9P z8kI96eH}pmwHWjWpL6tg?6>mS4<$PrAaxbh;9uaHAEF`s7rG}DV?aN#?>$9)$)rA<*)QKoPooe`1i%- zT?a=0uV_lrwf(stvZ=9`>BSTMTV~T^F9Ey%@$N_+j?NFLK4;qxbkE803;9>ALJy9qaA4J4&{#y`<2>_@-^DZd4p6i}+Gy z82;JzXW%Guiso5nGRO)90_hU*XMbn5=F5Eb<&Au>eF&4H3YNI%h~e^JwMaR81@Kn`KDGmTQ@U@OiX1e0i3H6!fV@~l}mG|Um{ z>SI^@1WNZTGIlxJUE6@L{mTm4|3>d4R}S|ArYCQzSH^24YwtZOHoZj?}7FVe+#Cb{N$M^>-v$Y zu(gG9T3LaeBse1t*FGP9GGAEN#4A7zD|YxG-?(BKkELIyo@c29V(t5=$VW1 zfgi>*f%=QB<8hQ%C@9~qKgS*dT9@OeAfGAlP@mn0uYkL0nbcCG%{`Zff@ zUZg}obBu>PU*~zAXFHV$HsXs7;!0cLKABppfKCqEGPDlw1%4oMnaEdvefsz_QIBf+Q-303J4{3Ecae z!JW=6RBd%nx>gwbXyu8XWPC~9t~jCrxKO=X^vtM_R?NF`u{;ArBHRe$Ht@_ikXFin zGQrAv$++&nh+Ck-OxQdako{Q6U{5w4)7P{)pQOy*-fyrV+Yu=^B_NkR>FDu->$a9D zk^wV~b&apX7MYnAZx84OH6#7HQ!<;Ki{cL=<6ODbp-UcWy&>z>QE}FBC51$B*3ABff(?A^3h|FEb1J3(Ap5>dOfdT!%X^z~I!$e08yXdK6r+{44HSdu~O z(&k*pFKda$#@S>YDM2v1Qv$RE{D}K<7M9KqNp1&PX7A%G2?0UjrG~4L0+LswUME{3wxM5UtI4Ez3U5G&>QV(oSf9HiX46L_=5M?@<4 zn!ECHwVHHal$xDocN7k$jHY|(i8Q_12FazS`%9^rSJrl}tbGQ(^W@w^iR-uj$*I&t zwU9%NA7?Hm&cNZ>SnFr@4y*K|SM1Jg)%1A*7@hBX_Cjn|mO?eDBdK4=NNaB*`0i<@ z!lECwonsTXnxNC~U1;>rv?;hn%OaB&>1~U*cwYWyc(4ikz>Apsv4yNZrf%W0)pk5_w#^W3mRN;ttzVw4lT`YdIKHf?z}$KTwcZ z5a`j(H?ux!_M*IuVf6MGoyZXD}$4$#fA$SJA;$rbGPIQWJiq_NrvviA87v9uRY~ z<)}8fP+6`G2!g$g60e3-?y9j$@)gxivc?ZlWGvkWt6s_d0};9ok^WaaO2q`d)cNP3s>}5HU~Ujm(1dH=i{1O3f7eB~?A&PB7E$|Harj#OT_Di?(gswr$(o zZTD{5wr$(C{k3hociXn_pPQV)P0rvB-$5nssFHfB)>?%?{>-C1e2hro-0xZ=JDj7P z|8o7|qR^aF_G(ptAqXJ9`8eH0=yKsL(S}SJCZhIBd%1M!4(uglvmeo3(+5G!WBl?!T@RP3Ug%S+wQd@|YbIs`Gg!Yv zG_`G1Zi*>Yy``&xrp&uD#=YF-M-%`S)>F;N_6L*(U^H7 zAAJi4!8tFaQe+!;{(E>gElzD8u2K7w zd0sxY8i$i4)xQ3r*!wRY>v(+C(IsM(BSPFNE_$CcM0DM=quR>j-B;B#9u*R*3Wp%+J0{{IkV=epR_5+)E4j) zImJ__5zW%?1uvE^nNV3-UPcyrY759N8}IB;t~aZ)#$Mg}$oPt{pKW7w)yNJI+U)y% z2s6t?(x>jvbishE?{*9Vq8S@NDgJRQZr6#2Rii99{tE+S^X+M*Zb*t ziW!$uRG)v*?lv__nbrX<7D?ra@H@+g&sb5%U5-@^UCTYmL)h*kX>!Nm*Cv!NP6s&w zOaECdfLHZGOBF4VY5Lxezdol0;K%+f(~kayK#$ZF38LGE-GhtNn)>he7O2k=Xa%rb zXO@YF7q!SYa-uACf4iLiy9ezJDi~7as*!Nfv0=NV*lXe0?e#thycxcQ!yxs|BM`3> zHo25wKgdG|2>5@xj4&MVtVD$XIXi58c)vKObF@e^a5L_^p_S<5 z*;1R}D?KrAo?}>yw({Ol%AC}~LA34#qlePE_@i->y;Ip4e?HFlu2Na6Qw9UVWE&e$>|9SxkWbm*ka??0 z@p^x94HiJ7UG>Mc=X^Li=b{|HCjN^&Xb=BB7GQIHpX>$oPpIic6a4E)UxkofY?Ap!!Ll6H`{NoCNpln3u3T=(Gc}Afj`nr& zhQQZ;i~`iCmS7mYbOYf4k4j$1H9GCat8fGvVG|nf*(6=T+=6;q)!_P`1OjQeydJL1 zEpv>5j_C(ZxxSdExT;E=$N>uZr(Np`FQwziv!FFE!05jiWVACag%L~Sv2~Yxa%v7k zB94Hdcb9v2T@;c78_?lVa3l}3B&3r2k?MStlq%1bc=8_9apmju134{jycFSL$na^n z3H@4Q)tMBgVmx%h!+39jGIP~cIGI24C%#4hV12Bw{_CNj z!;M7aClI4c)c`8B^adB4EmasKZuS?tCj12^0+KBy@-F=#^06#O>;*E!~e1~ zUpq7u*e8p0aUnPRq>qX$c;Y!m$?3=*PMqF%^%W|YcMB{ct@vA|ZF+UY>y}-!>1v&T zTN-jjO`qL(cl7U`W+lP`GT=KU)~?#wfgxm5sQx@gke@}fp{SDp>rw{|Sb-^$(T@eI z;hz>c9)n?zS5la|{>X7r8~d3V<-gcow-#KYSuz$O=M><;P-DiLkM;BDuSSpJ?Y1%1 zk)e;yur;-5Df(Hj9BsMAZvZIOc>M7_M^1^P)G6{|V!1M|u!|t3weV@S`f<$Ja!PD@ zws(tDAGQbz%EaoEvjnzqf4qEqudwPU2%z>0YK2wAhY*pZtL1l`|WL$|4m47w7F zmJ#jGk2c_lXGm!g)XS&;&68tUQ`l!2S8R^|DHVq!4hkSZ!SP~{r}?P=A$t|)pNA+a zk8&S%4nvh+d{_g~Ers&5^9`qW&}mYLD>oL$!!Qo4=E)#RXZf8yuC0qEJS>+))#OpY z`XnRtGkBDgWXMP+@tY3UgBXq!W?DeVl<8wRn73uiPC0^S)3J?tIG0E7>LIGUM!B09 zLxK3~Ry~E8ZJ}!0sf94?tAVh%72t^If4YvDatTZ+oBg(E6+2L>q)D=6r+#~AE550K ze)w(#s`Izyv05iufov$goJH>^acSpfp(oF!Eg$o_&F``Q#oc#)l%c(dNo?1_RMMn_ zRkqOEwX!!1cKcRAlZAhjFh+j1sS)O5FXUV;F2o2+u?1e*?8L1L*|ncAGoep(>SY^P zk17M~@bA0kZ`CF~lJ7YD*30?5v*aH4$_GMxMiczc6<+EzOqu`XbK9c2So``T3*SDb zdWXXy!!2_rX!79O=g&6ex~k`2qX0)eWY=;>*8zHTquZ%G>wtNjV`D|Dj}k$=&s|NAKUS;SgoDFS>Q2PL2RV_dUzUQ-1)z zK>@wzpNxowIiCiFU4d0`VaE1~(Z@Dl;qVreNDsuHWv_eqiO)#SMt*L#u*KZ@e0h2) zO;}A40BUMedu4~7^>W0rD-%G80p$-BS+7GJTHaMuiE!+qF5!;L&b#z}wzUlHG!x6! z0rz2=wBTtib`u*0@2cwnysoH@_)|gp&dzyKnkR%mRaiuk<2F#E%2MAo^=u@J&Jwhh z7PdWgTNn&r`UI}$tqyc8j$LqE-kXx0)4KRG22+MB^!f0$>NWcLwon_1Z-DG{bhP>n zsy|#=u5HplQ6+A;!koP)wX1V&kKC(^IVUQZoH$4vT}s&QRp1TktzZxTO=8qE>QlV+ z)RHcfLNv8_?@xbj6LVC|VUnC}1Ymd*?a?E#3z-Bnc%0;mR_FbgEO%JinY+BfCaIpOfsJlB=s(87n>pqTA7 zZk$LnR_@jT=X(94Z*E|*=nRJyYrCo9!-RUETXt(UTaUrXKCLAngZ#ERN{2Jgx|EFRtcl9!9_&cFj33 zU~Mm(wy)A1gl`pbxe}dGw0CXuA6h2Ei6%j$ok8uDR=%m_dBHX-Kk~yZ@ZLYa!bdqv z-l}END-Xj@o4d7FX0ct`i!DE|`~Ja>PyWs< z&)%V6Zz--+ESjB<#o%D1JRGy1>OhKqa>dWMQZHExZN$R9N2N;;BILu@B@)F}Pt`>(gqRdbbbLh+>&lVApd~>ixCZ z7)d;#`qIgajh=__CA0W9m%bLb45t#9PI@FmD|p%Oo)LGiqM-n8cB2wpE!&O5$K9|N zZcUo=H9W5B%juH}^P^`P7H@krSh_&ywE&dGn@pg*!w8#4Z&9*$umRWfvxk!2^ajQ3arfDYMEPN7qlBMXvDPT#RWof5)m*0 z<;Th0TZ(yej5*-xAhqJO#iR~;PaTh8CaslxFE(XCZSt>Qn_E{Khc3$p?qIpYR5&ip zH__3w(@xagY(cY#>XL-*i)OQ7v2Ts)<%??H!0qiwiK&KXB?*j^o)_zsx08&{C$bmF zZ#ko8_>CbJOBu*6h9?3^WSP8AnHtwEDN;P=mNJvoHI`Fn=$;P%0O@xW9D+J{ zl%TkOe(QJd58q{`LkqVn@TLt$?IOp_`Mqj+|335A1DSZ`27Vm)WuV~Q0d_1>5&t^# z?$zHCFqt+2x3$-GCP4LM5{|Qj275&Q7|%WwS%x~cZX8>w{iL0Vbo-{UCp z{sHsheh=Rpp**`BXjiHx6>NFcZ>d^F{VY71a0g@UbW7KkcGh;2?QbsPySF-3Oo12{ zF+ac0J*BYOB*T)h@em&m9!lM>rJLKTcHro{#P(|q@+5Ur^4L-S;%|5n9a8a`aD1P_ zmtmwSy&DvXst~q3s+)T{nqmqL1g{3GmUIf3U1pt(nT-{;!{#5dy;q<`ACP4kSBDM{pQvbVIR%36-wwcol05zPVmov|p0y1V96_z{M!)*<5Py$0yfywJBvY$j|el-`o zRcMt$0DnB13EibV?Oc#KK{XV!7)PrGfa`N$bdq^!u?2P<#V(AyU^F)`fsb5oG^`TW zjnawecY&|^YHHVDalppGm&#s>SoRdtPa&J_1p-`-jt~TP_ZIfUz0=eZ?hF@jwk*0o z+kRwVGSvvN}~H|q_uITwmPJ+rLnQ=cFJYhowNz)NU9< zwnf@D3ta|d;Z6If9WTU0swJJ_Z#PAqfo0hv*uP^m`A-K*Go$VJ*-cL!^b&%n5GP(d z;E*<_G;I+~b2hpz)E;wOzNN#5->yS5&xn(>`IGmqmGf9rtt)G5ietHH-;})ucRH~* z<-ru(hr{DFmSfSt^K-@eRk{AN#T`N)7sj-YJxnKhl_rN^7mKeWGSa`LRn8#S^gYXv z8FbI7CaPwMJ*V1&T{LZHK$GBTUUS^SSIid3oQF!!@<13zFH{(6Qb%}`WKF?X{Zny@ zU@&Q_gd@vcHOTS7M7#7BTw44qmlTq;A)}EWVbd^AobSQ6Bu(M`Z_{>;l&}o3C4fG@ zQc0xnzt~gLK}q8ftAR`uUj+5_!2r)M&SOo)mzZI1 z{qCkxd=s=<{crVsY{OExaExZ^Db6v(Y$^F3&f0h${=~ByUn9j$Ib6^@Y+<>!${EgnWT2DJ(QUQ@A$UD(oW%BZOW(+$yV;0PLzY$;d%FVdcz}+2NC(8Sk>HTmAcobx)*5aDK!VnM`Q{ zW{iK4{Njkk{qwnZCb-?9^7&7XdGtrGrX^sMBmA1Tz{VX^&Jy#lc|tzcafGUuuF{v4 zf+-tEU`C6r^ikG={Zp#4mzHBR1VX-_UwGL$t+$@hv36OUepi*bI&wHoli90~Vp9_j z*Q-#vJV|i#%xXA3&4rwwW-tcfaU7%V6YaZ;TbHopQVdTUT?=s)=J^nG!4sW^N%uVzki&tM(3%jRYe z0)C~A{Wg~8H%~bCR^bjamybkXTf*L~&2+zGN*pXp#q8MjmYdOfq06vYo^_Xi{%=ATFH8BlCvGlIl{l0f3tV=aiT-}ky61RF|KA`#}YV>f^$H&SA?nfFD)oWty zUsR)@t#bOYks0QBYu*48ulAl&_}Oc~BJOvh?DKe|&&5s*?kXvPeyiiO;|7d&Vq!>g zi(F4ux>G(jF}-vWJ9k0B))iR++xC@17MZFf+nxcduneiS==ytMLzYgNNg8@Hz&d%bPN=l%sZ??Luf5B#~59?FFi$r&kl zTL4^HpZ0h3dvo>rL93n8M$qpTVJy(c1P_FJpNla&{P}s_gl&#Obm6uLh^KWbKEBOC zjJ3kyS?p8-5@lQuWZ;!(r%6gcPRQ1t3>cE{I#yAn`}-eTbSs%l4gy7Wf=1_&;bb*# zc=D)i1G`Yyf^2nRn|uI5XOQnQS)`HIZ5hhYIQ26rAr9IU9*iVLMx3;=CTEzgPsSN4 z*YV=Vy!Zl0gSrn-rykZi466btEi!ZhPZe7w!AHy^C-xy89b1Rel7W7Lp~4~0U;)tX zx}a{4di36?d_-vf_k5tN)PnSkTrrO(zRT&x6<_RTh*kj!Ji>f0u6lZt(m!12as+)) zqeMsG{6W1>yuy$x=@OW<^7i4*?bFcIb7&Yj)3YPv`XNO+D?sbx-6aP_QzGoJV}#_? zLn(NFkzm+ztqT2jU7PcZEx4tzA5Rs{hU#t4_?(Lz%+sx_QEG~oe?UUBn|eyxySOC( zGt{d#4p->GEwidJGf7~olMc?ssGI9&WSNga4!=ig@B1>G$5+Ng+;VUFDWt5qqP&vb z^!x{&rB#kV9h*{<>*-^=2{p4KSXhg>kI=u&itO+;bnj=@U7ZCP|AP4>Q*!@A7T!d}Datn*}dR+PaD(gslOcO}+WQJSeA zZEo?U*b^}2L$n|(@tJICok$PboMu= z9KamH1|qW*`7kX6@5V!&s2YFxHfxxb5ms_Y z@gZ(;ur4agUAIf7LzaO8l?1vEhm*ks0ZLjcem!B?m}`$YQ>4~{Z6*VrLTvc>X-EC8 zO)t@YM(KP^bXPFI*IDZ}&Tt3tyS}0+gO=aYa!I-;d`{jO0Kj0AlhGPO){r+=Le<$} zn;-NvO7etqG1QNaEm5vgkroWAII68TgWbs>qY#I8>jJU388l&Q!Ev)Id-G^*w)NX0 zFa(ppw7C)Go($@=j||^?BP?RPE~cPAAH?>yH_is=8f(J`u+J|Pw26;A)n_~F6bX$* zlhJ!(XOM#IxX5b_z9_^I zGe34XoiW-)7`p`sc_ZJjW z*%^FmY3&6{nl)v_S@(pCGcVJq4M_ERk3Ukaq`h;7Tb0*pBMwjBIgFMs(u@VCoE@48 z#i(zktD(}1%$x(DE}#80C+I55C;GoGF(BI4HW{KcONx27WI`G1ob^sC>VntAuEBKi z2tJ3*|APQ|}*a+EdI zmAIxQr>msv9tW&9(fhYG%}-cjD{9kFWP=qTCt242G0)S$TsB>kE5?BA_(PeLH>5Iy z$&tfs`wseJhK@BHsU)#4A@_sbi~Od#Qa%B6P|GMfp>*ppG20}XR{UY12;*GW0uu#V z&+N2Tv3SGGupea_t@ih(>XV%86&*fLd_gX`O(UyktA4W_a!Hw0JPttW+QAv?hD$M< zt#+g-cl-4aguzPuSc2o9ZZNdfLKiX0ZP8~4!s}7-_*VDB+vmS)S%w*;eS?1GY)njW zv&_0GjiN3*$k>wbSLYHp)T=69=ciy$wbcptH@50+`)A87Lt1b!->q7(;IY9=P=XyY$cRARKifnTsaq z9KG+zU1%eJ2bLhL2+4U{G|<=IQOy5d^WOU)mf7!L;lqBgf7WzcRc&z#k}t-h%)S-p z(B67DQHcW?`!_~GgY?=b8GnsX=QQ*-qQ z7ka2d$KB;=SN8zc=`DQn%1|Cu2Lbwwr0}*`pi83@e^jwJa)CqD*(#lIeI5Id_tVKz zi9LEYQ8# zaQdm9ylap;he9$&N4o4%7E%q;MNi+EUYJy>5&#V0*rFhe_&?I4=Pa=iXb4l+yJ~yq zI*F(=jx&nE2gw5m*wflS_41eQ|++}V8$F4|#6f%b=Y81n74>~3!dLe$mC6eKb$P@W zlWSu}qm~@>n7=;dLOZ;aH2O#7dB%jE!2eXE zw17{%^q&31W%{+5Mmop)7^_TH+0h`~?fYGS(_2$4GRUbh1Ij=&&(Vs|x}=gi3AVJ3 zx#G%*hq;PXw4C^N?M3FexSHbeDmoFO`q!pYmZV5(Kt)lc#q=?*NfMgJvT(@ z)(g)O`kdjv4;(n=pJOueY_sM1CtdB;=Z>Ijf1JznFd<&K?q?Rwa^|;oZW)dUWz%It zJY^@{O8&;I!)kP1aGSC=zJ&sX<~1pDG^JKz!_=3tM4Pe6x!p$q<)JbZMMSdU-weqk z_rLDb?A`PxUi;*w2h^DU`SylyUkxuU5h|TP$!AU|wau|wk&Hd>b_j%^a~>W#Cm(@@ zz(CljKVP0R>bm>ncOGH7Mg1!{5}MYPf3|5Y-I4NoW869`j!S8{;_D){YPJz@F57RB zFmX@7Y_CQ*I6V%&27nnHXVohFQoW-yDwj)&esoYvZj413{F4odhaZSu2hjQ?z6&Am z;3b!}nSQm4f%eJtTRGJY8IH~C$!S2k6QZ+TPMur+qnELN*78wR+C9(Q`c|R5+zBjOY%=Bc= z4{7lpDGlUs>(Q*ZnXcw_sBpB5 zB#M}KMSwbm)Tf{OQ=-)_;E++{7qfZMVYYAh#=_=M0_RGAFYwEdILGB@!g!#)c5*ES zl0hP*UyFcTv0e8#7QaW+F8fKQ%&B#it3*c5Gg?2lM$xVS10HmgRm=DQbhdsTCbj4C zq33aQ1GETXZK8^bmtN8IbvFEL+1wrnv4dBiP9~ajrRN6^23Sd4A!twACSauLB#_f|www*Ru|BbfqL79dAQ8f5J4v9&51+Ho}cn-&fL z4kI=RZE} zSfiHusbME?2F7Kx9!Lhg--F%=s+n~~8Q%))T}3o)h#AJ$^u;qQG9g(D{ga`bt0bb8 z2fN?Dk*G2^f$|Kl>^8;0ADmqij9Rmrb%pO}MjD~!H+W%3ig|AY3r+UmRvDYE7PL{JtmE@vqlj_3_PWg>>d{6pQ2h6xMWR zu&5fxBMivD6@o~(W@N#Ih;(0#By3kOQuoNd$)wN0X_@(bWN-VY zz|1m_63wqvpIlG}6rnZLl=w-usgp9@p1ebAFC^K-)k~SpB^gAq4uk*yzL_3vIa6>?%a7=LUi_|+iQvWIa zU7!}J;e!GK*hqXlW;;)Fynp>`Z*`hir}?}EyLVqV7*Tu65Yl5pgSn4FLE#2Qrr^;) z$Ez$KAAkdd{OpJl5VIqtF{2uSzf4EX7Q_2<3lW$a{gF-fk&q4sC?G}n?w0WkflM)Z zffxk?G^AoQG~uAY?tlY}eu;VdM}VA&G%CP_VsQ(ufP%UHvQF@DdG!~nuSSHk{Jz5) zf;R(uh>M4E|3X2IuZ#XuVuFHD0wt~?enCVZAmR;(1I2<7{*O0;QFpWk8&r-7AN!9t z!Zo>_z6NSfGC2h65Jp}FvW;K`yMbv0`Xaz8Kxhj8;>PCWKowfUx%evA8yi5`hX@h{ zLWJO@!UA#ji*N|k68aYqegK3|t`-nR3id*&^{fa&`LDhi_|EC^C-I^Yd7zbr;XI`;$i|pxF?#cC^gebHoxR)O+%whCrCm#CHZ5W(u|;AP5=A zIRYIm>|5~#l6Ck&@yp@ep@O&nzZ-RaeW1J7(_8;h#D^w_fDO+t(ceQq&*ft{gWjaW zH|GO@?_54_2WU^n8#s`zPf!n#GBR>N0};}{$2~1J;dww8&<|=AShEXI#Lvdn5cPMt z(Hh_;|G9q05cJEP!8IImK?JDg*W!y^2?@&Y?cm#A{ezJB*B|6J_xQK${@3;_G&*;O z&~8=m>z9yooWSbz9&=x~nIQu5yPBKN2KdUq5+Xs+T^-&S*tPN3pdJO}sR5FOiMAUM zk9_e3a)Hn|A41Z<>K}Ei*u8s8-W)tgl!Y)mzgG_v5RD1-MYuO)7HCVTk8lbp{<9y% zM>p%Ao)R92Pv>WkmH%JL4=g;GuOSdo~8#v<2x`U6qwKImq-~XesoXjX#nyAG7`vR`d1iH?rtyQRk)ll0kAJ> zz~`U0DHsy2+x8oTxc~Aiq)!w8`NH^?Ftcw@b=U9fA@@6gxPedTa%6a44+RW__+@Yx z_@H1lS{y0CEEdvY=Z$sXXV*-4-BmQ@U@wi|I2*7_C zr+EVM!8ew{U3FK+mAV~mn3LD5SV7hIFsQ~3>dpB8f6gAb{R>P=e8h#Ly%gAZ2Cklc zIJGi;W~)mq&;_zsL|5M}cLWmG?9x}9b@V=A`d)`ZGA(suQj>xpQ^n40kF2tddwiLF z`ND)&@0%W~x)%}m)t${1Vm;1!!*U&Z3pnD=++O7sdQTZBXf1Pzy(`+-EmipOYb2Rc zFu2R}umx)jx2*ngMEM*)1HDb%VJ3}YDEqK_Zmuc-;H#&3IDdN?yPia+Zh~c&C@1rh zjq1F!uiVJS%>TiK|J3Cw&SJczP>f5<#l`}obhFz^b31Y2E!$6AG+XE~i0M==R2E?+ zu`D_3yyLPvLdeBlw!J#8vsAfneQr0@4}SF7CZ(LG?o9pBIEgYr!7!#a9u+g-EDovj zcOq7O>tUd17eVX#Z?xn)hLhxPrSyLPwDh?|dI-W$z~!EqI_nIg>)I`Lps|6|SS6|I zxe&BWQ3TIV=59PfV|#VByJuhs3AW??90H0V`aNlO%&kG)?9by`kRa=}2_&zw{hEB) z@^PaH=lz1<`x-RFTaeNrI!DE?4{w=Asy)x~s60+~YkiuI4-nXYUR$Uaeu>0J@_scc zg>$h2Zn?>Qe0WB0AIsQx=Ea+l?t>T!VgtSc4eU3!^+>dL(qR5pG!mbnen3(wPl z@TwuX2YWcdSI*++WPaWwuf$vY7gh^}&?@fh=0nzbax-2yMdY{wtEVn-^zE-jnHn?^YZt^Hr|WT&gv88(A??Yu+EsVRrr#RG(dUgfMNz zaOQO<42?wefyBa2(j-&z$Ce7_udgi8k`YGDx(FRmc&Jl z(Qk5lrPB*WWI_hu+ma7A0@F?CT4R^Gk_=0uLX~=ByT2@ejJkf9((>5;fe{zPC(C*; z-`x3-3iq=1gH(BPyDeJAprLrHiC}k2?~o31^$ta)vdh{YMfKSz(N>N&A*?;2xXez5 z%C=cIGfB^*6|4q2G^+NOG7%iniBKtczpHbw9pEMP>pGRr(BJ3(Z@gvo!|;$Ft+^sUz*Sl!kd_R8o%YtfhKe3#D3n<$HY8kiNeJ- zRpB6=U?EqhkQOm{1smm<;5Jj%n*vRGXV!5m>sivC@Tdu4G2B*CMzen zAFVc^+Z>+@LmZ2K%54ZiGrvOn-EW`btTsQd+Xrb=DmB-4N^Ip-P)A)WmZkmL&OuOc~B9 zWte%L^bqf$Ko5M;xZ5$y3Qe?{-?)p2cu0Iwax7{Wp>xSz&C2FTZYE4(UK5$>jsJ-O zN3-eLh^=ug4g2g3F%rsh-YLt4S!z9Bf^ylZJBDa@!_<+#4g=PRxWB6g2i5I%fdI1Q z9?*}j+u%&E3w*?bE#7zE3T!L?d~9+ep_#w>rGEbXBB^eHRZUNc{@uxUM`QZ6{+(gZ9Zl0h+Fril zCDP1^71pzVY9M*pDWa43i%hFzrbTl1smKe6lwG5|AWN?EwnPbitcCX~V}o-t_Hom8 z$NiF`_xD=KyOL$=R97g?g>88EMA7YMHJyw7S&&rBf}}9+8ZknKYpJTj2fWc~Q=_=p zvzS9QSEH!b#-OhsF3&|+8iH>`m)ZN2=~y~~6B@$UU788c?VVejIhJTSIRIX_MjcTr zS|awk*WB%N{9`*u8eZ~Iv>sS-Y_sUeMCF@A7BB`%+q=~+O)yk-C!Qd`+IV*!YZt1m z6sm(d?n0p>?R7_pH=Ro?fc{V4$|2iB&-Zpl`o0E;#%NOmZZWNl(BspoiXDqANbxX- z0hmLP*D7R-`%$=9@%?W%^=VPngrpRipdAxuVb}v`H+WCF0nHw5e!WZFNk+Fiy`t;o zGMn+WrIg~BxF+oL@6VQaZV4@&<)TJ29t?K>3qb6e!!#~|P=M*orkN9G0QN$!tDhQ4 z5IUo&=BMV%!H`GllH#rrKx zePi9AVA*B&o=@eJ^_pbci6nti`dA8@jIllli8MRKBE4AMde0I_%Bwoqp~M^O6uWO4hE{VxOw{Fy=2RWkF= z1Q?Fr{O_Z=y5qQFQOBQ=J_-GY1a&&~SRRz%lVn2V2wT4sR{(+37juUxMtI>b@p*`r zJ^}fdK^62@28jPl6qtq^wJDLjW=GtVjbR{iZI{Z7EBYhuH7CpMhoRZ&?l|){4YBBl zJ}pGXh)0ET5bnNuf?y2$xG^!$h|y-?P18Et8__}_qQB~wtT#4>j3)gIkUl5yWU`Wb zt7a(!>eXzs45I;2(FNTsL(pq*D`J}g2`>6kqwsn) z;h01gHx|-W!lXfBRWd=8a4&^0O|9e#Vo+y zQ_a^KQ5U@{m}U%R3chn&*@)=01e;XXhv*3V&^7E6{IaR!SmRE(|3$>|uiuaG8+9u7 zEl}_21u9q03{-{D_d=_LCWd^;yNBhgb@xCbFNF=1sZDT~!+x;GFitW@ik}_PZi_C= zZ_CW}enZ63dJge7pl0lfg3+hq46DR}z0$o%=c|LsE`FCxb>p?Cky~Lp#{X$BRRTaL zgjwgrH}{S8$UZgo75#J8tO1P7J*?caZ`8cYD^@g}k(ulJMw{kf6!c6XSR2RLV8#$o zW!QnS@IoA~3?@SfAF3=8kRR3tTaxjm?xa)bj#oa8dS13E;arlnH2SaFpCt3eI5pZK z7)LrHA5dn-Ax z;SEu#hLjgA$*3aJ7j*?@rRDb6GNNZF{#8<}%Rf0DHh*d3@hDE&^Y%q&#epGlG4|hv zWr&LFHSsdaLG9}z94mfed!N)+LMOjfl@&P`>lhJw;hc`4-o88_VAdZK#KJqU@Z_CK zRlqq>SK|#3)jUCnLWvc}B;l=mEkX5=oK2&To8> zER=Y+C7PIcGDHN}oFDKJ-r{66cF)yvvWruk%HPOY9xvGWV;q}#ZUM0KiVQQD;y*9z zllYNsF9Fc?@u*Mm5ls?j$3Ko0V~KNPhIo*n#25R(S%kG zHV&P$f&QABDF{B~fyifu%+v=Kk{ulL)RhXJ)VgLOvh;*&oGk2(l(sX~+ z%G5MhbqbOsbbSJ~YR~}Nzm@|^>D5FC%;4Ed62)7%orN%YU-H%&E7_NoAfm$fl8oYi z^=i=+2h^FHLHW9!+g0oBD^MqY2kR7*Jwcxy_x43ZOWPhmQ}T5nPF2jVm#hGy10i0v z)GTaJnuiS#q^Bx6&%NjU7@l+Nxcsm59gnDyPw3Ti!Vn|2ZwQ%o6k!Z;+A?MdW~R0Q z8;OT5nt7S#C2RPy5@s2^c5lekl3si-P@Qk?j>Eb=6B-4AW0*7A$%@`I7!nyp!rj7!??(=+uJt;CTi}dFB>?PKE{mrWXd5UgU9A z=YT|wl5clst@MDHlDXwHT5;grYpmtYZb?J)RYK#)_Bd%0Ue*k>zJ1A~WfB4_zJ1+R zk0c{MJCV_k_F&ko13$;9Mlu2SXEJGgjw4l?J)~8Z`Ul_C68iOc%&4ZDeLvQ8MgFrabBZqM zKfLQ?@a2U8QnoUKjX2oP>ANfZD@no*;%7n>6%>BJyAV#2hB4BL3z>I zc9AbeHy-W1(iP-4CceUw5VX>E)ZSIxlRAzKHEMrF9@c!cYquAbp`UGz9kdlHw;qMP z5xSzB$?AylPhfHz_8PW(uW~%ml5$SBaxbff3k!HNW7CN(uE(@NzWvQ=Cyj6CHnxc6 zsPN1Zi8e9Mj7VB_?vLBY(#s?__nvms|6%MLf&^irE?c&3+qP}nw(Y7e+qP}nwv8^^ z_Vi*96Y(wnRjzWMFYkHhQtr@j(1D|513X9J%?(o8KC1RZHGQGTX${DT)RuC24`Bz+Md`(F&zoE4}&qfI!!}jk{ zgd5AM3)ZCFRQ3qqU+uTmE~Cwt0W)E1mMM_bN#B*cnTw2+8ocj4VWY0b#-xv=u`N84 zXRQ^kZjbga6>*kZKz=&vn6=rOJET||TWO3^UwJrNE`ae9Nl?H>eP%3X)ml8!?@QP} zRDf?@_wU?~d=i3?{^8j@3(q33x4B5^^a{XXy*?SMb6G_xP5|9?5gDV>Cj}+nbAoQH ztlo>4lXNl&1#yCC_MVnVi?7W$7xnk!d)zrA)s+@M;8X*pP1~R~G*R*}+MX!m_$V}@ zyIpj)^<`~GNChP>kX<(I&_)fWDyw0-h);>wivBzR$2$-PYQ-Fx$hX&cxe*nHiFV(@ z5&(G2)(EsPuX$(euf1-QP-C%DxIq)5*yiiBY_G3^*V*49>IfokT)cUPF6|PfM&aj* zSiXZrjYWRQJBs^$V?5hRN;m|f zEI;LD*kvjmqC0`E_Jz{cql0Q2Ky+3|qjOVomXdDg_050AkS#QTrnE~lF=m;{Pryo% z8NQUv?y27Od2BMH9mah&OI1`Iu3BLt63Y5{0=rEs*8*}0;{Hd9*AW~(?oHsfw%Q*B zA_8t^(2JJ7tVP{kwy;}2S)u~Tm&;NPQvNBD%i61$-pffkY*!MO_bE~Eko^1#Pu=^67hhio9R^)FTbI8g3t*ED@-m&ZaWsWl2%5ccF$HB7nJ;J> zp;A_u0>(Kw3_DxX!7H5jNm|FwMqMRG7?fctVDmtWPAEcN;{I}JKPc_l5J3|AUQJIX zA&02djD$}9T@!SsvR$feKs?vle@7Z?F6eme?nL($a{5Cq6(HZq9?Y7A&pTn z%(6NZTOcP1I)57tG6@P{I0k;>neip*?(^rK;v!Ivj`KD}-~2>s0wt-&mixV-Etr5P zd0GICv0HDKP|DxTdM^vbv_sYR<$e#OAC!(}h?Tt>v_I18j$$WEhoaaPb?#(Vdhi`k z@4`cf_K?GD7R3^A&k6oK1bx}{A$IqI6{|?`w$pOu+%{?rWZ9O9@1+8_qDeE5e|$UD zP!hHQc?L*A!du*_#!K(ItvtI%gJldg>P7e(^}+Q43r{YG=YKYSO%O82dWZR zlp>S+jfBB66^ZEVUq9#atj1jJ0kxr~dx z&Q#1Bpz_vcFbH3SINSvEJasUsoEHlCY4C(1;sP$`MXN*der~z!yy24tD>}Fe3pYdV z!@|Oq!Q-c`)X$94Z%cZB? z-tO;e!tBia`9~+2^0sBrn*w3p@5DI0SD%RC-4kN%hZzCrKvl3aYkecM3cjj0FAL;ox{D@ zkw3xI%pZULHrmy))rUFU9_!xDorb0Qag-Kka_b^$Mql34COEm?QZx!(iaoR89jzSC zXKNh$qD*MZjdv?%$ z%HVV7@I1Ej!s$sMXp!D{Q=p4JeqO^aWm7Ipy^!-KZW^BBm=gOyecoXb8QaNM^2oVZ|-&0A|_%kj1#EG2dk(&cI zQF7Ci)~I~#YRXa})tC8pacs>@Uam;h}Sqq<>p zN-}ayXEN%W0Hl^<-iuCO9U6#>wB(%kH}XCzyy-#(bj+f#=qehI3$N09@GVgp`I-d3 zX(mbw7IMM`G6^$+%(kzSqi9r$Ts+bt*Fk#2J54na>4YA$O7pXu7jS-Et~8`6-^VZF zO&=kvnwIQ}i0N~vK6p2VJ%Z~?jp~0^qt^PcS5=g~X&u-a>2e;Vfm!%&s#Z;i6@&F$ zg~oDcuu7UMS}H#O0Lmsbo>k%^*TLwVSDSFaMU;6Y{}Vf%Aj%?<27%-LOBP(j2#aGZ zJkFboEGXkcqOY8}H>mjoNqWu2?AlnGWJa=HG|WuQzK=*Wpm3*DNq0Xf`#@7a8#)XZ zReqHU3>L7BH?aU1z8GseZp3sB>N>AhFP%anjbu6fK%PJ~Pq)gDUL#8<7?;n z2D>gvp5VNIZ!EDbEPtH4L&FMG!jnj9p)$3|=)rG4D9@hZeu`_-^))uABTiyLAXDr^ zjoL_VmgJzwFB!`0(fmgGH@+ixg0pViVLnw?XcY+zXV>ZBN0Oz?dW+>sh_|j#Fey`K z%bz1(uOYsVmeFHBBDdqP7luG}WTGZvb0o<0t#tx7IM`y!&xtx8{OfNv@5lL(_ZXk(4U=9}i%V;GTIcy$=0so$G3$=V2p z)GrC)Ha2RCFVJ1L>yJ-SReuoms;38QBkVtsqNplckukvYRuA*^$jcDL= zxyA;=E}3)8?c?(=`HQ&hD2xTmT$BnVrWstlEh)K!=k+8_%ri8sh#0#H;rZvml$F^R zHZ|CbEd6?B5KD-#)vRxHd<-ynUp^8fWl@F0f-H&|)0{B?f!`K%WxNSGN-R{^f9kMYARZTayPrL6u@qALFp#iE=r%9=grc!6A@p^yF=Uv#!>6f#-eW{s2a;f;>@SHToygvREDM06qGql=Z5MGSojk#Qe{ zV?_lc`G)F)(RFi7$P+e+4-(v#M8Z~3+<5J={E7^b_zl&e7&$z3uq#wo}0vw+r<%RbCSo%PmqPOf6^G_NNab2W)YPPj)Bo{DOxH%-Ye49G-<+A0YRd~?oq zxPM75AQ~VX$^E8NJ-5UT?y3lULLP!%pGM^A$Bcy%q{<+06#2eWhk3j7u_C*?Ed}>leEP1W#F2)Y zs_TIAV6*eg*k!y!`R~DmtF6yan+j;e@D;W53juH45rIPpCVW}dW^ZbA1i$N)xEkO6 zYnop{n_Fc8{Aak$%w*$GOqXM&%CTeQ3w|DE#!2N-!F}Gn~IqTB2yp`vFcm3q; zm*p(4*w=tWHiEeH-HlN)f=oELJwO>e?3fmGmd>$l2gfWyc3-K(0*%mV+dk{?%Bs3w z%JXFY*~ng9&CmADg-+q`3*V+nx#Nlwff^IZ)Vwe9KFfsSz|yp%M^9;yF+uYUr=Cu$ za4I6~sFW2X2YZtG&6O$ZT~0P^^-%6F@70_^D#0pr7U+2CD!b3dt6^#v2w_w+r2iop z)!3@;FZM_0RCD=rtL*&9cxG}LpWZ9Q)=a!XUh`_>7;?9Xu9S&u{uv`ZRwlv4ln$tP z8!pVWTQe2CNiqUwXgG^~J`e3rju)?l!2~1-wN#!auSgsjbsh(DY-0BM2u9?VF5R^i zcbWU@ydo%eW_R~JSe4n37tPcUe2f3I+kcRVEdNC!ax$|2ANKH{_MCy8?f-&_{~wCT z$jQw5KSdGUOjWYB&}iXG+R@Pqdutc-MYTHi?^)tukp2QsqtzFv-Q)(Fmx!00fjYm6e6y$Kedj zPfbkCPX$U!Rs!2Mg8a=DEM5B*)WegC`tfljDKL&+P?CT;cokD}Z~&ohUH}Nl0mg{| zj!+HE!5!+G9)H8mKu`fB{_qf_0+^}=1SS!$qo$}WPHbR9HMBZ+pcnxat8d`#-gU6<(mRKeshE2EUBoLp{7m4qwT3Ygo2Zu0%XYwcdBEO^0aUD*Kf!vN-8V5 zwYLFvY;OKoi7e@2&T1td9>Jxde}=!L4F2FYgLMOTXliPDYEyZ`}WSo%?Vtcs|ENeSlutrU*20w0MF15dja?I_|1I32Z0I!q9H`H4RB&$ z9Zr04dm(RFzq0o>0jdy=-XH%x5i9`kSvS`wKPu1H$DcV#q6+T53!Ti1T z)Mp6^NlqU?4^5BIKR7T02hjNV2<-8`4(Ru*D+vqoEE14aC|&$@zxmlFfV;LX;9*v-x@s*L{cZ`<{+*2AyU=f84j{Lo*0S*Dwp7k@^K zAK~{t3%^Ca`>(;-kG4rr6m=PA9_{vuU8Cdjt%V}d%0cMCl=I$*wvR`JknuR zumjLmm7sRb^)K7ZzQfHvv01zW2sLM?kgrZN02%?em){BAnT(K~CDntEqv<}Szh#Uc zx3nd=wAnQNGuYtl@Bknof!&IEdQZp)U~fQqU`t3>&uM9ZHr26mcJk5y@-y#%)!F&w zeY;ff>;bZ0>Sy-D&<06g=)4=DvM=mjMpQpy@-oN%3rQvG%YMXg09m8ZoZx3eo473fxiLr+S=ct+4AE*aaYK# zKfrvHP4DPVyp&D%Zmpi3pMK1_M)CZAlR&!o3Gf51=Pu+QaQ%kLI88o_mY1%YIKKh& zg1LTgz92i=xjX*Q&Rky)sM-CJadh~R|KyhLq2?;h|GT}+KMOhzZ19=%RlNNT|3hYY|RUoYX43~VaK~@TuSYjnSt39Ny@~$BY=s##fA!*c3C}wZ{B;^g5tWX zlSYHWw6%(I!l)dVR*!t&t6r?4oF2n~?~+6^4jP%y%V1@KsBt|fLR;g_V#%n#u;wEB zZv@@tU3FPx$+5gUJktn(|NnxQ9Em*}~ z=9rVJKHmM)>v?6@7#qF@g(rwT#!_Inz8L6RtfVuZ!u8mJ@wy?3=WWT+d(zl$Y ze+gn5N*cheg~lh6yBe8a_t+8W2NDir=r`!K)oKf4axXR+Q;$#wn@I@b%BT4NULns) z(1!kA@z1IH&@BRY&4Oe*aAfIraKvv!{W76^c7jW@PczadhBYO^8hdgKP&TdB(NIYZ zh7`Sj`q$+8iqj@>bL&lQ5;RZ(=or0F6=?Woy(9t1j2DKb6a#LsiuaLuvDv**{A+G* zgb$3=_>Ivh-C_ZLp={0rAz{6~2RP{c zlIz~Y6_2Jgu$i#?;|Kn>3!`v1n$qwaKDZt7nuj0~1Q$PycIWvzT$zh%{9i0*Pa?cn++Vb95w_pI?z!?ZA}1>@$C^Seu?G4P}J zx*j4F_2Z1i;#uN>W1_5^M$WITxEiKOPmu&%iO?_KHy_59l#RlZHK|hCgKkY`{{R7Pm1knxpZbc#8tRJuPp%WXZJx1)y@(vA9VRp=iwrIKNJ?IO{1dkIJtoFyFaa zcqC$1`Blv-mHkI3&*b=G6H?hf?{>IC^aO|}ryAvpZ0XUR8@_J^ihWZfjiCjV@5GAm zb<{(|sg&HoFpJnc2|9=Lo6^A=(lGV9`tj&UD{`e~8_wcypX(FOE;BTwd(g0ms0=#3 z&)*-@DK~#uYD?*L*JEaIiX3J1Rk{aD$eEDO%_rnSr2d2vUV!Va6w~m?ktYtD2S|6R z^lo?bx(>@fglkO;<7j4U`vtA~*b>5t90jP5 zd+V6$D3?XZ#{x%Z0*Qiy>(@rF4VNJP+P840pr&BD(g%uFyMlGB0f z>@7DQf6`eh&@XRb`dbrssv~qD*&YCOiykp+xBgQD3xrv(JH$wNzDhMsw{L+@Ss3{! zlDKJG22ZYPfMWG!4IJy?%^X*j+Kli6;!^KaL4X(~aP_c<$S&p|=prTlu4CDT`zYt) zX~cx1?#z(m0CY#EcpTQD(UfexQKS(lkdO&5ilUUD$(7vNB-hks9*JXroMhO{PYN&4 zGBjsnM4F+MWWl1l*S+Yf5_uP#U{fpLsM7CLCd@ep@7;)GSlI%gFz)64Vs;ClHErv= zLj%l6Cg&l&O@n@i*O7>ymyUC(Obg!3bln%tc^b=RFU)z$KIZiQT8Q~0GwuB{VWG%{ zBADow$<%DuvjV3Yyx7?v`A>WC(F9q4k_BHf9P7@1y4yj*L^UQu`tpMi0S{I%H%NII zfN=J-P3_?jqILILqF8Sq`5+AIJK zKb!mc8Jk@}((0`gWG%|o#l)mjs|hLtn5B}ga`f^qypY{tZFP|v%st1lR8U`Tno%3G zWqjheQ@}(Ho!_Z;hXgDhfUi3#{-yC1H@N4f1~Eh})2Gp1CUf%+fkV7uX}`n0d3;NC zJvnlg=yqoz*Ka5s8-U;BIE1>vZtAox-CLPs-xacqx6D&j%e{!9P-&viK_}_Y2_Dim zyV$V+jbq!LBX%Xv-i$bkW|yYSmRm|A5U>5)1!2l4a49@%ww(Dw!8cr5(`tS(P=w9r z#A#ItWg`18p7aR^0CEEw80?hRcNk)4N7UN92N8Ajfqg;_cz+H5#8? zarHcuDBFyfU{|UP$ z;3wH#e!4PiCi=bKiP+^XV#qzwrb}kw!al`Q`au&0}Z~gpyxx=U3s}!O3VqbBjJ{8C#W4fE-x=;4YlF1vq^XoMTsP_ z>bq8{wKSD3-@GPpP)%@hiR@Ixo<4H=^(rdO{UB_WX$qFvy0YZeT?!N))#Jt7)5#-( zZ$qdv16@?xBqzKKqUiYBups2LsLgp#RYM_fLDhtWn`$gNCDKAL|B?A<`%-*%ctGE2 z?pDj*1)Q#&#=3c@ojh*%G4*>~PNgV@uIq!*?Lx0ba&4nY^r{k^grm8UU?wpkFTnLbmhATNUu7@FRzcffp~< zYgHq0^}>>lRJyFEfzT_>8M($j;Q7F-H2Zbf@$H|LqKic(Errp0L>40{sLlAa9h>9q zIA$<1VWbQ^{1^8@k`>mywz4MU>hqisYPw`1xukWC$!4Ey8)I)C2Ym~@Uk%c1+?c~ynFDh*C!Tvk3wOVfN;hRZN=q^r~&+UxVmM{~Xu`?Vfa zEX$}JPRxH z0aBw3-KQaA8Bqeh-%QdstR2VYvAz{J7`n8!@S^1S$UJ#xAZeH-mdBCjznY@eyZxsTny4(D|J71lEPrz8hY=fO=aeZv>LbW$|= z&g>qXgTSn4YTWpv73)00zMm+?;{zH|v$0Z+CDDtL$Mo;%(DSmW-K-4ko$oZc!l+Wc zxWVEAE)tJ!5e4DVrqSPdrHip5u2oF82HbPCeiT5rCvOa~-DcVT3bt@gS$9ltN=9SU z>^JSl*m_889#j*x$}L5Q!A&_nw=uh>=Y_nHNI<@=i0a0)hho&r9=lh0F~@^Wj>Ea;79&`WTo$@(B2j z%}q>brW{*8HSQ#6ZCBJ%sO~$|b_pMYgT92#vm6-W6#;1a?p zG<=9cAEI+J8G`N>c+Xpk;x+bEze&DmCJT$-Irs5QWtCl4lK=EMv0VoNFx8fh75-L! zKVOhULcu%~_YR|m*9NLtQoq++Y4S;RGH|VAoRcMYi$$_F*jfk~BQ;J;D~SvS0h%#? z`JQzuGLm@^N%rgVQT|ikE}h`C^Za?4MMv7oB9jvGHiAPw71WMvni_6u4qc3$rVeq) zd9X6Wt9=7#p~djH^=1Q?4d3B83Wc1^KVEpr z%w!(UelcGO@R|!x<_n@HY!O+QIC+pepxcSXly(-#d_1JXOk0pxTByIUT4y)^^a^H= zPx$Wl#sXt+>r(?!r5XOAcYTD+ocfll0>~~rYtCkZm}v=Y7;xfbJjHX{JcVHu$Fa6( zs`#DrXnVir78hxEyHgE~f_fg7Rw*Iz2kvR=t?mzfgdbLAebU>}-_K)39Wkcnl&lmp zhYRGA;$q7_nf31p2Ry<(p3x3!Pth8Wk6sjSCaTr8+i4U*NcUHZ35GgdY_(yOhDRbN z=xE?Cm!#D6X^Q4uPC3Kya-l1$@uRgNwM04I%Tf)7pN>n`+js}_l8)aBd(im_Ls3XN zr#ECu=LgL>@WzF~uP1wpOZd@!bS_TbF1%Cr%C&PMTCSBsNaDW`^v`hm#(NOA`4tk+ z8+hbF=*m8HAr(7QEagX8T#zpKEb6rmObnu17r`fwpcWgvV&K!!me?M*$30%-tJ*Q| zWlJ#SUx8I~zI6^ZmCH(EpL4kl!58sc{QpQo0UXhW=glFM7}&k-y%wG~SGkVr?3+M~%nyJe z%a}I6nnlZNvH6dJMmMC6V8f zKY#MzV`;mKf*33IG(O9VP_h$%IYPSD4rs|DgbK>;2U0Wpid67c8Vj72f}99?%|Bc>+yL)}iONBRxIETVnv6IaG+Ew9+`(-yr1ZC5tiOm618j~^?DqcWLJ zA7I_3Lixc`0MoaY5Z_ocXU4x9y6<>yZJL=-Tb>eD4p#q=85mPiC%w;(PG3an6L)=j zG|j!%7bZot`}iMN*nGLyENI3&5e1z1={W0S@2a7zmLlr7bgjR(te_JvdFdCK=?87g zye&tayOJ`xuQpzN9!+>d#u$}sGAtc}qw8m-dY+Oo{rzypR1;v%{DFB23v&KXZNa>n%EUNsa&%na54hscnSzAM*MFtSUGQuV0y)n@u$81hzQ5 z%N-Fo<&Fe4`Rh`oyfL(Fp%07bkES6=)Jngi@n+$KRunteVvuqXQ>%XR=@va`{bUo6 zvThFQtn|s@#22h;MQ>5auijjy2+~^a56^EIJnfuo;`FqR#<;!heG?cb{EP!0Q{gdF z=Z^BYsGLvO)%0*LVA9)Fr`JFe43Yv6D_z0J4@Q4B;F_A>*Bd<#vE{IIAJ`&(Fw=G` zh8gaAUaruWyYr2|87n;D+@z~0lAuh|O&atVf62O;I2S`4>GmbZ_kKBEDm{>uYHCYN zL66~InLCd8d{c<`^rgT~QCsd*z~e=IiZWS2-tIlNxQ5e=NV)1Z)5_4Xqu&wpgw+It z3_0g}CQI{MYv>s<_5I-~XUsxxN{6CbWE+7h?h$Xa$ZpQCOv;gLs$rCzl|ikMtk(Ny zOYg$8$j_fDRkvVd*4Kg=G|Fj{cvQNfMOz8D9EZ9#plOO4GiaKcnMzFV_j-s%*ur19 z@XW#L;R{y%y)gh>@iucLu^uDh=~-v7FvtN#KJ;QD?CUnn^Aik|AL(jc=Pl%2&U1-s znYY@IiW*^bP-jTHb?Z#=G@QAd^aI`V*8JKL20oo}zW%`3B?<11We^AwwnXw30)qd8 zqR=Sedl)Xog;3mo>~SWD1eCi(E%BmArAoWU^rAS>d?GcpaE9ZPg=!R+&grm}kC8o8 zF)2(rQ>Po~hkMHuX)`o=I&@!palWSkH}b_=$6ZR3>2kR;@voOiYj78w-0ns7{l!>EWlas3R55Bs+UN{ck1n zRYW%AclsgQviXYGp%9&6q?OfUAXxj2yRZx^134oiaUc3QCshhYsw_1jX4F(sGR5|zIKPpv!NF@6J*He^Am)n+zk%9J-aX2 z*Cc&6VrzoW{`+QAKPBmrXD5yb7u;cxnc2Qxm1J!@5xJD(E!W5HmvMg^{#>sA8DaHl z`i24gi{*hawvYJJ*Qk9(X^@zKFP3k_u&17Sj7i<$hJjXcd+%Zq5JQT76EiJ5*jodi ztDEhsR4SHa;GzKPv0wB&s2^7pBOqP_`mKtYZiU-VgS#O`K}(KU@)j>w2@%ZSCkcA> zbib9bEn6G~_XH*17^ya}IB}Viq{coF9MIC@E-8=siaxu)(_^(4Lij1$=`?;=v|~EkU45HV z&I@Pw(SJ<|vob+z8ZX4zY$OI5xaH_Gs zgtn?@d{lH!=7b?a!7UC26cHKLbWyit3CL!zA!{}TA8)6;YYW#Xb6jyswUA-NNB8~NQ zt35;VlS$--Sx&}7)-mUzap7LOV^4;QE4D=$F)Y+>AB$#dd%@liT2Zcu(cxu-v9U8~ zGNB`q&eeyr{>>wX`ngp~J_!3t^lX))p1MQZ{J3aj7iI7IuNt&mzM)2b{XyF$torgNr_Benb}e_qH4*Q z%qB(j*)N%~@G+4NGBd$1?@?pT;mD0oLK=u=-yqOF@eEnLp{R1}c0GQkdi;+eF!M+f zG51VhE|&_c^Px<{25biT)AMrM$1n;og6-a)n0zR{9Uf5tslmxdX8dBSc2x6=$XXm5{Q@3McM5tH?I$aB2|NhO5IQwF_!r^FB z^4vgAlyAj!REL$y{7E-OwK6#@kdwIdc8KmdQuWyi^P@;KRNuSh=vNI`)Z2nb7Q1C#<*p99}z3TO^hRRbs zLlN#iDI$6=G#cL=&FuPi-KDULju@>W;*T2pV7Q(Sam;voXGOvwEmJs)-P0GE^Yv}7 z9n>?~vTGE_M$+)oW(kcp#0hn?Ks!^)n#d{tW^CSvX!}~AfP0m_b5K;!Sioy@jLzAJ zLW(!@sX>xUE7!a|h?C)}>QJ=QVg`}*HH_ZE%nDR1-E}#-?TBN7asLRkIAJkpoU>rP zlA*62?q}B*$4N_GZI+#bqoJJ=I_=~Uy>n0T$*WN+Ho1hAGzb3&qRAKA$!|k5Ko>@2 z7X;)VO=*)vJ=tN?+qnQ!CnwAJ_3Gg8ag=7fc#yB5M8Z6lYF`UWZPwpp=r6)V?yUdl z0REPerl2IZ3+4SqbaVwjy^HHSQd5Mx&X12673K9Uh>ZX%nHZpa;Xr1mY*Uf zgx-&1-0P^V+)fu2%khZzq2|ztPO)rpZc`Vo9wu0jR5Gnzw_`rNHoR6Ty;eyr$CH@{ zW;PF1lN)u zP>9JV?ur6q@}452SAf=nc0dXUW4(3kD2{WztaR$O;6te-kV_rclAz@}NRgM%AU_8-~kTawUDC4T4}+*GJaC!Hp>_TO}7hj$h^u!1T7TUMc;Av1c!~et3L+#b5^)QMiV& z2|=f`qSoSfKIyYKaA)st2V23HY>F2HpRj25Ti4gJNn|YTbXR}S*x4ZLc8jnG^OUV+ zmXS7ISIzj@70+6xm5o%be^cP$ET7jv>jh7=!xAOL`bdKKDMAG?hLBLyDRfosWKf*1 zQk#7H5l@Lk*`Aa_1me_IE|MT>FV;a?ds(S=j>@V?RZ>yMoJisg8HIT-3iPj4fk}IzR1K#7ANp?)To-uyFl^? z!ngoTTd0v9{j6IIq>57%dKLlwaCw$^S=F#}r-QinLsQ*eju(=c!7*$()l4R=Klce1 zekKrXbvi89_7!Qff{@Z+M3^Kzg>KW-sl;i#I)cs;CUmUb@_9&Abi|?%Xdd5otm0;z z+Id&4BIe+%>;BfV8m*Cb{!nTz{CxMkG>G-d(pjlSVbV_M9$7FjcmDE?F=)BS(&No2 zu3=G|)vkYrYE!LPs!U6}EH?<@4Uc{xMXFEISm32BXHd>m(5d@(kIrASb2rjg6c9zjUVdMHEm9aR@Qw*>NH^_cU_&GLQ0c&iG`iL3>N z3jy7Vg09Buk}qt&Dm{SrE;E}i#Ygs%6!u5^%O#Fu3%bfw-2tF{jwnOs{iq-z=HNTj zH$)zOd9h3%3XkXwuaGLXT)uWF-CmUPpTUg|899YuW83BSQl8n;O-6?i<7}I4+-G(z_T=1pRA+?+2D2KMUc^3B8FhN8GyKdkFlq ztD>Vx^%0@)#e%%gzoPaN;hf%2KVtU!ic_NUp{V;59Y|o;vDj)Tb4hj=;Qyp9yyqfJ zBR`en9!jM3Xq3NGm@^m!yPCOv1XPU^DK+{Ld6W}u!bh7KDoQ9z$lEXP!E8jtB)G2kf@?`2AEHnt`v)!Pju*2tdw0T6*!eIHVMDPJUItaOyS&xO60Nt%{MJz>5J(|YdP53gEkWR|);011zC9ZzV zCVy7R&GZ4Syo4Y>WuMp4C?PV1*Wu_4NsEgk_nut6*U!L$kl6rLkYd9qNkZ+XgIcSf zz*2kkA~d5B8fCSPK(68aGHc1sNU(t&tVA9cdMtr`fZ>3~($+{{DBJl%g>HrDpdEg*2U2U7Lb@HK&%mFjP;7_hO6e&w* zRW*ZA-0KdN$fM&Uk$YI=DmK$5&8q zP902K=wu1lTKmlH%LjSo(lU|>nu}F)kE%$a+5oOLAIq+9zX*;)dZ@ASU#}oQ#KjH=8EC zhxgR24O?ic!+PlA3Ra~%ZLF|;vY0q-_O=T~)883gw*VFnEudqDtS%b}zp%_j##HV* zYP3FkYn=UGA2>x4G_(h&3yN!2C%uj10NqE_r|H_nwj$0Ar5RQ0tR1>T{aYnA0EyuN zPckuBb202g;smE9^NsKyjhO76(PWgl}8q2-g^Yt@!}rFTT_dhP*CTS7>>e&IX$uQ(NI^BQ|1`n z92V;OdMb@&<$2FN@$^r*$c=?C)8nM1VvH~suh8erIPo$5PztImRc3Wy_06GkH9NUZ z2BfNJx9&AZM5SDQFc;k$RzH6P>+{!osf9w^Um@Si<6}&M$I5UHqtK&O6h<#EHXh}Q z7JgkZOvQY!K=#c_5(h>C+sT~s!hbrnxbGQ@8LBQ+RV^SoHo7S)laqU$Aq_s;BG4!M zU)7!pX&-*%oXB=$uDk`C5BXQq9IVGe$Nj5BuvUguhrpdvFdJB*r)3c19zt&Ps7qVX zA*mPlSQ>uN0AxK*f7c*W-^~$p@D+!@61bf7=vU@c`0JS@?a(4iD*ESSS?5LwZ#Mr7 z9xyC)Vf>pR>uw?gL}bhq{obu~&1FF|3;*$vlTFQ@zmL|9A8C+B=~X32@ms{#xvd*# z#_vSnn<-9>#@rGq=1^%bC^(jeS=`xRH{|{s_hy)A^Dzr5+rD4~KF?q00rt2F)BaOQ zXLct1L_-ub7E5Xww(ORxXinp!iy?aLX2<4UAA@Je4!S2?tfr2WUFZoJ;qs$)L}=e$ z7K2ZG&ISWN?z@Dx?aH_1c&LLaGqbEm%-dLG`)2+viraYaAq1)h7=&O-n$?MQZo4VO z5p0kOSKXYczuf1&h_+eO?Fsg>?PpooX?Uap&skt*>ce-!D&qYlx=r;7`*5#zlM8Tx z_Z9KQ(&+9QM=;EUWa0}=%rw~}%Tfg<#7VWZLzEO6$?(iK3PLq8HCvI#1IB^F59T{e z{A*Uwz9;jPSp(vR_9ZwPmY4?1yqnHPG2b3(k|agCadV!3p8oDUjP_cay7ar-jMcD) z%eYy5Q3!5*!(06(b^?j{bhM@sys=8Fh)g4k-piQi@!9A&|hB8+x9_)J1=? zbPBUAR2<|b$K4htIW4tR#az8pcPaZVb`qq>O)nw;)BP1N&ab3t{51bDJH9jrT575K z=^JSaL)8?VtwaE6PPDDH<-2ZVBa$@%3)mR!So_W`+=Q9iVGCv96d#8FWNq(B9{Ty@ zFkuA7f0Q&s4Wo3j#J=$(5XUO9Ff<@8-x4u!v>Ei!m&c;WjZU^2N#lC3fenFn%dc z?eNwCR@Vm2HfG@hkJ2o*e=;&LAonzt#lcyt2+91IfdW}+=k(NOu4}D691sMRgxai( zv1E_R;+{jhqs)cLbA)a|R{mcG7^7EFt)m~u!iN`S&#!_JpU1xF9DQ=`n=Wc)^h5EA zR29k5&;C2*a@GiTR=PS5B>Av@-M>tBmW!M4LHC)le~BJ>9c~05BSQAW^tJ(^yCT`; zjPgn$?tH$p1A_UJZ-ZH9nGhA9Yf+v25bYuY z7E`^An$wg9p~voZy5xsVf0J7*{wxA{1I>gWP_dVOEYHHcvdz9&7T@z+2_Umj@AkDF z^j-NIA{hQYjI`JJ0i6WZ?B#K}*fizZGvKs4iuW+U0A0P!ET_ zTGnFoDkR6IN5|AyiT{s)3y4{#Obtxi^;Meh{6cs-$iC-`{}Bm|)V0f~SR__?Z=eIP*( zgal%Ip~|@|h>AdDpvyVYS(Mjo&+GOt{$Wo7V`5LQy`OCj=j$%9&K20GkW{P$csUo+ zA2c9f!9@U6U1Mnm2mqi6AVC5|B04%`3@o_sExBP+uxFuxc!={~fpQPQ>jjLgN?t7B zWl_~Kt?3Lz(qfPh{0+qVX&_VX=yGm zE?^qn#DU{7r)dS~Ae-${@muejC- z{sddRmq_0XLCn2S;GrOoOD=xq{EY;?czdrf<_O}1jCap`&kU_ypy0P1E?$1^@r1p2 z%zJtdc?7x)2rSTH0eyfeice}d(~Kp=XetReHwus_qW7g7s!15=zRQlDTfNYW5P^3h zkRM&nKE!Cbo?-jPXGAv9UY@Qz&2oSN16e*`BQww34^u))TN@VE&l4oq7ZGDm4@~Bh zH@7FNXDSsd0F*Zt4~Tpcb5=hU1@%D~HLU){A7oZ{dv>??$NAGq^cOfNjsYS|FYr06 zFya?C_b{x>d&6*M55^>dK3xAS0xZzi`{%_t_yB`A3CQ)2-M`B@`f~lO%7P-wtJNWZ zGbt&~*H3^DiPA4NkpmJ4Ja7mY8QIWp7jVp28~U|00vNO;%!~yp48876=cxc{bAk$gns_0e^XEVNIm{sOKkmy|G7H(0(}L1 zK3_Am{^&u%I(5xqqMZ^kY6^U^FXFt5x3?>Zr?z|myqad8F}>WvKD@lQtmY~3Qv{jc(IOL} zoW0Z3KjaIBkExw5aBPoTx@kuo2~=XHdwo0PM#B4M5C1K>_Zex|Dp&)DQJq_`3ru}| zp(p#i?xKR!nx3Z-GAe_sq{fFvLjZ959>JQph%j-3L0CJ zI_9MENmTd{rWf;Tlgtm~i5)X(aJ@qKaL*Qwi?Sf33w}(iCtIP2t|aP99X`Y6jZyYD zG8xYbTH0yRTEYzFw2Ez{3u}^-TwPS%#Zc)H=w7RH-ydZ+bPYuh+p@r~YF6MM!JyKs zlQJ!g7nBF3J|ea>NBgn782Q8@xZO&;0=eUxYGY>L#lPB%;F=tsm(>;91ubCyCGz0< ztmxKfVF^{uD_O){jG+?KKIrRdwWyKRomt;kizk|fW_A=)uSmODKU8Vtca|bzc#~o5 z5+)L1!Fb*IUEGD2?Ag=u9kNzyUp8bnP$6oB4Uj;zuJUcEQ$ElEug8B$^K1U$DqKy*oLmrf?`2lZB-*= zX$p?)fA(dHX&%zz;mOs76`)HXNk2_D^|Y$~_kNKndi=$4Bf+drzT3&H@}zfd5iq|6 zGnY5W<_OGhqDt@ls;SG4MS}=RuG&@$oS4#eb3__u{Oph}EC$ITyG=E_wPs`m%@<0| zApDwQ#QA(-E&SJ#e?z51+)km>Usc3X?E+zjq|OS7oF~KQ+2>)o4Cx4g`?0c3#&%|P zC6mxjbbDjT{JReNT*Gi-1k7LXqNF6G?>Rqbk$R6KZEGanx3x*;wTStYMb@cke7l`B zjqKUYbV8Y5LX}I*oM)tCty`$&v`6h;ibT5ZvJ=b-d$IXz9B z-=@)RVMKz|DG#=#S79kQ%-{OYoLsGam~Eq9=R{Nl-CQ43cUhr}fqtaUR^mlRs<_T| zDQhLx?l24|M%3*`c0V>hPO}w{p=IvUA!;eFB5SnaU!pbqmdYENZItaNk0c%ooy~6_ z|0dZ`=^k|lay4cmt}H3nH9zvR>x8)%LcTJmfWXWt9J*q(c4%^0Zs>|LyiYq~Qt#2@ zv!m_beu{k;*oS8kMV=Oh&7t{e4rDp$Bw1Yfz<<9(ju?@y-o4|d3Y!SR*JhZtjTM99 zut|ziEX082OJicPx_=GJtSObZdvnBXQ9w;j=_pU*Z2A87esi?1LnPfFEO5N+>0H)l ze{_B>%ZCe6W$Hrequ3im>AQUkalKr^W%uEH@4{z|u#*M0NW$L@kOr4%3Y~b&*{a<+ zyibrsbl+F+F&f$6?eXTTt7Y{n}MV{w*cxZhAlLq{8iHd`P{Q*u<*U z&EuLN|CRS#II>#N^bx5nTj6Y=GmJCDG^UlNw%z9v&n&2fl58}YhN`~3LPey+d z&Q*hra9i#3x>W(3G{5wlW@^rp=7a6L%UQiz7#UILjP#Psoa&1h$Rz^0-2Tm6hLoJN zDuk7MFUCBbHC6O7zcVe9BpJfi4l%A8u|INKQ&*Fw;x#`Cd6G?wX%yFtz>DDLh;BLvVTz17>Xnnp#E zM<-)pSv&apZqt1=T)^$vtHrNh1y?bNXRmk5^U4TaRgu())&`}418M6e1Q?-vr6QyA z%_g+Qh%IU9Fg~Z8#!AX{^JvHf{l#mMA+kWPvpRTiVVT%=HV1HU+R`3Qa1OoDpr!&4 z>K>vC>1d+*(`hA4btEAAFx^1-#pCP6^FKFxsdD)QE?$ zdb@(xNTX{j9jb1au>3Bw%cAHX{Q2-w^1denVlD)?1VxQuP5i=DVDXQ~YeaJC*Spi5 z_FGsmTkxKQ&?izT=@?z+x$~bx;&y-pVPT%sLhlr3{GQU;VleGWk(_%bLSX{)27kAL zE$izGsZKEyT5TfjjqtHdGX1rRQCs=z4sdY-`KPQoa~K@~PP>_^?#ba(&=8@8Ws=raHgslrc#VD z0=lm2;Z`hk>)U>UWaYSHm_7fyp!m6f+~X893Cxdfvr2#N%3qTQ!ZFYxB=^O{;bUzK-j`Lur?TD1A9M}x9ZAJLjwCmqD%?O!s=tjk|YKtX>PO-%+vKFST8F^>xD`z^A@o+h%8M7{x8ISa`LO53JpNs7NDd%YpJpeM!@0{2~bC>!el5 zUR;4*F5HchKl>D+0hz{=$_s!Cs5uPKwh|enPz@O%y_Y|cn1`=F*Q&=zr4;hh3tFO1 zOAXl&7bMj%F9=wQcDE*gXrNCV435hSog{cz=2S-D8+TEq1M^FK<3xD=^Xo9 zt!V7$ayd(y`HCUQqK(=?Ig|Gk`kZFv0H8C9Cfmq^1V(Ox#Lw{4HlQQX{@n|AcW)bW+D!UvmZT9b<55EtrMYj? zQrnyf4K!9G1D9%;>Ch;_dciLBwWa?9V=ORwE~I4=iU0c0dXsPLB-;}t=~27!kKbXs zc5`p-Qm#y_nDeQ3r4h@A@G5YA&o33HK|9b`5&~K{1Pl~i=vCxyh|a}QKm!s<8D|r= z`{LEIjTGYn7X~l4ty)Drr(lk>-yj#D1dkkYPF*Q18cS|fU;V`_iG`7r!LB2B4!N4x zR}vaK!aKF1Axqj)1msm~=fyC@?YlI+Q43R13&+!PytLPZgJo5(_1XKu(A6Hv`*Wvv zZgb*hYk1c71MeeeAvsP5_PBqjErNNY?HY0TP1z)0F8|~t4>o-;mWZS+2d?I^c?bS9 z4C-)G#&QdYxmK4T(ocSwZ()-$vPrIVD&HPbBk*rEm57#(!3`p5CR@<;T}h-0yU1o(;g7p*FE=K5mgfA33MhRSHt_*-S zC4pK!K60D+*c^)tkY}c3&K#O!@`ub|P*`(QMF_o8Sc_C(HHrWoLEu4)N}E?+F!g*-}<7i z)*UG(-?C2MHR~OxG$CG`yCOERh{k)uzuUJg$7EJidLu6lST5BGvA(5axG0ARsoZh)KIF|>7BFd?$|kxXZ*Z|yqWieDc&L|Wbs6j}Jabp9 zw?Zmd4O?)3mkZgO3t`mq9Eh|^QgCM^#o42|9(?0YDr>-fKGVscJe?z-eCZPl@!Z>g zx)Hum2~(~-ifm>|UB<+1yOE0E2P;^!TcW5)5|iY;QwWA@bqaHL#UBc z#bcp-+>CN3%q*TJw1u_?8nfFs$bs~pWy_5E#c2O`a#?2LD#%CFM`JtkR(QKfBkP}V z`=JYYMGpj=p9WU+=5I)tB3^Q8Rn#9=s70k@-kK^ek0BzY9peb-8L#(d%UQs~f&_r8 zTT(F~Vl^owsn2c za#g7c`brtVsRwoZ2fNsd@a=Y`xSw^0Pw#Opmd=8nI2yN%Zl^9ig{ZghHbarJ5MuZy zVFF>AF@7Lpwdx);?Aqsp`C9_M(0krOrA6J8RkM-P>Joj-Y)d(Qu<>mXrL9^iK9zGR zu?SAgJ3OU|mCNruR?CvCa)qb6Om2#cZNUrgu zXf`N2AWAa*QLabg?>5zl-cyZU>H$r@D1zjro{2lUX{LFV?QBQyVw3$-cf2Xk`>xb? zWm<~r*8vj?bi+c&e^kbdIZ)i}?s)7t@Z%~rUw12B&J+`PJ2knYAB6O*hxCc(TV`yj z6$%p832OdAgl@(lk&p5)?8t&Pv6nElqcr2mm;PK` zO#7501wh9%X7)BGNzpoZCed73q2U*j#a?D&8J4rc^ zey!`sB$ev2;rt(g==ztyF1POllIYi2ui}Y(?++ty_BJTBe=c4h7%-QcfiR~ zFN>vvqGowZ^mTwR$LH%bza1S?=Dhvq+m&TT28VOLB8LOgx_dsRS;KGT!{-p`g;x`! z#l2W)uAqFXJZ9#WYM3%-MPqJdxNMWgt#QSZ`>;L(Dd^2JjQ`$Bz9H(SSp^|(=qt~U?xB9!38 zqg#*cDL0&dw_f3CwJTUQ28b)0Qz^_#Y~BvmA66HYl~sp?l$eb z-jnySE4X(%dQpnMR9+clU%GZzh_yr5@Q9hORNV4K)h@cf^?E2KPf}|_PPlQh!A2X| zkImm^wv;n^-YlKDrw1zLWm68@h_Vgo6F-iO<|c96cO-DuUq7ArF{D@Vc9LsD=VpiQ z|2fg3wTNi9MK~>IS?XZ?zlXq8f|rmGh=FB|yoM~MM`T0Q2h9GGhr$ipmlLh{GYde2 z8Ub}9fT9mMp058(@iw{k^75wdzm85-JUMYS*?9N4l%|cs7G=`$#;3=KQC!j)k6s#; zJ;D~8<&QdNd@^vje!Fl%c*Nv+j2u9IT`Zg}a(})9?{NFYHXEr)h((dUERBZ-2TPtG zZrQZqLY2c#Xthn5VbmbBfF%tg5^GYQ-=+0~L8}?vwN(_dJyYm6WZ%k<2TT%#2dlJh zn^Zl>&9=AulUOb14}+p03X&7PL>VPtE79ouqqP7yx+dXB}K=0+tp#T3|6hB%AYCI@l%$H#d_ThKJmB7Y-@Vg8@)vjm7K_~t9H*P%B#@st zqC4!zL?4Z1{X>A5TFRYn2u(7VCZ<3PT}`XDrVfwIS<u*fmi;Nd2o04KJBUI^4w)@ai$UQq2@V0G{slzy zcDXI{1Aa7QI%q%1~6a{P$Fml5% z6-1Q&h)AKsf=2}OG5rwbGu8{RmXagGFMN#`J{1K1li@=n7<2m;;t!61hS z7~EmuQE-5O4%)%9EYE|TcMvK7M%w|90lhtDps2v%pB22ZkY4fq@X^o1f%X~j!hm{ya9>ZL35Y;~hz&S$ar=S8K|V{k@WfVs zG!E$T10TVKdfl(Wf%=dF~I(i-v7`(?NI)(2mh4c{~*5s*quiPhK}4)U)(-_Acb|}==cCo z?sJ~Ix8SqF2R451cIBM=F&0mV_JyGr0P!Y!g-)bIMR<2cnDDT`-hF^Q$us=?Z(w$T zef?+v$pZxYmkBEd3ABOVFcF|j>sCYm7BF=C9l&|8gRkC62M9%U|M+y$b3uiL`#EA( zgpwpc4fKBp>UHM~-@nr`gFrg}`5UTu?sijdJ!#^G zTjRp9Un`h6GdHYc(GZP-9UoJtqzAqb?4E};p941G5?!-)w~GC8fKGF~25377%uCs- zl7>A(l9T2#q!H~JN6+rIhNkk+fDaob5)t`6=3Vp>Q` z1qX%l^HFFL;psZC`*_=(97oba*PuaChe==}`WIjz-2nWbO&V|vVHHrnZRwcD2T zxk>|tjt9Hj%5N`*n${%vAi_F?kCoKu1HQT@tUm!o?uK7LP^h5}wJsfy!k^197_23} zrg61j`SZ<%*GZ<=W;@$%7#cg#R=1fh5%s44-m<~j*2Qlrhp#q!51!0NUN^VMGck*lF z(@2`gCkP1XtXbQUk5E?jS>gk&3fnd4eZBToakqL~YCJ5Tr4flCng343%y2|d>Ra5D z%0enW&R9Bz8ntB8WjARmgA-NEfV!Ve6Z~-OGvLQffNmeOKE%eg>U^F?QQxDULWt33 zCN=bq%+G=YFH40PH0dE>R=Saf6aCjz9~EL(CCNC08!1QwmoEtyK9t|=*)%Wk>_q_x zdsGrmyMpG{An;VN8F?wKDUP+ISl%dU}+_#PAhYZTl3T)+YhuX!Lo`yH>=2XXBb6t z+LDwGK)=dI{$y!N$sRV6^K2JcvCUeGC3a9(!{%5Uhnh0;pGDBdkbDkj{j~npOpJTOb`S<1< z6ii)Q#vjoBEXBOTi%~-%2YJylrQIM-wulxQ&t7n40bJ8z3-EjodQCJp@aNyVV0SFk zN~`7qpS38&Y(LGu47bAD_DuCgGxEM7STGJHu5^emek{f6Ol9izK2}huFnfraxG4s; zk#=Z5QZ7b_BUPxY5z%NoUaR@=;HmqVs7S?1^4PAZSz_YpwnS{JV@A*14SJTR{FTPs1%y3=GMH;kpFicZ(D0j3bY z7_aL}Seq7}O*N>7)^B|7bKJpk#e=M+f>K&u)d(}OwtsgzacP;-R3RMap?UN~paI;q{c>Aim3(f9922kjuuM4mAm8l|EQ_O>$dR|;=qPzN z9d~M8!bI&Xj*=7h45-S_wR1e}mUN?Q#L|y6Gk$|VSj{Pu?oK&$zgp70oJDm{9l&BB z_9zcFp)9t)if8kvK-nIX98Y24U&kBv@?CO_9F#t@5|2zJE?i(~>&Sb97B{}IedY7W z$E7L2>s{#wPw!b9?YuV_vnRrdRn|Oq5BUz>l)12#R;T?x|n^0O`l#K zRZ%3wFyD}%5ZAL3r@24Fl~r?(skeBw$@BSeNq;%J0~~g6_mWT@jG)r%uu4GEi`$xd z<)+OR`zY_(%mhEBCl~I+PL3?LeiU^&+)*5+K^dpqj)ge5G+V<_ZV&G8+sj<+gpWfFv0c)#eB-d}8*vUZvG$%DpW3Be70I+Vz$MmYB=WF3D>C7=TqE z=qruI@hO8(HY!7eV<|+wp%18hm2|cke#}rhb-fs6ZEWt*geZwK%;fm(i~sE~W|Q@; zNf6U13h02^ z(kJq$C8x?VGMmWyvnywl#Pcw0Thqv|B)NL3Uj(;#xx6pGB453YDsNLX=Em+N$E*%m+kQ^9L z+&n4C7|j_Bu#vC@X%wxRlm{*aS=Kb(VL--A$>4BxbN%XYHyb1%0;|+`c|uHC;{G9K zD|_PGsweZ~FwmbLgw`8;X0P$nhshdHa33dLkKq zuV-|T0o8c?U}kHEnGXR`p!+%yxfHVjxE-XuB~M!C*t|hd@H7P?lZ2#WgzAvVR{BG8 z73(fW0kav2uUnZ>imsHAG|r9fBd^X{HQ*F=^)dK$wYyB*)ktx1^zLo(X!$B^y4Us+2qY% zU3JzxM5*Y^K{+X#`KlMf-wd8Rr{FouG8qRJN(JhCQ{fM@;&M);54Fu)knj^S@qIC^ z9+vpH*rA;w=Gt-E{?G07dmOh3Di^l6%h=85eEymm;lR0<##nQ7P{2irX4of(EjAk} zvDxTabXq{v%AW}nt>=2M>u4U4WurUHU*@-(#?r= zdMT;oAToswaL00==5z>O3zc7uW~?4Hy$M1arGhqeB6_91qR%&BoY_SBDkK zk%oyhZMJ@6gW?{)+jX!3Pz~V=-5;!o;M16514A@WkC0L6Z`8Pl^*Ilib4^|sg?`RZ z@cb|&3O#C8xRvzVe^u}%s~I%VkV=W_#cOKkBG1EZ7@PQi=f1m1UY_90VpT0v|6r{-L`*V+t3le9(3hOcePV8Bn_AITo9}Xb)%s!UYog6k87ToF+R*-{EnGyr_5s0{{lvlbBDVQOY z&JoGCNEyXo&ujWmvx9_QljhY1q~4A}EqQIem}*c!?>pADoU#{pLZjX3m8l32laZ{} z;!u5UwBJq7Az`koQv_o4K!P7i~>zre*AAfz3Uu2VWks zD-d4v`a4NCUTy!~zhtf%mdMU(#BE&kh*+{u6ePs2b62?eHdC(K~ z4EdW9QPnM0!$_T%DZTqPb7M{Inq41;(pV^SJj(S+!Y!i`mbcxikp$)Jfbn+&Enxr#$Fct5ZteOw^y zWtA{k8r-0Y`~3B9_&duXv?#_j!H`|DXK&pVpWWv$(fjMJ*OK{9k;X7GCtn+}qpI62 zcCwe@rOlVdM80<7%xecn#%~!rS`A{4YKf~S=()}(=Y<|?_g?tgkoV3{j@E6XhI{oQ zYXaG8xk;>q@qS;Ei43n}e7wW(4ae#!9YCLMQ?_dHe4*hW8+d`fj9EZ1oxD}+%L$(Q zaVVp1GZsSSnRn$FKLMzOP16~nYSdZ!D2mjFv(;ztTrSGtfXfNuiNL#3v$26|{L)?F zfHcvZEzO~WgINcoeDnKcE1ivU&o3O==FJ5RVx7&5Usm@OyhI0gFAO@kc#lg#IMKN`92vWQXtybdi$m_+rvMJKaKz|$je#Kc_Q%UIfImm?sEe{fP zs4g6&F+XyA%H~U>aOG0I4x3=vlCn6QG*d=~WiUj@qj|B)DtbY2zK))~LbR#eTHIz| zV8$TLYc1?5&D6gEC^suqB!~t3`u)74hKoTYlcY%6IRA+aTjD}f=bd#(hTmz+q1 z_8NM71`h}NnS+1%#V~8-mvf0Hu`+OOGgPEl#n`v0*n}5?{CY?teNk#;kS&*n0}!`W@ZgUVxzxx%VJ zoYHCiq5CAeLwCbOluteo4VohKXlwNpOcZ0K3yA=7B9u>eytGuFfk#b>4!&ZugQkL94JF#)P>> zJ@no7MzTexe6a^3%k&JF?RbnLZc;;}I|Ke!AsU@eM-`Lenkv*V7FI!Pi?gD$qeD~0 z1zNOutEjKy3}jB_#5hj%&?|uC8;l<9bu@V${AzN2XVG_M{_1h|m2e~b5Of?x4G~Bt zbHUXIa#V`!wrazCeyiO_?pc3;I*n&l-__}fQBT$8X(Pdw z(FpY6t&A6ox#U@cYP9qH`k#w!{GOonQETELdIUkd8eKP~n7A5YKKbWt#n-z_i{@py za}29vFvcEpX)*cUP4mO**d;5a4xG1bMOoBl|Tw<05LvFGIu^r!NK+WqQ%z9Z^|7p#I%&x_44^_5e!S4qST zbnyni43WY?N-p&#rVAeMntAa56*1NiIjR7Pq(dnYm4mMCI)Npx2|~KSROM>PrlG8I)?2>(|5dy~W`0|o^4(nU9Xh~7GX*y#L{F{Dg z-o?^WI32pJO{-&8m<{;q-_ZMS#h&Ow2_i6ICKi9-J3pw0V`v zdVKC0jW_0`8foBgIV~?Enc@z`vG9VPIjgaIw~pv|5)WhfR%(C&8B)chA2S%xCkp-! zqQ<-y_0^5SY>f$@rHoLIiH*aJ7E)R59=O)EsG>8AkYi7Am3KR<6i!wi9IdtP#dPIv z8KF9mG7c)zmsJlB;#t>5KbthBy#|^go!jfS1hl2(+o|me{jNtzD|Q7sbi;t`G~soOYD3-nqJv*NRU0AWTL`!^n$3LdQm|^9x%4lKh(KuC=FP2X zr*maCtF~>}e25M6ktSY4N%Gq=VYz(cKJ4p3(0fsz_2`U-Nra2?>_S1raH%Q^~v$Lvm8JA(!%MsJ- zBT^(KuDD;kgJxOW`V}))K?~qW8%zFL_NW=NPaTill-fy5VSZi2m}MPA{#k|q$z2y;e(YnBRe`8)gwE6 zAIH6JKE8h@Ut~?=A1?Vi%w96hW@OYc8=taAS9_}nBJ45uq3{uECf@%dT2H0F+u~p$rJlDp54%5foWd+Foj~=Dk$PHq|>3o6Qk`i)+)v+juYfJL6 zKDgT;qD$a*ME0->h{1m!=1ly^R-x|Itaw&wfPB14H*(;4TWR}IE}?;WFmdvh5mPsW z!?-8G_o3ZaadS)Z;b$E~dcR33ek6CnKV3M0`0%=a3O}gd-H0eIWAtmASU1P8U>`#I zFM*mB#32Qw6|*4rf_K6F4A^?Y^~Kp=g?Uy%VO@S{@gjax;KC{-&H?-3bA49uvs=!+l;j;_BPWr{3(0qC+>- zeQkwAbuiBYfx9?_mX7`mc`z9K7&QbE00ne*cJ>n(01bix-PJckd~XZvY+&7oCfu~V zG zScV_uzO4YYQjA^Bo50Ukpw1rtAB{9#ib-&Ir^oNm?-4Z6CRt}RShTip%Qt>G4UJZe z-WRAIf?X(ySd88g2xK5gUYgGz?ie=AcQxFf2vz^JeqbU%@`t?~Am#Ed1$^}f8xg)2 za55jnPk{lV|08}{+!@fhjG*WJGvoL}eE1`O)YI^(7yR9WM%m8I^}T2IlW_ZU7nqeB zy$xW*OT377PX&Q{9iZv`PO<#;=H$#uz^33<^7B+q(2KA@0NUWC@QA_(jHm0*f2F`K zT8c3!_B*1s`A3-*uny-tlR=CMJ{Qs<2svGs()k-VY;xw?RP8S!sEfg=BUz2}uFf*ZU*U`S6%VXA*fWRGp)4ZOeRG|?KG_1k4jz&?lQxB2F z64Ghd;`nX`dMYYqEm(RB` zN&4CdE@Ea3<=d+F2?5^YG#yjx?B8JpA*vR7RLh0^NC|ff&J*@%m-;<#H0=3`rB|;u zUtBgnzZ*VcEgcdWq;fLGb7nspjYl3q3lcvRxB|z4H(DVx4S)7zQp}yKt`*MWNp@<_ zze}!wKPHrr$~|dSMYERhN+!dX$Y(9Zjt8i!C@w2s9&=#LT=olHnpJ1mhn=m&B!A&o4s#JjjWKKTfBtmJ;ja3XJi6nw z*tXoB3|CA-iLt(0WAC?B$cvT%)k>9@nX;NaEc?q1f6~jTDAmc40$Vx@DH&32n_W%{ zZzK%kEoO=-+Rk;X$6T8ln5aJwyMY@nw(;obdlDXGGYX>a0KrD7R{e|{qdo;yYZ_g9upx%uGVgM}?6fYYKFir8A z>;H%bwepZA3zi7z*eR&;^PznQG zMlSqp9VI#FA74-9yIU*&j9{Yan76}aG8{ftiypD|qgRZW;#xKq-%6U2r&(IBR zpds%KiCPVm1lv*_P0<)hwysyLb+nG6!bTc0rA#q3pW^-`cvnWPD7fm6F%NmA$Ps@6 z(Y4G%Pxcw!F#MMw+iKQhbXATwsMIxEBMG~}lQF<)+Ob0H`N1)wAQ90vok@%v6iJB4 zLRx@`Jcae~>Ul zKb-mYZ^|vqDLmSfi(r}UMev3`M)*F0G0$vFa3HsNMCgvy!Ter<%m0%gljHh5DClA7 zB>4sb+e^;wx`jmE}>U*ge1PQu?xrAo+9i|ng87oBugX^rNO+R2X{K$ z5Zx@kCSQ#j`e_P;O9q64)lEFU!nGy&3r%1)i$Ng9`s3>*q#rleW4tvgkB08p$(~*@ zx?KJV<49y%{pAs^J|&6R)8*loA~&2AJOekBz(Vi88vE*?IHIr1KyVEn+}&-Egdv2% z-5r8EgA8tg;KAKpg1fuB1$TEJT(kV@+ui!AcB^))y1HM#KHcy3>woU6zUQ3jhCh~K z(L&wyaUhKXx}bay@K4FTeCuGL8s{f<^oQCE1*IjfbgKu_T1avVhrIeQ{o1&8AkJA_ zswnkys(gM*Hyt^**mtgklrj9Q$K!JHV^N=QM-;rww;Ev}gm=#_=_>K6R*>8?0Oc^G z<^E6mwTi9eH@Z>rAQWGHIw5n3C$xXQ%|~MaAYvuZM2!KJ{QL7mC@j+HeXsFm~0M@iTzY$6iXu9Ix6iZ zUHI#zo{?|4elTvC$3>(pA`}@gZ;=1S|C3Ns|EzOF`^V9<<0x>sgdI-; zFI{j*Gz@WH#kcR>!sg2d_)ZKxWj5B16`*HBm$> zTZy1I!ZPlbouaRZUD9d52k5;7=f`FFfTN7Ntxtmyt%(N(>QvqaiEO;isCuGA99nL3 ze>Cnq-R6mneYBBXkIf549>wjgB#lpvy%rKUTcly$0DazC7cxZe+{X$3ru9!1K0UH4p-S z9kq#`bnCVp59NLC=tudCx!;4)7$ zo-wb5+#Ko>p;i7VtCj`9-4xgP4`1)1eXhie4t@H+3rRgWpS#DH2k$Qu+6=B!eYBw zCjua&)n?Ghm4h|YB!yi`86Kj6s5VD@U{F3uerEV`*ztmR_{4cH-%n5xPE`f7K{vGJ zWLyqDv~HEyh2;81@GI!-xV=IEynZqy!V7oRabbe$mtk|uyR+-~_Sn&O2H!hU6JTKC zl{3KuIBq!{H-z;>oxcu={0U2&Yrz*a$PTOWj7<_&?{I3d;D;DLhkd95H)sxK9Yc#I zGoNjseLS6_-#or>;wHwA4Exmnc{RQBL5CH4+vFr-#4dJMqD^{wQn=$-k@!uj23u{#p5t z3b8ZyP{+-!P(N#)PnQsrv3MxHFMKaZD*pC~UlfrKSpu`PV9Uk?cT2ys1WZ~ehtJZ1 zXbe9WTUG|FWBP1DF3)@!QGu3rQ<06pHT@j4r2AWP=W1+Y_jSjCSRp|k-0+tYyW!Xe zZtX*b0SU8x&k)23ezdkFx8)2TFUoBjJyj^@HK_q)6)~r4hn@lj5>hnwveo&wE|bDk zG@Nzq?_XZz#&T7CJ7D(SoINE_-+4|BU0>}VbASD8XZgCR$T?}0-g@1GT%zEKCkEUg z8obsR3U>9Ph&xFB^Bd!89vdixShN`-V>&7&V-~i{?I)kh412mYglDv;MSG3;4FFd- z-9CM0u`#|M{iU3uNR5CApDPl;6@T;k^&tHD86VsW6Pf7E{=qRCV){ay74FyaUN%2hUf^6udAG{VMVB1wc z`slCOC|Ps%$LSXSHj__DK8r}sd{is0C<>)ttYE0_!&)Ej;$aO(yE@4rlufQGmHpm0 z#gg_{3x#xsR&-|69i`#=?6>_wT7+?N-DUsWO0(+I51w-zAX#c-OUWrjhv3|; zx~vz%W$%T2B7l&JWy1-wv(?J6;>G0TSDpHanLoti_R--Q>WuK&`>oU3@fzB?7s(_P zFiw&L@tB(N!JM|eIAgG^Ar6G18Zkw18;+q2;o(@nZoY6Lba*{eYB+t$Q~USgd`ly> z^Z>s;{W*56ppW?K<57ZDbj!C!cT}ru6ChguS8cbzc;UL+?1!~wt;{CZjD?Evd*as? zzLZn_M!Sj+;{*l`w(7=gi}>Z!MX&3!*q?pV?PN(;{VeL`5NY{jBpE9zIr7Jm3{Teg zs8SHibk__|dG$phkl8?&dnq&GNE4WeYsnNd>Sj2HE0uAA5mMpGkEWUpzCKvrK**Xn z^-_e)aOLW5UA~1b{Em_4XwDKB$32ZbeJl8+En9g0963=BetO_f$)U7mv6FLh{< z<*+csH!-`KGhURsVy>*_jlWk$#!Du$zc_-yBEhd_iT*Sug6gK+x8l6y%Q2 z|C^yGAv5cFcg|OYIZaxhF=Bu$h5d#OpO2bl$u`L$DeqQ)LY1e&-46IC08( zflYt8@oZAzP!H}5d-f6BcxU#!B?XqF^;#-U+E+$}szN&azBH{n(*JI9RQHLY9*-~J z4{$~=HcB{=`c8vkiySIId~|Qs>ft3JcL7lCrpofhkI-JLdBzF0-DRHQh)Adm5l&tn zD;n&yz}Vfq*Z$$RRwDo#ojMFVR|l;e$$&`75vajs% zq$V?ZMzg5$h7xkzwdDyT>xcf$&$ZF{MqMHNiC@}NsBNe@WZj)<>zU=XsC!0}KS^+O zGq=ySAAXbCTC`pQ%n{S-Tm4%{Owk&qaY8%Ls5#!QHWugMqxNV&EF|#hS%ML)dy%GB z`lAv{=OfB(W3@O)@Ic@%TqQbw=2zBVW8leo-#ul@%5(YeBpjcYl-*q}<^+ZxA zY3IP&uNK7dvd;Pcx=yb>ZXLH+h!1sepS7P}5bB8{J-+y+3}(1hAwP34IND9IF)E%l z00*m%GTG!618Q3Uz}gCZ{wE%C;{AbcLwV(@%R@8|_2f3(N53f9M(cgt zE}-mE!m8f9C^7N9>F;&G5_CkX8r=?uu`3f}%HPkyuOZ%cy4VKR;o2EuF-jB-w3zMEpC2htmGX+@R{^iOULFTIy{uehA3CU|{uN zbmzvg*!~%9H?fI@jQh3a2KQnLhGOe$^}HzhO{)w#6mg3xp_N#(4?~jx;u5dSS#AG= zp^@}=Ldf~)r~qS;@|@3p5}08)*V0wGX^`BkQ#>vD{w%#T-$Tq27*==187+xz;O-?+ zz0~3)uaYTy{=*UlUb^!vk;9{kOgRmtg%`x7`xdULxo>HdyUdO5nQB5G=tOJ26NN)) zenN*MbQFT;tKn_N-1_WeiN=qHb?mfN-B>=3Fla)> z$14*V?QZt6Tn3Ci&GKZ;VVYd3R3+dXwsP}cg#1I84;!EfkS98qVSA`Hr85hmWL5CI zklxn$76@;1C~DH;tyU8U&RBzRX(v>`VqVq|HRmfmwp#wMjqx(A@*j+%^&4n0$CORvov*=YYe`;<0qlFdCvaTECY_e-dzwKh$K z2aBxzV1U8vv5CQXTky(gurH2+v@|1o158{~;d7mcx=IJP)l>j08LOVaOeb|sp5fEE zz>%JGg4kZ2cYzi$-cP>+sbRbvYHONS zGqyf7LB}6FOfpx2fqZ@*>3;1l4YpI|m4v|R=QQfP`!B+M>{q_Am>z%Z&(s-E4vS-s za)#4_?$r*V#;-Ejl|eMU*SXK$c)=WBIUmGVZr7jl-8cc=x^j*c0h#Tb%_RyzRqNRx zDuWp9FZoQiY+Pr}m#(IciP6RX-asb2uvmv1bqe+na^7}SiDzE8`uq|s-hGlA5vp0u~}CH564CT|ntc@OJpe6iO0fYHG;qT*f}Su!sk z7CP6qskunb#BkwIRzm*fi_oQu zBwF;#EtK?ZCL<$Ru{!j?t0+)hG17@KsGi%Tc5XKSb&ru+73t=1 zUYqr)2O3%|_0@JIfx-@XuGp6%+v5A-+(Imr!VK+7J$5{)_)}cX{XZ0rW=hQBpzQz!@^PTcpLIT%_2U^=E>YeO zjQ#!eM`L)+^#g_&!NT5RqmI4taQYfH9qoN22Tpu<{3=U-GK;3q)s?l+UR8C-VGg&? zY&~X+d)I;=-DRJ@jZ8M$*qlB9cS7R@-^EPw;*uRrS}&f6#o?^0@dx2W5eP#uETVFU zq||k#L+}KDyi^QO1PSKZN-d(vBy_d~$N~N&P$Js&^v9iVdFHd4dsg^-BhCK&@F%xX z0w9sW^((QGcK%&{F3<(tEoJ^~3?Q6;D+d~2o-9XLX5P_HDVt`AY2)w7%uQLU)!ZYt zb`Gi&v-tb_H@87A&w^~IRJ&5~G0X`K0=X=_*4xoK>V`?dPqAjD_`;@Ew>$8Lu?6m) z<2~NS1?DSD?(XyXPl7l;#e=ECvt2X3a*z;;Z|5(=05_@GPfKG+%d@%SetG@D&vjp4 zZn=qVWRW$iIJ8JOS5AtF4=`)F51`=0WV1~rBKFx5-Jc-e@NmelG>pd1Zdb^uS-iEh zHF5O(tS|z-NuXyyV&%ox`)9ukYOBWv4^1@-`42g=0(X!fusNAhjhv67CxoLCkNxn7 zvk2c^W%#;D*VmU^o9;vKJxa4Fcx&{r;y)4z(%rtaj;aZ0LS)Dvma7e-Zck$#=kyJm z3bRU*zuhsKjM6Q=)@4^M!>~D^CLGTca!)fj*U2r!&jX z50!6hCD=b0NP^ks(l1h#TDf7zZB@IEQTg6;2vZ*^VmUh#3c4$I6hvw z(CLl;2pD}hMADHeuB;51Sn|fUPxZPwPfgod$p-DOHYwaJBc0b?YP}(VJvAB8QlM}dx7h0%{=Y7^E(k%FMs!kHdm_z z%KnSjL|bPRAk=^zC0no|=-~g?fEVul2M%oq*;q{X!Uv#-fdjPG=9L$VJ)@~L>^05* zSY8+;ehDwQm=y<_nsTHwkiwG|No^6Ze1kmBz>%ZNctChLn ze+0avKAAzI0Sq+#EXYey)5({>#jk8W$(4CJCc5^NV*gU}&ZP%UB2KiMBl)0EkcuZo z$C9#*Y9!Qz-z;^7R_=YlZr~{x0Vfpp!*eUFY!6(nU+S(yN|he1e~7Y(lJI6d=ztr_i)G^B3QdQ!#e`CY3YX}0?*WI=sJI0LfLG+9gl}VcAPH;> zuL}()a>}{Rg~p^360~Oqt~75EL-y;Pli65nTs^t&rcL&`Xin;@_(yR)d0vyOUmT2J z1pUu+1DOXDQQv<`^!BHaTsvz}S|x43ISfGMllyS=C!+jNjBHwvS(s>zDQ6v)kVmPQ zJUr!Kf?owHZ1^vB!vY(Q{%R@#mFx&nL%_u>dy64airRm0$Bbf59RJ(}5-bUy0Y>vW zoz?B^>hswat^Op$B}QUs%1|#iTCnsxlMKpxwPt)*pO4%8&ay&6`y}emaB4deB378{ zX3iSXvl8j*GKj%)uOBJ))XZNjLo^DAuf~Hq-=C@kT;w%?e%t#1EV<=OP(AC*%S^26 z#p*m83WyKW+e!aE-PvWr4&H@6Q(AuD?wyITS;B%=tM#^klVY|`CS5j!tW?>}(8Z$a z{es7zi80H`xqYnH>&0s|UM8CBPvsN!^Pla;-@HR7ROoGKx34#85)`#pRJvyw9``2J z0b&D_#O1ZFl}@(K@|J##Od^}D?1`TF%>c0>kWNOsdiXK1Wx$JUEq$vMs0@+En*b*Z z$i^hR@*3Fb7p1jVP6)Zla2JL5SR2-3Uvlmeh%&i|J8GV`PT1aZemor<2ga2A@d>cq zY;f(myOrh8v|sF)_pm}cFDr>9l|Y-LDQ?&jM@$L<@84@Lb)(D6FQ#6Y8^6Z@=iZv_ z_na~~N7pfd6Zq9`7@o<47R$=^(RK5N?mC{`1VV_toCjYj@;vE8fR`s-(kIF>r2%n0 zNh*n_IZS61LAYyzc5jC+$VUzS>*LTxN=&st_De@guEVyqd82DY<+`GE}slq z@Ru27nFOp=I~YNUK{i9&2vzoueMmUzZ)Lc}8d*=R2jQ&1v4lM=$FQ~W_Z?=cvi(az z1P?xIYM9ePUDKP_5WZN78X-=!Y>n`_ft%x}sWV?{gu6uWT4S@U5?ZQ@d-`5D4VERv zv-r9q!Fdtx^|F;U6at?Z^8gQ#T1RIm5(Z8a0{K?BR(S!{IQl%`?zVfK0p0c3n<**x zOP4z#CKh@Y`vq?l`M&eT`S0RmIE7i`-BW&|I%4}5)X*ICC$it#D~v?tQKCA2B2r3y zq+-l$tWgny;gf_LWI$tHixa7TFBxhW-z?5dU!8`JlrinEcGsWIfe zCF*Eu2zkFIYp80fN#SYNckG&Q5JH#D|3G&f~rS9AoMI2)TfGT57#y~9{J z*?2hEI0YElWlY^&!Hyq0OFR8P7n$n zj{hy(LBYlI|F6$cuBD?w+>GsWUpZyWUsNUTT5M%q+5{J?7i<5MhDMbvJmsf##94i? zTutYj*Ba3ZHv(e%ZufVq`j&S?db7{WC|iL_RLBK+ih+t`D%3o3v4-_H0 z?Kl&LsCVD%W=t%xCj{MKXfSgTgv1#ldI&~bK6EoHp9e0GNtRvG_3*R4i~mJpulKsy z24GGVb(2%;Zi5)YKpp5P6xDdDm!u&`2m_wX{>GFK#3TWmV8@IN9~`LaQ18`}=8(6; z7FG@pB__fg{nhiu;`vZ5I8J$JXWe-z#&btWEwUsfq;DaHe$U2>?<|SCDGRxBq*Mg# z`l6p#^}fkEb=xRwlbrZ5fLF`;!>KuNTk6!r=rZpENvR@RVU7I*F4D&h@K{Vb}u z_FdR-nt7w%{yHz5EvP~Q0XT6e^mzv7bNNL{kC2~IYlX6clAb095GEYG!aBM!id%4n zSE0)&;wb0_jzzmWLUMsF?;9-o;LMCvr9tl3$3BP3l93}M-qFzmgVNra5{(3ZClF*8 z#!+4|lk7v)`(HKX@&yTuDg3H2C$>$2sJy4*Bh{%}60x#_P&zDveR-F?AgsosK08e1dhL{e!MvpM{o%`Y@IDu zOM0?8_JGKszFFY7)8S|5EB@rh585@64N;b?3q}z48i|g|rHuk@4`s^D&y)FSXyKo2 ztNZ;^vDWo~XKj;-5cHq4f>12>V>@?ex`3igiqUbYYc@1%mYCG8a|ntgQ$N<<_?v)w zE>L=Grcpj=^kG8CTX7l1I8jMt_R&VVnMOWHxMREBBu-Yd89VDw(QIP--Tb z(QjyYIS?#db}4^(^!1|($6@9mDo5lcr}!%|H|)?4uoMX(bTSF3_!l6-yU}oJhtZzr ze`3s(chV=!<;n`}+d2%p#$~T8W-_vpG%9}dDu)@`!ZHcZv>rv(+nV%co>2uc3?9jYv`5sE23O36| zTWp%zYMCjqq!Sr;AanDN4XZ+rFrA7?L2UtWw}yG`_7Kz(!V=R|p($T@wWKY`u?^>0 zlsK93OIn$I_L>?eR3BC^gIBk!hlTIw{;Itni+~lPS&9Bg$m!p)+T95fI;Ch?BXZ9cZpMa_TZr_k`g)^y>8Nt1eAI{kR zO?Nr$f&KUXbm>h=z~%TEj$VisNfce9s>Iv4>7HXTO-*<7iQ{)2`Ju1aGWfCgHPM1s z`p9YG=~Vn-c-sl1cQ{kw{*9?vF7squ-V*vqjyLn1ECX6^Eb zvV6UOY0|sYZU*3XZWL0@q&@vG>-HtjeD~FHJ`00x&Mh@7#o*qq`uc6>@qGRFzw`EG zAq{vyQ2R+rRf=(v!ED2oczd}POegL4s@0U+BcXA6`}12m_L1&e^u*~Mth1E9#dy}5qeMXb%oj`if~{+i)YN;SPP|zP zp*nYijg3O?v@-73wvH;1yWieugQ4n?yPA;_1?fY`uL?m5P?oGTsyJqM`hPJ7shN)b zbeSIQzHe7MKu;?@BB#YGZS0*&hxq5nJpEz5(=y<@^_#s|FIMxEzItXFJ^ljU>^Dq{rM0E`wdZNARd6F>hzm0edF7 z5Pgxi<^fkmp9^%A<&d?9RWFF-soKo&_wBfmAgS;0C-#dEZB~XWe=s|Mg1*mh@zv!= zzYxl)xAZiNLl)Meec*XI@s~{mn^<-10mlJ@tkcpxO&#c{)2J95GmQidt&SQ_Ye44)*O$JCLSR>Pv7a* z$6jr1>~g5N`EG776YtDUtyP_MuV1-&N%!&idMFHfskc{`d?KHAqVEpTRLW3SE1K#n zCu&;TZ_%)OYOpI(cUHl)Jd~GNGjv*Gc0C9?_goSeTc0{3XgR~oe|q(_7JF@nsGR9y z%G_Ex-Inrog+V=!3Ux)BEoZe}U>Y00+=Lx_9+?@7^0Mxi-0qiXv|8#kc4paC;6V!} z$3MDadv~Nw-?x7Gn!SdrAQ5|Z97e%{R9WK@!!#_r-c&4 znAg@ApbzBz`y`d3rd=(zVX^{h7u#@M;i(lP_gsQ?=V>BUWgbaOzYo_vU1EJwUrju1 zIP7&u+iyH%c1*)>2+*(Rv75f%1F+go5ANg1q~Y^u5fsh?Ck%?)+_C=-IKYv6z4?tA zRR*Uyc&!a9W%$aK>+PIu=eKL@lqz>*B!JILwtj$+FU^!AT{M$4k=}&oi97oKFFE#q zmvQ^A^iWgT)C`4P%Fe{pjY5Zm0wAD=!meWJVfx-eVb`G0;iTZE;C$~>27@6Kfd80F zDgOs<2BrY~Ct?5335Y`Hs{lVQmjK6iZVp~Pelal~5T6Jy|N9=mB__hfBQC-Xr1*bB z-bax&wKIQD=sEeh|BKu5|DhR2Iwc_Q4}&YV})2~3Chr^6jlnY z9~0BlERFipaN8bwym;iHx*)%v>v4C=U4lvdxfd?;ht*`~o54NsFS*|pj?Vx2X`CR2 Yju5x^MGT4nHxIu63N5Xef;h_m04g*?kN^Mx literal 0 HcmV?d00001 diff --git a/merkzettel.tex b/merkzettel.tex new file mode 100644 index 0000000..57c79c1 --- /dev/null +++ b/merkzettel.tex @@ -0,0 +1,64 @@ +\documentclass[11pt,a4paper]{scrartcl} +\usepackage[a4paper,left=1.5cm,right=3.0cm,top=2.5cm,bottom=2.5cm]{geometry} +\usepackage[ngerman]{babel} +\usepackage{amssymb} +\usepackage{amsthm} +\usepackage{mathrsfs} +\usepackage{scrextend} +\usepackage[utf8]{inputenc} +\usepackage{amsmath} +\usepackage{enumitem} +\usepackage{tikz-qtree} +\usepackage{mathtools} +\usepackage{latexsym} +\usepackage{algorithmicx} +\usepackage{csquotes} +\usepackage{pdfpages} +\usepackage{pgfplots} +\usepackage{hyperref} +\usepackage{tikz} +\usetikzlibrary{positioning} +\usetikzlibrary{arrows.meta} + +\newcommand{\siehe}[1]{\marginpar{\footnotesize \textit{#1}}} +\newcommand{\app}{\ensuremath{\rightarrow_a}} +\newcommand{\norm}{\ensuremath{\rightarrow_n}} + +\theoremstyle{definition} +\newtheorem{definition}{Definition}[section] + +\title{Merkzettel für \enquote{Theorie der Programmierung}} +\author{Marco Ammon} +\date{\today} + +\begin{document} +\maketitle +\section*{Termersetzungssysteme} +\subsection*{Terminierung} +\subsubsection*{Polynomordnungen} +\subsection*{Konfluenz} +\subsection*{Critical Pairs} + +\section*{$\lambda$-Kalkül} +\subsection*{Ungetypt} +\subsubsection*{Rekursion} +\subsubsection*{Auswertungsstrategien} +\begin{itemize} + \item applikativ (\textit{leftmost-innermost}) \app + \begin{itemize} + \item $\lambda x.t \app \lambda x.t'$, wenn $t \app t'$ + \item $ts \app t's$, wenn $t \app t'$ + \item $ts \app ts'$, wenn $s\app s'$ und $t$ normal ist + \item $(\lambda x.t)s \app t\lbrack s/x\rbrack$, wenn $t$ und $s$ normal sind + \end{itemize} + \item normal (\textit{leftmost-outermost}) \norm + \begin{itemize} + \item $(\lambda x.t) s \norm t\lbrack s/x\rbrack$ + \item $\lambda x.t \norm \lambda x.t'$, wenn $t\norm t'$ + \item $ts \norm t's$m wenn $t\norm t'$ und $t$ keine $\lambda$-Abstraktion ist + \item $ts \norm ts'$, wenn $s\norm s'$ und $t$ normal und keine $\lambda$-Abstraktion ist + \end{itemize} +\end{itemize} +\subsection*{Getypt} + +\end{document} \ No newline at end of file