From d015e5f7012fa34c55f2642b3550a136be234a77 Mon Sep 17 00:00:00 2001 From: ki7077 <58886967+ki7077@users.noreply.github.com> Date: Mon, 10 Oct 2022 12:06:28 +0200 Subject: [PATCH] Deleted old code clean up --- .../frameworld/$Frame$I$T$Basics.omdoc.xz | Bin 6476 -> 6372 bytes .../frameworld/$Frame$I$T$Circle.omdoc.xz | Bin 6252 -> 6264 bytes .../frameworld/$Frame$I$T$Cone.omdoc.xz | Bin 4244 -> 4232 bytes .../frameworld/$Frame$I$T$Cylinder.omdoc.xz | Bin 2276 -> 2280 bytes .../frameworld/$Frame$I$T$Rectangles.omdoc.xz | Bin 5736 -> 5712 bytes .../frameworld/$Frame$I$T$Theories.omdoc.xz | Bin 1536 -> 1532 bytes .../frameworld/$Frame$I$T$Triangles.omdoc.xz | Bin 4488 -> 4496 bytes .../frameworld/$Frameworld$Meta.omdoc.xz | Bin 620 -> 620 bytes .../FrameIT/frameworld/2$D$Points.omdoc.xz | Bin 1332 -> 1356 bytes narration/MetaTheories.omdoc | 2 +- relational/MetaTheories.rel | 2 - source/MetaTheories.mmt | 39 ------------------ 12 files changed, 1 insertion(+), 42 deletions(-) diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Basics.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Basics.omdoc.xz index ee7a231f64e1880394cf309bdb346cd00545618a..2dfcbf1bae7dd7fecb0db46054d4f257f67b16b4 100644 GIT binary patch delta 6056 zcmV;Z7gy-aGUPFk83d_X7^JZsUIBm9H67oCMCq^YKUV)~?)b!~e#RL1y2C3Aan@;O zy`z8peM;NLr8t#`6gZlv^cZ1eb{NYJAobG!#4V}qAr+{gw%KtaiI9!~${;ed`ajW* zxmT(+791Ar26g&z9Yo*F+>j445({pXXkZ^s3na;53H<=5GSdePtocrVa&LdS8cwJ& zH;s=&0oS<X1!d=vi7_Hn{srt`MCIj9fXdA|gbE&dE#;&{2y5nWbh@M2l+twAPum-1 z(o*zk<Q{Ffb?|B2Ht$KNUSsz?I8VW9;6x6dc?|W>o{A|W{;7pWa6Vcgl-H@<vt5!f z!X>bdB8X9Y8EaT5VsmYB=%Ih-#?|DCD(it+%YOUdnhk4o_7MO+U8+rHm*%QGyLcf4 z@m}^6WijQ(JpwFumq<h8EL>C`{spE~KH!*l9|%cJLO@yd;9LGFa&8>k;;DIF-6jn` zT(yJJ&24E6N8AwUldYrIQ(a^@n%Ri9$r}1|j|=>lIVAy`7^uVbJ3W7kEX^*`VVa@a zJGcp&((kr+(K5H3d5qx_WTHoAo0<3(*eK*M>Udr=aXYbO2mWS0Ay|o5`Z;-6LQNOf z8~8YoKvzlH{~2GcWfY*EZbrMgO3sPtJIV1gRjW`Nmg?m5FtUpWx5aGNCV>kff|B`` zBS_Z~JVRv+TROLzM4NxQBId9WKP4}VajoDz9?FA|DKWOt8AJT0Y?Uc-tS015AwBu* z>3RrMbg?SmXqpfL%xUo(O8|^0{iJZ+1;n+8amSA9s_qyW0Yooy%&3>-?gYp#^1$nS z_>=yg54Sqphsu$({_CCH36Dl+m*2-f0P2K;;i+}UNbO1^3T=M^ZUc)%d}uCk=`&_4 z6)}cx5jzG}enY$Fb?PZMIz#^^ID!uqV9&r@I~x;WcCVP55bS$43&wp9%ydn&jZX`F z;kO!ay_!m|%Y`)1N~{y5ss&sF1lX)$$eu={$Ahr7PASNG_|g23ZhqkfP1$`+`wbt( z9_}RzdmV7!>TZAk`kX~55`Q_eotr`^p3|!$-#S1sB+FL3%A3UX>ml0kNdNG+-h5-k z4OIrwhE_4ktk|j9ya8x-k#+JPyR_VEX<EslSUcYIH`{yYXa8{SGAUH#O9K@UV2pGj zH?dqQwcLuKLPRCJt5u+2P<c#S)heB+VHMw=SJ6#+V>f@x*GhhpRG-xh+kXv;Ypx+& z$w<)Mzr7-`H{d;ZQUX-<bt@_9eCDD>*i{|Gajh}4u?7VCaQ7s!pNNkkb}KM43c^^d zZk@9Ci@*|=M&l`8W1eX=2FuG6H2Q;}El7G>dtECA6Lbl_M}gb@=o4&*(LuO<-R!>o z)FjOs{ds>_<07E%4Q^ZlbUpfVS{uozcPdVowEI(5ohmn>K*FNV)S|vl29La(@W{?3 zZKtATu%KW};W@;v5A-46_SnP~*p{NWTizgAzgI0~7Qf(S5)G<Fa7qm-R8N}#9|m27 zV!sQDn`rtPJ9lImO_rBNb7nu2Yv_+I#}#jaBSL>?@`AdCG5t^Y2RI;u*$<Yq#n<Z! zsdTC7)1B{b+Lo7Y3?hj451NY>2h-@jmi=(lcd<0VcvX)gy&)pF@x?w$r)wV(dRyg~ zSWv>0+Z3f+Hj1<ck;o~5e==S{o6sjbdqz<gdv5ANbY;FlG2&l0C0%~q1vPSeTSxX9 zu26rI_|NMC#w?rc*DdKk&2yiU6(5;YmST=Z0Q|-!e|4)n1e8;NmSdf0kmNkpuud@n zsSixR$a(jP38rkPOAN>o=i@^c{Ep2IN^P!39`_YX%OGx>QSkZrUMdTIJCis<W?~U2 zNJz`Ldi5~gr5Y$>0e4Y@Z-1w&UXr}s4?2H~hYq!F?06!;Tfvp+U2ZDK1lP<x#^2kw z+Z1akyaOLy6!g3><J4A>+zz_&x%Q;O)yUXtYCS!ppE^nt=rr+tlzZ0LMEDRPX#6ci z!p$bk7g)tY6&kFV68?4@eN!<^Z+TvsQ7&Zu3gU>`(qC8V<cEvhN_<@vp<46oG(~>_ zc@y?+ruz{F(<KO~<+`JH7_<E9B_~9x1g#DWQEn<PHM=(=E3$$C`2-qLWdx}D0+5ab zDWd0hp@#%K?5W(dwI?r%(lIcg?)3*59D7uK(PD&iB3@frt?*{<b+W38uD&z88lF$v zyFE(Uw|$X_NKrK4>=Do9;2)J*4JCg<I(AfYXB52NPM@**HFw~$KOlqm*<?!jL*XxV zYmVuEcIA$sy4t}4Z?{5I_`>@#cHX61Vr^Cou7W<YQ|EP(`w=gw(`i14;6&}bw5v!L z8D67cuQ4-#XJpaQe~Fa?qv+eo4L;~#^&Sxjy%-8OD>PkoO`R&aN=KOLT|a-BOTMgS zKKrm#(J7hp;JR1H<6@#zhG$!P%OAHI6%r0XU+xkxa^hIzgIB0!@{^T6Zy}4VCphIp z!>*3h&z{~QbNDmIRLd&>mJ{3ou>#k8Za_o9*A&8v7{Tk%ZHZc<U`Ai^I(42&9GEbS z#X&Mh7}@t9L$cEbzRgBnnDu{f;f?rz&Xgjys07c{0(CYa5%dBt-p%4yQw<9w*e!XY z{IhZ(Y#8E3+4S%4%`yJwPb*Snjq4C~bk_K(pA6%0GZw4wfOnU3?gB09UW43h-7r6| z?~Dl+#7Bd|K~ewuNjRbm*odJ4RJ@4jy>$RxEP1>r1{oyAY|?}SF2jGm5$BcZBQ|sF zNndr6zz{`YTyb8!H+<N7f{m^?XJ~!O^gGR@bnQAvyLlS&z9HCtU8z8Jx;w{E2_0P2 zRRCVtOew4}ZpYZKWo5tHSBS+RC80LOF))rhhfT+5*W&(o3sywAE5;Y&+|v64sV(i4 zE@4O{K?;`?89~F;En9yh>HHm}ZGrtu%ty&0*^3+^zl`;1m7mG2=}$74X2Pl7S<Awl zJm{f%g8XsfGe?2_kIZXZRK(tbg10-9H2|l*hF-}kS2x}^jr($fsz}_^tZB5~yn!N@ z=lGdin3!y3h!9#s3e{<xoTx!5syw<rANCbMYR{C7P}{_$4vT*X9PzVjBvh<rGBEB# zt07wL9EM-jDK>^#zFmqbHJZC;;i~bUwCOIP5%XR6XARA(U}U_5oG%%FNK8ms$lKsG zW$5w#WS#bRR6ii}nR5^z=ZPoEgrP#Yu=mf$yKV>gVY$3-pt`$8|CV-b0Vn_;m;S9< zKRI9PU9saqHUNKi+>H^)97Ow!R8TIx{50FtnVMV}UnVZ%Ip@VfPZ48grGZ22b{7gO z5?6P=*wo9<n5$T>q(EL;=Iz*{S0cf->ghyTd3i!37Mv)dZEV}?ja<Nyus&5aok!^l z?k)!e(}%UBXCEa*oSFvPP(9I%mrmYtJLCUrpOlu^s1JWyr;Pz6F^Y-wSMs=$l7CID zJ#$oAfmKzJ-79s?dc;x_A`Y-UQ{Csur4d^UdU?>Tjd%l-|Lbst#m%B8f0u>oOqw_n zy>qwV`GaAKi7ZJE#()#X+L>>|@@U$5&lxh9$QE|U+2l2ZbJAn|{}Kw&o(KCTK2^$G z{8@M^`T&2^nye*M?WqfZvYvXG@?ZitBBY-9Mj~KeUn#<8I?1`Y|C!>GL$me)hRi&3 z%zrQ(e`^6n02@x!QBSrwYB?FeSkU*v!^1tv@M?nWW-vq;1kzX<UXHnL#g{_MTVvWu zXUfY9l`Q%P#{y&)nH~fG<FOlg3{jl-ZL%cLbclbiTNxH<s}R3~kmX6)2fbYqA%nLW zt})!-cjV-{58Aa4i=V5xU_L!8!aE&t1p&J~sSd)blC72c8Xa^PZXEShiRb0CjhKLt zu_PM(>ykqFp$G1~=-Nwdc59CKui(|mEejXup$%sqt#UTQCc>X<qj33+(v=UiLlv7P zIBtI|RbpDi>);%wD6GU9&=%mGq?Oopc^qJ#Yrv)w=T1{%mk?yVtZ%XYV=9}HW`*S8 ztaR6knv_~-hh$q&A(aJe^&QscsH`W)S@Hfj47X2I@cB=s$_fE+vaW7N)Vn&=>scRh z2s8I<tQIpCp|0AiGsxcgRYdzqWtG5Cr#yc-KVCoJO~ik}k1cpMZ5>y9=ojX3s-6}v zQ2{>%^IywGV1-7Y#IWFo3V`96WUR`fyxsTyrKL#Jn|Na#W$DBe9<2Ba7mJ#6cpSwX z>ZPeO0}`hNeDceL+>vizT`U9=7)KT%x~9nw4d`4k{b=LDbC;WT^e(sgDma2S_|AWv zAH;y#Gb<H6`IaCQDh0Z~ii7BV_s673H|F$5;mZfQ4Q}JovTt`WP>j?KVDQ~x_bsl1 z)PDAbCc8-gM_+C94&{fO9Y?}om|-Q~NTLXp!>Y~@ALbLKQV_#kx7?7*Gd`b3a%Z5c zL;_!%e~AI9&}?Fz<VdBx0N*vV>l}a45$5Fta}=Tg-|21;>{_brMvz=%YK%xswa3JT zGaeNT@(v3unC8ysTip6N?@0i!19{5rh673*tXH#$>C)v;rwYp+kX|P|N>jGL;?9N2 zq05t=okAn%ZWU~ND)!<ZM%-OmcZ{r8&;ZIKPpFZ5bJwU9%lX;FT)nf^DNujiY>Q%{ z%t}>M(nG_pOB5?Qls-a8PYvpTVjCwqj)xxbB1bn~{lOT))G;1<*s)*}g3sF0PVL8r z7Jqy0&CM9+(iF&3I1r(?y2InN1W4>R1J2L1ft<u&d<ry1nTB1l{{VG|1XjYVmB4~d zHR-Q`s#X+Wd&k~-@Me-S=plcfIxcR=@NZW|#au*6S;9cblCc%x7q~6z&%RUX{Qd#0 zPLB&5Y!n8;#=Ap3+l=w?8Gs8q(%yvi9Ad2^H55`+HR_Earm`>QFrez#_VNCv6tX4W zIK}eUtfIdX1IgUEkOR=t<R~lf996q3GbjSTYcrgpeQ_&R{)r%>%%p#YJtA~do%9hr zos^$LPq`Tp2JJGj9iR#F0Y6FJVDbw-7gkRogg(uNNJ)7MYs>KYnykdrcp%1<;c4}8 zP{MI1S_Mxt3;o!<pz$*;v#4S9hW7qAC~&1$;D)2$*DXG)g=GtGkOVaeq?O#d1jVF# z*0<_GffA8KJBf6@r?Y<*iz%jSxx75qGz_U$yo@x%jT<Zgw4t3CDal~<7^^y5UORpr zqzXG?PXFiYk8pYOY@~%WrW@7E5N=fyV2l&kTDzy4?CEi~@i=*l!%e8ic7!-^vA<sD z6VE|P&_FGc4V&3gCf1b^HlQ^j(lOxsG8Ic3m<TR7)rl{&wZ4B`*va)A_$I@bcu6ed zOP5)*KcoY8^9j*k6Xk3Cd8@=xR6@lrvV^vF*f1+i`87qA|HNnE(Fu+iRBJnp{t8k9 zK8p(wC>BbYhdO#;q30%prMlIC=bpo<c+(KjHZm;?F9Nv+F};J6)DN^kTBWXAQyzJ! zX)k;0INpa);?sYOqp3;t4Aw$ExK(V-%o;IgX+DX66xapR3c?jy1q^AH!HCD8vLb~5 z02pj0!`b$ZMYavKl}dYhgC{!0m26AiG9X@oi<Y%!Hd{t9x%-Bu<r!EYdsB3`5J%<Y z!O{il?bA~|CE`5y*m&>*5;j5c4ljx*J12fd*+A2~r73@<MuF2tGm*0{;W~hf+x1%q zP6r-792l3a%sE7JCs;yNbt5LG8er6OP!Mwjdb%HA&uI~8CW)fBDcJy$02@sMN&jea zxy;BoynS%N7uzIWIcS~E<OlpML$AAYN*BK|>eKG6=<Jf*W__~G!1$u0$fxLcE2IE^ zLt;oMm+XJkxOZNZ76`((eC8_)-+6yuw6uCg4lR2-CJQ?P${`0y4OzLgLpL`<$|Upb z1hpzlM9s?@(6!mTjB`vSV4a|jFa!KXI7=>wU5=)f!H!YEc-(#HuA5OR_tQ$*(}BYl z?>Tp2(@&n=9b-K9#5>S!1z__){}#CcmstkTs5*bwv#cOUq*omvT*#w=e6O{m&xe`( zkl^5sCQ7et3g|XjpH}zsvB6pTrws04KPb<75><)+U^W9KyzZ<^ZjrteRuWIL%HU}J zwEX%e9DIwQKE6o;iuo~*(}}wuz=Sy^DVg(&>nuznXCANJkzW<_hC8C+UJ(-v4~Oq6 zh=qS?g6p*veJc$_X~d3n6rujQ{g@uzVL}<&;3L+>(C;vvU4EFkGM24PLiw&wz@lDH zE!K!!ian0yYJj-q>S+5zgHO!Lg%vqN9i#<oh_m!iOfoh6Jdwu6h~elDNShL;CU+?; zX#or%fJf!aw$T&Q-(g99NbkLZ5JF{yL|%WvUAZ5G$#(~z=I(n@w$+<0v44HATeQMc z4qCfyFYSCYgXfO4CmlNH3%HP`!acX7sIdn-HOKn@Uu=#+c&Ivi=oD1;we$0>1~7}{ z)*c1+bwk?)RGtOLX<)yzc{KqdVUmVB%mcrJmx-!H+`6C_=)d4y5bT*dq@!zh;Z%RR zT89j%TaSvm5xaeKr-Iz*Jg6hS0@Ij7iXw<$e!qdEAre4)L~w};<&86ch?%xj5sTne zxIy@psF=S1Y5cJr=CvIYbjrjaBDf)E>u{k`G#Qe<W!ePW3)g9tauLq8I&sC8z8-@n zu_HI8;RHMb%3n&Ww+f-dwHZ*;QrUmB4Y(MvvzV19CL(Uh)13O#Zs$l4fHQngVyP!M zU<;1!Kj3D?(^!Ea3-Q8rf@!oqMB{)T2W>W1inED<Pu?|Qx)rfMpz=`?lB}v6T*zSo zR+AYW6GTEEaptG=rqL3fdz!LSLAg}sG`7UW;Un#f6L^D%J~NTrfyoKzP}F||scvvP zeUO7;Q$7FfOS5FGx@7=Leezw19m(eTwb;mv$e6{cQ6nl<a@Fv;$|j6219%&r*p{0B z*UG&03I+Zna$aQUinhKpN~lN4GU_gl+15Z;#lJKAgZUHB{p^mr6sn|~p|}_x^|(5& zzgWw1nS*CI#DQ-V@#lZOmRx`J56+elMA7)V<@9lPYbN@N)WDF$fODS{$WKPF)#1-@ zFaH=qRF4oP@7yit93&(E3{)T5RV0@v0TS+x>4R!P%3&{rg=g+Cy`k)43^HMW9Kw%Q z9S$Vx>d}Iq#i@6=Ey`DdS1+K}?i-A?TNVl6H^AOb;>F0MKEemRnlFDupuf9c`oKeb z*#o^-ncdkT<QGr|dozGI$^n@akO6ZbWC%b?XQ{i_E}>8<x^tqEekR<lGn}8o1`(6I zIzzJ8c>>Qum{!}pTnfX2u3U$_(+%7u`!}EBpG@(Okap=9^FqwvH=^yRK<8Q_8JQQp zwz#_oFV4{*=!Mc57Jq;E(h;cwa!?aIYbMCfJZ>P@g>Fd(&s(T+B6c(V3>fM3=c#WB z_W{$3&ft->E{3=1F*$g|{QxF<8OWu9QgHmTeNm#b)IXXQlWD^R3e$f&PTEu7ii&Cq z?Qcuu)~tU;m|4Q9$UtRwfHgzXK1-nWjZx3w!DUZd&^X@oT04K}7h9@(;^8TZ7a&|s zs-}UT2z!moC#xCqaoWC3B}PPz8re>m$c{&ruefHq;|`Ps)&x~{+Qzv<7v+|>FE~%( zJRnm^(x}cV%Xa!is3<@wBsQX}Y=0r;s8ii+lOTyYBo57;>JslTD!-E9N~tfFp{7Ev zwpZg(z2`xxl!t$aIATOpu_`ZGmfa(`7P8s`p3)p;nvp5`7Jb6FmLZ?p2me~4eaQqZ z9$Z4_-D3-GTZH23iw52hqCRDHwY_$^A}M9sld0@Z!2ZDPfO;05<=dNK6Gr<y<@1PJ zU$2}Gnro4x!p!bX(+CkamblXaFM!t1r_)Wxq|GeOmh*qlKB)C>uc;Z@_8hrM(_V+4 z<#uUx+Hbh^$oj!ZDV}W>XTeTvu1Af)y7C1rQ|d()JQ%|7ez*eAuk?V2P~dE;JDU15 z1MJCVmJrkevE}T^2`f&I|30qlgK?modj#X<q>fC|g~{I1y$W6MAdea1%53j4001EG iz=RRYQ%)EF0l+ca(h2|*Y)i|r#Ao{g000001X)@_`KYD< delta 6161 zcmV+s81CofG0ZZM83d}m84R%<UIBmA750J&ya*A8skzsX2Z8f-$-$mI(DQ)tOYNn- z`5qbLHi_%eJ+Row(zucid3^&P)?$HwE^6+1$BdO@dKm^Cj-K4&dj^JiGo<pN5&5xp zgz+aT%^46w!|MuXJh5|n%jY@c%}re$QhdVUw=}8Ls%lw%_LZB@g|oIeh?9TtrViq7 zSp-O(F!B(Amy;i2;DB-^dd@wYdOz3ApcK2dMVIQ~0HOs7AX>}L>uRdFe6u8YRw8Xc zTvBGr(@D=`1U=r#*!{5aPZ<<*j3uRcv(33WJ=NEjfD|&sIluJL=01t-z&BAqu&X<k ze|@@@DsGx$(9Hp3?M7lEC@X(0v_C#ps9pP@_w?ZhzRJpaFBZ1;OkMK3!flx-0&mtY zitH7Q986xS3Nf}vqA>`ZA8Bd_S)l!I@vXG!p{K$Pw|#`_CfNuP@Xh_+S4qQvXkxWP zvG^iL%LPxV$CLN;59XB5ClK9m&a8-uZgb0L2vXkyk*DWHjk1U7C&z#D0qpA5Plsjt z$c5F_mmy|Jk&(gVHaF%dos3L{RJLBF@NKoos`y8F7N#@C!B30NB^bT=Ma-8($4KEm zD?|+h=rpHT^eKT8n$~%QG(7R08wX;Z&~{VSv|0h6M;(@}0uxs)r)e?}V1Bme&8E5S z1a(b}m`d+%zR@=yylsD=ff}dLY|X|B<@z{<8qMSpm1a;DhbXanwSti$WW)kS_I)Qe zAdn0+KiTbH46A2n0hxXmtCxdD@<(IO$<avr!o{;3D3xYbT%tarbW~SpYP1qYIqEyn zyP~S8S3WSLb#BQW&dYsF2rZp#zK5X#eogJy*zcywrHHVN%r$?)ZAd|(gq2W<l=@(1 z4>i3AvfaF}K*dGZJ}x1bjQyp6y)i|ii`CFVhlE+|9F%uQhxhSVz65z>wE?2hDS8Dq zSk*HFx4Y79m!#G+A*1T6My+py&ajf|*`+s*<uE12v6zC|_a>fHtsowSf^P8>K5Q6a zo%^i>gC9S@5W#<uxQ((aij%eEAdVH&;DbgjD=P_@%~*jd^SPlomP*!0p~~=h$LQ;o z6F>_yhnT|r5F1^zZ=aNNeFZtD{c>SuAK?#yUX5j1%U3KaUqjS0tTIv`Mm$W`f(F@K z0#B@qyd*E!_?nCo&S+7PrsIB(A5z2&`}G-R{s8V0lXHI%{#OBlV$wP&=^Dlgwqe#H zq|veDD|8C#fGE$8uzN`Xa(cVtnh(^XsMlmYUo6Ttq>xIJ*boU~O;~1ihS`ZvWe*^D zD<eeLA#>~@>FCc3B_^LM6yHQ6<=FoM5!V%ZB-vB!<Dg-iCiXJld&B1($7#9aaLr3) znpl&8@vnc^_F^I+&avxoxR8}{R+4?8e(g$X{(Cc<eNbPrpa<I&iKdd<t`ORsjz)84 zEe9kv(kP0>E!N7Ts)Fc}OciJ8j#KshBFd_{AMR{1#Ul)4(uik`Gq9ppA+40IlD_?6 z<Aso4&4?qEP!MyS0|w}7RD78ui&y;TO+Zuz;d6fx*v$Xe?k0B~)-u)?M_8{Wba|5m zi{*S*zXz|-=V5Pwf1*Zlu-FOU)@6(qlY>mw4a(n!O=S0ewun(|kxU%2)vhtTK!!)z zwK{FE775l)Q_ei}&VlcO#zN<fn}D4VGvO8@*kZ6ytmGu;i}!r2lpo|^@g?GGygoC1 zlZ1c0!9i=w+edrQ$(0%tGUiaN8{ewp<C`^*KPzXARTn~(WB3hAXPIh>!?ga<Fg*;( ztr^f<mefRxtjj=hW=;UDF*vv77&X(?rq!i*Ek+5ad%%Ku!MRbY>q6<QX^VOrz%uNI z952@!e*d;lsbiNS#UceERQ&g<<;&)2TV{Wn$l)@1l0^Ha)tNUkl|Ig6lnr}WXLu?A z54Y0dp%Pr>d3*4}IIetb4@Y<oye<}pG%`6-gjh&F-Y!a|Y05(49=|0%38cPrQo35@ z<u?%dR~h~g+aD%hw^Cu~b=BJ%f+MiF8H&q=4Jo6WL9=tf8HBXQ5f{>Kymuv|At!%o zlLuux#sQ~8Jsr_t3uQy?WD2{s{a&0UIls2r2+*jav7P{L`*_#EiO9O`GlA&aQYg~P zFK5WX8BJqob@MJ8^qsnR`C(T%kO578g0Hqc3Ck@d@X(vG36~areY|?X1umD|w8d?U zGCK{X<E^PEyPW-@4Y6K*DzNr}*tCDSGhdPc+=Z3c3)<W@Os4(iOdr!mHs^(XOZg|Q zSUlNgyxpwv;fgcH${HUtO6QM!1q+aMR1pI3PD)Sm#U1}3-ZCR_yCe<79R~GRpO@yu zfpI>d@j#v(v3Co2v-2fwn;=uB<cb7xI&v`KdvqzLo^M239cTh>gdxR^p?rTb6%4Dt zR#%d45o~t#f-2|lct6I_FH>wPXGiu|-$PCf$CoAh0YP(pEutVi32tej!BJhs2S+GD z>HS4cK|q~6eTfw4!`9jZ5T!ej-b^(lOE?FUio5f4h?V=RCX2T`KxQdOQ?ZNHgwD!p zfD4wx|L~ispoh`($SQ}yU2A{l+(Kol5NOYDFPg8h&0+dPY_qGMc1_XtPz#9gA1q@( zEqBL;J~l?}W(}dN1cH$ftIu)8!<estjCkoKgokZ>B$qa%H|im{!sFhmFIk_s{~>y` zg=(qH9o_t~qFh!Vto{Z-hZaO>tkJ72$+7|Ql~kL&q2RJ7D)}PbE@pq5R5%MNY5c4J z={ye|xigW~@<6u|a%|9TBH*Q$Ub!?jE0m*toc@T9!>k1<p$6<3EIr(pjKzk8V07LH zZRH@>9<dx7n}A?!M4Ncaoh-Hs1@6kSS8kC@!_*24vxPB*UeK9G<{0Mi>8$Q>G){Bp zAfT=k?=+|_T#;qAo~eJ5z%gb-Te~kzyZHf_Su%Dbt7^+MEviABTc^x6(dYG-193X% z#p2#T%u+B-uK_P#h;R}8rGSZO3M7Ayy<MU;cifbeEI}g-vj_^4r@n2^mBYE9weiBr zY?%qsq0=Z+8cT6F8vvX97}~gQ;+WkK_sKl?>VBh#=Muy7Nlkyimq2pDBr)865KWxK z8-AA_MNACX!QRx8-HerC7O0^l<!X&t3ZAk4WM=e?Glklm2K~%-DpN!mi&>c>I+K#J zaxH*lRR(fnHeGlRa^hD<W0zH|rc#FqZtZnKxIikVX#sMli-VlSj{2v^edO~IsAp0t zdnS4m@&;@4b?JXKnnnE!#V4R+o)D!<eeRrTLHwihu(GIQr$-oUHp}y4@^Nbv<P>ZP z4O-lw<je@YubRGx=SJ&u+$ws)i%owaWu{XA2>bmRmxj*giI9)B`FTxlao76^8-i-m zrq)3@NyA^{fG^jdpHNCqtgyuwcO%VujkpN0u@g^R0jPf~=#Bsy&$#=ZULkZ#>c#Om zu0bx28#rp)<|01DWl;<NCW>iB7$5#1>t-v)g%K<lXHRGB&fHz<<vZ2xP*&=?J#}Bc zNh)MXoz+p+W@d)r-Q}?5ROpS4oexnr)I`)E_gbOAgE~TmIL|-HUVxcAYkubfM%%Be z#(xw|+~<Fgo-!-LLu70>ym#hBS)9a;x~|529k5hMyzZbAV#OuTsCpNSt<OfVa$c$< zt##L|jY$ScJ_%psQnVL<rs8YZFOr#t6}qdZ--Q2T>RZh0-La%v^2zd9;|kwh=v8;* zW(ICX90g!y*sXpp{-W^35PxSUmyZQ*4*Q1MnZ$qmz9ilafF;2~^+S8lT09np7rr~Z zY$uoXjnBx_BXihOnPSIh3L^o|69}%B5Zle(1zC77_>1*QJ!>%bLuJxIhY={H`4nFG zuPH)yUTgQ#vbWT*(-!cJnNC{{QU<5emkiSsj&1i^g}dlwGWZ2Ev8uQU{-ZWM9vihn zzR`aHrRHS<N{2W(05JG?<?*i#`5RA%mbKuRMD~Kj+rc6f_6olyj>lTLqMi%vA+Y|r z!<@3UQ9Tsp%&__i-TyQJD@dbzw3?yBftEb<X{=$(H*@W3y}gTwv3%yUNerNY37PKt z_dv1`vb){ZE>E5>5-YnT8_a>yiFdf<0Ih#HvHZqW4d);~1q-D-&W9lLEg*!DQxA3J z&z7w7=col!av(c0B4E#R75pqO5E(9S(q*KUHag5$C9GHy_c`j2asg&em0z|sTD{Fh z{M?g<Hj7`Gzts`Ua>Q7U9^Li7;!~tUl{?Vk6w$#yljTMe3FmZ5p-tdKkAB)u&Io@{ z@pj_TsV_|Q@l9aQE?uDeDX;%BNC8EA6Y}3LYIu^G)t=2IjkPq1T!!yG(hGh>k!G!c z92Aj}sg!k{1X4=L$CW969k@BMjz`<Bb?0$})gBG0zwA~yd#1B-GA<+h?>L?fai?mk zhU8)vwt+oj1<RHS%MMQHIPjKnlGcA20Mk_X1osV3u;!FPS~z4b3+AA;4vgQCP3Ikr zFalsIYMe5DO+Xmg)SHVY7Q?<Jtsz5Bblf0}&Q%b0j)Wsm9W$dj66FBR@>Y-(#}dwJ z0T%ZjKJ$g3HJ*<Yn$~IkPI4CHHR)nP>x~=oSDLM@GM{3KX2a3e?S^J%w9bDR0@fwR zkGDGlZ7&E}j_B2JCDVMu_QXg9BtxSke3+xdvY(gjL{Z^-oK6j7><g$_g40Rwhl1>D zfXgf`PdBVD7eEC)-Q8^AqNBn9>RDd3{Fiq}>&A7&X$LzidmvzYG88M~D^;|fS%)Cf z#*#yo;{C;7brtjTv*LCQbm4z+JJoPScm05v(>UsO@~0L;Ao}m51SZUCglkxg8h?uP z+{v)#<*7kgcG62(og5&El~jG6kw=exGydq>BuVFCtUf}7(UCt9IPy#3-lFGos3K2| z;;<`jR^*6A0s(m3pU-DF9KET$eZ`R1j3AnqVCt=b!qyRDRyn1kL+5`D{;Q}pkZ)I? zOz_2&R&82Eng)8WHAzTu?bgi#YvuZB`N`BtNXbz<J2QIKpWspJK)o%EaT}AxQsL3> z@ByvnOOa&JO0Y%(+vd!>kfMsmZ3~9WEV(JH5zQ7{!pMkWa8W_O;C6JdrYGHoO^|o( z=kvoSefA^HfvGr71oVG%%&>yZAea-gqy+t~`*^j;0RCPMH~pOl?dgFkEzyx<%pkXq z^jNg0`~8p6KdVAqT7DgO6Y>S8l6tc%7~etJ8%jN4M0T3BIu}rlh005v2=PaK+<L}Q znvEUQj?^dm6a@yaI}{A(6&8a}rF&qn9OMS7PISv^BS`x_iz0tTI*3>JB9=+`bTH7y zT(xYg<oEoY?W47fLUb+ag@C4CD(>4fY-UISWH2Ij_Z7A>3>&{8k<8z*ICg|UTy4{G zFF(6Ukz=lIT5X(f>V}DdW)FIk(<VoPyOWtEl%i%~Bo~9DuIz}^z5z$*s)i;G<0}}v zf|~~Gc+>wDZ#;i(2^+LT?GW;p`xU*Uzt63mI;;%XZ8P=~$}`T6yg`gwxS>9*hg8d3 z*Sd{B{P@PMis=jWF?BJK+(j&nP&>Lj*E%7Dkas-1cehY5#w@fbQxWIjpy8?3yMd?Z zI|Jd7w!7xB;s4G%0EIle2?pZvzu9gKoei<pC4A7WY?pr{1#A2~U--g~mL_8U9%-Lu ziIi1@T2biA8)9|TcH8`Ok+^{be2pHNVT6pUz57&~wtFDOz_MCIql5oGZQut{jfipP z!IihH?wkU#@txrMa_0!@8?Ac#bLrwq%J9rZBhdstEG!c_%Y=o<?1_Gm5-S5f&cCYV zagj_jZ6SXLO`bHnAm%D-7OZjA=4f`Zb=im;!mr*b0D#AsLt#!F+Ht9eFZz0fkluQQ zou>nS(%|)V9)QNYBCG-aUmlC0b0jq}!UW~U{ZR;y73W$AB0!)@+v?@(8*C}yjxb$^ z{n2k_ZM)?Id%DZzMAb$P^i+2JBpJt9lyW4-K9jRc8c9#3W1irQj+`o-}6|dSU zzr)=h#dGe{fc<sfBr8K(I))BY!nPy_ltlJLh|r&rwX6io>DrOju9;A=p>mbmI%bQA zUr@u;yGPK{u_aYBdn+4dj2ZTx5pRWNV`Rvo;+|TCb^K*zPZg;rVeB1^gTPdJ<KTG9 zTeg2w46uKJ(mE@A!>r=W^{~+b=TA#f5%A&&z~{V3aWtIEp%1#n5O6znYU=2k5gvVk z)knUsNRBX@Q$eP6ze_*a&nDmGK00&UI$kyVvQc)oTDjhe)uxR*ZNk1do@>p67n+v! zdajZSNcJQ~4V|l2r`eu>mvymeZYnv@hTeZJ(Znui1J*;vd-0eNtT{c1Aeqx41tkRJ zZC-}iuW|SDLv3d*{b33eCA-QH8lkuruhWuOWvH%fj&v<xC-~8y+5^^?G*Fx>j>{`X zr~8YInyf9cYd$}J{@eWp3QogNv`pP{$rWFR)tmlIe#m8qmWdz+WU{1|5JW{hw2XgE zW^1$DdLG2l-tn|LT><(;j#p>Qi+iYXyJ=Ky+N(-k;Oqn#wMO{84iS9zXyt)X7MtB^ zjwBP8M^}CmArzR-?Khweio}ekR~2VVWq3w`lU+~!{8`mp<spJ6!_=BgwB9)Kt*N0s zqENai63jFyaTRxF7Pv*KP35#qO<jMv6AuEqp0B@-%aA}@emTILc0Bs%xpMw|m#Mc5 zcz1unH9ZJN{Zp`@Rn%ksM^gH9T($1`)+XwpXtZXwG2g@!H;!Fp85D^1jm+5q+0~$) zr!Og_9|?1Zg7eA0h|M$)mrPkVHW0#xCu(U216il}s|U?oNPXLvRd1$Y&3k{)q#V#P z8FO&fY!@?bPlaa>NOMpqC6;vvJL%{e{3^QQxJDMg{G~|mhT7ldGk^rHtF{0GInDJI zCQ0$@LYp1>QK&=F@=_D*y@80v5c{IyMU|m<_8h(z@+`B0hQV%MP@F*;j%i7>=Pcy5 z_IxR_OY56Qdk<AUyO+*cRa<`o2h%`+pUg7EB50M#JrGi6K-Kw!U-iaSt6+TdH_eBv z#4ITfI+ujqgtt|1AMCk%fi^QO8_Xk>)($A=bua?jYZ=}VKkZqZ+EsMO&ORpL>nreW zE5js&(4#$%VCKCA^vN6F5XVtkmPLhD_T!~RXq$ck_yrQQ*i&lTJY0XkdPw;+D%YJn z>yQ`Co^J;cu_5|}JwNB>-vV6VN>!4AgeX!tpK+T?m6-ZfkaV0H*6JWi+6Qbuc~2A1 z(xhzhwX&@l!M+LnMc#ONAbo>U9bp`-#6lT51cUUs$UvuH!Ex8O2^U&gKZX#=oz)0s z!3}kkz^$4de1=Rk6$O9oxM<3f_)^Su)H;9^q-yxP<x;)?s$-DSP^^TqOHv`Ou8E_V zTY?NBQ>?n*6TL+o+<V9Zaf?#P`u2A3SI7L&@Z^-U^4O{F&k>~)&S$CA7Wn1paVrgY zKL~)z{)U_5wm*y*l}-4>-~SR`oAJ7&u8%@jW(8&`L=9EAbfte157~9dRTjr8cwElo z1P~@7-(POFa-Yg`2PXP=feAB8f=%X@)}_tJp~oZj#Jzb#Tkq_Od&I>FWr~0xH!>^V zGso$=L#z*$S4R1`C%L4*8nh0%fMfFHTwRBtW~&<vT8(8&V?E-I(kc;**xd$N+xo?E zNkBO;j3gT=a7TZ%##blx4;aGu;I}$NlQ01RVd`fkDjtdyEcagF!Yeg3l)W{)(gq20 z1TSw?|BCcGfbll{l}p3(CbXGjOMy)=k^kaJH(CFH0Z9AIbmL6dbLuF)+ZHEnCI1C; zk>OONABfQRQs7KA{2a7Y)oa~rk<5L{n2M6{KBJ8_8Hj%=>q+3-8A}*=iZ!p%ba?(E zEDS)HfV2-035U?nY#J|t$9s6StdlxH2&2H*)i0;XjTDT2F7^b9Noug#>3t=(0SWXD z`~V^)O5nU@B$eg{5OH@XLT<Gbd2N7|QQ24%l#c1WW{4xdujpH74$f!4>pvRVcXeh_ zsXY!)5DI^TuDzk1viC+i|1vra9-z;l5$5jbz^~E6MyknElvh64TpsFs+ECw_E6+4p zz7PO_NhIK_W%c9ssyC=oV>9WQ>ne0uA7u2+L*G1LoW)nA&_r%Q%3E`nip}$5v;Y8B j4Me_^?xt`60jM&*)d~PWiu+-)#Ao{g000001X%%EP5c6@ diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Circle.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Circle.omdoc.xz index 5d6a747d7384e8201f44e36e3133f5ffa3a60706..c550d517c998eebcb934a89888a11845324999fe 100644 GIT binary patch delta 5943 zcmV-77s%-BF!(T#904`49bW-|P2|WR>ppC0{kuovVCg!Oqk8T!`R<S8d%a*dZ@K~S zLwAi%haiOHKW5MA>ijdu#HaMSk06iz6uPy<>+H$&eUXyJP->)KNbCjj6cH|&{+Yw; zC+C`Ulxy_j1!D07+AJ4u=POY>*6@2Q!%a_xiz9#|t)1<);Yjza*WDO@>1Q?3qQiPm z-*a5W;F%gnaASf=H-!1-GpyRa8mzLmv#6{_Nkn!3NjSZ05vcaBI*;U|%AuU4Nkr5M z=6R)rfFI6JBU$<+V4JIEdyy}aYQph4ybN9S?_fV~f?;Dg@vtb_KoM%FVvUB}A?p4v zxO~Ukf_ATwqzYSy7L$R0WPd+i=$e2sDQjD4n}ZU0#bsb+M)HGs!WXCN8-F?eVAajG z?QoKT2CPJzNf%0Hie}XNr$p1JjtxV$^l;>hvvF6)KX_gT$>K2p?MmFFH)nYQPM@jB zl!WX@S3`KDCFj_U7vFTq)D{dw%3x^{Q)Y8}>-Oj%R@}RBKQYvQZb#VW5r$qYwuQwB zNTo=DI73`jrExluBz@-gPS1wStdd(wRy{#|USF-0esFt|YbIvUG#hrOuWv2aBXD=S zc`?Kn!T7#KWcCvAcfxOnCU22=uf$^;9XIS#K*l8EyJ8W3qrZrqeKRwx`c8h7zeSk- z*H}Anvdo^r^Glh30NFZZjR7U02CFPNM}X#k2(a9BQkxX$t=YR3hmq1$e6dBBE=C~2 z<W=@@{y>P%RL|q=BiIS13DETRJR(~F7>V|UgC+vwags~Q3Htk#Ew?Ae<?){~=hAXm zO_=NAl1Mezqxyjgr|T0)N7n)&W;w7)SpAzgjC>I6A!*HjZ>zZo*sGcSd1o{xC2Zkq z?-G+e4K=h?0(q(mZC=1$Hf>BFpt}pg_}|ul=a5li$0zlRGAlPO<?2C%)W1*SUqUzX zi7GE@dA?RS>3u7U@d|jBdBb^<&Re?z>jZ(J0n^P>ER^{GWFcbQ3_tQ%UNE1WFXSBY zYw_p1>c0GcYd7%-aHI~QrrZD!<0p<3BA9i))Cz4HUe5UzVGW2fc{gLJ&A`buZ3cG1 zekO6FDwYLsIemZa^Ep&V5R0DQKIB+q3F$&blu{sAzo`Cc<-;Kyz24X@6pj#TNx(dd zh3>~08<z%5EfqkX#M46~JWcAhU>0JBKus`!NT4r&p;c_h2br{fn`qI+5sb#}7Hj(u z@LKSw+I^ly#Ck}#5t6X1@42r2=~(7oULtiWcBm{YbN!&L`wU({<f$=|{tzsKDLU~( zVtx$C@=PP_z;~BL2exoNtPRBzZGyxAO~3hMZ4^ed`qbP!TW?**@jcfSGszx$X7qJh zCodd-WWh(f0s-n#GNvfJz76g7;oHT%6ct?Xj*`IaA4)9(pkX%vj^C)QH_7|az0iBt zJ`V~?hdR|TrNqmxeiG&31mw0L!_iILy;xx8VBA}ideywox_q@3e%g+rN-aZb-47{? z--}n$RZ@IDh>vVcYC<POIZ#=b)g`tzZAU17A9jsmX5_oP4v37gV$1odPe-Jl@Y!(c z)X=~(7+CqTVBLeL?xrVKN*!prgRhzbW{T<u!bs!@Tj8JPFNr~Cj{_?tAFS+f{=kGr zvg{w1mKq~>MDTY<+xsvDB^$OH9*v4<-X3Zwy|Tq@e)Hj8BOz{M0XkP8`OT)vqiQaH z-!J*dh+n>qJ#%{wUn?RU_f@!0m4G|5d^re#C@qkXQ-BKOc<PI5Y}ERLra5)CIwjib z3cx)Z4t!^A$OAcuP#OqtF?!J-5oN#3^wM`7!*{_8%q7@K#r(SX$8Op1Fr`2W8GW}? zKZcau<FUMx`}iu;#hDLs{R$5vP*4$n6LGau$cn%1-sb0OInKCh(Wg)?#HE$8572kb z>mY~N+G%uP$aH}s9f|2j@#(Lf1kJY__V5Bqb362+H!;#zTm^y7lq9?F^}1s|`@Ra$ zbeh}i-JZTcKNXv)t4GSK+C`Lpu1eZS?op0XFKtRQ@Z!P#Z8lLkCk!+bJ4l0n7t^Jm zE*a&>mx#e|8LJF^<tnBdJMp_ub?NzPjafDPB-)X6yY{wiraa4WVRu&(Rgj_t_J<+X zFrKijOf=zm<^;k$SToFp+zkX4_<pOGQ2SySM?-4A1O^&$zsFiH@ihLb`$4ilktT`a zHYKJS0}n#gKRyy=OzFf<)B-Pmf7cVErID~zu8*r8LA7x-#X9v1#)QjUu#Y<^Ez*yH z?~Zd<IlrWsW3LLXksojtJH4+occqKNqTcd@GJVMFBd3hB3*>ur6`vbJI)lw;e6Tis z7ZI4N@9YM))FSZacLn>aord#WFofVqJDu`=<d=MWC@8U{$h-0zw6}eKK^B`kIOFx3 zI(vPgyuV{8Ml~UTc6Og=(!C!<Q^RU8Llq@9$8#QjdizV#fNs*yw8G^U{<jY?d7H(J zt+5-XAta;OZir8|CE=F9=KU9d6ut)Rtbve{-&dp>;^lbs5N{Q`gNSW}PJ$A2@I1jw z!ez5@?YdU~348HaY3=oYXDCel{Qq$IJYv?liclNZW5x*9oO>N`{w4)C!sc&Hua0g! zzs(taKyD)+)_`(eOMeble2+$(42Ue;kL%W+>|=NbDWJ+=Ha+Nc2lzfE3ZZ|SHHnlc zz`W`d`jbh<x2UukRFHyGSVJ;PZ&311E^MGy-O(Dwd#F#yaxc$+cKoh+Wusf+rIx#O z1v9HQKIo8OpX1#$FE--5U|98^3lDF!n+?e(&N3>n5@Zx%xbDinH+dSTS{C?zi2s&g zVK0C$6bQ0Eb5Y1gJfSx^H37xw=$N;&gx|#{*Gt7Z@a_Ic7PgYp@@djI*0B1qQ*!QL z6{GNQO@I|7Q1AJF7X2{hgxAitXb)nxeswp&if3i7<tl!lv<!jG5$Oj(0$Ws5H&%D7 zI~YiNybVQ1LSyp`YaD6IlVmH4!Q)Yqrx_D>Kg1C41S9tLKeWRz7HIRHbn`5E94$!1 z!dLWzXwz2sPrUGMAP*eWWi%#jN`ry*`kanvX!XX$MNz+hWfuOg`f478pGYsebCbJo z#hAmsOW_u+R>I<=Mft;b$g-6dwt){F_QFq^Z!>Ss4}Q>y(*L!~|A>^c^|ZTXs?&im z;opL72~0k_)l<O2rPWbaTXY}-bt!E<38Gm=lsyDSxa^4T{ukQo@nNn}lATOvw}DcB zD|U)3)$+D~uh(+n##zu<WDo1$$UFdS8?(uPQp3BNOclm!HTjLXu90nWF*G|=hyFQ@ zRraEV^)Yb2;G1Xx-zVwW!Vr#T;#jU@kO&^^hR@zo*V0!?3@T_qFB@>jYaw*|t%)lH zX>r7p>Oz+PGhAT-e2%-bwr&6h_tnj#QPN5q!^UlYQe6d539W@uGkbS7X_^dV9iUR3 z(H13u+zXP4u6^U;t-&8%s!MiVf@<0XI`DP^f%Aa*q*`?9=)2iU+Q!B2AtWP8k&*f0 zza<XlQ*c#E6*-+JtXd?;;?%yi!F;^Z2sVPPQ9EQU($ljtb^goyJuR~=%hm1H=<PS( z|9D}4IH7(`0_9#41b)h|{7OTzt*FA1SQf(<2F?*L$sYI5mfQuME#4-^pH`y!|D(mV zc;XG`b>oq<y1iT7(VAv7?JKY&MI}-@<H_#cDbx7&CPeQca=o3-lW1LpUm~dMd*v74 z$r|zF*CgL<KEmpV8Sikg8-i{=m6{+>LCDE}n(vCb?FP7|L>07GguO3zGyH9$M^3~P zG{{QfLfk-5cYs&ga31ErF|(vU2F@-Grv_JPy#HH9xINemb^j+z#UITjAb{~_6$|ul z<2tt2LyELQ-a9ey4~Ua{cbv!eNZKLN?9%`8L75oNr^_nKH7w^$;tm84e1Sr_vh1RN z@+2&mkp$r&U@_4I&}QpZ&5|t{vobMzYK`F|?*{$vXmJ5A-Qr_m7hqP=t$bf7^|%=p zQO*SQ3X5@$oQpPw5HIuUW=;@LWjF3&#E`sneYr^$rF_P@t=;pynZXRLEuGkNhlYhJ zcU@8RVGgpC%WxI6QOh$pt(N69vyoVTuOmp2dVmx?ORD4=<VeUD`rRn`=wD0Tk&i46 zUz2M-?4h;DeG(2)!L#R_gCq<P<V7)Mw&qzD&#`=*2GEs+H+FG>R;suIW}j>b0Y)wt z-&G|EccA6|m<`RjvmI&$_B28*UByR6$`DDGu4aJ|E~9V!#EU}@`V002ZISVR_?q$| zIy3y7F1!k|MDDzw6plx?_!`Q>Z?n1fmCM-SEwf?X)p%Z(E=ju6t>dhVQNmk|16Jd) zJa!3m)9?jSVQ@KVWg*HL=>4svnFzkyL4c=hr0U295$tchtAD}K(o<Y0W4_-{spygm z@)8E=u|Cx;M5yjsh1r;6?e?#K1Q<c}!##I<y(yY&UeEvtl~iSGY(s*2$BR0z7jtq$ z7Wk$<n~Hl^k`B9B1IRpSRCzJj7WTWk>~q-`_6Q_Absi<rhG%h(5JBl83D666OG!1e zOLvF?JQTWMomjxnKA8R6AzAFm<qNG8R%ksR+<_Dj8)mL`fkvZOqdF3QqHE;B<R1TW zQ)ahOrFGyyS;~C=LlW{KaD5S#l6|z&*Z~E{spmgIP|->458(X#;*)UfSZD9CjMrJ{ zChQ#6+*%s34fDB{(u@OB*{S0eJjhzz2^PFm-^k82onfgiQCw*$psu|S#!3tiBJy@X z>t+1Z00Krqo&m-}9eEXhKcFKCSu0_=p-(jZToPXdJnpVGfWN5=d7&?f@(!|4&FRM? z>D(ZRk$d<_v{Y6#V?0ymeAt4@heAGo;OD=?5fc(PWeyKP;;>Gr3<gIwGRh-W?b@Vl zPSTD;_Z8+#$lSqk%hXXS#qS;n*UZ*e{e|r1pD%yv7G*%raKS}?JM?jnSa6V%{L)uE zFU;0y$2VHR5)W%T&ctij=DA%q0>RTIz-Qb@gM!?sW@md?k*M;ApfLrno<ak+(9zh^ z4~X+(dQj;%!7R>IXe*5f{T#c+3Rk=Q>}hDycbM3N^P``6p0b`MQiX>0A+g#lh-y<P zDZF-gAl=SxnUQ&a_G3}0ACDaKZ=2xLkd~>DJ!DE1>HuXWIN;IuZsty{qlzn+l_C|X zL;gY2Y{LZ#Iem%)B0J|8{;WZ?19xpV@_4H4ysPgtS`cM}736hieB$E9PWgrx)Hixy zuAxde%;Tgp)(H)%58ez47ogLpm%}LjAAwr`tSo<F#MgFzPED$cPK=qMba*d<brVfZ zTLpKdp|iO#rQ`9QgZ6weK9?Ji8Pq?VT$)^1;mgnavs;F|e*qrl)0*&+LW;bjQRd8| zDUx=j%zF{+vyZ<Ghx42;FoaK5QF2W$Y9ZUza!<qitBW60g0gNh4#6r7T+omwd>JP8 zJ1P4e9AkxlO@%=Z=~i?JJ`BLd<zguuV}REJZ~`&r9;_HZ_?2XUe^D;iTB}2m(c8jK z=3}xjBZ~Ni=E|w=d5yFWkYvi^T)$C3qc%G?^>dawGfkxy>FGf;I}BSSBc|HZyvYt2 zTSPgy{6AB5yrKIoC`AQ1za~=pHr@F)^&XBnSg%BXe9#Hz*s~r++AEg9n^<K4R7Hf> zIVC|*dt>*l7*|TI539F!mt#J>7pVMMZD|<5?}<Rp@9gX@uq_=enPIyzR96iqennMQ z{JJe9uG_vl<<AAeTp~({fCgcM=0-b@f`^GJY0l*sgSgNZ5?F|&K5thDhIi$<=<JAr z^T{%Q2R7n`%70J4NEJTr#q4#C0KSxt*L~|{>Mt{20ofmxw%ulL8E3dmALr>!U~c9D zDtt7_C4Q`kXkIYEc_ZgUq9Oood$1q%lc6Z2>Gu6QZd{t*Il80eu2i~VI1AZZOwiBc zH|y2XR{Tk8v1!R3wYwR%I+LXV^p#`l=y%b7X&sJ|2TK<s>Q)-xoNqW+wGPT`tY6op zYu9ZzJx;@7jZO>y3QgLi6<B$bU|<cerI0oEmp8dInV@R8^O_@<W1c|Qy*1yRbFo^~ zkD!{LnhS3iQh#5YNO!f++(o{tyI%f7CrRyy5y1e|6H1<O9fw^HVHmdONp;TzaUNKI z1B#IPX8R{Pd7Om*W*zY;jpK`mnuFfy`VQ}$Lede~%J!OqtV2QT_~!4km=eh_WgY8r zR?k2R%9tN!&1c~mz32GtAQqac<)O5eGe4g;bpqCTVw424pCyHP=MK_;vMH`6Robv@ zw@Scy>|lcom0r&ECRC&thuk5ow5Rod<hI%iTi{<*PrJ<&J#*mTLp0HKCPGYQhglec zIfOMe=YwODkbx4}hrfBO7D&b*q#T8inGtc<{_IPL$o)!Yqc!3;-xzbI@lW@%ZqBM$ zr|@yK26rYT&=;@Jxo$cj3Z<1~ZPeq5#d@trHi~HmWQLSk2JU2^V`q7<fD~PS0yIE( zvh$gAU5EY&xJhy_k5iLzHLW~an<|w52;8<f?MA597ZIQVk>Ik*DvsY0GT)el;$1hI z{CL`nZT&VnGRzMSfwsXA;C9^I^^VbKoeGQ{(X((%Q^=OeHgt|}VuXvc=0CVpi+$Xp zFbO>qS%a?O$}P`;rPKE<Wy%nLwkj;;XtX@*kN^@@$tV+rj<B-G@#IOzBfnFT+kim$ zUjG*mMB{%=tE31Gt!9i$p;o*dA?x}orKX3Et|*Kd`@mKwPN}o1lXc^U2$!)uQugO_ zr|Q!z=K!nOnvO4fYwG=N!&mp6Y0Q$PK|}9Iv*T|kr5H-OgZO5J@>W8B2iir1#{rR6 zB^+B#k~O{sWFW`O_F>TwnVjl8xbSqDz#rx&lITZ0*!<j&tj;D?x<eXgxEyWFqSiZM z<A;)AaP=W3ny<rnhwQOa;R=2wdzd<6m3C%T-8D!J{r2pHhx_P)D;MSW%{99$RQ(_M zbHB8r!9~l?2F`=CeRsNlv^Fo9Ffba|75a3cvsaDF$Zk&&c}R)|ocdqR_|N;j2_Z4E ze#BQdKyg#}o_}CT8oWG(m)W+`&Ka02Mw0V-W=q)k88f4uySoBAG7j2@^@=I)q=4yB zA(a}R5JJ)6Eq6$;B9m<32P)Pe?uGwh>ODtFr}6)2-O&^qBE!Ug<V85wCODG@d5Tbj zLU$&WyXT1<>*f|-5P;eubi%|Ej|>gk4qRXR_uo|kFxC}j#i~pG=kdGqW+xO+XnBm3 zzGIu(G~a=hb*_E_aDIQX!-o5r4<$fv_R;`X2##q@>mleOB8EqAb`+0Te=dF+dS4Xm zJJ&iTz0JoV7DY;bDtIvy#ehhf!*|<?w{TY$Uk|(2N%V)_J6+aiK2*?{)3!6s2`+>F zH^T#DS$xp9{5>eV0TN5b9e6ku!)+wji!x8_?>d&Whq9Xx{h$1PLK?&jcx#rcUkpj4 zII>pGfT%oeVW5MM&hA*7GJ<slN4USd(!I|?>xk@&Dqv!NZ2++t!p=r)Tf5L3w6JJy zE{%};8U5{SY;glCzAHZ7!boX#a$0`q*iwZ6TW6VGBc_iS2CI7e43|^ncoI*UL4NY* z9&C3+`(h*=LZG8ue3I-O4EQ0*s5SFdp>-u+G?G9M<1F{jwAa8`B}dRBq}{BuH~&?l zj$!-3(3*aKAk8SC{U-mSjoX=}+e<`I#Eqq7oD;WR0-LdMdt~|?)9&{gfIH!23@@iH z?{Qu;6r!>UiS0J{Wng^1XWT9iD``x5@)Gjc;^XULz9jr0*##dttRm|AoN<wZw2r-v z4t6#DL$(F4)GOGR;{xmsG|SU|2$5qoZlL=E)am{zh*7XT2*&^b006PD{u=XlsR;l9 Z(J<ek2><|wS<JD-XZr#G00004Sz4<anW_K) delta 5931 zcmV+`7u4wZFzhgp904h@9bW-|P71`lUNvyWc4R13C9gxiIZ)KW(+QA+TTl`|DHp-= z|DIddUJ5DkA*Y0R<es(8&F1YTw8ft}cEMBQ{;4Cy3)feINzhC>@;pLgGUbK?#z55c z*oR|RYl6IxGUimk|I}evI+1<jSJ^@0b(P4X$9`_wZUZKva008=pPWyB<lQ_F$hn@% zizUz=`_rGe-EBzE^ADo}UVvZcAcMUqj3&$LI+-IdKS(w}YXp=F{;PTcpo*SB_o{sG z`m8{}f^tAm8%UHp|HA<NS6{=uL$)&2x?>O3TmO7@B4WHLD3wzM{(8AL!HDZ_;c)8c zI>|Lo*6{ob;h!&U20T%Jm9UbTZ-grM;1wysNISAW!z=nHc_*|jCCj(@`7qNZK`UMX zSoi-TRx8N9W6FFHRD<Xp{#OODkmDFweY6>*(b|cbdX|gc=1dSOyDfBc=#ZMp1(?v_ zv8FX)@)5d7)4QOS2Gn7G&n4%r#O01vZ-w41VG;`Y&@1-!wA7t{fTd5B3zmN<3e60} z@Us<GqJHr8D%hS(ic)rcRlCv_QOoNEyI5=gGptTR=id@#Rw^ry6@wrTGRY{SSVIQ{ zn?0s3-r)g{+ulm!_!&yf$2|Z+ZYp<0eld2IlcB-S@<;XI@We?izb$c?E5ylOFlbJ} zps8_jJnu1#VLDrXbVbbwp)!-pG5Jn^A2+Q`#*1_r7}7=MT+ZH$D|}!pmizj|<ahq{ zHi(JiI+7=6NBdHTV;yq!MCmv@)qGtG3vhGHU;+y%Kck1w$&Mi=DeYCASPKr5ro$a! zH!5MPX|PTj>EHNU)M@%PQ(9bX-}I%>h>7p-*mSqZ*BGvU;CBO4KBs)8ejLv?k)iBO z+<QVNyWW(Q64iCToMnNR{UUkOP_)4nKxZ8lx%o?|(W8xN&#jVGwfUb$O}CZz6<9qv z*hx@RL0Mu_UeaIfWnalv7>NYMk@U@NbSg3UQNPfx1s1t1w0tM+C5c5yS1x7f5*MN? zg2lQ`rZXCU3<00HDXK-6Dt*i-9dHBIv-aE8--vN*B^0sL?NPf0pGH8+>{Oy%zC49` z5jCWeQ^1<Ax1<3+S|mPoR7~5W_lTER1bS|di_mT~>+tCAhD4*7Wc1K@A3L*0w>rj- zc_^Fgt70JYK0#+W=ur@wJN#vv!=yL1P4%-bno+xd?|N^saT*m2-5kVB4|?>BU7b~- zg7~kdd;I3pfq;=296IqI&A=TYv&S>S^SVuIKETPLzWu>~2A{eKw0)5*xz8U&G(Fs; zlBbYBKx*9UyovTZWJxX;j>e+!f#-pl&d?;W)uJa5++Hta&WM0@;g0P-egzKWP$n<6 zKLd+@JlsS*Dt?lTr*jL**U8MbBpy2{S=_X(RKIRwB;eWF?qkOk3C{B-!P6otO@^dl z7bJkT8=@_Z9j$Tdf~yesP&BgKd|pEN({8J~0HJ;p8gMtamCr!yzh-Sa=JcuQhC)^M zoQh+1+o}Ar*=|utl&HFs=pDxGu%molVYa4!pZScwemmMgxM6Qw3K^-V5sb5%q`q#2 z+&m?LK-yNfb!Wb?pElU~1f8`B-pvaj*<jRT7-kXTE7M|dx#Gwd00}JWrql7}Wb6c3 z_9MrR!`8vwCZ&G>qpm`AXQQ9j6o!wegEAN6;0alQV7;qeW5_tTXpA_m`sPC|`)=%i zE+%1pBqLKq1^n%#K&=v~4A_a_7nA%p=5rwD%l92jzFyIM4A=UuGM}T_dp~{C#WYk{ zuy1lRBx5Ppay%1M9i*+T<cDWR=HDFOk5cMqc;R3}d8<3>JAO>>cs{Gc*>j)(sZ`8> zVl0xA^h(_^FI@cfaa*o9EZ<X%8NPjgb$xBmH(|!SV?E|;hFrn#;m^~GV5;U#C(7h0 zj{f*>w8&b9m~tmR9hJAMbp1~rS^vj~R6E4{HB7|-TIIq+uLCMT39Uu&bEoQ~?~<Vt zoN#vcTg`4zK8OXkAm#i{O3#6W1oXw^dKgt=v(J++R4x1X(;n)^w>jF>fR%@Tff%<# z9|zr$IG}s90aVISLf<$rp3vUdFZ?B2oM2W;(~Jg^>@P}xs*Y7v;TBXoK{u#U5-#$D zwFbPvfi$I5+^*Ge=^|$PR?OkyAeiOGK<Nq3&fGmo4ii(?I@3n(UDTz7HXTd1o_Xb< zmX64pq6zPfmV?*kM7(A}uQ7LjIfoev=_wIHiVX~74b8BIa_RhBpmJq~t>{+7;BsB` zZ{7DmXkLO`kqkQ<#FczwuA7{|DT`$<-&B9n6FD9+9AGZ1F!3Y5Ul)w`8*?U0ZsS6> z@((srmYPpKuIq}g90PJ0$LUoGGb86#uJwzF+Cz3zQ}ZbC%)SSRQVD#2m!DB>5K|s` zBbUd@_y9V@si#q&z%u(ztjxD+HQEv#2^;9Qfv1R#ugi^_Gatqc&m-}}OUvG_wwd8x zbgIBBgQ7#oe$JJ5C&<(<c%ZbqR@e(&{_Qd9dIBG#L7Ezl?9*;%)-t|xl!TTdyZrjS zp4O^kky-Gv4e)r8Lt0jU@@YH&GWUBfdd4FoVG+Hp<UvJ#VFe^6bEMTpcJAIy^Q0#4 z(kM14G`d9-3=fYo$Opjz0xO@_N=jKR+uVP`cU#_&7TZ$jJd9L?(W!Ss2r8kCyXu09 zL1`$0Q8(V|bmN+N&@+oW3Q8jtSYgdU&G&H?tE@z3UM%VXMc8tGJDb}EjpX{*^_%bE zKK>eSM(nkC1%Ej)P^o9Tfa&T5w8mSPW7^xi^Zpv81$~o;szRugeZb~Qa%+js1{dG! z)%PfosL94XzDCXWvbG9Fn_>K}MgDB2UXdw5Fe<zhCcs!isBZIwc)s|J_l;&r#YXGW zTZ3FAwxM~e;Ugt~8n=I96(jk<JiIi0U)cl7b}CsXCF|Hm1P}K*q0_v-D@n!UO;p~C z(sMLEPc+z4m~Xfj?aXF+9s2dV4nA#td)~r2J>$BsTG?V9VDWPse~z=lZU<Gt%NzjU zWa|(FKEbLgqN5*xr{-@W-<S}q_fdZX#|<vSB_l2vC!M2zC$cJ*h;eObQt9)KxPBL& z<|TL$l;rc(^;1{rBk~6npk%H*3c&^eM!6x#ht{Q}+T%V<-O}det!u+COh&nO)Y=oy zPJtv;mXtPl3T5=d3k$Ac#f3W9y9|wo%UC#%GQz6`|NOjsh3U?}3rHZo?E{8c8D$<V zr(Da8+a;cVkYMuuRgbT5n%#~}Fr~$cT_g8|gqCcje-H3Gn39N>Exr=zB!2BIe8XA5 z9l-x6pMHB&EghN+cIaWGXmr_8IoxcPgzx7w1-4bRxQpUuYl?uC1{z~sodW7myO5v~ z*COy@&X0y4ht(6)syY#aLxQCD*5K)Vb1{3X2GyK@@_QaR&-7Ud`g8E$-gU+GE0{6F zLF?Zu*7|J2$T8tka5!`<Nwj>F@${&lfCx7wHS46RsY0X+r;g}vVO()qhSv!Ywm9<E zJ`4FiC-qB5ZfhcPq+6nNz^#r%0vi#QY1>IJ<R!;i(ycsZPum}aO$Fm84z?%B?W1er z@og-B^TgE^)n%b@^6PpdCRBg6&(6~?@=xPOpX>y$p3MzG7)88jsFa{1r6o(wH<!q3 z2FSkKEo)il1d75q)z;wb#3Kn<gl6uA=?x(pxn@pb@QabyqKtjzx72R*>!M4_y%9~0 zw`$(mhuH91PBn-1cH?xCQt-{4hXlW7(d!0(^ySr8Tb?z*mL3Kx<a+W};N^^)WMQe? zK@y6%?gLP{+M9u;ef{w-JwEAIMUDPN$IXN(%RF7$;sVaZDe*&ps<)u!DR0(P(<7Lr ze>a67BDu6a+KbG*Hmm(I42{D$*P|f5H9ZeCUKAs1nW}gi`-C?ylkS2=TCM&;1n`W1 zdl8k$;u_#1Won@_=lqtRD2Tud63q5QWE)^C50gFB+~P&L+{aB70qIQ8tjZ>z*1ae{ zX<JN5uCHuTcZ5%C|508O2LTzod0vd!fm&2ED&W-S%IN?+!IrQzkv1)7u7Z?KdhYg= zL0MmBO%|No8$PdaylDK6j(4DP(;doxcKHa1UOCfrPqqgwzvC9$bEX!VML?dWuJ+Kf z0L_R(ja|yxaFsM*CWulP&~hty-qgQ)aTfX?BLd|1cE<R25oiS1)SjTuO)r`QF%QGg zt6-s+SpSB@a0Z<!fx!h#R9Rdpk&?tLxgCC80MD@w|8SPfSZ8|Pp*Wd)z~YsEw;M$D z->#gdRNhBNqFU-t>H}jG<HYJpQxfYqYf21_+7>&_>8;E_p^1R<U0gTG1P>S?=z1Fi zo5@gy8=gDR2R;QRv9GYO-349~{Rt985iL)28*sGT%ydpw!M*ho6b{q{ijf&B4#bcp z)g|#b4MFxEF!vV^mKQ>W)ulXtI%#6$z*zK&@uFj(KEEQ7JaTnErc~6ZJD9nIH=Use zGDa_vjmxQ2Hy!Hfnc~xg;NQosRYUDM>qQugpfgM0Y0A@^uK>a?A~GgVP2B&;sEqTA zup-AQ&=4v@%&V@dWr`z$SP{L^g#Vrk@#i2?P!+yV^DLgxoHm4qu0N4~LA>CTtq=g+ z!_(I!&SCv3JK-lr=4z9$uq%uc*5~q>XAuM;AA=s-nK*^E;tW;?Z}EuM@>f}N?F2`v z)3fOZQNv<ZJLa`*&<W2gr{hq5{5%v0y_-E|<r`vEZoja8cgdU{P|t5Q8~M*CbjZ+x zob+BOx(1oPpLy_S(HEe9JN8`gqS@5U)K_=UZhSe5=21-R+2eTC@oU$)%3OdKyQQZ~ zUQ^Fvsb0Gp`Cf*d55pt@nWEB9%Ii%6KN*ztXI@$;tnPLjz7&|VWo2;)`H2bxBZpNj zOXCbm!~m~_5=GNgU;qGNNtFSp($>n|jJ@<O!yCl+UG4PUH5<}@Xm54u07jJvszFTo zSNZoi+~%DUJLDjav#O@N!)N&A*z3EDqK6bn9<7&#%hS_$1<`1E8(2fsNW2iNidV0- zrTvQoxfh3S&>s%+nmi=p9}LOJ?VwP5ZQaMExTo3^pL&%Y>R{r-1-4x0pLI+~4gUnc zZV>`)zI3>}KvLd+k9u4Gz<1N}WJ}@^&N|7f02tdkYV);z-4jay9DqtBYS-4X#V#lT zM6#Y<$TWdL`2g`Zl>WO09e4}O>ty71!nW1@Sr4U+FIGI3ELgg&+XLOUZuJ7E9_|pX z9=HYOKD(d>czuP+HMZlG_F*3d6eopkerVAq0JRFrh^v!-S4DICNi^pWL5O5%{Y~P% zzNy(=KHdXU!f_Z5iUucHG$IhxoC;G4;B$@H^dy>tnVwc|JTq6365)aD-F|DOqBzK^ zLg7xjn(xbp2Q?3v1l^~#eKpVXd~6PvGKw~P)Ml68{?!lRR!W7RFr0Q?4fmfxcfQg_ zqZUl4WgK9C(GPV#lv*Zr0Zq|h3I?0&6hP$cKhTkiPZR8<Y@h<%V9{+MK|nvKZGb9% zf$KGN2R|}~_SVZyt}8UwKdw$a7zStrkh;$tt+gSouNW2FN%j-}{14GW;kB~H2z%(> zlZ#>KkOsKVnhbzk3|&}Z#yk^yR$1l}L;cQJ4)LXbtFQ-Aj|q8#r6biq3Lq#NzGs)i z`PFC$kPRj={S`oL7Rsn86i(f4HGp9n>8CbV>dH}n=0|pxqj|-?$}pXs|1(dxGsii| zOcNcakoC#l+V(63_PW$=9tR_@_xKIOzPnX1BmISQ2sLzwC%s61e^rK!)L$%SeD#r| zM30YusHI?7**-RFHUp#1_xqL2w(KsdrD=SRmJzxWM~<<X@$s%9%-?Y-=m5TRKVxX> zjkB{C1+|Xirmp<9{#QA)WP2de-X6IZ7Et&k9xF~U$P&FQN1jWHc<@x3(YHfsMylSo zn;pG6k74_fqJf<(x1*!!fHV^yvySjR^B@<0)?j;Udx6Hnf!!Y|^Bt-ewL!B^Nw#ZS z(&CIh9g-wZ!yrFU<vr)ahJtg_PEG;^1j4PdoE7B?ABR*i_L=L3mEB3wjqug;;;XEW zn@~(B4!qsW<cKZ#2{(^=WHCQ4mK`F|c%fidOuiM&#rrj?q;=<y&*z)Ieq8WS3$na_ zkvm9!DvWe~h#1v&qsJSBWfH~eIsFW)zXz|3-W-6t8utZvY@B$piXibvOFzNWde5h4 ziDX}-C=O1yvZYX*za{vYo9$|19X;JpIFN`~^QV)MevBNy%$pu>oGS=}K)3a@+ouSk zika0+RQox`m&6mQZ0BiZY!}>oK0!f$W%b^-{Z$@@31#;gK(JxP6Z2O`xR9ik>UEAh z^g$66ww15QDKbBjMfpx5M=!>jd(z-~&(o%H-j}gqUv;G3pobt&xc&~vx~7V$oT|DW zCxzZ7^b#YKtRkJ<J1`0#JSPr^6aP-|&rv9N5G&B;_|?@N;s)0^BDj;0#?z^PJ>g*> zstZ|>f261Gv0Fb-1Z!e7*;+UBzy87wi4ho&EEOFi6eQeuV>PiNnmC>mX;@95Jk)Xa zH$Cj=aKmZObu`YA#~#bbKa>+P2|%7Ws>QM4L`(qPluRh3*$b3k{!s<9nj4gq6h63d z@dyNx(UdGuz(kZ;<Kz;>-&l`-2yb(-SJ5^QZ;s{p{Kr$FXTU$C$8Brcv^o-wAJ4h` z!c6Xs^WN~9b7x^qE73{a@G&%}5!)0N?V8Zwx;v%9K?49`m}Q$>vp9QBHwd#mSKn+X zq@hM0B^d<GG$YJ7)zcsPws6&pUv;2eWjX>pz}S2H`g0_oLM^qZ+^;WxQZ#x9U)bWr z9ZiIfO&Fy^Q{;g>)6ttg8LQntDqGJ5{R)mj=6}2H6z|X&4`x{U?>}y{K024fEzW-F z0ri$0rstqXPenmSBwN-}N++@WtCaehgQ*7UdTj3qi+sptm?!Su^2nEHTEz3nkz&2- zcq8rRYtN~n7Qwk}lc|e;YlUWj?3DukX3$Rt-%QIE)a<=u_qleUEn6MH+@+{^<K|bu zF1i{ruW-usyyjFtaazq0aEN8M^h)9ZKq>&-Xi}axS92uQh5c*zFk>q31JNiR*D6`{ zyb5mkJSh@7SRZt8r^tf)x7E~vJLj0`k+en7P^;_q2#eLSa*POn7zSIAnj`w%hC>Eu zEl(wxTYwk;cLXWZeavb$u-W{ej4k6WTbPj9SJ$u;otfY#bzGlWy>aj2m8WGTclQNv zcDdfTG}%i;kRa%bAFCqAU-VqETVd<E?q{>&J>N_!00{6E2vMu4tn=HphWJNh12Wiq z+4iaAqw$7Y497!%swCY@97T~tveRmx2Ya<Npebf2L1cF;Q(v7S>l_OqB2?#89u_H( zbDv+*D1M3Mb;D^v6N$|KR=gzGeMnDk=^*nn4upn`P@>@z6&H|+rTC>eqwmaaZs^25 zGN)+!n^8eU)Yw!HoP!U;vC&8iLQkxcwLU4VvftF6!;s8>n}Mfgp0l8I%LY(3ZB^l0 z4pqaOW}(=4q+*#ic5b~b1vjuc+g7?>Y>`oUPxtYQmtr?!(iNT#2d=<?o|I=Wi*D3{ zbPpDGMiRd97y4}(eQ4EzKtwbD!+^?}?}>lKMZ-^E<zn+J>ID12^RXE5Z`Rkl0Az9| z45`6yIBNudb}hAqgi5zgWEgL%Gv8qGO#G!NF@0w>+T$4drcA~%-_Y|yoBHxMDZKzU zj-cc0*vKz%yr)fuzk09NJx;}7x{3_6Xi!=_4?7Q@PS~?c<EAv5fZDLcv!4fFw5*_f z9d3%=SYR0ZpNq-8{4KNVOH0WxV-Z(UH~;_u0K}&r!O-=w)dBzk#W3HY2>^}89#pZ! NXZr#G00004Sy~sao&Ep- diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Cone.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Cone.omdoc.xz index 9d9e47be11d42a86744d9dcfed6f163c7d7ff568..25b921cc470e49855198ea5e309e6b2c604a2e71 100644 GIT binary patch delta 3896 zcmV-856AG7A&4Q6905nM9bN%{E}d~L6agvXgEW%*?p$Ti(yp2}foMWIX_cv;^-6}T zTgMUqQQ=_50xbfyS>J7;+Yt#)7jj(&h5RWqF25r_go@PtrcMsXPY%U;Nkk@?RP#wc zGN!6O$6LI+a)XSl;rZSe4^x&{dhjg;km(aK9?tF6Ye5rs2Fk!upHv}#+q3p}r;&kk zLhqnXl*Sg}z#^jE<5(GOP$Vie^-Km?G;7_yaiJGKon*l<j`!U%1@dOkzTfr%%r#Dp ztC|emDJzkTf3e`RX*&qJ)F0qy!0(i3g7?{afw2}v-`bYLA4?LGGSkl7h)&Zi))_sD zGMliXsG%C_BQWW#a0O3)w1U*kb&|E-4Kj(4PclbgQc%MD3{PT$0Ge2_0gm#udkA&o zyam#|gl7_CIkow?WPj3xBu-=`#rxZ<u#7G7#<^lrK@GO1P?4JUUKJeha&Eh84Zw&V z%7ULsXrOl^PZ5Rp8t>gN+}SEZSK{Ltdfs0^^||_C)yJh#SRh4zth<i2RwD`p$JY;0 z)Oz|xtLVI_p&{5EUm7uuIu(iGs#4Q<WWwMZgCe$j)atR$I+eQXdTw?|?fGEwS{CD1 z)XXt(=x|qEeJvb3NLWSGhdD-Mt9RKcQCo?FTBQdn52Uf%^|yJzKx763Pw$SR7<ssE zP)LVmf7X?*j`{h2A{QTSzqR-5`3HK$$!R@^Nk?%2-}t=i-#kOIKi=a?^wC&Eng<H- z&Fi#}sPQT5<!qRB=6dL$EQhH$N;#I-xXNlbkJmu)(tae*=+Tq@UIqrcsdeAvK)*!J zwkK=b4BP~Kpn{`J&z*tc7pHC&4VSSw2euT0cYx&1c_{XO8lo1~*YbewFFu+#ceCeZ zL%A&)Ve;GkeJ$QytaaLtzrbAY&0!|Ta%gRj_z+NJsd^S*#K2_DeCqZ<pKZUM1)r@u zxjjP;LN=c4)fWPP0o&%<_}bz#nXwWDY%R1CExesVK}&L9>V1R$#O8=h5e|h;y*94h z`ZI^Lt7kQT2I3I?+=hkeDh6;OufM#!{+R~y?++l5?l6MsF?ZC{lmy%g6?K@unJ2?E zBi{>MfA&WTDdLGrhOWOt?2*J94`U<wm2bw$V@z$kwUo%Mts)S~yfw(ku1z18@mB+F zicpX^$5sdr5EXhdW017AdKjRp4l(|j_6bA=x#vlL8#nQu+(hg9AFeLMxK1gjiOk)9 z%8#7Izkx6er6BI@s6xx5m6Q%#m8b<YVsoFc-JZjY!C>J%<T3^PC4CRuQ(;qHiKASW zhM>1`t;H!p?%i-+f12PWYAPm(Zx%c&Z2isnmsK@(h^)PT5P%l#P9Z{A+&zSF;@*b9 z0JJ%O)}{NQ>u;)`UB~yseUPPBBRh$Z+4sT1M`;%5n-)iXr(kGig@p-1>37PmdD5%m zBp^f!KFv7GHaPKq@)*&j$r3oALb)U6BDli%&VT}RX38o?mrd$zlX^rafyyqCbW%Zf z2cz7+R)@1E0D$G|Ah0p#88um~Y`4Z#Wbr3|?Zc^Sh+9}Ue_W7-p5*!ld9)oJ;!Dln zMZrE=RySCYctP8b>z@Jx9)R3&U_pq^D2g>D_hYmNOq#JWC%eT`9@nbtH2!jM&c?Ny z0%sESWV-=f93Qgq+?0|AZ7g<^WflxR0c&0boJ}_~tm(WnlrkzfbazF7nKl9}#gM6g zU}aeHknWuof2p8g95z>(#7!1q@P!+=XP8@fH5mb@eRkLY?<g|%%sNAfIt?OI?I#$8 z5kM<QfH&{kQ;*_jUc508uu4qNV>E{)!S8_HVi>gLv6a4+LNmDlIS)j^*I#CD{nj?{ zTxW+&LsJ89zefRPDjV#q&7=W%cuZ)2IwwiDtdiw<MNDxp(^&oe01STixZ5^)OdF^7 zSiD&q9Ur8Q17#0m@UQ|8a==OqzFbzWYdfU6vO`83SXey^DFy(dqmmww9tU>_1^*#9 z=^U73${23ZccII>8Jq0Z^J6*`0Vs^mb0J#)1O(Rs^aY?b%_LmjjvHAQEHOcUQNoB| zl0K)uFq`geFn%~$95XSUznequN3?O3dVeBVZ(SJ`sv={+JTorvpxbqcK_^7)2P-tb zYet-ZR~?sJxE%a}rsCZDO8e9@!CsaeZMA{is)bH*Y`PaX6OpLC(2ya2Mwb_&i`f?M zJIR)=uf7&3px3<(D<5S~+|XZtjfivy<dEKAQa0l@9y9g~biiMlpnyFaSahy#H`q@z z3^7B^4z2g1a=0J%a&~HMdg&&r`%<P5DGKuChb;U1qeKAIsIHgecu^aZ{SEfv0)x49 z=l3w<Awz+B=0+U2wR=TqL+2X}$MHAqRWL)ta+h4fG8URxC?Q!QlXlgA!KobUUc7!% zgh$0oeptJ#)sA&2$W*VDpZ<6dEHMt1ER7_;N<b`5z;1A7%#U<VJtduKp>~+Y$JATA z-RC2A7$JlWtd(&;8bs%;Zq(oS5gj<3Gu-(R0Dl*$gs>#V&lEj>%<>C9+Jk1q#%W0} zgNR1hXvCPtEb(BhInXbEJO%^63pHPV2<S==cTtcD`HT{W>cIzANd)poFctr_%U}qi z#X0pUscUyRzD0gbw?BT0A6-3Igb7}0Qt3v%%_}&ovy?yD?)Z(6=*zKT$`53F6ZL7u zS4W?{DY4@S&nK!;mHA?xBt*oMOO|9K`k~5)rVG`pS9;!X^@*f^QvzZyvih(B+f27s zgQ?-QnWi5-^yANosFf8P{rzdjmPSn_+yB4=#2x1bJ_81WW~L>z)h6DA9rXBr>>Bxh z!x7Vkr=zYVgC;zG-yFO>mk3npDM+;oL2$NVaj>9fh5A%G^JKsF*`w}~m{hIQLjK)u zor=K{fht+^7*MKza02+0+k#AAh1XI0b7E@Ly}-%t3uunhr=)_gKYTD=Q9#s?SeT_H zA$^UvH|+|q41qhdWw+GLa8xeWf0x-DLiOi~m`9$agDs|qBEHlLy7Z_!4>;E_T68El zc3SA)Agn-tGr(UyHQ2O)0u6X_L$ich5BuPKk+%TL<VwnaPj1cbmXt-xA?<$O<}41T zYNJJgp$&2wXIQb_vPhR!Dc(<Qw@xwsj$c=cQiXcMXvR==AcoIUqUtpDS68XC`A*aY zH8RBE^rrb+majeUjPPf$2NRFr&S8O|!P%RHYLF9POL0LF3r&rX>wHwus%WerDr8E2 z4Zw^k9xQKvGGUmjCh++tOf3O6a5ZdN?wOX)AVe|r!TOVD%Ks$HjlJSd{|~WsI$(LX zVadmqYwcqMT0;V}<5O0%A?o|VMavbF9NA<8w@ja3cOhz$yfLTalBY)<A%A$RSe9{5 z;ev+Op?PD*$o-4#imH0$6z!u~WRg>`3=61b>&oJPzcr5GNI>``!1?Wxv!8o=^NtUo z4P{$Z=I6|EEZ7+*DzGUynX<Uh>vJr^a`Mxa($b}b30$Qw0Pram;W+qh`1i+@EelAf z?)70>{uDS&pV#l7JbRO+E$|g=XR=@psT%rpe@RMX5Ed0;@D+q>)vbmeIn<hqIHQUS zFq*%A!jIK00#-C-#b}(KbYb_xuybPcWVSM0vR6FK2H@0r{CgJ~A1M0p$RBqLDkV1P z1?rxDS9lvZx@CIVusG~Yq<HC<FRkz53Gw<QmMO%qMLu4o^vEZ^&p*5DvzKVzA<O0b z3FahBZ@EHr!a;Wl&(dxd31@%9|K4E=+trzW!9AEyhjJT?e4Qj%NuB9f!19{T&^Nts z47O2QIL<%1G?-E{{6@=656nhxR+tsRGE*_ecQAS_*$karc{*<VEBZ0Ab@gISQrJb( z$pX~i(mz_)3+XqWf{y(GybuMXo9(|n!M5E1uBZiLX)D`(ix2kHZd-uyx=6dif2WLp zL;*N*x572oM)&k`G_4t+F6-u&4Dsw`0L67;<%H<oap^)4yuogqY`-`;NkdW>8VOEz zYP#E83AL-|?+nD5KvT*-!iu1O6y&$d$Bs0&UN>VYA_vPwJ7vblE1Qa`XP4H9NuPBt zC);qEOL=ZUl_WM%KSC5R_kwQBQDjGdB+U+u<vpc8MX3`QN|D`)nM6IGtEM%sAt=&U z6?yms&oUPIdR$PPde*P@g_WU`FbtgQDMN-*?4N+p_*hS4WZFfXluCtEJ^jo#g+~1v zrg`eF;<A2JHoY>wFpcf60?Cl|UxuIALN<==xK~9sXFhiFtLDd8(L5YY`x$0`PhHP2 zyC#i5d}m<{9qO#`3H(kG{)JWO(Cx-<UAQlAN~$yAMJd)gyC&F0!Xt>2Y-bfsck5C1 z;b-ft3qx=@E>&Rt2xea4@OMOH56X+zYlaijfInaQm!!Qq)EB+$eM}Ppq<1GYk!{&y z0{y+BnSvm)am5DSE(nu;UAPf{JLd@Fg}8nHODcgylVBdAv<e@YxvDVQf_l9<rXgL~ zwk=J;^W!wiIffFg>dLJ-H09E4?=_F!$!Z--+l&@~D{OgU*%Zu5_Z|)NI5emHi6JQ! z%h)tydNJC99Z>V_+zI)qmWD=mGI4XPS?sUTaN^03YbFBJFm-%FDP1OiVKP12vOQD% z);uSp=BXN|Ef1CRRynpu)up6kNtPo-_PMMYN3f>t#`atroh*4MohebHU%ac=IPqI2 znP2NS#i3?0t}a(u6P>4122O^nNeIH<OX?DxB`lNG5bg`AEG{lqXkScbq)a7`AIKZu zF`{Nd(>m6tm*aoupYcF{DM^`GPY*OX<-U~Ad!~o9cxG}P=lI->ouMRia|?*5J5yQ{ z@d~hE0+0J8AmUx@iEOwwDz75*^R)zg=Eg0X?59EDJYZo38f2d#fE(jYC7&>+jV%}M zpKM{iHL-JbE@LDSRu#HulNL9YsYX1<Ga_8;)(=M|&ySnFctp;BK~BaRt-^_b)_o%S zc-=Npw$>oZ#PgxEN-$Ntp{YhKQM~jpz<dpiZF_>h6n7hh(@cMxtXJ5oR5W?mskp z)DUp966TjbuUn{zCA<fS_jiP=>aNv<`r1z?>ki4EV2HCUcJBY-qxlR<kQgy6gaa%3 z{DGJ`zFETsz;e_p@pJ3yBOKaks{jC?3$o`WgM63(0plQuqXht68{izV#Ao{g00000 G1X)_u({&jD delta 3908 zcmV-K54-S)A(SDI905|X9bN%{FSkEe(oo<s+}Kfq?6Wfsk_9Ojc-l}N5d8mqv-;|{ z@IQ32$k+Q5X_S9iMjQO~Od#KE&x+LPQtk=2$h40P%%}ucgc&x+d0UXdc|+U@bCd<3 zM4Kl6%B-#ij}am|Ve%Cj#3DT@8sFh(M(R2j1NX2+`S21T!;r{RLE3$PgW@(~l9ke6 zY4xYclM{3Ftmq=hn=va$7$Z(Fq_-?D>bC541e;4Lu|<pdLrcf=M94Y$A%F_x7LS$E z6V*sCB<2|C#rha@7y|ljot`S`*O&B;pKPF5PukkpjxNkBm}V3zdgc<KcMr1B?_U%# zYwlT?fytGWboS{_L!Cr_Z7N$sj-Lg(vGMj+werk@@J%!CJ^O&k^3v_QP-$*P6R=&t zwCIhwxfV=#>(o51+}&(t)ga?FVByK=$M(ZN08x*7Yl}RY8A!xPjP~XNs6PFqk>ry` zv{uY+c*5_#Br>K@tG^A}(^w^j3k`Q=OP%tt7NNI{T5wMXNEZQr`jWWP99UgxY7+A? z*qW_ci^&afBe))nN(q>sj~^+U>3NM1k3PZ|XBmL3T0^VQkjSeFb&kMuHe#cBf$*#0 z?{G>dcK%^iZ-FKVQ5IIQj@2AUzyeF!n<2|y1SsWBrt?QW#7w^^hHb}84I3I(&xN@S z*f>~vrJcL8m>vLsAn5eBIrhR|f^3~?)zRLamAj#xwP1*TNnxl5_xtMXG^Z*#Tg!(| zW+8)lVd+jDoBg{!!Ro0ds=4YW>YEtLDX`qZ&a>d=ELP^0R0y0QutthB`cW^r_2wR! zCufBNAVv~_0U_L_QT!*20J+n!oSyMT80q*w)ZtQndEdByXI=aSA`02+*0u1`Be(Z% zyMF2klLm4+m)<nCJzOd9Chd|hO%!0y3ELkqSQ)uJjuh8<k&_1*=v1ZWq+*#d@l=Ic z{ki4*kt@e-KRHO>8o2c;x@)74LfxZW4Vxsn4Jm7=5EzQli9{jkj5r!TvS23-ekiPm zbms8tZ1fI)PneG6{kxL$R9jy8LcBn(G84B|;&63TSa2R{wde-lM}Dp31}4t1gdIce z^pb)jbdU+U9GaMxXIkdGPt1i7(3RC;>Meu!@HG`{M^=?H{z={vj}XgPek8Vgctu9a z1vs|9Y2Z`ZBUb;A9p4g|+-Fx+PLdWlBhW{pZFw_)c!B}$T`@7ySJzq~u5|0_b3h6H zK_2wrN7RjrB_)dBvXv|y+!MX#>CN1lpbr_F66Fb0R)RV57V;RaR-TtTMojbnO=Hl? zqT%el_!S6^X4Eofec!P+j%qDrnC}9KfAUIr+nJz|2>@t5mf+`DMP8-=r`!;{8fe4! zYk@d_+NRE%l&i_od&{&j2rq|s*a;^2;K&x5<CNKlpqxW|h9i#^$Y{P}G(jIErRhS) zDpaR$x@=5rHopTsv-J$7<<gQ`Qbb;dUxR~PS`N>i^3W{OLmO%`e&ilvR|d$_m1QXj zTrt=#5n{|o#$bhyb6i_s#g}k6&5cb9C_?0ay*_0qqqkdRX4Ts?);XBG_XK>63fljY zgBqsj4ur%G@w`J>M3`Ax>ybfU<<T_)m-<t$8kk0*<d6i!JIXrXl(~6{x48`?r1B4n zs%uaE4u&DbL=R?Ouc;dekm?NiD$$D+Wj362chNQ!^;BWWXNIs8OI@(8i;|fF%vyDS z;(6!QD>oArUzrJyeVxT5IOLhD!{k&M@<=0;C#*#!4iPd9Zuyy7k!ZHNYv<Jl7nz}{ zq64`~HA`oC2;F9ljfsQN1Xr-hpCJ&WXnq?XcsMTy_O$42?q3+x>^7B@Hvm@)iB271 z;8#6aC37t?uu@>W{qo!~tkad2#%nBpC+|W&xiCzve2@GkMxw;IwSX_L*g#Yzm&RT6 zbWnEY!RTR{|6Yz7A>g&bC4MbB=&fR8NiOU5ihL@e@dFRzOe#LAm=LrL#_?RU9ft?R zGM(4Hdexus!DsuP9i23}AolUb+!|HjBnfd;>`XwqGa;$MDwRJccEJh<>Nb>rALv|e zX?)JD5`@D`->!8d`OAr$om|Z$8wOU{oKwSEH|q92VH4sf_j1fT(IVxd&r(G~_y9JW z7DiYT`U?jWLQw_ywGsb$i^~{}3O-^m9-6_ME7&X;D-)sCyR^wXK05;VpxCKe{<x#< z6)HN|;{xx)dBuuNqVG>+iqiUj2~dJ>(U22kftIXpxr}J79kBDp+u4q7Wy%`qBQ`G9 zI*y8Ud~m!i^2E<k_{@Gt+&n$W_!5fb1T=suCBKp6v`Ocekm#cx%XfE%$;ojmm-qGi zw*_~V$Q`)`Z7YIv^BOzE1DHs}?wEyouv7V*?{=SXYS1L&3U4cI?@=0mfk!74hEJ7{ z<>C{=l4St1{A6Z{#gI^1_LT{cElCl1fhrTVVR-J<zL<UOa(t9s5@sK68C#J<McGI* zgL}Y=bI6X_0EyI82`U2&7Yr35nM{z3Hg>Tb$c(Xe>9)9u@<kXsshJk7f)?>Y`lir# z%6px*D#$K8PV*4A3b~+vQt*7i3G1%+;(w&(RGMQ9632s_HQx2;eZ#5KLAaF5(hANG zhT_i%BS-#)ji0a$-n~yP2xZ4U!z#4=7dx5t^O&08Cudnm_e>#q`bAdR^1X)N3hz9- z{3_5<!T2oQoR_Wr3$bJT*I^rc2~6T2y29)8AP~Af8t>)m+|Js6-!l0^>YzOzL|(uA za+{I)Xh(zW_%4_5t_8V94_ojtDEv5UxZN=qZ^fy+*bP@|W|{fE@2JDt!>$g#$j#xL zuv|GzkTUb@DM<X-@B4!QtN~#hxq>F;#$f6(<p=9^=SUlfz^}2qrHUDN5r48$r%7`1 z@lV!H(QNuHM#{l|I9X8K-v<QV?y71E)XlC?ORneO!Z6ErDSeuG3r0_q8EgCq*`DzF z>HI}3_cFZ4;5a6n+r9=VqHFEPogV|USTA^cvA|lSGu5z(FI*Yn{M7H%5y9@8&pB71 z9eC7MvQN_NJ^9ahE!{qn5w+x*u;iHQQ=0pQ+9j{tV&hzY;K--KE#Ny9kJOa0TTSfj zP1bPeI%S9h(R#_?*7GjQ8LjdJq-rcD6mc0=4X}IF<$Jy#qbzZj>SZ)3AY}8E3po2z zkpc~qr``_(#7X#5i-u-8ZdTE=qoWy5_ApQn$AlUd-oDvZpxlGxmeKF8nSK-bIO{B~ zT#BK<O=qcp<ugg_L_dbDr&m?sph(!4e%?;dq8|v*LzW~p))$Z+eZA>*gFxj-NfY5K zKv@akRxWy~ex^8k*LLKE&}}~Yjw>=d9wCdTQl4@%l9x#rgbH*m0%2VYjK_SF(6be) z!`bp&jUk^rJ@zqViQU8f4erc|4I-TlB9;hyJ|VGx;qbJ;(M6m1*%Q~*8JZd)IlV?y zf3<~+_tp|6{l0G?U{wXpFf{`QdU?rpckw8mv_XpA@bH*R#dti<arojs(vmiEgS;rw z#aBU;p>ce4-!0w`83F>Kk|BX+!T-yH(=_lcqT3zarhA~MypPBI*~Y^d=K|n-!&#H1 zUT)fdbM-MNb4~wK&nhzwEu5?1ixq#Yk`g4(KR(iI*%LJ$^-zT+fs*!85r08~3A4lu z>>hX!@}z5#T1)ud;JRi`JsYA`7X3_{JT&Yz_S1E&&6GQJ6lVnsXBC8mGZB=BMGFEy zZ#bw#GtvaTg2oy70sNs#$;V(1hV=8^PnHgUgEi@#I=2nr__!(nKOeZV%<l*)q&wgf zAas5Ed;$u-p0zs2;Qa&Eg}%kZuwmTc>rSJXBFkPm%HwfflKXqwy#tges`0#e<iaKh zI||!syE2)_Q759|y!bu;;J-i<nU>7`YVnZ%E1lzT$LPcMw)dv8tUBI#tPF!FIg1;A zH~rhPS|8UOvEp^_i8yx|Sr<1om->mwX$LUSE?hShy2vlRPH@}~N7xe6kP+fRB{;uB zIU0?Q+8<qA$XdvF45YnR!OA;V(;9}QaK)s(BSy|Va^C(Sm>`FYBfpjm`H^BGZ6S(c zRIzVC*|0*KD~Ta?S!<ToCx{^b%gW$?rg2`o#y%NYo%JOO0NR^&jh_DPt+ugObM(qq zDw4QPfIlv*(o7X5P=_r(GszIL&^|M%n^}DN{num6I^`Us>;EBgp;x7?cxxEB04^S{ zjpfrJio)$b3l2EnJzDk-0?+k2ZEXw+IevhG!@{0`F4A!PN!I@zDsw7J157D@q=M7` zZS#cIsioimbUj}OB0^I%$_DQyPtmI464sulzQMUWL&3z4@VBj%+1KyiS)e)R*ajX3 zrQ&4udlvRA1HfKj1<a&@q*yMW+SP=|v5Y$kf(<PyW|=TVRT_c%_kW{xie555RoA>9 zORpN>pB~-mq&UUUW_cy{Y=%{TJ>5JdIHEDj{}t@3yKWb>36l$84i~}nD4=ihmvoL< z@*uje;pdq^Gb)fQpqFc}7OtCHT61Y^FiPZxPlEbL0Ww4d@^K-Z)<4Z5cA^D(2)7jO zmmS~<gM4t2L7V>O1#|$RiQBhQpg&2kD?Nfwb%`UomOZnE(v)tziF&txZZ=EF@bCf5 zEhPecaxk%?2q6U;>^6lKfS^)X1=l5CIfy-M^E!~9s}D-$d12%wlNX2@+H&=eLmJbn zW}=TQrPj_cSM?3Wr9WGwOj$Du2Z0-0#goSXdg7abb3<s!<{G}b2PB^XfI<f(v4~0( zDBc-AcgI<wh(5fYNL7n}G5lR;6>7Wx>41J`mGh5vq+H+i_v3=Gg}%`!=9*R*=HrsQ zd6<4u$Su36C+Dd4-@U5`Qq6+oo8CZT$#S;4YZ`VMIeQ~Z7aOu)!9nhVoocqem)VfX zgQ^<yHCJ-dGBBIvLH<4DP*Nk<ZwX&6QqunH?@Q$Hsmt+hNhHL70GKgI^ooGhMnkw@ zE*if&4twLj?!*)7ilq~z$A?_~J&gi=TfnCL8m6iP8Rb~QP5T2!|7?k7sVrU34LLIX zHD1+5I}5u{a#b?8G>6=H3r`gcij4!zfTE@VRx*T~OI?^oy-&%gr=pp$8t}+VXBBIJ z+$l%}3Z2MA;qMbSpbd-s)2$J}eGCUzi9^=iEi<Y{0000DY(nmzQzxAO0q!7(qXhti S2!5ck#Ao{g000001X)@Fa+qfT diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Cylinder.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Cylinder.omdoc.xz index 6f56a766303d6b964d92e9fa5776f0d9cdf3f04b..7ab3750993012ac5c4078bc00d51ef5d7842f3ef 100644 GIT binary patch delta 1926 zcmV;12YLA95$F++908@V9bf@}6Kf-_G(1Qvz|Pu&Wwa#|hUTD-CU<N7yw6#BzyX5~ z=$%9Xf(Lbn+N0J5@%bO+o-N$2%LK06q2uW{^O&?WevkcV-Od7LkllB<f!JO{={nTS z@scK6iw5c2>(wXfqoe46iY5|2vy{d7lGKHR*CQq@$KXphAu5#3>W=|``?nG}jX0Lm zTvCmQOR;JgQo|L!3~lvT;uIug&#v1h_n1Zcdir#n-B?ztDjIge&mlgW4>(N%-m3PV z0a({f<=WVDfaSu8wDMyz;ex&O)9lm%a&+pKkYc~a>{#mlGCp4PFH~<PvX-n}pC)?O z8vk&xba)D1<395$-GK~$_IRnplqx3u*K|IQ40j-;6Qke9zthS-%|ov%uBKx|uA3M$ zv8;{hpkvZyfJxuv$H*g+|1D#QlM01U5GvPvmuag!yGsglUj_ElmFy(W^^^h@Krp;! z9+DKgu_-Xu2u?tK3kyEFMUV8!s>erQnTg`(`^&S+Hb6J2IhmAyrCuX!tavY4?o1Bm z`Qmt^-V!m608$%M*wN<!riXNDzDkimRxHgMfS3fcGz>OdT!ygf^`$SueofsT1OxqR zmaaAGAOIV!wa}xoE@f=B#D`{x(9latBxV_Im8D{jvAsYDsIpN={vd5xbuP>qqAZyh zgM2iCFtsAk_1A-c)NOWvxqO3k*GFg|VNnlpOI`j)<(U!QtiyMtk^|X<D(nCtHA87L z>|-`sZ39;L(?ePRQh@{FP{VDA-s)#s<i#@v?7(_s5ewVZ91>oH$Gn+YJGu}AJEHR` znT`alA6h>;Ebla}*S`WoW+;g<8@(F1{C5P|v>w?z!Fh0h*1ZdHeAu^qcV$lWlyY7V z{hx)PD77S^`9o{%0S@dh1$E*EF+u)&d*N-6F~q{CAM~E$dth9#0sDEHuK08*_*LZ| z!@tri=~IQ_z<iSs#sQTjw;41l-M%?{AZoJ#&n=Mbg9~d>&s!ATqXKP?S{qc}Uni!& z?}T9PuVYhx>F0i*i_+t*>Is(lPIZBm3JYShgH)OnIA^EJ^ukZI93-lCw7;mk^d&Xs zy;Q1h;61BTP>n?krLzgqcg_%%Ls!l4G0|?-T%@q*;ew%AfCe%2a|LT3<+?-7d2ukX z&pEXa0`7jie6v6%7qN$)a3n9Fwh)w4$NdQYA>pcji9tRn{c48RmRc}ro&(N>+bVE$ z#>{evHJw4*mhNsZX-iA$c2~*3lOqgilE4x5)@Hf4FHYrA?te8szi^tjlT4hCIQK}^ zZ5jWUACKl=Zl#BEi>@gSFSMkh$fY0MU0ykZ`8`cgE?I{R&HLQ#Y{&%DYvNbn^kT%j zEP1ql5tfe~!snB~QSXoO1CT1VLRPzM!*~Y%N1q=d55t5Tq$lrI4Jy!VdQhpIyB4!R zoKJMj7LtgQooeM3f_o@kquS4=Tojd9v0K@fIL0N%CWLbX&Gla^wmD)$I5oa{Ryr|$ zqlPzU6e>#rrk-0NF(#8EktGNpF#2$L0(1O-1(~DBOIlopFr*b~hQ>%oh$gA--|#&j z)IVA}R(|ZZh;RlQ|5#w09vu91I;aks-F<<;I2^$d;ZEnD@&S3~&GYUvNap_lAwG|B zEZdn9fkNk)-}F#}QFtY~gCD@YJ)ieJ;SwMRQc7mWC23-#!UaRL`m=(d9;>6vrHg)l z)7;*xB+P68JT&99Rqh<-Pefypks|Ku%*Q>VIU!JKn~pa3fpaPw^Xq6S$*Uo8!h8p? zoXYPDhwCG$MYGDH^uumieswt!Bp(rKg6Tt8$o<ycvFmul%a8j3R<*lBP0Z<&L@>8M zJLLA~E4%<gE~(2gR$gPxXcul7cM=_c$%52~_^#r)ua~o6kX1(#MCOwebz@MsEyIlv zrc&DWFxBiBA76WpeK6-QHb|l?u@gM<xCDbjheCMI)>MMg?o|E=X)t^jE{<TljqJU} zi$xsg?*80+Jo<&l7%H$~aBA88*;L=(&cmyfncQg8k<{y2UoPOuc8rYQ(^Wcu8uP9G z*78iQI}|h!{&r%bjvm@Ul44Sm|7~e`yz}|9Y<)#il^ORE=GYtxMnwYPJc6tXuvR@K z!8a&)*2!33LG?nvLShKmBKzBOVH`AAt%8)?7A%jleHWBio@UY({UP-y<SKKu$;|1n zfH?%ZG~LwHUp>Y%?{G2e<{=J$4CyKdnp!g!DTCs3d@;ytZ(;|+%3Z<2#nx2?<-xy8 z3*hK<$$2c;^YC8}s|b8Wd2BmefA{VOOHLEfYl>AX!2;7JUwaTR4c@)^Q7<8&4~v<c z16$m1C|(&tO(Iz%h30u%@5)ML{u?XP^k4TN0`SLUs(F6{qN^8SH6y)wgnx@(cMJyD zbfM`zSZ94&@>SL&DCxE+&RO=O{O-4%Q3?}yKtgP9m_W@Di^W|T!u*K4(0t83Br5cD zg|U!s$~&@3meY-ZQF6~r>J`5N3P_p%zW@LL00wT0vKd_lF8~3-5!I~%0OUe_wz0%# M`vL#}000D8S{6OFQ~&?~ delta 1922 zcmV-|2YvYH5#$k&908-T9bf@}N~89akE0DE{?v8>=b2LsO^Wf`R}gPi(8mA}U`i)? zah0sfXgC&vlRN~l%Ev`xXPN!;Igymozlk;?0?#1`YV8FroNx$4RtPnb#7Ps+=YsxW zYk?$_4A_kR;cosi3E%pLL3vFA;o61*>N(bqN-&)lsYF^mI$k<qodi*TyTZf6EMa4L zs>wl0M=zZBaL^IQT<CfrF7TP$_V`vR7bM+f=~7$V{-YHky9e94qxESB&)}NZ=k<2p z$8JBx6h)mR3Cb&tSyiX#!DVBObi|T4k42<^W*}ULr(KMM@Ry!ftp}Q{8E{vc-!$@S z4ytEn_r`N?>tW*<aI;r`x^U}zlAhvdGtXM|Ct5@3LVrPOLs$Q6kN$U6_(^)9BvhHQ z*d9zcReg>a|2>p(nmvtXE5QG1&_H-PP6TJ1C8GG*&#fcUC!S?<U72HeBP8r;MQ6%= zKh64u*&_gnSr@4gtD>v6k%AVRa>G(u##7+6LLjI1*h7s8Jk%S1SdPeIl+0J~x1K4< zx?PMXSBTHj^Vc~*h~*yYU_Qp~zEZ?k(W4;Z)Q{N%V6lN$YG-t;RrDp-vahduTL<?l zM?vwY+hsQ{o1@WU{btj`KcLKTqJT^x`3~xjq*80+NM_-G)T89169JkYWY=&${y)z0 z^*)S#gkJoVeg<cMZ!ei;ph7l(LVIS4k{k04ujGki50%-P7OXDZWC@nkbqg0RtSQ5^ z1L`(t=;fJ2s{J%VUi3O7;SR4~CUOc-YY3}LZk7`Gf--82(-x?PN}J}K{f!{i3%quJ zQV?ez&Iy5s(v5ulKiEA-I}&#rH`^8Ci(GSG*SVLH1ZRnVvzW=5!5E5W-zLxj5vc+^ zZMoONAQ@J~WqAR1eOjNeF%|6kf#k28-cnD}iPF^}`9sx<ZdrkP^D^fNuC^>c``l@E zjtLFB7hc#)n^9|}AogxhslUB4p=g;6UTg`RV>I|3COlwG(qd;d_`UeqP(o{ljQqqr z6hwxivNXhhSR84LUXjOB7rU0e$R%bwwJa=*_b@v+TJ$NeSWrQ%YJPT0`l3W%VxP)u zqCbAI7#BjEg(#G967uPWIQ8|A+23E5#GX!8TY-(G)abaC*{*X8RG}`p*3_AI)w-Bi zSK(ZW4h$UBeJPNR*0jxohH^hXJ=FTCp#jD;>Ab>!n~b~Zt3{+e$Q3u^#VH&&mmWg; zB>qy!j94X`-$@+N{{GQzTk8{-K5vY(^W9uF7hq={EsM<6OYN_!dGMA&J6QX{0@ee} zUzxMmk?S0VCbAl<*m8t*BmoMHNvHi5F67aA>xuctAXHqyFK^AqKp7VZfAV4T3zF!h zmras?7)**!E2CsTGo|XCvl?5>MK#kb;X5{yb?mC_O?s~j`TV)20oQH==N2`fAJ8<V zoviTWKI#<ey4%cKiftD13$O~vV$hPW8h_!MqZs@DU4;(vr2y0{=s21lA~#0FT_BW0 zb(oF+krBGBVIy)PaMu4=g?=7fS(<84CmH>JYCEi)8}*od0QuLuNuUeHl}BMm*kM?0 zTas{;ysMR3Ma0pE*<g%>RDqbfscolXf=9f7zqM6w=a<lWyK98ZP@eqs=&*q<=>B;3 z2EW-?P6yEad<<`PhKLQlA3+a_XZK1xK-HEVA*+8QF}B|Ri@QHFbwUxk6{DwF+x zQm;(o6kT6W2VIuH2?7)E+m(Bef{_xTHk(mMFbZF7rZB;&r0<s~+(K@~#)yH=l~pA< zz4;;7&f^)V@ZrFT6Ziu?amhiy?r(*pRVE~HR+V*9vtxUPuZu^>vI={D_bHJi4KPED zOG4c8*_<18T@%isxYqvOtBh()7aBZ&igLR7aj4QJ7WVmaN_xAjjU!?eWyM=Y{#e!j zJ~n9Ec0&KUxHrupYSdL&6j$yTX|Ad2)jjKC&N~qY`!Iljbq<3hP21kK8GPCnup?td z^~b3b2D%mas@P;zoWvEk0KT`1ZuVSd%vvOYW+(b0-jhgYe$X$82?Mlk9n-OYAZD$X zd^WCWKsJMgmRAG|{PN+i7z2+UgGUMyV9fKV<R*1K58~4pFr%o{g*SC!QP9iVLt}<P zmtmb*!LG7?`c@>|+!Yd)uK1&(U?<2o9q{p6cFI8>R5gcpQM6JPu44tlUW4GFLf8xW zXW?42why2Kv^#Z(Dfw(h1F}PZ6CXMz{;XUhUyGXo4>rC*Boms&s_~brbJ_m|&o0#_ zdySABiR6aL>nn<b1Aj4$P#r&Umhpyo*;C%(bg6<br4q{D7s4;b@_fkA6di?k^=w-@ zi0Ml>kiexK_3I6a-0EQe+%II9l=}BTEm0lf=<OGP&|C9&jhp|;+|KlM&sCTxxUfsr z{^z>CJkcAYh1-A~*-3m33s_eBs#K<3eqT?1NK1xZKr@V(k}aBNtfH$zP#BahGPDLN zvP@D8RIS$O!`7YNDRxD)=O0E1D5T>60P$ay8>4mvga84*5!I~%097tkhq1(G`vL#} I000D8T4WrzHvj+t diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Rectangles.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Rectangles.omdoc.xz index a7c0bb7c3605108a466417ac95116a6778f62946..fe144b5eeb839f794768ed8df3f44e96dd4a8170 100644 GIT binary patch delta 5384 zcmV+j75D1sEYK{F903rq9bo}~rq^gRgD{XKV^$kPQi!0am?JrG60)A&5(T=hgt;{$ z!95zp5fUFx54{5q+@TM=0mc`guFKJk8WxUFa+-{Tj3&<&GAt24Jv`I<BP21t4ahBA zi&wP{Zt}K<0RL0o$Q<|ghu^YGWVhh5L*x=>zx?@f_(7f|5bTTV9<MupWH(uOYCL|o zrwO@vROXMHT_Rnt<eS6~GU=U5rUj1VeV@_AAEmgviRogU3;K95o&Yja#53_rJjY6R zb~Q4{Oc_1^%3^1r0cMDC5_TPbtFeiJfyZKS!3jqemn;m!vvKnWY9rBZU+SS4_D*uy zNbeu{{uZZ|zOWyJ=Yh|Ew6WSEv%kVC+qAt(`~;EhJ1uHneOJ$(a#*L-znPlW0<g*3 zaMp-VVA{J>&+0o>80-(6Q|-lmY)R;@YSU6^z|~<Z@hGUF8`MGA<mC+eg?@rf2&*B@ z6P!`AU7}myM-gi%$)?Re%QGo8chI9wJ{r^ou`|+}Z{^}kmbXNI;Nq!&o&=->**3$V zqZ!DOXNpoJ`Y-2;{Y2Bm)jOZ_%gh!Kj|f8YwujdrO0q&d#M4k=>!U~qB=Sym)qd}# zB_3M@%xdL6f5#W7`nMQZ3+lPyUn&ImF~*p1(QcR1=3z1?i2f%VdI(JNfdUECX1gJ@ zS*X#)bNq<m=4*(5$Qd6EY6X`7s>w|Jf2uA{jqNnYs|Ektb^-(jLmb#Udm0^)*&YX3 zP{IQ%8ND(}yh|LRJ9a|@4R-G9S&mrj8zJpue`+r%Y|Nzu!Kgu<H^^4J2O11<qhrRH z8CJF{c1u)&c)p;cC^EcB`A8<ag-c}iS*m!QL8ms0EE&6hdJR-MC+jV}PEF)!fY)^~ zG7q%IDvW?A+F`|jqtpWw@vh7@RNV%!PX4*33T3*yR@~^$p?fMk6B7~;Slx&L@CZ|5 zH~5CBhD!LZG4I?nPMw=nCW5@Gk-kH1#x;?zYb6od$%nL^AKBL_JkPl$!fQ>buUVA) zLd^9nWtlR6D=#sjj;)PqEA%h{=a(U!y=aApa#3OH4w4+M(k{nkx)$S(*>?P!PD^q0 zYLy7&v?m*TPFb9o&wN~BiaacWJ}{X8Hp}qC4+XP+x5P+sqM`3Yd;BvoINBY+U=}>u z+oOoh*5Gf*JK7%%DZ!+u{b~2REmE?p*l0vW#LVD-4ThVpEZOoyE1eBNoz7;UtWK$E z2CN+3YwVZEozh$R#Gc92iHj#`kBL4!iw~(a$y~`1fIJ7_g(J%6>~A9%;uFTh7P8&^ z8nR;Ft(J(-=`PQD#{<&p9ARS7bS1=m!?ekp!gv2oGOYE~YL^CQ8WaJ`o#3$LOCbK{ z@yA1ddap{ypSr_SjxF~wJzfLxp^SvPpBM<QxJO?wogN^-_HTM#F*gZ<vs+QXA-<{k zJp4$~bN;jeFSr4tQjm;RG@~=)r@hn&kB8)3zGOr6xG3B4??r`{C#RpjPWgEdzR%y{ z0V#mWfr@4$nR+>3By6_I+M<~r6o1O$3@D#}j)4vd1(AzbUGk0Wd>*`nP%DXz*k|tT zF{;^hVg}mvS($2xvCv&gH-4)YZkw78W&+7ZB*#ST0#t2i`uljGJ^91*W=Hv4)7iID zel7I{a6i%(@VBCbBrOCA(MY{qeN6cda(S$Z%iQSQd@$Lr@MHI}-$!St@f&Ghs-jbW z#UekplpNrtZwih6Rbw)5mfam)f31FoC&E3q)2m?+6(FX2EqZMJ2hz(~lO#Y{{=Uvd zb6Jt3TfxdnB&;{sz<@8p*o5>kl`=*SoQO^v7Aaq-L4w0D@gH|8f{=k*A|leudADin z{5;{x69gnwrq#f+RH(o}s92N~0+#K6p9t+mFj06_vwNH>^uph{pQOmo*{dz>5lNeM z-%}7YMPo{^dnp3iJyw$bMfq0?+CGAC(K^sskVu5_lf|<J+Liyxd&Mc$7L=aF^Ak>e zkz&}>8)*g&!c&d@qF;pHSk*|)@>Vr7?5@!Jii>B8f~(z15>#OurduA-B%Ka_xt9k> z&va-ngBJ(kq+H16@RTJnTEbIKxa`v<98UmbFw7G^>kc;6VT6JcQaftGYPIaDrC-O= z6QN`xWJ6`0<1<TZO{yq;eg)orP;&ze5Ja-L0{cad=~i1$M`+_XpfxsMMXZ5|Kq}0c zL-N-4utJ4i-S%S-5h%J)`K4Tc$sg>^_;Fld6yxCqIe!k;)~JF}@kvFTNK{KLjJ4 zGLihP)FDup@@buT_ol%N#YGZCv_1cn3R~9ATg*@er#2x4Ib-6f38H=ixJ`_Fu+8kH z@7L^YSE>6CCww0+!CAw=V$2WD3Z*C6$=fKy7MVXd#XppL?P-&Wk@miSgk7*Lj83ga z=k5Pzal+p{M=L~|GFe0!={VsacX6P|s{y30jPu$qFTH4*5xk#YFZy^N#jQ`NeAU_a z2nioASm8_5t&k8#uoD~<0;1WX;Tk{unJpiC+}_bxH+r0ya-SWdA~E|TKJ*up9QH|v zLL;L$_#VQ_*XZ+I=l*JcMc@a@hm)I#+pyD%S*DF2-_CE%6AG~H4sfx^Ez2G`zMK*_ zn=P;@3KG>|`4UmPO)q^sxUMl<SH@8+@BFuDv?Oo2I(I3oa7{;_3upBOu%gs}v0)we zdYs97MWkMV@1&Ep^}Gcawkb!;wY-ZIvJKs)Z?l@(583oo3n37H*9}_CsN%|vqNIUO zqK>3B5c7!0*6rrVTQ!Ss!oklrMhm(zTRJ$w=|<DUQnEY(HZ?jO8GGF;DjNr-XglpJ z*u)qqIxP}!@{aDs=kUIj^>pVKP=)?I4?y`sFT_u0+<x>cf#vOPuc3xj=??_A69?YC z!xKvPQSr~azt^RIL_v`Y)F(4>P#Rot&pZeUChDccQDZZTiDJ8Mp8xOrB+z8fHK`%H zgqkGr&W>apd;{cH)<aAsb@4C>Zkfna{56d}98rCD)vSLAdbmP_8^5#&281Qw0^32A zl(z>OvsEpdbMhs(L%du^vdTt92@ktUoA^>~h8clKvaTF|M6d}N_;&8j?Yi~5o{}*H zzvy3rP;64GCjHf*kb6Jv>Hb3(3a;qPEO;?5n6AxX;gYz%oIknkt&=R|d#rFUMRH)+ z##T)+Stw)We;y7V6E3g<N8?2KjW8w1@KGhBX@XRR$1?;ZAGt0g(<tT2GPIKLOmP)h zH<c|%6M?#aEYW8HU|y#?FK-kTaE$Xz@b`mn?7e1m1L4d?GpL;eu3oRKqJfU}r&jn- zkgOOO<K_oECi>t@-dA~v$<+grk;-W-Xi3)r9mO?*iO&V%_-t|2)2<yl7~-6f0~Cr4 zkDR#L1c@D=J2q&_M~eSkXx_iCFRJ0&c}wCPI(HF&m##KM4oNwbLZL*HF)+pcSOe54 zCrMxk6l9EyqlHE|_`0Jyg0^oQ5m5Vw9b(MAGL(FauOac>I3YaVbexf3sqP;7^cQ!r zQxZVw+vxEKL21e36psRxUf8n#(iFg$1P%kA!9rtSgm5J)m$eHKNBT4trA*)yyfB~x z=iMQHLHc3uyiAyrv&f8D#l=%k1^Jj@XHIML6MilSfAfy$@bDk?ckpY4*>|MDMGb#b zLltSFm>zLB<|{;QY$mUHWGH4~18_A<biL&MvKL{mc$<>b_|(&^NCw(^tY!XKIT=cR zyHNH22rDjkM~eF+0@y%PT^T~p_5W^xr`{BQ_J`CL?UGK%<va;z1J@Q8^Gn$C!)Xd3 zEMTont#wK#cz?)WPy5et`G6w$1E&Na279~bw#xn;W;X{(oH-<7kEeaVv9KCSLjfQ$ z8W@6&r6G98%79$?Oa01fz)FL#@&W(3HZCq+wr*9L^d6`%6jZa-LvkQ-jZwk8(McD7 zGVwdirm{@gWLnyUcH+D3-E&KbqE56-K1Ov&Rkb!8TkQjYBeZ|m-EHP$80cFr`XNY7 z&BDnQkHbUhZgyZVCgUwAwzNVA@Z)cQFVxX&=cMB}bjFB(n!n-{Hb0S_91(6l*9G2i z#KKab$9myR_}mxyDE^#6)&Icx?RXS_kTmUwi*9&MUOsNKb!bR(=+@f3<i)BBP^8x$ zp2@6R>lRh~oD<-$AO^2Jk^xmhh^I#_4n2QM#KOc4x9?u<$!NEo(r8{-Yh{3`D|GpN z>^;V#Xk<p45+k`lP9ZdxPwXq>*D%FFP<p%rk&nrr>{e1%Wtcs_V2lzwV>s}C!sG4a zC(sZDE$%}SUClS4;F$A{FJBS*Jl@0??#(m<jP1*Ra&4xG@l>=UYGMjXEW13avIePE zQ4#AAz0wi%aEHPn0zL6sdHDI6;!7_r%uQXx#F=yoUwqdX`8MHV(E`hn9qM;Fh=UYT zAj6QNRraw@be8yiNAjl35hJ;O-t0nC-tUf-tX5I$Dpvf}+D_LdZG`v=pK%MBHvAAy z2b+ceBAT|Jdaz^ebK=X7;eUZou+_CN1v=bw%Qs!16cSe2gXva%v1k)@K{pIH%J8ao z3^6&lVL!4?LoqYpP9bK;^s?Zp6LDDJP3JA6H~#fHawo^o+N^?)1QD2jEa<F&vFgb{ z(IQ8W4&8JcwW*p-|8Jiss>2wm@f%>4{nI*#XPx@=7jO6T`sA024m`-gBbo73abHXK z`(&B{op-AUq$A++&fm~HPs1bQ9Z15rfOJQ9w;I0*_OutL3rA^pVEiU2F$_R+#RZe{ zeZvIs{|H?LI<;yIQ1A4AoScJO1aNr=Xs;)K`+c=0$52eY7fd2EK4;kP+kB#4yh#wm zKD1OXA5Iq%3n4jWAi1|>l(~>>42;><z<hUmwf`KP(*@%85A$fU8VWW#j%FoS6UmX& zW_OIGl{J)`J0T)xLx9AOQw`YP3f$l_O^=$b?sk^~S1;ggG~eof)!Keobccf-iti;6 zXRx&U>sz)=a0nT^!4e91eV>ahGg&?O&F86VVBG<|q28r^{VC7FBw-GRa7ZJ>vFO++ zt-CJrWd6_9E>yn{hj2t<hqJzN`<MF>Oh+nv!SZzQaaUtOxMo<o)t)>kHh@7v|F`Rm zxlVy%QNgiP(gtpSO6hgSo!-Mu(1F%7gnSyoGN8x`AsZ5<d(KJh_qG@30UcLITn%>s zIjLIM>uRI%9t?cGo&FnAiAVnTB$%4}PP83)BWc*rl7bDnEvJMo#+ZlIr+&*b(xvc$ z-muhyql3yU?o7>z`C&x`Iijg4jm4lqtk!+^4bMGp*1xEKGdWL#Nk*7;DWzI!^CPz; zR+^_1aPNpF82lzpnpa8*PZyzbIUn6@K%evx@9He>!{Y&zVg$hHA3+76E!#A`mSWZ% zb5QcWr3it5ss5o6HA1`mK2sbJFlT-6wpwSjjV1s>a;Sv$oo-(7jn{I};^s2c&wD6k zc5b1-O>PN)VWH~egDvxh(jXdYYt6H>BqCt;;za;!prZ)7NYlnTc?dkdY`t^ae=-X= zY_6ks?f9eJGy00xRp~%LttpLaI$Ey)EX))8+#gl{4;-<ot*^`TeojLP9AM=6aswH^ z835cy;e8O6QY4k*XiOh*5DOcNC4)+zGmDO~7srQxQ?~*Zmgv%P8pU#={2pW=)Z|yx z3zR6$eCjP8iq0v6r8D58BuPgv%WrT2<yO$*R{Mfwv$^VOhXBJ&Wd(C?oWU#gCZA#! zMxGi12%+czX;?EeywHq?RR{ERnep44L(3Vb4(iKdVY`{uE!V8kHi$atLV`%Y9`wm6 z!uaWbXhBW-4!>UKM~V=Q5-6ReT}YAtCh~#C0v;X-I1GM7e{x83A3D!BmF^rpokA`k zPu}Khyh*;$F9*IA@4$dD)a4rSjjBO_DK}%R3rx8Yg`WvRYF^lu&(&|OdiAQ+)fgjQ zzzq1LvJNy<9-J`r8Dl?oY=I;yxw6Lir(4&5Zmq^DvT^+g%R4?=BfB(`4L{&)!P$sM z0p7a`J^3hpo1WNQIz!o~7(>j!LhtPqQ;#?Qx117C5-OO~wgH13$e=glS$R*3p&{ot zp;Ns)e2vN8D~)SIdAZ8?>Ev1jwxvXj%aNslE^rk>DMf6htP=GS{sG;wUwtWUR~C1F zX$z}jZ&$VgCEtm|<HI;kcLVyIqk-Dy6*RSJ{DIrcu_&3+Jt6^us(5Cl5TXXDMb}AU z=0D0h@tEjF0=_F@6uwar1v~j4;^!l_cKQ%!N9YRrI6{+}@>L|j>koPT$UWag1r?{@ zU4UeRylgu-hece)nZn0?&klSN@7tDtRD?rs2-Dk3{zMlcU{BHKWX9>iDoYmcG_g`S zv{Y!np`H)j7CuA%OuUTA_(v3k$C1)sM`E|$LpaYW{uNw=rTf<=oDkxDgQm4Vx;eki zqFE`WPostL$^exQ<4GIeAm`27H;q$@KC$E2q1=iF_ibCln+iXqVz7%8qgi=>_n*v^ zx%=Wi`U9u3cI3j;jJk9Tz}hbR@PGKZ6~iKnEO`40u&4LlK^qL%!`DTphh-txl!=x= zkfXi;BZwv$RsQxE<kCq~sZ<UNtuVrGy&K-93%#S-Ng<WYaWd3oO6le2e$TXZM&{$B zna{=|A&WNJKfYYZUb*bUvZI-QH5K)B`zbd1DV}%`Fg`@_Y8z<T*zHD-cDE6R^=wiv z|KO-s-gm?f+rW#q*>~ErQeKRHO7ZXs0)<i=V=nmwP9C%TE&#;xRW@!_2M#J8A|{np zO%9$UCSlK)n_kQ%YZ{AQMNf(4<44CTp2uSj5iyk@``77OX!?~us-+8m;I}%Q9TTR5 zydl1?>okl$bx&Mx1dy*-s$5yBz$RB_HcgAa3{lw=izdnnx!fR2M#b_Fl{zXtaqs;e zW%9(zyG46=j8>!a0UeI6b|bi%bhm{HE?e`f22GR`i+t#S(U6Ysq|>wL`pClgQy5Af z04%x@R8VX5;9l*Z2XU}_auS(=^1nW2!3^O2i$*~sBt=~dNfu;bKXH^q`;Uhquv7Eo zmkYhDW(5=O%O4haO`SIP2bVWcvOx~Ht>e|LuFv(3t85C0VRm<wshZ-qE8xRs9tyV! mWgP%M7+?-)zJDM90jw<h?Fs;r{RpG6#Ao{g000001X)_O9aseb delta 5409 zcmV++72fL5Ea)td904e?9bo}~sR`}L8kym}Oav4kV>E|@yyWP(g2T99f!SCf@ZX4d zbYC?EkZ>U-`-gG5F=*O#qgxl7#>yLwLu0<phRsn2Wt<Pz>3Rp&7gznqesix$)3@OK z5X8%HYbdfvN=(wFV+{nqXGwmxgfBs!VA2$t1%dGc(*`LaEnt&5r2b5Q-yK8N-p+s| zePKp1$jk%k%0spqHZhltqANphlotpRbY=Oaf}g*mSr273XZPP`S><Mb<9pMQ%^OZm z^)cqgPg|wDZ?R$0!<?Zx0BV3ofsmy55<}hNds61EC^Ek)g0fwik-Tt{)(avD)6nkc zTV%bt6r*%eoVD9vpB?^x$5ZDfr5?Uv8s#R6_g&1kqAp09>?_-hd~Ei1%o(Sjv-2;c z_E5f_(bCi_6uNOF<P{xgagR_<nnR^p9)gYpGZ%#`yl?N1u>#wn$Vz;CS=kieJUKEu zW6q{J+Jlxj{(+!o--VZCJ}f+=##T^67f?;{TQcB0lT&eYE3NE*HV5#LY_()#;J}Yv zr`B%>+=}{EJ9LJ-2c)svl;%{8oPcaZ%$sADimfxi07RN-gMME+StKmM!We<-zSKfT z)<n(8Sa*$3cG6kNHWcWXXH-&nj~|pQSV9*2F%afUv-6Wut^U)A7IIesUF<BcqbW1a zf$ltfv=62p=9E-_V7#jvyKLIW#P%r|>l&S#nWFm7^1AX0(Qqz(uPR*s9&jy-%iml3 zDJS)RH1n@<nqjm$T*X-QKLwQ?tj~OmYqRB57OBqu{{~qZoSz9$<t+HS(t{ckElGNN zAMktDgyeJbmI!knC!ky25x(D@KFmf{ebmc}FY59f^e10`6`xr5W@+lD%_nCpEA#>{ zK6gH1lSE)%23iOG3?N#O5CiqI6HXP(A0j^oH2n>8C0vkU7hLA+fjzW7)|-^fxQjP^ z9J~onG&{_+UR-kL6_C5vsof3Wy9Jf6KhnWGnbM9SFE=}Kzglx-sonAx;hTI;*}O{! z>x}t2(gXc}_PJ>Hw_5}3t#|3l^<w1;shjdUM9OgUxX}T`MQ>J>LHcVn!oh5KOC{)U z@kE=HsjDeux8~kMX{AO!FbJmpI{m?aK_C=FwF|q^zZ-QsA8-D~v&cSLfy_#md|LNd z5!y^K?7)XuPT_jQEt4v-T^+k<%%;p4R!KS|vfrG4t!has!RSY7)u!)oQD_rfyZw}i zGI2a$A+nzmKnz+DS24^Yb1$1|QjQ}?A%MiM%+|uO@v1Jr$p0?8Zb5Lx`?+_wa=3t- ze@y_O9|Zc3giA$tR#;)j4D}8-3<Zd{XW-ZM0Iw_=)@5PipQc#_$FR9e7T>MaU|SVs z=R0tJwD;Qz3Mq`WdJEyzKRVd>>n10c|GM=l`$@tHRid7NLxF<3HK!)9xcurTSe^xs zswg@=!%X=UvwZvTxKXH_RXeiMHy^p9Xz7uUXl*RhmXf5}A1hzL1lyRXPH0H|>j1i9 zHe9xY6j}Tj!F?_Kyc(3RB<Sgx1G*zS*fkk{;E3po<_1AYnU1dpK`GQ(7`u!OAm_B< z@X6e%hWzDtanli;_VO&Vi`ILk(Lz48f_fG57{X}7a}j{Yul2DJ^uA0Ho(aI$yVPO7 z2F6|hHjk97ZeT7+Pt7AC1)|;%vJMl4KFe@S6hPl)0ARQE{u#FB7!rzX$)K4+ciYZ? z#>L~Rb;>|ohVlaqis547iW-uCN@IUSotT6cs^FowrdNIa)ZI4wOZ|k+=j|F7=J&3_ z9hwegSodC5vicd1Yl=6mp%Hq8<(dkj<<S&o<MpY)Doc29UPRI@yKdX8R5U)sO)nXg zTQj=@|FP1U8ma06J3%UNbP{`C_2mM86QH(X>H{yA4a>CMB7(I23f3c5zYW{RbbLYX zZDO6w{vivF*Yn8+^gVVs6g!0aF<{m;Wog9Q`9W@KifRmtPt0K1zrXeNlw;1R{f?B` zqp%!aL_Sf?WPjn#^;kL5V}*?-9t1BDP^XiR@b~M$9d;GLn<c{KP+~#a?Z7F2&|_o9 zFP;NfQ_~ms!X+3zZdb##@TpGl#RE+RW|?Voql<grlsKJt9c5pWVM*3Qdt2QQafw0c z*%#0dx&;%*Q#{@NYzXjKvh1b|dc7abLDh+6?ff6;?@tuK`14&vX+<+noLSmcRwfaV z9><m89F=H^kE3`^6+u-dxh_<Hxo^EpZ`n@m%e1DJoOV|4{V--rCQ@0#=TL$jj@}L@ zG!(7oAa_n#Y1MHKg3s_?O7q}m@TXScM37F*a0g9$_QNf=|I*n<Y>c!MK-TL0oiNka zsovbrGn%r{C2QV;Ek3T2mtY=xwjj%8R1ON`)&zl*+!vI3&tAjt0phfO78uk<c}>eH zQ{^t-24r(ou%q1pC>wbXNY(j>{@|~e@}>G)gzuCgXZsXzekSP>F05G_VB0?7QP#>a zOP;Gd>PCG#3~|kevFTPQ>=2{UnsYneR&;}PD3Cn1XNJAKpo7>nn~|)8livV4`Pg;R zU<(y)uE5aDM3M*akbV1qU5JrjxIk=DJ!|_+(o%1Ux8-YEvH&=qg>Zp}OjwA4&uc*> zXrDLN8u%U^PN88yOj^(mFi>Xg$Q;vj<_baK_z_IJJmy53T-yw`t3KfEfM9OI?aAfv zXYO?cWT(Y6d=B?bI|EBi^81P_rtbg3JC>4nePvK*`1tYFW`}cs;(e4dv1Uf7j1mWP zGJP7kEb)n3ZGkC;c(vn8UAKMle&UI&5vBo$xJ9pqOR>}t>M;Xyiza$H)%&7@eaV=j zi2>#7hEUH8PC))#HNQ$n_ioqq>;#PT4N9f{W`d&m0kS^ILMNx{7j~=R_{0-P?0YF3 z`8BH3TW}Cd!Bo(HdO!J(R~@>!m0?ldk(VRzeV|k(%8YF2B|@v8!G?_M#^I2{rZ;8d z+#zy$$r_m6ZD1R95d4GB*)nRLPg`7jk2RXcu<~OSD%=^Z%R`IN(NZGhx@QFOR*75C zxWKn9UQ9_3k^^LiNL;WXB4G9BQA*~#M$m&$Jr#~Ouk=WN2QXNq;@qklONQ;XjtTXd z(PS;dv?~fO?EP0a?P+z~>+r=UQ|ZU1cR4dzKCFqHloa;z8)!}!2r#N?o7=M0<lcSC znM#qxk&g^#l#_Ddtf;&X8lVmYba?p!*t^)3qXS696C^pBUzTXqxoBo#c}6u3hI;)| zKbEAgIRZ$3@)pqS9L4@??va8>#e%Oi%L|CvzR4`D1@1ZleqC*VZz^6Y+PXuNnLq`q zMtz9~%#85ya*A>2=p$K%RNf3=Rn)}o=>jggc|ZZc@u~vS9^Mo&8(-qad4Z`1H#1qi z^1^pupd>^2DQb@p$iJQtH=<>l#KJzk(C{W{8^92M1@jI9kk%Ojg|Y>6ElmV*BS5e1 zXZ>pqxE~pwc1Cp|xNq=*yx%#{-X^)ih9$LRF?Gv*-7BFBp&ceZ+2G7cc3({Ow20a5 zj0jka+5-<T!~2z@ZI1@!;$zNW5fL-lmp>m5+qVQuOSpIixL$R>`i`6m?drGdssKZ? z1AD%I(ch8bM-peg&n@jA)c42N6!kk#WTo1$NHw!>fY7&Kx2dGku8t1pXdPxTrx6GM zm{(4e3_cXaS!ZS6bh5(EG>dzOq?|#wm*5d{M8~P~!NSX;v%T3}%%9C6*)d%m$#~Kd z?q2J)5nNJpReA-YVo=u|Mf$aV9jYh<)u?rUgW|KeVbh1na*aoJ6|$Cm1j(xEvacQ= zGu?}R;*SKE>B8+g`G;sNR-C5iy96Wgry;{o0XVp@w1Ohp60#0jQogL%XUS$^mDsoJ z3{xlTjuaw(T&KGx3BDpxirp(gZ#L6VXp|YOxjeXD*smO!aBInR(GUGW-Tl|wh5)sH zzj;JIu?lZ8!2(dA>Ta2g?A{poA{yGT$O`j<VVqF1;P?k&w#pZJGHCSh=gl2037M-X zR~TC*5x9%>ri3(X<fhN~1YPVrII_DA<efZ#H}4*WH<}*~Z?Qri96`E+mZZ<;QdS00 zX_Mth%d%{^Kx=c{jttIkiV?;%MzEuQJQxPeTzxNSCH!z3yFxeSeihmCydiKLARuR} zBX>X+)clae%|oS!ZykBW$2LjdpFX0y(091Ccd|BDkix?^)X&sj2s&zaanZLbS6$-g zWP+gX09?!~3TPl@FAA>@EQW0>hYo~Mn?MPPAWH{J0CSfLfm*wZikO9g5ttx<0r`1) zx!hm*@rlSyP*USvVnETIqLQP6g?4+VzC}2RIBv!T)WJ(3w(3tHZRsY%id{$;jSLvc zq!upaC#5}ze^KAOum=K;z@yUNcMK#<kNPl+oa4gE!D&<XP-qJzEb5?!Y^Y2+pb-V( zX)2wT^@XG!9WsJ`oU6nk-1$F$>)xF3V==9CIP|U5_!<Ei_nRT6-HjQ!hd6G3{NTg) z#nP=mu8R=ws518)S+%Ihg2o})HfDYCN$Xi}ypjqOePMsq;qDk-nq_7VR5AIBa>d{y z4Ly7|>3=A#IU9DKD#)px`M%AY#~kBBAD}caoPLhGn~jqb5`8=n?8b(FUV9iIuZ>vd zcZJftGx0Ip&feR0Ubr$rf=SZjVAYHPJQKxv4u2P;#9-0^^j3hw>Y=?G@h5)gUYoz9 z_8HyjQY^HMnyW*0!K3Is6<C#N!=AECBB{g_Bb?f=I?M~P(;n2w!O<0&a#rT_92Gr{ zXQNPBYAOHse7y1;H~P$f($rKo=X`PwPp!uN^Ncu7sR1~E!4<sT3L}}Wu_3H93vYwc zc_gQ#E;R>M`RpU<!vO|GWY?7L6R_c-?J4>-of7YMc@^rY&4Ft5F#bOIGY|X}S0;J+ zhI2=yQ)faCfdH~jgeHFmJ+)NTtzi7i|3?KC#zDRe;GAY77eW?)0J(M^uYY~XS!jiT zBAqF%p~zzs8?u;k^;;@Z_3h1{BE<>Wtw@Csi$B>!Cs-<zVu!6OZq3fAl17rLRJ)%g z8Bft<%`4eke7+?mEbe6I&BKsWycQ)${Rf<$7gE`a5b58VCYf-QJfB`b$JKllPa^)e zw_k1{?h&l*BF(>l2_by&y#>NLc-QTnz%q%0rUq>!#v$H`<xvbOdoH{wlVV2ao>Xr1 z{74=}G>>oFW&3H1)!pYx>nI~e4u8tyDwospj}>r{v_MGIUu1IC!*sA|4yXHaGY+fF z_7Yo&IO42zEbInU#LH~Ecm7i1_d&6ftNW(e3@N|XWXz#|FZQf{Df5Q@`#@1F_Mgpp zX*z1jZ%#Vv#yrI$o3Ckr|0X~+|7ERhoijGKXn|@dW`je%<qPF)j%pO8CU%WGknU^; zzEU6Mti-I;w7LL>pW6w!1Q5ku=MHE_d;Kc_+5_Xoit13$h42r>VoMpWdLdSG5B{Nr z*?bIzyoarS<Jlc~7a`YP1zdgf*x}6o5yOHhgWU)Amy`rwaE{Js+Q`<!@=<CD%Hha1 zn5VJT>Nb6_C$&(Mg|ZRToZ`QVn}q)mWvy9pF{`P^{Q+I;8*kF&F4o4nC40H$!3yLy zbkh1|9n@6$gTNZEp-Bqn1^r{}UgC=F(0s~ZWp?#{gv62T)e_rvPwS}$khWq@!!S$u zemUCo@ILtAtAuEL%B?+Ft*3F6#CTP$Th1uLA}f)+_n+fXMRgt*o`(yT>H2-P{TYph zs!&VmN;MNfFtODqY^PhhHAQYge1bQ3x9hi<R1rHn;M<Y69MUozA~$Que_V$?h(>jY z@exLUlA3zd^M0SBN0MOV)p#}$RkdKObDFB?YBa2Dj=(2z-+^XP&{%3((=hdSP>DOi zHBF2r4@%tQxOzpdXSuKTY=wL&YmUToP_p!aiaXz54ou|LwhnndP>ni^++DE)Dj`@b z_=f?My-xHcveg;<A)5MfGyFVA@|G$Ue)#==wk@Wf4J;9)&enX&K3)gZBZ>NcC<LiC zQ!HZGSm6c7%hCaj`YwU7r{g~{9AWA?fSNU~7<AA!BwA0Qri%8^bqh^=!bK|UhDQ~{ zhtM@JqkJsZI9lx5YTZ19GDhy2bk4?jpX)AV-K2Dwm>%`4a?(fG5{q^xq+>VT)XsT- z#x@tx^2wou`q#S5*Euf5J9MF3O+FRP(121k`m&OqpMsNLj`($VHDG2*Kx~rNtck%5 zQyPnlF&Lam1LOcnw@tmoC5uBOF@^8(Y_B&UdT865tdRFt`g4Jqu~Owhoy6H=dv`<i z;TWV_vq&2@7!xoFx%iqh>og40^q0whhA6;Xj;jGyv1({Sz34FZ@ArMBNr2b+!)0ER z@S@Ej)aU;`*V!G6*;i1E3)d9WS|50<5FLA#k0MvX>5oYQ(F2R?iF2_XlYNX>?VWF} zsDhu^aIl@)abQYf=*gklVGY&6x<pLuvdeZzNzz4SP4}_+tT8991nsrxpIx+nvIkLH zfeb2NW5fU;$6D?Fz!LVXD&nzmG@GgRCLpXfjq{o~5geQJR}yfhOuT_^@9X4~{pzOb z?<pDqXxH_)n{VnPRq%*?92HrF{J=4Vc#tb$oJRb@FU^WJgtC|;9}=_{gd%rGORrKv z%Y#!_>Eo`LA<sX%u@?$*ht!*YqIE#6m^YH`qH&WbV&6aI)N%Cd1Ywl)0<aazGX$_Q z&(}UW8r|2nyIV2Q1gFnUbR*TJ5jO<A1<soDDTij<JdixJKTLHwZGzoQUh~u&w@%_H z)l<mT4z+Bg^x5_EAZHygD~tzVCm$y^^gJno5--KLXsNN2^bKjGpO_hcYf94~x!}tH z@d>qX{$aTHJriY)Rn#tT51dC2i4lg5Nx3){E=>Qd*02c1C4xC($*q<ZJ1Fs5A`}^z zXt~t5C-Awc=6CP=e{>J*O+!hrf_dugw3xUw26cZcXXF!kz|qrwd?kzo-tS5|4u}{2 zv~&+}`Vzp0b4l&aObUK~bU^PJKc)rnMkiTL;)A;t;kmH<d3h9^Cx#F%^R;ocmVeUD z(;lH5k0SlI%G2_L0ctydvF3+6Llie^HP6dxKw!|tb06xD5@c>&{FS#N$Sl()--Q)M zO$_ic;Bqd!kR115QOO1`o%hCVftkQ@8Pove51>5j9r%X;0mLj6`|Sz<rEsrDvBYQl L0ssI200dcDS2LSa diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Theories.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Theories.omdoc.xz index db0ff576635f708740d2463a3867a08c31bc8b52..ef4bdc99ff6e8c85c5bd29610871e7ee0a583d7f 100644 GIT binary patch delta 1177 zcmV;K1ZMky4Ezg_909zs9b5r_!qwSwb5>`Lg|#bF)$IdV*WN%MRDta@Fzd(rW3UJ= zlVGlGo1p6KX;3#_g%VmP0eXm~z|4y^>;LiZ%Mup1=`<HsLQXCs<C-hmz<Jm+R8zoN zs&XT|e;mU6k)bnA%38(a+Rl!}xZxoh@qN&;@fMObdiqZyWJdZ0GAl-Z>HsM^E+}HX zi*magn@10~Htl$=02KI4A03crPgy~=pI|K<l)Bw7)D>+!J%<EuJFz1{rxdT-V=#IU zqJ8Vu+*<U5m3Yinu*;NueX#uPxVUexBn^}7Z2p7zY*R%KSGtv#k$Iv5sEC^HTuVEW zZ2<{N=hCH`<%P{(L$fn~!{(%L@l4G-m-+*+jX4QTu_Y3GQJ`kmm(yB$nLMK98Ho|^ zDVL$~;W909!;fDR+vacYVRHT@aV5NFZ0PtKmneSUH{TEUys=w-Z1;EXhx=2$at$+V zE$geU&u5BGe+#LKtlZu{wT~t`rC67aqe8KijUMGOBxIJ%Ku%MCl$p?`qPrN+M9P}2 z^t30q(QY--T!DFzC!SmpD>MGco}w%t_=%n`vvHru$k|XZAdJQ^kERL@@&9iZPZTqd z2JF~PI-d7mZSwPd;U*~|_zUAzgb02^pG88|ntTV^S&EU)V$1co&;MI_v>eZZTWeAs zs&W*F5LJNozjSVY789rwHoYyA7s&4#BkMFW=mj*D4g5j3Vb*(>8{W|U4EC8Bgtago z)C|&P^oLs6tDcGu%bMZ%;isEqp5%ab-bf;FAWTQ03@~&x)8TaE@IICs4>5}%I`=%H zn7V7T7{k+_he#HUI}MLzw?3Nz_wo{Xd^N+8L+}-z&Md)y6#PyaGFKy1F8}YLDr7AA z5%X;;4?}^dczx+I#O)KZx2KB3av(bM>Y`1~8{!7d7=}YInq&W?--9>UG8k&gB>57z zcA(+nWWtLIdemn~4!FBjyLsq0<93viN{{jDWC2r@MCrLRJnl!Zr0p)0ppi}<)8tl9 zz&XEzoFH$1*aF~JN%QfPxcyW*KcV{wavtEJotT-V=|4hiS2}c)D4lZdy{vU?v`*LY z5UBo(!~j#Bmk8KvNq{zCHj!`t&uY54W{TzyXPQU!*$<twHMj5;^%0*dbWYk%K#n~9 zP+#{tOyAr<R751v0W=mANasttH#Y~D28J69{;?;25)agJKmNF8g@~OF!`HXXOY!F_ zVput_Vmd(F)#`#`4%yfs^oUNw6&h~0H}ydbWwTccg{0Ud#q0rttW4wx&!7=QMYA<n z{Dpxb6&Jh)(w9sW#ULfpYtw~fDr42nRbaRR&>GvYBr(6o0D5t;G+>)wwA>hjAZ1WW z_$fGlYN2c?puK79QOZIt&WE>{FyUP~&xQ^j7ttnMb1o)q<F$?-|9PWOl{OKBd%uX$ z5395U{7J)`@t>?i=u(46Dr6yRhoyJQTgLoZN?4=ZerFTBV$*!_&HHq<1I9cD-(55j raMTg1h0y@8sU$HnX@Z~t0oV($iva*M@ZqBjvBYQl0ssI200dcDk7Pji delta 1181 zcmV;O1Y-OA3xEue909+v9b5r_%k3y;{Yrv=i0E^)z{n1C-^i|nTbp^Jad@fu?h<Vu zLQ?LHrQ;=}L{fqA^~SROv`w4xoQ_SzEtv&YS8V`^T{a$ib0(U-1DuFKGzup{)=6Hv zm;5P;-$XCaDGZzbU;w`8qC>UYrdFh3B|bh5v{lQu2TP_H!@ZmOC19|B0*Nd1m)Xp} zX;AbG{CQ_UHSqUY%OKoZ!{(+j>o4~6_&kWKi0I}Isa^_k(R4Q3ONG0>$BwC(8%&eX zE-;7w#W}X7H^F{Z$4=sjOn&P+TvIt<+)H$$XL>OWI=T--(3@!nij2a`z~y4n`}wG2 zocVSa%4EwT4*}#zVVHS;YdFJ$TWuK#YAu)evC7(7_P^({R4Yk%F;2z{XstP>KJea% zOq<-tJHpq>hnYez0~tW|)kLzHMU5?JeZd~}T`)l^WRqWZFEnL~V$GqX-bcj$Uh-z) zjN=W*mfHjiEZ|CraV*vg!S5`9%n{?ZwiHATbpv)ZC%_bL`Im-&wS2e8<C%>Hkf*E7 z{S}yVW6OY_xvE~nd#o2h5EDSCvGTwQ|9y%=O0Z=XE8%w8f+mZrnT3oU3k9&mi8HKK zm3Soe^Zx@(dQy*9jb5zqNfo$!vy}8IKn~;$94Yy;-son)bJgF_rBEBv+r0CfoDzTw zyKVmygbrPLG;R`qiBNOYF(6%A6JZ7Bo+~T1n+_1#?YWG~AIAzY1&_$e9-L24%c<bx zJht4jeCJV04s5|ICmz@8>!NQM72No9wNdj$s^<C#Uu0#Q;eW*ttHkjexw*3|niA)` zdA@u3?f(rsgoM}Sm%&~07jca9&<1zJg;X)+v;%92uz<0DR(9dle$BxM@k6Rnb!=ER zFS1w~yqX-!0uGq(huG+al+5htW9)#V-f3vkg-4sevE*3%Lt2ADFzxr<3tJBkdZ{=v zRUBH=E9I!3dKRkaT)yoR+qv!^z6C!beFX;XBnRdZwKlxmGkm~^h0BM>RBuKeqpkmY zJ^D{Nf162vtx^1^oly1pL}}AyqInJnqAQ@%JVq~)fHEs7rBy62g%(5n@!oi|{cxNs zU4EwNhJ6(qOZf-3>F4K0fEWG(%gCTvH&akx{eUZU@<v`3PsYZa2qHX6<mp{P=Jm<h zWsb{_q5wur^a%5XRm^l_2bRn0{yCCUkzEilz>UU#@gDM{$qUgegXW)1V4~(ej%-I< z(UPk8FV8gS8F`MIp{ZD^k%>OiuVb%|QWqu>osE%tlW6xFvDm?2@+_J?)av#;)JXeJ zQdYzDJ^9>;=&tk2XEE4>NQD0Y*?upz{zx89$M%CccA%swj6&_wwo)~feSTcilYLj1 zKRN$@$7Ug%2}IGmZ?JY_<{_i9EV|*s_>2@I`Y&TK7-9+g&diYvsZq*ndw0~kH(lPG zc|k`dOxSlpE8W|gu`q103M({RVVTz>g&4Tj)4mrktbpy@xK=S+Qkj%8WyAF0?Uv09 vZ^}HSzuFokNdN$NElm(I&)!@B0ox0(iva)-nu2vDvBYQl0ssI200dcD-4|3( diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Triangles.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Triangles.omdoc.xz index f3c432f4ce093db28f338290268eff1564e20604..89177af6ff6b8faef7d74a953730f17bb1220894 100644 GIT binary patch delta 4162 zcmV-I5WVk+BakDI8UqLsPq7_f0e>s{EPU0+)p3qYOZ6Nt*H3lSR8;XSMvL%y_|1X2 z{@21RrIs#3$9P(P)=zP!nUR$KKy2figj=o6!}F#o7NO1akHuBwX-&P>rFEYqon!SJ z%<GdLycMWP-j#KsjZAG6*YV3Gz~nwIbPflVv1sks{VDGnp*I^XCDTl4x_=>@xl_(G zqzM(S*&UkTWk03u`4MP@89Ju<PlsB(+<TUS8zc_Zwyh>=Eak`QVv0(PrjNRG<!5vW z5#K#1GtS!hQLHFTp7qU9kB6J~i@HeuE+xZOFx%c#?6@g{JddypEDZ9fAi_rOO1NU| zyW5R{QCR?rfM1ODjvy8|;(sNrJS@?e!P$b7!mPZ?mC9UG*V%72Yoj@0kabmwFKCbX zaFBqF=qVu0OGf1v+FQN%fh*-AEZG_EBTCib^s{XcZv<y&T~~{%E?qwWQV;}E5CUU+ zm>4W(&AI-q<2edFjN?d`KdGPa_CKls>dJgQUFEe|NuF4FX>VTP!hfo5FqpFyxyTGv z#odAgPZArp#M?wt==+Oc{?6<Un#q|<6sc@=`hCU7KN!o78^FaYWgIhY^cPJbJL7cc zV#6D&4RiB}VXKh}V%NKagK(TmT0b4&vU>5s4dL&*i3jq{%6J=hrnMoEi3dId&m+Ph zo@OlzN33!$k{6Km*nfNqtagO%?aAq_oA_`bJXacAwno52OY&LY`zpxjf=2qVUapV! zjZ+Evs1M<8a6kg4x0KF>n3lE6xZZ+#eAPdjwaJ4aI}v5x(FunCAIB<_IjNArd2zTF zAe`H2c$-eEj3OyS**}V!8BqR(AEPk83faBdOGPG!7b!taRDWPH<}p1|A>h1RW~l9D zPjqg3+%X{tKZje=2LW<M>-R(daf{0wzfdk!z)-1pX9=DUOd|;}n8Ja9Vhd=^sfSwC zDe2t6$Sjjz8$*hB#xO9VR{dO4TD%h>;S0E=9`2O1xYL9O8q<m=4Rf|F`8bx^Nn?s* zExMJ|;V;`S=YKum^+z0bGD>iv3omiE(n1>F@bDu<%Gt;~hCo*tRj#lci?FHu%0-<5 z0^3Taq@>~<Q(xvlBKfkiG1sutZasRj^wvP!zgSEt9$UN!oX!!GwqmQVPtq|YGIOfF zC*~s>#?4)Lv)IcAbGvS*r+(ge;DBIC4z3Sih^!+s@_()`ffNSW{@<bY?|yG5W$(YU zCw(e4Y)eo(0*}iTMBNU$Y|3EneiJBUeo-GV?N5oV%jM=K>>6(%$4hVIsw9k{zm3<_ zUu5BFd~hbll2|QHps1S$sVTZL^!b~*ov>4Le^iciDQ}^2y;HR~7w%I@Z<#scK#AT$ zrRiZt3V-{+sgu`VmU;^OBI<2FNOqN+2r2(Bj)ZU%sc10O;00p|P(<#hmui<4+YI@X z7LA9N$~EA)Ytm&IsFfD}JP`a~qiWdza*z0L8zhKOCB!i%oS<dtrWkANeaagWE~O=^ zxhB(xs%aB%GESBMMT4E0ry6o8gD!)RB@SUgTYt=xL{}^OFkGfh{fnp(d6+8D3`~T8 z_4um9pGhJ&4*E;k)P{~8(G^w=<Og$d43Vbofnfgyjl8J<`s&URhd3u{eF<bmzP|fm z5r>4QPnK}7@}{-&z!#~Nex%#`XAd;N5Amo-3)xLaXk<MNJS_{LEcU_-_m9;FK|N!A zs(+qjsYfW*W<SL?3eE>Nk)SLec}xMCfQcD8{obN6f4c;0&tJpmi~t9pC7{*DI-~Cr z>o;o2(3Kx8=6eT^EaVUgp_FzR^mjPk?R(gnUD*D|OHfqSjMvX;mA3RiA%$1{C;>#X zO$Vg~lP`OZeMmN$$h)}ww0%fBV8t&njeiiB@3vIs#1(xJ`U@D(z5w2h#D}phX}tnG zAs;eEG2*BhsHx~}hWF;B@E)v6v=PqtP<z>^*COng0GJCYFkGg&-E>%jgwi#1$2p8D zGTxPgSY5FZ&&;xAkQ;H{1sTC(RtVvBlM-ptcBUusB(6q$lBM{qV_X_dJIaoH&3{hD z#)w?Q8$?Rj6)(b7ZE4R8PMV8cAdbzB?MZuFOqRSGjcTEbRB9x#R?th0q2ISn+Nhb! z6t>0p2-@M$kc`@^9~gj8$mq|bts^_U(kaBcHc{MvqQ}$JgVt7ej6ShufIqfMpmF3i z#Y5Xnw*V4ZWpzGH>B|YAI%@wk8GpJIrVxA|v5wJN?2dl%>qYQv@LdJ~sLR18Xd?or zgNqU(UM05i(@eNM*fCdD*uGGtDEi)uw!_4V>-i!&MV~bsLAoT^Z?k;O@8|%b;D@>1 z00V*-Io2!q<TnJcC|FzbNxzv4CGzuGwU)_V$0n*1lPQ=aQyC4yx!BaU{eKn#fowuG z#3_AeVpeNr;z%qu|2j&yR~;BPdiEP%@y_+ylh={JCQe!Ma&HQ8rRrD4sz!aXMnEGt z>J(HiTy~aTrVUtbD`|F;p@Y1`6q%4_x63M2ic!hKCn;*jS037EbK5ahxo;l6lfx+m z^{^xW#31xdso!Gu)szeBzke2LzLeCa97T!I5FjN*2UuRBbJQhk3q?IqTGe?ehzwIY zDbZQcwJQn~AxSNc{V;nC%@Cf%mLo#AxI|gqaqA+p&)jbW#Y<BF6AH(o`2)h3I*>Uy z2L5{bAZkBKr%d9NIHFpq$9<O4<it9~!|&Gqe69W74%P-TXuPEN2Y;a~t%GMd-NFLj zr~A>1oLHjB5V7!0PO~5M151C`NcTkA{5yhW3^wLkK6K3nOPw!u6=a~P3_=bQ$lY)0 z(W#u9VKgDcu9JIqhUQ%%&Cks$QJ&2yO=X6rhPRF^Nsi2c*vfW-Ba4?W@F<GV@yeYF z285|c04G~W{-JIV>VN+c=ro(Z*7Mo}uk&PKu!C5#zHeN7e4}^*1;qt_J~^ce&s%rM zMf4ol22*4weKZ|>(a2!|S|0eEGtXg{*$JtJHrn0XI6XlXRV(JSA9I=2?})Nu^>1v7 zfT10l@#U5q>}olCe77@Oij|*_Np9T0nsd24)#`2G#Df4@CV$vY00n%AE@w#zhc9JI z3l~16D8W$NZE_DVjpVy}Fd{b$I5#^bdaW5`%G=dZ2*s52%gN{VRN3@pk8mwtigver z91dV09=ArBJaXwsW1I77^rrBT^I$*UGB=uAxw;7{-%-vnB-EIeG?_+Kyq58-DkddM z8qfw3)1K4>L4V`Xb<ETp8cpf^QWj^v04u@?FDO{cFFL5<8uLL(7g(bJQ7*H9fDWF{ zn~ceH3EVDxzQqkCl+DPWrnm10?L6-T^x}Gt9`8&w+2<u=V{&~4$Kb`Cit%-fx^8E{ zsQUzLg^7Y^RF|V^-(uLBe1#E$v#PrFjrll{1FTd)8Gkkr+%7mMX$KXeRidjYac*RI zlI4Z8ckxOtonH3G>kAC|RN3-9xa(n3HOvPzZp$U2Msaa!Q-c?`9Ia4ePT;9n^lxl` zE^W~h^wcnBGOP0dYxZ7NEa@(ZxDI4=q3-Jy61>X|TCn*n9Hn+=vx@qt!AUnZlvSc% zc)h*%Ab&zhP`QZwV<Ga{LQ)r-XtnIPwoPGPZIQo;gVaz9<}zY%YJKn{9CT4EA00(s z;I-d*tap~B7f6{#6|bDaOoEX~`OzhIg)0;zUeql?0}V7$_{$h9Wxil;@62##HItd0 z9TH__)<Y=S=ZMeUNZXj>3Bvk3^+sUS*7K5SEq_o>gmLmc%hcX=k~0VwJLS_?yGmfI zJTd6+8(^#%;e(l^Gc5lI);72~NKE{6o_U`@`W+k6>E??;KV^(FW1$ffOF;p2Py@|Y zv}2t1OLK3l0$~9YR~Q9gaeGOtiMyJgp_Mp1r?Fw5A=0tmOH~<HB0lBr&8LJ2G@iFQ zNq@zoDW--pxG~tK!zbi*4R)+k#5*M6RWi8P?+&C#WwfbDKxm16sg32ef%m)7V08<a z|Bpkxc<Nj%W;Sw+FLzYuP|K@blWxi@eNq$7T+2DKN2wzCI%tx_Q4A%@f3{F~g?~uK zI~Dhbm~y?ViLTg=`;)ri5zQ<ijei;j(|>?(6K1&!qvf85p`7oTGI)>x3z?kB0H^Id z_i&5U9R&<!gBnN9M6d_~Wg)rqkto40L<_PEdorQp%cDOK-s!*Xu|Uxc&`M=!z^siP zx?rD9w$;q$R#Sto7Jeoheors){R`+Q06*U5?HjioZYdAP&P<#GJq27Wh(AS$R)4Ao zKr8eOk72tvt~qL$9ijEEgHvA#Na~bXdOG&e^787G@j+eol8K0s0)lBIxY}`6Pdf_4 zf_dh1o#4e}7RQ?Mi^LaK7%4U;F4ELIg65Z_&fcyab@hN?E@K*#BT?H&%M|(P!yIC! z-nOo>w(R|Or^swW@xWj5XBAbzZhz2uH%b|gb!D~Yf710bkyj)fHJG%w7-BQr9m+8& zG=S9m0^HR;TW1Pj6@C=cA-@Ba>(HULw&{$zFyba*`>(8G1bQlW4mb5IPR4|7oUgLh zlvR8;v_VxhhUR=PJgxk)8yxsZVA@QhQICd%+lBVlJA<T=MfPa9!RBC?{(l0Eo^_i| zunSO!N{;orDZPVj`E}1ro;(L`OaC-oPjY74YqOIQds<D}oqkjz)w8QSBulJQj^P(R zwlw#^HcDg#u{XBWgMLHDSzLgX`x6-1OH9<QinR@mK3oV$kvo`!{fPc_0A==EdLu~# ztHz^IjH08kmY1JI-wRv;&3|KxCr_Ct9FOZ-ueVY@!(}Dqgi79CnQh8I4OYe{BeDLs z3B`ASHV)hWI)UD;Do<4<tphq009fY~0n2DFw<{+JuAIGF*dXPRtr;Y75jW*Np0uVL z%8;JK&18g5ap&9tJ;xFu*|P_u-u>mn{TsfCUi=;o0}O(ZE+tE~ntvu)X<o8ram5SW z9H=1L2`fo{0lYYHF^#?p<9+8RE#VUv6y+XYgcmIma+Na%_~VDV@eS_Y7@mB1!WWHX zJMumv?~5>HDr!wC>>bto&8D?U#CRUPiK}u3#{2Bt;SuxR+icy>0#Is^8@J2<x*6}( z7@f_szZv^*?C>clhJUUbv~zarK_EDuFwYoFIsYsgIU}!u2WIp&;wcTeqHt};EL|5n z-S1}riEkBI0=Wy<1ky=EyyWAnq>cfSRHow=Dmba3a)Ty%sR1rsHEjTV6IdHy$J-X> zK6s@k^;I5(?SKYXA)VpY9?>ZJRxVdqM~7_g`RjD6Wndg~$A1YO3Lb(=DLuTx!-Fsd z&bKM=Lf;_r6TPTZOq%e5yx31v0F&HQs(tJiq-;+Y-o>z*(&5-QSUuZrzGv{93BUhX z4pS3B2~yU~sNQ^Q8nr)4Kby3d+`LD&h|Rl1k$?n|H-^CGMA{xN1^VOPQ6aj(vB8=d zzZq%m=tn$$u``#LH=$6*Lz9VR`q#u~M$fwd01DOG6lbba)c^tOB8i3v0K7|oKC#4S M`vL#}000D8T14^eKmY&$ delta 4154 zcmV-A5XJA1BZwoA8UsZUNU<GY0e>t^#z^%mF9-sR*K*7urlj1GviH%X3mVIpJOh80 zf%JoR3J|hE=$|m(=#FOb^jj2>gyNVQt%Ns@e?EMu@K_tK74M}773%4G^a%~)CLSdR zPF*V7whu3VuYFS-ne$V>MEM+U8CuY_gz!Dgk~tuvT2Cha)6sn2a?d173V*|s@;<dH zA~=fMQ%yPtnlTQXiRBNMBVV3A_d463g%C&hemTYXS~FZfFk|D>@Ip<#eC*RnJ+kdT zJv3l-jIIsMFk~jU%4vc5GIA-FSUKIC^Q$lQhiVNq7`S=AncoM@=u;!#M4^}^QiwN* zW|`n4GFA+xoaR6{ksMM2Wq-k?f_DR^U!-;SUE==Q(n)cVJL|r+^n5chcbmL&T&Z=; z3V9Hz*&4b7y&Y@~7ab7N8d+DENr!_(&k{nc?^Ki#OFfNG{u(Z_d03>`@bO#i(KdV? z*NNE7{a#!|Z<~oJj8)v}2VHg}KiZbm7^fp3YZ?gC)ev??Hgf{h=YKT(^uMElL^nDH z2n1c;AoL`J;M%(7yfr;uz(JZ%_S2_)(aJ*jBx$^0+|C%PziGM23wC>(3*Tn;WX^%Z zf}tO8(x;Lhou$_05K}x-Dui5KVd-xBSbi8N(pX_Y^Uxg=TlAwt0C-*LKj+2MtGx&| zm1j;lZ};KOpwoAPRe!~!6zO%YvFTIR>BS)lI@YR|2%OL{c{>h8e!UsFX%}osSiM<6 z`z{m>9Z+4FK|Y90;=ja54IyU1FjCSkH2q;BQ8&W(^qBma9AABTl~}4}URW3g<<G&_ z6fr^K;)L**GE<MQ_bD{wI3NBk#U~SJ@Df6cPFt27QZ<gILw{bYIAApKx>a!Qh^hVs zP`{GaO~BLd!ZN3y)MFXj_Rx+GwGY{wfvCHFe2)w9B-4S8v?v|p4B0{C+Q@O(E#<?4 zFDeU(&Q}-jR*YV=SSdMOPxN;tMQSL2JRuo5h|fDFwSFXDR9}CR&A0wW!Oi=iM9e6y zMF3J(H1!TKs((TeBsPjE6@ZwnsL$bpSE1a9D0?ulJzsQ!K)>oLbs{Mr-^pA0LP7F@ zIVRpSkPD}xwR^%XoE_LR;f_Z`!{$6B<nk>@ZVu5cNj^jvy7EtYADJW#Y8xZGd4sqV zL|@W^nnJz}SkjoyWjgM$>wGAt(K|j?pL1WXzj7hw&VTh<E;6Eqtg+$qAFJ*k^C%@p zbg$z5)=FN6xeb?FIvVL8H>AJ|d<-4eC}wNxWiT-7x&Cn9zYs;N87$CWt&t^)vpM6H zjZ@}*>Q<V|97&IgA7+K27$p@rGon`1c6_{dWr&@ov7T@>=qf~zc1yr{!qXWWZ_9f< zr<P<U>VH_`E;=1*;%-N0t%%N5ihO(E476i3tM(w4kYD1Hp3>EjeQV%{5#)^~`SbqZ zfj7zB>ED&@=zKW9Kw%o&l*Org^sFAYllCL%+XcV^W+5K)E{pR~m@voOFruqKtE#nJ zp*g}ZJ-gLlE5+<T*l9H?pT2y*?c;oj&hF++;D6VPEh~40XBw?7BTkM2hv|=cdOc9` z23t@w5YJI{y}#=b81`1lW4<T$DQv<f*S!l!bvToK!{pCRFKf?@*r4XTW<5~0H5~?8 z3NV}uRE2R8r<37b=Z2w5X^kXP<(E_+8Z)>0PN=~-LSdkYf4aSGZ-U1-b&uOTNQXLN z+<!?K5>L57x>DViuEjfp6l*z0(-`&0m`?TiMw2?@e#4?wFU`vqoxgn#9!+cZayA^x zQV(#gd36t>KoiGD*_z-p`hzu<?WY;s?dR+k74~mzL4a5&5wj`Rt$S{i{UZW1r>uw{ zx6jY3Y_M1`NiFfd=z?||Tdj?{g71*VSbxvp<ZBrbr1^*OhV{#@yB}SaK|aJ`xN5cq z<-Ris*E%Mp9tX`b(1GswgBZq8$^V(H2=J-g=5}sWs2|T0;gXcYJH+<m7m(diZjb3@ zvBa&z933uNw@tD;Ck0kHO_8*AJ<ikECaXv^<1TCc=_$9^Y(G+Jg2*YN<9Dn@KYs`q zu7JUDieQDnfZ7SvU|u)%B2Qlqk3G_cy}Xu8*c6^KVwuIzne#~9;qT=aMJcUzBPx|u zHWCg74oLZFiA+`wN|J~<%ol3sW>(C+@LO_E%%w0osAT06tr4vy*|w}9QcKgGk2xh* zQe^Xfn_zi72S8p;&d2~+dj6t|Uw_k$(pZIxJOE*F7)19jKi{rnv97GPU%TGzs(#f# zg3cCsqA$KP;usVN7GD%^I82_?!72XbggOOk0Iqrd1yP>^rkShpOeY$XE>;%;x53$b zX+@+M422X#9HBaf+VHB~0~M7)DiE8oo3(f=*+@k$7YQ@B=9`H4ew5%dpMM3fhUb%8 zS%Yly0)O{0z$#nnn0me(fX`6QN70bs6Q$q(zY}VS!MgW!Y!zv7Da?OHyd-L%Hc)N^ zra7P9-6bT{OPk_(3<qYwUvdK*)KHrrUlzrWw=05NWQho8G}Ni71#`HmvKnRRv~ct9 zp}o_n%eDWLsPxa$e(@S`Qhybf)Eycla_);fo6tVrq;;KDcqV#NCwft{(!{kzg3J(! ziZGUnj|4><Bme2&eIzUm3`qiQVgkxOt?!`QzkMkl2VhUrC=$>+#Uw=gIWtD7-=!fX zMf?h_P_%<`?N8EH^|`!GwIBW$5W)}A<<pAt?9H_lI8s$=CK6gnCw~!%F08%bulb;a zez~mqxUtr0sY*lO5)n}>aNa3Ynv(`X9EAqTIUXM^WFY@XN}eoil08sr<KkoYeFK0^ zS0V*SjUQ@RC&w~>Ll2G_3phYb1?ISu2>IeXwlH@59%E2$-=Uff571d7_uuCN+`+$B z-_cZD3gIO8-Ae}4zkkA}0Nq>;y!iHXPukwq^voRhwfipLmZC#E4a9k-kiRSUaH@BR zKNB-$B)LRlE0a`kjd71VP1VJODY8RQ7zQ8RsC3Xz_4A{kd;gF|0IDxuXDy*`psHM4 z`Y|Pod9Q>Y^73&)c@D?K3I7C;|1bwW@48;KUC~#kz6(h=F@J%QsZ&Qx9VrL!OVp1C z0GG<AEwWo4mXX(`zV>5ftWChdCh(bq&wzYO8<SOak&f0=8`FWXiS3y1k$3zuS+sI> zQCIt}9r*F@p-?;ZO5Ou5CWn?Z??Mo-`AE7E0<sMt(laN*Dam)(Aajk__q)7`r7KoG z-1t^dbOjEk?tj}D`vJMeZkDWMG{bOiP;7qM%HUXZHD3XNpNv~tC{JTw3yRZc6ghSD zqA*WOqUEq~`1wQtDL)c12q67#Dx>{_rQu@fJhC=txA_s%?-~$ArFN!54qf~sj&Yzx zI&$JUP68!s-Bz_8P2&E6-oE&+;w662kn|MO;@lTx*M9>`Z0{mFj|lw|mZ{Y1QtAWo zSFXJ~dll-e$jE6U7wj6;^ueaS<O0N~?(<n4v)%afQURAU%UU=*9xZ?TRf<RclLTH# zhGh56)ZzPJ&vDgjbVzk6r<>8(Y7Yrr&F_YUsbG?y`F$FDj%KU*ln}K~E)j(x&m$0) z!tx`^oqqtOtH}{&wQyjaJnyw!mqA0eC+kY@w=swn<X&yyKp%(Ld{kaUle6bIDz+-p zm2~}**%sj%3PIRsrp~J79mfiB94rGw#6t}uUKQVF+&<iz>$CCnNvdXZZd@FA!HP9b zSA(qf5PA78-zSkrRDGb7ee4t4iJuvbV`?1)uYV{X6cg5JHih!EvvIlCUF7)8Nolz$ zKHxq>tY6v1_r+)MD9$|wo!O{aKeI_l3E?j!GX~k@eq9?dd!-@O?5lP3ldg#!aN>~l z%xe4hPoMjn{*!M5g~+w+l_2Y_%`3>qqwl01{r(7sM=ae&-xq3*sx+23sLr(`!R|q+ zHh<_X#nmiqW7NI^nk>lmomro&xlluOjc&8VX1*~K*J~G5af*^kW^CWtWLan2T3h0? zn;&SoxNIW0xprAU!OFdl1<hYuR|?BqVc_ZUakhMvu`D66g_g8<Tc|no%h*^q7OA#1 z0e`@l88^!ET7oTd!w1~#&a4fXm{t7awSNF%2Q&xtnb(2Gk5@SW&qbh-MSFlG@*#+P z@<cZ%M0vtT8u^;{WO31tDj3EFFXKz`h5rf?lOj~>x1+F@Yy?ehf@mX;LA;Q4tm>h& zk2gs@UCzxWF+vn6skbN)^(F;o-N`EGdCkawc*bI-JJ3(X9i!%S56sQWmz^aW_J6C- ztnG$7N6t5Ky*BI_tfRzx|16cbqt$vW4r(X>EOS1dGZBmK^|)j=L8@;_-YQOz5YjYo z9Zc1F$i6A$*S{R2zH2?%RCl<#sZpK=NX;(i+*%GLm0vsW;W)vbvbQ&TIe6Do+a8D7 za}f1{(%}0gy_K?+I?k5zeMqgb8h^H8n4Qq6WLyazdeQglIWqOrG2g#;5&2(ZPD}1& z@p1F|5;B$#Pe%@SfM@y<LrpQdGY`QGhti(Y)=NQ?cV92KKvbb|A<#Z-$^8W>Ap0NX zGnJP`$R1*p=Ii%LdI;IKWmku!@Hc5+@b<YE_kZsEf=huUiIOZjxLej3)PF_sd5K5F zsiURQYmo-Ao8mYe=cm}|#O2R(+h+tZ-IWtLBVl?+P7UPtbeb~K81l__8Mhx8!J65E z$+g^Ju?}?`dai+Yh{o8;XVkC-()v4y?A3)`FEU8W4xCJz$8r`M&EJ6mYCZLZ${FIF zqeUdZA1!cNe0HZ*Kn4+h_J8=!9NmwSDA1Zg{!M)27w#QP3|fkLA3v(TLCyq?v8Pcm zC$GB%jt`3T{YE)gYI)YN;oAVd?ik<0<2GtMPT(?};}|Q=GjC7b;@v)cLZ{(k5|5;Q z*65m$V2f}yjuTYlfKNHhx<jq55Qou-FpE)sp_Je9^7=`oF~aVuCVz~2UOF>+0uWLe z9Csp*`ss3pE9itP%;X^Cvr4tpdxNT<@?-TL!_FW=JeO>Vfn#u&SgNlv=eRWyMYGZa zmjP5_CJL5*l+xR5tD5M(&zVxQAS-e=N+7k8f!y`tB0Lr@k3_l{@5+RsoFt;|{$(xv z)5gNjBR9DS<UNF~Vt*&jK=u9#Cs(=@<14#Nk;UXXX|#i(qz3hl;6sGes?xztNv^wv zWBg#bLKhUEyc-B#Fq=qB`KHkx{PasLhR~kc><}YZlxs{mV-_ewbA30lGqg#S19S#{ zV-(i6M@oC4SPFC*V2NXEVP<PY+$evLl2T6)6(-}yblblj`G5MI)$j|BU!^580J3i1 zg^`x9(`?4!Is1q8H4QP-%7pk~R93(PRRW6gW4rc~R{DUjmIUy3lDQm>35^#eE|OKt zS7|(gDxzw4;|ZsqJJ-{LLRi|l8H7|nrY&03D8SI5;Ns}Rd4B@JqBILwMXkHL@sMf` zR0ya{QMRDa2rH$2agV0ZNH$kv0N6<`U<)jX{{R8xBF2UX00OaI46(##`vL#}000D8 ET7$^`g#Z8m diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Frameworld$Meta.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Frameworld$Meta.omdoc.xz index f7d6899937c15db4fec53a8d751cc2a691afcfb9..77d6bc0db3eba5dbade242d1f7e76b4d337f747a 100644 GIT binary patch delta 251 zcmV<X00jT+1ndN`dI5iY>U)DrUahIVtk}p3`zy8=x5ER@fxH#3QtpEBwuV93fM@0^ zgDD7bAn^_2LrFObpZl%!QVpAQa=_gq0q50tExh>l*K=$5ICVGNtFkKKJILOoW;e0C zT&JT!xRrnpq-eb6JOql*cIuM^jincAR+6ND5Y?ot%lH9NYJGF$?<I$Ny&k2?s;Pf~ zvtn+3NN4@?w5lhy4>9y=SZ3AHOzVzUAKeOOPD6U7WPinjbMTA?vXJ5*tY)9-BPav- z5r&7#3D%LL1qhppBiTcn*#J0`Zn(FG8Os0x$OM%Z00596TUoKhXZr#G00004Sy~cg Bdn*6{ delta 251 zcmV<X00jT+1ndN`dI5iZk#dp$jvcxcR`w`qQ9ch1;>^_}UB=JQFbK11hb0e=D6~wc z$Yq-?Sf9L82`6C%@^TUn>V6E~7u>_dwaFAbv@`i1KU=Ac3r!_Wl$5sdGl~uwW!2ro z&}mFB&i)!u^ZJVuo5d1gW~iF0)WCBc^4V?6SvtwwPKDxw`LA<miP&FMEvRT2v83y7 zS%aEMuuB~&LMBUxeh-TR+m;iTZ9q4&wwwZcGo@vTj-H9*j>x-H>_Y=;tQeQljgns4 z#-C6>s#qi<MB;X!)4*-E005KoNQTD1!Uq5W$OM%Z00596TUoKhXZr#G00004Sz42{ BbO-<d diff --git a/content/http..mathhub.info/FrameIT/frameworld/2$D$Points.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/2$D$Points.omdoc.xz index 21befeea26c38aa6afbf9e9631382df77891de46..e344ec3aab6690ac42568d1f150ab962c954ed89 100644 GIT binary patch delta 999 zcmV<D0~q|Y3d{<S8UwBc3$Yzu0e_Lt3{%<H=h-CP+=D4DKnqauI!$E)N#t3vu$e## zJSm!@+6IvB#mXhu<k8a+y1A@VsPb}qdw=<?k9y%TRme?oPNG8Lpmvc7P)R(TNAJK0 zQrAJ#o>Edj70^A%D9;pJ8AY&M%YTw2#Mk5iQ#oUZTv)hz)UU^#6ngcg27j`4?~-+? zQK?$QFiAAijmj1OQIa(+3j*Bh$_%2y>u<{1KMNe5osdLOlZW!l5U}?WN%iV!hqj!` z%>DydDJAa_XGnbYzQgX<7jL-aPw)NiTpyuAHa?x9w3MSWqXO?ym7*!?U(_V<;b&=^ zy+XmMVYIyL?S?aEvZ!6je}6|VZtCmsdIHkzo?Hu{1*I{k#@a1XBSzhZ7eII$04X}E zm9%L*Bl2q*m7;x5@kPbpbb!u;!&rqEcWpZEU>XKEX(Jl_7}hCWJ=;(W)F1dgVP5WN z3}M>Nv13mquG_6+GZIxdrS~(sS`{s{{S#ZQ|CA?92)g7SDSBStnST^^ZJDQ{OaSUU zimMIBvYs0Du?V?ttSgK&2kgq&zs#D|IWyyDMa0zqju>19;sXhQ&N?1PSBGnt;{Kxk zx#0&LkAmj|Oh~3kfvlrqugIvV_ssWpQ)eaz!(72Y$?rDQWm0ejWKMR7Kg+vq8=2qo z(re+&@9^$<nqlo-X@A6kJtu0J!5%4&qI8u1)c@cwUd4G5P8RJ890f%+6=zmC7-E^S z0<xu#u7MM|Sc3We)lXh7P%#Au3I;REGbaZl+jr0Dk&?b&p|F!3I)Y)R8;kl^>~YMy z?#sgrw`@{Wb-C^Tg|M_5GYRvCpzw?Jw!)W*S%Boh(65PiVt=*sByIFuLHb2>`~SoR z{pn>lh_dyi!shJ53VNQ^XPFVu4%wG>zwZ-fKaVH<h1=k9sVcvA%-)_hB>>flPZq~w zwZz-j$j9RBl(&9MT}oyMpsIYVovA|F!T82l9l0;)9~d=w8p_9o>cl;rNh*qX1KR-2 zXC((9@y~}*Ie#UGOzm?oB1xNT)`vVoz>^ht+Gog}=u|i+g8n7)8j!3tPj^a5Vq@nc zl{Yan5zfY1It9{B3`!PLzy<ozuZ>~@h9&`Jlsl;5$jK*$^AQNc&KzaNA$$U9`tKQ# z`r0LxNYF(sY+diAk7a|Zu=P&~A879Gt`LM}#f@>HtyqHgKS{vyc4BOY>Vp7KtY%<B zDk<8IO}!H$1w^-kvqz9+oQ&S2GBo8JjS&6%i#MG`Idx;^008>IB%0#PJh}h@rwXrg V003|@L(Z|pXZr#G00004Sz1%Y?vwxk delta 975 zcmV;=12Fu|3bYE48Uxh?^syaY0e_=#82Qxb7PL0(+=czbHL~$x-S$(l?aV)+8;w6U z>ah^-iaJX^gtuR|I(z%2ob8F$em`j6zQ;MmCPjf+j_WR<6wS21#)^+Kve^AZ57W)i zvj=OY_YI~uAf2>&w=XzHq70RSPt<JULFA6<OU1d2uWlRhX_1q<6L<yr_<t$>L=vSG zN(`6aHW2GKb1KpK0_Km(^&-teCox;^0&F%Ykrto)xR;Woej4zq!(c5;M+|i#Ij=Mg z<e2`1vEb4d?jX1S3Cjz`A>U6*pp<8+_E~Zdq4C;w(R+IM^y&dI&MP2ggXOf|GkW&< zHh_Dx%Tx~r6#a%MGDF7s{C`@Ff1J<?8yYcDstpIu^SL*MR<|S*McDs1)RZ}zhS^-% zwxd=kDHhaoh{?THvygRz$kPcMV_jFkP;GIaSe2SybDKemQQ*>5B#<w&yHrcm`rXx( zM1|=4dv!H@RsAruPN~`nysc}e8QP}OMU+zU5(aalVaAWcr?ElQX@3z2!t+}~I0?74 zRCmL;+5=B1xMqCx1V;z+Hz9V`Jn)`D{(Lx$GM7nyY;WXrHd6hPkn-`t_ARH{?0rA+ z34c5Z#<FgZypRZ>w=QdrnJ5SH^FVNLjgL)k6_(zfI!*C`l%jPq!3t7@0ketr0!)&f zJ2uHVWtq5BI*ZOyKYtk!XqnV3vpc@~v9^i!&V#A!@lwu8M?{zci=OS7qFr+%nYzmQ zQdQxg+_rhF58#Ozz2$Rx%&9F?K(~Cb>QpuS0dW@3Cpw4dYxuZ$`(jhXoX9=l7Lkbm z0sf9K2$=W>89b~29ti%-(Y4|6eZt?W$I5%qPud*NU^u-pZhybJA45Ht7isEo<cc&~ zmIr(>Bj1yper&PEyCk`Y(SRGDMjBIoK5VcURy3n^oqAUM|9ZU0a4Fq!vFN(Y(VD3} zw$XRyLoKOon6yYATX@sKFs`+!%%*l2=gVRDfB5W^Ie4}n$SIOyJlKbF7P{<A3U>S1 zKpP}>bor$Clz+y|>LUZR(cX=u*p7~-d2BfV5Vj*Rr@iukE$0araYASa2d*gh|20A1 zaMzJ`pzxtSk~8H*XCynE77_4<L$a^GvYyB6(KlYhPZ_WapeNXo&&xUEE%T}%Y-ybH z+-i{mYQw>9r?w|JJqvR1;Ek6C5n;N?YgfG@mRV7h+CX^5SBxenTWG>hErq@Mf=}%u xbCIsIlJ-~d^rvx)lK`9R!ALFJ@;3khkP6mw004993&F9(XZr#G00004Sz1$_@lyZ* diff --git a/narration/MetaTheories.omdoc b/narration/MetaTheories.omdoc index 26c6c92..d21abea 100644 --- a/narration/MetaTheories.omdoc +++ b/narration/MetaTheories.omdoc @@ -1,2 +1,2 @@ <?xml version="1.0" encoding="UTF-8"?> -<omdoc base="http://mathhub.info/FrameIT/frameworld/MetaTheories.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#0.0.0:18663.390.0"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><instruction text="namespace http://mathhub.info/FrameIT/frameworld"/><instruction text="fixmeta http://cds.omdoc.org/urtheories?LF"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#125.5.0:253.5.128"/></metadata>MMT meta keys and value constructors for meta annotations of facts in situation theories and (input/output) facts in scrolls</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?MetaAnnotations]" target="http://mathhub.info/FrameIT/frameworld?MetaAnnotations"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#255.6.0:276.6.21"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?test1]" target="http://mathhub.info/FrameIT/frameworld?test1"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#684.24.0:695.24.11"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?test2]" target="http://mathhub.info/FrameIT/frameworld?test2"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#787.31.0:798.31.11"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?2DPoints]" target="http://mathhub.info/FrameIT/frameworld?2DPoints"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#887.42.0:901.42.14"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?FrameITBasics]" target="http://mathhub.info/FrameIT/frameworld?FrameITBasics"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#1296.66.0:1315.66.19"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?FrameITRectangles]" target="http://mathhub.info/FrameIT/frameworld?FrameITRectangles"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#4802.127.0:4825.127.23"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?FrameITTriangles]" target="http://mathhub.info/FrameIT/frameworld?FrameITTriangles"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#7899.177.0:7921.177.22"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?FrameITCircle]" target="http://mathhub.info/FrameIT/frameworld?FrameITCircle"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#10799.217.0:10818.217.19"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?FrameITCone]" target="http://mathhub.info/FrameIT/frameworld?FrameITCone"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#13899.272.0:13916.272.17"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?FrameITCylinder]" target="http://mathhub.info/FrameIT/frameworld?FrameITCylinder"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#16602.324.0:16623.324.21"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?FrameITTheories]" target="http://mathhub.info/FrameIT/frameworld?FrameITTheories"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#17565.347.0:17586.347.21"/></metadata></mref><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#18101.370.0:18196.370.95"/></metadata>The meta theory to use for situation theories, scroll problem, and scroll solution theories</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?FrameworldMeta]" target="http://mathhub.info/FrameIT/frameworld?FrameworldMeta"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#18198.371.0:18218.371.20"/></metadata></mref></omdoc> \ No newline at end of file +<omdoc base="http://mathhub.info/FrameIT/frameworld/MetaTheories.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#0.0.0:18180.351.0"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><instruction text="namespace http://mathhub.info/FrameIT/frameworld"/><instruction text="fixmeta http://cds.omdoc.org/urtheories?LF"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#125.5.0:253.5.128"/></metadata>MMT meta keys and value constructors for meta annotations of facts in situation theories and (input/output) facts in scrolls</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?MetaAnnotations]" target="http://mathhub.info/FrameIT/frameworld?MetaAnnotations"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#255.6.0:276.6.21"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?2DPoints]" target="http://mathhub.info/FrameIT/frameworld?2DPoints"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#684.24.0:698.24.14"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?FrameITBasics]" target="http://mathhub.info/FrameIT/frameworld?FrameITBasics"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#1085.40.0:1104.40.19"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?FrameITRectangles]" target="http://mathhub.info/FrameIT/frameworld?FrameITRectangles"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#4498.100.0:4521.100.23"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?FrameITTriangles]" target="http://mathhub.info/FrameIT/frameworld?FrameITTriangles"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#7595.150.0:7617.150.22"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?FrameITCircle]" target="http://mathhub.info/FrameIT/frameworld?FrameITCircle"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#10326.188.0:10345.188.19"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?FrameITCone]" target="http://mathhub.info/FrameIT/frameworld?FrameITCone"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#13426.243.0:13443.243.17"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?FrameITCylinder]" target="http://mathhub.info/FrameIT/frameworld?FrameITCylinder"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#16129.295.0:16150.295.21"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?FrameITTheories]" target="http://mathhub.info/FrameIT/frameworld?FrameITTheories"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#17092.318.0:17113.318.21"/></metadata></mref><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#17618.331.0:17713.331.95"/></metadata>The meta theory to use for situation theories, scroll problem, and scroll solution theories</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?FrameworldMeta]" target="http://mathhub.info/FrameIT/frameworld?FrameworldMeta"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#17715.332.0:17735.332.20"/></metadata></mref></omdoc> \ No newline at end of file diff --git a/relational/MetaTheories.rel b/relational/MetaTheories.rel index 352653f..6b8fa19 100644 --- a/relational/MetaTheories.rel +++ b/relational/MetaTheories.rel @@ -1,7 +1,5 @@ document http://mathhub.info/FrameIT/frameworld/MetaTheories.omdoc Declares http://mathhub.info/FrameIT/frameworld/MetaTheories.omdoc http://mathhub.info/FrameIT/frameworld?MetaAnnotations -Declares http://mathhub.info/FrameIT/frameworld/MetaTheories.omdoc http://mathhub.info/FrameIT/frameworld?test1 -Declares http://mathhub.info/FrameIT/frameworld/MetaTheories.omdoc http://mathhub.info/FrameIT/frameworld?test2 Declares http://mathhub.info/FrameIT/frameworld/MetaTheories.omdoc http://mathhub.info/FrameIT/frameworld?2DPoints Declares http://mathhub.info/FrameIT/frameworld/MetaTheories.omdoc http://mathhub.info/FrameIT/frameworld?FrameITBasics Declares http://mathhub.info/FrameIT/frameworld/MetaTheories.omdoc http://mathhub.info/FrameIT/frameworld?FrameITRectangles diff --git a/source/MetaTheories.mmt b/source/MetaTheories.mmt index 71a1893..1e7a1d1 100644 --- a/source/MetaTheories.mmt +++ b/source/MetaTheories.mmt @@ -22,24 +22,6 @@ theory MetaAnnotations = ⚠-theory test1 : ur:?LF = - include ?FrameITBasics ♠- - xA : point ☠= ⟨0.5, 0.5, 0.5⟩ ♠- -⚠- -theory test2 : ur:?LF = - include ?test1 ♠- - xA : point ☠= ⟨5.5, 5.5, 5.5⟩ ♠- - - -⚠- - - theory 2DPoints = include ?FrameITBasics ♠@@ -54,16 +36,8 @@ theory 2DPoints = YPoint2D : point2d ⟶ ℠☠# p2y 1 ♠YPoint2DAxiom : {x,y} ⊦ ( p2y (mkpoint2d x y ) ) ≠y ☠role Simplify ♠- - - - - ⚠- - - theory FrameITBasics = include ☞http://mathhub.info/MitM/core/geometry?3DGeometry ♠include ☞http://mathhub.info/MitM/core/geometry?Planes ♠@@ -71,7 +45,6 @@ theory FrameITBasics = // Basics for FrameIT theories ♠// a lot of Simplify roles, so the scrolls get simplified accordingly ♠- // com_dist : {p1: point,p2: point} ⊦ ( d- p1 p2 ) ≠( d- p2 p1 ) ☠role Simplify ♠axiomrealNumbersNeutralLeft : {x: ℠} ⊦ 1.0 ⋅ x ≠x ☠role Simplify ♠axiomrealNumbersNeutralRight : {x: ℠} ⊦ x ⋅ 1.0 ≠x ☠role Simplify ♠@@ -203,10 +176,8 @@ theory FrameITTriangles = // This function shouldn't be necessary. But due to some weird bug, the server will crash without it. ♠wrapCramerRuleIntersectionForIntersectingBisectors : line ⟶ line ⟶ ℠☠= [l,h] ( cramerRuleIntersection ( ( from l ) p-p ( from h ) ) ( directionL l ) ( directionL h ) ) ☠# CramerRuleIntersectionLines 1 2 ♠- // wrap_cramer_rule_intersection_for_intersecting_bisectors : {l: line,h: line} ( ⊦ colL l h ) ♠intersectionTwoLines : line ⟶ line ⟶ point ☠= [l,h] ( from l ) p+p ( ( CramerRuleIntersectionLines l h ) rdotp ( directionL l ) ) ☠# intersectTwoLinesActualPoint 1 2 ♠- // ( perp_bis_intersect_axiom_AB_BC t )♠triangleMidPoint : triangle ⟶ point ☠= [t] intersectTwoLinesActualPoint ( bisecTriAB3D t ) ( bisecTriBC3D t) ☠# midTriangle3D 1 ♠triangleMidPointWrapper : point ⟶ point ⟶ point ⟶ point ☠= [p1,p2,p3] midTriangle3D ( Δ A B C ) ☠# midTriangle3DWrap 1 2 3 ♠@@ -354,20 +325,10 @@ theory FrameITTheories = include ?FrameITCone ♠include ?FrameITCylinder ♠- - - - makeCircleOf3EdgePoints : point ⟶ point ⟶ point ⟶ circle ☠= [p1,p2,p3 ] mkCirc3D ( Ppara p1 (p2 p-p p1) ( p3 p-p p1) ) ( midTriangle3D ( Δ p1 p2 p3 ) ) ( d- ( midTriangle3D ( Δ p1 p2 p3 ) ) p1 ) ☠# mkCirc3P3D 1 2 3 ♠- - ⚠- - - - /T The meta theory to use for situation theories, scroll problem, and scroll solution theories ⚠theory FrameworldMeta = include ?MetaAnnotations ♠-- GitLab