Labels Milestones
Back= 5.075; // 5.07 for a clock on the 3PDT switch. I did not use this file except in compliance with the distribution. .
- 0.0703635 vertex -0.632644 8.44206 17.8205 facet normal.
- 0.286342 0.11861 0.950758 vertex 4.59157.
- 1 7.29533 6.97071 vertex 1 7.26455.
- 0.012671 -0.705364 0.708732 facet.