(unit/sig paint-by-numbers:problem-set^ (import paint-by-numbers:problem^) (define set-name "Kajitani 40x40") (define problems (list (make-problem "19980410-KVL (1)" (quote ((40) (7 14 6 4) (6 5 3 15 3) (5 1 4 17 2) (2 2 1 5 8 8 2) (5 7 17 2) (4 17 3) (2 11 16 4) (1 2 1 1 1 2 9 12) (1 2 1 1 1 2 22) (2 11 6 8 7) (4 25) (8 29) (8 27) (9 5 5 11 2) (3 5 15 8) (10 23) (10 21) (11 6 9 3) (6 4 18) (12 8 8) (2 9 15) (13 14) (13 12) (14 2 11) (14 3 2 9) (15 2 8) (15 1 4 6) (16 5 3 5) (7 8 1 3) (1 5 8 1 2) (2 7 2) (3 10) (3 3 10) (3 3 32) () () () () ())) (quote ((35) (8 20 4) (4 2 2 10 9 3) (7 2 4 15) (6 1 1 19 2) (3 1 1 19 2) (2 3 4 7 11 2) (1 1 1 1 1 17) (1 1 2 1 1 16 3) (1 4 4 15 3) (1 4 1 1 17) (1 4 1 1 1 15) (2 3 4 1 13) (3 1 1 2 11) (6 1 1 3 9) (7 2 4 7) (2 4 2 5 5) (8 7 3) (17 2 1) (14 3 1 1) (19 1 1 1 1) (19 1 5 1) (4 15 4 1) (10 10 2 1) (21 2 2 1) (14 7 2 1 1) (1 16 4 1 1) (8 14 1) (24 1) (25 1) (25 1) (3 9 4 5 1) (2 3 16 1) (1 19 1) (1 20 1) (1 21 1) (2 11 10 1) (3 8 15 1) (31 1) (31 1))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx     " "xxxxxxxx  xxxxxxxxxxxxxxxxxxxx xxxx     " "xxxx xx xx xxxxxxxxxx xxxxxxxxx xxx     " "xxxxxxx xx xxxx xxxxxxxxxxxxxxx         " "xxxxxx x  x xxxxxxxxxxxxxxxxxxx  xx     " "xxx    x  x xxxxxxxxxxxxxxxxxxx  xx     " "xx xxx xxxx xxxxxxx xxxxxxxxxxx  xx     " "x x  x x  x xxxxxxxxxxxxxxxxx           " "x x xx x  x   xxxxxxxxxxxxxxxx  xxx     " "x xxxx xxxx     xxxxxxxxxxxxxxx xxx     " "x xxxx x  x       xxxxxxxxxxxxxxxxx     " "x xxxx x  x x       xxxxxxxxxxxxxxx     " "xx xxx xxxx x         xxxxxxxxxxxxx     " "xxx    x  x xx          xxxxxxxxxxx     " "xxxxxx x  x xxx           xxxxxxxxx     " "xxxxxxx xx xxxx             xxxxxxx     " "xx xxxx xx xxxxx              xxxxx     " "xxxxxxxx  xxxxxxx               xxx     " "xxxxxxxxxxxxxxxxx          xx     x     " "xxxxxxxxxxxxxx xxx          x     x     " "xxxxxxxxxxxxxxxxxxx      x  x  x  x     " "xxxxxxxxxxxxxxxxxxx      x xxxxx  x     " "xxxx xxxxxxxxxxxxxxx     xxxx     x     " "xxxxxxxxxx xxxxxxxxxx     xx      x     " "xxxxxxxxxxxxxxxxxxxxx   xx xx     x     " "xxxxxxxxxxxxxx xxxxxxx  xx  x     x     " "x xxxxxxxxxxxxxxxx xxxx     x     x     " "xxxxxxxx xxxxxxxxxxxxxx           x     " "xxxxxxxxxxxxxxxxxxxxxxxx          x     " "xxxxxxxxxxxxxxxxxxxxxxxxx         x     " "xxxxxxxxxxxxxxxxxxxxxxxxx         x     " "xxx   xxxxxxxxx xxxx xxxxx        x     " "xx     xxx xxxxxxxxxxxxxxxx       x     " "x       xxxxxxxxxxxxxxxxxxx       x     " "x       xxxxxxxxxxxxxxxxxxxx      x     " "x       xxxxxxxxxxxxxxxxxxxxx     x     " "xx     xxxxxxxxxxx xxxxxxxxxx     x     " "xxx   xxxxxxxx xxxxxxxxxxxxxxx    x     " "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx   x     " "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx   x     "))) (make-problem "19980512-SDN (2)" (quote ((18) (26) (20 2) (2 9 2) (1 1 2) (2 2 2) (2 2 10 2) (1 1 18 2) (2 18 3 2) (13 2 1 2) (2 1 2) (2 1 2) (2 1 2) (2 1 2) (4 1 2) (11 1 2) (18 1 1 2) (2 8 1 1 2) (1 1 1 1 2) (2 2 1 1 2) (2 2 8 2) (1 1 16 2) (2 19 2) (13 2) (2) (2) (2) (2) (2) (13) (24) (22 2) (2 8 2) (1 1 2) (2 2 2) (2 2 11) (1 1 22) (2 21) (13) ())) (quote (() (2) (6) (2 2 2) (1 1 6 2) (1 1 2 2 6) (2 2 1 1 2 2) (8 1 1 1 1) (2 2 2 2 2 1 1) (2 2 8 2 2) (2 2 2 2 2 8) (2 2 2 2 2 2 2) (2 2 2 2 2 2) (2 2 2 2 2 2) (3 2 2 2 2 2) (2 3 3 2 2 2) (2 2 2 2 3 2) (2 2 2 3 2 2) (2 2 2 2 2 3) (2 2 2 2 2 2) (2 2 2 2 2 2) (2 2 2 2 2 2) (3 2 3 2 2 2) (2 3 2 2 2 2) (2 2 2 2 2 2) (2 2 10 2 2) (2 2 2 3 2 2) (2 2 2 2 3 2) (2 2 2 2 2 2) (2 2 2 2 2 3) (2 4 2 2 2) (2 3 2 2 2) (2 16 2 2) (2 2 2) (2 2 2) (2 2 2) (2 2 2) (2 2 2) (37) (37))) (quote #f)) (make-problem "19980716dGAS (3)" (quote ((40) (18 18) (17 17) (16 4 16) (15 6 15) (14 8 14) (13 10 13) (12 12 12) (11 5 5 11) (10 5 5 10) (9 6 6 9) (8 7 7 8) (7 8 8 7) (6 1 1 10 6) (5 2 4 15 5) (4 3 3 15 4) (3 4 1 1 16 3) (2 5 1 2 5 8 2) (1 6 3 5 8 1) (1 4 7 1) (1 6 9 8 1) (1 7 8 9 1) (2 6 19 2) (3 5 1 17 3) (4 4 2 16 4) (5 3 2 5 8 5) (6 2 2 4 6 6) (7 1 3 4 4 7) (8 2 2 2 8) (9 2 2 1 9) (10 16 10) (11 14 11) (12 12 12) (13 10 13) (14 8 14) (15 6 15) (16 4 16) (17 17) (18 18) (40))) (quote ((40) (18 18) (17 17) (16 4 16) (15 6 15) (14 8 14) (13 10 13) (12 5 6 12) (11 6 7 11) (10 1 7 10) (9 2 4 9) (8 3 2 8) (7 4 2 1 1 7) (6 5 1 9 6) (5 6 9 5) (4 7 1 1 4 4) (3 8 2 2 5 3) (2 5 1 3 3 1 6 2) (1 5 1 17 1) (1 5 5 17 1) (1 5 5 8 7 1) (1 5 5 7 7 1) (2 5 6 6 6 2) (3 14 5 5 3) (4 11 3 4 4) (5 10 4 3 5) (6 9 5 2 6) (7 8 6 1 7) (8 8 9 8) (9 8 9 9) (10 16 10) (11 14 11) (12 12 12) (13 10 13) (14 8 14) (15 6 15) (16 4 16) (17 17) (18 18) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxx    xxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxx      xxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxx  xxxx  xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxx  xxxxxx  xxxxxxxxxxxxxxx" "xxxxxxxxxxxxxx  xxxxxxxx  xxxxxxxxxxxxxx" "xxxxxxxxxxxxx  xxxxxxxxxx  xxxxxxxxxxxxx" "xxxxxxxxxxxx  xxxxx xxxxxx  xxxxxxxxxxxx" "xxxxxxxxxxx  xxxxxx xxxxxxx  xxxxxxxxxxx" "xxxxxxxxxx  x        xxxxxxx  xxxxxxxxxx" "xxxxxxxxx  xx xxxx             xxxxxxxxx" "xxxxxxxx  xxx xx                xxxxxxxx" "xxxxxxx  xxxx xx           x  x  xxxxxxx" "xxxxxx  xxxxx x        xxxxxxxxx  xxxxxx" "xxxxx  xxxxxx           xxxxxxxxx  xxxxx" "xxxx  xxxxxxx     x x         xxxx  xxxx" "xxx  xxxxxxxx    xx xx        xxxxx  xxx" "xx  xxxxx    x  xxx xxx    x  xxxxxx  xx" "x  xxxxx      x     xxxxxxxxxxxxxxxxx  x" "x  xxxxx      xxxxx xxxxxxxxxxxxxxxxx  x" "x  xxxxx      xxxxx xxxxxxxx  xxxxxxx  x" "x  xxxxx      xxxxx xxxxxxx   xxxxxxx  x" "xx  xxxxx    xxxxxx xxxxxx    xxxxxx  xx" "xxx  xxxxxxxxxxxxxx xxxxx     xxxxx  xxx" "xxxx  xxxxxxxxxxx     xxx     xxxx  xxxx" "xxxxx  xxxxxxxxxx     xxxx    xxx  xxxxx" "xxxxxx  xxxxxxxxx     xxxxx   xx  xxxxxx" "xxxxxxx  xxxxxxxx     xxxxxx  x  xxxxxxx" "xxxxxxxx  xxxxxxxx   xxxxxxxxx  xxxxxxxx" "xxxxxxxxx  xxxxxxxx xxxxxxxxx  xxxxxxxxx" "xxxxxxxxxx  xxxxxxxxxxxxxxxx  xxxxxxxxxx" "xxxxxxxxxxx  xxxxxxxxxxxxxx  xxxxxxxxxxx" "xxxxxxxxxxxx  xxxxxxxxxxxx  xxxxxxxxxxxx" "xxxxxxxxxxxxx  xxxxxxxxxx  xxxxxxxxxxxxx" "xxxxxxxxxxxxxx  xxxxxxxx  xxxxxxxxxxxxxx" "xxxxxxxxxxxxxxx  xxxxxx  xxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxx  xxxx  xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxx      xxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxx    xxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19980828-GOS (4)" (quote (() (20) (22) (24) (26) (28) (30) (32) (34) (36) (38) (4 3 3 4 4) (3 2 2 3 3) (2 1 1 2 2 2) (2 1 3 3 3 2 3 2) (2 3 3 2 5 1 3 2) (2 8 2 5 1 3 2) (2 7 2 5 1 2 2) (2 5 2 5 1 3) (2 5 2 5 1 4) (3 4 2 5 1 6) (4 3 2 5 1 6) (6 3 2 5 1 6) (7 3 2 5 1 6) (2 3 3 2 5 1 6) (2 1 3 3 3 2 6) (2 3 3 2 6) (3 4 4 3 6) (4 5 5 4 6) (38) (36) (34) (32) (30) (28) (26) (24) (22) (20) ())) (quote (() (20) (22) (5 4 5) (5 3 5) (5 2 3 5) (6 4 4 6) (7 3 2 7) (9 4 9) (11 5 11) (38) (10 25) (10 25) (10 10) (10 10) (10 10) (10 25) (10 25) (14 14) (12 12) (11 11) (10 10 10) (10 12 10) (10 12 10) (10 12 10) (10 10 10) (11 11) (12 12) (14 14) (38) (9 9) (8 8) (7 5 7) (6 5 15) (5 3 14) (5 14) (5 14) (22) (20) ())) (quote ("                                        " "          xxxxxxxxxxxxxxxxxxxx          " "         xxxxxxxxxxxxxxxxxxxxxx         " "        xxxxx       xxxx   xxxxx        " "       xxxxx         xxx    xxxxx       " "      xxxxx    xx     xxx    xxxxx      " "     xxxxxx   xxxx    xxxx   xxxxxx     " "    xxxxxxx    xxx     xx    xxxxxxx    " "   xxxxxxxxx    xxxx        xxxxxxxxx   " "  xxxxxxxxxxx   xxxxx      xxxxxxxxxxx  " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxx   xxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxx   xxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxx                  xxxxxxxxxx " " xxxxxxxxxx                  xxxxxxxxxx " " xxxxxxxxxx                  xxxxxxxxxx " " xxxxxxxxxx   xxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxx   xxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxx          xxxxxxxxxxxxxx " " xxxxxxxxxxxx              xxxxxxxxxxxx " " xxxxxxxxxxx                xxxxxxxxxxx " " xxxxxxxxxx    xxxxxxxxxx    xxxxxxxxxx " " xxxxxxxxxx   xxxxxxxxxxxx   xxxxxxxxxx " " xxxxxxxxxx   xxxxxxxxxxxx   xxxxxxxxxx " " xxxxxxxxxx   xxxxxxxxxxxx   xxxxxxxxxx " " xxxxxxxxxx    xxxxxxxxxx    xxxxxxxxxx " " xxxxxxxxxxx                xxxxxxxxxxx " " xxxxxxxxxxxx              xxxxxxxxxxxx " " xxxxxxxxxxxxxx          xxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " "  xxxxxxxxx                  xxxxxxxxx  " "   xxxxxxxx                  xxxxxxxx   " "    xxxxxxx  xxxxx           xxxxxxx    " "     xxxxxx  xxxxx  xxxxxxxxxxxxxxx     " "      xxxxx   xxx   xxxxxxxxxxxxxx      " "       xxxxx       xxxxxxxxxxxxxx       " "        xxxxx     xxxxxxxxxxxxxx        " "         xxxxxxxxxxxxxxxxxxxxxx         " "          xxxxxxxxxxxxxxxxxxxx          " "                                        "))) (make-problem "19980926-JON (5)" (quote ((15 19) (16 3 17) (18 3 16) (7 6 3 4 6) (5 6 3 3 3 5 4) (4 2 7 1 3 1 4 3 3) (3 2 4 5 2 4 3 2) (3 2 4 5 2 6 4 3 1) (2 2 4 5 3 7 3 2 1) (1 2 4 5 3 8 4 3) (1 2 4 3 6 5 3 4 2) (2 3 3 6 3 2 5 1) (2 3 2 8 7 1) (2 6 6 6 2) (2 5 4 5 2) (1 5 2 5 1) (1 34 1) (1 4 4 19 4 1) (1 4 4 6 7 3 4 1) (6 3 6 6 10) (1 3 4 6 6 3 4 1) (1 3 4 5 4 4 3 2) (1 4 4 4 4 3 4 2) (2 3 4 3 7 4 2) (2 8 3 6 5 2) (2 2 8 8 1 3) (1 2 24 5) (2 1 22 4) (2 1 18 4) (1 4 3 3 4 1) (1 4 3 3 4 1) (2 5 3 3 5 2) (2 5 3 5 2) (3 5 3 5 3) (4 5 3 5 4) (5 25 5) (7 22 6) (8 17 8) (9 10) (11 4 11))) (quote ((11 11) (9 13 9) (8 5 1 7 7) (6 5 8 5 6) (5 3 14 4 5) (4 2 24 4) (4 2 12 3 5 4) (3 2 10 2 2 4 3) (3 1 5 2 11 4 2) (3 6 3 12 4 1) (3 4 3 12 3 1) (3 3 4 3 7 3) (3 2 4 1 3 4 3) (4 5 16 3) (4 6 16 3) (3 7 9 6 3) (3 2 3 7 3 3) (3 1 6 5 3 3) (1 3 8 3 3 6 1) (2 11 3 6 1) (5 7 3 6 1) (1 4 4 3 3 3 3 1) (1 3 7 5 3 3) (2 6 7 6 3) (6 5 9 6 3) (5 5 16 3) (5 4 13 3) (4 1 3 5 6 3) (3 2 3 2 8 2) (3 4 3 12 3 1) (3 6 2 8 3 4 2) (3 1 9 6 3 4 2) (3 2 10 1 4 5 3) (3 3 16 5 3) (4 3 24 4) (4 4 14 7 5) (5 4 6 7 6) (6 6 1 9 7) (7 14 9) (9 11))) (quote ("xxxxxxxxxxx                  xxxxxxxxxxx" "xxxxxxxxx    xxxxxxxxxxxxx     xxxxxxxxx" "xxxxxxxx  xxxxx    x   xxxxxxx   xxxxxxx" "xxxxxx  xxxxx  xxxxxxxx    xxxxx  xxxxxx" "xxxxx  xxx   xxxxxxxxxxxxxx  xxxx  xxxxx" "xxxx  xx  xxxxxxxxxxxxxxxxxxxxxxxx  xxxx" "xxxx xx xxxxxxxxxxxx  xxx     xxxxx xxxx" "xxx xx xxxxxxxxxx   xx  xx     xxxx  xxx" "xxx x xxxxx  xx xxxxxxxxxxx     xxxx  xx" "xxx xxxxxx xxx  xxxxxxxxxxxx     xxxx  x" "xxx xxxx  xxx   xxxxxxxxxxxx      xxx  x" "xxx xxx xxxx    xxx   xxxxxxx      xxx  " "xxx xx xxxx     x  xxx   xxxx      xxx  " "xxxx xxxxx      xxxxxxxxxxxxxxxx   xxx  " "xxxx xxxxxx     xxxxxxxxxxxxxxxx   xxx  " " xxx xxxxxxx    xxxxxxxxx xxxxxx   xxx  " "  xxx xx  xxx   xxxxxxx   xxx      xxx  " "  xxx x xxxxxx  xxxxx     xxx      xxx  " " x xxx xxxxxxxx xxx       xxx   xxxxxx x" " xx    xxxxxxxxxxx        xxx   xxxxxx x" " xxxxx     xxxxxxx        xxx   xxxxxx x" "x xxxx xxxx xxx xxx       xxx      xxx x" "x  xxx xxxxxxx  xxxxx     xxx      xxx  " "xx     xxxxxx   xxxxxxx   xxxxxx   xxx  " "xxxxxx xxxxx    xxxxxxxxx xxxxxx   xxx  " "xxxxx xxxxx     xxxxxxxxxxxxxxxx   xxx  " "xxxxx xxxx      xxxxxxxxxxxxx      xxx  " "xxxx x  xxx     xxxxx  xxxxxx      xxx  " "xxx  xx  xxx    xx   xxxxxxxx      xx   " "xxx xxxx  xxx   xxxxxxxxxxxx      xxx  x" "xxx xxxxxx  xx  xxxxxxxx xxx     xxxx xx" "xxx x xxxxxxxxx xxxxxx  xxx     xxxx  xx" "xxx xx xxxxxxxxxx  x  xxxx     xxxxx xxx" "xxx xxx  xxxxxxxxxxxxxxxx     xxxxx  xxx" "xxxx xxx  xxxxxxxxxxxxxxxxxxxxxxxx  xxxx" "xxxx  xxxx xxxxxxxxxxxxxx xxxxxxx  xxxxx" "xxxxx  xxxx    xxxxxx    xxxxxxx  xxxxxx" "xxxxxx   xxxxxx    x xxxxxxxxx   xxxxxxx" "xxxxxxx      xxxxxxxxxxxxxx    xxxxxxxxx" "xxxxxxxxx                    xxxxxxxxxxx"))) (make-problem "19981120-VAL (6)" (quote ((8 7) (10 2 2 2 2 2 2 2 8) (8 1 1 1 1 1 1 1 1 7) (8 7) (8 7) (40) (10 3 3 3 3 3 9) (9 1 1 1 1 1 7) (8 1 1 1 1 1 1 1 1 1 6) (7 3 3 3 3 3 3 5) (7 1 1 1 1 1 1 1 1 1 5) (7 3 3 3 4) (6 1 1 1 4) (6 3) (6 2) (5 2) (7 2 2 2 2 2 2 2 2 2 2 2) (5 1 1 1 1 1 1 1 1 1 1 1 1) (5 1) (5 1) (5 1 2) (5 1 1 2 3) (5 2 2 8) (6 4 4 8) (6 3 2 2 3 8) (6 3 1 1 3 8) (7 4 4 8) (7 1 8) (7 4 4 8) (8 3 1 1 3 9) (8 3 2 2 3 9) (9 4 4 10) (9 2 2 10) (9 1 1 11) (10 11) (11 12) (12 13) (13 14) (15 15) (17 17))) (quote ((40) (40) (40) (40) (40) (15 1 17) (12 1 14) (9 1 11) (1 3 1 9) (1 2 1 1 6) (1 1 3 1 5) (1 2 1 1 1 4) (1 4 3 1 3) (1 2 1 1 1 1 1 2) (1 1 3 1 2 2 2) (1 2 1 1 4 4 1) (1 3 1 3 2 2 3 1) (1 2 1 1 3 1 1 3) (1 1 3 1 4 4) (1 2 1 1 1 1) (1 4 3 1 4 4) (1 2 1 1 1 3 1 1 3) (1 1 3 1 3 2 2 3) (1 2 1 1 4 4 1) (1 3 1 2 2 1) (1 2 1 1 1 1 2) (1 1 3 1 3) (1 2 1 1 1 4) (1 4 3 1 5) (1 2 1 1 1 7) (1 1 3 1 9) (1 2 1 1 11) (1 2 1 20) (8 1 19) (9 1 18) (11 1 18) (13 1 18) (14 1 19) (17 20) (40))) (quote #f)) (make-problem "19981207-JTR (7)" (quote ((1) (1) (1 1 1 1) (1 1 1 1 1 1) (1 1 1 1 1 1 1 1 1 1) (1 1 1 1 1 1 1 1 1 1 1 1 1 1) (1 1 1 1 1 1 1 2 1 1 1 1 1 1 1) (1 1 1 1 1 1 1 4 1 1 1 1 1 1 1) (1 1 1 1 1 3 4 3 1 1 1 1 1) (1 1 1 3 3 4 3 3 1 1 1) (1 3 3 3 4 3 3 3 1) (3 3 3 3 4 3 3 3 3) (3 3 3 3 4 3 3 3 3) (3 3 3 3 4 3 3 3 3) (3 3 3 3 4 3 3 3 3) (3 3 3 3 4 3 3 3 3) (3 3 3 3 4 3 3 3 3) (3 3 3 3 4 3 3 3 3) (3 3 3 4 4 4 3 3 3) (3 3 3 16 3 3 3) (3 3 4 14 4 3 3) (3 4 4 12 4 4 3) (4 4 4 4 4 4 4) (4 4 18 4 4) (4 4 16 4 4) (4 4 14 4 4) (4 4 4 4 4) (4 20 4) (4 18 4) (4 16 4) (4 4 4) (22) (20) (18) (4) (4) (4) (14) (22) (30))) (quote ((3 12) (2 14) (3 14) (4) (3 12 4) (2 14 4 1) (3 14 4 1) (4 4 1) (3 12 4 4 1) (2 14 4 4 2) (3 14 4 4 2) (4 4 4 2) (3 12 4 4 3 2) (2 14 4 3 3 3) (3 14 3 3 3 3) (4 3 3 3 3) (3 3 3 3 3) (3 3 3 3 3) (3 33) (1 34) (2 34) (4 33) (3 3 3 3 3) (3 3 3 3 3) (4 3 3 3 3) (3 14 3 3 3 3) (2 14 4 3 3 3) (3 12 4 4 3 2) (4 4 4 2) (3 14 4 4 2) (2 14 4 4 2) (3 12 4 4 1) (4 4 1) (3 14 4 1) (2 14 4 1) (3 12 4) (4) (3 14) (2 14) (3 12))) (quote #f)) (make-problem "19981221-SDN (8)" (quote (() (6 2 2 2 2 6) (6 2 2 2 2 6) (2 2 2 2 2 2) (2 2 2 2 2 2) (5 2 7 2 6) (5 2 7 2 6) (2 2 2 2 2) (2 3 2 2 2 2) (6 3 2 2 2 6) (6 3 2 2 2 6) () () () (6 6 2 6 6) (6 6 2 6 6) (2 2 2 2 2 2) (2 2 2 2 2 2) (6 6 6 6 5) (6 6 6 6 5) (2 2 2 2 2 2) (2 2 2 2 2 2) (2 6 6 6 6) (2 6 6 6 6) () () () (6 6 1) (6 6 11) (2 2 2 6 11) (2 2 2 6 1 2 2) (6 6 2 2) (6 6 2 2) (2 2 6 2 2) (2 2 6 2 2) (6 2 2 2) (6 2) () () ())) (quote (() (2 2 6 6 2) (2 2 2 6 6 2) (2 2 2 2 2 2 2 2) (2 2 2 2 2 2 2 2) (10 10 2 6) (10 10 2 6) () () (3 2 6 6) (3 2 6 6) (3 2 2 2 2 2) (2 2 2 2 2) (6 2 10) (10 6 2 10) (10) () (10 2 2) (6 10 2 2) (6 2 2 2 2) (2 2 2 2 2) (2 6 2 2) (2 6 2 2) (10) (10) (6 2) (6 2 2) (10 2 2 2 2) (10 2 2 2 2) (2 6 8) (2 6 8) (6 2 2) (6 2 2) (2 2 2 2 2 8) (2 2 2 2 2 2 8) (2 6 2 2 2 2) (2 6 2 2 2 2) (10 2) (10) ())) (quote #f)) (make-problem "19981223aBAU (9)" (quote ((1 4) (2 6) (3 7 2) (4 4 4 4 4) (3 7 5 2 4 7 2) (6 2 7 5 8) (2 5 9 1 2 6) (3 2 9 3) (1 11 2) (1 13 1) (4 13 1) (5 15 3) (4 1 15 5) (3 3 15 6) (2 2 1 15 1 2 3) (3 1 15 10) (2 1 13 1 1 5) (1 2 1 2 2 4) (1 6 1 1 1 2 2 4) (20 5) (25 4) (5 21 3) (7 20 3) (3 1 6 8 4 4) (4 4 1 13 4) (1 1 7 2 2 1 3 3) (3 4 1 5 5 2) (1 1 6 2 2 1 2 1) (4 3 2 4 5 3) (4 6 4 4 4) (3 3 2 2 2 2 1 5) (3 6 5 7) (3 2 2 2 2 1 3) (2 4 5 3) (1 3 1 5) (6 4) (4 5) (4 5) (3 2) (1))) (quote ((3 5 3) (3 4 4 5) (3 2 1 14) (4 4 5 1 2 3) (5 2 1 4 5 2) (1 1 4 5 2) (4 2 1 2 1 3 4) (4 6 5 6 3) (4 2 1 4 8 4) (2 3 5 10 8) (5 8 12 5) (2 18 5 1 1) (1 18 2 5) (12 7 2) (13 6) (13 4) (19) (13 5) (13 8) (12 9) (19 5) (1 19 4) (5 8 11 2) (4 2 5 6 8) (3 6 1 5 2 2) (7 5 3 1 4) (3 1 3 1 6 4) (5 5 4 1 4) (6 4 7 4) (3 2 2 2 4 3 3) (4 3 1 8 2) (3 4 4 2 2) (3 3 1 4 1 2) (3 4 3 1) (3 3 1 2 4) (3 4 3 3) (3 4 3 3) (2 7 3) (2 7 3) (1 4 3))) (quote #f)) (make-problem "19981223bBAU (10)" (quote ((5 11) (8 6 6) (2 6 7 8) (3 8 2 12 2) (12 3 4 5 3 3) (5 5 8 3 2 5) (6 4 9 1 8) (9 16 8) (6 2 12 9) (3 4 9 9) (9 5 2 7) (8 6 6) (6 12 3) (5 6 10 2) (2 5 7 11) (2 5 8 9) (2 6 9 6) (3 8 16) (2 9 1 5) (2 9 2 2) (2 9 4 3) (2 9 14) (3 1 3 1 18) (3 7 11 6) (1 1 5 9 8) (1 1 3 7 10) (4 1 12) (4 1 5 5 1) (4 1 8 3 3) (4 1 10 5) (5 2 8 3 5) (3 1 1 1 1 5 4 5) (2 3 2 4 6 5) (1 3 3 12 6) (7 8 7 2 3) (16 7 3 2) (6 8 3 8) (4 7 2 8) (2 7 2 7) (9 8))) (quote ((4 15) (7 8 8) (8 3 11 2) (2 7 2 5 3) (2 7 1 1 6) (3 1 5 8) (5 2 2 4 8) (6 1 2 7 4 1) (5 5 6 2 1 3 1) (5 5 11 1 1 2) (5 22 5) (5 17 1 6) (1 2 12 2 6) (2 2 13 7) (1 2 3 5 8) (5 9) (5 2 4) (5 8 5 3) (7 5 5 8) (7 5 5 7) (8 6 5 7) (9 7 5 5 1) (2 6 8 5 4 1) (3 4 14 2 3) (5 3 1 4 6 2 5) (6 2 2 2 6 10) (8 4 1 5 10) (6 5 1 5 7 1) (1 2 7 3 1 4 2) (1 2 7 2 2 3 3) (4 8 2 3 5) (6 10 6 4) (10 6 6 5) (5 5 4 7 6) (4 6 3 7 6) (2 7 2 12 2) (13 4 6 2) (11 3 9) (9 2 8) (7 8))) (quote ("    xxxx         xxxxxxxxxxxxxxx        " "  xxxxxxx       xxxxxxxx  xxxxxxxx      " " xxxxxxxx      xxx    xxxxxxxxxxx xx    " "xx xxxxxxx    xx          xxxxx   xxx   " "xx  xxxxxxx   x               x xxxxxx  " "xxx x xxxxx                    xxxxxxxx " "xxxxx  xx xx      xxxx          xxxxxxxx" "xxxxxx x  xx     xxxxxxx          xxxx x" " xxxxx xxxxx    xxxxxx xx      x  xxx  x" " xxxxx  xxxxx  xxxxxxxxxxx    x    x  xx" "  xxxxx  xxxxxxxxxxxxxxxxxxxxxx    xxxxx" "   xxxxx xxxxxxxxxxxxxxxxx     x  xxxxxx" "   x  xx  xxxxxxxxxxxx xx         xxxxxx" "   xx xx   xxxxxxxxxxxxx         xxxxxxx" "    x  xx   xxx  xxxxx          xxxxxxxx" "    xxxxx                     xxxxxxxxx " "     xxxxx                   xx   xxxx  " "     xxxxx    xxxxxxxx      xxxxx xxx   " "    xxxxxxx  xxxxx xxxxx   xxxxxxxx     " "    xxxxxxx  xxxxx  xxxxx  xxxxxxx      " "   xxxxxxxx  xxxxxx xxxxx  xxxxxxx      " "  xxxxxxxxx xxxxxxx  xxxxx xxxxx x      " " xx  xxxxxx xxxxxxxx xxxxx xxxx  x      " " xxx  xxxx  xxxxxxxxxxxxxx  xx  xxx     " "xxxxx  xxx  x  xxxx xxxxxx  xx xxxxx    " "xxxxxx xx   xx  xx  xxxxxx   xxxxxxxxxx " "xxxxxxxx   xxxx  x   xxxxx    xxxxxxxxxx" "xxxxxx     xxxxx x   xxxxx    xxxxxxx  x" "x  xx      xxxxxxx   xxx  x     xxxx  xx" "x xx       xxxxxxx   xx  xx      xxx xxx" "xxxx      xxxxxxxx   xx xxx        xxxxx" "xxxxxx  xxxxxxxxxx    xxxxxx        xxxx" "xxxxxxxxxx  xxxxxx    xxxxxx       xxxxx" "xxxxx xxxxx  xxxx     xxxxxxx     xxxxxx" "xxxx  xxxxxx xxx      xxxxxxx    xxxxxx " " xx  xxxxxxx  xx      xxxxxxxxxxxx  xx  " "  xxxxxxxxxxxxx        xxxx  xxxxxx xx  " "   xxxxxxxxxxx          xxx xxxxxxxxx   " "    xxxxxxxxx            xx xxxxxxxx    " "     xxxxxxx              xxxxxxxx      "))) (make-problem "19990208-ELS (11)" (quote ((2 2 2 1 2 2) (4 4 2 1 2 4) (1 1 1 2 1 2 6) (1 2 1 2 1 2 2 8) (1 2 1 2 1 2 1 2 10) (1 1 1 2 1 2 1 1) (11 2 1 2 1 2 2 1) (1 1 1 2 2 1 2 2 1) (1 2 1 2 1 2 1 2 1 1) (1 2 1 2 1 2 1 2 1 2 1) (1 1 1 1 1 2 1 2 1) (11 2 2 10) (2 1 3) (2 1 1 2) (12 1 1 13) (20 1 12) (1) (1) (1) (4 3 3 3) (3 3 3 4) (1) (1) (1) (12 1 20) (13 1 1 13) (2 1 1 2) (2 1 2 3 1 2 1 1) (2 2 2 2 2 1 1 3) (2 2 2 2 1 2 1 5) (1 2 2 1 2 1 2 1 1 5) (1 2 3 2 1 2 1 1 1) (3 2 2 2 2 2 1 1 1 1 1) (7 2 2 1 2 5 1 1 1) (2 10 2 1 2 1 1 1 1) (6 1 2 1 2 1 1 1 1 1 1 1) (4 2 2 1 1 1 1 1) (4 2 1 2 1 1 1 1 1 1) (4 2 1 2 1 1 1 1 1) (6 2 1 2 1 1 1 1 1 1 1))) (quote ((2 1 2 1 1) (10 2 1 2 5) (1 1 1 2 1 2 1 2) (2 2 1 2 1 2 2 3 2) (2 2 1 2 1 2 1 2 3 3 1) (1 1 1 2 1 2 10) (10 2 1 2 1 9) (1 1 1 2 2 3 7) (2 2 1 2 1 2 1 2 2 6) (2 2 1 2 1 2 1 2 1 2 3 1) (1 1 1 2 1 2 2 4) (10 3 2 5 2) (2 1 1 2 1 1) (2 1 1 2) (12 1 1 13) (10 1 20) (1) (1) (1) (3 3 3 4) (4 3 3 3) (1) (1) (1) (20 1 12) (13 1 1 13) (2 1 1 2) (2 1 3 7) (8 2 2 2) (2 1 2 1 2 2 1 1 1) (3 2 1 2 1 2 1) (4 2 1 2 1 2 11) (5 3 2 2 1) (5 3 2 1 2 1 1 1 1 1 1) (4 2 1 2 1 2 1) (3 2 1 2 1 2 11) (2 1 2 2 3) (8 2 1 2 4 2 2 2) (2 1 2 3) (2 1 2 11))) (quote #f)) (make-problem "19990418-DRA (12)" (quote (() (38) (18 19) (17 1 18) (15 3 17) (13 6 16) (12 9 1 13) (10 11 1 11) (9 1 2 8 2 10) (6 2 1 2 1 3 2 9) (6 5 5 3 2 3 8) (6 4 5 5 1 4 7) (7 2 6 1 4 5 7) (6 3 7 1 4 4 7) (5 3 6 2 5 2 8) (5 4 5 1 1 4 2 9) (6 4 4 3 3 2 9) (6 4 6 1 3 2 10) (7 2 1 5 3 3 10) (8 1 2 3 1 2 2 11) (9 3 2 1 13) (10 2 1 4 14) (11 1 2 1 2 15) (12 1 1 16) (15 1 18) (11 1 19) (10 1 4 16) (10 2 3 15) (16 13) (12 3 3 12) (11 4 12) (10 2 7 12) (10 3 21) (10 5 3 16) (16 2 15) (16 1 1 14) (16 4 14) (16 6 14) (16 21) ())) (quote (() (38) (38) (38) (38) (38) (13 23) (8 1 2 21) (8 2 5 20) (8 9 19) (7 5 5 18) (6 4 1 2 4 3 5) (6 1 4 4 2 2 6) (5 3 7 4 1 1 6) (4 3 9 1 1 2 7) (4 2 11 2 1 3 8) (3 3 11 2 4 8) (3 4 4 3) (2 5 1 1 1 2 4 7 2) (1 7 2 1 1 2 2 2 6 3) (2 5 2 5 2 3 5 4) (3 4 3 1 2 2 3 3 3) (4 3 6 3 2 2 2 3) (5 3 8 2 4 3 2) (6 3 6 1 6 4 1) (5 1 3 4 2 7 7) (6 1 1 1 2 9 7) (6 6 4 19) (7 8 20) (8 5 22) (9 3 24) (10 25) (38) (38) (38) (38) (38) (38) (38) ())) (quote ("                                        " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxx  xxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxx   x xx  xxxxxxxxxxxxxxxxxxxxx " " xxxxxxxx xx xxxxx xxxxxxxxxxxxxxxxxxxx " " xxxxxxxx xxxxxxxxx xxxxxxxxxxxxxxxxxxx " " xxxxxxx xxxxx xxxxx xxxxxxxxxxxxxxxxxx " " xxxxxx xxxx  x xx    xxxx  xxx   xxxxx " " xxxxxx   x xxxx  xxxx xx   xx   xxxxxx " " xxxxx xxx xxxxxxx xxxx x   x    xxxxxx " " xxxx xxx xxxxxxxxx x   x   xx  xxxxxxx " " xxxx xx xxxxxxxxxxx xx x  xxx xxxxxxxx " " xxx xxx xxxxxxxxxxx  xx  xxxx xxxxxxxx " " xxx xxxx xxxx   xxx                    " " xx xxxxx x  x x xx     xxxx xxxxxxx xx " " x xxxxxxx xx x x  xx xx  xx xxxxxx xxx " " xx xxxxx xx xxxxx  xx   xxx xxxxx xxxx " " xxx xxxx xxx   x xx xx xxx   xxx   xxx " " xxxx xxx xxxxxx xxx xx xx     xx   xxx " " xxxxx xxx xxxxxxxx xx xxxx    xxx   xx " " xxxxxx xxx xxxxxx x  xxxxxx   xxxx   x " " xxxxx x xxx xxxx xx xxxxxxx    xxxxxxx " " xxxxxx x   x x  xx xxxxxxxxx   xxxxxxx " " xxxxxx xxxxxx xxxx xxxxxxxxxxxxxxxxxxx " " xxxxxxx xxxxxxxx  xxxxxxxxxxxxxxxxxxxx " " xxxxxxxx xxxxx  xxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxx xxx xxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxx   xxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " "                                        "))) (make-problem "19990422-VOL (13)" (quote (() () () () () (1 1 1 1 1 1) (3 1 1 3 3 3 3) (1 3 1 5 1 3 2 2 2 2 2 2) (10 6 1 18) (3 3 4 6 1 2 5 2 2 1) (15 3 6 11) (1 4 4 5 1 1 7 2 3) (19 8 2 5) (2 2 4 2 5 2 2 1 7 1) (7 8 2 7 9) (19 3 3 5 3) (3 3 2 1 1 2 1 7 7 1) (1 3 13 1 6 2 5) (7 3 3 1 1 5 3 4 1) (19 18) () (19 18) (1 1 1 9 3 2 5 2 3 2) (1 1 3 3 5 1 6 11) (1 1 1 13 10 7) (1 15 3 3 8 1) (7 1 2 2 5 8 3) (1 1 2 4 1 9 6) (1 5 3 7 10) (1 3 1 1 1 1 1 2 5 4 2 4) (1 5 3 15 2) (8 4 3 4 9) (1 5 3 1 10 2 4) (1 1 2 12 6 11) (1 1 10 4 2 15) (1 7 7 4 7 2 2) (15 3 18) (5 2 4 5 1 5 2 5 1) (19 18) ())) (quote (() (13 18) (3 5 2 1 1 1 3) (6 6 4 1 1 2 2 3) (3 6 3 1 1 4 3) (15 18) (1 5 3 2 1 1 2 9 1) (4 8 8 3 5) (1 4 1 1 1 2 2 1 1 8) (13 6 5 1) (14 5 1 6) (1 1 4 2 3 5 6) (5 6 1 2 2 1 2 3) (2 6 3 5 6) (5 6 5 1 4 1) (9 3 6 2 4) (1 2 7 1 1 5 1 5 2) (9 5 5 2 9) (2 2 4 1 1 2 8 6) (13 18) () (13 18) (3 1 5 2 6 9 1) (2 5 6 1 11 4) (9 4 4 5 7) (2 10 14 3) (5 4 1 5 2 9) (3 9 2 9 5) (7 3 4 2 8 1) (2 4 2 1 8 7) (5 4 1 18) (2 1 6 1 3 4 2 4 1) (3 6 1 1 4 11) (5 4 2 14 3) (3 10 8 2 6) (2 3 3 4 5 12) (14 1 7 4 3) (2 3 2 1 1 4 11 1) (12 18) ())) (quote #f)) (make-problem "19990503-DRA (14)" (quote ((7 23) (5 10 21) (4 14 20) (3 6 4 19) (2 6 4 1 4 18) (1 6 7 4 17) (1 2 6 5 16) (1 1 2 2 4 6 15) (1 1 9 4 14) (1 5 10 5 13) (1 4 6 5 4 12) (1 3 5 1 4 1 5 11) (1 2 1 2 1 4 10) (1 3 7 3 5 5 9) (1 13 6 2 3 8) (1 13 4 2 1 4 7) (1 13 5 6 3 6) (1 12 6 5 4 5) (1 7 1 3 4 1 3 4) (2 6 2 2 3 7 4 3) (2 6 9 2 2 3 3 2) (2 16 3 3 3 4 1) (2 16 5 3 2 1) (2 17 1 2 3 1 2 1) (3 15 12 1 2 1) (3 14 15 1 1) (3 14 9 3 2 1 1) (3 14 8 2 1 1 1) (4 14 4 2 4 2 1) (4 16 2 4 3 1 2 1) (4 10 1 1 7 1 3 1) (5 8 7 1 3 2) (5 8 7 7 3 3) (6 14 7 4 3) (7 3 7 5 6 3) (8 3 4 8 4) (9 3 6 9 5) (10 4 11 6) (11 20 7) (12 8))) (quote ((40) (5 21) (4 13 16) (3 3 15 12) (2 3 3 15 9) (1 4 2 17 7) (1 4 1 1 19 6) (5 1 1 21 5) (4 2 2 22 4) (3 1 4 6 15 3) (2 8 5 17 2) (2 7 5 15 3 1) (2 3 4 5 15 3) (2 7 6 15 2) (2 5 1 3 11 2 2) (2 10 10 3 1 1) (3 10 11 3 1 1) (1 3 3 5 11 3 1 1) (1 6 2 5 5 2 3 1 1) (2 5 1 5 1 1 1 3 1 1) (3 4 4 6 2 1 2 2 1) (4 5 2 6 5 1 1 2 1) (5 4 1 3 2 6 3 2) (6 5 4 1 9 4 2) (7 4 9 5 4 2) (8 5 12 6 3) (9 4 5 1 11 3) (10 3 4 10 4) (11 4 1 2 6 5 4) (12 3 8 3 4) (13 4 7 4 5) (14 3 1 7 5) (15 4 6 1 5 1) (16 3 1 1 1 5 2) (17 4 4 1 5 3) (18 3 2 5 4) (19 5 4 5) (20 10 8) (21 9) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxx              xxxxxxxxxxxxxxxxxxxxx" "xxxx xxxxxxxxxxxxx      xxxxxxxxxxxxxxxx" "xxx xxx  xxxxxxxxxxxxxxx    xxxxxxxxxxxx" "xx xxx   xxx xxxxxxxxxxxxxxx   xxxxxxxxx" "x xxxx   xx   xxxxxxxxxxxxxxxxx  xxxxxxx" "x xxxx   x x  xxxxxxxxxxxxxxxxxxx xxxxxx" " xxxxx x   x xxxxxxxxxxxxxxxxxxxxx xxxxx" " xxxx  xx xx xxxxxxxxxxxxxxxxxxxxxx xxxx" " xxx x  xxxx xxxxxx  xxxxxxxxxxxxxxx xxx" " xx xxxxxxxx xxxxx  xxxxxxxxxxxxxxxxx xx" " xx xxxxxxx  xxxxx xxxxxxxxxxxxxxx xxx x" " xx xxx xxxx xxxxx xxxxxxxxxxxxxxx  xxx " " xx xxxxxxx xxxxxx  xxxxxxxxxxxxxxx  xx " " xx  xxxxx x  xxx   xxxxxxxxxxx  xx  xx " " xx xxxxxxxxxx      xxxxxxxxxx  xxx x x " " xxx   xxxxxxxxxx  xxxxxxxxxxx  xxx x x " "x xxx    xxx xxxxx xxxxxxxxxxx  xxx x x " "x xxxxxx xx   xxxxx xxxxx   xx  xxx x x " "xx xxxxx  x  xxxxx x   x     x  xxx x x " "xxx xxxx   xxxx xxxxxx   xx  x  xx xx x " "xxxx xxxxx   xx  xxxxxx xxxxx x x xx  x " "xxxxx xxxx   x  xxx  xx xxxxxx   xxx xx " "xxxxxx xxxxx xxxx  x  xxxxxxxxx xxxx xx " "xxxxxxx xxxx  xxxxxxxxx xxxxx  xxxx  xx " "xxxxxxxx xxxxx  xxxxxxxxxxxx xxxxxx xxx " "xxxxxxxxx xxxx xxxxx x xxxxxxxxxxx  xxx " "xxxxxxxxxx xxx  xxxx    xxxxxxxxxx xxxx " "xxxxxxxxxxx xxxx x xx xxxxxx xxxxx xxxx " "xxxxxxxxxxxx xxx  xxxxxxxx    xxx  xxxx " "xxxxxxxxxxxxx xxxx  xxxxxxx xxxx  xxxxx " "xxxxxxxxxxxxxx xxx   x  xxxxxxx   xxxxx " "xxxxxxxxxxxxxxx xxxx    xxxxxx x xxxxx x" "xxxxxxxxxxxxxxxx xxx     x  x x xxxxx xx" "xxxxxxxxxxxxxxxxx xxxx xxxx  x xxxxx xxx" "xxxxxxxxxxxxxxxxxx xxx    xx  xxxxx xxxx" "xxxxxxxxxxxxxxxxxxx xxxxx   xxxx   xxxxx" "xxxxxxxxxxxxxxxxxxxx xxxxxxxxxx xxxxxxxx" "xxxxxxxxxxxxxxxxxxxxx          xxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990518-MNT (15)" (quote ((11 10 15) (10 14 14) (9 2 2 12) (8 2 3 11) (7 2 3 10) (6 2 2 9) (6 2 2 8) (6 2 2 7) (6 2 2 6) (6 4 2 5) (7 3 3 4) (8 8 2 4) (9 7 3 3) (9 2 2 3) (12 8 5 2 3) (12 9 6 2 3) (11 4 5 9 3) (10 1 3 6 9 3) (8 1 1 1 1 2 1 3) (8 6 2 4 5 4 2) (8 7 2 2 4 1 1 1) (7 6 1 1 4 1 4 1) (7 7 1 1 4 2 1 1) (3 2 1 1 9 1 1) (2 11 1 1 8 1 1 1) (1 12 3 2 1 7 4 1) (1 13 3 4 6 5 1) (1 14 1 12 1) (1 31 2) (1 22 11 1) (1 9 11 6 1 4) (3 12 4 1 5) (9 13 8 5) (9 3 9 8 6) (9 4 6 9 7) (10 5 4 9 7) (11 5 9 8) (12 5 9 10) (13 14 11) (14 11 12))) (quote ((40) (25 9) (24 4 9) (23 5 8) (23 7 8) (23 7 8) (5 13 7 8) (4 5 10 7 8) (3 7 6 1 7 8) (2 2 3 4 4 7 5) (1 2 4 3 5 7 2 4) (2 2 2 1 4 7 4 3) (1 2 1 4 7 5 2) (2 6 11 2 4 1) (2 6 15 4) (2 2 3 1 1 7 4) (2 2 2 1 1 1 7 4) (2 2 1 1 2 8 3) (2 2 1 1 2 8 2) (2 3 1 6 9 2) (2 4 1 1 8 3) (2 3 1 2 7 4) (2 2 1 2 6 5) (1 3 2 1 5 6) (2 2 1 6 2 2 7) (1 2 2 2 3 8) (2 2 2 12 8) (2 2 4 12 7) (3 2 4 19 1) (4 2 2 18 2) (5 2 2 1 13 3) (6 2 3 1 12 3) (7 3 3 1 4 3 1 4) (8 4 2 1 4 2 3 6) (9 8 1 1 1 3 1 7) (10 8 1 4 1 9) (12 1 2 2 1 10) (19 1 4 1 10) (20 1 1 10) (21 5 11))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxx      xxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxx  xxxx xxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx  xxxxx  xxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx xxxxxxx xxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx xxxxxxx xxxxxxxx" "xxxxx     xxxxxxxxxxxxx xxxxxxx xxxxxxxx" "xxxx xxxxx xxxxxxxxxx   xxxxxxx xxxxxxxx" "xxx xxxxxxx xxxxxx    x xxxxxxx xxxxxxxx" "xx xx    xxx  xxxx xxxx xxxxxxx    xxxxx" "x xx     xxxx xxx xxxxx xxxxxxx  xx xxxx" " xx        xx xx x xxxx xxxxxxx xxxx xxx" " x         xx   x  xxxx xxxxxxx xxxxx xx" "xx         xxxxxx  xxxxxxxxxxx xx xxxx x" "xx         xxxxxx  xxxxxxxxxxxxxxx xxxx " "xx         xx xxx x x      xxxxxxx xxxx " "xx         xx xx x x      x xxxxxxx xxxx" "xx            xx x x     xx xxxxxxxx xxx" "xx            xx x  x    xx xxxxxxxx  xx" "xx            xxx x xxxxxx xxxxxxxxx  xx" "xx            xxxx x      x xxxxxxxx xxx" "xx             xxx x     xx xxxxxxx xxxx" "xx              xx x     xx xxxxxx xxxxx" " x             xxx xx     x xxxxx xxxxxx" " xx           xx x  xxxxxx xx xx xxxxxxx" "x xx          xx xx        xxx  xxxxxxxx" "xx xx         xx   xxxxxxxxxxxx xxxxxxxx" "xx xx         xxxx xxxxxxxxxxxx xxxxxxx " "xxx xx        xxxx xxxxxxxxxxxxxxxxxxx x" "xxxx xx         xx xxxxxxxxxxxxxxxxxx xx" "xxxxx xx        xx x   xxxxxxxxxxxxx xxx" "xxxxxx xx       xxx  x xxxxxxxxxxxx  xxx" "xxxxxxx xxx     xxx x xxxx xxx  x   xxxx" "xxxxxxxx xxxx   xx x xxxx xx xxx  xxxxxx" "xxxxxxxxx xxxxxxxx x x x xxx x   xxxxxxx" "xxxxxxxxxx  xxxxxxxx x  xxxx x xxxxxxxxx" "xxxxxxxxxxxx       x xx  xx x xxxxxxxxxx" "xxxxxxxxxxxxxxxxxxx x  xxxx x xxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxx x     x  xxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxx xxxxx  xxxxxxxxxxx"))) (make-problem "19990525-DRA (16)" (quote ((1) (3 1 1 3 3 1 1 3 2 3 1) (1 1 3 1 1 1 2 1 1 1 1 1 1 1 1) (1 1 1 1 1 3 1 2 3 1 1 3) (3 1 1 3 1 1 1 1 1 1 3 1 1 1) () () (1) (3) (5) (7) (11) (11) (11) (11) (11) (4 11 4) (5 11 5) (6 11 6) (7 11 7) (27) (27) (25) (23) (23) (23) (25) (25) (19) (11) (13) (15) (1) (1) (1) (1) (1) () () ())) (quote (() (4) (1 1) (4) () (4) (1) (4 6) (7 2) (12) (12) (4 12) (1 1 11) (1 1 10 1) (9 2) (4 21) (1 1 21) (4 22) (23) (4 24) (1 30) (1 24) (4 23) (22) (4 21) (1 1 21) (4 9 2) (10 1) (4 11) (1 1 12) (3 12) (12) (4 7 2) (1 1 6) (4) () () (3 1) () ())) (quote #f)) (make-problem "19990527bDRA (17)" (quote ((40) (40) (40) (21 16) (8 14 3 11) (6 10 5 2 2 8) (2 2 12 5 1 1 9) (2 2 5 6 5 9) (2 3 2 2 2 1 7 11) (2 1 2 2 3 2 4 4 6) (2 3 3 4 4 3 7) (4 2 2 3 4 2 8) (4 5 2 3 3 3 4 3) (4 4 2 2 5 2 5 3) (6 4 2 5 4 1 3) (3 2 4 2 3 3 4 1 3) (2 4 2 2 2 2 6 1 3) (4 4 2 2 1 1 7 1 3) (6 2 2 2 2 2 4 4) (6 2 2 4 2 3 5) (8 2 5 1 2 6) (9 1 3 5 2 1 4 3) (10 1 2 2 2 5 2) (3 5 2 2 1 3 5 3) (4 2 2 3 2 3 6) (6 1 1 3 2 2 8) (7 3 3 1 9) (6 7 3 2 2 4) (5 9 3 2 2 1 5) (4 11 1 1 5 6) (16 1 5 7) (17 2 7 4) (17 1 8 5) (17 1 15) (16 1 15) (16 2 15) (15 1 14) (13 15) (12 13) (40))) (quote ((40) (40) (6 5 23) (9 4 6 16) (10 3 6 4 10) (6 1 2 3 6 3 11) (5 3 2 5 1 12) (5 5 2 2 5 13) (4 6 3 2 3 14) (8 4 3 1 15) (11 3 1 14) (12 5 3 13) (7 3 5 2 11 1) (9 2 3 2 10 1) (11 1 3 9 1) (8 2 4 5 7 1) (8 3 4 3 3 1) (9 3 4 1 1) (5 2 5 3 6 1 1) (6 5 5 3 4 1) (10 9 2 1) (3 6 2 3 1) (3 5 4 2 1) (3 13 3 2 1) (4 6 4 5 3 1 1) (5 4 3 5 7 1 1) (6 3 1 2 9 1) (7 2 1 11) (4 2 3 1 4 10) (7 6 3 2 3 9) (6 5 6 2 2 9) (5 5 7 2 3 9) (10 4 3 3 2 8) (9 5 3 2 4 1 7) (14 3 4 2 7) (18 4 3 3 8) (12 3 16) (22 17) (40) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxx     xxxxx xxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxx  xxxx  xxxxxx xxxxxxxxxxxxxxxx" "xxxxxxxxxx    xxx xxxxxx xxxx xxxxxxxxxx" "xxxxxx  x  xx xxx xxxxxx xxx xxxxxxxxxxx" "xxxxx     xxx   xx  xxxxx x xxxxxxxxxxxx" "xxxxx xxxxx xx  xx  xxxxx  xxxxxxxxxxxxx" "xxxx xxxxxx xxx  xx  xxx  xxxxxxxxxxxxxx" "xxxxxxxx    xxxx xxx  x  xxxxxxxxxxxxxxx" "xxxxxxxxxxx  xxx   x      xxxxxxxxxxxxxx" "xxxxxxxxxxxx  xxxxx  xxx   xxxxxxxxxxxxx" "xxxxxxx   xxx  xxxxx   xx  xxxxxxxxxxx x" "xxxxxxxxx   xx     xxx  xx xxxxxxxxxx  x" "xxxxxxxxxxx  x      xxx     xxxxxxxxx  x" "xxxxxxxx xx    xxxx  xxxxx   xxxxxxx   x" "xxxxxxxx xxx   xxxx    xxx     xxx     x" "xxxxxxxxx xxx           xxxx       x   x" "xxxxx xx   xxxxx   xxx    xxxxxx   x   x" "xxxxxx      xxxxx xxxxx   xxx  xxxx    x" "xxxxxxxxxx     xxxxxxxxx    xx         x" "xxx xxxxxx  xx     xxx                 x" "xxx xxxxx  xxxx     xx                 x" "xxx  xxxxxxxxxxxxx     xxx  xx         x" "xxxx  xxxxxx xxxx    xxxxx  xxx     x  x" "xxxxx   xxxx xxx   xxxxx     xxxxxxx x x" "xxxxxx  xxx   x   xx         xxxxxxxxx x" "xxxxxxx          xx  x       xxxxxxxxxxx" "xxxx        xx xxx  x  xxxx   xxxxxxxxxx" "xxxxxxx xxxxxx xxx xx  xxx     xxxxxxxxx" "xxxxxx  xxxxx xxxxxx   xx  xx  xxxxxxxxx" "xxxxx xxxxx  xxxxxxx  xx  xxx  xxxxxxxxx" "xxxxxxxxxx xxxx xxx  xxx xx     xxxxxxxx" "xxxxxxxxx xxxxx xxx  xx  xxxx x  xxxxxxx" "xxxxxxxxxxxxxx      xxx xxxx xx  xxxxxxx" "xxxxxxxxxxxxxxxxxx xxxx xxx xxx xxxxxxxx" "xxxxxxxxxxxx      xxx   xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990529bDRA (18)" (quote (() (9) (13) (11 5) (14 5) (16 5) (22) (3 3 1 12) (2 2 6) (2 6) (5 8 6) (2 2 1 1 1 1) (4 1 6) (2 1 1 2 7) (3 1 2 1 1 7) (5 2 3 1 7) (1 4 5 2 4) (2 2 1 6) (2 2 2) (1 3) (1 2 2) (1 1 1 2) (1 7 4) (2 3 1 2) (1 4) (2 4) (2 2 2) (2 2 2) (3 3 4) (8 2 2) (2 2 4) (8 2 7) (6 2 2 9) (8 2 2 11) (10 2 2 12) (12 2 2 14) (14 4 15) (15 16) (35) (35))) (quote (() () (4) (5) (6) (7) (7 8) (4 3 9) (11 2 9) (12 2 9) (4 1 1 2 2 9) (4 1 1 1 1 1 1 9) (5 1 2 2 2 2 1 7) (7 2 1 2 4 6) (7 3 1 2 5 5) (6 4 2 3 1 2 4) (6 2 1 1 2 3) (7 1 1 1 1 2 2) (6 1 3 1 1 2) (7 1 1 2 2 1 2) (7 1 1 1 1 2 2) (7 1 3 2 2 3) (2 4 1 1 2 2 4) (3 3 2 2 2 5) (3 2 3 2 6) (8 4 1 8 7) (16 9 8) (8 4 3 4 1 9) (14 4 12) (6 9 11) (4 7 10) (8 10) (9) (9) (8) (7) (5) () () ())) (quote #f)) (make-problem "19990530aDRA (19)" (quote ((40) (40) (26 13) (5 20 13) (5 11 3 13) (5 20 13) (5 5 1 4 1 1 11) (4 1 4 3 2 3 13) (5 4 4 3 2 3 13) (4 4 4 3 2 3 2 10) (4 4 6 1 4 10) (4 4 30) (40) (14 24) (13 1 24) (6 4 1 24) (6 1 3 1 12) (6 1 5 5 10) (5 2 1 1 2 7 7) (4 1 2 3 4 5) (3 1 2 1 1 1 5 4) (3 1 2 1 1 3 4) (3 1 1 1 3 4 1 2 1 4) (3 2 3 3 1 1 4) (3 1 3 3 2 1 1 4) (3 2 1 5 3 1 1 1 4) (3 2 2 3 2 2 1 1 4) (3 1 2 5 5 1 2 4) (4 1 2 11 1 2 5) (5 1 6 5 2 6) (6 1 13 2 7) (7 5 5 8) (8 15 9) (12 13) (40) (40) (40) (40) (40) (40))) (quote ((40) (40) (40) (20 12) (7 1 7 1 1 2 1 11) (3 8 2 1 10) (4 2 7 2 1 9) (4 2 7 1 1 2 1 8) (4 10 1 2 1 7) (4 2 2 5 2 2 1 1 7) (4 2 7 1 1 1 1 7) (6 10 2 1 1 1 1 7) (6 9 4 1 1 2 6) (6 7 3 1 2 1 6) (13 7 3 1 1 1 6) (6 3 4 2 1 1 1 6) (10 5 2 3 1 1 1 1 6) (10 5 1 1 3 1 1 1 6) (10 5 1 3 1 1 1 6) (7 5 2 1 2 1 1 1 6) (6 3 5 2 4 1 1 1 1 6) (16 3 1 1 1 6) (4 1 5 1 3 1 1 1 6) (16 4 2 1 1 1 6) (6 9 3 1 1 1 1 6) (6 9 2 1 2 1 6) (2 6 2 1 1 2 6) (6 3 5 2 1 1 1 7) (6 3 6 1 2 1 1 1 7) (9 6 2 2 1 1 7) (18 2 1 1 2 7) (18 5 1 1 2 8) (18 4 1 1 2 9) (19 2 1 1 2 10) (19 1 1 1 2 11) (20 12) (40) (40) (40) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxx        xxxxxxxxxxxx" "xxxxxxx x   xxxxxxx x x xx x xxxxxxxxxxx" "xxx       xxxxxxxx       xx x xxxxxxxxxx" "xxxx xx xxxxxxx           xx x xxxxxxxxx" "xxxx xx xxxxxxx x        x xx x xxxxxxxx" "xxxx xxxxxxxxxx           x xx x xxxxxxx" "xxxx xx xx  xxxxx    xx   xx x x xxxxxxx" "xxxx xx   xxxxxxx x        x x x xxxxxxx" "xxxxxx xxxxxxxxxx xx     x x x x xxxxxxx" "xxxxxx xxxxxxxxx      xxxx x x xx xxxxxx" "xxxxxx xxxxxxx         xxx x xx x xxxxxx" "xxxxxxxxxxxxx xxxxxxx   xxx x x x xxxxxx" "xxxxxx    xxx      xxxx  xx x x x xxxxxx" "xxxxxxxxxx xxxxx xx  xxx  x x x x xxxxxx" "xxxxxxxxxx xxxxx x  x xxx   x x x xxxxxx" "xxxxxxxxxx xxxxx x     xxx  x x x xxxxxx" "xxxxxxx    xxxxx xx   x xx  x x x xxxxxx" "xxxxxx xxx xxxxx xx xxxx x  x x x xxxxxx" "xxxxxxxxxxxxxxxx      xxx   x x x xxxxxx" "xxxx x     xxxxx   x  xxx   x x x xxxxxx" "xxxxxxxxxxxxxxxx xxxx    xx x x x xxxxxx" "xxxxxx xxxxxxxxx xxx      x x x x xxxxxx" "xxxxxx xxxxxxxxx xx        x xx x xxxxxx" "xx        xxxxxx xx        x x xx xxxxxx" "xxxxxx xxx xxxxx xx        x x x xxxxxxx" "xxxxxx xxx xxxxxx x  xx    x x x xxxxxxx" "xxxxxxxxx  xxxxxx xx      xx x x xxxxxxx" "xxxxxxxxxxxxxxxxxx xx     x x xx xxxxxxx" "xxxxxxxxxxxxxxxxxx xxxxx x x xx xxxxxxxx" "xxxxxxxxxxxxxxxxxx xxxx x x xx xxxxxxxxx" "xxxxxxxxxxxxxxxxxxx xx x x xx xxxxxxxxxx" "xxxxxxxxxxxxxxxxxxx x x x xx xxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxx        xxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990530bDRA (20)" (quote ((40) (40) (40) (40) (40) (15 15) (14 14) (13 13) (12 12) (11 11) (10 10) (9 9) (8 8) (7 7) (6 1 1 6) (6 5 5 6) (6 6 6 6) (6 6 6 6) (6 4 4 6) (6 2 2 6) (6 6) (7 1 1 7) (8 2 2 8) (3 3 9) (1 4 10) (1 6 1 1 1 1 6 3) (1 6 1 1 1 1 6 3) (1 5 1 1 1 6 1) (4 5 1 1 1 6 1) (5 4 5 1) (6 5 6 5) (7 4 5 6) (8 3 4 7) (9 2 3 8) (10 4 5 9) (11 12 10) (12 10 11) (13 8 12) (14 3 13) (15 14))) (quote ((40) (24 12) (24 12) (23 12) (23 11) (23 10) (14 6 9) (13 7 8) (12 7 7) (11 7 6) (10 7 5) (9 8 4) (8 3 4 3) (7 4 5 2) (6 6 1 1) (5 5 2) (5 4 2 3) (5 2 1 2 3) (5 2 2 3) (5 2 4) (5 2 2 4) (5 1 2 4) (5 2 2 3) (5 4 4) (5 5 4) (6 6 3) (7 4 6 1) (8 3 5 2) (9 9 3) (10 8 4) (11 8 5) (12 8 6) (13 8 7) (14 8 8) (25 9) (25 10) (25 10) (27 10) (27 10) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxx    xxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxx    xxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx     xxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx      xxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx       xxxxxxxxxx" "xxxxxxxxxxxxxx       xxxxxx    xxxxxxxxx" "xxxxxxxxxxxxx         xxxxxxx   xxxxxxxx" "xxxxxxxxxxxx           xxxxxxx   xxxxxxx" "xxxxxxxxxxx             xxxxxxx   xxxxxx" "xxxxxxxxxx               xxxxxxx   xxxxx" "xxxxxxxxx                xxxxxxxx   xxxx" "xxxxxxxx       xxx            xxxx   xxx" "xxxxxxx        xxxx           xxxxx   xx" "xxxxxx        xxxxxx              x    x" "xxxxx          xxxxx              xx    " "xxxxx          xxxx      xx       xxx   " "xxxxx           xx    x    xx      xxx  " "xxxxx                xx  xx        xxx  " "xxxxx                      xx      xxxx " "xxxxx                xx  xx        xxxx " "xxxxx                 x    xx      xxxx " "xxxxx           xx       xx        xxx  " "xxxxx          xxxx               xxxx  " "xxxxx          xxxxx              xxxx  " "xxxxxx        xxxxxx              xxx   " "xxxxxxx        xxxx           xxxxxx   x" "xxxxxxxx       xxx            xxxxx   xx" "xxxxxxxxx                xxxxxxxxx   xxx" "xxxxxxxxxx               xxxxxxxx   xxxx" "xxxxxxxxxxx             xxxxxxxx   xxxxx" "xxxxxxxxxxxx           xxxxxxxx   xxxxxx" "xxxxxxxxxxxxx         xxxxxxxx   xxxxxxx" "xxxxxxxxxxxxxx       xxxxxxxx   xxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxx      xxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxx     xxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxx     xxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxx   xxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxx   xxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990530cDRA (21)" (quote ((40) (40) (9 28) (7 3 27) (6 5 12 10) (5 8 1 1 9) (5 5 3 8) (5 3 2 6 7) (5 3 2 6 7) (5 4 1 7 7) (5 4 1 4 2 1 7) (6 3 1 3 1 3 1 7) (6 3 2 6 1 7) (6 2 3 2 1 7) (6 2 3 3 2 7) (6 4 1 2 7) (13 1 1 3 7) (13 8 12) (12 3 11) (11 1 3 1 10) (10 3 3 9) (10 4 4 9) (4 5 19 9) (3 5 19 9) (2 5 19 9) (2 4 16 8) (2 3 15 5 7) (3 1 2 15 5 7) (4 3 1 4 10 5 7) (5 3 4 11 8) (6 3 4 13 10) (7 2 4 13 10) (8 1 4 13 10) (8 13 10) (7 5 11) (7 4 3 11) (7 4 11) (8 1 5 12) (40) (40))) (quote ((40) (40) (24 13) (23 12) (22 11) (5 14 1 10) (4 6 10 3 9) (3 10 11 3 2 3) (3 11 12 3 2) (2 4 4 14 3 2) (2 4 1 7 2) (2 3 12 13 2) (3 2 1 6 14 2) (4 2 4 13 2) (5 8 12 3) (5 8 6 2 2) (6 4 1 2 12 2 2) (5 3 1 1 12 2 2) (5 4 1 3 12 2 2) (5 1 4 1 3 13 3) (5 2 3 14 3) (5 1 1 14 3) (5 1 1 14 3) (6 2 2 13 3) (5 1 12 2) (5 12 2) (4 5 5 2) (4 5 3 4 2) (4 7 6 3 4 3) (4 5 5 3 6) (5 4 3 10) (6 8 3 10) (7 9 11) (40) (40) (40) (40) (40) (40) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxx   xxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx     xxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxx       xxxxxxxxxxx" "xxxxx      xxxxxxxxxxxxxx   x xxxxxxxxxx" "xxxx xxxxxx     xxxxxxxxxx xxx xxxxxxxxx" "xxx  xxxxxxxxxx xxxxxxxxxxx xxx xx   xxx" "xxx xxxxxxxxxxx xxxxxxxxxxxx xxx      xx" "xx xxxx  xxxx  xxxxxxxxxxxxxx xxx     xx" "xx xxxx x    xxxxxxx                  xx" "xx xxx xxxxxxxxxxxx xxxxxxxxxxxxx     xx" "xxx xx x    xxxxxx xxxxxxxxxxxxxx     xx" "xxxx xx xxxx        xxxxxxxxxxxxx     xx" "xxxxx xxxxxxxx       xxxxxxxxxxxx    xxx" "xxxxx xxxxxxxx        xxxxxx       xx xx" "xxxxxx xxxx x   xx    xxxxxxxxxxxx xx xx" "xxxxx  xxx  x    x    xxxxxxxxxxxx xx xx" "xxxxx  xxxx x    xxx  xxxxxxxxxxxx xx xx" "xxxxx  x xxxx x  xxx  xxxxxxxxxxxxx  xxx" "xxxxx         xx xxx  xxxxxxxxxxxxxx xxx" "xxxxx         x  x    xxxxxxxxxxxxxx xxx" "xxxxx      x     x    xxxxxxxxxxxxxx xxx" "xxxxxx    xx    xx    xxxxxxxxxxxxx  xxx" "xxxxx      x          xxxxxxxxxxxx    xx" "xxxxx                 xxxxxxxxxxxx    xx" "xxxx                 xxxxx   xxxxx    xx" "xxxx                xxxxx xxx xxxx    xx" "xxxx       xxxxxxx xxxxxx xxx xxxx   xxx" "xxxx          xxxxx xxxxx xxx     xxxxxx" "xxxxx           xxxx      xxx xxxxxxxxxx" "xxxxxx           xxxxxxxx xxx xxxxxxxxxx" "xxxxxxx          xxxxxxxxx   xxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990601aDRA (22)" (quote ((18 1 19) (5 10 9 7) (5 10 9 7) (7 10 9 9) (8 8 9 10) (3 1 5 16 4 1 4) (2 5 11 4 3) (2 6 9 8 3) (3 8 7 10 4) (4 10 5 12 5) (13 17) (12 10 16) (11 12 15) (10 1 4 1 6 4) (3 3 1 1 4 1 1 5 4 3) (2 4 1 1 4 1 4 6 2) (1 7 1 4 1 3 8 1) (1 8 14 2 9 1) (9 4 4 4 2 10) (10 4 4 2 11) (11 10 2 12) (12 2 2 13) (12 2 2 1 13 1) (1 10 10 14 1) (1 9 12 13 1) (1 8 14 11 2) (2 6 14 10 2) (3 5 12 8 2) (4 4 2 4 3) (5 4 4) (8 1 1 1 11) (7 1 2 2 2 10) (6 2 16 3 9) (5 4 14 5 8) (3 6 7 6) (10 14) (9 13) (7 10 10) (6 6 8 7 9) (5 8 9 8))) (quote ((18 17) (16 5 14) (6 7 10 13) (5 5 12 6 5) (6 4 13 5 5) (1 2 5 14 3 5) (1 3 6 14 2 5 1) (3 11 13 1 5 2) (4 10 13 6 2) (4 11 9 3 2) (4 8 6 3 1 2) (5 6 6 4 2 3 2) (6 4 1 3 2 4 2 2) (7 2 2 4 5 2 1 1) (8 1 2 1 4 6 2 2) (9 2 1 2 6 2 2) (10 8 1 5 2 2) (1 7 8 2 5 2 2) (6 8 2 5 2 2) (1 5 8 1 5 2 2) (6 2 1 2 6 2 2) (1 6 2 4 6 2 2) (8 1 2 1 4 5 2 1 1) (7 3 1 3 2 4 2 2) (6 5 6 2 1 2 3 2) (6 6 2 3 3 1 2) (6 13 5 3 2) (6 12 7 1 7 2) (5 11 8 2 6 2) (4 11 11 2 5 2) (3 11 12 3 5 1) (1 11 13 4 5) (1 3 5 15 4 5) (5 4 15 4 5) (6 3 15 10) (5 4 15 10) (6 6 13 11) (15 9 12) (16 4 15) (18 18))) (quote ("xxxxxxxxxxxxxxxxxx     xxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxx  xxxxx   xxxxxxxxxxxxxx" "xxxxxx  xxxxxxx xxxxxxxxxx xxxxxxxxxxxxx" "xxxxx    xxxxx xxxxxxxxxxxx xxxxxx xxxxx" "xxxxxx    xxxx xxxxxxxxxxxxx xxxxx xxxxx" "x  xx    xxxxx xxxxxxxxxxxxxx xxx xxxxx " "x  xxx  xxxxxx xxxxxxxxxxxxxx xx xxxxx x" "xxx xxxxxxxxxxx xxxxxxxxxxxxx x xxxxx xx" "xxxx xxxxxxxxxx xxxxxxxxxxxxx  xxxxxx xx" "xxxx xxxxxxxxxxx xxxxxxxxx       xxx  xx" "xxxx xxxxxxxx      xxxxxx     xxx x   xx" "xxxxx xxxxxx xxxxxx xxxx xx    xxx    xx" "xxxxxx xxxx x    xxx xx xxxx    xx    xx" "xxxxxxx xx xx    xxxx  xxxxx    xx   x x" "xxxxxxxx x xx x  xxxx xxxxxx    xx   xx " "xxxxxxxxx  xx    x xx xxxxxx    xx   xx " "xxxxxxxxxx xxxxxxxx x  xxxxx    xx   xx " "x  xxxxxxx xxxxxxxx xx xxxxx    xx   xx " "    xxxxxx xxxxxxxx xx xxxxx    xx   xx " "x    xxxxx xxxxxxxx x  xxxxx    xx   xx " "    xxxxxx xx    x xx xxxxxx    xx   xx " "x  xxxxxx  xx    xxxx xxxxxx    xx   xx " "xxxxxxxx x xx x  xxxx  xxxxx    xx   x x" "xxxxxxx xxx x    xxx xx xxxx    xx    xx" "xxxxxx xxxxx xxxxxx xx x xx    xxx    xx" "xxxxxx xxxxxx      xx xxx     xxx x   xx" "xxxxxx xxxxxxxxxxxxx xxxxx       xxx  xx" "xxxxxx xxxxxxxxxxxx xxxxxxx x xxxxxxx xx" "xxxxx xxxxxxxxxxx  xxxxxxxx xx xxxxxx xx" "xxxx xxxxxxxxxxx xxxxxxxxxxx xx xxxxx xx" "xxx xxxxxxxxxxx xxxxxxxxxxxx xxx xxxxx x" "x  xxxxxxxxxxx xxxxxxxxxxxxx xxxx xxxxx " "x  xxx  xxxxx xxxxxxxxxxxxxxx xxxx xxxxx" "xxxxx    xxxx xxxxxxxxxxxxxxx xxxx xxxxx" "xxxxxx    xxx xxxxxxxxxxxxxxx xxxxxxxxxx" "xxxxx    xxxx xxxxxxxxxxxxxxx xxxxxxxxxx" "xxxxxx  xxxxxx xxxxxxxxxxxxx xxxxxxxxxxx" "xxxxxxxxxxxxxxx xxxxxxxxx   xxxxxxxxxxxx" "xxxxxxxxxxxxxxxx  xxxx   xxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxx    xxxxxxxxxxxxxxxxxx"))) (make-problem "19990601bDRA (23)" (quote ((35) (13 21) (14 19) (15 17) (16 6 7) (17 4 3) (17 1 4 5) (14 2 1 4 7) (13 1 3 4 7) (12 1 11 7) (11 4 10 8) (3 4 6 7 10) (2 1 2 15 10) (2 5 13 10) (1 8 12 12) (13 8 12) (7 7 7 13) (6 1 7 6 13) (6 7 4 13) (7 9 12) (6 10 2 11) (4 9 7 8) (3 7 9 7) (2 4 12 7) (1 1 3 15 6) (5 6 11 6) (4 10 1 9 6) (3 11 8 7) (3 14 5 9) (2 16 2 9) (2 17 11) (2 5 10 13) (1 4 10 13) (7 2 6 2 12) (6 4 4 5 11) (6 5 8 10) (29 10) (40) (40) (40))) (quote ((25 13) (14 9 6 7) (12 8 4 7) (11 9 3 10) (11 9 2 11) (11 8 1 12) (12 4 1 1 7 4) (12 3 1 5 5) (13 2 1 2 5 7) (13 3 5 5 7) (11 4 5 5 6) (10 9 6 6) (9 2 8 7 4) (1 6 4 7 10 4) (1 4 6 7 10 4) (2 3 5 7 10 4) (3 3 5 5 10 4) (4 1 5 4 3 6 4) (5 1 5 2 2 6 4) (5 2 6 1 1 4 4) (5 2 7 2 2 5) (5 10 5 1 5) (5 10 7 6) (5 11 7 6) (4 11 8 7) (4 7 10 7) (4 1 4 10 6) (5 5 3 8 2 5) (11 6 7 3 4) (10 7 6 5 3) (9 10 4 10) (7 10 3 12) (5 12 12) (5 17 13) (3 33) (1 34) (34) (35) (35) (35))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxx  xxxxxxxxxxxxx" "xxxxxxxxxxxxxx xxxxxxxxx  xxxxxx xxxxxxx" "xxxxxxxxxxxx   xxxxxxxx  xxxx    xxxxxxx" "xxxxxxxxxxx  xxxxxxxxx  xxx   xxxxxxxxxx" "xxxxxxxxxxx xxxxxxxxx    xx  xxxxxxxxxxx" "xxxxxxxxxxx  xxxxxxxx    x  xxxxxxxxxxxx" "xxxxxxxxxxxx xxxx  x     x xxxxxxx  xxxx" "xxxxxxxxxxxx xxx        x  xxxxx   xxxxx" "xxxxxxxxxxxxx xx x     xx xxxxx  xxxxxxx" "xxxxxxxxxxxxx xxx   xxxxx xxxxx  xxxxxxx" "xxxxxxxxxxx   xxxx xxxxx  xxxxx   xxxxxx" "xxxxxxxxxx     xxxxxxxxx  xxxxxx  xxxxxx" "xxxxxxxxx  xx  xxxxxxxx   xxxxxxx   xxxx" "x xxxxxx  xxxx  xxxxxxx  xxxxxxxxxx xxxx" "x  xxxx  xxxxxx xxxxxxx  xxxxxxxxxx xxxx" "xx  xxx   xxxxx xxxxxxx  xxxxxxxxxx xxxx" "xxx  xxx  xxxxx  xxxxx   xxxxxxxxxx xxxx" "xxxx   x   xxxxx  xxxx  xxx xxxxxx  xxxx" "xxxxx   x   xxxxx  xx   xx  xxxxxx  xxxx" "xxxxx    xx xxxxxx      x x  xxxx   xxxx" "xxxxx    xx xxxxxxx    xx      xx  xxxxx" "xxxxx    xxxxxxxxxx  xxxxx      x  xxxxx" "xxxxx    xxxxxxxxxx  xxxxxxx      xxxxxx" "xxxxx   xxxxxxxxxxx  xxxxxxx      xxxxxx" "xxxx   xxxxxxxxxxx   xxxxxxxx    xxxxxxx" "xxxx    xxxxxxx     xxxxxxxxxx   xxxxxxx" "xxxx  x  xxxx       xxxxxxxxxx    xxxxxx" "xxxxx  xxxxx    xxx  xxxxxxxx  xx  xxxxx" "xxxxxxxxxxx   xxxxxx  xxxxxxx  xxx  xxxx" "xxxxxxxxxx    xxxxxxx xxxxxx  xxxxx  xxx" "xxxxxxxxx  xxxxxxxxxx  xxxx   xxxxxxxxxx" "xxxxxxx    xxxxxxxxxx  xxx  xxxxxxxxxxxx" "xxxxx     xxxxxxxxxxxx      xxxxxxxxxxxx" "xxxxx  xxxxxxxxxxxxxxxxx   xxxxxxxxxxxxx" "xxx    xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" " x    xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "      xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "     xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "     xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "     xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990604aDRA (24)" (quote ((40) (40) (40) (7 32) (5 2 21 8) (5 3 17 2 6) (5 3 15 3 6) (5 3 15 3 6) (5 3 15 3 6) (6 1 17 3 6) (8 8 3 7 1 7) (8 8 3 8 9) (8 9 1 9 9) (8 6 6 9) (8 6 1 1 6 9) (9 3 2 2 4 9) (10 1 2 2 2 10) (11 1 11) (11 12) (11 12) (6 7) (2 1 5 5 1 3) (4 6 6 5) (2 7 7 3) (11 2 2 12) (12 2 2 13) (12 1 1 1 1 14) (9 1 1 11) (4 3 6 5 3 6) (5 1 8 7 1 7) (4 24 6) (40) (40) (5 2 4 3 14) (5 2 2 2 2 2 2 2 13) (5 5 3 2 14) (5 5 2 2 2 2 2 13) (5 2 2 2 2 2 2 2 13) (5 2 2 2 2 2 14) (40))) (quote ((40) (40) (21 1 16) (21 1 16) (22 5 1 9) (4 12 7 2 1) (4 10 9 2 4 1) (3 5 10 8 3 4 1) (10 5 7 4 2 1) (4 4 5 4 6 12) (5 7 3 6 12) (5 8 2 5 1) (16 6 1 4) (15 1 1 5 1 4) (15 1 2 6 1 1) (13 2 2 11) (13 2 10) (10 1 4 1) (12 3 1 4) (13 3 1 4) (12 4 1) (10 1 10) (13 2 2 10) (13 2 2 4 1) (15 1 1 1 5 1 2 1) (15 6 1 2 1) (16 1 6 1 2) (6 8 2 12) (6 7 2 6 12) (5 4 5 3 7 11) (11 4 8 10) (4 5 9 9 9) (5 9 8 9) (5 11 6 1 9) (22 17) (21 1 16) (21 1 16) (40) (40) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxx x xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxx x xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxx xxxxx x xxxxxxxxx" "xxxx     xxxxxxxxxxxx xxxxxxx  xx      x" "xxxx      xxxxxxxxxx xxxxxxxxx xx xxxx x" "xxx xxxxx xxxxxxxxxx xxxxxxxx xxx xxxx x" "xxxxxxxxxx     xxxxx xxxxxxx xxxx  xx  x" "xxxx xxxx xxxxx xxxx xxxxxx xxxxxxxxxxxx" "xxxxx    xxxxxxx xxx xxxxxx xxxxxxxxxxxx" "xxxxx    xxxxxxxx        xx xxxxx      x" "xxxxxxxxxxxxxxxx           xxxxxx x xxxx" "xxxxxxxxxxxxxxx         x x xxxxx x xxxx" "xxxxxxxxxxxxxxx x       xx  xxxxxx x   x" "xxxxxxxxxxxxx  xx        xx  xxxxxxxxxxx" "xxxxxxxxxxxxx xx              xxxxxxxxxx" "xxxxxxxxxx  x                 xxxx     x" "xxxxxxxxxxxx                  xxx x xxxx" "xxxxxxxxxxxxx                 xxx x xxxx" "xxxxxxxxxxxx                  xxxx     x" "xxxxxxxxxx  x                 xxxxxxxxxx" "xxxxxxxxxxxxx xx         xx   xxxxxxxxxx" "xxxxxxxxxxxxx  xx       xx   xxxx      x" "xxxxxxxxxxxxxxx x       x x xxxxx x xx x" "xxxxxxxxxxxxxxx            xxxxxx x xx x" "xxxxxxxxxxxxxxxx          x xxxxxx x  xx" "xxxxxx    xxxxxxxx       xx xxxxxxxxxxxx" "xxxxxx    xxxxxxx xx xxxxxx xxxxxxxxxxxx" "xxxxx xxxx xxxxx xxx xxxxxxx xxxxxxxxxxx" "xxxxxxxxxxx     xxxx xxxxxxxx xxxxxxxxxx" "xxxx xxxxx xxxxxxxxx xxxxxxxxx xxxxxxxxx" "xxxxx      xxxxxxxxx xxxxxxxx  xxxxxxxxx" "xxxxx     xxxxxxxxxxx xxxxxx x xxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxx x xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxx x xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990604bDRA (25)" (quote (() (19 18) (18 1 17) (18 2 16) (14 1 2 16) (13 3 3 2 10) (12 5 1 2 3 10) (11 5 1 1 3 11) (13 2 4 11) (16 4 4 7) (16 2 2 3 6) (3 10 5 4 1 5) (2 3 1 5 2 1 3 4) (2 2 1 1 1 1 2 10) (1 4 3 3 2 2 10) (1 6 2 2 1 2 11) (10 3 2 13) (5 3 4 2 3 9) (4 3 4 2 3 8) (3 3 3 3 1 3 2 6) (2 5 3 2 1 2 5 4) (1 7 6 3) (1 5 1 2 1 1 3 4 2) (1 3 5 1 1 2 7 3 2) (1 3 4 4 10 3 2) (1 3 3 12 3 2) (4 3 2) (5 3 2) (7 8) (7 1 1 8) (7 21 8) (8 19 9) (8 15 9) (9 1 9 1 10) (9 4 4 10) (10 15 11) (10 15 11) (11 13 12) (11 13 12) ())) (quote (() (25 12) (13 5 13) (11 5 17) (10 5 18) (10 5 19) (11 4 4 11) (11 3 4 11) (12 2 3 1 8) (13 2 2 2 2 6) (12 3 1 2 2 4) (11 1 3 4 2 2 2) (6 4 2 3 3 3 3) (5 4 3 2 1 3 5) (4 2 4 3 1 1 3 5) (3 3 3 1 3 3 4 4) (3 3 2 1 1 3 2 4 4) (3 4 2 2 4 2 4 4) (4 3 3 2 3 4 4 4) (1 1 4 1 4 4) (6 2 2 3 3 4 4) (1 3 1 2 2 3 4 4) (2 2 1 2 2 1 2 4 4) (6 3 1 2 2 2 4 4) (5 4 2 3 3 3 5) (4 4 1 1 3 4 3 5) (4 3 1 3 4 3 3) (4 1 4 2 1 4 2 2 2) (4 5 2 3 2 2 4) (10 4 3 2 2 6) (9 6 2 1 8) (8 8 3 11) (9 7 2 11) (10 7 18) (11 7 17) (20 16) (21 11) (38) (38) ())) (quote ("                                        " " xxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxx " " xxxxxxxxxxxxx  xxxxx     xxxxxxxxxxxxx " " xxxxxxxxxxx   xxxxx  xxxxxxxxxxxxxxxxx " " xxxxxxxxxx   xxxxx  xxxxxxxxxxxxxxxxxx " " xxxxxxxxxx  xxxxx  xxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxx xxxx  xxxx     xxxxxxxxxxx " " xxxxxxxxxxx  xxx  xxxx     xxxxxxxxxxx " " xxxxxxxxxxxx  xx  xxx x       xxxxxxxx " " xxxxxxxxxxxxx  xx  xx xx    xx  xxxxxx " " xxxxxxxxxxxx   xxx  x xx     xx   xxxx " " xxxxxxxxxxx  x  xxx  xxxx    xx xx  xx " " xxxxxx xxxx xx   xxx  xxx    xxx xxx   " " xxxxx  xxxx  xxx  xx    x    xxx xxxxx " " xxxx xx xxxx  xxx  x x       xxx xxxxx " " xxx xxx xxx x  xxx   xxx     xxxx xxxx " " xxx xxx xx x x  xxx    xx    xxxx xxxx " " xxx xxxx  xx xx xxxx   xx    xxxx xxxx " " xxxx xxx xxx xx  xxx xxxx    xxxx xxxx " " x   x    xxxx           x    xxxx xxxx " "  xxxxxx   xx xx  xxx  xxx    xxxx xxxx " " x xxx     x xx  xx    xxx    xxxx xxxx " " xx   xx x  xx  xx    x xx    xxxx xxxx " " xxxxxx xxx x  xx  xx   xx    xxxx xxxx " " xxxxx xxxx   xx  xxx  xxx    xxx xxxxx " " xxxx xxxx x  x  xxx  xxxx    xxx xxxxx " " xxxx xxx  x    xxx   xxxx    xxx xxx   " " xxxx x  xxxx   xx  x xxxx    xx xx  xx " " xxxx  xxxxx   xx  xxx xx     xx   xxxx " " xxxxxxxxxx  xxxx  xxx xx    xx  xxxxxx " " xxxxxxxxx  xxxxxx  xx x       xxxxxxxx " " xxxxxxxx  xxxxxxxx xxx     xxxxxxxxxxx " " xxxxxxxxx  xxxxxxx  xx     xxxxxxxxxxx " " xxxxxxxxxx  xxxxxxx xxxxxxxxxxxxxxxxxx " " xxxxxxxxxxx xxxxxxx  xxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxx  xxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxx      xxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " " xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx " "                                        "))) (make-problem "19990606-DRA (26)" (quote (() (6) (14) (19) (21) (24) (27) (27) (2 5 5) (2 21) (2 12 4) (5 19) (6 18) (1 17) (2 16) (5 16) (9 19) (14 2 11) (3 3 3 1 1 8) (4 2 1 1 1 8) (2 1 2 1 1 8) (2 2 3 1 8) (2 3 2 1 8) (2 4 3 3 8) (2 2 2 3 1 8) (2 2 2 4 2 3 5) (6 6 2 1 1 4) (2 4 5 1 2 1 1 4) (4 2 4 1 1 2 1 3) (7 2 2 1 2 1 3) (1 2 1 1 2 1 3 3) (5 2 6 4) (5 16) (2 2 16) (2 2 6 9) (2 2 5 10) (3 5 11) (5 6 12) (14 13) (12 14))) (quote (() (2) (4) (3 1) (3 2) (1 2 2 1) (3 2 11) (1 9 6 7) (7 11 2 2 2) (8 3 3 2 2 1) (3 2 4 2 1 1 3 2) (4 2 4 1 2 1 2 2 3) (5 1 4 1 1 1 2 2 2) (5 2 1 2 1 1 2) (5 1 1 2 2) (7 1 2 2 2) (8 2 2) (9 2 2) (9 2 3 2) (10 1 5 3) (6 4 2 4 3) (7 5 1 4 4) (7 6 1 5 8) (7 8 5 7) (7 8 4 7 1) (7 9 7 2) (7 10 11 3) (6 8 2 4 4 4) (6 10 1 7 5) (5 1 7 5 1 1 1 9) (5 1 7 2 1 1 8) (6 15 2 1 8) (5 14 1 1 8) (19 3 8) (19 9) (32) (31) (29) (13) ())) (quote #f)) (make-problem "19990606-KVL (27)" (quote ((4 33) (2 17 1 11) (2 18 12) (1 30) (1 23 3) (1 25 1 2) (2 8 10 3) (2 5 5 8) (4 5 4 8 6) (11 3 5 5) (10 2 3 4) (9 2 2 3) (8 2 2 2) (7 2 2 1) (7 1 2 1) (7 1 1 4 1) (7 1 1 7 1) (8 2 2 8) (9 1 2 8) (13 1 8) (29) (29) (21 6) (21 6) (21 7) (15 4 4 2) (16 1 1 3) (5 10 5) (4 3 9 7) (3 7 6 7) (3 10 3 6) (3 13 6) (4 12 3) (7 6 3) (10 3 6 3) (13 7 5) (12 12) (3 9) (5) ())) (quote ((38) (3 32) (1 30) (1 21 5) (19 3 4) (18 4 4) (18 4 4) (1 5 10 5 3) (1 4 10 4 3) (3 5 9 4 3) (10 5 9 5 2) (9 2 12 4 2) (8 2 10 4 1) (8 2 9 5) (7 2 4 10 4) (7 1 2 2 5 4 4) (7 2 2 7 3 2 1) (6 1 2 6 4 1 2) (6 1 2 6 3 1 2) (6 2 1 2 7 3 3) (6 1 2 11 4) (6 1 1 7 4) (6 1 1 7 1 5) (6 1 1 8 3 4 2) (6 2 10 5 1 2) (6 1 10 6 5) (1 5 1 8 6 5) (2 4 1 7 6 4) (1 5 1 12 4) (7 1 7 4) (7 1 2) (7 1) (8) (4 3) (4 4) (5 4) (6 4) (5 6) (4 8) (4 12))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx  " "xxx   xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx  " "x       xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx  " "x       xxxxxxxxxxxxxxxxxxxxx   xxxxx   " "         xxxxxxxxxxxxxxxxxxx xxx xxxx   " "         xxxxxxxxxxxxxxxxxx xxxx xxxx   " "         xxxxxxxxxxxxxxxxxx xxxx xxxx   " "x       xxxxx    xxxxxxxxxx xxxxx xxx   " "x       xxxx      xxxxxxxxxx xxxx xxx   " "xxx   xxxxx        xxxxxxxxx xxxx xxx   " "xxxxxxxxxx   xxxxx xxxxxxxxx xxxxx xx   " "xxxxxxxxx   xx   xxxxxxxxxxxx xxxx xx   " "xxxxxxxx   xx      xxxxxxxxxx xxxx x    " "xxxxxxxx  xx        xxxxxxxxx xxxxx     " "xxxxxxx  xx   xxxx  xxxxxxxxxx xxxx     " "xxxxxxx  x   xx  xx xxxxx xxxx xxxx     " "xxxxxxx xx  xx    xxxxxxx  xxx xx  x    " "xxxxxx  x  xx       xxxxxx xxxx x xx    " "xxxxxx  x xx        xxxxxx  xxx x xx    " "xxxxxx xx x     xx  xxxxxxx xxx   xxx   " "xxxxxx x xx    xxxxxxxxxxx       xxxx   " "xxxxxx x x     xxxxxxx           xxxx   " "xxxxxx x x     xxxxxxx   x       xxxxx  " "xxxxxx x x     xxxxxxxx xxx xxxx    xx  " "xxxxxx  xx      xxxxxxxxxx  xxxxx x xx  " "xxxxxx  x       xxxxxxxxxx xxxxxx xxxxx " "x xxxxx x        xxxxxxxx  xxxxxx xxxxx " "xx xxxx x         xxxxxxx xxxxxx   xxxx " "x xxxxx x           xxxxxxxxxxxx   xxxx " "xxxxxxx x              xxxxxxx     xxxx " "xxxxxxx x                           xx  " "xxxxxxx x                               " "xxxxxxxx                                " "xxxx xxx                                " "xxxx xxxx                               " "xxxxx xxxx                              " "xxxxxx xxxx                             " "xxxxx xxxxxx                            " "xxxx xxxxxxxx                           " "xxxx xxxxxxxxxxxx                       "))) (make-problem "19990607aDRA (28)" (quote ((40) (40) (9 30) (40) (3 16 18) (21 2 1 1 10) (21 3 7) (7 8 6 1 1 6) (3 3 12 1 1 2 3 4) (3 13 5 3 5) (18 1 6 3 1 6) (11 7 2 2 4) (19 2 1 4 1 5) (18 1 2 2 2 3) (17 1 3 3 4 2 4) (18 3 4 2 4) (21 4 5 2 1) (21 1 1 2 2 1) (5 4 10 1 6 2 2 1) (2 2 2 3 7 1 1 2 2 1) (1 2 1 4 7 2 4 2 2 1) (1 2 1 4 8 1 2 1 1) (1 2 5 10 2 3 1 1) (1 4 5 13 2 2 2 1) (1 3 5 15 2 1 3) (1 3 5 16 1 1 1 2) (1 3 5 16 1 1 3) (1 2 4 17 1 1 1 2) (2 2 3 18 1 1 3) (2 2 3 6 8 1 1 1 2) (2 2 3 5 7 1 1 3) (2 1 2 6 2 6 1 1 1 2) (3 1 1 7 3 5 1 1 1 3) (3 2 8 7 1 1 7) (3 2 10 3 8) (3 2 11 7 9) (3 1 13 12) (4 33) (4 34) (4 34))) (quote ((40) (20 12) (19 8) (4 3 17 3) (9 21) (18 14) (19 1 3 2) (7 13 3) (7 11 9 4) (2 16 10 6) (18 11 7) (11 16 8) (27 9) (24 12) (19 13) (20 16) (40) (7 6 25) (7 1 2 1 14 6) (7 1 1 1 14 5) (4 2 1 1 15 2 4) (4 1 2 1 2 10 3 1 3) (5 5 2 2 9 2 1 3) (6 1 3 1 2 2 9 1 1 3) (6 4 1 4 12 1 3) (5 1 2 4 2 12 1 3) (6 1 1 3 1 2 11 1 3) (5 1 1 11 1 3) (6 1 1 1 1 1 1 1 10 1 4) (5 1 3 1 1 1 1 1 1 8 2 4) (7 3 1 1 1 1 1 2 6 1 1 4) (8 1 1 1 1 1 1 2 1 1 5) (6 1 2 1 7 1 6) (7 1 13 1 7) (9 1 18 7) (8 2 1 8) (13 2 4 2 1 1 1 1 7) (16 5 2 1 1 1 8) (16 16) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxx        xxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxx             xxxxxxxx" "xxxx xxx  xxxxxxxxxxxxxxxxx          xxx" "xxxxxxxxx xxxxxxxxxxxxxxxxxxxxx         " "xxxxxxxxxxxxxxxxxx     xxxxxxxxxxxxxx   " "xxxxxxxxxxxxxxxxxxx    x         xxx  xx" "xxxxxxx  xxxxxxxxxxxxx               xxx" "xxxxxxx  xxxxxxxxxxx    xxxxxxxxx   xxxx" "xx xxxxxxxxxxxxxxxx   xxxxxxxxxx  xxxxxx" "xxxxxxxxxxxxxxxxxx  xxxxxxxxxxx  xxxxxxx" "xxxxxxxxxxx xxxxxxxxxxxxxxxx    xxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxx    xxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxx    xxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxx        xxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxx    xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxx xxxxxx xxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxx x  xx x xxxxxxxxxxxxxx    xxxxxx" "xxxxxxx x x  x xxxxxxxxxxxxxx      xxxxx" "xxxx xx x   x xxxxxxxxxxxxxxx  xx   xxxx" "xxxx   x xx x xx   xxxxxxxxxx  xxx x xxx" "xxxxx  xxxxx xx xx  xxxxxxxxx   xx x xxx" "xxxxxx x xxx x xx xx xxxxxxxxx   x x xxx" "xxxxxx xxxx x xxxx    xxxxxxxxxxxx x xxx" "xxxxx  x xx  xxxx  xx xxxxxxxxxxxx x xxx" "xxxxxx x  x  xxx  x xx xxxxxxxxxxx x xxx" "xxxxx           x x    xxxxxxxxxxx x xxx" "xxxxxx x  x x x x x x  xxxxxxxxxx x xxxx" "xxxxx x xxx x x x x x x xxxxxxxx xx xxxx" "xxxxxxx xxx x x x x x xx xxxxxx x x xxxx" "xxxxxxxx x  x x x x x  xx      x x xxxxx" "xxxxxx  x xx          x xxxxxxx x xxxxxx" "xxxxxxx x  xxxxxxxxxxxxx       x xxxxxxx" "xxxxxxxxx x  xxxxxxxxxxxxxxxxxx  xxxxxxx" "xxxxxxxx xx x                   xxxxxxxx" "xxxxxxxxxxxxx xx xxxx xx x x x x xxxxxxx" "xxxxxxxxxxxxxxxx xxxxx xx x x x xxxxxxxx" "xxxxxxxxxxxxxxxx        xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990607cDRA (29)" (quote ((40) (9 16 12) (8 14 11) (8 1 12 1 11) (7 3 10 1 11) (7 4 8 1 11) (6 2 2 7 1 11) (6 1 2 6 2 11) (5 2 3 4 3 11) (5 2 2 4 10) (4 3 3 4 10) (4 4 4 3 10) (4 4 3 2 10) (4 2 3 4 1 10) (5 8 1 11) (4 3 3 1 12) (3 3 4 2 2 12) (3 3 2 2 2 1 11) (3 3 2 7 11) (2 5 2 8 11) (2 6 12 10) (2 7 8 9) (1 12 8 8) (1 22 7) (1 23 6) (1 1 22 5) (1 3 22 4) (1 4 19 3) (1 5 7 8 3) (1 6 3 7 4) (1 8 2 6 4) (2 11 2 5) (2 16 1 4 6) (2 16 2 7) (2 15 14) (2 15 14) (2 14 14) (2 19 13) (2 22 13) (2 24 12))) (quote ((40) (22 9) (19) (16 1) (10 1 2) (8 2) (6 3 2) (4 6 3) (2 7 4 3) (1 3 4 7 3) (1 3 1 17 3) (2 5 3 7 14) (3 8 9 12) (4 5 11 11) (5 2 3 9 10) (8 3 1 8 10) (9 2 3 7 9) (9 2 2 2 7 9) (9 2 1 1 7 9) (9 2 1 1 7 9) (8 2 2 2 7 8) (7 2 4 7 8) (6 3 4 7 8) (5 15 8) (4 2 1 11 1 8) (3 4 2 11 1 1 3) (2 6 13 1 1 3 1) (1 11 12 1 6) (2 2 10 1 7) (9 6 10 1 6) (21 9 1 6) (22 8 1 6) (23 7 1 6) (24 2 2 7) (25 1 1 8) (26 9) (27 11) (40) (40) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxx         xxxxxxxxx" "xxxxxxxxxxxxxxxxxxx                     " "xxxxxxxxxxxxxxxx                       x" "xxxxxxxxxx    x                       xx" "xxxxxxxx                              xx" "xxxxxx     xxx                        xx" "xxxx    xxxxxx                       xxx" "xx    xxxxxxx              xxxx      xxx" "x   xxx   xxxx            xxxxxxx    xxx" "x  xxx       x     xxxxxxxxxxxxxxxxx xxx" "xx  xxxxx  xxx    xxxxxxx xxxxxxxxxxxxxx" "xxx  xxxxxxxx    xxxxxxxxx  xxxxxxxxxxxx" "xxxx    xxxxx   xxxxxxxxxxx  xxxxxxxxxxx" "xxxxx     xx   xxx xxxxxxxxx  xxxxxxxxxx" "xxxxxxxx      xxx x xxxxxxxx  xxxxxxxxxx" "xxxxxxxxx     xx xxx xxxxxxx   xxxxxxxxx" "xxxxxxxxx    xx xx xx xxxxxxx  xxxxxxxxx" "xxxxxxxxx    xx x   x xxxxxxx  xxxxxxxxx" "xxxxxxxxx    xx x   x xxxxxxx  xxxxxxxxx" "xxxxxxxx     xx xx xx xxxxxxx   xxxxxxxx" "xxxxxxx       xx xxxx xxxxxxx   xxxxxxxx" "xxxxxx        xxx xxxx xxxxxxx  xxxxxxxx" "xxxxx          xxxxxxxxxxxxxxx  xxxxxxxx" "xxxx     xx   x  xxxxxxxxxxx x  xxxxxxxx" "xxx     xxxx   xx xxxxxxxxxxx x  x   xxx" "xx     xxxxxx   xxxxxxxxxxxxx x x xxx  x" "x  xxxxxxxxxxx    xxxxxxxxxxxx x xxxxxx " "xx             xx   xxxxxxxxxx x xxxxxxx" "xxxxxxxxx     xxxxxx xxxxxxxxxx x xxxxxx" "xxxxxxxxxxxxxxxxxxxxx xxxxxxxxx x xxxxxx" "xxxxxxxxxxxxxxxxxxxxxx xxxxxxxx x xxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx xxxxxxx x xxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxx xx  xx  xxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxx x   x xxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxx     xxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxx  xxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990616-DRA (30)" (quote ((40) (1 12 5 17) (2 13 5 17) (2 1 1 1 1 1 1 1 1 3 1 3) (2 1 1 1 1 1 3 1 1 1 1 1 1 1 1 1 2 2) (2 1 1 1 1 1 1 1 2 1 2 2 2) (40) (40) (40) (40) (40) (40) (40) (12 12) (10 14 10) (8 18 8) (7 4 1 1 1 1 1 1 1 3 7) (6 4 1 1 1 1 1 1 1 1 3 6) (5 3 1 1 1 1 1 1 1 1 1 2 5) (4 24 4) (3 1 24 1 3) (2 2 24 2 2) (1 3 24 3 1) (1 3 24 3 1) (1 3 24 3 1) (2 2 24 2 2) (3 1 24 1 3) (4 24 4) (5 24 5) (6 24 6) (7 23 7) (8 19 8) (10 14 10) (12 12) (40) (40) (40) (40) (40) (40))) (quote ((40) (1 20 15) (1 15 3 14) (1 18 5 13) (3 13 7 12) (3 1 12 11) (3 11 10) (16 9) (3 9 13 8) (5 9 15 8) (3 8 15 7) (14 3 13 7) (3 7 2 14 6) (3 1 7 2 1 14 6) (3 1 7 3 15 6) (13 2 1 14 6) (1 7 3 15 6) (3 9 2 1 14 6) (3 7 3 15 6) (13 2 1 14 6) (3 7 3 15 6) (3 1 7 2 1 14 6) (1 7 3 15 6) (13 2 1 14 6) (3 7 3 15 6) (3 1 7 2 1 14 6) (3 7 3 15 6) (13 1 1 13 6) (3 9 2 14 7) (5 8 2 13 7) (4 10 15 8) (5 9 14 8) (3 11 9) (17 10) (3 12 11) (3 15 7 12) (3 16 5 13) (4 15 3 14) (22 15) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "x xxxxxxxxxxxxxxxxxxxx   xxxxxxxxxxxxxxx" "x     xxxxxxxxxxxxxxx xxx xxxxxxxxxxxxxx" "x xxxxxxxxxxxxxxxxxx xxxxx xxxxxxxxxxxxx" "xxx   xxxxxxxxxxxxx xxxxxxx xxxxxxxxxxxx" "xxx x xxxxxxxxxxxx           xxxxxxxxxxx" "xxx   xxxxxxxxxxx             xxxxxxxxxx" "xxxxxxxxxxxxxxxx               xxxxxxxxx" "xxx   xxxxxxxxx  xxxxxxxxxxxxx  xxxxxxxx" "xxxxx xxxxxxxxx xxxxxxxxxxxxxxx xxxxxxxx" "xxx   xxxxxxxx  xxxxxxxxxxxxxxx  xxxxxxx" "xxxxxxxxxxxxxx xxx xxxxxxxxxxxxx xxxxxxx" "xxx   xxxxxxx  xx xxxxxxxxxxxxxx  xxxxxx" "xxx x xxxxxxx xx x xxxxxxxxxxxxxx xxxxxx" "xxx x xxxxxxx xxx xxxxxxxxxxxxxxx xxxxxx" "xxxxxxxxxxxxx xx x xxxxxxxxxxxxxx xxxxxx" "x     xxxxxxx xxx xxxxxxxxxxxxxxx xxxxxx" "xxx xxxxxxxxx xx x xxxxxxxxxxxxxx xxxxxx" "xxx   xxxxxxx xxx xxxxxxxxxxxxxxx xxxxxx" "xxxxxxxxxxxxx xx x xxxxxxxxxxxxxx xxxxxx" "xxx   xxxxxxx xxx xxxxxxxxxxxxxxx xxxxxx" "xxx x xxxxxxx xx x xxxxxxxxxxxxxx xxxxxx" "x     xxxxxxx xxx xxxxxxxxxxxxxxx xxxxxx" "xxxxxxxxxxxxx xx x xxxxxxxxxxxxxx xxxxxx" "xxx   xxxxxxx xxx xxxxxxxxxxxxxxx xxxxxx" "xxx x xxxxxxx xx x xxxxxxxxxxxxxx xxxxxx" "xxx   xxxxxxx xxx xxxxxxxxxxxxxxx xxxxxx" "xxxxxxxxxxxxx  x x xxxxxxxxxxxxx  xxxxxx" "xxx  xxxxxxxxx xx xxxxxxxxxxxxxx xxxxxxx" "xxxxx xxxxxxxx  xx xxxxxxxxxxxxx xxxxxxx" "xxxx xxxxxxxxxx xxxxxxxxxxxxxxx xxxxxxxx" "xxxxx xxxxxxxxx  xxxxxxxxxxxxxx xxxxxxxx" "xxx  xxxxxxxxxxx               xxxxxxxxx" "xxxxxxxxxxxxxxxxx             xxxxxxxxxx" "xxx   xxxxxxxxxxxx           xxxxxxxxxxx" "xxx xxxxxxxxxxxxxxx xxxxxxx xxxxxxxxxxxx" "xxx xxxxxxxxxxxxxxxx xxxxx xxxxxxxxxxxxx" "xxxx  xxxxxxxxxxxxxxx xxx xxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxx   xxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990618aDRA (31)" (quote ((40) (10 13 11) (9 3 11 3 10) (8 4 1 1 4 9) (8 4 4 9) (8 4 4 9) (9 10) (2 3 4 1 1 12) (1 1 3 12) (1 3 3 12) (1 3 1 12) (2 4 2 1 2 5 3 2) (2 4 5 4 1 1) (3 6 3 5 1) (4 8 6 1) (14 8 2) (15 9 2) (15 10 3) (13 9 4) (10 10) (9 9) (8 8) (8 8) (7 7) (6 6) (4 4) (3 2 2 3) (2 4 4 2) (2 4 4 2) (2 4 1 1 4 2) (2 4 2 2 4 2) (3 2 2 2 2 3) (4 2 3 3 2 4) (7 5 5 7) (7 5 5 7) (7 5 5 7) (7 5 2 5 7) (8 3 6 3 8) (9 16 9) (40))) (quote ((40) (8 29) (7 14 9) (8 12 4 8) (9 10 6 7) (8 11 6 7) (7 11 4 8) (8 12 2 3) (3 15 2 4 2) (2 3 13 2 6 1) (1 4 12 6 1) (1 4 6 6 1) (1 4 5 4 2) (2 3 2) (4 2 2) (3 2) (3 1 1 2) (3 2 3) (3 1 2 3) (3 5 4) (3 1 2 4) (3 2 3) (3 1 1 3) (3 2) (4 2 2) (2 3 2) (1 4 5 2) (1 4 6 4 2) (1 4 12 6 1) (2 3 12 6 1) (3 14 2 6 1) (21 2 4 2) (12 8 2 3) (11 7 4 8) (12 7 6 7) (13 6 6 7) (12 8 4 8) (11 10 9) (12 25) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxx   xxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxx      xxxxxxxxxxxxxx    xxxxxxxxx" "xxxxxxxx      xxxxxxxxxxxx xxxx xxxxxxxx" "xxxxxxxxx      xxxxxxxxxx xxxxxx xxxxxxx" "xxxxxxxx      xxxxxxxxxxx xxxxxx xxxxxxx" "xxxxxxx      xxxxxxxxxxx   xxxx xxxxxxxx" "xxxxxxxx   xxxxxxxxxxxx        xx    xxx" "xxx   xxxxxxxxxxxxxxx         xx xxxx xx" "xx xxx xxxxxxxxxxxxx         xx xxxxxx x" "x xxxx xxxxxxxxxxxx             xxxxxx x" "x xxxx       xxxxxx             xxxxxx x" "x xxxx        xxxxx              xxxx xx" "xx             xxx                    xx" "xxxx            xx                    xx" "xxx                                   xx" "xxx    x   x                          xx" "xxx        xx                        xxx" "xxx      x  xx                       xxx" "xxx      xxxxx                      xxxx" "xxx      x  xx                      xxxx" "xxx        xx                        xxx" "xxx    x   x                         xxx" "xxx                                   xx" "xxxx            xx                    xx" "xx             xxx                    xx" "x xxxx        xxxxx                   xx" "x xxxx       xxxxxx              xxxx xx" "x xxxx xxxxxxxxxxxx             xxxxxx x" "xx xxx xxxxxxxxxxxx             xxxxxx x" "xxx   xxxxxxxxxxxxxx         xx xxxxxx x" "xxxxxxxxxxxxxxxxxxxxx         xx xxxx xx" "xxxxxxxxxxxx   xxxxxxxx        xx    xxx" "xxxxxxxxxxx      xxxxxxx   xxxx xxxxxxxx" "xxxxxxxxxxxx      xxxxxxx xxxxxx xxxxxxx" "xxxxxxxxxxxxx      xxxxxx xxxxxx xxxxxxx" "xxxxxxxxxxxx      xxxxxxxx xxxx xxxxxxxx" "xxxxxxxxxxx      xxxxxxxxxx    xxxxxxxxx" "xxxxxxxxxxxx   xxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990618bDRA (32)" (quote (() () () (2 2) (3 3) (5 5) (7 7) (3 5 2 9) (1 2 8 4 8 3 1) (1 4 6 6 4 3 2) (2 4 5 2 1 3 6 2) (2 11 2 1 2 8 2) (2 5 5 4 4 6 2) (1 5 5 6 4 5 2) (1 4 7 4 6 4 1) (12 6 5) (7 4 4 7) (6 3 1 2 2 6) (3 3 2 3 3 3) (2 3 3 3 3 2) (3 4 3 2) (3 4 3 3) (5 4 3 3) (5 5 3 4) (4 6 4 3) (4 6 4 4) (4 7 4 4) (12 6 3) (11 10) (10 11) (5 5 11) (4 4 12) (4 3 12) (4 3 6 6) (2 2 5 5) (1 1 3 4) (2 2) (1 1) () ())) (quote (() () (3) (9 3) (3 3 3 4) (7 7 7) (4 12 7) (4 10 7) (3 9 8) (3 4 3 8) (4 2 3 4 4) (3 1 3 4 6) (8 4 8) (8 4 10) (8 3 12) (7 3 8 3) (1 3 1 3 8) (1 1 2 8) (7 1 7) (8 5) (3 3) (7 3) (1 1 4 5) (1 3 1 1 17) (7 2 19) (3 4 2 17) (2 5 2 12) (2 1 3 6 8) (2 3 2 8 6) (3 4 2 12) (3 4 3 11) (3 6 2 10) (15 7) (17 6) (6 6 6) (3 5 3 3) (9) () () ())) (quote #f)) (make-problem "19990618cDRA (33)" (quote ((40) (40) (2 3 33) (2 3 11 18) (2 10 17) (2 3 9 1 16) (2 3 8 4 16) (14 22) (3 7 22) (2 3 5 21) (2 4 20) (2 3 3 2 19) (2 3 1 4 18) (8 6 17) (2 3 2 7 16) (2 1 3 8 15) (2 1 1 4 9 14) (2 3 16 13) (2 3 17 12) (25 11) (2 3 19 10) (2 1 20 9) (2 1 1 21 8) (2 3 22 7) (2 3 1 19 6) (9 21 5) (2 2 22 4) (2 6 3 17 3) (2 4 4 19 2) (2 6 4 4 13 2) (2 2 4 5 15 2) (8 9) (2 2 9) (2 3 1 9) (2 1 9) (2 2 8 5 19) (2 3 13 19) (20 19) (40) (40))) (quote ((40) (40) (2 2 1 1 1 1 3) (4 3 1 4 5 4 1 1 1 1 5) (4 3 1 5 5 3 1 1 1 1 5) (4 3 1 4 5 4 3 1 1 4) (2 2 1 1 1 3 2 1 3) (40) (12 10 6 5) (12 9 5) (11 8 6 5) (10 14 5) (9 14 5) (8 14 3 5) (7 15 4) (6 16 3 5) (5 20 5) (4 19 5) (3 2 18 5) (3 4 15 1 5) (3 5 14 2) (3 7 13 1 5) (4 7 14 5) (5 7 13 5) (15 12 5) (16 11 5) (17 10 5) (18 9 5) (19 8 5) (20 7 5) (21 6 5) (22 14) (23 13) (24 12) (25 11) (26 10) (27 9) (28 9) (40) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xx     xx    x     x     x     x     xxx" "xxxx xxx x xxxx xxxxx xxxx x x x x xxxxx" "xxxx xxx x xxxxx xxxxx xxx x x x x xxxxx" "xxxx xxx x xxxx xxxxx xxxx xxx x x  xxxx" "xx     xx    x     x     x xxx xx  x xxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxx  xxxxxxxxxx xxxxxx    xxxxx" "xxxxxxxxxxxx   xxxxxxxxx           xxxxx" "xxxxxxxxxxx     xxxxxxxx xxxxxx    xxxxx" "xxxxxxxxxx       xxxxxxxxxxxxxx    xxxxx" "xxxxxxxxx        xxxxxxxxxxxxxx    xxxxx" "xxxxxxxx     xxxxxxxxxxxxxx xxx    xxxxx" "xxxxxxx     xxxxxxxxxxxxxxx         xxxx" "xxxxxx     xxxxxxxxxxxxxxxx xxx    xxxxx" "xxxxx      xxxxxxxxxxxxxxxxxxxx    xxxxx" "xxxx        xxxxxxxxxxxxxxxxxxx    xxxxx" "xxx    xx    xxxxxxxxxxxxxxxxxx    xxxxx" "xxx   xxxx    xxxxxxxxxxxxxxx x    xxxxx" "xxx   xxxxx    xxxxxxxxxxxxxx         xx" "xxx  xxxxxxx    xxxxxxxxxxxxx x    xxxxx" "xxxx  xxxxxxx    xxxxxxxxxxxxxx    xxxxx" "xxxxx  xxxxxxx    xxxxxxxxxxxxx    xxxxx" "xxxxxxxxxxxxxxx    xxxxxxxxxxxx    xxxxx" "xxxxxxxxxxxxxxxx    xxxxxxxxxxx    xxxxx" "xxxxxxxxxxxxxxxxx    xxxxxxxxxx    xxxxx" "xxxxxxxxxxxxxxxxxx    xxxxxxxxx    xxxxx" "xxxxxxxxxxxxxxxxxxx    xxxxxxxx    xxxxx" "xxxxxxxxxxxxxxxxxxxx    xxxxxxx    xxxxx" "xxxxxxxxxxxxxxxxxxxxx    xxxxxx    xxxxx" "xxxxxxxxxxxxxxxxxxxxxx    xxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxx    xxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxx    xxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxx    xxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxx    xxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxx    xxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxx   xxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990625-DRA (34)" (quote ((40) (16 17) (15 16) (5 8 15) (6 6 14) (6 4 13) (6 4 9 3) (6 4 8 3) (1 5 3 2 2 7 3) (2 4 2 3 3 7 4) (2 5 2 2 2 6 4) (2 4 2 2 2 5 5) (2 3 2 5 6) (3 3 2 4 6) (3 3 2 4 6) (3 3 2 5 6) (3 3 2 5 4 1) (3 3 2 5 4 1) (4 3 2 2 5 1) (4 3 5 1) (5 6 2) (6 6 2) (7 8 2) (11 8 2) (5 3) (4 4) (3 5) (2 6 12) (1 8 2 10) (1 7 1 4 8) (1 7 3 7 7) (1 6 5 8 5) (1 6 7 10 5) (1 6 7 11 4) (1 5 8 7 3) (1 5 10 8 2) (4 15 6 1) (4 17 6) (3 23 8) (2 27 7))) (quote ((36 2) (8 19 3) (9 14 4) (11 8 8) (12 5 9 1) (3 13 3 9 1) (4 10 2 8 2) (5 9 1 8 2) (8 3 1 7 3) (9 2 1 4 4) (15 1 1 3 5) (16 2 6) (5 2 2 8) (4 2 8) (3 2 9) (2 2 1 10) (1 4 11) (1 2 1 10) (1 9) (1 5) (1 4) (1 2 1 4) (1 4 6 4) (2 2 1 6 4) (3 2 5 3) (4 2 5 2) (5 3 1 5 2) (18 2 6 2) (18 2 1 6 2) (17 3 1 5 1) (16 4 2 5 1) (13 5 2 5) (11 6 3 6) (10 7 4 5) (8 11 4 5) (7 10 7 4) (6 10 9 3) (17 11 3) (16 16 2) (37 2))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx  xx" "xxxxxxxx xxxxxxxxxxxxxxxxxxx         xxx" "xxxxxxxxx    xxxxxxxxxxxxxx        xxxx " "xxxxxxxxxxx       xxxxxxxx    xxxxxxxx  " "xxxxxxxxxxxx        xxxxx    xxxxxxxxx x" "xxx xxxxxxxxxxxxx    xxx    xxxxxxxxx  x" "xxxx    xxxxxxxxxx    xx    xxxxxxxx  xx" "xxxxx     xxxxxxxxx    x   xxxxxxxx   xx" "xxxxxxxx         xxx   x   xxxxxxx   xxx" "xxxxxxxxx         xx   x   xxxx     xxxx" "xxxxxxxxxxxxxxx    x   x   xxx     xxxxx" "xxxxxxxxxxxxxxxx           xx     xxxxxx" "xxxxx          xx          xx   xxxxxxxx" "xxxx            xx              xxxxxxxx" "xxx              xx            xxxxxxxxx" "xx       xx       x           xxxxxxxxxx" "x       xxxx                 xxxxxxxxxxx" "x       xx x                  xxxxxxxxxx" "x                              xxxxxxxxx" "x                                  xxxxx" "x                                   xxxx" "x       xx x                        xxxx" "x       xxxx                xxxxxx  xxxx" "xx       xx       x         xxxxxx  xxxx" "xxx              xx          xxxxx   xxx" "xxxx            xx           xxxxx    xx" "xxxxx          xxx     x      xxxxx   xx" "xxxxxxxxxxxxxxxxxx    xx      xxxxxx  xx" "xxxxxxxxxxxxxxxxxx    xx   x  xxxxxx  xx" "xxxxxxxxxxxxxxxxx    xxx   x   xxxxx   x" "xxxxxxxxxxxxxxxx    xxxx   xx   xxxxx  x" "xxxxxxxxxxxxx      xxxxx   xx   xxxxx   " "xxxxxxxxxxx       xxxxxx   xxx   xxxxxx " "xxxxxxxxxx       xxxxxxx   xxxx    xxxxx" "xxxxxxxx    xxxxxxxxxxx    xxxx    xxxxx" "xxxxxxx    xxxxxxxxxx     xxxxxxx   xxxx" "xxxxxx   xxxxxxxxxx      xxxxxxxxx   xxx" "xxxxxxxxxxxxxxxxx       xxxxxxxxxxx  xxx" "xxxxxxxxxxxxxxxx    xxxxxxxxxxxxxxxx  xx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xx"))) (make-problem "19990628-DRA (35)" (quote ((40) (1 26 1) (2 20 2) (3 12 3) (4 4) (6 14 6) (9 14 9) (11 16 11) (11 16 11) (1 18 1) (1 7 20 7 1) (2 5 2 16 2 5 2) (3 3 3 14 3 3 3) (4 1 4 8 4 1 4) (8 7 6 7 8) (8 4 4 4 8) (8 4 2 4 8) (9 4 4 4 9) (10 16 10) (11 16 11) (11 16 11) (11 14 11) (12 14 12) (12 14 12) (12 14 12) (12 14 12) (12 14 12) (12 14 12) (12 14 12) (11 16 11) (11 1 8 1 11) (11 2 8 2 11) (11 3 8 3 11) (11 16 11) (11 16 11) (12 14 12) (13 1 1 13) (14 10 14) (15 15) (40))) (quote ((40) (1 7 29) (1 6 1 28) (1 5 2 27) (1 4 3 26) (1 4 3 26) (1 3 3 26) (2 3 2 27) (2 3 1 23) (2 2 5 22) (3 2 7 21) (3 2 6 7 5) (3 5 8 6 4) (3 8 1 14 5 3) (4 8 1 13 5 2) (4 8 1 12 3 1 1) (4 9 18 1 1) (4 10 18 1 1) (4 11 19 1 1) (4 31 1 1) (4 31 1 1) (4 11 19 1 1) (4 10 18 1 1) (4 9 18 1 1) (4 8 1 12 3 1 1) (4 8 1 13 5 2) (3 8 1 14 5 3) (3 5 8 6 4) (3 2 6 7 5) (3 2 7 21) (2 2 5 22) (2 3 1 23) (2 3 2 27) (1 3 3 26) (1 4 3 26) (1 4 3 26) (1 5 2 27) (1 6 1 28) (1 7 29) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "x xxxxxxx  xxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "x  xxxxxx x xxxxxxxxxxxxxxxxxxxxxxxxxxxx" "x   xxxxx xx xxxxxxxxxxxxxxxxxxxxxxxxxxx" "x    xxxx xxx xxxxxxxxxxxxxxxxxxxxxxxxxx" "x    xxxx xxx xxxxxxxxxxxxxxxxxxxxxxxxxx" "x     xxx xxx xxxxxxxxxxxxxxxxxxxxxxxxxx" "xx    xxx xx xxxxxxxxxxxxxxxxxxxxxxxxxxx" "xx    xxx x      xxxxxxxxxxxxxxxxxxxxxxx" "xx     xx  xxxxx  xxxxxxxxxxxxxxxxxxxxxx" "xxx    xx xxxxxxx  xxxxxxxxxxxxxxxxxxxxx" "xxx      xx xxxxxx    xxxxxxx      xxxxx" "xxx    xxxxx xxxxxxxx        xxxxxx xxxx" "xxx  xxxxxxxx x xxxxxxxxxxxxxx xxxxx xxx" "xxxx xxxxxxxx x  xxxxxxxxxxxxx  xxxxx xx" "xxxx xxxxxxxx x   xxxxxxxxxxxx   xxx x x" "xxxx xxxxxxxxx    xxxxxxxxxxxxxxxxxx x x" "xxxx xxxxxxxxxx   xxxxxxxxxxxxxxxxxx x x" "xxxx xxxxxxxxxxx xxxxxxxxxxxxxxxxxxx x x" "xxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx x x" "xxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx x x" "xxxx xxxxxxxxxxx xxxxxxxxxxxxxxxxxxx x x" "xxxx xxxxxxxxxx   xxxxxxxxxxxxxxxxxx x x" "xxxx xxxxxxxxx    xxxxxxxxxxxxxxxxxx x x" "xxxx xxxxxxxx x   xxxxxxxxxxxx   xxx x x" "xxxx xxxxxxxx x  xxxxxxxxxxxxx  xxxxx xx" "xxx  xxxxxxxx x xxxxxxxxxxxxxx xxxxx xxx" "xxx    xxxxx xxxxxxxx        xxxxxx xxxx" "xxx      xx xxxxxx    xxxxxxx      xxxxx" "xxx    xx xxxxxxx  xxxxxxxxxxxxxxxxxxxxx" "xx     xx  xxxxx  xxxxxxxxxxxxxxxxxxxxxx" "xx    xxx x      xxxxxxxxxxxxxxxxxxxxxxx" "xx    xxx xx xxxxxxxxxxxxxxxxxxxxxxxxxxx" "x     xxx xxx xxxxxxxxxxxxxxxxxxxxxxxxxx" "x    xxxx xxx xxxxxxxxxxxxxxxxxxxxxxxxxx" "x    xxxx xxx xxxxxxxxxxxxxxxxxxxxxxxxxx" "x   xxxxx xx xxxxxxxxxxxxxxxxxxxxxxxxxxx" "x  xxxxxx x xxxxxxxxxxxxxxxxxxxxxxxxxxxx" "x xxxxxxx  xxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990703-NEP (36)" (quote ((13 13) (9 2 2 3 2) (3 7 1 1 1 1 1 1) (7 3 2 1 1 1 1 3) (14 1 1 1 1 1 3) (11 2 1 1 1 1 3) (3 10 1 1 1 1 1 3) (6 8 2 2 3 4) (7 7 13) (2 14 1) (4 28) (1 5 27) (3 5 26) (1 4 5 25) (2 4 31) (3 4 17 11) (1 2 5 15 1) (1 3 4 14 1 7 1) (1 3 18 3 1 1 1 2) (1 4 6 14 1 1 3) (2 9 2 13 5 3) (2 8 4 11 7 1 1) (2 8 2 7 1 6 2) (12 1 4 6 1 2 6 1) (13 1 1 5 1 4 2 2) (4 1 1 5 1 4 1 2 1) (9 4 4 5 2 2 1 4) (2 3 1 4 4 5 3 2 4) (1 1 1 1 4 4 5 5 1 2 1) (1 1 1 2 4 4 5 4 2 1 2) (1 1 1 1 4 4 5 3 4 4) (2 3 1 5 7 3 2 4 1) (9 4 4 7 3 4 2) () (32 7) (1 3 2 1 3 2 1 3 5 2 3) (1 2 2 1 1 1 1 1 1 1 1 2 2 1 2 2) (1 1 1 1 1 1 1 1 1 2 1 2 2 1 2 2) (1 3 1 3 1 1 1 2 1 2 2 1 4 2) (5 2 3 2 2 2 2 1 2 3))) (quote ((9 1 1 6) (2 5 7 1 1) (7 2 2 2 4 1) (10 1 3 1 3 1) (3 8 2 2 2 3) (6 6 7 1 1 1) (6 5 2 2 1 1 1) (2 12 1 3 1 2 1) (4 10 2 1 2 6) (6 9 1) (2 6 15 1 4) (4 10 10 2 2) (2 5 8 2 9 1 4) (1 3 6 6 4 8 2) (1 4 6 5 2 1 6) (1 4 13 1 2 5 1 2 1) (2 4 13 1 6 1 1 3) (2 5 13 2 5 1 2 1) (2 5 13 1 6 1 6) (3 18 1 1) (3 29 2 3) (3 29 1 4) (33 2) (33 6) (33 2 1) (1 1 1 1 1 7 5 2 1 3) (1 1 1 1 7 5 7 1 1 3) (9 5 5 1 6 2) (1 1 5 3 1 2 6 5) (9 6 1 1 4 2 2 6) (2 2 6 2 2 4 1 1 1 2) (1 5 1 6 1 4 2 1 3 2 2) (2 2 6 2 4 2 3) (9 6 1 7 1 1 1 6) (2 2 6 2 5 2 1 2 2 3) (1 5 1 6 1 3 4 3 1 1 1) (2 2 6 2 2 4 3 1 1 1) (9 6 4 2 2 3 2 1) (1 6 6 4 1 2 3 1 6) (1 6 7 3 2 6))) (quote ("                xxxxxxxxx x     x xxxxxx" "              xx    xxxxx xxxxxxx x    x" "             xxxxxxx   xx xx   xx xxxx x" "               xxxxxxxxxx x xxx x xxx  x" "            xxx  xxxxxxxx xx   xx xx xxx" "           xxxxxx  xxxxxx xxxxxxx x x x " "            xxxxxx  xxxxx xx   xx x x x " "          xx xxxxxxxxxxxx x xxx x xx   x" "         xxxx  xxxxxxxxxx xx x xx xxxxxx" "         xxxxxx xxxxxxxxx         x     " "       xx xxxxxx  xxxxxxxxxxxxxxx x xxxx" "      xxxx xxxxxxxxxx  xxxxxxxxxx xx  xx" "   xx xxxxx xxxxxxxx xx xxxxxxxxx x xxxx" "x xxx xxxxxx xxxxxx xxxx xxxxxxxx xx    " "x xxxx xxxxxx xxxxx xx         x  xxxxxx" "x xxxx xxxxxxxxxxxxx x xx xxxxx x xx   x" "xx xxxx xxxxxxxxxxxxx  x xxxxxx x x xxx " "xx xxxxx xxxxxxxxxxxxx xx xxxxx x xx   x" "xx xxxxx xxxxxxxxxxxxx x xxxxxx x xxxxxx" "xxx xxxxxxxxxxxxxxxxxx         x  x     " "xxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxx xx xxx" "xxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxx x xxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xx    " "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xx   x" "x x x x x xxxxxxx  xxxxx       xx x xxx " " x x x x xxxxxxx  xxxxx xxxxxxx x x xxx " "xxxxxxxxx xxxxx  xxxxx x  xxxxxx  xx    " "x       x xxxxx   xxx x xx xxxxxx xxxxx " "xxxxxxxxx xxxxxx x   x xxxx xx xx xxxxxx" "xx     xx xxxxxx xx xx xxxx x x x xx    " "x xxxxx x xxxxxx x xxxx xx x xxx  xx xx " "xx     xx xxxxxx xx xxxx  xx xxx        " "xxxxxxxxx xxxxxx x xxxxxxx  x x x xxxxxx" "xx     xx xxxxxx xx xxxxx xx x xx xx xxx" "x xxxxx x xxxxxx x   xxx xxxx xxx x x x " "xx     xx xxxxxx   xx xx xxxx xxx x x x " "xxxxxxxxx xxxxxx  xxxx xx xx xxx  xx   x" "x  xxxxxx xxxxxx xxxx x xx  xxx x xxxxxx" "x  xxxxxx xxxxxxx    xxx       xx xxxxxx"))) (make-problem "19990714bNEP (37)" (quote ((3 2 3) (2 1 2 1 2 1) (1 1 1 2 1 1) (1 2 2 2 2 1 2) (2 2 2 2 2 1 2 2) (2 1 2 2 2 2) (2 2 2 2 2) (2 2 2 2 2 1) (1 2 2 2 2 2) (2 2 2 2 2 2 2) (2 2 2 2 2 2 2 1) (1 2 2 2 2 2 2 2) (2 2 2 2 2 2 2 2 2) (2 2 2 2 2 2 2 2 2 1) (1 2 2 2 2 2 2 2 2 2) (2 2 2 2 2 2 2 2 2 2) (2 2 2 2 2 2 2 2 2 2) (2 2 2 2 2 2 2 2 2 2) (2 2 2 2 2 2 2 2 2 2) (30) (1 1 1 1 1 1 1 1 1 1 1 1 1) (1 1) (34) (1 1 1 1 1 1 1 1 1 1 1 1 1 1) (1 1) (38) (1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1) (1 1) (38) (1 32 1) (1 32 1) (1 32 1) (1 32 1) (1 10 1 1 1 10 1) (1 10 1 1 1 10 1) (1 10 2 2 2 10 1) (1 10 2 2 2 10 1) (2 10 10 2) (2 32 2) ())) (quote (() (4 2) (1 11) (5 1) (1 1 11) (2 1 8 2 11) (5 7 2 1 11) (2 2 1 1 11) (1 2 10 2 2 11) (5 1 9 1 1 11) (1 1 2 11) (1 11 2 1 11) (14 1 1 11) (1 2 2 11) (17 1 1 5 1) (1 14 1 2 5 1) (1 2 1 9 1) (1 18 1 1 5 2 1) (19 2 2 5 1) (2 1 1 5 2 1) (1 1 2 9 1) (20 2 1 5 1) (1 19 1 1 9 1) (1 2 2 5 2 1) (1 16 1 1 5 1) (17 1 2 5 1) (1 2 1 11) (15 1 1 11) (1 12 2 2 11) (2 1 1 11) (1 9 1 2 11) (12 2 1 11) (1 1 1 11) (8 2 2 11) (1 9 1 11) (2 1 2 11) (5 4 1) (2 1 11) (1 2 4 2) (5))) (quote #f)) (make-problem "19990722-DRA (38)" (quote ((40) (40) (2 3 1 3 1 2 16) (2 2 1 3 3 3 19) (2 1 1 1 3 3 3 2 5) (2 2 1 3 3 7 1 8 4) (2 3 2 3 3 1 10 3) (24 12 2) (22 13 2) (21 16 1) (7 4 7 17 1) (7 2 7 17 1) (7 1 1 6 16 1) (7 4 6 8 8 2) (6 1 2 1 5 7 7 2) (6 6 5 6 2 5 3) (6 2 2 5 6 3 4) (6 6 4 6 13) (7 2 2 3 5 13) (9 6 3 5 12) (8 9 1 4 12) (7 13 4 12) (7 7 6 3 12) (7 4 2 8 2 11) (4 3 2 10 2 11) (3 6 2 12 2 10) (3 1 2 1 12 2 10) (3 3 1 1 1 12 1 10) (3 5 2 2 3 7 1 9) (3 5 1 1 2 10 9) (3 4 5 1 1 10 9) (4 7 1 10 9) (15 2 9 11) (16 7 11) (2 8 4 7 10) (1 3 6 5 6 10) (5 6 12 9) (5 10 9) (1 3 34) (2 35))) (quote ((36 2) (35 2 1) (2 27 4) (3 21 3 4) (4 19 2 3 2 4) (5 18 1 4 3 2 1) (2 7 6 1 4 4 2) (10 4 2 1 4 8) (2 5 2 3 1 6 2 9) (6 5 3 2 8 10) (6 5 3 2 5 1 10) (6 4 2 3 5 4 10) (2 3 4 4 2 6 4) (14 7 2 4 1 3) (2 14 6 2 2 3 1 3) (2 15 3 4 1 1 1 3) (2 11 11 2 1 3) (2 16 11 1 2 2) (2 17 8 1 1 2) (12 2 7 4 1 1 2) (3 1 3 5 1 7 4 1 1 2) (2 1 1 2 9 1 12 1 2) (2 1 1 1 11 12 1 2) (2 1 1 1 13 14 2) (4 1 15 13 2) (6 16 12 2) (5 9 6 10 2) (4 9 4 4 9 2) (4 8 8 3 3 3 2) (4 9 9 1 2 1 2) (4 10 11 4 2) (4 11 23) (4 11 23) (4 11 23) (4 11 23) (5 10 23) (6 8 24) (7 3 25) (9 27) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx  xx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xx x" "xx     xxxxxxxxxxxxxxxxxxxxxxxxxxx xxxx " "xxx xxxxxxxxxxxxxxxxxxxxx      xxx xxxx " "xxxx xxxxxxxxxxxxxxxxxxx xx xxx xx xxxx " "xxxxx xxxxxxxxxxxxxxxxxx x xxxx xxx xx x" "xx     xxxxxxx    xxxxxx x xxxx xxxx  xx" "xxxxxxxxxx    xxxx xx    x xxxx xxxxxxxx" "xx    xxxxx xx xxx x xxxxxx xx xxxxxxxxx" "xxxxxx xxxxx xxx xx xxxxxxxx  xxxxxxxxxx" "xxxxxx xxxxx xxx xx xxxxx   x xxxxxxxxxx" "xxxxxx xxxx xx xxx xxxxx xxxx xxxxxxxxxx" "xx     xxx    xxxx xxxx xx   xxxxxx xxxx" "xxxxxxxxxxxxxx    xxxxxxx  xx xxxx x xxx" "xx xxxxxxxxxxxxxx xxxxxx xx xx xxx x xxx" "xx xxxxxxxxxxxxxxx xxx  xxxx  x  x x xxx" "xx     xxxxxxxxxxx xxxxxxxxxxx xx  x xxx" "xx xxxxxxxxxxxxxxxx xxxxxxxxxxx x xx  xx" "xx xxxxxxxxxxxxxxxxx xxxxxxxx     x x xx" "xxxxxxxxxxxx      xx xxxxxxx xxxx x x xx" "xxx  x xxx   xxxxx x xxxxxxx xxxx x x xx" "xx x x xx xxxxxxxxx x xxxxxxxxxxxx  x xx" "xx x x x xxxxxxxxxxx   xxxxxxxxxxxx x xx" "xx x x x xxxxxxxxxxxxx xxxxxxxxxxxxxx xx" "xxxx  x xxxxxxxxxxxxxxx xxxxxxxxxxxxx xx" "xxxxxx xxxxxxxxxxxxxxxx  xxxxxxxxxxxx xx" "xxxxx xxxxxxxxx    xxxxxx  xxxxxxxxxx xx" "xxxx xxxxxxxxx xxxx    xxxx xxxxxxxxx xx" "xxxx xxxxxxxx  xxxxxxxx  xxx xxx  xxx xx" "xxxx xxxxxxxxx  xxxxxxxxx   x   xx  x xx" "xxxx xxxxxxxxxx  xxxxxxxxxxx    xxxx  xx" "xxxx xxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxx" "xxxx xxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxx" "xxxx xxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxx" "xxxx xxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxx" "xxxxx xxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxx" "xxxxxx xxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxx  xxx   xxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxx    xxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990801-NEP (39)" (quote ((1 1) (1 1 1 1) (1 1 1 1) (1 1) (1 1) (1 1) (1 1 2 1 1) (1 2 1 1 2 1) (1 3 1 1 3 1) (1 1 3 2 3 1 1) (1 1 2 2 1 1) (1 2 1 1 2 1) (1 2 6 2 1) (1 2 2 2 1) (1 1 1 1) (3 2 2 3) (1 1 1 1) (1 12 1) (5 4 5) (40) (40) (40) (40) (1 1) (40) (1 1 1 1 1 1) (1 1 1 1 1 1) (7 5 5 7) (1 1 1 1 1 1 1 1 1 1 1 1) (1 1 1 5 5 1 1 1) (7 1 1 7) (1 1 1 1 1 1 1 1) (1 1 1 1 1 1 1 1) (7 1 1 7) (1 1 1 1 1 1 1 1) (1 1 1 1 1 1 1 1) (7 5 5 7) (1 1 1 2 2 2 2 1 1 1) (1 1 1 2 8 2 1 1 1) (7 2 2 2 2 7))) (quote ((21) (5 1 1 1 1 1 1) (2 1 5 1 4 4 1) (1 20 1 1 1 1 1 1) (2 1 5 4 4 4) (5 1 1 1 1 1 1) (4 16) (4 1) (4 1) (4 1 2) (4 1 3) (4 1 3 2) (4 1 1 1 1) (6 4 1 10) (2 2 1 4 1 1 1 1) (2 2 3 4 1 3 2) (1 3 1 4 1 3) (4 1 4 1 2) (2 1 1 6 1 1) (1 1 2 6 1 1) (1 1 2 6 1 1) (2 1 1 6 1 1) (4 1 4 1 2) (1 3 1 4 1 3) (2 2 3 4 1 3 2) (2 2 1 4 1 1 1 1) (6 4 1 10) (4 1 1 1 1) (4 1 3 2) (4 1 3) (4 1 2) (4 1) (4 1) (4 16) (5 1 1 1 1 1 1) (2 1 5 4 4 4) (1 20 1 1 1 1 1 1) (2 1 5 1 4 4 1) (5 1 1 1 1 1 1) (21))) (quote #f)) (make-problem "19990807-DRN (40)" (quote ((2) (1) (2) (3) (2) (1) (2) (3) (2) (1) (2) (3) (2) () (2) (1 2 4) (5 2 1 1) (2 2 2 1 1 1) (2 2 2 1 1 1 2) (1 2 2 2 1 1 1) (2 2 1 1 1 2) (2 1 1 2) (12 4) (1 2) (1 2) (2 3 1 4) (1 3 1 1 1 6) (2 3 3 1 15) (3 1 17) (3 1 20 2) (13 19 4) (15 16 6) (17 11 7) (19 6 10) (22 4 12) (23 13) (27 12) (28 11) (29 10) (30 9))) (quote ((13 1 2 1 1 1 10) (1 3 3 3 5 1 3 10) (1 1 1 2 1 10) (2 3 1 14) (2 3 1 14) (2 1 14) (2 1 10) (2 1 3 10) (2 1 1 1 10) (3 3 10) (2 10) (18) (10) (9) (9) (1 8) (2 8) (3 7) (4 7) (6 6) (6 6) (4 6 6) (2 1 1 8 5) (2 1 1 1 10 4) (1 1 1 14 4) (2 1 1 13 4) (1 1 1 2 10 4) (1 1 2 8 1 3) (4 6 3 2) (6 4 1) (5 6) (5 7) (5 7) (4 8) (2 9) (1 9) (10) (10) (11) (11))) (quote #f)) (make-problem "19990808bVAC (41)" (quote ((5 5 5) (3 2 3 3 2 3) (2 2 2 1 1 2 2 2) (2 2 2 9 2 2 2) (1 2 1 3 3 1 2 1) (2 3 2 2 2 1 1 2 2 2 3 2) (1 2 1 1 2 2 1 1 2 1) (1 2 2 4 1 4 2 1 1) (1 2 2 1 4 4 1 1 1 2 1) (1 2 1 1 5 5 1 2 2 1 1) (1 2 2 1 4 4 2 1 2 1) (1 1 1 1 4 5 1 1 1 1) (1 2 2 2 4 4 2 1 2 1 1) (2 1 1 1 5 1 5 2 2 1 2) (1 2 1 1 13 1 1 1 2 1) (1 1 3 3 5 3 3 1 1) (2 1 2 5 1 3 1 6 1 2) (1 1 1 3 1 1 1 1) (2 2 7 1 1 8 1 2) (2 3 7 3 2) (3 3 4 4 3 1 3) (5 4 4 3 1) (2 6 6 1 2) (2 3 4 5 4 3 3) (2 2 4 3 4 1 1 2) (1 2 6 5 6 3 1) (2 2 4 5 5 4 2 2) (1 1 4 3 3 4 1 1) (1 2 6 5 5 6 2 1) (1 1 4 5 5 5 4 1 1) (2 3 3 3 3 4 2) (7 5 5 5 7) (2 5 5 5 5 2) (2 3 3 3 3 2) (3 5 5 5 5 3) (7 5 5 5 7) (6 3 3 3 6) (7 5 5 5 7) (33) (2 2))) (quote ((9) (3 4) (2 1 2 3 5) (2 1 2 3 2 3 2 4) (1 1 2 3 2 2 2 1 6) (2 2 3 1 2 3 8) (1 1 2 3 3 3 2 4 5) (1 2 2 2 2 1 2 4 4) (1 2 3 1 1 1 2 6 5) (2 2 3 2 2 1 1 4 5 2) (2 3 3 1 1 1 1 4 3 1) (2 4 1 1 1 6 5 2) (3 3 1 1 1 4 5 5) (3 7 1 1 4 3 4) (9 1 6 5 5) (17 4 5 5 2) (1 8 2 4 3 3 1) (2 2 2 2 6 5 5 3) (2 1 1 1 4 2 5 5 6) (1 1 1 5 1 3 3 4) (2 1 1 1 4 2 5 5 6) (2 2 2 2 6 5 5 3) (1 8 2 4 3 3 1) (17 4 5 5 2) (9 1 6 5 5) (3 7 1 1 4 3 4) (3 3 1 1 1 4 5 5) (2 3 1 1 1 1 6 5 2) (2 3 1 1 1 1 1 1 1 4 3 1) (2 2 2 2 1 1 1 1 4 5 2) (1 2 2 1 13 6 5) (1 2 1 1 1 1 1 1 4 4) (1 1 1 2 1 3 8 4 5) (2 2 2 2 3 1 2 3 9) (1 1 1 1 2 2 2 2 1 6) (2 1 2 1 2 2 3 2 4) (2 1 1 3 5) (3 4) (9) ())) (quote #f)) (make-problem "19990831-DAH (42)" (quote ((40) (40) (40) (14 16) (12 12) (10 12 10) (8 16 9) (7 20 8) (6 22 7) (5 24 6) (5 25 5) (4 34) (4 13 2 2 2 4) (3 12 2 2 2 5) (3 12 2 2 2 2 3) (3 32 3) (3 10 2 2 2 4 2) (2 9 2 2 2 6 2) (2 9 2 2 2 7 2) (2 34 2) (2 7 2 2 2 9 2) (2 6 2 2 2 9 2) (2 4 2 2 2 10 3) (3 32 3) (3 2 2 2 2 12 3) (5 2 2 2 12 3) (4 2 2 2 13 4) (34 4) (5 25 5) (6 24 5) (7 22 6) (8 20 7) (9 16 8) (10 12 10) (12 12) (14 14) (40) (40) (40) (40))) (quote ((40) (40) (17 17) (13 4 15) (11 12 13) (9 13 1 11) (8 14 1 10) (7 15 2 9) (6 14 1 3 8) (6 14 3 3 7) (5 13 2 4 6) (5 14 2 5 6) (4 12 1 3 6 5) (4 12 3 1 8 5) (3 11 2 3 6 4) (3 11 2 2 7 4) (3 9 1 3 2 7 4) (3 8 3 1 3 8 4) (3 7 2 3 1 9 4) (3 7 2 2 3 7 4) (3 7 3 2 2 7 4) (3 9 1 3 2 7 4) (3 8 3 1 3 8 4) (3 7 2 3 1 9 4) (4 7 2 2 11 4) (4 6 3 2 11 4) (4 8 1 3 12 5) (4 6 3 1 12 5) (5 5 2 14 6) (5 4 2 13 6) (6 3 3 14 7) (7 3 1 14 7) (8 2 15 8) (9 1 14 9) (10 1 13 10) (12 12 12) (14 4 14) (16 18) (40) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxx      xxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxx     xxxx   xxxxxxxxxxxxxxx" "xxxxxxxxxxx   xxxxxxxxxxxx xxxxxxxxxxxxx" "xxxxxxxxx   xxxxxxxxxxxxx  x xxxxxxxxxxx" "xxxxxxxx  xxxxxxxxxxxxxx   x  xxxxxxxxxx" "xxxxxxx  xxxxxxxxxxxxxxx  xx   xxxxxxxxx" "xxxxxx  xxxxxxxxxxxxxx x xxx    xxxxxxxx" "xxxxxx xxxxxxxxxxxxxx  xxx xxx   xxxxxxx" "xxxxx  xxxxxxxxxxxxx   xx  xxxx   xxxxxx" "xxxxx xxxxxxxxxxxxxx  xx   xxxxx  xxxxxx" "xxxx  xxxxxxxxxxxx x xxx  xxxxxx   xxxxx" "xxxx xxxxxxxxxxxx  xxx x xxxxxxxx  xxxxx" "xxx  xxxxxxxxxxx   xx  xxx xxxxxx   xxxx" "xxx  xxxxxxxxxxx  xx   xx  xxxxxxx  xxxx" "xxx  xxxxxxxxx x xxx  xx   xxxxxxx  xxxx" "xxx  xxxxxxxx  xxx x xxx  xxxxxxxx  xxxx" "xxx  xxxxxxx   xx  xxx x xxxxxxxxx  xxxx" "xxx  xxxxxxx  xx   xx  xxx xxxxxxx  xxxx" "xxx  xxxxxxx xxx  xx   xx  xxxxxxx  xxxx" "xxx  xxxxxxxxx x xxx  xx   xxxxxxx  xxxx" "xxx  xxxxxxxx  xxx x xxx  xxxxxxxx  xxxx" "xxx  xxxxxxx   xx  xxx x xxxxxxxxx  xxxx" "xxxx xxxxxxx  xx   xx  xxxxxxxxxxx  xxxx" "xxxx  xxxxxx xxx  xx   xxxxxxxxxxx  xxxx" "xxxx  xxxxxxxx x xxx  xxxxxxxxxxxx xxxxx" "xxxx   xxxxxx  xxx x xxxxxxxxxxxx  xxxxx" "xxxxx  xxxxx   xx  xxxxxxxxxxxxxx xxxxxx" "xxxxx   xxxx  xx   xxxxxxxxxxxxx  xxxxxx" "xxxxxx   xxx xxx  xxxxxxxxxxxxxx xxxxxxx" "xxxxxxx    xxx x xxxxxxxxxxxxxx  xxxxxxx" "xxxxxxxx   xx  xxxxxxxxxxxxxxx  xxxxxxxx" "xxxxxxxxx  x   xxxxxxxxxxxxxx  xxxxxxxxx" "xxxxxxxxxx x  xxxxxxxxxxxxx   xxxxxxxxxx" "xxxxxxxxxxxx xxxxxxxxxxxx   xxxxxxxxxxxx" "xxxxxxxxxxxxxx   xxxx     xxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxx      xxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19990902-TUC (43)" (quote ((19 3 2 12) (19 3 1 12) (18 1 2 1 12) (18 1 2 2 12) (17 2 1 2 12) (17 2 17) (16 3 16) (16 3 16) (15 3 15) (8 3 8) (8 5 3 5 8) (8 5 2 5 8) (3 3 4 2 4 8) (1 1 3 3 1 3 8) (1 1 3 1 1 1 8) (1 3 2 8) (6 3 6) (4 5 4) (2 6 2) (6) (5) (1 5 2) (3 1 5 4) (5 3 2) (7 2 4 3) (8 1 4 1) (8 2 3 4 3) (8 4 4 4) (8 5 1 5 8) (8 5 3 5 8) (8 3 8) (15 3 15) (16 3 16) (16 3 16) (17 2 17) (12 1 2 17) (12 5 1 18) (12 2 1 19) (15 3 19) (12 3 19))) (quote ((12 3 19) (15 3 18) (13 3 1 18) (15 2 1 17) (12 1 2 17) (17 2 1 16) (16 3 16) (16 3 15) (9 3 9) (9 5 3 4 9) (9 4 3 4 9) (9 4 1 3 9) (9 3 3 4 1) (9 2 2 4 1 1) (9 4 1 1) (8 2 3 1) (6 3 6) (4 5 4) (2 6 2) (6) (6) (2 6 3) (4 5 4) (6 5 6) (3 5 8) (1 7 9) (2 6 2 2 9) (4 3 3 9) (9 4 1 4 9) (9 4 3 4 9) (9 5 2 5 9) (9 3 9) (16 2 16) (16 3 16) (17 2 17) (17 2 17) (18 1 1 12) (18 1 1 1 1 12) (19 2 1 1 12) (19 2 3 12))) (quote ("xxxxxxxxxxxx    xxx  xxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxx xxx   xxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxx  xxx x  xxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxx xx x   xxxxxxxxxxxxxxxxx" "xxxxxxxxxxxx    x xx   xxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxx xx  x xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxx xxx    xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxx xxx     xxxxxxxxxxxxxxx" "xxxxxxxxx       xxx            xxxxxxxxx" "xxxxxxxxx xxxxx xxx       xxxx xxxxxxxxx" "xxxxxxxxx xxxx xxx        xxxx xxxxxxxxx" "xxxxxxxxx xxxx x           xxx xxxxxxxxx" "xxxxxxxxx xxx              xxx xxxx   x " "xxxxxxxxx xx                xx xxxx x x " "xxxxxxxxx                      xxxx x x " "xxxxxxxx                    xx  xxx x   " "xxxxxx                       xxx  xxxxxx" "xxxx                         xxxxx  xxxx" "xx                            xxxxxx  xx" "                                xxxxxx  " "  xxxxxx                                " "xx  xxxxxx                           xxx" "xxxx  xxxxx                         xxxx" "xxxxxx  xxxxx                     xxxxxx" "     xxx  xxxxx                 xxxxxxxx" "x xxxxxxx                      xxxxxxxxx" "xx xxxxxx xx                xx xxxxxxxxx" "     xxxx xxx              xxx xxxxxxxxx" "xxxxxxxxx xxxx          x xxxx xxxxxxxxx" "xxxxxxxxx xxxx        xxx xxxx xxxxxxxxx" "xxxxxxxxx xxxxx       xx xxxxx xxxxxxxxx" "xxxxxxxxx            xxx       xxxxxxxxx" "xxxxxxxxxxxxxxxx     xx xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxx    xxx xxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxx   xx xxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxx   xx xxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxx  x x     xxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxx  x x x x xxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxx  xx x x xxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxx  xx xxx xxxxxxxxxxxx"))) (make-problem "19990905-ARE (44)" (quote ((1) (1) (1 17) (1 19) (1 20) (1 1 3) (1 7 3) (1 5 1 1 3) (1 1 1 1 3) (2 2 1 2 3) (2 3 1 3) (2 5 17 3) (1 5 19 3) (6 21 3) (4 23 3) (2 27) (28) (1 1) (2 23 1) (1 1) (1 2 2 2 2 2 1) (1 2 2 2 2 2 1) (1 2 2 2 2 2 1) (1 2 2 2 2 2 1) (1 2 2 2 2 2 1) (1 2 2 2 2 2 1) (1 2 2 2 2 2 1) (1 2 2 2 2 2 1) (1 2 2 2 2 2 1) (1 2 2 2 2 2 1) (1 2 2 2 2 2 1) (1 2 2 2 2 2 1) (1 1 1 1) (2 31 2) () (4 3 3 1 3 3 3 4) (2 1 1 1 1 1 1 1 1 1 2) (3 1 2 3 3 1 1 1 3) (2 1 1 1 1 1 1 1 1 2) (4 1 3 1 1 1 3 1 4))) (quote ((2 1) (1 3) (5) (3 3 1 1) (3 3 2 2 1 1) (2 4 1 1 1) (1 5 16) (2 5 3 1) (1 5 2 1) (1 4 3 1 12 1 1) (1 1 4 1 12 1 5) (2 1 5 1 1 1) (3 1 6 1 1) (6 6 1 1 5) (3 1 9 1 12 1 1 1 1) (3 1 6 1 12 1 1 1) (3 1 6 1 1) (3 1 1 6 1 1 4) (3 4 6 1 1 1 1) (3 6 1 12 1 4) (3 6 1 12 1) (3 6 1 1 5) (3 6 1 1 1 1) (3 6 1 1 3) (3 6 1 12 1) (3 6 1 12 1 5) (3 6 1 1 1 1) (3 6 1 1 5) (3 6 1 1) (3 5 1 12 1 1) (3 4 1 12 1 5) (3 3 1 1 1) (3 2 1) (12 1) (9 15 1 1) (6 1 1 1) (1 1) (5) (1 3) (2 1))) (quote #f)) (make-problem "19990916aCAR (45)" (quote ((22 8 6) (3 17 6 5) (2 17 6 4) (3 8 15 3) (11 14 3) (12 15 3) (29 4) (7 14 7 5) (6 12 7 6) (7 4 9 17) (13 26) (14 24) (3 12 23) (2 12 13 7) (3 15 11 6) (11 8 11 7) (10 8 18) (11 10 1 15) (24 1 7 4) (22 1 7 3) (24 6 2) (23 2 4 2) (31 1 1 1) (30 2 2 1 1) (5 1 4 14 8) (4 1 3 12 9) (4 2 2 2 8 10) (5 3 3 3 8 11) (6 3 4 3 5 12) (3 1 5 14) (2 2 3 2 6 15) (2 2 3 2 5 12 3) (2 2 3 2 4 3 3 2 2) (3 4 2 4 2 5) (5 6 11 8) (4 1 2 1 23) (1 1 1 3 1 1 23) (4 1 4 1 1 23) (5 1 6 1 23) (4 1 4 1 22))) (quote ((37 2) (36 3) (2 10 16 3 3) (1 8 14 3 2 3) (2 10 11 2 3 1 3) (24 1) (8 15 5) (7 15 2) (8 15 4 5 3) (24 3 5 4) (16 9 5 4) (4 10 12 3 3) (3 3 6 12 3 2 2) (4 5 14 2 3 1 3) (11 12 1) (11 12 5) (12 12 2) (13 15 4 4) (13 15 4 5) (14 11 3 6) (15 10 6 6) (1 6 7 15 6) (4 7 1 11 1 6) (1 6 10 1 8 2 6) (17 1 9 2 6) (19 7 2 7) (18 2 6 3 7) (28 3 7) (3 21 4 7) (2 18 6 6) (1 15 9 5) (5 6 11 5) (4 4 10 6) (5 4 8 7) (1 10 9 7) (2 11 8 8) (3 13 7 8) (20 10 7) (22 9 6) (24 7 6))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxx" "xx xxxxxxxxxx xxxxxxxxxxxxxxxx   xxx xxx" "x   xxxxxxxx   xxxxxxxxxxxxxx xxx xx xxx" "xx xxxxxxxxxx xxxxxxxxxxx  xx xxx x xxx " "xxxxxxxxxxxxxxxxxxxxxxxx    x           " "xxxxxxxx xxxxxxxxxxxxxxx           xxxxx" "xxxxxxx   xxxxxxxxxxxxxxx  xx           " "xxxxxxxx xxxxxxxxxxxxxxx xxxx xxxxx xxx " "xxxxxxxxxxxxxxxxxxxxxxxx  xxx xxxxx xxxx" "xxxxxxxxxxxxxxxx xxxxxxxxx    xxxxx xxxx" "xxxx xxxxxxxxxx   xxxxxxxxxxxx   xxx xxx" "xxx   xxx xxxxxx xxxxxxxxxxxx xxx xx  xx" "xxxx xxxxx xxxxxxxxxxxxxx  xx xxx x xxx " "xxxxxxxxxxx xxxxxxxxxxxx    x           " "xxxxxxxxxxx xxxxxxxxxxxx           xxxxx" "xxxxxxxxxxxx xxxxxxxxxxxx  xx           " "xxxxxxxxxxxxx xxxxxxxxxxxxxxx xxxx xxxx " "xxxxxxxxxxxxx xxxxxxxxxxxxxxx xxxx xxxxx" "xxxxxxxxxxxxxx xxxxxxxxxxx    xxx xxxxxx" "xxxxxxxxxxxxxxx xxxxxxxxxx xxxxxx xxxxxx" "x xxxxxx xxxxxxx xxxxxxxxxxxxxxx  xxxxxx" "   xxxx   xxxxxxx x xxxxxxxxxxx x xxxxxx" "x xxxxxx xxxxxxxxxx x xxxxxxxx xx xxxxxx" "xxxxxxxxxxxxxxxxx  x xxxxxxxxx xx xxxxxx" "xxxxxxxxxxxxxxxxxxx  xxxxxxx  xx xxxxxxx" "xxxxxxxxxxxxxxxxxx xx xxxxxx xxx xxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxx xxxxxxx" "xxx   xxxxxxxxxxxxxxxxxxxxx xxxx xxxxxxx" "xx     xxxxxxxxxxxxxxxxxx  xxxxxx xxxxxx" "x       xxxxxxxxxxxxxxx  xxxxxxxxx xxxxx" "         xxxxx xxxxxx  xxxxxxxxxxx xxxxx" "         xxxx   xxxx  xxxxxxxxxx  xxxxxx" "         xxxxx xxxx     xxxxxxxx xxxxxxx" "x       xxxxxxxxxx     xxxxxxxxx xxxxxxx" "xx     xxxxxxxxxxx     xxxxxxxx xxxxxxxx" "xxx   xxxxxxxxxxxxx     xxxxxxx xxxxxxxx" "xxxxxxxxxxxxxxxxxxxx  xxxxxxxxxx xxxxxxx" "xxxxxxxxxxxxxxxxxxxxxx  xxxxxxxxx xxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxx  xxxxxxx xxxxxx"))) (make-problem "19990927-BBA (46)" (quote ((2 1) (2 2) (2 3) (2 3) (2 4) (2 4) (2 2 4) (2 2 4) (3 2 2 4) (6 2 2 5) (3 3 2 2 5) (2 3 2 2 2 3) (3 2 2 2 2 3) (2 4 2 2 2 4) (2 2 5 2 2 6) (2 3 4 17) (4 2 4 9 7) (5 2 6 2 2 4) (10 8 2 2 4) (9 2 2 4 2 4) (8 2 2 5 4) (7 2 2 5 3) (7 2 2 2 14) (10 2 2 14) (4 4 2 1 3) (3 5 2 2) (4 3 4 2 2) (7 5 3) (8 8 6) (12 6 7) (10 20) (11 4 15) (14 4 8) (14 4 6) (19 6) (24) (21) (18) (14) (10))) (quote ((4) (7) (12) (3 14) (3 15) (2 15) (3 7 8) (2 6 8) (2 8 10) (2 4 13) (3 3 4 9) (2 3 4 8) (3 3 2 10) (3 3 13) (7 4 7) (5 3 7) (24 3 8) (24 12) (2 12) (19 4 7) (16 1 2 6) (4 2 2 3 7) (4 2 1 10) (21 10) (21 10) (5 2 2 3 6) (17 2 5) (15 3 6) (5 2 9) (5 2 8) (5 2 7) (6 3 7) (6 3 6) (2 3 4 5) (2 5 2 5) (2 4 6) (3 4) (2 3) (2 1) (2 1))) (quote ("                xxxx                    " "              xxxxxxx                   " "            xxxxxxxxxxxx                " "           xxx  xxxxxxxxxxxxxx          " "          xxx    xxxxxxxxxxxxxxx        " "         xx       xxxxxxxxxxxxxxx       " "        xxx       xxxxxxx xxxxxxxx      " "        xx        xxxxxx   xxxxxxxx     " "        xx       xxxxxxxx xxxxxxxxxx    " "         xx    xxxx    xxxxxxxxxxxxx    " "         xxx  xxx      xxxx xxxxxxxxx   " "          xx xxx      xxxx   xxxxxxxx   " "           xxx      xxx  xx xxxxxxxxxx  " "            xxx    xxx   xxxxxxxxxxxxx  " "             xxxxxxx      xxxx xxxxxxx  " "              xxxxx       xxx   xxxxxxx " "xxxxxxxxxxxxxxxxxxxxxxxx   xxx xxxxxxxx " "xxxxxxxxxxxxxxxxxxxxxxxx   xxxxxxxxxxxx " "                 xx         xxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxx         xxxx xxxxxxx" " xxxxxxxxxxxxxxxx x          xx   xxxxxx" "  xxxx         xx xx         xxx xxxxxxx" "    xxxx       xx  x          xxxxxxxxxx" "      xxxxxxxxxxxxxxxxxxxxx   xxxxxxxxxx" "      xxxxxxxxxxxxxxxxxxxxx   xxxxxxxxxx" "      xxxxx    xx   xx        xxx xxxxxx" "        xxxxxxxxxxxxxxxxx     xx   xxxxx" "         xxxxxxxxxxxxxxx      xxx xxxxxx" "           xxxxx      xx      xxxxxxxxx " "             xxxxx    xx      xxxxxxxx  " "              xxxxx   xx      xxxxxxx   " "              xxxxxx  xxx    xxxxxxx    " "               xxxxxx xxx    xxxxxx     " "               xx xxx xxxx   xxxxx      " "               xx  xxxxx xx xxxxx       " "               xx   xxxx  xxxxxx        " "                     xxx   xxxx         " "                      xx   xxx          " "                      xx    x           " "                      xx    x           "))) (make-problem "19991008-LLO (47)" (quote ((6 6 2) (16 1 1) (18 1 4) (5 12 6) (5 14 4) (1 4 15 2) (3 4 15 1 1) (5 4 4 1 1 2) (3 4 2 2 1 3) (2 2 5 1 9 1 1 4) (1 6 3 3 4 1) (1 4 3 2 3 1) (3 2 1 3 2 2 2 1) (5 2 1 2 1 1 2 1 1 2) (4 1 1 2 1 1 2 1 3) (5 4 2 1 2 1 2 1 4) (6 2 3 1 3 4 1) (1 3 1 5 1 1 5 3 1) (5 5 2 5 2 1) (3 2 14 1 2) (4 2 4 4 4 1 3) (8 4 4 1 4) (4 2 12 4 1) (1 3 2 10 3 1) (8 10 2 1) (3 1 2 8 1 2) (4 1 2 6 1 3) (7 1 4) (1 6 1 6 1) (3 1 3 8 1) (3 1 1 1 3 3 4) (7 3 2 2 1) (9 3 2 1 2 1 2) (4 2 2 7 4 4 1 4) (1 3 2 3 7 1 1 2 1 1 1 1) (8 3 1 1 1 1 1) (7 3 2 2 3 1 1 1 3) (8 7 5 1 1 1 1 2 1) (3 8 1 1 1 1 1 1 1) (3 6 6 9))) (quote ((1 1 5 5 5 4 2) (4 5 5 4 5 5) (4 30) (4 7 5 3 10) (1 1 1 5 1 3 3 2 4) (1 5 1 3 4 3) (7 1 6 3 7) (10 2 1 4 3 1 2 1) (13 2 1 2 1 3 2) (13 2 1 2 2 2) (5 3 2 1 1 2) (4 4 1 1 1) (3 6 7 1) (3 4 1 7 3 2) (8 2 7 5 3) (7 1 4 8 3 3 3) (6 2 2 9 2 2 2) (7 1 1 2 6 2 2 2) (7 1 1 2 2 8 2 2) (7 1 1 3 8 2 2) (7 1 1 1 3 9 3 3) (7 1 1 1 2 6 3 5) (7 1 2 2 6 2 3) (6 1 3 9 2 3) (5 2 8 2 2 1) (4 2 7 2 1 1) (2 3 7 7) (2 6 1) (8) (2) (2) (8) (2 20 1 1) (1 2 1 3 3 3 12) (1 4 3 3 3 1 1) (1 4 3 3 3 1 1 1) (4 4 3 3 2 2 3) (2 20 2 2 1) (2 1 1) (7))) (quote #f)) (make-problem "19991011-VAL (48)" (quote ((2) (2) (10) (16) (18) (18) (1 1) (3 6 3) (2 1 2 2 1 2) (1 2 4 2 1) (1 1 6 1 1) (1 6 1) (1 6 1) (1 4 1) (1 1) (3 6 3) (2 1 2 2 1 2) (1 2 4 2 1) (1 1 1 1 1 1) (1 1 1 1) (1 1 1 1) (1 4 1) (1 1) (3 6 3) (2 1 2 2 1 2) (1 2 4 2 1) (1 1 1 1 1 1) (1 1 1 1) (1 1 1 1) (1 4 1) (1 1) (1 1) (18) () () (4 5 4 4) (1 1 1 1 1 1) (4 1 1 1 4) (1 1 1 1 1) (4 1 4 1))) (quote (() () () () () () () (1 1 1) (1 1 1) (1 1 1) (1 1 1 3 1) (29 1 1 1) (3 1 1 1 1) (3 1 1 3) (3 1) (4 2 2 2 1 1) (4 2 2 2 1 1) (4 2 3 2 3 2 3 1 5) (4 1 5 1 1 1 1 1 1 1 1) (6 1 5 1 1 1 1 1 1 1 1) (6 1 5 1 1 1 1 1 1 1) (4 1 5 1 1 1 1 1 1 1 5) (4 2 3 2 3 2 3 1 1 1) (4 2 2 2 1 1 1) (4 2 2 2 1 5) (3 1) (3 1 5) (3 1 1 1) (29 1 1) (1 1 1 3) (1 1 1) (1 1 1) (1 1 1) () () () () () () ())) (quote #f)) (make-problem "19991103-BDH (49)" (quote ((12 23) (11 22) (10 21) (10 20) (9 20) (10 18) (10 11) (11 10) (12 10) (14 5 4) (14 4 4) (9 3 5 4 5) (9 1 9 4) (10 2 1 2) (11 3 7 1) (11 4 9 1) (10 5 9 1) (9 5 10) (8 7 10) (8 8 9) (8 1 5 2 9) (8 2 4 1 1 9) (8 3 4 1 2 10) (8 4 3 2 2 10) (8 5 3 2 2 10) (8 2 2 3 2 3 10) (9 2 1 5 4 10) (9 2 2 3 5 10) (10 2 2 6 10) (10 3 11 11) (11 11 11) (10 15 1 11) (8 13 1 11) (8 5 1 11) (9 3 3 2 1 11) (10 5 2 1 11) (19 2 2 11) (20 2 2 12) (21 4 13) (22 14))) (quote ((40) (40) (40) (40) (40) (40) (40) (40) (18 6 6) (4 6 4 5 4 1 5) (2 5 2 7 1 3 4) (1 4 7 4 4) (3 1 2 2 4 4) (2 1 2 1 3 5) (1 5 2 6) (1 2 3 6) (1 7 4 6) (1 1 10 4 5) (2 1 11 4 1 4) (3 1 12 4 2 3) (5 1 12 4 2 2) (5 1 2 3 4 2 1) (6 1 2 2 4 2) (6 1 2 2 4 1) (6 2 6 5 1) (6 2 2 6 2) (6 2 5 2 1) (6 2 7 6 2) (6 1 2 8 3) (7 3 11) (11 5 18) (11 26) (11 26) (11 26) (10 26) (9 1 25) (13 25) (13 24) (14 23) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxx        xxxxxx  xxxxxx" "xxxx xxxxxx  xxxx   xxxxx   xxxx x xxxxx" "xx     xxxxx  xx     xxxxxxx  x xxx xxxx" "x       xxxx          xxxxxxx  xxxx xxxx" "         xxx x         xx   xx xxxx xxxx" "         xx  x          xx   x xxx xxxxx" "            x            xxxxx xx xxxxxx" "           x               xx xxx xxxxxx" "           x  xxxxxxx        xxxx xxxxxx" "x          x xxxxxxxxxx      xxxx  xxxxx" "xx         x  xxxxxxxxxxx    xxxx x xxxx" "xxx        x   xxxxxxxxxxxx  xxxx xx xxx" "xxxxx       x   xxxxxxxxxxxx xxxx  xx xx" "xxxxx       x     xx     xxx xxxx   xx x" "xxxxxx      x     xx      xx xxxx    xx " "xxxxxx      x      xx    xx xxxx      x " "xxxxxx     xx       xxxxxx xxxxx      x " "xxxxxx     xx          xx xxxxxx     xx " "xxxxxx     xx            xxxxx      xx x" "xxxxxx     xx         xxxxxxx  xxxxxx xx" "xxxxxx      x xx     xxxxxxxx        xxx" "xxxxxxx       xxx            xxxxxxxxxxx" "xxxxxxxxxxx   xxxxx   xxxxxxxxxxxxxxxxxx" "xxxxxxxxxxx   xxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxx   xxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxx   xxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxx    xxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxx  x   xxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxx  xxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxx   xxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxx   xxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19991109-TMA (50)" (quote ((35) (1 1 1 1 17) (1 4 2 1 4 20) (1 1 1 1 2 1 16 2) (1 2 1 1 2 4 2 19) (1 1 2 1 1 20) (40) (1 20) (40) (14 1 1 1 1 1 1) (14 1 1 1 2 1 2 1 2 1 4) (14 3 1 2 1 2 1 1 2) (14 3 1 2 1 2 1 1 2 4) (7 6 3 1 1 1 2 1 1) (7 32) (6 5 1) (1 1 1 1 1 26) (2 6 1 4 1 2) (1 8 1 6 1 1 1 2) (3 9 2 1 1 1 2) (4 10 4 6 3 2) (1 2 2 1 6 2 4 1 2) (1 1 1 26) (4 2) (1 26) (2 6 2 2 1 3) (3 1 11) (7 9 1 1 3 1 1 2) (7 8 1 1 2 7 3) (7 7 2 2 3 5 4) (13 1 3 3 5) (11 11 1 5) (9 4 1 1 6 5) (7 2 3 1 1 1 10 3) (5 4 2 1 6 2 2) (4 5 5 3 5 2 1) (2 3 4 1 5 3) (1 20 3) () (6 22 5))) (quote ((21 1 2 11 1) (1 1 8 1 3 1 10 1) (1 3 1 9 2 9 1) (1 1 1 1 8 2 9 1) (1 1 1 9 2 8 1) (7 8 7 1) (1 1 7 7) (1 1 3 5 3) (1 1 2 7 6) (1 1 1 8 5 1 1) (7 9 2 5 4 1) (1 1 8 2 4 4 1) (1 1 1 1 9 2 4 5 1) (1 1 1 1 8 1 3 1 3 3 1 1) (1 3 1 1 1 5 1 2 3 1 2 1) (7 1 5 13 3 3 1) (1 1 2 4 12 8 1) (1 3 1 1 5 11 2 7 1) (1 1 1 1 1 1 10 1 1 1 1 1) (1 1 1 7 1 5 1 1 1 1 1 1) (9 1 1 5 1 1 1 1) (9 3 1 1 1 1 2 1 7 1) (9 3 1 1 4 6 1 1 1 1) (9 1 7 1 1 1 1 1 1) (15 1 1 1 2 3 1 1 1) (9 1 1 1 1 1 3 10 1) (9 3 1 1 1 1 1 2 2 5 1) (9 3 1 7 1 3 1 5 1) (9 1 3 3 1 4 7 1) (15 3 3 1 1 3 6 1) (9 1 7 1 1 3 3 1) (9 1 3 1 1 1 3 3 2) (9 1 2 1 1 1 1 1 4 2) (9 1 1 1 1 1 1 1 2) (15 7 4 1) (8 1 1 1 1 3 3 1 1) (2 5 1 1 1 1 1 1 1 2 4 4 1) (6 1 1 1 1 1 1 6 3 1) (6 3 1 9 8 2 1) (20 9 1))) (quote ("xxxxxxxxxxxxxxxxxxxxx x xx xxxxxxxxxxx x" "x     x xxxxxxxx x xxx   x xxxxxxxxxx  x" "x xxx x xxxxxxxxx  xx      xxxxxxxxx   x" "x x x x xxxxxxxx    xx     xxxxxxxxx   x" "x x   x xxxxxxxxx    xx    xxxxxxxx    x" "xxxxxxx xxxxxxxx           xxxxxxx     x" "x     x xxxxxxx            xxxxxxx      " "x x xxx xxxxx                 xxx       " "x x  xx xxxxxxx            xxxxxx       " "x   x x xxxxxxxx           xxxxx   x   x" "xxxxxxx xxxxxxxxx    xx    xxxxx  xxxx x" "x     x xxxxxxxx    xx     xxxx   xxxx x" "x x x x xxxxxxxxx  xx      xxxx  xxxxx x" "x x x x xxxxxxxx x xxx   x xxx   xxx x x" "x xxx x x     x xxxxx x xx xxx  x   xx x" "xxxxxxx x xxxxx xxxxxxxxxxxxx  xxx xxx x" "x     x xx xxxx xxxxxxxxxxxx  xxxxxxxx x" "x xxx x x xxxxx xxxxxxxxxxx xx xxxxxxx x" "x x x x x     x xxxxxxxxxx   x x   x x x" "x x   x xxxxxxx x xxxxx x      x x x x x" "xxxxxxxxx     x x xxxxx x      x     x x" "xxxxxxxxx xxx x x x   x xx   x xxxxxxx x" "xxxxxxxxx xxx x x  xxxx xxxxxx x   x x x" "xxxxxxxxx     x xxxxxxx x      x x x x x" "xxxxxxxxxxxxxxx x   x x xx xxx x     x x" "xxxxxxxxx     x x x x x xxx xxxxxxxxxx x" "xxxxxxxxx xxx x x x   x x xx xx  xxxxx x" "xxxxxxxxx xxx x xxxxxxx x xxx x  xxxxx x" "xxxxxxxxx     x xxx xxx x xxxx xxxxxxx x" "xxxxxxxxxxxxxxx xxx xxx x x xxx xxxxxx x" "xxxxxxxxx     x xxxxxxx x x xxx xxx    x" "xxxxxxxxx x xxx x   x x xxx xxx xx      " "xxxxxxxxx x  xx x x x x x xxxx  xx      " "xxxxxxxxx   x x x     x x x x   xx      " "xxxxxxxxxxxxxxx xxxxxxx xxxx     x      " " xxxxxxxx     x x   x x xxx   xxx x    x" " xx xxxxx x x x x x x x xx   xxxx xxxx x" "   xxxxxx x x x x     x x   xxxxxx xxx x" "   xxxxxx xxx x xxxxxxxxx  xxxxxxxx xx x" "     xxxxxxxxxxxxxxxxxxxx  xxxxxxxxx   x"))) (make-problem "19991118-CIT (51)" (quote ((24 15) (1 17 15) (1 12 3 3 10) (3 8 3 1 1 1 1 3 4) (3 9 1 2 1 1 1 1 2 1 5) (3 10 3 1 1 1 1 3 6) (3 9 1 2 1 1 1 1 2 1 5) (13 3 1 1 1 1 3 4) (1 12 3 3 10) (1 5 3) (3 7 3) (3 14 3 3 10) (1 6 1 1 1 1 3 4) (1 6 3 1 1 1 1 1 2 1 5) (13 3 1 1 1 1 1 3 6) (1 6 3 1 1 1 1 1 2 1 5) (1 6 1 1 1 1 3 4) (1 16 3 3 10) (1 9 3) (1 5 3) (1 12 3 3 10) (13 3 1 1 1 1 4) (14 1 2 1 1 1 1 1 3 4) (15 3 1 1 1 1 1 3 4) (14 1 2 1 1 1 1 1 3 4) (1 6 3 1 1 1 1 4) (1 12 3 3 10) (3 19 15) (3 35) (3 35) (3 35) (40) (1 1 4 1 1 2) (1 1 4 1 1 6) (1 2 1 10 3 2 1 3) (1 1 10 3 2 1 3) (1 1 6 3 1 6) (1 2 1 6 3 1 2) (40) (40))) (quote ((40) (1 5 2 1 4 5 2) (1 5 2 1 4 5 2) (1 1 1 2 4 1 1 3) (1 1 1 2 4 1 1 3) (1 5 2 1 2 4 5 2) (1 5 2 1 2 4 5 2) (40) (32 2) (32 2) (32 2 2) (32 2 2) (9 7 12 2 2) (3 3 1 1 1 1 3 6 2 2) (4 1 2 1 3 1 2 1 15) (5 3 1 3 1 3 16) (4 1 2 1 3 1 2 1 15) (3 3 1 1 1 1 3 14) (9 7 12 6) (2 5 6) (2 5 2) (9 7 12 2) (3 1 1 1 1 6 6) (3 3 1 1 3 1 1 3 6 6) (12) (3 3 1 1 3 1 1 3 6 2) (3 1 1 1 1 6 2) (9 7 12 2 2) (2 5 2 2) (2 5 2) (9 7 12 2) (3 3 1 1 3 1 1 14) (4 1 2 2 1 2 1 3 6 2) (5 3 3 3 1 3 6 2) (4 1 2 2 1 2 1 3 6 1 1 2) (3 3 1 1 3 1 1 6 1 1 2) (9 7 12 1 1 2) (32 4 2) (40) (40))) (quote ("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "x  xxxxx  xx  x      xxxx  xxxxx      xx" "x  xxxxx  xx  x      xxxx  xxxxx      xx" "x      x      x  xx  xxxx      x  x  xxx" "x      x      x  xx  xxxx      x  x  xxx" "x  xxxxx  xx  x  xx  xxxx  xxxxx      xx" "x  xxxxx  xx  x  xx  xxxx  xxxxx      xx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx      xx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx      xx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx  xx  xx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx  xx  xx" "xxxxxxxxx  xxxxxxx  xxxxxxxxxxxx  xx  xx" "xxx xxx x  x     x  x xxx xxxxxx  xx  xx" "xxxx x xx  x xxx x  xx x xxxxxxxxxxxxxxx" "xxxxx xxx  x xxx x  xxx xxxxxxxxxxxxxxxx" "xxxx x xx  x xxx x  xx x xxxxxxxxxxxxxxx" "xxx xxx x  x     x  x xxx xxxxxxxxxxxxxx" "xxxxxxxxx  xxxxxxx  xxxxxxxxxxxx  xxxxxx" "xx                         xxxxx  xxxxxx" "xx                         xxxxx      xx" "xxxxxxxxx  xxxxxxx  xxxxxxxxxxxx      xx" "xxx     x  x     x  x     xxxxxx  xxxxxx" "xxx xxx x  x xxx x  x xxx xxxxxx  xxxxxx" "                            xxxxxxxxxxxx" "xxx xxx x  x xxx x  x xxx xxxxxx      xx" "xxx     x  x     x  x     xxxxxx      xx" "xxxxxxxxx  xxxxxxx  xxxxxxxxxxxx  xx  xx" "xx                         xxxxx  xx  xx" "xx                         xxxxx      xx" "xxxxxxxxx  xxxxxxx  xxxxxxxxxxxx      xx" "xxx xxx x  x xxx x  x     xxxxxxxxxxxxxx" "xxxx x xx  xx x xx  x xxx xxxxxx      xx" "xxxxx xxx  xxx xxx  x xxx xxxxxx      xx" "xxxx x xx  xx x xx  x xxx xxxxxx x  x xx" "xxx xxx x  x xxx x  x     xxxxxx x  x xx" "xxxxxxxxx  xxxxxxx  xxxxxxxxxxxx x  x xx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxx xx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"))) (make-problem "19991119aKHO (52)" (quote ((19 5 8) (11 3 3 7) (10 2 1 5 1 5 6) (9 3 2 2 1 1 2 6) (9 1 2 2 2 2 2 6) (9 2 4 2 2 2 3 7) (5 4 3 2 2 2 3 1 4) (4 4 4 2 2 2 2 2 3) (3 2 2 4 2 1 1 1 2 3 3) (3 2 3 3 1 1 1 3 4 2) (3 4 4 3 1 1 2 4 2 1) (4 4 3 2 1 2 4 4 1) (2 1 4 13 3 2 2 1) (1 5 6 3 5 1) (2 5 1 1 1 2 4 2) (2 3 1 1 3 3 1 1 5 1) (2 5 1 2 2 2 3 1) (1 5 1 1 2 2 1 2 2) (2 4 2 3 1 1 2 3) (2 5 1 1 1 1 1 2 3) (1 4 1 2 2 1 2 1 2 3) (1 3 1 1 2 1 3 2) (1 3 1 3 1 2 1 1 4 2) (4 2 2 1 1 1 5 2) (1 2 2 2 3 2 6 2) (2 1 2 2 3 2 2 2 4 2) (5 1 3 3 2 1 1 1 2 2) (6 1 1 2 3 2 2 2 2 2) (8 2 2 2 2 2 2 4 2) (7 3 3 1 1 1 5 2) (7 2 4 1 2 1 2 6 2) (8 1 3 3 2 2 2 8 2) (9 3 3 2 2 1 9 3) (9 2 1 2 3 1 9 3) (10 1 3 2 2 3 4) (13 2 1 2 3 1 5) (14 5 3 12) (22 3 11) (22 3 9) (21 1 1 1 8))) (quote ((14 4 16) (13 2 15) (12 3 14) (8 1 5 5 14) (7 1 1 2 2 14) (6 3 2 1 2 1 1 13) (6 5 2 2 2 2 12) (6 1 2 2 2 1 2 1 9) (6 1 2 1 1 2 2 2 2 8) (3 3 2 1 1 1 2 3 5 6) (2 2 3 1 1 1 2 2 2 2 5) (1 4 2 1 1 2 1 3 4 5) (1 1 3 1 2 2 2 4 5 6) (1 2 3 2 1 1 1 2 1 4 1 4) (1 4 3 4 2 1 3 2 2 3) (2 3 2 3 5 5 3) (3 3 2 2 1 1 2 2 5 4) (2 4 1 2 2 1 1 3 2 5) (1 2 5 2 6 2 4) (6 2 3 5 4) (1 6 1 1 2 2 4 5) (1 2 2 1 1 2 4 1 2) (1 6 1 1 1 2 3 4) (6 1 1 1 2 1 1) (1 2 2 1 3 4) (2 7 2 2 2 2 2 5) (4 3 2 1 1 1 1 1 1 1 2 1 1 3) (2 2 2 1 3 1 2 1) (1 3 3 3 1 1 1 3 1 1) (1 3 4 2 2 1 6 3) (1 2 4 1 1 1 8 2) (4 4 3 1 8 3) (1 3 1 3 5 2 7 4) (2 1 2 4 5 6 4) (6 15 4 4) (6 2 15 2 5) (7 7 6 6) (9 3 1 3 8) (10 1 24) (16 23))) (quote #f)) (make-problem "19991202-DAN (53)" (quote ((13) (27) (18 21) (18 21) (4 8 4 2 12 5) (4 3 2 4 2 10 5) (4 1 1 4 2 6 6) (4 5 3 6) (4 6 4 7) (4 6 4 7) (5 7 4 6) (5 2 4 3 2 2 5) (11 3 3 1 1 4) (6 2 3 2 3) (6 1 4 2 3 3) (6 5 2 1 4) (5 6 3 1 5) (4 11 4 1 1 1 6) (4 11 5 3 7) (1 4 7) (4 11) (4 12 4 7) (5 12 4 6) (5 12 4 6) (5 11 3 6) (5 11 3 5) (5 11 3 5) (5 11 2 4) (5 10 2 3) (6 10 2 3) (5 10 1 3) (5 10 3) (5 10 3) (3 5 3) (3 4 3) (3 4 3) (4 5 3) (4 4 3) (5 5 3) (5 5 3))) (quote ((15) (28) (17 20) (17 20) (2 9 20) (3 4 11 4) (4 1 4 2) (5 1 2 4) (4 3 2 8) (3 2 2 13) (5 2 2 13) (4 2 2 13 2) (3 3 3 13 4) (3 4 4 20) (11 5 20) (18 20) (18 17) (18 14) (1 12) (18) (19 10) (3 6 4 9) (4 3 3 6) (5 2 3) (5) (6 2) (6 1 1) (7 1 1) (7 5) (7 1 1) (7 1 1) (6 2) (6 2 1) (5 2 3 4) (4 5 4 7) (12 5 19) (20 19) (20 19) (20 6) (13))) (quote ("  xxxxxxxxxxxxxxx                       " "  xxxxxxxxxxxxxxxxxxxxxxxxxxxx          " "  xxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxx" "  xxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxx" "  xx      xxxxxxxxx xxxxxxxxxxxxxxxxxxxx" "  xxx       xxxx      xxxxxxxxxxx   xxxx" "  xxxx      x                xxxx     xx" "  xxxxx     x    xx xxxx                " "  xxxx      xxx  xx xxxxxxxx            " "  xxx       xx   xx xxxxxxxxxxxxx       " "  xxxxx    xx    xx xxxxxxxxxxxxx       " "  xxxx    xx     xx xxxxxxxxxxxxx     xx" "  xxx   xxx     xxx xxxxxxxxxxxxx   xxxx" " xxx   xxxx    xxxx xxxxxxxxxxxxxxxxxxxx" " xxxxxxxxxxx  xxxxx xxxxxxxxxxxxxxxxxxxx" " xxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxx" " xxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxx   " " xxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxx      " " x                   xxxxxxxxxxxx       " " xxxxxxxxxxxxxxxxxx                     " " xxxxxxxxxxxxxxxxxxx xxxxxxxxxx         " " xxx   xxxxxx   xxxx xxxxxxxxx          " " xxxx   xxx      xxx xxxxxx             " " xxxxx            xx xxx                " " xxxxx                                  " " xxxxxx    xx                           " " xxxxxx    x     x                      " "xxxxxxx       x   x                     " "xxxxxxx       xxxxx                     " "xxxxxxx       x   x                     " "xxxxxxx    x     x                      " "xxxxxx     xx                           " "xxxxxx            xx x                  " "xxxxx   xx       xxx xxxx               " "xxxx  xxxxx     xxxx xxxxxxx            " "xxxxxxxxxxxx   xxxxx xxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxx" "xxxxxxxxxxxxxxxxxxxx xxxxxx             " "xxxxxxxxxxxxx                           "))) (make-problem "19991203-DAN (54)" (quote ((3 3 1 1 4) (1 1 1 2 1 1 1) (1 1 1 1 1 1 1 1 3) (1 1 1 1 2 1 1) (3 3 1 1 4) (5) (4 2 1 1 3 7) (1 1 1 1 1 1 1 2 6) (3 1 1 1 1 3 11) (1 4 1 1 1 1 11) (3 1 1 4 1 1 11) (6) (19 7) (6) (7) (7) (6) (7) (6) (10 6) (14 5) (16 5) (18 5) (26) (25) (25) (24) (24) (23) (24) (23) (22) (5 4 4) (5 4 4) (5 4 4) (6 4 4) (7 4 4) (8 4 4) (7 4 4) ())) (quote ((5 2 1 1 1) (1 1 1 1 1 1 2) (1 1 1 1 1 1 2) (3 1 2 1 3) (1 3) (1 1 4 1 4) (5 1 1 1 4) (1 1 1 1 1 4) (4 1 5) (5 1 6) (1 5 1 7) (1 1 1 8) (1 1 1 11) (5 5 1 11) (1 11) (5 5 1 17) (1 1 1 1 1 19) (1 1 1 1 1 20) (5 1 2 1 20) (13 2) (1 13) (1 13) (1 13) (2 13) (4 13) (5 18) (2 3 20) (6 19) (6 19) (8 11 2) (11 10) (12 8) (13 8) (22) (18) (15) (12) (7) () ())) (quote #f)))))