Proven Yagel Primes

Largest prime in this catalogue

p₅# · 13⁴⁴⁷⁶³ + 1

Order k = 6, exponent n = 44,763 on the plus face: 49,867 decimal digits, proven by Pocklington's N−1 test. Compute it in your browser →

Every entry below is a prime of the form pk−1# · pkn ± 1, for an order k and an exponent n. Each one is proven, not merely probable: on the minus face by the Lucas N+1 test and on the plus face by Pocklington's N−1 test. Both tests are available at every cell of the grid because one neighbor of a Yagel number, pk−1# · pkn, is completely factored by construction. The proof method column names the criterion used for each value; the underlying primality certificate — the witness data checked against that criterion for that exact integer — is held with the project's records and is not published on this site. The theory and the computations behind the catalogue are set out in the living paper.

5,751 proven primes — 2,889 on the minus face, 2,862 on the plus face. 31 orders and exponents are prime on both faces, giving a twin pair. Index v2026-09-24.

5,751 of 5,751 proven primes shown

number k n face digits ▼ proof method
p₅#·13⁴⁴⁷⁶³ + 1644763+149,867Pocklington N−1
p₂#·5⁶⁸³²⁰ − 1368320−147,755Lucas N+1
p₁#·3⁹⁰⁰¹² − 1290012−142,947Lucas N+1
p₅#·13³⁶⁸⁶⁶ − 1636866−141,070Lucas N+1
p₃#·7⁴⁷⁷⁴² + 1447742+140,349Pocklington N−1
p₄#·11³⁸¹²⁴ + 1538124+139,705Pocklington N−1
p₁#·3⁸²⁷⁸⁰ + 1282780+139,497Pocklington N−1
p₃#·7⁴⁵⁹⁷⁵ − 1445975−138,855Lucas N+1
p₅#·13³³⁸⁶⁹ + 1633869+137,732Pocklington N−1
p₈#·23²⁷⁶⁸⁷ − 1927687−137,710Lucas N+1
p₇#·19²⁸²⁷¹ − 1828271−136,158Lucas N+1
p₁#·3⁷⁵⁵⁵¹ − 1275551−136,048Lucas N+1
p₄#·11³³⁶⁹⁰ + 1533690+135,087Pocklington N−1
p₈#·23²⁵⁷³⁷ − 1925737−135,054Lucas N+1
p₄#·11³³⁵¹⁷ − 1533517−134,907Lucas N+1
p₆#·17²⁷⁶²³ − 1727623−133,994Lucas N+1
p₁#·3⁶⁴⁸²² + 1264822+130,929Pocklington N−1
p₄#·11²⁸⁹⁷⁶ − 1528976−130,178Lucas N+1
p₂#·5⁴²⁵⁰⁰ − 1342500−129,708Lucas N+1
p₆#·17²³⁹¹⁷ + 1723917+129,434Pocklington N−1
p₉#·29¹⁸⁴³⁴ − 11018434−126,967Lucas N+1
p₅#·13²²⁸⁷² + 1622872+125,482Pocklington N−1
p₈#·23¹⁷⁹³⁹ − 1917939−124,436Lucas N+1
p₁#·3⁴⁹³⁴⁰ − 1249340−123,542Lucas N+1
p₆#·17¹⁸⁶⁷⁰ + 1718670+122,977Pocklington N−1
p₅#·13²⁰⁵⁸⁷ + 1620587+122,937Pocklington N−1
p₅#·13¹⁹⁰⁰² + 1619002+121,171Pocklington N−1
p₁#·3⁴³⁹⁵⁶ + 1243956+120,973Pocklington N−1
p₃#·7²⁴²⁹¹ + 1424291+120,530Pocklington N−1
p₈#·23¹⁴⁷⁸¹ + 1914781+120,135Pocklington N−1
p₂#·5²⁸⁷⁹³ + 1328793+120,127Pocklington N−1
p₄#·11¹⁹⁰²⁰ + 1519020+119,810Pocklington N−1
p₉₉₉#·7919³⁹¹⁸ + 110003918+118,664Pocklington N−1
p₄#·11¹⁷⁸⁴⁰ + 1517840+118,581Pocklington N−1
p₈#·23¹³²³⁸ − 1913238−118,034Lucas N+1
p₂#·5²⁵¹⁷⁶ − 1325176−117,599Lucas N+1
p₅#·13¹⁵⁴³⁷ − 1615437−117,200Lucas N+1
p₉#·29¹⁰⁸⁸⁹ − 11010889−115,933Lucas N+1
p₉#·29¹⁰⁸⁶⁴ − 11010864−115,896Lucas N+1
p₃#·7¹⁷⁶⁵⁸ − 1417658−114,925Lucas N+1
p₈#·23¹⁰⁶⁹⁰ − 1910690−114,564Lucas N+1
p₅#·13¹³⁰³⁸ − 1613038−114,527Lucas N+1
p₄#·11¹³⁶¹⁸ − 1513618−114,185Lucas N+1
p₃#·7¹⁶⁶⁵⁰ − 1416650−114,073Lucas N+1
p₅#·13¹²²¹³ − 1612213−113,608Lucas N+1
p₅#·13¹²¹⁶⁰ + 1612160+113,549Pocklington N−1
p₈#·23⁹⁷⁸⁹ + 199789+113,337Pocklington N−1
p₃#·7¹⁴⁶⁰⁰ − 1414600−112,340Lucas N+1
p₄#·11¹¹⁸²⁷ − 1511827−112,319Lucas N+1
p₅#·13¹⁰⁸¹⁷ + 1610817+112,053Pocklington N−1
p₅#·13¹⁰⁷⁶² − 1610762−111,992Lucas N+1
p₄₉#·229⁵⁰¹⁰ − 1505010−111,912Lucas N+1
p₇#·19⁹¹⁹⁷ − 189197−111,767Lucas N+1
p₂#·5¹⁶²⁹⁴ − 1316294−111,390Lucas N+1
p₄₇#·223⁴⁶⁴³ − 1484643−110,988Lucas N+1
p₇#·19⁸¹²⁵ + 188125+110,396Pocklington N−1
p₄₈#·227⁴³¹⁹ − 1494319−110,263Lucas N+1
p₈#·23⁷⁵²⁹ + 197529+110,260Pocklington N−1
p₁#·3²¹¹¹⁴ − 1221114−110,075Lucas N+1
p₈#·23⁷³¹⁸ − 197318−19,973Lucas N+1
p₅#·13⁸⁴⁰⁸ − 168408−19,370Lucas N+1
p₅#·13⁸³³⁹ − 168339−19,293Lucas N+1
p₁#·3¹⁸⁸⁰⁶ − 1218806−18,974Lucas N+1
p₃#·7¹⁰³⁵⁹ + 1410359+18,756Pocklington N−1
p₈#·23⁶³⁵⁴ − 196354−18,660Lucas N+1
p₅#·13⁷⁷¹³ + 167713+18,596Pocklington N−1
p₇#·19⁶⁶⁷⁵ − 186675−18,542Lucas N+1
p₁#·3¹⁷⁷²⁰ + 1217720+18,455Pocklington N−1
p₅#·13⁷³²⁷ − 167327−18,166Lucas N+1
p₂#·5¹¹¹⁷⁸ − 1311178−17,814Lucas N+1
p₉₉₉#·7919¹⁰⁹⁸ − 110001098−17,670Lucas N+1
p₃#·7⁸⁵⁷³ − 148573−17,247Lucas N+1
p₈#·23⁴⁹²⁹ + 194929+16,719Pocklington N−1
p₄₈#·227²⁸⁰³ − 1492803−16,691Lucas N+1
p₆#·17⁵³⁵⁶ − 175356−16,595Lucas N+1
p₁#·3¹³⁷⁸² + 1213782+16,576Pocklington N−1
p₉#·29⁴³⁴⁵ − 1104345−16,363Lucas N+1
p₄₇#·223²⁶¹⁷ − 1482617−16,230Lucas N+1
p₂#·5⁸⁴⁶² + 138462+15,916Pocklington N−1
p₁#·3¹²³¹² − 1212312−15,875Lucas N+1

Click a number to compute its exact value on the datasets page; click the k, n or digits headings to sort. A cell whose two faces are both prime gives a twin pair — two primes differing by 2 — and is marked accordingly. The catalogue is also available as primes.json, and the per-row primality index as index.json.