3143 7 0.9995 2.8010 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (8 . 10) (10 . 11) (12 . 13) (13 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (20 . 20)) 608 0.3575 5.0285 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 11) (10 . 14) (12 . 16) (13 . 17) (20 . 20)) 675 0.9971 3.4604 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 8) (10 . 9) (12 . 12) (13 . 13) (15 . 15) (16 . 16) (17 . 17) (18 . 19) (20 . 20)) 1070 0.2857 5.5054 ((3 . 47) (10 . 52) (12 . 54) (13 . 55)) 1385 0.9968 2.5119 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (8 . 11) (10 . 12) (12 . 15) (13 . 16) (15 . 17) (16 . 18) (17 . 19) (18 . 21) (20 . 22)) 1498 0.9980 2.9627 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 8) (10 . 9) (12 . 11) (13 . 12) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (20 . 20)) 1563 0.9912 2.0532 ((2 . 19) (3 . 20) (4 . 21) (5 . 22) (6 . 23) (8 . 24) (10 . 26) (12 . 28) (13 . 30) (15 . 32) (16 . 33) (17 . 34) (18 . 35) (20 . 37)) 2018 0.9858 2.0794 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (10 . 9) (12 . 11) (13 . 12) (15 . 14) (16 . 15) (17 . 16) (18 . 19) (20 . 20)) 2439 0.5211 6.1101 ((2 . 7) (3 . 9) (4 . 11) (5 . 13) (6 . 14) (10 . 16) (12 . 18) (15 . 22)) 2446 0.9995 3.0071 ((2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 9) (8 . 10) (10 . 11) (12 . 14) (13 . 15) (15 . 20) (16 . 21) (17 . 22) (18 . 24) (20 . 26)) 2756 0.3571 8.0176 ((2 . 3) (3 . 4) (8 . 10) (10 . 11) (20 . 21)) 2947 0.9976 2.1290 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 8) (10 . 9) (12 . 12) (13 . 13) (15 . 16) (16 . 17) (17 . 18) (18 . 20) (20 . 22)) 3143 1.0000 0.0000 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (10 . 10) (12 . 12) (13 . 13) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (20 . 20)) 3379 0.9998 2.1292 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (8 . 10) (10 . 11) (12 . 14) (13 . 15) (15 . 19) (16 . 20) (17 . 21) (18 . 22) (20 . 24)) 3778 0.9997 2.4750 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 8) (10 . 9) (12 . 12) (13 . 13) (15 . 17) (16 . 19) (17 . 20) (18 . 21) (20 . 23)) 3808 0.8262 2.5623 ((2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10) (8 . 11) (10 . 12) (12 . 15) (13 . 16) (15 . 19) (16 . 20) (17 . 21) (18 . 25) (20 . 26)) 4001 0.9905 2.8578 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 9) (10 . 10) (12 . 12) (13 . 13) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (20 . 20)) 4008 0.9906 2.5069 ((2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 8) (8 . 9) (10 . 10) (12 . 13) (13 . 14) (15 . 17) (16 . 18) (17 . 19) (18 . 20) (20 . 22)) 4200 0.3503 5.3501 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (10 . 9) (12 . 16) (13 . 17) (16 . 19) (17 . 21)) 4408 0.9252 2.9211 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (10 . 10) (12 . 13) (13 . 14) (15 . 19) (16 . 20) (17 . 21) (18 . 23) (20 . 24)) 4411 0.2972 9.4875 ((2 . 7) (3 . 8) (4 . 9) (5 . 10) (10 . 15)) 4428 0.9283 3.1102 ((2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10) (8 . 12) (10 . 13) (12 . 16) (13 . 17) (16 . 20) (17 . 21) (18 . 22) (20 . 24)) 4511 0.9282 2.6118 ((2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 8) (8 . 9) (10 . 10) (12 . 12) (13 . 13) (16 . 17) (17 . 18) (18 . 19) (20 . 20)) 4519 0.9996 2.9117 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 9) (10 . 10) (12 . 13) (13 . 14) (15 . 16) (16 . 17) (17 . 18) (18 . 20) (20 . 22)) 4717 0.9282 2.9383 ((2 . 12) (3 . 13) (4 . 15) (5 . 16) (6 . 17) (8 . 18) (10 . 19) (12 . 22) (13 . 23) (16 . 27) (17 . 28) (18 . 29) (20 . 30)) 4889 0.9970 3.5700 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 8) (10 . 9) (12 . 11) (13 . 12) (15 . 18) (16 . 19) (17 . 20) (18 . 21) (20 . 23)) 5013 0.9977 2.6499 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (10 . 8) (12 . 11) (13 . 12) (15 . 15) (16 . 16) (17 . 17) (18 . 19) (20 . 21)) 5201 0.9583 2.8152 ((2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (8 . 10) (10 . 11) (12 . 14) (13 . 15) (15 . 18) (16 . 19) (17 . 20) (18 . 23) (20 . 25)) 5248 0.9958 4.1460 ((2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 10) (10 . 11) (12 . 14) (13 . 15) (15 . 18) (16 . 19) (17 . 20) (18 . 24) (20 . 25)) 5510 0.9997 2.5370 ((2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10) (8 . 11) (10 . 12) (12 . 14) (13 . 15) (15 . 18) (16 . 19) (17 . 20) (18 . 21) (20 . 23)) 5539 0.9400 2.7909 ((2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (8 . 10) (10 . 11) (12 . 13) (13 . 14) (15 . 17) (16 . 18) (17 . 19) (18 . 23) (20 . 25)) 5609 0.9973 2.6925 ((2 . 4) (3 . 5) (4 . 7) (5 . 8) (6 . 9) (8 . 10) (10 . 11) (12 . 14) (13 . 15) (15 . 19) (16 . 20) (17 . 21) (18 . 22) (20 . 23)) 5917 0.9970 2.5118 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (10 . 8) (12 . 11) (13 . 12) (15 . 16) (16 . 18) (17 . 19) (18 . 21) (20 . 23)) 6112 0.9970 2.6228 ((2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 8) (8 . 10) (10 . 11) (12 . 14) (13 . 15) (15 . 18) (16 . 19) (17 . 20) (18 . 21) (20 . 24)) 6130 0.9975 2.5843 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (10 . 9) (12 . 11) (13 . 12) (15 . 14) (16 . 15) (17 . 16) (18 . 18) (20 . 20)) END