4817 25 0.1664 12.7261 ((5 . 12) (6 . 13) (9 . 14) (11 . 15)) 41 0.5663 12.2755 ((5 . 2) (6 . 4) (9 . 6) (12 . 8)) 77 0.2477 9.2004 ((5 . 10) (7 . 12) (9 . 16) (11 . 17)) 91 0.5690 10.0875 ((5 . 20) (6 . 22) (9 . 27) (12 . 30)) 147 0.2944 11.0946 ((5 . 1) (6 . 2) (11 . 5) (12 . 6)) 155 0.4442 11.9651 ((7 . 4) (9 . 6) (11 . 7) (12 . 8)) 157 0.3783 12.5899 ((5 . 6) (7 . 10) (9 . 12) (11 . 13)) 207 0.1993 7.6575 ((5 . 11) (9 . 16) (11 . 17) (12 . 19)) 259 0.4448 10.0772 ((7 . 3) (9 . 5) (11 . 6) (12 . 7)) 293 0.5703 8.2692 ((6 . 1) (9 . 3) (11 . 4) (13 . 5)) 317 0.5654 12.7863 ((9 . 1) (11 . 3) (12 . 4) (13 . 6)) 351 0.5712 5.6990 ((6 . 6) (7 . 7) (9 . 8) (11 . 10)) 361 0.5686 10.5206 ((5 . 3) (6 . 5) (7 . 6) (9 . 8)) 442 0.4900 11.3997 ((5 . 11) (7 . 13) (11 . 15) (12 . 17)) 541 0.5515 17.4894 ((5 . 9) (6 . 10) (9 . 13) (13 . 19)) 553 0.7140 4.4610 ((5 . 2) (7 . 3) (9 . 4) (11 . 6) (13 . 7)) 609 0.1992 9.1628 ((7 . 2) (9 . 4) (11 . 5) (12 . 7)) 619 0.5587 15.5227 ((5 . 5) (9 . 10) (11 . 14) (13 . 17)) 624 0.5692 9.9728 ((5 . 6) (6 . 8) (9 . 12) (12 . 14)) 678 0.5704 8.1619 ((5 . 25) (9 . 30) (11 . 32) (13 . 36)) 729 0.3770 16.2536 ((5 . 14) (9 . 21) (11 . 22) (13 . 23)) 782 0.5706 7.8149 ((5 . 5) (6 . 6) (11 . 11) (13 . 13)) 792 0.7136 5.4778 ((6 . 3) (7 . 5) (9 . 8) (11 . 10) (13 . 11)) 834 0.5710 6.6645 ((6 . 35) (9 . 36) (11 . 38) (13 . 44)) 901 0.5671 11.7264 ((5 . 6) (9 . 10) (11 . 13) (12 . 14)) 928 0.5686 10.4929 ((6 . 9) (9 . 13) (12 . 15) (13 . 17)) 945 0.3789 8.6854 ((5 . 18) (6 . 20) (7 . 21) (11 . 24)) 960 0.3788 9.4715 ((5 . 20) (6 . 23) (9 . 26) (13 . 30)) 978 0.5693 9.7565 ((6 . 8) (7 . 9) (9 . 12) (12 . 15)) 1043 0.2477 11.4680 ((5 . 7) (6 . 9) (9 . 11) (12 . 16)) 1082 0.3788 9.4230 ((5 . 22) (9 . 26) (11 . 27) (13 . 28)) 1124 0.7134 5.8818 ((6 . 9) (7 . 10) (9 . 11) (11 . 13) (12 . 14)) 1165 0.5678 11.2478 ((5 . 11) (6 . 13) (7 . 15) (9 . 16)) 1204 0.4448 10.3132 ((5 . 21) (9 . 26) (11 . 28) (12 . 30)) 1210 0.7142 3.3880 ((6 . 3) (7 . 4) (9 . 5) (11 . 6) (13 . 7)) 1267 0.3789 8.2921 ((9 . 5) (11 . 6) (12 . 7) (13 . 8)) 1268 0.5672 11.6435 ((5 . 8) (6 . 10) (9 . 15) (13 . 17)) 1345 0.5669 11.8670 ((5 . 8) (6 . 10) (11 . 17) (13 . 19)) 1395 0.5633 13.7996 ((5 . 1) (6 . 3) (9 . 4) (11 . 5)) 1470 0.8522 7.2933 ((5 . 11) (6 . 13) (7 . 14) (9 . 15) (11 . 16) (13 . 17)) 1472 0.3775 15.2004 ((5 . 5) (9 . 11) (11 . 12) (12 . 13)) 1476 0.5701 8.7179 ((6 . 10) (9 . 13) (11 . 16) (12 . 17)) 1497 0.5693 9.7811 ((6 . 22) (11 . 26) (12 . 27) (13 . 28)) 1513 0.5696 9.4435 ((5 . 9) (6 . 12) (7 . 14) (11 . 16)) 1595 0.1993 7.7994 ((5 . 1) (6 . 2) (9 . 6) (12 . 9)) 1604 0.5675 11.4413 ((7 . 11) (9 . 13) (12 . 16) (13 . 15)) 1690 0.2945 7.6755 ((5 . 26) (6 . 27) (7 . 28) (9 . 29)) 1724 0.5712 5.7745 ((9 . 1) (11 . 4) (12 . 5) (13 . 6)) 1731 0.3784 11.9813 ((5 . 5) (6 . 7) (9 . 10) (11 . 11)) 1736 0.5711 6.0212 ((6 . 6) (7 . 8) (9 . 9) (11 . 11)) 1763 0.3789 7.6041 ((5 . 4) (6 . 6) (9 . 11) (11 . 12)) 1776 0.5665 12.1114 ((5 . 11) (6 . 13) (12 . 22) (13 . 25)) 1796 0.1498 11.9088 ((6 . 3) (7 . 4) (9 . 5) (11 . 6)) 1908 0.5705 7.9449 ((6 . 6) (7 . 8) (9 . 9) (11 . 14)) 1909 0.5708 7.0834 ((7 . 30) (9 . 32) (11 . 33) (13 . 36)) 1967 0.3788 9.6476 ((5 . 4) (11 . 11) (12 . 12) (13 . 15)) 1987 0.7367 5.9289 ((5 . 8) (6 . 9) (7 . 10) (9 . 12) (11 . 13) (12 . 14)) 2048 0.5670 11.8329 ((7 . 9) (9 . 12) (12 . 14) (13 . 15)) 2081 0.4899 11.5438 ((5 . 15) (7 . 18) (11 . 22) (12 . 24)) 2094 0.5689 10.1963 ((6 . 3) (7 . 4) (9 . 6) (11 . 7)) 2114 0.5655 12.6956 ((6 . 30) (7 . 33) (9 . 37) (12 . 39)) 2122 0.3782 12.8814 ((5 . 11) (6 . 13) (9 . 19) (11 . 21)) 2233 0.4446 10.9025 ((7 . 5) (9 . 6) (11 . 7) (12 . 8)) 2248 0.5709 6.9458 ((5 . 17) (7 . 20) (9 . 23) (12 . 26)) 2249 0.5689 10.2105 ((5 . 8) (6 . 9) (7 . 10) (11 . 14)) 2269 0.1992 10.1566 ((9 . 1) (11 . 3) (12 . 5) (13 . 4)) 2279 0.5692 9.9469 ((6 . 6) (11 . 12) (12 . 15) (13 . 14)) 2295 0.2477 7.9592 ((7 . 1) (11 . 4) (12 . 5) (13 . 6)) 2298 0.5695 9.6135 ((5 . 5) (9 . 11) (11 . 13) (13 . 14)) 2342 0.7141 4.2073 ((6 . 3) (7 . 4) (9 . 5) (11 . 6) (13 . 7)) 2344 0.5688 10.3037 ((5 . 2) (6 . 5) (9 . 9) (12 . 12)) 2443 0.5709 6.8763 ((5 . 6) (6 . 7) (9 . 9) (11 . 10)) 2447 0.5688 10.3858 ((5 . 12) (6 . 14) (9 . 19) (12 . 22)) 2465 0.1992 9.5281 ((7 . 3) (9 . 5) (11 . 6) (12 . 7)) 2510 0.5711 6.1527 ((7 . 22) (9 . 24) (12 . 28) (13 . 29)) 2519 0.0999 12.3654 ((6 . 1) (7 . 3) (9 . 4) (13 . 6)) 2551 0.1992 9.9127 ((9 . 4) (11 . 5) (12 . 6) (13 . 7)) 2556 0.2945 9.3698 ((5 . 14) (6 . 17) (9 . 21) (11 . 23)) 2591 0.5666 12.0398 ((5 . 36) (7 . 37) (9 . 39) (11 . 41)) 2627 0.6898 13.9289 ((5 . 52) (7 . 53) (9 . 54) (11 . 56) (13 . 57)) 2634 0.5696 9.4045 ((5 . 1) (7 . 3) (9 . 5) (11 . 7)) 2703 0.4452 8.4941 ((7 . 1) (9 . 3) (11 . 5) (12 . 6)) 2733 0.5683 10.7940 ((5 . 5) (7 . 9) (9 . 12) (13 . 14)) 2753 0.5698 9.1023 ((6 . 2) (7 . 3) (9 . 6) (13 . 8)) 2830 0.2944 11.6702 ((5 . 2) (6 . 4) (12 . 10) (13 . 12)) 2834 0.5697 9.3043 ((6 . 2) (9 . 7) (12 . 10) (13 . 11)) 2867 0.1664 13.2586 ((5 . 3) (7 . 5) (12 . 10) (13 . 11)) 2947 0.5700 8.9130 ((5 . 18) (6 . 19) (7 . 20) (9 . 22)) 3014 0.5682 10.9155 ((6 . 12) (9 . 14) (11 . 15) (13 . 17)) 3041 0.5679 11.1672 ((6 . 11) (7 . 13) (9 . 15) (13 . 19)) 3127 0.1332 8.8527 ((5 . 7) (6 . 9) (9 . 16) (11 . 17)) 3176 0.5713 4.9531 ((5 . 21) (6 . 22) (7 . 23) (13 . 30)) 3197 0.3788 9.5327 ((5 . 17) (7 . 20) (9 . 22) (11 . 23)) 3202 0.1992 14.6610 ((6 . 10) (9 . 14) (11 . 15) (13 . 20)) 3222 0.5494 17.9919 ((5 . 13) (9 . 17) (11 . 22) (13 . 24)) 3310 0.5584 15.6138 ((6 . 4) (7 . 5) (9 . 6) (11 . 7)) 3339 0.5702 8.6056 ((5 . 4) (7 . 8) (9 . 10) (12 . 14)) 3358 0.3788 9.9776 ((6 . 3) (7 . 5) (11 . 9) (13 . 11)) 3391 0.5662 12.3089 ((6 . 14) (9 . 18) (12 . 19) (13 . 20)) 3415 0.5707 7.3914 ((5 . 18) (6 . 22) (7 . 23) (9 . 24)) 3446 0.4447 10.5445 ((6 . 9) (7 . 10) (11 . 12) (12 . 13)) 3470 0.5702 8.5239 ((5 . 9) (7 . 11) (9 . 12) (11 . 13)) 3495 0.5682 10.8701 ((5 . 9) (7 . 10) (9 . 13) (11 . 14)) 3496 0.5710 6.5787 ((6 . 24) (11 . 25) (12 . 26) (13 . 27)) 3613 0.7139 4.8388 ((5 . 32) (7 . 38) (9 . 39) (11 . 42) (13 . 43)) 3651 0.1992 11.0843 ((5 . 10) (6 . 14) (9 . 19) (11 . 20)) 3658 0.5691 10.0513 ((5 . 9) (6 . 10) (7 . 12) (9 . 13)) 3661 0.5690 10.1591 ((5 . 6) (6 . 9) (7 . 10) (13 . 18)) 3776 0.1498 7.8277 ((5 . 16) (6 . 18) (9 . 23) (11 . 25)) 3778 0.5677 11.2761 ((7 . 17) (9 . 20) (11 . 21) (13 . 23)) 3787 0.5701 8.6521 ((5 . 16) (6 . 18) (11 . 24) (13 . 25)) 3817 0.4887 12.9680 ((5 . 3) (7 . 6) (12 . 12) (13 . 13)) 3830 0.2944 11.7933 ((9 . 1) (11 . 2) (12 . 4) (13 . 3)) 3834 0.5703 8.2725 ((6 . 2) (9 . 4) (11 . 5) (13 . 6)) 3853 0.4442 11.8543 ((5 . 13) (7 . 16) (9 . 19) (11 . 20)) 3870 0.4448 10.3295 ((5 . 6) (7 . 7) (11 . 11) (12 . 12)) 3986 0.2945 10.1010 ((5 . 10) (6 . 16) (7 . 19) (9 . 20)) 4011 0.5655 12.6981 ((5 . 1) (7 . 2) (9 . 5) (11 . 6)) 4030 0.5695 9.5262 ((6 . 4) (9 . 7) (11 . 9) (13 . 11)) 4037 0.2945 8.6767 ((9 . 5) (11 . 6) (12 . 7) (13 . 8)) 4062 0.4446 10.7650 ((5 . 40) (6 . 44) (9 . 47) (12 . 51)) 4067 0.2476 14.6035 ((5 . 11) (6 . 12) (9 . 15) (11 . 17)) 4077 0.5704 8.2394 ((9 . 1) (11 . 4) (12 . 5) (13 . 6)) 4115 0.5620 14.3452 ((5 . 14) (6 . 16) (7 . 18) (9 . 20)) 4134 0.5698 9.1201 ((5 . 23) (7 . 25) (9 . 26) (11 . 27)) 4151 0.5701 8.7369 ((5 . 2) (7 . 6) (9 . 8) (12 . 11)) 4192 0.2945 10.0458 ((7 . 11) (9 . 14) (12 . 16) (13 . 18)) 4195 0.7139 4.8697 ((5 . 5) (7 . 7) (9 . 8) (11 . 10) (13 . 11)) 4204 0.1992 9.7564 ((5 . 1) (6 . 2) (12 . 10) (13 . 12)) 4216 0.5711 6.2614 ((5 . 10) (7 . 13) (9 . 14) (11 . 16)) 4226 0.5660 12.4361 ((6 . 2) (9 . 5) (11 . 10) (13 . 13)) 4242 0.3790 6.7266 ((9 . 2) (11 . 4) (12 . 5) (13 . 6)) 4243 0.2945 7.7415 ((5 . 3) (6 . 4) (7 . 5) (9 . 6)) 4254 0.5699 9.0635 ((5 . 7) (7 . 10) (9 . 14) (11 . 16)) 4261 0.5681 10.9871 ((5 . 12) (7 . 14) (9 . 15) (11 . 17)) 4265 0.1993 7.0504 ((7 . 22) (9 . 25) (12 . 27) (13 . 28)) 4266 0.1992 12.0600 ((5 . 7) (7 . 9) (9 . 14) (13 . 18)) 4281 0.5658 12.5357 ((9 . 7) (11 . 9) (12 . 11) (13 . 13)) 4299 0.5657 12.6165 ((5 . 5) (6 . 7) (9 . 10) (12 . 13)) 4326 0.5679 11.1093 ((5 . 4) (7 . 6) (9 . 8) (11 . 14)) 4352 0.5649 13.0186 ((6 . 11) (9 . 13) (11 . 14) (13 . 15)) 4386 0.5701 8.6500 ((5 . 7) (6 . 8) (9 . 11) (11 . 13)) 4408 0.5697 9.3692 ((5 . 21) (6 . 22) (7 . 23) (9 . 24)) 4470 0.3786 11.3208 ((5 . 13) (6 . 15) (9 . 17) (12 . 22)) 4492 0.2945 8.5204 ((5 . 6) (7 . 9) (9 . 12) (12 . 14)) 4495 0.5685 10.6441 ((6 . 5) (7 . 7) (11 . 9) (12 . 11)) 4505 0.3785 11.5442 ((6 . 27) (11 . 31) (12 . 33) (13 . 35)) 4516 0.8435 9.4627 ((5 . 9) (6 . 11) (7 . 13) (9 . 15) (11 . 17) (13 . 19)) 4562 0.5683 10.7859 ((6 . 21) (9 . 26) (12 . 28) (13 . 30)) 4563 0.5698 9.1732 ((7 . 27) (9 . 30) (11 . 32) (13 . 33)) 4579 0.5693 9.7517 ((5 . 8) (7 . 11) (9 . 13) (11 . 16)) 4607 0.5603 14.9701 ((5 . 17) (7 . 18) (11 . 21) (12 . 22)) 4671 0.3787 10.4168 ((5 . 5) (9 . 9) (11 . 10) (13 . 16)) 4699 0.7138 5.0300 ((6 . 8) (7 . 10) (9 . 11) (11 . 12) (12 . 13)) 4715 0.4450 9.2545 ((5 . 7) (9 . 13) (11 . 15) (12 . 16)) 4716 0.5694 9.7313 ((7 . 4) (9 . 5) (11 . 7) (13 . 8)) 4731 0.5625 14.1568 ((6 . 12) (9 . 16) (11 . 17) (13 . 19)) 4764 0.5709 6.7505 ((9 . 2) (11 . 4) (12 . 5) (13 . 6)) 4783 0.5684 10.7252 ((5 . 1) (7 . 2) (11 . 6) (13 . 7)) 4817 1.0000 0.0000 ((5 . 5) (6 . 6) (7 . 7) (9 . 9) (11 . 11) (12 . 12) (13 . 13)) 4888 0.2943 13.8097 ((5 . 2) (7 . 5) (11 . 10) (12 . 11)) 4889 0.3789 9.0227 ((5 . 13) (9 . 20) (11 . 21) (13 . 23)) 4961 0.5707 7.5656 ((6 . 8) (9 . 11) (11 . 13) (13 . 16)) 4978 0.5691 9.9809 ((5 . 26) (6 . 27) (9 . 29) (12 . 33)) 4982 0.2943 13.2101 ((5 . 11) (6 . 13) (7 . 15) (9 . 19)) 4998 0.2944 10.8740 ((5 . 16) (9 . 21) (11 . 22) (12 . 24)) 5000 0.5708 7.1285 ((7 . 32) (9 . 33) (11 . 35) (13 . 36)) 5016 0.5709 7.0139 ((6 . 2) (7 . 6) (9 . 8) (11 . 9)) 5068 0.1992 9.5855 ((9 . 25) (11 . 26) (12 . 27) (13 . 28)) 5069 0.5694 9.7296 ((5 . 1) (6 . 3) (9 . 8) (13 . 14)) 5073 0.1993 7.1743 ((7 . 35) (9 . 37) (11 . 38) (13 . 41)) 5080 0.4452 8.1417 ((5 . 5) (6 . 6) (11 . 12) (12 . 13)) 5092 0.7128 6.7870 ((6 . 3) (9 . 5) (11 . 7) (12 . 8) (13 . 9)) 5101 0.4388 17.9998 ((5 . 4) (6 . 6) (11 . 11) (13 . 14)) 5103 0.5686 10.4910 ((5 . 5) (9 . 11) (11 . 12) (13 . 14)) 5121 0.1992 9.8882 ((5 . 14) (6 . 17) (9 . 22) (11 . 23)) 5132 0.5710 6.4184 ((6 . 17) (9 . 21) (12 . 23) (13 . 24)) 5134 0.5709 6.7780 ((6 . 11) (9 . 16) (12 . 18) (13 . 20)) 5167 0.5691 9.9874 ((5 . 2) (7 . 7) (9 . 8) (11 . 10)) 5192 0.4453 7.9571 ((5 . 15) (6 . 16) (12 . 23) (13 . 25)) 5212 0.5676 11.3688 ((5 . 8) (6 . 9) (11 . 14) (13 . 15)) 5223 0.5611 14.6992 ((5 . 7) (6 . 9) (9 . 13) (11 . 14)) 5318 0.5485 18.1791 ((5 . 6) (9 . 10) (12 . 13) (13 . 14)) 5323 0.5707 7.4283 ((5 . 13) (6 . 14) (9 . 17) (11 . 18)) 5324 0.5711 6.2213 ((5 . 1) (9 . 6) (12 . 8) (13 . 9)) 5442 0.5710 6.6008 ((5 . 35) (6 . 37) (9 . 38) (11 . 39)) 5487 0.5688 10.3870 ((5 . 1) (7 . 5) (9 . 8) (12 . 10)) 5501 0.2944 10.8261 ((5 . 22) (6 . 23) (7 . 26) (11 . 29)) 5525 0.5709 7.0402 ((5 . 1) (6 . 2) (11 . 5) (13 . 9)) 5560 0.2477 10.1906 ((5 . 10) (7 . 14) (9 . 16) (12 . 19)) 5562 0.5712 5.6588 ((7 . 5) (9 . 9) (12 . 12) (13 . 13)) 5594 0.5704 8.0670 ((7 . 5) (9 . 7) (11 . 8) (12 . 10)) 5600 0.5671 11.7091 ((5 . 1) (7 . 4) (9 . 7) (12 . 10)) 5648 0.7053 10.6815 ((6 . 4) (7 . 5) (9 . 6) (11 . 7) (13 . 8)) 5656 0.3788 9.4889 ((6 . 4) (11 . 11) (12 . 12) (13 . 13)) 5689 0.5710 6.4679 ((5 . 9) (6 . 10) (7 . 11) (11 . 14)) 5702 0.5712 5.7201 ((6 . 1) (11 . 4) (12 . 7) (13 . 8)) 5704 0.5688 10.3564 ((7 . 2) (9 . 4) (11 . 5) (13 . 6)) 5770 0.1663 15.7270 ((5 . 5) (6 . 7) (11 . 18) (13 . 19)) 5771 0.5669 11.8742 ((5 . 8) (6 . 10) (9 . 16) (12 . 19)) 5782 0.5704 8.0949 ((5 . 4) (6 . 6) (9 . 9) (11 . 11)) 5789 0.1992 9.0473 ((5 . 1) (6 . 3) (7 . 4) (9 . 6)) 5795 0.2476 13.9447 ((6 . 8) (9 . 12) (11 . 14) (12 . 15)) 5809 0.5687 10.3955 ((5 . 4) (6 . 6) (7 . 8) (11 . 11)) 5904 0.3789 7.6439 ((7 . 2) (9 . 3) (12 . 6) (13 . 8)) 5913 0.5649 13.0224 ((5 . 1) (6 . 4) (9 . 8) (13 . 14)) 5939 0.5703 8.2841 ((6 . 3) (9 . 5) (11 . 7) (13 . 12)) 5945 0.3787 10.6544 ((5 . 25) (7 . 27) (9 . 30) (11 . 31)) 5955 0.5694 9.6969 ((9 . 8) (11 . 10) (12 . 12) (13 . 13)) 6000 0.2945 9.4099 ((5 . 8) (7 . 11) (11 . 16) (12 . 18)) 6029 0.5709 6.9786 ((5 . 28) (11 . 36) (12 . 37) (13 . 38)) 6033 0.7140 4.5244 ((6 . 4) (7 . 5) (9 . 7) (11 . 9) (13 . 10)) 6041 0.2944 11.1790 ((5 . 4) (6 . 5) (7 . 6) (9 . 9)) 6074 0.4904 10.6210 ((5 . 5) (6 . 7) (11 . 12) (12 . 14)) 6079 0.5697 9.2900 ((5 . 10) (6 . 12) (7 . 14) (9 . 15)) 6089 0.4452 8.6837 ((5 . 2) (6 . 4) (7 . 6) (13 . 15)) 6169 0.5703 8.3847 ((6 . 9) (7 . 10) (9 . 12) (13 . 13)) 6192 0.2945 10.2153 ((5 . 4) (9 . 9) (12 . 12) (13 . 15)) 6228 0.4864 14.9710 ((5 . 4) (6 . 6) (11 . 10) (12 . 13)) 6261 0.5696 9.3860 ((7 . 10) (11 . 15) (12 . 17) (13 . 18)) 6268 0.5712 5.4957 ((6 . 8) (9 . 11) (11 . 13) (12 . 14)) 6329 0.5682 10.8877 ((5 . 12) (6 . 13) (7 . 15) (13 . 18)) 6348 0.2945 7.3835 ((7 . 2) (9 . 3) (12 . 6) (13 . 8)) 6356 0.5680 11.0251 ((5 . 3) (6 . 5) (12 . 12) (13 . 14)) 6359 0.7141 3.9915 ((6 . 2) (7 . 3) (9 . 4) (11 . 5) (13 . 6)) 6384 0.5929 8.7167 ((5 . 2) (6 . 3) (7 . 4) (9 . 5) (11 . 6)) 6434 0.5685 10.6111 ((5 . 6) (6 . 7) (7 . 8) (9 . 9)) 6462 0.5690 10.1550 ((5 . 19) (7 . 21) (9 . 25) (11 . 26)) 6498 0.5679 11.1096 ((5 . 32) (7 . 35) (9 . 36) (12 . 41)) 6506 0.5712 5.5418 ((5 . 27) (6 . 28) (7 . 29) (13 . 30)) 6536 0.7369 5.4786 ((6 . 27) (7 . 28) (9 . 29) (11 . 30) (12 . 32) (13 . 33)) 6539 0.5651 12.9229 ((5 . 1) (6 . 3) (9 . 7) (11 . 9)) 6578 0.5705 8.0087 ((6 . 33) (7 . 39) (11 . 40) (12 . 41)) 6585 0.1993 7.3058 ((6 . 3) (7 . 4) (9 . 7) (12 . 9)) 6613 0.5709 6.8644 ((6 . 19) (9 . 23) (12 . 25) (13 . 26)) 6622 0.7137 5.4664 ((6 . 5) (7 . 6) (9 . 8) (11 . 10) (13 . 11)) END