{ x6 = x1 + x3 + x2 + x4 + x5,
  x7 = x3 + x4,
  x14 = x11 + x13,
  x19 = x16 + x15 + x18,
  x26 = x17 + x18,
  x27 = x24 + x23 + x22 + x25,
  x30 = x29 + x28 + x38 + x33 + x37,
  x34 = x31 + x38 + x33 + x37,
  x35 = x32 + x37 + x33,
  x36 = x21 + x20 + x23 + x22 + x25,
  x39 = x1 + x2 + x5,
  1*k52*x1 + 1*k52*x2 + 1*k52*x3 + 1*k52*x4 + 1*k52*x5 = k52*k53,
  1*k52*x8 + 1*k52*x9 + 1*k52*x10 + 1*k52*x11 + 1*k52*x13 = k52*k54,
  1*k52*x11 + 1*k52*x12 + 1*k52*x13 = k52*k55,
  1*k52*x15 + 1*k52*x16 + 1*k52*x18 = k52*k56,
  1*k52*x17 + 1*k52*x18 = k52*k57,
  1*k52*x20 + 1*k52*x21 + 1*k52*x22 + 1*k52*x23 + 1*k52*x25 = k52*k58,
  1*k52*x22 + 1*k52*x23 + 1*k52*x24 + 1*k52*x25 = k52*k59,
  1*k52*x28 + 1*k52*x29 + 1*k52*x33 + 1*k52*x37 + 1*k52*x38 = k52*k60,
  1*k52*x31 + 1*k52*x33 + 1*k52*x37 + 1*k52*x38 = k52*k61,
  1*k52*x32 + 1*k52*x33 + 1*k52*x37 = k52*k62 }