Added collatz model for C4, none of this is cleaned up yet, still testing