2233 25 0.5706 7.8377 ((2 . 9) (6 . 10) (7 . 12) (8 . 13)) 77 0.2944 11.2208 ((1 . 1) (2 . 2) (5 . 3) (9 . 10)) 91 0.4866 14.8251 ((2 . 26) (5 . 27) (6 . 30) (9 . 35)) 147 0.8555 5.5246 ((1 . 2) (2 . 3) (6 . 5) (7 . 7) (8 . 8) (9 . 9)) 155 0.6729 6.9244 ((2 . 1) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 207 0.1993 5.6842 ((6 . 6) (7 . 10) (8 . 11) (9 . 14)) 259 0.8570 3.2228 ((1 . 1) (2 . 2) (6 . 5) (7 . 6) (8 . 7) (9 . 8)) 317 0.7921 4.2804 ((1 . 3) (2 . 4) (6 . 6) (7 . 8) (8 . 9) (9 . 10)) 329 0.2477 10.5993 ((2 . 3) (7 . 7) (8 . 8) (9 . 9)) 351 0.5703 8.4376 ((1 . 5) (2 . 6) (6 . 8) (7 . 10)) 361 0.5698 9.0940 ((1 . 6) (2 . 7) (5 . 8) (6 . 9)) 433 0.5712 5.7646 ((2 . 2) (5 . 3) (6 . 4) (9 . 8)) 442 0.4443 11.6750 ((1 . 11) (6 . 15) (7 . 17) (8 . 18)) 495 0.3787 10.5887 ((2 . 2) (7 . 6) (8 . 10) (9 . 12)) 541 0.1992 13.2577 ((1 . 4) (5 . 6) (6 . 9) (9 . 13)) 543 0.4910 9.1385 ((2 . 7) (5 . 9) (6 . 13) (7 . 14)) 553 0.4453 7.8833 ((5 . 4) (6 . 5) (8 . 9) (9 . 10)) 624 0.5695 9.5713 ((5 . 10) (6 . 12) (8 . 14) (9 . 17)) 635 0.3786 11.1693 ((1 . 2) (6 . 7) (8 . 9) (9 . 12)) 678 0.6547 8.3988 ((2 . 25) (6 . 27) (7 . 28) (8 . 30) (9 . 33)) 729 0.2945 8.5832 ((2 . 6) (6 . 8) (7 . 12) (9 . 14)) 782 0.5661 12.3579 ((1 . 1) (7 . 6) (8 . 7) (9 . 9)) 792 0.5685 10.6234 ((1 . 2) (2 . 3) (6 . 8) (7 . 10)) 834 0.5691 10.0009 ((1 . 40) (2 . 42) (5 . 43) (6 . 44)) 960 0.5703 8.3417 ((2 . 31) (5 . 32) (7 . 34) (9 . 37)) 978 0.4450 9.3225 ((1 . 11) (6 . 15) (7 . 17) (8 . 18)) 1034 0.3789 8.5953 ((2 . 23) (5 . 24) (8 . 27) (9 . 31)) 1082 0.5702 8.5325 ((2 . 26) (5 . 27) (7 . 29) (9 . 32)) 1124 0.5696 9.4889 ((6 . 11) (7 . 13) (8 . 15) (9 . 16)) 1165 0.2945 10.2764 ((2 . 15) (5 . 16) (6 . 17) (9 . 23)) 1167 0.2477 10.7399 ((2 . 24) (6 . 26) (8 . 28) (9 . 29)) 1201 0.2476 14.0329 ((1 . 5) (5 . 8) (8 . 13) (9 . 19)) 1204 0.4417 15.5364 ((6 . 28) (7 . 30) (8 . 32) (9 . 33)) 1210 0.5698 9.1262 ((6 . 2) (7 . 3) (8 . 5) (9 . 6)) 1267 0.2474 17.3487 ((2 . 5) (6 . 6) (7 . 8) (8 . 11)) 1268 0.5696 9.4189 ((2 . 15) (5 . 16) (7 . 18) (8 . 19)) 1301 0.4909 9.4051 ((1 . 2) (2 . 3) (6 . 6) (7 . 7)) 1345 0.5700 8.8774 ((5 . 6) (6 . 8) (8 . 10) (9 . 11)) 1388 0.4454 6.8351 ((1 . 3) (5 . 6) (6 . 7) (9 . 12)) 1415 0.6309 6.6793 ((1 . 2) (2 . 3) (7 . 4) (8 . 5) (9 . 6)) 1470 0.5705 8.0630 ((1 . 7) (6 . 10) (7 . 11) (9 . 14)) 1472 0.5710 6.6844 ((2 . 10) (6 . 11) (7 . 12) (8 . 13)) 1476 0.2476 13.3434 ((2 . 10) (6 . 13) (8 . 17) (9 . 19)) 1497 0.5659 12.4796 ((2 . 28) (6 . 29) (8 . 31) (9 . 33)) 1508 0.2477 8.5868 ((1 . 1) (2 . 3) (5 . 4) (6 . 6)) 1513 0.2945 8.7764 ((1 . 1) (2 . 4) (7 . 9) (9 . 12)) 1591 0.5643 13.3214 ((2 . 10) (7 . 15) (8 . 17) (9 . 18)) 1595 0.4450 9.6364 ((5 . 1) (6 . 2) (7 . 4) (8 . 6)) 1604 0.3784 12.3082 ((1 . 6) (5 . 9) (8 . 13) (9 . 14)) 1690 0.2477 12.2265 ((1 . 15) (7 . 23) (8 . 26) (9 . 27)) 1724 0.4446 10.8197 ((1 . 2) (5 . 5) (6 . 7) (7 . 8)) 1731 0.1992 10.4388 ((5 . 5) (6 . 7) (8 . 9) (9 . 10)) 1736 0.4446 10.8033 ((1 . 4) (2 . 6) (6 . 8) (7 . 9)) 1761 0.2477 9.7667 ((2 . 6) (5 . 8) (6 . 10) (9 . 14)) 1763 0.5711 6.3297 ((1 . 4) (2 . 6) (8 . 11) (9 . 12)) 1776 0.1992 13.2718 ((5 . 6) (6 . 8) (7 . 10) (9 . 13)) 1793 0.4450 9.3449 ((1 . 15) (2 . 16) (5 . 17) (6 . 18)) 1796 0.8571 2.5679 ((1 . 1) (2 . 2) (6 . 4) (7 . 5) (8 . 6) (9 . 7)) 1894 0.3783 12.6528 ((5 . 4) (7 . 6) (8 . 8) (9 . 9)) 1896 0.5663 12.2321 ((1 . 4) (6 . 10) (8 . 13) (9 . 15)) 1908 0.3789 8.8708 ((2 . 1) (6 . 2) (8 . 4) (9 . 6)) 1909 0.3788 9.4249 ((2 . 30) (5 . 32) (6 . 33) (9 . 38)) 1944 0.1498 9.1687 ((2 . 6) (6 . 8) (7 . 12) (8 . 14)) 1957 0.3785 11.5013 ((1 . 8) (2 . 10) (5 . 12) (7 . 14)) 1967 0.4453 7.4575 ((2 . 4) (5 . 6) (6 . 8) (9 . 12)) 1987 0.1664 12.0620 ((1 . 8) (6 . 11) (7 . 12) (8 . 13)) 1992 0.5667 12.0278 ((2 . 5) (6 . 8) (7 . 10) (8 . 13)) 2048 0.2945 8.0102 ((1 . 2) (2 . 3) (6 . 5) (9 . 12)) 2054 0.5667 12.0161 ((1 . 4) (5 . 9) (7 . 12) (8 . 15)) 2067 0.5665 12.1584 ((1 . 5) (2 . 6) (6 . 8) (9 . 17)) 2081 0.4902 10.9565 ((2 . 13) (6 . 16) (7 . 18) (9 . 22)) 2114 0.2943 12.5794 ((2 . 30) (6 . 35) (7 . 37) (8 . 39)) 2117 0.2944 10.6764 ((1 . 2) (2 . 3) (7 . 8) (9 . 13)) 2122 0.5677 11.2961 ((5 . 9) (6 . 11) (8 . 13) (9 . 16)) 2179 0.5567 16.1420 ((1 . 12) (5 . 16) (6 . 18) (8 . 21)) 2233 1.0000 0.0000 ((1 . 1) (2 . 2) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9)) 2249 0.5708 7.2889 ((2 . 9) (5 . 10) (7 . 14) (9 . 19)) 2269 0.4435 13.1624 ((1 . 2) (2 . 3) (5 . 5) (9 . 11)) 2279 0.3779 14.1151 ((2 . 6) (7 . 12) (8 . 14) (9 . 15)) 2295 0.5616 14.5094 ((2 . 2) (7 . 5) (8 . 6) (9 . 7)) 2298 0.1664 10.4322 ((2 . 5) (6 . 7) (7 . 9) (8 . 11)) 2308 0.2939 16.8669 ((1 . 2) (2 . 3) (7 . 7) (9 . 10)) 2342 0.5691 10.0226 ((5 . 2) (6 . 3) (7 . 4) (9 . 6)) 2344 0.5674 11.5310 ((1 . 12) (7 . 21) (8 . 22) (9 . 23)) 2364 0.4451 8.7892 ((1 . 2) (6 . 8) (8 . 10) (9 . 11)) 2443 0.4907 10.0067 ((1 . 2) (6 . 5) (7 . 6) (8 . 7)) 2447 0.5701 8.6820 ((2 . 26) (5 . 27) (6 . 29) (8 . 32)) 2465 0.7141 3.9612 ((2 . 3) (6 . 5) (7 . 6) (8 . 7) (9 . 8)) 2510 0.2945 9.4654 ((2 . 4) (6 . 6) (7 . 8) (9 . 11)) 2525 0.2945 9.8409 ((1 . 42) (5 . 46) (7 . 49) (8 . 52)) 2533 0.4451 8.9234 ((6 . 1) (7 . 2) (8 . 3) (9 . 5)) 2551 0.5695 9.5276 ((2 . 4) (5 . 5) (6 . 6) (8 . 10)) 2556 0.5712 5.8218 ((2 . 12) (5 . 15) (7 . 17) (9 . 21)) 2591 0.4442 11.8788 ((2 . 36) (6 . 37) (7 . 39) (8 . 40)) 2595 0.2477 9.8600 ((1 . 2) (2 . 5) (5 . 7) (9 . 15)) 2627 0.4448 10.3440 ((2 . 53) (6 . 55) (7 . 56) (9 . 59)) 2634 0.5670 11.7896 ((1 . 3) (6 . 8) (7 . 9) (8 . 12)) 2658 0.5647 13.1583 ((2 . 4) (5 . 6) (7 . 9) (8 . 11)) 2682 0.1992 11.3968 ((1 . 6) (6 . 10) (8 . 16) (9 . 18)) 2703 0.5712 5.3787 ((2 . 1) (5 . 2) (6 . 3) (8 . 6)) 2733 0.4451 8.7138 ((1 . 9) (2 . 12) (5 . 13) (6 . 14)) 2753 0.4908 9.6605 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 2804 0.4451 8.8016 ((1 . 26) (2 . 27) (7 . 35) (9 . 37)) 2830 0.2476 13.7355 ((1 . 6) (5 . 10) (7 . 12) (9 . 16)) 2840 0.4450 9.4292 ((2 . 2) (5 . 3) (6 . 7) (8 . 10)) 2842 0.4451 8.9701 ((1 . 7) (2 . 8) (6 . 10) (7 . 12)) 2867 0.5709 6.7614 ((1 . 3) (2 . 5) (8 . 10) (9 . 11)) 2947 0.2943 13.6857 ((1 . 16) (2 . 17) (5 . 18) (6 . 19)) 2950 0.4449 9.9834 ((6 . 7) (7 . 8) (8 . 10) (9 . 11)) 3014 0.5697 9.2652 ((1 . 6) (5 . 9) (7 . 12) (8 . 14)) 3019 0.4451 8.9899 ((1 . 18) (2 . 21) (6 . 24) (8 . 26)) 3034 0.3787 10.4085 ((2 . 6) (7 . 11) (8 . 13) (9 . 15)) 3041 0.4454 6.7799 ((2 . 10) (5 . 11) (7 . 15) (9 . 17)) 3084 0.2945 9.9892 ((2 . 12) (7 . 16) (8 . 18) (9 . 20)) 3127 0.4445 11.0634 ((1 . 7) (2 . 9) (7 . 16) (8 . 18)) 3176 0.4449 9.8252 ((5 . 30) (7 . 31) (8 . 32) (9 . 33)) 3190 0.2945 8.5144 ((2 . 2) (6 . 4) (7 . 7) (9 . 10)) 3197 0.4647 23.0949 ((1 . 22) (5 . 27) (6 . 29) (9 . 33)) 3200 0.1992 9.3575 ((2 . 7) (5 . 8) (8 . 12) (9 . 14)) 3202 0.5690 10.1299 ((6 . 3) (7 . 4) (8 . 5) (9 . 6)) 3212 0.5693 9.7993 ((1 . 1) (5 . 6) (6 . 7) (7 . 10)) 3286 0.5677 11.3374 ((6 . 6) (7 . 8) (8 . 10) (9 . 12)) 3310 0.2477 9.9044 ((1 . 1) (2 . 2) (7 . 6) (8 . 7)) 3334 0.4887 13.0542 ((1 . 2) (6 . 7) (7 . 9) (9 . 12)) 3339 0.4443 11.6849 ((1 . 24) (2 . 25) (8 . 34) (9 . 35)) 3358 0.1992 10.5179 ((2 . 3) (5 . 5) (7 . 9) (8 . 11)) 3362 0.1664 10.1169 ((2 . 3) (6 . 7) (7 . 9) (9 . 13)) 3391 0.5665 12.1562 ((1 . 14) (2 . 15) (6 . 18) (7 . 20)) 3415 0.2945 10.6135 ((1 . 19) (2 . 20) (5 . 21) (6 . 22)) 3446 0.5708 7.2590 ((2 . 8) (6 . 9) (7 . 10) (8 . 12)) 3470 0.5700 8.8298 ((1 . 9) (2 . 10) (5 . 11) (8 . 14)) 3495 0.1664 10.2362 ((5 . 5) (6 . 6) (7 . 9) (8 . 10)) 3496 0.4450 9.4027 ((1 . 20) (6 . 24) (8 . 25) (9 . 27)) 3537 0.4413 15.9153 ((1 . 3) (5 . 8) (7 . 11) (8 . 12)) 3561 0.3787 10.6248 ((5 . 23) (6 . 25) (8 . 29) (9 . 32)) 3613 0.5697 9.2408 ((1 . 39) (6 . 42) (7 . 43) (9 . 44)) 3628 0.1664 13.3732 ((2 . 5) (6 . 7) (8 . 11) (9 . 13)) 3651 0.5678 11.1836 ((2 . 14) (5 . 15) (6 . 19) (7 . 20)) 3658 0.4443 11.6561 ((1 . 10) (2 . 12) (6 . 14) (7 . 15)) 3661 0.5710 6.5492 ((5 . 10) (6 . 14) (8 . 18) (9 . 21)) 3663 0.4912 8.5844 ((2 . 3) (5 . 4) (6 . 6) (7 . 7)) 3733 0.3788 9.4163 ((5 . 2) (6 . 4) (7 . 5) (8 . 7)) 3787 0.5710 6.5103 ((2 . 8) (6 . 10) (7 . 11) (9 . 16)) 3817 0.5671 11.7545 ((1 . 8) (7 . 13) (8 . 14) (9 . 17)) 3829 0.5699 9.0191 ((2 . 3) (5 . 4) (8 . 10) (9 . 11)) 3834 0.3787 10.6090 ((1 . 2) (2 . 3) (5 . 4) (7 . 6)) 3847 0.5668 11.9464 ((2 . 10) (5 . 11) (6 . 12) (7 . 15)) 3853 0.3787 10.6859 ((2 . 9) (6 . 11) (8 . 16) (9 . 19)) 3870 0.5697 9.2893 ((2 . 4) (5 . 6) (7 . 9) (8 . 11)) 3968 0.4900 11.3134 ((1 . 2) (6 . 8) (7 . 10) (9 . 12)) 4009 0.2943 13.1046 ((1 . 17) (2 . 18) (6 . 24) (7 . 25)) 4011 0.4447 10.6863 ((1 . 1) (5 . 3) (7 . 5) (8 . 6)) 4030 0.5702 8.6027 ((6 . 7) (7 . 9) (8 . 10) (9 . 11)) 4034 0.3788 9.9891 ((1 . 3) (5 . 7) (6 . 8) (9 . 14)) 4037 0.6307 6.9711 ((5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8)) 4062 0.3788 9.5629 ((1 . 44) (6 . 47) (8 . 52) (9 . 53)) 4077 0.5698 9.2252 ((1 . 6) (5 . 8) (6 . 9) (7 . 12)) 4115 0.4449 9.8503 ((1 . 11) (2 . 12) (6 . 14) (9 . 20)) 4134 0.5707 7.3695 ((2 . 25) (5 . 26) (8 . 31) (9 . 32)) 4151 0.4445 11.1487 ((6 . 2) (7 . 4) (8 . 6) (9 . 8)) 4195 0.5696 9.3831 ((1 . 11) (6 . 12) (7 . 13) (9 . 19)) 4204 0.3784 12.3082 ((2 . 1) (5 . 2) (6 . 4) (9 . 10)) 4210 0.2945 9.8986 ((1 . 1) (2 . 3) (7 . 7) (9 . 9)) 4216 0.7117 7.8005 ((1 . 10) (6 . 13) (7 . 14) (8 . 15) (9 . 16)) 4226 0.4872 14.3892 ((1 . 5) (5 . 10) (7 . 13) (9 . 17)) 4242 0.5692 9.9514 ((1 . 3) (2 . 5) (5 . 6) (6 . 8)) 4243 0.2945 7.4794 ((2 . 1) (6 . 4) (7 . 5) (8 . 6)) 4261 0.1993 8.3254 ((6 . 12) (7 . 14) (8 . 15) (9 . 16)) 4265 0.3788 9.9056 ((2 . 22) (6 . 25) (7 . 27) (9 . 30)) 4266 0.5695 9.5945 ((6 . 9) (7 . 10) (8 . 14) (9 . 17)) 4275 0.2477 11.4284 ((1 . 22) (2 . 24) (5 . 26) (7 . 29)) 4281 0.2945 9.9413 ((6 . 7) (7 . 9) (8 . 13) (9 . 14)) 4299 0.1664 13.0554 ((1 . 5) (5 . 8) (7 . 10) (8 . 13)) 4326 0.4449 10.0092 ((1 . 3) (5 . 6) (6 . 8) (8 . 14)) 4352 0.5710 6.6979 ((2 . 12) (6 . 13) (7 . 14) (8 . 15)) 4386 0.4890 12.6931 ((1 . 11) (5 . 14) (6 . 15) (9 . 20)) 4470 0.3786 11.0334 ((1 . 13) (6 . 17) (8 . 22) (9 . 23)) 4492 0.5704 8.2106 ((2 . 9) (5 . 10) (6 . 12) (8 . 14)) 4495 0.1664 11.8319 ((2 . 5) (6 . 7) (7 . 9) (9 . 12)) 4502 0.2477 11.2495 ((1 . 2) (2 . 3) (7 . 7) (9 . 13)) 4505 0.2477 7.8117 ((2 . 27) (6 . 29) (7 . 31) (9 . 35)) 4516 0.2477 9.8890 ((2 . 3) (6 . 5) (8 . 9) (9 . 11)) 4538 0.4882 13.5558 ((1 . 27) (2 . 29) (6 . 36) (8 . 39)) 4560 0.2477 8.0713 ((2 . 5) (6 . 7) (7 . 10) (9 . 12)) 4562 0.4453 7.6295 ((2 . 21) (5 . 23) (7 . 28) (8 . 30)) 4579 0.5706 7.7574 ((1 . 2) (5 . 3) (6 . 5) (7 . 6)) 4607 0.5686 10.5663 ((2 . 16) (5 . 17) (7 . 19) (8 . 20)) 4621 0.4915 7.4368 ((1 . 1) (2 . 2) (5 . 5) (8 . 10)) 4678 0.2943 13.1281 ((1 . 3) (2 . 5) (6 . 8) (7 . 9)) 4715 0.5688 10.3337 ((2 . 1) (5 . 2) (7 . 7) (9 . 10)) 4731 0.1992 10.9962 ((5 . 12) (6 . 13) (7 . 16) (8 . 17)) 4764 0.5685 10.6398 ((6 . 4) (7 . 6) (8 . 7) (9 . 8)) 4783 0.5637 13.6080 ((1 . 6) (6 . 8) (7 . 9) (8 . 10)) 4817 0.4446 10.9025 ((5 . 7) (6 . 9) (7 . 11) (8 . 12)) 4888 0.4442 11.8742 ((5 . 18) (6 . 19) (7 . 23) (8 . 24)) 4889 0.5626 14.1008 ((1 . 19) (2 . 20) (6 . 23) (7 . 24)) 4961 0.5653 12.8282 ((5 . 2) (6 . 4) (8 . 8) (9 . 11)) 4963 0.5678 11.2271 ((1 . 2) (2 . 3) (8 . 8) (9 . 9)) 4998 0.5649 13.0245 ((6 . 2) (7 . 4) (8 . 5) (9 . 7)) 5016 0.5695 9.5029 ((6 . 6) (7 . 7) (8 . 8) (9 . 10)) 5039 0.1664 9.2988 ((2 . 35) (6 . 38) (7 . 40) (9 . 43)) 5053 0.2945 10.5832 ((2 . 7) (5 . 8) (8 . 13) (9 . 14)) 5068 0.2477 10.1328 ((6 . 25) (7 . 26) (8 . 27) (9 . 28)) 5073 0.2943 12.6553 ((1 . 37) (2 . 38) (7 . 43) (9 . 45)) 5080 0.2477 8.3597 ((1 . 5) (2 . 6) (6 . 8) (7 . 10)) 5092 0.5712 5.7071 ((6 . 10) (7 . 15) (8 . 16) (9 . 19)) 5101 0.2478 6.8653 ((1 . 20) (2 . 22) (5 . 24) (7 . 28)) 5103 0.5674 11.5254 ((1 . 8) (6 . 11) (7 . 12) (9 . 14)) 5121 0.3786 10.7935 ((2 . 13) (5 . 14) (6 . 17) (9 . 22)) 5132 0.5656 12.6458 ((6 . 29) (7 . 32) (8 . 34) (9 . 35)) 5134 0.2945 10.4779 ((2 . 1) (6 . 5) (7 . 7) (9 . 11)) 5145 0.4450 9.4328 ((2 . 2) (5 . 4) (6 . 7) (8 . 11)) 5167 0.5670 11.8049 ((2 . 2) (7 . 7) (8 . 8) (9 . 10)) 5192 0.5704 8.2017 ((2 . 13) (5 . 15) (7 . 19) (9 . 22)) 5212 0.5682 10.9217 ((2 . 13) (5 . 14) (7 . 16) (8 . 17)) 5215 0.1498 11.1715 ((2 . 6) (5 . 8) (8 . 13) (9 . 14)) 5223 0.4451 8.8774 ((2 . 9) (6 . 13) (7 . 14) (9 . 19)) 5266 0.5688 10.3404 ((2 . 12) (6 . 16) (8 . 18) (9 . 19)) 5285 0.3789 7.8715 ((6 . 1) (7 . 2) (8 . 3) (9 . 5)) 5318 0.5668 11.9543 ((6 . 14) (7 . 15) (8 . 16) (9 . 17)) 5323 0.4914 7.8575 ((2 . 2) (5 . 3) (6 . 4) (8 . 8)) 5324 0.5689 10.2875 ((1 . 18) (2 . 19) (5 . 21) (9 . 29)) 5442 0.5678 11.2289 ((2 . 35) (5 . 36) (7 . 39) (8 . 40)) 5487 0.5618 14.4023 ((1 . 1) (5 . 5) (6 . 8) (8 . 10)) 5500 0.5661 12.3482 ((2 . 6) (6 . 10) (8 . 13) (9 . 15)) 5501 0.5653 12.8177 ((2 . 28) (5 . 29) (7 . 34) (8 . 37)) 5525 0.5658 12.5608 ((2 . 3) (6 . 5) (8 . 10) (9 . 11)) 5560 0.5685 10.6711 ((5 . 16) (6 . 18) (8 . 21) (9 . 24)) 5562 0.4908 9.7538 ((1 . 12) (2 . 13) (7 . 18) (8 . 20)) 5594 0.4911 8.9588 ((1 . 2) (2 . 5) (7 . 10) (9 . 13)) 5600 0.2477 11.3875 ((1 . 1) (2 . 4) (6 . 7) (7 . 10)) 5648 0.5699 8.9817 ((2 . 1) (5 . 2) (6 . 3) (7 . 4)) 5656 0.5693 9.8182 ((6 . 17) (7 . 19) (8 . 20) (9 . 25)) 5689 0.5690 10.0987 ((1 . 1) (6 . 4) (8 . 8) (9 . 9)) 5702 0.5712 5.4866 ((6 . 11) (7 . 14) (8 . 15) (9 . 16)) 5704 0.4438 12.7335 ((1 . 4) (6 . 7) (7 . 8) (8 . 9)) 5770 0.2945 9.5539 ((1 . 5) (2 . 7) (6 . 10) (9 . 19)) 5771 0.2477 12.8362 ((1 . 8) (2 . 10) (8 . 16) (9 . 19)) 5782 0.5708 7.1319 ((2 . 2) (5 . 4) (6 . 6) (7 . 7)) 5795 0.5560 16.3279 ((2 . 7) (5 . 8) (7 . 11) (8 . 14)) 5827 0.4431 13.8549 ((1 . 6) (5 . 10) (6 . 12) (9 . 18)) 5830 0.1992 10.4165 ((6 . 5) (7 . 11) (8 . 15) (9 . 16)) 5904 0.5688 10.3866 ((2 . 2) (6 . 3) (8 . 6) (9 . 8)) 5939 0.4438 12.7179 ((1 . 3) (2 . 5) (7 . 12) (9 . 15)) 5945 0.5682 10.9224 ((2 . 31) (6 . 34) (7 . 36) (9 . 39)) 5949 0.4453 7.4587 ((2 . 2) (5 . 3) (7 . 8) (9 . 13)) 5955 0.5693 9.8378 ((2 . 2) (7 . 8) (8 . 10) (9 . 12)) 6000 0.2943 12.9940 ((1 . 5) (5 . 7) (6 . 8) (8 . 11)) 6029 0.5645 13.2627 ((2 . 32) (5 . 34) (7 . 37) (8 . 38)) 6033 0.4449 9.8246 ((2 . 2) (6 . 5) (7 . 6) (9 . 9)) 6041 0.5656 12.6642 ((2 . 5) (5 . 6) (6 . 9) (9 . 14)) 6061 0.4442 11.8690 ((1 . 12) (6 . 16) (8 . 18) (9 . 22)) 6074 0.5701 8.6399 ((1 . 1) (2 . 5) (7 . 7) (9 . 12)) 6075 0.4449 9.7472 ((1 . 18) (2 . 19) (6 . 23) (9 . 29)) 6079 0.4428 14.3289 ((1 . 12) (2 . 14) (7 . 17) (8 . 19)) 6087 0.5696 9.4562 ((1 . 2) (5 . 4) (8 . 9) (9 . 11)) 6089 0.1992 11.8590 ((2 . 13) (5 . 15) (7 . 20) (8 . 22)) 6099 0.5669 11.8707 ((5 . 12) (6 . 15) (8 . 19) (9 . 20)) 6169 0.8394 10.1399 ((2 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 8) (9 . 9)) 6192 0.1664 10.2377 ((1 . 4) (2 . 7) (5 . 9) (8 . 16)) 6228 0.5442 19.0739 ((1 . 4) (5 . 8) (6 . 10) (8 . 13)) 6243 0.5693 9.7842 ((5 . 7) (6 . 9) (8 . 11) (9 . 12)) 6258 0.4893 12.2701 ((1 . 1) (5 . 5) (6 . 8) (9 . 11)) 6261 0.4442 11.8769 ((5 . 10) (6 . 14) (8 . 17) (9 . 18)) 6266 0.4432 13.7465 ((1 . 4) (2 . 7) (7 . 12) (8 . 13)) 6268 0.5681 10.9814 ((1 . 9) (2 . 11) (5 . 12) (7 . 14)) 6270 0.2477 12.8415 ((1 . 14) (2 . 16) (6 . 19) (8 . 23)) 6294 0.4431 13.9082 ((5 . 12) (6 . 15) (8 . 19) (9 . 21)) 6329 0.2477 8.4339 ((5 . 1) (6 . 2) (8 . 4) (9 . 6)) 6348 0.2477 9.3651 ((2 . 2) (5 . 3) (6 . 8) (9 . 10)) 6356 0.2477 10.5986 ((2 . 2) (6 . 3) (8 . 8) (9 . 10)) 6359 0.5700 8.9414 ((1 . 1) (2 . 2) (6 . 4) (7 . 6)) 6369 0.1992 10.5188 ((1 . 27) (2 . 28) (6 . 30) (9 . 36)) 6376 0.2477 10.5281 ((2 . 20) (6 . 23) (8 . 29) (9 . 30)) 6384 0.4446 10.9927 ((5 . 1) (6 . 2) (8 . 4) (9 . 5)) 6391 0.5708 7.3490 ((1 . 2) (2 . 4) (5 . 5) (9 . 9)) 6403 0.5678 11.2581 ((1 . 6) (5 . 11) (8 . 16) (9 . 18)) 6462 0.5685 10.6482 ((5 . 17) (6 . 19) (8 . 21) (9 . 25)) 6476 0.4448 10.3045 ((2 . 1) (5 . 6) (6 . 5) (7 . 7)) 6498 0.4451 9.2224 ((1 . 26) (2 . 27) (5 . 28) (6 . 30)) 6506 0.3781 13.4653 ((1 . 21) (6 . 23) (7 . 24) (8 . 25)) 6520 0.5631 13.8742 ((1 . 12) (7 . 18) (8 . 21) (9 . 22)) 6536 0.5693 9.7697 ((1 . 22) (6 . 24) (7 . 25) (9 . 27)) 6585 0.2477 8.2427 ((5 . 3) (6 . 4) (8 . 7) (9 . 9)) 6586 0.1663 14.3048 ((1 . 17) (2 . 19) (6 . 22) (7 . 23)) 6605 0.1993 7.9541 ((2 . 2) (6 . 5) (7 . 6) (9 . 7)) 6622 0.4454 6.5434 ((2 . 2) (5 . 4) (8 . 8) (9 . 10)) END