2998 417 0.6667 1.3895 ((1 . 2) (6 . 6) (7 . 7) (8 . 9)) 1114 0.6664 4.9724 ((1 . 34) (6 . 38) (7 . 40) (8 . 41)) 1243 0.9998 2.7813 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 6) (8 . 7)) 1474 0.6667 1.7662 ((1 . 6) (6 . 11) (7 . 12) (8 . 14)) 1890 0.6662 5.3795 ((1 . 23) (6 . 26) (7 . 28) (8 . 29)) 2223 0.6663 5.0325 ((1 . 22) (6 . 25) (7 . 27) (8 . 28)) 2604 0.6664 4.6854 ((1 . 25) (2 . 26) (7 . 31) (8 . 32)) 2642 0.8309 6.3157 ((1 . 1) (3 . 4) (6 . 6) (7 . 7) (8 . 13)) 2998 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (6 . 6) (7 . 7) (8 . 8)) 3075 0.6667 1.1676 ((1 . 4) (6 . 9) (7 . 10) (8 . 12)) 3423 0.6667 1.9782 ((1 . 9) (6 . 12) (7 . 13) (8 . 15)) 3847 0.9998 2.7550 ((1 . 9) (2 . 10) (3 . 11) (6 . 15) (7 . 16) (8 . 17)) 3848 0.8331 3.6408 ((1 . 18) (2 . 19) (3 . 20) (6 . 24) (8 . 26)) 5022 0.8333 2.0698 ((1 . 4) (2 . 5) (3 . 6) (6 . 9) (8 . 11)) 5222 0.6667 1.3135 ((1 . 6) (6 . 11) (7 . 12) (8 . 14)) 6565 0.1499 9.2717 ((1 . 1) (3 . 3) (6 . 6) (8 . 7)) END