corrected RunCollatz