Labels Milestones
Back-0.61602 -0.52598 0.5864 vertex 6.29579 -1.61648 19.9 facet normal -4.064223e-001 -7.112379e-001 5.735517e-001 vertex 3.424517e+000 3.845810e+000 2.480400e+001 facet normal 0.76932 0.631369 0.0975751 vertex -6.31675 6.4027 4.51216 facet normal -5.477259e-002 9.390085e-002 9.940737e-001 vertex -4.203549e+000 -8.732827e-001 2.495526e+001 facet normal -0.815973 0.545444 -0.191517 facet normal -0.884724 -0.268377 0.381099 facet normal 3.433101e-001 9.392222e-001 -0.000000e+000 vertex 7.011378e+000 1.060435e+000 1.747200e+001 facet normal 0.603866 0.370049 0.705981 facet normal -0.95694 -0.290287 5.63314e-06 facet normal 4.926586e-001 -8.446026e-001 2.096043e-001 vertex -2.724592e+000 3.036393e+000 2.475471e+001 facet normal 9.960533e-001 4.761461e-003 8.862916e-002 vertex -4.001087e+000 -8.723810e-001 2.470218e+001 facet normal 0.938725 0.284755 0.194192 vertex -2.33215 9.81063 2.58057 facet normal -0.758952 -0.0816197 0.646011 vertex 6.57572 0 7.16319 vertex -4.767 4.767 7.03201 facet normal -0.111552 -0.367735 0.923216 vertex 6.33827 -6.38504 3.82299 facet normal -0.0702817 0.382543 0.921261 facet normal -2.802933e-02 -9.996070e-01 -3.536497e-04 vertex -9.778748e+01 9.171995e+01 1.855000e+01 vertex -9.578389e+01 1.059137e+02 3.455000e+01 facet normal 0.768426 0.630721 0.108223 facet normal 0.288318 -0.956944 0.0336339 vertex 7.11659 1.0528 7.9152 facet normal -9.052805e-01 -2.848077e-03 -4.248047e-01 facet normal -9.952711e-01 9.713563e-02 2.477278e-04 vertex -1.045208e+02 9.979874e+01 4.255000e+01 vertex -1.044931e+02 9.780567e+01 4.255000e+01 facet normal -0.343403 0.6852 0.64232 facet normal -0.502125 -0.307702 0.808202 facet normal 9.901788e-01 1.398071e-01 0.000000e+00 vertex -1.030077e+02 9.441667e+01 2.655000e+01 facet normal -2.280411e-15 -5.560240e-15 1.000000e+00 facet normal -0.758301 0.622313 0.19418 vertex -8.58625 5.28808 2.58057 facet normal -9.838707e-002 1.596288e-004 9.951482e-001 facet normal -1.120389e-15 6.002714e-16 -1.000000e+00 facet normal -0.634832 -0.772567 0.0113625 facet normal 0.488315 0.595017 -0.63836 facet normal 4.566412e-001 -7.828545e-001 4.226318e-001 vertex -3.417320e+000 3.815345e+000 2.480400e+001 facet normal 0.995171 -0.0981585 0 vertex 2.85317 0.927051 9.999 facet normal 0.29705 0.243786 0.923217 facet normal 4.203270e-16 -1.856182e-15 -1.000000e+00 facet normal -8.104236e-01 -1.684634e-04 5.858443e-01 facet normal 4.053178e-001 7.118654e-001 5.735549e-001 vertex -5.251219e-003 5.818095e+000 2.482134e+001 facet normal 0.638745 0.741889 0.203973 vertex -4.37272 -5.83103 7.67586 vertex 5.82788 -4.38745 7.61242 vertex 4.37272 5.83103 7.67586 vertex 7.22332 1.01854 7.61242 vertex 1.03118 7.21514 7.67586 facet normal -0.956934 0.288348 0.0336403 facet normal -9.104766e-01 1.574261e-03 -4.135575e-01 facet normal 0.271031 -0.654318 0.705982 vertex 6.08133 1.22155 19.4867 vertex 2.6794 1.7206 19.8418 facet normal 0.114971 -8.78678e-05 0.993369 vertex -6.27889 -0.209414 7.81747 facet normal -5.393331e-002 -9.438337e-002 9.940739e-001 vertex 1.435524e+000 -4.095611e+000 2.495526e+001 facet normal 0.277898 -0.916105 0.289006 vertex -8.28921 -3.4335 4.79464 facet normal -0.989348 -0.0974089 0.108177 facet normal 0.564081 0.273132 0.779238 facet normal -0.615691 0.525861 0.586851 facet normal 0.98848 0.0980333 0.115312 facet normal 0.525856 0.61569 0.586857 facet normal 0.0819801 0.0822463 0.993235 vertex 7.36167 -0.0587368 6.86308 facet normal -0.554748 0.0546376 0.830223 vertex -9.12468 0.183929 3.76384 facet normal -0.532833 -0.843291 -0.070358 facet normal 0.290274 -0.956869 -0.0119204 facet normal 0.84476 0.442038 0.301633 vertex -4.25586 4.81447 7.51797 vertex 0.410784 -6.35181 7.71954 facet normal 0 -0.95694 -0.290284.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates.
- Normal 0.644981 -0.00905415 0.764145 facet normal 0.0376634.
- 4.6363 7.51116 vertex 6.27065 0 7.71007 vertex.
- -0.11861 0.950758 facet normal 0.03414.