f307bd14ax6jalg - execution time: 1.813 sec.