From f70ce6d2b376c1766c573d94b999187c453afe08 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Thu, 9 Oct 2025 21:09:15 +0200 Subject: [PATCH] [Style] Add new intuition macro --- docs/docs.pdf | Bin 326582 -> 326487 bytes .../reference/style/tcolorbox/counter.tex | 11 +++++++++-- .../reference/style/tcolorbox/default.tex | 13 ++++++------- .../parts/reference/style/tcolorbox/other.tex | 5 +---- main/style/common.tex | 5 +++++ 5 files changed, 21 insertions(+), 13 deletions(-) diff --git a/docs/docs.pdf b/docs/docs.pdf index 226e9f03b06c52551b747729207d0521a5023b5c..268956c12e9f70323a286ff52af62b44ad22532a 100644 GIT binary patch delta 32478 zcmV)YK&-#E_Y>Fl6M(b<_dSUh>RI-F=~J6F zO`ArlNO`D4^FWLPR*Xq7C{nBb_s(8sch4~fLqLVf5^#JzW@cx9Y?Df%do_+rL>hiB3GJ1J1`aI$w!3eLL<&-;5re~wWcZ?jv?_Lu|rFY~@ zlsp4TLz$8Ac|m?3?T=U{aA3)JN15fp(q{sHLa#`a97SUqtOYoIG0O6N{^9K=}uZa+`YNPn^YYNbOnUA421OFbD6)*QLkA1$ago@h_CyT3cxN>|M! zZ_puaM2H^-0RiEE0or??PCk4$JqjzFtdegK%7RM+aS?Bop_&ORAvWT@=F~eOAS$ST zQrtPB4OK$%qKEfWGE&Y!Tsy`K2u2hHq!Cv60;c%$(l*8mRMrpn3W|#@S`a;|E5r>H zCnA4jgu3B2=w~ftxV=YF&^jff50yzD2!u=g5m>#3OimTIlDC8+)RKxA?45hBBvb?; zlmQ|&Wz5*R*#h*bMKp53s8h-|sDfgDXS86dE>NL9xrp}2E!x?uxtx9ckjf^M!I5U+dB1_tKX?ANGh~< z3abJ<1nG_SSQR*gfVbR+hp4@RhiM^h3>+$`SO9peR#GoHWNZP!jMWsLK6p@nKx@G$ zhiXu)R|MA&))2&{77d2}6zjp;vVN`zsF*7P>QtiZJ&LYXgj-pJ?2{5=uVE6Qmd%1e zV_=yNtpRh|xIlsy!n(>R0zF0%OpJ1-wXC3pQmJi7OSE2*mQe&-MiE1Qs`cz~^&tZd zvj~BqvLD=Nz7FvXOb=LXas|47lz0fl3b{q9q$X#0<#6Rq^V7k$pf15x%TO$X>DXB+ z*cBXCT8q&3WhoR&joXm_VV7L!|`Jx!qZxLD> z1RbXsdq zsxJkaHeMGn9HNfF5$D1QUbGz)6>pWTYcvo#6VG`>i{pzPiaV@}APs8_rc7$Khu#3S zFNPlviLi1sF>5Vvka3ZWQE#T}0;|*Oo072j#zeN&qZ|TyJORpP`+9!*_R4UvnduO)c88 zc^_A{QerT?LEJ#QQ5c;qkDm^oHyjW-Zkn*^Rs9sgU5(+v5wU*qB~4(&hQDICho1EL z1I^j|-jn{LdhnDc{dC|`85>?Wwm$Ag{riskEK$i~gYt1VR}pq&{w-tv z?KJM@{O3LA12>d^b9M8ak3tVP=Qr#AH*@|lw13?Y?+;uI!~!?9`ud2;F^7mL4UryyqX85cVqt3VDt7NzX_QK8S=aQPyNmSEyl?b zi`Ts{0pCJqgwu%dN&?~OiL9c9QFz5|&RNcD23++() z@ipBYPDRpC3y-$L7_K!}HIap4y-5FMIgw(V!|~f~6Lx57kg;)N9d2(!wtjB@@Z@Cv zQ;!kUIdzv8c^Vc{{C7_Y5k`y#6y1tjh zMf&|-N=@#Ehxxw)Yk0hufl~n#m*7eP69h9eH#3*9F99llS#ul55q{^d*hjF+7|(sY zB~E0eBv&Q0^pGl94-g1aEQ5dylChms{(HLT-o;4*5Q%upGLA-1Pfu@m&wMkzOWIsF zw0V8@-TSj|zvs4b#A&XZ_g9T{L{r@uCy6tvd4Jh_82oj9KIC>VzB?ZZAqGQylY<}5 zKfZqhtxcnUfmK*+Ed;ULHJnh%L)$+`u2vsJSltXOuJ_2*D58WyI+L;IR~5Y?|1&7^ zc{2UtHJdE%Jfm=qSf*fTp6$(Ob`y2}+r$08k>%{w`?Fup7;w;rmBBK?tZT-%XCFS& z<`RB;(@-LuZGQEfx4@|h)dD_Gn|EgyXEYj+!g!H?h2T#=H?6O4xBR-ShY~PSR0GM@ z5@%JzII&JQi%D~Z{ci5BzO0PP%I1m_pf6dqQFgpe|(7OU@2ecqJXu&}E6#OwNbTfZggcc+0@Uqof3~qon8&4nZZsxN%xT_%M?%@-Tmkq}E z_!}Dp|EA55G2&DVgPU1PpoCFDuMfBQ8WmZ8z?jMTP)a#?H;G(|aFWFt;)Dp|B7*=1 zO+?_mnx_GTx9f+S%P1!4{COU19aNczAJ{GUmEbk*Nu0^Gw)yuJPgUgfAMnITQkvM(9Ah0V20&fYOtUplxkB(nF(#1CaO0A z%nwqUiYj68pcSXGbWlibt0rp8s=0O4s&tVDlT}HS%DRaJvXX>E$^-Av*H}A$`8AV- z8PErvSMCrTduAt``QQp$zm|GxC`KW}EM?csbj;p&%L9UN<*ZD30IV;ZHZJ7>2G`yh zX7K7MC*dj@a2O4%v(zvX;CdPXGaQ2$%|sAm6oJbQ8f2m|Ae2G;XX%BK`bTMrn7W!) zw4_g#j@st_V-83SV-84diiOL6_r%)G0UOK*@g@X#TV=vTs?C^bu(USR;o_QFr7ezL zac*oeWg@gpnTWxZj4D{RW}<Tl3pmaDHE|aWuhg0iu9;)(IFBllO_@f%Hv4` zjqhFh8WVS{T15w}M0~#2Xp$X*Bf^BvJA-%T-($SMupkpPLyd_|`31CpUl~gnm0$63 zTpCBN#1xjsH}_LqTNwp-XfX*3_%+>DOZU`sM`Vc9tX3H9Fb_9J@hpAFtT9IpOOj04 z1_J^9`|-8^;tXW%Un@F#adv6XRQvb-5~Q(2Yk(LUVqF9FflDK-Awpw@O2jD=6|t0x z!YQl-K*q2wtcV>qEs}(P+-A7`jv6oXD?moLVg8|H%OHI>t}5`1vrVe#P3Y_L4Zg_d9tgIj*K z2kxf|+=;ead1jaZa6?ZvKlc#+sSut@CMA zA$xfL)!@B33cLrDV&L*_hWC-_knq0ry9VByqr&?Y&i!_OtdI{ZKyr*b*4_qy z1%T2*RoehCX>liIy$w)E^)^7JwzdHZHE#ptKFT&g*5%Z;0m|?;Zv$Akj`Bd;0G7xQ zO#s!`?gAiF;z`HI^Tp(L2mD_*U4s8%ASVF-6j=BJTGWmbWFNi9z89^|Wi zLB2BH^?VR9D%ZjM$dxgF(KuCf;8vqz$QSScBPSd{OmJP5{iIj%2WmIjYP`5JO= z*uLKjU@)4A6cSbjGD17$9fFr3dqO(c?v6k=xXaE5W0IOf!YT7iCV$*)IkOEYr~!v z#>czQY>)Bx#`wErgdX2-tJ2?W!yen8Hnx|V6X!NV`^a-ZWM6vS7ue@q`M5g$%Bf?i zeaFoYDJz3f12`2B^KCe879QC|nlH46G$vrOPc*ElSDN7&J}kiCXIGPOZ$!ZAY#eTX z1PD}EVK~OZ7JEhIfRr@@&(B>ba2{i*Zi*(E)I#!!*oN|n+QRaoj~18@%Cy0JQoIf3 z(+Eo^(F$GbrLz4zxTMSK^Lku9`6ZfGV&C(61&a8X5ox|zd14>f5?8!QeKDU-M~mNg zIJIv#UpluB0~(eQJp#_>``W(>oM)DQ2(}r`OJAiej)CUK+2sAn{fn^X4yZnR%t}z7 zy|)MTe-u!krrJlG+V_}#^|^gC8CutRuhcE^N1B=WG$%E@TYFWmx!r;xxFwa$gNWPG2 zB%i4*Bwwf*$>%N#lFyo)7LqT6+lb^XARFNhgX9IQI;FypfyJ;|cPC3?OI$u?{;`;U zfskQ?`Q47U;di8T0eu|T2>^N_VPz(^oX^8zm|$=n0nvW}(b33Z9+~#1g zzOTqX?TUQG!ps_X%KMW1y`a5+knv7@-q+;!HTkCt@psJ%J<#6*^mj325BExFm<|c|OTW)kmA~xVZ`b<#aip%U%;&&u6w~d>eCA;Kb9HGtq!c3&_viZcOsNX< zGqEnrFT_+ipTy_l`mDuC)#aCgZK})XnsD3#I7D4Oqzmh}0KlD@S$q3`ePl~qK90UW zcXBWq-*1Qhoz~sb{5YNyD9z_^QR_#3tc3pD0_iAc`B!M|zA*o}4Y?ibSAKG^y8IsN zpElMvGCjyfxE|~8efzyjSYP*8zsLHgdz`;xR_L+*wnP0L4B2D-)5iK-zye!sIoeN5 z2gLeSzt4m9m!13VTAx3Ej?`68+>=yeP*Yn!aSzZdtl7~i^P}ddz`uG13ytzTxvCdG+^dGS>4|%iaZC<}dE%aiK&QBH7HG7!H{(aP#1;Mo z;BPnc9iF+@Y1&2naWGGR>fTpF{LJyzLqAp{epF2!<*-z_u%hy5B^F6_NDrLss78y_UnVcNAp|IyjT>h24vuDj3FR^5G} z=DPdbMRf;#(&V&%>h8(_D9_XPtCJ zQ{5RSi8HD@{m{KR`rGw!&+XCV=C~I^9QFP~9{qa!?(`M3e>R;4QDJ>+A&BL!D$_vEr`J3A>_dQ{UFJtx@Jld)jIkUQ;BoEYso<%qHmHz#T7i<)RnG6)nHKY!-X z?8WEvvp-M9UiJA+Gz#W0XF|h-2$xb5MY$0$DZ;g4f5chNVLA{gnYEqLL~_Y;JG`EB zBWX2EXiHfJL5YN!sJW3YgK^?HVJhVr%KdwN8O6?KHHa3K9>M^!5y5fY2;2Hg-#)cM z*Vfl43avhNqqFi%o$9(QHF!`FO0_AY%s}f? zM1vD3f3Z@U3Y8GvwBl5j4hqzI71744xplItbdd*>O+lpcE<&ISH6WA+KERiF8|O8X zgc-2MPhYvg;@C1e2}=|_UklORK6oi6C4JViX=K`G@0-N|LAY{OVjKYP3#X04IKbf9 zJHw2Bddf+7iUuZ(hW!H@W&ob25yS}wYczwPf5s>Rj~#5tpfRA7!TQhI3xfT7Z3tpl zvkF6dvUYE6?mxurDulZIufVs@<3|*!&H3e*33ZY3oO? zI5)Pq5`o5*2u4>js+1_8fvBjAUx=u^AhjzItX+v1+EcVAi;E2js9cH=D9Yo(fu_$P zf4;=U1Fu%A15P3#-iMgD!QzMqnc*jcPgWgpdKeZ&BKTCohexkEoE{~N3U(%?xIfw@ zDHMu_yNlb|6pmp=!HI1?4acx$-Qp)4)3E1(%D7UqS#h*|9&TR6SNKO3O);`BK@y`) zn5(pV{W4rQ15x{1h5K2Yr*sgi=lAv+f26TQYluP`*1BfSuLz}vlQqNqhT<2<;wq7l2skh-EE8tzl4XKoC>7Sp>*?iq{^=N+(jzdXStr$c7`7cO zh%}hKjOJv0%>*JD&Q)+<1)(sh2gvKnM_T#)3tU9~-diFG?T?F2TUjYISoCR>At0DzRC=j<3$Yj?bt4Z=WH6@T2ME;w@!zf07=^CRW^4&7cf~ zZlP9HGo*22F~dNCgxf}|-4Y{?%AL>>NzVg_kv&^*FJeSP$_)wQw!}zLGx+i{e!H+C zF=B|dT4i2D5TW4|TX+$;PYs+gau$z3o5dsAQX_~~+(_=A5FW{dr&h+0Y8mcHjTC=o zf&f;(6>!wa%!of8e^E$8DzYg8L$)cREi-~>#cf~*6*E%%^m!2@K7QE)F|vaqhLv&P zK#Z&_Vp!_F12OWvi4he7=4xIf$?T98DZOsXisT4+zY2yppHuxoncUlJ$T_`%Y@gal ziYOvsmlBAj`UNYTF^CDr{oI8uLc_sISnF!Y5MczIx&kGFe<&Ou9AojDhYICHNX>Lt zx==7t4BYIBB^hcc5d>RG1kr{PiG4JbNHnIUM9}b-62TFcPLdaf-a|qp4-Rd)n-KAL z{Xt7Bu`M4$VG?S;Jp6=RTD*|NP%5mDzg}Pc`|J7m_Tu_#ISJCXTVO%LK>9M0dypVG z<@p{Yh@ytLf7KL-5-ik#2}DY3?LK^89`5@`b}s4G!fChw_C( z`NE-m;ZVMCC|@{a>5rMEOYnfDYtnQS+F_nv_4`AYFECESm+TUf6|Srm1@&7GhXFfL z%St#{`J+OtU;u#zlEfGz!}KXA(7s-Y!o?#$JNhP^fZ(m-unykLEZadDL> zv8>1k#Zam#U$|MCst;NXQ}r~Cz6|847A#2N3t8;yY+Wk8s7$_MAh}b6?hD{}yb_jbn zQL_c>VVFPRuw0w~*#$Q~LqT=`Hf_V;!DBnTe{M2#1RK@^!NOY<MYLf(GFo_x+(893UVT=qhtJ8R+du080a_crCGU`w+@JN> zXYY@|dO%?GiLPo`56OIe3>5{G0?z$P73CSI5_QC?JUxpgTe9Y`pt0}g&v+C!R*Z*a ze?gKJP;&pUs<$n9 zjuIB18qeXl|Ahp^_fV1mL$h4+f`%dj3ujX84-tsMB!%6^fIh#OTf-X&jA6 zB>Q2}i&&bF2Z;9EU7DaEG8%s>kd$p(n;^ji5tj%TVrgwc6ho=7MsB8)Ye+%^Ex5Q| znhJ%s^+JV098X^c^c_kR7AOtj$E!>B*1TIU2?^z3MJ7h$^dr6o?{soKyPm%fe=p6u zK8FAO9^d7M_uo>cQlb~G$H8qNFd1J(k9Rh-V!_mOf# zoJjAJ`sd{K`h9xuXABT7#S~7t3NHecS`t-W1j=N*{~`t#=7t-<{{fT*#_E@WQvnmV ztz7|)8GqecZEqa65&nL^f8yh|3Quu6f*9{ z0EG;>6zvW=xj-{##|1i=1&s_rVJE?00jiLoA;F1YN-WVy6u~TTRdq2tNv2Z>jSPH( zcU0<(1&>Mw04Rt7Gh|?lgy$*XTEwLYJq%M6T-B7IAvQ^h?K=g&@EQ>RCGU-GCdR}FTAmeT6`?Q6VrYub$Z6c zRJ~xC5-6My3S%xXlMZ4GW^)gKV)6*$NL%7#HGm){^FToNu%@B_P%;Z;Z-3D=#t4fI zwa|oXDq~Ft%Z}tN7E%U*H`&o658jSvizH9a;XoeAutQ;GLZkq9#eE#k_dyvc>MeD} z;)~TBwfH1Mf*#P^3m!!PLp30Rb&j-v3dd|U5D-u9E6L(fK%fZnh{2-KXD<6abq_!i zfS_igs#roW49JsJ_CuLIGk=LxZ`Bh*a6+{pDR`v;Mv2oSVIV;@iu%z9E0v|dNCS+L z?t!_4m}S=l2LY3C_9f^b=B9gDN+=k*x*gdXrKeSPW~_mLrf0C>2q>^fjW<|Kz*(y9 zch-avIH9=fHbP#21bY{6b+(`sy#vVA{HNB_PVw;AyHhJ}`n%KheBCvplehCw=XW`CyZ<<07>z3z6L-L1d0=NI#DmTz2V*kom?+Kz|dJ=pB&d<7MN zqZ{$gHP;y2cDDw}Hn(PS69o`+W&LDxPQ3*`DXoJf42PhALhTG zpPzquY(x_tM6|wa?PL{&R|JKI$YK}nGj^sAL14=!Y1^{`w!H0NKZ{--#qAjS+%6-z zEqTjr{S9s(%o;|u5o{*`09vyhW?+|7P{(_qyOS`&k z=dUb}H)yOD%_aQvrgO{>rtKBndHuU*?W-2^J8OUV>3`l z-dTppW^5b?K6{9D@;)5yE{)$@L!I2XdN@;m3DrZE5K?(>36*0EqB#sF-Hz^bdibjTLoV(nrw>W>aY}oCkYmpnk`v~%(m&%V zG?H;893$h(0jDN~k9K45F+1+$)D$OxrS#d6$Fd_GB|G#0cId;hez5mk1||TKC09F-9$2aWlQLve}C44&Oaq^&ygE|_VLo@I_Wtm!3!yp zQ@A!mHD&42y29ab^Zu_rCOiktx%=QmL-LA}zZ9=n8A>1<$^ZWApvgF2AC~jGf$h!} z@X4I-RoC{N+$hdVIL7MQJ`MbT4qn7PM^YH;$jw2FeH%HUL*E7p`>+w2?`@#Kj)aIl z+buw0AC(TRmUd-7n`-Hksi}QxrjgX7V>}bGuY-qkpnoPL86)z0(O&^5ccAl^fl~n! zhwFX;hwFX@BgdbtErmV zt95nn?mbjwD(Xz4rgp|aDLY#*6B{!tA3$7DLzaydz{<+O%*x7+L`9_m0$T(BBS)h8 z2y}D;+1c{_%R<}{Xas(fNf?3Oe+(7vYyoo4)&MpR02?}uo)1iT5XK_)<3r#Ba8TT`GT;4M2q zT~-00Y!9^k%UIzr14h8#%>l46v;8;R-`;-&0@?oQY-D0$XJc<<>khIt2bh7ZfdFMG z1!k}tm=R!PYx;+wk+qZEf1AINixJ4$$oS3RPwGYhDN$8`(OZRo*XLy72(kw|F*|{* z|EQ7Wk1%g-mb5h$x3jSU+Jc>s{@^D8as-;Z_1&H2@5{BawR5%g{0}k%*_xXDQHH6r zJ&UF-$iW#XEAh9@n+WM2nK=*);9_NEdceyhRT z)85V=VD?r9&>Lh1eEUK2bTV=Q0>F;WKyS}~EB+TDv9SS6K_*~;G0+@ji}X+QH!;xc zFZ_1@jvzO{XV$mzV*{}M@%isb?`^_N?QE^x|1tmbidhsyb+nYl8U8N$ze+JNJ2!wQ z69*T7iJglTz{bYTe+l^TcJTh+I4VYZUs|8>y+FC!^uYwJJtw0{}=|LBcu zK-TVmTf9xKGx%)_6z$%2!S?@}Y61URT}7ZN$l2!qYGuJje{b6$YHR*B(M)Wd%&eS$ z$w5w1AUB|?3J7ds@z>P+CD;68->gBlKovVD&>t_%n-?qV|IxiInTgfgE8_Gvnt!T* zZ#(qAc_nR4>`ebyHg+yMeQHN31HFqFXDa6ZuAd&%WnJ+ddqI|U&QsMGqJONYubM#fAo&U^k0w- zzykaid`oNg5Bvjx{-u4RZ~ia%#>(Pf@U2DvHhyDifAuf;M#cJH@QtUb17{|WzR98H`Z->8EBd^g@^ z^*{K}e?I~s&<$vUv@mOD!XIc^71(lDA^P5xX=jX`6SeOm{0c#9Tav(KSJhu!;Qo>$ zJ7Qk6WBPZ*{rbB@_JY@XD{Wj>EB!UE|e@iV+;c4oQm{Fj{A|v4Od3ZQbpaNS( zQ(Mc#Dn+NJ+hi%7E=0zT+7GM8HezuM% zf12)QOtY!aPv0(4&=kIqppomr!9`QlRa`8MB`Af6+%u0THF*?R#hi{Q@1;;VI2o(2 z;gpazm7L2s`~#~_Mg7uqj&0HeaX2EtF$%;e)=IqPs}=z9GZNl%&e~wbe;iz?nbXpZ zE`v-(h8}+YNODNw|1pQii+lWJM4A_re~FVc^2pLc!_qkLE|%pGqVj~GzuWX7!)})C zvad&LIKn_Wv}YEnE9_^b5sHffxxEpz`a>d9K|X$#`EFf^H~6A?L&TGSI-zjl)6{jE zVVEpZfY(x%6XqnyZ0fmji)c7R?=`Sm04fyU_pz{_MPrZicv+u0(diK z<98QR1I1f}zRjr8BvUB$hlNMme_t}E$>mA2-@jXYNH0nT7|AB>PA*9#(>J)jX0`sz9TZU+%{i4ZFn9JO2MEXIy{}&gO zrw_bhvd6AWA9B0K271D^WnO}?A70NR@kR=qKGKYWMQK^yqbwNL8-o})e+j>ZP2IN3 zD5_F-hpu*gcBJGk0Py2g+}N7f-4i#%2v>C@Hxc+6x47n`WKkMU#d>PE7$Q-+v(69_ z<#2MoXp6!h!*YJ3U7JymstC~pf#RxTS^?rX?fMvz{F|JCl9p=*&5Jo+?e-+fa9;Xz zF^=2#Jdq-=6Lnqx2Yd%Ae*}8Lxwpn z73=*pzwG(q&pv$9pC_RE7)G@gXFIM%8-UH_EQ`BF{cF`UTNW|LOsk>=T&$OLuLs+9 zz`;&>4P|_>U-%RDBN|lgq`Hrv@^xWZE$SY1yy5e{#k#hWv?zJ?e-_m)dQ9JF68WUX zNwdIfZPdpPAKsN&P-G-fyibPL7#|PM1f#$xh(nT?r%gAhsXcRKEqN=NcpG+IB*x@C ze@T`uEZ1eRn6!1&n{}(^rGQKW;aPgeO!QLTr*HQlqxQGom=;ca+|VnlE6n~>Aaq8b z|239#><84ag(08$e|uH)l$>27c(BrX;s7ssBSkKx1pPT>e^E>7yG?g@-Aq6MuQEiA zB!;Iu`L{GxQP(S$^T|9=1|j2YQd3GcL>)Ib7hjaHx*vuk1$+H91Y{5*W)#Dv-f>&+ zkPB`}aMjnf!}*@hmyd#aD4J+^JU%01+Z&PCfTfE&&Jc1~e?P8We&S2q_C|io`7ODC z7lym}M!Ph!h~1)mI`>#+eE}?l$%FLQX?=4g>yLcr2Z1uk%MY|U*bk(WmXyrj?qjgT zm+%IKe%+ZmZewTf8~G7{a%0Qz1rWSvNSA9^P(ncvE0-T{YXO8><4K}W`C0H4Qg)xYV9CH zlM^cx4#oa(jh5JsP_-zkJZ>Eq$X*O6&!LEWfJ6D*{C+sase{xm3k4CP=}`iF@wjia zEl=z>=9|Rly@1im%c8iTXLj5Sr@dfpc9G5WAT{PSe-G&X1V9#LyTA`t?MpzfU}1mZ z0jT5br|dKr9Dla=TY4t6VDp$oVJbQS2>|xzhw87<&z;ijX50` z_E6D2pKgV}1$z3Yct`10vV=x=0B_}tW48sQN!nhGQLVX0QQ4Xu!T5Jdkx)GzLZf;d(Aocra!yS832*osg4xU}EQg6$xFR{QfM8C5f)y8Dyr!V`SL=Q(Lr066Vb zb)Jonm*e{2nGSbg1+>I;+2;w`4hh3a(4M2je{2g1b@=X2+JyN*E_h@raXp11z9Y;* zLHl*dI84dTLVgT^j(ut7o1e~|NlHbhMm1!-!n0smm=VAYA4_U;iu0q^0by8Dl}Vfw zb<`AkKrS5ZR}tv8Y4dX2np|D!8!(mX9;0)f;7y2rFF- ze=lOY%TPGw_gVzh0kY?({>wzN*Y;_m*ZEi$^o@mpZbmKGitatk_ZK$?=s6XbnpOo` z?6cC;JCR_kJO+!80+fXY8s_;5hx2vL&oEae9=yV*`ZZJTPnER%C7JA%%f|;-BTVym zJ|9Z)di5}_zlDQf2yeW(`-ijw{V@C9!UhK@hr>;Fr4|Guu7F76c72>njcG?kJmLCjKl4^g)R8eyk49FqxMw({3XbzJFER`jIZ|8S54LxsJ@ZYN zSNi_)nwYXn9*qU*3)^P*8&yubxDf3$g~?JNS7~bYA>&*E2?6bB^y>+kvD!Bce?~!5vJTNW{zJT$dlyF(H?c7?;I^ zYfGa%cbZ(E8x5w=4v;%1>GrRHaDp~N8xKSNe6P<9Y}1h##`RFBe-e4T&v@R$QidVW zv+bp_mMklBPUtN z4*bML&3=Aba%BM2kGSZ=Y(lO?mchk&r=^|p;AUO8AZlI7L5}bQm z}3g~loEaAa4u93UQ2qpUTT3A`}MpXs5si9$Zb?1-a z8^mY{@#xkk>;!Z*)Ih8UoB)RTnxNY@^Ox)&p~%m#fd_45e^ur+sD3nN-NFvluFYZK zxm5Wqota1Q?KL&*Bvb~Y00qP|-R7t7j2_?bdp#m1+9P4%f9I7`v5_U@K=fzSRa6IS zk=r|uKLO%xu8hQTXU8?S2mta-r^qw?T)r=BzI=;mV8 zkK{9J`M0MMe`a@N>uZ8u5wV4;b4buzd{5_bwC#wW!@GS7q%k9%Tu3Z^lZWE0idB%! ziMCkI@T&#kX3;Niz8UCgLXc$CbtZTmkj9~CoH9~=ES%)Uv>ZKI(pjs$ihji)e)YxT z+H6~^&j$z2468bflpQZ5|B|*c8N1my@ytm>^vYLjf4YZyR)EAn-oxwD!*&rDwb-NV zL#O4+bmtY~ITYpLu{%I#8@|gyt0)=>3(Hg=QXW7NbrBYhNQ%!`Yo3AHYK-}40!{1TW2^cDNK-WO^kX)|3dB?_ z<$#2De=JJNweu)~nX@TxzJU;J}(&iv^WDWInx%Xl{ zMH)TAGScjahhV|o5Eie8TJc0qxV(=gESh70wU^@{(+HYtyU^L ze`W;5jY7i3dzYm_BY+(Z2zEbtmfDTocKLQ)RG~HENXn$?g~9N-`Qu6jbtP1;E-ArP zy0AVnia8!gpx5C1Xxy}UWdfXmQrWC3R0G!aG9O`PL0Ud+YTS~prsz|96s)O$hymVE z%}UuB(#FR?e#MN{F)k1A3zVYGX<{v?fA6JLE_80bQt!|eWYf9VtuUOQd9z`Xr&vFk zVI>qRBU=i9&UYd*D6celJot15!IFc$EOSOBGmc;u7N_TH@D7DMXajPV>l*{F>54rBMk$;#cR%@lp8+>SI=OTP2Hhh{DLsQ7Yq?N6IrijSK#c^Z-;K1$+v~le~;u@ z$L0v?I4l0Xd6OsLUhj5jy7Qz_ACgJy_Uz;cP_k^;H{FQ3qggS5oAU~pLD&8{*OEMX z095Xr^G|FO6qedrC;Kt~0ZHv87ee1>{ow`vq~#H)s;cne@DyvI`9cg}zXXw~H<61T z6Fb{>C)0iO=qpOKf7HMU{>o{Bf7vOlE$P2e;bM1`+-*%il`+;Ad8lT$7e>N!A6fn+ zivhZ4ujyJmU#kk53gh;XGK$sMCCh>n?R1bEgehO#X0*M1AJvkbc}!5`wY%N7iF2*h zEsLv-G4)|w)2Frc+Mp9w?UZJ~@B(UCvcy@YFH7cBp>N#u6?PGz(Hd(9f9$qvI=OJX z^ldU^*tgTM>%xbFkoM;ApzI!BjESgBk<@rtRq}YnPu3qD5QhB}YECJ%>{T5x>RH@V$106 z+eO4Vi#zI+4>`ow>!$Rhe>M$oKR{mFh@IjA2_XvF8SF}1_cRYk{t(iORaLV!lDjvz zi6+$Cw-}6d$0)UGd+DxcCS&ld&##2$E~6O>%d$d2PDe8H3T}WqWiA}{E9@W}{{eCh zbNd-jK=iN5hF^+|QQw@*U%8d=0n4g0EidKhH_Hg{TsYC@Vg0{@VyHs7%rLrE;ymJ0Sxs4jO z?usmzJqSnHhf8R}T;$Ud*LDH};ba%@^Jc?beH`mxO*M=aj|kdRSot7I&`kv+nnR-K zU{~BSl*D0J<36X7e^`+-!bQiHI~aY!L(jgXaUegQJU1$lS-5K?cCvh$W!ZZ9v-Jvf z>Ml0nyD&AMXf0PUvh1ta+ecfyJ{|^HF4s?bGA>xlRjvG*FizX;8fw?QNXCW zSs_&}tkx!NW0VTpezy!-C*1id?2h98bZ8vlHesfTr|>OW3sdzrM+7}sbD4>|47jwv z(AdNvi(B2706rtrG9z&9JE^x3RT^pWQ`orLYJ`5)nfWxSu%vvRmviebSE3q6N7SJL z3C#{cDWKioe_}x+j;Ksh0W(2>mU=?^T8%4e`x$OBn6D!y`UBuJ$11@b%l5ae1Ib|$ zY-ll(g&6l~wZ3KJ{vwgv*C`=mVgD-Gl33*+PCJy zzTkcy6061+cHt0wjbxY;#s}5BPrHb+jgR|*)nbzSf3R|G)Q&AW#)!B>70T*;{L?-T zQoJSu6nA;WCMHP)O|!{urV9Nz#;kpb!|j+6DXSK}I&)`LY5~}C`TYPP`f2GRWU1%{ zf-O&eaT=httckV_0FyCwK7>1KHko=eOVTFk(v|=wl37i9>vdE#7+6&l2+`l0v(KKa zMeKznf6t#(312t~C_@#3cKcTINOq5t71fV|imW&)dYwGYUw%8^AMTB2{JO<~+Lpz_ zz7!qmL`SEORj>?m1G*_pT#ZO&!%^#_uH|2+gzD;J5O#!MW#cf!BHa{t z4MCQL$E!y_r-8}d>)sC1h?_cav9NevwThV(Uj9wWFyb<^(QzWJIN1SqhRILIyUN6c1-s~t4<<6Q0(IX}WJ>8`Q6jXHZGM$(FC42{`;x;nL1a-9>63r!9 z@4IZ`UeU&BA7Q5@JbM-^3BKU#PeN?}^u-iHlYf~ykZLpOSyYn15kFgl0DR$e@(duJmo4#Nu?C=eEa025yUhee}$G zzJD`cF1$%Q6MaJaudSrZ5jUH)IF?E%*M`QM_QbC+eU{+?=NwwUJJj%C9)+%6Bs0*A zgUrwdb?H0}n`<@9a3FhEd~d$cTEqN=5BfPC1`ZIzIT5Zt=of4MC6Jj5|76wt@bHZS zTQNDGWJ$mYAncSpwh3nc%CFauAj_sVX@4-_vw@4AO~3?IQ#LBBJNAuoCzCU>zoEos zaO>mywYwN@p80^}bD%7fvy_N}7tZ_gmgKSTLOI4uU1^U6Xgo>58K<@TvR@8k^u}^uJ2*!IvDfUGcE<4lZ+4><6@_EhFP&} z_Ufu3Y`RiRnjcf&6{AA8`nsggp79;l^phH3&sv`lmEC`)R8IESkPM?3mx~>~v;Ml* z#7|(VdPejp^~Y$p@9$;M_XvO+qXbQx3{HD4AzWh0{qW1bk)JGS5s6U@Lw_fTlA9rW zrC@VE=0QeUbxz_WZoJeYFkuhPwz{I>w9!H4uAb=p{)y}$67}ulc`V&rI0{}{?;{gK z&i%JQsMY(TG0!AA_QA7k7`q6z+G1CrE5*dX9Ua35V1b@%ykem;d7@?_& z@90AySUcAm8ov>-+cv~DCzlx6gOA6i;eA=!@A?M0+s}Rq9L$s+l*YLI@QOYs>15=8uK7 zG=Z&KgXb#_Nt`E($A9C?^W2jFpWNUkWJIm9i8`TMHz{ckFww3WUZ?ixPoL^>3P z4|;-Hh-W2jy9_V3Z$52TmkBJbyDcwsrEBrJl`n>%HW}k}9pKe83eHj-bA4jNoFY?5 z3S>vX?s-TqSQazvDa8m)tq;OY=G+|d8$D1;gZp}Ai`3h4hJQwj|7@|sN@Y}JKfsG; zo9@XsV!Bjz`8>+!*HIih*}JokwW%Dhc(zMO%7<(C({qcY#n_mTp<|!t2B92di-$&o zV5*kE>7};ayKmw;SboqEr?32L+5TZ*>JH2KicX+G7%u!znZcUjqG!*0E66Jiq2gq2 zOBFXXGpG0C;(sD4A`Gk5nU=9PzMXJd>&94vvIH8F+IEWtyBX_kJR>3^f_UT6D{xr% zg?m3x)>&}24Y1TVh*ewBo-Xv@kv0p~>4%WQgKDloWI9JblH(%8!`z~RNMTFEZL<}M z%d`1>bxVNTT^I^z5ti)XpKS1_jMgg(&juD_jY?W|&3_1`L-VzRI}E%a;Y4acQ7ej8 z)oDfp#*3|Ha!fRz@mtABk4wZQ=6xwJ&nR_y&NJGqy_Xme?*(-?ny}%OS&jIfvn){8 zzVbX0w=I?KR>NP>3)27!}EU`%!-9Y_VG$wMdv{~^r{7uoX z)d;XY!?X6UuH1x@(E%!Hl8WEp;TXex4(YwSI z%75P|p@!ISD0VefY2+PO)(${XwQaZ}$;31=rvV$)|0>^c-ZtZitC|VBPL>QzRo^p zHBscdSQ{A3kX!L}unPCErhL*Tg0z*QT-iNgDj?MvfT(BGk0nxI%km4U^bB*)c83DL z7;&&T{B9QEB3CwJk{{a)x~;O_Tm0&lb=F8j?Ew*Tl({^J1nkP#f3iTvD%R&qJb!(E zq{Dv#j{gsJ2!f5FiUre9MdlP0ooPg|*F~b*)Lj z)A!y-f1pO`g%lmTAMjl~vJq!@M)-R*^J@Os+{I}g2EJXMMjH&Rcx373@Ynkt_2}Sv ztzsP;=p?UAePp@2hKnBDu*jJ-a=+F*E45FG+I3txL!6Wu93)Z&kViT~rhopaUr7a< zH0fv4gRb?iR|tQFJV#LAISIHjOl-xMl;akuKg+G7XGDv?l!e?Gqf^^{JJg}84T0M_tk$K92) zhNy3|iV5H9+923mQhm=hzVo*e-mk?#7kaabhzR_w=iZd9jd4rG@X#CfPw+On6}zfz zu;>4BtB#;97%&h^gS>xLLkz1)Sceqnn=gETSvP3d7pqtRDSkJ$5r29Z_boj`PYq5_ z0dGMvtF_jhjO5&dpom~l-m3GHZx zd5oVriQ;TNC1FhYD>XL79H5q+hMgS2@xGFHp>kK1_-pryrj$;#y?KWBH28zU3IX69 zx9hjINLnmTXar+UIjlJeTFJ3X9xNcFHTuxD^ZUqCl>z*f05`r;* zf?{1;pWiQOUOj){u}dgvU8J9AWXYR4UK(y@Zyb_P-qe+{$A86Cs*^O!kA5Eb+l}*M zdymsHfdqS~IX+dvN$HNv%$`UG7R$<)8+KF7{EC{FC6pyklh$^a=)02#tp3k-cNxaG zg8CYwDz0?rixPavyNvspwoCav6StQFpzf^D72O>3r@qUKVIes2`oT{!Uw65gF|F@~ zi&;mo9P*@z8GoUp=v8-bmG9&}R?wHHPDbXgq&RCLMXk~fJyd-Z6Fq{2<-s`#5N({R zqy62R8*K8GvRbjaIq0au6nqiO@qO%K4-Mzy9zTrN=TY_})XmHWU4+`xtYM((&+7>z z8g#hnjh5h?Z_;Q5WwY!cJZ~`=pBIG+5xTDyw1@80wtr@c*328y-?7U$Z!3*yv>xya zbS%QAjlX9O^tgr<28*g;h>}hO&kv_4tVut&PH(*X;F9S%6a3oq)spE2U&VQbtC(Y# zLD+lwoO8n_h0s&C-&|YG!1I{uJS7cn3xl(L^O^yEDt2a|E#Ji?igvhQ8KpY@)CK2iTp(Mpu6@7jMAOPCZ4jWKL`iNrNJ z;o9R!(*K^~q{_(UH)5BqOtY3HQ!ef>8mhs_gJRrvezq7#0!v7iLNfp9NA^o^Iwu36 z;(xF-StxM@Mc+g6xdRvUY^PRG4>F?}rvqtEU$1{4XNll09FAtJae8EgV7m{<5H=uC zqO8o|izB#Xbc(RF6X#(hUzU~rQi?qE#M#tEdArlRA!YwveRp3}aTN;T*GbynCB*f| zmDCvZ!iyidAkWSD`YsUm@`MeLOT4(O%zuvp52D<)GT(zc;l>dAnm$j{Cuj;wR0~Jk z_EEC+yEJc5K@yNkkN2R%N=$0m*gaSXFZS9=Z!~OhZPy!Tdd;Wy;4yzFAeXR3cYN%c zk*3giZ)KKrj4z`eBt37yt2ZW)%CB|2a^VwFg>Mr_T#CeRYpi2Op>GiKO&zmy6n{!4 z3^kYw?-IwT4-n94xzk)s6bu+R-bJ8BA|{|cSvoiTSr=1rEAUjHdE275px?Uhq5nN0 zn}h8a^Uyk9(ADGTaj&OIek|N9XcOt7_Tg84Q9=_X^9P>!MHG$_F@K1rHZQqUF8%oJ zsn-OYZ=QqNiK;d&HG3&1D@VI%lz-UM^9|O_hL>oO_#U9JyJhnfJo0mHWVPS6@H=6V zf|fBqlN@Da@xtMwIWK~k78vm*^Lq4y3{(SC`xcZsu@Mm4maPjBpJN`+hy1H!56;&^ z#ySM|QRCbdq{CtN90NaAfMXq#&1)IPkn)$?bC#8cIiI)f9U51j&PZd#x_>;SgdGmY zC6m0hnORgaNiMma{fL6yhC7F2q@{i{x3IAU)1ZAWKwAL^2Y|by{6Svqjw|}dOfS$7V=>UzBwgNPSiK|4{RguUCxkf}4uNQhDx3)gD zind3pRrIh?*G)H?=N_e3@B`miW8d`zVA<&^4taF))vjY=qX_)yEP^-uK7oC*+r!B1-y}%^CO!2r-MLH5#WjWUGDnIAkG{$d?=1XPJb)a1zzm5;G(LbE{Zt0EYqbKt1q8Js8SrjphbhN^$+814X1^)IP;1% zuAW14HYeHT3yr?H)b6hSl30z9*GMLsVHEnaZ8VLF5QUGnRPjlXX=H?TU18k~L#-&F z?9MEdX+>CS>v&^?;JleCO)|i>fx%LB4`B9wz36VTpnpSV*%?|QTZ>@&i*I?d$>C2C zIzkP*1}B4j4n7MRf5l4X5`GIiiX!|rx3cp-wC8Or_VAf}bP_>sGXaNYZp3y*#55WS1qF$ff7b_Md;!sI z&dz)oe}8{|S3zI=VP(q9Nt7(VODogy=p2`dSo^Vl{YNYDxD}e>Fw-xirGI{;P&ef`_U$rV@7#5>17e$bf23PG zg_nHLhwky!HzthY2>ndbqW+ltjs-ohP+%Nsg@mnmdyEZ z_BgpmjMy4W3(;gPW@U1qcjg%UZ^#Y&pV~joI?xZo{r%w0A+6zIo2uPtG{5as50t{n zkxGSzgzX94)M3iczoD#&;G{u%7)o226dx@K13ag)GbC;;%1U0x3(8DMiB{p z-{C_%=f)@A_f*T;72m|_PmNL3J;xN03e{umu>6jRkS!8arOt+7x-NiNM54$_HIu6v zhuzfg2_J&He9tfw`8jydi7U*ggnvgni*~_}Bi>v=#i%P+!$VLnU({@ENC;hapEvXN zvpPihMsB9ZzOnLGCh^03C}{Ki(o?Y;VvU?fcv#EfZ8MaTr^~4}6gze<=)hp*6^|O6 zUtU%|kekRn5)B1jh`hu1O0L0v(Pv~<#Ik@5Kd-ncm$XBi6+Z#?mz!VgtbaJvk=MTI z!Z0FKh+HG(_nv`1{pM)03c5Tjc#GFXj;3v2C2Hyqj8I?LTgy=C73%R3URv9iT=zyZ zlFs>bX9fdF8%*#xkHL!laHaj2gu(jWM&)nMA4S&})jhR^FQy~l{(aQwH@Ui5>QJY9M zMd_S%Ll%SceNafFGn|%lEjAYdY+GyQtr)FQ_;?P1zYz&&--+RWYHja$rtVAD`Hm!& zSIn4(F$D%8q{PxF_uOAs_I^mwVlRwgCbze*`i{XFt4e7-M# zPv~oxOF!2>?)9$zexMl~B0q5CyF--zc%p`a=(6#hj(Q*^uEABoY%-jJ%r`j!bQ^Ph z*xLRvPguj1ysYM{V1KCek8V>gCaPoa0MqE{z$c;{fhtUGd#*dpTZ0MM76~|1#blCN zQX@BVjw_-zA(Iw^`VuTHjra^F7o*Gla{R})q**@ z$b-ws;Z#68p?@v4?O2g+G^7u@QK8*`gfjCBdpvF!TXomE2uoA%7c)xN}TyI-W?3=X;rh43}_Zv;Bf zF%pXpn3M>83vR_L~BgM>`Q+u!jP5|gBd;xX3V zofUxb%5Uvyc76SNRx{Jjko0_QXo*tG!~lm==F8|y!cUOq)KPa3BmudMtHo6hFw{OO zGI`~p8d-HMLyrsHZ743V+kntdbsw99hOtbXQGZQ$Wbh_y7ui?w2Z`M?mwXgN5HPgM7+7+U4t?IH9ZV6ulXH)4Ns*!TwRu-uXdHh!+ zp;0{EyBwkJ?zOWY61^AN^V3N}PK=ga75eWtd*wZvo!6X~frE?#Tp>6gM^7O+hQjKY z`G0e{KNfY#uYJTO{>5sVhg5Iniat*rGP(<$97)jze?&)s-l!wus`jfL6|SBpi0ymo z8C3zT`M~>|cR7(u9EA%dNk!1Enc2bx*DsXxy|_2c)E1avm7S!`@N@ido>yzsxsFM~ zZJ9tx_gR=cDVd@S^KEXDsD}s5AKWFy#eW?oPhan-!sx9nb}^POH|V?%N_zy-A$w?l zyjEzHJALr8p_4rRlrMU-rgP5cG`Kb-KoE?X@Huvi_?u26H-^Uv@_1{&fC^EqmxoGe zJ!C4%Vv`Wrdb_0C(C$;bEKzuXPv*R;yhOw?(%QQob$+CQo=Buu^AZtf}%AI`k?bU*XX08Z-T>f2J-u zuRQwX8Add;xPy;}2|JX6sN!h|p?@Ds+}~7OD@Qt&@^B`@A?1M%waqc?hOMY=@O8%1 zHu-CJsglz4@JAC2bqB)^I0nY&G*Jqh$gAtdA4zypFRl=(UxW$$uvPE^cmgLF{MiLo zA_}fXmx~3$r7^kMPI;OTTu3CdnoRSPGw~S1i+mRebH*U=%p@6>Kk5?3Pk*0I2gY@| zaRCbQ@_cQlb9~quD8MQ~l!eNaGh&desWs8(}|Ojfz_O(9r_MB1$yN z-PXMX#m%ixlOzhnl^LWFT-gNox_aI`q%Qrc;alckJ=!H!TzdzwtXMK!>Qv>m0bcqo zFC8JoIZ5>w)E*H^Cpz@xzkkB;5EQQ<#&3It4$o@Si|Kyn!^`El&?1_`D$l6cZdHp;gwQ!?(dNDspEJy#K{48_*h^p3NCE zk0g0&gTZQBFYb+~5+~NFuZv+K3~)HX?GE@=PM?P_*#cR2UkF(HC4X$r1C7fK_kis= zk)6yL$vho_k8=m{?X&{oDnEp^=a6L_-zyi6jgC22CDTQCv}HaIIt?L!QqD*k{_<-w zg&A^IsfYwtk}XTRc(=_;MbQs}rbkRvQDGo{ z!U*0$lJH88C}o;JcYhV%adIikrlT^6dSO*Z4Jk#d$^f}dO#SnL6%Ftb)G7infggGayPZf_^6h8>w=e#JM-hJU3GA>; zupUC){asRDmGBFybQ>F=FQvUZ>g);KONq{B;ad&!aDRC6>Ts*m){oC(e#X%!)C)&& zIx;zIsYe~*5RBnuRU$#Ax(@x z*&xz)(Tj!OcaDwYKA4&w;jDH|9~vY<$yzIiD+EQK`zZvhPU$<)`drMEx^@LwVZ~g& zFB)oETW(k- zPcgBc#|F<$j&>{Y7=sOo&!{EqPft@bT0zsM)N%{jkh9dainVaGa9D8^Iw~)B;2+h=`_o`3S6Zl(gqmnw--S@;v`@EOa@cwZY{ zcVT+wetN!Fo@(u*`Ds{s%^9(hUUclU#5xz&zcyt+!@BbkR_Xy;=5$;@4%Hk&t0b<& z_`L5s<@_&Q5evmyR8khGlKW#7tPU>dl<-VO2iZAuT#9=qY4aBuu7*~#yuc)_Z2yo^@vM;*jueXl*v+%S? zU0)P&_t2OQb56N1 z=gxStEViVsy0IXRm%u(Vf%Q&+-R#(s{(pCHzXCP*t@cGd-uF11>32+}!y1E?DlpMn z>3@DI63yG#J{`EN!YXm!^tlvo4*-1U+V75MNO?&}&z|FVAGu}kgf%J_$Ikcu5>FCh zAJ@+BGc{+>^|2b0hZrtK(2!`eXU&~Ur<FtyFBcT}ltHoqo)eT@?%N!-k0s56}oZXaZcRB&0Fp(Nms;km zWNNC&qeG^y1ujQXGSDeE&p{%^{(k`%rpS*I({ws+b!1T=E(4Bc@Qc6Nm&+->&WJBz zX|?Ue2d$sm@qUvy`+Xq8i)rjaE03=k7MF~?RO6KkE^FHIY{ZG2&85M@+_f>vU(3si zklK%&GbIg^^R?0A4Xavf0q|+ZBwI`SWIm+NHXDrvev7+2YuYt^B7h5G7JuZ_*ST%? zirX~aPbcW0VcNg;K5cKHoh*3VV`ir&r*|A*Z>CiE1Y^Pija*_L1lN8z@=@h@+;w7= z0gLd^iZ@Aa@2HkXHHb`P5Gc7V8?o?Pw&oy;q|mwkTll&73w-4;hL+4&J?gqbc|f|E zMbfbTDs+9IL%`9UQ79<1q!e%{T(xd53*Taa#E977{{c`)L_W8n83eGx0x>X?0rV+< zJXv!aH`4F=74w)>%EWzrPq%Ukr@azj`O`()5TnzB63vUoM6;a`Q zD3Vn>2F8>O&?pNpz^zn-mrI3$B?|X{P=HHmi%4KfC%|F=&cRm30E{=-0l1K0I08)4 zZbumj9S?Yn1yU8vn+P2j3T1Vnm4r>LhmIv=(7~k+fHh)u0IUP->;c$lK;{A1c)Ozl z09zShQvkLOfD7#{H1G#lG57~b0t^AzG6wiX#KwZ)JW33J4X!Xii3u|87?72Jl_(f% z3yX3vK$f*0M?jQHVkZ{PX~dI2s0j!Fvb}b&ms5rJK#l=wf`(z^Oc6rTI|eq6Cc<8z zo+Kr9JjgzR@_^Msh|~NhVfuLj5+L~9cnbl;L#M24-h=)9&ImwB#Slz#usHw zutz|gNR`Ji)QOR}3Y`ap13h34EdVho>=91n5NVD9ae0J`66r-O5uedxV$x~n;lrIm z>`g|K>Ctt6P=Yzi;;;~J`}27@9fOh5@95 zcp!@N1Gpi{y?P47IX{tqGo)$?{2IkmJsDC>wJecR@aflIcf{N2WN=i@i;qC${*yu+ zm*3{a*$zwrE8_Ui>k_HIEO&sb@w^<*XAlW2F5eM{|s|js$HB1s#Slwp3&Q2jY7HVOq zDfF-^Qc3m_WI^o|87$=Go>Ka3VfkeEV)x-g+Cc0M=EKQ%6PZ!67r;d~fz`lU zYSHkw1foWNuxW=SMTO}m;ieGRmlyv(=&PP2Y6krRyTATQvkXEo*VD^S#m5C-V!!-4 z9F&JoAD!VIA8i1CD!6q?^;8j~>p47{^gwgU_H6F+?Dw>cC%4fr_Nv41Nc7Yy-wQ?5 z)CL^EG!@`91x{Z?v_NPPj|~dOJ=lZC@xnuB!-G_R(C~*rpolL*q=nFnP%Bx?WJTcF zC=rsjh0~O*D4;e-ut_|l0U(@OhzGxxtIP?ya@E#GEF9tLqm7j`t`qVH2b4@)Lx#Lk z0;gx7H$!|=3nx${o>oCkk8MEyxzDrT(`KC1@-Fojj;JVg9#IA)6#@z~u!eO4s)I%S z1f@}brjTYTNGpkVPa3uctc^8nQS16Ob2g6aT;LJ>>vmEk%Nq(K7 zRpz`RH;9$sy(R`73ey=R6;7o%PH<31qEZRQ)2yTMU_BWl_VYMl;J)Woj595;fl7Tu z)2g*F7Nkd|d*s8BP*~i~NTkf5aII0e0vrT?Mgj>JTn1>eum|8U0ELdC35Q$T-=tN_ z#Kp307jJ|*|LLBo@7ms57aYNX-GOaIvfoJV&d$e9rjY`dtx;3RrZ8A*m6Vbj zOQG7q8b}(Nt&%W8xO9c}luRO0Y9R@`fL3itPH?)-aFC=^#GM1sDkb8G$iI`wv$bf` z7J>(i`-sx_6cz&p6^0DTp+3L|97x!Ic?y^jr5huKk3=C-BCUqQDQTvw%@X#K&f$#T z=Qcx-+){K@7h(-fA)R(`ibEo49b%AL^l5*Bv6Nc4WsLP%Ls6o_b{nOev>9iu<-O`K zJQ6I$F-gIkd4`8Y$m(Ls_xLpgXgUgUCOHP@bCaI+(B$pD@G6cn!S|qDSuN;*U`niXK z2EEW@w4fZ~G(oC}Sio;M5ko|Opw=@U4-pBxI^eqk7`h_4JC{^Gu|PSu2VBJ29uRoE zBPSBreRwNUv?n9ccEMz4TN9b3khR)Y(ys?C9XKu8l(N`xBv7v!;}JMt11;R=neS;4 zKT^Qr_qi```4{N^R6$9z0?1QDGSm}c@ps*}>q%MuOE4Dm42bhqlE_kj@pc|ns7U-x z{2+EywKSp-*zyAgWe5}hy#A}Nf2903O5RgN$!&5N%ec+Q3_ANbh~@29q(e$hIf)Xe z;nS?mE0m-o5cm_F!&2?EhwnK`ilnp`LUXSUWi4XmmUgUTpu#U7i`G!r^{OA9kcvz# z6{+0v2y+)9nW%~{D9EsX)TPuwE6f){phg{ zWWnPBF;Ydy8!N?$lBu9J$mQYB*ZOU)oU63Sy2*V=j;f|j9u7_4IAPoZ zE=aV<;MD>mLZpB=lkh;u$gXc9fGSU~Yyr35;CQ-3+fc;!7ggSop}D_=vh-|g z5H$>o-t81_(q@b`%7_D_=oE-8J~OX@>gmiUtTuFaQyBz*<|RnXflO8<;*f8j@dgj? zR6OPu2EZd1+oQ|I(O%OQX&azL}N?De8&-@_DiutQA_ffaQ7mOade}L-rIJb1Wh5Q;T<%+R(i~BCK=+RqNxMNDPs0gQ#VQ z<(!F@uJe|En7*gYIBPBLqkKQdBdi-*w}8#}clpjvQ*i_R#l5Ge;*Jl0@^s%>znxg=vz+R;82Eg77xWULC4_v*2pCH8fWvZyjM>FTFwq zW3_?aItVrKpy>E|o7tjLIKPF!7j=9wiXT7Z>(UyZ6x7v11w2M;Gxq%M64&U2-?2Ee zp;nK7d5+@ zoM1-W5vO?(&FW;Z8GHLxQ7e|IQ=W&QijWL~oLN$ll+S6H+vd=hd{Lm@nNb-+)5e@? zF>02K$_@hyy2heWP5XKc7BnCq9g+=nFgzDGO_t3zET5hnyf``rmY*LVcd@L0fMtWX z@{m=Muc=n42FLigP_5RwQ?)*IvW+hFTD$=#!r-;mZN3dg{VyODbd|b~Om2xyNE3O< zJcpyEM|ii5%#NO)9)36hnZ4@t2cs)9vGI;jWH$7NTWtkJbvZ5j5D>(uoXtQS-Q&}K0nw$AP&QN233{lg8D&!{6*Et-wHEZ1+cx7lc#&=)rVc$va-^aOy9$e+`zz_ zSsOp&_#$VIH{#8g^0J?^$kFf;4E|UgUzPJdWt8_DWpvIe&$e8tGSN?f^-6l1rqpdBKAt2}KL zuOI*R`q{}Y^3)N`bf}`4)<48D!fpQlshP$`+2OJ>n|y8+wV%E@I6c@0K94@!R;S_D zx|G6;+2EF(0^9eC+g5ge^7=;fr_;$F5Ewp9=2wdcvgqo8jhddg`>8(_pQimmNnq6D zi9tCW4RQC2MV}`wMw7{uhN;Jc!|}y%Je)W4eAp^+9PYn3dGnOy*_8zyh!am77*;~m zKSG?{rc)DAe})lu_W4U6|LtRx+Hq&4!KJh_;d@Hy z`_&l-AUUius#EH^ilRRo42SdK=)4qta6WLx!DklGT9?G`=W@OnhJNnJ@j7H$s ziCtaBzCU zO4r@BGQQ!X@f|1k{YvjHJNk>j@S`+W>8(0!jW*H-9k;SpW^2p7Z*8G(mFZ4)Pj?^h z{qpMQ(W}m@IEYVH%R=LKdXlciC+l1BDcyZgZzMTynkUwO!zL%&<(SuR-@kbK%h8j= zSNO@k4g&(55Ab`i%Hns#O;|G1$TIS7MqDFX%Q_>UZXh$yv&tJRr8UXp@pv#fhZGE3 z4lgbs-;D8VZ6A%#2%tdp8RglkFlt}@!a*?NNBvnzU#nTUXKl!iz8p{AgnKfa&gMvc zfqwV0zj%Our}xA2`PGcReowH+lXv4G(2Klug!J1eYTrG!DDv_Sid2mvyGoJWo}$%D zxi(F@O%s~%k|xZ$6-_3t(&V} z^x)U8wx*|bwa})=ZV`~oDnaTVcHKCox9M3iY8z|xxVpaNDmi+4a+(M1HaYQjA5*?2 z9=A%*J>qryAl#xT%G)WDHHz#S3%Wh}4rO^@9? zq1iQmD)aXVLd~;No1(h{b=`>881+2@b-S={Q?zQ3Ssn$eq{IP`@{@TI~o~af;nP62; zMhC-lC`=WH=|b!LH~)Tu=2D~3?CFK(3hnHFK6_}c1PkpmF21KMbpBGf=2K3gSuXe6 zgA*!#EQ0^?H2mc~s~?5QKg4m{9;$1P{N4Fm*QSMFE2ezjSXMtw5!N7ib2A?e$B2h) zqNpqpZ32Igik~VOR7;0&P{p5l%D;huzXHYGO#fox+iCfgesigACA_+-tZ=n!u6C(5 zzPj}WYF=%ZtJV6|ukoAts`W-&UM&}^^QRuVD0g*S`3;aPs*12ItGrQ`)dP)N{s(kU z=HZtL@C26zGBGeXH8Gc`@B|$OGBGeXH8GdU@C4TZHo=W}ce-)5AL-Ia|gGg&SY|2=i;_~F!_?k{)g{&2?)py^xemzVzj z{5VLa3&qeO!g4XY>wdm`?~Z?7yUCc{p1Q~PLuI@J%fHuS6g28AMFh*mHCK^dhOfWIg zWn#iWjZsIY?(b*vW&Qu!_wL79d!GKvW0xJvPqP6$X_IjqHKsVxh`3VvN6h{rzMM{Y>%?gCs`7s ze-)KlD88kr%tFZ}MdfjD2eWm8E)bSUtcdWnaUWSDvI11%t;1V~tOC_|>^EDBTnSd; zwc<4(Yrtx}jd*L2wV)2K3$Gq2koAY~f5;Z}2mG`5;^}9aoK^Y5c>Hsr2{hyN<7vwE zU<2MxJXTd`0j+rBcv|j8(1tgK$Bqi^paX9op0?Tvy6{fnaTGIO4PkoJBqY_9L6Y8RVnj05}L{EtFr>M2El;3#HSNbNu2Um_r^WngO%m zI9LE`kYnIDI05Ft0(cCZ1dHGle>e@a7A;b%XIsv^&OtaQwLtl<%R~20W~JA;`E)XEbCI>;)RK$E^2?5;UA^ku;L;Hyiz137X3_C7t7kf%ZFVHu;l=Xlb;C(=@IF zJ7zZbU<>q+Yl9j>zxaaLf8uY-(nx-mKaf0Q_T)E;&f)E|=&;e9c9^Z5m=mtGt576_ag6h%Y@lEwq zZ3TLuwt?+tmoI3dezTunS2SR`_B)DpSZ;Dj(V*p?x~XW$axcy+f7)rex4%;~Y`HJ4 zDH^eS+dW02mOpt}(U|2gJUEDP%fEJ8QEK@+R~7BD{Ex$mCM;<ZqGUHv#c*rs;lX2fNeJ}Na)EAM;WK<@j tG8vW0^jV}b8I{R;EcyN8ILAMY;eRz~CF+-r`ve~fF*G;|B_%~qMhcJ_RR{n8 delta 32614 zcmV)1K+V6`_7k@E6M(b<_dNkMm(gee69Y0bG?%e20V;n>b0fDAzUx=ak*W$|ydSs3 ziS3lvsbp;(QnlU#m!c$=DRNCwajjGN?`b?5zzm-fDX(Zx)vhQu8;wS@(ZKf&W<;CY zhBn_^e0g>8#n;?6jyTPAb9K{5M>N%qagsQrnyc&P-QaJF%OSUe@x$d%2r(G?7diOu z^8MAf(As}A8dQb#t%V?#yM_}gd2IWaq}A$!2&)Ue09d`KwA^iT@oP zxtq*B2G1tThoC5&BbF%`T2T9TG@mA)|Ngl8)vH{5b#?Lc1p^J*urgRin03wg{^H$x z+FZkD-!_y8XPaMw<~?X?LbZV3XUz{6Z!c&HV8?%wc9u}XyrrKTQ2M3`nis*C0&89z z|4~BI`}Et}@CFTX36=zJxFwu%Z;*i+P5Qgb6+7RLN@!c@ky zDEIH}Whr(xtA*%M=^+dtI}zg7Twq)O*0)csFv9hFRE1V|&BaZLr1JrUm+-?!bwe;2 zk<18I2NXqhP*DbBXU<6h6@hc9A&`nts!e|xY!D>fp_Fvf{t0vBw+^pp~NV8z*IT1RtZZKe9abW zzkT+^Oh$&;%As}YC3}BTRS<+LXC+nz_!5NE#$i=pkOIyyNa;6WA|14bECgKWJ>uzzn2h1k`slA%A@y7xBspDF@2Ocep! zlt7pFsJd1W_C^tApAe9HRU}bVM>ES{V_>NBTLWs9wmt}ob7M{cA@Fb_A+={f$ARa3;Yh}tTiMx zH!YEbDrk7ft0ILMYe%_`2D22l<=iiIr4NXqRZ6+0_>x8A%Ihrji>Rfr#96ypK6|T+jS;N8pyDW z7oWQ9In@MqU+}pKN+Iz(lJBedXyunT2oLoubg3|mn+jNh^MEO#D)@gra>9x~G9f=q zZm08hZ8@NGX#C$+BM{8Gu|CYs|GIYGy?;vcH8)b(RJ<;m&vE6TMijss(>*{9ScOtn<{NuRX?Wiu;g%OiCE8BC}!Rh&jkF`wBEki^J$?Sd^{Pkai)0@>=URH zet%(wXqJ=a##0Qt`|5uX5W~bk3@ZvE%@A455GbX7pR270I`QlL$7ppo{NW=k!hA3p zPk*FLj?;H>hy$Al6>VT7dMBZhhKzhl$AI!gjukzR^1?idI1P^?))7;+o#_db=MX3? zb0@<(7!+)20#_e|#GtO2YSk64`s4Fd_7lk-du@>A}W8F+|8As(h0ees^8DU zm9&-0C&ydZ#D{n&56KD(Q;QD)ybH;pD?S89ZjI43ACg5aJ_Mz0J|s&EAA)^k4x#vR zc6>-4-flibcyj7Qga~Xf0U*FUk)E5_#)m|$q!gyf*OyKX7R&of!3K}BQJgT~(ROa6 zWn+yRiDP;`H^P5^D{e$XcUq|3+=vzeMr&V!8@Yj?`+)bn$Sa8DeomxHm#v%#|1CKY z>4B|APQ=>4;W19E(?@b56`io16H&^e5gotFzb+oG-TvNwjRz=LKDMN)?M9A9wzaS%VItW$6fefG<$zoq%$(3OKu1M@jsH*%K!e0 z|B+N4CacwSe*5sJ_;!BD2BZ7SAsb9)pDwK&B>AV%Edx2Ta0{%*R9rKFa_CsJbQeYF6L=)H_^<);|D)pHW+)>5Y*z) zAIP7$F2sMROy@0w5=I5RKHmGE$&n?DnOqK~l!G58Nej>-$>t2~KU0vCf&c|rJfkj5 z(KLYga{D;FPG->OyG4w3bY&4g+!8VP;BmQ}1V2~!O(dU9@Y#UR1P?KFvP*KnU%KbZ z&Xq3N*6P^$C$cncf(GHZy?;Tmzpmsv$DrJ`sGh>8--x6OQ65!HNImbUn^BF%hR z?xXN!*_U(U%gXR}@nymZ*rKx2@MV&xjI>Y(wAn_OB{kHF_jgSEMgRG96~WdXx~yZN zGcSK|OlQECNdc3X?Kw*%HEi6?i<~98p4?1R(0j`4b%b+2YgQ%AQLI_Tdl`Q}lygX#XlFtQ>o%HXDR~}pn5|zdo=FK%BYXgJO(uuhis0aSPBjC>>ROSB8T-Z(Zxc?a3A9p1*#I%R}J>)-A$bVQ(=n?-u#J@j|J>WlY zz%K;EjH%s#AC*oB_^W9B7854iOJ_@;ypK6MIh@_*+<4W`cB^{t2WL=yeo3>zn zFkhqm=tURhM~Bx?ei&FA<%iL)#}08mjx0H|`TiK|m-c}2)zSCIn2>s55{1p-mK$WE z8fwJ{hD`4754kU<-E{57m^heW8O>`&`rL1__T3l*b(T21hv>u)4GHn?asGd2kK}%o zU!}^)P(JLG;(Z^dL-~%%lVI#*=NTyfg*|u@%Gdq@llo|sU(9rljqO^_iQCflg+(AL^$%R*VLf_!eCmz!;LCsi~`xa4l0me2ll)$KJ1Ew?J@q*82^xp(Bu1kC-ry7 zu*df2jqSMx&$!u*?NRB3*uLubSZtrm<x+z^K z$RA^OUw%~m1qlM?AGi^MNj<@kVj<9r+qR@>Vp5D)cLti#uv-dlw zuuIcQ9DB`Pfg@?!IIXr`wU273m2OpEE@rdQ^3wrV?%U1RuHDB04aunJ(ucH>4b2;>i4t2`BqxL*^uX_ zv$P4y!!(vgz$UYT@{oFtT9!eqFc1d6&Q(yph-xUGr7b95q#1w8=PnAA&z_tYlrMwZ z3FR$78{tj^8KX>c#(%!euU6t)O%3>O5(X6)>mnB6s*VB)&nW6g^iDV%AW;Yd-5a$B&^Cq zo;N+sk^AQiravu*_0REYfsZGQ&j57k>5H6l6`o8ewG4;X(%(2`JbwN~e1;%%-BR&? zIIlurmr+Cl6PMsb0Tcu>F*G=n0rV+nwsnl zIb@~B{DB9CSFSAkjV+#ix_tM|`579y{F2>+Y*tb`NR4!B9JfMw4e618?ycl8C$p)y)^T)y&K4#(NbMkG1wn~{oOH^YSizivQTtALg{pnjS5Y!{)q~_wvydiG zok$^M3mS{JIKGUcAouqq3Zs5yi+A1A)g}j1D7-F5QgS1`mVGn{>LW@ROkBojG;{=| zjDsjzE`;-KrWF{+mCzJ_2*HCfzC#T(J7<+J%|L_3ktK8#**dy-)lAgMR96V;B1{nI zA`Jx9iBIq~5vMGdhD#6r2=1-fp;Y$lRXT7REep{5!<`GWC>g4jUHjC1TEA^q(C}6a zhPnbg2OXV{)D8^isvW(p_De^gfu$qRm=^1HPohg5VV6Kc4QdS;*aefIKA;tY z?SU5&HwYqF7cdT1DIZ!;2^a;Hz#LR5tkn(l&@HXU;w0@2>4QpOA5_A~pQgQd+v|Oiu_?lo(qS{pq>{Ze_kox2f1(UZr)2oE5?6yDyObfabT&>2IiK^57 z(!i`>#j;l6=C4SRP~QH%|9W)+8#QlXPj_>XHfrn4(iJvxWO<@8S8sJI&vvNOt(E{%hk#K)7qTBAFalJ2ksnnFbCa1DiN`Gi~?zI zrE4fITQb7(7dsGQ$h{GkImfk8u}2K|-kX$T6@+lZRpeE*f(k=uSyd0Qi~@q$yddPf z^OrDG6<{_h=x%6$-V(j>O?yMgiL~GoTK&Bmp>M4S9l{A(^HaAs6VUBygC zPfCX7GqeevY;P;rDkEGlf8|{o3nUD@ZRabs zT-j-m02-&cgk47s<;91$k06j6R)>-)U80OyeooqNC<_;4>H1`$-X=g z)s}ZA`}gX>VMnhq;!~+1R9}vhz>Ry z$cdx!BgjBs^ePkdiULz~5tsI>5ekG{;o{e9KsuoB2|R) z0qY;{KVEMq{Ns^RzF%fCw5dE+zV9?_Mzz_@_nr0Nn!gXef0n{M6aEK}}i{P*m^tr))(P|R*`#^2P8_xAW<`Q=U=-}4ZhtrTB#?O@}7 z)hIr^FMM!~j1n*=qlAuGKA|1WuLc@-FD^VPmLFFJa1*s}fvf~qaT_!&x0TuB5-niw z(0yQ%f$1kE867iwLOX6w20CWn2lHtWd)WTyFcbUziT(QGpQ-#7DzDd+{Y>7UG zd*!x}_abyi^4{$3OWtd9ycK!Jbbj7{<@Mc1Rto8XTmsdFC!ujE(H@w3!LAU~_{C6o z_65_hR0jcUl{wfr=@4QMc~GxmSB2?TQP?6xDf5Tq9SYRVI0=beO<2ec?*&5SNrgrX zoWL;yCv?QXvyBl0&(4e)I5|FM;55T#q(osFy<8aG`>3t@}KS#7HWCN%@bn>rYe_n>hGn@RWp?=?rZ?w;Z{h}YbG=%e@fd-i|V(K{>4>dobR;C^Q+Zm|~d za&tK!w$F#{Pmz;v=>sz_-^|N@H-vBI=1-fOTl_%XZaG*dp#yUB&hCR8tW!!Sp+3L& z*RblqJW*tae>Tt^m?tU?tCg={qNG~r?l`%Fx&!lu_6O!2N{89aMm=P1zC5u5^KN<@ z56qF_>cgCuBbNrpQkgitiLPUevQVm$mlxM(H@_VZ-iobcy$xN()%8<y;g&xv`}zFq$2a9C0`d<5#DC;awkyTj;_sd&i z$5u*lRf-lLQYGtQwOUe)m%BDemF%SQ?>WGr0n99Sx#W_%xKz3f=M2!@=m8pini$@l zcf5N(`Q~);?0f0Ez=D;wJ3Z@kV3ym?1$`sx!b#0Eicj1GHw-qUUn}hClj6>$bT{3*o4JLKX-%Mf86nO(+(q;2`btV z@nDz?rW2ZZrMjy{cNP`zR@lB*A$8+)BO%*Bhh;{D-a$XiR_E_$=Zon}_)*ED#r)zY zF7!NkYClc4`qOYG;Jh9F%wr>Wjs#fO&m#!a*TkV+l)?hBATcen=29rfI zt%diU!E^2qGN@kx=G{bli@@Nys3_!UEPrV$oemZ4mvB(7QBWW$(Z`jkmFX?nTaR@2M$zz3V1t^{vJQ68{so`B5+}oD!`s32OXFP+a|9Vclch zNsTv#FrWfAs``|Gp-%}-K0pl6+BK-gHerqAx+bn=mfze6%6q7v#y9X`BEM!`w>>HV$Qu}^!KrxAB zs3{J>`zlx$C=dv|`{0C&Z_fmcx9BioEVg0lSOC0F>={AD*H%D?afacw!-4`j2cbfW zD!n44KT0EzR4p5f>?zWtwMBo90DsgmM*!+mJzVdp={N%Ha33-jr7+tX7ZTLEv0%ud z91k&z;@(&vM{lHbzPgftfh!5@T`9Q1qA#FBOf)VoM3P>S)|CXdt|W}?snWB>)rJf- zE+q(p%6Mp?`8vk8xOn8%W_2JFNzvXqx7Xsx`QYd(a24sA*9(S)NEEM}S%01O@szA- zj7lKb8yS86>_}i#|u&qPEG-Nb^W!zfy}?{b;9UxMdZu=!eoY z$H-|4l0G+1F(xhq{Q2>Dx(NS*T2i2SV{!rGzUX0>^l?unRC|Pr;Iykc8iA=HdorGF*z?Rxd^_vf>l zi}h--Jep-N?l)Qoc_7m|l9RhbMGSudm$)G8LxKh4@wrKj(kve#KQ{icCT?4}dV|zk z7xxJ18n!361G~n%3@koK-uX!={bq4~G4#zo%F+41gH8bEV_)wl=YL~4uU_A$`-T}g zDjL~F#fO-(S0@hsrGJ>Ps(N&>di(kKb4UEo^QM_LgP`6|;c1=2qa9##W9xguBQDl+ z{Ns{!DdeM2q~4MG1*Hb#f7a~ zrll4wu}t@4UYWolRnK6<)Qj-Sze)dRMAb!C$@)F1dgIN)S$~nUhJYNcaCL+A9uu?T zQUZoPC3MKu32o>$DQLL*z^h*tS&tJ~e6}-&eB!(a5@g3bJmE zX5Pu&WSts4B3WBO^^6Va zI(2Q?dM~~u>%AF6vQ8!s$$A-EQBggx;lF;dG(*eQ+{)LL#onr7av+R5kg)q0VnV-4 zOmN!>du~Rp(lYt}IOwDG)#de8x<2YPrt5he(>joQ@PG9~Ko>mvSARPN^MRw<^8 zc?!OMR^9xSseejO?!nRPRJoO-mw9^!M}M5d3DJ`x{tlJSC0NO{bq_k1P#13hi+)hj zz;s*0y5-1%@wl3NWZ~PFk9=6cAiI%j=i!e$U^=YOTiWvzTE2KUD(I1^>&uJPIczol z=z4u@#DCFx^{0KT-TCy^F(CXoC+G!f!>snP9_fR9tb-%Qc;;*l+snmo7jKq}LtT%c zuAJR@?xr8gmUAK+0(h{GSbEYh--N>pKUL0sOHWU4!G5JDWx(!j=VJ!y9?m#>Dbp(E zfYOr_G0ha^pa>|Qbde@fi3XXI6L|5|kM0L$5`O{*r6&Sw@u&)~5b6Izl%85|7R(~` zRK6B@ka#LCgs(0oVCYjq2c@Ti*5Xl7&_DyPeo>{TNQ||A`qC5jUke&|Sn($dxqs>D zDYbus(h~w>tTvcI=}C)tR*9<$YGmRXsdy1yfTmhPSW_%1&9W^;a$3-&`^zsoRW~+e zCx0zcOHn~BnH0k6D!n4DBMEFhNf_BvrDuz)4S&e8lTp|;4 ztCHe}O)t_JkupHC=k_xq;7Cvb!J3Oh4~b})p!y}Ex7VC za8zX2d*i4`Kb~nF&^^zJmsYn94FK|DpJ?R>FXT+NoBvewqj z>nE$Q-J+J3R;=-TA``9_Z$DCHQCB~HW%1ydb9ZgA2^U+>|CoJhi}^aJ6KZ4teI(rX zJF1O>U{liB`f-|cEU29E{BwS@ev>}}>*GVnAw_a&(pO>HYG&$JVM6!MpY^dtgmL`; zKUp#E)0a_10u#6CT>*_5f7M!1ZydJ~e!pKqpfAY_mz*Jo!$3{p#B~~=1q{mp+8Rc1 zk=BV?^-j1u)oy=%zuCLkKChhH^RBA1A$iH&+2O~Tk26DRDXT=842FD_BV zwYV&btGa?Vh3YhuqZnMR=*Q?{Om>4@q#`ql3{4SgB2?xK9q7b@e*q|pi<%-D#l@-^ zCaS5h{~$*h3JG^pfI@;?PIds<3S5{C6q+4!bUCs$$YsVPC=15G8-i*lVFiSJX*lV1msh7KlKbu)r#koFuh7kP+BgZ76}6U#k`3*l+HC6pl~pegod#NYD!i-f-g%k%PAfie>|9^sPYUBbET4r6sOTB zr5VG+1O!0Jc#ipLB2y=5m?P|tV1hZ;*m@VhFkZ5#oC6%BAP#9*yttxPjERtE-Z#{C#lwpK+;LNKDC1xrAa zHDC?Ka)1gDf0>Qrp;o&Gb@+#|a6d+)N(8ads$q6^Hfx^$=caYdqs3ymnKkFPKW)1H zpRX4GoHgGpSC{STMZnq&FPlF#-#6dBh+SvaJZmpD?ge!D09WT&e79_+dgEm##eIg{ zBX@S@nse8Dw|u^I&13h)`t~RL!TVRsh0k6*ed)gbe|m7kV9nYLCb z79TbENbxX~Iz3}juAULBA}E}(IFl&MR0c5yv$+RADSHHQq%HQT8bA<}Xds|_SW}4s zD4T`Ee_J$7DZyexEi~bp60GT9*)e*-H3|s4&5j;<@NPUiBr-jRL-a_79SSQGQVeic zI>ceQ56Z9>Z>cM(SF1Uy`piRu9?;wio`L{oIgqi=krq(ln5_l^qRD;5!XD`sMUb~_ zT9Oyi!=AbaAQ?bVGsRl4gkTtuM+zT?GJR%Zf3DuDCxqaPYJqd`B@Qr3njQ%O32G?R zk3Lwb%nBn7FiO4$=0?OUyJk2Dn3%+CD1(@r?`0{WVCd?0Wb2x{%Fc{65YY4tHXH#3 zRxHLFD^1C3Er*>oVFb=7?z)YTXCT4e#bZB#W$o!BKyKzgw?6I_50Bjoq6D?iT=Unz zfBhXL2yzOx05CVUZfzZ$u*UQ!U&HSQuynW^Ae6wj+3rE}TAKz@gJKxMV zt&81_S@UGM*mO9a5DIYJ-bM!nzwTaof^8eNq`MAkbZ6T<>tWpH>1ug#-eR^G?C}%V zJa6A@+{=9fKE=FdK)2Ymi_IDa>Cl;(f7Z*})kVARcAVX;`e0z1-f1X^j&uKWH z_hb)*%DZG?Z{cCGf{jCj&mLl(ybFi>OXD}!P$xI89+uc&LiLy>gjC*JLVAipRKjr5 z?a4lT5Zxok{f1QOCsoNK`5-5mRON`ID)O1|A=)4Lq#k0&Ug$u_{+#&sNpSWz)Ex?| z&1n>)iu4#&(nv-XK1D{Ae>|K~d$I@8+8wfq)Z4mx_^SSWF779%_eu3(N_%&ZW6ubZ z6XrDSpYdoM$v6$C$T&UX)I{lIHwGWF*$ z*graWpE~cc>Qf0(`@6`>BMDKr*zLQR?Ukk^NQ5_YiY^m?V1Y#8e=Zwj#%4zcd^$1V z@tH{Xok9-mYaplU3#^y1l`8rF|4qqMOQ)XJ-#zwI?&uiEp?^|bk2)#lKt0NrQ;dPN zo~R=~*>$~g+CGdMak{IJ>EgSLeo6@1h(!T6xQ!ITlHA|nGc_cOCDIN*g$HBun&_5Dl!HD!u z^nbOLprw~lL;@3sCw~ElCw~IBCw~JhT@E%g3NK7$ZfA68G9WQDm%qLP7X>jjHa9hs zu?8o9jrRpmoZHd{3ghnX4DRmk?k>S$fWZcs!8N!9A~*qpyF+jf8a%ipxChrD;j-nN zz0ddmRrl6Z&AdH_?a9F4&c=m`OV-9-OoA?FFShQ7#umNM?^%3{ZDs* zj4RL+WNYmP(6EL&0$pD++FH8+^uV?tAk^=FLNJRvLZR-WTwFdrKAhIB5KgeCgCq-o zJHQ77bp+@FAwW-WpdH|kk^!35uE4)b<3wWs=sSWSe<}39_D~;dPaxn$-~zG*xVrf!^!jCaDRLM5eVe=r?a)KE!frF+RYE- z<^Zq8X{+S?lBVr}zc@F#U^fTD~J!1|@azw3k8 zdV<`c5Kail<&PS<{s{BZW(7ApIk2lM&Fk zambU{Jun75|IScz6JIAX_NF2Iv5C zL;ENCix_DC7k)W^PmnL*75B^d@c_90`26?D{AI%Iz-}&n|Cs-I#9T6J2CB;XY=4*h zU!|-p*cTAM!6yLV;1%Eo@bK_|@&klk9)kWij{Li49aSL$UzI^fge;)TgUH<<~`5#gKUkCmFGE($%arslv z{FlN1kKWo993PY5?s(UatRFs{*xue%S^YH;0#r z=HTJy~?r zxBy;i3Cfn?DEpI|49Dm z9hcp|AP;~G_+QBP!tbRCF4nI9vUp)){}22Ff&Qg^@o@MTd?D(8_%Ha-5BL8<{uf*Kmz&zn1!xcbN6PcJ^sg2BulS|y z?k|f4{#P4#UU+-{3%>A%{NwOK8{%RO`Bz~)FEOD1f-e?c|AH@tdH<_rFYJ8(1z%|S z{R#hPLT$Y~U#LQV|GY|G#`iz?&vye5=nJ$(Tbc*kibXipM|9lP%8>hT>`d_TV-8-# zU7;9lE0B8c>4eFN|GMNWh+mZHnca>5wT^ehTl(DWY)r)MY_S%Y5id%#)YyS&Z?nZ7 zIE5#1e*{tY;@ws2?l!gJbF*_GI&IM%_PLUtVIgMsINzCn%Q{dJXKbmyt#Uj?W@`G$ zi2*l}5RXhEEX;=i7ttw`)mbfDCo?nKr9uz6ke)bBqEtNil`$~NE3i4ZT+R*)+Q=Y3 zJj8TYyUIG0OyBPlBvZ4R0?aUM_bHG(ykic#>WFyFYy%n7lcE#LR@t7qP`=nsP|(4{qtyju{m|t7~bl%?$+>n_o*DEB_#O{dri?n z(2MpB=>Ss3l(H$4nd@w;SQWJJz?FOm?lj1L=BagyVl>+PIif)vE{4SavF<16`D3a} z_L)(C+H)kOLEV`B`#AK9pvgRs1PfdCNa@OyfS86+!M@4lzVD;(!dz5T@(GrE6~dN|PFMxu)q4dO)OWyaQdMmg zq>5a3?|iAF8`qF1MYiX(!Mm6luGk_AX~$H5qME^IJ}UdU{W@=!R*kxV9B=vlQ+Wo! zS|!6wvw^j1|4b)$<(L(oK&)Shp9~3y0FRX0l$n0wV9wZ^jMeB3B;iOK;rEhTHL9cW zZv!#1BF+J8Y9ZsHZvt=u!N?jJ{(H)U=-v7o*eTae#VJyu#QhJH8<|KJXmje0Rn^6R z4=PZiARJ2IH1ZY!W7i(LjCRu}&T<15&pL0vIG+^3bFnmnyYC(LbeTMNFyR>Zd z%mQ;*ft<;@w}vj24$@951?vAEeoEW=uo+oTb5IDvqd3eg(lw;y%| zDyW6_MztN#3iGsI=7?Q~e7w}xa5fhQWjTn3Sa6@G^@2mSuFI-FW9~C1TRk0rIIbH* zlw@cdwix!X-w%$b(M~&_w2MD~PBat}!mDe;bVac8tmpJY z z-sWo<*ho~|M7B%w5aW7W;dD8%mgC7+?_#2aio`ZzK?Z09G#U_@ikN zLk0H4C@+b+Tg99fw^YM_v)wJWg0pGj_sUCH{6276h~uM7AAWkCwQ$gMF%&&Nj8H~j zy=N{YxTl_WqUU_~>pi~Q3h{{Kw>vw}ZQLG{JpVqvX&7-CS8&ucq;%kg>*^xNEol$$wxCG zJ=EZQ3{;r52YKkl!-4g-8fEB2NSbKS5>BTGm&TI0{c$^z@sf*w{Y3%Cz2ZdRBH)V& z09}UXf+R|3Fa^7oi}$xMK#%YsbEm!Rkjo-%#?DX{1Lc+V2yUUOe?yCMGWT1r>}|r( zx+%Tp74RD_6DwpU2NnT>ujL1#X0>6C*q=<2J(W6XQd<20B6V|~UmRg=v-caVKRfuB zSFeFdC)4SrW6Xtr(eo=m>FzZtTxnl5o*Owf_QNcWclw(v;t;AV=5_n8H0{b64{*x?g%n^6Q9t4XLI3bY8K!$;}3Pci+rI!7w=uVWMf)4eXeH zVbo^Gq$VW7C!Oj5$WDFl+2mvmQ82OHXb*mP$NN6_VhOi@uTn_z%;y;IwZW0T-t|}d=ku~W?<1}_-gZAc*&_OH(U_; z1GVcZ;m6M&D5DBG9CFl{C{s)SL0CuM>ARoBO984dFs`#IxXsU}}@ zs(4WAUB>R2n}Ov0>FfMehOaG8%+o#kQtwH_GsZayFs*si5jY!tn#MrZQIS8Ct15mU z+|tPKq9h$aSpRPj?__qZ6kE?SVX@g|EYkYffC<`+pg zF8~YN8kH|erUv3ZD8x>V*Yho>VHFkUQ>5H~^>gP7q_|PHm4$j&Nxo&Ju>)Wt!9Kb- zvGKx<1+Sk@c6*Mnh^dOTW=_YftMYz6{N`uQ$@2?k3x)}p|AvWsZx6<-^bk*@6Dmsa z_O(OL+Th^6BAaX2p=UDRJW+iaD*+U0tVZso3$IR{i#U&S6gFB~G$1?654(eqIHv7? zij&>%7z=dS{@wkm%0}dC%a320x@Ddb?I;Y~YGmuDL!4V3i9c_b;~LURi{x8Q`j{__vmRTH3b%wNVe*BZBE>D$7s=`6w~+ezhqg zl@~XDi+w$%JaO9%?>##cc7ZNwoW>u2bwNTtFw3|>3pMxdGT^%y@yKiKdk1u0H~nBk z#rrGdtkqT7DV8V50wPJce%-kL8YcRG{M5oT zn}B1}42LOSEb>GgG^%J74L{#q#eHkL*SzhPue%!FqjD4D-slI?lN$3E@Bk(?=-GK( zJOi&lanG1K*{X(ui5rC(l3?hg03+}D`B6SmN3*HXB>nGh4INSK$&Rrevy+|)pW>T# zu1jxerxuBc=XFc<6zQm<+j5_OFPh(4kRpNgU}&?}D7F2P z8*;>ze?oC?V?!09#zy$@Bd^Dg3VVB8ov_3RoL(zL1X?t=eFAmt1u$1!6q8TF9y&^; z1*;K$ezJ9aX;D^8EV$|XA#Q^bDPdj|QLiSm;8QTE6Mr1N8Qq5pfzWmtC9==80v~B%R$q{nvnh{8V=W zBJyr=4FeBNN+HZpZc}YTlo74F*W@E0+4ag=*ORAoZOilVu@+xiE}9wLBD)zA+O+Yk zYr$O{6+f;9#XAj{>&A9}kZpLNom(rpJ(ah=qgh{*2#o(wrn7(sza{#3p2XaZ`YP^A zaH$e*0>qojDJ0`-l5>SNx&y@)*BMEJ1kybA<;^=wa|0Nv+@{_X|3m5|4E$(=p z=-#kX?;d0zlW=N(SitrjX66I^uzb)5jE-xi>&N|UpoG18Aod`D?U-d9j1!-2p zT;6=Js^a|tZ=3u?=rq(GSFNLg4bq+`@1M&HIUhhQ{oQoP&(?bo($y8aBPuE57UF)d z&o#f)!f5=QI6G4GJ#R%nkzHCpJW|Z30{!=G*(~X&liG5B|KX0Al69iVLx14hEeia1 z=MT0L{zGTi*4w|7t>&!giBoU*`*H8F(I(^9@syX8EV8(mpeRPqMo-gUANMA_C@IaN8l408E0#PmYeCaSy5Ke=7sK~B=(}Y0`EV|6&dqph0cx|5%tjc$fW%w zcOD*L($^4wm)4sOi%6*Mbk-KOC#`6el&aXjtcn~1?C8VrhN^LW-q`C_>o&ubT%$~& zPn%sDiCb7au2a|3#1!aLl=#6CJ4i#fAPfr(99bMsnsum4L9*1Wp4WkE!M|P=CCe+# zEvj?z4{Do!!SZjBlpLDgn&QvH=Ks+Y3gUt;O|b=n1#hU z^CKUSYw!LS_0f{Nn+@AyjppfGXUPxBDpdgZ5(tH5O`YY#p~)ExS0TZw@)?8jB#M1( zl6iHaQ)u?Swj|BZao@c`7( zQ5QNo#b0W_kOjD}z~q@v6=A>sFyD2j{N?9=Lx>E+!Os?c=o@}p++HbTg|LlUZ}88I zFD|Szxf6p4N4ntsSSsOP2{n%@IG|s=jeX1KYxR*cv4X*h)*tluX!4O{dOcJ}5NejU z+1+l*6FUm>j!DY{_qGQ&39pU5s1ORC*~7<}06n zst-=uJtHmy^gBO*fnUIFCl{WVA#GM{2Vhfh9|;nSQV^d%{g=t*_wjX^3i|gyH2t4R zGAzc2r4UVG9OxxiJ&|$3WRC7+BmMQ7VL^whX_0={;fMxWsHXk7N>bUb@Y9v*LnqIB z3+G5K+O9RPahs4%SIXU`-Prv?`Y8B+=ZVH4C9q#b2YfX@e$FO72v;+<=B2wwLrH}9 zg8DEwJuU(=grW!V>l?SmiuM;au_W6Em!t6S*cE@cUHX~ZD_cHUh-qT^DI0u1!I6Bs|$MN);1)7+kaAy&7Q zB82bUo0MF*o&BtKq{nm7nZB)RE%Mp_yHO9MU^IEsPQDfq#aQ_sFU!nsCHsR@R|pHA z?<#}a6O#)7ri(B{O{?U-##NWV?7ND9JBUy#SU_^hLE2rwZSQ_gwwq^t)@}`y@%Oh2PW~47^6;A#rw)KEtQ?}d-<)UZH4~jkIZ|+{%I$V-W zTa=i}Db+XjVY+6PYt?1-mCJX=tUUrUyjb1fw?;m)GzC{5ZXevt2Zh;G1bj@)mA&y- z>pR5^Xou3Nufo^gXp)ljt|H>Kp7CFNjGFw;`W>nNS|Y$S`=^26TQHk{I>Y#PiKp5- zKn`PjgZD@{u2)cn2c$Nvr<7f1vsST2O1DeN)jA8Y`)(DqPPUUH<%i+-cw`gqJ7sS` ztp4t;5w6Z{p)_`s!77JfHE`u%skMzwg{WaL1$stfWKZfdc+%`DqdC?Qs=jfx)e8S) zI%hJizM^$rTzKoJTB(zN#6r=d4GYf;LoaST)Zxe^hpI(Yi!eosm32b>+(0Db_6lh_ zO0?(wTOq({p>v7@zT2*w2h~v;VoU{^qpaX*gN0M;!7_#Kn;A(PsjzyL$`4wR{9ue9 zSDRX@rDwN=Hx0k{5NvQr-_wBa619qq=A&-~#y zV7hQtuNzLFS~3KXWSvziM^}8iM7k9qCdUMHQL#041>mx0Ek+CG&u1`h<}0|SUAmDX zByj2~Z9R|6L;>r6%OhZh1_}>&GmIz$(bUA!>X6H(0o9n2@V@UFA839N<|hteV4`b` z%Uoy7iq+gM4#fpw**tIYVRq$n@vgj$fv~Vx;Fqo<+<r(}A16EI*hsFqDEYPne^vc3e@(!i3%7vXnbS_M^v}5bUwr$%dwr$&bW81cE+cr*Y+fM%PUw7T{9ra`ndeDRF zUC*kbm1t^*ps`=_juB>h`SZ76I?ZMxV!z#VpR^hx> zM=k*=AWEPAK;H$3@eH@s>y9X(k7Y2>gUP_E8;*82c0Kh4P(fT`Y#^j|(}P-t%Ez1H ztU60*`!P+itCu0abDH@S%{KAn&q+ft-v`i<_{bbK!Zzcf08>Yn_B>H&m}&)RD(5QP zT#fPKhJOGhvii27EhGyo5rA@N8b?yllB8!>n^o>h=3Z1fR2|u6vt)TUrC3w_=SN

354tO2r^nJoctj|1A~PyHWC|@`jExXx($yDn zibf>B-L|{iS41*DPFbM!Ck&{V5DS2krLe5 z<0(r6LLxk^d$-*Hn<|PULFU9Uf>eFS2-iOGB1k%5$Ds7=1M<3NMkmxvpbYADC>g*1 zbB~psF3!<$SUeNn74;8p&$qS=wOjN!DJD3>tEB0KMeqAwBT4F6>6+vmsLm{mA*HT7 zECI$Rq`R2P>%W71>R|*Ajz9oO9sh{xuJ4qTG6$KapR_`yk$4zqGn^;DJ0Kqt=oS2L zPe>2UQ*}?;87cj(o$fTg=hmGT#az1cNgf|26@4Z7a`Dbkvb;O~fWRku_530)i5b!l zbfx@nOpRa^Z=9DTJ3~F!#<#>t>p}%+X8^o|KnlfCY|xZ|411FRx_eLdHeS|!eg`+1wA+V>JqTRsBW$BLzMyCB0sV69MW!S*zHf6%Jiy17Ee3xZ{Fk0_7ex1 zlU@3VcgQ-(erqFe{Es3HwB5&Se%wTRD()V)MQsA|0mFzIbr#+M# ze`LCH=@Q*^4h#J~vXA(ouO~y3PBu4_r!F%akhO27syUKBg2|>G+=c#$#&SDtYpf3e3-A!dk%Kq z+0g9SA%Q?!OE<0nlZ34{1sqgdXHzPeC{mGfXH1|tUN+O zmM)e~5Q6<(75rCn^I(3C-CF?lNdry@l(}$ReP1EzxQo^~dx4)@pX;mY0c0ws zX#cF!PC6P}>*Msh$Yo1yOM&iwc5DEl7nA3~F}#1#S1N~uVwHi7vCB!3Qd0p5YoRhd z{r(G!5*lzQy`5VtC(YU=P?nQ?MLe-+4}IYtLm_XuazgrDN1~y&){1&%?9HrOO_cwt zYU?v+M?01LB%{ubBU`i2q-!a>tB#xqjma6dqF!E-G_5g_6*t-&*NA9*%Ujb9(b2yw zW6Kfi0C~V%=ZlU5S$qt8IUzk5Fk^}DM?NGnMhQ4P;@DnY7VxV&YjlcAGQ!$o0^Ul=l-v#1BX zbTR&nnY=|06AvDPqlm#mbrjMZY@~EiXeEuE4)h01DGEjaFh2&~S2_M~YJa06^VqDr z!2=LN@0AuKmdo(7&aZ*%0qvdupJ?E5%FS6&k`&Ye1IbO1>v(8Ao1;x1Pwqa++t$9t zO7xS!7_`8C6hfDa(^v%ZhE(Ojq-w6e9&qYdQzr=>iP_xW#Yk$H2qXc!@#|0bM?pKo zG8N<;N?%QogQA$XrA9bLepeNtycg7rVHx0maVxn+y)XdeJ7`Fy*E#!-O0w1NzClaD zb6}jwIEehXe?V)y+@iHa{KA9YX&E(>+_Ni`;^#JFMC{R&7E$v?|14sk8XogQj;Q1U z*>z6C0+P~DZgj%ZdiFTE;55|6bN#^-ii7|-{B_`8Jtu+!1g7(jt1@W-++4bo7aQPD z=wyFnMUNwixcwM1jmOK(x3@;B+~9{#uZHa3ukj{C&GXayJx`H3ktz8GuT+c{6slqs zCf+HEs3_ojHW$@fHgg+(ZOk%Y((0zNB?gHGpNdD*yTu0$gDy%^jsf|KdXNRZIUdz_ z>v4j6nSrPt^A!3J#=PW+bu7C04|c%on$pF6Bwlb5i;elGTDi6HxKE3TJ?3ibTl1ek zn@PS0-o%~h>~|)N?bHBLEhd-q z2GMkwp-GZtGokO^5`dF|jHI=_{x)C=_zz^4@Yqvmvr>!LmR((KuYw$`~nEQcO3` z^1Mn1kg-=H8j85GM6g8F zO-!PeY;?I{+plpq(?=l7;eMyvdAL+qQi4K!6ZFZ(lHr-?XdoTE^*IB0r{KVa5e&Xd>+nb)?RX=zyo zde_OYPhR%^`}>Pr3Jn0-X^eCrV}hf%>UgSg>inZRSpio zF*{FT>%V;?it*DYS*xjYl9>d=VXLnSwC6WMXy2ZD`;jg8e=?0r_zHM3P z5Fj2@WQHETK!GTRop)ke4dz0Dcb>)$$SrM=aoa~_HRx(a5gzBZh4ka~=<=_57LbsH_ZUy!cI`lSRC7dl31ubB7g?(tXIlf3tt{3I5f_0{CPEj&@b23 zbY!VFnEA-#Oi|}HVltM-z|A{Gw=efLZf8$_Gp<++5($ zo@N1$FyxV{0{etKKJ^$yG`ML1aR8UnWaO%hv_S20kG6y*&|$oyiHZEY$u^VG9qLS} zG{^P{+Wp{3uSC*YVc1I@Q$d`%`0{>BVwlM-TcX0nN(9BexY}tq`2tC{^S|W^ZZ0$C zMfQXa&~287$D>8&C+Q*edF*%Im?q2O2<9I!NJc4#?Q*pHJAhwHSI8D76Sr-^@`)qdMo}X+liKnT0qVPDMxk)xyrgj z(i;|rLDN*+P=sXW(SlTjPr%)?5~#0+)ypcV!%E_UZ)^r-`&;(Q=fd}3F=WEmj8F>l z&sowJ1s6SXZ`(L&N(BZn%5${o%OLQyY&4DSr<}U|w2Znj&`4S@Vs{a-j=(>&pd+>` z*i1Nvrgj9e_!_|H2EftWY7on*W>HB8Fa{yXFFTh-@)>ZgIl8nWZ`WX!*auOx`vJU1 zk}0*z`f1Kifbg18NI{dwZ{qiT{8WLpoa}$dcv4x;w{U6eIF;4BQL-sGWYmGg!?;|A z^`WWys}cu6Frx9yG5QQD$D~a{RqlIW>o6*$7TY2xvF20YcbzEVJ{fmK*8+ zU`Kfk_Iqe8$OV5lmhqX3Pk1BA=D4BA>+TRqJ1)xFL`rBYwH&zQTurc%Q?+lfN zhz9WFx4m0NRJE#Osz^H`3dNpPa=Y;vC0kBYz@289|%qd+6c$#9Wk9d$clE1f=*Xs6wC-$`Zxbqh?+ z5PZ(R7!!As+0KQ#QgyxdRs*1|MTqrL{_fxD*mJGf%GfJ?N*Fws9ti42r?VMnVo4|@ zqP%86083sFF!po=W*zL?7&d4+LtVPQ8)cr+9-fW{!L|*t1Qg3=becA6>&4`^_3Mr6 zn2M-~nejDwvu&9G^7x~jv7_XtJMk7#j~nWp;}g)8hZde7UK*s}zl}wKvczP=Rhj%R zwNlP&pv{brA6_%jvY&4iUp1BQO`G_1Oe+)NfCftsyg$PMOI~Cah|=dl%wILkZc=e& zuDBN0xduInG{s}Otg%WII_&+y(Ox+ol+_Sj4TO<{1@+O}l@A}4LqW6Bh;7>G*D-Pl`(KM~fsg`K9x7Zor%NL4c z|LOmP)Cr`y?dw>Ug{D0u{jl~c+aDQh>S#rqog2n^Y=8X}Nh9IQ!sp@TEe=P7Z@Xc< z(~cAGj(aW-NLw%3pKZ7*wy*{n+|kl)VV^hT^~{AYh}^sSYDzo0E4Pja#teyEkAm%2HHfr@Bwn~e?Mj(X#|tEVELyDw*HwQM?eF1n25ohh%fyw`{_@}m8HeP^$^`@gz(!ry zzIs?qvsocF+jqbSb^jCEVVNF?4k;Gs;hO$i&;zgOX$GyENvk3ua6;qih&cisYo*N1 zq%j_3xj+8C3Ugz$rIUTgY5&#*tsXqFN(+i?V}V@&TPd}R#YhS2jgjJh++}15t_Em} z@=PxQr$B?&!FF2muHaK#&uK3lV0xuR6*c*R!P>eLFz#y~-@=27TLhu5QK2Y2dXfC> zD#I2K89hY;)+XF2;RJWPxVK$kno_aT)x(#Ku%nY*vR!1Z34=NX*AQ2%zP;4ZdU77Y zt{;23$8N25I!FRxLz(t=AbyN)z8g)C*(+56j@Cj3U}+?id_A4$3m6FjM8qC6b#S8@ zsFq3vl@ce6DRcOCg)|Up_`zcUES_ZY|HLI^k;P@^`$dIW-e#;N-6QO3R3o=xoqURZ z#o*EG`_iYmHbB!@u^I=5>$Jy~(J#huI7lIl{v%Nl+KY-jgFYOur#x&9y4d`eH4ZBs zhMf6m>&g+4)s{rS>nYU<2rfXjqAc^tICTsoVvtso7 zpH-s^LZ)o$NR9_HgNm~-DX~(7>YS?6bC5 z95IlPT&eq!*;%$=J$3l^)CoAJ+`y<({d`}Xmx4ROfR^z=j6J=v^{YLS(bdZ9#OatP#M(Ba5%|alf&bvFgkg+ zzk|TyeT9vidl3Ils>}Qwa7u^H%zUy(7HPv^GP{*ISv59ArgpEq9;;Anh@V2M{;t!?YDknt;|s&d!Zp>!5`XW3QFwt{1YV$W$6hyyhY z%|GL3+x;Y^(|VtzLn+Ul-9m`sh;%Y4W*DHvv-a8z$g?=wkTd1iN+ZPQ98|O78x!{3 z+kA?Yy2ZRHvri5#M`!CqD`+d-zzU{Q2za>RX*wql>b_Yw$37Hx{^{}VKzgYiNBj#N z96NdEl6-Cgd(a1liVhyJ5AwQlNN29^PUtieR*6&ZaO7%Lt)EGctZsX_>JVn=(>sZi87v;0zrx zfr>^!6;|M314CAg4nI5CW<%lH3W0FDhHPX9hW$Vu>@!+W?R{rT*7zRK++V88twq{VApL;ct3MkfpQc6HM zS&8_yx zu0oene@j*p3MpJy>ZK+t!%lMe4$Qith%Gs;ch#G*BXb#Qc!bG@ev_M~CV zj`QZ<479hJ;1a0M@$-`V2{fkb$Pi%m{LW5rvuWZD>KDhaaLHvv4&Ggd+CgIpQ+eOa z7T~@#`Oqf>m?1(A=ArLmq#DvN$Gj-quopjG_g?Ts1rV<_#c#rXUy_yCArtXrq z#qKW>$nD>JBy(MqsQXS7aUk@e7*VJVG#vhi7iNDk4|>hz14JVoRt`$79z@vwfiC~? zibW+I^eZCXF-z+I%d*k9huZ)JC9B7x7iTrYa0~vBtY-eI0BV$L1;w!sj`tm_9f^KN zLotTKvTILpykdj|9rk@gDJ9_v*z?>cEpC;}NyjxVx6n}z={7xwTO*IPf5HDSgdM+J{qDEFDE$K^0C?Oty*(<43?6IK|@K#kqG09^cAx; z!f$FSHNICpO}<=p^a>BX^Gk6{0)-E4fGx_=Nwpi#+&)5E#ib&2P~8;=yqe6Pc+PG~ z;yyBK{N)|uC^q7+ws#A=#_i^dcFb|m=R5sZ_VX@eurbwFZ1`a-t1QIOE4L?C4|y@^ z#`}|$S9aE!Yq;q)kH1bq7DcsEwkThkrhQa|@*jA@xTH_i-g6|Qh*YGZBS8T@qnf}| z36IZ8WD-NQ{L_#kVm4h5(3@Q@=B4@=DzlgCD~VUIUd1r!o2#Uf#N|g_k!|HzF`I!x z4i~;XRjgSGb6>g(&sDxACKaIY{9v_Fdht;zx8^Fn+*pQ#EtCMyplPx{3-$R!`a7#A zFxJ2MG10VPHG5~iZF}5Z+ys{sg-vNaI;_UCgs;9!2u5(QP3-Cjz+K=|H8`gBzG!Eo zl|{)>U3ANr4Y3C7myJrQ5P2|YVn?|ZxGieh;;)lCF;EWms-UJHZA1i3!-h;0k9oDA zCiY|*4!q0V%?+@m&b)u4&D$;*$urK~x{ZJE$+#k#}(arAxE9W%l= zOfNh5Q)n-P4B|Q*Vj<$V$HDR-apP~Vd3FqM23`yKUzjNfpc90aR3IYLPwZme;14`v zM!Q}DjA*Uxu`sK(QZ{LYXZRpK-@Qi}d1}Obo1vG#ns2+M#2ck0+pZ@wk!b2kmW!zF zl8%n~g*R65qvSkMNBNhf+41$m%O^hX*6PbnsIbH7u`$bh3PJ<&zB=>g$J}yNR;C+p zN1|Wf`V;{>;5Jw#Vj5?wB64fn+m#?;nEMi6Ndq-4@5Z8J4rsMSb&=9&o5Fkol}p0* z={fA5uCm342_a>IHK|t>ckQ|ueN)uAlcodvGsqr~XZswMr?4->04**vuwH_GKM)=QXN*{FY-H%l70IKno#OP8$iz%#9tH*hR{iui20B z!E<`j1)yd`mdlf+oB~9_VaqVsty-uFyq~BG^`mBwG z%N4B(FuYV?;wCByE&9HneAhPC$=W$yBfa6?C(_Z(5Kq}WQB)4uR7 zYY;<@L#BZ-tzfA>@)&K-B!KP;Ex&j<_a9^eXqm_z@VYMK&GA@Q3eb=2v&f-Km<1iP z(DZ&PwFHdYY6_*=BbdeuXmT7v4icwUT<<0Httf5^{^|yLhOCo{20~kY<|-W}VZ2Py z_t}>`r0|Z|rXA|u>&PBp#fc;;0YUoT(S>^suYz~)_(V*6wX z8?o+DK45=W8Fe_-uP>o;oA7`Odz}RVA%=Hjgu`dvNfdSijXF{Bf7GbP&!-=cjWKw` zM9~tJ?JFkHsqAGTee{SV4`iU|@b&{rx5UID!W5KMQQd;`lR4SI?AmqsASZqUDaWUr zH>l&YFkD9f2I6Vwlg&bsGq06ospz;YY(h`n5=5)Q=Br*Jjk7-!_N7x^&+a#XH1~nU zbP>>Qs{o=C8#~r`>1Q+D@0=}m?ii|0$<9`D%~1La+r;8O1jN>`mXdPwIfo&J_1p{p zZP<5iSAn_ZeVc^Jw%4xmz-2ywg}q#x_&e`3Ca8qE&3!hqTzFIaXS)HAzrqr2v-U? z)F0^tC{!B12rO2|3QGFv~9+@amjT|0`$CSi3lo>u}(`p zJjOC^Yq*z^-u|=@c5u0#QQ;7=h6P?~E=9&oH_~xt&IXMYBX(@6cAy!6Ke2T~lf4d~ zPSNYy%*&vL+@}Cmi>S$6OMG2Fov=@uiQw(5!>v(j>DqUM1wl(MWuWIGQ{V_P4V6b@w7y^ zT*#nrct#Nk>iQ$EA8c=)2?<}46N>=j}9o(ldDZ@>s=m=EcPZzk^;=D@+)T5>)y z*6`No=OMk*wF)ZG z%!KCL3Dd-bW>o!tL`eRF-gsUKzDR|w_|N?cf{R-5tWz75Rn-0T^%q-o+dN?f%4FSR zxVyYHYq@{2=7*RFlh*}Yf;F%Owb+$V#yyhtKiA{8tDa-l{qdcaso-&rKD!d`)Av9G zxEIKqIAI(4@*Vm{Ec*lGHB9AbAK|5w&i8iUwbNfjN|>a{|A}W&!UD?~1YzV#yWa$( z2538@bS&P!qdm53YiksBJ)yNcgAcNSasGuetl-5o7xrOvTXoZL1AL!Hjjl%XMdUbG z%?+VzEJ)U~enfj;2ganfz1773(rKy7?4Wz{S3xQ_`)wDpPm;M2B5*Ts< z$*8zVTp)8J+*yDYOQo*?bFX47mJ3fHv$G*^hsFy*rfC7Gg|C3rKh!sY8q@$~fErv+ z$36ksOaf(r)HeX>P@3ll2=qse3P>Uw-1Vof_A?N#LV%qr7y(r~hCoRD_kWCq0BB|) zgB!~jDj;BwGmq{=g)620gAQqdxfeyU0t4~4DWknIHQmRJFABh}Gtki1^&nV@4UGvx zsK+R$NF{T_9q0Fd@RvXW{R8@yf}RZXB!svZFSra9t_6BJe_vl9a@@WbZ*?XHjpMPL zl$=jsub@d59}uYgN5#LYSUlnq2tdO+cm_n%47oH9taf%*f2zQMU!RX1J+@6;U4LgU zA+ZegP&|N8+=8$Y%onB>s8J2M!77Pl0~uV)`=k>w$znkQ16Ho^im~7IA9)?%~4j>6PNi@JX zgDQwdcp=P|Oc`QIZY8INd$Eu(fTjatqPp6z1}#dHbiQjZ6KN-$cxec8D(fk7<3S|2 zK|Q!PVa>qTeTGC!H`c^OKd=Sx*OeMGDtY-l`2Jj3?BuB%baU2|m~g8Ris9_tBs9%Sc@1F($v!2MzlD)Lw>O7+nHQoTK0*6|!%yD)QBo{UHkI^9|l z#a7)u9@s#Z`lC61ovMZ`18Uv;tM0q8=gg6y;plh&gss>(@!_ekL^86vDC8i1#*yzv z#kKduw1(N?Mqh<^Ky*Eq`3Dxu?R6dAgE9IQD}<7^xRt)+Il6pX0_5iELJt{u4i-$j z^kgl=9%Ohi7={ny67l0pffp?#=zE1gp1fqiXZ`4zA@N{UH+r3xR_%KG5L#NEivP*`)oKfLL%BtQcv@-2e?-euX;`gu9kes^LF?9-oee2@3)F0-RIlWa_JXGPu1EBrOv8<=Roz+V4tDfnMI?<%fch8 zpWE0gzQP6!R?`x3u`Nb$;6djS=sb|kpawhozdLgd2kye5Cobu!WJSnKHJ%QLaRjLL zYuhZ`wSg6i1L`fq$mC==pgBU?KYZ?ggL292RlN(>^XEhAZ^sg10G<07$yC+rXaPTdVo3-2a>Aq zcyXkHi){-ssjXqkL#&E08pJ^b%eBHG+fu8Bp*x+n%}5}m+I^ZE5=T}43mjmIXb*++ zG=>vzvny1< zT4-s)8uz-CyM*~@Aj3p$ULaE~QR)M8T zEE_i1Y>wa*$N@UdA9}J_VoGM1T=a7`aL|Q5Hdrj7$m$g2x46f!$&yIc4%C{&`*Ghh z_UCy`sM=(P!48(Nhi8n?k`)0W|Gb*5WSs&p*arrP@IY^_0#+MEae?34$R2Fq zHkt$WfDh^OpYTG&;)FtodYa1-?|@;E0j;qhW`gITg8L*&;j{^AGyBP`|7EK~cO_mp zjNU3`5lY%IX-vX0g_Xw3@n}pCB{U;2Nz#8b3k+a#Yqgt3zgL%1DjIi1EXr;Kvsio9 z;f6|d7jUX6F`DP@PrKmrjVmrc;TItdoeMrFP=X!}l^k*n4gZK-E+HJ*R2MXZ0z{N> zNZxJPl_a)Gbet=Wc<-SuqMuqlq#pF5kF6b&*~YM?Qj;b^?x;HEH5&1C>)a45nNiE& zCqb{`aED6Q7FEj)^Yr7W@drcB(hAf24!&SkkK#hR=_Jc5q0U#~0_nhI9dn@?6X#MkOjcH5xSfdc z@-wS6lhno&r3mjRDu;~JuJ^rT$;6a4U<*3ZM6iN1I!f@I;ga7<8ZF>mb?dr4gsG8R zl8c?DNTzlDheTI>goHyY0Q7j@DvQI5K&Ef(=9N~KrnHJi^vIWF-$L<%6t>jA7G-=#dOKYpUl(W!&1EndF z@sg;_LZEx|ivzqK1|_T_Xen*#1Zi0sG}A1P0?8_um^gLvEtT=YD-^rnK#ZdsyL*F* zSzYF>E4n-+_$uRdz|=~3k@SkzdAWiDsh3uR|3QZqw2H4XfNSi?DNlO?F^-jU>kf^L z{C>--b8-pkfKOGrwP}P0dMcuwLj`oHyzbPL3RJffJ7?5-%fg6#yqQGA831j1wr+xi z6)JXX2E$>AG8)Z%AShi4(lBCvvZBnN^A^04d1Gf4)b9)pKroXhry+41Z=3T73UjAM zm_vu?PmH==DD|69peMg))?TnQgQ9;JX_3;k)77|ud7UUpa1ORF6%&s1D(us-H~$z} z2wf#<gvCD7d?~NEnI%f~p3e}iB zH#p8~_<@b--<0ZS~4Z6D*FZQpkKZQmOTgBXN-Zcq( z%tZ+WM%qCLHFsyT=fk3Wb?XVwF)mA4P8~D%GDKJjdC!hf%ku_?+n!Uo)_8AVcY4>J zE>UA2e{$g)ZqIju+jRCxySqgu;+!$u@ZpiU>x?e}e9irM8WzpDj@xhoq#o-j=kHUa z&6;S^K0@Bo)_}R(d}5QogisIM>ECKi*NLI*o34%(-e&@5?5r*5N$l|qbs1WO!HwB+ zcew8|JQQ4fdS+}Csk3*4_oBFaF-PJE9$YO)DZpJj6oBIvHiG$jx`w&9_uFV^P0F81 z^ap7HShlasf9^ITt7EG3EaSv+xK*Wb|Dv@*&md)1g3g%2(~xG#ri%L7S)MjsB|*Qf z-srL6$b_jsP9*PM_-_Bgu-wWc>iNE1r;S0z$(cf<6#blP8e$&&@eMo-a2)~tcq(v# z2ni(kn+|^mifeGmbKv-U;mP*p106ST4YdUUIK`LD_F=k>3k}-7KUGu(`Y7^zeg=~t z#&gU>2d?oyY!n!I4FVu{9VB?rz6_(>tMH;Q4AVFg>P593DBwmI-^*o3A{H`y=+{-A zR}1iC^2?f8DWV#fE zINWbXMqvtgkWvZ@ z(HCfH&P522uze??iD*&wkM}* z;gkxEX^^pxPPrP@N`)2%&$@V;7u}9Ois7BsCHpR9(T{pOOsCWhNfM3`%A%+qv;2Pf z`JY)klBObzvM>TUK{LplpL|tYa`G+Y$fwXBhoYMNa(?+LelRemN;4Luu~+giZSYNw zGKQDemk5!*Tp>*Y7rh_CpTH}?k$p%;4amR4q$KmWg(}3ZX46S6ZPRWx%b`oC$3*s zV*if-LvF;<^>Tr(t4a7_{S}u*g{EC%Mg0F-|ad3S%VNe)RRVGpPRtjB_{-XFdPXw6p45t z5#F@v!c6pRj%jGF-}@p|%T`6jx`)5g%x&+0-x^uc^?9quKUNK>=Q&(++h;j}GzFsH z+GF#q386T0Bxz*lg%PGX4b3tMjjCkJk;RnW1XrHlB>V6E?C=ZiXxb^woLy46>MhPQ=B2M4Ivcn#W~kwPeVMFw^iIyUY5;J@t_medZ-jo5@YAh8U5qX{>h_c*rN-itYg=9p_M9EJX5C2jrpD zp(t2Rx6!xj*0>Eauy~5j;0GI3%yo`_2c+mXMS$8uo3&c4_J7d*?f4SLK`ugB6PJ>H z{%+3&13qBy{QJ(wkE_UjALZ))XxjtoiI@S8=$kxpLp`1@QpXckjJasMTFIof%;MRu zRyN6MDVV&w7#eXmlN?XYvT<{%*(qX`d}2#DaZWO_inQbUuU5yARnpN0spWPFS5qiy zAK%|=o?><}n$>G;VI@=X1#E4YP37gz|GGSm)MEhJZpzK0y9Y0*E%bI9s5R+sZNFXY zd~bBsHRqPwjLqjv+F+zTQt{nEx*Ut?qw!R=WuZPXF8CO7^f zN)yBJYG@Jn@TIB=>nu{&rg)bd%fI=qMt}QgmrIpuBX-`hU|GHvLaeJR(EG9tOt_<8 z!cODUr4W`vl+Nuxu)s$u#0&l{!H!^Utm^_^6tbbwC&_etbT!MLwjD-Pp`p4dMRxzF}P#k+^?mWb;u5+5+%G1iB|^=!)YwmPeQ^80Iqp3Zy(@MGa&HihMM ze{4YjX_0wWSj*C33griNd?k5<{RBY=c7=e3yX)o;aeZRomM78)JftSZ}S^)}WW z3E8R{rxu;Q4>rI5^5%BzrK_e!E}r(o=qGJsX?hS7MO9H!O;XsU8olxzrhb7y^UqDw zDsI8jsF>K9I2jpf7?~*;87Zh>7-a2DL=9a`2`NRnnHibcm>3zk{%0i3@(yebn7vKt z9_$MQ@P+U(Ih{=~`%UcH@Yy+>hIS&J@%54|L-p5(u7MUSJeI$BfJ_3QV zvcyI0wk@ESx3m|zmAE!ohvq=58r{)xbr-pRBU3IZ>U>>zMbn5AdGnD3GMKQgu&+E6f zN~%LSbqUdX(nH(H>)m#@x09D&qM6*I{+cu+qcRl8>uZ9HS(1H6XZb>jR~M)?)H&P< zXldCTC4D!xd^;tqKmCW^J3~p(MT4Vk)~G}J<9)GwKU5*Gt$(xl zy&sDsxYYKKf#Li6-7#JUBeFmw_}Iv8?c3*l2k*DrEs3d%&o%BgY|;ZVHR}F9Qznf+ z4dw;RQHevCg_D($osmOCoSm6jNSuR-QCv)jnVFeOL_~;9oQt23_x~Kx{olAxLMBE| z<|IQfN&s1kriHF5YUnHX>ye37D7)oiwC&;+sjQaql9?4tc4@{nQWAot&0=$j0{9=F zdH(Q!)PZM7T1dx)D#4M&sNe+2ft(7WNHBpT`vo^;7eU0-P{^;ZpAQW`fNSs9`qiB= zF7;M?F6p)a^m(gU)%Nj@;f&A2Dj;|5#p!ibF+f7cS#n{vbFB|wK8Q+SrK@v?ndu>+ zb-aKyI+!MgiH|NbbR*MvpadCg&@^PmlN5T$nZ4M^35>u2pO54SEjzY@wDm~xxT2g0 za_i>ewQT`)IjA{s#GXKy4{^trA6tfZTLfXkr^vVhv7wQ@lS<(8rz zRjfAG%KPYrFz76tTlAP+aazx(dYAkkZYM9qm-5o=zeZPN*?ogPl9wI7#1A3xP3MwU9M^Kn=g(T{2|$sYfTT z{MoH}&IW%@Se3*ZTio+4C)o5s4`_OrW3|H&p-e6__7yl|tIAPTgP$Jw5E4ZB0B#CJ zGYuQ34=~rcS8G9u=7VOA1Qr(>GkMX5SS7IEr0x~gWgoSU%VdL20X=#VMoag z{O+dImJo3xpmOps>jp?SA4dk1PoKIRpALUlMSjIDAJPi(pY?xQl>CCFtE;qpx9|&1 z3>00~g%Z2@Y+pJul-8@@FJOT`YNw;pqEAd;Pl45@qm=_KM&srwu~2bJ_v4pvl=gMh zRIK9Iu9lkHpyPH8Ek;}CHJ~sEUH?sWA$UYx3sqL@OR1%hDynXUJ8G97*Wr8J-@OmY z<9Ey-#~p;f8|QAJ$3HF$)Q%p^$BSw2k#=wO5LjOx(&y2q|C$1{SCH&;Tj0Z+AK@G; z3IG7hxUV(kHNi@mXt&SkP5ThMh>|pArcP4Kh@Le0pjG<+$2R)!D(1=CCDkiI0~du= V8vQ320Sq%MD-0Q#n7la5{{svFrquud diff --git a/docs/parts/reference/style/tcolorbox/counter.tex b/docs/parts/reference/style/tcolorbox/counter.tex index d3c0872..376c226 100644 --- a/docs/parts/reference/style/tcolorbox/counter.tex +++ b/docs/parts/reference/style/tcolorbox/counter.tex @@ -1,4 +1,4 @@ -\vspace{1cm} +\newpage \fhlc{Aquamarine}{Counter-enabled} 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}. @@ -45,7 +45,6 @@ See \ref{sec:counters} for a guide on how to change the current number. \end{minted} \end{proposition} -\newpage \begin{fact}[]{Title here} \begin{minted}{latex} \begin{fact}[]{Title here} @@ -77,3 +76,11 @@ See \ref{sec:counters} for a guide on how to change the current number. \end{remark} \end{minted} \end{remark} + +\begin{formula}[]{Title here} + \begin{minted}{latex} + \begin{formula}[]{Title here} + + \end{formula} + \end{minted} +\end{formula} diff --git a/docs/parts/reference/style/tcolorbox/default.tex b/docs/parts/reference/style/tcolorbox/default.tex index c1c2ae9..3dde12b 100644 --- a/docs/parts/reference/style/tcolorbox/default.tex +++ b/docs/parts/reference/style/tcolorbox/default.tex @@ -78,13 +78,12 @@ Put \verb|\usetcolorboxes| right after \verb|\startDocument| (right after \verb| \end{minted} \end{limitations} - - -\fhlc{Aquamarine}{Math-Specific} -\begin{formula}[]{Title here} +\begin{intuition}[]{Title here} \begin{minted}{latex} - \begin{formula}[]{Title here} + \begin{intuition}[]{Title here} - \end{formula} + \end{intuition} \end{minted} -\end{formula} +\end{intuition} +Can also be used inline using \verb|\inlineintuition|, which renders \inlineintuition + diff --git a/docs/parts/reference/style/tcolorbox/other.tex b/docs/parts/reference/style/tcolorbox/other.tex index c9a6858..796552d 100644 --- a/docs/parts/reference/style/tcolorbox/other.tex +++ b/docs/parts/reference/style/tcolorbox/other.tex @@ -1,4 +1,4 @@ -\newpage +\vspace{1cm} \fhlc{Aquamarine}{Language-Specific} \begin{conjugation}[]{Title here} \begin{minted}{latex} @@ -17,9 +17,6 @@ \end{forms} -\fhlc{Aquamarine}{CS-Specific} -\textit{Coming soon!} - \fhlc{Aquamarine}{Flexible} \begin{general}[]{title}{second title}{red} diff --git a/main/style/common.tex b/main/style/common.tex index 9f28e02..ecea0d4 100644 --- a/main/style/common.tex +++ b/main/style/common.tex @@ -23,6 +23,11 @@ \newtcolorbox{limitations}[2][]{mainboxstyle,colback=purple!5!white,colframe=purple!75!black,colbacktitle=purple!75!black,title={\large #2}, overlay={\node[overlaystyle,draw=purple!75!black,,fill=purple!75!black] at (frame.north east) {\large \translate{Limitations }{Limitierungen }};},#1} +\newtcolorbox{intuition}[2][]{mainboxstyle,colback=Emerald!5!white,colframe=Emerald!75!black,colbacktitle=Emerald!75!black,title={\large #2}, + overlay={\node[overlaystyle,draw=Emerald!75!black,,fill=Emerald!75!black] at (frame.north east) {\large \translate{Limitations }{Limitierungen }};},#1} + +\newcommand{\inlineintuition}{\bg{Emerald}{Intuition:}} + % Terms and notation \newtcolorbox{terms}[2][]{mainboxstyle,colback=orange!5!white,colframe=orange!75!black,colbacktitle=orange!75!black,title={\large #2},