Labels Milestones
Back5.006057e-001 -8.576173e-001 1.178409e-001 facet normal 0.987688 0.156434 0 facet normal -0.262695 -0.257305 0.929939 facet normal 0.464678 0.695445 -0.548115 vertex 1.28613 3.10499 18.4724 facet normal 0.884719 0.268373 0.381114 facet normal -0.957368 0.115024 0.264982 facet normal 7.799906e-001 6.257913e-001 0.000000e+000 facet normal 0.88186 0.471361 -0.0119414 facet normal 0.630723 -0.768425 0.108218 facet normal 0.0759145 -0.770773 0.63257 facet normal -0.439079 -0.687862 0.577975 vertex 5.75031 4.43088 7.41293 facet normal 0.137635 -0.106825 0.984705 facet normal 0.995185 -0.0980159 0 vertex 5.69599 3.1314 20 vertex 4.7383 -4.44956 20 vertex 5.25861 3.8206 19.9.
- 1.006114e+02 1.200773e+01 facet normal -5.741950e-01 -8.187185e-01.
- -1.086297e+02 9.715134e+01 5.544934e+00 vertex -1.084873e+02 9.695134e+01 5.334736e+00.
- -9.258396e-001 3.779167e-001 0.000000e+000 vertex 4.884630e+000 -2.925793e+000 2.496000e+001.
- H_margin; // special: the right-hand side.
- Vertex 2.76756 5.88138 20 vertex 6.87796 -0.560795.