4290927domain: NAppears in sequencesDegrees of irreducible representations of Janko group J4.at n=13A003907