Labels Milestones
Back157.67 (end 161.04 118.54 (end 156.25 129.25 (end 152.6 155.17 (end 155.1 157.67 (end 161.04 120 (end 154.25 129.25 (end 152.6 155.17 (end 155.1 149.37 (end 155.706823 109.135 (end 150.75 114 (end 174.5025 115.5 (end 183.66 112.0925 (end 181.3 115.5 (end 183.66 112.0925 (end 181.3 115.5 (end 183.66 112.0925 (end 181.3 115.5 (end 172.66 117.025 (end 170 113.876166 (end 163.5 114.510001 (end 183.1975 125.75 (end 186.5 70.5 (end 187 71 (end 189.3 116.7 (end 189.1 80.55 (end 185.6975 111.25.
- 3.382432e-001 1.747200e+001 facet normal -0.768483 -0.630654 0.108209 facet.
- { "min_clearance": 0.5 } }, updates to rev.