4112 251 0.5714 3.7189 ((1 . 1) (2 . 2) (3 . 5) (4 . 6)) 340 0.7143 1.7151 ((1 . 1) (2 . 2) (3 . 4) (4 . 7) (6 . 9)) 414 0.7142 3.1612 ((1 . 3) (2 . 4) (3 . 6) (4 . 7) (6 . 8)) 501 0.7142 3.1027 ((1 . 13) (2 . 14) (3 . 16) (4 . 17) (6 . 19)) 1648 0.7142 2.8430 ((1 . 12) (2 . 15) (3 . 16) (4 . 17) (6 . 19)) 1715 0.7142 3.3023 ((1 . 12) (2 . 15) (3 . 16) (4 . 17) (6 . 19)) 2073 0.9649 2.8877 ((1 . 1) (2 . 2) (3 . 5) (4 . 6) (6 . 8) (7 . 9) (8 . 10)) 2334 0.7143 2.3638 ((1 . 1) (2 . 2) (3 . 3) (4 . 10) (6 . 11)) 2363 0.7143 2.6373 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (6 . 8)) 2581 0.2477 8.3765 ((2 . 8) (4 . 10) (6 . 12) (8 . 13)) 2900 0.7136 5.5174 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (7 . 14)) 2913 0.7141 3.8160 ((1 . 2) (2 . 4) (3 . 5) (4 . 6) (6 . 8)) 2916 0.7140 4.4659 ((1 . 7) (2 . 8) (3 . 9) (4 . 11) (6 . 13)) 3300 0.7142 2.7292 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (8 . 10)) 3303 0.5944 4.4843 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (6 . 8)) 3326 0.6569 3.7495 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (6 . 7)) 3783 0.7126 6.9675 ((2 . 1) (3 . 2) (4 . 4) (6 . 5) (8 . 8)) 3838 0.7140 4.2958 ((1 . 5) (2 . 6) (3 . 8) (4 . 14) (6 . 16)) 3892 0.7143 2.2846 ((1 . 31) (2 . 35) (3 . 37) (4 . 38) (6 . 39)) 4112 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8)) 4209 0.7143 2.6024 ((1 . 1) (2 . 2) (3 . 4) (4 . 8) (6 . 10)) 4236 0.7143 1.7255 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (6 . 10)) 4665 0.7141 4.0706 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (7 . 16)) 4842 0.7142 3.7073 ((1 . 4) (2 . 5) (3 . 6) (4 . 8) (7 . 10)) 4843 0.7141 3.9881 ((1 . 15) (2 . 16) (3 . 17) (4 . 19) (7 . 21)) 5014 0.7142 2.6932 ((1 . 1) (2 . 2) (3 . 6) (4 . 7) (6 . 9)) 5548 0.7143 2.3239 ((1 . 3) (2 . 4) (3 . 10) (4 . 11) (6 . 12)) 5668 0.7142 3.5874 ((1 . 8) (2 . 11) (3 . 12) (4 . 13) (6 . 14)) 5957 0.6561 6.7155 ((2 . 1) (3 . 2) (4 . 4) (6 . 5) (8 . 8)) 6009 0.7143 1.6731 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (6 . 8)) 6325 0.7143 1.6862 ((1 . 5) (2 . 6) (3 . 11) (4 . 12) (6 . 14)) 6391 0.1993 7.3723 ((1 . 6) (2 . 8) (4 . 10) (6 . 12)) 6604 0.6291 8.9944 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (8 . 10)) END