Quote:
Originally Posted by Lexicographer
(I wanted to overcome the 100K limit by trial factoring M163456 = M(2 ^{7}*1277), which is a product of M1277, and looking if there are any new factors between 2113601438322189019 < 2^65 and 2^80 < 1227156720026097481648213, both of which are consecutive factors of M163456).

As ATH mentioned above, enough ECM has been done on M1277 to make us fairly sure that there can be no factors smaller than about 2
^{183}. The probability that there could be an undiscovered factor of size 2
^{80} or smaller is about the same as the odds of winning a hundred million dollars in the lottery not just once but many times in a row.