(unit (import paint-by-numbers:problem^) (export paint-by-numbers:problem-set^) (define set-name "Kajitani 30x30") (define problems (list (make-problem "19981106-GAS (1)" (quote (() () (5 6) (1 2 2 1) (2 12 2) (1 2 2 1) (3 3) (1 3 3 1) (1 1 1 1 1 1) (2 1 3 3 1 2) (1 1 3 1 3 1 1) (1 4 1 4 1) (1 2 1 2 1) (1 1 1) (1 1 1) (1 3 1) (2 7 2) (1 3 1) (2 1 1 2) (2 2 11 2 2) (2 2 1 1 1 2 2) (1 2 1 2 1) (2 1 1 1 1) (1 7 1) (1 1) (1 1) (1 1 6 1) (1 1 1 1) (1 1 1 2) (25))) (quote (() () (8) (3 1) (3 8 2 1) (1 6 4 1) (1 1 1 4) (1 1 1 1) (2 1 2 1 1) (3 1 1 1 1) (1 1 4 3 1) (1 1 4 1 1 1) (1 5 1 5 1) (1 1 1 1 1) (1 3 1 1 1) (1 8 5 1) (1 3 1 1 1) (1 1 1 1 3) (1 5 1 5 1 1) (1 1 4 1 1 1 1) (2 1 4 3 1 1) (2 1 1 1 1 1 1) (1 1 2 1 1 1) (1 1 1 1 1) (1 1 1 1) (1 6 4 1) (3 8 2 2) (9) () ())) (quote #f)) (make-problem "19981230-SQU (2)" (quote (() () (4 4) (6 6) (8 8) (9 9) (9 9) (8 8) (7 6 7) (5 8 5) (10) (13) (14) (14) (18) (2 14 2) (2 14 2) (2 16 2) (2 2 12 2 2) (1 2 10 2 1) (4 3 2 3 4) (2 2 6 2 2) (4 2 2 2 4) (1 2 1 2 1 2 1) (2 1 2 2 2 1 2) (2 2 2 2 2) (2 2 2 2) (2 2 2 2) (2 2 2 2) (30))) (quote ((1) (3 1) (5 3 3 1) (7 2 3 2 1) (7 2 3 2 1) (8 2 2 2 2 1) (8 2 2 2 3) (7 1 2 2) (6 7 3 1) (5 8 2 2 1) (12 2 1) (12 2 1) (14 3) (12 1 2) (18 1) (18 1) (12 1 2) (14 3) (12 2 1) (12 2 1) (5 8 2 2 1) (6 6 3 1) (7 1 2 2) (8 2 2 2 3) (8 2 2 2 2 1) (7 2 3 2 1) (7 2 3 2 1) (5 3 3 1) (3 1) (1))) (quote ("                             x" "    xxx                      x" "   xxxxx          xxx xxx    x" "  xxxxxxx        xx xxx xx   x" "  xxxxxxx       xx  xxx  xx  x" "  xxxxxxxx     xx  xx xx  xx x" "  xxxxxxxx    xx  xx   xx  xxx" "   xxxxxxx    x  xx         xx" "    xxxxxx xxxxxxx    xxx    x" "     xxxxx xxxxxxxx  xx xx   x" "          xxxxxxxxxxxx   xx  x" "         xxxxxxxxxxxx     xx x" "        xxxxxxxxxxxxxx     xxx" "        xxxxxxxxxxxx x      xx" "        xxxxxxxxxxxxxxxxxx   x" "        xxxxxxxxxxxxxxxxxx   x" "        xxxxxxxxxxxx x      xx" "        xxxxxxxxxxxxxx     xxx" "         xxxxxxxxxxxx     xx x" "          xxxxxxxxxxxx   xx  x" "     xxxxx xxxxxxxx  xx xx   x" "    xxxxxx  xxxxxx    xxx    x" "   xxxxxxx    x  xx         xx" "  xxxxxxxx    xx  xx   xx  xxx" "  xxxxxxxx     xx  xx xx  xx x" "  xxxxxxx       xx  xxx  xx  x" "  xxxxxxx        xx xxx xx   x" "   xxxxx          xxx xxx    x" "    xxx                      x" "                             x"))) (make-problem "19990104-FRA (3)" (quote ((7) (7) (7) (7) (7) (7) (8) (9) (18) (19) (30) (11 1 3 8) (12 4 1 9) (11 5 10) (10 5 10) (10 4 1 9) (9 3 3 8) (25) (3 20) (1 17) (15) (12) (10) (7) (7) (5) (4) (5) (3) ())) (quote ((2) (3) (4) (6) (7) (8) (9) (10) (9) (8) (19) (11 8) (11 9) (11 5) (11 11) (11 11) (25) (5 4 9) (5 2 12) (5 13) (4 2 13) (3 4 12) (17 2) (15) (14) (13) (13) (12) (10) (9))) (quote ("          xx                  " "          xxx                 " "          xxxx                " "          xxxxxx              " "          xxxxxxx             " "          xxxxxxxx            " "          xxxxxxxxx           " "          xxxxxxxxxx          " "          xxxxxxxxx           " "          xxxxxxxx            " "xxxxxxxxxxxxxxxxxxx           " "xxxxxxxxxxx xxxxxxxx          " "xxxxxxxxxxx xxxxxxxxx         " "xxxxxxxxxxx      xxxxx        " "xxxxxxxxxxx xxxxxxxxxxx       " "xxxxxxxxxxx xxxxxxxxxxx       " "xxxxxxxxxxxxxxxxxxxxxxxxx     " "      xxxxx xxxx xxxxxxxxx    " "       xxxxx xx xxxxxxxxxxxx  " "        xxxxx  xxxxxxxxxxxxx  " "        xxxx xx xxxxxxxxxxxxx " "        xxx xxxx xxxxxxxxxxxx " "        xxxxxxxxxxxxxxxxx  xx " "        xxxxxxxxxxxxxxx       " "        xxxxxxxxxxxxxx        " "        xxxxxxxxxxxxx         " "        xxxxxxxxxxxxx         " "        xxxxxxxxxxxx          " "         xxxxxxxxxx           " "          xxxxxxxxx           "))) (make-problem "19990708-VEG (4)" (quote ((1 1 3 1 1 3 1 1) (1 1 1 1 2 2 1 5) (3 1 1 1 1 1 2 5) (1 1 1 1 1 1 1 3) (1 1 3 1 1 3 1) () () () () (1) (3) (5 1) (7 1) (10) (11) (13) (15) (2 2) (2 2 2 2) (2 2 2 2) (2 2) (2 2) (12 3 9) (1 1 1 3 3 3 1 1) (2 2 2 2 3 2 2 2) (1 1 1 3 3 3 1 1) (30) (13) (1 1) (1 1))) (quote ((5 2 2) (1 1 1 1) (5 1 1 1) (2 2) (5 1 1 1) (1 1 1 1 1) (5 2 2) (1 1 1) (5 1 1 1) (1 1 2 2) (1 13) (1 14) (5 4 2) (5 2 2) (5 6 2 2) (1 1 1 7 6) (1 1 8 6) (7 2 6) (6 2 3) (5 2 1) (2 4 3) (4 17 1) (4 13) (4 1 2 2) (2 1 1 1) (1 1 1) (2 2) (1 1 1) (1 1 1) (2 2))) (quote ("xxxxx                 xx xx   " "  x                   x x x   " "xxxxx                 x x x   " "                      xx xx   " "xxxxx                 x x x   " "x   x                 x x x   " "xxxxx                 xx xx   " "                      x x x   " "xxxxx                 x x x   " " x              x     xx xx   " "  x            xxxxxxxxxxxxx  " " x            xxxxxxxxxxxxxx  " "xxxxx        xxxx         xx  " "            xxxxx xx      xx  " "xxxxx      xxxxxx xx      xx  " "x x x     xxxxxxx     xxxxxx  " "x   x    xxxxxxxx     xxxxxx  " "          xxxxxxx xx  xxxxxx  " "           xxxxxx xx      xxx " "            xxxxx         xx x" " xx          xxxx         xxx " "xxxx       xxxxxxxxxxxxxxxxx x" " xxxx          xxxxxxxxxxxxx  " "xxxx            x     xx xx   " " xx                   x x x   " "                      x x x   " "                      xx xx   " "                      x x x   " "                      x x x   " "                      xx xx   "))) (make-problem "19990729-WHO (5)" (quote ((3) (1 2) (1 5) (1 1 1 4) (1 1 1 3) (1 1 1 2) (1 5) (1 3) (1 2) (1 1) (1 1) (1 1) (3 2) (12 5) (13 6) (14 8) (15 9) (16 9) (16 10) (16 10) (16 9) (16 9) (8 7 9) (8 16) (27) (26) (25) (22) (15) (5))) (quote (() (3) (6) (12) (13) (14) (15) (16) (16) (17) (9 6) (9 6) (17) (17) (16) (16) (17) (17) (28) (1 5) (28) (2 3 16) (6 15) (1 1 15) (5 14) (3 13) (2 11) (1 10) (7) (2))) (quote ("                              " "                        xxx   " "                      xxxxxx  " "                 xxxxxxxxxxxx " "                xxxxxxxxxxxxx " "               xxxxxxxxxxxxxx " "              xxxxxxxxxxxxxxx " "             xxxxxxxxxxxxxxxx " "             xxxxxxxxxxxxxxxx " "             xxxxxxxxxxxxxxxxx" "             xxxxxxxxx  xxxxxx" "             xxxxxxxxx  xxxxxx" "             xxxxxxxxxxxxxxxxx" "             xxxxxxxxxxxxxxxxx" "             xxxxxxxxxxxxxxxx " "             xxxxxxxxxxxxxxxx " "            xxxxxxxxxxxxxxxxx " "            xxxxxxxxxxxxxxxxx " "xxxxxxxxxxxxxxxxxxxxxxxxxxxx  " "x                      xxxxx  " "xxxxxxxxxxxxxxxxxxxxxxxxxxxx  " " xx   xxx   xxxxxxxxxxxxxxxx  " "  xxxxxx     xxxxxxxxxxxxxxx  " "  x   x      xxxxxxxxxxxxxxx  " "  xxxxx      xxxxxxxxxxxxxx   " "   xxx        xxxxxxxxxxxxx   " "   xx          xxxxxxxxxxx    " "   x           xxxxxxxxxx     " "                xxxxxxx       " "                  xx          "))) (make-problem "19990820-DAH (6)" (quote (() (7 1 8) (1 4 2 1 2 1) (1 2 3 1 1 1 1) (1 2 4 1 1 1 1) (1 3 5 1 2 1) (1 2 1 2 1 1 1 1) (3 2 1 2 2) (3 2 8) () () (8 4) (8 3 4 2 2) (2 2 2 3 2) (1 1 1 1 3) (1 2 1 1 1 2) (1 1 1 1) (8 1 1 2) (6 2) () () (6 3) (1 1 2 1 1 1) (1 1 1 4 2 1 1) (1 1 1 1 2 2 1) (1 1 1 5 3 2) (6 1 1 1 2 2) (4 2 1 2) (1 2 1 6) ())) (quote (() (7 6) (1 1 2 1 6 1) (1 1 1 1 2 1 2) (2 1 1 1 1 1 3) (2 1 1 1 1 1 1 3) (8 1 1 2 1 2) (7 2 1 6 1) (6) () () (3 6) (3 2 1 2) (6 2 1 1 1 1 1) (4 1 1 1 1 1) (4 2 1 1 1 1) (5 3 1 1 1 1 1) (1 1 3 2 3 1) (3 2) () () (8 6) (1 2 1 5) (1 2 1 1 2 1) (2 1 1 1 2 2 2) (2 1 1 1 2 2 1 1 1) (1 2 1 1 4 1 3) (1 2 2 1 1) (8 3) ())) (quote #f)) (make-problem "19990821-ICO (7)" (quote (() () (1 1 1 1 1) (2 1 1 1 1) (2 2 1 1 1 1) (1 2 1 4 3 1 1 1 1) (1 2 1 6 3 1 1 1 1) (1 2 1 6 3 1 1 1 1) (1 2 1 6 3 1 1 1 1) (1 2 1 6 3 1 1 1 1) (1 2 1 6 3 1 1 1 1) (1 2 1 6 3 7) (6 4 3 5) (6 2 2 3) (2 2 2 1) (2 2 2 1) (2 2 2 1) (2 2 2 1) (2 2 2 1) (2 2 2 1) (2 2 2 1) (2 2 2 1) (2 2 2 1) (2 2 2 1) (1 1 3 3 1 1 3 1 1 3) (1 1 1 1 2 1 1 1 1 1) (1 1 1 3 1 2 3 1 1 3) (1 1 1 1 1 1 1 1 1 1) (3 1 3 1 1 3 1 2 3) ())) (quote ((9) (2 5) (19 1) (24) (2) (9 1) (5) (1) (6) (8 5) (21 1 1) (21 1 1) (8) (6 5) (1) (1) (5) (22) (24 1) (8 1 1 1) (1 3) () (10 5) (2) (12 5) (13 1) (12) (2 3 1) (10 1 1 1) (1 3))) (quote ("     xxxxxxxxx                " "            xx          xxxxx " "     xxxxxxxxxxxxxxxxxxx    x " "     xxxxxxxxxxxxxxxxxxxxxxxx " "            xx                " "     xxxxxxxxx          x     " "                        xxxxx " "                        x     " "      xxxxxx                  " "     xxxxxxxx           xxxxx " "    xxxxxxxxxxxxxxxxxxxxx x x " "    xxxxxxxxxxxxxxxxxxxxx x x " "     xxxxxxxx                 " "      xxxxxx            xxxxx " "                         x    " "                          x   " "                        xxxxx " "  xxxxxxxxxxxxxxxxxxxxxx      " "   xxxxxxxxxxxxxxxxxxxxxxxx x " "     xxxxxxxx           x x x " "                        x xxx " "                              " "  xxxxxxxxxx            xxxxx " "           xx                 " "  xxxxxxxxxxxx          xxxxx " "           xxxxxxxxxxxxx    x " "  xxxxxxxxxxxx                " "           xx           xxx x " "  xxxxxxxxxx            x x x " "                        x xxx "))) (make-problem "19990908-ALE (8)" (quote ((12 16) (11 15) (10 14) (4 4 14) (3 4 3 10) (2 4 3 9) (2 3 4 8) (3 4 4 8) (4 5 5 9) (6 5 5 10) (7 4 6 10) (8 3 5 11) (8 3 4 12) (8 4 3 12) (8 4 2 5 6) (8 4 2 4 5) (8 4 2 3 5) (9 3 2 3 4) (9 4 1 2 1 1 3) (10 4 1 3 3 2) (10 4 3 4) (11 2 3) (16 1 1 2) (21 2 2) (21 5) (20 4) (19 3) (21 1 6) (21 1 6) (20 1 5))) (quote ((30) (30) (5 23) (4 22) (3 21) (3 21) (4 1 20) (5 3 19) (11 13) (17 11) (2 15 9) (1 1 12 8) (3 8 8) (7 3 8) (1 13 2 8) (2 15 8) (6 6 7) (5 3 8 7) (4 1 7 2 7) (4 7 2 3 3) (5 7 2 3 2) (6 7 1) (14 3) (14) (15 1 2) (17 2 3 3) (18 2 3 3) (19 2 6) (30) (30))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxx  xxxxxxxxxxxxxxxxxxxxxxx" "xxxx    xxxxxxxxxxxxxxxxxxxxxx" "xxx      xxxxxxxxxxxxxxxxxxxxx" "xxx      xxxxxxxxxxxxxxxxxxxxx" "xxxx    x xxxxxxxxxxxxxxxxxxxx" "xxxxx  xxx xxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxx      xxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxx  xxxxxxxxxxx" "xx  xxxxxxxxxxxxxxx  xxxxxxxxx" "x    x   xxxxxxxxxxxx xxxxxxxx" "      xxx    xxxxxxxx xxxxxxxx" "      xxxxxxx     xxx xxxxxxxx" "x    xxxxxxxxxxxxx xx xxxxxxxx" "xx  xxxxxxxxxxxxxxx   xxxxxxxx" "xxxxxx  xxxxxx         xxxxxxx" "xxxxx    xxx  xxxxxxxx xxxxxxx" "xxxx      x xxxxxxx xx xxxxxxx" "xxxx       xxxxxxx xx  xxx xxx" "xxxxx    xxxxxxx  xx  xxx  xx " "xxxxxx  xxxxxxx    x          " "xxxxxxxxxxxxxx             xxx" "xxxxxxxxxxxxxx                " "xxxxxxxxxxxxxxx    x       xx " "xxxxxxxxxxxxxxxxx xx  xxx  xxx" "xxxxxxxxxxxxxxxxxx xx  xxx xxx" "xxxxxxxxxxxxxxxxxxx xx  xxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990913-TUC (9)" (quote ((12 14) (13 15) (13 15) (13 15) (1 6 6 3) (1 3 5 5 3 3) (1 1 4 4 3 3) (1 1 1 3 3 1 3) (1 3 3 3 1 1 3) (1 3 3 3 3 3) (1 3 3 6 3 3 3) (2 1 4 6 4 1 4) (3 5 6 5 5) (3 5 6 5 5) (3 5 5 5) (3 5 5 5) (3 5 5 5) (2 4 4 4) (1 1 1 3 3 1 1 3) (1 3 3 3 3 3) (2 4 4 4) (30) () (30) (1 1 2 1 1 1 2) (1 2 1 2 1 4 4 2 1 3) (1 4 1 2 2 2) (1 2 1 2 1 4 4 2 4) (1 1 2 1 1 1 2 1) (30))) (quote ((22 7) (4 7 2 1 1) (4 1 4 5 2 1 1 3 1) (4 2 4 1 1 1 3 1) (4 1 4 5 2 1 1 1 1) (4 7 2 7) (22 1 1) (22 3 3) (22 3 3) (7 1 1 1) (6 1 7) (5 4 1 1 1) (3 4 1 1 1 1 1) (4 1 1 1 1 1) (4 1 1 3 1) (3 4 1 7) (5 4 1 1 1) (6 1 1 1 1 1) (7 1 1 1 1 1) (22 1 3 1) (22 7) (22 1 1) (4 7 2 1 1 3) (4 2 3 5 2 1 1 1 3) (4 3 3 1 1 2 1 1) (4 2 3 5 2 1 7) (4 7 2 1 1 1) (22 1 1 1 1) (22 1 1 1 1) (22 1 1 1))) (quote ("xxxxxxxxxxxxxxxxxxxxxx xxxxxxx" "xxxx       xxxxxxx  xx x     x" "xxxx x xxxx xxxxx xx x x xxx x" "xxxx xx xxxx       x x x xxx x" "xxxx x xxxx xxxxx xx x x  x  x" "xxxx       xxxxxxx  xx xxxxxxx" "xxxxxxxxxxxxxxxxxxxxxx x     x" "xxxxxxxxxxxxxxxxxxxxxx xxx xxx" "xxxxxxxxxxxxxxxxxxxxxx xxx xxx" "xxxxxxx              x x     x" "xxxxxx               x xxxxxxx" "xxxxx     xxxx       x x     x" " xxx      xxxx       x x x x x" "          xxxx       x x x x x" "          xxxx       x x xxx x" " xxx      xxxx       x xxxxxxx" "xxxxx     xxxx       x x     x" "xxxxxx               x x x x x" "xxxxxxx              x x x x x" "xxxxxxxxxxxxxxxxxxxxxx x xxx x" "xxxxxxxxxxxxxxxxxxxxxx xxxxxxx" "xxxxxxxxxxxxxxxxxxxxxx x     x" "xxxx       xxxxxxx  xx x x xxx" "xxxx xx xxx xxxxx xx x x x xxx" "xxxx xxx xxx       x x xx x  x" "xxxx xx xxx xxxxx xx x xxxxxxx" "xxxx       xxxxxxx  xx x   x x" "xxxxxxxxxxxxxxxxxxxxxx x x x x" "xxxxxxxxxxxxxxxxxxxxxx x x x x" "xxxxxxxxxxxxxxxxxxxxxx x x   x"))) (make-problem "19990916bCAR (10)" (quote ((30) (30) (30) (7 7 6) (6 5 5) (5 3 3 3 4) (5 5 1 5 4) (5 6 6 4) (5 15 4) (5 5 5 4) (6 4 4 5) (6 3 3 5) (7 4 4 6) (8 3 3 7) (9 5 8) (9 3 8) (10 1 9) (11 10) (12 11) (13 12) (14 13) (15 8 3) (23 3 2) (7 12 3 1) (7 2) (7 2) (7 1 1 12 3 1) (7 1 13 3 2) (24 3) (30))) (quote ((30) (30) (30) (30) (30) (5 20) (4 18) (3 10 2) (3 3 9 4) (3 5 7 2) (3 6 6 4) (3 8 5 3) (4 8 5 4) (5 8 4 4) (6 1 4 3 4) (7 1 3 2 4) (6 1 4 3 4) (5 8 4 4) (4 8 5 4) (3 8 6 4) (3 6 7 4) (3 5 8 4) (3 3 10 4) (3 9 1 1 2) (4 9 1 1 1) (5 11 2 2 1) (21 2 2 1) (22 4 2) (23 2 3) (24 4))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxx     xxxxxxxxxxxxxxxxxxxx" "xxxx        xxxxxxxxxxxxxxxxxx" "xxx          xxxxxxxxxx     xx" "xxx   xxx     xxxxxxxxx   xxxx" "xxx  xxxxx      xxxxxxx     xx" "xxx  xxxxxx      xxxxxx   xxxx" "xxx  xxxxxxxx     xxxxx    xxx" "xxxx  xxxxxxxx     xxxxx  xxxx" "xxxxx  xxxxxxxx     xxxx  xxxx" "xxxxxx  x   xxxx     xxx  xxxx" "xxxxxxx x     xxx     xx  xxxx" "xxxxxx  x   xxxx     xxx  xxxx" "xxxxx  xxxxxxxx     xxxx  xxxx" "xxxx  xxxxxxxx     xxxxx  xxxx" "xxx  xxxxxxxx     xxxxxx  xxxx" "xxx  xxxxxx      xxxxxxx  xxxx" "xxx  xxxxx      xxxxxxxx  xxxx" "xxx   xxx     xxxxxxxxxx  xxxx" "xxx          xxxxxxxxx x  x xx" "xxxx        xxxxxxxxx x    x x" "xxxxx     xxxxxxxxxxx xx  xx x" "xxxxxxxxxxxxxxxxxxxxx xx  xx x" "xxxxxxxxxxxxxxxxxxxxxx xxxx xx" "xxxxxxxxxxxxxxxxxxxxxxx xx xxx" "xxxxxxxxxxxxxxxxxxxxxxxx  xxxx"))) (make-problem "19990920-BBA (11)" (quote ((6) (3 2 1 2) (1 1 1 4 4) (3 1 1 1 2 3) (8 2 2 1 4) (11 8 2) (1 1 1 6 9 1) (1 24) (1 2 12 4 3) (4 1 1 1 1 1 3 7 1) (1 5 3 5 4 1 2) (3 5 2 4 7 1) (3 1 5 1 1 4 2 1) (1 4 3 4 5 7) (1 1 3 4 1 3 2 3 1) (4 1 6 4 9) (7 1 2 2 4 3) (3 4 2 2 2 1 3 2) (3 1 1 1 2 2 1 8) (2 3 3 4 1 3 1 1) (3 2 2 1 2 2 1 4) (2 1 3 3 2 4 2) (1 1 3 3 2 1 1 1) (1 1 1 1 1 3 1) (1 3 1 1) (2 6) (5 6) (3 5 2 1 1) (1 3 1 1 2 4) (2 3 3 4 1))) (quote ((4) (4 2 1) (2 6 6) (1 3 1 4 2) (2 3 3 5 1) (1 2 2 5 1 1) (4 4 1 1 3 1 1) (1 2 1 4 3 4 2) (1 7 5 3 2 1) (5 2 8 3 1 1) (1 8 1 2 4 1 1) (1 1 5 2 4 1 2) (2 6 1 1 6 4) (3 6 1 3 8) (1 2 4 2 3 4 2) (3 1 6 14) (1 1 2 2 4 4 2 1 1) (1 1 7 3 7 2) (2 7 3 7 3 1) (8 2 2 5) (2 3 1 1 2 2 2) (1 9 6 1 2 1) (1 8 2 5 1 1) (11 1 3 1 1 3) (2 10 2 4 1) (4 1 1 6 1 1 1) (2 1 8 5 1) (4 2 4 2 2 1) (2 2 3 3) (3 2))) (quote ("            xxxx              " "         xxxx  xx  x          " "        xx xxxxxx xxxxxx      " "       x xxx x xxxx xx        " "     xx xxx xxx xxxxx x       " "     x xx xx xxxxx x x        " "    xxxx xxxx x x xxx x      x" "  x xx x  xxxx xxx  xxxx    xx" " x xxxxxxx xxxxx xxx xx    x  " " xxxxx xx xxxxxxxx xxx     x x" " x xxxxxxxx x xx xxxx      x x" "x x xxxxx xx xxxx         x xx" "xx xxxxxx  x x xxxxxx    xxxx " "xxx xxxxxx   x   xxx xxxxxxxx " "x xx xxxx xx xxx   xxxx   xx  " "xxx x xxxxxx   xxxxxxxxxxxxxx " "x x xx xx xxxx xxxx     xx x x" " x x xxxxxxx xxx    xxxxxxx xx" " xx xxxxxxx xxx xxxxxxx  xxx x" "  xxxxxxxx   xx xx      xxxxx " "  xx xxx   x x xx        xx xx" "  x xxxxxxxxx xxxxxx x    xx x" "   x xxxxxxxx xx  xxxxx   x  x" "   xxxxxxxxxxx x xxx x x   xxx" "   xx xxxxxxxxxx xx xxxx    x " "    xxxx x x xxxxxx x  x    x " "    xx x xxxxxxxx xxxxx     x " "      xxxx  xx xxxx xx xx    x" "       xx xx xxx xxx          " "        xxx xx                "))) (make-problem "19991002bTPV (12)" (quote ((30) () (2 1) (3 2) (3 3) (1 2 4) (1 1 5) (30) (1 2 4 1) (1 1 4 1) (1 3 1) (1 2 1) (1 1 1) (1 1 1) (30) (1 1 1) (5 1 5) (6 1 1 6) (6 1 6) (4 1 1 4) (1 1 1) (30) (4 1) (4 5) (2 1 6) (1 2 6) (4 4) (4) (30) (1 1))) (quote ((1 1 1 1 1) (1 1 1 2 1 1) (1 1 1 4 1 1) (1 1 1 4 1 1) (1 1 1 4 1 1) (1 1 1 4 1 1) (1 17 1 1) (1 3 1 1 1 1) (1 3 1 1 1 1 1) (1 4 1 1 1) (1 3 1 1 2 2) (1 1 1 10) (1 1 1 3 3) (1 1 1 11) (1 1 1 2 2 1) (1 1 1 1 1) (1 1 1 1 2 1) (1 1 1 1 4 1) (1 1 1 1 4 1) (1 1 1 1 4 1) (1 1 1 1 4 1) (1 1 17 1) (1 5 1 1 1) (1 4 1 2 1 1) (1 4 1 4 1 1) (1 4 1 4 1 1) (1 4 1 4 1 1) (1 5 1 4 1 1) (1 17 1 1) (1 1 1 1 1))) (quote ("x      x      x      x      x " "x      x      x  xx  x      x " "x      x      x xxxx x      x " "x      x      x xxxx x      x " "x      x      x xxxx x      x " "x      x      x xxxx x      x " "x xxxxxxxxxxxxxxxxx  x      x " "x xxx  x      x      x      x " "x  xxx x      x  x   x      x " "x    xxxx     x      x      x " "x      xxx    x      x xx  xx " "x      x      x     xxxxxxxxxx" "x      x      x      xxx  xxx " "x      x      x    xxxxxxxxxxx" "x      x      x      xx  xx x " "x      x      x      x      x " "x      x      x      x  xx  x " "x      x      x      x xxxx x " "x      x      x      x xxxx x " "x      x      x      x xxxx x " "x      x      x      x xxxx x " "x      x xxxxxxxxxxxxxxxxx  x " "x      xxxxx  x      x      x " "x      xxxx   x  xx  x      x " "x     xxxx    x xxxx x      x " "x    xxxx     x xxxx x      x " "x   xxxx      x xxxx x      x " "x  xxxxx      x xxxx x      x " "x xxxxxxxxxxxxxxxxx  x      x " "x      x      x      x      x "))) (make-problem "19991012-LSA (13)" (quote ((16 13) (4 4 5 4 3 1) (2 1 2 5 2 2 1) (4 2 2 3 1 3 3) (5 1 3 3 2 4 3) (1 2 1 1 2 2 2 3) (2 2 1 2 2 1 2 3) (3 1 2 2 2 1 2 4) (1 2 2 2 1 2 1 2 5) (2 1 1 2 1 2 2 1 1 1) (3 2 2 2 2 1 1 1) (4 1 1 1 1 1 1 3) (5 2 3 1 2 1 2 4) (1 2 2 2 1 1 1 5) (3 1 1 1 1 2 2 2 1) (7 3 1 1 2 1 4) (7 2 1 2 1 1 1) (3 2 1 1 1 2 3 1 1) (1 1 1) (1 1 22 1 1) (3 1 1 3) (2 2 1 1 1 3 1 1 3 1 3) (2 2 1 1 1 1 1 1 1 1 1 1 2) (2 2 1 3 1 1 3 1 1 5) (2 2 5) (6 6) (7 7) (8 8) (9 9) (10 10))) (quote ((30) (5 2 4 4 10) (2 2 2 3 4 2 5) (2 3 1 2 2 9) (1 3 1 1 2 11) (3 3 1 1 2 1 5) (2 1 1 2 1 3 1 1 1 4) (2 3 1 1 1 1 1 1 3) (2 2 2 1 1 1 1 2) (1 2 3 4 1 2 1) (1 3 3 2 1 1 1) (1 3 3 1 1 1) (2 1 2 2 1 1 1) (3 3 4 1 2) (4 1 1 1) (5 12 1 1) (10 1 1 1) (1 1 2 1 4 1 2) (1 8 1 1 1) (3 7 1 1) (6 1 1 1 1 1 1) (2 1 7 1 2 2) (2 1 4 1 1 1 3) (1 5 1 1 1 1 1 4) (1 5 3 1 1 1 5) (5 2 1 1 11) (2 2 2 2 7) (2 6 4 1 5 7) (1 6 3 1 10) (10 19))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxx xx xxxx xxxx  xxxxxxxxxx" "xx xx  xx xxx xxxx xx    xxxxx" "xx xxx  x  xx  xx    xxxxxxxxx" "x   xxx  x  x  xx  xxxxxxxxxxx" "xxx   xxx x  x xx  x     xxxxx" "xx x    x xx x xxx x x x  xxxx" "xx xxx   x  x x  x x  x    xxx" "xx    xx    xx x   x x x    xx" "x xx   xxx   xxxx  x  xx     x" "x xxx   xxx    xx  x x x      " "x   xxx   xxx    x x  x       " "xx  x xx    xx     x x x      " "xxx    xxx  xxxx   x xx       " "xxxx               x x x      " "xxxxx xxxxxxxxxxxx x  x       " " xxxxxxxxxx        x x x      " "x x xx      x xxxx x  xx      " "x        xxxxxxxx  x x x      " "xxx xxxxxxx        x  x       " "xxxxxx        x  x x x x     x" "xx      x  xxxxxxx x xx     xx" "xx  x  xxxx        x x x   xxx" "x  xxxxx    x x  x x  x   xxxx" "x xxxxx   xxx x  x x     xxxxx" "xxxxx   xx   x   x xxxxxxxxxxx" "xx     xx   xx xx      xxxxxxx" "xx xxxxxx xxxx x xxxxx xxxxxxx" "x  xxxxxx  xxx x    xxxxxxxxxx" "xxxxxxxxxx xxxxxxxxxxxxxxxxxxx"))) (make-problem "19991028-BDH (14)" (quote ((7 7) (9 9) (11 11) (12 12) (12 12) (12 12) (12 12) (12 12) (30) (28) (8 4 8) (5 1 2 1 5) (2 3 3 2) (3 3 3 3) (2 3 3 2) (2 3 3 2) (3 3 3 3) (3 1 1 3) (2 2) (2 2) (2 4 2) (2 6 2) (2 4 2) (1 1) (1 1 1 1) (2 14 2) (2 10 2) (3 4 3) (3 3) (10))) (quote ((7) (9) (11) (12 7) (12 13) (18 2) (14 2) (12 1) (11 2 2) (10 5 1 1) (8 7 2 2) (7 5 2 1) (2 1 2 1) (3 3 3 1) (4 3 3 1) (4 3 3 1) (3 3 3 1) (2 1 2 1) (7 5 2 1) (8 7 2 2) (10 5 1 1) (11 2 2) (12 1) (14 2) (18 2) (12 13) (12 7) (11) (9) (7))) (quote ("  xxxxxxx                     " " xxxxxxxxx                    " "xxxxxxxxxxx                   " "xxxxxxxxxxxx    xxxxxxx       " "xxxxxxxxxxxx xxxxxxxxxxxxx    " "xxxxxxxxxxxxxxxxxx       xx   " "xxxxxxxxxxxxxx            xx  " "xxxxxxxxxxxx               x  " "xxxxxxxxxxx             xx xx " " xxxxxxxxxx xxxxx        x  x " "  xxxxxxxx xxxxxxx       xx xx" "   xxxxxxx  xxxxx        xx  x" "        xx           x   xx  x" "        xxx         xxx  xxx x" "        xxxx        xxx  xxx x" "        xxxx        xxx  xxx x" "        xxx         xxx  xxx x" "        xx           x   xx  x" "   xxxxxxx  xxxxx        xx  x" "  xxxxxxxx xxxxxxx       xx xx" " xxxxxxxxxx xxxxx        x  x " "xxxxxxxxxxx             xx xx " "xxxxxxxxxxxx               x  " "xxxxxxxxxxxxxx            xx  " "xxxxxxxxxxxxxxxxxx       xx   " "xxxxxxxxxxxx xxxxxxxxxxxxx    " "xxxxxxxxxxxx    xxxxxxx       " "xxxxxxxxxxx                   " " xxxxxxxxx                    " "  xxxxxxx                     "))) (make-problem "19991101-SHE (15)" (quote ((4) (2 2) (1 2) (2 1 3) (2 3) (2 1 3) (3 3) (3 4) (5 4) (1 7) (2 7) (2 8) (2 4) (1 2 2 2) (1 2 3 4) (3 3 4 7) (3 4 4 2) (8 7 1) (6 11 1) (5 8 3) (5 8) (17) (17) (16) (15) (14) (13) (11) (9) (5))) (quote (() (3) (3) (5) (5) (7) (9) (11) (1 4 8) (5 8) (3 8) (9) (9) (9) (3 11) (4 8 13) (8 16) (2 3 15) (1 1 3 13) (1 1 3 11) (2 1 4 8) (14 6) (14 1) (9 2 1) (5 2 1) (2 1 1) (1 1 1) (1 2 1) (5) ())) (quote ("                              " "             xxx              " "               xxx            " "               xxxxx          " "                xxxxx         " "                 xxxxxxx      " "                 xxxxxxxxx    " "                xxxxxxxxxxx   " "             x xxxx xxxxxxxx  " "             xxxxx   xxxxxxxx " "              xxx    xxxxxxxx " "                     xxxxxxxxx" "                     xxxxxxxxx" "                     xxxxxxxxx" "          xxx      xxxxxxxxxxx" "   xxxx xxxxxxxx xxxxxxxxxxxxx" " xxxxxxxx    xxxxxxxxxxxxxxxx " "xx    xxx     xxxxxxxxxxxxxxx " "x  x   xxx     xxxxxxxxxxxxx  " "x    x  xxx     xxxxxxxxxxx   " "xx x     xxxx    xxxxxxxx     " " xxxxxxxxxxxxxx  xxxxxx       " "  xxxxxxxxxxxxxx  x           " "    xxxxxxxxx xx  x           " "       xxxxx  xx  x           " "          xx   x  x           " "           x   x   x          " "           x   xx  x          " "               xxxxx          " "                              "))) (make-problem "19991105bBDH (16)" (quote ((1) (1 1) (1 1) (1 1 1) (1 1 2) (2 3) (1 1 1) (2 1) (4 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 1 4) (1 1 1 1) (1 1 1 1) (4 1 1 1 1) (6 1 1 5) (7 1 1 4) (4 1 1 6) (17) (16) (14))) (quote ((2) (2) (3) (3) (2) (3) (3) (4) (5) (3) (22) (1 3) (3 1 3) (1 1 1 3) (1 4 3) (3 1 3) (1 3) (1 3) (2 3) (27) (3) (4) (3) (2) (2) (6) (1 3) (1 1) (1 1) (5))) (quote ("                       xx     " "                       xx     " "                       xxx    " "                       xxx    " "                        xx    " "                        xxx   " "                         xxx  " "                         xxxx " "                         xxxxx" "                           xxx" "        xxxxxxxxxxxxxxxxxxxxxx" "        x                  xxx" "  xxx   x                  xxx" " x   x  x                  xxx" "x   xxxx                   xxx" " xxx   x                   xxx" "      x                    xxx" "     x                     xxx" "    xx                     xxx" "   xxxxxxxxxxxxxxxxxxxxxxxxxxx" "                           xxx" "                          xxxx" "                          xxx " "                         xx   " "                         xx   " "                     xxxxxx   " "                    x   xxx   " "                    x   x     " "                    x   x     " "                    xxxxx     "))) (make-problem "19991113aBAR (17)" (quote ((11) (15) (18) (20) (22) (24) (25) (27) (24 2) (5 4 1) (2 2 1) (1 5 5 1 1) (6 2 2 5 2) (4 6 7) (2 18 2) (2 3 3 2) (8 3 3 6) (6 7 8) (4 3 2 2 4 4) (3 5 6 2) (2 3 4 3 2) (2 13 1) (2 4 4 1) (2 1) (2 1 2) (3 2 3) (4 1 1 3 1 3) (6 1 1 2 4) (11 2 2 11) (30))) (quote ((12) (3 13) (3 8 5) (3 7 4) (5 2 2 3) (6 3 3 5) (7 2 1 4 2 2) (7 1 3 3 2) (8 1 3 3 2) (8 1 3 3 4) (9 2 1 2 2 2) (9 3 2 2 1) (9 2 1 2 1) (9 2 2 3 2) (9 2 2 2 2) (9 2 2 2 1 1) (9 3 1 3 1 2) (9 2 1 2 2 4) (9 1 3 2 2 1) (9 1 3 4 2) (9 1 3 3 2) (9 2 1 4 2) (9 3 4 2) (8 2 4 3) (9 7 4) (6 8 2) (4 1 3 3) (3 1 3 5) (3 2 4 6) (6 12))) (quote ("                  xxxxxxxxxxxx" "          xxx    xxxxxxxxxxxxx" "        xxx xxxxxxxx     xxxxx" "       xxx  xxxxxxx       xxxx" "     xxxxx  xx  xx         xxx" "    xxxxxx  xxx xxx      xxxxx" "   xxxxxxx xx x xxxx    xx  xx" "  xxxxxxx  x  xxx xxx       xx" " xxxxxxxx  x  xxx  xxx      xx" " xxxxxxxx  x  xxx  xxx    xxxx" "xxxxxxxxx  xx x   xx xx     xx" "xxxxxxxxx   xxx  xx  xx      x" "xxxxxxxxx    xx  x   xx      x" "xxxxxxxxx    xx xx  xxx     xx" "xxxxxxxxx    xx xx  xx      xx" "xxxxxxxxx    xx xx  xx    x  x" "xxxxxxxxx   xxx  x  xxx   x xx" "xxxxxxxxx  xx x  xx  xx   xxxx" "xxxxxxxxx  x  xxx xx xx      x" "xxxxxxxxx  x  xxx  xxxx     xx" "xxxxxxxxx  x  xxx  xxx      xx" " xxxxxxxxx xx x  xxxx       xx" " xxxxxxxxx  xxx xxxx        xx" "  xxxxxxxx  xx  xxxx       xxx" "  xxxxxxxxx xxxxxxx       xxxx" "   xxxxxx xxxxxxxx          xx" "    xxxx     x  xxx        xxx" "     xxx     x  xxx      xxxxx" "      xxx   xx   xxxx   xxxxxx" "       xxxxxx     xxxxxxxxxxxx"))) (make-problem "19991113eBAR (18)" (quote ((6) (1 8) (11 1) (12) (1 6) (2 1 7 1) (1 2 7) (5 10) (6 9) (4 8) (7 8) (5 8) (2 10) (2 2 9) (1 3 13) (1 2 3 8) (6 4 3 5) (1 1 1 4 3) (6 9) (7 8) (8 8) (8 8) (8 5 2) (8 6 1) (18) (17) (16) (14) (12) (10))) (quote ((4) (2 1 1 1) (2 2 2 1 1) (2 4 2 1 1) (11 2 1) (4 7 7) (4 1 5 1 7) (4 3 1 9) (6 1 10) (6 3 17) (17 12) (16 11) (13 1 10) (12 7) (2 11 6) (11 6) (13 6) (2 7 6) (1 1 2 6) (2 7) (3 6) (4 6) (11) (10) (8) (5) (5) (5) (6) (6))) (quote ("             xxxx             " "      xx  x  x  x             " " xx    xx xx  x x             " "  xx xxxx xx  x x             " " xxxxxxxxxxx xx x             " "xxxx   xxxxxxx  xxxxxxx       " "xxxx x  xxxxx  x  xxxxxxx     " "xxxx    xxx    x  xxxxxxxxx   " "xxxxxx        x   xxxxxxxxxx  " "xxxxxx xxx  xxxxxxxxxxxxxxxxx " "xxxxxxxxxxxxxxxxx xxxxxxxxxxxx" " xxxxxxxxxxxxxxxx  xxxxxxxxxxx" "  xxxxxxxxxxxxx x   xxxxxxxxxx" "   xxxxxxxxxxxx        xxxxxxx" "  xx xxxxxxxxxxx        xxxxxx" "      xxxxxxxxxxx       xxxxxx" "     xxxxxxxxxxxxx      xxxxxx" "       xx xxxxxxx       xxxxxx" "       x    x xx        xxxxxx" "              xx       xxxxxxx" "              xxx      xxxxxx " "               xxxx   xxxxxx  " "                xxxxxxxxxxx   " "                xxxxxxxxxx    " "                xxxxxxxx      " "                  xxxxx       " "                 xxxxx        " "                 xxxxx        " "                 xxxxxx       " "                  xxxxxx      "))) (make-problem "19991115aBAR (19)" (quote ((3 11) (3 9) (4 8) (5 6) (6 5) (12 4) (6 3) (8 3) (1 7 2) (8 2) (3 2 2) (2 4 1) (7 1) (10 1) (11 1) (3 4 4 1) (9 4 4) (10 4 1) (9 3 1) (13 1) (13 1) (13 1) (13 2) (8 3 2) (7 4 2) (4 2 1 2 3) (6 3 3) (6 4 4) (5 1 2 5) (4 6))) (quote ((3) (4) (4) (4) (3) (2) (2) (1) (1 2 1 2) (1 1 3 2 5) (6 4 5 6) (11 13) (9 4 9) (27) (25) (6 13 3) (4 12 2) (1 1 3 7) (1 2 6) (1 1 3 6) (1 2 7) (2 2 6) (3 2 3 3) (3 3 2) (4 3 1) (5 1 2) (6 2 3) (8 1 5) (11 1 8) (30))) (quote ("                           xxx" "                          xxxx" "                          xxxx" "                          xxxx" "                          xxx " "                          xx  " "                         xx   " "                         x    " "     x  xx x            xx    " "x    x   xxx   xx    xxxxx    " "xxxxxx xxxx  xxxxx xxxxxx     " "xxxxxxxxxxx xxxxxxxxxxxxx     " " xxxxxxxxx xxxx xxxxxxxxx     " "  xxxxxxxxxxxxxxxxxxxxxxxxxxx " "   xxxxxxxxxxxxxxxxxxxxxxxxx  " "    xxxxxx xxxxxxxxxxxxx  xxx " "     xxxx   xxxxxxxxxxxx   xx " "     x x    xxx xxxxxxx       " "     x       xx  xxxxxx       " "x    x       xxx xxxxxx       " "x             xx   xxxxxxx    " "xx             xx  xxxxxx     " "xxx            xx xxx  xxx    " "xxx             xxx     xx    " "xxxx            xxx          x" "xxxxx            x          xx" "xxxxxx          xx         xxx" "xxxxxxxx        x        xxxxx" "xxxxxxxxxxx     x     xxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))))))
