Adding TestCollatz files