111165448domain: NAppears in sequencesTrajectory of 8 under iteration of the map k -> A087712(k).at n=9A144813