913 25 0.6625 9.5827 ((15 . 10) (16 . 11) (18 . 12) (21 . 13)) 51 0.6607 10.5152 ((15 . 4) (16 . 6) (17 . 7) (20 . 10)) 62 0.6642 8.3988 ((15 . 9) (16 . 12) (18 . 15) (20 . 17)) 64 0.1665 9.0272 ((16 . 9) (17 . 10) (20 . 13) (21 . 16)) 77 0.1996 7.2955 ((15 . 12) (16 . 13) (17 . 15) (18 . 17)) 91 0.6569 11.9085 ((15 . 18) (17 . 21) (18 . 22) (21 . 26)) 96 0.1996 10.5445 ((15 . 4) (16 . 5) (17 . 6) (18 . 7)) 136 0.1996 7.7054 ((15 . 4) (16 . 5) (17 . 7) (20 . 8)) 150 0.1996 6.6672 ((17 . 19) (18 . 18) (20 . 20) (21 . 21)) 157 0.2970 7.5340 ((15 . 10) (16 . 11) (18 . 13) (20 . 16)) 161 0.6633 9.1012 ((16 . 3) (17 . 4) (18 . 7) (20 . 9)) 177 0.6655 6.8985 ((16 . 3) (17 . 4) (20 . 7) (21 . 9)) 207 0.4664 8.1713 ((15 . 6) (16 . 7) (17 . 8) (21 . 12)) 300 0.1996 7.6294 ((16 . 9) (17 . 10) (18 . 11) (21 . 12)) 305 0.3879 7.2478 ((16 . 9) (17 . 11) (20 . 15) (21 . 14)) 340 0.4668 4.3695 ((16 . 1) (17 . 2) (20 . 4) (21 . 5)) 350 0.6664 4.7071 ((16 . 1) (17 . 4) (20 . 8) (21 . 9)) 360 0.4660 9.9816 ((16 . 9) (18 . 13) (20 . 14) (21 . 15)) 365 0.6641 8.4998 ((16 . 3) (17 . 4) (18 . 7) (20 . 8)) 367 0.6656 6.7204 ((16 . 38) (17 . 40) (18 . 41) (20 . 42)) 387 0.1665 9.2744 ((15 . 6) (16 . 8) (17 . 9) (20 . 12)) 433 0.6645 8.1069 ((16 . 6) (17 . 7) (18 . 8) (20 . 10)) 442 0.3879 7.2302 ((16 . 10) (17 . 12) (18 . 13) (20 . 14)) 460 0.4657 10.7564 ((16 . 2) (17 . 3) (18 . 4) (21 . 9)) 491 0.1996 6.5154 ((15 . 5) (16 . 6) (17 . 8) (20 . 10)) 495 0.6666 3.6217 ((16 . 8) (17 . 9) (20 . 11) (21 . 12)) 541 0.3880 4.9359 ((15 . 1) (16 . 2) (17 . 3) (20 . 5)) 543 0.6660 6.0441 ((16 . 5) (17 . 6) (20 . 8) (21 . 9)) 561 0.2970 5.2166 ((17 . 1) (18 . 2) (20 . 4) (21 . 5)) 584 0.4664 8.2467 ((15 . 6) (16 . 7) (17 . 8) (18 . 9)) 587 0.6662 5.6266 ((16 . 10) (17 . 11) (18 . 12) (20 . 13)) 609 0.6607 10.4920 ((16 . 1) (18 . 5) (20 . 6) (21 . 7)) 619 0.6612 10.2473 ((16 . 7) (17 . 8) (18 . 10) (20 . 12)) 624 0.6664 4.8143 ((16 . 20) (17 . 22) (18 . 23) (20 . 26)) 635 0.4657 10.7346 ((15 . 2) (17 . 3) (18 . 4) (21 . 7)) 672 0.6849 6.6537 ((15 . 19) (16 . 21) (17 . 23) (20 . 24) (21 . 25)) 719 0.3879 7.3172 ((17 . 27) (18 . 29) (20 . 30) (21 . 31)) 729 0.6662 5.6065 ((17 . 24) (18 . 26) (20 . 31) (21 . 32)) 735 0.6611 10.3364 ((15 . 30) (16 . 29) (17 . 31) (20 . 36)) 767 0.2487 10.1314 ((15 . 27) (16 . 26) (20 . 32) (21 . 33)) 795 0.6661 5.7470 ((15 . 2) (17 . 3) (18 . 4) (20 . 6)) 796 0.6657 6.6778 ((15 . 1) (17 . 3) (18 . 4) (20 . 6)) 812 0.3877 9.5243 ((15 . 10) (16 . 11) (17 . 13) (21 . 17)) 818 0.6646 8.0702 ((15 . 3) (16 . 4) (17 . 7) (20 . 12)) 819 0.5286 6.8141 ((15 . 1) (16 . 2) (17 . 3) (18 . 4)) 834 0.6420 15.2451 ((16 . 32) (17 . 33) (18 . 35) (21 . 37)) 861 0.2487 9.4685 ((15 . 14) (16 . 16) (17 . 17) (20 . 19)) 904 0.6664 4.8636 ((15 . 1) (17 . 3) (18 . 5) (20 . 7)) 913 1.0000 0.0000 ((15 . 15) (16 . 16) (17 . 17) (18 . 18) (20 . 20) (21 . 21)) 928 0.6634 9.0358 ((16 . 5) (17 . 7) (18 . 6) (20 . 8)) 937 0.6657 6.6312 ((17 . 1) (18 . 2) (20 . 4) (21 . 6)) 943 0.6664 4.8335 ((16 . 9) (17 . 12) (18 . 13) (20 . 15)) 945 0.6646 8.0723 ((16 . 12) (18 . 16) (20 . 17) (21 . 18)) 949 0.3874 11.5057 ((15 . 33) (16 . 32) (18 . 35) (21 . 37)) 960 0.2485 16.0043 ((16 . 8) (17 . 9) (18 . 11) (21 . 15)) 978 0.1996 8.4084 ((15 . 11) (17 . 13) (18 . 15) (20 . 16)) 980 0.6614 10.1638 ((16 . 1) (17 . 3) (18 . 4) (20 . 7)) 1005 0.1665 8.2064 ((16 . 1) (17 . 2) (18 . 4) (21 . 6)) 1007 0.6628 9.3902 ((16 . 13) (17 . 14) (18 . 15) (20 . 18)) 1008 0.6639 8.6649 ((16 . 5) (17 . 8) (18 . 11) (20 . 13)) 1034 0.2968 12.5288 ((15 . 27) (16 . 29) (17 . 32) (21 . 36)) 1043 0.4664 8.3378 ((15 . 9) (16 . 10) (18 . 15) (21 . 16)) 1084 0.6654 7.0338 ((16 . 11) (17 . 12) (18 . 15) (20 . 17)) 1165 0.2970 4.8886 ((16 . 2) (17 . 3) (18 . 5) (20 . 7)) 1201 0.4645 12.9332 ((16 . 4) (18 . 5) (20 . 7) (21 . 8)) 1204 0.6632 9.1353 ((16 . 1) (17 . 3) (18 . 4) (20 . 5)) 1211 0.4652 11.7747 ((15 . 1) (16 . 3) (17 . 4) (20 . 8)) 1217 0.2969 9.7449 ((15 . 2) (17 . 7) (18 . 8) (20 . 11)) 1224 0.6655 6.9193 ((16 . 7) (17 . 9) (20 . 10) (21 . 13)) 1233 0.6614 10.1658 ((16 . 14) (17 . 17) (18 . 19) (20 . 20)) 1267 0.4660 9.8619 ((16 . 13) (18 . 16) (20 . 17) (21 . 18)) 1268 0.1995 14.6252 ((15 . 20) (17 . 22) (18 . 21) (20 . 25)) 1294 0.6609 10.4060 ((16 . 41) (17 . 42) (18 . 45) (20 . 46)) 1301 0.3879 6.3197 ((17 . 1) (18 . 3) (20 . 5) (21 . 6)) 1345 0.6600 10.8153 ((15 . 10) (17 . 12) (20 . 16) (21 . 17)) 1366 0.6663 5.1043 ((16 . 16) (17 . 17) (18 . 18) (20 . 21)) 1388 0.2970 6.4171 ((16 . 4) (17 . 5) (18 . 7) (20 . 8)) 1425 0.4664 8.2746 ((15 . 7) (16 . 8) (17 . 10) (20 . 12)) 1435 0.6620 9.8860 ((16 . 1) (17 . 2) (18 . 4) (20 . 5)) 1447 0.2969 9.7233 ((16 . 3) (17 . 5) (18 . 6) (20 . 7)) 1451 0.1996 6.5626 ((16 . 5) (17 . 6) (18 . 7) (20 . 9)) 1464 0.3879 7.1123 ((15 . 9) (17 . 10) (18 . 12) (20 . 13)) 1472 0.5277 9.3780 ((15 . 3) (17 . 7) (18 . 9) (21 . 10)) 1476 0.1996 9.7522 ((16 . 11) (17 . 14) (18 . 16) (20 . 18)) 1481 0.6648 7.8071 ((15 . 3) (17 . 4) (20 . 7) (21 . 8)) 1501 0.2970 3.9863 ((16 . 5) (17 . 6) (20 . 9) (21 . 10)) 1513 0.2488 8.2732 ((15 . 1) (16 . 3) (18 . 7) (21 . 9)) 1514 0.2970 3.3416 ((17 . 1) (18 . 2) (20 . 4) (21 . 5)) 1577 0.2969 10.3291 ((16 . 6) (17 . 10) (18 . 11) (20 . 12)) 1591 0.1996 10.1833 ((15 . 12) (16 . 14) (17 . 16) (18 . 17)) 1595 0.6665 4.0862 ((15 . 3) (18 . 6) (20 . 8) (21 . 9)) 1604 0.6527 13.0851 ((15 . 8) (16 . 7) (17 . 10) (18 . 11)) 1643 0.6662 5.5798 ((16 . 15) (17 . 16) (20 . 20) (21 . 21)) 1644 0.3878 9.1611 ((15 . 42) (16 . 44) (17 . 46) (20 . 49)) 1665 0.3879 6.4833 ((16 . 6) (17 . 8) (20 . 10) (21 . 11)) 1690 0.2969 9.8076 ((15 . 15) (16 . 16) (18 . 22) (21 . 23)) 1692 0.2970 8.2673 ((17 . 1) (18 . 2) (20 . 5) (21 . 4)) 1736 0.3876 10.1525 ((15 . 8) (16 . 7) (18 . 11) (20 . 12)) 1738 0.6645 8.0833 ((16 . 18) (17 . 19) (18 . 20) (20 . 23)) 1747 0.6639 8.6537 ((16 . 18) (17 . 19) (18 . 22) (20 . 24)) 1761 0.6656 6.7666 ((16 . 13) (17 . 16) (18 . 18) (20 . 19)) 1763 0.2968 12.0670 ((15 . 4) (16 . 3) (20 . 9) (21 . 8)) 1776 0.3878 9.1444 ((17 . 7) (18 . 8) (20 . 9) (21 . 11)) 1778 0.2970 6.6838 ((16 . 8) (18 . 10) (20 . 12) (21 . 13)) 1793 0.2488 7.6125 ((16 . 11) (17 . 12) (18 . 15) (21 . 16)) 1805 0.6665 4.4151 ((16 . 11) (17 . 12) (18 . 13) (20 . 14)) 1808 0.6659 6.2644 ((16 . 4) (17 . 5) (18 . 7) (20 . 9)) 1867 0.6656 6.8703 ((17 . 1) (18 . 2) (20 . 6) (21 . 8)) 1894 0.3871 12.6994 ((16 . 12) (18 . 15) (20 . 18) (21 . 16)) 1896 0.5284 7.5239 ((16 . 23) (17 . 24) (18 . 28) (21 . 30)) 1908 0.2969 8.8837 ((15 . 9) (17 . 15) (18 . 16) (20 . 17)) 1913 0.2970 4.8298 ((16 . 26) (17 . 28) (20 . 30) (21 . 31)) 1944 0.4660 9.9207 ((15 . 2) (17 . 3) (18 . 4) (21 . 6)) 1961 0.6659 6.2486 ((16 . 15) (17 . 16) (18 . 18) (20 . 20)) 1967 0.3877 9.3505 ((17 . 3) (18 . 4) (20 . 7) (21 . 8)) 1992 0.1665 10.6087 ((15 . 10) (16 . 12) (17 . 14) (18 . 13)) 2003 0.3877 9.8773 ((15 . 1) (16 . 4) (17 . 5) (20 . 9)) 2006 0.2969 10.4728 ((17 . 20) (18 . 23) (20 . 24) (21 . 27)) 2048 0.6660 5.9774 ((15 . 12) (17 . 13) (18 . 14) (20 . 16)) 2054 0.6641 8.4461 ((16 . 1) (17 . 2) (18 . 7) (21 . 9)) 2065 0.4667 4.8086 ((15 . 15) (16 . 16) (17 . 17) (20 . 18)) 2067 0.3842 18.3979 ((15 . 49) (16 . 50) (18 . 52) (21 . 56)) 2072 0.1499 10.9420 ((16 . 2) (17 . 4) (18 . 3) (20 . 7)) 2081 0.4657 10.7201 ((15 . 1) (17 . 3) (20 . 6) (21 . 7)) 2097 0.2969 8.8748 ((15 . 10) (17 . 14) (18 . 15) (20 . 16)) 2114 0.6654 7.0284 ((16 . 32) (17 . 34) (18 . 35) (20 . 36)) 2117 0.3872 12.5428 ((17 . 20) (18 . 21) (20 . 25) (21 . 26)) 2118 0.4664 8.1533 ((16 . 4) (17 . 5) (18 . 6) (21 . 8)) 2122 0.6514 13.3858 ((15 . 13) (16 . 15) (18 . 19) (21 . 21)) 2166 0.6666 3.2013 ((16 . 12) (17 . 13) (18 . 14) (20 . 21)) 2179 0.0999 7.2418 ((15 . 3) (16 . 4) (17 . 6) (20 . 10)) 2203 0.3880 5.9561 ((15 . 3) (16 . 5) (17 . 7) (18 . 8)) 2205 0.1996 11.7229 ((16 . 17) (17 . 19) (20 . 23) (21 . 24)) 2209 0.1996 8.9478 ((15 . 4) (16 . 5) (17 . 6) (20 . 9)) 2248 0.6661 5.6798 ((15 . 23) (17 . 27) (18 . 26) (20 . 28)) 2269 0.6658 6.4083 ((15 . 5) (16 . 6) (17 . 7) (20 . 10)) 2279 0.6661 5.7924 ((16 . 10) (17 . 11) (18 . 12) (20 . 22)) 2298 0.3876 10.1068 ((15 . 13) (16 . 12) (18 . 16) (20 . 17)) 2308 0.6622 9.7358 ((15 . 3) (16 . 4) (17 . 5) (20 . 8)) 2314 0.2967 14.1324 ((16 . 11) (17 . 13) (18 . 16) (20 . 18)) 2340 0.2487 10.7780 ((15 . 12) (16 . 13) (17 . 14) (18 . 15)) 2344 0.2970 7.0563 ((16 . 1) (17 . 3) (18 . 4) (20 . 6)) 2364 0.6622 9.7241 ((16 . 15) (17 . 18) (18 . 16) (20 . 20)) 2389 0.1499 12.2572 ((16 . 10) (17 . 11) (18 . 12) (21 . 15)) 2409 0.2488 7.0854 ((15 . 1) (16 . 2) (17 . 4) (20 . 8)) 2410 0.6664 4.8835 ((15 . 12) (17 . 13) (18 . 15) (20 . 17)) 2422 0.6626 9.5164 ((16 . 1) (17 . 4) (20 . 9) (21 . 10)) 2447 0.4848 6.8275 ((16 . 13) (17 . 18) (18 . 20) (20 . 21) (21 . 26)) 2462 0.6651 7.4812 ((15 . 5) (16 . 7) (18 . 10) (20 . 11)) 2510 0.6610 10.3506 ((16 . 3) (17 . 5) (18 . 6) (20 . 7)) 2525 0.3878 9.1141 ((17 . 45) (18 . 46) (20 . 47) (21 . 49)) 2529 0.2487 10.1015 ((15 . 4) (16 . 5) (17 . 6) (18 . 7)) 2533 0.6624 9.6329 ((15 . 14) (17 . 18) (18 . 17) (20 . 19)) 2544 0.6666 3.5718 ((15 . 18) (18 . 21) (20 . 23) (21 . 24)) 2551 0.2488 9.3145 ((15 . 2) (17 . 3) (18 . 4) (21 . 6)) 2556 0.6624 9.6218 ((16 . 13) (17 . 16) (18 . 17) (20 . 20)) 2557 0.6656 6.8431 ((17 . 3) (18 . 5) (20 . 7) (21 . 8)) 2595 0.2970 6.3883 ((16 . 6) (17 . 9) (20 . 11) (21 . 14)) 2627 0.6646 8.0443 ((15 . 59) (17 . 60) (18 . 62) (20 . 65)) 2675 0.6644 8.1683 ((15 . 2) (16 . 4) (17 . 5) (18 . 9)) 2682 0.2965 15.7675 ((15 . 4) (17 . 7) (18 . 8) (21 . 10)) 2696 0.3879 6.5808 ((16 . 31) (17 . 32) (18 . 33) (20 . 36)) 2731 0.6658 6.4436 ((17 . 1) (18 . 2) (20 . 4) (21 . 6)) 2733 0.6650 7.6010 ((16 . 1) (17 . 2) (20 . 4) (21 . 6)) 2755 0.2970 7.7650 ((15 . 2) (16 . 3) (17 . 5) (20 . 6)) 2773 0.2970 5.3167 ((16 . 2) (17 . 3) (18 . 4) (20 . 5)) 2783 0.1996 7.8896 ((16 . 6) (17 . 7) (18 . 9) (20 . 12)) 2821 0.4664 8.1731 ((16 . 2) (17 . 4) (20 . 7) (21 . 10)) 2830 0.2969 9.5147 ((17 . 15) (18 . 16) (20 . 17) (21 . 18)) 2834 0.6656 6.7513 ((15 . 2) (16 . 5) (17 . 6) (18 . 7)) 2840 0.6651 7.5132 ((16 . 8) (17 . 9) (18 . 10) (20 . 11)) 2879 0.6648 7.8426 ((16 . 52) (17 . 53) (18 . 55) (20 . 57)) 2929 0.1499 6.1373 ((17 . 36) (18 . 38) (20 . 40) (21 . 41)) 2940 0.0999 6.8100 ((16 . 4) (17 . 5) (20 . 6) (21 . 9)) 2947 0.6666 2.5182 ((16 . 3) (17 . 4) (18 . 5) (20 . 7)) 2966 0.6569 11.9057 ((15 . 5) (16 . 4) (17 . 6) (20 . 10)) 2990 0.6631 9.2048 ((16 . 15) (17 . 16) (18 . 17) (21 . 18)) 2999 0.6662 5.5178 ((15 . 3) (17 . 4) (18 . 5) (20 . 7)) 3019 0.6632 9.1551 ((16 . 22) (17 . 25) (18 . 24) (21 . 26)) 3041 0.6663 5.0293 ((17 . 30) (18 . 31) (20 . 33) (21 . 34)) 3063 0.4659 10.2527 ((16 . 31) (17 . 32) (20 . 35) (21 . 34)) 3070 0.8778 3.2260 ((15 . 31) (16 . 32) (17 . 33) (18 . 34) (20 . 36) (21 . 37)) 3084 0.4642 13.2752 ((15 . 10) (16 . 11) (17 . 13) (18 . 14)) 3102 0.6665 4.4484 ((16 . 74) (17 . 77) (18 . 78) (20 . 80)) 3114 0.3877 9.6877 ((16 . 22) (17 . 23) (20 . 25) (21 . 27)) 3120 0.2970 4.5155 ((16 . 21) (17 . 22) (18 . 23) (20 . 25)) 3127 0.2968 11.9115 ((15 . 9) (17 . 13) (18 . 16) (21 . 18)) 3187 0.6660 6.0538 ((16 . 5) (17 . 6) (20 . 7) (21 . 8)) 3197 0.6622 9.7326 ((16 . 12) (17 . 14) (18 . 15) (20 . 16)) 3200 0.6649 7.6925 ((15 . 5) (17 . 6) (18 . 7) (20 . 9)) 3202 0.1499 10.9279 ((15 . 15) (16 . 18) (17 . 19) (18 . 20)) 3212 0.6663 5.0305 ((16 . 3) (17 . 5) (18 . 7) (20 . 9)) 3222 0.2488 8.5835 ((15 . 9) (17 . 10) (20 . 14) (21 . 17)) 3256 0.3877 9.7125 ((16 . 20) (17 . 24) (20 . 26) (21 . 27)) 3261 0.6613 10.2099 ((16 . 6) (17 . 7) (18 . 10) (21 . 12)) 3286 0.1996 6.1822 ((15 . 2) (16 . 3) (17 . 4) (20 . 7)) 3289 0.3879 6.9984 ((16 . 25) (17 . 27) (18 . 28) (20 . 30)) 3300 0.6665 4.2386 ((16 . 1) (17 . 2) (18 . 3) (20 . 4)) 3322 0.6631 9.2031 ((16 . 3) (17 . 5) (18 . 6) (20 . 7)) 3334 0.0999 8.6226 ((16 . 5) (17 . 6) (18 . 9) (20 . 10)) 3339 0.6590 11.1828 ((15 . 10) (17 . 15) (18 . 16) (21 . 18)) 3358 0.1996 8.2162 ((15 . 5) (17 . 10) (18 . 11) (20 . 12)) 3362 0.5288 5.1070 ((15 . 3) (16 . 4) (20 . 8) (21 . 9)) 3366 0.6580 11.5690 ((16 . 22) (17 . 23) (18 . 25) (20 . 26)) 3410 0.6647 7.9151 ((16 . 19) (18 . 23) (20 . 24) (21 . 27)) 3418 0.3876 10.4206 ((17 . 2) (18 . 1) (20 . 5) (21 . 3)) 3446 0.2488 7.3225 ((16 . 5) (17 . 6) (18 . 8) (21 . 9)) 3481 0.6638 8.6775 ((15 . 3) (16 . 4) (17 . 7) (20 . 8)) 3495 0.6629 5.4147 ((15 . 6) (16 . 7) (17 . 8) (18 . 9) (20 . 3) (21 . 5)) 3496 0.2488 5.6093 ((15 . 21) (16 . 22) (17 . 23) (18 . 24)) 3533 0.3878 8.3690 ((16 . 3) (17 . 5) (18 . 6) (20 . 10)) 3537 0.2487 12.7090 ((16 . 9) (17 . 10) (18 . 11) (21 . 12)) 3538 0.7245 6.7481 ((15 . 13) (16 . 18) (17 . 20) (18 . 21) (21 . 22)) 3548 0.3874 11.6827 ((15 . 7) (16 . 9) (17 . 10) (18 . 11)) 3549 0.3879 6.9748 ((15 . 4) (17 . 5) (18 . 7) (20 . 8)) 3561 0.1996 7.9724 ((16 . 26) (18 . 29) (20 . 31) (21 . 32)) 3570 0.3880 6.0520 ((16 . 1) (17 . 4) (18 . 6) (21 . 9)) 3585 0.6639 8.6754 ((16 . 5) (17 . 6) (18 . 7) (20 . 11)) 3613 0.4667 4.7724 ((15 . 39) (16 . 40) (17 . 41) (18 . 42)) 3626 0.6662 5.5317 ((16 . 2) (17 . 3) (18 . 5) (20 . 11)) 3628 0.8328 4.2314 ((15 . 1) (16 . 2) (17 . 3) (18 . 5) (21 . 15)) 3651 0.6663 5.1622 ((16 . 11) (17 . 13) (18 . 14) (21 . 15)) 3656 0.2969 10.2301 ((15 . 21) (16 . 22) (17 . 23) (18 . 25)) 3658 0.4656 10.8468 ((15 . 2) (16 . 3) (17 . 4) (20 . 7)) 3659 0.6666 3.1601 ((16 . 9) (17 . 12) (20 . 13) (21 . 14)) 3661 0.4649 12.2746 ((15 . 9) (16 . 11) (17 . 12) (21 . 17)) 3663 0.3879 7.8645 ((17 . 1) (18 . 3) (20 . 2) (21 . 4)) 3697 0.6665 4.3581 ((16 . 6) (17 . 7) (18 . 8) (20 . 10)) 3703 0.4667 5.5588 ((16 . 6) (17 . 7) (18 . 10) (21 . 11)) 3732 0.6651 7.4601 ((15 . 6) (17 . 7) (18 . 8) (20 . 11)) 3776 0.6641 8.4895 ((16 . 15) (18 . 18) (20 . 21) (21 . 23)) 3778 0.6666 3.2990 ((16 . 3) (17 . 4) (18 . 5) (20 . 7)) 3787 0.4657 10.6481 ((15 . 16) (17 . 17) (18 . 18) (21 . 20)) 3790 0.6661 5.8126 ((15 . 20) (16 . 21) (17 . 22) (20 . 26)) 3807 0.6576 11.7043 ((15 . 48) (16 . 47) (18 . 49) (20 . 50)) 3818 0.6657 6.6336 ((15 . 24) (17 . 28) (18 . 27) (20 . 29)) 3829 0.4644 12.9683 ((15 . 6) (17 . 9) (20 . 12) (21 . 13)) 3831 0.6662 5.4727 ((16 . 2) (17 . 3) (18 . 4) (20 . 6)) 3847 0.3878 8.5601 ((15 . 12) (16 . 13) (17 . 16) (20 . 17)) 3849 0.2487 11.1832 ((16 . 1) (18 . 4) (20 . 5) (21 . 7)) 3853 0.2488 8.1912 ((15 . 11) (17 . 14) (18 . 16) (21 . 19)) 3870 0.2968 11.6069 ((15 . 2) (16 . 3) (18 . 6) (21 . 7)) 3938 0.6662 5.5313 ((16 . 2) (17 . 4) (18 . 5) (20 . 8)) 3942 0.8237 8.9791 ((16 . 2) (17 . 3) (18 . 6) (20 . 9) (21 . 8)) 3968 0.3879 7.6139 ((16 . 3) (17 . 5) (18 . 7) (21 . 10)) 3986 0.2969 8.9504 ((15 . 20) (16 . 21) (17 . 25) (20 . 27)) 3990 0.2487 12.0138 ((15 . 17) (16 . 18) (20 . 22) (21 . 21)) 4005 0.2970 7.2116 ((15 . 28) (16 . 29) (17 . 30) (20 . 35)) 4009 0.2970 7.2406 ((16 . 21) (17 . 13) (18 . 17) (21 . 18)) 4019 0.4662 9.3367 ((16 . 34) (17 . 35) (20 . 39) (21 . 41)) 4034 0.1996 9.6215 ((15 . 8) (16 . 10) (17 . 11) (20 . 13)) 4037 0.2970 7.9202 ((16 . 2) (17 . 3) (18 . 4) (21 . 7)) 4062 0.2970 6.6821 ((15 . 45) (17 . 48) (18 . 51) (21 . 52)) 4067 0.1499 9.5318 ((16 . 20) (18 . 21) (20 . 24) (21 . 23)) 4077 0.1250 14.9421 ((15 . 9) (17 . 10) (18 . 12) (21 . 14)) 4112 0.4664 8.4402 ((16 . 2) (17 . 3) (20 . 6) (21 . 8)) 4115 0.6649 7.7141 ((16 . 1) (18 . 4) (20 . 5) (21 . 7)) 4177 0.3878 8.6426 ((16 . 1) (17 . 2) (20 . 7) (21 . 6)) 4192 0.2330 9.2239 ((15 . 14) (16 . 15) (17 . 19) (18 . 20) (20 . 22)) 4195 0.4666 6.7331 ((15 . 13) (16 . 14) (17 . 15) (21 . 19)) 4204 0.6663 5.0487 ((16 . 9) (17 . 11) (18 . 12) (20 . 15)) 4209 0.6659 6.2928 ((16 . 2) (17 . 4) (20 . 7) (21 . 11)) 4210 0.1996 4.2760 ((15 . 3) (16 . 4) (17 . 5) (20 . 6)) 4226 0.3879 8.1354 ((16 . 11) (17 . 12) (18 . 13) (21 . 17)) 4232 0.6636 8.8473 ((16 . 5) (17 . 6) (18 . 7) (20 . 8)) 4254 0.6431 15.0627 ((15 . 12) (17 . 15) (18 . 16) (21 . 20)) 4255 0.6663 5.1920 ((17 . 21) (18 . 22) (20 . 24) (21 . 25)) 4265 0.6630 9.3066 ((16 . 21) (18 . 25) (20 . 26) (21 . 28)) 4266 0.2969 9.2362 ((15 . 1) (17 . 4) (18 . 5) (20 . 6)) 4274 0.6658 6.4904 ((15 . 37) (17 . 38) (18 . 39) (20 . 41)) 4275 0.6622 9.7344 ((16 . 21) (18 . 24) (20 . 25) (21 . 26)) 4284 0.2488 8.1872 ((15 . 7) (16 . 8) (17 . 9) (18 . 11)) 4299 0.4651 11.9354 ((16 . 4) (18 . 5) (20 . 6) (21 . 8)) 4326 0.2969 10.0193 ((16 . 7) (17 . 10) (18 . 14) (20 . 15)) 4332 0.6638 8.6817 ((15 . 1) (17 . 2) (20 . 6) (21 . 8)) 4338 0.0999 7.7589 ((15 . 5) (16 . 6) (17 . 7) (20 . 8)) 4352 0.2970 7.8362 ((16 . 9) (17 . 10) (18 . 12) (21 . 13)) 4380 0.2487 10.3011 ((16 . 10) (17 . 11) (20 . 15) (21 . 16)) 4386 0.6651 7.4715 ((16 . 16) (17 . 18) (20 . 19) (21 . 20)) 4388 0.6663 5.1920 ((15 . 2) (17 . 3) (18 . 4) (20 . 6)) 4398 0.2969 9.2343 ((16 . 4) (17 . 6) (18 . 9) (20 . 10)) 4405 0.2488 6.9384 ((15 . 17) (16 . 18) (17 . 19) (18 . 20)) 4408 0.6666 2.7096 ((16 . 3) (17 . 4) (18 . 5) (20 . 7)) 4415 0.2970 4.5652 ((17 . 1) (18 . 2) (20 . 4) (21 . 5)) 4419 0.6651 7.4685 ((15 . 2) (16 . 3) (17 . 6) (20 . 8)) 4426 0.6639 8.6362 ((15 . 1) (17 . 2) (18 . 3) (20 . 4)) 4470 0.6572 11.8306 ((16 . 1) (17 . 2) (20 . 5) (21 . 6)) 4491 0.2970 4.7563 ((15 . 4) (16 . 5) (17 . 6) (18 . 7)) 4492 0.2969 10.3220 ((16 . 13) (17 . 16) (18 . 19) (20 . 21)) 4495 0.3473 6.8707 ((16 . 2) (17 . 3) (18 . 12) (20 . 21) (21 . 13)) 4497 0.2488 7.8734 ((15 . 20) (16 . 18) (17 . 23) (20 . 25)) 4502 0.1996 7.4151 ((15 . 7) (16 . 9) (17 . 10) (20 . 14)) 4504 0.3880 5.9291 ((16 . 21) (17 . 22) (18 . 23) (21 . 24)) 4516 0.6656 6.7513 ((15 . 5) (16 . 6) (17 . 8) (18 . 9)) 4538 0.6664 4.5960 ((15 . 27) (17 . 32) (20 . 38) (21 . 39)) 4551 0.2969 10.8797 ((16 . 1) (17 . 2) (20 . 8) (21 . 7)) 4560 0.6439 14.9180 ((16 . 14) (17 . 16) (20 . 18) (21 . 19)) 4561 0.6621 9.8226 ((16 . 5) (17 . 7) (18 . 8) (20 . 9)) 4562 0.6612 10.2610 ((15 . 21) (18 . 23) (20 . 25) (21 . 26)) 4577 0.6637 8.7934 ((16 . 55) (17 . 58) (18 . 59) (20 . 60)) 4579 0.5240 13.3870 ((16 . 17) (17 . 18) (18 . 21) (21 . 23)) 4588 0.6654 7.1232 ((15 . 2) (17 . 3) (18 . 4) (20 . 8)) 4589 0.4668 4.6867 ((15 . 21) (16 . 22) (17 . 23) (18 . 24)) 4621 0.6640 8.5682 ((16 . 3) (17 . 4) (18 . 5) (20 . 8)) 4648 0.6656 6.7948 ((16 . 1) (17 . 2) (18 . 3) (20 . 8)) 4669 0.6637 8.8119 ((16 . 15) (17 . 17) (18 . 18) (20 . 19)) 4671 0.5283 7.8027 ((15 . 10) (16 . 13) (17 . 15) (18 . 16)) 4674 0.4667 6.3313 ((16 . 1) (17 . 2) (18 . 4) (21 . 5)) 4715 0.3879 8.0676 ((15 . 1) (17 . 3) (20 . 6) (21 . 7)) 4886 0.2969 11.2592 ((15 . 28) (16 . 30) (17 . 31) (20 . 32)) 4888 0.4667 5.1279 ((16 . 14) (17 . 15) (18 . 18) (21 . 19)) 4889 0.6664 4.5766 ((16 . 3) (17 . 4) (18 . 5) (20 . 7)) 4907 0.1996 7.0051 ((15 . 2) (16 . 4) (17 . 5) (20 . 9)) 4921 0.1996 4.8574 ((16 . 7) (17 . 8) (18 . 11) (20 . 12)) 4932 0.6664 4.8585 ((16 . 1) (17 . 5) (20 . 8) (21 . 9)) 4940 0.6661 5.7217 ((16 . 1) (17 . 2) (18 . 5) (20 . 6)) 4961 0.1996 9.3405 ((15 . 8) (17 . 12) (18 . 13) (21 . 16)) 4982 0.6623 9.7138 ((16 . 1) (17 . 3) (18 . 5) (20 . 6)) 4992 0.6657 6.5765 ((15 . 4) (17 . 6) (18 . 7) (20 . 9)) 4998 0.2969 10.1329 ((15 . 17) (16 . 19) (17 . 20) (21 . 24)) 5029 0.6645 8.1242 ((16 . 2) (18 . 5) (20 . 6) (21 . 7)) 5039 0.1996 9.6893 ((16 . 39) (17 . 41) (18 . 43) (20 . 44)) 5044 0.1996 7.5013 ((16 . 3) (17 . 8) (20 . 14) (21 . 4)) 5046 0.6657 6.6706 ((16 . 3) (17 . 4) (20 . 7) (21 . 9)) 5053 0.3878 8.6713 ((15 . 1) (17 . 6) (18 . 7) (21 . 8)) 5065 0.3878 8.9627 ((16 . 2) (17 . 3) (18 . 5) (20 . 7)) 5068 0.4636 14.0511 ((15 . 21) (17 . 24) (18 . 25) (21 . 27)) 5069 0.6495 13.8227 ((16 . 5) (17 . 7) (20 . 12) (21 . 14)) 5073 0.2488 9.4289 ((15 . 33) (16 . 34) (18 . 37) (21 . 40)) 5080 0.4662 9.0844 ((15 . 1) (17 . 2) (18 . 5) (21 . 6)) 5101 0.4667 5.7448 ((15 . 14) (16 . 15) (20 . 21) (21 . 22)) 5103 0.3877 9.3265 ((15 . 14) (17 . 17) (18 . 16) (21 . 20)) 5121 0.1499 6.8036 ((15 . 23) (16 . 25) (17 . 26) (20 . 30)) 5132 0.6623 9.6693 ((15 . 21) (17 . 22) (18 . 23) (21 . 27)) 5134 0.2988 3.8644 ((16 . 2) (17 . 3) (18 . 5) (20 . 17) (21 . 18)) 5145 0.6658 6.4675 ((17 . 8) (18 . 9) (20 . 10) (21 . 11)) 5183 0.6661 5.7111 ((16 . 34) (17 . 35) (20 . 38) (21 . 39)) 5192 0.6638 8.7028 ((16 . 1) (17 . 3) (18 . 4) (20 . 5)) 5199 0.6659 6.1634 ((15 . 6) (16 . 7) (17 . 8) (20 . 9)) 5209 0.8312 6.1419 ((15 . 2) (16 . 3) (17 . 4) (18 . 6) (20 . 8)) 5212 0.1996 14.0366 ((15 . 19) (17 . 21) (18 . 20) (20 . 24)) 5215 0.2970 8.1032 ((16 . 4) (17 . 5) (18 . 6) (21 . 8)) 5223 0.1996 8.1345 ((16 . 1) (17 . 3) (18 . 5) (20 . 8)) 5231 0.2970 7.8733 ((15 . 9) (16 . 13) (17 . 14) (18 . 15)) 5266 0.3877 9.5024 ((15 . 12) (16 . 13) (17 . 15) (21 . 19)) 5278 0.2488 8.7843 ((15 . 3) (16 . 5) (17 . 6) (20 . 9)) 5307 0.6611 10.3100 ((16 . 51) (18 . 54) (20 . 55) (21 . 56)) 5312 0.6663 5.1756 ((16 . 1) (17 . 2) (20 . 5) (21 . 6)) 5323 0.2970 7.6186 ((15 . 8) (16 . 10) (17 . 11) (18 . 12)) 5324 0.6664 4.7936 ((16 . 20) (17 . 22) (18 . 23) (20 . 28)) 5344 0.1665 7.7698 ((16 . 1) (18 . 5) (20 . 4) (21 . 6)) 5368 0.6662 5.3747 ((15 . 40) (16 . 41) (17 . 43) (20 . 47)) 5378 0.6659 6.2117 ((15 . 1) (16 . 3) (17 . 4) (18 . 5)) 5411 0.6655 6.9510 ((15 . 1) (17 . 3) (18 . 5) (20 . 8)) 5414 0.6664 4.7430 ((16 . 15) (17 . 16) (18 . 17) (20 . 20)) 5418 0.4661 9.5139 ((16 . 1) (17 . 3) (18 . 4) (21 . 10)) 5479 0.6646 7.9889 ((16 . 61) (17 . 62) (20 . 63) (21 . 65)) 5487 0.6637 8.8257 ((15 . 1) (16 . 2) (18 . 5) (20 . 9)) 5489 0.2968 12.5627 ((16 . 2) (17 . 5) (18 . 4) (20 . 6)) 5500 0.6631 9.1960 ((17 . 3) (18 . 6) (20 . 7) (21 . 10)) 5525 0.4662 9.2429 ((15 . 3) (17 . 7) (18 . 9) (21 . 10)) 5540 0.2488 9.4392 ((15 . 9) (17 . 10) (20 . 14) (21 . 17)) 5560 0.4659 10.1706 ((15 . 14) (17 . 15) (18 . 16) (21 . 19)) 5562 0.2970 5.0757 ((15 . 5) (16 . 6) (17 . 7) (18 . 9)) 5567 0.1996 7.2869 ((16 . 8) (17 . 11) (18 . 10) (20 . 15)) 5594 0.6657 6.5990 ((16 . 1) (17 . 3) (20 . 4) (21 . 5)) 5600 0.6641 8.5063 ((15 . 4) (17 . 5) (20 . 9) (21 . 10)) 5644 0.3880 4.1911 ((16 . 3) (17 . 4) (18 . 5) (20 . 8)) 5656 0.3875 10.9477 ((15 . 6) (16 . 9) (17 . 10) (21 . 15)) 5700 0.1996 5.6770 ((16 . 2) (17 . 3) (20 . 6) (21 . 7)) 5701 0.3876 10.5135 ((16 . 11) (17 . 12) (18 . 13) (21 . 15)) 5703 0.4667 5.5611 ((15 . 3) (16 . 5) (17 . 6) (20 . 7)) 5718 0.6629 9.3680 ((15 . 15) (16 . 17) (17 . 18) (18 . 22)) 5731 0.1250 10.2022 ((16 . 2) (17 . 3) (18 . 6) (21 . 8)) 5746 0.6655 6.9433 ((15 . 5) (16 . 8) (17 . 10) (18 . 12)) 5761 0.6653 7.2526 ((17 . 28) (18 . 29) (20 . 32) (21 . 33)) 5770 0.2968 12.1571 ((15 . 7) (16 . 9) (17 . 12) (21 . 19)) 5782 0.6663 5.1258 ((15 . 33) (16 . 34) (17 . 35) (18 . 36)) 5794 0.4667 5.3383 ((15 . 13) (16 . 15) (17 . 16) (18 . 17)) 5795 0.1499 9.4390 ((16 . 6) (17 . 9) (18 . 8) (21 . 12)) 5809 0.6639 8.6274 ((16 . 9) (18 . 11) (20 . 14) (21 . 16)) 5822 0.3871 12.9693 ((15 . 5) (17 . 7) (20 . 9) (21 . 10)) 5827 0.3879 7.1022 ((16 . 2) (17 . 3) (18 . 6) (20 . 8)) 5830 0.6662 5.4737 ((16 . 7) (17 . 8) (20 . 10) (21 . 11)) 5847 0.6658 6.4319 ((16 . 17) (17 . 18) (18 . 21) (20 . 20)) 5865 0.2970 6.8919 ((17 . 5) (18 . 6) (20 . 7) (21 . 8)) 5878 0.2969 9.4738 ((15 . 24) (16 . 26) (17 . 30) (18 . 31)) 5896 0.1996 4.3461 ((17 . 26) (18 . 27) (20 . 29) (21 . 30)) 5913 0.6658 6.3932 ((16 . 6) (17 . 7) (18 . 8) (21 . 11)) 5914 0.2970 6.5602 ((16 . 2) (17 . 3) (18 . 4) (20 . 6)) 5930 0.6652 7.3616 ((15 . 3) (16 . 7) (17 . 4) (18 . 5)) 5939 0.6632 9.1698 ((16 . 2) (18 . 5) (20 . 6) (21 . 7)) 5945 0.6647 7.9646 ((15 . 36) (16 . 37) (17 . 38) (18 . 39)) 5972 0.1996 7.4067 ((15 . 1) (18 . 5) (20 . 7) (21 . 8)) 5977 0.6656 6.7172 ((15 . 2) (17 . 3) (18 . 4) (20 . 6)) 6000 0.1995 15.2993 ((15 . 6) (18 . 7) (20 . 9) (21 . 8)) 6011 0.6662 5.5937 ((16 . 10) (17 . 20) (18 . 21) (21 . 22)) 6029 0.6632 9.1509 ((16 . 31) (17 . 33) (18 . 34) (20 . 35)) 6041 0.2969 10.6900 ((16 . 11) (17 . 13) (18 . 14) (20 . 15)) 6046 0.1499 7.1270 ((15 . 1) (16 . 5) (17 . 6) (18 . 7)) 6061 0.6632 9.1264 ((15 . 18) (17 . 20) (20 . 21) (21 . 22)) 6074 0.6619 9.9268 ((16 . 2) (17 . 4) (18 . 5) (20 . 8)) 6075 0.4658 10.5151 ((15 . 23) (16 . 24) (17 . 27) (18 . 29)) 6079 0.6655 6.9215 ((16 . 8) (17 . 9) (18 . 12) (21 . 14)) 6087 0.3874 11.7828 ((15 . 7) (17 . 8) (18 . 9) (21 . 11)) 6089 0.4651 11.9472 ((15 . 15) (16 . 16) (17 . 18) (21 . 22)) 6094 0.6485 14.0261 ((16 . 1) (17 . 2) (20 . 7) (21 . 8)) 6099 0.6630 9.2580 ((15 . 12) (17 . 16) (20 . 18) (21 . 19)) 6142 0.2969 10.7405 ((16 . 16) (17 . 19) (18 . 21) (20 . 24)) 6148 0.3878 9.1600 ((16 . 32) (17 . 33) (18 . 35) (20 . 36)) 6173 0.6638 8.6936 ((16 . 7) (17 . 8) (20 . 12) (21 . 14)) 6191 0.6665 4.3554 ((16 . 3) (17 . 4) (18 . 5) (20 . 13)) 6192 0.6649 7.7288 ((16 . 10) (17 . 11) (18 . 12) (21 . 15)) 6215 0.2970 7.2491 ((16 . 19) (17 . 20) (18 . 22) (20 . 24)) 6225 0.2968 11.6396 ((15 . 9) (17 . 10) (18 . 11) (20 . 13)) 6228 0.5242 13.2426 ((15 . 10) (16 . 12) (18 . 16) (21 . 18)) 6234 0.6624 9.6609 ((16 . 10) (17 . 13) (18 . 14) (20 . 15)) 6238 0.2488 8.4690 ((15 . 2) (16 . 3) (17 . 4) (18 . 6)) 6243 0.2970 5.3315 ((16 . 2) (17 . 3) (18 . 5) (20 . 10)) 6251 0.3874 11.6651 ((16 . 10) (18 . 11) (20 . 15) (21 . 14)) 6258 0.2969 11.0524 ((15 . 2) (16 . 3) (17 . 4) (20 . 9)) 6261 0.1996 11.3744 ((16 . 3) (17 . 4) (18 . 7) (20 . 9)) 6270 0.2970 5.9978 ((15 . 16) (16 . 17) (17 . 18) (18 . 19)) 6271 0.6636 8.8660 ((15 . 6) (16 . 7) (17 . 8) (20 . 11)) 6273 0.6641 8.5082 ((16 . 6) (17 . 7) (18 . 9) (20 . 12)) 6294 0.2487 10.7072 ((15 . 5) (17 . 6) (18 . 7) (21 . 12)) 6306 0.2488 8.7826 ((15 . 18) (16 . 19) (17 . 21) (20 . 22)) 6344 0.6656 6.7538 ((16 . 14) (17 . 15) (18 . 16) (20 . 17)) 6345 0.1996 7.6088 ((16 . 6) (17 . 7) (18 . 8) (21 . 9)) 6348 0.1665 9.0480 ((15 . 2) (16 . 1) (17 . 4) (18 . 3)) 6355 0.5277 9.4083 ((16 . 9) (17 . 10) (18 . 13) (21 . 16)) 6356 0.6662 5.4793 ((16 . 1) (17 . 9) (20 . 11) (21 . 14)) 6369 0.4644 13.0373 ((15 . 30) (16 . 33) (17 . 35) (21 . 37)) 6376 0.6618 9.9731 ((16 . 19) (18 . 23) (20 . 26) (21 . 29)) 6391 0.4668 4.2879 ((15 . 7) (16 . 8) (17 . 10) (20 . 12)) 6392 0.2487 10.9410 ((15 . 8) (16 . 9) (18 . 10) (21 . 14)) 6399 0.6658 6.4834 ((15 . 23) (16 . 25) (17 . 26) (20 . 29)) 6462 0.6664 4.8202 ((16 . 28) (17 . 29) (18 . 31) (21 . 34)) 6476 0.6664 4.6207 ((15 . 1) (17 . 4) (18 . 7) (20 . 9)) 6498 0.2970 5.9700 ((16 . 16) (17 . 19) (20 . 21) (21 . 28)) 6520 0.1994 20.7577 ((16 . 15) (17 . 16) (20 . 20) (21 . 21)) 6539 0.6615 10.1391 ((15 . 1) (18 . 3) (20 . 6) (21 . 7)) 6548 0.6648 7.7797 ((15 . 6) (17 . 9) (18 . 10) (20 . 12)) 6553 0.6665 4.0415 ((15 . 10) (16 . 11) (20 . 15) (21 . 16)) 6555 0.3872 12.3280 ((15 . 8) (17 . 10) (18 . 12) (20 . 15)) 6561 0.6657 6.6664 ((16 . 9) (17 . 10) (18 . 11) (20 . 12)) 6573 0.6655 6.8818 ((15 . 16) (17 . 17) (18 . 18) (20 . 19)) 6575 0.2970 6.2525 ((16 . 1) (17 . 2) (18 . 3) (21 . 6)) 6584 0.2487 9.8688 ((15 . 1) (16 . 2) (17 . 3) (18 . 4)) 6585 0.3877 9.6903 ((15 . 5) (17 . 8) (18 . 9) (20 . 10)) 6587 0.6657 6.6724 ((16 . 33) (17 . 34) (18 . 35) (21 . 36)) 6598 0.6658 6.5012 ((16 . 26) (17 . 27) (20 . 30) (21 . 31)) 6613 0.6649 7.7507 ((15 . 23) (17 . 27) (18 . 26) (20 . 28)) 6635 0.3877 10.0743 ((17 . 4) (18 . 6) (20 . 7) (21 . 9)) END