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