Labels Milestones
Back-1.046924e+02 9.695134e+01 1.225997e+01 facet normal -0.012671 0.705364 0.708732 vertex 7.28282 -0.821781 7.24568 facet normal 0.114222 0.990961 -0.0703538 vertex 6.72192 6.3123 7.78861 facet normal 0.0817037 -0.0823248 0.993251 vertex 5.59201 4.18951 7.89187 facet normal 8.715076e-002 3.880389e-004 9.961951e-001 vertex -5.263578e+000 9.614641e-001 2.495526e+001 facet normal 1.815339e-01 6.805394e-03 9.833611e-01 facet normal 0.63014 0.772994 0.0735165 facet normal -4.847907e-001 8.302385e-001 2.751038e-001 facet normal 0.081207 -0.0813448 0.993372 vertex 4.29176 -4.58792 7.81747 facet normal -0.88186 -0.471361 -0.0119414 facet normal -0.237813 0.388084 0.890413 facet normal 0.243764 0.188081 0.951422 facet normal -0.111545 -0.367721 0.923222 vertex -8.81404 1.79875 3.82299 facet normal 0.0914209 0.463058 0.8816 vertex 4.61842 -4.98874 7.03804 facet normal -0.880533 -0.472793 0.0335807 facet normal 0.268375 -0.884724 0.381101 vertex -10.0771 -0.373379 2.58057 facet normal 9.953861e-01 1.931690e-14 -9.595103e-02 facet normal 0.991506 0.0943295 0.089547 vertex 5.19155 -4.11812 7.7465 facet normal -0.245613 0.96426 0.0993777 vertex 2.85317 -0.927051 0 vertex -8.65691 5.31736 0 facet normal 0.55557 0.83147 0 vertex 9.99456 -1.98804 2.19603 facet normal 0.499992 -0.86603 -1.51289e-06 facet normal 0.382478 0.447795 0.808202 vertex 3.41722 -1.35267 19.1916 vertex 5.15907 1.48976 19.1916 facet normal 9.901828e-01 -1.397735e-01 1.144797e-03 vertex -1.045318e+02 9.970655e+01 1.855000e+01 vertex -9.390516e+01 1.051966e+02 1.855000e+01 vertex -9.617960e+01 1.059924e+02 1.855000e+01 vertex -1.008634e+02 9.260606e+01 1.855000e+01 vertex -1.024704e+02 1.039873e+02 1.055000e+01 vertex -9.617960e+01 1.059924e+02 1.855000e+01 vertex -1.041733e+02 9.652563e+01 1.855000e+01 vertex -1.040294e+02 9.614870e+01 1.855000e+01 vertex -1.012112e+02 1.049915e+02 1.855000e+01 vertex -9.657885e+01 9.175388e+01 2.655000e+01 facet normal 0.49996 0.866048 8.13718e-05 facet normal 0.248691 0.968583 0 facet normal 8.195453e-001 -5.730144e-001 0.000000e+000 vertex 3.956218e+000 -5.925223e+000 9.983999e+000 vertex.
- 3.260393e-003 7.334392e-001 facet normal 0.491338 -0.598691.
- 0.0974658 0.0113699 facet normal 3.58571e-05 -0.116097 0.993238 vertex.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint.