From 30e132862a943c6be27af82adeb2994217227bd3 Mon Sep 17 00:00:00 2001 From: ki7077 <58886967+ki7077@users.noreply.github.com> Date: Sat, 1 Oct 2022 15:32:51 +0200 Subject: [PATCH] Removed old code removed old comments and cleaned up code --- .../frameworld/$Circle$Area$Scroll.omdoc.xz | Bin 1912 -> 1912 bytes ...Circle$Line$Angle$To$Angle$Scroll.omdoc.xz | Bin 2800 -> 2796 bytes .../frameworld/$Circle$Scroll.omdoc.xz | Bin 2608 -> 2652 bytes .../$Cylinder$Volume$Scroll.omdoc.xz | Bin 2244 -> 2236 bytes .../$Default$Situation$Space.omdoc.xz | Bin 880 -> 804 bytes .../frameworld/$Frame$I$T$Circle.omdoc.xz | Bin 6292 -> 6252 bytes .../frameworld/$Frame$I$T$Cone.omdoc.xz | Bin 4232 -> 4244 bytes .../frameworld/$Frame$I$T$Cylinder.omdoc.xz | Bin 2272 -> 2276 bytes .../frameworld/$Frame$I$T$Theories.omdoc.xz | Bin 1648 -> 1536 bytes .../frameworld/$Frame$I$T$Triangles.omdoc.xz | Bin 4516 -> 4488 bytes .../frameworld/$Frameworld$Meta.omdoc.xz | Bin 624 -> 620 bytes .../frameworld/$Parallel$Lines.omdoc.xz | Bin 3696 -> 3688 bytes .../$Truncated$Cone$Volume$Scroll.omdoc.xz | Bin 2500 -> 2500 bytes narration/DefaultSituationSpace.omdoc | 2 +- narration/MetaTheories.omdoc | 2 +- narration/Scrolls/CircleScroll.omdoc | 2 +- narration/Scrolls/ConeVolumeScroll.omdoc | 2 +- narration/Scrolls/CylinderScroll.omdoc | 2 +- narration/Scrolls/ParallelLines.omdoc | 4 +- narration/Scrolls/PlaneLineAngleScroll.omdoc | 2 +- relational/Scrolls/CircleScroll.rel | 2 - .../frameworld/$Default$Situation$Space.rel | 3 +- .../frameworld/$Frame$I$T$Theories.rel | 8 -- source/DefaultSituationSpace.mmt | 9 +- source/MetaTheories.mmt | 62 ----------- source/Scrolls/CircleScroll.mmt | 92 ---------------- source/Scrolls/ConeVolumeScroll.mmt | 67 +----------- source/Scrolls/CylinderScroll.mmt | 100 ------------------ source/Scrolls/ParallelLines.mmt | 3 +- source/Scrolls/PlaneLineAngleScroll.mmt | 2 +- 30 files changed, 16 insertions(+), 348 deletions(-) diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Circle$Area$Scroll.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Circle$Area$Scroll.omdoc.xz index 005e7693c95d19ab7ca06fd17b329cec29f8ec01..c06e6420a7fa14660016d68c73b6b9e717ca110f 100644 GIT binary patch delta 1653 zcmV-*28#Lk4)_j`8UZMw8v%a~{TovjQIPi~*Li<oR10K+oD+lAjz2(;cs}X<T0VKe zfZLs@$wZcrivp3}3lDVU^o*v9wF)n8wvH4!&sV`7N#qwrgku`_Fkf^kyB^cM-L}PP z@g!b&Z>MLyvw4?OHFL<MYK<)zrIK!ihc7e|5WkV<NWw~VbN${9@FjmdW`6&J1}~ej zbh9B|rf5SLzcS%PXMZY60Jy`!R7HH^OvxXBLOtYZ9L?h~;E*cnk~~BZst&bD!Xslc ze3*GE>yvLS4#EbhqAI5U#-5;^8Af+JsusO^hpryb7`gnJZA~~@6vzqd7<e|D&CXci z<A$~M;7!gRsgnp><)nWPHjVBHeQgy;AgP{zIRRXlzKLMdIjE%>{Dyp@zt7o=8kBr6 zfYAe=E_8$Nen@ne3{{4thXS~?<?RK;Aks+<<%4}D+&zp8X26+#UQv%pHvgy>u8w<H z5r*##V4|j=Jh;zm^$ckL@m=`)2Zr}k{jbn(Yy10QBTE)ev)q5?AxlCK;eaB?N{hl5 zE=nT!>ynP3JHrT;&!9%)kRR1wO=niOXRtag`FO*p0Hq{Rh6zH%3Lw^#*PYE`vL^K0 zX@iHY2RSNXuQD-hfckQ5_JzCd2M7K7zVa0U%+ZIw9JC}C>P$W~B$(3+eI5Q{g(-Zs zC(x^ekU<KG_f>!D^}ROm$4M!_T>4unL5qFT0zbtQ+@@gc8?-q=>Kih9m}+$L?<+81 zXr=}K)V{8dJUaZ&DY!wQ7Vbh3|5<rd0xqQ$5x}&X&@*R*!9JC+DnO~Cg1vv+MHsJZ z8z3;b58lGo<*9)SDjuqIT9P*k(w?v#pj0Mrffz=_mA8KY5dXzYq!{+sv(;l`KN#8` zsshzw4v@O<tfUNvG8!zw=nc^_Zn0te?$mm-8*jrW`^<Nv%CPG4np3Mgy(6JOe~a^H zyj%`a2Z|Ri>)Gy0bn4<B0p}NtN3{Byv~rHGi^QD%$^?;(61NMDOR`D}$zVnow6-xK z3B(UwZB>6f)*0bJ;&JJcFBSMsO5e>a0C-6y9k25#uNQXac$vEi%oL1H%9L>E2i6$V zPEx2>?lGB=b?M?AA9z$?&T#smZwg^3%0fJ2w@Mt{jQaW>pkhT5`t4g`MRJRNI{@BE zndJ%RrM+xkIxz4D1kQeKlkA3IYAL&gNJHqWy^en~k#nWM?JpCh%2qbFDAV>)P&FLM z;?&BFcfZljRvM=a4k1Cmqe_l;s{b=444@ml5sgMrZ!fyY3@#9IP+BscYil@Q?pt7y zhqG8AVg@%B7i9`kSsU;DGV?dY*hj*l;hcT$I5&ox0=|@dXMpnU6BWnuy)PJ3J_`he zA9R11A_642^n%fMw#;eHIiw>ZMZ|>CmyImqQ5(@JkN3V<uI})@GHu+0CibIl^g{Nz zG2Q&ATL~tiWv_g`-LmV>NUnd=7ImR305;E}<_nx1P6ikLvyse<p?xNhIs&uC0h}rp zsGXnsX)0%>SbI<C2p0(@jJ@I3^8MCB#}0p~Z#**{HcvR2kbKL=71|Bn6<kIFc0bR6 z{`J)&<RA>pOn&p>;u)P^<4(c5BC%b}K()j8fYe$+X$|A3&mM`ov=X^vorI(>N=l4V zZ&`zX8x(wG=qnOzZAq0bc|AZyL-(G=WVR5o1=_@Yx=_06C<AYQgL7SD^a*gfFhhS6 z-RokRpj3mwy>5A;x(^@<p&jwH%T1=4W3eN}DuHU+G<Uh4Jg60K)G&n(n%AF|ojObK zLinXgXUB}Cy<`BS`|^QQE_Q;iJK!NWK~A@3=U^aX$a^jq{7$K%`t)C-_sv9&6e=J} z?|5+IPntWTVrY2s`mI+FH3Gcmsnvh4<u0A`S9-S4p;Ego92m7!hC|&dKx|@Vo>8=4 z`{F5sIBSFmYpcVuM1Gs4rmU%ma6ixd)gbZrzi0T){QM%PtpY>l#b9x}ZVoHA2to_s z?NW2o1O^2xmjbNWT=5Y9jvVbBK3!u@uWJ6OQSqKsT3bG)(|4|USFZS%fFfzawd$@p zHCWv*?n!+{iOcuBYnBL;ncy+|I}7H~qQAAbG5#@R#7;I_I(Nbjk@eCM%*_NN>bx#! zaz%2;-Abj1u#VvX00000o*=s3;c$;a00GesspJ6wgu0X>vBYQl0ssI200dcDX(}Xq delta 1653 zcmV-*28#Lk4)_j`8Uc@?8v%b01Bu#iB)Nypq0jFvJ{qgB3k06gJUBv8xE+_s6Z*Uv zk=zLesUL;1o8!GR#yV-yi5Dz9+Q<N7nyQDWZ}@{wCc{hUEJysocAZ6lwe~rjkoB8l zMZpLmQx2M)sLS7ZL6L^GZ4bR)yuMroJRGYT>ArfH*}ATGFK^Xk{I7qEE0k?wx$)KJ z0`8bqp9$hUZ7@)x<h{@D+;G#DMT{jQ)FB>SU~<7x!OzwG(YZeGNmO{M3ORiUfJz>D zUoA`i^)+s9P)MYUl`0%(ZGlK#ExC2(Ugnm{13}#T6vV*ZZu&c+KF;qhar`XPBGPEo z&Ff43LCq1Tom9zwIkSIPVfRv)BfwB8RCJI=DP%&tKFLt*h<-gTpXl$X@BbT|cF`$A z*fC?8GCZ6L$xrD%&O2CtQVx>9SH86%Ehp;s>Gy*E)bovO4kM9#p5I~Ka%+~|7nKnG zpmi+;kGjr=I+JZP+i$}%Y4Ve`t@I0yTo}j-;+*yTV<|!-r=owdcD*X|o=u5^%obZj z;MPX%8d7e?GZC^UAn-4rn+m&N9zM0|HhsLlDo4ga#Wx}F8_FuP#_hRk%dadk_MES& zY{E~`K88KRvCo5}e~jD<gtOPXF5lY1uwix$y^~sNTaVY!!Ut}^?HK|H!u2wkU$>tP zT=#UfNv&4fCxd^YT0`<=+H15jJOQj77K;NOIAezuwP?t|3rsP!P%rHO_m!>1l~{Lu zE(Sftdtg0e^B9O5dlImHDcFYp@JgXjU&?L4KqabWvcB}ykvVzp)okxQJ*+6H2Mq2Y z=@_~O44hbcJgeQ~ENxkNBbxuUBV)5ggc<y1o-qNM9MXSz=%AGcC}Bmx^q^l#E%38L zOGRa9q|m+RU@ds{Udmh$R4sVPPwXl?U@G+=?U}tHM~0cB!}e(X=5%t6(e!4G&VrF7 zy~ylkHLe$Ib-)H%H?omz@LG_mO%9o+b=fTi)Qk%K9%l~Mn*8258(zDI7?Wz=aLwTp z!T@@cjWB-`{s@PT)dAc5-ui9FbPY?B<7?c+2Tlb1h`xgE@E?WSK!jxU<}D8s&~_t> zpX4=4iJ<rFh$x{V-Y{lR|0CDyG+<M4ch8PB_%gk&GUG`u8F7C1oF+Ba-AI(i3fC1C zGkttbLNWRC<c4&BLz$akznHGl%j_xygD+bzwrYQ6CXpPokgh2~U79F&g3YSqL)vQ} zFu1C7X47e)e=pWsLVj#p&F_lAZnii*aN5|?{fyr=CJ!%$#-8f+aPOng!vzKvd<*67 z04esAcWkVAZEt)i^Z4RrGnn}-RqphKkgsMT6;W#aLX*FyLeyT2F9{E0hX~afoD-=6 z$>)Dy{<_S?JR`2}hY!Z#n=(PqMUIn65pZH%oh89+N)~g7RD9wTfM7VTez!Zvf%oh6 zBj-4*exSe2Z&qKs@#vlSiS@M#dcybxVTSJwftA2`bSao6tkBT}sb{?rit@2i2cj>K zMg(xKD;l6JCh7RZ^;zG`y&0J6Q?`=0L56>@3%zFH$mq(W{muI<{7$a#Th5vHT)%DS z>w7sv&g=a$10t)ih&6i5MEZ&-(KaK0x7ig|TOs@E1R<)dRfFF`TG~)RZE=g?SnxPN zxFZ<q3LYr||G`e$jO7Z;o?2@bm*~0alLPr0w{oQcZ-dTClQ~-$AJbn{96XX{QKWwh zKijIiiF#Ehy|N|af_)c`nCPl|k2>vtr8pDds=GUyr}R)eLv=S7M@v3)>q@8Qh8@3u z6$2#@ke4vZPla0>gu*Y>$4%qYo*$pOFU9DlzND<o|KrrCR#Q%iZXKt?8fWY=-T%GI zitZXyzg)~D<5{S2Am<oR*K=hPRri0BMw1nUxgw)?Snp3rSt1;!pwPGo47zvQ>egIf zQ1dKbRY73%n1YpMvA`y$_-liH%j;4uhuZk*d%ThLUWu5u?Z0QUzt=4%jryz*17eEj zR~TLAdQTAy^Xm576%j?$V*at5q+?RONO1jB4y>}3YQk_L-?!hIsPM;#m!)Y_!1*a7 zwSX;ZCm(fB#*-KWhRa&~gSla~G&xaToj{qx1R?3a8PKOTnzOM*O(f7?Y4vI>d0n6D z-ZMNsk04DtfC13}00000rGa%V*q1;q00GeskmUgYm}hmavBYQl0ssI200dcD`h`9? diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Circle$Line$Angle$To$Angle$Scroll.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Circle$Line$Angle$To$Angle$Scroll.omdoc.xz index e60b8f820dac883ca8c50cdec0cf6a3a422ab5f6..c7b76d1b02736043f5dbb538fb9a5e7458cbc871 100644 GIT binary patch delta 2457 zcmV;K31;^273>v|909Ab9aaH<-ooC(zNS)dwAiA2;6mNCkt1g416b9an{Y;T)wR|J z;Q!zrw;A5?9A4!Cfm0)%@KQlt+(LVr@#p?`e@iWVio?mQ41G+u{Ol$z#jvA7mXSyR zbFzZ#kpU$vb;#H#U7PH-6H>c|FI9(x*(`uv)~lqP7{z!~-C{$TYrm0y3bEdAWg-b# zzjd3k_YrxPcYKDcsk;)Eg{-E5QgO@r>iuM1j~Ws(1kG@isQ#7I%eTQ*+m%xUM38T; zsKwL83VB@8U&)ZZ@8$Xz1_lA$UNTg+ez!!lu^rP7)@8XE2+`izy(KNWx{GR*dgTNr z++ol1VFn@bw+_bl5V#G0A``al2nLDbM~aE&(<tT7up`%F=a>eFdF`^hz*WBS9#(ln z9jbrFrQ`Mj16r;z9sMOsutT1xy>EJxsfubg6k*eU3F-9+AGDT-c<oC!a_rt~2HUDZ zsftn=7WIh!^4X3PkUA1x%gph1re@5k9*R_Xqy}wIwsauDs-DAt`%t#EPFp=G1Rh7c zB}2x4MbcnmR-7KQlWwUm>nAG@6T@N#2J_@X8+w@~utRL3{*nlPPHJ2Bl2_~j2A(d6 z(kTO<PCLL2S)dnJI4F2T!&7QuI)=757g)JW%d*fs--qR4N9^V(b-jn5WoD$e5M=sz z?ss}qNmH0ne9!oQ?OYSw@t43XAp>jV2h3=@IgQ(7;hg7b0R4rR&%#%qunJKCT5(JP zf(D}$jfTVG0`a~>+7?}VT{I&eA2b`zmZ5VY>WnPoqFN5?#HPFz<pUIOIsuXmTA5l_ zZ0q<DmPv8KP$yP?7&NAgWGHvyJ&jvYlS;C5dOD$TN+k||34?=?y`yNvoPdO!{pn3x zIzkWBwp0m0MEDjYo1dSZ=C+-2V}}S1xjYZJOJo%b3FC<$?pEXot2upGJE@}G4l#TD zEkfk)q&cC<3s+CJ0C?Is`t4fuT3*9x+e`GSRtyHq6`+4t&j+DShU{5W!dvMNuEbzF z5&xe}$^{yKnZ!w@SDoMIKUK*lURXDB4C<(twt}@D2dI^Q@PVp}fUKT)LH;;gzJqS? z9@G8AH4#GkaAJ_`LS|<fcT5QC)f9%0aAG`DFCs%zRnORazi@W3cj}o5;-FJ&)X6e; zOZE|JpZQxk{6bXAruP$ge9HsVKqNlHlJqhFKy?v+yf0Cz%Y#PbH=hN}Lc>HUTmKox zGoWW#(MBrYpizA1aHKiO@<8G=zY+ahS`p+*<0$$)y2frqmaQFA+RX%O<e>b0QisY~ z1ac)Z5Mi}`joB5ZSAMB>O^MT=httn!CTVP4AtX51JeD<+bjjpAY>Z#_j|leXB`Y(Y zx{msP&s1gY+CH?u%%E%;m$jSPP1MP=ZC47G<;pfHM16sq&WRZ{ReEID@g~ryUjQxW z0?NUaP^R-DfNbnFve9Iq?G>yygx=^#$D95s`7&vNpWjwsP&sYx_A!~*kB3!ZSj}b{ zS#SG^7Fnm|b=X9&PP(daDu8|-SKK=Yj9%D(H^DlHG<xLSx#o=tS9wK}wA<14<J61l zR_U8FE2B4V!oGhm1R={J@mOfrwr;1UVC_;`*(bFx)e3jI5;!cQSNFPE&xngPiqH1~ zkmQv7i*gPAV1>fcc|D}d`gQ-U1SP7XBru_Nf_rs$Y3XZ{*YrQ*(#GD0KkR%K5p<z{ zTnHzCuKCDmQ`Ew%yovL|!Cnsf0dXP)#q@GTfz8d9-JEiBV7fG9u76!(I%F7<M7S4D zLBM6;S98W4r5tXx@S0{#-5N|COY?%fuQ5s-!~D1Q3Qmw*?;KBn_pKzR_?IzUlQyqu zlu|>Ze>3g$#WR^qXnE-NaPrqa1%wWN%9{*0GeqgBznX?N*n=)1d^IX{Y4FoQmoIgz zGI#TR9Wb5kN`K%{t1h$KiJ{j=HK(#&_%mYIXL!JLN7zy4B<T>bd_-=U6R8oGHXV#W z*k4qZ<fSuGy~>HN9z#7G<-(4JvStmL2r4b*bL&O*?VE<rs`dOnKn%-W@pT!0;*vhJ z=mvXep8XSDeoN8R<GD>MU?~>9k1tHsERdu&eTjQ^#TbBJ<LevVs-morP0A6gm0)n- zfx*71;=_&x7Ef&&c@JMDy|Mv>ZkRY_CIv6r0-z)0LV4Uc+tNS+qWunvF9sxfOxEK` zpUGTc=gd-N0RzZ<r_!>ukoxI=RxV7LtnoyZ6}LB~WjB;_0O%DmjQDx#CrFgAzg)EZ zC1VMju2Fw**(zcSzbE4WgaXC#Gdw)bM)W94e&P{Sflf#4lWHsLzAj3Sd<_8e5&7#` z%@t#(JV?k|d<0}l-X9N>1>{B>zAx&8HLTLan9rNV_O^-CQLRuyyp&~s10L&GapUxc z5Ak*8?X8s{<!p>D1>x;sEv!%CNajIk9h!8F<k`SCehh^ImFuado@2B;I*%(tXfoN1 zefNkpccTtbe1S-R6eltmBi<VJ3@qE3T#Bs6F;pXF84wXcuMb)VU%s=ZM11_$V$7Yv zBpxp>N)8CCrNni_6%cNJgc*ZW7b5Su4$i9q?tTeM3SY~;J5+a%)zW@D2})XK3^qvV zdgKi1$LWd#_xvPZcexElp9(Bvh&9ySb`-5}SFDz9q?y1Nu&&LrME1K2{4ZmcE-53t zvk1}|JKj4a+BCxG1>ycHjSc33fuVAfpW*wPg6~Wy4M85Xv?Nr2-T3YCu2r_%?Pb5L zlb)V>A_b!0izoc2ockC*8OfN%k+>7so{7TU$|BdL7)s7wYJv^BE6wZpZq_)ki;QR^ z{K&$w){q+q;zm<}+ngC{8fPNjqq<wNaw|#eO=|BMzb1~W8AH$}@(cEdOTh&b%u+Bk z^0~)C>%5#n^Pa$emD8K0YxFDwM{A><U++O~fK7R?McamM%y-B+2sG&|=92^*bHX%q z%;#3uy{s%*W)W!%i^Ra*ANDDn^=VX!$9Q@=E>p~TRoIqwYwwcILhYYV98`=Zoy!+X zdLOjuC)V5RUb6EcLciPd70!twNN1e~yO#3j-EOS5lGm7j%3t~yN)14-l;~0IEim`` z2O_Iv^sPMz-u-)A&62Kf(i-1;m6>;cwwlGctf#;*{C8{%b(pevc&<F>qLR5myAk<> zP@T#`(Q8E%B+PK5Vlh)17SJq>*(=0KXudPF5fCNLBrfkT00013$Xu2<z?j7V0ml{5 X=mP)*?u>N|vBYQl0ssI200dcD-w(jJ delta 2461 zcmV;O31ar_74Q|1909Gd9aaH<-+0|ZjGnZsSNQ$X3~OiX<Xx`veBfcuh3Lmkx*AVj z>=NdqvaRoGNa-(F(CBVmmZ7z<g&|e-8nz~wn13N#%d!<n_TJukKKFJhS~c0*>IwGD zdF~vB;LYI6+;-`mQ>G#QBYrtqpcGDwUa#(^k$K>3V3~=GK_7!`h61~P>}*1LHHgG3 zpZ`#xiuXX=eXb8#pO&RKbyEyT3|pfrTYxBBNjFiTFckx3UO!E`43$uS<pc-$6xCSo z@Re`<=kf*~exi9SXdqa4{SHAB@ucLjk)OsK`f*I_9LB*37Qc<GB{uR4wbO^@p}f&U zXh!5ylb64uGXssLEM7W)os{;${@-zEl9EcgtWMC?ssmb2B|M9%cM}}cN&69A(XO>? z(`N{dSewI&{Eb-7u_CIH>@pkrtgAfJE)0D1#@Ocf16VgUlqT)w_F&htxGEFglFN7v zV94haeTIh&2-PIO-cdSPTmO=W5N0k`L$-3fjzFQIbiT7xouPn#wXsS*lh;!&)iMRz z^cw(J;`YgchOtb{Ek0WcqPfbtqLeNiB~II`3>enh5P+W|F+I>i3BVYn*-jxj$;~n+ zd!mVurOPQ1M82@7IXaoz+>W+kuE_%>nxNAsi5y2V_e<~CmnA+0)H)xC&AkIoD|P&0 z&bnZ@3Jg{E2+m)BTJ4aVwPuU7Ll$QLCeQ8ekqJyKCV=0Ou-rINJZ)vNW)`g^$UY?- zcaMt(Vot>3K06P6rc=Bmy`|urLUP4+nH#CF{~p~5YDC9QW*M>5wETsO!^z?Uj*wtZ zwkJqYF3$5(9QP6W!kxl_xj9h}VR*r4oP`PtEgFSxvW_!<(fx*ScOTM)i$X);+T9AM zS;@+nD<*ju5mn4yj=2(uyz!-fOQAqoAG5U)<h7t9MIG5?R-1aos#-`btNJ^VOO^Ym z?abRc+IQ-bLFp2s(T#e$*fXYvP5Aaff)YJW>V@9KU8aT=d(F|h8Lp6Ul2&a>2H0-m z*EYH78G#{x$GHOYqeH3W^0}VpW##e=fga88ec9}740qerL`m)P6~BcJ7C`^|7}4$@ z6>TF7mg}R}gs){KQg;!0<~+I+NDQ!E2qjuOp*s_#7&P=rP-6PlE>CWiN_KEZTG*OJ z53m)ve9b<ys7(){%atIZiyaIbLk+pm1J(KTizc0ascJcPOV4x`$=>pn_cm#ZP(k>j zR2g4Bt4GSxwWBkQn5Zi$f)z5ZjNSo+3q<5vwAh(01nyv74zKD(5hr{#WXvgu315S` zF4$JJwATg|V~5M7_OYls5%O`V=Dbemd2rm|Q&Jb+xlo2bu1G(}!s?o|)}lrBL!Ng* zxxkBmnTdf-hx_o5KoP^n9T7lEkU~EBuRu;^TL`3B#l=Ldxln*?%2%(Q1z6`TfhnkQ zB*)knlu?N@>~MTB6r)NeiiZWf%7|d0YoF5gmVKdD<8ZJ8sn#kNSG_dowycqXR!zL9 z=h3Fz)CRf76=C>;KNu@p4HgEd#yiPnC0|N^8OTyguME+z1F>=SHjK~&d2GH-YigI2 zjA%(LJ#jRDggue<qXZ9cXXCXE`Fb}PIa9E%FRgMWw$&^M{Agh0f^8y_nGqTwV9&S4 zy+UeEW**Bx_T5jXAB*d+TW8FH0tdxf>ajQ>a6Iy!r1ay8qh%Q1AUYEUBM09+XVt%d zowsN@iFb|@m2ThRFwB!#Vz{RbiySVvMEP1nP+8yh;fmNU_A8r%C-|t+_1SX`v`$IS zxCrU3Ro^YzP0H-yQ}u^VrvD4eS{zAC;XzkMTQ+805lLDbSi$NL+(8PIMLFxQq<%5G z(5b&G#bs7T7W!mSEe=KXiVp~35d*$|H&$Rn-I~36;U-rR`Sk@Yn3Br@4tW8d($Z4- zrE^{u(%c>igYucdWGc99@WdInpqrsO(Bl%q>!cu94j((QcHWiqb59-lSOs}^&nV}a z-J-^R$Fq_RJ_W*@3>b|wmIfT3`Py>IZT!?YDrS!0ak7qMSQ@dF1Heq;j!|BJnMNmA zbs>!@xw&DEq4}bw*Ya2zB*1h1boEX$F6<YS85OoCaR3#bxzLx0=X1hC7^(gE#d(Up z$0#vUNQH-<L(jOh6Z;<Na$?&AblgEPb{M*Hf`5P#yiLZ&E5~B3;;<_UkCpqn5}EXd zzTk9cD<3z$E4{5j8>Sx@@M8ym&u{*G^}dh0cH+_#6XlLUU6B*reR{zF(Jp5s`kH9Z zNfUE;f;IL_1nLXsVtt!W-?+26@KA0yC)l=|PEju4&9<%fVjuO5Pf(8)xn>zAq~XOM z7iv%+Ov-;m*gED^2-{j#WntcCP9oKK@|=qFQthLiYA-lzzPBVCw~!@&EzpC)uEE?} zHK?^YGvHM*tP;O6e~YZ>TFt?C<O}QH-!wZtP_#WLG=DnMIB>Nq-w*c!MP}U?%Gg%$ z@})K1<;uQgfd!4T?vMkSDea=ZW{ej#^8$9C0poqM+mFa6+|%jSd!UJA!-5WEB`ySn z3#YB4e;7=N^(1{L@h5M8R$4_M2Kc((%Oh1Gh792Ng(5-oaE+VVt#lRL88OGR?TB}Q zs&NO?i}os<zE*9*0>oSS{OZ@bVga&{0q{}R^|dMIfMCav7-g`HmPolKNo+TuzmS$$ zr^L`78SLG#Fb^|nlR}Zw!)9fQ2i$q@oilUn69EVvf>Pt6HO3u(tC=Gt)P^ISik%EX zqwU96o9-;V$9P7GOLp2ZtaDEjvYea%cL5zd?>9?{UFDDbtX3uY1>3eB!e#f@je32V zI*mj=p{kDZ0rD8gmv$EYT&ezinOPd=0Y5Z`z88Wy^n#?YT#=hqh_rppQ-~ezdMP6q zubFlim6Y4W2rm+U-WJn7ED2PxO)crAgrOx}BMJDUwb?ACXUv882s}X8ELAR21r;R0 zjJdGbdy>M2Sp$_r#~9ZBvzj|;&^n=m3<w?urEBPB(KVl%^@~KAz3JZkNjTg1y_}fe z=P1V0Qy4~~OItg5)7{YZ;F}~W3PGvZF0S_nBRz?ZyN`~44(OJ)M7=b?0*7pSi`upW zakh8AK7RZRzeh6R?L*@ZeR>)Tt%8yUwI1Z>3NJ&au5W%eKOai2dz1h&>=|gmF)70; zh`~ji7?v6-)Ovx-AkhVN%pot4R8;Jc%I31xl@X=3=yQA*kmCOU0000ewF-&mdeadA b0m&87=mP){bdQElvBYQl0ssI200dcDIUv1U diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Circle$Scroll.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Circle$Scroll.omdoc.xz index 9319a7b1f417e914050cb53c0212fabea861acfe..c20fd5723a9e2a5418a0a9bdfe38e623f23b0fc8 100644 GIT binary patch delta 2336 zcmV+*3E%dx6x<Y$83e_v3L3E;K>>du=<e-R$Gpm^4Yu^g7s~-G#5m)a3YwCOe>&f? z+)mw{n)0AE1)&#;B0)L8*3EGMjnueEZow4<Q!vB_EJ?xaWyxhA1VBYgY!Aur0v1i~ zIsB<BHH2flVP(_ydrXOQd0Sj&jr{F41|BDpFHS4j@A>8x7u)KTs4wv#@R@%DJJoi} zg^lN#Jc77~92Z4rO+&OOKg=YkT6EmvKRv7h$=k$)K~1}-e>DHr8EjB>O-e~mnvHSz z?p-%$sx^Ie*=;4KM$|^NioDg+Q`D4yVn}9r>ioi2{@xcUj6g^}d$}-n`&ftDdrn8R z-Bzpam^MswDlI`Bx}L=Psy=_&W5sQ;`L^q$WJ`b@a_|~&ljB`aVS}Ahv->Qj5}9T} z7PuH?sIdP!z3NrmEW<M#Wp~=`Of8nO%louRvsR56*ibGPCv~qF#^NIEFR|lRw@kKR zj4WGFQMcytgmW>t2gKnw;#Vd6aQ<C1Cb)GQa%`H4O+}#!K}}Z<at(jdL6+d{tSv}_ z1rk;mCuLV&?;B?hDN{kQnu!8@g&u3Z#nqE?5WcuXY>HU(fe}JsNmg&%Kva|!?BOMU zM&Y5f=q1Lp78LoNuS4e=CjfQ@r*$Hmh7Mn>OfoZ6B0JLfX<m*GUhr?-Xk`nkNU<Rj zPZDH`K<)%*_TiIvFOq-mYOp{l1g5o+m)Y?h7DK3z<^I>tKrX!;3nAm<_)+wg-)J7m zouu#Og{Pn9FAIOAeUj6mO1HdzbY1;o%ImG;yaM-jX`F@4cCNExb<oM=s3t)ygDbNf zZQ}KdfYX`eE=)91nq$-^H<mww(1S+46bBc-wsTTCzE?p*@bG^M=UgBoG9F&^{nE`k z1y=J%2A~KNuY>GoM^t-vka?c}!TniKrH(cRKnK=TDNO6u8e%tA^yD9BPWLCr%ANb< zjMf~FY2VXQh!c=hHv@tvCddT?ExX|6f*9JjyZ=)n91&8He(xp?wuJ}*)=t$a5~-zv z38Gw&!Fc5%r89rkX5~<0x3W?E-wWvudB5YR)55eCLD+*2(<A2JBE#aMtKMdr)n9%_ zT`$kSv>O36rZ4-{n7X*eN-=9Y(WNXgMSTR`vggO6W5sgFX&u-89?+~^WHN_~6%S|g zdoD8zSYF7{!|N#vDp)D$qo}l0hLW~8zNOt7&1?Y{M#g{oHt+sX<5Kw^2zbkS|LuVU zF^UgA088l;a74b<iPh#TJ5bNB9f($o6ONCL{9CoE(}Tkp*}Hx{X9!?azM&*z{u9*X zi=F>NJW8%S;dql*xwzV=Y-(dhZlu5rLqrG0e-E7%>g|YCsW?q3(|T%l$$euO(^lI~ z34RzFiqwD0R!8g2m(P*zRNixj$xCQ?u3z)0hSjPWaz<HC*p%AieVe|lWmG~`Ds!c| zSs3~-ba`h07(qh8vRa9WF$mwZq+dkmTWavx(ktIsI-5w(47kxX$8jcA*^3MGnD|3a zy>HA3{Yu-T!C6TREh=jltvvwc3SpS}7nJxB%BFux<;ho^aw@N@Sxu#w3Wk??H|YVB z7U}-l6d6gx-gq$$<%ZH3nL&zTF?hI!{=x>)Y7+CYeBpiJbYQ6aQ%PR>y;5JJfAlOJ z8DcS|O?MdK?O9zClx0~Z7E9PI<xbCC0~t$SCYqEYvhIC>V$8JO1J;M_MCl88U4Q`} zD~o^H0D)Rl;qANv$R33|W9DaG^W5m(^>TQkYGDkme<_mdKv^yEE!Q5elq`~KmX{+V z0`O*^gK8xrDYi%xH%Kd<P}3~nqZla_=2{7!YUBm}GPI0e(xxyog|w2ny^*$YYpWhU zU(7gQ5|XZq!`c6y>O!;D#f2@1GtKwz`%!<^)Yrfwk9P)m)QcavRxm4te1Y;X`IpO$ zTp!ZBosu9H>kPULA8YY@l+PoR2FY{A!B*-e?xN|^uAKC8MrS0NpY`ohbL_T*N;M?m z$wQgT0X#5R--q-u&G#SWiw2^Yj8UYn2tw9|qh-aO=GCwr`?6x*bHGwhDAtrxkr#jb z=6m4xySc;CTKU=|z3|zMXklG5mfIvQkc+wMixq*r*Dl7$rtl|-TMRZ-Z*L2$sfo33 zqqgmDV(?J<^#RN44wG2gwrU;VcIwNIIo>}zGJJd^Y(uzkz6Zpx&+ofvo{oXr6{7O7 zbi&ygKiogKMQ}!c>T|kmflWi;?*o4s;BRE4S&Ix@<}h71Kno@!NCzI_AZ%@L^VyEh zn&~KD+sTM>zg+$k<P}i*yUrupB`68$#od>kI?EvOOHn1sx&jOQjO_)$wmpirXhxcl z!w+_j0<+eFVuBnvzC~a;*wSlm!ih(9FKqEY-gtL9(WGin=PSijLG=aLe;j{*uDb0@ z<Enh$Q}1+LUz++PaC3ASV>K!f*^+=stx$qtx|P*`^+ii_@>4xd@?0V+c;uIfyQ{QY zRyEzka6K6}-&+No?0a02bSMIR@(+$8jrTG{xp6nfLOe>h9(}QFIrZi8i<Tn4Tt?fb zF~!a7b$Ys_7M;G_5^IpjIjes`X$v$MGGt~WD~_7$td$!$>SI0BUq;QeRp8U*H|tq5 zAg_LD(rr0@AjX4MMy>gelL1NpfG`Tcxd$N@XGzH128a5rB5xR0!iJxOa)Y=|pa|_X z5)S5;=&N5<Pwj%Rpz`>fbL?G3P4I^TCE3vhNnGc<LzS>}wWq8^@E?Dmym=a?1_y5{ zcHg0&Vyf5a5Wyfp*rt>M3UK~fc)wZ!<k8$WDTdX2VQJ61Ww)NmIjknK9Fm`j1zGG% z+DuU?Psp!dcGP=2X)bfsr$X=Lao-@J?OHk|-R=V|?>O(5dz9RuvfFB3Z;dZr+vHJC zKjauOL&IG!sh}j3eO!MP7H0OL<q9P8z#i;zUhU9iR%0_Eb{qHw7#e$wc7+YG2KmRS z2Owyo`tTzUrWO}2BSkDowHjXR*gy6|TUhFyTKUF-x38ZowcAoV0h-wy>3*Wy1s&25 zqs}_3SI|wfl#4^2EMGfAL9@;P001F4srS;t%pCv$wiK+30{{@{6jocY#Ao{g00000 G1X)@#7J<G1 delta 2291 zcmV<P2n_e!6tEPK83e`v3GlHUK>>dw_R|S7oM=vMGTpBe9$5bp@sZzhUa#+OGLs+5 zpff?va)x&r`zp@V&G=x@<#TZX;b7P8`Cj?X<u{+-D+;b}bXW0VAC7*d*8Tp4%JF17 z8-4c@$*UJSK~V>&xmK+SmEc{>HASIw(M9>7agGKK8+bfYR7AMAC?LWUNsfQ}z!nd< z>Ki(<B0mxyjT%*_N>CxJ5)9eVk7F36SZ+y!&TuoXs}i)MxUmbb7IUs;?B$}eT-M|G zO1_uHC=ayCt>}avbP<8zUrUJ3{kpTN6Xe#ciD(K=FXaE#qL^v}fK1M$`ng)3ImdeT zZZ4-t9jam>DpzXgxWOLP*>-;)J;q1VWVLs$Mz9>fm2<$^a>%;?HoEPMXw#@jo3P3@ ziCjcUw0QU>Z0NI$d(!I?#%$v&$F`eRPLPut38MmwaOw4&0r323PoJGXY%(#yoqJ&| zL!DZXB2Pi7ocT*qd?W;7uCpP6rb~~#T2i_^FLU}{@;W&7xb;3BE(L!fMz_J(b!pIF z0gwFB>+JEzB++o_e~0pdSzv?$P{Eb40yDfjev4#h$XUH2HVlJM1$^F-Usodb0gXnA zFbG_|PBGz+UaEi{Eu@-6S3~B#bIp!-bOhfbfy5XBMz<0{u@FP!`}fG-t&v!)wbMQI zw#Hyc;--&AD7Zy%)v$k`hKmBr39hmG@gJF9MAExSU61WWKT77#DRE<^`9rEyRkS^x zw7wm$mdSkE5eeXMd-TnHS(`%9{FxVi4%qS2fjrQ9S=JZcm>&fN(}6^zCE)Z%{|LAH zGbX4X_2FhZjb@2%IG|cOZKlW`l-^*d5Zg@yZpXXzT+If4uc&`yqQ0NtyfOK3qV`SF zLwb!qOo)hG1y)=oG|-b{JW*Ai`w}>j^$X2j*qRVs9s{wT3z8PTtR6Va<rk7V4*Vu? zDH>ZGQ&(Fo<kHwm#seNe&7&oZxc*(Xwld#<SQV*$9xwK!ajy4)7zrL_ut(TGORT8G zDD^jK6F0g74`P29P{aRjh^c+`LTyWCA%QPeF4(u36)0cF0rrxw#SqVV2q~4xga{%A z%SfDJLpD*DchnVc?2fp&$hE!2ws*#QAKhx~(Kl82LCOq3dVt?V4S?V0Ma<bY`TX@f zZjudgpHWK~Hol?0A+5BpK;Z`g7)6n7uUqySrq!#wP3(V&@>m|FCy7>fR7N>v2NN`V zbShF)S^DtnSd#e4?V>1{zqaQBAkDB&z8q`bNMt~pZw8m&L&{F)5fY|s_6h&rmYe~m zgH|M)!_`k@LKc6mrvb3%NShz_v@y)Woqy#-YPu!C-lr>JCq31u?FNNgi?SA8mYq9Y z7hshy<T!u!r|m8ZeLG@J?xQY1fK5xr8QFasifaawnI?)I*4r^&P!Dt3T3)bmqcM4I zzCzp6NN(8C)jr?XO0&UbP!z<9f?EqE8f&eLSW5kUg96($rj!^j^PN;Wf2GX+D)q|7 zt=Pp{PK3I0P)h{Dc)f~G057Bn%pGGX374+skhp*6gtqU%N-sfWUip+e52z=#cd5{j zJw&vVxq}H3lcffIMKMZuIvd4<!I={dsjUfXBCctLuzpOZtTK^<r;JOobfd<r7D3Bg z-e^0baoyu@($SPJ@_5k$MG7k5UgY9W$}wnqic5FD`tyzTRVKyQ(0Jki;)6rP+KL{S zTNr<q6{ZpyXfs#i2`t(2ZZV{$V`+;t>PPAKx9nK&<`I{?)ev`mi5F%D{5e9@<y4nf z7Y>c7sv{-h*Oqzhq<p!L$P)3pV5g_hu3n%HW4*G?R+Jy9G%HBQV$Iv&bu0#1k3C>- zrn)}uAAgS2gqazS_K@O=b~Riuf*R--)Lnm5P;p^StgA({tM(;63RuqQp(E$EHj#iZ zHnXPB$1BQv4V91t2uo_-XNZ(Ht_sVG1rt~*A1`kSrWk;J%LL0Cqsx^3+h#FfC&qvS za4D%ICx-c5OOnPc21MnsUHNzJGwC1_GSuL|L6*g&gQ=Qv!jd@Xe;plUA#|B`umgW< z*;s`-PwIFv0i7Z4#xhHS9xt5YVa115?O9G<>wjCC6NN2eGx>ePt=eD2Q(sQih8v3z zr`hxBYJjn%#O<Tw^n(FEYkjlZob~-Wh9C#CuI_zL3t6Kj8}t<cVV_z@PMh#zTZ!&I zkJIZa))^T}{a}(2s(z!2mzCE?UG0BuOWkNIs})?TBd7prDCX9vSvUgJt#zwi(WM2b z)Jp^qnMT;V(x!JJW^yl$5$Nt<wWUFwT;CJ;w#dSj8EV8(H^+WrT9H=l+E;z7u`t>% zp2V<Iz@NyiR`tEhyRBXWF!|3S@^faWFUD)aEyE7o8fYrabFK`nbWRpSR-AvCVyJMl z7_*l79xoihIO`31d6h+3vir2xMvWxpe4z`S`4{~8|F|vTKb<Om-vb(QCZO{>+X@sP ztrldRRRT4QlDTN$8HH1vG5kI<txF(@S5PU+lZ?RhGtfjdZLG041#GzP!Z|~^yz3mK z7_Vf~xJ_bz&-%8R0G6$jbCQ3ck>V@leot*&`9&A_)tu|O6wEc@_QE%!k_5?79xU)8 z1SJDFMa?g14N|D!*5&CEungx-azBn?W|OBYS>VJF?vbfUcHt8zIetCqF#a)qGk%$U znNR3ZhOu!$5U?p2@c#>M8??fLuZWf-MUXv+^Ho3keI6x&wGGK<Es}p~f(bjA2<M-j z0j4tHvO|z7FN)%Kg~nvXfKpE0_*eFRs$4e%4C5cA+qdo^i$DjO)zVzLuRca!)NNA% z(u1p6;SylllanU$HhhLl;z+;rMkS#E-B!V)sMtO7o#pawiCjV;(P&AJ`V!RRACD>g z#DrF>LZ7JhMZ<YffY@VsHx2EPH9n}?J=`itO~bMRs!LWM>v=N&TmQ|ER>6WaP72jx zLhIVs-3phGIB(d~H*Oy;x`4?p74dS$FmTI)$N-}JWJ(aSXj}jRj1+;40{}%)psBIM NXZr#G00004Sz1=@X2Jjf diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Cylinder$Volume$Scroll.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Cylinder$Volume$Scroll.omdoc.xz index 9757da144fc4b5c1b0bfd6b441e6cc20c00e4b50..41847b9e5a4d8ecf35eb0b19a09cbc423d224460 100644 GIT binary patch delta 1975 zcmV;o2T1tD5xfzQ907c>9RvY?4nZ>vb9;pOU1p}q6!FYcsFs!x=4LUfhX=W&IXi|H z`BwfvEbMWI>#&Oe>%bcTzBi0T98pPCPR&*G=YDWivF1dlT>#SBQQIu&O&Ka^m+cqn zw8ljWA>x{!yMG6_K7gNG9#@~HRdJR)mC|et?kWgT`(xy5ZR?ABYmv===Vk=8l<;*S zSn6%%{k+QG68-!wFKS2-%cUG!oHk+MUHR*5NVPwNSn=R#okskQmtNJ4z^_vz2K`<X zlvOR~5qkp1H~-W{c@URKC$y6LgGTe@0VTHiym1Qf9Q^*2J1#{*F{bNZy~tk(MzoHZ z)ywuX7*FY|u#)*MZPqw{3T(J3_ND92h|uQySpB;*Rs^j3yGY6{A`=#c6VDrkpOpdp z3O4tI7Q7ynr|AvhKpLXfx|6BZQpO@lv35i<k*vv#0T~?FR*v6ZK@UXlXRo0)rrv|t zRFByg70)!3T=Or)v)Ro6Y_G1Dp79EMj+loMp~$pds*DfNi3*N?_^VH-s~ntav(j+A zl`M7lu#|Om*I*po{W1%OPmM4ut?E~iEkHxscLFAEeyD?k?-2V?R`L3=2d9s?DaI$7 zc29!b{Zd((z<3|PQ@h$_>E6>n<C5QXA%2;_<r`M%3pRx;4}A}F@fA*Y_g>}cg!IUh zlV0wLPOYD45FQzSV5c8*D;S>|;rFJ&*h_sV*S#lAzDtgts&&wrF`|((wVQkr)R+7- z4YtxJ!BQVIT3XWu*KZ-_p3PKh`W86zrlP`JMl-ews6!Yl_#a7UtuheDBz3>VVMHRD z1%k?}zyTZgn&4k?Kpr9TR=S_NSk0IF?MC#DKbq}7JT_&2jGSjmObW$kls<%#G}TfN zR>`8C3+#tl3rugXq>AfkTsZl?Zriv2w<oJqoln1S&n^WWNm{-5HAm!L>m$ek7&SiE zxxm5u=ku^%Aq6As+Pq@FNlj2=%=Xsr%RJex_K;FucvKz+PB5y+AsGBQQxuMRrl#n5 zgFBQr_TjXDpSi6zvEVx3cI#kPL<XOm0=h{ky*_X%hOJ(|@#bW!w8s6HZ@BFCvORlk ziQ)VpXfB2gv2ktSU1m7u3sbG&oJ}RFsO{Z8%nzxw=E3UqqFKE|L9ypgPQMCI8XPf) zHhJ^q381K+|07V{F?2rov>!SH|De^&X?wJ5uQcU<04Y0A>}xCEtm+?&R!5LV7ap-X zqCB)ktfiIQ>FgtXt#3Sn>rI}y0OLg^lb&C{SrbGWA`sK1ZiJY~&L!d{F%7U`lua4( zh=|W?NvlPmkGw)2xi3xYlKHLTDaj`BQ0B~#{$K2Ah5;v-OMT5wxzducl1Jzc^EnaD z_dl?I0MNuISzNMNIhcj+Ge0qR<A))BL56|eymQ%+#E_+bBSUJ)pQ_ydLnnR=CDlLd zWr68s*nv!CAV~4m2ZRyye!fp|CQN@Dl!}6aB`Go8F!ZZG-+he4Q#x98<Ge2aMG9v@ z#~V%bYSvz?hRlZNHj%dyAFFq3Tn3m|jx`p4gwDC$WdpW_`<=G`iTk4u>O+Q0>S`Lv zMktm<{z$bSBGB_HBDB+vpOGNYA6jtY>XGQ=x-tYy);V{I0xp!^4F%fjaUJ~~BT;@b z)_;hq*?nh{q`d%X-uTF}DZ_jSvJ@=jPctV@c>krhmjTo?>CGmmU^8f#nB{08g0TmG zqNxx*%!?L)%b9=&&H<DL!|Z=%YtDVL`*b0wN3c}P>x3~dd)o3-OwJv1Fczfcjq77$ z%%iS_gtf3XA@27$a@d`k43tbH?HY8!u?kE$Ir&WRgak%d6_`<J+ddp}j@^Uaupa^2 zpCuV0wEV7%zljyd6aUu+Ie$sCN@o6lDSoC!!T}+XvJ%2!1IG2(b#Hd0);<}*Yb%P0 zgt4a|_jU*y5S4P_1pQEi`FV+GqDQnl0Sin}KX`dvHM{#MC!Uqc0Xt7^YbJOk#GiHl z68rSRdn`>IrS`%d{ggGp6hX^o1zMDHo7)bkPoIW`%M2o9@}je6sfAR-gpLk>$<>&I zAt;6=Nf$|waBF=HP32OjsnoKlf9pG2Xy3ZgI%a&&n9%yFGBof+tQfy8^$h&^kxgJj zdyAbgrLRHS`b?{HS>~je$yih~QNNT_51SqFghP%iIUwr8*cnoYy$kfg$-H<RszcLF zY4E!U&=gbo%QgvmI@U#ZeceKTH^Z=?&XJf_$lS}&yB<s+d6$*8t@G{zPCZ48sIY@4 zfPU<sUSG3QUC`3{>^dDz=)1Qkg0R9ihZWjd>7Y=_chfNzugcOJ8MQ(<k2{Ocp6?dv z;(brV=r)I|DNi#Q-%7uGUu}Y4US9T?Cg}zOr@zY(3`ehDOk}mvx*_a;AFLM4jLjaL zJfQ0Me^kPxt6ep3Z(|~_V)I<_At85;Hz<b5fMKadpgi<It-ywMi(ja2yIVU>{Z{{q zEa~$A+sl>AM{A|0$14XiOKd`0=YnC3VP%-hJrpiS>US)^#6<5hhJA*AjhAMJExnuB zp#b*Uf@|D6k*8Blp7Sm$H+EfW&24~=VgQSJ*1QEN3KswYm=Tk)0st;Xzc#VNXZr#G J00004Sz38@*C_x1 delta 1983 zcmV;w2SE6|5yTOY907u{9RvY?(JlXYc(Ta}NJEus6ri<j@pv9Y$nlZL8>yyN)Pnj# zN8{NN3q)^uXP{oh%xr67HiDrXK!DC5(XS9_-526#W<{@1bhg_4)o9WJ&c8wU=V`uX zTHU_fIeSu>VVkaUPzECuSRwiBO{BH8oAzaPaSNly`I-(~T-~x(NOK;4LnRIT%7_>) zfBI^aK;<0O?k)YKnlr)v+)^)KzIS>K9U%hv7*}*en11DgXRLdEb2J>KgJld~CPv*Y zY}jt&HGLVTG#{8B{;fD%pZ}3rZ>;8m=vdk@-{?1pkTJs8){aXw#kexZrTcqc&VY!W z^uLACZqRj9xSiZ-WZD#ein1-)9MG1VsG1+4YLuQvg;*^IiurORHo_>fs~BE|C&-z; zlE<LOvN>M3?<=R26Uzo2vGrT@1wx#MBrN#Se00>eLY%T<nZMK#gA6jd6n$cGfRuRg z3Vv|Y@cPBIdpOo3{16fbNn(jtoH(j+E!i%qts^n3<q%bTJ%dz#fBs|Il1}g`eEx5< zxdr9vV=UuroQ}%w;OWGl=yJ8FcZ8$`tD61YiU(kR0rrLw7$`_-II25%Xobpn#-mp& zzDpUIZLQ$fLlwb_Y`LLPS+zet@KTIS*hV=FPQI$aQei{NmeVCONq*Js#%V6Pu~Mq^ z^Znu(uv8q2qEJ15qbasCtva-cvVHd{rP>$c1uZCac7E6k5h$IwcCO4|#vK|GyRsY8 z+^?bL+`8*Hq%I`)VxG_3>q*Sh)Ob=@Bd|j28wmBWnjhO_hm-gslU3i8j_KeA*nH6? z32*^8DZP=W+8+gT=u(0Qc;r)?j5@}9fXOkzc@{6`D-CFW#!V1?!-tZ7A@geqE*T>9 z-&N?gd&%t}wHo`_Bz)#5Csk)%Az-L@$ZPlu@Prq|`uoP#b{8}a)^5r=pYvGt9!{~i z$U7aLG~*f!4CR?!IH-rnmN{_~&!{<>jAXj=8duOIHWH;!B-xnH+UWJY5dKdWM3b7D zcmn0y(`Ryjm33pmW6KX@J=JVjzIfG9tfM9zH-)e6qtGQ+_QGD~r8jUp%zDk;pqa&y zgej?~8*4J{3@2xE&!%G9l8CSddCXPi<^r7lQzeQTfB8!}+(Cf<h~lN(C+UNIGxq>j zihFx$@lm*eAXyGSYZtg6101xG+8!b_9fOJe;)OYX8_SGWxx@Ci#&HR?2DbDG$BO5Z z>YfRNi@-G-hz%|bjmmgXJHMMkZQz=WoJf_)y@AfEEuR@Y*)OpGPv}z*!SxlO1tv_K zSr;ujkD^<8<PkNST1M%Aec}Obh6oNVSG_nVuInnu!(6S$Ai98jf?&p9u(;x1XXhi` zBw|W`T2DZot3c`o$b&_gZmP1x;D1EclOEoany1ITDlUOGkq^-|T=Em+8EAFHXP>m3 z7G;>F$VphP<6pD{$psm9NtR+gkaEELu7^BqGD1D7uRw~PvgLB)_~2@#1(WkR0j&hJ zR>SoR@g~5Alnly=j`wl-Qxn29%pwACza}t$=n_sGce;B^XBc^3sgl;5h)v#rXS5JM zA}Un4<)N4E9^ms-3pBT9C+t_%i|99nHyiF*1E>C11P_rBDXC}m?GKr|1!%$|K2z)B zg4_pa=q$l#8XW8Mj9IE>6i^HQut|PNy2L7thcCgd1-@csgxSb5$Vi;s@(32Lztre| zBdKYw*8;da&?w*uowwd0nOK0|zoH1N>thmS9Oe!MMv&+9xPWM@kwb{RNPSvz(S-WV z9WDFl-XH}*UO#Av2E{uCtZTyK!r|%@iXb+WCnKj!`z*Ng)j!g&s{xzoE<{KPP@sK0 zU9V>Gcbs|qzQ*A`hb&HRwUtd3<VFC0fK8R@%_fw3qC5&iRr5v>PG;0h#-_Y3hKRdn zC)@P(i%Bstw0l9t3*(7_R%{)6flmDQ)d$r1pIGY+nEUje1!am+HuPv2F|o0pSTL<( z8GXsw2Kt?7-=aHeT%+AO?pYxP+5jK=l8n4Z3hrT-r738@!G@p)o5TbIX-9c~Q#<p_ z>0509k^jplv3i|A`^Q9eD;|?d!%Ns!XPCYJS*yrGSFfaonYgyfR;qyMKbJn7ho;`6 zlMJx<8^jQsg{}Tn#irpshrMKEThtP2Utq+809(ALe9-C1_uk~m`5+-`?c+^0l`@0e zy5-m%i%yy-(VkxSkGfk%oMUl+Noxd^rhp3D&4x5~ST+))*N?P*@MXeZqyZ!wzG{M_ zEE^|(fhWMVB*&Gh#+4yv+R|Y=KH>mnz;lRyXp~<q>&V7*;A5%epAAv98Zy!g&R%Br z_r72K@eo|#DrkSdcsheY1=EKp7o+)kZZMp3?A>E8PNnNTaa>e01sfZGvvS5@zB{p* zpk=dqIT!gDvNn6!t@rE97zOD#lLFoPWyASga`SILwA(A@#~BS@K1@KW4wCS<B}6_9 zvpittI@qij2!g6cZU2sKWS+e}4y-!g^n{3OePS=EZI2qK!h)N9>_9x_&+yjcPM9ZE zTkoIQ^FX4BwCzepICeKO*zX!XvEn0ex@W=v=hC_W001NYI*~@)lA8blo)MF=0su3m R=HRi!XZr#G00004Sz6bT-+=%C diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Default$Situation$Space.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Default$Situation$Space.omdoc.xz index c2d4d9b4e41f9876a6cceff9497bdb7716ae1357..137df4f8fddfc860f75492213b363cd44bf925af 100644 GIT binary patch delta 594 zcmV-Y0<Hb<2BZd%83Z2H0^yMz$bV~ya-4VmWeoBU^MsPTEudm^8^v&g3teYhSNSs$ zI6-A(I1z(AXk}FKjVOj$m{iE(6x)eqn6Ai09gGn&QF@;;!j|%s*%R})U=1fES#2YD z-at$H`TxMEJ~#;}u7RB?#qNg_l;&W-ON)OS`42HFD0SdVh&uf|erI|CbAJNBF*T2- zksCngZji6-42la+(Nw@Vc<9s1BnUd%GMP>O_+AoeW~{kC#SX_c;Y5p*VEBg0l4<(= zD82Z;H+u$i#iO(kDO>u*MVmg#kib@4YOoYv)*cy~$>X}zY@~!eqEBjSY*s^W#&={< ztT!(gf~eWtKJ{GsZO{@2z<-#bi)x>F_YjvL<b#z-R9=g7dn(3^<CWH0m|$_>Q$zJV z1@~`Pt!?|wIQw0!1%-)Cc|cA5ws{=R5MPC|fF5{UIKPRuJmq>w_ssb+Vy6;60C@95 zA}R30r0{jqgC;mNDKo*n`JUsPDeY*o_N^>9iJ5gt&flv@){6us+JDxm1|^{56E{i7 zfPb&VzW>Fxk^rn=q5H+K={60TQK%Fq7qBGw@bNa^g@nVD{qV}APAt{lNWuBuNeaFI zWEbY1WkEA*2Gsv|2FaQpohJLvotk|4n5>bW(EsXn8!?h)Rg<aV-Xn(p9*hz>F0N)? z@N5{px%&Lr#e@O-F++nd4a@u{Q^=J~a?LE%@VM^pM=>smf?FO&d@s~sz5oCK06oTb g>q_TW_W%L?1=c+P0PMjvjj_aM`vL#}000D8T4KK?KmY&$ delta 671 zcmV;Q0$}~52Ji-u83ZB(12B;t$bYTqY<+3#n|CNX-k``Sh4!80h=voH1e9|0R&7eD zWKGpJwE*drORpzv_U6LON)JW!F7EqPgmXz<SjZxY!p2yAzNvWavU@J!kGOe{`b_bI z<z+c-fB1n=hu+PM5nbC(b)9l`=-O%F%}^+~{D%7|>Am`Rpfx^jj(*?~5`Ql07Zuo0 zd&RRA`3?k<bgQoi{S-3!{-V_<dFC3!(-yJlA#`iWf%5&Xn~}aKwtR@!hg*65L$0<8 z&=Qi5=!sfaFNrpwtvOR@c?|q1Pu^}R);_Ne3sxq9iF}u7B$|ve_%2JLJF>AX4AcA! zRqHhX9+pzjDYmEC*b_B9zJEs?5^x}KVy2w`Saaf?JBk>^Q#|CoEhMZ3hNYB5h7~}= zeIkfma8F7M*#uezBfR@D+)dK^LF<;|1&5ojbc_$3A+R5O$Mq9NEqD*cvi)B0;(M0V z+7d1UA>k1MAFD=OngEE_YYiL)I7e*#e&ID=VUNrnu0j(}c3%%k5`THY?B^rEmFxcU zn`uI`S53}&StJoh{7T_fv%sjl=bc?pK#CV`;@=2kYg-^;?cHrS49a+lgMS_4M?;i+ zY#N=4OwyjRrDxn4ODPV>eL8`XTLmWq1JU`Z;U=@Jh6B>h{61j^NIDZSM;j*6>{C2S zm&r^j<Wx67HohxtkAIplu0t0$M-p}3A8ghs!{%#ZtUgV9ur{`ESyk}kvm;yQEhV_p zI7uJx>@OZ@036x&N<Rfanf;;gg8HlqJ8>@Hfn{mylhXu>_M*Nd@MT`q>p2ULFILZ! zojL^%uY~~Fx(`9Vy#2rhbIsBb0CCcX?5Nf+Qvd<X28Bcb01&5~D~GYfXZr#G00004 FSz6c{K0^Qi 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 79a2490592fb2c8c738282c6bd9443d6e7ad4214..5d6a747d7384e8201f44e36e3133f5ffa3a60706 100644 GIT binary patch delta 5931 zcmV+`7u4vKG3+pq904h@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~~5otppv delta 5971 zcmV-Z7p&;)FqAQn9063Z9bW-|RGw;1{a`q8O<x=Asw8FOieHwpmbKL5JDD-7&dw(s zk0Sob9XoUoDkGWojA>yu=&z24`P_V?34tv=7O%}GE|}$ERijtmE6k+P6|VuQQcr-% zJ?eRvZCF2!RNGP{ZF(pD$%t=w!>v(rh8KTUm_%l8bsCNdxN)zT3@Ltph(Cqvy(|`6 zI=HIUBdx%t<Ki3p3|tq(+m<=;w^>$EMdr4tcSVU){hB&9ON0j*TWI-cbJ4$00(CHs zw=(r*qc)wB1AK;p@x_l|LFi^;K*mXoTxke)s1H{>vqDF+^%~S7ruG8)Qao6i+!);= z#T4$AZ+$RY$gQ8WkFY_1T*ptreh!d^Gu`}TMdqQ^YseYB#2Gv_f?KO8E*g9*3uW_@ z){#L~0rD;8xH3X%g;(#9K?@)<VH~$Q&V=<~b`c@J<;k!rgQ2C(y81k~D1%Zq98DNe z-xCknKnKK3waU;pw~q9aRVfbMGi^RAYhZbBNlLb%03Cv2l8vW-6T426ELr$n;Fz=- zl&X&L|B_intcSGceurM&LD(twZE*<Xh7HB{zDGC6a@xcC=Ws+I5HSwg{&w-|;J zT35v<9??7IUGA3C2Wt{FAiFOf`TtBE!NaKn)c-1RrWV!nV9F9$;tMID0GzMJvpFJ& zbXgxrl>mDPKbdoXTwy_SG;gdUm&-<9V`VEZ?8wsb3A0bFu>1{)mE8Aql}y~53)#N# zyL}3?R1{ajnlWCuST2jY^u|llWhTQC%2D{Tq*vgM_8`b_98flE@VMr4cP01B?ImuQ zug-&{Hpsd?yt`Q5Z)Me-LD7%T@xvDjo68SADywENgwpMQI$0E)=k;#((D*@goEVdG z(%{I)yn0!i+w_yNRBvXJjwQLW!scbz%*mXr)Sfxvll^kL-6)5l694a~y&ec&mlIm` zGOCp!F+>I!mEk(4!?tg^7Tv3*I$RR6D#YLg6q9q1gz_PdQ1Pw7(FU81obduAM4Kwf z)99xLZ2`l7S$O8@>Vt9|P%m!;lC>QP;EbeTI?M8z5z0FN6M|Ntr6!Vrc)y3yXXT$) zms{=trqQSEf_og0h_WqInHqRRbsIX)wZ!M{n!<Z8`b7_shJlW+HIdY9++Q4~#t|Wl zo#IjAlHLPM3k>}9L=+~h{rmy9U7DVN*3EWWD_?(qcQ9_m>I6G)j$>a;Fe@qHkAt(= z5(Dw`M&vGQmo|-ErkFT4G5EcpF6(IuX=VjB<%k8E({n@ioaFUS@?RJs%W*NckvQ^8 zT57(BaI2=lA`ZySYNTXq^ZE+Gm@Gjr3)5f~u}fb^*uUc)pG^A3H)`0WCF54KVgbZN zo}@T``VWw*<GeGMz-)U&hFjD>80JdH0sCl_pNbZ9bEIRV0qu*Y=`M>zQEvGG2de3W zX)d-^km~?-A*e>3RoBS`kH~BId%j+sv*uPu)E9iN=v!&b`RiQJ?oLKf`d9}ggXgO8 z9>fC?GcVZ$TMuq%j&tYW7pZ?zE_JbPk9V7Y9}EC)kExn)5$IA+1STTt%Q48uXuGz| zN8!q_2arb}sDz>w$v2QOgrK0vq@jhdLG2Oh+I~!pqk>AJT<06H;}ufGC}GS4(u+5f zQJfU{O}MsE;qa;F!!S{G)T%HsZ)#5gW3H593Hd8dT%eN!bJ~f&jzAjqC;|u|6&xCW zC{kRb0*`odAEquXON^(p+reC{L=lJVo&E|eU-S&oC)SoQ=`QNw*b}pixo#DNBwZJi z!>&|-PCTD!^0XX$m-0RA%Hgjf?(uepFm1^T?rFc1b}S@f%`E?a`q7-kY8jWG_nY++ zuQmj9z20yX-E`ra5!3EN*2=!%FY7yhgxq&`T{drm!$y?F?8Cc!RC!$xe}vz8FO3KB zZg1<kNQzLedPi$fu#&elvCk-@(+-~~e9MX*`fl)vT~Q_d%=N=?9B2^sk&bEyLpzh( zS|wWjT(t)4ClJE#!IEgxLmf$$J2%I-<_eygzbz-?Foa-oE0hvLUziBDlnUg3G_MMd zG&=#=<PfGjne+{f=fGl~I)#S-fl?D5roV1}dAhSC1%q7Tte!r94<cJeO!_<}BQf?E z&Nj$S0YBjb{vU!b(YGCr11MPQL<50<l#Nd3I*3L*&-Ch}+OH4%cRH^*LTf!qTbJj+ zY%{$3l(}$33J5$IFGR{((sx;ZIo2&I%glSBbHxS;*Cf_VKT_&SFPLNL*CZL3b$15+ z@>eY%33lRPiv$6zCy<H;XlX^!Q+9QYi<yci+N>lBs5j({g;|5vSg4R|d?q@}*aWTs z3njCI_+0EeaR9d`r$m0m0WxUCULk2T3HQ2~i&Pr34Fg4TpepqP%YiC?>#!oxV|yK; zp>-?0K!tjdpE4B#gnzj2RYpOPgoa+J^Q_P24*^ZsXjcqU4zS{cF;89RdxD_D$}$Dn zF8ufjb)_zn(oE=bm5XbF^_X?@_?gXsI;F2r;}DFA_l%q{(Fdc5rR|b)Mr_DPEh&gB ztOnV!hzfG4rNMcKQZEvJ7ZOwfs-+}o98F?b2Ha(8(;u_kN8~<#Ir2?ZTD&H;#3$k3 zbh5qjxA2}UwBKcsAnzNqS+LsHI9>EKz?-%+iAkZ)LhH^hPFaT3oFxq$7pW_-y6~HP zc*6v3hAU_4gz6|mPRl)zXiI6ELC{~-UE>y3g;g102rDmEgmp!Kx-s-0aU&2=HrXS* zbR(YMRZ#A~pHB);jd?GtN@y!}$RxwYG%S2f5<mTTw~-iYX(dOpU}j&E#1ej3U929; z_D?33uZg|TH~J2MFY^e}@{>kVbckK9NJw1wil@$1x!0JAz1u}>|L393_|?~ZhhexV zCn4L&@%5DT1aQxPg3V}hKM$z5IPSsvp5_5hzRu9s$1bc7TH)WVFab=~Q`*H3YRjHp zU$ZJ3e^<7q-pbG-K;7dah6B6vdJx-2-l5+BI7Ea|2_*~c0R9}qq-9uJCnoOnj@)nc z9zJb-PVd~P<`G+yeZ%eNew%OWI+LhTX4S!$86_>peGKG(lHgQC3!undtZCkm5O=sG z2p%hMNpLe6b)x{zlA??=#v0g4thF~F0BK7=A_L@pmpASm8m62SVEbdd+P$?FziWqF zV%34Kh3d1)C%TF&d<w1X8ot1q7NxVupZH6st5UQDZ*nTr?E&3=uWi1W<p{v^LK!9c zzcV^d1Ey?$ckfyToGyiI=A*d|vaSSr7VWJJvlyI+u?>|Amt3>|UZ`f_>_vk;mu(#N zrqvU-6kG&$n^feXgoY^Q1DGrhu=pxGn?d8Ay~Y}e&Bm<HsXol(3IFs$o2rdg$qm+{ z_!AOa^lc4Ri-p2Qo;^C^s4-goqrOaa;Nc~_kYR&=qj1x&KeP<6WmbdVR~_gC$83dc zZ;n-5M=jNHhDP(#Szr}@hB%vOg%RXtO#XzBSaZl@USd^(8(TeiPWnD~<4lh3l4IT2 z)7BHQB!`^(!$UP1T#CFBYXmlC@WGR7Vo(#&!HRksaV$DGHA{y8Ye!;V9jh(i9#=ll zoM6L$lvdZgn_A(v)YQKwR6xQtcTQ5|fD1j!KI>Z%HwvRcTEgDBj8D}viC5H3)+Y(m zDIa<;89%}t3*d>X=wNWZVHQGEA5o0H$_6R;#7y|;GMDSk%iKI9<BlYZ^dUpmn+|S7 zzAmWcn_#GV2DZw`;z}Y@S!LRA;H${A2RUzluY}~yLHFvb5L-~!)hQ1|;v0R+XbHv= z{t{bY+wk?uFcV(763v!?vjDZjm(2kMeBXg}UVI0*JmI-gAB=iG8$xWbm43Bz@Ozkz zpabU8o^yBYez-p~BAn`ERE5Fz&l7E~@jQ9u&duT5m=vkqH|Bnb!|^)~*)aq5&I|B= zRW`Ycc`0Gh$L3C4$Woh`p`<$0jZ=%2e@N|2EZTsu_|w!mjW>{$<O(SKB(cL_4O*gH zpDdw&`g#-$6lni{2Iqs_L6wa#5fmof03R7rTs~7&89_q2V{*gXEY&pa=Rs%zFU5B` zs?Tmv3yl?B;uyk@#^OyN6}_)3VNareKomOX>uRMVPWvy(d;}aO`|F8MWBL00a9P1E z=#5vl;ROI>iWE0q1Sy=Meex230;A58z6ZlmPz_@Uf6ux81pC=UGQ@CE1;oEh9dAQG zTOw%_aNY=x5#gD#{@ioY2GZZb!=a=q>BN|(|JYKS{BG&GB|gH8IYIa7==c$T&ojR; zt|Ry;_^aW&{<`Z<AuS0kS2I{-NuS+(!XEbdd1a@^HpH$CqY*M)w`lFV;*`6MKVjg! zW9MKj5}uX1N9j`>1>4a|Fus5o?PyxOO8|5P<N3T_1`SMU7IgZO$}cl`OIJh7@z&y^ z27JaC{Cz3E%#i+?r2t+xQ~geVx{@mE!jlu&eBE)EOFK?=3srcj$VUv@SV=#t1bF#v zgb%2NVmOyfgV0`BRy-hJ?e_>xIr`-%?ReD$WM|Z&WlYA<gmS*WT%OMDW-+Mox}$S* zg!uQ4v)ARQmHXO190o57qQ_$G-PyrCelbwQ!H=T#C@3~Q=0$*2spG(Z02|NaU`{>r zg9H#$zx07X!CowBy$_e9)>QxUKaHU{6|n!D40iiun2{*sD&t9r(c~MW_LDvi<TQ(k z23xjegsPJ^4mCQr{nVlo20)O696%&;c1fhIwxx@%jSQv*WkRdewf}LAs%llu;GJ5` z$|V@0>Bl_Tf1B_odsf$f<RkgAK=3x@fUjQf*?%SAGx8vst5N91_Q1X?3%c-?ux>6~ z^jM{2#^m2P{%CxmRs-KvfV52=w^jyqS_?@IaIDgD*0>=ARmQzn(Uk60PuKN?n8}Ca z-SF>eo*fPGKi`g;?A-YBdHs)eor<YOe`YzE_JHBAQ@EbC0x=SQ?M;$v3>k<Ow7gYD zPz}&eA2(p?pFHTqY6iSEil65+-HaF5q)J<S79GZ`fza2;RJ0+FA-^<#wCE8%aZ(>d zWxRdGmh@=B(5TeifCdH)E{C7VoCJ<)6u`pkx5p(05>W7kW1dDO_5u-{Ao{6|WKME( z%~xgwB1rzdjXo`ZByXkRmKs6-Z_DR({mA)9(S;+{O&L9SO!>|Sh%9>V2US&?>IP0G zO-Z@q4Bc^v&+BP?+-7sB(m}PqN`FL%uZ$|6Wqc0=5`m%<<6w#-U<6(Tiu~{m_zJIt ztW2KF@1hW>9o6jcP9H^*D-PV{5e!y5gjm^7IgtDmnrz8`GK90Jz)PZsbVdGtE{V7L zo)$kC3jzd_o^BnAp(nODlvw;+G*F?9i64Hh^$S>5hy@F&1bP=-S-;o@o`N^%a*_5) zdf>5-iR=^y^&V=>^q-lnE4sA5Yn%AX{`~JrKS^tMR8F&xq&!9wX(us}k0J+6$dMJ( zAK3<2A&$a-ww@(IuuKvT(tDBf7v~`wF#7ouaeP2tYB>={n4U;(8l=j9<N&y@*KF~) zd0AtvbpNgEvSD+f`p4eqLEkQH2>I2kYqR=p@%$V!EZ#92Jfp}-ERh@`!>y6obL3k6 zuO&4Y-AmEIfZxXyzo2Q`)w>SNa1xa3DQsa}5{Dmu>E^=hZL_@i?zUPENiAvr3l1=q zVZDh}eTOLQq)IE>KTDrszNZhR)#2E(FZ8v+s(ppMieVQD|NOxTx|_<Jfuzx-@RJ@j zx}|mua%@xY*YQI%0m8!$=b1R1I#~krx%UiqhdvI7lljmjG6Wrr827tTAz$?JF&Uqv zhVtZpzfXYJJ_H^y&4ZjfC;<fryK_#pI$Wmz^J;y<i;{6gzua3w`_>keveATjSaMKl zedPeFQdcKf)GFrJf<T0m>flo8Al0@LH%ED%@&o+CiGT-!DY=jp;Me7HIrelUsyvx5 zr?r~u#=W~_Fa)1eM=E$@|8{%$*RP@=-nQp|FQiC$E?r5CyGnFVgN1c3_{jsC0PSxj zyG?sv(P(cReOlNYus$z-Kq^i@rf<JnB3|=XgK5-6r{#}l$>ZfXcxo!J%A$&Ou&QAX zP<L?U`pVT0)g!SLhDKzOaewYXg%c<9r2h}sYyiT~uBb(Qnx>IRD>EOHHz*@zabUoI zB*}vAt`^IJ2Si^cUy3PRM~DMzFm^L$qBh(BRVeYgIq)$H5t8p^;117DInWpck(+c$ zf6YA!1NUDTw2)9MqefKSMCRUW7|9S4+8P~>9z<F!iY^ZQtMK|m?*qlAxr0EfeAprj zGKLVQzF;(p2=}!f@b(_`u~VY5wgi=bwYgxUJixHvg7J9zJ#5B-c31%dvTzTa(S|NZ zf6*;0zrRsXh_1_;tBR7kB<Bz!;^Nq6-}fq|O}|Gx&#-jJ2~K0QSdj~Bh@oColmW7h z^smpFhLQaZ1a)7)i08F`;Q&vQ*|G?^K1cB-n!3D9)N;9;x`I@^NTnIznQjb!%qfW+ zEZ9$db5H&SQjo~E!pmC5*1k{lXd%*ptCtxtX~_;b2ZrRCYTKs+HjyhAC;|M{M8+89 z0Hm`2HMx!Kvo!8=Js1i<iQ0|%K;r$ExL~6yB-RAH_(r2#12m!9s*tS3BMwdGM%zSO z;61<~E|7^GjlTEXe|v;bUbaDh^$&73jS!`3O5VH{ds1O!j^fTP!PoMY_Z&V|h6i=L zf};LLVSswVIBrR?``c<L&<hFW_Q(9*d7$%wRB5wp;FeUh=HI3PiDiAX=&~_hD!B1@ znGj^^+Se61h0#yBzM>QX;|cW+r$*>C{mz2ub7sb3Ozi=G$V|9i{osjzXrA6Mw#iFJ zuI88~tC=l3(Rde7@|{PCoXp=N_16VX(oB*l_rphzsLh%Pkp~(7q+x8AEdS<I8jHwI zwUBjCXN-$m-67{8%hjK)&**-H*e?km!G|Jj*)WiYlqsB8zDwq}+InPqeCiJ4KRRj| z(CKRVOO{;tO1&I-c#rOXKQItw!#U~6YLA<;`<J!XZhCZg-?>Um+Fx0%ZQ}bbefn9| zCIMNxCBpN6c{KI5pJ}I{Xw#g0fd@kCkTS!^M-LcIOV(+7bThuMy`j;P2i|oB;ra2d zduL96L?v9ET4)qzh|Y|u7#2Oe=`t>;?=jee*8c$$gFk+c#4+%HOj+v^by76Jj!pD0 z0Kh(C-o%ne^O|@~sJI9u^0OwQCup|s2$ywhO0tmKD~0WrN`Vy8+F3P8ExKsxYA)nh z6cN}>RFKb^-R@3NC~4{M<IZt9x|A!5(i{@TC$K;cI6QUr(^7^TFzw`7%r!=Kek|En z%gIgF?tJ-PD`+Ht7|y*1@*)Xb0W`?;AikS68@6w@PSScQ6?9kJVvXuK!9VC=p5d(s z^nfO#p5$=>nlT1WmELptV5T@wM|{Ww?dq54kxv~j2PjC{LGQrY%(An^kbj)p0<Cqw z5ua1uw>#P=Eg0cKlE~!XSi;f0#`*;Y{yI%@THg~!=);<S)+LCt<Zc_?;i`|<G;L>V z#=maIGBwYeKvQt$OIHDwJWs6mac?lz(fbG&-a8?oZSaYTI1ceTdAvjDXXBSYp@ymc zhgD{V#joc&+<~VxqG*|VjbJ%?)3K780Z-owj492Sw0B;Ud58nKD5fF1h!0sE`3es* zJ`@d%g&{zH642(wi(jKT4Vg*Mai6P+f1)prYNSn0A_^g2t6s0f-M{aN89y$%YI!ql zKr`eGZWML&2ze&iyfzo3>ERdbA)wn^sunofbwCCUM>i4KJI>cbbiuS#jsKKP3?PAV zk~$C6^&;B*e>7PIFGwyi<doa3(gJFqyIJcOt;8}$g2w%T9xYmeEyiJCGtV5JB*oJx zc9Ew*oGypL@r?QbCESxx003gyA~<dU2ao^(@G#$@2>_E&sQ|IWXZr#G00004Sy}+h Bjb{J= 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 997f9a79e44e14b3d8554c14f8547e5509523d9d..9d9e47be11d42a86744d9dcfed6f163c7d7ff568 100644 GIT binary patch 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 delta 3896 zcmV-856AG7A&4Q6905qN9bN%{i-4ZPfvRLSCd^H1<{oR=DB5WgtkgOgo^}xJS;EKk z+Y;~jj*cf*;={{!ITOZ$;!V<MrxaS76i#pReWe-bMwl$2J3LF6=(ty7K5=fFnrwTW zn7<StBh<=0?MaDM3&D&zj;G)M;hLr5n8@h0WKqieR1neWgenKH-ESO!#)1Zf;ZK+D zm9l)3>z!@*rFc<n>CJ}Rb*>~0s;`qzIEV|C#5)%64kKE@BPd?LdU-hpzQ+D&kwtvu zNgl>rpr<(#D+7y#6Bak8Zo+Zh5fGajaqqa$Xpg-#bJK3ybzsQ~!75!QtNxK~MP+Sx zk(B}YLmbmnGRD+Vdjp|=*lM5Tj}0CO`-F-h`15!U-Q@kY#Nl@78h5XXK@7#mu~Bxl z88ft$ejczlH>1<nE<tZGAn9gjc9?W{|0jDt7xy1Xta!k>9W=Q)d_9YPqPoJC_w#B2 zDCSBS3Cn|Wm=DMa#x<Bcfx4)<R6;o0<KCwJ9D7#7Y%&g(+5ee;u5~oR1})yX7RLlS z{{4keQ*6E7BKP<Bl%veziXMz%cpHNDW}SqBpLe=P+a~oUW6tWo*2P}pK|z<~@;PdG ze1`2)HMZ-X9_jgbTOrR>i~GzGc`b5KHh@9xeSDL&Y`)3RWQfc3#eDii>eX_{1S;BS zbU6%PVIXMoR;?C)%7ll3g1Sd8!3RCKtP`pr{echN!ElX)bG9*e`I5&BBi%5(*@r0I zD`)2Eeds|oz2<4AS%ee-p2w>;jwkGn9Qrcz7vn2TWI=8NvknNH>Ef71&P`V5-o7CW z0{$ai0C+hj-YBVu<fUjErbU`j)_$;liGumBB{{l%l$@b|MO;<YvdYD{76ULXjDC%t zf(*th%Sg<JgDGvU+3#?;3S_I%>#QOV>a|IG{InK@=McHJTR14eD#%(*i_ysV7DB&G zb<33}K3EvFl2rq$opvTW-~S^V`g~|Gs%3<>qqMvxK<_K2Bg~uA_9;`OG7y>=BdfRa z$Lnig<ZNJn;ysT8BX*1Y^FI#K#rOxD<PvW5{jwzBy)C9A57sI=O;BI^Asr8Sj%g2; zL3-=I_GjZI49HLojyXaUUnze|!_thfH)5r|FRfb&B%Uj-6avq0e-O;-ojMmULZ6P| z=|+4ewZ08qniexOrop#+HlTvet@?&$tp!cwLEfu>^w|VNv>o1D)T9HJEJ*S=Jngtc zDI(`w<BiwQ8t)?UUK^z)evcjzf?@?`=La}|Q^l-z<e23uuX+BiO^j=u98hoI2Vs1u z;#<*if~Whgg@og_ku`dvGp;pfpo!(XH?$P27IDntloJ`a{vBl^eZ8YcM&V;w2*Ce2 zL#!5mh=Y03_*PVI<xYIH)5LaPmy+Q-uln=K1<=UNXUdUpoj$$Wg}zQmy#ig+3Kp&J z#x9DZjZtn4zLI)cQ<pHt05#=p=me%J0)>h<sSC_~WzoN*0l^t=yE^C#x-(H9uyS*& zy4P{9gJsbkQBR)z#w#<$v!mJnEE}3;Cvpsbu_K+<k>{<IK-rFI)m85(h_4g6QG5uD zA}y@Nir&^W`HDXn@Q-$o=WhSoi-^FnZ&=vyyz~_tNk9L3B+{`k2GqAR>sGnGud@ip zwAj+Zv!fAw9T*7Jl7K)+3i`8dj0~t_oecLcR`h(#>KB31d~Fn0NU<^th7Lr6U<iPJ zJ%0mHR@L6PX|dVRA2CD<@d(_jW3nJ8-Aa!1dzXgw)dMQUz|`wGCP4{x>f08Jp=xa{ zgL|KfqPH?gL&G((!8!-;i{SNa|KL4ohRHsGU!?vKhzaNGRW1j8Ke!kGHc9dy$qR;h zkw*KZ=B&t`c;0)#+i>}V!ji|h)+8B!(rwxDJ16Ya_P>5G&lz4thaoPIidYpSBK_}M z_n*<0C*q-w2ud?^Jj1Cc8t8QKFn0mFi((dj2*a1QhS)|rA()q2uSE-7wUjQYIpw=N z7@_88GwSBl?lur`blq^wF?lgli)yLtpsiW~po5MQCTL67iCd$X;7ZSqtM+?;)LMUK z{-J82^+8fkRCd+TGs3?w&l)c^t7re#yZ?1{5r{d0WAWLsU#xVb`cY2M(ebt|WR+(1 z(+dpkwaagjye?K%1GB*LzR?|`gTLnsa0jz$V|uu#x3B&?a#pNM0Q#hKQc*h`-#+#* z@0T)`qHh&dt~qI11WLDK=JS(()c4mTOc+VTfDUKFURS)Z&p>@#Aki@Nnta$bQw|-5 zKjY?3hHj2S1u-s|r~XI0-U6(^atgtU8?j@4Wh0^8Xiw{O_q$rDakwFco%%;W^_+P~ zf#&0h^XgW^n1;K02uSn`!!Oz+!NvniJ$0}fE5o)*2kr;(0f8ii7y+AqdNQP+hL(}F z&?2)(bFh9vB!3EmooUfi-YUlRl<+Le3fL5uQJYuz#)!kCjdhX%Eb=>@Mso=bnn6b? z3s<)~;Uo?@S!`vxn}v~q*>Z#!uM5iIHOs8FJ(8JuY1pDx9iJ3?5D{uwBxfI&Nx`^E z>4P*hH`No8uwXs=)Z52@j{1!)xQ|kl^m><m1_+3{4b@z6#<(=t{fMp?B9t+B8wObS zfSOaJMQ?@YdY1zC4Q$P>1th)*7ho#|g;YwoA9+Ij-R|H-m?Zz@2gILT*Sq-T;&yd0 z3WrK{zQel2+=t22(&Hm363=j*fZr&N>^U`_P1R>z&5uUS=A4IrNrb;?HqYd##J!zf z1)aZov%8s*s5U<sctP@-^d4&kZ%zhW4<aUjsfcFYZ!C0hTK$6&4ugeG7B?hFc3?~q z^C`k4hf)U&{6M3-uw~`VYl?=R#jL<))BXxIES$5gQs<fUvz&jGFK7xQ!>8{xpP{d= z_5JBgHcbD_H(4Nmq1kt>h23?w2mC`s>lD(2OScO(`($``bkiu;B$f?JNUZ%5YPz_b z+R(cOSpmK(bdw_-Hfx%;Ly}C~Mq+~x=G6&%+JP%Zoxc&Zace4yw;!fL<WAH5xmV)+ zR-%jE^}YgRo?=LHJY9)Hlm1v7XT<)z+>P*1CzFp9Z>scv?qz;(!;z!x5)Ud$K<EYd z3KwT-+D2iMB#)Sw&r%wZR{L{3)M-5b%yFa9IE=bS?mE|i{(BOy22>lr<zV3Jk|ntY zr@$<>*Oh=Jc9Aop&na0V+(PIq(HV~`$5Kemt%Nux7GyHbNN|&w9hv}?WBkVlo`>X2 zO_+%ml*+4req$`XRqArOTgxkz+Q=mQi;MR&2d2-`0}bJLrhVddNh2qZx4WjWzM3~$ zspc`Q;QUQR98*I3SJ9wS0P8u44DSGpc%==*2LL(uz$bNv{q!!}B7%#^Mjh!k>0!(S z(lQ+Q%BClIE4JTs3SV7vPu#|^F1NQcn|86Shej}ez{z?w*}|p@ojOCKvbiarZRDMe zx{o^IYT86`N%UUrIRikt`$%n8)`EhGO8LX%TM$0$@B$SAHl%}h&?<qt@L=rYliz7s z!$%X}WsVt_n=i{mr&EOi0ZdGD?{E6*{(R!+H95JOnaY?*#rRE38_F2uLH&Qd?HFas z!f4cg!`_mqM1Mmd;5WfA$H65JOqpD!Dtk)S6$UAHG3EQ=!I9?#<A~<%HkW+IHgt8F zIqz-VJl<TVB=(4R2QhGoa`Q#--bHP*otB!{p>?+)k!>@vt~vARwj3l8?hWdwFx%su zJPdk1CbM%LWDuaaVD>D_Jx(FOc7)Spo}KG|&bj;b`4dZ#QoEFGy25r#O+ZX=@boBj zR$O`)2a_z2%Y=<1;!F(yzL{PWGj3N(AhM&q>jW3V?_G_Obisit0{lPpn|hJ`)+Y|k zi$9*UH@?+5j@1>BA*6_g+)bZHp(9jbful2aF*dHHDI_%Ve7%Y;dWf4Aqi!7HqBi1x z-cPi=qgtkrA;@I%D5vKb-78he|4md02N<?#TvMfEdza8Eafu>kp>9}*khn^1YULA) z^|Cpp!xfR1p>c1vjos)6CP<NCbMpp2dtfxj`Q*Q|&>|(zLB(>rTAKteo&Ajyj><%I z-bQb+2VZ~r*+bT!mo*{LjHX%OraGm6+xQWyf>O!dmUdNVUJ%u&F6_M1CjCsdB!?gj zdPFVV{r~`VN0E;!j(M~!kF)2B9nH3U*t=UZGVddTUC{T<ypvl}f@A1&r`w2uOW}{J z@Dpg2Q|C$iyF~l>0JvxpUIoL3ZlN$EJpwFNi(wvD+iuC7_D0n#QI?ZIILFg}5afG_ zhqHX`)@0Q|yfN1WtWG7&DLn@Ob(&Z$dA{o|Q0o5C>-16FC5--r`(&_f6!ZZ)NO{zf z$8ddTj1D6KwW?*?qzGW~G>Otv6b9mI5xPltFvLDtD0uuo&Uz<3V$r!4txKBPow2Dj zKWjPkNUJfIhVkjLf6Mt!0T|wYJ=Rd;x@ft{U21e(s*{mdDTxk5<Y!L5Vrq^K>V3Rr z+!wQtTV_z<&!_YzdEatFX~brXkJmf0u9lClo1vjY6~6~Bg}@Irerl{)?3E!v8CZ!s zV-HJs;K_h2|JBmqUM>&9Bd0a0cxYOdWrma(BYPRN!NKNsLr|)CA;*D#L?SL?#DXtW zpf7(}7UAB%+{5gU5EsX#&7m^3ApXgE`lC*20Ok(LG`nnvpvKS_2Jg_G(9h<C&yiWA z+snRAw&7H*)KdXo29+OOGeJ`E4e5p@Am%^o<8PdG$oI$FCH^lNi32xdP+<z*Yx^~d zy+4xDd|58i2+1L;SJ3f)#Hu0FZJ>D!G(Mwg2X}*{me4OcBK8V+`@^+myTsD5>v=a3 zw?*qZ9hFS<EkA)@e?K+MTdT8zyY>1}!ej=(9Cu+ng@@wAWU?JH=bBnDG(<zQ_TQ{3 zxhy>m108u}N`2V>-l9fp$=EZN!7P-)bcucIy)DEDqEgSf?g9pX!O<-A+Q%?7*Amxo zy1yFH4}*TYYOBb6^PfX$%Y1Oo$Q<8W&Xf=V86%@c12$~lslJ>^{RrFQ;=koSk2h7Z z#Ieswd}C9oNq;LEfi-yF&-1_Qk<t~V4_~zo_M`vuFq40(oB~F@j&0eFJAUcnNB+81 zsF`#ac%}3EkFpml;oxQ2Wi-UWJzM~86f=*KoV$Dg0puWvqXhuvE9C*P#Ao{g00000 G1X)_CDx<Lg 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 89100946620cbebd9287a711e200cba96055d75b..6f56a766303d6b964d92e9fa5776f0d9cdf3f04b 100644 GIT binary patch delta 1923 zcmV-}2YmS85#$k&908-T9bW-|rb?ssl#ingBmUHO0q2=h3{8sh+gA{8RnW%(5MW9t zdU2Jk%4j$if|EQ1u*%0pV`rKD^Er`}(!Yr|A_C7L2x{#GEu3%&L{<njk;F+8&*y^v zVQYaTlML95{^4%^G6~=MhCz8v0^!<*0_r)|j!H0{7pX*AJvv@GVVwkjQM<y!!z^KA zd8)}lN=Gl8_i)e=$6V-oATIEk-1hiZDi<W(W$98|-2S5#A-f0Lx})`J2+!b}*XQ+i z-p6h~#S}%IBniqZjagNv=)q-UjdaA4IFCi7e`X+Dho@bPgz%T1SFHz{tQl}un%^|? zY7VMrX7|Q(Z|h;>7;v+HSGsWPdy<~wXfw}R^e0+F=t6%%YC~85YmfeSRrpDIp(Iq9 zve+I>I8}X)82>$#ahg4iW-Gw|YS2J<I!**<oF$_8+0U&b(kGr}b6uHZcq1h2X+>ws zeLv0mh1nwjiCGt^5UZlAwvmDsn{vZaTE<i0wL&1L_Si#>2|Uz)8(5CWVwB8R@VA~R z$+}&PCs&Bi((~6jK#1iY>R>*`?!HpQSka>(;?$4X17NX%S88W;tX1?S*Rrp#ds_$h zDn~)_r`u&WE}Ns#V*O^*!atzQaH4=rA^8sKkEBv-<49)Vf7GMoqZ0v|9%R>WKK?(> z^7TH9euQ59lzs+(XKyc=WuQVfe?og^ijo`i4X@;hV-J<tnii}s+++!s)O8CNF03iT zv;*okXz1mcM5_HXLSFPbB;gLPUnX)2PiqLPOKz4D_<}NOjnfvWhDw{}oc)a;)eF3K ze^L-<9?l7YhtiFF{6E+|M>`UC8#mh(<BME#U)Q;pk_2aeiL;o=nZX!}X5S{z0THPJ zJZ-tx!XOz|#ASH_c70l(urU?v`hn!HoZeDT(uva5A^Ahqi*8wgdh;^p39hy*Kl|Ki zc8&=RyBA*AOPf(^r6BfhP^rJYGNEXh4PI;soMSZj9VR?rP10g#HTb>w*-%1jhK&5g zJQPHRqOvr9#8@0@j9!t)Qy06IzQ`qJJGCq<jQ21*I9l{6uUJq)tZIICOZuWjUt*ui zYob4Xu^1OZoP{WqaT4<BhB)>0klEi~mc*V;R$GCMrPS!SmD#Ry3{;^mxz^N~ch$O> zSXbd(iVh4M)O{(Cj@GozgNAZHK0Va>si6VJH0iv5!kdh{>8nMgJ;)U|<Hac)H<unl z`Xv5R$c$Jeo8L(s(f<C?ZCmRTmp*Tdv-90tHWy%L9W9H@)l2QKs(J91K|5Ic!2;F; z%wL(a*pcfTg(k8ZtJrdcbtC}_j7g{c7B1w`dh3b##~@T(z%Osj$3Phu2!HZn^9z#b zq?b*9k{C>iPb;HjKQpE3owFKS%tbZREa5vglXdK>>`i*F3;F!HrUBP(1LqbspdZjQ zrJbzs<UZ;Y>bl#^TZ(NK@(ZvE$YRivuNr^hnxh!||6PR+@}&UOEa*6z9wIkJ#9bhi zLv@&q|B(^8tzjc_B5>CKScQHbTv?iGP$wCG{c1a`oE!C+eE|8_yGfu6#+655N7!Ll zZCjFXl)S5zT1CXshuL6^gj9i;x~XlaVuDA!fWNg>Z|9fLdb?|c%ut^E^ysjGF6jPv z_XfY&S561e{d^2>c7})zy&pjjif8vqJV4c!9U-fKBQd<_)+Ie8aZ!eQkza*@>ME0e z{Zg+?;}l(APX}F=zzG5q@7tAokb;pCp*EXQNH7XtZKg26sig0hDBMDB#>R+&&XrXq zIlcKI*v{h_sPN&yi4*t(J#ooFzwU2^q*W#)aaNUeQnO=whOdi9$g&E1fA=YoBn>b_ zj7vh?^4Xjlc3l(Bp}5xm-m8piOcxq|Jc@F<`EjVyCKmSja!Pu;tc@dL6=lU+M*djU z|2{To+jc_#y0|yZAZpZASQJ<87-_Dl>eW5#V$M4e2m3I9fOQUoBu(4iwi$fd7O*2@ zMfJz269&2!_^Q}sRh+~Xw*bDkif;B?Wz1S6fo3QABHoioXMWHxi3tO=Z5`8pu^?ux zmwYy^X+SoEg_c(Y3;goouNVW59)m{;5@5{psN^PfJ`dv47%-!#)P*;7VNuY_+e2f9 zL6>2jS;4Nde)?7<+}srsm9F@sqF^V;Hy!ZtTXxDp9#l1lcTu!b7OrCj!d`>mp+eXT z`Dfu;v$hYQ1GGDJh$;DOMgy{cLlYl5CjP8kBVUV~0S`95K_nBJ#j5d_t8>}^1<x+k zCVP#L9Es$H%IhnNg9Cptj8GjvahCChc-d3l;dH5jFQpR7-xtC!#`1i~(G(qpclB&r zI*92@IFP`l9rf!Cirng8|J*NRn3VeWKrK-n;^^%cfY4j>ca59>$=uF%^v_k8D7dgo z)&A$YzdX?!qlMdm9ob2I4hvXT`>Ir?U4CCren?A(UO+R9n364;XRM;DLQoi#E;6(R zDzZ#c3{<Vw>BH8Y-YIrPwC5j22`HrF008k{l^dgW1cU$qzY*1~0svJmRfn;}XZr#G J00004Sz7z9x77du delta 1919 zcmV-_2Y~qG5#SM!908!Q9bW-|vmZ6iRIuX_{}1Xqz75zVf=z>^u9YdQ_mC$ZRvr42 zd^(TMugACs)&*`5p2KvJ^O}MbLNU=-XDN8E&hz5V<TEmWxxAf#n*O6tJ5e@7qn39d zx^jn4LAOqo0BWf2EI<(imOsB!R0wdu5oY0$sluLG-Hn`auv=LM^B%o_b4EO^2c_|G z9;KkMza0`?TBTn!QN!<or#9K%otougN{EIw3o34lt8XUcrhFJ2*yf;mbTm0u?#an> z%<Z!=e=20q^h~OrK2svAxN4KW5G#x}hkOthpwNx*)=_~S?~8-`P#71^8Swd}g~WTK zeMy0V<45#<CCnl=!GYO-Ns+&BD3DF7+zhr~Z2)M7CTEVT6%47tK3tTO+}w1sh_IsL zJPg&Kv}^DGM!MovnWy!`*Sf$CW{%${VE=Ie@5Y+8tTremGEwn_6~Gc((hx+hdHf<- z(6KFPFX@qRc;BP6uJ{B(F_biQl9<`B#t@o^DzpjPW|!;LkvGDBymbqc%&dW7G>9NK zL)XEnrOBwBekLoblk@RCv|kkqn!mkgN?4Zwb@G9?C`^<MHC6Bf$~oIQD5h?0i3<%J zp}Yc$BJHIpTEMnpZ{0@$ISFq)CX5U#?<PfRwvOR40Zp(A6b8rSJ!g@~m?o-_$}5D3 z2~N%%toGW{kUjQ)F}PJc2xTt0fNaK#cf7JofsnMI9P;-Nk`eP(mCEzx-I)Hl66qXF z-5gsraX9b?C0B%pxVDdQ%ndi`!(!Bf%&EZO16W_>mxmxknM3dH^u#<3U-meQ&nID7 za~GdqM?&C+ZEmt<no?RGB=g1jQqCr?I}HQ*NF*t0IPU;|3l$V-4cuo?8Zr6Gw_D8a zF3?3V`8?;@5Bd=ZJADXyo6u0c-(9RZz6Tc40RW(%del+P%&m`fth;4S&qzi^&od`t z>^?La3>xF8!1^qOUFbNcJu&NO*m6-WQ797F3`AJ#RAyT7tF<mqJD0W8X7URzlqkNh zjhO}9xZnkU^Yk7x8GL{^QgdnqNpGL?Zg+(75feSwqdRGWroqjS%CFY-IWy-e4Zmtq zdxxt4iTgL064)T5I7-VzGP&$<G-r~$;7YCUSDY+%98kJO5s-I-t=q4X{4?VsCnxh? zib6dK4yE9*YW_5Ng3r^KQ~B8m!)ch<3mP}yb3w{~6N@n?hZQVugfR;f#$b<C4>lcx zGa1vg2nXPRH%(ltE%brD-$*+W_Eq!8L@A|DTfc7n-Z1r$e!WxzW#K7YLZc6oNb+Nw zrIiL;l}at6aZFQ+KR~!`H@lsd@|L}%Qi7R{DyD_k7vCA5*0T*#&d+HQ4bRE|bG7Bk zKO|Fs;)o&yG4342duGwKMQgZBv!OGJLXUycTfV*Zh84;0w)n9E!fQ^F6NzTlhC`N^ zxL#cc5a%Ycs(a15O@ccHes(T-Le49BUv>gq!53s%tvT<~`hwDA@Kh3h5u&)9X&e== zAvC+j00!(7(W`R9{Ae6%L`u$4<<&LE&}PAZ*6BYVa1n30@0;*9Qz=`}LH!nsCVpZZ zHbGXujymXOeb1&BCgFLMsY?3JiAUj>uf~@CtK!W3a*NWazR9YjL~DIqTD=`(PAlBV zV2m*cu4>kvly>HdWVoUP5p_G)&nbwc&IF|L9&VZ|dO?s}6-`q1CDx*Z{cDsje#1I{ z{$bcKlroiOU!7M2!!jQ(Rw31VS8dDl$0me&i#;NhW@q4*WC!magI+Nf<<MfFa%`q6 z#=)X`UJJ7r6Krc!gvlp-uvrm18vYBLDsD~VdKd<8$a_^E_=OY|O)E#zJ`J(kt6l~& zQG1n`ZyQ+H000gtQjCC}ga`@A`l-`@EG;Kz<_l4C!UVO*XW6T{vc#j!C6tQJyj51c zoWJ!HgZC-qvMvb|Lb0xZs29Mrx)0KrRksq0%l-iuF1{>$z|w(=htxD69HZO8r2LlZ zxJ6`yYGyZ$Y=!k%+=BQQx)hvPYa=D<zu*48Hm+q^GPK}!vWj_?<0URmHb?t^!$!l4 zA=~hQM<t~!nnA>{Sf#m51d-rn=tcC(LWnlvSoq7uVsC%5pAAym+x#J+gv-y1xNS{{ zU?ZmR;q@_&p|F#>MxF``jPJC_hJ?f&6g|!JU+Kt(8E(Wld6S;!fC7WLBw=kq;?1+% z71+Bnsz6#?%0cN0AeVGK6dh21`sP@yKfkW{7ToS0X7w@k><Dn{-|5C7MNe22$MJCT z7G{$wVADWco0&B|3wnf+Fees1$hu=cRGxHUnr0#D(O-waiA7##qw4FeWrPQ%NBro* zxOygtz(OE2ES%W_Rk!KmxZx`^dwyCCDp+@kUFpw+7t$JJa*2}BEe-E-^-L#CSoW$L z>1(D@ehY&G(p{oIKd`rO-3=O;M`#?X6|EG8$Xy{=wuQCfWg>}xh4-{1!lsYZGn{RU zRN%;W-*`k2&Cx`3fh@dcgm$LU;sE)5)EdWdjnDuAyb;x{0s#A5!2z+vXZr#G00004 FSz7<=r}F>+ 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 50a4734630113e0ecc6febdd5c42559544924a96..db0ff576635f708740d2463a3867a08c31bc8b52 100644 GIT binary patch delta 1185 zcmV;S1YY~_41f%f83aYI1;4Q!TLFKy%k3y;{Yrv=i0E^)z{n1C-^i|nTbp^Jad@fu z?h<VuLQ?LHrQ;=}L{fqA^~SROv`w4xoQ_SzEtv&YS8V`^T{a$ib0(U-1DuFKGzup{ z)=6Hvm;5P;-$XCaDGZzbU;w`8qC>UYrdFh3B|bh5v{lQu2TP_H!@ZmOC18KB0*Nd1 zm)Xp}X;AbG{CQ_UHSqUY%OKoZ!{(+j>o4~6_&kWKi0I}Isa^_k(R4Q3ONG0>$BwC( z8%&eXE-;7w#W}X7H^F{Z$4=sjOn&P+TvIt<+)H$$XL>OWI=T--(3@!nij2a`z~y4n z`}wG2ocVSa%4EwT4*}#zVVHk;YdFJ$TWuK#YAu)evC7(7_P^({R4Yk%F;2z{XstP> zKJea%Oq<-tJHpq>hnYez0~tW|)kLzHMU5?JeZd~}T`)l^WRqWZFEnL~V$GqX-bcj$ zUh-z)jN=W*mfHjiEZ|CraV*vg!S5`9%n{?ZwiHATbpv)ZC%_bL`Imo&wS2e8<C%>H zkf*E7{S}yVW6OY_xvE~nd#o2h5EDSCvGTwQ|9y%=O0Z=XE8%w8f+mZrnT3oU3k9&m zi8HKKm3Soe^Zx@(dQy*9jb5zqNfo$!vy}8IKn~;$94Yy;-son)bJgF_rBEBv+r0Cf zoDzTwyKVmygbrPLG;V(qiBNOYF(6%A6JZ7Bo+~T1n+_1#?YWG~AIAzY1&_$e9-L24 z%c<bxJht4jeCJV04s5|ICmz@8>!NQM72No9wNdj$s^<C#Uu0#Q;eW*ttHkjexw*3| zniA)`dA@u3?f(rsgoM}Sm%&~07jca9&<1zJg;X)+v;%92uz-KDR(9dle$BxM@k6Rn zb!=ERFS1w~yqX-!0uGq(huG+al+5htW9)#V-f3vkg-4sevE*3%Lt2ADFzxr<3tJBk zdZ{=vRUBH=E9I!3dKRkaT)yoR+qv!^z6C!beFX;XBnRdZwKlxmGkm~^h0BM>RBuKe zqpkmYJ^D{Nf17_vtx^1^oly1pL}}AyqInJnqAQ@%JVq~)fHEs7rBy62g%(5n@!oi| z{cxNsU4EwNhJ6(qOZf-3>F4K0fEWG(%gCTvH&akx{eUZU@<v`3PsYZa2qHX6<mp{P z=Jm<hWsb{_q5wur^a%5XRm^l_2bRn0{yCCUkzEilz>R;#@gDM{$qUgegXW)1V4~(e zj%-I<(UPk8FV8gS8F`MIp{ZD^k%>OiuVb%|QWqu>osE%tlW6xFvDm?2@+_J?)av#; z)JXeJQdYzDJ^9>;=&tk2XEE4>NQD0Y*?upz{zx89$M%CccA%swj6&_wwo)~feSTci zlYLj1KRJK@$7Ug%2}IGmZ?JY_<{_i9EV|*s_>2@I`Y&TK7-9+g&diYvsZq*ndw0~k zH(lPGc|k`dOxSlpE8W|gu`q103M({RVVTz>g&4Tj)4mrktbpy@xK=S+Qkj%8WyAF0 z?Uv09Z^}HSzuFokNdN$NElm(I&)!@B0ox0(ivbY;nu2vDvBYQl0ssI200dcDWT{p1 delta 1298 zcmV+t1?~EP4Dbw)83ao|1~0K4TLFK#7p2qR(8{4|*Y{DDdbB1Op>>P6kKU1*9_cd+ z5l7+PTI7*o8uG(p6-HXBJ<M3}^hNds{v!uTJt3N?-GRiMBkasR09Y6Lxpb4RbBv9X za6t7DLJ30<k*xVImeO)*dMTh<UNW+!gPAgYc4NDU-&%qoVhU9Z-Ut)YRXTqREz#c! zAwVr>t~cibw}n|stX;h2!9>wsfPVKgg*DQ4dtxYnDaJ8gWp`}tcmIJqjug=#Z30t3 z7Mc+7uR&B7HDSx=;4pDk613(_8u2F#@|*KxrKbD<5@9!r>5AG+7G>(|`gK{K?=u)% z(;;Jth7*slIN7?oD>+&&`OSZsVuHY~R8616x7@?5;3Om3RJbKPvXF;YSFIVruK=H= zx@#l;zU#^&D&`CTMD`ez8};vue-o&L_e5cBR6TX{;R>^9SS3Nz6v8<7WpL-3Qz+x3 zP*J$h*s&TEzO{+ks=+|^Rbl_eJOz3qvU05Z-{B+(@0dAX3eiM+1WJFzdRA_M7JfB} zJcICN-t3J^>juFO_CzSD+Q&ioZx!rmSf>yk&ecu_Q3mRD86ynpf?<~Do=${OO!=mb z!^ZvXgD8vAv)d4^Lx3?3qcyI3VEuXvj`u`pqPbpL&Yp1#5b#w|Vc?^55tHEcZjqLf zUZ=!`)&J=ZUQDV*af*LecxbiQZypffYGIYlMPId{2-5xe2MZj{l0d*@BFT-;H}ma_ zo-g$*XK4i#hpOUfB7l+COG(rEUA65cF~t*&&i%KpiWvM{#w10p`XQ&{ZQ`O8zgMe9 zn?>nI0+G^6GxU!7x=(WhA#*%E^bu;AzzltkZ&-tFSMy-e*#3XsVN;#w3jgOh0@KGU zG`F=|RpNB#QPEgzP*hYUj2wz^xvi2tN^su+(nQ_U0omT(FU#6sIU3*&N6k&(*(_yZ zf+*;<biWMFc2$(p3-^=H7><ZBf_D_*a-EwU><-T>+#TwA5`ek+Z!#sUszb;O`n0E^ zXgR$lBv$<uv9Nz-7Fi;E7EUwX-v7p(&-;Ef{EhR{@Jl!?uBL$IiXY!4-7OM6dNry{ zQK^4zd}R2CyxY}WHl6xyxT6R;x4WK1R#E`{ljCJsL@@O(ifVXdW)kG&D*_)_A6+O# z60z^}8Oyl2jUluk{=NwF>sfh2iLXFzB3U-H6+JFJR;PdSri$O3pH&yp+Ms_4cjh)* zRDkO4?BvVNwGclc@)x0@78)`fg%0R#IO1&oR56Z_cZ1-LNO^Bfgg=j9ZZFXz6Vc^7 z#(6g2O8@L`7_V_#A8>exA53CVt9N9p;iO;cAe*b0C|YpUwlAJy4pCzn7jbPt?3#%U zPo%mp85w{1bO{$NNTjj8v^fZVZ*4^S(29=9?`MWw4};YA*>6j$S?6?Hc39<s&L6<A z@@k1fMgtODy@+$^i7&lKF?mzxAQ+!HTWy<bw8MzdSO2gzfQX;M-|Iw%9QU!B$NM7n z=7a;Fv`UO^3OCEmcR8xHGa!L5o&swXXE@)o9bA8$Apt+Zp~2U(j+iMOCWJIlPFVNv zLSfj)Pv0dv9~!!CogKTv%!@4S_s#84;>`fsP(^OcAt!fNzPIzcB0L@4aJ@1pUxCK~ z`G?+#--!IS?>R27X+S4$S+e#22p#|cn-fh{25A;(00GMkz?K03uFOK~vBYQl0ssI2 I00aVATB=-n#sB~S 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 60b270fd2493cb8d908572e1c702649a072bcaa6..f3c432f4ce093db28f338290268eff1564e20604 100644 GIT binary patch delta 4144 zcmV-05YO+VBZwoA8UsZUNU<Gi0e{zW%ps<v+>)~Q(WDC+%a=R@f0lvtgLVoKvO(yd zFyH8oX7Th}6p@7Dm>R8wH;#Wke5mkP8?P1br3V%2>3j4E4dW&rB?nGjD%-XXFMqFn zQyiJ|Q@=#{9Bvs}(6xl{J<O6hAfj4NCjQgWeBW}<Bufgzlkz^bDk3<F+kaC{ItQ9D z4xEYQ50@ifo<8?F+n<FHNBDj@#rRq?Tt6^l<J0g$O}>2W(@8zD?LR#<V0DbH4b3oQ zCb-IJf%!6WDVA6{-JJ8QFZG9N4K*0JdB2(82h8YGBi}@!m?ct(H;87L;3G0t45pms zKsb>cQUYbcrGj?@reCCW_kUgD{@T(>agjUgzP0pxGck9YymDNrb<7HR5UJT3x&yr( zYz-G35Yif1SC~nMgGA2~Lagsplo3lkjZgj>F0y%8q}lNCTkX*{d>z+`*v$Q2Ttsi1 zi7AX#-025hb|XL9med%hBOq%U2-DRNc11RG0@UX;{Pe%0fkZbt27d?yUEUz{B!uAF zy5+nzJzl^;nosuAr+m@MLii+UykOkU7^=T%xycK5dz%a2X7*&xfy08KA8*p9k{+F< z*5wdWJW?uzTwY=6Zu?k%7%0+MVL<cH9TQvhqeB3AUFkpP#nY?32sV{xPC0M);m)Ab zcY;;LqZH|NuCeJ;)_>{6AqhIxs+I_x&@p*C4n=;w8M$c}Y)M$XSwZ_Q6b&6vU70~X zh)v?Z#7GSxX2CF0(k?XpVIomC!uRx;{FxkIeR-8ws%2hS7zX9f!PgWqLE_?s@Ru@E zkFWPBG~_rR{w>8P6KL=fLW@pYmK;(wj;2Fit2kgZ@w!!T?th4>{smCKlGaVY)9=DE zr=Qeg8Qb>Ijt{jD*_(l=yMBC+3-Kh=fsV8&9penyLFC%Vao8>8!-6j=3yIEG7w=Y# zUb9#!IbBcmcP2$@D1SU5899j0J0`V$Bwtitf0E6&{zk#g`=CV3D6K^RQdTte4l$}i z5hON>DHVX2t$(P`;e%J9+=wW9Ft9yebb>&?>MC_2DIed-Tlzvl@_{)f-ZPL3r=qoc z!Y!N~*fZgdM?=HrJS61uEl6$-(Je_nL>RjAPkJAjBn@gCBfNQoxD-TR(t?^oz71H? zn9XH6?y>89D5lXnK31P|U#`D$A?D8YS}ro8hODvS^M4<!?jQ3gB}a6x;{Dc2UWU01 zms>g-=^r<wzzci~9oHykYwKk&FzdPgaNoZWMXVVt&|j^QC5p2-<CTq5=6&i`n#&wX zkBT2=g`pTF6*x1ZR@8QUymw`You;v#a5d;EM38n%z<I*c85?iQdp)O?WG3oZ;x0NJ zYT|B3XMe4T&Q*$hd*BSTV>GMwAeN9{;**}z)sTH_;D-_9jVAf?{@{T($=&JSmF?(! zIKV(*8rzh`seAOS9=DVBBk0=&zyf9=9`i1X^HG>E$J{WYt3a!&wOpY&!Z1C%)nF^d z>_6CPH7cLJe827Ee2LEP=1kz%i!Cd6g=ZSAEq^0Ujsl12k9vANQ1S*_P%{wEQFXn) z>k%0CR>@<&C-y09!Y0?f3rKZ1lYPVF&rL6D&yCoi=DcP-P_{K423iU*oD5WjaT2GK z;a%s3p-O3uBva*=R392MxB5<~!8t-<poo9Ey=`xT$2fJ5+dN2zI%3>O84^#qLAp}i zmVd6rJA)K!IY-kN^~jh`_4!7VI^%xBqE#==%NCu#eGeW@YxZ(B9LrJ<aIJZD528R5 z$4A+k;4}JzHI?nB8QksX>=qUFZ)`z;SSS&*Dc7xgZj}8a0yC$qh#$Al&#P>(STIQ~ z@xJJSb{ku*jk<#Gkj7Zg;N)u=5v2Kt@qdQ(%dfj1U6w&U#9_E<wgu(BGYQu^CZ!$+ z%`(t|?)ZZk#!$)snXL%$sodsvZd9lr&lBO2l*2p3_Tv|j-BE6j>1DCRt-~B0E?T!u zvO6aQRyj?Pw01qt)7U1fNHpUvYyIgdx7chyQfh+8DWc<dtVKTv7_NZ9af)Dtz<+?+ z3DjU-H}xV<Uk;Bw(uTdfmQ2_bo-<;Z#n74aNZsM@<rhUMt#%_Sl~pzp4h9ZL`Duwv zRt`#%h&jv`YUgHF%)Ibha!<^qFgmDY<rA$DttHvEtRYfM)1HqxC09~p^M0FPc{~R| zUQN!(09kteqKjYCjnY_!iaY>eaeo*@_bxx*u4A#TthQgf-tDS>)j)#I7I~sCzBA$& z6bKey6mK|8p3}i8{^f)^1!@4UdHw}ap97|utMN=H8j~(o7Xr7z*?eh5q!<i^6hs`M zI)>Wts@($>l|d>Ho3Wd<cq`dRMJ^W!Gq>iOi1>b#;4_~EuZHK7TUmo_@_zz<_c6dK zTk4p4z8rwhP|ioukl_=h-~Yc8YKg(R_jGI(X>lpce@46{YM?eyZUm+|pWfXiB-Bfr z;&}`QX24%^0~^#(n;%~m#gDfuf?Q;Y2xm0Zsi_5XxT&%lW$3hU^Y5X()2Pd}|C6Zn z&(ePJ8gNn-m((2^BXaJGJb#<eKHsEuomF@ydQ&HQQM1y-wMBx=5Q&N~mWq!AMH?gk z>EC@MEDa1v0&QXf%08{{pxeKFDIN!4Ptzz8&^yH>MEf~2MycPWAtgop3awDIgL3Up z(pL4kyiT<r{udC!57On+it_BuwG=o~Rca;@T1h7ni7u?Y;jj6ignxdytogXH)@i9q zL*Nn-Q7mxYDO8%120|Q#2Ff`eA1!1c|3^xmENqfJP-^4iWA}XnfK68-1xSq_YFQ`8 zGJiu4ju{I$KuiVZxRVI^;yku6cKjY=P;TF$nhg)oStIw~=K|cpzgOSUR9p(-B=_A* z2Gqa8rU2bs4!rpGbbn9U-qrNX9QU>RF5i}-Lp%+{d8UxREBA1!cZfd|Gi4;XL}DwG zRB(-Pk2_7(#e^xcLr@q7AKj>Q&`<UAqo8~LkVXKiFJ5OYp>Lq7TwMAwC5w5lgdg(q zaYA_x$HWQ$1d#tQ2R`q*UbS7(SEs%UNjEWplBrWiOdTl)@PA9xj|Tvk%BL-|TOO8? z*QLJpV`Z#Oz`-W)nS;-Od`laXRdtb$)>9kPfv}0~nDCKz{4!aza&=Kx`>q}M@$aEf zJM~K511=_qmNf4|5U=@2x)B1h4It7pC&DSoci13vjoA0Qyo#kORzBSLR#0>W4yNwg z82bUa#%`9ZWPdcnaBfg+e%i|5SadaC0fC>4TUsbjV_yr3(`OVpb@ZYzPfMcZuyFYK zL;xv25-|uM{cb9w{ez|9V(C1xHfOi_5!3G)5JjbSra}%~{3DKWphY@z;yF$NC2QSQ zwH{64{(;`U_^;w6e$bHg6w~6|7i8B1OKk5VJC6wc5`UJd)az2}1Myd`y*qmq>a57f zX(Jcx8r1Z`roQ9?#HjA`Ssk<8`14W$mov*+I6NLLfBaR7NB)xpUP*>z_s!Jd`(V#; z)oXM}bt$Kt(b#Ga30=+ahJ>kLlArl~8hegrtND}=wNEY)g(1%)5SGI7Bg&lsrK`yi zX0>o&oqs&<wOp4$L$)XDO7FKZh!x~sZQwv3huC~nUPP0#=Qt|1D$<p7{gT-h;Tj4- z*k`8Bs^%TX3UM4P14P6_4I^F^-)7uC+?wmN@$^ZmW^-;_9C*QsHBMK9to9Ij`7hrm zkw;X0pp<>=6WfWO8I5CV9R#l^9~2YTYBq)Pw12a4xz}Cf_{>RZxhX#2K0~Zu*~Rz8 zXYeS_JqDfGs98U=Nk|FdFC;St+2np*8!&sNA=T`wb@Y?2i5+m_koC-J`}a?u`<wog zZv%zMwd|E3>#fZz$j77aq#phL2!=;2-A3ORYL2QjmN=-+wIjjqL8&(AEydL=Y-7~E z0)Lt;$n~9BpR2i0Lv@XAv&3e;F%#Eo7gceJl1gT5-`QkYXWUv_;<K9{Xt}s-BDlGB zSwF$by^jUWUt3oS%UogL>G5&4e3Y>)A+d#)w0K*nIrPieST`1_wlx8Nz?c~~%JN!* zEpo#L-0aS*4Vai!{NuF%VFxq^^qJRz$A6DkIRMW^ppiv;fF$xEh<x%yHz-7T!bckU zn)hUJ(T^$^#s)9rOYw#O3KEkdRO`2+u$F8DO>Kf`BacD6kaeu;p|g)SNj+W8%_cEI z6e+2<C=m4~1!mpJD(HF5$bWdoVx>FKPsJUh=5!Ct&C8daB^&mu&#di+J4enpaeuuw z>=~@1#C!iNmAIqTdMplVC;%*TKAtlXi|+NfWH&*oZ%N)NPLL4NG;keE)q2RjDdg9` z9HYK#J=s)uxVouPo(4$GF6Z1@4keXeJMZB*!Je|WH+wmF*HhabhuU)x^@7si`z5`V zvXwf{mhyc_t+5)mVwj!KsbpLU9)Eh#_v$$^_0uumzjqP&Ut>;7?qu<C^ZF7pmJd%y z4tIcO`Vm7-F}gDk!3>Aep3~M#L6di1FStNdp>ZM5K5WVT1t}o=ALTQZmqo}PVwC3V z_ey#Q*|%j^hotZ~X<zX6xfl0;?)-vFfh38NEIPPb))>@9@p*|y#HpjD(SK`^2C<vs zI2`Av*y+UO&vV;n1To!}6FDPcdPhzT<o0x$GSV3G&2|~L9~i-!*@DTn++nc}bsKuF zfp>_;*ve<rum#fkJBaMng<UT)NXrhKOq<7Y78}jqfdOhg^@YkA;+>;KB)}gna9VtJ zr&T}(5q|dg&K%v3k|@xcL4W>DeB&4H9ZL*aig_PDs=h(a1dXw$Q7|X3y9AC8iuC<P zIag|V*0JH+0KV=R-^1fJYCKNhGMwWWE6p=+Pu=3(K72x_;bIbxq<+@unvh_Na5at- zRO5h8In264t*#J<(TFgMQGTJ6-}3VMNu@Eu?y4q?dR{s+dIAtq8GjsiB9Hp%a)vAD zge%PCAmp=3wbXlqs-N;>^&Z2{AVNHsY>9zmaF<xBuQBJiH4#O#(gT+PRAMFymVT7d z+ia_v=)TXHQnMf{ayLpKwUU9{_2MEt7A}uOx)|@ugrS@yqVE1>E&S8Q!p|c&xd`Mv zgsoyH&Or743MW^(6o2C@yG)VA<T`1zgQ27b^^V{}gw(3i!A(i7yM<%?V7WpU6rj8t z2wyOpNKE;r(H{KtOD%@bp4#jXBUqGcOgUo~C_{67H?cFcNtFY127Y4{*0)DWd!bkg zbQxfYV{2h%Yed{Ae~^+=PY@L*<HvN{za9Ddoz?IQj$frEGk*ZGZr_EGmax-o#^E{p zhxIiLG1JO~_+eC5zynnRit=N-_LElnfUuSX@OP5A9E}N$7bPx|Rm)dtJc25sYIoxa zr=L65(}O}-+PN8oR6nLITGS}O(4gSr=)-w`0>Yv+3s^<1ySwp_Y7SHgs7z6|pwI}V uesPbc&`35{V<7<8NiJXuEQ$XB0pudah6exwv0e<Z#Ao{g000001X)@H8~ZK* delta 4172 zcmV-S5VP-yBcvmc8Uu6@VX+-*0e{#k@;O({e-c2S4v#>Rt{<|=0UfMP;#sSj;$5kh zv6j!Ailh=|-&?_vA7m>tK=x<fuokZ1=J$$nX87*sq77mBTrSd^W%cjqpqlW6Qd^7K zYmqx$3&&8opTQC9beR(Pmp6*f_g_2Ci=46x+&Yqf@io}1q*sq2b;3y=&wsBa#cu1n zpWbo$0g|7vV{yX7_W~w{JNn9Ro#)XAEkaE~wDT2X!?R$mCU)djY61L_AD0INn!LJc zbwheQ{p}^>?_bYl*3mZ*ty$DZCN3524o=OhwzMSq4DDJ`doCiBBk2hn`x~$Q`wab% zy+;*_o8&Q$m>>;l&y_4DwSP0P;T5v$^|&|1-_^-Me){!Py&N}VGQ-!ESZkilIr?RE z7<$ucw3dROK8G{kp4{9ybNyzX409u<tA40lP_cpc9BLvvw{il*Y%A$(cg+N}{wlbD zo}{rei9|QFMidZcS03n%<$E=`{y9xAGJ8=Z>fwmeB?x6w7$4;a<bQ)roFPCuw-p5^ zNlcG0LHjHR=Q0>oRR8Z}l?h`wEY@rbAGl!t2H^e(6KYEp-c9qtOO~~`3X#t@^JZFm z?`{u5JYGVZ)_Vj`E?!6mzNuU)mfa{ZtaE1FKyCcL(nm(#G3@IcTo0zd%X1blrGj#^ zjA9YGNl2?k8HWbPK!3W_-sun>qDpqS5x?BD=GE5O_8DrK`hhX`2*#g0F96M#FK1aw zhVXpdb}5B?olJqBpQs#Vn{$I_j6a&yb&o{F-KF=uCWHTqhlyLMzKrlw?d9lfYk}Qt z{s{c;sd8zRFyIOGi#sF%oN?0Wh{>qGGj_8LAApdwms}7S8-Fn?trDUI=udSqERDVb z6m<oms3ft7TqEzCao2gcYM&k0{iK%{1|yPym}FNdk+pi}Dmu+s!bq%iHcu1rOP-)9 z>^tB_lJU^LgIl>*8b{)je;I984q=PT;C&abbWA`VHx#~7<7}|Q^_Nk&=YNH>c+=Nq zYS-Y@i<3r12Y;Ppx4jhw5>C3)J4#;vF5o27GUwopYx$DsQ-Bb%|F+aLuOPC-K47vd z2J6^YR=!Cf7R{|q1g6K#>WDoG9S_g3r4+0nd~VD$5QgpWjs`|j+0N4!G`a#!!nfip zI@)=g&DL(@B@N4x{3UkLex?=SjLy#J;0h%X%Hn0Qjenfk#-Le!T2v;Hy+Jeb4ND!) zv8x;OBR_MwP|Pot+_N!yC>oC*^JJaRtZSA8<#u{!Efk=~+PX12KV_pg2lOE4TFoC; zoh%0!kG=7Kjakefm-|Yn?FE8y+Ynuw(JOy{nu!KBEPdEKiYBM0$!WYgx!tvz&X}Yt zY52=h4}TqyFpIO_T&1hdV+gcav<p;!stpqrOLgI@uIZ=L!z=DTgs2W(Pn)@IcEy+h z%WExWmALP?PF~ZjlyL%HT|BBZpm_Ynzf3Wlv)j`}eYr+{1jS0Viu^FGI#96??ac^x z;g4yi%jz#1%**C@897d5>Rs9Y^`%lxCZ+0Fuz#vy+-zLz4FHwSk@5c{`7GTK{UE+Z zRUUa1vT{h~pttV92^x6HrS9)<%w`%3l@w{eV;g0i@Q%t8_;RfP`wb6Z3<V?+{JtHc zlegjOxab?frZ-Bl)wcF?DHo>4<=fk?r(#!-M1`K7>0CxEb2`c1EJFR%kF>c}d~C1) zcz-PMEFiSK?{UJLI3aq?W()>;EfAwj@!ghzR>E-4+N6GRHwEI@0{@@66a3O?F%lOF zyllt#Fx66@gh+<lh9LTE%7Ba3ONd3$ib22{E~#E7>`r~8F6pP!q`M#4oS*4xx-z9W z#NBU_(I`bRCuv(-D#_h-&QUPK-w(S5|9`V}(MYDE(t#iW&At@}lUcoXj!1+*v+67e z-W8`Ue~;8(5B1-|ETH+wfU{nhAu{h-MejYN>!9-TIZmcw;X{Y){1-2dqK7wU{bM)E z=Sd13?)iyOVCAKPK;y{G8G#DwQmkn66@Rqo#rp}wSZ~MZTxAh>oHikt22+@Kynl?r z+8+AL78L7y8m&f9Lc&ZU&WhzwuMbpfjS<21K(dn#1}|}jXR-;?s}o@I!JXc|do<z6 zyZwa0LFc<s#81_wK`#D1i@ZJk@`m2Mz6T0b!6dA?gA&AJ9)=uucoUP0W=C#6LjAj> zmB-cwC-GnqyY;Py-afs_J7dcNzkgw5HwjucTSl#9ng=JL=qyR=4g}Zt)-2CY9}#ay zHk)vCQuM#o*u?@o!yyIzUj;~O_@T)#X*5Hp8XVwhN~|QgH;PO&NZAXV;8~U>46&Hk zpr-Kmz$sQH;WURo@NS`PFV{gld>&@(s;!~QskeRV>b^sn5+gU*i0q6cs(;xG5<Dty z0X&SfqNUvti(pTj@bJ2mr@6HLZmpNql>zYs#8(IfwCQr!`ctZmMUPBcH>QjUVho_) ziy2uj5j~tA5--ZAg61Qcg<**mN;e~cY~Z7OXE1+-JfI*EBA615q*WL@lgljuRbw~k zPWuu8aUiIE#bVR69<<vF(SI63)>zBm{Zec|4on#n-}=pMG)aCG`xE;dk2R0Gy=hs< zPz~<x6NIc_)0|R@s>4y|RI1?+sSMs~zJ4sX{-z}Rr{483GsDb{Xg4>v$6#3&s^$*2 zyR~18VFQ6~3o5?T&^z`i%r<Gan%_wkbl;`_($Z~=!oX+Vs}2=%EPo<O#7EI3swV7v z&v^B0d|6KidHex>PXYOkI8*X4K%~WR9!_`xl#`Ssf}D(*Tc6*>&wAL<%f$SCdLvk0 z6sICu70li(NI;a4pOK?3BiK%kl|v!u`KP^9`PTmjG7X_T*mCj@%i=46EjRaIcm+9T z*9fwu<D4Rr>>~fJ_kS^c&P*!}+~qjjL+qc?FgrH2o|ZExcYO6yq57`j*Qc(GA9PN6 z&nNA;T@NzwO80E8VORWqB?*-!I$&`ac&))knP&Aw^`XlSLZ<zYj?(=6&BZ#*YQmPW zZ^Vz)+h1CU2_g!8{B_eSZ??N|vpfjNz6T0pR0TqCr%4p`#DDV`Q$If)N{Zpdv`UAV z%y}^Q6EQs=l*{rxtH+Ha@Cyb5n-V~hhWl|$64Su}{~*zdlt}_`O7Hn6AR#iVq}keY z<#wm^7mbtf5&bU@Kw#r<-`CIYDR^AKEkkdWy;~^w6`i|w!qgLB@r-Z0F4zOU5PWTt z5ORw4Ad|uMOMea4JQnx$_Y@bmxgD5`C-8XYJ1}4qseSGkU|@87URiWm)s<+GK+O#h zXCE0p=3<J6VT7XHZHuIb26ohKzYr{>CiQb)4)cz-3c`1x&tvriw7#`&2)6+|^!fxl z`&Z(`rV99XqL7e3quw{y@e$q3jK?>hw|NGs(s^mK?tfvsUD-}p>TlJeV-fyj54Eq~ z+C#t60Rmspf{dpuqj9mjqs~PqC#hPaoI8C#kc+X?A58IBg-@2OJql!&P7*Q2A%OM* z{%6+bX+0O7BM?`TOfsl(vu{NMB)4Y?1Ea)X&m1jle-JgLkT7M`Dm}n*S9MuN{n5)L zg-~C&f`6IH_S>`PGKWbdOmLg_HU<D9UOYJ5tp&2FjN`T-V3^eXhu~zxB{lC9&<oGg zmR-ifLT<aLs>VvO=Ec0N$AaUK`ylicv{x6|_eSl&Z<<;;)4Edi@w^1nQ1|>Cr+y~K z)9&)^mneKjz>RD2KTk0UV}tDmoB|zvTHeCg0e>6!MP^36jBa5tq)*PnzM=fo>p?CD zvBiu+*x{oR3hnle%O*A<;$XNOoX8s;1gw&<gV;k{O(WPL^f7$00Q}vB^tPf~pY#ON z;v18sH;TYqYDz5sfYP91@J#vu7QD5YIP%$lh2@bFuil`86~U#{ib*%X&wLOO^oHOk zZGX^2PSw2*Sg<njEiyZCI95J(1{A!W^5=)_0|DNpg<ZKI(-xB|6s&@E+OnJD3V7T# zNI@Q1HNTB#5sMJ8-^F_kidd^0o%_b+ZI)J;+>ApNLbA_aoo+*_r^>Nm8==G6%>c|Q zG5tJ=Wpjv=WyqKrVq6YwZ48}I9|uQxet%MP|7u)E*=d_-#Z>P+gKaj!^T@ey48vFO zdf9qYEwXn3cZPpNA^h0GS})1A6oyCjiIS$*$P=NXyI5`{4<aFDpJgcpy5nz9+-!LT zdWXm65&lp-S%0w5zbP4m{f;RlqCKcBhgO9G89wG)Dh>;m#K7H5jSFflm3cpxet-9? zT19B2<b+7O-*+nPY?*S^MeazI6y%-O;B6}$r!q7Gm}6xxWl$&4dy8rF`zA)S8vKEr z8RMN>RJ^Gu&_;_hB^I~FWkkZK%8LPz=$;DtO^yal6x-BrWW~lLow+6<*>|YvL&@l4 z5j>jjP><xLeln3VKm<_n0;ajjk$-8+x_DZ+NB=&<G17f%LZB@N_GTkBf$c`G4ey`s zE(W#@p94<rGsS&?x@RlQEab&!QjBmc1(v|^X;ov9+d|lrqtb0B&c_4&h#R#(OPbC} zg}$zTGSTN&qCZe@{+&f1nnTZSKso`=KW0RCp$Kcn3cJKAt1*-f>`~^X&wm(OhZk0d zjQiY&7%{Nj1;oZkG1xD~DnB^10HA~Joxwc{nJr#eHIV(@pY*Av1H?Xw9V<$?ed<|) zT01@3AzJ&sM8mq3!@u?ooWX@r+Updma4K7o82aR8rW0#L$ZDphA3};5b+Uc*6EGk& zUL*DM4JEneb652<`LJMo4u6yCk9g&j;7<61JW5n~>x-{BBH+=SYyc&lR_TmeD{U`< z;j?dBo9;1YK-iAnM?<L*$9r4GDTk@>fMXMMUv$rNFAU%(gx7Pi6W`<~MGkfDqE?$S z!abUL`e#bdElOP~8)Wmka~;*L+#iZjTj6;kAV)I)`afAp|2}Z0i+_AsgWEvux??tV zoy}osNm_?y_2U1iWnPDZb?3Jb(+h1bA7_uMs=wnGQ7LA*&dmGjICO60$IM=x1ZWP7 z!E+)e=)We_BX~=MMzYDvm4>~!%kt^E5Nf%uxC9+n=*KEJO|4awAro?xS2lrl+?Vav z*_fpik!c$101+@r7Jp1agex@$^6AQq6%XH>dmzn}?Pp21gQ=SKoX$@Sj7X^3rZ;@& z^#Kvos1qZ6>NG5so{mNNd*c7ZK^-qspD3b<PQCBYW;Qb0Pm*7&M4G#Gr3dAyE=n}9 z86{T>{XS~q1V19SP<qR?+FZAs&bxI7rG;J|rdW+SJss@ULVq3WW!@2)9do`<&jT5_ zs9$|RqrJ_^iVG{48UAj;&5CleWlxcIyNwhD>jv&(U3xr(*J#2?KSg~RZ%`XXBVEF1 z0aNbnon=pDKKF6<<s!d^3R0t(7hJ9T_Jwf8BSf`l;@=2K8IdeZ4i@IfHTWa}A_8Bc z72bV}X1JV%@jZdjhCP)c0H`2z5a0)NR#PTS@*Lg05iTVF0002T();dH&nl?^0sSKN Wh6ey1wHeB>#Ao{g000001X)_)t`toG 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 12e176b50fc740f4cdf9bc7ff91b4f6c9c85e709..f7d6899937c15db4fec53a8d751cc2a691afcfb9 100644 GIT binary patch delta 257 zcmV+c0sj8*1ndNm904q`9b5r_^L>$Wk^hbzx)oOTC}~kX4-MkX)gxWT&(JUkvucMW z4~{6bOsB|Yn=M$Myi*A$VFmJX5)bNr4Bi*q!^E}86g;#u`5!-9sf-IvB~6r+w(&EH z4jE<D-NVpnOfSy<8c_54ixZp05@BYjnyb{na~<;8ZOd6Y$=ptb;)D5guV{(bUsNrq zXc@7j>u*_unn|!r9VtR4ONV|Bivru06PIm3H?p>z0(Wr>cSiQ|sQyHo5#18S@o zm(q=rUfRZ=P(P|zBqBuOcA(S1ZMFaalk-T1#=yb{00GDZl@<U1kRV%GvBYQl0ssI2 H00dcDV?A}* delta 261 zcmV+g0s8*z1n>lq904t{9b5r_^df@_$&acilH_$fUXqkDv*~L*ObOOC_HO8DuT-2- zMH9#Z3K9}b_LPU&GA-(u@O!lf<LowH6nHePxgD8@0{ju~7PbY|14j2fq~<5j5p!Zi z8@K$d9x_C;Q*}B<;R)7%MMmZ7FM?mALB<X9ynOMGUdT79^~HOFR=xUoTV*JDwpt5B zQEbOUuL+1O%8h=x^*0V!5G1H)>EX`h-zz=M>P>k1%<HrSuVJ}+ip=iGp{@iSd<^%I zR@Ky8tPHfZ+!CaT!>#I3G%oNHwFWOn00000t>%9g$ov`v00GGal@<U1HS-6OvBYQl L0ssI200dcDpqhA1 diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Parallel$Lines.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Parallel$Lines.omdoc.xz index 39213a7a6e3bee616968480bbf3e76da8552c186..5bf8d8aa29020320965e0c7b120b34e74e597bef 100644 GIT binary patch delta 3443 zcmV-(4UF>e9OxX7904bh9sYltgMVM}ysa8R)pbYE_=B;9GCKBfWt6IZ02vjvvR?u` zRps2*B=Rq(|8p@daCX<?G28#x_4AF7{<U=eF|zt!vHelQDv5x%EkMTIL=6Xiofab& zU!<L$Yj3P)i}@fY8=6nF%&9-6K*>I&%xMJbDVIGT8~6{}gnez&(Nllh{cOr_;EWIM zY^j}Xpm~;-+`veexnaPO6()}XB&n3&k9|Uwvd}Yv_|TgE)d>1z)j!vNgQK1wG~MPa zs_2_L*v}9fZm_QLv<;t532s$yq%AgvsW$h0G0j<)n*9b^^@9ughgk~b&wW%o)p1*; zrA|m<u0*DjTlwgEvtobGRmgUmKD!z+iiyX*MM579r+2O&*8MPN4^f~wJ$k4TG^FEl zvP%nk`Gs1I4v^8SEcenHmblXY=ePq`D?;4_ZRqqc`g(ab^^<q?UQlq?P0I7pgER1f z_7+?XP-nEc?wZn5xQZzmXPRGJ-rWMydu!FV6tMH!YwCYpc@TfQN{Ho%2<hZVBRUG2 zFr}B~eC2v^7UE~^^#^PJr1XXR8-i2#3uVJXWh)~}Eez5cbYaJ6=*F;MgPtOs<zn0m z2>O<HbG(&YbbXCM@FEw!YW;t?q3UT*#3Vq;x%^O%W7#H<C@0dW+El>Dfjdb@c=JbQ ziGSK8@hF0n7fOHEV^4Vc`!BPW;&cSzRy$+tQ4r=vod&tcy|$?yCSmj_Yjq3Q#>i6* z1Oh_sKPl)0&Fi#jJ0{>H#X@g(?hds`*6*Znl{G?*$$@!E&)4C{ZI;z2XAQ+fC0fs> zd^$o`GTAmaoGa%;mfSix07VJQ^VT_wf<9q(Pc<M^brXNAiX+Mf`!5hi!fS5^HXI8a zcaq6QXPZ*|Nw)9{yi&Sd?rqXL0$Gdeyz<k-W`o-h^V?Etb=2M|Bq%;LIJ$s0f{<t= zmdPX~(<V-W<I`kvrz>m`Uh;dPQ>YzeL$v9v=Q*=p;9|4oLjvWS6bl1USWcsnA+gm4 zAgu*bd~|;t8;Uo#*f}0%aiaAi;$Wxo0e>Y@Cw+Hoc*xVU#hhQ2f1QlHO8RJy;8F9l zXh$(ZIFa|2;63YF&yRJy4GYk%a|lDEuxbR0iJ>sICZNaal1|Y{@dcAdV4pN)*io|m zcxkkh5&aWP2!m)f>f!+1-I-?v_|nJN^2*)wtBQY~ho+XS-0Y5AC1}i+P$^E#(g_0F zaSB&JK&knRSNXbz3_DDNn|-k2>)26__0Dv-YJUi+4_{wt!}+-jzc<mX%V_C2Kk+Xz z7lHxTSoiv&fjPr!X3Nzg3@_U&w(i_dsCL_BL(v6vz|;7GTF)H=Nn&H|Z<9^DS{Jh~ zRib}WXN%uc-myDHw-}PDUTp|iSbU;?s=owE)amw20<mjGwx2O=!)4pzx=Fc)?gQS3 z5$+9#6L$#l<WpiS&lrI|g<=_~irDH#xVkQcA2v-qOl+UU8j=X1j<20E(yj=mcovUE z?QX)5_5+-jtG%cPVXy+_y%`6FZx}fmF{^)`{;4v0pZR$cMv?u%n!Wliod3R!r}^wb zV5y9_eF5;-Ra?DT1M>}e!du5B7UCGFvaO!h+Eo$GTy0<+U=o_-52?S~JuNy>WhjT? ziRs{skOS0H>F%9Olz+MtD*eCag$&pl2cC{}@hoqBYHKL^OJ4hXLTWClNcgxz${v4d zI#TSANZwZhNePD?Lq2gjVA}6_F%1vJC;m9@mqvw3#-b@x-Dw!gRwB#gmNoe>_}X)| z3;+@uPK$weHB8T+j-^Jz;LL@fZdeHmU+t+EzxkK!qMCDN#ab4sMgaJAMT6y$>Biu# z#h`SUV+lx!L2e=GsCl9DWGQLBoVtI8)TDGVQ$8<HjcujEI3HEs*o?qUJ{`q!o%Iw- z8nKLDM(9nfwS+7Xq}(d}=vmA|^Bt@N1@fECNiv$M@jrUCduXJBxh=!Vn>B7GCvr1H zHBzvZya<~Kl3-&Ss*=Qm(kmA|x(yTz-NoEJPt6u;#w>YBx~Muna8c!snjC*^=)fFs zR1d=H-F&AK9~^Gx8(D_{rOhpM<VgT47ADgXeAoBxo;HhqL1BZLi<k_Ck&?@-DMT+= zL+?A(9O`_V-eU2~HF<|xCR1J1*0O<^Ot`~R8Syj3W;g9GMCz^tF*&V>m!yquGaV=C zXu%lyIecM8N?tH`hB_@q@vDEa>mYhfCJf8rYX2S@Op2S=1J)Ioi}kD%c&D-<F!Tv% z@F(1+DYZWp`D%7lvs(`@7WRxUtxI;eUTcQ^WYs+|&1>mWoN~h-a^~F~%*se$y^QW) zTB$F}Lk2@b;62iv20prXeYgG`O(Mn3>Pl0f+HwHc^QVeKk6vC%J$`@lSH-q>vEe)9 z&Q^^0Vvde%>j0^rlK1nX+P*oSelECdTDV^26@Js%F(Z1Ny2lB^J|)Ba=K~l7iYv@O zt_=vjL4YJwm*h-vWMkb?SA4L;=Mh~1pUH&fTDyclj{J0MrOUzY;AN9DI~rg`s+`kX zO2w^by+RhzW5c*GtulY5N#aF6ZjH-O0Q<-7nMld6T0hv*MA}aJz&C5lRfqnb(|NYE zCt;g(Z08-?_(0lJ-@CIcR*uOd6nu%i&tz*OOO~a7Oh;<FTgIyM!IerP^qr8fom81) zL$YcxYso!d`=gTRbJ8@uZAFq?r3(VVqwJQuF87n6F`1v)j;?<^$W`=FPnRG=LGRiT zs(?aIB?TRiA=*6assE%m3sI2EF@Q&(+@A;*7Qc@Oas;Y1RR%?XEAiaFdx*Wa?J)Da z>`qRH`X?(purWX<2ZT<I`w-5iiX9X9b777=NRur}qBoKIQPa?A=sq%u!6M`vaDptq zG`i81685KgmveuF1OHYTk#jR=etqybe$jvp7`~v{-4A}uHvjPb*0-fr_Fe^Nxf2h% z2OvV!)nnk=`Lh8lOm94){Oc+1o3^*F?RnxXgN$>5A~<Yl@LfH)t{C4TdSXe9>WjSu zkn#7ZV-jF3-9Y&w9{=%6E8}n7MJRcx(GPIv4b(K1c;SEV4g&~wh1fd|U6jRtMDQxi zd?J-`jVyb;7ot{){{}=}8M{wVa{mVb6uBAr(UT?4r8o>#K7^7Ppc~Qe5FI3{;<aIV zteTqC0O}SSx3}96_JMOxO~B730N>{SZfbzA-<WPfQM*z8kk<FyIA;8eho_?<5tWZf z?;d_91lxZ%l6`^UV*R`&8L7uksGx1BzcGEDwD0XpP7=W39*gp`(z()wVDZw7jtxwQ zb~ZOoTgPXGW}VUvQuV;6_;qDnS5<L1Bl%v?Xl>^V{{a%}bY8Lf!C~`<x&3ncZw)v` zyP;_uV)I2#p4>Y7_ud8uj<44w?C7vpir)ixTtk1yV`z`K6EUB#93UL{5AsAR{_SpC zk4+Ne{80ux`x;M|3sG)e+<g&N7Q(0N>~s9YbDl1O@Gne4FU2M=mJR$dFowYLScccX z)nF*YLaE0;FngFcBen<r61krghp;Rlc{QwVZHdvbGYlx~qCyny&t<>^pW3^%N}l^4 z`Tu{F4ZW166i`x4FgY%bQOtMloPDdqo9_XkHYo+dRt;19Pn^ugXX<T$IUvS9`y(*1 zYd8ohG*%~_?da)H74~!ZZl1Uai`FssZ3VJM#6a`)h5cMC)Q)<K-Y6Nb)2lSi5{zPe zD>4=UmXj2Qy|2O8JTCSSRuop<8Mrqo+iQQ8@gtJ$`V?D7u#NoC^Rx4aXd*}k-YgSy z=^-97_oi3(d`I4as^1puc1_dO_$iK-`40R9C06XybsOFDigQzm{4K1-_>3y*pON>Q z7d?qwmQ)_~ohT)U+lgrG8noQB25x23PwvLQmg}Q_v?s6{0ly=VHbk-|v`(SRy-$CQ z@SiTGJ9LWVn0MDZyIofz0PF$oWD&l6zCrr(aKP>g;;>^!vaB2cIRH0sP3gQqou2j? z)NMhq5Ts~RyN_w~n+BPZNzy--$zWm~ujLvs71o8zO&e2kDYVIhS@S&b^ETqt2>&BM z;r`f=mK_AXBK?cf<oIfEDW@x)qw9YVf7kk#(&n|N(WdHyMeM_#_>U0u&Fxv8_o|a? z1E6yZnE~L!AaA^5AKxZ0@>gk6uLFuemvu#-kut-(YOOhek?%;=<apw7?fb;NzTP~6 zh8QfX*Gl#HaYea?xZyXf?wlu?_VJ*P1WoM$6H<fUy=|2kX}Ptj+lsZ3(-MEG(VIp% z_FPPBI<?Qc>HFjn7|9C^FP_;6(?u&3;~$JIn;@{?)t5s-hh7ZeRZNh=%)xqQR3NQs zFn(Jos!v$<po!)7N+VtTsa`n=I#Qz9f8^GS*}VbLJL6RCsz8{Zw(1Y-WDfAmbCUq7 zkL%R0K^tLNH#+54Qr1sJMy6-DINiPo9|sPQ!;Aq1J@XDS$0PbSU&V781rN9Md{T&P z{AuqE&c-rHcU$P}sH7-|VDx$IsPuHF0^Lh`+ePzH_9)zX002|YbxSy4uy_Cg!yNp~ V1_1e^X7jPcXZr#G00004Sz1O6!d3tP delta 3451 zcmV->4TSRO9Pk{F904wo9sYlX96+V%zD`SqDIP>tjSD4I^5~cYkB`dBqduQMW#_d> zD<-2VR#OG@CNq}b61+4+w3Pm|m3me$ga$Heds71v>$8Hyd9$vds2L~2*4AX>t$0FE zvkw`!H!GnCZ`+0K`{wUS%@Rx<SD^Z`2>Vk=#!vi{kyZtdhNy--lMR0iuS7PAg5Zz1 zh@Kp3m!O~$u_DCcY{7kzwMK^gsAy#HW({M|AXd>}4N9Qi`RUeO^|r&+%~6TbbZ)>q zppk6E_(r^{#+?(Uc7HT!9R)#fu$oQ(0zniUE^nEt{+Fhp#@OEmCZwmzX#pLKUV2j1 zD<=c|whW?q`pnKoGL?TEudP0?0Hzh5d{f`XD0Q&xM2;LY9~YueE)0#dYm2(!8i<_v zDe359&?QDm_jru*I&0p|ahBmG(!)4xl~1j0A~qfn649wgTR13XCFE6~LMV8gNg`WB zRbox)I|r@)IT;OLg%DoSRB{7d|23(FF(ME(7+QWt$S(4vyy$;!Yvk;ab$e%h7D-+M zuT)QcFt%=nuMwh6wSMF{JfAf825JM)!H2*jO=<U1zwFufA$opsXESy~N?qVBkd4!2 z+-%sR>W$E0XmT0>_}!en1Y8F#jZ;lIK-)-)pE3hb%UM|@#S>;$Le30Dy!E(-7UU2| z_82+?=TGO@qFsM|tohDhXy`!EBp#5Omcb^@&|Jj4zkY@Gp%cVSHimes5u~hTqd+vh z4wRyz^YyK?`m@Rv@?OJ;jqV8%O|qk$8N|%Eh8A}2p3J-h!a)6+#3OTm+(s^O*R)#6 zz|7KL)uP6$K=+qcA;*;xa#77M@QA0M+WG+kKN?;Hs?LA6Hl`xK6K7PRS8Z^JshOQW zNAiGusAxEzJaM!-9p-rdH+AzFg-jBZbEU9bWSyXc&t~hk>HJbMDbH%mFg6S)cU0!P z<Io#u+%(=FY$wj*E=3$nzk;he5n>4HNXXJ>-#p{!`>A2(gRaG*|7;5Y^d(6v=OP%I zmk<A=wN!tFdvtxw$r$fo$D=E&4~{Kb;<lvMksbzX*1`7;QaEI7u6q)eqM1@3mhMx? za35*s!wW{+O75j>28}^hcy65x4#KOZgfKMwKADkI4mfEWrVI&_q_e_7@`rV&KNowV zAjMSrK+N<Eq^e@I9Ldf;?`h_7;h`S>QOS1a*am+B^U_=cQ%dzHPGA2>qGVLVh#~Ef z(s1ZOefKFxp3lPBDHv!z3)B0pVl_&FN6nu`SbR>vjaX?gGkmx3ZjwcF>0y3@&Uufk zRUGppksMYehbIw-$TEUE85U09;lq@VcXp4$LY5M9D-DU}-=DUwnP$anHZSvwz<BEJ zS@M5-2F8s}7rNMwF<dLzc}P!4>l#Phqc{WZRiF%oqdj8ng%)Dknew5}%=4@g&Cyyr z5LPrxQ8H|jK}L$5fDDw|$2~z#>j%S9`pN*5=;p055<UuZiKXW&>$BQF2glqvbN+5S z^uGQHV|b{|)3nn$%S%iOEp?1F2P>&M{@j0Pa$&X2)#$jqzE**~l%zj#;Pa@RM;@=Y z9+^RwDvgEo^<IAG(ClHs?FUAcERm&{h-1fZr93_sGFw}^0AmfTd_02nO~2LCfSAj6 zY>BFT0#nwJ1KxxMopJTp)(FYw+)%(b=i*O(%ZsgsSlbXH+*^syZDj4bp$UR#F#>;J z%T>H3!fxWi0)>`2nU26YxkYcHrGlI6aTv7xpZ_bnT&brw+&g$tXA$SSO66TolP@d$ z8W;gXpQ?De>cL>p3@I3a?7BSNki$gtYCo^Kko<B@$e73aD^$P0sGStwGp4ec2H->w z>vqL5$zBmYgK+;!3dYFOeP&#QzK4H;u5Rf!{{&@GjsnE|5dI*8r))JtXc2wd>v<n# zl&8NT9}!~r*k9dB2L{{A(y&<8;CeP;MBOl?SY7Pv{ZN$MgC4unrUCr;1JPjlH8MW- za}FT?PwZLP&*b^{-a`y$|JNXQuDpbO9=;aqA?$aFoepH{7wxk*Qu&UsoS}a`y;&Nc zqFum2;)+yQw;QLAB{pK3=hMDJEZL@22{JYDsMm&Sm^@*PDFq%*PPm{70WSlPb#EP! zJWy8L7MpT)1H8-RW~P{HukdHnLXmf*GxfE-a5E@LU!9jYX+u)H+XZs_I&v9jJMi=n zta)X=gFJN0ymX@hP|H2vW{H28l4im)<>N>L)Tl&A?`WuDF+A&#dRYk$|Me=d;dul- zD`knyIy3)gFsNaC#_5$bd!X@q_e}3gl=*0*r^Au8m#uiMO1i&&ji7wVFF%G7Omqrm zXWi5jlqJvW&}5wtdo<(_GU&2?Mp7H?QHj{u8*cqrPb@ONd&4RjOZ<Q4Yn~-DnSz0K z5X@~Btpp=&EyoCG4idPmNL|i*d$Vsc_AI+FSVXMKtzWruY#wkfwsCdue~v^*%|hp9 z0Nmt{W*}w3(Ia}}otvg$Xb^u&zI)=ZEul(5gU$fXKwo_ZTg(tG+b!YZZ{i9T10J{> z@eqYkcgMgrQKm*22Md3bpvbMH32LCd7JI@~a#+DW&5GpYh4M5PE%AO<vIi{OKtbp; zw?_~qD$mJO<6n>tR-LbTbCs+kte>GeCs(enDG|y@Y|tOeVWRVh{;YxpB^v)0rrKYm zkAf8DI-toAVGY25tYNsc*NwwPlfH#g+!o9`+>iU)>_fIfD<yx$Oj22V3dozXn-28d zO6c#6S$~^uem90z&~w(fVl+vmJZqQqB()H9U~||H8{PMWn$7Aw7WSDa4EIR5Ih)k> z>EX8R-|L4kU{chD#`EC)>ZGCJUCVZfTuY~b&HT6!E&XxP#rxz`c<N-Z=rIGu0JT~G z%6r;(p*7+}6iI(AH5l_{m#PR#p*d!^G1IBI_DVA>E1+zm*iFu#fU)73F+^QlN3li@ zZJDoC;T`Bju~!f%`E4;~SB6CGec#r-e&IA@i!V%GH8|Z-ZiPJICk7<@Kw5W5fR-is z3U2y}K+FHXETBY&b*YF*WDZ3Rd#IilTd0}8TUR&+^lE=<bP1sFCZm!5C{4+f38_FT z`KW<t+wR3P9Mcu!zgX;@Cwa01_DiDxAbV8c+I&G}M|^v~i*lLk%Pi*9Y(w4Q7~26t z9XGsImyEbG!_Be>jw4+H2;M>}{Se-ROs@f;RW2Sw7}g{^p*n8k9ya{ElnJ}l<8e-p zJ8HTz#F>9r86y)x=}vfwRIV{2bvy&=Oj6|g*PEB0(QhE*P2i$nhsTXGlO(6x7@uR+ zXjAy>b{)}!|8gglpe3@6DKFM@2q&1*?%^C<^2jmTwJyEDQFVHdc4tLm5WXm#{KCbk zwbSBpj9*~A6_*_$5Zn>u?Sil5IO!i3weN=dRvv%XTcvlw;5+cFu}f7Cds26#)(M$i z7@$uBc$cIduFkOEJ$7h=kFFbt(+=LhuBm7xGru4*e`cY~&M+ua&nO598YO$>q(K3N zDF@yF&TEVie9LQ7ZYI<3@Div&NIB3$F~k!sPiH=X^~TR6VDT5XiZkvmi>1<WxXaPn zuxfu324uK{C+q{&`T`!h7Uw1^u`_rc$D?QYG@Af>?}Z6Layho6CGq3?L9G1<D373a z3+P4W7m>{&5A_eoZOQBkg$AbFm@dW)Vg%AQOQ&X_&mFu-kk=x}`WsWvl^{jbV?^Nl z4WuMP>`O$eH7st(=PfTXLFzn)+Q$6IJCA>P9UDTKE#j@^%F(27C4+j8pt9e>!HKbe z^DyGmLD5^gV|;e2_C+fn24`5iMLF9n@^I{44JM+;&q;*#;NT!haT(r}?5m$g29X!& zFeVqX8X<RR!T918A}7%)bMJrP^i53+3(4fGB|LI#rf1q~b59i#4&v0$QUHy*Jm7zI z#UBBE52>NqpG^ySZ9*fzpe;;3IFo3&-TYTzc%{o<qm{3%r*r-dA4ziu4lH|<(13<E zr`4%A#@1sxkyAz}MU7UHViES-EbNK_XKQ5ENNf<$=GadiNsYJ?LWhD7B}furjPo3S zpNID$_6$Z#((T+S4am`2FY2o?bcTQ2Fo@s*KDQ`}AasYEm+Bsrhn5KPV|2{ZCK1Of zOz~*_uY+eUY3fibgoQSOrO&!C)Pi#m%U9MB36t?BCs?BI`5OS86mEs1Jo<4~04rt0 z(@z^U!{WJ3`3xgEj*0pGp%jed({^+Cm)A@2F7-F*{6$aJ1XS(!Es&NcyV`#;KW+Gx zl#CMO6O?axi(L@Rl+-X{uQ=XqbKUpR;>PD}9DAEv-cnR*Z&Z_ytZIjRp5xZST4Kpv z3p3C$Hn09&rdcNQP!u{Zn>Yz3tw0}n1w5?`0yrmTIJUw1$Whhu7Hm2>Xkx86XteQK zZ#jE_2`0em+E;>Tpm|E$D0y#S{a+v&UVIAL2j^a}TyVC?%%d~pGHexin#$>&w#E5C zi?4;>*3sSZ-FCn$f;~9hsSmk?IbG$al2QxgK*>>=0J`5|=&UVzeD+KL004^CDgxXi dSPcLH${hU61^_YgY1FaAXZr#G00004Sz5Znr$zt( diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Truncated$Cone$Volume$Scroll.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Truncated$Cone$Volume$Scroll.omdoc.xz index 3e9639f78bb46cb9e1ffac95e6187b2b5feda7d6..226658eb88cdc484de89f39e112bb5edfb916358 100644 GIT binary patch delta 2163 zcmV-(2#oi{6T}mc907u{9Z>;)vb6*Lnm+l(;rs3^%{PU*0C9x5fZ94j`6{#bLu}Qm z;v4G66K>c(@$o+7$OW*Rlm0+cNMhrq2P~DTXAK3}*Oi!VpfJL(SGo>17k;;2WR5G8 zl;Gspm?}*f!|>tGa2z5c{;2Yj(tyJrej9Kvktsn!)_<AlU(3yoI{fQ@gKKj|eJRFo zg%xKi!sm61$mluW0A`-Sa=-+}X8!>g`XN!Yjd@Hg;&p*s;_^ExP=@*H79&Zq_?WC8 ztoSH_GYCc@Y-yeOQAw;ab9xb@_-%H~#rz&fkS{{_`S<mMK|6Kpr%Y*MpLTa6poJWp zzFPc8^FpXGeFz@xqvy$gd-kN_-e#87{h@(Lpoh|-u6#5+Oc`U5zh%tZl<_o1Fm0nW z(U$)-&$^`+HUjBw@s|UsjS`_W*=IPP1kR8F&&h_K@a`8qAd|kT)<zwC#5nm<iz6KT zs7Teob55%q3bViK2md^kWt)|{vJs+XXzNRCGfKaGSSd!$-YS28!-4B6Qr}}vPeL2L zf><5-n<LSSRmK7=z#W0k`n578vdE2QATJ?S#^sAdU-{pHEbUa#*X^{swwaRjacv9C za8E1B;Wj&VZx-DITMGACV>%8{rq{T)oqo3?j?<jrEOVj4Q|+u>uWgnm<3kyMqd@yU z+_v0fKPQO`5`go6MsBmf*p(`NV_+?-vQXSew$C{c(aj{jRZprTG9WwBy8e#D%}Ayf z9&g{QV_SJ(B8VJsV}Z@~S0f#wzuc)OE0;`DKdp^+*2Aw7VH+KK{Y7SSWy()(D^>3T zs2CtbvBT}lc<tHPM&Cns^Yv2ud39hc+-dcJ-Cp{_=&z%H#AzrcZK~|*-8}GyNEH1& z%Jy4A_w@Xu0rX|seM-KEKjqOHF7kN^QFgz<$Li%l$@w5tkC%#D>4%V{<E8112Sy># zqoNjtG8FcsT|r3H3b#JvdZNPJXXnP;&_2X7+pM^?!uxJ^+C^2fF7R13JENa9tM{L* zL4Wj&#^RuV&3?q6BqUk)5$_`QR16e0`@CadMOz~%YhvmZiG()!Uo$S;_Vt#aVE@8+ ztZ;>KdkPsrZ~+HlsK9wh;W+&q-H<ZASpS9uMbv1h^LGzXK-yqIX;<OB5P>u4_(uOU z1XcAOE-2oW;rO<NM0sAr{E?~sv9MKdLq7_x>|<?zdJS_8V`o$Po)%ylc*rDP{gBle z4wsZCBPj_z7JsAp<4l9D_+MBGUpj~SgkC3(b9St~^~8e?nndFgd#ZEnEjryivrY&> zF|g*{11E=OxbW5Csi&WZHGjV-0jv;1{7n*<QQi<167>U*C!l@^>m=4g!<%<TzgQzY ziNX|r@s#dHio-m8HPd|+dE5e}?`n(e2RF0+2)GZkey)7c3b%5h%Q;}DFTmB;!ajuV zIhjnRu=2`@Wz=L{4JMlO&6$!=cr5Vwvnb#>ZojOSEE$C1woqeGT}B9<?qE$#4c9nq z>T|J*|0ef(G1GsaTANrR7WyKnJe8IZ^bUJ}Ho#?5FGxG3KUJj$DD<P(<^6*_o{ilG z_#a2!S@7CkD!u6(1uJMp5LRNtS*&t2jPTu-B|k6f>sc|j&5HuD?-)39pO;-a9a`hE zF9l0k8huE#UM5_tfzbStJEF78`{)<<BbPh0@*lb_Nz!u%P~xIoH!!+8ip|f8Nn2@u z0l#%>Mlr;Odv4ak<6iy`a++ys*X-^Xu!Oz(!BPhXtKH(EKKprNaj{Hv3mgMADU>`| z1USXS@PZp;`u)(ywDw$W^AhtBNlf-^WLmhQbc#Q7sK<e_m!GY9i3!`?z?GgOuX|d) zlAIZJi$h;Z%H=Rd7p~M<ugyl+?T9~r+PRF>$=@B!9K=IX$;kJbK~NlIZws2#wZ<nP z7Ct(^?D%b*7%}y;!Ye|@zFrBrsSBT)MycZ^!(-fX2y7=5<kK<)1=EX7eY9YAWY!}t zu8=TwTh0ZzLgL>QN<cq!OFAecek1@isF<y)UU~6B4f+t4>1k)iYT)D1jpkQ>Mv+u* zyV|73XM^implVM0^_!tt^@Y!<DUlU7Yom>O{CQ489RC;$giPMX`M7okJEC9zW&qjY z<-gGPw(w;P%nbSV2>QZs_coyoYX^|_6L3kS@dwBFYjj(m3w(*PAHE!<pq6@}(mT0Q ztA?eRX^JfAZZ~Q2wfRe$5RsgJW@k2X4wOKg?-Mx1#~IjqnzTa>s@ZEs-pRLx$#^kq zBQpf-@!HjyEBGKflN)T|e<dNL>44Ncu-sI|$c6>tBE+Ia-2O-4U||=ydFw`sP5LSI z;A1wD>7Wjs8ti?ENak`MIbRmO%(WVKf)tL7!dReoZ#$smJrTxfOV)0G{wP2d#fE<a zQpy{vPPjvW61H>gd!+rL?Fe!^MPc|2QpGxt?2#F~6|C?LB17}aJv1nS*#lVf_BA9t z)TaAkUm}bfE>^APSKQf5$$Mo#Q9~SmWP7$9q7LAGH8tdD*{92cEPGRSiz)`p<(Z?b z4u}Mllk7Bk$=HS52b*wzxUXEld!}7(X@mpD89lP6v+!}li(NXk+|-CPUt>ps)JdpG zLKZi3QI`5{@ZxkIWYxL#5}pq|N^gQOPx~zmAp~&Sadbw}-WuFfuT3D5szc@C)G|-B z-#CC5P9L8-^BR$i0@AAGLLD0)Y{K(lXAyl9Tj!suJD2VO?g5NuPjiaiG&*uhQH0Uk zZ3b-=or|b<eCaii6-Cui5Y$%TkRf^L2h&qBA7r-Zh1!-7DQ#gDP3XhBSL@$S>jpL- pr+-QS002L|?^fe9k1hZKo)e<~0svjfwWzVgXZr#G00004Sz3%=JLLcX delta 2163 zcmV-(2#oi{6T}mc907!}9Z>;)xndqA35ewzijm)N|1tv&?8o?PrMV^PAcL8a@VuUe zP7;|(EE*#<-CG_*!p?o$$mQ5oHQSGAu)6eCd9!DK$nEg$d(O4*tajrnFMCwg_W;&e zWC3T@vL73{+EkYEinhqfAEQ>YNo8riATQLV4n_fT^J@sS7}QKMi1jpo_ldN783TT< zUKrxeQNJR!E61oOPE=ucU9Q8laL4y#;-%|4S2IYgpjObgUa$yIU}EkAqiXus`Y0`k zua4WCtk9~?_HPdcJ9H;8J~e?2-CaFF{y#6-7<^%-E<I`OHdh?OR_bo6u2JVEIl;yw zXRP<RjYU!@SjSc$tT}jpRG6&*l&$E=_D^u&c)*W|Oe2WP1m(pkpY`JXY9HvMH}97G z_%6o|>~@S?q)-Jas(^&ZK$DOr6)yaDCEErC!;`c~n_U4}BuL<6+AuIR4X4*%I55C7 zH-9@kbK26pk__2FRD^#{;})1bwBRhVg=6=+Urx+=VjoVH8X@t2N-1y_LG|4It-RnO zK49Jya`D_-_oWIml1okc2aUe{L#B5ERpru0e7cm=TYN%oQUGJ<Rwq)Ol2$;E1IVl_ zlIRecKx#~v8VE-YeeGXS2HBvIIV)5_6AwoMp)!ywa=E$uAMEJtp~8ziD5ws~K`nP9 z-6uz3>~U5gmk9NLv514TBhkDV+0{9E-4clFlZwE`Hfev_PMG`_x%K{C*<FWnfZH$| zaPB;EzZbjkcPIotA0(Vq@@Ef)ZfqVA^b}$FUNU;=MQgmk59Fk(FC^;xhoWDp(?_*` zL9zsntp~%0*pzs_ifqH`^=v0pt7u21k9}2cEvpB$6crbLYQm89g!GWD5=X$g+FCzy zdA5-k)w_U3qQvY+UfmI!G{gw6=(EqrH}`_&Hf!d_QT*YxZ_@KF&($1?w{47bRL@^+ z;f@0@{s@#A#0X4^%h4h}pehw?FfYnk{L0+j`{sZ3v%|EtK&P0Jx*sCeD3#7VpKBvL z>3cGLxU<}Ut<Kl5@%eMX)yMrO+2g`Suq^h-KdQH#hs@tDJV{b<y6hb)h>9<c#(MK= ztgHrT_UBpuG=(|;(XEjBFXd>YgyuFnuuBC2vIntgJ1kFbCou{BzXxB`1cdTfmsX(c zI5^6rVCTq(P~if~&kbF7A@JN3ZM^M=B8PtP;WIdYjK-z`z?6o)j*`?ug05PC$eNRL z9igN2lAd<1N|6*N*!-1mqb06d#Jh%cU_9f8nddIotbYaCz}4))rOBFDUX=6koBusu z5w}sYfy7d+N?sy3waj};LCZw2916?xM1HW?HsVVEeaWEY`o^;Py^QLbiW;;&^w7f; z9VL2y##8C&8yU7Cw=@DWFz>;p6p^c<|Njf2C7<g!GpPKE+WVA$m-p79Ml3X@?AJH% zE$)uCfrP0Nqd%(I&Kk{<N~3`rS`3T~`G{~AG>YeJdROS$Q-ZEakw_T^br%w#nc63k z@5?wb3cnO{s=Zr>{nd`!ptW{Ha#lnx7xU+TIG003^h~OsA4a1R_~oN(_Dx#j@ec&d z;CqXZ&gOaU1Of!sYDf2@^c+|e{G(8kY}R}s58)U?WCz^l0wWdpolbd{#J3?^(pdkS zmN_da9|~BdzczXCH`bCiG*6xUq}{ZyRScM7%xu%I)7F57hi?51y#0G|`=!@8?-+7_ zXDEe&6llw8$)Wi+#I(g|gY>p9+;C66DV;;(Guo0&9v@X5yTt{Gxlk_FeN**oqTab` zgPYLJ^i>rZRDnz?(UE`l(Uc$QI9i1hu~A5rt%zS_vNJo46f;YdtFG7`Y8@MizO_7r zT2EH;iXgu%bg94YBS1!9>OTh?d>q_=%Q;RyyGe1_{?l$Dc8v74n+B_J@50M3lCCHP z2>{;N&{?D0HWf6H*b!M`Xe3KD2iw|?OZD52%*60T81d}^gTNTbe?15KaT-uF%ffgY zLN9Y6aWdI0@ajKdtNg&lvQB9DIDSe$c}{kQoU>u7(XT9^$nAB@kextSb85SPyOU%% z0@Isgo|yHTq;^;h8oemWS&w_BG^jMIR$1fW=Bepv^;Bs8KRk^$+?)_O?fY-gZJs5@ zbhpe*2cb4-Je(xV@79WC);y2ofu^S1&e*X!1jCcVXc)vgPX#C;t-|Z%TYx4`7abjI zlI@-pDys_`v)#cfFolKqFAPb4*UATi?YZgWh+TQjKBrpS-$S~9gz-!XzW)@9f!q{9 zTWy~4h@8T=`~J-i7#L!Wvf2sPKlT7DW$CDhS{lXBX<C-tRqcLtvnzG(2VqU5#-wwl zaS-70uYdDMcQ1smtw$st4P0Zd{Z=aJJz<|m(-vt=VQTeFNZ|O@$e#v(C=PX^A|jdA zKrw)j?GGsIZXfCWNJ^#KIu^hcOoi~AewZ7PK~!zU+c!<6$&d6C>Xu1|8$b>ul&o04 z<+v(lj&M9Cp!Tp_QA!K9k8DRT*~mpCfp#sBaWM{UR~!3}PlzthjCK!b^#rxqpm)+x zCWDE;5Nn(AQ4f6d>6x#8L4icUB)iq#QQT0fP2&1}Azyjx@aM8TTmlMoYN>)Jc!3LU zd8}Ad3|&Wt?0#?$GmSpn6oN=6Y*sSQ6BkrD#c0epy16$TM9y;SjR$ME+O}0ruxB?s za|a}JHObn;JoR;3_!eafn*^&Vz~&cD0xa_pa!9jwmSPpF?}lw=X&P~~i|p}E&yDuu zaB(S(14armdJ{1IGF<oIRWk=196{ZoJU(Out_@~+`PIRqV_mT_ayMqg4SmU)eK=xC peldbmJ^**DYRl5J)IR_LpcA710sw%o#g?(eXZr#G00004Sz4AfIAH() diff --git a/narration/DefaultSituationSpace.omdoc b/narration/DefaultSituationSpace.omdoc index 35190da..8532885 100644 --- a/narration/DefaultSituationSpace.omdoc +++ b/narration/DefaultSituationSpace.omdoc @@ -1,2 +1,2 @@ <?xml version="1.0" encoding="UTF-8"?> -<omdoc base="http://mathhub.info/FrameIT/frameworld/DefaultSituationSpace.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/DefaultSituationSpace.mmt#0.0.0:781.29.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://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><mref name="[http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace]" target="http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/DefaultSituationSpace.mmt#117.4.0:144.4.27"/></metadata></mref></omdoc> \ No newline at end of file +<omdoc base="http://mathhub.info/FrameIT/frameworld/DefaultSituationSpace.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/DefaultSituationSpace.mmt#0.0.0:700.26.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://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><mref name="[http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace]" target="http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/DefaultSituationSpace.mmt#117.4.0:144.4.27"/></metadata></mref></omdoc> \ No newline at end of file diff --git a/narration/MetaTheories.omdoc b/narration/MetaTheories.omdoc index 8234de0..26c6c92 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:23461.452.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#11233.221.0:11252.221.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#15479.300.0:15496.300.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#18893.355.0:18914.355.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#19856.378.0:19877.378.21"/></metadata></mref><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#22899.432.0:22994.432.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#22996.433.0:23016.433.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: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 diff --git a/narration/Scrolls/CircleScroll.omdoc b/narration/Scrolls/CircleScroll.omdoc index 381010a..33fa85e 100644 --- a/narration/Scrolls/CircleScroll.omdoc +++ b/narration/Scrolls/CircleScroll.omdoc @@ -1,2 +1,2 @@ <?xml version="1.0" encoding="UTF-8"?> -<omdoc base="http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.mmt#0.0.0:5958.224.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://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.mmt#80.5.0:85.8.0"/></metadata><scope></scope></opaque><mref name="[http://mathhub.info/FrameIT/frameworld?CircleScroll]" target="http://mathhub.info/FrameIT/frameworld?CircleScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.mmt#90.12.0:108.12.18"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?CircleAreaScroll]" target="http://mathhub.info/FrameIT/frameworld?CircleAreaScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.mmt#3529.110.1:3551.110.23"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?test]" target="http://mathhub.info/FrameIT/frameworld?test"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.mmt#4672.142.1:4682.142.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/Scrolls/CircleScroll.mmt#5332.173.0:5343.173.11"/></metadata></mref></omdoc> \ No newline at end of file +<omdoc base="http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.mmt#0.0.0:3349.132.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://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.mmt#80.5.0:85.8.0"/></metadata><scope></scope></opaque><mref name="[http://mathhub.info/FrameIT/frameworld?CircleScroll]" target="http://mathhub.info/FrameIT/frameworld?CircleScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.mmt#90.12.0:108.12.18"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?CircleAreaScroll]" target="http://mathhub.info/FrameIT/frameworld?CircleAreaScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.mmt#2185.79.1:2207.79.23"/></metadata></mref></omdoc> \ No newline at end of file diff --git a/narration/Scrolls/ConeVolumeScroll.omdoc b/narration/Scrolls/ConeVolumeScroll.omdoc index 35de243..ab73e27 100644 --- a/narration/Scrolls/ConeVolumeScroll.omdoc +++ b/narration/Scrolls/ConeVolumeScroll.omdoc @@ -1,2 +1,2 @@ <?xml version="1.0" encoding="UTF-8"?> -<omdoc base="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.mmt#0.0.0:9055.257.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://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.mmt#80.5.0:157.8.0"/></metadata>// This scrolls calculates the Volume of a cone with a circle as base. â™</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?ConeProblem]" target="http://mathhub.info/FrameIT/frameworld?ConeProblem"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.mmt#160.10.0:177.10.17"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?ConeVolumeScroll]" target="http://mathhub.info/FrameIT/frameworld?ConeVolumeScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.mmt#1647.55.0:1669.55.22"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?TruncatedConeProblem]" target="http://mathhub.info/FrameIT/frameworld?TruncatedConeProblem"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.mmt#2668.80.0:2694.80.26"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?TruncatedConeVolumeScroll]" target="http://mathhub.info/FrameIT/frameworld?TruncatedConeVolumeScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.mmt#3253.101.1:3284.101.32"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?CylinderVolumeScroll]" target="http://mathhub.info/FrameIT/frameworld?CylinderVolumeScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.mmt#5145.138.0:5171.138.26"/></metadata></mref></omdoc> \ No newline at end of file +<omdoc base="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.mmt#0.0.0:6206.192.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://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.mmt#80.5.0:157.8.0"/></metadata>// This scrolls calculates the Volume of a cone with a circle as base. â™</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?ConeProblem]" target="http://mathhub.info/FrameIT/frameworld?ConeProblem"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.mmt#160.10.0:177.10.17"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?ConeVolumeScroll]" target="http://mathhub.info/FrameIT/frameworld?ConeVolumeScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.mmt#1647.55.0:1669.55.22"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?TruncatedConeProblem]" target="http://mathhub.info/FrameIT/frameworld?TruncatedConeProblem"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.mmt#2668.80.0:2694.80.26"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?TruncatedConeVolumeScroll]" target="http://mathhub.info/FrameIT/frameworld?TruncatedConeVolumeScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.mmt#3253.101.1:3284.101.32"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?CylinderVolumeScroll]" target="http://mathhub.info/FrameIT/frameworld?CylinderVolumeScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ConeVolumeScroll.mmt#4826.136.0:4852.136.26"/></metadata></mref></omdoc> \ No newline at end of file diff --git a/narration/Scrolls/CylinderScroll.omdoc b/narration/Scrolls/CylinderScroll.omdoc index 7f10c7b..03f3194 100644 --- a/narration/Scrolls/CylinderScroll.omdoc +++ b/narration/Scrolls/CylinderScroll.omdoc @@ -1,2 +1,2 @@ <?xml version="1.0" encoding="UTF-8"?> -<omdoc base="http://mathhub.info/FrameIT/frameworld/Scrolls/CylinderScroll.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/CylinderScroll.mmt#0.0.0:3688.108.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://mathhub.info/FrameIT/frameworld?FrameworldMeta"/></omdoc> \ No newline at end of file +<omdoc base="http://mathhub.info/FrameIT/frameworld/Scrolls/CylinderScroll.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/CylinderScroll.mmt#0.0.0:83.8.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://mathhub.info/FrameIT/frameworld?FrameworldMeta"/></omdoc> \ No newline at end of file diff --git a/narration/Scrolls/ParallelLines.omdoc b/narration/Scrolls/ParallelLines.omdoc index deaa7f0..296b488 100644 --- a/narration/Scrolls/ParallelLines.omdoc +++ b/narration/Scrolls/ParallelLines.omdoc @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<omdoc base="http://mathhub.info/FrameIT/frameworld/Scrolls/ParallelLines.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ParallelLines.mmt#0.0.0:3623.98.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://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ParallelLines.mmt#80.5.0:285.23.0"/></metadata>S +<omdoc base="http://mathhub.info/FrameIT/frameworld/Scrolls/ParallelLines.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ParallelLines.mmt#0.0.0:3623.99.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://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ParallelLines.mmt#80.5.0:286.24.0"/></metadata>S /| / | / | @@ -15,4 +15,4 @@ D ----- C | | A ------B -The scroll encodes the InterceptTheorem .</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?ParallelLines]" target="http://mathhub.info/FrameIT/frameworld?ParallelLines"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ParallelLines.mmt#289.26.0:308.26.19"/></metadata></mref></omdoc> \ No newline at end of file +The scroll encodes the InterceptTheorem .</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?ParallelLines]" target="http://mathhub.info/FrameIT/frameworld?ParallelLines"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ParallelLines.mmt#290.27.0:309.27.19"/></metadata></mref></omdoc> \ No newline at end of file diff --git a/narration/Scrolls/PlaneLineAngleScroll.omdoc b/narration/Scrolls/PlaneLineAngleScroll.omdoc index 5d567d7..791afb9 100644 --- a/narration/Scrolls/PlaneLineAngleScroll.omdoc +++ b/narration/Scrolls/PlaneLineAngleScroll.omdoc @@ -1,2 +1,2 @@ <?xml version="1.0" encoding="UTF-8"?> -<omdoc base="http://mathhub.info/FrameIT/frameworld/Scrolls/PlaneLineAngleScroll.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/PlaneLineAngleScroll.mmt#0.0.0:3621.96.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://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/PlaneLineAngleScroll.mmt#80.5.0:157.8.0"/></metadata>// This scrolls calculates the Volume of a cone with a circle as base. â™</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?CircleLineAngleScroll]" target="http://mathhub.info/FrameIT/frameworld?CircleLineAngleScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/PlaneLineAngleScroll.mmt#165.15.0:192.15.27"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?CircleLineAngleToAngleScroll]" target="http://mathhub.info/FrameIT/frameworld?CircleLineAngleToAngleScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/PlaneLineAngleScroll.mmt#1662.48.0:1696.48.34"/></metadata></mref></omdoc> \ No newline at end of file +<omdoc base="http://mathhub.info/FrameIT/frameworld/Scrolls/PlaneLineAngleScroll.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/PlaneLineAngleScroll.mmt#0.0.0:3590.96.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://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/PlaneLineAngleScroll.mmt#80.5.0:157.8.0"/></metadata>// This scrolls calculates the Volume of a cone with a circle as base. â™</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?CircleLineAngleScroll]" target="http://mathhub.info/FrameIT/frameworld?CircleLineAngleScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/PlaneLineAngleScroll.mmt#165.15.0:192.15.27"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?CircleLineAngleToAngleScroll]" target="http://mathhub.info/FrameIT/frameworld?CircleLineAngleToAngleScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/PlaneLineAngleScroll.mmt#1662.48.0:1696.48.34"/></metadata></mref></omdoc> \ No newline at end of file diff --git a/relational/Scrolls/CircleScroll.rel b/relational/Scrolls/CircleScroll.rel index ebb888c..47c342e 100644 --- a/relational/Scrolls/CircleScroll.rel +++ b/relational/Scrolls/CircleScroll.rel @@ -1,5 +1,3 @@ document http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.omdoc Declares http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.omdoc http://mathhub.info/FrameIT/frameworld?CircleScroll Declares http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.omdoc http://mathhub.info/FrameIT/frameworld?CircleAreaScroll -Declares http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.omdoc http://mathhub.info/FrameIT/frameworld?test -Declares http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.omdoc http://mathhub.info/FrameIT/frameworld?test2 diff --git a/relational/http..mathhub.info/FrameIT/frameworld/$Default$Situation$Space.rel b/relational/http..mathhub.info/FrameIT/frameworld/$Default$Situation$Space.rel index 0f9afbc..cd03b20 100644 --- a/relational/http..mathhub.info/FrameIT/frameworld/$Default$Situation$Space.rel +++ b/relational/http..mathhub.info/FrameIT/frameworld/$Default$Situation$Space.rel @@ -3,13 +3,12 @@ HasMeta http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace http://math Declares http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace?Root theory http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/Root HasMeta http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/Root http://mathhub.info/FrameIT/frameworld?FrameworldMeta +Includes http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/Root http://mathhub.info/FrameIT/frameworld?SupplementaryAngles Includes http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/Root http://mathhub.info/FrameIT/frameworld?OppositeLen Includes http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/Root http://mathhub.info/FrameIT/frameworld?AngleSum Includes http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/Root http://mathhub.info/FrameIT/frameworld?Pythagoras Includes http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/Root http://mathhub.info/FrameIT/frameworld?CylinderVolumeScroll Includes http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/Root http://mathhub.info/FrameIT/frameworld?CircleLineAngleToAngleScroll -Includes http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/Root http://mathhub.info/FrameIT/frameworld?test -Includes http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/Root http://mathhub.info/FrameIT/frameworld?test2 Includes http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/Root http://mathhub.info/FrameIT/frameworld?Midpoint Includes http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/Root http://mathhub.info/FrameIT/frameworld?CircleScroll Includes http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/Root http://mathhub.info/FrameIT/frameworld?SinOppositeLeg diff --git a/relational/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Theories.rel b/relational/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Theories.rel index 153448b..65658e3 100644 --- a/relational/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Theories.rel +++ b/relational/http..mathhub.info/FrameIT/frameworld/$Frame$I$T$Theories.rel @@ -1,5 +1,4 @@ dataconstructor http://mathhub.info/FrameIT/frameworld?FrameITTheories?makeCircleOf3EdgePoints -dataconstructor http://mathhub.info/FrameIT/frameworld?FrameITTheories?TestBrokenA theory http://mathhub.info/FrameIT/frameworld?FrameITTheories HasMeta http://mathhub.info/FrameIT/frameworld?FrameITTheories http://cds.omdoc.org/urtheories?LF Includes http://mathhub.info/FrameIT/frameworld?FrameITTheories http://mathhub.info/MitM/core/geometry?3DGeometry @@ -50,10 +49,3 @@ DependsOn http://mathhub.info/FrameIT/frameworld?FrameITTheories?makeCircleOf3Ed DependsOn http://mathhub.info/FrameIT/frameworld?FrameITTheories?makeCircleOf3EdgePoints?definition http://mathhub.info/MitM/core/geometry?3DGeometry?xofpoint?type DependsOn http://mathhub.info/FrameIT/frameworld?FrameITTheories?makeCircleOf3EdgePoints?definition http://mathhub.info/MitM/core/geometry?3DGeometry?zofpoint?type DependsOn http://mathhub.info/FrameIT/frameworld?FrameITTheories?makeCircleOf3EdgePoints?definition http://mathhub.info/FrameIT/frameworld?FrameITCircle?circleType3D?type -Declares http://mathhub.info/FrameIT/frameworld?FrameITTheories http://mathhub.info/FrameIT/frameworld?FrameITTheories?TestBrokenA -constant http://mathhub.info/FrameIT/frameworld?FrameITTheories?TestBrokenA -DependsOn http://mathhub.info/FrameIT/frameworld?FrameITTheories?TestBrokenA?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type -DependsOn http://mathhub.info/FrameIT/frameworld?FrameITTheories?TestBrokenA?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type -DependsOn http://mathhub.info/FrameIT/frameworld?FrameITTheories?TestBrokenA?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?addition?type -DependsOn http://mathhub.info/FrameIT/frameworld?FrameITTheories?TestBrokenA?definition http://mathhub.info/MitM/Foundation?NatLiterals?pos_lit?type -DependsOn http://mathhub.info/FrameIT/frameworld?FrameITTheories?TestBrokenA?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type diff --git a/source/DefaultSituationSpace.mmt b/source/DefaultSituationSpace.mmt index c0dea9c..a80c26c 100644 --- a/source/DefaultSituationSpace.mmt +++ b/source/DefaultSituationSpace.mmt @@ -4,16 +4,14 @@ fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta âš theory DefaultSituationSpace = theory Root = - // include ?SupplementaryAngles â™ + include ?SupplementaryAngles â™ include ?OppositeLen â™ include ?AngleSum â™ - // include ?ParallelLines â™ - // include ?InterceptTheorem â™ + // include ?ParallelLines â™ + // include ?InterceptTheorem â™ include ?Pythagorasâ™ include ?CylinderVolumeScrollâ™ include ?CircleLineAngleToAngleScrollâ™ - include ?testâ™ - include ?test2â™ include ?Midpoint â™ include ?CircleScroll â™ @@ -22,7 +20,6 @@ theory DefaultSituationSpace = include ?CircleAreaScroll â™ include ?ConeVolumeScroll â™ include ?TruncatedConeVolumeScroll â™ - // include ?EqualCircleAreaScroll â™ âš diff --git a/source/MetaTheories.mmt b/source/MetaTheories.mmt index bb7cfcf..71a1893 100644 --- a/source/MetaTheories.mmt +++ b/source/MetaTheories.mmt @@ -198,9 +198,6 @@ theory FrameITTriangles = trianglePerpendicularBisectorCA3D : triangle ⟶ line ☠= [t] from ( 0.5 rdotp ( ( _C t ) p+p ( _A t ) ) ) to ( ( 0.5 rdotp ( ( _C t ) p+p ( _A t ) ) ) p+p ( ( Pnormal ( Pof2Δ t ) ) Vcross ( ( _A t ) p-p ( _C t ) ) ) ) ☠# bisecTriCA3D 1 â™ trianglePerpendicularBisectorIntersectAxiom : { t } ⊦ colL ( bisecTriAB3D t ) ( bisecTriBC3D t) ☠# perpBisIntersectAxiomABBC 1 â™ - // this cant be the way to calculate it. Because we will not get a point with colV... ff â™ - // triangle_mid_point : triangle ⟶ point ☠= [t] colLV ( bisec_tri_AB_3d t ) ( bisec_tri_BC_3d t) ( perp_bis_intersect_axiom_AB_BC t ) ☠# mid_triangle_3d 1 â™ - cramerRuleIntersection : point ⟶ point ⟶ point ⟶ ℠☠= [c,u,v] ( (-1.0 â‹… ( c _x ) â‹… ( v _y ) ) + ( ( c _y ) â‹… ( v _x ) ) ) / ( epsi + ( (-1.0 â‹… ( u _x ) â‹… ( v _y ) ) + ( ( u _y ) â‹… ( v _x ) )) ) ☠# CramerRuleIntersection 1 2 3 â™ // This function shouldn't be necessary. But due to some weird bug, the server will crash without it. â™ @@ -213,7 +210,6 @@ theory FrameITTriangles = 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 â™ - // triangle_perpendicular_bisectors_intersection_3d : triangle ⟶ point ☠= [t] ( ( 0.5 rdotp ( ( _A t ) p+p ( _B t ) ) ) ) ☠# mid_tri_3d 1 â™ @@ -228,22 +224,9 @@ theory FrameITCircle = circleType3D : type ☠# circle â™ xcircleType3D : type ☠# xcircle ☠= plane × point × â„ â™ - - - - - xcircleMidPoint: xcircle ⟶ point ☠# xmid 1 ☠= [c] Ï€l (Ï€r c) â™ - - - - - - - - // circle constructor taking a plane ( the circle lies in ) a point (middle) and a real number (radius) â™ circle3D : plane ⟶ point ⟶ ℠⟶ circle ☠# mkCirc3D 1 2 3 â™ @@ -275,16 +258,6 @@ theory FrameITCircle = equalityCircles: circle ⟶ circle ⟶ bool ☠# equalCirc 1 2 â™ unequalityCircles : circle ⟶ circle ⟶ bool ☠# unequalCirc 1 2 â™ - // this should be literally illegal to do, but there is no other way to implement it because there is a certain axiom that is literally handing out proofs for everything. - It will even proof you that 1==2. Don't ever use this unless you are 100% certain what you are doing â™ - - // assignAreaValueProof: {c1: circle, erg: â„ } ⊦ areaCirc c1 ≠erg ☠# convA 1 2 â™ - // proofEqualCircles : { c1: circle, c2: circle, erg: â„, proof1: ( ⊦ areaCirc c1 ≠erg) , proof2: ( ⊦ areaCirc c2 ≠erg ) } ⊦ equalCirc c1 c2 ☠# axEqualCirc 1 2 3 4 5 â™ - // doIt : {c1: circle, c2: circle, areaBase : ( Σ x:â„ . ⊦ areaCirc c1 ≠x ) , areaTop : ( Σ x:â„ . ⊦ areaCirc c2 ≠x ) } ⊦ equalCirc c1 c2 ☠- = [c1,c2,areaTop,areaBase] axEqualCirc c1 c2 (Ï€l areaBase) (convA c1 (Ï€l areaBase) ) (convA c2 (Ï€l areaTop) ) ☠# doz 1 2 3 4 â™ - - - // proofEqualCircles : {c1: circle, c2: circle, proof: ⊦ ( areaCirc c1 ) ≠( areaCirc c2 ) } ⊦ equalCirc c1 c2 ☠# axEqualCirc 1 2 %I3 â™ helperXyZ : point ⟶ point ⟶ ℠☠= [a,b] | a -- b | ☠# helpxyz 1 2 â™ @@ -293,7 +266,6 @@ theory FrameITCircle = pointsToCircleCheckerTest : { M : point, A : point, B : point, MAsum: â„, MBsum: â„, ABsum: â„ , p1 : ⊦ ( MAsum ≠0.0 ), p2 : ⊦ ( MBsum ≠0.0 ) , p3 : ⊦ ( ABsum ≠0.0 ) } circle ☠= [M,A,B,p4,p5,p6,p7,p8,p9] mkCirc3D ( pToPlane M A B ) M (d- M A) ☠# pointsToCChecktest 1 2 3 4 5 6 %I7 %I8 %I9 â™ pointsToCircleWrapper : point ⟶ point ⟶ point ⟶ circle ☠= [M,A,B] pointsToCChecktest M A B (helpxyz M A) ( helpxyz M B ) ( helpxyz A B ) ☠# pointsToC 1 2 3 â™ - // pointsToCircleWrapper : point ⟶ point ⟶ point ⟶ circle ☠= [M,A,B] pointsToCChecktest M A B 1.0 1.0 1.0 ☠# pointsToC 1 2 3 â™ âš @@ -336,19 +308,16 @@ theory FrameITCone = axiomTruncatedConeBase : {c1, c2,p1, p2} ⊦ tconeBase ( mkTcone c1 c2 p1 p2) ≠c1 ☠role Simplify â™ axiomTruncatedConeTop : {c1, c2,p1, p2} ⊦ tconeTop ( mkTcone c1 c2 p1 p2) ≠c2 ☠role Simplify â™ - // truncated_cone_height : tcone ⟶ ℠☠= [tc] d- ( mid ( tcone_base tc ) ) ( mid ( tcone_top tc ) ) ☠# tcone_height 1 â™ // swapped top and base should be fine thoâ™ truncatedConeHeight : tcone ⟶ ℠☠= [tc] distPlP ( circlePlane ( tconeBase tc ) ) ( mid ( tconeTop tc ) ) ☠# tconeHeight 1 â™ - // truncatedConeBaseArea : tcone ⟶ ℠☠= [tc] ( real_pow ( radius ( tconeBase tc ) ) 2.0 ) + ( ( radius ( tconeTop tc ) ) â‹… ( radius ( tconeBase tc ) ) ) + ( real_pow ( radius ( tconeTop tc ) ) 2.0 ) ☠# tconeBaseArea 1 â™ truncatedConeArea : tcone ⟶ ℠☠= [tc] ( areaCirc ( tconeBase tc ) ) + ( ( ( radius ( tconeTop tc ) ) â‹… ( radius ( tconeBase tc ) ) ) â‹… pi_num ) + ( areaCirc ( tconeTop tc ) ) ☠# tconeArea 1 â™ truncatedConeVolume : tcone ⟶ ℠☠= [tc] ( 1.0 / 3.0 ) â‹… (tconeHeight tc) â‹… ( tconeArea tc ) ☠# tconeVol 1 â™ - // truncatedConeVolume : tcone ⟶ ℠☠= [tc] ( ( ( 1.0 / 3.0 ) â‹… pi_num ) â‹… (tconeHeight tc) ) â‹… ( ( real_pow ( radius ( tconeBase tc ) ) 2.0 ) + ( ( radius ( tconeTop tc ) ) â‹… ( radius ( tconeBase tc ) ) ) + ( real_pow ( radius ( tconeTop tc ) ) 2.0 ) ) ☠# tconeVol 1 â™ âš @@ -387,41 +356,10 @@ theory FrameITTheories = - // randomCircle : circle ☠# circulus â™ - // intersection_two_lines_test : line ⟶ line ⟶ ℠☠= [l,h] ( cramer_rule_intersection ( ( from l ) p-p (from h) ) ( direction_l l ) ( direction_l h ) ) ☠# intersect_two_lines_actual_point_test 1 2 â™ - // wrap_intersection_test : line ⟶ line ⟶ point ☠= [l,h] ( ( cramer_rule_intersection ( ( from l ) p-p ( from h ) ) ( direction_l l ) ( direction_l h ) ) rdotp ( direction_l l ) ) ☠# intersect_two_lines_wrap 1 2 â™ - // wrap_intersection_test2 : line ⟶ line ⟶ ℠☠= [l,h] ( cramer_rule_intersection ( ( from l ) p-p ( from h ) ) ( direction_l l ) ( direction_l h ) ) ☠# intersect_two_lines_wrap2 1 2 â™ - // wrap_wrap : line ⟶ line ⟶ point ☠= [l,h] ( intersect_two_lines_wrap2 l h ) rdotp ( direction_l l ) ☠# wrap_wrap_losing_mind 1 2 â™ - - // wrap_wrapv2 : point ⟶ line ⟶ line ⟶ point ☠= [A,l,h] ( ( do_the_root ( 0.5 ) ) rdotp ( direction_l l ) ) ☠# wrap_wrap_losing_mindv2 1 2 3 â™ - // fast_equal : ℠⟶ ℠⟶ bool ☠= [a,b] | a p-p b | â™ - // ☠= [A,B] lineDirection A ∥ lineDirection B â™ - // parallelo: line ⟶ line ⟶ bool ☠# paraLL 1 2 â™ - // para_axio : { a: line , b: line } ⊦ paraLL a b ☠# cheat 1 2 â™ - - - - // defining circle over 2 points. One for the center one for the edgeâ™ - // circleOf : point ⟶ point ⟶ circle ☠# mid 1 edge 2 â™ - // midpoint : circle ⟶ point ☠# mid 1 prec 1 â™ - // edgepoint : circle ⟶ point ☠# edge 1 prec 1 â™ - // axiom_midpoint : {p1,p2} ⊦ mid (mid p1 edge p2) ≠p1 ☠role ForwardRule â™ - // axiom_edgepoint : {p1,p2} ⊦ edge (mid p1 edge p2) ≠p2 ☠role ForwardRule â™ - - // radius_circle : circle ⟶ ℠☠= [c] d- ( mid c ) (edge c) ☠# radius_circle 1 â™ - // circum_circle : circle ⟶ ℠☠= [c] ((d- ( mid c ) (edge c)) + (d- ( mid c ) (edge c))) â‹… pi_num ☠# circ_circ 1 â™ - - // partial circlce circumference. x should be used in % â™ - // partial_circum_circle : circle ⟶ ℠⟶ ℠☠= [c,x] ((d- ( mid c ) (edge c)) + (d- ( mid c ) (edge c))) â‹… pi_num â‹… x ☠# partial_circ_circ 1 â™ - - // area_circle : circle ⟶ ℠☠= [c] ((d- ( mid c ) (edge c)) â‹… (d- ( mid c ) (edge c))) â‹… pi_num ☠# area_circ 1 â™ - - // use_actual_scp : point ⟶ ℠☠= [a] ( < a , a > ) ☠# do_actual_scp 1 â™ 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 â™ - TestBrokenA : ℠☠= 1.0 + 1 ☠# TestBroken â™ âš diff --git a/source/Scrolls/CircleScroll.mmt b/source/Scrolls/CircleScroll.mmt index 92fa350..5b3c420 100644 --- a/source/Scrolls/CircleScroll.mmt +++ b/source/Scrolls/CircleScroll.mmt @@ -27,23 +27,6 @@ theory CircleScroll = theory Solution = include ?CircleScroll/Problem â™ - // TODO: in the calculation a proof of interception should be used. But so far isnt. â™ - // deduceM : point ☠- = intersect_two_lines_actual_point ( bisec_tri_BC_3d ( Δ A B C ) ) ( bisec_tri_AB_3d ( Δ A B C ) ) ☠- meta ?MetaAnnotations?label "M" ☠- meta ?MetaAnnotations?description "Middle of the circle" - â™ - - - // deduceR : Σ x:â„ . ⊦ ( d- deduceM A) ≠x ☠- = ⟨ ( d- deduceM A) , sketch "deduce Radius"⟩ ☠- - meta ?MetaAnnotations?label "R" ☠- meta ?MetaAnnotations?description "radius of C" - â™ - - - // = mkCirc3D ( pToPlane M A B ) M (d- M A) â™ deduceC : circle ☠@@ -81,22 +64,8 @@ theory CircleScroll = - // deduceE : plane ☠- - = Ppara A B C ☠- meta ?MetaAnnotations?label s"PlaceHolder${lverb Azzz }" ☠- meta ?MetaAnnotations?description s"Deduce a circle from 3 points on its edge " - â™ - - // deduceCircle a - : Σ x:â„ . ⊦ ( circ_circ (mid M edge E) ) ≠x ☠- = ⟨((Ï€l distanceME) + (Ï€l distanceME)) â‹… pi_num , sketch "CircleCircumference Scroll"⟩ ☠- meta ?MetaAnnotations?label s"PlaceHolder${lverb M E}" ☠- meta ?MetaAnnotations?description s"xThe deduced circumference of the circle " - â™ - // the description verbalizes CircleCircumference, hence must come after its declaration â™ meta ?MetaAnnotations?label "CircleScroll" â™ meta ?MetaAnnotations?description s"Calculating a circle defined by the middle ${lverb M}, an edge point ${lverb A} and a point on the circle plane ${lverb B}. " â™ @@ -140,67 +109,6 @@ theory CircleScroll = - theory test = - meta ?MetaAnnotations?problemTheory ?test/Problem â™ - meta ?MetaAnnotations?solutionTheory ?test/Solution â™ - - - theory Problem = - - K : point ☠meta ?MetaAnnotations?label "C" â™ - - - - âš - - theory Solution = - include ?test/Problem â™ - - - - test : ℠☠- = TestBroken ☠- meta ?MetaAnnotations?label s"BIG FAN" ☠- meta ?MetaAnnotations?description s"length " - - â™ - - - meta ?MetaAnnotations?label "testscroll" â™ - meta ?MetaAnnotations?description s" Example Scroll for testing" â™ - âš - âš - -theory test2 = - meta ?MetaAnnotations?problemTheory ?test2/Problem â™ - meta ?MetaAnnotations?solutionTheory ?test2/Solution â™ - - - theory Problem = - - M : point ☠meta ?MetaAnnotations?label "M" â™ - - - âš - - theory Solution = - include ?test2/Problem â™ - - - - deduceThis : ℠☠- = 1.0 + 1.0 ☠- meta ?MetaAnnotations?label s"r" ☠- meta ?MetaAnnotations?description s"Radius " - â™ - - - meta ?MetaAnnotations?label "testscroll2" â™ - meta ?MetaAnnotations?description s" calculates the radius of a given circle" â™ - âš - âš - - diff --git a/source/Scrolls/ConeVolumeScroll.mmt b/source/Scrolls/ConeVolumeScroll.mmt index de50f2c..a1f7684 100644 --- a/source/Scrolls/ConeVolumeScroll.mmt +++ b/source/Scrolls/ConeVolumeScroll.mmt @@ -116,8 +116,6 @@ theory TruncatedConeProblem = theory Solution = include ?TruncatedConeVolumeScroll/Problem â™ - // = ⟨ doDiv ( ( ( real_pow ( radius ( circle1 ) ) 2.0 ) + ( ( radius ( circle1 ) ) â‹… ( radius ( circle2 ) ) ) + ( real_pow ( radius ( circle2 ) ) 2.0 ) ) â‹… ( Ï€l height )â‹… pi_num ) 3.0 , sketch "TruncatedConeVolume Scroll" ⟩ â˜â™ - deduceVolume : Σ x : â„ . ⊦ ( tconeVol ( mkTcone base top proofOfUnEqualSize ( axParaCirc base top H orthoBaseH orthoTopH ) ) ) ≠x ☠= ⟨ doDiv ( ( ( Ï€l areaBase ) + ( doRoot ( ( Ï€l areaBase ) â‹… ( Ï€l areaTop ) ) ) + ( Ï€l areaTop ) ) â‹… ( Ï€l height ) ) 3.0 , sketch "TruncatedConeVolume Scroll" ⟩ ☠@@ -156,12 +154,7 @@ theory CylinderVolumeScroll = theory Solution = include ?CylinderVolumeScroll/Problem â™ - // deduceCylinder - : cyl ☠- = mkCyl circle1 circle2 ( axParaCirc circle1 circle2 heightLine orthHeiBase orthHeiTop ) ☠- meta ?MetaAnnotations?label s"Z:${lverb circle1 circle2} " ☠- meta ?MetaAnnotations?description s"Cylinder" - â™ + @@ -184,64 +177,6 @@ theory CylinderVolumeScroll = -// theory EqualCircleAreaScroll = - meta ?MetaAnnotations?problemTheory ?EqualCircleAreaScroll/Problem â™ - meta ?MetaAnnotations?solutionTheory ?EqualCircleAreaScroll/Solution â™ - - theory Problem = - - - - circle1 : circle ☠meta ?MetaAnnotations?label "â—‹C" â™ - circle2 : circle ☠meta ?MetaAnnotations?label "â—‹c" â™ - - - areaBase : Σ x:â„ . ⊦ areaCirc circle1 ≠x ☠- meta ?MetaAnnotations?label s"A1" ☠- meta ?MetaAnnotations?description s"Area of base ${lverb circle1}" - - â™ - areaTop : Σ x:â„ . ⊦ areaCirc circle2 ≠x ☠- meta ?MetaAnnotations?label s"A2" ☠- meta ?MetaAnnotations?description s"Area of base ${lverb circle2}" - - â™ - - - - âš - -// theory Solution = - include ?EqualCircleAreaScroll/Problem â™ - // deduceCylinder - : cyl ☠- = mkCyl circle1 circle2 ( axParaCirc circle1 circle2 heightLine orthHeiBase orthHeiTop ) ☠- meta ?MetaAnnotations?label s"Z:${lverb circle1 circle2} " ☠- meta ?MetaAnnotations?description s"Cylinder" - â™ - -// = axEqualCirc circle1 circle2 (Ï€l areaBase) (convA circle1 (Ï€l areaBase) ) (convA circle2 (Ï€l areaTop) ) ☠- - = axEqualCirc circle1 circle2 (Ï€l areaBase) (convA circle1 (Ï€l areaBase) ) (convA circle2 (Ï€l areaTop) ) ☠♠- - - equalCircleFact - : ⊦ equalCirc circle1 circle2 ☠- // = axEqualCirc circle1 circle2 (Ï€l areaBase) (convA circle1 (Ï€l areaBase) ) (convA circle2 (Ï€l areaTop) ) ☠- meta ?MetaAnnotations?label s"${lverb circle1}=${lverb circle2} " ☠- meta ?MetaAnnotations?description s"EqualAreaCircles" - â™ - - meta ?MetaAnnotations?label "EqualCircleAreaScroll" â™ - meta ?MetaAnnotations?description s"This scroll checks whether the area of the 2 given circles ${lverb circle1} ${lverb circle1} is equal or not." â™ - - âš -// âš - - - - - diff --git a/source/Scrolls/CylinderScroll.mmt b/source/Scrolls/CylinderScroll.mmt index 18e4982..5e214e9 100644 --- a/source/Scrolls/CylinderScroll.mmt +++ b/source/Scrolls/CylinderScroll.mmt @@ -2,106 +2,6 @@ namespace http://mathhub.info/FrameIT/frameworld âš fixmeta ?FrameworldMeta âš -// theory CylinderVolumeScroll = - meta ?MetaAnnotations?problemTheory ?CylinderVolumeScroll/Problem â™ - meta ?MetaAnnotations?solutionTheory ?CylinderVolumeScroll/Solution â™ - - theory Problem = - include ?ConeVolumeScroll/Problem â™ - - - proofOfEqualSize : ⊦ equalCirc base top ☠- meta ?MetaAnnotations?label s"${lverb base}=${lverb top}" ☠- meta ?MetaAnnotations?description s"Proof of equally sized Areas" - - â™ - - - - âš - - // theory Solution = - include ?CylinderVolumeScroll/Problem â™ - // deduceCylinder - : cyl ☠- = mkCyl circle1 circle2 ( axParaCirc circle1 circle2 heightLine orthHeiBase orthHeiTop ) ☠- meta ?MetaAnnotations?label s"Z:${lverb circle1 circle2} " ☠- meta ?MetaAnnotations?description s"Cylinder" - â™ - - - - deduceVolume - : Σ x : â„ . ⊦ ( cylVol ( mkCyl circle1 circle2 proofOfEqualSize ( axParaCirc circle1 circle2 heightLine orthHeiBase orthHeiTop ) ) ) ≠x ☠- = ⟨ ( Ï€l height ) â‹… ( Ï€l area_base ) , sketch "CylinderVolume Scroll" ⟩ ☠- meta ?MetaAnnotations?label s"V:${lverb circle1 circle2} " ☠- meta ?MetaAnnotations?description s"The Volume of the Cylinder" - â™ - - meta ?MetaAnnotations?label "CylinderVolumeScroll" â™ - meta ?MetaAnnotations?description s"This scroll caclculates the volume of a cylinder with top ${lverb circle2}, base ${lverb circle1}, height ${lverb height} and intersection points ${lverb I1} and ${lverb I2}. The formula is V = ${lverb height} â‹… ${lverb area_base} . " â™ - - âš -// âš - - - - - - - -// theory EqualCircleAreaScroll = - meta ?MetaAnnotations?problemTheory ?EqualCircleAreaScroll/Problem â™ - meta ?MetaAnnotations?solutionTheory ?EqualCircleAreaScroll/Solution â™ - - // theory Problem = - - - - circle1 : circle ☠meta ?MetaAnnotations?label "â—‹C" â™ - circle2 : circle ☠meta ?MetaAnnotations?label "â—‹c" â™ - - - areaBase : Σ x:â„ . ⊦ areaCirc circle1 ≠x ☠- meta ?MetaAnnotations?label s"A1" ☠- meta ?MetaAnnotations?description s"Area of base ${lverb circle1}" - - â™ - areaTop : Σ x:â„ . ⊦ areaCirc circle2 ≠x ☠- meta ?MetaAnnotations?label s"A2" ☠- meta ?MetaAnnotations?description s"Area of base ${lverb circle2}" - - â™ - - - - âš - - // theory Solution = - include ?EqualCircleAreaScroll/Problem â™ - // deduceCylinder - : cyl ☠- = mkCyl circle1 circle2 ( axParaCirc circle1 circle2 heightLine orthHeiBase orthHeiTop ) ☠- meta ?MetaAnnotations?label s"Z:${lverb circle1 circle2} " ☠- meta ?MetaAnnotations?description s"Cylinder" - â™ - - - - equalCircleFact - : ⊦ equalCirc circle1 circle2 ☠- = axEqualCirc circle1 circle2 ☠- meta ?MetaAnnotations?label s"${lverb circle1}=${lverb circle1} " ☠- meta ?MetaAnnotations?description s"EqualAreaCircles" - â™ - - meta ?MetaAnnotations?label "EqualCircleAreaScroll" â™ - meta ?MetaAnnotations?description s"This scroll checks whether the area of the 2 given circles ${lverb circle1} ${lverb circle1} is equal or not." â™ - - âš -// âš - - diff --git a/source/Scrolls/ParallelLines.mmt b/source/Scrolls/ParallelLines.mmt index 8b6276a..e52d466 100644 --- a/source/Scrolls/ParallelLines.mmt +++ b/source/Scrolls/ParallelLines.mmt @@ -21,6 +21,7 @@ D ----- C A ------B The scroll encodes the InterceptTheorem . + âš @@ -93,6 +94,6 @@ theory ParallelLines = // the description verbalizes ParallelLines, hence must come after its declaration â™ // This Scrolls deduces whether the two lines ${lverb AB} and ${lverb CD} are parallel or not. â™ meta ?MetaAnnotations?label s"ParallelLines" â™ - meta ?MetaAnnotations?description "sThe opposing sides of a rectangular ABCD are always parallel" â™ + meta ?MetaAnnotations?description " The opposing sides of a rectangular ABCD are always parallel" â™ âš âš diff --git a/source/Scrolls/PlaneLineAngleScroll.mmt b/source/Scrolls/PlaneLineAngleScroll.mmt index 5937f0c..81f9989 100644 --- a/source/Scrolls/PlaneLineAngleScroll.mmt +++ b/source/Scrolls/PlaneLineAngleScroll.mmt @@ -82,7 +82,7 @@ theory CircleLineAngleToAngleScroll = theory Solution = include ?CircleLineAngleToAngleScroll/Problem â™ - // radToDegree ( ∠P,B,A ) â™ + deduceAngle : Σ x : â„ . ⊦ ( ∠P,B,A ) ≠x ☠= ⟨ Ï€l planeLineAngle , sketch "CastAngle" ⟩ ☠meta ?MetaAnnotations?label s"∠${lverb P B A}" ☠-- GitLab