zirv6p4dbdb10 - execution time: 1.703 sec.