Labels Milestones
Back-0.301372 0.950757 facet normal -0.920082 -0.0906197 0.381101 vertex 10.0771 -0.373379 2.58057 facet normal 0.768469 -0.630673 0.108201 facet normal 5.212694e-001 8.533922e-001 0.000000e+000 facet normal 0.42052 0.17417 0.890409 facet normal -8.095803e-001 -3.421870e-003 5.869991e-001 vertex 4.096884e+000 2.346750e+000 2.486861e+001 facet normal 9.686083e-07 -1.000000e+00 3.858334e-07 facet normal -9.991503e-001 4.121603e-002 0.000000e+000 vertex -3.156789e+000 6.278394e+000 9.983999e+000 vertex -5.169086e+000 2.233433e+000 9.983999e+000 vertex 5.197721e+000 4.781580e+000 1.747200e+001 facet normal -0.952717 -0.0938358 0.289008 vertex 0 -7.79364 5.97318 facet normal -4.56308e-05 -0.115797 0.993273 facet normal -4.942513e-001 -8.649397e-001 8.714821e-002 vertex 2.514840e+000 4.322941e+000 2.470218e+001 facet normal 4.103484e-06 -1.000000e+00 -3.763539e-07 facet normal -0.851405 0.301701 0.429052 facet normal -8.091787e-01 -1.313994e-03 -5.875612e-01 facet normal -0.307705 -0.502127 0.8082 facet normal -0.111553 0.367738 0.923214 facet normal -0.84476 0.442038 0.301633 facet normal -0.0973514 0.989354 0.108175 facet normal -0.0580967 -0.0922853 0.994036 vertex 0.0587368 -7.36167 6.86308 vertex -5.17002 -5.22724 6.86195 facet normal 6.902356e-01 1.546646e-03 -7.235830e-01 facet normal 0.219559 0.16633 0.961316 facet normal 8.914481e-01 1.519424e-03 -4.531202e-01 vertex -1.052509e+02 9.725134e+01 1.063372e+01 facet normal -0.0600054 -0.14487 0.98763 vertex 4.60312 0.147574 18.7299 facet normal 6.417350e-001 7.669265e-001 -0.000000e+000 vertex 6.771266e+000 2.081886e+000 9.983999e+000 vertex -4.026420e+000 -3.996321e+000 9.983999e+000 vertex -1.739018e+000 -6.897197e+000 9.983999e+000 vertex 5.919638e+000 -3.953691e+000 2.496000e+001 vertex -8.221430e-001 6.982005e+000 1.747200e+001 facet normal 0.575169 0.528289 0.624573 facet normal 0.272878 -0.0376859 0.96131 vertex 0.0610838 7.13918 6.87866 facet.
- Rib h_wall(h=1.6, l=right_rib_x); // middle horizontal.
- D="M 2.992121,8.8582675 H 2.913381" style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:0.166667px;line-height:100%;font-family:'Noto Sans.