{ 1*k47*x4 + 1*k47*x5 + 1*k47*x7 + 1*k47*x8 + 1*k47*x10 + 1*k47*x14 + 1*k47*x15 = k47*k50,
  1*k47*x6 + 1*k47*x7 + 1*k47*x8 + 1*k47*x9 = k47*k51,
  1*k47*x13 + 1*k47*x14 + 1*k47*x15 + 1*k47*x16 + 2*k47*x18 + 1*k47*x23 = k47*k52,
  1*k47*x18 + 1*k47*x19 + 1*k47*x20 = k47*k53 }