3415 25 0.2945 9.9966 ((20 . 2) (21 . 4) (22 . 5) (24 . 9)) 91 0.5599 15.1124 ((18 . 14) (20 . 18) (22 . 22) (23 . 23)) 147 0.1992 10.8659 ((18 . 5) (20 . 6) (21 . 8) (23 . 9)) 155 0.5701 8.7373 ((18 . 5) (19 . 6) (20 . 7) (21 . 8)) 157 0.4443 11.6478 ((18 . 12) (19 . 15) (20 . 17) (23 . 22)) 207 0.5703 8.4173 ((18 . 6) (20 . 10) (21 . 11) (22 . 12)) 259 0.5702 8.5346 ((18 . 3) (19 . 5) (20 . 6) (21 . 7)) 293 0.3788 9.3658 ((20 . 1) (22 . 2) (23 . 3) (24 . 4)) 305 0.4443 11.6050 ((18 . 8) (20 . 10) (21 . 13) (22 . 14)) 317 0.5703 8.2863 ((20 . 4) (21 . 6) (23 . 9) (24 . 10)) 351 0.5705 7.9830 ((19 . 4) (21 . 6) (23 . 8) (24 . 9)) 433 0.5707 7.5550 ((20 . 2) (21 . 3) (22 . 4) (24 . 8)) 442 0.1498 6.3862 ((18 . 15) (19 . 16) (20 . 17) (21 . 18)) 472 0.4427 14.4351 ((18 . 28) (20 . 29) (21 . 33) (22 . 34)) 495 0.2477 11.3195 ((18 . 2) (20 . 4) (23 . 10) (24 . 12)) 541 0.2477 8.8184 ((20 . 6) (21 . 9) (22 . 10) (24 . 13)) 553 0.5704 8.1001 ((20 . 9) (21 . 10) (23 . 14) (24 . 15)) 624 0.5649 13.0164 ((18 . 1) (19 . 2) (20 . 3) (21 . 4)) 635 0.5702 8.5041 ((18 . 2) (21 . 7) (22 . 9) (24 . 11)) 672 0.4448 10.2094 ((18 . 8) (20 . 9) (21 . 12) (24 . 17)) 678 0.5640 13.4935 ((18 . 33) (20 . 36) (21 . 38) (24 . 42)) 782 0.5623 14.2162 ((18 . 4) (20 . 5) (21 . 7) (24 . 11)) 792 0.5685 10.6468 ((20 . 10) (22 . 11) (23 . 13) (24 . 14)) 834 0.5711 6.0700 ((18 . 35) (19 . 36) (20 . 37) (21 . 38)) 901 0.4882 13.4665 ((18 . 3) (19 . 4) (23 . 8) (24 . 10)) 949 0.5634 13.7725 ((18 . 33) (19 . 36) (20 . 35) (21 . 37)) 960 0.5674 11.5169 ((18 . 20) (20 . 23) (21 . 24) (24 . 27)) 978 0.5709 6.7935 ((21 . 8) (22 . 9) (23 . 11) (24 . 12)) 1005 0.1664 7.7681 ((20 . 3) (21 . 4) (22 . 5) (23 . 6)) 1007 0.3783 12.3977 ((18 . 2) (20 . 4) (21 . 6) (23 . 22)) 1043 0.4443 11.7905 ((18 . 5) (21 . 9) (22 . 11) (24 . 15)) 1082 0.2477 11.1039 ((18 . 25) (20 . 27) (21 . 28) (22 . 29)) 1084 0.2476 14.5445 ((18 . 2) (20 . 4) (21 . 6) (24 . 15)) 1124 0.5708 7.3445 ((21 . 8) (22 . 9) (23 . 10) (24 . 11)) 1165 0.5676 11.3920 ((18 . 5) (19 . 6) (21 . 9) (23 . 11)) 1167 0.5686 10.4889 ((18 . 24) (20 . 26) (22 . 28) (23 . 29)) 1201 0.2931 20.4579 ((18 . 8) (19 . 10) (21 . 13) (24 . 19)) 1204 0.4449 9.8706 ((19 . 6) (20 . 7) (21 . 8) (24 . 15)) 1210 0.3787 10.2150 ((18 . 1) (22 . 5) (23 . 6) (24 . 7)) 1267 0.5690 10.1137 ((18 . 5) (19 . 6) (20 . 7) (21 . 8)) 1268 0.4880 13.6951 ((18 . 16) (22 . 19) (23 . 20) (24 . 21)) 1301 0.5576 15.8735 ((18 . 2) (20 . 3) (21 . 6) (23 . 8)) 1345 0.1664 10.0130 ((18 . 8) (20 . 10) (21 . 11) (24 . 17)) 1388 0.4454 6.0442 ((18 . 3) (19 . 6) (20 . 7) (23 . 12)) 1395 0.3789 9.0263 ((20 . 1) (21 . 2) (23 . 4) (24 . 5)) 1415 0.5710 6.7372 ((19 . 1) (20 . 2) (23 . 5) (24 . 6)) 1470 0.5679 11.1254 ((18 . 4) (20 . 5) (23 . 9) (24 . 10)) 1472 0.1992 14.4453 ((18 . 10) (20 . 12) (22 . 13) (23 . 14)) 1476 0.2477 7.5303 ((19 . 10) (21 . 13) (22 . 16) (23 . 17)) 1497 0.5697 9.2484 ((18 . 25) (19 . 26) (20 . 27) (21 . 28)) 1513 0.2945 9.7054 ((20 . 7) (21 . 9) (22 . 12) (24 . 14)) 1595 0.4450 9.4922 ((18 . 2) (19 . 3) (20 . 4) (21 . 6)) 1690 0.1992 15.7448 ((18 . 22) (21 . 26) (23 . 28) (24 . 29)) 1724 0.5696 9.4114 ((18 . 1) (20 . 4) (22 . 7) (23 . 8)) 1731 0.1992 13.3978 ((18 . 7) (20 . 9) (21 . 10) (22 . 11)) 1736 0.2945 7.7200 ((19 . 2) (21 . 4) (23 . 6) (24 . 8)) 1761 0.3784 12.1195 ((18 . 6) (19 . 8) (20 . 10) (23 . 14)) 1763 0.4443 11.7343 ((18 . 4) (19 . 6) (20 . 8) (22 . 11)) 1776 0.4432 13.7226 ((18 . 11) (20 . 13) (22 . 18) (23 . 21)) 1778 0.5688 10.3605 ((18 . 6) (20 . 10) (21 . 11) (23 . 13)) 1793 0.3784 11.9743 ((18 . 15) (20 . 16) (21 . 17) (22 . 18)) 1796 0.1993 7.9195 ((19 . 1) (20 . 2) (21 . 4) (24 . 6)) 1897 0.5712 5.7699 ((19 . 36) (20 . 37) (21 . 38) (24 . 44)) 1908 0.4449 9.8135 ((21 . 6) (22 . 8) (23 . 9) (24 . 14)) 1909 0.2477 9.8848 ((19 . 30) (20 . 32) (23 . 36) (24 . 38)) 1944 0.4434 13.4689 ((18 . 2) (19 . 4) (21 . 6) (23 . 8)) 1957 0.3785 11.6712 ((18 . 10) (21 . 14) (22 . 16) (24 . 18)) 1967 0.2943 13.1953 ((18 . 4) (20 . 6) (22 . 9) (24 . 12)) 1987 0.5706 7.7629 ((20 . 9) (21 . 10) (23 . 12) (24 . 13)) 2048 0.5692 9.8924 ((20 . 9) (21 . 10) (23 . 12) (24 . 14)) 2054 0.4454 5.9716 ((18 . 10) (19 . 12) (20 . 15) (21 . 16)) 2094 0.2478 7.4549 ((19 . 2) (20 . 3) (22 . 6) (23 . 7)) 2114 0.1992 14.7831 ((18 . 30) (20 . 33) (22 . 37) (24 . 39)) 2118 0.1664 12.4096 ((18 . 6) (20 . 8) (21 . 9) (22 . 10)) 2122 0.2477 10.7601 ((18 . 5) (20 . 7) (21 . 9) (22 . 11)) 2233 0.2945 10.6135 ((19 . 1) (20 . 2) (21 . 5) (22 . 6)) 2269 0.5691 9.9919 ((18 . 1) (20 . 2) (21 . 5) (24 . 9)) 2279 0.1498 14.1895 ((18 . 1) (20 . 6) (23 . 12) (24 . 14)) 2298 0.2477 11.0963 ((18 . 2) (20 . 5) (22 . 7) (24 . 9)) 2342 0.5704 8.1410 ((19 . 14) (20 . 15) (23 . 18) (24 . 19)) 2344 0.5711 6.1854 ((21 . 9) (22 . 12) (23 . 15) (24 . 16)) 2364 0.5699 8.9683 ((18 . 1) (20 . 2) (22 . 6) (23 . 8)) 2443 0.4448 10.1308 ((20 . 1) (21 . 3) (23 . 4) (24 . 5)) 2447 0.4439 12.5965 ((18 . 19) (20 . 20) (21 . 22) (22 . 26)) 2510 0.4585 24.5381 ((18 . 12) (19 . 13) (21 . 16) (22 . 18)) 2525 0.4905 10.3988 ((20 . 37) (21 . 39) (22 . 42) (24 . 44)) 2544 0.3790 7.4302 ((18 . 18) (20 . 19) (21 . 21) (22 . 24)) 2551 0.4454 6.9413 ((20 . 4) (21 . 5) (22 . 6) (23 . 7)) 2556 0.2477 8.5016 ((20 . 14) (21 . 15) (22 . 17) (24 . 21)) 2591 0.5683 10.8469 ((20 . 34) (21 . 36) (23 . 37) (24 . 39)) 2627 0.5414 8.5438 ((18 . 53) (21 . 54) (22 . 55) (23 . 56) (24 . 57)) 2634 0.7118 7.7015 ((18 . 3) (20 . 5) (21 . 6) (22 . 7) (23 . 8)) 2658 0.5686 10.5220 ((18 . 4) (20 . 6) (21 . 8) (22 . 9)) 2703 0.5712 5.8681 ((18 . 3) (20 . 4) (21 . 5) (22 . 6)) 2733 0.2477 11.1333 ((18 . 5) (19 . 6) (21 . 9) (23 . 12)) 2753 0.5679 11.1231 ((18 . 2) (20 . 3) (21 . 5) (24 . 8)) 2773 0.4912 8.6050 ((18 . 4) (19 . 7) (21 . 8) (22 . 9)) 2834 0.1498 11.4072 ((18 . 7) (21 . 10) (22 . 11) (24 . 13)) 2840 0.3785 11.6471 ((18 . 2) (20 . 3) (21 . 7) (24 . 10)) 2947 0.5696 9.4213 ((19 . 16) (20 . 17) (21 . 18) (22 . 19)) 2950 0.5692 9.9072 ((18 . 7) (20 . 8) (21 . 10) (23 . 12)) 2990 0.4445 11.1615 ((19 . 8) (20 . 10) (22 . 13) (24 . 17)) 3014 0.5705 7.9357 ((18 . 12) (20 . 14) (22 . 16) (24 . 17)) 3041 0.5674 11.5224 ((18 . 10) (19 . 11) (22 . 15) (24 . 17)) 3084 0.1498 12.6568 ((18 . 2) (19 . 4) (21 . 6) (23 . 10)) 3176 0.2476 14.3001 ((18 . 34) (22 . 36) (23 . 37) (24 . 39)) 3197 0.2477 10.5932 ((19 . 23) (21 . 27) (22 . 29) (23 . 30)) 3200 0.1992 11.5495 ((18 . 5) (20 . 7) (21 . 8) (23 . 12)) 3202 0.5574 15.9203 ((20 . 5) (21 . 6) (23 . 7) (24 . 10)) 3286 0.5674 11.5527 ((18 . 8) (20 . 11) (21 . 12) (23 . 15)) 3310 0.5704 8.1693 ((18 . 4) (20 . 5) (23 . 10) (24 . 11)) 3322 0.5710 6.6395 ((19 . 2) (21 . 4) (23 . 8) (24 . 10)) 3334 0.1992 11.6098 ((18 . 9) (20 . 11) (21 . 12) (22 . 13)) 3339 0.5689 10.2656 ((18 . 25) (19 . 30) (22 . 35) (23 . 36)) 3358 0.4906 10.2678 ((19 . 3) (20 . 5) (23 . 9) (24 . 11)) 3391 0.5614 14.5811 ((18 . 16) (19 . 18) (20 . 19) (21 . 20)) 3415 1.0000 0.0000 ((18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (23 . 23) (24 . 24)) 3446 0.5708 7.0752 ((18 . 9) (20 . 10) (21 . 11) (22 . 12)) 3470 0.5648 13.0971 ((19 . 11) (20 . 12) (23 . 15) (24 . 16)) 3495 0.7118 7.6792 ((18 . 5) (19 . 10) (20 . 11) (21 . 13) (22 . 14)) 3561 0.3787 10.2555 ((18 . 17) (21 . 21) (23 . 23) (24 . 25)) 3585 0.2477 10.4878 ((18 . 15) (19 . 17) (20 . 18) (21 . 19)) 3613 0.5702 8.4870 ((18 . 27) (20 . 28) (23 . 31) (24 . 32)) 3651 0.4436 13.0106 ((20 . 2) (22 . 6) (23 . 7) (24 . 10)) 3658 0.3780 13.6925 ((18 . 12) (19 . 13) (20 . 14) (22 . 16)) 3661 0.5712 5.6266 ((18 . 18) (20 . 21) (21 . 22) (22 . 25)) 3663 0.4450 9.6701 ((20 . 3) (21 . 4) (23 . 6) (24 . 7)) 3732 0.1664 10.3297 ((18 . 4) (20 . 6) (21 . 8) (22 . 10)) 3778 0.4452 8.0975 ((19 . 17) (20 . 19) (21 . 20) (22 . 21)) 3787 0.5708 7.1916 ((19 . 5) (20 . 6) (22 . 10) (23 . 11)) 3807 0.4441 12.1166 ((19 . 48) (20 . 49) (22 . 51) (23 . 52)) 3817 0.2944 11.1010 ((18 . 3) (21 . 6) (22 . 8) (24 . 12)) 3829 0.4446 10.8458 ((18 . 3) (20 . 4) (21 . 6) (22 . 8)) 3830 0.2945 7.8385 ((18 . 2) (19 . 3) (20 . 4) (21 . 5)) 3834 0.5677 11.3223 ((18 . 4) (20 . 6) (21 . 7) (22 . 8)) 3853 0.4445 11.1644 ((19 . 2) (20 . 4) (23 . 7) (24 . 9)) 3870 0.4913 8.2131 ((19 . 6) (22 . 9) (23 . 11) (24 . 12)) 3938 0.2944 11.4115 ((19 . 1) (20 . 3) (21 . 5) (24 . 12)) 4009 0.4444 11.3998 ((21 . 14) (22 . 16) (23 . 17) (24 . 18)) 4030 0.5708 7.3192 ((20 . 7) (21 . 8) (23 . 13) (24 . 15)) 4062 0.4447 10.6712 ((18 . 47) (21 . 51) (22 . 52) (23 . 53)) 4077 0.5696 9.4648 ((18 . 4) (19 . 5) (21 . 6) (23 . 8)) 4082 0.2477 11.9945 ((18 . 1) (19 . 2) (20 . 3) (21 . 4)) 4115 0.5685 10.6135 ((19 . 14) (21 . 18) (22 . 20) (23 . 21)) 4134 0.5691 10.0188 ((18 . 25) (20 . 26) (21 . 28) (24 . 31)) 4192 0.1663 15.1481 ((18 . 14) (21 . 18) (22 . 20) (23 . 21)) 4195 0.5686 10.4942 ((18 . 2) (20 . 3) (23 . 5) (24 . 7)) 4210 0.4909 9.5062 ((18 . 1) (19 . 3) (23 . 7) (24 . 9)) 4216 0.5682 10.8599 ((19 . 9) (21 . 10) (23 . 13) (24 . 14)) 4226 0.1663 15.0885 ((18 . 5) (20 . 10) (22 . 13) (24 . 17)) 4242 0.7123 7.2429 ((18 . 3) (19 . 4) (20 . 5) (21 . 6) (22 . 8)) 4243 0.1992 10.0633 ((20 . 1) (21 . 3) (23 . 5) (24 . 6)) 4261 0.5708 7.1222 ((20 . 11) (22 . 13) (23 . 14) (24 . 15)) 4266 0.2477 9.0943 ((19 . 14) (20 . 16) (21 . 17) (22 . 18)) 4281 0.5676 11.4138 ((18 . 9) (20 . 13) (21 . 14) (23 . 16)) 4326 0.4423 14.9053 ((18 . 1) (20 . 3) (21 . 5) (22 . 6)) 4352 0.5703 8.3827 ((18 . 1) (21 . 5) (22 . 6) (23 . 7)) 4386 0.4453 7.5832 ((19 . 7) (20 . 8) (23 . 11) (24 . 13)) 4408 0.5707 7.5805 ((19 . 19) (20 . 20) (21 . 21) (24 . 24)) 4470 0.5648 13.1104 ((18 . 11) (19 . 13) (20 . 15) (23 . 17)) 4495 0.1992 12.6120 ((18 . 1) (19 . 5) (20 . 7) (23 . 11)) 4505 0.4444 11.3307 ((18 . 27) (22 . 31) (23 . 33) (24 . 35)) 4516 0.5664 12.1710 ((18 . 9) (21 . 13) (22 . 15) (24 . 19)) 4562 0.5701 8.7140 ((18 . 21) (20 . 23) (21 . 26) (24 . 30)) 4579 0.1992 11.1550 ((18 . 5) (20 . 6) (21 . 8) (24 . 13)) 4607 0.4450 9.3532 ((20 . 2) (22 . 5) (23 . 8) (24 . 9)) 4678 0.5704 8.1562 ((20 . 1) (21 . 2) (22 . 3) (23 . 5)) 4715 0.4448 10.4018 ((18 . 10) (20 . 13) (21 . 14) (22 . 16)) 4716 0.5624 14.1715 ((20 . 1) (21 . 2) (23 . 4) (24 . 5)) 4731 0.2477 10.7642 ((18 . 13) (19 . 16) (21 . 17) (23 . 20)) 4764 0.5713 4.7265 ((18 . 3) (19 . 4) (20 . 5) (21 . 6)) 4783 0.3973 8.7058 ((18 . 1) (19 . 12) (20 . 2) (21 . 3) (22 . 8) (23 . 6) (24 . 7)) 4817 0.5707 7.3914 ((18 . 5) (22 . 6) (23 . 7) (24 . 9)) 4857 0.2477 10.5493 ((18 . 12) (19 . 14) (20 . 15) (21 . 16)) 4888 0.5698 9.1558 ((18 . 2) (20 . 6) (22 . 10) (23 . 11)) 4889 0.5710 6.3862 ((19 . 18) (20 . 19) (21 . 20) (23 . 21)) 4963 0.5680 11.0263 ((18 . 5) (20 . 7) (21 . 8) (23 . 9)) 4998 0.4433 13.5472 ((18 . 17) (20 . 21) (21 . 22) (22 . 24)) 5000 0.5689 10.2724 ((20 . 32) (21 . 33) (23 . 35) (24 . 36)) 5016 0.1997 11.5069 ((18 . 2) (21 . 5) (22 . 6) (23 . 8) (24 . 9)) 5068 0.5593 15.3033 ((19 . 21) (21 . 25) (22 . 26) (23 . 28)) 5073 0.1498 8.2746 ((20 . 31) (21 . 33) (22 . 35) (24 . 38)) 5080 0.5683 10.7951 ((18 . 6) (21 . 9) (23 . 13) (24 . 14)) 5092 0.5690 10.1438 ((19 . 13) (21 . 16) (23 . 18) (24 . 19)) 5101 0.4890 12.6485 ((18 . 14) (21 . 17) (22 . 19) (24 . 22)) 5121 0.2944 11.6021 ((18 . 13) (20 . 14) (21 . 17) (24 . 22)) 5132 0.2477 12.6690 ((18 . 29) (20 . 33) (21 . 34) (22 . 35)) 5145 0.4452 8.1215 ((18 . 2) (19 . 4) (21 . 9) (23 . 11)) 5167 0.1498 11.3261 ((18 . 2) (22 . 7) (23 . 8) (24 . 10)) 5192 0.3789 8.8579 ((20 . 13) (21 . 15) (23 . 18) (24 . 19)) 5212 0.5685 10.6513 ((18 . 13) (19 . 14) (21 . 15) (22 . 16)) 5223 0.3761 17.8373 ((18 . 7) (19 . 9) (21 . 13) (23 . 14)) 5318 0.5702 8.4796 ((18 . 13) (19 . 14) (20 . 15) (21 . 16)) 5323 0.3781 13.3075 ((18 . 3) (20 . 8) (23 . 12) (24 . 13)) 5324 0.2943 13.1961 ((19 . 4) (20 . 6) (21 . 8) (24 . 13)) 5442 0.5710 6.6068 ((20 . 36) (21 . 37) (23 . 39) (24 . 40)) 5487 0.4438 12.7397 ((20 . 3) (21 . 5) (22 . 8) (24 . 12)) 5501 0.5678 11.2175 ((18 . 26) (19 . 28) (21 . 32) (23 . 34)) 5525 0.1332 10.4706 ((21 . 1) (22 . 2) (23 . 3) (24 . 5)) 5560 0.1992 9.7883 ((18 . 14) (21 . 16) (22 . 18) (24 . 21)) 5562 0.4441 12.1453 ((20 . 5) (22 . 9) (23 . 10) (24 . 13)) 5594 0.3789 8.3723 ((19 . 7) (20 . 8) (21 . 10) (23 . 13)) 5600 0.3761 17.8711 ((18 . 1) (20 . 4) (22 . 7) (24 . 10)) 5648 0.5709 7.0369 ((21 . 5) (22 . 6) (23 . 7) (24 . 8)) 5656 0.5686 10.5432 ((18 . 15) (19 . 17) (20 . 19) (24 . 25)) 5689 0.5697 9.3561 ((18 . 10) (20 . 12) (21 . 14) (22 . 16)) 5702 0.5705 7.9041 ((18 . 4) (20 . 8) (21 . 9) (22 . 10)) 5704 0.5707 7.4814 ((21 . 2) (22 . 3) (23 . 4) (24 . 5)) 5770 0.4438 12.7390 ((18 . 10) (21 . 18) (22 . 19) (23 . 21)) 5782 0.2945 9.6245 ((19 . 4) (20 . 6) (23 . 9) (24 . 11)) 5795 0.2944 10.7824 ((19 . 8) (22 . 12) (23 . 14) (24 . 15)) 5827 0.3783 12.6208 ((18 . 6) (19 . 10) (20 . 12) (24 . 18)) 5878 0.5687 10.4701 ((20 . 21) (21 . 22) (22 . 23) (23 . 24)) 5904 0.2477 10.4325 ((20 . 2) (21 . 3) (22 . 5) (23 . 6)) 5945 0.5658 12.5290 ((18 . 31) (20 . 34) (21 . 35) (22 . 36)) 5949 0.4447 10.7201 ((19 . 15) (22 . 19) (23 . 20) (24 . 21)) 5972 0.5710 6.3638 ((18 . 1) (20 . 4) (21 . 5) (22 . 8)) 6000 0.4451 8.7624 ((18 . 2) (20 . 5) (21 . 6) (24 . 8)) 6029 0.4447 10.5593 ((18 . 34) (19 . 36) (20 . 37) (21 . 38)) 6033 0.5709 6.7927 ((21 . 6) (22 . 7) (23 . 9) (24 . 10)) 6041 0.5675 11.4640 ((18 . 3) (20 . 5) (21 . 6) (23 . 9)) 6075 0.5686 10.4905 ((18 . 16) (20 . 18) (21 . 19) (22 . 22)) 6079 0.4439 12.6219 ((18 . 14) (21 . 17) (23 . 19) (24 . 22)) 6089 0.2945 7.7903 ((19 . 20) (20 . 22) (23 . 26) (24 . 30)) 6169 0.5702 8.6240 ((18 . 1) (21 . 4) (22 . 7) (24 . 8)) 6228 0.2944 12.3791 ((19 . 10) (20 . 13) (22 . 16) (23 . 17)) 6243 0.1992 11.0748 ((18 . 9) (19 . 11) (20 . 12) (21 . 13)) 6268 0.5695 9.5634 ((18 . 8) (20 . 9) (21 . 11) (23 . 13)) 6294 0.4447 10.6230 ((19 . 21) (21 . 24) (22 . 26) (23 . 28)) 6329 0.5695 9.6242 ((18 . 7) (20 . 9) (23 . 13) (24 . 15)) 6348 0.5654 12.7775 ((18 . 3) (20 . 5) (21 . 6) (22 . 8)) 6359 0.5670 11.8198 ((19 . 1) (20 . 2) (23 . 5) (24 . 6)) 6369 0.2945 8.7515 ((19 . 23) (20 . 25) (22 . 27) (23 . 28)) 6384 0.2945 10.0197 ((21 . 2) (22 . 3) (23 . 4) (24 . 5)) 6391 0.2477 8.3583 ((20 . 1) (21 . 2) (22 . 3) (23 . 4)) 6392 0.5680 11.0798 ((18 . 2) (20 . 4) (21 . 6) (24 . 10)) 6461 0.1498 11.9823 ((20 . 1) (21 . 2) (23 . 4) (24 . 5)) 6462 0.5660 12.4610 ((19 . 19) (20 . 21) (21 . 23) (22 . 25)) 6498 0.4444 11.3632 ((19 . 32) (20 . 35) (22 . 36) (24 . 41)) 6506 0.5711 6.0525 ((18 . 16) (21 . 18) (23 . 20) (24 . 21)) 6536 0.5697 9.2855 ((18 . 24) (22 . 27) (23 . 28) (24 . 29)) 6548 0.3787 10.7253 ((18 . 6) (20 . 8) (21 . 10) (23 . 14)) 6573 0.1332 9.2901 ((20 . 15) (21 . 16) (22 . 18) (24 . 20)) 6585 0.5703 8.2809 ((18 . 4) (19 . 5) (20 . 7) (22 . 9)) 6586 0.5684 10.7330 ((18 . 16) (19 . 17) (20 . 19) (22 . 23)) 6587 0.4446 10.8150 ((20 . 28) (21 . 30) (22 . 32) (24 . 35)) 6605 0.5708 7.1133 ((20 . 2) (21 . 5) (23 . 6) (24 . 7)) 6622 0.5710 6.7336 ((20 . 5) (21 . 6) (23 . 8) (24 . 10)) END