5769 574 0.5375 4.1153 ((1 . 2) (8 . 3) (9 . 4) (10 . 5) (11 . 7) (12 . 8)) 1195 0.1957 6.9622 ((6 . 1) (10 . 4) (11 . 5) (12 . 6)) 1196 0.4545 5.8987 ((6 . 9) (8 . 11) (10 . 12) (11 . 14) (12 . 15)) 1248 0.4545 3.7061 ((8 . 3) (9 . 4) (10 . 5) (11 . 6) (12 . 7)) 2003 0.9051 4.7016 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11)) 2228 0.8176 4.5539 ((1 . 1) (2 . 2) (4 . 4) (6 . 7) (8 . 9) (9 . 10) (10 . 11) (11 . 12) (12 . 13)) 2464 0.8147 4.8833 ((1 . 1) (2 . 2) (4 . 3) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 11)) 2563 0.3636 6.7741 ((2 . 32) (6 . 35) (11 . 40) (12 . 41)) 2630 0.5452 6.0337 ((1 . 7) (6 . 8) (9 . 10) (10 . 12) (11 . 14) (12 . 15)) 2944 0.8673 3.4149 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 12)) 2945 0.8132 4.0196 ((1 . 1) (2 . 2) (4 . 4) (6 . 8) (8 . 9) (9 . 11) (10 . 12) (11 . 13) (12 . 15)) 3418 0.4545 4.9428 ((1 . 1) (9 . 2) (10 . 5) (11 . 6) (12 . 7)) 3419 0.4545 5.7253 ((6 . 10) (8 . 12) (10 . 13) (11 . 16) (12 . 17)) 3888 0.7174 3.9849 ((1 . 11) (2 . 12) (4 . 14) (6 . 16) (9 . 17) (10 . 19) (11 . 21) (12 . 22)) 3994 0.4545 5.4146 ((8 . 3) (9 . 4) (10 . 5) (11 . 6) (12 . 7)) 4174 0.3636 6.1549 ((2 . 2) (10 . 6) (11 . 7) (12 . 8)) 4175 0.4544 6.9821 ((6 . 12) (9 . 14) (10 . 16) (11 . 18) (12 . 20)) 4328 0.3636 5.8860 ((8 . 3) (10 . 4) (11 . 5) (12 . 6)) 4419 0.8806 3.0707 ((1 . 1) (2 . 2) (4 . 3) (6 . 5) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (13 . 11)) 4543 0.6357 6.4334 ((1 . 2) (4 . 5) (5 . 6) (9 . 9) (10 . 10) (11 . 11) (12 . 14)) 4575 0.4545 4.6838 ((1 . 12) (9 . 13) (10 . 15) (11 . 16) (12 . 17)) 4576 0.4545 5.6863 ((6 . 19) (8 . 21) (10 . 22) (11 . 24) (12 . 25)) 4596 0.8149 2.6790 ((1 . 1) (2 . 2) (4 . 4) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 11) (12 . 12)) 4621 0.9046 4.0110 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 11)) 4652 0.7223 4.0403 ((1 . 1) (2 . 2) (4 . 4) (6 . 6) (8 . 7) (10 . 9) (11 . 10) (12 . 11)) 5199 0.6383 4.7038 ((1 . 1) (2 . 2) (4 . 4) (6 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10)) 5200 0.8141 3.3178 ((1 . 1) (2 . 2) (4 . 3) (6 . 6) (8 . 7) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 5230 0.3419 4.9905 ((1 . 2) (4 . 4) (5 . 5) (6 . 7)) 5769 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13)) 5821 0.5630 4.3634 ((1 . 1) (2 . 2) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11) (13 . 12)) 5851 0.4544 6.1349 ((1 . 2) (9 . 4) (10 . 5) (11 . 6) (12 . 8)) 6014 0.4544 6.4826 ((1 . 3) (9 . 4) (10 . 5) (11 . 6) (12 . 7)) 6319 0.6357 6.4930 ((1 . 1) (2 . 2) (6 . 4) (9 . 5) (10 . 6) (11 . 7) (12 . 8)) END