Labels Milestones
Back0.0820554 -0.0808315 0.993344 vertex 4.10946 -5.18289 7.85151 vertex -4.10478 5.1829 7.85113 facet normal -0.995186 0.0980045 0 vertex 1.98804 -9.99456 0 facet normal -0.992165 -0.101034 0.0734901 facet normal -0.000000e+00 -1.000000e+00 -7.973511e-07 facet normal 0.547914 -0.449667 0.7054 vertex -5.4146 8.10352 3.26879 facet normal 0.758298 0.622316 0.194183 facet normal 0.124395 0.48503 0.865605 facet normal -4.565612e-001 -8.896920e-001 0.000000e+000 vertex 5.655164e+000 -5.476652e-001 1.747200e+001 facet normal 0.488318 -0.595015 -0.638359 facet normal -8.391899e-02 9.964726e-01 0.000000e+00 facet normal -0.028588 0.0942416 0.995139 vertex 7.3758 1.46714 6.0001 facet normal 0.737294 -0.221424 -0.638255 facet normal -0 -0.956942 -0.29028 vertex 0.800782 3.26571 14.9643 vertex 0.4 3.34543 14.8152 vertex -1.31069 3.16429 16.275 vertex -1.54908 3.005 16.275 vertex -0.4 -3.28125 18.4724 facet normal 0.878606 -0.0865329 0.469642 facet normal 0.801132 0.594337.
- V1.1 SMT updates Checkpoint after fixes.
- 2.874049e-03 -9.896319e-01 vertex -1.060220e+02 9.725134e+01.