[ Eq(1*k2*x4 + 1*k2*x6 + 1*k2*x7 + 1*k2*x14 + 1*k2*x43 + 1*k2*x44 + 1*k2*x48 + 1*k2*x50 + 1*k2*x78 + 1*k2*x80, k2*k242),
  Eq(1*k2*x7 + 1*k2*x8 + 1*k2*x14 + 1*k2*x43 + 1*k2*x44 + 1*k2*x48 + 1*k2*x50 + 1*k2*x78 + 1*k2*x80, k2*k243),
  Eq(1*k2*x9 + 1*k2*x10 + 1*k2*x53, k2*k244),
  Eq(1*k2*x11 + 1*k2*x40 + 1*k2*x42 + 1*k2*x58 + 1*k2*x64 + 1*k2*x77 + 1*k2*x79, k2*k245),
  Eq(1*k2*x12 + 1*k2*x22 + 1*k2*x35 + 1*k2*x39 + 1*k2*x40 + 1*k2*x42 + 1*k2*x51 + 1*k2*x52 + 1*k2*x55 + 1*k2*x56 + 1*k2*x58 + 1*k2*x72 + 1*k2*x73 + 1*k2*x75 + 1*k2*x76 + 1*k2*x77 + 1*k2*x79, k2*k246),
  Eq(1*k2*x13 + 1*k2*x18 + 1*k2*x21 + 1*k2*x23 + 1*k2*x34 + 1*k2*x41 + 1*k2*x43 + 1*k2*x44 + 1*k2*x45 + 1*k2*x48 + 1*k2*x49 + 1*k2*x50 + 1*k2*x69 + 1*k2*x70 + 1*k2*x71 + 1*k2*x74 + 1*k2*x78 + 1*k2*x80, k2*k247),
  Eq(1*k2*x15 + 1*k2*x20 + 1*k2*x65 + 1*k2*x89 + 1*k2*x90 + 1*k2*x91 + 1*k2*x92, k2*k248),
  Eq(1*k2*x16 + 1*k2*x37 + 1*k2*x38 + 1*k2*x54 + 1*k2*x61 + 1*k2*x67 + 1*k2*x81 + 1*k2*x82 + 1*k2*x83 + 1*k2*x84 + 1*k2*x85 + 1*k2*x86 + 1*k2*x87 + 1*k2*x88 + 1*k2*x89 + 1*k2*x90 + 1*k2*x91 + 1*k2*x92, k2*k249),
  Eq(1*k2*x17 + 1*k2*x93 + 1*k2*x94, k2*k250),
  Eq(1*k2*x19 + 1*k2*x21 + 1*k2*x22 + 1*k2*x24 + 1*k2*x39 + 1*k2*x40 + 1*k2*x41 + 1*k2*x43 + 1*k2*x44 + 1*k2*x45 + 1*k2*x46 + 1*k2*x49 + 1*k2*x55 + 1*k2*x56 + 1*k2*x58, k2*k251),
  Eq(1*k2*x20 + 1*k2*x27 + 1*k2*x60 + 1*k2*x85 + 1*k2*x86 + 1*k2*x87 + 1*k2*x88 + 1*k2*x89 + 1*k2*x90 + 1*k2*x91 + 1*k2*x92, k2*k252),
  Eq(1*k2*x25 + 1*k2*x53, k2*k253),
  Eq(1*k2*x26 + 1*k2*x59 + 1*k2*x81 + 1*k2*x82 + 1*k2*x83 + 1*k2*x84, k2*k254),
  Eq(1*k2*x28 + 1*k2*x37 + 1*k2*x38 + 1*k2*x62 + 1*k2*x67 + 2*k2*x68 + 1*k2*x83 + 1*k2*x84 + 1*k2*x87 + 1*k2*x88 + 1*k2*x91 + 1*k2*x92 + 1*k2*x93 + 2*k2*x94, k2*k255),
  Eq(1*k2*x30 + 1*k2*x57 + 1*k2*x59 + 1*k2*x60 + 1*k2*x81 + 1*k2*x82 + 1*k2*x83 + 1*k2*x84 + 1*k2*x85 + 1*k2*x86 + 1*k2*x87 + 1*k2*x88, k2*k256),
  Eq(1*k2*x32 + 1*k2*x40 + 1*k2*x42 + 1*k2*x58 + 1*k2*x64 + 1*k2*x77 + 1*k2*x79, k2*k257) ]