[ Eq(1*k1*x1 + 1*k1*x3 + 1*k1*x4 + 2*k1*x5 + 2*k1*x6 + 2*k1*x8 + 2*k1*x10 + 2*k1*x13 + 2*k1*x26 + 2*k1*x27 + 2*k1*x30 + 2*k1*x32 + 2*k1*x33 + 1*k1*x34, k1*k76), Eq(1*k1*x2 + 1*k1*x3 + 1*k1*x4 + 2*k1*x5 + 2*k1*x6 + 2*k1*x8 + 2*k1*x10 + 2*k1*x13 + 2*k1*x26 + 2*k1*x27 + 2*k1*x30 + 2*k1*x32 + 2*k1*x33, k1*k77), Eq(2*k1*x7 + 2*k1*x8 + 2*k1*x9 + 2*k1*x10 + 4*k1*x11 + 2*k1*x15 + 4*k1*x16 + 4*k2*x17 + 2*k2*x18 + 2*k2*x20 + 2*k2*x21 + 4*k2*x22 + 2*k1*x27 + 4*k1*x28 + 4*k2*x29 + 2*k1*x30 + 2*k1*x32, k1*k78 + k2*k79), Eq(1*k1*x12 + 1*k1*x13 + 1*k1*x27 + 1*k1*x32 + 1*k1*x33, k1*k80), Eq(1*k1*x14 + 1*k1*x15 + 1*k1*x28, k1*k81), Eq(1*k2*x19 + 1*k2*x20 + 1*k2*x29, k2*k82) ]