351 25 0.1979 14.9546 ((1 . 2) (7 . 10) (8 . 12) (10 . 13)) 41 0.4441 8.7731 ((2 . 2) (4 . 4) (6 . 6) (8 . 8)) 91 0.4436 10.7686 ((2 . 11) (5 . 15) (7 . 18) (10 . 23)) 150 0.1495 8.8249 ((4 . 17) (5 . 18) (8 . 21) (10 . 24)) 155 0.4416 14.4448 ((4 . 1) (7 . 4) (9 . 6) (10 . 7)) 157 0.4440 9.2826 ((2 . 2) (8 . 10) (9 . 12) (10 . 13)) 207 0.4430 12.2046 ((2 . 11) (6 . 16) (7 . 17) (8 . 19)) 259 0.1495 12.4546 ((1 . 1) (4 . 5) (5 . 6) (8 . 8)) 293 0.4436 10.4855 ((4 . 1) (7 . 3) (8 . 4) (9 . 5)) 305 0.4357 19.2983 ((2 . 8) (4 . 10) (5 . 13) (9 . 20)) 317 0.4443 6.2551 ((7 . 6) (8 . 7) (9 . 9) (10 . 10)) 351 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10)) 442 0.4435 10.9515 ((1 . 9) (8 . 15) (9 . 17) (10 . 18)) 472 0.4440 9.2287 ((1 . 23) (5 . 28) (6 . 29) (8 . 33)) 495 0.4427 12.7074 ((4 . 2) (6 . 4) (8 . 6) (10 . 10)) 541 0.1980 14.0123 ((1 . 6) (2 . 9) (6 . 13) (10 . 19)) 543 0.4431 11.9153 ((6 . 7) (7 . 9) (9 . 13) (10 . 14)) 553 0.4444 5.7472 ((5 . 14) (6 . 15) (7 . 21) (8 . 22)) 609 0.4436 10.7305 ((4 . 2) (5 . 4) (6 . 5) (7 . 7)) 624 0.4443 7.2106 ((1 . 6) (2 . 8) (4 . 10) (6 . 12)) 635 0.4434 11.2504 ((1 . 2) (2 . 4) (6 . 11) (7 . 12)) 678 0.4443 7.2255 ((4 . 21) (6 . 23) (9 . 27) (10 . 28)) 729 0.4442 7.4158 ((4 . 6) (6 . 8) (8 . 12) (10 . 14)) 782 0.4437 10.2392 ((5 . 6) (6 . 7) (7 . 9) (8 . 10)) 792 0.5554 5.5830 ((4 . 10) (6 . 11) (7 . 14) (9 . 16) (10 . 17)) 901 0.4438 9.9235 ((1 . 4) (2 . 6) (6 . 10) (10 . 16)) 928 0.4442 7.7425 ((4 . 9) (6 . 11) (8 . 13) (10 . 15)) 943 0.4438 10.1011 ((2 . 3) (4 . 5) (8 . 10) (9 . 13)) 945 0.4439 9.6313 ((2 . 13) (4 . 16) (6 . 18) (10 . 23)) 960 0.4441 8.4199 ((1 . 24) (2 . 25) (7 . 31) (9 . 33)) 978 0.5552 6.5191 ((1 . 2) (2 . 3) (8 . 11) (9 . 12) (10 . 15)) 980 0.4442 7.4584 ((4 . 2) (6 . 4) (8 . 6) (9 . 8)) 1005 0.1980 13.6947 ((2 . 3) (5 . 5) (6 . 6) (8 . 8)) 1043 0.1980 8.6765 ((4 . 7) (5 . 9) (9 . 15) (10 . 16)) 1082 0.4439 9.6808 ((2 . 7) (6 . 13) (7 . 14) (8 . 17)) 1124 0.4444 5.9269 ((5 . 9) (6 . 10) (7 . 11) (9 . 14)) 1165 0.4433 11.5420 ((1 . 6) (5 . 11) (7 . 14) (10 . 17)) 1204 0.4437 10.2728 ((4 . 15) (6 . 19) (8 . 21) (10 . 26)) 1210 0.5554 5.0156 ((5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7)) 1224 0.2862 7.7123 ((1 . 1) (2 . 2) (9 . 11) (10 . 12)) 1233 0.4442 7.8700 ((5 . 13) (6 . 16) (8 . 19) (10 . 21)) 1267 0.4437 10.3135 ((4 . 5) (5 . 6) (8 . 8) (10 . 14)) 1268 0.4439 9.5510 ((1 . 16) (2 . 17) (4 . 19) (5 . 28)) 1345 0.4442 7.6980 ((2 . 1) (5 . 6) (7 . 8) (10 . 11)) 1388 0.4440 8.9548 ((1 . 2) (2 . 3) (6 . 10) (7 . 11)) 1415 0.4439 9.6134 ((5 . 1) (8 . 4) (9 . 5) (10 . 6)) 1447 0.4441 8.7410 ((1 . 4) (2 . 6) (6 . 10) (7 . 13)) 1470 0.5554 4.9615 ((5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 10)) 1472 0.1979 15.5269 ((1 . 3) (2 . 5) (5 . 9) (8 . 12)) 1476 0.4439 9.5926 ((4 . 10) (7 . 16) (8 . 17) (9 . 19)) 1497 0.6656 6.8018 ((2 . 1) (4 . 16) (6 . 17) (7 . 20) (8 . 21) (9 . 23)) 1591 0.4441 8.2931 ((4 . 7) (6 . 10) (8 . 12) (10 . 15)) 1604 0.4444 5.2939 ((1 . 6) (7 . 13) (8 . 14) (9 . 15)) 1690 0.4444 3.6437 ((4 . 7) (6 . 27) (7 . 28) (8 . 29)) 1724 0.4437 10.2808 ((6 . 1) (7 . 3) (8 . 4) (9 . 5)) 1736 0.5537 9.8592 ((1 . 2) (2 . 4) (4 . 6) (6 . 9) (8 . 11)) 1761 0.4441 8.4905 ((4 . 10) (5 . 12) (7 . 14) (9 . 18)) 1763 0.2861 8.5892 ((1 . 1) (4 . 6) (8 . 11) (9 . 12)) 1793 0.4438 10.1281 ((2 . 2) (5 . 5) (8 . 7) (9 . 9)) 1796 0.4442 7.6490 ((5 . 1) (6 . 2) (8 . 4) (10 . 5)) 1908 0.4443 7.2270 ((2 . 4) (6 . 6) (8 . 9) (10 . 14)) 1909 0.4442 7.8865 ((4 . 30) (6 . 33) (8 . 36) (9 . 38)) 1944 0.4444 5.2798 ((4 . 4) (6 . 6) (8 . 8) (10 . 12)) 1957 0.4442 7.3741 ((4 . 2) (6 . 4) (8 . 6) (9 . 8)) 1972 0.1980 11.8777 ((2 . 17) (4 . 19) (6 . 21) (8 . 25)) 1987 0.4442 7.6344 ((1 . 10) (4 . 12) (5 . 13) (6 . 14)) 1992 0.4436 10.5249 ((4 . 5) (6 . 8) (8 . 10) (9 . 13)) 2048 0.3525 8.2911 ((1 . 3) (2 . 5) (6 . 12) (8 . 15)) 2054 0.4440 9.2056 ((2 . 4) (5 . 10) (6 . 12) (7 . 15)) 2067 0.1980 11.7997 ((2 . 5) (4 . 8) (9 . 17) (10 . 18)) 2081 0.4441 8.2366 ((1 . 1) (8 . 13) (9 . 14) (10 . 15)) 2083 0.4439 9.4987 ((4 . 3) (6 . 6) (8 . 8) (9 . 11)) 2114 0.4439 9.3520 ((2 . 30) (4 . 35) (5 . 37) (7 . 39)) 2117 0.4441 8.6198 ((2 . 8) (6 . 13) (8 . 19) (9 . 21)) 2122 0.4442 7.7939 ((4 . 2) (5 . 5) (6 . 7) (9 . 11)) 2233 0.4441 8.4376 ((5 . 1) (6 . 2) (8 . 6) (10 . 7)) 2248 0.4442 7.8585 ((4 . 17) (5 . 20) (7 . 23) (9 . 26)) 2249 0.4443 7.2655 ((1 . 8) (4 . 10) (7 . 14) (9 . 19)) 2269 0.4418 14.2219 ((4 . 2) (6 . 4) (9 . 9) (10 . 11)) 2279 0.3526 6.7267 ((1 . 1) (4 . 6) (7 . 14) (8 . 15)) 2295 0.4409 15.2617 ((2 . 1) (5 . 3) (6 . 4) (9 . 6)) 2298 0.2862 7.6612 ((1 . 9) (2 . 11) (4 . 14) (6 . 16)) 2308 0.2861 9.3327 ((1 . 1) (2 . 2) (6 . 7) (9 . 10)) 2342 0.6650 7.6069 ((1 . 1) (4 . 2) (6 . 3) (8 . 5) (9 . 6) (10 . 7)) 2344 0.4444 5.4104 ((1 . 9) (4 . 15) (5 . 16) (6 . 17)) 2364 0.0999 10.8292 ((2 . 6) (4 . 8) (6 . 11) (8 . 16)) 2443 0.4443 6.5111 ((7 . 1) (8 . 2) (9 . 3) (10 . 4)) 2447 0.4440 8.9162 ((4 . 14) (5 . 16) (7 . 19) (9 . 22)) 2465 0.2861 8.8431 ((1 . 1) (5 . 5) (7 . 7) (8 . 8)) 2510 0.4442 7.4145 ((4 . 16) (5 . 18) (8 . 24) (10 . 26)) 2533 0.4436 10.7745 ((4 . 2) (6 . 5) (8 . 7) (10 . 11)) 2552 0.4443 7.2714 ((2 . 2) (4 . 4) (6 . 6) (7 . 7)) 2556 0.4421 13.7103 ((4 . 14) (6 . 17) (8 . 21) (10 . 23)) 2591 0.4437 10.2634 ((2 . 34) (4 . 36) (6 . 37) (9 . 41)) 2627 0.4442 7.8024 ((5 . 53) (6 . 54) (7 . 56) (8 . 57)) 2733 0.4437 10.3199 ((5 . 7) (6 . 9) (7 . 12) (10 . 14)) 2804 0.4435 10.9495 ((4 . 26) (5 . 28) (9 . 35) (10 . 37)) 2821 0.4443 7.3287 ((1 . 6) (4 . 10) (6 . 12) (7 . 14)) 2830 0.3523 11.0614 ((1 . 2) (5 . 6) (8 . 10) (10 . 12)) 2842 0.4441 8.3170 ((2 . 7) (4 . 8) (6 . 10) (8 . 12)) 2947 0.4443 6.5403 ((1 . 5) (4 . 16) (5 . 17) (9 . 19)) 2990 0.2862 7.7514 ((1 . 8) (4 . 13) (8 . 17) (9 . 18)) 3014 0.4433 11.4187 ((5 . 12) (7 . 14) (8 . 15) (9 . 16)) 3034 0.5540 9.3559 ((4 . 6) (6 . 8) (8 . 11) (9 . 13) (10 . 15)) 3041 0.4444 6.0062 ((4 . 15) (6 . 17) (7 . 19) (8 . 20)) 3070 0.1980 7.0738 ((4 . 30) (5 . 31) (6 . 34) (8 . 37)) 3084 0.4443 6.7652 ((2 . 6) (4 . 8) (6 . 10) (7 . 12)) 3127 0.4440 8.8403 ((4 . 9) (5 . 12) (7 . 14) (8 . 16)) 3190 0.4442 7.6238 ((4 . 2) (6 . 4) (8 . 7) (10 . 10)) 3197 0.4444 5.6879 ((4 . 7) (6 . 11) (8 . 15) (10 . 17)) 3200 0.4442 8.1630 ((4 . 2) (6 . 5) (8 . 7) (9 . 8)) 3202 0.4428 12.6623 ((1 . 3) (2 . 4) (6 . 7) (9 . 10)) 3212 0.4430 12.2456 ((1 . 1) (4 . 6) (5 . 7) (6 . 10)) 3286 0.4434 11.1637 ((4 . 6) (5 . 8) (6 . 10) (9 . 12)) 3310 0.4432 11.7310 ((2 . 1) (5 . 3) (8 . 6) (9 . 7)) 3322 0.4444 5.6414 ((6 . 4) (7 . 6) (9 . 8) (10 . 10)) 3339 0.4443 7.2798 ((4 . 8) (5 . 10) (9 . 16) (10 . 18)) 3362 0.1980 13.2388 ((4 . 3) (5 . 5) (8 . 9) (9 . 13)) 3391 0.4433 11.5258 ((2 . 1) (5 . 3) (6 . 5) (8 . 7)) 3415 0.4442 7.9830 ((4 . 19) (6 . 21) (8 . 23) (9 . 24)) 3446 0.0999 11.7676 ((2 . 2) (6 . 8) (8 . 9) (9 . 10)) 3470 0.4439 9.5218 ((1 . 11) (2 . 12) (7 . 17) (10 . 18)) 3495 0.1980 11.0359 ((1 . 5) (5 . 10) (6 . 11) (8 . 13)) 3538 0.4441 8.4727 ((2 . 16) (4 . 17) (6 . 21) (8 . 22)) 3561 0.4443 7.1477 ((4 . 17) (6 . 21) (8 . 25) (10 . 27)) 3585 0.2860 12.9300 ((1 . 15) (4 . 19) (6 . 21) (7 . 22)) 3613 0.4441 8.4157 ((6 . 26) (7 . 27) (9 . 28) (10 . 30)) 3628 0.4442 8.0289 ((4 . 11) (8 . 13) (9 . 15) (10 . 16)) 3651 0.4443 7.1892 ((1 . 6) (6 . 15) (8 . 19) (9 . 20)) 3658 0.1980 8.6494 ((2 . 10) (4 . 12) (6 . 14) (10 . 19)) 3661 0.4444 3.7413 ((5 . 14) (6 . 17) (7 . 18) (9 . 25)) 3733 0.1980 12.5964 ((4 . 2) (6 . 4) (8 . 7) (10 . 9)) 3776 0.4442 7.6706 ((2 . 16) (4 . 18) (6 . 23) (7 . 25)) 3787 0.4444 5.5511 ((6 . 10) (7 . 11) (8 . 13) (9 . 14)) 3817 0.4425 13.1608 ((1 . 3) (4 . 6) (5 . 8) (10 . 14)) 3829 0.4444 5.6313 ((1 . 3) (2 . 6) (5 . 11) (6 . 13)) 3830 0.4440 8.8753 ((6 . 2) (7 . 4) (8 . 3) (9 . 5)) 3834 0.4440 9.2229 ((5 . 2) (7 . 4) (8 . 5) (10 . 6)) 3853 0.4442 7.9005 ((2 . 4) (4 . 7) (5 . 9) (7 . 11)) 3870 0.4432 11.7911 ((2 . 2) (4 . 4) (6 . 7) (8 . 9)) 4009 0.4444 5.6004 ((1 . 8) (2 . 10) (7 . 18) (8 . 20)) 4011 0.4438 10.0447 ((7 . 1) (8 . 2) (9 . 3) (10 . 4)) 4030 0.5544 8.6137 ((1 . 7) (2 . 11) (4 . 17) (5 . 18) (6 . 20)) 4062 0.4443 6.4110 ((2 . 40) (4 . 44) (5 . 45) (8 . 51)) 4067 0.4442 7.4672 ((4 . 15) (6 . 19) (8 . 21) (9 . 23)) 4077 0.4437 10.1592 ((1 . 4) (2 . 6) (4 . 7) (5 . 9)) 4115 0.4432 11.7794 ((4 . 7) (6 . 9) (7 . 11) (8 . 12)) 4134 0.4441 8.7526 ((1 . 25) (2 . 26) (5 . 30) (6 . 31)) 4151 0.4444 5.9860 ((4 . 4) (6 . 6) (8 . 8) (10 . 11)) 4192 0.4439 9.6993 ((2 . 11) (4 . 14) (6 . 16) (10 . 21)) 4195 0.4441 8.2587 ((5 . 2) (6 . 3) (8 . 4) (9 . 5)) 4204 0.4443 7.3202 ((5 . 2) (6 . 4) (8 . 10) (10 . 12)) 4216 0.4439 9.6533 ((5 . 9) (7 . 10) (9 . 13) (10 . 14)) 4226 0.4440 8.9179 ((2 . 2) (4 . 5) (8 . 13) (9 . 15)) 4242 0.4444 5.4395 ((4 . 1) (5 . 3) (7 . 5) (8 . 6)) 4261 0.5550 7.3577 ((5 . 12) (6 . 13) (7 . 14) (8 . 15) (9 . 16)) 4265 0.1980 13.2026 ((2 . 22) (4 . 25) (6 . 28) (8 . 31)) 4266 0.4440 9.0815 ((4 . 1) (6 . 3) (8 . 5) (10 . 7)) 4281 0.4441 8.4703 ((1 . 7) (2 . 9) (4 . 11) (5 . 14)) 4299 0.4439 9.6515 ((2 . 5) (4 . 7) (6 . 10) (8 . 13)) 4326 0.4443 7.2605 ((2 . 3) (4 . 5) (5 . 6) (6 . 8)) 4352 0.4442 7.6706 ((1 . 3) (2 . 4) (4 . 7) (6 . 12)) 4386 0.4441 8.2815 ((1 . 11) (2 . 12) (4 . 13) (6 . 17)) 4398 0.4437 10.3511 ((4 . 2) (5 . 5) (8 . 9) (9 . 11)) 4408 0.4444 5.8757 ((4 . 10) (6 . 20) (7 . 22) (8 . 23)) 4419 0.4444 4.7167 ((1 . 1) (2 . 2) (4 . 5) (5 . 11)) 4470 0.4444 5.2690 ((4 . 11) (6 . 13) (8 . 15) (10 . 17)) 4492 0.5552 6.3578 ((1 . 9) (5 . 10) (6 . 12) (8 . 19) (10 . 22)) 4495 0.4442 7.8850 ((5 . 5) (7 . 7) (9 . 9) (10 . 11)) 4502 0.3933 9.8540 ((1 . 2) (2 . 3) (8 . 13) (10 . 16)) 4504 0.4434 11.2433 ((1 . 10) (6 . 16) (8 . 18) (10 . 23)) 4505 0.4442 7.8271 ((5 . 27) (7 . 29) (9 . 31) (10 . 33)) 4516 0.6656 6.8238 ((2 . 23) (4 . 25) (6 . 29) (7 . 31) (8 . 33) (9 . 35)) 4560 0.4441 8.3272 ((4 . 5) (6 . 7) (8 . 10) (10 . 12)) 4563 0.4439 9.4028 ((2 . 25) (4 . 27) (6 . 30) (8 . 33)) 4579 0.4444 5.8134 ((2 . 2) (4 . 5) (6 . 6) (7 . 11)) 4589 0.2861 9.5659 ((1 . 21) (2 . 20) (4 . 24) (6 . 26)) 4607 0.4441 8.2938 ((6 . 2) (8 . 5) (9 . 8) (10 . 9)) 4669 0.4442 7.7086 ((4 . 16) (6 . 18) (8 . 20) (10 . 22)) 4671 0.4433 11.3702 ((4 . 3) (5 . 5) (8 . 9) (9 . 10)) 4699 0.4444 5.6609 ((1 . 8) (4 . 10) (5 . 11) (7 . 13)) 4715 0.4444 5.4813 ((6 . 4) (8 . 5) (9 . 9) (10 . 10)) 4716 0.4442 8.1122 ((6 . 2) (7 . 3) (8 . 4) (9 . 5)) 4764 0.4442 8.1406 ((4 . 6) (5 . 7) (6 . 8) (9 . 11)) 4783 0.4422 13.5511 ((1 . 6) (2 . 7) (5 . 8) (6 . 9)) 4817 0.4444 5.6990 ((6 . 6) (7 . 7) (8 . 9) (10 . 11)) 4889 0.4442 7.8973 ((1 . 8) (2 . 9) (4 . 19) (6 . 21)) 4961 0.4442 7.6013 ((2 . 4) (4 . 8) (6 . 11) (8 . 13)) 4963 0.4437 10.3695 ((1 . 2) (4 . 5) (5 . 6) (8 . 9)) 4978 0.4442 7.6145 ((2 . 27) (4 . 29) (6 . 31) (7 . 33)) 4982 0.2861 11.5166 ((1 . 2) (2 . 5) (7 . 11) (8 . 13)) 4998 0.3522 11.8027 ((1 . 4) (4 . 7) (9 . 16) (10 . 17)) 5000 0.4443 6.7428 ((1 . 32) (2 . 33) (4 . 35) (6 . 36)) 5016 0.5550 7.3351 ((1 . 2) (2 . 5) (4 . 6) (5 . 8) (6 . 9)) 5029 0.4435 10.8183 ((2 . 3) (4 . 5) (5 . 7) (6 . 9)) 5039 0.4440 9.2818 ((2 . 35) (4 . 38) (6 . 40) (8 . 43)) 5053 0.4433 11.5291 ((1 . 1) (4 . 7) (6 . 8) (10 . 13)) 5068 0.4443 7.1878 ((1 . 1) (2 . 3) (4 . 6) (6 . 9)) 5069 0.2861 11.3625 ((1 . 1) (5 . 6) (6 . 8) (8 . 14)) 5073 0.4443 6.7739 ((5 . 33) (7 . 35) (8 . 37) (9 . 38)) 5080 0.4442 7.6713 ((2 . 5) (4 . 6) (5 . 8) (8 . 13)) 5092 0.4441 8.6932 ((5 . 4) (6 . 5) (9 . 8) (10 . 9)) 5101 0.4414 14.6580 ((4 . 2) (6 . 6) (8 . 8) (10 . 11)) 5103 0.4439 9.6495 ((2 . 12) (4 . 14) (6 . 16) (8 . 18)) 5121 0.4428 12.6605 ((2 . 13) (4 . 14) (5 . 17) (9 . 23)) 5132 0.1980 10.8331 ((2 . 17) (4 . 19) (6 . 21) (10 . 27)) 5134 0.4435 10.9285 ((1 . 5) (6 . 11) (7 . 12) (8 . 15)) 5167 0.4442 7.6150 ((4 . 2) (6 . 6) (8 . 7) (10 . 10)) 5192 0.3516 14.8376 ((1 . 2) (5 . 7) (8 . 11) (10 . 15)) 5212 0.4437 10.3296 ((1 . 4) (4 . 9) (7 . 13) (8 . 14)) 5215 0.4435 10.8641 ((1 . 1) (4 . 6) (6 . 8) (10 . 13)) 5223 0.4444 5.1486 ((6 . 2) (7 . 4) (8 . 5) (10 . 7)) 5266 0.4444 5.6490 ((1 . 3) (5 . 9) (8 . 12) (10 . 16)) 5285 0.0999 6.1581 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 5323 0.4444 5.6527 ((4 . 12) (7 . 15) (9 . 17) (10 . 18)) 5324 0.4443 6.2639 ((2 . 1) (7 . 6) (8 . 8) (9 . 9)) 5442 0.4443 6.2819 ((6 . 35) (7 . 36) (9 . 38) (10 . 39)) 5501 0.4442 7.9089 ((6 . 23) (7 . 26) (8 . 27) (9 . 28)) 5525 0.4434 11.2427 ((6 . 9) (8 . 11) (9 . 12) (10 . 13)) 5560 0.4442 7.5890 ((2 . 10) (6 . 14) (8 . 16) (10 . 19)) 5562 0.4439 9.4637 ((2 . 9) (4 . 12) (6 . 15) (7 . 16)) 5648 0.4439 9.4393 ((1 . 2) (4 . 5) (5 . 6) (6 . 7)) 5656 0.4444 4.9000 ((4 . 12) (6 . 15) (8 . 17) (10 . 20)) 5689 0.4438 9.7598 ((4 . 9) (5 . 10) (6 . 11) (8 . 14)) 5702 0.4442 7.4823 ((1 . 4) (2 . 8) (4 . 9) (5 . 10)) 5704 0.4435 11.0194 ((4 . 1) (6 . 3) (7 . 4) (8 . 5)) 5746 0.0999 8.5792 ((1 . 1) (2 . 4) (4 . 5) (7 . 12)) 5771 0.4441 8.5932 ((1 . 6) (2 . 7) (8 . 16) (10 . 19)) 5782 0.4443 7.3042 ((1 . 9) (2 . 11) (5 . 17) (8 . 23)) 5795 0.5544 8.7856 ((2 . 3) (4 . 5) (5 . 11) (6 . 14) (8 . 15)) 5809 0.4442 8.0272 ((4 . 2) (6 . 4) (8 . 6) (10 . 8)) 5904 0.1980 10.8791 ((2 . 2) (4 . 3) (8 . 8) (10 . 10)) 5939 0.4443 6.1481 ((5 . 1) (7 . 3) (9 . 5) (10 . 7)) 5945 0.4442 7.3788 ((4 . 25) (6 . 27) (7 . 30) (8 . 31)) 5949 0.5552 6.2440 ((1 . 3) (4 . 11) (7 . 19) (8 . 20) (9 . 21)) 5955 0.4444 5.5063 ((4 . 6) (6 . 8) (8 . 10) (10 . 13)) 5967 0.4433 11.3945 ((4 . 2) (5 . 6) (6 . 8) (7 . 10)) 6000 0.3524 9.5402 ((4 . 3) (5 . 5) (8 . 8) (10 . 11)) 6029 0.4444 5.7071 ((2 . 20) (4 . 22) (7 . 25) (10 . 28)) 6033 0.7763 6.0816 ((1 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 7) (8 . 9) (9 . 10)) 6074 0.4443 7.1872 ((4 . 1) (6 . 5) (8 . 7) (10 . 10)) 6079 0.4444 5.2761 ((1 . 12) (6 . 18) (7 . 19) (8 . 22)) 6089 0.4441 8.4035 ((4 . 2) (6 . 4) (8 . 6) (9 . 8)) 6169 0.4439 9.7149 ((1 . 8) (6 . 12) (9 . 14) (10 . 15)) 6228 0.4441 8.4488 ((1 . 10) (5 . 16) (6 . 17) (7 . 18)) 6243 0.4444 5.0710 ((1 . 5) (7 . 11) (8 . 12) (9 . 13)) 6251 0.4443 6.8826 ((4 . 9) (6 . 11) (8 . 14) (10 . 18)) 6261 0.4444 5.3794 ((4 . 7) (6 . 10) (8 . 14) (9 . 17)) 6266 0.4440 8.8351 ((2 . 7) (4 . 9) (6 . 12) (7 . 13)) 6268 0.4441 8.4680 ((7 . 8) (8 . 9) (9 . 11) (10 . 12)) 6294 0.2861 9.4234 ((1 . 12) (6 . 21) (9 . 26) (10 . 28)) 6329 0.4442 7.7043 ((2 . 2) (4 . 4) (5 . 6) (9 . 9)) 6348 0.4440 9.0277 ((5 . 6) (6 . 8) (8 . 10) (9 . 13)) 6356 0.4443 6.8866 ((2 . 8) (4 . 10) (6 . 14) (7 . 16)) 6359 0.6667 1.8377 ((5 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6)) 6369 0.4444 5.0480 ((4 . 23) (6 . 25) (8 . 28) (9 . 30)) 6384 0.4437 10.4524 ((6 . 2) (8 . 3) (9 . 4) (10 . 5)) 6391 0.4428 12.6633 ((4 . 1) (6 . 4) (7 . 5) (10 . 7)) 6392 0.4440 8.8834 ((4 . 6) (6 . 8) (7 . 10) (10 . 14)) 6403 0.4444 5.4979 ((1 . 6) (2 . 9) (8 . 16) (9 . 18)) 6461 0.1980 11.4811 ((4 . 2) (5 . 4) (6 . 5) (8 . 7)) 6462 0.4442 7.3751 ((2 . 17) (4 . 19) (6 . 21) (10 . 26)) 6498 0.4442 7.7800 ((1 . 36) (6 . 46) (8 . 47) (9 . 48)) 6506 0.4442 7.4543 ((5 . 24) (6 . 25) (9 . 28) (10 . 29)) 6536 0.4442 7.4381 ((1 . 27) (4 . 28) (5 . 29) (9 . 34)) 6585 0.4441 8.4363 ((4 . 3) (5 . 4) (7 . 7) (9 . 9)) 6587 0.4439 9.6601 ((6 . 27) (7 . 28) (8 . 30) (10 . 32)) 6605 0.4441 8.4999 ((4 . 3) (6 . 5) (7 . 6) (8 . 7)) 6613 0.4441 8.7591 ((1 . 15) (2 . 19) (7 . 25) (8 . 26)) 6622 0.6635 8.9292 ((4 . 4) (5 . 5) (6 . 6) (8 . 8) (9 . 10) (10 . 11)) END