In A078457 and similar seqs, shouldn't we shorten "... such that the remainder when 3^k is divided by k is n." by "... such that 3^k mod k == n." Makes it way better readable IMHO.