Labels Milestones
Back0.502128 0.307703 0.808199 facet normal -0.956937 -0.288339 0.0336393 facet normal -7.640483e-01 6.451590e-01 3.338815e-04 vertex -1.032505e+02 1.030635e+02 1.855000e+01 vertex -9.229821e+01 9.381542e+01 3.455000e+01 vertex -9.073906e+01 9.614893e+01 1.055000e+01 facet normal 0.679084 0.550873 0.485163 facet normal -9.060174e-001 4.232404e-001 0.000000e+000 vertex 4.517993e+000 -5.507795e+000 9.983999e+000 vertex 5.035786e+000 -5.036913e+000 9.983999e+000 vertex -6.551333e+000 -2.663729e+000 9.983999e+000 vertex 4.519256e+000 3.397341e+000 1.747200e+001 facet normal -9.547711e-01 -2.973418e-01 -1.116194e-05 facet normal -9.675080e-001 -2.528406e-001 0.000000e+000 vertex -2.013369e+000 5.249184e+000 9.983999e+000 vertex 5.326315e+000 1.930454e+000 9.983999e+000 vertex 3.962210e+000 4.025312e+000 2.496000e+001 vertex 6.805400e+000 -2.057571e+000 2.496000e+001 vertex 2.614851e+000 6.540324e+000 9.983999e+000 vertex -6.551333e+000 -2.663729e+000 2.496000e+001 vertex 5.358002e+000 -1.912462e+000 9.983999e+000 vertex -6.866518e+000 -1.662893e+000 2.496000e+001 vertex -3.465548e+000 6.113461e+000 1.747200e+001 facet normal 0.421012 0.192238 0.88645 facet normal 0.48503 -0.124395 0.865605 facet normal 0.0980159 0.995185 0 facet normal 0.807217 -0.0635208 0.586827 vertex 1.95005 0.326085 19.9 facet normal -2.498262e-001 -4.371958e-001 8.639715e-001 facet normal 0.468115 0.312708 -0.826488 facet normal 5.019336e-001 -8.605022e-001 8.716998e-002 vertex -2.511928e+000 4.300558e+000 2.470218e+001 facet normal -2.355092e-15 -2.664979e-15 -1.000000e+00 facet normal 0.90035 -0.423684 0.0993093 facet normal -0.705364 0.012671 0.708732 facet normal -1.109609e-01 -9.938247e-01 3.470025e-04 vertex -9.838081e+01 9.177800e+01 4.255000e+01 facet normal 0.705404 0.0127296 0.708692 vertex -7.31348 -0.673589 7.09873 facet normal -5.826195e-02 3.265610e-03 -9.982960e-01 facet normal -0.991524 0.109222 -0.0703609 vertex 4.36742 -7.5646 12.498 facet normal -8.878836e-16 -1.000000e+00 1.046208e-14 facet normal -0.479367 -0.871971 0.0993685 vertex -4.25779 -9.04827 0 facet normal 0.471406 0.881916 -0 facet normal -0.290189 0.956969 -5.37408e-06 facet normal -0.551953 0.109791 -0.826616 facet normal 9.974370e-01 -1.088294e-03 -7.154250e-02 vertex -9.053666e+01 1.011024e+02 1.140959e+01 facet normal -0.284751 -0.938727 0.194185 facet normal 0.681166 -0.725363 0.0993075 facet normal -0.000176263 0.115309 0.99333 vertex -0.41258 -6.33525 7.82405 facet normal 0.462425 -0.836797 0.293145 vertex 6.35181 -0.410784 7.71954 vertex 4.59658 -4.30043 7.71246 facet normal -9.907067e-001 -4.411429e-003 1.359439e-001 facet normal -0.392551 -0.734383 0.553702 facet normal -0.88076 -0.468307 -0.0703597 vertex 9.13419 4.29749 0.0491304 facet normal 0.0938358 -0.952717 0.289008 vertex 8.97218 0 4.79464 vertex 8.79978 -1.75038 4.79464 facet normal -0.995184 0.0980238 0 facet normal -0.528267 0.64375 0.553643 facet.
- 5.491814e-01 -8.509780e-04 8.357028e-01 facet normal 0.956969.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.