(unit/sig
  paint-by-numbers:problem-set^
  (import paint-by-numbers:problem^)
  (define set-name "Games Magazine")
  (define problems
    (list (make-problem
            "Izay (1)"
            '((2) (1 1) (4) (2 1) (3 1) (8) (8) (7) (5) (3))
            '((1) (2) (1 6) (9) (6) (5) (5) (4) (3) (4))
            '#10(#10(off off on off)
                 #10(off on on off)
                 #10(on off on on on on on on off)
                 #10(on on on on on on on on on off)
                 #10(off off off off on)
                 #10(off off off off off on)
                 #10(off off off off off on)
                 #10(off off off off off on on on on off)
                 #10(off off off off off on on on off)
                 #10(off off off on on on on off)))
          (make-problem
            "Oam (2)"
            '((1)
              (2 3 1)
              (9)
              (8)
              (8)
              (3 2 1)
              (6 6)
              (9 4)
              (11 2)
              (13)
              (2 10)
              (7 11)
              (8 5 5)
              (8 4 3)
              (8 4 2)
              (2 5 5)
              (1 4 2 3 2)
              (2 1 4 2)
              (9 3)
              (7))
            '((5)
              (9)
              (7 2)
              (3 6 2)
              (3 6 2)
              (4 6 2)
              (4 6 2)
              (5 4 2)
              (6 1 2)
              (11 2)
              (14 2)
              (6 10)
              (6 10)
              (3 2 4 4)
              (8 2 2)
              (8 3 2)
              (4 2 3)
              (5 3 2)
              (2 4 2)
              (3))
            '#20(#20(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
                     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
                     off
                     off
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     off
                     on)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #20(off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off)
                 #20(on on on on on on off on on on on on on on on on on off)
                 #20(off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #20(off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off)
                 #20(off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     off)
                 #20(off on on on on off on on off off on on on off)
                 #20(off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     off)
                 #20(off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off)
                 #20(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)))
          (make-problem
            "Izuoh (3)"
            '((2)
              (3)
              (3)
              (2)
              (2)
              (2)
              (4 2)
              (6 2)
              (6 3)
              (1 2 1 6)
              (2 2 9)
              (1 1 7)
              (1 1 5)
              (3 1 2)
              (2 6)
              (11)
              (13)
              (13)
              (4 10 2)
              (4 10 4)
              (4 10 4)
              (4 10 4)
              (4 9 4)
              (4 9 4)
              (3 8 3)
              (3 11 3)
              (3 3 2 3)
              (5 5 4 2)
              (3 1 10 4)
              (3 1 8 5))
            '((3)
              (5)
              (7)
              (7)
              (6 3)
              (6)
              (7 3)
              (7 5)
              (12 5)
              (3 1 1 3 5 1 3)
              (4 1 11 3)
              (4 12 2)
              (3 1 13 2)
              (19 3)
              (12 3)
              (16 2)
              (16 1)
              (3 12 2)
              (4 6 4)
              (4 1 8)
              (3 8 2)
              (4 8 1)
              (10 6)
              (11 3)
              (3))
            '#25(#30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     off
                     off
                     on
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     off)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on)
                 #30(off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #30(on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #30(on on on off)))
          (make-problem
            "Ijgnog (4)"
            '((4)
              (5)
              (2 3)
              (2 6)
              (5 5)
              (6 5)
              (7 5)
              (8 8)
              (2 5 10)
              (2 6 12)
              (2 16 3)
              (1 2 14 3)
              (1 2 1 12 2)
              (1 1 2 11 2)
              (1 1 13 3)
              (1 1 1 3 5 4)
              (1 1 1 1 1 10)
              (1 1 1 1 8)
              (2 1 2 3)
              (1 2 2)
              (1 2 2)
              (1 1)
              (1 1)
              (3 1)
              (4))
            '((11)
              (7 3)
              (5 8)
              (10)
              (7 6)
              (11)
              (7 4)
              (9)
              (9)
              (5)
              (8)
              (9)
              (12 1)
              (16)
              (10 1)
              (8 5 1)
              (8 9)
              (9 4 1)
              (2 10 3 1)
              (10 4)
              (16)
              (2 10)
              (4 5)
              (2)
              (1))
            '#25(#25(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #25(off off off on on on on on on on on on on off)
                 #25(off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #25(off off off off on on on on on on on on on on on off)
                 #25(off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #25(off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on)
                 #25(on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on)
                 #25(on on on on on on on on on on off off off on on on on off)
                 #25(on on on on on on on on on on on on on on on on off)
                 #25(on on off on on on on on on on on on on off)
                 #25(off on on on on off off on on on on on off)
                 #25(off off on on off)
                 #25(off off on off)))
          (make-problem
            "Uhib (5)"
            '((4)
              (5)
              (3 1)
              (5 1 2)
              (4 1 1)
              (4 5)
              (4 3)
              (6 1)
              (15)
              (17)
              (19)
              (3 19 4)
              (15 6 2)
              (7 8 6 5)
              (2 3 2 1)
              (2 2 2 2)
              (1 8 2)
              (4 3 2)
              (8 2 1 3)
              (2 4 1 4)
              (2 4 4)
              (1 12)
              (1 9)
              (1 7)
              (1))
            '((1 1)
              (1 1 2 5)
              (5 2)
              (4 3 2)
              (7 2 1)
              (11 2 2)
              (2 11 2)
              (4 7 2)
              (2 6 3)
              (7 2)
              (4 6 3)
              (9 3)
              (4 6 2)
              (1 1 6 3)
              (1 6 1 3)
              (6 1 1 3)
              (6 3 3)
              (4 2 3)
              (6 4 3)
              (7 1 3)
              (8 4)
              (8 4)
              (4 4)
              (11)
              (1 6)
              (2)
              (5)
              (1 1 1)
              (1 1)
              (1 1))
            '#30(#25(off off off off off off off off off off off on off on off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     on)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off)
                 #25(off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off)
                 #25(off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     off)
                 #25(on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off)
                 #25(on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off)
                 #25(on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     off)
                 #25(on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     on
                     off
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     off
                     on
                     off
                     off
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     off)
                 #25(off off off off off off off off off off off off on on off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     on
                     off
                     on
                     off)
                 #25(off off off off off off off off off off off on off on off)
                 #25(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     on
                     off)))
          (make-problem
            "Isaniew (6)"
            '((4 1)
              (7 2)
              (3 6)
              (2 3)
              (2 4)
              (5)
              (7)
              (7)
              (3 3)
              (2 2 2)
              (1 2 4)
              (3 2 2)
              (2 3 2)
              (3 2)
              (4 2)
              (3 2)
              (2 2)
              (2 1 1)
              (3 2)
              (3 2)
              (3 1)
              (3 2)
              (5 3 1 4)
              (7 2 1 7)
              (8 3 1 10)
              (7 2 1 10)
              (2 3 2 2 4 4)
              (2 2 2 2 3)
              (4 4 5)
              (13))
            '((3)
              (5)
              (3 2)
              (4 1)
              (5 1)
              (5 2)
              (4 1)
              (3 1 1)
              (1 2 1)
              (3 2)
              (7 5 3)
              (2 5 2 11 3)
              (4 4 2 10 1 2)
              (8 2 4 3 5 1)
              (2 4 1 4 2 2 1 1)
              (4 4 3 2 4 2 1)
              (4 5 3 3 4 2)
              (4 7 5 2)
              (1 1 3 5 1)
              (1 1 5 1)
              (2 4 2)
              (2 5)
              (5)
              (3)
              (3))
            '#25(#30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     off)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     off)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     off)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     on
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     on)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #30(off
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on)
                 #30(on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     off
                     on)
                 #30(on
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #30(on
                     on
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     off
                     on
                     off
                     on)
                 #30(on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     off
                     off
                     off
                     on)
                 #30(off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     on
                     on
                     on
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     on)
                 #30(off
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on)
                 #30(off
                     off
                     on
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     off)
                 #30(off
                     off
                     on
                     off
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off
                     on
                     off)
                 #30(off
                     on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     off
                     on
                     on
                     off)
                 #30(on
                     on
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     on
                     on
                     off)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off)
                 #30(off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     off
                     on
                     on
                     on
                     off))))))
