tpp2h3yyzi9584 - execution time: 0.578 sec.