Labels Milestones
Back-5.637004e+000 9.983999e+000 vertex 6.971169e+000 -1.377601e+000 9.983999e+000 vertex -1.118343e+000 -5.580715e+000 1.747200e+001 facet normal -2.537104e-001 4.349549e-001 8.639706e-001 facet normal -0.181168 0.338906 0.923212 vertex -2.64292 8.55797 3.82299 facet normal -0.262751 -0.491602 0.830234 facet normal -9.916064e-01 -1.292874e-01 -1.188534e-03 vertex -1.044875e+02 9.777043e+01 1.705744e+01 facet normal -0.0376859 -0.272878 0.96131 vertex -7.13321 0 6.87796 vertex -5.09136 5.00497 6.87866 facet normal -0.422844 -0.331516 0.843386 facet normal -0.472777 -0.88054 0.0336276 facet normal 0.0376919 0.272942 0.961292 facet normal -0.0112271 -0.0915932 0.995733 vertex -0.0206242 7.34599 6.86125 facet normal 0.816128 0.545352 -0.191121 facet normal -3.566374e-01 9.342429e-01 -8.220391e-05 facet normal -1.165816e-14 -1.000000e+00 6.113595e-15 facet normal -7.070919e-001 -3.148546e-003 7.071147e-001 vertex 5.120433e+000 -1.045407e+000 2.484855e+001 facet normal 0.766718 -0.634283 0.0991387 facet normal -0.353624 0.430898 0.830227 facet normal -0.129416 0.645447 0.752761 facet normal.
- -9.044135e+01 1.007803e+02 1.025032e+01 facet normal 0.101047 -0.992162 0.0735128.
- 1.638621e+01 vertex -1.103843e+02 9.852413e+01 1.638621e+01 facet.
- 0.525 0.27 (end -0.525.
-
V1.1 SMT updates