Libya’s Sharara oil output drops by more than half after the pipe was shut.