f s x1 x2 x3 x4 x5 f x1 x2 x3 x4 x5 f 0 s x2 x3 x4 x5 f x2 x2 x3 x4 x5 f 0 0 s x3 x4 x5 f x3 x3 x3 x4 x5 f 0 0 0 s x4 x5 f x4 x4 x4 x4 x5 f 0 0 0 0 s x5 f x5 x5 x5 x5 x5 f 0 0 0 0 0 0 f 5 s 1 0 0 FULL tct_complexity/TCT_12/polycounter-5.trs