(unit (import paint-by-numbers:problem^) (export paint-by-numbers:problem-set^) (define set-name "Kajitani 40x35") (define problems (list (make-problem "19981012-TAB (1)" (quote ((12 13 13) (9 10) (12 13 13) (9 10) (13 9 14) (12 13 13) (12 13 13) (11 15 12) (11 11 12) (11 5 12) (11 1 12) (11 12) (12 13) (13 14) (14 15) (16 17) (18 19) (18 1 19) (18 19) (16 3 17) (14 3 3 15) (13 11 14) (12 6 6 13) (11 7 7 12) (11 6 6 12) (11 5 5 12) (11 4 4 12) (11 3 3 12) (12 1 1 13) (12 13) (13 14) (9 10) (12 13 13) (9 10) (12 13 13))) (quote ((35) (35) (35) (35) (35) (35) (35) (35) (35) (1 1 27 1 1) (1 1 27 1 1) (1 1 3 11 3 1 1) (1 1 9 5 1) (1 1 3 7 7 1 1) (1 1 4 5 7 1 1) (1 1 5 5 6 1 1) (1 1 5 3 6 1 1) (1 1 6 3 5 1 1) (1 1 6 5 1 1) (1 1 7 1 1 1 1 1) (1 1 6 5 1 1) (1 1 6 3 5 1 1) (1 1 5 3 6 1 1) (1 1 5 5 6 1 1) (1 1 4 5 7 1 1) (1 1 3 7 7 1 1) (1 1 9 5 1) (1 1 3 11 3 1 1) (1 1 27 1 1) (1 1 27 1 1) (35) (35) (35) (35) (35) (35) (35) (35) (35) (35))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "x x xxxxxxxxxxxxxxxxxxxxxxxxxxx x x" "x x xxxxxxxxxxxxxxxxxxxxxxxxxxx x x" "x x xxx     xxxxxxxxxxx     xxx x x" "    x  x     xxxxxxxxx xxxxx  x    " "x x  xxx      xxxxxxx xxxxxxx   x x" "x x  xxxx      xxxxx xxxxxxx    x x" "x x xxxxx      xxxxx xxxxxx     x x" "x x xxxxx       xxx xxxxxx      x x" "x x xxxxxx      xxx xxxxx       x x" "x x xxxxxx         xxxxx        x x" "x x xxxxxxx      x x x          x x" "x x xxxxxx         xxxxx        x x" "x x xxxxxx      xxx xxxxx       x x" "x x xxxxx       xxx xxxxxx      x x" "x x xxxxx      xxxxx xxxxxx     x x" "x x  xxxx      xxxxx xxxxxxx    x x" "x x  xxx      xxxxxxx xxxxxxx   x x" "    x  x     xxxxxxxxx xxxxx  x    " "x x xxx     xxxxxxxxxxx     xxx x x" "x x xxxxxxxxxxxxxxxxxxxxxxxxxxx x x" "x x xxxxxxxxxxxxxxxxxxxxxxxxxxx x x" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19981216-JTR (2)" (quote ((40) (14 10 14) (3 7 8 7 3) (2 1 1 4 8 4 2 2) (1 2 4 1 4 6 4 5 1) (2 1 4 4 4 2 1 1) (3 2 2 1 3 4 3 1 2 2 3) (2 1 2 3 1 3 2 3 1 1 1 2 1) (1 2 3 1 2 2 2 1 3 1 2 1) (2 3 2 2 1 1 2 1 1 2 2 2 2) (1 1 1 1 1 2 1 1 1 1 1 1 1 1 1) (2 6 1 1 1 1 6 1 2) (1 1 2 1 3 1 1 1 1 1 2 1) (1 1 4 2 1 2 2 6 1 1) (2 2 1 1 4 2 1 3 1 1 2) (3 3 3 1 2 1 3 2 3) (4 2 1 3 2 5 3 4) (5 2 7 2 1 3 3 5) (6 2 2 2 6) (5 7 2 7 5) (5 5 1 2 1 5 5) (5 2 1 1 1 2 1 1 5) (4 1 1 1 5 2 6 1 2 4) (4 1 4 1 1 2 1 1 4 4) (4 2 1 1 1 1 2 1 1 1 3 4) (4 1 1 2 1 1 2 2 1 2 1 1 4) (4 1 1 2 1 2 2 1 2 1 4) (4 2 1 1 1 1 1 1 2 1 2 4) (5 3 1 1 2 2 1 1 2 5) (6 1 1 1 8 1 2 1 6) (7 5 8 1 7) (8 10 8) (40) (40) (40))) (quote ((5 23) (4 5 21) (3 1 2 1 2 20) (2 3 2 2 19) (2 1 1 1 1 1 5 7) (2 1 3 1 1 1 1 3 6) (2 2 4 1 3 2 2 1 5) (2 1 2 1 1 3 3 3 4) (3 1 3 1 2 1 2 2 3) (3 2 1 5 1 1 2 3 1 3) (3 1 3 1 1 1 1 1 1 2 1 1 3) (4 1 2 2 1 1 1 1 3 2 3) (5 1 2 2 2 1 1 2 1 3) (6 1 2 1 1 1 1 6 1 3) (1 5 1 1 3 1 1 1 1 3) (2 4 1 1 2 2 2 3 3 4) (4 4 1 1 1 2 1 1 2 6) (5 3 1 2 1 1 7) (7 2 8) (10 13 6) (10 13 6) (7 2 8) (5 3 3 1 1 1 7) (4 4 1 2 1 1 2 2 6) (2 4 1 1 2 2 2 3 3 4) (1 5 1 1 1 1 1 1 1 1 3) (6 1 1 1 2 1 6 3) (5 1 2 3 1 1 1 3 3) (4 2 2 1 1 1 1 3 2 3) (3 1 1 1 1 1 1 2 2 3) (3 2 1 1 4 1 1 1 3 3) (3 1 5 1 3 1 1 1 2 3) (2 1 1 1 1 2 2 1 2 4) (2 2 2 1 1 1 1 1 1 1 1 5) (2 3 1 3 1 1 1 2 6) (2 1 1 1 3 5 7) (2 1 1 1 2 19) (3 2 1 1 20) (4 4 21) (5 23))) (quote #f)) (make-problem "19990420-DRA (3)" (quote ((40) (40) (40) (6 2 30) (6 29) (5 1 28) (4 1 2 27) (3 3 26) (2 5 25) (1 5 24) (1 5 5 23) (2 7 5 6 4 3) (11 5 2 1 2) (11 6 4 1) (11 4 2 1) (11 1 1 1 1 1) (11 1 1 1) (10 1 2) (9 1 2) (7 2 1 1) (6 4 3 1 1) (5 2 10 4 1) (4 5 11 5 1) (4 5 10 1 3 2) (5 4 11 2 5) (6 3 11 4 5) (7 3 11 5 5) (7 2 11 5 6) (8 2 11 5 6) (9 2 11 5 6) (12 11 4 6) (12 11 4 5) (11 13 3 6) (40) (40))) (quote ((35) (9 24) (8 23) (7 24) (6 12 11) (5 11 10) (3 10 9) (4 1 9 2 7) (4 9 3 6) (3 1 7 6 5) (4 5 5 14) (5 5 10 2) (6 5 1 2) (7 6 2) (8 6 7 3) (9 6 13) (10 4 14) (11 4 14) (11 14) (11 14) (11 14) (12 14) (12 15) (12 15) (12 15) (12 3 4) (12 3) (11 4 2) (11 11) (11 12) (11 10) (12 7 2) (13 2) (13 3 2) (12 1 5 4 3) (11 1 20) (11 3 14) (12 4 2 1 11) (13 2 12) (35))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxx  xxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxx    xxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxx    xxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxx    xxxxxxxxxxxx  xxxxxxxxxxx" "xxxxx     xxxxxxxxxxx    xxxxxxxxxx" "xxx       xxxxxxxxxx      xxxxxxxxx" "xxxx  x   xxxxxxxxx   xx    xxxxxxx" "xxxx      xxxxxxxxx   xxx    xxxxxx" "xxx     x  xxxxxxx   xxxxxx   xxxxx" "xxxx xxxxx  xxxxx    xxxxxxxxxxxxxx" "xxxxx xxxxx           xxxxxxxxxx xx" "xxxxxx xxxxx x                   xx" "xxxxxxx xxxxxx                   xx" "xxxxxxxx xxxxxx         xxxxxxx xxx" "xxxxxxxxx xxxxxx      xxxxxxxxxxxxx" "xxxxxxxxxx xxxx      xxxxxxxxxxxxxx" "xxxxxxxxxxx xxxx     xxxxxxxxxxxxxx" "xxxxxxxxxxx          xxxxxxxxxxxxxx" "xxxxxxxxxxx          xxxxxxxxxxxxxx" "xxxxxxxxxxx          xxxxxxxxxxxxxx" "xxxxxxxxxxxx         xxxxxxxxxxxxxx" "xxxxxxxxxxxx        xxxxxxxxxxxxxxx" "xxxxxxxxxxxx        xxxxxxxxxxxxxxx" "xxxxxxxxxxxx        xxxxxxxxxxxxxxx" "xxxxxxxxxxxx        xxx        xxxx" "xxxxxxxxxxxx                    xxx" "xxxxxxxxxxx               xxxx   xx" "xxxxxxxxxxx             xxxxxxxxxxx" "xxxxxxxxxxx            xxxxxxxxxxxx" "xxxxxxxxxxx              xxxxxxxxxx" "xxxxxxxxxxxx             xxxxxxx xx" "xxxxxxxxxxxxx                    xx" "xxxxxxxxxxxxx       xxx          xx" "xxxxxxxxxxxx x     xxxxx   xxxx xxx" "xxxxxxxxxxx  x xxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxx xxx      xxxxxxxxxxxxxx" "xxxxxxxxxxxx xxxx  xx x xxxxxxxxxxx" "xxxxxxxxxxxxx    xx    xxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))))))
