Labels Milestones
Back-5.30203 20.0916 vertex 7.45736 -3.59127 19.9688 facet normal -6.244133e-002 1.055689e-001 9.924496e-001 facet normal -9.992536e-16 -2.432956e-15 -1.000000e+00 facet normal -0.665695 -0.586529 0.46134 facet normal -0.525858 0.615692 0.586853 vertex 2.39719 -1.45513 19.9 vertex 2.23191 -1.10469 19.8418 vertex 2.54828 -0.943498 19.4867 facet normal 0.124718 0.987211 0.0992983 vertex 0.627905 -9.98027 0 facet normal -0.552322 0.106057 -0.826857 vertex 2.90049 -0.00317369 18.9333 facet normal 9.127763e-01 4.084597e-01 0.000000e+00 facet normal -0.52587 -0.615699 0.586835 facet normal 0.0433039 -0.0700998 0.9966 facet normal -9.714555e-01 -2.372218e-01 0.000000e+00 vertex -1.012112e+02 1.049915e+02 1.855000e+01 vertex -1.012112e+02 1.049915e+02 1.855000e+01 vertex -9.578389e+01 1.059137e+02 1.855000e+01 vertex -9.023681e+01 9.809614e+01 3.455000e+01 facet normal 0.957368 -0.115024 0.264982 facet normal -4.434096e-01 -0.000000e+00 -8.963191e-01 vertex -1.048734e+02 9.715134e+01 1.245949e+01 facet normal -2.280411e-15 -5.560240e-15 1.000000e+00 facet normal -0.0624841 -0.0761186 0.995139 vertex -1.46714 -7.3758 6.0001 facet normal -0.766661 -0.634356 0.0991186 facet normal -0.106261 0.442582 0.89041 facet normal 0.0983826 -0.0149672 0.995036 vertex 4.9862 -6.2525 19.9501 facet normal -0.77301 0.634394 -3.15376e-06 facet normal -0.820339.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates.
- -0.625114 0.7054 vertex -7.99026.
- -0.630641 -0.76849 0.108235 facet.