Li-Fan Chen says to YSITD
2^517 - 1