Labels Milestones
Back0.421012 0.88645 facet normal -9.807886e-01 1.950737e-01 -2.437386e-04 vertex -1.043967e+02 1.005018e+02 3.455000e+01 facet normal 8.835940e-01 -3.246278e-03 4.682425e-01 vertex -1.083043e+02 9.665134e+01 5.018543e+00 facet normal 5.628329e-001 8.265707e-001 0.000000e+000 facet normal -0.748167 -0.309905 0.58669 facet normal -9.030449e-01 -1.322120e-03 -4.295440e-01 facet normal 1.122750e-06 -1.000000e+00 -4.868587e-07 facet normal -0.365094 -0.683044 0.63258 facet normal -0.382468 0.447802 0.808202 facet normal 0.467809 -0.312901 -0.826588 vertex 2.83126 1.17275 18.8241 facet normal -0.950499 0.290271 0.110881 facet normal -6.202536e-01 4.499466e-03 -7.843885e-01 facet normal -0.0973802 -0.995182 0.011361 facet normal -0.995182 -0.0973802 0.011361 facet normal -3.267685e-001 -5.718457e-001 7.524725e-001 facet normal 0.286114 0.95273 0.102199 facet normal 0.0980056 0.995115 -0.0118632 facet normal -3.609433e-15 -2.925733e-15 1.000000e+00 facet normal 0.909897 -0.284801 0.301622 facet normal 0.16181 0.533415 0.830233 facet normal -0.101034 0.992165 0.0734901 facet normal -9.683077e-01 2.497601e-01 -2.366477e-04 facet normal -0.91528 -0.396626 -0.0703594 vertex -3.25446 8.23926 11.2377 facet normal -0.22956 0.181238 0.956271 facet normal -0.7808 -0.129508 0.611211 facet normal 0.727323 -0.241721 0.642318 facet normal -0.0942433 -0.0285897 0.995139 vertex -6.94785 2.87789 6.0001 facet normal 0.772994 -0.63014 0.0735159 facet normal 0.0974461 -0.989341 0.108206 facet normal 3.721676e-001 6.509285e-001 6.616520e-001 vertex 3.779778e-002 -4.777771e+000 2.488918e+001 facet normal 4.926594e-001 -8.446024e-001 2.096031e-001 facet normal 0.247471 -0.9638 0.0992317 facet normal 0.816125 0.545222 -0.1915 facet normal 9.996062e-01 2.806048e-02 -2.637846e-04 facet normal -4.729950e-001 8.087673e-001 3.495300e-001 vertex 3.476575e+000 -2.704992e+000 2.480400e+001 facet normal 8.560691e-01 -6.853637e-03 5.168160e-01 vertex -1.091212e+02 9.695134e+01 9.696443e+00 facet normal -0.706052 -0.0555714 0.705976 facet normal -0.0817216 -0.08206 0.993271 facet normal -0.0819011 0.0819033 -0.993269 facet normal 0.0822608 -0.0821747 0.993217 vertex 5.23616 -5.23616 6.86814 facet normal 0.552322 -0.106057 -0.826857 vertex -2.9008 0 18.9335 facet normal -5.142361e-01 -4.534046e-03 -8.576367e-01 facet normal -0.964171 0.25578 0.07036 vertex 3.43863 8.76148 20.0916 vertex 8.1846 -1.23363 19.9688 facet normal -0.538413 -0.714663 0.446506 facet normal 0.705407 -0.0694492 0.705392 facet normal 0.828689 -0.016946 0.559453 vertex 0.849259 -7.27563 7.2866 facet normal 0.766702 -0.634275 0.09931 facet normal 2.698881e-01 -7.901965e-03 9.628593e-01 facet normal -4.648429e-001 -8.134761e-001 3.495393e-001 facet normal -2.129180e-001 3.650216e-001 9.063251e-001 facet normal 0.260332 -0.938729 0.225866 vertex 1.0528 -7.11659 7.9152 facet normal 8.707612e-01 -1.569950e-03 4.917037e-01 vertex -1.091710e+02 9.725134e+01 9.774870e+00 facet normal -0.84476 0.442038 0.301633 facet normal 5.393496e-002 9.438620e-002 9.940736e-001 facet normal -4.633145e-001 -8.124056e-001 3.540293e-001 vertex -4.082628e-003 4.627842e+000 2.476740e+001 facet normal -0.307712 -0.502116 0.808204 vertex 5.04221 1.97652 19.4867 vertex 3.41722 1.35267 19.1916 facet normal 0.353615 -0.331801 0.874566 facet normal 9.460989e-001.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after converting.
- 2.935841e+000 2.496000e+001 vertex -7.038888e+000 4.228040e-001 9.983999e+000 vertex 3.252574e+000.