Labels Milestones
Back4.886925e-001 vertex 4.065923e+000 2.328691e+000 2.482134e+001 facet normal -8.915778e-02 -5.766338e-03 -9.960008e-01 vertex -1.063449e+02 9.725134e+01 1.290579e+01 facet normal 4.048579e-001 -6.936640e-001 5.957519e-001 vertex -5.085102e+000 2.876121e+000 2.484593e+001 facet normal 0.000195511 -0.116119 0.993235 facet normal 0.0974089 -0.989348 0.108177 facet normal 0.991507 0.0942884 0.0895734 facet normal 0.622326 0.758285 0.194199 vertex 7.15159 -7.15159 2.58057 facet normal -0.000246232 0.11537 0.993323 vertex -6.43421 0.598972 7.83559 vertex -6.43809 -0.596366 7.83604 facet normal -0.0817064 -0.0814906 0.993319 vertex -4.28788 4.58534 7.81694 facet normal 0.0814632 -0.0817724 0.993316 vertex -4.19228 4.77321 7.82455 facet normal 0.714665 -0.586527 0.381104 facet normal 6.788761e-001 7.342528e-001 0.000000e+000 facet normal -0.288584 -0.95132 0.108209 facet normal -0.106447 0.024393 0.994019 vertex -5.24702 5.16396 6.86308 facet normal -9.127902e-01 4.084288e-01 0.000000e+00 vertex -9.073916e+01 1.016540e+02 1.055000e+01 facet normal -7.176975e-16 0.000000e+00 1.000000e+00 facet normal 0.421013 -0.192217 0.886454 facet normal 4.044750e-001 -9.145491e-001 0.000000e+000 vertex -5.447498e+000 1.441514e+000 9.983999e+000 vertex -9.348436e-001 5.545335e+000 9.983999e+000 vertex -3.550667e-007 -9.984000e+000 9.983999e+000 vertex -2.186956e+000 6.678942e+000 9.983999e+000 vertex 2.091881e+000 5.232259e+000 2.496000e+001 vertex 2.091881e+000 5.232259e+000 2.496000e+001 vertex 5.358002e+000 -1.912462e+000 9.983999e+000 vertex -6.938168e+000 -1.320255e+000 9.983999e+000 vertex 6.868123e+000 1.745502e+000 2.496000e+001 vertex 5.417013e+000 1.665509e+000 2.496000e+001 vertex -3.615306e+000 -4.376429e+000 2.496000e+001 vertex 4.158177e+000 3.825264e+000 9.983999e+000 vertex 3.858692e+000 5.902027e+000 2.496000e+001 vertex -2.516711e+000 6.561480e+000 9.983999e+000 vertex -2.272202e+000 5.142284e+000 9.983999e+000 vertex -4.621885e+000 3.208877e+000 1.747200e+001 facet normal -0.111554 0.367742 0.923213 vertex -8.58402 2.55704 3.82299 vertex -1.75581 8.82707 4.51215 facet normal 2.964444e-001 9.550501e-001 -0.000000e+000 vertex 2.937280e+000 6.404036e+000 1.747200e+001 facet normal -9.538195e-001 -3.003805e-001 0.000000e+000 vertex 1.107587e+000 -5.589892e+000 2.496000e+001 vertex -4.567763e+000 -3.354764e+000 2.496000e+001 vertex -5.594228e+000 -7.795944e-001 1.747200e+001 facet normal -0.989167 -0.0992487 0.108159 facet normal 0.0559554 0.885449 0.461356 facet normal 9.204106e-01 -3.909530e-01 -3.120254e-04 vertex -9.068836e+01 1.015280e+02 2.550000e+00 facet normal 0.88192 0.471399 -4.52508e-06 facet normal 5.748339e-01 -8.182700e-01 -3.383229e-04 vertex -1.015466e+02 1.047674e+02 2.655000e+01 facet normal 0.79685 0.241717 0.553717 vertex -9.67202 2.27473 2.94279 facet normal 5.194410e-01 0.000000e+00 -8.545063e-01 facet normal 0.780265 -0.0331712 0.624569 facet normal -0.685181 -0.343415 0.642334 facet normal -0.0975625 0.989331 0.108193 facet normal 0.76849 0.630641 0.108235 facet normal -0.368707 0.924221 0.0993544 facet normal -4.417279e-14 -1.000000e+00 3.058116e-14 facet normal -0.532833 0.843291 -0.070358 vertex -3.60287 -9.4298 0.0491304 facet normal 0.392549 0.734381 0.553705 facet normal 0.7808 -0.129508 0.611211 facet normal -0.094243 -0.0285882 0.995139 vertex 7.3758 1.46714 6.0001 facet normal 0.365745 -0.300158 0.880985 vertex -4.63032 -6.92976 5.74921 facet normal 0.679089 0.550857 0.485175 facet normal -3.562749e-001 6.107898e-001 7.071097e-001 facet normal -0.772955 0.634348 -0.0119325 facet normal 0.996728 0.0398 -0.0703571 vertex -6.36064 7.71004 0.0403056 vertex -6.26718 7.62083 1.31386 facet normal -0.223441 0.736595 -0.638358 vertex 5.54328 2.2961 6.59 vertex -2.81683 1.16677 6.59 vertex -2.8149 -1.17038 6.59 vertex.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after re-centering sliders.
- Of distribution to the.
- -9.613907e-001 -4.722278e-003 2.751467e-001 vertex 4.055398e+000 -2.341092e+000.