Labels Milestones
Back-3.509130e+000 2.751472e+000 2.494118e+001 facet normal 0.361949 -0.422682 0.830862 vertex 4.83492 -5.54018 6.98312 vertex -5.54554 -4.83932 6.98393 facet normal -0.279012 -0.0846382 0.95655 vertex -3.09018 7.46035 5.88782 facet normal -6.586177e-001 -2.932393e-003 7.524720e-001 vertex -4.086454e+000 -8.727611e-001 2.488700e+001 facet normal -0.629688 -0.768246 0.115285 facet normal -0.954699 -0.292521 0.0546087 facet normal 0.796851 -0.241732 0.553709 facet normal -6.586177e-001 -2.932776e-003 7.524720e-001 vertex 4.119798e+000 8.062651e-001 2.488700e+001 facet normal -0.552477 0.109968 -0.826242 vertex -3.17521 0 18.7502 vertex 2.39694 1.84575 18.8154 vertex -2.24521 2.24521 18.7502 facet normal 4.084288e-01 9.127902e-01 -0.000000e+00 facet normal -0.0376334 -0.272864 0.961316 facet normal -0.00709116 -0.09928 0.995034 vertex -5.83308 5.48186 19.9508 facet normal 0.880764 -0.468299 0.0703603 facet normal 0.884711 -0.22241 0.409659 vertex -0.932982 -7.19919 7.41293 vertex 5.5867 4.34382 7.39225 vertex -7.08696 0.77032 7.22283 vertex 4.43088 -5.75031 7.41293 facet normal 0.946342 -0.307486 0.0994494 facet normal 7.656381e-01 0.000000e+00 -6.432716e-01 vertex -1.089715e+02 9.715134e+01 1.226808e+01 vertex -1.090719e+02 9.725134e+01 1.214754e+01 facet normal -0.630556 0.768559 0.108246 facet normal 0.0972815 -0.989353 0.108241 facet normal -5.735893e-001 -2.554085e-003 8.191390e-001 facet normal -0.995456 -0.0673293 -0.0673293 vertex 6.95569 -6.45394 6.17309 vertex 7.33751 -6.93273 0.0491304 vertex 8.79099 4.40735 1.49673 vertex 8.91331 4.48913 0.0389554 facet normal 0.0555716 -0.706052 0.705976 facet normal -0.634341 0.773053 -1.43199e-05 facet normal -6.615076e-01 -7.499383e-01 3.287206e-04 vertex -9.277787e+01 9.337724e+01 4.255000e+01 facet normal 2.588493e-001 1.152847e-003 9.659171e-001 vertex -5.215618e+000 1.988232e+000 2.494118e+001 facet normal -4.268678e-001 -7.465673e-001 5.103148e-001 facet normal 0.683075 -0.61809 0.389067 vertex 5.79165 -4.46475 7.41914 facet normal 0.100994 0.992167 0.0735183 vertex -2.97557 -4.24331 21.7998 facet normal -9.104778e-01 0.000000e+00 -4.135580e-01 facet normal 0 0.993572 0.113203 facet normal 5.011261e-001 -8.639795e-001 4.911378e-002 facet normal -0.0975142 0.989389 0.107702 facet normal 4.784223e-001 8.781298e-001 -0.000000e+000 vertex 3.541821e+000 4.395136e+000 9.983999e+000 vertex 1.726210e+000 -6.911484e+000 2.496000e+001 vertex 5.146404e+000 -2.430847e+000 9.983999e+000 vertex 4.221271e+000 -3.826278e+000 9.983999e+000 vertex 7.494236e-007 9.984000e+000 0.000000e+000 facet normal -3.799200e-01 -9.250193e-01 -3.443423e-04 vertex -9.993071e+01 9.217447e+01 2.550000e+00 facet normal -4.120040e-001 -9.111820e-001 0.000000e+000 vertex -4.567763e+000 -3.354764e+000 1.747200e+001 facet.
- From v1.1 SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after.
- 0.000176263 0.115309 0.99333 vertex -0.41258 -4.71011 21.7538 facet.