Z->Z^7+C by LHS on Thu Jul 23 23:17:03 EDT 1998