5703 51 0.5710 6.4455 ((5 . 1) (6 . 2) (7 . 6) (8 . 7)) 62 0.5712 5.7827 ((1 . 10) (2 . 12) (6 . 16) (7 . 17)) 64 0.5713 5.0892 ((1 . 9) (2 . 10) (6 . 14) (7 . 15)) 77 0.5708 7.3468 ((1 . 7) (2 . 8) (6 . 13) (7 . 15)) 91 0.2477 13.0770 ((3 . 39) (5 . 40) (6 . 44) (7 . 45)) 96 0.5708 7.1713 ((2 . 1) (3 . 2) (7 . 5) (8 . 6)) 129 0.7136 5.5130 ((1 . 1) (2 . 2) (6 . 8) (7 . 11) (8 . 12)) 136 0.5713 4.9402 ((3 . 2) (6 . 5) (7 . 7) (8 . 8)) 150 0.2477 9.2133 ((1 . 19) (2 . 20) (3 . 21) (7 . 25)) 153 0.5712 5.4200 ((2 . 4) (6 . 7) (7 . 8) (8 . 9)) 157 0.4914 7.7812 ((1 . 9) (3 . 10) (5 . 11) (7 . 14)) 162 0.5697 9.2906 ((1 . 15) (3 . 16) (6 . 20) (7 . 22)) 169 0.5713 4.5096 ((2 . 1) (6 . 5) (7 . 7) (8 . 8)) 177 0.5711 6.0726 ((1 . 4) (2 . 5) (6 . 8) (7 . 10)) 191 0.9997 2.9300 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 6) (7 . 7) (8 . 8)) 198 0.5709 6.9609 ((2 . 7) (6 . 13) (7 . 16) (8 . 17)) 207 0.5709 6.9307 ((3 . 6) (5 . 7) (6 . 8) (8 . 13)) 233 0.5714 3.6289 ((5 . 2) (6 . 3) (7 . 7) (8 . 8)) 300 0.2945 9.5547 ((2 . 9) (3 . 11) (7 . 16) (8 . 17)) 305 0.5706 7.7422 ((2 . 15) (5 . 18) (7 . 21) (8 . 22)) 307 0.1993 7.3405 ((3 . 2) (5 . 3) (7 . 7) (8 . 9)) 315 0.5708 7.1081 ((3 . 2) (5 . 3) (6 . 5) (7 . 6)) 340 0.5714 2.5848 ((5 . 1) (6 . 2) (7 . 4) (8 . 7)) 350 0.5713 5.2622 ((1 . 5) (2 . 7) (7 . 16) (8 . 17)) 360 0.5713 4.7606 ((5 . 3) (6 . 5) (7 . 6) (8 . 7)) 361 0.2477 8.4606 ((1 . 4) (3 . 6) (7 . 10) (8 . 11)) 365 0.5712 5.8394 ((1 . 1) (2 . 2) (5 . 4) (7 . 8)) 367 0.5711 6.2761 ((1 . 40) (2 . 42) (5 . 44) (6 . 46)) 372 0.5713 4.7977 ((5 . 5) (6 . 6) (7 . 10) (8 . 11)) 387 0.5678 11.2340 ((1 . 9) (2 . 10) (5 . 12) (8 . 15)) 405 0.5551 16.5722 ((1 . 31) (2 . 32) (6 . 39) (7 . 40)) 417 0.5706 7.7075 ((5 . 2) (6 . 5) (7 . 7) (8 . 9)) 420 0.5710 6.4429 ((1 . 3) (2 . 4) (7 . 12) (8 . 13)) 433 0.5710 6.4652 ((2 . 1) (6 . 5) (7 . 6) (8 . 7)) 460 0.5713 5.1521 ((2 . 1) (6 . 6) (7 . 7) (8 . 8)) 472 0.5702 8.6130 ((1 . 25) (2 . 27) (3 . 28) (6 . 31)) 491 0.1993 8.4217 ((3 . 5) (5 . 6) (7 . 9) (8 . 10)) 495 0.3790 6.0537 ((2 . 1) (3 . 2) (5 . 3) (8 . 8)) 541 0.5696 9.4394 ((2 . 11) (5 . 14) (6 . 16) (8 . 17)) 543 0.2945 7.0284 ((1 . 6) (2 . 8) (3 . 9) (7 . 15)) 584 0.5701 8.6546 ((1 . 3) (2 . 4) (6 . 8) (8 . 10)) 587 0.5709 6.8970 ((5 . 10) (6 . 11) (7 . 13) (8 . 14)) 619 0.5709 6.7495 ((1 . 8) (2 . 9) (5 . 12) (7 . 15)) 624 0.5707 7.5200 ((3 . 19) (5 . 22) (7 . 24) (8 . 26)) 635 0.1992 12.1622 ((1 . 13) (2 . 14) (5 . 15) (6 . 18)) 672 0.4916 6.4169 ((2 . 16) (3 . 17) (5 . 18) (6 . 21)) 683 0.4450 9.2904 ((1 . 1) (2 . 2) (3 . 4) (6 . 6)) 719 0.1993 6.4074 ((1 . 22) (2 . 23) (6 . 27) (7 . 30)) 729 0.5709 6.9386 ((2 . 13) (6 . 15) (7 . 17) (8 . 20)) 735 0.5713 4.4254 ((1 . 31) (2 . 32) (6 . 37) (7 . 39)) 740 0.5714 3.1412 ((5 . 2) (6 . 3) (7 . 4) (8 . 7)) 765 0.5712 5.8634 ((1 . 7) (6 . 17) (7 . 19) (8 . 20)) 812 0.3790 6.8444 ((5 . 8) (6 . 9) (7 . 11) (8 . 13)) 818 0.5686 10.5292 ((2 . 8) (5 . 12) (7 . 14) (8 . 16)) 819 0.5712 5.3351 ((5 . 5) (6 . 8) (7 . 9) (8 . 10)) 824 0.5712 5.7399 ((5 . 45) (6 . 46) (7 . 49) (8 . 50)) 861 0.5710 6.6277 ((2 . 12) (5 . 15) (6 . 16) (8 . 19)) 901 0.5705 7.8718 ((1 . 12) (3 . 14) (6 . 17) (8 . 20)) 904 0.5704 8.0748 ((2 . 3) (3 . 4) (5 . 6) (6 . 7)) 913 0.4455 5.5611 ((3 . 15) (5 . 16) (6 . 17) (7 . 20)) 928 0.5696 9.4328 ((1 . 10) (3 . 11) (6 . 14) (8 . 18)) 943 0.5703 8.4159 ((1 . 8) (2 . 9) (6 . 12) (7 . 15)) 945 0.5705 7.9138 ((1 . 12) (3 . 13) (6 . 19) (8 . 22)) 960 0.1498 8.4594 ((1 . 2) (2 . 3) (7 . 8) (8 . 9)) 980 0.5694 9.7040 ((1 . 1) (3 . 2) (6 . 5) (8 . 9)) 1007 0.5711 6.2639 ((1 . 7) (2 . 8) (6 . 13) (7 . 14)) 1008 0.5712 5.6174 ((1 . 3) (2 . 5) (7 . 13) (8 . 15)) 1034 0.5665 12.1620 ((1 . 20) (2 . 21) (6 . 25) (7 . 26)) 1043 0.5712 5.8568 ((3 . 9) (6 . 12) (7 . 14) (8 . 17)) 1082 0.5697 9.2722 ((2 . 6) (5 . 8) (6 . 9) (8 . 12)) 1084 0.4454 6.6891 ((1 . 8) (2 . 9) (3 . 15) (7 . 17)) 1165 0.5710 6.6330 ((1 . 2) (2 . 3) (3 . 5) (8 . 10)) 1167 0.2945 10.1118 ((1 . 21) (2 . 22) (3 . 24) (6 . 27)) 1169 0.5713 4.4613 ((5 . 29) (6 . 30) (7 . 33) (8 . 34)) 1195 0.5714 3.4025 ((5 . 2) (6 . 4) (7 . 5) (8 . 6)) 1201 0.5708 7.3013 ((3 . 5) (6 . 7) (7 . 11) (8 . 9)) 1211 0.7135 5.6836 ((2 . 5) (5 . 8) (6 . 9) (7 . 10) (8 . 11)) 1217 0.4450 9.3370 ((1 . 3) (3 . 8) (5 . 9) (6 . 11)) 1224 0.5713 4.9362 ((5 . 6) (6 . 7) (7 . 9) (8 . 10)) 1267 0.2473 18.6193 ((1 . 9) (2 . 12) (3 . 11) (7 . 17)) 1294 0.7120 7.5137 ((1 . 39) (2 . 40) (5 . 42) (7 . 46) (8 . 47)) 1345 0.5710 6.5394 ((1 . 7) (3 . 8) (7 . 13) (8 . 14)) 1366 0.5714 4.2210 ((1 . 15) (6 . 20) (7 . 21) (8 . 22)) 1388 0.2477 9.3066 ((1 . 1) (3 . 2) (5 . 4) (8 . 8)) 1410 0.5711 6.1204 ((5 . 22) (6 . 23) (7 . 25) (8 . 26)) 1425 0.5712 5.8294 ((2 . 2) (6 . 8) (7 . 10) (8 . 11)) 1451 0.2945 7.0756 ((5 . 1) (6 . 4) (7 . 5) (8 . 10)) 1464 0.5714 3.1743 ((5 . 8) (6 . 10) (7 . 13) (8 . 14)) 1476 0.5698 9.1855 ((2 . 9) (6 . 11) (7 . 14) (8 . 15)) 1481 0.7137 5.2688 ((1 . 1) (2 . 2) (5 . 4) (6 . 5) (8 . 7)) 1501 0.7136 5.5200 ((1 . 1) (2 . 2) (5 . 5) (6 . 6) (7 . 9)) 1513 0.2945 7.5924 ((1 . 3) (3 . 4) (7 . 11) (8 . 13)) 1514 0.4454 6.2599 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 1577 0.5674 11.4974 ((5 . 4) (6 . 5) (7 . 6) (8 . 10)) 1591 0.5707 7.3809 ((2 . 1) (3 . 2) (5 . 4) (7 . 6)) 1604 0.1332 11.9833 ((2 . 1) (5 . 3) (6 . 7) (8 . 10)) 1622 0.5710 6.5667 ((2 . 18) (6 . 20) (7 . 22) (8 . 23)) 1624 0.5697 9.3419 ((3 . 1) (5 . 2) (7 . 6) (8 . 7)) 1643 0.7136 5.6216 ((1 . 34) (2 . 36) (5 . 38) (6 . 39) (7 . 40)) 1644 0.5711 6.3020 ((1 . 43) (2 . 44) (7 . 51) (8 . 52)) 1665 0.2477 12.5595 ((1 . 4) (2 . 3) (5 . 6) (7 . 10)) 1690 0.5711 6.2026 ((1 . 18) (2 . 19) (5 . 21) (6 . 24)) 1692 0.5711 6.1763 ((1 . 6) (2 . 7) (5 . 8) (6 . 9)) 1731 0.1992 8.6488 ((1 . 6) (3 . 7) (5 . 8) (8 . 12)) 1736 0.3790 6.8462 ((2 . 7) (3 . 8) (6 . 10) (7 . 12)) 1738 0.2946 5.3849 ((5 . 13) (6 . 17) (7 . 18) (8 . 19)) 1747 0.7140 4.3047 ((3 . 20) (5 . 24) (6 . 25) (7 . 27) (8 . 28)) 1756 0.5700 8.8963 ((2 . 21) (5 . 25) (6 . 27) (7 . 30)) 1759 0.5713 4.6675 ((1 . 4) (2 . 5) (6 . 9) (8 . 14)) 1761 0.5713 4.5973 ((5 . 1) (6 . 2) (7 . 4) (8 . 5)) 1763 0.7118 7.7494 ((3 . 6) (5 . 7) (6 . 9) (7 . 10) (8 . 13)) 1776 0.5711 6.3062 ((1 . 15) (2 . 16) (5 . 20) (6 . 23)) 1777 0.5706 7.6800 ((1 . 45) (2 . 46) (5 . 50) (6 . 52)) 1778 0.5688 10.3301 ((1 . 2) (2 . 3) (5 . 5) (7 . 8)) 1793 0.5708 7.0843 ((1 . 4) (3 . 5) (6 . 8) (8 . 10)) 1805 0.5713 4.3886 ((1 . 2) (2 . 3) (6 . 9) (7 . 10)) 1808 0.5712 5.6111 ((3 . 1) (6 . 8) (7 . 9) (8 . 10)) 1817 0.5713 4.8126 ((1 . 13) (2 . 14) (6 . 19) (7 . 20)) 1894 0.5709 7.0677 ((2 . 18) (6 . 23) (7 . 25) (8 . 26)) 1896 0.5624 14.1645 ((2 . 17) (3 . 15) (6 . 19) (8 . 22)) 1897 0.3789 8.2993 ((1 . 32) (2 . 34) (3 . 35) (7 . 40)) 1908 0.3789 8.5545 ((2 . 7) (3 . 8) (5 . 10) (7 . 15)) 1909 0.5701 8.6408 ((1 . 25) (3 . 26) (6 . 31) (8 . 34)) 1913 0.5707 7.4529 ((1 . 12) (2 . 13) (6 . 20) (7 . 22)) 1944 0.5706 7.6399 ((1 . 5) (3 . 6) (6 . 9) (8 . 13)) 1957 0.2945 6.3829 ((3 . 12) (6 . 15) (7 . 17) (8 . 19)) 1961 0.5419 6.9914 ((1 . 14) (2 . 15) (6 . 19) (7 . 20) (8 . 21)) 1967 0.5693 9.7506 ((1 . 3) (3 . 4) (6 . 7) (8 . 10)) 1972 0.5703 8.2775 ((1 . 18) (3 . 19) (6 . 24) (8 . 27)) 1992 0.2989 5.7023 ((1 . 3) (2 . 2) (3 . 5) (6 . 14) (7 . 9) (8 . 12)) 1995 0.5713 4.8686 ((1 . 1) (2 . 2) (7 . 11) (8 . 12)) 2003 0.8554 5.6248 ((1 . 4) (2 . 5) (5 . 8) (6 . 9) (7 . 10) (8 . 12)) 2006 0.5714 3.8865 ((5 . 15) (6 . 16) (7 . 18) (8 . 20)) 2045 0.4449 9.7141 ((3 . 5) (5 . 7) (6 . 8) (7 . 11)) 2048 0.5713 4.4474 ((3 . 12) (6 . 13) (7 . 16) (8 . 17)) 2063 0.7128 6.7946 ((1 . 42) (2 . 43) (5 . 45) (6 . 47) (7 . 50)) 2065 0.5713 4.8966 ((5 . 22) (6 . 23) (7 . 26) (8 . 27)) 2067 0.5712 5.5659 ((5 . 38) (6 . 39) (7 . 44) (8 . 45)) 2072 0.5713 4.6787 ((1 . 1) (2 . 2) (6 . 6) (7 . 7)) 2081 0.5713 4.4974 ((5 . 19) (6 . 20) (7 . 21) (8 . 23)) 2083 0.5707 7.3748 ((5 . 1) (6 . 2) (7 . 5) (8 . 7)) 2097 0.2477 12.5835 ((2 . 1) (3 . 2) (5 . 4) (6 . 5)) 2114 0.7140 4.5271 ((1 . 28) (2 . 29) (6 . 32) (7 . 34) (8 . 36)) 2116 0.5710 6.7103 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 2117 0.5713 5.2426 ((5 . 11) (6 . 14) (7 . 16) (8 . 17)) 2118 0.1992 10.2317 ((2 . 1) (5 . 4) (6 . 5) (7 . 7)) 2122 0.5705 7.9122 ((2 . 12) (3 . 13) (5 . 14) (6 . 17)) 2166 0.8550 5.9113 ((1 . 12) (2 . 13) (5 . 15) (6 . 16) (7 . 17) (8 . 21)) 2179 0.5712 5.4483 ((3 . 2) (6 . 4) (7 . 6) (8 . 7)) 2196 0.5710 6.6865 ((2 . 10) (6 . 15) (7 . 18) (8 . 19)) 2203 0.2945 8.2193 ((2 . 1) (3 . 3) (7 . 7) (8 . 10)) 2205 0.7136 5.6149 ((1 . 13) (2 . 15) (6 . 19) (7 . 22) (8 . 23)) 2243 0.5712 5.5428 ((1 . 53) (2 . 54) (5 . 57) (6 . 60)) 2244 0.7115 7.9302 ((2 . 73) (5 . 75) (6 . 76) (7 . 79) (8 . 80)) 2248 0.5706 7.7803 ((1 . 22) (3 . 23) (6 . 27) (7 . 28)) 2249 0.5643 13.3429 ((2 . 12) (5 . 16) (6 . 17) (7 . 20)) 2269 0.5708 7.2583 ((1 . 6) (2 . 7) (6 . 10) (8 . 12)) 2279 0.5703 8.3270 ((1 . 7) (2 . 8) (7 . 19) (8 . 20)) 2298 0.5708 7.1735 ((1 . 6) (3 . 7) (6 . 12) (8 . 15)) 2308 0.5710 6.5901 ((1 . 4) (2 . 5) (6 . 8) (8 . 11)) 2314 0.3476 6.4807 ((1 . 7) (2 . 8) (3 . 9) (6 . 11) (7 . 4) (8 . 13)) 2340 0.5694 9.7217 ((2 . 9) (5 . 11) (6 . 13) (7 . 14)) 2344 0.5701 8.7057 ((3 . 9) (6 . 13) (7 . 14) (8 . 18)) 2364 0.5701 8.6549 ((3 . 10) (6 . 18) (7 . 19) (8 . 20)) 2389 0.7112 8.1575 ((1 . 6) (2 . 7) (5 . 9) (6 . 10) (7 . 11)) 2408 0.5711 6.1609 ((1 . 34) (6 . 42) (7 . 45) (8 . 46)) 2409 0.5707 7.3791 ((1 . 2) (2 . 3) (5 . 5) (6 . 8)) 2410 0.4454 6.9662 ((2 . 13) (3 . 14) (5 . 16) (6 . 17)) 2423 0.7136 5.5953 ((1 . 16) (2 . 19) (5 . 21) (7 . 25) (8 . 26)) 2440 0.4444 11.4846 ((2 . 4) (3 . 5) (5 . 6) (6 . 8)) 2447 0.3789 8.6654 ((1 . 13) (3 . 14) (6 . 18) (8 . 21)) 2462 0.5709 6.9896 ((2 . 1) (3 . 2) (7 . 6) (8 . 7)) 2510 0.5703 8.4036 ((1 . 17) (3 . 18) (6 . 23) (8 . 27)) 2525 0.5672 11.6618 ((1 . 38) (3 . 39) (5 . 41) (7 . 45)) 2529 0.5703 8.3533 ((1 . 1) (3 . 2) (5 . 5) (6 . 6)) 2551 0.3790 7.4908 ((3 . 8) (5 . 11) (6 . 12) (7 . 14)) 2556 0.3790 5.1708 ((2 . 16) (3 . 17) (5 . 18) (6 . 20)) 2561 0.5712 5.6779 ((3 . 5) (5 . 7) (6 . 8) (7 . 9)) 2595 0.5711 6.0526 ((3 . 7) (6 . 9) (7 . 11) (8 . 13)) 2619 0.2945 7.1007 ((1 . 2) (2 . 3) (3 . 4) (7 . 7)) 2650 0.7111 8.1943 ((1 . 1) (2 . 2) (6 . 6) (7 . 7) (8 . 8)) 2658 0.3789 8.4532 ((3 . 9) (5 . 12) (6 . 13) (7 . 14)) 2675 0.5711 6.2917 ((2 . 1) (3 . 2) (6 . 5) (7 . 8)) 2682 0.3786 11.2179 ((2 . 11) (5 . 13) (6 . 17) (8 . 19)) 2696 0.7129 6.6892 ((1 . 31) (2 . 32) (6 . 36) (7 . 38) (8 . 39)) 2755 0.1992 8.9941 ((1 . 5) (2 . 6) (6 . 8) (7 . 10)) 2783 0.5713 4.9044 ((2 . 1) (6 . 6) (7 . 7) (8 . 8)) 2804 0.5693 9.7615 ((1 . 36) (3 . 37) (5 . 38) (6 . 40)) 2821 0.5706 7.6443 ((1 . 2) (2 . 3) (3 . 6) (7 . 11)) 2830 0.5705 7.9898 ((2 . 11) (3 . 12) (6 . 15) (8 . 17)) 2834 0.5707 7.5782 ((1 . 5) (2 . 6) (5 . 8) (6 . 9)) 2840 0.3790 6.9164 ((2 . 6) (3 . 7) (6 . 9) (7 . 11)) 2842 0.5710 6.4472 ((1 . 4) (2 . 5) (6 . 9) (8 . 11)) 2867 0.2945 5.8282 ((2 . 2) (3 . 3) (7 . 7) (8 . 8)) 2879 0.5714 4.0901 ((2 . 51) (6 . 54) (7 . 58) (8 . 59)) 2886 0.5711 6.1785 ((1 . 33) (2 . 34) (5 . 37) (6 . 38)) 2940 0.0999 7.8829 ((3 . 2) (5 . 4) (6 . 5) (7 . 6)) 2947 0.5713 5.0250 ((1 . 2) (2 . 3) (6 . 6) (7 . 7)) 2966 0.7102 8.7391 ((2 . 4) (3 . 5) (6 . 9) (7 . 11) (8 . 12)) 2990 0.7137 5.3473 ((1 . 9) (2 . 12) (5 . 14) (6 . 15) (7 . 16)) 2999 0.2945 5.6728 ((3 . 1) (6 . 4) (7 . 6) (8 . 7)) 3019 0.5708 7.0882 ((3 . 8) (5 . 9) (6 . 10) (7 . 11)) 3034 0.5705 8.0076 ((1 . 1) (3 . 4) (6 . 7) (8 . 9)) 3041 0.5711 5.9639 ((1 . 29) (2 . 30) (5 . 32) (6 . 33)) 3055 0.5713 4.5537 ((1 . 19) (2 . 20) (6 . 25) (7 . 28)) 3063 0.5713 4.5698 ((3 . 34) (5 . 35) (7 . 38) (8 . 39)) 3070 0.5713 5.2533 ((3 . 31) (5 . 32) (6 . 33) (7 . 36)) 3084 0.5706 7.7658 ((1 . 3) (3 . 4) (6 . 7) (8 . 9)) 3102 0.7131 6.3649 ((1 . 62) (2 . 70) (5 . 71) (6 . 74) (7 . 77)) 3103 0.5711 5.9768 ((5 . 1) (6 . 2) (7 . 3) (8 . 5)) 3114 0.5700 8.9166 ((2 . 22) (5 . 24) (6 . 25) (8 . 29)) 3127 0.5702 8.5903 ((2 . 2) (6 . 6) (7 . 8) (8 . 11)) 3147 0.5713 5.0294 ((1 . 7) (2 . 8) (5 . 12) (6 . 13)) 3176 0.1992 12.8181 ((1 . 26) (2 . 27) (3 . 30) (5 . 29)) 3187 0.7121 7.4777 ((1 . 1) (2 . 2) (5 . 4) (7 . 6) (8 . 7)) 3190 0.5705 8.0344 ((1 . 1) (3 . 2) (6 . 6) (8 . 9)) 3197 0.5702 8.5512 ((5 . 10) (6 . 12) (7 . 14) (8 . 16)) 3200 0.4894 12.1617 ((1 . 13) (3 . 14) (5 . 16) (6 . 18)) 3212 0.2945 7.7089 ((1 . 3) (2 . 5) (3 . 6) (6 . 9)) 3222 0.7126 6.9842 ((1 . 7) (2 . 8) (3 . 9) (7 . 15) (8 . 16)) 3256 0.5713 5.1843 ((2 . 16) (6 . 21) (7 . 25) (8 . 26)) 3261 0.7124 7.1449 ((1 . 2) (2 . 3) (6 . 6) (7 . 7) (8 . 8)) 3286 0.5713 4.5418 ((3 . 2) (5 . 3) (6 . 4) (7 . 5)) 3289 0.5712 5.6130 ((5 . 25) (6 . 27) (7 . 30) (8 . 31)) 3297 0.7100 8.8444 ((1 . 1) (5 . 5) (6 . 7) (7 . 8) (8 . 9)) 3300 0.5714 3.2281 ((5 . 1) (6 . 2) (7 . 4) (8 . 5)) 3334 0.5706 7.7989 ((1 . 5) (2 . 6) (3 . 7) (6 . 10)) 3339 0.5692 9.9194 ((1 . 17) (3 . 18) (6 . 21) (7 . 22)) 3344 0.5710 6.4350 ((5 . 18) (6 . 20) (7 . 21) (8 . 22)) 3358 0.3790 6.9388 ((3 . 3) (6 . 4) (7 . 7) (8 . 8)) 3362 0.5706 7.7633 ((1 . 4) (3 . 5) (7 . 10) (8 . 11)) 3366 0.5704 8.1478 ((5 . 22) (6 . 24) (7 . 26) (8 . 27)) 3391 0.5705 8.0408 ((1 . 4) (3 . 5) (6 . 10) (8 . 13)) 3410 0.5682 10.8816 ((2 . 21) (3 . 23) (5 . 24) (7 . 28)) 3418 0.5714 3.6474 ((5 . 2) (6 . 5) (7 . 6) (8 . 7)) 3472 0.5712 5.4794 ((1 . 2) (5 . 5) (7 . 11) (8 . 12)) 3481 0.5696 9.4554 ((2 . 2) (3 . 3) (5 . 4) (6 . 7)) 3489 0.5700 8.8960 ((2 . 1) (5 . 3) (6 . 4) (8 . 10)) 3495 0.5713 4.3124 ((1 . 1) (2 . 2) (6 . 7) (7 . 8)) 3533 0.5706 7.6745 ((1 . 3) (2 . 5) (3 . 6) (7 . 11)) 3537 0.3786 10.8288 ((3 . 1) (6 . 2) (7 . 5) (8 . 6)) 3538 0.5693 9.8077 ((1 . 20) (3 . 21) (7 . 25) (8 . 26)) 3548 0.7132 6.2237 ((1 . 2) (2 . 3) (6 . 6) (7 . 8) (8 . 9)) 3549 0.5713 4.7770 ((1 . 1) (5 . 3) (6 . 5) (7 . 8)) 3561 0.5710 6.7019 ((1 . 22) (6 . 28) (7 . 30) (8 . 31)) 3570 0.5710 6.6279 ((2 . 3) (5 . 4) (6 . 7) (7 . 8)) 3585 0.5710 6.6009 ((1 . 8) (5 . 13) (6 . 14) (8 . 16)) 3613 0.5690 10.1268 ((5 . 35) (6 . 36) (7 . 40) (8 . 41)) 3625 0.5713 4.3463 ((5 . 1) (6 . 2) (7 . 3) (8 . 5)) 3626 0.7136 5.4905 ((1 . 2) (2 . 3) (6 . 6) (7 . 8) (8 . 11)) 3628 0.5698 9.1001 ((1 . 9) (2 . 10) (5 . 12) (7 . 14)) 3651 0.2478 7.0089 ((1 . 9) (3 . 10) (5 . 13) (8 . 21)) 3656 0.5696 9.4457 ((3 . 20) (5 . 22) (6 . 23) (7 . 24)) 3658 0.5690 10.1272 ((1 . 4) (2 . 5) (5 . 7) (6 . 8)) 3659 0.5714 3.5045 ((3 . 3) (6 . 5) (7 . 7) (8 . 8)) 3688 0.4916 6.6225 ((1 . 29) (3 . 33) (5 . 34) (6 . 35)) 3697 0.5707 7.5557 ((1 . 4) (3 . 5) (6 . 6) (7 . 7)) 3703 0.5708 7.0870 ((1 . 1) (2 . 2) (7 . 6) (8 . 7)) 3732 0.5706 7.6531 ((1 . 5) (3 . 6) (7 . 11) (8 . 12)) 3740 0.7130 6.5352 ((1 . 1) (2 . 2) (6 . 5) (7 . 6) (8 . 7)) 3741 0.5713 4.5318 ((5 . 13) (6 . 14) (7 . 16) (8 . 17)) 3778 0.5713 5.1936 ((1 . 2) (2 . 3) (6 . 6) (7 . 7)) 3787 0.5705 7.9419 ((1 . 7) (3 . 8) (6 . 12) (8 . 15)) 3790 0.7132 6.2669 ((1 . 22) (2 . 24) (6 . 27) (7 . 30) (8 . 31)) 3810 0.5711 6.1269 ((5 . 4) (6 . 6) (7 . 9) (8 . 10)) 3817 0.5679 11.1516 ((1 . 10) (2 . 11) (7 . 15) (8 . 16)) 3818 0.5704 8.0770 ((1 . 23) (3 . 24) (6 . 28) (7 . 29)) 3831 0.5711 6.2099 ((1 . 2) (2 . 3) (6 . 6) (8 . 9)) 3847 0.5705 7.9332 ((3 . 10) (5 . 13) (6 . 16) (7 . 17)) 3849 0.5712 5.5345 ((5 . 2) (6 . 3) (7 . 5) (8 . 8)) 3870 0.5704 8.2145 ((1 . 3) (3 . 4) (6 . 8) (8 . 10)) 3933 0.5710 6.5810 ((2 . 8) (6 . 14) (7 . 17) (8 . 18)) 3938 0.5714 2.7042 ((3 . 1) (5 . 6) (6 . 8) (7 . 9)) 3942 0.4446 11.0130 ((2 . 2) (3 . 4) (5 . 3) (7 . 9)) 3986 0.5712 5.7176 ((1 . 1) (2 . 2) (6 . 6) (7 . 9)) 3990 0.3787 10.5376 ((2 . 20) (3 . 21) (5 . 22) (7 . 26)) 4005 0.7129 6.6898 ((2 . 4) (5 . 7) (6 . 9) (7 . 12) (8 . 14)) 4009 0.2477 8.3722 ((2 . 13) (3 . 14) (5 . 15) (7 . 19)) 4019 0.5711 5.9498 ((5 . 35) (6 . 38) (7 . 39) (8 . 42)) 4034 0.5714 3.0958 ((3 . 7) (6 . 9) (7 . 10) (8 . 12)) 4062 0.5705 7.8700 ((3 . 45) (6 . 48) (7 . 49) (8 . 50)) 4067 0.2945 8.9086 ((2 . 20) (3 . 21) (6 . 24) (7 . 25)) 4082 0.5711 6.2033 ((2 . 5) (5 . 7) (6 . 8) (7 . 10)) 4087 0.7125 7.1201 ((3 . 2) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 4112 0.2945 7.1185 ((5 . 1) (6 . 2) (7 . 4) (8 . 6)) 4115 0.2945 8.1645 ((2 . 1) (3 . 2) (6 . 8) (8 . 10)) 4151 0.3790 7.3682 ((3 . 11) (6 . 15) (7 . 17) (8 . 19)) 4177 0.5711 6.0815 ((2 . 1) (6 . 7) (7 . 8) (8 . 9)) 4192 0.4452 8.7001 ((2 . 10) (3 . 11) (5 . 13) (8 . 19)) 4204 0.1498 9.5412 ((1 . 5) (6 . 11) (7 . 14) (8 . 15)) 4209 0.5713 5.1565 ((5 . 1) (6 . 2) (7 . 5) (8 . 7)) 4210 0.5707 7.4555 ((3 . 1) (6 . 4) (7 . 5) (8 . 6)) 4226 0.5709 7.0102 ((1 . 12) (3 . 13) (6 . 18) (7 . 19)) 4232 0.5711 6.2150 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 4246 0.5703 8.3730 ((5 . 2) (6 . 3) (7 . 5) (8 . 6)) 4254 0.5708 7.2064 ((2 . 9) (3 . 10) (6 . 13) (8 . 18)) 4265 0.5707 7.3983 ((5 . 20) (6 . 23) (7 . 24) (8 . 26)) 4266 0.5707 7.5398 ((3 . 5) (6 . 8) (7 . 11) (8 . 12)) 4274 0.5700 8.8634 ((1 . 36) (3 . 37) (6 . 40) (7 . 41)) 4275 0.5712 5.5161 ((3 . 22) (6 . 25) (7 . 27) (8 . 28)) 4281 0.2477 9.1838 ((1 . 5) (2 . 4) (3 . 7) (6 . 10)) 4284 0.5708 7.3157 ((2 . 3) (6 . 6) (7 . 9) (8 . 10)) 4299 0.5713 5.2372 ((5 . 16) (6 . 19) (7 . 20) (8 . 22)) 4301 0.5709 6.7776 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 4326 0.4445 11.2876 ((1 . 11) (2 . 12) (5 . 15) (7 . 19)) 4332 0.4451 9.0866 ((3 . 3) (5 . 4) (7 . 6) (8 . 9)) 4338 0.5712 5.6037 ((2 . 1) (6 . 6) (7 . 7) (8 . 8)) 4359 0.5713 4.6055 ((1 . 17) (2 . 18) (7 . 24) (8 . 26)) 4380 0.5714 4.2358 ((5 . 14) (6 . 15) (7 . 17) (8 . 18)) 4383 0.5712 5.4860 ((1 . 14) (5 . 17) (6 . 18) (7 . 21)) 4386 0.2477 8.3651 ((1 . 16) (3 . 17) (5 . 19) (6 . 21)) 4388 0.5706 7.6702 ((2 . 3) (6 . 6) (7 . 8) (8 . 9)) 4398 0.5701 8.7452 ((2 . 4) (5 . 6) (6 . 7) (7 . 8)) 4408 0.5699 9.0645 ((1 . 4) (3 . 5) (7 . 13) (8 . 14)) 4415 0.2945 6.1518 ((3 . 2) (5 . 3) (6 . 4) (8 . 9)) 4419 0.5937 7.2788 ((3 . 5) (5 . 6) (6 . 8) (7 . 9) (8 . 10)) 4470 0.5714 2.6221 ((3 . 17) (6 . 18) (7 . 19) (8 . 20)) 4491 0.5707 7.4737 ((2 . 1) (5 . 5) (6 . 6) (8 . 8)) 4492 0.5711 6.2952 ((5 . 2) (6 . 3) (7 . 7) (8 . 8)) 4495 0.2944 11.1279 ((1 . 2) (2 . 3) (6 . 6) (8 . 10)) 4497 0.5712 5.8293 ((5 . 18) (6 . 23) (7 . 24) (8 . 25)) 4502 0.5706 7.7493 ((2 . 6) (3 . 7) (6 . 11) (8 . 14)) 4503 0.5702 8.5651 ((3 . 2) (5 . 3) (6 . 6) (8 . 10)) 4504 0.5657 12.5966 ((1 . 17) (3 . 18) (5 . 21) (6 . 22)) 4538 0.5681 10.9457 ((3 . 29) (6 . 33) (7 . 37) (8 . 38)) 4560 0.5704 8.1301 ((3 . 10) (6 . 13) (7 . 16) (8 . 17)) 4561 0.5702 8.5621 ((1 . 1) (3 . 4) (7 . 9) (8 . 12)) 4562 0.5698 9.2324 ((1 . 19) (3 . 21) (6 . 25) (8 . 29)) 4563 0.5701 8.7101 ((1 . 26) (3 . 27) (6 . 31) (8 . 34)) 4577 0.5709 6.9882 ((5 . 39) (6 . 41) (7 . 42) (8 . 43)) 4588 0.5705 7.8748 ((1 . 8) (2 . 9) (5 . 11) (7 . 16)) 4607 0.1992 13.0659 ((1 . 24) (2 . 27) (3 . 28) (8 . 31)) 4621 0.8555 5.5601 ((1 . 3) (2 . 4) (5 . 7) (6 . 8) (7 . 9) (8 . 11)) 4630 0.5707 7.4574 ((1 . 11) (6 . 17) (7 . 18) (8 . 20)) 4648 0.5711 6.1115 ((1 . 1) (2 . 2) (5 . 5) (6 . 8)) 4653 0.5711 5.9261 ((1 . 3) (2 . 4) (5 . 7) (6 . 8)) 4668 0.5703 8.3425 ((2 . 1) (3 . 2) (6 . 7) (8 . 9)) 4671 0.5694 9.7245 ((1 . 2) (3 . 3) (6 . 6) (8 . 7)) 4674 0.5711 5.9476 ((2 . 1) (6 . 6) (7 . 8) (8 . 9)) 4678 0.5703 8.3686 ((2 . 11) (5 . 12) (6 . 15) (7 . 16)) 4713 0.5703 8.3152 ((1 . 5) (2 . 6) (5 . 8) (6 . 9)) 4731 0.5695 9.5245 ((3 . 19) (5 . 22) (6 . 23) (7 . 24)) 4734 0.5709 6.9807 ((1 . 3) (2 . 4) (5 . 7) (6 . 8)) 4857 0.5713 5.2134 ((3 . 4) (6 . 5) (7 . 9) (8 . 11)) 4886 0.5714 3.2164 ((5 . 29) (6 . 30) (7 . 31) (8 . 32)) 4888 0.5942 5.8080 ((1 . 1) (2 . 9) (3 . 10) (7 . 14) (8 . 15)) 4889 0.5712 5.6138 ((1 . 2) (2 . 3) (6 . 6) (7 . 7)) 4907 0.7131 6.3936 ((1 . 3) (2 . 4) (6 . 7) (7 . 8) (8 . 9)) 4914 0.5714 4.0808 ((5 . 1) (6 . 4) (7 . 5) (8 . 6)) 4921 0.5707 7.4541 ((1 . 7) (2 . 8) (7 . 14) (8 . 15)) 4929 0.5714 4.2429 ((2 . 26) (6 . 31) (7 . 32) (8 . 33)) 4932 0.5707 7.3684 ((1 . 1) (2 . 2) (3 . 3) (5 . 5)) 4940 0.5712 5.3426 ((1 . 1) (2 . 2) (6 . 6) (7 . 8)) 4961 0.5695 9.6194 ((3 . 2) (6 . 3) (7 . 7) (8 . 6)) 4978 0.3790 7.4031 ((1 . 22) (2 . 24) (5 . 25) (7 . 28)) 4982 0.2945 9.7505 ((2 . 1) (3 . 2) (5 . 3) (7 . 6)) 4992 0.5711 6.1304 ((1 . 2) (2 . 3) (7 . 8) (8 . 9)) 4998 0.5701 8.7188 ((2 . 20) (3 . 21) (6 . 23) (8 . 25)) 5029 0.2477 11.3978 ((2 . 4) (3 . 5) (5 . 6) (7 . 10)) 5036 0.5712 5.5988 ((1 . 1) (2 . 2) (7 . 8) (8 . 9)) 5038 0.3790 5.4341 ((5 . 9) (6 . 12) (7 . 14) (8 . 15)) 5039 0.5699 9.0754 ((1 . 37) (3 . 40) (6 . 44) (7 . 45)) 5044 0.3789 8.7287 ((1 . 1) (2 . 2) (5 . 3) (7 . 9)) 5046 0.5682 10.8999 ((2 . 1) (5 . 4) (7 . 8) (8 . 10)) 5053 0.7121 7.4247 ((1 . 5) (2 . 6) (6 . 9) (7 . 10) (8 . 11)) 5065 0.5711 5.9255 ((1 . 3) (3 . 5) (5 . 8) (6 . 9)) 5068 0.5699 9.0617 ((2 . 10) (3 . 11) (6 . 15) (7 . 16)) 5069 0.5710 6.7322 ((1 . 4) (2 . 5) (6 . 9) (8 . 15)) 5073 0.5701 8.6316 ((2 . 36) (3 . 37) (5 . 39) (7 . 42)) 5083 0.1664 9.2710 ((2 . 1) (5 . 5) (6 . 6) (7 . 9)) 5101 0.5704 8.1003 ((1 . 1) (3 . 2) (6 . 7) (8 . 9)) 5121 0.5714 3.1425 ((5 . 25) (6 . 27) (7 . 30) (8 . 31)) 5132 0.3790 7.5395 ((2 . 22) (3 . 23) (6 . 26) (7 . 28)) 5134 0.4454 6.7956 ((1 . 6) (3 . 8) (7 . 13) (8 . 14)) 5176 0.5711 6.1677 ((5 . 82) (6 . 84) (7 . 86) (8 . 87)) 5199 0.5705 8.0520 ((1 . 7) (2 . 8) (6 . 9) (7 . 10)) 5209 0.5708 7.2138 ((3 . 6) (5 . 8) (6 . 9) (7 . 10)) 5215 0.7127 6.8645 ((1 . 4) (2 . 5) (6 . 9) (7 . 10) (8 . 11)) 5223 0.5705 8.0399 ((2 . 1) (6 . 3) (7 . 6) (8 . 8)) 5231 0.5708 7.2852 ((1 . 8) (2 . 12) (5 . 14) (6 . 16)) 5266 0.1992 10.3824 ((1 . 2) (5 . 4) (7 . 8) (8 . 10)) 5278 0.5710 6.3870 ((2 . 2) (3 . 3) (7 . 8) (8 . 9)) 5307 0.5714 3.8270 ((3 . 54) (6 . 55) (7 . 57) (8 . 58)) 5312 0.5711 6.3495 ((1 . 1) (2 . 2) (5 . 4) (7 . 7)) 5324 0.5696 9.4524 ((1 . 12) (3 . 13) (6 . 15) (7 . 16)) 5344 0.5714 3.5132 ((3 . 5) (5 . 7) (7 . 9) (8 . 10)) 5345 0.5714 4.2656 ((1 . 14) (2 . 15) (5 . 17) (6 . 18)) 5368 0.7137 5.4258 ((1 . 32) (2 . 33) (5 . 35) (6 . 36) (7 . 37)) 5378 0.5709 6.9725 ((3 . 13) (5 . 15) (6 . 16) (8 . 21)) 5414 0.7113 8.0874 ((2 . 14) (5 . 16) (6 . 18) (7 . 21) (8 . 22)) 5418 0.5714 3.1498 ((5 . 1) (6 . 2) (7 . 3) (8 . 5)) 5433 0.5708 7.3446 ((1 . 5) (2 . 7) (5 . 10) (7 . 16)) 5479 0.8554 5.6485 ((1 . 47) (2 . 48) (5 . 58) (6 . 61) (7 . 62) (8 . 63)) 5487 0.5713 4.5958 ((2 . 2) (3 . 3) (5 . 4) (7 . 9)) 5489 0.7135 5.7703 ((1 . 5) (2 . 6) (6 . 10) (7 . 13) (8 . 14)) 5500 0.5705 7.9142 ((1 . 2) (2 . 3) (3 . 6) (7 . 12)) 5501 0.5709 6.8709 ((1 . 24) (2 . 25) (3 . 26) (6 . 30)) 5535 0.4453 7.7152 ((1 . 4) (3 . 5) (5 . 8) (6 . 10)) 5540 0.5695 9.5457 ((1 . 3) (2 . 4) (7 . 10) (8 . 14)) 5557 0.5700 8.8305 ((1 . 2) (2 . 3) (3 . 5) (6 . 6)) 5560 0.5708 7.3400 ((1 . 2) (2 . 4) (3 . 5) (8 . 9)) 5562 0.2945 8.5456 ((1 . 6) (2 . 7) (3 . 9) (7 . 14)) 5567 0.5702 8.5073 ((3 . 14) (6 . 17) (7 . 18) (8 . 19)) 5594 0.5712 5.8287 ((1 . 3) (2 . 4) (5 . 6) (7 . 9)) 5601 0.3789 8.0443 ((1 . 1) (3 . 4) (5 . 5) (6 . 7)) 5640 0.5713 4.9208 ((1 . 19) (2 . 20) (7 . 26) (8 . 27)) 5644 0.3788 9.1167 ((2 . 3) (3 . 5) (7 . 10) (8 . 12)) 5656 0.5714 2.5426 ((3 . 20) (6 . 21) (7 . 23) (8 . 24)) 5700 0.5711 6.2729 ((1 . 3) (2 . 4) (7 . 9) (8 . 11)) 5701 0.2477 9.3104 ((1 . 5) (3 . 7) (6 . 8) (8 . 11)) 5703 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 5711 0.5712 5.3935 ((1 . 35) (2 . 36) (5 . 39) (6 . 42)) 5713 0.5714 3.8531 ((5 . 2) (6 . 3) (7 . 6) (8 . 7)) 5718 0.5712 5.6055 ((2 . 21) (3 . 22) (5 . 24) (6 . 25)) 5731 0.5709 6.9320 ((5 . 2) (6 . 3) (7 . 5) (8 . 7)) 5746 0.5710 6.5456 ((1 . 2) (2 . 3) (7 . 9) (8 . 10)) 5749 0.5711 6.1236 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 5761 0.4453 7.9786 ((2 . 28) (3 . 29) (5 . 31) (8 . 36)) 5770 0.5712 5.3096 ((3 . 5) (5 . 6) (7 . 9) (8 . 12)) 5771 0.5654 12.7757 ((1 . 13) (2 . 14) (6 . 17) (8 . 21)) 5782 0.5700 8.9297 ((1 . 29) (2 . 30) (5 . 32) (6 . 34)) 5794 0.5712 5.3495 ((2 . 18) (6 . 23) (7 . 24) (8 . 25)) 5795 0.5696 9.4712 ((1 . 9) (2 . 10) (5 . 13) (7 . 16)) 5809 0.1993 7.6436 ((2 . 9) (3 . 10) (7 . 14) (8 . 15)) 5822 0.3787 10.6974 ((1 . 2) (3 . 5) (7 . 8) (8 . 9)) 5827 0.7120 7.5472 ((3 . 10) (5 . 11) (6 . 14) (7 . 15) (8 . 16)) 5830 0.5708 7.3069 ((1 . 3) (5 . 7) (7 . 10) (8 . 13)) 5847 0.7139 4.6767 ((1 . 5) (2 . 9) (6 . 12) (7 . 17) (8 . 18)) 5861 0.5712 5.7115 ((5 . 6) (6 . 7) (7 . 11) (8 . 12)) 5878 0.2477 10.3916 ((3 . 24) (5 . 25) (6 . 28) (7 . 30)) 5888 0.7140 4.4735 ((1 . 4) (2 . 5) (6 . 10) (7 . 11) (8 . 12)) 5904 0.2477 10.2171 ((1 . 1) (3 . 3) (5 . 4) (8 . 7)) 5913 0.5712 5.4893 ((1 . 5) (2 . 6) (5 . 9) (6 . 10)) 5922 0.5706 7.7045 ((1 . 4) (2 . 5) (7 . 10) (8 . 11)) 5930 0.1993 7.3042 ((2 . 1) (3 . 3) (7 . 8) (8 . 9)) 5939 0.5697 9.2486 ((3 . 1) (5 . 2) (6 . 4) (8 . 6)) 5945 0.5706 7.6593 ((1 . 16) (2 . 19) (5 . 23) (7 . 26)) 5949 0.5688 10.3775 ((3 . 8) (6 . 10) (7 . 12) (8 . 14)) 5955 0.5714 2.5165 ((3 . 13) (6 . 14) (7 . 16) (8 . 17)) 5977 0.5702 8.5184 ((1 . 1) (3 . 2) (6 . 5) (7 . 6)) 6000 0.4446 10.9861 ((1 . 15) (2 . 17) (3 . 18) (5 . 21)) 6011 0.5710 6.4504 ((5 . 4) (6 . 5) (7 . 8) (8 . 9)) 6022 0.5714 2.9240 ((5 . 2) (6 . 4) (7 . 5) (8 . 7)) 6029 0.5714 3.7871 ((1 . 4) (2 . 5) (6 . 10) (7 . 11)) 6041 0.5708 7.1657 ((3 . 6) (6 . 10) (7 . 11) (8 . 12)) 6046 0.2945 8.1309 ((3 . 1) (5 . 2) (6 . 3) (7 . 6)) 6061 0.5712 5.6634 ((1 . 14) (2 . 15) (5 . 17) (8 . 21)) 6074 0.4438 12.7282 ((1 . 11) (2 . 13) (3 . 14) (6 . 15)) 6075 0.4452 8.1762 ((2 . 15) (3 . 16) (6 . 20) (8 . 24)) 6079 0.5713 4.6706 ((3 . 2) (6 . 6) (7 . 7) (8 . 8)) 6087 0.5695 9.5294 ((1 . 3) (3 . 4) (6 . 8) (8 . 10)) 6089 0.5691 10.0208 ((3 . 15) (5 . 16) (6 . 18) (8 . 21)) 6094 0.5709 6.9329 ((5 . 2) (6 . 3) (7 . 5) (8 . 7)) 6099 0.7130 6.5402 ((1 . 24) (2 . 25) (5 . 28) (7 . 30) (8 . 31)) 6123 0.2477 7.7276 ((1 . 2) (2 . 3) (3 . 6) (5 . 5)) 6142 0.7127 6.8331 ((1 . 15) (2 . 16) (6 . 20) (7 . 24) (8 . 25)) 6148 0.2945 10.2937 ((1 . 33) (3 . 35) (5 . 36) (6 . 37)) 6167 0.5712 5.4750 ((1 . 10) (2 . 12) (6 . 20) (7 . 21)) 6173 0.5712 5.6967 ((5 . 8) (6 . 12) (7 . 13) (8 . 15)) 6191 0.7075 9.9501 ((3 . 1) (5 . 4) (6 . 6) (7 . 9) (8 . 10)) 6192 0.5691 9.9976 ((2 . 3) (3 . 4) (5 . 5) (8 . 10)) 6215 0.5710 6.7239 ((2 . 17) (5 . 19) (6 . 20) (8 . 24)) 6225 0.5705 7.8939 ((1 . 3) (2 . 4) (5 . 7) (6 . 8)) 6228 0.3789 8.8741 ((1 . 9) (2 . 11) (5 . 14) (8 . 19)) 6234 0.5710 6.4313 ((2 . 6) (6 . 10) (7 . 13) (8 . 15)) 6238 0.5712 5.6883 ((1 . 3) (2 . 4) (6 . 8) (7 . 9)) 6243 0.1993 6.5067 ((2 . 2) (5 . 6) (6 . 8) (8 . 10)) 6251 0.5692 9.8642 ((1 . 10) (3 . 11) (6 . 15) (8 . 19)) 6258 0.5698 9.1849 ((2 . 7) (3 . 8) (6 . 10) (8 . 13)) 6261 0.5714 3.5568 ((3 . 18) (6 . 19) (7 . 21) (8 . 22)) 6266 0.5700 8.9229 ((1 . 3) (3 . 4) (6 . 6) (8 . 10)) 6270 0.5699 8.9618 ((3 . 14) (5 . 15) (7 . 17) (8 . 18)) 6271 0.5702 8.5140 ((1 . 5) (2 . 7) (6 . 10) (7 . 12)) 6294 0.3788 9.6894 ((1 . 9) (2 . 11) (5 . 14) (7 . 16)) 6306 0.2945 8.7538 ((5 . 15) (6 . 17) (7 . 19) (8 . 20)) 6309 0.3783 12.4987 ((3 . 16) (5 . 17) (6 . 18) (7 . 20)) 6311 0.5711 6.2083 ((1 . 4) (2 . 5) (6 . 9) (8 . 13)) 6326 0.5709 6.9437 ((1 . 4) (2 . 5) (5 . 7) (7 . 11)) 6344 0.5702 8.5190 ((2 . 7) (3 . 9) (7 . 12) (8 . 13)) 6355 0.5709 6.9313 ((1 . 6) (2 . 7) (5 . 9) (6 . 11)) 6356 0.5704 8.1195 ((1 . 4) (3 . 8) (6 . 11) (8 . 13)) 6369 0.3790 6.4368 ((1 . 5) (2 . 6) (3 . 8) (5 . 9)) 6376 0.2945 8.0149 ((5 . 17) (6 . 19) (7 . 21) (8 . 24)) 6391 0.5714 1.9820 ((5 . 6) (6 . 8) (7 . 10) (8 . 12)) 6392 0.1992 11.4971 ((1 . 3) (3 . 5) (5 . 7) (7 . 9)) 6399 0.5713 4.6760 ((5 . 24) (6 . 26) (7 . 27) (8 . 28)) 6403 0.7065 10.3041 ((1 . 1) (2 . 2) (5 . 4) (6 . 5) (8 . 10)) 6434 0.5714 3.4256 ((5 . 2) (6 . 3) (7 . 4) (8 . 5)) 6462 0.5710 6.5617 ((2 . 18) (6 . 20) (7 . 22) (8 . 24)) 6498 0.4445 11.0870 ((3 . 36) (5 . 37) (7 . 44) (8 . 45)) 6520 0.5713 4.5689 ((2 . 1) (6 . 6) (7 . 8) (8 . 9)) 6539 0.5710 6.4238 ((1 . 6) (2 . 8) (3 . 9) (5 . 10)) 6540 0.5703 8.4315 ((1 . 18) (2 . 19) (5 . 21) (6 . 22)) 6548 0.5712 5.3491 ((3 . 6) (6 . 9) (7 . 12) (8 . 13)) 6553 0.5708 7.2453 ((1 . 11) (3 . 12) (6 . 17) (8 . 20)) 6555 0.5702 8.5691 ((1 . 13) (6 . 20) (7 . 22) (8 . 23)) 6561 0.5697 9.2450 ((3 . 2) (5 . 3) (7 . 7) (8 . 8)) 6573 0.5691 10.0673 ((2 . 19) (3 . 20) (5 . 21) (7 . 25)) 6575 0.5713 4.7583 ((1 . 1) (2 . 2) (3 . 3) (8 . 5)) 6578 0.7132 6.2153 ((2 . 31) (3 . 33) (5 . 34) (6 . 37) (7 . 38)) 6584 0.5712 5.3386 ((2 . 2) (6 . 5) (7 . 8) (8 . 9)) 6585 0.5705 7.9999 ((1 . 8) (3 . 9) (7 . 14) (8 . 15)) 6586 0.5703 8.4264 ((1 . 18) (3 . 19) (6 . 24) (7 . 25)) 6598 0.7128 6.7977 ((1 . 5) (2 . 6) (5 . 8) (6 . 10) (7 . 11)) 6613 0.5711 6.2170 ((1 . 21) (2 . 22) (7 . 27) (8 . 28)) 6635 0.3790 6.2362 ((2 . 1) (3 . 2) (5 . 4) (6 . 5)) END