zdd2j17smopc - execution time: 0.938 sec.