f2irm31dbtgigwo - execution time: 0.390 sec.