[ x[46] = k[233] - (x[3] + x[4] + x[5] + x[6] + x[9] + x[10] + x[11] + x[12] + x[15] + x[16] + x[17] + x[18] + x[21] + x[22] + x[23] + x[24] + x[27] + x[28] + x[29] + x[30] + x[33] + x[34] + x[35] + x[36] + x[39] + x[40] + x[41] + x[42] + x[43]), x[47] = 134/5*(54365636569181/20000000000000)^(-9/50*t) ]