Skip to content

Commit 007ec98

Browse files
committed
update work done
1 parent a0239b8 commit 007ec98

File tree

3,610 files changed

+1256299
-31
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

3,610 files changed

+1256299
-31
lines changed

certificates/0/0/0009e7347d47c8d27a19c9cb8aa473f2.primecert

+318
Large diffs are not rendered by default.

certificates/0/0/002209a2bcff0759e42dd229cd77a7e5.primecert

+396
Large diffs are not rendered by default.

certificates/0/0/0024a8c27f63d56b616fa725379d70d4.primecert

+331
Large diffs are not rendered by default.

certificates/0/0/002b0a4a269bebaf897a5e197326b41a.primecert

+373
Large diffs are not rendered by default.

certificates/0/0/002d2c0f4a8d8e9cc99baaeeececd08a.primecert

+297
Large diffs are not rendered by default.

certificates/0/0/0036b8a9f6d180ef78c063c1c6189e75.primecert

+366
Large diffs are not rendered by default.

certificates/0/0/00708da7debe310daf8c75145d8be8c6.primecert

+420
Large diffs are not rendered by default.

certificates/0/0/0097328e3a55bf7d327ed3f4c055a0ff.primecert

+387
Large diffs are not rendered by default.

certificates/0/0/009d668142223bed1ee903b6506b2bc5.primecert

+382
Large diffs are not rendered by default.

certificates/0/0/00b60898ae14e2425f6ae12835969510.primecert

+308
Large diffs are not rendered by default.

certificates/0/0/00d385b957cf5d98b36628b7b322c2c2.primecert

+380
Large diffs are not rendered by default.

certificates/0/0/00dd4a6536f9328f2a767ba6c5160ab1.primecert

+395
Large diffs are not rendered by default.

certificates/0/1/01289d9727d60f94c4d5f2fe324cb875.primecert

+424
Large diffs are not rendered by default.

certificates/0/1/0134640be1d945174ab19ec5244e7f41.primecert

+376
Large diffs are not rendered by default.

certificates/0/1/0141e062e714e0d7e1bd2f518070a8fd.primecert

+302
Large diffs are not rendered by default.

certificates/0/1/0142c7ffb07e339c3764457eceeaea37.primecert

+328
Large diffs are not rendered by default.

certificates/0/1/014c927471a400f0a8a0d32969e86498.primecert

+338
Large diffs are not rendered by default.

certificates/0/1/015628b7dcff91d757447fe14f148cab.primecert

+417
Large diffs are not rendered by default.

certificates/0/1/016072f1c587525f21bae7c557866f82.primecert

+337
Large diffs are not rendered by default.

certificates/0/1/01a4fcf11062f720a4b7156204d11af0.primecert

+379
Large diffs are not rendered by default.

certificates/0/1/01b6fc02ef703ec82b8d428837e57ea8.primecert

+352
Large diffs are not rendered by default.

certificates/0/1/01ddb43316f3b10ab00342b7325769cb.primecert

+397
Large diffs are not rendered by default.

certificates/0/1/01e517aa8266752da04b9b5b14afdca3.primecert

+319
Large diffs are not rendered by default.

certificates/0/1/01fa2ef6343b880a306f0e9a5e8dcff2.primecert

+365
Large diffs are not rendered by default.
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
[MPU - Primality Certificate]
2+
Version 1.0
3+
4+
Proof for:
5+
N 197586606381210884407826457247
6+
7+
Type BLS5
8+
N 197586606381210884407826457247
9+
Q[1] 5115327288999050659511
10+
A[0] 3
11+
----
12+
13+
Type BLS5
14+
N 5115327288999050659511
15+
Q[1] 39348671453838851227
16+
A[0] 19
17+
----
18+
19+
Type BLS5
20+
N 39348671453838851227
21+
Q[1] 651907957
22+
----

certificates/0/2/0242b5e673c98a52acd1184760ed8d13.primecert

+323
Large diffs are not rendered by default.

certificates/0/2/025e6926256262040cdde783f16c0e76.primecert

+379
Large diffs are not rendered by default.

certificates/0/2/0268859c9e0f60a8c2694264d8061ff2.primecert

+341
Large diffs are not rendered by default.

certificates/0/2/026c9963b4a8f7d89b9fe3ec913956fc.primecert

+408
Large diffs are not rendered by default.
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
[MPU - Primality Certificate]
2+
Version 1.0
3+
4+
Proof for:
5+
N 26128881652451974774696127647
6+
7+
Type BLS5
8+
N 26128881652451974774696127647
9+
Q[1] 945673
10+
Q[2] 182813
11+
A[0] 3
12+
----

certificates/0/2/0272fa172fe41f71725787f63b81562a.primecert

+366
Large diffs are not rendered by default.

certificates/0/2/0297a98ac39864fa690a5cf11de13e20.primecert

+370
Large diffs are not rendered by default.

certificates/0/2/0297cc2d64f79405025ad562fb1cb49a.primecert

+440
Large diffs are not rendered by default.

certificates/0/2/02a876296195c0fe8075fee31fa7019a.primecert

+424
Large diffs are not rendered by default.

certificates/0/2/02d566dff7ec761483e2b0d350c54420.primecert

+372
Large diffs are not rendered by default.

certificates/0/2/02d6a0078b92a65190f66d1c8bce5750.primecert

+409
Large diffs are not rendered by default.

certificates/0/2/02dea40f8ab14d400369bdecdaee139a.primecert

+330
Large diffs are not rendered by default.

certificates/0/2/02e15e13ad654d7e0f9890bf4727e469.primecert

+449
Large diffs are not rendered by default.

certificates/0/2/02fa90e164e462949506b41d08983ce5.primecert

+306
Large diffs are not rendered by default.

certificates/0/3/0330528524c428645df52e52e0cc1025.primecert

+380
Large diffs are not rendered by default.

certificates/0/3/033109cdc1604e7fdb4af75cdee293ef.primecert

+375
Large diffs are not rendered by default.

certificates/0/3/03324b115b30cfa7204b03ed5c1b7248.primecert

+431
Large diffs are not rendered by default.

certificates/0/3/0333777270882818a364712c4270ba0b.primecert

+372
Large diffs are not rendered by default.

certificates/0/3/033cd1181a53aad9332c5d7931c8ff5c.primecert

+432
Large diffs are not rendered by default.

certificates/0/3/037f4c1e73a2fefd999ddb75f040c435.primecert

+397
Large diffs are not rendered by default.

certificates/0/3/038c16bc7c9f8d49c27d648645ac2a51.primecert

+351
Large diffs are not rendered by default.

certificates/0/3/03b63b4e2d3ef479f9c7a9a643124dff.primecert

+404
Large diffs are not rendered by default.

certificates/0/3/03b76c6c344fa7474bcc5ad349dcc23d.primecert

+406
Large diffs are not rendered by default.

certificates/0/3/03be4997144821cd140fdf43dfd99882.primecert

+319
Large diffs are not rendered by default.

certificates/0/3/03bfd2fabab39aa7169f1f140709cf88.primecert

+391
Large diffs are not rendered by default.

certificates/0/3/03d270ffbc58e9bb26b89a511352053d.primecert

+377
Large diffs are not rendered by default.

certificates/0/3/03ea21e3ff0e033f7c0785067a890973.primecert

+337
Large diffs are not rendered by default.

certificates/0/3/03ec94e132aa13f7fec3bb6b1a31a89f.primecert

+419
Large diffs are not rendered by default.

certificates/0/4/040da98f75fb1e7b54657fb053f800c3.primecert

+382
Large diffs are not rendered by default.

certificates/0/4/040ede9d1659a671352e261007d66a29.primecert

+373
Large diffs are not rendered by default.
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
[MPU - Primality Certificate]
2+
Version 1.0
3+
4+
Proof for:
5+
N 396806351547083892466414398968524423279
6+
7+
Type BLS5
8+
N 396806351547083892466414398968524423279
9+
Q[1] 64123
10+
Q[2] 21391
11+
Q[3] 461
12+
Q[4] 7
13+
A[0] 3
14+
----

certificates/0/4/04401000705bc42bde0d7e5da0a2c390.primecert

+337
Large diffs are not rendered by default.

certificates/0/4/046be97014adf777f250831451c81de1.primecert

+364
Large diffs are not rendered by default.

certificates/0/4/0470b9ffc5b792f8706916c1f93db639.primecert

+381
Large diffs are not rendered by default.
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
[MPU - Primality Certificate]
2+
Version 1.0
3+
4+
Proof for:
5+
N 853505795310231228231852017110684999
6+
7+
Type BLS5
8+
N 853505795310231228231852017110684999
9+
Q[1] 59345417557379448493384231477589
10+
A[0] 3
11+
----
12+
13+
Type BLS5
14+
N 59345417557379448493384231477589
15+
Q[1] 43523445199082082436529
16+
----
17+
18+
Type BLS5
19+
N 43523445199082082436529
20+
Q[1] 5162221
21+
A[0] 3
22+
----
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
[MPU - Primality Certificate]
2+
Version 1.0
3+
4+
Proof for:
5+
N 10476302104688058843261169483739
6+
7+
Type BLS5
8+
N 10476302104688058843261169483739
9+
Q[1] 167009
10+
Q[2] 827
11+
Q[3] 173
12+
----

certificates/0/4/04c0feb4dc79b131a349f7b9146dfb03.primecert

+371
Large diffs are not rendered by default.

certificates/0/4/04eaebb913abea37fa1c18918a2e5fa4.primecert

+381
Large diffs are not rendered by default.

certificates/0/4/04f148a96ef63a78433b023747c68976.primecert

+437
Large diffs are not rendered by default.

certificates/0/4/04fe2949ed0217284f39180a55cddf5b.primecert

+392
Large diffs are not rendered by default.

certificates/0/5/050fbf9470e81bb38cf0a807f4b33fee.primecert

+441
Large diffs are not rendered by default.

certificates/0/5/051585d062c57f8285b6ac201f78bfd1.primecert

+313
Large diffs are not rendered by default.

certificates/0/5/051d0e4b70b468ca7a9cbb972a714573.primecert

+417
Large diffs are not rendered by default.

certificates/0/5/0527baa7a7c1fc9e38eea92516a4fd1b.primecert

+403
Large diffs are not rendered by default.

certificates/0/5/055252adeaa692a13d42c89bf4c417cd.primecert

+414
Large diffs are not rendered by default.

certificates/0/5/055f6f946583c795846b61e66bda828a.primecert

+416
Large diffs are not rendered by default.

certificates/0/5/057b57d552c550973a2ee05d9ea576ca.primecert

+323
Large diffs are not rendered by default.

certificates/0/5/058b437e5b9fb0356fdefc8a4223a690.primecert

+279
Large diffs are not rendered by default.
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
[MPU - Primality Certificate]
2+
Version 1.0
3+
4+
Proof for:
5+
N 294400475381474001026131138157149075313
6+
7+
Type ECPP
8+
N 294400475381474001026131138157149075313
9+
A 165224756591643572004461353047379583080
10+
B 282384129447536286698533948844612378364
11+
M 294400475381474001060136587974564284452
12+
Q 2237833891129815447871146796608017
13+
X 98276663
14+
Y 84744809347747184002420917134310971452
15+
16+
Type ECPP
17+
N 2237833891129815447871146796608017
18+
A 2237833891129815447871146796608008
19+
B 0
20+
M 2237833891129815477791810514922516
21+
Q 103278800315684399654189273
22+
X 613948914
23+
Y 754200374897572492729703732228962
24+
25+
Type ECPP
26+
N 103278800315684399654189273
27+
A 103278800315684399654189264
28+
B 0
29+
M 103278800315664535536238228
30+
Q 17433963591435606943997
31+
X 880095917
32+
Y 43725090583821256387278836
33+
34+
Type BLS15
35+
N 17433963591435606943997
36+
Q 14763860385310637
37+
LP 1
38+
LQ 2

certificates/0/5/05c4e3c1a36d738c2d187bada0f21c3f.primecert

+343
Large diffs are not rendered by default.

certificates/0/5/05ce65fdc5e646f0cba25824bca2699b.primecert

+404
Large diffs are not rendered by default.

certificates/0/5/05db6668d19007e4cd0907c5b2afe932.primecert

+363
Large diffs are not rendered by default.

certificates/0/5/05e443a39d86a905198300f6838e630b.primecert

+378
Large diffs are not rendered by default.

certificates/0/5/05e7c9a2c0ca64a8c758ebea4d4f8e72.primecert

+324
Large diffs are not rendered by default.

certificates/0/5/05eca8fce4f3be9c1933fc6998d2d024.primecert

+411
Large diffs are not rendered by default.

certificates/0/5/05ecb77c1a1976f17efc24dd3585588d.primecert

+338
Large diffs are not rendered by default.

certificates/0/5/05fb55aea638434715c193bb859a09b6.primecert

+338
Large diffs are not rendered by default.

certificates/0/6/0609ad82b79b7ada36ee6606f09a4a13.primecert

+370
Large diffs are not rendered by default.

certificates/0/6/064a38501d30a261774545f9fe98316c.primecert

+396
Large diffs are not rendered by default.

certificates/0/6/0654c05f8aa5bbe69941b217c83cf43c.primecert

+452
Large diffs are not rendered by default.

certificates/0/6/066a75e2a519e180222248bb7c44cf8c.primecert

+329
Large diffs are not rendered by default.

certificates/0/6/068c01d125f885d55756f47efa514fc9.primecert

+298
Large diffs are not rendered by default.

certificates/0/6/06ddd659695b85e9140666a71a19ac85.primecert

+362
Large diffs are not rendered by default.

certificates/0/7/0702f2e338d5d3d70037dc1e21bd1da3.primecert

+387
Large diffs are not rendered by default.

certificates/0/7/0704a84dbe3680f123ab47874fbac505.primecert

+301
Large diffs are not rendered by default.

certificates/0/7/07415db7f8d7562485fc91b977b8da3b.primecert

+365
Large diffs are not rendered by default.

certificates/0/7/0752c2d548254f7ecc1f36fe93f28ab9.primecert

+373
Large diffs are not rendered by default.

certificates/0/7/075acef3dc8e0d18d0f31da980f7592f.primecert

+359
Large diffs are not rendered by default.

certificates/0/7/075b03e0922500ec29406cb3ee1949f9.primecert

+343
Large diffs are not rendered by default.
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
[MPU - Primality Certificate]
2+
Version 1.0
3+
4+
Proof for:
5+
N 1642321980769798464199414910544101
6+
7+
Type BLS3
8+
N 1642321980769798464199414910544101
9+
Q 79703861665192861263821197
10+
A 2
11+
12+
Type ECPP
13+
N 79703861665192861263821197
14+
A 0
15+
B 79703861665192861263821195
16+
M 79703861665207612549807879
17+
Q 14326391451244837051
18+
X 2625274285
19+
Y 762532888278297455226937

certificates/0/7/0787983fff56e7055ee04fd931dc7bb9.primecert

+447
Large diffs are not rendered by default.

certificates/0/7/07a040d8c3ec421d8cb873b4ab30716b.primecert

+384
Large diffs are not rendered by default.
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
[MPU - Primality Certificate]
2+
Version 1.0
3+
4+
Proof for:
5+
N 24567653513250897862742739058906621
6+
7+
Type BLS5
8+
N 24567653513250897862742739058906621
9+
Q[1] 165363287
10+
Q[2] 23
11+
Q[3] 5
12+
Q[4] 3
13+
----

certificates/0/7/07a5f1499067eb8d00dce86e20a0ffc3.primecert

+332
Large diffs are not rendered by default.

certificates/0/7/07d08ef228d63e858efcc769e5c1c864.primecert

+339
Large diffs are not rendered by default.

certificates/0/7/07db73cd3c4cb372a7a2f5a5387a13f1.primecert

+395
Large diffs are not rendered by default.

certificates/0/8/082870f0925d0b1917945c784aee74fa.primecert

+355
Large diffs are not rendered by default.

certificates/0/8/082fe80e512d98740ea0ae523d5d3f78.primecert

+368
Large diffs are not rendered by default.

certificates/0/8/0830ef48691f780c72fe082c49b67784.primecert

+334
Large diffs are not rendered by default.

certificates/0/8/0832b4764323bdbac89bb786410fed86.primecert

+333
Large diffs are not rendered by default.

certificates/0/8/083da578691b836931a40991e43cc90b.primecert

+387
Large diffs are not rendered by default.

certificates/0/8/0841823c0ad8de2a84974da9b3cde207.primecert

+353
Large diffs are not rendered by default.

certificates/0/8/0844ce5af05f287196e078a1fd0a03a2.primecert

+325
Large diffs are not rendered by default.

certificates/0/8/084d07bdc00b35069f1aa775d691d2d8.primecert

+408
Large diffs are not rendered by default.
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
[MPU - Primality Certificate]
2+
Version 1.0
3+
4+
Proof for:
5+
N 23779181879876170355027037179760857
6+
7+
Type ECPP
8+
N 23779181879876170355027037179760857
9+
A 23779181879876170355027037179760848
10+
B 0
11+
M 23779181879876170545420097553385316
12+
Q 2622825490728039725905573
13+
X 1262431821
14+
Y 3157943023368250136392475211512197
15+
16+
Type BLS3
17+
N 2622825490728039725905573
18+
Q 2735084290340786987
19+
A 2

certificates/0/8/08c4965ee7bc2993d2b1b53d32a815e6.primecert

+402
Large diffs are not rendered by default.

certificates/0/8/08dbfa513fe27a741e8edd2d6677da47.primecert

+343
Large diffs are not rendered by default.
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
[MPU - Primality Certificate]
2+
Version 1.0
3+
4+
Proof for:
5+
N 1471767310204385491250451367
6+
7+
Type BLS15
8+
N 1471767310204385491250451367
9+
Q 14151608751965245108177417
10+
LP 2
11+
LQ 3
12+
13+
Type BLS3
14+
N 14151608751965245108177417
15+
Q 21479583176687177
16+
A 5

certificates/0/9/093df49ff659093c7df93ba06561b5ad.primecert

+443
Large diffs are not rendered by default.

certificates/0/9/09456d6d87fd061a2101a158f2bc59cf.primecert

+378
Large diffs are not rendered by default.

certificates/0/9/094a3a28927b790b7fd585cbc27c3ae0.primecert

+248
Large diffs are not rendered by default.

certificates/0/9/0965c4da6a2ebb7ab4dd891a7082af84.primecert

+423
Large diffs are not rendered by default.

certificates/0/9/097e944fbc614982638d2040d13b1416.primecert

+350
Large diffs are not rendered by default.

certificates/0/9/097f0c45b9219c4d52e8edc80ff26025.primecert

+418
Large diffs are not rendered by default.

certificates/0/9/0989f72bbae1c1ca8b1acf1b8c7663b1.primecert

+366
Large diffs are not rendered by default.

certificates/0/9/0992487ae5c3244bb9b6b038456dc6a0.primecert

+366
Large diffs are not rendered by default.

certificates/0/9/09a616b3d850e0f8d3f6979d27d72238.primecert

+317
Large diffs are not rendered by default.

certificates/0/9/09c34817d0c83eb1b51246a561dbb6f2.primecert

+336
Large diffs are not rendered by default.

certificates/0/9/09d58d9320c2dd9a9b6d7a987a977f11.primecert

+381
Large diffs are not rendered by default.

certificates/0/a/0a2dac4b53bae48d70a9effcb5785842.primecert

+407
Large diffs are not rendered by default.

certificates/0/a/0a4cef4c018988330c86eaaafd058f86.primecert

+331
Large diffs are not rendered by default.

certificates/0/a/0a4f963624684df47596a5e0663cd2da.primecert

+298
Large diffs are not rendered by default.
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
[MPU - Primality Certificate]
2+
Version 1.0
3+
4+
Proof for:
5+
N 16603989177281371624004170914097378799
6+
7+
Type BLS15
8+
N 16603989177281371624004170914097378799
9+
Q 30274679283308289359851151
10+
LP 2
11+
LQ 7
12+
13+
Type ECPP
14+
N 30274679283308289359851151
15+
A 13455413014803684159932764
16+
B 21304403940105833253242279
17+
M 30274679283299795024217929
18+
Q 6747556062917
19+
X 2044572792
20+
Y 10344713715776270239416022

certificates/0/a/0aadf576c0b808f019754fe9f347e9b1.primecert

+435
Large diffs are not rendered by default.

certificates/0/a/0ab1fe0d743b0302f861b1a570d6e576.primecert

+370
Large diffs are not rendered by default.

certificates/0/a/0abdb42fcfd1e3c62a58316e55a90a7b.primecert

+378
Large diffs are not rendered by default.

certificates/0/a/0ac10a3f4d9c728eb63ff31d3760db95.primecert

+366
Large diffs are not rendered by default.

certificates/0/a/0ac5390d589f7e2484e6208ae0cb37be.primecert

+345
Large diffs are not rendered by default.

certificates/0/a/0aeba65998c806ba513e30b39e0f48be.primecert

+386
Large diffs are not rendered by default.

certificates/0/b/0b1e1029d87106606583a222bca7eceb.primecert

+422
Large diffs are not rendered by default.

certificates/0/b/0b5302bad7e54fe65062a29019a6fcae.primecert

+369
Large diffs are not rendered by default.

certificates/0/b/0b7cbb06f2fe40fe2a506539b214591f.primecert

+413
Large diffs are not rendered by default.
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
[MPU - Primality Certificate]
2+
Version 1.0
3+
4+
Proof for:
5+
N 1324633941606631885494533285547825264841184316149
6+
7+
Type BLS15
8+
N 1324633941606631885494533285547825264841184316149
9+
Q 25906804809268973273195711927921512999
10+
LP 1
11+
LQ 2
12+
13+
Type BLS3
14+
N 25906804809268973273195711927921512999
15+
Q 2027722893736392522148519
16+
A 3
17+
18+
Type BLS3
19+
N 2027722893736392522148519
20+
Q 8665482451864925308327
21+
A 3
22+
23+
Type BLS3
24+
N 8665482451864925308327
25+
Q 669232072739
26+
A 3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
[MPU - Primality Certificate]
2+
Version 1.0
3+
4+
Proof for:
5+
N 2057853698848459358169767424804292837
6+
7+
Type BLS15
8+
N 2057853698848459358169767424804292837
9+
Q 980864489441591686448888191041131
10+
LP 1
11+
LQ 6
12+
13+
Type BLS3
14+
N 980864489441591686448888191041131
15+
Q 57144207204932201370271
16+
A 2
17+
18+
Type BLS3
19+
N 57144207204932201370271
20+
Q 32612647573596887
21+
A 3

0 commit comments

Comments
 (0)