4699 25 0.1996 11.4531 ((10 . 10) (11 . 12) (12 . 13) (13 . 14)) 77 0.6626 9.5070 ((8 . 10) (10 . 12) (11 . 16) (12 . 17)) 91 0.2969 8.7393 ((8 . 18) (9 . 20) (12 . 27) (13 . 30)) 157 0.2969 10.7601 ((8 . 10) (9 . 12) (10 . 13) (11 . 17)) 207 0.2966 14.7043 ((8 . 12) (9 . 14) (10 . 16) (11 . 17)) 293 0.6582 11.5008 ((10 . 2) (11 . 3) (12 . 4) (13 . 5)) 317 0.6637 8.7787 ((8 . 6) (9 . 8) (10 . 9) (11 . 10)) 351 0.6662 5.6609 ((8 . 1) (10 . 4) (11 . 5) (13 . 7)) 361 0.0999 9.8721 ((9 . 3) (10 . 5) (11 . 6) (12 . 7)) 442 0.1996 6.3915 ((8 . 15) (9 . 16) (10 . 17) (11 . 18)) 553 0.6666 2.9193 ((8 . 3) (10 . 4) (11 . 6) (12 . 7)) 729 0.1499 10.3148 ((8 . 12) (9 . 14) (12 . 21) (13 . 22)) 782 0.4658 10.3306 ((10 . 1) (11 . 4) (12 . 5) (13 . 6)) 792 0.6661 5.8036 ((8 . 8) (10 . 10) (11 . 11) (12 . 13)) 834 0.6617 10.0353 ((8 . 36) (10 . 39) (12 . 43) (13 . 44)) 901 0.4659 10.0142 ((8 . 10) (9 . 11) (11 . 14) (12 . 16)) 949 0.0999 13.2164 ((8 . 33) (9 . 36) (10 . 35) (11 . 37)) 978 0.6652 7.4061 ((8 . 8) (10 . 11) (11 . 12) (12 . 15)) 1082 0.6658 6.4821 ((9 . 13) (10 . 14) (11 . 17) (12 . 18)) 1124 0.8324 4.9993 ((8 . 8) (10 . 10) (11 . 11) (12 . 13) (13 . 14)) 1165 0.2488 9.3984 ((9 . 9) (11 . 13) (12 . 14) (13 . 15)) 1167 0.3873 12.1092 ((8 . 19) (10 . 24) (11 . 25) (12 . 26)) 1204 0.6629 9.3600 ((9 . 19) (10 . 21) (12 . 27) (13 . 28)) 1210 0.1996 9.5323 ((9 . 1) (10 . 2) (11 . 4) (13 . 6)) 1267 0.6602 10.7241 ((8 . 5) (10 . 6) (11 . 8) (13 . 14)) 1268 0.1499 10.6350 ((9 . 14) (10 . 15) (12 . 17) (13 . 18)) 1395 0.1996 11.4404 ((8 . 2) (10 . 4) (11 . 5) (12 . 6)) 1415 0.6595 10.9918 ((10 . 1) (11 . 4) (12 . 5) (13 . 6)) 1470 0.6657 6.6225 ((8 . 6) (10 . 9) (11 . 10) (13 . 12)) 1497 0.6612 10.2868 ((8 . 20) (9 . 23) (12 . 26) (13 . 27)) 1724 0.6647 7.9055 ((8 . 1) (9 . 3) (10 . 4) (12 . 8)) 1776 0.3877 9.4267 ((8 . 11) (9 . 13) (12 . 21) (13 . 22)) 1796 0.6629 9.3447 ((8 . 2) (10 . 4) (11 . 6) (12 . 7)) 1908 0.6630 9.2643 ((8 . 4) (10 . 5) (12 . 8) (13 . 9)) 1967 0.1665 10.6886 ((10 . 4) (11 . 8) (12 . 9) (13 . 11)) 1987 0.8318 5.6198 ((8 . 9) (10 . 10) (11 . 12) (12 . 13) (13 . 14)) 2081 0.3870 13.2550 ((8 . 11) (10 . 13) (11 . 15) (12 . 16)) 2094 0.1665 9.7126 ((10 . 1) (11 . 2) (12 . 3) (13 . 4)) 2114 0.6483 14.0805 ((8 . 30) (10 . 33) (11 . 37) (13 . 39)) 2248 0.6621 9.8102 ((9 . 17) (11 . 20) (12 . 23) (13 . 26)) 2298 0.6509 13.5037 ((8 . 3) (11 . 9) (12 . 11) (13 . 13)) 2342 0.8319 5.5552 ((8 . 5) (10 . 6) (11 . 7) (12 . 8) (13 . 9)) 2344 0.6653 7.1730 ((9 . 9) (10 . 12) (11 . 15) (12 . 17)) 2364 0.6625 9.6030 ((8 . 2) (10 . 8) (11 . 10) (12 . 11)) 2443 0.6644 8.2526 ((9 . 1) (10 . 2) (11 . 3) (12 . 4)) 2447 0.6621 9.8064 ((10 . 8) (11 . 9) (12 . 12) (13 . 14)) 2519 0.0999 9.4448 ((8 . 1) (9 . 3) (10 . 4) (11 . 6)) 2595 0.6603 10.6898 ((8 . 5) (9 . 7) (12 . 15) (13 . 14)) 2627 0.6660 6.1093 ((8 . 53) (10 . 54) (11 . 56) (12 . 57)) 2634 0.0999 10.7335 ((8 . 3) (10 . 5) (11 . 8) (13 . 12)) 2703 0.4662 9.1910 ((10 . 1) (11 . 3) (12 . 5) (13 . 6)) 2753 0.6533 12.9475 ((8 . 6) (10 . 7) (11 . 8) (13 . 11)) 2773 0.3877 10.0581 ((8 . 4) (10 . 7) (11 . 8) (12 . 9)) 2804 0.1499 10.3650 ((8 . 26) (9 . 28) (10 . 27) (12 . 35)) 2842 0.2969 9.3219 ((9 . 3) (11 . 6) (12 . 7) (13 . 8)) 2950 0.3876 10.2529 ((8 . 7) (10 . 8) (11 . 11) (12 . 12)) 3014 0.2967 13.5156 ((8 . 14) (10 . 15) (11 . 17) (12 . 18)) 3041 0.6629 9.3455 ((8 . 5) (10 . 7) (11 . 10) (13 . 13)) 3084 0.6552 12.4259 ((8 . 12) (9 . 14) (10 . 16) (13 . 20)) 3197 0.1996 12.7992 ((8 . 4) (10 . 5) (11 . 7) (13 . 11)) 3202 0.6192 18.3821 ((8 . 15) (10 . 20) (11 . 21) (12 . 24)) 3310 0.0999 13.9554 ((8 . 1) (10 . 4) (11 . 5) (12 . 6)) 3334 0.3880 5.9650 ((9 . 7) (11 . 11) (12 . 12) (13 . 13)) 3339 0.6643 8.3043 ((8 . 4) (10 . 8) (11 . 10) (13 . 14)) 3358 0.6620 9.8662 ((8 . 3) (9 . 5) (10 . 9) (11 . 11)) 3446 0.1333 12.8348 ((8 . 9) (10 . 10) (11 . 12) (12 . 13)) 3470 0.6627 9.4784 ((9 . 10) (10 . 11) (11 . 12) (12 . 13)) 3495 0.6550 12.4696 ((8 . 9) (10 . 10) (11 . 13) (12 . 14)) 3496 0.4655 11.0386 ((9 . 21) (11 . 24) (12 . 25) (13 . 26)) 3613 0.6663 5.2281 ((8 . 28) (10 . 30) (11 . 31) (12 . 32)) 3658 0.6553 12.3942 ((8 . 12) (10 . 13) (11 . 16) (13 . 19)) 3661 0.8316 5.8042 ((8 . 14) (10 . 17) (11 . 18) (12 . 22) (13 . 25)) 3787 0.6585 11.3753 ((8 . 24) (9 . 26) (10 . 25) (11 . 28)) 3834 0.6537 12.8385 ((8 . 3) (10 . 5) (12 . 7) (13 . 8)) 3986 0.2968 12.6665 ((8 . 10) (9 . 16) (10 . 19) (11 . 20)) 4011 0.6626 9.5123 ((8 . 1) (10 . 2) (11 . 5) (13 . 6)) 4030 0.6653 7.2490 ((8 . 11) (9 . 12) (10 . 13) (11 . 15)) 4062 0.6633 9.1102 ((8 . 44) (11 . 47) (12 . 51) (13 . 52)) 4067 0.6607 10.5190 ((9 . 15) (10 . 17) (11 . 19) (13 . 23)) 4077 0.8291 7.2625 ((8 . 4) (9 . 12) (10 . 13) (11 . 14) (12 . 18)) 4115 0.2967 13.7485 ((8 . 11) (10 . 12) (12 . 16) (13 . 18)) 4134 0.6577 11.6618 ((8 . 26) (10 . 30) (11 . 31) (13 . 33)) 4151 0.6604 10.6496 ((9 . 6) (10 . 8) (11 . 11) (13 . 14)) 4195 0.6663 5.1478 ((8 . 10) (10 . 11) (11 . 12) (12 . 13)) 4242 0.1996 6.9493 ((10 . 1) (11 . 2) (12 . 4) (13 . 5)) 4254 0.6615 10.1249 ((9 . 5) (10 . 7) (11 . 10) (12 . 12)) 4261 0.6664 4.9794 ((9 . 11) (10 . 12) (11 . 14) (13 . 16)) 4266 0.6527 13.0762 ((8 . 1) (9 . 3) (10 . 5) (13 . 9)) 4326 0.6428 15.1112 ((8 . 1) (11 . 5) (12 . 6) (13 . 8)) 4386 0.6579 11.5944 ((10 . 11) (11 . 13) (12 . 15) (13 . 17)) 4563 0.6628 9.4243 ((8 . 30) (9 . 32) (10 . 33) (13 . 37)) 4579 0.6611 10.3150 ((8 . 25) (10 . 26) (11 . 27) (13 . 30)) 4607 0.6579 11.5775 ((8 . 17) (10 . 18) (12 . 21) (13 . 22)) 4678 0.3871 12.9156 ((10 . 1) (11 . 3) (12 . 5) (13 . 7)) 4699 1.0000 0.0000 ((8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13)) 4715 0.6611 10.3244 ((8 . 7) (10 . 10) (12 . 15) (13 . 16)) 4716 0.6601 10.7663 ((10 . 5) (11 . 7) (12 . 8) (13 . 9)) 4731 0.1499 9.4629 ((9 . 13) (10 . 15) (12 . 20) (13 . 19)) 4764 0.6615 10.0982 ((9 . 3) (10 . 4) (11 . 6) (13 . 8)) 4783 0.6638 8.6921 ((8 . 2) (11 . 6) (12 . 7) (13 . 8)) 4817 0.8324 5.0300 ((8 . 6) (10 . 7) (11 . 9) (12 . 11) (13 . 12)) 4886 0.0999 16.2467 ((9 . 13) (10 . 14) (11 . 15) (13 . 18)) 4889 0.6575 11.7288 ((8 . 18) (10 . 19) (11 . 21) (12 . 23)) 4982 0.2969 10.8480 ((9 . 11) (10 . 13) (11 . 15) (13 . 19)) 5000 0.6642 8.4094 ((8 . 32) (10 . 33) (11 . 35) (12 . 36)) 5016 0.6656 6.7370 ((8 . 5) (10 . 6) (11 . 8) (12 . 9)) 5073 0.6624 9.6514 ((8 . 31) (9 . 33) (10 . 35) (11 . 37)) 5080 0.2969 10.5105 ((8 . 5) (10 . 6) (12 . 11) (13 . 12)) 5092 0.6659 6.2061 ((8 . 5) (9 . 7) (10 . 8) (11 . 9)) 5101 0.3878 8.6822 ((8 . 19) (9 . 20) (12 . 27) (13 . 28)) 5121 0.6620 9.8367 ((8 . 13) (10 . 17) (12 . 22) (13 . 23)) 5132 0.2970 7.8843 ((8 . 21) (10 . 23) (11 . 24) (12 . 27)) 5134 0.6588 11.2723 ((8 . 11) (9 . 12) (10 . 15) (13 . 20)) 5192 0.6457 14.5875 ((10 . 18) (11 . 19) (12 . 22) (13 . 23)) 5212 0.6572 11.8066 ((8 . 14) (10 . 15) (12 . 18) (13 . 19)) 5223 0.6619 9.9006 ((9 . 5) (10 . 7) (11 . 9) (13 . 11)) 5266 0.3876 10.4267 ((8 . 9) (9 . 11) (12 . 16) (13 . 18)) 5285 0.2488 7.0707 ((10 . 1) (11 . 2) (12 . 4) (13 . 5)) 5318 0.2968 12.9799 ((8 . 9) (11 . 14) (12 . 16) (13 . 17)) 5323 0.6621 9.8077 ((9 . 13) (10 . 14) (11 . 16) (13 . 18)) 5324 0.1499 10.2727 ((8 . 11) (9 . 13) (12 . 17) (13 . 18)) 5501 0.3869 13.5946 ((10 . 29) (11 . 32) (12 . 34) (13 . 35)) 5594 0.1499 10.2004 ((9 . 5) (10 . 7) (12 . 10) (13 . 13)) 5656 0.2970 8.1488 ((9 . 4) (10 . 6) (12 . 11) (13 . 12)) 5689 0.6658 6.4596 ((8 . 14) (9 . 17) (10 . 18) (11 . 19)) 5702 0.6661 5.8036 ((8 . 13) (9 . 14) (10 . 15) (11 . 16)) 5704 0.6589 11.2372 ((8 . 5) (10 . 7) (11 . 8) (13 . 10)) 5770 0.3876 10.6368 ((8 . 10) (11 . 19) (12 . 21) (13 . 22)) 5782 0.3878 8.8455 ((9 . 4) (10 . 6) (11 . 7) (12 . 9)) 5809 0.6640 8.5249 ((8 . 6) (10 . 8) (11 . 10) (12 . 11)) 5913 0.3872 12.5392 ((8 . 4) (11 . 11) (12 . 12) (13 . 14)) 5945 0.3877 10.0041 ((9 . 22) (11 . 25) (12 . 27) (13 . 29)) 5949 0.2969 10.3358 ((8 . 2) (11 . 8) (12 . 11) (13 . 13)) 6000 0.6617 10.0391 ((9 . 2) (10 . 3) (11 . 6) (12 . 7)) 6029 0.6533 12.9419 ((8 . 32) (10 . 36) (11 . 38) (12 . 39)) 6033 0.8313 6.0318 ((8 . 2) (10 . 3) (11 . 4) (12 . 6) (13 . 7)) 6089 0.3878 8.3291 ((8 . 13) (9 . 15) (12 . 20) (13 . 22)) 6169 0.6642 8.3729 ((8 . 4) (10 . 8) (11 . 9) (13 . 12)) 6243 0.6602 10.6986 ((9 . 7) (10 . 9) (11 . 11) (13 . 13)) 6261 0.3878 9.1894 ((9 . 10) (10 . 14) (11 . 15) (12 . 18)) 6268 0.6642 8.4138 ((8 . 8) (10 . 9) (12 . 13) (13 . 14)) 6294 0.1996 9.7950 ((8 . 12) (9 . 15) (12 . 21) (13 . 24)) 6329 0.6659 6.1965 ((8 . 7) (9 . 12) (10 . 13) (11 . 15)) 6359 0.6658 6.3960 ((10 . 1) (11 . 2) (12 . 3) (13 . 4)) 6369 0.2968 11.4763 ((9 . 21) (10 . 23) (11 . 25) (13 . 27)) 6384 0.6657 6.6464 ((9 . 2) (10 . 3) (11 . 4) (12 . 5)) 6391 0.3876 10.2880 ((8 . 2) (9 . 3) (10 . 4) (12 . 7)) 6461 0.6532 12.9716 ((8 . 1) (9 . 2) (10 . 4) (11 . 5)) 6462 0.1665 13.7490 ((8 . 21) (9 . 23) (11 . 26) (12 . 27)) 6506 0.6520 13.2584 ((8 . 23) (10 . 24) (12 . 28) (13 . 29)) 6536 0.8292 7.2261 ((8 . 27) (10 . 28) (11 . 29) (12 . 30) (13 . 32)) 6578 0.6499 13.7262 ((8 . 33) (10 . 36) (11 . 39) (13 . 41)) 6585 0.6612 10.2642 ((8 . 5) (9 . 7) (10 . 9) (12 . 12)) 6622 0.1995 15.5008 ((8 . 1) (9 . 2) (10 . 4) (11 . 6)) END