Labels Milestones
Back-0.632185 -7.16112 7.08096 vertex -4.57828 -5.3829 7.06725 vertex -7.24156 -0.469754 6.97207 facet normal -0.101034 0.992165 0.0734901 vertex 5.19155 4.11812 7.7465 vertex -6.45034 -0.596366 7.73103 facet normal -0.061823 -0.114014 0.991554 facet normal 0.815358 -0.435818 0.381123 vertex -5.53561 -8.28463 2.94279 facet normal 4.829391e-002 8.571911e-002 9.951482e-001 vertex -5.299474e+000 -3.144912e+000 2.496000e+001 facet normal 9.513109e-001 -3.082331e-001 0.000000e+000 vertex -5.594228e+000 -7.795944e-001 2.496000e+001 vertex 4.403623e+000 -3.613747e+000 9.983999e+000 vertex -2.075797e+000 -6.801728e+000 1.747200e+001 facet normal 0.956943 0.290276 0 facet normal 0.630655 0.76848 0.108222 facet normal -0.112453 -0.551187 -0.826769 vertex 1.08464 2.68773 18.9318 facet normal -8.314790e-01 5.555562e-01 0.000000e+00 vertex -9.073916e+01 1.016540e+02 1.855000e+01 facet normal -0.430921 -0.255018 0.865606 facet normal -0.25505 -0.430913 0.8656 facet normal -3.562761e-001 6.107916e-001 7.071075e-001 facet normal -4.077532e-001 6.994046e-001 5.870013e-001 facet normal -8.287950e-02 2.558130e-03 9.965563e-01.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates SMT updates Checkpoint.
- -> 292501 bytes create mode 100644.
- 7.565925e-01 facet normal -0.575172.
- 2.935467e-16 -1.741197e-15 -1.000000e+00 facet normal -0.880482 0.468837.