5000 25 0.4439 9.6646 ((30 . 9) (35 . 13) (36 . 14) (37 . 15)) 91 0.4430 12.1435 ((30 . 15) (33 . 22) (35 . 26) (37 . 30)) 147 0.4424 13.3285 ((30 . 2) (32 . 5) (33 . 7) (35 . 9)) 157 0.4387 17.2790 ((33 . 6) (35 . 10) (37 . 12) (38 . 15)) 207 0.4424 13.3506 ((32 . 6) (33 . 10) (35 . 12) (36 . 14)) 259 0.2861 9.6836 ((31 . 3) (32 . 5) (33 . 6) (35 . 7)) 293 0.4439 9.7220 ((30 . 1) (32 . 2) (33 . 3) (35 . 5)) 305 0.3523 10.5919 ((33 . 10) (35 . 13) (36 . 14) (38 . 20)) 317 0.2862 8.0507 ((33 . 3) (35 . 6) (36 . 7) (37 . 8)) 351 0.4439 9.4400 ((32 . 5) (33 . 6) (35 . 9) (36 . 10)) 541 0.4429 12.4005 ((30 . 4) (32 . 6) (33 . 9) (36 . 13)) 543 0.4441 8.7085 ((31 . 3) (33 . 7) (34 . 9) (37 . 14)) 553 0.5516 11.9152 ((30 . 2) (32 . 3) (33 . 4) (35 . 6) (36 . 7)) 609 0.4426 12.9760 ((34 . 2) (35 . 4) (36 . 5) (37 . 7)) 624 0.4420 13.9132 ((30 . 19) (32 . 21) (33 . 23) (36 . 27)) 635 0.3519 13.5047 ((30 . 4) (32 . 9) (33 . 11) (38 . 17)) 672 0.4384 17.5695 ((32 . 2) (36 . 7) (37 . 8) (38 . 9)) 678 0.4441 8.5763 ((32 . 28) (33 . 30) (34 . 31) (35 . 32)) 729 0.2860 12.4955 ((30 . 8) (31 . 12) (36 . 21) (38 . 23)) 782 0.4437 10.2481 ((30 . 1) (33 . 6) (34 . 7) (37 . 12)) 792 0.4442 7.6215 ((32 . 8) (33 . 10) (35 . 11) (36 . 13)) 818 0.2859 13.6597 ((35 . 3) (36 . 5) (37 . 9) (38 . 11)) 861 0.4429 12.3208 ((31 . 5) (36 . 10) (37 . 11) (38 . 14)) 901 0.2441 10.5693 ((31 . 2) (33 . 4) (36 . 8) (38 . 10)) 928 0.3524 9.5042 ((33 . 11) (34 . 13) (36 . 17) (38 . 19)) 945 0.4436 10.4985 ((30 . 20) (31 . 21) (33 . 24) (34 . 25)) 960 0.4427 12.8371 ((32 . 13) (33 . 16) (35 . 20) (38 . 24)) 1005 0.4437 10.2653 ((31 . 3) (32 . 4) (33 . 6) (35 . 8)) 1007 0.1980 9.4911 ((31 . 1) (32 . 2) (34 . 5) (35 . 6)) 1082 0.4436 10.5127 ((32 . 13) (33 . 14) (35 . 17) (37 . 20)) 1124 0.4443 6.8828 ((33 . 8) (34 . 9) (35 . 10) (36 . 11)) 1165 0.4418 14.1783 ((31 . 6) (35 . 13) (36 . 15) (37 . 16)) 1204 0.4437 10.4326 ((30 . 8) (32 . 13) (35 . 18) (38 . 26)) 1210 0.4439 9.4966 ((33 . 1) (34 . 2) (35 . 3) (37 . 6)) 1233 0.4437 10.1832 ((33 . 13) (35 . 16) (36 . 19) (37 . 21)) 1267 0.4432 11.8125 ((31 . 14) (32 . 16) (33 . 18) (38 . 25)) 1268 0.4438 9.8608 ((31 . 16) (33 . 18) (35 . 19) (37 . 21)) 1345 0.3928 12.6964 ((30 . 8) (31 . 10) (35 . 17) (37 . 19)) 1388 0.4438 10.1119 ((32 . 3) (33 . 6) (35 . 10) (36 . 11)) 1395 0.4442 7.8648 ((30 . 1) (32 . 2) (33 . 4) (35 . 6)) 1415 0.2861 8.5778 ((31 . 2) (32 . 4) (33 . 5) (35 . 6)) 1447 0.4440 9.0807 ((30 . 2) (35 . 10) (36 . 12) (37 . 13)) 1470 0.4443 7.2471 ((32 . 6) (33 . 9) (35 . 10) (36 . 11)) 1472 0.1980 12.9915 ((31 . 5) (32 . 9) (35 . 11) (36 . 12)) 1497 0.4437 10.3028 ((34 . 5) (35 . 8) (36 . 9) (37 . 10)) 1513 0.4426 12.9318 ((30 . 7) (31 . 9) (32 . 12) (35 . 14)) 1604 0.4427 12.7017 ((30 . 9) (31 . 11) (32 . 13) (33 . 14)) 1690 0.4436 10.7543 ((33 . 26) (34 . 27) (35 . 28) (36 . 29)) 1724 0.5550 7.2439 ((30 . 1) (31 . 3) (33 . 5) (34 . 7) (35 . 8)) 1736 0.4438 10.0187 ((31 . 2) (33 . 6) (36 . 9) (37 . 11)) 1763 0.4439 9.4187 ((30 . 4) (31 . 6) (34 . 11) (35 . 12)) 1776 0.1979 15.2601 ((30 . 6) (31 . 8) (33 . 11) (38 . 21)) 1793 0.4438 10.1050 ((30 . 7) (31 . 9) (35 . 15) (37 . 17)) 1894 0.4436 10.6052 ((32 . 1) (33 . 3) (34 . 4) (37 . 9)) 1896 0.4428 12.6058 ((30 . 2) (31 . 4) (35 . 10) (36 . 13)) 1897 0.2860 11.6139 ((30 . 37) (31 . 38) (35 . 44) (36 . 48)) 1908 0.4432 11.6757 ((32 . 6) (33 . 9) (35 . 14) (37 . 16)) 1909 0.1979 15.2063 ((31 . 24) (33 . 30) (37 . 36) (38 . 38)) 1944 0.4432 11.6136 ((32 . 4) (35 . 6) (36 . 8) (38 . 12)) 1957 0.4433 11.5882 ((31 . 2) (32 . 4) (34 . 8) (38 . 14)) 1967 0.2857 15.6533 ((31 . 4) (32 . 6) (35 . 9) (37 . 15)) 1987 0.4440 8.9560 ((30 . 8) (31 . 9) (34 . 12) (35 . 13)) 2048 0.4391 17.0017 ((30 . 2) (31 . 3) (32 . 5) (35 . 10)) 2054 0.4436 10.4902 ((31 . 9) (32 . 10) (33 . 15) (35 . 16)) 2067 0.4417 14.3411 ((30 . 5) (32 . 8) (35 . 17) (37 . 18)) 2097 0.1980 9.4714 ((30 . 2) (34 . 10) (37 . 15) (38 . 19)) 2114 0.2859 14.0018 ((32 . 30) (34 . 35) (35 . 37) (36 . 39)) 2117 0.4436 10.7878 ((30 . 3) (32 . 8) (35 . 13) (38 . 24)) 2122 0.4430 12.1157 ((30 . 5) (35 . 13) (37 . 16) (38 . 19)) 2233 0.0999 16.1532 ((32 . 2) (33 . 6) (34 . 5) (35 . 7)) 2269 0.1980 11.5964 ((31 . 1) (32 . 3) (33 . 5) (38 . 11)) 2279 0.1980 11.8166 ((30 . 6) (32 . 12) (33 . 14) (36 . 21)) 2295 0.4420 13.8734 ((31 . 1) (33 . 4) (36 . 6) (37 . 7)) 2298 0.4438 9.8423 ((30 . 5) (34 . 11) (35 . 13) (37 . 16)) 2342 0.5537 9.8707 ((30 . 1) (32 . 4) (33 . 5) (35 . 6) (36 . 7)) 2344 0.4437 10.4117 ((31 . 8) (33 . 12) (35 . 15) (38 . 21)) 2443 0.4430 12.2736 ((33 . 3) (35 . 4) (36 . 5) (38 . 8)) 2447 0.4438 9.8904 ((30 . 12) (34 . 19) (36 . 22) (38 . 27)) 2510 0.3526 6.3492 ((33 . 22) (36 . 26) (37 . 28) (38 . 30)) 2551 0.3525 8.8553 ((30 . 2) (33 . 7) (34 . 8) (35 . 10)) 2556 0.4428 12.5183 ((30 . 15) (31 . 17) (33 . 21) (34 . 23)) 2591 0.4374 18.2704 ((31 . 36) (32 . 37) (33 . 39) (36 . 42)) 2627 0.6040 5.1714 ((30 . 52) (32 . 53) (33 . 54) (34 . 55) (35 . 56) (36 . 57)) 2634 0.5535 10.0823 ((31 . 3) (33 . 5) (34 . 7) (35 . 8) (37 . 12)) 2733 0.4438 10.0579 ((34 . 7) (35 . 9) (36 . 12) (37 . 13)) 2753 0.4412 14.9429 ((31 . 3) (33 . 6) (34 . 7) (37 . 10)) 2821 0.4435 10.8743 ((32 . 6) (33 . 10) (35 . 12) (36 . 14)) 2830 0.4413 14.8844 ((30 . 12) (31 . 14) (34 . 18) (37 . 21)) 2842 0.4435 10.9468 ((30 . 6) (32 . 8) (33 . 10) (35 . 12)) 2867 0.3524 9.9667 ((30 . 3) (31 . 5) (34 . 10) (35 . 11)) 3014 0.2860 12.6200 ((30 . 3) (32 . 8) (33 . 9) (37 . 14)) 3034 0.4415 14.5941 ((31 . 6) (32 . 8) (35 . 11) (36 . 13)) 3041 0.4434 11.3255 ((30 . 15) (31 . 17) (32 . 19) (34 . 25)) 3084 0.4440 8.8813 ((32 . 18) (33 . 20) (34 . 22) (36 . 25)) 3127 0.4438 9.9388 ((30 . 5) (34 . 14) (35 . 16) (36 . 17)) 3176 0.2859 13.4525 ((31 . 21) (32 . 23) (37 . 31) (38 . 32)) 3197 0.4431 11.8634 ((33 . 20) (35 . 22) (36 . 23) (37 . 25)) 3200 0.1980 13.4086 ((30 . 2) (32 . 5) (33 . 7) (36 . 12)) 3202 0.4434 11.2069 ((32 . 3) (33 . 4) (35 . 5) (38 . 10)) 3212 0.3524 10.3151 ((31 . 6) (32 . 7) (33 . 10) (34 . 11)) 3286 0.4438 9.8190 ((34 . 6) (35 . 8) (36 . 10) (37 . 11)) 3310 0.4444 5.8785 ((33 . 1) (34 . 2) (35 . 4) (37 . 5)) 3322 0.4436 10.5001 ((33 . 4) (34 . 6) (35 . 8) (36 . 10)) 3339 0.4433 11.4325 ((30 . 25) (33 . 34) (35 . 35) (36 . 36)) 3362 0.3931 11.3369 ((30 . 3) (31 . 5) (33 . 9) (35 . 12)) 3391 0.4435 10.9544 ((31 . 15) (32 . 16) (33 . 18) (35 . 20)) 3415 0.4437 10.2724 ((32 . 20) (33 . 21) (35 . 23) (36 . 24)) 3446 0.4434 11.1257 ((30 . 3) (31 . 4) (33 . 9) (35 . 10)) 3470 0.2857 15.9797 ((31 . 14) (32 . 16) (33 . 17) (35 . 18)) 3495 0.4432 11.8151 ((32 . 5) (33 . 6) (35 . 9) (36 . 10)) 3537 0.2859 13.5582 ((31 . 1) (32 . 3) (35 . 8) (38 . 12)) 3561 0.4434 11.1852 ((32 . 21) (33 . 23) (35 . 27) (36 . 29)) 3613 0.4442 7.5677 ((32 . 26) (33 . 27) (35 . 28) (36 . 30)) 3628 0.3525 9.1888 ((33 . 1) (35 . 5) (36 . 7) (38 . 11)) 3651 0.4428 12.5737 ((30 . 7) (35 . 19) (36 . 20) (37 . 25)) 3658 0.4441 8.5818 ((33 . 10) (34 . 12) (35 . 13) (36 . 14)) 3661 0.2439 15.2307 ((30 . 10) (31 . 13) (35 . 22) (37 . 25)) 3778 0.4437 10.4035 ((31 . 9) (33 . 17) (35 . 19) (37 . 21)) 3787 0.3935 8.6114 ((30 . 18) (31 . 20) (33 . 24) (37 . 30)) 3830 0.4433 11.4490 ((31 . 1) (32 . 2) (33 . 4) (35 . 5)) 3834 0.4441 8.6863 ((31 . 2) (33 . 4) (35 . 5) (36 . 6)) 3870 0.4436 10.5625 ((32 . 4) (35 . 7) (36 . 9) (38 . 12)) 4011 0.4444 5.9417 ((32 . 1) (33 . 2) (35 . 5) (37 . 6)) 4030 0.5536 9.9307 ((30 . 7) (31 . 8) (32 . 9) (35 . 12) (37 . 15)) 4034 0.4400 16.1994 ((31 . 3) (33 . 7) (35 . 8) (38 . 14)) 4062 0.2861 8.3140 ((30 . 39) (32 . 44) (33 . 45) (35 . 47)) 4067 0.1980 11.4314 ((30 . 11) (32 . 13) (33 . 15) (36 . 19)) 4077 0.4443 6.2174 ((32 . 9) (33 . 12) (34 . 13) (35 . 14)) 4192 0.3929 12.1079 ((30 . 11) (31 . 14) (33 . 18) (34 . 20)) 4195 0.4443 7.1091 ((32 . 2) (33 . 3) (35 . 4) (36 . 5)) 4216 0.4428 12.6659 ((31 . 10) (32 . 13) (33 . 14) (35 . 16)) 4226 0.4433 11.5082 ((31 . 2) (33 . 5) (37 . 13) (38 . 15)) 4243 0.2440 11.8874 ((30 . 2) (31 . 3) (32 . 5) (33 . 6)) 4254 0.3524 10.2773 ((30 . 7) (33 . 12) (34 . 14) (35 . 16)) 4261 0.4443 7.1046 ((33 . 11) (34 . 12) (35 . 14) (36 . 15)) 4281 0.4437 10.3271 ((34 . 7) (35 . 9) (36 . 11) (37 . 13)) 4299 0.4434 11.3129 ((30 . 5) (33 . 8) (34 . 10) (36 . 13)) 4326 0.4425 13.1895 ((31 . 6) (32 . 8) (36 . 16) (37 . 18)) 4332 0.1980 9.0137 ((30 . 1) (31 . 3) (33 . 5) (34 . 8)) 4352 0.4439 9.5651 ((31 . 5) (32 . 7) (35 . 13) (36 . 14)) 4386 0.4372 18.4060 ((31 . 7) (33 . 11) (37 . 15) (38 . 17)) 4408 0.3521 12.2829 ((30 . 20) (31 . 21) (32 . 23) (33 . 24)) 4495 0.1980 12.5937 ((30 . 1) (32 . 5) (35 . 11) (36 . 13)) 4504 0.4437 10.1345 ((32 . 5) (34 . 11) (35 . 12) (38 . 18)) 4516 0.4440 8.7936 ((33 . 15) (35 . 17) (36 . 19) (37 . 21)) 4563 0.4439 9.3358 ((31 . 30) (32 . 32) (33 . 33) (36 . 37)) 4579 0.4438 9.7622 ((30 . 25) (32 . 26) (33 . 27) (37 . 32)) 4589 0.4430 12.1678 ((31 . 20) (32 . 21) (33 . 24) (34 . 26)) 4607 0.4439 9.4802 ((31 . 17) (33 . 19) (35 . 20) (37 . 23)) 4669 0.4436 10.7336 ((32 . 18) (33 . 20) (35 . 22) (36 . 23)) 4671 0.4378 17.9419 ((31 . 5) (34 . 9) (35 . 10) (38 . 16)) 4699 0.4441 8.4094 ((32 . 8) (33 . 10) (35 . 11) (36 . 12)) 4715 0.4437 10.1788 ((30 . 11) (31 . 13) (32 . 15) (33 . 16)) 4716 0.5546 8.3507 ((32 . 4) (33 . 5) (34 . 6) (35 . 7) (37 . 8)) 4731 0.4425 13.1138 ((31 . 15) (32 . 16) (33 . 17) (35 . 20)) 4783 0.4433 11.4117 ((31 . 2) (33 . 6) (35 . 7) (37 . 9)) 4817 0.4443 7.1285 ((32 . 7) (33 . 9) (35 . 11) (36 . 13)) 4886 0.1979 14.9855 ((30 . 3) (31 . 6) (32 . 7) (33 . 8)) 4888 0.4423 13.4745 ((32 . 5) (33 . 6) (35 . 10) (36 . 11)) 4889 0.4427 12.6858 ((30 . 19) (31 . 20) (32 . 21) (33 . 23)) 4961 0.4426 12.8804 ((30 . 8) (31 . 11) (34 . 16) (35 . 18)) 4963 0.3519 13.4121 ((30 . 3) (33 . 7) (36 . 9) (37 . 10)) 4982 0.4440 9.2267 ((30 . 5) (35 . 13) (36 . 15) (38 . 19)) 5000 1.0000 0.0000 ((30 . 30) (31 . 31) (32 . 32) (33 . 33) (34 . 34) (35 . 35) (36 . 36) (37 . 37) (38 . 38)) 5016 0.5549 7.4294 ((30 . 2) (33 . 5) (35 . 6) (36 . 8) (37 . 9)) 5029 0.3523 10.9298 ((33 . 3) (34 . 5) (35 . 7) (36 . 9)) 5065 0.4403 15.9036 ((32 . 1) (35 . 5) (36 . 6) (38 . 12)) 5068 0.4413 14.7738 ((31 . 19) (32 . 21) (34 . 25) (35 . 26)) 5069 0.4421 13.7554 ((30 . 1) (32 . 3) (33 . 6) (37 . 14)) 5073 0.4440 9.2551 ((32 . 31) (35 . 35) (36 . 37) (37 . 43)) 5080 0.4433 11.4502 ((30 . 1) (32 . 5) (33 . 6) (36 . 11)) 5092 0.4424 13.2958 ((30 . 2) (33 . 7) (37 . 10) (38 . 11)) 5101 0.4439 9.6267 ((31 . 17) (32 . 19) (33 . 22) (36 . 27)) 5103 0.3926 13.3217 ((30 . 3) (31 . 5) (32 . 7) (35 . 11)) 5121 0.4440 9.0011 ((30 . 13) (32 . 17) (35 . 22) (36 . 23)) 5132 0.4437 10.4630 ((30 . 19) (31 . 21) (32 . 23) (33 . 24)) 5134 0.3934 9.7417 ((30 . 5) (31 . 7) (32 . 8) (38 . 18)) 5167 0.4421 13.7968 ((32 . 2) (33 . 6) (35 . 7) (38 . 13)) 5192 0.4442 7.6490 ((31 . 2) (32 . 4) (34 . 7) (38 . 15)) 5212 0.4440 9.2399 ((32 . 13) (33 . 14) (35 . 15) (36 . 16)) 5223 0.2858 15.2330 ((31 . 7) (34 . 13) (35 . 14) (37 . 18)) 5266 0.3516 14.7591 ((30 . 1) (31 . 3) (36 . 11) (38 . 16)) 5285 0.1980 9.9503 ((30 . 1) (31 . 2) (32 . 5) (33 . 6)) 5318 0.3512 16.3050 ((30 . 9) (33 . 13) (34 . 14) (38 . 20)) 5323 0.4440 8.9475 ((30 . 15) (32 . 17) (33 . 18) (35 . 19)) 5324 0.4425 13.1022 ((30 . 19) (32 . 21) (33 . 23) (36 . 29)) 5442 0.4434 11.3087 ((33 . 37) (34 . 38) (35 . 39) (36 . 40)) 5487 0.4428 12.5748 ((31 . 3) (32 . 5) (33 . 8) (35 . 12)) 5501 0.4434 11.2950 ((32 . 21) (35 . 23) (36 . 26) (38 . 29)) 5540 0.4436 10.5707 ((30 . 5) (33 . 13) (36 . 17) (38 . 21)) 5560 0.3930 11.7828 ((31 . 6) (33 . 10) (36 . 14) (38 . 16)) 5562 0.4436 10.4952 ((31 . 9) (34 . 15) (36 . 18) (37 . 20)) 5648 0.4439 9.5552 ((34 . 3) (35 . 4) (36 . 5) (37 . 6)) 5656 0.4422 13.6633 ((30 . 4) (31 . 6) (33 . 13) (36 . 17)) 5689 0.4443 6.5674 ((33 . 9) (34 . 10) (36 . 12) (37 . 13)) 5702 0.4436 10.7073 ((31 . 2) (33 . 4) (35 . 8) (37 . 9)) 5704 0.4438 9.8000 ((30 . 4) (33 . 6) (35 . 7) (37 . 9)) 5770 0.2857 15.8579 ((30 . 7) (32 . 10) (34 . 19) (36 . 22)) 5782 0.3522 11.9184 ((33 . 9) (34 . 11) (37 . 17) (38 . 23)) 5795 0.4430 12.2306 ((31 . 2) (33 . 5) (34 . 7) (38 . 14)) 5827 0.4437 10.2331 ((30 . 12) (35 . 18) (36 . 20) (37 . 21)) 5830 0.4443 7.2823 ((31 . 5) (34 . 11) (36 . 15) (37 . 16)) 5878 0.4436 10.7157 ((33 . 13) (36 . 21) (37 . 22) (38 . 24)) 5939 0.4429 12.3993 ((30 . 5) (31 . 7) (33 . 12) (35 . 15)) 6029 0.4442 8.0146 ((30 . 25) (31 . 26) (32 . 28) (38 . 37)) 6033 0.4442 7.6578 ((32 . 5) (33 . 7) (35 . 9) (36 . 10)) 6074 0.4426 12.9512 ((30 . 3) (31 . 5) (32 . 7) (35 . 12)) 6075 0.4442 8.1330 ((35 . 16) (36 . 18) (37 . 19) (38 . 22)) 6079 0.4441 8.3379 ((33 . 12) (35 . 15) (36 . 17) (38 . 19)) 6089 0.4438 9.9924 ((30 . 8) (32 . 13) (35 . 19) (38 . 25)) 6169 0.4441 8.3913 ((32 . 4) (33 . 8) (36 . 9) (37 . 11)) 6243 0.2439 15.1659 ((30 . 1) (32 . 5) (34 . 9) (38 . 13)) 6258 0.2861 10.9996 ((30 . 5) (32 . 8) (34 . 11) (36 . 14)) 6266 0.3522 11.9171 ((30 . 2) (31 . 4) (33 . 7) (36 . 12)) 6268 0.1980 12.9446 ((33 . 9) (35 . 11) (36 . 12) (38 . 14)) 6271 0.3929 11.9886 ((30 . 6) (31 . 9) (34 . 13) (35 . 14)) 6294 0.4443 7.2244 ((31 . 10) (34 . 12) (36 . 19) (37 . 24)) 6329 0.4440 8.8458 ((33 . 13) (35 . 15) (36 . 16) (37 . 17)) 6344 0.4434 11.3272 ((32 . 2) (33 . 5) (36 . 9) (38 . 11)) 6348 0.4432 11.8440 ((30 . 6) (31 . 8) (32 . 10) (33 . 13)) 6356 0.4431 11.8610 ((32 . 12) (33 . 14) (34 . 16) (35 . 17)) 6359 0.4432 11.7981 ((32 . 1) (34 . 4) (35 . 5) (36 . 6)) 6369 0.1980 12.1012 ((31 . 27) (33 . 30) (36 . 36) (37 . 37)) 6384 0.0999 13.0185 ((33 . 1) (35 . 3) (36 . 4) (37 . 5)) 6391 0.3525 8.2802 ((31 . 1) (34 . 5) (37 . 9) (38 . 11)) 6392 0.1980 13.5970 ((33 . 2) (35 . 5) (36 . 6) (37 . 8)) 6403 0.4416 14.4972 ((30 . 6) (32 . 11) (35 . 16) (37 . 18)) 6434 0.4434 11.1621 ((31 . 1) (35 . 6) (36 . 7) (37 . 8)) 6461 0.4436 10.6764 ((31 . 1) (32 . 2) (33 . 4) (35 . 7)) 6462 0.4439 9.5095 ((33 . 7) (34 . 8) (35 . 9) (36 . 11)) 6498 0.4433 11.4567 ((33 . 5) (35 . 8) (36 . 11) (38 . 15)) 6506 0.2862 5.6943 ((32 . 25) (33 . 27) (34 . 28) (35 . 29)) 6536 0.4443 6.7828 ((32 . 21) (33 . 22) (35 . 24) (36 . 25)) 6587 0.4436 10.5144 ((30 . 27) (31 . 30) (32 . 32) (33 . 35)) 6613 0.4435 11.0478 ((32 . 15) (33 . 19) (36 . 23) (38 . 26)) 6622 0.4443 7.3416 ((32 . 5) (33 . 6) (35 . 8) (36 . 10)) END