{ 1*k223*x4 + 1*k223*x32 + 1*k223*x33 + 1*k223*x50 + 1*k223*x52 + 1*k223*x53 + 1*k223*x59 = k223*k224,
  1*k223*x5 + 1*k223*x50 + 1*k223*x59 = k223*k225,
  1*k223*x6 + 1*k223*x36 = k223*k226,
  1*k223*x7 + 1*k223*x8 + 1*k223*x9 = k223*k227,
  1*k223*x10 + 1*k223*x35 = k223*k228,
  1*k223*x14 + 1*k223*x37 = k223*k229,
  1*k223*x15 + 1*k223*x34 + 1*k223*x38 + 1*k223*x51 = k223*k230,
  1*k223*x16 + 1*k223*x40 = k223*k231,
  1*k223*x17 + 1*k223*x41 = k223*k232,
  1*k223*x18 + 1*k223*x42 = k223*k233,
  1*k223*x19 + 1*k223*x39 = k223*k234,
  1*k223*x20 + 1*k223*x48 + 1*k223*x52 + 1*k223*x59 = k223*k235,
  1*k223*x21 + 1*k223*x58 + 1*k223*x61 = k223*k236,
  1*k223*x22 + 1*k223*x53 = k223*k237,
  1*k223*x23 + 1*k223*x43 = k223*k238,
  1*k223*x24 + 1*k223*x44 = k223*k239,
  1*k223*x25 + 1*k223*x45 + 1*k223*x54 = k223*k240,
  1*k223*x26 + 1*k223*x46 = k223*k241,
  1*k223*x27 + 1*k223*x47 + 1*k223*x55 = k223*k242 }