Labels Milestones
BackNormal -0.0979739 -0.995118 -0.0119198 facet normal 5.628345e-001 8.265696e-001 0.000000e+000 facet normal -4.648441e-001 -8.134769e-001 3.495358e-001 vertex 1.313550e+000 3.891541e+000 2.480400e+001 facet normal 3.267371e-13 -1.000000e+00 -1.906464e-14 facet normal 9.581203e-01 -2.863649e-01 -8.193733e-04 vertex -1.043264e+02 1.007833e+02 1.608622e+01 facet normal 8.706301e-01 -4.919382e-01 3.074473e-04 vertex -9.122290e+01 9.519027e+01 4.255000e+01 facet normal 4.942504e-001 8.649388e-001 8.716282e-002 vertex -3.364450e+000 -3.896753e+000 2.470218e+001 facet normal -0.000168718 -0.115745 -0.993279 vertex -0.598972 -4.80907 21.7653 facet normal 0.00905415 -0.644981 0.764145 facet normal 0.500001 -0.866025 1.79992e-07 vertex -2.81744 -1.16477 6.59 facet normal 0.081929 -0.133699 0.98763 facet normal -0.272878 0.0376859 0.96131 vertex -7.13321 0 6.87796 vertex -5.09136 -5.00497 6.87866 facet normal 0.0973192 0.989361 0.108142 facet normal 6.903770e-01 8.143624e-05 7.234498e-01 facet normal 0.0973393 0.995186 0.0113559 vertex -5.71699 1.07374 21.335 facet normal 7.071006e-001 3.148586e-003 7.071059e-001 facet normal 0.956939 0.290289 8.19447e-06 facet normal -0.727323 -0.241721 0.642318 facet normal -0.796836 0.241804 0.553699 facet normal 0.338754 0.0727138 0.938061 facet normal 0.0950328 -0.0293136 -0.995042 facet normal -0.993105 0.0624783 0.0991895 vertex -7.93692 -1.00267 20 facet normal -0.31635 0.464833 -0.826954 facet normal -0.607321 0.740031 0.288991 vertex 6.34429 6.34429 4.79464 facet.
- -0.119821 6.88072 vertex 4.958 5.204 6.88408 vertex.
- 0.957368 0.115024 0.264982 facet normal 0.538537 0.459965 0.705982.
- -0.0677121 0.995043 facet normal -0.479365 -0.871967 0.0994153.
- 7#Cumulative fixes from v1.1 SMT.