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