[ 1*k[13]*x[1] + 1*k[13]*x[3] + 1*k[13]*x[4] + 1*k[13]*x[6] + 1*k[13]*x[10] + 1*k[13]*x[12] + 1*k[13]*x[16] + 1*k[13]*x[28] + 1*k[13]*x[30] + 1*k[13]*x[33] = k[13]*k[65],
  1*k[13]*x[2] + 1*k[13]*x[3] = k[13]*k[66],
  1*k[13]*x[7] + 1*k[13]*x[9] + 1*k[13]*x[10] + 1*k[13]*x[12] + 1*k[13]*x[16] + 1*k[13]*x[28] + 1*k[13]*x[30] + 1*k[13]*x[33] = k[13]*k[67],
  1*k[13]*x[8] + 1*k[13]*x[9] + 1*k[13]*x[10] + 1*k[13]*x[12] + 1*k[13]*x[16] + 1*k[13]*x[28] + 1*k[13]*x[30] + 1*k[13]*x[33] = k[13]*k[68],
  1*k[13]*x[11] + 1*k[13]*x[12] + 1*k[13]*x[16] + 1*k[13]*x[28] + 1*k[13]*x[30] + 1*k[13]*x[33] = k[13]*k[69],
  1*k[13]*x[13] + 1*k[13]*x[15] + 1*k[13]*x[16] + 1*k[13]*x[28] + 1*k[13]*x[30] + 1*k[13]*x[33] + 1*k[13]*x[46] + 1*k[13]*x[47] + 1*k[13]*x[48] + 1*k[13]*x[49] + 1*k[13]*x[50] + 1*k[13]*x[51] + 1*k[13]*x[52] + 1*k[13]*x[53] + 1*k[13]*x[54] + 1*k[13]*x[55] + 1*k[13]*x[56] + 1*k[13]*x[57] + 1*k[13]*x[58] + 1*k[13]*x[59] + 1*k[13]*x[60] + 1*k[13]*x[61] + 1*k[13]*x[62] + 1*k[13]*x[63] + 1*k[13]*x[64] + 1*k[13]*x[65] + 1*k[13]*x[66] + 1*k[13]*x[67] + 1*k[13]*x[68] + 1*k[13]*x[69] + 1*k[13]*x[70] + 1*k[13]*x[71] + 1*k[13]*x[72] + 1*k[13]*x[73] + 1*k[13]*x[74] + 1*k[13]*x[75] + 1*k[13]*x[76] + 1*k[13]*x[77] + 1*k[13]*x[78] + 1*k[13]*x[79] + 1*k[13]*x[80] + 1*k[13]*x[81] + 1*k[13]*x[82] + 1*k[13]*x[83] + 1*k[13]*x[84] + 1*k[13]*x[85] + 1*k[13]*x[86] + 1*k[13]*x[87] + 1*k[13]*x[88] + 1*k[13]*x[89] + 1*k[13]*x[90] + 1*k[13]*x[91] + 1*k[13]*x[92] + 1*k[13]*x[93] + 1*k[13]*x[94] + 1*k[13]*x[95] + 1*k[13]*x[96] + 1*k[13]*x[97] + 1*k[13]*x[98] + 1*k[13]*x[99] + 1*k[13]*x[100] + 1*k[13]*x[101] + 1*k[13]*x[102] + 1*k[13]*x[103] + 1*k[13]*x[104] + 1*k[13]*x[105] + 1*k[13]*x[106] + 1*k[13]*x[107] + 1*k[13]*x[108] + 1*k[13]*x[109] + 1*k[13]*x[110] + 1*k[13]*x[111] + 1*k[13]*x[112] + 1*k[13]*x[113] + 1*k[13]*x[114] + 1*k[13]*x[115] + 1*k[13]*x[116] + 1*k[13]*x[117] + 1*k[13]*x[118] + 1*k[13]*x[119] + 1*k[13]*x[120] + 1*k[13]*x[121] + 1*k[13]*x[122] + 1*k[13]*x[123] + 1*k[13]*x[124] + 1*k[13]*x[125] + 1*k[13]*x[126] + 1*k[13]*x[127] + 1*k[13]*x[128] + 1*k[13]*x[129] + 1*k[13]*x[130] + 1*k[13]*x[131] + 1*k[13]*x[132] + 1*k[13]*x[133] + 1*k[13]*x[134] + 1*k[13]*x[135] + 1*k[13]*x[136] + 1*k[13]*x[137] + 1*k[13]*x[138] + 1*k[13]*x[139] + 1*k[13]*x[140] + 1*k[13]*x[141] + 1*k[13]*x[142] + 1*k[13]*x[143] + 1*k[13]*x[144] + 1*k[13]*x[145] + 1*k[13]*x[146] + 1*k[13]*x[147] + 1*k[13]*x[148] + 1*k[13]*x[149] + 1*k[13]*x[150] + 1*k[13]*x[151] + 1*k[13]*x[152] + 1*k[13]*x[153] + 1*k[13]*x[154] + 1*k[13]*x[155] + 1*k[13]*x[156] + 1*k[13]*x[157] + 1*k[13]*x[158] + 1*k[13]*x[159] + 1*k[13]*x[160] + 1*k[13]*x[165] = k[13]*k[70],
  1*k[13]*x[14] + 1*k[13]*x[15] + 1*k[13]*x[16] + 1*k[13]*x[28] + 1*k[13]*x[30] + 1*k[13]*x[33] = k[13]*k[71],
  1*k[13]*x[17] + 1*k[13]*x[19] + 1*k[13]*x[23] + 1*k[13]*x[27] + 1*k[13]*x[28] + 1*k[13]*x[30] + 1*k[13]*x[33] + 1*k[13]*x[166] = k[13]*k[72],
  1*k[13]*x[18] + 1*k[13]*x[19] + 1*k[13]*x[23] + 1*k[13]*x[27] + 1*k[13]*x[28] + 1*k[13]*x[30] + 1*k[13]*x[33] + 1*k[13]*x[166] = k[13]*k[73],
  1*k[13]*x[20] + 1*k[13]*x[22] + 1*k[13]*x[23] + 1*k[13]*x[27] + 1*k[13]*x[28] + 1*k[13]*x[30] + 1*k[13]*x[33] + 1*k[13]*x[166] = k[13]*k[74],
  1*k[13]*x[21] + 1*k[13]*x[22] + 1*k[13]*x[23] + 1*k[13]*x[27] + 1*k[13]*x[28] + 1*k[13]*x[30] + 1*k[13]*x[33] + 1*k[13]*x[166] = k[13]*k[75],
  1*k[13]*x[24] + 1*k[13]*x[27] + 1*k[13]*x[28] + 1*k[13]*x[30] + 1*k[13]*x[33] + 1*k[13]*x[166] = k[13]*k[76],
  1*k[13]*x[25] + 1*k[13]*x[27] + 1*k[13]*x[28] + 1*k[13]*x[30] + 1*k[13]*x[33] = k[13]*k[77],
  1*k[13]*x[29] + 1*k[13]*x[30] + 1*k[13]*x[33] = k[13]*k[78],
  1*k[13]*x[31] + 1*k[13]*x[32] + 1*k[13]*x[33] = k[13]*k[79],
  1*k[13]*x[34] + 1*k[13]*x[46] + 1*k[13]*x[47] + 1*k[13]*x[48] + 1*k[13]*x[49] + 1*k[13]*x[50] + 1*k[13]*x[51] + 1*k[13]*x[52] + 1*k[13]*x[53] + 1*k[13]*x[54] + 1*k[13]*x[55] + 1*k[13]*x[56] + 1*k[13]*x[57] + 1*k[13]*x[58] + 1*k[13]*x[59] + 1*k[13]*x[60] + 1*k[13]*x[61] + 1*k[13]*x[62] + 1*k[13]*x[63] + 1*k[13]*x[64] + 1*k[13]*x[65] + 1*k[13]*x[66] + 1*k[13]*x[67] + 1*k[13]*x[68] + 1*k[13]*x[69] + 1*k[13]*x[70] + 1*k[13]*x[71] + 1*k[13]*x[72] + 1*k[13]*x[73] + 1*k[13]*x[74] + 1*k[13]*x[75] + 1*k[13]*x[76] + 1*k[13]*x[77] + 1*k[13]*x[78] + 1*k[13]*x[79] + 1*k[13]*x[80] + 1*k[13]*x[81] + 1*k[13]*x[82] + 1*k[13]*x[83] + 1*k[13]*x[84] + 1*k[13]*x[85] + 1*k[13]*x[86] + 1*k[13]*x[87] + 1*k[13]*x[88] + 1*k[13]*x[89] + 1*k[13]*x[90] + 1*k[13]*x[91] + 1*k[13]*x[92] + 1*k[13]*x[93] + 1*k[13]*x[94] + 1*k[13]*x[95] + 1*k[13]*x[96] + 1*k[13]*x[97] + 1*k[13]*x[98] + 1*k[13]*x[99] + 1*k[13]*x[100] + 1*k[13]*x[101] + 1*k[13]*x[102] + 1*k[13]*x[103] + 1*k[13]*x[104] + 1*k[13]*x[105] + 1*k[13]*x[106] + 1*k[13]*x[107] + 1*k[13]*x[108] + 1*k[13]*x[109] + 1*k[13]*x[110] + 1*k[13]*x[111] + 1*k[13]*x[112] + 1*k[13]*x[113] + 1*k[13]*x[114] + 1*k[13]*x[115] + 1*k[13]*x[116] + 1*k[13]*x[117] + 1*k[13]*x[118] + 1*k[13]*x[119] + 1*k[13]*x[120] + 1*k[13]*x[121] + 1*k[13]*x[122] + 1*k[13]*x[123] + 1*k[13]*x[124] + 1*k[13]*x[125] + 1*k[13]*x[126] + 1*k[13]*x[127] + 1*k[13]*x[128] + 1*k[13]*x[129] + 1*k[13]*x[130] + 1*k[13]*x[131] + 1*k[13]*x[132] + 1*k[13]*x[133] + 1*k[13]*x[134] + 1*k[13]*x[135] + 1*k[13]*x[136] + 1*k[13]*x[137] + 1*k[13]*x[138] + 1*k[13]*x[139] + 1*k[13]*x[140] + 1*k[13]*x[141] + 1*k[13]*x[142] + 1*k[13]*x[143] + 1*k[13]*x[144] + 1*k[13]*x[145] + 1*k[13]*x[146] + 1*k[13]*x[147] + 1*k[13]*x[148] + 1*k[13]*x[149] + 1*k[13]*x[150] + 1*k[13]*x[151] + 1*k[13]*x[152] + 1*k[13]*x[153] + 1*k[13]*x[154] + 1*k[13]*x[155] + 1*k[13]*x[156] + 1*k[13]*x[157] + 1*k[13]*x[158] + 1*k[13]*x[159] + 1*k[13]*x[160] + 1*k[13]*x[165] = k[13]*k[80],
  1*k[13]*x[35] + 1*k[13]*x[37] + 1*k[13]*x[38] + 1*k[13]*x[40] + 1*k[13]*x[47] + 1*k[13]*x[51] + 1*k[13]*x[57] + 1*k[13]*x[63] + 1*k[13]*x[69] + 1*k[13]*x[75] + 1*k[13]*x[81] + 1*k[13]*x[87] + 1*k[13]*x[93] + 1*k[13]*x[99] + 1*k[13]*x[105] + 1*k[13]*x[111] + 1*k[13]*x[117] + 1*k[13]*x[123] + 1*k[13]*x[129] + 1*k[13]*x[135] + 1*k[13]*x[141] + 1*k[13]*x[147] + 1*k[13]*x[153] = k[13]*k[81],
  1*k[13]*x[36] + 1*k[13]*x[37] = k[13]*k[82],
  1*k[13]*x[41] + 1*k[13]*x[42] + 1*k[13]*x[49] + 1*k[13]*x[53] + 1*k[13]*x[59] + 1*k[13]*x[65] + 1*k[13]*x[71] + 1*k[13]*x[77] + 1*k[13]*x[83] + 1*k[13]*x[89] + 1*k[13]*x[95] + 1*k[13]*x[101] + 1*k[13]*x[107] + 1*k[13]*x[113] + 1*k[13]*x[119] + 1*k[13]*x[125] + 1*k[13]*x[131] + 1*k[13]*x[137] + 1*k[13]*x[143] + 1*k[13]*x[149] + 1*k[13]*x[155] = k[13]*k[83],
  1*k[13]*x[43] + 1*k[13]*x[44] + 1*k[13]*x[55] + 1*k[13]*x[61] + 1*k[13]*x[67] + 1*k[13]*x[73] + 1*k[13]*x[79] + 1*k[13]*x[85] + 1*k[13]*x[91] + 1*k[13]*x[97] + 1*k[13]*x[103] + 1*k[13]*x[109] + 1*k[13]*x[115] + 1*k[13]*x[121] + 1*k[13]*x[127] + 1*k[13]*x[133] + 1*k[13]*x[139] + 1*k[13]*x[145] + 1*k[13]*x[151] + 1*k[13]*x[157] + 1*k[13]*x[160] = k[13]*k[84],
  1*k[13]*x[161] + 1*k[13]*x[162] + 1*k[13]*x[164] + 1*k[13]*x[165] = k[13]*k[85],
  1*k[13]*x[163] + 1*k[13]*x[164] + 1*k[13]*x[165] = k[13]*k[86] ]