Certificate
- ratio-lemma checks: 10071, fails=0, minratio=2 - standard pairs checked: 980238, fails=0, c1=0, kinds={'coprime': 949242, 'same-q-tight': 2254, 'lift-room': 27210, 'mixed-tight': 1532} - q3 complete: pairs=37, checked=124, fails=124,…
- ratio-lemma checks: 10071, fails=0, min_ratio=2
- standard pairs checked: 980238, fails=0, c1=0, kinds={'coprime': 949242, 'same-q-tight': 2254, 'lift-room': 27210, 'mixed-tight': 1532}
- q3 complete: pairs=37, checked=124, fails=124, complementary=124
- program L k<=200: checked=7184124, fails=0, q3_comp=0, max_cluster=192
- admissible tight k<=1500: cands=73814, pair_ok=1365201, pair_fail=21, novel_fails=0, triples_ok=3994891, triple_fail=0
q=3 layers by L: L=840: [16, 79] L=2520: [7, 34] L=5040: [7, 34] L=55440: [7, 34, 520, 2599] L=720720: [7, 34, 88, 439, 520, 2599, 6757, 33784]