Labels Milestones
BackVertex -9.21464 -2.08528 3.54602 vertex -8.35972 -3.66179 3.76384 vertex 3.66179 8.35972 3.76384 vertex -6.36396 -6.36396 3 vertex -3.43783 8.30816 3 vertex 7.4763 -4.9955 3 vertex 1.75581 8.82707 3.82299 facet normal -0.224824 -0.741148 0.632577 vertex -8.58011 -1.70669 5.33536 facet normal -0.0820554 0.0808315 0.993344 vertex 5.18289 -4.10946 7.85151 facet normal 0.0980148 0.995185 -3.67514e-06 facet normal -5.477259e-002 9.390085e-002 9.940737e-001 vertex 2.825355e+000 3.226695e+000 2.495526e+001 facet normal 0.584903 0.805014 0.0991981 facet normal -0.92061 0.302887 0.246448 vertex 5.40903 4.19531 7.56202 vertex.
- 4.86024 5.33536 facet normal -4.926591e-001.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates ec67859b1c2779470b99801ce69f8850b83fa3e1
- (7343-31 Metric), IPC_7351 nominal, (Body.