Labels Milestones
Back2.137466e+000 2.496000e+001 vertex -5.550534e+000 -1.056204e+000 9.983999e+000 vertex -4.726331e+000 -3.123942e+000 2.496000e+001 vertex 1.384484e+000 -6.987365e+000 1.747200e+001 vertex -7.007181e+000 7.714146e-001 9.983999e+000 vertex 5.197721e+000 4.781580e+000 9.983999e+000 vertex -6.892284e+000 1.461804e+000 2.496000e+001 vertex -2.441682e+000 -5.133782e+000 1.747200e+001 facet normal -0.0217758 -0.172853 0.984707 vertex 0.139654 7.39048 6.87554 facet normal 2.129175e-001 -3.650209e-001 9.063255e-001 vertex -1.701422e+000 4.948441e+000 2.491820e+001 facet normal -0.245613 0.96426 0.0993777 vertex 2.85317 -0.927051 9.999 vertex -2.42705 -1.76336 0 vertex -2.36142 -9.8813 0 vertex -5.91609 -7.41854 6.17307 facet normal -0.880541 -0.472774 0.0336386 facet normal -1.125775e-14 -1.000000e+00 -6.357058e-15 facet normal 3.4225e-05 -0.113199 0.993572 vertex -0.808218 7.32071 6.91141 facet normal 0.652531 0.754488 -0.0703586 facet normal 0.952376 -0.288896 0.0975692 vertex 1.81418 8.80936 4.51215 facet normal -0.634386 0.773016 0 vertex 3.44415 -8.31492 4.51215 facet normal 0.840149 -0.533176 0.0993614 vertex 8.76307 4.81754 0 facet normal -0.0822463 -0.0819801 0.993235 vertex -7.37473 0.0747576 6.86461 facet normal -0.643676 -0.460564 0.611197 facet normal -3.306557e-001 5.696047e-001 7.524741e-001 facet normal -0.114147 0.100183 0.9884 vertex -0.221399 -7.2243 6.88859 vertex 7.18562 0.173952 6.88408 vertex -7.07772 0.359534 6.95295 vertex -5.32576 -4.95759 6.89409 vertex -5.38424 -4.97515 6.90036 vertex 7.27143 -0.26034 6.89409 facet normal -0.734389 0.392534 0.553705 facet normal -8.332533e-02 9.965224e-01 2.477165e-06 vertex -9.778416e+01 1.060829e+02 4.255000e+01 vertex -1.045596e+02 9.940074e+01 4.255000e+01 facet normal -0.525858 0.615692 0.586853 vertex 2.39719 1.45513 19.9 vertex 2.60962 1.70385 19.9 facet normal -4.496525e-001 -7.868906e-001 4.226297e-001 facet normal -0.0559554 -0.885449 0.461356 facet normal -0.554737 -0.0546401 0.83023 facet normal -0.993083 0.0624772 0.0994134 facet normal 0.0463777 0.470887 0.880973 vertex 7.69994 -3.18942 5.74921 facet normal 0.551274 -0.112494 -0.826706 vertex 2.68637.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint.
- -3.096902e-01 facet normal -0.644981 -0.00905415 0.764145.