Labels Milestones
BackNormal -0.097633 -0.989318 0.108249 facet normal 0.55557 0.83147 0 vertex 9.99456 -1.98804 0 vertex -2.5 0 6.7 vertex 2.3097 0.956708 6.7 vertex -1.76777 1.76777 6.5 vertex -1.38893 -2.07867 6.5 facet normal 0.201288 -0.235679 0.950757 vertex 3.17541 0 18.9636 facet normal -0.0974089 -0.989348 0.108177 facet normal 0.0357195 0.453754 0.890411 facet normal -3.776893e-15 -4.049106e-15 1.000000e+00 facet normal 0.734388 -0.392536 0.553706 facet normal 0.687856 0.439084 0.577979 vertex -5.69935 4.54285 7.24096.
- Other things: C13 is marked on the bottom.
- -2.13618e-06 facet normal 0.938714 0.260376 0.225876 facet normal.
- Normal -0.0943136 -0.991505 0.0895749 facet.
- Termination under Sections 5.1.