From 08369be70d3ff72101ed52cbec3c52435c02da53 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Tue, 7 Jan 2025 17:24:18 +0100 Subject: [PATCH] Add more numbering options, update docs for that --- config/config.tex | 3 +++ docs/docs.pdf | Bin 176467 -> 184553 bytes docs/parts/reference.tex | 7 ++++--- main/core.tex | 1 + main/style/counters.tex | 4 +++- 5 files changed, 11 insertions(+), 4 deletions(-) diff --git a/config/config.tex b/config/config.tex index 72fa945..5ef679e 100644 --- a/config/config.tex +++ b/config/config.tex @@ -23,6 +23,9 @@ % Configure definition, lemma, theorem, etc numbering behaviour. 1 = Individual, 2 = Combined (apart from Definition), 3 = Combined \setcounter{numberingConfig}{1} +% Configure if for definitions, lemmas, etc, numbering should be (0) =
. or (1) =
.. or (2) =
... +\setcounter{numberSubsections}{0} + % Set the default language. \setLang{en} diff --git a/docs/docs.pdf b/docs/docs.pdf index 0e338b5fd1bc74cd499cc82e1e5a12530bd0c57a..fdd6be382788b9e0fd5ac8a59f68f523a2f440ed 100644 GIT binary patch delta 23967 zcmYJab8z5atOr_dv9)d6w(YImt!?*P+qS*6ZM$2WTifpY-FxS~Hk>(+Ke?RzrOfCVuZM@jSLNqE} zI?#zu{QJQ&S681Ss_?nOVmNUWylNU!>?&d~AuAaVihhmGzQ=b!HW6)>L2Ke#r5#Mj zGMOoC%W`5jtN4+rU#F#?XksI$hIwx;bACQ)%N89e-BQuo+r_cLi3P%UH?A^?3(wo4 zN=*O@1sg`)jAWYmHy2RU2^*}(w3-zCTJz(V9NK~c3VSZo$S)V>WtR0rZs?TqlP=v_ zd1iOPFH6jphT$om5Mo7%CKY-`SZ&ZHmeV!lBkZrA*qJn}3!5!GC*m9z3T-WB%bZ}U5+Vq>lJbyZK^cY^bgA5`(RO6$a&5Ld0~N(ef-2=rmexonMfPk zI}l3br1ZyZ{SYotJj-=wnsW*=B=XG0A{!S;6G); z&NYQqNTY6Bt69KNU6n`zS8N`MRlSy?4r!H03n}!!ySldF;yT%d--M%Be49&E{F$uy`;MXuTnM=A4 zrUcDaT#c3)+%9nWK!&|{&57nqE8oK)JY*p!+dB8mTDE{erp$nL5h+DTI+R4WektUu zpmjx)fL#TKhRu#$F4`!>q^E!9n3Q`p--w=N~d z`c<*_s-E8zn87`S>)1{#z!gL#f3}m@L_gIZ_?SkPYz1yGJmx8#nL@;*yD`yHUE- zT`gcTZmVp2Y+65-YJ_J@QsU)BVj1jQPig2I%e*ER!!!DQ3F<9OmoTToIW(41unr?IP&UX>gdz;~I z8~y-1q!0Y`@WGa&s-wkJxAu%>x8*<-hDX4-aBWcUtE~dx#rs5sY=e_Mmttnop}r5J z&C!~zxue!BU{Rk|>>2yYDsNAi<5e2bGWcLSu5 zn$j2PuSq4+aneZw;Kg2qf5lK4mXK7w0I57&mE@y%AsK+2!!17`lz*t+$I7TP>F}r} z_t%=Ms(KnNYirsZ6Z)hXx|}OD8c$}gp_Xgc(6DrVr)HKJc=Jz@URK{^p^GD&wwXvg z*ytL%Qx3o1(G&gg=qJ}MJhgFF+5pvDkzak~K3Zmv`^;pYS$jBChY(~i#SzLnL4D4B zhiJth>jxW!oS@l2ecX&Us?BhInQW`@BNrNX-CBAHJZJ(+Djw~%rdMm1svabz_mgI? zGyW&Yh$;i=xZmn3?^HCTHnc$N2Cz&|jk} zR#P88pCf$aYC4UBNL1SXC?9+aZ)5uTO6S6b)mx1b`3c$PoX~B zbn(2%n8nt{g_$Dit4I3|G#c3wT_f)8FSzhEDyQ_=(Y|uXGcE{L*Tmw#)=>LfTvy`~9e}b)%M`0HUi%5Yamwh%o{RW#ve?#M35SnYPNpdU0!R3s z5dp%P32FlEAOn0KdTW^mC-A9c6f#fZn}}QlES^sr^B@O1Iv&rtIpO zhA)=s!$|&%lTiWpn-gD=kV@*Vym&O?&_3=btGtR}6Zu=uQQ1^0m%@X4tNCOviGDOH zF|~ykKSzKsqO$(@S4(8G4K)4VzsjEW7PxvAsR$D*v2jBk#)~+IS!U1BGc$&ES!tsT z+f!8TPRwmKVuB^o;&;s~8feeIx6h4l{w^-ooQX1)ik)?f#?+u*de`#)Gqz_hXk{p9 zE3o_^XVlw%Z=u%HO(yleEXUfx{OBERPk?T; zq6&inkUg#crOKtUunsLc!w^wf zVHCQmJ-=?{J(sZ4_(yYcBp#O6PKl{DmvdoyeT_O2zkW=%>v2GIv?p_2uOZA^GgE@@ zdp*uB@zc&OR`UFEaP;LOZVr^2yg2xY+{t?pybr&d-=_j_SW;o?8T|()R2X9wqTfqg_7Dk! z z(dYf{;$@NLIpo20N?lcxX7zSG4!Zd;_}?iZxC0KyDR~(KX}mBvG;~vVKwUAMPoIta zmaQycqCoSEq%x!R!Yd|i`&n(j(|Xt1-`l2GW6?~}D9hrF+h?L?DR|%ZLof)^8;QGAotcONUykSi`DGA@(U{>ZIvsu#oZ1sK{+&3Xm=@&X z`Q#*Qk}{VtI4@aH8x~@f*!cCw71eiqp*%wX#{;*Wp&~F>)HnH2?D+F=7zWRev35T= z2U@G6)FP!0+7!J4&I;N@bc!g=m0E9{mV4N=+m3+-)Vb?4^T4b(3vJZ}pZ?4-PwL_lL=@ezoCV1q+@+o=lWianW-KghVsq)q zi^tVPGHs}Hh&}Rd;s@MScfNL^uN9s|z z*ED&-Agz|kp8pxuje!m8hb66>!q`b2oZT=p@t&l&S=;iCAd;4xHI{0FD?2bV;iNP zYMZWon(Dq8)yh7vulx%~;!is8AvQEE-4}bwvQh(r6ZWq~H61m4oMB0MZi#uo8U^kV z-wfY+)9B|sVB=+o@y~oAsg<{Az2dehFQ^sl#-J-4qGwI7Y0IrK%H9X~r9|K#Y>i4d zgs(vZ_r{d_o<|72R)YH10yyK}@lKD34jSKd^K;`wxacaT(B`zA9@#Ny^k zd7{LdL#0JidHua7$*&rKnS1oW?-efOkd(|RkcAze>X#3f#?%NZ=&-|1w*7|1hJnO_ z6CwYG2lr6fb-LL!u@{~;UzDwzZ@O#NX4@HpFXPH|r8utwW(u>LUuw47`&H$d0)Z!! zxG9X;m^~1Y9Y1@^#4J-cy1#X75V)65Royh*BDnK<80Y@974{|9R>@t=n)T&x{n|_# zq{DcvL#YeP9?lxaz1wmBTL}${%03h1TYkYe;&mPKwhlat1YhAWxnCVKs!?)MtTk;u zDhk;$;ROKAVrT41NH5yX03D+&U)8=_1hkVFX(a}r^UF4scvCWMzB_L z_gZW}e+vlWI&2Vb<-!LeeS-Rpf6bZ`&g=+TFIWJE=omUbh3VYkDb?=go@x{RkOx8k z$r2uRjn$1Ik)bMP#U}q&o2R|&4J27PIHjyz^Kd-J4sjl0fh_fG;T&8eJNuY@@BAi` zy)L`oJ|+N1Sg$jtBc19nb6N2I4&cCaxRMu*aA5K?xlwq0+jU_@n-9h<+=jT%`>`zZpbRm!sp;ThSIhWq;`tAtKq{jQ9C-QgB49cR z;J(XFybqpU@{RQ0zyi z-Z#d5Fk(94wl=o`F>fuvCG1#JFqqT!M>KNTK2`dZHoi<9Z1MKauDRN8P>!U=fMlTI z`<%;(dO-SW28mMagns}XgYkIW|Hjo-uswW>ET{Ike?>UOldHYo#9`mB9?P5m z`fo}&4{mKEXpS^ax$Jxiw^+nHmR=ri_~1$m;z%wc6C`rz;Y}P0PTWDQ`xlYxSP8k> zO{huqtAi;7Dc^^|H^CO0t6P*zd zz9j@G)VMujJG+-?>vAGp9@YR__$I#q!jvM{b3b~EAM@ktJQgqZq5jjfd|7gj0RvJn zt-0w0$Dum?L+jAez>f?I zB66+~t~GQwR6V!BxKcFGjUSHm;6t1~k0}g|P#95$tmHe`0BAg20&{^{JX^QS04I3(0+D zu9Xi8Mak3{I92}pJ^ zbvBI`*+jVt*Sv#D6Iv-<6sr@N%+HE}g1SvWTqg3xl2^I$?*hhBmO2F4fyM{Mh?J?u zBE-k*!35bpM3vlUW*<%asFV>`%x;|~KCa3gQYg+RB}a735PHTyPSmY^^7z^zgAg4S zNxXtKX>lkvaEXvAA;MyzMCaAYt7G^BVwM?B;w#-pm?~EzcO2>su@85I0OB+1)7cR) zxz+W36MsajJ=9h1k%LKCG@%~@BIlf*p?Q1k;dW~SbhVRzkLFhxm!>R=ejvzzFiwN~ zLDjK<`Rc3S-Gn>aeLLNK1GRp@sjby2Mzw9fn_`0BwdGs;*cN^k&F4*-VAR|VGx%2R z9x1{P{+=P~;)e}yi3`4wO#7Oi2R+(L@vqVQB?lmMk?Hcq4HK zui~TxLLRLH-!Dhf1?6k4_XPd9NARr&0ZkApdNs&zqrZV6AyYTKcq=!8sya8lN~|BV zU@RZAUR`)E1{dqF-}JhCo@6hGu)9cslV^((4{>r4l)qw*qi&}O+IsCez}|z1kPD@a>7;nzB*5?1@VsrK~DsM)wE7z0G$CBS@0a`JMZUhqrW2e=syM@ z7yoaeKEhPe#rNjHH~eLwKojWgniKxiQvzBEd5gar5_(WT(5g0LA5a&N6a2`ZBjUfD zY;!A)lS5(3gUDjDctEDk7iS8bU>r>kx+zZkrWM>Dj>}uTyK?RW{gQGxD=_Z}5XC*a&-l5C^objdqT}KS-rX=u*yt zbWY4x^j)kv-xova#_R7Mw%s7->3x9rEp4k=G;KH%dgRDE!2s4;hvhyDEhiw)*Bo<+ z+AMNh{|&p|iuc}-&mT5ibC&GKDTS4ws zX6%rC_+>J|Id2h_4rYyePhNmHx_`2fj7=o8e_yJsQhs@&w5*f>Qd)sezWNydxJAHg zz8vlpC&3n@5-!(08erxP@ zqTyz{R=@~KDZ~TK`>+%cZZJ3(Iv0ctfgN}zA1>HHUUL)JCrEM6|8&C0u2-`wY4T$@ z^Z3m{;J1Kr#cJ#`WO@{O7wYb3!LxhVW8Qi~r=uS_wWK%MHyMEL<6ZpL?&|{iU5vxm z704K;+Mo94+_Ot#8~qBAcC*&iNTcezCh~FT*!sQ&?i-=+8sx@!uU zh!pImbq~6w(dNL|dL%I9^95>*xWnd8?SEZ;Ls3nH{}f;xC3NWeq@55*bOqD`4$i+k zzYegzmfnqOV~~9BMLom?%XD9R5s8S816Cha*mMoO(c7>LW{|$2y647}lZbWDKv^0& zbf939ZkbUbSXr3=uc&sZD{GHCj@)yuF-4sZ(zta!n!C@nJ(a`Ss?Fb{hJtBEN`RZ!^NY1LhE&0MD_f84 zFS5L=NjBL``O!t!tL@#&^l9?O_{Wh8O>ny0t*F9w_Ltuij#tvVDI5LM2q)SM@+2DE zG^aPe4rAdAuyOqrCa<8Mlk?#?kPm6AiT%HsdJoU*rF)XD83SOjGCAA0V8;L zxV2=~X}xmknV;Lrd4IX@)e2MO^~HM7gd&th-I%Xy_<8Qtvzgag7AarX*^o5M^JH9l zR)VG5@H=Da$c%F+OP0j8Wyc0z>#7#Y%+ZQ10p%zGdtWSj%-t3jE>;wyUzvepLntdG zZt`=#3qFqHoC`?GQcWL;+cRs0K|Ge~%&cZ4o!t6$!McCc6>D+lGce{ncwpWpIA?}CC^i#_t zR>Bmtx(-tU4J`#qbczV;jeKEsDwwdazj?}6#$5exlKm4<)?Y(OLcx2uHPQ5&tR*eK z3zt&mnu-;S2+$d5#6(Qz#lR#yxh%798x;i&_j2XCizKc?WA_MO*rS{=j;eKMHH>n- z{DEWv)Y^*tnW9-WS@6)?dM8{X)jx|=WSp1Y6Ng^)IxoXi5I2gTPKe=`Ll$Y|W4;?| zUVAU4mdWB&(5sUFky2-`@pT0Ga4~zTlJ1)| z6{slAKN_-#;Pu=DwJg>|mT0mbjRZ21m3C(p$Qbom&tUF#>oZ^085n-~ge5 zcaR1f;#(eQLO6kdY5smFbo>{lNK3uJFm>1`RCFH*us0qiGnuUatfXxS7Z_(=2!vwK z{m3G}%19g{Z4~?S(fts8_WOuHAo1lr7}1X3hw1A6&0aM2_c)#g+R=u#1}PNgNIMQU zSb@p3nAp!gjv*F?pU85C=#au0-ldDna!u=*5vhyRQ>cEw(R0!KhOlr)<9LvEUT$~^ z_#^v@=8J}2u)LHYaTS*(<6g}=wEzb5jaew<;DMH@F>hfcXsdC@(R3n+h985K5dU3L zqJjogI=F5G#x#d&D4q?=%3}%TujzF8L53$W*{O40J(O{`@lhx>sPxn)0YyabF@N+U zu+tJ%ahYzJ&81^bu!=~@x50wU(;_E^C+M)NqD~(}HWlDZvHjZ9^1FB`6o@X)_WC_y z36(S~NaRLEV(9HvyNfJpgU5Hq<&#l#?Eyk9Vh=7waDa(aJoEw`NCjn`)0F~D3D9#u zwK7heLD(a9`YMM)7yWX7FYF7}UAKA%`;&R3emlUgTIs^OaE8wM{6C16+h72BuTU?T z9LI~ssrNaYjKld$N8(z*KACw)sWAVD$6gL}GdpPohZz~UJj+hG74lbdVjP-b(aU_q z0H(kbiCeb9+Tq4+5sH@$m98}iN?Eu6A zLp@bB%tEI88g_J_-!lJhGSoeNPO+E9rg1)?(LqdajJgbZVsN0U)a#{Yci%$k90r`ou@m|Q)p zKG6v87|=+DYbS<9HHCrYV&zet3+ColXB{dJ+DhL?a8lX+gDqpaxR+`4Hwb*HV?J>& z9;bVW>NG&f#8fNB?gI`^9ge!KaB}l5Pm_S+GtADoqb^$24R0Vi9vDn5#I80Lb3xyoZzm% zLU1Bf-n|MR8#?A#3nUKlg-M|SwdQ`_B1txj7=k(w8SKR4Xo6&z4e>ak(?ZF7*Ll)8 z7O&q&ko<+Pim?2~*)c_u_|fL>LUAM)77tX!0-*#yoY>C2PMCFZvd6NvM?3@<=N zX4dR1kw(bL&E_Ea48hQBU}%6FspOhJP}(a?CbJL(5$%$3WM7uaKcd*Jcl~R$$8os& zV1m_tSu&|wSyO1+PK!-AzsnSYDs`+PTj*UtH^K6f+y~+- zhfs##Gf#}v7azlImpdVjQcbi z->=A$uM0mc0qk8bv0ALpKvJGuhipYg9B&Dc~| z+_G2%k`<}dZeg%R4L#l8#;&<`qRB`Vufub?vim-kE3KNd>Re*~h|mVj@mNDF!FG74 z#f(?`qkD>C2E}J6I0!L2X$8MkVd@KvvbG(AVg&o>#gRyobpES;H0p*nPBFa; z!YlL=Rh@Wm>(dRaHD-a9d~8k{7lFFrusqtBeV4k0C-jLbeMCh!lxs5K7?TsDC+q{~ zS|w>hQBMe@Q}iD_H~(#=R)Yy!jB)YVfrvNbTF^Gx_m6kZZJBxojEtuaVgU!1<(vWLViOOr6wfrPwfo3A4JqeCQT<3AQY zvC)T^+I94%aNAE7|2WT6+|VGgLx9DQ!|sN+;teZKeB45?hQgeHJ81RIP!RTM{(#VC zU=H)E6$t_NP^*c73_(uvVC0&mkQ(Yoe{yXv1tS>i)^ZNFh?ZNy4K0M90Q{8s2TaiY zlUe=apOKSUglM1EA1KIHkF6ieL;ZxOyGw|SUAd691Fe0+-1l@JnqW{^PnbuE+5@H3 zP#`7+TlaI(w>?MSQ1S>k2}$$dsGuxq{gGg(jUrB2P@r6C$ljo+jkliJl3;91|Hl;e zs|bLxvHTB%)(i_8PYBBPzh`7NW{&^2?Z86B!NmTbAVN?y2u>zu?lj~AP-?&(N-b&Q zFUQ~Dd=+sXn zK)_%?xwvEYG&NRt{6Na6;bMRQQe>6y040e*BF!#E$iQK6*97SNWpE85O)O}PB(Nyi z03jh_B&j=lA{2T^wE&O4%YY6rA$l^fP*4XNQsr%nwjxxF-kJYet#(w1NOaWHe#aU- zO7rlcp`ygl`3w-}5YB_O&>?MLG4V=VaOa90s5Uzj`1&66?f8@WQ=P<&9{vKhpc(9^|H`Ito zPfTn`y*zVLs!-)|fy916u72QGAm26!NOT}y8tsB>m?6922IELnXs4lpL|uE(lKJ49 z=sy-U7LfbAjIKe5q2Ga@L__F7L&u_gL=GC^_yjk9T%ncZ=Ru(R6<^E+;LzYDjhMl( z+Rlfg12Ii+HmV})G$cCO`;j!^b_)g3xp00AUw5|d<_)?E6Y(Pp06GW`!QF$ySWk#b zffUef@8IdB6NGTvkT0#X$f1ytfn-A=iaLm|31(5cyDLGbS;5JRRp0)%0(OT$axeL40;tDCFQ(+!l}H~!L)$c>Yd7}q}aG$Me33=;A2G{|h_z?lB2$AxkB zkj2saNr4&Y971a7o`Cf-j2<)#7Vt$Is)4--3B(xQY<}Pe8r~!he({X`#0|w<5`0$@ z7fN`-JVQl62N#*M2oxM3I@DyP53vEn32}|D2f;LuNDA?@W*|iFlZ90RJlu?v#Z0T zQ3**S<@ZE9+_?IBK|9j7QUE)4i;nA}8FN1sueHp3`}%K8&FS@adByQhCiAPo*jXod z@9Neu0m07oOwvxh&7s$?l3TGn@KhbtUTU zcjeVb`pLMsMj=HF`rpEpb$zYG646-_%eQ|?#4Y1BvmW9uX?wMsigxwFvh%6P6<*k_ zO{Us$ATYV;YCpR_eOVXvs_>NqvuIbZ)9@O~HIN@y(Ot*(~QRlP!24#�*c6$LwwLHnI-sxH&C<5;`qjiTvtaAE z(>h>1FH^PxuXUmkYVC;n*>Mx_=E$Z3JC=KIQ$)|g6)K$1y|2FZprY|YphInx%?}7i z=x;|IYze)!@{eJF8Tm^}8$R4pT)8AMftN!GE$vI??sPNQ@~j_GEx$Kq1uEIy&AcME zAE|wU&?9q-&+S$eIDCqsGV0|i((b6f9hu@tpA93u1f>{l6`T4(%1{dWty^A=Y7ow2 zKR{Mf4oS39FV?aHS}SUN4-Nk80{jSr-&iFWB9p)N!AjJDrQC zAFpNTN+It@`Qv^ttk`F58Glbmwdv;Nyn2B)bjNnphR(+w!zj?~ZZ=@9+ucPkduwr& z61SG^w?60C@bLD$>)$n});9k#JbwQt9810;wbAEREw80LOWe~^t-w6&h6s4_@LfaN z3e&d<%}DS3nT8qaM#KkgvQ&tcfG1XLmm+wZ&!2gb3W!gF!4=|c`~yAX;%g3X z)YdpRVucE>T3)_KKJ;2TM48nOi9-hEN$^~1P7{K|pF0YTI6BgCxK$t9B0KgHi)%p= zqy!fnzDkwAU^|yMHt zV%W-}zIE*|!*mh#fO*JUps8QF17cRJJl!EfcQ9p+qO{c6p0S3*DUWCdc6n~U3?;P@ z#W&5#P@IjH($VO0A?%J@i9gB9N<1Bg+vB&!*Ae)`eF@T|sL#-5yYat>y}xZj*#Z_j z&u548w{#yiA*|aQKw`x0*_%^iyx-D#KR#eaNRwFk$z4!DT?o z2?m9!igbnh3q2D8jKLGnb7+c_?me_h4y#j$ZDg8zJAubrY4F?UI#?dry#v(Ke( zUo>cP@VTkB(^n9PcLS{2m$|M@2=B5A%tuxW(TJkyQJ0$_kv1vfEc8uGPYv^*1zy)Z zrWv^y;W~Ltzu3xOQ$6}xcsV@!_f~6j%v{ML%2?C_SH~Qt_}1Qk#K>Wks*iDN?R1zj zmuEyae#%ryyE%^q#%+2;8|qsQvzl@qe!yCUH!fboSiOaQngfKCUdZiInPZd7xisQC z=!QQ!pH@1;IfxwIy-AmU!rHpt{Vu0C+c>tfVSGA_I^x+u=4{RS!bjg!>8!&0RQmPb(4AQsFhUF*Z0ebPm5^E#5VWN;dlN;9 z;!SZ_h7a*(W}+=E_`vdZ_mFQ`ui5!61YxluPEFi(JOw;vWt$IVzlKgx#&|QQ@DJ$| zu+>_8f~79KaI@H(uFr2B)(p0nV_~ful~{Y#R`X)AxtVq<(Va72MJ2~1MB?m(Fh#Eec@^4c)-?YP zqngnX96I0ddDiPGhIDDg*;hrmaFSa&but#Qbij9PB@$oLD5a-sBH9`@dx`c~#!N;9 zum@8w|A~&2OqP6wKi}2FToo$2Ph|zq^h#AOFLn6VFFZBrOB|Q7iK}#Zs_`f#Dq0ts zcJHyyutr|Lf80%DU%b-kb$n-Eq5rxhQTsQXuKU~riSsbaS#E{Ea*4G8KjE(anYmL) z1h}I+abyibu>1weRzZlz=4nokhh+-mYIzbe>cOSs$46Tx;{xdG*UrlSH5&)M&DcnF zW=hp5g@VE$ZR-d%My-fC^1kQN`xQnNmF%PzLymq922=$ctA4UNdd=tUwPutg3T}E@ z8H?6BYY6nzw0?)?I=xmVTzz@JEWiIz1)RoL%DqDo2Q+G`K9G(+cYQXhSanQAjp-vz zyrW5B_D zA)u;>CAzEVhcEeb7=a7S5Z*sSsB~@mj2OFwi4ow@5{gOGvleh|^Iu<1d|F5!11bwl zPo@OC^QqE!)2)owhnLZen`jcAr;7X0r(_4Ezp|izPCwwkmZ?zi6jIZ&|2I+rw?c$d zY|}bM=LlI=TLB?Cx*GT^M_$^ep&yxdx1Z>s^0#Wvg0iwbtF3`<-^q;1nfp$K*Tp|D zbMp5`B-J&i&Egxi&fDNrV6sx&6|mk~^ETR0jq74X1H=FAB)+nE;d#{4XTI+JvD*C5 z^f=LAMXdYuPI%iN0$~J#P0CEyHq&gq{8XYhVnrrw#~N@%@d^D0Uh(PkA;%FHE9H!x z^kPW_wfrQlbs`E@IWB&yP_0{^hsJ&bZGq&RFxTxIy}pN)4E#*YciQRX7SKjl*;DXj z3m^NFn>m&lIy=NiNZ^SP)4tBVhJyNVstLj`sV+U#Qe<@-omc+Qv^Tlk+?<~%wD~7F zMbm{F=HJKwm1MzRXIOlZ{;{@Ml^B@^@4kq3L|xFcDefZCT_|HB+GtxMA|uW<&LZxF z&PaVS_nvg`&rX#`YQbjNNno-xI~Of&V0bGjZQbUdopK|rGY4cOQ0-^YyTiAvAnF!2 zh$L~vQDZEuhOs~pbVvB2|HU5|xadQne5*DfkIdQr%pJAb^Goq<*{MSi{8UOrn%1hv zRPfP@w5Y*rzS&=_+r2#{uJg#ZBw#(QH$u6Yc7`zed3~Lsl}8pv1wh&+YBNB^b?`G& z85;Md8?kwHEYr7iWp<>|F9l5g*|9-IjvRwanL0wgG~{hUA)IS>Br2%U+!qJ7yPCW# zJ~#U-(loJ5Jt94D0fO0`>3(MgELu1_t*vx1bV<*+vr2eEHH2#M#uM5IOUE!)ILvks zeD|D3u))$Y_4lE)H*y*XNM&i0)2jbmDnP~`XE{Va7(aDCTqV#10D50vS0TNY$+wV& zQFwy1$SDf0_TVkej{>lfw~>Ohw{{^PD(rt0L0`faBcJ8=zzn*qmCFb#{dLXup1%zw zGq!>TfeBus)%{Na?G8vGy}mJ;o~5wgMnQk>hd}WwagE$`l--jjx7>N!MHHtkIoa=7 zy+;sLL{8vrm;B}X&mYZyqV`1fdKr~lu zqa^rTt#dvoW|5TI1?}*4u)?qfocP!u2OX5^)(CS3WqSFbvr2^nUF*A*AQAu9rl0?& zTE^F8VH1@(7vfW4c_NSw)M!QNhB0Myb%qV(y6~YWfWHMFm85dC#1Ug@BW`(S8)9j+ zIO~2rC^A+l-nZf#lX`894tp{1E$Pj4&iq$7*WqhWGY(2$`4^Q|T_WPniG8W@k6<08 zN;GL%zeH=$S~y(Y9a_wEJN9=?uEQw%{p`%N&OZdtTrknY9I$kva}0D99u6%jOO*p= zD3BLO0IBrM#$t?Z47rND{I@sp%JbH8Zc15Kole0yXVLs2hxTmYTG9_egRG<_Jgei$%(aO8_){z zxo8P~NC{JHv7U8j8mekv#!YF6o!H46S@|(DL0E0;*Qb{nTVF3@Bm92w4QfTEE(UE3 z04gq5RT0#Js2c7*o5^kup<0o5Qqt;)Cf9dy+wwnR<+gv+zjPl6P_q5oo+ff~)2w({ z?`!r~ZnO(P@%{#XWR164-$&vW?#~AEXzyVf`Kga>`L_8f^I>Q*997Ix3A1QE3f3)~ zyRCkYnyST$MeN>cZ+^!OM)ObN!Q~1mdUS680m$+wY}9gZ*3@8SN6|Y^nha-hLDx zO(Y+lzCO92*fb1$<;h!!{jb8F0BOtaUM`Em5z9}!C`6lY#pUQ_nxWzxuIFWcT;X_jN=hxJTZ z%{bDtI}%KMeu@h9ymPc#*E11z*|0?R9!@n*+mevA_q!Z#u%<4fwZlvXy&d&Y zP;38FMOkR8CD_?bQ|t8}Mr`~*^twD!IC;6Yxdj1P)Ma8o51V_h2M@>^o2l^h@=6yG zP~6e5@PUF;>!?F!ltJz!8u%$veX_OIeAT3NkR}A@6Az}F$g8>o^SqHnqJjEiN@+{2 z4F#8OHC5GEs)#Ve(tJ-em+`@}g18^2I2F-b%1-Kb3*>z&45D0wSxpy9a>kFRVTg_> zYWorvXc`vmlEIVPcYsa^c|%8G6IHmK(93x;u1o9tAEO>h%T71+yw$(dHHNMOWD=D^ z6`y-OgC@AuZ#I1QSJ&$0i;4Az)Nk#)M(Py$X z!8C91EPVCFnh!0dU8Luxs9U!K!H1?c?;ohlz70&~B^Bf_uK?2P?kp`08KVjGz7`$9 zwbvgq`4&AlR@#R4979Y)JnxF+U7&-QT@BOuXh#l`O z(~TFib8lMIL>rW>Iq}rvC3Luf9aF)`6VI)sX_-2+3I!07h|#%u7cX0l8dwk%pTB9R zivl0Tw)=2*yO8b}$_$xLjiAIc83A&&ut+YC*5&kco@d;d-nh(6rt@sA<8*2@pRPK& zoa_IJXf-M>OFq9hLTyN~8CMMR>tBAte1{o1wk}9udadgw8OYWd)SA~``7NCkyZ%*L zOc=dO-T=6dHtj;v^p`Plr+uJ!GNB7kf3$Ph{95iA9!ux&MoE4OluSa%t-Eg+tz`aT zTXvV`qOgLeEI35`{}l38L2&?0zc;%Z2<{Tx-4mri;H_BTy#;BoAw5$2j!-vr|C-1GSmk)>KCb zFUaL?OkPcKQ$hU6EdJ+_%%v5K>B2*7WGm7;o1R%~a6dA*NuW)>zEa7g>sicx`yMTr zWZZA;t;{<58kzoIF9q(6NFH}o-ckE5JDpNHV|lBi)uX`=fP)iS7tws#*m>cO7Co+W z@?EzPq6=)wl!Wwv0|I<3AE?1H^m>*MH*n&EgR9^_^G&>j;{@As6qGL5)zOLsH}xlm z7+!{XeUjH>$Pxw9Ikl3Jjmgm!mrKLn1hl6)+uA2cU9W>C+z!rBDpo&0zv4=H%1*E? zfl8XVIqhQpRjf8ESmuMyoIROqb)dC-``Wjkc{Yf#xhH`d5B|2{zN|3mZ8E zDqGm`bzd53Pe+I9T%zGHeoghWl35R}GOc)`F!uSsj|9!X49ZL9weOLSC=d^HL(UcQ zX}HoF1mUh1xTYmxU=Hg;KgO@uS8ENE3UAYGKRT)P`g0IL0897{_&1x+QyifMEZ^8C ze~i#c{-GVt3?r>eS@buyEVjf&U)p?IHUFIX7*Z=Gh0XL`A|gN>M%>|DGOGVeULpIU zi1~YSF0|72=Tz=w;;BfK95b&>F*tCT$Mfr-QPDFydKau8R6#q9F;u{={tkgwv-lBq z9}&zX?2MIIEe+OLZRI{+bCCEb!_>b(o`i4!dLvlI%?5o@LCHq6Rh_?`v zrYQZ2el?~h+ez0Xj6EE7hSgenY64ijVb+*W%b>B&Fm~DSqL!`f72`U(yLEI|JvWl( z-Z?8h-+@e`(h%vFC}pR9sL-Hp1J;euDZErErIqDIPQg@%0EXas>3g8`XZD_ zMHTUycwMvIR}mdi<*mk~9zoT`3nTdDm>+`rCL0(;$}Lru6@jTq>Ae`x#sn{zZ-%mX zNi*8m=f+J~?nm6?v2jlE)Ff#6eqYE(XNu<{?C(XE;v1A7H6#D%=c&uv-&#?n68j$! zY|DMdWX$brr?{;eJJujg^!1~8edVS^GTe1r^Hl5;mHsf0`)W>9R~$K@Q8p>*_x++D zh}2xJsOBH)hp)8}t*r^hjr+beWxHuVoTB$@&PNm=)Lduo4?k{^lDzk?&>|fCdIc9_ zw^mschVGtUFR^5q{)hen`62(Me25xqfQ1o22=PMsdKiHM|7CxKi2Xc33OVqF?EMG+ zA(A=)J`_NK|G|FiOY{oS;hgEw0Mf_0i6A43C>5 zFVRUI1cKmda53wx54^i6<T^!2iWY|WqS@h=I)VWE!v8G=<-vf*uH-e5RqEe? z>%De|+%LY{*`nsFx(4&+u^#+giXWymR`Q)IpDUt{^SSVob-aX)*Y^z|C*p~nPhvPN zi%n5nhFpt($0)x>J*V)COHaeQ8v<8@>K`m7+J=HwbO(tIw84>rfH8@=zE4$}5NW`wpxZP3U6mO-0 zFgFDNvO?yegfF!v^1OWn*71CZsfSVIHkg=P$PTB04PtmtOkq;0NjA#XMhM5}o*%;vhm^!CZMxEXo;jc?!h zzN4TGE}cc3P4mx1C zEuQ`jpX=ey5qLdL_s`|7X%dKfe)kt`w&^lKsF#ykQeb{odN-Z|K;?EVK@*A z1Q19GWMRS;2J`-Z1fGTuBJjWBL`Fs)1a0_1H?lG}AxbIrSC9$y`7YK3s zGZ@6*h%R7{oYYFJR-fzhwS?ttbNnf0>BPn|H`Z25VSZ;C{sj83&~R+n z>*QZ!&9U^ws?(tFlG_`@jJ-!o82=^Sk|Eg!JVV9VYZ~GqT}HcH zEvaiz<-6Vn`_`NA+{!@;6C#VVrCjT}2NxcZgiQ`$ual~&jtoTy7qhKhmOhfgJn0S! zdd=WZq@wjpgo8dNc4v!ZdP4f6OC)T5xPF5t>$aUEw<)mm$uH+7*VERgog78?8E<_j zLL{2Z;W>lBP&2-u#}h$w!wsZl8cdd1M^6EYZZmdrg*j2ZH+Jjta}_@h#;kIP%zJGb zmKK2q*(1Eqc48E2?eMN3G>1=-6xTM5?z|RkCgRT`{!=+uHjGMaq5&>qnRw3r^0Ij( zL&qDL{PnPQaEx6Bm+LuQNCmsHo%l>(JSx1#)56Ltr0v%Pvi=AT^HvZd{7Yzbhkq<} znwf2tx5(r+ZoxbtSGLieKkJ8U!|Ne1rJ2h8PU;0%fHJi-Z0*-AJN^9v>Th4;%?4Dw zFK!E2!RQvE(FA}}u<))Af4RV=53}7uXx<0<&}W#=_8{5>lbmWciZJ+QVL6FDlhIwe znMk<6A%%XJI*CHVMKwP1j}MI;@q)F8@6x6&9`n`=)?Hq>{_gu$PU=UTp{Q0o>TWq; z>r;E=w5w>m?@5;q#kp%7)5fC6lb{c&UT}F`U7Y`?s@}%#=?HhM$*z>po)_imH*}Z=&IjrbMD6 zuUtF@rbPZF&&|qgm|wrDPLA+DdI#7E+UA4ldLw;fElx8nXi7#DHQ`HG6lg*{PWY|9 z_2dvW*tv(dI?*{evi!6uSn7KxhsdZ(i-^#gV`>;Sns9)m5EXpt4@j^)P)YC8-P7ym z9v^?6Jsoe5CQDj=*WLX&BxgqaV)bGq&#XJB;gV`k=zNVN#Go}Wf9V1C zE843REaIGwKb)R!CR=L-*~d4qNZgM-mwem$-f!_E*doG3Fa zT^(_wk!+laLk_<`UH!Vr(;;W-p8)r;4Z_IKIW~T_>yqbkdX8!4b`B; zZ@Pdy8w(D)79`n!0neqmF!krp>fV`iB59MG!>YyUtqpF>;aA7UQ_Mn!clJ&&nPEc1 z-@}C~vG|&AjP2^W@~qMt*{kcOURfJwViap}!g*1eOOkCy1zwpfw+^>^=;dJbu%!sZc-UPoP__%2;DLcp3ks^=y`ktF}WljgI{n(}79a>IbLd4DUZ*=6cHX z$nxQtO@SI#l_MnKJ*<;cSMK+ZpFJ%m8Hz(P61l@mk|r=Jk$%Oc=GRHU4wUHGSJ8zX zRI0POxdvP=A}YB#D6HM1vYPvdDtML((7aT7>S<3)@n&p_L0e}cgHT7#w0lon?Si)Q z?tP`*5lMW8qDJhsjoMm_~a+~hMzP64^F~(>8 z4KZP|HaTB*Y6aH*=;zWxFJd!CC+W8q8HSqLcE+4p_i-|!n6aoZomApLw0!MS{8r*K z^91{^Emlh8R%~JY>Dp|$&LL%jlx5`9F6WG-OR?vQlUOo=>~HLQL2Hvtieqf-8Vo9p zWjmUg-qYH1KIxa;qn$dD)emKi?8&-YlYg~Kh&{(JhSi2Rm!3`Xa(GuGCg&2|mx}$< zB66Ezi!1LdA!J4{do|mHL*sY%PN7=pI%)~8xkRuzD4gbbQRNMY;;O#NBp8zO=wMLl zusCXoDAT*Gw%Yg88E2>|D;bpTe%98t4$Rq!n@QaE-z+3`*hU8 zKE8}9aUgqQ`tNDkB>%*I8`EJ+*-?s17QHTK5TJVPx-`HHbK?r#E?nE0c6SW|zAybW@+k(JdOV{-NtS+KPR4^$pyeAcKsjG zVEtxiprApsOD>5`ms_6G^R?0uci!VT)w|bgdr#-CVxbq)rBo6-j1pV6pxXyv^Z9Ie z?j=Uh`M?fLMtBqSoP=}7EWT+ePL=kU9QL*6HdXCqjd0WOZZ&>ZFt}JewG8Tm?U~(C zOE9xsqx=q@IQef`;I{k#TjWds8Df5e}(5n zM`#>++A^+yxF@Dog`@MGlXa(r3;~ecvj`)e9Y`4qxXtN=_!)+zky$}?!bA6JP5nJ+m zXRmV2wI{F9kq5h0!L1O$(eI~FlmDh>di?Qn_6?ns)0m7X<#h>3b@2nEwahc~zsBs? ztR#67EFLXw1Bt?jvO*;ZKI%A5DCS>Iuc%_08iA%{8>1TCQ8x_ZvU%gWU?sG4un zw})NMwqrg2>c@aaokP`?>-n?hjZdp=7!n63-vU}*$9t|<8~L#{_~V(;_Ma+tA~5v6 z*JfE0($9%pewaFfOS@O#wPHQWSJ@_H8JlY8Lw|9iG zCSpz1Bp=egrFFC~4r_xpBS_i5{=mNXh zN^cL}(`#1qFUKzFl6wEMyScs7h*^SV5-JTaw3=w#W)H53Ly!0zYx}u#f(?zwGL|kr zR{r%n+kKHZ+A?eRuf;L%HS5(0V0@(NuB5}FLBIKnF+gswz>!VtAl4EWz(97l4;A9b zA|0$AtV@u4IzKS?#P-1Y^-FQ#>v`NKf^w7Mji-jwMRu$ORLRr7C5(YxU7ixK`QVtK zx_7mzf3TRQNy$bM$+`WmkXatQTtzy*OsQGOU)w#}@FTG+-H%NV+Zo$xJV45Bzf%SKI}uO}f22$ddm?H0i@FLOuork@V5&KncUL<7j6i;Mat%Y4HCS3OzE7M(eSZ-6t4phd7W zkjCNVoINYqk@9}*d-iw42*L8eNNARopxGUil!3biQ5KkNZ`361KuJd2#^LC`NY~aS zb8OP?G|5}LYG`_7{nV^pQ-JsN- zNosz3jQYk`wDAz8wZdFU(r>k7v;p(OP-5bN{39~H3M;)4%q+ZrJNhU{a7i+>$4xiB zzEfpt+To0i=~n#mlzry4beO2DT*N*3T}m|Q*iBE{U!|yOpllO zLwO>Tk0kefV66Xkj)Wj^%W_~CvLG*?00e$i4y5|uEp`PkGbMn9f|U2AI+e9|_wc0Q zfe8Kog{mOV8>VTz%M{nDc1UA z)JzZD%r}W8A=X%~)je#gdZ15b`~CP`?|w%D&>4urf@5H8Z5zRnhr$NGW3z|^fkKd2 zTm?aVJwd_Bs|4o-k-BUOm{IlV_l5Hl2Y=6wo(F2`gcF1dtC-l!B!oUGm9q;UnI(Q) z)l_VnemP+|{%6HvKG4!G|8#HE$pX&Ma%qd&+T6{9PeCix#*hPQ-<8M6S3LxiD%2^k zC$<9@X22fd{H%V~mHd|0j817&y4Fi#emL0LDSL!Z;n|4?bS!TPeGG-FEBTdOh1fMjr( z3zyZ^jpDLyRf^ZSRxnxx=*2H>Bm+*iV(RQ19? z-o_2%;*=#G5=2aOdG#s_sQPD$V)$;2cpys!|3YQ}F!>at)_r7N0`Y<{7j1-Y2(LD? z+i8y+#^mQZ#wLz^#Mye3J}nVfgntr2p`eAzj-i)R7FW#43uk$4*1%w@ifb=IMsD#b zoc1tP*MmI=-5&dHVxnxnNdYS8U^d6~%3`NgIne>AUV!!6XsjN}qdVUfED!hce)kVe zv%_MW)Zt=G#9HVq)TFuRhx>w)udHE|O8DkV**d+D41d$Okx!RB&UxQ<=i#07QxR{* z^Fo(85%o8}4Q`9h_>Sa+^}aI<9#ay*2LqY3*Ynd>;ty8OZ-w;N5$`)zzuj9Nr)_Te ziJW$K;w(FpB>Mh}2>AHOd3GsrYPNE3d%9`GCfd4cvY+!DI^}kc)9Gqs_dl5+2!~e# z>0m-8=-gWNe%3U+LNDR2M`Of8!$-sO;?#6;@qBR#yvQ|aqH`-a+qk?~kpH!$X^g~# zAj0q73-Lq1(k~LzGGGWVM1V(HSU>;*;gNmM$M;^G=Kp=f1mpjv7%x0O3djayOdV0u z(ID)f7x7D|{cCzvvC3bqJUzR1&{P@}L5ysN1a87{)meT+oLH(iZ^1Cu)E<^F4U|GmS<+bEH`d@` z^BlJMS;V2{$EQ&ppIb6(|Qsv2ELSvN1PyvaxOZj&0kvv9WC@8*5`*zkQ$QeZPOdsyS8D)7@9i zoVun?_w=080=UI}*m`(kFcxN(Btvj&;Ifvs{iXz_-*esWVj!S!T<7Nu;C=45<0A2J zYfD3?&|(-0Msn?mDfqB+}`Dd)1ZJn;3 z!e8VGvKFXY^rVbRfl1UU_~WW#T=#!hUpl>5OMYdyCD9nu=Vmey_U3)K-6LMf1B<|= zewkgF!JDc|pc~3>b?lB0^AI{2(+F^oL+zr1#ltCUhNv>n^`$Uj*e!0{QMoIeh zFs@u1z$(mbSkG8=9+k&*(*xK;2ZGNGq5ZBCP9PR8P7;$X4OT?amm`mBGldZ;A?>MN zwN{(n8fNk;z|%e2pqaWMmx49)G@64gPj#3@M47!23@xyN<)CX>?k8S9rxSTfK}3~C z)S|+%*ok@!K=tuJ8}{bPz&KrAKSmSY_c9i61yPTWhh9FiM&J~Q=()Q;u1#<_JRGatD-s?j|m~&u-4Cels&qmik3Oz zKGRY8n}vJBwamWrppi8o5lHSCTfXeZ-z2dXY!gNz`|9XeWm%F|NhcsLd*jd# zh(Co`8nW&hgDnsXd@?YWbD!O5SLe2h?b6{4!Qp8?5OSF1l zrN*x$CKvPKh4LvF5mwT27tTQgJvz0_S;U&}NV*?x$#tNv0WMIjz23g$VQp>g?92#D z7u9s;ugLkF%KmXrDE*8A^m4o(et;}(R$5=(d3|A!8<15mYdLdG=TM$75&6#~1!`~o z+B!dOqUmT++BDT=h&06x19xO3A__vBd_ie*#3339EWH!JEFKLUQn%b}dCh+12>{*x zI-W2Y>)k+41**+sxGwiNd6%@B3baS=fbh46Kt;e4ClE-f@CAZwsU#05mDcV)B2+@n zJ)x04%{((byVh`3D&;_`vSGd-2k}<(kDFe~E2(<*uu=MEX@_lNuL{%`emdij-P^1O z+354K|08_VUEgW&y{EOqBKNc~cZLYcG z5;tws+8{KAzu#kURCnn#?lN4JQu5yk8@_g_cx5MeP=jVpaa^`@m)O}aS(EfrN{MU& zBI3gvO^V@){O6bhL?sM5G1sQgW8=6Q!BH}D`pLGd3{nGK(j1>WsHF{>)MN+%q@v{f zu;33TKyrTYK(hf*VK#w!u7a3}m)?*JyG){du*y|`>00SwfyK=-LS>2SurDLqiaE`0#1}YNW4dI40$sxwW`V3FHx|!<<{Sm zl`()vO+Y!jhp7O{?MkND1TaUC0#z`X!O9hoLg}ZFe$~3RZFM;vq&)jaO-4K1B0akr zQ%=TIZY+4NjE_fo3>=!8+^z5e)No#sUIK}UuvOw-V@8&!ie|m7n-0Dt(s-}mNNzQg zfvThjZfH)ffVsIerbM8XtgAD2ca3C8_y06sT4El;;H!l2U}G`& zii5q3mOr!10v0bD_OnWSY)gD8HWaAqo(7)IaE5z55)cp}4bG2OR90q5nODN1-Z_f6 z@NO>tkm{GXfZuk1LR4(GE=DwKj1PcDjHY&O@|Rtc@K=9^ttFcsW-H~Wf<;cuxP|FU z%5G=oY7yx-<`W1Z*vv~kNzBVDTC?nhE1G_vnV*q`FTgvJ=xrkaAFelaYR^T1JF**F zpwe3kuVG!M=zooOB3Ajp7Z67G*Ab2HZrxir2Io4v*@Xjn6Q=mQkQ->b^G-prIeruS@ zx!~=^j!3=JK7O46vvT744=XVc(57ow1mqG|oPQ|8qYGxamv~&tGJq_Z`_k5+8X1Yz zkA;HlM2G{NuTiP=$|Y_!lA z8EB8-^VEf)tA#J35;R`5E9UMA#ZSYt*0ub;7lt!#HLG+D$#XP_ZvP>g{_w#6cg}UI z3LB~l<`VU%)+nRT7-$jq?vwqM|JFHa=HL}3sOCJbjF*ukWZ0HYu* z@SDiN`|_fRnzA(cCMTxvYF%FuI~wT=zzi8)&jR%x`Y(u8%T@ z;^GpN&}>~)HRVD0hLXaP<-?1>kCuv4B@sg{-fN#*rx+Ei}FcXWi!`7y7FdfVtO^<*M% zElcz6)9;Pzx9o4%#m`G!%-(DU0ebEq*n0;CJV&+U=T*b{*Vr9>_H{5tjV_1AH(h~c z1yfRgxDMlnvmhoxhp4&BN>)gLl8Shho;Ymtsx`1PA$ni)HRSq!c4s&`*fi~;Z4J{^ zUixinX!n9{bcXXbZ98IvZw{_%mrSuPYSbmEf*f+$DWYvPn-!B$FPcEDRVgFS?)^zd z-oa9HjAQqLk7xVSH(2gq^9%j`7hH)juR6d$MrOU~ zs%G~>y~)SnE4FNV+o@v4@BOu{V=qN@ouuZwx$_ei?7X0AzrM9|y0u^bg(9~0#ITd( z_V`&NYD`9AJIUqwJh>6LOT$q@oNBzxqwvdq^!H*ZdA1TAx}~)fOzd{7pLfT*L&^RS ztc0iK`*OI_7c=OwypFJ?!kUOf{MHYEdcvTWUd@jE#^7{Mo=XL*y=}vXnp1Cf5d`($ zP|wI>3&cxVdeG?xPER|tAi2iP9i1E~uW50xGugjPl6WwiEqEiW5vEEq}+G7YD^$%5mo52LVaPhqo#JnmVssw(rASv>^`q1p1qnM0UVE3$D(HX z$a;0q{8AY*fYKOvRy!Uesw|2`azX<49ZX$O1AMrASN~#pF`pgBsA)BE{E2A~@Q9|p zEF)aqHLo{O=sz6Wkj@3ml*K6zqN!iQws9H3DW_0xpPR}=Su;roWL1MgpAy9{7(7bl zb0iY*j>+=Wk8^`^;)E5C5GrpQQ+88;ac3Y~hsSR`uBrgv3HI^1oI7Oa&YwHSaz@66TE$8v} z-t)G6w4b-mw}&!rHQ#<|x^mebxgXlOugy-_{+3sNY1SuyHVZBc*F*=ywg>pU-vG^u zl^7yr83%w;Wu$Qg+i9F5Zxm_*uIKP;QxVjX9MoTJcV9xnEBdG=x2D2o01TEj%X(Xx z*B^n=DMq?H(2aE+pRIxxL{4cPgwL~@iX+#W$}s}rhRsyT1fS6*16J3`q;aV|)phd0`mp;=IDlmQCcs)o!0WVYH%9M=#H3v$u%BgRC zZZ3G%>Y`!r^SNd3T9i%8PEi@|1l6O;Dqfs#XZEX|?EW;uQCG^$4p=y$Ls^HllGO!Yh2g%7`)IHx>mo6HA=Dh?G}M z`f~pv2TEeTuP}tlaz!d$a)vU!pd?@LAW#rt{}wsr$K{!I zq-|5~BFCI~)b+#9z0GolB2%GsNZY*upfE4T=bKR7DOA~lvaXeE@DQ%bX;hK{Y7@cG zfMMCWAP+xt)W^Z;_{xmpPWgCsUQjFGuYOnfNB6q^l5NxG=$4*oG!)^U)-cijBv73e z_Ki9BEsrp0tsVQAd2ea^eT%!F{e8U_Vxq0!x2S6d|)?lhLI2;7tYQCtRPCQ??*qO(+R|Mjne2jb=X*H9&Isd3gC0;Zz77pg502&&g?k{^hNmRd+x^zic z&DQtaD-gJgkt|mOC{6D9K|m{!g(W%4o}tRphJ5^YkD4!%eS|7GX%PM)dR0}GRb}OS z7Gpy5?^=t;%I8nd>*3yx3i^i3^Rti2#8ivQstsu)YqcDG_3O9q%p8RFQ~f`=2*Jpo zpgm(>3g$#J`h$OgzZd#w;bSoavF+&O%Mbl71i>_{5lN$KAt6?IoYW$z3*u)?(qF>@ z_2R$JF*+^ts@L!Wu0y6!WNb0UPn8J?Z+10_qv`tM*V}->G39^*;;?6 zKWzKvFH`tD{Vo*KRPlApM%!HqwgSB#U1sWTen*?lDy2?`TA-QRtVY(s?Ck0Q}bF{bh(j8-~NjxOxHC_RAlQ&7_`FOGk7 zc(E?IMztgd*x~J#F(o0Z3W>O&@|neilV5JyE$#4tWaf*f2=jhmF{~zp{v!3FI?x+t|q718xw)rmucn4?Ey)=Vxc_J@Afc{R!s6`pfhJ z|8WFEMpQ>L+7hd1!_E0iQILa5ucAO4feBF;hK^ti^t;CiL)D5_j`{5 z`WLi;GFnFA8|_rTC0$9iVFH+VE)Aq*g9LUl_0i8Y;N!*vy@{_oXMEzbzC>95=M0I# z9r|TYR=&a<#;$MkAds{3t}bobd*aZg8GE|4?XSDt`+*rN&IsI1@JUzZbdgV53pY1< zZs*T~V=d&gV=yUoQt_=Px_hpp>#yyv1s~j*u&5`56No7Pm*>j38BHK;!?otNig;EX z)^u42(ELuTKWhQmz(}}QlMa)*Gfg$(XAAj$nudh4;V*u~Qn9bfHxcD<6YwN-H zwefQ^3uoio^o*%D8j~xR1f1&a)yjiQ5Bv%LnRu$o>OBeate{iS0TitFHDS>6;OD7Z zCic4XHO3+o2XS^^kpVV0MqQUNOmJA~?j^A(5QX~6PxdDJcHH89)xBsk|AKxErCNH1 z`s&!Il@9Ov_#PR9q+4T|s^O4nndSwlvSWnzu_G|@snW@`=0rLrP%Fgbn~8#5C(PY` zOB{Wyghcfw(zwMbBo3uI<*WDZbGX<_;fYfQM~o$i{=_!>Y~7;1a7@eB0H(YJ0t;;n zcm-93Rt(>WT_>kFRwG%@pD|dEl~-H$<;Ws7zuKlpQ*N3KgD@G>nar`bpao+c+bOa4 zXJA_tl_rBFr4ptp!@$yjR7aKHlKtWbylDok6Zr)WdtJ%2YOiFyV%i;eM6!!eLS?QVX(L1a*;90PBCMjA<9ZNpLMEP`H zN+rHq*&1e(V`fjT1pN=G&U=yuS;6J9l&ie|R%o)Ta7sPea->QI)mU+>23gC|GCQwD zN}1FMxf*H7jU9PFH8n|M;-1U{!gg%KH2F|elSF@VC)!~jY{)xx`yiy7<8l8f5IYz? zG1<3j(Rijup8+|T&f26JV%OKu)z+B7z~S0<+N#SNcAzQ{;};!*_9r(p%C6rEAk`X@ zCo`P5G*l4-o?U7PS31x%+w?R8^+eJ#0lN$rtGQeuF?OT$RTLo{?B8SD7Y>&|6%2)DAZk_Dyc zL6$}rC!&OojNvS)1S+NpF+j1MJyA%pkqQ@AFYOdhr|WQ;l+S=`|E#j?pd5^C$jGS5 z%TCkR-GT3t%k33aOBMrl&|xKU86!gn5=|Y%5ydR?RW-Be$C;#*P}*!Ht(3j~6!I?K zfzQ8S^uFTLT)<}f3-;>&5~DXz-+Ka=80TjV*<%f~Y{1IXEumM)k& z-1Y8|w@0TH{JY%a7Zy?BgkBH`tg~hY_9UWhY1-^ajy9%0GKctFbLDTOUE$c>5()!X z(|fXhl6JRuswg0Vk)ZgHeDmG}%OJ1+Y_RF0b=VeC|CK6jn{faaB8X!5ND)EkHS-6I z!Ap0QXxMRE(Q7yU`rg~($Rn&jVUZhOZJey+(Bp8ILg4u-_;Xea%Qv_3>ON4&Ia+&V z|wkG7Pj61ODR9{D5YKmPl1lSFM^vb7~gp9o_A6&MCg6! z3&l@a$1OKR8Kep}!s*jlZ!?g3|+D;6G#Q})&=$^3G(*79D;aqJ@DH3xz_)I7WNu0bw)7yoN$`XEI8{8pFVqybf0GY zK3y6PgwLQ*#h8Gd!u!dSATcL9bQGz)R(CMMiF$jD)EtZqz?Nk=f&d*LS|K`U23u6=W+~A zIiZZ*2z^e_0(l_r6?$eE&BgqEGIX&V4qPmF*R6T!v=#}waDP0oe>My|Q@~r6DTqKZ z|Th&5pk?o7j3tyA0 zV;?N?zKNZ$E(U2oP=(p4B&vYb;5^8y$5I6~z)2mVRRE=4bAW+0QA4$aneyHTvSvOn z0lG$cv^=)y7Dw)tZaH(2Adh(p(bPY%@Sc)fl`P|lMiRBtgSsTn>pJ=M-SVfdcNgDTerTeWx&eO=Xdo` z#G`BO-ks3|f+a!QawZ2~Q@*zcvPF~vKbGsohtoR9|J!kor!ti+6%{n^4-_H!OW4U3 zYB{hUBmCn=Y~DSLZx3uO7mG~g6>$P`@tK!Ngj9=V`fDvE3i?2RrhlYEwtz3fx}4!C zJ$m)6n{k<+L6puHA60LxnYYUs6N0Y5DAGu_P+gC|3x}Izoq(#8QMm{FlAz1i74mnI zw-Zuxp6HQ9%-fdm*H5CuPRZk~*H6QfXKUTHoOO5er&*!}d--p~p=*#^Bhd}_`p;xT zJ}!g$^?7%qj94J_W|U{%VeodyeHCdfk$}_ZX{VS>ux(Dy0awAYg)6Ub*z$&=-o4LT zF3r)YcVVmi4jV^KPZ>?*;&b^#L{5+SdFwyhJVa=r)=}<%#_70IFy*j5_p3*qtz$>P z&b@PoJDSqrm8R#X-4s7B`>7^D?~?%$<%_?iCtB?i#zB%odvZ7Ks|w!_wSN$XqAYm+ zuJQNyF_Q2MG7@}`-oJn4|D56a#&`u=lK`=r!0Ek`5wCnlulF24G=svekxy1?But_QA@=_MhxS zN5&a%9HHl2V~R#xE#uNp@CkkN)^5d7ZNCxmXU(&a3Rwh(Kr?wu>-{;{gZIc_139gA z$^=vdTe=-c3}lZ4(pvGfsc2T7{Fjs4-G`(do@Dm%Z=OzzVzSJ$5$>PaO4I9}_mhWp zS&KAnNv~Hfw881Jx1#df*ZYOxKC*h{Bp~qR>xiwfyC%s!2-%)b% zdO0~CZUgxcwwgHfWK+M*dU#)tG?J3c7&Y@&Cx?GS)KsT`zz7~5ZY`U2+OJ-E=I6F` zzPdSf?*uFHe8)+w{$9)r1OpA#bV= z_Y1*B3U1`VA2-u8%7bH@jRb4^?y_w6B`3lu(jr6jbh&K(%nJuhOE`UWx5``AIE@BO z)wG)FsHS4aTH}BnZ3Z2WlGF zJ%;LI1Ko;|6l^t(CZ!avu=nK-N+hVXQIx366N5hwqVs&;K;fQk&T`lTQ4{=s?g@Hu zL^WZW)#}UwH4IC=6q5ze+A8{9ApT@n!AvG_jNQxF$kiwp#jiA9(bA{y*ZI0K~hQe`sxzxv`{=o+8vceeKeKAmq1CAc?_(#Qrak?a{Qc2qhsL zuSnvFHgmW?nL`|yHz9uhTkO43XrRMTL`5NOVN)YiugPs*j0=;n>|gk%?*?4nlj zFEr73Y|{g1<*!%O2SaMJY=AEIC zSYNPpDhv1m6oaF<47QO2pEea~1o8@RLApx__8rvPhPG08JeT#{D*9Cj>hP@Z8KK4F zK*nZ?4mrznhZO2}Ulz{!_f>lijoTFYTE13k6}gzGpp{F5DXEK1MmV?Mp99>rH1k5> zeDE)X?c@$DY12uuD%%VT9+>ed71TtvmsDf`TwO8}ED6nw1W7SkG?O#*Hl74+0T^>4 z6b~YqT5()oxM{u8WzpEhqLH%$SrKtPc*>3!RZ*YV#{7)D#DPKdVFn~z)-m*0hI2u3 zGvDGF2V0vAjMRQiq}d))hQGhHp|d=Y!Ss1dICgUs-C6w|TP^}kS>qjhT3FDq(pR=X z6;iHwBR?XwDSqk)t&XaP)-S2(21oFU{hN@u9%#Zc70wPQf0Kk~1<^`wqJE??h8#y< zkdAFTPN>Er)Q z2a5P*VoUoi4kFfQ1eV*NdKXR|v#@^Gwf-l~AGi`$lfvat+2&$-LqZJ3f4tib@8^ic zcLo1)j^f}GSl9VOz#3V?&(opE!#FUOimMK?Ras!CcOM z<#VlujSn&us0~#WDjf*A0JKT=x^oN>g&?%gCal6A3D_=l8sku^k5b0J{TVZZ9y@&2 zuuLAv;fwHyjxl=!6yh7G%SidP`PiY zWk2k&#oRpdyWpsG6j*KpZTC0WqWCB{H2-a+?gHHImHxb|0jv#m4%l!86NQ4XT#OgaGZLfu~RXRpwojL5{a`iW1p7+rxOLLi;O`K37JIKSp z1Mz`k4Re1ehQq9Em?Zg2+|)b?CoJB>6UtekMLwhKX4-~K>)*nv*@{u0;Jh;CkR;cT}Q!7Z6gTq4vr=M zMoEE;8;!GAVDyu^vQh+PvoLRXQ3jPNc0nOW?nFklzz7w)f)Fi4RDc&Xs*W+1B8X>- z?TaV9fQF|j5C|n%LM?r-GYUHogb}^@5y8519{Ar@l#XI-jn8%l(xsqVKYHTlDqI#( z4{W1_d#d~a)~>RNJAOqEBPy-rnTwzxv|Upg48~ric1{vfPKG99sm^y`$WD zob~?e)(vqsI>Xj0cy9*b`xW3wRO62THjwM#*U(k{!JpPn2TqSBfmyk(_1iTI)W30= zR@vB!tX5rM8TZ|S(R|faf?8)~&{H|FjF?%_92v7Kd;32KO}F$zg2t?znnZ0Ot$Y#x z5Hz(}9a%k>Gt-`L!u?WcA(0MW`Y^J{Z7>*AiF&jNIZ#0~V)2o{TO7y#Jj*AxjsUW* zmoY+7yjIblnmvN@AUX}M^86rT?!o_oe`SODOpkqepw?+Scx3(%Vqgwq=h~e;y-AW% zeamt09o5RTb*SpO+j zaE8s`{gV+2V(BGh@|`nNR1D;rUQw?U^PMjq%&&}P_g7||$e`Yx{;C}l4}Q3f;JVNtr{iD#3W$mqmlU@q@~>O) zBO;wA1vm%3)89~%kEFs$!cOR*EdO(9pvlT90}7NQt)B=KtqIF3TN1#=^M%qOaps}r{0YD2#BQNrR9m#HBJ~ z2;o%|YzIoOBPNhrk?#QMQy3xwq8sg&Uu>$yn;!t9MbfY&iwCw?0;Se%MEu)rfhAt2 zs8(8JxQHB9LPRw<31yC<##jQE?Vl4ous&RQiaLhcU^vK(xNN?>4qXvcmt2+|5<`-6 zB+*PU0tAr_an8R&uOlE7=%1~uDV&jFxRRebAuMhLF$I_uqF_Gn=Z1A~SpXro_+{Tf znjv|lNPpdo2jWLhjjS7R8t9at0r?K`03yVR+JHi@wM3X70qV$^UpI%^smNdrOrXv0 zW{56K3ddd&`ZcF#r2Q+MgkS&=^^=)Ms7y$v4}XIjR*E!o7nK;@;pQ(Vq@n1{Za4_m z9T<6mEr>Wq38B>WylVoTSB?ZxJao;9lyQTEhu3a(PQZeQ3{-$XWJ@@q@DGS((v@s6 znt6T-ZjyG`CBRd`B<-9=;c_Ae&`~^yGn~8M-t#iQh5Et`1})8;W-MED$Fn4x_d0sA&S2ti@tZDMH^I zWvAYH-=F$8da&T8$(GSDNmi+Kr1yUn9)HeOL4{S#SDHi|`4df<(+yk-K{yE)@+s!} zFmV_N<`0%a+8MeuR+fMRc})0^$7odGipV_}IE941oLGp6QVk^Ht-k$l4PQNnaru+X zyTF4Ggksh!vuje}58z}a-|!XCovQv`kDKpgIU zYl1H~P?B=+)=`oy(P5lV?JX3Fj00dQqJBfim*7&t$&Qk^GG-%K%l+>1i32hNS@SSj zL7I+^KS}W6i9~vURY5I5W2M!Fc=~pPqRHsKJ8)c&{NG?B$UZI~jYNy?6@6Tf705i+bNfEwSpN^y-2h zjn4N}WF;m$B?of4ydU8K(h--wW#aD;JHJGuNG0nxIh#j-p&~YtmAdro?Gx(F>X?|U z`L-4*ZGEdYl5}Dy)9#*zHyoQrWnzi9QB8}$Sjk3Y@^z1)dao127)sQ_4$bUt^U;`C zpWY94oU}T^i|#>=*cz1(BhD96p~I9AbCS$~U2DT~Yq=t2OebTUW_tGGfci`JncD@- zT3Wiue1C5sd@BATo2esxjR8e1CVB03zqyG@*<-{=xZ+TyEdITcZ9>nnTTbz2GRADR zto0Fl#VFp|QT&rteC5Kr*0GPjp1G3oHOCWb4q|Ya2)rUv88J1;3J%qN=CKA{IrJJi zoEjauG_A3ifM;A%vvR0)taPo)nQ&IZR;GH0`(he!wtw5C!=zxsnN=q|FEM7A_Im!& z=0uV50GTDoqYLaCtv=Ns+RMg>p7aSs0to!7%Ij77ic)mTeBw=+-=C2$No{Ys{S)+g zX?u-^fBDheMk)@=;Bca3BLPbTZ^zCp8{ZhYj-jz;8A!@l6S7p1s)7@wqwU&x^m;|7!_u)in1QL+gO+16M0W!{ zj6pAO_;D-4Mz;;?yOJ5orEIuB7i^7-shpv+=XO~cViVm;Eux|l&v|&j9`si2LW~b= z4XQroRJD|a5~hgEI@2)z`A1cOq9#n3V1Un$^vCLQNh-Ge?kju}T_k_j1PBsUs?x>* zLP_V+`MDzvF{4(OKz`L%W}C?RUIk-Kdb!GHj;2|7+#satpOKhliKvMvb8NWat% zxh*UQafsAVO-X3L#xxn4gcgk_O%4DLepq3TVImSf-q3l3&2ylD8%G|-wN^sK%)(nB z5}^+}i@GE*yHr+|E`-o&@A2~Bc1XPJ5=PK$M0}Mk@is9%wN?{0$nuZVvey;J9gGy> zLz)FoNNX6w6sVS=`Y;$6#Tn+tn#e$z&<2g10AQM*=EizPNssWFr-xMY?luALZXc$|Z8J}B|iplTc_J*buvs!qd2D*R;N z{nE`(V&xB+pO16dC^1i=?j^xbP_V`M^~4OZ21%xEyI-Sr^AIGb@PUC$U8%-C*Ts_q8yq65JERONtxUjd`976JBR zU;Wp2{C;uQ_wOJ6g1d1qDqqpPhjlL`M0cwn;c+j22gN%yW6h{O_=)aseR%VPU-t&X z^KKIJ?iOJ_d;>Q=ocd>9cm%%>_PergVZLJ&UZDgIoCWeyJ_5n=#y^6YUJ{um6@(i1 ztM0{r-7Q}``;7xn@?L>Nf)vz4Zc{9gBmw|mG2zU=sR4!>wX)e*+q zgW^$iLo1URR2$awE0e8?yx>0B_s*O&Tc!-f74z<~Kn}G*9CLsQsd=M|^H6;#1=hxp z9(!~bmY%<*TOb$%hzn(d_hFIW!DrU`>8}FUzxEEO!k9psG_p85P?jmN_GNO*+wO*} zk*%*CeRjUmpLhz>`Hq-&Q|)`(4=iEy{JQYv>f!~av)#PpsMF>8Eb&&i3}7El;ywMjc$wVG7rRl#{mMB=P1d@DU_Fc!TRP zq2AD;xN37~t!V!B7y>_EAFa-HmwKK}z8~?FH|tilUf&dz&$7xd>uy(DN%;r>NQikq zfG!}B_&rLs+vs@U3l)9r@|D_>9xWmy>o z{;Y?>uBMfSqsQth|9c@3AL!ri`Nm=wvtQ85;6E}J~@apwkXah5p^TH>}o`1 zNYj3zzoD-G8zPL7`9=JxZ$?5Bp9WAyCJr5Uf?Xr_jdg1!@h=(^D|y5x^Jg zg|kq?L2VV)8m8-r-`&)LEHsXgkKqT~HkJQ&gHE-NAKT9ED}<+Ki&kVPN-s==u zV=5fNpD*0@?&%d+gpF@d1isUk{}l7MnbV5L06`GUY~0LTY4qa&!vF0mi~};$%4-1d zN$NBx*xay85|&QRF2pQs|GNL1dvdaIC!qjnfWGSecAL!b-6wP&Hb}Pg(#iDs)QZh( zrrKOKTb6(O&o!Lpb{@YTcLai22driUqadd z6si3T5DIi^uwc~WLsP&5xiTF)w5igaP9Q}o9z@``hY&IO{hS3dIZufpN)QB+G%^J# z5Q!csS!ZjjW`)VM)48u7;zP5B$R90q{`u_ism6UxPT?xf9iMXc${sFzNa5;wksW){ zB1>+O#d2opsIM3WElhSh;A+daQbCUIj-6R!UEoSrYTzRP;?QB7wIwKR) zdC|(EUCY8FzfvhKuL^0k@4BjN@c7tVJ7>e%FG6&5?@ZHntHvO|NG!h{5}i~$SW<%J z@8VzZTYp4d-=oqcB3C}87{fXhbI`P0yCk1T&?H!7uo792%YbAf?0Q;I=~i8Ipo)SL z)5syhui48-yf(}8!R@%>mnk^0}8=-@V5g~X#Q)`=96mlphXnqD1p@4a)}k8{k?6F#P;h7d*3*sG)hf@w%-5!?ZH z!$p;Ujq^xTEGEj*!;87VAQYj8vuJ@0w1P2Vni3zUEObM6$OlaPlp@veEa#!4CgCk4 zl$rcyVW)WtG%1In3OuyyRRTw$QRnU2{OtZWJgA<`m=UE-8FwTI2N#L5|L_(sP-VsI zA!Vm~Lu`Ni4%Zc<4}*1Mag+Xom~ydy@!@>oPYZPWvyd9T zT%VK<7B!@+D0;ZH32@}PAbIQm(SUgtp1q-F#LteL!?UlqCh1a({5%Lsnlz1yw?{mW zWELLQ_dZY|hh`~XnDG}&0Y!Tk8b8F?0bgE-E<2c$8{%>fG-nQCYYwb?4(gK`B#0Tj zY!5y=#4u&aUvS^KtKgnlI|c%NBlLK%s9@`qScVwUDM1B|uyw+1{@0-jd^)$.$<$number$>$,\\1 = $<$section$>$.$<$subsection$>$.$<$number$>$,\\ 2 = $<$section$>$.$<$subsection$>$.$<$subsubsection$>$.$<$number$>$ \item \verb|\setcounter{descriptorShadeStrength}|\{\textit{number}\} Change the colour saturation of the inline descriptors \item \verb|\setcounter{shadeStrength}|\{\textit{number}\} Change the colour saturation of the \verb|\shade| command \item \verb|\setLang|\{\textit{language}\} Change the language. Will automatically load babel in German. Can only be used once and only at the start of the document or in the preamble, as repeated usage leads to undefined behaviour @@ -141,10 +143,9 @@ Put \verb|\usetcolorboxes| right after \verb|\startDocument| (right after \verb| \newpage \fhlc{Aquamarine}{Counter-enabled} -These ones also have a setting, namely, you can change the counter behaviour:\\ -\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 +These ones also have two settings, namely, you can change the counter behaviour and the inclusion of subsections in the numbering. See \ref{sec:perFileConf}. -Here, it is shown with the default setting, $1$, meaning they are numbered separately. See \ref{sec:counters} for a guide on how to change the current number. +See \ref{sec:counters} for a guide on how to change the current number. \begin{definition}[]{Title here} \begin{minted}{latex} diff --git a/main/core.tex b/main/core.tex index 9e00896..e5eebf2 100644 --- a/main/core.tex +++ b/main/core.tex @@ -71,6 +71,7 @@ % Create config counters / variables. See the config file for changing them \newcounter{numberingConfig} +\newcounter{numberSubsections} \newcounter{descriptorShadeStrength} \newcounter{shadeStrength} diff --git a/main/style/counters.tex b/main/style/counters.tex index 9104432..439b0b9 100644 --- a/main/style/counters.tex +++ b/main/style/counters.tex @@ -14,7 +14,9 @@ \newcounter{examples} \newcounter{all} -\newcommand{\usenumberArabic}[1]{\ifnum\value{numberingConfig}<4{\arabic{section}.\ifnum\value{numberingConfig}<3{\ifnum\value{numberingConfig}<2{\arabic{#1}\stepcounter{#1}}\else{ +\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#1definitions \arabic{#1}\stepcounter{#1} \else