Labels Milestones
BackVertex 3.541821e+000 4.395136e+000 2.496000e+001 vertex 5.678241e+000 1.176720e-002 1.747200e+001 facet normal -0.736595 -0.223441 -0.638358 facet normal 0.0868533 0.0464242 0.995139 vertex 0 7.40505 6.86814 facet normal 9.901788e-01 1.398071e-01 -0.000000e+00 facet normal -1.192332e-14 -1.000000e+00 -7.097263e-15 facet normal -0.766035 -0.075425 -0.638358 facet normal 0.73439 -0.392539 0.553701 facet normal -0.288045 0.957542 -0.0119981 facet normal -0.92061 0.302887 0.246448 facet normal -0.0499726 0.0865638 -0.994992 vertex -4.25585 -9.04414 0.0456596 facet normal -0.831468 -0.555573 -2.91184e-08 facet normal 1.519551e-001 9.883874e-001 -0.000000e+000 vertex 4.344010e+000 3.615769e+000 9.983999e+000 vertex 4.344010e+000 3.615769e+000 2.496000e+001 vertex 5.534988e-001 -5.670407e+000 1.747200e+001 facet normal 3.002652e-001 -5.143612e-001 8.032891e-001 vertex -5.153117e+000 2.914987e+000 2.490742e+001 facet normal 0.247369 -0.963815 0.0993414 facet normal -0.302887 0.92061 0.246448 facet normal 0.247465 0.963808 0.0991679 facet normal -0.766708 0.634278 0.0992498 facet normal 0.33413 -0.625114 0.7054 vertex -7.87301 5.26058 3.54602 facet normal 0.22956 -0.181238 0.956271 vertex 7.15688 0.119821 6.88072 facet normal -0.587092 -0.0461934 0.808201 facet normal 0.161939 -0.264267 0.950757 facet normal 0.129416 0.645447 0.752761 facet normal -0.938729 -0.260332 0.225866 vertex 7.12884 -1.0528 7.81019 facet normal 0.288339 0.956937 0.0336393 facet normal 1.29414e-06 -0.995055 0.0993296 facet normal -0.801128 0.594344 0.0703587 facet normal -0.072938 -0.0676765 -0.995038 vertex 1.87301 -9.81867 0.0427407 facet normal -0.124559 0.036638 0.991535 facet normal 0.796857 -0.241727 0.553703 facet normal -0.0974419 0.989341 0.108207 facet normal -0.449652 -0.547909 0.705414 facet normal 0.468199 0.312924 -0.826358 vertex -2.27697 1.77649 18.9096 facet normal -3.712779e-15 -3.368120e-15 1.000000e+00 facet normal -0.876742 0.46863 0.108209 facet normal 0.630652 -0.768482 0.108225 facet normal -0.124559 -0.036638 0.991535 facet normal 0.880762 -0.468302 0.0703604 facet normal -4.064198e-001 -7.112355e-001 5.735565e-001 facet normal -0.595015 -0.488318 -0.638359 facet normal 8.08872e-05 -0.113249 0.993567 vertex 0.143927 7.13584 6.89034 facet normal -0.449666 -0.547916 0.705399 vertex 8.10352 -5.4146 3.26879 facet normal -0.466832 0.877365 0.110898 facet normal -0.243743 -0.188053 0.951433 vertex -0.221399 -7.2243 6.88859 vertex 4.958 5.204 6.88408 facet normal 8.671287e-01 -1.144891e-03 -4.980829e-01 facet normal 0.325742 0.734373 0.595474 facet normal 2.126180e-001 3.706505e-001 9.041083e-001 vertex -5.180384e+000 -3.075447e+000 2.493625e+001 facet normal -0.297032 -0.243844 0.923208 facet normal 9.957868e-01 8.219574e-03 -9.132930e-02 vertex -1.094165e+02 9.725134e+01 1.111946e+01 facet normal 4.928418e-001 -8.701189e-001 0.000000e+000 vertex 1.726210e+000 -6.911484e+000 2.496000e+001 vertex 5.854357e+000 3.963141e+000 2.496000e+001 vertex 4.403623e+000 -3.613747e+000 1.747200e+001 facet normal -0.840151 -0.533195 0.0992474 facet normal 0.0815293 -0.0819688 0.993295 vertex 4.10478 5.1829 7.85113 facet normal -9.060168e-001 4.232417e-001 0.000000e+000 vertex 5.995389e-007 7.987200e+000 0.000000e+000 facet normal -9.777786e-001 -4.353408e-003 2.095953e-001 facet normal -0.0624768 0.076128 0.995139 vertex -7.79364 0 5.97318 vertex.
- 9.890134e+01 4.255000e+01 facet normal.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.
- -8.452844e-01 0.000000e+00 5.343166e-01 facet.
- Normal 0.0376652 0.382444 0.923211 vertex.