Labels Milestones
Back-1.000000e+00 -5.088959e-07 vertex -1.043643e+02 9.665134e+01 1.174747e+01 facet normal -1.437965e-001 9.896073e-001 0.000000e+000 vertex -4.873291e+000 -2.885563e+000 1.747200e+001 facet normal 0.0100873 -0.15129 0.988438 vertex 7.37473 -0.0747576 6.86461 facet normal -5.142140e-001 8.576619e-001 0.000000e+000 vertex -4.519133e+000 -5.470537e+000 2.496000e+001 vertex 2.178457e+000 -5.267156e+000 2.496000e+001 vertex -4.397973e+000 -3.577460e+000 2.496000e+001 vertex 4.604934e-001 5.608658e+000 1.747200e+001 facet normal 0.998026 -0.0627973 0 vertex 1.76336 -2.42705 9.999 facet normal 0.916108 0.277897 0.288995 facet normal 0.0816274 -0.0817217 0.993307 facet.
- 42deceed-4793-4b11-91d8-f336ff75a562) Final revision; added custom DRC.
- -7.426806e-01 vertex -1.083707e+02 9.695134e+01 1.051604e+01 facet normal.