From 6c75936b1872a110a86843b2ec0c25abed3f45f1 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Mon, 29 Sep 2025 13:17:17 +0200 Subject: [PATCH] [Code] Add mathescape option to code blocks --- docs/docs.pdf | Bin 324896 -> 324908 bytes extra/minted.tex | 1 + 2 files changed, 1 insertion(+) diff --git a/docs/docs.pdf b/docs/docs.pdf index 9a0431d2d551ec1cdfdcfc665c86f4e6dd5f2e9f..8c3ed21ce2760502d793b0e0ae94683b894a7596 100644 GIT binary patch delta 21776 zcmV)IK)k=8>JzN$6R-gb0-Rox0}F8k5fAg7vv>jME9176xzlhFecw;BWiV+R4kmwpQY8v~P&Ad}Gp z6PK?G0YZOEbDJ;_zVj<|gqa{qNIZ1xBW)*>OD8_GljJ}^wwVBO0XI#5eOFrfIrz|% z*1O+6zE5J!$eJ+nHTbv;7GIKrD5|m~Bg++$ie@Y$xsp`nDOuL!G5l%BEzcey)o!=(rB07<%?Up#p2F>i9n)vv}^su zxa^yLy-#)hIo#rLfX71#j0$-g3|Br!@H6)~4Yuq|MqH?HJwp`xbY(RdoaTw8%=oE+ z=y7Z_ZS-&hw#>t3g}!$i-|JEi2Q9$+7A1fA(RBvwwXV^cjC(VnHs@5O{%KVfyea!N zBnwuA)25uzYI;0P>X-t zz`UNxm!W))3w&?a8NlXPG=0_XYE38oXPyRBILHY$$_bfGKW>3Khdzzz(T68&1A|xZ zoQ^j*YkxM=jjsU7D>M)9!UD>6H0X9$gs*SfC(jqH%28vaZpH~n*`eq`mYgb)Tztcr z)?fDYf}ndeoj$7Q;@d&TFT1Ao165U~xALt0a$61V0_}v?WfyM9#Z|pmriG2+rax@A zxn(ICWw5>fV^?1NlSxh#deGZRcUJTlztWLgqWr}rEJ>ZTGE)>BNfEtoz<;>;r`MCw0~5D59sz0w9`Q5hVn&#>fAI(f zO-Zckzj$=(2$JgE=>HceGXn*a(E}5=(j)<;1|mz|*crgdC^A1i2nlE2MEai|63h42 z%~K7W3lsPc9gwGTlhFecx2!7xE)D_im)ki39s~S8f|Jn$6SogK0kjMvyD#E10y*U> zJfKi&8P2e!f9jO6sQ4zTG25*e{|76OL?x5a0~5FSMgfNi0sohPPXQbQS;o(k(E}5= zvQGi)2?61ko>>7K19b41x4c;a#|k3%=kU!EoN`rvX^7O4sPd&DOoo9k!Z2nVQvi?r zzvYJZ9Ji%p0V)mw=9kcN0UQIDJ=eGIasea-9SOq$BTTx;2_>Mk_8%mv@`6vj7}fhX z_z#e){9TjL0~5DHcmWp;0cMw5g#jG{%=59gdxZg82p&yz2jbdpK(hOxZw32TZYO5M zb4G*dNP@osdm0w3hxCmBxActyOOX&Z3NK7$ZfA68G9WQCFf%fjF(3jI1u---H87L0 z1}B$~9|H-0ySoG!+}#Q85ZnR;hrtpP8K#c4kT)74J&6` z;6F4HwH6TUWMvN$_`^X03^aCr&Gw7h3>3CxD$tfSp%>jSaxT#>W3Y zj`m;yfTXdjl^H;h1t4z^0y-g4OV~SjfUPVnonMdnpRWKqQ+fb9KR++iU*P~TJ0RG~ z)EER%GPx{I(z(A3OYecXJ-ciR#rDRHx^?%Cl-6Kg)lu6z|G3p z5}*cubOM51fo6c;f&og#cEG=tu^>?cG%T&0{^r%~&7Iwh!9c((VQXay1UbD%xPZ)n zV8H9)0ChP9fU*M+^tZFZ-wsTGe|iI8XJP+Ox__d7C$a+l6>My3YH#OY4Dzr7Spdwf zY=Hn}X$2N%cV{MmG05zfp3bt}^ zc4Bd|vi&WQ^>>=rE=z&TB<$_%fFNflq~G;PT7iM4uWk2W{rhHZK=y7RuYZ8K70Ar| zw+J&A2Ubmxm7@z#PVyg@R|@H0&I0HR;AUfEJMU-!T6msLVuQ$s_Q@o&Zdv5AY@ zy92zKIk^DL9Ng>xem*_`FE<;&=fAUms2E%QQw7_

iN|djS96#lCjwe+qW}=l<#b z*$sNYf9F!Ne;ryNfbQQJ*JI;mGktwy|9_tJze4{12K;xH|J#iJ?}DUVY;FHC)BR=t z|Co*KtZY60ad@3s7w6acSG0fK0?_|8$y{$4U$D-ck{-pT6sQw6}x&c^n?Y_FSTYV-Q!aC)7{zf8c_ z#rf|er9h_kX1_O#gPR9n3EEL70rO|f6Xv}l?7z){2BsymFEL6 zw+AErzENHd0ITe8>TkpaV3q%W58~qlu&V!yUTqrxB7Oj?&VLX;FM!qfU&IGsHTf64 zdYb+RalhJ3?QLJ>{tv^&^_#J?`#1h~A6U))fb0NP;2-d{Wb=RFZ)Ejve$L;}^-uR# z#^Mk7dYt9IhjYIo4+l#i=ns!q&gu{NTCwdP@Kui8zmWa4)PG~SU;6-mdcC(l?60-k z{{dgCb@=!6*IXyoc`RgZ zS9PzJ=NnBd?9KSp|8>P`_dK2$?>!_Ml_H z4e2gy;Kw#jg=WQzSZ#G4UlwK&qAYxD%zX<~=;pW!p3L`60m(J2&`tTUm}k0>g3I^S zy_e(Nm#6xFh0JV%EEN{&;^-(!wn^B!Im&Sgr_=c{+{6a_O?^1e0;TWT8DPDCN+SgX zy?FJ71C~PlD(0k^)(LZdId($f3wK$w8Kk-&r8KAxJkx6T9iI3e28VZA5u%K|CG^l8 zQMq<*h1o8E!V`X}Us!S2CuR3n*Q$f`i5(Is=~=6PFupWnv+SSu^7R$8gPY}WI~mJO zc?iJ`w%{K82py0zdj{aAgB5y0cx<>=SnE~K8QJd1yV)pQc3Sl`>-8L!@=Wa^DI@}#reio65IpU$h`jG&lT?MaXSSq7@gb zCOIsyl@FF#aDp}Zc@qg9KDkXK`qGQEK^IFPtmma@nc(mmY}sVylwZrgtujSLQtC-! zxI|rymU+`tQnaz?otZGxM;fMC^kO<*vtDq3Hd1Cg}) zbK@9j+PKag7QkEX(T|(lKxopuSOZJ+OdHX2b;GfkT`~z<0|U4*pQTUCj{KtSlk32j zHAK<+j^`5iycX{WH^m5WqA3plx(Y7cPL7}rUk7~c+vEz~Az9YM!WOQ7RJA2pf)4KP z>S;f?xn0d>+<7MHH{Rn6D}hl#(AZTG#$>w=;b;VbO6n-zKakT@!(zw1*&U$r^`5=8 zqlOaJ=$f#p+eA17y9C$ih$@02T3o)pH=-6HLRaM@xpI@?v>@?&e%py`Rt(p=VmoS& zI8M~Y@r077xp{f*(!;ZVl_oJ4Nli4Mqj62Eb`>>5WIY9uYd^{Clt)4f5=V&~8>Xt%F`liH#YGg0_qAZdlT%G1 zycAq}3zz!K)m!j{2YyCoaYxiS+EF_sN_cZ5)g{8%X*LxI(Ot{9ebYEqhvvTHK^UUAOCvV1R$651O! zeUT-s`Z<)QjW}h0$h~IwXspc>l!o>>EW}2ltj^r=J@aDnQy`CHxIH{Wngb)tjfJ(X zZXTG_(wR8+n+T@>N3rwb`Jx96v2;4Qo8XNj*(usdU57M_;xw8ULHXv}3^6v)gGoY- zh-*K#j?yNHnmnrG%wKVW$R1cfC>_vmC+eVoK}3O9)^#izJITlp*P#Rl zG?kd4e7iHbp7jISGWKEoJ!3Nz2Kd$Yergy+*zTd;y5t4}=-qBo#`EU&Q$I&qtn6O0 zqPe(;Sxst`UXE#r(r=*OE%$Qnc43}h9M=0+DqBv-iw&h`GZ*uuAlikhz;o>?`H_ds2n6R zGX{@HFc`<^S`}juXFHcverZJ}C_Chj4mq1j7`4ylZLwv>^f&m`@Nrk^h|vwu9wvmb z%V!|dqY%|%Crt~Df<&YoVq!Lp9We_c^lI;af6&r@HRM_(>GpZ2lV8i&Y&IusV7jIi z$uo$>CZ#**%ryLjgH1?ZWpx7$^aUuBHC9jOa)U5Sh^_d|;zu)-gl(q8DbWjk#)VJuT@ez?=$>uYAWScqLpHTz&6>~e&ZFKi z(aicU9TJn(=@AW9$F1yqFJM;?udAHEqLklhfNVbNxqR+BZzXZS$7jPG2jD<_(+-x$ z!i;~%tE(VMVO*GeWxglJUiL<0#@e}mk9LGlfR!#vE=MLmcL^R2VzikjVhDyXG!0cS zkTJiZ9DD<~%W}_Iu=f8d6xQTh+rj^N*RxNqn;fQO@DmslD5LaQTggEzJcSER(@Edt ztwlT}X*9Efz<$&%D{j?N&6oqW@j?m$y1@2#cK7?Cq>JGlqj)&2p5${HDJiIbTz`>I zrWgchb9Xo>63eMW>AbuR%tk|tR4}#GimvPMKS+Myc{c{rIQ2(;L#g4>ChxbP1er~Q zen@n~+zIjr(FK_;#-!TM*puCs8U`OH*>j+63$AulAVP)JzZpXPf(}I*>aG|k_t^lc z>#F(#m6@c*58XM8dz7g@>;9I1jetZeZ)KK!DSkH-b*Ofy0daWGxXrnY;U@Ct3=WGk zsG_+?9G)_ajpcC@cvEm1S=+^O{CgsHG+!}_b&z(!*g1PMWCvF;DBk}a$roh_W;`Xa z@=YOrd<$-&llKPh<70HN?*2{vFH1R6zNB?umYn(UF?^JAujb@pBu9gPk`mIwKUZcH zlYJ)lk0Tg?T7&hY(D#A-B#rZVpeKG&N&}l?*iOw#5V52e%xR3rHgq&VPHMiDFmwRh z5uu(%^B&hri+B#A25#B#1+@ZgqrbG7H8uUcDUv_xE_>nvcdkb~Un4OqO8Xp~R{M5s z>D6LsTi=C$KsE-0fwT{Q5gDZjiVE>wOsgL=+~euT6e7F6kJe{NSqTWzu5Yvk0c7Ft z&K6iO;Pq&A3T_5tu5<$;a4^iLocdqOdS+OcMgqMX&`| zo<~h4^=7nbWh~Tx)oyL45uf_{zON&$uQc`j0lr8Doozv|^E^%WA?BZ`#)t4SXK-L(CM!U0UgX+|q^zXaKV^@(k#wGu`UZ zY~DBr67GZcpNp-OqWs>8Dv72=9pR+in%DO4tlkH5tko6uTFrs;c_(2*sNWP|yGKlp za~1POp74EbISKNs4;?Pxw)r?K@Z6Ox>E=LD`PTZpP7LOu8u6Qvx|-f69T>EFmMJ%- z4g4pG`gogvT@UQak83Wnl!tVDXcJ1jjR05lbyhiiQe=y_2Z?No=0si#3BRN{Ne~mG z1J&JRK@L8W^=v2b4@XxX*E`1MMS*^0Sz??bQa3RyY8biVXprl$yZ))LrW2ap$`@sf zZJH!hP2fqP#nAA$8e&k~Q`0`T(O7aJ)5a$2%$Wgy_${{x5&!7I8M?4)meRb8t`&S> z)%tB#yhUn=gOFFqv?2O%I@^rwxG>$xDr)y}0mW zru#KZ27;+sYTV zJF=92OpTMt_vG`?d-BwPPByZIzyHDuU z35Z@dwlxNWf8$%kF8{5foFRI??sK`qhxC?z{%9u#Q;TcSg^zYN=B{NDe5<2F*g+wv zsQelZx}vcLn1N%1(4|3nR=f@^l^mav15_0%8+jXw9C}b&@XSQ_>DBbVyjY4XeXt95 z5TQJFFHB`)f^pjuvG;7e$ZT0bklS)m5|>4%J%(&Ni@_hzdS8JXMXt>=1I*CwxMcNz z^>MoM7|+f)p-8TDwIL>2-7RVm$;CJ$fNhC zS?{q^45ucB+0GmL44rAze_l0&ZJZ}SI zsu5jPw&<~CY9F_ERS2lj8_e~oW0jqM{e5HGcDD&^%{#?x;J5Ozgh%FbgEyPWd_IYW z8BVk`Y`?&kU%tno*)OAqrM&+(?^l-*HTR1#AD?O@j$_ZtFuhzn+tU^1)aZ@A#Nm*> zDdT~k|728qP!lXe;OKpG&8{LbTU%$yZT`I8`0z8F{UF)$Wz3~ryB1P8Q?bT>ht5m5 z!o@k`pi|lbaLiKoV#_xn#yploXT#A0v zdMYRsGISJcC<9v+_fOZ&A)CjrBRyYmlBX~rJcD80MCGP3QY7y95x3$jwFXvbZOKNY zCtNQPHb=9|Eal$Hx<_p3pm!c>G>lJGjzBuaG50yBN5NHok!Wmx$a54x3V`P4cL$on z>8nk9c}mnnhqjA&D7UN6vFtH!XiyqG8c{3&{1FFj;cc09X z05_`8n+)sh-M%pQR3r;G-Mh^P+-YG(_>e$Gt`3h`(K6gM*zB0^;P#U^J zvw?6ojmS=a(JGwz!e1rZ>&REfF;X;v$$4Jz?c!qIcQ*5?AdtmhJp+z$7+;hIy(=PK zuYXd%C)?zI{dzumfzn#B!y>M6-%qv#^Vm+?*i}%+G?J8LG)j{L{DA~m;JogV1ao)h zSQP_CsBi}&{s3odEc<;kF*F{Z7iqkmgyura+ZI*lXX5Sb4>b|G>lIj-)`J;M-a62# zTx7$05`wt8z=?&Q`1U)y50b&o0cu$~eA7ppr7w+tYTI>MBr<{L#D)angluDu+dqj+ zO0MydU5R5R_X%Vp@$(44!(A2|;#wb;L)B##?2) zePXbGkH~W;FhNFk>SDtxV^=ZR0#&JL6#)py$bxxwx5rTPPok1XaNR_nxvHbuOjgeew1zSgWkBJS=4^h%oE+KWVjMve^#UzFb>4t-1&ygrwc zB5`d#$b`yrDq>+IlQJ+CL>~3EqA-VlwAtZu_*x)q@k2uANbU0>I_a7KRS@i599+{o z>Ghu0l-y;6QG!7&Dwy%2KB#?XIrhyY2G#fQhPa4<;=h(sSSLFCKoV1#Btari4GlAW zS$S7$3wlh*+}bKbgLaMjV;uzp4)Ey>8DriYMM;4lBA1;&!4g7J+^WfKlUW{r#=)Hf z+FH@=bG}|qHx=x?Sx~=3N{Ae;31V!0F{^)ZIBk=V7vQe>lu=>u>V33SqSsfK5J>$T zL-aM=qA+?nweE+OVaVqAxV!R?;5uj1VFONLO)cLoPD#KI;iXC?p*ZjqUO~r)m10Ti z{zmGlk&rAQbi|re2gq|C2{$Hx2ormB*n53#xzBEcrrDq6(}&{W!OShu>unyFxaadR z?4~Gft&$aa6F3V}8Qwf}d^=4OnXxPJJ3mA@h56M)O?RR(Yxio}Uh{AMWH} ziXtyX&!;MrfQVrU$ucbMe1lmF1pyKz(NG8a40Im6joc_!&VPiPWLv zAhVaj-6p*|f6MxRks%X&7V$E5e@yGWGQD8y?ISqrYa5#;^gbS2v@#(aOiY>YJPwIm zD~k>$nMuZ!@m_K7c~dSEgfb2=A4nkw1@Pd=;y!Bc_N$=DBLaZY_Sdel4TSmqwZ#h+ zUhQ-hVhV>aKbI6S#Jf@JLfVv(@q6HRXU+)xD4HlOyzPa5zGy5+5y$Aro-I}Rl84uo zV0Au9osz=O;xIBXNRBFdFSAjUISM#NxT~oa?uE(A?Q`LwI_ic`G`G-qdQm)T{^Yd% zmV}J>oa~Q0ZFpf#BLzG3@@6UZ$&6^PBKH2^1*gotOQQ7l1>s14kXyML@0x`rGpb+C z%YC?+AI=_s5vywLtwaD09$qL+o7mfAsR0R*0FITs))fpIC9^6(+K&qfYy;qTk{5d1 z6Afw5MOMh(JScO1U6s^&fNZXBpybMh_yxHyzLmy$x0gwbP)+tqsWSPVBKcA;Fb_)< zC$vsl6u0fXa}sA!IRi3R=G@1?PK7m|G0z^=Ui1flZu%0FlkM9Cu7X~5m5e9FA-e?A zi<=yRqU|*(oi@#os2Ed{Ar`rDwf2Rrn)528wIWc0F6_myglyw1hzhl({Bx$v4c85u zJgkI?*22de)b2ioVFV$U=bBn^cmKm=BwThua9V!B(*bI=*&9)#N7h~f>T6b41(JF( z)}QWw^zJgJ7G9zZgYu7T`r1X~xG@K}=EKb7T6odr-Aj-JDF`%*ZRYJidGf;5?`TJ5 zaY1fS^9fpL-;of2%bZ+s@6!3IXu6f3IG9 zu0>Uz%HI)&Ua+xMA2mD=q>^unWOh(z!p>5Ei5a;*$a*n_Q}CcXpC_;y^j2i%=(ha< z=YTUS5wN3dg?Ioz@B&CIC+0>TtYNc|4sBdwtZF28+SyaL#qS6tYVoQ0=CkTE(0p|u z=Y}Gk=~`}@&y9S3{*$-ZyqDNk8h+@~|ej*4HWAd4Q z_7@Hii+eKNlxD@a)Dwn2yhBC0md!>e@5w(l(Lgrod)N%i63hFxrot8zcd<(t+g`$* zNr~%t+eJD=yA*3vYmGoD+?Y>Dgd>L;G$|-ethj=a(bHAsm({9;9JSOa;Yd)!b2cY+ zbWY9`D>|wW!DtXgAL)`$5yg8dQk2Pm(_Up~><=K8_{ zlJ}?FKUTE3)-^k!QmsZeTb>QfwUyQyN|#KYc(%Flj6)*~2>8JZ7Q?L)g=}Z~#HX#8 zupVHOO)+OLBahD~$eGj~FT4|0(9Bq^Yh>}j=S5sKCkp-AMCeI$1gg%t)L?;sYp3NN zBHpP|h~Jd>-jzPE0~Rh@WPFMB8IAwkTXqj8WsgpPT{7^)%30ARO^qcg;gVU!t9)h4 z6Xi|whV1^#0SSfwk59R3V6UDZlt^iQrdVyfz7j^!aP0ihpHPJW)7yykg}10{MnuGr zgeG9|Gf{!I7?AJ}bYF(^6Rm82?Mi6?>T0(Y!rN!%1wlK^P6TO)+)WL>+afGE)o>ac z2Z1Su^5mSZxulM^Z*vQByxgbeJ|4%WP$E8;83Z^mEjf1ZDNAtbTsW&KQ@B)cBl*4& z)5n|=Z%B<44jwj)Vw7_Vy1Jg5r|ytRl1Mk|gZw9aZ}B{5;!l=}v^Jc7WVnpxX>F>( zpR3vs+Qfh0V{VFjW*7%^jw_n;)i*~GVyZHl=ppgx(W=C`F2>UeKXD#TLEKVFgb02T z`qEv9M4NUZ^Fn3ZZUH4KJ*$x#LcxM?xH=fDdd|wsi5EY1&$wc4_HotvXCt-(EXOyL z6Ah?g<+j8^-C{EO&5NpqCI0e1MNAhjT^jHkL&jEPU{RBF$F*S{h- zDIzG6pOhzlDeaL%p|RFA{*p4~cKUF=>Fw*FmA?AmX7QCh?U&boN7QeYQ=Ezj7TuEt z;#?jTT($IE{-G*sI1q2cV8*K^DJQ>_S7`Azo?uiT$2TC`zKDMv+fOYj=YTX;9cENZ zi*gW1s7K?@VZx*;xnma{XNXWN37NCR7?z3m?WuTfFt&JbdMk04(bUw6eFf1!S&_Z8 zIk&(+Vn#JiNbBBzx%94ucv+}7DCfZhvH7-bl3J`OCwcf)TaEb=l$g zvU^qhuVCji|vc>vWLe)RBbm!_Os>O(lx4Q6{%^E9&wsFW-=oaw-)*c&BcI}ibXFONca`#kE-?o48*JN!(= zIkr#e)K#0?N2L-Hr;W#{Cq!=DR|xoBtko=*g}_QD&6I)gPUlfg<0~AyRpy0F`9qU% zx+{!Fz1v0Eocy$xZPnBGwooZ==S^ZH+KuDfYxn?-iTMOfs3&o!_KCv#G!0vy21x#4 zqYovO+HpdE?K|HHw7m>8#0hA-u9znodYYMI&_f!z!9otz{W0Uz^4>JZno4cR!;^` ztP4Ebv_k(ZD;Iy~g(Xl*;n%Z&lAnILT+DKcY0 zf@hIA7MHD$$!Xb?CW{rdo@Pc>B_;w@mez=Iii8f-rDWI+17_=$tY`IGyCI3$@45xV z9#N{?RUkzg)ma+bpXz3=ik4K0$Kyo9)^8PmV&?+bafAY|}0} zV^+e&WZq`F+nOBJaus&xJZxj1G*B)g(qErs{%i*6l5Df2Wi2X@Z5@l6xUk5sTZIZ58HguPg6ctu<+4mn{fuYEjzllcm{g9uK zK4?ZUh+;8-g4ul2-2qOra@FfwYMVj!6XfxElD|Ld|4}>IG2yhpJBq=~JZIA8^5GAf zyb^xx(4OH{OrXF41><89_i+*U^LUXFG<0H;(-YlijWML;`8QpBdDiG9>~$Sj-__DQ zXJkCxng6d2LsARq1Y6nvSVp>R(c_<)_=1a&5{q&((M?IW z?d0QkzHx&JBb7$wHm6af6!oQ|(F{>u z+a;J^G3|)oNI6}l1Uj84nXb^0-_&a+?|<&+;F|=RVv4VTJj~qQ4dGz7#-yZe(B$Zs zx3ehxN(Bh!lFmSXVPytnFGXg4;MZP0MuJoT&DVbZQz$8Y%>Wrn){V|?Mb=4 zFpPL;Ju;LfWV0A_ExweN!2dR4#9r*S1s^3R6cbCcWkh$2l+r`I_LK1rIqj}Hih%@4 zrDfGmzM7AARw9feSX>Sb zjsqsV-NS9hr4+~}dQfzC{2rq^G`sEbB7b}rxI@f_PfT-0*tre`h}OLfO}sn69$Lx` zXh`@rOf=cE%L(cVp}G-ny4i)%VFl)>z|ekW^U#p#>bhh~0`kdBs&bM~`xI_-Iul9k zh2e$LoqAt?!K@3}^B$@EbX)=7kyn0S)#Vh|RuY2OY^8PzEMcI99jqf=e_ln``(R3S zM#;T&7|Ayk@ZlIH4KfDow=T+U;dagRplx_b$ zLP(5lFNe3Io;PXCn_{#njBhGzV{gF#ugPVMR=fFm0pg1CnJ*%dyZvlnTIr_2t;5TE zvsMUyuD+VvxD@>#gJ!m{Fu6YTG;%+}`u<@rDRtKE`n8ad zz9koQ5hu?Srd+ifIf+@%7PR#8Y-`dEFCr}unpQj4iREReet==)ZX08D%cXBc0&&rQ zjGH=fIx@$#qt%a&$^dtR@r&?%A& zTCOX$g7N)&;?GClH#}hI8-i2M}|t%*>%AG}Wt`9%px{IwY^n6OTTSQcMs; zvDM`XE=##3#T{$z#@4%9-))5U>)3S2@9jxnuJkSvX$< z!^RgY#jUmxHMO05>b!03JQdY{(nd6M5>_L=RCap0nAhFq`I0{|dOzUUPR>ah9AoXa zVO+ID@4VB13BKl@M2NLn|7Ia063bKoPa@{Ot|(yko+sn|8L9Z%G^#DJ3MBTzs)2U- zRS6Llwa-U}`JtX7qwi;KcDZQ&L!pd#*Ul+kdb@lmji_SeP9#raVG zYtreA9$w0x>&ESeF0^W=A>nb@C279L_w;}(oR zcX9hgvQQy?d5PPBti47hMsV*7Ic?r3h4HH~IrkNR-*ua$@^JOCR`tb=6oROeG|YpW z!!ASfqXVqjqqBAfg$^ARMn6ko5>xTI-*a2U`O`DgaAD^+@8^$y2a{zJmp!GH!OrTu zh!i}gM@j~1z6X$JjD)={->L95zHIV1mAaHznJOTY^RKo*ksz zHi|+lFI2hR1sFmXjMEgc4+n(3kddJ1Dt*okiLP_KbZVHoAN}am{Yk>C zPIn@tQL>eGz(3i4ggdZ$0+%l#qTv!N>A;{|X`1l=5ojK@w( zVjAp$c9X=^qUENL#Nyz~LIrh%1Ujs-GZ!Pbb|Ck>yw$c3BuG;!i~O!88H+= z5qSwO1d1iB`YF2q!8+rqcu_z6ZIFT zr#t?l9}Sv+c>mGe5-FzIs`BvpduJu9gG$1P6mkzTp&Nc#P~~>br?_jhfq17LXmRSF z{JpsETA=VMN;}*iT^Qh@+3v5n_I7w_vdBj~9u;#*^@XxGsEN4WTD=d7-D=05FAEVP zA=h=?fvdk7dEiMh$z>BcK^4J1JzVq&IjZ^DKEJ4csY*(z6gz&uBpc-ICLVq*3KKrg zCl#^!LM$hK_8=efBggB47{3jF>$0{rj{$+T{z=c=ISe}QaU*+=l$@;gVQ91i%flwL zztT7zF6tORbj*KWN5rYD&Vo($T_|-qCmO09umg7-KaYu!H98%RW?pO+s`ON_8nIe; z?HBWZT;vXdH_H@riNYHPiYIt|np*4HgtqvpcUbVJj4(rWisY8lLr^DwX{YdqGMzM&vbM49w+l)UOt|eHT?t8< z>WV^r3tMbm`OX*5jTZ zr>#QCM@)_A1>tqKK9 zW3EPoUR2KCH^XrsdrcCx#KHVxx zyOuhy`3gJ!3S7?arY_6}6Ns%Qgb1IoqJ69vtSp z<4=?8zpHt3^DTI5dw3CfALn*0ED2+FYE4IAcj=_#nR6)nW=3)<#ZCj!?3{0ZJpV3V z>ledlyGz4m4)fOgQnB-#wBtT=TWiDtj~etr6^tVSD(lEMgV^Gaid)(=7>~(J0Vc}X zI14+L=&As~tWHJmmFRjse(vnUS8n%v3He}KxI&hXm6#mm1=8&B$7oMjT&7JA#E3dJ zI#dFZbS^kTz!Nt9Q8tRIRPb!^+7iADIGBwW8u71{d@Iup3&m26O$E-L# z#7a&@b151i=)%XOStsJk0(Iw?uZyF*6cs0_M_Sh+?l49mi=>LG(ia=%v`+_^)n+~O zElrS(pthB+&7k_9f&%IQ>8DJIvoSN=XHM9wN3OeM$uQb?<0#YgI_jbif)PFvyUn;> zBmW21;HlAvDOUrxDOUsre*rO*VFW0D?L1j?8#mJL`W5q-RLaDCedS7hvV7l>WLa64 zA82YMaYK^|NjXk_{q}(&=itbsvc;ySFb>Tg%*1ibR?iqLv7U5Hoyn$DMkqJ8ifE=uU1nkO0 z=onaLao$+y1c}3iatfbd+BtZ#Fzuz@Qx2xRbubLmJ|^hEbT9^<05}9d?*TXh!3uFj z?_g7aNfLkyErAPNXaz&Snlfh37#LOo7&I{96?TA782|!EGPuGRz=DX4fj^59F`+Oh z0t3{Vq;Vt_)**~lg-ucI8KB>P83#+P0dXn73ZnHg!4|-S4-#+yYeCzDSc?!58OSYK zhn-Z!WF_pQisXg36pmEFcNxVD~+ZyE&&qp-I=?+d?~!S_M65k1G;#h`V{<7 z4Z_mMkq6PEwxI`-E>Mu5CZJLy=RRt;r^#lL2fYIXC>kv*!X5z_1~@bu3)E{+k_tc! z%my?iqzY{*MCcib29=(hZ+`E5&PdqF>fEj|D9v0&C*MEVT4N&kP%Yg-fO|K`D zk9$A=d=sp7Y2ZL~b=X22%qFw>(baHNf?Lp%x5MSKoKL}7=<(5i*X5I=<#1Vo6XC#~ zcs!dfi~IKr@fgXBJPZ$k^uZ6-lG^z}p`(E^@)LvxRC@IkNIm=nZikx02OvvRLtX{O47P*3IMcEvOOxq zliBgC0B!zo1uPC!{1IhR)3G)+9Y@k}ly-nIr(+KdShk1Y!FHnBe-769fdq%y1{R!f zkldEA(hZ!{e}_$ionVN%gM|WmPr>Le=4xcuT;pBMm7U*Y_BNaCCOd^lRH&7mrZDiZ zAsnEC1c6aIMFy*-9w?n&p)nh`hUc$(hgpgcJQhVu<(k<_ExY)576+of%Vn`W82Z| zBG3@G0|m?TtplVF)`GPfFq*Ak;Sh^qJ6IFqAnENyW|SPjQNIklSOc{2&yNXki<01dl05 zrZqS{B+y`i&>|ii6pTX}37BEL@DSQSJ2Gf^VUP$3T8Oj|dXSX?V;)2wcs5Feq-_-x zBozhJ1_?F^e{>_D*OGYf8@bAypet8xZNy617;UViah;IAWNjv{Awym%fzywmH$!|= z>m0F3tBgX%Ag_lJ?(^(j+KiK0-lg6;h{(PgQ3fOx0tz#*hIJZX#fbU|N~28Sn5iHk z&qm%oY1kT+Z$wK>5hczrjF~ayT|kad%>i`YgW;%!K`NI`XFcTon*2ILUFN(ZH;9$s zp&B7L6ebiQ1B|>hPH;w&QVGV>tfTQ@JsBhR^EhGPzUNhpGp(?JN_|ArsSwm5x!gdp-+q4;Ht>wMyFgy}0#W6|2oOyP5tA!rq zDQbp*QHbG8Bzb6*0rKJV@m#~i{zL2Y4&-dCp}Ye_QkxR_ZEd8AxNEuArBdgAiAPXp zq_@>mmiKC`z6M8GbF86kIW@TuKCM<7%hqG6)!rjbmg2NUd4TIxX6klqQtRB5`R7&XQ9ugY#LXXjc&Jd>wQboi9 ze!~YbLkdR@j zOGiJIG)Y>ZEMYRqRV}T5OcEvL6R|Go1wkU6w7LAFe)O0Jvf!~mjFb`b#!B%)$y87q z?|Fr+Ktro4rq8FmaQ3eJ%4BjnKS;j?JPa6!x3FB69L83)}2Cr5S5h4Y|nS=!) zj}z`tt-#&Zy)}fP3pQ>u?)4m9SFCZ|rLCyJzf3m-2Af+RK`wnV6a|PsTNUraZ@3Svd_2?3P1lKrC&Wbs&m&2H+$_v&iI z(Y0!w@>D2j5ORl%Y zI|;{$c(7Ch(`cyXl~j=~U9HLE6>c;!7ggSop}D_?vh-|g5H$>|-pv$l(`Jk{%7_D_ zs0zdupPAP{`E=$JRvWszsSETgZ4IbWqsdzkF7ywHywnvxy(ImQ< z#LH|=riutQA_fg5`Po zOadHihU_Uc=2$}9rxx!jwV``~L|Ewts@BIhkr*Q122slp>p2rGUFWSa-KEVqYc1~N z4AsTd;&bGGyNVPk@bOy*lI~OZ?v7L%`8u24a8X#T@qJqiXdB3hl2mjv2%_cXv;ke1 zc%v%x3`4C_POg{neM!|~(SwdxsX>F&9j&#P#Z@8@`gbwle`u=)Nj z-`QzOZlJ%q_wU}-@ z3^T7Ey?^`eVBJ#jF+ zdRmSzF5xlyJ%QWc+&zVp&z8fT;T_Q zQzqs4l6!MP1Y3<~XJRfEVlnh4rJO&2VD)EfDU%nKu7%l?oj~C`uFSEvSjI# z*vl`ls4ILDeN*sy7r{Sy_4M(}S0wm<<7a*5uTwUEji;Hjw-x<8wE9Z;p;!2CL2R?l zhB$AsYIkAv+4FbDkDmgo2S*1zoGP0c#ZSIAY|N<^qh`&h>@l#QYb+Yow6E7-K_jq} zbFc)ofgXmJ;=0MQ--YGVlNZmAj)CQ8$H#pvD`45+-8`Hv$=6h?RD)xDT&Y%nYu&3_ zpL*FwmwGMUfD>T|+vql5N0Z@akP5m=-A86O#3rPPykwcfQOhIZE;2iMc6#{h3CQeK zuRj=FnTd_x2t{T~f4I?BP*fN5atHxIOv=Rq#PPMkq2DRkzBzsN;^7P8Fl=T}RmWXW z--*Addim=xvr_;&I5~N8fL?un*rzQkD{aYi7jEPh2Hrfo@sp0v^Xc(My!l*S4D%^+ zG`;|XKNiQA<#I?T%KIJ8_44=Y;biS9=imFB|D8{tvriKOs2&)m_h4E~hKtL-+(7(Q z&Sy!YEEh8Dhmr2!6S-?we_ft-ir0_+_4?__KJwHP%yg)tnbzOM zGQv&%|EYP5O|rvfWj6Q>J4Nj$Z(f|fcnEwR{d!ZLmOQwdzAC?tjYOKvGnB8gICWm!|BiXja&JQ{Z1Kxk2iQtz1G5i6Y@Am)`l-ZQ01&} zo1Ab}ujW(fx>G0xzgyDu=;7N(D753=M1wPFXTn`F>D#3lFF1!ri5a+7>&ov z@#L%&L-0ND#nEppo{b)f-QUXPY8d+2Ra*z%*=#Zaw=O$*31=cz=GrNJDV1eCZkLmk z3;J?Om5(&^%O~Z3_4Evw9nI!t&$UF@>1_FB|HX^b6IQzJPnGdqAB}H2xw|X9KkFE- z;==dRT&1_F)|zak4XU=XRu&txzOOBz$DIzkll{~EM+ZN>I(qP`_dX87lhv}&_{E;2 zYvIZIR(ML^uG1T5oHxya^{~mwZb!`Px9^|7{pslO;Vb-qcwdhJML4zbONz=uai2_B zGt)R^gx56Tp zJ58O-vo=ZL8zhAqNxDl?+MT4%2OJ>FF4?jWv2)U0ylc}Fwm;C!29>4T1fgc_)TZcLfx2!)9izrC zUhYhPQ9H43Q53so?Hd%i8bz*4(JcaXJL_#z)G=!xY81s<7&5*~&@JM0H+gN7Z0a9q4Upd8qSN^iN z=FnVd&gMSeW)JN$E}vgR#+kn+t~sqLbh^WT9_;V<*$94BGQUI57IIWaRaHZwK1!0H5^1yVsUMmIJ>F-A5xK}1F}FgY|uHZU_e zML9t?H#9~wG&DXSJV7uL`E_&IW$E!Ff%ztIYBo!G)6NtG(KGlFHB`_ zXLM*FF)%ealVJoXeNQ{ZjJR_qC!Gwg^$iS%47-Njl#7C?V2RhPaOvC|+14pLr?|1Tb{r}$Q zoW1v2Yu|ZO5xe3XJ*=JVuLp0dMwR zJU!L~HskHaf8))?X0QeC5j=fzD`>$Rz++X#R?vpG2T#jw2OW4rcdH@ z0G)U#UInrXbmJYxDI{U+B&rM6xIIhM~S2SAq_m&29ew>i2HE0M|p|_eP&6?7|lv!{AsgkFt zz00g}Ra1HxJq^wvDQ~Avz0a)X2Tj?<=rJOSf7OS4#v6O^rwGi8Qo3Q&4JY1a9@rcj+u>A9v%oAuw-z!9LeP+Wc-oCLFGV>OyWg*nya z+R-Vq8C{W1arrr*(>QB3e@_EiJ*DDWvm#2x7t9vF)f8&TDH^9#{Ib~-?`vR*XK4t( ze@>(-xn_35G`frzEV*9@Ld9xQ98q9M!OZc#LBxljL6G-CPoZbhS(f4?}V=z!&K{H$oq^4YVB#x4KhyrK!q-+!oR z(vtc&6-`-k^(RFKEqT65QEJJ}|5tFxk~iYto0*tOCCIl%(%!hZmx`0D9iMF zsUJxG1IStd>B&e>MtU;+RO+`;KZc!_{Mi~`|F9zb2eP{zUYGau1Rx1HGzujpMNdWw D$Q}H; delta 21820 zcmX7vb8O(x*S2fhZnw6#_HNCswY6=xpW3!<+qSW_ZQJepeSgm+^Usxg&N<2CPUhrf zD$me!&(Lc@;lT)W6Tso^A&^b)GaB6BX-|kg#(8js2W>9SZER< z)|pYd>9|eM2clEqGldwIJFsZu3Or!O7;DQ6!xx+RWb`2^~%_@A9akO}FT;iQ1sDT{QVK~Z7#hgQCNSeDrqspm6#ucxkJVGg?3$tvNusJ6V!;3CUm;@cjLA-M zjm=6x$jz@^6`3WakrYXjVSWw}&jKEE^G7AT{53T(B+Y3R&yWAPcJtrnv;sRM_?tGH zMjkkX3W*d9Zg2|(7jlnLIj`$BZ7V~n^DMJ3A_-MmZ+gI5Ukl@lS| z9Y>L3agEbJIw+9)o_(|6s3~@PB~8Z4{LRIbboR(u!@1@E-OSr$%0QDHngedO%2gq_ z?l=;?!s5|wf(0UhCfGx)ar#9bwg{TCc-Du1yIY&I=&vqPV8}hhJC@`lC%R9U-<6kh z1{jE--S`rFOJhs=><%3v1RZ1M^(Ll`21RkJO+yWGP#=pl565|!&5s&%`vXz(!6sK;j$;FK%!et6E(Jt&7`0hF*zlfvB1==u6(vz> z#plYpInRU-W^3EcuYM_NmkL`>#mv~s8O4fg!rUp7{K^CK-Hm|~O9%bJTUh|Xieu|x$Wcnr&h7%c$nbX8a*y7B;O=Rn!IK>pt zi(~%v;yrmWUT*Zs9ani!&2G}Qsp$Kgn|0HE(T~{HTK+uVSj)2U5OT@ULQheE(EJQs zj8_1xV__o59=xa1;a_`dJPy)ufIY0VB30F-6dc2ow1DUa*q_c;@*Cv2sQQqWJ|xf^ z7^1pv?Hg?-WfPR&Vc^oK$dY9Fp2amJd%r-xpttQeQ{n=^&|CJfK`EdJ7X{#pQo}t| zTG?TW&AQ!asGj>JQM+t=f!4N?rT;mIlL*uTis&uPk%dfVt;a3UznEP0QJ1gX8A9^W z=HVNj>K+{8f5Ly{phZxmO12jWJ4P63IYfbhY__DI^2lL_p65qpP}4!MAJBvfCHDUl zSJHtpB7r`otaF1Bfp-Y{{SPAZfHoqKt~2eifpH(w^5rU6;7->T0cVMIr7x7_EbCP` z-_UgOzsdh6eh~u=fdTzW@s$T90LK}g{vWKD2R(=V4`yrpXLq)nloa6(2=ta24bVn7 z()Z(=DYQ%n6~H`nA-?pk=!Z7aKbUk7~7aSnX!_vuraf6rLd5IVL-C5v$Am{)Im|D#1MnS0_fze=z4apuFpGH zJX`@C|9?TjUS;oK(YH$5!3r~SAA8wOzkdRYT|ZUWX3lgrJC?UL-*FubL@_<|m3R$v z0|`gdveW#+ph;*;CMUu43=E9_+kRA3YE4efpkIc;RBF&XJQ{0$ZeOA(&JcLqJ*$I} zncHp-E+oE@5dflZ8fNcg-@xS9z#xR4zQNuXaefvVve4w{;y(B-o$6X&D&_S2cFNwG6X!{{~?oV%Z#;LDssf%nXdc73$dPAb31K z)Zl0Z;7v_EiNwS>IXR)ow5XtX#T`K{cziR88X$#mPXGufC&+X#A9$!y{8g}T)nO2M zB!#A0r?>TL1Jk1mlLHutPFyQ`SznTp78vYUnpxDFW-cMoH!`6mkfxgK;4|1UTWR+hSkCQdMSb^l3FlVlDdU;jaIC{tHc9$(ba2hO?C;jt@* zt>mXrLp#rJo>^rwayq3AR~HdW$i~| zO7*h+7^cAkCcD+V8E|`@&;+&G=GXc4UlJ0fhHX-rzZbZRLdi&sLgsY^B8U?R$fhhk4p5@@SPT7iX!KP^!$OYIC?7c&wkEl&+b@?lgbbUYJTkUjBM5qLpRY3s zTUwrJYkpRIU$fslx?;}O)_;u6*LpC&N2o{*j*)KiO^v~48*16WTiaSeGB0F6a=xd5 zd^4k0c}y8Vq)6Dr1>~wH!h5~wn`Y%P=f334l%o{%J4<@&s><9Cq+F1{dSYST``EpJF-9q%e4Jp~Wvhs0Q{5J9ZZI8dIx#srq%k5kP`?%#RrNJ`;Z1%g@ z0^~begFCmZDB|+_Ns1T0Ys!y#bmIsRTsJ!<*FQyKS7~(OsC((q_-d~BBx1#vMp2lX z9=m(40?RcuF?iGMZW&{(^XcHu+~T=o!oIP#`|^~uj}6N@y@oZ^KL)|!=D~CCW$XHh z2G7ge8}Vw5A?tSqJTm*nff^luV1c}tMWIA4M@QffWk@TJ9mP-2gZ!|Eo>{3@J;f>nG=>Zm9g<%S6lblyt4Kc_T7aX zS^Vuk2_m+WgFs+=QuFKOmm9kN6ZDr@GVoH_lSg->`@k9T+OwktiUo}81HXu#u!LrN zaBMjyfIdz{j&FZkFzaujBcNsP8}psxJksSqGPL@waS>(t?eghw1y3S-RV2MV0$I(y)eC~w#@$*-(T=_izj?;^>VwYi!gtpXD35y`M(rN zHs5ReEoRR^UrRjy7v#3G#}~~9Lju+8?RC*tg{Q1G!L||4w=>Yw+4S_i)1!kWl*>B{ z;p09x9mu&-{-gCiPX}i^%EvYyi1v~v%Szv}T&rN8@QF@GOi>xwieGk zQ#A`ZSv@bTg5{{>mn_>)c}@`aznj#7{`kkfbfbJ5X19+5x&iH>lIMMG3T^ucVmZoj zLxg+h1&z%}J_Lw7K(`1>J`d-OFW$}$@fUsaAZY}ajBC8%G?{Js*1O+f| z2fRqdxnwIrFPIu z%&{Y6-Nnn>hAcP^6Q6PYCHw4_Ao&h>fNmEQDF~hZS5m~D6Mk!34*}1QTFCaw)Q9;E zc}4uhU>)k8(9zQ$(ITWg4ECraZub0*BN(<>T6r#TKWZU#1R1JUiBVXgOG}pn-Up*@ z5`m{`HN3wWtQrVD_jmXE4M7@u_PqEr(%uL|2rQ<=PeBMWg#6F}-?$H;Ia;i<{eo+* zXBQsX=`kwCP{-b(=JJ?80yL4j-|E0-RDuUM0Sk-tH{R`7?8E)T;>b z0kX8Ya;}&6#6w}~*^U}LI1bAB@dq}crNA$>*I~_kpjCiwTH__*jzv0w7UzQ7o9PON zAgPtpwTyU$dw_MTQM1T77}ncOR*Js$&~7k+COMuVs^`F4vZV@-RBGz zl4BU{Z1p2vsMjK#$Y$XK>_=86W}9U zD=F#$3>|u4oQ}?m7{bG&XH#lqQ0YvB>~_sS`3fuh!VZ z;aq)K;Kgh#P(O01#p!+EWmNDK3Y^WgVWo!|-W^5zs2OqT{G<$BjkVU`!WGXUWvS&Ep0JoR$uck}E{u>;S<}Trqw6 zJwuK1-DWD&N*%UcA|*KbXI4z&G0257Mcb3*W;-JCY4*uJm@Xx_Or-0ifDRj#V(?(x zof_!7!cfIV36e{3^C>_pVWose)}qZnU=Uqx*E;Ttn$I(u7I^=%YE3&9qgjhs|NCK6 z%%{Aa1*+t$*;&Up4dY=f-|M70qqzXW?(T~SC-O(6An3U zc-;EvvpJs2gn^Yi*Lg=BNajp0x!;2gYvla9Xv5lK&4bxBR<BptZcYBI*7zo1dWe^5yeSvBIG&v#<1`1Ndt{FY=^*c=p%_P8L{6O-#rq5*o$;e zENdz`;Az9&AL>R+ChjGRy=U|b#RGDH&!j-=V|J_;`3sy`*eI13uoO1ehhn@nEg8ck$D6mjASZtiLGCzF@sZ? z0W(pDIJreZ4KmwR!(G~zpH`{23HVDp64gW5eh~&o&k*lFS;l`XV-NwJzfcn_I8$cQ zE5MthIg8>Qe}}V_0i{6`O>Cey?w_VQJ@_xM?Z(ATi(O}Qs}5)Wq*WcmE> zFyxse?wEt-ga+YwW)CmOp1+KIw&0(e4^Y6$|0*p#YF$SY{1rKC3Oo>sV_;0c3qJ67 z8db;EreLnJLgjNS$}D%;W| z+2)JiRGReNU0|ib9?%L45bN%l^)be~Vd$jejv!tK`6C_O9T_|`_c4#GXc}ge8|}pT zi=q?^i;tBzMq-^6G4BSVe@v#;7AD2p*Ss#d>;Lm<^SIBl@12%ryoTc*;W7&rgSUzr zT9r0jj$Kwl1uV8&i@jElAM|bZpjyh%suTW}Jwj9MQ44#gq?e~GgotFkw!V&0?hgBc z->0);J{zSwPtB%_VcxQ-SO@7`fv`e%+@W>J5huA#mDM7!RG=fX$BMPyxK)`EplZGs zIVf+GN%~N(HIEs!-^KgsKbC+Pr~@w>D$Tx%@;IXSfX`W|=jGOzTLu+1VHp+Qf@Wjq z)}(NN5BDK==)jMDq-4s??Bw0)jd3yF?YP-~TtOSf*rbr6LHAdO)c`PE(twqy>uJ9e zg44?GU;e^2NMrCN1`(V}sjv@bnd)>WJfYPTf|7Iz9Gyxb0)xVF@-FF*blJ##;FqZj zM6W*O01;Xswv(aCOm2IIKZpx{u%pDEAiUuw&Ya^{b87K_jF}y-UfI8iJB~_vSfyCn zJyTma>b_7MS~6PaI2+^}1cx>0t#um=S5|Itqbv_~GE5a+cNQ({MGTWB_BF#_xr>}cwBD5i_ zRR3M%i$h8ELN5Sd!1ioPW?n=&{A0k?AVUfElT?S$bJDu7nCu!WB^_V>@0t@H5B+;NqI{Mqi-#y+HK^FCufRlFLsl5&Xlu!=ro~PV?%g$ZR=AuNO6S zBjskLGx|jX@rs24ju?kt_c z5=X1aqgGF13yB4FAxQzY9qB5Ye+Kl_ z#-Q}y?o4#4kmM_oth?uKs4@r6Pbz*xoqGtoew?=$KIpmU$kau;rv0ZAG3m1FSa+A= zv`rwITsP_pkFvM)xma5f2#xr4014y6A>1dd>D4QQ@mCgqZ0Eo#myGR%M@X8;34A_|H0Yzc`}3AX4E>$?yS8p=hh=7Rx z;`{75DJgy7P6VqR^%5C+8NqyZ$?I&)Ibm!Kt_JGIP0juWpb5DBF7yu#e|fK~`g&lN zKkhDbYXs}EVSEkaCZt`y4BV<`5{M58cmVubo3s&$RG&xMbriIim*80 z9+2ATQ4LtK`_X=v6(`>o-UKZ#n>G=&VLtXLlW;j;TyJ6*-Y(=^hfS_`=;!rWFJxb6 zOJ|eaoBhF;OdREZg&rGU?Ct&gqRDK`l}Isv)y-Z7M1{1iRbO)$By4{XoQzs#4$W2^ zsbM_A`e?H0Y2c@|_;e2mm2lw(3vum1`otf6B*XkA&3Z%G94a(g8d=G%OGc&!f(Jq?td^nY)fhkNA4(jYLXix&`mDDh^Ez2!9w|*?fy}6eP4=g z@%CpBC`uY<@OBCXt0kfN72qYXU4=Gq5M@t&CSbL!WI#iF$wWualt|?5ALnDM%Gvt< zX^Jx8;cee@m~RMrjNnB58Y1HKJemgEj5b}$R$aqj+V_>yF9yF_<&Ev8)9x_1aUogm zR>gQ8lt*N_Ly4%8=qzX{{KMNI)j45%&sGq8qdeI~K~CwdknIPDO6LSWIZ?fNP+K01H(&0y!M8;nCwHkf+IC-!RAo zdS+b@jIjszzv`X*=yMYpzGW5H(Kt#y_62zR_!t(lx9OawLEPB`%yle8e9tTsBE*)p z!%AF}&)nvt+Z#9JvT&!w{xFLRQeL!<315Z_=xR2zz6a8EX)#P?6Wl3kzs#H~9|=A7 zEB>Bf?%V7a!bNR}_1efp2Rl@RQJ1a({?h!Td=Hnd_p^5ZW$ zjtH`{K#2yIJnFl8`6_ccjDz`VU--`)FvOY5;{kXC{(>$Y>W2D(O;oaJ7IQZA-5!Jc z&mG6F~zB|ZH4h=) zWAF|2p1WmUC~?;%-fF|re3FEqF5nC@BvweDS)SK3oa=tW!gJI_FDEb&jQlyQj zcnzb%AeLL#qO%}9-kvM9$~ucq#}?=UGU(7{xkV?mhFHA^o`qpE)<2+)9)FoUK<{eF z@|QWV?PtXD_WI*D8w;@!%G^6OG4lSMP`d%Z2z+|e^jq2^E6zO< z7x6Dw9JbaQA#&|T>bM4@%|WwD&ko0x9oo-N9{?dA60}|j)|&8=2U`1L{^RzM=^VOb zK?L4!CN1~}th*QsX85CWx9UN7Q(jepA=v26R6HIB4KcV00P%y>q2DEg$tQVB*jv6d z_avgxt_`x_gcJh`nc`O%Qe+wx5P8Tkr}CRTu8>qioM5f`sIEUo=)tuZ{6qT~(3W)bOfL1zY=|nV)ZLzi_PMIw z&TVku2eurt)J1$`D@AWy91H#wEI963r#;+&`225rRzw?l7Q ze4gge2B6lq2zGn7W@#{8I*N;cdsV%~`%Kw~zo#Aj7IaLs^>fHC^_d=Ilw>ANCD&oP zSdiwVJpN~Dhoq6*aD~U57qM%Tau2u~|AhK22JN}= z?!n?BXHQUNMn6d~NRkZB+8?VQa0k_+5Sx9tUBDKBVN?{@p2+JX+Pkq#fgiC$Q?3QM%l-2Ko_k6F^wcfHK;uV(;&lrOr(|+Ttn%a(3 zT7Yp))Hv_s8AQBr$_o@1YOBmX60hJ*q_k}vs`jm+DUw}bel5J6`+~{FJj2DqB8kvERWl+e$-2gP3=p6M`-rIX1;BAMs-P075cGsi?Uu<&*C2R> z`1Ypg0s!3YrG~`mDl zq^j7+%;RPz*-FPM*>0#c61Wfr86IIn4J(RI`gnn%Ursq$Kquo zDJPBU`mE`7?_4F3Y1O8E!8?Ewzs9^#UBN3;&F6q2w@L1_aZLZSSN7-iV}k(#mXqs9 zUb5Q#lJ@XEo0FN_a!D^d=U&FJ>wi}wx3lJz3K@5)JSikiUTr%Vax*jo#1A5Dc%)2y zS>`3a)|D=WIn1E4?(!gOFhBg_lS!x?6tlIo*gETA;u<(JQa~R9M}eOHH>owoE`?VM zm1-wU+M}w7Tf*}poZp}U(dR#dhZElPZ;#;sTLP8ZGVe? zXiS*rPla4A${!zlm!iaGAk7N7Aa?qP>|^Sas322Ght$!RRj96ik=s)XR~?5>>CYbZ zOc$6?c$Q`F@i7H1XK#jsvPb3L?*BXtZo9=&v4<*)7l|wI18rnwTImQv7I-rv&l>hB z%HFLT!a<`URm%@v_X$nw;CP*uqy|T!@yAR@L>gY>b}i;F`k1(X1Dhwkk(aS~z?r$! zb1P!T!NaIgBzZ5-zm`F(Mt5yP9iIqe4q+=x%!_8+$o%ZXWO^N|%L+L4)m2HXhEfTg#@)d%!MZ}5d5qm5d_ zHl-sSS~NWP#S#)85!V!ffWypotQMb`Y?$2`Xm8GCSmCTlz*nYmpDl#!bJ^DOVK z(^P#7yyUzhkc1Z7|GBq=BPVG*vkg01Yh}HK956In#2RU&V2c@Xf`}eifMq9%PcWj{ zvL|Rx?W`uLzI`gvRMmd{ZfXB!IE_#;ZXf^PQ_X=CNq~t-Cq7RfGP=v1QJ=-;T&bz%Yai!r&0c3QBsca1kjq;Ls#{Ygpzi1>f}tECR98|D=85YFRu=MS>|Lr2fAV<^ zQM+EFF?0aluKApk)d~U56TPvR{M46+0&9~1q9JsMYS%O!UZ`IXCe$M3WCp1KIW5j; zee!mDu*eTvO+*R7ZZy$lXgTywMZ@eeDc|b)U(d^v%}Ce(`Zt>Y-41BJEbbbbcJ}1w z8(Me(A*+cjBbP>K6q=84A|hSJ`Mj*u<%BPNaBN*?b?MrLbiB|ypkD(=VSL*(dy#2C zMdxIC@Alxinex+S9J^g>xF*A(qL^G-X+SHdH?s1jlETrqH|yVS<1=GckiSJJ7kjHH zXE+fD%=^1L!)k~B2oN(c8}Mldjtkpp4kE@rV1~j6ySxfs_tzp$EI_A*jY}j4jF(M2 ze+g>iz&-i1;kpVfH4k=2V$BSOcM0AD9a**m_q43k*lYjz)5p8!PVP$iKBM1JF)9~j zDhH_M&y72DVdIot&ccxXAr$rtyuwi#t3~DR$6pHE?#N{oVUv2u}y+Fa^=^g_0cs&ZY1OoGrUt zAPZa3RU>iu(sorC_%3cNpX8L&Tk>ckj7)OGKL*qbjQ4`m8cIo?i`SGJC1XEd6`C(> z(Cilv_{zvXl06;N^iQ*B^#`~xT#1{!t$c!%_fZ)m#aT~97bjr;u9~c!?LP3DETG5{ zv*l8f`0JGMJ4ojl6`50Uw*=X^f}no|NR@B$3!h24_`1DtTFt zCbM2xFLJw+L+{UPTKM1r8}PhJsjLc|E+vo%N^||Qm7cQZe!G6OFTz@}M>W;|+U|Zq@y>{6c&b z{jrNE4pqzO9=fR~R|H85Xu>jquZpDEBe`bYEd&t@{w3yuaBEw-LP?asG_|9e;Jyvm zxAUf3*A=))b@!$f0T5bbH*(f=GH#+Jd$V?-w)a&uZhgPEH%T(VogtExEy_5YU_r zh_u+{?W5;3g8r7X&W2Fov4hMcG#7k@1n#pE_4(5@kKAb%Ho93DIqO%^W>IHjtKC5J zn?*^yo|BcWofo5s6aW0hK7yJGaf0}Vs8F{Uk;K-mW(dj)Xc0yZ(S(cD(uhziY|*Df zef`&h+_xmwBXSr!v~%+hLG)iiW-0|jw=Mg1Q4GYUvFtvYm&eAj38|<~qQ+li-}8KM zaa8!Kzh5?b79p3U&%13>?JSwIh>c&=zT>^^{qtZ@p37$$qvd^;A<+SEhy>jfF{XBE zFVW=%_L(duK!Q;<&tCZC#QALj!US~OgM1rUfUewoI7cm!98R@*v5Pk35{c`S5u@uK z=3=ap`li&(TYbre+23jVu9TVDX0v(U;%B9?uA?AF_(ywYbPr@QQpoMj&Zq_JH$)q0 z6!zIcYny!&!$SjyONp@}aPyX|Ez7~cw?7cJH<$b7Km!n@FGD z-4>Hk_S>Z9ehs{k^VGfHFzlF>y1JSBcUn(p>v=^fdfPGWs;R2qcz{hq<0@o{g2FlG zZX)CoP<9=h7rl@e&W|Us94z}bKqGwW^+I8e8Cf{c%*GEw^rT-h^)QrTGI?9rVrp-~ z_%s_S*Pn)nu-mD>lJdQ1Q>U&`$CzGk71al8{;|;D(tl*Htxn58sw)R$tez~(ZM(*s z28Y?o)8FBI&5Ln^$oYU`0?+aXqYkXci_~uu5TEM7^SfP^Mv29!#lo1Kd!lWm%7{PX zapdHC`r!a=gQl?=HEI^dbvtJ78RN_`eNP}LwKN*Q@(+(2ZYJH~%r~mD6Qsvj$|Qa| zuF6+_N)T4VrlLCOGVK2IzsGhn-MH8V zuz>wH3Czw}$L3l0atL%cV34bAhWsQ|J1A@1>Uy=#tvQl{v0sqIs?brPQQNY+LHmAu z-W(>u>{^uERFr4i!Qz6DN7vk7>sv+6u{2e6(2Hvr@5#<1o?4`{Xg{blfz}kjs-m#c zLf0(n$eoe2(=Q$zT_~*4(UtnOxqAExr11_MLP(slCkvIl?3WDpdY|JRo7zBK5mR+V z%cN>OAUvXU!ck#xi@1me9E-Lvn5`1MQ*K+42X#CKv#$EG^SxBJ2ZRWt@l zNB=%0>X}g5$9|@nqdDDg?ItQ@A5hTvNL{l$haAf)hap`;Gh~?jOrw~IVaDwg^IK>J zb-bm7c0pDn8}dOM;w9i?(MR)2Px8x{ua812H-lL`la^M)L&J*2=j12ez^H{7YhXzI z)kn)h#37PH(19_7c%#RAY&+=*@U#oG##NdNdm|{>7-?A3o349y|8)Vy?sh zIeaYYVm-{K;~NrSBWJNY-0r4}xC4!@_$*_tfuN`e>hsE;JnyqM7kW;>E5ys&*|I}U z%g||w1&VlWt4B<^9s=qQ(l=>Pe=*UXYN0OSD<9d3yG=!51|NCFP981;^K^O~_iVr{$YX-W+yvoAs>y ziMYcHM|fx^OT{StP^QtkC+=H(%AJh6#ZuTRzCb)kO0u7kOwa@7sx13j`;OC_q>Q)S zLw-6P`8nw0+4M29hGi0-ImM5@=P#>>1dIBNv&!Z(`V)WN2!tv?Ab?_XyJDoRNIn72 zgC?!U=hcJwz@Cy#!>2A82}{{A!%MRKqL~Qe#NVx@AWM>#i&r^weXY9yfB$^^W;1IX zsnhXPyz1WXg6CO;eGer=yWh-yc`MHuf9rrgPWF1ivgXc-)jZna+0STSHezniUM^Sg z@TK9RX^mlT(A@?ARpXb)H$V%+oJ{{XPR!WRzoZ=J(_hC9Z7r}$g0(ZbYwU+*GJY(( zbhgR-@I^bOT-wz2RBzM_EphPfYt8>;vF_vVBx>Ec!o6z{V8rK6b_y{xEtaZ3lQ66l z>R-NEKv^A{_-E%BgY&2r2bwfk(4b)QnFqQ-<1hOXZtw>9jop?036Lzloq%Bb>>WlAaAVYYG$g z`|g+y43#D|O_hhH)SlabyS$@@GqYo5|4?24pON*7eTKXXvqP{NnSy;s#CB*+lU&Xi zpokbvJzU2tu--rD4|bgz7qOzpAdk+PZ^!-KSo{XEE%wzjgf_=GdV0sMNa45~b%id7 zxowwuqO8Ihv}RxFC!xej?dGUWEylvQP8WipsX-jddqc7^z#%> z5bHU-!jr-IuZJN$A-fBc*~B$<%Sc`!56mN}#hHGB4Gv5VCVQv9WX++Lt(+FAJySg! z6`rm(y=(3^;5*3^Mx7`r8eXo;p>?vEsXPPxzpZLQd!PZ7G%kkZT^$_a{Jmg5==49n$J=8hkc-2 z*<+MfA1qxDx($^Y>Ob4W>oZ6qlU={WB6C(l#FHS};f9_hiU%?O)u5}vzsE9=YR?l$ z7cy&&J1A0$#5U)epR!_f*;Vug>sC}RE^tNFD)91F)CxYCxPW%(^}4h!%p+J$ToT=y zKB%Q#w$C#XM(22OQ=13^^)pS2vj;?bjpQ*q~rzz8;{Ri)R0;+D8H8&wFlq3AVR?(K78Z8TX&M`?LH(x4q{!zw- zR6CHEG;ToDr%0+Zyg$>xYZVmu+IM2>?{GSIc4h#fX*>l7d&2`C9GXb}_Y719Ou+%V zvZ_3xcb;=5x8{USbsPykij;?Bm`JwtT!&E9VD;kQu_alP%xg=KAsxXb2FrsMSkr`p zg|6A#3Mn!UieLI~ApekRR{mv2FziyQA(Qf6D->z1JM5WF$#m-}gk)|T!zunn?D~LT zHSbF2%Bm3{LbLeO`129QVh2by7TsZA{mt^m2HqH(9%n6ViQRU)l?mHFi+Jml|EIyY zz3})bsXkGI$GX-uWX|=Kw&M&Q_zqKyNr}F@mHl_o3sq`2W z)D~W1!KjXLvou)%3X9v^{VZxy;J1YbZ;D%I~$BzvC&YJ4%ff1PgB< z$>y^eF5`cdsAL+Kij_}#8jnc{-zFk@m77a5gX8oublDAibqVvO$r6^EwxiX0m_+VK zBTSx)kxgn2<)}`kcT@npy`lB%CFDcXMZ7s8shjy{No8z_YDJVCDRj^umHH-XE)rpr z9q-lCFS3Rei-A8=pLo9!Itcf9HIU>jBNgAIk&-36vmlS7;p?SC^Q-o2zG_dorYoJZv{w)FNQbcUiN;+IMX0uk2=&E{AyFtDswlp>7%dGGAV%#N0n2ZA(?U1N-q%2L5qKfDdvp)hJ zUR}vAp^U$uhkkuuIA=8Q!h{kS2X zZ8^&~`&{Qmp4&oHV{gSjFF$cKYzWM$Y5$pR_0o~vpw=y>)ZZ=HbzamQOgEq>`{-(o zhZ`fyHb5PuCdZebv0lKeOTcODwS~N%FKV`58Ds0AO;Y2B=yO=CbS9=*v_{(gv3bbd zTbeP`?)weAA4HYKKxM(m=tI(uZvFssSPwHRp9p^C)1rr@7b#*KA10;p#J^9~4P>tR zX*H!$h#>iK)*83+cRFTzj%wYjf@0LYmsV7(r0@BREo602LvLqdbK?O%a5wvCmeZEg z>-t(xCH!#Y3C!ZYhL-BW_5&Dd`{T}^)nxcvxf>qP>{%#P{jY_b3Q*%Aq}za&f4OJ z{TaBuFh9{~9J1+^;UzWr?`W6_^7hue51$;Em4;kd0P%qZ?Po5><{f3Z9B?o_Klvgm z;yl`^}dl^*3OG;&hdn*@D|y-MbHC#Y7f6!F~yp;{+0s0X5SBd z8U(NWB(xf!GjFmAw6U5$E@dBy{)6QV{~_kUaET-Po@cja=wTNeN6q{!Px*|hhG(yM zZPevdDS(=5f)(gO2<-`g-ESc1yE!$-APe8K^$*5{ip8`gB@)y?CRo!b#SxGUF_Gu$ zu{wjxWagh-qdHgT(g++ z#^`mP&}z+0j@udz@6PxJEAO7{&Td>DWB$6Aml|RNGNAPAV4pL>72=`+DoF?P3BMg? zVu&Qz9nb#;hWHV8lRhg>-_JU2&<%`{AW@y1;u|OPAr7i&dv0Kj{D{Ip&B+29i15S~ zxiO-Vj&#R<89zPH@1DLH7|GA;(+o0gqz(J@udT1d7e7vP+@!uKJFHgxOB_6!GQZrn zC%Lt;&5Hp==t_Dd#;x$d9bmj7S&EM0@^yUVh>C>7xe%6>R(GNVG#5E}oPs-n@QT1Qsj5Kda7wC1{ zmBbc_OMx$6%VUMPWjk1QK#8D`V#x(9wFg{#!tbpALa|*-42em-ANMd`-TvcQjK+H9X|Dlz4FB;kg?+V2RfiFsLlgrCX31Sj_0DfaG}cjfF#d)S^NdSLwwd3Tg9BT zM$_HW3$~Q?NNX%>p4Ptt*S>TdEnMo#FEN|`bv{qQsJ$4*;UI&bznBzzm?d$y$NPIL z(iQ1fsyBFKi)73-)C%3=AY$D(xk5;@MegUJnm)tiSv=e%`W9+Y{CfrZ5z~;S^>E>r z-C4Ps$2S6MzVEK>tpNdmEj?k{jM|o%8e-tOO`PyhUkV3nH`_z6jr*in3&!9S9h^j% zZozr5?mBb$=fHD6g>FpEOJ6t!n+xYohYF=)l*y!drt^%)iGRs;;=G(&`Ycj$DZ3OnZ^+`A)%z1-X?o`= zdPz_g<|%8nqc*_uT}*MRD#Tjg1jLqmC2sw^h|@)Z``cW0py8=U940>tCKFPVM>0#B z@_bZz9A48qHrg;@o1eT&8_Xxjp%Hp2?Z5PpEUj56TZWS^ECHA7tl^D`)|^>{gWfuc z`y)+@_Us$filPqm`u~0nN~wXjNU1^G`+%}1=tEEgmwXzI=p#$lUzqo)%Cu+R@8MG3 zdd#VxYr|Z5ZYXy+=cMG~@vvhxJ*KB|CUZDrN2*u9;5N=q1-#!byyYxeXff**q_CE- z#M(%Q`^}V2c6L=TDR&#_GNVC^;j!5}hx_StsjJ|x^_!kVV_jx?9cy87!VeHT!6Ic= zU_lN5JqkTFN|BLX)`U`vTCp2NMhaJ{*Hur;;df#V=3Lh*f=!ys6{ ztq?vm5<_8wgi&#Fm&l{Y%4(7HD`~C5EoMM~&uK1o3&c=qP*s$w6xe1EBCl9qaCP`K z%0bP*&`}|qIi8C`Qc5~~ViocbBQB*vj87s`m4CTLgm(1qXgGEXw0w|0axTG#CkzcJWqB>th75;LYHP2eQ*JL9DnkB6olr0 zT>sb<7&@!OQH0PfNe1{RI9F;JOkra=GOXA@2g*_Ys19yu)k4W-qSA%w0#!^}a5eG; z=BuNmK+}x@%h))v=uXfAMKiH2KMRG}T*@6qvSR^@o{}*Ww3~9_h+H#fYi9Tpzj{!l zsbR23yu?C(vULPADGAIq#n4$cG(=iJcm@qK-Xl~pxH04ioIQUx->D$EmFiFM%OAEm zvjZqK^#GR$I)Z-&_CeCr^4hzo;39*$f7V*TIJP=mZRPpsxBPJZGl($vE|#}@C!tE& z^}O}^>`Ims#@@ShecE7`+S%<$+Ig&gJeek}e!N(4(e^Qzjh*j0XiS&v&_BEYC+By! zw+^lJePMQb@&uE`6MI`-A_QitD1C%xdxC=M(iX?iLD5j-qw>83v|S!>g+xAJ6(X{G z;3(8OGo}Um4jP@{w(OlmsTrl#XaI*!r~Fy?gZp#jVG5IopURDavS zIzNzL(A&WJkOs+Z2`k+IqQ&1~lVB$pqV8a!fZkIux{J9Q*)`XAS94|OH<`W7X1mEw zA$ApNWv3|&JZuOD=paF0)J~DXYN-cG>GvzkC&L%_@7<#f#Qo87Je!JR@#g3d|9-e! zF0U5S{J$4*oryju)5L%YVNHquJ*l*Ean>;#Fw}uSz?3)dpC2#bbLbSfdAM zc-z2wYk{%t=yefjh}(gJ<@weD(g$n7S`8S@R_5oJJ9A)qh=YgnfN zR*a~hpft)9j+qJ)@@(YYlZLH9`9`$F6j9;~!H^9hC;{<0UDV1P6%{m$n){`+}KaUdz?t5OvIMWIn zs1%ADoL{$>9NYw{e;X3c1xIjTcVJtQ>^G9Tv-7c&X{5kqYt$67DGb(HC9xXD#!{$u zum%nd%~nYmAzZq`dOA!ZQflE4b^)#0ker~p&2Vr?r-(ZTpjAr55s`l3@Qv6ltX=h4>*vp^As>6N;gIdABjSwL|P4pe^b&-Uz;WDCDq}K-{&?% zkla#qlow(SO(C6jaEe1BX&qvaTJ>pvg0Xb8aLX9$vxcHXh3zIvw`nuZTFZOYVR$51 zier+3IrHrBRtr7IQ`8IrqY%THNb=Aq1LVW!EX8Sy@&NlI z$8h;??JCr;&##|3LU6kgRO6i;L9#6Q$mC;^S}Gwqm7ta(D8AGpSv`8?sFcvpJtQ>f zg&v~?ogq#Wq>6|I{Du!=hzQhr#^WI(fmhSDBZjU>f9}pHl}{{CKHCE>;?o`w0D0OG z3G6<+6)D=2k!ZVOvbU{?%u>keww3hjK}!cd7HvvdY&a6ASB>$AF-Q^jdFC!H;ztTt z{66>P4gUh&Ybi)+I)FSyBtt$CRaJy z5#}z!VWKL&AR)t4myUiaX_B-+S;AzJt6Ex_e<8U{pc|dWWi&B z7%3yS-0L~Iu2|!^OIuNcf0=Fw3^unsf?WD! zC<+jNwkqDy`x2EghM$}RRE8J*eE~>mELvw!(W$D@0AZi#^ zy_+fArp*{@lo1C;Q5A?SJ~OX@^6AVctTuFaQyB!FOK>m;GFg>~L%w~+8$7&IfAM&> zFaVZZY>zJYqe*lziI>@$PBTkzi7&2o?sDtnT35JFT^e_=j8LEq^#plR(e-$ZG;N!OrB;BX*-5sek@^v=7;i9lwxR~?VDtT5zO&Pm+(3VI@98PI<3gV9JL|U-oj%K{e!CH=G>@wSe;sehXts9c zQvD(R^>siUJ3c2${vZnRI~RP{vThNCw^{e7c8DQ_#WA8t91s z-#rRoS^s`LTb3++5_|at7IlSBqHhXb?;`leFPv4wFt9BPw51+m{Id}rB?jP^>aH?!(REE&BF{fILnl+=c$H0QF zv1nA&zFvX_jlfPWz!J~~dKg}c>n6*77naXXpFKT30hSL>PWo6@z_P)+c{p2=uc=n4 z2FLigQmxjye^<3W^|FmF^-{b7C&Cc6(QUqtCd1Dl6?B!lkIZg}O-K`Y$uftdmPf>0 zWOjUbcJ%8h$m~V0KNww^iH+X~MP^HXxY1TnR3GQ%5CVdjl#2z3<7OZsZmQ-aNbUla5dG z>G4Xu`doe-=2PT&{1FWPM4Vif%ORa8Z+AG?%iphuleMc{eD8DqcRqd2KTHUqdSIB| zgK04tE-w3W1MycmpEcFIQ}90h?YI4-LsD~3eqb!;2Pwwyqh;5t+El6 z*{w+q}>_VW5l4CnLN9}pQn%$Ap{2eRnue}Rpfp1AvAI2Rx0!%<0K)Z>X!Ii8Gh z_ls4ZCoU$l*_?){$AjbP#dtbiHV^u+)5&r4@agHR$0X0bW6*&(vE;zG5~BVd;_Nq_ znvjMI46%z(pNAmViq#w%aF23co;Nw)Eto!f@Zu0toc@&GxRuY?@00@gc!Sr}i!D4N ze@}8~ZTJ$zQ%(y%Z5c)BfXc_xb*EAaez&aY(Zkn|P-rK;nFgoQ&V;+9(znYqo`K*n z%c!cm`hTwbPi=$60o{b)f-B0CmH4Odis;v|6d^VYYTbG^0gj10! zb?wx?l*_Unw@XUO1${fEN=O>|<&*Mye|iqgj%M?+=UyW0bhiBK{u0{pDW|r zJ{sS5a(7pHf7&rz#f9&sxk_(Uu{GIB8&qy(tt>XCeP3Hbk2@W7r}xk9KidE4#qom| zy%%y2o-BS(6~Eb&bS*qt-wIFZ+l6}LjPs^hu^u%!+3kpV`TFhC*FPN}9KFELfA{qm zP=r$(zon=wRQJh*H8YJvMt++S*Ep#RVKU zQ~YwXiEhV)(MXk%8HbGtER{a!p{VnO;DQex=v?=PCcEA6pe=a>{cY0b^ z3vGJB4gtw`39`4a>qe2@rl(`nHrD8Ib$yvGIc|4yn)P*yoS<&@G39IGiCubb5wF{I zaGN4?GexpSk=bBDw}{uRO0rE*$D&n@9xMn~8&sBV6NH+z zQ=6i11?svHb&MLndAT!1f9=G+MN#aUwQo@5Y81IHMYjml?X0&=QOB%(s8JMaVaWI{ zLAQw0-Q=}RlDk<*rmnUu&?>Q{-n^$^2UV zDul_e>05iKxDpQMp!Bmij9hJ4{OWo+8BcLN>9eRD4fTn?D8x?{{ngSj6q)#&Jo#5F z@F#n?oB3NUd_6C}&`;{rHO#B?buX=U&DB*3$E&^BwA!v$tIexl;&q`6& z@Eg8ImqE`26PF(91cL`SGB7YTGBB5@>I57II5IFWH8L=_%jyK41yVCOHbq7_FgG(d zHZnswGc!3eH#I>;HAOQqH#IjhLNGocJTo{pMMgLWGQaiN-K7(Kzu=9GEnikPw@Y7~fIjKttjq)(8_vxDpdFF-8*y zMz8z(Ctue8uYJ$id#|sg|3k}E`P>Z(%ZwqoWsKeWdSC16P z`Yt@Oc|Cw9doP}T)&#cV?ZxBCfB9yx4etp&y>dHf!5hG1R{2)YhPMw-(`^SGctd!s zD8B>j#2dq_MD7Beco|*=vI}(M&El0Kdq6MVGF};SH|WE=f>(;{2Yc{V@$$&MfF)#x zSArY>OgGEprO5qY5U&(3hdcld;+5eg$RRL{SB_`M5ip8ZgQxl)0xUJFe+8?^aWH}0 z46Y+5!4$F%TtglPY)MuRR*=(R2Dt@XMIHf1kqzJqau&=X8^LAdJUE7I0?#0igA>TD z;1cpAIE8EmPa{u*GhhLnwNUwr7I+RUS}32BJkKxmJpJNHB2DciP<9EZX`TWXz(ueO z^fpaH^V7t&A}v*Wpv}>)f3cm;dz}I}m2pbu)Y2)kQ+=l`oPKc{$>}hs^<1ZnW_6t{ z+S_%aI1sLL#OZMzmn932-_hH&_ead0n~~(;xDJj^MWcm(*Obuyu|uw-!GUl!daGI5 ztRWo?nFotVwLDGjU1pW*8q!1d3^m=$Q;oWp!Iyxtn+&fp*x+{a}Aj>>%XhSQJ}fdTz&$a z0`q2L)fz&FIo;%1(P^_eU6D?6`FWt-IA^wSPYKPQR&mW)5v}4&X3O7d2tDL9jngWA z$?V4aN?hi*90Th0OF;$5nZ4K`uLNuYRe)PLt2DdysaQ2Ji#1Ia&tLMxy=1*C{oFNXgCqi7(o3T19& ob98cLVQmU!Ze(v_Y6^37VRCeMa%E-;Gcq$ZI5P?*B}Gq03Yq_0$p8QV diff --git a/extra/minted.tex b/extra/minted.tex index 907b2d4..2d448d2 100644 --- a/extra/minted.tex +++ b/extra/minted.tex @@ -10,6 +10,7 @@ breakindentnchars=2, frame=lines, framesep=2mm, + mathescape, baselinestretch=1.1, linenos]{#1}} {\end{minted}}