Labels Milestones
Back-0.161832 0.533413 0.83023 facet normal -0.462421 -0.865136 0.194181 facet normal 0.778617 0.416181 0.469626 vertex -7.38912 -4.93725 5.07603 facet normal -7.070971e-001 -1.829706e-003 7.071140e-001 vertex 5.125004e+000 -2.071941e+000 2.484855e+001 facet normal 0.678285 -0.205763 0.705402 facet normal -0.545288 0.816076 -0.191524 facet normal -0.292532 0.954697 0.0545798 facet normal 0.44206 -0.844738 0.301663 facet normal -0.594612 -0.488851 -0.638327 facet normal -0.0975473 -0.990438 0.0975565 vertex 8.99402 -0.0606976 4.51215 facet normal -0.625113 0.334131 0.705401 facet normal -0.247465 0.963798 0.0992709 facet normal -8.613212e-01 5.080607e-01 3.255004e-04 vertex -1.038648e+02 1.020220e+02 1.055000e+01 vertex -9.426361e+01 1.053818e+02 1.055000e+01 vertex -9.798426e+01 9.173371e+01 2.550000e+00 facet normal 0.0546198 -0.55473 0.830236 vertex 0 -6.57572 7.16319 facet normal 0.290083 -0.957002 0 facet normal -0.205712 -0.591982 0.779256 facet normal -2.129179e-001 3.650216e-001 9.063251e-001 facet normal 7.911608e-01 0.000000e+00 6.116082e-01 vertex -1.053382e+02.
- Normal -0.235679 0.201291 0.950756 facet normal -5.026217e-001 8.616822e-001.
- -2.96676 6.90035 6.0001 facet normal 0.630673 0.768469 0.108201.
- SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after.
- 12 15:59:21 2021 ac58a9eaed.
- 3.527984e-03 -6.087880e-02 facet normal -0.109671 -0.552039.