@@@ utils/: Add Pocklington proofs for important prime numbers.
[catacomb] / utils / ed448.pock
1 ;;; -*-conf-windows-*-
2
3 sievebits 32
4
5 small 271 = 271
6 small 2531 = 2531
7 small 379979 = 379979
8 small 1255525949 = 1255525949
9 small 1335912079 = 1335912079
10 small 1764234391 = 1764234391
11
12 pock $p.0 = 2, 475164, [271, 379979]
13 pock $p.1 = 3, 338688, [2531, $p.0]
14 pock $p.2 = 2, 9846158, [1764234391]
15 pock $p.3 = 2, 520, [$p.2]
16 pock $p.4 = 3, 8251, [$p.3]
17 pock $p.5 = 2, 12, [1335912079]
18 pock $p.6 = 2, 392, [$p.5]
19 pock $p.7 = 3, 592753238784, [1255525949, $p.6]
20 pock 2p448m2p224m1 = 2, 97101489617462949088673466836125803538803873344385433, [$p.1, $p.4, $p.7]
21 check 2p448m2p224m1, 448, 726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439