3626 162 0.1664 6.6126 ((1 . 16) (3 . 17) (5 . 19) (8 . 20)) 239 0.5714 3.0086 ((2 . 1) (3 . 2) (8 . 4) (11 . 10)) 330 0.1993 8.3873 ((1 . 3) (2 . 2) (5 . 5) (11 . 8)) 508 0.5714 3.9636 ((2 . 1) (3 . 2) (8 . 5) (11 . 9)) 715 0.5708 7.2960 ((2 . 1) (3 . 2) (8 . 4) (11 . 7)) 746 0.5713 4.6398 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 896 0.5700 8.9061 ((1 . 2) (3 . 4) (8 . 6) (11 . 9)) 1067 0.7140 4.4877 ((1 . 4) (2 . 5) (3 . 6) (8 . 8) (11 . 11)) 1218 0.2477 8.0779 ((3 . 13) (6 . 14) (8 . 16) (11 . 17)) 1257 0.5936 7.3715 ((2 . 10) (3 . 12) (6 . 13) (8 . 15) (11 . 16)) 1263 0.5713 4.3944 ((1 . 17) (2 . 18) (3 . 19) (5 . 20)) 1354 0.5710 6.6223 ((3 . 4) (5 . 6) (6 . 7) (8 . 8)) 1481 0.5713 4.3380 ((2 . 1) (3 . 2) (8 . 4) (11 . 7)) 1556 0.5714 3.9386 ((2 . 1) (3 . 3) (8 . 6) (11 . 8)) 1582 0.5713 5.2190 ((2 . 1) (3 . 2) (8 . 4) (11 . 7)) 1815 0.3451 5.8307 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (11 . 6)) 1881 0.5942 5.6161 ((1 . 2) (2 . 3) (3 . 4) (8 . 6) (11 . 8)) 2078 0.5714 3.8175 ((2 . 1) (3 . 2) (8 . 5) (11 . 8)) 2385 0.5662 12.3084 ((3 . 10) (6 . 12) (8 . 14) (11 . 17)) 2421 0.5706 7.6260 ((2 . 1) (3 . 2) (8 . 4) (11 . 7)) 2554 0.5713 4.7859 ((2 . 1) (3 . 2) (8 . 4) (11 . 6)) 2764 0.3451 5.8155 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (11 . 7)) 2786 0.5713 4.7291 ((2 . 20) (3 . 21) (8 . 24) (11 . 28)) 3015 0.3789 8.9188 ((1 . 3) (2 . 2) (6 . 4) (11 . 6)) 3219 0.5713 4.6448 ((2 . 1) (3 . 2) (8 . 4) (11 . 6)) 3282 0.5714 3.7670 ((2 . 1) (3 . 2) (8 . 4) (11 . 8)) 3408 0.5708 7.2426 ((2 . 1) (3 . 2) (8 . 4) (11 . 8)) 3533 0.2945 8.2454 ((1 . 6) (3 . 7) (8 . 10) (11 . 11)) 3544 0.5707 7.5241 ((2 . 1) (3 . 2) (8 . 5) (11 . 7)) 3565 0.5714 3.6304 ((2 . 1) (3 . 2) (8 . 4) (11 . 7)) 3616 0.5714 4.1664 ((2 . 1) (3 . 2) (8 . 5) (11 . 8)) 3626 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (11 . 11)) 3837 0.2946 3.7695 ((1 . 13) (2 . 14) (3 . 15) (5 . 16)) 3886 0.5704 8.0871 ((2 . 2) (5 . 3) (6 . 4) (8 . 7)) 3919 0.3451 6.5232 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (11 . 6)) 4135 0.5713 4.7913 ((2 . 1) (3 . 2) (8 . 4) (11 . 8)) 4215 0.5714 3.8963 ((2 . 1) (3 . 2) (8 . 4) (11 . 6)) 4619 0.2977 5.8800 ((2 . 1) (3 . 2) (5 . 3) (8 . 5) (11 . 8)) 4620 0.5713 5.0427 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 4648 0.5704 8.1131 ((2 . 2) (5 . 3) (6 . 5) (8 . 8)) 4754 0.5714 3.3112 ((2 . 1) (3 . 2) (8 . 4) (11 . 9)) 5081 0.4737 5.4486 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (11 . 6)) 5304 0.1498 9.4415 ((2 . 1) (3 . 2) (5 . 3) (8 . 6)) 5373 0.5714 3.2695 ((2 . 1) (3 . 2) (8 . 4) (11 . 8)) 5427 0.5712 5.8664 ((2 . 1) (3 . 2) (8 . 5) (11 . 11)) 5872 0.2977 6.2348 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (11 . 6)) 5914 0.5714 4.2018 ((2 . 2) (3 . 3) (5 . 4) (11 . 6)) 5987 0.2977 5.8130 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (11 . 7)) 6159 0.2977 8.0730 ((2 . 1) (3 . 2) (5 . 3) (8 . 5) (11 . 8)) 6195 0.5713 4.3754 ((2 . 1) (3 . 3) (8 . 8) (11 . 12)) 6509 0.5708 7.1901 ((2 . 19) (3 . 20) (8 . 22) (11 . 24)) 6526 0.5714 2.8646 ((2 . 1) (3 . 2) (8 . 5) (11 . 9)) 6597 0.7115 7.9586 ((2 . 11) (3 . 12) (6 . 13) (8 . 15) (11 . 16)) 6602 0.5707 7.5182 ((2 . 11) (3 . 12) (8 . 16) (11 . 17)) END