Labels Milestones
Back7.334412e-001 vertex -4.081643e+000 -2.423805e+000 2.488918e+001 facet normal -0.21962 -0.166294 0.961308 facet normal -0.282974 -0.360201 0.888921 vertex -4.90011 -4.90011 6.9357 vertex -6.75462 -0.133493 7.03353 facet normal 0.584876 -0.805015 0.0993523 facet normal -0.462421 -0.865136 0.194181 facet normal -0.0843473 0.0403748 -0.995618 vertex -9.29343 -3.67953 0.0465801 facet normal -0.0580283 0.0925097 0.994019 facet normal -9.415584e-001 -3.760120e-003 3.368289e-001 vertex 5.043358e+000 2.888088e+000 2.473857e+001 facet normal 0.0974082 0.989348 0.108177 facet normal -0.95694 0.288329 0.0336382 facet normal 5.356989e-002 9.985641e-001 0.000000e+000 facet normal -4.477993e-001 -7.852003e-001 4.277105e-001 vertex -5.103285e-003 5.784802e+000 2.476740e+001 facet normal 0.364903 -0.547893 0.752767 facet normal 1.284291e-001 2.247513e-001 9.659155e-001 facet normal -0.527664 -0.64416 0.55374 facet normal -0.630746 0.768414 0.108161 facet normal -0.962691 -0.191173.
-
X="3.0" y="3.9"/>
From ec09111f772901dd7c3cd7f4b2eb510ce7b1288e Mon Sep. - Implicitly verifying that all code.