cp's OEIS Frontend

It is conjectured that the sequence {A364115(n)} and the shifted sequence {A364115(n-1)} both satisfy the supercongruences A364115(p^r) == A364115(p^(r-1)) (mod p^(3*r)) for all primes p >= 5 and positive integers r. Stronger supercongruences may hold for the present sequence, a linear combination of A364115(n) and A364115(n-1).

Conjectures: 1) the supercongruences a(p) == a(1) (mod p^5) hold for all primes p >= 7 (checked up to p = 101).

2) for r >= 2, the supercongruences a(p^r) == a(p^(r-1)) (mod p^(3*r+3)) hold for all primes p >= 7. Cf. A212334.

There is also a multiplicative version of this sequence. Define a sequence of rational numbers {b(n) : n >= 1} by b(n) = A364115(n)^63 / A364115(n-1)^17. Then we conjecture that the above pair of supercongruences also hold for the sequence {b(n)}.