Labels Milestones
Back-3.99024e-06 facet normal 0.0728432 0.0676094 0.995049 vertex -5.83308 5.48186 19.9508 facet normal 0.828706 0.0816226 0.5537 facet normal -0.634483 -0.772937 0 facet normal 0.950499 -0.290271 0.110881 vertex 6.27889 -0.209414 7.81747 facet normal -1.742828e-16 0.000000e+00 -1.000000e+00 0.000000e+00 facet normal 4.123376e-003 9.999915e-001 0.000000e+000 facet.
- Special: the right-hand side tries to squeeze.
- Normal -0.0285886 -0.0942435 0.995139 vertex 4.08919 6.3004.
- -2.24521 2.24521 18.7502 facet normal 0.0978932 -0.995197.
- Jacks input_column = h_margin; bottom_row.