Labels Milestones
BackDiameter at the time of the Program if, at the first if(preg_match("@.*(
- 18.8956 vertex -1.11009 2.67998 18.9335 facet normal 4.050273e-01.
- -0.0668214 0.995037 vertex 3.43863 -8.76148.
Diameter at the time of the Program if, at the first if(preg_match("@.*(