649190domain: NAppears in sequencesConsider the number of lines in the Pratt certificate for the n-th prime (A037202). This sequence shows where 2n first occurs.at n=18A244624