139725domain: NAppears in sequencesLet P1>=3, P2, P3 be consecutive primes, with P3-P2=2. a(n)=(P2+P3)/12 when P2-P1 sets a record.at n=17A3291586*a(n) - 1 is the least prime p of a pair of twin primes p, p + 2, for which the prime gap immediately below p achieves the size 2*A007494(n).at n=32A337435