2954 247 0.4999 5.6027 ((1 . 7) (3 . 10) (4 . 11) (5 . 12) (6 . 13)) 345 0.7990 5.3158 ((1 . 1) (2 . 4) (3 . 5) (4 . 6) (5 . 8) (8 . 9) (9 . 10) (10 . 12)) 463 0.6859 4.0340 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 7) (6 . 15) (9 . 23)) 464 0.3999 7.2900 ((2 . 32) (3 . 33) (4 . 34) (6 . 37)) 471 0.3998 8.7453 ((1 . 5) (2 . 6) (8 . 15) (9 . 16)) 472 0.3999 6.9639 ((1 . 22) (7 . 28) (8 . 29) (9 . 31)) 592 0.6993 5.7005 ((1 . 3) (2 . 5) (3 . 6) (4 . 10) (5 . 11) (8 . 12) (9 . 13)) 703 0.7990 5.2752 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (8 . 8) (9 . 9) (10 . 10)) 713 0.5996 6.2193 ((1 . 5) (2 . 6) (3 . 7) (5 . 10) (7 . 13) (9 . 14)) 714 0.3664 12.7390 ((4 . 22) (6 . 23) (8 . 26) (10 . 27)) 934 0.4529 7.7194 ((1 . 10) (2 . 11) (3 . 12) (6 . 14) (9 . 17)) 1021 0.4999 5.7522 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 18)) 1033 0.5996 6.2305 ((1 . 1) (2 . 2) (3 . 3) (4 . 6) (5 . 7) (9 . 17)) 1034 0.6987 6.7058 ((1 . 20) (2 . 21) (3 . 22) (4 . 27) (5 . 29) (8 . 31) (9 . 32)) 1191 0.7992 5.1062 ((1 . 1) (2 . 2) (3 . 5) (4 . 7) (5 . 8) (8 . 9) (9 . 10) (10 . 12)) 1223 0.4998 6.3100 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5)) 1289 0.3998 8.4351 ((3 . 13) (4 . 16) (6 . 18) (7 . 19)) 1305 0.6995 5.3187 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (8 . 8) (10 . 10)) 1522 0.6995 5.2340 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 7) (9 . 8)) 1656 0.4998 6.0357 ((1 . 1) (2 . 2) (3 . 3) (8 . 8) (9 . 10)) 1778 0.4999 5.7500 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 8)) 1779 0.6804 5.9558 ((1 . 18) (2 . 19) (3 . 20) (4 . 25) (5 . 26) (6 . 28) (9 . 32)) 2218 0.5997 5.6568 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (8 . 6) (9 . 7)) 2296 0.6865 8.4634 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (9 . 7) (10 . 12)) 2378 0.7942 5.0442 ((1 . 1) (2 . 2) (3 . 5) (4 . 7) (5 . 8) (6 . 9) (9 . 10) (10 . 12)) 2483 0.6992 5.9148 ((1 . 4) (2 . 5) (3 . 6) (4 . 8) (5 . 9) (8 . 12) (9 . 13)) 2484 0.6991 6.1432 ((1 . 15) (2 . 16) (3 . 19) (5 . 27) (6 . 28) (8 . 29) (9 . 31)) 2491 0.4992 9.1407 ((1 . 10) (2 . 11) (3 . 12) (7 . 16) (9 . 17)) 2619 0.6996 5.1408 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (9 . 7)) 2733 0.4998 6.6958 ((1 . 1) (2 . 2) (3 . 4) (8 . 9) (9 . 11)) 2775 0.3999 6.0136 ((1 . 1) (2 . 2) (8 . 9) (9 . 11)) 2821 0.6992 5.9966 ((1 . 1) (2 . 2) (3 . 3) (4 . 10) (5 . 11) (8 . 12) (9 . 13)) 2822 0.6990 6.2542 ((1 . 15) (2 . 16) (3 . 17) (4 . 24) (5 . 26) (8 . 28) (9 . 29)) 2910 0.6991 6.0539 ((1 . 3) (2 . 4) (3 . 5) (4 . 7) (5 . 8) (6 . 9) (8 . 12)) 2954 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10)) 3210 0.3998 8.3523 ((1 . 21) (7 . 28) (8 . 30) (9 . 33)) 3260 0.5996 5.9164 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (9 . 9)) 3286 0.3997 9.4481 ((1 . 4) (2 . 5) (7 . 10) (10 . 15)) 3925 0.4999 5.7869 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (10 . 5)) 4043 0.7991 5.1521 ((1 . 6) (2 . 8) (3 . 9) (4 . 11) (5 . 13) (8 . 15) (9 . 16) (10 . 26)) 4057 0.4992 9.0190 ((1 . 1) (2 . 2) (3 . 3) (6 . 7) (7 . 8)) 4058 0.3663 13.3339 ((4 . 20) (6 . 22) (8 . 24) (10 . 27)) 4191 0.6996 5.1388 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 33) (9 . 34)) 4193 0.3996 10.2183 ((1 . 41) (2 . 42) (6 . 47) (8 . 50)) 4281 0.3999 7.5345 ((6 . 6) (7 . 7) (8 . 9) (10 . 13)) 4391 0.3985 13.9192 ((3 . 1) (5 . 3) (6 . 5) (8 . 7)) 4469 0.5964 10.5711 ((1 . 1) (2 . 3) (3 . 4) (5 . 7) (6 . 8) (8 . 10)) 4935 0.3996 10.2555 ((1 . 4) (3 . 7) (4 . 8) (6 . 11)) 5120 0.6995 5.4121 ((1 . 2) (2 . 4) (3 . 5) (4 . 8) (5 . 9) (8 . 10) (9 . 11)) 5243 0.4000 5.2378 ((3 . 16) (4 . 17) (5 . 18) (9 . 22)) 5447 0.3669 8.8236 ((5 . 2) (7 . 5) (8 . 6) (10 . 8)) 5500 0.4989 9.7336 ((1 . 1) (2 . 2) (3 . 3) (7 . 10) (9 . 14)) 5501 0.5383 6.6657 ((1 . 16) (2 . 17) (3 . 20) (4 . 28) (5 . 30) (6 . 32)) 5883 0.4998 6.5824 ((1 . 1) (2 . 3) (3 . 4) (5 . 6) (10 . 11)) 5906 0.4000 5.7715 ((3 . 16) (4 . 17) (5 . 18) (9 . 22)) 6064 0.4202 8.0408 ((1 . 4) (2 . 6) (3 . 7) (7 . 10) (9 . 11)) 6249 0.3996 10.3635 ((2 . 6) (4 . 7) (5 . 8) (7 . 10)) 6299 0.3995 10.5285 ((2 . 4) (3 . 6) (5 . 7) (6 . 8)) 6323 0.7899 4.7242 ((1 . 33) (2 . 34) (3 . 35) (4 . 36) (5 . 37) (6 . 38) (8 . 40) (9 . 41)) END