black_knight 12 hours ago

I hope this has a mechanism for letting you know if it inadvertently finds a counterexample to Collatz!