cg4xhe10eht1dbo - execution time: 1.671 sec.