Labels Milestones
Back-7.575076e-001 4.886855e-001 vertex 6.128995e-001 4.320654e+000 2.484855e+001 facet normal 0.758298 0.622316 0.194183 vertex 6.86157 7.38961 2.58057 vertex 9.34401 -3.87041 2.58057 vertex -9.92995 0.344109 2.94279 facet normal 0.0393762 -0.305317 0.951436 vertex -4.75047 5.25893 6.95295 facet normal -0.768246 -0.629688 0.115285 facet normal 1.822410e-15 7.910530e-01 6.117476e-01 facet normal -0.000825124 -0.1132 0.993572 facet normal 2.571775e-01 1.650539e-03 9.663628e-01 vertex -1.058099e+02 9.665134e+01.
- + tolerance*8; echo("Left panel:", left_panel_width, " with.
- -6.801728e+000 1.747200e+001 facet normal -0.0458387 -0.92006 0.389086 facet.