Labels Milestones
Back8.485419e-01 vertex -1.090935e+02 9.665134e+01 5.970404e+00 facet normal 0.538537 0.459965 0.705981 vertex 3.4565 1.85172 19.4867 vertex 5.15907 -1.48976 19.1916 vertex 4.20843 1.20951 18.9636 vertex 3.64093 -1.48976 19.1916 vertex 2.93047 1.46953 19.4867.
- 13.3567 vertex 1 6.3311 13.3597.
- "net_colors": null, "netclass_assignments": null, updates to rev 2.
- Pin top tented version (manually modified). For.