3347 611 0.4545 3.6573 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (12 . 5)) 612 0.4542 8.2849 ((2 . 23) (3 . 24) (4 . 25) (6 . 26) (9 . 28)) 1105 0.8181 3.0322 ((1 . 1) (2 . 2) (4 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11)) 1365 0.4545 2.8135 ((8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10)) 1366 0.4545 2.6103 ((8 . 17) (9 . 18) (10 . 20) (11 . 21) (12 . 22)) 1451 0.8181 2.7085 ((1 . 1) (2 . 2) (4 . 4) (6 . 5) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10)) 2819 0.4545 2.5463 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (12 . 5)) 2890 0.8175 4.6249 ((1 . 1) (2 . 2) (4 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 10) (11 . 11) (12 . 12)) 3175 0.4545 3.9064 ((8 . 9) (9 . 10) (10 . 12) (11 . 13) (12 . 14)) 3347 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 3456 0.4545 3.1153 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (12 . 5)) 3457 0.4545 4.2665 ((8 . 13) (9 . 14) (10 . 15) (11 . 16) (12 . 17)) 4006 0.4545 3.6137 ((8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10)) 4007 0.4545 2.3838 ((8 . 16) (9 . 17) (10 . 18) (11 . 19) (12 . 20)) 4284 0.7651 3.7776 ((1 . 1) (2 . 2) (4 . 4) (6 . 5) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10)) 5349 0.8179 3.8755 ((1 . 3) (2 . 4) (4 . 6) (6 . 9) (8 . 11) (9 . 12) (10 . 13) (11 . 14) (12 . 15)) 5597 0.6837 3.6436 ((1 . 1) (2 . 2) (4 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10)) END