(unit/sig paint-by-numbers:problem-set^ (import paint-by-numbers:problem^) (define set-name "Hattori 121 - 138") (define problems (list (make-problem "Hattori 121" (quote ((2) (3) (4) (5) (2 2) (2 2) (3) (8 3) (2 1 2 4) (3 1 2 1) (5 2 2 1) (1 4 2 1) (1 1 5) (3 3 5) (5 7) (6 6) (7 7) (17) (15) (13))) (quote ((3) (5) (6) (2 7) (4 7) (1 11) (3 1 1 4) (7 1 3) (4 3 2 3) (8 1 3) (4 1 1 4) (2 10) (3 7) (7) (6) (7) (10) (8) (2 2) (7))) (quote ("               xxx  " "              xxxxx " "              xxxxxx" "        xx   xxxxxxx" "       xxxx  xxxxxxx" "       x xxxxxxxxxxx" "   xxx x  x     xxxx" " xxxxxxx  x      xxx" "xxxx  xxx xx     xxx" "xxxxxxxx   x     xxx" "  xxxx x   x    xxxx" "       xx xxxxxxxxxx" "        xxx  xxxxxxx" "             xxxxxxx" "              xxxxxx" "            xxxxxxx " "        xxxxxxxxxx  " "       xxxxxxxx     " "       xx   xx      " "       xxxxxxx      "))) (make-problem "Hattori 122" (quote ((2 2 5) (2 2 7) (9 6 4) (1 1 1 1 8 1) (7 9 2) (7 10 3) (9 2 3 2) (12 1 2 2 2 3) (3 3 1 1 1 1 2) (2 2 1 1 2) (2 2 2 3 2 2) (2 2 1 3 2 2) (12 7 3) (1 2 2) (5 6) (2 1 1 1 4) (2 1 1 2 3 2) (1 1 3 4 2) (1 1 1 1 1 1) (1 1 1 1 1 1) (5 1 4 2) (5 1 1 1 3 4) (1 4 1 13) (1 2 4 3 3) (1 3 5 3) (1 1 1 6 2) (2 3 6 4) (2 8 5) (3 22) (1 12 8) (15 8) (11 7) (9 6) (12 6) (3 18 2) (2 18 3) (2 2 12 3 1) (1 2 7 1) (2 2 2 2) (10 8))) (quote ((1 1 6) (2 7 1 2 3) (13 1 2 2 2) (1 1 5 1 2 3 2 2 1) (6 1 2 1 1 1 1 1 1) (1 4 1 1 3 1 2 1) (6 1 2 1 1 1) (1 1 5 1 3 5 1 1) (13 14 1) (2 7 12 3) (1 1 5 13 2) (1 1 2 17 1) (2 1 1 12) (6 1 1 2 11) (3 3 9 11) (3 2 1 1 1 11) (4 1 8 1 4 5) (4 3 6 4 4) (4 1 3 2 2 3 4) (4 2 5 3 1 4) (5 4 7 1 5) (7 2 1 2 3 1 4 2) (2 8 4 1 1 9 1) (2 11 8 1) (3 5 2 8 1) (3 4 2 3 10 1) (3 4 2 2 2 8 1 1) (2 4 4 10 2 1) (4 8 2 2) (3 5 5))) (quote #f)) (make-problem "Hattori 123" (quote ((4 8) (5 1 9) (3 1 1 10) (3 1 1 3 8) (3 1 2 2 1 7) (1 1 2 1 1 1 2 5) (1 2 1 1 1 2 1 2) (1 1 2 1 2 1) (2 1 1 1 2) (2 2 1 2 1) (2 1 2 1 2) (2 1 1 1 1) (2 2 1 2 2) (2 2 1 1 1) (1 1 1 1 1) (2 3 2 2) (2 2 1 2) (2 2 2 2) (2 2 2 1) (2 2 1 2) (2 2 5) (8 6) (6 7) (6 7) (12 6))) (quote ((6) (1 4 1) (4 3 2) (1 2 2 2) (4 3 2) (1 2 3 2) (4 4 2) (1 2 4 2) (1 3 1) (4 2 1) (2 3 2 1) (1 2 1) (1 5 2 1) (4 3 4 3) (5 7) (2 10) (2 5) (4 2 4 2) (6 4 3 3) (5 3 2 4) (8 7) (6 4 5) (6 3 2 5) (7 3 2 5) (9 6))) (quote ("    xxxxxx               " "    x   xxxx            x" "   xxxx   xxx          xx" "   x  xx    xx         xx" "  xxxx       xxx       xx" "  x  xx        xxx     xx" " xxxx           xxxx   xx" " x  xx            xxxx xx" " x                  xxx x" " xxxx                xx x" "xx  xxx              xx x" "x                    xx x" "x        xxxxx       xx x" "xxxx   xxx  xxxx    xxx  " "   xxxxx       xxxxxxx   " "  xx      xxxxxxxxxx     " " xx   xxxxx              " "xxxx xx     xxxx       xx" "xxxxxx   xxxx  xxx    xxx" "xxxxx  xxx       xx  xxxx" "xxxxxxxx          xxxxxxx" "xxxxxx      xxxx    xxxxx" "xxxxxx    xxx  xx   xxxxx" "xxxxxxx xxx     xx xxxxx " "xxxxxxxxx        xxxxxx  "))) (make-problem "Hattori 124" (quote ((8) (12) (14) (3 5) (1 3) (1 1 1 2) (9) (2 5 2) (2 2 2 2) (2 1 3 1 2) (1 1 3 1 1) (2 1 3 1 2) (2 2 2 2) (2 5 2) (9))) (quote ((2 3) (2 2 2) (3 2 2) (2 2 2) (3 1 5 1) (3 4 3) (3 2 3 2) (3 3 3 2) (3 2 3 2) (3 4 3) (4 1 5 1) (4 2 2) (4 2 2) (5 2 2) (4 3))) (quote ("   xx    xxx   " "  xx    xx xx  " " xxx   xx   xx " " xx   xx     xx" "xxx   x xxxxx x" "xxx  xxxx   xxx" "xxx   xx xxx xx" "xxx  xxx xxx xx" "xxx   xx xxx xx" "xxx  xxxx   xxx" "xxxx  x xxxxx x" "xxxx  xx     xx" " xxxx  xx   xx " " xxxxx  xx xx  " "  xxxx   xxx   "))) (make-problem "Hattori 125" (quote ((11) (11) (2 7) (6 5) (8 3) (3 5 2) (4 4 3 1) (3 3 5 1) (1 3 2 3 1) (3 2 3 1) (4 2 2 1) (2 2 1 4 1) (2 2 3 1) (4 1 2) (3 2 2 2) (3 1) (2) (2 2) (3 2) (2 4))) (quote ((3 2 6) (3 2 6) (2 3 2 2) (2 2 4) (3 2 2) (5) (7) (11) (12) (9 1) (6 3) (1 1 1 2) (2 2 2 2) (1 2 1 1 1) (1 2 2 2 1) (1 4 4 2) (2 6 2) (1 3 2) (2 4) (10))) (quote ("xxx  xx  xxxxxx     " "xxx  xx  xxxxxx     " "xx   xxx xx  xx     " "xx    xx  xxxx      " "xxx    xx  xx       " "xxxxx               " "xxxxxxx             " "xxxxxxxxxxx         " "xxxxxxxxxxxx        " "xxxxxxxxx          x" "xxxxxx           xxx" "    x   x     x  xx " "   xx  xx     xx  xx" "   x  xx   x   x   x" "   x  xx   xx xx   x" "   x  xxxx xxxx   xx" "   xx  xxxxxx    xx " "    x   xxx     xx  " "    xx       xxxx   " "     xxxxxxxxxx     "))) (make-problem "Hattori 126" (quote ((2 2) (4 4) (12) (13) (3 1 1 1 3) (2 1 1 1 2) (1 7 1) (1 1) (2 2) (2 2) (3 3) (3 3) (9) (7) (5))) (quote ((5) (3 3) (3 3) (3 3) (7 3) (4 1 3) (3 1 3) (5 3) (2 1 3) (3 1 3) (7 3) (4 3) (4 3) (4 3) (5))) (quote ("    xxxxx      " "   xxx  xxx    " "  xxx    xxx   " " xxx      xxx  " "xxxxxxx    xxx " "xxxx  x     xxx" " xxx  x     xxx" "  xxxxx     xxx" "  xx  x     xxx" " xxx  x     xxx" "xxxxxxx    xxx " "xxxx      xxx  " " xxxx    xxx   " "  xxxx  xxx    " "    xxxxx      "))) (make-problem "Hattori 127" (quote ((4) (5) (5 6) (6 6) (15) (7 3 2) (7 2 3 2) (3 3 4 2) (2 13 1) (1 5 7 1) (1 5 4 1) (1 3 2 1) (1 1) (1 1 1 1) (1 1 1 2) (2 1 1 2) (2 2 2 2) (6 2 2) (16) (14))) (quote ((9) (1 3 3) (3 2 3) (5 2 3) (5 4 7) (10 4) (8 3) (8 2) (2 2 2) (4 1 2) (3 1 2 2) (4 2 2) (10 2) (11 3) (11 4) (3 1 5 4 2) (2 4 2) (2 3) (2 4) (9))) (quote ("       xxxxxxxxx    " "  x   xxx      xxx  " "  xxx xx        xxx " "  xxxxx   xx     xxx" "  xxxxx xxxx xxxxxxx" "  xxxxxxxxxx    xxxx" "   xxxxxxxx      xxx" "   xxxxxxxx       xx" "    xx  xx        xx" "   xxxx x         xx" "  xxx x xx        xx" " xxxx   xx        xx" "xxxxxxxxxx        xx" "xxxxxxxxxxx      xxx" "xxxxxxxxxxx     xxxx" "xxx x  xxxxx xxxx xx" "    xx  xxxx      xx" "     xx         xxx " "      xx      xxxx  " "       xxxxxxxxx    "))) (make-problem "Hattori 128" (quote ((14 1) (4 8 1) (3 8 3) (3 1 1 7 1 1) (4 1 1 1 6 2 1) (4 3 1 6 1 1) (4 5 2 1) (4 4 5 1 1) (5 1 1 3 3) (4 4 1) (2 2) (5 7 1) (7 5 6) (4 3 3 3) (4 2 4) (7 4 1) (4 4 3 6 1) (4 2 6 3 2) (7 5 1 3) (2 2 1 1) (2 4 2) (1 1 2) (2 7) (3 8) (14))) (quote ((4) (6) (6 8) (9 6 3) (10 4 1 2) (3 6 3 1 1 2) (2 5 2 2 2) (1 3 3 1 2 1) (1 1 2 1 1 1) (1 3 3 2 2 1 1) (1 1 1 2 4 1) (3 2 1 1 1 1 2) (4 3 2 3 3) (6 2 3 4) (8 3 3 3) (9 3 1 3) (10 3 2 3) (9 1 1 2 4) (7 1 4 5) (2 7) (1 3) (5 1 5) (1 1 1 1 3 1) (4 1 2 3 2) (1 1 1 1 7))) (quote ("               xxxx      " "              xxxxxx     " "   xxxxxx    xxxxxxxx    " " xxxxxxxxx   xxxxxx xxx  " "xxxxxxxxxx  xxxx  x   xx " "xxx xxxxxx xxx x  x    xx" "xx      xxxxx  xx xx   xx" "x  xxx    xxx   x  xx   x" "x    x     xx   x   x   x" "x  xxx xxx xx   xx  x   x" "x      x x  xx   xxxx   x" "xxx xx x x   x    x    xx" "xxxx   xxx  xx  xxx   xxx" "xxxxxx     xx   xxx  xxxx" "xxxxxxxx  xxx   xxx   xxx" "xxxxxxxxx xxx    x    xxx" "xxxxxxxxxx xxx  xx    xxx" "xxxxxxxxx  x x  xx   xxxx" " xxxxxxx   x xxxx   xxxxx" "           xx xxxxxxx    " "            x  xxx       " "   xxxxx    x xxxxx      " "  x x x x   xxx   x      " "xxxx x xx   xxx  xx      " "  x x x x  xxxxxxx       "))) (make-problem "Hattori 129" (quote ((3) (5) (5) (6) (5 6) (7 6) (4 3 6) (4 2 8) (4 2 10) (4 1 5 5) (4 2 7 4) (6 2 8 2) (3 1 12) (1 1 2 1 11 1) (1 1 2 11 1) (1 2 3 14) (1 6 14) (1 3 17) (1 5 17) (8 5 3) (1 5 1 1 1) (1 6 1 1 1) (11 1 1) (1 1 4 1 1 1) (4 3))) (quote ((5 11) (6 1 1) (15 1) (9 9) (3 3 7) (2 1 2 1 6) (3 1 1 1 1 6) (7 2 5) (3 1 2 3) (2 1 2 1) (1 1 8) (9 1) (13) (10 1) (12) (13) (14) (16) (18) (9 9) (10 8) (6 4 2 4) (4 6 5 1) (4 1 10) (2 6 1))) (quote ("       xxxxx xxxxxxxxxxx " "      xxxxxx       x  x  " "     xxxxxxxxxxxxxxx  x  " "    xxxxxxxxx  xxxxxxxxx " "    xxx    xxx  xxxxxxx  " "    xx     x xx x xxxxxx " "    xxx x x   x x xxxxxx " "    xxxxxxx    xx  xxxxx " "     xxx       x xx  xxx " "            xx x xx   x  " "           x  x  xxxxxxxx" "           xxxxxxxxx    x" "            xxxxxxxxxxxxx" "          xxxxxxxxxx    x" "        xxxxxxxxxxxx     " "      xxxxxxxxxxxxx      " "     xxxxxxxxxxxxxx      " "   xxxxxxxxxxxxxxxx      " " xxxxxxxxxxxxxxxxxx      " "xxxxxxxxx xxxxxxxxx      " "xxxxxxxxxx xxxxxxxx      " "xxxxxx xxxx xx xxxx      " " xxxx  xxxxxx  xxxxx    x" "        xxxx x xxxxxxxxxx" "         xx   xxxxxx    x"))) (make-problem "Hattori 130" (quote ((3) (5 8) (6 9) (7 9) (7 5 3) (7 4 3) (5 3 2) (3 2 2) (2 1 1 1) (2 1 1) (1 1) (3 5 1) (1 5 1) (3 5 1) (7 1) (7 3 1) (6 4 1) (6 4 1 1) (13 6) (5 6))) (quote ((6 1 4) (6 2 1 4) (7 2 3 4) (6 1 4) (11 4) (6 4) (5 2 1) (1 1 1) (2 4 2) (3 4 4) (4 9) (5 9) (6 9) (7) (8 2) (2 3) (3 2) (3 2) (4 2) (15))) (quote ("xxxxxx       x xxxx " "xxxxxx  xx   x xxxx " "xxxxxxx xx xxx xxxx " " xxxxxx    x   xxxx " " xxxxxxxxxxx   xxxx " "  xxxxxx       xxxx " "   xxxxx      xx  x " " x            x   x " " xx        xxxx   xx" " xxx       xxxx xxxx" " xxxx      xxxxxxxxx" " xxxxx     xxxxxxxxx" " xxxxxx    xxxxxxxxx" " xxxxxxx            " " xxxxxxxx         xx" "  xx             xxx" "  xxx             xx" "   xxx            xx" "    xxxx          xx" "     xxxxxxxxxxxxxxx"))) (make-problem "Hattori 131" (quote ((4) (2 3) (1 4) (1 4 4) (6 6) (4 7) (7) (7) (4 6) (6 1 1) (2 5 3) (1 6 1 1) (1 6 2 1) (8 1) (7 2) (6 1) (9) (3) (1) (4))) (quote ((4) (2 2) (1 4) (6 4) (6 2 2) (4 2 5) (8) (9) (9) (8) (7) (1) (1) (3 1) (5 3 1) (9 4) (6 1 1 1) (6 3 3) (6 1) (7 1))) (quote (" xxxx               " "xx  xx              " "x xxxx              " "xxxxxx    xxxx      " "xxxxxx   xx  xx     " " xxxx   xx xxxxx    " "        xxxxxxxx    " "        xxxxxxxxx   " "        xxxxxxxxx   " "         xxxxxxxx   " "          xxxxxxx   " "                x   " "                x   " "     xxx        x   " "    xxxxx   xxx x   " "    xxxxxxxxx xxxx  " "   xxxxxx x      x x" "   xxxxxx xxx    xxx" "   xxxxxx          x" "   xxxxxxx         x"))) (make-problem "Hattori 132" (quote ((3) (1 1) (1 1 6) (1 1 1 4) (1 1 2 5) (1 1 2 5) (1 1 9) (1 1 10) (1 1 3 1 3) (1 1 3 1 2) (1 1 2 1 3) (1 1 2 2) (5 1 2) (1 2 2 1) (1 2 7) (3 7 2) (5 1 7) (5 1 7) (5 14) (3 1))) (quote ((3) (5) (5) (5) (3) (4) (13 4) (1 1 1 1) (14 1 1) (7) (1 5) (6 4) (11 3) (1 6 2 3) (1 2 1 1 1 4) (1 6 1 5) (6 2 1) (9 1 1) (10 1 1) (6 2 2 1))) (quote ("                xxx " "               xxxxx" "               xxxxx" "               xxxxx" "                xxx " "            xxxx    " "xxxxxxxxxxxxx  xxxx " "x           x  x  x " "xxxxxxxxxxxxxx x  x " "            xxxxxxx " "       x      xxxxx " "      xxxxxx   xxxx " "   xxxxxxxxxxx  xxx " "  x xxxxxx   xx xxx " "  x   xx  x x x xxxx" "  x xxxxxx  x xxxxx " "  xxxxxx      xx  x " "  xxxxxxxxx   x   x " "  xxxxxxxxxx  x   x " "   xxxxxx xx xx   x "))) (make-problem "Hattori 133" (quote ((3) (3 4 1) (7 4 5) (11 4 2 1) (15 2) (13 2) (14) (11) (17) (20) (22) (24) (24) (5 13 2) (16 1) (18) (19) (10 10) (9 11) (9 6 5) (9 6 4) (8 7 2) (7 6 1) (5 5) (3 3))) (quote ((1 3 3) (2 4 6) (2 5 8) (4 6 8) (5 6 9) (6 5 9) (6 5 9) (21) (20) (19) (1 16) (3 14 4) (17 7) (24) (23) (21) (17) (17) (2 11) (2 12) (2 4 7) (1 4 6) (1 4 5) (1 4 4) (3))) (quote ("   x       xxx        xxx" "   xx     xxxx     xxxxxx" "   xx    xxxxx   xxxxxxxx" "  xxxx  xxxxxx  xxxxxxxx " "  xxxxx xxxxxx xxxxxxxxx " " xxxxxx xxxxx xxxxxxxxx  " " xxxxxx xxxxx xxxxxxxxx  " " xxxxxxxxxxxxxxxxxxxxx   " "  xxxxxxxxxxxxxxxxxxxx   " "  xxxxxxxxxxxxxxxxxxx    " "x  xxxxxxxxxxxxxxxx      " "xxx xxxxxxxxxxxxxx   xxxx" "xxxxxxxxxxxxxxxxx xxxxxxx" " xxxxxxxxxxxxxxxxxxxxxxxx" " xxxxxxxxxxxxxxxxxxxxxxx " "   xxxxxxxxxxxxxxxxxxxxx " "      xxxxxxxxxxxxxxxxx  " "     xxxxxxxxxxxxxxxxx   " "    xx  xxxxxxxxxxx      " "   xx   xxxxxxxxxxxx     " "  xx     xxxx xxxxxxx    " "  x      xxxx  xxxxxx    " "  x       xxxx   xxxxx   " "  x        xxxx    xxxx  " " xxx                     "))) (make-problem "Hattori 134" (quote ((4) (3 3 4) (2 2 6 5) (5 8 5) (2 1 8 3) (3 7 3) (4 7 3 3) (5 5 5 1 1) (1 3 4 6) (1 4 4 6) (1 3 2 3 1) (1 4 1 3) (1 3 4) (1 7 4) (1 3 2 2 2) (1 3 1 6) (1 7 4 2) (1 4 1 3 4) (1 2 12) (2 8 2 1) (3 1 1 1 4 7) (14 2 5) (12 3 3) (8 4 2) (5))) (quote ((2 2) (4 3) (1 20) (3 3 2) (8 4) (6 3) (7 4) (7 3) (7 4) (4 5 3) (8 1 3 3) (11 2 8) (10 4 4 1) (9 1 5 1) (6 5 2) (1 5 2 4) (1 2 1 2 4) (2 2 4 2) (3 2 6) (3 4 4 4) (3 4 3 6) (3 3 11) (12 1 2 2) (4 2 10) (14))) (quote ("  xx                xx   " " xxxx              xxx   " " x xxxxxxxxxxxxxxxxxxxx  " " xxx xxx             xx  " "  xxxxxxxx          xxxx " "      xxxxxx         xxx " "       xxxxxxx      xxxx " "         xxxxxxx     xxx " "           xxxxxxx  xxxx " "   xxxx      xxxxx   xxx " "  xxxxxxxx   x  xxx  xxx " " xxxxxxxxxxx xx xxxxxxxx " " xxxxxxxxxx  xxxx  xxxx x" " xxxxxxxxx      x xxxxx x" "  xxxxxx        xxxxx  xx" "x xxxxx           xx xxxx" "x  xx  x          xx xxxx" "xx    xx         xxxx xx " "xxx   xx        xxxxxx   " " xxx  xxxx     xxxx xxxx " " xxx   xxxx   xxx xxxxxx " "  xxx   xxx xxxxxxxxxxx  " "  xxxxxxxxxxxx x xx xx   " "   xxxx xx xxxxxxxxxx    " "     xxxxxxxxxxxxxx      "))) (make-problem "Hattori 135" (quote ((1) (2 3 3) (9 7) (3 3 2 5) (2 4 1) (2 1) (1 1 2 1) (1 2 1) (1 6) (1 1 2) (1 1 2 1) (1 4) (1 1) (1 2) (3 6) (4 7) (14) (1 14 3) (1 11 3) (2 6))) (quote ((3) (2 1) (3 2) (3 4) (2 3 5) (4 5) (3 5) (13 3) (2 5) (2 3 5) (2 1 6) (2 13) (6 5) (1 1 1 5) (2 3 2 3 1) (3 2 1) (4 1) (3 3) (2 3) (1 3))) (quote ("                 xxx" "   xx              x" "  xxx           xx  " " xxx           xxxx " " xx xxx       xxxxx " "  xxxx        xxxxx " "  xxx         xxxxx " " xxxxxxxxxxxxx  xxx " " xx           xxxxx " " xx     xxx   xxxxx " "  xx    x    xxxxxx " "   xx xxxxxxxxxxxxx " "      xxxxxx  xxxxx " "  x     x  x  xxxxx " "  xx  xxx xx   xxx x" " xxx            xx x" "xxxx               x" " xxx             xxx" "  xx             xxx" "  x              xxx"))) (make-problem "Hattori 136" (quote ((11) (6 6) (6 5) (9 8) (6 4) (5 3 3 4) (5 1 1 1 1 4) (5 4) (2 4 2) (3 2 2) (1 1 9 3) (1 7 4 1 1) (1 3 4 1) (6 2 2 2 1) (2 1 1 4) (9 6) (1 4 6) (1 4 2 2 1 1) (1 1 3 4 1) (4 7 4))) (quote ((4 5 1) (5 1 1 5) (6 3 1 1 1) (7 1 3 3) (8 7) (5 2 3 4) (4 4 4) (4 2 2 3 2) (2 1 1 2 1 1 1 1) (1 1 2 1 1 1 1 1 1) (1 1 1 1) (1 1 1 1 1 1 1) (2 1 2 1 2 1 1 1 1) (2 1 1 2 3 2) (4 2 4 4) (4 2 3 2 1) (8 5 2) (7 3 1 1 1) (6 1 1 4) (5 5 1))) (quote ("    xxxx xxxxx     x" "   xxxxx x   x xxxxx" "  xxxxxx xxx x x   x" " xxxxxxx   x xxx xxx" " xxxxxxxx  xxxxxxx  " "xxxxx   xx xxx xxxx " "xxxx     xxxx  xxxx " "xxxx xx   xx  xxx xx" "xx x x    xx x x x x" "x  x xx x x  x x x x" "x       x x        x" "x       x x  x x x x" "xx x xx x xx x x x x" "xx x x    xx  xxx xx" "xxxx xx  xxxx  xxxx " "xxxx    xx xxx xx x " " xxxxxxxx   xxxxx xx" " xxxxxxx  xxx x x  x" "  xxxxxx  x   x xxxx" "   xxxxx  xxxxx    x"))) (make-problem "Hattori 137" (quote ((5 3) (3 3 2) (5 3) (4 1 4) (3 3 2) (8 1 1) (2 4 2 1 1) (11 2 2) (4 3 8) (2 10 4) (10 5 1) (8 10) (5 9 3) (3 9 6) (10 6 2) (6 12) (3 10 3) (10 5) (6 4) (7))) (quote ((5) (8) (10) (8 2 3) (6 10) (4 13) (11 2 4) (3 3 9 1) (3 15) (1 1 7 8) (1 2 7 2 1) (1 2 1 10) (2 4 7) (1 8 4) (2 8 1) (2 2 8) (3 6 4) (2 1 6 2) (1 2 3 5) (1 11))) (quote ("             xxxxx  " "           xxxxxxxx " "         xxxxxxxxxx " "     xxxxxxxx xx xxx" "   xxxxxx xxxxxxxxxx" "  xxxx xxxxxxxxxxxxx" " xxxxxxxxxxx xx xxxx" " xxx xxx xxxxxxxxx x" "xxx  xxxxxxxxxxxxxxx" "x x xxxxxxx xxxxxxxx" "x   xx xxxxxxx xx x " "x  xx  x xxxxxxxxxx " "xx    xxxx xxxxxxx  " " x   xxxxxxxx xxxx  " " xx     xxxxxxxx x  " "  xx   xx xxxxxxxx  " " xxx  xxxxxx xxxx   " "xx x    xxxxxx xx   " "x  xx  xxx xxxxx    " "x   xxxxxxxxxxx     "))) (make-problem "Hattori 138" (quote ((6 1 1) (8 3 3 1) (3 2 1 2 5 2) (2 1 1 1 1 4 3 3) (1 1 1 1 1 2 6) (1 1 1 4) (2 3 1 1 2) (2 2 1) (6 1 3) (7 1 1) (8 3 1 2) (2 8 1) (2 3 3 6 1 2) (2 1 4 1 1 1) (2 5 4 1 1) (3 3 3 4 6) (8 4 1 1) (8 5 6) (3 3 2 1) (3 3 2 4 4) (3 3 1 6 6) (3 3 2 2 2 2 2) (3 3 2 2 5 2) (8 8 6) (8 4 4))) (quote ((7 16) (4 19) (3 3 10) (2 2 1 3 2 2) (2 1 6 9) (2 2 1 5 10) (3 6 10) (7 2 4 2) (1 2) (6 2) (16 7) (1 6 3 1) (2 1 4) (2 1 6) (2 6 2 2) (3 1 3 2 2) (3 1 3 6) (3 1 3 4) (3 1 1) (3 6 4) (3 1 1 1 6) (3 8 1 2 2) (4 1 1 1 2 2) (4 1 1 1 8) (4 1 1 3 4))) (quote (" xxxxxxx xxxxxxxxxxxxxxxx" "xxxx  xxxxxxxxxxxxxxxxxxx" "xxx     xxx    xxxxxxxxxx" "xx xx x xxx     xx     xx" "xx    x xxxxxx  xxxxxxxxx" "xx xx x xxxxx  xxxxxxxxxx" "xxx    xxxxxx  xxxxxxxxxx" " xxxxxxx  xx  xxxx     xx" "           x xx          " "          xxxxxx     xx  " "xxxxxxxxxxxxxxxx xxxxxxx " " x        xxxxxx xxx   x " " xx              x  xxxx " "  xx             x xxxxxx" "   xx       xxxxxx xx  xx" "  xxx       x xxx  xx  xx" " xxx        x xxx  xxxxxx" "xxx         x xxx   xxxx " " xxx        x         x  " "  xxx       xxxxxx  xxxx " "   xxx  x      x x xxxxxx" "    xxx xxxxxxxx x xx  xx" "   xxxx x      x x xx  xx" "  xxxx    x x  x xxxxxxxx" " xxxx     x x  xxx  xxxx "))))))