5200

   574    0.5909    4.3870   ((1 . 2) (7 . 3) (9 . 4) (10 . 5) (11 . 7) (12 . 8))
  1196    0.3821    9.9976   ((1 . 8) (2 . 9) (3 . 11) (7 . 15))
  1248    0.3999    6.3606   ((6 . 2) (7 . 3) (9 . 4) (10 . 5))
  2003    0.8908    3.1703   ((1 . 1) (2 . 2) (3 . 4) (6 . 6) (7 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 12))
  2228    0.8878    4.8614   ((1 . 1) (2 . 2) (3 . 4) (6 . 7) (7 . 9) (9 . 10) (10 . 11) (11 . 12) (12 . 13))
  2464    0.4000    5.8554   ((6 . 2) (7 . 3) (11 . 9) (12 . 10))
  2563    0.3995   10.8208   ((2 . 31) (3 . 33) (4 . 35) (6 . 37))
  2630    0.3997    8.9734   ((4 . 7) (6 . 8) (10 . 14) (11 . 15))
  2944    0.8996    3.5996   ((1 . 1) (2 . 2) (3 . 4) (6 . 6) (7 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 12))
  2945    0.9998    2.7886   ((1 . 1) (2 . 2) (3 . 4) (4 . 6) (6 . 8) (7 . 9) (9 . 11) (10 . 12) (11 . 13) (12 . 15))
  3888    0.7994    4.6990   ((1 . 11) (2 . 12) (3 . 14) (6 . 16) (9 . 17) (10 . 19) (11 . 21) (12 . 22))
  3994    0.4000    4.8342   ((9 . 4) (10 . 5) (11 . 6) (12 . 7))
  4174    0.3999    6.9402   ((9 . 4) (10 . 6) (11 . 7) (12 . 9))
  4175    0.3999    6.4772   ((6 . 12) (7 . 14) (10 . 16) (11 . 21))
  4419    0.8399    3.6365   ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10))
  4543    0.4997    6.8801   ((1 . 2) (2 . 3) (3 . 5) (7 . 9) (10 . 10))
  4576    0.4999    5.8467   ((6 . 19) (7 . 21) (10 . 22) (11 . 24) (12 . 25))
  4596    0.8943    3.9088   ((1 . 1) (2 . 2) (3 . 4) (6 . 6) (7 . 7) (9 . 8) (10 . 9) (11 . 11) (12 . 12))
  4621    0.8996    3.5435   ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 11))
  4652    0.7899    4.7620   ((1 . 1) (2 . 2) (3 . 4) (6 . 6) (7 . 7) (10 . 9) (11 . 10) (12 . 11))
  5199    0.7795    4.6761   ((1 . 1) (2 . 2) (3 . 4) (6 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10))
  5200    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11) (12 . 12))
  5769    0.8935    3.3178   ((1 . 1) (2 . 2) (3 . 4) (6 . 6) (7 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12))
  5821    0.7875    4.4198   ((1 . 1) (2 . 2) (6 . 6) (7 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11))
  6014    0.1654    8.8417   ((6 . 1) (7 . 2) (10 . 5) (11 . 7))
END