Labels Milestones
Back0.111504 -0.36774 0.92322 vertex 6.46493 6.46493 3.76384 vertex -5.12136 7.38374 3.82299 facet normal -8.839778e-001 4.675288e-001 0.000000e+000 vertex 2.723071e+000 -6.583945e+000 9.983999e+000 vertex -2.516711e+000 6.561480e+000 9.983999e+000 vertex 5.919638e+000 -3.953691e+000 2.496000e+001 vertex 4.782716e+000 -5.278760e+000 1.747200e+001 facet normal -1.950737e-01 -9.807885e-01 -3.523201e-04 vertex -9.898471e+01 9.188895e+01 1.055000e+01 facet normal -0.807331 0.0635428 0.586668 facet normal -1.950737e-01.
- 6.86157 2.58057 facet normal 0.163052 0.820224 -0.548312 vertex.
- 17 lines Notes from debugging Clock.
- Whether 8+6 pins .