From 0df5534b19a402a42fb83033a26d8466d0e2eee5 Mon Sep 17 00:00:00 2001 From: mbertucci47 <61854785+mbertucci47@users.noreply.github.com> Date: Tue, 21 Jan 2025 13:24:05 -0700 Subject: [PATCH] v0.2.4 --- CHANGELOG.md | 2 +- README.md | 5 ----- doc/keytheorems-doc.pdf | Bin 175476 -> 175459 bytes tests/keytheorems-amsthmtest.pdf | Bin 154157 -> 154169 bytes tests/keytheorems-comptest.pdf | Bin 135224 -> 135224 bytes tests/tagged-keytheorems-amsthmtest.pdf | Bin 128444 -> 128416 bytes tests/thmtools-amsthmtest.pdf | Bin 153933 -> 153939 bytes tests/thmtools-comptest.pdf | Bin 159711 -> 159711 bytes tex/class-support/keythms-beamer-support.tex | 4 ++-- tex/keytheorems.sty | 4 ++-- 10 files changed, 5 insertions(+), 10 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 8585968..079b2bf 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -62,7 +62,7 @@ ## 0.1.0 - 2024-09-04 - First release -[v0.2.4]: https://github.com/mbertucci47/keytheorems/compare/v0.2.3...HEAD +[v0.2.4]: https://github.com/mbertucci47/keytheorems/compare/v0.2.3...v0.2.4 [v0.2.3]: https://github.com/mbertucci47/keytheorems/compare/v0.2.2...v0.2.3 [v0.2.2]: https://github.com/mbertucci47/keytheorems/compare/v0.2.1...v0.2.2 [v0.2.1]: https://github.com/mbertucci47/keytheorems/compare/v0.1.8...v0.2.1 diff --git a/README.md b/README.md index 3e5d59a..73b15c1 100644 --- a/README.md +++ b/README.md @@ -640,10 +640,5 @@ blub \end{document} ``` -## Things to do - -- Clean up the code. Things are out of order, poorly named, etc. -- For a complete list, see [`keytheorems-ideas.md`](https://github.com/mbertucci47/keytheorems/blob/develop/keytheorems-ideas.md) - ## License Released under the LaTeX Project Public License v1.3c or later. See https://www.latex-project.org/lppl.txt. \ No newline at end of file diff --git a/doc/keytheorems-doc.pdf b/doc/keytheorems-doc.pdf index f5b1c0d7baaeed1d2c6500570ffa51021147168d..3b107f6a1e69996f403d72af54f7b6c84d23605d 100644 GIT binary patch delta 8967 zcmaiWRZtv&vSkK$g1ZNIcMT3fg1fs8?gK%B1ed`A1b24^*FccLT?Pxm-O0;+yZg1Z z`#w+i>8_UQI(@T>w!4a!Bn=Qq?V}_}*2_a6B?%TwexwAkB3a~ymAsJ<7yliH-Avy* z1U-%lo@?l9s|ZcyHmB--IV#kxFZcKmFe5Otd(C zd4y9eAfvsF4mBT^da1tZg!Gs|Jfw{QD}gQ#JyvNL7)ICLvCnJG@AI{xHPWV}G3Vv? zjyxc8L$mKc;I{K)ZHDuavyfBii8Ixh6Ut-v*fHucQM$t0jkMD#eump#TB`!t3bmhw(zk+o=l%85e0(3)@2 zn7IoL>lv`_`ssiz4p9)5{kG=B(oZ4KWKTiUvf&fIrjWr?Try| z<)UB(Ga;^TTL3!(j$nPxhzXWyl`4|YF6j~F35RCbET02Rd{;pNo^ERRfoJ3;XDWHK zOr<3puZepG(|!vw+*+k1G4i`!t{hXxSHnxX!Q69QA5_YZd-aK@hdsQ`2j-8y@zN7V z$=r>+m5nTuzCBaJ)V!GaxmDW-Nl03oLN;_s7t(n#& z5?)Ns_J6+T+YlI2srC|M}xgVn;veHQ5(r=#R7IRa8TR7o`s5m#nKSVJssAm zn+7m(cL*zt?QJJIqx!JRuGSj8s}|3kH+=rKtcYM1W1)fwR%`8?Ycsulq_SQdzHP9$ zJB_%OY>;#z8X_aL7d{xAs{uTs4{E>%E|2dUP`Hlu_0c0Bza)_HbL5*__R0S+PeJTDhs# zTx)xTq&yYmGcCnFBf{lZu+klh6r$i(+~nv%s@Km`oy~suj$H@m*Eh&MVuO!Dt*LIF z?+a%!s6K<0i;5=U0{QAJgn`;OIuD#!FD5^o∈cosAbYZ zC=skUrq9y+z8+F6HA(Z|gsFq;e z@`Py=(*Qk}vaiOh)DVw;tE|h7E1+a_@+QzM*qZnr<;pJW;p!yw#H}e-QU!2{Qd2h(KCtG8{VLSmpswvEcvh4j(0N3#M&@UluOHx{I%<5Z<|T+tb?} zpUVO2?4teJuGEnXoxdGZavRSu8kzsI1G`3<9ZM=j{XS)uU8D<~8}`v#SNy4gS>I2A zg3QXb9CAf3CkC-yR4UaxpWV&MiW$7R{8A$^y@_}obWkHv<;>i8Oc)ud?md9YVy&jT@>8M%!a8Sq5|!2M4E z@Z0+I08aoA9?Prt(*>zw-AX8P!=vXTw-H*)$bsl8KPBxby$_<)Nn42LS;R?yQF;~0 zQtiUFm@*`f$>7F{u6-+Ak_1^|UWHf>m6Yqlj6D9ApGtqs(j-WRKV!=iOFaO6;T{)`(%>=mGt|A2xOlI^yb!7cS(NJf-Cycu*x`BWj)|z9(vWzdL9NS6 zfrenJKA>}hCuGyqGpnvIG{@|d9NT67C5=y$T25-8-t^$?sXb6_S7yPITg4+Dy{&QD zDeR#YL~n8sgN}j2N8}+hu5F>ntqj50RJ(Q}-;bXk>B``l?iwN6nJh8A*=^2u^XI-* zo`IC;xzi2Rz?B@|ltQ8DLB8I8twLW*&8a`ABg2OY7NX-xCzC+s={*CJIzBhtvj{+bCT_O%Vi9UT~GzL!@2D_ zACHwajR)!G9Xti%50fr0qP!RRlJ8vfiMEat=mPLeb1N}(c8t^i9r;zpbAnaLWP)a znG0uqtFkk=h54Qqw4MGko}R(`+n3HH7o+-y++m|Z?@*Ns0d}FFm~hyad8Iikbv_g|3pT4-B@Gfw@r2d0BB~;WHZ=ccHF3- zC&HJ#2;3I1Vp18GTh-njfm$nY$Shh-)}Y+8xf{P4igq{B{1&5EIYzVgFjsm3MZWOz zMC)ZYuPaVWePG-wFT97yf>xWwJ^ES`T-DZmJ?iWhc|I;fzqKa+SlJv2d{sN54VR5 z9Row?&essnXRis1ZDo{f%ZbaHK}F44QbGt%6Z?QXzIEebSdwLOJ|YmfGCvi#)dd6Ypb}F zyh>VEcEi5z99kdGFq!dcgY7i`C|>=KX-S&F%}XD$GDzwWg6#wePEz9LnAizSQ>qE3b*M7M{W>sjTH)k9K*7VX&LB86wQf}-#FKt zA-U~+kkIk73T6r}saRfW@n6rxD#zR0_Tbqe*90yj|?{piT&T6kgN3I2L6T37T*rKy}@f&=X0 z*RYzs#o2w%sXF;g-w=LNJGd|7VGCY4>Y!t1W)y@!UeeSTNOzO6a4Kh%(=E4VxJjT4 zi3@%q^u42PwhJU&n?XgNz=4OpmR@zH_hrG~`p9;Epo256S___{fY{f5(h3jjz<+XG?3 z8aShcVulp>7P{yMZxHx2!b-L1Zmeb*@@MCCgb2CW8-n=9YxZAHet&*b6W>Q4mS3AV z>nUconuG}^F&#<0&)xEzO3Xcb(Oe97z~X`fu7)6*9vZ7;6UDDp+ox0Cc!Q!4XT5;5 z7XkN^4T#I_hw1mVUP~``!9K&I0wKK{j#VuY{zf&Iq`m8|`zlDV;LfWMV5lp-d7ca6 zlFH&0>mS|L$KdWd+w4XY8XJ){0zY`A6nV_?oLIp{onJ}PhX8DVg!neiML^p!(+sKG z=kMGHtP7+;d5-Z*DmrpAvckxfZbohD!Q;t;rSp2!>SaA}=kh`uLf7N8b!^xJ zXJ{M7=X3C`@&vQ`t7;pX$J7_uUfcK>e<7Y7F~J%9?K_6xM;rt=%3{rPgp_0)ClgiL zwlhZnEdX>=LWBX3F~dhpozR1jeNiF~5FhPJ9M-0@@S{IUiW-(hvwo(G2jQFCcwfIplw$8%p`c zBkP#c#T>bWh6zQST(GFeN)AB&SkPX?feb$ts{m@o4O9_hA?`TMz}ZqUtu{`NvL3yH zuyY@b7tnS4joJQ`)}+qWrYtM&Fn{V$W_bnV&?C$BTS<$Yr(dWZ80QsVCUxVAmdk2n zenwzn%1L(ct~~m9r;LR@m=)HX>IfW+liXwzwpJ{nOw&G?OfmN6fcanDB;G4yIaKgl zKtb*pA{xp3dEleuGL{u{$3_joNXKM<2%&UHZMwHaWU;5T8F>7;oB%bd!kuj0+O9^d z5B-!~*W{OPW2CHG3DZhRd`H7VKSnWW3umhponm{Z$0!m#N#UQV&xqw3jY>x40-Xy} z0v3@bKm(ip0QoN2-apQwt9Ow<-#pQup}+!YdVh6_L%^e550f`k*nsYc9afQ(EZFSfOq%~;87`1m)p5Mgj0x@jeKl-YPeJ61* z4gOo2ERMvR^kP@M)3&~CanPE(OB!8vv6?R0d7XcDGdAd{lN86HSGyT;pPlRr)hNIl zr`rr|(c`Ba^jtvTzgJ3bKdkKd<^M=&x;HqAOX9zjcg{Qo;!4kqJ-a43#qsN3>F`Im ze6TssgMJFRWGyp|Apys^0wn+Uqrc?}Sc3U*o$n*+d#Uhz*(HN`5m#f?bDpxpMz6yH| zW$`PhWSE^uTU%b#op2+f<{KUK-lgn_QKJ~YKtUA594!Eamnr#4Xv!-Q8MWHu7?FTI zg?x7S$9O*l_i`aae)!Bi80(}~M^`qnG`va9g)IC|ACzUmFoCBL>%DRngBcaIV%jB& zG>ktA#pY3u!6bmciu(XX8nBK-tr$xPOy-n*Ff@6NE@B*vnFrjiCQ&>zE|JF*5WpQ0 zf(EYI4iIENiVUes{hr|W$x@#$5%&} zSU<7lE=dxM8&$X?wAbh1f?svqOP`K9$#M<2My#!2y>Go8E!70|Q(E-l*&c?x7P0R@*zfG|mW zg1O!H)SEpSl%$JHt2fAC9=hb>s}qG;>{Nf11MP_FwF8IU6>qN&4sIAsko6QWA+t9@tAj+XpYZg({-46AtS?v26i=JK764c;K zhw~XsGKYpdHE*%HOCwdAXI8Kc!tgkuc9>u7KRp<7V6DtScEtAtV>+aCNdy^VVv?u1 zq=wFo6>oep8F8^#nvJYQ@7_FqiLq`U&R2{b-_NN+triT)ffvi9K3^R3&6eU>w}exI z+Qa2jv=LYG_X7=HV@L+}?(ipCY|Wj=lsvtfQSzg;Xc(QPJ#q`m_}#BSsSu>zb_O9l z;dTx38l5n_=lV722C(D|uI(f43*}=V0XiRdw6{qd<|6g63kgZLwM;6H9wth5#~NY6HTo}P`t&BhDvDAa>mx%^K6MWd z72Z9i-cP+QGwM#e1g3)^wnIm%?Ko62Y$TdrCneI7CaW@#YW8;fci3*re~_Jd2#*E^ zWppK}lg}^VQ;Hg#O)Sw}tGamV%w_1RgU)xuH;X4%G2x6{jdw^@uyz0^iV|xUER&h`r9e8VXZQr z6LH|ux?)d#p(RJDg%%gj7=Bl-U|FL)<-RP*l+E6_Scy z*m;ZLo>Gp|3A2C`Y6EaEj7~X)5TbdI)tMbfR9s-~MeNU-ALN_}Lcau#c1TUUi?D3B zdMBf)O-az48CtsE7UTy|hC^s+e_aKS2LQ|f|4Y9m0s(X=AToK4oP&%{ad?7?kraUL z(Vn&k1}cjPHPf!Mv1?07bcsPAzWIROZ$om6PT=Z_ckQPf%9DzY$s-`hS*1VlJMax) zJDx()KEfD?XV1PG-TH?1URQ`{)NaqeLeYULU=bEL`;3RVq=sY&i@-IWk?D`rU;fV z7F`FP2Ak!1Y6vM@i~9s8--LC3tQ_h5gyx6ZFKWq7s#I#!S?p-LHlzqc!;9JNBZ9>y z&5pRj3hjH;yWi`{iv003iiPU-5D)@}t?%D`7OHLgE+PJPp#ZAJgvGV^o+E6g1ePpU}!&y zYN$A9`obG5%i7w44>>%Q*kmg6v6p|Y9-Rhn{kXj@9J0+D%2J4f&vYugcWm`s3kRb( zBuV#~0aeLTM;+*o8~E#|#jMEi(BDg%pr}XME}oAT>vgS$bRRu-;t0$AWs0OCo5;_A z2_G<0g1u9ynS0+yHOx0$_wA<8gh=89CG!-Bkvva{s#PQFOWU2C7#^_;ywTw4{B`L) zdcf{N;Vk@06a{D_ih^6hVB{9&5@zQTWaQ#vWTxi)T$V*fM61WaQE zpn~HTOzov40MRcimD?y#j9zM$J>QDmANy09mZjdLsrd$|PG28AdY2sD?2Sai|2~k% zH!cr*Ppc_Si@;5$bSgV0)4waT0j9Q0BL-F!$RkRBJG`Dgn5Y4D2cC7@zJBlg8}Mn4 zkE(4l%~g^-G~8wG8-E4K-}cKts~Tk8zjeO&NafFCk%830DjaK8X$HA7O9e^^mvXRp z=WQz}xN=dO=JPby+=R#u$~(YNiNOx8I+xiY=N2N2!$G)~BF8{Xq5;|#QO7_GqQUmn z;Fd#7aNq0?U4imb0b`_z1)mCWyLLF;N($XIn|3tawojsjPW5x{nAJLK<*kG66xDiN z1+5$I@E~XHt{<(F?s(3WjvbnTi|%l(<->MjRuA~jI&t11t6Ue~R`FYEqJUv8j#>*a zm&+Z|`GX1dTpFI!~2DpW= z7`H#!m!X_#Rk8?-m7*uh`W6+xWrU2rq>(lWiZR^4y{Aj(~sb@iR<$>-x zNYRddzbyg5z}}`2`!aeVi%S&hej6uM{4}-~Kd-uVZu*qeMo2rI7b}6F3O_Egbi7+} z!FF@W<_8y$d@dKlHgROoj@F~V$@eNS7?|QG8zc})f5cgK!0Wq<713#iR=CcI3^>#K zvJASblGcB2k@A(~3w9KLF94bI-uF2reb5_Xs0bZIpm&jC5pZW|XT3^{FIX{cmPIi0$z|KT`$ zPQBouDC65kD3$u;CH8KBUAG{i>SBNa=vW-Q;a!JN3vPLfFtq#bg4PYWxooYf=m2tY zcw@p`Qr+QshH5r$5zG3$G6B3axIkY1MDmYAADhga&iTtE7r^mm3UTHVO`#vs=Sr$gf+UIV2mE&+?xt*k4JZ2;%g1Oo`yes>Dcr<-0#03s z{-xz`oOpx&os4=GLYzJd69PV*ve*Y*$U0!c)bbpH{STvQ?&FNflU&^&`tIf-HlbJ~ z_tJvo-eO+}9$9gXutI0>Y1ppxPTb|TW2tOiI}xX2FrjH5^WCD=kE>rnOAzdWQaA0!NN&q#YKY|G7@czyjW zA}T52!u^}_2E*kBLnKl_1o2f~RDiCeq5E=lw;my5z(XIvYC#}--HcRdV~7l8a)GN! zLMmUlY=&O`_FVn#>GiE9p>P4*{FI_=Hv1Is#?M%D_Jd*#lram72Y!6sc}E`c-+O%E z7e^c2M#zoO`ggJY{>xb49R_1nhuyn}Z>;VFwf)|i5g6cYto6u1cPi5;={!?XI?$g)OMtxCD`kvOgmsQK`+IYS}V z6v_-N*E#pm+246|2G^l2>*{6^gq!4|4IH|-rJbd1^*wOoyRce z?UzMiPA|1z-#>m7q_FK%jqaIxY`gyLf*@^rd}JWW$w#fA}B%3(Bp62 zms2+aI{6^v;wxO@rjCWT^#%<+f8(@u8(=4HU1|%FPz`ch3qAkKV|zXz-kv{;9U`O( z;dSdv{EOH0A7M~F>b@Qv3X~+dIOZH;`&q=$vh@^{i=m}V)g%7v&0#kb1R-n@Y8oX0 zvXy||0y7_$x_2n7sD{{{>FyMGwM2K%xVS;PW$=U>F)I&}iq1P8T-o5&%eBFi2TmmC zH4+dl4qXf}yYgv*g~{r7J0#<7!lp*<*wnwX^J*cEnVCVLK32&%17;GXpY}G6y)R1^ zFxJ7@mbwrRrz;-A)YT=QVXn7B8frTBA*MHqq8efcE_uWF=zmTl?c}ZPixo zzdlnvGu=~t&dl_|I^z90VuC1uFZoLxPNH@$bmWwaK;jE2q_P#woB<2k4K~e!jaBAv z>hNja@5Sfac<1f*y0RajY(80f`hIs+HXUs~oNlZ_ayd!O@p5vb)T*ie=k6#-gszY2 z!Bg!?a0`ANbRrIm8}+yXQy{@uP{;vsS-uj}2sPSZ#e%4J;unH+SF!U9dZ*xY_;B^1 ztT=Z6_y}TI2pID|t(VJLqU&sA%B*JBsbR`iaj$%uE1VC2l_VFbid4^DI8VtRJsf2OOsgbT{M_6uUL*RF@uL7osu1swE8BMkN;0r!oX1-*~eOuFtQWa zv$MwL@4-5@)4rGpn}l$`MF~-H;^HewQ?yu-3gLDdnu!9YxM7HdNGJuw7;>9zMg>J4w(j+Gx|6r8(ygRQZeIb9gG^G<0;o)g}%T$-pxcvR2vF~W4?rW{v( zd==svwU{Y$rBK&wLGQqeVIdRB_~$GK*(c|vwT_10Ljex+#vL-=%DfB3m} zPGKKg`Th3H_!!1ms5;lJwFj2-f_JQH0P~-xc~oOpyt|5;4W3^}&Xf;mU@IOu$}jdJ z&p4Re;(8UFGG5M_yzkNxw~EM6%uVe6xQNCr&igzNK3`2!r2ZK-@NWra3uoxS>D;Ha zP&`)H7R*A^6DKeRWg(xXoV0CasWl>{n#z{S+9MtMW+d|WmNos-i}g;-uTn|FvG5A%W^7uSR5RgT+SW`pqhEp_;9Z+;+0tLN%)8)nW_aXD&pnI@m~^< z*4{$IgIHVDZC6v~mnALP$TRPchkWwl6^~MgBgfORME%K(>RHbrU96ej*}`9$+=m!# zCTtGN%tRYbrIX|RE@opt$0a3y57z^%kCx_fK~4dS32sqId-LVes|{d>k%ZAhSv(GM zSMbI%I9>^Vp0N8UhL0l;EA^`SSrngnIw#F)LcSk2siY|ch*vY|BsM7{_tcX9Xld7t zl0Yz6RCpAuM`5q>L z3{kV1Bd`_X^nCnSo<_RFPf9g;A(FROq2g>5Z-n!*-9u5; z$j}pP{ga5rFI?;@rOVp{W#=EcL6P`iN|C-7VFLK~5wd~6hP<>Oei*0hAbyDL6Y@`B zHB<;(<`$C8uGhU3ek@z2KCwXMvWlCzLF}rjrdvi!E!3nRunc;fpxj-9A4*@y(o4`6>xHg(XFiIL_L{i zvEf;(-RYCY_cTv`$8{ztBS*+dt^QAY^cj*%g9iA^jD5@L{-Y#ICM_n z>HLCqP2{#JPkNp?)tpfq<)GacCM8WN7yhzFcBLS9&N5%a-)|cmW2cZGoeZv#St&#W ziiYvo_azSPmI~FRoWk*BvB7OB!Rfp+S4A z91FsSE8@o3RPNkPF&Jp^XecfB{wUhftHmj)^1I|8F5B+BZm*4e`CU1gdWyg6*1{F> z^!c0y9(p`E3)HOGTZEBox48IwzP=;f6S_NvP{XxS!vTU-lF8z5TD!FYuKzeWTcE}T2B$_I zMe|Kf@zh<-jg+@rIo==M%M*Pgg>Fnv=Tn?bc$Z3%Q~qvS zcXz5CLy}yknF2a|`0>SlkzGr}XJNw(_^7E!X2SMbEfx7po)E&?W(p1OMp(@%*Uqli zGt|EW+TWfwOCsJ|sqP?8ld^2lTWwoA0fH?!QM;;>IB^?@C%MO;O4+{4=S}b`ugJiq zUdD%X@F#d;*$HqrAHJBYAE30M$7J_EcbqeL zxnvG;Tq-iWp~`>+Klu`1~kEGIq@}RWE5YV$THQEfmHQE6uF`k57(u}Trffl zChT1Qx}T<=MBcYBJk2n;gdN&GFy8I8*c?y zR)~h-xL*qO_S+z+8lPs%WBSgIW@(Eq_}h|wPgmu`XsbWKK+|C2IL>GcNiQSO!Z z8{{^Y9y}|5U#hr40q1c3>$u6E<_WANbcZNkrI%bky15!rC`_K?Q^z(;f9|BT{3hIE zcKioIy;Ggx<9ZTt*#E=#lu}55UBt_q*(B6gs8%>3ugaGx!Kh({r{rAx^A6b4|A?q{ z{7?;8`O)y%pZ*OE>-OY~oZS=oUl6BOd|j?97xr6(uhTudU_t+wF?jmpQ_vfJ_unzFC`ALA`V)a$J66;jg9Y| zvD%?Plu7Yz1zMisNiVnDn#FE7ww&P!C7HzjBhbR=^eS)Uhxb)=Z zJa?f4r&4t_!w@AMw<$ETWl;5+{1+RcxhvcJI~J&@c+4a#|CGRUq26DCo|i#x9gt|c z@_V@JZ^T@#(1`z}H4d*MoMa}%XfRN|2IIugHI`?;gEQUjDGM3Ou*tnogB8=q>?>2k z;y;7txh~?U-pJFaO~h*bZSrzpSjJ#bQo}WVG?Al;pkY+Z~u6tc^H=S z#wc67k=%`S_+mflj1oRBygJb+1<5(lJ&3)glp5e&Lym z4|g-mtJl}s-?ecRBJ=t~61Y{nO08XjhlnCA$H|em3coHEBLE!k#rh<$#Ur;7+JdyO z&7iTSnMTgx37cWg_Mz>Ed}#ii1V~|JCi02**sxh~JY6JHsRw!+zV&`8x;05(KE0Q> zm(Xx3bHaP#V(M zMLw@3|nSDGn1Uf$MAS`G=BhW2MCiD^QT_Pvc zVujy2@LVDG-5VWjFGt?_>K{DhsxRzLse?(V4dQHJ1R-(^ZHci>QA@RX>`cZg58Jzb zcqLr7f=h(8Ug8i%=-S*X+AzagtPT1ts$ne55;wu1l}T;5>*eizeO@PHy=6}k`=J*o zy#o}B%TuCSKb=7rzHcw(5v@eV#B<9xxMhp7A$>%<<%J<8n-sZ)GhX$EUrg6MVYWqn z6hVoC0%rNXx^~=2>!OwL^}!F>zTtT1xG~upaXK~r&2%_47|@X#=+lB@z@j@@Tc*Eu z{PfV1X*=N=mU8N#y^BIAOUOm*Ouwz8%_a_;11AXmd>x-x(mh&pM_h zua7_Yo%}!EA0cokWtW&k4~59_~gH+HL{D z0LTRjuCY$17Zz5?`3b=|OegHFjoPH_yO#BO(YvqXuEF>}Qa3(^o8@;+$N zIMH!I4Qt&ccHD>{@}gr;xIs{_K{Nx!uqg*kBVzd&8!|?kZW%ZJgmCTr=Pzj%DPPn! zHWlf*v}_`oZE8?MJR*Mz-~)$AJoxZIS`fh>sjK??s{Lb*tufC=w`NBboRk7-Cyw9P zv|&k3hsC+&QKNu+MYp_E(=dy(nrf$LtBicKh@?mhKDD9N>?gOBu@M)ktD;oF11aPx zqH8e9)bvy!-kO7r{b zPT6n$*o~`s6u<|SY`OC#_NnHxR@z~p24n8=6(Aa~Km8_HGiMDU>TugXoeJc*eB+6| zV9N+P{7Qk+djyNd(RxI@A|e>JQnNXq^Vhvpnl!gE*ucHr^?|x;C8jGn9GIg*dIMY4 zU2%h-TS?uB){#iI}Y^?LqPub-oqWzh4B>Ogz z#bJ&=h7&G=@Fs3o#ihv(mUVnsJG0c)i;FE7wu5``8|*+(p=L!hv84qGS&EiokFZDr z?EyyckUcWS#BHrY$Gx4F`4mPlu#G|_0h?)`+&J>Ox#JN-S~(o69O|t3i@>#IEgvBR zJv3y7>67tkt`&!jQfl7IE}#DVm{$=)RAIB2o4U0JOY^9|vBpsd*FK4`&c8T3`&TcF zY>lKzP1Ae#0@z?B)+<_p7=rSbl$(ZP!m0vS|YF z;Kop(tk9$61ks8|4=T7F#l^PkF%0QfG(!$;Tuen^zvP}d+RQ{FsgJd`v5wzJ>Yo4B zZXpvfPhNa8HCi{5?4!!XK%RGt4ICk5PMZcD1yGz_lgh+{HmA zs-5L(CsJp26fNw(jc5OzNzZ;+wv!>3`hHYLHE}2lw|KUVM|M>o;8d?VC>aNjQ`-K; zY)y*1h?%1V2Q|BVuxV60&_JjcBGONAxGK6()*P}i{cTZ8g9q&=?J+aa0;QM#a~mNc zFYN|3pfpjoGpi$JW1yxO$q*0Rz4C%J4vPMoh@Cpgqm8BG{LT&M%__QGo%owG$f9i+ zI_bwew6K5^n}&VxLBlH+N9gz^U7G!L-)chg@h=+;VT@8SrPbg=UQuOx$nGJH4@!WG zB8b`*RKTlO38Z;6Z4EJFf#g$7-BLXZ-BL+c`d#(xJE_B5JXQx>d6vy{i~ZWEP@@m? zlb0*z=(K+2(nTSvDGSKAct#7mh6e`CSnmuiD z4-eC<#*zcF0ygsVmPZ&MUE#VjOTvA4Slpz@Vi{}lApsptVcxp>p!rXv+jUE5s}_t4 zVG&_f0V3o(2XK_q=4%~8xSLu6UZiAVHC<3PP0`6H&JAC?Tn5{TDvvP>FOn)nr!g-{ zr;`e$IVkp=4i*CZACq)?w5d`EPhU0c$yWqxU8`kAeEjc3YK9LX8K{Ss1;uwW2|C10 z%G)dkloFey*)Wp4=mv$dvIWijscM=nLhI)H8v<%|)OX5fOs@iJGrTW_H~jo+(qocb z;N96XZ_0I{IB8c6W)i~(a{QKcV-P&LC2FqP&zSV}As1==$3mH?W%^GrPjPNRX#n_P z(CDYoA7z`ujTwQhAa8&I5E_v8XCu823^4vr^BlXC(-%Mi57CS1qo8Va(93QUrN4mx zCG^-m%<}?I;eNaBA)Sl&rh82gSNI95M{H#ueld1&rpC>2{oX`*+EFR~&0HUG`#k0j zja5Bus*g))JgD1G-v@p~rLE!~q#L4Ppii7IxB9fLNm`QJhq;20*qAKyM74=y_)ESD zKGs8lI;onM5JD4k?nr{oF1i|wjl$J|6s+J2wr~Dk&2TYt*M%rT$*^L=zihH9Dx=Y}?qK7u? zBswpUc~9J8MGTgyPk<)>-Ii&**@T&~3!_8jRrKLH19>Kcjr8|iOFK3}0TU;rg+Gf* z=V6?pdKvicq@NID&&>P98yZvk=U*jM)H@{ujl{0wbfTq_PScpnGuOD;lG+9&_Iaa*HtGk>eI4B;fky>6zNHKjU-Ns6$o2?b)uojaB)&zf>wr0j2cS@Clw{2A}@ zRO&#WgCxz>B@8N#z49~E%Oh(13N=gZVDvqNWkD(aMWesh+N><;icxx!=p)Snv&}Fc zBniW^-dc;Go;s6$kqo`!W-Kp^lCsVZ?Z>7fMIYe7b2mbx(w}mZMMPU@%CuisP_t7p zcUE)3AAA;BeDjvAb)Ze-Vn-8@4>U}07Vxxfgk+wsufZrDe(CLb%qpy{zudH}#q4bp zyOlhTkcYoEsaid~blhp5G{B5bI6HyzZ14p8?s(b!>7uRwPUCVszyIlY{j@vta`SPQ zN{r9~{aTxNapcfNZyfA^a=|gXIx++tQpOulFZllO#&)_?(_-ul?s1Y(n*S=dH#%}# zDp1_^@@>>Ihf-#OCDfGB<3jMd%_4F~8QQoAnO1qE=PnNG9H2EvAke7=j*f+lNi0D& zocTYXW?oqe|8wO>kcIfBu;{E_dTYaS5 zyrf|{4vc8tY;P9J)BCJ%-rMHgAEA?v*$ofFr{10{_H`)Vy`!FU>W-gGrvkOiXw5f( zTFiSWJGBjG2ro=Y#e>}&GL1>*dZ?a(GyjxIR&mP;hhu zKb_jTvfF|e?YNRe&37IIVASX=ehl6t*QxT4&I=%D{nPUpENCsnXJ~ZP@~$RA~xSwoHTMNUF3uOInsdP!7a)?drbEAWZJ^ zVQWG2XHEyLXpe0(d~YeosCBEswmz-qa=V+B=j%&5wZuFHm|9pEv>wgsIeT%L`>~3VpIGXb`Bq%Wt4)*vcF1gTdUs*tTU^ z2Tx9<-Gzvhm`()3a_V<%gYw!V-Hd>{Mknnzm(4~S(8LRtSsFWR{;9ZgVq`a_kCJGu zEQtbG3~Wd|U-G6GMB>VYQ5L~@p})n_RZ{M!x)y>|%>Aqm_oBSXf3AX(S7RxQ40V zp9yKuvaF7>Nv$Nz`=YJMeU|u>#fso!~tq!e<>3S}imxeq=g&55gwG{Wg7l&1k}-dFruikvWa zJ|`2s=;Ya4H<Vhiw{{hlE&-GgsOKO5pMrv=4Aj~PovZ)SNEVO zjF4q&d)DL0T4Vh;>t99m+vz~ro03#TpwwYdn_>x~Oz!GNVmpUi)_;2%>#M)P85wan1qeH?--Q=IBUEr>X#|0N zq^a%u{S8GB8?pD=?mpyH@49tPx;or3a#hp?&s-#@w|Q`pi{i~_SFcPQ2LK%ZNXWyYBzVq zir_;Yr*b8kUI`a^>;mi@1kpASOrrdmBwn~QURZi`^_&*$FI&rU`aspa^K9g{a8COA zt(uN0GluBDRmpM{?rrbWQ0?g#UgZC9HW@@X)5qQRX=Tqq?%Zp{+8|UOL{QVGIR+yA z9|SF;jF=;$y9^Lu{=Dy8a{tSGP!NhyBCQ0%sJLc!VoPV}$Mhjl(;#D+I6WZ zZ^G>Y{2D1p!aG518OJXDy>LqPnAR=jfJAR~N-J(8wVL>n-jXjoQ7S6vc^NJaObIyGTu$4gD_ z$?5=5l?qeq5Q$Bs>`j<>N#coZrHM=^6b7ih3AqPxS5XD}0N{J#i{P>TijC?w+S_Z@)p{1XXH*bOGW4ZW#h(S@2|^?`R65=GjDoep zC$Kx+YW7Ia>lp7U=e+fqdi!-a@b_%g+Bpa+{PF>=my|l7&AKmMe`-5i0K`+A_wJD4 zZ9N>Ar~I$4>ir2#9n6A;^}GA)ZmV&uZqlgXS?^maFF{Gl$Nd%S+X>_n>f@ukZ1}s- zOe7Yazu>!HY5Z4#F7y4u3`@w=hqu+4wVzc+#?2%E=_^U&4J2W8;K)Rf=OOwl*A(-| zbYS({zA~j5BgR2k`HpaveDA?TpuCs47WatDt#RgSr7X2gHv=CxwD@Xf17bQal`17f(y4}P_A n(U?0M%6<|e9IOX{252Z8LsqFpxjDGDeawc(U znFEFh7s`8sGeQfHBN#Ec-!0u_lrouKZ;VK-A2Y6H+TG&+FamtazQVf+bNu$!fX`6P3;|Iirli1_X4FID^yHi{FB~S)+OIhQBrsy8j z^l#lwY2SaaKjpA*V6$AL$9n9WE%9b$;Z7;sF}dEU%q8x0dW$aJGC2`OOfdLyBP}L9 zUY7G{L8#KxylOJFP82a30@{iq1%D{d3FHZ!#UlPFh%o^3#jHQaR%3+eS*v|SjwI*j zZ*!SPgm6+o#QQm)qB3$#7ec5PB344?h2BM0VMIejOm_Jc5kYgpq*}=cEQc~4TQ2kz z$#W4{?#6iwP$Xqq;@@|5e{9C4Z1MJPs83awA!u+2^UVr7RD!{a*}dQRU4P^Y9Sfpi zLPh~De)&G4q#%OQWHIUMh{-Z83SzGj@G9_fU^ zC_!tDmQ`y+1!fAsaLGstjU)mit(T)LSxh=(PhJGD&8bSK_szJEp%988pR@TNBEkTL z)R<|8%Wqr(Zib<=FxoayvVZJF6;T*!1v7jZZZx6;RMs=hU&i;%=1`#*HeI+Z;wNR0 z!j1%hTk!Pz+n7j3gqmIQ3xGV5OcWFwv$9P9GqV)(cCK1{Wj`gw6BeF55RWn_f&9P2 z&!Zp<@Z+%oPHp4ZFoJ%`{>7#J%e9oH@`|vWKB+teKX5pkNucs5I)9rh;}Yr|lv%*w z0q?roh!F)?nd$%Ch#KbWRS@R3oZFRMBz!nEA3-5Vu`Q4hs}-<}SU%I1N~veo#xM;9 zZUDRRbsoCp3rU||P{kHpS_&wGf*NQ(3pHgD8)W>Ps$%RTqnbfZHz5h}1PjVvN(qgX zU_~S^mYJokcjf5G*na^SC1b$4PW?wmY%9FKEsxEisfR@h3F3@e=gwFqQSUFR2J96AoB^BmP2etSS$R(K6GLIhP%I8w7hBH9=oDXgWc_ zOG50NZd;Qb1y%wL<&$*?lY9qA3yhw7i@fRj?r^}vlg|fv0o#*F2#*1uli3KE0WXts2{Hm7D3hiM zCIsh-Fc^c-3AfM*0k#tmFbXeBWo~D5Xfhx%F*h(Zlc5w91Tr`_GMBF%0Vsd81yCH? z(k+a;Yw#hsySuwD6Tr>MDfB-?2vis# zYv~EH0jRM9lp$cC8ycMq#Ki{+va@%8Ip%-<0vN5C09-;s0<3?A1EidRP>{7H7@%h9 zZVz;RInmnE37`Y91_9lD{woEesJ*+pi!cX=mzNj2rL!A51ZpSF#0r1#0=e4*w1I9w zs3*_{@JGP_bxUX9UzM?=(E)VrL2iH9bs)CxUY1ZG;KkqsvIc_PULrieHb5xg<#2$G zk}5#M1ql9&toj#$74Ua&09@=`|4H|E^dE^p;6H;ct*s%>E|y>)5ZDf23vvPiG~`v; z-M!se0hVB!KZur2ZjgVMcuP-9kdvj=3*k@YmH>GvEr8`qfq$3hW(@_oxVy2tft>y* zk>igvFI|=c+sHtioq=F?H?%+W$%3Fj>zB6saQt<%j$nuv*za#(3j*8N{!xUDhYN=u z806{!RFeIh@?t{!$7Tm~2k>!nata9X0)VanptrR>#~%DTFuzm~;O7Ey z0ocA20So}y0$+a6{M;-(fdF@?2Qa|z-;V!AXk1(X8<4d-zzS#w0;Bzt{lyHl{R_Wb zJ{05)Fy?%jJuU#}AD{pHGkqB^8wl9R=O6l?_sgNAr=_YR#qw9h|M5vnL%acgY&^UG zHf}yHfRLadK!AUb6A|D8)6 z@-nnQ0OLP1ZozXi#AI63|4X8hCt|8ZM7gPeT+ zCcMn7hx^O?t3h720Q|qH2Ee~|Rt;za@^Jp&UL|+Smpy-w0^2$Lr;Q*td5|~IMib<2 zZU5J>{AJhsW67LAV4x<%4fMyW0$}6fqoG*jK&Bq7u<9b;|8=&`}GYsHh2SeOnLI5x21psUzP_#d8l%Eg4 zA@zspFT{Tj;E?_Y2?97||APd00UXNzAOQe}+CNALz@hOUB=q95{0F^cvHAzSFs=WC zcwch9JQB|Tu>a@*ht0nr7k~r!FUSqxu>B9@<9R_K&wu-0EO!5bFZu2N1z(B<{R_TS z>+mo5BGl<$@I|TfKalH17x-WBMHl3sI$pRhFZ_SM+%Gy^{smujK>r0_bh!Of#Y?ao z&>3V6af1B&gco)0|BzmeclUz)%l*=1kAK0JBwqhO?iYDJ|Hyl(%ohm#EBe32$Jzr5 zeR)9tT=19K`XBt~YYhZ?1Fg}P7a-OmVGi|Sowv18WL|8$U&UtWb`3I_*!-5ET^{#X z$Z3B}HMt?{&}*r*(a$*Fw&fVFBv+^&{f^oikt5qvv^swKKbR+JPw#f1Elm*(O_m%< zH4IXqlC$Yb?)g8u`s)Wf!neWpDAN_VdI(}^7UAD|4Jddw3|6d;M=b1W?bYzBpg&a1 zu*K=cngoBCqbsy}KmY1Ak~2auN$#z;PT;sh`mXcl_PF z@Apr-+-|)jv?NBaDB!Q~#;581qz}@Si5LCKOV^>}8S_M46PwPdTuuj!zPsw$x6s22 zGkUs7VMdZy9Pk86?_$^66_cGmP$whtzCZh>yzZ@ZA<$;!#;TDFde(3fXyDUE7utXA zyU%a%JwRq8tT$wi)V3!~YoG%6^F>m?<~Pt|MHTPb4L`&YubB*6e;@l!(9|k~Wg$n= z))lm6ms{@@eE40Ldi0z3h|=7-vhPfk=ixT96T#Up>m0~X&)$TajWdZEY#LotQ;66> zZF^e2EIJF>JEDg76duo8X+N;&7Z@n&j5N>fbuylxejh;?ZpSzD z7Ct0>1NFl^NDE5Et;bY$V% zqFxMK1#ZEYX6mw@#m%vKIJxW!1C2W1PH&^rpC!pezOy;M+28BDOHunp#T2nBI@%KZ z)ALbt);@?vluL<5!+h86dr8N@i2RM6M{WQ136a%?!zznAQpD|ZN^*bU*>B8zXU$3` zZ-)Er1bS|MKMNPz1$*ph;+x3_9OO6$69~0?^u3J+I%;aK1?T=!IT(Iw)qjm49a>zy1o^GfZ3K~PTt2WWsy(Tm}u&~smzy{%W(?i zy=5gE%lZQ2Uw%!PIG~qDf~0`+5CvcsNBozO;h=alvG9=o_fEs zx12gP{ppzWhg-3n&)OF&-&5e>iP3jjqV0bo`lTG-@0NcVW=>H&UZ0$W=o25fOzQ8a z9a0p>KhT&rmLZ*yAmE^MLy8FGvjFXue(s;m1Gn=cBWc&0w@OceYvaaK) z47s4iKgLTf2AX0`AhfPY$heay>L}QOTqBZJAuz1Sky6~ko1wj;_^N}iyJ|KFX<=8d ziExosp4@+e`CDjg7(D)`7)z>MmuRe4q3SvqQ^tSP^i_!XiR8P3w1NKfH_mi$;<{av zj<2dF+Ju)v(92x~kwag1Bs zNQQsz&*sm@?-Ifgj`Fs~H&!a6VTDO!yc-{(t$brSU#m!nDwPyy$4R85l}d6cx+a2@ z@!Qj1^n@RIPGNaR(ml@AFd|lbb2Pz4iMWccmXXr%muK48oiDN{5j+(v571!#C zq;DfjANH=^JsNNG1!rRQL`68tl-Jt28n7*=J%;kTMnjO9GhJBNuk9S1j0&KX_U?aV z31206gt<%Im(Q1d=*i@>sJ%q5U8zp7PHH>k+0|yT{9b+B6v>w21m9aFS4(&f;J;D- z%A%Yxv|WQg$WLEDdz|w-Q54+=?+1+w_RVB1JeV}}mqRVP?oJvy%vI#81NutbNWtB? zeBZjk_X?0Gq2BSi*Ji|3cR|`XCHQ~dk^V;1W`o$>UUHU;wskWf49?OAGj7xYtyKiE)rX`{oY<^)D%H!+_VAO-jA2<;UR>r{Ua%G%&N zF7=ZpThZ3u>z@xtRG7J^^9I=S0h87g)uW&Tid9ObtQsxI{0tkVB%71CPDKq=5jkjK z&k^bxKVGfScw54tj%n!Tq3G|jbuhM2D>tsQ(Zd^??~Gy0!g;rlI2((oq9Q4^drhmb*a$XoNmArtjXOfJDNR#p^pKMs z{pc*PJfjNxAl-`327j7aLk^WM5wlKD*Z!X5yOU>+PzRYg6YSj_$vA(li%d@T&=Ca= z%Q$1JT0H7}=ZfZU{ddV4E`?*m?$$CE?ehg&oH_9W^+DBwe4pM(F%B{uCP#58XQMM= zkk;U*&WeqJCFES<<2Nl`af@P1YVLk8FnuxSU8d*`PK8;s;_)|45^3saV*=A^C|nN@7xwkt5MAHpH0_OX9nb&tw-E;%1JyL<(+!irnBD5r~dO+3KwExPQnQQ0nAs!aAiE)BozT8 zRoT~;#c986_msHG$tC6--1`|u1%){nW0mq03iDTxkzmG}_+y3pw!T z0k^r{c}ot#U&Mc+8Ut%OgnD*;`<1$>5z2;|p}0T=^&UfY7pdrUUL-v?Q!5d>Bv{Hg zHdW#M*c%SQPb<~qF8G#9=_uI3+f!WLcf+X{BRdvJNcz2L=k#)NaQVR!&DJ=tuoi9! zFl1IUhO-0&>e(!YmuV4ds?i#fVz`4Vi>30}t*$7Di`D?K6%L#c|>AXCT=cdk2F#@Wpmq|!IdmL5b&4d zY^+XLAzOb#GpX7xR+9`!xv&DIUax}^WoR>hqnHU z;E?w?%x3Zdq*OE#7@A~z@vT8@NDrrP(@CBC-#VP7<|d=ady?x90jQ!?&X(A5kWCog z6kUH0#s4x2iOI*0qlk`L@ZZA|qDRi{8pK+&g$iJAHV0{Sz6H0i0aW>-weWUNIE-W9 zy2xJ{r-TG)XnO!Z5I>0TDhy1bm-@oo*Enc?sbO_6*bh!6(q5_d5NLG8Jnp!4aCSnA zh{@*3r~YAbenKumXa*WZ!fFhgMaNla5FAnf6rIrq2WImgE<0(|REwq{`G`(1x1_gZbqXV3z)P+%G{f{wfh-#cb{g11!Q-HG6r zmXolcy2z0tKF7E7!cSfAWxZTpSBf~C*GeJWSD}8j(9t$&euIEj$3EkwzCrvbQw{nUcFjYP=8#bkYf@dH0pN+f&Y?t1iEbxykiw~EOX|0j{9B%f0yQNrRL6fy5$qBm zTgQ2Ve1G)I=W55&wj?yDJXeZGLhd@AT^lD~8VhzEaW^;v(RxzPU*n>jrA?25wh=ll zwj3FqSWN~_d~Dq3vlve+X5HB2m^(9rittI03XLtDVT)_!sxK-SfsjK#t>5G(*=0ny zi1|g#nq!Y-an31Dh%vqfysL)2ln`}yna&lWUsQ$xij>$X3Q?A}4KE;he?*~O28Rst+fk%x`nVm}Y-fU5Lf0%Uo2U zg>S6i6GKjJls887DIrUCGTIkn(VwF3i^)Rj*~@+7>rP6F6b0Yi-uH{0x&g6k$G652 zh_3@nxRk$Ed}NMWtnK-zYMj+F5a-5hZFeQP^w!zY*0Wqj@cY;>epm!1rjV|Skz|4y zZs_KezCi_HEVUv395CCkNa%R*3(v1gV^xiMx{aUx-Vg*c}D3cOmnG1hqm;$C?`t@FCwP-pr zgzbXy9^`Bj1gW0BsqqT|7nx55#i}3hN|mMCIIpg8uX42C-W5AP^NWPWSD|`pZZY92 z)I4nOYQCbwuD3O%OVDr+4oqm<-G1d{+bQLUyj6%NKDv+}zS%?-&@35cKG{;g{fzkW z(tv<|znlq?=I(#%Vo+^%?80xBLSov{MD9J1dDchi_r9J8rxxU!PBwr zVU38)p<{PV)w^nBoNb*EH-(EP6C+PZkRhto%lJ#@c73#utfjifotH?(%L|rarwoJ8 z_?7PEmak$g1?-3J=1nuK3_)d|HJMf}r#|FCnP+h~c@2NUT^4Bz(8=}uDA;0~%cn!6 zqscA-`LPkCt}6vuMQD~58sq-1+tD_eh=psLUwIBm;b;5XX*YjxT>8(bY2UZ7S;UfU z)L?uR;onoc_aDsfw|jdLbn^z_QDI!?bioMeTz*EH3$`Q8a+1S7_DX4K?OO2+!GUUKIcxfiu zgoQ{2J{fYeo7llQpW(AUhmtu=KIjT@y*kxQ`2ekHUjAjO>pw88am^cbC>fp5QhSsi(@^A8<@YPk}7{*kbl4A*vMgJa@2T|tW^WX( z1s%Rn3vUhY@;$6<-Q17M-;TF#=|%S9&Dj>=N%@v>A2n+k-#XA~R!6jsjEZBUH7OW4 zrKtu_OTcBlkKAcGyDPg!_@4BUzAwh!;|hkpi&6?Uf)*z>ByNuGK3>S$L=)q+0^{p7 zjKP1cio3_FrijgB#L?b9g0vYN7~gON^4RZ?HQLb?YZ)Do0`6650A)bYhVz`(zsG3tWZKLg0mjyn)t8rrNW9zA|<2 zk?j&b8tpm@?0YO5x-=FK7O$58!Kg!yNx6TH+)_E>yY%FtX7%3>NVI*Y#cXk-57U`$ z?Hr`Or!aU&T1ji#h}LYEn$5(s&QfFd7kbX`IxnFsQzz9ii&och=+wiFe1;QK8y5;N zq%dC9=GnZL;$~3~wK;mdlhx-kLFwQCQ+2K!F00=3_71krzh@0@oC)--D2o|YqCd42ZM@L*OSzQuBc@wSe6 zpY^O?Jl7}mN%6C*U@iA($s{h%dC}L4i^ahCoL@zu?7=$ONGv17lJwYJF-ax^)26-e ztqj%+sf*OtN?n!-E&G3RCfg=-IwgDucg&*6$;M$cx*#9OK!wk1FDY<$=Z=51a1g|b zcVLnZ2)4%G8#Ix@6AAiJCOOOKEwzZWXt_U;ZNE3Jjxk!Vz{7PI%5L<31FywPHL@oo zN@xU}T>422+1b694R^a-5QLpnth|4}iZG`3OEKf1?W|y*2j(Qp;k2X5KfK>X@GN{m zjOy7HS7N3!9KS_OP7Vt=1uuWT#h<4V9AL|R?q!)|YAG)6AV1nt7yg8nk(W{N=++tD zJO$Hwff|!Mg53R}pZJb11+MG&my!VyX7Gd+?S)RY=ZXEp7q%clpNTJtbsNo3KPkn| zKyItOu~bmT_Z*m~Kx`O62K}hEd!uMoP65FzRYJ^R#;DXtwdL0peJOt#A?>OT`d=G+ zz!O=&6C3mqYu&q3?v$WE-ZFM;mt=G)Qg633^AY;yB zSWA=fS5v0S@L}G-((r#mL^F6!f5_Or`z2>H^M1vG>4bwB(-3vcP(6#|eX9B@+;!Vr zZlr}(U!Db<5zlAryt|e!ffU3l?5SxIy5u5Zb38WiW@U~{E%!KMP<#MC8oZ;&)%POs zf$tZnT4Q%ZwxrxO%iQM(b^#?jfggJbM&rK%tgl;oPjA1sZNq=^TU1Cso#omUJLOE~ zbs3zSHZ+yf|9G8dp|gf$!|!=muk*^)asE|*@qvBD5D0FCVtKTY#J8`iF=`*d^is$J zv8#Urn-g7_E9&rMn$V+LKFl#GJ6kq_PD&wZqyl-bTWaYi6%UM&%)X3US1n>by-mKRI)WhG7*LHBGst$vHw10O!#?d?fJx@AyT8#RB&8hjll0$C7 zQgIW~!&^=ie8)sh*7j<5yTLCZEl#1Y0;ghr(MmaaB@<;2yS8`Rt$ahhG5A9U>Gqdfv>1i-lyahHqnjq}(AZ4|m6nXMk(r~{IAPn0UrJ*Z+Vv@MHc$3V%Gl=V ze?x!Sd3`Xip@rckcMqt7yEi`tqSQ(k$L_I~LYYKi~2}MR}Y#*)I&8S^}zY&j*kwV$F>pKK6VusJczPwI-;8o!WHNWrD3fwd`` zE8%~~F>7ys;p@Pc6))j|iQ=4%Ce-_+?^S>9Nc4-~XC4P4l_Ii*h3!dl2Ah~14qRqq zy12aurj3IQWadGIAnByY%WL3sWEtwRBnJ6~fSgf}n($GHZJ4A6DGmeUMBbohGdwD> z?}-;8ZM>?WrbRa9Cui>jXiw98=`3yOrLj@B@#IDTMj(%*l* zU#O{M4%VMdM>nu(5>L^Z9jl#iY$s_xJS zGs#(l-hWDm89tvFrOt_3s(0vpqu1;gF)V4`3de;3U(ginkB!BxkCN=P9L3mX})b zmVbjwUytWYcn48(FjY5AG%J6-tV%7juAf|{nE}sWe&5E z3UqxQv_mVL{F$oh-TSa}Zr=z)On+OS`L|5)cfzu<5seHDuF?_@c}Pa&hekeQ`CE^1 z6N`5P2}@2eB_guX^;s;(14+{ncd9%_2gTgYNEcJ0=Z>R$Uvl29pMxlBfd;IL)RsaV z{wRi5%7Q~*H@NrVu$d+aH~=@0n&11FHY}8sTBAl>u1Ar6^n?`f@t@?}MXx`o-}UTKf8zeO0Fy)9 zlRYRtv|6!54sAOv6DZlWP)nq(wlvJ`ZSD}2Lk)Zo4DCL%9rb?=teuyDP{_NgjuKmn z1pBX&&OM0MmHPO054K}T{;>2JZQo(XL~_@>fk(WQB|`cIJKb#P00!@btfm<^EXl;4 z66Kvtk|LZkO)f*?4De22Mx?aRs-p;Eos&<^6{ z#&BloGC+7I_1k~W<_$>xRa6Bw8r_FE;aAawF(y`4NG7CloQvPq%sJUy-VcoE$eSMF zbOFpOcjV33yYT9C^y?duFHpwc?A&=87Gv;XR|*KQm!lXPC{~w^O|-97E1APoU>nEp zz%<{z{|RVN*V*Y1vR?kRF+smCw>A?uc#_4FDZQtykYax(bx?!uG|FG8-gNAgzXMsr zO%4Pp4}8F9qTV%`hU>7T-1&(&Ty{zE#X5y6DK%KY0`)m&d zRWC=0-4|hwS5H|%V79gZS1Y&cy-iB32 zt)H!%Qd{H?64SB?wH))~q?jhL0w@v+!?R@WfO~(-d;&;iZ`F{QP`7ToeM9;B(-_Y0 zav^UYrD;~Hh9{YB{!A1|y#8(M=iwG?9d*80 zGbA}&d_=lBXyfPl3fIgF;Z5X&J zS4e+-)q#9Mu3AF)vnZ#wD#)^G72k!U^=&kceG+bEySoq0jFIG8mU3xDWi}3e(sr<+ zgnSaNsUP|kmwJlNJDer%i!M>)HGGjz{Csg4vElD3a7=c0nkQ5RF>}z|z~frqzI*X` zGT#ezx>^Wrhf6=fss&=?tHs+5a<-K>t3H1t8$)K@n#M)W%I-Ewvq#J-K!QfuZVgRI z)8=Q?7%+VuO5o0q%0K*xukjzWI*IOn^jnyd(0_Ua6y~oDAtkuz7M_NaQ7*#dV`ASZ zK{gD&CUMb5H6q?}xTH5czrryr)Z8dQ-uP5UVVOELQvUg)*0MqFGjil+Fg(j8P56K7 z{F>MLQ~`^D{uCMuYKXTcUC{!X9S5}JmOChkBo?ojfB$+-;>9vZ$MJAzVdXo;yY+?txVPN24^(CZrr5@R1#mP3&^<%9B-=phN!r!6urKs z`lE}1&9lw(o2HO=vdd#HTGujWpH6>&NvX@Yk~_!U^l>vQ|6mViGVlE>ZT{*g7@+(U z4{mkgcx;pFBzi;BiiV!yr!jk)Tk#2`!-TjMqvOh0Kjeh(wtSMRzWb=PJ5D?BL<@Mt z2&>eY=9m+a-Sty3y7v}*oldprY^BRplrdN?u9xY$VjCZH4N|RAXpsVwTF!qs)UuRu znm0A~vTGb$(rPl#oqCaex}Im0O;9E{D*h&#riS2o(X^q^v}KHRak(NWawCVeedHu9 zNfl^cgkX6mabf-7!EIl0ilX|Ifiu|DXFzI#o|TA|@|juN4Cw;Cjz;zNv`&PHb$kxa zvi-yIJ4L^4G7Djvv<_V{UNL`AI2(|s=1H3Fm|a9mkK|Xl zi|W*(jF)Rjzy?t?G**x`>D_L2R5g}%*5c{vEy87i)>bj|aSs#Vpf9)`R>dG>@kt$$ zK&fi(-!6@x#LJ8K+4V{|^ph-=_;$mn!kbv_nUbH2AQ{gwo{Kzw%A$WAt#5HynQ$D}r)S3?x zptlR$-x_R)IL)f01m-9g0^vim+1T)wLbn*V1gnXD!_u z$vlpY0ukD1(&^v03>2bICrJN6|H{XG*e`FKiy)5V6t*w4cmY=l`{U#H=%GXD2&IUS zP55r})lp`vM}w$EbO|IPXZub*-UURdJ0)jypPS$gj_`j5&MB3iF3-#2VkurYQk2ws zTX@VzWd937f@IX@`hgSs6xsI69gDVYayz-94bPSita$2G741Fd650q!-5b)CZ@5N$ zCN&-t>v10>(3phYBlZ_{Y!Run%8M5H!?V^V`CTha&Njs(zVX zs1Gf7lDY}Y&QYp!s&PM@TXsm{b=&vGQBdPE9mC}6j0RUt)9&e@hD z+32hgNo&6)!&RgpOnB^xQ`^0Fo8=H5u2H$e(vRnJ8PE#p-Yc)%Bzzp?LBkbNtM#Qa zX&SF~S>^S?(7C&mNmVV6_LL>fF<9<777~9mZ)TdjOxoO9e~^~IgdN`?(foc{)zGKN zI~q8#P%K{$Ug31Zo8O`NeJlsNz2hMmLi2^+Rr-g2Wab9F8=-xhp{~NkK-g!LtjD+N zjOBby!9_qXfR&kC0gdxoBg_qX?bahyV!Y~N zdpgZ(7(w zsW0Wy_e}C!hM5GP45l!gELrde>|ZeV;!~J!IZo7i&=h|jzLcWNLGhm1b$Ndvg*xd} zT#bt)B!+)FH~!QSdljt8R}eVPN-uKEy1jmDG7cdj>^ zn$->?V}n}Pe*7w=t@CH{op^t_SF0nRCnMT(TK!Zf0JB22`#yso6c*cXBPpjvL1Q-T z!iu#Nw^N(Yk+E?0bu0`otK;kz_HoTv(>GsT(>gG19cfC_6}cyQ(he&Jj5LPIf`%u$i#maO9{Iu-^}is zW^YPhx36JD+Yi#8*C}ecyyM7{+=ZKa?L`fbE@v6lrGv#P*U;gE&7L|UgRSRDdG8Ry zps@zOr|}v~gF>peUgrR zb?|9kT@w-%)-R4Vg}P{`TbdEN#PQviVOr;^>HgUBo%A5kC&4(5%~Rs&DS-1%2R@;X zBM>g+`bWZ?hN|_0sDlT}vT!S^%Mp%7uugDqjPzWlJnM2KS+{?0SFQF**c7=j%a3gA z2@xzpx6HYLS-6&S3x|#Zex`WNHo=D{wjK3z(2P&qNt5iBWjl(Fmk!rE1Qyo`*=go) zeEey9Y|KWpHd>w@H*iXv9`4deHvFO$xB@m- z29u1gf*MI5#xZ}siy})OSl&EDM zUWT~6FCIX9?SPL||M6x3S$xt7BPl8T>8DYystJ6-=VLp30zeW8MuT|Isoe; zYnndmeZawSdgi~H<&H#Xz8&R7c9BV!MWXhE)CJ;FZ})$04lRx7zJ5bGQRGeAn{gR* zSb59%J2R65xmbbOnoVg5D6N5u+a2q?I3tYK)YtsEVG7a=?EKh1yiW7n#T)z@_L;z` zAhHSuNx!mMggmAXk4Y4|1X)SgLMkw-BjP0+HxDd+R)A*IqDS6Moo(Xlw($7cyCP=# z%mG!qrj>uCc3(B7PEuWbvIqzfVIMCzE!dUtrl_h+gppr4aCOt?<{!Cn_-g7$p;a5j z(e!*%^Bde)bW-^2)}4%|6go&P<2rJ6_VPDq;ihp&GRkW&k}{k-N54u1*d<)&0&RBy?*m(67#*z>osrE z_8fouY~*Q-^)`6CO%d|m={32e|18}FQ_CJ4N&;F{W?8|N5i&xjQrVWsXq>kPffN(b ztjX$n_I7TL9kLe$ERs7f$l;F-{_u%=Vx@hza(%_PtSXw z%sELKMBbtF+bOBAVR*_L?MFcFp)le;^T!~#wLS4iROKI4T`r3@bmGVRU66C`39kFfuhTF)}eR zGcq$XG?!OP0>c3_lhKtZf7M!BQya++e)q5F$8+jb==-fIwN*gECLwnq*=#Bg4otus zz{EDY+5PoLmmW`h%p{oPJe(?!d%D$X>62R07>rOti>!o!pJas2!bT^I5gvYxg^w(Z z6F$R}7g_<22|~LJOc8dOG%^XMa1-p+HVCUwhJgp+bWFk;;jDsre=A(X1DtTlX#uQW z!4WnIZ=DxT2_K9a!B(F@m~$d1kn4g7CMnn?Lhu{8a9jQ69`Kp zCfuY%GD?j!d^%7fiR2^L5JZYP2@NwTfXN>0S3pG8c!bCX@PKFBqpipubciCuStIR4 zPN0I;0EJRu7<_8be+A_M7H~4oSQ|(8?~ml+-&c*0FUP0NNbXKA7tQ5jE-XO)dL&;r z^Xc{MxS0d~H1VuCnT&U)U&VU`69LqV*?btm_8IKM6OiqfUr6#ENE7$(3%LjAIb6YE z1hvaBgCRTwn_?LPa;Xf#X}O&RGgUj*Xj_q?5u?H$5sESoe? zHa$LQ7UDes@L*5K!{+Nkd}#H*5gDV`pvgak&5&ia@f{@pD|_E#sC*c`cgk%+#6+_d zF|fBF@`DBn5oBR1ssPJA*ewY0l#m*`1$V@%EeG3Uj9cK!TT?uh$<4FA{B|=HbN3vy z-qMBM$ZGIT0TGu#P69K3xh>2CNCV4(iycx14h<;)S&TvfIiN8a)kvBYbrClyQV#@R zuJNRT0h$vZWx-7$B%sl_rICZQg3N(TcLQzFw*(PWgQ|n4eaL9ehSWl|xD}cr0AvX! zqWBD%5Ul`c5djbTQcwtXh@b)FQ5dIW2~^~C8pG8m94AbK5T%%Z;>ZWgf?|0)9bhsr z1h`B^Jo6CM+N*9G(U8qj_u7tin|KBVdxeK}BkLXAoOZqJqS*l6H)ST<)JjUdX3!XYLm}t@Cpgh5u)t@E7l<10yvNmG&?X15fU7u@OaffJj&S8Mt^(=S zyG}$*xl>4ebxUu5^IPwYO9|ZwGYR+@QXbSvybT&-IT`kRLbSjq5DN)4PZpDtvzacg zBUfhhSW+;PBSuY97Ui%_4zn_@MNfQiYp{}Iw1CjmrzrOF&{CLT1p2FZXxppXiyS=-HOzDJvmB5mhLG>fW~>a z>4}mv_$-nyi4!^i%*qe}Fq6^uc(R752$Uh9dm)SIY9x)=X0#QW9~fIptCSUnXu&+7 zuR=L76k0eE=OsiPISi##KEZ23R&xT($X&*CKJhq($TDS#^{VyA-%9(IrnjL*W<~j| znulj1XC;Myd8gRyF_mM+4c<^ZV=ZJpn+Oks7@!@&;B8E~lEitK_LmbVEwP8n3Cu|} zXOvUVut#fLYgB5Rcm{n&ep@~jyq9zJ9-L**v4=|JRJf2lqn92l(PP`)Ay6%$ZowfQ z5QSD}sxOf;8f7S`%_RnD&C(6zF|OVAx9nz$EfdK#^pq`_@=OYuA}~=bKy=c{S(_!LN z4T-7%fmhlAKwPZwu)4-$Ha?jgkI#1|rz-~KjSPBw_f5;$f$}LeYeaFZ4 zTRy&rmxGOpX3(fz`BJ_DHy=+gF2>;IGjQtkqB$M6@s1&W3QPagMmxQU(T8vLUhTdk zqvOps>oze&{gX^ideG#F{48fH*4Ry~*?#-<$^I*_=Jk*VooYR(@{gFa49buPjoF42 z_p5v)AIp76bnS)xmr7LvFMmEhdiC^Ro1h;^kk)a6%qjgGj;b&BcU0(Sk$JG_&anIvXX+o!yuF@7@tQ1J}%24ov)mV08J`==cG2 zysgnuH9CyLC3=6wqK&fU!GohWM~~2=0fS6z6NfQB#ouxGrj5asOW2M0re983x1h=H7j4a3LV7#0TWd;?MX8BCj&%eqpp{YJTQ=gF)6cW=8u$;uHr0s-puDT zT0vl=6!rVzi=F3K;C~N?3%p+jt@}yUE~IayDJ%|8<#Q->B?KP$JWg^Dfi^}c=}`N28Y9~bn9lW@S!c;3)o=GR`UR)1i@{|cc$`R`3;^95=J z?dV889hV1fK-SyI$>MA-4FB0*9!`%gq4b>ZHCp&JU<#)tWly4(jyY z4_4K2s;>^bH`V&!Qwxt-)5qRHpI&?4)5rAnF>wVR)2S2I)Nz}u(`&qY+PF1z)QYz- zy|n7sHFf;v>VNb)=bk!Y-C0B6?&Q%7~aGHy+sJEY`($I(+Kedk(L6(X*wbBC1NFFDVv>V)-3Hbc%@N9Tr&jQ>6($ld*Le$Vu z?U-wfPlxA30Z*mk$J+Ipi$1=cs z_g%NSS@k7KVfXX6?kA`JpAvH3^>}LPiR%Xgc9?kiyZtFb3zInaQKfI#LHdt(RvbOxLa7jUeNTeZ`y5t zb7wJP$G3em)_ns$bGOzdZd!LUmQCBVI~+eCES$t1hi(8DMcSR($}fR3s9Va~7Bofg zpr(K8Zc6+9gZ(LoeFK~2B0bh)-)xCDD+_l@;f~4mPGv4}r_)<>@s`PnFk(W%j~i(r z>EW`RM+-ugp5|4Psdb`=(Gbs86e&P|c}^fr;4BvLM?s7M$1i66Ikp-jOwU^FBXT4; zKYyFcJR*dX0s`L8`4p9rYq}6Zy%4byGB5NlvI-+w6|-GFMMTh?FsW8D0?VO{$Ce8{ zMe^2BFYdcX0_i$Osh%3xihW0 z3`)>iqh-|^QGuBPFkCW{LL-U5NbBV&OBR#P*pn9lY;&s8>3uWqV2;qn_-fSY0HER41dR4jXcQAHGnQo#&gh8vCO0EP7o^Ox~`vpH1gg-sVOi}*jR9+F5(MDS8&Si2y$ZtImUFwZi-ZrS<|8NsDYgYNVzmO65zA-VGAZ@U+8Cyx zzztv*zRp9Jd?D%63#!)aWuB|dGx?2)_O{o2%BdM>oxZSt3jg%<_Yw!A8gS}J*JFP1 z7z_dc==+Gr)_}c2fHPpzz6abzEi2DSeqtyL8H&Y0>tf6K82t+pkF0;s#RnL>qC|pe z0z&MZZab471y%z6;lYR$C3y7Y3i@fRj?r^}flhFrx0n?L92#*0@liLWG0S}XO2{HoTCzGfN zCIp%0FWQ6B3AfS-0k#tdkP?9ODF^ZbmnE<8iz|M@UOe}l=aRpUYHUJ9?I}-~F z8xkd@I>^}u__rB}QWNOt1hND3{fi*(2sCznvq=~`zwv(*?7#py7aIU8JAjpokCmH` zg$2OI!ovGML_0@5fP}Ft$PA#s1dy`>1D%j4#qI1p96=VA&TnP@=O=*1lor6s%gfF1 zXE;FA7U&2vH3kC|jGZlkwr>?pjcovGcBUYpv&Vm>pb@ZicDCnZW_ELPV=}gNVzP6z z5Ta!OxPgD1Edi=PC!nJ%&bE9RY8}0cx`H03~}M_%E{jUjzog-)940Wn%qLy1%3UNCX1^8EkB7YG-S2 z4E6wlEdb^q8z4YQN}kEt-I)Pk3^x0NXl&zT_ZEL|>}m|MF*bQ4{MorNKuS~vVEi`V z-{U!%I)dz-otT_JHh+xB{70I%QREsNPqMv0dfSIz8$*<^Itb>4YqRw zd;JZ}L0~iUKZY=Kv1ir*gB)CdvJ!t&-b_gU*erm~08SPb7H(b+0MG#dbT_qR{v*A* zhdqDrPbcdi=C=uayzK4l0p@Q*0DVB_z_%|XFDGMHAi&wt1?c1TZ^wTlBvw{{8OYQb zU;?xNfsy{n{$>W6|ApT!-x1^v&}Dhk9xH(5kI#R8>A%U#%noeh@elpa`(;-9D5IsU zO8?iy|M7{5*|`I}7}+@hjBK2&0A3y*05^Xp3&7{UvnU&b{_cY1pHNw_xgCJ_uV&v) z>3LZ^D~qU7X+auVDAK1>pZp)dK#tvkE{nkc;jA_R2aNzwLj4 zDA>a0KgS4ik^;E{&6GjTrj~z+$jJ~ z=}nP;x`1zs^WP;U!KQX*e{2{VCl|oj(b3ogiRDd5Y@D0`FV?qJGy}T-sbK&!6WGrA zEd=m3o)5s>&JpR48|C5zFpK_S`U`(?0hq=9K|BCviT@yO4gj;GzSxo*xZ%otwAda`3Z;yoSKkPrwfZ6O{kQKlT{1;>cFq{7eapD zFZfp1>7TCO5<3BHL8f*#cK>AL{DT8@1^&CnTYt{~5Z)SacKdhDw_|qs7ko?W_77xx zYtZALgMORM6X^I?^nVG+)Wy;9?Fs#J#oyHRKlso08VGa;nj$SP*qQPNS=9w~Jk*F1 zxiRif3eHmQYo*dMdM!J4x;%fO!6(sHX9jFK-iaoS_F=5;O48hltdRcpI&E!$4{b|O zY5(Q@Y#68deZL)PX&P^6s_;~_evkx_m{DEi!27p@x2C@}bSq@H9A&P93lExdKK6s# zfV6x4VA<+;$ilwLK{eM$-c>;1cXGRhPI;?*Scl5d2yIHK9 zsaI0DIC>lNy3PCf5Fywf2dfxg8W|4!v4c9blKzvxv`wCOmW zGLP3ev2B~kYI8*6xv!}D;COsxKt(ylNAr$=85&16GHSC;Cf>G~EFO*{>taoA(_Qw8 zyVb;rK`9>es$|1mZk%)8(FlvD3{1W$uo_lYi4)e<+Uo)p~A8A<|~Q%{8!R9=E%S?A_|ysl0*y5>G2J9jDPITPl3yh~?;b8%yu zVK>x$FyUlo`_2F|iL$XVK=7!hEh$F=nVu*TuRe>!<&L+N2$p{^nj$GPJ-3y;Q5kvI zP`_^f6qz=o`lx--4e23l@MIUKOrz{ow7N2vClj*}Q3n1?%wscD==OvQp7iuKpTq`M z=(b!~%nMCO{Y+ei}kpXW*Kh6tZ z@y9kgSnr=wNCAIAuU`G(fR#|cvIR+o&3DUIAzo^esXV-JI0_7RKXw z&Sv~#%2JC=P`Dwb4OtZ!ZI1fs`dfL{(vL!bRhB}@aNlXYuzg@e>fXYorhoSg&t%JL zmEIXHAIP_-GK!Z;MM3h4LxA zc18G#YqZPvwZfX|B{TT$GZ~+NKTV13L0`u{qV%SrAE$7y^$Dw_QsHHAKn>^&%+aR2 z6w(uh+o}vuWAk!tFUfMlDQZ^6OZ)Va2g>fw~d@ILS7 z>gi+WV;hYpTu-txedo4^`ben*^{Z|p}GTzaP1X1=_DHA{er(?JnT4A~3JDUZz($OjtPO$m_cLIOGQby4Np-edHEz;(Y&w*^DQPu_ThMGT+7`>RNU*R3sXC024lD3(thKo)t0z&+uhi6`!05`_E-m>@OEp0T91ubA1TcTaMi_~a8(CmcDBDZRjs zDM7-Q5@68ur7>?dCzg(?mE+QW$#H+jJ^Fc@6A1l2_ltogdWN;grJCV*%s#2Oje!B& zxX(%xqXVx<+xJc2>jt7oZTrht_}pgi2secY#{^Rx-c4m(n!RiRYo2!aYW}1$?qM0` zgo0*{6x9_Of_BcX%2_|Sg?)`i+(iZ{V($sMwZNz#XzYpzW72*5a5REIMKynvXYY>8HQNZsjxND9+9C?zh-Q~bEh9={LUa`#k{dT^b_)`} z7yb@pvm&^bHJdRz#0kPyw%;fT8r#>mEbKOYH&MfcRx=Peb_=W| z3T0p)`Ij&B5Elu2N-vGf<3@k?B7ujqIkPeQxDdFb94#>o<#I@9L1HM8<0Bu+wTC{o0XsSx}v-{DxI8~Pzb$e+fD}RW}k+D1R!2;<-^H0_a#!+B(Udl!!of;IsN7*)* zPM2LWF|9rdp@jB@&0b{+sdR@@wGt%{yI1X>j<fRPmrEJit;QbYqRRd7BjZ=B0I~}@vYFS(7mf0#kGewH?lz@Un`B|a^V^#OuezM?aGqO%qWXQw}->~#X zy31TR|L#5BgIs@nwW>i0Gi>Xne!_T@4>eDkm%|}t2F}SGK9-!oxD6S_FvkIzO4%X? zrDk|8>aC)8+f$e}`SqkB8Aw5|A&N>T1S=Ho#t?{OO6u7Nn){6HG|gmkjm8Hv{7N5jQ8>@SA*L9=BuL0Na2h%;%j|z2S2|b(6jw99cRVZ(z&Ns) zs8*&-h;#>3n4NSd_qgZIiT*Y{9ZVf-o65_7);3$G38Lf6ez1!+GYZSk7gcytHVKLf zVFVY(g&tQs!^G=TG!}&q*;r7G&H_tPD$$RUO*qZ4ztbs6B67x})@rC*KD}GFaqZ@9 zCo-gke4KxKH~zt1JR^PRlmvr*oTfz~264V)MfsOzWW17n-q^6Sskl+weC`fQM$AB+ zUlk8$g|;ZoAoX#47^_@5GA#;WHFn~x;22m~(mp0;+t>j!KSHni@r0W8n<2+CNte$@ z?YwIGMzaMW1Je!7NUk9)7D=5UXNHmAIN0xKD?opD&_G{+5@~(qYz`+F^D7aEM~w4@ z?qDb=#eEChDMH#S`3p)y`BkVb7x)23_ICA$K?``f#~4|=ObGWOFW;JCtIAEd*S>$d z;dLUR|M#|YV-_CCY7dzqE1+X`z|67EtLWJbC4QG7VMgRipMI$+t}{Y>72UJ-7L4fy zbIgCD`a`3t`{QL4F$2}S|H?5DX^kG?P-X1e-gG{zyjV^76c&ZtUL9oPMbGt1|78n_ zJw84Q?gRh_V)9e492REWM{XT?33B6tq#N@CS=JI_;W;bke(F&kK4zLI*=*^&oE3OD zh_Oblh+&v_p{b|>f%JKGrH*%ihfMeEB`bgbZ-QYBzSZr#-TR*XvRz~_Ux%6;F@e&G z-JcZgMZ=Rh;53}{P53S1Am2wb%JUsY-817>tW=HLV;e6eBcSu`PP4i{4kuoX>>0(u zY4#*tQb|fe<@gIXnPL#2Ej-|$h_9v$r*U)FF&Ygoe}Jj3RB+vdKOs56^R5r3avFb# znnbDM`b0KhK>;?K3e`<;!`ut<2h#+ZEytwT&DoLO7aIouNVH=^+Z9-EFGGY1t0f*r z?L~)rAL_0UE8A^=)Ok~>`@u{?{X}O0;}K=1-)f+FDnt;BRF$?ImK2G!;?CXj&Sr4|Rk-ks!&QQ@wK{)c0&nV=O4@q08mC3bismayz6t)6KYq#D2-(gN z436{vNYbk$&WNWdTDmRBi*Laxc&26GJ~2)M>+at$@Vb&M>HEH>cg2|pAHzp6=Vn1R zMq(@|F+MfCyF9&!w42O7mS7ZW1J;jR-v_cu3a5LpCvI6%9h+^$Ruv?G__cq}k=+=N zW%zWE?7jI;{O}QMdxTmhl@_j-CeZ>!72K-fD{2|q)denc~`FBGxH#z|kIoQ!8;b9Bj2UxsR@R^;1XdC8^-00g) zekvWG!Oe^SdCqVZto<`)-3X{oVglWS06!&F7ho~|v(Ucuz!Y+kC&W{=mGZZ01}m*Y z|3p01l`0qR1_#t1?GIMAHb@~6>FhaVYZvc$9pi&e38O)X#~4N~13Z6Zb(|jv>rG)w z9yK)5o|VSp^Ya$qLNy)b-}|z+Gsr6xfcD7$f3uqCs(2L z6dd?aq5%QvBG8O0$E7NrayQnnHXiC~yRlb~PkH;;-=0%HgQH&|s4VUi^t@)swl+Lx z{reUNo9c833i+5HSSx?cy%-N$B%AyY)ybk_-pkw;cZV49i}c;*c}6ynOl`-TEha%~ znm>9W7L4o1&UY(q6&rd_``J1veSBGgS~RkFRaHowxNTFxz~@On#7thyrG>^Vb!3nV zFfT1fhkicSr54TNjdLXKK4jNj1X7Ih`zWF)k{Wf2lX`DnJ+Obb{us!%QB&9lT5!zc z{tg>LNt}=E9`SvGqli25jOSbPS&(0C=tw@N_2+rMm(DB+H+%AOeyhtGQJAMn#7QGH zRlO!{7_?fZ88^i({NLiWan}1D*yW!$Tx2MYX?W146uIjGuIQW0viR?jE%=WTSQN|& zy_VvCNwJe4CPaS+s=3L4?R_L_S=JvAU9$6 z{Zn8~r!>5ku1e@zHAp@*IDQvg4h@g3A_B+$ZaCyL8c!-<*xF{EyD)I%=M*O79b39U z7gEVoT$I)U!3S1s-e<;Hq=eWDdWFmyqK~Ap%*jj$(R_bvaM9|VE%NlvP#FT7Ld@bxaOVV$$ODbfj|_t6@B=*c zOgMF9g_M8HAmz&10HbsJxv)GV&nT}K>Ws`Vca-pRT>A8Qq;L2FKLwl@<9QX+mwU%I zZDeIga@U=*`UTIOfao>jJL53;cfN(Ja+77HbkU17-KFxnY0U%CPIRUgw<1fQZLQ5+ zOT>BB$A+2jzme?VEqg*_x69ROHL+x$6q;dr+J4%tQ`p zRrPycErnNfZG-KFDSo&Yq_8l+xE%=FdDdTLG_N7Z?zkw5$)HpJfULiW!5`GrD#MK; z`@}T|O#jq=&Ft&r^x!d(m3~IE>ch(#e%8s-v*)y&8a4oT?*bcsaD#tX<1}0#jp`Am zSBQTvekBKyOY2Xy*<-5^PDuo_n>*eOpRNZZ+TA-ne#LDsUXfcMUyM~GC)Ubxdxv?O zq5Ao;!1k4kKQN{e(N%ee7F)Xdd3Rr#fD*mVT%YoblC!_>m)8AV0vq!VQET{}JS?Hn zg`D8+MpB<9kubxl=DOWi*wSk)9IC?-T3COI$H_&%n)IlJU-WtSA4X%@4nT%!rD9p0 zt}y3D#QNgL!}_N5M}Gd_quPQRVCe$K9viFn6^K|`J3{XB7WF1ZUf}G8NLR08u5H^i zkxChg)O9jA|M zhfR>`>L+)eR?(vrNw6ALlAbDV9$c+r70&p&x;V61w{(*l~v|vFh zYstES*+lPl_o&WQcK!Zf6sj2+I!^^_1M4~qQlfV5&nFVyRaN%wCs8(f#Xz%D@*P(QDK13G+j!k`CiJ|?Ssg{i z00|nti~uioP#*s{#_{v{go* z(NHoOG2LCEI`3d-9o%ova}m5CNc!r4DLm5=jNL3KDTxN0h8BO?;mZE#?_1G_KZ!9Ea zB{kYy8~lQllATia+o>bCX&R#C3Na#n1itH8Gd7Yl0jl%Yx55E_I`D+ahby%z*E7rK zZ;XCC9uwbUYqy$Se!dsH06DGpM3FkuWHF`?#fH#^q~L$B6G&k{KM^;Nypc4U$yza@J!7Ur z{e(F7NimH%D^YP3>aKMzGt|hWH`|C&hrJIy`?2|(FA4rfro<#+bz=UYId(H>gRj=K z%}*F(j@SS$Bxq}w+x2|#k>@u@g@&&BbP>rr`nkRkCT>{^?vsNrI^#D!rgzOf=MU?x zyO4ieMr9%|7nv3XHW^ddom!Xr^^GM|C*(;+Y8!B7T&~A;Y6K3}^920`N0uo=AgC3R z<#=W~Nzh!v9yA$q-tG;SjZwlzPW3s6_@>}Pp~;$~ zl#)&Ne#O<#D(t6^8MO0pV^-r;th5NVvhp`GR@J;vsmqz5JTcz)qNxoD5uP_Dmi~XM zrq$!Rt)jmEpKC=#h<%n-*_F)^ahy_^*!j-lfs& zARq;$QCesRgQjr!R7=Qh)v~Ix_3(fAjW|9U?4oB2!%l$wz>reHY{ATVU^k@${I0fC zR|pSVx`WZ}M}@rK?fOYIwhz8G7u_WiyQVpMZTfq0u!f=4h4brOLt7HiiF7f8&tEq{ z9qLk}DlfYZ7&(?rV*|Srj66G1k_cl=@L-o_tCfQU&Eot${m|1H)B(dt`K5o5bCj&R z>2e~13+dBhi5-SXY4w*38VDJT^Zv#R-6bfH!u3_XyA^q-u=O7A3wL!<{f48(F<>kH z-S4h_LholClZndl8D^*iOJc_45`Vp;wr_Tvoy6{oN7|~znQ=1B;x!-M6YfjcT}SGk zY-rK3xxZFC8|mU=Z4>C)CvAUAl=m^GsPQ8~Uw5*zYPfoqMHdjhY$?@!tO%MKfPnni zp?r4ESoP4xs?J>sh*u=;8e5}@vf&pXY_R6SmV*2gTJTMn**alQspEuvnXJI$aVP#HjOU3ouG5<`Jf6l8ItYJCN<4|& z;y!>PjZYvT3b-n3$gzKG?EYC!=ezaOpgH_h|0gWw@@Nf#uPx+I9XmBCHWDvRE}X~D zZa-SmI9Zjr)BT&_%m@@9=Lc*6V!kiqp+D?O$pz~1J)Ih>6FayCkK;B6;G>}YdH_%v zPXrSVbJm?o&0Q!|0Yn(p+`jc5jPAW(`ND=)p)!BC9Is~wHt(@ILlO8? z8+=eYSxy*|9YofyPT^>WBx3(+L(e@!vy3$(IV##Um@#~L8JOACD0I5!GmNT+?yn_p z311yhbn@B7(S4cs6VF2}{-Nty_X9W$a@ZrwC;z~`tN3xr2M&-*CKcY3josa#hv_L0 zNTgCo*1P?!DldO%;~>gVuhWwA!hz~yi*!N7wmP|bIz{>23{zW#LGTj-{J?ZhG>K3l z$F0%QYh@l)S%)i=WnS+>!;pFNhPDct1so;D)Js%dS5GtzKMKX~z4*4HsjxPCQ!Iy? z7GR83cYWm1mqK*8XQTodwz(5_EN$he2uJi&YwZ`x^V@&TWsQYuhz7Q$kUXZl=th#$ zf|Go@M6AejDBb0W>O#LHNl;;eI1;xfR`i2=&E+_n0ZFRkAP#K2m5O7u*excu$ zNKMqFd3(4)`VP~?L5F^)?9!->vpPx@K>={`-|z~>2szC|d=P<5f&0U*k;_uIVswS~ zz0hJ>38MmE^*nu)VcFq9o5Bmo)#mJR;@x_u4$@M#cig`$ z9jbq~<=!QQz5V0&0xd~2C39oO?jXY>C%VKaV7#F?Gm(BYL5E}%U!hyf)q`LgAj@EQ zWH3fS_+*!EZI(TEgDs!px!5 SIn@n-=?61Q1_brF>-;qWavWgecUoM-2aP&enD9 z7EQrU5UO?^^s-mNXP)(`E-g@TicZs?r+0s-?~qviyh+=KitATO*Qj*0W_HZr6e?k! zd(tm$di!PYZOSOVc+!p-{2qp8{rt%6hgcpA$?M8v@igubj0*jx;Yd`!NFo=B)q^+$ z71Ql7MqG75$kjV&E!2H=6sJ>k{@fGa7Sh?fc@iLNIIblKS5Xc@NU3zTz`@q}9It;r zw_D%-UjtPUR>AWOv&e|`IU5u--7rJfH; z^=IkstVQs5ucYpX|1EBk0|&cWKe-1fJd2Q~HSpmk<|DKJ@d|B1SDW{+C3yBd1Fd=$ zhD{NvXOLWow;iF1JkD%7$72_#Yj%HdBe%nv`vGa=C-_VXjB@8^&4ZGHGIn>O2)b$0S9op*kd{J+rHMbPN;jqoS52-#3B;A-Id$f4WMw`*Sv3WA4@` zgipG}KcyY!cT}YYP7>VN2 zhtcqX)wd3z~dn z-^1~7Wa~P}8)qC6;RY(NLBxODK~g07X8h^vPTH|YJWH9I^kl>a*R&Gf{xxU&OY?>gcAS5A2DGX7@&k?s zw1NbQ5?!#E(j8f)dxvAZfO(<}i;2P7D2;dW6AFs8h@?ED@d~6^WBk-41sFi73{YOf zfrP@}S~7GnxPT4+b{Y3A45-lB(GLvqLTg!3| zg&|hTfqED%@;jjX1GayCwC~VPjc&`y1SXX4PlT>>Tp{vy^7G(3tg#{O`;x_x&Po4C z(Di2iNXl^I&8_N{F-J*|00C%e0`=olq2_8gTLk=1nm~Kn9nAY5baFK-Q`mA4$JL@` z0=E#aEAf@0qz0_FpBy~G$U#31>wZz}%kGlx!cD3pG%g1A3PgWkVAE2>lamTU$ z$Cabi9K1e@+m?Ub25Dq~Ry=qoDcdfIT*?{^a?RjQ`--Fd2dmkH zX(Xgcx#|L=eoLC2O=k)jZ@vMNK^RxZ7wS>NBH4f33O6FkyfRq=RX0UWow*itz`Pc`R7G$2yZg~=|4jub#HIOz7@qe@ z#=wt)$TfU4}|hc8*)6Pn2`(n0K<>5V{ic?b0kvc_+?!q&*IBNvIkwTF=YXx zi13=4Ry2f+ri;F$P^}5QOsah2A3r62>ETx(f3$zhvh*b};*%G*Y1FD9#DL75=zX7D z_i{8!cIWxy57V2FvMPxTk-0o-n|Gg26xzjZU0DZWC}R2GQ^c29ARk(t$k?8MXTnlc5Cg1MdKpb*NvSF z$x(lL%tku5)f?l~jYM)Gzh8hHfR+6ea*S>yJ&LjZ@i)JG@s0Zc;!&RPS(0n(%>!$o zhToUoWr0=J7+td6b;i||e2ib8k2?Z{lYgK*x$DpioiNJvSjeeaXzk#PVF(I)$3wCPbNZhc zzZso6w+R&MlOyIm$dk2O*#Hj18aw`9SHkbbIix*H>PGeNRZ5I654*`Hg?~FTl1P8T zU#(aKe%Ab~cM<@xZzQKr4C$w_8j~<_HF14VL!p+LxRgq&|8IJMblkeK`1?&%1(GK z&et!Y)A%et3Lys+N0h~W^Ay>+xx$|lKNOzIiFm=QzJ~(KbhhqZ9j$YH)J}g9&91uL z^|jOSq!}V1K<#!u_jt6_b8lOACGeQSNwlCs=>ppIDPM6RbL28YjjzgjC)oecS4daMZ$xVP`S<}6M|K1&lx+0u1PhAlz zm{W%740}^1+yb*0DZc+qQjdR>E{kw=fZf%Wf}PVeFS2{J_kq5aH&8w?td7yek8ED9 zt_!s9xq-s9{F6@awu67`{cko<6T4&!f~-xq+7EMLANGXGu8K4x5l`466|YItY`mrC z$w;qt3vQWIxZF1X{ZHRq+d*Od*+c5PfN3{k_ z_I{aMm#%xsn)SesvSjJ%my9xpGkuYcgu~a6+hvdTbYtB`{+f`}zE^u%Umap=b%jk1 ze;l4$8T+A8qFdZYwnHTWy}ZZ7?igw~`>M z-4LNC%x2ZG$NHdwZWDj8xk{$*KO3n1L?n1`Z(onNq;nM)%;fW$-dV1(Rq_$3ODoZk z6B)A-@Apsw=>=4rVVk+%YvI(Uji=c@*@&mkQxiw<7XA(Gygv^$5T#g?uTDt(D!Zi0 zlivxz$ioxq;T&(4jGMqLK13nCkT4@!4C_@WHmWY6Y9LWva&LbpaX+0Ry=_l=KU<~N zRZPVW+{p`F4EHq*SI${C{94sbJfF8&PRgGt`wkb`>D`QkH{JaOSKL;WMWMb$=HLWUWtnNNRb-3^wX5$WTd)}E92?azx)ac96D_iAhkY*t=oWJ?x2H|DB%VqTvb&rD)ABCp0kNMI#SLPUQc&oCP5SM=>lPY92VOAqxEY^x_6HMu7 zY)xeoVfo}3quHdCly(_(&<0_{e-0`|rC$_ian1>s)h^&h9DXk|J+C9db4yc1DNAK~ z9yg|TJ>daV#V`!=T`M4m&FGm~y%_Fej<*0)g5s}A_0>#Ijg0tlzP4SwnAPE4T?R9f z;{~KHFZh4!O)|1!-{#c9%*RS>@7&%lOdH_2q*~b3j=>(D2hkx|WS8L92NS2oUhtZ& z?G&eVyX`A@Be>u}OroYPNPJJ$;@xMcrL9rs?nyg4jTQOuZY@1Km9z=DYlw}e2#NEM zPEIVVH(z=`;*pBB6@6ouE)OQgX4mpz8G?^`!#TYD>Cg6Z1Xq6X>#R|s#o@gSnEf)# zszHDMG?g5JPm_zyu$@<>^JXUxY#+8D?&Vr-6Ahq`mNjp(lRx$F%v0pH{%C*h z5o`uUGpCFbA{CS#8Y=9`sM0kKtVpP`m|_Rn+uIWDs&PoT(wHswyN-tX+UnwxqL?IM zx4d#mp!&iOay*kGhb0x9 z`0ieoP<`Gg-icif7F|^p-McmHYcGGvz5yR|U{Dt;AjETe;ChYGJ}LF1HOWW)c!U}2 zckA}A%(<$sHeUI7SPm9Fx))#Gw53t)E8TnIZjsmM7U>>7!N3=jA-%@3u2Mq`uL_um zP9oz-T$i-zcCNV+TX=9bSiyThh=~c~GxqRjO*YZl+=6cwlVx3dWSG(--Y9>sDU)02 zPzr;1T1!~8Ss>6VC2K?G$M^xkqtQVk=8)7vbxl}oGt5@Q^Gjsn*N%H{IM_HlMhiUu&~uy4KdDJ%dlyf+o6`NKVCY*4zA_XL|fIo zu4CQ7Iv47ff@7{8sPY+}MJ#{vAoXL`{F=ELMb53^${-gJ!RV~~=LAO6{$%6|9S5e_ z=-RQ%>M(9b56|Q(r|BBOZ1PP)eT+Ur6kFg0M?(*n#RoY239dorSr=K9$_z)42jM{M zY-o)wDgy$v#UKry-@G79i)tP4p~!9@`(YhGi}NL7Mx zO~L;G7^CV`w-itTDf=rhH!(9bGBGnPFgGVKFefPrFHLV`L}7GgASgsSGB7eVFflMU zF*7tWF*BEFO9I0JI3Sm?9RVkQ)mm9o8%Yv=*RQC@-Pka7UlERpFxZSe_~h_04nN4y z28{t>Nz8cW*KZ!x>Qalg5%xZ81f;5~va&M2%*xCb7@>p~SqTF_$q1c=jZPRNJp399 zA6XbDe1<14v;rOzgmxL2BJ470WD-o_CfKWO5LTfK0}sOKn1nULSq1ZdR=9`NwI)~`eIa)N zJ%=ke1T5NN219rVNW?M(^HLdt({eitZddJ?Y%4M}VpP~8LQ&>_!Nlc}3h^sE8nMMO zC@EjgrpE`(Lc9k69_|Wx*nC}x53T+;B4hL#H2H_H8M3T4zJug{W$$|ol@Fu$PPr|( z3ejvu4D2n4{GfqC1X-AhD!{T2b_+s0C8Wk~!5y(`%fa>-;}*E`))Y@=a`UV&zuip5 z+&u@aw{)R5vYO}t3ztz&0yBR(SoK5$%Lzt=lz~GVrI5ua6p#ZNlTnSNNl_PZlOpv% z0OlG`Dj1+S@lh7s6hZJyF=BsYvwOmTnY17<<7yqyj( z85jawrXrqsh-yf%-8P~jo2Blx9qTsn3<~xN59>zOJGwdTdf7#@0laU@Otz_&u;k@+ z=g=zW4WPo~ZjH^LG5Ur=&;d?xqEldj&lE2ZHQ;%VtHGd64q^dUaVD7rxOyGo%41vw z(ye!$h?sJxkoxMD-sXR|-W!(^x)Ej)@G+#k=n;viF_x2I&nH9+d;+nMQ1fIlIXRo@ z;yQ9=Mvo;0GdW_^BxO+!+vG4S;~G?9I$`t>I2t+Q)!qu>H6PR|W zIJ&FeVAMJYFzhHuBHd~i@bSxi?WX~Z_8tb%88-S!jU*HA?nCsD5dfVUK6sK6JSQ}GN$v1$0ZCr(h_zG*JRp0)JsMKb}pl7SkDj zee`^M0V{iZ2fI(+{%7ae_FJuB;e32L7mhi$>D#D#K8Sk;Yl99BtHOtod@w)8@1#No z&Ykhq<7RSt29GI>Bp!on_cSg(S&Yvo#}6(~&l>^a4;IbEYY+r0Z_6e~)*$0-Ji{-R z{v{vCZMh>K%1834JeLVn0#$#z6HwIp`m46@A-Hq2`{MCKM$il(Xc0mDa?a+TgP_WT z2=2&zMh+l4>EJmX1c(4xRB&9&KjmLNNa9A2{Qmst(LO-(XfUXZ14uG7`P$)k+tGBG zI8{TUDnQ_sb^s6;D?F^O@tBQICdcFR?aAqiL3tyC-W={f*ad^0JsE#8$eMCXluO_7 zvHg~h@8RWOqoNr!YDd15ufWa6(~FBSxcLm6I=yI4$8Ef0h@ZmJKef?LZ({V}>)ls7 z@5tzQv(36q3{n3ilan4ac_Kf{*@`uG6Kfv4dHUPlE3jsN$b(L`9#r{9%vlCy$b-f_ zfE4$ud@P^HJxFxzh5eUYRRS-69_&4S^Kze{A4rhaae~Y#{T$@|H;~^3?0=KbVl9GV$` zk1pRDA3uPPw>3Vh#)px(ME|c?v{Al1czE>s=rLL}V33Jz>M-V~csve&-?cF~lN@wZ$b3+Wq)3d_S&`5a1p*U|Os09ODg z0iVuStH2)+8n>?mUv5_hdX2K*D9s)093B1o0ueqOx;)rW;QOe-7vd_y;5~N*UwmBR zYmC{v419#@IzJ!J&&n-op<;`B-LD@=esIq9#|1s&Bpk3ko;UP=xB0afs})%A|3c`G z{=1Xee1Td)LpqXA$K^pAko9JAvN)Ry!+-dfhts1=C_pC-n7_F?{kN2!I;pRY^8@Nw zwWf}_gF3x8gjIE%>Z=29PPIPx)WT!d^s#r)r`O>3^f7&XOk9D-bn1jPb=>Ca^jhzp zHf{|awc;&IFReO%c1<0>xjMbxxu;H8ch(R%c}<(Jxi-CavZu{@B)g$VUXPr(xi-D# zZB-k;7RY%eaCGRjS@%@B12!v-S5KL>D0ZtkM|Fo)VV`S?w99Pb;5cin;~bd zqjN(>#{Y|(<3Gk-!{H!mZ*nph@A-ez3?0_{N4lLcl=$iCh<8^15BFc}tu9QLKUe~6 zLqj!1LPA6|H8C?YcQSBtbh0ooa58r_a&|K?cD8i3Ftt;#A*5vby9g%B`rY141tLd3 z7T4LHk(;$_ukQTJs0#utjsXEIZWkhoi}UzeCudI(_~O2WW$i!St*tDAPFvXjF_)gt z{rO>Uxdp=q=>`^7jw1_KbxqRf+7uzmx>4zxtKXW=t`prlhfi)_f91#o4wo;d>klWn z^mKJd2nQPKsU2A|LR{IbidTj5zkF0~J)s^sbIP3vf{UN3Snw{mIc_ifj8W@c8L zotU1vzH-yW&ru52+vB>QTwZxy=x5c_t!F0ui9cuXq&q<)R${94;$KNQ`y`{~kCmOd zVQEk{``Eq38~kbuISS)+sYh7l>j~;54)3QdM>JcjE#8u^2!t diff --git a/tests/keytheorems-comptest.pdf b/tests/keytheorems-comptest.pdf index 37cff97553686aa63cbe549e4c9aa53a347a34e9..9c450721ee844c66b04bb43ca6aa7677eb2c4adc 100644 GIT binary patch delta 137 zcmdn7fMdr3j)oS-Elj)|+D3+k#zw|QX1WIE>IMetnq2z6`6(`mC8-J;E>=bcMy3Xa zFeTe9IGFykIGegym^-@}SX#PRm|B=yxEUH*T39%{0tJnoja|*0>=bMWDcN4d%e0RP E07T>=sQ>@~ delta 137 zcmdn7fMdr3j)oS-Elj)|+6Lx^#wLcQ7PIMetnq2z6`6(`mC8-J;E>=bcMy3Xa zFeTe9IGFykI9nK4npzkcI+|KKIvO}yx>`CLnL4>RSpWqsT#eiu?G$VXDcN4d%e0RP E074ZZlK=n! diff --git a/tests/tagged-keytheorems-amsthmtest.pdf b/tests/tagged-keytheorems-amsthmtest.pdf index 31ffe2fcf890055e261f1d05557e0fdc7aa8e257..f8ae43c618ed44e0bb925121a83a6133ec61e523 100644 GIT binary patch delta 9911 zcmai&RajMP8?NaN=@gKV?(S}sPU&u>+d)g$q`Q%tba!`mcOxkvrF-dG%eDV&AMB&? zy!CwFoYy#b@6mP&pK}Ty>jcHd3SuRos7_Xd{3YYiDM2VuXTK!{Wi1J`^zXDk966{H z>m7&%0UoptL1O6#Q%>b2PGqK{u=+~ zn1-_Yj}yojRtmIt7!w;@rO_1qkDWO$H2?gJUw0<}P0)D!XA$wQB%=ExNB@=NATRov ze;aIQ*+B&if1GS+2|#D>2|%ih+W&RngN_-cptyN!S(%O@fx62fBsylL^ktlsI3uGD+r_z0MB9ib;Q~>tDE-AV?g7M;2w{~~Eo&?KvZAZm zy9>M4EZ1a`|?hy^0<}r_$Lnm%lIA) zhG%uCKmAQWmq}gN_s8u;J|hJzS#$1q5hUdEI2o0h%8;2XsXHwSgfnRGU_SA5l$FUm#t~{z1*=3w_POeH@IOAVFDb?UrOw0?^i=B5q-|c5-3!CzGBtf4#@z{4gzK_;; zqeL*yVG4-Bjx7f@9=VJb`ypB?v2U5`XI_GDR8Pe`zrwV$yl>abLbQ7|iNz!+f1hlT z@C@49f46Dfe$D*YP(~(4AIVCD1jgj@6yX2jmkgnm>J+Ud69(RI?$T^Yd&A<}+lZ6^ zhW&yt0u^^Y5b5iQ(P`E(=sx^)tRjmkwg!t??ln-1mRdD(pVYg0&JgP=#wtnn9*2cX zIdm=_b>)HGql9~-P1}rsfB`wq+-n64 zGa1W5zN-xESydt#n+y?)$6_>dX>EFJJaNjXt)X*s3sv!A82=BJ-)jVmT?C3pSlQ%t zwPFG1?#xBH+V$ZDXqqodO|g^pYK3cDtQzJpy;Pc19gS2gqV&Yn`eXF9vN+-rabwPM zoQWEcJX{-S_!mt|1Bpr|{tRjxTI^V(G)vhV{${9D`Jd<8%OQ+8VRK~o-&UqTByrRp z={di!R`yq!%C45>TsR}P;oS}qNReog?-Ky(ey~l{T1!zR_}V5-MfKMFUIS#WrN}b< zhZ&)_5N1UY^Vi_4%XI_;j&;xYkXs)N4#)lA;ktz8cs9OgYWtp=yUx-_hL5C6x3L9; z&l(49AQU4RWr~w63MX6GOcq+?f3AW12JyMEkG}DklSfCJ7|EQ8HAy+9{K-&i0bvv% zXuFi+&{}lW6_v{*GOj*gnBO556Y@oey=4XbFw{76ZO;>lsTa;J{FGH*&CpaFEZs!D zs~Ey>HT(+QqwK^=YbEXjEJB0$>%>?Hx+M$J^ZBr!J>G<$=^DtDuJ6>G^AE=f#0B_H z%WN6SMGDtt_tX>_O=1%Joy9_B85IG^>~Z2RL+pH|Me@>kmBH3~Z{OKl>``tXww3dZ zSC?t7b1P#dr_-};JDsk)t2k3|9s~1lExq>F`10zZ-fB~8;`0hqLY)m*581je&TAT> z;;G5IAVHchgjnL$f@^oN0qKx;O;4&}3s&`TYu5dZ9+}}rPq${RVg}ULlSF!8ZAPld z;?M@Y8)ug!k6*>R134ve5;l`xX_X+i%U#HKH5yK^=PZSS0eURG#4$&1mrOr>1@6ju zWcoNuGKPCj(R;j22o-ANkJ14E8z+rtQULYov-pfHUjO57HpQE~5_X;jP>q|9p(SQ!B z+AeYIc9Swa8_QS_9pT~wq=}Z+u(r|e$iWGAX;Q;F%hU-}h4HFgKdMG0Y1ztkmq-M1 zIflr&GJ4L!`zY&->SraTZgid^X zv3N5yAn>{rz^S6l;E;ZQ$P13@u^A)e5mk4+L|vtu66?RnU4c;0Ri`7!)KrG_NPQrl8w3-N|UBMAcZ5gfx@n z+OaM8RixLinFEGiIlK6D^4}tcNBzZDgraqz1tsE94%&FQjT37sR|imBmSo=4rUkQ_ zx#6WRUY!^>(oMKb1o_ahCA+LgGS&FeGUlJ2$pq2T#=s)R_Ld9eGDm!TzAn?GRj_0fqp)^Rh}Gm+py z%aexxQ45;)Ik2S$wWP#c0_nj{u`1tZB-=s6Iek5)>9wrxZ3?WzXpDR*Z$7$gfU2=b zp!=G(zye@26cnOj5BC=tsT|eY3jNIAdBvro#*$?>RUBiG_33*Y@Ie35*F7Gi;U~_; zOOJxGCHQdf_~v+05m-^@iP53gtuFlPi!~#PN1MPIVVCY2jgtk{uhctV)XSLEoEkeK zZN6YlN7af80p}u>scYBshLCWcAQ1e@bz%OhE(yT1cTdci(r0w(a8TDW&$**S*7aWb zG}T1Wv}Sq~$Wu8`CQZEV!HW3Ysp>3<$_)FOJg+Gnray2h{cQ}kceIVWpT6aiLr+Vo z&$1vBZ%x_0;O=!#ivyUB_ucp6!j%tX=JPV@R=aKz+@&o^=2pHVOrSNSd#v%eV4u~- z(q+JlaZ=5uSK(8cTm=F3M27>>?ZZO}8zMCdTVg7rFC|1Rle#EbGBWUNliq_wnkV5_ zKsv;$h{g|p!T91e64xi>DO*u|47}}lW87YSGy<#= zrJyk=dJW&Hhp&yjX;z7sdiYqO@8D-XG*j30$m8~ySgOfhljSPeD)@fFtBJeP=gjO} z1a^cEK_^vo?NfzFbmx4&E>D7hg}wjswf>02URUNSp5+N%hIQ;*IvJ?2U}izz^sf&psMy!uZw4X@h5O&qxE`=hnPA!yxEI|;$oz1?lQx9SLZFJku#g6 zX(M?K{5L3yqKhm&CkkoA*NDt^!XAye>~e1toyD9SYm{91-$`-R2q0OF_3Se9FX7?} zY4UX638}c5Zrsp9Ci69MLYC|M)(cMSo}#F)74{fGzjh3M*|)ZV`*si}xc?q4l158k zX&&D5(m>ZCfERSdhy|kN|9gSvpZ|MlCI?Lr%7gj^e(%t~mj4S8VNihJKU+3ANQqb$ zBrWu3!^VBh1A6&4qy+g0|G^Jtkw5rxA@T=5%0&O*$AyRps6)ofAKnV=pd;Bo(C`aCKFN9f z3k*c^|1rmZ(p%x5EIEko-Q0h@>>!Qzf1LipkJ_{M-(`Q5Ez^uZ6ZVXtlVlc9L2A!m zsanglB`9PzRy9_3J~nnfR#uRF=F0!XELrUT6WeET{!a|f3ZdlXG2vn5GT~x0W@RyA z5uw%ZmZyNdfy;=(`7^4jYUJKOJ{51)T#WXMj8@o%=>bWA=8D29A)ZZ#1gap<|O zC(;agR7BUsDvyp)8qZ>9*8)$`0~8!!(CD)4ndz2fH5Tig8Hs#zHAi-0Gleko4`t^2 zILV_f3I78NN)Liw4^HN$JNKUulKP-#1Ayn^HvF_}QNPld#2z0#-A{SxehIk#xPhOQ zLj9uIn7J!xvmhYsDi;3sJw_R5JeAYt9A)tbV`^n10~xt>@k-7*0d<5DAUO)vW@gi7 zCTb1s&hh>(M29LOVNi<3#PkGTJJcs%p)%2?jxAWKLUHQ-ZBlUGfR!0sy?Jru)51{V zHA01ePLZbMC?}g(wq<0Q}?$*8t-{MWW&* z@&n+Gj@3qqjpToc)&V0N3S7jok2uUVPcug?#0Z@?uiZ3h)-7UGnwVU&(we|YXfrD@ zC*=RcT!%zio2Vi}ZQI^*L?MZVYEiW+AjCzYa~hW{F)dxLTa}@B7yRdMmZ5A2S<(xxi2OrTwvz_ZyJYz)A)P6r zAj*?+1jUXZJ265d$2KUn3^(uh@!+ny6^-@^{o(SW)n6p9{XYqkl#k0L26k8@J#H6^ zYI;!D3%h+#=XuaDwDcRvT3J&2usT-(;eFH_MQy9MSM7WaEW2PwH>4#o=rT|xb=+u< zKg4*qykDa2A<$SVOgrkend>cxLTX03%mjNlrY$35$Sm^>h-eKl&VS^szRz~5eL?O zC3+M(RUqzdH^Im0#dT`_iL)^Kf>~pcf(AED)%^DG=I8S;Ny~(LY)UB;QiWhBo(@>A z#F;z{fSB=JK(4sJk>=oMA}1=mc)on~;m1Ch){erKwj~`29BeHJh$OXq7uTJY%L+9x z?PLZ$r%u$ujQ{DYVhKeEb_PR_%l-7TCjRGb^~(mB5OU1N97$}i=gD=ynBYr0n&8AyZx|_z~$~2^>vpRVGl;R6KnrmQ0DhK#HyH6 zD13Z+^1B+GHQVwby7R*2&h5?;LAk!vg0FU>l-C}o^R9&7 z2l^Z>Lsxrwp%OETri$^j?lp|d{%A*d7e0DOC31h3zD&57f@aN#s;^xsJrpLH(jZVj5xZdli#hpwO}Pf zRdoNricMWbZ~T0qC@t-+T*97AlkX!J3OMjvRDI)ov{>MG_(6(6#m3NTUt6*@I{z#O z;S6G8urjp@3lg=IQHk`*^@uD@6PK2{Wy8T#5D}b{s5w)iUT1%T4CeV#X;n+SDUhb6 znXP9CC6Wf~P zKxI%~Lh`xe3wZ+c+NU)9M+)HS0!ni!=I?##oZY=ov0F&k%IM;gKC0-9x5m;JS@csE zNJryG>fbO;l54Ep()yB4BG+HF1I~(c^Z2A6XsInKb*p)r7>gJ{Z_kU1zsf30$}iSi z$wkgBw12=MDj2j7z~S3m}EAC5n{9 z@3O}aHE(^EB02)QPDQpCmS<5u&N>7xx^VPKNy%?~z&v1IZ@lltl(&#(SD#lx0>=j` zK^!=i_jY%~dPwz)lC;9)Ght*`bD>?NbL3FPg!q5g+nW1Y%%^T7>A3g&1;UIj6CS|E z6z`n-*}F)C$sc4^(<}8Sl)hrd zfgR2L8+~suhDBy725kv@y??&R_yn4?$IoIg`dB-F{$=R(jUSc2Mm?|t(8{PzQEY$D zsJa&eZP4=)Dc0kEu>CqywEnc?5>~?cBYDB+X?{H>hp1m_D>Haubgf6+(sibrY2kt6 zxT$;S$6fCHOAv90LqgRtkJozQWt57htA4lmOmanj7g|nP9zu+{O<22zTodf(f6lQ@92^Sn*ld4mr|awI;o#;nZdfw>ucQCT-ap$0#HqR(hwJ8Q^* zF{fq>=puoecXw;r#=*Phd^08 zyvboY?HLo?*K2{`IWYR}CpFKH3&*E{p9()V$0u%dKmYjYgd;jxFtF`T=uv!86W;o~ zje1#$i63m<#S0AKF-ogW3t;>AY`bs}J$B<`<>v`|6DB1N}z&=%1=WEJy> zlzmGwNORR(6z-NL7{eXl1D%+&j(vkv(nF*eaKQd86jd{2=0HUbjU)QaM?Zl}h?Lj5 z%hTETN2-JI3SNQVi{-1#{XDLkm3PKbk;gcdldk}!x%s@ak6xyOon^Jm;A&TCVQ!_} z*u!woh(w@NuGN2r^Ss2lB@*;{&$%HCe|2`o=7P+@hXc9U*-3faXv-;iJlH?`(b?g= zQ#LXfFhP`+4{&~hN>p@0ON4(A3lN>zJbiGu#i6c26(iqD9hw;U+;Z-tZw%=ftfp~( zo&i%*%GzE82G4XWD{6aUW|#!db8YyOq|EewRs_i2@V1)(=Cp;D?`U+?w=oR%KHSFD z)&E#>kJa3(s8iB@=+E(EfY%^;!Lo;5h%7htHRq~VEMZuY&0`H$e{)RMK#{ajDU{;N zaHHT=XqDaF+fb}hnPk6co7!qEKS&{%Xfs+1VU^2^monsHsE|7?@g9gW%lNUdsIp*e zSOS2r5Kehet%s?LCpLV}e;5wDx>%L=!5_jI$Sqs^g2MOixnoaCTD%=ZhaV?{mda%N z<1>979v+TPiPjcrUBbxlj&7GKvzE^-A926nlR9{hSgH^Og(H;IV1~OZ47CqyBB71u zL5Vcrsf0XF)33E2TL6NZ)e@6CNTOUng&R<1^-UV?^~1{cjnWAY1@smdfvp}+IT)c} z;muv*sHXdk!@w>5IkLEM-UN3_uUsol4VeM^n6Wd%SBiO@V$!=05##SjGN!X3%}6u6 zXoA0&Pc{!kbgC% z7E)pKdqekrYc7A7nN^&pPuk}bPK4pplT6o>Ow{rfu$&r?7-t?qd@!vQ8mhF~`bxU` zGUCJ=)PBv&>W)u{Q$~2Dj!Y6=-8xfh@;$#+z<{wd^6zSK8}UQ1Jwt%MFmRu~Fev(O;ml=JY*X#GVa$s7KOlY`ac5yQ&~ zq>`cAv;)bcZ(d)`&NqLog7KIe`($s+4LH@36X%di{9YBtEYfW44@c5=>{(4Ve$3ZY zOK~_Zy}P#lsHPoW4vQ;qq@25m?{=}YolN-?wcJsGIl0;o5-XWy6q50kl%kf5x&*z# zI~4~zBYRf1WFQriEIDcvvLBGQ*=4~FzW;%fCP}8(ltfy+iiu)JqF}g^K*{cMs>Mwp z&Oo%Rzqc7vK+(vekRlS$x#nCM9bGuwc;Eh$A&uhUO3;G;BuzANk6AxrAzdNq9q%0F z6F0f2ak-n~nI7kUmKT?vZ4#08t-DTJ+`ic>j?y2DUb)Uxos{OUxdef!&z&2ee10~6 z1KQ5hT4Ig%E{+6rk@lTu-M&0VB>j{gc1c~QW9L7@D*;>YVIg1e9zMn-Vn-BlrJuER z5twybzNpFOW_)nt*l1@l&ZF~|zH2OZ)hY4>zIv5%U(b2m@FIU3QC}=8yY)SU{Xiw7 zemz#ys9-()$#NB$Ks*xg_MCvp{AQau`#~8CSpkYDw@e*qC+OFl-Cn_rVEA06%N5Yl zKqHHDt+1gx*yYS+aH@D7hYig0wnS6s;6}zcvL%gd2D1hB;0cD_P>wM&G8E>}h%rL- zf8iA~APh`O%7e8G?trNa!NfK(=YuxO!Tx4Q>&DqA2Ir(o!axPsk5C{?#9Jr@q*071 zY%9o@J0UvJ^YoC+Bo-2Uc0xr`b`F|1Dd6b!B4|v=V-}aAO(0N_+g5cL>m9H)2VY>w z6(sa%pA~g!hv>3#V>O%7BFLJiVBQcrtaq3>i;P+Q6o}o=Nf3&{QtKUb+uNK)`9(t6VF=sR#K$bySK4 z`?sZsSVZz1U|tK`jKVn;t4QmBxP~_F`+mWc`Yh6|=B`0mj0$53ZAao43R-^9_YFYQ8GDfYACcOa@+@hHRNUMmPY?gqK+Z1vln|Z&63F}3VB@{iZFsy2W85F^c~0ZvI@-^fRA4x_@4whYsWZ= z-0bVV<=RMVeVv_KF_F;Yb=(LV7JKcO8#2_gAIRU$R7%dL*5VeTN2t(V7uF>3erk)J zF61mur~vuQ8u9i-bSG_MYsG5kaknq(ZI6OzjMt6cHk_mU>I=Vqis&=eTbh?uRV~T2 z=$rjkL_MR|fy)_(ZUDyMQs)wXhL(4#)A$p|>Y|)`Do& z{JA{>JK!0;_9^cR1dGroy2Pi(P)Z32N{q?iO_aA#bGd|%B9J< zzj3eb{TSZH4LQ{2^Gs&z)|6#78vw)4oL?rY|qx zBT_!M->MVbp|R9uEsgh;`LJomBX7_v&po88Fm`ZPB3o4AhYaV^o4l%U{0Sf|&#o`D z-&%P7m_{G)#josEl)%8M8|h>1E7R`7PJFhR#JD&uFS<$(I2I4%G4KsUYGL%fonfNfy*RSaFL93UUd*QfmF^0@-@D-67RqMskh~a6Tl*2a5 z6W-Hzvz|C8JsP^zUFWdb7SZ!UN(w0u*3%YHBa}|=Ay{WT{lbMm- iFXdotjpXcN@Cfx;o$qCgC!{u@KLGLq?`X8YG3^ zWf&?0yq8cF4tjJVWKN{WN?Tn46=-B^aFox*gm;s)S zx&35+nwW{T{`Vw!5Q;o}8xtRXglfmA4-$;50s=${|7$MX8Z#sX(i!5 z=zb4;n*Tsc29Klvcl$fCitqpi!~bm-V*K5l#MtswO=6UVzh&}zf&k{;rwa^~5$?oB z2LHwUyPCu(3a@5){a3Fj+=lfxd}^9t=YxZv|9vY@`zMD_J@@->MC?D1lKo#e@egEx z2XM^&)8NF$2QT9McajquIa~zz`=$D4Gsi%A063jK5GAgK$9WF`tuV&^@hb;VkXrl`uzGv&=p@03{hFn5AK`r)C{TmrXBEs(<7G zeLUVqML{dgV*FzaqqiVX{gP+%Y&y0oZ>Stu{`#$|CFbt( zVFv{T_s*1VgH0vaDvutQx?h+(V`j{y=`?#b-z=9I(V`5>l-nca5)z=gU9I#uG8XK> z!s<7Q3BfYSAVs1nR2^Ez?Oj5*%2ed-OhVQ&a8Hm+PJSbha?9T^LLqHVv%;}JzGgjh zVXkK14yql@5P2}EE=a2kMXa@zzX?t5wtrP~SWfKuc+krI`12?I#MfpjgY-cUq$OX^ zCJflPeF;4j&Su`j(gi6s=0Z`C2+ahrUXO?Q=HwZXj-Rr84)-`Yzf!Re^~-fXHtgsX zE8Ndx;&!>$J57bowwj`78d>;R80ovGR*mhgN~3fk_l>7`4avOl22P{&%q?QUjwyR| z^Syym5Dk(jZz0>W3CtfrFYz8_S3B1mZ&*r>pCBDC>^9z%6a$K_;G%-PgwNshb8oc0Y9SX6XRsh{nW9 zb+jCagRS0L@@|{9TL9z8I~jvacWrEQfP-YXMsFN z{%(U8As$4X0vdP8AFfzrd^Z(d(^!}F_-YHw&m7@QHf}F&J7clcRZpmUpscLRe~5#z z3=EY29Oqtvwo{m# zc0Z<@T<9y)5#pkSc5)J@DJ|d>{r>!S4Gr3BG%{&j!tq11F%Qd+f8dZYqtM6AImU}m zuPns8t;bxFprc|Yg(nLRefJdywaaoK!|_ezI)p1^`x8jtk51hb7p(!gPJ7@~V}xug zq;beNB||@CAJ{mZC~i6X0i!rAK-2JPfhT)R;lr2Y@ct z0X{vqcqTj-^c{@NN1efjcP2CKNX^YLjFa)g1H64*85C$0{5ZSKWeEiu+lc{NwsD4VqgSkeP!@6u_`CRmXo-@HOflo>U* zH!{Xi0wt41IPgk3Wd_HrO)$jN1=BfCYy$AMi|&TNi!7nkH+s z1(yQ`sh8zk@i)9+XCPNeaV;WzEFwssPDJ^T6%F09AyuG>R3}LJttfQoK3mBqor0~i ziRjrOOr->7BbpK(0Enn$TV`_Ck33gHj%#J$p)$GjV*b?PGSA3dOicGm)P6c6Q~G0H zF1^RENnLJ+QW%>82T8r5PoHOTTI;j&4m&pvBA@TUqY@g}$XAL!s;hdR^-QH)i@4ke zIORNMz=p)AhaFA}iqX)$jBJ#O)fe|m)xfdqsJ8dt^-?~=rbrYCC&r20=#HZ)CM+DQ z7NrEH0Oau$%?wC`DrN6Ia%e#j;i=igf;G-HY6XrC>)1%uTr=z~n|d4OH}^>uKwPY* zwmu5LKFy7k^VNd@Zjs#PZJ(4eW*5nLyDILtPJ5qfCs$QIW;oPx@l&Y^-tI9LV!FYDA#UPnrrx*il+zBuI z>ch%UTY)QVZ)&_JfVJMfVoD6_jndj2U0-!)3rij#Mt5oJE{2hJGZ9V+q2a5~V-GFf zo#L;tSYfYp7*0T4P)pE6;tLw&df#R)na0egV!ask*d97uCZ!_dh;0)~xqK>jRgP3fSsA>PmOp-Gzm>JECew(nG9-*XMr@`J? ztC~(X;;5R_x}!hP)R=>@Z;~m3h4>n}<*3s3J2eS`xIx9~rp*es%c|zZZ^tuZaojlQ zUdxxy)i^-02`!Y3)})e5oGDns%_a`7CE0N-7$GQotEfTuKMsx~Y46f|ueNK^vBT87iEqf^uldW9n~B9 znoG~o;zUCxR3jv!t{uAqhGyeP;eC&y0?YH4S~K(vF_nrMV#wVNSBmvVZ9Zt9!y|sN zR8@|rZ|)^Cb{cK*adB5Y99AUHhe3@hx=}3k;&f64T@}0wE1VqCmP*ff$Ew{WXQ>QF zTZ1a0nbpfzD$RnE`>hoVnI5}m4=tK`d3o$`_W?TXjEortM9`@gF|ud-6%={?~#mGQm4FspmFX{MIK(bf8nJ+5(+wRzaH zrmHI_;LU|%8g;^OYnrp_+GuXRby@QYd2K1wE36VO*bqu=7W)igtD^}o;)EZyX!F63 zV$VziloznQz1V8|(_O`0&!2P0yEggIh%Vj7H|x9)HG%h26e1TgO~I#Odz1PI-YQBL zTCP{UM?X>}b1*xk;4YuspxQ@ps$y0pSe3pk4-jBHHPmlf-`lT>e0@DW zVs?n5lV25@pGrP-zKpT|!&rPgTz1UskmMckORtmI99IjU0k-9Vc5o|`jU zi5tNS{oR0X!)c*k^;SFQ9E1b~z3!{y~p?DsFdwHlaVc$u!{yO2u<|&O2rtDOLGx+)|FKb$CrQC8?wDB&6 zqCyT1bb=Dm9#O`5VD|8@KtedP=-)?Z26%yJ<6nns2KW?(GJH_%ex44{P;imq!!EkkNOl$ zp2MwVf0v%t-jV$se*TF?`*OdPBt}zsHso*k6iz7MI`Y3MfY}yKtnjz}pO8WU|L|Ao zub{#J4^sTw`xI6f-~vkj8Yb9z;RpZGzXA&_JnO~39Zqb#aAoEHLm&R5PyR}kzf}hK zbJd0a0t_!)TkU^*JqS6~tbOUnq$@d*J1 zd4>6aJhHMvKw*A48K3}IMvk9fUI;7<0XHV}2j8U=b^@4@_=Q2~pn3pFx@spN9#M!N z&ZABYH9*%PJX*`eOO}>i%i_`F^I>spuGy(+Hq-1wk<$q~jbKnVAR-u*L4e#QUgAG{ z$gD$0FQbc%i6M4w4q0;4y{ssXZ8ak`aqRw1dHce>eS=kIcv1VMQLJ^Glp$B3>CK^?D_tg&F>fy0nKs0_XP zE{tU}IAbF39J@i)#!Bt1kXFD*=zo=m|0M`(Pp8W&2>Ju<^Jh@TuiHpKByN>x&#QMa ztE=Wz&WQ3B>h+KNJJ~!`0EKV0T%y|!7aQTO4WIq|%$XroPYhH_#3 z&0XwxF^o?JC7$M8xX8_bqn6~H(eg$l(IO)c#mR;_+M7af@xbZP#cwx~7^E(Ytc zkVYz|!0?kWN}(NNFMa(c_BCNil`_`S1POT2I^+d!M^@s7SS;c7Y%843IEP`vR@e2+ zD_Un(lPF#vHbB14)Q8d4BZB5xbsyhxx1eDTgw*44V#W5|T4=tbiv6(L?mV&T0>u#g zuoh^{nPD};v+}kcz1d-xV8i5M+vS)4m#=q$ebC^}9fhx@KIDZP@}^Y3w(L{IN6ZeS zM2Em8?rr?G8)WD2(BkjDO!}A7{7TwWTd~VV`TiD-I+{Nj=h~k+qoYfX zSF?1pwjjxR-@`JI(>7=cne7j`X+CHkpd(-{1kHA$^5c84e4!Mr(j8$k?e=%8t z83%~wdT@5~?){o*pGu}1f+;W#fs^z-QlLFr@1C$DCz_Q-{PE1P?_x;d%l>>0Bmp^M z#$U0Q+KVI`3Q1|t0hra&-dra(xY$zsx=H#|A`eY8Tc3`?{i66FtSt}rCd<1F)jIiT2e_G z@aR9mAbF2RLBw@!CJ-uPbqDD9$;jW-7xx3+sH`^=Kd)UucEnCL%LT#>mZ$~TlhF;3 zBfTY(v7FK#y17Y5lh?RpQEQ?X$zc7^%c;06ogh}zZ(MUJLzd62`Klv~_Q zU*t2qjnP3$0z5uv-SAK>Lc8+g*l}HIz`P44Sgr} zMibK@TXKp6eiZbX6;?hvC~mx47*2T8-m`eUVVPcf9Pi5Af$EHbt(6u$hirD1wIWAO z?kS;tO<~~xgkT9xMkCrr9&^&v@{e;iG5n};1@1c}Lu@1ZeY}&6?mG{@?>unZ25ByP z@b2jeL<(()0`8{m`_cn{@DTN9xFd-R8MiSz#ZR-dyMGzZXWrizg1Xqn@6~$vf1v%z zuu>R$;f*#Q0?~W6;4(S1OxNd1f&v09C4om%>Kf|>fxWS|e?&Z%e1DGGI&|T1%aXJi z$v0ylCzcCvK~>8YNS$?ZS6mrJa(N%akU2;!J$G)6H4w9t=bF;AOjVFov6eNJ-2Jih zJLxPlx)dpQKxiKqAr#bK?I^v6pmNI0#nWg&bj9CJ?jRB;uKXCes);a<3Z+OvRN8oaYPIyrcw&BlL{Feh2~`p1R!jsrBu?Am`uQ83UZ$1Ik@ zcagYt<`QS$5D!P;lVrBYqNYa8#Pb5)#{F`wqy|f`*HZ8 zA;P422Qqjak#~V_)k)6Xru^(&@{Qmss}xskfjLO+?Erx~za23=(buYuQ{QehADt4* zI%GlRMZHa_U<8!OnFsf=A_SbdVv>_vh$5AO%6mKinUe;W_XXDKDl1@X%~5Y<#J!`m>@v)0=A7d5i(`yahT$4(>q)3e0naQ|kAU?yOs+zZy-P=C z%DB}hT;0oFlU-FzO-%%k8ynxnHI3B1%oNQx+=aN>e;;WZc01kifLr`>V?}P!Z5@Xs zY3sO;NWGM(II{wh>Yoa+(b+%t(NOur{bphv+oAdaXa3x!6b73VKrrP}}__ zVJ2bLC4!P+3lJH>oWs7-J*Ur19)=VTC1du*8Zmw@bIu2r48M0w{;b@CTf*iL75A3J z)$^-w?!nrPA*`pmIhVbX4S9J?dK3xMaM9w}oVg1!u0_*{7+Q-bM9w(z{oHfr9YmJ< zCq0M*SKCGFvFn+qW}TfiLkHWX|2!z8Q{vV_&7ohI-4)iw)S&%}^8 zt-qq=i@qS-YXxzK#bLl@NGfCE%QY8;GEWRx7+HHQ~HI8J(1h%PN zpcX;*x5A}pRh6?Yd-s{bXBh!M0v}c1)MsIE$!W%A%3H;jxjq&=vr(}udq~CJhF)KK z*~{|4{ETZpvA^D>Z<4sR7qxn0>OEwx@p5A3UP1;DsRcd5nkvX1*w#C8fUgZ&)Ujax@F_T1iS5pPPP!WZ&Jdb#gkUb?T{lgjE`R7q>iqtt@%_ z!SQ0}au)ibzZga-dpqAs_{*_tG$XnAgkR*8InVDlg5J%${o+w>gOrvG4RBKPL7TuZ*RM$4}0(R+{?@1A{G*c&{>rh z>I7Ve{45_pt;UkYY#!%Kdkj5rOduq$rY{DtyV*(}+1R(up{;EC;jw^g`FalNb5i$X z4Wy=RV+H?8@ZqiOtrKZYR7zUrLQ2D}RO)J`zY1NJs@TxV)G(Je$LiyqiS-0~kTB-< zqE8`lPu@N67pflFx8YE$XBJjXQ2%MmaxW9qRFw9>fe^V~v}LzyeAciT(o?6?>3!DK-v=mc$a%qwO=+hO&NE|L=!mGKv$D{@3i6Ij<#4=?u{#`NJdlOTZndC7kLiNJv zs#lIN2B%duMOb%IFU>5Dw%3r@$Mlc5HvB0!%*XML9*#^te-JE@HUy?uq+XTDdNgAT zEZVZ$$vqbJ*XKLGo8K7frh1wT+;L6k@~tbfe3wmL71Wpl^mysic<+*F$$SFX@t| zP}2@%h+k$U9%eOca|vvs$tBq%^%mUD9o&nE3VxrC*j1kvCzKAnaPiSNTT*-3bj~zd zUc)Wv9M3nV^@>heISA@-BK#`+=WTZ9^)7W~;L^OkP|N`v8O~J1l;Chp&b7Q$TkXx> ztEDikc$RMFEu+A%uHRE>9n^faFSB00AxBudKRd&-e$f1nn27HxCb#DFjg_?3eJ&xH%i~4j=c^tWX;y5ho`18$yekAc1S5 zUcsU+tKCp_mpmX7PF zsN)}?*RyGj)z4h0i+0?fIJCtW_IIwii>%8vY*72?dWk?$%>k7$J(nf!8eZJa!4z1Y zm8;UOKIvT8#WrSalz1$e8DG|R)!Lg(wX+#}C0}2Jgu5OuOLo(Fvf3Ns+0?fc?IJb%`nP!RW4hUlr{lfMTw8j&H~I@o3RLp!MrTjG zu05%TL1-g5y{tdoI0AL_(lwU>MCp_h08UhhzPhrkT6)3MpM}chKSQ?f1mFWy-E9|y z_ua;nM_TSDcS{3}8+k*si&@3p>aduguf^^GO4@(;Dx z<%TY-5c$PkNUe9xe(BIRi+LpIuiNzAmhJ1f$32(jg>WnxsKU`Ft><}JO|pwGn|?~Z zC>cD{d$%ehsq{*hG0)I_T6h`CSv;DxM%8d_JM}y(Zb?0rXuRD<$&1z~q z?V!CdWNVA)R8Xi3?G}!iE*flRCNaV>Z+Aw1<)WF)zMs+6PJ=YP5?Cymp`aBQ?PX1^ zE(Ii`E%d`mg<{xXpwxEY9eE@gjsuzVL2{hPkSJjpGXfY%+5lCPoEespG*&fKgUF- z7{AC@;YmlH(wbz3@dXj#GMa;%B12a*+S%1d2U7^Zu_mfuWuEkfS5m3`01E=P3OTVs z<5ss-&ZyPfgm6x@;%|a$92P=TXGYA&drM8KP7PwV=S$a` z0x12@YZCQ8m?(Xt9e~%WJq;+Mla-U^;Ro|U_~amhGSWiAvhrXMh?h?eEF>tv0|E=m zO3;b@|60-|E&)scFr0^r2+Ex1uaTxpG&~&|^*$IgzwFujCv{ePGGc%QJRWl}v91Pm`(=gf7SZvcU(lEK&cjTwNB>wpE@p`ZG z%dd;>FT!6QG7L4StN7=B=-0+SBcWIX98X}i1cK`=FzXL6E$0#9F!!LuSzB5$8WkEb zmiG>lkv|g^oh5+Qrws-73qOw2_;g|$=o-n8rquE+b2-eVF~w2(Ln!?!Ms!Zu$VifR z$|b7$t#W0|vF-dF5im`U%IT{-no2bc4BnQ?*IlONQVcS9iih`STKi!{3IMN&08Y1c zr7U%a%(1I024;b&+t&jeE@c>d?z1 z4dtI=@D&>NF4;3hk|hFBzA)S<)2{=8mcD71JoQIJvjJ`D+XOAX_|2*u%VaA(nsb9S z)#eXbT2`cOEhUcRE|G05u+-_2;eG)UA3F7p56!?E9DzR|`Z!RLHrN{1hyaa`eaE*5 zCs6~4Nb@e=?j_~`aCiCZklXjDu)Z9nU~0C)mb_1EG(O*i9V0oHaq71Dib+ig%k|5m z^E!RPsEr}#;8_85y*r}jh7hoXn#R2qjt7H*Um7?=nF+-;khQ`mMdxCT{B~L1v9!Hr ztgiPJPoqYEh8K<7|1So$~smOtE+bOxRGCA|oJRXK7f<`n{7%3GPH zwir~kB#uRm?P0bxWi6p%k{4vWdcYGW#aj%|OpraZt*Q$t)2&#$B>sae6New9d zBWW_TGb5CO2wjYnf09IkSwuX+>nt!#hAyCsDY^z=FuWjNLeCV*yQ(n_uepGy9@_>-^QtMj3O#(qq zyuTPyFNpV10oBO*naBfKvqnEMZMyPeG^vlrM11q$TjM7)X%oat#!-lMh*I_bYv=iQKeobl-cnmQc}*^^D(u zXGYqIT;qI=R&l`y6_vsnVMf!54V`~Qs$xlt06a!O7wuFp&0&fL$Vt1J5FNqfe8W`9 zkPK}lH1(F%ULX!lf7t2QNsGZIKNdm$d@mU3-K|>G!)3zK5l4E9@4y^#n??hULJKdb zE4UG!Fc8>nIG5qJJQjG*|8fQ?|69;5N4IeAtgQRFt>v%EfFul?Dh_M=pp3;Ad{I@@ zay}(}HBwv&gxxd@SHtD~Y6K`wQ5FYsp8!zHA0o|pC*DM~LGOzC3)czZ0uu|R(GKEK z`Z`zhdGxj?RkqhTA;N{xC_&N7Qv{gn__2}r$}5#WGI5Cl-*3Gf`;MqLf_~C9(? zX>-8$(~x}5kMCB|;`jL~x((?$Z#`Y=OgO}^#5{I1cguRN$e@6HPXUkdsJ;95+9&&X l>^aiShm~6|7E)Fp!A^c9>Ap7rS`1;35C$_dL|q=^{{h<1D@OnT diff --git a/tests/thmtools-amsthmtest.pdf b/tests/thmtools-amsthmtest.pdf index 789f50044686c32e426413765613233298635adf..a5c4c05c4fdadaeac65cdf5ee1b91a233edac744 100644 GIT binary patch delta 18946 zcmV(!K;^&9vI*0&36LcLHkJ|sD3MMIf5AS5It@|cPS~dpwv#qVleS6q7U!IDMXp3! zBG)A4js5F8zy&glfX56v_53p+XXwC@KjzEZJ7c zujy;bMO#0-tv`&1y6fxH=C|z+@SYCdV}>x6VNdjzG=(jCgV({Rkz8QPIu>1 z-EQDw#N}Ii{lQ-A^rvRGVMTf<>mx3F)7krnwjQ42!uj4Ysmigg*6*wIW!c}BeTk$m z>kUoov1_fsiDE=5(1vnigxBUpfA!`(%#7~39#wUCKxff*O6{AN|{Wz8zWNdy^L#_c6azcj1V+sU*X*pY5viMf729V!>h@P z#1NyHvU}w&EDGiw{o-&0>kVIRGLf_N$NF?C@p9k1w+;jz?iMz%7c{-^n|9aS+t9G< zyS^Fgz5!RcTk8o&*4>U}(>CoM*N+$tj$@BYx8RE+?apoGw?H1$ZDoxMlA?D|(!X`L zrG5W{{V9h-1Iludp6ao0e|E&1m4%v8xMOmysmvv6I=w{~Z<(A3Bc?F;aU*Rc`fyp& z(SlH=C%S4fwN4Z<8q(OZA_WM~2~-E9ViA87#284v1=XKpyD`G_EY%^xN0Q6)*SX9i zOgJeZ&ppk@D34sz1rzF-h!vB0qc@RV7}2Vj?ea0gg64!twc-(2e-3#(wp{2blIJ3@ z+^zE#M3IzfiGSbK{izw7vc=o`p*~k#hCzc%SY=kRLnRoznBDu0*CJoYSP%^a8HI51 z+xHP61rd}c3!<+hCd;@eh`q*uSAmxU(*c>7Eyp6P43T0M`&GoWniQNn)2i!12~umc ztXfA@V5T4#t{F+8f00CBr1f@`B@3cU?8&PEY-_60=|eLfVo?Y!kk7624-sY%h18f! zcc?8th?`;PY#8ktXjJy1iU_PYVTLc$jYedEetHS>=W)H+oGSE+(uJ!co+yJ7b|MhC z1y8@fi?L)xsM#gIK#)g@iGpThR<;Sk%q*F_p1T%b*-uIFe}si+55%(!S|I=L;^$G4 z1@Yr!1Dx8%W5WpgCHjkN`pY$!rSOWdoIWW$BtIZGTS=hvC_0-f;}ZHDv{{J3Bi?m) z5hDt)GSmON5jD{3RTAd5o!gyVCcHa0??E6au`PfRD;1!OSUuC6=v;kfZw$*&;0CY@ zU)P~)zL50ke+^Y^!=e}QH~)FW1< zL(k&fMO-0>Dd=Zl z3<3hsQM`><19XK1XMm>t=(mqrR$hwygishF6dMPv%Pr?)^e;TJ{=GCGKwp8`#wMW4AqaQnu`*Zr!%9A)3V2EqYZ^ z1IIyfe@L_R8@-yMOI+whgT6^65B@|Hk1^Osvrm_HDFcA|HY$k8Ss;k*++c`pyf1M; z6^ee*woN1|Z5D;N__M0!wGPIf3^@Y|~cV}Xdfy0E^`$-W7Qe5)W^0R2!e+I7!5mxQ(G+j$qw^_7+3TPakH8#r2 zj8#QqTmm?gLAO4YzehG?fM3P3UtbQ9R%DuqFWj(cV{i_J4|_g!p_}I|qx=B@Tv%yo z+MLcONIMBNskcR-9`1>M-n8~1-c*e}$JiksSL&!e?x8#k3*2aYaAm|g7BU?4h2kf4 zf1ZvHonNWml*r2h6#M9X-H#0}4M<}vrF~N3?YnbX_016~RBx%uSg10tVC z6k1(kG}A_YA_(l+U!g8dp7S_*){h&9l^IP9I#f-$?^=}Ep5F<;4lB#uH~ZnJ zWF=9Aec5+YM!xB(LA}+Y^-KL z?#`zrYIb|9L*3ljm^*uNt6p;)@uqjXzODPg#~d_8#c4QxcQJGW1e&r>MFLQWIo+Dq zIpt9{IWgQ;8A-G<>o{1A`~@u@&tfc6$tfc__uSrDvYT(WH}7t&Bl84+iUE`-e_{Lq zn^TkQPB*{)mM0ZF1N23>DUt_Ac}k>J!rJ_p{OjiDo0sm~JB(mtrKvk<{$y=Y79r_k zh4rBL3%aUrVO7_FFvJpS|1o;r0as5|H|2T=dxSPwAy)-2^b)jCFbYU7y#&uOe{%!Et#b?M1)N|C$SfRijf{dj!IvcVJtVj25MbCmspE%` zSLb2uPM`6?WBnOm`N8Ac-|K$YIE@RQ(pW}I4c%bwNqqz{oJ`?%WCE==SPIWs#LJqO4&%7uTDs=+=y&LO@f7DQh^kv464@Tzl zHSt;WTSU(1Ox_-x{{&5^e;XEp;g>|W;KD&rA4+hsn>-}g!b8IP+I_k?db)qNpu<-d z5UL{me#951ZHDtbek$w+XS>R8(&7K1yu`9E8ZdyE74CVz0nAa_jGsPOIHZqq15&|fHv;|Nc+R`nIyKC?vxVyW%Yj7K2kQo@4MyyfPb6O==6b5HxL9Y{4atG6lm%GVw1IhbbsNg zLBIfI4<`T@4}gnbm`gyIlM}$r$tmvuV{sI`SnE+fuLISLRh6ALWfl!dOB^aP)>242nemT+F(g~mgu?7L%ef}#2qo}>R zyNfUfhnJTZyQQ-mI|OPc&cq6T@B+Ep1GIr|K&U6s2JlD00Ch`e;9r%oqtO9$?LlsT z*>xbc?p~HqAmGK|1hNK#-CiO*z&1cA;N@_Dj*==s!vzTbi>&$=ffev~Zvb5ET>nY; zck~~LK;S=vEv>B~&MuZ<9}w6MU<+~r0yN}R+1DJ_8IOM!ov=VlEBxwyNryMdhkD3RljG%sD21KY?zoSlJScQ>>@^vQyt zK z@86F9Mrd4I02`3CJHQHP2Lhx0ll{dEwEYXeTs{=!4KU_>nLRE5=O3T{{4;$SFB=Hh z$>$&XpZCk5q^G5-BgOJp#sBe1OGCT?er!Cv05)zuE`X4rAV7eBj}s8^-&r&*L4T{@ z{3lciYzqMh{U!FLOaCL-^Y8m-{ChW;0RNp!9r7}?Kmg-EGj77k$7%iY#r6L@>3@d& z{|)#bS^jS`{=WsudpJ4$>1O=X|Nn7YI)j{i{wBQ4tcUx{{HsA;wgCLUsRqEmc2*5& z1M+bG-(Dqm%a=WWkOJE|{ilr}H+hgZ&_)yFZf*b9u>57$`(w$RKwzLI#0~Vvs{&x- z;^h2azL(9ic6@m`++HT~PZ#iIasK;AIj}Xv=8p~I=HmxgLZOyEXq+#D#LdSC@Z)+} zMH`^^pEC^LU%)1^o-YRO|3B_#)KlU+_h#^FNU5MHl#A@I@Eo zpE_Q+FE9LmzuYf6UH%1MbU^d(N3VnG%|6K5w+4>*+=W7iFdIPP|mKPw_ zB4G~oVV$?NQe<9iyI;j->2?h=nb`c6p(Fbdw9(Hv-?rr#uOwHf z9{rBm8j&O0Q?xpM`#+c`X;1HVpe;=i4NaCDNi_^oppvucO78hTy87z}JHofY_9)X8 zxOxa;X%^w%dJQOeHw;#+jz=u)YVFnVtDrwr%&^7j#hL_vn4>GSdO!c_HIh3U1qw6X znK$--+|~6gUjF1Wm2wgbTEKA}PpO~L26z13yzloPSDgUgk>Q|(bg5TWtUs;6@2(zmwNP@_lVNmxw7v} zl;`0#vlGGDFY6r0P|x0kn~gJx8EhI|Q&Wi8L2Y|lzAQQm**l_!_Y@x2LTzM-q;WKV zX}Q@2Z9Gky=)>lw^}9#tOgS|N9fMwIw^4&Xwh1cqDxRfkstN>iaZ6AYkrU$YTHqo# zCp?H0rZ$CT*YF}Ym80UH7$b@<4XQq0PIOWnnc?R7GqpMD=f7;eWm^cFrOedH7d?Jks@Oh_TbJ}CBo?c~Yj z9Fr)I&h#tHaGRb=IOTqr1!7f7SLSzDJ#=K@+oE0!Tm^2ymuBj+p2f|vc{sW33ImNg z;7)I&)1M{DM82~*zuDjGyh~C0Ma2}cDmvN{`_uDLbJjkHMwCm5M#Fs9?R!bbz=-^f zokwl|_6d>IhQlh0J5t2$b4qf5;n{D@d}qx{CU1uO?F4#mem@Hr+XZ{C=2FRaQT3w$oB!fs}A1M3l|Peh5lq361SmM)a=15bi79`!;#{ zCO~_C(r$QH=xxo^q5Gke-aVl&b%iNIBvj(J1hXyG`mKNB{Pi?rk=!qZzM&pT#10Hx zuw%|!-vi*uO3Yxf#4!Nx+spA2Lm1N8HgZ1J3*x6uyDL3Qc{7g}({56Kv!l|6f2A0t z14CXZqTQztbE3BqbSy#bR2HYU{Arro4qxM7m7O45cR(QJ)qS&n*JMf{lSCVQsSL_` zLAt&bfq>bTV@}@3D`k;S)|hDOy{XKXn9Ferfn<@M=_SyW1#;DxO>rGSniIh}E8=iWsVJYJuih3FF>xJ>HrryWuh$3M`RH`%Z1l||l+J%h`qnQa#DG|vgc zfQWjDcjLGU3p}{86v7!HX3Ysrg|qpI%=B%%=PpaoE$_I0hfO{pJY_+GnLT!nqvW}c z`FQ*;m5h^_8Pa&bN;8|QkYxMxI`DZ7RkE(*sSLTG#XrVNEe4umO(3+cNyxa9C+aBJ zfm|b!Rv|E~$dOXq!keMJqWG$Vue)kC2x(zguZeJxRi4~`g85r$Y#2QLrx;7BU6*LA zSE1@U7*oc7)bv$|_=)7ZgS3JE^Eb|PaN@dMla95UD2Gsw@Y*+$YT%d_kFN$6bP}Z4 zT7ne6ycBrsD1x3uI?-)Pky^hwjX_W+NZYs{F;et4FRwg$`L{A<7T(d34!+U7V$l8- zJ51^@1CtL~;G$5g00*c(C9uGpr3h<0HF1nv+(?Fh?$74W#_tls5RUS;#y3_fqhW9dm%1U(*EERt#E=qd3X-XdsOZNRnom0{;bAG~0 zhIEpDqbZ(m7LLri7|o2;A5HW6vHAJ5m)MN^80D&trIe|8+=LN<%u+=^z7>ySAR0YY zjL5k)s!zu{H(F0soU^m9-ic#GevX>G$Q9S>iKK5MOCR>G-aQ&`^95&O^+ZKD%9PjI zx*D)8r#*)9yGBEhnKNBj*stvzoQw*fl=kj_WC>p-c!ar2-Ivdoedx*Lv#7m9uU)B5 zu}*3`aL+Fe>w+sa z>?f6_hO@F8I>pUC;0bx=&nEgXlOZ!GIlH&cRtwvx)0}366sM}rlI>Y)dl&Rmhd*Swjw$FA=j& zPuKpQxu%pM>cX=o%h>7zogyYN(pc z=L6%Gk%0uI`JR~fhQczuH^5zzRDE*4;bb+R#oG&jv;<05tH)-o;N@OR^fwjagtvu7 zjx-z9UJ`vS{hN)?6Dj?Vo9<2Ti6~Zksm-|nowEZr(0aep2OEs!ZPt_-$qQ4KrRJor z7@1XU-?l3-t{=i7r}nXbUUiSkc`P|A{e1AsAsJPz3F%N(;9NhaEMg@gA z7-N<46bkcKkda`P7b80sNl5y=Y3KBEa&Y;<63x~)udo(w2{2?p(YO2&c*O7lv z{2=mg2&Z=&i2aIxQO$2iJzz%zwwa7HPVvIs2@3`@hS@B~XF%p4R5u^Y!;e!T+*sS9 z-#aQ$;iBruhcWxG;V2`$)e@C@%+R`iRT2! zS?R#FyA4Vs`zCHKWREmbH)V6%oxznXJP`1g<7})>SRq?~Lo=z`E>@EaNV%{ArCzUt z4U5Llxtd@*c*DU-!73De8ZvA|>QWy!#e|6M_{2^O%)BSY84skl z5=AZh4CS$ZB;p)C8lfT>1WHGjsez}gu2(8Q6EWnhgK zjJeB|vc#9~lO)(c#(~kkfTZ8PUGw4B@`twmi{Oy=ILv190i;wk5*V6fd-1J7Y)B8M zZ_`Pg``?bkE4i=TJYb)6QW1X z?Ha^dvxN#^Z#D;Mb-o3+umM#0qP6gLPdJQY;JV0P8K;B191=jETGrSS`nH#l5u=4~rQgMH#~yPrt*YvTN@~Muc_Jdw_VB zKE~v;;5NM0qVp9Spe@&ff%On=AynqqR>-&>Yy37I>FK<-(?Cpjb=TjK-!Ma9`bkVv zCLrwLn>qKl;W@|0D*}A_qair-LlIz|g1};bGGeJx`fY3%ruP2J_ofjx zs?r{-$55NlFhpaI~Cz0RRT zOo?tMa*)EQW=ra~l>A$shXOSvE>y>VOA+i6AX~?If_#7U%jasx(zYZts61DSM?&s8 zo?RO!Um6Q`9dS1}1JQa?&tK!BoTW{Vg0>MlEw&sPomfo<*F|#7=e&OKds;7CfQ{~xQO{h%$j45WO2?ZPKYypY4k9E=$b9{ z_0Q2AZ`{^bQroVvWnM21o z0g9B^DGE`Rwhb>Jd4EKqT?U5?^4n3QY2>v>XAFleAhR2M+leOF&9)G~_#?b)fe?Ci;-l48E)wK5d4R*0+4`9OC@)Ib6SX&YGs2! zeThpiW($#xCo6*2o&?0V;UcHy8;a7Fhq|;PHp4M& z!&yA>puRx`VJx*F{~R#eu;Y>=Fu?8BXX1VK3FB&j5Lfg`7iaH|+j3^q0Md;IV)WiG z;{95;;bH|$pD2?OVwnqnWtak{VEXl5XSHZLGKB4d@gC%C69lQAzNzsG0T-E11;wf# z@Jf}X+c>YTaj$Z;-`*8FKl6)(##f+eArAyFo4-QOd+ueTU zWZNm_h`d#ZCqBB6AHLZ{70@ghWj@(bzx|B(@zQ{Re!rXvk>>7y>taxCcI?7$mO^6M z(M0Y&ka^Ze>G!^#2&We0rZR`arq(P6LBZ3p?O~0G%%NjIkSw(1;78>LJuG`Tz znTUmJn_qbjN#SSv+i5p{a9sM&sA=D~uvx^CZPZ|V6ye`fyZ0Z=@3(t<5p?qg;89^* z=XAjc>0EwBnhUlg&2o~%KK4p!Y3*AGV+o24bopho(qQO+M35kB=s`tLl&65+Mrp;Z z1_!Ld+>K@iE-v1#gS1x-y#?E(4l?AxI(TU&+JuEj1wI*avzyq#IiKOPK8KPyOg`ue zalJa#O!)w6?ZKJlyJ4Ufqq8qoo0tNB2_}R6P8vGnm~)r&G!TaZoQq>U zh#Q!{rIIRtUXXvk;YsHY9G2?mk|~+C&rMwF2YoHH^W3t%|$HtEPy}W5m(kK7zCv92nnl z1oGJY43^g^J3(Zv1S_qf75ZC>FI+)NT%Aee!enw@R98jJ{s*h3+#I=8@eqYu-WZtWbTzNavFM_Ng1+KAR{mzvGQv(8du z_ZNE3?>aA`D^n-cF^g8$ap=^;jeLd^QyUiwFr+YE)#ll}m*Qqo54AaZz2ylb&yOm1 zm27;E4@yX7TELBrq!P;JPsZ%(ZI|zy|wHuL8B-Zv@eQ zfbX1l2-Y-e;hvTwUU_}?((qtbAHKzMgz>hHd7t&HUp&_*^hxovt6(knXvril&w0_; zi;Km;`J7)xq3ppr*+?uS#FF&bT`@@}1JkCx@2w2h3#p6L*GgTM2`&47awgj*bUGz` z2Y1Y($;rlHG`b)k$Uue9YcDBqcju0OwQvx`ig#d=4hXi!-y1ZM!4nDkQ6@Rd=qu8uKUufW4~7|L$+e*>?@OEt15BT8rloLu@z4B6SemkoEjTo8nvRII#z zzlt!X_DeD2pzW++p9kh7%i*-6%0Il{MerOfB~~V^DkmKN`HF$JO^D@PY3as9IxpL$;*cHOt)R2zCJ_JAog2 z2}a|;0<5oFdQWe^w{63J@>^6$KAq*-6+7ij=5-mIn>I9+)Bkv#W}&l&WW(=ySg-TS z)p7n+fAN8R#t;Z@g<^TMk;J#JsxfLG!Sqtd1F@@r1Dg|Fm@De=WSY>UTRzM&DLY#> zf=)^yX`}*quUl&AClwEjk<7k~TURY&KD|(W(g3t`g@>pZ$=MBmUF#m{$kfB%j@Nc@ zrm7Buf3$yhJ;u>H|2qnPb(LxTJ&}NlfDU2lV}q2>Yln3phTa+Lu*)g zxMb-R_nqzGk2yKEdJI_@U1O^t!~|uUavmzFczeau=3};hy2D#e6nw`-P1g2mce}wa zAuUd!uL7rHe$h%fc_kBN54*N^+pT;5Ybk#(s82-#?=@saG}kN^ z@?&hkbn_{H+sTdnwdY#`rZ}B9*E!VpDFyz*w>yf>C`$ZfbGgSx@`7Ci(RRKvW*CQ! zo9XtKTeKL3^ptXQ%*uRHqh8j z29=hKvXPmi*EnI@ieE}&7TWbGaW+r(P0HBj>3>6i*?E01uc3wEC3g>~g1a|A1)|hS z7su|gmO`0CVdTRqx|IZPpGA3`IoU4^omtP}nJ?NWoUCH&7FK6~k(%o99@%$DPHZ_P zxV4|6Q=e=QSg<)U%uniy*c!i(QAok1sDZU9nk(Ud$1!Vff8p!EmlZGJfr;XrjV9Fl zr0-RK?nv~D;Ab8OB9$Vtg@x@&at52291dJ&W4gG#2d0gK4P@p)g&^sq$jfWsb7UFn zvLpuig@Bw7}tzxAEjz@F{}-1@5v&)n@PrI6NZpcP{x;Xn1B)XmP<*GeWTax z7cnep-U`Qsk5m4ug}bY4QAOS0ilD8dF!Y>owroh$_t$A%P34xtz(_gL2n-UN>+d5w zsEv6)^}Ji>13}Kv{uH{{#f3T=8$oJ+qSBO-$aE=q9vN%3oHT(Pn=Nbnpe1+|;{27h z{tZ}XyG59cUb}jDBB3cW!)t2P4?IkSotzd#Xp&K?CKZi{~k&OqQ2g@s@vsOJ9%YOLzxSaxhglO*AWiy{t+t zv#y_9p1S6iZZaBoe0CQ=P>-oTq$H0KG-L67{gvvnchz^pz9H08c)(6n=vr9dTmlen zvu7#$0KqU7T710X39nupr{sG(?c!?V1fnssIR0)!-v@_*jG;MU^Zfb5hZZAF=eB({ zl8kUv?C1)=WD~LVb8g=VLri~L zpZT{;@OQ$pu@Q|74X)A>4|zyN?dq!yLEj%cc9>&L6n59}`o`>>fN2{-^Zkec87m^Lhwlv<-k zT&_ove)NPC@bRDI+(oZHsNePMQGeq8wg8hu+><>hKD1h~L=J5`EfXl&wNOi>t+q7G z?QQN5l|v1D5De`;vmNz+4XmA)fKbT0s*Vy{iUj+wlFmJd)|LABb`Q2=N&c|(8ExNT z$3$}1yn#o&lqEv?1v}kr=l}-qgsi3+H!R7-o)YDvcjm7e)p)-~Zy{EFL>SbXOJ$U} zxa)T!cS580W`ZC%hkS>*eeKK27@<Dj=`uigC-vKZ&gKnB{#8^3HX7ZB zIpJ5)gfS*oR!AnKah!|a*33ECT;30i=*XKM;dBAaD|h70*t_uRboA>RkuOlj-|XCZ z8Wv;lVOI(Wu$QA48z@$njZL(#RV$gpRA3v&@4z(Qz5fYlP}kY%5VBtWwJ|}zFSj-m zH+Yi8lPSHYt&n1WCUsDQ?lj6@sor$#l)nR6!%YqZDGz+WXQJLUnTG4Iq}=(5H(Yi} z@x?lYZexB(l?mgacm~5%l6L%I$?du);H}q%$%hls?yIXl?qqV0S`+I5QMr+zJ43Sw z?c}Qss0-=mvh22laVmmVx{OH4QJ&z(C;f2;6!l3T0~ok}d!k)-^&uV(wcECnd4e=+ z+TB?26Q8L7J$F{kH;fbI#5BG;-awtVzx!+t1ywIciQN}rj#p1vL14DF09P;aIB~f< z;P(zdHbMhI(3U~I8)o-U2Oz!gvR( z3d6Hx?tpuL%X|VzWpCAxnNYWGyM06X`qLQB?{Xn;AEjwltA;0;tgq&-J*akF=w=jW zgugew^3O`w(`%w0iT+F!NWA`S?C0SYY#nvJSu-R#Tzo{jI%wnP`U=<9UzAyS3SP8f zIVV@BT<_OGx~~?-UbN@-wi6;UATe(|Yi$^~DpyE*B>BO60z-I~Tl&dTmKO0!4IDnNop*=`L@Nz>+M)EF>*9ZKNNkIFy%iLdb=v^t6I ze)L!P?lW@aW-vU-?J6`cwgnf&LU43u=hBCSB12njHtU z#{D!Ews}#MyrTU|bfz7kc^P8rSce2Z4FIv|!W}i-f ze@Us!xRN`^-SlxYEB{~*XEN{oD{cPjC>Wsp6Ax~6;dpG5>m+(Z(~5?k;ioZsnp^P+ zq{D=`6{F+ISU=>1@3wrBs=oWEwL4Bb@I(uE#0aa@ndX=ik=^xEF}n8_e4S3U=xn9S zRg^JUF0Pm9x?&q2bPZCiQfQF^lUmMyIMlL~ahf+Z_p)moTheMW&z*Xae!8A#lub}3 zI4b@onx=-}dC|0?(6nWYbaA;NC~_l*wSD9yElCwMg=$f!0I1$LkJJmZ8S!jJRM$$eEEg@RZk z?J1d7;3ux@R*ZyCW6UBGsn@&M83a=0%kU;wEOE7F>Blf5`L)n?Y%+O&!}5;c6}|2Y zf6W}Gwr*!EeuOd35)-DZI>a@07E?aIyW+}|2(h&auvqy*+D7Xsl!v)S12 zmO{4}w*;$+e#4f5wJ&Ec_#e{wly+PW!lH?4I1iy!QO17rZxQYAxXh$U6bPQ{yT{;c zz8NBJP0z%P6vr7!ee%P9xzubu4F`y;VQA!3UZBT`vTy7)kg%Calih zZE`!gp$*TL4y<_URTb?$<`UWnN!=ULm2bF4d?qy>6YFswB+!_I-Xr!Gb!-u-w9N0b ztiCzK*k0BzhV=5Jw2Z(pEI0E!nq1CrZ>kKa)-X0Ael>G{K1{FNvUatmL&}R{uKjR0 z>ua7!(gw*o^0kSrB>acP0rbtBiZPz5J_vlCBs#uAWV4diBsFXcbnx9 z9E0`^+$4M)^yiD5MT7Qt1z=R#&AkqAOS=G>|$U7Q1u}~~u4_@JP!<*ls`F$)0yS?Kf z7((-f-&OjDe`Mwcy&Iu@o1w14#X#6+l&r_M>Wt-lP2~Vs*OhfMl#d=wXgaAGrvkag zk`Bk^D8%ZT2XcBx0qx{->Li%zIU)%5j~Zcr2SOJT?>y>dxdN#LV+cowoG7^-O{Y4u zaSCy<$G_PoV~h&y11wUhG*#5s^?DB*2bt|W0Y{$|pT<+zc1!98clWpJ)Xxf+4ts{4 ziTHjZh#j-@f5@88eVg>~n}KA(&h6GCRARj9VtYExYUD09N=xWVT|+ssm%+7QHQtzi z;bz5*d<3=%)O@2Y&x*hlVjZw06{Xf3x#V1E+JgwU5z zeo1s^rOBQJ?6(Pe!Dyuzo31uhuo#^pz**id)2T1z()UdAT!xthpA4ojoGe-J2kc)k z_u^BSZ#hoXde9Vq9=?>K%R%v;*>!n;AcZ>VR9uaVBqWA^Iye5*5qlM^%2yCL&Pp$G z%(}pcA#<|O5ax{_w@Qfn^Y-krWz66(k7PQwDbbE5?I#P8X|L348+2Nm>#f?=iD>p# zgEKqki8Wje42%dX_1@-(8EOV53XR5-$#Qb6WjWCjhfTw);MV9~2hba3d+FML}aW?81t*6t`2G(2=ol_H`@_FRSD17WQ$? zSkpIOUDG-+Z5?S!(-pZVdD0Fm2aGg^%7TV1J=r%sj|$j@937vlGBO#wFt)#kSYM4q znZ)4!Jhl+F5H+WaU{vuMg2=>w7fT7dDBsNPnr3fGV7ISfMB5M2pVujBy1e7alH7%x zd+kLHk1l5!)un^QD%a5AgUy~gB7?2xNqO%O!l1DRzo+pUOM^mkVaDAk3|$&tRX#5f z96u~B(=MS13qBZZVZhsYkiWAe0A_?UR@Is6xJ_}HHErpr(2p4y2SC_ zmtk7xs_FjN^PTh{&?mt-j?Giz=qZ5nP6s}rk0TH+>0M zMzBtBZ;bR@rabF%Bw4qAZ&$7MN!S#*G0Tr^>0u9yf4GoF4AdNH+YU z6}SR6R^*Xy4rtvM#rfD1>szU!TC>)tMof-SAO@3+u7Vm#AI33%zKbGDP&BGWrVJ_B z_{jfeWXp$QP$LU%T=aAQrqEU9NbV(I{FJC=9$tpHy)Pa>d+mUaRR8g209nvMt>x#( z_7*XQI$Zj_x4f@54&R}#tO;CI5E;0HQ91zYB5RsH>wUn%aeC&zn&pl}XucigMRt)% zmqnuXgwzG%Qg8QvZVoMt=)QhKI#J|J+naG2bXa-I_&YO`1G!j%*_ush2`H_Bi`yOR zyf`C_*3{ShxnT;@4D9^aKD$dRt+PflV`pf}UyQYKA^`tKw(PAqp@s|lGy4! z385J{RC%E0P@$0dJ_}THfcH!sjS};{&g(UA()JvG`fTKBjP*8nyiF1E-sv^Dr2j14 z1yjo&97+OORc2Yil@T&Rr&8IL$Y`9m2Z0n5(X7epdiHj1jvcZW1T2y}FUaAK4gT

+`Qw|jE`LToCF+CuZNDUNP*2Z$pUgQ)8bscq^xG+^uwi)08|_Cx?x8T^ zKJ&*QxV1g;M^xn>Rb4KNHsjmf0_qd`{krQ!bvI)c=_w+m1KQ2Hw}F)=eTGcYwR zFgGVKFefPrFHLV`L}7GgASgsSGB7eVFflSQF*7nVFg2HkN&>@^0tzXA)mm9o8%Yv= z*RQC@-Pka7UlERp0Bpt{d;>nl;RhMopcz0|5;OMv`pu(SU24%b!rq4sn^bjGR#xVh zM`a6)P(q8Wgn|Fb2%UwEP8cIR{1^)#Sr{jLh9@ty0v;2Db{Uu=>@sO&5=`MH*sE<2 zR-p_755nn~gf+q$51&?lxDd6lPPmw@09Kcy7dGK3Q8*>Mk7fj0eN3>~iJ;&x7ep{9 zB#98T7G8;vfZrPtwSrG4qD57Mh#rK)Q89wPL5ZYY7-{&lpa=Z(MhhK83c(3&L`o_N z?M2ESKmZuPsvxof&AiCCM_Z9SU=u}#vq##AoD|>y>>2a{DN1F3kO`d1z}XRJOtPc< z_eb*Z>s2GF>vaB|~gXDi@?|TRl^1HbC?imtpOBZ@0tBJmUaE5@E5lv(OQ}lrM9!(+2 z9C&mz223urQj$-LIc<3neAvSJ5MUgm-h%Wt#HkZX$qvtP4pu$Uz;c4Y8UY;ID1|IW zp@1CFn2c&9O^UjRn-r-B0~RN@dAWiKsD_lVQ&% zL<@WZv5-*nWU)9on<;S}xiX{2l7g8WF=~>sD2HuwSe0=tdI9JO7xv&zX>*#xpP5 zxYdh?kLgA=S6!ri)dxAU+9PKUAIVelOl6=o_mZqnDQRv_GmKAYsKD)wuE=&93;=bTW!7{3K=cTvYbL4-sK7FhSgNDkm56T57>ccw1{{yl`VB1 zn5R_3!ExA7(oL@MJqT|+>={G!)DZ+~e^7}5yZ%g9fG^`@@zO&NN4O@j1UTZugSCcN z0v<9ADK53fb80kdi@c+(1fhsMee&Jl@U4ycakjOeW;0Tr$u<^_j+fV+M?D&(nu^Cbwt?oU{_#wN%BkDEwM^o{mn6L4 za(Q9GW)|C>ApWoDhw4iu{QBoXGe4e9t`^f7e;xE}d;u%_`v-fE-~MO!>CRiNVBvgx zIv0*PcIexsdp?MJ25Y?z4y*i!k=&ji<9AFU1LyAe>QOT}J%h&-MiP&~f33{AUs z_*Hc@9VSlIkf;g}ctsrm#Kj5^t7|-FnJKUk8vx8nL_*Bv4H_~_-6gKdI-pg>y31v01fbCCDnKz;|X|4lxX&r6Z)Kt(M7 zY6#7V{NsiyId3i|?1>f}f~J{GSJ2t0Snlk;*njtq&>2WGe``4~Gr%5QzBM|203B~@ zbX1KF<8X=IU$JPTYI*SB==ISfv}nK}6WhXJ%un%m9L}^cxRTs>S?>DUF27kp+<9?y z^cd_qI2a1#U`ilI4CFLy7(U*{urPSfpHX~H`>ygERmGj(UhcnpjV8Stys5LeM;A5p ze{fOz&L;5Of8DA)-tYtN`Z%6Z>1&onuv8?NxB$WObk>ZaN^$)=Z{~9vtst;bar*u6 z`OY)E+7E}XcE1c)_ml3qkiJo%@LG5xpTQO1b#nds&y^oa|EKfS>i-8^lefPCKHskV z_ZnosQGq+yJv#dJIU;;Gls4E%;CraS7vUr~2x^ z8&j~l)!$U)Klk%YcO_0;OM?SQQg5+y(Xup&srQKAe}m@ zQ^&Y9b?#7-`yEG5o%Efws&0t5rp_Hoa{qc>RVS=RvKh*&b#!j1$oThdbNmChYd9Q4 z?N3hT;ywS3nW4jae-O7jhAV!0I^vzx-?jZ0Zy6$cmrqv$Y*9o(I7Bo?LN`J-GC@Q) zI599ZH#R{+L^C)!GDR{*IW;~YJVZe_L^MW1H$pZtK}0t=F)%bYHbFu}GdMXiMKVS? zH9lPmFHB`_XLM*FGBhxkAus|de;v#_OTuv&#qo1~cG0ZtuXZypdCRhlAP9nnpdm1V zwq8I>L%0e}AvhH@34&v5ZB4y~8rpgZ4H4}P^_*w<@O_@)0Ki`WA_@>lLDdv>Q4-(Y8=@@M#JZ@6RfdzQuWX8#2t?w`e`8`?Oo&Ml7YQ*Xl44rSh*^;me{)2(=PMD> z{`E=|*H>N{VleW`5-)wPdE(>NYk@3uy%x!{me&&5`Sw~S?;pH!V&&_C}7SrqVkF83EzJBcz>v3 z%+s8RoUT$viJ>{ZJyiYRY0Zkl11XuKrBV~BB~a%iHx#LV?&@9L6o+-nnM%rboid$l zPsgfR!^MEhxAyv@z1GQ(^>)qjWM5PVT==@R_m550zr=;py<<`qLsc%{SIO(5yDho` zNnclMnp8vESbbYz`76VxP(F!oN&tV)$a>uq*KxP_w`r!&oU-)W0^tV z5H6H=0hfeQU?UhYnOBjnQ%adkHftji>%5d}nY4HK-wzNoMOWh87-;^{nt#&-Lc?px z@|7V*F=hA4TvX)D`}x)W0LJUTT&E&q$q&`>Sm5QZez5)n9_|)4uopDB@9Jh--`mKr z>)Wm#s;&l4xm)W9N7mjBMcvfR4%ZJD431-mOSj;PJZVo&>9;^0)NN&L3zDL9P||<4 zw}pNGqx~uReGSTTksPa`tADq|o0Wx{Qn+Jssj18)YC66}XK$H|2qVTQ_+c$=Ao^&T z)6twzrANAQG__tSVl-s2Wkqrjo)ahzNW~)l$cZuF_!-sTV!JWI^d!|j!bg(x^S7DI zB1|~RAY~Bh`@TArZHhsIOITzUu|p*oJfGbAwbvq>$(R!j1Sy4Z z@!NM1Aq5eXu4Y7EMNF1*C?ob716~DQ4onARVzL~Iurfr7N$fWf(`u4)?o6vL2PH_Y z(Xwh8QGuC)V7Ou=5q}tIxt%wXSjL{b7{IosDxEym!#);;&;j|>IlqW7gD9lNoSQ>s z`9a+DeQU#LTSK3+7iC0X#R)Tfo^CWE1GLj~n7@qc&8AeL7nIIj74bwVl&~X#z|DE` z-Cc|&BSK9s`4xgZQcM(~=SKHMB+Sg5$=j)G@rC`A6jv-fd4C|DWzYio)%a1d_<53K zY#u*8Ho&P(JT{D=e@1_CNq@QIG8bMEmeH%iL-GS~vq=J-N72b#DVNaapv^)I9`LTc zix^RWm6`tEji`ZMFOo2`?cDC{GU3CiegJ`>#5Mp%tWz}MO-0>$>}paF>mhP_W1;UW30XHH6Lqg3Q{L8?0=uaKRy1v#KoutoI23;6kj|I z1_1%+DBee`0lGqhGeFaR^4mo%E6+uKL?{dqij9ND<(Bg?`WGHq|DKx@lhFND7}IqW^$E@wwJWHZ zz(7*!3$3s2&cq-ChY7RulOhbHxa6nh7tyi}UVjrJtlFD#x|XhPvuFVo&^VqoHp=si zRYqc50yvXFw>}nsL^foAU&Xv%pU;pMWSWU<8;0=UST`{^2g3&s5W+NX8RZWM-~yzr z0T>)lM@TyfHL0^jpz805e_l5=Jj9!_w&xgISx*6=hc+ph9()s)&Uu;|j*EDFlCs zra-RMIYv`$eJ&D!LQLsa zzs)F*vdM_yw#rDNm08BYV&u3C{q15pMF;qoX{oq*cP&{IL4>%`Z2v-LZEV!N^KechG#Lwg5uX z`2y=f@fUPa-@>Y{0bz(a)c#BKyaTSTS2ylX1D0r$<#JK*LN7rJ1*3rU(o66nCMOew zvhXnA0uG1f1EZ(JgL&>P@}}+D!+!zKiUGI6gJ^rtVnshgR##R|WAV zD+js;cP8taa8u4m+M%$IJR~ac$*{-Q-B0R9JeRz?Ic|%W3IIwt*7aJ9CtfPq7QMf622*Y_aeVQF{_t_< zY&{Xce^=ULd`rvxcMy~~1b=fq!mU#S=>?o%3P>#+aE*+DJHeME_B|xC=n!DoG^yi< zkT<7(XphhM;IaG+F#q83%^y{_t)0d>PiQQorG{=W^`w8GP3un;YO~op>Dx(R**2k*pAtC!%)~8;S5tTZDerks*B7ZfMA$^|lWOK^7y z?(VL^g1b8*xQ4)E%RPIa`+wDY)m3zlImfiM##~iUk}0b(ikjJ(0Hy4}&Wx-~EPMcQ z1yxoy01FE{6AKF)5+$WN$k_(?w;7326X@s!vIFz|iy-a@Gl}4{5Ig<<2ji+g6y50n4Ca1e~ifdN1C@&mIRxL+u7Oz!Ol)dfAl8-as-;b z9lHnfUpH$FwsQk}{SC}PU^DYShA?xnXVw6N99)315`RPw+Vc_?CtCU=5Ip)eL&{Gw=X0wCu3J2z}e9S=;QTo z$A2RvR#t!+$kZ8N0<-{uk^ag4W(J!7h2JjU5#$cgWqH#cD}d#X&wqaDzsbwY4s7G` z5B<;kWmfwrqou4$|JTI-@rjAqxdXfy**O4=Y@DnBULGC*H-9G!z~{fSC>w+R?tmVb%mFT2JcOJ)NC1C{NZK!3a{07h08 zmjC5@+bmP-x0l1|O_6`PfNzWQ-z6o%rgmn3Y#19S7r@xj(bxltCY|i~eEy3x9C|n8p4_5(c+3a7C6~GMq7i0r4 zoBs!LvcDma>%aYP7K?wuxBQm>f^Wlu{srHrwfYx)Yt-gn@U2tZe<15yU*Lbix4!KD z1>gFz|9=;JtLykL_*U2HpRV5$I{|G$rgk=V|77I+g9CI0{=3Fof6o69-WqUr`*+Q^ zV|Mu$d`s*04`h35(Bq$jew)n`==fLke+kIc#nJKY3H@`$-_-R#_|Nwm2y_RUA}uf2 zneqo&)dh7t)QA$fG44+a&Qk7crP4BbEjxC)Jb$6VC(%}C25dUsi6)KqVXW;+(%g!y zkpA{MZEb)LZA(yT|K<>0&+NKMiK-% ztbYr4^ts!+S*)C?S5mn+dL*A8(dxVYO_ry-nN)5 z9*!gHVoh$-UG|E*)x?QGDIWByWW!z0seg*hyWjhiQ}1~MPlH?ci7r&t5;v)y6x`1l zN&=ZvPlXm%ux~N^9F4!BH*C5-wvN--!i#1kNz&Tsw_}l6=jMOBu1+?(<~|}jcPZyN z6XtrnOJ{>~abuccH`IMF;bdm}&HyrrvavBh@TjIODMtdCo+uKpK8wWVj<=NvmVYps zA}KRHx0St78F|=Hzi$5&nKq;PsD024=^49f z_Jj+b^z=5L#0FOAwp>`u3r$G=wN_={^+eb8xqbm7ivUxZg_;;TilR*-wobNEto-?G zUJNIZ0dGS;&I@1h$2K}x@1Igg0e?ZSUj5;Kl~BL31xbd@ciF!jI-u}{I;~g?Qru6I z>r@6`s6X`|pZOjKhj)P9p^Wms^UxVpzIASa+0BQ-6MC&(TC+cV&+4zHSp(_wWti`4 z&qkT?wHb@$z@nG0uYfJwJe%9ucuw+D2yU9faH;L2&BhAVj^DY0DnursLxYp z*K@Q2>}uZ$P=n37%c11@Ar|oE-#gGn-gZ+G1@8*DQM2Yc`Cl6-O1Ks@MP*}TGD#0K zsDV4&buM zXb{YAi%SxP@+rM`Mfi$qw9EIk!kXzNGx+W^8J~bZO^NJ5U&lV8^roR7r*NHQh#tc){_26e==pZ zt}k|+j5C8OJREOPZ0yl=F8a0ZyTM*_nGxKVTVA|$PNri}5`AD)mmI8nH40yE!NJ

0{?(8;vJiPqH$7>QG1FU&3_eq?-@kvGaG|Y4Rm+qv*t}zB|jlin`N{7kt#VY%Wvn+3Mg(JB*8u=)UZ0)N3%liO5+FRgGZbdfm1 zW^S^k2@bcxj&(+M>8%`pg()hMVoxI7HR^J-G;z<@!mVZRjQF|!_hA}^uci}KoB2m* zqa`+TzS{|0GnVOGu)2tB%bShUIkE3ab+%kJZqj#bI+VRBX*Gvi&}=W-7R$3pu&@NF zI*gGHEAVdQVt@LbQiBXh3dZZ=(_lSfe3uEmy;KA8qqznevd2=yQoe9o$=(yf`{RfD zjij=r5dN+=#tDBerbKy772)PU7I}rhJ>j5f{}mX4~G`gxlZ2>m|yi-9G2hPBA0 zn&EiNKB>5kfdSmO&q@=c1FuNi_f6pI2BJu9`^#7O+-C0xH-!kt1XCQ|O=Vn~y=(z% zo_6?Z{-iSQVHxIxf@Y2s)fE|ncFwNKSwFaieT_!kMFuHi?+LoKz^EW-?1~6u(tZ1I zG=e}yHGh<8T{5alSnOEh{lO2u-t+gilu$zIom18|+X%;wF2Ob0A`0M$W|v7VBT8XH zbQKvoZU)5V)fpEinz{a!6=F zVknX0BOl7Ojpu7*a1ll0d@We;WK|O1T?=gR!=?Ok^%gkef}fLK-VW?c`evqVGMVJW5$@&Ss81(5+TeUWEH-=oe z*MHQ>?@p)L*Nm*`)KQvfs!H{<`_Z{LRhJlbdub#qe~8MFu{-g>0_jBaPu2>?QDAjm z%0?ue8Wg`r**2I?mt8V3tv(8&g!YBaUS$fYbca&45+x72SM8sUw|at8(YnJzti?-e z%pJ5Cmy>=6ayf+C!PBMM(=**!SlQ_0I)A>mbSC;TDa_8tR^+^Vx$HqjB$Ye=f(fb}&oYE{wNle2&}zzw*&f6@Q}; z+db4e&dI`;6^0 z&17i0 zS2MqNJS+~tII@_iR;EmdbO%(JopdMnxaZD^{x&@wOdV^R%FBP&He06&qT|bcu!}Y` z3d_$IRd`Z135p6~1Q*7I9#=cV#OqTu7KIPlSWu150!vaV(T|c%IL)xX(k<8 zYN%U2y<4|&?dEMKGNgrkoPT>a{=r^6BYo(U1cQE@rbQtJalT_k`Ily7ypnz1*s!yy zxKZ1D?hZ>v%s`!A6%S{HwkXXY^>KU{t6VxVEec^ZcH*qy7+6@+J|8%J7G~T>ZXJ0Ea^r%e8}kEM))HdjIVQNp( zW|}D3Z0Wq56?iy^u|}?lVVHNJsi*>h^m%oqj(32EO!w?1D}VoQf?*B5)$P39`=0%> zU1Ts{hngHQfzpcIpA_vy!;?ASG@SHJ_$}ff-$ygb^BqRrGvijQRE^tX8!sgzp!4lc zv${VHCti*08O6bA_9R_WNlHTH_zO3gVi2G$Jm8>+uci#AadX!(8VxUhfT^xjaNUGI zAvwYGt`DYi8h?nIM5*HXL^fbS0XCZo)lG22+zavt(*&6<$E4WJ*^%BC8wUSKv|~ft z6aGwg+iift><`)#fxP2JacWy^ucAK-QSfW^n;kxbTd_Rf4g#I)7mTZ|ayz+IqDbr$xw$<||6R z3I3Ene#zPh+0GFRj`ROW(yJuSh^Hu8x-H0yZ^0>ere)whF-`;P?%y!*x{@vF`@W`k z#hC{m!$&daWyj+^XR#Y8l$rKyf2;N}84_ zl0WJ`Yr+y|jz=6%JrOfX+X9?s+irF7&2n*T|CN7076zSxln)^(g)oXT(Lqd$A0yoJ z`R8Op+y2j17m1ni2vV-ZnnM86@Q)WuOc?Nb)PLIfcSA8ZIsp+m*wG~6VGG^|SiDs5 znVo}Z8|IGO=-W+xDjlD}&5Qtf&Ttj1{WE6W2&hhC0^NiFKP6QcU@`u)(7yD*6mpR# z#8b7E^0#URE3HHSL_F1%Di`hs2h<^Wp>7w>o-d9rw_rY)2?a%r5F(7BjVC{%l3KKN!NWq@Xgu4w z7X6OMp~tKzSE2M29QaV80RibE(2Og`r7E3rH`cH=9_nhlu~&~zdHdMko>M=AqhBGY zEbbHZyk^L@Hautj`xXbA>U0PS`IsMAD}T+s7!O+{oBR;f$)aN3%iI=shZymT^xfup zMmCU4ZO5A}CP8YNKYAe+jO)kFcPnib8+uRs**YnGd|827G_rVARY;t;ZBxO(=Se@r zOkT{Tg~ly)WRMClFD*xhem>Ww7R};~b0qFQWY=8;QjGHZD55Bm8g+`3dT(Amuz$Dy z7|6C!Q`iSuaLnWW4jV#AoR94u@qL1$h&%F(=UekxkY8=+NIs|a=Xt)D&MXNxd-8IA ztIHZun5Rm_Nh38?y(VoKv|6SaH^nXd-{Q4#*83jV<)1fPWGIelc+jR4x$6P0=$p*4 z`0tS|_>U4;6wC>|mg0X&v6CPsM1KdWxygX-eI#mG&fuR;Z#-`IjLi!J{Yo-L*@Y$V zVwhAha>UReH(~evQ(#S}G`y9rO6XfPNIo<;eivL04UerN0>}PtIOH@MPby&8+Gd`+ zFmUAO6ei>yTe?6OQpr?Yl-2>k2Ucv}XU18igxCvuh0GeFkEF58$xH~*e1B_j(dwKn z^7PJ7A8**zlvUWRHmBPx2;%C)g&#LPtXeS;NXb;?oN#4ytD@UiKwtV2_IRDl8lai~ z6$KP3yq6y!CuSa;`!4I0MD;5aJjiQLhN6MP5}76#GMC6=@N)+ePZ#4t%;HIK=LC+( z1C7s*41(wI13dLiICW%&lz+@1<;vOsqjUSYuskErD6bdljLa~1l<;$0`t*3DZ}&U+ zbfy-!B1@lbt<7Ca#Cg`ohOvV}P*Hi+?R7-H7+?mD4?!0P<$}2Fn}5sMnvw!k1 z>k93AP@D10L=I_H^?P3}g;#WKgYAVWez+H;urR>59SGZb)?Z~buOZ0pxG0Lrpi}>V ztiOoCAJo(;!;K>Q#5D&@|I~iX?Caz7;4zVvenzwE!^;|e*2&Vd=d_#}HUM|;0vmpC zgMV1#G+ZE!>Jg?_h<`7BB?pm9>rb`WW2+EONd&W-JKhbSt_LI9-8(&g#ceNMky{{N zj8!Bj*2;2whk2W!`uVZI_LYl2Fs2gGRe6UNTe|vrcVC%+61~n`pYn^6v%l|`*8N=q z8}klPYxtc!ETPeboZ#(7QlBP~FvF?ly4_dU(rYaos>2dmSbvJg$wj}K^r(ej^m+In zMq}9yK!$0hVp*Q9Fy}_Z`r^mK`lj?pe*WL1+JYKj=>o?d8>{veh*(-XLhkbx^(IDM z;OvG-SFdBPZQC@FN*RjObvv%%3YHg)gU+c39b;CymYXL9>2sNmoedjj7^wZe_9@e@ zTu&EgJJQW!Zhv!V1=}xv$VDdB@FHQ1YAX32AQnz^4akWKA#_;DP0L3zHc}e*cGwL! zONGtb*q&rRCWM~tZ~L%)!hG#LqoDfK%xDxvv{j8#%FlJ6@Z>$1({J(l%I{tq;8Lbr zYjZ_o*RlKxH|K9bm}Vo1{=+Syxutg@h~6*C*Z#(ArGNgD4bB&dPcEc5`PtIQt?y0P z6rg~WsQck`z{SOfO_1v9CwHD!(W4Yeuo_m9o+@r0T&_oohaze3Vb<^^VzPk6ocNdm4&n+#52(?4On%D&BYcLVyI$_|9b;e`H%Rn>&a4wqR zD0*Q2fqzuAU_mNt$-05rMDKR@sLoY({r+GSsu>wNPX%iO>pBZkqIT}&`j_>CQ*yqg zP*b{5a9oaYbg6O;&1Wl0<*JaDkx?OZq(*5inVAkVGsd^(U zU2Y+$I^T;zhJ3(?3W%Pge2U>U)l)_xm!=`#Kz|wBDSP~V+ZeL_19r5h7bj^31Hv;H zhBzuGg`PZN&yT1DXQd^uOmjyjA}#)QApd9QeVU9JNkQUEkBuRG8bPG5D_%Tv4-I5v`wk zf1d07zU>mS99di~oj_GBvsxY0NFS7-!Z@$bClcLNRrc*CQ8s$TK(kZw9ajh`E=0-O zc-?a*^t{Pg9Yw_e2_ll+zC%(=0^FzqZ+}v(i;sswoHLP3oHQS|pKxb|=;1>G={edx z=0!?yH(;}3rp4xe>S~j=bR^y)R**0nJ!3{Cg(t>cPQ;NF6*GF5-l}RUIC3GHeZaJe zzAtyH0utu5RYsrDP%;@Y-CdzN_aq=05nPV=hGie!HGBcH?pp%T!Jgk&fvQ~!|7dpk^2Q+I4chiWhv{%i7xnAB1nLY=e8n)5GDNOdu{K>1U zMc?_1oBTi~f3~y`r134vA{*<)} zGp2AOlXBF0k$cDvah7Iv-d^b)+;7iw5xgKs`s#owJkt@3-7F|6i3Xg87Ju5|%Kqr@ zW6pNzW*nz)EF@$lHQHPo{DPE{ol^GOsUx^)8lvS2F(Q5hzUx^tHj*;|s`J;k!U29d z@Px^SE43=uGt1|1jD9>G6W?NMx0+slz8AazIj#0Ykvh_3F{7RX(II%KHN#q;bi(CX zxOvj#aZ!h9!V*IjmdVR{6Ms?y+T^V?CmXuK6KTI<>os9(oVyYpWgSmG({!m8rgX}X z?KU@Y;(Bv3Z02EjD}3{LPxnggEv|F^xGZQE?UOu5~Um)X1ba+lWzzy$?P6vH6=X3I0c>#3W&L zV*a2xb~9*$uhz89PZ(p4*Z?jhXls|-^?dM==Ql@%hOYW_5y?CHxxNr4ZdnWNlY=ih z<2OF0cg;QL59_VFkbhi8Wg;&ZnHB{$8B^JvT9^9ujU`kk6cw2Co56)E9 zqHvA&?{7v}yXR!FCzB;bC>~ay8$QWeWqw&IXk=dNv2UD7&|JbEG#PW=?hTfWQNl(} z^*M<6rr<-N$(o~-l1=x1#nsO$?5B?zwDWOeR^wHyvCsouC`QH2oGDjgVF6rg}mSG`bjmm556`R-6aycra5|T`g?J(hN0Dk^Xpwh zTN2QTbTNa^UpGJ<>QbXBFS`yHIhIXh1G^K9JUdd72xCm}V3%gAm4gJ$;`}}R(9;>z z0mDf7rGJofl&rhyaw38Y>C<9~9fnD1^_L792pNp?{>BX5B`A=>^;NyQ6?vzy^&amF zcXd(yhNHzXU@QLJ@2-79?`Iv8iOTUAW~c;9V#eeWf4!r&Z+4uW#O{kn+N#BwaWc)~ zH6Pv+?n~HRN9vwzXwk8`zg9dO>EdE-6X@C}ZGTIY_c5oa@gqTBce1l;xO$dF7ZAQ| zDb;fz7OuWK-@ms_Q*kmJhZeRswp=z@jR`Ub#7UG_ zwSRx|(?2(0CXhO_e0YxZTevrQ=EVBEbk~BrbzF>{*tSWW(r~*Up|agV*0SP-zB6eJ z#}O9bY_XD6HuM@=8``Gl616b8JyP+rfFARYFt!4dtgYqhk~-aSC;lXi=ZQ3~)0;9p zp2iV62!BdSJc-=mK7b;PPaq%)xGHPNv43mq{#j1vyYSfFzV#lA?!906!iHPEia}{r`&dPxGJm)n zuV)7~@3A^V5%^Rad{8=BP8gCMMAoiO;b?~>V*hGG&pku4j5Q-UD%v%eF?@L$nAz1R zbh_pSg_;JYx4vKxK}}QS+?J+8AzAhQ2_)5!Xt*UWMN|# zHTzO*xei>n>AT__*~8qv^M8q^?So{Z!wl`XnYpMG7y zjH2oga8?<9q2HBAP1K}$d$>XR4%5UzhkmE*(x{EII!YBm0dVr)@CwBUIn6_S5P?jA z`@^o0%Tl*ubcOf5&|+E%qXJ*`Jbjd5+2KK+L@zLFICUI@R6y!}S$`tbaDh%5J*FQS zDQsIi&v^=~mA;7MaEYdiVuZQJF2DLIv??0qg)EB#9YBc8>|>5!5ZhQIGo8`G>`6y% zk0iudYp~Y0yoa>rXef|6Xdwhny_F;+P80TuR-{p0rnElD&bb7RKtAj2aky2L18yrDQVk$yBmhh!9A zp)^+U`O~FnOs&*apvRA@qp7p6NEl_caPSc;KcYmnwkXZe^N!y2t>sLzG zsC2bvcFf=uDq)^`(l2d#`(^NL$|$~g(vBGX9)@Q9{K)KwSRM??>&j#CH0}_L3jL! zsdTo$!Pfa4uYW(cTi^cUh2C*>`-vRi;^CPsZ&x5Q27ZbDl2r*kv&5U6Ry z*8dfyIe!ZVYX|S(eQ!fUi*;BZ4wn@pmp^$+upI9AXB-mY1}d*X#DCmDQYAZ>De_zriGITJwgzLc-A#voRusVCybVZAmItpv{KOC^?Ybg8uMDKhO zEgg|ElWvP!%W@8dAy&$PdKfM8JD~gnwts!J@6b+-Zp+C8CY0|_gsyX3A@X+e^WZzI zu_5jIlEsnEN&iXE^=AG^%5dY&t?HFAM@f(X0cdFg_2W~a=4v-v1pH5$KzrI9%=;g7 zay2Vc*m4lZ)uLqrw-B!@@s*;a2CTQA96Z9vK|c-aeo^ep?vm}oO{ya_E(Z1rM1Npl z(^ABflL~FBoAazYy1A2v>!ww3fLABZB8)Ls19!T;ndV7n4j@N=*bWu*YU$E?lh|_~ zwr)*)=l4CU002Dsx5#dGlNxKM=0?Kw!X*0(ZmE?rTMlQl=(O^`{v7fOxj103jmRqP z*U1#8Ua;@>_rN>Hm7~=hygrNDmVey_X=H#_Ja{K5+b)S*$*r359ti7N*9&ZwROews z54&=6ri&;!8^*fyw>EN!ujal;r?iUvYTnXXerbKu#+*frlnsaZ5cqy+w0~Jsti_0O z&EQV^ilh7otJ#EUB&12X>H?#FQC9;>Q4j%5X9^i_z5$X!7+1#^>QTcY*?-&$HzLZs zGFbvvv%QGzWBwI9Q7vKmW9AWx)#_$v{*_k8-(`4Uet1$(%+AMQ_NxIE&On&!jrdblvI=&dpa|;sm$L!p+ zWlo!|%M-515*+V7gKi$%DSv`ES}q3Gb}da=;F9|fgz`!oay+D%kqi3(!;i6JZ~-5j z6MymuLijcK6Eex;_9c{ZJOl=)*z5^vvEin)ySln6pDBGFrZn|~)Kv6yBvR)1WnClB z;>$y_2VJl+WdWmz@S2)dG=z+%i@u~#tqHwMs(j-gKP7(Y;a4Dkw13R9^d&LklNYyX z)T$uFfXtofeV<(Sax_YI=lSCg)0>d8Dv1n{xjbr{cb`ub+Qn{NU#r!(95D_(J>{-c z+GWl5$Kbh;H;DpZu9Z6=9_N2ycN8vY7`Bs)d=Fq`3OKMb#FZc%VQB}geQ3!=tLChB zYwd(C3GFv|5<$f;Rq z?cj`KA-7mjV-(*Cmh@+?i`cp3PQ@nNFvNiH{A*60IuA{Mcz>jNoF#C5=P5}=4Hh9S z|Mt1~gi&h7@sN_Q6;n&dsyE(qM;%#}?lU>u3?lX8^NFkY74gBQ#_Wb=G(nS{GSN%v z?%3zYL$U^Q`kxrT8J#+}2^8y-Bj!EGleJsf01m?%JN{o+!tcd7q&-XOM)mJiN{lZL zyU8boe>*agNPog#tylzp*8Hq@5&*GpB&Sad>8G(8lQ3&El?8cvoVwkK38>pd^;klv zxw;_!=Bhof@7qH-kb%h&m81~YaaSNE=@6c0UM6}jwV;r~&C1_Zkz-vMj`84=@7nPN z>c#n>^d46{kYtwss$+EVoJ7=Wdw=*-J}G$~l6L_`Iv=w}@r0W& zz#B_W%Mn%G=i@wrE|C7({h?`-p^YR{Ix5+wM@mNLmD7PsI%G~>f6MMdOUU7Nf`tPr zFNR}(#Y?y+?sqZH*Ds;d_$)pOAqNykl*NAY6xq4C!k-gA6rRe7c)_c_hXTuVw(edX zt#f_UPJa>2uDadzwbSvW86qJ-?RGx*c(l}WZ(DXH@R-6%LBc8N5#7@mG~T>?&o20E zU1K6a1n_fTmn(dl?cs~IFXDmgK5leQm(UqOYK@+bL!s@}Y(DS}8kAIXdi*R*--PM+YozpZgvU|1nfxebE zP(CrNj?u-BY+kOe3$*XKfx@-?lTPopgMaJ&Z#Ga9yJQQ3tWCGt4|8H4_Jqo=iZmk; zPuLyTii#sLnQ&dywr?c6*o1~SM1lC+D9;|5c{pyy1%X_ zF7>NzFf3rVk|3+y5TPf`X4SFB`k;Ys6MwO}N~Z5W8>sz6BzSLcUyrz?a}^iN8M6}a_fP`q1yr12o4Ma>;nb#$r`bN)h^Nj|6G!kC{tfNCKMyq! zrC5`%PDuPJyQIpK-wD9T!xQP@9B-D4o4_nSL?OM9Fe6$F>s2T=sxF~wAW>a%Z+|Co zKb<1IZBKeXTcy@jOvMh|$qQW!_caVx&RIA7TGdTFpSM{~%AYCw4j0+!-He1c-Tehu z+*XxEp~^LWIi4QPAVK-wN7h|EEls-wG(j$9*YVtymd}H&Ce78ox3S80i$1)QWIuA7 z7~J;ZHDA3+&D*T%yuSZJh8e1vPk(3K4VIq~>EoT&o|E|P&x=rTXTTo!YHSK@R$gXg zOBOsg?MG0q8OH)KCOJ#ZP$y;Q>^|FbwitD=$To)817?^w*XUu;;%~e)l5%~jQDZB zwq3lK)!|-U1~Zc51*9%7_$4YGP+}G! z2>{h{RPI<)^A(c#7g_Z@?c&j~;G;4jd6^!EFGotl9kW;n=}hVD!GB4tYofNQiSv+7PAsc8UwS{{k&3nzePfp{4<^QD*YaT*f{%K`IlTSp&-QWzSAOy9 ztWlxG;k^u){W8m{L4W@=l^lXklZ(x;omZvvW+xA9AGRRwvgOT;v3ob6dRfis=vW*~Pb7%NuO@@i)zS3d9W<`?JTwSU7Nmp98dVjj~GD-#W2 zPbwp_tqD&QPWvfp0<-&ITsm>epJ+2q-X5gysis=PM|o<}O_Wa=$Y7M5(T>CtWI@Fc z(8abnNMM_^G9qfOhlpI$%=Dbn7BG{1!yzY8f9Hz`b9xIv@qOJv1!=6X%skl)8DzPW zKlSj;Q{=Y(Xn*bzYz9R$r;HOK6_g$tD(uOq(lrjONT{-yVh7pV+Y;@naY(q*m@W3Z zj)wZ$>f(~3m?UAhymCpP`oa%#Jo|vpM8wh}A{r$~LR2#e?unBN^cg~$HtL_?ri#^G z2SMe=%OSCcB^8|b?p~HqecmYEiCqpBT~!s`yEW`-MkAxvH-=Uio-f4i-JS7hm4ArBUrG-FxD0k=N)J=^j48z!#Gt zy~eVxQbP={3YdsaBI8J0m$d12uDKFhcyKmY!Fxc6i3#H~_V8y-HqqJKf^Qa+WnFt@ zn9?HND1WahlUwOf3WIoBOIWm7AkZo$YeVM8_yNJA(Lo~SkkmqTO<02_t#VE~rK0PC zeLP`AEIN+}A6)CJ2RdGyE$f$4!Z_!e{+fsUu`k_|4^b+xu+>@(G0t1duxXgvp_Z*b zUOK`KuI1B2Th+X-W8J|z7wVUSW3C>k@)@2*EPwJK^<&ojnzTWaJ7R2d3HR+Of;(Fm6T<&*Unn=^DXo@=Zd0j6OmXTi^vpLl2k52RQr*u0iHm z7g?0b3`dX$;Xv$cXpJo@0|KbmGVRU66 zC`39kFfuhTF)%kVGc++XG?$i20>c40mk<&HD1X&jTT>jj5`O1b=<%F7Wi+}=RjyPS z9AXDwx!7@Beptg8HUXCGE{T(0fBI`_cD1vN&0?R2Q)L>B)M|BqeNoRCEgGRjYJ{eL zQ45uX307z=9Q|lRzmm{axI|A*sD^m77s@7L3baedEgfkJn`o~xUYG_lG(8BbLKH>| ztA8E+Hp2R#gt5YgWCXF=6r3;-rvzae;at#LwAF=3o2~E-9cI1o8bYG*UMb-k;bTg) zNd(ok2$UPSN71}$QwHRVK1&WJ=XBsxkY z4UI&?9!2v&B8cR@*-}=d*aSgZq(pjHLVu(oQ&gmZrn3WPbaYz}A8yH`zpq;%UyaV% zEx9|nnzvW;nJ|R-!InH|XOo-hNjoF>dE$9{Iv(vzK8yDaO?c8SB>iEFwohpvP5|2v zKd|IIk|rKL6mpMLwOGM0kk)0G$c{WD)Iu3LV33F8v((L!*PCvvU|Nx(08wENK!2jl zlZlHX8NR}!04>I(q-C^W-15a!fLQ6q>$>81gTZXh6e7?YqzRII2C z*wnCkBmkwxu?m`Kiuou*Zt^}74cab@9HbRwmSoynXotRGh%(hsojmP)f`2(1QbW;V zS7;0bkYSjZ;yGH_0%(DNqkYjg0NV%BAecbo7!898POA{EE@B+1xFJfp!~vMh0>3=l92sXhbGr4ii)TG~UzZsw=$(WG zZ(g?+R#~SBl{{XqWixmT-+yojTEdA=v<+F{62}Wg4SC*S)oa*fDHgDbnW!V->QtbV zM_hTE%FJ)LWJhgpg38R zIB_kzGQnf9p_vpAHL)>}lWnr7%2*4I`6z1$qljqt5ga*+630Ifp?}B$=m{70Wm#DD zE18h#5*5q2>NKL(Qh<@i3`^v!wjSAQBQ&*$`G87lxExr@!p!HXKZ%?bvGaPgT!;+k zX^sGedCK(2#hH8-*q6*1C=#eDQv}dVg70y%qNwm(A)ME2F{egUz&62F(?EM;c$KTd z5G|N{_{x_PeW8UT=DGyb!J&V-q~;TxVq{e=fC=1X%;z(YZGdd1Sz^6v9QZqFU()n0 zw8*SzKC9-*Ga*-{26d;{>`=;4alO+V&$tUSpNWiz1_rRhYh+_gm84vUd4D;9%To4G zIU#d0O$l=9ne5RT*BX`DraS|mvELR?1@FaNy$7?|bJ;^Baw=R{o>qSgkCo^#-EQys zF5zy$0uPEpqY~dQfh!tUsNlL7rdI8DOx6$>9|^CnrEU<9D$Kz899eM zK+R#qxt~eg1|?**!ENk#XKJ`|CRj{8J$`{DvVkZ_s*I!8T)Mfx00*aLK3J*Tc4RG> zh6d4-HTTuHZI zRUR|NO~byb8>eXa-ej7qyvcpbEq4K`{Ib)iTP!>$MuHp9v}og2FP?nNa#VBGMcP%3 zAg@*G-S_gUuQ2q>y3o=i;sR@OGsd$V7x`K$#Uht$;wweGvXg%M9&j%SBdtJ#1& z&Xi9^t>F0A+&z9P&2kF0xXUBzhEZIxK=F+30UdaPMa+v-Hr#n2Pq~JZH8|Xw()t z%UOx<3wX)F?|e5{ytQS1%y#zkYy!zz)Kr+ z9@>H55-O_9gkU*g!IOKTJkHc`zeHZg7*&Ym>444{eGh*|rGNSc3Mt)Bpv1$M8_l;A zXr2iMRo*N-9xNxI_goRPI}LL|OO5V~cWTZzik!r|OeZhzEV8-Fqqn$DHnoK%nLr5iz0@o1ZE;CZfpc_vWhRNdZMCiCDW2^U-{FHC4=(e8Nhe?>o3 zAC>U==W#nbnU1gLlWG1O^kQ^LEBpJ0dryD)&+hY`UsOX27o)S8u$g0rzb-v+UOdpK z^~zgR`43z2(d-1@n0zA6-O=@vc6@eDkI`>Q9D{$g2MUW%=c9}9$)l^Yi&l{M!+Cr8 zh6K^dFJ%)IUy^Y?n&LyzzvLsiBX{Lv`J;R$kK{;xoQ_U@Z|4{7r+GJ?VxK&bCzFfG zm2BlF`Dt=9mFM#O@9XpSN{;1)yp&gRA}3d^yl$uC$*KI~W-@Q{&Z(Tq+4!@ZpHJIX z&i{X!$j|cce`k~T#-ylm^{2D1A-H?I_wvc(jG!Js&;UVvY%}TmAlRfq1b5{@Mvfpl zUBYuV2oM7@ui&_mf6Bjlkc5pO`Sr!|j|T+FkAp#_EkTl~X;&7Xs)Jr)Vw)P0rUHas zQ3n9Ap~Azc8jtDdbbKe!J|Dg==swjgN!a&(%ASFADb`v_yLk5 z8x{1RQM>Y$d`)gXnOt6u$j#^E)X8OgHtOOXA$~?n|I|iXwTaP3Z}wjAzGI`q?KZ2f zFa-6TOpa>Mft!)3e8C@W^>EHNE$$gFg4q%Bq%JNE(TwmPGa%E(OUX7gB#h@2R z8&$}|{U>i<9We9*1=84DAXALr2YL4ep z$JqsKyA2)!HGc`UCpPScsvZ}+K8OVj=Urp`DHKHzX5XXr{e$VVzvJNMi=GX?|?t6iF(K$CC=lqCCI$&osYx#fK*IubsV8I`F@PFU$ji<9Yw4zpYOFkQw2c=2Y+wtlA zd?s}MFMN44IliK+=d>mBH&>_se$rDX_SLa&KpoSpsiW_qPVe1dRULoZ^wptvrdl67 zb@1pleat=d>9zJfeRN+R9aiAcOLhF3I(Bn)dQEpv8@q;1v*In3mrfnCrjFZOonF`6 zQ^&76YY3dQrj6fRn_eT?(`G%A?NB7IM^4yWn_kvPdg|N~#&!rC)z>F9_i$CO$?55{7RLZ&sZO(0N82@Z z?opEa9Y;@{_?5J(Ziuj^&OJ(U|9W0k$FE1S9?GkAbZ)80_zSlg{>1Hu4kuCj-ZXrRR{~*CLohfsLNY@* zL^d}>A|=vdN@T>e$clfQ zm?4U{z7i3wKd(H|>v|Q4=NGRc@p0!hOAH>o=E(Tkt3;m1Ui0MTx7Pys_~f-nzTbE) zkzcP~Wrpa}D`u#+!BD$58hxYrZ|o$D-L$cHWb9uV2XDsVz&OqrCqKq%#aFf&T3I_U nIv4>Yu^_k#Wo~41baG{3Z3<;>WN()_SppIWF$yImMNdWwxb)0s diff --git a/tests/thmtools-comptest.pdf b/tests/thmtools-comptest.pdf index 118027fb703e85ce1a13a14bb045f8a80ddee5ad..93d7e77921738751d56b46a3201aadf2f88b9cc5 100644 GIT binary patch delta 116 zcmcbApY#5G&W0AoEle6w97cwQ#zscQ2Gb3qn55yn?ZHt@EJDtvmZr{z=Ei0QuEs8g juFl4$hL+BzE+*zCZq6pA=0?VL3O0n4Y@e0GH{oEYH delta 116 zcmcbApY#5G&W0AoEle6w90ulw#wLbFmeUQQn55yn?ZHt@EJDu428QM)&IU#%E(XR< j=1xXNhQ=H`fD7p diff --git a/tex/class-support/keythms-beamer-support.tex b/tex/class-support/keythms-beamer-support.tex index a767068..8aef1ca 100644 --- a/tex/class-support/keythms-beamer-support.tex +++ b/tex/class-support/keythms-beamer-support.tex @@ -253,10 +253,10 @@ \cs_new:cpe { __keythms_getthm_ \l__keythms_thmuse_store_tl _body } { - \exp_not:N \__keythms_getthm_body:nn + \exp_not:N \__keythms_getthm_body:nnn \exp_args:No \exp_not:o { - \exp_after:wN \__keythms_use_iii_v_braced:nnnnn + \exp_after:wN \__keythms_use_i_iii_v_braced:nnnnn \g__keythms_thmuse_temprestatedata_tl } } diff --git a/tex/keytheorems.sty b/tex/keytheorems.sty index 911243a..4f1d145 100644 --- a/tex/keytheorems.sty +++ b/tex/keytheorems.sty @@ -2,8 +2,8 @@ % Please report all issues and feature requests at https://github.com/mbertucci47/keytheorems % This work is licensed under the LPPL version 1.3c or later: https://www.latex-project.org/lppl.txt \NeedsTeXFormat{LaTeX2e}[2023-06-01] -\def\@keythms@date{2025-01-13} -\def\@keythms@version{0.2.4dev} +\def\@keythms@date{2025-01-21} +\def\@keythms@version{0.2.4} \ProvidesExplPackage{keytheorems}{\@keythms@date}{\@keythms@version} {l3keys interface to amsthm}