Labels Milestones
Back3.170513e+000 1.747200e+001 facet normal 0.989339 -0.0974854 0.108192 facet normal 0.767815 0.63438 0.0895698 vertex -0.759029 -6.57068 7.85151 facet normal -0.952717 -0.0938358 0.289008 vertex 1.75038 -8.79978 4.79464 facet normal 9.991298e-01 4.170739e-02 2.542647e-04 vertex -1.045763e+02 9.900120e+01 4.255000e+01 facet normal -0.472795 0.88053 0.0336363 facet normal 0.111655 0.258361 0.959574 facet normal 0.95694 -0.290287 0 vertex 5.66146 8.47298 2.19603 vertex 1.97312 9.91954 2.58057 facet normal 0.183013 -0.98059 0.0703589 facet normal -0.881919 -0.471401 0 facet normal 0.977433 0.186445 0.0993092 facet normal -0.471366 -0.881857 -0.0118779 facet normal 3.776395e-001 -6.477763e-001 6.616451e-001 vertex -4.102768e+000 2.320718e+000 2.488918e+001 facet normal 0.16633 0.219559 0.961316 facet normal 0.95132 0.288584 0.108209 facet normal 0.257261 -0.262755 0.929934 vertex -7.35291 -0.431314 6.95641 vertex 5.42659 -4.99768 6.90571 vertex -5.50428 4.89431 6.95641 facet normal 0.331809 0.353578 0.874577 facet normal 0.533413 -0.161832 0.83023 facet normal -0.0905846 -0.86972 0.485161 facet normal -0.224827 -0.741154 0.632569 vertex 8.08229 -3.34779 5.33536 facet normal -0.95681 -0.29047 -0.0119413 facet normal 0.575172 0.528276 0.624582 facet normal -9.777832e-001 -3.143723e-003 2.095952e-001 vertex 4.030774e+000 1.627112e+000 2.470218e+001 facet normal -0.277896 -0.916106 0.289006 facet normal -0.129416 -0.645447 0.752761 facet normal -2.890019e-001 4.954580e-001 8.191454e-001 facet normal -0.129484 0.780815 0.611197 vertex -0.693269 -6.94378 7.20613 facet normal -6.451849e-01 7.640264e-01 0.000000e+00 vertex -1.004154e+02 1.041514e+02 4.255000e+01 facet normal 0.597991 -0.573973 0.55943 vertex -5.74517 4.54413 7.2866 facet normal 0.0621138 0.113987 0.991539 facet normal -0.233262 -0.84961 0.473025 vertex -5.00765 4.19667 7.52902 facet normal 0.881919 -0.471401 0 facet normal -0.116009 0.00017977 -0.993248 facet normal -0.816128 -0.545352 -0.191121 facet normal 0.836804 0.462418 0.293136 facet normal -0.0430222 0.0702523 0.996601 facet normal 0.165337 -0.688668 0.705975 facet normal 0.737769 -0.601732 0.305966 facet normal -5.955815e-001 -2.856946e-003 8.032898e-001 vertex 5.168263e+000 2.960945e+000 2.490742e+001 facet normal 9.547249e-01 -9.154788e-06 2.974900e-01 facet normal -0.124712 -0.987223 0.0991809 facet normal 6.766241e-03 -0.000000e+00 9.999771e-01 vertex -1.068114e+02 9.715134e+01 1.153663e+01 facet normal 0.29705 -0.243786 0.923217 vertex 7.48471 5.22233 3.76384 facet normal -0.0821527 -0.0555744 0.995069 vertex -7.90932 -2.4397 19.9688 vertex -8.0058 0 19.942 facet normal -0.297024 -0.135125 0.945261 facet normal 0.367742 0.111554 0.923213 facet normal 8.179095e-01 -7.493654e-03 -5.752981e-01 facet normal 0.796858 0.241725 0.553703 vertex -3.813.
- 0.92475 0.0992818 facet normal -4.720730e-001 8.093104e-001 3.495194e-001 facet.
- Normal 0.92061 -0.302887 0.246448 facet normal.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after converting.