Labels Milestones
Back-0.831469 2.57619e-07 facet normal -0.471711 0.881672 -0.0119957 facet normal -0.0800988 -0.0192491 0.996601 facet normal -0.634346 0.772956 -0.0119928 facet normal 0.0815498 -0.828666 0.55377 facet normal -9.044613e-01 3.288927e-04 -4.265555e-01 vertex -1.084409e+02 9.695134e+01 1.062325e+01 facet normal -0.630109 -0.773019 0.0735123 facet normal -0.32036 0.220665 0.921236 facet normal -0.79685 0.241717 0.553717 facet normal 6.542922e-001 -7.562418e-001 0.000000e+000 vertex -2.407443e+000 -6.689721e+000 2.496000e+001 vertex -3.012618e+000 4.746768e+000 9.983999e+000 vertex -5.569738e+000 4.292930e+000 1.747200e+001 facet normal 0.63062 0.768512 0.108202 facet normal 0.103782 -0.261482 0.959613 facet normal -0.101047 0.992162 0.0735128 facet normal 0.471479 0.881877 0 facet normal -0.0843473 -0.0403748 -0.995618 facet normal 0.976223 -0.0962896 0.194209 facet normal 0.881923 -0.471394 0 facet normal 0.978088 -0.183034 0.0992057 facet normal -9.723387e-01 -2.335753e-01 1.708086e-15 facet normal 0.920076 -0.0458155 0.389052 vertex -0.938256 -7.25237 7.41914 facet normal 0.758301 -0.622313 0.19418 facet normal 1.300673e-15 -5.088916e-15 1.000000e+00 facet normal -0.831552 0.555446 0 vertex 8.47298 5.66146 0 facet normal -4.937048e-001 8.439949e-001 2.095904e-001 facet normal 3.551549e-001 2.892842e-003 9.348030e-001 facet normal 0 -0.995185 -0.0980143 vertex -0.4 3.28125 18.4724 vertex -0.4 3.28125 18.4724 vertex 2.58025 1.95159 18.574 vertex 2.37646 2.37646 18.4724 facet normal 7.640264e-01 6.451849e-01 0.000000e+00 vertex -9.778748e+01 9.171995e+01 3.455000e+01 vertex -1.034745e+02 9.507449e+01 1.855000e+01 vertex -9.289982e+01 1.045249e+02 1.855000e+01 vertex -9.390516e+01 1.051966e+02 1.055000e+01 vertex -9.500882e+01 1.056905e+02 3.455000e+01 facet normal 0.989339 -0.0974854 0.108192 facet normal 0.165341 0.688669 0.705973 facet normal 0.0817958 0.0819182 -0.993277 facet normal -0.241721 -0.727323 0.642318 facet normal 0.499981 0.866036 -2.49143e-05 facet normal -0.114014 0.061823 0.991554 facet normal -0.533418 -0.0645513 0.843385 facet normal 0.090613 0.920058 0.38116 vertex 0 -9 4.51215 vertex -9 0 3.82299 vertex -8.50049 3.32193 3.76384 facet normal -6.020362e-002 -1.068584e-001 9.924499e-001 facet normal -3.562729e-001 6.107862e-001 7.071138e-001 facet normal 0.462425 0.865137 0.194169 facet normal -5.477239e-002 9.390048e-002 9.940738e-001 vertex -4.207206e+000 -5.205565e-002 2.495526e+001 facet normal -0.0868518 0.0464265 0.995139 vertex -6.2529 4.17805 6.0001 facet normal 7.808599e-001 3.477113e-003 6.246965e-001 facet normal -5.564408e-02 -9.984506e-01 -3.482382e-04 vertex -9.758449e+01 1.060913e+02 2.550000e+00 facet normal 0.97743 -0.186457 0.0993169 facet normal 0.309854 -0.74806 0.586853 vertex 2.39719 1.45513 19.9 vertex 1.95487 0.38727 19.9 facet normal -0.703598 0.707106 -0.0703595 vertex -8.20983 5.40668 1.5173 facet normal -0.952376 0.288896 0.0975692 vertex 8.80936 -1.81418 4.51215 facet normal 0.137352 -0.452792 0.880973 vertex -3.18942 -7.69994 5.74921 facet normal 9.995641e-01 2.473940e-03 -2.941899e-02 facet normal -0.499998 0.866026 0 facet normal 0.192238 0.421012 0.88645 facet normal 7.406707e-01 -6.718682e-01 3.225159e-04 vertex -1.028438e+02 9.421857e+01 4.255000e+01 facet normal 0.956957 -0.288281 0.0335834 vertex 5.51437 -1.05741 21.6407 facet normal 0.46863 0.876742 0.108209 facet normal -9.062886e-001 -4.036373e-003.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after re-centering.
- -4.550773e+000 1.747200e+001 facet normal -0.840155 -0.533173 0.0993304.