124571domain: NAppears in sequencesa(0) = 0, a(n+1) = a(n) + next prime larger than a(n).at n=16A063807The maximum number of coins that can be processed in n weighings where all coins are real except for one LHR-coin.at n=13A279682