f80x2rcc2tl4p4 - execution time: 0.219 sec.