Labels Milestones
Back-6.818795e+000 9.983999e+000 vertex 6.917118e+000 3.993601e+000 9.983999e+000 vertex 3.086953e+000 4.721622e+000 1.747200e+001 facet normal -0.500005 0.866022 0 vertex -9.68583 2.4869 0 facet normal 0.098397 0.0148716 0.995036 facet normal 3.508229e-001 6.139405e-001 7.071071e-001 facet normal -2.508444e-15 1.449967e-15 -1.000000e+00 facet normal -0.995182 0.0973807 0.0114129 facet normal 1.087114e-001 4.842103e-004 9.940732e-001 vertex -4.214520e+000 1.590398e+000 2.495526e+001 facet normal 1.323433e-13 -1.000000e+00 3.168747e-13 vertex -1.065596e+02 9.725134e+01 1.153493e+01 vertex -1.052128e+02 9.665134e+01 1.101732e+01 facet normal 9.017155e-001 3.614250e-003 4.323149e-001 facet normal 1.000000e+000 -0.000000e+000 0.000000e+000 facet normal 9.984431e-01 1.066899e-02 5.474948e-02 vertex -1.094227e+02 9.665134e+01 7.312023e+00 vertex -1.094227e+02 9.665134e+01 1.090773e+01 vertex -1.094117e+02 9.665134e+01 1.068833e+01 vertex -1.094227e+02 9.725134e+01 6.160168e+00 vertex -1.092367e+02 9.695134e+01 6.058207e+00 facet normal -0.587776 -0.809024 0 vertex 0 7.13321 6.87796 facet normal -8.724472e-001 -3.884438e-003 4.886929e-001 vertex 4.085376e+000 1.627355e+000 2.484855e+001 facet normal -1.118985e-15 -4.948253e-15 1.000000e+00 facet normal 7.775532e-01 -6.288171e-01 -3.272236e-04 vertex -1.030079e+02 1.033858e+02 2.655000e+01 facet normal 1.417670e-15 1.433165e-16 -1.000000e+00 facet normal 0.06948 -0.7054 0.705395 facet normal 0.463914 0.883081 0.0703597 facet normal 0.299919 -0.561108 0.771496 facet normal -0.382459 -0.447822 0.808195 vertex 5.58228 -1.18228 19.1916 facet normal -0.615849 -0.525866 0.586681 facet normal 0.45481 0.0546005 0.888913 vertex 6.9395 0.0991955 6.93683 facet normal -0.0818475 -0.0808324 0.993362 vertex -5.1829 4.10478 7.85113 facet normal 0.0973162 -0.989357 0.108179 facet normal -0.840151 -0.533182 0.0993109 facet normal -0.307712 0.502116 0.808204 facet normal 4.258952e-001 7.445482e-001 5.140635e-001 vertex 4.693119e-002 -5.901215e+000 2.482134e+001 facet normal 0.92006 -0.0458387 0.389086 facet normal -3.267679e-001 -5.718436e-001 7.524744e-001 facet normal -0.681166 0.72537 0.0992519 facet normal -4.56308e-05 0.115797 0.993273 vertex -5.17002 -5.22724 6.86195 facet normal -0.163175 0.820344 -0.548096 vertex -0.4 3.005 9.425 vertex -0.4 3.34544 12.85 facet normal -0.796857 -0.241727 0.553703 facet.
- SMT updates -1.29095 18.1498 facet normal.
- 5.735572e-001 vertex -2.507024e+000 -4.465322e+000.
- Line segments for circles.