Labels Milestones
BackD="m -6.7913424,2.5590618 h -0.19685" d="M -6.8897634,7.381896 V 7.5787465" d="m -3.4448821,7.4803212 h -0.19685" d="M 2.4803057,4.4291344 V 4.6259849" d="m 2.5787307,4.5275596 h -0.19685" d="m -3.5433111,11.318904 v 0.196852" d="m 3.5236175,7.2834656 h -0.19685" d="M -6.8897672,9.54725 V 9.744101" d="m -6.7913422,9.645676 h -0.19685" d="m.
- .prl Correcting changed filename in .prl 54f1a61ba5.
- -5.665795e+000 2.496000e+001 vertex -3.052103e+000 -6.417228e+000 1.747200e+001 facet.