(unit/sig paint-by-numbers:problem-set^ (import paint-by-numbers:problem^) (define set-name "Hattori 91 - 120") (define problems (list (make-problem "Hattori 91" (quote ((5 5) (1 1 1 1) (1 1) (7) (4 1 2 2 3) (6 1 1 1 5) (4 3 1 3 3) (3 7 2) (2 1 1 1) (1 1 3 1 1) (1 1 1) (2 1 3 1 2) (18) (2 3 2) (2 1 4 1 1) (1 6 1) (2 5 2 2) (2 2 4 2 2) (4 3 3) (1 2 1))) (quote ((7) (5 2 3) (4 3 2) (3 2 2) (2 1 2 1 2) (2 2 1 1) (1 1 1 2) (1 5 1 2) (1 1 1 1 2) (5 3 7) (5 10) (4 3 9) (1 2 1 1 2 3) (1 5 1 2) (1 1 1 2) (2 2 1 2) (2 1 2 1 2) (3 1 2) (4 3 2) (7 4))) (quote ("     xxxxxxx        " "    xxxxx  xx xxx   " "    xxxx    xxx xx  " "    xxx     xx   xx " "    xx   x xx x   xx" "xx   xx     x     x " "x     x     x    xx " "x  xxxxx    x   xx  " "x  x   x    x  xx   " "xxxxx  xxx xxxxxxx  " "   xxxxx xxxxxxxxxx " "xxxx   xxx xxxxxxxxx" "x  xx  x    x xx xxx" "x  xxxxx    x  xx   " "x     x     x   xx  " "xx   xx     x    xx " "    xx   x xx x   xx" "    xxx     x    xx " "    xxxx   xxx  xx  " "     xxxxxxx xxxx   "))) (make-problem "Hattori 92" (quote ((5) (5 2) (7 4) (8 5) (9 6) (9 6) (9 8) (1 7 8) (1 4 8) (4 2 7) (1 2 3 6) (2 2 1 5 5) (2 1 1 2 2 5) (1 2 1 5 5) (1 2 2 3 6) (3 2 6) (1 2 7) (4 1 6) (1 1 4) (1 1 3))) (quote ((4) (2 2 1) (9 5) (5 1 1) (6 1 1 2 1) (7 1 4 1) (7) (8 5) (10 2) (10 3 2) (1 3 5 4) (1 2 2) (1 3 5 4) (10 3 5) (10 6) (17) (16) (15) (13) (9))) (quote ("            xxxx    " "    xx     xx  x    " "   xxxxxxxxx   xxxxx" "  xxxxx  x       x  " "  xxxxxx x x xx  x  " " xxxxxxx x xxxx  x  " " xxxxxxx            " " xxxxxxxx xxxxx     " " xxxxxxxxxx   xx    " "xxxxxxxxxx xxx xx   " "x     xxx xxxxx xxxx" "x         xx xx     " "x     xxx xxxxx xxxx" "xxxxxxxxxx xxx xxxxx" " xxxxxxxxxx   xxxxxx" "  xxxxxxxxxxxxxxxxx " "  xxxxxxxxxxxxxxxx  " "   xxxxxxxxxxxxxxx  " "    xxxxxxxxxxxxx   " "      xxxxxxxxx     "))) (make-problem "Hattori 93" (quote ((8 3) (3 1 3 1) (2 3 1) (1 2 2 4) (1 3 1 5) (2 1 1 2 1) (1 2 1 3) (1 2 2) (2 3 1) (3 1 3 2) (8 3) (5 9) (2 4 1) (2 9) (2 6 2) (2 1 4 1 1) (2 9 1) (2 1 1 1) (13 1) (15 3))) (quote ((9) (3 1 3 1) (2 3 2) (1 2 2) (1 2 10) (2 1 1 11) (1 3 2 2) (2 2 2 2 2) (3 3 3 1 2) (3 1 3 9) (7 6 2) (6 2) (1 4 2) (4 4) (1 1 1 2) (1 1 1 2 1) (7 1 2) (5 2 3 6) (1 2 1 1 1) (1 2 1 1))) (quote (" xxxxxxxxx          " "xxx  x  xxx        x" "xx       xxx      xx" "x         xx      xx" "x    xx   xxxxxxxxxx" "xx  x x  xxxxxxxxxxx" "x  xxx    xx      xx" "xx xx    xx    xx xx" "xxx     xxx xxx x xx" " xxx x xxx xxxxxxxxx" "  xxxxxxx  xxxxxx xx" "           xxxxxx xx" "           x xxxx xx" "           xxxx xxxx" "           x x  x xx" "    x      x x xx  x" "   xxxxxxx x xx     " "xxxxx xx xxx  xxxxxx" "x  xx x   x        x" "x  xx     x        x"))) (make-problem "Hattori 94" (quote ((3 5) (2 1 2 1) (2 3 2 1) (2 2 3 1) (2 2 4 1) (2 2 3 1 3) (1 2 4 2 1 2) (1 3 2 5 1) (1 2 3 2 1) (2 4 2 1) (1 1) (2 3 2 1) (1 1 1 2 1) (1 3 2 1) (1 2 1) (1 2 1) (1 1 2 2 1) (3 3 6 2) (5 3 3) (6 10))) (quote ((7) (3 2) (6 3) (4 2) (3 2 3 2) (2 3 1 1 3) (1 4 3 1 1) (6 1 2 1) (2 2 1 1 2) (2 4 1 2) (2 4 2 3) (1 5 1 3 1 1) (1 3 2 6 1) (1 2 2 2 1) (8 1 1 1) (2 1) (5 1) (1 1 2) (2 3) (14))) (quote ("           xxxxxxx  " "         xxx     xx " "    xxxxxx      xxx " "  xxxx            xx" " xxx   xx  xxx    xx" "xx    xxx  x x   xxx" "x   xxxx   xxx   x x" "xxxxxx   x      xx x" "  xx  xx x      x xx" " xx xxxx x       xx " "xx xxxx xx       xxx" "x xxxxx x    xxx x x" "x xxx  xx   xxxxxx x" "x     xx   xx   xx x" "xxxxxxxx   x     x x" "       xx          x" "     xxxxx         x" "     x   x        xx" "     xx          xxx" "      xxxxxxxxxxxxxx"))) (make-problem "Hattori 95" (quote ((3 9) (1 2 1 1 1 2) (1 1 1 2) (5 1 3 1) (4 1 1) (13) (13) (2 3) (8 3) (11 2) (2 5) (11 1) (1 1 1 1 5) (2 1 1 1 2) (2 2 3) (5 2 2) (2 1 4 1 2) (3 4 2 2 2) (6 1 2 5) (3 2 5 2 2))) (quote ((4 3) (1 1 4) (2 2 5) (5 1 1) (4 2 3 3) (4 7 3) (1 5 1 3) (4 2 2 3 2) (1 3 2 1 1 1) (2 1 2 2 4 2 1) (1 1 2 2 1 1 2 1) (2 1 2 2 1 1 1) (1 3 2 3 2) (4 2 2 1 2) (3 3 4 3) (4 6 2) (5 3 2) (3 1 2 1) (3 5) (4))) (quote ("xxxx             xxx" "x  x            xxxx" "xx xx          xxxxx" " xxxxx         x  x " "   xxxx  xx  xxx xxx" "    xxxx xxxxxxx xxx" "x    xxxxx x   xxx  " "xxxx xx xx xxx   xx " "x   xxx xx x    x  x" "xx x xx xx xxxx xx x" "x  x xx xx x  x xx x" "xx x xx xx x    x  x" "x   xxx xx xxx    xx" "xxxx xx xx x     xx " "xxx  xxx xxxx  xxx  " "     xxxx xxxxxx  xx" "      xxxxx xxx   xx" "        xxx x xx  x " "          xxx  xxxxx" "                xxxx"))) (make-problem "Hattori 96" (quote ((4 4) (2 3) (5 8) (3 10) (3 3 1 4) (3 2 2 2 1 1) (3 2 1 1 1) (3 2 1 1 2) (4 2 1 3) (4 1 3) (9 5) (4 6) (14) (1 1 1 2 4) (3 2 3) (6 3 3) (13 3) (4 1 4 4) (3 2 4 1 1) (4 2 5 4))) (quote ((2) (9 1) (1 8 4) (1 9 5) (3 4 5) (1 4 4 4) (2 6 3 3 1) (1 3 9 2) (1 2 1 1 1 4) (1 2 3 1 2 1 1) (3 1 1 1 1 2) (2 3 1 2 4) (2 1 1 5) (3 11) (4 10) (2 6) (5 4 3) (8 1) (7 1) (7))) (quote (" xx                 " "xxxxxxxxx          x" "x xxxxxxxx      xxxx" "x xxxxxxxxx    xxxxx" "xxx     xxxx   xxxxx" " x  xxxx xxxx xxxx  " "xx xxxxxx xxx xxx  x" "x xxx   xxxxxxxxx xx" "x xx x    x x  xxxx " "x xx xxx  x xx  x  x" "  xxx   x x x   x xx" "  xx xxx  x xx  xxxx" "  xx x      x  xxxxx" "  xxx    xxxxxxxxxxx" "  xxxx  xxxxxxxxxx  " "   xx  xxxxxx       " "    xxxxx xxxx   xxx" "          xxxxxxxx x" "           xxxxxxx x" "             xxxxxxx"))) (make-problem "Hattori 97" (quote ((7 3 2) (2 6 3) (12 2 4) (3 6 1) (2 4 3 3) (2 1 1 1 1) (3 1 3) (1 1 1 1) (1 2 3 2) (2 1 4 2) (1 1 1 1) (2 2 3 2) (1 2 1 2) (2 2 2 2) (1 2 2 1 1) (1 2 4 2) (1 2 3 4) (1 5 2 3) (2 1 1 1) (16 1))) (quote ((8 5) (6 3 1 2) (3 3 4 1) (1 1 2 1 1) (1 1 2 1 1) (1 1 2 2 1) (1 1 1 1 2 2 1) (1 1 2 2 2 1 1) (1 1 1 5 1 1 1) (10 1 1 1 1) (3 2 1 1 1) (5 2 2 1) (2 2 4 1) (5 4) (3 1 1) (1 1) (1 4) (8 3) (3 1 1 4 7) (3 3 1 1 1))) (quote ("  xxxxxxxx    xxxxx " " xxxxxx  xxx x    xx" " xxx  xxx  xxxx    x" "x x     xx    x    x" "x x       xx   x   x" "x x        xx  xx  x" "x x x    x  xx  xx x" "x x xx  xx   xx  x x" "x x x   xxxxx x  x x" "xxxxxxxxxx x   x x x" " xxx       xx  x x x" "xxxxx       xx xx  x" "xx xx        xxxx  x" "xxxxx           xxxx" " xxx             x x" "                x  x" "  x             xxxx" " xxxxxxxx      xxx  " "xxx x x xxxx xxxxxxx" "xxx xxx  x x x      "))) (make-problem "Hattori 98" (quote ((3) (7) (2 3 3) (8 1 4) (2 3 5) (10) (9) (3 4) (4 10) (3 10) (3 9) (2 4 4) (2 15) (2 15) (3 13) (4 5 5) (7 7) (18) (17) (13))) (quote ((1 1 8) (3 11) (1 3 5) (1 2 5) (1 2 3 4) (1 1 4 4) (3 5 4) (5 7 3) (6 3 4 3) (2 2 3 4 3) (2 1 2 3 4 3) (2 2 3 4 3) (6 3 4 3) (9 3 4) (8 4 4) (7 9) (5 8) (8) (6) (4))) (quote ("  x x    xxxxxxxx   " "  xxx   xxxxxxxxxxx " "   x    xxx   xxxxx " "   x   xx      xxxxx" "   x   xx xxx   xxxx" "   x   x  xxxx  xxxx" "  xxx    xxxxx  xxxx" " xxxxx  xxxxxxx  xxx" " xxxxxx xxx xxxx xxx" "xx   xx xxx xxxx xxx" "xx x xx xxx xxxx xxx" "xx   xx xxx xxxx xxx" " xxxxxx xxx xxxx xxx" " xxxxxxxxx  xxx xxxx" "  xxxxxxxx xxxx xxxx" "   xxxxxxx xxxxxxxxx" "    xxxxx  xxxxxxxx " "           xxxxxxxx " "            xxxxxx  " "             xxxx   "))) (make-problem "Hattori 99" (quote ((8) (14) (14) (14) (8 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 1) (1 4) (4 6) (6 7) (7 7) (7 6) (6 4) (4))) (quote ((3) (5) (5) (6) (6) (5) (17) (4) (4) (4) (4) (4) (5) (5 3) (4 5) (4 5) (4 6) (4 6) (4 5) (17))) (quote ("                xxx " "               xxxxx" "               xxxxx" "              xxxxxx" "              xxxxxx" "              xxxxx " " xxxxxxxxxxxxxxxxx  " " xxxx               " " xxxx               " " xxxx               " " xxxx               " " xxxx               " "xxxxx               " "xxxxx          xxx  " "xxxx          xxxxx " "xxxx          xxxxx " "xxxx         xxxxxx " "xxxx         xxxxxx " "xxxx         xxxxx  " "xxxxxxxxxxxxxxxxx   "))) (make-problem "Hattori 100" (quote ((3 7) (4 9 2) (4 10 1) (4 1 6 1) (5 1 1 1 2 1) (5 1 1 1 2 1) (5 7 2 1) (16 1) (11 1) (3 8 2) (2 1 11) (2 14) (3 13) (5 11) (3 6 3 3) (2 4 2 4 1) (1 3 2 7) (6 4 2 5) (3 3 2 2 1) (4 3 2))) (quote ((7 3 3) (7 5 1 2) (8 1 3 2) (7 2 2 2) (4 3 2 1) (1 3 3 1) (3 2 3 2) (3 2 2 3) (9 5 2) (3 9 2) (3 1 12) (3 10 2) (14 4) (4 11 1) (4 1 10) (4 12) (8 4 5) (6 2 2 2 1) (1 3 2 2) (10 2 2))) (quote ("xxxxxxx   xxx  xxx  " "xxxxxxx  xxxxx x xx " "xxxxxxxx x  xxx  xx " " xxxxxxx xx  xx  xx " "    xxxx    xxx xx x" "       x   xxx xxx x" "      xxx  xx xxx xx" "      xxx  xx xx xxx" " xxxxxxxxx xxxxx xx " "xxx   xxxxxxxxx xx  " "xxx x xxxxxxxxxxxx  " "xxx   xxxxxxxxxx  xx" "xxxxxxxxxxxxxx  xxxx" "xxxx   xxxxxxxxxxx x" "xxxx x xxxxxxxxxx   " "xxxx   xxxxxxxxxxxx " " xxxxxxxx xxxx xxxxx" "  xxxxxx  xx xx xx x" " x       xxx xx xx  " " xxxxxxxxxx   xx xx "))) (make-problem "Hattori 101" (quote ((5) (7) (9) (1 1 1 1) (1 1) (1 2 1) (2 2) (1 4 1 1) (6 4 7) (1 2 4 2 2) (1 4 4 7) (1 1 1 1 1 1) (3 1 1 1 1) (4 8 1 1) (1 3 1) (1 7 1) (1 4 4 1) (2 9 2) (1 5 5 1) (11))) (quote ((1) (6 3) (1 2 2) (1 4) (1 1 1 2) (1 3 2 4) (11 7) (3 1 1 5) (4 7 5) (3 1 4 1 1 1 1) (4 1 4 1 5) (3 7 5) (6 7) (6 1 4) (3 3 2) (1 1) (1 1) (1 1 2) (3 5) (4))) (quote ("             x      " "        xxxxxx xxx  " "        x   xx   xx " "        x xxxx      " "  x     x x       xx" "  x     xxx xx  xxxx" " xxxxxxxxxxx xxxxxxx" "xxx   x      x xxxxx" "xxxx   xxxxxxx xxxxx" "xxx  x xxxx  x x x x" "xxxx x xxxx  x xxxxx" "xxx    xxxxxxx xxxxx" " xxxxxx      xxxxxxx" "      xxxxxx  x xxxx" "        xxx xxx   xx" "        x x         " "        x x         " "        x x      xx " "        xxx  xxxxx  " "       xxxx         "))) (make-problem "Hattori 102" (quote ((2 7) (1 5 3) (2 7 2 2 1) (1 2 2 2 2 1) (1 2 2 3 1) (1 2 4 6) (4 6 5) (3 6 4) (1 4 1) (3 1 3 1) (6 5 1) (7 5 2) (3 5 3 1) (1 1 1 6 2) (1 2 1 2 3) (1 4 1 5 1) (1 4 4 3) (7 1) (1 1) (4))) (quote ((1 5) (5 1) (1 9) (3 4 3 2) (6 3 1 2) (3 2 2) (2 2 8) (4 9 2) (4 4 3 1 1) (3 4 2 1 1) (1 5 6 1) (1 2 2 2 5 1) (1 2 4 5) (3 4 2) (1 2 4 2) (2 4 2 1) (6 4) (5 3 1) (7 3) (4))) (quote ("  x         xxxxx   " "  xxxxx     x       " "x     xxxxxxxxx     " "xxx xxxx xxx  xx    " "  xxxxxx xxx x xx   " " xxx      xx   xx   " " xx   xx  xxxxxxxx  " "xxxx xxxxxxxxx  xx  " "xxxx xxxx  xxx x x  " "xxx  xxxx   xx   x x" "x   xxxxx   xxxxxx x" "x  xx xx  xx xxxxx x" "x xx     xxxx  xxxxx" "xxx      xxxx  xx   " " x   xx  xxxx xx    " " xx xxxx  xx  x     " "  xxxxxx     xxxx   " "   xxxxx   xxx  x   " "     xxxxxxx    xxx " "  xxxx              "))) (make-problem "Hattori 103" (quote ((7) (2 2) (1 2 2 1) (1 1 1 1) (1 5 1) (1 1 1 1) (9) (9) (1 1 2) (9 4) (9 4) (9 2) (9) (1 1 7) (9 7) (10 2) (1 1 2) (10 2) (9 2) (9 2))) (quote ((3) (1 1) (1 1) (1 4) (1 2 1) (12 2 3) (2 2 4 2 3) (1 1 4 4 2 3) (1 3 2 7 3) (1 1 2 3 1 3) (1 3 2 3 1 3) (1 1 4 3 1 3) (2 2 3 5) (11 2 2) (2) (2 2) (4 7) (4 7) (2 2) (2))) (quote ("            xxx     " "            x x     " "            x x     " "            x xxxx  " "            x xx x  " " xxxxxxxxxxxx xx xxx" "xx    xx xxxx xx xxx" "x x xxxx xxxx xx xxx" "x xxx xx xxxxxxx xxx" "x   x xx xxx   x xxx" "x xxx xx xxx   x xxx" "x x xxxx xxx   x xxx" "xx    xx xxx   xxxxx" " xxxxxxxxxxx xx   xx" "             xx     " "         xx  xx     " "        xxxx xxxxxxx" "        xxxx xxxxxxx" "         xx  xx     " "             xx     "))) (make-problem "Hattori 104" (quote ((11) (1 1) (1 1) (2 1 1 1) (5 1) (3 1) (5 1) (7 1) (9 1) (9 1) (8 1) (6 4 1) (1 3 1) (3 2 3 1) (2 1 4 1) (1 3 5 1) (1 1 4 1) (5 5) (7 4 1) (9 5))) (quote ((3) (3) (6) (2 3) (1 1 3) (3 1 2) (2 1 2 2) (1 5 1) (2 6 1) (1 8) (12) (1 7 2) (1 2 6 1 1) (1 5 1 1) (1 9 2) (1 9) (1 8) (1 5) (1 1) (19))) (quote ("                 xxx" "                 xxx" "              xxxxxx" "             xx  xxx" "             x x xxx" "           xxx x  xx" "        xx x   xx xx" "   x   xxxxx       x" "   xx xxxxxx       x" "x   xxxxxxxx        " "xxxxxxxxxxxx        " "x   xxxxxxx  xx     " "x  xx xxxxxx x     x" "x      xxxxx   x   x" "x       xxxxxxxxx xx" "x          xxxxxxxxx" "x           xxxxxxxx" "x             xxxxx " "x                x  " "xxxxxxxxxxxxxxxxxxx "))) (make-problem "Hattori 105" (quote ((3) (2 6) (2 2 2) (2 2 2) (13) (1 2) (1 3 3 1) (1 1 1 1 1 1) (1 3 3 1) (3 1) (1 4 1) (1 4 1 1) (1 1 2 1 2 1) (1 1 2 1 1 1) (4 2 3 1) (1 2) (2 1) (3 2) (4 2) (11))) (quote ((6) (1 1) (7 3) (3 3) (2 1 3 2) (2 1 1 1 1 1) (1 1 3 4 2) (2 1 4 1) (2 1 3 1 1) (4 1 1 2) (1 2 3 5 1) (1 1 1 1 1) (2 1 1 3 1) (3 1 1 1) (3 1) (11 1) (3 1) (3) (2) (1))) (quote ("         xxxxxx     " "         x    x     " "   xxxxxxx  xxx     " "  xxx         xxx   " " xx x xxx       xx  " "xx  x x x  x     x  " "x   x xxx  xxxx  xx " "xx  x      xxxx   x " " xx x xxx  x      x " " xxxx x x         xx" " x xx xxx xxxxx    x" " x  x     x   x    x" " xx x     x xxx    x" "  xxx     x x      x" "   xxx             x" "     xxxxxxxxxxx   x" "               xxx x" "                 xxx" "                  xx" "                   x"))) (make-problem "Hattori 106" (quote ((3 3 4) (2 1 3 1 2 1) (1 9 1 4) (13 1) (9 4) (3 4 1) (1 2 3 1 4) (1 7 1 1 2 1) (2 1 3 2 4 1) (2 1 1 2 1) (2 1 2 2 1) (1 1 1 4) (1 1 1 1 1) (2 1 2 3) (1 1 1 1) (1 1 1 4) (1 3 1 2 1) (1 5 1 4) (1 7 1 2 1) (13 4))) (quote ((1 1 6) (3 4 4 1) (1 1 2 1) (8 1) (5 2 2) (1 3 1 3) (5 2 4) (4 13) (5 2 4) (1 3 2 3) (5 1 2) (7 1) (1 1 3 1) (3 1 4 1) (1 4 6) (1) (20) (1 1 1 6 1 5) (1 1 1 1 3 1 1 1) (1 1 1 6 5))) (quote (" x      x    xxxxxx " " xxx xxxx xxxx     x" "   x x   xx        x" "  xxxxxxxx         x" "xxxxx xx          xx" "x xxx  x         xxx" "xxxxx  xx       xxxx" " xxxx  xxxxxxxxxxxxx" "xxxxx  xx       xxxx" "x xxx xx         xxx" "xxxxx x           xx" "  xxxxxxx          x" "   x x  xxx        x" " xxx x    xxxx     x" " x   xxxx    xxxxxx " "        x           " "xxxxxxxxxxxxxxxxxxxx" "x x x xxxxxx x xxxxx" "x x x x    xxx x x x" "x x x xxxxxx   xxxxx"))) (make-problem "Hattori 107" (quote ((1) (1 5) (1 1 1 1) (1 8) (1 4 1 2) (1 14) (1 4 9 1) (1 1 1 3) (2 12 2) (5 2 1 2 6) (8 8) (1 2 2 2 2 3) (1 13) (1 4 4) (1 1 1 1) (1 1 1 1) (1 7) (1 1 1) (1 3 3) (1 1 1))) (quote ((3) (19) (2) (2 5) (3 6) (4 1 1 2) (15 1) (1 3 6 4) (1 1 2 1 1 1 1) (7 2 1 3) (1 1 2 1 1 1 1) (1 4 6 4) (15 1) (2 1 1 2) (2 6) (2 4) (2 2) (5) (6) (1 1 1))) (quote ("        xxx         " " xxxxxxxxxxxxxxxxxxx" "         xx         " "     xx xxxxx       " "    xxx xxxxxx      " "   xxxx x x xx      " "  xxxxxxxxxxxxxxx x " " x xxx  xxxxxx  xxxx" " x x xx x   x   x x " "xxxxxxx xx  x xxx   " " x x xx x   x   x x " " x xxxx xxxxxx  xxxx" "  xxxxxxxxxxxxxxx x " "     xx x x xx      " "     xx xxxxxx      " "     xx  xxxx       " "     xx  xx         " "       xxxxx        " "      xxxxxx        " "       x x x        "))) (make-problem "Hattori\n108" (quote ((11 7) (1 2 1 1 9) (1 1 1 3 10) (6 2 1 10) (1 4 1 10) (1 4 1 1 5) (1 1 3 1 1) (1 2 1 2 1 4 3) (3 1 3 4 3) (1 1 1 2 1 1 1) (11 4 3) (1 1) (1 1 6) (1 1 1 6) (1 4 1 4) (1 2 1 2 2) (3 1 1 5) (5 3 1 1) (6 2 1 1 1) (6 2 1 11) (2 4 1 8) (1 4 2 8) (12 12) (4 1 8) (4 3 2 1) (4 3 2 2 1) (4 1 8 1) (4 1 1) (4 4 1) (6 15))) (quote ((16 4) (1 1 1 1 8) (2 1 2 1 3 7) (4 3 1 3 8) (1 3 1 4 1 4) (11 6 1 2) (1 3 1 8 1) (1 2 2 1 6 2) (1 2 2 1 3 5) (1 1 1 1 2 2 1 1) (11 6 1 2 2) (1 1 3 1) (2 5 2 1) (2 2 2 1) (5 1 1 1) (3 1 1 1 1) (15 1 1 1 1) (4 4 2 5 1 1) (5 2 1 2 1 5 1 1) (5 4 3 1 8 1) (6 3 1 8 1) (6 3 8 1) (6 4 3 5 1) (6 2 1 2 5 1) (6 4 11))) (quote ("xxxxxxxxxxxxxxxx      xxxx    " "x  x    x x         xxxxxxxx  " "xx x   xx x       xxx xxxxxxx " "xxxx xxx  x      xxx  xxxxxxxx" "x  xxx    x     xxxx  x   xxxx" "xxxxxxxxxxx    xxxxxx x     xx" "x   xxx   x    xxxxxxxx      x" "x  xx xx  x      xxxxxx     xx" "x xx   xx x         xxx  xxxxx" "x x     x x       xx xx  x  x " "xxxxxxxxxxx   xxxxxx  x xx  xx" "              x  x    xxx    x" "             xx  xxxxx  xx   x" "              xx     xx  xx  x" "               xxxxx  x   x  x" "  xxx              x  x   x  x" " xxxxxxxxxxxxxxx   x  x   x  x" " xxxx  xxxx    xx  xxxxx  x  x" "xxxxx  xx x xx  x  xxxxx  x  x" "xxxxx  xxxx xxx x  xxxxxxxx  x" "xxxxxx      xxx x  xxxxxxxx  x" "xxxxxx      xxx xxxxxxxx     x" "xxxxxx xxxx xxx    xxxxx     x" "xxxxxx xx x xx     xxxxx     x" "xxxxxx xxxx        xxxxxxxxxxx"))) (make-problem "Hattori 109" (quote ((11 7) (13 11) (16 13) (31) (9 18) (7 17) (4 1 1 1 2 8) (3 1 1 1 1 2 6) (3 2 3 1 2 2 6) (3 1 1 2 2 5) (5 2 1 8 4) (4 2 3 1 1 1 4) (3 3 1 1 1 3) (4 4 1 2 5) (1 7 6 1 2) (2 1 2 2 1 2 3) (4 1 2 2 2 5) (4 11 4 1) (10 2 2 1 3) (20 1 1 2) (2 4 3 3 3 2 4) (1 2 4 2 2 5 1) (1 5 1 1 1 2 3 1 1) (1 1 5 6 1 2 5) (1 1 5 4 1 1 1 1) (1 1 1 5 1 1 1) (1 1 5 5 1) (1 3 4 2 1) (1 2 3 6 1) (4 4 3 3 2 1) (17 12) (10 7 9))) (quote ((8 8 1) (10 3 2 2) (13 4 4) (7 4 4 3) (6 2 4 6 3) (6 1 8 3) (6 8 2) (5 2 5 2) (5 1 2 1 2 3 2) (4 1 1 3 4 3) (4 3 1 4 6 1 2) (4 2 1 1 3 2 5) (4 4 21) (4 8 2) (4 1 2 1 2 10) (12 1 3 9) (4 18) (7 6 5 2) (13 1 1 3 2 2) (5 1 1 7 4) (6 1 3 1 4) (6 4 1 2 2 3 2 2) (6 2 2 1 2 2) (6 1 4 2 4) (7 1 1 2 2 3 3) (7 1 1 1 1 2) (9 2 1 1 2) (9 1 2 3 1 2) (11 1 1 2 4 1) (13 2 2 1 1 1) (16 2 1 1) (13 10))) (quote ("   xxxxxxxx       xxxxxxxx     x" "  xxxxxxxxxx      xxx     xx  xx" " xxxxxxxxxxxxx  xxxx        xxxx" "xxxxxxx   xxxx  xxxx         xxx" "xxxxxx xx xxxx xxxxxx        xxx" "xxxxxx  x    xxxxxxxx        xxx" "xxxxxx            xxxxxxxx    xx" "xxxxx     xx      xxxxx       xx" "xxxxx   x xx  x   xx  xxx     xx" "xxxx    x     x  xxx xxxx    xxx" "xxxx  xxx  x  xxxx xxxxxx  x xx " "xxxx       xx x  x xxx xx  xxxxx" "xxxx  xxxx xxxxxxxxxxxxxxxxxxxxx" "xxxx        xxxxxxxx          xx" " xxxx   x    xx  x xx xxxxxxxxxx" "  xxxxxxxxxxxx   x xxx xxxxxxxxx" "  xxxx        xxxxxxxxxxxxxxxxxx" "   xxxxxxx    xxxxxx   xxxxx  xx" "  xxxxxxxxxxxxx  x x xxx xx xx  " " xxxxx    x   x  xxxxxxx    xxxx" "xxxxxx    x   xxx   x       xxxx" "xxxxxx   xxxx x xx xx xxx  xx xx" "xxxxxx   xx      xx   x    xx xx" "xxxxxx    x      xxxx xx    xxxx" "xxxxxxx   x  x   xx xx xxx   xxx" "xxxxxxx   x  x       x    x   xx" "xxxxxxxxx     xx     x    x   xx" " xxxxxxxxx   x xx    xxx  x   xx" " xxxxxxxxxxx x  x   xx xxxx   x " " xxxxxxxxxxxxx xx  xx  x  x   x " "  xxxxxxxxxxxxxxxx xx  x      x " "    xxxxxxxxxxxxx   xxxxxxxxxx  "))) (make-problem "Hattori 110" (quote ((2 2 8 5) (3 1 2 1 4 1 1 3) (1 3 8 7 2) (3 4 2 2 4 4 2) (2 1 5 2 2 5 4) (2 1 5 1 5 3) (4 1 2) (4 3 2) (4 2) (4 6 2) (5 10 3) (1 8 1) (30) (1 5 5 6 7 1) (11 3 1 2 1) (3 8 8 1) (1 23) (1 2 9 9 1) (1 3 10 5 2 1) (1 6 1 2 3 1 1 2 1) (3 2 14 1 1 1) (1 1 2 13 1 2 1) (1 1 4 6 1 1) (2 1 2 7 2 1) (2 2 1 1 1) (2 2 2 2) (1 5 2 2) (1 4 2 2) (1 5 2 2) (1 7 3 2) (1 10 7 2) (30))) (quote ((2 4 5) (3 5 2 2 1) (1 8 1 2 2 1) (12 1 4 1) (2 1 4 2 1) (1 1 1 6 2 1) (2 2 7 3) (1 2 3 1 2 1 5) (4 1 8 5) (5 6 2 2 5) (2 2 8 1 1 6) (4 10 2 1 4) (5 12 1 3) (1 1 7 3 2 2) (1 2 3 10 2 2) (1 2 5 4 4 2) (2 4 5 6 1 1) (2 1 5 1 6 1) (2 1 5 3 4 1) (2 1 5 8 1) (1 2 5 3 5 2) (1 2 3 9 2 2) (5 1 7 4 1 2) (4 9 1 1 3) (2 2 2 4 2 1 6) (4 8 1 5) (4 2 3 2 2) (1 2 5 1 1 1) (1 2 3 2 1) (2 2 1 1 2 1) (16 1 7) (11 14))) (quote ("xx    xxxx      UUUUUUUUUUUUUUU " "xxx   xxxxx xx  UUUUUUUUUUUUUUU " " x xxxxxxxx x   UUUUUUUUUUUUUU x" "  xxxxxxxxxxxx  UUUUUUUUUUUUUU x" "  xx      x xxxx  UUUUUUUUUUUU x" "  x  x    x xxxxxx UUUUUUUUUU  x" "xx xx       xxxxxxx          xxx" "x xx        xxx x xx x     xxxxx" "  xxxx      x xxxxxxxx     xxxxx" " xxxxx      xxxxxx xx xx   xxxxx" " xx xx      xxxxxxxx x  x xxxxxx" "  xxxx      xxxxxxxxxx xx x xxxx" " xxxxx      xxxxxxxxxxxx  x  xxx" "  x       x xxxxxxx xxx  xx   xx" "x xx      xxx xxxxxxxxxx xx   xx" "x  xx    xxxxx xxxx xxxx      xx" "xx  xxxx xxxxx  xxxxxx x       x" "xx     x xxxxx  x xxxxxx       x" "xx     x xxxxx  xxx xxxx       x" "xx  x    xxxxx  xxxxxxxx       x" "x  xx    xxxxx xxx xxxxx      xx" "x xx      xxx xxxxxxxxx xx    xx" " xxxxx    x xxxxxxx xxxx x    xx" "  xxxx      xxxxxxxxx  x  x  xxx" " xx xx      xx xxxx xx  x xxxxxx" "  xxxx      xxxxxxxx  x    xxxxx" "  xxxx      xx xxx  xx        xx" "x xx        xxxxx x  x         x" "x  xx       xxx   xx           x" "xx  xx    x x      xx          x" "xxxxxxxxxxxxxxxx x       xxxxxxx" "xxxxxxxxxxx       xxxxxxxxxxxxxx"))) (make-problem "Hattori 111" (quote ((7) (1 1 2 6) (2 2 1 7) (5 1 8) (8 1 9) (5 1 10) (3 1 10) (2 2 6) (5) (1 4) (1 1 6) (3 1 8) (4 1 1 7) (1 3 1 1 1 3) (3 1 1 1 2) (6 3 1 1) (1 2 2 1 4 1) (8 3 6) (3 2 1 1 10) (8 1 6) (5 3 12) (2 4 2 1 5) (4 4 1 8) (6 1 2 3 1) (3 2 1 1 4) (1 3 4 1 1 1 2) (4 2 1 1 2 2 1) (2 8 4) (7 2) (2 1 1 1 3))) (quote ((2 9 3 4) (3 2 2 8 2) (1 4 10 5) (7 2 3 5 2) (3 3 5 3) (4 5 4) (3 2 5 2) (2 4 1 3 1) (4 1 3) (1 4) (7 1 3) (2 2 6 2) (1 8 1 4 3) (1 1 4 1 4) (2 2 4 1 1 1 2) (9 2 2 1 1) (8 3 1 3 1 4) (8 4 4 2 2) (7 4 6 1 1) (7 5 13) (5 14 4) (5 4 8) (4 1 5 1) (3 1 1 2) (2 5))) (quote ("    xx    xxxxxxxxx xxx xxxx  " "    xxx    xx xx xxxxxxxx xx  " "  x xxxx   xxxxxxxxxx xxxxx   " " xxxxxxx    xx xxx xxxxx xx   " "   xxx       xxx xxxxx xxx    " " xxxx          xxxxx xxxx     " "  xxx           xx xxxxx  xx  " "   xx            xxxx x  xxx x" "                   xxxx  x xxx" "                     x   xxxx " " xxxxxxx                 x xxx" "xx     xx      xxxxxx      xx " "x       xxxxxxxx x  xxxx   xxx" "x       x      xxxx x    xxxx " "xx     xx  xxxx x x x       xx" "xxxxxxxxx xx   xx x x         " "xxxxxxxx xxx x  xxx x  xxxx   " "xxxxxxxx xxxx    xxxx xx  xx  " " xxxxxxx xxxx    xxxxxx    x x" " xxxxxxx xxxxx   xxxxxxxxxxxxx" "  xxxxx   xxxxxxxxxxxxxx  xxxx" "  xxxxx    xxxx  xxxxxxxx     " "   xxxx     x     xxxxx x     " "    xxx     x         x xx    " "     xx               xxxxx   "))) (make-problem "Hattori\n112" (quote ((3 6) (9 4) (1 1 1 5) (2 2 2 3) (1 1 1 1) (1 2 1) (15 1) (4 1 4) (3 1 4) (3 5) (7) (6 1) (7 2) (8 1 3) (7 3 3) (1 2 1 1 6) (1 3 4) (1 2 1) (1 1 2) (20))) (quote ((1 1) (2 1) (3 1) (1 4 1 1) (1 9 1) (3 1 7 1) (2 2 1 5 1) (3 15) (2 2 1 7 1) (3 1 7 1) (1 5 4 1) (1 4 1) (3 6) (2 2 2 1) (1 1 1 3 1) (1 2 1 1) (3 1 3 2) (6 7) (4 5 1) (7 3 2 1))) (quote ("      x            x" "      xx           x" "      xxx          x" " x    xxxx   x     x" " x    xxxxxxxxx    x" " xxx  x  xxxxxxx   x" "xx xx x   xxxxx    x" "xxx  xxxxxxxxxxxxxxx" "xx xx x  xxxxxxx   x" " xxx  x xxxxxxx    x" " x    xxxxx xxxx   x" " x    xxxx         x" "      xxx     xxxxxx" "      xx     xx xx x" "x  x  x       xxx  x" "x xx           x   x" "xxx  x        xxx xx" "xxxxxx       xxxxxxx" "xxxx        xxxxx  x" "xxxxxxx    xxx xx  x"))) (make-problem "Hattori 113" (quote ((9) (1 3) (1 1 1 3) (4 1 1) (1 4 1 1 1) (2 1 3 1) (4 2 6) (1 3 1) (1 1 1 1) (1 3 7 1) (8 1) (1 7 1) (10) (3 1 2 1) (5 1 4) (5 1 1) (5 7) (3 1 1) (1 1) (10 5 3))) (quote ((3 1) (2 5 1) (1 1 1 1 5 1) (1 2 5 1) (1 1 3 1) (1 1 1) (6 1) (1 1 1) (1 1 1) (3 1 1 1) (1 3 9) (1 1 2 4 1 1) (1 1 2 4 4) (1 1 1 4 1 1) (1 2 4 4) (3 2 4 1 1) (5 1 9) (3 1 3 1) (1 1 1 1) (9 1))) (quote ("              xxx  x" "   xx        xxxxx x" "   x x   x x xxxxx x" "   x xx      xxxxx x" "   x  x       xxx  x" "    x x            x" "    xxxxxx         x" "    x    x         x" "    x    x         x" "xxx  x    x        x" "x  xxx  xxxxxxxxx   " "x x  xx  xxxx   x  x" "x   x xx xxxx   xxxx" "x x    x xxxx   x  x" "x     xx xxxx   xxxx" "xxx  xx  xxxx   x  x" "xxxxx x xxxxxxxxx   " "xxx   x     xxx    x" "      x     x x    x" "      xxxxxxxxx    x"))) (make-problem "Hattori 114" (quote ((8 7) (10 7) (12 1 1) (4 1 1 1) (3 1 1 3) (3 1 1 1 1 4) (2 3 4 3 3) (2 1 4) (3 1 3 2) (2 1 2) (2 3 1 2) (2 3 2) (2 3 2 2) (6 1 3) (5 3 5) (6 2 2) (7 2 2 1) (3 8 1 6) (3 7 3 1 1 1) (3 6 2 5 4) (4 4 3 8 2) (6 1 4 5) (4 5) (2 4) (1 4))) (quote ((6 7) (9 9) (5 4 11) (4 6 4) (3 1 8 2 1) (3 1 9) (3 2 1 1 5) (3 1 2 5) (3 2 1 1 4 1) (3 1 1 1 3 4) (3 1 1 2 2 5) (11 1 2 6) (1 2 2 7) (4 2) (2 2 3) (3 3 3) (3 2 1 1 3) (8 2 1 2 3) (2 2 1 5) (2 2 3 2) (2 2 1 1 1) (2 3 1 2) (2 3 3) (6 2) (3))) (quote ("   xxxxxx      xxxxxxx   " "  xxxxxxxxx   xxxxxxxxx  " " xxxxx  xxxx xxxxxxxxxxx " "xxxx       xxxxxx   xxxx " "xxx   x     xxxxxxxx xx x" "xxx   x      xxxxxxxxx   " "xxx  xx   x  x  xxxxx    " "xxx       x xx   xxxxx   " "xxx  xx   x x    xxxx x  " "xxx   x     x x  xxx xxxx" "xxx   x    x xx  xx xxxxx" " xxxxxxxxxxx  x xx xxxxxx" "  x        xx  xx xxxxxxx" "            xxxx xx      " "       xx    xx   xxx    " "      xxx   xxx    xxx   " "      xxx  xx x x  xxx   " "xxxxxxxx  xx  x xx xxx   " "xx       xx    x xxxxx   " "xx      xx     xxx  xx   " "xx   xx x        x  x    " "xx  xxx          x xx    " "xx  xxx          xxx     " "xxxxxx             xx    " "                  xxx    "))) (make-problem "Hattori 115" (quote ((11 12 4) (1 12 3) (1 2 1 12 3) (1 2 1 1 4 3 2 3) (1 1 2 1 1 1 1 2) (6 6 2 2 3 1) (1 9 4) (3 1 7 3 6) (1 1 1 4 2 2 8) (3 2 2 3 9) (4 3 4 10 4) (7 10 1 1) (2 1 2 8 2 1) (2 1 2 9 1 1) (3 4 2 1 2 4) (1 3 5 1 2) (1 1 1 2 1 1 1 3) (1 1 1 1 11 2) (1 1 1 1 2 2 2 2) (1 3 3 2 1 2 1 1) (3 5 3 2 3 1 1) (2 2 2 1 2 7 1) (2 1 2 2 5 4) (2 2 2 4 2 4) (7 8 5))) (quote ((1 4 2 8) (1 1 2 2 3) (1 9 4 2 2) (1 2 1 1 3 5 2) (1 1 3 1 1 2 1) (1 2 3 1 2 1) (1 2 2 1 5) (1 3 5 1 2) (1 1 1 1 2 2 1) (1 1 2 2 5 2) (4 4 1 2 1 2 2) (4 1 3 3) (4 1 3 3 1) (2 3 1 4 2) (3 3 4) (12 6 3) (4 7 4 2) (4 1 5 1 2 1) (6 1 4 1 2 1) (3 2 4 1 1 1) (6 2 4 3 1) (4 1 5 7) (4 6 1 5) (3 8 1 2) (12 2 1 2) (2 5 4 4) (1 6 3 2 4) (4 7 1 1 5) (5 4 1 3 2) (6 7 6 1))) (quote ("x xxxx   xx   xxxxxxxx   " "x    x   xx  xx     xxx  " "x xxxxxxxxx xxxx   xx xx " "x xx x x  xxx  xxxxx   xx" "x    x xxx x   x   xx   x" "x   xx   xxx  x     xx  x" "x  xx     xx  x     xxxxx" "x     xxx xxxxx     x  xx" "x     x  x x  xx   xx   x" "x     x xx xx  xxxxx   xx" "xxxx xxxx x xx x   xx xx " "     xxxx x  xxx    xxx  " "     xxxx x   xxx  xxx  x" "xx   xxx  x     xxxx   xx" "xxx  xxx             xxxx" "xxxxxxxxxxxx xxxxxx   xxx" "xxxx   xxxxxxx   xxxx  xx" "xxxx x   xxxxx   x  xx  x" "xxxxxx x  xxxx   x   xx x" "xxx    xx xxxx   x    x x" "xxxxxx xx xxxx  xxx   x  " "xxxx x   xxxxx   xxxxxxx " "xxxx    xxxxxx   x xxxxx " "xxx    xxxxxxxx  x  xx   " "xxxxxxxxxxxx  xx x   xx  " "  xx xxxxx     xxxx  xxxx" "x    xxxxxx xxx   xx xxxx" "xxxx  xxxxxxx x x   xxxxx" "xxxxx  xxxx   x xxx    xx" "xxxxxx  xxxxxxx xxxxxx  x"))) (make-problem "Hattori 116" (quote ((3 2) (7) (9) (9) (6) (2 3 2) (4 2) (12 1) (15) (5 11) (3 11) (3 13) (2 13) (2 14) (16) (15) (9 5) (8 4) (7 4) (11))) (quote ((8) (11) (3 6) (3 7) (2 8) (2 9) (2 9) (11 1) (10 1) (10 2) (14) (2 15) (3 14) (3 11) (6 10) (6 8) (6 7) (4 5) (7) (1 6))) (quote ("           xxxxxxxx " "         xxxxxxxxxxx" "         xxx  xxxxxx" "        xxx  xxxxxxx" "        xx  xxxxxxxx" "        xx xxxxxxxxx" "       xx  xxxxxxxxx" "       xxxxxxxxxxx x" "       xxxxxxxxxx  x" "      xxxxxxxxxx  xx" "      xxxxxxxxxxxxxx" "  xx xxxxxxxxxxxxxxx" " xxx xxxxxxxxxxxxxx " " xxx   xxxxxxxxxxx  " "xxxxxx xxxxxxxxxx   " "xxxxxx xxxxxxxx     " "xxxxxx xxxxxxx      " " xxxx  xxxxx        " "xxxxxxx             " "x xxxxxx            "))) (make-problem "Hattori 117" (quote ((15 3) (15 4) (2 3 1 3 2 4) (2 1 5 1) (15 2 3) (3 3 2 2 1 2) (3 3 1 1 3) (14 3 1) (15 1 2 2) (5 6 1 1 1) (18 1 3) (5 5 2 5) (7 7 7) (7 7 6) (15 5) (15 4) (15 5) (15 8) (15 1 2) (3 1 2) (3 1 2) (3 8) (3 2) (3 4) (7 4))) (quote ((19) (19) (2 15) (3 1 12) (3 1 12 1) (3 1 2 1 7 1) (2 5 1 13) (9 1 11) (2 5 1 13) (3 1 2 1 7 1) (3 1 12 1) (3 1 12) (2 15) (6 12) (5 11) (1 2) (1 1) (2 5 5) (2 1 2 1 1) (4 2 1 1) (7 2 1) (2 3 7 1 2) (5 12 1 2) (3 3 1 15) (3 1 15))) (quote ("xxxxxxxxxxxxxxxxxxx      " "xxxxxxxxxxxxxxxxxxx      " "xx  xxxxxxxxxxxxxxx      " "xxx x  xxxxxxxxxxxx      " "xxx x  xxxxxxxxxxxx     x" "xxx x  xx x xxxxxxx     x" "xx  xxxxx x xxxxxxxxxxxxx" "xxxxxxxxx x   xxxxxxxxxxx" "xx  xxxxx x xxxxxxxxxxxxx" "xxx x  xx x xxxxxxx     x" "xxx x  xxxxxxxxxxxx     x" "xxx x  xxxxxxxxxxxx      " "xx  xxxxxxxxxxxxxxx      " "xxxxxx xxxxxxxxxxxx      " "xxxxx   xxxxxxxxxxx      " "   x     xx              " "   x      x              " "   xx  xxxxx     xxxxx   " "    xx x   xx    x   x   " "     xxxx   xx   x   x   " "        xxxxxxx xx   x   " " xx xxx    xxxxxxx   x xx" "xxxxx xxxxxxxxxxxx   x xx" "xxx xxx x xxxxxxxxxxxxxxx" "xxx  x    xxxxxxxxxxxxxxx"))) (make-problem "Hattori 118" (quote ((11) (12) (7 1) (6 2 2) (6 2 1) (4 1) (5 2 2) (8 1 3) (11 1) (8 5 3) (7 9) (6 5 2) (6 4 1) (6 1 1) (6 4 2) (6 4 1 1) (6 4 2 2) (6 4 2 2) (5 4 2 1) (3 11))) (quote ((10) (12) (13) (14) (14) (14) (5) (3 2 6) (5 2 3 6) (7 1 3 6) (20) (6 3 1) (5 2 2 1) (5 2 2 1) (3 2 3) (2 2 2 2) (2 2 1 6 1) (2 1 1 3 1) (4 4 2) (2 4 2))) (quote ("        xxxxxxxxxx  " "       xxxxxxxxxxxx " "      xxxxxxxxxxxxx " "      xxxxxxxxxxxxxx" "      xxxxxxxxxxxxxx" "      xxxxxxxxxxxxxx" "      xxxxx         " "       xxx xx xxxxxx" " xxxxx xx xxx xxxxxx" "xxxxxxx x xxx xxxxxx" "xxxxxxxxxxxxxxxxxxxx" "xxxxxx   xxx       x" "xxxxx    xx    xx  x" "xxxxx    xx     xx x" "xxx      xx      xxx" "xx xx     xx      xx" "xx xx  x xxxxxx    x" "xx     x x    xxx  x" "xxxx  xxxx      xx  " "xx xxxx          xx "))) (make-problem "Hattori 119" (quote ((12) (1 11) (3 3 3) (1 1 1 1) (1 1 1) (3 1 3 1 3 3) (3 1 1 5 2 1) (2 13 5) (7 5 3 4) (11 3 5) (3 2 2 3 7) (5 3 9) (8 1 1 4) (4 5 5 3) (3 3 2 1 2) (3 2 1 2) (4 3 2 2) (5 4) (9 1 2 3) (2 7 12) (1 6 6 5) (2 2 3 5 1) (3 2 2 2 2 2) (7 2 6 2) (8 3 7) (4 7 9) (3 3 2 4 5) (2 2 1 3 5) (2 3 2 3 4) (8 4 1))) (quote ((3 6 6) (1 1 7 9) (3 2 3 1 2 7) (2 2 4 1 3 2) (6 3 7 2 1) (3 14 3 1) (4 1 7 9 2) (2 1 1 1 2 5 6) (4 1 7 4 5) (3 8 3 2 1) (6 3 3 4 2 2) (2 2 5 10) (1 3 2 4 6) (3 3 1 3 1) (7 2 5) (5 2 6) (3 1 2 2 7) (7 9) (3 1 10) (7 1 1 1 3) (5 1 11) (7 13) (9 2 3 4) (1 1 6 2 2 3) (3 4 5 4))) (quote ("xxx  xxxxxx          xxxxxx   " "x x xxxxxxx        xxxxxxxxx  " "xxx  xx xxx     x xx  xxxxxxx " "xx      xx   xxxx x    xxx  xx" "xxxxxx xxx  xxxxxxx    xx    x" "xxx   xxxxxxxxxxxxxx  xxx    x" "xxxx x xxxxxxx   xxxxxxxxx  xx" "xx   x x x xx    xxxxx  xxxxxx" "xxxx x xxxxxxx   xxxx    xxxxx" "xxx   xxxxxxxx    xxx    xx  x" "xxxxxx xxx  xxx   xxxx  xx  xx" "xx     xx   xxxxx  xxxxxxxxxx " " x    xxx xx xxxx    xxxxxx   " "     xxx xxx    x xxx        x" "     xxxxxxx       xx    xxxxx" "     xxxxx         xx   xxxxxx" "      xxx  x xx    xx  xxxxxxx" "          xxxxxxx xxxxxxxxx   " "         xxx x  xxxxxxxxxx    " "        xxxxxxx  x x x xxx    " "       xxxxx x   xxxxxxxxxxx  " "      xxxxxxx   xxxxxxxxxxxxx " "     xxxxxxxxx xx xxx    xxxx " "     x x  xxxxxx   xx xx  xxx " "     xxx   xxxx    xxxxx  xxxx"))) (make-problem "Hattori 120" (quote ((2) (2 2 3) (3 2 4 3 3) (3 2 6 6) (3 4 4 4 1) (9 5 1) (17 1) (17 1) (16 2) (18) (16) (13) (11) (9) (8) (2 3) (3 2 2) (1 3 1) (1 2 2) (1 3 3) (2 14) (15) (12) (10) (8))) (quote ((5) (1 2) (1 2 1) (2 5) (4 7) (5 2 5) (5 2 5) (5 1 5) (7 1 5) (9 1 5) (11 1 5) (2 11 5) (1 1 10 5) (3 10 5) (5 8 1 5) (5 8 2 5) (3 8 5) (1 1 9) (2 9) (13) (11) (9) (3 2) (2 3) (8))) (quote ("                xxxxx    " "                x   xx   " "  x             xx   x   " "  xx             xxxxx   " "  xxxx          xxxxxxx  " "   xxxxx       xx  xxxxx " "    xxxxx     xx    xxxxx" "     xxxxx    x     xxxxx" "    xxxxxxx   x     xxxxx" "   xxxxxxxxx  x     xxxxx" "  xxxxxxxxxxx x     xxxxx" " xx xxxxxxxxxxx     xxxxx" " x x xxxxxxxxxx     xxxxx" "  xxx xxxxxxxxxx    xxxxx" "xxxxx xxxxxxxx x   xxxxx " "xxxxx xxxxxxxx xx xxxxx  " "  xxx xxxxxxxx  xxxxx    " " x x xxxxxxxxx           " " xx  xxxxxxxxx           " " xxxxxxxxxxxxx           " "  xxxxxxxxxxx            " "   xxxxxxxxx             " "  xxx    xx              " "  xx    xxx              " "  xxxxxxxx               "))))))
