if the circuit has logarithmic depth the branching program has polynomial length the longling ruili expressway passes across the town twari tugeze heza ariko bigiye kudusubiza inyuma