Labels Milestones
Back-0.99044 0.0975513 0.0975338 facet normal 0.0766184 0.956715 0.280761 facet normal -0.881912 -0.471413 0 facet normal -0.000364205 0.115448 0.993313 vertex -0.759029 -6.58293 7.7465 facet normal 0.417289 0.223046 0.880977 vertex 3.18942 7.69994 5.74921 facet normal -9.938924e-02 -2.691911e-03 -9.950450e-01 facet normal -0.449684 -0.462456 0.764146 facet normal 7.683898e-01 -1.852630e-03 -6.399795e-01 vertex -1.089715e+02 9.665134e+01 1.226808e+01 vertex -1.090548e+02 9.695134e+01 1.216890e+01 facet normal -0.768557 -0.63056 0.108238 facet normal 0.630655 0.76848 0.108222 facet normal -0.49999 0.866031 -1.51183e-05 facet normal 0.024206 -0.106347 0.994034 facet normal -9.901917e-001 1.397156e-001 0.000000e+000 vertex -1.168555e+000 6.931669e+000 2.496000e+001 vertex 1.380968e+000 -5.529187e+000 2.496000e+001 vertex 4.403623e+000 -3.613747e+000 1.747200e+001 facet normal -0.768293 0.629624 0.115323 facet normal 0.876739 0.468635 0.108209 vertex -5.71086 -1.13596 21.335 facet normal -0 -0.995185 -0.0980172 vertex -0.4 3.34544 6.59 facet normal -4.084288e-01 -9.127901e-01 3.491148e-04 facet normal -0.075425 0.766035 -0.638358 facet normal -0.262733 -0.257269 0.929938 facet normal -4.924157e-001 -8.623471e-001 1.178320e-001 facet normal 0.586535 -0.665684 0.461347 vertex -6.5979 -0.528493 7.34278 facet normal 5.628345e-001 8.265696e-001 -0.000000e+000 vertex 2.091881e+000 5.232259e+000 9.983999e+000 vertex -6.892284e+000 1.461804e+000 1.747200e+001 facet normal -0.166294 -0.21962 0.961308 vertex 5.04394 -5.04394 6.87796 vertex 5.00497 -5.09136 6.87866 vertex -5.04394 -5.04394 6.87796 vertex 5.00497 -5.09136 6.87866 facet normal -0.734384 -0.392543 0.553705 facet normal -0.0363869 0.0926168 0.995037 facet normal 0.989338 -0.097471 0.108209 facet normal -0.900373 0.423684 0.0990995 facet normal 5.954177e-14 -1.000000e+00 -3.809693e-13 facet normal -0.772957 -0.634346 -0.0119446 facet normal -9.777785e-001 -4.353409e-003 2.095954e-001 facet normal 0.76572 -0.435817 0.473008 vertex -6.50844 0.573447 7.52902 facet normal -0.435833 0.815355 0.38111 vertex 4.11794 9.04239 2.94279 facet normal 8.383577e-02 9.964796e-01 2.517037e-06 facet normal -0.46415 -0.23112 0.855072 vertex 5.45272 4.78839 6.97207 vertex -0.422769 -7.15425 6.96188 vertex -7.07772 -0.359534 6.95295 vertex 0.26034 7.27143 6.89409 vertex -7.32519 -0.289273 6.90036 vertex -7.39065 0.0879059 6.86646 vertex 4.97515 5.38424 6.90036 facet normal -9.062952e-001 -4.035562e-003 4.226258e-001 vertex 5.066256e+000 -1.045648e+000 2.475471e+001 facet normal.
- 5.612119e+000 9.983999e+000 vertex 5.035786e+000 -5.036913e+000 1.747200e+001 facet.
- 0.308982 0.0243228 0.950757 facet normal 1.226457e-001 1.291214e-003.
- SMT updates 13c8bcac477b612d33e1b1cfe89a6f9adc0a8935
- -9.984000e+000 9.983999e+000 vertex 2.286077e+000 6.660499e+000 2.496000e+001 vertex 2.640404e+000.