1289 247 0.7000 2.3499 ((13 . 2) (14 . 6) (15 . 7) (16 . 11) (17 . 12) (19 . 13) (20 . 15)) 345 0.7971 6.9815 ((13 . 1) (14 . 4) (15 . 5) (16 . 6) (17 . 8) (19 . 9) (20 . 10) (21 . 15)) 463 0.6999 3.1611 ((13 . 1) (14 . 2) (15 . 3) (16 . 5) (17 . 7) (19 . 15) (20 . 23)) 464 0.4824 6.3197 ((16 . 34) (17 . 35) (19 . 37) (20 . 38) (21 . 39)) 471 0.6997 4.6758 ((13 . 1) (14 . 2) (15 . 3) (16 . 15) (17 . 16) (19 . 17) (20 . 18)) 472 0.6000 3.0303 ((13 . 20) (14 . 21) (15 . 22) (16 . 29) (17 . 31) (19 . 33)) 592 0.6999 3.1740 ((13 . 3) (14 . 5) (15 . 6) (16 . 10) (17 . 11) (19 . 12) (20 . 13)) 703 0.6999 3.3412 ((13 . 1) (14 . 3) (15 . 4) (16 . 5) (17 . 6) (19 . 8) (20 . 9)) 713 0.6996 4.9192 ((13 . 5) (14 . 6) (15 . 7) (16 . 9) (17 . 10) (19 . 13) (20 . 14)) 714 0.7975 6.6994 ((13 . 16) (14 . 17) (15 . 19) (16 . 27) (17 . 28) (18 . 29) (19 . 30) (20 . 31)) 934 0.7995 4.5021 ((13 . 10) (14 . 11) (15 . 12) (16 . 14) (17 . 15) (19 . 16) (20 . 17) (21 . 18)) 1021 0.7647 2.4431 ((13 . 12) (14 . 13) (15 . 14) (16 . 15) (17 . 16) (19 . 17) (20 . 18) (21 . 22)) 1033 0.6997 4.7169 ((13 . 1) (14 . 2) (15 . 3) (16 . 6) (17 . 7) (19 . 16) (20 . 17)) 1034 0.6997 4.6613 ((13 . 20) (14 . 21) (15 . 22) (16 . 27) (17 . 29) (19 . 31) (20 . 32)) 1191 0.4999 5.5732 ((13 . 1) (14 . 2) (16 . 4) (17 . 5) (21 . 7)) 1223 0.7998 3.6558 ((13 . 1) (14 . 2) (15 . 3) (16 . 4) (17 . 5) (19 . 6) (20 . 7) (21 . 8)) 1289 1.0000 0.0000 ((13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (24 . 24)) 1305 0.6987 6.7304 ((13 . 2) (14 . 3) (15 . 4) (16 . 5) (17 . 6) (19 . 8) (21 . 11)) 1522 0.6999 3.8321 ((13 . 1) (14 . 2) (15 . 3) (16 . 5) (17 . 6) (19 . 7) (20 . 8)) 1656 0.7996 4.2973 ((13 . 1) (14 . 2) (15 . 3) (16 . 6) (17 . 7) (19 . 8) (20 . 10) (21 . 13)) 1778 0.3999 6.5055 ((13 . 8) (16 . 11) (17 . 12) (19 . 13)) 1779 0.3360 12.5491 ((16 . 16) (17 . 18) (20 . 20) (21 . 21)) 2218 0.7996 4.2899 ((13 . 1) (14 . 2) (15 . 3) (16 . 4) (17 . 5) (19 . 6) (20 . 7) (21 . 10)) 2296 0.6998 4.2627 ((13 . 1) (14 . 2) (15 . 3) (16 . 4) (17 . 6) (20 . 7) (21 . 21)) 2378 0.4999 5.5479 ((13 . 1) (14 . 2) (16 . 4) (17 . 5) (21 . 7)) 2483 0.7730 4.9558 ((13 . 4) (14 . 5) (15 . 6) (16 . 8) (17 . 9) (19 . 12) (20 . 13) (21 . 14)) 2484 0.7969 7.0556 ((13 . 15) (14 . 16) (15 . 19) (16 . 26) (17 . 27) (18 . 28) (19 . 29) (20 . 31)) 2491 0.7996 4.2359 ((13 . 10) (14 . 11) (15 . 12) (16 . 16) (17 . 17) (19 . 18) (20 . 22) (21 . 26)) 2619 0.6996 4.9325 ((13 . 1) (14 . 2) (15 . 3) (16 . 4) (17 . 5) (18 . 6) (20 . 7)) 2733 0.6999 3.2157 ((13 . 1) (14 . 2) (15 . 4) (16 . 7) (17 . 8) (20 . 11) (21 . 14)) 2775 0.7996 4.1805 ((13 . 1) (14 . 2) (15 . 3) (16 . 7) (17 . 8) (19 . 9) (20 . 11) (21 . 14)) 2821 0.6999 3.3886 ((13 . 1) (14 . 2) (15 . 3) (16 . 10) (17 . 11) (19 . 12) (20 . 13)) 2822 0.6998 4.1962 ((13 . 15) (14 . 16) (15 . 17) (16 . 24) (17 . 26) (19 . 28) (20 . 29)) 2910 0.4999 5.7019 ((13 . 3) (14 . 4) (15 . 5) (19 . 7) (20 . 8)) 2954 0.3998 8.4351 ((13 . 3) (16 . 4) (18 . 6) (19 . 7)) 3210 0.4718 6.1399 ((13 . 17) (14 . 18) (15 . 21) (16 . 30) (17 . 33) (19 . 35) (21 . 37)) 3260 0.7994 4.7405 ((13 . 3) (14 . 4) (15 . 5) (16 . 6) (17 . 7) (19 . 8) (20 . 9) (21 . 14)) 3286 0.7997 3.7996 ((13 . 3) (14 . 4) (15 . 5) (16 . 6) (17 . 7) (19 . 8) (20 . 9) (21 . 15)) 3925 0.4997 7.0763 ((13 . 1) (14 . 2) (15 . 3) (16 . 4) (21 . 6)) 4043 0.5986 8.2843 ((13 . 6) (14 . 8) (15 . 9) (16 . 12) (18 . 15) (20 . 16)) 4057 0.7836 5.4575 ((13 . 1) (14 . 2) (15 . 3) (16 . 8) (17 . 9) (19 . 11) (20 . 13) (21 . 14)) 4058 0.2798 14.2893 ((15 . 15) (19 . 19) (21 . 21) (24 . 22)) 4191 0.6999 3.5484 ((13 . 1) (14 . 2) (15 . 3) (16 . 4) (17 . 6) (19 . 33) (20 . 34)) 4193 0.7827 6.4277 ((13 . 36) (14 . 37) (15 . 38) (16 . 47) (17 . 48) (19 . 50) (20 . 51) (21 . 53)) 4281 0.7842 4.2698 ((13 . 3) (14 . 4) (15 . 5) (16 . 6) (17 . 8) (19 . 9) (20 . 10) (21 . 16)) 4391 0.7993 4.8113 ((13 . 1) (14 . 2) (15 . 3) (16 . 5) (17 . 6) (19 . 7) (20 . 8) (21 . 10)) 4469 0.7879 2.9488 ((13 . 1) (14 . 3) (15 . 4) (16 . 6) (17 . 7) (19 . 8) (20 . 9) (21 . 10)) 4935 0.7996 4.2802 ((13 . 1) (14 . 3) (15 . 4) (16 . 6) (17 . 7) (19 . 8) (20 . 9) (21 . 11)) 5120 0.7000 2.4752 ((13 . 2) (14 . 4) (15 . 5) (16 . 8) (17 . 9) (19 . 10) (20 . 11)) 5243 0.7900 4.5143 ((13 . 13) (14 . 14) (15 . 15) (16 . 17) (17 . 18) (18 . 19) (20 . 22) (21 . 26)) 5447 0.5999 4.5769 ((13 . 2) (14 . 3) (15 . 4) (16 . 5) (18 . 6) (21 . 9)) 5500 0.6999 3.3439 ((13 . 1) (14 . 2) (15 . 3) (16 . 10) (17 . 12) (19 . 13) (20 . 14)) 5501 0.5999 4.0572 ((13 . 16) (14 . 17) (15 . 20) (16 . 28) (17 . 30) (19 . 32)) 5883 0.6999 2.9977 ((13 . 1) (14 . 3) (15 . 4) (16 . 5) (17 . 6) (20 . 9) (21 . 13)) 5906 0.7994 4.7286 ((13 . 13) (14 . 14) (15 . 15) (16 . 17) (17 . 18) (19 . 19) (20 . 22) (21 . 26)) 6064 0.7798 3.8284 ((13 . 4) (14 . 6) (15 . 7) (16 . 10) (17 . 11) (19 . 13) (20 . 14) (21 . 18)) 6249 0.7996 4.1082 ((13 . 1) (14 . 2) (15 . 3) (16 . 5) (17 . 6) (19 . 7) (20 . 8) (21 . 11)) 6299 0.6632 4.2584 ((13 . 4) (14 . 6) (15 . 7) (16 . 8) (17 . 9) (20 . 11) (21 . 16)) 6323 0.7992 4.9942 ((13 . 33) (14 . 34) (15 . 35) (16 . 36) (17 . 37) (18 . 38) (19 . 40) (20 . 41)) END