2566 533 0.3879 7.2911 ((1 . 2) (7 . 6) (8 . 8) (9 . 9)) 644 0.2970 7.5363 ((1 . 1) (7 . 4) (8 . 5) (10 . 7)) 1005 0.6662 5.4102 ((1 . 4) (7 . 5) (8 . 6) (11 . 8)) 2054 0.6649 7.6840 ((8 . 7) (9 . 9) (10 . 10) (11 . 12)) 2055 0.2970 7.3966 ((1 . 17) (7 . 18) (8 . 23) (10 . 24)) 2566 1.0000 0.0000 ((1 . 1) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11)) 2567 0.3876 10.6793 ((1 . 14) (7 . 19) (8 . 20) (9 . 21)) 3450 0.6624 9.6155 ((7 . 52) (9 . 56) (10 . 58) (11 . 59)) 4965 0.6639 8.6684 ((7 . 9) (8 . 12) (9 . 13) (11 . 15)) 5367 0.6609 10.4103 ((7 . 2) (8 . 3) (10 . 5) (11 . 6)) 6494 0.2488 7.8525 ((7 . 3) (8 . 4) (9 . 5) (11 . 7)) END