[ Eq(1*k76*x1 + 1*k76*x2 + 1*k76*x3 + 1*k76*x4, k76*k77), Eq(1*k76*x2 + 1*k76*x3 + 1*k76*x4 + 1*k76*x15 + 1*k76*x32, k76*k78), Eq(1*k76*x5 + 1*k76*x6 + 1*k76*x7, k76*k79), Eq(1*k76*x8 + 1*k76*x22 + 1*k76*x29, k76*k80), Eq(1*k76*x9 + 2*k76*x17 + 1*k76*x18 + 2*k76*x19 + 2*k76*x20 + 2*k76*x21 + 2*k76*x22 + 2*k76*x23 + 2*k76*x24 + 2*k76*x33, k76*k81), Eq(1*k76*x10 + 1*k76*x11 + 1*k76*x12, k76*k82), Eq(1*k76*x13 + 1*k76*x14 + 1*k76*x20 + 1*k76*x21, k76*k83), Eq(1*k76*x16 + 2*k76*x17 + 1*k76*x18 + 2*k76*x19 + 2*k76*x20 + 2*k76*x21 + 2*k76*x22 + 2*k76*x23 + 2*k76*x24 + 2*k76*x33, k76*k84), Eq(1*k76*x22 + 1*k76*x23 + 1*k76*x24 + 1*k76*x29 + 1*k76*x30 + 1*k76*x31, k76*k85), Eq(1*k76*x25 + 1*k76*x26, k76*k86), Eq(1*k76*x27 + 1*k76*x28, k76*k87) ]