1390 233 0.8558 5.2638 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 7) (9 . 8)) 234 0.8541 6.4370 ((2 . 10) (3 . 11) (4 . 12) (6 . 14) (8 . 15) (9 . 16)) 291 0.8540 6.5225 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 6) (9 . 7)) 349 0.5713 4.9408 ((1 . 7) (2 . 8) (3 . 10) (4 . 11)) 365 0.5714 3.7838 ((2 . 1) (3 . 2) (4 . 3) (6 . 6)) 388 0.5704 8.2119 ((1 . 16) (2 . 17) (3 . 18) (9 . 21)) 402 0.6368 8.0177 ((2 . 2) (3 . 3) (4 . 5) (6 . 7) (8 . 9) (9 . 10)) 403 0.5709 6.8951 ((1 . 12) (3 . 15) (4 . 17) (9 . 20)) 404 0.8566 4.2537 ((2 . 23) (3 . 24) (4 . 25) (6 . 28) (8 . 30) (9 . 31)) 405 0.8569 3.5399 ((2 . 32) (3 . 33) (4 . 35) (6 . 38) (8 . 39) (9 . 40)) 445 0.8558 5.2343 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 6) (9 . 7)) 449 0.8550 5.9094 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (8 . 7) (9 . 9)) 450 0.5696 9.4783 ((1 . 15) (3 . 18) (4 . 19) (8 . 20)) 564 0.7132 6.3188 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (9 . 8)) 565 0.8559 5.1841 ((2 . 12) (3 . 13) (4 . 14) (6 . 16) (8 . 17) (9 . 18)) 567 0.7123 7.2705 ((1 . 1) (3 . 3) (6 . 5) (8 . 6) (9 . 8)) 568 0.5711 6.1534 ((1 . 15) (2 . 16) (3 . 17) (8 . 19)) 570 0.8570 2.9146 ((2 . 1) (3 . 2) (4 . 3) (6 . 9) (8 . 11) (9 . 12)) 571 0.7141 3.8917 ((2 . 13) (3 . 14) (6 . 15) (8 . 16) (9 . 17)) 578 0.5701 8.6340 ((1 . 4) (2 . 5) (3 . 6) (4 . 8)) 579 0.8554 5.5950 ((2 . 9) (3 . 10) (4 . 12) (6 . 14) (8 . 15) (9 . 17)) 599 0.8571 2.5731 ((2 . 1) (3 . 2) (4 . 3) (6 . 7) (8 . 9) (9 . 10)) 600 0.7140 4.4110 ((3 . 11) (4 . 12) (6 . 14) (8 . 15) (9 . 16)) 626 0.5708 7.1999 ((1 . 6) (2 . 7) (3 . 8) (4 . 10)) 668 0.8417 9.7762 ((2 . 2) (3 . 4) (4 . 5) (6 . 8) (8 . 10) (9 . 11)) 669 0.8563 4.7372 ((2 . 13) (3 . 14) (4 . 16) (6 . 18) (8 . 20) (9 . 22)) 670 0.8570 3.2232 ((2 . 24) (3 . 25) (4 . 27) (6 . 28) (8 . 30) (9 . 31)) 671 0.8570 2.9851 ((2 . 32) (3 . 33) (4 . 35) (6 . 38) (8 . 40) (9 . 41)) 693 0.7140 4.5558 ((3 . 31) (4 . 32) (6 . 34) (8 . 35) (9 . 36)) 695 0.5710 6.6308 ((3 . 1) (6 . 3) (8 . 4) (9 . 5)) 696 0.8566 4.1292 ((2 . 11) (3 . 12) (4 . 13) (6 . 16) (8 . 17) (9 . 19)) 697 0.8563 4.7039 ((2 . 21) (3 . 22) (4 . 23) (6 . 26) (8 . 27) (9 . 30)) 698 0.9037 5.8072 ((1 . 32) (2 . 33) (3 . 34) (4 . 36) (6 . 38) (8 . 39) (9 . 40)) 828 0.8554 5.6021 ((2 . 7) (3 . 8) (4 . 9) (6 . 11) (8 . 12) (9 . 13)) 888 0.8547 6.1219 ((2 . 13) (3 . 14) (4 . 15) (6 . 19) (8 . 20) (9 . 21)) 919 0.5710 6.6497 ((1 . 6) (2 . 8) (3 . 9) (4 . 10)) 922 0.5712 5.4886 ((1 . 7) (2 . 8) (3 . 10) (4 . 11)) 926 0.7099 8.8879 ((2 . 1) (4 . 4) (6 . 6) (8 . 8) (9 . 9)) 927 0.8561 4.9678 ((2 . 13) (3 . 14) (4 . 15) (6 . 18) (8 . 19) (9 . 20)) 1025 0.9957 5.8164 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (6 . 7) (8 . 8) (9 . 9)) 1086 0.8569 3.5862 ((2 . 2) (3 . 3) (4 . 5) (6 . 10) (8 . 12) (9 . 13)) 1110 0.5709 7.0213 ((1 . 11) (2 . 13) (3 . 14) (9 . 18)) 1112 0.8564 4.5169 ((2 . 2) (3 . 6) (4 . 7) (6 . 9) (8 . 10) (9 . 12)) 1126 0.7129 6.6251 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (9 . 9)) 1127 0.5712 5.7821 ((1 . 17) (2 . 18) (3 . 19) (6 . 21)) 1149 0.5711 6.0116 ((1 . 4) (2 . 5) (3 . 6) (6 . 7)) 1164 0.7132 6.3021 ((2 . 2) (3 . 3) (6 . 7) (8 . 9) (9 . 10)) 1181 0.5713 4.7910 ((1 . 8) (2 . 9) (3 . 11) (6 . 13)) 1235 0.8570 2.9335 ((2 . 2) (3 . 3) (4 . 4) (6 . 7) (8 . 9) (9 . 10)) 1236 0.7134 6.0277 ((3 . 14) (4 . 15) (6 . 19) (8 . 21) (9 . 23)) 1270 0.8565 4.3513 ((2 . 34) (3 . 35) (4 . 36) (6 . 38) (8 . 39) (9 . 40)) 1293 0.5711 5.9664 ((1 . 9) (2 . 10) (3 . 11) (4 . 12)) 1294 0.5709 6.8378 ((2 . 43) (3 . 44) (6 . 46) (8 . 47)) 1295 0.8559 5.2041 ((2 . 48) (3 . 49) (4 . 50) (6 . 52) (8 . 53) (9 . 54)) 1341 0.8537 6.6518 ((2 . 2) (3 . 3) (4 . 5) (6 . 8) (8 . 10) (9 . 12)) 1342 0.8548 6.0489 ((2 . 14) (3 . 17) (4 . 19) (6 . 21) (8 . 22) (9 . 23)) 1363 0.5714 4.0625 ((4 . 3) (6 . 6) (8 . 7) (9 . 8)) 1374 0.8568 3.6398 ((2 . 2) (3 . 3) (4 . 4) (6 . 6) (8 . 8) (9 . 9)) 1375 0.8563 4.6370 ((2 . 11) (3 . 12) (4 . 14) (6 . 16) (8 . 18) (9 . 20)) 1390 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (8 . 8) (9 . 9)) 1391 0.7121 7.4847 ((1 . 12) (2 . 13) (3 . 14) (8 . 17) (9 . 18)) 1392 0.8559 5.1963 ((2 . 20) (3 . 21) (4 . 22) (6 . 24) (8 . 25) (9 . 26)) 1418 0.5707 7.4861 ((1 . 4) (2 . 5) (3 . 6) (6 . 8)) 1419 0.5707 7.5617 ((1 . 13) (2 . 14) (3 . 15) (4 . 16)) 1445 0.8570 3.1405 ((2 . 2) (3 . 3) (4 . 5) (6 . 10) (8 . 12) (9 . 13)) 1446 0.8565 4.3985 ((2 . 15) (3 . 16) (4 . 17) (6 . 20) (8 . 22) (9 . 24)) 1502 0.7139 4.6673 ((2 . 2) (3 . 3) (6 . 7) (8 . 9) (9 . 10)) 1555 0.7142 3.7192 ((2 . 1) (3 . 2) (6 . 6) (8 . 8) (9 . 9)) 1566 0.7054 10.6533 ((3 . 3) (4 . 4) (6 . 6) (8 . 8) (9 . 10)) 1568 0.8562 4.8609 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 6) (9 . 7)) 1569 0.5702 8.5524 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 1570 0.5702 8.6175 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 1571 0.8556 5.4497 ((2 . 17) (3 . 18) (4 . 19) (6 . 21) (8 . 22) (9 . 24)) 1572 0.5702 8.4813 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 1573 0.5712 5.7115 ((1 . 9) (2 . 10) (3 . 11) (6 . 14)) 1579 0.5713 4.8223 ((1 . 8) (2 . 10) (3 . 12) (4 . 13)) 1580 0.7111 8.2081 ((3 . 3) (4 . 4) (6 . 6) (8 . 7) (9 . 8)) 1600 0.7083 9.6385 ((1 . 3) (2 . 4) (6 . 6) (8 . 8) (9 . 9)) 1601 0.8545 6.2222 ((2 . 10) (3 . 11) (4 . 12) (6 . 17) (8 . 20) (9 . 21)) 1660 0.5707 7.4662 ((1 . 1) (2 . 2) (3 . 3) (9 . 7)) 1661 0.7110 8.2570 ((1 . 11) (2 . 12) (6 . 15) (8 . 16) (9 . 17)) 1666 0.5712 5.4997 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 1667 0.5711 6.3029 ((2 . 41) (3 . 42) (6 . 44) (8 . 45)) 1668 0.5702 8.5264 ((1 . 51) (2 . 53) (3 . 54) (4 . 55)) 1684 0.8566 4.1205 ((2 . 2) (3 . 3) (4 . 4) (6 . 7) (8 . 9) (9 . 11)) 1688 0.7139 4.7369 ((2 . 2) (3 . 3) (6 . 7) (8 . 9) (9 . 10)) 1722 0.5711 6.3223 ((1 . 3) (3 . 6) (4 . 7) (6 . 8)) 1723 0.5712 5.7524 ((3 . 16) (4 . 17) (8 . 19) (9 . 20)) 1826 0.5706 7.8192 ((1 . 2) (2 . 3) (4 . 6) (9 . 9)) 1827 0.8546 6.1657 ((2 . 13) (3 . 14) (4 . 16) (6 . 19) (8 . 20) (9 . 21)) 1828 0.5707 7.4864 ((1 . 22) (2 . 23) (3 . 26) (4 . 27)) 1864 0.8566 4.1212 ((2 . 2) (3 . 3) (4 . 4) (6 . 7) (8 . 9) (9 . 10)) 1928 0.8570 2.9907 ((2 . 2) (3 . 3) (4 . 4) (6 . 7) (8 . 9) (9 . 11)) 1938 0.8571 2.6214 ((2 . 2) (3 . 3) (4 . 4) (6 . 6) (8 . 8) (9 . 9)) 1939 0.5712 5.8750 ((1 . 15) (2 . 16) (3 . 17) (4 . 18)) 1996 0.1498 8.9538 ((1 . 2) (2 . 3) (6 . 4) (9 . 6)) 2009 0.9946 6.1458 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 7) (8 . 8) (9 . 9)) 2022 0.5700 8.9044 ((1 . 14) (2 . 15) (3 . 16) (4 . 19)) 2061 0.8557 5.3479 ((2 . 1) (3 . 3) (4 . 5) (6 . 7) (8 . 8) (9 . 9)) 2087 0.8565 4.3027 ((2 . 2) (3 . 3) (4 . 4) (6 . 8) (8 . 10) (9 . 12)) 2110 0.7137 5.2503 ((3 . 23) (4 . 24) (6 . 27) (8 . 28) (9 . 29)) 2165 0.5710 6.5147 ((2 . 29) (3 . 30) (6 . 31) (8 . 32)) 2186 0.5713 5.1536 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 2188 0.5690 10.1645 ((3 . 10) (4 . 11) (8 . 14) (9 . 15)) 2191 0.5701 8.7743 ((1 . 2) (2 . 4) (3 . 5) (4 . 7)) 2221 0.7106 8.5377 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (9 . 8)) 2246 0.5713 4.8411 ((4 . 7) (6 . 9) (8 . 11) (9 . 12)) 2318 0.5708 7.2728 ((2 . 8) (3 . 10) (4 . 12) (8 . 14)) 2319 0.5714 4.0784 ((1 . 19) (2 . 20) (3 . 21) (4 . 22)) 2320 0.5712 5.5477 ((1 . 7) (2 . 8) (3 . 10) (4 . 11)) 2321 0.7137 5.2647 ((3 . 14) (4 . 15) (6 . 18) (8 . 20) (9 . 22)) 2338 0.5707 7.5981 ((1 . 13) (3 . 15) (8 . 19) (9 . 21)) 2365 0.8568 3.7423 ((2 . 2) (3 . 3) (4 . 6) (6 . 10) (8 . 11) (9 . 12)) 2428 0.7129 6.6456 ((2 . 1) (3 . 3) (6 . 5) (8 . 6) (9 . 8)) 2441 0.8560 5.0658 ((2 . 2) (3 . 3) (4 . 4) (6 . 6) (8 . 7) (9 . 9)) 2442 0.5711 6.0753 ((1 . 15) (2 . 16) (3 . 17) (4 . 19)) 2444 0.5703 8.4362 ((1 . 4) (2 . 5) (3 . 7) (4 . 8)) 2445 0.5706 7.7091 ((1 . 15) (2 . 16) (3 . 17) (4 . 19)) 2473 0.5711 6.2120 ((1 . 5) (2 . 6) (3 . 8) (8 . 11)) 2507 0.8571 2.5732 ((2 . 3) (3 . 4) (4 . 6) (6 . 11) (8 . 13) (9 . 14)) 2508 0.8571 2.6194 ((2 . 16) (3 . 17) (4 . 19) (6 . 22) (8 . 24) (9 . 25)) 2531 0.5698 9.1321 ((1 . 3) (2 . 4) (6 . 8) (8 . 9)) 2534 0.8558 5.2366 ((2 . 17) (3 . 18) (4 . 19) (6 . 22) (8 . 23) (9 . 25)) 2577 0.8569 3.4407 ((2 . 2) (3 . 3) (4 . 5) (6 . 7) (8 . 9) (9 . 10)) 2578 0.5700 8.8352 ((1 . 15) (2 . 17) (3 . 18) (4 . 20)) 2579 0.8568 3.7898 ((2 . 23) (3 . 24) (4 . 25) (6 . 29) (8 . 31) (9 . 32)) 2641 0.5712 5.3803 ((1 . 1) (2 . 3) (3 . 5) (4 . 6)) 2686 0.7082 9.6739 ((1 . 3) (2 . 4) (6 . 9) (8 . 10) (9 . 11)) 2728 0.5711 6.1062 ((3 . 1) (6 . 2) (8 . 3) (9 . 5)) 2767 0.8562 4.7853 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 6) (9 . 7)) 2812 0.8556 5.4270 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 6) (9 . 7)) 2813 0.3907 4.6609 ((3 . 9) (4 . 10) (6 . 12) (8 . 13) (9 . 14)) 2877 0.5713 5.0415 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 2880 0.7073 10.0309 ((1 . 3) (2 . 4) (6 . 7) (8 . 8) (9 . 9)) 2971 0.5694 9.6539 ((1 . 8) (2 . 9) (6 . 13) (9 . 16)) 2987 0.7139 4.8871 ((2 . 27) (3 . 28) (6 . 31) (8 . 32) (9 . 33)) 3099 0.5710 6.7363 ((1 . 24) (2 . 25) (3 . 26) (9 . 29)) 3101 0.8538 6.6070 ((2 . 50) (3 . 51) (4 . 52) (6 . 54) (8 . 55) (9 . 56)) 3159 0.8561 4.9445 ((2 . 53) (3 . 54) (4 . 55) (6 . 59) (8 . 60) (9 . 61)) 3185 0.5689 10.1902 ((3 . 15) (4 . 16) (8 . 21) (9 . 23)) 3186 0.5689 10.1938 ((3 . 2) (4 . 3) (8 . 7) (9 . 8)) 3205 0.8547 6.1220 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 6) (9 . 8)) 3292 0.5711 6.3395 ((2 . 7) (3 . 8) (4 . 10) (8 . 11)) 3342 0.5711 6.1320 ((1 . 6) (2 . 7) (3 . 8) (6 . 9)) 3357 0.5707 7.4405 ((2 . 7) (3 . 8) (4 . 10) (8 . 11)) 3378 0.8548 6.0457 ((2 . 33) (3 . 34) (4 . 35) (6 . 37) (8 . 39) (9 . 40)) 3417 0.8560 5.0867 ((2 . 4) (3 . 6) (4 . 7) (6 . 9) (8 . 10) (9 . 11)) 3430 0.5693 9.8180 ((1 . 5) (2 . 6) (6 . 9) (8 . 10)) 3431 0.7105 8.5608 ((2 . 2) (3 . 3) (6 . 6) (8 . 7) (9 . 8)) 3443 0.5705 7.9563 ((1 . 4) (2 . 5) (6 . 8) (8 . 9)) 3444 0.5707 7.5009 ((2 . 41) (3 . 43) (6 . 45) (8 . 46)) 3445 0.5710 6.5197 ((1 . 50) (2 . 51) (3 . 52) (4 . 53)) 3472 0.7092 9.2653 ((3 . 3) (4 . 4) (6 . 6) (8 . 8) (9 . 9)) 3478 0.9952 5.9716 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 8) (8 . 9) (9 . 10)) 3507 0.7137 5.4421 ((2 . 31) (3 . 33) (4 . 34) (8 . 37) (9 . 38)) 3530 0.5712 5.6406 ((2 . 23) (3 . 24) (4 . 25) (8 . 27)) 3531 0.5707 7.5458 ((1 . 30) (6 . 34) (8 . 35) (9 . 36)) 3532 0.5704 8.2286 ((2 . 39) (3 . 40) (4 . 41) (6 . 42)) 3550 0.5682 10.8543 ((4 . 2) (6 . 3) (8 . 4) (9 . 6)) 3554 0.8545 6.2247 ((2 . 1) (3 . 3) (4 . 4) (6 . 8) (8 . 10) (9 . 11)) 3555 0.8540 6.4906 ((2 . 12) (3 . 14) (4 . 15) (6 . 19) (8 . 21) (9 . 23)) 3556 0.5704 8.1867 ((1 . 1) (2 . 2) (4 . 5) (9 . 10)) 3557 0.7140 4.6091 ((3 . 15) (4 . 16) (6 . 19) (8 . 21) (9 . 23)) 3655 0.5707 7.5909 ((2 . 31) (3 . 32) (6 . 34) (8 . 35)) 3667 0.7105 8.5864 ((2 . 1) (3 . 2) (4 . 3) (8 . 4) (9 . 6)) 3690 0.5708 7.1980 ((3 . 1) (6 . 4) (8 . 5) (9 . 6)) 3699 0.5714 4.2329 ((2 . 1) (3 . 2) (4 . 3) (6 . 5)) 3700 0.8556 5.4445 ((2 . 13) (3 . 14) (4 . 16) (6 . 18) (8 . 19) (9 . 20)) 3762 0.5693 9.8028 ((3 . 2) (4 . 3) (8 . 5) (9 . 6)) 3791 0.5695 9.5986 ((2 . 45) (4 . 47) (6 . 48) (9 . 50)) 3792 0.7140 4.4708 ((1 . 58) (2 . 59) (3 . 60) (4 . 61) (8 . 62)) 3793 0.7105 8.5943 ((2 . 67) (3 . 69) (4 . 70) (8 . 71) (9 . 72)) 3794 0.8526 7.1425 ((2 . 5) (3 . 23) (4 . 24) (6 . 27) (8 . 29) (9 . 30)) 3876 0.8511 7.6817 ((2 . 2) (3 . 3) (4 . 4) (6 . 6) (8 . 7) (9 . 8)) 3948 0.5713 4.9956 ((1 . 9) (2 . 10) (3 . 12) (4 . 13)) 3949 0.8547 6.0933 ((2 . 15) (3 . 16) (4 . 17) (6 . 21) (8 . 22) (9 . 24)) 3950 0.5709 6.8855 ((1 . 7) (2 . 8) (3 . 10) (4 . 12)) 3951 0.7078 9.8214 ((1 . 15) (2 . 16) (6 . 19) (8 . 21) (9 . 22)) 4079 0.8559 5.1713 ((2 . 2) (3 . 3) (4 . 4) (6 . 7) (8 . 8) (9 . 10)) 4109 0.8567 3.9297 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 7) (9 . 8)) 4110 0.5711 6.2163 ((1 . 11) (2 . 12) (3 . 13) (8 . 16)) 4111 0.7117 7.7603 ((1 . 17) (2 . 18) (6 . 20) (8 . 22) (9 . 23)) 4145 0.8557 5.3159 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (8 . 7) (9 . 9)) 4146 0.2944 11.8359 ((2 . 12) (4 . 14) (6 . 15) (9 . 16)) 4178 0.6288 9.2627 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 6)) 4197 0.8570 3.0605 ((2 . 1) (3 . 2) (4 . 4) (6 . 8) (8 . 10) (9 . 11)) 4199 0.7141 4.2219 ((2 . 2) (3 . 3) (6 . 5) (8 . 6) (9 . 7)) 4219 0.5700 8.9193 ((1 . 4) (6 . 8) (8 . 9) (9 . 10)) 4221 0.8570 2.9585 ((2 . 2) (3 . 3) (4 . 5) (6 . 10) (8 . 12) (9 . 13)) 4224 0.7106 8.5323 ((1 . 3) (2 . 4) (3 . 5) (6 . 9) (8 . 11)) 4230 0.7106 8.5020 ((2 . 2) (3 . 3) (4 . 4) (6 . 6) (9 . 8)) 4286 0.7131 6.3984 ((2 . 5) (3 . 6) (6 . 9) (8 . 11) (9 . 13)) 4289 0.8562 4.8389 ((2 . 2) (3 . 3) (4 . 4) (6 . 7) (8 . 9) (9 . 10)) 4290 0.8550 5.9459 ((2 . 11) (3 . 13) (4 . 14) (6 . 17) (8 . 18) (9 . 20)) 4349 0.7118 7.6878 ((2 . 2) (4 . 4) (6 . 6) (8 . 7) (9 . 8)) 4464 0.8552 5.7865 ((2 . 1) (3 . 2) (4 . 3) (6 . 7) (8 . 9) (9 . 10)) 4512 0.8569 3.4399 ((2 . 2) (3 . 3) (4 . 6) (6 . 8) (8 . 9) (9 . 10)) 4525 0.5709 7.0221 ((1 . 20) (2 . 21) (6 . 24) (9 . 28)) 4526 0.8553 5.7205 ((2 . 30) (3 . 31) (4 . 32) (6 . 34) (8 . 35) (9 . 36)) 4581 0.5712 5.8300 ((1 . 1) (2 . 2) (3 . 3) (4 . 5)) 4584 0.8562 4.7522 ((2 . 2) (3 . 3) (4 . 5) (6 . 9) (8 . 11) (9 . 13)) 4637 0.8567 3.9512 ((2 . 2) (3 . 3) (4 . 4) (6 . 8) (8 . 10) (9 . 12)) 4638 0.5657 12.6114 ((4 . 13) (6 . 14) (8 . 15) (9 . 18)) 4639 0.5707 7.5532 ((1 . 8) (2 . 9) (3 . 10) (4 . 12)) 4640 0.5707 7.3842 ((1 . 14) (4 . 18) (8 . 21) (9 . 23)) 4687 0.8540 6.4870 ((2 . 27) (3 . 28) (4 . 30) (6 . 33) (8 . 34) (9 . 35)) 4700 0.8565 4.4014 ((2 . 2) (3 . 3) (4 . 4) (6 . 6) (8 . 8) (9 . 10)) 4708 0.8569 3.4943 ((2 . 48) (3 . 49) (4 . 50) (6 . 51) (8 . 53) (9 . 54)) 4744 0.8562 4.7461 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 6) (9 . 7)) 4777 0.8551 5.8087 ((2 . 3) (3 . 4) (4 . 5) (6 . 7) (8 . 10) (9 . 11)) 4800 0.7134 5.9261 ((2 . 1) (3 . 3) (6 . 5) (8 . 7) (9 . 8)) 4809 0.8546 6.1756 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 6) (9 . 7)) 4892 0.7087 9.4827 ((1 . 4) (2 . 5) (3 . 6) (6 . 7) (8 . 8)) 4896 0.8562 4.8272 ((2 . 2) (3 . 3) (4 . 5) (6 . 8) (8 . 10) (9 . 11)) 4897 0.7132 6.2919 ((2 . 12) (3 . 14) (6 . 15) (8 . 17) (9 . 18)) 4898 0.7122 7.3389 ((2 . 20) (3 . 22) (4 . 23) (8 . 27) (9 . 28)) 4908 0.7086 9.4924 ((3 . 2) (4 . 3) (6 . 5) (8 . 7) (9 . 8)) 4921 0.8549 5.9687 ((2 . 7) (3 . 8) (4 . 9) (6 . 12) (8 . 14) (9 . 17)) 4923 0.5710 6.6031 ((2 . 14) (3 . 16) (4 . 17) (8 . 20)) 4951 0.7138 5.1345 ((3 . 49) (4 . 50) (6 . 54) (8 . 55) (9 . 56)) 4967 0.7124 7.2164 ((2 . 24) (3 . 26) (6 . 29) (8 . 30) (9 . 31)) 4968 0.5707 7.5103 ((1 . 37) (2 . 39) (3 . 40) (8 . 43)) 5040 0.5708 7.3338 ((3 . 1) (6 . 3) (8 . 4) (9 . 5)) 5043 0.5710 6.4170 ((1 . 5) (3 . 7) (6 . 9) (8 . 11)) 5166 0.5712 5.3986 ((2 . 6) (3 . 7) (4 . 8) (8 . 10)) 5246 0.8567 4.0819 ((2 . 3) (3 . 4) (4 . 6) (6 . 10) (8 . 12) (9 . 14)) 5281 0.5714 3.9732 ((2 . 65) (3 . 66) (4 . 67) (8 . 69)) 5310 0.8563 4.6476 ((2 . 3) (3 . 4) (4 . 5) (6 . 9) (8 . 10) (9 . 12)) 5311 0.7139 4.7561 ((3 . 14) (4 . 15) (6 . 17) (8 . 18) (9 . 20)) 5316 0.7088 9.4367 ((1 . 4) (2 . 5) (3 . 6) (8 . 12) (9 . 13)) 5319 0.8549 5.9912 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (8 . 7) (9 . 8)) 5320 0.7111 8.2291 ((1 . 9) (3 . 11) (6 . 12) (8 . 13) (9 . 14)) 5342 0.7139 4.8914 ((3 . 47) (4 . 48) (6 . 51) (8 . 52) (9 . 54)) 5413 0.7116 7.8500 ((1 . 2) (2 . 3) (3 . 4) (4 . 6) (9 . 10)) 5431 0.8553 5.7076 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 6) (9 . 7)) 5432 0.8560 5.0617 ((2 . 8) (3 . 9) (4 . 10) (6 . 12) (8 . 13) (9 . 15)) 5497 0.8565 4.2904 ((2 . 21) (3 . 22) (4 . 23) (6 . 26) (8 . 28) (9 . 29)) 5552 0.7107 8.4386 ((1 . 6) (2 . 8) (3 . 9) (8 . 12) (9 . 13)) 5615 0.8547 6.1063 ((2 . 28) (3 . 29) (4 . 30) (6 . 33) (8 . 34) (9 . 35)) 5633 0.8562 4.7889 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (8 . 8) (9 . 10)) 5634 0.8561 4.8808 ((2 . 12) (3 . 13) (4 . 14) (6 . 17) (8 . 18) (9 . 20)) 5682 0.5711 6.2932 ((3 . 1) (6 . 3) (8 . 4) (9 . 5)) 5683 0.8567 3.9053 ((2 . 2) (3 . 3) (4 . 4) (6 . 7) (8 . 8) (9 . 10)) 5733 0.8549 5.9845 ((2 . 12) (3 . 14) (4 . 15) (6 . 19) (8 . 21) (9 . 22)) 5835 0.5703 8.2791 ((1 . 38) (3 . 41) (4 . 42) (8 . 44)) 5863 0.8538 6.5928 ((2 . 30) (3 . 31) (4 . 33) (6 . 37) (8 . 38) (9 . 39)) 5899 0.5702 8.5301 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 5916 0.7133 6.0931 ((2 . 1) (3 . 2) (6 . 4) (8 . 5) (9 . 8)) 5936 0.7066 10.2669 ((3 . 4) (4 . 5) (6 . 7) (8 . 9) (9 . 11)) 5948 0.5714 2.7278 ((3 . 3) (4 . 5) (6 . 9) (8 . 10)) 5974 0.8565 4.3623 ((2 . 3) (3 . 4) (4 . 5) (6 . 8) (8 . 10) (9 . 12)) 5988 0.7089 9.3857 ((2 . 1) (4 . 3) (6 . 6) (8 . 7) (9 . 8)) 5989 0.7114 8.0182 ((1 . 1) (3 . 4) (6 . 5) (8 . 6) (9 . 7)) 5993 0.5702 8.5013 ((1 . 1) (2 . 2) (4 . 4) (9 . 7)) 6012 0.8566 4.2105 ((2 . 49) (3 . 50) (4 . 51) (6 . 53) (8 . 54) (9 . 55)) 6013 0.5711 6.2300 ((3 . 56) (6 . 57) (8 . 58) (9 . 59)) 6037 0.5711 6.1920 ((1 . 2) (6 . 5) (8 . 6) (9 . 7)) 6105 0.5700 8.8801 ((1 . 4) (2 . 5) (3 . 7) (4 . 8)) 6124 0.5712 5.6500 ((1 . 12) (2 . 14) (3 . 15) (4 . 16)) 6126 0.5712 5.8288 ((2 . 9) (3 . 10) (6 . 15) (9 . 16)) 6206 0.8570 2.8313 ((2 . 2) (3 . 3) (4 . 4) (6 . 6) (8 . 8) (9 . 9)) 6207 0.8558 5.2156 ((2 . 10) (3 . 12) (4 . 14) (6 . 16) (8 . 18) (9 . 19)) 6285 0.5711 6.2657 ((2 . 3) (3 . 4) (4 . 5) (8 . 6)) 6287 0.5711 6.1450 ((3 . 38) (6 . 39) (8 . 40) (9 . 41)) 6288 0.5708 7.3446 ((1 . 49) (2 . 50) (3 . 51) (4 . 52)) 6334 0.8569 3.3712 ((2 . 2) (3 . 3) (4 . 4) (6 . 6) (8 . 8) (9 . 9)) 6338 0.5700 8.8208 ((1 . 2) (2 . 4) (3 . 5) (4 . 7)) 6379 0.8569 3.3882 ((2 . 2) (3 . 3) (4 . 4) (6 . 6) (8 . 7) (9 . 8)) 6380 0.5711 6.3379 ((1 . 14) (2 . 15) (3 . 17) (4 . 19)) 6443 0.5713 4.7022 ((1 . 6) (2 . 8) (3 . 10) (8 . 17)) 6444 0.5698 9.1109 ((4 . 15) (6 . 16) (8 . 17) (9 . 19)) 6445 0.8567 3.9564 ((2 . 2) (3 . 3) (4 . 4) (6 . 6) (8 . 8) (9 . 9)) 6446 0.8500 8.0251 ((2 . 10) (3 . 12) (4 . 14) (6 . 16) (8 . 18) (9 . 19)) 6449 0.8554 5.5749 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 6) (9 . 8)) 6466 0.7094 9.1641 ((3 . 1) (4 . 2) (6 . 4) (8 . 5) (9 . 7)) 6467 0.7142 3.6291 ((2 . 10) (3 . 11) (4 . 15) (6 . 17) (8 . 18)) 6485 0.5711 6.0873 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 6570 0.5703 8.2903 ((1 . 17) (2 . 19) (3 . 20) (4 . 22)) 6612 0.5711 5.9145 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) END