(unit (import paint-by-numbers:problem^) (export paint-by-numbers:problem-set^) (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 #f)) (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 #f)) (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 #f)) (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 #f)) (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 #f)) (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 "19990219-JOJ (12)" (quote (() () () () (3) (5 3) (5 6) (6 8) (7 8) (7 8) (9 10) (11 12) (12 14) (29) (21 11) (18 12) (18 14) (34) (20 8) (16 1) (15 2) (21) (3 6 2 1 3) (5 2 3 1 2) (3 6 2 2 1 2) (2 1 4 4 2 3 1 3) (2 1 2 5 1 1 1 1 1) (3 1 3 3 1 3 1) (1 1 1 1 1 3 13) (1 3 1 4 1 3 1) (16 3 1 1 1 1 1) (1 3 1 4 3 1 3) (1 1 1 1 1 4 2 1 2) (3 1 3 2 1 2) (2 1 2 3) (2 1 2) (3) () () ())) (quote (() (3) (5 3) (6 2 1 2) (6 2 1 2) (7 3 1 3) (8 1 1 1 1 1) (9 1 3 1) (12 13) (12 1 3 1) (13 1 1 1 1 1) (14 3 1 3) (15 3 1 2) (17 2 2 1 2) (21 3) (21 1) (22 1) (22 1) (20) (2 2 3 6) (2 2 1 7) (2 2 1 2 4) (3 2 1 2 2) (2 2 1 2 2) (7 3) (10 2) (11 1 3) (15 2 1 2) (13 6 1 2) (14 3 1 3) (14 1 1 1 1 1) (14 1 3 1) (13 13) (3 8 1 3 1) (1 8 1 1 1 1 1) (2 2 3 1 3) (2 1 2) (2 1 2) (3) ())) (quote #f)) (make-problem "19990222-JOJ (13)" (quote (() () () (22) (2 1 2) (2 2) (2 1 2) (2 1 2) (2 2 2) (2 1 4 1 2) (1 1 2 6 2 2) (2 2 2 2 8 2) (7 2 12 2) (7 2 11 2) (9 2 6 2 2) (7 2 2 3 1 2) (11 2 1 2) (11 2 2) (10 2 2) (6 10) (6 4 22) (6 6 2 22) (4 8 2 22) (2 11 2) (2 11 2) (2 10 2) (2 10 2) (2 10 2) (2 10 3 2) (2 10 4 2) (2 10 2 2) (2 10 2 2) (2 10 2 2) (2 8 3 2) (2 8 3 2) (2 2 7 2) (2 2 3 2) (2 2 2 2) (2 2 2 2) (2 3 3 2))) (quote ((3) (20) (20) (3) (2) (5 2 10 1) (7 18) (10 19) (24) (23) (26) (25) (3 4 19) (5 18) (4 10 2 1) (2 4 2) (2 3) (3) (1 5 3 3) (2 8 3 2) (3 2 3 3 2) (1 3 2 3 2) (1 1 1 2 3 2) (2 1 1 3 2) (1 1 3 4) (1 5 4) (1 2 3 4) (1 7 4) (1 8 4) (1 10 4) (1 5 4) (1 3 4) (1 3 4) (1 5 4) (1 7 1 3) (1 1 2 3) (1 3 2 3) (3 2 3 20) (2 8 20) (1 5 3))) (quote #f)) (make-problem "19990402-JOJ (14)" (quote ((12 3 20) (1 11 2 2 4 12) (10 2 2 3 3 11) (11 2 2 1 1 10) (11 2 6 1 9) (8 2 7 1 9) (1 8 2 2 3 1 9) (1 7 2 2 2 1 9) (6 2 2 3 10) (9 2 2 11) (5 2 2 10) (1 5 2 2 10) (1 4 2 2 9) (4 2 2 8) (6 2 2 8) (1 3 2 2 7) (3 2 2 6) (2 2 2 5) (1 2 2 3 2 5) (4 2 2 2 6) (2 2 2 6) (1 4 2 7) (2 1 2 2 6) (5 2 3 4) (5 3 3) (6 1 3) (6 3 3) (7 5 2) (8 5 2) (9 1 5 2) (10 3 3 3) (11 2 2 3) (11 3 2 4) (12 3 3 5) (13 4 4 6) (14 6 8) (15 1 1 6) (17 7 4) (18 5 6 3) (19 6 3 2))) (quote ((1 1 1 3 17) (1 2 2 1 2 2 3 18) (2 1 1 1 19) (20 1 17) (19 2 17) (17 3 15) (14 3 13) (12 6 12) (10 5 11) (8 4 10) (7 4 9) (4 3 7) (3 4 6) (2 4 5) (1 2 4) (2 3) (2 1 3) (1 3 2) (8 1) (5) (1 2) (3 2) (3 2 1) (3 3 5 2) (2 1 2 2 7 2) (1 1 2 2 2 5 2) (1 1 3 1 2 2 3) (1 1 4 5) (2 1 1 3 2 1 1) (3 4 1 3 2 1) (4 4 3 2 1 2) (13 2 5 2 2) (15 5 1 3 1 1 2) (16 2 1 2 5 2 1 1) (17 4 1 7 3 2) (23 8 4 2) (24 3 6 1) (27 9) (40) (40))) (quote #f)) (make-problem "19990414-JOJ (15)" (quote ((1 1 9 14 4 3) (1 1 5 17 5 1 1) (1 4 21 3 1 1) (1 3 25 1 1 1) (1 3 26 1 3) (2 20 5 1) (1 1 17 2 3 1 3) (1 1 1 15 2 1 2 3 1 1) (3 14 1 2 3 3 3) (1 1 14 1 2 4 3 1 1) (1 1 15 1 2 2 2 3 1 1) (8 3 2 4 3) (3 7 8 3 3) (1 1 5 2 3 2 1 1) (3 2 2 1 3 2 2 3) (1 1 1 2 2 3 2 2 1 1) (3 3 2 2 2 2 3 3) (3 2 2 2 2 4) (3 3 2 2 6 5 3) (1 1 3 2 1 2 2 4 1 1) (3 3 2 2 3 3 3) (1 1 2 2 2 2 2 1 1) (3 1 3 2 2 1 3) (1 3 3 2) (1 4 6 2 3) (1 1 5 4 2 2 1 1) (3 6 4 2 2 1 3) (1 1 1 7 1 2 2 1 1 1) (1 1 1 8 2 2 1 1) (1 3 6 2 3) (4 2 7 2 6) (4 2 8 3 6) (3 2 7 2 7) (3 2 3 7 3 7) (3 2 2 2 6 3 6) (2 2 2 2 7 2 2 5) (2 2 2 2 7 2 5) (2 2 2 2 2 4 2 4) (2 2 2 5 2 6 2 3) (2 2 2 3 4 7 2 3))) (quote ((2 4 5 5 4 10) (3 1 1 1 1 1 1 1 1 1 1 10) (2 4 5 5 4 5) (3 4) (8 4 9 2 7) (6 7 6 3 7) (5 9 5 11) (3 9 9 6) (2 26 7) (1 19 5 1) (1 11 5 2) (1 10 2 5 2) (1 9 4 5 2) (10 2 2 5 2) (10 4 2) (10 4 1) (11 4 2) (12 4 3) (9 2 4 2) (8 4 1) (8 1 3) (7 2 3 1) (7 3 3 2 2 2) (6 1 1 3 2 2 2) (6 1 4 3 2 2 1) (6 3 2 3 2 2) (6 3 2 1 2 2 1 2) (5 1 3 1 2 1 1 4) (5 1 4 2 6 5) (6 3 2 4 4 7) (1 8 2 2 1 2 4 3) (1 4 3 5 1 2 1 7 2) (2 4 3 3 2 6 2 1) (3 2 6 5 6 2 3) (3 15 3 7 3) (23 11 2) (9) (5 5 5 5 5 10) (1 1 1 1 1 1 1 1 1 1 1 1 10) (5 5 5 5 5 10))) (quote #f)) (make-problem "19990418-DRA (16)" (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 #f)) (make-problem "19990422-VOL (17)" (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 (18)" (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 #f)) (make-problem "19990509-JOJ (19)" (quote ((16) (7 5) (4 3) (4 2) (3 2) (3 1) (2 1) (2 2) (2 3 2) (2 4 3) (2 9) (1 1) (2 7) (1 7 6) (1 5 4) (2 3 2) (2 2) (2 5 3 1) (1 8 5 2) (1 16 6) (1 5 4 4 2) (1 4 2 2 4 1) (1 4 1 1 6) (1 6 3 1 3 8) (2 8 2 1 2 9) (2 10 3 9 1) (2 3 25 2) (2 7 17 3 2) (2 9 18 1 1) (1 3 29 1) (1 3 1 5 12 7 1) (1 3 3 3 14 5 2) (1 4 6 1 10 1 5 2) (1 4 8 8 2) (2 7 6 4 7 3) (3 3 7 4 6 3) (4 1 6 6 4) (8 14 4) (4 6 4) (5 5))) (quote ((11 8) (6 5 3) (4 2 3 2) (4 6 2) (4 8 2) (3 4 3 1) (3 3 1 3 1) (2 3 3 2 1) (2 3 2 2 2) (2 1 4 3 3) (2 2 8 3) (2 1 3 6 1 2) (1 1 4 8 1) (2 2 9 5 1) (2 1 10 6 1) (2 1 11 1 5) (2 2 14 5) (1 2 4 9 5) (1 1 1 4 8 2) (1 1 1 3 1 7 1 2) (1 2 1 3 2 7 2 2) (1 1 2 3 2 7 2 2) (1 2 2 4 7 2 2) (1 2 1 4 8 1 2) (1 1 1 14 2) (1 1 2 3 8 3) (2 4 3 1 7 4 1) (2 1 2 3 2 6 4 1) (2 1 1 3 2 4 1 4 1) (1 1 2 3 5 4 2) (2 2 2 4 3 3 3 2) (1 1 1 2 4 6 2) (2 2 2 1 6 6 2) (2 2 2 1 7 5 2) (4 4 7 5 2) (2 6 4 2) (1 6 3 3) (1 4 3) (2 2 2 4) (2 8))) (quote #f)) (make-problem "19990518-MNT (20)" (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 #f)) (make-problem "19990525-DRA (21)" (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 (22)" (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 #f)) (make-problem "19990529bDRA (23)" (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 (24)" (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 #f)) (make-problem "19990530bDRA (25)" (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 #f)) (make-problem "19990530cDRA (26)" (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 #f)) (make-problem "19990601aDRA (27)" (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 #f)) (make-problem "19990601bDRA (28)" (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 #f)) (make-problem "19990604aDRA (29)" (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 #f)) (make-problem "19990604bDRA (30)" (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 #f)) (make-problem "19990606-DRA (31)" (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 (32)" (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 #f)) (make-problem "19990607aDRA (33)" (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 #f)) (make-problem "19990607cDRA (34)" (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 #f)) (make-problem "19990616-DRA (35)" (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 #f)) (make-problem "19990618aDRA (36)" (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 #f)) (make-problem "19990618bDRA (37)" (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 (38)" (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 #f)) (make-problem "19990625-DRA (39)" (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 #f)) (make-problem "19990628-DRA (40)" (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 #f)) (make-problem "19990703-NEP (41)" (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 #f)) (make-problem "19990714bNEP (42)" (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 (43)" (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 #f)) (make-problem "19990801-NEP (44)" (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 (45)" (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 (46)" (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 (47)" (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 #f)) (make-problem "19990902-TUC (48)" (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 #f)) (make-problem "19990905-ARE (49)" (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 (50)" (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 #f)) (make-problem "19990927-BBA (51)" (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 #f)) (make-problem "19991008-LLO (52)" (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 (53)" (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 (54)" (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 #f)) (make-problem "19991109-TMA (55)" (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 #f)) (make-problem "19991118-CIT (56)" (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 #f)) (make-problem "19991119aKHO (57)" (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 "19991126-JOJ (58)" (quote ((12 2 2 13) (12 6 7 11) (11 17 9) (11 19 8) (9 19 9) (8 22 8) (9 11 1 7 7) (9 3 1 2 7 6) (9 3 2 2 5 7) (8 3 2 1 4 8) (9 2 2 2 3 8) (9 3 1 2 1 2 2 9) (10 3 1 2 1 2 2 10) (10 2 1 2 1 2 3 9) (11 2 2 1 2 2 10) (12 2 1 1 2 11) (12 1 5 5 12) (13 1 1 1 12) (14 12) (13 2 11) (12 4 4 10) (12 12 10) (11 1 9 1 9) (10 1 8 3 8) (10 2 7 5 7) (9 3 7 6 6) (8 2 7 5 5) (7 2 7 5 4) (5 2 7 6 3) (3 3 6 7 1) (8 4 4 8 5) (14 15) (4 2 9 2 10) (1 1 1 4 2 1 1 2 1 2) (1 1 1 2 1 1 3 1 2 1 1 1 1 1) (1 2 2 2 3 1 2 1 1 1 1 1) (1 1 2 2 3 2 2 1 2 1 2) (12 3 3 11 3) (15 4 11 3) (15 5 16))) (quote ((32 3) (32 1 1 3) (32 1 3) (29 4 4) (29 3 1 3) (28 3 1 3) (28 3 6) (27 2 3) (5 3 16 2 6) (4 1 1 13 4 6) (4 7 9 4 3) (2 10 7 6 6) (7 4 3 3 3 2 2) (7 1 3 1 3 2 4 3) (8 1 1 1 4 4 1 5) (6 2 3 1 1 5 6) (6 1 1 1 1 10 5) (6 5 1 11 3 1) (7 3 1 11 2 2) (6 2 10 1 3) (6 1 1 8 4) (5 2 6 5) (5 3 1 6 1) (6 1 1 1 1 4) (6 1 5 1 3 2 1) (7 1 3 1 2 3 9) (7 1 1 6 10) (1 8 4 9 3) (1 13 3 8 1 1 3) (2 9 1 5 7 1 3) (2 1 6 1 8 8 4) (3 1 3 12 6 2 3) (6 1 15 6 4) (7 17 5 4) (26 2 2 3) (27 4 4) (28 3 1) (29 3 2 3) (29 4 4) (40))) (quote #f)) (make-problem "19991202-DAN (59)" (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 #f)) (make-problem "19991203-DAN (60)" (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)))))