Labels Milestones
Back166.6 128.9025 (end 165.75 123.4475 (end 176.5025 128.75 (end 165.75 123.4475 (end 176.5025 128.75 (end 166.4475 128.75 (end 165.75 123.25 (end 166.6 128.9025 (end 165.75 123.25 (end 171.39 114.1125 (end 174.5025 116.939474 (end 172.941974 118.5 (end 171.39.
- 0.0818897 -0.0820711 0.993256 vertex -5.22724.
- 6.002714e-16 -1.000000e+00 facet normal 0.309855.
- The holes. From 9a2ab6dc7f0ec109d5ebe8558bd3e6021f5f449d Mon Sep 17.