Labels Milestones
Back-1 6.84708 8.58432 vertex 1 7.29533 6.97071 vertex 1 6.34847 12.858 vertex 1 7.29533 6.97071 vertex 1 7.12044 7.60042 vertex 1 0 22.0001 vertex -5.25446 -1.11698 22.0001 vertex -5.27501 1.04926 22.0001 vertex -3.74837 3.84796 22.0001 vertex 5.28194 -0.978841 22.0001 vertex -5.37835 0 22.0001 vertex 5.28194 -0.978841 22.0001 vertex -2.0582 -4.96895 22.0001 vertex 5.27501 1.04926 22.0001 vertex -4.47193 2.98805 22.0001 vertex -2.92564 4.50529 22.0001 vertex -3.84796 3.74837 22.0001 vertex -5.28194 -0.978841 22.0001 vertex 2.0582 4.96895 22.0001 vertex 2.98805 4.47193 22.0001 vertex -5.25446 1.11698 22.0001 vertex 1.11698 5.25446 22.0001 vertex 4.96895 2.0582 22.0001 vertex 2.0582 -4.96895 22.0001 vertex 1 6.92771 7.89317 vertex -1 7.04351 7.6891 vertex -1 7.12044 7.60042 vertex -1 6.84708 8.58432 vertex -1 5.78941 6.73694 vertex -0.95 0 20.5 vertex 1 0 22.0001 vertex -5.25446 1.11698 22.0001 vertex 1.11698 5.25446 22.0001 vertex 3.84796 3.74837 22.0001 vertex 2.92564 -4.50529 22.0001 vertex 1 5.30257 21.8229 vertex -1 7.12044 7.60042 vertex 1 7.04351 7.6891 vertex 1 7.30206 6.90928 vertex -1 6.28946 13.3638 vertex -1 6.84708 8.58432 vertex -1 5.30257 21.8229 vertex -1 7.04351 7.6891 vertex 1 6.34847 12.858 vertex 1 6.40171 12.8528 vertex 1 6.40171 12.8528 vertex 1 7.12044 7.60042 vertex 1 7.12044 7.60042 vertex -1 6.36215 13.3567 vertex 1 4.35446 19.3313 vertex 1 6.95595 7.79002 vertex -1 6.43 12.85 facet normal 0.885449 0.0559554 0.461356 facet normal 0.462456 -0.449684 0.764146 facet normal 0.584874 0.805008 0.0994259 facet normal 0.114148 -0.990969 -0.0703601 vertex 7.12392 -6.81517 1.35836 facet normal -0.284757 0.938724 0.194192 facet normal 0.471479 0.881877 0 facet normal -0.468318 0.782844 0.409675 facet normal -0.992165 0.101034 0.0734901 facet normal -6.702006e-14 -1.000000e+00 8.751096e-14 facet normal -6.727979e-001 7.398263e-001 0.000000e+000 vertex -4.026420e+000 -3.996321e+000 2.496000e+001 vertex 4.604934e-001 5.608658e+000 2.496000e+001 vertex 5.106196e+000 2.445278e+000 2.496000e+001 vertex 3.541821e+000 4.395136e+000 2.496000e+001 vertex 5.622908e+000 -8.258408e-001 1.747200e+001 facet normal 6.030205e-001 7.977257e-001 -0.000000e+000 vertex 5.430013e+000 4.519711e+000 2.496000e+001 vertex -2.111555e+000 3.615334e+000 2.495526e+001 facet normal -7.765720e-01 -1.743264e-03 -6.300261e-01.
- 9.390465e-002 9.940733e-001 facet normal.
- Make_step(bottom_element="switch") { // Dead Philosophers.