1. R. T. Curtis and Z. Hasan, Symmetric representation of the elements of the Janko group J1, J. Symbolic Comput. 22 (1996), no. 2, 201–214.[MR]