{ 1*x8 + 1*x9 + 1*x10 + 1*x11 = k121,
  1*x10 + 1*x11 + 1*x13 + 1*x14 + 1*x15 + 1*x16 = k122,
  1*x17 + 1*x18 = k123,
  1*x22 + 1*x29 + 1*x30 = k124,
  1*x24 + 1*x25 = k125,
  1*x31 + 1*x32 = k126,
  1*x37 + 1*x38 = k127,
  1*x39 + 1*x40 + 1*x41 = k128,
  1*x41 + 1*x44 + 1*x45 = k129,
  1*x42 + 1*x43 + 1*x44 = k130,
  1*x51 + 1*x52 + 1*x53 + 1*x54 + 1*x55 + 1*x62 = k131 + k132 }