4112 25 0.3784 12.0738 ((3 . 7) (4 . 6) (7 . 9) (8 . 10)) 41 0.1993 6.7150 ((1 . 3) (3 . 5) (6 . 7) (8 . 8)) 51 0.6381 5.6015 ((1 . 7) (2 . 10) (3 . 11) (4 . 6) (6 . 13) (7 . 9)) 62 0.2477 7.8742 ((3 . 10) (4 . 12) (6 . 13) (8 . 15)) 64 0.7121 7.4685 ((1 . 2) (2 . 3) (3 . 4) (4 . 8) (6 . 10)) 77 0.2945 7.8289 ((1 . 8) (6 . 13) (7 . 12) (8 . 16)) 91 0.3790 7.5256 ((3 . 1) (4 . 2) (6 . 3) (8 . 4)) 96 0.0999 6.9771 ((1 . 1) (2 . 3) (6 . 5) (7 . 4)) 129 0.5712 5.8617 ((1 . 1) (2 . 2) (3 . 3) (4 . 5)) 136 0.5712 5.7515 ((2 . 3) (3 . 7) (4 . 8) (7 . 9)) 153 0.5712 5.6151 ((1 . 7) (2 . 8) (3 . 9) (6 . 10)) 161 0.5713 4.8956 ((1 . 4) (2 . 6) (4 . 9) (6 . 10)) 162 0.5713 4.4664 ((1 . 17) (2 . 18) (4 . 20) (6 . 22)) 191 0.5713 4.9178 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 198 0.5712 5.6658 ((1 . 12) (2 . 13) (3 . 16) (4 . 17)) 207 0.2945 8.3754 ((3 . 7) (4 . 8) (7 . 11) (8 . 12)) 300 0.5710 6.4074 ((3 . 7) (4 . 8) (6 . 9) (8 . 11)) 305 0.5712 5.7200 ((1 . 16) (2 . 18) (3 . 19) (6 . 21)) 315 0.5708 7.0802 ((1 . 3) (2 . 5) (3 . 6) (6 . 8)) 340 0.7143 1.7151 ((1 . 1) (2 . 2) (3 . 4) (4 . 7) (6 . 9)) 350 0.2945 5.6948 ((3 . 5) (4 . 7) (6 . 8) (7 . 9)) 360 0.5713 4.9035 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 365 0.5714 3.6231 ((1 . 3) (2 . 4) (3 . 6) (6 . 8)) 367 0.3790 6.2506 ((1 . 44) (2 . 46) (3 . 47) (4 . 48)) 372 0.5711 6.1655 ((1 . 2) (2 . 3) (3 . 6) (4 . 7)) 405 0.5710 6.5659 ((1 . 37) (2 . 38) (3 . 39) (4 . 40)) 417 0.5708 7.1599 ((1 . 1) (2 . 2) (3 . 5) (6 . 7)) 420 0.0999 8.2449 ((1 . 4) (2 . 5) (3 . 8) (4 . 9)) 433 0.2945 8.7689 ((3 . 5) (4 . 6) (6 . 7) (8 . 8)) 460 0.5713 4.6016 ((2 . 6) (3 . 7) (4 . 8) (7 . 9)) 541 0.5700 8.8679 ((3 . 2) (6 . 3) (7 . 4) (8 . 6)) 584 0.5697 9.3264 ((1 . 3) (2 . 4) (3 . 5) (7 . 9)) 587 0.7139 4.7535 ((1 . 3) (2 . 4) (3 . 6) (4 . 7) (6 . 8)) 609 0.5704 8.1762 ((3 . 1) (6 . 3) (7 . 4) (8 . 5)) 619 0.5711 5.8985 ((2 . 7) (3 . 8) (4 . 9) (7 . 10)) 624 0.3790 6.8565 ((3 . 15) (6 . 16) (7 . 17) (8 . 18)) 672 0.5711 6.1906 ((2 . 21) (3 . 23) (6 . 24) (7 . 25)) 678 0.1992 9.0800 ((1 . 22) (3 . 24) (7 . 27) (8 . 28)) 683 0.5712 5.4682 ((1 . 2) (2 . 3) (3 . 5) (4 . 6)) 719 0.5713 4.4400 ((1 . 25) (2 . 27) (6 . 30) (7 . 31)) 729 0.3789 8.3811 ((3 . 17) (4 . 20) (7 . 21) (8 . 22)) 735 0.5713 4.8656 ((1 . 31) (2 . 32) (3 . 33) (6 . 36)) 740 0.7143 2.2181 ((1 . 2) (2 . 3) (3 . 4) (4 . 7) (6 . 9)) 767 0.1992 9.6855 ((2 . 26) (4 . 31) (6 . 29) (8 . 33)) 801 0.5713 5.0974 ((1 . 1) (2 . 2) (3 . 4) (4 . 5)) 812 0.3789 7.9478 ((1 . 8) (2 . 9) (3 . 11) (6 . 13)) 818 0.5713 4.4281 ((2 . 1) (3 . 2) (7 . 3) (8 . 5)) 819 0.5706 7.8418 ((2 . 8) (3 . 9) (6 . 10) (7 . 11)) 824 0.5712 5.5736 ((1 . 46) (2 . 49) (3 . 50) (4 . 51)) 834 0.1992 13.5770 ((1 . 32) (2 . 33) (7 . 36) (8 . 38)) 861 0.7142 3.5168 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (6 . 19)) 913 0.4452 8.4402 ((2 . 16) (3 . 17) (6 . 20) (8 . 21)) 943 0.5668 11.9383 ((1 . 2) (3 . 4) (7 . 5) (8 . 7)) 945 0.2945 8.6851 ((1 . 14) (3 . 17) (7 . 20) (8 . 21)) 949 0.5708 7.1861 ((1 . 27) (4 . 32) (7 . 33) (8 . 35)) 960 0.2945 8.6962 ((2 . 1) (3 . 2) (4 . 3) (6 . 4)) 980 0.1498 6.9044 ((1 . 1) (3 . 3) (6 . 5) (8 . 6)) 1005 0.4455 5.6034 ((3 . 1) (4 . 2) (7 . 3) (8 . 4)) 1007 0.5699 8.9558 ((1 . 12) (2 . 13) (3 . 14) (7 . 15)) 1008 0.1498 8.8721 ((1 . 3) (2 . 5) (4 . 8) (7 . 11)) 1034 0.2945 6.5305 ((1 . 20) (2 . 21) (3 . 22) (8 . 27)) 1043 0.3786 11.3431 ((2 . 12) (6 . 17) (7 . 16) (8 . 18)) 1082 0.5711 6.2832 ((1 . 1) (2 . 2) (3 . 4) (6 . 6)) 1121 0.1664 6.9648 ((2 . 2) (3 . 4) (4 . 5) (6 . 6)) 1165 0.2477 10.9288 ((3 . 2) (4 . 3) (6 . 4) (8 . 6)) 1167 0.2945 8.8197 ((3 . 20) (4 . 21) (6 . 22) (8 . 24)) 1169 0.5714 4.1816 ((1 . 31) (2 . 32) (3 . 35) (4 . 37)) 1195 0.5714 3.9321 ((1 . 2) (2 . 4) (3 . 5) (4 . 6)) 1201 0.2925 22.4057 ((1 . 9) (2 . 11) (6 . 15) (8 . 19)) 1204 0.2945 7.9093 ((2 . 1) (4 . 3) (7 . 4) (8 . 6)) 1211 0.5712 5.5068 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 1217 0.5712 5.3690 ((1 . 3) (2 . 5) (3 . 7) (6 . 9)) 1224 0.0999 5.4220 ((1 . 5) (3 . 6) (4 . 7) (6 . 9)) 1267 0.5708 7.3100 ((3 . 1) (4 . 2) (6 . 3) (8 . 5)) 1294 0.5710 6.5528 ((1 . 41) (2 . 43) (3 . 44) (6 . 46)) 1345 0.5706 7.7599 ((1 . 12) (2 . 13) (7 . 17) (8 . 19)) 1388 0.1498 8.6073 ((1 . 4) (2 . 5) (6 . 8) (8 . 11)) 1410 0.5714 3.2584 ((1 . 22) (2 . 23) (3 . 25) (6 . 26)) 1425 0.5710 6.5499 ((1 . 6) (2 . 8) (3 . 10) (4 . 11)) 1435 0.5704 8.1885 ((3 . 5) (4 . 6) (7 . 7) (8 . 9)) 1447 0.3788 9.3041 ((1 . 3) (4 . 5) (7 . 6) (8 . 8)) 1464 0.5712 5.3365 ((2 . 7) (3 . 8) (4 . 10) (7 . 12)) 1472 0.0999 12.5876 ((1 . 7) (2 . 8) (7 . 11) (8 . 12)) 1476 0.5709 6.8568 ((1 . 11) (3 . 14) (7 . 16) (8 . 17)) 1481 0.5711 6.0546 ((2 . 4) (3 . 7) (7 . 8) (8 . 9)) 1501 0.7142 3.5411 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 9)) 1513 0.5705 7.9796 ((1 . 3) (3 . 6) (4 . 8) (8 . 9)) 1577 0.4435 13.2536 ((2 . 4) (3 . 5) (6 . 6) (8 . 9)) 1604 0.5692 9.9295 ((1 . 1) (2 . 3) (4 . 7) (7 . 8)) 1624 0.3788 9.3118 ((2 . 5) (3 . 8) (7 . 10) (8 . 11)) 1643 0.5714 3.1359 ((1 . 32) (2 . 33) (3 . 34) (4 . 36)) 1690 0.5713 4.8784 ((1 . 18) (2 . 19) (4 . 20) (7 . 23)) 1736 0.5706 7.7916 ((2 . 3) (3 . 5) (7 . 6) (8 . 8)) 1738 0.5712 5.4228 ((1 . 9) (3 . 11) (6 . 13) (8 . 16)) 1747 0.5714 3.1830 ((1 . 15) (2 . 16) (3 . 18) (4 . 19)) 1756 0.5713 4.3538 ((2 . 21) (3 . 23) (4 . 24) (6 . 25)) 1761 0.5714 4.2084 ((1 . 1) (2 . 2) (3 . 4) (4 . 5)) 1763 0.5710 6.4326 ((2 . 7) (3 . 9) (4 . 10) (8 . 12)) 1776 0.5713 5.1605 ((1 . 15) (2 . 16) (4 . 19) (7 . 22)) 1777 0.5709 6.9931 ((1 . 43) (2 . 45) (3 . 47) (4 . 49)) 1778 0.5712 5.4005 ((1 . 1) (3 . 3) (4 . 4) (8 . 6)) 1793 0.5706 7.7108 ((2 . 12) (3 . 13) (4 . 14) (8 . 16)) 1805 0.7137 5.4097 ((1 . 3) (2 . 4) (3 . 7) (4 . 8) (6 . 9)) 1808 0.5711 6.2827 ((1 . 6) (2 . 8) (3 . 9) (6 . 10)) 1817 0.5713 4.4665 ((2 . 18) (3 . 19) (4 . 20) (7 . 21)) 1867 0.5707 7.3982 ((2 . 3) (3 . 6) (4 . 7) (7 . 8)) 1894 0.5714 3.4648 ((3 . 21) (4 . 22) (6 . 23) (7 . 24)) 1896 0.4453 7.8519 ((2 . 23) (3 . 25) (4 . 26) (8 . 30)) 1909 0.1993 7.7190 ((1 . 31) (2 . 34) (7 . 36) (8 . 38)) 1913 0.5712 5.5197 ((2 . 20) (3 . 21) (4 . 22) (6 . 23)) 1944 0.5705 8.0341 ((1 . 3) (3 . 5) (7 . 6) (8 . 8)) 1961 0.1993 7.6834 ((3 . 14) (4 . 15) (6 . 16) (8 . 18)) 1967 0.3787 10.0368 ((1 . 7) (4 . 10) (7 . 11) (8 . 15)) 1992 0.5709 6.9721 ((2 . 1) (3 . 2) (4 . 3) (7 . 5)) 1995 0.5713 4.6047 ((3 . 1) (4 . 2) (6 . 3) (8 . 5)) 2003 0.5710 6.4326 ((1 . 8) (2 . 9) (4 . 11) (6 . 12)) 2006 0.5714 2.3936 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 2045 0.4916 6.3552 ((3 . 1) (4 . 2) (6 . 3) (8 . 4)) 2048 0.5682 10.9178 ((1 . 4) (3 . 6) (7 . 10) (8 . 12)) 2054 0.2477 8.9241 ((3 . 13) (4 . 14) (7 . 15) (8 . 16)) 2063 0.5708 7.3198 ((1 . 44) (2 . 45) (3 . 47) (4 . 48)) 2065 0.5712 5.8126 ((1 . 18) (3 . 22) (4 . 23) (6 . 25)) 2067 0.5708 7.1929 ((1 . 54) (2 . 55) (3 . 57) (6 . 60)) 2072 0.5693 9.8194 ((3 . 6) (4 . 7) (7 . 8) (8 . 9)) 2081 0.5708 7.2600 ((2 . 19) (3 . 20) (4 . 21) (8 . 24)) 2083 0.5695 9.5544 ((3 . 1) (4 . 2) (7 . 3) (8 . 6)) 2097 0.3781 13.2701 ((1 . 3) (3 . 6) (4 . 7) (8 . 10)) 2114 0.5711 6.0732 ((1 . 28) (2 . 29) (3 . 32) (8 . 37)) 2116 0.5713 5.2553 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 2117 0.5713 4.8416 ((2 . 16) (3 . 20) (6 . 22) (8 . 24)) 2118 0.5707 7.3912 ((3 . 1) (4 . 3) (6 . 4) (8 . 6)) 2122 0.5708 7.1112 ((3 . 14) (4 . 15) (6 . 17) (8 . 19)) 2166 0.4431 13.7901 ((1 . 8) (2 . 9) (4 . 12) (8 . 14)) 2203 0.5712 5.8540 ((1 . 1) (4 . 5) (6 . 6) (8 . 8)) 2205 0.5711 6.1226 ((1 . 18) (2 . 19) (3 . 22) (6 . 23)) 2209 0.5712 5.4244 ((1 . 3) (3 . 5) (4 . 6) (8 . 8)) 2220 0.1664 7.3451 ((1 . 2) (2 . 3) (3 . 5) (4 . 7)) 2243 0.5712 5.7782 ((1 . 61) (3 . 65) (4 . 67) (7 . 68)) 2244 0.5712 5.6531 ((1 . 74) (2 . 75) (3 . 76) (4 . 77)) 2249 0.5705 7.9329 ((1 . 16) (3 . 20) (4 . 21) (6 . 23)) 2269 0.2945 9.6012 ((1 . 6) (2 . 7) (7 . 9) (8 . 11)) 2279 0.5707 7.3673 ((3 . 19) (4 . 20) (6 . 22) (7 . 21)) 2340 0.5712 5.2683 ((2 . 9) (3 . 13) (4 . 14) (7 . 15)) 2344 0.5713 5.0383 ((4 . 13) (6 . 14) (7 . 15) (8 . 16)) 2364 0.2477 9.6571 ((1 . 5) (2 . 4) (3 . 7) (8 . 10)) 2381 0.5712 5.4034 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 2389 0.5713 4.9591 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 2409 0.4446 10.7762 ((1 . 6) (3 . 8) (4 . 9) (8 . 11)) 2422 0.5712 5.3702 ((2 . 4) (3 . 7) (4 . 8) (6 . 9)) 2423 0.5713 4.6289 ((1 . 20) (2 . 21) (3 . 22) (6 . 25)) 2510 0.2945 6.8630 ((1 . 17) (2 . 19) (7 . 22) (8 . 24)) 2525 0.3789 7.6030 ((1 . 41) (3 . 43) (7 . 46) (8 . 49)) 2529 0.5713 5.2615 ((2 . 1) (3 . 5) (4 . 6) (7 . 7)) 2551 0.0999 5.6059 ((1 . 1) (2 . 3) (7 . 4) (8 . 6)) 2552 0.2945 5.9621 ((1 . 1) (3 . 3) (6 . 5) (8 . 6)) 2556 0.2945 7.5078 ((1 . 13) (3 . 16) (6 . 18) (8 . 21)) 2561 0.2945 9.0034 ((2 . 6) (3 . 7) (4 . 8) (6 . 9)) 2595 0.5705 7.8501 ((1 . 9) (4 . 13) (7 . 14) (8 . 15)) 2619 0.5713 5.2262 ((2 . 1) (3 . 2) (6 . 3) (7 . 4)) 2650 0.2945 9.2014 ((2 . 5) (3 . 6) (4 . 7) (6 . 8)) 2658 0.0999 5.1539 ((1 . 1) (2 . 3) (7 . 5) (8 . 6)) 2675 0.5712 5.4422 ((1 . 8) (2 . 10) (3 . 11) (4 . 12)) 2682 0.5711 6.3451 ((3 . 12) (4 . 13) (6 . 15) (8 . 16)) 2696 0.5712 5.3883 ((1 . 32) (2 . 34) (3 . 35) (6 . 36)) 2733 0.5712 5.3527 ((1 . 2) (2 . 4) (7 . 7) (8 . 9)) 2755 0.2945 6.5283 ((1 . 3) (3 . 5) (6 . 6) (8 . 7)) 2773 0.5712 5.7403 ((3 . 5) (4 . 6) (7 . 7) (8 . 8)) 2804 0.4909 9.4593 ((2 . 29) (3 . 31) (4 . 32) (6 . 34)) 2821 0.5705 7.8995 ((1 . 1) (3 . 4) (4 . 5) (8 . 10)) 2830 0.2477 10.5203 ((1 . 24) (2 . 23) (3 . 25) (4 . 26)) 2834 0.1993 8.0087 ((3 . 3) (4 . 5) (6 . 6) (8 . 7)) 2840 0.4454 6.4842 ((3 . 5) (4 . 6) (7 . 7) (8 . 10)) 2842 0.8554 5.5733 ((1 . 1) (2 . 4) (3 . 5) (6 . 9) (7 . 3) (8 . 6)) 2867 0.2198 5.6683 ((1 . 12) (3 . 7) (4 . 8) (6 . 9) (7 . 10) (8 . 3)) 2879 0.5713 5.1649 ((1 . 52) (2 . 53) (3 . 54) (4 . 56)) 2886 0.5714 4.2669 ((1 . 38) (2 . 39) (3 . 41) (6 . 43)) 2940 0.5697 9.2397 ((1 . 1) (3 . 4) (6 . 5) (8 . 9)) 2947 0.2945 9.1370 ((1 . 12) (2 . 13) (7 . 16) (8 . 17)) 2966 0.5712 5.4002 ((1 . 3) (2 . 11) (3 . 12) (4 . 13)) 2990 0.5712 5.6973 ((1 . 12) (3 . 14) (4 . 15) (8 . 17)) 3014 0.3789 8.8286 ((3 . 4) (4 . 5) (6 . 7) (7 . 6)) 3019 0.5702 8.6222 ((1 . 9) (2 . 10) (3 . 11) (7 . 12)) 3041 0.5714 3.4505 ((1 . 29) (2 . 30) (4 . 32) (8 . 34)) 3055 0.5713 5.1297 ((1 . 24) (2 . 25) (3 . 27) (4 . 28)) 3063 0.4452 8.4867 ((1 . 36) (2 . 37) (3 . 38) (4 . 39)) 3070 0.2945 5.8318 ((1 . 33) (3 . 35) (4 . 36) (7 . 37)) 3102 0.5700 8.9006 ((1 . 68) (2 . 69) (3 . 70) (4 . 71)) 3103 0.2945 6.9087 ((2 . 2) (3 . 3) (6 . 5) (7 . 6)) 3114 0.2945 10.5487 ((1 . 24) (2 . 25) (6 . 29) (7 . 28)) 3127 0.5710 6.7042 ((3 . 3) (4 . 4) (7 . 5) (8 . 7)) 3147 0.5714 2.9744 ((1 . 11) (2 . 12) (3 . 13) (4 . 15)) 3176 0.1993 5.3773 ((2 . 26) (3 . 27) (4 . 29) (7 . 30)) 3187 0.5713 4.9797 ((1 . 3) (2 . 4) (3 . 5) (6 . 6)) 3190 0.1993 5.9501 ((1 . 1) (3 . 3) (6 . 6) (8 . 7)) 3197 0.2945 7.0146 ((2 . 19) (4 . 21) (7 . 22) (8 . 23)) 3200 0.4454 6.3090 ((1 . 11) (2 . 13) (4 . 15) (6 . 16)) 3202 0.5677 11.2781 ((3 . 18) (4 . 19) (7 . 20) (8 . 21)) 3212 0.5709 6.8420 ((1 . 2) (2 . 3) (7 . 7) (8 . 10)) 3222 0.5712 5.7570 ((1 . 15) (2 . 16) (4 . 18) (6 . 19)) 3256 0.3790 6.0570 ((2 . 20) (3 . 24) (4 . 25) (8 . 27)) 3261 0.3789 7.7938 ((2 . 6) (3 . 7) (4 . 8) (8 . 11)) 3286 0.3788 9.8572 ((2 . 4) (4 . 7) (7 . 8) (8 . 10)) 3289 0.5713 4.6135 ((1 . 31) (2 . 25) (3 . 27) (6 . 30)) 3297 0.5713 4.8611 ((1 . 8) (2 . 9) (3 . 11) (6 . 12)) 3300 0.7142 2.7292 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (8 . 10)) 3334 0.4431 13.7855 ((2 . 3) (3 . 5) (4 . 6) (8 . 9)) 3339 0.2945 5.7735 ((1 . 11) (3 . 15) (6 . 17) (8 . 18)) 3358 0.6379 6.1926 ((1 . 16) (2 . 1) (3 . 2) (6 . 12) (7 . 3) (8 . 5)) 3362 0.5712 5.4091 ((2 . 4) (3 . 10) (4 . 11) (7 . 12)) 3366 0.5711 6.0439 ((1 . 23) (2 . 24) (3 . 26) (6 . 27)) 3410 0.2945 7.3424 ((1 . 21) (3 . 24) (7 . 27) (8 . 29)) 3418 0.5714 3.9402 ((1 . 2) (2 . 5) (3 . 6) (4 . 7)) 3446 0.1993 8.0466 ((3 . 5) (4 . 6) (7 . 7) (8 . 8)) 3472 0.5713 5.0742 ((1 . 1) (2 . 3) (3 . 4) (4 . 5)) 3537 0.5676 11.3904 ((1 . 5) (2 . 6) (6 . 9) (8 . 11)) 3538 0.5690 10.1124 ((1 . 23) (4 . 25) (6 . 26) (8 . 27)) 3548 0.5713 4.9566 ((1 . 6) (2 . 8) (3 . 9) (4 . 10)) 3549 0.5712 5.8287 ((2 . 2) (3 . 3) (4 . 5) (7 . 7)) 3561 0.5711 5.9736 ((2 . 28) (3 . 30) (4 . 31) (7 . 32)) 3585 0.5712 5.2676 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 3613 0.5712 5.8550 ((1 . 40) (2 . 41) (7 . 43) (8 . 44)) 3625 0.3790 5.8444 ((1 . 2) (2 . 3) (3 . 5) (4 . 6)) 3626 0.5714 3.5187 ((1 . 2) (2 . 3) (3 . 6) (4 . 8)) 3628 0.5714 4.2108 ((1 . 6) (3 . 8) (4 . 9) (8 . 11)) 3651 0.5692 9.9274 ((2 . 9) (3 . 11) (4 . 13) (7 . 14)) 3656 0.3790 7.0180 ((1 . 22) (2 . 23) (3 . 24) (7 . 25)) 3658 0.5713 4.3313 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 3659 0.3789 7.6871 ((1 . 8) (2 . 9) (4 . 12) (6 . 13)) 3661 0.5680 11.0360 ((1 . 8) (3 . 11) (4 . 12) (8 . 14)) 3663 0.5712 5.8114 ((2 . 1) (3 . 2) (4 . 5) (7 . 6)) 3688 0.5697 9.3409 ((1 . 26) (2 . 27) (3 . 28) (6 . 29)) 3697 0.5706 7.7662 ((3 . 6) (4 . 7) (7 . 8) (8 . 9)) 3703 0.4452 8.7064 ((2 . 6) (3 . 7) (4 . 8) (8 . 11)) 3732 0.2478 7.2194 ((1 . 2) (2 . 3) (3 . 5) (8 . 8)) 3733 0.1993 7.7821 ((1 . 1) (3 . 3) (7 . 5) (8 . 7)) 3740 0.7135 5.7636 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 9)) 3741 0.5713 4.9324 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 3776 0.3788 9.3092 ((1 . 19) (2 . 20) (3 . 21) (7 . 25)) 3778 0.5689 10.2453 ((1 . 12) (2 . 13) (7 . 17) (8 . 19)) 3787 0.3790 7.0403 ((3 . 17) (6 . 19) (7 . 20) (8 . 22)) 3790 0.5714 2.5007 ((1 . 21) (2 . 22) (3 . 24) (4 . 25)) 3807 0.0999 9.3161 ((1 . 43) (3 . 46) (4 . 47) (8 . 49)) 3810 0.5712 5.8016 ((1 . 4) (2 . 6) (3 . 9) (4 . 10)) 3831 0.2945 9.3735 ((1 . 3) (3 . 5) (4 . 6) (7 . 7)) 3849 0.5712 5.6996 ((2 . 2) (3 . 3) (4 . 5) (7 . 7)) 3853 0.2945 6.5371 ((1 . 3) (2 . 6) (7 . 19) (8 . 20)) 3933 0.5712 5.6268 ((1 . 13) (2 . 14) (3 . 17) (4 . 18)) 3938 0.5707 7.5609 ((3 . 2) (4 . 4) (6 . 6) (7 . 5)) 3942 0.4455 2.7500 ((2 . 2) (3 . 3) (4 . 9) (8 . 4)) 3968 0.1993 7.7046 ((1 . 3) (3 . 5) (6 . 9) (8 . 10)) 3990 0.4455 4.6118 ((2 . 22) (3 . 24) (4 . 25) (6 . 26)) 4005 0.5713 5.0379 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 4019 0.5713 4.7430 ((2 . 34) (3 . 35) (4 . 36) (6 . 37)) 4034 0.5713 4.9754 ((1 . 9) (2 . 10) (3 . 11) (6 . 13)) 4037 0.5711 5.9630 ((2 . 1) (3 . 2) (4 . 3) (7 . 4)) 4062 0.5713 4.5113 ((2 . 48) (3 . 49) (6 . 50) (7 . 51)) 4067 0.5708 7.2465 ((1 . 14) (2 . 16) (7 . 19) (8 . 21)) 4077 0.5442 19.0892 ((1 . 10) (2 . 11) (7 . 13) (8 . 14)) 4082 0.5713 5.1497 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 4087 0.5711 6.3227 ((1 . 1) (2 . 3) (3 . 5) (4 . 6)) 4112 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8)) 4115 0.5692 9.8866 ((2 . 8) (4 . 10) (7 . 11) (8 . 12)) 4140 0.5692 9.9213 ((3 . 21) (4 . 22) (6 . 23) (8 . 25)) 4177 0.1664 7.6503 ((4 . 1) (6 . 2) (7 . 3) (8 . 4)) 4192 0.3789 8.5665 ((2 . 10) (3 . 13) (6 . 15) (8 . 16)) 4194 0.5701 8.7181 ((1 . 1) (4 . 5) (6 . 6) (8 . 8)) 4195 0.1332 7.4953 ((1 . 6) (6 . 9) (7 . 8) (8 . 10)) 4204 0.5713 4.9787 ((1 . 3) (2 . 5) (3 . 7) (8 . 10)) 4209 0.7143 2.6024 ((1 . 1) (2 . 2) (3 . 4) (4 . 8) (6 . 10)) 4226 0.1498 10.8444 ((1 . 6) (2 . 8) (6 . 11) (8 . 13)) 4236 0.7143 1.7255 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (6 . 10)) 4246 0.5713 5.1025 ((1 . 2) (2 . 3) (4 . 6) (6 . 7)) 4254 0.3785 11.6695 ((1 . 8) (2 . 9) (3 . 11) (8 . 16)) 4255 0.5706 7.6993 ((1 . 21) (3 . 23) (4 . 24) (7 . 25)) 4257 0.4917 4.4783 ((2 . 7) (3 . 9) (4 . 10) (6 . 11)) 4265 0.5711 6.2738 ((1 . 21) (2 . 23) (7 . 25) (8 . 27)) 4274 0.1332 7.6382 ((1 . 36) (2 . 38) (3 . 40) (6 . 41)) 4275 0.5709 6.9922 ((2 . 25) (3 . 27) (4 . 28) (7 . 29)) 4281 0.4451 9.1454 ((1 . 3) (4 . 8) (7 . 9) (8 . 11)) 4284 0.4454 6.3729 ((1 . 6) (3 . 8) (4 . 9) (7 . 11)) 4299 0.5712 5.2973 ((1 . 16) (2 . 19) (3 . 20) (4 . 22)) 4326 0.1664 8.3317 ((1 . 7) (3 . 11) (4 . 12) (8 . 16)) 4332 0.5713 4.4012 ((1 . 2) (2 . 4) (6 . 6) (7 . 8)) 4352 0.2477 7.9016 ((3 . 9) (4 . 10) (7 . 11) (8 . 12)) 4359 0.5714 3.3893 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 4380 0.5712 5.4668 ((1 . 14) (2 . 15) (3 . 17) (4 . 18)) 4383 0.5712 5.7727 ((1 . 16) (3 . 18) (4 . 19) (6 . 21)) 4386 0.2945 8.7910 ((2 . 9) (3 . 10) (7 . 11) (8 . 13)) 4388 0.5706 7.7588 ((1 . 6) (3 . 8) (4 . 9) (6 . 10)) 4398 0.3790 4.6611 ((1 . 4) (2 . 6) (3 . 7) (6 . 8)) 4405 0.5711 6.1452 ((1 . 19) (3 . 23) (4 . 24) (6 . 25)) 4408 0.4451 8.7285 ((1 . 3) (2 . 4) (4 . 6) (8 . 10)) 4419 0.2945 9.6494 ((1 . 3) (3 . 6) (6 . 8) (8 . 11)) 4470 0.5703 8.4057 ((2 . 1) (3 . 2) (4 . 3) (7 . 4)) 4491 0.2945 8.8458 ((2 . 1) (4 . 5) (6 . 6) (8 . 7)) 4492 0.5944 4.5200 ((1 . 2) (2 . 3) (4 . 5) (6 . 8) (7 . 9)) 4495 0.1993 7.9974 ((1 . 16) (3 . 18) (7 . 19) (8 . 20)) 4502 0.5711 5.8926 ((1 . 6) (3 . 9) (4 . 10) (8 . 13)) 4503 0.5714 3.9879 ((1 . 1) (3 . 6) (4 . 7) (6 . 8)) 4504 0.5712 5.4394 ((1 . 4) (3 . 6) (4 . 8) (8 . 12)) 4505 0.1498 9.1112 ((3 . 25) (4 . 26) (7 . 27) (8 . 29)) 4538 0.4453 7.8523 ((2 . 30) (3 . 31) (6 . 32) (8 . 36)) 4560 0.5714 3.1045 ((2 . 13) (3 . 14) (4 . 16) (6 . 17)) 4562 0.1332 8.8986 ((1 . 22) (2 . 25) (7 . 28) (8 . 30)) 4607 0.3790 5.9386 ((2 . 3) (3 . 4) (7 . 8) (8 . 9)) 4621 0.2945 8.5066 ((2 . 6) (3 . 8) (6 . 9) (7 . 10)) 4630 0.2945 7.0718 ((1 . 12) (3 . 15) (4 . 16) (6 . 17)) 4648 0.5699 8.9525 ((3 . 1) (4 . 2) (7 . 3) (8 . 7)) 4653 0.5714 3.2043 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 4665 0.7141 4.0706 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (7 . 16)) 4668 0.3790 7.5517 ((2 . 3) (3 . 5) (6 . 7) (8 . 8)) 4671 0.2945 9.6215 ((3 . 13) (4 . 14) (6 . 15) (8 . 16)) 4713 0.3790 7.0466 ((1 . 4) (6 . 9) (7 . 10) (8 . 11)) 4857 0.5707 7.4867 ((1 . 9) (2 . 11) (7 . 12) (8 . 14)) 4886 0.1992 10.4144 ((2 . 1) (6 . 4) (7 . 3) (8 . 6)) 4889 0.3789 8.9841 ((1 . 11) (2 . 12) (7 . 18) (8 . 19)) 4907 0.7130 6.5951 ((1 . 4) (2 . 7) (3 . 8) (4 . 9) (7 . 10)) 4929 0.5714 4.1021 ((1 . 31) (2 . 32) (3 . 33) (6 . 34)) 4932 0.5711 5.9005 ((1 . 5) (2 . 6) (6 . 8) (7 . 9)) 4944 0.5712 5.7029 ((1 . 13) (2 . 14) (3 . 15) (4 . 16)) 4978 0.5702 8.5317 ((3 . 24) (6 . 25) (7 . 26) (8 . 27)) 4982 0.2942 14.5393 ((1 . 3) (3 . 6) (6 . 9) (8 . 11)) 4992 0.3789 7.7327 ((3 . 1) (4 . 2) (6 . 3) (8 . 4)) 4998 0.1498 10.9899 ((1 . 8) (6 . 15) (7 . 16) (8 . 17)) 5029 0.5709 6.9987 ((1 . 2) (2 . 4) (7 . 7) (8 . 9)) 5038 0.2478 5.3557 ((1 . 10) (2 . 12) (3 . 14) (4 . 15)) 5044 0.4916 6.6723 ((3 . 1) (4 . 2) (6 . 3) (8 . 4)) 5053 0.4452 8.1351 ((2 . 3) (3 . 5) (4 . 6) (8 . 8)) 5065 0.5713 4.7352 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 5068 0.5703 8.2743 ((1 . 12) (3 . 15) (6 . 16) (8 . 19)) 5069 0.5713 4.4477 ((2 . 4) (3 . 5) (4 . 7) (7 . 8)) 5083 0.2478 5.6828 ((1 . 2) (3 . 6) (4 . 8) (6 . 9)) 5101 0.2478 7.2602 ((3 . 3) (4 . 5) (7 . 6) (8 . 8)) 5103 0.5709 7.0291 ((2 . 2) (3 . 4) (7 . 5) (8 . 8)) 5121 0.1664 8.8231 ((1 . 26) (2 . 27) (4 . 30) (6 . 31)) 5132 0.5708 7.2458 ((2 . 18) (3 . 20) (7 . 21) (8 . 23)) 5134 0.4443 11.7236 ((1 . 2) (4 . 6) (7 . 8) (8 . 9)) 5145 0.5709 6.8507 ((1 . 5) (3 . 8) (6 . 10) (8 . 11)) 5167 0.5713 4.8747 ((1 . 1) (3 . 3) (4 . 4) (8 . 7)) 5183 0.5711 6.1609 ((1 . 34) (2 . 35) (4 . 37) (8 . 39)) 5192 0.3790 7.3475 ((2 . 1) (4 . 3) (7 . 4) (8 . 6)) 5209 0.5705 7.9896 ((1 . 7) (2 . 8) (3 . 9) (6 . 10)) 5212 0.4453 7.8733 ((3 . 2) (4 . 3) (7 . 4) (8 . 7)) 5215 0.5703 8.3782 ((2 . 3) (3 . 4) (4 . 5) (8 . 8)) 5223 0.3789 8.7615 ((2 . 6) (3 . 8) (6 . 10) (8 . 11)) 5231 0.7140 4.3711 ((1 . 8) (2 . 12) (3 . 13) (4 . 14) (7 . 15)) 5266 0.5707 7.4892 ((1 . 2) (2 . 4) (6 . 8) (8 . 9)) 5278 0.5712 5.5420 ((1 . 8) (2 . 9) (3 . 10) (6 . 12)) 5307 0.5713 5.0944 ((2 . 55) (3 . 57) (4 . 58) (7 . 59)) 5312 0.7136 5.5643 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 6)) 5318 0.5696 9.4515 ((1 . 22) (2 . 23) (3 . 24) (7 . 28)) 5323 0.5710 6.3891 ((3 . 10) (4 . 11) (7 . 12) (8 . 13)) 5324 0.5699 9.0677 ((1 . 15) (2 . 16) (7 . 19) (8 . 21)) 5344 0.5711 6.0776 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 5345 0.5711 6.2916 ((1 . 4) (2 . 5) (3 . 7) (4 . 8)) 5368 0.7140 4.6295 ((1 . 29) (2 . 30) (3 . 32) (4 . 33) (6 . 35)) 5414 0.5713 4.9800 ((1 . 14) (2 . 15) (3 . 16) (4 . 18)) 5418 0.7126 6.9798 ((2 . 2) (3 . 3) (4 . 5) (6 . 7) (8 . 10)) 5421 0.4916 6.0563 ((2 . 1) (3 . 2) (4 . 3) (6 . 4)) 5433 0.3790 7.4932 ((1 . 7) (2 . 8) (3 . 10) (6 . 13)) 5479 0.5711 6.2632 ((1 . 69) (3 . 71) (4 . 72) (6 . 74)) 5487 0.3790 6.0961 ((1 . 2) (2 . 4) (3 . 7) (8 . 10)) 5489 0.2945 6.5874 ((3 . 10) (4 . 11) (6 . 12) (8 . 15)) 5500 0.5707 7.5458 ((1 . 2) (2 . 3) (3 . 4) (4 . 7)) 5501 0.5679 11.1737 ((3 . 24) (4 . 25) (7 . 27) (8 . 28)) 5525 0.1498 13.0283 ((1 . 7) (2 . 8) (7 . 11) (8 . 12)) 5535 0.5710 6.6520 ((1 . 6) (2 . 7) (3 . 9) (4 . 11)) 5540 0.5697 9.3220 ((1 . 10) (4 . 14) (6 . 15) (8 . 17)) 5557 0.5712 5.4805 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 5562 0.5710 6.6108 ((3 . 6) (4 . 7) (7 . 9) (8 . 10)) 5594 0.3790 7.2362 ((1 . 3) (2 . 4) (4 . 6) (8 . 8)) 5601 0.2478 6.1234 ((2 . 5) (3 . 7) (6 . 8) (8 . 11)) 5640 0.7141 4.0723 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (6 . 10)) 5656 0.5705 8.0369 ((2 . 14) (3 . 16) (7 . 17) (8 . 20)) 5700 0.2247 6.9099 ((1 . 2) (2 . 3) (3 . 4) (4 . 6) (6 . 11) (8 . 7)) 5701 0.5695 9.6113 ((1 . 4) (2 . 5) (3 . 6) (7 . 7)) 5703 0.2945 7.1185 ((1 . 5) (2 . 6) (4 . 7) (6 . 8)) 5711 0.5714 4.2423 ((1 . 42) (2 . 43) (3 . 47) (8 . 48)) 5713 0.0999 5.5575 ((1 . 21) (2 . 22) (3 . 24) (4 . 25)) 5718 0.4450 9.4431 ((2 . 14) (3 . 16) (4 . 17) (8 . 22)) 5731 0.7139 4.9553 ((1 . 2) (2 . 3) (3 . 5) (6 . 7) (7 . 8)) 5746 0.5712 5.6884 ((3 . 2) (4 . 3) (7 . 4) (8 . 5)) 5749 0.5711 6.2166 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 5761 0.2945 6.4205 ((1 . 28) (3 . 31) (4 . 32) (7 . 33)) 5770 0.5708 7.2813 ((1 . 6) (3 . 9) (4 . 12) (6 . 15)) 5771 0.4452 8.3970 ((3 . 13) (4 . 14) (6 . 15) (8 . 16)) 5782 0.5713 4.6455 ((1 . 15) (3 . 18) (6 . 21) (8 . 23)) 5794 0.4452 8.4591 ((1 . 15) (2 . 16) (4 . 18) (8 . 22)) 5795 0.3786 10.9906 ((2 . 9) (3 . 10) (7 . 14) (8 . 15)) 5822 0.2945 8.8207 ((2 . 7) (6 . 9) (7 . 10) (8 . 11)) 5827 0.5714 3.6046 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 5830 0.1993 6.9481 ((1 . 2) (2 . 3) (6 . 8) (8 . 9)) 5847 0.5712 5.5505 ((1 . 12) (2 . 13) (3 . 16) (4 . 17)) 5861 0.1332 5.8122 ((1 . 17) (2 . 20) (3 . 21) (4 . 22)) 5865 0.5713 4.7130 ((1 . 4) (2 . 5) (6 . 7) (7 . 8)) 5878 0.4911 8.9696 ((2 . 25) (3 . 28) (6 . 30) (8 . 31)) 5888 0.5713 4.8757 ((1 . 10) (2 . 11) (3 . 12) (4 . 13)) 5896 0.3788 9.4593 ((3 . 28) (4 . 29) (7 . 30) (8 . 32)) 5913 0.3787 10.4971 ((1 . 7) (2 . 9) (3 . 10) (8 . 14)) 5914 0.3790 7.0295 ((3 . 2) (4 . 3) (6 . 5) (7 . 4)) 5922 0.5709 6.7737 ((1 . 8) (2 . 9) (3 . 10) (6 . 11)) 5930 0.3789 8.9101 ((2 . 1) (3 . 2) (7 . 3) (8 . 5)) 5939 0.5703 8.3469 ((1 . 9) (2 . 10) (6 . 14) (7 . 15)) 5945 0.4445 11.2435 ((3 . 2) (4 . 3) (7 . 4) (8 . 6)) 5955 0.5710 6.5352 ((1 . 1) (3 . 3) (4 . 4) (8 . 8)) 5967 0.2945 8.1144 ((1 . 1) (3 . 3) (7 . 6) (8 . 8)) 6000 0.1992 11.1603 ((2 . 14) (4 . 17) (7 . 18) (8 . 22)) 6011 0.5711 6.2670 ((1 . 11) (2 . 13) (3 . 14) (4 . 15)) 6022 0.5714 3.2367 ((1 . 2) (2 . 4) (3 . 5) (4 . 7)) 6029 0.4916 6.4433 ((2 . 3) (3 . 4) (4 . 5) (8 . 7)) 6041 0.5662 12.3038 ((1 . 8) (4 . 11) (6 . 12) (8 . 14)) 6046 0.5713 4.9287 ((1 . 2) (2 . 3) (3 . 5) (4 . 6)) 6061 0.5712 5.3854 ((2 . 13) (3 . 14) (4 . 15) (7 . 16)) 6074 0.5700 8.8384 ((1 . 4) (3 . 6) (6 . 8) (8 . 10)) 6075 0.3790 6.7426 ((2 . 17) (4 . 20) (6 . 21) (7 . 22)) 6079 0.2946 5.5781 ((1 . 7) (2 . 8) (3 . 9) (8 . 14)) 6089 0.5681 10.9465 ((3 . 16) (4 . 18) (6 . 17) (7 . 19)) 6094 0.7138 5.1393 ((1 . 2) (2 . 3) (3 . 5) (6 . 7) (7 . 8)) 6099 0.5714 3.5119 ((1 . 10) (2 . 11) (3 . 13) (4 . 14)) 6123 0.2477 8.1701 ((3 . 3) (4 . 4) (6 . 5) (8 . 7)) 6142 0.5714 3.7532 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 6148 0.5713 5.1329 ((1 . 32) (2 . 33) (3 . 34) (6 . 37)) 6167 0.5711 5.9885 ((1 . 14) (3 . 20) (4 . 21) (7 . 22)) 6215 0.4454 6.9544 ((2 . 17) (3 . 18) (4 . 19) (8 . 22)) 6225 0.5712 5.2750 ((1 . 3) (2 . 4) (3 . 5) (8 . 9)) 6228 0.5714 3.4036 ((1 . 11) (2 . 12) (6 . 14) (8 . 17)) 6234 0.5713 4.5607 ((1 . 6) (2 . 7) (3 . 9) (4 . 10)) 6243 0.5708 7.3000 ((2 . 6) (3 . 8) (7 . 9) (8 . 11)) 6251 0.3788 9.5060 ((2 . 15) (6 . 19) (7 . 18) (8 . 20)) 6258 0.3790 5.7237 ((1 . 9) (2 . 10) (3 . 12) (8 . 14)) 6261 0.1992 9.7363 ((3 . 21) (4 . 22) (7 . 23) (8 . 24)) 6266 0.1992 11.2709 ((1 . 6) (3 . 10) (7 . 11) (8 . 12)) 6271 0.5708 7.1800 ((1 . 8) (3 . 10) (4 . 11) (8 . 14)) 6273 0.1993 7.6666 ((2 . 1) (3 . 2) (4 . 3) (6 . 4)) 6306 0.5713 5.0367 ((1 . 15) (2 . 17) (4 . 19) (6 . 20)) 6309 0.1992 8.6560 ((2 . 17) (3 . 18) (6 . 20) (7 . 19)) 6326 0.6552 7.9452 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (6 . 13)) 6338 0.5712 5.8609 ((1 . 2) (2 . 4) (3 . 5) (6 . 7)) 6344 0.5705 7.8715 ((1 . 8) (6 . 12) (7 . 11) (8 . 16)) 6345 0.1992 9.3724 ((1 . 4) (3 . 6) (4 . 7) (7 . 8)) 6355 0.5713 5.0059 ((2 . 4) (3 . 6) (4 . 7) (6 . 8)) 6356 0.5708 7.2576 ((1 . 4) (3 . 6) (7 . 8) (8 . 10)) 6369 0.2945 9.5211 ((3 . 24) (6 . 26) (7 . 27) (8 . 28)) 6376 0.5713 4.5941 ((2 . 26) (3 . 27) (4 . 28) (7 . 29)) 6391 0.1993 7.3723 ((1 . 6) (2 . 8) (4 . 10) (6 . 12)) 6392 0.2478 7.3696 ((2 . 1) (6 . 3) (7 . 4) (8 . 5)) 6399 0.5714 3.2539 ((1 . 10) (2 . 11) (3 . 12) (4 . 13)) 6403 0.5714 2.9351 ((1 . 12) (2 . 13) (3 . 14) (4 . 15)) 6434 0.5712 5.5626 ((1 . 2) (3 . 4) (4 . 5) (8 . 7)) 6462 0.5692 9.9027 ((1 . 4) (2 . 5) (3 . 6) (7 . 9)) 6498 0.1993 4.8611 ((1 . 44) (2 . 45) (7 . 47) (8 . 48)) 6520 0.5713 4.9023 ((1 . 3) (2 . 6) (3 . 8) (4 . 9)) 6539 0.3790 6.1702 ((3 . 4) (4 . 5) (6 . 6) (7 . 7)) 6548 0.5712 5.4108 ((2 . 7) (3 . 12) (4 . 13) (7 . 15)) 6553 0.5711 6.0033 ((1 . 20) (3 . 23) (4 . 24) (8 . 27)) 6555 0.1991 17.3372 ((3 . 2) (4 . 3) (6 . 4) (8 . 8)) 6561 0.2945 9.0148 ((1 . 12) (3 . 13) (4 . 15) (7 . 16)) 6573 0.5706 7.6169 ((1 . 17) (2 . 19) (6 . 21) (7 . 20)) 6575 0.5713 5.1756 ((1 . 2) (2 . 1) (4 . 5) (7 . 6)) 6578 0.5709 6.7667 ((1 . 34) (3 . 38) (7 . 40) (8 . 41)) 6584 0.5675 11.4303 ((1 . 3) (3 . 5) (4 . 6) (8 . 10)) 6598 0.5714 3.6811 ((1 . 24) (2 . 25) (3 . 26) (4 . 27)) 6613 0.2945 7.8160 ((1 . 22) (4 . 24) (7 . 25) (8 . 26)) 6635 0.3789 8.9671 ((3 . 4) (4 . 5) (7 . 6) (8 . 9)) END