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_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 FULL tct_complexity/TCT_12/recursion-5.trs