Labels Milestones
Back0.55374 facet normal -0.137446 0.257144 0.956549 vertex -4.48624 6.71414 5.88782 facet normal 0.766708 0.634271 0.0992935 facet normal 0.23112 0.46415 0.855072 facet normal -5.477158e-002 9.389932e-002 9.940739e-001 vertex -5.268035e-003 4.894114e+000 2.496000e+001 vertex -4.726331e+000 -3.123942e+000 9.983999e+000 vertex -5.493214e+000 -1.330315e+000 2.496000e+001 vertex -7.053316e+000 7.305162e-002 9.983999e+000 vertex -6.593646e+000 2.467701e+000 2.496000e+001 vertex -1.481438e+000 5.423960e+000 2.496000e+001 vertex -3.012618e+000 4.746768e+000 2.496000e+001 vertex -3.615306e+000 -4.376429e+000 1.747200e+001 facet normal -0.615691 -0.525861 0.586851 vertex 6.30465 -1.57006 19.9 facet normal 0.0975476 -0.99044 0.0975398 vertex 1.69511 -8.83305 4.51215 facet normal 0.617512 0.144955 0.77309 facet normal -0.748167 0.309905 0.58669 facet normal -0.586516 0.714669 0.381113 facet normal 0.300158 0.365745 0.880985 vertex -6.92976 -4.63032 5.74921 facet normal 5.026212e-001 -8.616807e-001 6.984435e-002 vertex -2.009542e+000 3.440446e+000 2.470218e+001 facet normal -5.606763e-14 -1.000000e+00 -1.177125e-14 facet normal -0.918689 -0.264755 0.293113 vertex 4.98277 -4.13938 7.73103 vertex -5.19155 4.11812 7.7465 vertex -6.45034 0.596366 7.73103 facet normal 0.471406 0.881916 -0 facet normal 0.081619 -0.828696 0.553716 facet normal 0.586516 -0.714669 0.381113 facet normal -0.885456 -0.0559778 0.46134 facet normal -0.0376698 -0.382432 0.923216 vertex 8.91793 -0.833245 3.82299 vertex 3.33701 -8.34742 3.82299 facet normal 0.22956 0.181238 0.956271 facet normal -3.674715e-001 -6.434121e-001 6.715546e-001 facet normal 0.25505 -0.430913 0.8656 facet normal -0.77301 0.634394 -3.15376e-06 facet normal 3.561311e-01 -3.436078e-03 -9.344297e-01 vertex -1.083677e+02 9.695134e+01 1.267521e+01 facet normal 0.471406 0.881916 0 facet normal 0.2956 0.346101 0.890413 facet normal 0.0974461 -0.989341 0.108206 facet normal 0.900348 -0.423675 0.0993603 facet normal 0.989167 0.0992487 0.108159 facet normal 0.92006 -0.0458387 0.389086 facet normal -0.815355 -0.435833 0.38111 vertex 4.11794 9.04239 2.94279 facet normal 6.902364e-01 0.000000e+00 -7.235839e-01 facet normal 0.460564 -0.643676 0.611197 facet normal 2.360004e-15 -8.103531e-16 -1.000000e+00 facet normal 0.884711 -0.22241 0.409659 vertex 7.16087 1.01235 7.60514 facet normal -2.408558e-001 9.705609e-001 0.000000e+000 vertex 5.534988e-001 -5.670407e+000 9.983999e+000 vertex -6.413717e+000 -2.985593e+000 9.983999e+000 vertex -1.397929e+000 -6.975894e+000 9.983999e+000 vertex 6.221643e+000 3.367373e+000 2.496000e+001 vertex -5.274917e+000 1.974161e+000 1.747200e+001 facet normal -0.80114 -0.594327 0.0703581 facet normal -0.174189 -0.420502 0.890414 facet normal -0.430896 -0.353629 0.830226 vertex -6.50317 6.85323 3.54602 facet normal -0.977425 -0.186455 0.0993766 facet normal -4.384196e-001 7.543000e-001 4.886919e-001 vertex 6.390748e-001 -4.360113e+000 2.480400e+001 facet normal 0.938725 0.284755 0.194192 vertex -9.34401 -3.87041 2.58057 vertex.
- -0.366302 0.925178 0.0993389 vertex -2.47214 -7.60845 20 facet.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after re-centering.
- 0.1130812,-0.1417542 0.072459,0.019142 0.1426662,-0.068691 z" d="M 2.3622056,6.4724214 V.
- -7.154250e-02 vertex -9.053666e+01 1.011024e+02 1.140959e+01 facet.