f8irk2fsrel1j4 - execution time: 0.688 sec.