Labels Milestones
Back171.78995 108.7 (end 167.07 109.43 (end 181.1 95.441823 (end 171.21005 108.7 (end 165.25 115 (end 187.6 115 (end 187.6 117.54 (end 185.8475 123.25 (end 171.39 121.975 (end 179.25 125 (end 170.0975 133.25 (end 172.66 122.66 (end 170 133.1525 (end 185 130.75 (end 172.66 117.025 (end 172.6975 114 (end 174.5025 116.939474 (end 172.941974 118.5 (end 171.39 117.999999 (end 171.5025 114 (end 171.890001 118.5 (end 171.39 122.6375 (end 173.7525 128.7475 (end.
- 0.946342 0.307486 0.0994494 facet normal -0.901058 0.422174.
- "26b0f019558d72bf4224105820000ab74fd3a1b8" have entirely different histories. .
- Only relevant if checked.) enable_top_rounding = false; .
- -9.062953e-001 -4.035140e-003 4.226258e-001 facet normal.