Labels Milestones
Back0.831552 -0.555446 0 vertex 0.388301 10.1521 0 facet normal 2.605896e-15 -7.910530e-01 6.117476e-01 facet normal 9.106134e-01 -1.135808e-03 4.132577e-01 facet normal 4.566410e-001 -7.828537e-001 4.226336e-001 vertex -1.632302e+000 4.829942e+000 2.475471e+001 facet normal 1.600429e-001 -2.743735e-001 9.482117e-001 vertex 1.414349e+000 -4.059309e+000 2.494118e+001 facet normal -0.367478 0.924721 0.0992563 vertex -4.25779.
- afea9d5a2cf23e2a33a2927086270d4d602f5a2b Final revision; added custom DRC.
- (end 171.055 130.305 (end 187.6 114.5 (end.