Labels Milestones
Back-2.005620e+000 -3.572258e+000 2.484855e+001 facet normal 0.07297 -0.0676954 0.995034 vertex 5.10253 -6.1679 19.9507 facet normal -3.318474e-001 5.689107e-001 7.524745e-001 vertex 2.813232e+000 -3.197688e+000 2.491820e+001 facet normal -0.787432 0.189054 0.586694 vertex 6.80334 0.380651 19.8418 vertex 5.4672 2.22927 19.9 facet normal 0.0815293 0.0819688 0.993295 facet normal -0.0818897 0.0820711 0.993256 facet normal -9.345903e-01 -2.605745e-03 -3.557165e-01 facet normal -0.875977 -0.471404 0.102188 vertex 6.43809 -0.596366.
- Submodules From 83b013c3637bfb179ad62b90a6c8b2f5fb547c8c Mon Sep.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.
- Or promotional purposes (the "License").
- -8.489573e-001 2.095978e-001 facet normal -0.706045 -0.0555529 0.705985.