2295 25 0.5651 12.9220 ((1 . 2) (5 . 9) (6 . 10) (7 . 12)) 77 0.3787 10.2731 ((3 . 10) (4 . 12) (6 . 16) (7 . 17)) 136 0.3786 10.8918 ((2 . 2) (4 . 4) (5 . 6) (7 . 9)) 147 0.5610 14.7192 ((2 . 3) (5 . 7) (6 . 8) (7 . 9)) 157 0.1991 19.2915 ((1 . 10) (2 . 12) (4 . 15) (6 . 21)) 207 0.2940 16.3194 ((1 . 6) (2 . 10) (4 . 12) (6 . 14)) 259 0.5600 15.0814 ((2 . 2) (5 . 6) (6 . 7) (7 . 8)) 293 0.5694 9.6928 ((1 . 1) (4 . 3) (6 . 4) (7 . 5)) 317 0.5700 8.8968 ((1 . 4) (3 . 8) (4 . 9) (6 . 10)) 329 0.1992 10.5549 ((3 . 1) (4 . 3) (6 . 7) (7 . 8)) 351 0.5595 15.2617 ((1 . 2) (3 . 5) (4 . 6) (6 . 9)) 361 0.3775 15.0220 ((3 . 6) (4 . 7) (6 . 9) (7 . 13)) 442 0.2943 13.1264 ((1 . 9) (2 . 11) (6 . 15) (7 . 18)) 553 0.3786 11.0074 ((1 . 14) (4 . 20) (5 . 21) (6 . 22)) 672 0.1498 10.3407 ((1 . 8) (2 . 12) (5 . 17) (6 . 19)) 678 0.5668 11.9156 ((1 . 27) (3 . 31) (5 . 33) (6 . 36)) 729 0.2936 18.4222 ((1 . 21) (2 . 22) (3 . 23) (7 . 32)) 782 0.5604 14.9334 ((4 . 3) (5 . 4) (6 . 5) (7 . 7)) 792 0.1498 10.8102 ((1 . 3) (4 . 17) (6 . 20) (7 . 21)) 834 0.4447 10.4826 ((3 . 40) (4 . 42) (5 . 43) (6 . 44)) 901 0.3788 9.6627 ((1 . 2) (2 . 3) (3 . 4) (6 . 8)) 943 0.2475 15.7467 ((2 . 5) (3 . 7) (6 . 10) (7 . 13)) 945 0.5679 11.1416 ((1 . 13) (3 . 16) (4 . 18) (6 . 21)) 960 0.5530 17.1212 ((1 . 20) (3 . 25) (5 . 27) (7 . 31)) 978 0.2942 14.3697 ((2 . 8) (3 . 9) (6 . 12) (7 . 15)) 980 0.2942 14.4965 ((3 . 2) (5 . 4) (6 . 6) (7 . 8)) 1005 0.3788 9.5290 ((3 . 4) (4 . 5) (5 . 6) (7 . 8)) 1007 0.5688 10.3293 ((1 . 1) (2 . 2) (3 . 4) (4 . 5)) 1043 0.2943 13.1884 ((3 . 5) (5 . 7) (6 . 9) (7 . 11)) 1082 0.2477 12.6131 ((3 . 11) (4 . 13) (5 . 14) (6 . 17)) 1124 0.1992 12.9227 ((3 . 9) (4 . 10) (6 . 11) (7 . 15)) 1165 0.4443 11.7527 ((1 . 11) (3 . 15) (4 . 16) (5 . 17)) 1204 0.1664 12.0728 ((1 . 13) (4 . 18) (5 . 19) (6 . 21)) 1210 0.1992 10.3971 ((2 . 1) (5 . 4) (6 . 5) (7 . 7)) 1267 0.1332 12.5027 ((3 . 14) (4 . 16) (5 . 18) (6 . 20)) 1268 0.5705 7.9322 ((2 . 10) (3 . 12) (4 . 15) (5 . 16)) 1345 0.5592 15.3548 ((1 . 10) (2 . 11) (4 . 15) (6 . 17)) 1388 0.3788 9.4564 ((1 . 6) (2 . 7) (3 . 11) (5 . 12)) 1395 0.5712 5.5268 ((1 . 1) (4 . 4) (6 . 5) (7 . 6)) 1415 0.1992 9.2111 ((1 . 1) (3 . 4) (4 . 5) (6 . 6)) 1470 0.5692 9.9078 ((2 . 13) (4 . 15) (5 . 16) (6 . 18)) 1472 0.5662 12.3109 ((3 . 9) (4 . 10) (6 . 12) (7 . 13)) 1497 0.5677 11.3077 ((1 . 2) (2 . 5) (4 . 9) (7 . 15)) 1513 0.2476 15.3921 ((1 . 4) (5 . 9) (6 . 12) (7 . 14)) 1604 0.5664 12.1975 ((3 . 8) (4 . 9) (6 . 11) (7 . 14)) 1690 0.2943 13.0985 ((3 . 7) (5 . 9) (6 . 12) (7 . 15)) 1724 0.1992 8.7187 ((1 . 4) (2 . 5) (3 . 7) (4 . 8)) 1763 0.3786 11.1619 ((3 . 4) (4 . 6) (6 . 8) (7 . 11)) 1796 0.5611 14.6872 ((2 . 2) (5 . 5) (6 . 6) (7 . 7)) 1894 0.2940 16.3949 ((1 . 1) (2 . 4) (4 . 6) (6 . 9)) 1896 0.3766 17.0253 ((1 . 13) (3 . 18) (5 . 21) (7 . 28)) 1897 0.2945 7.5074 ((4 . 36) (5 . 37) (6 . 38) (7 . 44)) 1908 0.2943 13.6225 ((3 . 1) (4 . 2) (6 . 4) (7 . 5)) 1909 0.3778 14.2148 ((2 . 24) (3 . 26) (6 . 30) (7 . 33)) 1944 0.5664 12.1706 ((1 . 20) (3 . 25) (4 . 26) (7 . 30)) 1987 0.4443 11.5657 ((1 . 10) (3 . 12) (5 . 13) (6 . 15)) 2048 0.3775 15.2065 ((1 . 2) (2 . 3) (3 . 5) (7 . 12)) 2054 0.5700 8.8542 ((1 . 9) (3 . 12) (4 . 15) (6 . 16)) 2094 0.3785 11.6139 ((1 . 3) (2 . 4) (3 . 6) (4 . 7)) 2114 0.2945 8.6838 ((3 . 30) (5 . 33) (6 . 37) (7 . 39)) 2122 0.2943 13.5800 ((3 . 5) (5 . 7) (6 . 9) (7 . 11)) 2179 0.1992 13.5580 ((2 . 12) (4 . 15) (5 . 16) (7 . 21)) 2233 0.5616 14.5094 ((2 . 2) (5 . 7) (6 . 8) (7 . 9)) 2249 0.2478 6.9419 ((3 . 1) (4 . 2) (5 . 3) (6 . 9)) 2279 0.3788 9.8365 ((2 . 6) (5 . 12) (6 . 14) (7 . 15)) 2295 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 2298 0.5700 8.8026 ((2 . 7) (3 . 9) (5 . 13) (6 . 14)) 2342 0.5658 12.5704 ((1 . 9) (5 . 13) (6 . 14) (7 . 16)) 2344 0.5603 14.9911 ((1 . 5) (3 . 8) (4 . 9) (7 . 17)) 2447 0.3786 11.1285 ((2 . 26) (3 . 27) (4 . 29) (6 . 32)) 2465 0.3776 14.8867 ((1 . 1) (2 . 3) (3 . 4) (4 . 5)) 2510 0.5656 12.6427 ((3 . 22) (5 . 24) (6 . 26) (7 . 29)) 2525 0.5682 10.8531 ((2 . 39) (4 . 42) (5 . 44) (6 . 46)) 2533 0.4443 11.6271 ((3 . 1) (5 . 3) (6 . 5) (7 . 7)) 2556 0.1992 11.7880 ((1 . 12) (2 . 14) (6 . 21) (7 . 23)) 2591 0.5516 17.4714 ((1 . 34) (2 . 35) (5 . 37) (7 . 40)) 2634 0.5705 8.0168 ((1 . 5) (2 . 6) (4 . 8) (6 . 12)) 2658 0.3785 11.8138 ((1 . 5) (2 . 4) (5 . 8) (6 . 11)) 2703 0.2477 8.8279 ((1 . 1) (3 . 4) (4 . 5) (5 . 6)) 2733 0.1992 10.3255 ((2 . 5) (3 . 7) (6 . 13) (7 . 14)) 2753 0.2945 8.2914 ((4 . 7) (5 . 8) (6 . 10) (7 . 11)) 2947 0.1992 9.3143 ((3 . 16) (4 . 17) (6 . 20) (7 . 22)) 2950 0.2945 7.4077 ((3 . 9) (4 . 10) (5 . 11) (6 . 12)) 2990 0.5683 10.8290 ((2 . 13) (5 . 17) (6 . 18) (7 . 21)) 3041 0.5442 19.0781 ((1 . 25) (2 . 27) (3 . 28) (7 . 34)) 3084 0.5684 10.7607 ((2 . 1) (5 . 4) (6 . 6) (7 . 8)) 3127 0.3780 13.8161 ((3 . 7) (5 . 9) (6 . 12) (7 . 16)) 3176 0.5224 22.6915 ((3 . 30) (4 . 31) (5 . 32) (7 . 34)) 3190 0.5619 14.3644 ((3 . 2) (5 . 4) (6 . 7) (7 . 10)) 3197 0.5676 11.3662 ((3 . 4) (4 . 5) (5 . 6) (6 . 7)) 3202 0.3785 11.7220 ((1 . 24) (2 . 25) (5 . 29) (6 . 30)) 3212 0.2942 14.5604 ((2 . 6) (3 . 7) (4 . 11) (5 . 10)) 3286 0.5682 10.8770 ((1 . 10) (2 . 11) (3 . 12) (4 . 15)) 3310 0.5701 8.7545 ((1 . 1) (4 . 5) (5 . 6) (7 . 10)) 3339 0.3757 18.4434 ((1 . 23) (2 . 24) (3 . 25) (7 . 35)) 3362 0.5599 15.1217 ((2 . 3) (3 . 5) (5 . 7) (7 . 13)) 3391 0.4453 7.5692 ((1 . 15) (4 . 18) (5 . 19) (6 . 20)) 3415 0.2477 10.3884 ((1 . 20) (2 . 21) (4 . 22) (5 . 23)) 3446 0.5694 9.7443 ((3 . 8) (4 . 9) (6 . 10) (7 . 12)) 3470 0.4438 12.6355 ((3 . 9) (4 . 10) (5 . 11) (7 . 14)) 3496 0.5659 12.4689 ((1 . 20) (2 . 21) (4 . 24) (7 . 28)) 3561 0.5669 11.8595 ((1 . 21) (2 . 23) (4 . 25) (6 . 29)) 3613 0.1992 12.7131 ((3 . 42) (4 . 43) (6 . 44) (7 . 45)) 3661 0.3790 6.5620 ((3 . 13) (4 . 14) (5 . 17) (6 . 18)) 3778 0.1992 9.3879 ((3 . 17) (4 . 19) (6 . 21) (7 . 23)) 3787 0.2943 13.4457 ((4 . 25) (5 . 26) (6 . 28) (7 . 30)) 3829 0.4442 11.9732 ((3 . 4) (4 . 6) (5 . 8) (6 . 10)) 3830 0.5377 12.7982 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 3834 0.7130 6.5117 ((1 . 2) (3 . 3) (4 . 4) (6 . 5) (7 . 7)) 3853 0.2476 14.1037 ((1 . 11) (4 . 16) (5 . 19) (6 . 20)) 3870 0.5669 11.8849 ((3 . 4) (4 . 6) (5 . 7) (6 . 9)) 3942 0.3789 9.0145 ((3 . 4) (4 . 5) (5 . 6) (6 . 8)) 4009 0.5570 16.0543 ((4 . 3) (5 . 6) (6 . 8) (7 . 10)) 4030 0.5696 9.4338 ((1 . 9) (4 . 13) (6 . 15) (7 . 17)) 4062 0.3785 11.6434 ((3 . 33) (4 . 34) (6 . 38) (7 . 39)) 4067 0.2942 14.3278 ((3 . 12) (4 . 13) (6 . 15) (7 . 19)) 4077 0.5684 10.7643 ((1 . 9) (2 . 12) (3 . 13) (7 . 16)) 4082 0.5667 11.9754 ((1 . 1) (3 . 3) (4 . 4) (6 . 9)) 4115 0.5645 13.2237 ((1 . 2) (3 . 4) (4 . 7) (7 . 12)) 4134 0.4438 12.7286 ((3 . 23) (4 . 24) (5 . 25) (7 . 28)) 4195 0.2942 14.0022 ((1 . 11) (4 . 13) (6 . 17) (7 . 19)) 4204 0.3776 14.9106 ((2 . 4) (3 . 6) (6 . 10) (7 . 12)) 4216 0.5704 8.1259 ((1 . 10) (4 . 14) (5 . 15) (6 . 16)) 4242 0.5700 8.8567 ((1 . 2) (3 . 3) (4 . 4) (6 . 6)) 4261 0.5690 10.1373 ((2 . 11) (3 . 13) (5 . 15) (6 . 16)) 4265 0.3774 15.3089 ((3 . 22) (5 . 25) (6 . 27) (7 . 30)) 4326 0.1571 10.9171 ((1 . 1) (2 . 18) (3 . 4) (4 . 5) (5 . 6) (6 . 8)) 4352 0.5679 11.1417 ((1 . 7) (3 . 12) (4 . 13) (6 . 14)) 4386 0.5691 10.0682 ((3 . 12) (4 . 13) (5 . 14) (7 . 17)) 4398 0.3782 13.1013 ((2 . 2) (3 . 5) (6 . 9) (7 . 11)) 4408 0.1498 9.5287 ((3 . 19) (4 . 20) (6 . 23) (7 . 24)) 4470 0.5542 16.8323 ((1 . 6) (3 . 11) (6 . 15) (7 . 17)) 4492 0.2476 15.3217 ((2 . 12) (3 . 14) (6 . 19) (7 . 22)) 4495 0.5560 16.3206 ((3 . 5) (5 . 7) (6 . 9) (7 . 11)) 4504 0.3786 11.3204 ((1 . 1) (2 . 2) (5 . 10) (7 . 12)) 4516 0.5668 11.9711 ((3 . 3) (4 . 5) (6 . 9) (7 . 11)) 4562 0.5699 8.9691 ((1 . 21) (3 . 26) (4 . 28) (5 . 30)) 4579 0.5642 13.3782 ((1 . 7) (3 . 11) (4 . 13) (7 . 21)) 4607 0.5703 8.2823 ((3 . 9) (4 . 11) (5 . 13) (7 . 17)) 4668 0.3778 14.3355 ((3 . 2) (5 . 6) (6 . 8) (7 . 10)) 4669 0.5583 15.6310 ((3 . 18) (5 . 20) (6 . 22) (7 . 23)) 4715 0.5656 12.6586 ((3 . 1) (4 . 2) (5 . 4) (7 . 9)) 4716 0.5669 11.9067 ((2 . 1) (4 . 4) (6 . 6) (7 . 8)) 4731 0.2477 11.0240 ((2 . 13) (3 . 15) (6 . 19) (7 . 20)) 4764 0.5621 14.3070 ((1 . 1) (3 . 3) (4 . 4) (7 . 8)) 4783 0.1992 10.5095 ((1 . 2) (4 . 6) (6 . 7) (7 . 8)) 4817 0.2477 7.9592 ((1 . 7) (4 . 11) (5 . 12) (6 . 13)) 4857 0.4428 14.3356 ((1 . 12) (3 . 14) (4 . 15) (5 . 16)) 4888 0.2944 11.3652 ((4 . 2) (5 . 3) (6 . 6) (7 . 10)) 4889 0.5637 13.6105 ((1 . 9) (5 . 19) (6 . 20) (7 . 23)) 4961 0.2944 11.7721 ((1 . 11) (3 . 13) (4 . 16) (6 . 18)) 4963 0.2477 10.1181 ((3 . 5) (5 . 7) (6 . 8) (7 . 9)) 4998 0.3781 13.3806 ((1 . 24) (3 . 27) (4 . 28) (6 . 30)) 5000 0.5631 13.8734 ((1 . 31) (4 . 33) (6 . 36) (7 . 37)) 5016 0.5698 9.1579 ((1 . 5) (3 . 7) (4 . 8) (6 . 10)) 5029 0.1992 12.4180 ((1 . 3) (3 . 5) (4 . 7) (5 . 9)) 5039 0.4422 15.0097 ((3 . 36) (5 . 38) (6 . 40) (7 . 43)) 5068 0.3771 15.9955 ((3 . 1) (5 . 3) (6 . 6) (7 . 9)) 5073 0.4432 13.7829 ((3 . 35) (5 . 37) (6 . 40) (7 . 41)) 5080 0.3781 13.1947 ((3 . 5) (4 . 6) (6 . 10) (7 . 13)) 5092 0.5558 16.3879 ((2 . 14) (4 . 16) (5 . 17) (6 . 19)) 5101 0.5690 10.1350 ((1 . 2) (3 . 14) (6 . 19) (7 . 22)) 5132 0.2945 9.9006 ((1 . 21) (3 . 23) (4 . 24) (6 . 27)) 5134 0.3788 9.8431 ((3 . 11) (4 . 12) (5 . 15) (6 . 16)) 5192 0.4445 11.2420 ((3 . 13) (4 . 15) (5 . 16) (6 . 18)) 5212 0.5708 7.2579 ((2 . 17) (3 . 18) (4 . 20) (7 . 27)) 5223 0.5659 12.5208 ((3 . 5) (4 . 4) (5 . 7) (6 . 9)) 5318 0.2477 9.6408 ((3 . 13) (4 . 14) (5 . 15) (6 . 16)) 5323 0.5657 12.5896 ((2 . 15) (3 . 16) (4 . 17) (6 . 18)) 5442 0.5686 10.5203 ((1 . 32) (2 . 33) (5 . 37) (7 . 39)) 5487 0.3784 11.9651 ((1 . 3) (2 . 5) (5 . 10) (6 . 12)) 5525 0.5644 13.2746 ((1 . 3) (5 . 10) (6 . 11) (7 . 12)) 5562 0.4450 9.5094 ((1 . 13) (3 . 16) (4 . 18) (5 . 20)) 5594 0.2944 11.3068 ((1 . 5) (3 . 7) (4 . 8) (6 . 13)) 5648 0.0999 7.9027 ((4 . 4) (5 . 5) (6 . 6) (7 . 8)) 5656 0.2477 12.0987 ((1 . 4) (5 . 11) (6 . 15) (7 . 17)) 5689 0.2946 5.5038 ((3 . 3) (4 . 4) (5 . 7) (6 . 8)) 5702 0.5699 8.9477 ((1 . 10) (3 . 12) (5 . 14) (6 . 15)) 5704 0.5699 9.0130 ((1 . 5) (4 . 7) (6 . 9) (7 . 10)) 5771 0.1992 12.4852 ((1 . 8) (2 . 10) (5 . 16) (7 . 22)) 5782 0.5695 9.5756 ((1 . 7) (2 . 8) (4 . 9) (6 . 17)) 5789 0.5709 6.8463 ((1 . 1) (4 . 3) (6 . 4) (7 . 6)) 5830 0.2477 11.1827 ((1 . 5) (3 . 9) (5 . 15) (6 . 16)) 5878 0.1664 9.4446 ((2 . 21) (3 . 23) (4 . 24) (7 . 31)) 5913 0.1664 6.3400 ((3 . 8) (4 . 11) (5 . 12) (6 . 14)) 5939 0.5556 16.4350 ((1 . 3) (2 . 5) (3 . 7) (7 . 15)) 5945 0.5674 11.5175 ((2 . 31) (4 . 34) (5 . 35) (7 . 39)) 5955 0.5668 11.9552 ((2 . 2) (5 . 6) (6 . 8) (7 . 10)) 6000 0.5519 17.3941 ((1 . 3) (4 . 7) (5 . 8) (7 . 11)) 6029 0.1498 13.2990 ((2 . 28) (4 . 32) (5 . 34) (6 . 36)) 6075 0.1332 10.7369 ((2 . 16) (3 . 18) (4 . 19) (6 . 22)) 6079 0.5550 16.6053 ((2 . 12) (3 . 14) (5 . 16) (6 . 18)) 6089 0.1992 12.4337 ((1 . 13) (4 . 19) (5 . 20) (6 . 22)) 6169 0.5390 20.0630 ((1 . 8) (4 . 11) (5 . 12) (7 . 13)) 6228 0.2943 13.4533 ((3 . 2) (5 . 4) (6 . 6) (7 . 8)) 6243 0.3784 11.9830 ((1 . 9) (3 . 11) (4 . 12) (5 . 13)) 6266 0.5561 16.3144 ((2 . 7) (4 . 11) (5 . 12) (6 . 13)) 6268 0.5704 8.0986 ((3 . 10) (4 . 11) (5 . 12) (6 . 13)) 6294 0.3780 13.6361 ((2 . 10) (4 . 12) (5 . 15) (7 . 19)) 6329 0.3784 12.1405 ((3 . 11) (4 . 13) (6 . 15) (7 . 16)) 6356 0.2941 15.0040 ((4 . 5) (5 . 8) (6 . 10) (7 . 12)) 6369 0.3772 15.8495 ((1 . 27) (2 . 28) (3 . 30) (7 . 36)) 6384 0.5686 10.5224 ((2 . 1) (3 . 2) (5 . 4) (7 . 7)) 6392 0.1992 14.3688 ((1 . 5) (2 . 6) (3 . 8) (7 . 14)) 6461 0.5665 12.1086 ((1 . 1) (4 . 4) (5 . 5) (6 . 7)) 6498 0.2945 10.0163 ((4 . 23) (5 . 26) (6 . 28) (7 . 30)) 6506 0.5595 15.2419 ((1 . 16) (2 . 17) (6 . 22) (7 . 23)) 6536 0.2944 12.2797 ((1 . 30) (3 . 33) (4 . 34) (6 . 37)) 6548 0.5674 11.4981 ((2 . 6) (4 . 8) (5 . 10) (7 . 15)) 6578 0.3787 10.1505 ((2 . 36) (3 . 39) (4 . 40) (5 . 41)) 6586 0.5627 14.0353 ((3 . 16) (4 . 17) (6 . 22) (7 . 23)) 6605 0.5669 11.8852 ((1 . 1) (3 . 4) (4 . 5) (5 . 6)) 6635 0.5675 11.4506 ((4 . 3) (5 . 6) (6 . 9) (7 . 10)) END