2642 417 0.2413 8.2786 ((1 . 1) (5 . 5) (6 . 6) (7 . 7)) 1114 0.2798 14.8687 ((5 . 34) (9 . 38) (10 . 40) (11 . 41)) 1243 0.5733 5.9483 ((1 . 1) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (13 . 7)) 1474 0.4000 5.4886 ((1 . 6) (5 . 9) (6 . 11) (7 . 12)) 1890 0.3821 9.4865 ((1 . 23) (4 . 24) (5 . 25) (7 . 28)) 2223 0.3993 11.4596 ((7 . 22) (11 . 27) (12 . 26) (13 . 28)) 2604 0.1970 12.1896 ((7 . 25) (9 . 26) (11 . 30) (12 . 31)) 2642 1.0000 0.0000 ((1 . 1) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13)) 2992 0.3989 12.9856 ((5 . 20) (10 . 25) (11 . 26) (12 . 27)) 2998 0.4998 6.3157 ((1 . 1) (4 . 3) (6 . 6) (7 . 7) (13 . 8)) 3075 0.3994 11.0750 ((1 . 2) (5 . 5) (6 . 9) (7 . 10)) 3289 0.2798 14.3199 ((5 . 25) (9 . 28) (10 . 30) (11 . 31)) 3423 0.3981 14.9922 ((7 . 9) (9 . 11) (11 . 13) (13 . 15)) 3847 0.5995 6.5477 ((1 . 9) (4 . 11) (5 . 13) (6 . 15) (7 . 16) (13 . 17)) 3848 0.4000 5.4424 ((1 . 18) (4 . 20) (5 . 22) (6 . 24)) 4690 0.2413 8.6651 ((1 . 27) (5 . 29) (6 . 30) (7 . 31)) 5022 0.3988 13.3814 ((6 . 5) (9 . 7) (10 . 8) (13 . 11)) 5222 0.4000 5.4972 ((1 . 6) (5 . 9) (6 . 11) (7 . 12)) 6565 0.2413 7.2268 ((1 . 1) (4 . 3) (5 . 5) (6 . 6)) END