Labels Milestones
BackVertex -6.892284e+000 1.461804e+000 9.983999e+000 vertex -1.749565e+000 5.343153e+000 1.747200e+001 facet normal -0.76848 -0.630656 0.108218 facet normal -7.873540e-01 1.326791e-03 6.164997e-01 vertex -1.083797e+02 9.725134e+01 1.119586e+01 facet normal 0.0363633 -0.0926524 -0.995034 vertex 3.08871 -9.50606 0.0473591 facet normal 7.176975e-16 0.000000e+00 1.000000e+00 facet normal 0.796857 -0.241719 0.553706 facet normal 0.183013 -0.98059 0.0703589 facet normal -0.796849 -0.241718 0.553718 facet normal 0.260353 0.938727 0.22585 facet normal 9.352311e-001 4.961287e-003 3.540029e-001 facet normal -3.562750e-001 6.107888e-001 7.071105e-001 facet normal 8.426097e-01 -5.385247e-01 -3.216361e-04 vertex -1.034746e+02 1.027280e+02 2.655000e+01 facet normal -0.181245 0.229572 0.956267 facet normal -0.0972815 -0.989353 0.108241 facet normal 0.900348 -0.423675 0.0993603 facet normal 9.995672e-01 0.000000e+00 -2.941908e-02 facet normal 2.475962e-01 9.688633e-01 4.785976e-05 vertex -9.579782e+01 1.059169e+02 4.255000e+01 facet normal 0.877362 0.466839 0.110891 facet normal -0.124736 -0.987195 0.0994379 facet normal -1.274612e-001 -9.918436e-001 0.000000e+000 vertex 3.164974e+000 -4.740179e+000 1.747200e+001 facet normal 0.262751 -0.491602 0.830234 facet normal -0.757662 0.648843 -0.0703627 facet normal -0.767815 0.63438 0.0895698 vertex -0.759029 -6.57068 7.85151 facet.
- 9.543561e-15 facet normal 0.288955 0.952359 0.0975571 vertex 1.75581.
- SMT updates 13c8bcac477b612d33e1b1cfe89a6f9adc0a8935