733 18 0.2941 4.7990 ((2 . 1) (3 . 2) (4 . 3) (7 . 7) (10 . 10)) 19 0.3523 5.6557 ((7 . 13) (9 . 16) (10 . 17) (11 . 18) (12 . 19) (16 . 24)) 46 0.7038 4.0720 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (12 . 13) (14 . 14) (15 . 15) (17 . 16)) 63 0.2941 3.3026 ((2 . 1) (3 . 2) (4 . 3) (10 . 10) (12 . 12)) 190 0.3529 5.9277 ((2 . 6) (3 . 7) (6 . 11) (7 . 12) (9 . 14) (10 . 15)) 263 0.4706 3.0300 ((2 . 5) (3 . 6) (4 . 12) (6 . 17) (7 . 18) (9 . 19) (10 . 20) (12 . 22)) 376 0.2941 8.3058 ((1 . 8) (2 . 9) (3 . 11) (4 . 12) (12 . 20)) 399 0.4685 5.3504 ((2 . 1) (3 . 2) (7 . 3) (8 . 4) (9 . 6) (10 . 7) (11 . 8) (12 . 9)) 492 0.2941 5.9399 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (10 . 10)) 526 0.3338 9.7400 ((1 . 1) (3 . 3) (4 . 4) (9 . 11) (10 . 12) (11 . 14)) 527 0.4098 3.9875 ((1 . 27) (2 . 28) (3 . 29) (7 . 30) (9 . 31) (10 . 32) (12 . 33)) 557 0.5284 4.5028 ((2 . 1) (3 . 2) (4 . 3) (7 . 7) (8 . 8) (9 . 10) (10 . 11) (11 . 12) (12 . 13)) 602 0.2941 5.4859 ((1 . 13) (2 . 14) (3 . 18) (7 . 20) (10 . 24)) 616 0.3529 4.4264 ((2 . 1) (3 . 2) (4 . 3) (10 . 12) (12 . 14) (14 . 15)) 647 0.3746 4.5537 ((2 . 1) (3 . 2) (4 . 3) (7 . 9) (10 . 11) (11 . 12) (12 . 13)) 659 0.3529 4.3664 ((4 . 10) (6 . 11) (7 . 12) (9 . 13) (10 . 14) (12 . 16)) 682 0.3529 7.3063 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (6 . 9) (7 . 10)) 721 0.2941 8.6737 ((1 . 16) (2 . 17) (3 . 18) (7 . 23) (14 . 28)) 733 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18)) 777 0.2941 4.7387 ((7 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11)) 815 0.2941 4.0124 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (6 . 18)) 1006 0.2941 3.8891 ((2 . 1) (3 . 2) (4 . 3) (9 . 7) (10 . 9)) 1047 0.4691 3.2480 ((2 . 3) (3 . 4) (4 . 10) (6 . 16) (7 . 17) (9 . 18) (10 . 19) (12 . 21)) 1050 0.5220 7.8708 ((2 . 1) (3 . 2) (7 . 3) (8 . 4) (9 . 6) (10 . 7) (12 . 10) (17 . 11) (18 . 12)) 1055 0.5605 5.0194 ((1 . 12) (2 . 13) (3 . 14) (4 . 16) (6 . 20) (7 . 21) (8 . 22) (9 . 24) (10 . 27) (12 . 29)) 1058 0.5718 3.6019 ((2 . 15) (3 . 16) (4 . 17) (6 . 20) (7 . 21) (8 . 22) (9 . 24) (10 . 25) (11 . 27) (12 . 28)) 1145 0.2941 4.5696 ((1 . 36) (2 . 37) (3 . 38) (4 . 39) (6 . 40)) 1146 0.2941 4.0479 ((3 . 2) (7 . 5) (10 . 7) (11 . 8) (12 . 9)) 1254 0.4622 7.1309 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (9 . 12) (10 . 17) (12 . 19) (17 . 20) (18 . 22)) 1291 0.4146 6.8997 ((1 . 42) (2 . 44) (3 . 45) (4 . 47) (6 . 48) (7 . 49) (9 . 50) (10 . 51) (12 . 53)) 1303 0.2941 5.8925 ((4 . 8) (6 . 9) (7 . 10) (9 . 12) (10 . 13)) 1377 0.2353 8.9775 ((10 . 3) (11 . 4) (16 . 8) (17 . 9)) 1378 0.3529 3.9371 ((6 . 6) (7 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11)) 1403 0.2941 7.1645 ((2 . 4) (3 . 5) (6 . 9) (7 . 10) (12 . 14)) 1409 0.2940 10.4261 ((1 . 9) (3 . 10) (4 . 11) (7 . 15) (9 . 18)) 1416 0.2941 6.3094 ((4 . 2) (7 . 5) (9 . 6) (10 . 7) (12 . 10)) 1449 0.3151 6.0653 ((1 . 7) (2 . 8) (3 . 10) (4 . 11) (7 . 18) (10 . 19) (12 . 24)) 1561 0.2941 8.8909 ((3 . 16) (4 . 17) (6 . 19) (7 . 20) (17 . 29)) 1575 0.6429 4.2499 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 7) (7 . 8) (9 . 10) (10 . 12) (11 . 13) (12 . 15) (14 . 16) (15 . 17) (17 . 18) (18 . 19)) 1634 0.3529 3.9137 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 6) (7 . 7)) 1714 0.3529 4.6184 ((4 . 8) (6 . 10) (7 . 12) (9 . 13) (11 . 15) (12 . 16)) 1719 0.5637 6.2245 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 7) (7 . 10) (8 . 11) (9 . 12) (10 . 15) (12 . 18) (14 . 19) (17 . 23)) 1736 0.4595 3.7130 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (12 . 12)) 1742 0.5067 4.0124 ((2 . 5) (3 . 6) (4 . 10) (6 . 17) (7 . 18) (9 . 19) (10 . 20) (11 . 21) (12 . 22)) 1743 0.4492 4.2045 ((2 . 14) (3 . 15) (4 . 16) (6 . 18) (7 . 19) (9 . 20) (10 . 21) (11 . 22)) 1755 0.2941 4.9403 ((1 . 10) (2 . 11) (3 . 14) (4 . 15) (7 . 17)) 1765 0.2941 4.4166 ((2 . 31) (3 . 32) (4 . 33) (6 . 35) (7 . 36)) 1773 0.5830 4.4368 ((1 . 2) (2 . 4) (3 . 6) (4 . 10) (6 . 11) (7 . 17) (9 . 19) (10 . 22) (12 . 24) (14 . 25)) 1854 0.4112 4.4876 ((1 . 6) (2 . 7) (3 . 8) (4 . 10) (7 . 13) (8 . 14) (12 . 20)) 1855 0.2941 4.7812 ((4 . 23) (6 . 24) (7 . 25) (10 . 30) (14 . 33)) 1857 0.3497 3.4808 ((2 . 1) (3 . 2) (4 . 3) (10 . 10) (11 . 11) (12 . 13)) 1866 0.5854 7.0362 ((1 . 3) (2 . 7) (3 . 8) (4 . 9) (6 . 23) (7 . 24) (9 . 26) (10 . 27) (11 . 28) (12 . 30) (14 . 34)) 1871 0.4694 4.1777 ((1 . 23) (2 . 24) (3 . 25) (4 . 26) (7 . 32) (10 . 33) (11 . 34) (12 . 35)) 1872 0.2941 2.8988 ((3 . 37) (4 . 41) (6 . 42) (7 . 43) (9 . 44)) 1934 0.3529 5.5998 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (7 . 8) (12 . 11)) 1976 0.3509 5.5557 ((2 . 2) (3 . 3) (4 . 4) (10 . 8) (12 . 10) (14 . 11)) 2093 0.2940 9.4783 ((1 . 10) (3 . 13) (4 . 15) (6 . 17) (7 . 19)) 2291 0.3529 4.0651 ((1 . 2) (2 . 3) (3 . 4) (4 . 6) (6 . 7) (7 . 9)) 2298 0.4180 4.4334 ((1 . 5) (2 . 6) (3 . 7) (7 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 2299 0.4343 4.4654 ((1 . 19) (2 . 20) (3 . 21) (7 . 22) (9 . 23) (10 . 24) (11 . 25) (12 . 26)) 2373 0.2941 7.9779 ((1 . 2) (4 . 8) (6 . 10) (7 . 11) (10 . 13)) 2500 0.2941 4.2821 ((2 . 2) (3 . 3) (4 . 4) (7 . 7) (10 . 12)) 2501 0.3529 3.3684 ((1 . 25) (2 . 26) (3 . 27) (4 . 28) (10 . 34) (12 . 37)) 2543 0.6946 4.7540 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (12 . 13) (14 . 14) (15 . 15) (17 . 16)) 2569 0.5516 4.9870 ((1 . 3) (2 . 4) (3 . 5) (4 . 7) (6 . 9) (7 . 11) (9 . 13) (10 . 14) (12 . 17) (14 . 21)) 2774 0.2941 5.8980 ((2 . 4) (3 . 5) (6 . 8) (9 . 11) (10 . 12)) 2785 0.2658 7.3208 ((2 . 1) (7 . 6) (9 . 8) (10 . 9) (11 . 10)) 2814 0.6844 4.0994 ((1 . 4) (2 . 5) (3 . 6) (4 . 8) (6 . 10) (7 . 11) (8 . 12) (9 . 13) (10 . 14) (11 . 15) (12 . 17) (14 . 18)) 2876 0.5008 4.8715 ((2 . 5) (3 . 6) (4 . 10) (6 . 11) (7 . 15) (9 . 16) (10 . 17) (11 . 18) (12 . 19)) 2924 0.4706 2.8604 ((2 . 3) (3 . 4) (4 . 9) (6 . 14) (7 . 15) (9 . 16) (10 . 18) (12 . 20)) 3022 0.4851 3.8101 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 6) (7 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 12)) 3081 0.3529 6.8140 ((4 . 10) (6 . 11) (7 . 12) (9 . 13) (10 . 14) (11 . 16)) 3240 0.4601 4.4313 ((2 . 1) (3 . 2) (7 . 3) (8 . 4) (9 . 6) (10 . 7) (11 . 8) (12 . 10)) 3293 0.2941 7.2500 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (6 . 13)) 3307 0.2941 3.4973 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (7 . 7)) 3327 0.2941 7.1457 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (6 . 21)) 3328 0.2919 4.0247 ((2 . 1) (3 . 2) (7 . 6) (11 . 10) (12 . 11)) 3364 0.3529 4.3519 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (7 . 7) (11 . 11)) 3416 0.6585 4.9804 ((1 . 29) (2 . 30) (3 . 31) (4 . 32) (6 . 35) (7 . 36) (9 . 38) (10 . 41) (11 . 42) (12 . 44) (14 . 45) (17 . 48)) 3473 0.2941 6.1556 ((1 . 6) (2 . 7) (3 . 9) (4 . 10) (6 . 11)) 3521 0.4833 4.0088 ((2 . 6) (3 . 7) (4 . 11) (6 . 16) (7 . 17) (9 . 18) (10 . 19) (11 . 20) (12 . 21)) 3536 0.4117 4.7999 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (7 . 7) (9 . 9) (11 . 13)) 3564 0.2941 6.2004 ((4 . 8) (6 . 9) (9 . 12) (10 . 13) (17 . 20)) 3571 0.6514 4.4528 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (12 . 13) (14 . 14) (15 . 15) (17 . 16)) 3650 0.2701 9.2415 ((1 . 28) (2 . 33) (3 . 37) (11 . 39) (15 . 41) (18 . 46)) 3716 0.4103 6.6202 ((2 . 5) (3 . 6) (4 . 7) (6 . 8) (7 . 11) (11 . 14) (17 . 20)) 3745 0.7279 3.7347 ((1 . 3) (2 . 5) (3 . 6) (4 . 7) (6 . 8) (7 . 9) (9 . 11) (10 . 12) (12 . 14) (14 . 15) (15 . 16) (17 . 17) (18 . 18)) 3756 0.4118 3.4810 ((2 . 14) (3 . 15) (4 . 16) (6 . 18) (7 . 19) (9 . 21) (11 . 23)) 3765 0.4868 5.3835 ((2 . 1) (3 . 2) (7 . 3) (8 . 4) (9 . 6) (10 . 7) (11 . 8) (12 . 9) (17 . 10)) 3870 0.3529 4.1280 ((2 . 3) (3 . 4) (4 . 5) (6 . 7) (7 . 8) (10 . 10)) 3881 0.3529 3.6536 ((2 . 28) (3 . 29) (4 . 30) (6 . 32) (7 . 33) (10 . 35)) 3927 0.3527 9.9511 ((1 . 2) (2 . 4) (4 . 7) (6 . 9) (7 . 10) (10 . 14)) 3964 0.2353 5.5259 ((1 . 8) (2 . 9) (3 . 11) (6 . 13)) 3965 0.2941 5.1301 ((6 . 19) (7 . 20) (9 . 21) (10 . 22) (11 . 25)) 4026 0.5267 4.1017 ((2 . 5) (3 . 6) (4 . 10) (6 . 15) (7 . 16) (9 . 17) (10 . 19) (11 . 20) (12 . 21)) 4046 0.4103 3.5670 ((2 . 3) (3 . 4) (6 . 13) (7 . 14) (9 . 15) (10 . 16) (12 . 18)) 4089 0.3222 6.9263 ((1 . 6) (4 . 9) (6 . 10) (8 . 13) (16 . 20) (17 . 22)) 4094 0.4678 5.1452 ((2 . 4) (3 . 5) (4 . 10) (6 . 11) (7 . 12) (9 . 14) (10 . 15) (12 . 18)) 4108 0.5877 3.5598 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (6 . 13) (7 . 14) (9 . 15) (10 . 19) (12 . 21) (14 . 22)) 4144 0.2941 8.3459 ((1 . 8) (2 . 9) (3 . 13) (4 . 14) (12 . 21)) 4262 0.2919 6.8744 ((2 . 1) (3 . 2) (7 . 6) (9 . 8) (11 . 10)) 4271 0.2941 4.5184 ((4 . 8) (6 . 9) (7 . 11) (9 . 13) (12 . 16)) 4277 0.5971 3.7637 ((1 . 3) (2 . 4) (3 . 5) (4 . 7) (6 . 8) (7 . 9) (9 . 11) (10 . 12) (12 . 15) (14 . 16) (17 . 18)) 4291 0.3529 3.3139 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (7 . 7) (9 . 10)) 4292 0.4622 4.4582 ((1 . 7) (2 . 8) (3 . 9) (7 . 10) (9 . 11) (10 . 12) (11 . 13) (12 . 15)) 4294 0.4699 4.8887 ((1 . 34) (2 . 35) (3 . 36) (7 . 37) (9 . 38) (10 . 39) (12 . 43) (17 . 47)) 4299 0.4491 5.8220 ((2 . 4) (3 . 5) (4 . 6) (6 . 10) (7 . 11) (9 . 13) (10 . 14) (12 . 20)) 4318 0.2941 4.8095 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (7 . 7)) 4343 0.3529 4.6024 ((2 . 1) (3 . 2) (4 . 3) (6 . 7) (7 . 9) (12 . 13)) 4367 0.2941 5.5475 ((1 . 6) (2 . 7) (3 . 8) (4 . 9) (9 . 13)) 4379 0.2353 3.9330 ((2 . 1) (3 . 2) (4 . 3) (7 . 6)) 4434 0.6924 5.0908 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (6 . 16) (7 . 17) (9 . 19) (10 . 22) (11 . 23) (12 . 25) (14 . 27) (15 . 29) (17 . 30)) 4603 0.3529 3.3977 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 8) (10 . 14)) 4609 0.3967 4.6514 ((2 . 1) (3 . 2) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (12 . 12)) 4634 0.3529 2.7121 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (7 . 7) (10 . 9)) 4694 0.4087 7.2139 ((2 . 4) (3 . 5) (4 . 6) (6 . 9) (7 . 10) (11 . 13) (17 . 18)) 4775 0.2941 4.4747 ((2 . 1) (3 . 2) (4 . 4) (10 . 8) (17 . 13)) 4820 0.5008 3.5536 ((2 . 6) (3 . 7) (4 . 12) (6 . 17) (7 . 18) (9 . 19) (10 . 20) (11 . 21) (12 . 22)) 4838 0.4704 6.6904 ((1 . 4) (2 . 5) (6 . 6) (7 . 7) (9 . 8) (10 . 9) (11 . 11) (12 . 12)) 4839 0.2941 4.4380 ((2 . 18) (3 . 19) (4 . 20) (7 . 24) (10 . 25)) 4911 0.4103 4.8669 ((2 . 1) (3 . 2) (7 . 4) (8 . 5) (9 . 7) (10 . 9) (12 . 13)) 4918 0.2701 7.9729 ((2 . 1) (3 . 2) (6 . 5) (9 . 7) (10 . 9) (12 . 13)) 4946 0.5278 4.7511 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (6 . 18) (7 . 19) (9 . 20) (10 . 21) (12 . 24)) 5113 0.2941 4.5525 ((4 . 3) (7 . 6) (9 . 7) (10 . 8) (12 . 10)) 5114 0.3529 5.7635 ((1 . 1) (3 . 3) (4 . 4) (6 . 6) (11 . 11) (12 . 13)) 5132 0.5606 3.1819 ((2 . 16) (3 . 17) (4 . 18) (6 . 21) (7 . 22) (8 . 23) (9 . 24) (10 . 26) (11 . 27) (12 . 28)) 5170 0.3529 3.3149 ((1 . 5) (2 . 6) (3 . 7) (4 . 9) (7 . 11) (12 . 17)) 5202 0.2353 6.2999 ((1 . 7) (7 . 16) (9 . 19) (10 . 20)) 5295 0.3529 4.0096 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (7 . 9) (11 . 15)) 5303 0.2941 4.4446 ((4 . 1) (6 . 2) (7 . 3) (11 . 7) (12 . 9)) 5309 0.2941 3.7631 ((2 . 1) (3 . 2) (4 . 3) (10 . 7) (12 . 9)) 5334 0.2941 5.4179 ((1 . 2) (2 . 3) (3 . 4) (4 . 6) (7 . 9)) 5335 0.2941 5.6650 ((6 . 4) (7 . 5) (9 . 7) (10 . 8) (12 . 12)) 5336 0.2352 11.6110 ((3 . 2) (6 . 4) (8 . 5) (9 . 6)) 5337 0.3431 4.1955 ((4 . 1) (6 . 2) (7 . 3) (9 . 4) (10 . 5) (12 . 10)) 5339 0.2353 6.5091 ((8 . 9) (9 . 12) (10 . 13) (14 . 15)) 5347 0.3431 3.3462 ((2 . 1) (3 . 2) (4 . 3) (9 . 8) (10 . 9) (12 . 11)) 5506 0.2353 6.7466 ((14 . 2) (15 . 4) (17 . 5) (18 . 7)) 5517 0.4832 4.6380 ((2 . 7) (3 . 8) (4 . 10) (6 . 17) (7 . 18) (9 . 20) (10 . 21) (11 . 22) (12 . 23)) 5534 0.2941 5.3908 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (7 . 11)) 5588 0.2941 5.0084 ((2 . 39) (4 . 41) (6 . 43) (7 . 44) (10 . 50)) 5594 0.3135 5.0501 ((2 . 1) (7 . 4) (9 . 5) (10 . 6) (11 . 7) (12 . 9)) 5620 0.2353 8.7969 ((1 . 2) (4 . 4) (6 . 5) (8 . 7)) 5645 0.5267 4.4141 ((1 . 14) (2 . 15) (3 . 16) (4 . 17) (6 . 23) (7 . 24) (9 . 26) (10 . 27) (12 . 29)) 5725 0.2353 6.5301 ((1 . 8) (2 . 9) (3 . 10) (7 . 12)) 5732 0.3529 3.0928 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (10 . 12) (12 . 14)) 5946 0.2941 4.2971 ((4 . 17) (6 . 19) (7 . 20) (9 . 23) (10 . 24)) 5947 0.2941 5.9120 ((10 . 28) (11 . 30) (12 . 31) (14 . 33) (15 . 34)) 5979 0.3516 3.7116 ((2 . 11) (3 . 13) (7 . 16) (9 . 18) (11 . 20) (12 . 22)) 5999 0.3625 6.4826 ((2 . 1) (3 . 2) (7 . 3) (8 . 4) (9 . 10) (10 . 11) (12 . 13) (14 . 14) (17 . 15)) 6031 0.3516 4.2145 ((2 . 1) (3 . 2) (4 . 5) (10 . 12) (12 . 14) (14 . 15)) 6048 0.6435 6.0869 ((1 . 2) (2 . 4) (3 . 5) (4 . 6) (6 . 8) (7 . 10) (9 . 12) (10 . 15) (12 . 20) (14 . 21) (17 . 25)) 6216 0.3529 3.2210 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (7 . 10) (12 . 15)) 6245 0.3475 4.3963 ((2 . 1) (3 . 2) (4 . 3) (9 . 8) (10 . 9) (12 . 11)) 6262 0.3529 4.7299 ((2 . 1) (4 . 3) (7 . 7) (8 . 8) (11 . 13) (12 . 14)) 6307 0.3916 4.4550 ((2 . 2) (3 . 3) (7 . 4) (10 . 8) (11 . 10) (12 . 11) (15 . 13)) 6372 0.4690 5.2272 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (7 . 8) (9 . 9) (12 . 10) (14 . 11)) 6392 0.4621 5.2672 ((2 . 1) (3 . 2) (7 . 3) (8 . 4) (9 . 6) (10 . 7) (12 . 9) (17 . 10)) 6522 0.3746 3.6618 ((2 . 6) (3 . 7) (4 . 8) (6 . 12) (7 . 13) (9 . 16) (10 . 17)) 6557 0.2955 5.9216 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (10 . 8) (12 . 10)) 6593 0.2941 5.0483 ((1 . 7) (2 . 8) (3 . 10) (4 . 11) (6 . 12)) 6616 0.2941 4.3110 ((2 . 1) (3 . 2) (4 . 3) (7 . 7) (10 . 10)) END