Labels Milestones
Back4.720720e-001 -8.093101e-001 3.495213e-001 facet normal 9.513532e-01 -1.155796e-03 -3.081003e-01 facet normal -1.064903e-14 -1.000000e+00 -1.490231e-14 facet normal -0.368125 0.929776 0 vertex -5.96308 8.22545 0 vertex -2.43301 -2.40512 18.1498 vertex 2.42184 2.42184 18.1498 vertex 3.16429 1.31069 18.1498 vertex 2.42184 -2.42184 6.59 facet normal 4.477257e-001 7.827114e-001 4.323246e-001 vertex -4.136271e-003 4.639935e+000 2.479508e+001 facet normal 4.931772e-001 8.630601e-001 1.091032e-001 vertex -5.524647e-001.
- + tolerance*8; echo("Left panel:", left_panel_width, " with.
- -0.796849 0.241718 0.553718 vertex 9.77239 -1.94385 2.94279.