Primality certificates for n = 3613, 3853, 3929, 5297, 7417 for this sequence: http://oeis.org/A057468