Labels Milestones
Back9.319300e+00 facet normal 1.284282e-001 2.247494e-001 9.659161e-001 vertex -3.463951e+000 -4.070879e+000 2.494118e+001 facet normal -0.991528 0.109189 -0.0703557 facet normal -0.816125 -0.545222 -0.1915 facet normal -0.261456 -0.103805 0.959617 vertex 4.83683 -4.97711 6.93683 vertex 4.90011 4.90011 6.9357 vertex -6.75462 -0.133493 7.03353 facet normal 0.422844 -0.331516 0.843386 facet normal 0.29705 -0.243786 0.923217 vertex 8.26214 3.54289 3.82299 vertex 1.78367 8.96712 3.76384 vertex -7.49889 -4.97083 3.82299 vertex.
- -3.645506e-001 9.063253e-001 vertex -4.355241e+000 -3.561570e+000 2.494118e+001 facet.
- 0.633165 0.771501 vertex 0 2.9 19 vertex -1.10978.
- Box [right_edge, -extra_depth], // bottom horizontal rib h_wall(h=4.
- MCV_1,5/4-G-5.08; number of pins: 14; pin.
- 4.980131e-001 8.191444e-001 facet normal 2.113857e-001.