# python3 3.14.4 + mpmath iv (120 bits); cert_C3s.lhs_split (sha 54892305), v7 paper rows
Lemma C'''_delta, delta = 1/5, all even N in [4e18, exp(1800)], K = 18: left side in [0.209698, 0.209801] vs G0' > 0.2774978: HOLDS
Lemma C'''_delta, delta = 1/5, all even N in [4e18, exp(1800)], K = 17: left side in [0.564615, 0.564888] vs G0' > 0.2774978: FAILS
Lemma C'''_delta, delta = 1/5, all even N in [4e18, exp(350)], K = 14: left side in [0.149686, 0.149761] vs G0' > 0.2774978: HOLDS
Lemma C'''_delta, delta = 1/5, all even N in [4e18, exp(62)], K = 9: left side in [0.241317, 0.241439] vs G0' > 0.2774978: HOLDS
Lemma C'''_delta, delta = 1/5, all even N in [4e18, exp(2736.86)], K = 18: left side in [0.628287, 0.628589] vs G0' > 0.2774978: FAILS
Lemma C'''_delta, delta = 1/5, all even N in [4e18, exp(73)], K = 8: left side in [1.003775, 1.004244] vs G0' > 0.2774978: FAILS
