(: x 1)(r(F(s t)(% "%s%s"(a(a(')s)t)))(f c(q)(pn(: x(?(= c "T")0(?(|(= c "K")(> x 49))(- x 50)(+ 1 x))))(?(< x 1)"@" c)