vlelf10o7ivagc - execution time: 0.890 sec.