You can solve the problem via integer linear programming as follows. For $i\in\{1,\dots,115\}$, let binary decision variable $x_i$ indicate whether $i$ is selected. For $i\in\{1,\dots,111\}$, let binary decision variable $y_i$ represent $x_i x_{i+4}$. The problem is to minimize $\sum_{i=1}^{114} y_i$ subject to \begin{align} \sum_{i=1}^{115} x_i = 60 \tag1 \\ x_i + x_{i+4} - 1 &\le y_i &&\text{for $i\in\{1,\dots,111\}$} \tag2 \end{align} Constraint $(1)$ selects $60$ elements. Constraint $(2)$ enforces $x_i \land x_{i+4} \implies y_i$. The minimum turns out to be $1$, even if you relax integrality, and the linear programming dual variables provide a certificate of optimality.