(unit/sig paint-by-numbers:problem-set^ (import paint-by-numbers:problem^) (define set-name "Kajitani 40x30") (define problems (list (make-problem "19980501bGOS (1)" (quote (() () () () () () () () () (37) (37) (1 1 1 1 2 2 2 1 1 1 1 2 2) (1 1 1 3 1 1 1 1 2 1 3 1 2 1 1 1) (1 1 1 3 1 1 3 2 1 3 1 1 2 3) (1 1 1 3 2 1 2 6 2) (1 1 1 3 1 3 1 2 1 4 7 1) (1 1 1 3 1 1 1 1 2 1 4 5 1 1) (1 1 1 1 1 2 2 2 1 2 6 2) (37) (6 3) (6 5 1 4 1 6 3) (6 3) (37) () () () () () () ())) (quote (() (14) (2 5) (5 8) (2 5) (14) (2 5) (2 2 2 1 1) (2 2 2 1 1) (10 1 1) (2 1 1 1) (2 2 4 1 1) (2 1 1 1 1) (10 1 1) (3 2 2 1) (2 2 2 1 1) (3 2 2 1 1) (10 1) (2 1 1 1) (5 4 1 1) (5 4 1 1) (2 1 1 1) (10 1) (2 1 1 1) (2 2 2 1 1) (2 2 2 1 1 1) (10 1 1) (2 5 1 1) (5 1 1 1) (2 5 1 1) (10 1 1) (2 1 5 1) (2 6 1) (10 1) (3 2 2 1) (2 2 2 5) (3 2 6) (14) () ())) (quote #f)) (make-problem "19980501cGOS (2)" (quote (() (3 4) (6 6) (1 8 7) (2 2 16 2) (3 2 16 2 2) (5 5 1 5 2 3) (8 4 1 5 5) (15 3 4 8) (2 12 1 16) (3 25 2) (3 19 3) (16 3) (3 6) (3 5) (2 1 4) (4 4) (2 4) (10) (10) (9) (9) (7) (7) (3 3) (3 3) (4 4) (5 5) (5 5) ())) (quote (() () (2) (2 3 1) (2 2 2) (7) (5) (6) (7) (4) (4) (4) (4 4) (11) (14 2) (21 3) (28) (4 3 1 11) (4 1 3 2 11) (10 6) (2 1 3 11) (3 19) (27) (21 3) (19 2) (14) (7 5) (4 4) (4) (4) (4) (7) (7) (5) (7) (2 2 2) (2 3 1) (2) () ())) (quote ("                              " "                              " "        xx                    " "    xx xxx x                  " "    xx xx xx                  " "     xxxxxxx                  " "      xxxxx                   " "    xxxxxx                    " "   xxxxxxx                    " "      xxxx                    " "       xxxx                   " "        xxxx                  " "   xxxx xxxx                  " "  xxxxxxxxxxx                 " " xxxxxxxxxxxxxx            xx " " xxxxxxxxxxxxxxxxxxxxx    xxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxx " "  xxxx    xxx   x xxxxxxxxxxx " "  xxxx  x xxx  xx xxxxxxxxxxx " "   xxxxxxxxxx     xxxxxx      " "    xx  x xxx     xxxxxxxxxxx " "   xxx    xxxxxxxxxxxxxxxxxxx " "  xxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxx    xxx " " xxxxxxxxxxxxxxxxxxx       xx " " xxxxxxxxxxxxxx               " " xxxxxxx xxxxx                " "  xxxx   xxxx                 " "         xxxx                 " "        xxxx                  " "       xxxx                   " "    xxxxxxx                   " "    xxxxxxx                   " "       xxxxx                  " "      xxxxxxx                 " "     xx xx xx                 " "     xx xxx x                 " "         xx                   " "                              " "                              "))) (make-problem "19980508-SDN (3)" (quote ((15 7 10) (1 1 1 1 10) (1 11 1 1 1 2 2) (1 11 1 1 1 10) (1 11 1 1 1 5 3) (1 11 1 13 10) (1 11 1 24) (1 11 1 13 10) (1 11 1 6 1 2 10) (1 11 1 13 10) (1 11 1 1 1 10) (1 1 10) (15 10) (1 1 1 6 2 10) (15 7 2) (3 2 10) (1 14 10 2) (3 1 2 10) (9 3 1 10) (9 1 1 10) (1 1) (25 10) (25 1) (2 1 1 1 1 1 1 3 3) (25 1 1) (1 1 1 1 1 1 1 1 1 1 1) (25 3) (2 1 1 1 1 1 1 3 3) (25) (25))) (quote ((15 9) (1 1 1 4 4) (1 9 3 2 1 1 2) (1 9 1 1 2 2 3 2) (1 9 3 2 4 4) (1 9 1 1 2 2 1 1 2) (1 9 4 3 2 3 2) (1 9 8 4 4) (1 9 4 3 2 1 1 2) (1 9 3 2 2 3 2) (1 9 3 3 4 4) (1 9 3 1 2 2 1 1 2) (1 9 1 1 1 2 3 2) (1 3 1 4 4) (15 1 2 1 1 2) (1 2 3 2) (5 1 4 4) (5 1 2 1 1 2) (5 1 2 3 2) (11 1 4 4) (1 5 1 2 1 1 2) (1 5 1 2 3 2) (1 3 1 1 4 4) (1 3 1 1 7 4) (1 5 2 1 9) (8 2 1 1) (3 1 1 2) (5 1 2 1) (5 1 1 1 1) (1 1 1 1) (20 1) (20 1) (2 17 1) (2 11 5 1) (2 11 5 1) (2 1 9 5 1) (2 1 9 1 3 1) (2 11 1 3 1 5) (20 3 2) (20 5))) (quote #f)) (make-problem "19981027aMNT (4)" (quote ((2) (2) (8) (2) (1 2) (1 2) (5 2) (1 10) (1 2) (1 2) (1 10) (7 10) (1 10) (1 4 4) (1 18) (24) (24) (18) (34) (24) (32) (40) (17 12) (17 6) (21 5) (20 1) (19 2) (18 2) (17 2) (32))) (quote ((1 1) (1 2) (1 3) (1 1 4) (1 10) (1 10) (1 1 10) (1 1 1 10) (1 1 2 12) (13 12) (1 1 2 12) (1 1 16) (1 16) (16) (16) (1 20) (1 1 20) (1 1 20) (1 1 20) (13 16) (13 16) (1 1 12 1) (1 1 12 1) (1 1 12 1) (1 13 1) (9 1) (9 1) (9 1) (9 1) (2 5 1) (2 6 1) (2 6 1) (1 4 1) (1 4 1) (1 4 1) (1 5 2) (1 1 1 2) (1 1 2) (1 3) (1 1))) (quote ("                     x  x     " "                     x  xx    " "                     x  xxx   " "                  x  x  xxxx  " "                  x xxxxxxxxxx" "                  x xxxxxxxxxx" "           x      x xxxxxxxxxx" "      x    x      x xxxxxxxxxx" "      x    x   xx xxxxxxxxxxxx" "    xxxxxxxxxxxxx xxxxxxxxxxxx" "      x    x   xx xxxxxxxxxxxx" "      x    x  xxxxxxxxxxxxxxxx" "           x  xxxxxxxxxxxxxxxx" "              xxxxxxxxxxxxxxxx" "              xxxxxxxxxxxxxxxx" "       x  xxxxxxxxxxxxxxxxxxxx" "  x    x  xxxxxxxxxxxxxxxxxxxx" "  x    x  xxxxxxxxxxxxxxxxxxxx" "  x    x  xxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxx xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxx xxxxxxxxxxxxxxxx" "  x    x  xxxxxxxxxxxx       x" "  x    x  xxxxxxxxxxxx       x" "  x    x  xxxxxxxxxxxx       x" "       x  xxxxxxxxxxxxx      x" "              xxxxxxxxx      x" "              xxxxxxxxx      x" "              xxxxxxxxx      x" "              xxxxxxxxx      x" "               xx xxxxx      x" "               xx xxxxxx     x" "               xx xxxxxx     x" "                  x xxxx     x" "                  x xxxx     x" "                  x xxxx     x" "                  x xxxxx   xx" "                  x  x  x  xx " "                     x  x xx  " "                     x  xxx   " "                     x  x     "))) (make-problem "19981027bMNT (5)" (quote ((16) (3 7 3) (4 7 3) (2 7 4 1) (3 7 3 2) (17 3) (3 7 3 4) (4 7 2 5) (17 13) (1 1 7 5 1) (16 8 1 1 1 1) (16 1 5 1 1 2 1) (7 7 1 5 8 1) (7 7 4 2 1 3 1 1) (16 4 2 1 3 2 1) (16 7 12 1) (16 8 1) (16 6 15) (16 4 1 15) (2 8 2 3 3 1 8 2) (2 8 2 2 1 1 1 8 2) (16 2 1 1 15) (17 1 4 6 7) (1 4 6 7) (1 3 15) (1 2 15) (1 1 1 8 2) (1 1 8 2) (1 15) (16))) (quote ((14) (1 13) (2 9 2) (3 9 2) (4 13) (5 13) (3 1 13) (4 1 2 9) (2 4 2 9) (3 4 13) (9 13) (1 6 13) (1 6 9 2) (9 9 2) (9 13) (6 1 13) (6 2 1) (3 4 12) (3 3 2 11) (7 3 7 1) (1 3 12 4 1) (1 2 7 3 1 3 1) (4 8 3 1 4 1) (3 13 9 1) (15 1 1) (1 1 13) (8 2 5 2) (2 1 1 2 5 2) (5 1 13) (2 4 13) (2 4 13) (1 6 5 6) (1 2 1 5 6) (1 1 1 13) (1 3 13) (1 2 13) (1 1 2 5 2) (1 2 5 2) (1 13) (14))) (quote ("         xxxxxxxxxxxxxx       " "        x xxxxxxxxxxxxx       " "       xx xxxxxxxxx  xx       " "      xxx xxxxxxxxx  xx       " "     xxxx xxxxxxxxxxxxx       " "    xxxxx xxxxxxxxxxxxx       " "   xxx  x xxxxxxxxxxxxx       " "  xxxx  x xx  xxxxxxxxx       " " xx  xxxx xx  xxxxxxxxx       " "xxx  xxxx xxxxxxxxxxxxx       " "xxxxxxxxx xxxxxxxxxxxxx       " "x  xxxxxx xxxxxxxxxxxxx       " "x  xxxxxx xxxxxxxxx  xx       " "xxxxxxxxx xxxxxxxxx  xx       " "xxxxxxxxx xxxxxxxxxxxxx       " "xxxxxx  x xxxxxxxxxxxxx       " "xxxxxx  xx            x       " "xxx  xxxx xxxxxxxxxxxx        " "xxx  xxx xx  xxxxxxxxxxx      " "xxxxxxx xxx  xxxxxxx    x     " "x  xxx xxxxxxxxxxxx xxxx x    " "x  xx xxxxxxx  xxx x  xxx x   " "xxxx xxxxxxxx  xxx x  xxxx x  " "xxx xxxxxxxxxxxxx xxxxxxxxx x " "xxxxxxxxxxxxxxx x            x" "        x      x xxxxxxxxxxxxx" "        xxxxxxxx xx  xxxxx  xx" "        xx  x  x xx  xxxxx  xx" "        xxxxx  x xxxxxxxxxxxxx" "        xx  xxxx xxxxxxxxxxxxx" "        xx  xxxx xxxxxxxxxxxxx" "        x xxxxxx xxxxx  xxxxxx" "         x xx  x xxxxx  xxxxxx" "          x x  x xxxxxxxxxxxxx" "           x xxx xxxxxxxxxxxxx" "            x xx xxxxxxxxxxxxx" "             x x xx  xxxxx  xx" "              x  xx  xxxxx  xx" "               x xxxxxxxxxxxxx" "                xxxxxxxxxxxxxx"))) (make-problem "19981228-BAU (6)" (quote ((5) (7) (3 3) (2 2 2) (2 2 2) (3 3 2) (2 2 2) (2 2 2) (3 3 3) (2 2 2 2) (2 2 4 2) (3 3 6 3) (2 2 2 2 2) (2 2 3 2 2) (3 3 5 3 2) (2 2 2 2 2 2) (2 2 2 2 2 2) (3 3 3 3 3 3) (2 2 2 2 2 2) (2 2 2 2 2 2) (3 17 3 3) (3 17 2 3) (2 3 2 2) (2 3 3 2) (26 2 2) (26 2 2) (2 4) (2 3) (29) (27))) (quote (() () (5) (7) (3 4) (4 2 2) (3 2 2) (4 2 2) (3 2 2) (4 3 2 2) (3 5 2 2) (4 3 2 2 2) (3 4 2 2 2) (4 3 2 2 2) (3 4 3 2 2) (4 3 5 2 2) (3 4 3 2 2 2) (3 3 4 2 2 2) (2 4 3 2 2 2) (2 3 4 2 2 2) (2 3 6 2 2 2) (4 3 4 2 2 2) (2 3 3 2 2 2) (3 3 5 2 2) (4 4 4 2 2) (4 3 6 2) (3 4 4 2) (4 3 3 2) (3 4 2) (4 3 2) (3 4 2) (3 4 2) (3 7) (4 3) (3 2) (7) (5) () () ())) (quote #f)) (make-problem "19990118-FRA (7)" (quote (() (3 3) (1 2 2 1) (1 2 2 1) (1 12 1) (1 14 1) (1 16 1) (1 20 1) (6 6 6) (4 1 1 4 1 1 4) (4 1 1 4 1 1 4) (5 6 5) (22) (10 9) (10 9) (11 10) (11 10) (7 2 2 6) (8 3 7) (9 1 8) (9 8) (16) (12) (8) () (1 1 4 4 1 1) (2 2 1 1 1 1 1 1) (1 2 1 3 1 1 1 1 1 1) (1 1 1 1 1 2 2) (1 1 4 4 1 1))) (quote (() () () () () () () () (8 5) (1 11 1) (1 13 1) (1 14 1) (1 16 1) (1 4 11 5) (5 2 11) (4 11 5) (4 2 5 6 1 1 1) (5 7 5 1 1 1) (14 5 1 1) (9 2 1 4) (9 2 3 5) (9 2 1 4 1 1) (5 7 5 1 1) (4 2 6 5 5) (4 5 5) (5 2 11 5) (1 4 11 1) (1 16 1) (1 14 1) (1 13 1) (1 11 1) (8 5) () () () () () () () ())) (quote #f)) (make-problem "19990123aFRA (8)" (quote (() () (2) (8) (10) (12 3) (4 14 3) (1 2 1 1 3) (1 23) (1 21) (3 20) (20) (16) (14) (12) (10) (8) (6) (10) () () (12 12) (1 10 10 1) (1 8 8 1) (9 9) (7 7) (5 5) (11 11) () ())) (quote (() () () (2) (1 1 1) (2 1 1) (3 5 1) (1 2 7) (1 1 7) (2 1 7) (2 1 7) (4 7) (6 5 1) (1 6 3 1) (2 7 2 1) (3 8 1 1) (4 9 1) (4 11) (4 11) (5 11) (5 11) (4 11) (4 11) (4 9 1) (3 8 1 1) (2 7 2 1) (1 6 3 1) (6 5 1) (4 7) (4 7) (3 7) (3 7) (3 7) (3 5 1) (2 2 1 1) (1 1 1 1) (2) () () ())) (quote ("                              " "                              " "                              " "                      xx      " "                     x  x  x  " "                     xx x  x  " "      xxx            xxxxx x  " "      x  xx          xxxxxxx  " "      x   x          xxxxxxx  " "      xx  x          xxxxxxx  " "       xx  x         xxxxxxx  " "        xxxx         xxxxxxx  " "       xxxxxx        xxxxx x  " "      x xxxxxx       xxx   x  " "     xx xxxxxxx      xx    x  " "    xxx xxxxxxxx  x  x        " "   xxxx xxxxxxxxx x           " "   xxxx xxxxxxxxxxx           " "   xxxx xxxxxxxxxxx           " "  xxxxx xxxxxxxxxxx           " "  xxxxx xxxxxxxxxxx           " "   xxxx xxxxxxxxxxx           " "   xxxx xxxxxxxxxxx           " "   xxxx xxxxxxxxx x           " "    xxx xxxxxxxx  x  x        " "     xx xxxxxxx      xx    x  " "      x xxxxxx       xxx   x  " "       xxxxxx        xxxxx x  " "        xxxx         xxxxxxx  " "        xxxx         xxxxxxx  " "        xxx          xxxxxxx  " "       xxx           xxxxxxx  " "      xxx            xxxxxxx  " "     xxx             xxxxx x  " "     xx              xx x  x  " "     x               x  x  x  " "                      xx      " "                              " "                              " "                              "))) (make-problem "19990208bFRA (9)" (quote ((2 22) (1 21) (1 22) (3 13 2 6) (1 4 4 10 2 7) (1 10 9 2 8) (1 9 2 8) (1 10 2 7) (1 16 10 2 7) (1 16 9 2 8) (1 1 1 1 1 1 1 8 2 9) (1 1 2 1 1 1 1 1 1 9 2 8) (1 1 1 1 1 1 1 1 21) (1 2 1 1 1 1 1 3 4 3) (1 1 1 1 1 3 3 12 2) (1 16 2 14 1) (1 2 12 1) (1 3 2) (1 4 3) (1 5 4) (1 6 5) (1 5 4) (1 21) (1 5 13) (1 4 3 12) (1 4 3 2) (1 16 4 3 2) (1 4 3 12) (1 5 13) (40))) (quote ((30) (1 1 1) (2 8 1 1) (1 2 1 1 1 1) (1 2 1 1 1 1) (2 8 1 1) (1 2 1 1 1) (1 2 3 1 1 1) (1 2 1 1 1) (1 8 1 1) (1 2 1 1 1) (1 6 1 1 1) (1 2 1 1 1) (1 8 1 1) (2 2 1 1 1) (1 2 1 3 1 1) (1 2 3 1 1) (2 8 1 1) (1 2 1) (30) (30) (15 13) (14 12) (13 1 5 2) (13 3 1 1 4 1) (13 3 1 4 1) (13 3 1 4 1) (10 2 3 2 2) (5 2 1 1 3 3 3) (4 2 4 3 3 3) (3 6 2 3 3 3) (5 2 1 1 3 3 3) (4 2 4 3 3 3) (3 9 3 3 3) (13 3 3 3) (13 3 1 3 3) (13 1 6 3) (14 7 3) (15 13) (30))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "x  x                         x" "   xx   xxxxxxxx          x  x" "    x   xx   x x          x  x" "    x   xx x   x          x  x" "    xx  xxxxxxxx          x  x" "     x  xx     x          x  x" "     x  xx xxx x          x  x" "     x  xx     x          x  x" "     x  xxxxxxxx          x  x" "     x  xx     x          x  x" "     x  xxxxxx x          x  x" "     x  xx     x          x  x" "     x  xxxxxxxx          x  x" "    xx  xx     x          x  x" "    x   xx x xxx          x  x" "    x   xx   xxx          x  x" "   xx   xxxxxxxx          x  x" "x xx                         x" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxx  xxxxxxxxxxxxx" "xxxxxxxxxxxxxx    xxxxxxxxxxxx" "xxxxxxxxxxxxx  x   xxxxx    xx" "xxxxxxxxxxxxx xxx   x x xxxx x" "xxxxxxxxxxxxx xxx     x xxxx x" "xxxxxxxxxxxxx xxx     x xxxx x" "xxxxxxxxxx xx xxx     xx    xx" "xxxxx  xx x x xxx     xxx  xxx" "xxxx xx  xxxx xxx     xxx  xxx" "xxx xxxxxx xx xxx     xxx  xxx" "xxxxx  xx x x xxx     xxx  xxx" "xxxx xx  xxxx xxx     xxx  xxx" "xxx xxxxxxxxx xxx     xxx  xxx" "xxxxxxxxxxxxx xxx     xxx  xxx" "xxxxxxxxxxxxx xxx   x xxx  xxx" "xxxxxxxxxxxxx  x   xxxxxx  xxx" "xxxxxxxxxxxxxx    xxxxxxx  xxx" "xxxxxxxxxxxxxxx  xxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990208cFRA (10)" (quote (() () (17 18) (4 3 3 2 18) (5 2 2 3 5 8 3) (5 1 1 3 4 2 2 2) (3 2 1 1 2 1 5 2 3) (4 3 3 2 6 1 1 4) (4 1 2 6 1 2 1 4) (3 4 4 1 4 1 1 1 1 2) (6 1 1 4 4 1 1 1 1 2) (5 1 1 3 6 1 2 1 4) (5 2 2 3 6 1 1 4) (4 4 4 2 4 1 1 2) (9 7 5 2 2 2 3) (9 7 9 7) () (9 7 9 7) (4 2 2 2 7 1 1 5) (3 3 1 1 3 1 8 6) (8 6 9 7) (5 3 5 3) (5 3 5 3) (6 4 6 4) (6 4 6 4) (6 4 7 5) (6 4 7 5) (7 5 8 6) () ())) (quote (() () (14 11) (14 11) (14 11) (4 2 6 2 8) (1 3 4 2 1 9) (2 2 2 3 1 2 5) (2 1 1 3 1 2 1) (3 1 1 4 2 1) (1 3 6 3) (1 1) (1 3 6 3) (3 1 1 4 2 1) (2 1 1 3 1 2 1) (2 2 2 3 1 2 5) (1 3 4 2 1 9) (4 2 6 2 8) (14 11) () (14 11) (14 11) (14 11) (14 11) (3 3 2 2 11) (2 2 2 1 4 5) (3 2 2 4 3) (4 1 1 2 1 2 1) (4 1 2 2 1 2 1) (3 1 1 1 1) (3 1 1 1 1) (4 1 2 2 1 2 1) (4 1 1 2 1 2 1) (3 2 2 4 3) (2 2 2 1 4 5) (3 3 2 2 11) (14 11) (14 11) () ())) (quote ("                              " "                              " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxxx xx xxxxxx xx xxxxxxxx  " "  x xxx  xxxx xx x xxxxxxxxx  " "  xx  xx xx  xxx x xx  xxxxx  " "  xx   x x   xxx x xx      x  " "  xxx  x x  xxxx xx x         " "  x xxx   xxxxxx xxx          " "  x     x                     " "  x xxx   xxxxxx xxx          " "  xxx  x x  xxxx xx x         " "  xx   x x   xxx x xx      x  " "  xx  xx xx  xxx x xx  xxxxx  " "  x xxx  xxxx xx x xxxxxxxxx  " "  xxxx xx xxxxxx xx xxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "                              " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxx xxx  xx xx xxxxxxxxxxx  " "  xx   xx  xx  x xxxx  xxxxx  " "  xxx    xx   xx xxxx    xxx  " "  xxxx  x  x  xx x xx      x  " "  xxxx x xx xx x xx x         " "  xxx x x  x  x               " "  xxx x x  x  x               " "  xxxx x xx xx x xx x         " "  xxxx  x  x  xx x xx      x  " "  xxx    xx   xx xxxx    xxx  " "  xx   xx  xx  x xxxx  xxxxx  " "  xxx xxx  xx xx xxxxxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "  xxxxxxxxxxxxxx xxxxxxxxxxx  " "                              " "                              "))) (make-problem "19990221aFRA (11)" (quote ((33) (23 8) (21 8) (20 8) (19 8) (18 8) (2 11 8) (1 9 8) (1 3 7 8) (1 4 5 8) (1 5 3 8) (2 1 8) (10 24) (10 1 22) (8 19) (6 4 16) (4 3 6 13) (2 4 9 10) (1 4 11 7) (1 3 14 5) (1 1 17 3) (2 21) (6 1 3 1 1 5) (6 3 2 1 1 1 19) (6 1 1 1 1 1 3 1 3 1 1 1) (8 1 2 1 1 5 3 2 1 1 1 1) (6 1 3 1 1 5 1 1 1 1 1 1) (26 1 2 1 1 3) (24 1 3 1 1 3) (40))) (quote ((30) (7 7 9) (6 5 8) (6 3 5 2 8) (6 3 4 4 8) (6 3 4 3 8) (7 2 3 3 1 1 3) (8 1 3 2 2 1 1 3) (9 2 1 3 1 3) (10 2 13) (11 7 3) (12 1 8 6) (11 9 5) (10 2 10 4) (9 3 6 3) (8 5 14) (7 6 5 3) (6 8 13) (5 9 4 3) (4 11 4 1 5) (3 12 3 5) (2 14 11) (2 8 6 10) (1 8 7 10) (9 8 3 1 1) (8 12 1 1 1) (7 10 1 1 1) (6 9 7) (5 8 1 1) (4 7 2 4) (3 6 3 3) (2 5 4 2) (1 4 1 1) (3 7) (2 1 1) (1 7) (1 1 1) (1 1 3) (1 3) (7))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxx    xxxxxxx   xxxxxxxxx" "xxxxxx      xxxxx     xxxxxxxx" "xxxxxx  xxx xxxxx xx  xxxxxxxx" "xxxxxx  xxx xxxx xxxx xxxxxxxx" "xxxxxx  xxx xxxx xxx  xxxxxxxx" "xxxxxxx  xx xxx xxx  x   x xxx" "xxxxxxxx  x xxx xx  xx x x xxx" "xxxxxxxxx   xx  x  xxx x   xxx" "xxxxxxxxxx  xx   xxxxxxxxxxxxx" "xxxxxxxxxxx    xxxxxxx     xxx" "xxxxxxxxxxxx x xxxxxxxx xxxxxx" "xxxxxxxxxxx    xxxxxxxxx xxxxx" "xxxxxxxxxx  xx xxxxxxxxxx xxxx" "xxxxxxxxx  xxx  xxxxxx     xxx" "xxxxxxxx  xxxxx xxxxxxxxxxxxxx" "xxxxxxx  xxxxxx  xxxxx     xxx" "xxxxxx  xxxxxxxx xxxxxxxxxxxxx" "xxxxx  xxxxxxxxx  xxxx     xxx" "xxxx  xxxxxxxxxxx xxxx x xxxxx3                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      