Labels Milestones
Back0.108238 facet normal 0.0222629 0.0969963 0.995036 facet normal -1.326702e-08 -1.000000e+00 -7.842617e-07 facet normal 0.362852 -0.678848 -0.63836 vertex 1.17054 5.88471 6.59 facet normal -0.681166 -0.72537 0.0992519 facet normal 0.00385378 0.367708 0.929933 vertex 0.303284 -7.37107 6.90571 vertex 4.89431 -5.50428 6.95641 facet normal -0.163175 0.820344 -0.548096 vertex 0.4 2.99543 18.8172 facet normal -0.25505 -0.430913 0.8656 facet normal 0.367832 0.00399982 0.929883 facet normal -0.101047 0.992162 0.0735128 facet normal -0.993083 -0.0624772 0.0994134 vertex -9.92115 1.25333 0 facet normal 0.60732 -0.740023 0.289014 facet normal 6.716591e-001 3.152779e-003 7.408536e-001 facet normal -0.0992318 -0.0992318 -0.990104 facet normal -0.0568312 0.0727061 0.995733 vertex 5.17982 -5.20899 6.86125 vertex 5.00497 -5.09136 6.87866 facet normal -0.000434052 -0.0977824 -0.995208 facet normal 0.796858 -0.241725 0.553703 facet normal -0.00987306 -0.15155 0.9884 facet normal -0.875985 0.471387 0.102199 vertex 3.03882 -3.62229 21.7538 facet normal 1.907807e-01 2.084875e-03 -9.816305e-01 vertex -1.060526e+02 9.695134e+01 1.024732e+01 facet normal -1.950737e-01 -9.807886e-01 -0.000000e+00 facet normal -0.241718 -0.796849 0.553718 facet normal 0.451284 -0.84429 0.288993 facet normal 0.367809 0.00348095 0.929895 facet normal -0.615853 -0.525805 0.586731 facet normal -0.630636 0.768498 0.108209 facet normal 0.88472 0.22243 0.409628 facet normal 0.801129 -0.594342 -0.0703598 vertex -9.06712 2.79684 6.17308 facet normal 8.878028e-001 4.602240e-001 0.000000e+000 facet normal 0.262755 0.257261 0.929934 vertex -5.42659 -4.99768 6.90571 facet normal -0.327117 0.942361 0.0703598 facet normal -0.0221096 -0.172853 0.984699 vertex 0.139654 7.39048 6.87554.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.
- Normal 7.614451e-01 5.127838e-01 3.965528e-01 vertex -1.095272e+02 9.965134e+01 1.755000e+01.
- Normal 0.629654 -0.768263 0.115357.
- Vertex -1.043264e+02 9.701936e+01 1.608622e+01 facet.