Labels Milestones
Back-2.053091e-04 -9.904771e-01 vertex -1.061828e+02 9.695134e+01 1.022922e+01 facet normal 0.807217 0.0635208 0.586827 vertex 1.95005 0.326085 19.9 facet normal 0.645449 -0.129422 0.752759 facet normal -9.816959e-02 5.216674e-03 9.951560e-01 facet normal -0.773053 -0.634341 -1.43199e-05 facet normal -0.771715 -0.635858 -0.0118532 vertex -2.05061 2.05061 19 facet normal -0.828706 0.0816226 0.5537 facet normal -0.101047 0.992162 0.0735128 facet normal -9.777724e-001 -5.563238e-003 2.095952e-001 vertex -3.997430e+000 -1.693608e+000 2.470218e+001 facet normal -0.288584 -0.95132 0.108209 facet normal -3.566057e-01 -9.342549e-01 3.502560e-04 facet normal 0.0555716 -0.706052 0.705976 vertex 1.99666 0.380651 19.8418 vertex 2.04556 -0.765005 19.9 facet normal -0.466832 0.877365 0.110898 facet normal -0.486762 0.388502 0.782387 facet normal -9.633204e-01 -2.683537e-01 0.000000e+00 vertex -9.698184e+01 1.060828e+02 1.055000e+01 facet normal -9.211543e-01 3.954124e-03 -3.891774e-01 vertex -1.043845e+02 9.695134e+01 1.179820e+01 facet normal 0.727319 0.241698 0.642332 facet normal -8.695379e-13 1.000000e+00 -6.065606e-17 facet normal 0.979666 -0.187893 0.0703599 facet normal -0.452792 -0.137352 0.880973 vertex 7.69994 3.18942 5.74921 facet normal -0.993086 -0.0624763 0.0993833 facet normal -0.468222 -0.88192 0.0546261 facet normal 0.114147 0.100183 0.9884 facet normal -3.176384e-001 -1.414236e-003 9.482109e-001 vertex 4.198525e+000 -1.462734e-002 2.494118e+001 facet normal -2.129164e-001 3.650182e-001 9.063268e-001 facet normal 4.808466e-001 8.424486e-001 2.430369e-001 vertex 4.669177e-002 -5.847422e+000 2.470887e+001 facet normal 0.233262 0.84961 0.473025 vertex 5.03912 -4.29172 7.34278 vertex -5.20841 -4.17623 7.5439 facet normal -0.771715 -0.635858 -0.0118532 vertex 2.05061 -2.05061 19 facet normal 4.391191e-002 -7.528147e-002 9.961950e-001 vertex 3.567843e+000 -4.085063e+000 2.495526e+001 vertex 2.681124e+000 -4.602288e+000 2.495526e+001 facet normal 3.533242e-16 -1.018103e-15 -1.000000e+00 facet normal -1.932563e-01 -2.598328e-03 -9.811449e-01 vertex -1.077013e+02 9.695134e+01 1.025489e+01 facet normal 0.331809 0.353578 0.874577 facet normal -0.995185 -0.0980166 5.85143e-06 facet normal 3.863593e-01 4.351739e-03 -9.223381e-01 vertex -1.084273e+02 9.665134e+01 1.264884e+01 facet normal 0.292521 0.954699 0.0546087 facet normal 9.777786e-001 4.353410e-003 2.095953e-001 facet normal -9.940187e-001 -4.425715e-003 1.091198e-001 facet normal -0.638759 0.741873 0.203989 facet normal 0.365756 0.300167 0.880978 vertex 5.89328 5.89328 5.74921 facet normal -0.630641 0.76849 0.108235 facet normal 0.222395 0.884723 0.409641 facet normal -9.572431e-01 -2.892846e-01 -1.847311e-05 facet normal 0.0868543 0.0464227 0.995139 vertex -4.32991 -6.48017 5.97318 facet normal -0.996728 0.0397771 0.07036 facet normal -0.400391 0.779907 0.481074 facet normal 9.196532e-01 3.452139e-03 -3.927162e-01 vertex -1.052606e+02 9.695134e+01 1.061357e+01 facet.
- 0.433885 0.900968 -0 facet.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after converting.
- 0.279017 -0.0846398 0.956549 vertex 6.71414 -4.48624 5.88782.