Labels Milestones
Back1.33 2.579 (end 1.29 2.58 (end -1.554775 1.475 (end -1.304775 1.725 (end 3.87 0 (end 4 0 (end -5 6.5 (end 5 -7.9 (end.
- 81f5cdc2cd0ea2f7c6a63827426db16f9b2cd3fd Mon Sep 17 00:00:00 2001 Subject: [PATCH.
- -5.080899e-01 8.613040e-01 3.462170e-04 vertex -1.015466e+02 1.047674e+02 1.855000e+01.
- -1.012109e+02 9.281104e+01 1.855000e+01 vertex -1.045318e+02 9.970655e+01 2.655000e+01 facet.
- 0.271031 -0.654318 0.705982 vertex 5.3435.