%%HP: T(3)A(D)F(.);

\<< TIME \-> t

  \<< EVAL TIME t

  \>> HMS- 10000 *

\>>