Odd $u$, target $t\equiv0\pmod 4$: $(0,u,2t-u,t)$ is $\varepsilon$-safe when $\varepsilon_0=1$, $\varepsilon_1\neq u_1$, $\varepsilon_{\nu_2 t}=1$

Initializing...

Odd $u$, target $t\equiv0\pmod 4$: $(0,u,2t-u,t)$ is $\varepsilon$-safe when $\varepsilon_0=1$, $\varepsilon_1\neq u_1$, $\varepsilon_{\nu_2 t}=1$ · Prove2Me