2094 77 0.1996 5.9574 ((1 . 10) (3 . 12) (4 . 16) (6 . 17)) 155 0.5285 7.2694 ((1 . 4) (3 . 5) (4 . 7) (6 . 8)) 157 0.5271 10.3751 ((1 . 6) (4 . 12) (6 . 13) (7 . 15)) 207 0.2487 11.8547 ((3 . 14) (4 . 16) (6 . 17) (7 . 19)) 259 0.4660 9.7122 ((1 . 3) (4 . 6) (6 . 7) (7 . 8)) 317 0.2968 11.8314 ((1 . 2) (3 . 4) (4 . 6) (6 . 7)) 433 0.3877 10.0010 ((1 . 2) (2 . 3) (3 . 4) (7 . 8)) 553 0.6607 10.5076 ((1 . 2) (3 . 4) (6 . 6) (7 . 7)) 584 0.6644 8.2049 ((1 . 1) (3 . 2) (6 . 6) (7 . 9)) 624 0.5262 11.4536 ((1 . 14) (4 . 17) (6 . 18) (7 . 19)) 672 0.5278 9.1623 ((1 . 8) (2 . 9) (4 . 12) (7 . 17)) 678 0.2969 10.1732 ((1 . 33) (4 . 40) (6 . 41) (7 . 42)) 792 0.6570 11.9007 ((1 . 5) (4 . 10) (6 . 11) (7 . 13)) 834 0.4661 9.4142 ((3 . 35) (4 . 37) (6 . 38) (7 . 39)) 960 0.6659 6.2299 ((3 . 15) (4 . 23) (6 . 24) (7 . 25)) 1005 0.1996 8.0504 ((3 . 3) (4 . 4) (6 . 5) (7 . 6)) 1007 0.4653 11.6046 ((3 . 1) (4 . 2) (6 . 4) (7 . 5)) 1082 0.5280 8.6596 ((1 . 23) (4 . 27) (6 . 28) (7 . 29)) 1124 0.1665 11.2346 ((1 . 10) (2 . 11) (3 . 13) (4 . 14)) 1165 0.2970 8.1053 ((2 . 13) (3 . 14) (4 . 16) (6 . 17)) 1167 0.4663 8.8940 ((2 . 24) (3 . 25) (4 . 26) (7 . 28)) 1204 0.4663 8.8186 ((1 . 2) (2 . 4) (4 . 7) (6 . 8)) 1210 0.6647 7.9612 ((3 . 3) (4 . 4) (6 . 5) (7 . 6)) 1268 0.6627 9.4914 ((1 . 10) (2 . 11) (4 . 15) (6 . 16)) 1345 0.4652 11.6603 ((1 . 8) (3 . 11) (4 . 15) (7 . 17)) 1388 0.4657 10.5935 ((2 . 6) (3 . 7) (4 . 11) (7 . 12)) 1415 0.6576 11.6922 ((2 . 1) (3 . 2) (4 . 4) (6 . 5)) 1447 0.2965 15.1126 ((1 . 4) (2 . 6) (3 . 8) (4 . 10)) 1470 0.6649 7.7629 ((3 . 12) (4 . 13) (6 . 14) (7 . 15)) 1472 0.1996 9.5930 ((2 . 3) (4 . 5) (6 . 9) (7 . 10)) 1497 0.4665 7.9584 ((2 . 22) (3 . 23) (4 . 25) (7 . 27)) 1513 0.1665 9.4022 ((1 . 9) (3 . 12) (4 . 14) (7 . 16)) 1577 0.6611 10.2913 ((2 . 25) (3 . 26) (4 . 27) (7 . 31)) 1595 0.4660 9.8779 ((1 . 2) (2 . 4) (4 . 6) (6 . 9)) 1604 0.4667 5.7867 ((1 . 11) (3 . 13) (4 . 14) (6 . 15)) 1724 0.2969 10.0193 ((2 . 2) (3 . 3) (4 . 5) (7 . 8)) 1736 0.3876 10.1549 ((1 . 2) (2 . 4) (6 . 8) (7 . 9)) 1894 0.6560 12.1875 ((1 . 3) (2 . 4) (6 . 8) (7 . 9)) 1897 0.6608 10.4641 ((1 . 35) (2 . 36) (3 . 37) (7 . 44)) 1908 0.4656 10.8189 ((1 . 4) (4 . 6) (6 . 8) (7 . 9)) 1967 0.6657 6.5905 ((1 . 8) (3 . 9) (4 . 12) (6 . 15)) 2054 0.6650 7.5953 ((1 . 9) (2 . 11) (4 . 15) (6 . 16)) 2094 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7)) 2114 0.2487 12.9851 ((1 . 33) (2 . 35) (4 . 38) (6 . 39)) 2117 0.6636 8.8655 ((1 . 19) (2 . 21) (3 . 24) (4 . 26)) 2118 0.2969 8.7679 ((1 . 6) (3 . 8) (4 . 9) (6 . 10)) 2122 0.2487 11.8464 ((1 . 13) (4 . 20) (6 . 21) (7 . 23)) 2269 0.6621 9.7975 ((2 . 1) (3 . 2) (4 . 3) (6 . 5)) 2295 0.3874 11.6139 ((3 . 1) (4 . 2) (6 . 3) (7 . 4)) 2298 0.6639 8.6718 ((1 . 7) (2 . 9) (4 . 13) (6 . 14)) 2342 0.2488 8.2057 ((1 . 15) (3 . 16) (4 . 18) (6 . 19)) 2344 0.6641 8.4644 ((2 . 4) (3 . 5) (6 . 9) (7 . 12)) 2364 0.2969 10.8535 ((2 . 6) (4 . 8) (6 . 10) (7 . 11)) 2443 0.2970 7.7499 ((1 . 7) (3 . 8) (4 . 9) (6 . 10)) 2447 0.7540 6.0684 ((1 . 16) (2 . 19) (4 . 20) (6 . 22) (7 . 26)) 2465 0.6557 12.2941 ((3 . 1) (4 . 3) (6 . 5) (7 . 6)) 2510 0.2483 18.5909 ((2 . 11) (3 . 12) (4 . 13) (7 . 16)) 2519 0.3876 10.4652 ((1 . 1) (2 . 3) (3 . 4) (4 . 6)) 2525 0.5266 10.9825 ((1 . 37) (2 . 39) (4 . 42) (7 . 44)) 2551 0.4652 11.7961 ((1 . 4) (3 . 6) (4 . 8) (6 . 10)) 2556 0.2969 9.4012 ((2 . 15) (3 . 17) (4 . 21) (7 . 23)) 2557 0.4650 12.0692 ((1 . 1) (2 . 4) (3 . 5) (4 . 8)) 2703 0.1996 7.3072 ((1 . 2) (2 . 3) (4 . 5) (6 . 6)) 2733 0.6638 8.7189 ((1 . 7) (3 . 12) (4 . 13) (7 . 14)) 2804 0.6588 11.2570 ((1 . 26) (2 . 27) (3 . 28) (7 . 35)) 2842 0.6574 11.7718 ((2 . 7) (3 . 6) (4 . 8) (7 . 10)) 2950 0.4667 4.9800 ((1 . 7) (2 . 10) (4 . 11) (6 . 12)) 3014 0.5281 8.3698 ((1 . 9) (4 . 12) (6 . 14) (7 . 15)) 3127 0.2969 10.7736 ((2 . 9) (3 . 12) (4 . 14) (6 . 16)) 3202 0.2487 11.6964 ((2 . 23) (4 . 25) (6 . 27) (7 . 29)) 3212 0.1996 6.8262 ((3 . 6) (4 . 7) (6 . 10) (7 . 11)) 3286 0.6660 6.0810 ((3 . 10) (4 . 11) (6 . 12) (7 . 15)) 3334 0.2488 8.5155 ((1 . 9) (3 . 11) (4 . 12) (6 . 13)) 3391 0.1996 10.5493 ((3 . 14) (4 . 15) (6 . 16) (7 . 18)) 3410 0.5273 10.0604 ((1 . 20) (2 . 23) (4 . 27) (6 . 29)) 3415 0.2488 7.4549 ((2 . 19) (3 . 20) (6 . 22) (7 . 23)) 3470 0.4654 11.3692 ((1 . 10) (2 . 11) (4 . 13) (6 . 14)) 3613 0.4656 10.8461 ((1 . 27) (4 . 30) (6 . 31) (7 . 32)) 3658 0.3873 11.8238 ((2 . 13) (3 . 14) (6 . 16) (7 . 19)) 3661 0.5286 6.4785 ((1 . 14) (3 . 17) (4 . 21) (6 . 22)) 3787 0.3877 10.0044 ((2 . 6) (3 . 8) (6 . 10) (7 . 11)) 3817 0.2484 17.4232 ((1 . 13) (3 . 14) (6 . 17) (7 . 19)) 3834 0.6652 7.3524 ((3 . 5) (4 . 6) (6 . 7) (7 . 8)) 3853 0.2487 10.0712 ((2 . 11) (3 . 13) (6 . 16) (7 . 19)) 3870 0.6591 11.1622 ((1 . 2) (4 . 6) (6 . 7) (7 . 9)) 3968 0.4653 11.4484 ((1 . 2) (2 . 4) (4 . 8) (7 . 12)) 4009 0.4647 12.5670 ((3 . 10) (4 . 14) (6 . 16) (7 . 17)) 4030 0.2488 8.6127 ((3 . 9) (4 . 10) (6 . 11) (7 . 13)) 4062 0.5286 6.5857 ((1 . 45) (2 . 47) (6 . 52) (7 . 53)) 4067 0.1665 10.3019 ((1 . 11) (4 . 15) (6 . 17) (7 . 19)) 4077 0.3877 10.0156 ((2 . 7) (3 . 8) (6 . 12) (7 . 13)) 4115 0.2488 8.5771 ((1 . 12) (2 . 14) (6 . 20) (7 . 21)) 4134 0.4659 10.0184 ((1 . 23) (4 . 26) (6 . 27) (7 . 28)) 4192 0.1996 8.2056 ((3 . 11) (4 . 14) (6 . 16) (7 . 18)) 4195 0.5259 11.7919 ((1 . 1) (4 . 3) (6 . 4) (7 . 5)) 4216 0.2969 9.1064 ((2 . 12) (4 . 14) (6 . 15) (7 . 16)) 4242 0.2969 9.1680 ((3 . 1) (4 . 3) (6 . 4) (7 . 5)) 4243 0.3877 9.7602 ((2 . 1) (3 . 2) (4 . 4) (6 . 5)) 4254 0.6492 13.8827 ((1 . 2) (2 . 5) (6 . 10) (7 . 12)) 4261 0.6581 11.5271 ((3 . 10) (4 . 11) (6 . 13) (7 . 14)) 4281 0.4664 8.4203 ((1 . 6) (4 . 13) (6 . 14) (7 . 16)) 4352 0.4405 8.6952 ((1 . 6) (2 . 7) (4 . 11) (6 . 12) (7 . 15)) 4408 0.5274 9.9537 ((1 . 20) (2 . 21) (3 . 22) (4 . 24)) 4495 0.1996 10.3662 ((2 . 5) (3 . 7) (4 . 9) (7 . 11)) 4516 0.6638 8.6785 ((2 . 9) (3 . 11) (4 . 13) (7 . 15)) 4562 0.6626 9.5003 ((1 . 23) (3 . 26) (4 . 28) (6 . 30)) 4579 0.4646 12.7945 ((1 . 3) (4 . 7) (6 . 8) (7 . 11)) 4607 0.3877 9.7389 ((1 . 17) (3 . 18) (4 . 19) (6 . 20)) 4678 0.3875 10.8739 ((2 . 3) (4 . 7) (6 . 8) (7 . 9)) 4699 0.1665 9.7126 ((1 . 10) (2 . 11) (3 . 12) (4 . 13)) 4715 0.5283 7.7676 ((1 . 4) (2 . 5) (4 . 9) (6 . 10)) 4716 0.4666 6.8881 ((1 . 3) (4 . 6) (6 . 7) (7 . 8)) 4731 0.4656 10.9353 ((1 . 12) (3 . 15) (4 . 17) (7 . 20)) 4764 0.6627 9.4892 ((1 . 7) (2 . 8) (4 . 10) (6 . 11)) 4817 0.6613 10.1963 ((3 . 6) (4 . 7) (6 . 9) (7 . 11)) 4857 0.2970 6.8136 ((1 . 12) (3 . 14) (4 . 15) (6 . 16)) 4888 0.6619 9.8938 ((1 . 3) (3 . 6) (6 . 10) (7 . 11)) 4889 0.4652 11.8109 ((2 . 13) (4 . 19) (6 . 20) (7 . 21)) 4963 0.2968 12.7746 ((2 . 2) (4 . 3) (6 . 5) (7 . 6)) 5068 0.2969 10.7035 ((2 . 1) (3 . 3) (4 . 6) (7 . 9)) 5073 0.1665 11.6718 ((2 . 35) (3 . 37) (6 . 40) (7 . 41)) 5080 0.6651 7.5196 ((1 . 6) (3 . 8) (4 . 11) (6 . 13)) 5092 0.3873 11.9768 ((1 . 5) (4 . 8) (6 . 9) (7 . 10)) 5101 0.1499 7.5990 ((1 . 14) (4 . 19) (6 . 20) (7 . 22)) 5132 0.2488 8.2322 ((1 . 17) (4 . 21) (6 . 23) (7 . 24)) 5134 0.2487 11.0895 ((1 . 7) (4 . 11) (6 . 12) (7 . 15)) 5145 0.2970 8.0136 ((3 . 4) (4 . 7) (6 . 9) (7 . 11)) 5192 0.4667 5.5929 ((2 . 10) (3 . 11) (4 . 15) (7 . 16)) 5212 0.6659 6.3357 ((1 . 8) (4 . 13) (6 . 14) (7 . 15)) 5223 0.3877 9.5024 ((1 . 4) (3 . 7) (4 . 9) (7 . 11)) 5266 0.3877 9.5030 ((2 . 11) (3 . 12) (6 . 16) (7 . 18)) 5285 0.6660 6.1097 ((3 . 1) (4 . 4) (6 . 5) (7 . 6)) 5323 0.6488 13.9658 ((2 . 13) (3 . 14) (4 . 15) (6 . 16)) 5324 0.3863 15.1406 ((3 . 19) (4 . 21) (6 . 23) (7 . 26)) 5442 0.3879 8.0887 ((3 . 33) (4 . 35) (6 . 36) (7 . 37)) 5525 0.3875 11.1825 ((1 . 1) (2 . 2) (4 . 3) (6 . 5)) 5560 0.6651 7.5210 ((1 . 3) (4 . 6) (6 . 7) (7 . 8)) 5562 0.1996 10.8458 ((3 . 12) (4 . 15) (6 . 16) (7 . 18)) 5594 0.5278 9.2303 ((1 . 2) (4 . 5) (6 . 7) (7 . 8)) 5648 0.6657 6.5507 ((1 . 2) (3 . 4) (6 . 6) (7 . 7)) 5656 0.5271 10.2942 ((1 . 19) (2 . 20) (6 . 25) (7 . 26)) 5689 0.2969 9.0116 ((2 . 4) (3 . 7) (4 . 8) (6 . 9)) 5702 0.2487 13.3491 ((2 . 1) (4 . 3) (6 . 4) (7 . 7)) 5704 0.6593 11.0799 ((3 . 4) (4 . 5) (6 . 6) (7 . 7)) 5771 0.3868 13.6685 ((1 . 7) (2 . 8) (3 . 10) (7 . 16)) 5782 0.6644 8.2536 ((1 . 8) (2 . 9) (3 . 11) (6 . 17)) 5789 0.2487 9.8126 ((1 . 1) (2 . 3) (4 . 4) (6 . 6)) 5809 0.2487 10.3626 ((1 . 6) (4 . 8) (6 . 10) (7 . 11)) 5878 0.5276 9.5904 ((2 . 13) (4 . 21) (6 . 22) (7 . 23)) 5913 0.2488 9.1340 ((2 . 11) (3 . 12) (4 . 14) (7 . 16)) 5939 0.2488 9.0036 ((1 . 7) (4 . 12) (6 . 13) (7 . 15)) 5955 0.5269 10.5933 ((1 . 12) (2 . 13) (6 . 18) (7 . 19)) 6029 0.6599 10.8515 ((2 . 34) (4 . 37) (6 . 38) (7 . 39)) 6089 0.4660 9.7276 ((1 . 15) (3 . 19) (4 . 20) (6 . 22)) 6099 0.1665 8.9775 ((1 . 12) (4 . 19) (6 . 20) (7 . 21)) 6169 0.2487 11.3038 ((1 . 13) (2 . 14) (3 . 15) (4 . 16)) 6243 0.4666 6.6809 ((1 . 9) (3 . 11) (4 . 12) (6 . 13)) 6261 0.5275 9.7279 ((1 . 17) (2 . 18) (6 . 23) (7 . 24)) 6329 0.4651 11.8765 ((2 . 1) (3 . 2) (4 . 4) (6 . 5)) 6348 0.4647 12.6463 ((1 . 2) (3 . 5) (4 . 6) (6 . 8)) 6392 0.4662 9.3109 ((1 . 4) (3 . 6) (4 . 8) (6 . 10)) 6461 0.1665 9.7404 ((1 . 1) (2 . 2) (4 . 5) (7 . 7)) 6462 0.1499 15.0138 ((2 . 9) (4 . 11) (6 . 14) (7 . 15)) 6498 0.6591 11.1443 ((1 . 18) (2 . 20) (3 . 22) (7 . 28)) 6536 0.1499 10.8285 ((1 . 29) (2 . 30) (3 . 32) (6 . 34)) 6548 0.6587 11.3112 ((1 . 6) (2 . 8) (4 . 14) (6 . 15)) 6573 0.1996 9.7282 ((2 . 15) (3 . 16) (4 . 18) (6 . 20)) 6585 0.2487 10.0825 ((1 . 5) (2 . 7) (4 . 9) (7 . 12)) 6605 0.6608 10.4463 ((3 . 3) (4 . 5) (6 . 6) (7 . 7)) 6613 0.2487 10.3549 ((1 . 19) (3 . 23) (6 . 25) (7 . 26)) 6622 0.1996 10.4081 ((2 . 5) (3 . 6) (4 . 8) (7 . 11)) END