Redirecting to... ./288-privcount-with-shamir.txt.