(1 1 1 0 0 X 0)
	       (0 1 1 0 1 X 0)
	       (0 1 0 0 1 X 0)
	       (0 0 0 0 1 X 0)
	       (1 1 0 0 1 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (0 1 1 0 0 X 0)
	       (0 1 0 1 0 X 0)
	       (0 0 0 1 0 X 0)
	       (1 1 0 1 0 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (0 1 1 0 0 X 0)
	       (0 1 0 2 0 X 0)
	       (0 0 0 2 0 X 0)
	       (1 1 0 2 0 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (0 1 1 0 1 X 0)
	       (0 1 0 3 1 X 0)
	       (0 0 0 3 1 X 0)
	       (1 1 0 3 1 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (0 1 1 0 1 X 0)
	       (0 1 0 4 1 X 0)
	       (0 0 0 4 1 X 0)
	       (1 1 0 4 1 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (0 1 1 0 1 X 0)
	       (0 1 0 5 1 X 0)
	       (0 0 0 5 1 X 0)
	       (1 1 0 5 1 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (0 1 1 0 0 X 0)
	       (0 1 0 6 0 X 0)
	       (0 0 0 6 0 X 0)
	       (1 1 0 6 0 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (0 1 1 0 0 X 0)
	       (0 1 0 7 0 X 0)
	       (0 0 0 7 0 X 0)
	       (1 1 0 7 0 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 1)
	       (1 1 1 0 0 X 0)
	       (0 1 1 0 0 X 0)
	       (0 1 1 0 0 X 0)
	       (0 0 1 0 0 X 0)
	       (0 0 1 0 0 X 0)
	       (0 0 1 1 0 X 0)
	       (0 0 1 1 0 X 0)
	       (0 0 1 2 0 X 0)
	       (0 0 1 2 0 X 0)
	       (0 0 1 3 0 X 0)
	       (0 0 1 3 0 X 0)
	       (0 0 1 4 0 X 0)
	       (0 0 1 4 0 X 0)
	       (0 0 1 5 0 X 0)
	       (0 0 1 5 0 X 0)
	       (0 0 1 6 0 X 0)
	       (0 0 1 6 0 X 0)
	       (0 0 1 7 0 X 0)
	       (0 0 1 7 0 X 0)
	       (0 0 1 0 0 X 0)
	       (0 0 1 0 0 X 0)
	       (0 1 1 0 0 X 0)
	       (0 0 1 0 0 X 0)
	       (0 1 1 0 0 X 0)
	       (0 0 1 0 0 X 0)
	       (0 1 1 0 0 X 0)
	       (0 0 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       (1 1 1 0 0 X 0)
	       END
	       END