[ Eq(x46, k234 - (x3 + x4 + x5 + x6 + x9 + x10 + x11 + x12 + x15 + x16 + x17 + x18 + x21 + x22 + x23 + x24 + x27 + x28 + x29 + x30 + x33 + x34 + x35 + x36 + x39 + x40 + x41 + x42 + x43)) ]