Labels Milestones
Back4.124057e-003 9.999915e-001 -0.000000e+000 vertex 4.836296e+000 2.935841e+000 2.496000e+001 vertex 6.105788e+000 -3.657241e+000 9.983999e+000 vertex -1.512053e+000 6.864262e+000 9.983999e+000 vertex 6.868123e+000 1.745502e+000 9.983999e+000 vertex -5.033025e+000 -4.995401e+000 9.983999e+000 vertex -7.061718e-001 -7.082244e+000 9.983999e+000.
- (end 2.491 -1.04 (end 3.171 -1.04 (end.
- Be protected by copyright and related or neighboring.
- 62e17d71-a82e-47f7-8a14-a0885fbe0008) Final revision; added custom DRC.