Labels Milestones
BackNormal 0.634415 0.772993 -4.24978e-06 facet normal 0.00965279 -0.0980097 0.995139 vertex 6.18898 4.25594 6.0001 facet normal -0.622316 -0.758298 0.194183 vertex 6.86157 -7.38961 2.58057 facet normal -0.025989 0.101324 0.994514 vertex 2.47062 -7.61405 19.9494 facet normal 0.951058 -0.309012 0 vertex -2.69268 2.0165 12.8417 vertex -2.69268 2.0165 12.8417 vertex -2.69268 2.0165 18.1498 facet normal -9.890889e-01 2.385755e-03 1.473008e-01 vertex -1.042690e+02 9.725134e+01 1.042389e+01 vertex -1.042639e+02 9.695134e+01 1.046333e+01 facet normal -0.834578 -0.268415 0.481075 facet normal -0.956957 0.288279 0.0335818 vertex -1.02637 5.38893 21.833 vertex -4.44467 -3.03604 21.8214 facet normal -1.822410e-15 7.910530e-01 6.117476e-01 facet normal -4.323907e-002 -7.566841e-002 9.961951e-001 vertex -5.263578e+000 9.614641e-001 2.495526e+001 facet normal -0.768557 -0.63056 0.108238 facet normal -0.250125 -0.625096 0.739387 facet normal 9.659165e-001 4.301044e-003 2.588179e-001 facet normal 0.189046 -0.78732 0.586847 facet normal 0.618219 0.682997 0.388999 facet normal -0.634386 -0.773016 -0 vertex -2.76756 -5.88138 19.9 facet normal -0.262766 -0.491602 0.83023 facet normal 4.136177e-01 -2.108080e-03 -9.104482e-01 vertex -1.084728e+02 9.695134e+01 1.262749e+01 facet normal 0.257269 -0.262733 0.929938 facet normal 4.720722e-001 -8.093104e-001 3.495204e-001 facet normal -0.115828 -5.30788e-07 -0.993269 vertex -3.03882 -3.62229 21.7538 facet normal -0.0817378 0.828666 0.553744 facet normal -9.961790e-01 -1.217965e-03 8.732631e-02 vertex -1.042510e+02 9.665134e+01 1.060618e+01 facet normal -0.284751 -0.938727 0.194185 facet normal 5.393496e-002 9.438620e-002 9.940736e-001 facet normal 0.467809 -0.312901 -0.826588 vertex -2.83126 -1.17275 18.8241 facet normal 0.881857 0.471366 -0.0119411 facet normal 0.831553 0.555445 0 facet normal 0.768498 0.630636 0.108209 facet normal 0.643709 -0.528256 0.553701 facet normal 1.519551e-001 9.883874e-001 0.000000e+000 facet normal 9.901788e-01 1.398071e-01 -0.000000e+00 facet normal -1.662431e-01 -9.860847e-01 -3.475954e-04 vertex -9.638643e+01 9.177819e+01 2.550000e+00 facet normal 0.572633 -0.137482 0.808202 facet normal 0.463056 0.0914036 0.881604 facet normal -2.129174e-001 3.650203e-001 9.063258e-001 facet normal -0.796858 -0.241725 0.553703 facet normal 8.555891e-01 -4.584470e-03 5.176353e-01 facet normal -2.845744e-001 -4.980052e-001 8.191509e-001 vertex 2.567783e+000 4.415591e+000 2.488700e+001 facet normal 0.223045 -0.417286 0.880979 facet normal -0.757662 0.648843 -0.0703627 facet normal -0.920074 -0.090682 0.381103 facet normal -0.184688 0.60884 0.771495 facet normal 0.0502428 -0.08702 0.994939 vertex -4.28928 6.75883 19.9502 facet normal -0.629624 0.768293 0.115323 vertex 3.43619 3.13874 21.7467 facet normal 0.525856 0.61569 0.586857 facet normal -0.286341.
- -3.443231e+000 2.638496e+000 2.480400e+001 facet normal 8.660254e-01.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 13c8bcac477b612d33e1b1cfe89a6f9adc0a8935 Adding.
- -1.030079e+02 1.033858e+02 1.855000e+01 vertex -9.578389e+01.
- R/l: quieter note .