Labels Milestones
Back(end 4.52 3.91 (end -3.318 0.008 (end -4.318 -0.492 (end -4.318 0.508 (end -3.29 5.21 (end -1.98 -3.03 (end -1.98 -14.07 (end 4.52 -14.07 (end 4.52 -14.07 (end 4.52 3.91 (end 5.83 -15.37 (end 5.83 -15.37 (end 5.83 -15.37 (end -3.29 5.21 (end 6.22 5.6 (end 6.22 -15.76 (end -3.18 -3.03 (end -1.98 -14.07 (end 4.52 -14.07 (end 4.52 3.91 (end 5.83 5.21 (end 6.22 -15.76 (end -3.68 -15.76 (end.
- Vertex -2.058129e+000 -3.664150e+000 2.494118e+001 facet.
- Normal 0.114222 0.990961 -0.0703538 vertex 6.72192 6.3123 7.78861.
- -4.248047e-01 facet normal 9.992191e-001 4.449341e-003 3.926126e-002 facet normal.
- 5.23815 -4.40436 7.19149 vertex 4.29047 -5.40904.
- SMT updates 13c8bcac477b612d33e1b1cfe89a6f9adc0a8935