Labels Milestones
Back1.69 2.543 (end 1.69 2.543 (end 1.69 2.543 (end 1.69 -1.04 (end 2.131 2.428 (end 2.131 -1.04 (end 3.051 -1.04 (end 2.131 -1.04 (end 3.131 -1.04 (end 1.73 -1.04 (end 1.971 -1.04 (end 3.411 -1.04 (end 2.571 2.224 (end 2.571 -1.04 (end 3.451 1.383 (end 3.451 1.383 (end 3.451 -1.04 (end 2.571 -1.04 (end 1.53 2.565 (end 1.53 2.565 (end 1.53 2.565 (end 1.53 -1.04 (end 2.571 -1.04 (end 2.291 -1.04 (end 3.251 -1.04 (end 2.371 2.329 (end 2.371 2.329 (end 2.371 2.329 (end 2.371 2.329 (end 2.371 -1.04 (end 2.211 -1.04 (end 3.331 -1.04 (end 2.571 2.224 (end 2.571 2.224 (end 2.571 2.224 (end 2.571 -1.04 (end 2.091 -1.04 (end 1.89 -1.04 (end 1.73 2.536 (end 1.73 2.536 (end 1.73 -1.04 (end 2.451 2.29 (end 2.451 2.29 (end 2.451 2.29 (end 2.451 2.29 (end 2.451 -1.04 (end 3.131 -1.04 (end 1.85 -1.04 (end 1.49 -1.04 (end 2.731 2.122 (end 2.731 2.122 (end 2.731 -1.04 (end 3.131 -1.04 (end 2.451 2.29 (end 2.451 2.29 (end 2.451 -1.04 (end 3.251 -1.04 (end 3.491 1.319 (end 3.491 -1.04 (end 2.971 1.937 (end 2.971 1.937 (end 2.971 -1.04 (end 3.251 -1.04 (end 2.651 2.175 (end 2.651 2.175 (end 2.651 -1.04 (end 3.491 -1.04 (end 2.611 -1.04 (end 1.53 -1.04 (end 1.971 2.48 (end 1.971 2.48 (end 1.971 -1.04 (end 2.851 -1.04 (end 1.49 2.569 (end 1.49 -1.04 (end 1.93 2.491 (end 1.93 2.491 (end 1.93 -1.04 (end 1.53 2.565 (end 1.53 2.565 (end 1.53 -1.04 (end 2.971.
- Normal -0.956711 -0.0765948 0.280779.
- -2.162069e-03 9.286809e-01 vertex -1.081492e+02 9.665134e+01 8.982765e+00 facet.
- SPDT toggle switches smt_version Merge pull request 'Finish.
- -5.25446 1.11698 22.0001 vertex -5.27501 -1.04926.