51 s (1/1)

Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp, Exp!