Bounded-width polynomial-size branching programs recognize exactly those languages in NC1 | Synapse