// inputfile for Cave ( last update 27/3/1997 )
CAVE
BOX
VAKUUM$
   6500. -4500.  -9000.
   6500.  4500.  -9000.
  -6500.  4500.  -9000.
  -6500. -4500.  -9000.
   6500. -4500.   9000.
   6500.  4500.   9000.
  -6500.  4500.   9000.
  -6500. -4500.   9000.