4216 25 0.5694 9.7089 ((9 . 1) (10 . 2) (15 . 9) (16 . 10)) 91 0.5685 10.6123 ((10 . 22) (12 . 23) (13 . 26) (14 . 27)) 155 0.5685 10.6389 ((12 . 5) (13 . 6) (14 . 7) (15 . 8)) 207 0.5691 9.9979 ((10 . 6) (13 . 10) (14 . 11) (16 . 14)) 259 0.7131 6.3989 ((12 . 3) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 293 0.5689 10.2605 ((9 . 1) (13 . 3) (14 . 4) (16 . 5)) 317 0.2945 6.4087 ((9 . 6) (12 . 8) (13 . 9) (14 . 10)) 351 0.5694 9.6533 ((9 . 5) (10 . 7) (13 . 9) (14 . 10)) 361 0.1664 7.9961 ((10 . 3) (13 . 6) (15 . 8) (16 . 9)) 442 0.1664 10.4039 ((9 . 9) (10 . 11) (12 . 13) (16 . 17)) 495 0.5701 8.6900 ((9 . 4) (12 . 6) (14 . 10) (15 . 12)) 553 0.5713 4.7378 ((10 . 1) (13 . 14) (14 . 15) (16 . 21)) 624 0.2477 9.8361 ((10 . 12) (13 . 14) (15 . 17) (16 . 18)) 672 0.1498 14.9198 ((10 . 7) (12 . 8) (13 . 9) (14 . 12)) 678 0.4453 7.6474 ((9 . 21) (12 . 25) (15 . 28) (16 . 30)) 782 0.5709 6.8634 ((10 . 1) (13 . 4) (14 . 5) (16 . 11)) 792 0.5711 6.2349 ((10 . 1) (13 . 3) (14 . 5) (16 . 8)) 834 0.5694 9.7219 ((13 . 34) (14 . 35) (15 . 37) (16 . 38)) 901 0.4440 12.4105 ((12 . 2) (13 . 3) (14 . 4) (16 . 6)) 945 0.2477 10.6710 ((10 . 20) (12 . 21) (14 . 23) (15 . 24)) 960 0.3790 6.8097 ((10 . 11) (12 . 13) (13 . 16) (15 . 20)) 1005 0.1664 8.8572 ((12 . 3) (13 . 4) (14 . 5) (16 . 8)) 1034 0.4439 12.5038 ((9 . 19) (12 . 24) (15 . 27) (16 . 31)) 1082 0.5705 8.0526 ((9 . 7) (13 . 13) (14 . 14) (16 . 17)) 1124 0.5711 6.1876 ((10 . 8) (13 . 10) (14 . 11) (16 . 13)) 1165 0.2943 13.1459 ((9 . 9) (10 . 11) (13 . 15) (15 . 17)) 1167 0.1992 10.7207 ((9 . 24) (12 . 26) (14 . 28) (15 . 29)) 1204 0.5698 9.1854 ((9 . 13) (13 . 18) (14 . 19) (16 . 21)) 1268 0.5702 8.4628 ((9 . 5) (10 . 8) (15 . 15) (16 . 16)) 1345 0.5692 9.9331 ((9 . 11) (10 . 15) (13 . 17) (14 . 19)) 1388 0.2945 9.1103 ((10 . 6) (13 . 10) (14 . 11) (15 . 12)) 1415 0.5713 4.5786 ((9 . 1) (10 . 3) (13 . 5) (14 . 6)) 1447 0.5611 14.6818 ((10 . 4) (13 . 8) (14 . 10) (16 . 13)) 1470 0.4444 11.3307 ((10 . 7) (12 . 8) (13 . 9) (16 . 12)) 1472 0.2477 11.2892 ((9 . 1) (13 . 3) (15 . 9) (16 . 10)) 1497 0.5695 9.5442 ((9 . 9) (12 . 12) (13 . 15) (14 . 16)) 1724 0.5683 10.8249 ((9 . 1) (12 . 5) (13 . 6) (15 . 8)) 1736 0.5708 7.1915 ((9 . 2) (13 . 8) (14 . 9) (16 . 11)) 1763 0.5570 16.0499 ((10 . 2) (12 . 4) (13 . 6) (16 . 11)) 1776 0.2944 11.7449 ((10 . 6) (12 . 8) (13 . 10) (14 . 11)) 1796 0.7132 6.2168 ((12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 7)) 1896 0.2476 13.8693 ((9 . 10) (10 . 12) (12 . 13) (16 . 21)) 1897 0.5694 9.7255 ((12 . 35) (13 . 36) (14 . 37) (15 . 38)) 1908 0.5676 11.3773 ((9 . 2) (10 . 4) (14 . 6) (16 . 8)) 1944 0.2945 8.0313 ((9 . 12) (10 . 14) (14 . 20) (16 . 25)) 1967 0.4445 11.2491 ((9 . 4) (12 . 8) (13 . 9) (16 . 15)) 1987 0.5708 7.2747 ((12 . 8) (13 . 9) (14 . 10) (16 . 12)) 2054 0.5697 9.3663 ((10 . 9) (12 . 10) (13 . 12) (14 . 15)) 2067 0.2477 7.9151 ((12 . 47) (13 . 48) (14 . 49) (16 . 52)) 2081 0.5636 13.6453 ((9 . 7) (10 . 11) (13 . 13) (14 . 14)) 2094 0.2945 9.1064 ((12 . 2) (14 . 4) (15 . 6) (16 . 7)) 2114 0.2945 8.5384 ((10 . 35) (12 . 37) (13 . 38) (14 . 39)) 2117 0.5662 12.2974 ((9 . 13) (10 . 19) (14 . 24) (15 . 26)) 2122 0.4438 12.7413 ((10 . 11) (12 . 13) (15 . 19) (16 . 21)) 2179 0.4450 9.4447 ((10 . 12) (12 . 15) (13 . 16) (15 . 19)) 2233 0.7117 7.8005 ((10 . 1) (13 . 6) (14 . 7) (15 . 8) (16 . 9)) 2249 0.2477 7.9604 ((12 . 1) (13 . 2) (14 . 3) (16 . 8)) 2269 0.2477 9.3955 ((10 . 1) (12 . 3) (13 . 5) (16 . 9)) 2295 0.5704 8.1259 ((10 . 1) (14 . 4) (15 . 5) (16 . 6)) 2298 0.5670 11.7858 ((9 . 5) (10 . 7) (13 . 11) (16 . 14)) 2342 0.5706 7.7441 ((10 . 6) (13 . 7) (14 . 8) (16 . 9)) 2344 0.4442 11.7909 ((12 . 2) (13 . 5) (15 . 8) (16 . 9)) 2364 0.4447 10.7342 ((9 . 2) (10 . 6) (12 . 8) (15 . 11)) 2443 0.5559 16.3619 ((9 . 1) (13 . 5) (14 . 6) (16 . 8)) 2447 0.5668 11.9317 ((9 . 12) (14 . 19) (15 . 20) (16 . 22)) 2465 0.5711 6.3470 ((12 . 4) (13 . 5) (15 . 7) (16 . 8)) 2525 0.4426 14.4849 ((9 . 39) (12 . 44) (13 . 46) (16 . 52)) 2533 0.2477 9.4248 ((12 . 2) (13 . 3) (15 . 5) (16 . 7)) 2551 0.5680 11.0488 ((9 . 4) (10 . 5) (12 . 6) (13 . 7)) 2591 0.5709 6.8774 ((10 . 36) (13 . 37) (14 . 39) (15 . 40)) 2627 0.5628 14.0133 ((10 . 53) (13 . 55) (14 . 56) (16 . 59)) 2634 0.3788 9.9996 ((12 . 2) (13 . 3) (14 . 5) (15 . 6)) 2658 0.5696 9.4857 ((9 . 4) (10 . 6) (12 . 7) (13 . 8)) 2703 0.3790 5.6729 ((9 . 3) (12 . 4) (13 . 5) (14 . 6)) 2733 0.4444 11.4389 ((12 . 5) (13 . 6) (14 . 7) (15 . 9)) 2753 0.1992 11.6915 ((9 . 3) (10 . 5) (14 . 8) (16 . 10)) 2773 0.1992 8.8663 ((9 . 4) (13 . 7) (14 . 8) (15 . 9)) 2842 0.5709 7.0086 ((10 . 3) (13 . 6) (14 . 7) (15 . 8)) 2867 0.5552 16.5443 ((10 . 1) (12 . 3) (13 . 5) (16 . 10)) 2947 0.5683 10.7862 ((12 . 17) (13 . 18) (14 . 19) (15 . 20)) 2950 0.5712 5.3752 ((9 . 7) (12 . 9) (13 . 10) (14 . 11)) 2990 0.3784 12.2844 ((9 . 8) (12 . 13) (15 . 17) (16 . 18)) 3014 0.5702 8.5069 ((9 . 17) (10 . 19) (13 . 21) (15 . 26)) 3041 0.2943 13.4274 ((9 . 13) (12 . 17) (14 . 20) (16 . 25)) 3070 0.5684 10.7593 ((9 . 30) (10 . 31) (13 . 34) (14 . 37)) 3197 0.5695 9.5538 ((10 . 20) (13 . 22) (14 . 23) (15 . 25)) 3202 0.5676 11.3640 ((9 . 10) (10 . 12) (13 . 15) (16 . 20)) 3286 0.5670 11.8170 ((10 . 8) (12 . 10) (13 . 11) (16 . 15)) 3310 0.1498 11.2945 ((10 . 1) (12 . 2) (13 . 4) (16 . 6)) 3334 0.4910 9.0991 ((12 . 7) (13 . 9) (15 . 11) (16 . 12)) 3339 0.5710 6.7207 ((9 . 25) (12 . 34) (13 . 35) (14 . 36)) 3391 0.5662 12.2897 ((9 . 14) (10 . 16) (13 . 18) (14 . 20)) 3415 0.5682 10.8599 ((9 . 19) (10 . 21) (13 . 23) (14 . 24)) 3446 0.5699 9.0707 ((9 . 1) (10 . 2) (15 . 8) (16 . 9)) 3470 0.4445 11.0525 ((10 . 9) (12 . 10) (13 . 11) (16 . 13)) 3495 0.5708 7.2334 ((10 . 10) (12 . 11) (13 . 13) (14 . 14)) 3538 0.5637 13.6308 ((9 . 21) (10 . 22) (15 . 27) (16 . 28)) 3613 0.5710 6.5795 ((10 . 39) (13 . 42) (14 . 43) (16 . 44)) 3651 0.3784 12.1464 ((9 . 6) (10 . 10) (14 . 15) (16 . 19)) 3658 0.4450 9.3753 ((9 . 13) (12 . 15) (13 . 16) (15 . 19)) 3661 0.5706 7.7961 ((13 . 9) (14 . 10) (15 . 13) (16 . 14)) 3663 0.1992 11.1334 ((9 . 3) (10 . 4) (12 . 6) (14 . 7)) 3778 0.1498 11.3965 ((10 . 19) (12 . 20) (13 . 21) (14 . 23)) 3787 0.5708 7.2664 ((9 . 18) (13 . 24) (14 . 25) (16 . 28)) 3829 0.5704 8.1721 ((10 . 4) (13 . 8) (15 . 11) (16 . 13)) 3834 0.5695 9.5028 ((12 . 3) (13 . 4) (14 . 5) (16 . 6)) 3938 0.1664 10.8317 ((9 . 1) (12 . 5) (14 . 12) (16 . 16)) 3942 0.5704 8.1140 ((12 . 4) (13 . 5) (14 . 6) (15 . 8)) 3968 0.2945 10.3344 ((10 . 2) (12 . 4) (15 . 10) (16 . 12)) 4009 0.5679 11.1039 ((9 . 10) (10 . 14) (12 . 16) (14 . 18)) 4011 0.5710 6.7372 ((10 . 2) (12 . 4) (13 . 5) (14 . 6)) 4030 0.5699 8.9586 ((10 . 9) (13 . 11) (14 . 12) (16 . 15)) 4062 0.4448 10.2913 ((10 . 45) (13 . 47) (15 . 51) (16 . 53)) 4077 0.5678 11.2178 ((9 . 7) (10 . 9) (13 . 12) (14 . 13)) 4082 0.5699 9.0674 ((13 . 1) (14 . 2) (15 . 3) (16 . 4)) 4115 0.2945 8.6579 ((9 . 14) (10 . 18) (12 . 20) (13 . 21)) 4134 0.2477 10.5817 ((12 . 23) (13 . 24) (15 . 25) (16 . 26)) 4151 0.2475 15.7868 ((12 . 1) (13 . 2) (14 . 4) (15 . 6)) 4192 0.2476 13.8436 ((10 . 11) (12 . 14) (14 . 18) (16 . 20)) 4195 0.5710 6.3788 ((10 . 3) (13 . 4) (14 . 5) (16 . 7)) 4204 0.5702 8.4849 ((9 . 1) (12 . 4) (14 . 6) (16 . 10)) 4216 1.0000 0.0000 ((9 . 9) (10 . 10) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16)) 4226 0.2944 11.4003 ((9 . 10) (10 . 13) (14 . 17) (16 . 20)) 4243 0.2945 7.1290 ((9 . 1) (12 . 4) (13 . 5) (14 . 6)) 4254 0.2944 11.8484 ((12 . 5) (13 . 7) (15 . 10) (16 . 12)) 4261 0.1498 10.9328 ((9 . 11) (10 . 13) (14 . 15) (15 . 17)) 4281 0.5664 12.2237 ((10 . 9) (12 . 11) (13 . 13) (16 . 16)) 4326 0.3789 8.5313 ((12 . 4) (13 . 5) (14 . 6) (16 . 8)) 4352 0.5705 7.9813 ((9 . 4) (10 . 5) (12 . 7) (15 . 13)) 4386 0.4452 8.2335 ((10 . 8) (14 . 11) (15 . 12) (16 . 13)) 4408 0.3786 11.0730 ((10 . 19) (12 . 20) (13 . 21) (15 . 23)) 4470 0.5684 10.6930 ((9 . 17) (13 . 22) (14 . 23) (15 . 24)) 4495 0.2945 10.5031 ((9 . 5) (10 . 7) (14 . 11) (15 . 12)) 4504 0.1992 9.6217 ((9 . 2) (10 . 5) (12 . 10) (14 . 12)) 4579 0.5704 8.1315 ((9 . 2) (13 . 5) (14 . 6) (16 . 8)) 4607 0.2943 12.6261 ((9 . 18) (12 . 20) (14 . 23) (16 . 28)) 4715 0.5681 10.9719 ((9 . 5) (10 . 7) (12 . 9) (15 . 13)) 4716 0.5592 15.3402 ((9 . 2) (13 . 7) (14 . 8) (16 . 10)) 4764 0.5696 9.3764 ((13 . 2) (14 . 3) (15 . 5) (16 . 6)) 4783 0.5557 16.4094 ((9 . 6) (10 . 7) (13 . 8) (14 . 9)) 4817 0.5711 6.2614 ((10 . 5) (13 . 7) (14 . 9) (16 . 11)) 4886 0.3767 16.7407 ((9 . 3) (10 . 6) (12 . 7) (14 . 8)) 4888 0.5653 12.8236 ((9 . 3) (10 . 6) (13 . 10) (14 . 11)) 4889 0.5671 11.7202 ((9 . 13) (12 . 19) (13 . 20) (16 . 23)) 4963 0.5699 9.0796 ((9 . 3) (14 . 8) (15 . 9) (16 . 10)) 4978 0.1992 9.6930 ((9 . 19) (10 . 20) (15 . 26) (16 . 27)) 5000 0.5656 12.6659 ((10 . 31) (13 . 32) (14 . 33) (16 . 35)) 5016 0.7062 10.4110 ((9 . 2) (10 . 5) (13 . 6) (14 . 8) (16 . 10)) 5068 0.3783 12.3873 ((10 . 3) (12 . 6) (14 . 9) (15 . 11)) 5069 0.5698 9.1777 ((9 . 3) (12 . 6) (13 . 8) (16 . 14)) 5080 0.5688 10.3443 ((10 . 6) (12 . 7) (15 . 11) (16 . 13)) 5092 0.5699 9.0357 ((10 . 7) (12 . 8) (13 . 9) (14 . 10)) 5101 0.5693 9.8127 ((9 . 17) (12 . 20) (13 . 22) (14 . 24)) 5132 0.5657 12.6092 ((9 . 17) (10 . 19) (13 . 21) (16 . 24)) 5134 0.4442 11.9094 ((9 . 1) (10 . 5) (12 . 8) (15 . 11)) 5145 0.5684 10.6831 ((9 . 2) (12 . 7) (13 . 9) (15 . 11)) 5167 0.5694 9.7094 ((10 . 2) (13 . 6) (14 . 7) (15 . 8)) 5212 0.2943 12.7762 ((9 . 15) (12 . 17) (14 . 20) (16 . 25)) 5223 0.3783 12.7931 ((9 . 4) (12 . 7) (13 . 9) (15 . 13)) 5266 0.5692 9.9752 ((9 . 9) (12 . 12) (14 . 16) (16 . 18)) 5285 0.5708 7.2642 ((13 . 2) (14 . 3) (15 . 4) (16 . 5)) 5318 0.5710 6.3619 ((12 . 13) (13 . 14) (14 . 15) (15 . 16)) 5323 0.5698 9.2295 ((9 . 4) (10 . 8) (15 . 14) (16 . 15)) 5324 0.3785 11.6861 ((9 . 19) (10 . 21) (12 . 23) (14 . 27)) 5442 0.5688 10.3223 ((12 . 31) (13 . 32) (14 . 33) (15 . 34)) 5487 0.2941 15.1094 ((9 . 5) (10 . 8) (12 . 10) (13 . 12)) 5501 0.5707 7.4374 ((13 . 21) (14 . 22) (15 . 23) (16 . 26)) 5525 0.5690 10.1265 ((9 . 2) (13 . 5) (15 . 10) (16 . 11)) 5560 0.2945 10.5393 ((9 . 6) (10 . 7) (12 . 8) (13 . 10)) 5562 0.5667 12.0270 ((9 . 13) (12 . 16) (13 . 18) (14 . 20)) 5648 0.5691 10.0359 ((9 . 4) (10 . 5) (13 . 7) (14 . 8)) 5656 0.5672 11.6762 ((9 . 19) (13 . 25) (14 . 26) (15 . 28)) 5689 0.5707 7.5621 ((10 . 11) (13 . 14) (15 . 17) (16 . 18)) 5701 0.2477 10.6103 ((9 . 3) (12 . 7) (14 . 10) (16 . 13)) 5702 0.5675 11.4551 ((9 . 3) (10 . 4) (13 . 8) (14 . 9)) 5704 0.5699 8.9517 ((10 . 2) (13 . 4) (14 . 5) (16 . 6)) 5771 0.4449 9.8823 ((12 . 2) (13 . 6) (14 . 7) (15 . 8)) 5782 0.5708 7.1732 ((9 . 28) (13 . 33) (15 . 36) (16 . 38)) 5795 0.2477 10.4804 ((9 . 2) (14 . 8) (15 . 11) (16 . 12)) 5878 0.5705 7.8841 ((9 . 13) (12 . 21) (13 . 22) (14 . 24)) 5904 0.1664 7.9658 ((9 . 2) (12 . 5) (15 . 8) (16 . 10)) 5913 0.4447 10.5550 ((9 . 4) (12 . 8) (13 . 11) (16 . 14)) 5949 0.5683 10.7896 ((10 . 2) (12 . 3) (14 . 8) (16 . 11)) 6000 0.3786 11.0636 ((9 . 2) (13 . 6) (14 . 7) (16 . 8)) 6029 0.2944 11.4498 ((9 . 32) (13 . 36) (14 . 38) (16 . 39)) 6033 0.5707 7.4519 ((10 . 3) (13 . 5) (14 . 6) (16 . 9)) 6041 0.5688 10.3821 ((9 . 3) (10 . 4) (12 . 5) (13 . 6)) 6074 0.5706 7.6964 ((9 . 1) (10 . 3) (14 . 7) (16 . 10)) 6079 0.5704 8.1054 ((10 . 10) (13 . 14) (14 . 15) (15 . 16)) 6089 0.5683 10.7651 ((9 . 13) (10 . 15) (13 . 19) (16 . 22)) 6169 0.5708 7.1656 ((9 . 1) (10 . 2) (12 . 3) (16 . 8)) 6192 0.4432 13.6939 ((9 . 4) (12 . 7) (13 . 9) (16 . 15)) 6228 0.2942 14.7021 ((12 . 8) (13 . 10) (15 . 13) (16 . 16)) 6258 0.3785 11.6352 ((10 . 5) (12 . 8) (14 . 11) (16 . 14)) 6268 0.5712 5.4696 ((9 . 8) (13 . 11) (14 . 12) (15 . 13)) 6294 0.3781 13.3765 ((9 . 7) (10 . 10) (12 . 12) (14 . 15)) 6329 0.5704 8.1697 ((13 . 1) (14 . 2) (15 . 3) (16 . 4)) 6348 0.3788 9.0757 ((10 . 2) (14 . 5) (15 . 6) (16 . 8)) 6356 0.5676 11.3859 ((9 . 3) (10 . 5) (14 . 10) (16 . 12)) 6359 0.5696 9.4667 ((10 . 1) (13 . 4) (14 . 5) (15 . 6)) 6369 0.3788 9.6783 ((9 . 23) (12 . 27) (13 . 28) (14 . 30)) 6384 0.3790 5.8341 ((12 . 2) (13 . 3) (14 . 4) (16 . 5)) 6391 0.2477 13.2820 ((10 . 3) (12 . 4) (13 . 5) (15 . 7)) 6462 0.3789 9.0334 ((9 . 14) (13 . 19) (15 . 21) (16 . 25)) 6476 0.4453 7.6197 ((12 . 1) (13 . 5) (14 . 6) (15 . 7)) 6498 0.5631 13.8986 ((10 . 35) (12 . 36) (13 . 39) (16 . 46)) 6506 0.5692 9.8795 ((12 . 24) (13 . 25) (14 . 27) (16 . 29)) 6536 0.5711 6.1961 ((10 . 30) (13 . 33) (14 . 34) (16 . 37)) 6548 0.4453 8.0251 ((13 . 6) (14 . 8) (15 . 10) (16 . 14)) 6578 0.2945 8.8544 ((10 . 33) (12 . 36) (14 . 39) (15 . 41)) 6585 0.5675 11.4665 ((9 . 3) (10 . 5) (12 . 7) (16 . 12)) 6586 0.4903 10.7326 ((12 . 16) (13 . 17) (15 . 19) (16 . 22)) 6605 0.5714 4.1849 ((9 . 1) (10 . 3) (13 . 6) (14 . 7)) 6622 0.1992 9.4315 ((12 . 6) (13 . 8) (14 . 10) (16 . 12)) END