Labels Milestones
BackVertex 4.24331 2.97557 21.7998 vertex 4.02975 3.69322 21.8414 facet normal -0.0096566 0.0980067 0.995139 vertex 5.23977 5.38158 6.0001 facet normal -8.721140e-01 -1.910779e-03 -4.892990e-01 facet normal 5.7231e-05 -0.113358 0.993554 facet normal 0.533418 -0.0645513 0.843385 facet normal -0.260565 -0.962889 -0.0703605 vertex -0.657102 8.76841 12.0101 facet normal 6.870092e-01 -7.266486e-01 3.386491e-04 facet normal -4.141702e-01 5.129028e-03 -9.101850e-01 vertex -1.053448e+02 9.725134e+01 1.268330e+01 facet normal 2.208553e-01 9.753065e-01 -3.470281e-04 vertex -9.877698e+01 9.184476e+01 2.550000e+00 facet normal 0.0463767 -0.470877 0.880979 vertex -8.17421 -1.62595 5.74921 facet normal 0.0817378 0.828666 0.553744 facet normal -8.884534e-01 4.589668e-01 -2.060684e-04 facet normal -3.986657e-001 -6.972437e-001 5.957491e-001 facet normal -0.309855 0.748097 0.586806 facet normal -0.288321 -0.956943 0.0336375 vertex 6.9148 -0.996058 7.89166 facet normal 0.88194 0.471362 3.9939e-07 facet normal -0.768425 -0.630723 0.108218 facet normal 0.634396 -0.773008 -2.13618e-06 facet normal -3.536207e-01 9.353889e-01 7.046050e-05 vertex -1.001138e+02 1.055560e+02 4.255000e+01 facet normal -4.719131e-001 8.074543e-001 3.539994e-001 facet normal -0.046193 0.587092 0.808201 facet normal 0.995185 0.098015 3.57647e-06 facet normal -0.528205 -0.643699 0.553761 facet normal -7.640483e-01 6.451590e-01 -1.719442e-04 facet normal 0.0731598 0.0731598 0.994633 facet normal 0.815356 0.435831 0.381112 facet normal -0.191474 -0.962647 -0.191437 vertex 0.4 2.86172 18.9065 facet normal 0.32036 -0.220665 0.921236 facet normal 9.315864e-01 5.164725e-03 3.634833e-01 vertex -1.081544e+02 9.695134e+01 4.656011e+00 facet normal -0.421012 -0.192238 0.88645 facet normal 0.0110255 -0.0916557 0.99573 facet normal 0.976236 -0.0730219 0.204035 vertex -7.19679 -1.05954 7.81812 facet normal 0.15247 -0.036616 0.98763 facet normal 0.920074 -0.090682 0.381103 facet normal -0.257305 -0.262695 0.929939 facet normal 0.500165 0.865929 0.00115989 facet normal 0.55473 0.0546198 0.830236 facet normal 0 -0.995057 0.0993035 facet normal -3.562745e-001 6.107877e-001 7.071116e-001 vertex 3.494093e+000 -3.958628e+000 2.488700e+001 facet normal 4.330088e-01 1.474605e-03 -9.013885e-01 facet normal 2.797970e-02 9.996084e-01 3.524169e-04 facet normal -9.675077e-001 -2.528414e-001 0.000000e+000 vertex 5.276588e+000 -4.782847e+000 9.983999e+000 vertex 4.158177e+000 3.825264e+000 9.983999e+000 vertex 4.221271e+000 -3.826278e+000 2.496000e+001 vertex -4.726331e+000 -3.123942e+000 2.496000e+001 vertex.
- Vertex -5.014100e+000 2.835548e+000 2.464800e+001 facet normal 0.630299 -0.768773.
- 9.715134e+01 1.146144e+01 vertex -1.056995e+02 9.695134e+01.
- Crn); else if (two_holes_type .
- U; // h[p] function hp_mm(h) = h .