1522 247 0.9994 3.5282 ((1 . 2) (2 . 6) (3 . 7) (5 . 11) (6 . 12) (7 . 13) (8 . 15)) 345 0.9974 5.1341 ((1 . 1) (2 . 4) (3 . 5) (5 . 6) (6 . 8) (7 . 9) (8 . 10)) 463 0.9999 2.5016 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 7) (7 . 15) (8 . 23)) 464 0.9968 5.3772 ((1 . 26) (2 . 27) (3 . 29) (5 . 34) (6 . 35) (7 . 37) (8 . 38)) 471 0.8568 3.7520 ((1 . 1) (2 . 2) (5 . 15) (6 . 16) (7 . 17) (8 . 18)) 472 0.5630 13.9221 ((1 . 25) (5 . 29) (6 . 31) (7 . 33)) 592 0.9995 3.3675 ((1 . 3) (2 . 5) (3 . 6) (5 . 10) (6 . 11) (7 . 12) (8 . 13)) 703 0.9985 4.4698 ((1 . 1) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (7 . 8) (8 . 9)) 713 0.9951 6.0136 ((1 . 5) (2 . 6) (3 . 7) (5 . 9) (6 . 10) (7 . 13) (8 . 14)) 714 0.5710 6.4037 ((5 . 27) (6 . 28) (7 . 30) (8 . 31)) 934 0.9970 5.3107 ((1 . 10) (2 . 11) (3 . 12) (5 . 14) (6 . 15) (7 . 16) (8 . 17)) 1021 0.9992 3.7552 ((1 . 12) (2 . 13) (3 . 14) (5 . 15) (6 . 16) (7 . 17) (8 . 18)) 1033 0.9966 5.4688 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7) (7 . 16) (8 . 17)) 1034 0.9972 5.2328 ((1 . 20) (2 . 21) (3 . 22) (5 . 27) (6 . 29) (7 . 31) (8 . 32)) 1191 0.9985 4.4923 ((1 . 1) (2 . 2) (3 . 5) (5 . 7) (6 . 8) (7 . 9) (8 . 10)) 1223 0.9982 4.6674 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7)) 1289 0.9992 3.8321 ((1 . 13) (2 . 14) (3 . 15) (5 . 16) (6 . 17) (7 . 19) (8 . 20)) 1305 0.8557 5.3272 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (7 . 8)) 1522 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 1656 0.9983 4.5847 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7) (7 . 8) (8 . 10)) 1778 0.7139 4.6774 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 8)) 1779 0.9977 4.9640 ((1 . 18) (2 . 19) (3 . 20) (5 . 25) (6 . 26) (7 . 28) (8 . 32)) 2218 0.9981 4.7531 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7)) 2296 0.8569 3.3395 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 6) (8 . 7)) 2378 0.9986 4.3451 ((1 . 1) (2 . 2) (3 . 5) (5 . 7) (6 . 8) (7 . 9) (8 . 10)) 2483 0.9980 4.7672 ((1 . 4) (2 . 5) (3 . 6) (5 . 8) (6 . 9) (7 . 12) (8 . 13)) 2484 0.9840 8.1266 ((1 . 15) (2 . 16) (3 . 19) (5 . 26) (6 . 27) (7 . 29) (8 . 31)) 2491 0.9978 4.9277 ((1 . 10) (2 . 11) (3 . 12) (5 . 16) (6 . 17) (7 . 18) (8 . 22)) 2619 0.9995 3.3988 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7)) 2733 0.8561 4.8962 ((1 . 1) (2 . 2) (3 . 4) (6 . 8) (7 . 9) (8 . 11)) 2775 0.8558 5.2463 ((1 . 1) (2 . 2) (3 . 3) (5 . 7) (6 . 8) (8 . 11)) 2821 0.9995 3.3743 ((1 . 1) (2 . 2) (3 . 3) (5 . 10) (6 . 11) (7 . 12) (8 . 13)) 2822 0.9979 4.8697 ((1 . 15) (2 . 16) (3 . 17) (5 . 24) (6 . 26) (7 . 28) (8 . 29)) 2910 0.8568 3.8085 ((1 . 3) (2 . 4) (3 . 5) (5 . 7) (6 . 8) (7 . 9)) 2954 0.9972 5.2340 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 9)) 3210 0.8542 6.4110 ((1 . 17) (2 . 18) (3 . 21) (5 . 30) (6 . 33) (7 . 35)) 3260 0.9979 4.8509 ((1 . 3) (2 . 4) (3 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 3286 0.1993 5.9463 ((5 . 2) (6 . 5) (7 . 6) (8 . 7)) 3925 0.2945 8.7169 ((2 . 1) (3 . 2) (5 . 4) (7 . 5)) 4043 0.9933 6.5013 ((1 . 6) (2 . 8) (3 . 9) (5 . 11) (6 . 13) (7 . 15) (8 . 16)) 4057 0.7142 3.3379 ((1 . 1) (2 . 2) (3 . 3) (7 . 8) (8 . 9)) 4058 0.5706 7.6199 ((1 . 18) (5 . 22) (6 . 23) (7 . 24)) 4191 0.9995 3.4614 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 6) (7 . 33) (8 . 34)) 4193 0.9952 5.9758 ((1 . 36) (2 . 37) (3 . 38) (5 . 47) (6 . 48) (7 . 50) (8 . 51)) 4281 0.7142 3.1339 ((1 . 3) (2 . 4) (3 . 5) (6 . 8) (8 . 10)) 4391 0.9987 4.3333 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 4469 0.9975 5.0577 ((1 . 1) (2 . 3) (3 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 4935 0.9975 5.0568 ((1 . 1) (2 . 3) (3 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 5120 0.9992 3.7925 ((1 . 2) (2 . 4) (3 . 5) (5 . 8) (6 . 9) (7 . 10) (8 . 11)) 5243 0.8569 3.5771 ((1 . 13) (2 . 14) (3 . 15) (5 . 17) (6 . 18) (8 . 22)) 5447 0.5713 4.6516 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 5500 0.9993 3.6879 ((1 . 1) (2 . 2) (3 . 3) (5 . 10) (6 . 12) (7 . 13) (8 . 14)) 5501 0.8565 4.4079 ((1 . 16) (2 . 17) (3 . 20) (5 . 28) (6 . 30) (7 . 32)) 5883 0.7141 4.0342 ((1 . 1) (2 . 3) (3 . 4) (6 . 6) (8 . 9)) 5906 0.8568 3.7428 ((1 . 13) (2 . 14) (3 . 15) (5 . 17) (6 . 18) (8 . 22)) 6064 0.9970 5.3152 ((1 . 4) (2 . 6) (3 . 7) (5 . 10) (6 . 11) (7 . 12) (8 . 14)) 6249 0.9994 3.5431 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 6299 0.8559 5.1325 ((1 . 4) (2 . 6) (3 . 7) (6 . 9) (7 . 10) (8 . 11)) 6323 0.9989 4.1288 ((1 . 33) (2 . 34) (3 . 35) (5 . 36) (6 . 37) (7 . 38) (8 . 41)) END