[ Eq(1*k45*x1 + 1*k45*x2 + 1*k45*x4 + 1*k45*x13 + 1*k45*x14 + 1*k45*x26, k45*k46), Eq(1*k45*x2 + 1*k45*x3 + 1*k45*x5, k45*k47), Eq(1*k45*x5 + 1*k45*x6 + 1*k45*x7 + 1*k45*x9 + 1*k45*x14 + 1*k45*x16 + 1*k45*x19 + 1*k45*x21 + 1*k45*x27 + 1*k45*x29 + 1*k45*x31, k45*k48), Eq(1*k45*x8 + 1*k45*x9 + 1*k45*x10 + 1*k45*x12 + 1*k45*x13 + 1*k45*x14 + 1*k45*x25, k45*k49), Eq(1*k45*x11 + 1*k45*x12 + 1*k45*x18 + 1*k45*x20 + 1*k45*x21 + 1*k45*x23 + 1*k45*x28 + 1*k45*x32, k45*k50), Eq(1*k45*x15 + 1*k45*x16 + 1*k45*x17 + 1*k45*x18 + 1*k45*x19 + 1*k45*x21 + 1*k45*x31, k45*k51), Eq(1*k45*x22 + 1*k45*x23 + 1*k45*x24, k45*k52), Eq(1*k45*x29 + 1*k45*x30 + 1*k45*x31, k45*k53), Eq(1*k45*x32 + 1*k45*x33, k45*k54) ]