Labels Milestones
Back9.162096e-001 -4.006992e-001 0.000000e+000 vertex 1.651013e+000 -5.455036e+000 1.747200e+001 facet normal 0.831463 0.555581 0 vertex -2.36142 9.8813 0 facet normal 1.397736e-01 9.901835e-01 -3.655938e-05 facet normal -0.0961675 -0.947172 0.30597 facet normal -9.996062e-01 -2.806048e-02 -2.699214e-04 facet normal 0.312676 0.468065 -0.826528 vertex -2.89821 -0.0265122 18.9317 vertex -2.93351 1.2151 18.7502 facet normal 9.975497e-001 4.442017e-003 6.982002e-002 vertex -4.004743e+000 -5.115412e-002 2.470218e+001 facet normal 0.533417 0.161807 0.830232 facet normal 0.195085 -0.980786 -3.35362e-06 vertex -0.4 3.26571 8.11431 vertex -1.45059 3.07081 8.75682 facet normal -4.064198e-001 -7.112355e-001 5.735565e-001 facet normal -2.747832e-01 -9.615062e-01 -3.462968e-04 vertex -9.560112e+01 1.058695e+02 2.550000e+00 facet normal -0.000138976 -0.113303 0.99356 vertex 0 3.04892 6.59 vertex -5.54328 2.2961 6.59 vertex -2.53508 -1.69389 6.59 facet normal 0.0822463 0.0819801 0.993235 vertex -5.26759 5.16186 6.86461 facet normal 2.404282e-06 -1.000000e+00 -4.279217e-07 facet normal 0.865136 -0.462421 0.194181 facet normal -4.391161e-002 7.528103e-002 9.961950e-001 facet normal 0.36771 0.111577 0.923223 vertex -3.41238 8.32455 3.82299 facet normal 0.993086 0.0624774 0.099381 facet normal -0.449652 0.547909 0.705414 facet normal 0.133703 0.0819226 0.98763 facet normal 1.969464e-14 -1.000000e+00 -9.385756e-14 facet normal -5.30788e-07 -0.115828 -0.993269 facet normal 8.550802e-01 -5.222628e-03 5.184694e-01 facet normal 0.771715 0.635858 -0.0118532 vertex 2.05061 -2.05061 19 facet normal -1.164300e-07 -1.000000e+00 -7.063260e-07 facet normal 0.502121 -0.307708 0.808202 facet normal -0.0366128 -0.15247 0.98763 facet normal -0.290515 -0.956797 -0.0118781 facet normal 0.629653 -0.76827 0.115322 facet normal -0.0635194 0.807211 0.586836 vertex 4.46118 -2.47079 19.9 vertex 3.48287 5.48813 19.9 facet normal 0.401133 0.913313 -0.0703627 vertex 4.77597 -8.58877 1.53336 facet normal 0.464833 0.31635 -0.826954 facet normal 0.257143 0.137446 0.956549 facet normal 4.323866e-002 7.566777e-002 9.961951e-001 vertex -1.707434e+000 -5.135106e+000 2.495526e+001 facet normal -0.0600064 -0.144869 0.98763 facet normal -0.109789 0.552532 -0.826229 facet normal.
- Vertex 6.72966 -0.896427 7.87006 facet normal 1.219172e-14 -1.000000e+00.
- Normal -0.00039812 -0.112922 0.993604.
- V1.1 SMT updates Checkpoint.