%I #18 Mar 16 2020 18:24:53
%S 0,0,1,0,1,4,4,0,4,6,4,4,9,4,1,0,1,4,9,16,4,4,3,16,21,22,13,4,24,16,4,
%T 0,4,18,11,4,34,28,22,16,37,4,41,4,31,26,17,16,11,46,1,48,47,40,26,32,
%U 28,24,45,16,57,4,4,0,61,4,55,52,49,46,50,40,37
%N Tower of 4s mod n.
%C a(n) = (4^(4^(4^(4^(4^ ... ))))) mod n, provided sufficient 4s are in the tower such that adding more doesn't affect the value of a(n).
%H Wayne VanWeerthuizen, <a href="/A245971/b245971.txt">Table of n, a(n) for n = 1..10000</a>
%o (Sage)
%o def tower4mod(n):
%o if n <= 10:
%o return 256%n
%o else:
%o ep = euler_phi(n)
%o return power_mod(4,ep+tower4mod(ep),n)
%o [tower4mod(n) for n in range(1, 30)]
%o (Haskell)
%o import Math.NumberTheory.Moduli (powerMod)
%o a245971 n = powerMod 4 (phi + a245971 phi) n
%o where phi = a000010 n
%o -- _Reinhard Zumkeller_, Feb 01 2015
%Y Cf. A240162, A245970, A245972, A245973, A245974.
%Y Cf. A000010, A000302.
%K nonn,easy
%O 1,6
%A _Wayne VanWeerthuizen_, Aug 08 2014
|