5447 247 0.4443 6.5466 ((2 . 6) (3 . 7) (5 . 9) (7 . 13)) 345 0.5540 9.3305 ((2 . 1) (3 . 4) (4 . 5) (6 . 6) (9 . 9)) 463 0.4441 8.4255 ((2 . 1) (3 . 2) (4 . 3) (6 . 5)) 464 0.4443 6.2820 ((3 . 26) (4 . 27) (7 . 30) (8 . 31)) 471 0.5549 7.6375 ((2 . 1) (3 . 2) (4 . 3) (6 . 7) (9 . 15)) 472 0.4157 9.5662 ((5 . 24) (6 . 28) (7 . 29) (9 . 33)) 592 0.4444 5.9234 ((2 . 5) (3 . 6) (5 . 8) (7 . 12)) 703 0.4437 10.1897 ((1 . 1) (2 . 3) (5 . 5) (9 . 11)) 713 0.4443 7.3462 ((2 . 5) (3 . 6) (4 . 7) (6 . 9)) 714 0.4156 10.2984 ((2 . 16) (7 . 22) (8 . 23) (9 . 25)) 934 0.5552 6.6863 ((2 . 10) (3 . 11) (4 . 12) (6 . 14) (9 . 18)) 1021 0.6665 4.2220 ((2 . 12) (3 . 13) (4 . 14) (5 . 15) (8 . 20) (9 . 22)) 1033 0.4441 8.4584 ((2 . 11) (3 . 12) (4 . 13) (6 . 16)) 1034 0.4829 10.3917 ((2 . 20) (3 . 21) (4 . 22) (6 . 23) (9 . 27)) 1191 0.4440 8.9526 ((2 . 1) (3 . 2) (7 . 6) (9 . 9)) 1223 0.5555 4.7302 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (9 . 8)) 1289 0.6664 4.5769 ((2 . 13) (3 . 14) (4 . 15) (5 . 16) (6 . 18) (9 . 21)) 1305 0.4444 5.8749 ((2 . 2) (5 . 5) (8 . 10) (9 . 11)) 1522 0.4444 4.6516 ((2 . 1) (3 . 2) (4 . 3) (5 . 5)) 1656 0.8724 4.2801 ((2 . 1) (3 . 2) (4 . 3) (5 . 6) (6 . 8) (7 . 11) (8 . 12) (9 . 13)) 1778 0.4442 7.6666 ((2 . 2) (3 . 3) (4 . 4) (9 . 10)) 1779 0.3930 11.5700 ((5 . 22) (6 . 24) (7 . 25) (8 . 27)) 2218 0.7434 7.8838 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (7 . 8) (8 . 9) (9 . 10)) 2296 0.6039 5.3977 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (8 . 8) (9 . 21)) 2378 0.4443 6.2973 ((2 . 1) (3 . 2) (5 . 4) (9 . 9)) 2483 0.5548 7.8593 ((2 . 4) (3 . 5) (4 . 6) (6 . 8) (8 . 14)) 2484 0.1980 11.0632 ((2 . 15) (7 . 22) (8 . 23) (9 . 24)) 2491 0.8778 4.3568 ((2 . 10) (3 . 11) (4 . 15) (5 . 16) (6 . 18) (7 . 23) (8 . 24) (9 . 26)) 2619 0.4444 4.4246 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 2733 0.8723 4.3694 ((2 . 1) (3 . 2) (4 . 4) (5 . 7) (6 . 9) (7 . 12) (8 . 13) (9 . 14)) 2775 0.7602 3.4040 ((2 . 1) (3 . 2) (4 . 3) (5 . 7) (6 . 9) (7 . 12) (9 . 14)) 2821 0.3767 8.5796 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (9 . 12)) 2822 0.4397 11.4287 ((2 . 15) (3 . 16) (4 . 17) (5 . 18) (9 . 24)) 2910 0.4444 4.0812 ((2 . 3) (3 . 4) (4 . 5) (5 . 7)) 2954 0.3935 8.8236 ((2 . 5) (5 . 7) (6 . 8) (8 . 10)) 3210 0.5266 8.0600 ((2 . 17) (3 . 18) (5 . 30) (6 . 35) (7 . 37)) 3260 0.2650 8.6035 ((1 . 3) (3 . 7) (4 . 9) (6 . 10) (8 . 11) (9 . 14)) 3286 0.8784 3.0646 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 8) (7 . 10) (8 . 11) (9 . 15)) 3925 0.4444 5.4564 ((2 . 1) (3 . 2) (4 . 3) (9 . 6)) 4043 0.4443 7.2834 ((2 . 21) (3 . 23) (4 . 24) (6 . 25)) 4057 0.4441 8.5288 ((2 . 1) (3 . 2) (4 . 3) (9 . 11)) 4191 0.4441 8.4065 ((2 . 1) (3 . 2) (4 . 3) (6 . 4)) 4193 0.4444 5.9091 ((2 . 41) (3 . 42) (4 . 43) (5 . 44)) 4281 0.8886 3.3523 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 9) (7 . 11) (8 . 13) (9 . 16)) 4391 0.6659 6.1800 ((2 . 1) (3 . 2) (4 . 3) (5 . 5) (6 . 7) (9 . 10)) 4469 0.5553 5.7029 ((2 . 1) (3 . 3) (4 . 4) (6 . 6) (9 . 10)) 4935 0.5553 5.7686 ((2 . 1) (3 . 3) (4 . 4) (6 . 6) (9 . 11)) 5120 0.4146 13.5204 ((1 . 2) (5 . 6) (7 . 10) (8 . 12)) 5243 0.8880 4.5577 ((2 . 13) (3 . 14) (4 . 15) (5 . 17) (6 . 19) (7 . 23) (8 . 24) (9 . 26)) 5447 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9)) 5500 0.4404 8.4965 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (9 . 13)) 5501 0.4431 11.8948 ((4 . 30) (5 . 32) (7 . 34) (9 . 38)) 5883 0.6170 4.0265 ((2 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 7) (7 . 10) (9 . 13)) 5906 0.4444 2.9812 ((1 . 18) (2 . 20) (3 . 21) (4 . 22)) 6064 0.7117 3.6972 ((1 . 2) (2 . 4) (3 . 6) (4 . 7) (5 . 10) (6 . 12) (7 . 15) (8 . 16) (9 . 18)) 6249 0.5555 4.2239 ((2 . 1) (3 . 2) (4 . 3) (5 . 5) (9 . 11)) 6299 0.8884 3.8380 ((1 . 2) (2 . 4) (3 . 6) (4 . 7) (6 . 10) (7 . 12) (8 . 14) (9 . 16)) 6323 0.4440 9.1827 ((3 . 34) (4 . 33) (6 . 36) (9 . 40)) END