945 25 0.3024 11.8919 ((17 . 7) (20 . 10) (23 . 13) (25 . 14)) 41 0.4615 4.1023 ((12 . 3) (13 . 4) (14 . 5) (18 . 6) (19 . 7) (21 . 8)) 51 0.3077 5.3344 ((12 . 6) (14 . 7) (16 . 9) (17 . 10)) 62 0.3076 9.0799 ((18 . 9) (19 . 10) (22 . 13) (23 . 15)) 64 0.3077 7.1961 ((12 . 3) (14 . 6) (19 . 8) (25 . 16)) 77 0.3077 6.9256 ((12 . 8) (13 . 10) (19 . 15) (21 . 17)) 91 0.3845 6.9685 ((13 . 36) (14 . 37) (16 . 39) (17 . 40) (18 . 41)) 96 0.3842 10.3676 ((12 . 1) (13 . 2) (14 . 3) (16 . 4) (19 . 6)) 129 0.3076 7.9744 ((12 . 1) (14 . 3) (19 . 8) (22 . 12)) 136 0.3843 9.9519 ((12 . 3) (13 . 4) (14 . 5) (16 . 6) (19 . 8)) 147 0.2975 8.3470 ((13 . 1) (20 . 5) (23 . 8) (24 . 9)) 150 0.3846 4.5709 ((17 . 20) (18 . 21) (19 . 23) (21 . 24) (22 . 25)) 153 0.3077 6.5551 ((14 . 1) (17 . 4) (19 . 6) (22 . 8)) 155 0.2283 12.7002 ((14 . 3) (16 . 4) (20 . 7) (21 . 8)) 157 0.3846 5.8496 ((14 . 1) (16 . 2) (17 . 3) (19 . 5) (20 . 6)) 161 0.0997 6.5010 ((16 . 1) (19 . 6) (20 . 7) (22 . 9)) 162 0.3076 9.2650 ((17 . 17) (19 . 18) (20 . 19) (22 . 22)) 169 0.3077 6.8200 ((12 . 4) (14 . 7) (19 . 9) (22 . 12)) 177 0.3077 6.6585 ((12 . 4) (14 . 5) (17 . 7) (19 . 10)) 191 0.2554 8.6072 ((14 . 1) (17 . 2) (18 . 3) (22 . 6)) 207 0.3846 5.1340 ((14 . 8) (18 . 11) (19 . 13) (21 . 14) (22 . 15)) 233 0.3077 5.9386 ((12 . 1) (14 . 3) (17 . 5) (19 . 8)) 259 0.3076 9.7388 ((13 . 1) (20 . 6) (21 . 7) (23 . 8)) 300 0.3075 10.9492 ((12 . 10) (13 . 11) (16 . 12) (19 . 17)) 305 0.3077 4.0606 ((16 . 8) (17 . 9) (18 . 10) (19 . 11)) 307 0.3846 4.2461 ((12 . 1) (14 . 3) (19 . 7) (21 . 8) (22 . 9)) 315 0.3076 9.4752 ((13 . 2) (14 . 4) (17 . 6) (18 . 7)) 317 0.3074 12.8064 ((13 . 1) (20 . 6) (23 . 9) (25 . 10)) 350 0.3077 6.8046 ((17 . 13) (18 . 14) (19 . 15) (22 . 20)) 351 0.3076 9.6313 ((13 . 2) (16 . 4) (18 . 6) (23 . 10)) 360 0.3077 5.7775 ((14 . 5) (17 . 7) (19 . 9) (22 . 12)) 361 0.3077 6.7422 ((17 . 2) (18 . 3) (19 . 4) (20 . 5)) 367 0.3077 6.6630 ((14 . 38) (18 . 41) (19 . 42) (22 . 44)) 372 0.3077 6.9227 ((12 . 2) (14 . 5) (17 . 8) (22 . 14)) 387 0.3076 9.2819 ((12 . 1) (14 . 7) (19 . 9) (22 . 12)) 405 0.3072 15.0495 ((12 . 31) (14 . 33) (17 . 37) (19 . 39)) 420 0.3077 7.2727 ((12 . 1) (14 . 3) (17 . 5) (19 . 8)) 433 0.3076 9.5219 ((12 . 1) (17 . 6) (19 . 7) (22 . 10)) 442 0.3077 5.2701 ((12 . 6) (13 . 9) (14 . 10) (25 . 18)) 460 0.2554 8.0421 ((13 . 4) (14 . 6) (18 . 9) (19 . 8)) 472 0.3074 13.2876 ((14 . 20) (17 . 22) (21 . 24) (22 . 25)) 491 0.0997 5.0671 ((12 . 6) (13 . 5) (17 . 8) (19 . 10)) 495 0.3846 4.4088 ((12 . 3) (13 . 4) (14 . 5) (16 . 6) (19 . 9)) 541 0.4615 3.9895 ((12 . 7) (13 . 9) (14 . 11) (18 . 13) (19 . 14) (22 . 17)) 543 0.3693 12.1871 ((12 . 5) (16 . 7) (17 . 8) (18 . 9) (21 . 14)) 553 0.3074 12.9397 ((13 . 6) (16 . 9) (23 . 15) (25 . 21)) 561 0.0997 5.4039 ((12 . 1) (13 . 2) (14 . 3) (19 . 6)) 584 0.3846 5.2522 ((12 . 5) (16 . 9) (17 . 10) (18 . 12) (19 . 13)) 587 0.3077 7.3674 ((12 . 2) (14 . 4) (17 . 7) (19 . 8)) 609 0.3846 5.4818 ((12 . 1) (13 . 2) (14 . 3) (19 . 6) (22 . 8)) 619 0.3077 6.3555 ((12 . 12) (17 . 15) (18 . 17) (19 . 18)) 624 0.4611 8.7052 ((12 . 7) (13 . 8) (14 . 11) (16 . 12) (19 . 13) (23 . 18)) 635 0.3076 8.0555 ((12 . 5) (16 . 9) (22 . 14) (24 . 17)) 672 0.3077 6.4528 ((13 . 12) (17 . 16) (19 . 18) (22 . 23)) 678 0.6569 5.6725 ((12 . 22) (13 . 23) (14 . 24) (16 . 25) (17 . 26) (18 . 28) (19 . 29) (21 . 33) (22 . 34)) 683 0.1919 8.9009 ((14 . 3) (16 . 4) (17 . 5) (19 . 6)) 719 0.2284 4.5218 ((14 . 22) (19 . 25) (21 . 29) (22 . 30)) 729 0.4615 4.4467 ((14 . 7) (17 . 9) (19 . 13) (21 . 14) (22 . 15) (25 . 21)) 735 0.3077 7.0855 ((12 . 29) (14 . 32) (17 . 36) (19 . 39)) 740 0.3077 5.4658 ((14 . 2) (16 . 1) (17 . 3) (19 . 5)) 765 0.3077 6.9631 ((12 . 7) (17 . 12) (19 . 17) (22 . 20)) 767 0.4615 2.1826 ((12 . 1) (13 . 2) (14 . 3) (17 . 8) (19 . 12) (22 . 29)) 782 0.3076 8.9633 ((18 . 4) (23 . 7) (24 . 9) (25 . 11)) 792 0.3074 12.5578 ((13 . 11) (16 . 14) (23 . 19) (25 . 20)) 795 0.3077 5.3197 ((12 . 3) (13 . 4) (14 . 5) (17 . 6)) 796 0.3077 7.5423 ((13 . 1) (14 . 3) (16 . 4) (17 . 5)) 812 0.3846 4.9241 ((14 . 9) (17 . 11) (18 . 12) (19 . 13) (22 . 16)) 818 0.3846 5.2641 ((14 . 4) (16 . 5) (17 . 8) (18 . 9) (19 . 10)) 834 0.3076 10.2973 ((12 . 32) (16 . 35) (20 . 39) (25 . 44)) 861 0.3077 7.2853 ((13 . 11) (14 . 12) (16 . 14) (17 . 15)) 901 0.4615 4.1479 ((12 . 12) (17 . 15) (18 . 16) (19 . 17) (21 . 19) (22 . 20)) 904 0.3077 4.1176 ((18 . 1) (19 . 3) (21 . 5) (22 . 6)) 913 0.3076 8.0723 ((12 . 16) (16 . 18) (17 . 20) (18 . 21)) 928 0.3846 3.6919 ((12 . 10) (13 . 11) (17 . 12) (19 . 14) (22 . 18)) 937 0.3077 5.3861 ((19 . 1) (20 . 2) (21 . 3) (22 . 4)) 943 0.6010 4.8326 ((12 . 4) (13 . 5) (14 . 6) (16 . 7) (17 . 8) (19 . 9) (21 . 10) (22 . 12)) 945 1.0000 0.0000 ((12 . 12) (13 . 13) (14 . 14) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25)) 949 0.3076 8.8094 ((14 . 27) (17 . 30) (19 . 32) (21 . 35)) 960 0.3846 3.4168 ((12 . 9) (13 . 11) (14 . 12) (19 . 19) (22 . 21)) 978 0.4614 6.1547 ((14 . 13) (18 . 15) (19 . 16) (20 . 17) (21 . 18) (22 . 19)) 980 0.4615 4.7411 ((14 . 1) (16 . 2) (17 . 3) (19 . 5) (21 . 6) (22 . 7)) 1005 0.2553 13.4105 ((21 . 3) (23 . 5) (24 . 6) (25 . 8)) 1007 0.3077 6.4055 ((13 . 6) (14 . 7) (19 . 9) (22 . 13)) 1008 0.3076 8.3904 ((12 . 5) (14 . 8) (17 . 13) (19 . 15)) 1034 0.3077 7.1810 ((14 . 22) (20 . 27) (22 . 29) (23 . 31)) 1043 0.3845 8.0848 ((12 . 1) (13 . 5) (17 . 6) (21 . 11) (22 . 12)) 1082 0.4615 3.2395 ((12 . 9) (13 . 11) (14 . 12) (19 . 16) (21 . 18) (22 . 19)) 1084 0.3077 7.6131 ((13 . 6) (17 . 10) (22 . 17) (25 . 21)) 1124 0.2283 12.1313 ((20 . 11) (21 . 13) (23 . 15) (24 . 16)) 1165 0.3845 7.5020 ((12 . 4) (14 . 7) (19 . 10) (22 . 12) (25 . 16)) 1167 0.3076 9.4983 ((13 . 19) (14 . 20) (17 . 22) (25 . 29)) 1201 0.5473 4.6121 ((12 . 1) (13 . 2) (14 . 3) (16 . 13) (17 . 14) (19 . 18) (20 . 19) (22 . 32)) 1204 0.3846 6.5824 ((13 . 2) (17 . 3) (19 . 5) (21 . 8) (22 . 11)) 1210 0.3075 11.5158 ((13 . 3) (16 . 5) (18 . 6) (20 . 7)) 1211 0.3076 8.4079 ((14 . 8) (19 . 10) (22 . 14) (25 . 17)) 1217 0.3077 5.0608 ((12 . 3) (14 . 7) (17 . 11) (19 . 12)) 1224 0.3077 6.5685 ((14 . 5) (17 . 7) (21 . 11) (22 . 14)) 1233 0.6922 3.8974 ((12 . 11) (13 . 13) (14 . 14) (16 . 16) (17 . 17) (18 . 19) (19 . 20) (21 . 21) (22 . 22)) 1267 0.6153 3.2842 ((12 . 22) (13 . 23) (14 . 24) (17 . 33) (18 . 34) (19 . 36) (21 . 37) (22 . 38)) 1268 0.3075 11.5613 ((16 . 14) (18 . 15) (20 . 17) (25 . 20)) 1294 0.3076 9.3036 ((14 . 40) (19 . 43) (20 . 45) (22 . 47)) 1345 0.3845 7.1910 ((16 . 6) (17 . 7) (19 . 9) (21 . 10) (22 . 12)) 1366 0.3077 6.4919 ((12 . 12) (13 . 13) (14 . 14) (17 . 16)) 1388 0.3076 10.2541 ((17 . 5) (18 . 6) (20 . 7) (24 . 12)) 1395 0.1919 14.4590 ((16 . 1) (18 . 2) (20 . 3) (24 . 5)) 1415 0.2554 8.3681 ((20 . 1) (21 . 2) (23 . 4) (24 . 5)) 1447 0.6078 4.4379 ((12 . 1) (13 . 2) (14 . 3) (16 . 4) (17 . 5) (19 . 7) (21 . 8) (22 . 9)) 1451 0.3077 4.9236 ((12 . 1) (13 . 2) (14 . 3) (19 . 5)) 1464 0.3077 7.7659 ((13 . 9) (14 . 10) (16 . 12) (19 . 14)) 1470 0.3076 10.1553 ((13 . 8) (16 . 9) (18 . 11) (20 . 12)) 1472 0.2283 12.1934 ((16 . 3) (18 . 5) (20 . 10) (25 . 12)) 1476 0.6153 3.3552 ((12 . 9) (13 . 10) (14 . 11) (16 . 13) (17 . 14) (19 . 18) (21 . 19) (22 . 20)) 1481 0.1919 10.2542 ((13 . 3) (17 . 5) (19 . 7) (21 . 9)) 1497 0.3077 7.7803 ((13 . 16) (20 . 20) (23 . 23) (24 . 25)) 1501 0.3076 8.9661 ((12 . 5) (14 . 7) (17 . 9) (18 . 10)) 1513 0.3846 4.6155 ((12 . 11) (13 . 12) (14 . 13) (17 . 15) (21 . 19)) 1514 0.2553 11.7140 ((14 . 1) (18 . 2) (19 . 3) (20 . 5)) 1577 0.3295 7.4042 ((12 . 5) (16 . 9) (18 . 11) (19 . 12) (22 . 15)) 1591 0.4614 6.2400 ((12 . 4) (13 . 5) (14 . 6) (19 . 8) (21 . 10) (22 . 11)) 1595 0.2974 12.2777 ((18 . 1) (20 . 3) (23 . 6) (24 . 9)) 1604 0.4615 4.0554 ((14 . 7) (16 . 9) (17 . 10) (18 . 11) (19 . 12) (21 . 13)) 1622 0.3846 5.2289 ((17 . 18) (18 . 19) (19 . 20) (21 . 21) (22 . 22)) 1624 0.2853 10.8448 ((17 . 7) (18 . 10) (19 . 9) (20 . 11)) 1643 0.3258 7.1971 ((12 . 33) (14 . 34) (16 . 35) (17 . 36) (19 . 38) (22 . 39)) 1644 0.3077 6.8674 ((12 . 44) (14 . 47) (17 . 49) (19 . 51)) 1665 0.4615 4.1140 ((12 . 6) (13 . 7) (14 . 8) (16 . 9) (17 . 10) (18 . 11)) 1690 0.3846 4.5973 ((12 . 1) (13 . 7) (14 . 8) (17 . 11) (22 . 16)) 1692 0.2975 8.1646 ((13 . 4) (17 . 7) (19 . 8) (22 . 10)) 1731 0.4615 3.9423 ((12 . 3) (14 . 6) (18 . 7) (19 . 8) (21 . 11) (22 . 12)) 1736 0.3846 4.5248 ((12 . 5) (13 . 6) (14 . 7) (16 . 9) (17 . 10)) 1738 0.3846 6.0551 ((12 . 4) (14 . 9) (16 . 10) (17 . 11) (21 . 15)) 1747 0.3077 5.5394 ((14 . 11) (17 . 13) (19 . 16) (22 . 19)) 1756 0.3076 8.7377 ((12 . 23) (14 . 26) (17 . 29) (19 . 31)) 1759 0.3077 6.2209 ((12 . 5) (14 . 8) (17 . 10) (19 . 13)) 1761 0.6009 5.2592 ((12 . 7) (13 . 8) (14 . 9) (16 . 10) (17 . 11) (19 . 13) (21 . 14) (22 . 16)) 1763 0.3077 5.2875 ((12 . 3) (18 . 8) (19 . 9) (23 . 12)) 1776 0.4613 7.6479 ((12 . 1) (13 . 6) (14 . 7) (17 . 9) (19 . 12) (21 . 13)) 1778 0.3077 5.6949 ((14 . 1) (17 . 3) (21 . 6) (22 . 8)) 1793 0.3846 2.9377 ((12 . 6) (13 . 7) (14 . 8) (16 . 9) (17 . 10)) 1796 0.3074 12.5081 ((13 . 1) (16 . 2) (20 . 5) (23 . 7)) 1805 0.3077 6.5683 ((17 . 2) (19 . 4) (20 . 5) (22 . 9)) 1808 0.3077 5.5466 ((16 . 1) (17 . 2) (21 . 7) (22 . 8)) 1867 0.3077 6.5571 ((14 . 1) (16 . 2) (17 . 3) (18 . 4)) 1894 0.3076 8.0671 ((14 . 5) (16 . 6) (19 . 7) (20 . 8)) 1896 0.3076 9.4163 ((12 . 3) (13 . 4) (14 . 5) (22 . 14)) 1897 0.3077 5.7920 ((12 . 34) (19 . 40) (21 . 44) (24 . 48)) 1908 0.3846 4.4572 ((12 . 3) (13 . 4) (18 . 6) (19 . 7) (22 . 10)) 1909 0.4491 9.2519 ((13 . 30) (14 . 31) (16 . 33) (17 . 34) (19 . 37) (22 . 39)) 1913 0.3077 2.3817 ((12 . 1) (13 . 2) (14 . 3) (17 . 6)) 1944 0.3846 3.3507 ((12 . 7) (13 . 8) (14 . 9) (16 . 12) (17 . 13)) 1957 0.4615 5.2190 ((12 . 1) (13 . 2) (14 . 3) (17 . 5) (19 . 7) (22 . 9)) 1961 0.3077 5.6127 ((17 . 14) (19 . 16) (21 . 18) (22 . 19)) 1967 0.3077 5.0084 ((12 . 3) (16 . 6) (21 . 11) (22 . 13)) 1972 0.6154 3.0149 ((12 . 16) (13 . 17) (14 . 18) (16 . 19) (17 . 20) (19 . 24) (21 . 25) (22 . 27)) 1987 0.3076 8.3269 ((16 . 11) (18 . 12) (20 . 14) (21 . 15)) 1992 0.3845 6.8364 ((12 . 1) (18 . 8) (19 . 9) (21 . 10) (22 . 12)) 2003 0.3076 8.5984 ((12 . 5) (13 . 6) (14 . 8) (17 . 10)) 2006 0.3077 7.6908 ((12 . 12) (14 . 14) (19 . 16) (25 . 27)) 2048 0.3846 4.6413 ((12 . 1) (14 . 4) (17 . 6) (21 . 12) (24 . 15)) 2054 0.3076 8.0020 ((13 . 9) (16 . 12) (17 . 14) (18 . 15)) 2063 0.3077 5.8297 ((14 . 42) (17 . 44) (18 . 46) (19 . 47)) 2065 0.3077 7.6813 ((16 . 15) (17 . 16) (19 . 18) (20 . 20)) 2067 0.3845 8.2160 ((14 . 2) (16 . 3) (17 . 4) (20 . 6) (25 . 17)) 2072 0.3077 6.8067 ((14 . 2) (16 . 3) (19 . 4) (21 . 8)) 2081 0.3076 8.5128 ((13 . 11) (14 . 12) (21 . 18) (22 . 19)) 2083 0.3846 4.5020 ((12 . 2) (13 . 3) (14 . 4) (16 . 6) (21 . 11)) 2097 0.3076 8.4659 ((13 . 2) (20 . 10) (23 . 15) (25 . 19)) 2114 0.3077 4.4212 ((13 . 30) (14 . 32) (19 . 36) (21 . 39)) 2116 0.3077 6.8260 ((14 . 2) (17 . 4) (19 . 6) (22 . 9)) 2117 0.4615 4.6436 ((14 . 6) (16 . 8) (17 . 9) (18 . 13) (19 . 14) (24 . 19)) 2118 0.3077 7.2477 ((17 . 7) (18 . 8) (21 . 10) (22 . 11)) 2122 0.3845 6.7589 ((12 . 1) (14 . 6) (17 . 8) (19 . 10) (21 . 11)) 2166 0.3076 9.6098 ((16 . 5) (21 . 10) (22 . 12) (25 . 14)) 2179 0.3846 4.6563 ((12 . 4) (14 . 5) (19 . 10) (22 . 13) (23 . 15)) 2196 0.1919 9.0080 ((12 . 12) (14 . 14) (17 . 17) (19 . 19)) 2203 0.3074 12.8726 ((19 . 1) (20 . 3) (22 . 5) (25 . 8)) 2205 0.3076 8.1330 ((12 . 15) (17 . 20) (21 . 25) (22 . 26)) 2209 0.3846 6.6340 ((13 . 2) (14 . 3) (17 . 5) (19 . 7) (22 . 9)) 2220 0.3077 5.4993 ((13 . 1) (14 . 2) (17 . 5) (19 . 7)) 2243 0.3076 8.7794 ((12 . 44) (13 . 46) (14 . 47) (19 . 49)) 2244 0.3077 6.2672 ((12 . 74) (14 . 76) (17 . 78) (19 . 80)) 2248 0.3844 8.9978 ((14 . 16) (18 . 20) (19 . 22) (20 . 23) (22 . 27)) 2249 0.5383 5.1718 ((12 . 4) (14 . 7) (16 . 8) (17 . 11) (19 . 12) (20 . 14) (22 . 16)) 2269 0.3077 5.2171 ((14 . 8) (17 . 10) (18 . 11) (21 . 13)) 2279 0.3076 7.9736 ((12 . 10) (14 . 11) (19 . 19) (22 . 22)) 2295 0.3075 11.1416 ((13 . 1) (16 . 3) (18 . 4) (21 . 6)) 2298 0.4615 5.1268 ((12 . 6) (13 . 7) (14 . 8) (16 . 9) (19 . 12) (22 . 15)) 2308 0.3077 5.2304 ((14 . 6) (17 . 8) (18 . 10) (21 . 12)) 2314 0.3076 10.4429 ((12 . 2) (14 . 3) (19 . 7) (20 . 9)) 2340 0.3296 2.9084 ((12 . 9) (13 . 10) (14 . 11) (19 . 13) (22 . 14)) 2342 0.3075 12.1517 ((13 . 1) (16 . 3) (20 . 5) (21 . 6)) 2344 0.3845 7.0789 ((12 . 3) (13 . 5) (14 . 6) (16 . 9) (19 . 10)) 2364 0.4226 3.4466 ((12 . 7) (13 . 8) (14 . 9) (16 . 11) (17 . 12) (19 . 15) (21 . 16) (22 . 18)) 2381 0.2554 8.2327 ((13 . 2) (14 . 3) (17 . 5) (20 . 8)) 2389 0.3076 9.8712 ((12 . 5) (14 . 7) (17 . 9) (22 . 14)) 2408 0.3076 8.2332 ((12 . 34) (17 . 40) (19 . 42) (22 . 46)) 2409 0.3075 10.8607 ((14 . 2) (17 . 4) (19 . 6) (23 . 11)) 2410 0.2854 7.1783 ((18 . 12) (19 . 13) (20 . 14) (21 . 15)) 2422 0.3846 6.1200 ((12 . 1) (13 . 2) (14 . 4) (19 . 9) (20 . 10)) 2423 0.3077 7.0164 ((14 . 17) (16 . 18) (21 . 23) (22 . 25)) 2440 0.3076 9.1063 ((14 . 4) (16 . 5) (17 . 6) (21 . 10)) 2443 0.3073 14.2307 ((13 . 3) (18 . 5) (23 . 9) (25 . 10)) 2447 0.4615 4.9849 ((14 . 13) (16 . 14) (17 . 15) (18 . 16) (19 . 18) (22 . 21)) 2462 0.3077 5.6704 ((12 . 7) (13 . 10) (14 . 11) (17 . 12)) 2465 0.3075 11.7556 ((16 . 1) (20 . 5) (23 . 7) (25 . 8)) 2510 0.6922 3.1666 ((12 . 17) (13 . 18) (14 . 19) (17 . 21) (18 . 22) (19 . 23) (21 . 24) (22 . 25) (24 . 26)) 2519 0.1919 12.9262 ((20 . 1) (21 . 3) (22 . 2) (25 . 6)) 2525 0.3077 7.2585 ((12 . 38) (14 . 41) (16 . 42) (20 . 46)) 2529 0.3577 4.4746 ((12 . 1) (13 . 2) (14 . 3) (18 . 4) (19 . 5) (22 . 6)) 2533 0.4495 4.4527 ((12 . 4) (13 . 5) (14 . 6) (17 . 8) (19 . 9) (23 . 16)) 2544 0.2284 6.6929 ((13 . 18) (16 . 20) (17 . 22) (18 . 24)) 2551 0.2975 7.7408 ((16 . 6) (20 . 8) (21 . 10) (22 . 11)) 2552 0.3846 5.2880 ((14 . 1) (16 . 2) (17 . 3) (18 . 4) (21 . 6)) 2556 0.4615 3.2325 ((12 . 11) (13 . 12) (14 . 13) (17 . 16) (19 . 18) (22 . 22)) 2557 0.3077 7.6599 ((14 . 3) (16 . 5) (17 . 6) (18 . 8)) 2561 0.2554 9.6889 ((13 . 5) (14 . 7) (17 . 8) (19 . 9)) 2591 0.3077 7.7572 ((20 . 36) (23 . 38) (24 . 39) (25 . 40)) 2595 0.4495 4.3447 ((12 . 1) (14 . 4) (18 . 5) (19 . 6) (21 . 7) (22 . 9)) 2619 0.3845 6.9671 ((17 . 3) (18 . 4) (19 . 5) (20 . 6) (22 . 7)) 2627 0.3077 6.8804 ((18 . 59) (19 . 60) (21 . 62) (22 . 64)) 2634 0.3072 15.0525 ((13 . 5) (18 . 8) (20 . 9) (23 . 13)) 2650 0.3077 7.0792 ((17 . 2) (18 . 4) (19 . 5) (22 . 7)) 2658 0.3075 11.2354 ((13 . 5) (16 . 7) (20 . 11) (22 . 13)) 2675 0.3076 10.4165 ((17 . 3) (19 . 5) (21 . 9) (22 . 10)) 2682 0.3794 9.2145 ((14 . 12) (18 . 16) (19 . 17) (22 . 19) (23 . 21)) 2696 0.3077 6.5540 ((12 . 31) (17 . 34) (19 . 36) (22 . 39)) 2703 0.2552 14.5974 ((16 . 1) (20 . 3) (21 . 4) (23 . 6)) 2731 0.3077 6.9443 ((12 . 1) (13 . 2) (16 . 3) (17 . 5)) 2733 0.3743 5.4083 ((12 . 1) (14 . 2) (17 . 4) (18 . 7) (19 . 8) (21 . 9) (22 . 11)) 2753 0.3074 12.6584 ((16 . 6) (18 . 7) (20 . 8) (24 . 11)) 2755 0.4615 5.2609 ((13 . 2) (14 . 3) (17 . 5) (19 . 6) (21 . 7) (22 . 8)) 2773 0.3076 10.3959 ((12 . 3) (13 . 4) (14 . 5) (21 . 8)) 2783 0.3077 5.1931 ((13 . 4) (17 . 6) (19 . 8) (22 . 12)) 2804 0.3077 7.8883 ((12 . 36) (13 . 37) (17 . 39) (19 . 40)) 2821 0.3763 4.9084 ((12 . 2) (18 . 10) (19 . 11) (21 . 12) (22 . 13)) 2830 0.5602 6.0470 ((12 . 11) (13 . 12) (14 . 13) (18 . 14) (19 . 15) (20 . 16) (22 . 17) (24 . 18)) 2834 0.3077 5.2880 ((12 . 9) (18 . 11) (19 . 12) (22 . 14)) 2840 0.3077 5.0571 ((14 . 1) (19 . 5) (22 . 9) (23 . 10)) 2842 0.3846 5.4553 ((12 . 1) (13 . 3) (17 . 4) (21 . 8) (24 . 10)) 2867 0.2284 7.2735 ((14 . 7) (17 . 8) (20 . 11) (21 . 13)) 2879 0.3077 6.1400 ((14 . 51) (17 . 53) (18 . 55) (19 . 56)) 2886 0.3076 8.8038 ((12 . 30) (14 . 34) (17 . 37) (22 . 43)) 2929 0.2853 10.8087 ((19 . 36) (20 . 37) (21 . 38) (23 . 41)) 2940 0.3077 4.4371 ((14 . 1) (17 . 3) (19 . 4) (22 . 6)) 2947 0.3077 5.7349 ((12 . 4) (13 . 5) (14 . 6) (22 . 13)) 2950 0.2284 10.3567 ((18 . 7) (20 . 8) (21 . 10) (24 . 12)) 2955 0.3077 3.9744 ((12 . 3) (13 . 2) (14 . 4) (17 . 5)) 2966 0.3077 7.0321 ((16 . 2) (18 . 5) (20 . 7) (22 . 9)) 2990 0.3567 8.6112 ((12 . 12) (13 . 13) (17 . 16) (18 . 17) (23 . 21)) 2999 0.3077 4.2670 ((17 . 2) (18 . 3) (19 . 4) (22 . 6)) 3014 0.3077 7.2923 ((18 . 3) (19 . 4) (22 . 7) (23 . 9)) 3019 0.3846 4.1682 ((12 . 11) (13 . 12) (14 . 14) (21 . 18) (22 . 19)) 3034 0.4615 4.7112 ((14 . 1) (16 . 4) (17 . 5) (19 . 7) (21 . 8) (22 . 9)) 3041 0.3846 5.1326 ((14 . 12) (17 . 14) (19 . 16) (22 . 18) (25 . 25)) 3055 0.3846 5.1698 ((12 . 15) (14 . 16) (17 . 17) (19 . 19) (22 . 23)) 3063 0.3075 11.1119 ((12 . 35) (17 . 38) (19 . 39) (22 . 42)) 3070 0.3077 5.4165 ((12 . 32) (14 . 33) (17 . 36) (18 . 37)) 3084 0.4615 5.4064 ((12 . 3) (13 . 4) (14 . 5) (17 . 7) (19 . 9) (22 . 11)) 3102 0.3077 4.9998 ((12 . 58) (14 . 59) (17 . 60) (19 . 66)) 3103 0.3077 6.5947 ((12 . 2) (14 . 5) (16 . 6) (19 . 9)) 3114 0.2973 12.4653 ((17 . 22) (19 . 24) (22 . 29) (23 . 28)) 3120 0.3075 11.6072 ((21 . 20) (22 . 21) (24 . 23) (25 . 24)) 3127 0.6569 5.7907 ((12 . 2) (14 . 6) (16 . 7) (17 . 8) (18 . 9) (19 . 11) (20 . 12) (22 . 13) (25 . 17)) 3147 0.3077 4.7088 ((12 . 16) (14 . 17) (17 . 18) (19 . 20)) 3176 0.2974 11.4230 ((14 . 26) (18 . 30) (20 . 31) (21 . 32)) 3187 0.3077 7.3744 ((12 . 2) (19 . 6) (21 . 8) (22 . 9)) 3190 0.3846 3.3754 ((14 . 1) (17 . 3) (19 . 6) (21 . 7) (22 . 9)) 3197 0.6920 4.6307 ((12 . 10) (13 . 11) (14 . 12) (17 . 14) (18 . 15) (19 . 16) (21 . 17) (23 . 20) (24 . 30)) 3200 0.3077 6.3233 ((16 . 2) (19 . 6) (20 . 7) (22 . 11)) 3202 0.3074 12.9066 ((18 . 2) (20 . 3) (23 . 5) (25 . 7)) 3212 0.3077 6.5036 ((12 . 5) (13 . 7) (14 . 9) (16 . 10)) 3222 0.3077 7.5194 ((17 . 4) (18 . 5) (24 . 13) (25 . 17)) 3256 0.3077 7.1310 ((12 . 13) (19 . 19) (22 . 24) (23 . 27)) 3261 0.3076 10.1095 ((14 . 2) (18 . 5) (22 . 8) (25 . 12)) 3286 0.3699 4.2218 ((14 . 3) (17 . 5) (18 . 6) (19 . 7) (22 . 9)) 3297 0.3077 7.4553 ((12 . 7) (14 . 8) (19 . 11) (22 . 13)) 3300 0.2854 7.5469 ((14 . 1) (20 . 9) (21 . 10) (24 . 12)) 3322 0.6421 4.6890 ((12 . 1) (13 . 2) (14 . 3) (16 . 4) (17 . 5) (18 . 6) (19 . 7) (21 . 8) (24 . 10)) 3334 0.3075 11.4761 ((16 . 2) (17 . 3) (19 . 4) (25 . 11)) 3339 0.5384 4.6268 ((14 . 11) (16 . 14) (17 . 15) (19 . 17) (21 . 18) (22 . 19) (25 . 23)) 3344 0.3076 10.7404 ((12 . 18) (14 . 19) (17 . 21) (19 . 22)) 3358 0.4026 7.3215 ((12 . 4) (13 . 5) (14 . 7) (19 . 8) (20 . 9) (22 . 10)) 3362 0.4278 8.7845 ((12 . 4) (13 . 5) (14 . 6) (17 . 8) (20 . 12) (21 . 13)) 3366 0.2854 10.3926 ((14 . 22) (19 . 26) (22 . 29) (25 . 33)) 3391 0.6152 4.9303 ((12 . 4) (13 . 5) (14 . 6) (16 . 7) (17 . 8) (19 . 10) (21 . 12) (22 . 13)) 3410 0.6153 3.4311 ((12 . 19) (13 . 20) (14 . 21) (16 . 23) (17 . 24) (19 . 28) (21 . 29) (22 . 30)) 3446 0.3074 12.6571 ((20 . 3) (21 . 4) (22 . 5) (25 . 9)) 3470 0.2975 8.1622 ((13 . 10) (16 . 11) (21 . 15) (25 . 18)) 3472 0.3077 5.6364 ((12 . 4) (14 . 5) (17 . 8) (19 . 11)) 3481 0.6152 4.5042 ((12 . 2) (13 . 3) (14 . 4) (16 . 5) (17 . 8) (19 . 10) (21 . 11) (22 . 12)) 3489 0.3076 8.3448 ((12 . 2) (14 . 4) (19 . 10) (22 . 14)) 3495 0.3076 8.1396 ((17 . 1) (19 . 3) (22 . 7) (25 . 10)) 3496 0.3077 5.8539 ((19 . 19) (20 . 20) (21 . 21) (22 . 22)) 3533 0.2554 7.9839 ((14 . 1) (17 . 3) (18 . 6) (22 . 10)) 3537 0.3077 5.1563 ((12 . 7) (13 . 8) (14 . 9) (17 . 10)) 3538 0.3697 9.2089 ((13 . 17) (19 . 18) (20 . 22) (22 . 23) (25 . 27)) 3548 0.3845 6.8755 ((14 . 3) (17 . 5) (18 . 7) (19 . 8) (22 . 10)) 3549 0.2284 6.5861 ((14 . 1) (18 . 4) (19 . 5) (21 . 7)) 3561 0.4615 4.4197 ((13 . 17) (14 . 20) (17 . 22) (19 . 26) (21 . 27) (22 . 28)) 3570 0.3843 9.8087 ((12 . 1) (13 . 2) (17 . 4) (21 . 9) (22 . 10)) 3585 0.3846 6.2633 ((12 . 6) (13 . 7) (17 . 12) (21 . 15) (22 . 16)) 3613 0.3076 10.7671 ((17 . 35) (20 . 38) (22 . 40) (24 . 42)) 3626 0.3077 6.1944 ((12 . 2) (13 . 5) (14 . 6) (19 . 11)) 3628 0.3846 5.2128 ((13 . 5) (14 . 6) (17 . 8) (21 . 11) (22 . 12)) 3651 0.3760 10.3321 ((12 . 5) (16 . 7) (19 . 11) (24 . 20) (25 . 25)) 3656 0.3074 12.7840 ((13 . 12) (20 . 20) (22 . 22) (25 . 25)) 3658 0.3076 8.9473 ((17 . 8) (18 . 9) (20 . 10) (21 . 12)) 3659 0.3077 4.2436 ((12 . 9) (14 . 12) (17 . 13) (18 . 14)) 3661 0.3833 14.2498 ((12 . 7) (17 . 11) (20 . 14) (23 . 18) (24 . 21)) 3663 0.3077 6.5221 ((14 . 1) (17 . 5) (18 . 6) (21 . 7)) 3688 0.2971 14.8020 ((17 . 3) (19 . 7) (21 . 10) (22 . 11)) 3697 0.3076 9.7594 ((17 . 1) (19 . 4) (22 . 6) (25 . 8)) 3703 0.2974 11.7504 ((13 . 5) (17 . 6) (19 . 8) (20 . 10)) 3732 0.3845 7.5804 ((12 . 5) (13 . 6) (14 . 7) (17 . 9) (21 . 13)) 3733 0.3846 4.0661 ((14 . 1) (17 . 3) (18 . 4) (21 . 7) (22 . 8)) 3740 0.3077 6.5731 ((14 . 1) (19 . 5) (22 . 7) (23 . 8)) 3741 0.3076 8.8043 ((12 . 27) (14 . 28) (16 . 33) (19 . 35)) 3776 0.4615 5.3488 ((12 . 15) (13 . 16) (14 . 17) (19 . 21) (20 . 23) (22 . 24)) 3778 0.3076 8.7357 ((14 . 4) (16 . 5) (17 . 6) (20 . 8)) 3787 0.4420 3.3195 ((12 . 7) (13 . 8) (18 . 11) (19 . 12) (21 . 14) (22 . 15)) 3790 0.3296 3.8256 ((12 . 15) (14 . 16) (17 . 18) (19 . 21) (22 . 26)) 3807 0.3076 8.1136 ((19 . 43) (22 . 47) (24 . 49) (25 . 51)) 3817 0.3846 4.5817 ((14 . 1) (18 . 3) (19 . 5) (21 . 6) (22 . 7)) 3818 0.3076 8.3496 ((14 . 20) (16 . 21) (19 . 23) (20 . 24)) 3829 0.3076 8.5555 ((13 . 4) (16 . 7) (20 . 11) (21 . 13)) 3830 0.2853 10.8834 ((13 . 1) (16 . 3) (18 . 4) (20 . 5)) 3831 0.3077 6.1879 ((14 . 6) (16 . 7) (17 . 9) (21 . 11)) 3834 0.2283 13.2230 ((16 . 2) (21 . 5) (23 . 6) (24 . 7)) 3847 0.1919 10.1203 ((12 . 9) (16 . 10) (18 . 12) (20 . 15)) 3849 0.2554 7.7739 ((14 . 1) (16 . 4) (17 . 3) (19 . 5)) 3853 0.3845 7.3023 ((14 . 3) (16 . 4) (17 . 6) (19 . 8) (21 . 9)) 3856 0.0997 3.8677 ((12 . 3) (13 . 4) (14 . 6) (17 . 9)) 3870 0.3846 2.7803 ((12 . 3) (13 . 4) (17 . 5) (21 . 9) (22 . 10)) 3933 0.3076 9.6123 ((13 . 4) (14 . 7) (17 . 10) (22 . 17)) 3938 0.2975 7.4140 ((13 . 5) (17 . 9) (20 . 12) (21 . 16)) 3942 0.3074 13.3536 ((19 . 3) (20 . 5) (21 . 6) (23 . 8)) 3968 0.3077 3.4065 ((12 . 3) (14 . 5) (18 . 8) (19 . 9)) 3986 0.3076 8.4774 ((12 . 6) (14 . 9) (16 . 10) (21 . 19)) 3990 0.4615 3.4295 ((12 . 18) (13 . 19) (14 . 20) (16 . 21) (17 . 22) (22 . 26)) 4005 0.3077 6.0978 ((14 . 24) (17 . 27) (20 . 31) (22 . 33)) 4009 0.3844 9.3696 ((14 . 1) (18 . 6) (19 . 7) (21 . 8) (22 . 11)) 4019 0.3077 6.1782 ((12 . 42) (14 . 43) (17 . 45) (19 . 46)) 4030 0.3076 8.3786 ((13 . 4) (18 . 7) (21 . 10) (24 . 12)) 4034 0.3076 8.3013 ((16 . 1) (18 . 3) (19 . 5) (22 . 6)) 4037 0.3075 10.8924 ((14 . 1) (18 . 4) (20 . 5) (24 . 8)) 4062 0.3075 11.3073 ((16 . 45) (19 . 48) (22 . 50) (23 . 52)) 4067 0.4615 2.1762 ((12 . 14) (13 . 15) (14 . 16) (18 . 19) (19 . 20) (22 . 24)) 4077 0.2852 14.0042 ((13 . 5) (18 . 8) (20 . 9) (25 . 14)) 4082 0.3076 8.4702 ((12 . 5) (14 . 7) (16 . 9) (19 . 10)) 4087 0.3846 6.4044 ((14 . 1) (18 . 4) (19 . 5) (22 . 7) (25 . 9)) 4112 0.2554 8.6851 ((14 . 1) (17 . 3) (20 . 7) (21 . 8)) 4115 0.4420 2.9500 ((12 . 1) (13 . 2) (18 . 7) (19 . 8) (21 . 9) (22 . 10)) 4134 0.3070 16.0751 ((13 . 25) (18 . 27) (21 . 30) (25 . 33)) 4140 0.3073 13.9234 ((14 . 21) (19 . 23) (20 . 25) (23 . 27)) 4151 0.3846 4.8684 ((14 . 9) (18 . 14) (19 . 15) (21 . 16) (22 . 17)) 4177 0.3076 8.3950 ((12 . 2) (13 . 6) (14 . 7) (19 . 9)) 4190 0.3076 10.1062 ((12 . 3) (13 . 6) (16 . 7) (19 . 9)) 4192 0.3846 4.6705 ((12 . 10) (13 . 11) (14 . 13) (16 . 14) (17 . 15)) 4194 0.3846 5.5228 ((12 . 1) (13 . 2) (14 . 3) (17 . 5) (19 . 7)) 4195 0.3077 7.3604 ((12 . 6) (17 . 9) (20 . 11) (23 . 12)) 4204 0.6152 4.9642 ((12 . 3) (13 . 4) (14 . 5) (16 . 6) (17 . 7) (19 . 9) (21 . 10) (22 . 11)) 4209 0.3076 9.0739 ((12 . 2) (14 . 5) (17 . 10) (18 . 11)) 4210 0.3077 5.9570 ((14 . 6) (17 . 8) (18 . 9) (19 . 10)) 4216 0.2284 10.6710 ((20 . 10) (21 . 12) (23 . 14) (24 . 15)) 4226 0.6742 3.8432 ((12 . 1) (13 . 3) (14 . 4) (17 . 6) (18 . 20) (19 . 22) (21 . 23) (22 . 24) (24 . 25)) 4232 0.3076 8.1956 ((12 . 2) (14 . 3) (17 . 5) (22 . 8)) 4242 0.2974 11.4608 ((20 . 2) (23 . 5) (24 . 6) (25 . 8)) 4254 0.3845 6.7340 ((14 . 1) (16 . 2) (17 . 4) (18 . 5) (20 . 7)) 4255 0.2553 12.1652 ((16 . 20) (17 . 21) (19 . 23) (20 . 25)) 4257 0.4615 2.4827 ((12 . 1) (13 . 2) (14 . 3) (16 . 6) (17 . 7) (19 . 11)) 4261 0.3076 10.2221 ((13 . 10) (18 . 14) (20 . 15) (21 . 16)) 4265 0.4615 3.9655 ((14 . 21) (16 . 22) (17 . 23) (18 . 25) (19 . 26) (22 . 29)) 4266 0.4614 5.8547 ((12 . 2) (13 . 3) (14 . 4) (17 . 6) (21 . 7) (25 . 14)) 4274 0.3077 7.3417 ((17 . 36) (18 . 37) (20 . 39) (22 . 40)) 4275 0.3846 4.7506 ((14 . 21) (16 . 22) (17 . 23) (18 . 24) (22 . 28)) 4281 0.3568 4.6680 ((14 . 3) (17 . 5) (18 . 6) (19 . 8) (22 . 10)) 4284 0.3077 6.0317 ((14 . 1) (17 . 5) (22 . 6) (23 . 7)) 4299 0.3846 3.5292 ((12 . 6) (13 . 7) (14 . 9) (19 . 11) (22 . 14)) 4301 0.3075 11.2210 ((14 . 1) (17 . 3) (19 . 6) (22 . 10)) 4326 0.6921 4.2376 ((12 . 2) (13 . 6) (14 . 7) (17 . 10) (18 . 14) (19 . 15) (21 . 16) (22 . 17) (24 . 18)) 4332 0.3076 9.5019 ((12 . 4) (13 . 5) (14 . 6) (16 . 8)) 4338 0.3077 4.4426 ((12 . 4) (13 . 5) (14 . 6) (19 . 8)) 4352 0.3075 11.2450 ((16 . 1) (18 . 2) (23 . 7) (24 . 11)) 4359 0.3846 4.4381 ((12 . 10) (14 . 11) (17 . 12) (19 . 13) (22 . 17)) 4380 0.3077 6.9199 ((14 . 23) (17 . 24) (20 . 28) (22 . 30)) 4386 0.3075 12.0004 ((18 . 3) (19 . 4) (20 . 5) (25 . 8)) 4388 0.3077 4.4300 ((18 . 2) (19 . 3) (21 . 4) (22 . 5)) 4398 0.3846 5.4731 ((13 . 2) (14 . 4) (17 . 6) (21 . 9) (22 . 10)) 4405 0.3077 5.7055 ((18 . 13) (19 . 14) (21 . 17) (22 . 18)) 4408 0.3077 4.8518 ((12 . 2) (14 . 4) (16 . 5) (17 . 6)) 4415 0.4420 4.4569 ((12 . 1) (14 . 4) (18 . 5) (19 . 9) (21 . 10) (22 . 11)) 4419 0.3077 7.8276 ((13 . 2) (14 . 3) (19 . 8) (22 . 10)) 4426 0.3074 12.5539 ((13 . 1) (17 . 2) (21 . 5) (22 . 6)) 4470 0.7684 5.2562 ((12 . 1) (13 . 4) (14 . 5) (16 . 6) (17 . 7) (18 . 11) (19 . 12) (21 . 13) (22 . 14) (25 . 23)) 4491 0.2554 10.1935 ((17 . 1) (19 . 5) (21 . 7) (22 . 6)) 4492 0.6010 4.6543 ((12 . 11) (13 . 12) (14 . 13) (16 . 14) (17 . 16) (19 . 18) (21 . 19) (22 . 21)) 4495 0.5384 4.8371 ((12 . 6) (13 . 7) (14 . 8) (16 . 9) (17 . 10) (18 . 11) (25 . 12)) 4497 0.3077 6.6179 ((14 . 23) (17 . 25) (19 . 27) (22 . 30)) 4502 0.3761 9.7506 ((13 . 3) (17 . 6) (18 . 7) (19 . 9) (22 . 11)) 4503 0.3076 9.2329 ((14 . 1) (16 . 2) (17 . 3) (19 . 5)) 4504 0.3846 4.3513 ((12 . 15) (14 . 17) (16 . 18) (17 . 19) (21 . 23)) 4505 0.3077 3.5174 ((17 . 26) (19 . 28) (21 . 29) (22 . 30)) 4516 0.3846 3.4278 ((12 . 6) (13 . 7) (14 . 8) (16 . 9) (17 . 10)) 4538 0.2974 11.0455 ((13 . 27) (19 . 32) (20 . 36) (23 . 39)) 4551 0.3296 6.0911 ((12 . 1) (14 . 2) (19 . 4) (20 . 7) (22 . 8)) 4560 0.6153 3.9528 ((12 . 1) (13 . 5) (14 . 6) (17 . 8) (18 . 10) (19 . 11) (21 . 12) (22 . 17)) 4561 0.5471 6.3114 ((12 . 1) (14 . 5) (16 . 6) (17 . 7) (18 . 8) (19 . 9) (20 . 11) (22 . 16)) 4562 0.5950 4.4997 ((12 . 19) (13 . 21) (14 . 22) (19 . 25) (21 . 26) (22 . 27) (24 . 28) (25 . 30)) 4563 0.3846 3.7143 ((12 . 26) (13 . 27) (14 . 28) (19 . 31) (22 . 34)) 4577 0.3074 12.4519 ((12 . 48) (14 . 50) (22 . 58) (23 . 59)) 4579 0.3075 11.3968 ((13 . 16) (18 . 22) (23 . 25) (25 . 26)) 4588 0.5385 2.5429 ((12 . 1) (13 . 2) (14 . 3) (17 . 9) (19 . 11) (21 . 12) (22 . 13)) 4589 0.3076 8.1178 ((19 . 18) (21 . 20) (22 . 22) (25 . 26)) 4607 0.3076 10.6909 ((16 . 2) (21 . 9) (23 . 13) (24 . 15)) 4621 0.3076 8.7744 ((13 . 2) (16 . 5) (20 . 10) (22 . 11)) 4630 0.3077 4.5754 ((12 . 14) (14 . 17) (19 . 20) (22 . 26)) 4648 0.2854 5.2193 ((17 . 2) (18 . 3) (19 . 5) (20 . 7)) 4653 0.3077 6.0006 ((14 . 1) (16 . 2) (17 . 4) (19 . 5)) 4668 0.6193 4.1961 ((12 . 1) (13 . 2) (14 . 3) (17 . 5) (18 . 6) (19 . 7) (21 . 8) (22 . 9) (24 . 10)) 4669 0.3846 5.4823 ((13 . 16) (14 . 17) (17 . 19) (19 . 21) (21 . 22)) 4671 0.3077 5.5097 ((17 . 2) (18 . 3) (19 . 4) (20 . 5)) 4674 0.3076 8.0122 ((14 . 1) (16 . 3) (18 . 4) (22 . 9)) 4678 0.2974 12.0396 ((16 . 2) (20 . 5) (22 . 6) (23 . 9)) 4713 0.2854 8.1863 ((12 . 3) (14 . 6) (17 . 8) (20 . 11)) 4715 0.3075 12.3112 ((13 . 1) (23 . 10) (24 . 11) (25 . 13)) 4731 0.2974 10.5660 ((13 . 13) (18 . 17) (21 . 20) (22 . 22)) 4764 0.2975 8.8836 ((16 . 7) (18 . 8) (21 . 11) (23 . 14)) 4783 0.3075 12.1269 ((13 . 2) (16 . 3) (18 . 6) (20 . 7)) 4817 0.2854 8.6854 ((18 . 5) (20 . 6) (21 . 7) (24 . 11)) 4857 0.3845 7.9254 ((12 . 3) (13 . 4) (14 . 5) (22 . 13) (25 . 15)) 4886 0.4613 7.3016 ((12 . 1) (14 . 19) (18 . 20) (19 . 22) (22 . 24) (25 . 27)) 4888 0.2972 13.9394 ((13 . 11) (18 . 18) (20 . 19) (24 . 24)) 4889 0.3076 8.7797 ((14 . 4) (16 . 5) (19 . 6) (25 . 13)) 4907 0.3295 7.5447 ((12 . 3) (14 . 4) (17 . 5) (22 . 9) (23 . 10)) 4914 0.3076 8.2118 ((14 . 4) (17 . 6) (19 . 8) (22 . 12)) 4921 0.3077 6.3955 ((12 . 7) (14 . 9) (17 . 12) (22 . 17)) 4929 0.3076 8.4602 ((12 . 26) (17 . 29) (19 . 32) (22 . 34)) 4932 0.3845 8.0615 ((14 . 1) (17 . 4) (19 . 6) (20 . 7) (22 . 8)) 4940 0.3077 5.2904 ((14 . 2) (18 . 5) (19 . 6) (22 . 9)) 4941 0.3072 15.0674 ((12 . 5) (14 . 7) (17 . 11) (25 . 21)) 4944 0.3568 6.1391 ((12 . 11) (13 . 12) (17 . 14) (19 . 16) (20 . 17)) 4961 0.5360 6.0802 ((12 . 3) (13 . 4) (14 . 6) (18 . 11) (19 . 12) (22 . 17) (23 . 18)) 4963 0.2973 12.3634 ((18 . 6) (20 . 8) (21 . 9) (23 . 10)) 4978 0.3846 3.4484 ((12 . 18) (13 . 20) (14 . 21) (21 . 27) (22 . 28)) 4982 0.3846 5.9776 ((12 . 1) (13 . 2) (14 . 3) (19 . 6) (25 . 15)) 4992 0.3846 5.6763 ((17 . 3) (18 . 4) (19 . 6) (21 . 7) (22 . 8)) 4998 0.3845 6.8991 ((14 . 1) (18 . 2) (19 . 3) (21 . 5) (22 . 6)) 5000 0.3076 10.4985 ((20 . 30) (21 . 31) (24 . 33) (25 . 34)) 5016 0.2974 10.8979 ((13 . 5) (18 . 6) (20 . 8) (23 . 10)) 5029 0.6882 5.0395 ((12 . 2) (13 . 3) (14 . 4) (16 . 5) (17 . 6) (18 . 7) (19 . 8) (20 . 9) (22 . 10)) 5036 0.3077 7.0520 ((14 . 1) (17 . 2) (19 . 4) (22 . 8)) 5038 0.2554 8.1746 ((14 . 10) (16 . 13) (17 . 14) (19 . 16)) 5039 0.3077 4.6602 ((12 . 37) (13 . 40) (14 . 41) (19 . 44)) 5044 0.2554 7.6208 ((14 . 3) (16 . 4) (19 . 9) (22 . 14)) 5046 0.2854 6.7410 ((12 . 3) (17 . 7) (18 . 9) (19 . 10)) 5053 0.3077 6.6105 ((13 . 8) (17 . 11) (20 . 14) (23 . 17)) 5065 0.3077 6.6327 ((12 . 2) (16 . 6) (17 . 8) (19 . 10)) 5068 0.6893 6.2929 ((12 . 2) (13 . 3) (14 . 4) (16 . 6) (17 . 7) (19 . 17) (20 . 19) (22 . 24) (25 . 27)) 5069 0.4614 6.7244 ((12 . 2) (13 . 3) (17 . 7) (19 . 9) (22 . 15) (23 . 16)) 5073 0.3846 4.5802 ((17 . 36) (18 . 38) (19 . 39) (21 . 41) (22 . 42)) 5080 0.3075 12.1144 ((12 . 3) (16 . 6) (20 . 9) (23 . 13)) 5083 0.3077 4.2677 ((13 . 3) (14 . 5) (17 . 8) (19 . 9)) 5092 0.3076 8.8972 ((16 . 3) (18 . 4) (23 . 8) (24 . 9)) 5101 0.6318 4.9053 ((12 . 1) (13 . 2) (14 . 3) (16 . 4) (17 . 5) (18 . 6) (19 . 7) (21 . 8) (22 . 9)) 5103 0.5384 2.9750 ((12 . 13) (13 . 14) (14 . 15) (18 . 16) (19 . 17) (21 . 18) (22 . 19)) 5121 0.3077 7.4166 ((18 . 14) (19 . 16) (20 . 17) (22 . 21)) 5132 0.4610 9.2541 ((12 . 18) (13 . 19) (14 . 20) (16 . 21) (19 . 22) (22 . 26)) 5134 0.3077 6.8201 ((17 . 10) (21 . 16) (22 . 17) (23 . 18)) 5145 0.4615 4.3553 ((12 . 3) (13 . 4) (14 . 5) (16 . 7) (17 . 8) (18 . 9)) 5167 0.3846 6.6436 ((13 . 7) (14 . 9) (16 . 10) (19 . 12) (22 . 14)) 5176 0.1480 7.2143 ((12 . 82) (16 . 85) (17 . 87) (19 . 88)) 5183 0.3076 8.6842 ((12 . 34) (17 . 38) (18 . 39) (21 . 41)) 5192 0.3846 6.2997 ((14 . 1) (16 . 2) (17 . 3) (19 . 5) (20 . 6)) 5198 0.4281 6.3446 ((12 . 21) (13 . 23) (14 . 24) (16 . 25) (17 . 26) (18 . 27)) 5199 0.3075 10.8169 ((12 . 4) (14 . 7) (17 . 8) (19 . 9)) 5209 0.3076 8.2484 ((12 . 4) (13 . 6) (14 . 7) (19 . 9)) 5212 0.3075 11.2236 ((16 . 1) (21 . 9) (23 . 10) (24 . 12)) 5215 0.3845 7.1170 ((13 . 8) (14 . 9) (17 . 11) (20 . 14) (23 . 17)) 5223 0.4563 6.5995 ((14 . 1) (16 . 2) (19 . 6) (21 . 7) (22 . 8) (25 . 13)) 5231 0.1480 8.1183 ((14 . 8) (16 . 9) (17 . 13) (19 . 14)) 5266 0.3846 5.7329 ((12 . 2) (13 . 3) (17 . 8) (19 . 10) (22 . 13)) 5278 0.3077 5.9377 ((14 . 5) (17 . 7) (19 . 9) (22 . 12)) 5285 0.3076 9.6609 ((20 . 2) (23 . 4) (24 . 5) (25 . 6)) 5307 0.3077 6.5201 ((12 . 53) (13 . 54) (14 . 55) (16 . 59)) 5312 0.3077 5.5979 ((12 . 1) (14 . 2) (17 . 5) (18 . 6)) 5318 0.3077 5.7728 ((14 . 8) (16 . 9) (17 . 11) (18 . 12)) 5323 0.3075 12.0673 ((13 . 9) (14 . 10) (16 . 12) (24 . 18)) 5324 0.4615 4.0784 ((14 . 7) (16 . 9) (17 . 10) (19 . 12) (22 . 14) (25 . 17)) 5344 0.2853 12.1915 ((14 . 1) (18 . 5) (20 . 6) (22 . 8)) 5345 0.3077 4.1610 ((14 . 7) (17 . 9) (19 . 12) (22 . 16)) 5368 0.3842 10.3723 ((12 . 35) (14 . 37) (17 . 39) (18 . 40) (25 . 50)) 5378 0.3077 3.9602 ((12 . 4) (13 . 5) (14 . 6) (17 . 7)) 5411 0.3076 9.1825 ((16 . 1) (19 . 3) (21 . 5) (22 . 6)) 5414 0.3077 5.7640 ((12 . 14) (14 . 16) (17 . 19) (19 . 21)) 5418 0.2284 10.3416 ((14 . 1) (18 . 4) (19 . 3) (23 . 10)) 5433 0.3077 5.2034 ((12 . 7) (14 . 10) (19 . 16) (25 . 25)) 5442 0.2975 8.0201 ((13 . 32) (20 . 37) (21 . 38) (24 . 40)) 5479 0.3077 6.8318 ((14 . 55) (17 . 58) (19 . 60) (24 . 65)) 5487 0.3846 3.7715 ((14 . 4) (17 . 7) (18 . 8) (19 . 9) (22 . 11)) 5489 0.3076 9.1039 ((14 . 2) (16 . 4) (19 . 6) (22 . 9)) 5500 0.3698 8.2887 ((14 . 4) (16 . 6) (17 . 7) (18 . 13) (20 . 15)) 5501 0.3076 8.5911 ((16 . 26) (18 . 28) (19 . 30) (21 . 32)) 5525 0.3074 13.2497 ((13 . 9) (16 . 10) (20 . 12) (21 . 13)) 5535 0.3076 8.1482 ((12 . 7) (14 . 9) (17 . 12) (18 . 13)) 5540 0.3075 10.8656 ((13 . 2) (14 . 3) (23 . 13) (25 . 17)) 5557 0.3077 3.4710 ((12 . 4) (13 . 5) (14 . 6) (16 . 8)) 5560 0.4614 6.4622 ((12 . 2) (13 . 3) (14 . 4) (21 . 8) (22 . 9) (25 . 14)) 5562 0.3845 6.7490 ((12 . 7) (13 . 9) (18 . 13) (19 . 14) (22 . 17)) 5567 0.3846 5.9272 ((17 . 8) (18 . 10) (19 . 11) (21 . 14) (22 . 15)) 5594 0.4614 6.1856 ((14 . 1) (17 . 4) (18 . 5) (19 . 6) (20 . 7) (22 . 9)) 5600 0.3077 7.5035 ((12 . 6) (14 . 9) (16 . 10) (17 . 11)) 5601 0.3844 8.6389 ((14 . 1) (17 . 3) (19 . 5) (21 . 9) (22 . 10)) 5638 0.3077 5.0040 ((12 . 7) (14 . 9) (16 . 12) (17 . 13)) 5640 0.3295 7.7691 ((12 . 9) (14 . 10) (17 . 11) (19 . 14) (22 . 19)) 5644 0.3076 9.0500 ((12 . 3) (13 . 5) (17 . 8) (22 . 14)) 5656 0.7661 6.9278 ((12 . 1) (13 . 4) (14 . 5) (16 . 6) (18 . 13) (19 . 14) (20 . 15) (22 . 16) (23 . 19) (25 . 26)) 5689 0.3076 8.8553 ((18 . 4) (20 . 7) (21 . 8) (25 . 11)) 5700 0.3077 6.0627 ((12 . 2) (17 . 4) (19 . 6) (20 . 7)) 5701 0.3845 7.5120 ((13 . 3) (14 . 4) (19 . 6) (22 . 8) (25 . 13)) 5702 0.3075 11.7642 ((16 . 2) (23 . 8) (24 . 9) (25 . 10)) 5703 0.3077 7.9138 ((12 . 1) (13 . 3) (19 . 6) (22 . 8)) 5704 0.1632 13.4250 ((16 . 1) (18 . 3) (21 . 5) (23 . 6)) 5711 0.3076 8.6424 ((12 . 31) (14 . 33) (17 . 36) (22 . 43)) 5713 0.3846 4.1445 ((12 . 10) (14 . 11) (17 . 13) (19 . 15) (22 . 20)) 5718 0.3076 10.0579 ((17 . 16) (19 . 18) (21 . 22) (22 . 23)) 5731 0.3077 6.9375 ((12 . 7) (13 . 8) (14 . 10) (17 . 13)) 5746 0.3077 5.4779 ((12 . 3) (13 . 4) (14 . 6) (17 . 8)) 5749 0.3076 9.5978 ((18 . 2) (19 . 3) (22 . 5) (25 . 8)) 5761 0.3077 5.6280 ((17 . 30) (20 . 33) (21 . 34) (22 . 36)) 5770 0.3456 6.9306 ((20 . 5) (21 . 7) (22 . 8) (23 . 10) (25 . 18)) 5771 0.3763 3.2856 ((12 . 9) (13 . 10) (18 . 16) (19 . 17) (22 . 20)) 5782 0.3846 4.2622 ((14 . 15) (16 . 17) (17 . 18) (19 . 22) (23 . 28)) 5794 0.3077 6.3304 ((12 . 16) (13 . 17) (14 . 18) (18 . 22)) 5795 0.3077 4.2822 ((12 . 10) (14 . 13) (16 . 15) (17 . 16)) 5809 0.4614 5.8464 ((14 . 3) (18 . 6) (19 . 7) (21 . 8) (22 . 9) (24 . 11)) 5822 0.3077 7.0191 ((14 . 2) (17 . 4) (18 . 5) (19 . 6)) 5827 0.3696 10.6704 ((12 . 5) (14 . 8) (16 . 10) (17 . 11) (25 . 18)) 5830 0.3077 7.3313 ((14 . 3) (19 . 8) (21 . 11) (22 . 13)) 5847 0.3077 4.4989 ((12 . 1) (14 . 5) (17 . 8) (19 . 10)) 5861 0.3077 7.2433 ((12 . 15) (14 . 17) (17 . 20) (22 . 25)) 5865 0.3076 9.4075 ((19 . 1) (22 . 5) (23 . 6) (24 . 8)) 5878 0.2974 11.9187 ((13 . 23) (17 . 28) (19 . 30) (20 . 31)) 5888 0.3077 4.5453 ((14 . 9) (17 . 11) (19 . 13) (22 . 17)) 5896 0.3077 5.1307 ((14 . 29) (16 . 30) (17 . 31) (18 . 32)) 5904 0.6315 6.0699 ((12 . 1) (13 . 2) (14 . 4) (16 . 6) (17 . 7) (18 . 8) (19 . 9) (21 . 10) (22 . 11)) 5913 0.3845 8.0840 ((12 . 13) (13 . 14) (14 . 15) (17 . 17) (19 . 20)) 5922 0.3076 9.9633 ((12 . 1) (14 . 4) (17 . 6) (22 . 11)) 5930 0.4615 3.1606 ((12 . 2) (13 . 3) (14 . 4) (16 . 6) (17 . 7) (19 . 11)) 5939 0.4613 7.3536 ((12 . 2) (13 . 3) (14 . 4) (16 . 5) (17 . 6) (21 . 15)) 5945 0.8337 6.8435 ((12 . 2) (13 . 10) (14 . 11) (16 . 12) (17 . 13) (18 . 22) (19 . 23) (20 . 25) (22 . 26) (23 . 31) (25 . 34)) 5949 0.3846 3.6604 ((14 . 1) (17 . 4) (21 . 8) (22 . 9) (24 . 13)) 5955 0.4613 7.3171 ((12 . 1) (13 . 2) (14 . 3) (16 . 6) (19 . 7) (23 . 12)) 5967 0.4615 3.4918 ((12 . 1) (13 . 2) (14 . 3) (18 . 6) (19 . 7) (21 . 8)) 5977 0.3077 4.5118 ((12 . 1) (13 . 2) (14 . 3) (17 . 5)) 6000 0.3846 6.0299 ((14 . 9) (18 . 11) (21 . 16) (22 . 17) (25 . 22)) 6011 0.3076 9.3739 ((12 . 1) (14 . 3) (17 . 5) (19 . 7)) 6029 0.3698 7.4739 ((14 . 31) (17 . 33) (18 . 34) (19 . 35) (20 . 36)) 6033 0.1633 11.8533 ((18 . 2) (20 . 3) (21 . 4) (23 . 5)) 6041 0.3077 6.0765 ((14 . 11) (17 . 13) (18 . 14) (19 . 15)) 6046 0.1633 9.1514 ((16 . 1) (17 . 2) (19 . 5) (21 . 7)) 6061 0.4538 6.1954 ((12 . 13) (17 . 15) (18 . 16) (19 . 17) (20 . 18) (22 . 20)) 6074 0.3846 3.6325 ((14 . 2) (17 . 4) (18 . 5) (19 . 6) (22 . 8)) 6075 0.5384 2.9610 ((12 . 17) (13 . 19) (14 . 20) (17 . 21) (18 . 23) (19 . 24) (22 . 27)) 6079 0.3077 7.0535 ((14 . 7) (17 . 9) (20 . 12) (21 . 14)) 6087 0.4026 5.9319 ((12 . 3) (13 . 4) (18 . 7) (19 . 8) (22 . 10) (25 . 11)) 6089 0.3077 3.1996 ((12 . 1) (13 . 2) (14 . 3) (19 . 5)) 6094 0.3077 6.7294 ((14 . 3) (16 . 6) (17 . 7) (18 . 8)) 6099 0.3695 11.2677 ((12 . 5) (14 . 7) (19 . 10) (20 . 12) (23 . 15)) 6142 0.3846 6.6857 ((12 . 6) (14 . 7) (17 . 8) (19 . 10) (22 . 14)) 6148 0.3077 5.1708 ((14 . 32) (17 . 34) (18 . 35) (19 . 36)) 6167 0.3077 6.2305 ((14 . 1) (19 . 4) (22 . 10) (25 . 22)) 6169 0.2554 9.1586 ((16 . 3) (18 . 4) (21 . 8) (25 . 10)) 6173 0.3077 6.1066 ((14 . 8) (17 . 11) (19 . 13) (20 . 14)) 6191 0.2853 11.5567 ((13 . 1) (14 . 3) (20 . 7) (22 . 10)) 6192 0.3076 8.0765 ((19 . 1) (22 . 3) (23 . 4) (25 . 7)) 6215 0.2854 6.2797 ((17 . 18) (19 . 19) (21 . 22) (22 . 24)) 6225 0.3077 4.9353 ((16 . 9) (17 . 10) (18 . 11) (19 . 12)) 6228 0.3792 10.8496 ((14 . 1) (17 . 3) (20 . 6) (22 . 9) (23 . 10)) 6234 0.3077 5.9356 ((12 . 9) (14 . 10) (16 . 14) (19 . 15)) 6238 0.3076 9.1601 ((17 . 4) (18 . 6) (19 . 7) (23 . 10)) 6243 0.3845 6.8821 ((12 . 6) (13 . 7) (14 . 8) (16 . 9) (17 . 10)) 6251 0.3846 4.6560 ((12 . 8) (14 . 10) (16 . 11) (19 . 15) (22 . 17)) 6258 0.4024 9.0503 ((12 . 7) (13 . 8) (14 . 9) (17 . 10) (18 . 11) (21 . 14)) 6261 0.6920 4.8663 ((12 . 1) (13 . 2) (14 . 3) (18 . 7) (19 . 9) (21 . 10) (22 . 11) (24 . 15) (25 . 24)) 6266 0.4612 7.8012 ((12 . 3) (14 . 6) (16 . 7) (17 . 8) (18 . 9) (24 . 12)) 6268 0.2974 10.6812 ((20 . 9) (23 . 12) (24 . 13) (25 . 14)) 6270 0.3076 8.0244 ((12 . 15) (13 . 16) (14 . 17) (18 . 19)) 6271 0.3077 5.6386 ((18 . 6) (19 . 7) (20 . 9) (24 . 13)) 6294 0.5604 4.2016 ((12 . 2) (13 . 5) (14 . 6) (17 . 9) (18 . 21) (19 . 23) (21 . 24) (22 . 25)) 6306 0.2554 5.5440 ((14 . 15) (17 . 17) (18 . 18) (19 . 19)) 6309 0.3077 6.7316 ((14 . 17) (18 . 19) (19 . 20) (22 . 25)) 6311 0.3076 8.2316 ((12 . 1) (14 . 4) (19 . 9) (22 . 11)) 6329 0.3025 9.2256 ((18 . 3) (20 . 5) (21 . 6) (25 . 9)) 6338 0.3077 7.2527 ((12 . 1) (14 . 2) (17 . 5) (19 . 8)) 6344 0.3077 6.2434 ((12 . 8) (13 . 9) (16 . 10) (19 . 13)) 6345 0.3076 8.7650 ((13 . 2) (14 . 4) (19 . 7) (20 . 8)) 6348 0.5138 5.4812 ((12 . 1) (14 . 4) (16 . 6) (18 . 8) (19 . 9) (20 . 10) (22 . 11)) 6355 0.3077 4.2048 ((12 . 8) (14 . 11) (17 . 12) (18 . 13)) 6356 0.7663 6.1513 ((12 . 1) (13 . 3) (14 . 4) (16 . 5) (17 . 6) (18 . 8) (19 . 9) (21 . 10) (22 . 11) (25 . 17)) 6369 0.5276 5.1907 ((12 . 7) (13 . 8) (14 . 9) (16 . 10) (17 . 20) (19 . 29) (22 . 31)) 6376 0.4615 2.6408 ((12 . 17) (13 . 18) (14 . 19) (17 . 21) (19 . 24) (22 . 26)) 6384 0.2553 11.2964 ((20 . 3) (21 . 4) (24 . 6) (25 . 7)) 6391 0.3074 12.9264 ((13 . 1) (16 . 4) (22 . 6) (25 . 11)) 6392 0.3077 3.7825 ((14 . 1) (16 . 2) (17 . 3) (21 . 8)) 6399 0.3077 7.3459 ((14 . 1) (17 . 4) (19 . 6) (22 . 8)) 6403 0.5330 5.3997 ((12 . 5) (14 . 7) (16 . 9) (17 . 10) (19 . 15) (20 . 16) (22 . 17)) 6434 0.2854 8.0573 ((19 . 3) (22 . 5) (24 . 7) (25 . 8)) 6461 0.3075 11.6164 ((16 . 1) (17 . 3) (18 . 4) (20 . 5)) 6462 0.4615 5.5143 ((14 . 12) (17 . 16) (19 . 18) (21 . 19) (22 . 20) (25 . 25)) 6498 0.4613 7.0390 ((14 . 16) (16 . 18) (17 . 19) (18 . 20) (19 . 21) (23 . 26)) 6506 0.2972 13.9698 ((13 . 20) (16 . 22) (23 . 27) (25 . 29)) 6520 0.3076 8.8755 ((14 . 6) (17 . 10) (18 . 11) (22 . 15)) 6536 0.2973 13.1039 ((13 . 27) (16 . 29) (23 . 34) (25 . 37)) 6539 0.3077 5.2954 ((16 . 1) (17 . 2) (18 . 3) (19 . 4)) 6540 0.3077 6.5100 ((14 . 16) (17 . 18) (19 . 20) (22 . 22)) 6548 0.3077 4.3473 ((14 . 5) (16 . 6) (17 . 7) (18 . 8)) 6553 0.3846 2.9148 ((12 . 11) (13 . 12) (17 . 15) (19 . 17) (22 . 20)) 6555 0.3296 3.9932 ((12 . 7) (13 . 9) (14 . 10) (16 . 12) (17 . 28)) 6561 0.3077 7.0383 ((13 . 5) (14 . 9) (16 . 11) (19 . 12)) 6573 0.4615 3.0030 ((12 . 17) (13 . 18) (14 . 19) (16 . 20) (17 . 21) (19 . 25)) 6575 0.2554 8.3491 ((12 . 1) (17 . 5) (18 . 6) (20 . 7)) 6578 0.3076 8.0004 ((12 . 34) (13 . 36) (14 . 38) (16 . 39)) 6584 0.3077 6.9469 ((16 . 4) (17 . 5) (19 . 7) (21 . 10)) 6585 0.3845 7.5150 ((12 . 6) (13 . 7) (17 . 8) (19 . 10) (22 . 13)) 6586 0.3077 6.5972 ((13 . 19) (16 . 22) (18 . 23) (19 . 24)) 6587 0.3846 3.7487 ((14 . 29) (16 . 30) (17 . 31) (18 . 32) (19 . 33)) 6598 0.3295 9.0366 ((12 . 4) (14 . 5) (17 . 6) (19 . 7) (22 . 8)) 6605 0.2975 9.6306 ((20 . 1) (21 . 2) (23 . 5) (24 . 6)) 6613 0.3845 6.7843 ((13 . 23) (14 . 24) (18 . 26) (19 . 27) (22 . 31)) 6622 0.3075 11.7109 ((13 . 5) (16 . 8) (20 . 11) (21 . 12)) 6635 0.3077 5.8460 ((14 . 1) (16 . 3) (17 . 4) (21 . 9)) END