4058 247 0.3636 6.3027 ((14 . 11) (15 . 12) (18 . 15) (19 . 16)) 345 0.5447 7.8828 ((15 . 1) (16 . 4) (18 . 5) (22 . 6) (23 . 8) (24 . 9)) 463 0.5405 5.8848 ((15 . 1) (16 . 2) (18 . 3) (22 . 5) (23 . 7) (24 . 15) (27 . 25)) 464 0.8165 5.4346 ((14 . 25) (15 . 26) (16 . 27) (18 . 29) (19 . 30) (20 . 31) (22 . 34) (23 . 35) (24 . 37) (27 . 39)) 471 0.6526 6.2988 ((15 . 1) (16 . 2) (18 . 3) (19 . 7) (21 . 11) (22 . 15) (23 . 16) (27 . 19)) 472 0.7776 6.0795 ((15 . 20) (16 . 21) (18 . 22) (19 . 23) (20 . 24) (22 . 29) (23 . 31) (24 . 33) (27 . 34)) 592 0.7260 6.4237 ((14 . 2) (15 . 3) (16 . 5) (18 . 6) (22 . 10) (23 . 11) (24 . 12) (27 . 14)) 703 0.3636 7.6189 ((14 . 5) (15 . 6) (18 . 9) (19 . 10)) 713 0.4542 8.3626 ((15 . 5) (16 . 6) (18 . 7) (20 . 9) (27 . 15)) 714 0.8133 5.2065 ((15 . 16) (16 . 17) (18 . 19) (19 . 23) (20 . 25) (21 . 26) (22 . 27) (23 . 28) (24 . 30)) 934 0.3636 6.0552 ((18 . 10) (22 . 13) (23 . 15) (24 . 16)) 1021 0.3636 6.2229 ((14 . 15) (15 . 16) (18 . 18) (19 . 20)) 1033 0.3635 8.6147 ((15 . 1) (16 . 2) (18 . 3) (20 . 6)) 1034 0.7887 3.6754 ((15 . 20) (16 . 21) (18 . 22) (19 . 23) (20 . 24) (22 . 27) (23 . 29) (24 . 31) (27 . 36)) 1191 0.3636 7.6532 ((14 . 7) (15 . 8) (18 . 10) (19 . 12)) 1223 0.3190 11.9726 ((15 . 3) (19 . 4) (20 . 6) (21 . 8)) 1289 0.2725 14.2893 ((15 . 15) (19 . 19) (21 . 21) (22 . 24)) 1305 0.4541 8.5832 ((15 . 2) (16 . 3) (18 . 4) (24 . 11) (27 . 12)) 1522 0.3636 7.6199 ((18 . 1) (22 . 5) (23 . 6) (24 . 7)) 1656 0.4362 7.2888 ((15 . 1) (16 . 2) (18 . 3) (22 . 8) (27 . 12)) 1778 0.3634 9.5973 ((15 . 2) (16 . 3) (18 . 4) (22 . 10)) 1779 0.9057 6.1557 ((14 . 16) (15 . 18) (16 . 19) (18 . 20) (19 . 23) (20 . 24) (22 . 25) (23 . 26) (24 . 28) (27 . 33)) 2218 0.4544 6.3903 ((18 . 1) (22 . 4) (23 . 5) (24 . 6) (27 . 8)) 2296 0.8901 4.9256 ((14 . 8) (15 . 9) (16 . 10) (18 . 11) (19 . 12) (20 . 13) (22 . 15) (23 . 16) (24 . 18) (27 . 20)) 2378 0.3635 7.9774 ((14 . 7) (15 . 8) (18 . 10) (19 . 12)) 2483 0.6241 4.9673 ((15 . 4) (16 . 5) (18 . 6) (22 . 8) (23 . 9) (24 . 12) (27 . 14)) 2484 0.3635 9.0751 ((15 . 15) (16 . 16) (18 . 19) (22 . 23)) 2491 0.4545 3.2066 ((15 . 1) (16 . 2) (18 . 3) (19 . 7) (24 . 8)) 2619 0.4544 6.9105 ((15 . 1) (16 . 2) (18 . 3) (22 . 4) (23 . 5)) 2733 0.3635 8.4281 ((15 . 1) (16 . 2) (18 . 4) (22 . 9)) 2775 0.3636 6.1017 ((21 . 5) (23 . 8) (24 . 9) (27 . 12)) 2821 0.7203 7.3992 ((15 . 1) (16 . 2) (18 . 3) (19 . 6) (22 . 10) (23 . 11) (24 . 12) (27 . 14)) 2822 0.7111 4.3478 ((15 . 15) (16 . 16) (18 . 17) (19 . 18) (20 . 20) (21 . 21) (22 . 24) (23 . 26) (24 . 28) (27 . 30)) 2910 0.3634 10.3199 ((15 . 3) (16 . 4) (18 . 5) (20 . 7)) 2954 0.3413 13.3339 ((20 . 4) (22 . 6) (24 . 8) (27 . 10)) 3210 0.6931 6.5767 ((15 . 17) (16 . 18) (18 . 21) (19 . 22) (20 . 23) (22 . 28) (23 . 33) (24 . 35) (27 . 37)) 3260 0.4545 5.9816 ((15 . 3) (16 . 4) (18 . 5) (22 . 8) (27 . 11)) 3286 0.3635 9.1359 ((15 . 3) (16 . 4) (18 . 5) (19 . 6)) 3925 0.3634 10.0768 ((15 . 2) (19 . 4) (20 . 5) (21 . 6)) 4043 0.3635 8.0209 ((22 . 11) (23 . 13) (24 . 15) (27 . 17)) 4057 0.5730 6.0291 ((15 . 1) (16 . 2) (18 . 3) (20 . 7) (22 . 8) (23 . 9) (27 . 14)) 4058 1.0000 0.0000 ((14 . 14) (15 . 15) (16 . 16) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (27 . 27)) 4191 0.3634 10.4033 ((15 . 1) (16 . 2) (18 . 3) (20 . 4)) 4193 0.5808 4.4202 ((15 . 36) (16 . 37) (18 . 38) (19 . 39) (20 . 40) (22 . 47) (23 . 48) (24 . 50) (27 . 53)) 4281 0.3634 10.3457 ((20 . 6) (22 . 9) (23 . 10) (24 . 13)) 4391 0.4543 7.5214 ((15 . 1) (16 . 2) (18 . 3) (22 . 7) (24 . 10)) 4469 0.3190 12.3052 ((15 . 4) (19 . 6) (20 . 8) (21 . 10)) 4935 0.3633 10.4504 ((15 . 1) (16 . 3) (18 . 4) (22 . 11)) 5120 0.7258 6.6134 ((14 . 1) (15 . 2) (16 . 4) (18 . 5) (22 . 8) (23 . 9) (24 . 10) (27 . 12)) 5243 0.4543 7.5484 ((15 . 2) (16 . 3) (18 . 4) (19 . 6) (24 . 10)) 5500 0.6308 5.9071 ((15 . 1) (16 . 2) (18 . 3) (22 . 10) (23 . 12) (24 . 13) (27 . 15)) 5501 0.7882 4.9145 ((15 . 16) (16 . 17) (18 . 20) (19 . 21) (20 . 22) (22 . 26) (23 . 30) (24 . 32) (27 . 34)) 5883 0.3636 5.6203 ((15 . 9) (19 . 11) (20 . 12) (22 . 13)) 5906 0.4545 5.3591 ((15 . 1) (16 . 2) (18 . 3) (20 . 10) (24 . 12)) 6064 0.4609 8.0617 ((15 . 4) (16 . 6) (18 . 7) (22 . 8) (23 . 11) (24 . 12) (27 . 15)) 6249 0.3636 3.8025 ((14 . 5) (15 . 6) (18 . 8) (19 . 9)) 6299 0.3634 9.5984 ((15 . 9) (18 . 11) (20 . 14) (21 . 15)) 6323 0.5040 6.7447 ((15 . 33) (16 . 34) (18 . 35) (22 . 40) (23 . 37) (24 . 38)) END