Labels Milestones
Back1.055465e+02 1.855000e+01 vertex -9.463166e+01 9.225620e+01 2.655000e+01 facet normal -0.758301 -0.622313 0.19418 facet normal -3.934399e-001 6.745033e-001 6.247002e-001 facet normal 0.0846398 0.279017 0.956549 vertex 4.48624 -6.71414 5.88782 facet normal -0.938724 -0.284757 0.194192 facet normal -9.502703e-01 -3.114264e-01 0.000000e+00 facet normal 3.899954e-15 -1.000000e+00 -9.660595e-15 facet normal -0.954697 -0.292532 0.0545798 facet normal -9.987907e-001 -1.998141e-003 4.912334e-002 vertex 5.055779e+000 -2.918668e+000 -1.681500e-003 vertex 5.029959e+000 2.880271e+000 2.464800e+001 facet normal -1.581495e-001 -2.754702e-001 9.482114e-001 facet normal 0.0868518 -0.0464265 0.995139 facet normal 0.362852 -0.678848 -0.63836 vertex 4.24264 -4.24264 6.59 facet normal -0.881919 0.471401 1.54281e-06 facet normal 9.127763e-01 4.084597e-01 3.193598e-04 vertex -9.090395e+01 1.020222e+02 3.455000e+01 facet normal -9.527700e-01 -3.036929e-01 -0.000000e+00 vertex -1.045657e+02 9.930452e+01 1.855000e+01 facet normal 2.170014e-13 -1.000000e+00 -4.708072e-14 facet normal 0.0950804 -0.0293273 -0.995038 vertex -4.25372 9.04499 0.0456265 facet normal 7.942002e-02 -4.702208e-03 9.968302e-01 vertex -1.063085e+02 9.665134e+01 1.152487e+01 facet normal -9.816959e-02 5.216674e-03 9.951560e-01 facet normal 0.737729 0.601759 0.30601 facet normal -2.593997e-001 4.439971e-001 8.576586e-001 facet normal -0.106447 -0.024393 0.994019 vertex -5.16396 5.24702 6.86308 vertex 0.0404587 7.35197 6.86195 facet normal -0.956934 0.288348 0.0336403 facet normal 0.111504 -0.36774 0.92322 vertex 6.46493 -6.46493 3.76384 facet normal 0.124714 0.987203 0.0993835 facet normal -0.0979739 -0.995118 -0.0119198 facet normal 0.0974082 0.989348 0.108177 facet normal -0.816088 0.545288 -0.191472 facet normal 0.550857 -0.679089 0.485175 facet normal 0.909897 0.284746 0.301674 vertex -6.35181 -0.410784 7.71954 vertex 6.29114 -0.209414 7.71246 vertex -6.4137 -0.394998 7.51797 facet normal -0.314689 -0.466332 -0.826744 vertex 2.0532 2.04871 18.9333 vertex 3.17521 0 18.7502 vertex 0.4 3.07081 12.1818 facet normal -0.94716 0.0961108 0.306023 vertex -6.27065 0 7.71007 facet normal 0.471406 0.881916 -0 facet normal 0.305328 0.0393352 0.951435 facet normal 8.878028e-001 4.602240e-001 -0.000000e+000 vertex 1.561409e+000 5.411416e+000 1.747200e+001 facet normal 9.964592e-01 8.406732e-02 1.348105e-03 vertex -1.045318e+02 9.809589e+01 2.655000e+01 facet normal 0.92061 -0.302887 0.246448 vertex -4.13797 -5.40019 7.76535 facet normal -9.788281e-001 -2.046843e-001 0.000000e+000 vertex -4.455791e+000 3.434344e+000 1.747200e+001 facet normal -0.950491 0.290292 0.11089 facet normal -1.125775e-14 -1.000000e+00 -6.357058e-15 facet normal 7.871526e-01 0.000000e+00 6.167582e-01 facet normal -5.804319e-01 2.431244e-03 -8.143051e-01 facet normal 2.497929e-01 -9.682992e-01 3.519880e-04 facet normal 0.472777 -0.88054 0.0336276 facet normal -8.721140e-01 -1.910779e-03 -4.892990e-01 facet normal 0.976261 0.0729941 0.203926 vertex 1.03118 7.21514 7.67586 facet normal -0.880482 -0.468837 -0.0703026 vertex 7.86116 3.78574 12.5787.
- -6.779822e-001 6.246980e-001 vertex 2.751995e+000 3.098315e+000 2.484855e+001 facet normal.
- Anything. // (1) CUSTOMIZER PARAMETERS .
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint.
- 4.02975 21.8414 facet normal 8.191578e-001.
- 7.808599e-001 3.476658e-003 6.246964e-001 vertex.