6028 25 0.3878 8.8830 ((2 . 6) (3 . 7) (4 . 9) (8 . 10)) 77 0.6656 6.7475 ((1 . 6) (2 . 7) (3 . 8) (8 . 12)) 91 0.6634 8.9981 ((1 . 42) (2 . 44) (4 . 46) (8 . 47)) 129 0.6657 6.6662 ((1 . 5) (2 . 9) (3 . 8) (9 . 12)) 136 0.6629 9.3240 ((3 . 3) (4 . 4) (8 . 6) (9 . 5)) 157 0.1996 12.6305 ((1 . 8) (4 . 10) (8 . 12) (9 . 14)) 161 0.6665 3.9454 ((1 . 2) (2 . 3) (3 . 4) (9 . 8)) 162 0.3878 8.2028 ((1 . 12) (2 . 15) (4 . 16) (9 . 18)) 177 0.2970 7.8809 ((1 . 3) (2 . 4) (3 . 5) (8 . 9)) 198 0.6660 6.0636 ((1 . 10) (2 . 12) (3 . 13) (9 . 17)) 207 0.4651 11.9167 ((1 . 13) (3 . 15) (4 . 16) (8 . 17)) 305 0.6664 4.8336 ((2 . 18) (3 . 19) (4 . 20) (9 . 22)) 315 0.6665 4.0559 ((1 . 3) (2 . 4) (3 . 5) (9 . 8)) 340 0.3880 5.5715 ((2 . 1) (3 . 2) (8 . 5) (9 . 7)) 350 0.6605 10.5735 ((1 . 4) (2 . 7) (3 . 8) (4 . 9)) 372 0.6662 5.6306 ((1 . 3) (2 . 5) (3 . 6) (9 . 11)) 417 0.6663 5.3550 ((1 . 2) (3 . 5) (4 . 6) (9 . 9)) 433 0.4662 9.2607 ((3 . 1) (4 . 2) (8 . 4) (9 . 5)) 442 0.1996 8.4444 ((1 . 4) (3 . 5) (8 . 9) (9 . 10)) 460 0.6620 9.8585 ((2 . 1) (3 . 2) (8 . 4) (9 . 6)) 472 0.6507 13.5549 ((2 . 21) (3 . 22) (4 . 23) (9 . 25)) 495 0.6650 7.6575 ((2 . 9) (3 . 11) (4 . 10) (8 . 12)) 584 0.1499 12.7715 ((1 . 4) (4 . 6) (8 . 9) (9 . 10)) 619 0.4665 7.7387 ((2 . 8) (3 . 9) (4 . 10) (9 . 12)) 624 0.2970 8.0135 ((1 . 13) (2 . 15) (3 . 16) (8 . 18)) 635 0.2970 7.6735 ((2 . 14) (3 . 15) (8 . 17) (9 . 18)) 672 0.2487 11.3321 ((2 . 18) (3 . 20) (4 . 19) (9 . 24)) 678 0.1996 8.9236 ((1 . 22) (2 . 24) (4 . 25) (8 . 28)) 719 0.6662 5.5736 ((1 . 23) (2 . 25) (3 . 27) (8 . 31)) 834 0.4655 11.0981 ((2 . 32) (3 . 33) (4 . 34) (8 . 35)) 861 0.6660 6.0633 ((1 . 12) (2 . 15) (3 . 16) (9 . 19)) 904 0.6595 11.0119 ((1 . 2) (2 . 3) (4 . 4) (8 . 5)) 943 0.2969 9.8882 ((1 . 1) (2 . 2) (4 . 3) (8 . 5)) 960 0.1665 7.3179 ((1 . 12) (4 . 16) (8 . 20) (9 . 19)) 1043 0.2488 7.2819 ((1 . 6) (4 . 9) (8 . 11) (9 . 14)) 1082 0.2969 10.3216 ((1 . 3) (3 . 6) (8 . 7) (9 . 8)) 1165 0.1499 9.2721 ((1 . 3) (2 . 4) (8 . 9) (9 . 10)) 1201 0.6051 19.9037 ((3 . 9) (4 . 10) (8 . 13) (9 . 14)) 1211 0.1996 9.7623 ((1 . 10) (2 . 11) (3 . 14) (8 . 17)) 1224 0.5251 12.5594 ((1 . 9) (3 . 10) (4 . 12) (8 . 13)) 1267 0.2966 14.5604 ((1 . 12) (4 . 16) (8 . 18) (9 . 17)) 1268 0.1665 11.5710 ((2 . 4) (3 . 3) (4 . 5) (8 . 8)) 1294 0.3874 11.6710 ((1 . 41) (2 . 42) (3 . 43) (8 . 45)) 1301 0.1996 8.8157 ((3 . 1) (4 . 3) (8 . 6) (9 . 5)) 1345 0.6645 8.0782 ((2 . 14) (3 . 16) (4 . 15) (8 . 17)) 1366 0.2968 12.0429 ((2 . 14) (3 . 15) (8 . 18) (9 . 20)) 1435 0.2487 9.7441 ((1 . 3) (2 . 5) (3 . 6) (8 . 9)) 1447 0.1996 9.6233 ((1 . 3) (3 . 5) (4 . 4) (9 . 9)) 1451 0.6597 10.9408 ((2 . 3) (3 . 4) (8 . 7) (9 . 8)) 1464 0.8333 1.8017 ((2 . 7) (3 . 8) (4 . 9) (8 . 12) (9 . 13)) 1472 0.3878 8.4321 ((2 . 7) (3 . 8) (4 . 10) (8 . 11)) 1476 0.1333 8.6813 ((1 . 14) (4 . 17) (8 . 19) (9 . 20)) 1481 0.3877 9.5262 ((1 . 1) (2 . 2) (4 . 3) (9 . 7)) 1501 0.4662 9.1521 ((1 . 6) (2 . 7) (3 . 8) (4 . 10)) 1513 0.1996 7.8652 ((1 . 2) (2 . 3) (4 . 4) (8 . 9)) 1577 0.2968 12.6456 ((1 . 6) (4 . 9) (8 . 11) (9 . 12)) 1624 0.6639 8.6407 ((1 . 2) (2 . 4) (3 . 5) (9 . 9)) 1643 0.4667 6.3848 ((1 . 25) (2 . 27) (3 . 28) (4 . 29)) 1690 0.6626 9.5224 ((1 . 20) (4 . 23) (8 . 26) (9 . 25)) 1692 0.2488 6.2311 ((1 . 5) (2 . 7) (3 . 6) (9 . 10)) 1736 0.6641 8.4449 ((1 . 1) (4 . 2) (8 . 4) (9 . 5)) 1747 0.2970 7.4741 ((1 . 24) (2 . 25) (3 . 27) (9 . 29)) 1756 0.1665 8.4316 ((1 . 25) (2 . 26) (3 . 27) (9 . 31)) 1761 0.6654 7.1518 ((2 . 4) (3 . 5) (4 . 6) (8 . 8)) 1763 0.4657 10.6371 ((3 . 3) (4 . 4) (8 . 6) (9 . 7)) 1776 0.6655 6.9312 ((1 . 15) (2 . 16) (8 . 22) (9 . 23)) 1778 0.1996 8.2176 ((1 . 8) (4 . 10) (8 . 13) (9 . 12)) 1793 0.6572 11.8310 ((2 . 13) (3 . 14) (4 . 15) (8 . 16)) 1817 0.6666 3.2606 ((1 . 16) (2 . 18) (3 . 19) (8 . 21)) 1896 0.4649 12.2193 ((2 . 24) (3 . 26) (4 . 28) (8 . 30)) 1897 0.6642 8.4288 ((2 . 39) (3 . 40) (8 . 44) (9 . 46)) 1908 0.4660 9.8446 ((3 . 7) (4 . 8) (8 . 9) (9 . 10)) 1913 0.6614 10.1781 ((1 . 9) (2 . 10) (3 . 12) (9 . 17)) 1944 0.6543 12.6747 ((2 . 23) (3 . 24) (4 . 25) (8 . 26)) 1957 0.1333 14.3728 ((1 . 9) (4 . 10) (8 . 12) (9 . 13)) 1967 0.6627 9.4550 ((1 . 7) (4 . 9) (8 . 12) (9 . 14)) 1992 0.1996 8.1925 ((1 . 1) (2 . 2) (3 . 3) (4 . 5)) 2006 0.6662 5.4861 ((2 . 21) (3 . 22) (4 . 23) (8 . 27)) 2063 0.1333 7.4333 ((1 . 44) (2 . 45) (4 . 46) (9 . 50)) 2067 0.6486 14.0011 ((2 . 44) (3 . 45) (4 . 47) (8 . 49)) 2072 0.6652 7.4049 ((1 . 4) (2 . 6) (3 . 7) (8 . 9)) 2081 0.1996 8.6193 ((2 . 5) (3 . 6) (4 . 7) (9 . 10)) 2083 0.6650 7.6328 ((2 . 1) (3 . 2) (8 . 6) (9 . 7)) 2097 0.6643 8.2962 ((1 . 5) (2 . 6) (3 . 7) (9 . 14)) 2114 0.6661 5.8848 ((2 . 34) (3 . 36) (4 . 37) (8 . 38)) 2117 0.6664 4.6135 ((1 . 4) (2 . 5) (3 . 6) (4 . 8)) 2118 0.4657 10.5901 ((1 . 5) (3 . 7) (4 . 8) (8 . 9)) 2122 0.6569 11.9125 ((1 . 14) (4 . 19) (8 . 21) (9 . 22)) 2166 0.4620 15.5491 ((1 . 16) (3 . 19) (4 . 18) (8 . 22)) 2243 0.6659 6.2483 ((2 . 44) (3 . 45) (4 . 46) (8 . 48)) 2249 0.4660 9.7453 ((1 . 7) (4 . 9) (8 . 10) (9 . 12)) 2279 0.1333 6.4716 ((1 . 11) (4 . 15) (8 . 21) (9 . 22)) 2314 0.0999 11.7705 ((1 . 4) (2 . 5) (3 . 7) (9 . 11)) 2344 0.4666 6.6953 ((1 . 7) (4 . 12) (8 . 15) (9 . 14)) 2389 0.3879 7.7558 ((1 . 4) (2 . 5) (3 . 6) (9 . 10)) 2393 0.1250 9.8387 ((1 . 15) (4 . 17) (8 . 19) (9 . 18)) 2408 0.6626 9.5113 ((1 . 34) (2 . 37) (3 . 38) (9 . 42)) 2422 0.6664 4.8966 ((1 . 4) (2 . 6) (3 . 7) (8 . 10)) 2423 0.6663 5.0700 ((2 . 21) (3 . 22) (4 . 23) (9 . 26)) 2447 0.1333 9.9737 ((2 . 5) (3 . 6) (4 . 7) (8 . 8)) 2525 0.1996 8.9723 ((3 . 43) (4 . 44) (8 . 46) (9 . 47)) 2551 0.1333 8.6901 ((2 . 1) (3 . 3) (4 . 2) (8 . 4)) 2557 0.3877 9.6716 ((3 . 3) (4 . 4) (8 . 5) (9 . 6)) 2561 0.1665 8.7199 ((2 . 1) (4 . 2) (8 . 5) (9 . 6)) 2595 0.0999 8.1774 ((1 . 4) (4 . 5) (8 . 7) (9 . 9)) 2650 0.6611 10.3244 ((2 . 2) (3 . 1) (4 . 4) (9 . 6)) 2675 0.3880 4.7303 ((1 . 1) (2 . 8) (8 . 9) (9 . 10)) 2682 0.1665 10.2166 ((3 . 7) (4 . 6) (8 . 10) (9 . 11)) 2696 0.1499 12.6542 ((1 . 31) (2 . 32) (3 . 34) (4 . 33)) 2783 0.1499 5.7734 ((2 . 6) (3 . 7) (8 . 9) (9 . 12)) 2821 0.6654 7.0557 ((2 . 2) (3 . 3) (8 . 6) (9 . 7)) 2830 0.4636 13.9717 ((1 . 19) (4 . 21) (8 . 22) (9 . 24)) 2834 0.6597 10.9083 ((2 . 3) (3 . 5) (4 . 7) (9 . 9)) 2886 0.6640 8.5801 ((1 . 30) (2 . 33) (3 . 34) (9 . 39)) 2966 0.2488 4.9452 ((2 . 3) (3 . 4) (4 . 5) (9 . 10)) 2990 0.6621 9.7832 ((2 . 14) (3 . 15) (4 . 17) (9 . 19)) 2999 0.6654 7.1319 ((3 . 2) (4 . 1) (8 . 3) (9 . 4)) 3014 0.2484 18.1264 ((1 . 5) (2 . 7) (4 . 9) (8 . 10)) 3019 0.3879 6.9884 ((2 . 19) (3 . 20) (4 . 21) (8 . 24)) 3041 0.1499 7.8387 ((1 . 14) (4 . 15) (8 . 17) (9 . 18)) 3063 0.4661 9.5282 ((2 . 31) (3 . 32) (8 . 34) (9 . 35)) 3070 0.3879 7.9247 ((1 . 33) (2 . 35) (3 . 36) (4 . 37)) 3120 0.1333 7.8652 ((2 . 21) (3 . 22) (4 . 23) (8 . 24)) 3127 0.0999 7.4622 ((1 . 6) (4 . 9) (8 . 12) (9 . 13)) 3176 0.3878 8.6395 ((2 . 27) (3 . 29) (4 . 30) (8 . 31)) 3187 0.3879 7.3688 ((1 . 5) (3 . 6) (8 . 8) (9 . 9)) 3197 0.6543 12.6875 ((1 . 24) (2 . 26) (4 . 29) (8 . 30)) 3200 0.3879 7.0967 ((1 . 6) (3 . 9) (8 . 12) (9 . 13)) 3222 0.6568 11.9565 ((1 . 4) (2 . 6) (3 . 7) (9 . 10)) 3256 0.2970 7.7682 ((1 . 18) (2 . 19) (3 . 20) (8 . 27)) 3261 0.2970 6.9895 ((1 . 6) (2 . 7) (3 . 8) (8 . 11)) 3286 0.6651 7.4459 ((2 . 4) (3 . 5) (8 . 6) (9 . 7)) 3334 0.2970 6.9542 ((1 . 4) (2 . 5) (3 . 6) (8 . 9)) 3339 0.4662 9.1352 ((1 . 17) (3 . 19) (4 . 20) (8 . 23)) 3358 0.2969 10.6056 ((1 . 7) (2 . 8) (3 . 10) (4 . 11)) 3391 0.2487 11.3654 ((1 . 13) (4 . 15) (8 . 18) (9 . 17)) 3446 0.3878 8.3248 ((2 . 5) (3 . 6) (4 . 8) (8 . 9)) 3533 0.3878 8.7424 ((1 . 3) (2 . 5) (4 . 6) (9 . 11)) 3538 0.6607 10.5008 ((1 . 23) (2 . 24) (3 . 25) (8 . 27)) 3548 0.2970 8.6128 ((1 . 6) (2 . 8) (3 . 9) (8 . 11)) 3549 0.9999 2.2660 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 7) (9 . 8)) 3561 0.3877 9.9720 ((1 . 28) (2 . 31) (3 . 30) (4 . 32)) 3570 0.1499 5.9857 ((2 . 4) (3 . 7) (8 . 9) (9 . 10)) 3628 0.1499 8.5352 ((1 . 8) (4 . 11) (8 . 13) (9 . 14)) 3651 0.4645 12.8029 ((1 . 8) (2 . 9) (4 . 10) (8 . 14)) 3658 0.2970 7.2920 ((1 . 5) (2 . 6) (3 . 7) (8 . 9)) 3663 0.2970 6.3315 ((2 . 1) (3 . 2) (4 . 4) (8 . 6)) 3688 0.6424 15.1677 ((2 . 21) (3 . 23) (4 . 24) (9 . 27)) 3697 0.6640 8.5585 ((2 . 6) (3 . 7) (8 . 9) (9 . 10)) 3703 0.6626 9.5355 ((1 . 1) (2 . 2) (3 . 3) (8 . 5)) 3732 0.4667 6.2575 ((1 . 5) (4 . 8) (8 . 10) (9 . 11)) 3741 0.6570 11.8874 ((2 . 1) (3 . 2) (8 . 5) (9 . 9)) 3776 0.3473 5.5386 ((1 . 15) (2 . 19) (3 . 20) (8 . 23) (9 . 24)) 3778 0.3878 8.9304 ((2 . 3) (3 . 4) (8 . 5) (9 . 6)) 3787 0.6640 8.5467 ((3 . 12) (4 . 13) (8 . 14) (9 . 15)) 3790 0.1996 8.9598 ((1 . 14) (2 . 15) (3 . 16) (4 . 17)) 3810 0.6660 6.0077 ((1 . 6) (2 . 8) (3 . 9) (9 . 14)) 3817 0.4636 14.0472 ((2 . 10) (3 . 11) (4 . 12) (8 . 14)) 3849 0.9999 1.8782 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 7) (9 . 8)) 3870 0.2969 10.7661 ((2 . 5) (4 . 6) (8 . 7) (9 . 8)) 3933 0.6665 4.3465 ((1 . 7) (2 . 8) (3 . 9) (9 . 16)) 3942 0.1996 5.6252 ((2 . 2) (3 . 3) (4 . 5) (8 . 8)) 3986 0.6650 7.6235 ((1 . 6) (2 . 7) (3 . 8) (9 . 13)) 3990 0.3878 8.4343 ((1 . 16) (4 . 19) (8 . 21) (9 . 22)) 4005 0.5287 5.8797 ((1 . 35) (2 . 37) (3 . 38) (4 . 39)) 4009 0.2970 8.5364 ((2 . 1) (4 . 3) (8 . 6) (9 . 7)) 4034 0.6647 7.9390 ((2 . 5) (3 . 6) (8 . 8) (9 . 9)) 4037 0.2969 8.8480 ((1 . 1) (2 . 2) (3 . 3) (8 . 6)) 4062 0.3877 9.7506 ((2 . 49) (3 . 50) (4 . 51) (8 . 53)) 4087 0.2488 7.7685 ((1 . 5) (2 . 6) (3 . 7) (8 . 9)) 4115 0.1499 6.8438 ((1 . 1) (4 . 7) (8 . 9) (9 . 10)) 4177 0.4663 8.6227 ((3 . 1) (4 . 3) (8 . 6) (9 . 7)) 4192 0.6665 4.3677 ((1 . 10) (4 . 11) (8 . 18) (9 . 19)) 4209 0.5282 8.0857 ((2 . 1) (3 . 2) (4 . 3) (9 . 7)) 4226 0.4662 9.1760 ((3 . 1) (4 . 2) (8 . 3) (9 . 4)) 4254 0.6642 8.3816 ((2 . 9) (4 . 10) (8 . 14) (9 . 15)) 4266 0.6643 8.3322 ((1 . 6) (4 . 7) (8 . 10) (9 . 11)) 4275 0.2969 9.4931 ((3 . 25) (4 . 26) (8 . 29) (9 . 28)) 4281 0.6659 6.2508 ((2 . 4) (3 . 5) (4 . 7) (9 . 10)) 4284 0.3877 9.9612 ((2 . 3) (3 . 4) (8 . 7) (9 . 8)) 4326 0.3874 11.6896 ((2 . 11) (3 . 12) (8 . 16) (9 . 17)) 4338 0.2970 5.3860 ((2 . 6) (3 . 7) (8 . 9) (9 . 11)) 4352 0.4663 8.5976 ((2 . 9) (3 . 10) (4 . 12) (8 . 13)) 4380 0.4662 9.2363 ((2 . 10) (3 . 11) (8 . 16) (9 . 17)) 4386 0.1333 8.6528 ((2 . 9) (3 . 10) (4 . 11) (8 . 13)) 4398 0.1996 8.2207 ((1 . 6) (4 . 9) (8 . 11) (9 . 12)) 4405 0.1499 7.5510 ((1 . 19) (3 . 21) (4 . 20) (9 . 25)) 4415 0.6656 6.8102 ((1 . 1) (2 . 3) (3 . 4) (9 . 9)) 4470 0.2968 12.7277 ((2 . 9) (3 . 10) (8 . 13) (9 . 14)) 4491 0.6652 7.3378 ((1 . 1) (2 . 5) (3 . 6) (9 . 8)) 4492 0.6661 5.7276 ((1 . 2) (2 . 4) (3 . 5) (4 . 6)) 4504 0.6652 7.3131 ((1 . 19) (2 . 20) (3 . 21) (4 . 23)) 4516 0.6624 9.6625 ((2 . 10) (4 . 11) (8 . 13) (9 . 14)) 4527 0.2487 10.3041 ((3 . 1) (4 . 2) (8 . 4) (9 . 6)) 4560 0.1996 11.9928 ((1 . 8) (4 . 10) (8 . 12) (9 . 14)) 4561 0.0999 8.8795 ((1 . 5) (4 . 8) (8 . 11) (9 . 12)) 4563 0.1996 9.6928 ((1 . 28) (4 . 30) (8 . 33) (9 . 34)) 4577 0.2487 11.4315 ((1 . 31) (2 . 33) (3 . 34) (4 . 36)) 4579 0.2486 13.8513 ((2 . 17) (3 . 18) (4 . 21) (8 . 23)) 4589 0.2488 8.5536 ((1 . 18) (4 . 20) (8 . 21) (9 . 23)) 4621 0.6625 9.5763 ((1 . 9) (2 . 11) (3 . 3) (9 . 7)) 4630 0.6576 11.6906 ((1 . 4) (2 . 6) (3 . 7) (9 . 12)) 4653 0.4665 7.7702 ((2 . 1) (3 . 3) (4 . 2) (9 . 6)) 4671 0.1996 8.9205 ((2 . 14) (3 . 15) (4 . 16) (9 . 20)) 4674 0.1996 8.8598 ((1 . 1) (4 . 4) (8 . 5) (9 . 8)) 4713 0.6636 8.8811 ((1 . 5) (2 . 6) (3 . 7) (8 . 11)) 4886 0.1996 10.2990 ((2 . 4) (4 . 7) (8 . 8) (9 . 9)) 4888 0.3877 9.9317 ((1 . 13) (2 . 14) (3 . 15) (8 . 18)) 4907 0.3880 4.3044 ((1 . 5) (2 . 7) (3 . 8) (8 . 10)) 4932 0.1499 9.1784 ((1 . 4) (2 . 5) (3 . 6) (4 . 7)) 4961 0.6653 7.2655 ((1 . 6) (2 . 7) (4 . 8) (8 . 11)) 4978 0.6639 8.6491 ((1 . 22) (3 . 25) (4 . 26) (8 . 27)) 5036 0.6632 9.1654 ((1 . 5) (2 . 7) (3 . 8) (9 . 10)) 5038 0.1996 9.8324 ((1 . 9) (2 . 10) (3 . 12) (9 . 18)) 5039 0.6613 10.2014 ((1 . 39) (2 . 41) (4 . 43) (9 . 45)) 5044 0.2969 9.8007 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 5065 0.2488 9.3392 ((3 . 2) (4 . 5) (8 . 6) (9 . 8)) 5069 0.1996 8.6561 ((1 . 4) (2 . 5) (3 . 7) (4 . 6)) 5073 0.6647 7.9273 ((1 . 32) (4 . 35) (8 . 38) (9 . 39)) 5083 0.4656 10.9783 ((3 . 1) (4 . 3) (8 . 4) (9 . 6)) 5101 0.2969 10.0108 ((1 . 15) (3 . 18) (4 . 19) (8 . 20)) 5103 0.6629 9.3508 ((3 . 6) (4 . 7) (8 . 8) (9 . 9)) 5132 0.6601 10.7729 ((2 . 22) (4 . 23) (8 . 24) (9 . 26)) 5134 0.6605 10.6090 ((2 . 10) (4 . 11) (8 . 12) (9 . 14)) 5183 0.6661 5.8685 ((2 . 34) (3 . 35) (8 . 39) (9 . 38)) 5231 0.1996 10.0302 ((1 . 13) (2 . 14) (3 . 16) (4 . 15)) 5278 0.6657 6.5704 ((1 . 6) (2 . 8) (3 . 9) (9 . 12)) 5307 0.6656 6.8179 ((1 . 51) (4 . 54) (8 . 56) (9 . 57)) 5312 0.6659 6.1653 ((2 . 3) (3 . 4) (8 . 6) (9 . 7)) 5323 0.4640 13.5589 ((2 . 11) (3 . 10) (4 . 12) (8 . 14)) 5324 0.3877 9.8968 ((1 . 12) (3 . 14) (8 . 17) (9 . 16)) 5378 0.6646 7.9880 ((2 . 15) (3 . 16) (8 . 20) (9 . 21)) 5414 0.6653 7.2615 ((2 . 14) (3 . 15) (4 . 17) (9 . 20)) 5418 0.6666 3.5082 ((1 . 5) (2 . 7) (3 . 8) (8 . 10)) 5433 0.6653 7.2966 ((1 . 10) (2 . 12) (3 . 13) (9 . 20)) 5479 0.6636 8.8977 ((1 . 60) (2 . 61) (3 . 62) (8 . 65)) 5487 0.1665 12.6394 ((3 . 2) (4 . 1) (8 . 5) (9 . 7)) 5525 0.4663 8.8573 ((2 . 7) (3 . 8) (4 . 10) (8 . 11)) 5535 0.1665 7.1811 ((1 . 2) (2 . 4) (3 . 6) (9 . 10)) 5540 0.4650 12.1052 ((1 . 4) (2 . 6) (3 . 7) (9 . 10)) 5557 0.6649 7.7619 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 5560 0.2487 10.4116 ((1 . 9) (3 . 11) (4 . 10) (8 . 14)) 5562 0.6611 10.3163 ((1 . 11) (3 . 14) (4 . 15) (8 . 16)) 5600 0.6646 8.0126 ((1 . 3) (2 . 5) (3 . 6) (9 . 9)) 5601 0.1333 8.8651 ((1 . 5) (4 . 9) (8 . 11) (9 . 12)) 5644 0.2488 4.3297 ((2 . 3) (3 . 4) (4 . 5) (9 . 10)) 5656 0.4668 3.7646 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 5701 0.2487 9.7313 ((1 . 5) (2 . 6) (4 . 7) (8 . 10)) 5711 0.2970 4.0989 ((1 . 38) (2 . 39) (3 . 42) (9 . 46)) 5718 0.3880 5.0736 ((1 . 14) (2 . 21) (8 . 22) (9 . 23)) 5731 0.4666 6.6861 ((2 . 4) (3 . 5) (4 . 6) (8 . 8)) 5761 0.2970 8.0144 ((1 . 30) (2 . 31) (3 . 32) (4 . 33)) 5770 0.4666 7.2383 ((1 . 8) (2 . 9) (3 . 12) (8 . 18)) 5782 0.6628 9.4124 ((1 . 32) (4 . 36) (8 . 38) (9 . 39)) 5789 0.1996 8.1469 ((1 . 2) (4 . 3) (8 . 4) (9 . 5)) 5794 0.2969 9.7445 ((1 . 16) (3 . 18) (4 . 17) (8 . 22)) 5822 0.2488 7.4917 ((1 . 1) (2 . 2) (4 . 5) (9 . 8)) 5827 0.6656 6.7903 ((2 . 4) (3 . 5) (8 . 10) (9 . 11)) 5847 0.4667 6.0902 ((1 . 1) (2 . 2) (3 . 3) (9 . 9)) 5865 0.6653 7.2101 ((2 . 4) (3 . 5) (4 . 6) (8 . 8)) 5896 0.2970 7.6645 ((1 . 26) (4 . 30) (8 . 32) (9 . 31)) 5913 0.2968 11.6114 ((2 . 13) (4 . 14) (8 . 16) (9 . 17)) 5922 0.2968 11.8009 ((1 . 3) (2 . 4) (3 . 5) (9 . 9)) 5945 0.0999 10.0116 ((1 . 33) (4 . 35) (8 . 36) (9 . 38)) 5949 0.2969 8.8707 ((1 . 10) (2 . 12) (4 . 13) (8 . 15)) 5955 0.6650 7.6087 ((1 . 1) (4 . 6) (8 . 8) (9 . 9)) 5977 0.1499 9.4757 ((1 . 1) (3 . 3) (4 . 4) (9 . 6)) 6011 0.6637 8.7875 ((2 . 14) (3 . 15) (4 . 17) (9 . 19)) 6028 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 8) (9 . 9)) 6029 0.3876 10.4691 ((2 . 18) (3 . 19) (8 . 22) (9 . 23)) 6041 0.6642 8.4027 ((1 . 8) (2 . 10) (3 . 11) (8 . 14)) 6046 0.3879 7.3356 ((1 . 2) (2 . 3) (3 . 5) (8 . 7)) 6074 0.6650 7.6404 ((2 . 8) (4 . 10) (8 . 12) (9 . 13)) 6079 0.3871 12.8843 ((1 . 8) (2 . 9) (4 . 12) (8 . 14)) 6089 0.4639 13.6742 ((2 . 16) (3 . 17) (8 . 20) (9 . 21)) 6094 0.6658 6.3815 ((2 . 2) (3 . 3) (8 . 6) (9 . 7)) 6099 0.3879 6.3507 ((2 . 13) (3 . 14) (4 . 15) (9 . 18)) 6142 0.1996 8.9677 ((1 . 18) (2 . 19) (3 . 20) (4 . 21)) 6148 0.2488 7.5479 ((1 . 32) (2 . 33) (4 . 35) (9 . 37)) 6173 0.2970 7.9204 ((1 . 3) (2 . 4) (3 . 5) (9 . 11)) 6191 0.6632 9.1120 ((2 . 3) (3 . 4) (8 . 7) (9 . 9)) 6192 0.6575 11.7305 ((1 . 1) (2 . 3) (4 . 4) (8 . 7)) 6215 0.1250 8.7959 ((1 . 17) (3 . 19) (4 . 22) (9 . 24)) 6225 0.6604 10.6521 ((2 . 4) (3 . 5) (8 . 9) (9 . 10)) 6228 0.6657 6.5665 ((1 . 9) (2 . 11) (3 . 12) (9 . 15)) 6234 0.2488 7.1827 ((1 . 7) (2 . 9) (3 . 10) (8 . 14)) 6251 0.1996 10.2474 ((1 . 10) (4 . 11) (8 . 14) (9 . 15)) 6261 0.6638 8.6985 ((1 . 19) (2 . 21) (3 . 22) (8 . 24)) 6271 0.6633 9.0833 ((1 . 5) (3 . 7) (4 . 9) (9 . 12)) 6273 0.2970 8.6852 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 6306 0.2488 9.0513 ((1 . 16) (3 . 17) (4 . 18) (9 . 21)) 6326 0.2488 8.9329 ((1 . 1) (2 . 2) (3 . 3) (9 . 6)) 6344 0.1996 7.4373 ((1 . 13) (2 . 14) (3 . 15) (4 . 16)) 6355 0.4665 7.6445 ((1 . 8) (2 . 9) (3 . 10) (8 . 13)) 6369 0.1665 14.4637 ((2 . 33) (3 . 35) (4 . 36) (8 . 37)) 6391 0.6657 6.5842 ((1 . 6) (2 . 10) (3 . 12) (9 . 14)) 6399 0.3873 11.8947 ((1 . 20) (3 . 24) (4 . 23) (9 . 28)) 6403 0.2970 6.7773 ((1 . 2) (2 . 3) (3 . 4) (8 . 6)) 6434 0.1996 7.5985 ((1 . 2) (2 . 3) (3 . 4) (8 . 6)) 6462 0.2488 9.1624 ((1 . 20) (3 . 22) (4 . 23) (8 . 25)) 6498 0.3867 14.0160 ((1 . 3) (4 . 5) (8 . 8) (9 . 10)) 6520 0.6654 7.0861 ((1 . 6) (2 . 8) (3 . 9) (8 . 12)) 6539 0.6655 6.9503 ((2 . 4) (3 . 5) (8 . 9) (9 . 10)) 6548 0.2487 9.8336 ((2 . 9) (3 . 12) (4 . 10) (8 . 15)) 6553 0.3879 6.2170 ((1 . 22) (2 . 24) (3 . 25) (8 . 28)) 6575 0.6604 10.6273 ((1 . 1) (2 . 2) (4 . 3) (8 . 6)) 6578 0.6659 6.1843 ((2 . 37) (3 . 38) (4 . 39) (8 . 40)) 6584 0.2970 8.0652 ((3 . 2) (4 . 1) (8 . 4) (9 . 5)) 6586 0.2969 10.7237 ((2 . 18) (4 . 22) (8 . 23) (9 . 24)) 6587 0.2967 13.4779 ((1 . 31) (3 . 33) (4 . 35) (8 . 36)) 6635 0.6636 8.8323 ((2 . 1) (4 . 3) (8 . 6) (9 . 7)) END