An algorithm for the input along Davie's bar