3995

    68    0.4737    7.8793   ((3 . 1) (4 . 2) (5 . 3) (8 . 5) (9 . 6) (13 . 11) (14 . 18) (15 . 20) (16 . 21) (17 . 22))
   646    0.5261    4.4186   ((3 . 1) (4 . 2) (5 . 3) (8 . 5) (9 . 6) (14 . 7) (15 . 8) (16 . 10) (17 . 11) (18 . 12))
   678    0.4737    3.9905   ((3 . 22) (4 . 23) (5 . 24) (8 . 25) (9 . 26) (14 . 28) (15 . 29) (16 . 33) (17 . 34))
   875    0.2631    9.6839   ((2 . 22) (3 . 23) (4 . 24) (5 . 25) (9 . 28))
  1135    0.3684    4.4674   ((3 . 1) (4 . 2) (5 . 3) (8 . 4) (9 . 5) (14 . 9) (17 . 15))
  1139    0.3803    5.5910   ((3 . 1) (4 . 4) (5 . 5) (14 . 9) (15 . 10) (16 . 11) (17 . 16) (21 . 19))
  1140    0.3158    4.5197   ((3 . 1) (9 . 5) (14 . 9) (15 . 10) (16 . 11) (17 . 12))
  1429    0.3684    3.2992   ((3 . 14) (4 . 15) (5 . 16) (14 . 30) (15 . 31) (16 . 32) (17 . 34))
  1447    0.5261    4.2509   ((3 . 1) (4 . 2) (5 . 3) (8 . 4) (9 . 5) (14 . 6) (15 . 7) (16 . 8) (17 . 9) (18 . 10))
  1493    0.2632    6.0405   ((4 . 37) (5 . 38) (8 . 40) (9 . 41) (14 . 44))
  1764    0.5788    4.4815   ((2 . 14) (3 . 15) (4 . 16) (5 . 17) (8 . 18) (9 . 19) (14 . 20) (15 . 21) (16 . 22) (17 . 23) (18 . 28))
  1902    0.4210    4.1971   ((3 . 19) (4 . 20) (5 . 21) (8 . 22) (9 . 23) (14 . 25) (15 . 26) (17 . 28))
  1949    0.4734    4.4173   ((3 . 2) (4 . 3) (5 . 4) (8 . 6) (14 . 16) (15 . 17) (16 . 19) (17 . 20) (18 . 21))
  2059    0.5261    3.1868   ((3 . 4) (4 . 5) (5 . 6) (8 . 7) (9 . 8) (13 . 12) (14 . 13) (15 . 14) (16 . 15) (17 . 16))
  2067    0.3684    6.8731   ((3 . 2) (4 . 3) (5 . 4) (8 . 6) (14 . 48) (15 . 50) (16 . 52))
  2413    0.5785    6.1868   ((3 . 1) (4 . 3) (5 . 4) (8 . 6) (9 . 7) (13 . 11) (14 . 12) (15 . 13) (16 . 14) (17 . 15) (19 . 17))
  2527    0.2105    7.2935   ((8 . 3) (9 . 4) (14 . 7) (15 . 11))
  2558    0.2631    6.7331   ((1 . 9) (2 . 10) (5 . 11) (14 . 15) (15 . 16))
  2584    0.4161    4.9254   ((3 . 2) (4 . 3) (5 . 4) (8 . 7) (9 . 8) (11 . 17) (14 . 18) (16 . 21))
  2625    0.4209    6.7918   ((3 . 2) (4 . 3) (5 . 4) (8 . 8) (14 . 42) (15 . 44) (16 . 46) (17 . 47))
  2682    0.4362    7.0929   ((3 . 1) (4 . 2) (5 . 3) (14 . 16) (15 . 17) (16 . 18) (17 . 19) (18 . 20) (19 . 21))
  2702    0.4737    2.7234   ((3 . 4) (4 . 5) (5 . 6) (8 . 8) (9 . 9) (14 . 13) (15 . 14) (16 . 15) (17 . 16))
  2705    0.4737    3.8579   ((3 . 1) (4 . 2) (5 . 3) (8 . 4) (9 . 5) (14 . 8) (15 . 9) (16 . 10) (17 . 11))
  2864    0.2632    4.7038   ((5 . 21) (8 . 22) (9 . 23) (14 . 28) (15 . 29))
  2868    0.5773    4.4887   ((2 . 14) (3 . 15) (4 . 16) (5 . 17) (8 . 18) (9 . 19) (14 . 20) (15 . 21) (16 . 22) (17 . 23) (18 . 29))
  2894    0.5263    3.5411   ((3 . 3) (4 . 4) (5 . 5) (8 . 7) (9 . 8) (13 . 12) (14 . 13) (15 . 14) (16 . 15) (17 . 16))
  2984    0.4736    5.1230   ((3 . 1) (4 . 2) (5 . 3) (8 . 7) (9 . 8) (14 . 9) (15 . 10) (16 . 11) (17 . 12))
  3174    0.5239    5.4084   ((3 . 1) (4 . 2) (5 . 3) (8 . 4) (9 . 5) (14 . 7) (15 . 8) (16 . 10) (17 . 11) (18 . 16))
  3225    0.4737    3.7907   ((3 . 2) (4 . 3) (5 . 4) (8 . 5) (9 . 6) (14 . 10) (15 . 11) (16 . 12) (17 . 13))
  3241    0.4734    4.5737   ((3 . 1) (4 . 2) (5 . 3) (8 . 4) (9 . 5) (14 . 7) (15 . 8) (16 . 9) (17 . 10))
  3404    0.3684    4.6840   ((3 . 3) (4 . 4) (5 . 5) (8 . 6) (9 . 7) (14 . 9) (19 . 15))
  3634    0.4160    7.0368   ((3 . 3) (4 . 4) (5 . 5) (14 . 15) (15 . 16) (16 . 18) (17 . 19) (19 . 23))
  3755    0.5261    4.3422   ((3 . 1) (4 . 2) (5 . 3) (8 . 5) (9 . 6) (14 . 7) (15 . 8) (16 . 9) (17 . 10) (18 . 11))
  3945    0.4736    5.4300   ((3 . 1) (4 . 2) (5 . 3) (8 . 5) (9 . 6) (14 . 7) (15 . 8) (16 . 9) (17 . 10))
  3995    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 8) (9 . 9) (11 . 11) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (23 . 23))
  4016    0.5261    4.9664   ((3 . 1) (4 . 2) (5 . 3) (8 . 5) (9 . 6) (14 . 8) (15 . 9) (16 . 11) (17 . 12) (18 . 15))
  4049    0.3158    7.4868   ((4 . 21) (11 . 24) (13 . 25) (14 . 28) (15 . 31) (17 . 32))
  4118    0.5153    4.1140   ((3 . 4) (4 . 5) (5 . 6) (8 . 8) (9 . 9) (13 . 12) (14 . 13) (15 . 14) (16 . 15) (17 . 16))
  4266    0.5262    5.4157   ((3 . 2) (4 . 3) (5 . 4) (8 . 5) (9 . 6) (14 . 7) (15 . 8) (17 . 12) (18 . 16) (19 . 18))
  4399    0.5260    5.8188   ((3 . 1) (4 . 2) (5 . 3) (8 . 4) (9 . 5) (14 . 7) (15 . 8) (16 . 9) (17 . 11) (18 . 15))
  4455    0.2890    4.4282   ((3 . 1) (4 . 2) (5 . 3) (8 . 5) (11 . 15) (14 . 16) (15 . 17) (16 . 18) (17 . 19))
  4560    0.4737    3.2759   ((3 . 1) (4 . 5) (5 . 6) (8 . 7) (9 . 8) (14 . 10) (15 . 11) (16 . 12) (17 . 17))
  4561    0.4737    4.1050   ((3 . 1) (4 . 4) (5 . 5) (8 . 6) (9 . 7) (14 . 8) (15 . 9) (16 . 11) (17 . 16))
  4602    0.5261    4.8067   ((3 . 1) (4 . 2) (5 . 3) (8 . 4) (9 . 5) (14 . 6) (15 . 7) (16 . 8) (17 . 9) (18 . 11))
  4998    0.4736    5.7991   ((3 . 1) (4 . 2) (5 . 3) (8 . 5) (9 . 6) (14 . 21) (15 . 23) (16 . 24) (17 . 25))
  5174    0.4736    4.5322   ((3 . 21) (4 . 22) (5 . 23) (8 . 24) (9 . 25) (14 . 27) (15 . 28) (16 . 31) (17 . 32))
  5226    0.4736    4.4185   ((3 . 1) (4 . 2) (5 . 3) (8 . 5) (9 . 6) (14 . 7) (15 . 8) (16 . 9) (17 . 10))
  5579    0.4737    4.0086   ((3 . 11) (4 . 12) (5 . 13) (8 . 15) (9 . 16) (14 . 20) (15 . 23) (16 . 24) (17 . 25))
  5707    0.4737    4.2813   ((3 . 1) (4 . 2) (5 . 3) (8 . 4) (9 . 5) (14 . 6) (15 . 7) (16 . 8) (17 . 9))
  5860    0.4425    5.5758   ((3 . 4) (4 . 5) (5 . 6) (8 . 7) (9 . 8) (14 . 12) (15 . 13) (17 . 15) (18 . 17))
END