Labels Milestones
BackNormal 0.113987 0.0621138 0.991539 facet normal -0.452792 -0.137352 0.880973 vertex 3.18942 -7.69994 5.74921 facet normal -3.549285e-14 -9.999999e-01 -3.483137e-04 vertex -9.718411e+01 1.060913e+02 2.550000e+00 facet normal 0.114506 0.305573 0.945258 vertex -5.25893 -4.75047 6.95295 vertex -7.2243 0.221399 6.88859 facet normal -0.0820533 -0.0820856 -0.993242 facet normal -0.106817 0.137651 0.984704 facet.
- (j14/j15 // reset/casc in (j1/j13) // gate.
- Bring cross-claims or counter-claims. 9. Miscellaneous This.