H. Möller, Über Hasses Verallgemeinerung des Syracuse-Algorithmus
Acta Arith., 34 (1978)
This paper claims A. Fraenkel checked that for all ,
a result in error .
In a note added in proof it asserts the proofs of Terras 
They seem essentially correct to me, and Terras  supplies
elided details.