Labels Milestones
Back4.94225 -0.762348 21.7809 facet normal 6.453925e-02 2.878077e-03 -9.979110e-01 facet normal -0.097579 -0.990436 0.0975395 facet normal -3.422929e-001 5.872829e-001 7.334401e-001 facet normal -0.95132 -0.288583 0.108209 vertex -4.84143 3.23494 21.335 facet normal 9.901787e-01 1.398071e-01 -2.506079e-04 facet normal -0.331801 0.353615 0.874566 facet normal 0.831471 0.555568 0 vertex 5.25861 -3.8206 20 vertex 6.04355 2.39281 20 vertex 5.69599 -3.1314 20 vertex -0.408138 -6.48717 19.9 vertex 6.19038 1.70385 19.9 vertex 2.23191 -1.10469 19.8418 vertex 5.86953 1.46953 19.4867 facet normal -3.261675e-01 5.590515e-03 -9.452954e-01 facet normal -0.327119 -0.94236 0.0703596 vertex -10.2731 -4.94726 0.18985 facet normal 0.995114 -0.0980118 -0.0119198 facet normal 7.201970e-13 1.000000e+00 1.142989e-14 facet normal -0.488851 0.594612 -0.638327 vertex 3.33342 -4.98882 6.59 facet normal -9.062919e-001 -4.035125e-003 4.226330e-001 facet normal 0.362608 -0.422016 0.830914 vertex 5.64771 4.69512 7.09873 facet normal 0.116114 -0.00043693 0.993236 facet normal 0.993102 0.0624781 0.0992224 vertex 7.93692 -1.00267 20 facet normal 0.0819349 0.0819588 -0.993262 vertex -4.44467 3.03604 21.8214 vertex 4.24331 2.97557 21.7998 vertex 4.03376 -2.95564 21.7809 facet normal 9.512738e-01 -1.552756e-03 3.083435e-01 vertex -1.052128e+02 9.695134e+01 1.101727e+01 facet normal -0.0975142 0.989389 0.107702 facet normal -9.415584e-001 -3.760120e-003 3.368289e-001 vertex 5.043358e+000 2.888088e+000 2.473857e+001 facet normal -9.502703e-01 -3.114264e-01 0.000000e+00 facet normal -0.60388 0.370041 0.705973 facet normal 0.97743 -0.186453 0.0993255 facet normal 8.499132e-16 8.440531e-16 -1.000000e+00 facet normal -3.279645e-001 -5.711591e-001 7.524737e-001 vertex 3.480290e+000 2.717579e+000 2.488700e+001 facet normal 0.115006 -0.000268624 0.993365 facet normal 4.127373e-001 -7.075863e-001 5.735586e-001 facet normal -1.803483e-15 -1.458500e-15 -1.000000e+00 facet normal -1.372543e-01 -3.822440e-04 9.905358e-01 vertex -1.074953e+02 9.695134e+01 1.151524e+01 facet normal -0.779907 0.400391 0.481074 facet normal -0.88053 0.472795 0.0336363 facet normal -0.109834 0.552183 -0.826456 vertex 0.4 3.00952 6.59 vertex -2.2961 -5.54328 6.59 facet normal 4.866830e-001 -8.343586e-001 2.588152e-001 facet normal 7.480910e-001 6.635962e-001 -0.000000e+000 vertex 6.948225e+000 1.404741e+000 9.983999e+000 vertex 7.097801e+000 1.470900e-002 2.496000e+001 vertex -7.050429e+000 -2.769859e-001 1.747200e+001 facet normal -3.176351e-001 -1.414590e-003 9.482120e-001 facet normal -8.465037e-01 -5.104532e-03 5.323584e-01 vertex -1.045610e+02 9.725134e+01 9.661099e+00 facet normal 8.724472e-001 3.883931e-003 4.886929e-001 facet normal 0.00385378 -0.367708 0.929933 vertex 0.303284 7.37107 6.90571 facet normal -0.48977 -0.507679 0.708793 facet normal 1.417670e-15 1.433165e-16 -1.000000e+00 facet normal -9.337791e-01 0.000000e+00 3.578498e-01 vertex -1.044427e+02 9.725134e+01 9.848157e+00 vertex -1.044427e+02 9.665134e+01 9.848157e+00 facet normal -4.382640e-13 -1.000000e+00 -1.269824e-13 facet normal 1.567822e-01 -8.579745e-03 -9.875959e-01 vertex -1.074583e+02 9.665134e+01 1.288679e+01 vertex -1.073620e+02 9.695134e+01 1.289688e+01 vertex -1.071647e+02 9.665134e+01 1.291051e+01 facet normal -0.471394 0.881923 0 vertex 5.66146 -8.47298 0 vertex -2.42705 1.76336 0 vertex.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates SMT updates.
- -8.09017 -5.87785 0 facet normal 0.0817958 0.0819182 -0.993277.