f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 s x5 x6 x7 x8 x9 x10 f x5 x5 x5 x5 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 s x6 x7 x8 x9 x10 f x6 x6 x6 x6 x6 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 s x7 x8 x9 x10 f x7 x7 x7 x7 x7 x7 x7 x8 x9 x10 f 0 0 0 0 0 0 0 s x8 x9 x10 f x8 x8 x8 x8 x8 x8 x8 x8 x9 x10 f 0 0 0 0 0 0 0 0 s x9 x10 f x9 x9 x9 x9 x9 x9 x9 x9 x9 x10 f 0 0 0 0 0 0 0 0 0 s x10 f x10 x10 x10 x10 x10 x10 x10 x10 x10 x10 f 0 0 0 0 0 0 0 0 0 0 0 f 10 s 1 0 0 FULL tct_complexity/TCT_12/polycounter-10.trs