{ x46 = k233 - (x3 + x4 + x5 + x6 + x9 + x10 + x11 + x12 + x15 + x16 + x17 + x18 + x21 + x22 + x23 + x24 + x27 + x28 + x29 + x30 + x33 + x34 + x35 + x36 + x39 + x40 + x41 + x42 + x43),
  x47 = 134/5*(54365636569181/20000000000000)^(-9/50*t) }