Labels Milestones
Back-2.569074e-03 9.609638e-01 facet normal 0.532813 0.843303 0.0703594 vertex -2.53725 11.1164 0.18985 facet normal 0.430921 -0.255018 0.865606 vertex -6.94062 0.483852 7.05523 facet normal 0.952732 -0.286108 0.102199 facet normal 0.081933 -0.133696 0.98763 facet normal -0.172865 0.0218118 0.984704 facet normal -0.0822463 -0.0819801 0.993235 vertex 7.36167 -0.0587368 6.86308 facet normal -9.204106e-01 3.909530e-01 -3.120254e-04 vertex -9.068836e+01 9.627468e+01 2.550000e+00 facet normal 3.861513e-001 6.787009e-001 6.247017e-001 vertex 4.100003e+000 -1.657553e+000 2.484855e+001 facet normal -0.587776 -0.809024 0 vertex -7.20568 7.20568 0 facet normal -0.796836 -0.241804 0.553699 facet normal -0.247465 -0.963798 0.0992709 facet normal -0.0458155 -0.920076 0.389052 vertex 0.938256 -7.25237 7.41914 facet normal 0.633162 -0.0623602 0.771503 facet normal -0.0827209 0.0808284 0.993289 vertex 1.05741 -7.11568 7.9151 vertex 1.0528 7.11659 7.9152 facet normal 0.195101 -0.980783 -5.85608e-06 facet normal 4.784231e-001.
- -4.45 (end 4.5 6 (end -1.23 -6.85.
- 9.970679e+01 2.655000e+01 facet normal -0.491815 0.403619.
- From v1.1 SMT updates 13c8bcac477b612d33e1b1cfe89a6f9adc0a8935
- -3.1531 1.32743 18.1498 facet normal.