mersenneforum.org - View Single Post - Reserved for MF

bur · 2021-09-16, 14:42

Thanks, to find the number of uniques I just did a wc -l on the lines not starting with #, does that yield the correct result? Is there a faster way, does remdup output the number somewhere?

2021-09-16, 14:42	#3103
bur Aug 2020 796581e-4;32539e-3 1025₈ Posts	Thanks, to find the number of uniques I just did a wc -l on the lines not starting with #, does that yield the correct result? Is there a faster way, does remdup output the number somewhere? Last fiddled with by bur on 2021-09-16 at 14:42