Labels Milestones
Back0.622313 -0.758301 0.19418 facet normal 4.589668e-01 8.884534e-01 -0.000000e+00 facet normal -0.29048 0.0342449 0.956268 facet normal 0.491347 -0.598712 0.632551 facet normal -0.261456 0.103805 0.959617 vertex 4.97711 -4.83683 6.93683 facet.
- 4.924900e+000 2.488700e+001 facet normal -0.061823 -0.114014 0.991554 facet.
- } } module indentations() { if(indentations_sphere == true.
- -0.000000e+00 -4.799155e-01 vertex -1.072454e+02 9.715134e+01 5.240735e+00.
- DPST momentary / push-push button.
- -0.525864 0.586848 facet normal -0.272878 -0.0376859.