From 85ffdfdc689f77aa302bea43b872af0ee90a9b26 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Wed, 8 Jan 2025 10:41:15 +0100 Subject: [PATCH] Add new commands, docs still missing for some --- docs/docs.pdf | Bin 202242 -> 203200 bytes docs/parts/reference.tex | 22 +++++++++++++++++++- main/style/counters.tex | 24 +++++++++++++++++++-- main/style/style.tex | 1 + vscode-snippets/tex.json | 44 ++++++++++++++++++++++++++++++++++++++- 5 files changed, 87 insertions(+), 4 deletions(-) diff --git a/docs/docs.pdf b/docs/docs.pdf index 3bf9baf7ab5653d4d364523c3a0b4dc9d3a63551..545418cd6edf90fbd17b841d1bf74fb75743bd17 100644 GIT binary patch delta 22981 zcmX6@V|1WRtlrwTxwX5s?RIP1w(-_>yR~hbTidqnt$n|H@4uWmb26DEPtH7(1XjWS zZG^AGf&(7O0Mp>H(`SNO)^cVrtG*nff25SmED@ z+2h0WfBRvMwvT!>-EyFQ1;|6r-=jE(@zNFuLID1cfS+L4Rm{P(AmROi)W{LG-X_tI zpezuBurqth{h-P}NiG|n7>u#?OuG*?ehpd1I9xVO^;u}|MB!<(3^79^2y4GXUl~{C z+O9D1_{u8L5x;^fndd&i5Eko1?>6#v=vmxT6!-i=-gzpTSG9Qjei zA_*92Uj=~u#6i(yZBPH=xlTCh7QXXHf-&?o@SxC@GHAgk|RMlvO_3t|N+dZ(o~RYoGZ zwutfy$%Anx`dg2jg7r7Pm;j9L(K*F_is;C$zBek!5&p5(uu(7z1)7SXH1!}UI+PZT zf$9b-Y|8bZ8Fy zj`J}m=HRzl>yIJTfZQuC+Ge*uZ<2B)uPCXOqtuaDcO^t(qlu;|6ao@dlhBrQwV`v` zOc`%#^TQ3MN&|$VKS5*0+1Z37rPBbh1b%Khgrp&7gE)+>@#VLwG@Icqc#q~{j=`TL zi6aPb&IUMhiG2lft{?QLTJEkJ%dLui-H|)XkEV^a^gE5}v?2bFaO{x9jD11mq4|pa zY1t$IG7SR4aM})PovX@w?NMWShhL$R*ku`rU z7FzA|%5i}vTa=@*`(Z|+@O8wpg)zUoN#xQ_SYD~#)VaGY80%=-dA`IZ!8A@gqn&Bw zhJNTZpQhqNC(8Hc|j zR3~Ax<%WoCaZ^MIusZEC6}womgOpB^Iz-#YgJBh;hbP?Hy-xU#>8b&5{#8&hhyRY} zC~W6uI???!#PRE~Fpn~`e&xw!P_JvWr}%Q5uNtXbQ*CYPgsYzXPI5*tQS=I@CtUSn zsm4kz*EubTDYfX@q`SO);9)Xc4VnVQi8=b(tr6~U6;oSvq_T_Udb}Pv$?AJb#pG_= zdo`N(se67;={lHyL;!T+N&CRDct2;Wt+d%I&#@ug1tupU-dPi+j)o7`cv4d`Rt6fB z_BFt^k8Bivjx@Tphn~qtd9f9R@TKKHFo$hYFV*XLvN@mVb8Als)s)BDd)Uj}yXH3b zbL3p|{Qiod@v);>crMAF(G2TJeLR^9_oasKX#YxVwD?qa1X%0JC*|1*cy~u=Y&a+6 z70x`oV9#~jyu-8wHUy!3pT?sC*J4Cku;z zRi!G;EYM3{rWCb#;JobE-WR+i2_mC6j-wAj5n^a1XLy*DF<$r~ldN{2`r|eji-bsJ z-T^-rJ|o*3tMR+w@i5g#6`2ws^8Wz0X6pj5hP0xNcOADtzVBFPV=(nH4E|s>2s~$E zdQ7-dnrs}#d}Mc%QZfPVm%iXBxkIBH>jfOK)O!x%Wkm2-E^=l9cYKv+U=bx&Nh9A#IL&52HN1sE%&ipyMVc3BC-Q6c1 z6;MqJQL$-YIc+^)Gh{`Y#`wOHw`5UxEUua)e8Fd>+K{4CkQF)mk0YcD`FjHIpC|kG zK3!(@bv9{h3%iQ&O4fSj**^Q~N8Cu*j-u(q)cf2F87yv5L3?9U$*@|gdm$2$lq*44_e zxP&k(y8IHNM5vyafE|*cofVAY{=mWgrQfl_p%b%nX>v^I{kv&+&=~}HU+&&BO4a_%B1~wio{R~w=@4!T0jAdqyA~8 z@fN}>-tr+2%je%7HhhOJe~nKBHM_?W)znBUv9``M(T#m-)NH%8{?z9Iv|OEcnB&h9Gt)UO~wW@ve)WM5&6Q4b(|TF7T3MjAXCJqvJQm zROPDI zGwMY$;u+eKkSV3y75Wu108A>`<}Ys2uNDr*khzM@;0sZff!7+`p$3oeBa!mct$&;q z!sRndr`)-!k_XpNTZd9wa20T+o2H6qb5u$3^1(`=B^txKsnXJ%VrjKW>VC<)JEBlBPo!2<^5BTftI-ev(2HYR54F1pL^5H+ zu~zV4dRTy*zCoKEmL7aFAk4_Ii1kiR6`y zXkf^3Hd5Np(dV6MWa&@J57EkW{eFAP7LBfv6m8YFgpA35-PuLgC5m0)z2r;rWRzS| z!!|)+AYboa%{+CuJ)gz##^|N-ZqlYcM0!E9C2Fw5BI#PlGLEtih1NApB4T^^Ar0)o zw^d^?KS&D!4b0&-syODRklVe~B2+VnnvkdFpVY)zB`K=yAP$M7x2i2<(hP7xh47SO zA_n6uoMce>Oz|{y>?!ArqI1X`wi1>sUfb~ zG7>k7MDK?h9&H0i@EJvT@uw^wMYIn+?w?qv^kdHepNPXw{txi&LQPF%uh& zO8nyq+;Np$szMuN^i7I33YbS#Cfyy!eh>wggr|!uJ>T(+fox`gEK{=UqkaS^xAtQH z+I_oo`1EJ<8oR*5JZol=3%FV3j;ZJANbIV#jpE98u0Q(uY&pwkSw|x`2IdeyKwH*uG1sJxZnVP-l%2< zva~q%1^(ijrm)`;Vg68Z)Z7)2)vBvQhWWmCjQEyX|NBiR_mYb%`I39dN%S%ExgPNi zDW7u+^WFCYU)VvbdQlk?!Mc@bG`UY;Zr+rjemTB1?(_Ngx_EMeFMA5 zrM|dH#e!VC5&pCjKr8~bix|2515rAq1ZW;5-^4l@Mc=Mg{W|IQ;}p%MDs{AC55$qx z;0B~H_g%!G>DC-A@j}|HbzmF_;+g7!U<^=bAk96v^n+Nmg*^jeG)_2_6*XA3g5XR8 z)XS8tpeW{rN?XK7y-CzZ-#6$s8^b#I2Hp;>=R!T`PIqOc3lm4cjaH)p<_?0Hv-E(a zKT!mQ2-8ywR=^8=YxqToma4t)e(UnuZawB@DzTaw)thBZmrHecq!`1cBxk0H+8=_)}?65buCVS4OuGySEBXvXzfNA|E z2@SI9W<9odBMfXlmt!6dBI@Uy<2^skWB7wuXBerkbgIHelK!CUs@hKE1OJ6IQ$>XP zb$0K@B*C_5{)Q$}d-OnbZg5+S9!+HHbsvxToD!(RNcf>&sb8{m)*2Aq+odPT70)6Y zp=t+;yvhUuX`-B1CiYKnRos)2ew43e&fn8s7VWrjPc99KVA58Uvg(!bdPSi-YS^a7 zI4+8+Rf*@tk5910=^%7@{af8tPDsyP%dgJ|C)(FTEd^jU{ z5(qxcSDog*UWY^U=>yi7!@pQOee&Lv9gYc2a>>ld)=F;)M!#l+pByWE`}y8ME?c)6 zk!pPQuigSqp$Y_IG9S0v4Su}EzCU#8a^8M;-t+SJO}^M=A#wA~``A5-8T6nm*mHn; z0&KS6p4fxJ&QrL=wRfSF`RRu3!=;JzlYKCUjYZ(Ek(cW~UL>4a z_TZai&zdyt5u$*TUjKu_ng5JLaCc+%MPch^{;b3K?&3I*IX_u)NcUNd0hrdDQ3!j@ z2i!gkdA?pzfv=u)!`%79`Tu&Z3ItARvq<@JDfp>l=onX8`3(2vJmzfQK}IOU6B zxmWn)=Aw#v>Rc@io(&^o?n5+sqeer`G|``m1qUdHRD=wF+C$Us^s(Xl9k>L0^jWoarn3B5HAr z)q8G#KlBJYT2bzo{9hS^UTyw<5ZWEyq~kzN-gIR5hLJ%{3fNDYX9dhG+D*nu^BMWg z*%1M0GdX_x0DaqzUCisjV#gVRcOVu1;$X7%iBcUOAe9h=K*o5z4& zN{am|ZP6KmM|r?QMwiLRT9;w%=}IieCCoSz*~5J(pFgT_8j+~1o$nWanHc>y)R$kk z?)6=4x7r;0Y1njD-^62iU!x_DAd!A2^%cM@2%LZL#ed20G~hi(NuFK(c^lyWyx%U3 zQy&R~xTxdQ5I(y+h5Z?Hz{k{ZEc!I1oTU&v)-DP2urL)(#$+7eN&RPuacVTm-uBC)PVOz z(Yr~XUq_QI>;L87x>cP0`+;DyFE6Y89Ww+za*3JOh1z=_X7gs+%kj$DRw^fr8$a_7 zUDp#P?@oHsj-f(6moSgpY7k#t3)gt{ljiO7ZO%K|?GYh%&cIP#_2b?B3F>HZh{_d% zx$lc)1ub&7yiT;m-)f=q95cZDM z(6#?MM#*Q|$QM)x~e&R^aPLUb`fvCootYRhHPKBZ<%#kBS(y={C z>@FZCVz+)|TUWKU9TM8lWt1M6A7XZ6b|KdAdh^`*{YqiJqnGvRH=GAyt3g0VHrZj; z!~OoMzOK`Mv(1(aZJvpge*~*#CEV;kGjUwn_-u~OGkXRC1<=T$JI^7D{n|TG9!Agh z>D6Ocrq?hXI#l=y%ldF>T)SR(^~RZ-c(Uu!-MnUZRH@xzkxu|!mraK_C^)@Yxj*_e z^{!bRbXRw4&?wcL%+rhPlStufT;IG3HF1_IqW{XQP8xmR2++*Jl`9JNGzsNQp!iqX z5`*|Gg6WvA1K75pWDXInJV#Bie_1ukv$k`ES$-h*Ub5e%I>&8IF0V)(UQ;|~?AW(n zt$({=0ciX?wbSkCACPeUe*=jPTd3(I1cC-hs!g6_Xa8 zGiSU92Q|iK6n^+2o*)Av7o5k>P?#a`W+Tq=%)KO1Q4X7a?%`@=?c6QhNDJlb1mC}H z=9ha0zyi{v>?@XfrAlZ?SegeZ8wit}_?zs56R>#^=%%nFfGVNye4jqB>^?s=Q= z8HWD&n&!w8Y{B;!4P@+BhXSby0SAI>qfuy!+z@8LFm|b#5Zmx^5B(t0ILskWx0oqt zppEZe)nFSUj?r`~q3 z-F6v`mB*L94!A!%?!Gk|eNXws$yoypk<6eynMIh?V5hJzmDjDPd1;}qDZ4yazz7t~ zX5;iw%2D%0kwfjnK@Mrpo)1`j&#hiQ~+m!T;dO_JvuCbeAybT zPO;UP-_SRzQN~S_s1H5%@w$FK3%ujceY6)P8{}fI=pnDz3Vk>-XHdKlnFnSYHBU<6 zdBN20ALs=HS#Q`kiqOAnU162O{rg~novPoG;r+zF=~8Fw7d5LaeeuCId^bl7s@qcI*{3jr@j zI!?Ch7B+85U$E)JdcXvbN4d78KaU$FBZ=|6Bsm--S0adz9DEByTUME*>2InRb9s&J zPGhk%XJa5c8B3s$*ph&Hn#ThN;SO7V}a_ta8TfGWmF4 zKMX<{crz8KrJi$##N{KdnRJOokq&i=%+v#jio;lEns~`uc?I3 zDN?d>)|_@_sVY;4DCLvaU28=hbAPWYgTHwYC5?Xnli#=z+}ua9OMD`w?dPUe-TaAq zgL+HRFLm#Ulm?u6p|l~T0AEv?Ah(B>0-NvWjo ze1{UJF#N=Ze)ple2fsd#XaRlvAE0_zu<}{=W8l*bApkT9@jETCjfM{H4xJ1mv@|^2 z^47W1OvjSgo?+$0xxR4U{DRWuxm2;L*H!1mWlxuaO{XB=o$s{)5b#@t?!kkBQ!0%BkNTV|beEN-&{Z z4%6(C(ciVMg1qUxsw$kF7Z1eEe(?xA9b zqbP4BRNXj%MPi}@0O{=F=`AdFkEVE%unvzW?e@eR3HdVXihncgk*XN@qk0BrCdeFh zMn<+ZL|A`qq`=4OYqA$0(D1fUrc|*#xCo-V7aUzKf=pQ?tndsM*qzRNITej@PSwxq zijF2vGQ}|Yzx9L50sre3{J3nK@ZF{cSt90!d4D&QYUu!o`Fxa0=V>FqG{xsF!We%- zB2=r>h*ps&6sI!fp^OW6Q6NOQ$l+C*@%k6uzc5Eu0e~Dyjc_`X>$^E)(h#6!vxXU@ zR8FUpk@DdpYQ%+tg*v5>cja&;!cdCgGY<}Xf`#m5QqGDix-wZOj}nq0e6MD%5n4wt zk(qA$i;)3kz9@r2#Q^3S8KR+X6+g{j9|1>=2tLXgs>EQ&V1k$0et18cqv+#|Zk!AJ zvSjR~8BK;&z&w^hrnpp$1{v9E0?t6}B=)#U;_W!@Sa6b247%|_QvlfA2<5G~svDEz z;w+(I>@CNM+H;z59V9gjCSoE`s4tp9nr_;aTLNHL7he}qum4^iQv#jcA^=<5!Z&Ws zC=l(V7K^A*DEKPlZph5%q`f6lhu+~}qAG|EccCUT(j5=S9{-(qo00!tU?W(Z9AcEj zDM5D#<#8m}@{}IP~CJX zMgWq}G17w__9{vTK^U>m)v4u`Nau_9!d*Q% zji{ug`Y#;G(jAmG6AEmycpRww?!m9i#u1NWarcck4LJ?lESM>2GP~`KLs|yAf-{B$ zVB@~1c)j+r5(=!dSRJ4Vl{^-coPY13JOV?EPjIktZ^h(bgUYXlH?C^J(*0FcE1D55 z*-LnU(1MXKK{>15oXL?%PrH6@kha^^=})z%kS(MCo>8Cg_`?nDVRjh`YOFx#V(H6K z&DIc-W6`bQ_4o4iSC-s7+sg77pP`m|?1KH-8_5Ii|m8+xoI zOgQKq^=NYxR)!yJ{EH4sD9AAT@J`~+8&H3_%Sq;wq9L1vD=5qHtZ6TA>#Oq;GVd5u)HBfZONs5QIoTX z@+|8@WIDKKqbo*CR>JyMPC4P!ItGmq(NQ@E)>++{dN+r+UT-2`FJ-@}10wssvQ}lH zZjC%7}3UpJ0sIt&}ZHpHu?egA+SAF=oz+qJ=V7ATMXZ^yS*KY*xS_m&nC}DblTdV zOO#^ma(y_WmIr%-p$;x9EtsK%5gC%SP*v@rP3c;^2{M_tTR*;eP(366kM3r;`$G|y zJd{zQ>^*gX(5@2B@PMFEy6+F}&VWsPgWjQj)TH)7gP;e=09(wZ|-yYwzQ`d*~!>a76zvJ>u91Q$+dXD~qC4@u* z{;BHznW?EnNfBc|_8}p@#f({S0`_W4ay7 zybKPCa(+WYjdBI`!@TEiszdZibr`Gs+wYm8p$?)Li<7*Fy zt=W`!(6$8F<^3rKrx5d?+#m+{{x19PAb>Ub$L=k$+ida%I56!d z_zMdfq+J*X^GxExL-7(K&Z>Ju&bmPke7X2Nm4Z?3)~@|{X?y*We^!6E5k+1l>JvmB z9h<{}z7PFt1Hz6>g`HRZ5xp@r5rg(4So7NrTv!*#COilr6of{%cs#w8I1==4$YS{M zvbw8()gHKuY|f!>rw;w#9>v?cz$>o_V^+O;cnTfb-fr|&qksYm6+}34J#~LF#r-#n z*RTfw!GoS$KXyl3zMkd{WeSht(U7}iOqGDWCz{5*ghbvyI>JCf1NYbcVZazqFmv+& zxjhZ+3Pk(#o{b=W_-1Ekfw0HP`G1nI?~V}3>Z|8LVedk^L%qL$ZQSlaC&eKdAb_-k zRQ+v1#y%EUBeJZU%6+-}w};H=PkmGP^zx&tR{;2C^-fN0MuR{9jC&_~o-i&jtFkE@ zy)z#HHV%)nyMFZOfCm0x@FU^(Pb;Gm6b%QkcE5KtUHs#FD|SCARS?V$z>(h@S4XHn zOAX?BuX7)3w+z5O+!^RgCFTM_s=h5ge%2y0p58^>d~2Qo!5`l+AMPpNnZw_$#HQ|4 z4@j&RL{HywIH%A7Uf)NzWt#4-5}(%Ge0Ct0fNo45a9u^Qio1XP(yPYCv3o!`+6UO= z192$(74UbU+82VGf^IKvWJ6#-;ha&E!X7_yZXc%FFm4KWv1)B=qjYb6e!HL9M_q_}#rwu6DlAAA}qC zP^+AM%)m|=w1B_FBgZ2pD)?>LHxM%@`h)jxZ^CZjm191^w;>_Y;j1$~zzX_<5O4GV z_9JZf00Z<^@GHQl>j&X#@2;`@OYd%B)+Nh z=K_&fzM=*%xpUuag7G}~UoXKQBzGfcUr^t7dI5cU2FSKSj4%tPvUYfr-nUPuJ62dH!E3=wRdX5#N35YGYSNA;e3d&Z z!U`=yxZI7oPc6o(09SQ@Z3x2}`<|uDC$xN)#yuqqWGW`=7=~vr0&9D6=;)W>*C1H7 z7b#T9cdJH#(hipX%YmJlubMUdi|#uWHnm>-0M{$Yb{Dx=*l?(5cbT zoJy9rgj6|LePz^^BK?biFCeppOD;#~y%O@_M!idX$xMF9w}h1MsdY7fkn$wYrgU$+ z_Mm1t7X3K9T(%mh?o;wc$S!}4)WBD%mCAIs++-Z$F8fVwoLh2ig5d()bZ!u%k;Zm~ zZ&Yu(a^s5NX{0BCNMM7aj-$pmy0n5BevF)KP*yN9veiT)W)t0+RN=FYtgb^Az4|*Y zy3-tik(;%~*PZ?A>2kFyElNGHb6icI5J?*@L->JIfoBg`yK^zjLjKdPG4bQB+oN5a zlBZ(F-E?wy7HTJe>aUWh!BQ6L3Afm`LaH4(%Ne1!-n~ohKoiAQzBgu4z-OWVXI+^c zG{loP4D1cojVr_Ex?)RYyks#EE|yxByX9-(LkuqR=YhoF#M^R(zxi^PThM(E2uNbA zMdL?~gz+n2*}6w=*djbo8y~bF9*4qYFI-kWs1kSuYOE)RpFLG41$(NHco3}ltVULj zMEu{kN1>}B;5#=ViqZ1(Y^+~>7uUtCrubCxgMtD{AWYk|PK;>z>T&Z7#BQP$hKl zGjA(xieVAg#85WTQ(mLky&g{EX}&stBg08m zi0=wOX@(C5b6_rt&PMtd@X$qaNhZO&P;?EI60JAdaUxPwsZSj~FNBvmn20CZOayG( z#~zJmP)xOMRM5@sGY(2N2Dd$vl;e{y+b=10pVtq)NA=do;tM>lY-HCFtf6?TetYiN z5?Oi3?2G7|4x@skzETg^iM0A%r80SQjcEZzE;aK4o3v5uA#y*QNBxc(q4>2T32Byl zk_k07lxCtVQzpzO-jfvx47tMtmQ_Wv#Eh}oh#%pW-Z@irP6G$Ij*4^{cWx^_p-}Fj z?cL2G6or{&a92_<$0-yG7Nt0vp|}{I>WzjG-Y~Se`AnRa1bxBJtzf$S$b!iR7z2PE zlhb_D`iv;Hq>mQSb?=GIK|{zO(y_xSMQEUR|9n1npp=o-@KdO1F)as;8xELdw6 zJ&x_CX@S=W1f9~`>p2A05G+#5p|51BLL64TdS`(s5@{4P{?x8Q>Bka0d29!*dB5Li zJO;{OqOTw^7qW?5!S!*9@CPDxY2##OgRx^x`uhH@^dmOM9g=;bC!cs83nd_!CrOq= zX!AwU)9k=45Rlz2a=YjW(sPF4-AV#3UP2$v(K;~U7SFfTiXF9)uk4?ZSs3%m*uCe3 zl5~}&10_&pILhv}m70&$^eX0UB|eZOG-!0eOuPt@V^#>^b99~lwHWE&Vuqp^};h9!!J0#J1Tg{a_OSe{xKrM3* z#RmH@tHn=`FGBF5z{h3Jxg6LUz|EPk>Mz*X6u{AD8T-9|7CE2gT>-s1556tqVyu~3 z&|E7hz-bt*>~{OzFVDWo+39eDwmtbf&3j6e>tS;@Q0#`+EO_1zmIT3g15X zLt9UYZ3{h;b&L(B=^>ZUFHxfZl$9oGqrtA8fntw&9`EKLduh}v9aqCrZkkU?zz5^* z#2Q5;SZ!j-nr;b#bRK|7Mdg)}VU_uBsB*O9a~@ibw-uR!%UG(A^MkI==HOZ;(F$4K-Gyi7wT%F1q-#Q{c=f04J|LiYT@&&$d%oc0Tx zkDtDHgLfp9YQN(nM=Inm_VD0LkAF4{|KkbBCJbC4dXEuWT6aS`cOpyIoZ6Z{J_ zd|iOqzEnA-vx>F5T5#Q8)>4RD2#Qk9kyG}CIQPVWpA7@HG#8#v4M|E&phV4@8*(x8 zARg_aeCdf7YVnksD4aB~^JE*0Y}(kk31Dhj+-1-nTG2o$Ys#&}`k_>Z^nP%4pN9QLOcJ=4g7ay=>L^OkZ~)NpRg`9gL1x7%Hpb*YB+#ApF2*OWFvx_7ArpL0zOo7Ln;QR)RHA_ErbX-7vqL9D=n)6_=}C^{P=dT=bu?Kf*)#;OyG z<{Ti29jY3q8 zcQcKZN=ICgsWD!>rX~fkmD@z8Hg-ePcW0Cx*4NN;nEul94Y}}YN?-G5u+pnv(V9IV#FShP*etXNrDY1V*%KuQCJ7=47 zN{Nz26J>Q_YfP+@6D^84@}lU$a~={=YE<%d9DE+V%`A*EF!s+Q%`+CjN%GwW` zO)iQq+di*S>d<@31ON9dX^PQ*67*##9;+D;fC z@zTniDoWs6tg-mSH#0`nC#&EJ=58{Lg36-VWDGj0<~>UvCY~hDBIr4U$oIJsoin2$ zyqxCxRXAP!_V0e^Uu*!8P+$AYa7hnnmpy=6KS(%cR=Zi;Rxv1 zsx`3H@i!M%>3G;pLqj_n7rG+$ls| zlMP=jJ%KHGuT?n#z>z#d^8ob0y>;^7dF3_={DceyS#ZS&4*8sSq;?0 zvI%ZHj;sCXYKefmoWPYjWqWE-T8iHyYBKC($MKv8<0XC$-j5W)Kz05hfeE4>6-xx} zw5YD=AqF28g9gpNH^~R%4MhtB<3Wpr_<>5zyZ0O&F$MEbE135MNUr1!t!RamH!sE= zUWq>2!<>JMZ^BP9`OI^MBbjAyOBtQ#3%+WKn=teVX8r)wHg_B@4t+}XpdL$Y2}1FW z@VtU42yXP@DzdMFYFcBj5!nsO+tptC^AP)N2|0Nksf4_s_!&#AHj;ooA(kV7DBC}5#$~ktvP0eu*pLJ0CUrFxbt~wcy#!;P)GcM(E`YnAL6DbK9$7+p1%(He|iR~s{u{pDCP^snw@39oy!aj#nnz;IPii$Ywyde6xY;#gLdS4@-8_fo1((by#SSikiL?(emDZf;gOa;`1aji=t?XZgS zdGxA|V?;@U&cHj|VfK;VqYPluFN*@IstqI491m*ztW!34(XOUYYkH#$T~01_cV)kk zbw2?nVRYQsATqPv4`KH0EMgNI>~`L!AEf)6YE$17Y#Ps+u8oq)5za*Nc;(HP44FBa z-$B`viRH#=jgt%ZdP8SjSyVatrdd82fJtjLui}QwN}~FZ@oVU+52^&aiHVLFs)#)) zFW5B88TSFqt$X(q;mj1bk?s@LK@|7--W9OnraKvqFWTuO5%cCH-?FjGtyC3wK=9fS zEV~!REexWKeD9T8Xoil4F|O99!RWOtgWkUVHDfFwnuTEn8=3nDEu~_@{Z>y0RmbF_ zyMx-z2RQ{gqH^eVcFlxLsl0b%eU8Mu-@1X>IC8}e4mSK|b&WJ^-DQF+&mI$1x);cu zK-#bUs=J&URG6pzGF?aGs((nYYfryg?8I3jT~mlb-JGP6I8&lAH$ z%O!&#+c`5EiFM+iKSC#R+g98fWeemMal*DeZ_#O$a%zH3Y@gN9XZteD1T`w4*+Aol zam}z|8Ytqu%{vTrm8Zd{#1(LZ9gYMmchF&&U>btbH;;Viv=mga{)Ss&=ZCpeCRIRk zVX?!%&3cuyJl|?@)ExfpTRu{gjQmyMdBKq^VDNq}vAg8#@BPP;>;bA$`5D*;TbGTe zH>FU4xydwl()Rw=p^`9=^}la_RBD7t=G2=T%#LlNQh=xoT8`95gVBjofP$?eq( zJEhO`h;SRdDyHpwfKk>zPe3og@F=B~v)_d5!!4ftVa5N_#mhh`e(m|{R8a?dH zb~!lDrZdm(hcsBV0QCwI5&-8FUOc2t8i(a5-Z#lt0Q()B7j2>)i-*%&j#8bsG^=xW zw%_>ipOJO#n27D;`Gt28JKdqMZa-UpqmJm%aC%TU}`{A8v%I z+RJp8^ZpHq9hn2emI`bU!ZU0Vdo|Et*17Z(-oGej}ktFn?fKvh{Tg8z9QSB zoUdryLYa-5^~@-ufGtJAl=@qGiPr0$OYgZyXyHZW(OYx{yavSl6T9i$FXXrc6w7ha zz=WBZkqLTA)_#3O0?0?}f3;X^d$%u{VAev@dJZS-DT?OYC6zLajlL*;l}vbn;^d8^w)elo8ZVg=D;QtA8*vyr$>}E9xC(Sm>t$2nqX1R*(2-wS^i&Gw_}@{hm6{ zoI9Sbli{LqaTz9f0@D`Dk_Q*=MBnC}7<$Ly_{ikim_pge0(>u3o6QN*Sb7`TpThq{ zY$U$_gNoJG2UtpezMfeKnrv^I%J4?pk0AO(-KXn7UL5(s_`r5LZc^wi*a>#%!&5%{ zoRnWp*RVOoT=?%oL{3lnFwx|kVO1*no{;`G4&P%ED7f2nx)4Wn57M}HB1W<)^rmTn zUue=W>A^P_!3ae;_2yI^y#jX@)wC>~jV0v|w&R&(1MGL^-&NMtSjzq!(zwJlf8c{? zd$AnALFk*FWO_I%UolFWB4Vw0eU&p%)n?&^CnB&j z`UU~^4s2Y|@8o+cPAiScV;b+!>`lY*W{d{wUx`Sp#rC~d$rjlLXkhGkfm(Q07$f|g zSjWlnqi8_ij(dV^Vuqgr@;YK_AbgQ8BXCx^l zpdZH|FyqAb631$k1`r>lx1j;lUgh|>jzy3u0MeawCcCSQG{?Kfy;y)ND~By>Y|$2f zj-E^b)7{GU$iahba*CYfmu!`Fofm^Xv!T9SSQtBg5;2LPgi3W|#q5*mr*^M!Nm!g(4USlW+t(EV zz+C98L469Adw*lKM)`T@|64#dA=@-=Q7zu&{cj96^w1$FlWJQz7DIg zR@!!gKkru2q)fNC_Z*JSW%~+k^K=k*OKs#S0sF8-?Xzx&VN%%|wP0WIx9e)={cXeY zumzmV>PnJ-eACxHvagjYoIxdx-iF-sb6E1(`A#(tE%Zg~BV4>GUgf?^C%}{q@V)iG zBZD;F@r9wA(x?)V%O=VZ{oQ#9Xp*G_a9JvXiBH>rh(+ZsT`30rsx{3LsR@MCY@dUB5FBGqp)@PGj z{Vqoj)18{6fybRs-f)PEnX@muQvs`%pJB9YNa#VAYRy;sAg!6ePemKfvA};6%XySK z-Gc*e+2+E_Kla_#yX&^QmOMwm+kD19S3d}ShHipitM&y;t}?!*N(P-~84<0M!a~A@ zRHZD?I94_Lz(FKAPr%Z=rinwn9~trG&|8wxk(cn7c2q~JY;2%zvn~&hR3bX{uW19d zrrx?w8||A%aE&%9{meVTL2rNcYqfIUn*gmZ$`igIX$S|7+9xo1Ol^@9wcqojGI1pn zFwd-W)PZ|X9ac&xXOMmz*fx;A`-ZCfDp;?*>P?CNyHJuULu4}S+(Ws1olk;*fMMYl zflyKwo~`QW7pPWcuA2?QW#Nd0pGFTXDqIvSK(7#g095*W7@0}vCz+g!C^_Fx zbc(OWW_KLzRl*vus&ju-b6P0bWnQr-V6c4TSJOJ`6S|tjo-H*wHsL&ob&M^PLc=u^ zpA`EVU4NMp64mQrQ~B!)G_0<1Wy3~z;B?esP4%gB3A!iMzUE8q&T7Y^Hv@6RauN3Q zkp?#WROc*#pJ^=^`pT@_!;Ug=S=Heoz%r@X{G((STRnWnhnc&#D(*T{lh2OUshlO-=i^x$j)D3j z`*G9DQkk=xxt?AB*$7PUgJ*dkamEsVG3c%}zBO-Ll!+tkcv|(YJ<5jkgVWG(#%ya7 zb_!nFip#1ZzJ-75E_;KT1`?O}FY*kArcEGH(2+K!?oZR9{!uYcNG|-Nz~NEr>?KxU zg5=p}=mzbl2!vLuT-td61%o#=WBB*p6seWu8`+?d^pVE&8zuQ68m%b%L7?z%)Owd; z=gSj7<{L-x43_<|+T&}roV*Xmq*xg%QA z!6j_$2C=0CYc1tag9Yj`z6kWK4)f%_uYP4nUgjm<<30-p75p81(rr@p)TM187UQt( zf&Q|fQ=-qHS@NvhI`cwTqXxi-rp3k|?$w;#dW#@sE`8!(%86<{H16EV#hw*nv3WQk zP3@|#A?be)wBQ9=mZUxma6lDyYR@+c_=wq$V@lGPfxyzHrS@CaNU+CVk5EJuL!>@v><*$UZG5g9StO_T|QaeUlXF>sH;m+ zV$e9wH@diE86Pmk?OeXdBT^=LGynA(6_p#6uuBBn>drz%=T{ za0|CM=z_&G z(9kbeS|?*<)AFyS)kvi6=dH=c883SS7Uu8y`xu|N)AoGBnl%L+IGb$I4XWi>lN!WD zC;D;U5U{Ko@Tqd_*pjM>%N}n9)0%iEDXV`cw@ONk05M+3C=I6wvtO+N?UEZOC)4jm z9nEUrwvv4Yl}nVbU@3(UWbzDEI;nkVbX(4>&Rm?Ijwj*deiliPU8T~qkn(*&ew*4H&|mxq6( z#vM4{xS2u?W*2NgU0_T|1F6OrJMZvngoq>EwH| zA};xj#4BdZ7Al4rQjaJN4Y15f$6~tPI`kpwz?n^1@|r}muiUHAPnm&`5ix)JsMnM!+@1N!E3$bPzr3~>CCv+MCY)JaQ=*Q^ zTI}gEhypH6`v?#Pl`3V6?wn<&RKcw8z&qqU%|qN=r#*}C%0vPV{MAw%T3{1(^yLGP zHCs3D0}r^t+NdLx@#RMwI>6gmSE#&!L+_E;_?FpCkGA*x=2#=*zPIF69;1JT&jO*| z+2JzIFfFP1v##fRR8te5E6?#n3_KyDfps`@J9DfUJ5}D*OoscBSL+e#9u?BhT zlA%67#Uwj3I z`it*}2=BR&9VfE*6C_YeHMoCt9G1i=jf^x#CpJ#}zTW{3If*vk zR?G$+W6gc2Z(V6WtLq@B%3JDG#Vv`Lbf2EGbE-wJa>&hIS-J9%A)h<+$#`C~c`2tP z7We&=j5V!Yqrex~@ZJxxvJBQ3^ZIO|{?Nlb<4MqE<~oJ&v+$atgF02f{{jDqU22oj z0~3dm$pN>L$pYpm2{F3gswnCZLLirc@&XwHYzI5Ho$>??b}q^me>NOU z%E4reeh-0p(BcQ>cz84FmSYM>8rm<kWQu@vY(LtQ^q};)K8CyZqU)qz9C#J7LG* zVTH%2D>PWy8h=+fa9iyQ2rVFb${s&v{E+b%!}gHzZT8bOs8~q#GlT6b3AWj>q!e_( z_|d1&%!C5mjs;gru$$#nr9FeZAIWN&-| zk@(xuuzOenXduV-4&&|e>!fLirUyj5-~mzI(*vUT5j`NP^*x|QyV?U*(pptGy&kR8 zsxXk&)}hr1Le$^I3xO`kC60HihiXa5>|PEU7ai2!*FoJ6>7Zc)2MrrI=pwC&q0nwU zTA(WeD1Y?bov!9)5~~Fvzm*niE(i~rj>`0awW2fkaZV*%(>bwL+`u`N2o2}NGW5rD zPOOsGb=Fi7QUY> z5bGMQJ6_nr!{Hl3;h|{p5`0bSm6GJb0E34U=fPY)d|#KZrL~p*e^-}RX2Io^x~I!4 z`6H$-rT-3ge30v%(qhr7;l5T)i3?voJ)m``Nkf7?ot`BP6$&Zk-#2NfxPIMKqrJVT zUw=lcZ776yKXi?i73z0(>4kSz_yY2NF0FsWcUJhuc5UC$W_{mTLW?3tu-iJchWu^^xy zvx$Ugu16QA?0BXl-!8xOy5+%(trOhiSbuA<(@E>tD^)0#TJYJzGbd#MS=sv{RIP^8 z3|=in^_=Jc;lfrctMPm#jw641nyY(BEv$i{P!aeVO&pZ~F2-3L4=Abe9>4Mc3Qaf}z$Vdwf5w12 zdyo}86;ZNIk&K8?2olkVD4iC#pVl->=&oujlpLaqYrI5RQd?1w?lD+O6CS@EL2YRV zD+vopmV*eEvp(%lG)5p6sZAX7S$}QGQz~w^NxDv3@yyz^S5A{gyg^%fuz#HDY%Oy> zpyjP1AJ#ZZbUF|o3Nb)E9Qd39tTRq2255b?1K8QHWT9$@L`iLo$R{5`f73Nwb5wGj z(g@m&>^6I<@Sct3Yj8AKE?KDZoD3J@r{v6HmG|iBYUfZU;}9`}c!2-SJ%2pKaBAnH z)T98WFT98{Aw_MVI7uxX#3W&A69r{}EZ5}urOF!-Bhgt$apEwZy+q^{QObZ^ASz%V ziYQC1OMD#U42V0(x0L)LtT7-x7#5U?2`&=Ucw8h%JYWFgDN7=x;7D7M86CNRGBYJt zwi#rGlFDLBX%9YmT2UxEfPZgdEFvZWaLa!_|JBbwDF2U8cAC;Fwb5cErB+K!rdaqv zOh6`SeuAT9o6=dNQ-8H-#A}QxO>uxe=gstbgZ>w(NYq57EnOmnrj?3LdnnZ@L*abl zmsVE1snoY-##_^?d90n>?7`AaV6JezH-ADlMq3nN)>D!0AG3K{L1R`rD%2DfJ!!>^ zD$QxQ?_f*!6Y9_BlDMg#TG|hjI;3~}M2$sMYPH0Cqan$8s((f8$`)^JHWfnN&<%q| z{d8Umi3OmPMpxrg-gqmsK~_5^>eQc88G1GuMaE&)yIsO{+KOW)8EK#;)!5kLbJEp= zHNsR+Sgq-HJ9P-m%y2Y$a#C-F@{&B6#!-)I@$EvO*{x-o` zxz_YCU0dghHhUQa#H_ML*3Ya*qcxkVIgiQ|woaWWG*z@ZmEy@D*=*%W)K4w#e3HGm z$2Yax<+wZQT~CIi^yc>0&K1lYz1un5d-cn+{eP_^DPW@CxfnB(D7NUEgGbh}NBBcx zi7#OR6ntYp?&22*;Oi~^taJUc>|I>KV{k2w+u+t|%Bv4} zhPC)nwFqPd9+#aFzS8}PKjmBe8Qp`uJ5z?Q4ryyIaxy_qXvazX0VT$_p5q zO)x(C@cPwZ8!+B&w^z8Zlz_3umsXHMqRSwbvIa3e&LCDw)ggX_ew#pcImTM%7$d^J z@;89#C%|)=kCtD%{mvDDiTLHf4G}N=POe{`Pf~A0xC4kN6QMW(#J+%MHZXIWV1M@J z&FlSF?*X&@-BnSqRTcHZgm3tzzRfQ)(7aj+8Ul4ODm#;M#QWuV%m;Pt!Y0}sZh!cE z^b)i?Sf!j1Q{_awk8)xSf2e0P{Cf0N6?<>^o2&AoGmF9YWjX0kBz}Zg{PfLSmtwN~ z{if5O`_y?Bqy4p$;0mY1$o-xFet$CryU$1vr4e6((K;3MRVqY;djMpL$)x;pwKqC4c0a%Tu#ZQ^ zfnTn*^3&s3sRvQp-{!k{zN%}rQIdYMbNF=c5VSh{v??Z5WRIdly(E@tc7LuHD0#Pp zW5i0$-tf+7H2mZ2w0}CBT+SXS2Br_mvv5oTd)^>Y; z=N%~4UVRGLnX{V*I)z-g<$vhjt&Z&4F%9`Noz&SWomDke61-`g$bO@2x4ZYg{c0bv zXszw*uqacdO) zCtJ;;%Hr0zM%>1^)?$UqwLI>0J!B8+nrxI>_uucm+CTc`aOYqjzqDUrzW^r_{uEOh zsIsH>b7gADReW0!TYo!{M6Sr`4IDo8W5O@Vrq2i6;TfDXuvhQ=91`#VfADuKwW~Os zEb5;9Vh;zwWwtuwl779laR0ACMgLitei^va8;vI@EJH8f>&za2*~i}577OHAfBm#9(bHU(PnX_?EDIkaDt zCTuQEvpQ{v<09n-d1#5n;vGDwQ6n}bTJUKdY7*rZvkMZ%S+4#M*nx(slhFecw=Mz$ zCJF~QFgY+aGdP!93rMKLl#m!uK{IDeDN zZ%t7c#lP>|-qYLXy=Y5m>(M8zXT9I=M@w5(uc9ah68r;3gv7{1FkoVYApzY}`cw!b-fR$jCo8>L4)ZFTxMA#cyck}B~ ziCc0|Dr07q;}LmK0F%buG7VZSihs5S`%N|*ZEdtg_hi#(>!Qt`l`W38IofoQY%Z#Q zQYCK1BT}VqxeHQdadQi&wSqQayhmCN4kqSJb*KtZ2?oigq4J;rj*(48O#l3?7bS%FMX zH51Gtn?R<=Z3InZ6Up>O&7g&BGMQer6||AHlj$~QgE?d!WV)ty&_TA4OgA|f%p>b0 zE5ptQ3&<9em0}lyMPy6JO0b<^G1*eG9Cis;$_&59kGbU^f_WE7_`Y_49m3z)|cT)F2q*nb{K5 zundZeNcVyL;1JmBR_NEL18g~gVqQ7~WDmPlz0elU2#1)Lpd1u|_|I!usnfJ@3=Dhn z_qnnZ@Qp&&ZT1aiTxU28_{f1ag$lRMD_YHShQ=QUbTX*6Rc`C9X@5%%TXeX(tFqR* z^|Wi10tc0qiUw6wove2oc%&`#G^mp*VWZpdaxGBIpb}EOK(9ip+nM!RRTJq|pa)@| z+xhugP^IWWpa+2-1bPtYLD20|hCmqtWeAiZP=-Jm0%Zu4A?$Fw_(emz++IGA>UJ+b zEw$6Vqf%;@d)IBL9)I_{C#8DbU-e4$xsUyk+U-fjDXD%>+U`s3@nrC_)PN^{y5_2uZXc{5x;Ln{CRJl$&N)7 z-bUm;MwFj3K3Nu|pdK`U>0kz!31)#t&;*)2lfN1VR6n)<*#jTH$d}m_10D-9F*h~} JB_%~qMhX*+^L79L delta 22011 zcmYJXV{o8N*EJg3wr$(CZQJ%0Pi)&0Oq_|GOw5U`iESs}{XRd=soGuLKX%pXS{uE3 z_ctSi{z7QLh6ie-zb0T(=dbyVtkuk+7DHEd$Xzzs|8;Y_BxLUT!oLfL%K9LATVIjV zS%{er;+DjiOI0n&h$e)8e*_6gZ}j9p+D%mcoWjWeGjo-USeWHjE13sgy4zXbN~8Xd zF-9r`y?AF^Ko!TMQ`fqyQfUrXcM!5x3_AW8#dqCi_P6?5o3;m7vB1W zx<0BUxbx|b5uv5d(SDN6@t#$tBO=UU%`T=N_eAnTK|EY>O^$v5G#TXvr60Ejb zFacD?G6@)NT?dDjVqZ0=Do+!X3c&C2H{eiJmpsE~9Q;U+M zL2A+HuWqHpVAzVDhH+@b6`iFzh-n~NY*njqyA({h#cj-+i;{HrI~>^E4hONAk{XK$ z!~v8DtlO{lp|iI4IARfKIO7AY7d2Z5LFXcwB4#sb8W1$yYZC6ps@&@y<_~DH8613)#zm+gR6a#Es z&wp?eF1(vi_sWl@OGRBqp$U}~I4l!7Xvx?4-n!{3=PdQ!psj>gJj5vdkiyJu{ap<) zyc}S}Ol5RkKP}m8hjlP=HO5I9v58(gKN4^?hEdapEUMg-vvj=H*II4UjRr zXFSKwQtqB6GhJ^(Y##yhGg#BhciuvVbtcw33Lgh$x{2D&HBPqP*m~LD)W>*ZB@Zb2 z0u7HAddy7f9dnBK%JV)Qx~pra-X?<$(7BLoc$1$4h7lg;F~1rPR5l6R&$be0dBZN5 z89iKv?*Ej%np{6K`i_>L;{)v^lA*9nK5xbPORWxCORR8LL0Q@GPu3Kv6Y-~ z^*=1jhZ~`~C)Wz(609%X5Et^X9_?h{{aM6M&5=6PtId1v?2cyoJX$lt4AcpCZnkrd z&V{TaoCVgri$2gbUp6%=t`+$Un~?&U&u2?f-_>wD+&?L;=ilo0zt~OGv-2JJeEJhL zS6wpl3;y0dU@UfAJz!w;{&zx~FgfAs9j`FD7?!`hfeQG9|EaV?(kz0a3qd&TOcRhC zGgVs7@hekpc7ajmBBQL`2lr*ivAN_qRRjg2c>?1PG!bVL4d?Bcit+L%iCBXtB?za* zXe3-J*TFZ)LQhP4b1gwP0{)Tqm?}#$WN|uhW3?^}XG$;OdfRye6bp`bHiy$L!xF64 zf+FywWXDITWho?L{*CErQA;Dl`!W`(q;PKbVn2r`v3wFFTt$cd6ebmj$alIz{$3aW z#V-c`2|4r)-I|ev-y9p1^gQIuDNC%%G$VMY;#z1f`UOH+>?D#>Jla zCj`NuK{Y~$rD+^M-Qu#BUFiRxYigSY1_T=~4`=Eg1}$JH?~Xr;+IygVf%=P0>ON=_ zjXFUsg}KRBCjA#UL@31s2}y{B1!eko!IdxbHU&s>S{noS>UP2D=+nbgn_ySjw5E9O zN)Pd@fBn~h<3ZGd0rzocyoZGP77leZdo^#L&Gz%RkTAZ>2Juz_VmQhtXwdlAtTpk> zj)?t&jR}B>r4KL4;EhPFaX0r=pIk#322+zO`o}ZDAf8N)ri>kz@>^q`{;n^SY~|pT zx_-^a^&B_CeV7fh!nc)sXpQ3RWA?r4n?(Nl=l%9E5jfI%gBb()RHv24g8z327q-il zqIk4R>+3$RbFeykHRMMDSKrh2qm2g%q&W8ndHFes>K4uS3;ybL<0Ht6%IDju8z;_sC~@I7!h1f5ZJ7^k zn5A7qp8&U3E@+b=cn}Rz6>adqFMuBj+f4}nU4G(y==4%xWZ(uNba&?kwd3mM8T%uO zp$$0b>KeZ|d-~zR!*Bk%H@z18IJ!`8t@T9yS>xjEA>j&+2?xgDY6 zP=D^zWKHQ2$~C~1ZSU+_YgmACr8bA8H38q}JZ`juvR5-G)DkC5Y%nHs5)j*yzHB4` zhFi)^X56yJ=e{?dDwae_PB%Dt?ZylvMzdWWlqEAG=MEy)DNtu>9=1rTW*ky0$58t> zo(Ex#$KVR0;iSADrQst7FX#EfGK6lnu$bL@IOakIxC1cA-z$C6+=}|EU4JJ@JOOr^ z&u;mWf_NzUm|siKP<8Wl^Sko5HjZZ0VVm-El+_3BFbcHrHjifuONYi%;uo)HT$K`TRLi*Nqf4t|78W%Q!GK2hT+5 zl`K(JWE|_M>?UhEJQu5@#zrhO(aP_f$V82+en?D2GS74S@JDc^qA+jcK>}pniHYF% z=re&X5w*q&f?gaWN>Ck{f$j^m<=2_;5PK84*>0dd#ypM&6OagXJ?vAvOX?^_hzjO< zwmJpnk=Yi_PrT zi$~IleF>m;QXNcfNEUY7nC(RV~bn-rPbh-G(BDFlM!UGoJ9^zDO=$X1`hi5e)wD1 z1!^X!>ICNxZ<*kKZ^e&il6Xoz@UgiJnKPUOSW`q)Ja!E-rR2(}at#b6Q%VxHNJrDS z$u}Hv{Rxzy>}nGzY$+gTPQL;yoPFxH0tSTI7Vc*ZQ8ZgMh7v~}24e*6hi+h$)v>D|%Hz~rh*RSX$zlidtJXvnYI%M4=T24< z@u+q%jsBWB^4{D_U#*l#JC3nZ$?VW)cu(i+jvM#2ut3>s3>GUhozd~1(aI)ma*zcA zD=MuI-U34bd}qLE{F~LLI?I;w5v4B-tzVwK|7;jbFI3p&42e68uRZ8L>&NREIk(3; zmC&yfU{?V5!B^($^Pc-eIZ-OVgU5Q=Tlvtly;P6R8tBq#ltFBj(E_b>_K z&)S(xCj9kn)v%ohu?((KJarlTn0%Vm&^xvTay~6<3Vi1526eF>DKDJsy&#(;xQ?#h z5MzPJ!D|ixSuG}}r0gHeqnsbJi&!7biwNJ%!T&8HX6P^MuGT>S9$T3R_A3mGCw#Yw z?>Fivx%$4W=E193Kr{4JeQsUVa&}rB>Vp3{&mT&m`SnPvgSAE8{1D=?0R~Y5y$05vP&}Bo=k4Iyg9o(GtR4aclD>`nbJ#MItgMe7J@4%$lMnh!zZ5jzc)8@i`?7QkcR(SBJ;#A83KDD|J7sunq3vO} znSDFHun5DL>O?*@NP#e1!L>l|7GW@|@T0H8aHwv~38~WC6hdNj7kKzYZrmuo1?(Dq zOw{5Yz>!Hrl-&0IV3BHd%JCVTP(%lm9nIe*YUg|}`a+)=M|&A;W=$Jw_-p`{mK|zp zkA|QXua8Ti3zE;t$Op9{GubPeZR!egu{XJ^;v}J;lRqxU>-YJbYK&tZ%%9Q+DvJj? zxQo{r1iED<`kIN{vV(Dj(OvO-{vyaf?-JJNDuTL>9*8V=DgXsRv#qNN}YThb6$V!A1_>6r-8EI{4M-g0FnLSf;K!_t4rzdts6%4R=e z`Wr~Rrmqh?`hl#iC*n(`apKcIg)qAQvHpvFf9lcx(kZ>vyA@FGL_CE{;ZGENaxZ?d z12G?_G2pFnSq>6F`a+BHN#hT6i$Bf|Wc!o6qp{j22O{l2V_hYFS@a00tr-Y+x&Ug3 z1=FdI4KgzC+u`SDPtsKzUG1vGe_gcOfs{eP>$%Upi1$Etap+rbjjLx@iy!yKTr;E8 zxgD!W_vEvvszJ$qah-yI%T^F)(~c9u%fdsa(~sUVJZX;Kk4S;Cq+|f6l*M+L5@aut zVpB_e4}muS1N`spVq?{Nq&Ef<=jK_z?kvK$bVGfw6ZwAFB&0#4Ku?nW6_ys#2NMX< z$Ra=V{X~ao`fie&#PNVc!8duuO!}AkEYZfJ4xv2c>_i>9)`LLMBQwZr2p{0&bIbJe zr`JEHJY&g;d7^P)Sx8`qs4B>b*l<9&3JSS?ck)2v=J3pq=sMjy;(ZA2+1_v!^SrOd z?DP3`y_<2U5B!E7q*f$I!@(kIIJG4LQ(oyHxI8D9>2i_46g; zeDdnWjfLEx<|4sagdL$Sh^cGH!I74`J8cWToTHnq2f3tZDsygLKdO+f;+6@m13Izt~1_Uw*T8zotQrEI0Xg-A-t|namWe z-uDl7eQAm0*@Lb)j_Tj>I2Eu^`^s7+nRLfw#7lbjK;tOy6x!>|n0mbF zr@w!L#<1-VP72;a6F7gzG$mSW5o_+gbOHt6Jdwa-(5gMT#Lfqb(fll}_SZGI%$P3; z*C!_;_Noyi(?}-!@Hc3X?3nuhls~W83M^=EDyjo6#PHNw{{JMtr~@WA8!OlU6uyDH zGyXVg@45CAZ4pTG*7az?KF{_v9~9aUABE0!NQD#{s!$6C?#An5)!B1gq8OMIKat8Qo;TFIf=D^Ic2w%z5t@;s!no_V*3IwhFJ=$UCujnQlt-H}(Ue3{ zeRxb{m82T4O#bPFto@bs0W19P-`0{+IW?`C1!<squBOyKd{1T-XXQ8sO%~ZpM^@a!x$xnkR<3p&$!JH( zxcd@$W8RMV2npg?1FB2_*M>-LMB?PWe#V+G=^tIsO^!*j_Q@o&LV1Oqa(g*Hu z1cly4q^sEgbgQF#NF6KFebE7pQkr^vah?m~!iAspYfQ03>yR9PZ+4mGJ?i?9&mV}D zkSAx>V&4MUqgz<+O4V$kg$fZde9!gQ1xm0VXaRNBVr?>Z(xSiiic#fz9S!pC+1X0i z_!S8{slK)%t|gAY7{)4C7GebNfAQJ8pp{NcsM`ov@3&kPHCE3I$?$0M< zg=ekf`tR`_L_qC%`;#E$U-Y4GYa<}cU-UP*WdzTNAY))`1Tn+lmc&-6Kgw_ z6^mCi-QDK%x*w%VCAeQkb1ogvS;?|df3=#BX=*7@;Lt}{?dD48GeU-jg3Qu=vKO0= zOAOD`lW7j8iiGds*TpezvX{47lq_W^w3I2C5@9mYNr+j_OMprF^4R9xHY*F8>=h{X zluBJkChP&kFPyRNSVy%6v)ZNwe!*!%==D`aGo`Z{^5BuTjc)j+>NSfr6x^5o6aV}g z^js zfV}~HELL*4Vh~(3yz-(B);;pbmFU3moAg_#w;{y_+abQ zn7=3rjNQ2FXch@X6Vy;O#D8~`s-gpx4R08Mwalj(PU66^^I1asYdKwcknKxKaq3>! z2yND5b`(hqDm(Q_L>1k4EEx9)?6k&KU1r(l@#tFtA zQBW$f?Nr*Kex;=(VwjY^%tsGm3q6r}IJG{x(@(nn}T^a|bRM!~3zIMTP zTK(+-<5il-Unbxq6BNgFC=pOs3L4IWY~@`4)l%gDS4#r4H&J_>NJO3pU+%God_rpm z0sJ-?rpC~CXBqy7S|4h=Mj>hzDwlwA-CtX)1G zW(~RE^WiglfQe$K)~vFOQY*JH#gyP!I}M?O6b{`I7LJFVPkk<&msg8@xH4=jYahu? zZMz0n&T?@t$MkO)_*Cb7%3cy)&l1gPh>E$TZoJb60)iF-Z54c^Z3pJiZ?PR5`G{7d zbAjh#InuasP%haYG?YYNg89KcIYWUSp9M<0LSj1FKvaW)t8IhsegW-LZn?ralSiYq z?g^NC-yG#_VzHV}o43cGlqG&X(&)c&jbh<@`l7td|9^Yw{%d(;TRurA5Rr~#BGTU} z6cGizDWpLgSF2X4LOaF!{zz|_IE#Afig0O*xj`OGQ5*hgM$Cq!361WcBh_&Bg#(y` z;eNPDKy&pI-|}-qa*}X^dum4DMXSC0l{_|e&aoFu{Ua15hXFKx5Ac^tbJ)ZaHGs(B zrX0r+rNM4UCW@SvNEdm|lh3jFSsXzMmcS{)37X}_mr4`HS$m5ll3mz5(2xp65<$6f zoco=y8sI6c79%E;7W$c7fQ-znIRUmPBb1a@bC3ciU>FXtbT=|-bv4j>D@*3H5Jb@( z(uovbwrNnYoc6oHb$a7?JpHiY8k)8&>UQ>2dXCc)ll{rr)VpJJ0<^nPq+Cb@o&>!e z;4T=Z(%{n3*Q~oLkt&vc{jTkFS^eNob$n@9L;|--S~MHV0w&LxcEP;&EPxp8#<&1j zd9E*n9`}8ep!^YP*61R66ab+)@IJ;{!q~-+MMsF9pC`^TsY!hdlSYK%uZJ8ZSi9aR zaYT6>^&j#{lqeSxp(jOeH@L@t$l}t`SF9&Vp)PfPbF2nP3Js)#tcjx__{%I4@AbSs zmCoAryg1lt-bU^aa?hN=f9x5%4;LJAN}CXw{)a1Z*w1hNAJ5qQWpkWG!I%h|I-XSx zR!E66+GH=JoDhi|D z55fQg{%3t4IHWBjwgV2b^Tt#ns2Tr)`i)C-#Ve0PBwdwJ>-7V!w5hk}+sw1TNjwdu>h;f@f&6}e?Mj=@ ztQL>NAqmEiH355sE!Ykp&6r+)wn)@%^jJjL=ZjHuK{^6SKZ+lXOstvMI8{9|*{tQ6D>kL}UH>bt@#D!E@A zQ2B_BYpT>?!84;I#Z2Bm*DcQ!iG4yMpJM#zz4>peup3I=VoprT3q`&e*M)J&yMMfM zZ_hC_W_H!thQz`S$@*CKPwc-gV3~g`phvFw{sS-;Xsv*%-kO2@=ub3qTK18;Wor?o zIgnD+X%AG!d~}K7Za!oakQjZ4uU`i+TcR94*@6>&Pw^weB>u6Pa5>%ZSH0mRN{-tI z*HKv$@rJFwnFzx@%^wgu49;PHwV@#4|I=+@qCirRJ{Y-XE1`vk8c3_}qhbbQ-&)S+ z71Q-9zM+Q*5<;A^{(ud;f3j+PtQk3(MT!e(gF-{Kdu;ny9v&b*-CaUv?k=E$bR2B! z7v;TY_|O4^#(6qQ(HpFwg$6M%-nyTQyX`&thPEEU%lzM0hQ&V^n#k%xRhew?(idE- zL9oCZj7sThIC`KEI^!GiX8xo0|NO%CLfiI2K`SZ1Ie0lTlMz5MAb2@BxKm9bXn^<@ zNDcgTG^RN9%`Guk6O>+$La7xIek8FX)oum*Q`axoKw!2COg0()i2 z&hj92fxa=eQlJWCnZn$MzTO_ymf)EMfAwe@C}0*Il0)On#7A+>!wGz=7!03HEJhDqhQc{u(e z90Iri5z?HhD!2__STT^Y^hMzU_LYMeoSFN4?Ey%BD?x;Op&~T3c({2$iT04F;0JRK zgCfiYRE!`#hr5G`sMPF807+pr3+4i2gb=PEx&mlll>`tzRPSIQehxSFPX>&pDAw)t zZS=!?-mwCG3j#{IsCJas|4v{c2Mt+)m7gFXA&kVMSAXu0r`N^v1&V|KPzR>=800+d*WO~93&J7u#mwLFpvg#kPBPe$$S1Dpe~dB1)2KV`Q98l zNN7fB2IPE{sy_(D{^kI=B9VTK5FvPIvp-1a+v|gS@ZTY%jwr((2z&z~M9i!5lQjG4 zoAQUxD@zo0Kh8^~pb^N;^YJx6m3Y_W7Ru-IDgJ#BxrCv~`*rc+T$q=aO5Oh> z))=J!5A_&43MMKj00R#O8uXnn2@mmF1Gg(&Os8T`9eh&wM@Z>Z7_#fz^ZOTY35CDg z=Wfd*7=wji@+o~#9~>$&Im*2KZC(D2diPCzv!navjQ710TF}AE^RZ|3IrRPQ8b&~h zWCWlRah^i~i+!C72UsHCnRXyw?$%2KS}5G3-;dS(qKWAjbhIA|l zC)@X*I$tg4pGIuZFc`lM|G~X}R)e(rg!F&k3OZ$!e;!Qky;Y708|;q$dA%mbEY48U z>f?@6R)GNt9S||f>X#;D79pU~t9_}90 zCk@E`k^ln%h?e@2D_Me}AGpzc9t4?M4ur8pgFq5F|Eb=5v)+I~f(j%7B+MxN;Gft5 zQy}ly0Tf+dsTbT}U18tT*kCvP-=qRmVg5Xylb<>T8^TG6*!>5O%rC21&%%FV1;|(~ zW>3EHipud3o?gN~NN-0^zo5TwjY0+rOysA^eW~SvTa>QOq=drXO&UZ7{Dlp6ofwGOq)#+c}gr%9kzX zOiC$8O5N{N`obb%qSNK{_e;++f3$_?h&nJE<RZev3rmK%&kLAR3p@?y_O$1bPUZU)sVnaGKk&!x zG2gMi4PyHX9`|TfO&+f+4#=2FD1`-x@^JmRAaBbok!#&m*K0w-m(M4^B-n8Ym^^P7 zJ?kkg{zPvD>?Wo-NJr#EXTlVI-BJ1VDDut&jp0J5iX`tonx0$ghZ^lmgX!w*sCPxD zBnHft@synl?y36MJwImT)SgoW4K^|;Itq~1sd1FTvh-);@KxK***);ZpI(=e4%bic zT+L%?>N?02?XCMO6t(iDcfWF&KF6w$8zwHItDil>-@mZBz;ACmEGrgFR#sfK>80TS z^zW$(WMQQuvXH9MoV$xi_x!tzWDsr*NN6y zqNK<|fyu##H^Fzlk~5w$dB#kHG8St2ULp$`v(B`h%urXlMo*W(^A2+SMX-uVVwAcM zZoG|QzrIQZ{zf(}P>5fS z_?(u+M%O&a2#1DuF0kLtu8IuxH&ypQ3c_kr1HzD6h89jvM!O``uCu3%H`n-_Qx<1W zR|mByq;g7u_8r^lRVWsjn`(f?Cg-xfuE+kGILOQLKx?DzF@JGCb_))gfbrs3T+Qt3 zmO0Nrx)zR0IU~20$4ZEl*xmZvSHD}PsU})K-~k6_B7Yh--tW(FjThp>1p6lX`t#p6 z-0}sBf`x460bz!!JkmdCgOZiE%jyLTGuC+eg6b850`k*QhVWaT|a~J8m0gT<`GHX8b8JCElOVs#fws zl7UgjoNehzCNZw=k`Aq_{M0Bmg7~J1&*y02b_hZUaR%plNfZc#U;7z@A(fvJ#+WZ= z(*1mKh~jwGYL6E8e2+*SbIuW|T5~DE{*Jm-7!RSG2M2rKTn3(Jl63USijico%{zNmldqsHwX+8uW^xNp`v}{ zBYV@w>qsjE{aA9f!g}g5k_0E4i+N@di+RE5NMh81!Rv?8_P`>BZ%4^5>0>I>~6yw z@g)V2^^XL=hYgsf<<79g|K~;Bf||wC{Q| zog6(S&FMHi@Ny(IFiYR2wm6QDqk8Q!HH0^ngK`@lHOC#9G6+8>*#8!Zp@ys_L-U6! zb)4&jRxkerMNfP)e4A78G{@^Jw?Z0tWG6Pm`tdv8WL6NUGJ+k7YvGqR{d&k_w`4FbR?shWsw z!>~px{4=ixbiB(2V2c%M>aAyljJ9_p#AdAHM7wK|)|gdWmIwM?6$rd(t|qpLV$2td zwH^VlZk`}y`6{Rbsc9IgWkdl9akW zVeOdRaGx9Kv0M(fAYG!7_YDL z;v5dxIPPh<7M8vKd5PJTrqiu*{YRzVqFa@E0pYjmM; z!a$dBlaX!5N{<*>x>z*WX2-5!EV>R9_y#@{w`o1(uj@oPvwxDa;jJm(&4G2bO7*k(n;^)Q-`Sci!o-mYiSKR_eI_bK* zPH;3`R0CKaMA0k*n3-io%Oo~X`fA&2^=^%@bX9xB5tkVdd)I4mD>kf@J+}}VdW0V3 z9{xwu6Wh8$_%is8xns=joGp6hh^E++ucsL1mPD#5BsD>$mZ)fiBanfaD80tu(y|<; zHViQY9u1~M*`S#fT6>q}Ixv79s$!!(of*u?LHEkS@19~Ecb984$DeHG;@t)1IOZN1 zvr{-9Qem^KBkLtZv8*eNzaHhk6-z4IzfMp#)wa7GnViwHa5s#xRT#;1Y-uL>`kM-I z25NFb{zNM3ia&Tsxna=No)F-7fx3~>MEPmD2lfv>%`2EhABF9>4}Ac52~st_wCayyW3b!J03m|x;|JJfTJgE+ zM?_iCBgs+*v=xO`hYl}?V+fOHSOdajxlGUz_9}Zo)l<@y>(z#h503I#*G4e6RqEeg z9t*j*V0>0@wI-fIl5K$2YP5cy>;l_QDuP%=*nHJHdY|oDY!xu#w7{aLVk6I$`&1h{ zrK67i!$7*ub?vk;&D)xdRLE{Sx8IoP;Rw|mo>B3mTh`Bk)QlW678W8Yt{|*~KQoJ~ z!y#a2BjOh^3PRyhXKVYaZ!*;6XV(Ybb)+PQeRN7S-O}#dGv|SM6e;|Ol1LSr!37tJ zP~N-q36sp=Lfr!1Sg#ObN^-mp`*q1KukLpZp}A5FWUc|2emOitX3jiIa&?Hg2LnZh zVMjC+Tl4nCVXxA99~rvLn$f&ykyu*go8eX}U%~nx+XYC@xzt6c-qeLG^mJs0P;%V5 z`>6*r-xMPm#AxHq`}<$|o_J z@4F|m=H*16`)!E6@%%ey>-t{hRnUgDQ~kA77l*{4tEK@@5u`2tAafz}_K;rIu-PM= z)2$E2Mittx%yd_H4|yFt!}C+QP*6(dy1t7A&y&f}M)Yl|VXqJs8?jyY93n+uCN;#h zCPZ0PHhj_XYp9BX1M^>%1tEx^$dkM=UoF1{CtXn40)*o??|svCBIc9YqHU86F>xh5 z3?D*n|B(YSg{t5MIWMGKg5+0tCrUbMijs_IK^m)b_LBqiM58o02!kl<#v(`AgS1BpEX&bHlK~I_aQ_EfBSz)iqUB-nq!;-j&N2(2# zD&}7;xgG*X9YT0-?~iUnSUN?((lb-RZ0zv2S@t&T)rUqFq;EAM z#W3InbHo1qUtA-lC)OG_CH=bE-J;|9Sw#>xm8q7Un-k+NBHJPGsbF48O|S0KHDrK~ zRm6B-(05k!XB}CTlt;fiE@F1eiSw|n_A=+^hW*MwK%xE4qu7z@>!5n2slpb!xs_SjZi?l$lTXs-fEzAYv_;r1vuBPR6X6aT)H^rBfjlZsM(7~S_K1@95oM*+y8o^WCk!2nt}=; z*zWd8M?XNtIi>rT+F=C2nTL?4Mu6$hTjRiVk$c712DiHRFH?DA$-tVCoWLFyiONif zz$v#jzcmdqPI-No&HTyIoIq(pXI7^DH--pqnZ6<%d^DyWLzFT)Yr-7q7nuUM09ahh> zL>-~GcB5RQDq~EaJGa$Abj;?7x|Nr7>g-C+SBb8cZ7m&1x&fCq&X<4@9di>Gp9BV4 zWEgq%xdR2dwH%57SCj!-3N)&hQ{Aq;9FkwLmMXKs^GpZ+&+J7xt4zg>vf}|QzqM7? zMctgexn>s3vFQC<&GqrFFOFv4$LNWQ+{ipOqDfM-PgjPu;9gN)S&mQnVqKS!$tQLq zKzOCl=wJ2J)B&xZ3FXi&Ya;j)9?+8A;)!KP z83nH>3BfkNv3t$oTPD)5D;)FINff+WT7#Y~%bS+KBhRBiU<&=l0pZw4;d@h=Z*B0^dM)+|Q2?u+srBh> zQ**hlH-UuHobp?o6C`d^L_cW-{EXW1ptkH8$863lAi7`i`2(SQI>8+u8!)Y zw%)38x=vxx2+=A-UvHNU!Um57;pr8rQo)Gy4U%MW!i?gfPfiP=$dXw1CYnKAUll=m zfls5tJkC%}OP+uE1@3R#sFlWgeQqH`*3c8Y*`?!O=u>zXN_ zkyqBEn3-_z_TG?o;FNna^w%u6lZ;gv&)iTbFT{G!k%gSBP^s0Z(!}&93s;%_sgHk% zs_c+ukUUC0!7JCEg+NGeW%y*HdZicCS*~iYPaQ7y*2OhBt+i0?aT+NQ>hl2RKxzrX%NZ zaz0DKmVfgdO&bc7jf-wO#(bk87J+B*EE~d=J(M;m$HD;(ji>=97pa}pAJO@X1@kBu zQ$)S}(#Z^)QZlRL+XRzbHf3T|n774>E@>FHB4oyg2ogG)JxiCMiu z>?VcXBLyJcDXhczqqU`G#sZz2XGyS5;swH7bkqghi@krd@f4B1Rn0RD9#Jn#J>O2PPhOv+xS@?_$HZ#iX1o85**POVODLiT!RFL%K>V7tz zt|v$g+$2w%u}>X1UUEQZl@B#Y%~pnPWO5P*+-DOB>9tp2MggmDzgwh`XU%&g zuXCq*YRwAo(jj?Y(7;~1suD`ybP!lL$Hk&YniTAtm1Y#y@ZMwDQ$L58caQK#4Zx1k zaODt5%iRvmh-Ir;Ady%#vf_#`7U>|=nuGRC!OX7z3iXL4kLooPFyf}i_otx$bxGmQ2jJJNa9}~=Z z&^2q0t?aueq6pc(z*IjU!ap;aoKix*+8naC=s>L7T<<^NOtL$_gYFO%NI1l@muMj# zmQ3w<_bdsGdrGthzp!yWyl>sN4?%aw<(hq5#)ycc_p}cQ$HRlT)h1h$>QO5GX9v+Q`X;IxKSw#_|G8~Ruib8)UGhOMGiG(GtwE6lg zuF+v5(I>*gPMWa~M~)|`uZ^|tq^K{~%t%zo{ZiLo)5pm>%lC>joL)T{#V5C2pS|0{ zOhuDBLNM@3JODzAO7L=67#e{3szh`!f6oaYsq8~^z5o!0(iVJ+UQg?-TAY<-0O*lT>KsA zO1*|rd2;8Ze8_nmhF&Y%mVBRlqQdX)fnqL@O$#B+{UO?#00^y| z{-G66iC$6hqR_Y$5PTac7G*v-D4m)b2U5Tv@4`Nc$7fNDWs@0=NvMcy+QoCUYnu9P zxH4W;0=!JLhoT6J5u<`RHPFP!*M6&!B7U4^sAE0}p?OCvQ#bP9Gv+ftoUJQJ=e!e(u0Zhp@JZ(wwBknTsJ&{Nk19U!HRY3=5c4%PtSEo;{5z& zjg}twGrRFYf5PW+S~v=wv7jw0$E#Of1eS3&3OIXt%VUK$Wf(^-Ez`BYn-qgKOeAD< zoFR&7UB7vhV2ki&KPCqwNVMoGN_kr2tqX8F%(jKe>JC_Vlt zD1b`H=DsVfODV`(!w!co??RaP*Up-%6+MZquIfXE(; ztfGI}2+DqfwSLO2ok(%~3%P|tficO%IyO_H7sErG4fJ)(Z);~)al%3ePKquoS(sZe zCOfA5IhVyv>YvFe6gyyFr%L4b0w1P~TEJxazZJ#)aj7Jf8R>}h@T`|G=G#|Do<=(* zP&?0_Nn%8)6S`9xCiz><7Q~t~pZtL!606*%C8NK^%#4syHGjTpupv}AGQ~4! zPi%g@|6Ah@U85fIG2f~jE65=D2(1ymt*|yuG#(}^*cIxFv@o`aC-0(gtZU}7w6TR>cS z>pgCH!>Lc`J{k=*2 zX;@H-EEc_{_IHrtaRSCz_z^(eQ7FoDmL{&hD^Pva?F~_n)w5-N*x@IlIB?F$jAY>U?~YF|;15j6O0}n^F36V2 zI|{1N@@mZn8of2kWU7`#0ib)-F*V&=)V2qPvewAQ$IfY9R$Kh|i^5 z1ieW@#VcifXKnf_DCfB364`q!(#v;H;$rJD8IsQU(Wq;K}-K@pS6Z|LP#E2CJ< zO4+^31cUoko^TqKjSvteob<>}t9!V};x4&}jk0Ck8TQQkD?9E5MczdW+N$=!9d&+H z7+-{XWJI93EQ}qN01DqL#+KpO5|W}D+~9?x|5&VcEB#h)L{Slde`W^%Cja7g!`{Ba zjDC3)&om&^rh2M|E8KO6r4;Xj3M%RN{o;x~79YZDN+AVo+e;k*wwM5yRoRR>cQZ_} zBzwMm$2!)I+f=oC4HYQ#S^}XzG<)1CB7-<`*@U7ZiXkO&t7w5ZroAlcCVm_lIP9pD zL74f^GTdb1S=;syf5Kg5Kdp=^DTbuK5d_m}V%PKZVx%VS(tFEjnIhrl;MffwvZwTI z+JUZX6!`s_HnPAf_}!xV8s=^BIAZE86x%DMLjdhk4@&2R;t8dG@d*}z! zXD1j*CC%{H`~IaBc;ToSR)pMF)RJceqMc#0Hk!ia^*ItGf1PL9_Bc@$J|7|}RGFe* zYAAY#P@O7iQMCAfYEirNdcGv-Y#!Mpf6$unMhp9OD1o3SBIecTbtWy(ctQYW6WG|aw-7S?NWc8Wk)Rc6cl6kjPLFVh0E1sG=y))-&f^{2g_JD^v$zt%ok z&SF|-93v(xf9!XU*6YH=Eyr$L_N~sEI2DEj+O{`PtB|W0K3Tr?Wh67UP~cLZSUe(d zWEgwr!EX;_9IrvEvKuJXi78!dKA10XblKu&epCMrxDkJW!>Y~b8-td}6IUkFDnNg# z|4H~*fi56HinZfp@1l#OH zQVKd`{P^Q1Wjs;-C(*wGRf0N|{I4YSkJ%I+J(*vUT5j`NP^*x|MyV?U*(puGa zdOcdFRog&XTZdL72vL6*F9fk zp{?C|v_RJmf1uEJce;w3Nvsxx{90P9xF9@eIx5ox){4&D$2pa7b?3xdaRcX6BGjA{ z%g`UsIk8G!*Ey@S-{Jhs4BO0Ao(ipHE|vM-xB7!r4S$g0zWxw@M1PQSEr0kPHPQpb zwTw+W`g__@CXw(mmHs~HAp|#!wuNhy2g^FT+v>Ige-u2}8?3z4w3FMj2`ui9hHcOy zxA6UBfmqjY-SNVT)9HEAP@yfQ{QD*i71ytu zDztYOfAz~~jRX^#@I%*FS)u;TF5P%%g)boQ=hFH|d}oDkY}fW3ZPxdlCA27V1iP(6 zYiwwX^+>ggZ5`cuv{tq)TpiY-Ro(($vmUJw?P$#RC`-R3EHfw3E0$XD*|uj+$~I(W z@7tklHKb&sX9&@~5Z8TI^X3_F>+_7&sR2kPtmAD37B$pd>~k zrvM3_1uda9ATKzr#XSSqSu+;|j6^ShG6;=)oI)wUB0l1rw?rqQE@n2Ewt+QBVFSb| zf5~rPSCqgKFPwFyws|WBez$~;k*K+aH4qdk0$-zvqY}WyIE&)}B{kmTR~|s22`2;C zBs%cV7;t9~vVx}~O4cco5fKVOA{r5;(*pO?nq~>zRc(oqLv(SCmnchWOA69G21{we zVIj$K5W#ZZr~Qe>2*e__e~Dv0t1Wp-$?Yyl*J(?hS)2CCY0`){XiE?F zk29UEWzGk*yjA4G8b^sv2f{-k2B?PvpHqN!#wo=BtuJ=~I~$fPRPK-{sf`i&B zx`JztO0H8HL7S1?=1(Qw^RavljwZ_`3zeRe;X?eBoLj8)9z9#_9Li)IB4!W|fAGJB zho=}$?P8Rg6u|U_7f~jps0|b+silLMBus6hpbU`ZnmoUhc_U&ZI_oG-9LBSkh`b_7 z8ITJ^1?)o+WvO+EkAs{6aR>R9l0Sqs2BZhWf-*6|MS>cSiv)=W3_v_(NrV&}X)7|L zBNtF+uH?!#gUnD;X||O1;FG5ne}$q0_$J17#3TT2`OoLS`uPXt{}IYgQ+lN~T8yOB zYKh4d3qObn$RzboaFlFQI*XK?H6EGiIJA^|4CXedrjW8cCQGjP;{u9f+6$>uFQ+mF zxu%wO%sEhDkowD{TlFbd&!s4(r6MM^X(VYEAeG6PUU1lBDMZH#zQ|({f9ib&EhKU6 z2nAdj1tR7msV?Xbk_5`)SSQJ{AK*N&CGY_$0@YTuv6LxICn>1)gjbT>W&OHV*3PV% zY*Y3jHOtJJX*9Pnl;iV}WQ%g;oH|h$I;4%ImTZ&HCahAQT8v|9sI>W~{Xb~Ip2{oy zsTBAL_R1pq9xZa2eY}%6e-5Ex$~KL7jWMMu4$$YknO$$t{~{HMny9p;ON7w0QqgG- zr8;FOoKO7H%91yg`qs>OYkD=0wUe7aSh@);6t4CbPsqk-iz3W>D$@O9K2IxX%t}Xv zn!=(dt(a4#ISuz6Z0UYN{l#1oH}z9X`(aXt^p2mXv4~2omY8oeeqoS`U@&U&nBbDILv!@OSn#3a?B(n4YZ^h z8(Vx%x_YoinCS_tHQjD!4uP2&jwVkoD<5k4G&F|~ zit@Q3x=0v8J)F9!e|2GDE8HhXBi9JuTt#AvcA~%OHj~*GM=Ms3*rt(W6Z~Iq=8OqqBNkpFW*Q6kG_GLe@H=>ouGDUcR7v4tRpgB(erIMb8Tu$-G9jnUeYd#WAF zx{~kV>b)wKz(dtx+Cxc|Or6*B8 zwY2kT_TnDj)NU7(-nf4=9gWkQ+h4oaFmwEN=V*WLf0t(mTgOts#GrdQVJ1;*(KiQ= ztYeSxhr|+J!U8Dx#(vVnFAl)hTl`t~=4H{pyn@HzS{%2*xknNwcc$(`h^4GRjE{4Ol~PrRAEDnSkX??k zmN~|V@UQ$eVEPg8T;`+2m)@Xz4PYXEIdCJy3%`>a6c^Lf8x!sTBFaQ4P64sc;F&ed zf7~XRy?*`bVDBAZcCfoD>a{APUYPI|ztng6Wd@p8D?vk`F2_Z8T8#Oim`wPvs$JMb zyQA&*pN?OGc89B!Gh(Kki1$%Wtl>|7PoE=A%8h{caz z&2=dzi{Ed%gN09BWHCBeI|;6EI*i=kfBEmXBd`mNRl|5P=uWO`!TdQTP5u}Es~C?e zR&-($E53i;*?+!AR$P%f;f6@5GluXmMzkx9_!5lPEuklD`vBnrjA^O-as+*{|K}?`nW14Rb-E%L%k%He`$81 z7by8{3CD<)n!V=T@p$yd`PtxXG`*TXPz=l-lFOfU$NX&E?G-dfy)@A)`hz}hc`@&& ziHpH#G^Szd(O?z3jgs}pw{Lep91?abTtZra4r>UE2DtA&1azyNBIN~SQH+c8s$v`E z>8+!#;KH@cz6{P{5@R7R<)z5e`>dl()Fv( z_VHdP*=@x!Ma3t6QHyU=?fva$@2H|?2&THS=B>G})^y$|nZJK}{Pg*=Uk;A84p!b7 zA#RPL|75FKR9V~_SBu-Y&|0iexsu17u7>PkRg;ZU>%qJIy@TUlj&=?Y@Jss@_6u+_ z;ZHH8fhs#{zfh)R1AFx^E+7F9@dtk= zQoEAFX;b&?7kfAeF0<906!hz@#{Itn75!&n`eoowe>|C@unfI?zdL^bW*_?J)2j*n ze`KQVjNT3VASGxJR^-6DB&y$;>k`=wB#KRmJr7eL{8)q;hLF5dI?B+bBSt~u9`qj)&;5>O)ccHvMG<*T%OwXp)OCuukl66a)C@} z3S>7Is9M<9<*|3WkjMcNO?limxKOPmuS?W$YEy9`;WC7ln9Of3QLWIe3)Jvwnah(o zv~NliHkYPeoz}$hB65Q~w8UcZ8$761Bi1Eq__PiciE@kChD33mtN#PzPllV5(E}5= z>;(fR3I{haI5RmkHJ2F>0~`l8F*q|hG&Q$85Ch}|P&YU*L@_itF*GtYML0w;Ff}kW zK|w@BFflPQK|wb~J|H|cH#jgvF*GIFk_qDSsW5OKgl$7>2*^pU&TzR!vdW(pIa}3ssl4?)O`(MN3tyRTMjk zH9N6mVS$iXSXr=RB_vMls7>RR2uTwO3yFoqMq*Rvc{fkq_dRF6^Z#ew88fSxOU%L+ zuoY}`vw}sHnp@qg2>T%GZhluPaZARfGG;b^E}{S`!J;|0On-w`OQNmDewWQgTN`c3 zW7#y?x@fbPWJ{xMi8k$$%|-QBD(_bMQmV`?cTK81Zf@nYHqZ`?_eke~@x;7XhpGVc z!35bdQ~^|iDYB)g1z;gKM^=kk1ggM!vKrK4P|Y=E$d+IQRzr@A)l>tR9P(uPm=5Qu zLK&GR*MkPKa(^-%xg0c-Rg&qcn!pOO1!Q{MW>6$sNTxSx0j*?9$n>ghpq;FPOt-NT ztRh=Yrfcc|tI5`r=_WhD8nSM(a_m~Lj;x2Q47(n5k!>K$W4l2Q*+#M)b_3W*wu!71 zy9sOtlrW`)={B$(>;OB#F0dQy0eitdupb-%y`T>q1b_Wt02~5`!4WVBhQLv942-zt zdsVJsp6@g`i#?8-0B3k+wgfdSgW@96Q7{HhffH_(!y0vxEf-MCOV0q=Nw=zLZQ+b? zig^jjK?#VzywzZi z*puQfspFoEzL6U70{\arabic{subsection}.}\else{}\fi} @@ -38,6 +40,8 @@ \setcounter{theorems}{1} \setcounter{axioms}{1} \setcounter{examples}{1} + \setcounter{facts}{1} + \setcounter{propositions}{1} \setcounter{all}{1} } \newsectionNoPB @@ -50,34 +54,50 @@ \newtcolorbox{theorem}[2][]{mainboxstyle,colback=ForestGreen!5!white,colframe=ForestGreen!75!black,colbacktitle=ForestGreen!75!black,title={\large #2}, overlay={\node[overlaystyle,draw=ForestGreen!75!black,fill=ForestGreen!75!black] at (frame.north east) {\large Theorem \usenumberArabic{theorems}};},#1} +% Lemmas \newtcolorbox{lemma}[2][]{mainboxstyle,colback=Aquamarine!5!white,colframe=Aquamarine!75!black,colbacktitle=Aquamarine!75!black,title={\large #2}, overlay={\node[overlaystyle,draw=Aquamarine!75!black,fill=Aquamarine!75!black] at (frame.north east) {\large Lemma \usenumberArabic{lemmas}};},#1} +% Corollaries \newtcolorbox{corollary}[2][]{mainboxstyle,colback=teal!5!white,colframe=teal!75!black,colbacktitle=teal!75!black,title={\large #2}, overlay={\node[overlaystyle,draw=teal!75!black,fill=teal!75!black] at (frame.north east) {\large \translate{Corollary}{Korollar} \usenumberArabic{corollaries}};},#1} +% Axioms \newtcolorbox{axiom}[2][]{mainboxstyle,colback=JungleGreen!5!white,colframe=JungleGreen!75!black,colbacktitle=JungleGreen!75!black,title={\large #2}, overlay={\node[overlaystyle,draw=JungleGreen!75!black,fill=JungleGreen!75!black] at (frame.north east) {\large Axiom \usenumberArabic{axioms}};},#1} +% Facts +\newtcolorbox{fact}[2][]{mainboxstyle,colback=SeaGreen!5!white,colframe=SeaGreen!75!black,colbacktitle=SeaGreen!75!black,title={\large #2}, +overlay={\node[overlaystyle,draw=SeaGreen!75!black,fill=SeaGreen!75!black] at (frame.north east) {\large \translate{Fact}{Fakt} \usenumberArabic{facts}};},#1} + +% Propositions +\newtcolorbox{proposition}[2][]{mainboxstyle,colback=Cyan!5!white,colframe=Cyan!75!black,colbacktitle=Cyan!75!black,title={\large #2}, +overlay={\node[overlaystyle,draw=Cyan!75!black,fill=Cyan!75!black] at (frame.north east) {\large \translate{Proposition}{Satz} \usenumberArabic{propositions}};},#1} + +% Examples \newtcolorbox{example}[2][]{mainboxstyle,colback=gray!5!white,colframe=gray!75!black,colbacktitle=gray!75!black,title={\large #2}, overlay={\node[overlaystyle,draw=gray!75!black,fill=gray!75!black] at (frame.north east) {\large \translate{Example}{Beispiel} \usenumberArabic{examples}};},#1} % Inline environments (inline) -\newcommand{\inlineex}{\textbf{\translate{Example}{Beispiel} \usenumberArabic{examples}}} +\newcommand{\inlineex}{\textbf{\translate{Example}{Beispiel} \usenumberArabic{examples}:}} \newcommand{\inlinedef}{\bg{blue}{Definition \usenumberArabic{definitions}:}} \newcommand{\inlinelemma}{\bg{Aquamarine}{Lemma \usenumberArabic{lemmas}:}} \newcommand{\inlinetheorem}{\bg{ForestGreen}{Theorem \usenumberArabic{theorems}:}} \newcommand{\inlineaxiom}{\bg{JungleGreen}{Axiom \usenumberArabic{axioms}:}} \newcommand{\inlinecorollary}{\bg{teal}{\translate{Corollary}{Korollar} \usenumberArabic{corollaries}:}} +\newcommand{\inlinefact}{\bg{SeaGreen}{\translate{Fact}{Fakt} \usenumberArabic{facts}:}} +\newcommand{\inlineproposition}{\bg{Cyan}{\translate{Proposition}{Satz} \usenumberArabic{propositions}:}} \newcommand{\inlineproof}{\bg{magenta}{\translate{Proof}{Beweis}:}} % short environments (abbreviated) -\newcommand{\shortex}{\textbf{\translate{Ex}{Bsp} \usenumberArabic{examples}}} +\newcommand{\shortex}{\textbf{\translate{Ex}{Bsp} \usenumberArabic{examples}:}} \newcommand{\shortdef}{\bg{blue}{D \usenumberArabic{definitions}:}} \newcommand{\shortlemma}{\bg{Aquamarine}{L \usenumberArabic{lemmas}:}} \newcommand{\shorttheorem}{\bg{ForestGreen}{T \usenumberArabic{theorems}:}} \newcommand{\shortaxiom}{\bg{JungleGreen}{A \usenumberArabic{axioms}:}} \newcommand{\shortcorollary}{\bg{teal}{\translate{C}{K} \usenumberArabic{corollaries}:}} +\newcommand{\shortfact}{\bg{SeaGreen}{\translate{F}{F} \usenumberArabic{facts}:}} +\newcommand{\shortproposition}{\bg{Cyan}{\translate{P}{S} \usenumberArabic{propositions}:}} \newcommand{\shortproof}{\bg{magenta}{\translate{Proof}{Beweis}:}} diff --git a/main/style/style.tex b/main/style/style.tex index dcc848d..5888a0e 100644 --- a/main/style/style.tex +++ b/main/style/style.tex @@ -55,6 +55,7 @@ top=0pt, bottom=0pt, colframe=white, + frame empty, colback=#1!#2!white, highlight math style={enhanced} ] {\textbf{#3}}} diff --git a/vscode-snippets/tex.json b/vscode-snippets/tex.json index 7d292a2..922f93e 100755 --- a/vscode-snippets/tex.json +++ b/vscode-snippets/tex.json @@ -123,6 +123,24 @@ ], "description": "Inserts a tcolorbox to inform about corollaries" }, + "Proposition": { + "prefix": "proposition", + "body": [ + "\\begin{proposition}[]{$1}", + "\t$2", + "\\end{proposition}" + ], + "description": "Inserts a tcolorbox to inform about propositions" + }, + "Fact": { + "prefix": "fact", + "body": [ + "\\begin{fact}[]{$1}", + "\t$2", + "\\end{fact}" + ], + "description": "Inserts a tcolorbox to inform about facts" + }, "Terms": { "prefix": "terms", "body": [ @@ -270,6 +288,30 @@ "\\shortcorollary" ] }, + "Proposition (inline)": { + "prefix": "proposition-inline", + "body": [ + "\\inlineproposition" + ] + }, + "Proposition (short)": { + "prefix": "proposition-short", + "body": [ + "\\shortproposition" + ] + }, + "Fact (inline)": { + "prefix": "fact-inline", + "body": [ + "\\inlinefact" + ] + }, + "Fact (short)": { + "prefix": "fact-short", + "body": [ + "\\shortfact" + ] + }, "Axiom (inline)": { "prefix": "axiom-inline", "body": [ @@ -366,4 +408,4 @@ "\\end{document}" ] } -} \ No newline at end of file +}