Labels Milestones
Back$doc = NULL) { if (preg_match("@.*?(
- [8,7,9],[10,9,7], [10,7,6],[6,7,0],[3,6,0], [2,1,4],[3,2,6],[10,6,9],[8,9,4], [4,5,2],[2,5,6],[6,5,9],[9,5,4] ], convexity=5); } .
- 3.077163e-001 9.348040e-001 vertex 3.836165e-002 -4.904383e+000.
- 1.822821e-01 -1.015564e-03 vertex -9.035159e+01 9.739274e+01 1.656905e+01.