f_0 x a f_1 x g_1 x x g_1 s x y b f_0 y g_1 x y f_2 x g_2 x x g_2 s x y b f_1 y g_2 x y f_3 x g_3 x x g_3 s x y b f_2 y g_3 x y f_4 x g_4 x x g_4 s x y b f_3 y g_4 x y f_5 x g_5 x x g_5 s x y b f_4 y g_5 x y f_6 x g_6 x x g_6 s x y b f_5 y g_6 x y f_7 x g_7 x x g_7 s x y b f_6 y g_7 x y f_8 x g_8 x x g_8 s x y b f_7 y g_8 x y f_9 x g_9 x x g_9 s x y b f_8 y g_9 x y f_10 x g_10 x x g_10 s x y b f_9 y g_10 x y f_0 1 a 0 f_1 1 g_1 2 s 1 b 2 f_2 1 g_2 2 f_3 1 g_3 2 f_4 1 g_4 2 f_5 1 g_5 2 f_6 1 g_6 2 f_7 1 g_7 2 f_8 1 g_8 2 f_9 1 g_9 2 f_10 1 g_10 2 INNERMOST tct_complexity/TCT_12/recursion-10.trs