7158330089domain: NAppears in sequencesMinimal polynomials of nimbers *(2^(2^n)-1), evaluated at 2.at n=4A382121