[ Eq(1*k1*x1 + 1*k1*x3 + 2*k1*x4 + 2*k1*x5 + 2*k1*x7 + 2*k1*x8 + 2*k1*x11 + 2*k1*x13 + 2*k1*x16 + 2*k1*x17 + 2*k1*x19 + 2*k1*x21, k1*k52), Eq(1*k1*x2 + 1*k1*x3 + 2*k1*x4 + 2*k1*x5 + 2*k1*x7 + 2*k1*x8 + 2*k1*x11 + 2*k1*x13 + 2*k1*x16 + 2*k1*x17 + 2*k1*x19 + 2*k1*x21, k1*k53), Eq(1*k1*x6 + 1*k1*x7 + 1*k1*x8 + 1*k1*x9 + 1*k1*x23, k1*k54), Eq(1*k1*x10 + 1*k1*x11 + 1*k1*x13 + 1*k1*x14 + 1*k1*x19 + 1*k1*x20 + 1*k1*x21 + 1*k1*x22, k1*k55), Eq(1*k1*x12 + 1*k1*x13 + 1*k1*x14 + 1*k1*x21 + 1*k1*x22, k1*k56), Eq(1*k1*x15 + 1*k1*x16 + 1*k1*x17 + 1*k1*x18 + 1*k1*x19 + 1*k1*x20 + 1*k1*x21 + 1*k1*x22, k1*k57) ]