144209domain: NAppears in sequencesDiscriminants of totally real quintic fields.at n=18A023683Number of conjugacy classes of elements of order n in 2.E_7(C).at n=37A045515