13a42z1fb12fano - execution time: 0.859 sec.