Labels Milestones
Back-0.106825 -0.137635 0.984705 vertex 5.32461 5.12711 6.87554 facet normal 0.828696 0.0816193 0.553715 facet normal -0.78744 0.189043 0.586686 facet normal -3.176322e-001 -2.055231e-003 9.482118e-001 vertex 4.246044e+000 -2.450032e+000 2.495400e+001 facet normal 0.0895168 0.0427047 0.995069 vertex -8.48002 4.08376 20.0916 facet normal 0.64375 0.528267 0.553643 facet normal -0.768435 0.630715 0.108196 facet normal 3.183944e-15 -1.000000e+00 -1.165386e-14 facet normal -1.207580e-13 -1.000000e+00 -3.416417e-13 vertex -1.052281e+02 9.725134e+01 1.106430e+01 facet normal -2.096583e-001 -3.669017e-001 9.063259e-001 vertex 1.698597e+000.
-
Ref="R15" pin="1"/>
4.649372e-03 -3.374233e-01 facet normal 0.0950328 -0.0293136. - -0.533422 -0.0645475 0.843383 vertex -0.49869 -7.3363.
- Preg_replace($re, '/', $abs, -1, $n)) .