2393 91 0.6379 15.9139 ((1 . 1) (17 . 18) (18 . 21) (19 . 22)) 157 0.6598 10.8781 ((15 . 1) (17 . 4) (18 . 8) (19 . 10)) 207 0.2969 9.0423 ((15 . 8) (17 . 12) (18 . 13) (19 . 14)) 305 0.4660 9.6868 ((15 . 16) (17 . 20) (18 . 21) (19 . 25)) 307 0.1996 9.7951 ((15 . 1) (17 . 6) (18 . 7) (19 . 10)) 442 0.6643 8.3135 ((15 . 10) (17 . 11) (18 . 12) (19 . 13)) 495 0.1996 9.5379 ((15 . 3) (17 . 4) (18 . 7) (19 . 10)) 541 0.3871 12.9491 ((15 . 3) (17 . 6) (18 . 7) (19 . 9)) 584 0.3861 15.3872 ((2 . 12) (15 . 28) (17 . 29) (19 . 33)) 624 0.6562 12.1477 ((2 . 4) (15 . 15) (17 . 17) (19 . 21)) 719 0.1665 9.4741 ((15 . 25) (17 . 29) (18 . 30) (19 . 31)) 729 0.6630 9.2701 ((1 . 5) (2 . 6) (15 . 17) (17 . 21)) 901 0.6526 13.1144 ((2 . 3) (17 . 14) (18 . 17) (19 . 18)) 943 0.6622 9.7387 ((15 . 1) (17 . 3) (18 . 6) (19 . 7)) 960 0.6651 7.4526 ((15 . 8) (17 . 11) (18 . 12) (19 . 16)) 978 0.6662 5.5715 ((1 . 16) (2 . 18) (15 . 22) (18 . 19)) 1043 0.3879 8.0634 ((15 . 6) (17 . 7) (18 . 10) (19 . 11)) 1082 0.6646 8.0199 ((15 . 8) (17 . 11) (18 . 12) (19 . 14)) 1084 0.6576 11.7008 ((1 . 3) (2 . 4) (15 . 18) (17 . 21)) 1165 0.4657 10.7220 ((15 . 7) (17 . 9) (18 . 12) (19 . 14)) 1167 0.6585 11.3643 ((15 . 21) (17 . 24) (18 . 27) (19 . 28)) 1204 0.6614 10.1862 ((1 . 5) (2 . 7) (17 . 26) (19 . 28)) 1267 0.1499 11.8092 ((1 . 19) (2 . 20) (17 . 34) (18 . 38)) 1366 0.1665 7.3096 ((15 . 12) (17 . 13) (18 . 17) (19 . 18)) 1388 0.2487 10.6775 ((15 . 4) (17 . 7) (18 . 8) (19 . 11)) 1513 0.3875 11.1990 ((15 . 8) (17 . 9) (18 . 11) (19 . 14)) 1577 0.8324 4.9151 ((1 . 30) (2 . 1) (15 . 6) (18 . 10) (19 . 11)) 1591 0.6601 10.7789 ((1 . 6) (2 . 7) (15 . 16) (17 . 17)) 1738 0.1499 8.9393 ((1 . 1) (15 . 18) (17 . 20) (18 . 23)) 1761 0.1996 13.4832 ((15 . 2) (17 . 6) (18 . 7) (19 . 8)) 1776 0.2488 8.1743 ((15 . 7) (17 . 8) (18 . 12) (19 . 13)) 1793 0.1499 9.6165 ((1 . 4) (2 . 5) (15 . 13) (19 . 18)) 1894 0.6611 10.3121 ((2 . 1) (15 . 12) (17 . 15) (18 . 18)) 1897 0.4631 14.4783 ((15 . 34) (17 . 37) (18 . 39) (19 . 38)) 1944 0.3877 9.8958 ((15 . 7) (17 . 8) (18 . 13) (19 . 14)) 1967 0.1996 10.4646 ((15 . 7) (17 . 9) (18 . 13) (19 . 15)) 2048 0.3876 10.5644 ((15 . 1) (17 . 3) (18 . 4) (19 . 9)) 2067 0.3877 9.5355 ((15 . 54) (17 . 56) (18 . 59) (19 . 61)) 2072 0.6635 8.9534 ((15 . 1) (17 . 3) (18 . 5) (19 . 8)) 2114 0.1499 9.3498 ((15 . 29) (17 . 33) (18 . 36) (19 . 38)) 2117 0.0999 10.2740 ((1 . 4) (2 . 3) (17 . 24) (18 . 25)) 2118 0.6600 10.7850 ((15 . 4) (17 . 6) (18 . 7) (19 . 8)) 2122 0.4649 12.2166 ((15 . 8) (17 . 9) (18 . 12) (19 . 13)) 2166 0.3872 12.5423 ((2 . 5) (17 . 18) (18 . 20) (19 . 22)) 2179 0.2968 12.1029 ((15 . 7) (17 . 12) (18 . 13) (19 . 15)) 2269 0.6643 8.2969 ((15 . 7) (17 . 9) (18 . 10) (19 . 11)) 2314 0.1499 9.7689 ((1 . 2) (15 . 13) (17 . 16) (18 . 18)) 2344 0.6553 12.3934 ((1 . 1) (2 . 2) (17 . 21) (19 . 23)) 2364 0.4659 10.0631 ((15 . 4) (17 . 6) (18 . 7) (19 . 10)) 2389 0.1499 10.2315 ((15 . 10) (17 . 12) (18 . 14) (19 . 15)) 2393 1.0000 0.0000 ((1 . 1) (2 . 2) (15 . 15) (17 . 17) (18 . 18) (19 . 19)) 2423 0.4661 9.3766 ((15 . 20) (17 . 23) (18 . 25) (19 . 27)) 2447 0.6532 12.9688 ((2 . 12) (15 . 24) (17 . 27) (19 . 32)) 2462 0.4656 10.9827 ((15 . 1) (17 . 2) (18 . 4) (19 . 5)) 2510 0.2487 13.3786 ((15 . 5) (17 . 6) (18 . 9) (19 . 11)) 2519 0.1996 10.2449 ((15 . 2) (17 . 4) (18 . 5) (19 . 6)) 2627 0.1499 14.9602 ((2 . 52) (15 . 60) (17 . 62) (18 . 65)) 2682 0.1250 11.5868 ((1 . 3) (2 . 4) (17 . 18) (19 . 21)) 2804 0.3879 7.8325 ((15 . 29) (17 . 35) (18 . 36) (19 . 37)) 2821 0.6520 13.2476 ((15 . 5) (17 . 10) (18 . 11) (19 . 12)) 2830 0.6460 14.5268 ((15 . 7) (17 . 10) (18 . 11) (19 . 12)) 2834 0.3878 8.2528 ((15 . 9) (17 . 11) (18 . 12) (19 . 13)) 2842 0.2968 11.8427 ((15 . 1) (17 . 3) (18 . 5) (19 . 7)) 2947 0.3877 9.7963 ((15 . 3) (17 . 5) (18 . 6) (19 . 8)) 2990 0.3873 11.8726 ((15 . 9) (17 . 13) (18 . 14) (19 . 17)) 3014 0.2487 9.6671 ((15 . 4) (17 . 6) (18 . 7) (19 . 9)) 3019 0.6646 8.0326 ((15 . 20) (17 . 24) (18 . 25) (19 . 26)) 3084 0.1996 11.7403 ((2 . 1) (15 . 11) (17 . 12) (18 . 15)) 3102 0.6560 12.1860 ((1 . 57) (15 . 71) (18 . 75) (19 . 78)) 3103 0.3874 11.4651 ((15 . 5) (17 . 7) (18 . 11) (19 . 12)) 3127 0.6596 10.9799 ((15 . 4) (17 . 7) (18 . 11) (19 . 12)) 3197 0.6222 18.0249 ((1 . 10) (2 . 11) (15 . 24) (19 . 30)) 3200 0.3877 9.8711 ((15 . 9) (17 . 12) (18 . 13) (19 . 14)) 3339 0.6580 11.5584 ((1 . 15) (2 . 16) (15 . 28) (18 . 33)) 3362 0.1333 8.4278 ((15 . 6) (17 . 7) (18 . 10) (19 . 13)) 3391 0.6606 10.5519 ((2 . 2) (15 . 13) (18 . 17) (19 . 18)) 3495 0.6627 9.4800 ((1 . 3) (2 . 5) (15 . 16) (17 . 17)) 3538 0.6564 12.0885 ((1 . 15) (2 . 16) (15 . 25) (17 . 27)) 3548 0.8287 7.4237 ((1 . 4) (15 . 6) (17 . 7) (18 . 8) (19 . 11)) 3561 0.1665 9.3439 ((15 . 26) (17 . 29) (18 . 31) (19 . 32)) 3585 0.6574 11.7654 ((2 . 1) (17 . 15) (18 . 16) (19 . 17)) 3651 0.2969 9.9915 ((1 . 1) (2 . 2) (18 . 21) (19 . 25)) 3733 0.2970 7.5539 ((15 . 1) (17 . 4) (18 . 6) (19 . 9)) 3778 0.4660 9.9285 ((15 . 3) (17 . 5) (18 . 6) (19 . 8)) 3787 0.6477 14.2037 ((1 . 17) (2 . 18) (17 . 32) (18 . 35)) 3817 0.6610 10.3606 ((1 . 5) (2 . 6) (18 . 18) (19 . 19)) 3853 0.1996 9.8943 ((1 . 3) (2 . 2) (17 . 16) (19 . 20)) 3870 0.3877 9.8210 ((15 . 5) (17 . 7) (18 . 10) (19 . 11)) 3968 0.4455 5.1732 ((1 . 11) (2 . 4) (15 . 3) (17 . 7) (18 . 9) (19 . 12)) 4005 0.1996 11.6013 ((15 . 25) (17 . 28) (18 . 32) (19 . 31)) 4009 0.6599 10.8366 ((1 . 1) (2 . 3) (18 . 23) (19 . 25)) 4077 0.6061 19.8026 ((2 . 1) (15 . 11) (17 . 13) (19 . 15)) 4151 0.3876 10.5501 ((15 . 12) (17 . 14) (18 . 15) (19 . 18)) 4204 0.2969 9.8019 ((15 . 5) (17 . 6) (18 . 9) (19 . 12)) 4226 0.6653 7.2750 ((15 . 11) (17 . 13) (18 . 16) (19 . 17)) 4254 0.6647 7.9526 ((15 . 9) (17 . 12) (18 . 15) (19 . 16)) 4265 0.6642 8.3907 ((15 . 20) (17 . 22) (18 . 26) (19 . 27)) 4266 0.1996 9.6011 ((15 . 8) (17 . 9) (18 . 12) (19 . 14)) 4281 0.3879 7.8900 ((15 . 3) (17 . 6) (18 . 8) (19 . 11)) 4299 0.6634 9.0289 ((1 . 2) (15 . 14) (17 . 17) (18 . 19)) 4338 0.6538 12.8005 ((15 . 2) (17 . 5) (18 . 6) (19 . 9)) 4386 0.2965 15.1592 ((2 . 8) (17 . 20) (18 . 21) (19 . 23)) 4408 0.1996 11.9746 ((15 . 3) (17 . 5) (18 . 7) (19 . 10)) 4470 0.6541 12.7150 ((1 . 9) (15 . 20) (17 . 23) (18 . 25)) 4492 0.6441 14.8810 ((15 . 8) (17 . 10) (18 . 11) (19 . 14)) 4502 0.3875 10.9583 ((2 . 2) (15 . 14) (17 . 16) (19 . 21)) 4504 0.0999 13.3008 ((1 . 4) (2 . 5) (15 . 17) (19 . 23)) 4588 0.2488 9.1681 ((15 . 3) (17 . 4) (18 . 9) (19 . 12)) 4589 0.1665 9.6326 ((15 . 18) (17 . 20) (18 . 22) (19 . 24)) 4648 0.2487 10.4833 ((15 . 1) (17 . 3) (18 . 5) (19 . 7)) 4671 0.6581 11.5298 ((15 . 1) (17 . 3) (18 . 4) (19 . 5)) 4857 0.6571 11.8695 ((15 . 9) (17 . 12) (18 . 13) (19 . 14)) 4886 0.6633 9.0934 ((1 . 9) (2 . 8) (15 . 19) (18 . 22)) 4888 0.6524 13.1672 ((2 . 2) (15 . 14) (17 . 18) (19 . 19)) 4889 0.4661 9.6516 ((15 . 3) (17 . 5) (18 . 6) (19 . 8)) 4921 0.6606 10.5528 ((15 . 8) (17 . 11) (18 . 12) (19 . 13)) 4961 0.6665 4.0390 ((1 . 1) (2 . 2) (15 . 17) (18 . 20)) 4982 0.6533 12.9378 ((1 . 1) (2 . 2) (15 . 14) (19 . 19)) 4998 0.6532 12.9560 ((15 . 19) (17 . 21) (18 . 23) (19 . 24)) 5053 0.6550 12.4912 ((15 . 10) (17 . 14) (18 . 15) (19 . 17)) 5069 0.6659 6.3189 ((2 . 1) (15 . 17) (18 . 18) (19 . 22)) 5101 0.6434 15.0111 ((1 . 3) (2 . 4) (17 . 17) (18 . 21)) 5132 0.6651 7.4430 ((1 . 16) (2 . 17) (15 . 26) (19 . 34)) 5134 0.8310 6.2684 ((1 . 3) (2 . 5) (15 . 6) (18 . 17) (19 . 18)) 5192 0.6583 11.4540 ((1 . 1) (2 . 2) (18 . 21) (19 . 22)) 5215 0.2484 18.3486 ((2 . 1) (15 . 12) (17 . 14) (19 . 17)) 5223 0.6624 9.6396 ((1 . 1) (2 . 2) (15 . 15) (17 . 18)) 5266 0.3877 9.3696 ((15 . 4) (17 . 5) (18 . 8) (19 . 11)) 5324 0.4654 11.2891 ((2 . 4) (15 . 16) (17 . 18) (19 . 21)) 5378 0.6636 8.8900 ((15 . 3) (17 . 5) (18 . 7) (19 . 10)) 5479 0.1995 17.1340 ((1 . 48) (15 . 62) (18 . 66) (19 . 65)) 5501 0.2486 15.5739 ((15 . 20) (17 . 22) (18 . 24) (19 . 26)) 5600 0.4660 9.8859 ((15 . 5) (17 . 7) (18 . 9) (19 . 12)) 5638 0.6620 9.8714 ((15 . 8) (17 . 12) (18 . 13) (19 . 14)) 5656 0.6606 10.5594 ((15 . 10) (17 . 13) (18 . 16) (19 . 19)) 5701 0.1995 16.1839 ((2 . 3) (15 . 14) (17 . 15) (19 . 20)) 5731 0.1250 9.9632 ((15 . 2) (17 . 6) (18 . 7) (19 . 8)) 5770 0.1665 8.3010 ((15 . 6) (17 . 7) (18 . 12) (19 . 18)) 5782 0.2966 14.8012 ((2 . 17) (15 . 32) (18 . 37) (19 . 38)) 5789 0.1996 11.6131 ((15 . 2) (17 . 4) (18 . 5) (19 . 6)) 5794 0.1665 10.3786 ((15 . 15) (17 . 17) (18 . 18) (19 . 22)) 5809 0.2970 8.6606 ((15 . 3) (17 . 4) (18 . 7) (19 . 8)) 5827 0.6578 11.6177 ((15 . 2) (17 . 6) (18 . 8) (19 . 12)) 5945 0.6659 6.2969 ((15 . 3) (17 . 6) (18 . 7) (19 . 10)) 5955 0.6554 12.3580 ((15 . 4) (17 . 6) (18 . 9) (19 . 10)) 6000 0.6252 17.6512 ((1 . 4) (2 . 6) (15 . 17) (19 . 22)) 6011 0.2488 7.9998 ((15 . 14) (17 . 17) (18 . 18) (19 . 21)) 6028 0.1250 9.8387 ((15 . 1) (17 . 4) (18 . 9) (19 . 8)) 6029 0.6486 14.0089 ((15 . 18) (17 . 20) (18 . 23) (19 . 25)) 6041 0.1996 6.4265 ((1 . 2) (2 . 3) (15 . 13) (17 . 14)) 6061 0.6570 11.8932 ((15 . 14) (17 . 16) (18 . 17) (19 . 18)) 6089 0.6585 11.3742 ((1 . 5) (2 . 6) (18 . 24) (19 . 26)) 6192 0.1996 9.9127 ((15 . 1) (17 . 4) (18 . 5) (19 . 7)) 6228 0.2970 8.5294 ((1 . 1) (2 . 2) (17 . 16) (18 . 19)) 6238 0.6646 8.0480 ((15 . 3) (17 . 6) (18 . 7) (19 . 10)) 6261 0.6557 12.2911 ((1 . 1) (2 . 2) (18 . 22) (19 . 24)) 6270 0.4661 9.5044 ((15 . 15) (17 . 19) (18 . 20) (19 . 23)) 6294 0.2488 8.2298 ((1 . 2) (17 . 21) (18 . 23) (19 . 26)) 6344 0.6617 10.0322 ((1 . 1) (2 . 2) (15 . 12) (17 . 16)) 6369 0.6643 8.2643 ((1 . 9) (2 . 10) (15 . 20) (18 . 24)) 6403 0.6623 9.7196 ((15 . 4) (17 . 6) (18 . 7) (19 . 11)) 6462 0.3876 10.1076 ((2 . 7) (15 . 18) (17 . 19) (19 . 23)) 6498 0.2487 12.9499 ((2 . 11) (17 . 28) (18 . 31) (19 . 32)) 6520 0.6527 13.0929 ((1 . 1) (15 . 14) (17 . 18) (19 . 22)) 6539 0.6620 9.8382 ((15 . 2) (17 . 3) (18 . 6) (19 . 9)) 6540 0.6497 13.7703 ((1 . 5) (2 . 4) (15 . 16) (18 . 21)) 6613 0.6631 9.2409 ((1 . 10) (2 . 11) (17 . 26) (18 . 31)) END