algorithm function mapping deterministic stateless total fixed length finite range noninvertible bitstring