{ 1*k76*x1 + 1*k76*x2 + 1*k76*x3 + 1*k76*x4 = k76*k77,
  1*k76*x2 + 1*k76*x3 + 1*k76*x4 + 1*k76*x15 + 1*k76*x32 = k76*k78,
  1*k76*x5 + 1*k76*x6 + 1*k76*x7 = k76*k79,
  1*k76*x8 + 1*k76*x22 + 1*k76*x29 = k76*k80,
  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,
  1*k76*x10 + 1*k76*x11 + 1*k76*x12 = k76*k82,
  1*k76*x13 + 1*k76*x14 + 1*k76*x20 + 1*k76*x21 = k76*k83,
  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,
  1*k76*x22 + 1*k76*x23 + 1*k76*x24 + 1*k76*x29 + 1*k76*x30 + 1*k76*x31 = k76*k85,
  1*k76*x25 + 1*k76*x26 = k76*k86,
  1*k76*x27 + 1*k76*x28 = k76*k87 }