583

   318    0.4000    4.8278   ((1 . 2) (2 . 3) (4 . 4) (9 . 9))
   442    0.4000    5.6153   ((1 . 4) (7 . 10) (9 . 11) (12 . 13))
   541    0.7996    4.2359   ((1 . 7) (2 . 9) (4 . 11) (5 . 13) (6 . 14) (7 . 16) (10 . 17) (12 . 22))
   551    0.3999    7.0087   ((4 . 10) (9 . 15) (10 . 16) (12 . 19))
   583    1.0000    0.0000   ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (12 . 12))
   584    0.5000    3.5096   ((2 . 9) (4 . 10) (5 . 12) (6 . 13) (7 . 15))
   811    0.8645    4.5016   ((1 . 21) (2 . 22) (4 . 23) (5 . 24) (6 . 26) (7 . 27) (9 . 30) (10 . 31) (12 . 33))
  1577    0.3999    7.0469   ((2 . 2) (7 . 6) (9 . 9) (10 . 10))
  1702    0.4000    5.1287   ((1 . 12) (9 . 18) (10 . 19) (12 . 21))
  2137    0.8784    3.8325   ((1 . 4) (2 . 5) (4 . 7) (5 . 10) (6 . 11) (7 . 12) (9 . 18) (10 . 19) (12 . 21))
  2608    0.8993    4.1779   ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 13) (10 . 14) (12 . 16))
  2834    0.5734    4.6752   ((1 . 1) (2 . 2) (4 . 6) (5 . 7) (6 . 8) (7 . 9) (9 . 15) (10 . 16) (12 . 17))
  3019    0.8829    3.2402   ((1 . 11) (2 . 12) (4 . 14) (5 . 18) (6 . 19) (7 . 20) (9 . 24) (10 . 25) (12 . 26))
  3080    0.7998    3.4722   ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (10 . 10) (12 . 12))
  3097    0.8722    4.5591   ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (9 . 16) (10 . 17) (12 . 18))
  3584    0.4000    4.6030   ((1 . 26) (9 . 33) (10 . 34) (12 . 38))
  3620    0.5000    3.6507   ((2 . 10) (4 . 11) (5 . 12) (6 . 13) (7 . 15))
  3832    0.8726    3.7599   ((1 . 4) (2 . 5) (4 . 7) (5 . 10) (6 . 11) (7 . 12) (9 . 16) (10 . 17) (12 . 18))
  4591    0.8829    3.2426   ((1 . 5) (2 . 6) (4 . 8) (5 . 11) (6 . 12) (7 . 13) (9 . 17) (10 . 18) (12 . 20))
  4605    0.7996    4.2900   ((1 . 2) (4 . 7) (5 . 8) (6 . 9) (7 . 10) (9 . 17) (10 . 18) (12 . 19))
  5179    0.7998    3.5512   ((1 . 1) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (9 . 16) (10 . 17) (12 . 19))
  5416    0.6000    3.1298   ((1 . 5) (2 . 6) (4 . 7) (5 . 9) (6 . 11) (10 . 16))
  5543    0.8724    4.1343   ((1 . 7) (2 . 8) (4 . 9) (5 . 10) (6 . 13) (7 . 15) (9 . 30) (10 . 31) (12 . 33))
  5701    0.5819    4.2685   ((2 . 7) (4 . 8) (5 . 10) (6 . 11) (7 . 12) (9 . 15))
  5724    0.3997    9.6411   ((6 . 4) (7 . 5) (9 . 7) (10 . 8))
  5727    0.8783    4.0473   ((1 . 1) (2 . 3) (4 . 6) (5 . 7) (6 . 9) (7 . 10) (9 . 11) (10 . 12) (12 . 14))
  6225    0.8645    4.4103   ((1 . 5) (2 . 9) (4 . 10) (5 . 11) (6 . 12) (7 . 13) (9 . 27) (10 . 28) (12 . 30))
  6233    0.8784    3.7815   ((1 . 5) (2 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 22) (9 . 26) (10 . 27) (12 . 29))
  6240    0.8888    3.2403   ((1 . 5) (2 . 16) (4 . 17) (5 . 18) (6 . 19) (7 . 20) (9 . 23) (10 . 24) (12 . 26))
  6248    0.7996    4.3124   ((1 . 1) (4 . 6) (5 . 7) (6 . 8) (7 . 9) (9 . 16) (10 . 17) (12 . 18))
  6519    0.8826    3.9659   ((1 . 1) (2 . 2) (4 . 6) (5 . 7) (6 . 9) (7 . 10) (9 . 11) (10 . 12) (12 . 14))
END