(unit/sig paint-by-numbers:problem-set^ (import paint-by-numbers:problem^) (define set-name "Kajitani 25x30") (define problems (list (make-problem "19980714-GAS (1)" (quote (() (3) (4) (4) (5) (4) (3) (4 2 4) (8 8) (20) (21) (20) (20) (20) (19) (19) (19) (19) (20) (21) (21) (22) (22) (20) (18) (16) (14) (3 3) () ())) (quote (() (8) (13) (15) (17) (18) (20) (21) (21) (21) (19) (19) (4 18) (5 18) (5 19) (5 19) (4 21) (2 21) (21) (20) (6 8) (4 6) (2 4) (2) ())) (quote ("                              " "            xxxxxxxx          " "          xxxxxxxxxxxxx       " "         xxxxxxxxxxxxxxx      " "        xxxxxxxxxxxxxxxxx     " "        xxxxxxxxxxxxxxxxxx    " "       xxxxxxxxxxxxxxxxxxxx   " "       xxxxxxxxxxxxxxxxxxxxx  " "       xxxxxxxxxxxxxxxxxxxxx  " "       xxxxxxxxxxxxxxxxxxxxx  " "        xxxxxxxxxxxxxxxxxxx   " "        xxxxxxxxxxxxxxxxxxx   " "    xxxx xxxxxxxxxxxxxxxxxx   " "   xxxxx xxxxxxxxxxxxxxxxxx   " "  xxxxx xxxxxxxxxxxxxxxxxxx   " " xxxxx  xxxxxxxxxxxxxxxxxxx   " " xxxx  xxxxxxxxxxxxxxxxxxxxx  " " xx    xxxxxxxxxxxxxxxxxxxxx  " "       xxxxxxxxxxxxxxxxxxxxx  " "       xxxxxxxxxxxxxxxxxxxx   " "        xxxxxx    xxxxxxxx    " "        xxxx       xxxxxx     " "         xx         xxxx      " "                     xx       " "                              "))) (make-problem "19980716cGAS (2)" (quote (() (7) (3 3) (2 3 2) (2 3 3 2) (1 2 2 1) (1 2 2 1) (1 1 1 1) (1 1 1 1) (1 1 7 1 1) (1 2 2 1) (3 3) (2 2) (2 5 2) (1 4 4 1) (2 5 5 2) (1 2 7 2 1) (1 3 5 3 1) (1 6 6 1) (1 5 5 1) (1 1 2 2 1 1) (1 5 5 1) (1 6 6 1) (2 3 5 3 2) (1 2 7 2 1) (2 5 5 2) (2 4 4 2) (2 5 2) (3 3) (9))) (quote (() () (9) (3 3) (2 2) (9 5 2) (2 1 4 4 2) (2 6 5 5 1) (1 2 1 2 7 2 2) (2 2 1 3 5 3 1) (1 1 1 6 6 1) (1 2 1 5 5 1) (1 1 1 1 2 2 1 1) (1 2 1 5 5 1) (1 1 1 6 6 1) (2 2 1 3 5 3 1) (1 2 1 2 7 2 2) (2 6 5 5 1) (2 1 4 4 2) (9 5 2) (2 2) (3 3) (9) () ())) (quote ("                              " "                              " "               xxxxxxxxx      " "             xxx       xxx    " "            xx           xx   " "    xxxxxxxxx     xxxxx   xx  " "   xx      x    xxxx xxxx  xx " "  xx  xxxxxx   xxxxx xxxxx  x " "  x  xx   x   xx xxxxxxx xx xx" " xx xx   x    xxx xxxxx xxx  x" " x  x    x   xxxxxx   xxxxxx x" " x xx    x   xxxxx     xxxxx x" " x x     x   x  xx     xx  x x" " x xx    x   xxxxx     xxxxx x" " x  x    x   xxxxxx   xxxxxx x" " xx xx   x    xxx xxxxx xxx  x" "  x  xx   x   xx xxxxxxx xx xx" "  xx  xxxxxx   xxxxx xxxxx  x " "   xx      x    xxxx xxxx  xx " "    xxxxxxxxx     xxxxx   xx  " "            xx           xx   " "             xxx       xxx    " "               xxxxxxxxx      " "                              " "                              "))) (make-problem "19980802-JON (3)" (quote (() (1) (3) (4) (4) (4) (3) (2) (7 6) (18) (20) (22) (21) (20) (19) (19) (19) (19) (19) (20) (21) (21) (21) (19) (19) (17) (15) (13) (4 4) ())) (quote (() (10) (13) (16) (18) (19) (20) (21) (21) (21) (21) (19) (19) (3 19) (25) (4 21) (4 21) (4 21) (2 20) (19) (5 7) (3 5) (1 2) () ())) (quote ("                              " "           xxxxxxxxxx         " "          xxxxxxxxxxxxx       " "         xxxxxxxxxxxxxxxx     " "        xxxxxxxxxxxxxxxxxx    " "        xxxxxxxxxxxxxxxxxxx   " "        xxxxxxxxxxxxxxxxxxxx  " "        xxxxxxxxxxxxxxxxxxxxx " "        xxxxxxxxxxxxxxxxxxxxx " "        xxxxxxxxxxxxxxxxxxxxx " "        xxxxxxxxxxxxxxxxxxxxx " "         xxxxxxxxxxxxxxxxxxx  " "         xxxxxxxxxxxxxxxxxxx  " "     xxx xxxxxxxxxxxxxxxxxxx  " "    xxxxxxxxxxxxxxxxxxxxxxxxx " "   xxxx xxxxxxxxxxxxxxxxxxxxx " "  xxxx  xxxxxxxxxxxxxxxxxxxxx " " xxxx   xxxxxxxxxxxxxxxxxxxxx " "  xx    xxxxxxxxxxxxxxxxxxxx  " "        xxxxxxxxxxxxxxxxxxx   " "         xxxxx     xxxxxxx    " "          xxx       xxxxx     " "           x         xx       " "                              " "                              "))) (make-problem "19990723-KHO (4)" (quote ((8 8) (6 6) (4 5 4) (3 7 3) (2 9 2) (1 6 1 1) (1 5 3 1) (4 4) (4 4) (2 4) (3) (3) (3 3) (5 5) (13) (15) (3 9 1) (3 9 3) (3 2 1 4) (3 1 2 3 3) (3 5 5 1) (3 11 1) (3 9 3) (1 3 7 3 1) (1 3 3 1) (2 11 2) (3 8 3) (4 4) (6 6) (8 8))) (quote ((7 7) (5 5) (4 4) (3 5 3) (2 7 2) (2 9 2) (1 3 3 1) (1 4 3 3 1 3 1) (6 6 3 3) (7 6 4 2) (7 7 5 2) (5 9 5 2) (4 5 5 4 2) (3 5 6 1 3 2) (3 4 6 5 2) (2 3 6 5 2) (2 4 1 3 2) (1 3 5 3 1) (1 2 4 3 1) (2 1 3 2 2) (2 1 3 2) (3 3) (4 4) (5 5) (7 7))) (quote ("xxxxxxx                xxxxxxx" "xxxxx                    xxxxx" "xxxx                      xxxx" "xxx              xxxxx     xxx" "xx              xxxxxxx     xx" "xx             xxxxxxxxx    xx" "x             xxx     xxx    x" "x    xxxx    xxx xxx x xxx   x" "    xxxxxx   xxxxxx xxx xxx   " "   xxxxxxx  xxxxxx  xxxx xx   " "  xxxxxxx  xxxxxxx xxxxx xx   " "  xxxxx  xxxxxxxxx xxxxx xx   " "  xxxx xxxxx  xxxxx xxxx xx   " "  xxx xxxxx xxxxxx x xxx xx   " "  xxx xxxx  xxxxxx xxxxx xx   " "   xx xxx   xxxxxx xxxxx xx   " "    xx       xxxx x xxx xx    " "x            xxx xxxxx xxx   x" "x             xx xxxx xxx    x" "xx             x xxx  xx    xx" "xx              x   xxx     xx" "xxx                        xxx" "xxxx                      xxxx" "xxxxx                    xxxxx" "xxxxxxx                xxxxxxx"))) (make-problem "19990920-LLO (5)" (quote ((6) (4 4) (3 3) (2 2) (2 2 2) (2 2 2) (1 2 1) (2 2 2) (1 2 1) (1 4 1) (22) (3 3) (22) (22) (1 1) (1 5 1) (2 2) (20) (12) (8 5) (4 7) (1 2 4 4) (1 2 3 3) (1 2 3 5) (1 2 3 3) (1 2 4 4) (1 2 7) (1 2 5) (1 2) (1 2))) (quote ((4 5) (3 4 2) (2 4 1) (2 4 1) (2 1 2 1) (1 1 2 2) (2 1 1 2 2) (1 2 1 2 3) (2 2 1 2 3) (2 2 2 2 13) (1 4 2 4) (1 3 2 13) (2 2 2 13) (2 1 2 3) (1 1 2 1 3) (2 1 2 1 2) (1 1 2 1 2 5) (2 1 2 1 1 7) (2 4 1 1 9) (2 4 1 3 3) (3 4 2 2 1 2) (4 5 3 1 3) (9) (7) (5))) (quote ("       xxxx xxxxx             " "     xxx  xxxx  xx            " "    xx    xxxx   x            " "   xx     xxxx   x            " "  xx      x xx   x            " "  x       x xx   xx           " " xx x     x xx   xx           " " x  xx    x xx   xxx          " "xx   xx   x xx   xxx          " "xx    xx xx xx   xxxxxxxxxxxxx" "x      xxxx xx   xxxx         " "x       xxx xx   xxxxxxxxxxxxx" "xx       xx xx   xxxxxxxxxxxxx" "xx        x xx   xxx          " " x        x xx x xxx          " " xx       x xx x xx           " "  x       x xx x xx  xxxxx    " "  xx      x xx x x  xxxxxxx   " "   xx     xxxx x x xxxxxxxxx  " "    xx    xxxx   x xxx   xxx  " "     xxx  xxxx  xx xx  x  xx  " "       xxxx xxxxx  xxx x xxx  " "                   xxxxxxxxx  " "                    xxxxxxx   " "                     xxxxx    "))))))