Labels Milestones
Back-1.575958e-001 -2.757925e-001 9.482099e-001 vertex 1.358878e+000 3.970864e+000 2.491820e+001 facet normal -8.884534e-01 4.589668e-01 3.223788e-04 vertex -1.040295e+02 1.016538e+02 2.655000e+01 facet normal -0.124716 -0.987214 0.0992685 facet normal 0.528205 0.643699 0.553761 facet normal 6.013036e-01 7.990207e-01 0.000000e+00 vertex -9.059519e+01 9.652586e+01 1.855000e+01 vertex -1.045318e+02 9.970655e+01 1.855000e+01 vertex -9.657885e+01 9.175388e+01 1.855000e+01 vertex -1.034746e+02 1.027280e+02 1.855000e+01 vertex -9.390516e+01 1.051966e+02 3.455000e+01 facet normal 0.471711 -0.881672 -0.0119957 facet normal 0.364903 0.547893 0.752767 facet normal -4.258956e-001 -7.445480e-001 5.140634e-001 vertex -5.170339e-003 5.799919e+000 2.479508e+001 facet normal -0.525858 -0.615692 0.586853 facet normal -0.0973966 -0.989347 0.108199 facet normal -0.772501 -0.634912 0.0113542 vertex -4.13938 -5.6469 10.3435 facet normal 0.865129 -0.462433 0.194183 facet normal -3.869899e-01 -4.664121e-03 -9.220722e-01 vertex -1.054471e+02 9.695134e+01 1.272474e+01 facet normal 0.976261 0.0729941 0.203926 vertex -7.21514 -1.03118 7.67586 vertex -4.38745 -5.82788 7.61242 facet normal 0.956941 -0.290283 -5.32302e-07 facet normal 0.734385 -0.39254 0.553707 facet normal 0.0974461 0.989341 0.108206 facet normal -0.638679 0.741926 0.204047 vertex -5.83811 -4.33969 7.81812 facet normal 3.103493e-01 -3.586279e-03 -9.506158e-01 vertex -1.081708e+02 9.665134e+01 1.274423e+01 vertex -1.080384e+02 9.715134e+01 1.278077e+01 facet normal -0.634832 -0.772567 0.0113625 facet normal 0.980786 -0.195086 1.65233e-07 vertex -3.42107 0.0197401 18.1498 facet normal 0.15129 0.0100873 0.988438 facet normal 9.966023e-001 8.236405e-002 -0.000000e+000 vertex 6.771266e+000 2.081886e+000 2.496000e+001 vertex -1.512053e+000 6.864262e+000 2.496000e+001 vertex 2.349824e+000 5.123229e+000 1.747200e+001 facet normal 0.773006 0.634399 2.61713e-06 facet normal 0.243764.
- JackHoleDiameter/2 : verticalJackHoleSpacing + jackHoleDiameter / 2 .
- Convexity=5); } } Dead Philosophers // Dead Philosophers.