efzdiv16dnrnj6g - execution time: 0.422 sec.