145767domain: NAppears in sequencesStarting positions of strings of four 7's in the decimal expansion of Pi.at n=20A083632Consider the number of lines in the Pratt certificate for the n-th prime (A037202). This sequence shows where 2n first occurs.at n=16A244624