Labels Milestones
Back1.147112e+01 facet normal -0.400391 0.779907 0.481074 facet normal 0.265169 0.618852 0.739397 facet normal 0.865129 0.462436 0.19418 facet normal -0.353624 0.430898 0.830227 facet normal 9.800099e-01 -6.837851e-03 1.988314e-01 vertex -1.093422e+02 9.695134e+01 1.018016e+01 facet normal -0.0462166 -0.587101 0.808194 facet normal 0.603866 -0.370049 0.705981 facet normal 0.453753 -0.0357197 0.890411 facet normal 0.0978932 -0.995197 0 facet normal -0.773053 0.634341 -5.92546e-06 facet normal 2.488500e-001 9.685420e-001 -0.000000e+000 vertex 4.344010e+000 3.615769e+000 9.983999e+000 vertex 1.917059e+000 -5.367621e+000 9.983999e+000 vertex -4.397973e+000 -3.577460e+000 9.983999e+000 vertex -4.608007e+000 5.307639e+000 9.983999e+000 vertex -9.348436e-001 5.545335e+000 1.747200e+001 facet normal -0.187658 -0.0572764 0.980563 facet normal -0.288321 0.956943 0.0336375 facet normal 9.966022e-001 8.236541e-002 -0.000000e+000 vertex 4.158177e+000 3.825264e+000 9.983999e+000 vertex 2.937280e+000 6.404036e+000 1.747200e+001 facet normal -0.338906 -0.181168 0.923212 vertex 7.49889.
- Vertex 4.13072 -4.97411 7.83604 facet.
- 1777167 12A || order number.
- H_margin, top_row, 0]; f_tune .
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after tweaking.
- Vertex -4.304039e+000 3.298120e+000 2.480400e+001 facet normal 0.993093.