4246 908 0.4999 4.8409 ((2 . 4) (3 . 5) (6 . 8) (10 . 12)) 1541 0.4999 5.8441 ((2 . 6) (3 . 7) (7 . 9) (10 . 11)) 1559 0.7238 3.2763 ((2 . 1) (3 . 2) (5 . 6) (7 . 8) (8 . 9) (10 . 11)) 2272 0.8599 3.8678 ((2 . 2) (3 . 3) (5 . 7) (6 . 8) (7 . 9) (8 . 10) (10 . 15)) 2751 0.9892 4.9032 ((2 . 2) (3 . 3) (5 . 9) (6 . 10) (7 . 11) (8 . 13) (10 . 16) (11 . 17)) 3611 0.8596 4.3937 ((2 . 2) (3 . 3) (5 . 7) (6 . 8) (7 . 9) (8 . 10) (10 . 15)) 4005 0.9790 7.3995 ((2 . 2) (3 . 3) (5 . 8) (6 . 9) (7 . 10) (8 . 12) (10 . 17) (11 . 24)) 4246 1.0000 0.0000 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 10) (11 . 11)) 4378 0.6250 3.1236 ((2 . 1) (3 . 2) (7 . 6) (8 . 7) (10 . 8)) 4618 0.5505 5.0147 ((2 . 20) (3 . 21) (5 . 25) (7 . 26) (8 . 27) (10 . 33)) 6394 0.6247 5.3768 ((2 . 21) (3 . 22) (5 . 27) (7 . 29) (8 . 30)) 6525 0.7248 3.1021 ((2 . 2) (3 . 3) (6 . 6) (7 . 7) (8 . 8) (10 . 11) (11 . 12)) 6610 0.8631 2.2962 ((2 . 1) (3 . 2) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 10)) END