[ 1*k[1]*x[1] + 1*k[1]*x[3] + 2*k[1]*x[4] + 2*k[1]*x[5] + 2*k[1]*x[7] + 2*k[1]*x[9] + 2*k[1]*x[10] + 2*k[1]*x[14] + 2*k[1]*x[16] + 2*k[1]*x[19] + 2*k[1]*x[21] + 2*k[1]*x[22] + 2*k[1]*x[23] + 2*k[1]*x[47] + 2*k[1]*x[49] + 2*k[1]*x[51] + 2*k[1]*x[52] + 2*k[1]*x[88] + 2*k[1]*x[89] + 2*k[1]*x[90] + 2*k[1]*x[92] + 2*k[1]*x[93] + 2*k[1]*x[94] + 2*k[1]*x[97] + 2*k[1]*x[99] + 2*k[1]*x[100] + 2*k[1]*x[101] + 2*k[1]*x[102] + 2*k[1]*x[103] + 2*k[1]*x[104] + 2*k[1]*x[108] + 4*k[1]*x[109] + 4*k[1]*x[110] + 2*k[1]*x[113] + 2*k[1]*x[114] + 2*k[1]*x[116] + 2*k[1]*x[117] + 2*k[1]*x[119] + 2*k[1]*x[120] + 2*k[1]*x[121] + 2*k[1]*x[133] + 2*k[1]*x[134] + 2*k[1]*x[135] + 2*k[1]*x[136] + 2*k[1]*x[137] + 2*k[1]*x[138] + 2*k[1]*x[139] + 2*k[1]*x[140] + 2*k[1]*x[141] + 2*k[1]*x[142] + 2*k[1]*x[143] + 2*k[1]*x[144] + 2*k[1]*x[145] + 2*k[1]*x[146] + 2*k[1]*x[147] + 2*k[1]*x[148] + 2*k[1]*x[149] + 2*k[1]*x[150] + 2*k[1]*x[151] + 2*k[1]*x[152] + 2*k[1]*x[153] + 2*k[1]*x[154] + 2*k[1]*x[155] + 2*k[1]*x[156] + 2*k[1]*x[157] + 2*k[1]*x[158] + 2*k[1]*x[159] + 2*k[1]*x[160] + 2*k[1]*x[161] + 2*k[1]*x[162] + 2*k[1]*x[163] + 2*k[1]*x[164] + 2*k[1]*x[165] + 2*k[1]*x[166] + 2*k[1]*x[167] + 2*k[1]*x[168] + 2*k[1]*x[169] + 2*k[1]*x[170] + 2*k[1]*x[171] + 2*k[1]*x[172] + 2*k[1]*x[173] + 2*k[1]*x[174] + 2*k[1]*x[175] + 2*k[1]*x[176] + 2*k[1]*x[177] + 2*k[1]*x[178] + 2*k[1]*x[179] + 2*k[1]*x[180] + 2*k[1]*x[181] + 2*k[1]*x[182] + 2*k[1]*x[183] + 2*k[1]*x[184] + 2*k[1]*x[185] + 2*k[1]*x[186] + 2*k[1]*x[187] + 2*k[1]*x[188] + 2*k[1]*x[189] + 2*k[1]*x[190] + 2*k[1]*x[191] + 2*k[1]*x[192] + 2*k[1]*x[193] + 2*k[1]*x[194] = k[1]*k[315],
  1*k[1]*x[1] + 1*k[1]*x[3] + 2*k[1]*x[4] + 2*k[1]*x[5] + 2*k[1]*x[7] + 2*k[1]*x[9] + 2*k[1]*x[10] + 2*k[1]*x[14] + 2*k[1]*x[16] + 2*k[1]*x[19] + 2*k[1]*x[21] + 2*k[1]*x[22] + 2*k[1]*x[23] + 2*k[1]*x[47] + 2*k[1]*x[49] + 2*k[1]*x[51] + 2*k[1]*x[52] + 2*k[1]*x[88] + 2*k[1]*x[89] + 2*k[1]*x[90] + 2*k[1]*x[92] + 2*k[1]*x[93] + 2*k[1]*x[94] + 2*k[1]*x[97] + 2*k[1]*x[99] + 2*k[1]*x[100] + 2*k[1]*x[101] + 2*k[1]*x[109] + 2*k[1]*x[110] + 2*k[1]*x[111] + 2*k[1]*x[116] + 2*k[1]*x[117] + 2*k[1]*x[119] + 2*k[1]*x[120] + 2*k[1]*x[121] + 2*k[1]*x[133] + 2*k[1]*x[134] + 2*k[1]*x[135] + 2*k[1]*x[136] + 2*k[1]*x[137] + 2*k[1]*x[138] + 2*k[1]*x[139] + 2*k[1]*x[140] + 2*k[1]*x[141] + 2*k[1]*x[142] + 2*k[1]*x[143] + 2*k[1]*x[144] + 2*k[1]*x[145] + 2*k[1]*x[146] + 2*k[1]*x[147] + 2*k[1]*x[148] + 2*k[1]*x[149] + 2*k[1]*x[150] + 2*k[1]*x[151] + 2*k[1]*x[152] + 2*k[1]*x[153] + 2*k[1]*x[154] + 2*k[1]*x[155] + 2*k[1]*x[156] + 2*k[1]*x[157] + 2*k[1]*x[158] + 2*k[1]*x[159] + 2*k[1]*x[160] + 2*k[1]*x[161] + 2*k[1]*x[162] + 2*k[1]*x[163] + 2*k[1]*x[164] + 2*k[1]*x[165] + 2*k[1]*x[166] + 2*k[1]*x[167] + 2*k[1]*x[168] + 2*k[1]*x[169] + 2*k[1]*x[170] + 2*k[1]*x[171] + 2*k[1]*x[172] + 2*k[1]*x[173] + 2*k[1]*x[174] + 2*k[1]*x[175] + 2*k[1]*x[176] + 2*k[1]*x[177] + 2*k[1]*x[178] + 2*k[1]*x[179] + 2*k[1]*x[180] + 2*k[1]*x[181] + 2*k[1]*x[182] + 2*k[1]*x[183] + 2*k[1]*x[184] + 2*k[1]*x[185] + 2*k[1]*x[186] + 2*k[1]*x[187] + 2*k[1]*x[188] + 2*k[1]*x[189] + 2*k[1]*x[190] + 2*k[1]*x[191] + 2*k[1]*x[192] + 2*k[1]*x[193] + 2*k[1]*x[194] = k[1]*k[316],
  1*k[1]*x[2] + 1*k[1]*x[3] + 2*k[1]*x[4] + 2*k[1]*x[5] + 2*k[1]*x[7] + 2*k[1]*x[9] + 2*k[1]*x[10] + 2*k[1]*x[14] + 2*k[1]*x[16] + 2*k[1]*x[19] + 2*k[1]*x[21] + 2*k[1]*x[22] + 2*k[1]*x[23] + 2*k[1]*x[47] + 2*k[1]*x[49] + 2*k[1]*x[51] + 2*k[1]*x[52] + 2*k[1]*x[88] + 2*k[1]*x[89] + 2*k[1]*x[90] + 2*k[1]*x[92] + 2*k[1]*x[93] + 2*k[1]*x[94] + 2*k[1]*x[97] + 2*k[1]*x[99] + 2*k[1]*x[100] + 2*k[1]*x[101] + 2*k[1]*x[102] + 2*k[1]*x[103] + 2*k[1]*x[104] + 2*k[1]*x[108] + 4*k[1]*x[109] + 4*k[1]*x[110] + 2*k[1]*x[113] + 2*k[1]*x[114] + 2*k[1]*x[116] + 2*k[1]*x[117] + 2*k[1]*x[119] + 2*k[1]*x[120] + 2*k[1]*x[121] + 1*k[1]*x[123] + 2*k[1]*x[133] + 2*k[1]*x[134] + 2*k[1]*x[135] + 2*k[1]*x[136] + 2*k[1]*x[137] + 2*k[1]*x[138] + 2*k[1]*x[139] + 2*k[1]*x[140] + 2*k[1]*x[141] + 2*k[1]*x[142] + 2*k[1]*x[143] + 2*k[1]*x[144] + 2*k[1]*x[145] + 2*k[1]*x[146] + 2*k[1]*x[147] + 2*k[1]*x[148] + 2*k[1]*x[149] + 2*k[1]*x[150] + 2*k[1]*x[151] + 2*k[1]*x[152] + 2*k[1]*x[153] + 2*k[1]*x[154] + 2*k[1]*x[155] + 2*k[1]*x[156] + 2*k[1]*x[157] + 2*k[1]*x[158] + 2*k[1]*x[159] + 2*k[1]*x[160] + 2*k[1]*x[161] + 2*k[1]*x[162] + 2*k[1]*x[163] + 2*k[1]*x[164] + 2*k[1]*x[165] + 2*k[1]*x[166] + 2*k[1]*x[167] + 2*k[1]*x[168] + 2*k[1]*x[169] + 2*k[1]*x[170] + 2*k[1]*x[171] + 2*k[1]*x[172] + 2*k[1]*x[173] + 2*k[1]*x[174] + 2*k[1]*x[175] + 2*k[1]*x[176] + 2*k[1]*x[177] + 2*k[1]*x[178] + 2*k[1]*x[179] + 2*k[1]*x[180] + 2*k[1]*x[181] + 2*k[1]*x[182] + 2*k[1]*x[183] + 2*k[1]*x[184] + 2*k[1]*x[185] + 2*k[1]*x[186] + 2*k[1]*x[187] + 2*k[1]*x[188] + 2*k[1]*x[189] + 2*k[1]*x[190] + 2*k[1]*x[191] + 2*k[1]*x[192] + 2*k[1]*x[193] + 2*k[1]*x[194] = k[1]*k[317],
  1*k[1]*x[2] + 1*k[1]*x[3] + 2*k[1]*x[4] + 2*k[1]*x[5] + 2*k[1]*x[7] + 2*k[1]*x[9] + 2*k[1]*x[10] + 2*k[1]*x[14] + 2*k[1]*x[16] + 2*k[1]*x[19] + 2*k[1]*x[21] + 2*k[1]*x[22] + 2*k[1]*x[23] + 2*k[1]*x[47] + 2*k[1]*x[49] + 2*k[1]*x[51] + 2*k[1]*x[52] + 2*k[1]*x[88] + 2*k[1]*x[89] + 2*k[1]*x[90] + 2*k[1]*x[92] + 2*k[1]*x[93] + 2*k[1]*x[94] + 2*k[1]*x[97] + 2*k[1]*x[99] + 2*k[1]*x[100] + 2*k[1]*x[101] + 2*k[1]*x[109] + 2*k[1]*x[110] + 2*k[1]*x[111] + 2*k[1]*x[116] + 2*k[1]*x[117] + 2*k[1]*x[119] + 2*k[1]*x[120] + 2*k[1]*x[121] + 1*k[1]*x[123] + 2*k[1]*x[133] + 2*k[1]*x[134] + 2*k[1]*x[135] + 2*k[1]*x[136] + 2*k[1]*x[137] + 2*k[1]*x[138] + 2*k[1]*x[139] + 2*k[1]*x[140] + 2*k[1]*x[141] + 2*k[1]*x[142] + 2*k[1]*x[143] + 2*k[1]*x[144] + 2*k[1]*x[145] + 2*k[1]*x[146] + 2*k[1]*x[147] + 2*k[1]*x[148] + 2*k[1]*x[149] + 2*k[1]*x[150] + 2*k[1]*x[151] + 2*k[1]*x[152] + 2*k[1]*x[153] + 2*k[1]*x[154] + 2*k[1]*x[155] + 2*k[1]*x[156] + 2*k[1]*x[157] + 2*k[1]*x[158] + 2*k[1]*x[159] + 2*k[1]*x[160] + 2*k[1]*x[161] + 2*k[1]*x[162] + 2*k[1]*x[163] + 2*k[1]*x[164] + 2*k[1]*x[165] + 2*k[1]*x[166] + 2*k[1]*x[167] + 2*k[1]*x[168] + 2*k[1]*x[169] + 2*k[1]*x[170] + 2*k[1]*x[171] + 2*k[1]*x[172] + 2*k[1]*x[173] + 2*k[1]*x[174] + 2*k[1]*x[175] + 2*k[1]*x[176] + 2*k[1]*x[177] + 2*k[1]*x[178] + 2*k[1]*x[179] + 2*k[1]*x[180] + 2*k[1]*x[181] + 2*k[1]*x[182] + 2*k[1]*x[183] + 2*k[1]*x[184] + 2*k[1]*x[185] + 2*k[1]*x[186] + 2*k[1]*x[187] + 2*k[1]*x[188] + 2*k[1]*x[189] + 2*k[1]*x[190] + 2*k[1]*x[191] + 2*k[1]*x[192] + 2*k[1]*x[193] + 2*k[1]*x[194] = k[1]*k[318],
  1*k[1]*x[6] + 1*k[1]*x[7] + 1*k[1]*x[12] = k[1]*k[319],
  1*k[1]*x[8] + 1*k[1]*x[9] + 1*k[1]*x[10] + 1*k[1]*x[11] + 1*k[1]*x[12] + 1*k[1]*x[14] + 1*k[1]*x[16] + 1*k[1]*x[19] + 1*k[1]*x[47] + 1*k[1]*x[92] + 1*k[1]*x[94] + 1*k[1]*x[97] + 1*k[1]*x[116] + 1*k[1]*x[119] + 1*k[1]*x[122] + 1*k[1]*x[133] + 1*k[1]*x[135] + 1*k[1]*x[136] + 1*k[1]*x[137] + 1*k[1]*x[141] + 1*k[1]*x[142] + 1*k[1]*x[143] + 1*k[1]*x[144] + 1*k[1]*x[149] + 1*k[1]*x[150] + 1*k[1]*x[151] + 1*k[1]*x[152] + 1*k[1]*x[157] + 1*k[1]*x[158] + 1*k[1]*x[159] + 1*k[1]*x[163] + 1*k[1]*x[164] + 1*k[1]*x[165] + 1*k[1]*x[166] + 1*k[1]*x[171] + 1*k[1]*x[172] + 1*k[1]*x[175] + 1*k[1]*x[176] + 1*k[1]*x[179] + 1*k[1]*x[180] + 1*k[1]*x[181] + 1*k[1]*x[185] + 1*k[1]*x[186] + 1*k[1]*x[187] + 1*k[1]*x[191] + 1*k[1]*x[193] = k[1]*k[320],
  1*k[1]*x[13] + 1*k[1]*x[14] + 1*k[1]*x[16] + 1*k[1]*x[17] + 1*k[1]*x[19] + 1*k[1]*x[21] + 1*k[1]*x[22] + 1*k[1]*x[23] + 1*k[1]*x[47] + 1*k[1]*x[49] + 1*k[1]*x[92] + 1*k[1]*x[93] + 1*k[1]*x[94] + 1*k[1]*x[97] + 1*k[1]*x[99] + 1*k[1]*x[100] + 1*k[1]*x[116] + 1*k[1]*x[117] + 1*k[1]*x[119] + 1*k[1]*x[120] + 1*k[1]*x[122] + 1*k[1]*x[132] + 1*k[1]*x[133] + 1*k[1]*x[134] + 1*k[1]*x[135] + 1*k[1]*x[136] + 1*k[1]*x[137] + 1*k[1]*x[138] + 1*k[1]*x[139] + 1*k[1]*x[140] + 1*k[1]*x[141] + 1*k[1]*x[142] + 1*k[1]*x[143] + 1*k[1]*x[144] + 1*k[1]*x[145] + 1*k[1]*x[146] + 1*k[1]*x[147] + 1*k[1]*x[148] + 1*k[1]*x[149] + 1*k[1]*x[150] + 1*k[1]*x[151] + 1*k[1]*x[152] + 1*k[1]*x[153] + 1*k[1]*x[154] + 1*k[1]*x[155] + 1*k[1]*x[156] + 1*k[1]*x[157] + 1*k[1]*x[158] + 1*k[1]*x[159] + 1*k[1]*x[160] + 1*k[1]*x[161] + 1*k[1]*x[162] + 1*k[1]*x[163] + 1*k[1]*x[164] + 1*k[1]*x[165] + 1*k[1]*x[166] + 1*k[1]*x[167] + 1*k[1]*x[168] + 1*k[1]*x[169] + 1*k[1]*x[170] + 1*k[1]*x[171] + 1*k[1]*x[172] + 1*k[1]*x[173] + 1*k[1]*x[174] + 1*k[1]*x[175] + 1*k[1]*x[176] + 1*k[1]*x[177] + 1*k[1]*x[178] + 1*k[1]*x[179] + 1*k[1]*x[180] + 1*k[1]*x[181] + 1*k[1]*x[182] + 1*k[1]*x[183] + 1*k[1]*x[184] + 1*k[1]*x[185] + 1*k[1]*x[186] + 1*k[1]*x[187] + 1*k[1]*x[188] + 1*k[1]*x[189] + 1*k[1]*x[190] + 1*k[1]*x[191] + 1*k[1]*x[192] + 1*k[1]*x[193] + 1*k[1]*x[194] = k[1]*k[321],
  1*k[1]*x[15] + 1*k[1]*x[16] + 1*k[1]*x[17] + 1*k[1]*x[19] + 1*k[1]*x[22] + 1*k[1]*x[23] + 1*k[1]*x[47] + 1*k[1]*x[48] + 1*k[1]*x[49] + 1*k[1]*x[116] + 1*k[1]*x[117] + 1*k[1]*x[119] + 1*k[1]*x[120] + 1*k[1]*x[122] = k[1]*k[322],
  1*k[1]*x[18] + 1*k[1]*x[19] + 1*k[1]*x[20] + 1*k[1]*x[23] + 1*k[1]*x[25] + 1*k[1]*x[46] + 1*k[1]*x[89] + 1*k[1]*x[129] + 1*k[1]*x[149] + 1*k[1]*x[150] + 1*k[1]*x[151] + 1*k[1]*x[152] + 1*k[1]*x[153] + 1*k[1]*x[154] + 1*k[1]*x[155] + 1*k[1]*x[156] + 1*k[1]*x[157] + 1*k[1]*x[158] + 1*k[1]*x[159] + 1*k[1]*x[160] + 1*k[1]*x[161] + 1*k[1]*x[162] = k[1]*k[323],
  1*k[1]*x[24] + 1*k[1]*x[25] + 1*k[1]*x[26] + 1*k[1]*x[28] + 1*k[1]*x[30] + 1*k[1]*x[38] + 1*k[1]*x[67] + 1*k[1]*x[68] + 1*k[1]*x[141] + 1*k[1]*x[142] + 1*k[1]*x[143] + 1*k[1]*x[144] + 1*k[1]*x[145] + 1*k[1]*x[146] + 1*k[1]*x[147] + 1*k[1]*x[148] + 1*k[1]*x[163] + 1*k[1]*x[164] + 1*k[1]*x[165] + 1*k[1]*x[166] + 1*k[1]*x[167] + 1*k[1]*x[168] + 1*k[1]*x[169] + 1*k[1]*x[170] + 1*k[1]*x[172] + 1*k[1]*x[174] + 1*k[1]*x[175] + 1*k[1]*x[176] + 1*k[1]*x[177] + 1*k[1]*x[178] + 1*k[1]*x[185] + 1*k[1]*x[186] + 1*k[1]*x[187] + 1*k[1]*x[188] + 1*k[1]*x[189] + 1*k[1]*x[190] + 1*k[1]*x[191] + 1*k[1]*x[192] + 1*k[1]*x[193] + 1*k[1]*x[194] = k[1]*k[324],
  1*k[1]*x[27] + 1*k[1]*x[28] + 1*k[1]*x[29] + 1*k[1]*x[30] + 1*k[1]*x[31] + 1*k[1]*x[33] + 1*k[1]*x[35] + 1*k[1]*x[40] + 1*k[1]*x[41] + 1*k[1]*x[135] + 1*k[1]*x[136] + 1*k[1]*x[137] + 1*k[1]*x[138] + 1*k[1]*x[139] + 1*k[1]*x[140] + 1*k[1]*x[142] + 1*k[1]*x[143] + 1*k[1]*x[144] + 1*k[1]*x[146] + 1*k[1]*x[147] + 1*k[1]*x[148] + 1*k[1]*x[150] + 1*k[1]*x[151] + 1*k[1]*x[152] + 1*k[1]*x[154] + 1*k[1]*x[155] + 1*k[1]*x[156] + 1*k[1]*x[157] + 1*k[1]*x[158] + 1*k[1]*x[159] + 1*k[1]*x[160] + 1*k[1]*x[161] + 1*k[1]*x[162] + 1*k[1]*x[164] + 1*k[1]*x[165] + 1*k[1]*x[166] + 1*k[1]*x[168] + 1*k[1]*x[169] + 1*k[1]*x[170] + 1*k[1]*x[171] + 1*k[1]*x[172] + 1*k[1]*x[173] + 1*k[1]*x[174] + 1*k[1]*x[175] + 1*k[1]*x[177] + 1*k[1]*x[179] + 1*k[1]*x[180] + 1*k[1]*x[181] + 1*k[1]*x[182] + 1*k[1]*x[183] + 1*k[1]*x[184] + 1*k[1]*x[185] + 1*k[1]*x[186] + 1*k[1]*x[187] + 1*k[1]*x[188] + 1*k[1]*x[189] + 1*k[1]*x[190] + 1*k[1]*x[191] + 1*k[1]*x[192] = k[1]*k[325],
  1*k[1]*x[32] + 1*k[1]*x[33] + 1*k[1]*x[34] + 1*k[1]*x[35] + 1*k[1]*x[36] + 1*k[1]*x[43] + 1*k[1]*x[44] + 1*k[1]*x[47] + 1*k[1]*x[49] + 1*k[1]*x[130] + 1*k[1]*x[157] + 1*k[1]*x[158] + 1*k[1]*x[159] + 1*k[1]*x[160] + 1*k[1]*x[161] + 1*k[1]*x[162] + 1*k[1]*x[179] + 1*k[1]*x[180] + 1*k[1]*x[181] + 1*k[1]*x[182] + 1*k[1]*x[183] + 1*k[1]*x[184] + 1*k[1]*x[185] + 1*k[1]*x[186] + 1*k[1]*x[187] + 1*k[1]*x[188] + 1*k[1]*x[189] + 1*k[1]*x[190] = k[1]*k[326],
  1*k[1]*x[37] + 1*k[1]*x[38] = k[1]*k[327],
  1*k[1]*x[39] + 1*k[1]*x[40] + 1*k[1]*x[41] = k[1]*k[328],
  1*k[1]*x[42] + 1*k[1]*x[43] + 1*k[1]*x[44] = k[1]*k[329],
  1*k[1]*x[45] + 1*k[1]*x[46] + 1*k[1]*x[88] + 1*k[1]*x[89] + 1*k[1]*x[90] + 1*k[1]*x[101] = k[1]*k[330],
  1*k[1]*x[50] + 1*k[1]*x[51] + 1*k[1]*x[53] + 1*k[1]*x[55] + 1*k[1]*x[57] = k[1]*k[331],
  1*k[1]*x[54] + 1*k[1]*x[55] = k[1]*k[332],
  1*k[1]*x[56] + 1*k[1]*x[57] + 1*k[1]*x[58] + 1*k[1]*x[60] + 1*k[1]*x[62] + 1*k[1]*x[63] + 1*k[1]*x[66] + 1*k[1]*x[67] + 1*k[1]*x[73] + 1*k[1]*x[75] + 1*k[1]*x[77] = k[1]*k[333],
  1*k[1]*x[59] + 1*k[1]*x[60] + 1*k[1]*x[62] + 1*k[1]*x[63] + 1*k[1]*x[64] + 1*k[1]*x[66] + 1*k[1]*x[67] = k[1]*k[334],
  1*k[1]*x[61] + 1*k[1]*x[62] = k[1]*k[335],
  1*k[1]*x[65] + 1*k[1]*x[66] = k[1]*k[336],
  1*k[1]*x[69] + 1*k[1]*x[71] + 1*k[1]*x[106] + 1*k[1]*x[107] + 1*k[1]*x[124] + 1*k[1]*x[130] = k[1]*k[337],
  1*k[1]*x[70] + 1*k[1]*x[71] + 1*k[1]*x[72] + 1*k[1]*x[73] = k[1]*k[338],
  1*k[1]*x[74] + 1*k[1]*x[75] + 1*k[1]*x[77] = k[1]*k[339],
  1*k[1]*x[76] + 1*k[1]*x[77] + 1*k[1]*x[78] + 1*k[1]*x[80] + 1*k[1]*x[82] = k[1]*k[340],
  1*k[1]*x[79] + 1*k[1]*x[80] + 1*k[1]*x[84] = k[1]*k[341],
  1*k[1]*x[81] + 1*k[1]*x[82] = k[1]*k[342],
  1*k[1]*x[83] + 1*k[1]*x[84] + 1*k[1]*x[86] + 1*k[1]*x[87] + 1*k[1]*x[105] + 1*k[1]*x[107] + 1*k[1]*x[171] + 1*k[1]*x[172] + 1*k[1]*x[173] + 1*k[1]*x[174] + 1*k[1]*x[175] + 1*k[1]*x[176] + 1*k[1]*x[177] + 1*k[1]*x[178] + 1*k[1]*x[191] + 1*k[1]*x[192] + 1*k[1]*x[193] + 1*k[1]*x[194] = k[1]*k[343],
  1*k[1]*x[85] + 1*k[1]*x[86] + 1*k[1]*x[94] + 1*k[1]*x[95] + 1*k[1]*x[99] + 1*k[1]*x[103] + 1*k[1]*x[129] = k[1]*k[344],
  1*k[1]*x[91] + 1*k[1]*x[92] + 1*k[1]*x[93] + 1*k[1]*x[94] + 1*k[1]*x[97] + 1*k[1]*x[99] + 1*k[1]*x[100] + 1*k[1]*x[101] = k[1]*k[345],
  1*k[1]*x[96] + 1*k[1]*x[97] + 1*k[1]*x[98] + 1*k[1]*x[100] + 1*k[1]*x[104] + 1*k[1]*x[105] + 1*k[1]*x[191] + 1*k[1]*x[192] + 1*k[1]*x[193] + 1*k[1]*x[194] = k[1]*k[346],
  1*k[1]*x[112] + 1*k[1]*x[113] + 1*k[1]*x[114] = k[1]*k[347],
  1*k[1]*x[115] + 1*k[1]*x[116] + 1*k[1]*x[117] + 1*k[1]*x[119] + 1*k[1]*x[120] = k[1]*k[348],
  1*k[1]*x[118] + 1*k[1]*x[119] + 1*k[1]*x[120] + 1*k[1]*x[124] + 1*k[1]*x[125] + 1*k[1]*x[127] + 1*k[1]*x[128] = k[1]*k[349],
  1*k[1]*x[126] + 1*k[1]*x[127] + 1*k[1]*x[128] = k[1]*k[350],
  1*k[1]*x[131] + 1*k[1]*x[132] + 1*k[1]*x[133] + 1*k[1]*x[134] + 1*k[1]*x[135] + 1*k[1]*x[136] + 1*k[1]*x[137] + 1*k[1]*x[138] + 1*k[1]*x[139] + 1*k[1]*x[140] + 1*k[1]*x[141] + 1*k[1]*x[142] + 1*k[1]*x[143] + 1*k[1]*x[144] + 1*k[1]*x[145] + 1*k[1]*x[146] + 1*k[1]*x[147] + 1*k[1]*x[148] + 1*k[1]*x[149] + 1*k[1]*x[150] + 1*k[1]*x[151] + 1*k[1]*x[152] + 1*k[1]*x[153] + 1*k[1]*x[154] + 1*k[1]*x[155] + 1*k[1]*x[156] + 1*k[1]*x[157] + 1*k[1]*x[158] + 1*k[1]*x[159] + 1*k[1]*x[160] + 1*k[1]*x[161] + 1*k[1]*x[162] + 1*k[1]*x[163] + 1*k[1]*x[164] + 1*k[1]*x[165] + 1*k[1]*x[166] + 1*k[1]*x[167] + 1*k[1]*x[168] + 1*k[1]*x[169] + 1*k[1]*x[170] + 1*k[1]*x[171] + 1*k[1]*x[172] + 1*k[1]*x[173] + 1*k[1]*x[174] + 1*k[1]*x[175] + 1*k[1]*x[176] + 1*k[1]*x[177] + 1*k[1]*x[178] + 1*k[1]*x[179] + 1*k[1]*x[180] + 1*k[1]*x[181] + 1*k[1]*x[182] + 1*k[1]*x[183] + 1*k[1]*x[184] + 1*k[1]*x[185] + 1*k[1]*x[186] + 1*k[1]*x[187] + 1*k[1]*x[188] + 1*k[1]*x[189] + 1*k[1]*x[190] + 1*k[1]*x[191] + 1*k[1]*x[192] + 1*k[1]*x[193] + 1*k[1]*x[194] = k[1]*k[351] ]