Labels Milestones
Back(HP width = 36; // [1:1:84] left_panel_width = 12*3 + tolerance*2; //three.
- 2.813813e-003 9.063268e-001 vertex -5.197335e+000 -2.117903e+000 2.494118e+001 facet.
- 0.748086 0.309872 0.58681 facet.
(HP width = 36; // [1:1:84] left_panel_width = 12*3 + tolerance*2; //three.