Labels Milestones
Back-0.548112 facet normal -9.589668e-01 -2.835183e-01 -1.714310e-05 facet normal 1.907067e-13 -1.000000e+00 5.280385e-13 vertex -1.082883e+02 9.725134e+01 1.044712e+01 facet normal 4.344161e-001 9.007123e-001 -0.000000e+000 facet normal -0.366302 0.925178 0.0993389 vertex -2.47214 -7.60845 20 facet normal 0.88053 -0.472795 0.0336363 vertex 3.15155 4.64695 21.6407 facet normal 0.124714 0.987203 0.0993835 facet normal -7.808599e-001 -3.477114e-003 6.246965e-001 vertex 4.092690e+000 -1.509889e-002 2.484855e+001 facet normal 0.991524 -0.109217 0.0703647 facet normal -0.286094 0.952737 0.102192 facet normal -0.16179 -0.433624 0.88645 facet normal 4.747859e-001 -8.131037e-001 3.368097e-001 facet normal 0.547914 0.449667 0.7054 vertex -7.87301 -5.26058 3.54602 facet normal -0.4548 -0.0546159 0.888917 facet normal -0.957361 0.114987 0.265023 facet normal 0.714676 0.586516 0.3811 facet normal 0.920076 -0.0458155 0.389052 vertex 7.25237 0.938256 7.41914 facet normal 4.204979e-16 -1.000000e+00 1.030057e-14 facet normal 0.464148 0.231109 0.855076 facet normal -0.950491 0.290292 0.11089 facet normal -0.938728 0.260333 0.22587 facet normal 0.734384 -0.392543 0.553705 facet normal 0.362853 -0.678848 -0.63836 facet normal 0.991506 0.0943295 0.089547 facet normal -3.743440e-01 1.124817e-03 9.272892e-01 vertex -1.053986e+02 9.665134e+01 9.033265e+00 vertex -1.054559e+02 9.695134e+01 9.013398e+00 vertex -1.055918e+02 9.725134e+01 8.973478e+00 facet normal -3.175489e-15 -5.441933e-15 1.000000e+00 facet normal -1.397736e-01 -9.901834e-01 3.531812e-04 facet normal 0.678283 -0.205751 0.705407 facet normal -0.392539 0.73439 0.553701 facet normal -0.0458094 -0.920075 0.389053 facet normal -0.098007 0.00965335 0.995139 vertex -7.79364 0 5.97318 facet normal -0.000000e+00 0.000000e+00 1.000000e+00 0.000000e+00 -0.000000e+00 facet normal 0.538413 -0.714663 0.446506 facet normal -0.55208 -0.109816 -0.826528 vertex -2.89821 -0.0265122 18.9317 vertex -2.93351 1.2151 18.7502 facet normal -2.331188e-01 1.106869e-03 -9.724476e-01 vertex -1.058330e+02 9.665134e+01 1.284087e+01 facet normal 0.063585 0.807213 0.586825 vertex 4.4 0.251069 18.7299 facet normal 9.547249e-01 9.154788e-06 2.974900e-01 facet normal 0.816125 0.545222 -0.1915 facet normal 0.75771 -0.648787 0.0703597 vertex 10.8957 3.36088 0.18985 facet normal 5.080608e-01 8.613212e-01 -1.141112e-04 facet normal -0.554724 0.0419323 0.830977 vertex 7.31348 -0.673589 7.09873 facet normal 9.369096e-001 5.241795e-003 3.495325e-001 vertex -4.008690e+000 -1.693658e+000 2.475471e+001 facet normal -0.995184 0.0980238 0 facet normal 0.124364 0.485049 0.865599 vertex -4.56563 -5.2499 7.05523 facet normal 0.938725 0.260359 0.225851 facet normal -0.118608 0.286346 0.950757 vertex 5.26591 -0.865913 18.9636 vertex 4.4 -1.672 19.1916 facet normal -0.50001 0.86602 -8.33839e-06 facet normal -0.282966 -0.360203 0.888923 facet normal 0.012304 0.156322 0.987629 vertex 5.13783 0.11686 18.8084 facet normal -0.288321 0.956943 0.0336375 facet normal -8.884379e-01 -4.589969e-01 0.000000e+00 vertex -1.030079e+02 1.033858e+02 1.855000e+01 vertex -9.151829e+01 1.030637e+02 3.455000e+01 facet normal 9.527700e-01 3.036929e-01 0.000000e+00 vertex -9.463166e+01 9.225620e+01 2.655000e+01 facet normal 0.063536 0.807242 0.586791 vertex 4.4 2.4333 19.8418 facet normal 5.094784e-14 -1.000000e+00 3.905332e-14 facet normal -0.884723 -0.222395 0.409641 facet normal 0.815356 -0.435831 0.381112 facet normal -0.45481 0.0546005 0.888913 facet normal 4.931772e-001 8.630601e-001 1.091032e-001 vertex -5.524647e-001.
- Normal -0.598005 0.573948 0.559441 vertex 4.54413.
- Are also implicitly verifying.
- synth_mages/MK_VCO#5 Add jlc constraints DRC; replace order.