Labels Milestones
Back-0.643664 0.553666 facet normal -0.0600064 0.144869 0.98763 facet normal -0.0821747 0.0822608 0.993217 vertex 5.23616 -5.23616 6.86814 facet normal -6.60207e-05 -0.115483 0.993309 vertex 0.0747576 7.37473 6.86461 facet normal -2.208553e-01 -9.753065e-01 -3.470281e-04 vertex -9.599162e+01 1.059579e+02 2.550000e+00 facet normal -0.992162 -0.101047 0.0735128 facet normal 0.0816274 0.0817217 0.993307 facet normal -0.0819688 0.0815293 0.993295 vertex -4.10478 5.1829 7.85113 facet normal 0.219559 -0.16633 0.961316 facet normal 8.379958e-001 5.456766e-001 0.000000e+000 facet normal 0.779905 0.400414 0.481058 vertex 4.34627 -4.86109 7.33259 vertex 4.69689 4.43444 7.32632 vertex -4.81447 4.25586 7.51797 facet normal -0.00709116 -0.09928 0.995034 vertex 0.597804 7.97715 19.9503 facet normal -0.772965 0.634336 -0.0119421 facet normal -0.295594 -0.346112 0.89041 vertex 4.91667 -1.59016 19.1916 facet normal -0.0992318 -0.0992318 -0.990104 facet normal -0.995186 0.0973393 0.0113559 vertex -5.71699 -1.07374 21.335 vertex -4.87024 -3.18104 21.335 facet normal -9.890313e-01 -1.662785e-03 -1.476967e-01 facet normal 0.586529 -0.665695 0.46134 facet normal -0.0221408 -0.097011 -0.995037 vertex 4.25579 9.04402 0.0469873 vertex 4.83166 8.72838 0.0386444 facet normal 0.741873 0.638759 0.203989 facet normal -0.081357 0.0817431 0.993327 vertex 4.12613 -4.97321 7.83559 facet normal 3.002652e-001 -5.143612e-001 8.032891e-001 vertex -5.153117e+000 2.914987e+000 2.490742e+001 facet normal -7.413586e-01 6.711090e-01 -3.297713e-04 vertex -9.191964e+01 1.035781e+02 2.550000e+00 facet normal 0.630119 0.773011 0.0735069 vertex -6.58293 -0.759029 7.7465 vertex 6.45034 0.596366 7.73103 facet normal 0.766702 -0.634276 0.09931 facet normal -8.403365e-02 -9.964629e-01 0.000000e+00 vertex -1.040295e+02 1.016538e+02 1.055000e+01 vertex -9.539322e+01 1.058130e+02 3.455000e+01 facet normal 9.460989e-001 3.238778e-001 -0.000000e+000 vertex 7.057426e+000.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.
- -4.711469e-001 8.098499e-001 3.495192e-001 vertex.