On the Complexity of Finding Locally Optimal Solutions in Bilevel Linear Optimization | Synapse