[ Eq(1*k1*x2 + 1*k1*x4 + 1*k1*x21 + 1*k1*x22 + 1*k1*x31 + 1*k1*x32, k1*k173), Eq(1*k1*x2 + 1*k1*x4 + 1*k1*x31 + 1*k1*x33 + 1*k1*x34, k1*k174), Eq(1*k1*x10 + 1*k1*x12, k1*k175), Eq(1*k1*x19 + 1*k1*x20 + 1*k1*x35 + 1*k1*x37 + 1*k1*x38 + 1*k1*x40, k1*k176), Eq(2*k1*x25 + 1*k1*x26, k1*k177), Eq(1*k1*x35 + 1*k1*x36 + 1*k1*x37, k1*k178), Eq(1*k1*x38 + 1*k1*x39 + 1*k1*x40, k1*k179) ]