Technical Report No. 2013-4: Automorphisms of Models of Arithmetic (AU-CAS-MathStats)