Labels Milestones
Back-8.15582 5.767 0.0397416 facet normal -0.271019 0.654332 0.705973 facet normal 3.731915e-001 -6.401222e-001 6.715442e-001 vertex -5.105716e+000 2.887900e+000 2.486861e+001 facet normal 0.878606 0.0865364 0.469642 vertex 1.73373 -8.71606 5.07603 facet normal -0 0.0928906 0.995676 vertex 1.84182 -8.06952 19.9688 facet normal -0.989359 -0.0973251 0.108147 facet normal -5.967591e-01 8.024204e-01 1.230855e-04 vertex -9.325429e+01 1.047901e+02 4.255000e+01 facet normal 0.957361 0.114987 0.265023 facet normal 0.0127267 -0.705404 0.708692 vertex -7.29119 -0.781299 7.20554 facet normal 1.219172e-14 -1.000000e+00 -7.933715e-15 facet normal 0.00146195 -0.116322 0.99321 facet normal 0.423019 -0.690473 0.586772 facet normal -0.773356 0.633859 -0.0119696 facet normal -0.471401 0.881919 0 vertex 0.388301 10.1521 2.19603 facet normal -9.507957e-01 8.916102e-03 -3.096902e-01 facet normal 0.0463745 0.470877 0.880979 vertex 8.17421 1.62595 5.74921 facet normal -0.367478 -0.924721 0.0992563 facet normal 0.654317 -0.271031 0.705982 vertex 2.23191 1.10469 19.8418 vertex 5.86953 -1.46953 19.4867 facet normal -5.741950e-01 -8.187185e-01 3.340390e-04 vertex -1.016764e+02 9.312963e+01 4.255000e+01 facet normal -0.081929 -0.133699 0.98763 facet normal -0.23112 -0.46415 0.855072 facet normal -0.0896453 0.0431708 -0.995038 vertex 9.06526 4.16628 0.0386766 vertex 8.9219 -4.12097 1.53167 facet normal 8.456261e-02 2.365524e-03 -9.964154e-01 facet normal 1.087044e-001 4.840526e-004 9.940740e-001 facet normal 1.950737e-01 9.807885e-01 3.526958e-04 vertex -9.617960e+01 1.059924e+02 1.055000e+01 vertex -1.016811e+02 1.046696e+02 2.550000e+00 facet normal -0.0978932 0.995197 0 facet normal -0.489712 -0.50788 0.708689 facet normal 0.687862 -0.439079 0.577975 facet normal 0.989343 -0.0974261 0.108205 facet normal -0.0348208 -0.996914 0.0703598 vertex 4.16572 -10.6141 0.18985 facet normal -0.532838 0.843287 -0.0703578 vertex -3.44477 -9.2078 1.51264 facet normal -0.55213 0.109736 -0.826505 vertex 2.84551 0.566007 18.8953 facet normal 0.181187 0.338901 0.92321 vertex 5.00013 -7.48323 4.51216 facet normal -0.295594 -0.346112 0.89041 vertex 5.00436 0.43909 18.8084 facet normal 0.261482 -0.103782 0.959613 facet normal -0.297045 0.24378 0.92322 facet normal 0.881816 -0.471442 -0.011941 facet normal -0.77255 -0.634852 0.0113593 vertex -3.28327 -4.80177 21.335 vertex -6.91995 1.06598 10.3435 vertex -1.07374 -5.71699 21.335 facet normal -0.0820584 0.0817537 -0.993269 facet normal 6.933023e-15 -1.000000e+00 -6.787200e-14 facet normal -3.874157e-001 -6.779791e-001 6.247028e-001 facet normal 2.890014e-001 -4.954571e-001 8.191462e-001 vertex -2.565695e+000 4.392734e+000 2.488700e+001 facet normal -0.757656 0.64885 -0.0703637 vertex -0.663325 -10.0728 0.0491304 vertex -9.85076 -0.152107 1.39674 facet normal 5.564408e-02 9.984506e-01 -3.482704e-04 vertex -9.718411e+01 9.171143e+01 2.550000e+00 facet normal -0.0364459 0.0926003 0.995036.
- 9.725134e+01 1.028697e+01 facet normal 9.460566e-01 1.009130e-02.
- Tstamp 6b7d6cc6-a11c-4566-a5f2-ddde4d827642) Final revision; added custom.
- SMT updates d9153c70802a10d2fe554f80f1a497b409aac630