f_0xaf_1xg_1xxg_1sxybf_0yg_1xyf_2xg_2xxg_2sxybf_1yg_2xyf_3xg_3xxg_3sxybf_2yg_3xyf_4xg_4xxg_4sxybf_3yg_4xyf_5xg_5xxg_5sxybf_4yg_5xyf_01a0f_11g_12s1b2f_21g_22f_31g_32f_41g_42f_51g_52FULLtct_complexity/TCT_12/recursion-5.trs