3403149domain: NAppears in sequencesDegrees of irreducible representations of Janko group J4.at n=11A003907Degrees of irreducible representations of Janko group J4.at n=12A003907