Title: Rigorous Numerics Using Conley Index Theory