In this paper, we primarily utilize \(\mathsf{bioS}\). To illustrate broader applicability and _to better connect to theoretical bounds_, we also present results for \(\mathsf{bioS^{simple}}\), \(\mathsf{bioR}\), and \(\mathsf{bioD}\).