From 14210ca1da1fa88c181ef2d4cac29625ebab9924 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Sun, 28 Sep 2025 17:51:57 +0200 Subject: [PATCH] [Counters] Completely redo numbering logic --- docs/docs.pdf | Bin 323506 -> 323494 bytes docs/parts/reference.tex | 2 +- main/style/counters.tex | 135 +++++++++++++++++++++++++-------------- 3 files changed, 88 insertions(+), 49 deletions(-) diff --git a/docs/docs.pdf b/docs/docs.pdf index e35f03bff53ec9857c5d9af133a4ab4e88ab76d8..8d78f9388ce810fca7202d93d3e50ddd1929ef21 100644 GIT binary patch delta 32164 zcmX7tV{o8d)2(CMwr$&<*tR`!a>ur9Vp|f`2~xn|T_KP)@3Wh{;HgePUsDS1@xc!zQ=5A3X;FxNFpZmT-;1L+kjS~v zWcFH7-a16e4_6?4Kq?`wsi*t_N6)~902K$E*11rCXQLt^jKm;qEXuX?XcLhf4}+%K zO)Mwtq^F>CYk7LcYP8L1{LViAG31G4Q>RzuzaA&z_R&IjLSCNT?~=b-8uialcmDXX ze9gkw&cjx0EoL(_67Z>c+Rlhwgf>NSCe*pTvl7R5_s37}jz9bRQuNjP^ZBt02Q2~Y zc5tNuBwFvi=w3yKyi89IYZ2kqBSW_#Rh+iUGn8qZE>vF~rsb% z0XW*&(XNQ8YGZkCESCRPcaDSBIY@v}EU>(rMLS(*wx3iqi^(rTsA5~gUo8~$onvH7 z)^YvrGAVs{P`xwUL#R@}2$K|$hv#!v^{Q^CxpGMAzZ^5%NW{6wgTGiO;j>driGRDb z;7;rnko!|oc4f``gI^1nY!PTTkJzMBPWVeVkr$IWxj6D z#TxF1%2> zP6$?8LubUU7QqQ}OC_h-2d(|c21N1qm$LtikwCz$2yy~?vZ$EyKI1lq4+Z5?NhsDs zK9SJzn;r&*g-z?i4@xgHu_@o>);~fC(z6I?T9;Hd=}yDck0_Z$6*|KJ7wb=wD*q3e z)9gSOwCBA5$TU>xrp(cTg5#=CM(D|Z7L)9s<0rn84>v9RE{6^zW4LkFI?1N+DJSDE zq?~#TH2c{8UgQ*vv3RmIrKTy*u2}aD0kj7abU2$M8+ixjvE6w-@SSo^hKn^!)m;f# zm0)nU?IXQtH6<>`Fu$09Di5ihpK?bJ7SfOS1l##3g*qQuxkHC!4LYgQDd3WYwVpW> z=c=F7HP6)`%8S9>8fBVQ^uGBjg2?rAZ85XrGmIYP{Mf!SceHOZ77g z7x|e+>A9>LD+c4P>|ulKdV(j`v4v1u6L1zkBP;Sur^Ti$GAn zcXKs3Mk_|6VR&}BpLK}O3@{xF<}EEA=2MDTure8;Wn$RBmD~8gtCM`$Exc%vZ0{7d z6OV2JLiYv;mT$9gbH#pbkI#w=;!28;k9wRz$!#tzl|KKX^gq5^uNf9#HT+BQZ*XGx zTI4jrMS4m4)KmxosITk9{)=8dN-0ZFA+~8g3E5%jl7wP%GD#))i*e(AKo*@?psmc( zz*CEE_yBwu(@*niB2KE7L$`7~s&oNCDrZI8aiqOFUCmZKB`*!>=MtNyId&DxZBA)T z=s;4wvDw#$B+<9)_nwJ%aCH8dMVr%>s zsz!_Db_*t9nduBs=n9x_T4oxoQ4~#OzI517*?BRkaB{L3`&HT$s_{4xmv(l`^U8ym%ChEC@b(U6G;rt$v6L=Ws*81cKeW zddOgKY+r-zY*wHk42SvZDq7Z;8)mBIp&G4L&hCY-#?pc~?$`(wR;n7N;ZHm+E6C=k zKbEICvU=?8xO^yIu+jIK1lQg835H{zafPkiuuylaHiv ztdMEq*&pe2UGSGFh-lak|63#C-vq8q+>5s8dAj2ie-_&Q>aLRP7rO;S*}SXS&TMRqhlbufC$PO~CtBP_H4w0M>_@$7fxK;| zV`90Uv*UZ`MBM$HTWeGBF1YwLf1EzHoe*FOP`s^>G)9BEuR3@sH94{af5H9Iqk^~f z6PUW+Y$MvH($BbP9EQDCGtz}i8`J)p^pZ*H2Mq2xSryBP-+!km%rkU;`m^yJaQP2x zc_!OQ)xjG-K?XgKh7~Z{4I68cOO+0$Au{{{nREFx9a0#|JNt}+I+`EMb;hUV|8N3R z{QNZz1iEt?=GG|Ke3{i-laIV_)eIQt8vEoe+amQQ9B|ruO1X(Hs}4xQgWU&{Ggch? zpodZI*qngGocWW~o{nb2&2++jfTM{e68)d7w$;LeK7kRy0WPres?>GUa&U}K@--i?xEdj<^KtBMGUbc zQ@(+3LmH3lf#koL1voTnS8}^_2qiZ7x}0erhi`4gazp!y8S}IEUcr&R{s4gU_40@^ zHeUxd@r^b9$)EZOZOUz=-{v-r;tb%oBv8ocM-cFReF6#Yd(sOV z+`n~T(Yre`FZ1r|g@dCgOBD8%K4 zwk?e4p>up_n^?gE)eX8n|J9q@57kai&s>A&qRAkCtCSy9g_v<}f}V*gFPc#nc!KHX z-Qge{M}AEaKk3n=oDS$9-;Hdn!e|~gW6(3*x2@1eZt5q=G@w0}S+1iZAu`jSiNf#C z;MSKpXsTDhsxr0=E}L%1G_}39(!Pf04hP1SXiF~rLsW!HL2|Mhz3{Bsy=9*=x^W#@ zUlL@JTFu~Aq~4k~yw9#^zvp;ntorpYJY%njvx&WKh1>C@+yOu&(p15O>PFKYs)V$? z$&?o96O86!U<-Hs>v%d{ZA;6x6OH)#UUmC#YdUIw#moPP?`HwE(AxV0A2UQAk&Q;L zi%$L90r^fo`i=<6;xzsdG)P{%;_3KXAYpgfd3EoE1?d+F=||zQeH`MW#^$}Lfx!Ro3;Wd>2aOR- zz9`Lo=zu;w(p+@;_wgSI;pan<;iYF3+faqfd4Zo7AaJAy8R7~5zI|@x-MpU<=R=lm ztrsKK{a+yak(&xi*@sIA;%}QLdv}=1y-cBQA^P2+QO5v`dA?|xUaoV9+iG2VB5>_F zt$r{cIK4UJbMHV}<{U7x>*`V@F!*g0;Gs~780R@9uvSWq?8M=(*e?%hLb3=}9}YR5 zY^q|hzU{-^(CH=jls4%`gL#hKjhg-APVq0?+^`=xZQc0 z_v;YyT+y}N)ilaBbJ9)$??Jh0u`<5^X{9HOLwk?Wmq(D(Pb07>cmWFwTuRAOibLlU zh-iS!Emq_li~9FupN!9e7ek=J3r6)_-I*pe)(0|6bB>$d@#OCQLz<4|pgJbX8lSn? zwlF-6NC{@fPV{ah9QfQ9b3TuTd`tyFk6smVC0`4?zYklWd#tEM>apc|^ z6)!a{9Y&;F`nz??d2Ey?d`RbP>UGFWzYs8ak`S^m#yiLMr}SrUnueg!y}~r%|04<>2bw#yZ8s&YC8V$os}|`MRh^?^1yU zLP@>b*l^}%VU%nfPp&7m*3u)n3;JKa6A`3&M3S2hC4-IAD1R>Zl}lUP6xQ&Io06nk z@C~OnKL^G>5N0$JUdkL8c_b6U=2>}`z1X;$Eva4Em>3h)O2iO%W_4(aRD0I(g zQlucLXbjx+_Z{N71k@v*!KhuVI*|Y;CO1N(<=tbk)^+*n{ywmo`ByOH?S*Z`tyz!c z%{doge$&xO7Nv>Pgll)JDrceMsq3xk4ynjaIn$! zRml+?rq8dGAYkAf(zNCvwkv301v?UQFL||z2_8%bDjA%LL2uffw9TD3$yV3a|2jrE zXF#~_DMKDynayEM@CknMG0Avl!TbV=WFpD5Co*&UPy=p7H66OmuOCRDyZ=V_s$PPa zj^NrbX52RM40k z)y3xsX?W1p`3Qykx3Me`8;wvM^~Yi#?z^nO3<^Ps8=ZvJV=5M$2IZZg(z6^?%v_2n zl}@r*4^DpW#(PTCjVg@aWf6J;IUTFJwhhr=8XLiJl+1tmbw{QVg?#}mmWt|;YX?L8 zB&3lsozY$nRc2NR6+1^^UAh3CmvRawq5Uhr{z`NEAL4_)dCO2`B~9>#+sDxU%bKsu ziGs{pl3TSZm!P8vHX4@5xv7^_n`7PV%lSjBBD6e|57YnDp?5hv7y}`=8Bi=sGNAZ4 zHYGo$|IBtQSm+3=*!3$;zIRq1`W!cAEJ^!iaycJf`RpP4C*rop<4afgCGftH)-3a~ z9h=fi_K8ViLpAj3-{>=|TcSurfy-wi%aRxSmj5QPi~##U-ZtK>{GSKf#RjE-B3u%J zFUySf(P-y@DYx$RqNRQwltpcE>Id2@E0+Fef;fpldUT+kF5nqX$Xtt_nq*!lUJP&gzZdWb$a@C3fIY%un< zS;M3}Wrnp;!-}rNxCY89Y-fTxG->RW;}9^DwOwsSt8Uo)Y-72@0ng~^g^>l@^mKap@qHXSx&aRP zC$5QO!(;CAGiGr%FHSr^BIQDoNXNLc%rl(0rhysiV5*xdMzYK?yiL7H1R6}L=%G(A zL})GW1qfvr3EKEFb47@?HyDG09f_QsnzH`3P@r55D?cRNj52Ef78E zf514t$C}pU(VbX@H}_nArw!?-XtM89zk6w=`Xiwm zsxR#~D8rz3D`Z&kDJftGrO|5qW+cCc`vdI4Ibwx21*1SsiP5&FK=g7<$Iw+BNnXLs zIGbXH>bY33)e+{_s)~P`mt!91SmJi9+^;(2k=ZaH>0FchX}r>=@No-zf}fYkj-ndx z=Q~}hHOx{=54nvt5;FI$-9Na@y{E33@grk}!N&PwQG=6En0lPVGE!(eaDa6BpY~qxSdfY z)TJ#XU`G_B3gNLDoU275omZB2<$&N>9hyZ%g<>dqLizey@20CkylBpNObt%LU1$|p zT5@gNFq{$9VXL5~vq_eLyln;^2gKiWB6e$8Da}abJ%?iW<^d??^AQx-MkR`r;#Ug3WIX)=g@KEq3+rD>P@2>7F2ZA!}fPViu5(wW1=esKAOSF%}-i z#M-(%@xZt&BI$4#A8wI(LoQ{T%_A|SvFAqR+=+Qkwx| z%mJ7@nZlImDCUDI9UEso)OH$eC%fR}E^iJYf`y_0#SmLMi*#(*Ty{o`jmm6|PAlIi z0duFGOFS*_ik-I^R~;6W6wu6p-A-R&ZFS&dCege-E_YI)z8Ri1-=SFXi*2padm5tu z!!rgJ3ax**#3eNl=$)wbJomGYPVtnrJX3P*U}Vl$KwP0S9i1*70c(v#OuwEo%~dLN zcs)w@x6+4=Cvj(e#GYEjb5Rh!Vu2-Z?A0#+7iq?(#3wy8#ZFza4GcC?$5Ggl(~{ZZ z%ZgXF&qb3B`Q>Szvu(pt>mh#MP#K6gI9>~59Gcz@-3DPkoxaf(_(|?W#EmSXQ1C3~0*|t%`BW`LaMmWwby1=Tb1)}{^WOYW{KD99)!C4EGz#PvNZL6e;`B&D9XuQe)M_ltK{{FkRe`pD@-lH#S!+V#a z!~DQlX3dJbtbwaAKXJ->XXver38LL6go_?2(UqX5=jX^U9(BNwyG~h_P2-1bjlKh32D?K<7^g*^sWJ2Kz=l@-AbHoq3NP zjQ5aEpitQscecI^I7@A)e4(ml{ac6g4NWg3LH<7ldy@Ju#?h*?AOA8jD7qXs}>LyDt>#E=yM=kj?|YpB*X z&^X}E#U1#SY0QkhozHCeQ3w_zz<0Rv>T5~nImk+kn6TA&?|CsZ;n`P!M3<`{z)RTt zj~d)?dP4Zec79**A0VF>WeHT;ZYCsJ!No+K=v^@hZ*_-{hs#~{m}Z2bZH1=O5V((t~>+?~Vrt#&=@79}CRE%YnioOFO z$zY3Ns~huz@Z%B_U4N|qOD36{=e7_$;;&r?wZ-&@ws`AUk zx!V!6iFqTQ0!deO2dp%ZQ3G*Fq%7y{DpLPk+<^%!Dju0j5_3q=sGwZ;$sFy0++dY= zCGW6m|3xhoHjmAa1C^#kD&;&GQge8`m^Pl?*kY3BX9~EI0E?LC&A&@j&}uZ@zob-M z$$QfMIbhGoH;AYe3>o3_$X_s5b*m-nNEaG>&iIV*^Y24F z@J%$h)#?84i{iR{c3Sf{6*ve#A-$0J_=v0MWyXU~%EpeZOM;G1Nq-X5(sR^<-I(_r zsmNEZ0C2&0PP`N#UMiy3qE(@e$}QZX7bRR^6N^71l7uz*ee^Cf;zhvar3+aZ|6S%w zXz>jS1%=`*;<44kQ;GVE&_k_*Gm|-@NYpbK6V$2-H5a0>z|jTqR;p^(;GY!f=_ZWG zuHi30r}Ya}h9(Is`rfv`DhD#PLj)D`5ocR>07|!r1NjmyH8?9Zr9Vj?Cj{ZBoPL&T z!D_8K1VLqDxl_06#xbI6RD6~N=?p|$)D6xUC6N_%f4<*5`oQ9II+^_N>{7sQQM5dT z!{==jP|2!k>rAuaUp)Oc`6a_#ZGD;}ZkLZ z11McPa@U5V*-_@5D&!MY;^_%pq)9J@08UC5)Il)aIx_G}vVIIT+^TMzI$Clx@+x&{ z;an*e64P+ z?Kb*pa{zjEn>vww71%N-HXSMhIMyeGUwuq7(LLTKSYD6xua%0ouk5q>hJC?+lvT2 zGh=2ee<3LG0=R-?pQ}=HZ%yoK{|X3=Og_EC$^R7$vcwthemM9X%;^3Dm@%zeqaI_# zb^1cYu*dBND2cg~zQ{B}??BHBhy(go6<@~4EByMV&8^kEtNpfZR$^_N@~-*M2ROe` z{JzP;e5pPXh$c2;`{dI~SOZqrynpJC5{L1^Z8P~?4ZIMqgz&QlP#0!y4#f6V;a*?f z&fL}X@bn&&^61g_9<2=kqctjiFI_hSoNRLanXzbmmam~69DR7!8$InerP=}d`27xx zy^xJ)`XdhW^&6U&3G&T>J>t*dvQXvMnda`(7qFM@ytpTs{>0PAk{2fLB|{1q$kb0c zF+lkpe`WWU@)Nr^@bAC?=PGSobSq|_b;7sFm&W_|%&pP^;on!lB4hcPSckS0+7(tE zJ3n-^Ov2ar46;i~VINw2cNJSD9l>xPBE#qoNGe1#YTM~2!+)#)L3$|6>?ow7VZXnVGN6WLSkB)3 zx)Bs=M!3=!9jX^GCg{iy8$pOOHm4#00&A2WImhtGk|EBuH|yTJ!2Wpi{(~X5((8u^_#mm&r*;;DfoeDoc1JY_TlLSSUH zoBwBNxc|@6WW1PzQUj{1n;&l+j)8d584_KY>X*?aLUBpvJ+csiA?-!PBjg**5 zxr4)KVtIKHjN94y7i((un~1`crFLp(YZ+b;1iGe@*U75`DZo7Z{Sdw3`4_rEr%k^j zcp9fPDzK=-bUXeirSRT}X!*NA^4FH3(Wj4OA%vq05re2ij-^1C&o{fH$!X=svD97ml540ns6 z>*(LpyB~0922iGAyD`zANr_;yAjy4veEby3o953XnOQ5S?+1uyI`P{{9Lt~1t38Ew zQ=DHn{K6Xqvu1Cyawz7pw4l~PtxEHot77FGRK28PD;H1H_Nl~3nAA&XXz;9dXH2>9 zXPltK#T%@@Z`%XB^o2RoN}&&7Y7{xWSep$wVT>0_G@*k~jjtYGqF4g>vlE0p3k29} z{Q|Dn^_VGR)%TWsc(b-2mvC%1w?>kNU6kv8njwP14~OE9|3;jC=Z?$ypnuMUKp2g_ zBrL6anTqII7mk&N5G~TkxU&Q`qE_^-g{#}()@qws;^%I`cY{lQNyJeP)ktu8_Ok~i z_{vz`&jQ5oGrX)oiGeHNFe9ANK+{9B4a&cF3Y?%573nX^Hs|hkcU82c9U<1ynZ|D# z7rL zSH4Sih$JW(40VHr{=%teCMC;7<50F2vcWOP)HmUaMXRP$bOEulI;rYtv~;Pnb=0!z z16)`ZlxZqhOA~R>VNGy-q-j@U@?x~RU}{a^liHK-X2w&YbJXV(rU3$3l4Cz6Vuv zt?$i59PXJk+-02GfSLhrE#yz7Xf9q}SgN2g?ue(C*4;wTc_<)L{zze!$+K;OeRfkO zJ{*=Uc2jBoT4r#|SpU?OAei*mDQN$LoV4w zPsPL@!8IN`VueS5}%7LT&P+DJ4schP24CoE7fl zTw2`ZD0!M_IWVW{C#^aZEl%`goYnspG3;>lM{3zn!J?1AM-<&hdD7t&UoBX8-KQIX zG^$KD3Zx0uc7M`klhj-&pd^cN|7F@p&|8sguyre50DZ8;d@r68I_9bX0oAzKh?>$T zmmo-veqggP6^Dak(f%8O5x%cQ>In_6O*_t-Wh!W=R_^JGmxZD%6I%H)_CDgeIn$Ms zF-L)pa$)jlZ)r&IK~!a~3K~`@z#eIQe{m1~3}Ar(Oli}-tLZz>s$ro!_*Lc*YPSkZ zI_kqvB43p*c5FHYWcU;2D(KoD8n<|k-I;i^cXPT?zZFnj3)HusB zxJF_$|Km4~E%Sq0y=B4b$rCX%sq5hp1Bf>k`L6T0p@N#e;X@b&dIOHMO;u@GWWCd; z8_;(lw*Oe`Ho^XiGq2`Zhb}Z0yQFU%woFa6m(rQAOr_*f+fSOQ9FQ!kx|EII2(zTY z{K7i&;&5}SD9noUfX}`uw97-Dz$b?yFKQipU5heF@goORifA$JCL zCwKg*I(i|`>DYSb6`$KMOcDAi)n~b|BG1!+pfKQg72!oDN=PH$_z@>9Vuqnp8%-ybJ??46W(Ga~>g-LO-WU z4pQx?`k!c-+Q_(1IEtQ9%Y`Xhnx0x`WAT05slq`E6IsYc!$Bk_@v1~Z4}r{%Hu8l* zw(M2&wt89av@L$->2Jv2l*t05cP;EgXvx}L_L<9b2>h#2X;5Yz-e~e+iOsI2kcZKl zO0^k_|FQHR048-q(e1@B6eiPTR0|;IxX45&UUdUWJEoT9%Wu&)E!8y=rNI&{cf9Fs z@&uDUdFgvlV--HK%Q}>VvB#-4q-2Gv3EDG3R#gM0qQ8PYLm6YJ+H_*U8DpqfFGJ_m z2$wNTCSVj=wlZMKaF{X_Z`E*e34sM~w>encqj%a3SlMPmCX1lFQE)OqC&##Tmzh5~ zua19HM|?U_L|EW)iVt2ylbcmFQAId-1em*K7LL>W*XD(ELQ-%_B)rtBQOpseX-w{q zB9;splsGk5o70u_J^xg>{Fv^x=hvL*Xw29vNVywfFQWsxjs2%}Axi-Fir1Uh{?^G# zH&YR?J|V!wQ0@b#Q0dXCUFVwttM#``Vl`$gBHt;b>66Y}dz|Wh86?$EKnzlLebrjz z=lkk+BY#vJ5ITk)Wdx<{TSVc}5b$a`)_?5Q}aP8)9cpIU}@ zMOUtuRtw8np=bM$5AAnGLT#DbrDTrrqOI`&;V*0r06{m`W4~o8?OY3^!>O?;MJy53 z)J-+hdaR_QuRSP<`Qz|y3;3I7O{`_3^Q$fJ`Ks06&O}{PrRD$>{>zV}$qXiuHEO6( zgvDcwN>9&SV#~qq$>nLl!DziYe8zmpcB{?kVUJqwVPY7q{x>?|J74(s-c3_ORW^-z* z1v=A}rLfAtztUP78CgxlZ(-GfX(JEVc$>37SH9U|O!;mV<^$G$r#aVHg@K;?nk8_< z_T7hVl0g;>Yc=Rq8_|ezWh;f~wtX?-#2~+aIJ7knK|T_Gxk zcs9Q`?~Z+O)?3!DoDGQmiMU4lxvW}uBBJKxp=7@m{C1tzUe_8e-*`{-pzJjzxjk=Q zSD#wF^xw7}JD1E~OU(}XG+mMauKTQzjIu*gBiYW!F8wObCY0ds6~WrBnK)GU(l_|; zx?dP-yHx4o^`v*6RcO2L0jDvjExf_sV4;$NOaDJye7b^OLJ_vIDu4|>c9@WcaFx9C zM2L&?aGLYrUF`@z)6J6p?_Cwo2NWNLFzzSx-kPIG<9m@4H5C|1$&jhgT>G;?+h!-#Cz=LH2eMuEcI||u+NqH51os5O z-5oL;EC3#A9Dfz;TXPiT2a4Fv6XJ9#9r`mT&4!;Xi%oI>BFXTx_fjO)cDD-rB*_pqA-eB7wof z(oj~OR(ye|;}6__#z%pPE5@zyrSXN)@t3$8twSjgSQE;?KRNxt0dE$M?ixQoE050F zNBZ~+|I9j5Oo)QyrM*KCi52zB_G6R|ADH4+>t@L9bxI4=YDZA_*MCDu)S9-*6bvqK zmqgN$m_%$E02(K%7hx{9LiWJCsHmuv97GUz5Rgqp1{|P53wW%D{yH@OatKh{*|%`A zLT2$r2YqPZ0Pp?m_vOXy00W(kXA&X)4e)>A53sX?D=;eNf{u!~$)kJ}TsT=4u5Q0v z-Vicwg7PUi^^74HzkR;WrEKZ>W~~L;3w+Ig^BGC~bZ}6yuvzQF{2rqwGd)JSDYmiz zpKq#X2XF6a2S9Q!6hI2TXN#@PUw>dK0AgjLmL4EieKG#)W#6!7xsTSGt>Z|)Y~9W(ZggY%cKtV?24 z-sv^0naME-4lf^`cRza%CmK9Ie}BxY1BPPI74XOsm;`Em{DB4Lm2wQu(&QHU?O&YB z03uZdY?t?;;s>f62}j0Y_E+9P_q?iqlQ@Eu`~y(9sRRF(;C+iaDWrUpJaHF9 z<;~=5d^glLe73HveMNouAjg(}2Ty}Y?GzvoIGy|!e-ZaWH+h2ol1c|&YWs@lZ;T$e zV_y4q^gywINfSVv=m|??z7NNVYYG_PM&ts%gPp(}zD17O_P#OSxz1xf{ws{Ee(PMs z*?oI_2HOW(0uS}9-)28Qn6vDi1~0d%Mz4(Y?w{^V++VQ$Qubb$Uo_kP{?|WP_;iae z`p@d+c3BT$@l@YVj@iOI2vacFnKvADy z+nn$FXJ2>A)AvrFA(luX|2#y1_n+BN?v-lN_WL43ob9*(r(_`B?+1Ba_Lkjh!_*-v zELT`36TkD&trCw#EwP1zbncm^b=b-3d1)OiSFNCI)qcivifHiNv?27z0>{4__1h@t zeH73QXdjIt|7$B~r$-RGajqL80Qb%h8k>n?MC<{&O;q-Iv}khac78;#?2`{kC$wTx z=MAUDdNZ)m`wnbB7m@%C$I2(zlfxSOYW%*<)6Lpj?Y9IQZ1as!1#2y(;aUzugD|#0 zpH@vH&*NV5uI)aG$X0ROoU&IGLHVRHa8Jj)>P+xMum3E2rBTtcmACW`*htX|a2DuX zs30lWD;gXz2^~(1kKVG*kZWcnR|++m>d;PEbI;xzCu%~7=H<(lHc%AO;<9DU#jw}En8S*!uY<*Am^fu5YWUe)&zN3cM#jhJf;#5qBG^2J;gqLWUQ+H@`c8bv!>{YV!1Wh>VvPSpB_cba^YQs`s(%Fz05pH6iX z0o&VSaf+=24EG`&lyJnqe4iNstlQ3Y?H`4s0*IHv%t;?xLtOCd6%$`{~0l8G6Y zmP>j7fay_z%S^UTX2?#h8a|wKrv>`1JW{h!f#gx%dJ53V*sI}@x9JNGna2NeZl4T9 zE#@1~3cY_>b)cI_(5**olz7;b3aIX6g{t^!{i*3VQitHwGU4m>x@Dey{yfE+Oza~c z!=2I7gmw%KGqe(e+yDJ;5GbH^JXRyW%mA4cLSgT_a}h~uWP6!9H?W8C-lrG>^C zbw=Pi43I^ajoEKb?i~w3>_@sMRw{vr212^D!+Mubr>@-=Z6=^T`mMn zxU35v+5Gn>D4R)K;S`i>!RTIP%0kp7O<`N|8=3v8=`L$4NUzf068xnTiTa^xzYK$` zZ-jqAk!gW-0wTm$95uz3J7X@p2K>KV!(Eo_CK1hART;*p=q(9X5z^CTIZJHm@}my- z9zSmw`WiO7rSQa9=HX0+yjbuZh9Z~58*|u(&@>v)`r!rHSKK^c3;wzF00petK<(e7 z-gP{If!J9~=z&NQBU1`q_(8DOxST!&w_|ec5yTgBcOFbRB}<(hm(j%z)yuOxQK_-%Nzx)W`hQ?c|-t>wVo1y&a90iCE2vC*FO08_FThG91D7~*wU zFw)W8k?Awb0L$2lu31jC`A$->BudGs^h9-YEY?{W%Wf$8$8=VGX5+*KoXJJl5e-@b+;dz^c62a^kWYs_j;Lx!>yXgNfrFR9h9=uM~r-M`-Fj z8d3j@?COlg2(g^k_SXrj-O)hs`)oGMXY=fzGxOO}n78a24q=8@AZ*ZGcW6CI#A#kL zRrLt0HR#A3iBj!1UUk+4sJicEuId|AvH?_UtrO;*cgaB}j};)M+Q7>OpwSwr`U6K2 zKj19V_i}5(D~Fnfu!>q>QMb8!Yg#lUfcKC$a)@*gDV=IFKYe$0V^WHLJ86CpSJ+WC zF)gBO*!$IWH3ZCvEMz6_dN$~U;Iy_^JXq8bX#&2&G=^I(6ZXM6SDXHXFY*_quq=HF zSGQV((6DII50C6e`h4U80Q@p@k?1v`ng}fv+uclKuCOyF7{miV+)YL$3~#iByWsfM zhDLgUDYwhhFJFSV>!_lSO^&tGH?xha;S0sJEvNktchiq1;Za=%2csslm6aRZIJ-lm zAGEh@S0ol%?>f(&%FMsxg&@^wwG}2{63orHJm5|;id?#mW=4GHft?{$xpls_*`>S8 z$&~yGNGwVqcW9ei)nksB1j(C?@=8?-D^w1&Zj7G^mB-4{Md zPq1H`*ohxB;IE<#%=lOIN^grUi81`$DBip*>HuBVP^#5Besxeh!5^~vjxNZIys$zw zR(o)fH6_kjK_tj1dy2OumXPjz?6DUX-7(bHMF6U)){`S5@f>>;<&BT<%`=a~DE=^Cs{sSu$s*@%o7cit#Hg z(P6{4&36>P$P3b`4D{|yMK(oMn!JmBaj9uu7>59i*uE|4EK4YdDyBS53RGa6WQK%3 zcLd+qiG}Tezx_pe61c5NspICHncUfLDEldhO`%3z$e+zK_LC+&+%>7I!q!hv8aW;6Ok{4gyT+sX2wpJA2&56_H0`XZ&oBJ~%%n8K|_p&+qL zIH`Y^PxUsO?iHuld^JYD9}P`2)n@Ha^ou6q6U))}(XaJ&L)F)bbd@hS2YTvgTDh=07hfqN`%0wf?YkSP&V|ECEof$V58*tB^Ohh0 z{pUG0bBVrX|LH_ZzUn&B+oL>d6NslUin{{vsQN3P%k@=&%g|%qaV{e?)UAk0`D-5bUgYSz> zn{m2&;QU>#bY`H@a_r2{=%CGRzL0~Hu5rt+vg#!St1scRl z!|{eD~!Yh?H0cDs&8xwLXMj@ zpCLEw>Ob^QKoA;;X$a*PV|B+pAagXP9l|G;c>;d z-o!4wT`ahcnqKcRDH?EC%)ii=&nLgPR>7A|9T$9so|s(f?>BhSWw8KwQYrsl^>Wn3 zMRctFy5=%X+5RFp8Mn(FnXft0!gz!Y&}BE)!Ov<7=p7NM;K2NIv*ThcO__ zdqdeADK-B$wvz7*jr|$}9ser5N*>fSgGZ+wg;q%qPX53`jaUTFDV5WYY`E$A}x$ zhnEY`x!cxE1OM1Ck70(EIsj|BASQ|G4@4hmFIEDSJ!|P{t&_UKcA3QQwPWt#etb+6 z!)T-^fCH})7XV+8rf7S|B&UDD^Vl3~1o++L7DQi=!tf)nvW?1F;R6)p8{}tL$=j!M zn*;G?54JY25edAsO^%jW*NZIoOuO`2j_YdKQOL!al~87u6r#NDm=wN=5;W9lWBmxB z>(ynL&BOnvqW3y~rFQ!JX-GwEnt5<{=r;~ZbAsPa4gd}8MCF&3Y`s3s5+x@bL>2O# zpWg$?zJgbs!~5ul<2Z>v8ny_Mnqav$w<5}iR@EkR)h`$8&A}*+d@zLho3mj!c!Aj{k)P@Mibp-Y0o0>Iu#InK|l+6>HEoFBg!G$o~ah_P7> z&*nL*iLUfqx8@P>Lq6Suo$vQ2NkpD*54kKZHQ$l+8MwY_qlW@|cxsL<(TDJGXk&c&uEjFSM6qfd<(mi(h361jlI;oD41DLOXoT7p@FakafHe}0 zJD2Ne0Ux9jgp3b^w|!esJz96cO+DpJcgFsq8R!h4`9=g;eiub+%QFMi^1I~6=6*&U zyUmu-NThWavN8Ip3~37rZu5jNi0$63_yS13zwbtan!&2unGKqt92#_GLFqZIDdxbj zZ%O35Jqfhglc>cb^r5c2K&1;C0GLBZnaZ=~Z_u}>`b3!HY&>M$5E4wuzB_n!I0iv57dO(g1x&DL@En_RDjI6l~%SFq?$SNkar~ z0YSp*GUSoX6p*$j?5|i+a30;_)CpO9PKpkNL?If97?Vi_h&kb0R2L&pEFsmF#NVp> zeDmAJ?{bF~SlbRyWQ_(p#Q}RF;bn?VBez~B>c=oG<)~2c*QI48yZ3->=Lyqxp|~}e z5^&Ll>wJ)EH8yFpf#0D4<2*$A}3{U6Ig*2m-C;U(7eO2*61&Y z7V4WP8s~ecrmoygCYZq>gK*j9CfLuC=1??9-jhi6AAXS3HJ!ot?`vrry1f z%e*j~qKK>Zb>*UdZEAJ#m>dUzt%nM1Q$XMxg($N7wdP~1;}S~%K1g0q#ybCtOLo&p z)ov#Y)wVhbmQ$2!(;p<~J{WOCbDzUWfTKKXIXM9zy@T<1M~a|#VlIyEiCkbbLxR|_ zEXLlbG;1ehIfJk=77e!AHCQQ`YgE<>&KDc)@a6OO$N z@ggzjQw9UD>f?oBNbol1%t z;GDcyEOus|zX%3L+d9#$o);6k`Y5`>;si>39hJBpu=j=AIx4a@+H(N*O(5e;GQKnn zd)C>}b1fUE2h_|~rQ0FKUGB1aompq|+`KH(@NKhz`f(v?)-A>}eB`hI5iR~;Sk4x8 z6hd|U{>a(GN(I?^c)#$#fpkLv0QUYyTk2wFyy>FYzjYJ+rxa;_p87jke30y6f~iBj z9*tK={2M4TsG4;1r5hrxAu&F)S_(VbCXfJBXJoBof)bJ#;&WF)!$u{9%&p^d)t2CY z&{70UzCO?ib|YX<)k~#@ZLdur(chDuzqdX_!-?UULroX5pY8I`M~n)|3-`|deXc+< z&;p|@#?3POq^C(zb%-=|-8#_i&_*%IORX;Y*^%X)VZM=z3LxF_ko*(1gD_S=lx9Pr z(0$aKn~cX}=5JE`=ebe7`>U87{&5|OMz?eS%VwG2X83PKfTVg|;erwDh9 zod7B>=cGp0TDHF5=5;zXKa=YAvi0rgNX)1hm{KbR7)-nvCg$uCDU;FzJHRpFv# z()epYp5ykZ*#sWb&2zjkP4i(*Zw$!hX63bBJ^;scls)G8-;pRBZ24tCCf=yc{FVif z*Ex=a-;K^Ejll2tr2iKfQJC`9Sg{uAGLOP~$cv=S{3yyVms~R<;b?2KciGLvJ$z}V zgfM_1wi7*vVA%-E=e8y@G69V@X*n*^{FVqfv{}9$ zWa1IqJs*gmuPMF1z5AZIvkJz<%>zNt^M4NL8+u34N&*Tqjq0T>^ z794HaXH7-v%5Df?nqVAgV6tw;3fB@?*<8npbY_^;wRL-{&CsFh@c&EMsD3@NBcz*$ zdHgZ%vtSa4(=GEVYty|fr#1t?A=G-hiY_Crc$6Yz-B?WtTANz`o|!x|B+aH}a~mqF ztJIF6dvB|GirVdxImys~fO!wW@J8}zNAZ&}`nPbfrU$g9E>Q#t`6BPZxMG8I1D`5xI>U_Kro}m&MgtlsZIw zdYl#iSG&YMPTA3=yNCnPD-Cin*rbmd-Ir=EBrGQ}5V61~jUiWRFVJ_!d-j-p1Pjn% zO+p~EcIt*Q(^Py};5!7k%{IluNiVCUq9zP|9UWjRNSn{^!%Q^T+3z6*k1mw5#+WHN zVnm-KpoJ7;I!WW8UcHMs1I=`FF!Iw`tCp`w#aU#axV_?up zF4Hdkx?sEmhoLHSh`=$_U9yG+Bkk=s_qgdcBiIM&41(F7 zcoT&lke?Ef{W758!l?H&T^*HBq@fT&Vj8>MV{Hc*uxseFs~&C2tI)r_Af8Oc5yeYB z{Qa%6!N5G2uJ-_+ka0rNXqBDq1c3a@B<_Hkw3ShrRw8FHe;S>$#0|ON> zA}ACCYL#*(n^cgT7JH&8ZNDo_gv3z?K}x6(ReT*<0j)>HG_O)7u&zn;Wqqa%@pfrw zr)}weSm$;1(A2W0zo^LcKf6x&W(v#rjTtJ1&J(PNNUwPjA1ieg!RsI_TkmCKmR<=R zAG87J_b}izl7FA(C?>PIXC`Z4f8@$a?Rhtm-Kir=hhaoTLLsvvxP!|dN$o~e>Ga2+ zRlm>t(wr4UzZCiUXcPGoJNlRzcz7_Td9s9$kd4udM>~90(n)h1J^A@-G-{;RulNnP z6@6|4Iy+`wEcYNFN{ubABYMSLmTT*KzoPmX#W7Ye^t$ zs(11HUj_eH+y@GJ&8l3@FxB#vdAA`?$D%tF?7{F?(&ByN3#4k0${aD#em1Tw z8AGggreUG)*l(toB45IhTUAQmEn6(q;01t!#3e~~-a=mY9w6CZ?G}j|y|cJ6%)STB zoR|rmcwUIZbYhzV+jdV;Q-KW1DEcpb9HpKd5MLn+Yajyqch0dMk!`u_FYR1x7gN4( z@OWQ9NNZ6g_A2ulJo?EQZkF)tKZeliaxNRQ8N7FDcY(9#(#}iD*9aS9EP|d{6)6DH zWe_d~wnglMIZUbKJMMu69xad41RF2}N>gLKx$UwVk2ioE8n~=u6M(w|$ETXXs>J0{4hgTiIJ8jXD{mci zSn~)O^%36Ok?u?{STo~*dUm_x1DW1(tZRl@0D^B`4@4QKWGQNfgkMVxE^; z2(@dz;|$WL0lX|K!9zBlypHA6u#M}dn|=0#m$rc>s1*FJPF*-vXye<17qJmoV=j)e zccd$kMh?l;JgpBK+<|#dIwRd2*J0#98nln!=$#If;iZYZjsn+DU+Al7^dpR)x4E$O zM=6##5}|~>O9Evn?J#)UCv6dsl`M51e;~?w35Q=Fnd@B<`JG zH20xCSE1PQfX%|Ax|`n$$&UVP$n!fECV1AJ9^cRLix1| zBZce0Cg^HMYnHSd)1kaAwIdC#N%V`HB#a*1Ey0T~73XA7!1p<_-& z&MZj94N|oA%>%EBz$H=OYW2SzjBLVhNM8;+Wx7~$77$v#sRO45x`vj)pnTUavnQ$s zZNuY&-x2WpDB>-hGy$)1RmILZEEdUTb-YJWGt*c1#qiV6iI0k%V8Mn8A5okQgbLVo zT4f%3kZZ)Avu2E*M;NOKs#?1;^Y2aN*H-#-&b{gL4Q*D-fn_hMlf9>*u5eGz%xFGH zWTcS$Jw352_U{M|vdHWUBlZqJ3)2%5mm8_cQgG|`+&$Zo{|vLroS5j5tx*UbCDZ8+ z8u@TrS^HVjKWYR0{mf*@kaX3szaleb|Yg}lU?i}jP>VAv&Yb>vz`_$ z1F50HFLSLlc^=0tzD!t*4&I?|_gg;nI|QyrWD7VJWdM33Sic`>(5~ccKW@P_Us*ME-zQzY}-@7&CvU0Ofd@8JZb&Vd0J z#1n&!RzPd`l~?1G#Ptf6ekz!gyMe=t;ms)MVekld=REm&hF)myl-=!SqgPuD1>=wq zi(QGUQj4B#U$frB)Ux%jWUE_oa!YaEeHWW+0$xLFlf55x1=orUjS)ZYG2CY-pCoFL zo>E|FMKY}=0JE0DP8Ut5w7Xzl+R37Q;WVU5T=&KMD=v(OR9+pxoeUm(;C(7Vec?SDestqCP3zvZPo#CN3&w z0v?wD(GGe8#AGu=hUg$I3n8aSK7Kd)JOJU&i0{mC#+SECup_ZHy$>&N2VUn;Qg_5;ju(p}*BQxl+f>>c)UCVp{i?6S?&|Epi8C3`7e z|pwzg7u4lET%RZp!GAm)nQ=mgtU zLfIVv4Y<2bu?~=hoGR8f>aMLYvK(!4OB~SCBN;UQXL~B_vdAPtW~Iw+fqsy~!y<#i ziH$%zjaqc%akj~qEelrE7Dm`o4PdRCVbb@5g!G8B8nDjFn=|>QCZ?pEx4Gv0zHkWN zD)6;^cPL!MO6#;=a6XrGdF70X$YH6TpdZaK+xEqIPfGtM=WVkVxrry31d^T>WF{B- zh_NZpzSVW$_AV{w@AO!dMMr)G`gA#W#;k3difc_lGWhas7oBX=lzmy#2Dqd@|HBsz zUn>|)vAbVA-dU=cjO#;_Ss(D`Lv-v+$)+99n1+a{=9=v%U3J|?h<^UZtGzf^nwFbS zEoXbHuNV(_HFdX}JB8TedLdc+5OmG^BEo)zoUJ!x<-ERE=#IB{OrI!!yJB1a&yCeO z&gCV@3@9JHc;u{5AawHD47hIHVmKP{b^z5BkSa1kjl`JA`aDa?J}|zaoZ>g$#){}D zwo8R^viR3B1jA(hRC(j>kn;y>6?^u=O7D9}ULaqt)CU$Y=1 z9#5KExT$5COw*;5Y0dAU^}j2~o1@c9POkCTPr8YqsUyYBN)}&*pnx5kKk~0pChtL$ z|0T?7RD*gMa`@m|`jRP3$srU)~O01McO+cQ{pC!tKEksCRcZ^`TxKnqa4v9aWN&KVK zs)jc&oWqu$l?S$9`72WF-x(bk3Qb0)1}{y8Gmi;RRd+pCPWJ}zL{Sirk@YY8Jb5oh zw@@7t1^a=B->B6=d@WE;2G9(X(y<~chhVn>fo9tX%>?!x)mS^deg0cvIc z-ks#^ADH}03d`+k`1_iO$8nukmTwHK@4G`WCGUs!1w`hMYN^%nkp_eDr;r~^D-%0I zDM%9(dfr4m2jlcnq}ps=`7M=mUZW#a7xP-)Z>w-SaSkt2kxRHEhFqI=%Y=7!&oksl z-D)-`0MovbFA#7&{C!fB0znw+vd$v&yvmoBTpM(1vO6BCVpc9pp%*K9C> zj8>NmWryBAP-R$dT&Q%8(8TE%l?Ex=b=cY&yd#L zaxM{ZV3BS*yE?2kWR!=pqNoiv_~i+)@ese2Je^Z(Q+*Cpc!Lf` z@({d#N~2P@H$5fO*1l9Pu0vj0=nAvG&8v33_UKNPkn_`AnAadu9`xbGgwQ(EVKAn7 zkx$-Z#RKS3X}%`dAAwbBJ`;S#U|B}cohZ~$|A|eKF@rP`+3jlr5?38W5;1}kPQ-bN zWGJ(~HeEg51Ez^gSD|3mZ>x^P<5JZaENkxNSvy9LLlu9pJ{7I9Vowy^Vn2Ts-LUiN zYiO4NzZ?6KLj28?HSxW<;|AJw=Rz}KG|pEqO~7<0Xpm)QqOsK!Iqg5<~u&Zz%XMMrjO z)Lf)R*Hoo~BAJ}!CpiyNy$~YO#9{G(QkkBpp&S#xO;Er$(2Z@V+wIETodJZVT_v6L6ha7d|%M9O!oRI0n}a%43t z*Jq>@p0jTbtD=w4`w6#c-J8XoTQ5k63b0Xb;duIGbC6*!e!#vd#`4Yv-ja}&XfJGw z)p@^{12eRMaPL;6+-%-ea(0^9l%maR-(VTO74R_%-@K3&94#FbXUD3Zb@`Ak9Ip>u z`KOylPy`ZHY8aBfTj1;7W}THo1wS z?^sdH;-z%39LCL{N2j2+@skKcaZOyH(Jd_8Q%@*k7__XT$I+whhqWnSR(sn*UK>&S zXwVT$qNwYxFk2BSxq~EI&SSVq5-nHHF|UxQn(;NClo7s9LGY`xmSqOV9%Sfs8uRNF z=FgNTsIu%rZSb*(Igo{)xso880qBh8Ys_SISMv=-G;NoYkIt3y<%?wO7G0)RvZZL2 zQg)})L4Vd5TWESnMb318)Xlxhn^v!eaAZ95{lIq<0Qs~L6>Vcw-enQfr2KOs&*I>k zWFv}dfenhD$z3tK^N5DQ$4yq-%~o2iXeilUIH#_ODTfI2N?ld780=U`fEAN1h2DU= z?z+hIsb*ydT`jz$_mN;f9v%7uFFDOuOD@Zeo(0;!kIRTBFp4SWm#@FJ;`_Z6f$|12 z>*=k(B-nFibrSrxPd>uj>VvW8Kq8+EsI>(&XXDft?-sHq-el#{Lz+)(W_!Y!Whx3{ z{M#R<|NiH9k6!l8^1i-%0j!K@^yVbjZOF#2`?{4HVwF2^Qx*M&v>16PMH&p>fxp=g zkKIPh)e$MJjvKd97WDD!O?!=C6nh!v05edQnbyK26gV^;4F6Y$Ru?j+{Pa;{l2{Do zI)U=IJIR68g5NXgZn7>BmY$J=IFsw-r$ag*2k0Sp#00IkNb-Kg1whe}%WFxsi?4G_p}H5F6qgVX6>snGaO zg`5r6>g&ixUDIn` zJ|e!5Sr=DY0CDFp9$;6g1Sk6m1)gr;bDoYu83^Gv`2g*Rx240=v!@R0jn4+TZ&7& z_E#$?vK;?U&ADeTQ{g1N!82-umBm?S^U1$U{*ju0&rX+j9#8T5-c=Q*SO7UtdUmj{ zdEshF@nH4T8$k)(3$w&!LcwN6uvk0iIiK!ArT_FZvr|^ywASvibW0@S0+Rnc0~bX z@o~jRtMaS$x|+1uB=SGjTPmMrCZ#7gAmFX&$SB93=Y>AAm6N01YK?yQ`8=^zZEQyI zPLpcrI)A)vPqx^oʂR8j_f{Zqi#lrd32WnqN;~Z&A6`oaogu1*6_-B&UlU zUeRi5!bz^wzau`ey%D8MHl= z(xi`Sv{R;09s9A8Z>P&DO`jil07_Bdq2s*?K9=mXWgALoN=CSe=RQ&LV^akzjMG9t zy&lf9N&^^!TU=NwL6!~I@wVsuiSn^8Fr9R-63L+Ib3^YkET11(2S7)1Dkn*9;9I(3 zeabm2wTm8$|IWOkB98k>(lr*2$KuBRXF!EqJ;7wrHs5o}>n5<~Iek?H;E}zIQCZ8Y zxN6SjT`*D(x3&D|D}IAt8R;u;cc3}U@>51}q4Arw*bR_S<(IO@ah+(046EN(d93Yg zL=>sG045h+Ur4+_oBncIa~4%UFgejY?O2qyNgKv5#Hk%|A^T_TF-=ydM7|O`OIQjv z&0X6c1GO!u6dSE$28SdQMwj;T2h@(D@%DdG5yQPy!P~u5A)@@#m3=^I05|;GF57Kw zx8JaWZOf6rcY@e5=R9((-XH)llp|A(j*EZum^6q?JQI0uohesSR;@Z zDJv}LAV-Vh6hW~^$)R9M9;tzZFPY{kQ_-evh}zRER6kRj8Ey&O7>Cgmu7YxuDmhdj znf?}lHKUE?XiTWE1^|_QP*+g`olhFEz@>21?S*xT9S7{x7l@tII+P2R0;AfjbU_8z zg55!_EBr!Wq8?$lhTZWGNV>tJBbdV|f$$UAwGd?k@EV<9+&OrD8>(USQ1TQYvj(K< z)L8We<+23>w%6iX!*~S~fiywAWG96Aydloq>x-8W^K>Ps0L#~dmq6(A(Il@?!bwDn z5Y*Oibcjc&N@WAqA|~Q_*!-e!$XINpG9!(RVH^#gN62gO-j}<>JTJYTWuruMXT6Ar z{QxF8d~T)uRfj+a=1zk6{oAk42TCnd;J}}V_8>?;>_D?NuvQynphv@0x9|pPJ?-ki zIj0>7Vj1uPaD8myr5x0}oYFo#T9hSE46$&NTpw*o6@6IrXCV;W_vpf{iJDN5end4! zDk%JLEIIQYAxyBrqEEQDAhwimv`uf{yNS0i_%#qpM~L+p-wXOUs=fJQRJxUV4>UGD zAM>c?y^A_cFaO(JmE@kNTENJrse&?^M~rHyhbpcb@b>88p*%~ow75`x>B8>E{-x6+ zIz@bm_&W<(o}BtppoTLC6t>9*Y(HPFEbyLS)QTL&l-+<29eF3ui#=CggH1%g4{Lt3 zkUJ2sVg5yG2GR-TYrr@n;)EE=O@wD*fUing2GWSCod`2fr3YVLF!C!L$r`i~(1nfDTZ3_>!MSE9&3FYLsjAI87q(z~Sk22Zu03&ovr!5ElNm0fIuMcmkQ5F=`Ngi*6vI)6dt!QP~r?W%~&7x0OFpZ2le%Ak&IIF0RdFM^vY~1E9o8kF=Uiu*n`g3Y^QM?XT#_+AYyDB(mHj z0{%WMJ6fYD*m$S*v?3?!3y^Y1O_^4L4p9zP{ZjJ{e!o{Klp~p4Nl=O+yNzSFW1r$G zpco58wZtBq!Cs=JSUaIkZh;zBhI?YmR$x2U6AhSKpmkM9!VA&4Q$PvE47KJ+0$jq! zqUA73S3&^KD@&an@o~tWm${7(`heOoY>bUTG6Wk1!PQIzv|A)MX%K^?ZCzqE?650V zksSjxMkC3;2jv41!M#ACuZ<^o&<`7IKek&MmSLx@yA}3e-Mb!zCf6N=tmWUW zn}OWK$0iF8+^}w-6vx%s6kVc~DDk3K9v#N9uQR%T zz;(g5Va=L@^l}K|2xLhh)0_@f(>rE$Hzv|{uwmyL;6}s>H)vtVLZqU@0WjQz2`b=` z>pm?u@-BbACQhJXQDIEVjlwhE<0{t2Y z38O11%v#_kT9AN3L!Ty9eTpoTbzz$vqA$(IGIpzyO)TZm&|I#Ad}RR(Z26Ol4<&tt z?0MXzc!d^I=r+V)I+Je`1%T&hlTUG2rp(cvwmo6yKSCI-O9JD5fcIYVek7JmT=I<( zfiDN26fJ~LKuT9}3HwiePs=eTHnl{pA;U^ICH`&OmBcm0>bX`P^WXovjCpM9k^N^7 zcjD@l!ZD63la@RgdPmc_qSZvGKktEP&5B-*Fa>@ck3U?d2&7$U(3a?to*7nDli2f&bxItQ`ph*xnLGV{0|Fh;mN@|*TC>`g7C_jNa@JyHB4;v; zqS)&bBiSMm)iJNwS1SG~1sc6y8qj%|UoOxa!fFATK!h@>B>H;dzT0#qZT&5d4R-+( z;YucLRv8Kb$$fcP9!fM)caggC_3iUi80?PtA)Jr zywd~pe89A@NYhZMfUWifb6AJbTW^DZi}}`P+}sryjns-s*^;ooxKNuS)3vvl#0A0j zw_xaq>hDwSGm~IM>d>lmo}ipE{$@?&FjPt~u9U6JZ)0y{|E)b@lH}RM&Xz{af))9c z#P|!9dbx~&=qY%ZHvuv}d+0X?2~!M{{4a6~80UveN+|D&ABx-7i@fkYBtH1+MoPm6 z-l+D|UTAB}K7JHcH>h*zR*8F)6k>r=pw5&>VF}|f?e&%iHuCjB3vLx-_Cve;#lR>4 z)OdRf2gj?lo2U_UFg4RU|y!v zvIM4iz7tu>7*}tp?w;1x87F+Z?<_%)u{(ROUM%-k#hQ#H9;A3tIgTuKfCgQV$Nq|A z9!uxWS=!og3e+Tmkg_Std~F$!4}k=*x9l+aAJKx+xD)v$?0JCw^6IQ9B?wU`RsqQ2 zz|P|LG)KqE{(?s>`a&5z!A$R)O|w%bkIgm}0nT8J6~VB_R-boyF+w%7=H{V_2XRUv zHIpZ&A#s$Tm~#(-G_Qt#iU~EqfVEvL|5ZRnAaMlRR%B=Ki}9avtBk&bzLgt5+|VT9 zif0JRDlwrb?|kaxMy{WGYsqIMO;U@F-4SMb{-TzhoKyb!Sa)7aWTzZ+o;J12HAqV9 z0)qAm7)=%?RW7{3D)t};EjsRvQ1;(tJXbTCT2toF(&|O@T0;s2>-X7JQ1XB-*iDuS zB{)=;PLJwo>$iu=zXjz&D!T=6WBXNfa?t`pkipGh`v@;uo6=@icJD2%CcEV-sNsEt zB4#J6SZcewytc6E`o%w6q%4>ZL|H?a)g3B(=ytOxujmN+{^zR=&3ikeNTu;k zU;gPvwy?%e&vou4Bca$#mi`|6nhgxZ=i8H{{U(OJ--Z>mwbp?+G|vJUAg1QiZ(O&8 z<(VJXlGWT6Yg8E3j4fY*R zDj(tI-sxgmvaYF7ef2s4U8UCzCgn3of8XwJmWJJ z(YQM3xgzH38QV;R?-9Q|m=5UplT+AjAOQK}D3KdEeiZFqjUNpVepKp3VG!MZq?Hq) zdLPY=)gM`i9ne>4@o;#o;)jfNWWt-LQ1JEXP0c7yQ8%*s>l+ZXr==(FXn9oJfw>OY z)zd^{LCqi0^20=9!I7tB!BDkw96<;`FxS&(=-?9Ff}m&3GKk8|i1vPhq@0&D92KFj zvs9C zJ_UKHff~G8s{=Ua2aE{FTY5-zGOvp9xLQYm9R)0mE2HE)=|}s)4}FNA>(z&HCd0%7 zMWl}z!%?$u*yc=*7mP3PmUo@kKFwE0VY}t0Q*PU4Tu*@U)7>ajxne$eH8d5pK#oi@ zHbbxDc19|Jg!{17rm2yEIlawhTm8C`FxGJ;SyK>U7}inSXj5u;gI|Eh@^hffb+bc(=U1Xq4_{BVl6f&|gvfg)h^!o3w+MdHo9x@S(i^d0EI?VxvZ z>1+8R#QmWcfQ|Osf0(&9(pr#kuKvRY{N9rzyKS{c^-l2P>m?W{s^Y5XUx2U<%@T53 zY`$H6a#paKEH7M>{Gq$m!I#qr%bmANBhjuZ^7=Bk`5-FyGTt`+U~9Q}qMz!}nTjpi z-wdev*Q8ny@bBa5%<^MGRuNsb57G1yFWvD!pwQ&KP|L$Qx3`XpN%nm1&{H#)Lr&#Pci)A4aQojtwx^ynH$tMInwq56!VJAw# znJ_GjAmw->J+C-zQUd5LI`Kc0N%F~D)AxjlX|@8?n> zxTBF;s4+C6l^0~o{tGh^+&Pw(IU#?-KYF$rs!{_SRod>Gr+)3k@5hVPqV)Ffvi|nz zf~I|{m!8JK>&Myja!#SItR9Gv=R5cbuU7-IBtbh5nM;oB;=lGyp zlPcceDX&jhjujTbYUPHaj+q>DHB#dBQrDBZk>lW~7{8r!ou+Bf|MfJwov)Bb*gwSd z@Pw@ts21CQl{Cid*S^HOJVk%98?&Ji#^@>`xFf=8K%UyJt&_~0C&yTpo&fMLo?KkT zIL?6i_PNRR_>cPPz*XqiPaAWMWx)MQ;?s(|{(PN{PO_R|bCJpV0@_hgviS|Hl4;@A z05P4*>E-I&#aWl*Eytth$8;JnDR?OqpWgAFzKe!h!DMnlMq_Xe)b(o)_9IHfXFqcNUfP4I&Eko>YMH-pap8K+ca0 zw@j}`T7j2{_1#&=^rD8$BGzK5dL5-6$)3M!p(R z`3sM@sk>wO1ns(9fNM8)JSBJjqZVLA8TUyFuoCjuW^+YV zvY~TCs5j}GUz}vQQFV6R`DfD|trcOIgU(zPWe!JOz#?lipXxVOgChf|ye~f5$ zdQRCWOP|rQJYCj5WgB0UmrACn3P!d`2982oKq;5v>If-)1us42Ey-5g5^pd&_K#xy zx2>KB0^@SU;08dx!%Y@FcYO{z`iww)|NqrVp*!9I!;wX{466FJ!xiWj6TY0&?|WX{5NKNtuC$Dop+Jk78=8u)Eu z!rq4}DknvpWyQWo{oe=*xF&vqa{*;c%ir64Kkc9X7Xi!s-k(;-Uxg+DSoF2vPX&V_ z6|kMiu!BSU?PNoWNfv{9N~wV61YPx1BoehcNwpvwrDg|`{h~$kDV^i`Bno9tvCJMS z?T99tsiblW*_0p|M=GJ?td7O*Kjtl54Vpz&9W0Q z3Q+4&9MPI!)qpnx#k5v|hOY|z@|B>vcOHlLDMK1c(d(h*5|WZ20gM~JZ3}(Xez^OWRU)&^sY>BnZLB6LkkgC%m1&=mV26qcmHLqm4F2-fE6% z0t#O)CuP;%LwNq10}GW;&wWzpn+21 zDOlyO^RT%7JA+vE?nE=!Oh*aObX;Vtiz|xP^A~&R*fJj-x+S`>->MF_nCFsN;;tK0 z)?CqfeW`-N%@|+n)CmrAg6!R-uUt*hD4PjPmJ-iX^6l2X2baGvQ?qo#m+r~U@oCpS zA&|c?e?-PGegdE{TWNS|7Ek>J?zB>)kdFQ3^8 zSU_L85SzCgY|)Od6J2MG10g+-48jz&d|G_4X#TMZbn4V-g~y!56kH4Z z(;_Brm9xODe2>w*ddnUP&r|4JbYwY8*j*Ro`l(Uf{~J&$R+B04kuSk?1S$L1kFa9u zH%|p*sYUwF3W%rk)JZmHki`O68#n>ky3)$puE3j|Msw)PM2583mea`k@A?~7IHZ1+d1hzmV!cDQ3Ce=0W<`SEC2ui delta 32096 zcmV)mK%T#*-xIRm6R-gb0qm0k3vvVu2J@D)cnc=z0sfPp^BV(YMUu0<^C=J>k1oh! z-}6Hgu^>uuD44!yCGl;DOT?!R`~^*o+ESCz0~41Q1OY>TbDKsGf7f3@9x{VwEX2VH zL8jB0#7UDlZqn9jCmAOXCpZb36A(DrRXge5-n|bHV5zlb;v}6sSUOI7w;#8=xBD}; zu{3Ps>EO|9F#f^ujlc>#$1`RN0|%C8d&V@tRxq6yv&c9%A7{gnH!> zPlxYjC$M^dYIs2E`eL=~TD}t)j%8yu8-$!JkZLN^F3A5B0tNp?cgM9cha&Hof6gD11WhXDc#+dx}ok%j!g2v>vi zceWA1ZzqOrxq)w7O3D>bdY0|EFlNTt;OBweG$6)*1_GV1=QJ%i@vI37lqBwOgpe~a ze=W(9?y!grS|czWQsi%jzH4Ud;Rqw!3`wd6eCSNgjnH^%>P-+>f4j>$kRg*1PX8F? z1tUQ^;=kPD$X2ChmaLa zv}-h3Jdh`DTQ;1bH4z^$DwalP=9i~~t|i5$Q!8*?wdq^r;wTH(E1L3JElqv9CVlqSlP|r=S&c6Nvu%L-{p(_4w5TH9U?<3JF1uH`%&S zBO$38#k8RJ)bM4dzIj0smZVGdRDw6gw7hp?8}0IVWKAJ))ozlc`I>)L4}s}%l7?)5 z9Z?IC+NY0{t_fI1qF&supd#XE8qw&>^E{cb#X#D+OtMrxGI~Lo8osqBwzv(%IHe&i zOHyoL5*=wjqh7Zjs(^w&Zn3Y#>S)|Kg6m6vs+yKHbGTY0Hj9#3 zyr&2h^=>nHU8(;>^@G#QnLy#0E+2F>MoUXNPT!eLh+!F>-bC$P9fK?Mdu-(v?8DpV_S87sqXT6(mOYjzH|BQRALru zuW1r1;Y8xMp!CPMqw1q%J{$Uf*p%Ii?gWU0TZ^1bT?Lb|E#nh!-P!YHU!7rnj%@l#MWA8852l`1_$ zq79C~1>nNhyPPGfoNd&COxq__k6cE+SWxLNW}(;>os{I1stn%56m)F^vg@otA*obh zRo@3oh}2 zmC@SERstf5+9^^mPP1ZFIq5E>&%xNT1MfOe-*gYuhpz?oT{-x}QJs-92`pj%8-Y6* ziRNkwAJC3SKCKy5xSb;>=SKwR1f2g}FZE*?7L4=4`GyaD!-u}%L;rJpXj>=U0qoF5 zRo-VSazToIa@Kl({yS72pIDCrJ*ej}D_^l7Z zv8}*y+NQbR03eULM^ri@5#oTlOJ z?~~C!x9JP^zLQ)tYFz-+uL!)?F8q8^BL>qNF(MVNtYL`;c#i8A8>R~Gly!ig+;@P#ASgDgnUS!=YtRQtFH?rb1aMC!mZgT6j{X;#OdWoI2ld13f z_7wjG_N&Q%uQxAYc5FpJ>L)nc_npK`EzfZSkLG@-srL48{3NobJ*pd|vO*{HLmX#; z-uZcNyf^$GVq_)Cjp9r+ts?Z()Ja$fqA9YMyec%$FFN@iNiLq>T>N&yfWo!dPFUu! zB(<{j#p_>PD~I1+TCU@#iFKBR!d7*thNdvnpOJFJv?W=md=2cEF{}c<+h$<5V7_P~jGz`_6E}#O?vOq8AFumZv za6#S_d|nEL!IraU*UV!*(1F7=0MuCm=xes#c+5SV$;Vv&GGF}pm6wAYDpu-d zd|oM}6wSTZgZfzPq`rR|?6N7U#akQ|#BQNTq*#jP zQnT#{ho)CGji80`_6*q4F)QoS1gRHV;VUt2r1{%o(^h;;E$G z(cY)mMJXtHWOen%Wx?{3L%=-|;6NbM%p2wh0G+taC}e%W0p7_~-P{zi6u*-Yez50k zjScOqde5)z&p^Mn9EJR91@<9GZ)og)LFqkXF;aSo2|2UfH=e`_>xcd%5jgUzb+NX{kKp}+ua_G_i zUoU=HA@9B%dayf&MjhPl!!H1SnEfQ3A%=1Y<5``5!Bb56L=5=^z;p*0#}v?iI?5=% zHtPiO>PD;|16a>jzyf*-ThCzYd4MUe+7dGFx}pIB3x6U0=tV^znD?WAszy^H=v~`E zt#(HPqJTMiHcB|-^8Gie8Gzg{fKFvq1f9_q65h~O-c;$X~w!dcJ4nXzzYEA#F^KWluLE87-m=4kP#Z$(Ab1p}+c z{IV)gX{{=aJTQ7Jgf58y#H0sp`D|V?bUKZw&~al>ya{E0w*;ACW-5TT91ElwV z2_$atl$B+a6p@mY!=WI56h$VIz|$=*URQsT^vcowf=u`pst&FiRzVB?4=}V{bJG+m z6yWl;*=E92BM_c-)`U(!4k$;X9T(t=AxedTXa5(&QQgtz8AtC{=@)8HZL^;}8Nj7W zolhOwCI&6K5!mITxVx#(Ns1Z;qORpG;p95N@qTYmx0;Gwz8TnmM@9W{UivukEEjFo z6dPGLvlY+93@X2BDOZn`7L6wU*aju2S}wcBAr|iScCPI2BB4t<=8adX#(^(&BSE(7sZ3xEH8eQ9>{_SFh|SxAKqo zJkN3NHjmLb`lZ3bRD6n=2lj1YE<$&{a0sCBOW(lr%+b~5`QbIkIRU*|!C{-NusM5f zXrr_TExeF_knoUG2TnEPsJ4WM9m+tVQH~P3U4zS1ogo<3c~gVeD>OpR4CvIYE)3As zhW_;#{acVKYi#W~!#WGYdoSvPFtLkv%%h&5y}h){dzcEp2Sn$POtz14IR36b`XH+| zUUDybkOSUoMc=CS05NmVW!D(2eyG(+m7{*{Cu~c9@UnO>cK7VV2i>9j=@(o}BlQOZ z+jy%|88k~Rr79V)4=+V?e|j_*Pz`;^HLt&)36M@@m}T9}>vtnx3V3O{hX}swIlI~f zCLA%Wb@L|EL?2dLZ zYr~&^9Sc}fHR89fXpBgQ;^Qh~9~-G3F-1{(Za&&AemMB1D=t3c>3qPfbnHw+!Fyda z2Bo9e1wY^C2YuI8^)HY;ua;%eu2Ag(<_uX~M~APi6mP6a))HPt~n zjYD%F!2=6~`RKiYPEEI2|53Jcu5wv6Pt+Ptur0r;8@bxL>_z<%AEpglxw}2_hrY=S zT*pnKQ$EQY{g&11h0K}QNU`6cqT7V%l9cMXUZ~6BNfEVgz<;zb90VE79oa-V3zlP!cn#6z&upQZ%~aj6_QwTsmG~sGrw+(H-`VPip>yWCjZ*DCn_91;plXaC&EXh0{Qg5YY z&EaO^7_+#VIqKX9otH(P>HEN|p4W1cbXi%IDfoP=^No4`k#bSZvotBP(QcgIBRLnakWhS{;Pd^4^Pya*@w8MTNLZk`l)tdp?Mw-n@ya>{B(LT-K9wm|uPtNe3en+z3a%G~wSo`^%R(u* zlLWrh&xC~ggk5oEJgprZuTo9_WTqA8n`Rif*z?)%og!%@4q5Lad{wzA z<2pCJumkI*PR0RXW1nx$Q?bq`N5gZ*vP~A>?0NdQ=Uqzev7LL1LWjn^4UN_kKE?bq zqT}Wo^0U^!m5e~aLT#46zISYllfl1V0sbdM2HE-5k zID}%2V?|X>NBBWhe98z`S|LWU6wz7WthzFccjq<>PFusP3ecK%=A?X*SUbP+2ax54>5?XO0v^<20l{#p{v!KmRf!3_SE?|S87g*i_Yz=A)01A~A z)Uz4^*+yW02Ypy*P$Y-WUit_|R;mvnF4V~g#f#-EzD=wDC;+>I54_Go+8KNU0)3Hg zC9rNG{zR?EUmtnf)v`z~up~maEP7l)FQo!q1Bc+dGDUZ~M>#xavxA|miHBrZMiSC{$68#Rxa0GR)7F~L9#m^d_!67bJ=ne}d+C%QPfj5A$#l8bG5@nmYiRuM6# z7cCaBWo)o~UlvI^fwtwlTlRx-B{+c4#nfF4Q)|RB{j|d*w8;8mm|7#2NjvEr4KL1| zjD8P)%bqlnsEMS2sBI*TpyEC&iZt_eTCK}`C!9<*{OoPIfZE*Le<;eudM)$=CKIWZq5#(;JEX#_U=*(6#*pX-R%W-*id-1-oROV zGYdu9E+lA2KG0ykW`rav#>${1o%-TiUMIQ^@IKBZhgL0CP@MxTW zKW~vB`ruhaCPpYWE5v-8_eqA@@~)cv8}_R<*8Li6Na~2$xTQ8^&o5mONTCR2uEb$| z5g5YW9R?fXV~{xkg{z+Mak_gxk>7s%}brxb%Fk22svY$-5W;JAT)nt z{1~f`aP(uVelH?+f48X(I`{~473r=?OYUdqV{%)UFdirz!dgE;+*XK#d(Yine=)Jf ziQgz)R%xc2EO*l84$+u;Ze7d>ljbiTp`a;=RQ(rE*gArw!EW^b3nyX&0hb{j0Tj2; zBmtxbB9m|I4B%uGnV%kngfnj<{Z9{x<$LSq84sKb6Zj7tzo%}K(E}5=sVf044gva? z*f{|n11LX!lhFecw+uP~v9Rw=8L?M&W0~43^MgbQAHJ8CF0V#i6OK%)E z628x`;86m0Xucn}O_0P3XD@Pe2;lWWk;jS=$+2ZG66|9C`+jV)NOsRtno%SH1K8;4 zPsL)fx~f>;aApL%VuHP#eS1E8@q-F1^5~Rf=kJ+`+zH2gG(39C&fl>&C*S>kI#=Q3 z^2_O5Yke|L7jyE@)3@iZFxr1J2T>i;Xsvlrktr^W%45GNQlmMz4vx(`sq-YoEVtSw zT$(cT_Z{BBKW9UJU0i<}EL+@u83c8VJV=YB4Pvh@K7J@R|Ks0Z|C2;!-=EJu&m<%S zlWnn*%MjV+&Fsxv!QSC-ubALE2KL7wc>_tuh0}O_&3>Al%|vnFM3aAufeSB_rq2vQ zFWDeD87yQe|>qw#*>{jEpt*cZ+gyX zswZQ?k|8VYv5I>anT_0r`gw$8c{Yk3lH}1~*2Az^vm&8Cl2C{Uw{3;1JqD$O=Mw++MQw&*0o91Xg=|J+(`_1GMv;^IdlJQ{U)k(^_jI+% z&J-$Lmpv)DkzUK*n*{Y9B@7FfF&d4Epp=|ntqK}{iosA-z;n>i`AAhkA_}6HK0QYp4W6e*=s4^v zG_V4AvR?D3B{F}uf>7fvM*zTz3VIKv64jt;ZwSqwv=K;CU3VDSQ?(~+>-?o6(7;j= zXiW2UyC>15im;0#k%L+z0y}3C)H}3dXb-%IsX-9Ix{&-}mGYrEm4J~`3CvEF!dl%x zk7{XsN>0+=klv{T_D&^?>}lGI#m$BSbj~FRit2i3q2+%%#n(7{;?*u=(5nplz)&Z5 zNSNH}Os^7G*|k7(EDO~MSF2OWOsa?e(qL8Cv8+|8`72T+l-s`#U#}Nv)VxJcce@xG zwRO|d6^$ItJW-jmx0;n#JFm;Fnf;MoRMAp5=dEy3+~%lduU`%~(W8?8(c!mOtAqQ; zwK4xNT8)1X+&NS*hw31eh$(rDg0#2NH8gEoGGhCS9S9$CZ-iyeacxxW5yQRrW{9y0 z!ri!vysK7FB^O#&)x(!jz?sboLM}Ud2}`O1R-=OMh6dD@=#6jM8$w158$O}c-s=%s z*Hx!zi(m3wPN%l8VhkMm?Q{z=%5kM*>L{e$C8vL6+JsU9EoYHIxd>R|kVYzRMk~^Y z#7Jt$qaRMAIk~v}no|kJj54XqnCa+A%Fue|Z9!+-%StMh5tkId@;-$H0fWEWL1>8n z3G%vgle1~FgO^0wvRko{%6Cjt3J;Qr0+BlALLUDmwfSXn_2J{V%O~L=B3f{cE%kZW7OX;+#FP-->Wv4*`G){AguA{ng@$uagaO8&Fp+rg-D5H{} zgLdAccCtS#Z+m$pT;bCj8R5`mUml2R%X^dk2esfSk$rEJm3b45N3y>!**B5MzB`ir zBiVnpWPjJHa3uR%$o?*lJd*wAP4?j%E~S6jO!i6WfMma$_i@Pna&Z5+Hs&8j>xi;C znYq4jDXB#R)21a5lr9A&fktQ^qC=yRIB`^d1R2ytuQEZeD43#)X=}e8p&;ZcZGLSI z_%m2*lSZThJCXMk&M$wvxW50$ zN+CVSC8#c*gic$D_F(D-yH1!+9}LB_FPO$w9R%1ab7-7&2(gDe)N6EADcmZG79mQR z-z4u)P&eZw0=rIO5gXo%1d$~b8ZmGJ#|)g%5d+V2j2L(}X3W6J@G%3Y6}Cx=7pC6J ziP0^NY+1>_1)hRXshe`CRoH)ve;aJZFaRlmGUC>~pG9IMl|Q8X=f%w@%8E@Kd@^`S z!pm~zZ9R7&;VBR7Uq!;LOUFHKGYLlr#?$909)N@|ipP&M{0aDSI}z`~WhD`>vHRFZ z@5j&C|5ZottZb{dSH}bQdsA_nav@!Aua1Z9$HVsL$jP_Vfg>;9%*%f_xbMi#pEozR z=?!(e^Bc^~CqokDsL>f?KV4XX~!(^p2Ze<m^ZXPFz--0%x-hkL*{17GdnQvmbdZ1Twp$_4|8B{(Id&2^Tg?Oe7#5&p&?CP zFK#Ywf7{O1$3vIMdR~9ZGdM9f!EiL9TgW;tMnA}j`EB<1k*hzxE4NeiE?D+DGpFn4 zp0pc{Ek?V$e9yimT>gUn++drss^$BtA1_cIok96(*-wj4Ul%v0DxCaMekvgUAb@gz z%RghFgtEhr2N+aC+kQMisx0^-i%CB%6#oZvO~)<@Wo~41baIo}0}QvXPXX%*0rr=h zSpgaZ0-*4emoc;h6SvG+0kjGM{g;7c0UZS7vi2C4F|-2{m$hU87ni^*0V|efc%jjX_3I*<9Z?+#rc% zqYOtziRSvIdEfqdF&I+ajvog@##lSFAH4l;@bmSzP+K(;iZX3$Gln!Z4Mmt!U-yrp zRMiJ!S~kO?)U_?u2qc)Wa>7H;Zwq;UA^xXVVy&gXi#&1XS@#pT7XNHyc?|pmgrG$}6{J2_9 z=68KHhFZ6GaU^jZ6l~pCL%;$t;Rf<+1M~h(<0k*g-6jEpv10oT(pLQC!`Itn93A4f=eS2RL*i9Ht?@Yr?;IQx%KWIxNi9t6ovS;D%ASp*2siqP_jp zEeC?MCfh`k0pR6W}`SD~H9X}^C4s$1%h2i#r3HOW(U8`@w zEQhcKOpP!Y)sQe`$U2y-`);x9X6JxYsknyifRjn?eI!AxHE<1%(>W=HoeXnAZPzHp z)+;L^h4oGeQ!p9?C89x85*kDa(AaL=HB;vo#is_xlkD0wV<{ia1j{@g&D`fHXlAqR z-7_`ZK3!{W(FE=7mbq{nXE)nICqqPdIyIwfbWS_)s?Wiugx(e1hfS&-n}oV}<}fTV zTf>+CXaQdVGnZd!0eTN+%f<=%%1!a+!*cPkc=VU(X#rz@^KnP)NhRWN^DLwS7U>$& z+tGM+4mu$KmirtEQ6-&kdw$oJ!}Ms(YS)%4`>e(kt}U#ooCsXFwn^v9>rJQ|!JutGhrU`iRiR(YCZ zn|nPa=FDc>2c?j319`2xh0^K2CEkQP1TIs5yt(WYW~1dVXFyUIh#%!%!6tFfPtN@G zmtAWCM}MuOmDU!-AN=7DXupL<2wlM|9ztYfBg|)!<>DOAGKB(D!(=y&O^hlJizz7* z48zV+(#XM+u&3F{Od*tzP&3mQ1^)4)p)hkvW{+#Y&D6RSDuWaZMdik`B&uK=i^B5k zC(6>{Pij3L{zMgi)5!8=9aaIu*8aY4gE5qfaet)`D{sGwCdeu~6NIGD&9n>m;}&*N ztlFHYbO60s#lGmX&$-PhKtL7Tcj7YF2oZ;*BE3wS*pPw(4A%4^h2i*B$bEwatQ6#! zOtGG|Dbu?-jZ6qABtlgDgL_e%V&}a2==hrnwb{|zeg&WG*Ahb|;A^R51XHmkmndw=!Oh3 z1z1%O?VCVG40IvH^C#f}!PiY8iv#4af^(%`GllF#7OCA~1g}}-NJv6R7BT^oh$+pj zCrQC#k`*i_Sz<9Y9$8E(ToQ{MA_cAW4j5x8pF(y#j74uJ&{$Y&FOG1dn5lK%JAZGC zXxNjb+Q{SUXO1N%l|qusvt*8)3@1_c1gC=Z+;hZ59sU zzwg{JM(jfpT|Zz0RHPKV1k)bxaeq-fU`vt`%qT0tjIsn~YCM9ORJbTGZFUvqyTA;k zeD2r@VCLRV0W(`{FPJbPoYy+#i&Y zw}w@_B_o=OYPa-~dbjkldbjkl!j%n;=iM@>a8Xd&yehLRu8gJpq00$S=6~K!fim0c zhTYPh)m1tlm@#G@TD&E|JWtM8;*&|2`29*bV=n1irjt4XMc0`I;Ml+l21~y^mtd-s~M@%4N0+8exkguI2mWagKCC0pd zlGw?crB(#fbx#&n&eFXFe^f!NZz@mLOKMNn%W6;7%L-36G@duhpnt+ed9wDe%8l9u zWhfQim2y0kxwlic%WSk8JX!m8l}hK`DPq=n^_kTDTjZ-JiN)bD!;uu?HM7J{XAu+4 z)>(utj8`a1;HM(d32G3XsOHd#3JiU_1%%3=vm_?B(_J2G-EXR?Hb3CeK_I%mM|7VE(Z)AvN8Z|@0>RARdBt4TA5~P?tRf_&Gtni4z(22n9oBPrH&a&wiv(C=sSsAH46gl;GExUiV&E`Kng+S%f9)w@i%nl3NO zUOYYYyb{j#tB_$KrR-k=PN%cQ&f{YOBlfpzh9?ku0_-+@PO5RKAPD91j3laVMHJpyTg)=Ejk?UHZ}V+`{4GjO;y8AvSu>x z+b{fhKi+rC&R>4ElNhIH**#20<8FgVLV-iZQ+GY&oPV|-C#(Cu`?T=y)YHCIZ6bXd zEN?npSQS6Q9r~*O76~ERo9=eva~vKw47|50$Fz0NP7kgXG9nJH7at2vx`V40XVwST zwWn$aS8|d6!L>U70<;6_tyzN)ZytBAdDk9b%E5r9cIly_9X&k2!Zx+j>wcfy`V!gB zL3r=h$A5p@AD#c&FOu+8&(Z>x_r@M*5`O0kyVVIkiLYY!QolliY&4w)m2UmFVDZHE zLRug2`BH9ahYRXIY!i75wz2-j2#W5qblV9U0B)qccFUjdVQklG*x^8#yRMHxj~ruQ zp)*_d!^Gz&gQR~>zVKh#ncJ{(`q}7P3~WU=i&60T+4i=0TKeB^y2r`#S;xwCtl~Pq zH3OQ1qow5`uO{92PFHG;EyUkHb`Ps=eQyLEsrudvH z;{dR6@v(99v9bc#Sy_4i#}VSd2M{-Mu`~t9GXrEHV2~pcl^Dd%-NDk_!s%t1|M>`@ zHK7Br@$zyr{uK@ou?0C;nizor@+st^-Pkdym=rJ&`vaB{NaV_|W1 zb!9fPb!3J(n12h>F#=pIoh$$a+A#5y7Kw!t02xqV<$N})OI6zfK4xnfU0{`tS_qPKh;Gew#urag!C*42MzY|%4 z{|YuTF@f0H8G+p`!R7!nOB)bCQBscC$<2uoU<5Y(?SE)w;|O_)H*ztuv@tS%armop zBY>ocGQj9X;6L&lO&l!koE(`QEp2{FWci)uWtSzureY9VTM*dE5$Sh*;+75|lb3CG zXZibNt-%miu;)L(%o1#B_FIIhvmJ{%*wWq^BqRQh%L|3{hcgE`0f4NmtlYeu0FXTZ zQ@_#$Mn!6q7FC*J;`bB}aryax&VD=&cV5C3UUuclo-}vS59W31dA6Q>{j}5^3`}LnsdN1u|3IW@=|8f88 zd|8y0#HHm$82(oLADgHs#0}ud#K8$*Vh6GTcz=0#0Ng-UfcJlAQ8KdprwZ0Tp)z1I z2!QwRVqbRYe+qW_=lp5^nGHI?f9FzwyfiHcK>Mf1by3{+~PjuaN)02LGMq z|JLLGyC6wt8=Jq(w13(EKV~CaOB?rp9A0|X+3BVKunxMaDRvu((>1_MI zt$#93MlW+90yek#&o){*N?N*sOqDF1Of3FxmcM!R-$Q0&2?i-a94&v}DgY)nR@VPz zdzmZ~>zA9u@uegGGJ#$O=f9Vf0GmKee@_@YkPBes;9%sA#QM@m>_8yElkH^`O+jvd z^)P^i84PiH2?4yw^9Gnf9FTsWC^tKRMSuD?^*7=Ku*m)g@o)fGRR5qCo7x}53t-Xy z58~wpuo(S8JOCEsKj_8N1nkoc^$E|FC~g%719C7y4yBAphEkmq!hY{lDOg z6o-Gom%1JQY{ZMv@#O~jV}42aC;dx5u{gQ@yVRE>bp987QSI_C_@dhNUwi%%{jb#Q zFB07U1z%Kq{1Nh!$phr@_fr4WyMHFm4llBu{<>XW8vB3nUylk9$PHwIv@{Pfc^7C^ zAJ}nUD?;STwD(0|hH6hUm5#}C$)VHv5fvect|rre!{JsWX|xZ0bw`5sMtGU@r{{5N zBSJ`9f^z#0uP1{zm8rdUq{XkeLz9KaA`OEih{Q~4!uwu7?Y%VotY5W4cYn)L<=Q** zpep5K-MbD*xit)yuZ#!J?@pB6&@ZdG3Zb zdviO3nKSuJDjUau|gV@F2Cc*|!+8}0_63Nr6r?_*Ab#{mK@PQ4a=h>8VHQUfWt9~eRcozp;# z8d|VtKKvAgx2`*EvNpDc-PFR1YA8X{+UdJ(o>}kecetiTHoEFIB7ZY`A?q<6>TfWDlG_@trhfbnuYVsF2sBKHi5l3bqiok8iB5}UuZ6$&ujG{=&OwVoQ zXi`ERHqfizJ4U9E>|yq7OAPq<;lb-M3hE|iGFB?3E7%(#+CZI z#V5Xw8L}lC8vTnlIDh|2v#RfEqU-8RuYie_pSj#zRTK?H!6p$)CtERA?rbJ68c3wi z+t`o&i?8H;8$F!YsU(tr;In6c7+^WXw|riLaf2ZHhkXYOo?xdHtA2{xadN%#;4d1j z{=*ZW!=SJZO9GV9cLeS_qe?eUEwDTJFt~!xb&IQZ-`=wMsefwJLVL#y^A-23mm6J~ zvRVu*c>4J8+rrPWyPk~aBtHh@1epVeKECo#9yxhQRExFXVyq?of#GPXW)bRhGgWfDU`WS1WwOI%C!4s{E|wWDBwtusD) z9Dq)i!v_l#Zw33;cVx388$@#GvcIHOgnSr4gm16JPA5?h>lgS5=YAH254^##OFVB; z$x**+xx}I#X6L0CxiZ<0se21Rpw~)>lPhuQzg&HH@*j z^|!4vvdeB{-&LBtK~m^Rq`!Kz6eUI6Q(U;YDx9PN?ufS8pAE9w&!gN6*Lel+@pP#2)#U2{PUx@1{$-+Qbbc?xUFRF2oe17LVQP3*;5FA zHW*=tJ(W10YR_c=Emq-pk-JKU#J?4NAHn} z+34%Tk9#kFVzTEIZkyTwJ+C7Q*R}sDM#ydU3U`$ccStb7=G{=jq20~qx8`X_sDF8v zRL(st&5}^i%$cIHEREj|?5djag`eM3Z^Bt%lqB|=pkED$419%E8E!|Eb-nTrH|L#oh=oNpjzjob?w&cLkH)eT5Vx@aCo!x7fnMdAwo1|9+GQU zDGqZI-(T-KkWGu=TUKqxAczx$t$*x4Q4-X*u5O%rxVBTp<|C*G2es91XjHBvhY78w zp>iPeY$WpKU~jo!F$_@W34DsbnpnmS?}P)s&E(8P@8LkU_H&)0Zp$3YgM2wG6 zR%jc|)k@=b3M6&xwJHGdjoCxcf- zRZII;>)Iu0Y@gekt&tbnrb49V{c^Q0G$~gR#_Qx{y@XzLhV;kHI-9s_11_8^nq-3G zuNhU3&v64bbghONH{hs zOhwu@ntUz4U}j!<5JU;-3xA!t%oJ4a4xw%(N*;Er-a8&|^#G@$c83OAiWN>r^)6k675r!%UoGS^fTgYQg+VrDXr~5ikc&E(@_WXQSbu(Gcg!OSJG8sW z+E-x0fNQH-X0_cUWT=}E`~&I=j1Zo^*&L6$!7M3AC~wdBEV({j)q}4JdLfouh?fqT z{vcYHtAx>lS>5#MXtSm5b7mALClQNrwZijv8p5>OSMOK)IQBX*E-nx2{3;YJCS^s2 z)6yF{1ocZWd0ld5Vt?J~i4bUHY@J$Ws`*S6D9%#+3limKi1v+C+;aQLf}TvtI#rON z6El25)0^loa^d~DcX{`7@l>k^#Z9rS7yAk0jVWs%H7d_fcX-XB^L9#K>6l;oJQ34Sd`=(A^&Ek<@ z&Bmphx1Gp<4*Fr1V4TuUEF*pBm;{|+oVGy>?y=LzC&epuWkvMg-RoCaZ+bkQ3v`Pi!m#x=PF2S0EpNB56a_Ob!r?QA}jX zBMSUQzdsb1;G%eSW3tacUZ zwd>z%e1D!u=>NIp)RcuwveH9lzy|1;88CII_bhrcMTy^GOqdqF)MHru6xSIpwu0u- zdIQGrggs&uBqoLIZas9dPE%0r#11*^5?wp9Ml2eQMfyyZ1c$WxB{apdB=iNxm-PNhh?;w{2GmK=PR4r!*Jr| z$bYV39K1$P(gn4I1Wb;f&?gggeAM}SY!tDTl;JdP?s_J};U!Agnksph4TK|-BV4bB zAZo{f$S)|>Tv}uU<`iJl$&e2Tt{A(4eqh=_)1~MX$Sj2PuEZeddm@A#b%%egy&MrH zw2pZAO)nbE+YmSTSeb5pq|WQA50s|jYJW#M^XLyK)BRQh&71xSmR^d?-z0clja6aV z90x@aJYu)z(?=S~n$p?L&tVGZpRl<~(KlBnj1f#6Qb}7cSK>4Y*-(8%$Tz@R`QsOC zP0;O}LEt#Q_awcFVobOSB4t|wym;n7ffG%Aw~29DI5)q>f#>CH37@yMy~|EKcz@{L z3OU#FGST8=fr;^{Vciw!MWo$iezEwYFzax>9^tFzEcn($+Nm%H-*FGjMH9}_RAnLlA z12@{%Ctu}`kKkq|fE+MP8FTN1-)W9Tik$(r&V~v&4 z=Nd*U&2N5*xGKxl&fJamZ@#zRTiMzm1&60|B6!$_rT#-!jePk!AvRN-nTih*T_zzNojkAnw5Si+> z7khMq-q|de0rJ;^VrrG{qq;59*`>cLTr$ZG%My?=7L6 z9$p!014oMtJd~t+km;sTj}N*f3UL@S8WhYIZupG5Qz*<3q1X0&^|7?V2mtKPCAq%T+XR z*B9FLylKWY75+x2qSyOuA+-F#Hpoth;=5Zx3M(V5>%I`gqv0~6dG)o-wzGn$G#br! z=!WxXyg?1ka-4riGA*uIP`Xz86^oCzAJ8Y-MwGOFS+f+Dsv0u zN-&FLMO#^KZZU2$R6afw*gkW;3y7{lbWz%-!;-3b+Sz|o!ly#3H`AkvQFQY2iD}*2 z!M8E%5V1zs&chTOozDr{Y9jUiBphlm*<8Q#3|DrgiB0{jln##K;md+=ZF=PV4~9HE z%F$T%eM^J1GSMs#7uYjHVm-0LVLcOu17E+X$hN>nIQoFGhoK2} zU+|D2(v^R!=quYc4Wu&0BDD`4SMUW(^G1PZG=mP&%Uw&&Uj!I(nGc-|nx+|Pe2e>( z=$5a(mSj87&tPnEY6jUYQ05{Nt9z0#MSd!s@)r#wx&q`x1{2yZ=ceT&85t^$d)e=V znWnE)89t9b;NSzH7&35*vw=YNwj}igHra6YhV7+YcQwZ{NttXoi@O^ z{6n41B`u_5=^1|3&zvyLMgr}-YeI8N?|dMGZ={diwdrz$mJN1{xRx_1c7C=La_d`T zc6k_3)tkLAdeFkc{f4E=ik2HstH?o$1XvX_Nmm6Y4?fpDMPgWP)GXCwG_Q%S5(>E#E%`di;CA`L&zq*;t?zK7J-ygT)96qh zL9oP;IVlX}3A?^TE!fK~0p%Lo(&1_GH_HS~QEXDnId{@-;oI719fxZ56Vnx=(2jqx zO#ODMk?9#aBl7-5IWbob^~B5MgWZXw2^N~ZiZJ4O1_(Tp=> zX#IIEb9=Un$g*T{b@cqzbu6m&Fe86`Faq-9yxv+QA68U2wjM>;859CckIA=Ppd`5v zC2rzBoH3*2eVNfwQ1BNgBH8KtMrwhN6ItLzih2J2n;>vHf*DBre(MouMvws^IDmn( z-F;5D6lWbSEBdSG-025x(w2_I8^lTyCc`I;$fU5uxQmH6vZ4|uud*8z4S9bDE<{sG z46CTS3fF27VNP3B)CnyWvmx{CeL_1j@s>5|Q$}uslhSD3ov|lN6l8)?)@#E-#CKpffAiH~y;z55-{wkT;JTu2z zCC?2iJGB}lQUMo42KZqFtmF1Or-a7EH+aY{MA1{<@TDX0@(B3Ur(DhUeI201w|Nxl z_c2jB7vf!lNAFX;HmDsojBj5xJFA)4HJ^QMw16fmNcmMDvK2hZM$EMS2)YM{4zKl4(<4m9LF5@DCBt6k}dQ;Bz&nfZPr%Bj1nO*L+fpd$XL<~cdw1=Vsd6niE zPR9-Yx$9+NwrTkarcXT-L(E^DD6o!2T5riQ(7K?Q^+S@aBp8;xwzIOs2d$57R59gR zb=u^l;Nd>kOWS`Mbap!4OjHq?C9Q3%cnVWm@ShZTIF$136jlwe5_akh1}fm z=@itxw3Z0@4eje+_bR?a9R8TXe{&%tLE_SMkO7nFSjd0OKq{ec#E(4YV@YlXZN1BB z_c>qM{76juSf%?A?d>`rWgy&rEPUg8$&H?t6JAR z3~&$wM1L$NvrM-8g2kpYNCJg^*4NMWXXak7FX}QP1GSWfhin`4#@q7;?GV!H)5pEo z3ljrAM67=}f`h~aB!J3Ety7uqMnN5eS{hMp^FE%Ax8-bonJ_<>Rb-mr|m0>wdIQpwm+o<4fs|Cj1;`UJ$jCQhTIf5WF=p;ih;LRO@6iqR&C3 zuHm!IAr3eaT&_?Mh;^98&2Rs(S|m<2&_Fdk8k~PAfQDF|Vh4S}CFaTqWeh=sd(hL8 z>2@75$?BF(8;(P8U}}!qXm!8Bxmbv1GeK!>5iif3#9ow0_u``E*=?N6h*^!>Jrd>+ z7MRTZW#>JH~$=(pf&17E2)ro$G`0XQ%A_8}GmA5_C5C zY_heW;yW`VY+o_~X*=zB=ks>F!W4UU?9Zx{`G2Kg77XX_(0#o=PrOn7%C!lt;aYG4 z!(`$|@ofo`z^-p)*+&wU<~J<-T1pj1d0UVFXN^pKBzPxVAQLhM=MtlbMIp=(Y+)^@d17G4gn14346$ zTZo=CmAfh=t#5TCc(V@sTJ9huG1j zqdD3dy}})pZxRboY97{)o8`9_OBsLu9%%YJwAZM6?`KgrI&6%`ELy7Shheo}svBgr za|~~FV{P4t*3V^wS}K5zfg$yk%PxU)b;-^+BhiQ=&NEh%JNYVJApHR2@h$WaA1*v; z>_@G=0VPyfL;xrXa^n(HPmniIQ?yv_*+yF~B6kRTx-5?_+V!S3xK$AuuLpl&Z}uGD zm%Nd}+zTSmtF|aX6s;|NzFg@;7FJt~+3_TC_7-6dn}LyDd`!`6g_XS2p3gqqO+~q2 zKU7xc8z=4?d!4Y!re?YhPx2@AQx2OiiO7h*lKhZo3@)vxCE$jiiI-D;niB4p$2=T7 zW0$&hij~|wzdqI*0xDMF-Y|bNXG9Ljc)E==@xnt8F)P>KiTPvW;)cMsio8pb7!(uo zXJ5^2Sw*K-Fs%fn9$kuI>4UzKJk#Nvs7Zn^GlTcXwl`$K;q`tq1!!@R+0SV?@S)L{ z6(0*9r_Dl)W9Pp235Is&TIA{>Y0B=PzUpfDfYini)9qP)PoBnHEQo&@A38L}iu3hH z14xRkmK=UO!fq5f3RlL&J18&{!IkYjwy*qWWv&g&rOiP!=GZ0}sVvqnZVftNL{hr9 z3f|l`ndF-E*0bp$-Us(z&k0xw6KC5}XZyr0$(?8pBvvL6G|sB_drY`kxqH9Mx365d zS6kuankt{oPN_Y_e3yS|sIE-9AN6-?$_!aHP4JSr9-<~g;8BCjBO$*UOtBX|?ny`| z?_AQ#%4wvrsNo==s7#i_U_o#vA+u|)Vxq^N%0>#V@}BYM%P#H+u0aO2x~CTl_>AI;lr;BZ?$3oMqgqa@;s=TjP1Swup&6v7xJyq~i~G*ltQEw4zu zar~6@O@p{DR=$5j?``^wU-i!to|wYI8^?a99N4e?j@Ag5dMM=ik8hWe5LTdyy)^a5 zAB^reYvS;Q*-c#CeIU)9ofGr*eR8=yXuj>6 z`oSSS+TM9S`mwgG!8RR7v!k%%B--jY2)VWLgiHA}a|M6B6fHn=wN6_Fdq>=tME$S~ z-aC%S)z!9m*kPEY%q+1gPAe~70a4mc{7hr=;}P$-ZFJT^GD;wn928aVjbVQL%P$q* zS15c4hC&TdoZ3Rd5e;uWjOL@*yt-xvvbKXxW^l#hSp{C-0mpW`g<)NBE5y$908ozr zWHJOC!76`jB@QkAt)RZu;|tlE^T{bhe)rAp`Jjl?X!;cl0rT_u5Nx}d3RpI?9hE2W z_9dS%8^df25FL~`r0n+zQ}V`U)LxE9oI?O3`qOp|mo;_66d&oQ&eAg>~bz7ZiWI*nZiw@*@TbrMrI)N;SRwh`_zk znh3|puTyFM>8andc5`_fup@R+{Vld2d|qGVEo=pMmO(k%h5h=5%L4o+nw){jXNU4p z-#N6FBt>^J@mKG>NhbLLmaSd-6m|@o3z>e}-rspDy8Y-wbU&}XkC)bQ6X+@R=85b^ z?u36x^;>-;6-0UauFOMc+(5>$!QA9Qi*-}6L;{cef|z@=UtIj{EfG-i%n1W2rpRG;W*`l3&$9{jxi{c#C<}PvUsS95aywc=NqgPj%xSc$n39>SRQXTixB#i;P!a#+%X^(TmJ3;^5F{559q9uL5L z#Es%0R9D7g&R#gr`G8w*Z4K~gkUd(@U2!rJd!-_F0QY`!8FFXs7t;8p%i(J`hCl5uLjX-lJ`gA1t-7a|Jk#P2 zdsaIkAD<3Wi7ZNeL;_d1ov9!s!Qi-!6wH0ji_`vEmO-(RiBOWqP-zaua(;ckSII3& zQNZD1(+FSI@eT`!2<&L%ySHSGtavOrOt5OAAbJ9$l^+X=0{&g%37f8*$NqnW7-m)s zni`?{6N@75gxq2v6HeuR(jVo`{W94+=95=qSuvRHw|k3ZBIjC|2sGQp5WYPO&Ek37 z=Ny<6imZm-sTyJ$!-%V}B8&12G@z@7xdMJ$GBTB+LS~4Y*5cqd<368DtG;snQ6$dv zBp}*URe7rjB^ZynNRh0SuL^&mPr_-5wluZ}&c(Q_RnfJOaiukCcG_`tu9D!hjRoQKxo2qQP|VPBRScck;Qb?hT?l^<(XTMjhLaeS zaaOY|8Kv+RRcZ}an@=!6s|X8gy)oADCaT5G#2?>Km`Zs1=;}AIzw$-hjMxqrgG1k* zC+z*^iUUt#0ZQrOCIbK~>v?-Y)jimP>L{!~H*!3+gQ~hO%43b14?5pY9^S1Prk+}D4jU+CsD^iC47Vz_PX zjeE3R)x}A!;%CL>iKcY)N=<^TsFBcHO)_ z^#gi$?dZ~X_U%iXu^EW!(Kf0GM&ewRQ z`{HZ;?Bh;$DoiXito?o)Xx3IdKW)H zMO6PwkOJ}KhWtnxd!f=U$v87lvvxy8v6`4YdsTLD(D$Kx5{x*G#P>1R7j-r{7K&#- z30S>I+k1b7{Ho+NWVSLCjPGC5b%(Qbo^TuHlt_&LUDgXxU2vHwWnT*-($B@<-&^&{ z(J&?8S9F7=o^QIZOBxg-@03zvxinx1W^`==&q#c#! z>8f+;`uEnmkT5AIL+axwKe%^Ylh^S2v;*@_ht&1Z>>kdq#C3oNB(}L`-UiZlz z?rmku6qJOwqBU7~d=cB2!L|O3z?-ikGNo@6>9hWQQH4U|WL1#I1EkRPQ zK7{Qw%Pp1bXMqI_GD3w^RJY9l3>nIIx_d^|j?zJKqj53iHPKr9AL|DFX6M=;lr=zm zr(J)+><6;?n+syXh#ruL0L;&&S@S=Sy{edT2`1yYw)dmF8T*6 zIA&`Wl7md?b8Z2Oo|pY)RHQDRoh^iigw9HK9+QcOI(3^;J6WT^z^ArnQqF*r>_f|j zAQb7G$}~e0kOn=y-4mbh$KcR*dgp%`Hvl_bf|GSsa^_RVw$BU2)-g|=^I1Vo%@Kn8 zB>E;Yrz#p4f`p7tCFE?OFrVIq%VRa=_O4}?p2)iObzDr`QkBix4tj;qMuq*wJ4Rie zIw)p^XKXOCXv}AfBSE==n2nEQ4gQ@x_*vdea%1=bpQIrRC@0)4`+og#<}y>TVLCwjWc)YE@`-x^DT=UNewR$|+z<sLYPc0Af*6W2u+ zc%Ffuz8adHVs0UbX>Z&i?bDA+jc^(^p`o?<&$?H!KVG9|U-aacdw0<& z$aHz5Q6qn6qSvqrB#VFC1^#$N;zKb%c}ugfQz4zHT#{Ja!NfyE_by5OyYI1ti=`f| za@8+q6*Fa#!R4_nqSlPHm{mrY(I~6Ib6z^2d4q%E2fW|^sku`27TrZ^&1xRkehfZ1R@T`sMHnSappt($`j^}KFEP12txvI2 z^hyVc$m`M_)Io^YK?|QaQBxL68z#q`t0m41ux&NJ(t3ZH&yZ^7QiAr6&Ow;Psa;X{ zDgdqGuHCSD+^rOll(3>R-@LgbES9j8c`$oG@O}*g=XTNdZNMR*jbHy*iHEFd7s!5R zQa_-QOk-z(opFDdDRV3_D*L8N)gC?8?ykq%K^d&@^R)s$P0rY3sgNg<>iR8l^Jm=S z1%&C9GFkFXt%&$mQT*dsM`^3lyuzh%18$E~=U`**ryVELAiXaJx8^W;viM1Oau2yq zi7W1)j-LlAMd`bP@#|YdJd6$`m<}YBS!JYNPx#kl+eLquTfJpHuiB%$Nmq*){4<^m zaq&iwR(^TA8^r)I^U=qg4vxXx-g@+1A8)DS>9a(U^#aPhClFAI#&Cxa$)$DT!6Ifw z?&wbYEZ@E&=0^mkDgD&yb=i!z#p=4}68V7K*$$QQemJkS#!gJzm&J#;)h-Wlovi*f zM)KfSZ&`o2L3~>sI_F2PCdsXmhoec@fON8K@vE^I65MY94 zbe{PU7UfmWe98vzz``nJh{X(_ZFz+p%mT}*#Ox`Vk`Jb5uPth)kejduc4H|`#m*Hz zSm%k`rZwX2Q0=JYzhb{rPjlRMAk2+@}M3oUqi}{m4W1?X}Q2 zgV#!O)*81s!2Tcx@5#iKZ2B?kl+SF_cCoZvdaaltO}ni~$;q$my^|z#farH1;SAlR zOnxluv@dtl%{5cCI4W>cWd=3dWP2dt7aDaLKUe8n=#*rmu18uXo87sj2@nd2kRH9M zid%og_9A&YkpOv;^42l{v@)%hcmB(TjZf(oFvO&u6u34FhD_{}yB_5=@8!Y`3mZN2^- zy~CJK36;txQ;lRUx@ha8OWAVNnA!S!0n&dtA@h>KO9gm9P+etjl=GjMQR_bjtoF`4BXErk&9Vc#5qxx9Mj(s*ME zqt01Tvt8R})H)FJjIRSINWG1Xz&(G|>oh)ZxJznlEE{fs7&q-bj|D?@V=On%A%K87 zYHus_E`wrV$3Cw)tZ0mGz@od z5{BwMo=hHP^#x1Y6MHN7y zngylJ1joYEU=_-|9<0I)Hgy*l6cwSohcOHs~!2W z24kSxMaLQhobUf`IxY>>-`juoUS;U!d0s+3_XAF2Spfq^Uxk9nbD?7~5Gl?`F`}17 z9d*3J(!w(NtVwprw=XrMtP=sVQ)R{xdlAT6r!N;{pK=}a;v~Z}yM2iV3L*hXNEBBDpXE(s_=nQjE{^9&CVqI+ zg}v9G+R%H@U|L3LLWYO0S2dGk9<}>9@Atm|Zk=zXIMf3M*y=LMnG>62|M^JV|5 zE1ZT(jjor6HuU`s`n}o_8*AU*;c$PE&N)}h4255n^m)FtlV>1uOQN(Zt!{HAs>mLx z4G*=6=eBE%f>3|dsm{*nWg~aU2aBJW#tbD4FJD?WSBZ#~Z9kGDXGS$Ve&&gvOv;Zm zK>gk~jyLbmNkArWEew-P!v63Cn>SZk{GDPwm41frR+4^UEG$FZWsY!-(Oaih>nN)- z##eWOYls>#-~C``)-nc`sz!8dBd%)<8hxXdVlE2m^a+2uM(zo(xh1-5IXCJn&4-vo z7w=+LUe;6}qGbtRK6U7pRnxHc+6OH&^V_Z01R&p}8@rL%(`NYLif(MdqVGeBCaG0bANV3D zeF6Wh*A|iQQ346+)WGNRgwuH%69RI#s7q;>lA+S~jevX*n$WS7ypFJl3410n$etsb0g2I2VN87&rs`%^oYV>MGj4bHWXPq-s0|j*3WLARA8`1)qBcrMQ>%}$FI2Wj~%QIpf_JY1?m|P5mWL` z>T?!B;K57%~~_m?rW0~CjDQv` zx03Jrig`S#l!?I|*m9*-mT$5w+mRGSIW9lY(#Ya5O)4anIQjbR3x1bDzl%R(wuNN?fk3I%Xl+Cn*9Xk`lHEIeglBR*B( zt=W?>Hv~YV%OWboVT$MhhlYB8DP18AG)f2S8HZ~EsKv#NhYBtqVNnafO2euSfR&GX z(gCnm8fXDv?R-HEBLNto%CZ1J2Wx74AUOcsDmMXZE94dBXIS7_i< zMTZqt=n~e{8YUQtJ-}v3Fb<^SB~*N2f`KJ~BdbaP)UmKOz>p~mC!^nggQ*294$=Z< zJ+7>cE_^gt0r46n6xfetz@AV<<6#MqLkt!WS`-nDp+rigPXi4gHXZjg3a1Pxdq-LW ziD;CQv=+qTP=+A@4=6GPfKVfGf<`q;4|q0EL&?SxYp5-SBJwC?U+O*WVTLJ@sDPSM z(AKCAV**GIWGanCjiIK0jf*f>qB;WbtUT6Y0J)>8En0v=>a7A9DWuN=La-E6v_o8q2Ft)MOecdA3@nA+PlFLM=g#xoa-D~8shV4dKPDY_+a;d2dG7yXK_YE zDUxhT)FV<5BzZ!_T15M`$RCcPhXoBfmx`oGHIfMU8TbO$qTGA@cuzbn-fOVPvN$Qk z#c%&EOdPn<6;`_ey20dbJpQov(@&dVjg12fBHjiT>|g-8-U`&JL5$nMD(?niOT4O7 z1Ebrpg*cdwr?b<4+u>ye&Q4R_4Ht`QHh~a8&1YX1FHRT3MFpV&JNCr$>10tneq4y> zsE5Ga(C}nt+`!NWR>Td|3))y}VZ<a|v8TKX7Q=u^f^?R2&n{AV~B&2R1&e-AFFUw#1E){&QR7leF0wUQb& zwN{$}xUkYhq&05fFvR0|MJ$(MLq{V}?%PF_6ufNQ)r9{j1`5_YD6glx|a zAQ!QJb^w}_W?)jCN57?HJgE$BxmFItJ&+AyDc!&qK~d?k$6Ks>1x{ZCv_L2k4e*k70ML0nHmyOapc{RhK)w~2DHQ& zP~r^3m>EM_rNq1(Ws=rlI4U83X47f9oNLI>8Cqq|Npgcw3*ISW(4sJ{MpB)jeuC3~ zB`K9)9F1D)_r{SiVm><8>rNQ4LW%G(xIXq(r!r*EMlumq(-Aajh2WD zoC1102^8D}=rDj6aKIUcoI?=~ySBbf2`8V`|_Sc_z4z3S_f^T$~+_9ZMkvmT=*y zOWfuq9Arx_425Sn1>#1b*eVGlgh-2*3D_TyQUe>W^=Q?a)47f5JNa1vd zI0Eu-OXS%Yv}pqY1NvP+={pLA9s>zOdTCJ~-~$#UY#jy3e}K{rfkH;4uvj9knnNgQ zrmsvAb|sy}7{5zpf*`rU$)0jS%$q5U(+XB{7$mJj+>y&Vtxqt9wi7NHV?L@WGSt{M zQMyf;aAqa1mBVn4Hx#={3gFB$?32!;2RVwA-eVMEI2}kH3T1$NxU?l_nAm@4ep-Q? zjWv{3U`Q%se_K$TgQr&J*{b&PZ>|R+9I!FQ0?GtU1&lc6|mP#$1^5sKR?Xf@E3pHpyEfm2_<6^npr-p!kwS zvOIdFs1(u99V9X6g$|w>ND^6U zAwdC-e`@$?;Rmtnx}+Y7z=j(blp##~^Z8%>{3GT6N69@dLT%k zoi-i$s2&{Vfh>4D6b8x&d0~8MLLhNTi!Yl4pUdi9uB@%K$+}5(*c@f1P43Ng>>#nI zdsr7~<`SAA3?)*=Qc1eWM_E=}=aQ&E50{3L(0|H*%1(*aVbBZF<0u1z90u=`=vc;w zf3Tj?<10~ZmvFvBi}X$|Ap%4Sh%*rngxpWKeLVwLYibRIrb{(06Yge=t}7ZG-%{4p z;3v@yfx)Dbdyq>PHAMm9&(w!^^u9>P7)?;x(h<4TG*eNwiI<2pOV{{#X2MMeS(JUk zjZhlj^pl$AOfJ{C zr1fx1gUt;;QDYL%rKamU4I$psY037Mcqd^w5%-49z|`yOaaqbh7p+F8{u(!$7`}Sv z6&afA4V0m_$sjTe%i3lNw<#0Gj56XtOF9K&iEZZ9Q$C&egxQ+zZfb+TeF-*Ze@`YW zBXP(#&Uk}|cPb9|76!m07u%yv^`IkNM&bpwqTS38T;$7Ym8x92(CCW3#30vmgfGw{ zAw@mWlh50kezCWu^@t_+uvTc^5|+p5tu$%0cjx0DHIe^%m3R@1qdN^A$dtB8RDAHOar={|+;?ntG9udwMQ zi^S6!-?s&iwt<|;k`CPrf@paRdpb()_#jXBo%!v=e@dO@l;3Uy zI+};&0UdA2Xf(TWsXvInxemy&V>?pv2T_RMR`6X*Qz8g2)6{aP{AR&sw>31Dk++Vp zzK>d=g0UJ;uM2!89uys4Z!=qz3iAbUx~SueQCrs6r5T?T)a6nI+(&a0_Vh-Hb9BOQ zS)9pG>n2~qG>mp@nF#n*e}R}pL`lu1)x7& zRA0_O;5hL+g zjKvo*5tGrR5>qjSfAUt`;@42d)%AjFGo($xBBSY*n2EWVSAW3d`RJ=yh{esUs>I^Y zskjq=h(Eve);_MF$w1}x~3Jat4i(8KUT+_hM?au=2_&W~Q5o&n2;XJ>sZOJG^! z-8}3q(PgTYf3n3fHkYbZO7*JN#a_12rQV3Q;6xb0*1FBt%kl6FNCjOb_mSy_2!%9} zmn>2^YI}s$yU6VH@Z#jRbCB6_uRmy2n~4ecgd)AAKWwxW6xF9$HH3g5#?^cd;`rL; zaHnAV_Tup9=@D`0*E1;V?as^Z#9xrT{H-vvQvf?Se?Nb5fL?vlr!7;~+A8C>a8qt! z;O)H|zuovM?H+H%+b`9pVcJDbN1wpp&&1hHwHVTl^6OUnI`1mg?{~v-<0{wRd$<3c zcb}_|V*;of4AZ+Y&Bw#}OQ>1Y3b^YWYwq9=waUk5Szh0C`agx}=$AKSavIQiL}mDuKUr(pf!?a{^2Q{eOT zw@v9;q@R@Ft*o~Vr@;2Z!nG-Td3`H}v)S}de~1Skr;D3qgRHr3ut8Ics~?9m@o_f1 ztO$&1JaAc!#v@$)dRgaz>+y6tqi(8k=V)?0nv53h?cMFPUz|LBb^i7R$+K_svmj19 zXkaw)L46N#_M1*7q~RO`>-_VVA;`66HH8ISqncG$ZO(TJq36$@93Nt0)1T;TyYw0J zf1Ngd7dCiJe#F9!@hk<@mM=jplmJyWVXWESJR?bI$r;vH{`q|m(Zz#00-u!|S zXsi9VB+w7bE{;HOm|N6m({*{oaDF)&Ek@(3N({mGz!xt+vv}5eBvwCHi)A;|ldE?2 zxvS}T3~pVmq$8Yw)Cud#iI*~1*5h`me@Hc_-=WlLNK3z)t|0tQ8_Li7M@JXutZCJs z7ULTpg|C?Gw`;mT!x%1u!S_;Et*rW7HQq`Ebh1jSn6J(7zIKJa)9!Y@f3g4U;K$?B zC&#^aZxEA=Dhq`_+=(iSNyc?zQoR36-rCrlZXZrh+MMjRue^Ep>#KJ^o<2W0f5xx! z^%ziqtr~yTC5?6XW~E`KwX>A>Gh$mibeS{q@eX$5MN)a2r8OJIv&rT33btKXa&&zS zd&~rXyY^nYgaCiFn^1mO6-M^^F6;y&elna_^xK)0i`ACw=y$aAbGPTC*?fW27wC7d zhsy@EejQycZszn$U4lKE{xTT>f4#s<=!xT-DC%A_b}0(?P$V0Q_-BP}iq!5Dt=_+N zXyP9YEuo7i_LS~Y9eqR3`uy+&&f2-MxIw@cBASv#Lm z6!N@iH4McE#Oc-KwL?-UHw#JUYD)sG6HEF7Br8;|iQf1Z73TOS74Gm%)%;zAm^P!M z(G?`7l1->k>BrxScTafoUvp5LR~Cw2`+RuF8pKD%=XoMxM5wp>5^4gO?a zcCG@`>~c9fy;|y{f86G{(mhcURZUouRaz*?>XGU!StozEq~5rs%$Hm%I@<`|Y!rNY z@n7SzYjBxH4aRQ5rCXxtymU^u8l{+yQtH_W*E+6DqZIAe&*rtwI)l)Se07g}(`?^T zVttHcCD!KOqeR^ZUbO{}zwd7tbe%P9zJ_l()uXOgsYW5HB%=`75~5ls2GyuQ$xX9m z%S+TcFHwy`q+gFK&0bRSKbEC_#FyCQ1ePi`F*q?eH83kMGAA%FCn*XqO>bmGVRU66 zC`39kFfuhTIWjgeI59XiFt?cH1W*M-K|?k-I5syyGekB;G(#{%Gc!grLPR$~MmIS` zL^d}zJ|H|nLpC=!Ha9^tL^eeWYry~%AJP1C%ZXPbBPXvZ{7YSSc5lc;HJO5jv zL=;7^;G$3{*oUqZ1i^y~6mtST}Wf32&^IOp=40ac(H)NGo|G-)&rvVikoBMe zuODv){H z!aIwXL3V>4ybE{{vKR0QiQyTtAF$jc!qa)|2LpH+Z~-|8hLABhj~oUg$P#c4ISR&* zIk15|0C?4;0z8GBe*lxnN^llA1r8$f;0*E*U`vuJ@FemPFpaDRr;&%j400!?cj0bJUEWr0UkpxfJLwbPMFJG(uOUARdeODk|()B&()n* zsPqbRU=b_>g+_PQBefPSQmfZ%>3y{k+97S7_Eej#Q{Z?!f6w(CsOO|T5%6Tg6B<>N3Lb)myZSS4YuDUVTLOc(u!#xj#P9)3jHI%w8!<(l}m?qpm2J zd-$FPip*o{yjp{X@CtgPSzOSRW~LklCyCLe*v@FUo@)hE`fPKMb0n0OjVyn<3FqFw`ikJ)jo?}{Xx}!i>}VA8nEa_y{bXW)UT-;vdqfMs)jA| z+)t`Te=L(euWHmXUo5H`v&{X!R2{H5e?`@}#i!m?HDU2f_f<_={Mt=bQx?B`{mp=n-wF8iPQd5kqWH_YfUg$ b-!HrW0aKkCua|xA1Rx1HHwq;sMNdWwe(YCR diff --git a/docs/parts/reference.tex b/docs/parts/reference.tex index b97661c..ec1aefe 100644 --- a/docs/parts/reference.tex +++ b/docs/parts/reference.tex @@ -20,7 +20,7 @@ \item \verb|\renewcommand{\city}|\{\textit{string}\} Change the city (for letters) for this document only \item \verb|\renewcommand{\countrycode}|\{\textit{string}\} Change the country-code (for letters) for this document only \item \verb|\renewcommand{\theoremde}|\{\textit{string}\} Change the translation for theorem in German (usually either ``Satz'' or ``Theorem'') - \item \verb|\setcounter{numberingConfig}|\{\textit{number}\} Change the numbering of definitions, lemmas, etc for this document. 1 = Separately, 2 = Combined (except for definition), 3 = Combined, 4 = Off + \item \verb|\setcounter{numberingConfig}|\{\textit{number}\} Change the numbering of definitions, lemmas, etc for this document. 0 = off, 1 = Separately, 2 = Combined (except for definition), 3 = Combined \item \verb|\setcounter{numberSubsections}|\{\textit{number}\} Change the format of the numbering of definition, lemma, etc. 0 = $<$section$>$.$<$number$>$,\\ 1 = $<$section$>$.$<$subsection$>$.$<$number$>$,\\ diff --git a/main/style/counters.tex b/main/style/counters.tex index 22ba0b9..1b5eac7 100644 --- a/main/style/counters.tex +++ b/main/style/counters.tex @@ -19,16 +19,41 @@ \newcounter{remarks} \newcounter{all} -\newcommand{\definitions}{definitions} -\newcommand{\useSubsection}{\ifnum\value{numberSubsections}>0{\arabic{subsection}.}\else{}\fi} -\newcommand{\useSubsubsection}{\ifnum\value{numberSubsections}>1{\arabic{subsubsection}.}\else{}\fi} -\newcommand{\usenumberArabic}[1]{\ifnum\value{numberingConfig}<4{\arabic{section}.\useSubsection\useSubsubsection\ifnum\value{numberingConfig}<3{\ifnum\value{numberingConfig}<2{\arabic{#1}\stepcounter{#1}}\else{ - \ifx#1\definitions - \arabic{#1}\stepcounter{#1} - \else - \arabic{all}\stepcounter{all} - \fi}\fi}\else{\arabic{all}\stepcounter{all}}\fi}\else{}\fi} +% ┌ ┐ +% │ Numbering of sections │ +% └ ┘ +\newcommand{\subsectionRendering}{ + \ifnum\value{numberSubsections}=1% + \arabic{section}.\arabic{subsection}% + \else + \ifnum\value{numberSubsections}=2% + \arabic{section}.\arabic{subsection}.\arabic{subsubsection}% + \else + \arabic{section}% + \fi + \fi} + +\newcommand{\usenumberArabic}[1]{% + \ifnum\value{numberingConfig}=1 + \subsectionRendering.\arabic{#1}\stepcounter{#1}% + \else + \ifnum\value{numberingConfig}=2 + \ifthenelse{\equal{#1}{definitions}}{% + \subsectionRendering.\arabic{definitions}\stepcounter{definitions}% + }{% + \subsectionRendering.\arabic{all}\stepcounter{all}% + }% + \else + \ifnum\value{numberingConfig}=3 + \subsectionRendering.\arabic{all}\stepcounter{all}% + \else + \relax% + \fi + \fi + \fi} + +% ──────────────────────────────────────────────────────────────────── % Reset definition, lemma, etc counters, add a new page @@ -54,82 +79,96 @@ \newsectionNoPB +% ──────────────────────────────────────────────────────────────────── +% ╭────────────────────────────────────────────────╮ +% │ Tcolorboxes │ +% ╰────────────────────────────────────────────────╯ +% ──────────────────────────────────────────────────────────────────── + % Definitions -\newtcolorbox{definition}[2][]{mainboxstyle,colback=blue!5!white,colframe=blue!75!black,colbacktitle=blue!75!black,title={\large #2},overlay={\node[overlaystyle,draw=blue!75!black,fill=blue!75!black] at (frame.north east) {\large Definition \usenumberArabic{definitions}};},#1} +\newtcolorbox{definition}[2][]{mainboxstyle,colback=blue!5!white,colframe=blue!75!black,colbacktitle=blue!75!black,title={\large #2},overlay={\node[overlaystyle,draw=blue!75!black,fill=blue!75!black] at (frame.north east) {\large Definition\usenumberArabic{definitions}};},#1} % Theorems \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 \translate{Theorem}{\theoremde} \usenumberArabic{theorems}};},#1} + overlay={\node[overlaystyle,draw=ForestGreen!75!black,fill=ForestGreen!75!black] at (frame.north east) {\large \translate{Theorem}{\theoremde}\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} + 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} + 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} + 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} + 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 Proposition \usenumberArabic{propositions}};},#1} + overlay={\node[overlaystyle,draw=Cyan!75!black,fill=Cyan!75!black] at (frame.north east) {\large Proposition\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} + overlay={\node[overlaystyle,draw=gray!75!black,fill=gray!75!black] at (frame.north east) {\large \translate{Example}{Beispiel}\usenumberArabic{examples}};},#1} % Formula \newtcolorbox{formula}[2][]{mainboxstyle,colback=red!5!white,colframe=red!75!black,colbacktitle=red!75!black,title={\large #2}, - overlay={\node[overlaystyle,draw=red!75!black,fill=red!75!black] at (frame.north east) {\large \translate{Formula}{Formel} \usenumberArabic{formulas}};},#1} + overlay={\node[overlaystyle,draw=red!75!black,fill=red!75!black] at (frame.north east) {\large \translate{Formula}{Formel}\usenumberArabic{formulas}};},#1} % Remark \newtcolorbox{remark}[2][]{mainboxstyle,colback=green!5!white,colframe=green!75!black,colbacktitle=green!75!black,title={\large #2}, overlay={\node[overlaystyle,draw=green!75!black,fill=green!75!black] at (frame.north east) {\large \translate{Remark}{Bemerkung} \usenumberArabic{remarks}};},#1} + +% ──────────────────────────────────────────────────────────────────── +% ╭────────────────────────────────────────────────╮ +% │ Inline environments │ +% ╰────────────────────────────────────────────────╯ +% ──────────────────────────────────────────────────────────────────── + + % Inline environments (inline) -\newcommand{\inlineex}{\bg{gray}{\translate{Example}{Beispiel} \usenumberArabic{examples}:}} -\newcommand{\inlinedef}{\bg{blue}{Definition \usenumberArabic{definitions}:}} -\newcommand{\inlineformula}{\bg{red}{\translate{Formula}{Formel} \usenumberArabic{formulas}:}} -\newcommand{\inlinelemma}{\bg{Aquamarine}{Lemma \usenumberArabic{lemmas}:}} -\newcommand{\inlinetheorem}{\bg{ForestGreen}{\translate{Theorem}{\theoremde} \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}{Proposition \usenumberArabic{propositions}:}} -\newcommand{\inlineremark}{\bg{green}{\translate{Remark}{Bemerkung} \usenumberArabic{remarks}:}} +\newcommand{\inlineex}{\bg{gray}{\translate{Example}{Beispiel}\usenumberArabic{examples}:}} +\newcommand{\inlinedef}{\bg{blue}{Definition\usenumberArabic{definitions}:}} +\newcommand{\inlineformula}{\bg{red}{\translate{Formula}{Formel}\usenumberArabic{formulas}:}} +\newcommand{\inlinelemma}{\bg{Aquamarine}{Lemma\usenumberArabic{lemmas}:}} +\newcommand{\inlinetheorem}{\bg{ForestGreen}{\translate{Theorem}{\theoremde}\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}{Proposition\usenumberArabic{propositions}:}} +\newcommand{\inlineremark}{\bg{green}{\translate{Remark}{Bemerkung}\usenumberArabic{remarks}:}} \newcommand{\inlineproof}{\bg{magenta}{\translate{Proof}{Beweis}:}} % Enhanced inline environments -\newcommand{\fancyex}[1]{\bg{gray}{\translate{Example}{Beispiel} \usenumberArabic{examples}:} \textit{(#1)}} -\newcommand{\fancydef}[1]{\bg{blue}{Definition \usenumberArabic{definitions}:} \textit{(#1)}} -\newcommand{\fancyformula}[1]{\bg{red}{\translate{Formula}{Formel} \usenumberArabic{formulas}:} \textit{(#1)}} -\newcommand{\fancylemma}[1]{\bg{Aquamarine}{Lemma \usenumberArabic{lemmas}:} \textit{(#1)}} -\newcommand{\fancytheorem}[1]{\bg{ForestGreen}{\translate{Theorem}{\theoremde} \usenumberArabic{theorems}:} \textit{(#1)}} -\newcommand{\fancyaxiom}[1]{\bg{JungleGreen}{Axiom \usenumberArabic{axioms}:} \textit{(#1)}} -\newcommand{\fancycorollary}[1]{\bg{teal}{\translate{Corollary}{Korollar} \usenumberArabic{corollaries}:} \textit{(#1)}} -\newcommand{\fancyfact}[1]{\bg{SeaGreen}{\translate{Fact}{Fakt} \usenumberArabic{facts}:} \textit{(#1)}} -\newcommand{\fancyproposition}[1]{\bg{Cyan}{Proposition \usenumberArabic{propositions}:} \textit{(#1)}} -\newcommand{\fancyremark}[1]{\bg{green}{\translate{Remark}{Bemerkung} \usenumberArabic{remarks}:} \textit{(#1)}} +\newcommand{\fancyex}[1]{\bg{gray}{\translate{Example}{Beispiel}\usenumberArabic{examples}:} \textit{(#1)}} +\newcommand{\fancydef}[1]{\bg{blue}{Definition\usenumberArabic{definitions}:} \textit{(#1)}} +\newcommand{\fancyformula}[1]{\bg{red}{\translate{Formula}{Formel}\usenumberArabic{formulas}:} \textit{(#1)}} +\newcommand{\fancylemma}[1]{\bg{Aquamarine}{Lemma\usenumberArabic{lemmas}:} \textit{(#1)}} +\newcommand{\fancytheorem}[1]{\bg{ForestGreen}{\translate{Theorem}{\theoremde}\usenumberArabic{theorems}:} \textit{(#1)}} +\newcommand{\fancyaxiom}[1]{\bg{JungleGreen}{Axiom\usenumberArabic{axioms}:} \textit{(#1)}} +\newcommand{\fancycorollary}[1]{\bg{teal}{\translate{Corollary}{Korollar}\usenumberArabic{corollaries}:} \textit{(#1)}} +\newcommand{\fancyfact}[1]{\bg{SeaGreen}{\translate{Fact}{Fakt}\usenumberArabic{facts}:} \textit{(#1)}} +\newcommand{\fancyproposition}[1]{\bg{Cyan}{Proposition\usenumberArabic{propositions}:} \textit{(#1)}} +\newcommand{\fancyremark}[1]{\bg{green}{\translate{Remark}{Bemerkung}\usenumberArabic{remarks}:} \textit{(#1)}} \newcommand{\fancyproof}[1]{\bg{magenta}{\translate{Proof}{Beweis}: \textit{(#1)}}} % short environments (abbreviated) -\newcommand{\shortex}{\bg{gray}{\translate{Ex}{Bsp} \usenumberArabic{examples}:}} -\newcommand{\shortdef}{\bg{blue}{D \usenumberArabic{definitions}:}} -\newcommand{\short}{\bg{red}{F \usenumberArabic{formulas}:}} -\newcommand{\shortlemma}{\bg{Aquamarine}{L \usenumberArabic{lemmas}:}} -\newcommand{\shorttheorem}{\bg{ForestGreen}{\translate{T}{\StrMid{\theoremde}{1}{1}} \usenumberArabic{theorems}:}} -\newcommand{\shortaxiom}{\bg{JungleGreen}{A \usenumberArabic{axioms}:}} -\newcommand{\shortcorollary}{\bg{teal}{\translate{C}{K} \usenumberArabic{corollaries}:}} -\newcommand{\shortfact}{\bg{SeaGreen}{F \usenumberArabic{facts}:}} -\newcommand{\shortproposition}{\bg{Cyan}{P \usenumberArabic{propositions}:}} -\newcommand{\shortremark}{\bg{green}{\tr{R}{B} \usenumberArabic{remarks}:}} +\newcommand{\shortex}{\bg{gray}{\translate{Ex}{Bsp}\usenumberArabic{examples}:}} +\newcommand{\shortdef}{\bg{blue}{D\usenumberArabic{definitions}:}} +\newcommand{\short}{\bg{red}{F\usenumberArabic{formulas}:}} +\newcommand{\shortlemma}{\bg{Aquamarine}{L\usenumberArabic{lemmas}:}} +\newcommand{\shorttheorem}{\bg{ForestGreen}{\translate{T}{\StrMid{\theoremde}{1}{1}}\usenumberArabic{theorems}:}} +\newcommand{\shortaxiom}{\bg{JungleGreen}{A\usenumberArabic{axioms}:}} +\newcommand{\shortcorollary}{\bg{teal}{\translate{C}{K}\usenumberArabic{corollaries}:}} +\newcommand{\shortfact}{\bg{SeaGreen}{F\usenumberArabic{facts}:}} +\newcommand{\shortproposition}{\bg{Cyan}{P\usenumberArabic{propositions}:}} +\newcommand{\shortremark}{\bg{green}{\tr{R}{B}\usenumberArabic{remarks}:}} \newcommand{\shortproof}{\bg{magenta}{\translate{Proof}{Beweis}:}} % Enhanced short environments (abbreviated)