(unit/sig paint-by-numbers:problem-set^ (import paint-by-numbers:problem^) (define set-name "Kajitani 40x30") (define problems (list (make-problem "19980501bGOS (1)" (quote (() () () () () () () () () (37) (37) (1 1 1 1 2 2 2 1 1 1 1 2 2) (1 1 1 3 1 1 1 1 2 1 3 1 2 1 1 1) (1 1 1 3 1 1 3 2 1 3 1 1 2 3) (1 1 1 3 2 1 2 6 2) (1 1 1 3 1 3 1 2 1 4 7 1) (1 1 1 3 1 1 1 1 2 1 4 5 1 1) (1 1 1 1 1 2 2 2 1 2 6 2) (37) (6 3) (6 5 1 4 1 6 3) (6 3) (37) () () () () () () ())) (quote (() (14) (2 5) (5 8) (2 5) (14) (2 5) (2 2 2 1 1) (2 2 2 1 1) (10 1 1) (2 1 1 1) (2 2 4 1 1) (2 1 1 1 1) (10 1 1) (3 2 2 1) (2 2 2 1 1) (3 2 2 1 1) (10 1) (2 1 1 1) (5 4 1 1) (5 4 1 1) (2 1 1 1) (10 1) (2 1 1 1) (2 2 2 1 1) (2 2 2 1 1 1) (10 1 1) (2 5 1 1) (5 1 1 1) (2 5 1 1) (10 1 1) (2 1 5 1) (2 6 1) (10 1) (3 2 2 1) (2 2 2 5) (3 2 6) (14) () ())) (quote #f)) (make-problem "19980501cGOS (2)" (quote (() (3 4) (6 6) (1 8 7) (2 2 16 2) (3 2 16 2 2) (5 5 1 5 2 3) (8 4 1 5 5) (15 3 4 8) (2 12 1 16) (3 25 2) (3 19 3) (16 3) (3 6) (3 5) (2 1 4) (4 4) (2 4) (10) (10) (9) (9) (7) (7) (3 3) (3 3) (4 4) (5 5) (5 5) ())) (quote (() () (2) (2 3 1) (2 2 2) (7) (5) (6) (7) (4) (4) (4) (4 4) (11) (14 2) (21 3) (28) (4 3 1 11) (4 1 3 2 11) (10 6) (2 1 3 11) (3 19) (27) (21 3) (19 2) (14) (7 5) (4 4) (4) (4) (4) (7) (7) (5) (7) (2 2 2) (2 3 1) (2) () ())) (quote ("                              " "                              " "        xx                    " "    xx xxx x                  " "    xx xx xx                  " "     xxxxxxx                  " "      xxxxx                   " "    xxxxxx                    " "   xxxxxxx                    " "      xxxx                    " "       xxxx                   " "        xxxx                  " "   xxxx xxxx                  " "  xxxxxxxxxxx                 " " xxxxxxxxxxxxxx            xx " " xxxxxxxxxxxxxxxxxxxxx    xxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxx " "  xxxx    xxx   x xxxxxxxxxxx " "  xxxx  x xxx  xx xxxxxxxxxxx " "   xxxxxxxxxx     xxxxxx      " "    xx  x xxx     xxxxxxxxxxx " "   xxx    xxxxxxxxxxxxxxxxxxx " "  xxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxx    xxx " " xxxxxxxxxxxxxxxxxxx       xx " " xxxxxxxxxxxxxx               " " xxxxxxx xxxxx                " "  xxxx   xxxx                 " "         xxxx                 " "        xxxx                  " "       xxxx                   " "    xxxxxxx                   " "    xxxxxxx                   " "       xxxxx                  " "      xxxxxxx                 " "     xx xx xx                 " "     xx xxx x                 " "         xx                   " "                              " "                              "))) (make-problem "19980508-SDN (3)" (quote ((15 7 10) (1 1 1 1 10) (1 11 1 1 1 2 2) (1 11 1 1 1 10) (1 11 1 1 1 5 3) (1 11 1 13 10) (1 11 1 24) (1 11 1 13 10) (1 11 1 6 1 2 10) (1 11 1 13 10) (1 11 1 1 1 10) (1 1 10) (15 10) (1 1 1 6 2 10) (15 7 2) (3 2 10) (1 14 10 2) (3 1 2 10) (9 3 1 10) (9 1 1 10) (1 1) (25 10) (25 1) (2 1 1 1 1 1 1 3 3) (25 1 1) (1 1 1 1 1 1 1 1 1 1 1) (25 3) (2 1 1 1 1 1 1 3 3) (25) (25))) (quote ((15 9) (1 1 1 4 4) (1 9 3 2 1 1 2) (1 9 1 1 2 2 3 2) (1 9 3 2 4 4) (1 9 1 1 2 2 1 1 2) (1 9 4 3 2 3 2) (1 9 8 4 4) (1 9 4 3 2 1 1 2) (1 9 3 2 2 3 2) (1 9 3 3 4 4) (1 9 3 1 2 2 1 1 2) (1 9 1 1 1 2 3 2) (1 3 1 4 4) (15 1 2 1 1 2) (1 2 3 2) (5 1 4 4) (5 1 2 1 1 2) (5 1 2 3 2) (11 1 4 4) (1 5 1 2 1 1 2) (1 5 1 2 3 2) (1 3 1 1 4 4) (1 3 1 1 7 4) (1 5 2 1 9) (8 2 1 1) (3 1 1 2) (5 1 2 1) (5 1 1 1 1) (1 1 1 1) (20 1) (20 1) (2 17 1) (2 11 5 1) (2 11 5 1) (2 1 9 5 1) (2 1 9 1 3 1) (2 11 1 3 1 5) (20 3 2) (20 5))) (quote #f)) (make-problem "19981027aMNT (4)" (quote ((2) (2) (8) (2) (1 2) (1 2) (5 2) (1 10) (1 2) (1 2) (1 10) (7 10) (1 10) (1 4 4) (1 18) (24) (24) (18) (34) (24) (32) (40) (17 12) (17 6) (21 5) (20 1) (19 2) (18 2) (17 2) (32))) (quote ((1 1) (1 2) (1 3) (1 1 4) (1 10) (1 10) (1 1 10) (1 1 1 10) (1 1 2 12) (13 12) (1 1 2 12) (1 1 16) (1 16) (16) (16) (1 20) (1 1 20) (1 1 20) (1 1 20) (13 16) (13 16) (1 1 12 1) (1 1 12 1) (1 1 12 1) (1 13 1) (9 1) (9 1) (9 1) (9 1) (2 5 1) (2 6 1) (2 6 1) (1 4 1) (1 4 1) (1 4 1) (1 5 2) (1 1 1 2) (1 1 2) (1 3) (1 1))) (quote ("                     x  x     " "                     x  xx    " "                     x  xxx   " "                  x  x  xxxx  " "                  x xxxxxxxxxx" "                  x xxxxxxxxxx" "           x      x xxxxxxxxxx" "      x    x      x xxxxxxxxxx" "      x    x   xx xxxxxxxxxxxx" "    xxxxxxxxxxxxx xxxxxxxxxxxx" "      x    x   xx xxxxxxxxxxxx" "      x    x  xxxxxxxxxxxxxxxx" "           x  xxxxxxxxxxxxxxxx" "              xxxxxxxxxxxxxxxx" "              xxxxxxxxxxxxxxxx" "       x  xxxxxxxxxxxxxxxxxxxx" "  x    x  xxxxxxxxxxxxxxxxxxxx" "  x    x  xxxxxxxxxxxxxxxxxxxx" "  x    x  xxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxx xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxx xxxxxxxxxxxxxxxx" "  x    x  xxxxxxxxxxxx       x" "  x    x  xxxxxxxxxxxx       x" "  x    x  xxxxxxxxxxxx       x" "       x  xxxxxxxxxxxxx      x" "              xxxxxxxxx      x" "              xxxxxxxxx      x" "              xxxxxxxxx      x" "              xxxxxxxxx      x" "               xx xxxxx      x" "               xx xxxxxx     x" "               xx xxxxxx     x" "                  x xxxx     x" "                  x xxxx     x" "                  x xxxx     x" "                  x xxxxx   xx" "                  x  x  x  xx " "                     x  x xx  " "                     x  xxx   " "                     x  x     "))) (make-problem "19981027bMNT (5)" (quote ((16) (3 7 3) (4 7 3) (2 7 4 1) (3 7 3 2) (17 3) (3 7 3 4) (4 7 2 5) (17 13) (1 1 7 5 1) (16 8 1 1 1 1) (16 1 5 1 1 2 1) (7 7 1 5 8 1) (7 7 4 2 1 3 1 1) (16 4 2 1 3 2 1) (16 7 12 1) (16 8 1) (16 6 15) (16 4 1 15) (2 8 2 3 3 1 8 2) (2 8 2 2 1 1 1 8 2) (16 2 1 1 15) (17 1 4 6 7) (1 4 6 7) (1 3 15) (1 2 15) (1 1 1 8 2) (1 1 8 2) (1 15) (16))) (quote ((14) (1 13) (2 9 2) (3 9 2) (4 13) (5 13) (3 1 13) (4 1 2 9) (2 4 2 9) (3 4 13) (9 13) (1 6 13) (1 6 9 2) (9 9 2) (9 13) (6 1 13) (6 2 1) (3 4 12) (3 3 2 11) (7 3 7 1) (1 3 12 4 1) (1 2 7 3 1 3 1) (4 8 3 1 4 1) (3 13 9 1) (15 1 1) (1 1 13) (8 2 5 2) (2 1 1 2 5 2) (5 1 13) (2 4 13) (2 4 13) (1 6 5 6) (1 2 1 5 6) (1 1 1 13) (1 3 13) (1 2 13) (1 1 2 5 2) (1 2 5 2) (1 13) (14))) (quote ("         xxxxxxxxxxxxxx       " "        x xxxxxxxxxxxxx       " "       xx xxxxxxxxx  xx       " "      xxx xxxxxxxxx  xx       " "     xxxx xxxxxxxxxxxxx       " "    xxxxx xxxxxxxxxxxxx       " "   xxx  x xxxxxxxxxxxxx       " "  xxxx  x xx  xxxxxxxxx       " " xx  xxxx xx  xxxxxxxxx       " "xxx  xxxx xxxxxxxxxxxxx       " "xxxxxxxxx xxxxxxxxxxxxx       " "x  xxxxxx xxxxxxxxxxxxx       " "x  xxxxxx xxxxxxxxx  xx       " "xxxxxxxxx xxxxxxxxx  xx       " "xxxxxxxxx xxxxxxxxxxxxx       " "xxxxxx  x xxxxxxxxxxxxx       " "xxxxxx  xx            x       " "xxx  xxxx xxxxxxxxxxxx        " "xxx  xxx xx  xxxxxxxxxxx      " "xxxxxxx xxx  xxxxxxx    x     " "x  xxx xxxxxxxxxxxx xxxx x    " "x  xx xxxxxxx  xxx x  xxx x   " "xxxx xxxxxxxx  xxx x  xxxx x  " "xxx xxxxxxxxxxxxx xxxxxxxxx x " "xxxxxxxxxxxxxxx x            x" "        x      x xxxxxxxxxxxxx" "        xxxxxxxx xx  xxxxx  xx" "        xx  x  x xx  xxxxx  xx" "        xxxxx  x xxxxxxxxxxxxx" "        xx  xxxx xxxxxxxxxxxxx" "        xx  xxxx xxxxxxxxxxxxx" "        x xxxxxx xxxxx  xxxxxx" "         x xx  x xxxxx  xxxxxx" "          x x  x xxxxxxxxxxxxx" "           x xxx xxxxxxxxxxxxx" "            x xx xxxxxxxxxxxxx" "             x x xx  xxxxx  xx" "              x  xx  xxxxx  xx" "               x xxxxxxxxxxxxx" "                xxxxxxxxxxxxxx"))) (make-problem "19981228-BAU (6)" (quote ((5) (7) (3 3) (2 2 2) (2 2 2) (3 3 2) (2 2 2) (2 2 2) (3 3 3) (2 2 2 2) (2 2 4 2) (3 3 6 3) (2 2 2 2 2) (2 2 3 2 2) (3 3 5 3 2) (2 2 2 2 2 2) (2 2 2 2 2 2) (3 3 3 3 3 3) (2 2 2 2 2 2) (2 2 2 2 2 2) (3 17 3 3) (3 17 2 3) (2 3 2 2) (2 3 3 2) (26 2 2) (26 2 2) (2 4) (2 3) (29) (27))) (quote (() () (5) (7) (3 4) (4 2 2) (3 2 2) (4 2 2) (3 2 2) (4 3 2 2) (3 5 2 2) (4 3 2 2 2) (3 4 2 2 2) (4 3 2 2 2) (3 4 3 2 2) (4 3 5 2 2) (3 4 3 2 2 2) (3 3 4 2 2 2) (2 4 3 2 2 2) (2 3 4 2 2 2) (2 3 6 2 2 2) (4 3 4 2 2 2) (2 3 3 2 2 2) (3 3 5 2 2) (4 4 4 2 2) (4 3 6 2) (3 4 4 2) (4 3 3 2) (3 4 2) (4 3 2) (3 4 2) (3 4 2) (3 7) (4 3) (3 2) (7) (5) () () ())) (quote #f)) (make-problem "19990118-FRA (7)" (quote (() (3 3) (1 2 2 1) (1 2 2 1) (1 12 1) (1 14 1) (1 16 1) (1 20 1) (6 6 6) (4 1 1 4 1 1 4) (4 1 1 4 1 1 4) (5 6 5) (22) (10 9) (10 9) (11 10) (11 10) (7 2 2 6) (8 3 7) (9 1 8) (9 8) (16) (12) (8) () (1 1 4 4 1 1) (2 2 1 1 1 1 1 1) (1 2 1 3 1 1 1 1 1 1) (1 1 1 1 1 2 2) (1 1 4 4 1 1))) (quote (() () () () () () () () (8 5) (1 11 1) (1 13 1) (1 14 1) (1 16 1) (1 4 11 5) (5 2 11) (4 11 5) (4 2 5 6 1 1 1) (5 7 5 1 1 1) (14 5 1 1) (9 2 1 4) (9 2 3 5) (9 2 1 4 1 1) (5 7 5 1 1) (4 2 6 5 5) (4 5 5) (5 2 11 5) (1 4 11 1) (1 16 1) (1 14 1) (1 13 1) (1 11 1) (8 5) () () () () () () () ())) (quote #f)) (make-problem "19990123aFRA (8)" (quote (() () (2) (8) (10) (12 3) (4 14 3) (1 2 1 1 3) (1 23) (1 21) (3 20) (20) (16) (14) (12) (10) (8) (6) (10) () () (12 12) (1 10 10 1) (1 8 8 1) (9 9) (7 7) (5 5) (11 11) () ())) (quote (() () () (2) (1 1 1) (2 1 1) (3 5 1) (1 2 7) (1 1 7) (2 1 7) (2 1 7) (4 7) (6 5 1) (1 6 3 1) (2 7 2 1) (3 8 1 1) (4 9 1) (4 11) (4 11) (5 11) (5 11) (4 11) (4 11) (4 9 1) (3 8 1 1) (2 7 2 1) (1 6 3 1) (6 5 1) (4 7) (4 7) (3 7) (3 7) (3 7) (3 5 1) (2 2 1 1) (1 1 1 1) (2) () () ())) (quote ("                              " "                              " "                              " "                      xx      " "                     x  x  x  " "                     xx x  x  " "      xxx            xxxxx x  " "      x  xx          xxxxxxx  " "      x   x          xxxxxxx  " "      xx  x          xxxxxxx  " "       xx  x         xxxxxxx  " "        xxxx         xxxxxxx  " "       xxxxxx        xxxxx x  " "      x xxxxxx       xxx   x  " "     xx xxxxxxx      xx    x  " "    xxx xxxxxxxx  x  x        " "   xxxx xxxxxxxxx x           " "   xxxx xxxxxxxxxxx           " "   xxxx xxxxxxxxxxx           " "  xxxxx xxxxxxxxxxx           " "  xxxxx xxxxxxxxxxx           " "   xxxx xxxxxxxxxxx           " "   xxxx xxxxxxxxxxx           " "   xxxx xxxxxxxxx x           " "    xxx xxxxxxxx  x  x        " "     xx xxxxxxx      xx    x  " "      x xxxxxx       xxx   x  " "       xxxxxx        xxxxx x  " "        xxxx         xxxxxxx  " "        xxxx         xxxxxxx  " "        xxx          xxxxxxx  " "       xxx           xxxxxxx  " "      xxx            xxxxxxx  " "     xxx             xxxxx x  " "     xx              xx x  x  " "     x               x  x  x  " "                      xx      " "                              " "                              " "                              "))) (make-problem "19990208bFRA (9)" (quote ((2 22) (1 21) (1 22) (3 13 2 6) (1 4 4 10 2 7) (1 10 9 2 8) (1 9 2 8) (1 10 2 7) (1 16 10 2 7) (1 16 9 2 8) (1 1 1 1 1 1 1 8 2 9) (1 1 2 1 1 1 1 1 1 9 2 8) (1 1 1 1 1 1 1 1 21) (1 2 1 1 1 1 1 3 4 3) (1 1 1 1 1 3 3 12 2) (1 16 2 14 1) (1 2 12 1) (1 3 2) (1 4 3) (1 5 4) (1 6 5) (1 5 4) (1 21) (1 5 13) (1 4 3 12) (1 4 3 2) (1 16 4 3 2) (1 4 3 12) (1 5 13) (40))) (quote ((30) (1 1 1) (2 8 1 1) (1 2 1 1 1 1) (1 2 1 1 1 1) (2 8 1 1) (1 2 1 1 1) (1 2 3 1 1 1) (1 2 1 1 1) (1 8 1 1) (1 2 1 1 1) (1 6 1 1 1) (1 2 1 1 1) (1 8 1 1) (2 2 1 1 1) (1 2 1 3 1 1) (1 2 3 1 1) (2 8 1 1) (1 2 1) (30) (30) (15 13) (14 12) (13 1 5 2) (13 3 1 1 4 1) (13 3 1 4 1) (13 3 1 4 1) (10 2 3 2 2) (5 2 1 1 3 3 3) (4 2 4 3 3 3) (3 6 2 3 3 3) (5 2 1 1 3 3 3) (4 2 4 3 3 3) (3 9 3 3 3) (13 3 3 3) (13 3 1 3 3) (13 1 6 3) (14 7 3) (15 13) (30))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "x  x                         x" "   xx   xxxxxxxx          x  x" "    x   xx   x x          x  x" "    x   xx x   x          x  x" "    xx  xxxxxxxx          x  x" "     x  xx     x          x  x" "     x  xx xxx x          x  x" "     x  xx     x          x  x" "     x  xxxxxxxx          x  x" "     x  xx     x          x  x" "     x  xxxxxx x          x  x" "     x  xx     x          x  x" "     x  xxxxxxxx          x  x" "    xx  xx     x          x  x" "    x   xx x xxx          x  x" "    x   xx   xxx          x  x" "   xx   xxxxxxxx          x  x" "x xx                         x" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxx  xxxxxxxxxxxxx" "xxxxxxxxxxxxxx    xxxxxxxxxxxx" "xxxxxxxxxxxxx  x   xxxxx    xx" "xxxxxxxxxxxxx xxx   x x xxxx x" "xxxxxxxxxxxxx xxx     x xxxx x" "xxxxxxxxxxxxx xxx     x xxxx x" "xxxxxxxxxx xx xxx     xx    xx" "xxxxx  xx x x xxx     xxx  xxx" "xxxx xx  xxxx xxx     xxx  xxx" "xxx xxxxxx xx xxx     xxx  xxx" "xxxxx  xx x x xxx     xxx  xxx" "xxxx xx  xxxx xxx     xxx  xxx" "xxx xxxxxxxxx xxx     xxx  xxx" "xxxxxxxxxxxxx xxx     xxx  xxx" "xxxxxxxxxxxxx xxx   x xxx  xxx" "xxxxxxxxxxxxx  x   xxxxxx  xxx" "xxxxxxxxxxxxxx    xxxxxxx  xxx" "xxxxxxxxxxxxxxx  xxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990208cFRA (10)" (quote (() () (17 18) (4 3 3 2 18) (5 2 2 3 5 8 3) (5 1 1 3 4 2 2 2) (3 2 1 1 2 1 5 2 3) (4 3 3 2 6 1 1 4) (4 1 2 6 1 2 1 4) (3 4 4 1 4 1 1 1 1 2) (6 1 1 4 4 1 1 1 1 2) (5 1 1 3 6 1 2 1 4) (5 2 2 3 6 1 1 4) (4 4 4 2 4 1 1 2) (9 7 5 2 2 2 3) (9 7 9 7) () (9 7 9 7) (4 2 2 2 7 1 1 5) (3 3 1 1 3 1 8 6) (8 6 9 7) (5 3 5 3) (5 3 5 3) (6 4 6 4) (6 4 6 4) (6 4 7 5) (6 4 7 5) (7 5 8 6) () ())) (quote (() () (14 11) (14 11) (14 11) (4 2 6 2 8) (1 3 4 2 1 9) (2 2 2 3 1 2 5) (2 1 1 3 1 2 1) (3 1 1 4 2 1) (1 3 6 3) (1 1) (1 3 6 3) (3 1 1 4 2 1) (2 1 1 3 1 2 1) (2 2 2 3 1 2 5) (1 3 4 2 1 9) (4 2 6 2 8) (14 11) () (14 11) (14 11) (14 11) (14 11) (3 3 2 2 11) (2 2 2 1 4 5) (3 2 2 4 3) (4 1 1 2 1 2 1) (4 1 2 2 1 2 1) (3 1 1 1 1) (3 1 1 1 1) (4 1 2 2 1 2 1) (4 1 1 2 1 2 1) (3 2 2 4 3) (2 2 2 1 4 5) (3 3 2 2 11) (14 11) (14 11) () ())) (quote ("                              " "                              " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxxx xx xxxxxx xx xxxxxxxx  " "  x xxx  xxxx xx x xxxxxxxxx  " "  xx  xx xx  xxx x xx  xxxxx  " "  xx   x x   xxx x xx      x  " "  xxx  x x  xxxx xx x         " "  x xxx   xxxxxx xxx          " "  x     x                     " "  x xxx   xxxxxx xxx          " "  xxx  x x  xxxx xx x         " "  xx   x x   xxx x xx      x  " "  xx  xx xx  xxx x xx  xxxxx  " "  x xxx  xxxx xx x xxxxxxxxx  " "  xxxx xx xxxxxx xx xxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "                              " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxx xxx  xx xx xxxxxxxxxxx  " "  xx   xx  xx  x xxxx  xxxxx  " "  xxx    xx   xx xxxx    xxx  " "  xxxx  x  x  xx x xx      x  " "  xxxx x xx xx x xx x         " "  xxx x x  x  x               " "  xxx x x  x  x               " "  xxxx x xx xx x xx x         " "  xxxx  x  x  xx x xx      x  " "  xxx    xx   xx xxxx    xxx  " "  xx   xx  xx  x xxxx  xxxxx  " "  xxx xxx  xx xx xxxxxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "                              " "                              "))) (make-problem "19990221aFRA (11)" (quote ((33) (23 8) (21 8) (20 8) (19 8) (18 8) (2 11 8) (1 9 8) (1 3 7 8) (1 4 5 8) (1 5 3 8) (2 1 8) (10 24) (10 1 22) (8 19) (6 4 16) (4 3 6 13) (2 4 9 10) (1 4 11 7) (1 3 14 5) (1 1 17 3) (2 21) (6 1 3 1 1 5) (6 3 2 1 1 1 19) (6 1 1 1 1 1 3 1 3 1 1 1) (8 1 2 1 1 5 3 2 1 1 1 1) (6 1 3 1 1 5 1 1 1 1 1 1) (26 1 2 1 1 3) (24 1 3 1 1 3) (40))) (quote ((30) (7 7 9) (6 5 8) (6 3 5 2 8) (6 3 4 4 8) (6 3 4 3 8) (7 2 3 3 1 1 3) (8 1 3 2 2 1 1 3) (9 2 1 3 1 3) (10 2 13) (11 7 3) (12 1 8 6) (11 9 5) (10 2 10 4) (9 3 6 3) (8 5 14) (7 6 5 3) (6 8 13) (5 9 4 3) (4 11 4 1 5) (3 12 3 5) (2 14 11) (2 8 6 10) (1 8 7 10) (9 8 3 1 1) (8 12 1 1 1) (7 10 1 1 1) (6 9 7) (5 8 1 1) (4 7 2 4) (3 6 3 3) (2 5 4 2) (1 4 1 1) (3 7) (2 1 1) (1 7) (1 1 1) (1 1 3) (1 3) (7))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxx    xxxxxxx   xxxxxxxxx" "xxxxxx      xxxxx     xxxxxxxx" "xxxxxx  xxx xxxxx xx  xxxxxxxx" "xxxxxx  xxx xxxx xxxx xxxxxxxx" "xxxxxx  xxx xxxx xxx  xxxxxxxx" "xxxxxxx  xx xxx xxx  x   x xxx" "xxxxxxxx  x xxx xx  xx x x xxx" "xxxxxxxxx   xx  x  xxx x   xxx" "xxxxxxxxxx  xx   xxxxxxxxxxxxx" "xxxxxxxxxxx    xxxxxxx     xxx" "xxxxxxxxxxxx x xxxxxxxx xxxxxx" "xxxxxxxxxxx    xxxxxxxxx xxxxx" "xxxxxxxxxx  xx xxxxxxxxxx xxxx" "xxxxxxxxx  xxx  xxxxxx     xxx" "xxxxxxxx  xxxxx xxxxxxxxxxxxxx" "xxxxxxx  xxxxxx  xxxxx     xxx" "xxxxxx  xxxxxxxx xxxxxxxxxxxxx" "xxxxx  xxxxxxxxx  xxxx     xxx" "xxxx  xxxxxxxxxxx xxxx x xxxxx" "xxx  xxxxxxxxxxxx  xxx   xxxxx" "xx  xxxxxxxxxxxxxx xxxxxxxxxxx" "xx xxxxxxxx xxxxxx  xxxxxxxxxx" "x xxxxxxxx  xxxxxxx xxxxxxxxxx" "xxxxxxxxx   xxxxxxxx xxx   x x" "xxxxxxxx    xxxxxxxxxxxx x x x" "xxxxxxx     xxxxxxxxxx x x   x" "xxxxxx      xxxxxxxxx  xxxxxxx" "xxxxx       xxxxxxxx   x     x" "xxxx        xxxxxxx    xx xxxx" "xxx         xxxxxx     xxx xxx" "xx          xxxxx      xxxx xx" "x           xxxx       x     x" "            xxx        xxxxxxx" "            xx         x     x" "            x          xxxxxxx" "            x          x     x" "                       x x xxx" "                       x   xxx" "                       xxxxxxx"))) (make-problem "19990401-JOJ (12)" (quote ((40) (40) (12 24) (9 21) (7 4 19) (6 10 18) (5 5 5 17) (4 3 4 16) (3 3 6 3 15) (2 3 3 3 3 14) (2 2 2 2 2 5 7) (2 2 3 5 2 2 4 7) (1 2 2 2 2 1 2 5 5 1) (1 1 2 2 2 2 2 4 5 1) (2 2 2 3 1 2 2 4 5 1) (2 1 1 3 1 2 2 5 3 2) (2 1 1 3 2 2 2 5 3 2) (2 2 2 5 2 2 7 1 3) (1 2 2 2 2 2 6 2) (1 2 3 3 3 3 5 4 1) (2 2 3 7 3 3 3 2 1) (2 2 3 2 3 2 8 1) (2 3 4 4 9 1) (3 3 9 12 2) (4 4 4 10 4) (5 5 11 7) (6 19 10) (8 16 11) (9 13 13) (10 15))) (quote ((14 12) (12 10) (9 4 7) (8 10 6) (7 4 5 5) (6 3 3 4) (5 3 7 3 3) (4 3 4 4 3 3) (4 2 3 3 2 2) (3 2 3 4 3 3 1) (3 2 1 2 2 2 3) (3 2 2 2 2 2 4) (2 2 1 2 2 2 2 3) (2 2 1 1 4 2 2 3) (2 2 1 1 4 2 2 3) (2 2 1 1 1 1 2 2 3) (3 2 2 2 1 1 2 3) (3 2 1 2 2 2 1 3) (3 3 2 4 2 2 4) (4 2 2 2 2 4) (4 3 3 3 2 4) (5 3 5 3 5) (6 3 2 3 5) (7 4 4 6) (8 9 5) (9 4 1 5 1) (11 3 4 1) (13 4 4 2) (21 4 2) (20 3 3) (20 4 4) (10 7 3 4) (12 4 4 4) (15 1 5 5) (17 5 5) (18 1 2 5) (17 4 6) (15 1 2 6) (12 4 7) (10 18))) (quote ("xxxxxxxxxxxxxx    xxxxxxxxxxxx" "xxxxxxxxxxxx        xxxxxxxxxx" "xxxxxxxxx     xxxx     xxxxxxx" "xxxxxxxx   xxxxxxxxxx   xxxxxx" "xxxxxxx  xxxx     xxxxx  xxxxx" "xxxxxx  xxx          xxx  xxxx" "xxxxx  xxx   xxxxxxx  xxx  xxx" "xxxx  xxx  xxxx  xxxx  xxx xxx" "xxxx  xx  xxx      xxx  xx  xx" "xxx  xx  xxx  xxxx  xxx xxx  x" "xxx  xx  x   xx  xx  xx  xxx  " "xxx  xx xx  xx    xx  xx xxxx " "xx  xx  x  xx  xx  xx xx  xxx " "xx  xx  x  x  xxxx xx  xx xxx " "xx  xx  x  x  xxxx  xx xx xxx " "xx  xx  x  x  x  x  xx xx xxx " "xxx  xx xx xx    x  x  xx xxx " "xxx  xx  x  xx  xx xx  x  xxx " "xxx  xxx xx  xxxx  xx xx xxxx " "xxxx  xx  xx      xx  xx xxxx " "xxxx  xxx  xxx  xxx  xx  xxxx " "xxxxx  xxx   xxxxx  xxx xxxxx " "xxxxxx  xxx   xx   xxx  xxxxx " "xxxxxxx  xxxx    xxxx  xxxxxx " "xxxxxxxx   xxxxxxxxx   xxxxx  " "xxxxxxxxx    xxxx    x xxxxx x" "xxxxxxxxxxx        xxx xxxx  x" "xxxxxxxxxxxxx    xxxx  xxxx xx" "xxxxxxxxxxxxxxxxxxxxx xxxx  xx" "xxxxxxxxxxxxxxxxxxxx  xxx  xxx" "xxxxxxxxxxxxxxxxxxxx xxxx xxxx" "xxxxxxxxxx  xxxxxxx  xxx  xxxx" "xxxxxxxxxxxx   xxxx xxxx  xxxx" "xxxxxxxxxxxxxxx  x xxxxx xxxxx" "xxxxxxxxxxxxxxxxx  xxxxx xxxxx" "xxxxxxxxxxxxxxxxxx x xx  xxxxx" "xxxxxxxxxxxxxxxxx  xxxx xxxxxx" "xxxxxxxxxxxxxxx  x  xx  xxxxxx" "xxxxxxxxxxxx   xxxx    xxxxxxx" "xxxxxxxxxx  xxxxxxxxxxxxxxxxxx"))) (make-problem "19990525aKHO (13)" (quote ((2 3 1 1 2) (9 2 3 3 4) (4 21 1) (5 2 1 5 2 2 2 2) (3 2 2 4) (4) (2) () (7) (12 5) (12 3) (2 2 3) (2 2 3) (2 2 3) (2 2 3) (2 2 3) (2 2 3) (24) (2 4 9 3 2) (2 4 10 2 1) (2 2 4 15 1) (3 3 2 1 1) (1 2 23 1) (2 8 3 16 1) (3 2 2 4 16) (11 1 2 2 9 3) (2 5 2 1 1 1 1 1 2 3) (1 1 3 1 4 1 1 7 1 1 2) (1 1 1 1 1 2 2 1 1 3) (1 1 4 2 4))) (quote ((8) (2 4 1) (3 2 2 1 1) (5 2 2 1) (5 1 3) (4 1 4) (1 1 1 3) (3 1 2 1) (4 1 1 1 1) (4 4 1) (2 5) (2 2 1) (2 2 1) (2 19) (1 16) (2 2 1 3 4) (4 2 4 1 2 2) (5 2 4 1 1 1) (3 2 4 1 1 1) (2 2 4 1 2 2) (2 2 1 3 4) (3 16) (4 12 6) (1 4 4 1) (2 4 4 1) (4 4 4 1) (4 4 4 1) (2 4 4 1) (2 4 4 1) (3 1 4 5) (2 1 2 4 2) (2 11 1 3 1 1) (4 11 1 3 1 1) (4 11 1 4 2) (2 2 1 2 5) (1 10) (2 1 4) (5 3) (2) (1))) (quote #f)) (make-problem "19990527aDRA (14)" (quote ((11 27) (10 2 25) (9 2 2 23) (8 8 21) (7 5 5 19) (6 11 19) (6 1 4 3 1 10 7) (6 3 5 2 8 2 6) (6 5 2 3 6 5 5) (6 2 4 4 4 4 3 4) (6 5 2 4 2 11 3) (6 2 5 2 1 2 4 4 3 2) (6 5 2 4 2 13 1) (6 2 5 4 2 1 4 6 1) (6 4 2 3 3 2 8 1 1) (8 5 2 4 3 5 3 1) (10 3 1 5 1 2 2 5 1) (12 1 6 5 5 1 1) (14 7 6 1 5 1) (23 6 7 1) (1 1 2 1 1 1 2 2 3 3 1) (1 3 2 1 2 1 2 1 4 4 5 1 1) (1 3 2 1 2 3 3 1 5 1) (1 3 1 2 2 1 6 4 2 5 2) (1 1 2 1 2 1 4 5 1 3 4) (29 1 6) (30 8) (40) (40) (40))) (quote ((30) (20 5) (20 3 5) (20 3 5) (30) (20 5) (5 5 1 7) (4 8 5 1 6) (3 2 8 4 2 5) (2 3 2 1 1 1 14) (1 5 8 4 5) (6 8 3 1 7) (1 5 1 1 1 2 2 1 7) (1 2 3 8 2 5) (1 4 2 8 11) (2 6 1 5) (2 5 8 2 1 7) (3 3 8 3 1 7) (3 2 4 3 4 8) (4 8 15) (4 6 1 5) (20 1 1 5) (20 1 5) (10 10) (10 1 7 9) (9 3 2 4 8) (9 4 7 7) (8 6 4 2 6) (8 2 4 7 5) (7 9 7 4) (7 5 3 3) (6 2 6 9 3) (6 9 1 3 2 4) (7 3 3 9 4) (8 6 4 3 5) (9 4 9 5) (10 3 2 3 1 6) (11 1 9 6) (12 7) (30))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxx     xxxxx" "xxxxxxxxxxxxxxxxxxxx xxx xxxxx" "xxxxxxxxxxxxxxxxxxxx xxx xxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxx     xxxxx" "xxxxx          xxxxx x xxxxxxx" "xxxx  xxxxxxxx xxxxx x  xxxxxx" "xxx xx xxxxxxxx xxxx  xx xxxxx" "xx xxx xx x x x xxxxxxxxxxxxxx" "x xxxxx xxxxxxxx xxxx    xxxxx" " xxxxxx xxxxxxxx xxx x xxxxxxx" " x xxxxx x x x xx xx x xxxxxxx" "x xx xxx xxxxxxxx xx     xxxxx" "x xxxx xx xxxxxxxx xxxxxxxxxxx" "xx xxxxxx          x     xxxxx" "xx xxxxx xxxxxxxx xx x xxxxxxx" "xxx xxx xxxxxxxx xxx x xxxxxxx" "xxx xx xxxx xxx xxxx  xxxxxxxx" "xxxx  xxxxxxxx xxxxxxxxxxxxxxx" "xxxx          xxxxxx   x xxxxx" "xxxxxxxxxxxxxxxxxxxx x x xxxxx" "xxxxxxxxxxxxxxxxxxxx x   xxxxx" "xxxxxxxxxx          xxxxxxxxxx" "xxxxxxxxxx x xxxxxxx xxxxxxxxx" "xxxxxxxxx xxx xx xxxx xxxxxxxx" "xxxxxxxxx xxxx xxxxxxx xxxxxxx" "xxxxxxxx xxxxxx xxxx xx xxxxxx" "xxxxxxxx xx xxxx xxxxxxx xxxxx" "xxxxxxx xxxxxxxxx xxxxxxx xxxx" "xxxxxxx xxxxx xxx          xxx" "xxxxxx xx xxxxxx xxxxxxxxx xxx" "xxxxxx xxxxxxxxx x xxx xx xxxx" "xxxxxxx xxx xxx xxxxxxxxx xxxx" "xxxxxxxx xxxxxx xxxx xxx xxxxx" "xxxxxxxxx xxxx xxxxxxxxx xxxxx" "xxxxxxxxxx xxx xx xxx x xxxxxx" "xxxxxxxxxxx x xxxxxxxxx xxxxxx" "xxxxxxxxxxxx           xxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990527eDRA (15)" (quote ((16 11 11) (17 9 12) (18 7 13) (14 4) (12 6 3 8 4) (10 19 2 4) (8 19 4 4) (7 6 4) (7 20 6 4) (7 20 6 4) (7 2 4 6 4) (7 2 12 1 1 6 4) (7 2 3 3 1 1 6 4) (7 2 2 3 4 6 4) (7 2 1 5 3 4 6 4) (7 2 1 1 1 1 3 1 1 6 4) (7 2 1 2 2 3 1 1 6 4) (7 2 1 5 4 4 6 4) (7 2 1 1 1 4 4 6 4) (7 2 2 3 5 1 1 6 4) (7 2 1 1 2 1 1 6 4) (7 2 9 1 4 6 4) (7 2 10 1 1 1 6 4) (7 2 2 5 1 1 1 1 6 4) (7 2 4 6 4) (7 20 5 4) (7 20 3 6) (7 20 1 8) (7 10) (40))) (quote ((30) (30) (30) (30) (30) (30) (30) (7 1) (6 20 1) (6 20 1) (5 1 2 3 1) (5 1 2 9 2 3 1) (4 2 2 3 1 3 3 1) (4 2 2 2 5 3 3 1) (3 3 2 1 1 2 1 3 3 1) (3 3 2 1 2 1 1 3 3 1) (2 3 2 1 1 2 1 3 3 1) (1 1 3 2 1 5 4 3 1) (2 3 2 1 1 3 3 1) (3 3 2 1 3 2 3 1) (3 2 2 9 3 3 1) (3 3 2 10 3 1) (3 3 2 13 3 1) (3 3 2 3 1) (3 2 20 1) (3 3 3 2 2 1 4 1) (2 3 3 2 2 1 4 1) (1 1 3 20 1) (2 3 1) (3 2 21 1) (3 2 20 2) (3 1 21 2) (3 1 20 3) (3 21 3) (3 20 4) (3 4) (30) (30) (30) (30))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxx                      x" "xxxxxx  xxxxxxxxxxxxxxxxxxxx x" "xxxxxx  xxxxxxxxxxxxxxxxxxxx x" "xxxxx x xx               xxx x" "xxxxx x xx xxxxxxxxx  xx xxx x" "xxxx xx xx xxx     x xxx xxx x" "xxxx xx xx xx xxxxx xxx  xxx x" "xxx xxx xx x  x xx x xxx xxx x" "xxx xxx xx x  xx x x xxx xxx x" " xx xxx xx x  x xx x xxx xxx x" "x x xxx xx x  xxxxx xxxx xxx x" "xx  xxx xx x       x xxx xxx x" "xxx xxx xx x     xxx xx  xxx x" "xxx  xx xx xxxxxxxxx xxx xxx x" "xxx xxx xx xxxxxxxxxx    xxx x" "xxx xxx xx xxxxxxxxxxxxx xxx x" "xxx xxx xx               xxx x" "xxx  xx xxxxxxxxxxxxxxxxxxxx x" "xxx xxx xxx  xx  xx  x  xxxx x" "xx  xxx xxx  xx  xx  x  xxxx x" "x x xxx xxxxxxxxxxxxxxxxxxxx x" " xx xxx                      x" "xxx xx xxxxxxxxxxxxxxxxxxxxx x" "xxx xx xxxxxxxxxxxxxxxxxxxx xx" "xxx x xxxxxxxxxxxxxxxxxxxxx xx" "xxx x xxxxxxxxxxxxxxxxxxxx xxx" "xxx  xxxxxxxxxxxxxxxxxxxxx xxx" "xxx  xxxxxxxxxxxxxxxxxxxx xxxx" "xxx                       xxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990613-FRA (16)" (quote ((40) (40) (8 2 23) (18 18) (22 14) (27 12) (27 12) (3 1 11) (3 1 1 10) (3 1 2 9) (3 1 8) (3 1 3 8) (3 1 1 1 8) (3 1 3 4) (3 1 7 4) (3 7 4) (3 1 7 4) (3 4) (5 13 6 7) (4 3 11 3 4 3 6) (4 3 11 3 4 3 6) (5 13 6 7) (40) (1 4 2 2) (40) (40) (40) (40) (40) (40))) (quote ((30) (23 6) (23 6) (7 5 6) (7 1 2 6) (7 2 1 6) (7 2 1 6) (7 2 1 6) (2 4 1 2 6) (2 4 5 6) (2 4 12) (2 4 12) (7 12) (7 12) (2 4 5 6) (2 4 5 6) (2 4 5 6) (7 5 6) (3 3 5 6) (3 3 5 6) (3 3 1 2 6) (3 3 2 1 6) (4 2 2 1 6) (4 2 2 8) (4 2 1 9) (4 2 5 6) (15 1 5 6) (5 5 6) (7 2 6 5 6) (8 1 1 4 1 2 6) (9 6 2 1 6) (10 3 2 1 6) (13 3 2 1 6) (13 3 1 9) (13 3 12) (13 5 6) (23 6) (23 6) (23 6) (23 6))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx xxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx xxxxxx" "xxxxxxx           xxxxx xxxxxx" "xxxxxxx           x  xx xxxxxx" "xxxxxxx            xx x xxxxxx" "xxxxxxx            xx x xxxxxx" "xxxxxxx            xx x xxxxxx" "xx xxxx           x  xx xxxxxx" "xx xxxx           xxxxx xxxxxx" "xx xxxx           xxxxxxxxxxxx" "xx xxxx           xxxxxxxxxxxx" "xxxxxxx           xxxxxxxxxxxx" "xxxxxxx           xxxxxxxxxxxx" "xx xxxx           xxxxx xxxxxx" "xx xxxx           xxxxx xxxxxx" "xx xxxx           xxxxx xxxxxx" "xxxxxxx           xxxxx xxxxxx" "xxx xxx           xxxxx xxxxxx" "xxx xxx           xxxxx xxxxxx" "xxx xxx           x  xx xxxxxx" "xxx xxx            xx x xxxxxx" "xxxx xx            xx x xxxxxx" "xxxx xx            xx xxxxxxxx" "xxxx xx           x  xxxxxxxxx" "xxxx xx           xxxxx xxxxxx" "xxxxxxxxxxxxxxx x xxxxx xxxxxx" "xxxxx             xxxxx xxxxxx" "xxxxxxx xx xxxxxx xxxxx xxxxxx" "xxxxxxxx x x xxxx x  xx xxxxxx" "xxxxxxxxx  xxxxxx  xx x xxxxxx" "xxxxxxxxxx    xxx  xx x xxxxxx" "xxxxxxxxxxxxx xxx  xx x xxxxxx" "xxxxxxxxxxxxx xxx x  xxxxxxxxx" "xxxxxxxxxxxxx xxx xxxxxxxxxxxx" "xxxxxxxxxxxxx     xxxxx xxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx xxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx xxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx xxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx xxxxxx"))) (make-problem "19990714aNEP (17)" (quote ((33) (2) (1 1 3 3 1 1 1 1 2 2 2 3) (1 1 1 1 1 1 1 1 1 1 1 1 1 3) (1 1 3 1 1 1 1 1 1 1 1 2 3) (1 1 1 3 3 3 1 1 1 2) (1 1 2) (26 2) (2 2) (2 3) (2 3) (2 6) (1 6) (1 6) (2 6) (2 7) (2 7) (2 7) (2 8) (2 8) (2 8) (2 8) (3 6) (2 4) (2 3) (2 2) (2 7) (2 11) (5 13) (4 14))) (quote ((1 3 4) (1 1 2 2) (1 3 2 2) (1 2 2) (1 4 2 2) (1 1 1 1 2) (1 4 1 2) (1 1 2) (1 4 1 2) (1 1 1 1 1) (1 1 1 1 2) (1 1 2) (1 4 1 2) (1 1 1 2) (1 4 1 2) (1 1 2) (1 4 1 1) (1 1 1 1) (1 4 1 1) (1 1 2) (1 4 1 1) (1 1 1 1) (1 2 1 1) (1 1 1) (1 6 1) (1 1 2) (1 1 3) (1 1 3) (1 1 5 3) (1 4 10 4) (1 3 19) (3 21) (2 20 4) (20 4) (3 11 4) (2 11 4) (1 3) (2) () ())) (quote #f)) (make-problem "19990729-DAH (18)" (quote ((16 16) (11 6 11) (9 16 9) (7 7 9 7) (5 4 3 4 5) (4 4 3 4 4) (3 3 3 3 3 3) (2 4 3 7 4 2) (1 3 3 11 3 1) (4 3 7 3 4) (3 3 7 3 3) (3 3 7 3 3) (3 3 8 3 3) (3 3 9 3 3) (3 3 9 3 3) (3 3 10 3 3) (3 3 9 3 3) (3 3 8 3 3) (3 3 8 3 3) (3 3 7 3 3) (4 3 7 3 4) (1 3 11 3 3 1) (2 4 7 3 4 2) (3 3 3 3 3 3) (4 4 3 4 4) (5 4 3 4 5) (7 9 7 7) (9 15 9) (12 6 11) (16 16))) (quote ((9 6 9) (8 10 8) (7 12 7) (6 4 4 6) (5 3 3 5) (4 4 4 4) (4 3 3 4) (3 3 3 3) (3 2 6 2 3) (2 2 10 2 2) (2 2 12 2 2) (1 2 4 4 2 2) (1 2 2 2 1 1) (1 2 2 2 2 1) (1 2 1 2 2 1) (1 2 2 4 3 2 1) (2 1 7 4 2) (2 2 15 3) (2 1 15 4) (2 2 15 1 2) (2 1 15 2 2) (4 15 1 2) (3 15 2 2) (2 4 7 1 2) (1 2 3 4 2 2 1) (1 2 2 1 2 1) (1 2 2 2 2 1) (1 2 2 2 2 1) (1 2 4 4 2 1) (2 2 12 2 2) (2 2 10 2 2) (3 2 6 2 3) (3 3 3 3) (4 3 3 4) (4 4 4 4) (5 3 3 5) (6 4 4 6) (7 12 7) (8 10 8) (9 6 9))) (quote ("xxxxxxxxx   xxxxxx   xxxxxxxxx" "xxxxxxxx  xxxxxxxxxx  xxxxxxxx" "xxxxxxx  xxxxxxxxxxxx  xxxxxxx" "xxxxxx  xxxx      xxxx  xxxxxx" "xxxxx  xxx          xxx  xxxxx" "xxxx  xxxx          xxxx  xxxx" "xxxx xxx              xxx xxxx" "xxx  xxx              xxx  xxx" "xxx xx      xxxxxx      xx xxx" "xx  xx    xxxxxxxxxx    xx  xx" "xx xx    xxxxxxxxxxxx    xx xx" "x  xx   xxxx      xxxx   xx xx" "x xx    xx          xx    x  x" "x xx   xx            xx   xx x" "x xx   x             xx   xx x" "x xx  xx    xxxx     xxx  xx x" "  xx  x   xxxxxxx   xxxx  xx  " " xx  xx  xxxxxxxxxxxxxxx  xxx " " xx  x  xxxxxxxxxxxxxxx  xxxx " " xx xx  xxxxxxxxxxxxxxx  x xx " " xx x  xxxxxxxxxxxxxxx  xx xx " " xxxx  xxxxxxxxxxxxxxx  x  xx " " xxx  xxxxxxxxxxxxxxx  xx  xx " "  xx  xxxx   xxxxxxx   x  xx  " "x xx  xxx      xxxx   xx  xx x" "x xx   xx             x   xx x" "x xx   xx            xx   xx x" "x xx    xx          xx    xx x" "x  xx   xxxx      xxxx   xx  x" "xx xx    xxxxxxxxxxxx    xx xx" "xx  xx    xxxxxxxxxx    xx  xx" "xxx xx      xxxxxx      xx xxx" "xxx  xxx              xxx  xxx" "xxxx xxx              xxx xxxx" "xxxx  xxxx          xxxx  xxxx" "xxxxx  xxx          xxx  xxxxx" "xxxxxx  xxxx      xxxx  xxxxxx" "xxxxxxx  xxxxxxxxxxxx  xxxxxxx" "xxxxxxxx  xxxxxxxxxx  xxxxxxxx" "xxxxxxxxx   xxxxxx   xxxxxxxxx"))) (make-problem "19990924-KHO (19)" (quote (() (37) (31) (24) (17) (14) (21 13) (23 4) (24 3) (8 8 3) (9 10 2) (10 13 2) (11 3 2) (12 3 2) (13 3 2) (14 5 2 3) (15 6 1 3) (16 6 4) (22 7) (19 10) (16 13) (13 16) (10 19) (7 22) (4 25) (1 28) (31) (34) (37) ())) (quote (() (20) (1 19 1) (1 19 1) (1 19 1) (1 18 2) (1 18 2) (1 18 2) (2 17 3) (2 3 13 3) (2 3 12 3) (2 3 10 4) (2 3 9 4) (2 3 8 4) (2 3 6 5) (3 3 5 5) (3 3 4 5) (3 3 2 6) (3 3 2 6) (3 3 2 6) (3 3 2 7) (3 3 2 7) (4 2 1 2 7) (4 2 1 2 8) (4 1 1 2 8) (5 2 2 8) (6 3 2 9) (6 3 2 9) (6 3 2 9) (6 3 1 10) (6 3 1 10) (6 3 10) (6 6 11) (6 8 11) (6 6 11) (7 12) (9 14) (28) (28) ())) (quote ("                              " "      xxxxxxxxxxxxxxxxxxxx    " " x    xxxxxxxxxxxxxxxxxxx   x " " x    xxxxxxxxxxxxxxxxxxx   x " " x    xxxxxxxxxxxxxxxxxxx   x " " x    xxxxxxxxxxxxxxxxxx   xx " " x    xxxxxxxxxxxxxxxxxx   xx " " x    xxxxxxxxxxxxxxxxxx   xx " " xx   xxxxxxxxxxxxxxxxx   xxx " " xx   xxx xxxxxxxxxxxxx   xxx " " xx   xxx  xxxxxxxxxxxx   xxx " " xx   xxx   xxxxxxxxxx   xxxx " " xx   xxx    xxxxxxxxx   xxxx " " xx   xxx     xxxxxxxx   xxxx " " xx   xxx      xxxxxx   xxxxx " " xxx  xxx       xxxxx   xxxxx " " xxx  xxx        xxxx   xxxxx " " xxx  xxx         xx   xxxxxx " " xxx  xxx         xx   xxxxxx " " xxx  xxx         xx   xxxxxx " " xxx  xxx        xx   xxxxxxx " " xxx  xxx        xx   xxxxxxx " " xxxx  xx  x     xx   xxxxxxx " " xxxx  xx  x    xx   xxxxxxxx " " xxxx   x  x    xx   xxxxxxxx " " xxxxx    xx    xx   xxxxxxxx " " xxxxxx  xxx   xx   xxxxxxxxx " " xxxxxx  xxx   xx   xxxxxxxxx " " xxxxxx  xxx   xx   xxxxxxxxx " " xxxxxx  xxx   x   xxxxxxxxxx " " xxxxxx  xxx   x   xxxxxxxxxx " " xxxxxx  xxx       xxxxxxxxxx " " xxxxxx  xxxxxx   xxxxxxxxxxx " " xxxxxx  xxxxxxxx xxxxxxxxxxx " " xxxxxx   xxxxxx  xxxxxxxxxxx " " xxxxxxx         xxxxxxxxxxxx " " xxxxxxxxx     xxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxx " "                              "))) (make-problem "19990928-BBA (20)" (quote ((3 2) (1 2) (3) (3) (1 2 27) (1 1 1 2 3 3 2 2 1) (3 2 1 2 1 1 3 2) (1 1 2 1 1 1 3 3) (1 1 3 3 1 1 3 1 3) (3 1 5 2 1 1 3 2 3) (5 8 8 1 5) (3 1 5 1 4 1 5) (1 1 3 1 1 2 1 5) (1 1 1 3 1 1 1 2 3) (1 1 1 1 2 1 3) (1 1 1 1 2 3) (1 3 1 1 1 1 3) (1 1 1 1 1 1 3) (1 1 1 1 1 1 1 1 3) (1 1 1 1 1 1 1 1 1 3) (2 1 1 3 15) (2 2 5 2 1 5) (1 1 1 2 3 1 1 4) (1 5 1 2 3 3 2) (1 3 1 3 2 1 1 1 1) (1 1 1 1 1 2 1 3 1) (1 6 1 7 1 1) (1 1 1 2 3 1 2 2) (1 7 1 13) (1 2 3 2 4 2 1))) (quote ((1 1) (7 1) (1 2 1 3) (4 5) (2 3 3) (1 1 1) () (26) (1 1 2) (1 3 1 7) (1 5 1 1 2 1 2) (1 7 11) (1 5 1 1 1) (2 3 1 1 5 1) (4 1 1 2 4) (1 4 2 1 2 1 3) (2 5 3 3 3 1) (3 1 1 1 1 2 1 1) (2 1 2 1 1 1 2 3) (1 1 1 1 1 3 1) (2 1 2 7 1) (3 1 9 2 5) (2 1 3 1 1 1 1) (1 11 1 3 1 2) (2 3 2 2 1 1 2) (5 6 2 2 2) (1 2 2 2 1 1 2) (3 3 3 1 3 3) (2 2 2 1 1 2) (1 5 2 1 2) (1 3 3 3 2) (1 16 1 1) (1 18 2) (26) () () () () () ())) (quote #f)) (make-problem "19991011bLLO (21)" (quote ((9) (4 2 4 3) (6 2 5 2) (5 12 4) (1 13 7) (3 3 5 3 4 2) (4 4 2 4 1 5) (1 4 8 10) (2 7 4 1 4 1) (7 4 1 6 3) (4 4 8 5 1) (2 4 1 3 4 4 1 2) (11 9 5) (3 2 6 1 5 1) (3 4 1 4 5 2 1) (1 5 5 3 1 2 1) (7 2 8) (5 1 1 1 3) (4 1 1) (4 1 1) (3 1 1) (3 1 1) (3 1 1) (3 1 1) (3 1 1 10) (3 1 1 2 2) (4 1 1 5 4 5) (5 6 1 1 2 1 1) (5 1 4 1) (8 1 1 2 2 1 1))) (quote ((7 3 1) (1 2 7) (7 2 3 1) (4 2 4 2 1) (5 6 2 4) (2 6 19) (5 22) (3 3 1 1 16) (1 6 3 1 4 3) (2 3 4 2 3 1) (1 8 6) (8 3 1 1) (2 3 9 1) (5 2 1 5) (15 1 1) (1 2 2 1 3 2 11) (8 5 2 1) (5 7 3 1) (1 2 1 2 3 12) (7 6 1) (4 3 4 1) (10 4) (2 3 4 3 1) (3 1 1 1 2 2 1) (8 2 1 1 1) (2 2 2 2 1) (1 2 1 1 1) (2 1) (2 1) (3 2) (1 3) (1 3) (3 2) (2 1) (1) (1 1) (2 1) (1 1) (2 1) (1))) (quote #f)))))
