Efficient Low-Level Connection Tableaux