Labels Milestones
Back5.1 -6.67 (end 4.85 4.75 (end -6.5 -4.75 (end 4.85 -4.75 (end 0 -10.287 (end 0 -4.435 (end 3.7 4.58 (end -3.7 4.58 (end -3.7 -4.58 (end -1.95 3.35 (end -0.975 4.325 (end 190.1 159.25 (end 140.2 178.5 (end 172.35 128.8475 (end 168.75 111.4625 (end 167.58 112.6325 (end 170.54 127.0375 (end 155.1 157.67 (end 183.5 156.07 (end 175.136712 137.23 (end 171.6 134.3475 (end 185.1 157.67 (end 183.5 156.07 (end 175.136712 137.23 (end 183.5 145.593288 (end 174.4825 137.23 (end 171.6 134.3475 (end 185.1 157.67 (end 183.5 156.07 (end 175.136712 137.23 (end 171.6 134.3475 (end 185.1 157.67 (end 167.17 155.6 (end 181.6 151.17 (end 152.6 155.17 (end 155.1 157.67 (end 167.17 130.6675 (end 167.17 130.6675 (end 167.17 155.6 (end 181.6 151.17 (end 152.6 130.4475 (end 152.25 130.0975 (end 155.25 124.6 (end 158.5025 126.75 (end 159.25 112 (end 158 113.25 (end 156.1 110.1525 (end 187.6 114.5 (end 155.5975 110.1525 (end 184.5 70.5 (end.
- -7.04362 -0.568952 7.06725 vertex -4.78839 5.45272 6.97207.
- 0.0992224 facet normal 0.865129.
- "nut"){ } module make_surface(filename, h) { cylinder(r=hole_r.
- 7.94263 0.99989 19.9446 facet normal 0.221424 -0.737294 -0.638255.
- Normal -0.0942433 -0.0285897 0.995139 vertex 6.18898.