(unit/sig paint-by-numbers:problem-set^ (import paint-by-numbers:problem^) (define set-name "Hattori 1 - 30") (define problems (list (make-problem "Hattori 1" (quote ((5) (1) (3 1) (8) (2 1) (1 6) (1 1 1) (3) (1) (10))) (quote ((1) (4 1) (2 3) (1 2 1) (1 1 1 1) (1 2 1 1) (4 1 1) (1 2 1 1) (1 1 1 1) (5 1))) (quote ("         x" "    xxxx x" "   xx  xxx" "   x  xx x" "x  x x   x" "x xx x   x" "xxxx x   x" "x xx x   x" "x  x x   x" "  xxxxx  x"))) (make-problem "Hattori 2" (quote ((5 1 5) (5 2 6) (15) (4 5) (3 5 2) (3 6 1 2) (3 4 1 2) (3 3) (3 4) (1 1 1 1) (8) () (2) (1 9 1) (2 2 2))) (quote ((10 2) (9 1) (9) (4 2 1) (3 2 1 3) (1 3 1 3) (2 3 1 1) (3 3 1 1) (1 3 1 1) (2 1 1 1) (4 2 1) (4 2 1 1) (4 2) (9 1) (10 2))) (quote ("xxxxxxxxxx   xx" "xxxxxxxxx     x" "xxxxxxxxx      " "xxxx     xx  x " "xxx xx    x xxx" "  x xxx   x xxx" " xx xxx   x  x " "xxx xxx   x  x " "  x xxx   x  x " " xx  x    x  x " "xxxx     xx  x " "xxxx xx x    x " "xxxx   xx      " "xxxxxxxxx     x" "xxxxxxxxxx   xx"))) (make-problem "Hattori 3" (quote ((11) (1 11) (2 3 4 2) (4 2 2) (3 4) (2 3 3 3) (2 1 1 3) (2 1 1 3) (2 3 4) (2 1 4) (3 3 4) (2 2 2 4) (4 6) (11) (9))) (quote ((9) (12) (1 2 4) (4 1 3) (3 1 4) (3 4 2 2) (2 3 2) (2 4 2 2) (3 1 4) (3 1 3) (4 4) (5 7) (2 10) (12) (9))) (quote ("  xxxxxxxxx    " " xxxxxxxxxxxx  " "x  xx     xxxx " "xxxx x      xxx" "xxx  x     xxxx" "xxx  xxxx xx xx" "xx      xxx  xx" "xx   xxxx xx xx" "xxx  x     xxxx" "xxx  x      xxx" "xxxx       xxxx" "xxxxx   xxxxxxx" "xx  xxxxxxxxxx " " xxxxxxxxxxxx  " "  xxxxxxxxx    "))) (make-problem "Hattori 4" (quote ((6) (3 2) (2 1) (2 2) (2 1) (1 1) (2 1) (5 1) (2 4 5) (1 4 2 4) (1 5 1 4) (7 1 5) (7 7) (5 7) (5))) (quote ((5) (2 3) (1 4) (8) (10) (2 7) (2 5) (2) (1 5) (2 2 3) (1 1 4) (1 12) (4 7) (2 7) (1 5))) (quote ("        xxxxx  " "       xx  xxx " "       x  xxxx " "      xxxxxxxx " "    xxxxxxxxxx " "   xx  xxxxxxx " "  xx    xxxxx  " " xx            " " x       xxxxx " "xx      xx  xxx" "x       x  xxxx" "x  xxxxxxxxxxxx" "xxxx    xxxxxxx" "xx      xxxxxxx" "x        xxxxx "))) (make-problem "Hattori 5" (quote ((2 1) (11) (3 3) (2 4) (3 3) (2 2 2 3) (2 2 2 2) (2 1 1 2) (2 2 2 2) (3 2) (1 1 2) (1 4) (1 3 1 1) (1 1 1 2) (6))) (quote ((7) (8) (4 5) (3 1) (2 4 3) (1 2 1 1 1) (1 3) (1 1) (1 2 1 1) (1 4 1) (1 2) (4 1) (5 1) (10) (10))) (quote ("    xxxxxxx    " "  xxxxxxxx     " " xxxx    xxxxx " "xxx           x" "xx   xxxx   xxx" " x   xx x   x x" " x          xxx" " x            x" " x   xx x     x" " x   xxxx    x " " x          xx " "xxxx       x   " " xxxxx     x   " "  xxxxxxxxxx   " "   xxxxxxxxxx  "))) (make-problem "Hattori 6" (quote ((4) (6 1) (2 1 1 2) (5 1 3) (5 1 2 1) (6 1 2 1) (6 3 1) (6 2 2) (4 1 1 2) (2 1 1) (2 2) (7) (1 1) (2 2) (6))) (quote ((1 1) (1 6) (1 7) (9) (8) (2 4) (1 1 6 1) (1 2 2) (8 4) (3 1 1) (2 1 2) (2 4) (2 1 1) (2 2 2) (6 2))) (quote (" x x           " " x xxxxxx      " " x xxxxxxx     " " xxxxxxxxx     " " xxxxxxxx      " "xx  xxxx       " "x x  xxxxxx   x" "x         xx xx" "xxxxxxxx   xxxx" "      xxx  x  x" "     xx    x xx" "    xx     xxxx" "   xx   x  x   " "  xx   xx xx   " "  xxxxxx xx    "))) (make-problem "Hattori 7" (quote ((3) (5) (3 1) (3 3 1) (6 2 1) (7 3) (2 2 1) (1 1 1 1 1) (2 1 1 1 1) (1 1 2 1) (1 1 1) (13) (4 8) (9) (4 3))) (quote ((3 3) (3 2 4) (2 5) (3 2 4) (3 1 1 1) (3 2 4) (3 6) (5 4) (3) (2) (4 2) (6 2) (4 8) (2 1 1) (4))) (quote ("      xxx   xxx" "    xxx xx xxxx" "    xx    xxxxx" "   xxx xx  xxxx" "   xxx   x x x " "   xxx xx  xxxx" "    xxx  xxxxxx" "     xxxxx xxxx" "           xxx " "           xx  " " xxxx      xx  " "xxxxxx     xx  " "xxxx xxxxxxxx  " "xx   x     x   " " xxxx          "))) (make-problem "Hattori 8" (quote ((7) (6 2) (1 3 3) (2 2 2) (2 1) (3 2 1) (3 3 2 1) (1 4 2 1) (1 2 2) (2 2 6) (1 2 1) (1 1 3) (1 4 1) (2 5) (9))) (quote ((4) (3 1 5) (1 2 2 2) (1 2 1 1) (2 1 1 1) (2 3 1 1) (3 1 2 1) (1 1 2 3 1) (1 2 2 1 1) (1 1 2 1 1) (2 1 3) (2 2 1 1) (1 2 3 1) (2 2 1 1) (7 3))) (quote ("      xxxx     " " xxx  x  xxxxx " " x xx xx     xx" " x  xx x      x" "xx   x x      x" "xx   xxx x    x" "xxx   x  xx   x" "x x   xx  xxx x" "x xx   xx   x x" "x  x    xx  x x" "xx       x  xxx" " xx  xx  x   x " "  x  xx  xxx x " "  xx    xx x x " "   xxxxxxx xxx "))) (make-problem "Hattori 9" (quote ((3) (2 2) (1 2) (1 11) (1 2 4) (2 2 2 1) (3 3 1 1) (2 2) (1 1) (1 1) (7) (3 3) (2 2) (3 3) (3 3))) (quote ((5) (2 2) (1 1) (2 2 5) (5 8) (3 2 2 2) (1 1 1) (1 2 2 2) (1 8) (1 5) (4) (3) (2) (4) (1))) (quote (" xxxxx         " "xx   xx        " "x     x        " "xx   xx   xxxxx" " xxxxx xxxxxxxx" "  xxx xx  xx xx" "   x  x   x    " "   x  xx  xx xx" "   x   xxxxxxxx" "   x      xxxxx" "   xxxx        " "   xxx         " "   xx          " "   xxxx        " "   x           "))) (make-problem "Hattori 10" (quote ((7 1) (2 2 1) (1 1 3) (1 1 1 3) (5 2) (13) (15) (3 5) (2 7 1) (3 10) (3 7) (6 2) (2 4) (2 3 2) (1 3 1) (1 3 1) (1 3 1) (2 2) (2 2) (6))) (quote ((5) (5) (3 2) (2 5) (1 2 2 2) (10 2 2) (2 6 1 2 1) (1 7 1 4 1) (2 13 1) (14 1 1) (1 2 5 2) (2 3 2 2) (2 2 2 5) (7 3) (5 4))) (quote ("      xxxxx         " "      xxxxx         " "     xxx xx         " "     xx      xxxxx  " "x    xx     xx   xx " "xxxxxxxxxx xx     xx" "xx  xxxxxx x  xx   x" "x  xxxxxxx x xxxx  x" "xx  xxxxxxxxxxxxx  x" "xxxxxxxxxxxxxx  x  x" "x    xx xxxxx     xx" "     xx xxx xx   xx " "  xx xx  xx  xxxxx  " "xxxxxxx  xxx        " "  xxxxx xxxx        "))) (make-problem "Hattori 11" (quote ((4) (6) (6) (3 6) (3 2 6) (3 6 4) (4 7) (11) (2 13) (1 13) (14) (9 4) (9 2) (8) (7) (6) (5 1) (3 4 3) (5 3 4) (16))) (quote ((5) (4) (3 1) (3 2) (5 3) (8 2) (10 2) (12 2) (13 1) (1 12 1) (14 1) (1 1 12) (12) (3 8) (4 3 1) (6 4 1) (6 3 2) (6 3 3) (6 2 3) (4 4))) (quote ("     xxxxx          " "     xxxx           " "     xxx         x  " "      xxx        xx " "       xxxxx     xxx" "     xxxxxxxx     xx" "    xxxxxxxxxx    xx" "   xxxxxxxxxxxx   xx" "   xxxxxxxxxxxxx   x" "   x xxxxxxxxxxxx  x" "    xxxxxxxxxxxxxx x" "    x x xxxxxxxxxxxx" "        xxxxxxxxxxxx" "        xxx xxxxxxxx" " xxxx   xxx        x" "xxxxxx  xxxx       x" "xxxxxx   xxx      xx" "xxxxxx    xxx    xxx" "xxxxxx     xx    xxx" " xxxx           xxxx"))) (make-problem "Hattori 12" (quote ((5 7) (5 3 3) (4 2 7 2) (4 1 1) (3 1 1) (2 1 3 1) (1 1 1 1) (1 1 9 1) (13) (2 11) (2 13) (3 11 2) (16 1) (15 1) (15 1) (13 1) (12 2) (10 3) (12) (18))) (quote ((8 1) (6 2) (5 3 1) (4 4 1) (2 6 1) (6 1) (7 8 1) (2 12) (1 13) (3 13) (1 1 13) (1 1 1 13) (1 1 15) (1 1 1 13) (1 1 13) (3 10 2) (1 9 2) (2 3 3 3) (7 2 4) (7 1))) (quote ("xxxxxxxx x          " "xxxxxx   xx         " "xxxxx     xxx      x" "xxxx       xxxx    x" "xx         xxxxxx  x" "            xxxxxx x" "  xxxxxxx xxxxxxxx x" " xx     xxxxxxxxxxxx" " x     xxxxxxxxxxxxx" "xxx    xxxxxxxxxxxxx" "x x    xxxxxxxxxxxxx" "x x  x xxxxxxxxxxxxx" "x x  xxxxxxxxxxxxxxx" "x x  x xxxxxxxxxxxxx" "x x    xxxxxxxxxxxxx" "xxx    xxxxxxxxxx xx" " x     xxxxxxxxx  xx" " xx     xxx xxx  xxx" "  xxxxxxx xx    xxxx" "           xxxxxxx x"))) (make-problem "Hattori 13" (quote ((2 2) (2 3) (3) (2 12) (2 15) (17) (18) (3 12) (4 1 13) (4 13) (8 7) (10 7) (11 7) (18) (18) (17) (14) (3) (3) (2))) (quote ((2 2 2) (2 7) (2 9) (2 11) (2 6) (3 1 7) (3 7) (14) (14) (7 6) (10 8) (10 7) (10 6) (14) (14) (14) (14) (14) (14) (3 2 2 2))) (quote ("   xx   xx xx       " "   xx  xxxxxxx      " "xx    xxxxxxxxx     " "xx   xxxxxxxxxxx    " "     xx   xxxxxx    " "    xxx x xxxxxxx   " "    xxx   xxxxxxx   " "   xxxxxxxxxxxxxx   " "   xxxxxxxxxxxxxx   " "   xxxxxxx xxxxxx   " "xxxxxxxxxx  xxxxxxxx" "xxxxxxxxxx   xxxxxxx" " xxxxxxxxxx  xxxxxx " "   xxxxxxxxxxxxxx   " "   xxxxxxxxxxxxxx   " "   xxxxxxxxxxxxxx   " "   xxxxxxxxxxxxxx   " "   xxxxxxxxxxxxxx   " "   xxxxxxxxxxxxxx   " "    xxx xx xx xx    "))) (make-problem "Hattori 14" (quote ((8) (9) (1 5) (1 1 3) (1 2) (2 2) (1 2 2) (3 3) (1 10) (12) (1 4 2 1) (1 5 6) (1 5 2 1) (1 6) (1 7) (1 3 3) (1 1 3 4) (1 6 3) (2 1 3 4) (19))) (quote ((3) (2) (1) (3 1 1) (2 11) (3 1 1) (5 2 7) (2 2 2 8) (2 1 14) (3 8 1) (3 11 2) (7 12) (6 2 1 6) (4 3 1 4) (2 5 1) (1 1) (1 1) (1 1) (3 1) (1 1))) (quote ("                xxx " "                  xx" "                   x" "       xxx       x x" "      xx xxxxxxxxxxx" "       xxx       x x" " xxxxx  xx   xxxxxxx" "xx   xx xx  xxxxxxxx" "xx x  xxxxxxxxxxxxxx" "xxx    xxxxxxxx    x" "xxx   xxxxxxxxxxx xx" "xxxxxxx xxxxxxxxxxxx" "xxxxxx  xx x  xxxxxx" "xxxx    xxx x   xxxx" "xx      xxxxx      x" "           x       x" "           x       x" "           x       x" "          xxx      x" "           x       x"))) (make-problem "Hattori 15" (quote ((1) (1 17) (3 1 1) (1 1 1 3 3 3 1) (1 1 1 3 1 1 1 1 1) (3 1 3 3 3 1) (1 3 1) (1 16) (1) (1) (1 9) (1 2 1 2) (1 2 1 1 1) (1 2 1 3 2) (2 16) (3 16) (1 4 7 3 1) (1 1 4 8) (1 2 1 8) (1 2 1))) (quote ((20) (1 1 2) (6 2) (1 2 1) (7 3) (1 1 5) (1 3 1 4 1) (1 3 1 2 5) (1 3 1 2 4) (1 1 1 4) (1 3 1 1 5) (1 1 1 1 7 1) (1 3 1 1 6) (1 1 1 6) (1 3 1 1 4 2) (1 1 1 1 1 6) (1 3 1 2 5) (1 1 8) (7 3 3) (5))) (quote ("xxxxxxxxxxxxxxxxxxxx" "  x  x        xx    " " xxxxxx        xx   " " x    xx        x   " " xxxxxxx      xxx   " " x     x     xxxxx  " " x xxx x    xxxx  x " " x xxx x   xx xxxxx " " x xxx x  xx  xxxx  " " x     x  x   xxxx  " " x xxx x  x   xxxxx " " x x x x  xxxxxxx  x" " x xxx x  x   xxxxxx" " x     x  x  xxxxxx " " x xxx x  x xxxx xx " " x x x x  x  xxxxxx " " x xxx x  xx  xxxxx " " x     x   xxxxxxxx " " xxxxxxx     xxx xxx" "              xxxxx "))) (make-problem "Hattori 16" (quote ((6) (10) (3 5 3) (8 7) (6 7 3) (2 8 7) (5 10 3) (1 5 4 1) (5 5) (3 3) (3 4 2) (3 5 3) (3 5 2) (13) (5) (6) (7) (7) (7) (5))) (quote ((5) (3 4) (10) (2 3 2) (7 2) (5 1 1) (7 1) (2 1 2 1) (7 4) (7 7) (3 3 9) (7 9) (5 1 9) (1 4 7) (7 1 5) (2 4 1 4) (4 2 2 3) (7 2) (3 4) (7))) (quote ("      xxxxx         " "    xxx xxxx        " "   xxxxxxxxxx       " "   xx xxx  xx       " "  xxxxxxx   xx      " " xxxxx x     x      " " xxxxxxx     x      " "xx x xx      x      " "xxxxxxx   xxxx      " "xxxxxxx   xxxxxxx   " "xxx xxx   xxxxxxxxx " "xxxxxxx   xxxxxxxxx " "xxxxx x    xxxxxxxxx" " x xxxx      xxxxxxx" " xxxxxxx     x xxxxx" "  xx xxxx    x  xxxx" "  xxxx xx   xx   xxx" "   xxxxxxx xx       " "    xxx xxxx        " "     xxxxxxx        "))) (make-problem "Hattori 17" (quote ((9 9) (6 10) (5 11) (4 3 5) (2 1 3) (2 4 2) (1 3 6) (5 1 1 1) (2 2 1 3 1) (7 4 1) (7 4 2) (1 3 9) (1 2 4 6) (1 6 9) (1 4 7) (2 1 4 2) (5 3 4) (5 7) (5 10) (5 11))) (quote ((1 8) (2 4 4) (4 1 2 4) (8 2 4) (6 1 3 7) (4 8 4) (3 7 1) (1 2) (1 2) (2 2 2 1) (3 2 1 1 1 2) (7 8 2) (3 7 4 2) (3 1 1 2 3 3) (3 4 6 3) (4 1 4 3) (4 1 4 4) (5 1 4 4) (7 4 5) (7 6 5))) (quote ("x       xxxxxxxx    " "xx     xxxx    xxxx " "xxxx   x xx     xxxx" "xxxxxxxx xx     xxxx" "xxxxxx x xxx xxxxxxx" "xxxx   xxxxxxxx xxxx" "xxx     xxxxxxx    x" "x            xx     " "x           xx      " "  xx    xx  xx     x" " xxx  xx x  x   x xx" "xxxxxxx  xxxxxxxx xx" "xxx  xxxxxxx xxxx xx" "xxx  x  x xx xxx xxx" "xxx  xxxx xxxxxx xxx" "xxxx  x    xxxx  xxx" "xxxx  x    xxxx xxxx" "xxxxx x    xxxx xxxx" "xxxxxxx   xxxx xxxxx" "xxxxxxx xxxxxx xxxxx"))) (make-problem "Hattori 18" (quote ((3 4) (1 3 2 1) (1 6 3 2) (1 1 2 1 1 6) (3 2 1 1) (1 1 1 1 2 1 1 1) (1 1 2 1 2 2 2) (1 1 2 1 1 2 1) (1 2 4 1 3) (1 16) (2 5 10) (8 4 2) (8 2 4) (5 2 1 4) (1 5 6) (2 7 3 2) (2 8 2) (2 3 5 1 1) (2 5 7 3) (2 5 5 4))) (quote ((5 7 6) (1 1 3 5) (2 3 3) (3 2 3 2) (2 1 6 2) (2 2 5 5) (2 2 11) (2 1 5 6) (3 3 4) (1 1 5 6) (1 1 3 6) (6 2 5) (1 2 3 4) (3 2 4 3) (1 1 8 2) (1 2 3 5) (1 2 2 5 1) (1 1 3 3 2) (3 10 2) (1 2 8 3))) (quote ("xxxxx xxxxxxx xxxxxx" "x   x     xxx  xxxxx" "xx  xxx    xxx      " " xxx   xx  xxx    xx" " xx  x  xxxxxx    xx" "  xx  xx xxxxx xxxxx" "  xx  xx xxxxxxxxxxx" " xx  x  xxxxx xxxxxx" "xxx     xxx  xxxx   " "x  x xxxxx   xxxxxx " "x   x   xxx   xxxxxx" "xxxxxx   xx    xxxxx" "  x  xx  xxx    xxxx" "  xxx xx xxxx    xxx" "   x x  xxxxxxxx  xx" "   x  xx xxx  xxxxx " "   x  xx xx xxxxx  x" "   x x  xxx xxx   xx" "  xxx xxxxxxxxxx  xx" "  x  xx xxxxxxxx xxx"))) (make-problem "Hattori 19" (quote ((2 2 2 3) (2 2 3 5) (2 2 3 5) (1 1 2 5) (2) (8 2 2) (10 3 2 1) (11 3 2 1) (11 2 1 1) (11) (11 5) (10 7) (6 7) (4 6) (5 6) (6 5) (7 6) (7 7) (7 7) (6 6))) (quote ((4 7) (3 14) (15) (4 15) (3 15) (8 6) (3 7 5) (4 7 4) (3 7) (1 6) (4 4) (5) (4 2 2) (4 4 2 3) (2 4 5 4) (10) (3 10) (4 10) (9) (3 7))) (quote ("xxxx  xxxxxxx       " "xxx  xxxxxxxxxxxxxx " "     xxxxxxxxxxxxxxx" "xxxx xxxxxxxxxxxxxxx" "xxx  xxxxxxxxxxxxxxx" "     xxxxxxxx xxxxxx" " xxx xxxxxxx   xxxxx" "xxxx xxxxxxx    xxxx" "xxx  xxxxxxx        " "   x  xxxxxx        " " xxxx  xxxx         " "xxxxx               " "xxxx  xx          xx" "xxxx xxxx  xx    xxx" " xx  xxxx xxxxx xxxx" "          xxxxxxxxxx" "     xxx  xxxxxxxxxx" "     xxxx xxxxxxxxxx" "          xxxxxxxxx " "      xxx  xxxxxxx  "))) (make-problem "Hattori 20" (quote ((3 3 5) (9 1) (2 16) (1 2 6 4) (1 1 1 1 6 4) (1 1 6 2) (1 1 5 1) (1 1 4 3) (2 1 2 2 4) (1 3 5) (9 5) (7 4) (6 3) (4 1 2) (3 7 1) (5 1 6 1) (1 1 1 1 6 1) (1 1 1 1 1 1 1 1) (1 1 1 1 1 1) (3 3 3))) (quote ((3) (11) (2 1 1) (1 1 5) (2 1 10) (2 1 6 1) (4 5 5) (13 1) (3 5 5) (4 2 1) (5 7) (6 1) (7 3) (7 4) (6 3) (1 1 2 4) (1 3 4 3) (1 3 6 5) (1 4 7 1) (20))) (quote ("xxx                 " "xxxxxxxxxxx         " "xx      x x         " " x  x     xxxxx     " " xx     x xxxxxxxxxx" " xx x     xxxxxx   x" "xxxx     xxxxx xxxxx" "xxxxxxxxxxxxx  x    " "xxx     xxxxx  xxxxx" "  xxxx    xx       x" "  xxxxx      xxxxxxx" "  xxxxxx      x     " "  xxxxxxx     xxx   " "  xxxxxxx     xxxx  " "  xxxxxx      xxx   " "x x      xx   xxxx  " "x xxx   xxxx  xxx   " "x xxx  xxxxxx  xxxxx" "x xxxx xxxxxxx     x" "xxxxxxxxxxxxxxxxxxxx"))) (make-problem "Hattori 21" (quote ((4 10) (2 1 3) (1 1 10) (1 1 4) (1 1 4) (1 1 2 2) (1 1 2 2 2) (1 1 1 1 1 1) (1 1 6 1 1) (2 1 2 1 4 2) (6 1 2 1 4) (11 3) (1 4) (1 4) (1 4) (1 5) (1 6) (18) (18) (18))) (quote ((9) (2 2) (1 1 3) (1 1 3) (11 3) (10) (4 3) (2 2 1 3) (6 2 3) (2 2 1 3) (9 2 3) (7 4 3) (3 1 1 3) (1 1 4 3) (1 1 1 1 4) (1 1 1 5) (1 1 4 8) (1 1 1 11) (1 1 1 10) (1 1 1 10))) (quote (" xxxxxxxxx          " "xx       xx         " "x         x      xxx" "x         x      xxx" "xxxxxxxxxxx      xxx" "          xxxxxxxxxx" "        xxxx     xxx" "     xx xx x     xxx" "   xxxxxx xx     xxx" "   xx   xx x     xxx" "xxxxxxxxx xx     xxx" "xxxxxxx xxxx     xxx" "xxx      x x     xxx" "x x     xxxx     xxx" "x x      x x    xxxx" "x x        x   xxxxx" "x x    xxxx xxxxxxxx" "x x   x  xxxxxxxxxxx" "x x   x   xxxxxxxxxx" "x x    x  xxxxxxxxxx"))) (make-problem "Hattori 22" (quote ((7) (3 1 7) (1 3 7) (2 2 8) (7 8) (4 1 8) (1 1 4 8) (2 3 8) (3 10) (14) (15) (15) (18) (16 1) (8 6) (7 5) (7 2 2) (2 2 1) (1) (1))) (quote ((2 10) (11) (9) (3 9) (3 8) (1 4 9) (2 2 1 9) (14) (3 1 6) (10) (9) (2 8 2) (1 14) (16) (16) (9 5) (9 1 2) (7 2) (6) (6))) (quote ("      xx  xxxxxxxxxx" "       xxxxxxxxxxx  " "        xxxxxxxxx   " "  xxx   xxxxxxxxx   " "   xxx   xxxxxxxx   " " x  xxxx xxxxxxxxx  " " xx xx x xxxxxxxxx  " " xxxxxxxxxxxxxx     " "  xxx x xxxxxx      " "    xxxxxxxxxx      " "      xxxxxxxxx     " "xx     xxxxxxxx xx  " "x  xxxxxxxxxxxxxx   " "xxxxxxxxxxxxxxxx    " "xxxxxxxxxxxxxxxx    " "xxxxxxxxx   xxxxx   " "xxxxxxxxx   x  xx   " "xxxxxxx     xx      " " xxxxxx             " " xxxxxx             "))) (make-problem "Hattori 23" (quote ((8 4) (10 1) (12 1 1) (3 1 1 2) (2 2 2 1 1 2) (2 1 1 1 1 2) (2 1 1 2) (2 1 1 1 1 1 2) (3 1 1 1 1 1 1) (2 6 1 1 2) (2 1 1 4) (2 9 4) (14 4) (15) (8 4 2) (8 2 2 1) (8 1 1 3) (2 5 1 2 1) (11 1) (10 5))) (quote ((9) (10) (5 1 5) (8 8) (4 1 9) (3 1 12) (3 2 1 1 9) (3 2 9) (3 1 1 3 2) (3 2 2 3 2) (3 1 1 1 3 2 2) (3 6 3) (9 4 2) (1 4 1) (5) (3) (13 1) (1 3 1 2 1) (1 5 4 3 1) (1 11 1 1))) (quote ("         xxxxxxxxx  " "        xxxxxxxxxx  " "  xxxxx x   xxxxx   " " xxxxxxxx   xxxxxxxx" "xxxx   x   xxxxxxxxx" "xxx x   xxxxxxxxxxxx" "xxx xx x x xxxxxxxxx" "xxx     xx xxxxxxxxx" "xxx    x x xxx    xx" "xxx xx  xx xxx    xx" "xxx x  x x xxx xx xx" "xxx       xxxxxx xxx" " xxxxxxxxx xxxx   xx" "  x         xxxx  x " "             xxxxx  " "                 xxx" "xxxxxxxxxxxxx      x" "x         xxx x xx x" "x  xxxxx xxxx xxx  x" "x xxxxxxxxxxx   x  x"))) (make-problem "Hattori 24" (quote ((5 3) (4 4 4) (1 2 10) (1 1 6 1 3) (1 1 2 1 6 2) (1 1 1 1 4) (3 1 1 1 1 1) (2 1 1 1 1 1) (2 3 4 4) (5 1 2 3 1) (1 3 1 1) (3 1 1 1) (5 3 1 2) (7 1 8) (10 1 1 1) (5 11) (3 7) (3 6 2) (3 7 1) (2 5))) (quote ((7) (1 3 6) (1 1 1 2 7) (2 1 7) (2 1 4) (1 1 4) (12) (1 1 1 4) (2 9 2) (4 1 2) (4 7 1) (5 2 1 1 3) (1 5 2 1 3) (1 1 1 7) (3 2 1 5) (1 1 5 5) (2 2 2 6) (4 4 1 2) (6 1 2 3) (2 16))) (quote (" xxxxxxx            " " x    xxx     xxxxxx" " x  x x xx   xxxxxxx" " xx      x  xxxxxxx " "  xx     x  xxxx    " "    x    x  xxxx    " "   xxxxxxxxxxxx     " "x  x    x  xxxx     " "xx xxxxxxxxx xx     " "xxxx      x   xx    " "xxxx     xxxxxxx  x " "xxxxx   xx  x  x xxx" "  x xxxxx   xx x xxx" "  x x   x    xxxxxxx" "  xxx   xx   x xxxxx" "  x x    xxxxx xxxxx" " xx xx  xx   xxxxxx " "xxxx xxxx    x xx   " "xxxxxx  x   xx xxx  " "xx xxxxxxxxxxxxxxxx "))) (make-problem "Hattori 25" (quote ((6 7) (3 2 8) (3 2 2 4) (2 3 1 2 3) (2 1 1 1 4 3) (2 4 1 2 2) (2 2 1 1 3) (3 2 2 1) (4 2 1 2) (7 2 1) (2 1 1 1) (2 1 1 1) (2 3 1) (2 2 1) (2 5) (2 1 1) (2 2 1) (4 1 1) (18) (18))) (quote ((7) (9) (3 3 2) (2 2 3) (1 3 11) (1 1 1 11) (1 4 1 3) (2 2 2 2) (2 2 2) (6 2) (2) (2) (3 2 2) (8 6 4) (2 2 3 5 2) (2 1 3 1 2) (3 3 1 2) (5 1 12) (7 2) (5 2))) (quote ("  xxxxxxx           " " xxxxxxxxx          " "xxx    xxx        xx" "xx      xx       xxx" "x  xxx   xxxxxxxxxxx" "x  x x   xxxxxxxxxxx" "x  xxxx  x       xxx" "xx   xx xx        xx" " xx    xx         xx" "  xxxxxx          xx" "                  xx" "                  xx" "xxx xx            xx" "xxxxxxxx xxxxxx xxxx" "xx xx  xxx  xxxxx xx" "xx  x     xxx x   xx" "xxx   xxx     x   xx" "xxxxx x xxxxxxxxxxxx" "xxxxxxx           xx" " xxxxx            xx"))) (make-problem "Hattori 26" (quote ((1 1 1 2) (2 2 2 2) (9 4) (1 1 1 3) (2 1 1 3 2) (3 1 1 1 4 2) (1 1 1 2 1 2) (1 4 5 1 2) (1 4 5 1 2) (1 8 1 3) (1 8 1 3) (1 8 1 3) (1 7 1 3) (2 7 2 3) (1 1 7 1 3) (2 7 2 3) (2 1 1 1 1 3) (7 2 9) (16) (1 1 6))) (quote ((2 1) (3) (5 2) (2 4 1) (7 2 2) (3 5 4) (2 2 9 2) (1 10 2) (2 2 7 2) (1 9 2) (1 2 10 1) (2 9 2) (15 3) (5 4) (2 3 3) (2 9 3) (2 3) (2 11) (20) (20))) (quote ("              xx x  " "               xxx  " "     xxxxx      xx  " "    xx    xxxx   x  " "  xxxxxxx    xx  xx " "xxx    xxxxx   xxxx " " xx xx xxxxxxxxx xx " "  x    xxxxxxxxxx xx" "  xx xx  xxxxxxx xx " "  x    xxxxxxxxx xx " "  x xx xxxxxxxxxx x " " xx    xxxxxxxxx xx " "xxxxxxxxxxxxxxx  xxx" "    xxxxx      xxxx " "    xx       xxx xxx" "xx   xxxxxxxxx   xxx" " xx              xxx" "  xx     xxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxx"))) (make-problem "Hattori 27" (quote ((6) (8) (1 6) (10) (2 1 1 1 1) (2 1 1 1 1) (1 1 1 3) (3 3 1) (3 2) (1 2 2) (2 2 3 2) (2 3 3 2) (2 3 2 6) (5 3 7) (4 4 3 1) (7 2 3 3) (6 4 3 1 1) (9 3 2) (8 6) (11 5))) (quote ((11) (10) (7) (8) (4 3 5) (1 5 3 6) (1 1 1 2 2 3) (2 6 2 4) (4 1 3 2 1) (9 2 2 1) (4 1 2 2 1) (8 3) (4 1 3) (5 3 3) (7) (13) (7 2) (2 2 2) (1 1 3) (7))) (quote ("         xxxxxxxxxxx" "          xxxxxxxxxx" "             xxxxxxx" "            xxxxxxxx" "  xxxx     xxx xxxxx" " x xxxxx  xxx xxxxxx" " x x   x  xx  xx xxx" "xx xxxxxx    xx xxxx" "xxxx    x   xxx xx x" "xxxxxxxxx   xx xx  x" "xxxx   x xx    xx  x" "xxxxxxxx xxx        " "xxxx  x   xxx       " "  xxxxx    xxx xxx  " "            xxxxxxx " "       xxxxxxxxxxxxx" "        xxxxxxx   xx" "            xx xx xx" "             x x xxx" "             xxxxxxx"))) (make-problem "Hattori 28" (quote ((1 1) (5) (3 3) (8) (9) (1 1 3 3) (1 1 3 1) (4 4 1) (2 2 2 3 1) (5 2 2 1) (5 3 1) (6 3 1) (5 5 2) (4 3 3 2) (8 2 3 2) (7 3 6) (6 3 6) (5 3 6) (5 3 5) (7 4))) (quote ((2 1) (3 4 1) (3 1 5 1) (10 1) (14) (3 4) (4 4 1) (9 5 1) (8 5 1) (8 2 1) (2 2 6 6) (4 5 6) (4 4 5) (4 3) (3 7) (2 6) (5) (5) (7) (12))) (quote ("        xx        x " "       xxx xxxx   x " "     xxx x xxxxx  x " "       xxxxxxxxxx x " "     xxxxxxxxxxxxxx " "          xxx xxxx  " "        xxxx  xxxx x" "  xxxxxxxxx  xxxxx x" "xxxxxxxx     xxxxx x" " xxxxxxxx   xx     x" "xx xx  xxxxxx xxxxxx" " xxxx   xxxxx xxxxxx" " xxxx     xxxx xxxxx" "  xxxx      xxx     " "   xxx       xxxxxxx" "    xx        xxxxxx" "               xxxxx" "               xxxxx" "            xxxxxxx " "      xxxxxxxxxxxx  "))) (make-problem "Hattori 29" (quote ((2) (2) (2) (4) (3 2) (5 2 2) (1 1 2 2) (5 2 2) (5 2 4) (5 2 3) (6 2 2) (1 1 4 1) (1 1 2 3 1) (2 2 1 4) (2 2 3 1 2) (1 4 5 3) (1 17) (4 4 4 2) (5 5 5) (3 3))) (quote ((8) (6 2 1) (1 4 3) (1 4 5) (1 4 2 2) (15) (6) (2) (2 4) (4 2 1) (3 2 3 1) (3 2 5 1) (2 2 2 2 5) (1 2 3 2) (2 2 3) (2 2 5) (2 5 2) (2 2 5) (3 2 3) (7))) (quote ("          xxxxxxxx  " "     xxxxxx  xx  x  " "     x xxxx     xxx " "     x xxxx    xxxxx" "     x xxxx    xx xx" "     xxxxxxxxxxxxxxx" "             xxxxxx " "                xx  " "    xx         xxxx " "   xxxx        xx x " "  xxx xx      xxx x " " xxx   xx   xxxxx x " "xx xx   xx xx xxxxx " "x   xx   xxx    xx  " "     xx   xx    xxx " "      xx   xx  xxxxx" "       xx   xxxxx xx" "        xx  xx xxxxx" "        xxx  xx xxx " "        xxxxxxx     "))) (make-problem "Hattori 30" (quote ((3 6) (6 7) (7 6) (19) (7 6) (3 3) (1 3) (2 4 4 1) (9 6 2) (1 2 2 1 3 2) (1 2 1 2 1 1 3 1) (1 2 2 1 3 1) (1 6 7 1) (1 4 5 1) (1 3 1) (1 3 5 1) (2 1 8) (3 7) (5 6 6) (5 4 5))) (quote ((3 9 2) (5 2 4) (12 3) (6 6 3) (5 2 2 2) (5 2 1 2) (4 2 2 1) (1 6 2 2) (1 4 3 2) (1 2 2) (1 5 2) (1 2 2 1) (2 1 2 1 2 1) (5 2 2 3) (5 7 4) (6 6 5) (7 4 5) (7 5) (4 4 4) (12))) (quote ("  xxx   xxxxxxxxx xx" " xxxxx xx       xxxx" " xxxxxxxxxxxx    xxx" "xxxxxx  xxxxxx   xxx" "xxxxx  xx   xx    xx" "xxxxx  xx x xx      " " xxxx  xx   xx    x " "   x   xxxxxx xx  xx" "   x    xxxx  xxx xx" "   x          xx  xx" "   x    xxxxx     xx" "   x   xx   xx    x " "xx x   xx x xx  x   " "xxxxx  xx   xx xxx  " "xxxxx  xxxxxxx xxxx " "xxxxxx  xxxxxx xxxxx" "xxxxxxx  xxxx  xxxxx" "xxxxxxx        xxxxx" " xxxx xxxx      xxxx" "        xxxxxxxxxxxx"))))))