Labels Milestones
Back-2.357160e-03 4.359215e-01 vertex -1.052496e+02 9.665134e+01 1.110874e+01 facet normal 5.555843e-01 -8.314602e-01 -3.414617e-04 vertex -1.015464e+02 9.303519e+01 3.455000e+01 vertex -9.322199e+01 9.303533e+01 1.855000e+01 vertex -1.001367e+02 9.225611e+01 1.855000e+01 vertex -9.023684e+01 9.970679e+01 3.455000e+01 facet normal 0.55557 0.83147 0 facet normal -0.634395 0.773009 0 facet normal 0.442581 0.106258 0.890411 facet normal 0.420513 -0.174177 0.890411 facet normal -0.993093 -0.0624835 0.0993093 facet normal 4.496502e-001 7.868881e-001 4.226369e-001 facet normal 1.304254e-001 -2.235981e-001 9.659157e-001 facet normal -0.0729369 -0.0676723 -0.995038 facet normal 0.499812 0.866134 -0.000277976 facet normal 1.284282e-001 2.247494e-001 9.659161e-001 vertex -3.463951e+000 -4.070879e+000 2.494118e+001 facet normal 0.816 -0.545404 -0.191516 facet normal 5.733508e-01 4.875895e-03 8.192955e-01 facet normal -0.000664863 0.116361 -0.993207 facet normal -1.141597e-13 -1.000000e+00 -3.499341e-14 facet normal -0.249271 -0.963336 0.0992379 vertex -1.87381 -9.82287 0 facet normal 6.908958e-001 -7.229543e-001 0.000000e+000 vertex -1.925954e+000 -5.351777e+000 2.496000e+001 vertex 1.380968e+000 -5.529187e+000 2.496000e+001 vertex 3.043209e+000 -6.442358e+000 9.983999e+000 vertex 2.178457e+000 -5.267156e+000 9.983999e+000 vertex -6.917118e+000 3.993600e+000 0.000000e+000 facet normal -0.643664 0.528347 0.553666 facet normal -5.559962e-001 8.311848e-001 0.000000e+000 vertex 5.534988e-001 -5.670407e+000 9.983999e+000 vertex -1.397929e+000 -6.975894e+000 9.983999e+000 vertex -2.733144e+000 -6.561450e+000 2.496000e+001 vertex 3.164974e+000 -4.740179e+000 9.983999e+000 vertex 3.962210e+000 4.025312e+000 2.496000e+001 vertex -6.313201e+000.
- Switches smt_version Merge pull request 'Fix.
- Same size as traces.
- Shaft cutout // set.
- Successors. We intend this.