[ Eq(1*k62*x1 + 1*k62*x2 + 1*k62*x4 + 1*k62*x8 + 1*k62*x10 + 1*k62*x12 + 1*k62*x28 + 1*k62*x34, k62*k63),
  Eq(1*k62*x2 + 1*k62*x3 + 1*k62*x4 + 1*k62*x5 + 1*k62*x8 + 1*k62*x10 + 1*k62*x12 + 1*k62*x28 + 1*k62*x34, k62*k64),
  Eq(1*k62*x6 + 1*k62*x8 + 1*k62*x9 + 1*k62*x10 + 1*k62*x18 + 1*k62*x23 + 1*k62*x24 + 1*k62*x27 + 1*k62*x28 + 1*k62*x30, k62*k65),
  Eq(1*k62*x7 + 1*k62*x14 + 1*k62*x24 + 1*k62*x25 + 1*k62*x31 + 1*k62*x33, k62*k66),
  Eq(1*k62*x11 + 1*k62*x12 + 1*k62*x13 + 1*k62*x17 + 1*k62*x18 + 1*k62*x32, k62*k67),
  Eq(1*k62*x15 + 1*k62*x16 + 1*k62*x17 + 1*k62*x18 + 1*k62*x19, k62*k68),
  Eq(1*k62*x15 + 1*k62*x16 + 1*k62*x17 + 1*k62*x18 + 1*k62*x20, k62*k69),
  Eq(1*k62*x21 + 1*k62*x22 + 1*k62*x23 + 1*k62*x24, k62*k70),
  Eq(1*k62*x26 + 1*k62*x27 + 1*k62*x28, k62*k71),
  Eq(1*k62*x29 + 1*k62*x30 + 1*k62*x31 + 1*k62*x32 + 1*k62*x33 + 1*k62*x34, k62*k72) ]