134463domain: NAppears in sequencesSums of 3 distinct powers of 7.at n=31A038482Numbers k such that k^3 divides 4^(k^2) - 1.at n=21A129212