Labels Milestones
Back8.339368e-001 -5.510304e+000 2.488700e+001 facet normal -0.144955 0.617512 0.77309 facet normal 9.013770e-01 2.530432e-03 4.330278e-01 vertex -1.092681e+02 9.725134e+01 9.961018e+00 facet normal 6.903770e-01 -8.143624e-05 7.234498e-01 vertex -1.088945e+02 9.695134e+01 5.816114e+00 vertex -1.088040e+02 9.665134e+01 5.729638e+00 facet normal 0.45399 0.891007 -0 vertex 7.20568 7.20568 2.19603 facet normal -0.881916 -0.471406 0 vertex -5.31736 -8.65691 0 facet normal -0.0914209 -0.463058 0.8816 vertex -4.61842 4.98874 7.03804 facet normal 0.60884 0.184688 0.771495 facet normal 0.681193 0.725337 0.0993103 facet normal -0.989353 -0.0972815 0.108241 facet normal 0.757711 -0.648786 0.070359 facet normal -0.195092 -0.980785 0.000212318 vertex 0.405111 3.34442 6.59 facet normal -8.191506e-001 -4.917467e-003 5.735574e-001 vertex 5.082404e+000 2.910863e+000 2.482134e+001 facet normal -2.104691e-001 -3.664425e-001 9.063237e-001 vertex 4.372466e+000 3.435654e+000 2.491820e+001 facet normal 7.859011e-01 2.680818e-03 6.183464e-01 facet normal 0.0915932 0.0112271 0.995733 facet normal 0.112453 0.551187 -0.826769 vertex -1.10704 -2.68091 18.9333 facet normal 0.115912 -0.000107246 0.993259 facet normal -0.595624 0.758286 0.265017 facet normal -9.807815e-01 -1.951068e-01 1.022917e-03 vertex -9.037196e+01 1.005020e+02 2.655000e+01 facet normal -4.335000e-001 7.427378e-001 5.103120e-001 facet normal 0.288318 -0.956944 0.0336339 vertex 7.11659 -1.0528 7.9152 facet normal 4.844567e-01 -2.942353e-03 8.748103e-01 vertex -1.094227e+02 9.725134e+01 1.090773e+01 facet normal 0.885456 -0.0559778 0.46134 facet normal -0.706052 0.0555714 0.705976 facet normal -0.500005 0.866022 0 facet normal -0.0600064 0.144869 0.98763 facet normal -0.920082 0.0906197 0.381101 vertex 2.27473 -9.67202 2.94279 vertex 1.94385 -9.77239 2.94279 facet normal -9.659106e-001 -5.496110e-003 2.588178e-001 vertex -4.996787e+000 -2.117010e+000 2.470218e+001 facet normal -0.865136 -0.462421 0.194181 facet normal -0.990927 0 0.134403 facet normal -0.0645513 0.533418 0.843385 facet normal -0.000107246 -0.115912 0.993259 facet normal 0.740031 0.607321 0.288991 vertex -6.34429 6.34429 4.79464 facet normal -0.499916 0.866074 -0.000442208 facet normal -0.257143 -0.137446 0.956549 vertex -6.71414 -4.48624 5.88782 facet normal -0.036199 -0.0923587 0.995068 vertex 5.10003 -6.16972 19.9507 facet normal 5.000000e-001 8.660254e-001 -0.000000e+000 vertex 6.657893e+000 2.413067e+000 9.983999e+000 vertex -5.569738e+000 4.292930e+000 1.747200e+001 facet normal -0.0815519 0.0814596 0.993335 vertex 4.42536 -4.42536 7.81508 facet normal -9.327278e-01 3.142306e-03 3.605676e-01 vertex -1.043655e+02 9.695134e+01 1.004954e+01 facet normal 3.496754e-001 6.145911e-001 7.071103e-001 vertex 5.115862e+000 -1.887361e-002 2.484855e+001 facet normal -8.191610e-001 -3.647569e-003 5.735521e-001 facet normal 0.768435 0.630715 0.108196 facet normal -6.615076e-01 -7.499383e-01 3.287206e-04 vertex -9.277787e+01 9.337724e+01 4.255000e+01 facet normal 0.0624786 0.0761302 0.995138 vertex -6.48017 4.32991 5.97318 facet normal -4.552437e-01 8.903669e-01 9.217512e-05 vertex -9.428938e+01 1.053941e+02 4.255000e+01 facet normal 9.844036e-01 4.260668e-03 1.758735e-01 facet normal 3.712729e-15 -3.367845e-15 1.000000e+00 facet normal -3.359961e-15 -1.000000e+00.
- 9.392227e-001 0.000000e+000 facet normal 4.340321e-001 7.568296e-001 4.886974e-001.
- 0.876745 -0.468624 0.108209 vertex.
- Branch smt_version Notes about.
- [second_col, third_row, 0]; saw_out = [third_col, fifth_row, 0.