See Richard Brent page for more information.

Certificates are available for degree 1279, 2281, 3217, 4423, 9689, 19937, 23209, 44497, 110503, 132049, 756839, 859433, 3021377, 6972593, 24036583, 25964951, 30402457, 32582657, 42643801, 43112609, 57885161, 74207281 (a copy of those log files can be obtained on Richard Brent's log page).

How to check a certificate?. First download the certificate, uncompress it (gunzip ixxx.log-ext.gz), download the check.magma program, replace the value of r and the file name in the first lines, then start Magma and type:

Note: due to a bug in Magma up to version V2.21-3, some trinomials are not correctly checked.

Alternatively, you can download the check-ntl.c file, compile it with NTL, and run check-ntl 32582657 < i32582657.log-ext (for example). Note: this works only up from 859433, since other certificates do not contain factors of small degree.

Status of new Mersenne exponents:

• r=13466917 (M39): ruled out by Swan theorem since r=5 (mod 8), and x^r+x^2+1 is divisible by x^2+x+1.
• r=20996011 (M40): ruled out by Swan theorem since r=3 (mod 8), and x^r+x^2+1 is divisible by x^2+x+1.
• r=24036583 (M41): search started on April 25, 2007, completed on August 27, 2007: there are exactly two primitive trinomials (with their reciprocal) which have been checked by Allan Steel using Magma:
x24036583 + x8785528 + 1,          x24036583 + x8412642 + 1.
• r=25964951 (M42): search started on July 19, 2007, completed on November 3, 2007: there are exactly four primitive trinomials (with their reciprocal) which have been checked by Allan Steel using Magma:
x25964951 + x880890 + 1,    x25964951 + x4627670 + 1,    x25964951 + x4830131 + 1,    x25964951 + x6383880 + 1.
• r=30402457 (M43): search started on October 22, 2007, completed on December 12, 2007: there is exactly one primitive trinomial (with its reciprocal), which has been checked by Allan Steel using Magma:
x30402457 + x2162059 + 1.
• r=32582657 (M44): search started on November 30, 2007, completed on January 24, 2008: there are exactly three primitive trinomials (with their reciprocals), which have been checked by Allan Steel using Magma:
x32582657 + x5110722 + 1,    x32582657 + x5552421 + 1,    x32582657 + x7545455 + 1.
• r=37156667 (M45): ruled out by Swan's theorem since r=3 mod 8, and x^r+x^2+1 is divisible by x^5+x^2+1.
• r=43,112,609 (M46): search started on September 18, 2008, completed on May 8th, 2009: there are exactly four primitive trinomials (with their reciprocals), which have been checked by Allan Steel using Magma (except the third one). This search was done with the help of Tanja Lange, Dan Bernstein, and TU Eindhoven's Coding and Cryptography Computer Cluster:
x43112609 + x3569337 + 1,    x43112609 + x4463337 + 1,    x43112609 + x17212521 + 1,    x43112609 + x21078848 + 1.
• r=42,643,801 (M47): search started on June 12, 2009, completed on September 16, 2009: there are exactly five primitive trinomials (with their reciprocals), which have been checked by Allan Steel using Magma.
x42643801 + x55981 + 1,    x42643801 + x3706066 + 1,    x42643801 + x3896488 + 1,    x42643801 + x12899278 + 1,    x42643801 + x20150445 + 1.
• r=57,885,161 (M48): search started on February 6, 2013, completed on May 13, 2013: no primitive trinomial exists of this degree. This is the first Mersenne exponent for which this occurs.
• r=74,207,281 (M49): search started on January 25, 2016, completed on April 5, 2016. There are three primitive trinomials (checked by Grégoire Lecerf using some independent code):
x74207281 + x9156813 + 1,    x74207281 + x9999621 + 1,    x74207281 + x30684570 + 1.
• r=77232917 (M50): ruled out by Swan theorem since r=5 (mod 8), and x^r+x^2+1 is divisible by x^3+x+1.
• r=82589933 (M51): ruled out by Swan theorem since r=5 (mod 8), and x^r+x^2+1 is divisible by x^3+x+1.