(v5 x) | (w9 x)
(v5 x) | (w10 x)
(v0 x) | (v6 x)
