From a113dceff229fd859db4e3c1b04a803378b2a00f Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Sat, 18 Oct 2025 11:37:10 +0200 Subject: [PATCH] [Counters] Finish up refs --- docs/docs.pdf | Bin 326709 -> 330974 bytes docs/parts/reference/style/descriptors.tex | 12 ++ .../reference/style/tcolorbox/counter.tex | 2 +- docs/parts/troubleshooting.tex | 4 + main/style/counters.tex | 119 ++++++++++++------ 5 files changed, 98 insertions(+), 39 deletions(-) diff --git a/docs/docs.pdf b/docs/docs.pdf index a1231b070d2804509dafb0619fcf4026af6cdaee..acff65a2c9c973059c42e0019ede7087d47c0126 100644 GIT binary patch delta 99177 zcmZs?V{~QB6E~U@+n(6AZQGojU}9&IiBD|XwkNi2Ol(hV>z(Jn-VgV#dq31#y=wo~ z-qqFB)zwwCo1QVY(lP6#;lO#g8)V@c0HFPbPFMu-;p9x=9x~VdzYxd)TevKH9CBO% z8IZDrnnR5Y`on53>{5zu4sM7zUQNShF=LjDXGmygf3oT`2fp0xUPoEX`7`gvaBRV; zSWDeah6=Cp_vVJeV5+op#$p{p&)l@P`ARW@A}&$fmajVDf7qM3{B-_dZ1>*?+QGyc zo|Pvag`%Mt;d2|8os)!x?Pq<26oW05n16f2wIE6Uu_}qR`eK^|ftEQ6!3G=F650mgRW%l5F_QYmTMS1j%}u z1F9xo$7QtKy2@pe#n4@FGs+*UEa|B4dYT7_+s6;)yl>Yb#iJSe_JOSZYLt;v2dPF4 zW^h+Ilz0VlR96a9NPjSCFfe_W$0o)iWskr%_9a@yAlX4vCoPb4g0c!z;l{)MnN;f_ zyzz~Ow}*ZK_mCjjBvtTY5jEUZmOm34M(>V>C` z$G0MdlSyfjF=OtwPX$&k9tz_GA9b8oDo~?Bb8sEbvjq)W3WWIG4f< zB;jzhdmwLos+Q^;u`t5Yt4TA389)=y z8?N$@B&Z>{N+Qztg4(n|#Dbb-#&Akma8ZCi%31-+;Tb>j3O{VwbC(OMp$0I|^d)+? zDGU3%)g>Y#Dptlo3eE`kDSQ^RnCyr^LF3FUPDRhN%0i?nKd9$6JjK33z}F_3Z4m=w zdb^#kkQ`%x^X%*+2CVVGU>1fdvPJ~Rv~dG}kG(WlTQg{(L{vWX;w6Ku*hz>!SL7;z zv0otdSPEu2U=Ho)!Sub7TZA!tHXdqV_hzrEx{v6?f zKc-lillMhbR)MX_1GAVuL_$UKL8!6AGaJoM{{EZ5FRhM7#jVLXf&BDlpg{vo$Oi;} z9e*+_YKeU4+<{96rUlanOoMef4Fp<;m6w)40te>1$#b-YFQ%ujQFCSVQW@IBqYxWRM@wM}-r`tuBLU@k&DsHP(~Exwfmwe_Z_BZ`sy;SG}y z3Rhq;U3e*|UcZdyCAECG?*uIa;0yPv?sB2oh4SyHK4)Qt?M^Fbf2H)Ko;3${`Ls30 zPShLyTwI(zy$HrUofzE68&b}fB-BG$mTZ9E?XP2El!$a&x4dZ7XDJ!&dH{!(a)OsS z0^WP2_#H6$2^2nUI!W=A@GG$mLbvHRE7YC3*#}hIt^Iu4XHRq@g9N46{aT!{lVH9m9$LD9r|5EEJ)Vn74w+>J z2y0e0IVoV*@u-^6UKBHGuUqRr+OK=YY5aD5mz?O=^0H8(ssK$F14684%UQ<`w|f`L z$oWgba)mwH^bET>P2Xp~AWEWdPM+-UngVa_O!GV}ey?CAujUTtJ(za0q&|@uxo0cA zHY5`_XQGwWyF4O|FEXsv(BlL`HMT+)Haj5J!BqQlj4++bEBNGy%o3M$24oirfg!@R z1`CM|tGgUTmV(w~*qwwDy6{FnB@PP+v$*ex>VMkw-1tQYc3b)QTD$x}whTr+F8P0#{*mB75V&<)DayS*-!lXtLWa*)ZRJg-``B!DZF%d-|<=NQ@P!$@hFMr zcKLc^$XT`d+T&IVY1PAY#>e<3xhu3;ht+FwV^X}|$PY@965NF!W{fr#WxZmj; zPHVY}HSbSRq-)QS1gf7Cc9>-+l!8=+03X$Wy}-MYJSxKj731$gJPrl+h@Y;@mYa+7 ze?P6fIhQtF6h|U!yq+wT4gV1KRFB`67?3I)bNjVply(OHF z49&jE%#v21r(8B8kA(>qnu>wuN#BohSC&z#&@V+{;yzGDyhmjdTkoVG*tt3X7cCe% zthb{3Jk{>3+xb^h_$Ef?iDYthL9K0)SuwY-AN4gQ53Ucw+qPw1*7jK7rZ+Q;x#8oi zT;PYv%2CW9T1>}bl3S&)j&R^aSv+GzsH(~jw3?Es%kW^VS%uJz1q1uptQsxYOyzhs zFco-fJk?kkv1*VOrs+y}*y+S;;y{IJR^~rT=5X62F4I}@@DUFF$da`LSPeu?*(&QF zAak>u6C|aoHIzyhBev}}(2EqsOruCrJsA!hIv?t1SM&Y?vd%6kFua3F%hkYNo! zo^)MIKV~c}uqqZzWOjZihUxr(l(Ic&D0#7Z2R13Jw%W zM-;q>8w*jW(llBUYToCk3 zpPED)P|~iPV$8CL&hQ7WbgVv`+EG}>-Yxwb}hZ9k&$u7HL>lxK0LG8`{oDs>eI3eo?v+8 za}SNA0^gs9)G;F~KP@MP%;3`Tte`oS$~{=|lpL;@7wZsRr5kSY2(b1^%ze=gM(uk& z_<>w+;hYg>=Mc67JfP&4f_H@5k=WI)I!nt{!MdZ5^*R-Ay~$xS@yTC*Q%GZMY1{+H zkM~7cC(DT~%#2^N)n@Kr6w_lv&j)nBoHH8YLLx?Dy-qS^S$W3ffh7((gufSv>_4AB zjVzAefENk!l{&%^U#svCk2hae5nnxlUr#q6<*$kA_gbr;=^$14%iQeB6z*8kf`p5hP=w@ct{aF+UnnU}<>ch3 zk}#7HY138N!kP+o_k45%(2VVs%vOm>Z-!ZYKJEA%fH}{&j zT@8sP1EWr7?^KcbWSd0Y5N4E5qu`iYOAbmEzY|G9O{Zp(aZfBeoDmoeUL3aEd~b1j za3wqgk!3g`T-rLPUBX5u8p5*@=D-cSwC9QPDSUl6dodl zIoxu9SV0$IJ_YbqUx^3w8@2eS5H=i?4fPFNHm&_^byc&NtOz{2G5BNga&y!){*$S% zFig18;r+cp`%gx_we!n9!YiZ^}(e~#AYS!h=F)+T!&r}vd$Z$nG@jUc58L*rbOpQ$*D|Z$8s_qW?BW8No*DyB0{QK^BSn5oZ zvZO5scTz;$Pl1Z-RyxN~a{oZ==*`uQudAwKh0bab=Nii2rgPL=iUJTWZY1>F~TE zTKqi8{Pft8M~QSwkDZ|1pH`dr?wO?=xoQ@tJn(I7cj?TV=Tw-{-W~;_X@tC+bCNcP z2ebw;4~ZJ(<+J`i=5CPm(^9%t2$cBK^Ctb){nfKl)N)xq7dz2dsC*i4;j4ssVZgCy zL|HanbW8}A7X6$uP1Rj1IZKutgY<8(PY#Xzg_3!$9I&KTYJcV=F))yX)CV0gH>c<- z#%TVkPg3{0GDvAb_;r8o-bCv&88M`?Hry~Vu`t~%)Yt?a8M5Eh z+_ZnLU)pQ;BVBp8O3d9?y_<*j?FSLETC6U!AUL-@%C7ZhwcR`W_pyj-uib-3=mq{S ztDqkPE2r#QBAA*^Ky^19URlHaf2^u&vta6>44!V6PFzrO9A$NHNsQ2-$_@{M)sJg+ zo54RQN53kd$Q0(NS?4L!o9}Ow$eQ#kgIC(Hhkt}W-k-oKv$-$2BQu`sF&!f!_2?#F?R*Qz$`Weymz#gC z!^dM_=_>O=q4m2DxNC1km=-5SR+a%9+Jjqd^OGgGIgpcgmi)hnxdrE>}0xXZw zm5FW8SQ~p8u8fJBbg_PWX;%4j{=KWF=nOw%h-wU0H39n~j^F$>kP3hVU^ZlZ$UqZ} z;W2v8peR-a&PM&QODo@Iw3#+eTwu=IzRh{QPv3;<_KF#_NgoL~qEA5LD4x?&PD_~`8+$Hd+L zPg{G?CrZRn-R=K?TrDHW07F=kqsyRv8rG_T1p&Y5%~BCsPT|6~-|vHcz4u>WQGetl z{|Dx7(ZKf{MlmdqY{|9gPT%JTnBp0Ts@viu8&Xj!S4Tl%wOit4Gd<9Q7?2LRVQe?Ko6$eh4%FrUe zJu;Qvh;NQ3uS*qx3bzn=B-O5f*x-**f}SJW21-gTFK@6?RKQOrdIzgV-*TMNwT?9U z?PHs)pbt{6nmu)Kanr1!J@EbN*V2tg8;b%qQDT6~o6QUQ^3q+@dIu-l{s2WKX%ur&KK#OalOoaDu=X(|3m(R4X0(>x(Vp{h)vNp{76GoyqHPlDOX zul?h1l3-|a(B}yzrcf2P3B(3Wz1qO0=TsQp|Ovi}F z&R`q_fmqYUKDo1~uGFu|vBQFo?OJY3)%(B!P9+7+nh{PiOaq=u$T2EmDnb+ZJTs3# z`4Bsg&g#lpZ7G|}K-e_(F+vcBKTHs}hKZ1R72cEy!Ig%xrwDu9JRTITk;%FMl(a7! z;N)$R(16 zP$^QNCXFOQ<8OD|b5dREG({lmgg<-N&Qb6~N=x8m|AM}n>=|+QHx{L`4#CIBygjq; z$xC6O>rpvqEr>A)r>!b;xGZgTV}l3&F+pGYuxYQ>dM`hY8AUDEt!7y>CbEy&(|rZS z>6*q6q)?>SBSC||KkeIm4dIQh^=SRP-#eerDSy2Bpp-EUU-DDn7;J|gg-n&w5f2(h zOb%10pfjPx3Rc&Fqtqp8%HMO5l?-J=*n;S4;&~xCY zjRD2O-|PU{c`^|ADQJea$^>bMgq`_Dx1~kMItG1Lg z`x0UTXd{Wj=lfoAmV#gMtq=~qZa7C#^nQx^s<^`)y!khYc7upN>MzhImB}N=tH56p z^s?3jN44Jqynl3_y^xq_)C9i7GdjJ{yc#=u@vkA@@hkGrB|x(?6naq1S{Nbxl^+Rr zb3>SgS*$u55qVX2xDqCqP7NJ-@zQhVAFnm|!8mRaEAdjN#`a!Ev#siZ8g=1pVARQg zL==3>d9YFE(*wd8XExzGY^~E#xp5s?^A@jKq=WF@m0z(1JYVy3YT+X}bF_zEE`u)l2l?a+(^(Jm5}Z#l^neVQS4TF3FPod{P2$Lb}Ch3OFeb zgg;mg5oC;t<*r^O+P{jv`85VB*uAY)+_M@Y*eq;k%M9YAp0*2lj6e1p?Y?hkuA6DQ zb#i@8Rv%G&i^(Kb(}FI9cBCUYT6f%F5U3C5FtS9kQs_0ywbW6scxSJ`^WrWFbzn z3VbPY{|1^YMN3gCz-nKT|MBMGD4V)?{Lt!sE6-6q*nRu}k9osNKJVRdJ1A5~S>x{T zW+IdwgWYrGXuWOU{nMTpnuCGd6EbV2WdMZ5GsA#p%btDzy}1?Lhg&C^k!7$d?$W2a*!z%0A`sgE)a?#oOx z&Z&&^CS8;fQrDO1R$)(=F~p?E<>Y0gFoJGD8`Brz>L-LAL(p-R3nqn#G;X?7N*PRP z^#)D8o3eg^lMX=Nbr3oXT*;h(zw*>zfZdDrk1N>n=7tWj^zHD07kq)2C~N%_8{zk{ zn}$)_R3FgCC?2$i^%4=B&Uu;iMET++>P5Pr{oGkQc4c#`jI(!@f#sRk1NHaHWR&PK zmuKUN`_aA)L70^g{W8@zx0DXF+O}Qu0D9S%F*Hn{@n5GYSx_#zEm(?u*Ma+JgPK>JzO9{I^D+K(`R2?ITB?0N z0J^>iE(zOJIhc9IMLP;EZNEKwrPg&{{`QT1P=4Y8ja1E=e%OV+^5fQzyp~2kwE00b zuQ@m7rXhztRQl$^oH6r1tv3mQ2+AvSTB*y2^Gce1_lWYebs7rQkEEwm{Xq;!*!YJY zKZ7*{ooZFis4q4DymNGJNPC!rzAqgP=Co=fIV@m2QS7G?Am0rNBKa#h?J~?-+Bgiy z+J@7=ANFqBAMp#g)GjneKJNo_KL2#phCHY5SBL&fh`yI)2#gzljjneHAA#KD?O{HW zEAP4YpIqO%K^sh0SAE;ZMDNMa=kgD4Y9Fbw7t1i9*rS#_kKa`1Uhlr3@#ky+!>l>G zcdP)6#8vU~aruO_k*^`|!-9TIXCTqUaI~ZArr@U{`@l|rX}eciDI-*)-r^>Xn&Ge9 z^6K_Cu_@Q5w#ZZD*P=12#m&?{yNZqx=`T2u#?ZFFtzAU~ToiDYkyrk|5c+$!q&KH6 za~G+YnBT5)9k{=H5`4!6O~WOvv%lN?wPy#jKv&D*8&7|u!0!y*VeU=g_q#r4^uk&# zeKNAW7G>^`50i;iHI zra~r1{XKkiwg2`~>H^jgI0kO=Jq*yW9fXqQ96W4Qlp^s0Q~FAUrVzB$ zQ`gLcF#>g%;s#j)A{&+dRQ&4Sq;-2cyF;X07Ro(XKfBP>7Ad9tWzmLWK{So<%an$x z6}N(1i{OTSQ4*d>wJ$#FAk6e9rB1FP)){rFwU3iT*4$`}NxbZ!VUi;+dI)Bpdr^#B zFDMBkg_~fFxcXPA**5 zFu|I{seDD?W<>)E$v83{6c zs_|mWoYGFbJU=?tJo`FyevFlUdhm9dWBv|ZHGN(2=JI6tG$n7HE&J3dY}A%2DM(o; z`g9#$O1t^s0b*YM~`DGAk zP2dwK!+=Q)NxKB=cCi|n40#a2(hz~EpgPoWI^Ry=sD%uNSci?kBqepVQM%*D;sX5O z8Y3V8(LMD$LtP%`CIg{ipu#zI#`P0};ZU{F21&;_s=k2|e361yLODX>h_aSzTRqya zFgV{(=PhJOl-@KA@A_7MPD@WZV+(-z5TFu+3<*}C@4rrFY`)%3g_@sc>IKR0YOFR;KNUZ?Aml* zFNJx;mG#OHMEod*o9mz)Ta_n7#{xSh@rx58c`^%9Zho(#_*;QIh%wTFr55I?pW@yM z3>mw96rd*thoe^$DEgCUE9yzxhl4MIPed#WiLL=&1T{TmtLZZak;LX3Cc$>Oc&f;Q z{o4~PzaylcaQu0U8dQN$OM@34k5c$3It0{PLp}r>qaJ4j_L`vUz@~_$AE>G!=}E#k zu@A2S%dz~dDnG%KuwcOPL9CMU_$!YzQQSl0hPAF>4pIu$kRA@d1>tALP9Y{St&qs& zLA`3r3r3#GHdd4BPv|G?AwHMwSDBz}> zig9r8;4-X!9hw|kzs%jL=@!&i)b1*DGnvnxwx|r*$Hd~xKeBT!#qQ+Ta86spzJZ|LpVeo&U|}@yyz_ z>%HJCg?oAVZfN|=hp)rn)3f2VML75CE_Q*r6bC04MEq?|jXN)}kbA;X37 z7A5z|3XA9vcTl5!j^5LOiQCnP(?V(M+;KT(2brmFpQ`NWWw9hdVbW)f4@T1rrwxBv z9f1!6modwwJ!a~8F^5~l&!Y1ScwJ%(et_>9$52?*BzQk!&JS=%dRn%X&v+{ITFvVi z&H0%M;-H!uDM&fk{iB!YlcpCd3Rr(l{ly*Ml{9M13~jaw6gd*ai*um1VU~P^J7R^; zF>~+(PY~mhJ{{Z2lIdIz+h9%W@wgkF0iEG!f7~|>-5^H~RdodTY;g^|n-zA2@TP*? zw|XvFd+t6&(PVjcq|cQzH)p$-!@V{)+H3tOw!noC0Aq;IMQ%q}4M z!D_i=c>dj31XNbOM}=@Gqyf^Q3&PO7YaoK*;t~%=V2M#))0MqawgE<6rWEk0;L!l| zR8BttW(!CiAc;UcS(4XJtG%n3rzT%8o+*+Z^<*^ow|~PC=2=*eX$1ejOdKYFz2*5k zzzzZ=F0~Drff6*xXX6o=c14$z*fSv8J@iZS-9eKxRI*7a&Y*)PE&z9BK@ZblsusnB zMD$vYz~8^-U0BPGNCIM`b5V>7=r;kxO@N~gV2`krfo2Al2@{xFCTZ7^k!VLt;VU9) z4`W}gCa7IcCm=1v+0th32~ZiRJ!4pveLaE7SR|_Nd;PE;oIeqMIJ-7F9*KO4 z0D}lazC;tc5(XV5#bL}=KpPnUUSdcFBTUa!VCLD{+ut7L%tsiG?gEQ0*=#7o^4ANL zW>5Y*P5izTJ_>Aw#m_cRE#9!=jiEk1dXP9?VjKv+B1Xg_wv#>TZ zkDuHJLNKg`|Xr0t%Xrwu234_Oy67Pf%#V z8WT~T>0P8*Waz4A!*_;~Oc1e&7%vToAW5L!x&EPNYQYV?&QJX8N}@2)uV%uDc20&I z&IOzk{lsBITH@OlQ30(3%BoXErt|aNDOmx~)3LYSGkyp&zBR4x22LkwRNND;Xakuk zDR?vJ>Kvmb^Wox^DakK%wC>tFnm-__-QDxA6e}(Qf@?f#Re11&WH;xKIhHYKZRMQr zE4oaEOG1*ZSfPG9%?i#}ONFB8r}*6LALTrX9sk(GETt_bm1|K0%uP2Zz>hjCe!<6w zpUr}>L0oa$tol&g?M%5j-JS{X)_8Ooi-{bc|2Ay}wN+n7L7C?`wua!3Z{XzXYJ5W; z?bTWRx%z^tPpy^`efN3(KOSB|{U^V1G(L3uWo44`yy(juV?Sgt58X)fIh<@uCvtq- zbcxS@C!tt({S% z65-dC`68?Fbph!}VeXe@>J2#@rQazoAJNVNbLD7i!h}i!%hXVA8Z!g@e)L){n2CxU zGV@9^z|zR$VT1+SiZYmizL}8zPd5s!MUGkw62I^3{3xO9B>s}s5XXpyyKz7tx}3wE zZ@Bib`0qW75|^UzuK4Y_(4d@NXVGLUarR1CPzs-D3=s7rgoefn&{V(`I^{AQe-Fv_ zRH^gCt!a-D9OSL9e@B8#@qHKX6ilcNEN4RMq}^z&t1N-hsv@MKZ*GR(ZWa5kj;Vg&JLjKf-6E zIcF8qE1WG>d1o=@v=&W-YRMZ5(VsP&sI+#=(OS&v*Tvib*C_ViFN%kluqIeinXhCn z?^GG7tz?v@)&i}omSGhAVfq+|$PcnT0d2>JLizSU4P`e#>m7OPzS89l5zguCJ5-=9W?dLfc!H7@q6YhP@)K^`VKL+4?OuZx=hQps2sb@ z3>+X{Nw2z{#h4asHo!pftsp zcBvv=Q%1i~>#kGbD&IT;`dqs}f_C*KDnCIoyP(53F=!I&;!v=vGIeCy#`i2w8UNSV zu~^=s+0RLjr@(tS?hu(TA0j3H78swdVIl?uVVIuAphAbzXQyVvFYF!y3U3$41`tY* zbEz`H7R!kuFGu$!82xPrIdz%o zVy#F{57`Sp8hX~K@Y@2xhPS2T-Qr^I)_0#9%Ef3=DYey3LhcQc@E?VU(o*3^7p`|T zPsfrV5m$%CQxsg&F8`06E{9j)t`B@YP^A<&{X#RRsf_x9N)YdZ-4||ag%IjOJszfk z1EV&19I$^L4n?qs=`Yj^@%Q*lH_tN;n^gLd(J0XjSlkTLH&32i$n39r-LHvygDzjM zhY2hI@EQ0))V z$E6v?hX)6*%dJImAO+8FPn~vi*g$v*l7Y-0>rr++PfyxR^!c4>E~4=);O%}+DtpJr zwRb0GTm6t$OK)fh?@zl`T_Fg2=BITve8(6sK}bcKaV4eXY#sDF;-D@T+xNozGkbnd^1BmZ&1=? z7PXUT-`bxoi+NXOAf}j-*c^-9}V|Tl=e5IfX8Q$fgLYoFy2gJl~9L8{OT+UtlVHCGz zS#Movx(>bX7tm*En*ngw!+Yus8a{LL2Jpx|Ck+ySNw2Pa73qSAg5?~)>jelcz?ZR* zQ_|6zB<+AF#{>N#`8!C9cIsv7?G?rY)MbmxRQTkTlga|Hu&pTR$QdgVgJFUj;Co2v zHgiKEi-QmprifIen22Nj88L)%tEeMiPDUB{x+5ofCcAnW5L*z^>dX!P>iHl{I>SDJ zsgom0agre7)gyr>9~3)unj7T()XV=4Jo+WdUYb&fR&zQc`7cna!t>)D1=;6gu9sCo z(mwN3D)`Td(2(NGP>Mm&0yxH_JIqhtWp~xZcVr*!GU6vJ*!$R&L(MPm2rSJTE;iUX z8FFhlTV^3IE>hYYzgh5iz+@w$?ar0sZHgT?2A92}uOxwHI|@R9iPoWtVunI41PrX} z0hG`mja-xrwCcl2b@z}6@_&P1%h~2a8sp-vY!t&SL&;cvCKXZ3Y4pKIHiBn_r--dl z2n4W~Ul;XSK?o~8`LjFnB76+v9i7Zh3g$pe**0a*1|do|=s6%vIS5c#3~c5F@uc^< zKBe&LG2nm}P8?re(0dQ+JQg4z^e#S`nKLc>eTRd%s^mDZWb(3bvLeV$bmA?BuYP3U zSsvQs$yl{01eo$Q#73@-(ynGv(K8xgB%SqK>1K&hpbUC=^r(M7lmUlj`i=?CBXOCSw>C` z^e3qWO>G6{_a2_#O?1Z#+GKz!`{E0@lxFWTa)tJ>IeoWDMcZWXK0=1hpGAW}hKmsPi&y^x`8w~GQpa6>qr$Du1JM|7 z_v1GAM@fb!ag^|+D<+{w$7}Vo&d&o>(1}p|65y5L;!t5kt{Y%t{l`|1p0+5IV~kuv zEksx|ZH`Y+0*ecim$1XO-v)?hKZ!WRPT^H=z}Uz$jkm@aa8lhmFVo*U4t!34&FZ)svBd!g)ywbRwiQGl*m> z8y&u=Tj0G{^pp+C&6I;(8ljr_ln^y#M5(H1_kaH}0dg4~z)8#o35fQ_(ENC~fowST9miBO?lGH}l0R`LQybq8 zm!XfP{-*+Eie0CFe=Sg>y0e}V8z2QVxq5|^q5Ge^)n30h)h2sOcwLs4Fxk zV@K<3IC#X9PspKx!p5lXH7SsEt-sE5)Y_#rju$Vy0$e%>n9fP;~vyi7Y)_G?qr8*!o>Smj!NB%^k z1;(rJ_r0tHo5E!@Lxx^&|JudfA4TnIGL@4d;$c=Tk3(8C%ttmRERO*amiHE?X6`S~zNpiPkF`REHVXSaD10h>A!?L#PXmhC z=e>w(tOn?VV;PYe(hj1|2M@?`LMd6)B5+@Pv_k<@I~ipcU|OaXmccSrVN)OQGM;kL zvdWdBCsvYR--0Z3ps{kW8OlYtSFda)`7lwd&Smlr|xb%;~8_55|REy+TyOp{*$ z%VY@~q6enhA(S#E7Zt`tJ#6RaBwF}UhmW!hSYq>ZVOUA@dQiV})L?$+X#Gc7gV4LY zVMufW=qur!YD}k8F({E?}=V%Pc9Z#duwTO`erXe75 z+CkHlknC8=YjDqRkwy0KVSE3QaZJDe(sE)8Ru31HV(Cy|x!3=5Ly>jeu=2lQBI74; zLbGFr3R>9fbac*;8P+d=Oafy)j8|4Qs^Rc7wK z2M(3ckLYbTejbw)4w-L-o*0C-6x)g8uk+xm;BF&vW!TqjVi4*tQ~q>di;Wr5sO$|o zox-kkEzNXfG?Y#1TG?n{Zd}d5WMf#0tqz@NTE=l77Q$$uydzn$K{+rIwfO=Kus@q< zuloA(>oITfZ@1i^O9UQ(5fHb6mOek`$H!hs{}Ez$<}rQfK= z;XM-|>ChmzuG96S+ok0K8?F!^s)N@gFbli^AkKr0J^5mzn<~uC?eWzDAN!^8E%YJw*tnLM_yM=m;)r_F6P`hRsF>kw}cM_LX zti4{=9r5N;jx^EcC}BE?V6)<(Hj=+!GllcH)6q3{-Smc#AGtRv5TIE7lwZKz*_91G zNL}sfvU_QEF5FNJu^;V{*s~^F-E-kXxp8{U0`#dpcVgKk7HDu$yO#CF_!i(U4cEB) z6aNqXTL+LqNb#{{QwtX74``*?158VvvQj%EjZk@Nt6PA?^4u$Z=>FKJ4x+_D($TVn$5N5GddF5JYOwVp;Vc)ar zgtis$kP43CGig);bSB1F5B{6!WxfTI5bx`(0zs7#=^01kLJRJ4180g`gye7rX!y?= z+p|xjYgJjE|8=2)^RTpV`vH)l282Nq$Yd#T0@m`;Q3}a47A7i60Uq}Bh zmMisFFhB{UO5u7?uGqdwWvOc0A*pT~AeLgO?}x0N@MIbHwY6J35TCedOQZ+XE(py! z+n=^$#wq9#YE z-JN!~aJzYEvxBS(CT~U2MmrQwOit`Ix!k#(u89F6Op^jQOII=-(hahf8qCA7XUs_5 zqrF6PnNde{)hlpR>&finN(TknSg)QHjYm%j6Sad55{6a}_pYG)v53e58z2*Dq^#On zJ&*GdkG_+mEbxeNTmOKghd77A9EN(ebNYQf48|4$+sAtRi7QG3R5G!H8@ZXM96X+0 zwOa;JR6_?p+Xh918ld~n=RjbL4G11fc6S>L`;%|s3dso_MI!E3(lH{Z>p1V3?eNED zb=IHmp{-+01}l-zw=+m4hubPWCZoq`NX;7yH)N`T!c66wKDYIa7lScmqok(w#dPW0 z2Z#*NqrXd!kQnf0>hfnTe)mlJ*`fKbym$%{Z_qnF(?o!fRX!AN#I=-9bvo*NfTbVI z0_Q%Mb{j^rBLPBPt(>^Yqn3@lNl_f4_uCrM$Q}G_@*S8IvKnN6#&X<2OD-W63hnD2 zt5m}G8jlf$&^ZWID&5l;s|HsT_o0qXfGzVj2poE8A3d{6JpbiiVaG)pH+awWf)>CcG3e!n$+PELK>Q<{;P0fMbLm)8aw4O#*36>a{8cE(}+AF|%D zITtQ!vyFCa+qUiO*tVS=+jnf+wr$(CZQJSRoVTjGy86TQAJ&{}Tw~T`jTx#~dZri2 z@*zYd(Fg&H2wIUey@Y~=?%3cEHD)zx-(Vuxxq46oZ(35=Jrv9p7RbSJ@~u$l_LaUU zchu4iId#63ZbSywC?_MP;{(Pa<2EZ0)q`{w&K32VJ;#q%c0J96vGZ~u@# zA9wB0YZ#ck$*FRfDp?$?XyuuaLhqUV!?coBeW!#HHt(6L(K%k97Y6(X0q1z)QNQbs zq&%6OddMMdIX&cOEC;}|B3;teo>N(z!dc>zy2xVXL)<26ijTkOk1UJkx#~W0!`4>T# zRB(y@>s!ZqZ+J;-NA01yZt6(K%yA>FW|>!e_hsln*-`k`^{CO}LGYTZGNdP9v}!pE zd$@c*(3nT6V-8w1sthc#d$=LNOxu-D^CP_OZ8fd?8C0LwA_XkJ#90&MW4+_Y_~<92 zjflWaTRkgv96DMUwKiKkTTo;`P&$eSh%jI>hT8Q5fbLOT`f?Oq*`1y;g-mZ-=&w}e*RL<2%Z}d14^bbD zV8urvvPzzqP&plNkt*O5U_XKVL3P8*;ZPrjHGPkfcOSE4tYZpj!Eio8k=gS7$_m4R zAkr(EQPC90DIyAfE=z19t~mM0viRJ^=_hUO9Qvl&-vF_9DN1*0J`ty|i~-4sL%iU- zbfOevi(GyDqeVb-&qDckN76yO*-Y74QC!%}xbtuOLL5%7Li{>Wn(lByROvgl{TuKw+?03*qSN$&ag_h<;DtUX$=cuRS6t4FM&37tz(N}2XTyk zkwyge;DEDVu{y(3iR%sF{8?aM$rKjOl%r+e&UbcMLi4#6QJA-ZIK-<^?^Cd%Bv7gV z6G%e*2>-vlSD&O|h@?`ejMTTf8dt%Jv%4rtO?Omgic{d&5&`UshqNc4^9YR3>7(KU zbi-PNrkWY5Dp3|I8A5IKt*w1u;6mN`A*9C|=76fyl+Q3*O`!>RI(7?(d_O*6RLXC3 z;6iVAYNjKQ*{|49%ktOJlhgT4XeUclqxF_fb|JwMsRGNV4bwzcZ2l>VCK-@_)Idu* zdGS~aRIRTUAnCo(vZ?8J&f@o6i4PUS`^v`mI$G_lgq%kAO;qmbIxs%hcRG5!NSkDg zvw(WLGvueexeGJkkiwSNGYyc$)dEclUA-JmoIz+sApyeWik!Z%S@;3S+UHMh%ZCqx zD#{1uTR|&bEaC3@5>m0gDit5t)EgC>Qr&6KUo*Mfmj;RKt<4@-A7`W!6xBU$hfSC5 zPlVD*WT&feBj+Q(M@1z|11dcI__dX*zfycTosA(`13|l&3*5X8meV&bme((*-wwo6 zZVGFW0kscIkK+9w(i_W{l8=(a${#+nrxVubj8maB&dBHQ$sx%@qbo);rzb)Te0qP@cbr!9~xdCxlgb_FUkM6GAcdRf6vL!v^A zF`1B{qxBtF+v0sQ|{13ZZ_XihDV1z$>StQ;Xo3!D;rL^ zy9#Z$CCYJnOHHM4mKFbq7D zqvV{Fb>zovbIQ|d7Ud(RGjxAQii@`(=$hVI!LpgFW7wfkaqxvJjYhqdmBUy)q+cA~ zChi;_0GMwK<<*kRe7S{^Lcz?0EQbe94L3tm>oHQoR0t`Y#7UPHSJ`L|DE+SE8an-P zsl37O4)I`bx;TzG*li)y?VLdiXAWcOGhZA>WbOF=)<{1DQ7A*|SlBKTt3H|n!5 z;NZ1s+o&fW_fH?BFlBUmS#0ybcLGsWQ!Swkhz@FZvkdv>{(3~kyp(v!+$W>Ky-i%Z z5$*h~R%Tp)o-yN@yGz26V3aZ!6!-fQw@M2MP0S(xNe%sG=k*EtAr1b~t3iX!V7nHe zv@K?L1@)5$UzN%Pf5;x!az?`2=dHv7;3;45PFpoP|K!XUgRpwogX&+&%9;7OzA#cX zi)ym3&JnI+`o-)gK=b&gVyBQ$^;m20Eiv6Bj)lshR{E?|+ayF%% zlxR^m)FMgF6y4yN7MR+6Qyt=L;5d<<0EB8AN-NVw>lO!6jn0=P%E>dm0frO>pjm;? zfye#81!kxon~Jr<*PDt?PJ2SMGJ>E&kPAFI1YvB$ZbM6G-m*-nFZPS>P-GwkC0bcV zEETxa+vbq%rfLCnLnHNw4FN8i`zDl}k|C$6%BdAZetsJ&tnG(?bo^|*ZZ>rUMdt5s!h)RAYxi!VLdmy3T?yItf9>=rHFmY!uR)W|6uxfb29SL7+-&vc2`&La=bFL@iFqTmk(lP-)ccW)|a;Ig_zl_DV?y6 z`oiDgA}r2}&%5L+Z{ocVpjP@SGno%TQ;$HRuFwo(rCGJnO-=g}xAn*258lF=3z`!M@@`B$Bmu7@ zyRLqGt{#NL4?V+K)9fpmo*Y^x(kHI9p=as^Ix*0hEdfOXLjFmQ%l?!34C6g8J zsl;Ld?K_-etAMWtz$ms&)B5};00@%3L~85t9|AY7rKR9-Qd%o6`RE*{LW@7ltu>|N z?s|}Wp+B%%eOQ3Ndi?6V=m5-FNO+Jq$VvuYCahL34OjekIVn(YL6%FXG(9qzLH6X^ z;rAj}?Yt#FYlr;Yd3TiDWApe`Pu5hNm=E(M>&`rzQ6wD&Ku;*Lwm{yC(?{s>xpEc| zCGel3=EnPAEeSy>Jfhs2E*h9U%JO@f%9C8k&r3WaUa1k&|M`;?$~j@Lx%YVc#X)=+ zKNT^L5yX!{*Gc-NfPeS~OSBDWBnl!A7OL==OaAEFhkb{D(QtOIe9{d)QtKo*O9Z21 zxi#O8+H}wkpyG31j8;Bm99R-RT`$RkyL;RLb*4T=@W%M=SU{XwbM}-|s#WUC(!*|5 zo#zl5^}rO&hJz|JVG0Wr^K8kP5@(hkmjO;uWbyCoB%Fjl4~FQJf6u!G6sMDPZ1X+r zV;%-l1SzKH=JLjS`wE69m;O)=M81MT^^J|svuHC1z;fY<@0=M!P%4)FFVU)m`Mb?;F~j#kn|1FLW=bq%9xlu?F-H;s~Y?1)+I%ltOPgwPM%VZq2Eaea`84lk75>6~ApAJ}61=sTj_$X9`Pkn9 zFx;NXU&xiCXGpe3dG48d+gfnqmVM8(`+o=!DE8l#L#SXWI)48X4CP1u&r*T;e`tP0 zPEN-EL-VtQC`Y~e1Ck=-h>8uR5TqQ>j>=Hp z&p3?*L#>L!67H$uLB_)~NF`Drm-Av$g`r7L1^){zIW#E-!ZTPxWE{x&vZA4a zRe~xQ8)r;{MZjo~Vg!^wwiFwY=NSoHcGP+!3z6dB)qH+PUdWO}zkPlPSH5yS3#*@I z(SK$sY%@pzZ5EA)0WcRjWEFlAh`*|Yf8WV}N%=1;68^ySC8|ZV>ITJu&asf55D}$< zlCb2kL&k6MgO)(vC^QuG&H@Dg{@#nTb;)~Q5vF@5DGrm0J0W%*u}}?@Qi7dWC4?Xm zBbyR>k~`4BH3~rClW>tQ;QawMhOkm8H4OiASI_K zdwsB>X6`;eH(Rg_({31y^B*tW{ZED94AY7#V;=uP1b)tE$DlIfyOzl&tpqxMp3dK# zx(>2z1j`a4pWEn-X6V*Hp3<3d+P)XxkN1bi&o`osce1S6FDF@0KCbP2*Sq+)09n>6 zC7t$cUBX361L}TEv9xME>VguxTkaxhR)s<8__099n>9i6Ud8!<*TQVB5P@V-873M|_{ z8>VK#nTc5u)BI_;5jLi3=8T5V6a1Q?mr*mz?8LUs4l7tp8nI|H)D@U)9EFZS6>(8e z)Oi3gQ}f_WthUbaDwDNfvg)vs=ctKkM}*`Caf=hMQ7aU6SWoQ8^F=H1S;la-EdvWn=DY0Yh;=GM`y?{$>vdk9NAb>lX2mNju<^JdSVJbPHHs zq{nB)na7)8wimr$5yuTlXMqGs=RjHKNHj&{I4QMVqyBpU91U&WEG3#Q`6J`jI;*g{}e-ybaLHLs3E(CSljga3A*^Tv5ccT5#vXF1vL7V2h} z+Yzd+apQ|+mtc0RO?TC4ULSnh^J6hZsbpHV=89V;NW^X2y zApjpXIqdjsZ+b|j0{QEDC@Y6~>M(4WEcz$_cVGKFl>d|xWCQk`U;EdwU!OOp(Vx(!J`N7P?ezdYu21*p$LACMm#44WU4iCS*lC8^3OvA0dd0?QB+Wp3RI2vD68gOv zZkms7Nv+D6LTWwn<4q2%z-XpblOFm5v4nSHS5T_>dREGK^cEvS6WnnO$pdq0e>3Nn z0Puf}!eI}H0eg-d+0(pnSPX)nhs#A2yKE~bPop)T7nxjF^yBunue%*wn`>;nn&10- z=kJ&2NMpc^LlU&r?2}qX>&{X{wh!PjINGJb^6IrT*0M9JzS@IlHK|nDY9&RSOF6J5 z7?s|VvlARBs6QTqdsU39+*S0P!h6XrwMk#)+_(JfB`b9OoGKcEh(&cE$ zvRnMG7+e!w&A}UTa1<}qNj+e3oERSbc8?MCC-p5a3{+sAqcVga+mjYXmr}rLXzeX}=3lw4W5DZ@ zcyfRLN<81{ly?oeS(N*t^;3N4?FMZC8J|sIF zN#w?mWeea$ZQQBuHWT>4O*$CEH~oEpnFdWyQ9Eb|C3~M@&}9M>)^tg%JO> zY?I(hPtQSlvh-H_`yS^uR$cL~-Mr;>|4e*X$+Qw+W~?x#hMCp0BV=ilAlz&qa{}P7 zo0dw3Y`d~cYU|D``6#GltStP1qS%j*704^gY8O;Lr7T?Vb!g%uJ7Lx5xEB#Ber+5u zA}Vv9IS9TNgoEUz)dX%_=xnC;W(}4Q*EJ4Rj-EQ*m><;aEsA}3T#LcIXjKz^jnmlR zDY}F`;32hI@)z>mTzyZbIA2)Uqz5>Buu@BHNq9*tl3i0eExfds@MbF|9Hc2T-m)7{ zPX(hTp|MF5LA&s0A)O<9Ps#8+wDHQ5K7Y*LAHr%`^9diqW-D*5G}%%l;S6;@UoO!o zXL1KKEw8#Ct!SW>Y2O_rq8mPl+Vly|BJti-vO4@w3FV#UU*&_F*0Vc{%*ox)#Gc4?^RRc0jb8LSD z96zL}=%Qhm5QR3kj!g)WE3mzG`v?&3Qe{!|v@5ncL_Rn4ILm5Z5P_Zp%AmWwKUA>K zsw9yYR>o#qP*TZ)t3I!zUje0gXj1y<%Kr*CC8#z!^IfE(mdai~6Gxkp23GY5ZM0Lbywm| zSMDXEgkbvp{jB}LtNno+Q0>Y8zd%%z|4(Vm%EU^Tx|m3cTAd6H3{6h{gi(cA)iZ*orLSYAr)%z0 zQZCWzTKoOR4=P#!WoOY{U%USr5}kmtI=;t+GjOa zfM{4)W&yC*+3vsxVzwzIK!3#is=D#!uwsO#cKR2`7q$kDNoD~(AZ4-^K(xHPI!}O3 z(7)FHaw+6uu0VfCFkteo#l=uaaQrH|!^!4`9|6J&kJ@c*oOjGj?VX)0*z4RZ8$9VS z3v-}bbh@-a0BS+=yhNNi)H@7Qzk+zWyWJ(seM%rJ^pu%jrLv98_BI?YU|<3e9BGui z?8nf^%517RsJnQ)JZchzwV(prz1h(+GFLWu zQCGZl*Hge|DeQuM6p|id7zh}ie(~Ao`XOTMGcN=`05My!6n3!@0&qa8Em$0?A~>cG z;}?g3ISPd|1cteoxpZbPC-XPjN#QiIYl+cION$^6hIw1>1xl+kNQU>*cH;T&U~@~O zTkGQw0&`;%3)^R8NO>h_Vn=pyA&r9A*DgB&ahm|MQyz?8V0wCbWFiibGZ+w`3~kzv zRNl!s0O(75{2}!%FtD~Yup6}RDiC~bbpiJ69${v4eGCrL-of$Dhv%>IeJ^B8@E-#! z%L5Qb@C@yZ{_pS~BJhlF7{Ju-_yTC&;8(pbEzn8t&(Ejqt?{7D^|dwcZ`v=P5jmZM zhb9tM2SE9!R!L=P2Xt?`uOG_5;Mf4XuFk#z0NTdi^Y&whOGYvYSiMKk$Kqk}0-Eie z_&!?%NV$H#!YllK3R(dD;z-Z`7(4j`T?jNhv3))#NtKK)=NGy4s3w@F8u^x7=kiD{tj#dk}(1xa`;JpAshfRN`7HDFoC9# z{t}`CB`y&Rfg2>e2l6wI{R$Caq5kB>!bbdxZV@mg{}8GHB~B1LAt^s27(pm1>SMIC<%l1XPo~#lN1SKQuoY1+hY!8^4A1 zv;;c8^H3=WMl*njPZ;3spZ=`F!L9eh@bAMrq(}LX*wBda;Q^?((w$gP6Gw;E-_St_ z!&N|EtX}&!sPCN1@2G)5*Kd5(GfCH}z@9iw*H6f=(%wP42?1{NQNVv3)T>|5XI^1S$A zB%3>oMJlamO(6|Of)arLqtGiiNn97OexY$T(DNX~R*L&|+kh2<`E0SxFzkftF{1g% zS)@P@8^qXTp^iW1^or1E!IgMB)Bxpd-(${XExME2s$raa(!D~nq>sXO^xY#-V2#Bd&V_c#@H*$S#4f6-X;Vy;>%kT^Zo+!AT9%$$0}Y?%SOFvw7zm@UyVCk0#l7M5tN)yzIM6|S7X zurR+m6-=f)$8_&rml$z|00fphfaFgxcx_>tA$_-oGis*?NOj+9q-C(+a8jpE$LwX&}5a$A&Lj94j+QpxT$5 ze)h|RKe$!-Foj=u@ZINS*ODHdpx-rT^d`z4tJe^Z03eXl1u_`j+x#YB4-7l5MI zvBfbxGy&X!mY9|6A9$Rp95x*7$KD6@STtIa<`$I_I+;s(o)0`R)8D6#-K9f_^#(bw1x%ttbLK`Xq*Fa zr$?*d*8heZMTXHpTlkdmUX%p~28h8;EEfObFK-KtC?4I6#dgKOJ!@*Xq^}&Q;ANRh zZ~GulmS@rFBy+hXi%LdlGDZ_o3fC!0|F239I_XV2788r@LR5GIsnaeiXrQ%Toka|GOO?)oQIvC`H&4$X_2 zPZGYSsQlFG#kO5^btl=shW-6sN;T9>&HLdD==kByxCMutWR#bTK)fLjf$hQtejA;v z(gV4{!o^DJTcUbjyGcNKUJ-SD<Cj^SX8}EuB>Nn0b=>QD6t+V{isIL6i}$k}R?H3Gb<15L29D~z+eA6) z%x%AVRrx=KcwN*u=Orq)-6~Mne-1+&yJ=RTeM(j3^C2k4hgFLTxE1j_umn%Bq5uGY z=>FBz?_BcFfm=be?VSR5hQ@CQ)MJ3H@O<=@c(hOh2*qW~Sya$fCi~c7+nz6D^Kp0P zBvynP+dgl6Pz7QZ{HH|u)ZHS{T^w})GqbLLLrNun^PlI+$nH06`3D@PQfp zLWkhSjMWkSKw~n>PsUj|>iyaoH{gT)U7Llb<0z;xekP_yaV~T*YoAsL;bcc2-DK}L zvxa+sre{-pvIs`Vez1fY3c0E738=CLv^&t3V+0=~79Dd+X>IcFzi@n;%&&{vo)W_- zSV7IV!H#~f`ZrXI-&>HOV#iJmxPve?*Jb9S984|4H^_en(fqMV*B<)b|Oi{8KPqZdmQyt zcx_qMqz_7HiMGsteu)T_2cY7gU8ahAGc_=*W$mPB+{Q+{;k}CnxfSIz&433i-|-VN zFB(+sog$^VDO#ryn;6hLwgI^nwejG~P&F>44&*KL;#ThY*j1DSUyb@9YlhT1N!%o0 z1%Hz?Hrch|i*5%-Z$DOh4)CC!f}j&h8H{>ect=L~Dy}?-amTU8mT0xH6mMt=*f7#- z=w2-YgN|U;LmD4H6jJo>cYR`~-^n|Wt>S4Cf?#+G{$LbUf>L|R=>u};rPXb&-A6PQ zalIkz7)` zbG5r@I(x8QrqdB|)KecC_z3mUGDbT>mm=o?V?x#79y%tYQ&|Nv3@U)lY0zdu;7L>8 z^aA@lVAy0B1LCp876#l`CCVCi_a9rIx&2H!xL7@Ye-@X*T?h}#SCuQ$)dq7`>Wx^( zO?BQCzQS@^VYBUAFW1F_FQncpei(9R3p(S>_h;h`EoltwUd>0W68UxCoZ45R3-!|j z8^|$bIxe6Na!{Mio=-n2Wo2nJcxhtF0jvjpUR2RPQrefl@@B>q?6JVS)Ag&oD5`hL{3+L&U;%0m-%i3d zRc5kH&0EhzodldnavB#dU}vKQV}w~pE)DUtu4L+^0r%_+e*QIDhS(< z=I}7fi99?fzo|CTY^LxSmzk@B+u~{zv=$W!bi-Rzx&qChP7ynk(M4I#oHZljE?Zk? z96#ZD+?Z}~SOs!>seGD$XwBz)G|{`2S_l7z&#ET7bONB=Xw(Ps;`7M7IaS;b5eNl) zY1-&nq#ej}1>34eK&~k#>$JpGn5&!u^>U16)UpX1zahKzP%-D^r1eCs&2Q_c$sq*W zZ@ZTXZ-`GhK? zgJ-s_VE{^M8|}iJNszi7f@a#2C6{l=35F5~>s7mAH}8S@bZGf3#yPZzWoN8o0%*g7 zf8jzFgnSA_Wlg%b)f3}+<(`zoV{u{2F4zkuLTBmOa!vB|8Nv|vTe@KyB}jOYT?^N! zdQ88LxO`MJCNOdK&N_1NJ%?ti`f2#vZcbqO$G?Jg*G>e3D^e42qZd~pZdM-6+w$rfnDxS2kATvn;O@hXd= zDu7f5`Jy8vrCT>4U{b|vz8k%J+b+Y-?qVKP+(lP$QimqB;g0 z^@cs!#SEo!MA?p#Yf*Vses5c%8Ua+j_qiP-{S}2{(5Zs)F(mVRjmH6T9xPTxgcy+| zTa=$^RT+Cb*KxX zU_9?^2;m0NK7-9O7>}h0WK$NAhGP`NHt;!^?PZA!Oe=kjyS?FxyKhn@@SEI74=$l| z?J`Zc1*2__dFQEw;>0!E1ncc?`t6iN+B5^HrW2ziYS2(E#M|`_daR;IV`pcWwqpxO zjmdLb05Yx)%jLPM_yk_@3IGC9qP}y2WwMGClr7Yr0jPD1QV|^^*`$ z-r7U)yt}&muK<16R(thu$9)Q`dXhRa&D>teiHgkv@!nH`Pmwh!3Ecn_5)X+@g7WES zFD^6F@jAqx(7*~r(Z=Fgi>1U!gfRFi23q4E3UB&9{-sk`^wy{QRDe$Ku0E=yk#lA@ zwHLUg;W%4m@Y-He0Z3!xDZK?!!ccrmO`EOzuI z{{dI3zdCxHC3XsJUji;#URcgC7$>WO3CRu0dsu-rJ45v(wY%EB$^?9McWS|<`H==s zHeU6fA@Y;VZt*0?NxWjps_nP$q^tC9x?Fg~EIz`QPX*Sk4tJn&LENxpsdA9u)Bf!C zKH3zx4YRSu-|Ak<`yE3s{4-}pmg=b@!wB%5%mRFa#`1%0oH&7t3+wYblOI zc_+jW=;oAYaoO&acW!QdBB%Ry@WTn2_fKPn2r=vEFeKg0+`ve#3b1>prn*{Ev$w>J zzS>KXF0X1TBPwvt{ie$l@gq^xHr+Ua|2duOvh*Q z8Z9c)fG8G79sr0<(z^A&9=F}P*yM$exS@ARy=e4jIfrB&rhjhaEq3WlrT=Hhj?|;4 zf$-qhhBPa%F-jnRB_zx80o}*4j1GovTJ356`X`OTUIJU6BAK#KOV%4kjxN~G6g4lq zm*cA_@JVyRNU?9t9F4YLdP^gg=EqO+*T-vi74v)R0Sh37|1`Z6=9M(IRlS-k?YLVVv1liY`}Fm_(Ei>T>~`q2 zu!ap&rS+oOH~>PWBMY`{dMr{=|-E8Gu+zVn_)9kz8J!?}wA z1Uo_v8`o6%Hm5jM2DXIJ2+rl7{0jC%()lg}B?~kpuD4^=R}OOMBObIFClT$Z zt}F)Pu4!r!Dc-v_xELs61bB@X9xsDDa|QHa%mM!$A7Q!-bC>#P`x7sVP2-J7TBO2$ z(}STCe#yiXY@I|Y7hJRc*QYZ}LDmK*i90i-?Y=cAtLL0r)Q97II@1cZPzRt1UyP7y zoc7tZM02Aw;>7-*A~w`yq<6ZI8GQ{~N>W)PQ}(N7<$Q@f=Dw;)WZ71SgdBguABbYf^9OHzq$ma`YLHekRKqUKv-eQj6>YkorRuM4b z7+tGz{vWINW|88ts#uOi_8oV#FmQa0-b=5%tJ!DOt;TOwjA&l)eKb64LlxK>?YFfH z)1odJgdngngK8sDW}e#EqgT;26+YW)ehFX-^8eXT?qDm-=XUy>#^=)9At9>V7swx6 zG}Ru0K=(aCjXeSrLk8u=5jd=Toy%>9)KZ3(!jTrJk*GUZ`0^D_QRGO3WP{1>;#A_` zU8Alb620y_4jK!eN#d0_0A^}N2}uB%(xzX@d_@8EC6mEMS?sOD0B zFx4N2Rv!+h2J+uU78$joTrav+T?EM1K%%=@G%tuq|MP>D8Q~A2f#z@dG=y{U#p(IG zViM|>CYM}BQwA4-9p`yupwa~;EpFisl@;|_h>P^GkfODC}~(5 z1GK}mVf{-FbuhA`zU`l34875OB;DGMqsbeMx@{iaQ%DvgO`H@OS;_yaQ3dGZYGXMU z9~%zt+CQ9Sv>_7nf79%2XCZ8magh=4qq{mUukyU$4)9FpEkAxvvGMAfI;nTZFr*Sk zRzAPNW=pofR&Ax-3nF}~;iEK_8Ps1~a`H(QLFekR{TTDSPI`C#K+cP^FDS!O4!u4x7VYL-Q9@4H0JMS?K{o6GVx|IOJiH`1(68KGSg1-rqpSFkjpFgM{ zUTHE~coCyijTL^=4rC#^MK7VGV1t>8gL%fwYFf`evc3fRaoH_BHX87Ic`+^l`YTB- zsH#g~O-wzrvkzbVvmKQrqCpDH{=2uahI9y~61$hL?BuU@sEivgTs%1e(tVNK4jkpL zCqnNeVX_PrxD>YXRj9s=l$|6`ER&NiRFIexq%v?(5`SoAR^{PcPj}U&7Z{-1??oMj z;}Y#or~JJg(dEEZ@e6QRDmb4xZjd6|txySxi;KUKhhsas=8*p`T%LF(e+1F)t+oqk z&ebf8Z7Ch_DIhHEdi`r6tCXyY4}*kzEmO`Br_RE+XqSP1H9QKpJYh0?K)7OCJlLfY zwQ>V)4wdY?+JjC@UPznsH_9E>Bm%0nTaDW0_S5y`>C*arqckG5 z6-pFTiAnECIkp31;Vz@;J~>{cxs6rnnTv~pt25Hu3skDPipc_0r*kT}05)b#xWqUR zsZfWT`dg4JzyRQ!2RIc*@GMZkIVP$q*-LcB;YnlvxgHo zTWl+V#sVY?fxLWvh(+^+RanZX0wrWB3Z`9DtKL^y*g=`S8WQ%!I8^B+)bwWqpRp*lgB57MZtu8gX zbqr%NyrAPLw>1i+-&L?}2%v|9>sO;55pS)DZULp-BWuV52JqLuIioedCNmV1!|sFR z6y&-npW~3KJ50=w_YA#YLC5%iUo@TOGJ0-J2}o3k(uQ{wlh(I-r;`Vx|hU zM*}K`Z#ku}a9%$yn5#&&0I113XaW|Tv#L)(T1&HcaI^z5_dJCx-CNc~$VW+ZF}tPW(vTK5C*W;dM+lu z>^;iU*H3`D9)t{NCEH%%OUcU0`5TNFe^)R1;^}vnj^!K;VGR++zDg&!sB4!Lq4h4E z^4^Ho51SukVUJ`>g1g?KMd)*!?9cmvA~5DSm-g?)s{zz)_~c@q#=rJcA%Vh86w>Lq z3Gted$G^c=Px=hD_6u6pQUMqU;Bv{xFkarAwfMI^oS`Hh-|r+GvEsKOyRGe=d`-Q*iXx1!(SL;l65=v4n;W%2Z+o2u z-O_KK1y6CU3JLFGcSvndbk0BzRZh)ypDt7k6+F{KZM^cRyl#qBnX!5ef3K5@qqhN# z1I+I)#wbXhu>jIYw)PAoF7rhTXmg5Bg@5ZEY#mM5N$zl#WJ&-~UARO>Lfe5eIuEkX_hZrcZBW(f_AVIf~n8PP%G_@CzS3CaE;f%y$@U*;(L0xogHzJAlcq$)5qa z2l4mWbM?Z)@di~g>Y;{JR4EZE6s(>cMBal&k9BG1G-u?|vW+9znr&iFA7ihx-6Z2~ zQ7;AA9xUp|PSRf#-el)cjW;#!Lf70JZ(QG^wS%Q8H0QYMM!M6V|8-LcyLPtE&Nd?bHHbcng6ObINKN5nzcZ= zI7Kg8Y2i91IJiPIJ7p51i7W^i*=9o>ZpWB~)lk`QCI3kf!>KQaZSs!|mBF%-`2$--Utcu9T0YR6A zS`|91%vi|acp6|&`4Zn2buw}QH;oMK*d<(uS;CmN^mO5LHH&0(7E(Y);*u=!PNA7&UM9=M9N)(ta4N>;C?q5_K-Bf> zo|e9!9T>3B8A#zpr-2Ev08mC>>pYyOj!NOn#CnH1U(Mu{3=RbniaM2&T0bqYxMMht zPdxIjrIB)L-)dUyc2_oiC0a|EIVSMs0|9}0f7fVz_$X9}#mrZSl?2@a_1!*@x!DWj zxV`jYowLHcmQ}k0iWK8spaZA4|IJgaYW$%9J2SKdjDKWOR2li$k!9%!fiBt}VPxF7Ud zU|4VLS*V7C9A{@JTqd%i)v`oi^f}nK@F?LY+t~q@x>Vff2K^8(QL-Mr1=0r;wJ+pm zD4?HWaUU*rj?UNS%Fd9CwX?I@E&uDoPipQ#?am~Guc~V`7undKNYUr4OPhebd&EzD zY8_@Bdb;oxHmQK^5Zw~+>J~z~{+=MVtzX;Xr7A& zjA4sze~jzoKt=RPQM+S3oBF3;;~%s0iTRCEvK&F_b~H_8*e$IcMODn@7 zmfSEYF$nRHP1o$CKlF-F<9A!lBK&3&I5~^CZ?qbknThNaI&1YljV6!>MTs0j)bcUv z@)J^lJJ%^Us=b*Mzdh~UY5=c9%@AqlJS)P4CehKX6A;M~`yP~7iP9GJI@GpL?MX+? z&Xtk|*8G!9Lnh|iu--8a#G&r9nIO<{i0N4J;Oeu!H0(X$So`tO|J{IeJai6Tp@#Xl z3c<8mx5dT}bHc!NyBjv2NXVvXu;nnA=;=uw++m9n+x+Qs&!i***#%HcM;iIOh~%jL zF5@3h6Sp4M$|eW9IwL}4w`?zuTtnW*RB_}g?SL2NmEWOVx)Z!ERYHc{lS#7k-BgnA zZb&)7?A%aJ)Y}huqYn|~|Fg;(FiX+X^-EJgHTAC%RP)qo9NwYsUqYsW>Pit-e#L?3 zE9nMJ=kMt`t^ba&0S(|7x4%d((o#?ewAr9ZcXjLX&GI4}#ALgVb=Zryycj(=>w0zH z$HD%T&owO}PtorPsh{4}wz2)Al>h1FWClt3WFf{Qp1s-)bXPx$E}a^`YN5E^M)%L< zQuS==@N1W}U3YK0;kycc_<+N6z?W!oNMFj+XiJA3y&d8%cmeJz-TPaRt4eY;#et z^z-_tOw(1G)BW^p#d3GZ8Zv0xdjiD7!#aNBncwrlD|F$gkkelAz)9EA9C2K0+9rLC z-jEBG#lAN7uMU7H-S;LxjEy`nv)lI+wtFqy8rHR#Iv;WfHCe0$W{=gW)9SQ{~&dD_qS)=2Ey>bbT>3e<9xvW@fyIJ;g zX)ZEdA1Mm=FLubl@y$W54jpsox;SY)6V>yiq+Mz>{w zZImMOl_OP*oG#n(3`o9vbY^OH=(2B{shiAydUSiP#yD{GvqFdAE^g|MPX)4SOUiF! zu;BS;9ao;?*0H8oe^YCl&O1rZOWuB@%s$iYQycAg8tI0kR-7^asrY7J#CMty(-W{A zqyX<#l+WMjie06|&agMzILWxoDCPZZ34)Es!Zh>`JupGOW;?bf!x=G~G$C-35-Y)C z`8AX@!Y;$LB6On(hVJ$pwS5*?zMN^g(2B=zFNY^!?cl=(fA8Wp|7=I%O}X7pF03dS ztqaeVr5026OV&gvubp2fiZngdr)0y@Lis2{Qb0Z_-F)pqa8R1lj9-cG2ZG8XKASP4 zw{H*c?iNe|?M5UWz1LGrVxO_=Cp)?IHv+hCo5V1!@@$PIFle&M`cF<5onSH0m*{j8 z&eErMn#UB|e^02ey{9iPlBaw<-%BMdOjH!19<0*^NE-EPLS-0=A_JB5j3JvoM{wuk z%~3CLU3|ax6Ye+RU3yeQop1bBeMaDlwVcDWJxn|ek#6xgwp+7MdcNz1W!JMt7-3WQx20Gw&Sf23dcfrT>@(GGu--Rp?y19gQi zKs7B8^nNr9g(7j*;#}6TLn~A`FQ#dn#L&~5@cRwl(j2bhybKqh&kly81th_la+-lE zAoe@IyP|RUBDV#Zjq+PK>z>@PxZPBm9t? zL#MIde^N@1ZHArpgB_(3_F>!YYgM2umjz`9HFel7<4QTk&Ta9i+iDH&Q{X@&$5o7q z^}9fB8a%NaDFNG$LuO=;2wY?0Mk}8tkLB;r_faNXj4}D9Yc84T+D2*{8tGE;e0Fv< zONJTH8$x;2VxM=SYU-Cr@=4D^XGv?YhB|BLe>uObHi5{-J)GYJ-8whf+sr1VbCHWlkq z@Ted7^Xu}C{*)IQg=;*Mad`X8#Ll=c9+>(3PHec_#=QMWJScPaDK5sQc4bBVyM!PG zf5eF6JslY(u~G!1t)*bqJhdHD{Fdu%yd?ehx9kqiAzG$;2}1yi^Qa*a@ zN7+*hGb{NadhA`@($7!wKln7e0ogOmF|`<_Rxb`ANSgAsdc%@^65b#;zuW*@W)rk? z#=O1h`dkX|G#4`&X=>^>M1B?d_?Vn{e+s+>E5S)RFc-o>TkS>x_v0F?GFX=W# zTtkl#;Rm6ZHuyZUOle9MQzn5cC}OA2o+nKUtO9Dps&)|B;Kz>K7yF>~I)-idf40Ue z?NNmT6I-zRB1E}I>pV3uXkY5e&;>N6W8U1uKii|gUOL4Ll{kh>84va~G0W&xK&|Uw z%aN^Qj>b{s_BH-ECGIp~Cftb}=N+H4%T{3wmskx|R7JN3Fq0`N@GKqadQ^ek%(x?_ z3o4)6CmGA%uo^9Bwe$R%+|lm+f6kx_9)J$v=&d*CPi?{06eJ*I_IsLhR3SmuF$`r^ z>&M2V(j47YIYmq^G)KBgYH<$^(DIw1{4^c8MNyxL@CIHYAA=&zdKtvI(O}XP=Uh6Q z|IesMXCdtx{v_SV(?W!~%>lgl`K69E=v;LruZTeMJ6=aAIFd`)TBqLOe*%ku>_qV* z&MH2n{a|o2lO_Xc`Tr#tJ$7S>}^OT{(_l$g!6V>K(NGnc24S86Ie|g40^6%!j4x=37RDmqF%!OFcJN|8Hjpa>`fu{a=6HOvh zQkEWXw;N9JDR)QclVu8qVNJ&*rP0B{O}XE|I*YyX&}Li&_|BcZ9C7O4DAttrSUfgU z`%(0VdWvsnFX$lFxfHSHpe2Z7pe-q`;)YVUgYC^+A zFoqQ{3_iB0D`#hBf?l~3ZZz;n5tbm-@S&M+5!9QOzJ;iRuzq^s5p?NHt0jRvoaPc& zs`I`zT#neEx+nKQrlDDfvSmEJnqyK{Nx|~ZO^l@jokVrVGiPHGO`gTIPm%aK?uce+ zEsGk9wse>NxD0|Se`$ZYBW>^On&+6Zte=wv94Gir8Z2>Pmg0;&-u)XB!{LgdNPPRQ zVc>pYA)0=Ap9;~SMeWh#5%|EjOHM`P&%^vk5G2w4S0E(+e%G2vo^DAqDmR1yHvsTWX@6TZ& zC|R#~>~e4Sv1kV#>9YID;w(}(GwN|77sBXKFM4|P_j521qfEu$GbA&-jlv|*5#r zN+w9HwRg`?wAT|GVT+N?p$<8X2Pf2#U9^bBB^R0hG5mN1_9BoWy*9bMX3 z`cU@N{ZI&APil%i$`2Zt*8PaXd_`&3LRQj)qQpk!@ly+i+hYom z!Z8tprY(aAHMoB4kaj8bxJQV+TGa0HpLSFVxCd{|kAGoamm0>+r98UTl&S)k3FPXj4<0Lhvj&mj>^nx5t_- zu=!8RhLpcZZ2gaS38cF23L2tXe<)g4L|aa}-kKwK1Jpfeexilu!!^{qM&2?WF*j9Dmo zcwu5?-$vhe~j}t#|z!Aeh!P_+fJk44VdqrTpZn~1-tT)*xKb5rzgKD zQQ1b@=cNfM44`+dyGTHNtKj>-b{Ipq20gJ<@0^lS12t-YGh9;?t_ltLEFC;EvyGAs ziD&Mbpnu*k8hR+-FqJdyw^7sb6Blr9tJ8wlW*Htsm1Y>p4+_lKf5YzcXb-^443a)t zgGo|_xNqfUMhk{#yG%B_+05$HCJ3y2jFxM0x(MG>AVZhg6dek93ie{x(G@2o#N?U| z6v_ons@QURzH5zAA-Lz%PH6_6la54Vmo)C#-=eg~T1d<{GxNn#tbw8((IE6=)@(Tr zVV{Ev1=r+Kj2t_re@<&jtxqD9WkoUv^8v{Gcf`Q-|k+`VrfmNP%|L8ugNi1mn#L>XRiZt4y@Z@k(s;P&iw~09XN-mBBO8@r?wR zY7Z$Go}czkL=y$-T7y4~WW)Jmoa@mOoqbsl4+RC}?5PIGf8-l_DRX|)F5%&!&{8$% zscVt++O(^q66?1q5u{8dh*ifb^B>4<4y{szm~X*}C0$6i9wt5;=t?Ia?!tq>raKyU z`DKcAe9lekSN7xn1){ZiC60i5x&C)jefDu^yR+^@6S>?c28#HOUx@Jok?~|(WlPt7 z?@|dbAo-XXf1uzcM^3_{WM?3!gtD7&IYn5ec5=BhVOQm8ZR`G43cZ@-sr(CM0{wgs zeeA0-YRX+1Cq-pxH3?M{f`)}gm7T9$@!7Ey2vDUJ*^dW`J&l?P!Ocq!Y6lIPbXdF4 z2sV_9S44ARW= zsd*>|nIevVZMZwC6rCaR;B)wBc?Lgn=_sb?O-V={Qg{+q((l(8k2&z%{g?&VPv)o_ zwZnazf4KKGU-EbAJb`)i&DiZPPaduLN!#Hjdw zZz5@?Qg0!T{Z<$#*+a!gOB2ZG%qbMM^>h_KFZpWm35rx9ia2 z)LPFn550vHn)@sH@kmy5Z-Vz5~yU0CLoOaDZ@fYdaV zlhlzJPNPC&EtR-uEbeH_OLv~mYjDop5}6OQ4?HiBblKS~&+&*KJzr+v$gfZ}u@jf^ zYrn78YR`lKk?sVr?ejY0WnLK%f0yE|HreMZP<8WUz^r+Cr&<1vZRP8q*!XM`SZ|S_T)GD6nz8s$@UpUN&Qk)x~pZ{5^AwpSYvTMJZvym zeR-!hl6}^=C7t>(S^~5boTWjg4rAc_CZZgT*k)5s8RIq~abzr6;y@Zif2N3C%;CN8 zoD=_Km7-rH9C(3LqXCT0R8E;|rnn+y`nhIrxckl|h*@BBDFB=NUCkmVRnY`(yt8q^ z_NY4`H4WvhuGzl?l64=dd5r-@OBDZlvp7&4eeEo3J4ZkrOJCL5>;9dUp@t}<2AVnB z#aImIr&_RIh8V3yesuK^e@f4%zP2#6>{SE}ic=2dOUXP089Uyj36j$X9=@)3A+*!m>osr&Oe|*4QHnA~+gHTBM zI2LsRbUv|D`kR%4FEYx7ucm_<+}VMzT<+3mt6)?FpA2dfDlEJp)C#RYj+UUm7a?)L ziC$3X2nc{0>UvrrT-NI$C1e_E5Yj9#1edTx)tZ`Cs}vnTPPd`Z?QAfXI(1s+u>Z7B z55o~+6i09<ihF&(q4W6X{j$gl2=nwSQQ?utt z99*DmBZ-&Dih*;NH66@SBu1_Vw|0MNss_s7z!e%L-7rN-!j`xrrSX%*6?D!qxZC^n zIfjP9B}e9Uw(SUQ5b+`6ctZ`{^I|zFp0nT*IY zuTQ!>@snaD!=(Z_T3mnwj|WQekRGuDlT5u+ez+E)#37z*Ofm3Romr*LHux{b;48fj zAj_=8a5y*oE=bX;&)$u(Wfv9AI+4GMoW&*W?K?H zi@cx817a(Sf3}OLfbzM>!3h}WB`#T$2nA*1RW+f#3qpasLzd|Ac8Qh-0f`!)EL7(3 zb(yto1XM@IzNw|4jBFl4N^GCFP-(KHo~2tq(j$6VBW2|=5p&%GPvnv2T^5BLe$$bB zS^v=yX!-z0OYy2uJ~fZAr4i4f+gs7a{;5?(HKS&=e^mF^aU3Vr?pqw%XW;}c2b%kr z!|^l-vn>rJxsxdi-v@rc>>PJdG)<+t{9Yq}jJY>KV8EC*%BdnO_Y7K=RI|BW(EXC~ zY+{}m$gjD?Uh6LvzNl(p#?4#m%CVhL1vCb_5h*JoQe&`T-c0SWkix|feH_ED7tCnx z-&d|De|+61MDXLQ#hGieH`FP~Q|re%?PM0G6Z^|Tn03=TH{R&F83g=8gql>4q9sh< zX?f^UtJs{wg$pRq;TK0>%C+VqO*!a1mRt{t0@+;B#wd97DcDGar{rp>oS<)3luAam zIqfW>MlZqWOxfz^hA-kP!zGLxG6UUU-VRDce^uK7s@u5=wnEJbWoJFS*+zR`R2?j} zn~}zdc?20xYO!d|FT**~e&K0jm6-K}j)PwK#aSJ@ZZr`clvZpH*&+3Ippl`nmN@oX zElj#EA-f6XZO#*Z&0S)51V1U$Jq2G~-~(+`f{|P1m`hs*d-;40LCz|lRTC@@UK&% zMf>K9!NgrL?OA1uBKbo|**_m}W>g~e!W-OLpFDhbO=)1<+h`IVjFZxeK@T9MR&_fc ztg(FKMSpYe<%VUVO^)|j#88`i`^T@aFn7mUIoc==UN5#eEqOme<>`O zu(*FT#RICgzzmT5(m*l?_jJ^bfaGt+&or`3?Duw0n49(ex|g9wcE556Ks6HyJR(F9sOYLty{(!3YeVSHZ5QLu%w0|Va~8M}5T7>o2YZOtTf5+efRxEg_#v#@{9UMv3oI928Ta3%}r_YEi+0WHI9pY=q zVz!?`oA2Hdj{BJzHjUoT<3s2-dp`5o#8MN5L3Ttcn)*r z*$%|(xdDjmJ!sqCB>j4EW2|p_CpF)2qNFDi0{gX;YxM0iRM`9SB!y=Ul1vwxkt16W zR7k3ZepHK!c!!c{*3znv0%+&YJ@jqHub?Ur4e4LRsn!I@Ib%{&I5>L(=#j$3&6O9c zsE0Ps@gw-{4t@yBe?Y^hFk!~0!2CY}rwmy0=~n>cG)PQCM5}1cnoY)Zc~uI^p{pFR_EP< zA>@Rgc!U-)1pp{}=lXcOm^qC!qsV@qaPq0I_+!WTZ4uZFe^^m1cg%GMQQl+iOFkhi zZG~Cp?hvCxb+mWFzsoh$55g?rc_H)cnjiP69co-H0zmqim|oci#(C73s_cb26T$9$ zPgU45|F%whFkzPlwKdVQYSxLjfDC>*XNWllO*mlGA(ak@C^k_Z{6j zq@k15CP5)}(_oP+#kCAg9>@Ul3q(M9u+Z_HBW@`Gq#5bm3y0x=8?Ze6_J^hX!&-=u z!vKAMNiMEdE3lj%6#3|~Pwf-lt2>!(4vvVl#-Xb?f7FI#B;MLSos)}=tD0S&{DEKE zXGcHjbrCX3j4>>|BFgOOt_n{P9PIdpghKYOtJWw^2E9&vNS-@i%$qZ3UX{%x>B5f) z(zaFi^?~)=q=gLzY*j|r5Ah|uC2cZQZgAQws~_&@)3{B?JsfJ@%+;)rO{Pfa`*W8h zle;?Ze-=wRLKo2j5`KIpaq~PIeIN#D*j?i#{J||iR*ilpaM9{FR@pqdmyT)Czr-lm zG3yVotY|h>bMJ30|ZzqG=OPLZ8|kA zh|Mj=r)T;ZnqwU_lH}F5-(x^z)(4PJ&N=nOr^C_s+-~Y16vmjZooe9i7%c zDPeSV0x*!#l8M~3QMxXI9uUX9)x&bgk{`AaLuOEZv0UW31<82>NX0%t%xUfSjxB2N zG+{->kf!nkA^ly~>I~nVsb<*+gBnVa)K;Jf1eFLC#2GSJLU=6=nU}5aPREwhfAK-V z6i3f@jx@SN?~df~*0M_FMVrDJ?XhoRU0kbSR%urq{;j5u`>$K|Do4Iw%XF1b3+E94 zGU-VXx+{vr)S=HVmcWR3MTQMI+JJb_xatCop!Q-Bqt99RTkaDfbz5HaB`lx{jx!PF;3o~ znBBth;swdmJqf!f&4%=^D3c8N;LtpJreXzB1Kj^mvwk6XRPz2Y>@Dyu4D~*h5HDr^ zek#dw>%hO-qc!V4%0jH2)a&-b=Bt60!+hnlda*kP47pm$x*a--8q&3>f8qGOLmK$X z1+e!-LC=OC3(tR|y0_2r^?(Q{tk{IQuAB!BXn2xwnUGE%S!W-oi9(4iz<-8~R+6Sz zD~w~Jo8)4a$funC22;~rI2$-0skKbR8RwuBi5V@f1c1?&*-Tf6oaOT4aGF%e}Pdw29HqV(>Bd?l=v-xWI+s0gQ^s1Yvsi+ylKUgUYi_? z5|$n{R3@d9uw^}o`fmKzb2O0BPvEb;ZNyziQ6R7wiqPzRr9Nyo6p6qScEN}jv$b}% zKMhH`@3uRMKD<~AmdP#-LVYcRc3i=^q48TCu4Rz8e&B-fAYTs@+?u?C~$q* zNw1E!9=0K0JW!Z|HJAi#LEF9BOMKwVK(?UL#YQp~G$Dsn_>5-vaZ^Yux)n~>fENr= zObrLxz_;4PJx{!NUTRf&Bg5(!0awQY_@TQ9tSL zxPYf+ZY4VuJQWutfATPf{r0lsDg~^sf>lMx+cIy#kPHw}8(gQgkCtrUtv|JnH^0Z& zbs`V|4ue5xWV!B`*UBr#vP^S}ZGdJO;&Y^cN#|X9OwPMPHRPbTVWMkofJ2hrITl=&^hB`U2QfF|T&|*E|Kg>6A-7a+~{*c&%;T)8N z944oGmdqqFe{k3RGs}Ex#l->SXjo8E{fYUr|I(wv(CISNi5}WZfM2Lgr%hf>LgNU8 zW0~!2Y1ri_J@ zVF`K+IRdE_{a)$<4-CfxO)wiIyKktW>L0~KlsUMpe~gx8c0UK*Raq*zSUI2dh}h~j zhvHee12)8y5Z%in@^3_>N>J0}ueIlVMmoz&{VMCwWROPbysAR!B09>Uu z2SHICe>tm|QTO*VnkDCt>{*d1CzOgD=qO-6oR-1PMg4S$W!`&V@jO-Pztp9Jz^wQAptT5CT*}T;3D@x>`_W`Zv9e!u8M%Jmh_|=&;%|UIS(;G zyC~g0fJh-^^_Heay>Lr*Oa5GAyWjkAz{w*!5&ab;rYwVnrAGgEYaak3_j`DqRhRyV zymgPLfkShsZgoUjs+q3#$OZ|$U;1gAdPAgTf2r4E;7yF;mMSBU>OgEdT^iknrc$2D zUSa&qQ-)`gk&>f{5J$jWZfT%_(;87jj{L6)oxhc9%dmzHg4c5I^FQX%OuQwFr3pCM zDEvMT^09PTI$RfOJ^{QER{kT~+mDkpNgCIJ8v`c0My%T(<&DSvN^<-VdJ(u1 zFBt$f>51jq4*ek%^DbyO<;2ITfz&ixS~#eY-oNlOsM}TaRGRL216Ot&tSBn^L^S*6 zeb?QQp=c2Sc7>n8p!x1)1>T&Vdt9>Je;4edOKr$*X=~$#DESl)2S5ag6S3&M+&-rfT6f2XEx zoqkP1IX?gzxk+F^br&M?uK-;!RcAV<-NI*Ys_=69x>E*gE$a`**`eb_M)amwfGB^R zdR2}N3WQcOQL``#$v^=(=anwqWTfFrCi9?9LQg2V+MNAX2>kHt`tPr-?H* zn-3TJt-%_y5WOPls_|$1bT}OXD3iu(0jsp3K14x^i+BrA52FLlw!@f{f2~u88g)vF z<@acBetGn3egMh_mW+8LFNGb1ks^@qQNS)rh}vAiCwJEigzb)7 z*HK82-Th&7NT*Ngh_4h%%e;6+1P2g?HEM~K#*7F#=dK!#;vW=bU?&#bcImaoMrxzz zZ;)b)b8tWB&SkTd0WDh%e~6ip9j6!}Bng$Sy##ege1d{eLyrZs>L181;zIhXU(2}! z6ri)D(3>{>62Yk!Ax9d9AvlY)kaOi2=1-~j(w?{9_8dk$Psi0M!UNXLL)AvB0ZaPG zeu)9XO#3FXl=jPx%^3(kZCgh_C|M$`gkF@vnb*K1og7bnb@0k6Xqf>OE@cU!NP_n6 z1TsJEe=_;tM<4%q@CaSJP{_W!(U}Z#*(Wg8iIy(9E&RJRPC2yiXs|cpK0drg-7Y;x zf1Ya@?G#p;D>@=%@JBoD(lHkZ*R0uvK5GBY*` zFHB`_XLM*XATc#KI5L-!iUJe`F*hIxPW#j=$_8{=Tg601ezzFzv za{#Q&tpBC^clKXImf*jWjZ94JZ0(J}9+qHpfSIKY2%sb>&+P2(%m^?7oBkDOWPjsi z_m*$uYGi3+Wc(KJcj-m|Ns*5Lqc?^B*5_p6Xld{4#O!2g^Or{8Uo>xRmH?ZI+1c8H zz|Kxcf7K^$=?F4;>$?Z=-NWoveSE-!%Am+1uFz%-&>xd@RjCZ$FT{ zoQzyS0B1)RkdN0t9si4vSXlw4mL|>sW01Ke80ioDn;B&GFZ_1@j+X8K9hSH8V+FAM z_4VK1^xh`S)DCRp@hAN6D+VfwD9e6SWcat_|2joQ?c4!gOq}chCN@r10DmhhJ1>Bn zlLg@OzdXuDmjAAU%4}`t+ZYUH?4;wEtcZI>7&ODcZeFE(k#TXV7(7 zI9W{IzOnv)9{0af{{Kz+Uo8KxgZ_Ujl60}L`P)zXuYms_zmct_jmN(u-X_<@`E3gn z?A~?({C`6=LH}A^Q9B#c|9|U~aW;C}1re~h&41fy=_G0C4l-4?bT+a0*SP%4uKw4e z*;s->%63kce?2V#CRP@f|KoexE)(mw=fml3CjWMU-j?TokCXtL*qQ#dWo(>W03%07 zBM&5&w^3r_XU6#2{aFT@1^ zivB^|0HD|(!~+0||3SO}pu~R>HwyqL`3JEBfHHs38>jpq^v0?12fcAB{y}e?O8-SX zZ=A}15E}rf@&~=0p!x@K0Dx+L(3>LlKj`grjX&t^JgxsC-nUwe{)^b(d`7nRZ=?O! z3-#ZaH>>d<^j4wCe}56@o6p3~=I!eKW8vWV%VKN$hxM;J1)BZ?vI2mhKMZfx{cD{5 z1iT3~`vd<%mVe^e|AManAo$B~=i>N}{I?MEf55kjEdJE@)*A~CdkYZw9}#ah%YVSP zlC1s#-+E;I5BMh8<{$8_AGUuW>zmd;%$#qj;I|?EhyP8y-G85A-jeP9$NeV8{*U{u zkhj~gwENS&x0eg(;9~c-oB!K0);E#=XaVb+BBwuP{DnZS|B%f27Vh-+y#7geJL(VJ z+am>Zwr~Xfqswo)oZamHk?+K6aCtz3Pok^J z4BT+M5lI^E#aP>spuPUELi+4=+)@u8)|&XS?a}+mAYNs9uMKHw3U^?#;8>*YI|(8& zliG)U?`H>ZjR0%t7RWAHsvHLw9yH~=cXw|6Qtox%%YRnKLKpTv?pJZiAwQMPFh#3J z=>`BOBH1PJFDKI_~0`XI6uJB&Uy^2hX^kkri{9jzPi$*3Ku& zY+-4A2{!M8uW5zhIuFARlNY&`2=WHL^ZL%v)F-_9eTZLTGtPC^>G3jhM?L9;;=Vig znVggYBYf4lQu}lwq&5XXJWOFU!fHX5%@1dI@_$uxXrL17)mjLWs5E*SO3rGmW<$2i z6YaH6@$0ckknoDW!2bOQ6sXNb2emzy;3d;C9nf@4x)q;n4;W@t?lFRbO*OAt=gaZ; zEKy@D;jwQDkb!o=wcJ%DMn(n6;dwNK&0*$O#ka~Nd=vH4r8A$Ak4&pXO%uGQWy+>b zLw}_8-99UzSC&tLD8$9jShLF6H52o@!ks;KiZPjyQkvH7HkgERTR`q(mgY;BS8MoUvwXM6QsmLr=NUJfU zd#1R*Pn^@y+suxM20JGrd|_jN;nY*A5Pz!NbX$hp8RKE5>QS<_&}F=dIo@Z;>q255 zGjOB4Jrq~1=;F9QCokw?Q5rKJI5Q+Zv7Fo5qdXU>U+jb5)JzK7-93l2%TzMqsZKw> z`kwvUf$z3sg{^VsFVi?C?yY6G`L6gWWrVcpfmj0C0)G)) zOX-|)t8?jfkh2V)Pnc32xh#-$-F}Xrz9mNREmmO_ilUb0a?5DU2Ry?r?B!^_ zwq&U2p*Cdl_QPsxXOP%>o8Z|6htFj` zCMe;73>tY*8KBigF9~j)c$Wv$zdX~G{zPg2`&}a06gkP-C2w7n3P6xs`@*L*b1hDf z;n))tg0BIulQx1#2xr^C)Jeaw)4j=2giX2pMMGShsVcdrGHp(CMK0OCp??bHG_Sca z*H_Kuw($3Y(s3OtPW(5r`v78JqYP?pj)I^A*r=nmnXd2fjDoEUqh%VBcqaSo-`T52 z2?lwrzav}xGJrjSvuVRQ5CJ2^Z5XBRH3T-@D0UB`&UNwq&MnqSqa4pR<(slJ!C6SN zdKPL@e11e@AAND07XEEQQEgszkCQ%U8u?z z6Kma<4u%&mSt^?e+aQ=>axM%mh3&3A&Nkh0|9&Ei6~eJ5sr1*?cYh)6^3$<(;mMeB zo^54qNZZ3WI0{>kxboF>ddX+5R-*VX_q;`}f)*0p23oWO9&w?Hcd78SyoALEc&3~S z0(t9N9A&U=obSkDf1_xLWx!QSyqCR+Der8;&|R9-)5^uhZ%uw*Uzzc=Y(w8XH%7$w ziMWADh}eFZ`zEPbzJK+xesD?q>!6r#-Js3&{q?s9tTxj$)`D?9V88>woQx5B5UFF$ zCps7H;{?NRcwTl5FFs-i7qrd#V66?~l-!5ZeMu zj0|L8_Zt#zEfUK>W*0Q=&He{E4jE0w2+UavVk|Di>Up;$zdESP_Es51rV-tk$Qd~5 zDAx;xW?BkT1%D|jK_BGkHKE!i!mFHN42GFxJH8Ae8to5ubwwFpa&tBs89 z7jjoTDa~8A--&gCF3M_=lJ{R$Dzp%~%$~K2zM4JGDaj)2hFFp1|1Ha)Yl}2NN-Rt8 z$b~=BYfbPjX2CXqmmE$J1z;#X)1%Yz8*pgB<>n=VZhs;mxL)b%lQD*_3?WvyfiOcK z;q4@{nDWa^Zh+ycf|V?wBDy$H6?|XteaDv~+Rp%!K2(q7YlE)kZ!(;F*>TIv5r@%K zTUmfy9l)$3=d%aB>OCZy&rP_clm?fZQ4=KI7Nu=%sH*^mr}jr8efjwV7R8?`4(T^! ztMuH%E`Rb$?Gu8=e&fEUPX<3^5ue2ZWrPJd&kJFZ)lfX0itA5&T;vUt6_)(VI?1`e z%5}~nL!aIrv|a3m{^0RY0z`UUT*MW4=eQcuz3*if4<#mM&t2Y6lA}x_z|KEJOlt=) zvisGhC(rzF>dO+xYulVvc@0l2>{UZ;^dB>+fqyS&`xPHV74YOCuB%Xwsmd$8^!sCU z`+Sz8*_BkW{*x{zXIK)&&ax|xPROUpdODl~T)ADZv!Av0Z56TJhug0<7-)<=EVad6=M zJ%7x} zOke2kyB=L?kh)zMux;v1uXi~bj+#A7O@HK_!V+=s)MVjw_+Y=eP7pqY>_-V}hAZAh zD&Ww!qE;)yTArQCn_Zeo&H;;sk@F$OzSv<*j2Re>ljW?TZj1hO*1Pr$)a}5_fc>`q zMFp7V$Wd^7c#Ny?P?C&050SAb>E<_d2I8cN(Yx@g*X~vxe{Vko8MC<9SmanGJb$Dd zXB0e)J|Uk-!vszA9cj`82eT}4?Ur52r%(-&;D9E5B{vq_O);b|1Qk1zvp|!>l+g_1 zzwW;#dDrQtprjU8CGI4fI{J~Qwf>ryCtKaB9w?te%wWrbWiYqAP$4m}6ZT+TKjicz9I&P^j*L)&=P zMlzT&eNkb;sx0#(ZtIrWCgn*2hkWG{VShR5wdlrH zk>st;R$D;vilfb=PW?@}5fbOeH+p5!MR@yq9jowa)qMb8l8v%N^ouG^5(-Zv_;uy8 z)b@~TQy`qMp(@|zF`q2RUS(jcaTxv1Z<{xx93m=b^oPKwTOIIFN@K;<;5t;yF#`7N zX6M#I5YJD_hb{_o5WgK%p=S zvtxDdxN|3;b5Rg=y&92SMhJf1p%{Ai_>4T9H0)A{7ipZ=3{2dR>VK+RqX0-N-|Cj? z8X9ly%v0Vt3U<$j@7`B|oFbSVt>+v&P z9^=AE`KVI9H}Xcg-LgYjY_xWvIdjXvc&vEN6Ae!U(~ zRBTenLpWW@U>Fj%og)S7iElfp##rJYM?)`|wQ)w{_q{P=5P6uKog|B?ahwrh>o0=W zvFvp-4k`VyZ`KL4UI%^Sd}~MuX$>#ydQ2eMrX^#-q*0TAd10KI?58n{;aevLtcg6o zh=&1#2B(a#1AnTucv*)ej7H8S9+r?b=hI`3FD+E{7n1A*Pv#hf*@f$o)OiX%ORFVA z?AhYhLl%b7y4j8{ra~L%{I`}ZB18tAr{OqAc9I6uX(ra!iWzf}ccfs$ya(4soOwF7 z^rY3agk4IC6I8DIX|Iwk7Sa|p|q7NiR*CMa3;fgByPYBeqHIUqA(h)Ec3WB`IX%xA`13+^)>g*=YQ zpTvlshrE0{V|80rFSd@Z*BQ!JF%+mm2{{PH{_YoTI|jFHMWgb4&HdTP9_68Bi9yv@ zlbq<&Dj$GeX2&1J&V9;FN4gP)7H@o)b{y-D$bYJ!Ioh7Hr{k{MqRf=@?V3*fyA);_ z^l2DV(N4JxfUBBb7E9y9XT!ko>GYptRtI&eJ~J;TvSFUc(@vog^NqU^TMJfrh$ZWF zzMdKKUJfF<5Gpeklys4No{Fln@;^L?t@OY4e;G_5X@HCyAbw9bqc-I`C8rH7g7cuv z0)HDD2q&wI>q{%-%ezh8SGexlv#tM1jt~UfN!Jmk#d$y^XaTJ_6KJG}u~b`170n8} zz2FMRx@PVweBjT)RmUA5eG`v+O!jiwpm_D%W0kk9#6eQhfxX;m{Nr`6pd}j8Ial(+ z<6^&V@A{nj%Rx@oUd*Cf8}gv4c1*UOPHvp65oeJhN^ zF#CNyKX=KU1Q%m74Ng~Z+tU)rMD`v=?Yhft{=M#o&qmQU!sk6Y)y}n^yT~DZUtKt7 z?Rf4h6AU2{Q)qiNcb@KA5ng4?*sGK7UKSXzHH7gg>HrX#UDUVl?J%>ya>D4$`W z2)9_QuNH&Berl%*h19NyM!&OOg!sBCYG*we;sT5RHhqB02JEWmmGLfKbzo{W(Q&!s zr|FZTTE&R!>_)1~X##Tuh>IaYbuDU(@y}dwOG=#wmk*nBniFg_`YZT%agb=9QdK8U z087Q3nThh}XAiRu1Ao<5@@1h%W^=f#95=hB|Epi1lJPD~Ldy1?U&*L4lYc9O`ihankkxPd zwN&rr*6lar8Pj*b z_C2`o<$X298N8iFOf{vrDr-Gh;f>3&;k7tm<)jL0Df&;jrw`cYnH+I3FycAL!Kf1= z$+DNrSVVA1TckMr%)XGZ;&Stlqic47+C@|R`EJJUm+gPYxItu3!M&P5+oax+t^uMH ziOqIa=QCVvF+5j2B=$&!`QHrsT(?V;w-#T&caqhs`pIm{t2Gzl1wOEO1TtA5yn`>B zt75K$`K)JL>FUVevBepFRkPjd85>8`dZe_Q+0bH((LQy|p6x)(phUukTyhl^oVIvH zcbuVz{TP4lgqj@5nF<4mPA6|{6OgW;uVaJL>_46m(r2`b+X+Jom*4LL++WqggCBOg zx7h)bi-uSFz#`LrX;gJ}-cP#tuCF0tTXtx)M^$;ISJlGAq^B4%guQUq7>BCKYj57C zXDgpW{rs)|1fp=-|EFQTem1u{O_o@=eV9~$@9lrRg&#ZX&(W>f-_$DJXynlRJ+J%T z)1>FcE~Nbq*un7H6_g^10mU<(1dif3amQ3w%dgrRPEsrbnNf#@6tHcNr&Ar>VcPM} zw`+fH?|Xv1sDA%)F(3%Vu&kL3=cK5s^&Kw=bRu-h~|h#{A$*rusNG}kmU!}Z;n z(5`4Hd>oto)_WatJlsostGTUJWXWySgmHhnlCW{3teNKs-rNUr)~5Nj>2{Fr}j zlr6ZL2uh;LDxSPAkY<`^(2}kNR1eJ~kx$T2x&>C@^d6YiJk6?hk=wD8n|)7068=>s zJ24f=Op?~*TNnuHj2Q=h5IeDRlcT?Txm@a<(Eur|Vyk0Lj9gLsW^qTYP4h#%Xr#eG zCC?w~m!_AJ<5E-k4z4#*#&xfsN1lISa#gi=5V;biQC$e5c8uPTv)&wT(2mrWxKi|8 zKp<%UAfl6AejI(p{lO+u+Hf)Jb%j9BX~bc{U?`XK{Ym-ydhZjE50&dthfGVULqZF$ zfTI-)71dE*F)?agv~iSV2yJ^R-ZWT=)p@Guf5m+Jn9uk8&h*VRLi>>iVrPQU+7X3 zX#!Jc1wFrA{T#V@B$>$=nreT(EZZq79>*lzOl*Fp$5m;}gx$97i{H%d3ir;5vo#G% z6TN@ci%u-F+SG0Ya-|jOw*5S9O{I>HT)gS!fX&F}>hO$xw0O@yTp_)qLh>zDz2@u1 z{nC7TbAf1!=e(c;!C`cp2rEipHIlJTfAlE%((e(QnISSiyKhQNGarAJZ`7iSp3<)) zSt8={40`%=i3|5F&o{Lf#cKRXP2#I{$Kgp~ag}h!xX0%;g1>iF6~4y~OGv1yNM7Xn z(AB?bA%Dtc#4~VuN9Lj%ovkdy0=8Y^ zhSOIR>*IFPP|F*BUv%qbmO{c_#gr{&NR59&-b&}#CxsTAmMOhehB0=a02eCNHfr0J zr$TJ~Au?i|2T{)B)0o$oMy3B)D($?TPUq>>^gcJH|94Otm#KfmdmhBHk;N@!+F5LS z&)?jur*;cFXKU{hRg7tUFNhh1#f@*!Bj{_s*YdR55%h}NJ*Jn5iQT7c#eI%N4TPAW z^%+0kVSlM`uMYIoBy8OFH->9izWz=*uz}wP(s_V_t_zHrkEz1)CSl3NkNN=4mj@K? z{Z89Z=+H#`Is1RG@;J2QvB#2D)vtmL*e8I7rd&p}%4J6tsrM@L^~MfkHf*BU+`D(5 z1M2JfRR*AHr^I0?>eju6&xnp?o%rH%XIpY>>y=I})h-xMsV+w2!npB-=E$zxP<4<( zJ+)X9co+*!D1^Nm=`TIJtU|x6zSW9N;-+0{i?0jvKARgQGdtBk0gJt`r_#-Hqhb*$_ ztM~@z+N^=e74Z1e(lB6Q+D^GlreBS(#fbM4cdvQjv+55B93NzNZR2ElI3L5Soyb*e zIE+dKIH!Nd@$1M60!Sx;)n>fd(^DzItTka8S?Vh`6s?HSJsB3L~4s- zJbloMMW(A%pR#ivKJR~9AXom41IlAHaM(U~*D*d{rQqX@dqva%;YU znl_{pADmZwU9h^=CP~~DysqPbfkQz-fQvEN+xt>Fp;vT7l|zeXAY%O*jr2xIT9KSv;!^;66kKj2PW(CgB-M{m?N&staKDEJilm1?X;g-fZc^@SYu#A~5`hlE}A#suzgN%w!pWN~tIdToCc z)x01&ePUCqz(lUYR3JIG3@lVr`7SyFQ%>Shrkh4~i?DGDqYZTF5R|RP&5na=L&-cI z^6s{o+*VZZ%tJ2PBX~4Xl2xtN{e_T1BA{_bgu7f7-n|p#)}{t7UpoBN+&b=jB`ZW% zLh9;;5^s9J9|Dc}8oCBoN5V3E$8CRxOGgN2ctgvH8;~sN3lCvHY}e;Yyd$Qw z2wJdr@l^leiEen_>J0XsHlSFVlWOZ)G{#fdS6^hhmRf^Fm*U{^Ktag1L`bpm{jIvuf2U0EJY^){cMl6A=NXihfBK2f zqHmm6frC#yvd{ub^ZJnolSw)qNGE~k$6$jZS96Yrm*?vhh1%;7oFSwCD^ll^8^-u@ zkZS|TbkvZacK}+xtfGHCq*mnzoRtv$IGKy!sW7#RTUQ~>Pf3lZw4txbt+<@();8u! zFdSVJc!NpRgZao`@hwyHB8_`oh#>kVrnh$G`CWJ z^vjVSmsLiVS;pjA0nYIzaacr_7N4GH^Ya7Orx~lolwwQB+4oub%ATTF@H)}xJ7|6; zEX!u-uI`d^89I!k$oYgpX2+Q(To(*4C|7sF>6%Fr@rC7zHKC|v%D{o!3>a5Y)GIok z1HsCZ5TWAz?=^p)8{1@X)lDVepEQe;M{+()xHbFP&bV^9^@Vq&ec%@6*AY#?w#8<| z3HExNp-+$VlktsAfvn^3A5rwW8S#u52_z9;o(5UMb0^0fF((L#BXqqEp!ovSi zhsdi>{cJeKAKaMksOpiexvS>4s3szKs(?5FGU-{iDDQtP_qhu3(}9L>qm9RNy}Txg z@p&|<9QW|$rg;}y{@UE0R#4NuEHtt9^Ob6;!mDX1$SYi_GW4S)2FhYLX97fmM=AA| zWy@8vlp8jsYk}O6zvcX+F#TQB0)5bo=NA0KK$o}k3B|V{sY!q z=?kKlN=i}>J;7Hu)e-yB%U8VO+3yFD%I1F&!vlXW5gm7bIL<|QiV)N=hHH=$h%K@= zG_e}U9N=>x9R!)ChSqwY1gGS{e&PRFadFO&9ldm2HMceU?Z79qkmkE=NN+*bl+Wh- zi1#E|{zG|+(<;aK7P+6B(M>w|d}9#>XD1NFED|u(N51`Z>z7@LT-;|sF>4$Y5B{jW z_x*oG1Vl2}P!k3`T$*&e5_cZubn>5YOyeX0e})9h8C3aSskLpFEMg^V&bd>FytB*g zAMC0pX^^3->hDFT!Lwc2zH*ve7TrklIB}q)!#XTz>#(UdU(l5rhFpvNrVY8(_3m(U zp?D)9Opq1fU7GR@!LdeEd2nt5YKmA=Z0 z<4;yyxE><4N}uAgPe@?QOE7o$xUp(%Nia(9L!MQCD^0_Gh^1)$A}Sn%ldL#*S{i}cf zRE#)_nf{svl<+T&7JY3(#PO7Rd}$<18%~>y-0kge%fs_Gw~1LRRmh(#{O0fI;o+2E z?@WOK@HHesDNd#pIjC$-w2u)#h*qX^(fH^ao++i1zY50-wIjmc8Tv}!T1z8AFD%8& zf<7D+-wt;EO2@r?k9hXY2KPERGP$$G2P21-+D0gJulV;o^+ExCwBOG zPD0khmN;b{oA3?sd?Bo5ox@ zZgPU>1&Y<1uwZtxK_LdJXul;w8p6kKHd5KW@L9}$DgSABSN-E;^qB^f%2$6&N9g_5E(bk`5qeJgJ>5ZH##(zdxY79+AIo8zAYKd?Y6pHr7ZpG!mKVWtA z#DXI4LTNO$M_r?1yjY0uC{KUAq=u8(xO}f+jsxS19c$k?6sfW#{TV$DoC*$GvSvuN zqmUjFWAI&csQf`aZp^@@+vf$o z^tpn=P;U1Swkw`>CDR<)5<9V+!doxqfH6qMll#e3rpKuSD|YH6U%{}E(qyb+hgqfD z%OI+oN_eZEDqE0^s5|t4%s6+vh?)LO5++B1RPsxaB)-4AdV<>O!edBaT~BO;s_RlM6i{Bx>QZD@Fd@7<|Z2La%9pynA@}PgL!Rx4|;gEcN{ly{U zdd%-xUn7#d=u6JzS5rAvV!=sZo9h66jUusq#P#H;RlB_Uj?lxw&j(j0p7-RDObDFP zv5jlLJ7=%zu&9MbVfxr+bH3O4aOr?2~a^F^(4QY0<=1(SSI zCs!`HGA)S>{p3few?9u7JfHw~4RB#Bl*jxT?p4)QwWjnbvV$?M&xNit=-XN^GeI)D z#TZcCj6Tn9eMtc*usZbRBy(n8gU|EIGylA-R802rrbgV$uLM^2{nB>FN4p_o;LS$*KmI z!esI^t`}NXiC7d+2t{Q2V^IwQ+@jYIKYBlYQcTQJG&aHl!s2_8sDU|+z17|%8o$_8r^Bpr+$!|QPH1xPlNd8wFnoylzn56vCorHf76sVcl5`xl_!IC0zcPLT8{!~LY zbZ|^^IUzBjEC&U7x0y~vL90qxI5As4_-mV)6?;1Sk2#t*dvGOhs~LeuILn_pU+`9G zwhFv!0`hGB?SLu3*@iZ4LNbVu;poGWLAZ9jH6Xca27e_Id}Q&G1`sR zJc@w#P)cJ{_tS8gZ=E^O5`v9R0HqY&vyk4!hS7@}V{z~2t+-h%`J-+;%rWdYd>D7~ zw0(v=;E%Wj0xVmoBhOT!Elt2$)X+qZ|gO#0Q!Cf;VK(!PR486nnbdwDlOFnaWhk@PH zb*ID#^o<@Lf3lzfCA}l-YcBXzec@0c=8dnKZ4B279Q-P*WDQw!w?Dsd`hkBC4|25B z@fqDMoWy2<8^WEyBZqTh!O@;PoR`WFp?JP`LsD{GT8~eMl|y8e!mBJY?uh+m?F$g1 zB0`(J;kV=T)>8gBw1U~M%P(4qxH zSM6^S@DHYozC8DNJ8yMfJkF}%UV)*TcQ7H7^2U)ZGD(~MPL(nPvy<>z^#3O13I;59>s-wS+bcr?x z|77v~{QI7f!e6=A%Awb*Wq;qaf6DcM;j|-(LJ4N$sZS93D~66^QR}#U%Ki80N5Ayx zw0Mz}!;q}`ZO(sNh*Poj3ev-H9CvLq zZm(W z8m`cq4lky`mIp6AZ9)dVkGebxOr%^0@H~ZlS$%+xdyZ-d64c*=y<<}6Cu%)1Y;VpY zk0o64+$lgbRq%gvv2?2^wdBt+TK*{;Vo__Br@YbUc%aWSN~S`kiOaXEHN{iqFAfF%!72WuaIkBRM*hgYP&V$GgKHLhIA^Kvh7PwpWvweg77wCJ>m|gU~|B%uy4zU)r zWZnBEP!ywPvk1_Oo^l?Ld65aFN#vEl8K!>?v9Y_s^J2TrQ}PbZ@?+%!yo^`;eO24-UDW08#3*l7JlcGxJE^!Qy8+)|VN%bN2K!5)9q zOY!Rdh^Kwet{D*bu?(0fbnJDSkH_2fRZ2aVjvdZV0y*XuJx$>Ks!}FMR6owmwd8Y! z0@`}Jvn;AK-{LNB1*bl8@HI$(ef8EAy!jNTOlobj;_9?9{>g@g>gbe?J#!Y0rZE>B zs3V}2Bn6NC`v%oTNK3xd5O+EJWafX1#3szFaVEY(&>7;;M6)k1t;c1|q3ofQzsD4i zd(Of;SR+Ba7?(A%d8m5=X?Hfoxw$Mq#Y55bL-wiBRVq;5Q>d~}bfk*A za8L?7r93KL+R?*$*;F5gp@vw!1q-1@tuF?sU31v zGu{5Do2%GmUA+;+^>l`r3#O3;JJV2%m%aiG5`JhSbQAtP+;@RiMRvj(nR<-;)keO+1%+z4 z?Cq)T=`*y$u_sGJD4|F39CLrhTunorb)vy@%Jhk)vQuY5-|L{R{K<+&6#rIOR_$vIu(9kT+j8W zY;-GIe()U1svrN5C7)Tl-*^bfrbs0^sops=ghRf^L{frXxhG|bDnNhwP}@urLe&Ab z!qNQl$W(Mln6faFG%g5EY5z9dLk@{S3ZYOJpFktlgQUm53MncAe_K=r>8W5k<;?t^ zKG+s#;souSA7*=1=*u|c8Iwx$VB}7<1ZN|n{eHV)voBIk-G{OFIee;(!;&1$0Wsl)s~G;{;Pl7rmpt^A%YI=CkBY@J=J546TU?w{>`5S9#acnl(5F-*x6!o zp(#TT#u@7HM1K5=^MB_0R3Is}M3B}|0y7jKh)}z(T^KzYb*EmX_1dUra;wY}XO8p{ zb-%?l@;2_v=eiy`gF4E^4I&|ih$0~<9D63&(0~)k49U`sU8{daY@;myodheR#=SEK z&~95tF6y#nN{*ry~vAj@cQRk>qXS6@e={>cs)&aze?ECRNPQVjEQzMF}JaL zk!zC9&SmT757df@EStQCaINbROxsbKlqFtGgZ|K`-x@D3lA3fN@ga%UhbmdfOe(1H zW7IK2eLfnS4AOs6{J{L=+-!|t6>F@w#NtnJ=Iu`yeBk>csVaB631p2kMXisMM+je1 z7ityAc6o?bH@<6w^xcdOZj1GI0s^*8N>UO~?pmBPF73wg!msc<(HFWm?OD_;;2YBX zY5*e4P8Q)UOB7CMVh>O%#_M6t-6LRPc@h5fdJULf=-z+u!Y87uUUkA2&xq%$oJ_r% z6OJ}NeG|9z40tl5E1JBkqKCBe&*C^{;9%dLwq~H| z&*$A^8-7&&vwZXbCEw(+w{V658=R&eEE9Cw3y8lifYv>`hm3M!`Hb&`3 zbTZbMaIa|wf|~u8aSm&z4?(y4&m#<6Yq5Jv{*Xd8cfbG$3Kg&HqnhD@%xy+}|E)QN zY|us8n@i}9+oiB_&2h+LK}7p1X?c}$EmnHH6}U`!hUm0vv`}fMCE$BAcGBx&DK+R>&G$62r4#GEa}2LI8#38Y5nq@%Vs8Zz(LuOaA@X$dmChgFe$vOHhc<+sPS@ zo+u~By}rsHWERwN8?T;NTdq+KHT?WXsd}+ZwMo#eA%^imrvr?tZ@X#Ht_wlp<9j?@ zo6LqJ<-X3G&gQ^^wv1Fi z7#I_^Nps>@CiyRmkY-MvYmBGuK4|mGL{x414M_rwr8C9(V=m&^5`yI?_XU-JZ=}8<_L%3Xa649Rf zs(NF!N|X$c5Xiwv?w>*N=+?XU+I43CC1;iH&CiW*h&0^q#WoREeLHmX8TFfMN-9TR zdOCpnrYAs|;>U-;z=|C&2g!p4j*&(8#=S@lW+e~%HsL{IhovK73tTai2gvWq9GUwH z#P}Se`yBnD0O=q1*Pun+W#c@QAP;e2X!oG(2b>`m^6fe(q z$HLS5A|7=WCjzy8IRO&;Neg+4YUrq6fA>0a6U8#h%s?MOSm3`8f$N+lE`L;KF@@&m z`Zc9oGg20!KD)K5q&ZTksMpX*8q%79xD+G0w^G<%b!61z*xAR+Z|!}-#*rxJ8uoNZ z?NjtVn|xedfkQG&8^x?$TZK1>R8JQ&S2et^Q9ak4?3yRlyf$_kdDB*OHfGJur*E@Z zuNuEDZJ&IfPBs;56>>UGJ0gOfO`GW1fyGoOI=&5En7Ok{QztRxNAh<)-s}4y({}v3 z*Nb*+2M{k0H!y_g{EV5n=LM!4s*)Zkz8*}$7DG?gJsECeYNKtjKSyAC=%wKmRNP4E z#ZQ1ti5(wkJhpQ{v7gBTth@-i!3Dzz7c6}LLmR!y)$NE9{VWaAm~FAvsL}r3P80(Nrhyw@_IfI9JLi zIwYCOr5&E*CH6g%H(kZ9VpMCjIKW7c;fdSW(%361pVgF#D`|1qFUW&t@IbO_s`G7i zR;rCAs~ewJYxmnNwar|GhZCZigze(Otd)RrXq0*G;+7L_7VGae_kY^D_Gx*%eVj9( z&pCN+fJCZYl!PrZQxLmuZ^Y{b)T3`Si5!vVc<|oB9rgqiYk+F4#)_FBsy;{_@02X) z;M2#K8u_>l{`?gV+B*<3tmwpV)y#rg$kR5|YL-)Iz^S|OR*B_8m0u94W}#)wA|XoI znz}<&L8Hl{;5>C?6SL`3a6a_F$--`vd}5cORLP~4cAmPibT{>UiAr_E=Cdw5+k1To zAHOOCkfpaGD>^n5TPd9uX)a{(#o_Y>Fi|X#zcL3ufw?*yb`HvKMWb(=`tzLAF#W=} zlcC5HV&2Mci>y%gTn_U&Hg}!&R0Tw*{D(B`=TlZAaI1NArJsovSe<_B^;7$UQCur% ze`3Rz9iNP_A)=t+$5-7(fEHL`s>DFhCxQt&p!o-Y`h>yoVEc#)aVR~oc>P=4mU4Ys z(a^V0)4E#xddjx=R_fKHU!!rR**(N`Sh@IS>(!)JHA&=sT(G|2bnqn9P)6I=P<1Pz ztr5p=|3XA8dzh9`34sC5%9FMM0U1Ec%*@Tg#?D2@%u2<~Ohp67B=2DQ!`Rh~nED4V zD>Ewx3p30AbV&;bK<0z9u>J3pAl`rak`h+VF0RCEoE-lzFUZ2e{eSX;AzHF=>zoK( zQ?=79K2j1zW!NYH7_|LFPKH-*OddJTA$R|c?7`R;%YS|}W2qFG?h3cpFE?ane<2oW zt9t@(6~MfJKMZ0-5#Z$1aJ22JSf%ZS6FA_e>G-N7c{y`LxH3x_mX*P28Y z&i$6aB&&^G+V2-3BR4Drfgf?$Vk}R3s^naRpZBf-CTOPIQ)BSgcp66Qvs)Cjo8hzk zqx?~xxz@x<2i@|_zmZKHmJ>&;)xQfz z->EoCp-*q`OTxE+{r9)lH;d!(>oeIWrn5iW_h%dJlvt@+7*8fF3~uyv0|m^(4Lu9Gz49?5EVPTYEy8At?B!4Vn*vSiiKuj_SFW-e~B?THpa&Q4U@NMo> z<9pUoEWfkXvw;VM(pkQ;>}LF79m97Ka$WzMpXv8)R&bi_V%0t@a)Lgf5&nK1e509o z@jI=Ik1+OV;g*x#@)G!4eLPVNj)h|i@qnn+vN1b*@TvJa=;zn4b2ny;#eSrd-uXPp zNwIwX9(NqWIA0V>L5#=FEm+mxM1WgAlC3L*u3EmG5QXPiSSk-vAGrQ=xXQ`P&SGnw zF1aQQRxi&h|LV^zzf_9V`0dE}DH2}7h;zVkeGlHXp@ZQ$3j-u2ljB=E%L z8-mALu37rlK6cmo?`;Qh{W_c4^knX&MizYJ%>>Po^Y3^2MDo)2=5+FrMDAr@GxJI0 zBVaP`RV&rMoPtpr?>+}a@q&|09zfx>Xk$rXQ@{ER3!TU< zQjNAvrbpy?NE;T1M@2tMK9Cn`Z-~F&M((Br=WqOO7Sj(y|B)VeAXh9>$jS7715B5#Zy2AevEG_4eZl( zHM59(TT*b7i2DG@J8%tnI2pKA2I}=H-$yv-2sIS*9>o5AIt;|U@(L+knHu^~2D1u< z!m1bu-Is;m%Detrt{7*wF=z*We({lrQCYQuHrI#iiU~3z8r+u^w>g{sE=9Psi86WD z!d)qDU4BU`l$M@gnmJ+u&3-2)*X2%atpp97l=w#Be!`Aa5-l;;I9>IuuG;-fe6MGJ zcZt`;*Szbm|Az|1zd3TTh2Jtyj@w9yp<&ZzMEfV;cKWwp*=d~?Y%Kb4OsZDiX2f5bxo}LH#JViRY{dUHsyH~f60@^%6EhR5z%faGQCYqa&;Otw z#Jc>PJmNoCxJ5WcS;QqoB{-RXh>1!3;NWDJ;NoNz=V9RyB>w+*LHb%q&dlDz)smQn znVao@mski=^et1(aE7nWymAHJoQZfh)_u7)4!bzqE>({nxu1%EF_ya2*ztxKNk~%M zJ558oD$Oh7;0T~fD3MBupkRu}W0EL~LMsylb9vS!k+Z^>Y;^zo8+Z1v`|_z%sOGGT z=tyrxXPAg%0?=rHe?7?IDzt0ky~qKSV% z-UcPe-$TFu-U=zrwQ|-t@YuVVk`}P+IUAfy*6ro&@bj#qwF1a{l6mUbvn|JR#SX_N zVogVS02FoYATB&*J+mZc!FX>Nw@=dBdXRL8hxW*mvi!N*8@Wna(T}Hkf zG92;cGU@yj&;<|_GU#&R`FojSgV0BC3;K=lvY_sS5n16Cf_NOE#)Bk#z_kFf+aUUB zokpqZ96PVW2mIipV1CIX9@QyhpNegoxKjI^KyTU$E3jH!i8;>=hSl*iiJ5eRr|=Z- zhYuQ;N==UM5AvnsIo7HByPo>^8jR_0VIijT$vr|YKWjq@1T-Kya(fWZJ~^XZZ_K*I1hQ38t`H}F;mT(TRxPZ4a3jwrOmz&NBs`S{S0NcS%(bA}1brN^3hzD6*j*LjJ#ne0Id7qS zh8+3IfCmzt@fXML)?l}sp##xHK5DyOAd9~-ygrJFi>2CVtGo6%N2OsP>R$d56(>ve zIkOWlKj`w+m=PKK$kAlCcG7Pt5W^CBO)p@HGW3<4`7>DCRb$z=Tj{_ZwbhP!E#kO) z_7jW?3tTV*{@IgfJ1NC~s==QL2={zy-!tLc5qO4a{07>EpoaLx3pk zzH0F4l9X+;DLRb4kQMidVeUzVNXiejTu#D_l{QKFmt3y+f0wGUU7^}wp38q{pU@RQ usF~o*>`h%$ - 1} + You may set the current number for the elements by setting their corresponding counter to the selected number. You can do this using \verb|\setcounter|\{\textit{name of the counter}\}\{\textit{number}\}, where you replace \textit{name of the counter} with one of the following: \texttt{definitions}, \texttt{lemmas}, \texttt{theorems}, \texttt{corollaries}, \texttt{propositions}, \texttt{facts}, \texttt{axioms}, \texttt{examples}, \texttt{remarks} This only applies if you have set numberingConfig to $1$ (for all of them) and $2$ (only for \texttt{definitions}). To change the combined numbering, set \texttt{all} to your desired number. + + +\subsubsection{Referencing counters} +\textit{Included in \texttt{most} and up} + +If you wish to reference a counter, you can do so by writing + +\verb|\ref{:
---}|, + +or of course, if you do not label subsections and / or subsubsection, dropping them. diff --git a/docs/parts/reference/style/tcolorbox/counter.tex b/docs/parts/reference/style/tcolorbox/counter.tex index 376c226..590f37e 100644 --- a/docs/parts/reference/style/tcolorbox/counter.tex +++ b/docs/parts/reference/style/tcolorbox/counter.tex @@ -3,7 +3,7 @@ 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}. -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 and how to reference them. \begin{definition}[]{Title here} \begin{minted}{latex} diff --git a/docs/parts/troubleshooting.tex b/docs/parts/troubleshooting.tex index cba1102..06c9eb5 100644 --- a/docs/parts/troubleshooting.tex +++ b/docs/parts/troubleshooting.tex @@ -13,6 +13,10 @@ You have most likely forgotten about the second argument. Then, the first letter \subsection{pgfkeys: Don't know mainboxstyle} You have most likely forgotten about \verb|\usetcolorboxes| after \verb|\startDocument|. +\subsection{Numbering incorrect after numberingOn} +Check the start of the document and make sure you have used \verb|\setNumberingStyle| to set the numbering style and not +\verb|\setcounter{numberingConfig}| + \subsection{Undefined commands} diff --git a/main/style/counters.tex b/main/style/counters.tex index a44ff9d..c0ad602 100644 --- a/main/style/counters.tex +++ b/main/style/counters.tex @@ -7,57 +7,100 @@ \usepackage{xstring} % tcolorbox and other stylistic elements (i.e. inline versions of them) that have counters -\newcounter{lemmas} -\newcounter{definitions} -\newcounter{corollaries} -\newcounter{theorems} -\newcounter{axioms} -\newcounter{examples} -\newcounter{facts} -\newcounter{propositions} -\newcounter{formulas} -\newcounter{remarks} -\newcounter{all} +\newcounter{lemmas}[section] +\newcounter{definitions}[section] +\newcounter{corollaries}[section] +\newcounter{theorems}[section] +\newcounter{axioms}[section] +\newcounter{examples}[section] +\newcounter{facts}[section] +\newcounter{propositions}[section] +\newcounter{formulas}[section] +\newcounter{remarks}[section] +\newcounter{all}[section] % ┌ ┐ -% │ Numbering of sections │ +% │ Counter numbering │ % └ ┘ -\newcommand{\subsectionRendering}[1]{% +\newcommand{\setSubsectionRendering}{ + \renewcommand{\thelemmas}{\sectionNumbering.\arabic{lemmas}} + \renewcommand{\thedefinitions}{\sectionNumbering.\arabic{definitions}} + \renewcommand{\thecorollaries}{\sectionNumbering.\arabic{corollaries}} + \renewcommand{\thetheorems}{\sectionNumbering.\arabic{theorems}} + \renewcommand{\theaxioms}{\sectionNumbering.\arabic{axioms}} + \renewcommand{\theexamples}{\sectionNumbering.\arabic{examples}} + \renewcommand{\thefacts}{\sectionNumbering.\arabic{facts}} + \renewcommand{\thepropositions}{\sectionNumbering.\arabic{propositions}} + \renewcommand{\theformulas}{\sectionNumbering.\arabic{formulas}} + \renewcommand{\theremarks}{\sectionNumbering.\arabic{remarks}} + \renewcommand{\theall}{\sectionNumbering.\arabic{all}} +} + +% ── Picks the correct subsection numbering ────────────────────────── +\newcommand{\sectionNumbering}{% \ifnum\value{numberSubsections}=1 - \arabic{section}#1\arabic{subsection}% + \thesubsection \else \ifnum\value{numberSubsections}=2 - \arabic{section}#1\arabic{subsection}#1\arabic{subsubsection}% + \thesubsubsection + \else + \thesection + \fi + \fi +} +\setSubsectionRendering + + +% ── Label generation ──────────────────────────────────────────────── +\newcommand{\labelSectionGeneration}{% + \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{\labelIt}[1]{\refstepcounter{#1}\edef\tempLabel{\genLabel{#1}{\arabic{#1}}}\label{\tempLabel}} +\newcommand{\genLabel}[2]{#1:\labelSectionGeneration-#2} + +% TODO: Add support for subsection counter reset and subsubsection as well +% -> The way is to use a counter for each mode and then concatenate + + +% ┌ ┐ +% │ Number the counters appropriately │ +% └ ┘ +\newcommand{\printcounter}[1]{% + \csname the#1\endcsname +} + \newcommand{\usenumberArabic}[1]{% \ifnum\value{numberingConfig}=1 - \edef\tempLabel{\genLabel{#1}{\arabic{#1}}}\label{\tempLabel} - \subsectionRendering{.}.\arabic{#1}\stepcounter{#1}% + \labelIt{#1} + \printcounter{#1}\stepcounter{#1}% \else \ifnum\value{numberingConfig}=2 \ifthenelse{\equal{#1}{definitions}}{% - \edef\tempLabel{\genLabel{#1}{\arabic{definitions}}}\label{\tempLabel} - \subsectionRendering{.}.\arabic{definitions}\stepcounter{definitions}% + \labelIt{definitions} + \thedefinitions% }{% - \edef\tempLabel{\genLabel{#1}{\arabic{all}}}\label{\tempLabel} - \subsectionRendering{.}.\arabic{all}\stepcounter{all}% + \labelIt{all} + \theall% }% \else \ifnum\value{numberingConfig}=3 - \edef\tempLabel{\genLabel{#1}{\arabic{all}}}\label{\tempLabel} - \subsectionRendering{.}.\arabic{all}\stepcounter{all}% + \labelIt{all} + \theall% \else \relax% \fi \fi \fi} -\newcommand{\genLabel}[2]{#1:\subsectionRendering{-}-#2} % ──────────────────────────────────────────────────────────────────── @@ -77,27 +120,27 @@ \setcounter{numberingConfig}{\value{numberingConfigStore}} } -% Reset definition, lemma, etc counters, add a new page +% ── Reset definition, lemma, etc counters, add a new page ─────────── \newcommand{\newsection}{ \newpage \newsectionNoPB } -% Reset definitions, lemma, etc counters, do not add new page +% ── Reset definitions, lemma, etc counters, do not add new page ───── \newcommand{\newsectionNoPB}{ - \setcounter{lemmas}{1} - \setcounter{definitions}{1} - \setcounter{corollaries}{1} - \setcounter{theorems}{1} - \setcounter{axioms}{1} - \setcounter{examples}{1} - \setcounter{facts}{1} - \setcounter{propositions}{1} - \setcounter{formulas}{1} - \setcounter{remarks}{1} - \setcounter{all}{1} + \setcounter{lemmas}{0} + \setcounter{definitions}{0} + \setcounter{corollaries}{0} + \setcounter{theorems}{0} + \setcounter{axioms}{0} + \setcounter{examples}{0} + \setcounter{facts}{0} + \setcounter{propositions}{0} + \setcounter{formulas}{0} + \setcounter{remarks}{0} + \setcounter{all}{0} } -\newsectionNoPB +\newsectionNoPB % Initializes % ────────────────────────────────────────────────────────────────────