Labels Milestones
Back-0.618138 -0.683022 0.389083 vertex 4.41238 -5.81619 7.55007 vertex -7.25237 -0.938256 7.41914 facet normal -0.683044 0.365094 0.63258 vertex -3.34779 -8.08229 5.33536 facet normal -0.271019 -0.654332 0.705973 facet normal -0.420509 0.17419 0.89041 facet normal -0.630653 0.768481 0.10823 facet normal 0.681166 0.725363 0.0993075 facet normal -0.256282 0.844851 0.469623 vertex -8.21035 3.40084 5.07603 facet normal 0.36771 0.111577 0.923223 vertex -3.41238 8.32455 3.82299 facet normal -9.942604e-001 -1.069870e-001 0.000000e+000 vertex -5.550534e+000 -1.056204e+000 9.983999e+000 vertex 7.068955e+000 -6.845815e-001 1.747200e+001 facet normal 4.784231e-001 8.781294e-001 -0.000000e+000 vertex 1.808561e-001 5.623660e+000 9.983999e+000 vertex 5.655164e+000 -5.476652e-001 1.747200e+001 facet normal -0.694862 -0.464011 -0.549418 facet normal -0.0846387 0.279018 0.956549 facet normal 0.028588 -0.0942416 0.995139 vertex 6.48017 4.32991 5.97318 facet normal 0.0217758 -0.172853 0.984707 facet normal -9.891674e-001 -4.709916e-003 1.467164e-001 vertex 5.057285e+000 -2.919529e+000 2.467858e+001 facet normal 0.464683 -0.695452 -0.548102 vertex 2.37646 2.37646 18.4724 facet normal 4.866820e-001 -8.343557e-001 2.588264e-001 vertex -2.519021e+000 4.312717e+000 2.475471e+001 facet normal -9.062902e-001 -5.070952e-003 4.226256e-001 vertex -5.029147e+000 1.989062e+000 2.475471e+001 facet normal -0.273151 0.564052 0.779252 facet normal 0.233262 0.84961 0.473025 vertex 4.29172 5.03912 7.34278 facet normal 0.0815519 0.0814596 0.993335 vertex 4.42536 -4.42536 7.81508 facet normal 0.362633 -0.421912 0.830956 vertex -4.72589.
- 2.921475e+000 2.484593e+001 facet normal 0.0366128 0.15247 0.98763 vertex.
- // pause (j18/j19 // 10 steps.
- Branch smt_version Notes about component heights.
- 0.0630861 -0.0787267 -0.994898 vertex 5.35594 8.43961 0.043395.
- From 4f6e9e0984f9a003c1c3b6aa2f03c4a9a8708f29 Mon Sep 17 00:00:00 2001.