(unit/sig
  paint-by-numbers:problem-set^
  (import paint-by-numbers:problem^)
  (define set-name "Hattori 1 - 30")
  (define problems
    (list (make-problem
            "Hattori 1"
            '((5) (1) (3 1) (8) (2 1) (1 6) (1 1 1) (3) (1) (10))
            '((1)
              (4 1)
              (2 3)
              (1 2 1)
              (1 1 1 1)
              (1 2 1 1)
              (4 1 1)
              (1 2 1 1)
              (1 1 1 1)
              (5 1))
            '#10(#10(off off off off off off off off off on)
                 #10(off off off off on on on on off on)
                 #10(off off off on on off off on)
                 #10(off off off on off off on on off on)
                 #10(on off off on off on off off off on)
                 #10(on off on on off on off off off on)
                 #10(on on on on off on off off off on)
                 #10(on off on on off on off off off on)
                 #10(on off off on off on off off off on)
                 #10(off off on on on on on off off on)))
          (make-problem
            "Hattori 2"
            '((5 1 5)
              (5 2 6)
              (15)
              (4 5)
              (3 5 2)
              (3 6 1 2)
              (3 4 1 2)
              (3 3)
              (3 4)
              (1 1 1 1)
              (8)
              ()
              (2)
              (1 9 1)
              (2 2 2))
            '((10 2)
              (9 1)
              (9)
              (4 2 1)
              (3 2 1 3)
              (1 3 1 3)
              (2 3 1 1)
              (3 3 1 1)
              (1 3 1 1)
              (2 1 1 1)
              (4 2 1)
              (4 2 1 1)
              (4 2)
              (9 1)
              (10 2))
            '#15(#15(on on on on on on on on on on off off off on)
                 #15(on on on on on on on on on off off off off off on)
                 #15(on on on on on on on on on off)
                 #15(on on on on off off off off off on on off off on off)
                 #15(on on on off on on off off off off on off on)
                 #15(off off on off on on on off off off on off on)
                 #15(off on on off on on on off off off on off off on off)
                 #15(on on on off on on on off off off on off off on off)
                 #15(off off on off on on on off off off on off off on off)
                 #15(off on on off off on off off off off on off off on off)
                 #15(on on on on off off off off off on on off off on off)
                 #15(on on on on off on on off on off off off off on off)
                 #15(on on on on off off off on on off)
                 #15(on on on on on on on on on off off off off off on)
                 #15(on on on on on on on on on on off off off on)))
          (make-problem
            "Hattori 3"
            '((11)
              (1 11)
              (2 3 4 2)
              (4 2 2)
              (3 4)
              (2 3 3 3)
              (2 1 1 3)
              (2 1 1 3)
              (2 3 4)
              (2 1 4)
              (3 3 4)
              (2 2 2 4)
              (4 6)
              (11)
              (9))
            '((9)
              (12)
              (1 2 4)
              (4 1 3)
              (3 1 4)
              (3 4 2 2)
              (2 3 2)
              (2 4 2 2)
              (3 1 4)
              (3 1 3)
              (4 4)
              (5 7)
              (2 10)
              (12)
              (9))
            '#15(#15(off off on on on on on on on on on off)
                 #15(off on on on on on on on on on on on on off)
                 #15(on off off on on off off off off off on on on on off)
                 #15(on on on on off on off off off off off off on)
                 #15(on on on off off on off off off off off on)
                 #15(on on on off off on on on on off on on off on)
                 #15(on on off off off off off off on on on off off on)
                 #15(on on off off off on on on on off on on off on)
                 #15(on on on off off on off off off off off on)
                 #15(on on on off off on off off off off off off on)
                 #15(on on on on off off off off off off off on)
                 #15(on on on on on off off off on)
                 #15(on on off off on on on on on on on on on on off)
                 #15(off on on on on on on on on on on on on off)
                 #15(off off on on on on on on on on on off)))
          (make-problem
            "Hattori 4"
            '((6)
              (3 2)
              (2 1)
              (2 2)
              (2 1)
              (1 1)
              (2 1)
              (5 1)
              (2 4 5)
              (1 4 2 4)
              (1 5 1 4)
              (7 1 5)
              (7 7)
              (5 7)
              (5))
            '((5)
              (2 3)
              (1 4)
              (8)
              (10)
              (2 7)
              (2 5)
              (2)
              (1 5)
              (2 2 3)
              (1 1 4)
              (1 12)
              (4 7)
              (2 7)
              (1 5))
            '#15(#15(off off off off off off off off on on on on on off)
                 #15(off off off off off off off on on off off on on on off)
                 #15(off off off off off off off on off off on on on on off)
                 #15(off off off off off off on on on on on on on on off)
                 #15(off off off off on on on on on on on on on on off)
                 #15(off off off on on off off on on on on on on on off)
                 #15(off off on on off off off off on on on on on off)
                 #15(off on on off)
                 #15(off on off off off off off off off on on on on on off)
                 #15(on on off off off off off off on on off off on)
                 #15(on off off off off off off off on off off on)
                 #15(on off off on)
                 #15(on on on on off off off off on)
                 #15(on on off off off off off off on)
                 #15(on off off off off off off off off on on on on on off)))
          (make-problem
            "Hattori 5"
            '((2 1)
              (11)
              (3 3)
              (2 4)
              (3 3)
              (2 2 2 3)
              (2 2 2 2)
              (2 1 1 2)
              (2 2 2 2)
              (3 2)
              (1 1 2)
              (1 4)
              (1 3 1 1)
              (1 1 1 2)
              (6))
            '((7)
              (8)
              (4 5)
              (3 1)
              (2 4 3)
              (1 2 1 1 1)
              (1 3)
              (1 1)
              (1 2 1 1)
              (1 4 1)
              (1 2)
              (4 1)
              (5 1)
              (10)
              (10))
            '#15(#15(off off off off on on on on on on on off)
                 #15(off off on on on on on on on on off)
                 #15(off on on on on off off off off on on on on on off)
                 #15(on on on off off off off off off off off off off off on)
                 #15(on on off off off on on on on off off off on)
                 #15(off on off off off on on off on off off off on off on)
                 #15(off on off off off off off off off off off off on)
                 #15(off on off off off off off off off off off off off off on)
                 #15(off on off off off on on off on off off off off off on)
                 #15(off on off off off on on on on off off off off on off)
                 #15(off on off off off off off off off off off off on on off)
                 #15(on on on on off off off off off off off on off)
                 #15(off on on on on on off off off off off on off)
                 #15(off off on on on on on on on on on on off)
                 #15(off off off on on on on on on on on on on off)))
          (make-problem
            "Hattori 6"
            '((4)
              (6 1)
              (2 1 1 2)
              (5 1 3)
              (5 1 2 1)
              (6 1 2 1)
              (6 3 1)
              (6 2 2)
              (4 1 1 2)
              (2 1 1)
              (2 2)
              (7)
              (1 1)
              (2 2)
              (6))
            '((1 1)
              (1 6)
              (1 7)
              (9)
              (8)
              (2 4)
              (1 1 6 1)
              (1 2 2)
              (8 4)
              (3 1 1)
              (2 1 2)
              (2 4)
              (2 1 1)
              (2 2 2)
              (6 2))
            '#15(#15(off on off on off)
                 #15(off on off on on on on on on off)
                 #15(off on off on on on on on on on off)
                 #15(off on on on on on on on on on off)
                 #15(off on on on on on on on on off)
                 #15(on on off off on on on on off)
                 #15(on off on off off on on on on on on off off off on)
                 #15(on off off off off off off off off off on on off on)
                 #15(on on on on on on on on off off off on)
                 #15(off off off off off off on on on off off on off off on)
                 #15(off off off off off on on off off off off on off on)
                 #15(off off off off on on off off off off off on)
                 #15(off off off on on off off off on off off on off)
                 #15(off off on on off off off on on off on on off)
                 #15(off off on on on on on on off on on off)))
          (make-problem
            "Hattori 7"
            '((3)
              (5)
              (3 1)
              (3 3 1)
              (6 2 1)
              (7 3)
              (2 2 1)
              (1 1 1 1 1)
              (2 1 1 1 1)
              (1 1 2 1)
              (1 1 1)
              (13)
              (4 8)
              (9)
              (4 3))
            '((3 3)
              (3 2 4)
              (2 5)
              (3 2 4)
              (3 1 1 1)
              (3 2 4)
              (3 6)
              (5 4)
              (3)
              (2)
              (4 2)
              (6 2)
              (4 8)
              (2 1 1)
              (4))
            '#15(#15(off off off off off off on on on off off off on)
                 #15(off off off off on on on off on on off on)
                 #15(off off off off on on off off off off on)
                 #15(off off off on on on off on on off off on)
                 #15(off off off on on on off off off on off on off on off)
                 #15(off off off on on on off on on off off on)
                 #15(off off off off on on on off off on)
                 #15(off off off off off on on on on on off on)
                 #15(off off off off off off off off off off off on on on off)
                 #15(off off off off off off off off off off off on on off)
                 #15(off on on on on off off off off off off on on off)
                 #15(on on on on on on off off off off off on on off)
                 #15(on on on on off on on on on on on on on off)
                 #15(on on off off off on off off off off off on off)
                 #15(off on on on on off)))
          (make-problem
            "Hattori 8"
            '((7)
              (6 2)
              (1 3 3)
              (2 2 2)
              (2 1)
              (3 2 1)
              (3 3 2 1)
              (1 4 2 1)
              (1 2 2)
              (2 2 6)
              (1 2 1)
              (1 1 3)
              (1 4 1)
              (2 5)
              (9))
            '((4)
              (3 1 5)
              (1 2 2 2)
              (1 2 1 1)
              (2 1 1 1)
              (2 3 1 1)
              (3 1 2 1)
              (1 1 2 3 1)
              (1 2 2 1 1)
              (1 1 2 1 1)
              (2 1 3)
              (2 2 1 1)
              (1 2 3 1)
              (2 2 1 1)
              (7 3))
            '#15(#15(off off off off off off on on on on off)
                 #15(off on on on off off on off off on on on on on off)
                 #15(off on off on on off on on off off off off off on)
                 #15(off on off off on on off on off off off off off off on)
                 #15(on on off off off on off on off off off off off off on)
                 #15(on on off off off on on on off on off off off off on)
                 #15(on on on off off off on off off on on off off off on)
                 #15(on off on off off off on on off off on on on off on)
                 #15(on off on on off off off on on off off off on off on)
                 #15(on off off on off off off off on on off off on off on)
                 #15(on on off off off off off off off on off off on)
                 #15(off on on off off on on off off on off off off on off)
                 #15(off off on off off on on off off on on on off on off)
                 #15(off off on on off off off off on on off on off on off)
                 #15(off off off on on on on on on on off on on on off)))
          (make-problem
            "Hattori 9"
            '((3)
              (2 2)
              (1 2)
              (1 11)
              (1 2 4)
              (2 2 2 1)
              (3 3 1 1)
              (2 2)
              (1 1)
              (1 1)
              (7)
              (3 3)
              (2 2)
              (3 3)
              (3 3))
            '((5)
              (2 2)
              (1 1)
              (2 2 5)
              (5 8)
              (3 2 2 2)
              (1 1 1)
              (1 2 2 2)
              (1 8)
              (1 5)
              (4)
              (3)
              (2)
              (4)
              (1))
            '#15(#15(off on on on on on off)
                 #15(on on off off off on on off)
                 #15(on off off off off off on off)
                 #15(on on off off off on on off off off on)
                 #15(off on on on on on off on)
                 #15(off off on on on off on on off off on on off on)
                 #15(off off off on off off on off off off on off)
                 #15(off off off on off off on on off off on on off on)
                 #15(off off off on off off off on)
                 #15(off off off on off off off off off off on)
                 #15(off off off on on on on off)
                 #15(off off off on on on off)
                 #15(off off off on on off)
                 #15(off off off on on on on off)
                 #15(off off off on off)))
          (make-problem
            "Hattori 10"
            '((7 1)
              (2 2 1)
              (1 1 3)
              (1 1 1 3)
              (5 2)
              (13)
              (15)
              (3 5)
              (2 7 1)
              (3 10)
              (3 7)
              (6 2)
              (2 4)
              (2 3 2)
              (1 3 1)
              (1 3 1)
              (1 3 1)
              (2 2)
              (2 2)
              (6))
            '((5)
              (5)
              (3 2)
              (2 5)
              (1 2 2 2)
              (10 2 2)
              (2 6 1 2 1)
              (1 7 1 4 1)
              (2 13 1)
              (14 1 1)
              (1 2 5 2)
              (2 3 2 2)
              (2 2 2 5)
              (7 3)
              (5 4))
            '#15(#20(off off off off off off on on on on on off)
                 #20(off off off off off off on on on on on off)
                 #20(off off off off off on on on off on on off)
                 #20(off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(on
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on)
                 #20(on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     on)
                 #20(on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     off
                     off
                     on)
                 #20(on
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off)
                 #20(off
                     off
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(on on on on on on on off off on on on off)
                 #20(off off on on on on on off on on on on off)))
          (make-problem
            "Hattori 11"
            '((4)
              (6)
              (6)
              (3 6)
              (3 2 6)
              (3 6 4)
              (4 7)
              (11)
              (2 13)
              (1 13)
              (14)
              (9 4)
              (9 2)
              (8)
              (7)
              (6)
              (5 1)
              (3 4 3)
              (5 3 4)
              (16))
            '((5)
              (4)
              (3 1)
              (3 2)
              (5 3)
              (8 2)
              (10 2)
              (12 2)
              (13 1)
              (1 12 1)
              (14 1)
              (1 1 12)
              (12)
              (3 8)
              (4 3 1)
              (6 4 1)
              (6 3 2)
              (6 3 3)
              (6 2 3)
              (4 4))
            '#20(#20(off off off off off on on on on on off)
                 #20(off off off off off on on on on off)
                 #20(off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off off off off on off on off on)
                 #20(off off off off off off off off on)
                 #20(off off off off off off off off on on on off on)
                 #20(off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)))
          (make-problem
            "Hattori 12"
            '((5 7)
              (5 3 3)
              (4 2 7 2)
              (4 1 1)
              (3 1 1)
              (2 1 3 1)
              (1 1 1 1)
              (1 1 9 1)
              (13)
              (2 11)
              (2 13)
              (3 11 2)
              (16 1)
              (15 1)
              (15 1)
              (13 1)
              (12 2)
              (10 3)
              (12)
              (18))
            '((8 1)
              (6 2)
              (5 3 1)
              (4 4 1)
              (2 6 1)
              (6 1)
              (7 8 1)
              (2 12)
              (1 13)
              (3 13)
              (1 1 13)
              (1 1 1 13)
              (1 1 15)
              (1 1 1 13)
              (1 1 13)
              (3 10 2)
              (1 9 2)
              (2 3 3 3)
              (7 2 4)
              (7 1))
            '#20(#20(on on on on on on on on off on off)
                 #20(on on on on on on off off off on on off)
                 #20(on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off on on off off off off off on)
                 #20(off on off off off off off on)
                 #20(on on on off off off off on)
                 #20(on off on off off off off on)
                 #20(on off on off off on off on)
                 #20(on off on off off on)
                 #20(on off on off off on off on)
                 #20(on off on off off off off on)
                 #20(on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on)
                 #20(off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     off
                     off
                     on)
                 #20(off off on on on on on on on off on on off off off off on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)))
          (make-problem
            "Hattori 13"
            '((2 2)
              (2 3)
              (3)
              (2 12)
              (2 15)
              (17)
              (18)
              (3 12)
              (4 1 13)
              (4 13)
              (8 7)
              (10 7)
              (11 7)
              (18)
              (18)
              (17)
              (14)
              (3)
              (3)
              (2))
            '((2 2 2)
              (2 7)
              (2 9)
              (2 11)
              (2 6)
              (3 1 7)
              (3 7)
              (14)
              (14)
              (7 6)
              (10 8)
              (10 7)
              (10 6)
              (14)
              (14)
              (14)
              (14)
              (14)
              (14)
              (3 2 2 2))
            '#20(#20(off off off on on off off off on on off on on off)
                 #20(off off off on on off off on on on on on on on off)
                 #20(on on off off off off on on on on on on on on on off)
                 #20(on on off off off on on on on on on on on on on on off)
                 #20(off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off off off on on on on on on on on on on on on on on off)
                 #20(off off off on on on on on on on on on on on on on on off)
                 #20(off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(on on on on on on on on on on off off on)
                 #20(on on on on on on on on on on off off off on)
                 #20(off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off off off on on on on on on on on on on on on on on off)
                 #20(off off off on on on on on on on on on on on on on on off)
                 #20(off off off on on on on on on on on on on on on on on off)
                 #20(off off off on on on on on on on on on on on on on on off)
                 #20(off off off on on on on on on on on on on on on on on off)
                 #20(off off off on on on on on on on on on on on on on on off)
                 #20(off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     on
                     on
                     off
                     on
                     on
                     off)))
          (make-problem
            "Hattori 14"
            '((8)
              (9)
              (1 5)
              (1 1 3)
              (1 2)
              (2 2)
              (1 2 2)
              (3 3)
              (1 10)
              (12)
              (1 4 2 1)
              (1 5 6)
              (1 5 2 1)
              (1 6)
              (1 7)
              (1 3 3)
              (1 1 3 4)
              (1 6 3)
              (2 1 3 4)
              (19))
            '((3)
              (2)
              (1)
              (3 1 1)
              (2 11)
              (3 1 1)
              (5 2 7)
              (2 2 2 8)
              (2 1 14)
              (3 8 1)
              (3 11 2)
              (7 12)
              (6 2 1 6)
              (4 3 1 4)
              (2 5 1)
              (1 1)
              (1 1)
              (1 1)
              (3 1)
              (1 1))
            '#20(#20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     on)
                 #20(off off off off off off on on off on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     on)
                 #20(off on on on on on off off on on off off off on)
                 #20(on on off off off on on off on on off off on)
                 #20(on on off on off off on)
                 #20(on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(on on on on on on on off on)
                 #20(on on on on on on off off on on off on off off on)
                 #20(on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)))
          (make-problem
            "Hattori 15"
            '((1)
              (1 17)
              (3 1 1)
              (1 1 1 3 3 3 1)
              (1 1 1 3 1 1 1 1 1)
              (3 1 3 3 3 1)
              (1 3 1)
              (1 16)
              (1)
              (1)
              (1 9)
              (1 2 1 2)
              (1 2 1 1 1)
              (1 2 1 3 2)
              (2 16)
              (3 16)
              (1 4 7 3 1)
              (1 1 4 8)
              (1 2 1 8)
              (1 2 1))
            '((20)
              (1 1 2)
              (6 2)
              (1 2 1)
              (7 3)
              (1 1 5)
              (1 3 1 4 1)
              (1 3 1 2 5)
              (1 3 1 2 4)
              (1 1 1 4)
              (1 3 1 1 5)
              (1 1 1 1 7 1)
              (1 3 1 1 6)
              (1 1 1 6)
              (1 3 1 1 4 2)
              (1 1 1 1 1 6)
              (1 3 1 2 5)
              (1 1 8)
              (7 3 3)
              (5))
            '#20(#20(on)
                 #20(off
                     off
                     on
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off)
                 #20(off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off)
                 #20(off
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off)
                 #20(off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #20(off
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     on
                     off
                     on
                     on
                     on
                     off
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     off)
                 #20(off
                     on
                     off
                     on
                     on
                     on
                     off
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     on
                     off
                     on
                     on
                     on
                     off
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     on
                     off
                     on
                     on
                     on
                     off
                     on
                     off
                     off
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     on
                     off
                     on
                     off
                     on
                     off
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on)
                 #20(off on off on on on off on off off on off off off on)
                 #20(off
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     on
                     off
                     on
                     on
                     on
                     off
                     on
                     off
                     off
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off)
                 #20(off
                     on
                     off
                     on
                     off
                     on
                     off
                     on
                     off
                     off
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     on
                     off
                     on
                     on
                     on
                     off
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off)))
          (make-problem
            "Hattori 16"
            '((6)
              (10)
              (3 5 3)
              (8 7)
              (6 7 3)
              (2 8 7)
              (5 10 3)
              (1 5 4 1)
              (5 5)
              (3 3)
              (3 4 2)
              (3 5 3)
              (3 5 2)
              (13)
              (5)
              (6)
              (7)
              (7)
              (7)
              (5))
            '((5)
              (3 4)
              (10)
              (2 3 2)
              (7 2)
              (5 1 1)
              (7 1)
              (2 1 2 1)
              (7 4)
              (7 7)
              (3 3 9)
              (7 9)
              (5 1 9)
              (1 4 7)
              (7 1 5)
              (2 4 1 4)
              (4 2 2 3)
              (7 2)
              (3 4)
              (7))
            '#20(#20(off off off off off off on on on on on off)
                 #20(off off off off on on on off on on on on off)
                 #20(off off off on on on on on on on on on on off)
                 #20(off off off on on off on on on off off on on off)
                 #20(off off on on on on on on on off off off on on off)
                 #20(off on on on on on off on off off off off off on off)
                 #20(off on on on on on on on off off off off off on off)
                 #20(on on off on off on on off off off off off off on off)
                 #20(on on on on on on on off off off on on on on off)
                 #20(on on on on on on on off off off on on on on on on on off)
                 #20(on
                     on
                     on
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(on on on on on off on off off off off on)
                 #20(off on off on on on on off off off off off off on)
                 #20(off on on on on on on on off off off off off on off on)
                 #20(off
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     on)
                 #20(off
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on)
                 #20(off off off on on on on on on on off on on off)
                 #20(off off off off on on on off on on on on off)
                 #20(off off off off off on on on on on on on off)))
          (make-problem
            "Hattori 17"
            '((9 9)
              (6 10)
              (5 11)
              (4 3 5)
              (2 1 3)
              (2 4 2)
              (1 3 6)
              (5 1 1 1)
              (2 2 1 3 1)
              (7 4 1)
              (7 4 2)
              (1 3 9)
              (1 2 4 6)
              (1 6 9)
              (1 4 7)
              (2 1 4 2)
              (5 3 4)
              (5 7)
              (5 10)
              (5 11))
            '((1 8)
              (2 4 4)
              (4 1 2 4)
              (8 2 4)
              (6 1 3 7)
              (4 8 4)
              (3 7 1)
              (1 2)
              (1 2)
              (2 2 2 1)
              (3 2 1 1 1 2)
              (7 8 2)
              (3 7 4 2)
              (3 1 1 2 3 3)
              (3 4 6 3)
              (4 1 4 3)
              (4 1 4 4)
              (5 1 4 4)
              (7 4 5)
              (7 6 5))
            '#20(#20(on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #20(on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on on on on on on on on off on on off off off off off on)
                 #20(on on on on on on off on off on on on off on)
                 #20(on on on on off off off on on on on on on on on off on)
                 #20(on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off)
                 #20(on off off off off off off off off off off off on on off)
                 #20(off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     on
                     off
                     off
                     on
                     off
                     off
                     off
                     on
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(on
                     on
                     on
                     off
                     off
                     on
                     off
                     off
                     on
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     off
                     on)
                 #20(on on on off off on on on on off on on on on on on off on)
                 #20(on
                     on
                     on
                     on
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     on)
                 #20(on on on on off off on off off off off on on on on off on)
                 #20(on on on on on off on off off off off on on on on off on)
                 #20(on on on on on on on off off off on on on on off on)
                 #20(on on on on on on on off on on on on on on off on)))
          (make-problem
            "Hattori 18"
            '((3 4)
              (1 3 2 1)
              (1 6 3 2)
              (1 1 2 1 1 6)
              (3 2 1 1)
              (1 1 1 1 2 1 1 1)
              (1 1 2 1 2 2 2)
              (1 1 2 1 1 2 1)
              (1 2 4 1 3)
              (1 16)
              (2 5 10)
              (8 4 2)
              (8 2 4)
              (5 2 1 4)
              (1 5 6)
              (2 7 3 2)
              (2 8 2)
              (2 3 5 1 1)
              (2 5 7 3)
              (2 5 5 4))
            '((5 7 6)
              (1 1 3 5)
              (2 3 3)
              (3 2 3 2)
              (2 1 6 2)
              (2 2 5 5)
              (2 2 11)
              (2 1 5 6)
              (3 3 4)
              (1 1 5 6)
              (1 1 3 6)
              (6 2 5)
              (1 2 3 4)
              (3 2 4 3)
              (1 1 8 2)
              (1 2 3 5)
              (1 2 2 5 1)
              (1 1 3 3 2)
              (3 10 2)
              (1 2 8 3))
            '#20(#20(on on on on on off on on on on on on on off on)
                 #20(on off off off on off off off off off on on on off off on)
                 #20(on on off off on on on off off off off on on on off)
                 #20(off
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     on
                     on
                     off
                     off
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(off off on on off off on on off on on on on on off on)
                 #20(off off on on off off on on off on)
                 #20(off on on off off on off off on on on on on off on)
                 #20(on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #20(on
                     off
                     off
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(on off off off on off off off on on on off off off on)
                 #20(on on on on on on off off off on on off off off off on)
                 #20(off
                     off
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     on
                     off
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     on
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     on
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     on
                     off
                     on
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on)
                 #20(off
                     off
                     on
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)))
          (make-problem
            "Hattori 19"
            '((2 2 2 3)
              (2 2 3 5)
              (2 2 3 5)
              (1 1 2 5)
              (2)
              (8 2 2)
              (10 3 2 1)
              (11 3 2 1)
              (11 2 1 1)
              (11)
              (11 5)
              (10 7)
              (6 7)
              (4 6)
              (5 6)
              (6 5)
              (7 6)
              (7 7)
              (7 7)
              (6 6))
            '((4 7)
              (3 14)
              (15)
              (4 15)
              (3 15)
              (8 6)
              (3 7 5)
              (4 7 4)
              (3 7)
              (1 6)
              (4 4)
              (5)
              (4 2 2)
              (4 4 2 3)
              (2 4 5 4)
              (10)
              (3 10)
              (4 10)
              (9)
              (3 7))
            '#20(#20(on on on on off off on on on on on on on off)
                 #20(on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off off off off off on)
                 #20(on on on on off on)
                 #20(on on on off off on)
                 #20(off off off off off on on on on on on on on off on)
                 #20(off on on on off on on on on on on on off off off on)
                 #20(on on on on off on on on on on on on off off off off on)
                 #20(on on on off off on on on on on on on off)
                 #20(off off off on off off on on on on on on off)
                 #20(off on on on on off off on on on on off)
                 #20(on on on on on off)
                 #20(on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(off on on off off on on on on off on on on on on off on)
                 #20(off off off off off off off off off off on)
                 #20(off off off off off on on on off off on)
                 #20(off off off off off on on on on off on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)))
          (make-problem
            "Hattori 20"
            '((3 3 5)
              (9 1)
              (2 16)
              (1 2 6 4)
              (1 1 1 1 6 4)
              (1 1 6 2)
              (1 1 5 1)
              (1 1 4 3)
              (2 1 2 2 4)
              (1 3 5)
              (9 5)
              (7 4)
              (6 3)
              (4 1 2)
              (3 7 1)
              (5 1 6 1)
              (1 1 1 1 6 1)
              (1 1 1 1 1 1 1 1)
              (1 1 1 1 1 1)
              (3 3 3))
            '((3)
              (11)
              (2 1 1)
              (1 1 5)
              (2 1 10)
              (2 1 6 1)
              (4 5 5)
              (13 1)
              (3 5 5)
              (4 2 1)
              (5 7)
              (6 1)
              (7 3)
              (7 4)
              (6 3)
              (1 1 2 4)
              (1 3 4 3)
              (1 3 6 5)
              (1 4 7 1)
              (20))
            '#20(#20(on on on off)
                 #20(on on on on on on on on on on on off)
                 #20(on on off off off off off off on off on off)
                 #20(off on off off on off off off off off on on on on on off)
                 #20(off on on off off off off off on off on)
                 #20(off
                     on
                     on
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on)
                 #20(on on on on off off off off off on on on on on off on)
                 #20(on on on on on on on on on on on on on off off on off)
                 #20(on on on off off off off off on on on on on off off on)
                 #20(off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off off on on on on on off off off off off off on)
                 #20(off off on on on on on on off off off off off off on off)
                 #20(off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #20(on
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #20(on
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     off)
                 #20(on off on on on off off on on on on on on off off on)
                 #20(on
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on)))
          (make-problem
            "Hattori 21"
            '((4 10)
              (2 1 3)
              (1 1 10)
              (1 1 4)
              (1 1 4)
              (1 1 2 2)
              (1 1 2 2 2)
              (1 1 1 1 1 1)
              (1 1 6 1 1)
              (2 1 2 1 4 2)
              (6 1 2 1 4)
              (11 3)
              (1 4)
              (1 4)
              (1 4)
              (1 5)
              (1 6)
              (18)
              (18)
              (18))
            '((9)
              (2 2)
              (1 1 3)
              (1 1 3)
              (11 3)
              (10)
              (4 3)
              (2 2 1 3)
              (6 2 3)
              (2 2 1 3)
              (9 2 3)
              (7 4 3)
              (3 1 1 3)
              (1 1 4 3)
              (1 1 1 1 4)
              (1 1 1 5)
              (1 1 4 8)
              (1 1 1 11)
              (1 1 1 10)
              (1 1 1 10))
            '#20(#20(off on on on on on on on on on off)
                 #20(on on off off off off off off off on on off)
                 #20(on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off off off off off off off off off off on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     on)
                 #20(on off on off off off off on on on on off on)
                 #20(on off on off off off on off off on)
                 #20(on off on off off off on off off off on)
                 #20(on off on off off off off on off off on)))
          (make-problem
            "Hattori 22"
            '((7)
              (3 1 7)
              (1 3 7)
              (2 2 8)
              (7 8)
              (4 1 8)
              (1 1 4 8)
              (2 3 8)
              (3 10)
              (14)
              (15)
              (15)
              (18)
              (16 1)
              (8 6)
              (7 5)
              (7 2 2)
              (2 2 1)
              (1)
              (1))
            '((2 10)
              (11)
              (9)
              (3 9)
              (3 8)
              (1 4 9)
              (2 2 1 9)
              (14)
              (3 1 6)
              (10)
              (9)
              (2 8 2)
              (1 14)
              (16)
              (16)
              (9 5)
              (9 1 2)
              (7 2)
              (6)
              (6))
            '#20(#20(off off off off off off on on off off on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     on
                     on
                     off
                     on
                     on
                     off
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off on on on on on on on on on on on on on on off)
                 #20(off off on on on off on off on on on on on on off)
                 #20(off off off off on on on on on on on on on on off)
                 #20(off off off off off off on on on on on on on on on off)
                 #20(on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off)
                 #20(on off off on on on on on on on on on on on on on on off)
                 #20(on on on on on on on on on on on on on on on on off)
                 #20(on on on on on on on on on on on on on on on on off)
                 #20(on on on on on on on on on off off off on on on on on off)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     off
                     off
                     on
                     on
                     off)
                 #20(on on on on on on on off off off off off on on off)
                 #20(off on on on on on on off)
                 #20(off on on on on on on off)))
          (make-problem
            "Hattori 23"
            '((8 4)
              (10 1)
              (12 1 1)
              (3 1 1 2)
              (2 2 2 1 1 2)
              (2 1 1 1 1 2)
              (2 1 1 2)
              (2 1 1 1 1 1 2)
              (3 1 1 1 1 1 1)
              (2 6 1 1 2)
              (2 1 1 4)
              (2 9 4)
              (14 4)
              (15)
              (8 4 2)
              (8 2 2 1)
              (8 1 1 3)
              (2 5 1 2 1)
              (11 1)
              (10 5))
            '((9)
              (10)
              (5 1 5)
              (8 8)
              (4 1 9)
              (3 1 12)
              (3 2 1 1 9)
              (3 2 9)
              (3 1 1 3 2)
              (3 2 2 3 2)
              (3 1 1 1 3 2 2)
              (3 6 3)
              (9 4 2)
              (1 4 1)
              (5)
              (3)
              (13 1)
              (1 3 1 2 1)
              (1 5 4 3 1)
              (1 11 1 1))
            '#20(#20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off on on on on on on on on off off off on)
                 #20(on on on on off off off on off off off on)
                 #20(on on on off on off off off on)
                 #20(on on on off on on off on off on off on)
                 #20(on on on off off off off off on on off on)
                 #20(on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     off
                     on
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     off
                     on
                     off
                     off
                     on
                     off
                     on
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     on)
                 #20(on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     off
                     on
                     on
                     off
                     on)
                 #20(on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     off
                     off
                     on)
                 #20(on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     off
                     off
                     on)))
          (make-problem
            "Hattori 24"
            '((5 3)
              (4 4 4)
              (1 2 10)
              (1 1 6 1 3)
              (1 1 2 1 6 2)
              (1 1 1 1 4)
              (3 1 1 1 1 1)
              (2 1 1 1 1 1)
              (2 3 4 4)
              (5 1 2 3 1)
              (1 3 1 1)
              (3 1 1 1)
              (5 3 1 2)
              (7 1 8)
              (10 1 1 1)
              (5 11)
              (3 7)
              (3 6 2)
              (3 7 1)
              (2 5))
            '((7)
              (1 3 6)
              (1 1 1 2 7)
              (2 1 7)
              (2 1 4)
              (1 1 4)
              (12)
              (1 1 1 4)
              (2 9 2)
              (4 1 2)
              (4 7 1)
              (5 2 1 1 3)
              (1 5 2 1 3)
              (1 1 1 7)
              (3 2 1 5)
              (1 1 5 5)
              (2 2 2 6)
              (4 4 1 2)
              (6 1 2 3)
              (2 16))
            '#20(#20(off on on on on on on on off)
                 #20(off on off off off off on on on off off off off off on)
                 #20(off on off off on off on off on on off off off on)
                 #20(off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #20(off off off on on on on on on on on on on on on off)
                 #20(on off off on off off off off on off off on on on on off)
                 #20(on on off on on on on on on on on on off on on off)
                 #20(on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     on
                     on
                     off)
                 #20(on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     off)
                 #20(on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     on
                     off
                     off
                     on
                     off
                     on)
                 #20(off
                     off
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     off
                     on)
                 #20(off off on off on off off off on off off off off on)
                 #20(off off on on on off off off on on off off off on off on)
                 #20(off off on off on off off off off on on on on on off on)
                 #20(off
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     off
                     on
                     on
                     off)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     off)
                 #20(on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)))
          (make-problem
            "Hattori 25"
            '((6 7)
              (3 2 8)
              (3 2 2 4)
              (2 3 1 2 3)
              (2 1 1 1 4 3)
              (2 4 1 2 2)
              (2 2 1 1 3)
              (3 2 2 1)
              (4 2 1 2)
              (7 2 1)
              (2 1 1 1)
              (2 1 1 1)
              (2 3 1)
              (2 2 1)
              (2 5)
              (2 1 1)
              (2 2 1)
              (4 1 1)
              (18)
              (18))
            '((7)
              (9)
              (3 3 2)
              (2 2 3)
              (1 3 11)
              (1 1 1 11)
              (1 4 1 3)
              (2 2 2 2)
              (2 2 2)
              (6 2)
              (2)
              (2)
              (3 2 2)
              (8 6 4)
              (2 2 3 5 2)
              (2 1 3 1 2)
              (3 3 1 2)
              (5 1 12)
              (7 2)
              (5 2))
            '#20(#20(off off on on on on on on on off)
                 #20(off on on on on on on on on on off)
                 #20(on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on off off on on on off off off on)
                 #20(on off off on off on off off off on)
                 #20(on
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on on on on on on on on off on on on on on on off on)
                 #20(on
                     on
                     off
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(on
                     on
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     on)
                 #20(on on on on on off on off on)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)))
          (make-problem
            "Hattori 26"
            '((1 1 1 2)
              (2 2 2 2)
              (9 4)
              (1 1 1 3)
              (2 1 1 3 2)
              (3 1 1 1 4 2)
              (1 1 1 2 1 2)
              (1 4 5 1 2)
              (1 4 5 1 2)
              (1 8 1 3)
              (1 8 1 3)
              (1 8 1 3)
              (1 7 1 3)
              (2 7 2 3)
              (1 1 7 1 3)
              (2 7 2 3)
              (2 1 1 1 1 3)
              (7 2 9)
              (16)
              (1 1 6))
            '((2 1)
              (3)
              (5 2)
              (2 4 1)
              (7 2 2)
              (3 5 4)
              (2 2 9 2)
              (1 10 2)
              (2 2 7 2)
              (1 9 2)
              (1 2 10 1)
              (2 9 2)
              (15 3)
              (5 4)
              (2 3 3)
              (2 9 3)
              (2 3)
              (2 11)
              (20)
              (20))
            '#20(#20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     off)
                 #20(off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     on
                     on
                     off)
                 #20(on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     on
                     on
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off)
                 #20(off
                     off
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     off
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off)
                 #20(off
                     off
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off)
                 #20(off
                     off
                     on
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     off)
                 #20(off
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off)
                 #20(on on on on on on on on on on on on on on on off off on)
                 #20(off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on)
                 #20(on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on)
                 #20(off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off off on on off off off off off on)
                 #20(on)
                 #20(on)))
          (make-problem
            "Hattori 27"
            '((6)
              (8)
              (1 6)
              (10)
              (2 1 1 1 1)
              (2 1 1 1 1)
              (1 1 1 3)
              (3 3 1)
              (3 2)
              (1 2 2)
              (2 2 3 2)
              (2 3 3 2)
              (2 3 2 6)
              (5 3 7)
              (4 4 3 1)
              (7 2 3 3)
              (6 4 3 1 1)
              (9 3 2)
              (8 6)
              (11 5))
            '((11)
              (10)
              (7)
              (8)
              (4 3 5)
              (1 5 3 6)
              (1 1 1 2 2 3)
              (2 6 2 4)
              (4 1 3 2 1)
              (9 2 2 1)
              (4 1 2 2 1)
              (8 3)
              (4 1 3)
              (5 3 3)
              (7)
              (13)
              (7 2)
              (2 2 2)
              (1 1 3)
              (7))
            '#20(#20(off off off off off off off off off on)
                 #20(off off off off off off off off off off on)
                 #20(off off off off off off off off off off off off off on)
                 #20(off off off off off off off off off off off off on)
                 #20(off off on on on on off off off off off on on on off on)
                 #20(off on off on on on on on off off on on on off on)
                 #20(off
                     on
                     off
                     on
                     off
                     off
                     off
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     on)
                 #20(on on off on on on on on on off off off off on on off on)
                 #20(on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     on)
                 #20(on on on on on on on on off on on on off)
                 #20(on on on on off off on off off off on on on off)
                 #20(off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off off off off off off off on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     on
                     off
                     on)
                 #20(off off off off off off off off off off off off off on)))
          (make-problem
            "Hattori 28"
            '((1 1)
              (5)
              (3 3)
              (8)
              (9)
              (1 1 3 3)
              (1 1 3 1)
              (4 4 1)
              (2 2 2 3 1)
              (5 2 2 1)
              (5 3 1)
              (6 3 1)
              (5 5 2)
              (4 3 3 2)
              (8 2 3 2)
              (7 3 6)
              (6 3 6)
              (5 3 6)
              (5 3 5)
              (7 4))
            '((2 1)
              (3 4 1)
              (3 1 5 1)
              (10 1)
              (14)
              (3 4)
              (4 4 1)
              (9 5 1)
              (8 5 1)
              (8 2 1)
              (2 2 6 6)
              (4 5 6)
              (4 4 5)
              (4 3)
              (3 7)
              (2 6)
              (5)
              (5)
              (7)
              (12))
            '#20(#20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(on on off on on off off on on on on on on off on)
                 #20(off on on on on off off off on on on on on off on)
                 #20(off on on on on off off off off off on on on on off on)
                 #20(off off on on on on off off off off off off on on on off)
                 #20(off off off on on on off off off off off off off on)
                 #20(off off off off on on off off off off off off off off on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)))
          (make-problem
            "Hattori 29"
            '((2)
              (2)
              (2)
              (4)
              (3 2)
              (5 2 2)
              (1 1 2 2)
              (5 2 2)
              (5 2 4)
              (5 2 3)
              (6 2 2)
              (1 1 4 1)
              (1 1 2 3 1)
              (2 2 1 4)
              (2 2 3 1 2)
              (1 4 5 3)
              (1 17)
              (4 4 4 2)
              (5 5 5)
              (3 3))
            '((8)
              (6 2 1)
              (1 4 3)
              (1 4 5)
              (1 4 2 2)
              (15)
              (6)
              (2)
              (2 4)
              (4 2 1)
              (3 2 3 1)
              (3 2 5 1)
              (2 2 2 2 5)
              (1 2 3 2)
              (2 2 3)
              (2 2 5)
              (2 5 2)
              (2 2 5)
              (3 2 3)
              (7))
            '#20(#20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #20(off off off off off on off on on on on off off off off on)
                 #20(off
                     off
                     off
                     off
                     off
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     on)
                 #20(off off off off off on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     off)
                 #20(off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     off)
                 #20(off
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     off)
                 #20(on
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(on
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)))
          (make-problem
            "Hattori 30"
            '((3 6)
              (6 7)
              (7 6)
              (19)
              (7 6)
              (3 3)
              (1 3)
              (2 4 4 1)
              (9 6 2)
              (1 2 2 1 3 2)
              (1 2 1 2 1 1 3 1)
              (1 2 2 1 3 1)
              (1 6 7 1)
              (1 4 5 1)
              (1 3 1)
              (1 3 5 1)
              (2 1 8)
              (3 7)
              (5 6 6)
              (5 4 5))
            '((3 9 2)
              (5 2 4)
              (12 3)
              (6 6 3)
              (5 2 2 2)
              (5 2 1 2)
              (4 2 2 1)
              (1 6 2 2)
              (1 4 3 2)
              (1 2 2)
              (1 5 2)
              (1 2 2 1)
              (2 1 2 1 2 1)
              (5 2 2 3)
              (5 7 4)
              (6 6 5)
              (7 4 5)
              (7 5)
              (4 4 4)
              (12))
            '#20(#20(off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on)
                 #20(on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #20(on on on on on off off on on off on off on on off)
                 #20(off
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     off)
                 #20(off
                     off
                     off
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     off)
                 #20(on
                     on
                     off
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     off
                     on
                     on
                     off
                     off
                     on
                     off)
                 #20(on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     off)
                 #20(on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off)
                 #20(on on on on on on off off on on on on on on off on)
                 #20(on on on on on on on off off on on on on off off on)
                 #20(on on on on on on on off off off off off off off off on)
                 #20(off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #20(off off off off off off off off on))))))
