586vmm4ccot72c - execution time: 0.312 sec.