(unit/sig paint-by-numbers:problem-set^ (import paint-by-numbers:problem^) (define set-name "Kajitani 25x25") (define problems (list (make-problem "19980522-SDN (1)" (quote ((1 1) (1 1 1) (1 1 3) (3 3) (1 1 3) (1 1 5) (5) (7) (7) (9) (11) (15) (17) (19) (19) (19) (17) (15) (11) (7 1) (1 1 1) (3 1 1) (5 3) (9 1 1) (9 1 1))) (quote (() (5) (1 1) (5 3) (5) (7) (7) (9) (10 2) (13 2) (15 3) (18 4) (25) (18 4) (15 3) (13 2) (10 2) (9) (7) (7) (5) (3) (5) (1 1) (5))) (quote ("                         " " xxxxx                   " "x  x                     " " xxxxx       xxx         " "            xxxxx        " "           xxxxxxx       " "           xxxxxxx       " "          xxxxxxxxx      " "         xxxxxxxxxx    xx" "       xxxxxxxxxxxxx   xx" "     xxxxxxxxxxxxxxx  xxx" "  xxxxxxxxxxxxxxxxxx xxxx" "xxxxxxxxxxxxxxxxxxxxxxxxx" "  xxxxxxxxxxxxxxxxxx xxxx" "     xxxxxxxxxxxxxxx  xxx" "       xxxxxxxxxxxxx   xx" "         xxxxxxxxxx    xx" "          xxxxxxxxx      " "           xxxxxxx       " "           xxxxxxx       " "            xxxxx        " "             xxx         " "                    xxxxx" "                   x  x  " "                    xxxxx"))) (make-problem "19980909-YEN (2)" (quote ((10 10) (8 5 8) (5 9 5) (4 7 4 4) (3 7 4 3) (2 7 3 2) (2 8 4 2) (2 9 5 2) (1 16 1) (1 15 1) (14) (12) (11) (9) (7) (1 5 1) (1 4 1) (2 3 1 2) (2 3 3 2) (2 3 5 2) (3 2 3 3) (4 2 1 4) (5 5) (8 8) (10 10))) (quote ((10 10) (8 5 8) (5 9 5) (4 15 4) (3 17 3) (2 19 2) (2 13 1 2) (2 12 2) (1 12 1) (1 12 1) (4 7 1) (3 6 3) (2 4 5) (3 4 3) (4 5 1) (1 8 1) (1 8 1) (2 5 2) (2 2) (2 2) (3 3) (4 4) (5 5) (8 8) (10 10))) (quote ("xxxxxxxxxx     xxxxxxxxxx" "xxxxxxxx  xxxxx  xxxxxxxx" "xxxxx   xxxxxxxxx   xxxxx" "xxxx xxxxxxxxxxxxxxx xxxx" "xxx xxxxxxxxxxxxxxxxx xxx" "xx xxxxxxxxxxxxxxxxxxx xx" "xx xxxxxxxxxxxxx     x xx" "xx xxxxxxxxxxxx        xx" "x xxxxxxxxxxxx          x" "x xxxxxxxxxxxx          x" " xxxx xxxxxxx      x     " " xxx   xxxxxx     xxx    " " xx     xxxx     xxxxx   " " xxx   xxxx       xxx    " " xxxx xxxxx        x     " "x xxxxxxxx              x" "x xxxxxxxx              x" "xx  xxxxx              xx" "xx                     xx" "xx                     xx" "xxx                   xxx" "xxxx                 xxxx" "xxxxx               xxxxx" "xxxxxxxx         xxxxxxxx" "xxxxxxxxxx     xxxxxxxxxx"))) (make-problem "19990924-VAL (3)" (quote (() () (1) (1) (1) (10) (12) (6 3 3) (3 2 1 1 1 2) (2 1 1 1 1 2 1) (1 3 3 4) (6 7) (7 2 4) (2 7 2 1) (2 10 1) (6 8) (5 7) (2 7 2) (1 7 1) (11) (4 4) (4 4) (2 6) (1 5) (5))) (quote (() () () () () (3 4) (3 7) (3 3 5) (3 8 4) (4 14) (5 11 1) (3 5 8) (4 3 7 3) (1 3 15) (5 14) (3 2 10) (2 9 4) (3 11) (3 3 3) (3 5) () () () () ())) (quote ("                         " "                         " "                         " "                         " "                         " "        xxx xxxx         " "       xxx xxxxxxx       " "      xxx xxx  xxxxx     " "     xxx xxxxxxxx  xxxx  " "     xxxx xxxxxxxxxxxxxx " "     xxxxx xxxxxxxxxxx  x" "     xxx  xxxxx  xxxxxxxx" "   xxxx xxx  xxxxxxx  xxx" "  x  xxx  xxxxxxxxxxxxxxx" "     xxxxx xxxxxxxxxxxxxx" "     xxx  xx  xxxxxxxxxx " "     xx xxxxxxxxx  xxxx  " "     xxx xxxxxxxxxxx     " "      xxx xxx  xxx       " "       xxx xxxxx         " "                         " "                         " "                         " "                         " "                         "))) (make-problem "19991020aSHE (4)" (quote ((20 2) (3 14 2) (2 11 2) (1 9 3) (2 9 3) (3 9 4) (12 4) (8 5) (7 6) (6 7) (5 8) (5 9) (7 9) (7 6) (7 4) (3 2 3) (2 4 3) (3 3 3) (1 6) (2 6) (1 6) (2 1 6) (2 1 8) (1 11) (13))) (quote ((25) (3 14 1 2 1) (2 11 1 2) (1 9 3) (2 10 2) (3 6 3 3) (9 4 4) (8 2 3) (7 2 5) (7 9) (7 9) (7 7) (6 7) (5 5) (4 4) (3 3) (2 6) (2 6) (1 6) (1 7) (7) (9) (10) (13) (13))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxx" "xxx xxxxxxxxxxxxxx x xx x" "xx   xxxxxxxxxxx x     xx" "x     xxxxxxxxx       xxx" "xx   xxxxxxxxxx        xx" "xxx xxxxxx  xxx       xxx" "xxxxxxxxx   xxxx     xxxx" "xxxxxxxx       xx     xxx" "xxxxxxx         xx  xxxxx" "xxxxxxx         xxxxxxxxx" "xxxxxxx         xxxxxxxxx" "xxxxxxx           xxxxxxx" "xxxxxx            xxxxxxx" "xxxxx            xxxxx   " "xxxx            xxxx     " "xxx            xxx       " "xx         xxxxxx        " "xx        xxxxxx         " "x        xxxxxx          " "x       xxxxxxx          " "       xxxxxxx           " "     xxxxxxxxx           " "   xxxxxxxxxx            " "xxxxxxxxxxxxx            " "xxxxxxxxxxxxx            "))))))