Labels Milestones
BackNormal 0.268415 -0.834578 0.481075 facet normal -0.468218 0.881923 0.0546202 facet normal -0.382418 0.0376647 0.923222 facet normal -0.288045 -0.957542 -0.0119981 facet normal 1.567822e-01 8.579745e-03 -9.875959e-01 vertex -1.074583e+02 9.725134e+01 1.288679e+01 facet normal 7.409530e-001 3.131999e-003 6.715497e-001 facet normal 0.392055 0.2628 0.881606 vertex 0.194578 -6.96824 6.94018 vertex -5.16004 4.76054 6.94563 vertex 5.14541 -4.97595 6.88072 facet normal -2.890011e-001 4.954567e-001 8.191465e-001 vertex 8.339368e-001 -5.510304e+000 2.488700e+001 facet normal 3.472661e-15 -2.508225e-15 1.000000e+00 facet normal -0.288986 0.749614 0.595454 vertex 5.5867 4.34382 7.39225 facet normal -0.977563 -0.185897 0.0990623 facet normal -0.366287 0.925191 0.099274 facet normal -0.161815 -0.533428 0.830223 facet normal 0.221424 -0.737294 -0.638255 facet normal -0.118608 -0.286346 0.950757 facet normal 0.451284 -0.844291 0.288991 vertex 6.34429 6.34429 4.79464 facet normal 0.0729258 -0.976256 0.203976 facet normal -0.343415 -0.685181 0.642334 facet normal 3.4225e-05 -0.113199 0.993572 vertex -0.948559 7.30706 6.90985 facet normal -0.195101 -0.980783 -5.85608e-06 facet normal -8.391899e-02 9.964726e-01 0.000000e+00 facet normal -0.758295 -0.595618 0.265006 facet normal -0.77078 -0.0759133 0.632562 vertex -1.70669 8.58011 5.33536 facet normal -0.491602 0.262766 0.83023 facet normal -9.901835e-01 1.397736e-01 0.000000e+00 vertex -1.021772e+02 1.042644e+02 1.055000e+01 vertex -9.617960e+01 1.059924e+02 1.055000e+01 vertex -9.798426e+01 1.060690e+02 2.550000e+00 facet normal -3.776893e-15 -4.049106e-15 1.000000e+00 facet normal 0.0980097 0.00965279 0.995139 vertex -2.87789 -6.94785 6.0001 facet normal 3.693062e-13 -1.000000e+00 7.776002e-13 vertex -1.083783e+02 9.665134e+01 1.052415e+01 facet normal -0.88076 -0.468307 -0.0703597 vertex.
- Normal -3.279645e-001 -5.711591e-001 7.524737e-001 vertex 3.480290e+000 2.717579e+000.
- */ wall(h=10, w=height-hole_dist_top*2-32); // decoration? Surface("FireballSpellSmall.png", center=true.