0 Prolog
↳1 PrologToPiTRSViaGraphTransformerProof (⇒, 362 ms)
↳2 PiTRS
↳3 DependencyPairsProof (⇔, 1646 ms)
↳4 PiDP
↳5 DependencyGraphProof (⇔, 106 ms)
↳6 AND
↳7 PiDP
↳8 UsableRulesProof (⇔, 0 ms)
↳9 PiDP
↳10 PiDPToQDPProof (⇒, 24 ms)
↳11 QDP
↳12 QDPSizeChangeProof (⇔, 0 ms)
↳13 YES
↳14 PiDP
↳15 UsableRulesProof (⇔, 0 ms)
↳16 PiDP
↳17 PiDPToQDPProof (⇔, 0 ms)
↳18 QDP
↳19 QDPSizeChangeProof (⇔, 0 ms)
↳20 YES
↳21 PiDP
↳22 UsableRulesProof (⇔, 0 ms)
↳23 PiDP
↳24 PiDPToQDPProof (⇔, 0 ms)
↳25 QDP
↳26 QDPSizeChangeProof (⇔, 0 ms)
↳27 YES
↳28 PiDP
↳29 UsableRulesProof (⇔, 0 ms)
↳30 PiDP
↳31 PiDPToQDPProof (⇒, 0 ms)
↳32 QDP
↳33 QDPSizeChangeProof (⇔, 0 ms)
↳34 YES
↳35 PiDP
↳36 UsableRulesProof (⇔, 0 ms)
↳37 PiDP
↳38 PiDPToQDPProof (⇒, 20 ms)
↳39 QDP
↳40 QDPOrderProof (⇔, 301 ms)
↳41 QDP
↳42 DependencyGraphProof (⇔, 0 ms)
↳43 TRUE
↳44 PiDP
↳45 UsableRulesProof (⇔, 0 ms)
↳46 PiDP
↳47 PiDPToQDPProof (⇒, 0 ms)
↳48 QDP
↳49 QDPSizeChangeProof (⇔, 0 ms)
↳50 YES
↳51 PiDP
↳52 UsableRulesProof (⇔, 0 ms)
↳53 PiDP
↳54 PiDPToQDPProof (⇒, 0 ms)
↳55 QDP
↳56 QDPOrderProof (⇔, 147 ms)
↳57 QDP
↳58 DependencyGraphProof (⇔, 0 ms)
↳59 TRUE
qsortA_in_ga([], []) → qsortA_out_ga([], [])
qsortA_in_ga(.(T14, []), T9) → U1_ga(T14, T9, pB_in_aaga(X12, X13, T14, T9))
pB_in_aaga(T19, X13, T14, T9) → U11_aaga(T19, X13, T14, T9, qsortE_in_a(T19))
qsortE_in_a([]) → qsortE_out_a([])
U11_aaga(T19, X13, T14, T9, qsortE_out_a(T19)) → U12_aaga(T19, X13, T14, T9, pO_in_agga(X13, T19, T14, T9))
pO_in_agga(T24, T19, T14, T9) → U13_agga(T24, T19, T14, T9, qsortE_in_a(T24))
U13_agga(T24, T19, T14, T9, qsortE_out_a(T24)) → U14_agga(T24, T19, T14, T9, appendF_in_ggga(T19, T14, T24, T9))
appendF_in_ggga([], T37, T38, .(T37, T38)) → appendF_out_ggga([], T37, T38, .(T37, T38))
appendF_in_ggga(.(T49, T50), T51, T52, .(T49, T54)) → U4_ggga(T49, T50, T51, T52, T54, appendF_in_ggga(T50, T51, T52, T54))
U4_ggga(T49, T50, T51, T52, T54, appendF_out_ggga(T50, T51, T52, T54)) → appendF_out_ggga(.(T49, T50), T51, T52, .(T49, T54))
U14_agga(T24, T19, T14, T9, appendF_out_ggga(T19, T14, T24, T9)) → pO_out_agga(T24, T19, T14, T9)
U12_aaga(T19, X13, T14, T9, pO_out_agga(X13, T19, T14, T9)) → pB_out_aaga(T19, X13, T14, T9)
U1_ga(T14, T9, pB_out_aaga(X12, X13, T14, T9)) → qsortA_out_ga(.(T14, []), T9)
qsortA_in_ga(.(T73, .(T71, T72)), T9) → U2_ga(T73, T71, T72, T9, pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9))
pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9) → U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_in_gg(T71, T73))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_in_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9))
pP_in_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9) → U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_in_ggaa(T72, T73, T97, T98))
splitH_in_ggaa([], T105, [], []) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120, .(T118, X149), X150) → U6_ggaa(T118, T119, T120, X149, X150, pI_in_gggaa(T118, T120, T119, X149, X150))
pI_in_gggaa(T118, T120, T119, X149, X150) → U21_gggaa(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
U21_gggaa(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, X149, X150, splitH_in_ggaa(T119, T120, X149, X150))
splitH_in_ggaa(.(T133, T134), T135, X176, .(T133, X177)) → U7_ggaa(T133, T134, T135, X176, X177, pJ_in_gggaa(T133, T135, T134, X176, X177))
pJ_in_gggaa(T133, T135, T134, X176, X177) → U23_gggaa(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
U23_gggaa(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, X176, X177, splitH_in_ggaa(T134, T135, X176, X177))
U24_gggaa(T133, T135, T134, X176, X177, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U7_ggaa(T133, T134, T135, X176, X177, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
U22_gggaa(T118, T120, T119, X149, X150, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
U6_ggaa(T118, T119, T120, X149, X150, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_in_ggagaga(T71, T97, X12, T98, X13, T73, T9))
pQ_in_ggagaga(T71, T97, T157, T98, X13, T73, T9) → U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_in_ga(.(T71, T97), T157))
qsortA_in_ga(.(T215, .(T213, T214)), T9) → U3_ga(T215, T213, T214, T9, pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9))
pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9) → U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_in_gg(T213, T215))
U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_out_gg(T213, T215)) → U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_in_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9))
pU_in_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9) → U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_in_ggaa(T214, T215, T222, T223))
U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_out_ggaa(T214, T215, T222, T223)) → U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_in_gaggaga(T222, X12, T213, T223, X13, T215, T9))
pV_in_gaggaga(T222, T226, T213, T223, X13, T215, T9) → U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_in_ga(T222, T226))
qsortL_in_ga([], []) → qsortL_out_ga([], [])
qsortL_in_ga(.(T163, T164), X218) → U9_ga(T163, T164, X218, pM_in_ggaaaaa(T164, T163, X214, X215, X216, X217, X218))
pM_in_ggaaaaa(T164, T163, T167, T168, X216, X217, X218) → U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_in_gagaga(T167, X216, T168, X217, T163, X218))
pS_in_gagaga(T167, T171, T168, X217, T163, X218) → U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → U30_gagaga(T167, T171, T168, X217, T163, X218, pT_in_gagga(T168, X217, T171, T163, X218))
pT_in_gagga(T168, T172, T171, T163, X218) → U31_gagga(T168, T172, T171, T163, X218, qsortL_in_ga(T168, T172))
U31_gagga(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → U32_gagga(T168, T172, T171, T163, X218, appendN_in_ggga(T171, T163, T172, X218))
appendN_in_ggga([], T185, T186, .(T185, T186)) → appendN_out_ggga([], T185, T186, .(T185, T186))
appendN_in_ggga(.(T195, T196), T197, T198, .(T195, X244)) → U10_ggga(T195, T196, T197, T198, X244, appendN_in_ggga(T196, T197, T198, X244))
U10_ggga(T195, T196, T197, T198, X244, appendN_out_ggga(T196, T197, T198, X244)) → appendN_out_ggga(.(T195, T196), T197, T198, .(T195, X244))
U32_gagga(T168, T172, T171, T163, X218, appendN_out_ggga(T171, T163, T172, X218)) → pT_out_gagga(T168, T172, T171, T163, X218)
U30_gagaga(T167, T171, T168, X217, T163, X218, pT_out_gagga(T168, X217, T171, T163, X218)) → pS_out_gagaga(T167, T171, T168, X217, T163, X218)
U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_out_gagaga(T167, X216, T168, X217, T163, X218)) → pM_out_ggaaaaa(T164, T163, T167, T168, X216, X217, X218)
U9_ga(T163, T164, X218, pM_out_ggaaaaa(T164, T163, X214, X215, X216, X217, X218)) → qsortL_out_ga(.(T163, T164), X218)
U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_out_ga(T222, T226)) → U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_in_gagga(.(T213, T223), X13, T226, T215, T9))
pR_in_gagga(T98, T158, T157, T73, T9) → U25_gagga(T98, T158, T157, T73, T9, qsortL_in_ga(T98, T158))
U25_gagga(T98, T158, T157, T73, T9, qsortL_out_ga(T98, T158)) → U26_gagga(T98, T158, T157, T73, T9, appendF_in_ggga(T157, T73, T158, T9))
U26_gagga(T98, T158, T157, T73, T9, appendF_out_ggga(T157, T73, T158, T9)) → pR_out_gagga(T98, T158, T157, T73, T9)
U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_out_gagga(.(T213, T223), X13, T226, T215, T9)) → pV_out_gaggaga(T222, T226, T213, T223, X13, T215, T9)
U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_out_gaggaga(T222, X12, T213, T223, X13, T215, T9)) → pU_out_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9)
U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_out_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9)) → pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)
U3_ga(T215, T213, T214, T9, pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)) → qsortA_out_ga(.(T215, .(T213, T214)), T9)
U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_out_ga(.(T71, T97), T157)) → U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_in_gagga(T98, X13, T157, T73, T9))
U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_out_gagga(T98, X13, T157, T73, T9)) → pQ_out_ggagaga(T71, T97, T157, T98, X13, T73, T9)
U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_out_ggagaga(T71, T97, X12, T98, X13, T73, T9)) → pP_out_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9)
U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_out_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9)) → pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)
U2_ga(T73, T71, T72, T9, pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)) → qsortA_out_ga(.(T73, .(T71, T72)), T9)
QSORTA_IN_GA(.(T14, []), T9) → U1_GA(T14, T9, pB_in_aaga(X12, X13, T14, T9))
QSORTA_IN_GA(.(T14, []), T9) → PB_IN_AAGA(X12, X13, T14, T9)
PB_IN_AAGA(T19, X13, T14, T9) → U11_AAGA(T19, X13, T14, T9, qsortE_in_a(T19))
PB_IN_AAGA(T19, X13, T14, T9) → QSORTE_IN_A(T19)
U11_AAGA(T19, X13, T14, T9, qsortE_out_a(T19)) → U12_AAGA(T19, X13, T14, T9, pO_in_agga(X13, T19, T14, T9))
U11_AAGA(T19, X13, T14, T9, qsortE_out_a(T19)) → PO_IN_AGGA(X13, T19, T14, T9)
PO_IN_AGGA(T24, T19, T14, T9) → U13_AGGA(T24, T19, T14, T9, qsortE_in_a(T24))
PO_IN_AGGA(T24, T19, T14, T9) → QSORTE_IN_A(T24)
U13_AGGA(T24, T19, T14, T9, qsortE_out_a(T24)) → U14_AGGA(T24, T19, T14, T9, appendF_in_ggga(T19, T14, T24, T9))
U13_AGGA(T24, T19, T14, T9, qsortE_out_a(T24)) → APPENDF_IN_GGGA(T19, T14, T24, T9)
APPENDF_IN_GGGA(.(T49, T50), T51, T52, .(T49, T54)) → U4_GGGA(T49, T50, T51, T52, T54, appendF_in_ggga(T50, T51, T52, T54))
APPENDF_IN_GGGA(.(T49, T50), T51, T52, .(T49, T54)) → APPENDF_IN_GGGA(T50, T51, T52, T54)
QSORTA_IN_GA(.(T73, .(T71, T72)), T9) → U2_GA(T73, T71, T72, T9, pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9))
QSORTA_IN_GA(.(T73, .(T71, T72)), T9) → PC_IN_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9)
PC_IN_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9) → U15_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9, leG_in_gg(T71, T73))
PC_IN_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9) → LEG_IN_GG(T71, T73)
LEG_IN_GG(s(T86), s(T87)) → U5_GG(T86, T87, leG_in_gg(T86, T87))
LEG_IN_GG(s(T86), s(T87)) → LEG_IN_GG(T86, T87)
U15_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → U16_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9, pP_in_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9))
U15_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → PP_IN_GGAAGAAA(T72, T73, X84, X85, T71, X12, X13, T9)
PP_IN_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9) → U17_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9, splitH_in_ggaa(T72, T73, T97, T98))
PP_IN_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9) → SPLITH_IN_GGAA(T72, T73, T97, T98)
SPLITH_IN_GGAA(.(T118, T119), T120, .(T118, X149), X150) → U6_GGAA(T118, T119, T120, X149, X150, pI_in_gggaa(T118, T120, T119, X149, X150))
SPLITH_IN_GGAA(.(T118, T119), T120, .(T118, X149), X150) → PI_IN_GGGAA(T118, T120, T119, X149, X150)
PI_IN_GGGAA(T118, T120, T119, X149, X150) → U21_GGGAA(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
PI_IN_GGGAA(T118, T120, T119, X149, X150) → LEG_IN_GG(T118, T120)
U21_GGGAA(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → U22_GGGAA(T118, T120, T119, X149, X150, splitH_in_ggaa(T119, T120, X149, X150))
U21_GGGAA(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → SPLITH_IN_GGAA(T119, T120, X149, X150)
SPLITH_IN_GGAA(.(T133, T134), T135, X176, .(T133, X177)) → U7_GGAA(T133, T134, T135, X176, X177, pJ_in_gggaa(T133, T135, T134, X176, X177))
SPLITH_IN_GGAA(.(T133, T134), T135, X176, .(T133, X177)) → PJ_IN_GGGAA(T133, T135, T134, X176, X177)
PJ_IN_GGGAA(T133, T135, T134, X176, X177) → U23_GGGAA(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
PJ_IN_GGGAA(T133, T135, T134, X176, X177) → GTK_IN_GG(T133, T135)
GTK_IN_GG(s(T148), s(T149)) → U8_GG(T148, T149, gtK_in_gg(T148, T149))
GTK_IN_GG(s(T148), s(T149)) → GTK_IN_GG(T148, T149)
U23_GGGAA(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → U24_GGGAA(T133, T135, T134, X176, X177, splitH_in_ggaa(T134, T135, X176, X177))
U23_GGGAA(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → SPLITH_IN_GGAA(T134, T135, X176, X177)
U17_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → U18_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9, pQ_in_ggagaga(T71, T97, X12, T98, X13, T73, T9))
U17_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → PQ_IN_GGAGAGA(T71, T97, X12, T98, X13, T73, T9)
PQ_IN_GGAGAGA(T71, T97, T157, T98, X13, T73, T9) → U19_GGAGAGA(T71, T97, T157, T98, X13, T73, T9, qsortA_in_ga(.(T71, T97), T157))
PQ_IN_GGAGAGA(T71, T97, T157, T98, X13, T73, T9) → QSORTA_IN_GA(.(T71, T97), T157)
QSORTA_IN_GA(.(T215, .(T213, T214)), T9) → U3_GA(T215, T213, T214, T9, pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9))
QSORTA_IN_GA(.(T215, .(T213, T214)), T9) → PD_IN_GGGAAAAA(T213, T215, T214, X268, X269, X12, X13, T9)
PD_IN_GGGAAAAA(T213, T215, T214, X268, X269, X12, X13, T9) → U33_GGGAAAAA(T213, T215, T214, X268, X269, X12, X13, T9, gtK_in_gg(T213, T215))
PD_IN_GGGAAAAA(T213, T215, T214, X268, X269, X12, X13, T9) → GTK_IN_GG(T213, T215)
U33_GGGAAAAA(T213, T215, T214, X268, X269, X12, X13, T9, gtK_out_gg(T213, T215)) → U34_GGGAAAAA(T213, T215, T214, X268, X269, X12, X13, T9, pU_in_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9))
U33_GGGAAAAA(T213, T215, T214, X268, X269, X12, X13, T9, gtK_out_gg(T213, T215)) → PU_IN_GGAAAGAA(T214, T215, X268, X269, X12, T213, X13, T9)
PU_IN_GGAAAGAA(T214, T215, T222, T223, X12, T213, X13, T9) → U35_GGAAAGAA(T214, T215, T222, T223, X12, T213, X13, T9, splitH_in_ggaa(T214, T215, T222, T223))
PU_IN_GGAAAGAA(T214, T215, T222, T223, X12, T213, X13, T9) → SPLITH_IN_GGAA(T214, T215, T222, T223)
U35_GGAAAGAA(T214, T215, T222, T223, X12, T213, X13, T9, splitH_out_ggaa(T214, T215, T222, T223)) → U36_GGAAAGAA(T214, T215, T222, T223, X12, T213, X13, T9, pV_in_gaggaga(T222, X12, T213, T223, X13, T215, T9))
U35_GGAAAGAA(T214, T215, T222, T223, X12, T213, X13, T9, splitH_out_ggaa(T214, T215, T222, T223)) → PV_IN_GAGGAGA(T222, X12, T213, T223, X13, T215, T9)
PV_IN_GAGGAGA(T222, T226, T213, T223, X13, T215, T9) → U37_GAGGAGA(T222, T226, T213, T223, X13, T215, T9, qsortL_in_ga(T222, T226))
PV_IN_GAGGAGA(T222, T226, T213, T223, X13, T215, T9) → QSORTL_IN_GA(T222, T226)
QSORTL_IN_GA(.(T163, T164), X218) → U9_GA(T163, T164, X218, pM_in_ggaaaaa(T164, T163, X214, X215, X216, X217, X218))
QSORTL_IN_GA(.(T163, T164), X218) → PM_IN_GGAAAAA(T164, T163, X214, X215, X216, X217, X218)
PM_IN_GGAAAAA(T164, T163, T167, T168, X216, X217, X218) → U27_GGAAAAA(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
PM_IN_GGAAAAA(T164, T163, T167, T168, X216, X217, X218) → SPLITH_IN_GGAA(T164, T163, T167, T168)
U27_GGAAAAA(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → U28_GGAAAAA(T164, T163, T167, T168, X216, X217, X218, pS_in_gagaga(T167, X216, T168, X217, T163, X218))
U27_GGAAAAA(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → PS_IN_GAGAGA(T167, X216, T168, X217, T163, X218)
PS_IN_GAGAGA(T167, T171, T168, X217, T163, X218) → U29_GAGAGA(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
PS_IN_GAGAGA(T167, T171, T168, X217, T163, X218) → QSORTL_IN_GA(T167, T171)
U29_GAGAGA(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → U30_GAGAGA(T167, T171, T168, X217, T163, X218, pT_in_gagga(T168, X217, T171, T163, X218))
U29_GAGAGA(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → PT_IN_GAGGA(T168, X217, T171, T163, X218)
PT_IN_GAGGA(T168, T172, T171, T163, X218) → U31_GAGGA(T168, T172, T171, T163, X218, qsortL_in_ga(T168, T172))
PT_IN_GAGGA(T168, T172, T171, T163, X218) → QSORTL_IN_GA(T168, T172)
U31_GAGGA(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → U32_GAGGA(T168, T172, T171, T163, X218, appendN_in_ggga(T171, T163, T172, X218))
U31_GAGGA(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → APPENDN_IN_GGGA(T171, T163, T172, X218)
APPENDN_IN_GGGA(.(T195, T196), T197, T198, .(T195, X244)) → U10_GGGA(T195, T196, T197, T198, X244, appendN_in_ggga(T196, T197, T198, X244))
APPENDN_IN_GGGA(.(T195, T196), T197, T198, .(T195, X244)) → APPENDN_IN_GGGA(T196, T197, T198, X244)
U37_GAGGAGA(T222, T226, T213, T223, X13, T215, T9, qsortL_out_ga(T222, T226)) → U38_GAGGAGA(T222, T226, T213, T223, X13, T215, T9, pR_in_gagga(.(T213, T223), X13, T226, T215, T9))
U37_GAGGAGA(T222, T226, T213, T223, X13, T215, T9, qsortL_out_ga(T222, T226)) → PR_IN_GAGGA(.(T213, T223), X13, T226, T215, T9)
PR_IN_GAGGA(T98, T158, T157, T73, T9) → U25_GAGGA(T98, T158, T157, T73, T9, qsortL_in_ga(T98, T158))
PR_IN_GAGGA(T98, T158, T157, T73, T9) → QSORTL_IN_GA(T98, T158)
U25_GAGGA(T98, T158, T157, T73, T9, qsortL_out_ga(T98, T158)) → U26_GAGGA(T98, T158, T157, T73, T9, appendF_in_ggga(T157, T73, T158, T9))
U25_GAGGA(T98, T158, T157, T73, T9, qsortL_out_ga(T98, T158)) → APPENDF_IN_GGGA(T157, T73, T158, T9)
U19_GGAGAGA(T71, T97, T157, T98, X13, T73, T9, qsortA_out_ga(.(T71, T97), T157)) → U20_GGAGAGA(T71, T97, T157, T98, X13, T73, T9, pR_in_gagga(T98, X13, T157, T73, T9))
U19_GGAGAGA(T71, T97, T157, T98, X13, T73, T9, qsortA_out_ga(.(T71, T97), T157)) → PR_IN_GAGGA(T98, X13, T157, T73, T9)
qsortA_in_ga([], []) → qsortA_out_ga([], [])
qsortA_in_ga(.(T14, []), T9) → U1_ga(T14, T9, pB_in_aaga(X12, X13, T14, T9))
pB_in_aaga(T19, X13, T14, T9) → U11_aaga(T19, X13, T14, T9, qsortE_in_a(T19))
qsortE_in_a([]) → qsortE_out_a([])
U11_aaga(T19, X13, T14, T9, qsortE_out_a(T19)) → U12_aaga(T19, X13, T14, T9, pO_in_agga(X13, T19, T14, T9))
pO_in_agga(T24, T19, T14, T9) → U13_agga(T24, T19, T14, T9, qsortE_in_a(T24))
U13_agga(T24, T19, T14, T9, qsortE_out_a(T24)) → U14_agga(T24, T19, T14, T9, appendF_in_ggga(T19, T14, T24, T9))
appendF_in_ggga([], T37, T38, .(T37, T38)) → appendF_out_ggga([], T37, T38, .(T37, T38))
appendF_in_ggga(.(T49, T50), T51, T52, .(T49, T54)) → U4_ggga(T49, T50, T51, T52, T54, appendF_in_ggga(T50, T51, T52, T54))
U4_ggga(T49, T50, T51, T52, T54, appendF_out_ggga(T50, T51, T52, T54)) → appendF_out_ggga(.(T49, T50), T51, T52, .(T49, T54))
U14_agga(T24, T19, T14, T9, appendF_out_ggga(T19, T14, T24, T9)) → pO_out_agga(T24, T19, T14, T9)
U12_aaga(T19, X13, T14, T9, pO_out_agga(X13, T19, T14, T9)) → pB_out_aaga(T19, X13, T14, T9)
U1_ga(T14, T9, pB_out_aaga(X12, X13, T14, T9)) → qsortA_out_ga(.(T14, []), T9)
qsortA_in_ga(.(T73, .(T71, T72)), T9) → U2_ga(T73, T71, T72, T9, pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9))
pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9) → U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_in_gg(T71, T73))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_in_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9))
pP_in_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9) → U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_in_ggaa(T72, T73, T97, T98))
splitH_in_ggaa([], T105, [], []) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120, .(T118, X149), X150) → U6_ggaa(T118, T119, T120, X149, X150, pI_in_gggaa(T118, T120, T119, X149, X150))
pI_in_gggaa(T118, T120, T119, X149, X150) → U21_gggaa(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
U21_gggaa(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, X149, X150, splitH_in_ggaa(T119, T120, X149, X150))
splitH_in_ggaa(.(T133, T134), T135, X176, .(T133, X177)) → U7_ggaa(T133, T134, T135, X176, X177, pJ_in_gggaa(T133, T135, T134, X176, X177))
pJ_in_gggaa(T133, T135, T134, X176, X177) → U23_gggaa(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
U23_gggaa(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, X176, X177, splitH_in_ggaa(T134, T135, X176, X177))
U24_gggaa(T133, T135, T134, X176, X177, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U7_ggaa(T133, T134, T135, X176, X177, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
U22_gggaa(T118, T120, T119, X149, X150, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
U6_ggaa(T118, T119, T120, X149, X150, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_in_ggagaga(T71, T97, X12, T98, X13, T73, T9))
pQ_in_ggagaga(T71, T97, T157, T98, X13, T73, T9) → U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_in_ga(.(T71, T97), T157))
qsortA_in_ga(.(T215, .(T213, T214)), T9) → U3_ga(T215, T213, T214, T9, pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9))
pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9) → U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_in_gg(T213, T215))
U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_out_gg(T213, T215)) → U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_in_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9))
pU_in_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9) → U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_in_ggaa(T214, T215, T222, T223))
U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_out_ggaa(T214, T215, T222, T223)) → U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_in_gaggaga(T222, X12, T213, T223, X13, T215, T9))
pV_in_gaggaga(T222, T226, T213, T223, X13, T215, T9) → U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_in_ga(T222, T226))
qsortL_in_ga([], []) → qsortL_out_ga([], [])
qsortL_in_ga(.(T163, T164), X218) → U9_ga(T163, T164, X218, pM_in_ggaaaaa(T164, T163, X214, X215, X216, X217, X218))
pM_in_ggaaaaa(T164, T163, T167, T168, X216, X217, X218) → U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_in_gagaga(T167, X216, T168, X217, T163, X218))
pS_in_gagaga(T167, T171, T168, X217, T163, X218) → U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → U30_gagaga(T167, T171, T168, X217, T163, X218, pT_in_gagga(T168, X217, T171, T163, X218))
pT_in_gagga(T168, T172, T171, T163, X218) → U31_gagga(T168, T172, T171, T163, X218, qsortL_in_ga(T168, T172))
U31_gagga(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → U32_gagga(T168, T172, T171, T163, X218, appendN_in_ggga(T171, T163, T172, X218))
appendN_in_ggga([], T185, T186, .(T185, T186)) → appendN_out_ggga([], T185, T186, .(T185, T186))
appendN_in_ggga(.(T195, T196), T197, T198, .(T195, X244)) → U10_ggga(T195, T196, T197, T198, X244, appendN_in_ggga(T196, T197, T198, X244))
U10_ggga(T195, T196, T197, T198, X244, appendN_out_ggga(T196, T197, T198, X244)) → appendN_out_ggga(.(T195, T196), T197, T198, .(T195, X244))
U32_gagga(T168, T172, T171, T163, X218, appendN_out_ggga(T171, T163, T172, X218)) → pT_out_gagga(T168, T172, T171, T163, X218)
U30_gagaga(T167, T171, T168, X217, T163, X218, pT_out_gagga(T168, X217, T171, T163, X218)) → pS_out_gagaga(T167, T171, T168, X217, T163, X218)
U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_out_gagaga(T167, X216, T168, X217, T163, X218)) → pM_out_ggaaaaa(T164, T163, T167, T168, X216, X217, X218)
U9_ga(T163, T164, X218, pM_out_ggaaaaa(T164, T163, X214, X215, X216, X217, X218)) → qsortL_out_ga(.(T163, T164), X218)
U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_out_ga(T222, T226)) → U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_in_gagga(.(T213, T223), X13, T226, T215, T9))
pR_in_gagga(T98, T158, T157, T73, T9) → U25_gagga(T98, T158, T157, T73, T9, qsortL_in_ga(T98, T158))
U25_gagga(T98, T158, T157, T73, T9, qsortL_out_ga(T98, T158)) → U26_gagga(T98, T158, T157, T73, T9, appendF_in_ggga(T157, T73, T158, T9))
U26_gagga(T98, T158, T157, T73, T9, appendF_out_ggga(T157, T73, T158, T9)) → pR_out_gagga(T98, T158, T157, T73, T9)
U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_out_gagga(.(T213, T223), X13, T226, T215, T9)) → pV_out_gaggaga(T222, T226, T213, T223, X13, T215, T9)
U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_out_gaggaga(T222, X12, T213, T223, X13, T215, T9)) → pU_out_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9)
U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_out_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9)) → pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)
U3_ga(T215, T213, T214, T9, pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)) → qsortA_out_ga(.(T215, .(T213, T214)), T9)
U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_out_ga(.(T71, T97), T157)) → U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_in_gagga(T98, X13, T157, T73, T9))
U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_out_gagga(T98, X13, T157, T73, T9)) → pQ_out_ggagaga(T71, T97, T157, T98, X13, T73, T9)
U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_out_ggagaga(T71, T97, X12, T98, X13, T73, T9)) → pP_out_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9)
U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_out_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9)) → pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)
U2_ga(T73, T71, T72, T9, pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)) → qsortA_out_ga(.(T73, .(T71, T72)), T9)
QSORTA_IN_GA(.(T14, []), T9) → U1_GA(T14, T9, pB_in_aaga(X12, X13, T14, T9))
QSORTA_IN_GA(.(T14, []), T9) → PB_IN_AAGA(X12, X13, T14, T9)
PB_IN_AAGA(T19, X13, T14, T9) → U11_AAGA(T19, X13, T14, T9, qsortE_in_a(T19))
PB_IN_AAGA(T19, X13, T14, T9) → QSORTE_IN_A(T19)
U11_AAGA(T19, X13, T14, T9, qsortE_out_a(T19)) → U12_AAGA(T19, X13, T14, T9, pO_in_agga(X13, T19, T14, T9))
U11_AAGA(T19, X13, T14, T9, qsortE_out_a(T19)) → PO_IN_AGGA(X13, T19, T14, T9)
PO_IN_AGGA(T24, T19, T14, T9) → U13_AGGA(T24, T19, T14, T9, qsortE_in_a(T24))
PO_IN_AGGA(T24, T19, T14, T9) → QSORTE_IN_A(T24)
U13_AGGA(T24, T19, T14, T9, qsortE_out_a(T24)) → U14_AGGA(T24, T19, T14, T9, appendF_in_ggga(T19, T14, T24, T9))
U13_AGGA(T24, T19, T14, T9, qsortE_out_a(T24)) → APPENDF_IN_GGGA(T19, T14, T24, T9)
APPENDF_IN_GGGA(.(T49, T50), T51, T52, .(T49, T54)) → U4_GGGA(T49, T50, T51, T52, T54, appendF_in_ggga(T50, T51, T52, T54))
APPENDF_IN_GGGA(.(T49, T50), T51, T52, .(T49, T54)) → APPENDF_IN_GGGA(T50, T51, T52, T54)
QSORTA_IN_GA(.(T73, .(T71, T72)), T9) → U2_GA(T73, T71, T72, T9, pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9))
QSORTA_IN_GA(.(T73, .(T71, T72)), T9) → PC_IN_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9)
PC_IN_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9) → U15_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9, leG_in_gg(T71, T73))
PC_IN_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9) → LEG_IN_GG(T71, T73)
LEG_IN_GG(s(T86), s(T87)) → U5_GG(T86, T87, leG_in_gg(T86, T87))
LEG_IN_GG(s(T86), s(T87)) → LEG_IN_GG(T86, T87)
U15_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → U16_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9, pP_in_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9))
U15_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → PP_IN_GGAAGAAA(T72, T73, X84, X85, T71, X12, X13, T9)
PP_IN_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9) → U17_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9, splitH_in_ggaa(T72, T73, T97, T98))
PP_IN_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9) → SPLITH_IN_GGAA(T72, T73, T97, T98)
SPLITH_IN_GGAA(.(T118, T119), T120, .(T118, X149), X150) → U6_GGAA(T118, T119, T120, X149, X150, pI_in_gggaa(T118, T120, T119, X149, X150))
SPLITH_IN_GGAA(.(T118, T119), T120, .(T118, X149), X150) → PI_IN_GGGAA(T118, T120, T119, X149, X150)
PI_IN_GGGAA(T118, T120, T119, X149, X150) → U21_GGGAA(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
PI_IN_GGGAA(T118, T120, T119, X149, X150) → LEG_IN_GG(T118, T120)
U21_GGGAA(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → U22_GGGAA(T118, T120, T119, X149, X150, splitH_in_ggaa(T119, T120, X149, X150))
U21_GGGAA(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → SPLITH_IN_GGAA(T119, T120, X149, X150)
SPLITH_IN_GGAA(.(T133, T134), T135, X176, .(T133, X177)) → U7_GGAA(T133, T134, T135, X176, X177, pJ_in_gggaa(T133, T135, T134, X176, X177))
SPLITH_IN_GGAA(.(T133, T134), T135, X176, .(T133, X177)) → PJ_IN_GGGAA(T133, T135, T134, X176, X177)
PJ_IN_GGGAA(T133, T135, T134, X176, X177) → U23_GGGAA(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
PJ_IN_GGGAA(T133, T135, T134, X176, X177) → GTK_IN_GG(T133, T135)
GTK_IN_GG(s(T148), s(T149)) → U8_GG(T148, T149, gtK_in_gg(T148, T149))
GTK_IN_GG(s(T148), s(T149)) → GTK_IN_GG(T148, T149)
U23_GGGAA(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → U24_GGGAA(T133, T135, T134, X176, X177, splitH_in_ggaa(T134, T135, X176, X177))
U23_GGGAA(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → SPLITH_IN_GGAA(T134, T135, X176, X177)
U17_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → U18_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9, pQ_in_ggagaga(T71, T97, X12, T98, X13, T73, T9))
U17_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → PQ_IN_GGAGAGA(T71, T97, X12, T98, X13, T73, T9)
PQ_IN_GGAGAGA(T71, T97, T157, T98, X13, T73, T9) → U19_GGAGAGA(T71, T97, T157, T98, X13, T73, T9, qsortA_in_ga(.(T71, T97), T157))
PQ_IN_GGAGAGA(T71, T97, T157, T98, X13, T73, T9) → QSORTA_IN_GA(.(T71, T97), T157)
QSORTA_IN_GA(.(T215, .(T213, T214)), T9) → U3_GA(T215, T213, T214, T9, pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9))
QSORTA_IN_GA(.(T215, .(T213, T214)), T9) → PD_IN_GGGAAAAA(T213, T215, T214, X268, X269, X12, X13, T9)
PD_IN_GGGAAAAA(T213, T215, T214, X268, X269, X12, X13, T9) → U33_GGGAAAAA(T213, T215, T214, X268, X269, X12, X13, T9, gtK_in_gg(T213, T215))
PD_IN_GGGAAAAA(T213, T215, T214, X268, X269, X12, X13, T9) → GTK_IN_GG(T213, T215)
U33_GGGAAAAA(T213, T215, T214, X268, X269, X12, X13, T9, gtK_out_gg(T213, T215)) → U34_GGGAAAAA(T213, T215, T214, X268, X269, X12, X13, T9, pU_in_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9))
U33_GGGAAAAA(T213, T215, T214, X268, X269, X12, X13, T9, gtK_out_gg(T213, T215)) → PU_IN_GGAAAGAA(T214, T215, X268, X269, X12, T213, X13, T9)
PU_IN_GGAAAGAA(T214, T215, T222, T223, X12, T213, X13, T9) → U35_GGAAAGAA(T214, T215, T222, T223, X12, T213, X13, T9, splitH_in_ggaa(T214, T215, T222, T223))
PU_IN_GGAAAGAA(T214, T215, T222, T223, X12, T213, X13, T9) → SPLITH_IN_GGAA(T214, T215, T222, T223)
U35_GGAAAGAA(T214, T215, T222, T223, X12, T213, X13, T9, splitH_out_ggaa(T214, T215, T222, T223)) → U36_GGAAAGAA(T214, T215, T222, T223, X12, T213, X13, T9, pV_in_gaggaga(T222, X12, T213, T223, X13, T215, T9))
U35_GGAAAGAA(T214, T215, T222, T223, X12, T213, X13, T9, splitH_out_ggaa(T214, T215, T222, T223)) → PV_IN_GAGGAGA(T222, X12, T213, T223, X13, T215, T9)
PV_IN_GAGGAGA(T222, T226, T213, T223, X13, T215, T9) → U37_GAGGAGA(T222, T226, T213, T223, X13, T215, T9, qsortL_in_ga(T222, T226))
PV_IN_GAGGAGA(T222, T226, T213, T223, X13, T215, T9) → QSORTL_IN_GA(T222, T226)
QSORTL_IN_GA(.(T163, T164), X218) → U9_GA(T163, T164, X218, pM_in_ggaaaaa(T164, T163, X214, X215, X216, X217, X218))
QSORTL_IN_GA(.(T163, T164), X218) → PM_IN_GGAAAAA(T164, T163, X214, X215, X216, X217, X218)
PM_IN_GGAAAAA(T164, T163, T167, T168, X216, X217, X218) → U27_GGAAAAA(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
PM_IN_GGAAAAA(T164, T163, T167, T168, X216, X217, X218) → SPLITH_IN_GGAA(T164, T163, T167, T168)
U27_GGAAAAA(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → U28_GGAAAAA(T164, T163, T167, T168, X216, X217, X218, pS_in_gagaga(T167, X216, T168, X217, T163, X218))
U27_GGAAAAA(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → PS_IN_GAGAGA(T167, X216, T168, X217, T163, X218)
PS_IN_GAGAGA(T167, T171, T168, X217, T163, X218) → U29_GAGAGA(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
PS_IN_GAGAGA(T167, T171, T168, X217, T163, X218) → QSORTL_IN_GA(T167, T171)
U29_GAGAGA(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → U30_GAGAGA(T167, T171, T168, X217, T163, X218, pT_in_gagga(T168, X217, T171, T163, X218))
U29_GAGAGA(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → PT_IN_GAGGA(T168, X217, T171, T163, X218)
PT_IN_GAGGA(T168, T172, T171, T163, X218) → U31_GAGGA(T168, T172, T171, T163, X218, qsortL_in_ga(T168, T172))
PT_IN_GAGGA(T168, T172, T171, T163, X218) → QSORTL_IN_GA(T168, T172)
U31_GAGGA(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → U32_GAGGA(T168, T172, T171, T163, X218, appendN_in_ggga(T171, T163, T172, X218))
U31_GAGGA(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → APPENDN_IN_GGGA(T171, T163, T172, X218)
APPENDN_IN_GGGA(.(T195, T196), T197, T198, .(T195, X244)) → U10_GGGA(T195, T196, T197, T198, X244, appendN_in_ggga(T196, T197, T198, X244))
APPENDN_IN_GGGA(.(T195, T196), T197, T198, .(T195, X244)) → APPENDN_IN_GGGA(T196, T197, T198, X244)
U37_GAGGAGA(T222, T226, T213, T223, X13, T215, T9, qsortL_out_ga(T222, T226)) → U38_GAGGAGA(T222, T226, T213, T223, X13, T215, T9, pR_in_gagga(.(T213, T223), X13, T226, T215, T9))
U37_GAGGAGA(T222, T226, T213, T223, X13, T215, T9, qsortL_out_ga(T222, T226)) → PR_IN_GAGGA(.(T213, T223), X13, T226, T215, T9)
PR_IN_GAGGA(T98, T158, T157, T73, T9) → U25_GAGGA(T98, T158, T157, T73, T9, qsortL_in_ga(T98, T158))
PR_IN_GAGGA(T98, T158, T157, T73, T9) → QSORTL_IN_GA(T98, T158)
U25_GAGGA(T98, T158, T157, T73, T9, qsortL_out_ga(T98, T158)) → U26_GAGGA(T98, T158, T157, T73, T9, appendF_in_ggga(T157, T73, T158, T9))
U25_GAGGA(T98, T158, T157, T73, T9, qsortL_out_ga(T98, T158)) → APPENDF_IN_GGGA(T157, T73, T158, T9)
U19_GGAGAGA(T71, T97, T157, T98, X13, T73, T9, qsortA_out_ga(.(T71, T97), T157)) → U20_GGAGAGA(T71, T97, T157, T98, X13, T73, T9, pR_in_gagga(T98, X13, T157, T73, T9))
U19_GGAGAGA(T71, T97, T157, T98, X13, T73, T9, qsortA_out_ga(.(T71, T97), T157)) → PR_IN_GAGGA(T98, X13, T157, T73, T9)
qsortA_in_ga([], []) → qsortA_out_ga([], [])
qsortA_in_ga(.(T14, []), T9) → U1_ga(T14, T9, pB_in_aaga(X12, X13, T14, T9))
pB_in_aaga(T19, X13, T14, T9) → U11_aaga(T19, X13, T14, T9, qsortE_in_a(T19))
qsortE_in_a([]) → qsortE_out_a([])
U11_aaga(T19, X13, T14, T9, qsortE_out_a(T19)) → U12_aaga(T19, X13, T14, T9, pO_in_agga(X13, T19, T14, T9))
pO_in_agga(T24, T19, T14, T9) → U13_agga(T24, T19, T14, T9, qsortE_in_a(T24))
U13_agga(T24, T19, T14, T9, qsortE_out_a(T24)) → U14_agga(T24, T19, T14, T9, appendF_in_ggga(T19, T14, T24, T9))
appendF_in_ggga([], T37, T38, .(T37, T38)) → appendF_out_ggga([], T37, T38, .(T37, T38))
appendF_in_ggga(.(T49, T50), T51, T52, .(T49, T54)) → U4_ggga(T49, T50, T51, T52, T54, appendF_in_ggga(T50, T51, T52, T54))
U4_ggga(T49, T50, T51, T52, T54, appendF_out_ggga(T50, T51, T52, T54)) → appendF_out_ggga(.(T49, T50), T51, T52, .(T49, T54))
U14_agga(T24, T19, T14, T9, appendF_out_ggga(T19, T14, T24, T9)) → pO_out_agga(T24, T19, T14, T9)
U12_aaga(T19, X13, T14, T9, pO_out_agga(X13, T19, T14, T9)) → pB_out_aaga(T19, X13, T14, T9)
U1_ga(T14, T9, pB_out_aaga(X12, X13, T14, T9)) → qsortA_out_ga(.(T14, []), T9)
qsortA_in_ga(.(T73, .(T71, T72)), T9) → U2_ga(T73, T71, T72, T9, pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9))
pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9) → U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_in_gg(T71, T73))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_in_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9))
pP_in_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9) → U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_in_ggaa(T72, T73, T97, T98))
splitH_in_ggaa([], T105, [], []) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120, .(T118, X149), X150) → U6_ggaa(T118, T119, T120, X149, X150, pI_in_gggaa(T118, T120, T119, X149, X150))
pI_in_gggaa(T118, T120, T119, X149, X150) → U21_gggaa(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
U21_gggaa(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, X149, X150, splitH_in_ggaa(T119, T120, X149, X150))
splitH_in_ggaa(.(T133, T134), T135, X176, .(T133, X177)) → U7_ggaa(T133, T134, T135, X176, X177, pJ_in_gggaa(T133, T135, T134, X176, X177))
pJ_in_gggaa(T133, T135, T134, X176, X177) → U23_gggaa(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
U23_gggaa(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, X176, X177, splitH_in_ggaa(T134, T135, X176, X177))
U24_gggaa(T133, T135, T134, X176, X177, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U7_ggaa(T133, T134, T135, X176, X177, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
U22_gggaa(T118, T120, T119, X149, X150, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
U6_ggaa(T118, T119, T120, X149, X150, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_in_ggagaga(T71, T97, X12, T98, X13, T73, T9))
pQ_in_ggagaga(T71, T97, T157, T98, X13, T73, T9) → U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_in_ga(.(T71, T97), T157))
qsortA_in_ga(.(T215, .(T213, T214)), T9) → U3_ga(T215, T213, T214, T9, pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9))
pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9) → U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_in_gg(T213, T215))
U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_out_gg(T213, T215)) → U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_in_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9))
pU_in_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9) → U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_in_ggaa(T214, T215, T222, T223))
U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_out_ggaa(T214, T215, T222, T223)) → U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_in_gaggaga(T222, X12, T213, T223, X13, T215, T9))
pV_in_gaggaga(T222, T226, T213, T223, X13, T215, T9) → U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_in_ga(T222, T226))
qsortL_in_ga([], []) → qsortL_out_ga([], [])
qsortL_in_ga(.(T163, T164), X218) → U9_ga(T163, T164, X218, pM_in_ggaaaaa(T164, T163, X214, X215, X216, X217, X218))
pM_in_ggaaaaa(T164, T163, T167, T168, X216, X217, X218) → U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_in_gagaga(T167, X216, T168, X217, T163, X218))
pS_in_gagaga(T167, T171, T168, X217, T163, X218) → U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → U30_gagaga(T167, T171, T168, X217, T163, X218, pT_in_gagga(T168, X217, T171, T163, X218))
pT_in_gagga(T168, T172, T171, T163, X218) → U31_gagga(T168, T172, T171, T163, X218, qsortL_in_ga(T168, T172))
U31_gagga(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → U32_gagga(T168, T172, T171, T163, X218, appendN_in_ggga(T171, T163, T172, X218))
appendN_in_ggga([], T185, T186, .(T185, T186)) → appendN_out_ggga([], T185, T186, .(T185, T186))
appendN_in_ggga(.(T195, T196), T197, T198, .(T195, X244)) → U10_ggga(T195, T196, T197, T198, X244, appendN_in_ggga(T196, T197, T198, X244))
U10_ggga(T195, T196, T197, T198, X244, appendN_out_ggga(T196, T197, T198, X244)) → appendN_out_ggga(.(T195, T196), T197, T198, .(T195, X244))
U32_gagga(T168, T172, T171, T163, X218, appendN_out_ggga(T171, T163, T172, X218)) → pT_out_gagga(T168, T172, T171, T163, X218)
U30_gagaga(T167, T171, T168, X217, T163, X218, pT_out_gagga(T168, X217, T171, T163, X218)) → pS_out_gagaga(T167, T171, T168, X217, T163, X218)
U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_out_gagaga(T167, X216, T168, X217, T163, X218)) → pM_out_ggaaaaa(T164, T163, T167, T168, X216, X217, X218)
U9_ga(T163, T164, X218, pM_out_ggaaaaa(T164, T163, X214, X215, X216, X217, X218)) → qsortL_out_ga(.(T163, T164), X218)
U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_out_ga(T222, T226)) → U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_in_gagga(.(T213, T223), X13, T226, T215, T9))
pR_in_gagga(T98, T158, T157, T73, T9) → U25_gagga(T98, T158, T157, T73, T9, qsortL_in_ga(T98, T158))
U25_gagga(T98, T158, T157, T73, T9, qsortL_out_ga(T98, T158)) → U26_gagga(T98, T158, T157, T73, T9, appendF_in_ggga(T157, T73, T158, T9))
U26_gagga(T98, T158, T157, T73, T9, appendF_out_ggga(T157, T73, T158, T9)) → pR_out_gagga(T98, T158, T157, T73, T9)
U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_out_gagga(.(T213, T223), X13, T226, T215, T9)) → pV_out_gaggaga(T222, T226, T213, T223, X13, T215, T9)
U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_out_gaggaga(T222, X12, T213, T223, X13, T215, T9)) → pU_out_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9)
U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_out_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9)) → pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)
U3_ga(T215, T213, T214, T9, pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)) → qsortA_out_ga(.(T215, .(T213, T214)), T9)
U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_out_ga(.(T71, T97), T157)) → U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_in_gagga(T98, X13, T157, T73, T9))
U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_out_gagga(T98, X13, T157, T73, T9)) → pQ_out_ggagaga(T71, T97, T157, T98, X13, T73, T9)
U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_out_ggagaga(T71, T97, X12, T98, X13, T73, T9)) → pP_out_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9)
U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_out_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9)) → pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)
U2_ga(T73, T71, T72, T9, pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)) → qsortA_out_ga(.(T73, .(T71, T72)), T9)
APPENDN_IN_GGGA(.(T195, T196), T197, T198, .(T195, X244)) → APPENDN_IN_GGGA(T196, T197, T198, X244)
qsortA_in_ga([], []) → qsortA_out_ga([], [])
qsortA_in_ga(.(T14, []), T9) → U1_ga(T14, T9, pB_in_aaga(X12, X13, T14, T9))
pB_in_aaga(T19, X13, T14, T9) → U11_aaga(T19, X13, T14, T9, qsortE_in_a(T19))
qsortE_in_a([]) → qsortE_out_a([])
U11_aaga(T19, X13, T14, T9, qsortE_out_a(T19)) → U12_aaga(T19, X13, T14, T9, pO_in_agga(X13, T19, T14, T9))
pO_in_agga(T24, T19, T14, T9) → U13_agga(T24, T19, T14, T9, qsortE_in_a(T24))
U13_agga(T24, T19, T14, T9, qsortE_out_a(T24)) → U14_agga(T24, T19, T14, T9, appendF_in_ggga(T19, T14, T24, T9))
appendF_in_ggga([], T37, T38, .(T37, T38)) → appendF_out_ggga([], T37, T38, .(T37, T38))
appendF_in_ggga(.(T49, T50), T51, T52, .(T49, T54)) → U4_ggga(T49, T50, T51, T52, T54, appendF_in_ggga(T50, T51, T52, T54))
U4_ggga(T49, T50, T51, T52, T54, appendF_out_ggga(T50, T51, T52, T54)) → appendF_out_ggga(.(T49, T50), T51, T52, .(T49, T54))
U14_agga(T24, T19, T14, T9, appendF_out_ggga(T19, T14, T24, T9)) → pO_out_agga(T24, T19, T14, T9)
U12_aaga(T19, X13, T14, T9, pO_out_agga(X13, T19, T14, T9)) → pB_out_aaga(T19, X13, T14, T9)
U1_ga(T14, T9, pB_out_aaga(X12, X13, T14, T9)) → qsortA_out_ga(.(T14, []), T9)
qsortA_in_ga(.(T73, .(T71, T72)), T9) → U2_ga(T73, T71, T72, T9, pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9))
pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9) → U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_in_gg(T71, T73))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_in_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9))
pP_in_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9) → U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_in_ggaa(T72, T73, T97, T98))
splitH_in_ggaa([], T105, [], []) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120, .(T118, X149), X150) → U6_ggaa(T118, T119, T120, X149, X150, pI_in_gggaa(T118, T120, T119, X149, X150))
pI_in_gggaa(T118, T120, T119, X149, X150) → U21_gggaa(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
U21_gggaa(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, X149, X150, splitH_in_ggaa(T119, T120, X149, X150))
splitH_in_ggaa(.(T133, T134), T135, X176, .(T133, X177)) → U7_ggaa(T133, T134, T135, X176, X177, pJ_in_gggaa(T133, T135, T134, X176, X177))
pJ_in_gggaa(T133, T135, T134, X176, X177) → U23_gggaa(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
U23_gggaa(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, X176, X177, splitH_in_ggaa(T134, T135, X176, X177))
U24_gggaa(T133, T135, T134, X176, X177, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U7_ggaa(T133, T134, T135, X176, X177, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
U22_gggaa(T118, T120, T119, X149, X150, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
U6_ggaa(T118, T119, T120, X149, X150, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_in_ggagaga(T71, T97, X12, T98, X13, T73, T9))
pQ_in_ggagaga(T71, T97, T157, T98, X13, T73, T9) → U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_in_ga(.(T71, T97), T157))
qsortA_in_ga(.(T215, .(T213, T214)), T9) → U3_ga(T215, T213, T214, T9, pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9))
pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9) → U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_in_gg(T213, T215))
U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_out_gg(T213, T215)) → U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_in_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9))
pU_in_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9) → U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_in_ggaa(T214, T215, T222, T223))
U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_out_ggaa(T214, T215, T222, T223)) → U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_in_gaggaga(T222, X12, T213, T223, X13, T215, T9))
pV_in_gaggaga(T222, T226, T213, T223, X13, T215, T9) → U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_in_ga(T222, T226))
qsortL_in_ga([], []) → qsortL_out_ga([], [])
qsortL_in_ga(.(T163, T164), X218) → U9_ga(T163, T164, X218, pM_in_ggaaaaa(T164, T163, X214, X215, X216, X217, X218))
pM_in_ggaaaaa(T164, T163, T167, T168, X216, X217, X218) → U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_in_gagaga(T167, X216, T168, X217, T163, X218))
pS_in_gagaga(T167, T171, T168, X217, T163, X218) → U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → U30_gagaga(T167, T171, T168, X217, T163, X218, pT_in_gagga(T168, X217, T171, T163, X218))
pT_in_gagga(T168, T172, T171, T163, X218) → U31_gagga(T168, T172, T171, T163, X218, qsortL_in_ga(T168, T172))
U31_gagga(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → U32_gagga(T168, T172, T171, T163, X218, appendN_in_ggga(T171, T163, T172, X218))
appendN_in_ggga([], T185, T186, .(T185, T186)) → appendN_out_ggga([], T185, T186, .(T185, T186))
appendN_in_ggga(.(T195, T196), T197, T198, .(T195, X244)) → U10_ggga(T195, T196, T197, T198, X244, appendN_in_ggga(T196, T197, T198, X244))
U10_ggga(T195, T196, T197, T198, X244, appendN_out_ggga(T196, T197, T198, X244)) → appendN_out_ggga(.(T195, T196), T197, T198, .(T195, X244))
U32_gagga(T168, T172, T171, T163, X218, appendN_out_ggga(T171, T163, T172, X218)) → pT_out_gagga(T168, T172, T171, T163, X218)
U30_gagaga(T167, T171, T168, X217, T163, X218, pT_out_gagga(T168, X217, T171, T163, X218)) → pS_out_gagaga(T167, T171, T168, X217, T163, X218)
U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_out_gagaga(T167, X216, T168, X217, T163, X218)) → pM_out_ggaaaaa(T164, T163, T167, T168, X216, X217, X218)
U9_ga(T163, T164, X218, pM_out_ggaaaaa(T164, T163, X214, X215, X216, X217, X218)) → qsortL_out_ga(.(T163, T164), X218)
U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_out_ga(T222, T226)) → U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_in_gagga(.(T213, T223), X13, T226, T215, T9))
pR_in_gagga(T98, T158, T157, T73, T9) → U25_gagga(T98, T158, T157, T73, T9, qsortL_in_ga(T98, T158))
U25_gagga(T98, T158, T157, T73, T9, qsortL_out_ga(T98, T158)) → U26_gagga(T98, T158, T157, T73, T9, appendF_in_ggga(T157, T73, T158, T9))
U26_gagga(T98, T158, T157, T73, T9, appendF_out_ggga(T157, T73, T158, T9)) → pR_out_gagga(T98, T158, T157, T73, T9)
U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_out_gagga(.(T213, T223), X13, T226, T215, T9)) → pV_out_gaggaga(T222, T226, T213, T223, X13, T215, T9)
U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_out_gaggaga(T222, X12, T213, T223, X13, T215, T9)) → pU_out_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9)
U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_out_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9)) → pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)
U3_ga(T215, T213, T214, T9, pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)) → qsortA_out_ga(.(T215, .(T213, T214)), T9)
U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_out_ga(.(T71, T97), T157)) → U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_in_gagga(T98, X13, T157, T73, T9))
U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_out_gagga(T98, X13, T157, T73, T9)) → pQ_out_ggagaga(T71, T97, T157, T98, X13, T73, T9)
U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_out_ggagaga(T71, T97, X12, T98, X13, T73, T9)) → pP_out_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9)
U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_out_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9)) → pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)
U2_ga(T73, T71, T72, T9, pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)) → qsortA_out_ga(.(T73, .(T71, T72)), T9)
APPENDN_IN_GGGA(.(T195, T196), T197, T198, .(T195, X244)) → APPENDN_IN_GGGA(T196, T197, T198, X244)
APPENDN_IN_GGGA(.(T195, T196), T197, T198) → APPENDN_IN_GGGA(T196, T197, T198)
From the DPs we obtained the following set of size-change graphs:
GTK_IN_GG(s(T148), s(T149)) → GTK_IN_GG(T148, T149)
qsortA_in_ga([], []) → qsortA_out_ga([], [])
qsortA_in_ga(.(T14, []), T9) → U1_ga(T14, T9, pB_in_aaga(X12, X13, T14, T9))
pB_in_aaga(T19, X13, T14, T9) → U11_aaga(T19, X13, T14, T9, qsortE_in_a(T19))
qsortE_in_a([]) → qsortE_out_a([])
U11_aaga(T19, X13, T14, T9, qsortE_out_a(T19)) → U12_aaga(T19, X13, T14, T9, pO_in_agga(X13, T19, T14, T9))
pO_in_agga(T24, T19, T14, T9) → U13_agga(T24, T19, T14, T9, qsortE_in_a(T24))
U13_agga(T24, T19, T14, T9, qsortE_out_a(T24)) → U14_agga(T24, T19, T14, T9, appendF_in_ggga(T19, T14, T24, T9))
appendF_in_ggga([], T37, T38, .(T37, T38)) → appendF_out_ggga([], T37, T38, .(T37, T38))
appendF_in_ggga(.(T49, T50), T51, T52, .(T49, T54)) → U4_ggga(T49, T50, T51, T52, T54, appendF_in_ggga(T50, T51, T52, T54))
U4_ggga(T49, T50, T51, T52, T54, appendF_out_ggga(T50, T51, T52, T54)) → appendF_out_ggga(.(T49, T50), T51, T52, .(T49, T54))
U14_agga(T24, T19, T14, T9, appendF_out_ggga(T19, T14, T24, T9)) → pO_out_agga(T24, T19, T14, T9)
U12_aaga(T19, X13, T14, T9, pO_out_agga(X13, T19, T14, T9)) → pB_out_aaga(T19, X13, T14, T9)
U1_ga(T14, T9, pB_out_aaga(X12, X13, T14, T9)) → qsortA_out_ga(.(T14, []), T9)
qsortA_in_ga(.(T73, .(T71, T72)), T9) → U2_ga(T73, T71, T72, T9, pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9))
pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9) → U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_in_gg(T71, T73))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_in_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9))
pP_in_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9) → U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_in_ggaa(T72, T73, T97, T98))
splitH_in_ggaa([], T105, [], []) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120, .(T118, X149), X150) → U6_ggaa(T118, T119, T120, X149, X150, pI_in_gggaa(T118, T120, T119, X149, X150))
pI_in_gggaa(T118, T120, T119, X149, X150) → U21_gggaa(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
U21_gggaa(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, X149, X150, splitH_in_ggaa(T119, T120, X149, X150))
splitH_in_ggaa(.(T133, T134), T135, X176, .(T133, X177)) → U7_ggaa(T133, T134, T135, X176, X177, pJ_in_gggaa(T133, T135, T134, X176, X177))
pJ_in_gggaa(T133, T135, T134, X176, X177) → U23_gggaa(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
U23_gggaa(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, X176, X177, splitH_in_ggaa(T134, T135, X176, X177))
U24_gggaa(T133, T135, T134, X176, X177, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U7_ggaa(T133, T134, T135, X176, X177, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
U22_gggaa(T118, T120, T119, X149, X150, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
U6_ggaa(T118, T119, T120, X149, X150, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_in_ggagaga(T71, T97, X12, T98, X13, T73, T9))
pQ_in_ggagaga(T71, T97, T157, T98, X13, T73, T9) → U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_in_ga(.(T71, T97), T157))
qsortA_in_ga(.(T215, .(T213, T214)), T9) → U3_ga(T215, T213, T214, T9, pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9))
pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9) → U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_in_gg(T213, T215))
U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_out_gg(T213, T215)) → U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_in_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9))
pU_in_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9) → U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_in_ggaa(T214, T215, T222, T223))
U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_out_ggaa(T214, T215, T222, T223)) → U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_in_gaggaga(T222, X12, T213, T223, X13, T215, T9))
pV_in_gaggaga(T222, T226, T213, T223, X13, T215, T9) → U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_in_ga(T222, T226))
qsortL_in_ga([], []) → qsortL_out_ga([], [])
qsortL_in_ga(.(T163, T164), X218) → U9_ga(T163, T164, X218, pM_in_ggaaaaa(T164, T163, X214, X215, X216, X217, X218))
pM_in_ggaaaaa(T164, T163, T167, T168, X216, X217, X218) → U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_in_gagaga(T167, X216, T168, X217, T163, X218))
pS_in_gagaga(T167, T171, T168, X217, T163, X218) → U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → U30_gagaga(T167, T171, T168, X217, T163, X218, pT_in_gagga(T168, X217, T171, T163, X218))
pT_in_gagga(T168, T172, T171, T163, X218) → U31_gagga(T168, T172, T171, T163, X218, qsortL_in_ga(T168, T172))
U31_gagga(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → U32_gagga(T168, T172, T171, T163, X218, appendN_in_ggga(T171, T163, T172, X218))
appendN_in_ggga([], T185, T186, .(T185, T186)) → appendN_out_ggga([], T185, T186, .(T185, T186))
appendN_in_ggga(.(T195, T196), T197, T198, .(T195, X244)) → U10_ggga(T195, T196, T197, T198, X244, appendN_in_ggga(T196, T197, T198, X244))
U10_ggga(T195, T196, T197, T198, X244, appendN_out_ggga(T196, T197, T198, X244)) → appendN_out_ggga(.(T195, T196), T197, T198, .(T195, X244))
U32_gagga(T168, T172, T171, T163, X218, appendN_out_ggga(T171, T163, T172, X218)) → pT_out_gagga(T168, T172, T171, T163, X218)
U30_gagaga(T167, T171, T168, X217, T163, X218, pT_out_gagga(T168, X217, T171, T163, X218)) → pS_out_gagaga(T167, T171, T168, X217, T163, X218)
U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_out_gagaga(T167, X216, T168, X217, T163, X218)) → pM_out_ggaaaaa(T164, T163, T167, T168, X216, X217, X218)
U9_ga(T163, T164, X218, pM_out_ggaaaaa(T164, T163, X214, X215, X216, X217, X218)) → qsortL_out_ga(.(T163, T164), X218)
U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_out_ga(T222, T226)) → U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_in_gagga(.(T213, T223), X13, T226, T215, T9))
pR_in_gagga(T98, T158, T157, T73, T9) → U25_gagga(T98, T158, T157, T73, T9, qsortL_in_ga(T98, T158))
U25_gagga(T98, T158, T157, T73, T9, qsortL_out_ga(T98, T158)) → U26_gagga(T98, T158, T157, T73, T9, appendF_in_ggga(T157, T73, T158, T9))
U26_gagga(T98, T158, T157, T73, T9, appendF_out_ggga(T157, T73, T158, T9)) → pR_out_gagga(T98, T158, T157, T73, T9)
U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_out_gagga(.(T213, T223), X13, T226, T215, T9)) → pV_out_gaggaga(T222, T226, T213, T223, X13, T215, T9)
U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_out_gaggaga(T222, X12, T213, T223, X13, T215, T9)) → pU_out_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9)
U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_out_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9)) → pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)
U3_ga(T215, T213, T214, T9, pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)) → qsortA_out_ga(.(T215, .(T213, T214)), T9)
U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_out_ga(.(T71, T97), T157)) → U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_in_gagga(T98, X13, T157, T73, T9))
U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_out_gagga(T98, X13, T157, T73, T9)) → pQ_out_ggagaga(T71, T97, T157, T98, X13, T73, T9)
U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_out_ggagaga(T71, T97, X12, T98, X13, T73, T9)) → pP_out_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9)
U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_out_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9)) → pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)
U2_ga(T73, T71, T72, T9, pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)) → qsortA_out_ga(.(T73, .(T71, T72)), T9)
GTK_IN_GG(s(T148), s(T149)) → GTK_IN_GG(T148, T149)
GTK_IN_GG(s(T148), s(T149)) → GTK_IN_GG(T148, T149)
From the DPs we obtained the following set of size-change graphs:
LEG_IN_GG(s(T86), s(T87)) → LEG_IN_GG(T86, T87)
qsortA_in_ga([], []) → qsortA_out_ga([], [])
qsortA_in_ga(.(T14, []), T9) → U1_ga(T14, T9, pB_in_aaga(X12, X13, T14, T9))
pB_in_aaga(T19, X13, T14, T9) → U11_aaga(T19, X13, T14, T9, qsortE_in_a(T19))
qsortE_in_a([]) → qsortE_out_a([])
U11_aaga(T19, X13, T14, T9, qsortE_out_a(T19)) → U12_aaga(T19, X13, T14, T9, pO_in_agga(X13, T19, T14, T9))
pO_in_agga(T24, T19, T14, T9) → U13_agga(T24, T19, T14, T9, qsortE_in_a(T24))
U13_agga(T24, T19, T14, T9, qsortE_out_a(T24)) → U14_agga(T24, T19, T14, T9, appendF_in_ggga(T19, T14, T24, T9))
appendF_in_ggga([], T37, T38, .(T37, T38)) → appendF_out_ggga([], T37, T38, .(T37, T38))
appendF_in_ggga(.(T49, T50), T51, T52, .(T49, T54)) → U4_ggga(T49, T50, T51, T52, T54, appendF_in_ggga(T50, T51, T52, T54))
U4_ggga(T49, T50, T51, T52, T54, appendF_out_ggga(T50, T51, T52, T54)) → appendF_out_ggga(.(T49, T50), T51, T52, .(T49, T54))
U14_agga(T24, T19, T14, T9, appendF_out_ggga(T19, T14, T24, T9)) → pO_out_agga(T24, T19, T14, T9)
U12_aaga(T19, X13, T14, T9, pO_out_agga(X13, T19, T14, T9)) → pB_out_aaga(T19, X13, T14, T9)
U1_ga(T14, T9, pB_out_aaga(X12, X13, T14, T9)) → qsortA_out_ga(.(T14, []), T9)
qsortA_in_ga(.(T73, .(T71, T72)), T9) → U2_ga(T73, T71, T72, T9, pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9))
pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9) → U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_in_gg(T71, T73))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_in_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9))
pP_in_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9) → U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_in_ggaa(T72, T73, T97, T98))
splitH_in_ggaa([], T105, [], []) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120, .(T118, X149), X150) → U6_ggaa(T118, T119, T120, X149, X150, pI_in_gggaa(T118, T120, T119, X149, X150))
pI_in_gggaa(T118, T120, T119, X149, X150) → U21_gggaa(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
U21_gggaa(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, X149, X150, splitH_in_ggaa(T119, T120, X149, X150))
splitH_in_ggaa(.(T133, T134), T135, X176, .(T133, X177)) → U7_ggaa(T133, T134, T135, X176, X177, pJ_in_gggaa(T133, T135, T134, X176, X177))
pJ_in_gggaa(T133, T135, T134, X176, X177) → U23_gggaa(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
U23_gggaa(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, X176, X177, splitH_in_ggaa(T134, T135, X176, X177))
U24_gggaa(T133, T135, T134, X176, X177, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U7_ggaa(T133, T134, T135, X176, X177, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
U22_gggaa(T118, T120, T119, X149, X150, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
U6_ggaa(T118, T119, T120, X149, X150, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_in_ggagaga(T71, T97, X12, T98, X13, T73, T9))
pQ_in_ggagaga(T71, T97, T157, T98, X13, T73, T9) → U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_in_ga(.(T71, T97), T157))
qsortA_in_ga(.(T215, .(T213, T214)), T9) → U3_ga(T215, T213, T214, T9, pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9))
pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9) → U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_in_gg(T213, T215))
U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_out_gg(T213, T215)) → U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_in_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9))
pU_in_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9) → U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_in_ggaa(T214, T215, T222, T223))
U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_out_ggaa(T214, T215, T222, T223)) → U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_in_gaggaga(T222, X12, T213, T223, X13, T215, T9))
pV_in_gaggaga(T222, T226, T213, T223, X13, T215, T9) → U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_in_ga(T222, T226))
qsortL_in_ga([], []) → qsortL_out_ga([], [])
qsortL_in_ga(.(T163, T164), X218) → U9_ga(T163, T164, X218, pM_in_ggaaaaa(T164, T163, X214, X215, X216, X217, X218))
pM_in_ggaaaaa(T164, T163, T167, T168, X216, X217, X218) → U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_in_gagaga(T167, X216, T168, X217, T163, X218))
pS_in_gagaga(T167, T171, T168, X217, T163, X218) → U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → U30_gagaga(T167, T171, T168, X217, T163, X218, pT_in_gagga(T168, X217, T171, T163, X218))
pT_in_gagga(T168, T172, T171, T163, X218) → U31_gagga(T168, T172, T171, T163, X218, qsortL_in_ga(T168, T172))
U31_gagga(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → U32_gagga(T168, T172, T171, T163, X218, appendN_in_ggga(T171, T163, T172, X218))
appendN_in_ggga([], T185, T186, .(T185, T186)) → appendN_out_ggga([], T185, T186, .(T185, T186))
appendN_in_ggga(.(T195, T196), T197, T198, .(T195, X244)) → U10_ggga(T195, T196, T197, T198, X244, appendN_in_ggga(T196, T197, T198, X244))
U10_ggga(T195, T196, T197, T198, X244, appendN_out_ggga(T196, T197, T198, X244)) → appendN_out_ggga(.(T195, T196), T197, T198, .(T195, X244))
U32_gagga(T168, T172, T171, T163, X218, appendN_out_ggga(T171, T163, T172, X218)) → pT_out_gagga(T168, T172, T171, T163, X218)
U30_gagaga(T167, T171, T168, X217, T163, X218, pT_out_gagga(T168, X217, T171, T163, X218)) → pS_out_gagaga(T167, T171, T168, X217, T163, X218)
U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_out_gagaga(T167, X216, T168, X217, T163, X218)) → pM_out_ggaaaaa(T164, T163, T167, T168, X216, X217, X218)
U9_ga(T163, T164, X218, pM_out_ggaaaaa(T164, T163, X214, X215, X216, X217, X218)) → qsortL_out_ga(.(T163, T164), X218)
U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_out_ga(T222, T226)) → U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_in_gagga(.(T213, T223), X13, T226, T215, T9))
pR_in_gagga(T98, T158, T157, T73, T9) → U25_gagga(T98, T158, T157, T73, T9, qsortL_in_ga(T98, T158))
U25_gagga(T98, T158, T157, T73, T9, qsortL_out_ga(T98, T158)) → U26_gagga(T98, T158, T157, T73, T9, appendF_in_ggga(T157, T73, T158, T9))
U26_gagga(T98, T158, T157, T73, T9, appendF_out_ggga(T157, T73, T158, T9)) → pR_out_gagga(T98, T158, T157, T73, T9)
U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_out_gagga(.(T213, T223), X13, T226, T215, T9)) → pV_out_gaggaga(T222, T226, T213, T223, X13, T215, T9)
U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_out_gaggaga(T222, X12, T213, T223, X13, T215, T9)) → pU_out_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9)
U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_out_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9)) → pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)
U3_ga(T215, T213, T214, T9, pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)) → qsortA_out_ga(.(T215, .(T213, T214)), T9)
U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_out_ga(.(T71, T97), T157)) → U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_in_gagga(T98, X13, T157, T73, T9))
U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_out_gagga(T98, X13, T157, T73, T9)) → pQ_out_ggagaga(T71, T97, T157, T98, X13, T73, T9)
U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_out_ggagaga(T71, T97, X12, T98, X13, T73, T9)) → pP_out_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9)
U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_out_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9)) → pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)
U2_ga(T73, T71, T72, T9, pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)) → qsortA_out_ga(.(T73, .(T71, T72)), T9)
LEG_IN_GG(s(T86), s(T87)) → LEG_IN_GG(T86, T87)
LEG_IN_GG(s(T86), s(T87)) → LEG_IN_GG(T86, T87)
From the DPs we obtained the following set of size-change graphs:
PI_IN_GGGAA(T118, T120, T119, X149, X150) → U21_GGGAA(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
U21_GGGAA(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → SPLITH_IN_GGAA(T119, T120, X149, X150)
SPLITH_IN_GGAA(.(T118, T119), T120, .(T118, X149), X150) → PI_IN_GGGAA(T118, T120, T119, X149, X150)
SPLITH_IN_GGAA(.(T133, T134), T135, X176, .(T133, X177)) → PJ_IN_GGGAA(T133, T135, T134, X176, X177)
PJ_IN_GGGAA(T133, T135, T134, X176, X177) → U23_GGGAA(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
U23_GGGAA(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → SPLITH_IN_GGAA(T134, T135, X176, X177)
qsortA_in_ga([], []) → qsortA_out_ga([], [])
qsortA_in_ga(.(T14, []), T9) → U1_ga(T14, T9, pB_in_aaga(X12, X13, T14, T9))
pB_in_aaga(T19, X13, T14, T9) → U11_aaga(T19, X13, T14, T9, qsortE_in_a(T19))
qsortE_in_a([]) → qsortE_out_a([])
U11_aaga(T19, X13, T14, T9, qsortE_out_a(T19)) → U12_aaga(T19, X13, T14, T9, pO_in_agga(X13, T19, T14, T9))
pO_in_agga(T24, T19, T14, T9) → U13_agga(T24, T19, T14, T9, qsortE_in_a(T24))
U13_agga(T24, T19, T14, T9, qsortE_out_a(T24)) → U14_agga(T24, T19, T14, T9, appendF_in_ggga(T19, T14, T24, T9))
appendF_in_ggga([], T37, T38, .(T37, T38)) → appendF_out_ggga([], T37, T38, .(T37, T38))
appendF_in_ggga(.(T49, T50), T51, T52, .(T49, T54)) → U4_ggga(T49, T50, T51, T52, T54, appendF_in_ggga(T50, T51, T52, T54))
U4_ggga(T49, T50, T51, T52, T54, appendF_out_ggga(T50, T51, T52, T54)) → appendF_out_ggga(.(T49, T50), T51, T52, .(T49, T54))
U14_agga(T24, T19, T14, T9, appendF_out_ggga(T19, T14, T24, T9)) → pO_out_agga(T24, T19, T14, T9)
U12_aaga(T19, X13, T14, T9, pO_out_agga(X13, T19, T14, T9)) → pB_out_aaga(T19, X13, T14, T9)
U1_ga(T14, T9, pB_out_aaga(X12, X13, T14, T9)) → qsortA_out_ga(.(T14, []), T9)
qsortA_in_ga(.(T73, .(T71, T72)), T9) → U2_ga(T73, T71, T72, T9, pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9))
pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9) → U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_in_gg(T71, T73))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_in_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9))
pP_in_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9) → U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_in_ggaa(T72, T73, T97, T98))
splitH_in_ggaa([], T105, [], []) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120, .(T118, X149), X150) → U6_ggaa(T118, T119, T120, X149, X150, pI_in_gggaa(T118, T120, T119, X149, X150))
pI_in_gggaa(T118, T120, T119, X149, X150) → U21_gggaa(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
U21_gggaa(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, X149, X150, splitH_in_ggaa(T119, T120, X149, X150))
splitH_in_ggaa(.(T133, T134), T135, X176, .(T133, X177)) → U7_ggaa(T133, T134, T135, X176, X177, pJ_in_gggaa(T133, T135, T134, X176, X177))
pJ_in_gggaa(T133, T135, T134, X176, X177) → U23_gggaa(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
U23_gggaa(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, X176, X177, splitH_in_ggaa(T134, T135, X176, X177))
U24_gggaa(T133, T135, T134, X176, X177, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U7_ggaa(T133, T134, T135, X176, X177, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
U22_gggaa(T118, T120, T119, X149, X150, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
U6_ggaa(T118, T119, T120, X149, X150, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_in_ggagaga(T71, T97, X12, T98, X13, T73, T9))
pQ_in_ggagaga(T71, T97, T157, T98, X13, T73, T9) → U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_in_ga(.(T71, T97), T157))
qsortA_in_ga(.(T215, .(T213, T214)), T9) → U3_ga(T215, T213, T214, T9, pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9))
pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9) → U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_in_gg(T213, T215))
U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_out_gg(T213, T215)) → U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_in_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9))
pU_in_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9) → U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_in_ggaa(T214, T215, T222, T223))
U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_out_ggaa(T214, T215, T222, T223)) → U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_in_gaggaga(T222, X12, T213, T223, X13, T215, T9))
pV_in_gaggaga(T222, T226, T213, T223, X13, T215, T9) → U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_in_ga(T222, T226))
qsortL_in_ga([], []) → qsortL_out_ga([], [])
qsortL_in_ga(.(T163, T164), X218) → U9_ga(T163, T164, X218, pM_in_ggaaaaa(T164, T163, X214, X215, X216, X217, X218))
pM_in_ggaaaaa(T164, T163, T167, T168, X216, X217, X218) → U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_in_gagaga(T167, X216, T168, X217, T163, X218))
pS_in_gagaga(T167, T171, T168, X217, T163, X218) → U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → U30_gagaga(T167, T171, T168, X217, T163, X218, pT_in_gagga(T168, X217, T171, T163, X218))
pT_in_gagga(T168, T172, T171, T163, X218) → U31_gagga(T168, T172, T171, T163, X218, qsortL_in_ga(T168, T172))
U31_gagga(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → U32_gagga(T168, T172, T171, T163, X218, appendN_in_ggga(T171, T163, T172, X218))
appendN_in_ggga([], T185, T186, .(T185, T186)) → appendN_out_ggga([], T185, T186, .(T185, T186))
appendN_in_ggga(.(T195, T196), T197, T198, .(T195, X244)) → U10_ggga(T195, T196, T197, T198, X244, appendN_in_ggga(T196, T197, T198, X244))
U10_ggga(T195, T196, T197, T198, X244, appendN_out_ggga(T196, T197, T198, X244)) → appendN_out_ggga(.(T195, T196), T197, T198, .(T195, X244))
U32_gagga(T168, T172, T171, T163, X218, appendN_out_ggga(T171, T163, T172, X218)) → pT_out_gagga(T168, T172, T171, T163, X218)
U30_gagaga(T167, T171, T168, X217, T163, X218, pT_out_gagga(T168, X217, T171, T163, X218)) → pS_out_gagaga(T167, T171, T168, X217, T163, X218)
U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_out_gagaga(T167, X216, T168, X217, T163, X218)) → pM_out_ggaaaaa(T164, T163, T167, T168, X216, X217, X218)
U9_ga(T163, T164, X218, pM_out_ggaaaaa(T164, T163, X214, X215, X216, X217, X218)) → qsortL_out_ga(.(T163, T164), X218)
U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_out_ga(T222, T226)) → U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_in_gagga(.(T213, T223), X13, T226, T215, T9))
pR_in_gagga(T98, T158, T157, T73, T9) → U25_gagga(T98, T158, T157, T73, T9, qsortL_in_ga(T98, T158))
U25_gagga(T98, T158, T157, T73, T9, qsortL_out_ga(T98, T158)) → U26_gagga(T98, T158, T157, T73, T9, appendF_in_ggga(T157, T73, T158, T9))
U26_gagga(T98, T158, T157, T73, T9, appendF_out_ggga(T157, T73, T158, T9)) → pR_out_gagga(T98, T158, T157, T73, T9)
U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_out_gagga(.(T213, T223), X13, T226, T215, T9)) → pV_out_gaggaga(T222, T226, T213, T223, X13, T215, T9)
U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_out_gaggaga(T222, X12, T213, T223, X13, T215, T9)) → pU_out_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9)
U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_out_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9)) → pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)
U3_ga(T215, T213, T214, T9, pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)) → qsortA_out_ga(.(T215, .(T213, T214)), T9)
U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_out_ga(.(T71, T97), T157)) → U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_in_gagga(T98, X13, T157, T73, T9))
U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_out_gagga(T98, X13, T157, T73, T9)) → pQ_out_ggagaga(T71, T97, T157, T98, X13, T73, T9)
U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_out_ggagaga(T71, T97, X12, T98, X13, T73, T9)) → pP_out_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9)
U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_out_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9)) → pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)
U2_ga(T73, T71, T72, T9, pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)) → qsortA_out_ga(.(T73, .(T71, T72)), T9)
PI_IN_GGGAA(T118, T120, T119, X149, X150) → U21_GGGAA(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
U21_GGGAA(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → SPLITH_IN_GGAA(T119, T120, X149, X150)
SPLITH_IN_GGAA(.(T118, T119), T120, .(T118, X149), X150) → PI_IN_GGGAA(T118, T120, T119, X149, X150)
SPLITH_IN_GGAA(.(T133, T134), T135, X176, .(T133, X177)) → PJ_IN_GGGAA(T133, T135, T134, X176, X177)
PJ_IN_GGGAA(T133, T135, T134, X176, X177) → U23_GGGAA(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
U23_GGGAA(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → SPLITH_IN_GGAA(T134, T135, X176, X177)
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
PI_IN_GGGAA(T118, T120, T119) → U21_GGGAA(T118, T120, T119, leG_in_gg(T118, T120))
U21_GGGAA(T118, T120, T119, leG_out_gg(T118, T120)) → SPLITH_IN_GGAA(T119, T120)
SPLITH_IN_GGAA(.(T118, T119), T120) → PI_IN_GGGAA(T118, T120, T119)
SPLITH_IN_GGAA(.(T133, T134), T135) → PJ_IN_GGGAA(T133, T135, T134)
PJ_IN_GGGAA(T133, T135, T134) → U23_GGGAA(T133, T135, T134, gtK_in_gg(T133, T135))
U23_GGGAA(T133, T135, T134, gtK_out_gg(T133, T135)) → SPLITH_IN_GGAA(T134, T135)
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
leG_in_gg(x0, x1)
gtK_in_gg(x0, x1)
U5_gg(x0, x1, x2)
U8_gg(x0, x1, x2)
From the DPs we obtained the following set of size-change graphs:
PM_IN_GGAAAAA(T164, T163, T167, T168, X216, X217, X218) → U27_GGAAAAA(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
U27_GGAAAAA(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → PS_IN_GAGAGA(T167, X216, T168, X217, T163, X218)
PS_IN_GAGAGA(T167, T171, T168, X217, T163, X218) → U29_GAGAGA(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
U29_GAGAGA(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → PT_IN_GAGGA(T168, X217, T171, T163, X218)
PT_IN_GAGGA(T168, T172, T171, T163, X218) → QSORTL_IN_GA(T168, T172)
QSORTL_IN_GA(.(T163, T164), X218) → PM_IN_GGAAAAA(T164, T163, X214, X215, X216, X217, X218)
PS_IN_GAGAGA(T167, T171, T168, X217, T163, X218) → QSORTL_IN_GA(T167, T171)
qsortA_in_ga([], []) → qsortA_out_ga([], [])
qsortA_in_ga(.(T14, []), T9) → U1_ga(T14, T9, pB_in_aaga(X12, X13, T14, T9))
pB_in_aaga(T19, X13, T14, T9) → U11_aaga(T19, X13, T14, T9, qsortE_in_a(T19))
qsortE_in_a([]) → qsortE_out_a([])
U11_aaga(T19, X13, T14, T9, qsortE_out_a(T19)) → U12_aaga(T19, X13, T14, T9, pO_in_agga(X13, T19, T14, T9))
pO_in_agga(T24, T19, T14, T9) → U13_agga(T24, T19, T14, T9, qsortE_in_a(T24))
U13_agga(T24, T19, T14, T9, qsortE_out_a(T24)) → U14_agga(T24, T19, T14, T9, appendF_in_ggga(T19, T14, T24, T9))
appendF_in_ggga([], T37, T38, .(T37, T38)) → appendF_out_ggga([], T37, T38, .(T37, T38))
appendF_in_ggga(.(T49, T50), T51, T52, .(T49, T54)) → U4_ggga(T49, T50, T51, T52, T54, appendF_in_ggga(T50, T51, T52, T54))
U4_ggga(T49, T50, T51, T52, T54, appendF_out_ggga(T50, T51, T52, T54)) → appendF_out_ggga(.(T49, T50), T51, T52, .(T49, T54))
U14_agga(T24, T19, T14, T9, appendF_out_ggga(T19, T14, T24, T9)) → pO_out_agga(T24, T19, T14, T9)
U12_aaga(T19, X13, T14, T9, pO_out_agga(X13, T19, T14, T9)) → pB_out_aaga(T19, X13, T14, T9)
U1_ga(T14, T9, pB_out_aaga(X12, X13, T14, T9)) → qsortA_out_ga(.(T14, []), T9)
qsortA_in_ga(.(T73, .(T71, T72)), T9) → U2_ga(T73, T71, T72, T9, pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9))
pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9) → U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_in_gg(T71, T73))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_in_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9))
pP_in_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9) → U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_in_ggaa(T72, T73, T97, T98))
splitH_in_ggaa([], T105, [], []) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120, .(T118, X149), X150) → U6_ggaa(T118, T119, T120, X149, X150, pI_in_gggaa(T118, T120, T119, X149, X150))
pI_in_gggaa(T118, T120, T119, X149, X150) → U21_gggaa(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
U21_gggaa(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, X149, X150, splitH_in_ggaa(T119, T120, X149, X150))
splitH_in_ggaa(.(T133, T134), T135, X176, .(T133, X177)) → U7_ggaa(T133, T134, T135, X176, X177, pJ_in_gggaa(T133, T135, T134, X176, X177))
pJ_in_gggaa(T133, T135, T134, X176, X177) → U23_gggaa(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
U23_gggaa(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, X176, X177, splitH_in_ggaa(T134, T135, X176, X177))
U24_gggaa(T133, T135, T134, X176, X177, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U7_ggaa(T133, T134, T135, X176, X177, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
U22_gggaa(T118, T120, T119, X149, X150, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
U6_ggaa(T118, T119, T120, X149, X150, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_in_ggagaga(T71, T97, X12, T98, X13, T73, T9))
pQ_in_ggagaga(T71, T97, T157, T98, X13, T73, T9) → U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_in_ga(.(T71, T97), T157))
qsortA_in_ga(.(T215, .(T213, T214)), T9) → U3_ga(T215, T213, T214, T9, pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9))
pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9) → U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_in_gg(T213, T215))
U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_out_gg(T213, T215)) → U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_in_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9))
pU_in_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9) → U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_in_ggaa(T214, T215, T222, T223))
U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_out_ggaa(T214, T215, T222, T223)) → U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_in_gaggaga(T222, X12, T213, T223, X13, T215, T9))
pV_in_gaggaga(T222, T226, T213, T223, X13, T215, T9) → U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_in_ga(T222, T226))
qsortL_in_ga([], []) → qsortL_out_ga([], [])
qsortL_in_ga(.(T163, T164), X218) → U9_ga(T163, T164, X218, pM_in_ggaaaaa(T164, T163, X214, X215, X216, X217, X218))
pM_in_ggaaaaa(T164, T163, T167, T168, X216, X217, X218) → U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_in_gagaga(T167, X216, T168, X217, T163, X218))
pS_in_gagaga(T167, T171, T168, X217, T163, X218) → U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → U30_gagaga(T167, T171, T168, X217, T163, X218, pT_in_gagga(T168, X217, T171, T163, X218))
pT_in_gagga(T168, T172, T171, T163, X218) → U31_gagga(T168, T172, T171, T163, X218, qsortL_in_ga(T168, T172))
U31_gagga(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → U32_gagga(T168, T172, T171, T163, X218, appendN_in_ggga(T171, T163, T172, X218))
appendN_in_ggga([], T185, T186, .(T185, T186)) → appendN_out_ggga([], T185, T186, .(T185, T186))
appendN_in_ggga(.(T195, T196), T197, T198, .(T195, X244)) → U10_ggga(T195, T196, T197, T198, X244, appendN_in_ggga(T196, T197, T198, X244))
U10_ggga(T195, T196, T197, T198, X244, appendN_out_ggga(T196, T197, T198, X244)) → appendN_out_ggga(.(T195, T196), T197, T198, .(T195, X244))
U32_gagga(T168, T172, T171, T163, X218, appendN_out_ggga(T171, T163, T172, X218)) → pT_out_gagga(T168, T172, T171, T163, X218)
U30_gagaga(T167, T171, T168, X217, T163, X218, pT_out_gagga(T168, X217, T171, T163, X218)) → pS_out_gagaga(T167, T171, T168, X217, T163, X218)
U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_out_gagaga(T167, X216, T168, X217, T163, X218)) → pM_out_ggaaaaa(T164, T163, T167, T168, X216, X217, X218)
U9_ga(T163, T164, X218, pM_out_ggaaaaa(T164, T163, X214, X215, X216, X217, X218)) → qsortL_out_ga(.(T163, T164), X218)
U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_out_ga(T222, T226)) → U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_in_gagga(.(T213, T223), X13, T226, T215, T9))
pR_in_gagga(T98, T158, T157, T73, T9) → U25_gagga(T98, T158, T157, T73, T9, qsortL_in_ga(T98, T158))
U25_gagga(T98, T158, T157, T73, T9, qsortL_out_ga(T98, T158)) → U26_gagga(T98, T158, T157, T73, T9, appendF_in_ggga(T157, T73, T158, T9))
U26_gagga(T98, T158, T157, T73, T9, appendF_out_ggga(T157, T73, T158, T9)) → pR_out_gagga(T98, T158, T157, T73, T9)
U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_out_gagga(.(T213, T223), X13, T226, T215, T9)) → pV_out_gaggaga(T222, T226, T213, T223, X13, T215, T9)
U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_out_gaggaga(T222, X12, T213, T223, X13, T215, T9)) → pU_out_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9)
U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_out_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9)) → pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)
U3_ga(T215, T213, T214, T9, pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)) → qsortA_out_ga(.(T215, .(T213, T214)), T9)
U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_out_ga(.(T71, T97), T157)) → U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_in_gagga(T98, X13, T157, T73, T9))
U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_out_gagga(T98, X13, T157, T73, T9)) → pQ_out_ggagaga(T71, T97, T157, T98, X13, T73, T9)
U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_out_ggagaga(T71, T97, X12, T98, X13, T73, T9)) → pP_out_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9)
U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_out_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9)) → pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)
U2_ga(T73, T71, T72, T9, pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)) → qsortA_out_ga(.(T73, .(T71, T72)), T9)
PM_IN_GGAAAAA(T164, T163, T167, T168, X216, X217, X218) → U27_GGAAAAA(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
U27_GGAAAAA(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → PS_IN_GAGAGA(T167, X216, T168, X217, T163, X218)
PS_IN_GAGAGA(T167, T171, T168, X217, T163, X218) → U29_GAGAGA(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
U29_GAGAGA(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → PT_IN_GAGGA(T168, X217, T171, T163, X218)
PT_IN_GAGGA(T168, T172, T171, T163, X218) → QSORTL_IN_GA(T168, T172)
QSORTL_IN_GA(.(T163, T164), X218) → PM_IN_GGAAAAA(T164, T163, X214, X215, X216, X217, X218)
PS_IN_GAGAGA(T167, T171, T168, X217, T163, X218) → QSORTL_IN_GA(T167, T171)
splitH_in_ggaa([], T105, [], []) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120, .(T118, X149), X150) → U6_ggaa(T118, T119, T120, X149, X150, pI_in_gggaa(T118, T120, T119, X149, X150))
splitH_in_ggaa(.(T133, T134), T135, X176, .(T133, X177)) → U7_ggaa(T133, T134, T135, X176, X177, pJ_in_gggaa(T133, T135, T134, X176, X177))
qsortL_in_ga([], []) → qsortL_out_ga([], [])
qsortL_in_ga(.(T163, T164), X218) → U9_ga(T163, T164, X218, pM_in_ggaaaaa(T164, T163, X214, X215, X216, X217, X218))
U6_ggaa(T118, T119, T120, X149, X150, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U7_ggaa(T133, T134, T135, X176, X177, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
U9_ga(T163, T164, X218, pM_out_ggaaaaa(T164, T163, X214, X215, X216, X217, X218)) → qsortL_out_ga(.(T163, T164), X218)
pI_in_gggaa(T118, T120, T119, X149, X150) → U21_gggaa(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
pJ_in_gggaa(T133, T135, T134, X176, X177) → U23_gggaa(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
pM_in_ggaaaaa(T164, T163, T167, T168, X216, X217, X218) → U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
U21_gggaa(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, X149, X150, splitH_in_ggaa(T119, T120, X149, X150))
U23_gggaa(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, X176, X177, splitH_in_ggaa(T134, T135, X176, X177))
U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_in_gagaga(T167, X216, T168, X217, T163, X218))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
U22_gggaa(T118, T120, T119, X149, X150, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U24_gggaa(T133, T135, T134, X176, X177, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_out_gagaga(T167, X216, T168, X217, T163, X218)) → pM_out_ggaaaaa(T164, T163, T167, T168, X216, X217, X218)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
pS_in_gagaga(T167, T171, T168, X217, T163, X218) → U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → U30_gagaga(T167, T171, T168, X217, T163, X218, pT_in_gagga(T168, X217, T171, T163, X218))
U30_gagaga(T167, T171, T168, X217, T163, X218, pT_out_gagga(T168, X217, T171, T163, X218)) → pS_out_gagaga(T167, T171, T168, X217, T163, X218)
pT_in_gagga(T168, T172, T171, T163, X218) → U31_gagga(T168, T172, T171, T163, X218, qsortL_in_ga(T168, T172))
U31_gagga(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → U32_gagga(T168, T172, T171, T163, X218, appendN_in_ggga(T171, T163, T172, X218))
U32_gagga(T168, T172, T171, T163, X218, appendN_out_ggga(T171, T163, T172, X218)) → pT_out_gagga(T168, T172, T171, T163, X218)
appendN_in_ggga([], T185, T186, .(T185, T186)) → appendN_out_ggga([], T185, T186, .(T185, T186))
appendN_in_ggga(.(T195, T196), T197, T198, .(T195, X244)) → U10_ggga(T195, T196, T197, T198, X244, appendN_in_ggga(T196, T197, T198, X244))
U10_ggga(T195, T196, T197, T198, X244, appendN_out_ggga(T196, T197, T198, X244)) → appendN_out_ggga(.(T195, T196), T197, T198, .(T195, X244))
PM_IN_GGAAAAA(T164, T163) → U27_GGAAAAA(T164, T163, splitH_in_ggaa(T164, T163))
U27_GGAAAAA(T164, T163, splitH_out_ggaa(T164, T163, T167, T168)) → PS_IN_GAGAGA(T167, T168, T163)
PS_IN_GAGAGA(T167, T168, T163) → U29_GAGAGA(T167, T168, T163, qsortL_in_ga(T167))
U29_GAGAGA(T167, T168, T163, qsortL_out_ga(T167, T171)) → PT_IN_GAGGA(T168, T171, T163)
PT_IN_GAGGA(T168, T171, T163) → QSORTL_IN_GA(T168)
QSORTL_IN_GA(.(T163, T164)) → PM_IN_GGAAAAA(T164, T163)
PS_IN_GAGAGA(T167, T168, T163) → QSORTL_IN_GA(T167)
splitH_in_ggaa([], T105) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120) → U6_ggaa(T118, T119, T120, pI_in_gggaa(T118, T120, T119))
splitH_in_ggaa(.(T133, T134), T135) → U7_ggaa(T133, T134, T135, pJ_in_gggaa(T133, T135, T134))
qsortL_in_ga([]) → qsortL_out_ga([], [])
qsortL_in_ga(.(T163, T164)) → U9_ga(T163, T164, pM_in_ggaaaaa(T164, T163))
U6_ggaa(T118, T119, T120, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U7_ggaa(T133, T134, T135, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
U9_ga(T163, T164, pM_out_ggaaaaa(T164, T163, X214, X215, X216, X217, X218)) → qsortL_out_ga(.(T163, T164), X218)
pI_in_gggaa(T118, T120, T119) → U21_gggaa(T118, T120, T119, leG_in_gg(T118, T120))
pJ_in_gggaa(T133, T135, T134) → U23_gggaa(T133, T135, T134, gtK_in_gg(T133, T135))
pM_in_ggaaaaa(T164, T163) → U27_ggaaaaa(T164, T163, splitH_in_ggaa(T164, T163))
U21_gggaa(T118, T120, T119, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, splitH_in_ggaa(T119, T120))
U23_gggaa(T133, T135, T134, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, splitH_in_ggaa(T134, T135))
U27_ggaaaaa(T164, T163, splitH_out_ggaa(T164, T163, T167, T168)) → U28_ggaaaaa(T164, T163, T167, T168, pS_in_gagaga(T167, T168, T163))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
U22_gggaa(T118, T120, T119, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U24_gggaa(T133, T135, T134, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U28_ggaaaaa(T164, T163, T167, T168, pS_out_gagaga(T167, X216, T168, X217, T163, X218)) → pM_out_ggaaaaa(T164, T163, T167, T168, X216, X217, X218)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
pS_in_gagaga(T167, T168, T163) → U29_gagaga(T167, T168, T163, qsortL_in_ga(T167))
U29_gagaga(T167, T168, T163, qsortL_out_ga(T167, T171)) → U30_gagaga(T167, T171, T168, T163, pT_in_gagga(T168, T171, T163))
U30_gagaga(T167, T171, T168, T163, pT_out_gagga(T168, X217, T171, T163, X218)) → pS_out_gagaga(T167, T171, T168, X217, T163, X218)
pT_in_gagga(T168, T171, T163) → U31_gagga(T168, T171, T163, qsortL_in_ga(T168))
U31_gagga(T168, T171, T163, qsortL_out_ga(T168, T172)) → U32_gagga(T168, T172, T171, T163, appendN_in_ggga(T171, T163, T172))
U32_gagga(T168, T172, T171, T163, appendN_out_ggga(T171, T163, T172, X218)) → pT_out_gagga(T168, T172, T171, T163, X218)
appendN_in_ggga([], T185, T186) → appendN_out_ggga([], T185, T186, .(T185, T186))
appendN_in_ggga(.(T195, T196), T197, T198) → U10_ggga(T195, T196, T197, T198, appendN_in_ggga(T196, T197, T198))
U10_ggga(T195, T196, T197, T198, appendN_out_ggga(T196, T197, T198, X244)) → appendN_out_ggga(.(T195, T196), T197, T198, .(T195, X244))
splitH_in_ggaa(x0, x1)
qsortL_in_ga(x0)
U6_ggaa(x0, x1, x2, x3)
U7_ggaa(x0, x1, x2, x3)
U9_ga(x0, x1, x2)
pI_in_gggaa(x0, x1, x2)
pJ_in_gggaa(x0, x1, x2)
pM_in_ggaaaaa(x0, x1)
U21_gggaa(x0, x1, x2, x3)
U23_gggaa(x0, x1, x2, x3)
U27_ggaaaaa(x0, x1, x2)
leG_in_gg(x0, x1)
U22_gggaa(x0, x1, x2, x3)
gtK_in_gg(x0, x1)
U24_gggaa(x0, x1, x2, x3)
U28_ggaaaaa(x0, x1, x2, x3, x4)
U5_gg(x0, x1, x2)
U8_gg(x0, x1, x2)
pS_in_gagaga(x0, x1, x2)
U29_gagaga(x0, x1, x2, x3)
U30_gagaga(x0, x1, x2, x3, x4)
pT_in_gagga(x0, x1, x2)
U31_gagga(x0, x1, x2, x3)
U32_gagga(x0, x1, x2, x3, x4)
appendN_in_ggga(x0, x1, x2)
U10_ggga(x0, x1, x2, x3, x4)
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
U27_GGAAAAA(T164, T163, splitH_out_ggaa(T164, T163, T167, T168)) → PS_IN_GAGAGA(T167, T168, T163)
POL(.(x1, x2)) = 1 + x2
POL(0) = 0
POL(PM_IN_GGAAAAA(x1, x2)) = 1 + x1
POL(PS_IN_GAGAGA(x1, x2, x3)) = x1 + x2
POL(PT_IN_GAGGA(x1, x2, x3)) = x1
POL(QSORTL_IN_GA(x1)) = x1
POL(U10_ggga(x1, x2, x3, x4, x5)) = 0
POL(U21_gggaa(x1, x2, x3, x4)) = x3
POL(U22_gggaa(x1, x2, x3, x4)) = x4
POL(U23_gggaa(x1, x2, x3, x4)) = x3
POL(U24_gggaa(x1, x2, x3, x4)) = x4
POL(U27_GGAAAAA(x1, x2, x3)) = 1 + x3
POL(U27_ggaaaaa(x1, x2, x3)) = 0
POL(U28_ggaaaaa(x1, x2, x3, x4, x5)) = 0
POL(U29_GAGAGA(x1, x2, x3, x4)) = x2
POL(U29_gagaga(x1, x2, x3, x4)) = 0
POL(U30_gagaga(x1, x2, x3, x4, x5)) = 0
POL(U31_gagga(x1, x2, x3, x4)) = 0
POL(U32_gagga(x1, x2, x3, x4, x5)) = 0
POL(U5_gg(x1, x2, x3)) = 0
POL(U6_ggaa(x1, x2, x3, x4)) = 1 + x4
POL(U7_ggaa(x1, x2, x3, x4)) = 1 + x4
POL(U8_gg(x1, x2, x3)) = 0
POL(U9_ga(x1, x2, x3)) = 0
POL([]) = 0
POL(appendN_in_ggga(x1, x2, x3)) = 0
POL(appendN_out_ggga(x1, x2, x3, x4)) = 0
POL(gtK_in_gg(x1, x2)) = 0
POL(gtK_out_gg(x1, x2)) = 0
POL(leG_in_gg(x1, x2)) = 0
POL(leG_out_gg(x1, x2)) = 0
POL(pI_in_gggaa(x1, x2, x3)) = x3
POL(pI_out_gggaa(x1, x2, x3, x4, x5)) = x4 + x5
POL(pJ_in_gggaa(x1, x2, x3)) = x3
POL(pJ_out_gggaa(x1, x2, x3, x4, x5)) = x4 + x5
POL(pM_in_ggaaaaa(x1, x2)) = 0
POL(pM_out_ggaaaaa(x1, x2, x3, x4, x5, x6, x7)) = 0
POL(pS_in_gagaga(x1, x2, x3)) = 0
POL(pS_out_gagaga(x1, x2, x3, x4, x5, x6)) = 0
POL(pT_in_gagga(x1, x2, x3)) = 0
POL(pT_out_gagga(x1, x2, x3, x4, x5)) = 0
POL(qsortL_in_ga(x1)) = 0
POL(qsortL_out_ga(x1, x2)) = 0
POL(s(x1)) = 0
POL(splitH_in_ggaa(x1, x2)) = x1
POL(splitH_out_ggaa(x1, x2, x3, x4)) = x3 + x4
splitH_in_ggaa([], T105) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120) → U6_ggaa(T118, T119, T120, pI_in_gggaa(T118, T120, T119))
splitH_in_ggaa(.(T133, T134), T135) → U7_ggaa(T133, T134, T135, pJ_in_gggaa(T133, T135, T134))
U6_ggaa(T118, T119, T120, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
pI_in_gggaa(T118, T120, T119) → U21_gggaa(T118, T120, T119, leG_in_gg(T118, T120))
U21_gggaa(T118, T120, T119, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, splitH_in_ggaa(T119, T120))
U22_gggaa(T118, T120, T119, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
U7_ggaa(T133, T134, T135, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
pJ_in_gggaa(T133, T135, T134) → U23_gggaa(T133, T135, T134, gtK_in_gg(T133, T135))
U23_gggaa(T133, T135, T134, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, splitH_in_ggaa(T134, T135))
U24_gggaa(T133, T135, T134, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
PM_IN_GGAAAAA(T164, T163) → U27_GGAAAAA(T164, T163, splitH_in_ggaa(T164, T163))
PS_IN_GAGAGA(T167, T168, T163) → U29_GAGAGA(T167, T168, T163, qsortL_in_ga(T167))
U29_GAGAGA(T167, T168, T163, qsortL_out_ga(T167, T171)) → PT_IN_GAGGA(T168, T171, T163)
PT_IN_GAGGA(T168, T171, T163) → QSORTL_IN_GA(T168)
QSORTL_IN_GA(.(T163, T164)) → PM_IN_GGAAAAA(T164, T163)
PS_IN_GAGAGA(T167, T168, T163) → QSORTL_IN_GA(T167)
splitH_in_ggaa([], T105) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120) → U6_ggaa(T118, T119, T120, pI_in_gggaa(T118, T120, T119))
splitH_in_ggaa(.(T133, T134), T135) → U7_ggaa(T133, T134, T135, pJ_in_gggaa(T133, T135, T134))
qsortL_in_ga([]) → qsortL_out_ga([], [])
qsortL_in_ga(.(T163, T164)) → U9_ga(T163, T164, pM_in_ggaaaaa(T164, T163))
U6_ggaa(T118, T119, T120, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U7_ggaa(T133, T134, T135, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
U9_ga(T163, T164, pM_out_ggaaaaa(T164, T163, X214, X215, X216, X217, X218)) → qsortL_out_ga(.(T163, T164), X218)
pI_in_gggaa(T118, T120, T119) → U21_gggaa(T118, T120, T119, leG_in_gg(T118, T120))
pJ_in_gggaa(T133, T135, T134) → U23_gggaa(T133, T135, T134, gtK_in_gg(T133, T135))
pM_in_ggaaaaa(T164, T163) → U27_ggaaaaa(T164, T163, splitH_in_ggaa(T164, T163))
U21_gggaa(T118, T120, T119, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, splitH_in_ggaa(T119, T120))
U23_gggaa(T133, T135, T134, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, splitH_in_ggaa(T134, T135))
U27_ggaaaaa(T164, T163, splitH_out_ggaa(T164, T163, T167, T168)) → U28_ggaaaaa(T164, T163, T167, T168, pS_in_gagaga(T167, T168, T163))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
U22_gggaa(T118, T120, T119, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U24_gggaa(T133, T135, T134, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U28_ggaaaaa(T164, T163, T167, T168, pS_out_gagaga(T167, X216, T168, X217, T163, X218)) → pM_out_ggaaaaa(T164, T163, T167, T168, X216, X217, X218)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
pS_in_gagaga(T167, T168, T163) → U29_gagaga(T167, T168, T163, qsortL_in_ga(T167))
U29_gagaga(T167, T168, T163, qsortL_out_ga(T167, T171)) → U30_gagaga(T167, T171, T168, T163, pT_in_gagga(T168, T171, T163))
U30_gagaga(T167, T171, T168, T163, pT_out_gagga(T168, X217, T171, T163, X218)) → pS_out_gagaga(T167, T171, T168, X217, T163, X218)
pT_in_gagga(T168, T171, T163) → U31_gagga(T168, T171, T163, qsortL_in_ga(T168))
U31_gagga(T168, T171, T163, qsortL_out_ga(T168, T172)) → U32_gagga(T168, T172, T171, T163, appendN_in_ggga(T171, T163, T172))
U32_gagga(T168, T172, T171, T163, appendN_out_ggga(T171, T163, T172, X218)) → pT_out_gagga(T168, T172, T171, T163, X218)
appendN_in_ggga([], T185, T186) → appendN_out_ggga([], T185, T186, .(T185, T186))
appendN_in_ggga(.(T195, T196), T197, T198) → U10_ggga(T195, T196, T197, T198, appendN_in_ggga(T196, T197, T198))
U10_ggga(T195, T196, T197, T198, appendN_out_ggga(T196, T197, T198, X244)) → appendN_out_ggga(.(T195, T196), T197, T198, .(T195, X244))
splitH_in_ggaa(x0, x1)
qsortL_in_ga(x0)
U6_ggaa(x0, x1, x2, x3)
U7_ggaa(x0, x1, x2, x3)
U9_ga(x0, x1, x2)
pI_in_gggaa(x0, x1, x2)
pJ_in_gggaa(x0, x1, x2)
pM_in_ggaaaaa(x0, x1)
U21_gggaa(x0, x1, x2, x3)
U23_gggaa(x0, x1, x2, x3)
U27_ggaaaaa(x0, x1, x2)
leG_in_gg(x0, x1)
U22_gggaa(x0, x1, x2, x3)
gtK_in_gg(x0, x1)
U24_gggaa(x0, x1, x2, x3)
U28_ggaaaaa(x0, x1, x2, x3, x4)
U5_gg(x0, x1, x2)
U8_gg(x0, x1, x2)
pS_in_gagaga(x0, x1, x2)
U29_gagaga(x0, x1, x2, x3)
U30_gagaga(x0, x1, x2, x3, x4)
pT_in_gagga(x0, x1, x2)
U31_gagga(x0, x1, x2, x3)
U32_gagga(x0, x1, x2, x3, x4)
appendN_in_ggga(x0, x1, x2)
U10_ggga(x0, x1, x2, x3, x4)
APPENDF_IN_GGGA(.(T49, T50), T51, T52, .(T49, T54)) → APPENDF_IN_GGGA(T50, T51, T52, T54)
qsortA_in_ga([], []) → qsortA_out_ga([], [])
qsortA_in_ga(.(T14, []), T9) → U1_ga(T14, T9, pB_in_aaga(X12, X13, T14, T9))
pB_in_aaga(T19, X13, T14, T9) → U11_aaga(T19, X13, T14, T9, qsortE_in_a(T19))
qsortE_in_a([]) → qsortE_out_a([])
U11_aaga(T19, X13, T14, T9, qsortE_out_a(T19)) → U12_aaga(T19, X13, T14, T9, pO_in_agga(X13, T19, T14, T9))
pO_in_agga(T24, T19, T14, T9) → U13_agga(T24, T19, T14, T9, qsortE_in_a(T24))
U13_agga(T24, T19, T14, T9, qsortE_out_a(T24)) → U14_agga(T24, T19, T14, T9, appendF_in_ggga(T19, T14, T24, T9))
appendF_in_ggga([], T37, T38, .(T37, T38)) → appendF_out_ggga([], T37, T38, .(T37, T38))
appendF_in_ggga(.(T49, T50), T51, T52, .(T49, T54)) → U4_ggga(T49, T50, T51, T52, T54, appendF_in_ggga(T50, T51, T52, T54))
U4_ggga(T49, T50, T51, T52, T54, appendF_out_ggga(T50, T51, T52, T54)) → appendF_out_ggga(.(T49, T50), T51, T52, .(T49, T54))
U14_agga(T24, T19, T14, T9, appendF_out_ggga(T19, T14, T24, T9)) → pO_out_agga(T24, T19, T14, T9)
U12_aaga(T19, X13, T14, T9, pO_out_agga(X13, T19, T14, T9)) → pB_out_aaga(T19, X13, T14, T9)
U1_ga(T14, T9, pB_out_aaga(X12, X13, T14, T9)) → qsortA_out_ga(.(T14, []), T9)
qsortA_in_ga(.(T73, .(T71, T72)), T9) → U2_ga(T73, T71, T72, T9, pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9))
pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9) → U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_in_gg(T71, T73))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_in_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9))
pP_in_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9) → U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_in_ggaa(T72, T73, T97, T98))
splitH_in_ggaa([], T105, [], []) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120, .(T118, X149), X150) → U6_ggaa(T118, T119, T120, X149, X150, pI_in_gggaa(T118, T120, T119, X149, X150))
pI_in_gggaa(T118, T120, T119, X149, X150) → U21_gggaa(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
U21_gggaa(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, X149, X150, splitH_in_ggaa(T119, T120, X149, X150))
splitH_in_ggaa(.(T133, T134), T135, X176, .(T133, X177)) → U7_ggaa(T133, T134, T135, X176, X177, pJ_in_gggaa(T133, T135, T134, X176, X177))
pJ_in_gggaa(T133, T135, T134, X176, X177) → U23_gggaa(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
U23_gggaa(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, X176, X177, splitH_in_ggaa(T134, T135, X176, X177))
U24_gggaa(T133, T135, T134, X176, X177, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U7_ggaa(T133, T134, T135, X176, X177, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
U22_gggaa(T118, T120, T119, X149, X150, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
U6_ggaa(T118, T119, T120, X149, X150, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_in_ggagaga(T71, T97, X12, T98, X13, T73, T9))
pQ_in_ggagaga(T71, T97, T157, T98, X13, T73, T9) → U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_in_ga(.(T71, T97), T157))
qsortA_in_ga(.(T215, .(T213, T214)), T9) → U3_ga(T215, T213, T214, T9, pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9))
pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9) → U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_in_gg(T213, T215))
U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_out_gg(T213, T215)) → U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_in_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9))
pU_in_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9) → U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_in_ggaa(T214, T215, T222, T223))
U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_out_ggaa(T214, T215, T222, T223)) → U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_in_gaggaga(T222, X12, T213, T223, X13, T215, T9))
pV_in_gaggaga(T222, T226, T213, T223, X13, T215, T9) → U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_in_ga(T222, T226))
qsortL_in_ga([], []) → qsortL_out_ga([], [])
qsortL_in_ga(.(T163, T164), X218) → U9_ga(T163, T164, X218, pM_in_ggaaaaa(T164, T163, X214, X215, X216, X217, X218))
pM_in_ggaaaaa(T164, T163, T167, T168, X216, X217, X218) → U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_in_gagaga(T167, X216, T168, X217, T163, X218))
pS_in_gagaga(T167, T171, T168, X217, T163, X218) → U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → U30_gagaga(T167, T171, T168, X217, T163, X218, pT_in_gagga(T168, X217, T171, T163, X218))
pT_in_gagga(T168, T172, T171, T163, X218) → U31_gagga(T168, T172, T171, T163, X218, qsortL_in_ga(T168, T172))
U31_gagga(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → U32_gagga(T168, T172, T171, T163, X218, appendN_in_ggga(T171, T163, T172, X218))
appendN_in_ggga([], T185, T186, .(T185, T186)) → appendN_out_ggga([], T185, T186, .(T185, T186))
appendN_in_ggga(.(T195, T196), T197, T198, .(T195, X244)) → U10_ggga(T195, T196, T197, T198, X244, appendN_in_ggga(T196, T197, T198, X244))
U10_ggga(T195, T196, T197, T198, X244, appendN_out_ggga(T196, T197, T198, X244)) → appendN_out_ggga(.(T195, T196), T197, T198, .(T195, X244))
U32_gagga(T168, T172, T171, T163, X218, appendN_out_ggga(T171, T163, T172, X218)) → pT_out_gagga(T168, T172, T171, T163, X218)
U30_gagaga(T167, T171, T168, X217, T163, X218, pT_out_gagga(T168, X217, T171, T163, X218)) → pS_out_gagaga(T167, T171, T168, X217, T163, X218)
U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_out_gagaga(T167, X216, T168, X217, T163, X218)) → pM_out_ggaaaaa(T164, T163, T167, T168, X216, X217, X218)
U9_ga(T163, T164, X218, pM_out_ggaaaaa(T164, T163, X214, X215, X216, X217, X218)) → qsortL_out_ga(.(T163, T164), X218)
U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_out_ga(T222, T226)) → U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_in_gagga(.(T213, T223), X13, T226, T215, T9))
pR_in_gagga(T98, T158, T157, T73, T9) → U25_gagga(T98, T158, T157, T73, T9, qsortL_in_ga(T98, T158))
U25_gagga(T98, T158, T157, T73, T9, qsortL_out_ga(T98, T158)) → U26_gagga(T98, T158, T157, T73, T9, appendF_in_ggga(T157, T73, T158, T9))
U26_gagga(T98, T158, T157, T73, T9, appendF_out_ggga(T157, T73, T158, T9)) → pR_out_gagga(T98, T158, T157, T73, T9)
U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_out_gagga(.(T213, T223), X13, T226, T215, T9)) → pV_out_gaggaga(T222, T226, T213, T223, X13, T215, T9)
U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_out_gaggaga(T222, X12, T213, T223, X13, T215, T9)) → pU_out_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9)
U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_out_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9)) → pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)
U3_ga(T215, T213, T214, T9, pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)) → qsortA_out_ga(.(T215, .(T213, T214)), T9)
U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_out_ga(.(T71, T97), T157)) → U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_in_gagga(T98, X13, T157, T73, T9))
U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_out_gagga(T98, X13, T157, T73, T9)) → pQ_out_ggagaga(T71, T97, T157, T98, X13, T73, T9)
U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_out_ggagaga(T71, T97, X12, T98, X13, T73, T9)) → pP_out_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9)
U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_out_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9)) → pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)
U2_ga(T73, T71, T72, T9, pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)) → qsortA_out_ga(.(T73, .(T71, T72)), T9)
APPENDF_IN_GGGA(.(T49, T50), T51, T52, .(T49, T54)) → APPENDF_IN_GGGA(T50, T51, T52, T54)
APPENDF_IN_GGGA(.(T49, T50), T51, T52) → APPENDF_IN_GGGA(T50, T51, T52)
From the DPs we obtained the following set of size-change graphs:
QSORTA_IN_GA(.(T73, .(T71, T72)), T9) → PC_IN_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9)
PC_IN_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9) → U15_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9, leG_in_gg(T71, T73))
U15_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → PP_IN_GGAAGAAA(T72, T73, X84, X85, T71, X12, X13, T9)
PP_IN_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9) → U17_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9, splitH_in_ggaa(T72, T73, T97, T98))
U17_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → PQ_IN_GGAGAGA(T71, T97, X12, T98, X13, T73, T9)
PQ_IN_GGAGAGA(T71, T97, T157, T98, X13, T73, T9) → QSORTA_IN_GA(.(T71, T97), T157)
qsortA_in_ga([], []) → qsortA_out_ga([], [])
qsortA_in_ga(.(T14, []), T9) → U1_ga(T14, T9, pB_in_aaga(X12, X13, T14, T9))
pB_in_aaga(T19, X13, T14, T9) → U11_aaga(T19, X13, T14, T9, qsortE_in_a(T19))
qsortE_in_a([]) → qsortE_out_a([])
U11_aaga(T19, X13, T14, T9, qsortE_out_a(T19)) → U12_aaga(T19, X13, T14, T9, pO_in_agga(X13, T19, T14, T9))
pO_in_agga(T24, T19, T14, T9) → U13_agga(T24, T19, T14, T9, qsortE_in_a(T24))
U13_agga(T24, T19, T14, T9, qsortE_out_a(T24)) → U14_agga(T24, T19, T14, T9, appendF_in_ggga(T19, T14, T24, T9))
appendF_in_ggga([], T37, T38, .(T37, T38)) → appendF_out_ggga([], T37, T38, .(T37, T38))
appendF_in_ggga(.(T49, T50), T51, T52, .(T49, T54)) → U4_ggga(T49, T50, T51, T52, T54, appendF_in_ggga(T50, T51, T52, T54))
U4_ggga(T49, T50, T51, T52, T54, appendF_out_ggga(T50, T51, T52, T54)) → appendF_out_ggga(.(T49, T50), T51, T52, .(T49, T54))
U14_agga(T24, T19, T14, T9, appendF_out_ggga(T19, T14, T24, T9)) → pO_out_agga(T24, T19, T14, T9)
U12_aaga(T19, X13, T14, T9, pO_out_agga(X13, T19, T14, T9)) → pB_out_aaga(T19, X13, T14, T9)
U1_ga(T14, T9, pB_out_aaga(X12, X13, T14, T9)) → qsortA_out_ga(.(T14, []), T9)
qsortA_in_ga(.(T73, .(T71, T72)), T9) → U2_ga(T73, T71, T72, T9, pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9))
pC_in_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9) → U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_in_gg(T71, T73))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U15_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_in_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9))
pP_in_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9) → U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_in_ggaa(T72, T73, T97, T98))
splitH_in_ggaa([], T105, [], []) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120, .(T118, X149), X150) → U6_ggaa(T118, T119, T120, X149, X150, pI_in_gggaa(T118, T120, T119, X149, X150))
pI_in_gggaa(T118, T120, T119, X149, X150) → U21_gggaa(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
U21_gggaa(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, X149, X150, splitH_in_ggaa(T119, T120, X149, X150))
splitH_in_ggaa(.(T133, T134), T135, X176, .(T133, X177)) → U7_ggaa(T133, T134, T135, X176, X177, pJ_in_gggaa(T133, T135, T134, X176, X177))
pJ_in_gggaa(T133, T135, T134, X176, X177) → U23_gggaa(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
U23_gggaa(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, X176, X177, splitH_in_ggaa(T134, T135, X176, X177))
U24_gggaa(T133, T135, T134, X176, X177, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U7_ggaa(T133, T134, T135, X176, X177, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
U22_gggaa(T118, T120, T119, X149, X150, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
U6_ggaa(T118, T119, T120, X149, X150, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U17_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_in_ggagaga(T71, T97, X12, T98, X13, T73, T9))
pQ_in_ggagaga(T71, T97, T157, T98, X13, T73, T9) → U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_in_ga(.(T71, T97), T157))
qsortA_in_ga(.(T215, .(T213, T214)), T9) → U3_ga(T215, T213, T214, T9, pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9))
pD_in_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9) → U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_in_gg(T213, T215))
U33_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, gtK_out_gg(T213, T215)) → U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_in_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9))
pU_in_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9) → U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_in_ggaa(T214, T215, T222, T223))
U35_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, splitH_out_ggaa(T214, T215, T222, T223)) → U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_in_gaggaga(T222, X12, T213, T223, X13, T215, T9))
pV_in_gaggaga(T222, T226, T213, T223, X13, T215, T9) → U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_in_ga(T222, T226))
qsortL_in_ga([], []) → qsortL_out_ga([], [])
qsortL_in_ga(.(T163, T164), X218) → U9_ga(T163, T164, X218, pM_in_ggaaaaa(T164, T163, X214, X215, X216, X217, X218))
pM_in_ggaaaaa(T164, T163, T167, T168, X216, X217, X218) → U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_in_ggaa(T164, T163, T167, T168))
U27_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, splitH_out_ggaa(T164, T163, T167, T168)) → U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_in_gagaga(T167, X216, T168, X217, T163, X218))
pS_in_gagaga(T167, T171, T168, X217, T163, X218) → U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_in_ga(T167, T171))
U29_gagaga(T167, T171, T168, X217, T163, X218, qsortL_out_ga(T167, T171)) → U30_gagaga(T167, T171, T168, X217, T163, X218, pT_in_gagga(T168, X217, T171, T163, X218))
pT_in_gagga(T168, T172, T171, T163, X218) → U31_gagga(T168, T172, T171, T163, X218, qsortL_in_ga(T168, T172))
U31_gagga(T168, T172, T171, T163, X218, qsortL_out_ga(T168, T172)) → U32_gagga(T168, T172, T171, T163, X218, appendN_in_ggga(T171, T163, T172, X218))
appendN_in_ggga([], T185, T186, .(T185, T186)) → appendN_out_ggga([], T185, T186, .(T185, T186))
appendN_in_ggga(.(T195, T196), T197, T198, .(T195, X244)) → U10_ggga(T195, T196, T197, T198, X244, appendN_in_ggga(T196, T197, T198, X244))
U10_ggga(T195, T196, T197, T198, X244, appendN_out_ggga(T196, T197, T198, X244)) → appendN_out_ggga(.(T195, T196), T197, T198, .(T195, X244))
U32_gagga(T168, T172, T171, T163, X218, appendN_out_ggga(T171, T163, T172, X218)) → pT_out_gagga(T168, T172, T171, T163, X218)
U30_gagaga(T167, T171, T168, X217, T163, X218, pT_out_gagga(T168, X217, T171, T163, X218)) → pS_out_gagaga(T167, T171, T168, X217, T163, X218)
U28_ggaaaaa(T164, T163, T167, T168, X216, X217, X218, pS_out_gagaga(T167, X216, T168, X217, T163, X218)) → pM_out_ggaaaaa(T164, T163, T167, T168, X216, X217, X218)
U9_ga(T163, T164, X218, pM_out_ggaaaaa(T164, T163, X214, X215, X216, X217, X218)) → qsortL_out_ga(.(T163, T164), X218)
U37_gaggaga(T222, T226, T213, T223, X13, T215, T9, qsortL_out_ga(T222, T226)) → U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_in_gagga(.(T213, T223), X13, T226, T215, T9))
pR_in_gagga(T98, T158, T157, T73, T9) → U25_gagga(T98, T158, T157, T73, T9, qsortL_in_ga(T98, T158))
U25_gagga(T98, T158, T157, T73, T9, qsortL_out_ga(T98, T158)) → U26_gagga(T98, T158, T157, T73, T9, appendF_in_ggga(T157, T73, T158, T9))
U26_gagga(T98, T158, T157, T73, T9, appendF_out_ggga(T157, T73, T158, T9)) → pR_out_gagga(T98, T158, T157, T73, T9)
U38_gaggaga(T222, T226, T213, T223, X13, T215, T9, pR_out_gagga(.(T213, T223), X13, T226, T215, T9)) → pV_out_gaggaga(T222, T226, T213, T223, X13, T215, T9)
U36_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9, pV_out_gaggaga(T222, X12, T213, T223, X13, T215, T9)) → pU_out_ggaaagaa(T214, T215, T222, T223, X12, T213, X13, T9)
U34_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9, pU_out_ggaaagaa(T214, T215, X268, X269, X12, T213, X13, T9)) → pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)
U3_ga(T215, T213, T214, T9, pD_out_gggaaaaa(T213, T215, T214, X268, X269, X12, X13, T9)) → qsortA_out_ga(.(T215, .(T213, T214)), T9)
U19_ggagaga(T71, T97, T157, T98, X13, T73, T9, qsortA_out_ga(.(T71, T97), T157)) → U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_in_gagga(T98, X13, T157, T73, T9))
U20_ggagaga(T71, T97, T157, T98, X13, T73, T9, pR_out_gagga(T98, X13, T157, T73, T9)) → pQ_out_ggagaga(T71, T97, T157, T98, X13, T73, T9)
U18_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9, pQ_out_ggagaga(T71, T97, X12, T98, X13, T73, T9)) → pP_out_ggaagaaa(T72, T73, T97, T98, T71, X12, X13, T9)
U16_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9, pP_out_ggaagaaa(T72, T73, X84, X85, T71, X12, X13, T9)) → pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)
U2_ga(T73, T71, T72, T9, pC_out_gggaaaaa(T71, T73, T72, X84, X85, X12, X13, T9)) → qsortA_out_ga(.(T73, .(T71, T72)), T9)
QSORTA_IN_GA(.(T73, .(T71, T72)), T9) → PC_IN_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9)
PC_IN_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9) → U15_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9, leG_in_gg(T71, T73))
U15_GGGAAAAA(T71, T73, T72, X84, X85, X12, X13, T9, leG_out_gg(T71, T73)) → PP_IN_GGAAGAAA(T72, T73, X84, X85, T71, X12, X13, T9)
PP_IN_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9) → U17_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9, splitH_in_ggaa(T72, T73, T97, T98))
U17_GGAAGAAA(T72, T73, T97, T98, T71, X12, X13, T9, splitH_out_ggaa(T72, T73, T97, T98)) → PQ_IN_GGAGAGA(T71, T97, X12, T98, X13, T73, T9)
PQ_IN_GGAGAGA(T71, T97, T157, T98, X13, T73, T9) → QSORTA_IN_GA(.(T71, T97), T157)
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
splitH_in_ggaa([], T105, [], []) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120, .(T118, X149), X150) → U6_ggaa(T118, T119, T120, X149, X150, pI_in_gggaa(T118, T120, T119, X149, X150))
splitH_in_ggaa(.(T133, T134), T135, X176, .(T133, X177)) → U7_ggaa(T133, T134, T135, X176, X177, pJ_in_gggaa(T133, T135, T134, X176, X177))
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U6_ggaa(T118, T119, T120, X149, X150, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U7_ggaa(T133, T134, T135, X176, X177, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
pI_in_gggaa(T118, T120, T119, X149, X150) → U21_gggaa(T118, T120, T119, X149, X150, leG_in_gg(T118, T120))
pJ_in_gggaa(T133, T135, T134, X176, X177) → U23_gggaa(T133, T135, T134, X176, X177, gtK_in_gg(T133, T135))
U21_gggaa(T118, T120, T119, X149, X150, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, X149, X150, splitH_in_ggaa(T119, T120, X149, X150))
U23_gggaa(T133, T135, T134, X176, X177, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, X176, X177, splitH_in_ggaa(T134, T135, X176, X177))
U22_gggaa(T118, T120, T119, X149, X150, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U24_gggaa(T133, T135, T134, X176, X177, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
QSORTA_IN_GA(.(T73, .(T71, T72))) → PC_IN_GGGAAAAA(T71, T73, T72)
PC_IN_GGGAAAAA(T71, T73, T72) → U15_GGGAAAAA(T71, T73, T72, leG_in_gg(T71, T73))
U15_GGGAAAAA(T71, T73, T72, leG_out_gg(T71, T73)) → PP_IN_GGAAGAAA(T72, T73, T71)
PP_IN_GGAAGAAA(T72, T73, T71) → U17_GGAAGAAA(T72, T73, T71, splitH_in_ggaa(T72, T73))
U17_GGAAGAAA(T72, T73, T71, splitH_out_ggaa(T72, T73, T97, T98)) → PQ_IN_GGAGAGA(T71, T97, T98, T73)
PQ_IN_GGAGAGA(T71, T97, T98, T73) → QSORTA_IN_GA(.(T71, T97))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
splitH_in_ggaa([], T105) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120) → U6_ggaa(T118, T119, T120, pI_in_gggaa(T118, T120, T119))
splitH_in_ggaa(.(T133, T134), T135) → U7_ggaa(T133, T134, T135, pJ_in_gggaa(T133, T135, T134))
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U6_ggaa(T118, T119, T120, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U7_ggaa(T133, T134, T135, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
pI_in_gggaa(T118, T120, T119) → U21_gggaa(T118, T120, T119, leG_in_gg(T118, T120))
pJ_in_gggaa(T133, T135, T134) → U23_gggaa(T133, T135, T134, gtK_in_gg(T133, T135))
U21_gggaa(T118, T120, T119, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, splitH_in_ggaa(T119, T120))
U23_gggaa(T133, T135, T134, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, splitH_in_ggaa(T134, T135))
U22_gggaa(T118, T120, T119, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U24_gggaa(T133, T135, T134, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
leG_in_gg(x0, x1)
splitH_in_ggaa(x0, x1)
U5_gg(x0, x1, x2)
U6_ggaa(x0, x1, x2, x3)
U7_ggaa(x0, x1, x2, x3)
pI_in_gggaa(x0, x1, x2)
pJ_in_gggaa(x0, x1, x2)
U21_gggaa(x0, x1, x2, x3)
U23_gggaa(x0, x1, x2, x3)
U22_gggaa(x0, x1, x2, x3)
gtK_in_gg(x0, x1)
U24_gggaa(x0, x1, x2, x3)
U8_gg(x0, x1, x2)
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
QSORTA_IN_GA(.(T73, .(T71, T72))) → PC_IN_GGGAAAAA(T71, T73, T72)
POL(.(x1, x2)) = 1 + x2
POL(0) = 0
POL(PC_IN_GGGAAAAA(x1, x2, x3)) = 1 + x3
POL(PP_IN_GGAAGAAA(x1, x2, x3)) = 1 + x1
POL(PQ_IN_GGAGAGA(x1, x2, x3, x4)) = 1 + x2
POL(QSORTA_IN_GA(x1)) = x1
POL(U15_GGGAAAAA(x1, x2, x3, x4)) = 1 + x3
POL(U17_GGAAGAAA(x1, x2, x3, x4)) = x4
POL(U21_gggaa(x1, x2, x3, x4)) = 1 + x3
POL(U22_gggaa(x1, x2, x3, x4)) = x4
POL(U23_gggaa(x1, x2, x3, x4)) = 1 + x3
POL(U24_gggaa(x1, x2, x3, x4)) = x4
POL(U5_gg(x1, x2, x3)) = 0
POL(U6_ggaa(x1, x2, x3, x4)) = 1 + x4
POL(U7_ggaa(x1, x2, x3, x4)) = x4
POL(U8_gg(x1, x2, x3)) = 0
POL([]) = 0
POL(gtK_in_gg(x1, x2)) = 0
POL(gtK_out_gg(x1, x2)) = 0
POL(leG_in_gg(x1, x2)) = 0
POL(leG_out_gg(x1, x2)) = 0
POL(pI_in_gggaa(x1, x2, x3)) = 1 + x3
POL(pI_out_gggaa(x1, x2, x3, x4, x5)) = 1 + x4
POL(pJ_in_gggaa(x1, x2, x3)) = 1 + x3
POL(pJ_out_gggaa(x1, x2, x3, x4, x5)) = 1 + x4
POL(s(x1)) = 0
POL(splitH_in_ggaa(x1, x2)) = 1 + x1
POL(splitH_out_ggaa(x1, x2, x3, x4)) = 1 + x3
splitH_in_ggaa([], T105) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120) → U6_ggaa(T118, T119, T120, pI_in_gggaa(T118, T120, T119))
splitH_in_ggaa(.(T133, T134), T135) → U7_ggaa(T133, T134, T135, pJ_in_gggaa(T133, T135, T134))
U21_gggaa(T118, T120, T119, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, splitH_in_ggaa(T119, T120))
U22_gggaa(T118, T120, T119, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
U6_ggaa(T118, T119, T120, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
pI_in_gggaa(T118, T120, T119) → U21_gggaa(T118, T120, T119, leG_in_gg(T118, T120))
U7_ggaa(T133, T134, T135, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
pJ_in_gggaa(T133, T135, T134) → U23_gggaa(T133, T135, T134, gtK_in_gg(T133, T135))
U23_gggaa(T133, T135, T134, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, splitH_in_ggaa(T134, T135))
U24_gggaa(T133, T135, T134, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
PC_IN_GGGAAAAA(T71, T73, T72) → U15_GGGAAAAA(T71, T73, T72, leG_in_gg(T71, T73))
U15_GGGAAAAA(T71, T73, T72, leG_out_gg(T71, T73)) → PP_IN_GGAAGAAA(T72, T73, T71)
PP_IN_GGAAGAAA(T72, T73, T71) → U17_GGAAGAAA(T72, T73, T71, splitH_in_ggaa(T72, T73))
U17_GGAAGAAA(T72, T73, T71, splitH_out_ggaa(T72, T73, T97, T98)) → PQ_IN_GGAGAGA(T71, T97, T98, T73)
PQ_IN_GGAGAGA(T71, T97, T98, T73) → QSORTA_IN_GA(.(T71, T97))
leG_in_gg(s(T86), s(T87)) → U5_gg(T86, T87, leG_in_gg(T86, T87))
leG_in_gg(0, s(T94)) → leG_out_gg(0, s(T94))
leG_in_gg(0, 0) → leG_out_gg(0, 0)
splitH_in_ggaa([], T105) → splitH_out_ggaa([], T105, [], [])
splitH_in_ggaa(.(T118, T119), T120) → U6_ggaa(T118, T119, T120, pI_in_gggaa(T118, T120, T119))
splitH_in_ggaa(.(T133, T134), T135) → U7_ggaa(T133, T134, T135, pJ_in_gggaa(T133, T135, T134))
U5_gg(T86, T87, leG_out_gg(T86, T87)) → leG_out_gg(s(T86), s(T87))
U6_ggaa(T118, T119, T120, pI_out_gggaa(T118, T120, T119, X149, X150)) → splitH_out_ggaa(.(T118, T119), T120, .(T118, X149), X150)
U7_ggaa(T133, T134, T135, pJ_out_gggaa(T133, T135, T134, X176, X177)) → splitH_out_ggaa(.(T133, T134), T135, X176, .(T133, X177))
pI_in_gggaa(T118, T120, T119) → U21_gggaa(T118, T120, T119, leG_in_gg(T118, T120))
pJ_in_gggaa(T133, T135, T134) → U23_gggaa(T133, T135, T134, gtK_in_gg(T133, T135))
U21_gggaa(T118, T120, T119, leG_out_gg(T118, T120)) → U22_gggaa(T118, T120, T119, splitH_in_ggaa(T119, T120))
U23_gggaa(T133, T135, T134, gtK_out_gg(T133, T135)) → U24_gggaa(T133, T135, T134, splitH_in_ggaa(T134, T135))
U22_gggaa(T118, T120, T119, splitH_out_ggaa(T119, T120, X149, X150)) → pI_out_gggaa(T118, T120, T119, X149, X150)
gtK_in_gg(s(T148), s(T149)) → U8_gg(T148, T149, gtK_in_gg(T148, T149))
gtK_in_gg(s(T154), 0) → gtK_out_gg(s(T154), 0)
U24_gggaa(T133, T135, T134, splitH_out_ggaa(T134, T135, X176, X177)) → pJ_out_gggaa(T133, T135, T134, X176, X177)
U8_gg(T148, T149, gtK_out_gg(T148, T149)) → gtK_out_gg(s(T148), s(T149))
leG_in_gg(x0, x1)
splitH_in_ggaa(x0, x1)
U5_gg(x0, x1, x2)
U6_ggaa(x0, x1, x2, x3)
U7_ggaa(x0, x1, x2, x3)
pI_in_gggaa(x0, x1, x2)
pJ_in_gggaa(x0, x1, x2)
U21_gggaa(x0, x1, x2, x3)
U23_gggaa(x0, x1, x2, x3)
U22_gggaa(x0, x1, x2, x3)
gtK_in_gg(x0, x1)
U24_gggaa(x0, x1, x2, x3)
U8_gg(x0, x1, x2)