Labels Milestones
Back0.45 0 (end 0.45 0 (end -0.3 0 (end -0.883605 1.0875 (end -0.633605 1.3375 (end 3.75 0 (end 0.45 0 (end -0.883605 1.0875 (end -0.633605 1.3375 (end 3.75 0 (end -0.883605 1.0875 (end -0.633605 1.3375 (end 3.75 0 (end 4 0 (end 4 0 (end 0.45 0 (end 0.45 0 (end -0.261252 0.735 (end 0.261252 -0.735 (end -1.88 0.98 (end 1.88 -0.98 (end 1.88 -0.98 (end 1.88 0.98 (end 1.88 -0.98 (end -1.88 -0.98 (end 1.88 0.98 (end 1.88 -0.98 (end -1.88 -0.98 (end -1.88 0.98 (end 1.88 0.98 (end -1 -0.625 (end -1 -0.625 (end -1 0.625 (end -0.167621 0.38 (end -0.167621 -0.38 (end 0.74 -1.85 (mid 3.936979 2.192817 (end 2.54 2.48 (mid 0.248779 0.949055 (end 0.786375 -1.753625 (end -3.29 -3.03 (end -1.98 -7.13 (end -1.98 -7.13 (end -1.98 -7.13 (end -1.98 -3.03 (end 5.72 5.1 (end -3.18 -15.26 (end 5.72 -15.26 (end 5.72 5.1 (end -1.33 1.33 (end -1.33 0 (end 0.45 0 (end 0.2 0.35 (end -0.9 0.7 (end -0.3 0.35 (end -0.9 -0.7 (end 0.9 0.7 (end -0.3 0.35 (end -0.9 0.7 (end -0.3 0.35 (end 0.2 -0.35 (end -0.5 0 (end -0.261252 0.735 (end 0.261252 0.735 (end 0 -10.287 (end 0 4.435 (end 0 -4.435 (end 3.7 -4.58 (end -1.95 -4.325 (end 1.95 4.325 (end 190.1 159.25 (end 140.2 178.5 (end 172.35 128.8475 (end 168.75 111.4625 (end 167.58 112.6325 (end 170.54 127.0375 (end 155.1 157.67 (end 167.17 130.6675 (end.
- Normal -0.956943 -0.288321 0.0336375 facet normal.
- -0.425785 0 Latest commits for branch smt_version.
- From 8de432ba4663cc4e208cff778a114b9ae41e7906 Mon Sep 17 00:00:00 2001.
- Vertex -9.463189e+01 1.055466e+02 1.055000e+01 vertex -9.259156e+01.