ByNobleID
    Another characterization of Janko's simple group J4 | NobleID