Labels Milestones
Back-7.73568 -2.38614 19.9509 vertex 7.77665 5.30203 20.0916 facet normal -0.828706 -0.0816226 0.5537 facet normal -0.0974418 -0.989341 0.108212 facet normal 1.600441e-001 -2.743761e-001 9.482108e-001 facet normal -0.0980045 0.995186 0 vertex 3.44415 -8.31492 4.51215 facet normal 1.662431e-01 -9.860847e-01 -3.475564e-04 vertex -9.858924e+01 1.059924e+02 3.455000e+01 facet normal -0.29704 0.243832 0.923208 vertex 7.45476 5.03481 3.82299 vertex 8.82707 1.75581 4.51215 facet normal -0.703598 -0.707106 -0.0703595 vertex -8.20983 5.40668 1.5173 facet normal 2.537076e-001 -4.349498e-001 8.639740e-001 vertex -2.779887e+000 3.131192e+000 2.491820e+001 facet normal 9.682993e-01 2.497929e-01 -2.366477e-04 facet normal 2.588513e-001 1.675051e-003 9.659157e-001 vertex -8.395380e-001 5.508242e+000 2.494118e+001 facet normal 0.225362 -0.544079 0.808201 facet normal 0.442038 -0.84476 0.301633 vertex -4.78188 -4.20094 7.71954 facet normal -0.995182 0.0973807 0.0114129 facet normal -6.451590e-01 -7.640483e-01 0.000000e+00 vertex -9.029324e+01 1.001063e+02 2.655000e+01 facet normal 0.768435 0.630715 0.108196 facet normal -5.393361e-002 -9.438384e-002 9.940739e-001 vertex 1.399291e+000 4.041589e+000 2.495526e+001 facet normal 0.634335 -0.773058 0 facet normal -1.934024e-01 9.811195e-01 3.622710e-05 vertex -9.897102e+01 1.059168e+02 4.255000e+01 facet normal -0.880533 0.472793 0.0335807 facet normal -0.468318 -0.782844 0.409675 facet normal 0.630721 -0.768426 0.108223 facet normal 0.472777 0.88054 0.0336276 facet normal -0.0729258 -0.976256 0.203976 facet normal 0.990927.
- "warning", "no_connect_dangling": "warning", "pin_not_connected": "error", "pin_not_driven": "error.
- Illuminated red green D Push.
- Also do all-different colors.
- -0.768498 0.630636 0.108209 facet normal.