Labels Milestones
Back0.000000e+000 0.000000e+000 1.000000e+000 vertex 2.847970e+000 4.867598e+000 2.496000e+001 vertex -3.765772e+000 5.933461e+000 9.983999e+000 vertex 1.828861e+000 5.328399e+000 2.496000e+001 vertex 4.575243e+000 -3.392458e+000 2.496000e+001 vertex -2.639444e+000 4.519168e+000 2.495526e+001 facet normal -7.070919e-001 -3.148546e-003 7.071146e-001 vertex 5.111291e+000 1.007660e+000 2.484855e+001 facet normal 0.360201 0.282974 0.888921 facet normal -0.816128 -0.545352 -0.191121 facet normal -9.160505e-01 -2.251156e-03 -4.010566e-01 vertex -1.071910e+02 9.695134e+01 5.121917e+00 facet normal -0.012671 -0.705364 0.708732 vertex 7.28282 0.821781 7.24568 facet normal -0.115076 0.00068584 0.993356 vertex -6.56738 -0.762348 7.85113 facet normal -0.257261 -0.262755 0.929934 vertex 0.431314 -7.35291 6.95641.
- 162.105 115.145 (end 168.85 124.8875.
- -0.0645513 0.533418 0.843385 facet normal 0.262695 0.257305.
- 0.805071 0.0992566 facet normal 0.0914036.
- Normal 2.588516e-001 6.303782e-004 9.659169e-001 facet normal 0.0817217.
- SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b