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_6xg_6xxg_6sxybf_5yg_6xyf_7xg_7xxg_7sxybf_6yg_7xyf_8xg_8xxg_8sxybf_7yg_8xyf_9xg_9xxg_9sxybf_8yg_9xyf_10xg_10xxg_10sxybf_9yg_10xyf_01a0f_11g_12s1b2f_21g_22f_31g_32f_41g_42f_51g_52f_61g_62f_71g_72f_81g_82f_91g_92f_101g_102FULLtct_complexity/TCT_12/recursion-10.trs