…es be exponentially large Unsure of whether Calude's Anytime Algorithm genuinely requires the associated halting time to be super-exponential. Branching to handle this possibility. Tests done: Signed-off by: Eli Sennesh <elisennesh@gmail.com>