collatzconj
