zdd2jc1pa49uc - execution time: 0.438 sec.