Labels Milestones
Back1.114769e+01 facet normal 9.964596e-01 -4.138940e-03 8.397109e-02 vertex -1.093935e+02 9.725134e+01 1.047174e+01 facet normal 8.468809e-001 -5.317826e-001 0.000000e+000 vertex 3.164974e+000 -4.740179e+000 2.496000e+001 vertex 2.434567e+000 -5.153887e+000 2.496000e+001 vertex 5.258615e+000 -2.174272e+000 9.983999e+000 vertex -4.781955e+000 -5.239326e+000 9.983999e+000 vertex -4.091196e+000 3.859275e+000 2.496000e+001 vertex 6.971169e+000 -1.377601e+000 9.983999e+000 vertex 2.741467e-001 -5.690018e+000 9.983999e+000 vertex -1.391214e+000 -5.517757e+000 2.496000e+001 vertex 1.726210e+000 -6.911484e+000 2.496000e+001 vertex -6.778011e+000 -2.001570e+000 2.496000e+001 vertex 4.575243e+000 -3.392458e+000 1.747200e+001 facet normal -0.181159 -0.338932 0.923205 facet normal 0.766708 0.634271 0.0992935 facet normal 3.566057e-01 9.342549e-01 3.502560e-04 vertex -9.500882e+01 1.056905e+02 2.655000e+01 facet normal 1.250030e-14 -1.000000e+00 -7.678644e-14 facet normal 0.0980465 0.995182 6.66873e-06 facet normal -1.417670e-15 1.433165e-16 -1.000000e+00 facet normal -0.122595 0.678279 0.724506 facet normal 0.946485 0.307054 0.0994239 facet normal 0.0822176 -0.0560551 -0.995037 facet normal 0.0820278 0.828604 0.553793 facet normal -9.017155e-001 -3.614251e-003 4.323149e-001 vertex 4.053363e+000 2.321364e+000 2.479508e+001 facet normal -0.954699 -0.292516 0.0546275 facet normal -0.0645513 -0.533418 0.843385 facet normal 0.0817037 0.0823248 0.993251 vertex -5.77664 4.28775 7.9152 facet normal 0.449652 -0.547909 0.705414 facet normal 0.028588 -0.0942416 0.995139 vertex 0 -7.49999 6.0001 vertex -6.92909 2.87012 6.0001 vertex 4.16678 -6.23601 6.0001 vertex -6.23601 4.16678 6.0001 vertex -2.87013 -6.92908 6.0001 vertex 7.35588 -1.46317 6.0001 vertex 5.30329 5.30329 6.0001 vertex 6.92909 2.87012 6.0001 vertex 0 -6.33566 7.50886 facet normal -0.625095 -0.250151 0.739379 facet normal -8.715381e-002 -3.881200e-004 9.961948e-001 vertex 5.305260e+000 -1.044584e+000 2.495526e+001 facet normal 0.301701 0.851405 0.429052 facet normal -0.590358 0.804069 0.0703596 facet normal 3.629390e-15 -4.880188e-15 1.000000e+00 facet normal 0.995185 0.098015 3.57647e-06 facet normal 1.115437e-07 -1.000000e+00 -7.026314e-07 facet normal -0.796836 -0.241804 0.553699 facet normal -0.15155 0.00987306 0.9884 vertex 5.2649 4.9518 6.88859 facet normal -0.989347 0.0973966 0.108199 facet normal 1.284281e-001 2.247494e-001 9.659161e-001 vertex -2.572661e+000 -4.580187e+000 2.494118e+001 facet normal -0.528267 0.64375 0.553643 facet normal -0.0817037 0.0823248 0.993251 vertex -5.77664 4.28775 7.9152 facet normal -0.421013 -0.192217 0.886454 facet normal -0.257143 0.137446 0.956549 vertex 4.48624 -6.71414 5.88782 facet normal -0.0980692 -0.99518 0 facet.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after converting most.
- Normal 9.512738e-01 1.552756e-03 3.083435e-01 vertex -1.052251e+02 9.695134e+01 1.105660e+01.