f80x2re16a54jc - execution time: 0.250 sec.