Optimality conditions for bilevel optimal control problems with non-convex quasi-variational inequalities | Synapse