From b2cf9347ec0f35cfd2f80502c8383497c5918f35 Mon Sep 17 00:00:00 2001
From: ComFreek <comfreek@outlook.com>
Date: Wed, 2 Dec 2020 14:51:51 +0100
Subject: [PATCH] rebuild

---
 .../FrameIT/frameworld/$Angle$Sum.omdoc.xz    | Bin 1916 -> 1968 bytes
 .../$Default$Situation$Space.omdoc.xz         | Bin 508 -> 588 bytes
 .../frameworld/$Frameworld$Meta.omdoc.xz      | Bin 588 -> 720 bytes
 .../frameworld/$Meta$Annotations.omdoc.xz     | Bin 800 -> 880 bytes
 .../FrameIT/frameworld/$Midpoint.omdoc.xz     | Bin 1668 -> 1724 bytes
 .../FrameIT/frameworld/$Opposite$Len.omdoc.xz | Bin 2128 -> 2180 bytes
 .../frameworld/$Supplementary$Angles.omdoc.xz | Bin 2236 -> 2288 bytes
 .../frameworld/$Triangle$Problem.omdoc.xz     | Bin 584 -> 648 bytes
 .../$Triangle$Problem_$Angle$At$A.omdoc.xz    | Bin 1260 -> 1300 bytes
 .../$Triangle$Problem_$Angle$At$B.omdoc.xz    | Bin 1116 -> 1160 bytes
 ...riangle$Problem_$Right$Angle$At$C.omdoc.xz | Bin 1224 -> 1280 bytes
 .../$Close$Gaps$Test_$Codomain.omdoc.xz       | Bin 1060 -> 1096 bytes
 .../$Close$Gaps$Test_$Terms$Notepad.omdoc.xz  | Bin 968 -> 1008 bytes
 .../$Expected$Type$Test_$Codomain.omdoc.xz    | Bin 820 -> 884 bytes
 .../$Expected$Type$Test_$Domain.omdoc.xz      | Bin 860 -> 908 bytes
 .../integrationtests/$My$Scroll.omdoc.xz      | Bin 680 -> 760 bytes
 .../$Sample$Situation$Space.omdoc.xz          | Bin 1740 -> 1788 bytes
 .../$Situation$Space.omdoc.xz                 | Bin 988 -> 1068 bytes
 .../$Theory$Parameter$Bug.omdoc.xz            | Bin 932 -> 1004 bytes
 .../LoViVo/gearbox/cogwheels.omdoc.xz         | Bin 1092 -> 1188 bytes
 .../LoViVo/gearbox/gb2.omdoc.xz               | Bin 1336 -> 1396 bytes
 .../LoViVo/gearbox/gb3.omdoc.xz               | Bin 452 -> 568 bytes
 .../LoViVo/gearbox/gearbox.omdoc.xz           | Bin 2448 -> 2560 bytes
 .../LoViVo/gearbox/temp.omdoc.xz              | Bin 1352 -> 1324 bytes
 errors/mmt-omdoc/Library/gearbox.mmt.err      | 537 +++---------------
 .../LoViVo/gearbox/cogwheels.rel              |   6 -
 .../http..mathhub.info/LoViVo/gearbox/gb2.rel |   5 +
 .../LoViVo/gearbox/gearbox.rel                |  34 +-
 .../LoViVo/gearbox/temp.rel                   |  15 +
 29 files changed, 134 insertions(+), 463 deletions(-)

diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Angle$Sum.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Angle$Sum.omdoc.xz
index 9c66c1d8827d69bec5cab1994b6481b91df448fa..1c89915297d0f0c93a500be2dfb8ac53bc371de4 100644
GIT binary patch
delta 1561
zcmV+!2Il$v4zLf983c1g2XC<*mH~ehp&1!2*wk(F2#6JV3W2t7NP?MP{PGF2`bQf@
zU(x_d1iH?qY89QUB^$aeMvYbD^>R3-AwfK)>inI>h*;x+-%aEG^;Ec9deb;bvya>L
zU!0^1yBY(}$y=b$6!4=wBNBp({EaGIW|zoX!lRE((`R}COL5T7ptoG#nNffDgPm`O
z>1E1~eYnz^OCNQT+nO|<oqb|u)`DC2w5N|80at=^=iB^CaHTaQamKkq3gbqI@|_02
zi`H=5jJY>cww<Qa*B{e4RZXQhFs5O;j}k_D`S@ZegE$1O`VFnrASQVs2(r~(BiVl_
zm$ejjhcTElHN#8hKJr;_;huk{PFz^&+2nROX3#A%)H|NJ58O80Q;PXM)9!XwcCZ&9
zJ72RYR;pQ-dzI3<3->y+N2JTK;b^n~gK^`X+=oKkUw0W1X>kzd@-&L)?dN!&pnY@G
zyl~nn`l{9p?ssXixIuw62JRhf2*nrfz5sI-c+IUq6`{$%V^h^*F6)2xF7Oq9<nB#h
zbJo_4yP9v;#om@f`(r3zxj48wB$ZKpT^VyudpVxCK?S!ixiavgO2R@{My^1@UTF-7
zvhQq+o$`Ph5gRCEu1pb$mF-qi=e*XrR~nhWX6^&a9YwRpcZK?Y---SCetnUrHC3-u
zG6D3P?sQlOMZD<4@+E(|=(unMR@c8T{xWgWfAN?bil(EmuFlG6F^DgkuAN3i5p))J
zal_Y%MI~NtuoByB&j=}w(A+v6SRAcY_xSd5+RdBEok0C8sZO-15192wGROXfPA+R4
z%JyJ4zr<6o*VCZ3cMVV~<*!<1qj$VhfAjtbTcv^N_3P_y@)duipv_oI)3T2%1Z-Y*
zJ`Lu`<S*zm5?0QAq#01(k-*=d-+AX%b|)gtL+fSyW(E|P8yk|95YdI6c_M?RN0*-(
zXjFL`(|A*1f<KesnZi1N*_sVufV88?3vk7J179G`tUp0G_M)U|#JVdGw!>I*&*qN^
zq#q61l|%()iEe-2Mip54W3F0~yJ3nY%M*o~&8}6LVVWU==-eWXcPfkINm(Ara&5{&
z!_)?W7g!<z($adR0tW)s0u`(mlaCRsi_8BRwgZ6f4Qh+AC-Ihx@_|}Qkc$t42ors9
zS8HCkZt2G$kEQ!Khn;z`AJFpn0k{=CORTpkE#*0djRSv(k5lR7gblBDHp(5hU}W&-
zJK9mj)E5)O)S86-4Cl~_$r*){&)XHi3T%2hEdZ$p9ov>X+~d{6QzU`k?=g=4H^TO1
z)e;<C1lXmm2B2sAP+}t7fmLzN;QXAUZ;42a8aNRj^j}P`H+o3A+b2oS{5z=tbSIeU
zTBbHVvYUUx*{gV6O|L`5cE`V<&-j+=bz8GNcvTO$p%FREP6V(O^{d*fMO5UvK6E04
zhHLtn`H%1UK%gFub7RJ6nAb{Jh13`@_rEVrne6%%b*CD_U18J8{m#Dl1*3MkD^En%
zBs|_b**;??Rrp8!rwgO8{2#@g3?nDJaW<we46uJ-koCbi?NYg#>&|;s3_Xb9<sSQ;
zl>dz?K5_0V33(N}E<X_4h?Zp}3s4NzK#GGMFMQt|R0KPZ@=nC$V?$poD>Z}!%o%-U
zKQJVHNQ{kL_LT=9dN7fI<^(=h=i!=NjPFL3>Z<MQ%}!3LQN?cT^lFw$whMZVmk^o3
z4aR?GB9yLk?Hn#;_)^X-mVCQtfb~2v9622Yr}KW*0q?&RW^e;usV9P$|F2r&wpYZ|
zb7v*TAU;)?PY=_KaPq2##OWw5S=P?eQwF!=WG5g|d^@SD*0pkuqB|0EpxVimaVDf~
z<M8;q#<gf+cl_jgPEkX!D<rSW3LMF5bmf0JxCCdc@N#%m$JgISgWnSSb=lAg!pJXt
zbNgx#nXlqCXb?A4_tI7_dpFM2uUacPXW&f&opL<Nx)%E52)i>My!2%zNIqZ{UzJJ1
z@H?95C|gxO&_A3<Xx&EHhj}p!LdVzbGynkc!qGS<P9nbm0gDgC<^ce3B$dFi#AgZn
L0ssI200dcD87K*3

delta 1508
zcmV<A1snRX5Bv_083b*-2RpGHmH~ej%upu<uWucpbHg1DVQ(=7*K#xo-gIa>{5jjv
zb%^(d8vo$1Dd!!;A9H9AbfJ8V8o!<0X5eXXNUh`Fyi=g4QM3qJ=KDb8F5@zQd(zxy
zh^K}QPx8LuOS~#F3U2e<q-oEHGUVc%RI`(!Js<G6fyHmZLIHf<A483i$1Q*UujZvx
z9_9Jm<R(*MY8WM;i*-agbr5k_Fb4!A7q6=?XOpni0oq1(@K#MVq#xaXuFYhmsw2RY
zGZM>GK4G2PFs_1;f0*d?e>B=C85S;hNo5wGlJD>Xfarp@y~<#3b6=CJ*^O<8Vn0^+
zw{Tkg5NXr(j1F`ZJ?@V9W~+bQ1y5M2)%ji#b%|yLJpqST10<e?z`Mzj5vr}kDFUPc
z;$|ak!4+l7)ixL$Mh~L{XsvaPdJA*#ikX{{tD;jQTnx_xp^uuqVP}^;{~yhB?~t`$
z_VL1SW6biyIbMKxzX~XjcI)kfAq@^&ALz{mQx#H>EAh)y2$qHd6a#-))iS}A6kgn&
zqY_vyF*@h6=IFj?%*Xf45EvN}eq@x?rocVJFO)M3O~fZMJW9|BS=M<L7;^8|D+hyN
z^yvI3Pbd2p5?J|ly4AHHVMb5_^+5TA&nLs^xD08Wa<Hmb!4~x&vm`edQB7B1rc^Op
z9-R!czF}coun>z?{BwW70ymX@#DN82?2HT$QiA%FeDC$O);T02cF_<k-%>ClE<-dr
zo|@>AB`BS(yA~w42+5QB?)8+uH@S3`%qza|9kU@f2G&jgIu+eGMMYKhW#2;@erR=U
zpXsWtER_!5=r5Oh5^Sbi7^#7k7O{;T)_)=D69C@ufP6`WsY`#AeilFhk8R1+OY%5W
z1#g2XdPpu;Q=VBb0zN-#7bRHYbHeKF;-ZS_(Z$qQH;-fdzN5be)B?_#(P<^NG4njh
z?93sb3|1B6d8v>#Yl3%iKg)gmc_z%)`2mQDKp6Pxv}KeHqEE>5A|3|wj@?)$I`q3@
zUjl3)%SOXLYeIim^l?yFF3U@qY3c_zRbP=EZ<h^?J&K?M{jF9}xu<tYn;5hIkWXL8
zPB^b!wJLb9O2r&tsKtv!U^?spKqMJ`INbU$o`?yP|Fh_<6Q9(FJsf*u*nfhg?T{g?
zrreGmwVdMXV{<Xifhudj!r#`Fw_{X=(N^J6!@vDfBv*ew@*gt(?NdGbi;e2&2ZVIl
zrIpfIwp^r4ig=38+=&h*qVJ1n8Mnx)+*A?m?y1r69qG>@R+|?@W684cXZV32Vx08F
zB|Pm1Z><1eGhmZ!=DLmqo5^x~&$!;?N*n~ua1f&V<jUWZ$$@wWCjT}3$3DQNa|e~T
z3eZ>r3Oj#Rwr86u1Gtx5Hfuujs*+JhGYW%RE;rSw_tt18I-tfBg(PukTZ}X_yspev
z6wTBy8iMH&Ef#%g9=}%Jmloua@36Pg;uMiUFmyG$YToyv0UzR6M4Vg-d8cdVcnrn}
z5ir5iQ?HHAxqjbPvTi<FqFOMyxnEYV9qtfP_E3LpAe&$ml$o(DL0d(Cel>0TS+-FP
zW^L@s(3!|Jy7=Jfb}&~TORO&W(y>9#xQ{U0ONtwo1fyx_Tcu&%7KoeB=u-a#cY1%!
zAgK7$r;S{Yyi3}+fLGkszDXR|xpbl6u{EU9p3Dvqhz8{F>oV7Y%48^x5YFsLbfz+z
zPhWrb!kT}La<Bc}e*||$`Cs+cdumG>9ze1qKpxomI;zkySLeY@srmAL?7i>R1Uj|w
z8ht9G_d--dQ>$f0n2NkOIc8Z*qa@BwdfbpaVk6)^NeC5!xYRE4RoCAksF}#*q}Yvb
zM}|)ycTR)ldm}{P&gHQoJ+KE{8pOmSZ$?z~XJ^thC4CQyzbIOkbxwfL@JIVTpG>Dm
zj*$DU(5=Sy{9nqVCcmrRz_{sG+b__Xg#ZBMnj;r`oyIr-0oM+_+W`RlJAnkT#Ao{g
K000001X)`BbL7(i

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 328720d4ae26eed7629d584ae0af17a9865844a7..6ac2ee49375c8383abdbd49ee318db4d60743b62 100644
GIT binary patch
delta 274
zcmV+t0qy?$1Iz@F83YQA0t~SoF9Cmo?%b@9OT1;`Rvyuu-m&(+fU61nV;-ZKoNF~c
zsKVn(8?d8wX@!V{|IvHcVnJXeXY%0WWIS-wDmw)fM&f<F<f0cxId?}J-nY8sAE~O)
zdjav3|2u)wcdT*oN+!;LjwHPe=y_T4FzZz=J5`$ByA=Q@{KMZtS)_rUP^EusHz%@r
zi?qfkvv@w20@1ZR>}oQ#@NF8#ci$;KDkr+%t`S;L0#~UibN+_p$xCXOtCKw}t8V~h
znv;z+GfR!RA7bg0^p<4zatjQzgDD_Z2MMqen_y$ED>c-y=iJx;6|>^XcRqg900F23
Yjuij^4MFkLvBYQl0ssI200aVATI`m9e*gdg

delta 193
zcmV;y06zcB1pEV#83YF10lBdqF9CnvWTHPLdA^@^hJYQ&!?CQJ5GZ2OE(~=0NbbJg
zQJYIwSi)N3zJ^!boPv4Z04cSyXPn3Ot`VXSz&QXQ{1<aDW1sUUP<;V^xvW>94Ag!x
z>E(%o2b3)EB$MWm1M$e5{Q(yMjrNa?z6|KE&sQG@x6gW6I!~jaR4b=6>?<*ap}m{S
vP`;AEsm6Bz00000*|#?Le#<0;00Gql-VFc%Xns`)vBYQl0ssI200dcDhJ{yw

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 cb08c3ba9c512d0bde8aa3017733a4d0a6955240..573f9896c1421f634ac1494671d60babf5df14fa 100644
GIT binary patch
delta 570
zcmV-A0>%Bz1keSL83Yk<0*;X#jDHqVk6i-ZwfuF@=<w9(swZpmLgTJ_T8oc524M8c
zM)o!**>B3(1b`dR`p2Hu^X_+6sNi47Cyf6SiiEe$ZwU0k!J8c%qS$N25zG{5S3|R4
z3F1~xX~D^A$72u^Xtaqffi4y8lv}qEZD={?pe4rJuh;oNcn}1uCnDeZ_<!(+Vi<G4
zBt)bT?-(VK^P98VAN#gRqW45#yrf4#1OrrXgrZ1FxB@YC53?mP=)yM0w-82C>0Pv9
zxExUTeIH1wY=?bPbyrN8XI5flI_kLgzCn$|A<aP<_oE700apTvMWq3BN!fi~cGrG<
z4B3WGe?(8Ix7Xmk-v)h!^M6>wwdZ5Vg6dL|69DqL1KaT5Z&dQ>1lovKk{lR!qTK`q
zKHaPhtK<|%BTbNkekP9PRHYO@DvQ4$VPn#;u`f|!<<IP-+|~5e{tdozCkvPFbte(4
zxSsO@hrztpKXQVJ8n#um<Zdfsq6zPbLIOyW$Bz@!qB&>ULArcoI)BwjU}W-p8QdF>
z;W#^rNK6n4pY*!>a-H(*V9aZK5#Od3qB*bSyu$ACjxoqjU|UKX$&@!)B8J^`a8U8S
z5(=<0<caeowCg{?-CQK-W5wt1vh5u@T1>$kKoG*cb@OX>Vz{iphbW!Pd}Np@$<Grx
z#64rHX_jjXM8%&RG%Gy1N28v)Sug+q0NfV<c7DXGr2qk{1@R&P0BMRLwz0%#`vL#}
I000D8S_aM))c^nh

delta 437
zcmV;m0ZRVR1<VAH83YJ+0tt~FjDHV+2OnYbgmWs=a<d;J7))oN?(WG<oipx)8CpH&
z)_>mD2F6WBc}P_o9!41G<etkh@znrYr=wR1pJ`=@K)ca;HwSHq9ilv|;yRbdMEP{q
z2zbIq8u;i>eLztB1H*PVZ>!2s2C~=&K)6^MaI^>HQ^s45o|3hUYsoZC>wgYvI_FtC
zXv4@^MLb=;*`e55(JxCH$9db)oy=I|-ozNxXjKal!XjcWA7VU!A%hNRDn_6z^@e81
z?7Fvc`C-t29uOMd|ED+P;9(#Xe_)5fZ;)`S07VKk;zxg>kk=}xxWLa}C48Px@yZcV
ztY0PuN_xF*18XSgqEdR(u7BcK`cJM)FaBS)AwvJG9XH|ek)gYaxLWqz%wL%>{vMLV
z(K*n~X9{RBF&*9#y%xZQr4<b^1B*3#EE*4>;lyKm^Ec6>MJTY`fn#~OwLC>`cvIPY
ztz~A58-fPTzPE4|*wq5g$+yvNU;pu_@3eziUc#*Lsz59DR(U`d^CtcV00000kMCD3
fDWYUB00E^0_YeR8E`O7FvBYQl0ssI200dcDZz;@G

diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Meta$Annotations.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Meta$Annotations.omdoc.xz
index a1da71e1cd4e983558e4dd0fd37ca03ba3c043cb..1dab85d3ee6bc225cec52200f51d559371fb9916 100644
GIT binary patch
delta 725
zcmV;`0xJEW2Ji-u83YY>122&sl7Fo5eD$Rz(*Zfd3!^H=Y<2!WQ<svl>Bg$!>%QM5
zTHpNSnV2>3lTSLeXL^9yS8u9rAi7}8SSh+W4#&m+6vZ@PTQ-U~V=(F*9Z9*fO<vc`
zXhMsEX>c$gE}Oo5QDpUx5r%^b#3AFdU>&H7eYQb28WSHfYttvl%4`71B!8W8rhigs
zXJ`3c!Cx9DoO{<yl{frzfd6MrPvC3(q=k}(-LORG`BkP$JBHw-IAY(VU#Ejw{}r=1
z5J2qI*Sm#w<fLpP_l9wwn(H@}R~g;`LcVdq&?0+~%xEj7?uhkpXsaJ2h;PQ+1vc<)
zUu19$0e25lgLcSsGQ+UMWq%x~9VG6*l!!*7HbgFI5M09H+@m9MTmL$c<Ws$tX-`<v
z-jdB9oOG<?67q$<C`v2l7M!6{r6fb%HlYvCPz$v}&#>ij4zeVN9H>)-t#_oQCo*f>
zCeE$azdmrpw2;*f=9g&LYJN8?Prv`Oz?AaTXi=AGXB|_hy_Z0=?SG&2p+Z0auM;El
zQTMx$_Ao)|5e`z)h!%uW1OEi@O>m`yWd|s0>~|B`F*{bvm=b_yj8s@!0)K~N_kl!g
z75$ZN=z4x$UeN4UgdWk*516kst!UHn7BFRdvungy*hhPUER;vxS&c9pM+2f?FOC_c
zRk0oLWyK??nz<Qay??Gd%eNt((Gaff`Nbn=)vCtwLC+4&in^9pn@SgRFWh(~y!`H|
z`u#ki*hxAV0sTJeLuQ9PW)ZRxW5N=jDjlRT0Y^Lh|BM;4bXTX!RkY&?v*3G-U$xa5
zFHr=BqoARFn7M#9Z`=6WT$HI15^2m?ZFAB_CF$(+Xp#GQtVRYEj2EMHRt%Cj+!O(9
zgkBxPyhon@`c=oBKE>q1fdL{9zyJUMsUy6gz?||}00GMe_Zk2Ivd20-vBYQl0ssI2
H00dcDyo6x1

delta 644
zcmV-~0(<@N2A~Fz83YTQ0^gAxl7Bo=(!DmbVNT3NbI%?(gLw7$cJ4k35|z^{mpI_I
zAHHts?)0-*Ua7_<5>Lw5f&qpZs8et{O6s6nV4T>}#^)<7!OGNjn}a_de-d04P_eh9
zv#nGBCH{JHrs}_R=6Vt!#x_m0wSfgWs2y@Hg7{*h6Lj;UnzrdB2m=oq=zqVk|0{BF
zkZR7656Khrs=&a}v+Q;+MBi95CJ}i>s#%lm-+Db)2J-$LFVA+z>_bKR%7UjNdc6a0
zX3zGT#=^BzOa`K?Gk~d<nLg5g!9Z)f&CFi@$bSsLQE&#{qh};~Cn}l)@Uuva+wN=;
zgP(<horHSIz4arn|JDIsaDUF|2z4oDi3IXU@Pw%VB>ylU7kYtA!zLgU>V{ZUQL{n~
z(|>Q#0f4VG-z1`yKs7H4PvF+nYR&2C?+k1IA}vedd1hS>AJ1S+-MG(3BjG-%A-uG}
z2km+-k;`wraS{&RWE3NIUDI6D6rIC!1B{Mz@FOXzyKVk#mmTt*^ndlKvBpJP8vl@1
z`SKqC39+U^3-T4JeY^U)5yA}|&2~^HR3LW_ifNLskUD=<=+WV7Mgh%IvRDNWmm{$V
zk|X6P{VYiJF(D{RJ6Ozs+Ryo1p9}HZPVHL<x2O(W)s$2Nc7;}%>l*N`9;S(DL@dG?
zSe8)BL|w)E-b!ThfOXEEjgYPpAA49J2s&b0hvpi<S2GhvJ^Yd*#ui|X?DY*3VoC^4
zgBwM8NZ_In3Xr6F?oNpJdgO}UT;D=$2JlZzzoW&In<5M4ytLX^$jDgWsQ>_wTRP7$
e&2c;c0s94=7XSeJKBFSB#Ao{g000001X)`Dr!`mr

diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Midpoint.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Midpoint.omdoc.xz
index 10aadaf2a36f525cd235e964d8ebadacd1dfeb7e..b15b516a6a69e95b3ad2af0d4069640d2c48f016 100644
GIT binary patch
delta 1323
zcmV+`1=RY44ZIDI83bjZ270j_jsbs^pLp@{k~CC>YZAP!!Lu}Y<J~7G8bjrQUF&?J
zwek}SnuMdtPJ!VlxnkRKgT7A>z=Q-pHI!Lr*RtPA4u=NJwkn6va6mFcNtMLKf%3PD
zi+q?L*FUr|I*FPtwEUG*L#BR6esD97Jr;09t+Ic_%XPPNB^#o5+C_Plu8)7~>b9RI
z0E=IH-lfM8&bE`>=c{KAi6tgw)8KLKO#P|O##|dcoW`^6lE)M9C9$PMG;9E6BI2~_
zu@URC3|)$TgB6(JIFQXYBLzutuRzB5?*7A5<zIDVBOZS9XuR^kZM3-CuH1XY`51ps
z0f2qV8@cQ12FR8lO$641K<|IsPy-`Q@>T6EyZF3Ye*CZgnX*l~u*Ut6Rh<b*3ZiNW
z&wqnX@mOg7$Z=T`0&(UE;Qrro$oIk>pT`)KcdKs;G3vfj!)ZIrsNr~05~68}v0jiZ
zKz}~)jcAH>+=Ob|X7msYi6@^lFIeMbvV2=Z^by7u9vp!xUB!}5&KG|}4^`BXF=6u#
z=JlGt`Ea=%Y9bX!sQ|pfOgt!rQ1G3O#smgH{uIyi^TPQPGniT8e_pcDQR^zkA^?NM
zMKd91V+Fj04l1N2n*Top>|QW&5}|9OBO?N$!+S8i>)^4~7?585jN7+*Me!`aY)=L}
zN1rrH*#sqiJJ6cz^TB@#eQM^<^b6eMcN)TXJGrX!v+{Vu-s0@r1<QY}&7T9LNmh1n
zJKzR{eQij(DM<CLz5a$K1$)INEm8siqH;&+j$CQW!T~p-yGgxR4MsY;T~g&|x>Wfr
zx_mS0R}TfF(U<s|$6fS8wJT>`Zo3fJ<x>s8^DLyA2LqXLi3xurE$7fh`P@A%i7YOP
zm^f67e-YdCh{S?3u$yA}J%SfX7G^Gp&({UC1f^0k-%3=_ZlE;QY%p6r+fcK!1r`Uc
zemyFGlnA(!n^e+6&t^hdS_pMG@sc0kyXwCe`!Qh(%2kDZYN-`lxF3^K${xX_^`<P{
zjM|tR6TSE@rSyO7LgB|cs8b#SYdqsyR_fGzN7~B3$wZ5{$;LGIN{CL!9%}E<Vv%gc
z&U*C1!%B+;p2%CU;)qj8YOPB@FZ-Bl=FzL*b6qicm!VCkWYa&C&hsGF;ESX_Jb?$*
zLM%i`s*7}2CiBH~90;ER<<?qsdQ_ajvdCEL2MoT79o~Qb8mA2DG~HR$kXFlF-XOyM
z22ppMT+x$=5|WMM`xA5vvQf{&6M@b+wzqCT%+<*YCUXsSv}hitEH6O5-GgJ-V0jxf
zGFKV-LS|+9e+U}R2xNe3bvb|DUug1y`a0i(@e<x-z>FW(kqOYA4g#DCPKPu;f|Bhh
z*I;cxMH+wmnD3CNmx)QO#Vx~ktk+o!63gR)RnB&YTUUv7a^~F~a;@$}bx(n#(Q5md
zei%}3c-Aqem)@Cid^!`Mk5aNV%qoy=ZU_<|sm*Q)ET7=lu~Fib?&(;w`~~bK&;2p1
zZof5t9u%2rROMxOiEE>h<B|Ch-Of1P(cG`<z=D4+8zbMsEdXwFwJDR%1Tea*@!GHA
z?7Z1UWsb`3RqgGXtJ`ixYxaEnH(*sWHsq2=wGB(9`W%U^Mtpja0a~-`w*~3Z=%#1f
z&u;to=r5i_F=f?sI*?gKK<UDuA{_%FK5Pj`ThLXmTrf6RK*up|EZSoMwJHDr09*AW
hAo&|0Vb=fwmJOlH0RXbo%z?4QXZr#G00004Sz0RWk<b7D

delta 1266
zcmV<O1P%MV4TKGl83bVj21KzPjsbtIzT2#up%t_-Dik6-<a@jj)$ad@b?{ulrk6+(
z786fyMnb|2r3Za;ZMpq&z?+>=oQQ5F@|QCtR;O9KD`3<^aCJO&{Q^>(fj40RBM-UW
zo6--!{=5oug#N+l--zoi`zycG7r?m)XkF>v?sAZUM+l6$4Qy3p>0AwW0Fr;LzhHS8
zvV@uGYrXHKnV$G>o6~>=o;j@0DrWm=eP4vc1BXI4=gWK&XY0DZl|!zZ1W|IJIp|MM
zH&D}O6vYUK#Goc7dPc-1)U)HxjyL8M=GKAhg+EKSMS8-CM44y-pXw}Z+AIjFhCF^8
z7WT)rvU)E))u4iWMUiQ{N@0Hma3A=WT*JqZXGuF}s>J0sfu1^kO5IM~ZgAZ@;v`aF
zJ&H@Km_rDm{4&zgaFAVjA7A8LC!Z}aq5W+{)egD(u$V0&YdL4#OBEjGZxgln>%Ktp
zQ6WDVD%h-D$CfW7n{#g)WRI6`R4-bUX;5JYfO(CAWPYZb`KY3(Wm<pM5(HUABzn`8
zLCUUNbRzl#Z3|WNGPp9sDZ`H2?nNdeC4_4Qg+7KZfC1`94K?V%pN>0`UWX|<x(<X(
zhcX}&!Jc{Caojo}JB*n&N?TVpR|k=B`z%07hwfNT^BU)WQz5r=m5mW+?YAUK35^8D
zb&5<|3h`ga&P0z)*@b`Y*CC|}1uP~FtE~h2%Rx@|cLN2g=Hlt@?E6&QcEnsG38jJ(
zs%;Qi0^dishTa;#e^bcVDw4ODs&{{5@~fjOVB{I3z#m2N|CTbW{nP74U^@qEt@<yZ
z1mKkVwygyj;vbBFi&U<rW0h>ZuKd<v6L?(Vl2-UXDmn^(vvhy(jV#qO$lE>^3PK&_
z0^5NEk<@|-609r*7I?W4$woxUK4@n)TKi0KLjSdT6>K5LJncbM{5NlYPMr~=w&I26
zVkmM~L1Cwn1%NcWOif-o=`qr?8lVu1!k6;kQw;z<1*6o_>1vR>#QJM5ee3&4J4%Co
z&}B}jh1GC5J9mH6O*(_d6KW$;!&?Lg%b;E(DH29D5|n`aN~CEPQOpPA(;M6y>QCJO
zw^QxmazF<$fg%ocL?k0s32jaK>fwV~j>%0LTOLqRpaleQq4$s9Tu++Vmiq*(!a3oY
zG~>nmXXN7H-h(w^T25<Ic+OEOZB=&O1R|9#nGVAc&^v#~FrDn$;kaEJ+|<f+n<h+%
zv&qK1Ka$tU8e<KL@;1a#K8`4tG5l&u++vT7@NVyR9;M)r5-in19$Fk;h#18}-`kVB
z^7tL_&Q<0FT36*QG|isB0GM8!nIFL%Sm3&i3~_Tra8)43r0Vkgs|Px6CTge$b`CWl
zfG^cU5;%XC*UGz0s<!4ZQ`w4aWEUF(fEp)4{UT_^xQRr)8=Z2n24c`@U&C;c-iH&D
z!Re^?mY5XjX;oU!(5uDk{j!(%5Di88TcCGc1Yx)nm8BljmQX|uPJjjG7Kgs0D+r8#
z_YVZ&6TuretQM|14#2$(Pf-t=%%ZZidv~o6aD!sD=8-M_B%8kw0N~%JM~vTI+rJZo
z-&D-V*CgCiq-%W|eY(cOy;Fa>?V09y3=y%)Wd;njx?|9^&7UQz1wD>T0G-D>dR#cq
crT_up428l005}&`L9xVV`vL#}000D8T0O&B%K!iX

diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Opposite$Len.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Opposite$Len.omdoc.xz
index 4be756ef007a97bef120d55489c5a7a911d34bee..1341ea63765389c209fe268c185289f84666526c 100644
GIT binary patch
delta 1773
zcmV<J1`_$u5QGts83d7U2t%<QmjQoUR_RT9DeG-iIi5o2(nVX~Odgs)vaE~w`fkRE
zk+)kCmVy1QrKrMRA5htAU^xIEQNpXaoz{pa27-jAGlmEQsa*Swurvwm?o0Mwx6XBx
zVmQVfGBI+MYcW9{)$wP5bBB-RZ9`-X-CxcmI`zYMH}Buv{FUp~cxl)K28DlvR}N$M
zTNXBK0E5Lrv$!mNMQUdW1Xe;og#;|P4NUp0Cn6WR;T>#Cc1tt@)(!ksklX{_9O-6g
zzVSIGAoAGnSrmYn;)j=&DH7Itwj%Wz9kt$>B5eIB0~H6qlB5WD?SGFgiFS+S#KUOW
z4p2~P4)0qNC{h8>z-q))V^M#2o;(L#AGD8S-JB+mlSRWpM*7~86jp=(U`Q9PY_@_>
zF!IXO#k(<5w5lfSn1{!9I^157MN9X~6+|%0n#l0t<+esNEql-q80@2a6>n7m3I>tH
zm@oQ=v)riIOQ$cpTFq039v<!o$`?(43_MCA)(-4Om8Z!*;+8z8jpBa~!jFh5-LUMs
z-Q3d9QBdrZdd=!qZD#Y)8FdI4tZLynQbm9Y&ALed-Z&A}GsgBHRy(lhd8g{BIAe$o
z>V><{dXjM-<2!}dp6Hr{&_U;3?&-Vo<bP%ZgL|mKkM${a&4DszFdQ2`ix=AUwmfRI
z(x!ydKg=4(sjWSXyt;p5<F^q&;FcQnv>+FkiB5tx`kEk9q)jpbwS^kx=;q{AJ~tSI
zQurAG-FL3TB=ihBO})s~#z8BJZ4s^X^v$H}vL2N@1-W&XCi`pIC;FMyGv%2qyz)vG
zj6ufT@vF4b#byK}lZ^66*1hjYbsMXyC4Qft7z-1^d$PROpWuHbif%*s2%Q+Te8~yw
zAs?aoVov!pPD=0g?Hvq?%2J(OKmRB{z}D=_^Wk>hu@~!r6(1I|nJ?Eo7u#%emrE^s
zf9|=^P6OQXn&02BTtdq6T&7dv=~agg#&}LVpA(RwT-y$OBfrX@dY@k6&{t{>II}Xq
z_Jqg5UYU(}&v$>RS~iDvy>_za4UU&Hzt_LYdoCl|SPB7+ziJNheVw9zTEj!Qgtcu5
zkwa-mF%>6Ok#|*DGBq|X=1o=)NLmA9xOrhLeJ*d7)AOAY%eq?=cF9})Z|$8BeUZ~C
zmi+U-VV*w0_y5X&9o67X2Yg=h=X;)<>LK33-%`Zw)JT7(j6!*vKVDl0|A}Z?pJA02
z!=`8P|E|Uvy9?e|e9Rw!ULIBtyecg4d7DB3BC=pXlVkgpdX65Is=(veyTL_%HCw24
zrNwnXh0Uj@$rOWI2*>nnnxr4&qAdc${fhD$1cpR`bXvs76V`(z0Ng_q1>Q4XbH45F
zpmKs*O!9xtuMqwI;X1|dr6?vra6*q`(=&&)tZ@+W68pucynO$ZXX~9!s>+;wOE7;4
zOX-ElA20f~5g@RvF_GO9aK29x{nDK3e=MQt6pCUXC_AP>gN7F6-`Po}qR-uF8eKig
zKkn$P_dWGgV51>DmCB`8;Jh{^y3C@2ALr?+yAOZ*_y)h?ljZyOub&Bo{CHd~Ej%UR
zQial#Tb2%#jvdn2Y_qXvRu1-`>7#N|hT(gtJX9pP9gXB$!kW$kp@1?BjS)Y}is${9
z!106$ET^tEAOmc_YIrns*2R&V`M#w|9xyX<ENKU;d3MPRPbY~uo?u>Rv(;HEDL1$S
zams(2K3n!qLga$gUNBvKL{19GgBgRNKIO0t??%<RXV@!;T#A15lJ$=hIku4lGcJLx
z=wQ-KYu(Mo02!F@e=k82jC>T=7#68ZN%I0s*P3DSP^Zp{LhAUp;Enp$QH6QPmSXi;
zU2ed316Il54{sHjhY#L_mac^<LSgtIsxW_$q8;PitI(A)BvPRW$Hn%5h;NDrc)nDv
z!jk!JiT16b<)u0R-}Eg~K2VO}tClT7AA2C=8Vh#|=Ts~y897y`{uXa{<HG?@+KjHC
zufwoYjOZCK_fb+yY3#e+X?jJi0&A2)pP}v9NA<t<`pwq`f259JPfAMAXhoUf2UCAD
zF9bJ+vKutTyl{vCzwoDYB0K518qq5D7VY7$qSHIejYc81KSz`$Jd$#Fn=)pXmL$T*
zCc!tTFrgaBfA*dyOJ&S&-tpk3ixto^x{N*5SgJ|+Jo2a+O6PAe+qyeS&losW$N|U)
z?{_21`keLIdmFb{JzHJL*k+4Vzja+kRn)Q!$TDp;{tuCfkpS$<b@r~gPCwR(m}Ul?
zCr!+1nV!?4?PXnKjs-D~=|T7D#|S<EQT?ENS4aQ=jB_fe(KUBB00G|+@S*|$ju3G!
PvBYQl0ssI200dcD<ra1z

delta 1721
zcmV;q21faW5zr8j83c>x2oSLymjQp95Ig)$)fvX(H)t@(3S1}4fDBr(aHb1y`qv(S
zr-zxuaF@rDP7vS&fLTYSCDB>~i#THoR86z2@lc~R+9sw(EvyRdt4*|MIHFvr>m8KU
zn7xv%bFgvjO0bxVof{1ah^j~dVGGNDOu#h<>!A;^hmfLLo)06TC+FBm45)vtU5V!~
zF1r7Ucu3#9%dmIpYxYn<)umHjU+qw$x*v!4--2qZ#B9GRq{L?LO^*4ZJht<28bEy&
zi+hKxkvs)_dRH_?K;K{B1!oC`z52;Z3f~R~+XXB{Gx~Vp69Ut>54S%7F{bnUll9*#
z{+Fe$>=5bLY*K|-M1>j?9tMA&<S-psaBKBpqE=}oeWQx{++dQ}ZD!+Yip3p(-fj+N
zwwa1$AZ$A?{^KShTJgyt{OB%4r0YNn4Hiji`$u+M9covIP*Oevtgp@d()^FLeJjnr
zaIkF#GstNBgy@Go<|uyHsc*N>k`lVJH3;U!S0r{ZkZfgx0rnK1*_VHBbt+)|MtMM2
z7#NhYzw-Bu0?8`@6p|VgK3Wm&UDC#q;)K~&s7TW)D%r|xentrUXj#8gk8q$rkI$W5
z!$<>U#Deo%l1DWG1&i-ROXUXC2)LiVpO#k-p!6?9q!aW*vbD~;rRRsJxPXAe5VLw6
za%z+x8gUpUc2##@aAAK{oz>@-JHu>7!g9Ytd5K6+PX0I(CK4Q6KIl8Vf6w}*HOHae
zu}ICSB!tE3gY<feYnlCQ*ej6m$x@Oix6P}py4_ToJX$;l<3qsM>wZbeQ<t>6r4SHI
z;Wm4PYNVi6Thq&RN=@QMDSlJ7)ZCF%38!(eh9F|cmp7(%EdhTfWxa8nS}^?O2Llmy
zdpKYR7@5l1t+n_A+Rxk1|2AQ{NroJaR+H=WwCbDQU^x$F-8bhXSBRg1v+e|xgmxDV
zVr!Y_;N!MgHBg!B+>x@eCmI8Mej2R*$Y?V`&^Zb-b13O>s3@l3UgW?fl4Jv&T?z$Z
zH1m7kD$`{^npJ-gA+hz7i_8qh_3pi33Ndi8^H1v6J^Q0M(jeuNA`iFapFX#|u;(GU
zS)YmbV0s#)YuKdpLH*)SY`TBDSHJFkSrtc(oEUD4FO$7*kj~S+39Le7nHdIy72_($
z`Ubb^LOqEznD!DWV|@awq>ao*qs^`NcDyAK51CJ5<YRyTetwXSM@i<Odo=0kRN1ov
z%?axfzi7mxpz{zOrOcR9)0{dITdn47gwc8?OfYzmoq2%1%gyLO?J<NVDeRyc`Ci?t
zLMbVvWp53uwW~k$5*k!2RH+4DC(r84a{&3mLBLi*1%5(4&J!xuYZV7f5nT}$dF?;U
z%??oM=xcwyPW1Bz=Zx%zdHl+DDL>Jm3svJgL1TD%In_oUny?Rd6o{C%yo`mZk<anJ
zEC+vn>bJTWDWhXR!#!m7<*B#KTJ6L%-(xpoNNGAHZAr7p&ei>QYc82=Rut*y1zutU
z_0@55UTW!dc_x<XuTC9beLepKXYft(^d%loT#|nxTS_Zb2n(2%Z6edfv<CJTjLPJ`
z5m~fzERf3qY5%W~rp9l_QZ~3K^6PJwX0Btf5<popkX(8B8HJB^SQ^u8+cleE9~an1
zw}FJruG{|z_6nS7O!A7p+6f|u?<o*EFWEKq)UeHBA)|yx@0KCt#x#(_$%G>|COV*X
z1UP@h;<pvi5%FW%G@28wkK%)bkSTvG>CfW7vG-3m=-8g>8sLq`Itt7+twkWaLrjzH
z0NMS0svS;za79Q_v;ovWmlXr{gcdb6yyERE_xvfu>dFbPT+IS}sy!zv8MMJd8@UC8
zAkc{9alkZ(^Ct4ehSG1~G2PRA1z<hANArLGLlWx6H8{FAT39+vks%d%YAJN0diW-b
z0vVvY^!25@u2jlk<x|ZDE|m=GbaY^evsru+?#@nQ^a0;!%3;YOlf!WSi(=+AgY2&F
zm?!O)e9v~RPpQ=Mug%eM-DsnaAW0H2+l9m}T=dYFFxVoe?WJ;8ePN+hcy)a^0-Jx%
z@}>)Ra+2({Of<nIB}{wKkg(KAHNgJ0+P8Zijk;BVKnFKpGkLw?vbSkxYfIh>c}7!!
zsdx4M3~ovnkSFN%qLNisTZ>ptbB!vt(5k0=Tlki+S%x75i{B^p^*8Y7*iwM;BYdg|
zR^Q}Cz`u;NDnsCQq_=%UgUX3O(O@ZYfQA%|8X@2SWpwJ^M~*;J00FEJ=$8Tj>Nm<1
PvBYQl0ssI200dcDe|}Wh

diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Supplementary$Angles.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Supplementary$Angles.omdoc.xz
index 04cb08e7f6a4ecea9b3cbdcb15ac3718d625b019..4ea3894e65019a57eb005d9ace912af6ad94c32b 100644
GIT binary patch
delta 1883
zcmV-h2c-DC5%3X^83eS32(PgnmH~eqgHlG4O?1_0r-e8bPtFUULi<}|@(o8IJ@?;v
zU=~&`QuJ=sAeH_WeXXD)$!8NuA)A8l_{{xfj9!KZ{#XDAYIr18v4DCn!8gK4R&PB<
z%2g#Z#{a8fQp4>8XGq*dMvzj6)8NHvjTd`eshN%`*bCM5X#)I+&`d?@-#mX*nQ-^s
z22mDymnD*|tjlPRmzJV1f;k-lP5UPN62UjpMfw@=%2Q;r{tuHYgPnGTINlx^4)`lW
z!*o`ENr+0nk}~pD8xa+)g}`{q75K;jo<x&MmnUYfRYB@2zxyQq74VY**BfNJE~<|q
z4r(w&*&0p4lZ+Z$GA9umraFHYNZgKNeDm(p<SJQ(<VUb9yJ5wV&iKl{{5)ee3Cr}v
zrL}p(MnPAnkiw`cC?=+3DjEt-zMn~6{Zc*if%2$(W2N|nDD*eHUNrp~AEmxQO#05s
zsS&UI9dKEckce(yFWP5YN=01%1gQZ3<7G&C>mT6LVu<n%#|5|M@2h|ABuKb)fFu8^
zqKS#B%si_h6K#L}Feq(SQ0>uZ^KADBPQY=ypz`CS8(9<E`(|!_Y0G;djwZ7wE&Pz{
znu>XcU1df@-Btzn!}X5?VnSSlhvC+Ls_GRp*azI)y6OPRS(b$_9=mRLNQNk%ASxAo
z3s~A<$IP;Kr<Gen7|nl%QPryMSsAzXW}Sb$5l%FHZXA&C=O%?U`j@A53FDsqa`W&0
z+e_b;#A+gpznjs1%;(gv7G};mYvrs@Q>>puM^q!GSm<>QAMUL^x)U4sApmYaDdYB7
zYzqu?tUga?3*z}RJ3`4{2dOr@@HP(<(icT*a_XPX?&ZAwB#?i40=vdaS?XzXFSb)I
zsM0Y3{-m>H*>R?hqUjlVCxFDr_-0tp1)CNl(aXQ~&Ueg7u88*%dT#euB@o7WP(1JR
zqCQwkSh!$i{u@Hf26q)9*?R7^`kM(6#en`$f`W*?(tu87e5nUXgJ1dR@e2SB7ipFJ
zsI{SxA?jIDs;z%B2KRi`cE`u%5zbgr03`)*S#SPUjw$QFc&<J}8IKU?AJ^){OBtaj
zD<f?h6stP6qO}}<vnf0rIAKwA52PeHq=03&0je6zADfZ}0CZ?743c$YBn4<WH(afO
zVk)|0Z1fAzH7PXV)81<shh_UlNOcA#6$G-{DGk1ZR;7P7IL$l7B#?9{Zzyin%t@4J
z7#O!^=%ZL0LNw0Ci!3~o1RAKGf-;{pN_2cA9-Yz(s}BJb@eirAw{9<E;%)PN-FAXB
zk6T_W+NDKZJAu2=xH{ob-z#20@seX7o<=r0km7Y2l{!B5{~Hn%9@k5voiVGl=CV`J
zV81?FZ+d_E4p;Ia{=6w#(3Ri>n!8;)F~AF&7oYi6p`V6q6uIW;v0ERj&#~7X+qb86
zUvJd|h|f-0E4{t@n;x>Fqk;>}dlrsxi1m{6a<T;FDyN(4buCmSW;glRSh*TtZA05<
zZQrkW8dG+ySmQyPniDi(h+ew@P+<j&5X<iT-{^nra|GSH%_w2Ns_-i8hJFK-5yYi%
zE2xW_49f}uScPTdOuc9>aCqBL+xq*z1|k`zNFB9iAvLyL2K_Jh4KaJl)C`ZD#`@J8
zESrN0^cXZnhD`u>gtbqDn>%}2Z3bp@1_W&g+nk4qxKp(!3G>>4L0umcyO1V8a0hIq
z4f=l%@=+n@2FIX(<mSxsd>`?40e->lhy=U%<p}QOr*P$HS|-IXsz))s1toh|t3;wX
zOw0gN({1m{FtdeYwC~0hXpQtr9uXL-U!1v@t~A|FSO2f{f+s5#2ZhS@{iYu?E3&r$
zhHp;mX0W8wJAsYgHE)1O;ooauKocJ1fI)v9aJ-^se3Of*5`KqAeEE>6^VyTmDquIo
z9EpBS0eyBPJLPKmA)Jwij={yd0ulQxF$eYdPNoP|J&4)_=z;g}h?Aoa<ZG{D)cV|;
zPi;oL>Q6aL3346kkSgjgT)5>xGCdy8?uLyG>?h~?hmkXLljs42>cC-P1a^rS)a`%Z
z*>C*rn{?XWd^QgB2ymDm+N6rXZwdt^iK+Eglzezr$T=(Ss`7|LV#vCW;LVsPt)<!u
z=UJ<afH$OK;ph*;<iuzjvRc2dW%AYo)N?*2az=63)jAb9@vmw2XEAu4(8v6mV{N`0
z+To%-CaDI)mm=9Qgmu9)<2H{%U3!1o$S4TV_7dG<8nCYD5tuOb^4u;w;hlI;qc4!#
z(BrhmFC^Ft%HkSeP$i85CHW4zTH1vSp(a(1AX$a`=FVW)oJ@c2{439$&@dtjoF;R@
z<A|=qUuPe$**f9ikc$;ciQQO%7;GrZ_=6C?)NFZR%**QEoQ_vk6Pc=H(L_tp2b;8$
z-WX&5pC46)4fPi-ic&{5R89Hh-uzTeF_P;SIGL_}F8<<C003O&bTw}vcp(4*%Mpj^
V0syyzaRIT!XZr#G00004Sz02lmdOAB

delta 1831
zcmV+?2iW-V5xfzQ83d_z2zs#{mH~e;h;)d#zI%R#aZu?>iHrpt>Ei|Fi?MvM8%2(&
zQC!KN1a7U8nF-;~4&o1m?A<kZqjaZR(_N`P7U#T#aHIx?eq`QQTPlr$X1M70eujo&
zYs1heLMx$(_)|6(tv6ik^d}MY?}EQzg`p5k=vjVq)P1pEVLa)#aTL$k2Z4WjPF-xB
zZxKr|BA!e7yu?{N5qV_RF7A3*P9-+JY^Cu%s|++n3oy%3diD`$@}#>h&>EXd2>;F!
zD_4{nQdZawtYFt+X^dt$6n86{8>zT!snl}golo{iQZl=+Xehr}{G^k0FnM6~rHmve
zZBu8xBP%=xJ-t*ntLS>_R8)V_(9SpkxhZTe+C%{_E)zKzrLlj0=Jo3M__;zo=V$=i
z9gu)i+eERPJ4&S0L54{lPjW?()gCG&GEH)1?$Yn{h^en&10p)#+TA;IuRQaHct|pK
z2N81>5hG;|YPZLHA)8@l5xXT5Fr5;7*Q(Okq_Ql;Qhn%;hHw4{{TP1}&TAi@J=3|H
z9yt%%PhL<2%ah^X2l&v}AoxE1?@2c5GwlOm{7%$Nd??G3T$IH<Zr-05z)|*V^nO)H
z%(!MM?FZK|LH;xX3ct<o83q;Yl_P23c50ay<4)t_`5ud-ef7BymsQ5I0^?`q?^dA<
zD2Lzax6saGIoPjayOw`#2;7`=q+ZDL@$Fk;=esGa)`3e+RDFaGM&-y6RdPA$Lezd2
z*--z#0;2&qQ19-o#ND8*JK#J@ZG1ly6HHC#)kD0IOtE;iK`lvimv!E;cixMB=1ARj
zJ5exULH<^R5|_9$S6a*KUg`oG%02%Nl7|%&EHPR2rgMBpn(luA%&pTE#?TwyfwVr>
zEl%k@-3eNc>1ytnkvR>30^A;r<xY=nNPu2wP1n$ci|&qM+%sWUj#W^0^gbEG>SQ-w
z!!`ace6V$5OQR8w(o!8sKTZV~tELg-(Py^=(%BSc`_^}cQyDHg8IM7_oO#%Oe3DaY
z6Y6z?XUFiXDsF$fuE{v4=F^SzWlGnfH;Um%AOh}~!lpK|=9JCXL3ikEr^A!CS|_q$
z(mr?*a#GjDwGAD%VleYi6OwU}`2dlM)1M@;`6(>B6%^VYmh?oqIH1H4f)WJDhY|u}
zcRaeU*8xG@<Jm2tUT<xT8zf#u+M0#9dejMBG4KAWm7;$(pp?Q?qq|7X_I=BPm|92@
z^ll%ahw#p<GLGS+hH}-7m5=NV{|>ZjQ#$di4|H#MIpN+h`hx5|;puI!yw#1&qt;!{
z`w&zV!+0Za?5=czYkv4z;r*jCH0=)cL)Uv9eQ#~CeK;%I?e=-h*SC-#<ZuS$ErC6E
z(p=UJ(vN?&r8g$|n!RItMqbd5!a<Nzz(BPzgiL2f^!Kozv~@f;2E~8&JJ<q%$9{k5
zN#Fb4Y@Q8+r`(<NK%#ZLe_1v{pT>Wc70&@&bg2N`;)5kZZlJ0=##Ajqfo^?>5~peF
z?r>Lo48hwD3=(6TNxETFy=Mgysn+)BfX_KR>->N1Re)&DP~>pY^v{myE$*IfCbg59
zu2zdJaY-O9Gxe-%$XbHjLrs*nC4JKQx%Y$6!>BomZ&4I<RCXtzR6J)A`fpi}FO_Va
zP77W_-7*e;IH+EX<gw~tXU4}jX4|Kk?8BQ3Ol-Fy8BviK+Yt%0>)yyT1<G<2nVi8u
z%A<eamj_s{2XIx8VAlkUJG(GxlLf{ceZbpW<1`ZP+VIH7FjLI6pDP!B+$u>K384Ig
z-uBrBx?jPbunI1;_JTSyJYR6gQHm2ylt?csuGqc*=-%PsxdA4R?}b>*fY_D84Xy6Z
zumLJj$$#jwR6hHXcSEE9F{g{#ql34pHu!)3gI#afb-o-{%AHKeN}pDjD)il|K*Vv5
ziGh+&+q_Y5dV`Bi=C|hkF*tf0D%US7*G{Uh-mPne-<;LvVJ2xkpc%Um5OflAYVvv<
zsyxy1TW6w2o9TnpWR|g~#fMBc0)!S;O48P1+jGufM^2D*hPOO$)g`6A2Xs<4Y^{IY
zTyf1RH<CTghaR6zW9M3dCr8%&nYnpnDya``fG8^$`?Srk_J+}!9^JI6X*Ek^^Q)LT
zwO}H8(_tXTHCTUsY&|^Cc@Y9EU!PvBPtHsRD$`~8;iQh)pusiqaPI6w_nYEeR8EY}
z7~&n2mdq+2yC3W%ct)^hQc?lu5xIXMRX0`F$CU*WRCGetIODWl!*eSC#lgqTG>SfU
zecp{3`_)`>@DV+wE-WNUL4_bk*hk-uw;pLffnfOxeh;l?%r+n2G?ARI47PHdWKZ0_
zbaf(Ti@lxvL0;@(TC9(Qd>)q@6eNmt{zz<k^x9n~uBZS20GnSOfyO&w@&FeBmJ#>T
V0swO|VDhoVXZr#G00004Sz3cij-mhn

diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem.omdoc.xz
index 5db37a7de24c8f4345688c7907c8070275eff888..fa7d916ce36a2207784a762a6888625cb71b0248 100644
GIT binary patch
delta 498
zcmV<O0S*4h1c(KY83Yfj0!EP?i+?_OI!5!eZgv3omao@P1yNPdVhDG-?sGWqMC_^k
zF}Rdv#~kyuABbqqo|+j?iI1B2hC^ex&sr@xhMQM;i$D`eC#}JC8ldZ`#j(*y>f!O|
z(bp10*bA)&Gu)qju?~IbYgvNY<^!YCx#I+)eL1m|r9<QJiRb8aN=L(hhkqIo)VQT0
zx-|9o=iC5vpythYNkjQ)PQ_0!X-pfGb}KcoiFNjf-{ggZ_wEiRm?nE-DQM(h&91Ff
zu>1HR+6n7}1@-Y#ZvmTIl;A;i&mQtDCA3InYfEp2wTPQe9lx03?pFFF27d>ZUk(Qu
zis5!N=$UvDs!t+2UC<QF3V-mC0O~uc)CKsA)}Yfo^FYiArT^6Ib1{Te@+jT{w*V6K
zun8T62IzyFhuLdRMM#&(K7Ksf&D;=kuF&E+a)TIa+>#hhVbKYuAJOTI2r!L@UIhly
zgZyms!!TFoZm$XDkH{%W6|&JMG+co`G1YUqilkqoI7glM+3W?R+GGA569D+?>oPQH
z`h&E~w{;F$rh!fA`=%K%TKj5f)8}cPlpS;Mn;V?PF%6%GCxf#q{NN#7TUc9y&b3&e
o!Pfu)05d49zzS=KNdN)j1gswb0Az}ueX+!6`vL#}000D8S`wl3w*UYD

delta 434
zcmV;j0Zsmh1;_-D83YUa0tJyBi+?-8`7jZLY2Ns10J(B5>5*(=>15`H;49^PBcUL2
zcr=e?#b%O63*b8)LqKdAa`s1=z=aDiSMrNP6?*Uxe4y{bEceJy=tS`t38<O3>%Yi6
zANJSKPQ2D!@z~1M|2R!l9^rvDf}E3BI0n(!y-m#naEM;quQv7u&!wK87k~N69EDjJ
zpTiS|-vx2z!bNX*V4bY?Xk!FLCh;B5gxAi)2zI!veOz6F4S-<lGX+A{-lbyPY3rC-
za<0J>`Mg=NQuV<fbpk1}<(pSFm{#$5Yg<ql|FN{HIJw=B6wF*tL@LH}eR27_#RO^?
z#J-TeZzz8ThxAyw&^mL;DSu97ysgV9#nN3ph-uX*hLN5bTBaI+eUG(68{cCK8_jm<
zyFgwFq^Qgt@v(DP=(ll;<<OR-{Y2Qy7abW5ye4(Ey3U;{x(-%^pfP>mq&Ac)UZF-H
z?l&;h|GvtjC*f|2bx0zhXQBK6hUCYe+K65^dCV5?fb(Bk=1Tqm03!eZ06wU?72AqX
cPyhj;1pF5O0KBYBF|ovF`vL#}000D8TF%1LLI3~&

diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$A.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$A.omdoc.xz
index c4d82a42ebe37a7ffcbc74cfd5c94a71decd26c3..706e89af9a856dc78aa350410e66c96c8a95b071 100644
GIT binary patch
delta 1148
zcmV-?1cUqR36u(u83Z=`1k{lol7B3|ZZ%jLYc0$u8e<$u6^B5p7DNa1oWrXmF4<77
z^`r;gJ3_4i9pa9}BAP$tW_mQ^Rf$@BX$nO-l>sKF&Dx@S-rKy~fc4c4rLh_p0&Ixc
zPLd}w{D>NC%m>nEj#&<}jhOoYX|kznL=!O}EA9OR(c-g(*Q`BO`Q~3gynpiwm>lvX
z4mmG8Yv>7RgZ5qi%VY$fhOL*J!^aub3w|{B>wfZ3|JbykIA}~52m<wIyXv-n_h%4t
zcIfezJ%vcqN3u+h&kuI{Lo@~eI*ky}<3qT`lrXGcg9TdjIk<B<7lMb(1+W}W{d09S
zT$A0O^entKqS&nq-=LPs>wl1*%9AmXk{Ymv1*JJ=ob2DhiZR8$1F7&u+yaztiM_XS
zso8_3Obo~*&PRz##IR97fF^_hlDW98^!-0ujzt&`%yc@w$z=BR+=;jO??6A=H>!!~
zsf@09`(sjqyW^Bj)u<y3xjs90^1Y1Fu-5V%0l}Q0;`)EfW|ar?F@GFKy=AO*oywZY
z;|Q5O128d(a1@X5;;x}Ig~PJg{S*5qG;gGU$$AdF(eQq8?$Tuj{X-}VLjN+KUcu}q
zG;ggD=s4tDUs!uztTh+>4oN~DHQ{~4g?a<D#A4^4wBs_x%tTa==gkh@zaR;auEDxW
ztAe^m<!^|f;^uBqFn{VD`{OZCG{7bV?EVnWTb0unJynTDr5{(<e<QNRQ7M9S&h@yC
zdNL2MB-G2r=#Q({h|)vitW}XB+DHh<PJ?yL_8rdbaIwdTRxs~8G?FhoDxyp&BUUsM
zBYcA%X(XFhAgrv%wqLo_vS*YJ)+L(-ZtvmY1921Cn=xZAihsAgGw(UT$!U(zRNV$~
z8pFPJ`z)F^k2kvAy;BT0tceyu66qEo=PvNb^xD*<bmdt#2x8)3Py(s%Li8IB>ODK`
zP-uIAX{KAd!37vp)#?Sq-rHFd5;$6s9JApDeT=hb`sw%Jw1DSdi0*eA&+(V7Kblcb
zC_`)0W7c?RLVqKMGQKDN07h1rDrs_L=NjT~d7vZU!$iW%w#sTyQA4K6dT|6@x@A>Y
zzNw-i8N~>!+ZuoXEnA_=0??Gw2G$$p_{ToP4CO)URV6~tZ?#3{R6wW4+Y83lep0Xg
zI&Is%-57jt08^Q`Ht7x<L%upkMnkgl?A*+(dI^K+lYf7MyA{EzQmo8Q)ef!a)4$7L
z^EM_c8Ze-D9^VaWrQi-twEZ1z653#iVdG~1nLC|f)*hJ37XC#R!iEDdub8rX-4csM
zd}j-NEK8C<uE7OYECylFe@{<$JxVPN6){W45;!q=PG1#h*^2Jyl$<Y}EQMaATG(xy
z2ZZ?LFKvJJRF`7LAxu;3^CHpVPwg2O7lA=1gsIbtOS<|ag=HHZV`07e;^zl;RE*RR
zU0zUZm{u;2Z_*^bgE!7^sOZUgIf+eqxnlIx9RL7v%~)iC1d3Du0q_a^Z2$ngIn?j5
O#Ao{g000001X)@`V>Lbi

delta 1108
zcmV-a1gra$3hW7x83Z&q1geo8l7AZQu#~OPC+OkeFLaR-e`#xb4SX>^730yi{c5P^
z>x+!DB2+xfo~mnd>3FhWn+wT#Ew9UyrGJ|lx~}YA3m+B!k_p0M9a$o+QDV)7nZQ#*
zvdX!gXOUqYw2O&Nzf%9);>vR3GoTIte=A5)N<&*v--3YI70h7(tshb%R)4zQ$3ur2
z|7jnXf1)tsCN6=`3S=QMtddah9;xZ6k{|er5!V%AQlIGv_RxmQ?g-w;jD~Qr>eCP0
z26<3?nEhg`F<v^;zwK8;^wG=)SaHW4B_>#$^$(%M%j14A+v~Y1Ys0@|vR4Wp6|u3H
z)zTm+M+hf4F{QXpH2{FRi+|}^`^f$pKy8<;Z8cb@l+5+Pq)3QwiNVh%LZ^c2Dv^7e
zZ^5L(H9GKHewdmJOrE1y*+PRZluKCp2(F?I0WfO}d8mg*rp?cZ97LeSI8Rj?;RKH9
zBVnlXaVHJ^`s6}yFyEr95XMmrR?G0M-l-)IC7XFGM*N4tO8v14GJlMjW|X3SfgWh@
z8?pG2V%-x*Ir~9e>g`k>ryo{V*gM|x$r9c3jAj^<beuwJuA3V4J6c!|O4<oY!AZU6
zTOHFie)V~0onv9fJ%0CPFwzj(G@xjbKN_I3a|N6TvUn7W$13n2hGx^eRNS#Yh$|G0
z76yDLPsYOFWQL1uM}M8Mgp)=(-)8&3T-q9*e~lw}ex%yaZ-UnbP@QlH32&{EjK%2C
zvO>l#?@$=%vk>uA00D48Ob7xZ_z0F4DT*KKG|&2-WR{yL@r6L_S%kkh4h|BN#L)=i
z!(v3*<Y*_3uoix0aillN<`A#n*(SSfu^8Na8pNOPRYn%^bAJ(l_d7k8K3O8jZIIx8
z5zMy(a>)p`aJaIHOk^11%^zgOI+D6EzKD6ZBo+%M)$9%~u$E-K<Ebz+fn?2QoV$GF
zh>|`mHw@$^U>s0?awz2aTDp~IInFQ_v>g>H4g0=oD0guC*@h@f*x1%nvDoOns83wq
zM+DI3$lc|QU4Qztyg%t*j?28Cp1eDz^;1jYwPp+@UFJ~>ytfwMQN^<Srx^t;=rs%U
zo{28DRkoI!iFT16aY;X8gJQuTSU;Br34`yqhTAZa^QkkMpv!QRZnatLnrcS`cK=`I
z0`FCmga)B`om9IFx*q=;%-Jf^B6y?X15m`*KmUAKIDdEkAbUhkvFzv2382nmrvN^~
zu2seg#;|v%P;;?>2R;cJ&!!OC6zv3#UyrP|b`qAy0x3?J+EFVoLg@J$Jds>SpRMI-
zpam{%ESVTRR8ykfV5Gz++6CZ(G@IkE0C6QEz`w(Tw;GQ(X)R<d1)Df~)9QkQNO_$<
zfg8tkghi}?j6aeVSpkeUN6g0~q@;I^MBQ)o6*%uQQtk)KEzD7H0001{w0wYcK<$12
a0mccrXaE3>&`K|{#Ao{g000001X)@;Ef;eD

diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$B.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$B.omdoc.xz
index f7372b2efc222ad5cafc630460f565e28b5dd09d..e75c297b022be80fddfefcfa067d2e425a91e5ff 100644
GIT binary patch
delta 1007
zcmV<L0}%Y&2#5)g83ZRa1V@n_l7Dz0^?HxRL*=^a>0e9bet1z!;*E={P=%a?=a@^B
zuSv=TQ0K7(7i<PiSkbmDnSFLQIJ;?#qt{pBZ*7`(N4$338yCE!WkI7>CV<%7sb=!E
z>jDKhc+R9BuY?L`-mG&JiihSpZNiuGTTft%Xi(NLS|+d<LG}4L>a&lV(|;bu<g+~&
z3oKc&SVtZhCFu9A`Ika8Zye-T@v|jbM1!a6y~qOT<G^<`$Ew(-uWiE!u@(iasr{2g
z!#=D4=T){L&{Rgj<5O78@2_DgG?fHo^C{w#3RPrpG)0kMAO=t0v_r`5LfOLYFB}18
znvJg|QomMXNo5z~8AaHAynhjUmeCe0O#ke`;~_t%l*ZZET45`kZr`O5z^3C-PB#Z5
z_LKSxLmdgg09Y6%USbaRF(I^8ezj6ikpmB+FJpp$8qzp&6TQPS{*K<d#ux_iRy#N~
zY2ZH{9bgPp`7<%rAX0enQZ{8qPU>i@9zOk0GK@-OuR(oYi2W|}1b>U{C4AtXb}YLw
zUQ#Qt3_+*g#m1W<R)n>nP#siw@Srd#HMJY)*_c(^5j|71cla5TDXC*uzi)YM7?Ng?
zgddhGi2oQDxPrhyyNeYK^KzvV@f{NdB05h_eH+`q#$}hhM}@Vs25oV@!--j?FZ=%?
zXh;_+RAlO6D@wakOn*nO1SvcRfeH$2?r48-@2mIu!Wt0YA?8i29n6LDv!0Co0N)9k
zd~i#k4Ne-K3cH#Xzc>~s>}@-!4<AH-LN!`bzgv(L(rIQLf^h>jvVDRa_9T`u@fk+X
z!N4qrE>J&F7IXH=eserB<d(U<LP0y{k*+8%T%@LUq&QUN+kZ8=v+?2Mb)v5Fs08mY
z{4ryj-5z!pImP{_Axb@P-5bcID~A~7(Epp)!{NrBu88_~WDZJ?21ykwjFD@sFD7MB
zc~c}8-K|5s7HUmm_I7ED1Qj{2aK~=R2JP5W9B?EBZosc1+0i#Cs-N=~u;svvp%H?!
zLKSj>X=E;dXn*q#(^i#mI?ks8f}>JCUKr7fKdiLzr?a1R$6DWfFkk`-4?Jkj3Gllf
zYP$VMLTZO(%=>&VZfiEIY5B=8N&uu0FN&-OMRQ(G>6F=IYiT4?O)q7Kl~dMmiY30D
zjcb4gqrpwWA#V_bwKIm`ZsEyYg}1FW0oLJ=z*6DAH(<GhGZ!?w#%Gdw@=MBjwb-Ev
zBAno_fo*Lp4)8C;t_eoIr?<d(B|XpNS<rDGBCY3URhzP=*y@U|^rbEc001wls68(8
dzI^}z;|R7+006v4=pnJhXZr#G00004Sz6za*#H0l

delta 963
zcmV;!13dhQ3ET*f83ZJ81R9YYl7DCCG$^XbS-TV&{o(wu61brM6tGNDi=Pxa+h(dX
zTJjdbqeE;Li-|TK$UBPRTBn5%E0_oD$?2hCWz~5U6)ZJ(!&tUS6Hm|6Lqu<VT^RHg
zV=19{@gRq>BFDEr<h6;emchC9zYUkp7VGci%cF3q%-U3lT5$@!{GqM?k$({bFhO|M
zrtT^Owe-4*PMWojie%~@3HGeEhRZ4`EUjuZwsx;PyD$bN)jG_mh=AxKF33CPO0)Z(
z!P1WpDYm|P;F^OnZ_5VAf*Z3{XM%mot98ATbOv{BNkmF&g?w%~j%e|hIuatxqgO!D
ziUnSIVtFi9iM~e(e0>t??tijE5T8FAX04pNId<gHV30OcM$=1dUbA78T~}_QA!s^9
zNQb!?gUz-tF5NI4(~KtN<$0~|m&_t9pumd;mXo6{yzLQ{B#Jvb+X1+hgS18%s%})d
zge7C&B3K-e^)GoD`acnZmBmOoC~e;^X`xtl_+&vIH`X7lc=b>)dVdv$ZI;G)JU8PZ
z*XFyqXK^xTa=1xJz}uBTv7<#cYca>tMuPuvqi^nbLjLPok(wl>bnit-L+X#3?t-TV
z^P^$y4_QhJC@?n@sQy_90$FPo03=b}MT-rPW(0SU+EVIn3QhT;eQ2G+r5mUiU}f8`
z>uL5TIF}9G$Yj)3s(+bgY6p;_JAve(4x8`Ou^24|jPfaW|D(0M6Z62%BMt1TMv{}s
z1Yc5HWb>)KrnCMoE31v0P^XaL(*x5AK0AJzPq%KMrKXY!!bPJgU$>nPgR*3%H@CB&
zjr9xD9vP#0;#0FK#N~!RQq`a4rsVPS-HoxW8KS2|b>bV&@qcAofZr78Re`wQ*5Ay^
zOS#bEFsY!e*NI}w*@G(5K0tLo4`fMenBdiAxQIzgU`u&vl)}|Xj<49n$W=to$KNgY
z70v#yk>EZE=To+?z?h6Ah^B>x_{Wxq!)p?$DKPj#CFZp3+wQ9aijZ%l<)&e}%+wJ3
z8<@m1#Ndc1et(<kKs8Q}UW2WkN=Q)klOzvY0bJWn*@auF>l#g##%s^-4oLEsK$2+*
z&k@8b420{?<1X;?c7(?a6i$3IQY|$nG=5>>{0>~;MULs(qx^A%=UdqK2LTN|y7mgN
zT!+5iKE%a3-yxEMfJ7^<rjZuKpx+CrUlJesWvD8ThctQ93Zc8DX8epbmmT<x_H7UV
l002A2bajOu+D!lfwg~b_001CuP;IfqXZr#G00004Sz4RN+oAvf

diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Right$Angle$At$C.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Right$Angle$At$C.omdoc.xz
index e47600f8dd1bc6ccd69e4ec3bc2391e2599c7367..05d7531d0ec6f0f2fac778abfa1a30082bdfc861 100644
GIT binary patch
delta 1124
zcmV-q1e^QF34jWa83aIP1i+CUmVakA@Xh@3H>n+`^rYT5pO~N|O8li=e9<NqsiT+=
z4lT*|9UM%fz$A^sr=z$))#X94Llt`;gZX0upX6oWqkGO-h|(kj1)53ci|B>AV;{b^
z7b-^Faja>2GbrsC3up3KJPE51cbU?u6nWwkeU6WbQrU;OR&!CP3*j8rSbq*xK=+gz
z6U>>Km9?LhJ=*Yz0kQDlVLyc6`%xfY>Za5N>0(?0{bZq{I=IhL^xtg^b$raYQnSTY
z#nwY0Lp=?Se%@jJEPHedz0Y{ujXE*q;xpL=*b4mNa68YPxGqr)u})U3AmEWEnV&cd
zMGpk3<`>T_+M&)e-c=FJOMfUap*J{cVJfYPqWLu{sj3B1kiFjve=+{>N|M&N;iu*R
z!zvu^=d^ok`H{|<m`sIHvk2{VySEO~d(O}CI=|c)PPPGad`)kTmG1+Q{VYNA#E3up
zsmOIlSyF*WJdJS{5cHK8z=?(QaS3z9D&{Mt$Uy5@Al&7V<hAD%F@NgwF>*mAtYutp
zc)twxfUP}|*U*6$#d{DWg3~#z`^QrZ^qQ%K<C=dmkk%^pofW%bqcIsBA8=blK<XZH
zU4nRjrYH~;rSsW4EfvZ6<hlZVjsUfD@!tMH(@C2x&8j|Y)`DL!FhBGh7f+_qCvzT#
zBkIk&sAQv)zp@wywSQISVh^h(Wk|Q8#!E@XvPp$eo{^b@S{GAwPxHHS0<Cg1asT^=
zIxquNli;K9K#i?a+B-@h3!aSOrSAeq?}gsZp7KN6IyohC%FbfhBp^0~`i1&hcUR%S
zck3-YG|NIMDDP@I{pO7Fs({ZIV}33N-I(l<SH&5a&wsN>%75!|#vy3b=D^pORT|r;
z9vwdG#li}PN+R{s74+a$ZVk&~D%bI=eB`2zIJ}cZpmXB3ks?_G4;F8FZgP{%K{=q9
z&!Lp##fEQY#>D2cgj-#E16$+&{nANSN|BMBhkd(pbBh8gnKo~>`*4t&+<V~2lp>Mv
zvG@up;Ur!c$A2yQSX`f&zgZ4y1G`Q6qn>UXPT0{NE<iZ$_NK_GK2a)BV?hy{jtwOl
z116_rm2Q4MS4zs%#{0vz<ul$I6tUm3gXAHS?7uXEk>88vzbNuBpTM%ol33J0$=v!n
zX>4?yMNPa;s515Pyge#0k@FFqyAo@eYe79eX4{q*2!GBL($i09v3S(gMTmVvZn#}y
zw`JTu##-M`0?v`s<cn?XdBqM_G*Llk(E13ROPHKq{O2&FTjAEa0!Rk><eoJqs2WZb
z6q<cyfP7j5BQ4~BwB-%!V(bk~!Np;Tx(^;jkhuVpKDUi@L3qnw&yl^E{xd`1K}Nod
zRdU3yl2zl7ULxhb31Qp5#=ZGg9P_ldoo=*oj{byR(jv)zoPEF4iQN5W7V&MHm`%bf
q?+fG;9R>hFFRVbP-3yZd0o)1afB^uwIX@V&#Ao{g000001X)^Y&@&(a

delta 1068
zcmV+{1k?L~3djkN83a9|1c;FxmVag{D^ooX3r;ZlEyZ5XQbnHKj512+zNZr|QO|jN
z=PXRr{4VZUYbxU87vE$UAqiHr)8_^7f*`{EYUMiv!aMUVGP0BBpT%t<EvJ0J?Ws05
zs3H#WLyo@gKKOqqm?SY!Co)@Qz!pIJuEtdfFA3N)7^=Q2R_)r)YkeLkQGd>3(!8I@
zvmzwjk-?+SN6+*d3@`6m315ohm+|ApialCQ*{+Y8Ppxz{^jFImj|nZEwk%*%zX~N|
zFy-Aiz;&Qlf!u3#lNrH25X>a2JNJa6Iq(=vM-W!A_-?zBOHE9OkLx+lsgbq`ym0rd
ztdpnH27ORs>eE~~1Ubrj34g>GRmBIO9PhTEa;dIK4IcMAvV+P&JZpjr0U)YdP0a>|
z58Bp5+x?>4wV&IHBnK$%dkNB_8jP`MMW0{A?$;0rPJ1{WEmIsn!=bnSF0cB+AlS+*
z#PHwLVD_Y>TbzHP)hmUUbS}x;4>uV)aVYt>bmy=_@BJ(ldQo7tC4b`hzj1w|daW=<
z3G!*<#(5(uq$Rm*<*Z@aZ`k~9Q}=zsTH%SMpI7G{;6Bi<ApOTD@4tLtf7(}%!Bb50
zIx=H?S`-W62b{~$+X%M3e$hLiS^jkAfzj;!KU@8)0k~_6G9An&#7C&;#%F<H(fU2^
z4Z;dwEtkf^x>lk03V(>|*M`s*a2Jv^=$!Ksj-IKA*ZtBRObvZvD<Xn;3nefsM##t!
z=IPy;-QG6JVdo_U<L7Cy`Tf81SR5=KGny(X%K&~$GymD?{cY@4pI1gKQ}_L2*EiWi
z*lZEcuk_l}0AY>EUyJ*sfxDkOKlb??=3U1jTf#9a<~yM~tAFyWpVfh*Fo7PP#3&eL
zd~7a?9#?=kiGyY^;)P;LyOJrOF8+}r5VRQ}u17BY_K`UMPbCCVoF|)H2HqjBg8MSp
zb>1(hcOm4D($ouiBSF<;1nG1XR>~&fS)MwrDTAVlwFa2u1_UcleD!+OK0_ooAxH`S
zVxFU228@^er+;SYKikNr!gu4?w9&!dnI;p$v4^KXM8}+2Cwsad$%yyU3sc}pcBvA*
za~LaiAs*|$bH<F=3VBamsI;8WshuA!w<#8}e{ZW}KP`S-Vp2Z;;jOd{%O<tsbhVMO
zZe8byBYszMzZ=1^89;cg5x<iZV3NkjXXk3v%n||7MSrq@<jLc@HfQhv?oI@+LiqL9
znrW=(1gxP<3Egz(V138p3RhMriPOshRu_Xts``3|z-GC=(>IC}5^aWi+<~r1TDHcD
z_WBjqYz)3~i`8IZ%)g8g4&n%PVY4i%AxQ=I8-LMc8ur@s#i^+*TWr4;FpC;pRq;fL
mzyQQ|Ume+sP9l&10i+3|djJ3q)Ur#l#Ao{g000001X)^q0umJf

diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Codomain.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Codomain.omdoc.xz
index 4e43126a28f6b8a774e28318bb46ec7ad4e7f4dd..2d56a5277b71c50cb3c4f67fd8ffcf658ca14efe 100644
GIT binary patch
delta 929
zcmV;S177^32*?PK83ZhT1PGBGpnry+t_kEhD97|dZ*u<PYXGfJDiw)EwIy%2;;Z?i
z*@N&-f~d6LOw|ogA7#vpTmx#XD&k4yfrPylw*a*Xo@-c;a#aOUS8wesMy+;uG^tky
z9E<KaI5GGfI#I-IBLOwolqB0Z+v5|%r8`}A^$35;7XJgmdZFMG08qU7vVW{MJ3j@v
zurbzKTXmd@vHZZ~**HQUgS9}DBdV-N93H9$%N$K)y18<s1&tJ2&Fy60X(~jS#dTJ>
z#U(hw*XN2EJ!(;=`+1$lU+<5G#0!?3#*df4KpNvFU_c~8cPzLbB|_I%UnaF~u<ch$
zMu{uJ#I>3SlRza8TmCfRAAilP9}3g^<UGufZ`!*NwI4*)o-0vN`-5paln0#HS-GV%
zyU@ixUy!8V*v(;q7ZIOJ5NBIfc$^jlaQk>rxLvvON_K((b$t7Dv7Ud#?N5A@OL|u|
z6~h~hczBg8k~^45!JP61ba<RP74J3v0pSGP?1GFyRbGp<4_}9bCw~H3N9`#jd*uVA
zHPVJm4UuBsZL&s9dw2l+k4)$`S-M~KllZehei%5v=5|ZaI|8$0zP+j+qya^cNH&hr
z{JV(qH=Mtn{e|8WO%{QYFqX)lOi`M5<l;ME8SW0&N|Zy1B&l00u_WDp@TG-!mA*wm
z$;SW9ibR#DJ<ciXMSpa{{e61y9xBjTKag!H_wJ=qA=fK}J0n+m9{c^G)v-rSY{@>a
z9lQTKR{*<WOD$MHB;OW^!{#6m?eHu~XHrogKGG|1KbqU`Ah(W9W@Tu;Igc9Anr;@Y
znW>W5?-?$&gu<{eTP9!{@?lh3rSn>c&DDe}hR83Mw`#7JrhmEQAtg`pm!EwgSPRS5
z=N%Sta`kSx;T7^kt)l7P#<`MN<Eb}zF?hRH6}fI;_!);PH(w1_^HUImP3dv2!xL!Z
zbSlBo=+sVli;?o`R)fQr^#Ty_!sKG+hoKi<cV(3&@X{wYCF+-eng5>F8BZ3S4OS4B
zmta*Igz&Jz?0>-h8Bc1rQ#dxF<-nrnQBY_oTaC;3Z%;|>qABr6Jspz_ktE*NKge}W
z@zemx15_?+0kg!Wd?V;BbG~)lk;fOq>uHPN<JrlCY#<XwBS5Hf#({?@lB;&5+f>4A
zN2pJ5><^SHiMJUk#Tafh8vp<RM!A7yW9mKt0i+23SP}pL9kl|@vBYQl0ssI200dcD
DX%xQq

delta 892
zcmV-?1B3j?2&4#*83Zem1LBb#pnrgWM6_bsX#z*&!b|?Jxa#vP)9mfM#xFRltFA7e
zl1{H;Gx1T1Irqf#-xBu?k}$V#UkKbw6{QwEtYI7Ee2KYa)q&X!r>{vXi?|_koJ0t>
zWubMI4rpTfHv+43oOhjA5P)NSnW^1Cx?3Y$i$m+iz@S342aOuVOK-ATq<^Y#x^d?}
z(0>Oy?>L(_t_X~{BAvAOp^+EE4P7>*H2v$Gs8&t_Jb~k$4Iv0g+5A5y2pHCJ(<;mI
zu=m9V{&Y<)od8Hiii0sXTInp_#1Cos&M0kO3auwALtm3~24Dk(uWzop>Ix6Lqb`#H
zFRi|lgUXzarYvJ+zmirz(|>`@d<6!S2NhCf@?|82c90Sc0c=ft^TPprtRXeHIdPa3
zSf-Pg`Nuk(xNDrE!qv_KNh@lR?SAtdDO?}=D0UAK$Ws6E_-Y1Kz*(EhV3?cSk`RA>
zd?FKU0{+PS6~taZzhJkF*}S&(bqr)ZB_`9GQ&kDm0?xJ}S>^-*fqys&SG#*E5I1mm
z&<Vf2zXL5Ukyt6jF_+sYDKOO2I%3uCeuUIr|IpR6J&Sn9X)n-E*6t`BUk_IZM{!5j
zh;9}={a3eGX0xZP(@;re2Aa=uz5BDfaBtfZxWP?mXha2|#}n&hFYWf@9!SZ%7}{3!
zsUhYLELBQ)V*e#5_kV=YAB(|4+DAUxl~>PbCqlgijR*?I-iCM&X-l^E228O(ao5X#
zL#8#_&XZ{6kZ;tE1zu64IBztka|FTiTD|Zgy_j9ArNyI(wS9h|cPRN&k-$mD>G>sp
z6}~0Z=uy~M8&<8PLdCj6>(4TYZ~~IBUFvQwnT(EO!G@CGuYb}%@Y04@(Jr~QOO-4o
z=Bil4@^P%SArtw=6ziXa((pWb;qy_uBefae4eCR8H1VO+TG?y5$Hoaz<-s*n$b>Kn
zGsH)y9EwZQ4rquev>N%2q58C6ULe5eN3}p11KdQT<Wi$hCSjjBHcz!WCxx#oHw-Ae
z3$Iz<T^N{A#BE{TV?PqaSROIC3~XDX%~7V<EQBUxpEFHA)Bi=zW)k$Q^7MJ>%d&AM
z?hJQ_lXx@m%%1yzM20!LPU%W7;>>KxSN1f9%;7=+0000V0}-nRoueKA0saS*R{#Lp
S2J4uy#Ao{g000001X)_=G_AD&

diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Terms$Notepad.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Terms$Notepad.omdoc.xz
index bf799aa2f3e8a517edb06ac3a9cd6f86a60c13af..08fcc4295929f4ab4f7c7c73ea60af68ba5e2f24 100644
GIT binary patch
delta 837
zcmV-L1G@ak2k-}w83ZJt1Fw-Cqko^i>w07}1r<Ty3Y^X-=ACWFK#w+u(X{oic#AXQ
zA@~ufo6HTqpZ^U$En2_G*K!S%TmRK>Xw`nSnn__QLVuFqA2HvwcV>?+nD1_aNWt)e
z${POLKvQb9`DtQ4zp!xL^OEm84sx)bYe%QD@3b3_4&XD0WSO+Fi`9sPzkjPm>pk@j
z=hY<}Rl9I9tmEmf7_CvPzLk?zh!N@iiCg3c6ljKpcRqn88@@NR2(~={vlZMNa<kS6
z;Ladd5jKp05w3l@mK0Q8r5c97N(X1<6Xd|aLlToZM+SL>`@GJv2q12`!WKfBIY{nO
zFLL<^crK3n|LQ+)*)3w&Xn&lH4cl2#x6+r8w+I0RN#}lJl*IvL2vcg~lJWlU*Knu$
z9IKYUNv=?F$5Kv!fV~Ytq@{GU?vg54<pv3==tlPqt>4D(`s>wg&xF+Bs)z00i~WBA
z*OUdKKOmxQ9=$v!(|JEC_c@7<NQJZ3lLR-^Mbw8WGY<ld1O;O1f`7f(z6_9*L(yWC
zQI5!ohY-ZFQeSn(eS8eMHAXX6U+Ra$UI6@FD0)qwoXvOAv@UEsvfaqTk4{x9n!K?h
zJ-#LG^dg+q3ZkoF!0yHPkdtl<tpanoSmuLZTfW+Z6Cd?0d#^zx%?Xsl0Lw%1FGId0
zLAzRi+rN9C`^Aa3>VLWrJ!}lh9(v2K=E4_ihC&nYSMhV+i3ag8;&>iBVA-T<m%^b<
z{%&(;TRsrug{~lU5yR&`cR&6>X%OC)<8spK=9$&(i`d^Xm~3Qs>@$`Lq<SgBbVsZ;
zj#;>LI81o1*4c#1TWb|S^?!gHAK7dT9{W87*z?KUFG{FqUVpV?P_s)L59vhJp{aCV
zqHhtE=K;UX-EpiY)0Gq*1%fUZ;8KPGeh`diBup%VTkduT{HENbr@#PY;Eo`J{I(IH
zH-Q>#R^!bF=~^k}ZQbbeTuN`QMZG8()1&~gE6wU?Bahq|^e;rgS}W_wx?o&`&%H;1
z9#toon%RhkCN>WD)#3O@TWWF}T;BOK1w68u4;}yjD&JR?jw~#~00GMfp-BJ$l`h7B
PvBYQl0ssI200dcDLyDbB

delta 797
zcmV+&1LFMf2gnDI83ZE81Bj6wqkopTVt*CDDfvRE0Sa0@2`;Ry--@%T%3Ea>`7&Yz
zMnP1U$8kgUIt<bL#Rnf?-}dJR-V3fE9zrXWmacguv3dWQamvv(-+dIUcR*|=^At$E
z&2y4YrHdC6mH&Y7*XhcJ5RVw@HPYFt3JREX7ycSLe5%;?9x2`*H&-_}pMOl}aItw#
zGt><3#VCdv+cJhk*UMe=k)YNGQ#%CTyq^YFvD3ofhim7^LSDgt(;$uxJ?0I%QvTQE
z?$?2p?5u;lF5+de`BoA8-@FI=AQ1S^Uh6-Jd}AvmqZ29ugkxQgBov_T3#h<cNd7qU
zUEK0VX7d~7OfKEE;j?c~eSc~at>+*K&yC!Q^$TiCwydNpWci9t{bA<mT?snxWMw&|
zb!RSA)_Q_ac%#_#=-)gQohX~6m`uMF+FWo$HP1&Sf3NJBr<9%uE3(*%U~Ak=zW8A|
z98)IK^Vp{msn+lL^8q3!UDkc<>@P!P13q80;OJ@97o}S)iaiVT<$qijck9Op(&bQ(
z;J1yo8x6CgO0FnkFihES`kn_|HC5!R7$E5n9#Juy(SHN;G2IqWY2Li~n`G~wW^2Jm
zWHw6n{3)w*-ae)1zQ#(_cV_OGSJG~!Ah*&mj6WAIIdz=jgGt__afXtU#0bd$E2HwI
zTGh`QvI;KW&kS1?g?||=qyWJeack-CV$$;_Ldi4sg{CnclFQ=vz8@?FPfiMht_fT>
z!kcM|fi|XXYEd=(IKkrvz>v0n?XRLCMewe~A~j0{rxHk=d6p%}jA&T$*bRvEVSe=v
zCH7zzFbGH5E*ThrV&Db9r4igB(Ti|}DQ>NzwNv&RMT63Vs(%P3Uvl=aB_RG<_igd>
zm9~EPVMV?wjVpp4RDMz*4oltJ*@o_zO)*#slpma#2TE_m2oZ}rk25zfh8D4*RT+o)
zDvaGu`PF65?^B!eMTY-?Nj@h5MSP>`myt6Gm<R;CBp+?WI@F<w@vH#PB*}X9#IY~{
b0i*}XMF0SjwGQl#vBYQl0ssI200dcDE4zhr

diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Expected$Type$Test_$Codomain.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Expected$Type$Test_$Codomain.omdoc.xz
index af556ffde48c05d638f7792af047a03624a81c52..733ad04c42f0fc720bf283e1a3b97879853d6e98 100644
GIT binary patch
delta 713
zcmV;)0yh1$2J{Ay83Y|N12T~vqJOtg`rG=@NV1CC#unv5`N?L>QpjVXKE>^JryM2L
zFTDF;(Efl|wXR%FrH<-3cLlWVIP+nd0rrniX~;Enc1bWBmQz~-(QWKxztGiGz@X0?
zBT|A-Txtav;EAOuJus4cDfkvyXdlRN1+<OF$AvfCC^;Y)z<`|QK<XwdNPlCmtyq}9
zliEBtX|g;t`M&k}v822s!#M*LvNHpgZ017)?*4@(7X=rH+CIlJiB=f4hQ}BI4n@>y
z_4*_vq+w#WP|(pPj<9A-Ad~*L|BzE1DmSlr+5${sEoi036o+c>K<4**zo$_)SVjq#
znnc+BqQEq(A{#iWOdRP(b$@sPqhm;jh0H!XCEv(bgJopbxu?Q*Y7wo#Wo_b<b-gzG
zj_*^bgkzILDq!~4Ce?xPw4`Y2$~>Cr2oOjL$_!Qh_r3szwcYa%k=Kf*9)3N4{4Z21
z;FCr19L-@fPXSB=sGadXPl3?E?~zGW{x?ps{)(!t`I$Ip5^aDE;D1ivKO)0~kG3>r
zogRowN~$q449HDKOE9}1Ld3)UYF2qlP%t?X^Z6N*{v6b||L>C;mzErria={o2m<kY
zqHrJEKeCNlS@bU83`%;)Om)JApq3&gv=ruJBL8`}I?B9V$=FfbSiozrO9^ZRg}<YQ
z3j@~qcPAS?eB@R#@qb?v=*^Grx*e;Obkz-G>a%M$l+%vbo59|^R{>>uvlaxD3UQtv
zAnFo@S&iT8m4Xyz%gQq(k7aA9nwMYbtx^RnYIJd_x4hACXb>E9=fTV|o|H;;g*Ozb
zw=`*IfGN}m-KFRCE7OCq>GAsKFy_jao>g4}2EA)35ptCUhC1b|5M1f{U+<(@^W!=V
vAYP4ai8_)l&;S4c`=~%I-~6It00GVhvpN6(i{H#avBYQl0ssI200dcD1Nm8^

delta 648
zcmV;30(brN2DAo{83Y%q0`rj_qJM$?c(D5=j~?Tw$_}v4N(dh|N*{1jEv?dQI&EE)
zIt$gP0Lv!fKqdtOILMeFr|*cl^d`HJ?EoeYnp?WBM(|)ErUZ);t^d<}AH|`^q0D9*
z3`P_$(EtkuHXS|t>!E?F9$KSb#Mk<8pga-kyuyd4sx<-gv!W&1=i$9`cYmR-O^(hg
zM}cwaI@F4;m30=$Rx4_1+s7wd#5Mu}Q-s&3v|a`T574l7Y#Pj#anl|@O)_;lb`{wz
zO(GPp9x21`)+W#s?xOI^NtR*N_wN&^N+wB3E`0muc~7ynf{&TXJa}EW&bfv)2ATFf
zG$<EAR4<`J%QnEy$NY^SMSp10gz9lc@xmSv|LJ<BT67xuI;1?v;~Zx|cK!_KO1E50
z3-ySf&6gvIyB4_wQ_37^pYkUKqYGhEkd?XS78=Wf+#61O89a^hb_Zs^*(%o8Q}=DV
z1fS#fIMD1B`pLMoh7p2ew>hTdMe2~OO%XyDyfJv;EnY^jAbB5J?SER~3iwFFEU~#h
zxVt8F>fJZC_jGVp!BD(U(DWT5NP0}uW0iIz&G6?7PI}dVFQ<rXuc*!&qv+O$_5SSz
zwlThe_cayNN0_8n;%t4HZq+TImsrAX$arIX=UNzy*YPOwcP1wn`vilZc)r7ALx8*I
z&BxD3ODy~}2Z>&o7I|jlh{dyOO1EaRJ2`ibChn8gZqwCPxh?P=T0xa;2?%FhEg5p;
zDPhlBOjtF9kkkrBz=f{_v~MXut`wK}-Wi(3%!j34Y|pI^q`*a*cCv@$bgZ%BBme-j
i^<uxcU<h~s0gnc&F8~0k7>Ek7#Ao{g000001X)_&zB!lx

diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Expected$Type$Test_$Domain.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Expected$Type$Test_$Domain.omdoc.xz
index 8be229f0aad56ade0a9f3c7bd5da297525f586bf..8a7089d01ade49a490884818da0dadc9f3ceebd7 100644
GIT binary patch
delta 739
zcmV<90v!F^28;)g83Y{<14)q`pnskVi0c+=S}=Y&>AJuV1JCEVkk-JbLC!8$ptZ>$
z_!Cl=Ny<<rAnxf7?|hnDlq{!{yCP=v;Z+l5-WBo~;B;R}ty_ub`=Q@;i)1628buDy
z=3r{gi4qnWDJk&p$_EwpqD^9U9%7PTY4d3tL-jn)`Uut%ARASPi=I>(>3^+-KJ<J|
zUUhGqpKv+6?kRWhsF?qTLnh3{o`8TfkG}?(J(w3O&#uoJsdPCJ<x#~*O2e&|yX;JV
z6+|S#9R#$$au=BaN!2vgACo6CBt@>5N4_uDh?Jhhv`&a3*e&dobL8+a(+TdXC&`5)
z#GlvEk{BctPGpWbGt$kFkblb`?vH+W>96j|7y~~vQS@>c<$~lhe&%!~Pq2+mX&eEK
zOBL%CM#hk*hjSaEw%g>FB!2!2au>*$QR+a%j~`pJ%`B3~wK(mGmEfrJkSga^9K@#x
zq<;0<!MYQ^Og)_Xu3|$^>KM<Q{rVEY_|&`XS``2raO_+WB|>OhC4VwrGZ)oH`7l=B
zu$3@dEc_U7TJAGQjA^a9B-mAaw&`i&!EM4&kGFn6-!E);uoWi3qjlGqyQFxIqm2R7
z?yW{M&@6kumUgoaF+!>cwBM*u{k9zA64=(w$^jJl5YS+UZ3t5Gm>wP-M-&kpq?u?f
zJ9n|Z)Ys!WX#yri?tiD}cS;}U4C#rXc+FW{#xUexV9P@;x;##zny2}J7~?)_&ogXb
zNih^Aydpg#Tt<u5H_%Lu>4MWRnSCAPeT<RGEGDwplrK>{ynAJG$1Y=<my)O{f16q#
z8i){E23`qz$STG=5Hg?D0)fAO3*1^E>mp)qf(cJy+jWrc6I6L~>~KC7(g6vSWF{z3
z)&m@C;#|IDo>>mM`hL++EBS{3&t6i0+N~8nbd-wd!BGGJ0080QuvbG~sYn0;<pz*C
V006EkAfB<rXZr#G00004Sz1~2TzCKg

delta 691
zcmV;k0!;mk2iyjb83Y(}0~wJWpnsa#nqQU^-mzA`PN8FV+hwgfJsv4N-a(!>wVx63
zc+wC`^P4GR1O|x!G2XDi6n0$~r1dYRtV2Bmb;%*8Gg`(M<(d)bqD6b>c|n)+cn%F?
zppWTHao2L>k(0hRB(n^Vn?xsj1RUxdT2oyRYDswdM6#41C&sC?lbt~kK7T62B2N&p
zZ4X1$1tM&HU(k?2;kQ21E3k+H1XD%^*%YrHL=gT|EYvK5^iULRyU(>9I9FnrE{<Yw
z;ik2URVYnQ%klPQQ8p1FP&DS3;dS8{zd+nwMr6VlkhVkP0sD+qNLAJ+9V#s{GgpC6
zGEieW1b{O0BVApr<6%x(8h<2@!)yZ!;hX!q@K=ZePuMW(%s>8EDXk_awLdwdToaMx
z7Btmlgxk9lmL3P+XsusG*+mEB`T}1@MWMs5y535tw=bdJ-goBs_IPKDNvK9w+;aHM
zlrah#URYe0@M57-3*l7L&488w8ZTw&6RsAMhn+xoJ)F(fzCCjH&VR}+8JzAp#h*qE
zG}^6=WX9n>L1LRUc^|~M++sd}99NnBBR#)edi@h8%^eIF&V6xy9I#Sv8N|#ZluJHq
zvur&=NegT3ZX)pFCn@a^iYy~N#-mhPTSfz!$BUwn1f1v}TD>UTJhv0zz;2lDVNkNX
z+IBYQ-F@HLYO-SrHGd+dpNNNSN_2G5upe-AG=N-jtmb8$-9~lkX>%98Q6fI6u2|Uq
zt5M)lzQsB<75apx4Kc~GSE*YHJV0nE8Mi>UAKWTLCNtGaEISS-SbE0F<&A8zy1rG6
zs<wUfo%WfsgB<c1rgUvZa9Q5BdYRX)x~eR(jT&1YHi_?503-ka002Ygr1qvt(eVHQ
ZwFdMs007&^eJioVXZr#G00004Sz2IvJbVBE

diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$My$Scroll.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$My$Scroll.omdoc.xz
index 091ca60bee6c8c92b5eaa3a9585d101db4d25112..f1560af6c779dd467ad64d6816e2b18e1def73b0 100644
GIT binary patch
delta 518
zcmV+h0{Q)@1^5M!83Ykr0=JPJ=YN{6LR5*CZ>nu1UG724vfD*<ECXEK6Oo^Rq9o*k
z>#*&_@S5Bw<}3TM18A!&^HQY_P#@yiSRkZ*69JC0{pY6(Ja0=b$DMBt>9FvBA}os2
zmzXt5O|999thbAM`$%)!`&Nk|z=$(qw1pO9h3#KZnmLqbfj89OG|X{?Y=4*^3K!C-
zA4J4|w7Cj1wiKflJS0@Xvi9Go@HyJ9i#y8C)U4O5hfJEv$wKlFRu-pA_?ht@M))?+
z`?D+T*v6^S%9`T)e{0ZgI8snomCY!bHZ#bW8Cd(+cgf=@r>dqNv@Rv)!SzAEIlL7x
zib&YSg&@)W!dgtXUa4o(QGfKZp_kScRn)u(pZK6|?J8%oUF3c*n1<pjEyL2#GMXDM
zo9Wa&$Vg*6I!2GbwLvr^O)2gK<l(e$q)(u_LNInUSDU?HZ|O5LV%^|5>YL!2iJRO|
z<O@tWD!Cn1;PmRu#u~NmbQc@$b30}AW^u_6FW`iqwvWkoL)^O&0e9UyD7YoXr`72S
zS*Hx^dC0Fjjvng3$##X@xB*gVjjA8dRxBQ*m!#`y07WQ|U>!(o(vG?FI`xI0c;4k`
zA(nyWV_7%R<AApwc8QE(X{gi&;@1EG01%31o74`KQvd<e1>GV50OrQ%aIwT^`vL#}
I000D8T6VYwBLDyZ

delta 438
zcmV;n0ZIP&1*ip(83YWx0%egM=YN|BW3Nuj`pI-h(UCCh@+fF$|07NgF|0MDB^oZr
zbx1dq%1KXTd_wZ#9(1dB17WWlJ8UR8F0)$<&D75axN{GL_A{-#;!$XvTwWVnIeJ90
za6?pJpou6M>H2%{^j~xSc_!C%b(0hn4ODeFIKvO9anW0LA+y=gq!pF8ihsVlcsD4c
z<sif@=P@HHP5m#b<0?WU(L3iHc#vVJ_cv2P01{pcxHnMs!8Ui?Qm8hT!u-!(YoUcd
zanuyy<vqzMwalnq27;n;@SMK~PwtSzQer95)}eT)1JLOn^wwNMM%ny|LE<6;H^xyO
zZ;M8H+Yd(ZcJp};N-H67G=Hl<5HXn2b4}TSl{=qTu{!xmUN84_R^SX{X|-TEVt@4S
zmv@?d8~dmfeI|z7T^uosm+W!*t1LR4Go2cxz11o!REka}X?oHV)e2H8Re^NRa!+jI
z$k2Oi3@#9v1u3umk@KB}aq#G%6UesEgvL`_-uUxN6b7zxqMskPmM5y9Q2+n{0J>zT
g4{Fon&j0~|1-%&n0BDl7BC*70`vL#}000D8S_c!#?*IS*

diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Space.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Space.omdoc.xz
index cf8439ffd70c606df68b7fa050633de785b3b15a..2e51bfa253c2616faf94a00068330c14bbef3f1b 100644
GIT binary patch
delta 1466
zcmV;r1x5PI4g3v|83cMf2E4HyKmmUn1pz+2@i5~WKy&cgCs}+AO!&STn4`Dg)7*|o
z_k(+x2F#kSEyzs#AKXzEso(O5+ocehkclT6G$c>}>8?et{f;?^jmDpG+M)+6kT<2p
zf0Ho@tGuX}cn_=4YG3`bCjC{?gZ2|Kq>V#Ai^oVJm4q0?LSN0BORni1Hk^MsGOjz&
z1mXP6e|)5&9KKG$X-L=|9IXx=*6sIRx?#8e#hKTDGb$F-*oQ=)f7d0f5SKhN4cguy
zVtW%Rt*?RT@axvxK?Z-MOMRU@VezFS6g`elJX4vLxrdbERlIb=t)DRtcR>!$lU;8;
zc?n3Q7u4M+uQKa3_#0w~O0$1kH8DtN+h=eZ#l(8=K5Ttag0@u^zt{1IH#PljY3cCg
z-u<f^z@IsY@4FZR^Gn-5)cojt!?6BOhdRjPe9#SULx4sX#er3Z^Xbo>Hx%OJf>yZY
zlyD^{Dla1$h%u2j&R2z01&+FdjK~nN#Y5<2I)j_$mQau>oJ>u;nBIR{Wkp~0vElo*
z;?&0yK_Qih3env1(gREoGtdDOFG3@XVQ_-qUO%VFYaH_?oO`<n0kFR_3+4s<*9!7;
z&=}f&ti_sNzh5bM4Kfa*MMxt3$+#vsqH=FMPeQnT6}f0~tl8TBCcJ`Ok0#gSarLa;
zrUlO$Yx>%A8Sk$r?x25UbhmZ`-D90N8#^Y)&I%?IN40$vKtlPb(cM!A-E;!L4!b;p
z&Lo}0Er?9PK;tB>gg}FQ6aUJ?v>T?*X+ez-^bBe<iMJ-OmP;T0KS4|MSTefGz&oH~
z*=7t2t=K!Z)8pxWCltpXecm0+K$f?+L@M$1B{r+4_r!JU>hgc=-IC86`2%SYtBj6+
z8Dk-Q7+p6&XM*F-FlfGdCkb24f5C+N_y@?e1|EI(lrgFo2!5Mw@>0ql-DUSMGMd{K
zf2>7S;RR|9xuazba|jQDi6<5aL=Y8!7ptVp!A1E~No}0|8Vw_t1!@^$!>F(jRJYvr
zU|wb-7P}(TMZtfn6rK>lkPxGvFV4bYC}&DW&BE*j<x1PX@$wmkjydWnKY)I@%cK%y
z#6IigXdO1eEsm}==8(0Lp8=tx?fEUPK@LmyS|)&RD(^yFD}5f?wIl4=k)$Z5FN>CL
z;^Eb-<ZTJ%*LT|kj0LMQEhX$A;`zQboGjl7-3-ewzZ`$Gt@s$U64vZfI|`BrvtQzr
zybgPkayGiY*>qbuL!HuY<`QYWMC2`8#@2L*!c1y1UDl)?jm!WW`aHSyiS`LJTA2*#
z+tt+*{Br%%4)EK+HxhHTiTY;uJ^jA_faqZl$pbh~JHBEy1KY3RH8mi4Nl!uj&@j0*
z(1n|OS<ipe3U^cVdvtMa7cHOn^HAMhe<B^xPZyK2rhD!WvG4GU=dtPzi&AG^uNll`
zM|z()ZYT4>589rD?3RTueS-Lt|DHzqf=|0J%4P0scKvlUZ7iNp4vrM>PYAjz&fwrB
zI=k7^qfxl&6Z+iSdEagHc$G#^B+}4-P5d{}&6t0=D|eAeo~%>~gjtZY8{PrIR079U
z#CF;ufILUcdtan(LSh5zpBWr@?M0^ZR{J0`@D?KGK`}`qc@Wy>pfnQdvxSVc13LL)
zp8HX+awSh$Ae)nLORJH-hE{1W)8Gj;2E>@B#>%Nf+{;!{Tz`-mqMmsw{-?beP4zxf
z+rfW642*#RC*d(tOj%N6fU789wiQS7Hgm2PdSfeX-@aWG(-OV@bp>|RwGuhY$0X*k
zUoCWP+oqC{h6fv#t?ybbJYvX$k)&I*Oa2qXM7F7R6tkYo=$`Ey67BiQ@M|@9-^+71
z>{2QsMxhnUI$`Vi|Cv#%-#|p)!2_a+n~*B8TRgeD6ZO4506U;>y7--48~_2>4ZZXM
U03`Befw9DA`vL#}000D8T6Oi+o&W#<

delta 1417
zcmV;41$O%U4a^OY83cED28^*CKmmUuu3bTCv#$Qs4XAQh95Gw$CUif%m9B!{$33Fp
zk`QHsGBB*8mjcDl_)HdLA`KTzfR9IHyi|uMJvu7QVjgQoTRa(ui@oYChy+~}gC*%3
z-GZ|2SmxD6{qV-_TxW;5Q6gHGsBmnU=&1u2YF=LbFBnKkFQO}><rovC3YmXgpMt$Y
z0hfliCkDWc%ybYIYPsk62x@&xJu9jP>VO@5^xP{aAyJ#AExGO&AWmdvQJsy5*)DYO
z@n}Ng^?a41csHX*5au*BW(B4>Nfzd^`a<|q7&qj0srGr=pb3$|qrDA!Ux1NETq5u@
zs4)@GF<FBZv~MF83;faN*EfGCqV?Tw{;JbcbMLi$%W%S?^Hs_kgr8=t#BCU=7qfjz
zC}XIR1gQ2lY3ECEV~&CzI0K0$M4}|IyW{fdWbeU1zEv<p>PnBEXcarnmt_<rvHz#l
zt-?`F<{{x@J3!MY{Oyls9!aqq<Nu)_7Pn0|T1$9>jm8Tkat1jleBFPNbMYWm)~h1k
zUjB3WV2UX|jxXzGKJUE?%9IYf%hUYILis4$Mg(Un1D+tniNl0E&#fDfR|`hNuP+rP
zG&Gx#)Us!44++7eFD#Sj2=Td|lA=w-)?Xn!i)PQ}d#xmTL)A}}hHO>d1Bg0aY`*=a
zN^cGW3K|S>yK3|%Z6$w)`yK9_wDNt!Qh&*=??PR}pFi2udLdJ-TEYNl8qNFuL6GQo
zTh%XO>ao%#?eDemzk0GcS(N{F+Md4V4i)r`9)$Ll^Q@T6_9RgOX4r5AJ^B~ue>5(2
ztN099;wX=aIs{1zviO)qNjEt9k5`O5h)M?C1z{a?fl`1PmJol_+BA4?wl*#`*{g!Q
z>uQ|@NU`UXzXJ&<@b0<m$D@?yhLnQ6B*QIEsXisFk0q9Ty&@BL?~qeEIZ!}jMwRg_
za81<)dy59*v9NMa@!m$?+<9>7cfN|t{h=XW1S{QYU=~>v$o_cL+wdqezeb_s!%Q3{
zK5*p@j2B3OygYwoSy5)gK>*L>)}Y}>ElOZ3)F$`;8siH(u)T{aJ$CqCa!?UVUlQot
zueSSE3Ms6mu&M-j;Zpf|Yz=y#gmYV)TTUmK+q(|XdKPiPA4k1Ql(xsefG}ql^N+jb
z#rW4-i4~xy$vAFp9?dw&vauM`siGRvyA#KIf4D4Q2w;E4qS$&{Q?{ToL>!*_gnn|E
zp{>-xThwz!uvfQ?<p|tNkSv8go#8Z9AA^H7`6f;=mUOLO>%ny-BMPn4j-Ulf@#e}~
zY-e(yYcp%Mf}-sut`=gJ!M6Y0OubX>t#*1j5@IkbF@_7J>-b}dD-kub|L})EGElu}
zB`ASWzFvPXYhb41f=d@U-@FbKDIjEUwvKT4o4jpm7vUC=AZR!ZtVA{bV~(6uUxM>L
zP0TUC?ba${oLkm5y%U95CFJaTyW}1@eb@?D)L)}(yW}cQfn=x69FdI98%$flV62sG
zuhHZW`-7U45Z4rJI3s42lmVs7YHQAVf{b<<a>;+`!3w%+LQp3<na)O|&p@bi(5~^*
z;4d=|YzBB+u3h=i?Gl~xO%{5=t-p=gv-^}@I_o|~;LPQ%XyeKM{RQTfcDz=ZmP23l
zj*P}m&`qZoo>u%;+2MuzT?%W#fHq{myf5{!^GX>*?v7;TIU-QOc$yh}GC*B4gnEbx
z0c?3my8R8_wS>B-UM=7k@V4+r2Le*P1D8ayOs0m*>i9hp_(gN^C7+zJqg~cc%uif8
zMbe)z=)DOCyvUq&njvpF(<VL2U6DB71EA25ii>@8Y;m3L?JocTnojh^*G_(=00F2C
X`R)M#DHel|vBYQl0ssI200dcDHK(-)

diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.omdoc.xz
index 4c0358ba63d39bea1bd183ceca4c925f0f898afc..2c7d88a9fc8fc03dce37ca39d2aadeccdb43f02b 100644
GIT binary patch
delta 740
zcmV<A0vr9@2doH?83ZTB1L?6HKmmU~(o$Mj0pxG0^$VwlBFw6>r_o&)TMeQSyzt#!
zX<UW%>W1on63O-hDCloQ8VRZt;V3t=950r+RJ0=TqXdt13`R0gIn;f21e;lyGhQEJ
zlAQC=dZRn?B5I^M^#Z&2861YaRW^9p*>kXEJ-$l<UxqrD7?-zSD+SK#?7)APRoxA-
zX~@MaH~W#(wPiKgAW@HE5WZ+pYyBTwD6vU!d52#hDWCHvq~P?rIvN|%6`3MR+H%Nn
z@RyIsNyq{_yNEs^hAIV1bX%NTZ}y37T%Vr3qlPlz(Jk1sgrm-k6N#tJlIH~6$icYB
zoA~0lH&;I{VPjfI5gA#eBg=nzd+HWV;XLExVh0zKtOr?TBR*MnatppRTSoW$j$0}2
zJau4*czgw^GPbcIyDm--89TuEw@Pd?x`-FgQHd%J6Od&g9b<0*UeHp?=9K1s$5$oC
z0UQQN^TLj{aj}O&;>||7!v^_@Q?azTz!3exbv3kx79kVdnGOI3Yq5V-;=fER&>%93
z{4&l?JrwIYdMDR<-t=N64iVbVu#vUFS=F7Yv<NRby(M&J+b@n~w^P-1Y>FWPr+0`G
zUD9EeeSX_CUU;r2-Jw+(-@SCqy*qZ$;L|B{lPu{%!|NjJq{UuWL#KSH$qiuA=(7jP
z{7qFVtwu#ti?}<*B}9L(D+@EXSnr<-gY#sb&%fC|dW`J0A^j;eh}M)srUpGLv6Ulr
z!0e1#>4DtPPIU%wd7N?MhmtRzPPqMc9yGFXTpU}=qH++?bGw||HvD~}k7TsiuyzD7
z*EF0#6r>i_&mHl%%+Rnk>ZeeFMlDprpgf<3_L2jfMKcEy$5>SQ7@|za#iM6Po~tUd
zmI+2FjdBzcna?c?H}Zhw8B!oqOLCeu$IVj{fO_J{x2(PZ0000uiGHNmo1TII0fh+1
WPXGWl1_Uj!#Ao{g000001X)^Is$8T1

delta 660
zcmV;F0&D%O2;2vd83Z6<1DdfNKmmVAAd~miE{?#(J+Ot!cUkqWifKI`5-Fsi`y#(5
z;R>Cou9ej$3*?IIw9n*?-IypQKgw(1r9^&FrIo;^F@<<+#>lLVRn*-@2}!XY{fehF
zrIQ_Rko{$}7#3whG6y<f@Df-`yi$6d^XuzvN4D8Kqswk1i0rR!<BptTlQ@3_l=}tc
z-2;~z?@Q%Lw}4?bScA|e`3z_E7Hpt8svUr14R*ZpUvBJ-Y(vKg<*RLW5I0L@zH5L7
zzyjvnE!pq>zq2Ti;7t6yEWfb#2wund$%x{x$hYENUMGuH`{`;va|Gwe!L>b3Wn<ig
zr%k83x}3l`jBH<cZ*}ZgM(Tevg#^*HuOlNcmw0=`=Vl~a<R4De+>rD|CYsmp+UaBJ
zeq1M7FO5_-)34#M0^I7~NJZDRqljcLR19FY#I>u++Sn;~6>2T~s>a&?i_SWLycgj5
zNST};ho{_-zh2Ay(SBo%(5*z`0J~F!AST|nUXsm>)1A??JX<M(6&QbP+}hbtIM9Dp
z_;qbsYg$WFpbTdFc%Y4sK`tE;QH@zvH-_*+Iqd~Oh`Jw}+cm0Df0dhnD6kZgsx9>$
zIt#yOko&~MNvbJ92*=vo5RS*JopmYhKeYbmSGmR=-ZMzP_Y<DoK-|`Dn$Z_BJ*kcp
z@8Zyu%smU865YAAfqH+vRvKKp!G5wIL2OgrXoF7rg06OK-<3^dB!hiULn-m#es1NO
zEEh?Z`CE%VSFKv!{z(@H)TJ0Y>jDEg5|N+xrDx)*&rlb(*By9T1nW81`lbVvF;ISO
u5ryo0Ej9K4007!Pfo);PKFa_Bwg=)s007qf3bC=oXZr#G000C41X)^Kt4kLE

diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Theory$Parameter$Bug.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Theory$Parameter$Bug.omdoc.xz
index 5ec0c0b94284ec1a9c86268ab5ec644fbf34c70f..eb2ebb70b0fe16878d9da40a13784a12e93c3369 100644
GIT binary patch
delta 836
zcmV-K1H1gB2kZxs83Z1?1FDf7pnq`sTg7Rm=g42j0Jbshs!^ql-x7&U;M(eHEHj*m
z8q&f6QgHY6#ix{7Vs@SqZ&qtCP}~ceOC!-=S4%N0I0ey6tqnc5HWR{gCCmI4H(8t!
zu-XHI6StIi<bC+{fMvojx>;YjBD_rg#t*k`o;E6OGttB{xWn(SJa}D9W`B{QSI4Px
znx^TI7=%xiEjohZeR>Aa4`M;MuyF8mF?$!`!PzV<t%9BaSo}1Av{DPs868M=KMKf3
z!#-LdMa?NvhcD?KJu4^aMXsr{N#wfFlo;9_R-Mv9FROAQ#UWhstp;MsfeizOf-HG_
zNVfvK-`JkI<x9NwGgRC#>wi0X$_Zi6lObwSvsB=gp~*CQ!21azq6KbbxbUNhXb%y*
zr~MCrpU|*c9u#9hJsK^aV5n}U!106-NwEe39_2FAz>!}~w-9mqz=}P{!^*ijIhQeB
zo&AqC4vT+6W~Jf%&A*L~2mhb9l$PSf5PKGm?gdu|Q}F(lncXe{Du0l2BSPKliQ-%-
z$8?gz=@24tF;NazZR?NZR-J9j$vq5y*)JZ3!LFf0Y!+;G^N%Yo0b^|*gidn>5Q^gE
z>|oPg4i*@WO(lfWhF8bWn8ki?L~6U_*k(`0SYEaZ9C*^)fTe+duAKx^a+GGt<s{-p
zHK;^wO#a7MBKv5JtABQrwQQ!+f#B8dt!EN6_b8)PjvH_>-A<z)&U1$gB2gBCN6X9M
zWb7H`n1`Fp1vi~x1U~h+IUaOhJioq_My+_6kR?UIcw(U+9Q#~k6`i<WiF1O6@(_AX
zMZfT4$*88)k5W%hzICYiSio_9wtVWE@WR}EdVlk;1%A9`wto;OL;)^@_QaVV&2A`K
z?$o9A#P8j}zqTIQPLvc0=Mp7m`3|wkap<i?R+vQ;e4G(JY0k6<nj?6E?1$9U$Y_bh
zpLdO)`Rqj&!}}uQszJ-Y%BW$_x;J;cZoNjaX$45Rgr?{M$*hvDV?&E!g+`_N7&JA(
zQw9mv6i;4ONi~bq6TGVre_e8W0?9FnynD6)0002h*~zWidY)7O0mcWsJpcfOa?{PR
O#Ao{g000001X)`6)0Nr)

delta 763
zcmV<X0tEf+2c!p(83Y;>17eXKpnns@y;dop`$_SE7n;w2zmtvd>Ox`*R;Oe_L}&d(
z?gC4qBztZvo~kDffC$Hj&8%N10n-)lF|2y<sJ9EuR;mKU?f!zST3O7Y5n3T+84R)F
zS47WzWbQ|-vvi7b@`J5F?-eZ&E$tIWz(-UN)U8X;=X*?4-QLP$W@ZH$@_!w0gXGW`
zD0}MY#9grN<&}lsGb=q&+e$A6y@}5|jw9w(T`J_kjhSrZEe2-FBEg|!wGu|P>_$fX
zg6CHUY)Xjc9PclWVT84Y^xU8AW_Kqo#<(M7v1#65#KENm-NbrnF-9(l<mg5_0_G=2
zrf9yD@X1VJjboa61$HV=pns(R#%Ns*I5~~TflMBach^;<b>uZ{KGTSnnz^|b7&4uj
znXdIc{Cj%3-)P7K7_2dNJo*p!{;-A)#~mN51Mf>NOmTG1RN-9+P8HIHk#d3gy&sOw
z2Met)M_rYB<}biQWYX2p{kYzNIAuNsTE(SPLgKyl+Td;`vD_;hkbhI^VEl<QSwt%m
zmgLeOKs8+Y)VD5eb;}2rc>nW8`^{m63Xw?Ge&PeL9%>f6vm}n91LL3;vfV)>F#<dg
zC(_X2E3G0N8{Sl|^gHQgiQ^;(1$jNGPhV#ml}<FPjdz+s2_?Rsk9es0y7FB-Fv))|
zn#4l-Nkiga^v5TT1%L0Ng*&fd#XsUf4HGyx{KGQ+C&Cl!M7sgKb_3aoGm0<9We6CN
zhWVpU@D_0nssk}c&FLuO=|Z@e5l(QX$sw{5TSA|CAh8rG`HXAc9@f-WF+st-1t)XM
z8h)gqfv~Ne80MpG#fRxG)WDX&Hvxs$JE2F(_64~P*NR$<X>0_{Au{1{D$|~s^*-}Q
zO;c`vSHaDs`2CZfuysyh#r-aX%uqN>W_B7jdsmK3@+|g29G*a1zCu%gP+Gwf^P_o5
t&}5g;6?^~y003=7!0$zdlKubz{sxsa007Pfamum8XZr#G00004Sz0MiZEFAk

diff --git a/content/http..mathhub.info/LoViVo/gearbox/cogwheels.omdoc.xz b/content/http..mathhub.info/LoViVo/gearbox/cogwheels.omdoc.xz
index 0fc71ab2fa5d0a4535dd59902705de82a93127c4..160ca55d78a4fa4b3f37af2cbb62b3c4ab1d7579 100644
GIT binary patch
delta 1038
zcmV+p1o8XC2&4&+83Zcy1YwaKkAK)W15*Q4mcodGz=VtAz(jB_UbD%QCT9n@=BwSz
z|B@<gkXA0zTK+1TEvlt6t06vMgBWays!A)p3O?8>(;h{tF}TpgHBFCirV%@~pJ_#^
z1fCIt=0>8K-z5UIxn^SOkhbo^`<d0$1tu#Xz;L?sv>Qr(4~6o4*vi4_)qfeLIETu5
zR-o2qC$>X(Ce#gwy*&kFy+`EskO9F%5_?m`mTi0(3(@M9G5k@kqH=opcRpzRa<CNh
z9ZQm9zX`ofxjKjuWwd4~u!cLL0a4sNQ^>khNvx_D*-ZyN<=5#9$*=;N5#^-sX;<yV
zra3_4$l~{TtRF>>_+9P%hJPJsDZO@>5<Z1EIFjWU(k8)XQ~6E6Tw}~7P9t@K(BCt*
z3KW)~k?!NTc0J8W>{sBdJp-HK=P|DhDcQ}AA7P<TNE+WgJ#P@e);((EM}!hquSd6Y
z_OhlqN`2rfV7bT^gzgx4DPkYFp0`aE5fdgJP?iTdXhK(rETq9P>VMCz%a@-9DeR<Y
zo^Ds>Y95ZcxTKG#vEHrDO0QWdb-Ao#sd5VWHjz)qK1*3&P%4@sIoy>r+0Z|0eQ}U&
zoSy6)?PN8caSR5?e9hP@M_r_sgW(Ee;zYqO|6h__Y)s3rE8&uX7*4}1X5LoxWlr-b
zULqz^D2cdGtIV4(9Dh2Bbh#QKU(IvZaIVB9&?tCiWJbw(PK^RH7mL0$@j>V}0Ndl!
zFE4y>9KCOaM7$VMh&PDz&+q7w<pj`4nXR%-%mR;+DqK^;C7Q>?gZ&7Dg`Y!28*1&9
zJqt%_Ddy{AQ(<y6-;`3@r0z^eQ=?7B%q;QRG|faZ`wZ=75q}3SC^$-`N7Od{`m~8_
zCv0CmCY*JHWDH9V?uH{Fu!W)G&vYFP980g|=PrWmJtPklyB^!*jpmk17{5Kep&xpM
zD&|u{c`5dSoYl@-2N~8Qf8wLRxcb}j;T7*#MD+TCATcG2;t$U2h;Vi}^hM9abt^Gf
z%}Rqm4bWA59)FpVhNNjouZwnSMV|fX2iUspFwy=5<HcVkRd`4D)>nTyjYjqVeDvMb
z5FHf@<1+O+54QO3f}d~ya{WQj<{M7oX}|>>iYRVvVGMw-Sj0=;BcQZ5HEl_j!7=Y{
z!Fe4%k5PCFgg5*?AUgx5M=0E{VqJuIkFl22g7xi+uYVe?NpO(TtpG+Hj>Qdp_d3Tl
zu$gm}{ML{bL;LsUZ8e7c#gvOGR@e|1tunO;2CVL!j`?tjF*zLw#;L7}YuDeG46W+)
zWf-jKP4UOO%BxAnx+hn|fE)zI@c;k-08ubXyb2qN(f|Sd2=!F}02QC+fw9DA`vL#}
I000D8T6e7Y8vp<R

delta 942
zcmV;f15x~>3B(AH83Z4W1Obs9kAJ=OE}Atv^~$vczKg`)E#%ISec-&CHb4QI9)LM7
zT_znuE?(vlpC68B;JH+KiA<ygd&0NE&4e$L9?wfXU8fW-p~bHMbDPcMcYDPqg>t*J
z>S0z=Q>}vDdZT%mWXW&&3I;K<k~tDYUFxrIv1BPYGHi4A5|x_;hqdgF)qfH&hY_<M
z+^F74R&=-7c3dfh?FmufvU{GA$UXTz2oWr3VAC3HtEAX*)B3cenRl9izNLjvs_82K
zN^!%C-5q>5TYcSYI?(dQ$M3zGa4Z$3hR%dn+jkBgqB49`s+N{435LbXY*^=}i4dr7
z(TQaL@o)&PgpEO<k9-E+41c<_AXI$uJY{~wCIlc3Wc+Eq_bx>*yo(jqNMxc33)7w+
z^!0JdjxsNY-j}ZmEZS2XM{)9D@2&Fdx!nl9;PQ578UDO0*1gj+vWbU9oN3&d-KU)d
zn8cLDx;mlzAw2EQHlK&XDiy)fbv>yjFIE@P%6+rqZTWbg@xi3x|9>_FEv{L8H16(?
zEi=uaxn0P3>!PSu?DJ9~jsXO-5z#v$IuvEgKT?!Ae31j4$<t9Ogh^$Z8Lw=QjZe0R
zxw!#0|Lysk^G{Kk!XoJqdhdFBuv*&368)uf|Lc%-j?qrnx$0q)%UrH2k9e69S9%8E
zNGf_vAO%<(1%4@v@_%f_AYRjS-wk!=znq}@B#>YfN!$vzlT`?-ABaUO`#p4&>4x!K
zce<Z@hIr|N<_Pl2E4;ueh{z!UZ{M-OQ8z|ZxOPuiyg@7!vx~)uW{UZ(!8}^Be}!{Y
ztCcO=afRk`S$&-Dnu*)MtbY~+TjgY3d|*UlOHVOUVS!WIwSOZak_oyh<Vv1ceW;Un
z$lQ>HxOz{qs)0GMj;n!j>I(8Ei?afAg3>ht!{~QEjK=A=D<=SV^P$L*^Cc~%mbgje
z5;B{10D6y8v{wgK9J&-h7bQyvHFatW`m<BPohY9Et0{5&tP#WLVdwn$5>Gqjzo*8z
zgDw83_7oS;%zw|II-75I{$Com23Uw))qNUSR9(y_6(!-b)NJXNmaOSrxdzX17mp*P
z6(UmBu*q>dF%mdU9oAhNRgxH5J*)eKQY=I?G%X4AskRB<>0T7}L(M4n1WSl^Ed38k
zXxx}F8yE>p4`s<YZt0RfNB!-+qzgrzV;$y%00000u^%s$@3O}eF8~3Z2#-Gi070J6
Q$g#v{`vL#}000D8TB^v*KmY&$

diff --git a/content/http..mathhub.info/LoViVo/gearbox/gb2.omdoc.xz b/content/http..mathhub.info/LoViVo/gearbox/gb2.omdoc.xz
index ba50fbe864b73e22310aaba1f00187681a924cb5..7f416c6aead594fad584456104d1195c93a2c16c 100644
GIT binary patch
delta 1252
zcmV<A1RMLf3iJw)83Z?>1vHTzi+`7+=-pLa?i*yGP_0@~Q}07}%DG>nF{MOS0kuv3
zNDzl+@H-q+*))f?y2Rgr&%<QYYP6++@y%pXKL15bS{lQhbeJtV$dLcLBa1*bhbA-d
z0Q7qhrJu4d;McFONwq5iCqsGbev352iR9*Q&v8>r0Qkh=x*R(sgUxo9D1Wpqs(FLx
zVTOj@0<gU>)W(ICAR=?38qP2Z%>LX43rmw5cW_Iehyh)*M&mruY}hOor##ZN_eP;v
zo+e~lbuN7L+_?Fu9|h7oM2w^N+|r-WRD1OIryW~k2(IJ(g{47QB2|g#^>p<u?hK^D
zK9de_#@@X2doFK@AErylrGGb5x(hw;C<0H2p)$Jb`Sw_430`RjnB|vpk-^CqE_hJ&
z3$Nze%1HW(+CEm?U_BUS7MPT(!ziRoQo&#+FuVwlg%WKv{|}oiPZ5qBGSXhGk_Khm
zD824}7U(ST3KXrVnZ!AQG3;1Y>9xt=Y6Qy&nUtwz>#WHdr`~$Erhj4)ETYe9bweF-
zZjN&ORA;bO`%Fll3aq$1F@!1NKPg((r+V>Gfjd&V$1R-m49590N7K5IoJpxlNrLei
zhL2TiH$zag*|m}wszrpSa$b*bjoD|XZ3M+s44AoZP!BeAx*q7z&Znp5;sBvKUt-qs
z>G!)gGFY-R)SIu=B!AaAD{VsnIRYuBI!7`jIMW=Y%TAX;oC=FTgS$4hm^Z5$1!L*R
zPPZ(wlxKkZ$ysF_;^}1xZ%J=!^P@kOsrP*wpYiw~5ZF{@uH{J6U-q{W8qJ@Ae_x(l
zocmQdo+Ap;SM56!u&B$F%Yg}z34A$+E;~V$b>h?Oce-p3&wmWZVX`w^-Vcf(+m!$C
z%9NrORggn+b0DFSpm77hK`;d3`(9%8O~LolY>H5VBtf1UWMd~1{5<fwIYffe13G`d
za8rPhwXMo5YF&UCWZv+a$4X$Ax%Rl3Kq*S<AcfSpmZ*O@3#(vdMiEW=bSTMzw6!bM
z=gX5Eu@APuo_|PN%-u}DQyc$>TbgC_IgSOY)V+X5<Sco4+=sawikp^X1r35oKZa8T
zZ){mpb>vZ}?F-^a#iHOVO&xtDne27Y{Ia;bhnmyl+fjZrW`~U2&g|j{GFnGx3S|7m
zuW-4g9;Z-AVCL+E9J@W+87A0xMCA3MrMOaUDjK=+$A1X-a&uMff)w;5(t=Np>7gD8
zBN6~|2qPKQ1#;1lE=rkq$n(j4dzbliNK30kvL>CXN@6KBTpg}>ifh5Qa_x%P>ohdo
zi7G7n(#3LpD%*iZNHd29#X(o-IeJyp$;yXyr+vCTnd++A)&}nj%rOt~+BUHK<_}}F
z)c3S8NPiR=^H}78pHhO^y9|i=rfNaL2h^qKux6RH<0(0aqJhgOGwSo5shvIMI?|ox
zor#NttN5$Dk9-QW{}YLoO065y!j$^d3mu+kxDmX9ECSE#F}DuDoKAX{9a10;p$-w(
z=qjfY^TbV2_yk>=z(O3#l3p7m#3Sxe@$Oi)$5kq5M2i2euUsztfZ~FoJjCOO*V<Ib
z{oLMSCc<pmr)6jEge@8@ls;R&*E;4=3mTknh5!JX<j_ZAHNv$30niGfZvX(mjWR#6
O#Ao{g000001X)@b;ctWh

delta 1192
zcmV;Z1Xug?3b+c883Z!=1oe>}i+_;v!#mYWMb!{1hHKQ{V7HN%iHKoF_^^1|8<W77
zVP-*8I>2vkG}%l$7gn%SeZ?`*W2kB}Vj+%?;Ediz6}0L75&v1aFn}4ND<@!*wosh#
zlP=~MrY>DDQIfqV9_<`@t6i0%Vx32lmyD>{-#MjuF!J{c&lq>b@z#8&pMT&;_dyZ^
zvvyT|S{!y55PJz2(&-!P=lrr~PBrHy$)76^P&NKs)>IsW{_F+i@=I3DYsL2$zj8(?
zuP>;E$8V?=D7yb&j~%GocOJNt{35eI5)(j1J`Yo-VrWi65Bcon47JWpw@I=kz<NAy
z?EdOYG}AgqA@EL5QKnB~Ab*_h3^6Q(2D@3={e3L~Bh*h@^_Z8N2LgZS+-W2q0&V`8
zKJn$`5y!TAg!gR36e88MfD(SrygfmKNcpfB2Om@oxjoK`SlO=`8x#BBX*z>HhrbS@
zXPOmk2>jT2y6QtAO1RQe|MS8d4<o4m@N1_oNL6cNtPXOzWd8Uc)qlA()cz0jkGn>#
z`Pf$2YzmFuzNIBv9?STyy<ymNc5x6!9n8*#KJeq!usGbbF38F9t#?_)5T00Tl;^tL
zC#<IrnEuGJr#=ET?C8OspEnAo_$(tfyS!r=fFk|;AU>%F2{+duJ3M@(URD?XfDq8~
zk%1o_F4`bx1*=AMs(*#hRy*cOm6#>%iP`Cq{Be4t>s?W~H$&fl?%)MNK6>Q(mKW2P
z*P=s{hizYBEgKf2!#r#@NEC8_o3`OOlDM}IIXWg_Jn-$7DMlf5hOqv(z@h8p(WMC)
z*&B&;iwZ-mG-S~q$#9J2@mf6`zhV}D_$;>1g^lA3*|U|peSf2U_=d!QkX@uCsO3Vj
zJokIb>F6?!6m;)d1A{V`55LbJ74v)0p(ZkY2!t#kJ|aMQP2XmH^{cb?My(W)3gba6
z9UB9b?ktfAf6p^<K8BDo<RP@YE}J@2`KOT2TJLM4(=I(F9xgY_nb<MCJb|sfI;KgM
z6Y!IghBRSx?0;|jS}t}~3!%n<q84C^gCZG_@&;#?U*Eynhk}@5PEo8Y7kKocKReg(
znsR@AyLj!FUSM@P&;79Kzg^PWm#t4ywcB6h-QvtN_GAaQ;kxFFvqdHYBo<wClA&P5
z6Kp=lYX)p-;AJEz4ksagS%rmxQX0W;9OXCpz8Zn6JAXO^>=<UuaR8zI)q{lw1|KIC
zxMp5PH*S1f^|V{LQWFsa(JVEH*2}NVeW-oEZJ`5bYYib<aAH{dAU0z;Nu!pf2$_c^
zFH`0TQ*CelU3TLxwvy@ba+T_B!#3SV4EwcDp>R8u4xPAnG`)bVGAU|@+UoJ$dgxnB
z!?vi1(|^NseAe-?{hLbI4m=^|{t0M6^n7w=#*zTYIFKycF<OgPr7e*WCdYoYO(uzQ
zZ$tLX%PT4@hg>o3^bTNP8s09nSce+~BTL(Bi0q!89%Vl!nk~9XS3YdlClb@1L(j|N
zK)~rUhcegwW_tol1G0ZP%me@c003Fw18W@hD;abE0g(#(WdH#8k)%Me#Ao{g00000
G1X)@syg|tT

diff --git a/content/http..mathhub.info/LoViVo/gearbox/gb3.omdoc.xz b/content/http..mathhub.info/LoViVo/gearbox/gb3.omdoc.xz
index 12bf50ba08d91874fd0284da5f526dda082809b4..fc8667a1833e2db7d8620e35a7fe1399ebc4b702 100644
GIT binary patch
delta 418
zcmV;T0bTyY1Gof`83YDo0rrs{i+`7+=-pLa?i*yGP_0@~Q}07}%DG>nF{MOS0kuv3
zNDzl+@H-q+*))f?y2Rgr&%<QYYP6++@y%pXKL15bS{lQhbeJtV$dLcLBa1*bhbA-d
z0Q7qhrJu4d;McFONwq5iCqsGbev352iR9*Q&v8>r0Qkh=x*R(sgUxo9D1Wpqs(FLx
zVTOj@0<gU>)W(ICAR=?38qP2Z%>LX43rmw5cW_Iehyh)*M&mruY}hOor##ZN_eP;v
zo+e~lbuN7L+_?Fu9|h7oM2w^N+|r-WRD1OIr$pF_e!)2-mwpd$2HZ7b`pg%0s$-D*
z%c!2@sqg4#u~WwQ-2j&7R(~(dC(0m29BMLFMXj$`^kMEoe$5zn@T0x%u3p*ct~ulu
ze4Q7N3^fYoZv)PK_L<}2fSHrSGydSle{Deft*eyCnha>x<W9jGmvU83+MGd*M<jWG
z)aEl)wLuu?DPEc5({HYrm7`SeKO_E>`Tzg`QyPfG{N1$)00EK&<r54506UGqj<LjN
M`vL#}000D8S|AwF8vp<R

delta 301
zcmV+|0n+}s1jGZ783Y4L0fUhpi+_;v!#mYWMb!{1hHKQ{V7HN%iHKoF_^^1|8<W77
zVP-*8I>2vkG}%l$7gn%SeZ?`*W2kB}Vj+%?;Ediz6}0L76q}?h$qKk+perYg#h;Tq
zX8ADMxaA-6hk8$~8(HusM8IE|66#MFqF8_1wahRSGv4xcf7BdVG`FePm49!T?H|K^
zQ!}>O09On1>wR8saZ~W$RpVLpkgLBdoqt(v&R7*XTI%S1WU<%%EL=b`#JVee__P<a
zK{tXbvDDDkXX^$F>cT_Ztq;FGA~X!H0%+se<fn18bj$buMb^<gunF3(V4f8a)ETP(
z@|l|qhVt@V(!=T~000263?A*ECxT_b00Ex^%LV`dE*}KVvBYQl0ssI200dcD`4o{?

diff --git a/content/http..mathhub.info/LoViVo/gearbox/gearbox.omdoc.xz b/content/http..mathhub.info/LoViVo/gearbox/gearbox.omdoc.xz
index 7ee0b0a12463cf21f49a4d914c45cbe1c976d6b1..d0a790242b7fa63b649ca5a1a57e84dd95e75fd4 100644
GIT binary patch
delta 2428
zcmV-?34`{K6Mz(u83eLO3B8dWh<|B}>Jj)<QXE?ksxX99hU3{1>%Ip>ab8e2<fqN9
ztjA@KBf0_X1!i4k%)iM*>brjaZNh>mUgBU7f+5h|AUv8?!b8h^**4&$R7ck~!A?O&
zVOOJ~gJ@DkcZTHUS5~+SaG#||2r7JE)dkm`j8+6uH&tu#n@3I07Eox{=6~!JlSBkm
zcs^q8;g>}i#+)*&6YM6Z>X|HPch|Vdj|o*vS7PPp9YYo!3fL=y$aoT$LY$~CNh?0m
zA3S>GGZ>Dl>e4RmBFQSPhn|57dEj!Ho?8g+Qi%u>j>#%H8JZ!Y1nJ`u2JMehVr~z|
zw^=;fMw&JlmCn-yEMLJ?%YW4b&*SX<8XW{t&&*9L89A$p`AbU(VX!}z{Yw1av_loG
zW$)ZlHY;xxBBLzM<ZZaY{tQ=~v@B{`x+m&tiH5Y<$ZuE$l~x4S$_4ynZ6MT3#7X2+
z()#8qR#biwLXmoN-N*`)G01YW%C1TH3M?(@N{8It+?hS~@w!MjfPe4|+M>*Krva5L
z#4#esFGy9<UvSHk2e67u$Jx!Z>MX$M?AW=$?bJebVx)~)WrJp^vdMyw4$V`gk^}gg
z&T4rw5dmG|7+azzrB14-T$4}|E;J=g9Pm17YHGj*#We21Ifs5~y_W|zE#$gsGm*3F
z2Cf5+kGF&DhWc>E-+vNHHlHxl{6tKT=nOnuk`-B<kDd{iUgxxJimtKpVZnEhcZ`|X
zO$O&szkm4(?3qgR2rhTASrLWzbcX$~#{I~XLHOD3R{dT6!Fy}ZpWd@=T?fR@3CLkc
z4ZWCqi=%P#FyNU)*PcZ1)RB#W84ab;HqPmsJLcC|a550wU4K7;$5P)Oeu{wG*#PrW
z4lMVoVGk;sOdi`q*l*heG0CHQZnMk_2Pz|N-i<iGMOj%AatBU*H3PX1*s(t8q-8rk
zJaV)0hN)YgiOb*Lqp=kJ6jf;JlV;#`Tg7BjQJf-Yes89kulJeX5#uP3Ax|rgdxfC^
zr|3~;Ql8Zg`G3(B^?&QJT4J^|{oT?ag8k(v+i*vnM%;>Y(&SHD!FFyA+c(tzEHPtK
z2>qcJVp<Io90aYE0ycKN93uP<Vn94W*cNI!uoIZ#7U~+Ogj5zb>?|Tp>HaOWT?V-S
zIz;yb>-X(kzEwnN=P)uzdwz>spY)*Wk}IROx$CcJlYhWyf5T|Q859&{oTCW5=Y<3K
zMUFXb?w;Ayne+K%&J8W58p2{bY3j`i@-Al;!~agK&1w{3Y;KBjL1N25D36N9xk;Y)
zsM2?nzeTX~?o0v0UO%=J9m6t|LOut6++PBNIEjbXC)*VG^G3kH<0@7RGa%4@{P7yl
z8kryDL4R(S?N{ZFv(@KvM126yKIX7}zc7+IU?w<O(@$Fnqu^pt_zj}!@1VJUx?HY`
zNJ!|E^P%PKbSVdLfmiX|H;!kcSCR3Ss}A`&geC+x1V*<Tj7R5-rcFOqxGjvxFas65
zaAYGp1!rgMZkeS)?^0APU^c#j1_A3M?WS;-x_^4naJs^C`4l;QC!RsE5h-CV+<W$>
zj0M&GN~?b->%5V^CjwmKRyhiCNR&Qs<&%<rTE2t?o0S8ZMbU-5BAoSc$wA-um*?`&
zJsS&bFDjlK8~O2d#sA$M9~!^a1_lo^47=^SC>%KnOiuUQ7@mc?<Lki70->&Z;_M8!
zCVv5wD1QE+>k-WN>C<TVTw;i39UOF{XOIbxMP9z)J5_l-i5-SJ&9V<FwvYg%<YgJR
zWHCHq5#~&Dw_!7%B2t~_yT<OY8*VyEVVkHsB*07ZqT%1~>L@-rC@9zU(35q%W?AY&
z&2Mwx&OfgfP6VHyAj|>AAPn~zd&(^Qrhl7<B<PAvY6^2wx243MDXYn}5*V)oJmQ9R
z-Tq~$i4ba;Qnc(2Ff^g|)u-R&MY;wz9U&w7DsDh|sux2EZ4`E5bis7INi?~iF4vB3
zKEQZQ3EKoaZwMv<?=mgn$fG4P+{NZhBL;yOjh;i^*l7}v^m{oT1q_DYQMhiL*?)vg
z#0Sf@NzMyv(s!xlkp*rja3H)6Ruo4GYNBjY)s#O-Vm9~u$ZffT<WV=jMyS7QGqOVs
zxe3(J<kJVg<XBr2qLawzt^?7mS`jNR#R%OlWgKs9{9$mlE}&~6&e)fqpN40#C9cx3
z&PQLFE|zlo<{r)a0Ex-jn=AMNEPpoTazMsgY+NpO1^%L=V7%!PBe&iH7DWm&@im#-
zvYBpIklti_H-PeB@KU|(OcT^3Mck!Xmq<>y#ICbN@H<G71L5JY#P)9K$LArTshx}B
z0$RXsZ-wOE)1@X+klUm(ORBB;;(i3v1D}*GnL0j$_^q~NLaONwDr^jJfqyoBv#2Np
z=PEgC-&pS2hSf0h-$Ez(Qg}M*eS9Yl@ZlGt7aD>vYYa;bEqVfp7+l&_7JFbqmUh@!
zSY8D0ShZr<U`%FKJBA|kPi=t_KL?@6Xt5Zn573`|VvIl7WK*;USfA%eG(13V3H1Ig
zu;xmeA$t(L9VU2XY;+!RS%1Dea@VA1`S(Wu4Q;rTuFu@St2=TFnn5oC0{kAF6lFJr
zQQ^Uj9{QE!*SA4Jtf=7v`-=A%)>8QQvjEeF=N+XrZyK25TVI;6ftA=LMSZ@zPpn+a
zpYgpg%|6DDL&WU;%KBL`*FVT4WUB9&M=a{=M%I#xKe{n85_*UgdVdEOVM^6jj5&uD
zVvmC8;!tn;;EDZo%frTlV$l@IFArXAG3i09(`;WG&g<RLNpW6=b}ZFI?y5j5+dG9r
z21;R%CGD{$be)SP_qc=>v|(Z?9P>A-PcAN^Cg)D*UP#g~=fu;RAb(~QKD^1}Ad;&J
z0o;Pn?^B>(y>Rew8GmvnBja}vWf#pTb?kUok6xr?O7M6PB3CXNbi{C^m{^o(IVq<P
z3ejH%OMcH8)Fz>+A9VNegr2o+d(Sc4J+5y&rCH_d0V~v)Tpc94s|zK_-h-F!5QZz%
zSO;|6H-T@p$V@DDe6>9RG>e5Rq|vQuUwrPXYngBRgLJ9{Fm3*G?D50MG=5TbBm&9)
z%g=flc{$Xw92G61lRB#)Tk5j&$Yl=!5;kx~nT!A<UvrTw&x<^NCZ5Y$K3#xR225+-
u%ri%26Nvx-0002$t>T_Xswn^f0ofDD<N^R1&%8#l#Ao{g000001X)^FQJsYV

delta 2315
zcmV+m3H0`W6p#~;83e6X2~d$8h<|2^fwM`qspxl)$+EsdosC{KBV;%H%)t5j5<AJ-
z4k-*J8~5MzufT3FXF$@Sq$>jbLpVMP8UU%#wq9diG{*b<xc!U1#2-T1482g|vsnXx
zNa;H7!MA(Ah~^!u&3nh5dv=<(4y*d=&l8*xM_R9maTg-@1WeRF<7;%XVSi2n$~hEP
z;;TN>jeX*4+q!ZCUe|P3k)q+Z7T3OyayVT;xUE277#DJ5`}qwFjtw#{7%&$g%v2rA
zjEsT;vxkAJ3a|}Ma&gwSiB5h>CXF#h#xz#rUze(7dpdNRVU^2J735w#^EQs1(T@Yl
z%v^-m4K&+y*vCuO!&ZgVB7Z?I|0W9-xh%Gi2oJcL#FN|+xJJJraqs5GMyUyC-|P;o
zbNcJf`PPJ1+K@auY@GUiDrTMQAp3)D3TG;BcQkdcaIlxdKp<eMEy%cYk8NVz+4zr$
znJF4hAfHsH`Kg5fTXY7)+sKvVRY9q}ts*jO8_lIDTR~>UYP9a@o`0xSjc*hVfOXlX
zFCfY_o`^16=!kXTf7u}latPMtUvQq)D)-u*J};6^$8b4xo{P5Gap4tuP1$`(B{9!Y
zUie46)SSiclA?Q>Wj-$(f|>;g$Y0Pj?5nHmI6Mj7pQJC_3@@m2H<lxL<$<9nXn5X3
ze&rmN`!?4N@2T;Qxqn3^5_^Ne2(uZBJN;d;aLw8C*+1g&UUd2)eUe!rR&);bHViq-
zO_OeJ8!Zt63UTLnD@aLi$SRv)FdL3?t-Y{~wOyO;IR-cbidkv}RPaO!3P?v)NUE4_
z8G{UYP~YdwaEC(w6k_}R?TZUh_x?k=8Yty#kUp&h%%hka>VGBAzYB00!*kZ}#DFV*
zuEghry459lB+E%f)bXQ%ZC-X+;`GC~3J#!9a)NUdd+IQhQdwLl{}-S5ko11o>8N?}
zOPTheC?Z;>`RrQLpHe==acS`5E;?wV3oQ`2n#E`5b_F~w<K$fxqf@y7_|+kp&{uhH
z4UL{osNFkg+kf^5lyZRl<0}zJw4FYF0%!#)4v|hLW!xFxc9N;<Eb~JM_8RJXEtY3e
zv@YC&#{H9&&4;WT?7?T!v=VOO;i%(FIWa0QPp|M3dI2Pt2PZBRZJ8$^gr^vm*DXHt
z7(y+a_U?3#+mv4J6VoQ5ea`Maty6s}UAf@O4w^uxgMS$zSM>oBo|>?3(rxmJ2$Y7u
z%V(yj^KMFgg7|ycmA2?ye5D{-2+M11fiTIAnc-G^)n#*C*4C~1#BR>U7Qbl*b$)-)
z_y4ZN%eovOb8K(4b)Y5EWl;O>6|XuKV1^!fPwCs=Io7P}#k=L`Nraw_#cT~jsM31$
zsnDtOU4PPCUtErq$3R-&Y(Q_S@_ytD<hZccdv&(-|CtHM9eJ~`>PfAzr(bcE;bHh?
zypzpP0W8k8DTX_ac%tS|h^Tj~SiaVkrVP%4*cJq?d<9kTer_*W)M!spG@_5n-CY~Z
zV3Qk(J8U_QnJWp~$-<;bpm@M?_R_#S(Z{<k;(t)1T@!$+UZI4q`8{*pYSZIWLQvu_
zpC}x>PPt&3n_P_vQ5V$G*70o^CXY;+HG8|z9Yjxt_U>i9z5tJ<qPhJPq_=jjMO$Bf
zODbnl_N9807iYDNM+d7eoSXp>K;we5Y;BmYSYuc=P4?SpTU|XnPIk+iu#v%Od@0)P
zXMcEc6!Y}Kfw_Ni#u{iPm!??;ySgJMB#fw3Y^kKsEd6V0&ju*;(RC9RriQJVWR#6C
z>?#Gdr}T^~4;a5lBgFHRq^c8VfDxmkqOxv1Bor`d(j(R;yh)KHLFN^6!|YT|!cx&T
z@=<+h3w&%oN`Gc012Yb^$t;&R3IaYG3x8$=LD5PECG^T+6Dfg5`33`J??IjhCB}-(
zdJWF-2@Ry!%go2hqZqZ;=kI)sb%W3c2Mv;`R#mbUXmHJs&j}<)Foa3wz`rmrbur3m
z(sQv@XFu-F3x@C2H(jG%ue`uJBt=CW(liQ5rG28tD*DOu`WePG<CKBgxpD?3(|@YU
zwlaNK`2d|IagU!<MoNci>BZpSy*S@Wd&#@22tod0gAqouJ>Wr8a){J;6YhRV4Jftw
z$zo<0$gTfN>OaIY@g16Hv?{TzYZ1aT@pvc6gpWZaB1RF>v)e(Ra7VEKE4z$yeeNr2
zeB1GzubA0pH}Pex9_N5n_8md*n}0D<k^tM4dEk4cW1rNm;T24OFiY8-|5l48j6jdp
z{@2yTeE<Ar%N-glNkjLd$ZjdaKtoj8ZN2q1bI@-~;Nu8^%8R-vY1mj>VG>{@-YOW|
zs(eH4D15M+Eh^StQ6#S(U$!YhLppVK-j~3+l!Ar;46;zemV1R7vTC|vN`FAQz&)6c
z-tka*Y6_*2lM_1hN#ByXfMCJ0C$E2M2rL{M->x1pNe<1(qnGO5+>l5$rtVVj)`Z}G
zcG4UTswSqFGmCW1@C9dRwEkREzYFNM=EKD2T#(Ojm&TJgQQZ`Z4Qd;{7v;gN`e)=R
ztg0KhTE!n-I4o&QJ60TJt$#FpHR~6uJ-v%u&)L-6O7U`%Wy@T>0j}HaXT(pP-SZ@_
zw)#j_UPInn44@herudWkACf<j@S!4RBZAU234s0i<?{jfb?~2e9-}*Y9%P*^u&$@<
zA?WN_C(d-=;;<2C-l9-`%qCmSN;*EXiz!22#F)z_bj;_%;MdokCx4EfQUiMV=owep
zb_|}U=@|*lybI$Udm!+eXNz;A*ryH`|6O5Kb9}i=WFoSJ2LF4&yv8cs`J`A$g~3oJ
ztWQGxd9GKw_$MmgO!W3*EaB|1;?Xk#bev_zdPGo!ND5_c8reAT;Yy~7W)!PL26NrD
zbT8NnpRr@Oa{zJjG<;TyvY%x^d_uDg>x<d~08XQU-eSZe)VC;V?B(kns|WCd6L3Fl
zCavMIJM(j{|C}Qi@0;Mvv5oN_1A<-@#3*%tlO_S-T3VBNaJZ!IfV~T*{wiX!d?zdt
lngD#?Ns6dEh28)G>=M`70sw-TSh2ChXZr#G00004Sz6`4gCYO`

diff --git a/content/http..mathhub.info/LoViVo/gearbox/temp.omdoc.xz b/content/http..mathhub.info/LoViVo/gearbox/temp.omdoc.xz
index a02604512702338913af8d6b93a2dfb590faaa5d..fabc89f483da76ca2092d77ed47dbcb6c09819f2 100644
GIT binary patch
delta 1180
zcmV;N1Y`Ti3ako{83ads1nZF<i+}HUqZ9#Cu+#5?9ugso-_^2#I$5dH+G@$&T-Aju
zUrI<ds7E4O^GSgE<$uj~m!B!|#+hHpJS0$APW}NT=7HX(J_cId>>?^oq&Mc87*W5D
z$|PQ@uAi5=_;;PI2w9A{T<btB15K^u6|`)dbE2<rNNy%gW@@}L%a(#T`+sI_tCD)U
zdM4h1Z=Z+<Qk|!lU(p8`?NlIB1HBE1(+#-QG}7^p1RgSt=rRb$E_5$iVoO&JUwu&z
zii9r!9E1NCrX?HEA72p<6UA6Q;H+!zB<f%tc#+X>FaVUx6*@ZxsGETd7c{D~h2RA{
z&Y+*ENL;{#{DH-$`Gr-Xu73@Q-F#XK3X;IY2T1H7>>f2omD5m{=^$V5t>}Cq0s5s2
z=jgWO;E#`wVR+})=cy=P9k>C8L3D5?OhWFmap_Y5M^HklU6`Mx{I{W5R+LD^Jt0%1
zG)ZjNlyYMXyrfMZn`$nxqXY~+kHe{XHWx2e<a^$a7eR5qhGcr+Cx3SG74V=&&Q7^%
z<%xyVFPw|Pii)z|k^Z40oZI4&3^$>DNsag$dXy{9D99<koJ+1m8)Jr>!k_Zc+mRiN
z!j@+Rk1wlA-DG7rwEtZKSF_`Zr<%J+WFA@&9gDsYfR#9WD0txtrWC5D^`~4LWz|{6
zQ)u({TUJK1j*!s=>3{#9J8z?`#&kw_l+Ad3GK?A%*|y6L$M<!q+Q~vdDD!Ptn<v>A
zOE_8$8?_5V=Zm`X|8gRH5?cteve{e(h#VTK%N6t=3p(d%$T%JacdD_#e`viITM<36
zjNK%P<J8=t=Gl!FIDC;!w3NKSPm(j~C8{;wo#0@Xc$z>Qn}2lx6?#u^@ld%L6Xkv|
zLn~+lt(M6QL)pi`N1gB$5qV@`-EDC{-^P15{}}kzovDS|?zwvsfVM_)771DeLG|xM
zNHPTe@0(lrgHibAzg&I`_`^gJyaFPo+*iFZvbYFwt5`x}xr+q6g#Sw!GpwKDVi8pz
z2Fs?-d7^*&?|*^zM>?|x+jwRUs4-1a8jyETjk0Z$J5o+C3T(*+O}^hAyd6Q2cPvv_
z+v3vbk616@7G8i%Qe`wt!UC~fPBY_*h>n)8d7Ew<=Y{&=*A`cR+{CwOGrQ6Rr|A1S
zdtaY$>mxpOJuf_hwgaG?e6s;FKgOWVL&MnJamDAzuz!*s6ri()u%hLO;h3D_v|O22
zK>;Z@WhC={UT&$hKH-8g{geQrRJ+mu2G;g!aC{>OboHO2Sny3LFe)h}8K&OOmCOAa
z5Ul0&Qj5>%xWG%GWf{Z{m~2X$u7SF{{H@_Og42=dyStSdAtq8<naV-A#S>rWx|6ML
z+@~m*EPtSUpA#H}l(4_lA2GQhGEbH~MzqRojNm|Qt1+_K4?&W2**myfShfjbGwpF$
z$>F-pAh{AxC(U$!la?N*-8<jPPr#g^<Ik{MmiwHkeEs8$Pq!!&u+;awzSn`pQi|nz
up|fGN+|vva008MI<InE06B_^lhYJ0U0RXKb><tXD#Ao{g000001X)@_vOqup

delta 1208
zcmV;p1V{U<3djnO83atd1qhKHi+}4(#hFHA&Ax(aq9}T_DmME|t)ho$<2Kl@i{y-0
z!<XNvl&1^do`#3WGDM`;m}k9W{>1kJK*JFAg029B62SX!4v_VHQFzQerJ)uNjfrdK
zPapYzM*4t#^FI%#9>P5QBzidjgMSTAxBQ*w9O1nB(CwApAm0((;k`+;WPce!S5k=h
zZlzh}uW>p^#|;Lvzf#UeJNN~*;A23k*G+3<{n0leEf?iq2OK~v+AZ>fiH!At2Fy)y
znw-XJ+3pb&%g)4@Nykh(lqiSbD-qt8_GBe~JqA9n53GLRLd|1gc$5Q!e)l=Ky>He9
zc|$5|y3VGUIT)ajmL@A@zkdS_>@M(EwS{pj&T+(45Vecu+U@ag<&sZbWhcj{p2M#X
zfAG<Ntb+7#L7f|R601uA=xeZh0}GN_M%!`3)u^$Uq?d(rO3EVMu%eS~*vPk+*C=Jg
zvOQI9Lb=zxS)nSJz*&M-Wa)sLz>V@8de_a-?4m42n)@RuID~V#P=CuO@q%;3O(|#X
zu8as%b*9H&;YK_M0Z$j}N01T4n`YOQdC1=2eVSs&U{p&D5!`TOB?>J%wRY)~_UFYm
zO_rc<ZWyGOM1dRwz=}m?^qwIlPaHgkT?&071q|tM8`+O4%@KjX_{I<F!hu|O15ju0
zeTOnxOKPA}^?5a*Vt-nQHsgKbl!14nqWVE>eZV(w<O)Y6BSPy6sDMTMgTk>^jP#J8
zK<}4d&IsI{<^ePr3jz9LKmNM*!e@xouAKo-64SgGAlbvs`ZtUhR6g)0hv2nh^Ezx^
zP>(g*{4Q{F=3<8V_b3B|=4F#nTR1jBS$|V&B3T8x3>{DSh<~R{tRF_TnA$fVKJE4D
z3g}O_B25jpWMf6S{KbBA-eiN1!^u39BOH!b{=+mYpCHYtxW2DIVbh^~m|?ZozPHyK
zxbZqL@Y~@c(Kb%z*}69X;n0aZ_{9nl)710S^q40amjtPsgR1g$g1ru>_D7)Fc&&!4
z5EW>~Nt3{C;(tE;AT2bE^A;bf?xl191V)*-v&s7ANJD>-c<kOI)mF|?skD1Eq-h4i
z07<CFJ67nOdkxm@_guC_%%n*QmE65~2jq9wGt0`|6IOHMwweP(nHS^OLa>G3T-z`!
z-5t$8B<-=mB&=`l={3zN;zbXH376g#x&wo!v**%oeSiNY`LQv3hTH(XAdp9J)XrKM
zd|;L0Fgr2$#S15j=b#~s;I3j3uyxCSrCJ}<@$N?7b_2D4BZup`z~>LrbRnGkAd%OP
zoAAH^K6aTP39QuJe4$7uK~RB-O!MrO3A4<5$tr2wZD}C7N5U^f;x{F~M<Q)#g3Cj;
z#J{~%8h^Onruuu~OV+ElsA_0i;ZG+R$u5`urq}A#WAq=EZ7&(nwj&JV>&X9c%?ct6
z{T3SLR@T~R?UzLXkT%qHTt)gcKWi;E%;1%CHE!u)?udi~x*{8{A<^4(X|&B<sT<n+
zCv+^=<!Q{fwVurEGzBD_8XaChc2)3cDU*fWBPq1f_l~)>2xI`e<i_h1ecVF;0i+7P
WnE?P36dWC~#Ao{g000001X)^3Twt95

diff --git a/errors/mmt-omdoc/Library/gearbox.mmt.err b/errors/mmt-omdoc/Library/gearbox.mmt.err
index b9e4598..7aceb81 100644
--- a/errors/mmt-omdoc/Library/gearbox.mmt.err
+++ b/errors/mmt-omdoc/Library/gearbox.mmt.err
@@ -1,15 +1,10 @@
 <errors>
-<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?temp?dist?definition: Judgment  |- [p1,p2] : (ℝ×ℝ)⟶(ℝ×ℝ)⟶ℝ" level="2">
+<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid unit: using default value to solve ⊦∃![m]m^2 ≐((πl p2)-πl p1)^2 -((πr p2)-πr p1)^2 " level="1">
   <stacktrace>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12(RuleBasedChecker.scala:88)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12$adapted(RuleBasedChecker.scala:85)</element>
     <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:85)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
@@ -55,25 +50,25 @@
     <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
     <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
     <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle(ActionHandling.scala:69)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle$(ActionHandling.scala:67)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.tryHandle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine(ActionHandling.scala:64)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine$(ActionHandling.scala:57)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.tryHandleLine(Controller.scala:74)</element>
+    <element>FastREPL.handleLine(REPL.scala:68)</element>
+    <element>FastREPL.run(REPL.scala:48)</element>
+    <element>REPL$.doFirst(REPL.scala:34)</element>
+    <element>Test.main(preamble.scala:55)</element>
+    <element>REPL.main(REPL.scala)</element>
   </stacktrace>
 </error>
-<error 
-type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type: Judgment  |- ⊦∀[x:rotating_cogwheel]∀[y:rotating_cogwheel]interlocking x y⇒(x.angular_velocity)/(x.radius)≐(-y.angular_velocity)/(y.radius) INHABITABLE" level="2">
+<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid unit: using default value to solve ⊦y.radius≠0" level="1">
   <stacktrace>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12(RuleBasedChecker.scala:88)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12$adapted(RuleBasedChecker.scala:85)</element>
     <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:85)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkInhabitable$1(MMTStructureChecker.scala:316)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13(MMTStructureChecker.scala:325)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13$adapted(MMTStructureChecker.scala:322)</element>
@@ -120,26 +115,25 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
     <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
     <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle(ActionHandling.scala:69)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle$(ActionHandling.scala:67)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.tryHandle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine(ActionHandling.scala:64)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine$(ActionHandling.scala:57)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.tryHandleLine(Controller.scala:74)</element>
+    <element>FastREPL.handleLine(REPL.scala:68)</element>
+    <element>FastREPL.run(REPL.scala:48)</element>
+    <element>REPL$.doFirst(REPL.scala:34)</element>
+    <element>Test.main(preamble.scala:55)</element>
+    <element>REPL.main(REPL.scala)</element>
   </stacktrace>
 </error>
-
-<error 
-type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type: Judgment  |- ⊦∀[x:rotating_cogwheel]∀[y:rotating_cogwheel]interlocking x y⇒(x.angular_velocity)/(x.radius)≐(-y.angular_velocity)/(y.radius) INHABITABLE" level="1">
+<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid unit: using default value to solve ⊦x.radius≠0" level="1">
   <stacktrace>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12(RuleBasedChecker.scala:88)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12$adapted(RuleBasedChecker.scala:85)</element>
     <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:85)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkInhabitable$1(MMTStructureChecker.scala:316)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13(MMTStructureChecker.scala:325)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13$adapted(MMTStructureChecker.scala:322)</element>
@@ -186,157 +180,25 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
     <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
     <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
-  </stacktrace>
-</error>
-
-<error 
-type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type: Judgment  |- ⊦∀[x:rotating_cogwheel]∀[y:rotating_cogwheel]interlocking x y⇒(x.angular_velocity)/(x.radius)≐(-y.angular_velocity)/(y.radius) INHABITABLE" level="1">
-  <stacktrace>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkInhabitable$1(MMTStructureChecker.scala:316)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13(MMTStructureChecker.scala:325)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13$adapted(MMTStructureChecker.scala:322)</element>
-    <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:322)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
-    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
-    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
-    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
-    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
-    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
-  </stacktrace>
-</error>
-
-<error 
-type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition: Judgment  |- [RC,C,p]-((RC.angular_velocity)/(RC.radius))⋅C.radius : {RC:rotating_cogwheel,C:cogwheel}⊦interlocking RC C⟶ℝ" level="2">
-  <stacktrace>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
-    <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
-    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
-    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
-    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
-    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
-    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle(ActionHandling.scala:69)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle$(ActionHandling.scala:67)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.tryHandle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine(ActionHandling.scala:64)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine$(ActionHandling.scala:57)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.tryHandleLine(Controller.scala:74)</element>
+    <element>FastREPL.handleLine(REPL.scala:68)</element>
+    <element>FastREPL.run(REPL.scala:48)</element>
+    <element>REPL$.doFirst(REPL.scala:34)</element>
+    <element>Test.main(preamble.scala:55)</element>
+    <element>REPL.main(REPL.scala)</element>
   </stacktrace>
 </error>
-
-<error 
-type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition: Judgment  |- [RC,C,p]-((RC.angular_velocity)/(RC.radius))⋅C.radius : {RC:rotating_cogwheel,C:cogwheel}⊦interlocking RC C⟶ℝ" level="1">
+<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid unit: using default value to solve ⊦RC.radius≠0" level="1">
   <stacktrace>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12(RuleBasedChecker.scala:88)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12$adapted(RuleBasedChecker.scala:85)</element>
     <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
+    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:85)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
     <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
     <element>scala.Option.foreach(Option.scala:407)</element>
@@ -382,14 +244,19 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
     <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
     <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle(ActionHandling.scala:69)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle$(ActionHandling.scala:67)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.tryHandle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine(ActionHandling.scala:64)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine$(ActionHandling.scala:57)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.tryHandleLine(Controller.scala:74)</element>
+    <element>FastREPL.handleLine(REPL.scala:68)</element>
+    <element>FastREPL.run(REPL.scala:48)</element>
+    <element>REPL$.doFirst(REPL.scala:34)</element>
+    <element>Test.main(preamble.scala:55)</element>
+    <element>REPL.main(REPL.scala)</element>
   </stacktrace>
 </error>
-
 <error 
 type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?c1?definition: Judgment  |- ['center=⟨0,0⟩,radius=1,numteeth=10,angle=0,angular_velocity=1'] : rotating_cogwheel" level="2">
   <stacktrace>
@@ -447,266 +314,20 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
     <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
     <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle(ActionHandling.scala:69)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle$(ActionHandling.scala:67)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.tryHandle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine(ActionHandling.scala:64)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine$(ActionHandling.scala:57)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.tryHandleLine(Controller.scala:74)</element>
+    <element>FastREPL.handleLine(REPL.scala:68)</element>
+    <element>FastREPL.run(REPL.scala:48)</element>
+    <element>REPL$.doFirst(REPL.scala:34)</element>
+    <element>Test.main(preamble.scala:55)</element>
+    <element>REPL.main(REPL.scala)</element>
   </stacktrace>
 </error>
 
-<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?c2?definition: Judgment  |- ['center=⟨0,2⟩,radius=1,numteeth=10,angle=0.05'] : cogwheel" level="2">
-  <stacktrace>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
-    <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
-    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
-    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
-    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
-    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
-    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
-  </stacktrace>
-</error>
-<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?c2?definition: Judgment  |- ['center=⟨0,2⟩,radius=1,numteeth=10,angle=0.05'] : cogwheel" level="2">
-  <stacktrace>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
-    <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
-    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
-    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
-    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
-    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
-    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
-  </stacktrace>
-</error>
-<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?definition: Judgment  |- eq_refl c1.radius+c2.radius : ⊦interlocking c1 c2" level="2">
-  <stacktrace>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
-    <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
-    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
-    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
-    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
-    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
-    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
-  </stacktrace>
-</error>
-<error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?definition: Judgment  |- eq_refl c1.radius+c2.radius : ⊦interlocking c1 c2" level="2">
-  <stacktrace>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17$adapted(RuleBasedChecker.scala:98)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:98)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
-    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:95)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
-    <element>scala.Option.foreach(Option.scala:407)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
-    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
-    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:692)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:772)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:772)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
-    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
-    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
-    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
-    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
-    <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
-    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
-    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
-    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
-    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
-    <element>scala.collection.immutable.List.foreach(List.scala:392)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
-  </stacktrace>
-</error>
 <error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid unit: http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?definition: Judgment  |- eq_refl c1.radius+c2.radius : ⊦interlocking c1 c2" level="2">
   <stacktrace>
     <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$17(RuleBasedChecker.scala:99)</element>
@@ -763,11 +384,17 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$3" shortMsg="invalid un
     <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
     <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
     <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:33)</element>
-    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:31)</element>
-    <element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:74)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld$.main(BuildFrameworld.scala:11)</element>
-    <element>info.kwarc.mmt.frameit.communication.server.playground.BuildFrameworld.main(BuildFrameworld.scala)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle(ActionHandling.scala:69)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle$(ActionHandling.scala:67)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.tryHandle(Controller.scala:74)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine(ActionHandling.scala:64)</element>
+    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine$(ActionHandling.scala:57)</element>
+    <element>info.kwarc.mmt.api.frontend.Controller.tryHandleLine(Controller.scala:74)</element>
+    <element>FastREPL.handleLine(REPL.scala:68)</element>
+    <element>FastREPL.run(REPL.scala:48)</element>
+    <element>REPL$.doFirst(REPL.scala:34)</element>
+    <element>Test.main(preamble.scala:55)</element>
+    <element>REPL.main(REPL.scala)</element>
   </stacktrace>
 </error>
 </errors>
diff --git a/relational/http..mathhub.info/LoViVo/gearbox/cogwheels.rel b/relational/http..mathhub.info/LoViVo/gearbox/cogwheels.rel
index 3aa05d2..18715a3 100644
--- a/relational/http..mathhub.info/LoViVo/gearbox/cogwheels.rel
+++ b/relational/http..mathhub.info/LoViVo/gearbox/cogwheels.rel
@@ -21,9 +21,6 @@ constant http://mathhub.info/LoViVo/gearbox?cogwheels/cogwheel_theory?angle
 DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels/cogwheel_theory?angle?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
 Declares http://mathhub.info/LoViVo/gearbox?cogwheels http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel
 constant http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel
-DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?definition
-DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
-DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
 Declares http://mathhub.info/LoViVo/gearbox?cogwheels http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel_theory
 theory http://mathhub.info/LoViVo/gearbox?cogwheels/rotating_cogwheel_theory
 HasMeta http://mathhub.info/LoViVo/gearbox?cogwheels/rotating_cogwheel_theory http://mathhub.info/MitM/Foundation?Logic
@@ -36,6 +33,3 @@ constant http://mathhub.info/LoViVo/gearbox?cogwheels/rotating_cogwheel_theory?a
 DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels/rotating_cogwheel_theory?angular_force?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
 Declares http://mathhub.info/LoViVo/gearbox?cogwheels http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel
 constant http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel
-DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?definition
-DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
-DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
diff --git a/relational/http..mathhub.info/LoViVo/gearbox/gb2.rel b/relational/http..mathhub.info/LoViVo/gearbox/gb2.rel
index 9eec5e1..ee58104 100644
--- a/relational/http..mathhub.info/LoViVo/gearbox/gb2.rel
+++ b/relational/http..mathhub.info/LoViVo/gearbox/gb2.rel
@@ -15,6 +15,11 @@ Declares http://mathhub.info/LoViVo/gearbox?gb2 http://mathhub.info/LoViVo/gearb
 constant http://mathhub.info/LoViVo/gearbox?gb2?c2
 DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
+DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://cds.omdoc.org/urtheories?NatSymbols?NAT?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/MitM/Foundation?NatLiterals?pos_lit?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
 Declares http://mathhub.info/LoViVo/gearbox?gb2 http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking
 constant http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking
 DependsOn http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?type http://mathhub.info/MitM/Foundation?Logic?prop?type
diff --git a/relational/http..mathhub.info/LoViVo/gearbox/gearbox.rel b/relational/http..mathhub.info/LoViVo/gearbox/gearbox.rel
index ef6aadb..ab1cc4e 100644
--- a/relational/http..mathhub.info/LoViVo/gearbox/gearbox.rel
+++ b/relational/http..mathhub.info/LoViVo/gearbox/gearbox.rel
@@ -18,6 +18,24 @@ DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?definition htt
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
 Declares http://mathhub.info/LoViVo/gearbox?gearbox http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels
 constant http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?implies?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?prop?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?neq?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/core/arithmetics?RealArithmetics?div?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?eq?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://cds.omdoc.org/urtheories?Bool?BOOL?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ded?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ImplicitProof?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?neq?definition
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?forall?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://cds.omdoc.org/urtheories?NatSymbols?NAT?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
 Declares http://mathhub.info/LoViVo/gearbox?gearbox http://mathhub.info/LoViVo/gearbox?gearbox?coaxial
 constant http://mathhub.info/LoViVo/gearbox?gearbox?coaxial
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial?type http://mathhub.info/MitM/Foundation?Logic?prop?type
@@ -35,11 +53,9 @@ DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?implies?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?forall?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ded?type
-DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?definition
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?prop?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
-DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?eq?type
@@ -57,3 +73,17 @@ DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://math
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
 DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?neq?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?div?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://cds.omdoc.org/urtheories?Bool?BOOL?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?ded?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?ImplicitProof?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?neq?definition
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?multiplication?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://cds.omdoc.org/urtheories?NatSymbols?NAT?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition
diff --git a/relational/http..mathhub.info/LoViVo/gearbox/temp.rel b/relational/http..mathhub.info/LoViVo/gearbox/temp.rel
index 18ae45a..7b51cc2 100644
--- a/relational/http..mathhub.info/LoViVo/gearbox/temp.rel
+++ b/relational/http..mathhub.info/LoViVo/gearbox/temp.rel
@@ -6,3 +6,18 @@ Includes http://mathhub.info/LoViVo/gearbox?temp http://mathhub.info/MitM/Founda
 Declares http://mathhub.info/LoViVo/gearbox?temp http://mathhub.info/LoViVo/gearbox?temp?dist
 constant http://mathhub.info/LoViVo/gearbox?temp?dist
 DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?exists_unique?type
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?exists_unique?definition
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?squareRoot?type
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?NatLiterals?pos_lit?type
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://cds.omdoc.org/urtheories?Bool?BOOL?type
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?exponentiation?type
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?ded?type
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?ImplicitProof?type
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?subtraction?type
+DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
-- 
GitLab