f80x2reprdg3z4 - execution time: 0.250 sec.