Labels Milestones
Back-0.547914 -0.449667 0.7054 vertex -5.64888 -7.91125 3.26879 facet normal -0.990438 0.0975473 0.0975565 vertex -8.99402 0.0606976 4.51215.
- -0.0942435 0.0285886 0.995139 vertex.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint.
- -0.101834 0.119237 0.98763 facet.
- 7.39621 -0.0908976 6.86711 vertex 7.40505.
- -0.435818 0.815358 0.381123 vertex -5.53561 -8.28463.