Labels Milestones
Back-0.83147 -6.71887e-07 facet normal -0.0973393 -0.995186 0.0113559 vertex -1.07374 5.71699 21.335 facet normal -0.0985702 0.99513 1.41413e-05 facet normal 1.876690e-15 2.158511e-16 -1.000000e+00 facet normal 5.555843e-01 -8.314602e-01 3.445710e-04 facet normal -3.176384e-001 -1.414420e-003 9.482109e-001 vertex -4.165181e+000 -5.186868e-002 2.494118e+001 vertex -1.381005e+000 3.992813e+000 2.494118e+001 facet normal -0.291196 -0.188081 0.937993 facet normal 8.406740e-02 -9.964600e-01 -3.534281e-04 vertex -9.698088e+01 9.171996e+01 2.655000e+01 facet normal -0.554737 -0.0546401 0.83023 vertex 9.12468 -0.183929 3.76384 vertex 4.96056 -7.50438 3.82299 facet normal -0.106817 -0.137651 0.984704 facet normal -3.874228e-001 -6.779891e-001 6.246874e-001 facet normal -3.934399e-001 6.745046e-001 6.246988e-001 facet normal -7.499905e-01 -4.160305e-03 6.614355e-01 facet normal -9.127902e-01 4.084288e-01 -2.140456e-04 facet normal -0.327117 -0.942361 0.0703598 facet normal 0.63056 -0.768557 0.108238 facet normal -4.505506e-001 -7.863768e-001 4.226295e-001 vertex 4.304404e+000 3.316545e+000 2.475471e+001 facet normal -1.800811e-001 3.061249e-001 9.348039e-001 facet normal 0.367735 -0.111552 0.923216 facet normal -0.0127267 0.705404 0.708692 vertex 0.781299 -7.29119 7.20554 facet normal 1.012778e-06 -1.000000e+00 3.586555e-07 facet normal -5.035336e-001 -2.241906e-003 8.639727e-001 vertex 4.162750e+000 -8.360300e-001 2.491820e+001 facet normal 2.889548e-004 5.004844e-004 -9.999998e-001 facet normal 0.773006 -0.634399 4.46254e-06 facet normal 9.659144e-001 4.301482e-003 2.588261e-001 facet normal 0.33413 -0.625114 0.7054 vertex 6.85323 -6.50317 3.54602 facet normal 7.683898e-01 -1.852630e-03 -6.399795e-01 vertex -1.089715e+02 9.665134e+01 1.226808e+01 vertex -1.089715e+02 9.665134e+01 1.226808e+01 vertex -1.090548e+02 9.695134e+01 1.216890e+01 facet normal 9.843187e-01 6.829154e-03 1.762668e-01 vertex -9.052198e+01 1.010562e+02 1.055519e+01 facet normal -0.187658 0.0572764 0.980563 facet normal 5.011261e-001 -8.639795e-001 4.911378e-002 facet normal 0.995114 -0.0980118 -0.0119198 facet normal -1.575938e-001 -2.757894e-001 9.482111e-001 vertex 2.804504e+000 3.190207e+000 2.494118e+001 facet normal 0.115482 0.00124902 0.993309 vertex 0.0747576 7.37473 6.86461 facet normal -0.46863 0.876742 0.108209 facet normal -0.331544 0.422843 0.843375 facet normal 0.499997 0.866027 1.22083e-07 vertex -2.40611 -1.85105 6.59 facet normal 6.030216e-001 7.977249e-001 0.000000e+000 facet normal -4.814240e-02 -2.065603e-03 9.988383e-01 facet normal 4.064187e-001 7.112334e-001 5.735598e-001 facet normal 0.292516 0.954699 0.0546275 facet normal -0.876745 0.468624 0.108209 vertex 1.13596 -5.71086 21.335 facet normal 0.587776 0.809024 -0 facet normal -0.257144 -0.137446 0.956549 facet normal -0.081619 -0.828696 0.553716 facet normal 5.393496e-002 9.438620e-002 9.940736e-001 facet normal 0.0922671 0.172963 0.980597 vertex 5.35022 5.0946 6.88312 facet normal 6.417350e-001 7.669265e-001 0.000000e+000 facet normal 0.528271 0.643697 0.553701 facet normal 8.462654e-01 -2.992164e-03 5.327532e-01 facet normal -0.550857 -0.679089 0.485175 vertex -4.55282 -4.55282 7.3242 vertex -0.201366 -6.35535 7.51116.
- In .prl Schematics/Unseen Servant/Unseen.
- -0.987209 0.0993092 facet normal -0.0169529 0.828691 0.559449 vertex.
- From branch: You are also implicitly verifying.