[ Eq(x4, x9 + x10 + x11 + 1*(x12 + x13 + x14) + 2*(x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22) + 2*(x23 + x24 + x25) + 3*(x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33)), Eq(x5, x21 + x32 + x10 + x16 + x27 + x11 + x17 + x28 + x20 + x31 + x22 + x33), Eq(x6, x4/k28), Eq(x7, x5/(k29*k32)), Eq(1*k33*x1 + 1*k33*x3 + 1*k33*x10 + 1*k33*x11 + 1*k33*x14 + 1*k33*x16 + 1*k33*x17 + 1*k33*x19 + 1*k33*x20 + 1*k33*x21 + 1*k33*x22 + 1*k33*x25 + 1*k33*x27 + 1*k33*x28 + 1*k33*x30 + 1*k33*x31 + 1*k33*x32 + 1*k33*x33, k33*k34), Eq(1*k33*x2 + 1*k33*x3 + 1*k33*x11 + 1*k33*x13 + 1*k33*x14 + 1*k33*x17 + 1*k33*x18 + 1*k33*x19 + 1*k33*x20 + 1*k33*x21 + 2*k33*x22 + 1*k33*x24 + 1*k33*x25 + 1*k33*x28 + 1*k33*x29 + 1*k33*x30 + 1*k33*x31 + 1*k33*x32 + 2*k33*x33, k33*k35), Eq(1*k33*x8 + 1*k33*x9 + 1*k33*x10 + 1*k33*x11 + 1*k33*x12 + 1*k33*x13 + 1*k33*x14 + 1*k33*x15 + 1*k33*x16 + 1*k33*x17 + 1*k33*x18 + 1*k33*x19 + 1*k33*x20 + 1*k33*x21 + 1*k33*x22 + 1*k33*x23 + 1*k33*x24 + 1*k33*x25 + 1*k33*x26 + 1*k33*x27 + 1*k33*x28 + 1*k33*x29 + 1*k33*x30 + 1*k33*x31 + 1*k33*x32 + 1*k33*x33, k33*k36) ]