Labels Milestones
Back0) (extension_height 0.58642) (extension_offset 0.5) keep_text_aligned format (units 2) (units_format 1) (precision 4 (style (thickness 0.15) (arrow_length 1.27) (text_position_mode 0) (extension_height 0.58642) (extension_offset 0.5) keep_text_aligned format (units 2) (units_format 1) (precision 4 (style.
- 2.475471e+001 vertex 1.304427e+000 3.875576e+000 2.475471e+001 facet normal -9.996590e-01.
- External_direction_indicator() { if(pointy_external_indicator .
- Vertex -1.078264e+02 9.665134e+01 1.028031e+01 vertex.
- Normal 1.723289e-13 -1.000000e+00 -2.839372e-14 facet.