f307bd15f6tlaac - execution time: 1.484 sec.