{ 1*k46*x1 + 1*k46*x2 + 1*k46*x4 + 1*k46*x8 + 1*k46*x10 + 1*k46*x12 + 1*k46*x28 + 1*k46*x34 = k46*k47,
  1*k46*x2 + 1*k46*x3 + 1*k46*x4 + 1*k46*x5 + 1*k46*x8 + 1*k46*x10 + 1*k46*x12 + 1*k46*x28 + 1*k46*x34 = k46*k48,
  1*k46*x6 + 1*k46*x8 + 1*k46*x9 + 1*k46*x10 + 1*k46*x18 + 1*k46*x23 + 1*k46*x24 + 1*k46*x27 + 1*k46*x28 + 1*k46*x30 = k46*k49,
  1*k46*x7 + 1*k46*x14 + 1*k46*x24 + 1*k46*x25 + 1*k46*x31 + 1*k46*x33 = k46*k50,
  1*k46*x11 + 1*k46*x12 + 1*k46*x13 + 1*k46*x17 + 1*k46*x18 + 1*k46*x32 = k46*k51,
  1*k46*x15 + 1*k46*x16 + 1*k46*x17 + 1*k46*x18 + 1*k46*x19 = k46*k52,
  1*k46*x15 + 1*k46*x16 + 1*k46*x17 + 1*k46*x18 + 1*k46*x20 = k46*k53,
  1*k46*x21 + 1*k46*x22 + 1*k46*x23 + 1*k46*x24 = k46*k54,
  1*k46*x26 + 1*k46*x27 + 1*k46*x28 = k46*k55,
  1*k46*x29 + 1*k46*x30 + 1*k46*x31 + 1*k46*x32 + 1*k46*x33 + 1*k46*x34 = k46*k56 }