Labels Milestones
Back6.933023e-15 -1.000000e+00 -6.787200e-14 facet normal -0.920076 -0.0458155 0.389052 vertex -7.25237 -0.938256 7.41914 facet normal 1.505852e-01 2.986818e-03 9.885925e-01 facet normal 0.26838 -0.834607 0.481043 vertex 0.364032 -6.51059 7.33259 vertex 4.69689 4.43444 7.32632 facet normal -4.720708e-001 8.093070e-001 3.495302e-001 facet normal -0.601759 0.737729 0.30601 facet normal 1.969464e-14 -1.000000e+00 -9.385756e-14 facet normal.
-
Y="1.7"/>
- - (top_margin * 2); hole_horiz .
- -1.063499e+02 9.665134e+01 1.021498e+01 vertex -1.065156e+02 9.665134e+01 1.020829e+01.