0 Prolog
↳1 PrologToPiTRSViaGraphTransformerProof (⇒, 321 ms)
↳2 PiTRS
↳3 DependencyPairsProof (⇔, 1461 ms)
↳4 PiDP
↳5 DependencyGraphProof (⇔, 98 ms)
↳6 AND
↳7 PiDP
↳8 UsableRulesProof (⇔, 0 ms)
↳9 PiDP
↳10 PiDPToQDPProof (⇒, 0 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 (⇔, 15 ms)
↳37 PiDP
↳38 PiDPToQDPProof (⇒, 37 ms)
↳39 QDP
↳40 QDPOrderProof (⇔, 270 ms)
↳41 QDP
↳42 DependencyGraphProof (⇔, 0 ms)
↳43 TRUE
↳44 PiDP
↳45 UsableRulesProof (⇔, 0 ms)
↳46 PiDP
↳47 PiDPToQDPProof (⇒, 0 ms)
↳48 QDP
↳49 QDPOrderProof (⇔, 102 ms)
↳50 QDP
↳51 DependencyGraphProof (⇔, 0 ms)
↳52 TRUE
qsA_in_ga([], []) → qsA_out_ga([], [])
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9))
pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9) → U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_in_gg(T22, T23))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_in_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9))
pM_in_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9) → U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_in_ggaa(T22, T24, T45, T46))
partF_in_ggaa(T62, .(T63, T64), .(T63, X115), X116) → U5_ggaa(T62, T63, T64, X115, X116, pG_in_gggaa(T62, T63, T64, X115, X116))
pG_in_gggaa(T62, T63, T64, X115, X116) → U16_gggaa(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
U16_gggaa(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, X115, X116, partF_in_ggaa(T62, T64, X115, X116))
partF_in_ggaa(T84, .(T85, T86), X161, .(T85, X162)) → U6_ggaa(T84, T85, T86, X161, X162, partF_in_ggaa(T84, T86, X161, X162))
partF_in_ggaa(T92, [], [], []) → partF_out_ggaa(T92, [], [], [])
U6_ggaa(T84, T85, T86, X161, X162, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
U17_gggaa(T62, T63, T64, X115, X116, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
U5_ggaa(T62, T63, T64, X115, X116, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_in_ggagaga(T23, T45, X14, T46, X15, T22, T9))
pN_in_ggagaga(T23, T45, T93, T46, X15, T22, T9) → U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_in_ga(.(T23, T45), T93))
qsA_in_ga(.(T187, .(T188, T189)), T9) → U2_ga(T187, T188, T189, T9, pC_in_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9))
pC_in_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9) → U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_in_ggaa(T187, T189, T193, T194))
U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_out_ggaa(T187, T189, T193, T194)) → U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_in_gaggaga(T193, X14, T188, T194, X15, T187, T9))
pR_in_gaggaga(T193, T198, T188, T194, X15, T187, T9) → U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_in_ga(T193, T198))
qsH_in_ga([], []) → qsH_out_ga([], [])
qsH_in_ga(.(T99, T100), X192) → U7_ga(T99, T100, X192, pI_in_ggaaaaa(T99, T100, X188, X189, X190, X191, X192))
pI_in_ggaaaaa(T99, T100, T104, T105, X190, X191, X192) → U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_in_ggaa(T99, T100, T104, T105))
U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_in_gagaga(T104, X190, T105, X191, T99, X192))
pP_in_gagaga(T104, T109, T105, X191, T99, X192) → U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_in_ga(T104, T109))
U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_in_gagga(T105, X191, T109, T99, X192))
pQ_in_gagga(T105, T110, T109, T99, X192) → U24_gagga(T105, T110, T109, T99, X192, qsH_in_ga(T105, T110))
U24_gagga(T105, T110, T109, T99, X192, qsH_out_ga(T105, T110)) → U25_gagga(T105, T110, T109, T99, X192, appJ_in_ggga(T109, T99, T110, X192))
appJ_in_ggga([], T123, T124, .(T123, T124)) → appJ_out_ggga([], T123, T124, .(T123, T124))
appJ_in_ggga(.(T133, T134), T135, T136, .(T133, X228)) → U8_ggga(T133, T134, T135, T136, X228, appJ_in_ggga(T134, T135, T136, X228))
U8_ggga(T133, T134, T135, T136, X228, appJ_out_ggga(T134, T135, T136, X228)) → appJ_out_ggga(.(T133, T134), T135, T136, .(T133, X228))
U25_gagga(T105, T110, T109, T99, X192, appJ_out_ggga(T109, T99, T110, X192)) → pQ_out_gagga(T105, T110, T109, T99, X192)
U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_out_gagga(T105, X191, T109, T99, X192)) → pP_out_gagaga(T104, T109, T105, X191, T99, X192)
U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_out_gagaga(T104, X190, T105, X191, T99, X192)) → pI_out_ggaaaaa(T99, T100, T104, T105, X190, X191, X192)
U7_ga(T99, T100, X192, pI_out_ggaaaaa(T99, T100, X188, X189, X190, X191, X192)) → qsH_out_ga(.(T99, T100), X192)
U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_out_ga(T193, T198)) → U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_in_gagga(.(T188, T194), X15, T198, T187, T9))
pO_in_gagga(T46, T94, T93, T22, T9) → U18_gagga(T46, T94, T93, T22, T9, qsH_in_ga(T46, T94))
U18_gagga(T46, T94, T93, T22, T9, qsH_out_ga(T46, T94)) → U19_gagga(T46, T94, T93, T22, T9, appK_in_ggga(T93, T22, T94, T9))
appK_in_ggga([], T153, T154, .(T153, T154)) → appK_out_ggga([], T153, T154, .(T153, T154))
appK_in_ggga(.(T165, T166), T167, T168, .(T165, T170)) → U9_ggga(T165, T166, T167, T168, T170, appK_in_ggga(T166, T167, T168, T170))
U9_ggga(T165, T166, T167, T168, T170, appK_out_ggga(T166, T167, T168, T170)) → appK_out_ggga(.(T165, T166), T167, T168, .(T165, T170))
U19_gagga(T46, T94, T93, T22, T9, appK_out_ggga(T93, T22, T94, T9)) → pO_out_gagga(T46, T94, T93, T22, T9)
U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_out_gagga(.(T188, T194), X15, T198, T187, T9)) → pR_out_gaggaga(T193, T198, T188, T194, X15, T187, T9)
U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_out_gaggaga(T193, X14, T188, T194, X15, T187, T9)) → pC_out_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9)
U2_ga(T187, T188, T189, T9, pC_out_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9)) → qsA_out_ga(.(T187, .(T188, T189)), T9)
qsA_in_ga(.(T201, []), T9) → U3_ga(T201, T9, pD_in_aaga(X14, X15, T201, T9))
pD_in_aaga(T206, X15, T201, T9) → U30_aaga(T206, X15, T201, T9, qsL_in_a(T206))
qsL_in_a([]) → qsL_out_a([])
U30_aaga(T206, X15, T201, T9, qsL_out_a(T206)) → U31_aaga(T206, X15, T201, T9, pS_in_agga(X15, T206, T201, T9))
pS_in_agga(T211, T206, T201, T9) → U32_agga(T211, T206, T201, T9, qsL_in_a(T211))
U32_agga(T211, T206, T201, T9, qsL_out_a(T211)) → U33_agga(T211, T206, T201, T9, appK_in_ggga(T206, T201, T211, T9))
U33_agga(T211, T206, T201, T9, appK_out_ggga(T206, T201, T211, T9)) → pS_out_agga(T211, T206, T201, T9)
U31_aaga(T206, X15, T201, T9, pS_out_agga(X15, T206, T201, T9)) → pD_out_aaga(T206, X15, T201, T9)
U3_ga(T201, T9, pD_out_aaga(X14, X15, T201, T9)) → qsA_out_ga(.(T201, []), T9)
U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_out_ga(.(T23, T45), T93)) → U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_in_gagga(T46, X15, T93, T22, T9))
U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_out_gagga(T46, X15, T93, T22, T9)) → pN_out_ggagaga(T23, T45, T93, T46, X15, T22, T9)
U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_out_ggagaga(T23, T45, X14, T46, X15, T22, T9)) → pM_out_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9)
U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_out_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9)) → pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
QSA_IN_GA(.(T22, .(T23, T24)), T9) → U1_GA(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9))
QSA_IN_GA(.(T22, .(T23, T24)), T9) → PB_IN_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9)
PB_IN_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9) → U10_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9, lessE_in_gg(T22, T23))
PB_IN_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9) → LESSE_IN_GG(T22, T23)
LESSE_IN_GG(s(T38), s(T39)) → U4_GG(T38, T39, lessE_in_gg(T38, T39))
LESSE_IN_GG(s(T38), s(T39)) → LESSE_IN_GG(T38, T39)
U10_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → U11_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9, pM_in_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9))
U10_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → PM_IN_GGAAGAAA(T22, T24, X49, X50, T23, X14, X15, T9)
PM_IN_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9) → U12_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9, partF_in_ggaa(T22, T24, T45, T46))
PM_IN_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9) → PARTF_IN_GGAA(T22, T24, T45, T46)
PARTF_IN_GGAA(T62, .(T63, T64), .(T63, X115), X116) → U5_GGAA(T62, T63, T64, X115, X116, pG_in_gggaa(T62, T63, T64, X115, X116))
PARTF_IN_GGAA(T62, .(T63, T64), .(T63, X115), X116) → PG_IN_GGGAA(T62, T63, T64, X115, X116)
PG_IN_GGGAA(T62, T63, T64, X115, X116) → U16_GGGAA(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
PG_IN_GGGAA(T62, T63, T64, X115, X116) → LESSE_IN_GG(T62, T63)
U16_GGGAA(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → U17_GGGAA(T62, T63, T64, X115, X116, partF_in_ggaa(T62, T64, X115, X116))
U16_GGGAA(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → PARTF_IN_GGAA(T62, T64, X115, X116)
PARTF_IN_GGAA(T84, .(T85, T86), X161, .(T85, X162)) → U6_GGAA(T84, T85, T86, X161, X162, partF_in_ggaa(T84, T86, X161, X162))
PARTF_IN_GGAA(T84, .(T85, T86), X161, .(T85, X162)) → PARTF_IN_GGAA(T84, T86, X161, X162)
U12_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → U13_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9, pN_in_ggagaga(T23, T45, X14, T46, X15, T22, T9))
U12_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → PN_IN_GGAGAGA(T23, T45, X14, T46, X15, T22, T9)
PN_IN_GGAGAGA(T23, T45, T93, T46, X15, T22, T9) → U14_GGAGAGA(T23, T45, T93, T46, X15, T22, T9, qsA_in_ga(.(T23, T45), T93))
PN_IN_GGAGAGA(T23, T45, T93, T46, X15, T22, T9) → QSA_IN_GA(.(T23, T45), T93)
QSA_IN_GA(.(T187, .(T188, T189)), T9) → U2_GA(T187, T188, T189, T9, pC_in_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9))
QSA_IN_GA(.(T187, .(T188, T189)), T9) → PC_IN_GGAAAGAA(T187, T189, X285, X286, X14, T188, X15, T9)
PC_IN_GGAAAGAA(T187, T189, T193, T194, X14, T188, X15, T9) → U26_GGAAAGAA(T187, T189, T193, T194, X14, T188, X15, T9, partF_in_ggaa(T187, T189, T193, T194))
PC_IN_GGAAAGAA(T187, T189, T193, T194, X14, T188, X15, T9) → PARTF_IN_GGAA(T187, T189, T193, T194)
U26_GGAAAGAA(T187, T189, T193, T194, X14, T188, X15, T9, partF_out_ggaa(T187, T189, T193, T194)) → U27_GGAAAGAA(T187, T189, T193, T194, X14, T188, X15, T9, pR_in_gaggaga(T193, X14, T188, T194, X15, T187, T9))
U26_GGAAAGAA(T187, T189, T193, T194, X14, T188, X15, T9, partF_out_ggaa(T187, T189, T193, T194)) → PR_IN_GAGGAGA(T193, X14, T188, T194, X15, T187, T9)
PR_IN_GAGGAGA(T193, T198, T188, T194, X15, T187, T9) → U28_GAGGAGA(T193, T198, T188, T194, X15, T187, T9, qsH_in_ga(T193, T198))
PR_IN_GAGGAGA(T193, T198, T188, T194, X15, T187, T9) → QSH_IN_GA(T193, T198)
QSH_IN_GA(.(T99, T100), X192) → U7_GA(T99, T100, X192, pI_in_ggaaaaa(T99, T100, X188, X189, X190, X191, X192))
QSH_IN_GA(.(T99, T100), X192) → PI_IN_GGAAAAA(T99, T100, X188, X189, X190, X191, X192)
PI_IN_GGAAAAA(T99, T100, T104, T105, X190, X191, X192) → U20_GGAAAAA(T99, T100, T104, T105, X190, X191, X192, partF_in_ggaa(T99, T100, T104, T105))
PI_IN_GGAAAAA(T99, T100, T104, T105, X190, X191, X192) → PARTF_IN_GGAA(T99, T100, T104, T105)
U20_GGAAAAA(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → U21_GGAAAAA(T99, T100, T104, T105, X190, X191, X192, pP_in_gagaga(T104, X190, T105, X191, T99, X192))
U20_GGAAAAA(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → PP_IN_GAGAGA(T104, X190, T105, X191, T99, X192)
PP_IN_GAGAGA(T104, T109, T105, X191, T99, X192) → U22_GAGAGA(T104, T109, T105, X191, T99, X192, qsH_in_ga(T104, T109))
PP_IN_GAGAGA(T104, T109, T105, X191, T99, X192) → QSH_IN_GA(T104, T109)
U22_GAGAGA(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → U23_GAGAGA(T104, T109, T105, X191, T99, X192, pQ_in_gagga(T105, X191, T109, T99, X192))
U22_GAGAGA(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → PQ_IN_GAGGA(T105, X191, T109, T99, X192)
PQ_IN_GAGGA(T105, T110, T109, T99, X192) → U24_GAGGA(T105, T110, T109, T99, X192, qsH_in_ga(T105, T110))
PQ_IN_GAGGA(T105, T110, T109, T99, X192) → QSH_IN_GA(T105, T110)
U24_GAGGA(T105, T110, T109, T99, X192, qsH_out_ga(T105, T110)) → U25_GAGGA(T105, T110, T109, T99, X192, appJ_in_ggga(T109, T99, T110, X192))
U24_GAGGA(T105, T110, T109, T99, X192, qsH_out_ga(T105, T110)) → APPJ_IN_GGGA(T109, T99, T110, X192)
APPJ_IN_GGGA(.(T133, T134), T135, T136, .(T133, X228)) → U8_GGGA(T133, T134, T135, T136, X228, appJ_in_ggga(T134, T135, T136, X228))
APPJ_IN_GGGA(.(T133, T134), T135, T136, .(T133, X228)) → APPJ_IN_GGGA(T134, T135, T136, X228)
U28_GAGGAGA(T193, T198, T188, T194, X15, T187, T9, qsH_out_ga(T193, T198)) → U29_GAGGAGA(T193, T198, T188, T194, X15, T187, T9, pO_in_gagga(.(T188, T194), X15, T198, T187, T9))
U28_GAGGAGA(T193, T198, T188, T194, X15, T187, T9, qsH_out_ga(T193, T198)) → PO_IN_GAGGA(.(T188, T194), X15, T198, T187, T9)
PO_IN_GAGGA(T46, T94, T93, T22, T9) → U18_GAGGA(T46, T94, T93, T22, T9, qsH_in_ga(T46, T94))
PO_IN_GAGGA(T46, T94, T93, T22, T9) → QSH_IN_GA(T46, T94)
U18_GAGGA(T46, T94, T93, T22, T9, qsH_out_ga(T46, T94)) → U19_GAGGA(T46, T94, T93, T22, T9, appK_in_ggga(T93, T22, T94, T9))
U18_GAGGA(T46, T94, T93, T22, T9, qsH_out_ga(T46, T94)) → APPK_IN_GGGA(T93, T22, T94, T9)
APPK_IN_GGGA(.(T165, T166), T167, T168, .(T165, T170)) → U9_GGGA(T165, T166, T167, T168, T170, appK_in_ggga(T166, T167, T168, T170))
APPK_IN_GGGA(.(T165, T166), T167, T168, .(T165, T170)) → APPK_IN_GGGA(T166, T167, T168, T170)
QSA_IN_GA(.(T201, []), T9) → U3_GA(T201, T9, pD_in_aaga(X14, X15, T201, T9))
QSA_IN_GA(.(T201, []), T9) → PD_IN_AAGA(X14, X15, T201, T9)
PD_IN_AAGA(T206, X15, T201, T9) → U30_AAGA(T206, X15, T201, T9, qsL_in_a(T206))
PD_IN_AAGA(T206, X15, T201, T9) → QSL_IN_A(T206)
U30_AAGA(T206, X15, T201, T9, qsL_out_a(T206)) → U31_AAGA(T206, X15, T201, T9, pS_in_agga(X15, T206, T201, T9))
U30_AAGA(T206, X15, T201, T9, qsL_out_a(T206)) → PS_IN_AGGA(X15, T206, T201, T9)
PS_IN_AGGA(T211, T206, T201, T9) → U32_AGGA(T211, T206, T201, T9, qsL_in_a(T211))
PS_IN_AGGA(T211, T206, T201, T9) → QSL_IN_A(T211)
U32_AGGA(T211, T206, T201, T9, qsL_out_a(T211)) → U33_AGGA(T211, T206, T201, T9, appK_in_ggga(T206, T201, T211, T9))
U32_AGGA(T211, T206, T201, T9, qsL_out_a(T211)) → APPK_IN_GGGA(T206, T201, T211, T9)
U14_GGAGAGA(T23, T45, T93, T46, X15, T22, T9, qsA_out_ga(.(T23, T45), T93)) → U15_GGAGAGA(T23, T45, T93, T46, X15, T22, T9, pO_in_gagga(T46, X15, T93, T22, T9))
U14_GGAGAGA(T23, T45, T93, T46, X15, T22, T9, qsA_out_ga(.(T23, T45), T93)) → PO_IN_GAGGA(T46, X15, T93, T22, T9)
qsA_in_ga([], []) → qsA_out_ga([], [])
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9))
pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9) → U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_in_gg(T22, T23))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_in_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9))
pM_in_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9) → U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_in_ggaa(T22, T24, T45, T46))
partF_in_ggaa(T62, .(T63, T64), .(T63, X115), X116) → U5_ggaa(T62, T63, T64, X115, X116, pG_in_gggaa(T62, T63, T64, X115, X116))
pG_in_gggaa(T62, T63, T64, X115, X116) → U16_gggaa(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
U16_gggaa(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, X115, X116, partF_in_ggaa(T62, T64, X115, X116))
partF_in_ggaa(T84, .(T85, T86), X161, .(T85, X162)) → U6_ggaa(T84, T85, T86, X161, X162, partF_in_ggaa(T84, T86, X161, X162))
partF_in_ggaa(T92, [], [], []) → partF_out_ggaa(T92, [], [], [])
U6_ggaa(T84, T85, T86, X161, X162, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
U17_gggaa(T62, T63, T64, X115, X116, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
U5_ggaa(T62, T63, T64, X115, X116, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_in_ggagaga(T23, T45, X14, T46, X15, T22, T9))
pN_in_ggagaga(T23, T45, T93, T46, X15, T22, T9) → U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_in_ga(.(T23, T45), T93))
qsA_in_ga(.(T187, .(T188, T189)), T9) → U2_ga(T187, T188, T189, T9, pC_in_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9))
pC_in_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9) → U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_in_ggaa(T187, T189, T193, T194))
U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_out_ggaa(T187, T189, T193, T194)) → U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_in_gaggaga(T193, X14, T188, T194, X15, T187, T9))
pR_in_gaggaga(T193, T198, T188, T194, X15, T187, T9) → U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_in_ga(T193, T198))
qsH_in_ga([], []) → qsH_out_ga([], [])
qsH_in_ga(.(T99, T100), X192) → U7_ga(T99, T100, X192, pI_in_ggaaaaa(T99, T100, X188, X189, X190, X191, X192))
pI_in_ggaaaaa(T99, T100, T104, T105, X190, X191, X192) → U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_in_ggaa(T99, T100, T104, T105))
U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_in_gagaga(T104, X190, T105, X191, T99, X192))
pP_in_gagaga(T104, T109, T105, X191, T99, X192) → U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_in_ga(T104, T109))
U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_in_gagga(T105, X191, T109, T99, X192))
pQ_in_gagga(T105, T110, T109, T99, X192) → U24_gagga(T105, T110, T109, T99, X192, qsH_in_ga(T105, T110))
U24_gagga(T105, T110, T109, T99, X192, qsH_out_ga(T105, T110)) → U25_gagga(T105, T110, T109, T99, X192, appJ_in_ggga(T109, T99, T110, X192))
appJ_in_ggga([], T123, T124, .(T123, T124)) → appJ_out_ggga([], T123, T124, .(T123, T124))
appJ_in_ggga(.(T133, T134), T135, T136, .(T133, X228)) → U8_ggga(T133, T134, T135, T136, X228, appJ_in_ggga(T134, T135, T136, X228))
U8_ggga(T133, T134, T135, T136, X228, appJ_out_ggga(T134, T135, T136, X228)) → appJ_out_ggga(.(T133, T134), T135, T136, .(T133, X228))
U25_gagga(T105, T110, T109, T99, X192, appJ_out_ggga(T109, T99, T110, X192)) → pQ_out_gagga(T105, T110, T109, T99, X192)
U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_out_gagga(T105, X191, T109, T99, X192)) → pP_out_gagaga(T104, T109, T105, X191, T99, X192)
U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_out_gagaga(T104, X190, T105, X191, T99, X192)) → pI_out_ggaaaaa(T99, T100, T104, T105, X190, X191, X192)
U7_ga(T99, T100, X192, pI_out_ggaaaaa(T99, T100, X188, X189, X190, X191, X192)) → qsH_out_ga(.(T99, T100), X192)
U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_out_ga(T193, T198)) → U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_in_gagga(.(T188, T194), X15, T198, T187, T9))
pO_in_gagga(T46, T94, T93, T22, T9) → U18_gagga(T46, T94, T93, T22, T9, qsH_in_ga(T46, T94))
U18_gagga(T46, T94, T93, T22, T9, qsH_out_ga(T46, T94)) → U19_gagga(T46, T94, T93, T22, T9, appK_in_ggga(T93, T22, T94, T9))
appK_in_ggga([], T153, T154, .(T153, T154)) → appK_out_ggga([], T153, T154, .(T153, T154))
appK_in_ggga(.(T165, T166), T167, T168, .(T165, T170)) → U9_ggga(T165, T166, T167, T168, T170, appK_in_ggga(T166, T167, T168, T170))
U9_ggga(T165, T166, T167, T168, T170, appK_out_ggga(T166, T167, T168, T170)) → appK_out_ggga(.(T165, T166), T167, T168, .(T165, T170))
U19_gagga(T46, T94, T93, T22, T9, appK_out_ggga(T93, T22, T94, T9)) → pO_out_gagga(T46, T94, T93, T22, T9)
U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_out_gagga(.(T188, T194), X15, T198, T187, T9)) → pR_out_gaggaga(T193, T198, T188, T194, X15, T187, T9)
U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_out_gaggaga(T193, X14, T188, T194, X15, T187, T9)) → pC_out_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9)
U2_ga(T187, T188, T189, T9, pC_out_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9)) → qsA_out_ga(.(T187, .(T188, T189)), T9)
qsA_in_ga(.(T201, []), T9) → U3_ga(T201, T9, pD_in_aaga(X14, X15, T201, T9))
pD_in_aaga(T206, X15, T201, T9) → U30_aaga(T206, X15, T201, T9, qsL_in_a(T206))
qsL_in_a([]) → qsL_out_a([])
U30_aaga(T206, X15, T201, T9, qsL_out_a(T206)) → U31_aaga(T206, X15, T201, T9, pS_in_agga(X15, T206, T201, T9))
pS_in_agga(T211, T206, T201, T9) → U32_agga(T211, T206, T201, T9, qsL_in_a(T211))
U32_agga(T211, T206, T201, T9, qsL_out_a(T211)) → U33_agga(T211, T206, T201, T9, appK_in_ggga(T206, T201, T211, T9))
U33_agga(T211, T206, T201, T9, appK_out_ggga(T206, T201, T211, T9)) → pS_out_agga(T211, T206, T201, T9)
U31_aaga(T206, X15, T201, T9, pS_out_agga(X15, T206, T201, T9)) → pD_out_aaga(T206, X15, T201, T9)
U3_ga(T201, T9, pD_out_aaga(X14, X15, T201, T9)) → qsA_out_ga(.(T201, []), T9)
U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_out_ga(.(T23, T45), T93)) → U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_in_gagga(T46, X15, T93, T22, T9))
U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_out_gagga(T46, X15, T93, T22, T9)) → pN_out_ggagaga(T23, T45, T93, T46, X15, T22, T9)
U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_out_ggagaga(T23, T45, X14, T46, X15, T22, T9)) → pM_out_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9)
U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_out_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9)) → pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
QSA_IN_GA(.(T22, .(T23, T24)), T9) → U1_GA(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9))
QSA_IN_GA(.(T22, .(T23, T24)), T9) → PB_IN_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9)
PB_IN_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9) → U10_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9, lessE_in_gg(T22, T23))
PB_IN_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9) → LESSE_IN_GG(T22, T23)
LESSE_IN_GG(s(T38), s(T39)) → U4_GG(T38, T39, lessE_in_gg(T38, T39))
LESSE_IN_GG(s(T38), s(T39)) → LESSE_IN_GG(T38, T39)
U10_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → U11_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9, pM_in_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9))
U10_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → PM_IN_GGAAGAAA(T22, T24, X49, X50, T23, X14, X15, T9)
PM_IN_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9) → U12_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9, partF_in_ggaa(T22, T24, T45, T46))
PM_IN_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9) → PARTF_IN_GGAA(T22, T24, T45, T46)
PARTF_IN_GGAA(T62, .(T63, T64), .(T63, X115), X116) → U5_GGAA(T62, T63, T64, X115, X116, pG_in_gggaa(T62, T63, T64, X115, X116))
PARTF_IN_GGAA(T62, .(T63, T64), .(T63, X115), X116) → PG_IN_GGGAA(T62, T63, T64, X115, X116)
PG_IN_GGGAA(T62, T63, T64, X115, X116) → U16_GGGAA(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
PG_IN_GGGAA(T62, T63, T64, X115, X116) → LESSE_IN_GG(T62, T63)
U16_GGGAA(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → U17_GGGAA(T62, T63, T64, X115, X116, partF_in_ggaa(T62, T64, X115, X116))
U16_GGGAA(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → PARTF_IN_GGAA(T62, T64, X115, X116)
PARTF_IN_GGAA(T84, .(T85, T86), X161, .(T85, X162)) → U6_GGAA(T84, T85, T86, X161, X162, partF_in_ggaa(T84, T86, X161, X162))
PARTF_IN_GGAA(T84, .(T85, T86), X161, .(T85, X162)) → PARTF_IN_GGAA(T84, T86, X161, X162)
U12_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → U13_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9, pN_in_ggagaga(T23, T45, X14, T46, X15, T22, T9))
U12_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → PN_IN_GGAGAGA(T23, T45, X14, T46, X15, T22, T9)
PN_IN_GGAGAGA(T23, T45, T93, T46, X15, T22, T9) → U14_GGAGAGA(T23, T45, T93, T46, X15, T22, T9, qsA_in_ga(.(T23, T45), T93))
PN_IN_GGAGAGA(T23, T45, T93, T46, X15, T22, T9) → QSA_IN_GA(.(T23, T45), T93)
QSA_IN_GA(.(T187, .(T188, T189)), T9) → U2_GA(T187, T188, T189, T9, pC_in_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9))
QSA_IN_GA(.(T187, .(T188, T189)), T9) → PC_IN_GGAAAGAA(T187, T189, X285, X286, X14, T188, X15, T9)
PC_IN_GGAAAGAA(T187, T189, T193, T194, X14, T188, X15, T9) → U26_GGAAAGAA(T187, T189, T193, T194, X14, T188, X15, T9, partF_in_ggaa(T187, T189, T193, T194))
PC_IN_GGAAAGAA(T187, T189, T193, T194, X14, T188, X15, T9) → PARTF_IN_GGAA(T187, T189, T193, T194)
U26_GGAAAGAA(T187, T189, T193, T194, X14, T188, X15, T9, partF_out_ggaa(T187, T189, T193, T194)) → U27_GGAAAGAA(T187, T189, T193, T194, X14, T188, X15, T9, pR_in_gaggaga(T193, X14, T188, T194, X15, T187, T9))
U26_GGAAAGAA(T187, T189, T193, T194, X14, T188, X15, T9, partF_out_ggaa(T187, T189, T193, T194)) → PR_IN_GAGGAGA(T193, X14, T188, T194, X15, T187, T9)
PR_IN_GAGGAGA(T193, T198, T188, T194, X15, T187, T9) → U28_GAGGAGA(T193, T198, T188, T194, X15, T187, T9, qsH_in_ga(T193, T198))
PR_IN_GAGGAGA(T193, T198, T188, T194, X15, T187, T9) → QSH_IN_GA(T193, T198)
QSH_IN_GA(.(T99, T100), X192) → U7_GA(T99, T100, X192, pI_in_ggaaaaa(T99, T100, X188, X189, X190, X191, X192))
QSH_IN_GA(.(T99, T100), X192) → PI_IN_GGAAAAA(T99, T100, X188, X189, X190, X191, X192)
PI_IN_GGAAAAA(T99, T100, T104, T105, X190, X191, X192) → U20_GGAAAAA(T99, T100, T104, T105, X190, X191, X192, partF_in_ggaa(T99, T100, T104, T105))
PI_IN_GGAAAAA(T99, T100, T104, T105, X190, X191, X192) → PARTF_IN_GGAA(T99, T100, T104, T105)
U20_GGAAAAA(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → U21_GGAAAAA(T99, T100, T104, T105, X190, X191, X192, pP_in_gagaga(T104, X190, T105, X191, T99, X192))
U20_GGAAAAA(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → PP_IN_GAGAGA(T104, X190, T105, X191, T99, X192)
PP_IN_GAGAGA(T104, T109, T105, X191, T99, X192) → U22_GAGAGA(T104, T109, T105, X191, T99, X192, qsH_in_ga(T104, T109))
PP_IN_GAGAGA(T104, T109, T105, X191, T99, X192) → QSH_IN_GA(T104, T109)
U22_GAGAGA(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → U23_GAGAGA(T104, T109, T105, X191, T99, X192, pQ_in_gagga(T105, X191, T109, T99, X192))
U22_GAGAGA(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → PQ_IN_GAGGA(T105, X191, T109, T99, X192)
PQ_IN_GAGGA(T105, T110, T109, T99, X192) → U24_GAGGA(T105, T110, T109, T99, X192, qsH_in_ga(T105, T110))
PQ_IN_GAGGA(T105, T110, T109, T99, X192) → QSH_IN_GA(T105, T110)
U24_GAGGA(T105, T110, T109, T99, X192, qsH_out_ga(T105, T110)) → U25_GAGGA(T105, T110, T109, T99, X192, appJ_in_ggga(T109, T99, T110, X192))
U24_GAGGA(T105, T110, T109, T99, X192, qsH_out_ga(T105, T110)) → APPJ_IN_GGGA(T109, T99, T110, X192)
APPJ_IN_GGGA(.(T133, T134), T135, T136, .(T133, X228)) → U8_GGGA(T133, T134, T135, T136, X228, appJ_in_ggga(T134, T135, T136, X228))
APPJ_IN_GGGA(.(T133, T134), T135, T136, .(T133, X228)) → APPJ_IN_GGGA(T134, T135, T136, X228)
U28_GAGGAGA(T193, T198, T188, T194, X15, T187, T9, qsH_out_ga(T193, T198)) → U29_GAGGAGA(T193, T198, T188, T194, X15, T187, T9, pO_in_gagga(.(T188, T194), X15, T198, T187, T9))
U28_GAGGAGA(T193, T198, T188, T194, X15, T187, T9, qsH_out_ga(T193, T198)) → PO_IN_GAGGA(.(T188, T194), X15, T198, T187, T9)
PO_IN_GAGGA(T46, T94, T93, T22, T9) → U18_GAGGA(T46, T94, T93, T22, T9, qsH_in_ga(T46, T94))
PO_IN_GAGGA(T46, T94, T93, T22, T9) → QSH_IN_GA(T46, T94)
U18_GAGGA(T46, T94, T93, T22, T9, qsH_out_ga(T46, T94)) → U19_GAGGA(T46, T94, T93, T22, T9, appK_in_ggga(T93, T22, T94, T9))
U18_GAGGA(T46, T94, T93, T22, T9, qsH_out_ga(T46, T94)) → APPK_IN_GGGA(T93, T22, T94, T9)
APPK_IN_GGGA(.(T165, T166), T167, T168, .(T165, T170)) → U9_GGGA(T165, T166, T167, T168, T170, appK_in_ggga(T166, T167, T168, T170))
APPK_IN_GGGA(.(T165, T166), T167, T168, .(T165, T170)) → APPK_IN_GGGA(T166, T167, T168, T170)
QSA_IN_GA(.(T201, []), T9) → U3_GA(T201, T9, pD_in_aaga(X14, X15, T201, T9))
QSA_IN_GA(.(T201, []), T9) → PD_IN_AAGA(X14, X15, T201, T9)
PD_IN_AAGA(T206, X15, T201, T9) → U30_AAGA(T206, X15, T201, T9, qsL_in_a(T206))
PD_IN_AAGA(T206, X15, T201, T9) → QSL_IN_A(T206)
U30_AAGA(T206, X15, T201, T9, qsL_out_a(T206)) → U31_AAGA(T206, X15, T201, T9, pS_in_agga(X15, T206, T201, T9))
U30_AAGA(T206, X15, T201, T9, qsL_out_a(T206)) → PS_IN_AGGA(X15, T206, T201, T9)
PS_IN_AGGA(T211, T206, T201, T9) → U32_AGGA(T211, T206, T201, T9, qsL_in_a(T211))
PS_IN_AGGA(T211, T206, T201, T9) → QSL_IN_A(T211)
U32_AGGA(T211, T206, T201, T9, qsL_out_a(T211)) → U33_AGGA(T211, T206, T201, T9, appK_in_ggga(T206, T201, T211, T9))
U32_AGGA(T211, T206, T201, T9, qsL_out_a(T211)) → APPK_IN_GGGA(T206, T201, T211, T9)
U14_GGAGAGA(T23, T45, T93, T46, X15, T22, T9, qsA_out_ga(.(T23, T45), T93)) → U15_GGAGAGA(T23, T45, T93, T46, X15, T22, T9, pO_in_gagga(T46, X15, T93, T22, T9))
U14_GGAGAGA(T23, T45, T93, T46, X15, T22, T9, qsA_out_ga(.(T23, T45), T93)) → PO_IN_GAGGA(T46, X15, T93, T22, T9)
qsA_in_ga([], []) → qsA_out_ga([], [])
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9))
pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9) → U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_in_gg(T22, T23))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_in_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9))
pM_in_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9) → U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_in_ggaa(T22, T24, T45, T46))
partF_in_ggaa(T62, .(T63, T64), .(T63, X115), X116) → U5_ggaa(T62, T63, T64, X115, X116, pG_in_gggaa(T62, T63, T64, X115, X116))
pG_in_gggaa(T62, T63, T64, X115, X116) → U16_gggaa(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
U16_gggaa(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, X115, X116, partF_in_ggaa(T62, T64, X115, X116))
partF_in_ggaa(T84, .(T85, T86), X161, .(T85, X162)) → U6_ggaa(T84, T85, T86, X161, X162, partF_in_ggaa(T84, T86, X161, X162))
partF_in_ggaa(T92, [], [], []) → partF_out_ggaa(T92, [], [], [])
U6_ggaa(T84, T85, T86, X161, X162, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
U17_gggaa(T62, T63, T64, X115, X116, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
U5_ggaa(T62, T63, T64, X115, X116, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_in_ggagaga(T23, T45, X14, T46, X15, T22, T9))
pN_in_ggagaga(T23, T45, T93, T46, X15, T22, T9) → U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_in_ga(.(T23, T45), T93))
qsA_in_ga(.(T187, .(T188, T189)), T9) → U2_ga(T187, T188, T189, T9, pC_in_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9))
pC_in_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9) → U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_in_ggaa(T187, T189, T193, T194))
U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_out_ggaa(T187, T189, T193, T194)) → U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_in_gaggaga(T193, X14, T188, T194, X15, T187, T9))
pR_in_gaggaga(T193, T198, T188, T194, X15, T187, T9) → U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_in_ga(T193, T198))
qsH_in_ga([], []) → qsH_out_ga([], [])
qsH_in_ga(.(T99, T100), X192) → U7_ga(T99, T100, X192, pI_in_ggaaaaa(T99, T100, X188, X189, X190, X191, X192))
pI_in_ggaaaaa(T99, T100, T104, T105, X190, X191, X192) → U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_in_ggaa(T99, T100, T104, T105))
U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_in_gagaga(T104, X190, T105, X191, T99, X192))
pP_in_gagaga(T104, T109, T105, X191, T99, X192) → U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_in_ga(T104, T109))
U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_in_gagga(T105, X191, T109, T99, X192))
pQ_in_gagga(T105, T110, T109, T99, X192) → U24_gagga(T105, T110, T109, T99, X192, qsH_in_ga(T105, T110))
U24_gagga(T105, T110, T109, T99, X192, qsH_out_ga(T105, T110)) → U25_gagga(T105, T110, T109, T99, X192, appJ_in_ggga(T109, T99, T110, X192))
appJ_in_ggga([], T123, T124, .(T123, T124)) → appJ_out_ggga([], T123, T124, .(T123, T124))
appJ_in_ggga(.(T133, T134), T135, T136, .(T133, X228)) → U8_ggga(T133, T134, T135, T136, X228, appJ_in_ggga(T134, T135, T136, X228))
U8_ggga(T133, T134, T135, T136, X228, appJ_out_ggga(T134, T135, T136, X228)) → appJ_out_ggga(.(T133, T134), T135, T136, .(T133, X228))
U25_gagga(T105, T110, T109, T99, X192, appJ_out_ggga(T109, T99, T110, X192)) → pQ_out_gagga(T105, T110, T109, T99, X192)
U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_out_gagga(T105, X191, T109, T99, X192)) → pP_out_gagaga(T104, T109, T105, X191, T99, X192)
U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_out_gagaga(T104, X190, T105, X191, T99, X192)) → pI_out_ggaaaaa(T99, T100, T104, T105, X190, X191, X192)
U7_ga(T99, T100, X192, pI_out_ggaaaaa(T99, T100, X188, X189, X190, X191, X192)) → qsH_out_ga(.(T99, T100), X192)
U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_out_ga(T193, T198)) → U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_in_gagga(.(T188, T194), X15, T198, T187, T9))
pO_in_gagga(T46, T94, T93, T22, T9) → U18_gagga(T46, T94, T93, T22, T9, qsH_in_ga(T46, T94))
U18_gagga(T46, T94, T93, T22, T9, qsH_out_ga(T46, T94)) → U19_gagga(T46, T94, T93, T22, T9, appK_in_ggga(T93, T22, T94, T9))
appK_in_ggga([], T153, T154, .(T153, T154)) → appK_out_ggga([], T153, T154, .(T153, T154))
appK_in_ggga(.(T165, T166), T167, T168, .(T165, T170)) → U9_ggga(T165, T166, T167, T168, T170, appK_in_ggga(T166, T167, T168, T170))
U9_ggga(T165, T166, T167, T168, T170, appK_out_ggga(T166, T167, T168, T170)) → appK_out_ggga(.(T165, T166), T167, T168, .(T165, T170))
U19_gagga(T46, T94, T93, T22, T9, appK_out_ggga(T93, T22, T94, T9)) → pO_out_gagga(T46, T94, T93, T22, T9)
U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_out_gagga(.(T188, T194), X15, T198, T187, T9)) → pR_out_gaggaga(T193, T198, T188, T194, X15, T187, T9)
U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_out_gaggaga(T193, X14, T188, T194, X15, T187, T9)) → pC_out_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9)
U2_ga(T187, T188, T189, T9, pC_out_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9)) → qsA_out_ga(.(T187, .(T188, T189)), T9)
qsA_in_ga(.(T201, []), T9) → U3_ga(T201, T9, pD_in_aaga(X14, X15, T201, T9))
pD_in_aaga(T206, X15, T201, T9) → U30_aaga(T206, X15, T201, T9, qsL_in_a(T206))
qsL_in_a([]) → qsL_out_a([])
U30_aaga(T206, X15, T201, T9, qsL_out_a(T206)) → U31_aaga(T206, X15, T201, T9, pS_in_agga(X15, T206, T201, T9))
pS_in_agga(T211, T206, T201, T9) → U32_agga(T211, T206, T201, T9, qsL_in_a(T211))
U32_agga(T211, T206, T201, T9, qsL_out_a(T211)) → U33_agga(T211, T206, T201, T9, appK_in_ggga(T206, T201, T211, T9))
U33_agga(T211, T206, T201, T9, appK_out_ggga(T206, T201, T211, T9)) → pS_out_agga(T211, T206, T201, T9)
U31_aaga(T206, X15, T201, T9, pS_out_agga(X15, T206, T201, T9)) → pD_out_aaga(T206, X15, T201, T9)
U3_ga(T201, T9, pD_out_aaga(X14, X15, T201, T9)) → qsA_out_ga(.(T201, []), T9)
U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_out_ga(.(T23, T45), T93)) → U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_in_gagga(T46, X15, T93, T22, T9))
U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_out_gagga(T46, X15, T93, T22, T9)) → pN_out_ggagaga(T23, T45, T93, T46, X15, T22, T9)
U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_out_ggagaga(T23, T45, X14, T46, X15, T22, T9)) → pM_out_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9)
U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_out_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9)) → pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
APPK_IN_GGGA(.(T165, T166), T167, T168, .(T165, T170)) → APPK_IN_GGGA(T166, T167, T168, T170)
qsA_in_ga([], []) → qsA_out_ga([], [])
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9))
pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9) → U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_in_gg(T22, T23))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_in_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9))
pM_in_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9) → U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_in_ggaa(T22, T24, T45, T46))
partF_in_ggaa(T62, .(T63, T64), .(T63, X115), X116) → U5_ggaa(T62, T63, T64, X115, X116, pG_in_gggaa(T62, T63, T64, X115, X116))
pG_in_gggaa(T62, T63, T64, X115, X116) → U16_gggaa(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
U16_gggaa(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, X115, X116, partF_in_ggaa(T62, T64, X115, X116))
partF_in_ggaa(T84, .(T85, T86), X161, .(T85, X162)) → U6_ggaa(T84, T85, T86, X161, X162, partF_in_ggaa(T84, T86, X161, X162))
partF_in_ggaa(T92, [], [], []) → partF_out_ggaa(T92, [], [], [])
U6_ggaa(T84, T85, T86, X161, X162, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
U17_gggaa(T62, T63, T64, X115, X116, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
U5_ggaa(T62, T63, T64, X115, X116, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_in_ggagaga(T23, T45, X14, T46, X15, T22, T9))
pN_in_ggagaga(T23, T45, T93, T46, X15, T22, T9) → U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_in_ga(.(T23, T45), T93))
qsA_in_ga(.(T187, .(T188, T189)), T9) → U2_ga(T187, T188, T189, T9, pC_in_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9))
pC_in_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9) → U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_in_ggaa(T187, T189, T193, T194))
U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_out_ggaa(T187, T189, T193, T194)) → U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_in_gaggaga(T193, X14, T188, T194, X15, T187, T9))
pR_in_gaggaga(T193, T198, T188, T194, X15, T187, T9) → U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_in_ga(T193, T198))
qsH_in_ga([], []) → qsH_out_ga([], [])
qsH_in_ga(.(T99, T100), X192) → U7_ga(T99, T100, X192, pI_in_ggaaaaa(T99, T100, X188, X189, X190, X191, X192))
pI_in_ggaaaaa(T99, T100, T104, T105, X190, X191, X192) → U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_in_ggaa(T99, T100, T104, T105))
U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_in_gagaga(T104, X190, T105, X191, T99, X192))
pP_in_gagaga(T104, T109, T105, X191, T99, X192) → U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_in_ga(T104, T109))
U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_in_gagga(T105, X191, T109, T99, X192))
pQ_in_gagga(T105, T110, T109, T99, X192) → U24_gagga(T105, T110, T109, T99, X192, qsH_in_ga(T105, T110))
U24_gagga(T105, T110, T109, T99, X192, qsH_out_ga(T105, T110)) → U25_gagga(T105, T110, T109, T99, X192, appJ_in_ggga(T109, T99, T110, X192))
appJ_in_ggga([], T123, T124, .(T123, T124)) → appJ_out_ggga([], T123, T124, .(T123, T124))
appJ_in_ggga(.(T133, T134), T135, T136, .(T133, X228)) → U8_ggga(T133, T134, T135, T136, X228, appJ_in_ggga(T134, T135, T136, X228))
U8_ggga(T133, T134, T135, T136, X228, appJ_out_ggga(T134, T135, T136, X228)) → appJ_out_ggga(.(T133, T134), T135, T136, .(T133, X228))
U25_gagga(T105, T110, T109, T99, X192, appJ_out_ggga(T109, T99, T110, X192)) → pQ_out_gagga(T105, T110, T109, T99, X192)
U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_out_gagga(T105, X191, T109, T99, X192)) → pP_out_gagaga(T104, T109, T105, X191, T99, X192)
U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_out_gagaga(T104, X190, T105, X191, T99, X192)) → pI_out_ggaaaaa(T99, T100, T104, T105, X190, X191, X192)
U7_ga(T99, T100, X192, pI_out_ggaaaaa(T99, T100, X188, X189, X190, X191, X192)) → qsH_out_ga(.(T99, T100), X192)
U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_out_ga(T193, T198)) → U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_in_gagga(.(T188, T194), X15, T198, T187, T9))
pO_in_gagga(T46, T94, T93, T22, T9) → U18_gagga(T46, T94, T93, T22, T9, qsH_in_ga(T46, T94))
U18_gagga(T46, T94, T93, T22, T9, qsH_out_ga(T46, T94)) → U19_gagga(T46, T94, T93, T22, T9, appK_in_ggga(T93, T22, T94, T9))
appK_in_ggga([], T153, T154, .(T153, T154)) → appK_out_ggga([], T153, T154, .(T153, T154))
appK_in_ggga(.(T165, T166), T167, T168, .(T165, T170)) → U9_ggga(T165, T166, T167, T168, T170, appK_in_ggga(T166, T167, T168, T170))
U9_ggga(T165, T166, T167, T168, T170, appK_out_ggga(T166, T167, T168, T170)) → appK_out_ggga(.(T165, T166), T167, T168, .(T165, T170))
U19_gagga(T46, T94, T93, T22, T9, appK_out_ggga(T93, T22, T94, T9)) → pO_out_gagga(T46, T94, T93, T22, T9)
U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_out_gagga(.(T188, T194), X15, T198, T187, T9)) → pR_out_gaggaga(T193, T198, T188, T194, X15, T187, T9)
U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_out_gaggaga(T193, X14, T188, T194, X15, T187, T9)) → pC_out_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9)
U2_ga(T187, T188, T189, T9, pC_out_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9)) → qsA_out_ga(.(T187, .(T188, T189)), T9)
qsA_in_ga(.(T201, []), T9) → U3_ga(T201, T9, pD_in_aaga(X14, X15, T201, T9))
pD_in_aaga(T206, X15, T201, T9) → U30_aaga(T206, X15, T201, T9, qsL_in_a(T206))
qsL_in_a([]) → qsL_out_a([])
U30_aaga(T206, X15, T201, T9, qsL_out_a(T206)) → U31_aaga(T206, X15, T201, T9, pS_in_agga(X15, T206, T201, T9))
pS_in_agga(T211, T206, T201, T9) → U32_agga(T211, T206, T201, T9, qsL_in_a(T211))
U32_agga(T211, T206, T201, T9, qsL_out_a(T211)) → U33_agga(T211, T206, T201, T9, appK_in_ggga(T206, T201, T211, T9))
U33_agga(T211, T206, T201, T9, appK_out_ggga(T206, T201, T211, T9)) → pS_out_agga(T211, T206, T201, T9)
U31_aaga(T206, X15, T201, T9, pS_out_agga(X15, T206, T201, T9)) → pD_out_aaga(T206, X15, T201, T9)
U3_ga(T201, T9, pD_out_aaga(X14, X15, T201, T9)) → qsA_out_ga(.(T201, []), T9)
U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_out_ga(.(T23, T45), T93)) → U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_in_gagga(T46, X15, T93, T22, T9))
U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_out_gagga(T46, X15, T93, T22, T9)) → pN_out_ggagaga(T23, T45, T93, T46, X15, T22, T9)
U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_out_ggagaga(T23, T45, X14, T46, X15, T22, T9)) → pM_out_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9)
U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_out_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9)) → pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
APPK_IN_GGGA(.(T165, T166), T167, T168, .(T165, T170)) → APPK_IN_GGGA(T166, T167, T168, T170)
APPK_IN_GGGA(.(T165, T166), T167, T168) → APPK_IN_GGGA(T166, T167, T168)
From the DPs we obtained the following set of size-change graphs:
APPJ_IN_GGGA(.(T133, T134), T135, T136, .(T133, X228)) → APPJ_IN_GGGA(T134, T135, T136, X228)
qsA_in_ga([], []) → qsA_out_ga([], [])
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9))
pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9) → U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_in_gg(T22, T23))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_in_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9))
pM_in_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9) → U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_in_ggaa(T22, T24, T45, T46))
partF_in_ggaa(T62, .(T63, T64), .(T63, X115), X116) → U5_ggaa(T62, T63, T64, X115, X116, pG_in_gggaa(T62, T63, T64, X115, X116))
pG_in_gggaa(T62, T63, T64, X115, X116) → U16_gggaa(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
U16_gggaa(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, X115, X116, partF_in_ggaa(T62, T64, X115, X116))
partF_in_ggaa(T84, .(T85, T86), X161, .(T85, X162)) → U6_ggaa(T84, T85, T86, X161, X162, partF_in_ggaa(T84, T86, X161, X162))
partF_in_ggaa(T92, [], [], []) → partF_out_ggaa(T92, [], [], [])
U6_ggaa(T84, T85, T86, X161, X162, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
U17_gggaa(T62, T63, T64, X115, X116, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
U5_ggaa(T62, T63, T64, X115, X116, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_in_ggagaga(T23, T45, X14, T46, X15, T22, T9))
pN_in_ggagaga(T23, T45, T93, T46, X15, T22, T9) → U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_in_ga(.(T23, T45), T93))
qsA_in_ga(.(T187, .(T188, T189)), T9) → U2_ga(T187, T188, T189, T9, pC_in_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9))
pC_in_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9) → U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_in_ggaa(T187, T189, T193, T194))
U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_out_ggaa(T187, T189, T193, T194)) → U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_in_gaggaga(T193, X14, T188, T194, X15, T187, T9))
pR_in_gaggaga(T193, T198, T188, T194, X15, T187, T9) → U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_in_ga(T193, T198))
qsH_in_ga([], []) → qsH_out_ga([], [])
qsH_in_ga(.(T99, T100), X192) → U7_ga(T99, T100, X192, pI_in_ggaaaaa(T99, T100, X188, X189, X190, X191, X192))
pI_in_ggaaaaa(T99, T100, T104, T105, X190, X191, X192) → U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_in_ggaa(T99, T100, T104, T105))
U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_in_gagaga(T104, X190, T105, X191, T99, X192))
pP_in_gagaga(T104, T109, T105, X191, T99, X192) → U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_in_ga(T104, T109))
U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_in_gagga(T105, X191, T109, T99, X192))
pQ_in_gagga(T105, T110, T109, T99, X192) → U24_gagga(T105, T110, T109, T99, X192, qsH_in_ga(T105, T110))
U24_gagga(T105, T110, T109, T99, X192, qsH_out_ga(T105, T110)) → U25_gagga(T105, T110, T109, T99, X192, appJ_in_ggga(T109, T99, T110, X192))
appJ_in_ggga([], T123, T124, .(T123, T124)) → appJ_out_ggga([], T123, T124, .(T123, T124))
appJ_in_ggga(.(T133, T134), T135, T136, .(T133, X228)) → U8_ggga(T133, T134, T135, T136, X228, appJ_in_ggga(T134, T135, T136, X228))
U8_ggga(T133, T134, T135, T136, X228, appJ_out_ggga(T134, T135, T136, X228)) → appJ_out_ggga(.(T133, T134), T135, T136, .(T133, X228))
U25_gagga(T105, T110, T109, T99, X192, appJ_out_ggga(T109, T99, T110, X192)) → pQ_out_gagga(T105, T110, T109, T99, X192)
U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_out_gagga(T105, X191, T109, T99, X192)) → pP_out_gagaga(T104, T109, T105, X191, T99, X192)
U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_out_gagaga(T104, X190, T105, X191, T99, X192)) → pI_out_ggaaaaa(T99, T100, T104, T105, X190, X191, X192)
U7_ga(T99, T100, X192, pI_out_ggaaaaa(T99, T100, X188, X189, X190, X191, X192)) → qsH_out_ga(.(T99, T100), X192)
U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_out_ga(T193, T198)) → U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_in_gagga(.(T188, T194), X15, T198, T187, T9))
pO_in_gagga(T46, T94, T93, T22, T9) → U18_gagga(T46, T94, T93, T22, T9, qsH_in_ga(T46, T94))
U18_gagga(T46, T94, T93, T22, T9, qsH_out_ga(T46, T94)) → U19_gagga(T46, T94, T93, T22, T9, appK_in_ggga(T93, T22, T94, T9))
appK_in_ggga([], T153, T154, .(T153, T154)) → appK_out_ggga([], T153, T154, .(T153, T154))
appK_in_ggga(.(T165, T166), T167, T168, .(T165, T170)) → U9_ggga(T165, T166, T167, T168, T170, appK_in_ggga(T166, T167, T168, T170))
U9_ggga(T165, T166, T167, T168, T170, appK_out_ggga(T166, T167, T168, T170)) → appK_out_ggga(.(T165, T166), T167, T168, .(T165, T170))
U19_gagga(T46, T94, T93, T22, T9, appK_out_ggga(T93, T22, T94, T9)) → pO_out_gagga(T46, T94, T93, T22, T9)
U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_out_gagga(.(T188, T194), X15, T198, T187, T9)) → pR_out_gaggaga(T193, T198, T188, T194, X15, T187, T9)
U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_out_gaggaga(T193, X14, T188, T194, X15, T187, T9)) → pC_out_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9)
U2_ga(T187, T188, T189, T9, pC_out_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9)) → qsA_out_ga(.(T187, .(T188, T189)), T9)
qsA_in_ga(.(T201, []), T9) → U3_ga(T201, T9, pD_in_aaga(X14, X15, T201, T9))
pD_in_aaga(T206, X15, T201, T9) → U30_aaga(T206, X15, T201, T9, qsL_in_a(T206))
qsL_in_a([]) → qsL_out_a([])
U30_aaga(T206, X15, T201, T9, qsL_out_a(T206)) → U31_aaga(T206, X15, T201, T9, pS_in_agga(X15, T206, T201, T9))
pS_in_agga(T211, T206, T201, T9) → U32_agga(T211, T206, T201, T9, qsL_in_a(T211))
U32_agga(T211, T206, T201, T9, qsL_out_a(T211)) → U33_agga(T211, T206, T201, T9, appK_in_ggga(T206, T201, T211, T9))
U33_agga(T211, T206, T201, T9, appK_out_ggga(T206, T201, T211, T9)) → pS_out_agga(T211, T206, T201, T9)
U31_aaga(T206, X15, T201, T9, pS_out_agga(X15, T206, T201, T9)) → pD_out_aaga(T206, X15, T201, T9)
U3_ga(T201, T9, pD_out_aaga(X14, X15, T201, T9)) → qsA_out_ga(.(T201, []), T9)
U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_out_ga(.(T23, T45), T93)) → U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_in_gagga(T46, X15, T93, T22, T9))
U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_out_gagga(T46, X15, T93, T22, T9)) → pN_out_ggagaga(T23, T45, T93, T46, X15, T22, T9)
U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_out_ggagaga(T23, T45, X14, T46, X15, T22, T9)) → pM_out_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9)
U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_out_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9)) → pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
APPJ_IN_GGGA(.(T133, T134), T135, T136, .(T133, X228)) → APPJ_IN_GGGA(T134, T135, T136, X228)
APPJ_IN_GGGA(.(T133, T134), T135, T136) → APPJ_IN_GGGA(T134, T135, T136)
From the DPs we obtained the following set of size-change graphs:
LESSE_IN_GG(s(T38), s(T39)) → LESSE_IN_GG(T38, T39)
qsA_in_ga([], []) → qsA_out_ga([], [])
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9))
pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9) → U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_in_gg(T22, T23))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_in_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9))
pM_in_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9) → U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_in_ggaa(T22, T24, T45, T46))
partF_in_ggaa(T62, .(T63, T64), .(T63, X115), X116) → U5_ggaa(T62, T63, T64, X115, X116, pG_in_gggaa(T62, T63, T64, X115, X116))
pG_in_gggaa(T62, T63, T64, X115, X116) → U16_gggaa(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
U16_gggaa(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, X115, X116, partF_in_ggaa(T62, T64, X115, X116))
partF_in_ggaa(T84, .(T85, T86), X161, .(T85, X162)) → U6_ggaa(T84, T85, T86, X161, X162, partF_in_ggaa(T84, T86, X161, X162))
partF_in_ggaa(T92, [], [], []) → partF_out_ggaa(T92, [], [], [])
U6_ggaa(T84, T85, T86, X161, X162, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
U17_gggaa(T62, T63, T64, X115, X116, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
U5_ggaa(T62, T63, T64, X115, X116, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_in_ggagaga(T23, T45, X14, T46, X15, T22, T9))
pN_in_ggagaga(T23, T45, T93, T46, X15, T22, T9) → U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_in_ga(.(T23, T45), T93))
qsA_in_ga(.(T187, .(T188, T189)), T9) → U2_ga(T187, T188, T189, T9, pC_in_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9))
pC_in_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9) → U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_in_ggaa(T187, T189, T193, T194))
U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_out_ggaa(T187, T189, T193, T194)) → U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_in_gaggaga(T193, X14, T188, T194, X15, T187, T9))
pR_in_gaggaga(T193, T198, T188, T194, X15, T187, T9) → U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_in_ga(T193, T198))
qsH_in_ga([], []) → qsH_out_ga([], [])
qsH_in_ga(.(T99, T100), X192) → U7_ga(T99, T100, X192, pI_in_ggaaaaa(T99, T100, X188, X189, X190, X191, X192))
pI_in_ggaaaaa(T99, T100, T104, T105, X190, X191, X192) → U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_in_ggaa(T99, T100, T104, T105))
U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_in_gagaga(T104, X190, T105, X191, T99, X192))
pP_in_gagaga(T104, T109, T105, X191, T99, X192) → U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_in_ga(T104, T109))
U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_in_gagga(T105, X191, T109, T99, X192))
pQ_in_gagga(T105, T110, T109, T99, X192) → U24_gagga(T105, T110, T109, T99, X192, qsH_in_ga(T105, T110))
U24_gagga(T105, T110, T109, T99, X192, qsH_out_ga(T105, T110)) → U25_gagga(T105, T110, T109, T99, X192, appJ_in_ggga(T109, T99, T110, X192))
appJ_in_ggga([], T123, T124, .(T123, T124)) → appJ_out_ggga([], T123, T124, .(T123, T124))
appJ_in_ggga(.(T133, T134), T135, T136, .(T133, X228)) → U8_ggga(T133, T134, T135, T136, X228, appJ_in_ggga(T134, T135, T136, X228))
U8_ggga(T133, T134, T135, T136, X228, appJ_out_ggga(T134, T135, T136, X228)) → appJ_out_ggga(.(T133, T134), T135, T136, .(T133, X228))
U25_gagga(T105, T110, T109, T99, X192, appJ_out_ggga(T109, T99, T110, X192)) → pQ_out_gagga(T105, T110, T109, T99, X192)
U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_out_gagga(T105, X191, T109, T99, X192)) → pP_out_gagaga(T104, T109, T105, X191, T99, X192)
U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_out_gagaga(T104, X190, T105, X191, T99, X192)) → pI_out_ggaaaaa(T99, T100, T104, T105, X190, X191, X192)
U7_ga(T99, T100, X192, pI_out_ggaaaaa(T99, T100, X188, X189, X190, X191, X192)) → qsH_out_ga(.(T99, T100), X192)
U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_out_ga(T193, T198)) → U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_in_gagga(.(T188, T194), X15, T198, T187, T9))
pO_in_gagga(T46, T94, T93, T22, T9) → U18_gagga(T46, T94, T93, T22, T9, qsH_in_ga(T46, T94))
U18_gagga(T46, T94, T93, T22, T9, qsH_out_ga(T46, T94)) → U19_gagga(T46, T94, T93, T22, T9, appK_in_ggga(T93, T22, T94, T9))
appK_in_ggga([], T153, T154, .(T153, T154)) → appK_out_ggga([], T153, T154, .(T153, T154))
appK_in_ggga(.(T165, T166), T167, T168, .(T165, T170)) → U9_ggga(T165, T166, T167, T168, T170, appK_in_ggga(T166, T167, T168, T170))
U9_ggga(T165, T166, T167, T168, T170, appK_out_ggga(T166, T167, T168, T170)) → appK_out_ggga(.(T165, T166), T167, T168, .(T165, T170))
U19_gagga(T46, T94, T93, T22, T9, appK_out_ggga(T93, T22, T94, T9)) → pO_out_gagga(T46, T94, T93, T22, T9)
U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_out_gagga(.(T188, T194), X15, T198, T187, T9)) → pR_out_gaggaga(T193, T198, T188, T194, X15, T187, T9)
U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_out_gaggaga(T193, X14, T188, T194, X15, T187, T9)) → pC_out_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9)
U2_ga(T187, T188, T189, T9, pC_out_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9)) → qsA_out_ga(.(T187, .(T188, T189)), T9)
qsA_in_ga(.(T201, []), T9) → U3_ga(T201, T9, pD_in_aaga(X14, X15, T201, T9))
pD_in_aaga(T206, X15, T201, T9) → U30_aaga(T206, X15, T201, T9, qsL_in_a(T206))
qsL_in_a([]) → qsL_out_a([])
U30_aaga(T206, X15, T201, T9, qsL_out_a(T206)) → U31_aaga(T206, X15, T201, T9, pS_in_agga(X15, T206, T201, T9))
pS_in_agga(T211, T206, T201, T9) → U32_agga(T211, T206, T201, T9, qsL_in_a(T211))
U32_agga(T211, T206, T201, T9, qsL_out_a(T211)) → U33_agga(T211, T206, T201, T9, appK_in_ggga(T206, T201, T211, T9))
U33_agga(T211, T206, T201, T9, appK_out_ggga(T206, T201, T211, T9)) → pS_out_agga(T211, T206, T201, T9)
U31_aaga(T206, X15, T201, T9, pS_out_agga(X15, T206, T201, T9)) → pD_out_aaga(T206, X15, T201, T9)
U3_ga(T201, T9, pD_out_aaga(X14, X15, T201, T9)) → qsA_out_ga(.(T201, []), T9)
U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_out_ga(.(T23, T45), T93)) → U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_in_gagga(T46, X15, T93, T22, T9))
U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_out_gagga(T46, X15, T93, T22, T9)) → pN_out_ggagaga(T23, T45, T93, T46, X15, T22, T9)
U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_out_ggagaga(T23, T45, X14, T46, X15, T22, T9)) → pM_out_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9)
U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_out_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9)) → pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
LESSE_IN_GG(s(T38), s(T39)) → LESSE_IN_GG(T38, T39)
LESSE_IN_GG(s(T38), s(T39)) → LESSE_IN_GG(T38, T39)
From the DPs we obtained the following set of size-change graphs:
PG_IN_GGGAA(T62, T63, T64, X115, X116) → U16_GGGAA(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
U16_GGGAA(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → PARTF_IN_GGAA(T62, T64, X115, X116)
PARTF_IN_GGAA(T62, .(T63, T64), .(T63, X115), X116) → PG_IN_GGGAA(T62, T63, T64, X115, X116)
PARTF_IN_GGAA(T84, .(T85, T86), X161, .(T85, X162)) → PARTF_IN_GGAA(T84, T86, X161, X162)
qsA_in_ga([], []) → qsA_out_ga([], [])
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9))
pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9) → U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_in_gg(T22, T23))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_in_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9))
pM_in_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9) → U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_in_ggaa(T22, T24, T45, T46))
partF_in_ggaa(T62, .(T63, T64), .(T63, X115), X116) → U5_ggaa(T62, T63, T64, X115, X116, pG_in_gggaa(T62, T63, T64, X115, X116))
pG_in_gggaa(T62, T63, T64, X115, X116) → U16_gggaa(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
U16_gggaa(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, X115, X116, partF_in_ggaa(T62, T64, X115, X116))
partF_in_ggaa(T84, .(T85, T86), X161, .(T85, X162)) → U6_ggaa(T84, T85, T86, X161, X162, partF_in_ggaa(T84, T86, X161, X162))
partF_in_ggaa(T92, [], [], []) → partF_out_ggaa(T92, [], [], [])
U6_ggaa(T84, T85, T86, X161, X162, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
U17_gggaa(T62, T63, T64, X115, X116, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
U5_ggaa(T62, T63, T64, X115, X116, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_in_ggagaga(T23, T45, X14, T46, X15, T22, T9))
pN_in_ggagaga(T23, T45, T93, T46, X15, T22, T9) → U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_in_ga(.(T23, T45), T93))
qsA_in_ga(.(T187, .(T188, T189)), T9) → U2_ga(T187, T188, T189, T9, pC_in_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9))
pC_in_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9) → U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_in_ggaa(T187, T189, T193, T194))
U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_out_ggaa(T187, T189, T193, T194)) → U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_in_gaggaga(T193, X14, T188, T194, X15, T187, T9))
pR_in_gaggaga(T193, T198, T188, T194, X15, T187, T9) → U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_in_ga(T193, T198))
qsH_in_ga([], []) → qsH_out_ga([], [])
qsH_in_ga(.(T99, T100), X192) → U7_ga(T99, T100, X192, pI_in_ggaaaaa(T99, T100, X188, X189, X190, X191, X192))
pI_in_ggaaaaa(T99, T100, T104, T105, X190, X191, X192) → U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_in_ggaa(T99, T100, T104, T105))
U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_in_gagaga(T104, X190, T105, X191, T99, X192))
pP_in_gagaga(T104, T109, T105, X191, T99, X192) → U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_in_ga(T104, T109))
U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_in_gagga(T105, X191, T109, T99, X192))
pQ_in_gagga(T105, T110, T109, T99, X192) → U24_gagga(T105, T110, T109, T99, X192, qsH_in_ga(T105, T110))
U24_gagga(T105, T110, T109, T99, X192, qsH_out_ga(T105, T110)) → U25_gagga(T105, T110, T109, T99, X192, appJ_in_ggga(T109, T99, T110, X192))
appJ_in_ggga([], T123, T124, .(T123, T124)) → appJ_out_ggga([], T123, T124, .(T123, T124))
appJ_in_ggga(.(T133, T134), T135, T136, .(T133, X228)) → U8_ggga(T133, T134, T135, T136, X228, appJ_in_ggga(T134, T135, T136, X228))
U8_ggga(T133, T134, T135, T136, X228, appJ_out_ggga(T134, T135, T136, X228)) → appJ_out_ggga(.(T133, T134), T135, T136, .(T133, X228))
U25_gagga(T105, T110, T109, T99, X192, appJ_out_ggga(T109, T99, T110, X192)) → pQ_out_gagga(T105, T110, T109, T99, X192)
U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_out_gagga(T105, X191, T109, T99, X192)) → pP_out_gagaga(T104, T109, T105, X191, T99, X192)
U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_out_gagaga(T104, X190, T105, X191, T99, X192)) → pI_out_ggaaaaa(T99, T100, T104, T105, X190, X191, X192)
U7_ga(T99, T100, X192, pI_out_ggaaaaa(T99, T100, X188, X189, X190, X191, X192)) → qsH_out_ga(.(T99, T100), X192)
U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_out_ga(T193, T198)) → U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_in_gagga(.(T188, T194), X15, T198, T187, T9))
pO_in_gagga(T46, T94, T93, T22, T9) → U18_gagga(T46, T94, T93, T22, T9, qsH_in_ga(T46, T94))
U18_gagga(T46, T94, T93, T22, T9, qsH_out_ga(T46, T94)) → U19_gagga(T46, T94, T93, T22, T9, appK_in_ggga(T93, T22, T94, T9))
appK_in_ggga([], T153, T154, .(T153, T154)) → appK_out_ggga([], T153, T154, .(T153, T154))
appK_in_ggga(.(T165, T166), T167, T168, .(T165, T170)) → U9_ggga(T165, T166, T167, T168, T170, appK_in_ggga(T166, T167, T168, T170))
U9_ggga(T165, T166, T167, T168, T170, appK_out_ggga(T166, T167, T168, T170)) → appK_out_ggga(.(T165, T166), T167, T168, .(T165, T170))
U19_gagga(T46, T94, T93, T22, T9, appK_out_ggga(T93, T22, T94, T9)) → pO_out_gagga(T46, T94, T93, T22, T9)
U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_out_gagga(.(T188, T194), X15, T198, T187, T9)) → pR_out_gaggaga(T193, T198, T188, T194, X15, T187, T9)
U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_out_gaggaga(T193, X14, T188, T194, X15, T187, T9)) → pC_out_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9)
U2_ga(T187, T188, T189, T9, pC_out_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9)) → qsA_out_ga(.(T187, .(T188, T189)), T9)
qsA_in_ga(.(T201, []), T9) → U3_ga(T201, T9, pD_in_aaga(X14, X15, T201, T9))
pD_in_aaga(T206, X15, T201, T9) → U30_aaga(T206, X15, T201, T9, qsL_in_a(T206))
qsL_in_a([]) → qsL_out_a([])
U30_aaga(T206, X15, T201, T9, qsL_out_a(T206)) → U31_aaga(T206, X15, T201, T9, pS_in_agga(X15, T206, T201, T9))
pS_in_agga(T211, T206, T201, T9) → U32_agga(T211, T206, T201, T9, qsL_in_a(T211))
U32_agga(T211, T206, T201, T9, qsL_out_a(T211)) → U33_agga(T211, T206, T201, T9, appK_in_ggga(T206, T201, T211, T9))
U33_agga(T211, T206, T201, T9, appK_out_ggga(T206, T201, T211, T9)) → pS_out_agga(T211, T206, T201, T9)
U31_aaga(T206, X15, T201, T9, pS_out_agga(X15, T206, T201, T9)) → pD_out_aaga(T206, X15, T201, T9)
U3_ga(T201, T9, pD_out_aaga(X14, X15, T201, T9)) → qsA_out_ga(.(T201, []), T9)
U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_out_ga(.(T23, T45), T93)) → U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_in_gagga(T46, X15, T93, T22, T9))
U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_out_gagga(T46, X15, T93, T22, T9)) → pN_out_ggagaga(T23, T45, T93, T46, X15, T22, T9)
U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_out_ggagaga(T23, T45, X14, T46, X15, T22, T9)) → pM_out_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9)
U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_out_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9)) → pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
PG_IN_GGGAA(T62, T63, T64, X115, X116) → U16_GGGAA(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
U16_GGGAA(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → PARTF_IN_GGAA(T62, T64, X115, X116)
PARTF_IN_GGAA(T62, .(T63, T64), .(T63, X115), X116) → PG_IN_GGGAA(T62, T63, T64, X115, X116)
PARTF_IN_GGAA(T84, .(T85, T86), X161, .(T85, X162)) → PARTF_IN_GGAA(T84, T86, X161, X162)
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
PG_IN_GGGAA(T62, T63, T64) → U16_GGGAA(T62, T63, T64, lessE_in_gg(T62, T63))
U16_GGGAA(T62, T63, T64, lessE_out_gg(T62, T63)) → PARTF_IN_GGAA(T62, T64)
PARTF_IN_GGAA(T62, .(T63, T64)) → PG_IN_GGGAA(T62, T63, T64)
PARTF_IN_GGAA(T84, .(T85, T86)) → PARTF_IN_GGAA(T84, T86)
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
lessE_in_gg(x0, x1)
U4_gg(x0, x1, x2)
From the DPs we obtained the following set of size-change graphs:
PI_IN_GGAAAAA(T99, T100, T104, T105, X190, X191, X192) → U20_GGAAAAA(T99, T100, T104, T105, X190, X191, X192, partF_in_ggaa(T99, T100, T104, T105))
U20_GGAAAAA(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → PP_IN_GAGAGA(T104, X190, T105, X191, T99, X192)
PP_IN_GAGAGA(T104, T109, T105, X191, T99, X192) → U22_GAGAGA(T104, T109, T105, X191, T99, X192, qsH_in_ga(T104, T109))
U22_GAGAGA(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → PQ_IN_GAGGA(T105, X191, T109, T99, X192)
PQ_IN_GAGGA(T105, T110, T109, T99, X192) → QSH_IN_GA(T105, T110)
QSH_IN_GA(.(T99, T100), X192) → PI_IN_GGAAAAA(T99, T100, X188, X189, X190, X191, X192)
PP_IN_GAGAGA(T104, T109, T105, X191, T99, X192) → QSH_IN_GA(T104, T109)
qsA_in_ga([], []) → qsA_out_ga([], [])
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9))
pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9) → U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_in_gg(T22, T23))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_in_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9))
pM_in_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9) → U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_in_ggaa(T22, T24, T45, T46))
partF_in_ggaa(T62, .(T63, T64), .(T63, X115), X116) → U5_ggaa(T62, T63, T64, X115, X116, pG_in_gggaa(T62, T63, T64, X115, X116))
pG_in_gggaa(T62, T63, T64, X115, X116) → U16_gggaa(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
U16_gggaa(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, X115, X116, partF_in_ggaa(T62, T64, X115, X116))
partF_in_ggaa(T84, .(T85, T86), X161, .(T85, X162)) → U6_ggaa(T84, T85, T86, X161, X162, partF_in_ggaa(T84, T86, X161, X162))
partF_in_ggaa(T92, [], [], []) → partF_out_ggaa(T92, [], [], [])
U6_ggaa(T84, T85, T86, X161, X162, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
U17_gggaa(T62, T63, T64, X115, X116, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
U5_ggaa(T62, T63, T64, X115, X116, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_in_ggagaga(T23, T45, X14, T46, X15, T22, T9))
pN_in_ggagaga(T23, T45, T93, T46, X15, T22, T9) → U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_in_ga(.(T23, T45), T93))
qsA_in_ga(.(T187, .(T188, T189)), T9) → U2_ga(T187, T188, T189, T9, pC_in_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9))
pC_in_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9) → U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_in_ggaa(T187, T189, T193, T194))
U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_out_ggaa(T187, T189, T193, T194)) → U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_in_gaggaga(T193, X14, T188, T194, X15, T187, T9))
pR_in_gaggaga(T193, T198, T188, T194, X15, T187, T9) → U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_in_ga(T193, T198))
qsH_in_ga([], []) → qsH_out_ga([], [])
qsH_in_ga(.(T99, T100), X192) → U7_ga(T99, T100, X192, pI_in_ggaaaaa(T99, T100, X188, X189, X190, X191, X192))
pI_in_ggaaaaa(T99, T100, T104, T105, X190, X191, X192) → U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_in_ggaa(T99, T100, T104, T105))
U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_in_gagaga(T104, X190, T105, X191, T99, X192))
pP_in_gagaga(T104, T109, T105, X191, T99, X192) → U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_in_ga(T104, T109))
U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_in_gagga(T105, X191, T109, T99, X192))
pQ_in_gagga(T105, T110, T109, T99, X192) → U24_gagga(T105, T110, T109, T99, X192, qsH_in_ga(T105, T110))
U24_gagga(T105, T110, T109, T99, X192, qsH_out_ga(T105, T110)) → U25_gagga(T105, T110, T109, T99, X192, appJ_in_ggga(T109, T99, T110, X192))
appJ_in_ggga([], T123, T124, .(T123, T124)) → appJ_out_ggga([], T123, T124, .(T123, T124))
appJ_in_ggga(.(T133, T134), T135, T136, .(T133, X228)) → U8_ggga(T133, T134, T135, T136, X228, appJ_in_ggga(T134, T135, T136, X228))
U8_ggga(T133, T134, T135, T136, X228, appJ_out_ggga(T134, T135, T136, X228)) → appJ_out_ggga(.(T133, T134), T135, T136, .(T133, X228))
U25_gagga(T105, T110, T109, T99, X192, appJ_out_ggga(T109, T99, T110, X192)) → pQ_out_gagga(T105, T110, T109, T99, X192)
U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_out_gagga(T105, X191, T109, T99, X192)) → pP_out_gagaga(T104, T109, T105, X191, T99, X192)
U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_out_gagaga(T104, X190, T105, X191, T99, X192)) → pI_out_ggaaaaa(T99, T100, T104, T105, X190, X191, X192)
U7_ga(T99, T100, X192, pI_out_ggaaaaa(T99, T100, X188, X189, X190, X191, X192)) → qsH_out_ga(.(T99, T100), X192)
U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_out_ga(T193, T198)) → U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_in_gagga(.(T188, T194), X15, T198, T187, T9))
pO_in_gagga(T46, T94, T93, T22, T9) → U18_gagga(T46, T94, T93, T22, T9, qsH_in_ga(T46, T94))
U18_gagga(T46, T94, T93, T22, T9, qsH_out_ga(T46, T94)) → U19_gagga(T46, T94, T93, T22, T9, appK_in_ggga(T93, T22, T94, T9))
appK_in_ggga([], T153, T154, .(T153, T154)) → appK_out_ggga([], T153, T154, .(T153, T154))
appK_in_ggga(.(T165, T166), T167, T168, .(T165, T170)) → U9_ggga(T165, T166, T167, T168, T170, appK_in_ggga(T166, T167, T168, T170))
U9_ggga(T165, T166, T167, T168, T170, appK_out_ggga(T166, T167, T168, T170)) → appK_out_ggga(.(T165, T166), T167, T168, .(T165, T170))
U19_gagga(T46, T94, T93, T22, T9, appK_out_ggga(T93, T22, T94, T9)) → pO_out_gagga(T46, T94, T93, T22, T9)
U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_out_gagga(.(T188, T194), X15, T198, T187, T9)) → pR_out_gaggaga(T193, T198, T188, T194, X15, T187, T9)
U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_out_gaggaga(T193, X14, T188, T194, X15, T187, T9)) → pC_out_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9)
U2_ga(T187, T188, T189, T9, pC_out_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9)) → qsA_out_ga(.(T187, .(T188, T189)), T9)
qsA_in_ga(.(T201, []), T9) → U3_ga(T201, T9, pD_in_aaga(X14, X15, T201, T9))
pD_in_aaga(T206, X15, T201, T9) → U30_aaga(T206, X15, T201, T9, qsL_in_a(T206))
qsL_in_a([]) → qsL_out_a([])
U30_aaga(T206, X15, T201, T9, qsL_out_a(T206)) → U31_aaga(T206, X15, T201, T9, pS_in_agga(X15, T206, T201, T9))
pS_in_agga(T211, T206, T201, T9) → U32_agga(T211, T206, T201, T9, qsL_in_a(T211))
U32_agga(T211, T206, T201, T9, qsL_out_a(T211)) → U33_agga(T211, T206, T201, T9, appK_in_ggga(T206, T201, T211, T9))
U33_agga(T211, T206, T201, T9, appK_out_ggga(T206, T201, T211, T9)) → pS_out_agga(T211, T206, T201, T9)
U31_aaga(T206, X15, T201, T9, pS_out_agga(X15, T206, T201, T9)) → pD_out_aaga(T206, X15, T201, T9)
U3_ga(T201, T9, pD_out_aaga(X14, X15, T201, T9)) → qsA_out_ga(.(T201, []), T9)
U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_out_ga(.(T23, T45), T93)) → U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_in_gagga(T46, X15, T93, T22, T9))
U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_out_gagga(T46, X15, T93, T22, T9)) → pN_out_ggagaga(T23, T45, T93, T46, X15, T22, T9)
U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_out_ggagaga(T23, T45, X14, T46, X15, T22, T9)) → pM_out_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9)
U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_out_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9)) → pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
PI_IN_GGAAAAA(T99, T100, T104, T105, X190, X191, X192) → U20_GGAAAAA(T99, T100, T104, T105, X190, X191, X192, partF_in_ggaa(T99, T100, T104, T105))
U20_GGAAAAA(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → PP_IN_GAGAGA(T104, X190, T105, X191, T99, X192)
PP_IN_GAGAGA(T104, T109, T105, X191, T99, X192) → U22_GAGAGA(T104, T109, T105, X191, T99, X192, qsH_in_ga(T104, T109))
U22_GAGAGA(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → PQ_IN_GAGGA(T105, X191, T109, T99, X192)
PQ_IN_GAGGA(T105, T110, T109, T99, X192) → QSH_IN_GA(T105, T110)
QSH_IN_GA(.(T99, T100), X192) → PI_IN_GGAAAAA(T99, T100, X188, X189, X190, X191, X192)
PP_IN_GAGAGA(T104, T109, T105, X191, T99, X192) → QSH_IN_GA(T104, T109)
partF_in_ggaa(T62, .(T63, T64), .(T63, X115), X116) → U5_ggaa(T62, T63, T64, X115, X116, pG_in_gggaa(T62, T63, T64, X115, X116))
partF_in_ggaa(T84, .(T85, T86), X161, .(T85, X162)) → U6_ggaa(T84, T85, T86, X161, X162, partF_in_ggaa(T84, T86, X161, X162))
partF_in_ggaa(T92, [], [], []) → partF_out_ggaa(T92, [], [], [])
qsH_in_ga([], []) → qsH_out_ga([], [])
qsH_in_ga(.(T99, T100), X192) → U7_ga(T99, T100, X192, pI_in_ggaaaaa(T99, T100, X188, X189, X190, X191, X192))
U5_ggaa(T62, T63, T64, X115, X116, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U6_ggaa(T84, T85, T86, X161, X162, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
U7_ga(T99, T100, X192, pI_out_ggaaaaa(T99, T100, X188, X189, X190, X191, X192)) → qsH_out_ga(.(T99, T100), X192)
pG_in_gggaa(T62, T63, T64, X115, X116) → U16_gggaa(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
pI_in_ggaaaaa(T99, T100, T104, T105, X190, X191, X192) → U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_in_ggaa(T99, T100, T104, T105))
U16_gggaa(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, X115, X116, partF_in_ggaa(T62, T64, X115, X116))
U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_in_gagaga(T104, X190, T105, X191, T99, X192))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U17_gggaa(T62, T63, T64, X115, X116, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_out_gagaga(T104, X190, T105, X191, T99, X192)) → pI_out_ggaaaaa(T99, T100, T104, T105, X190, X191, X192)
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
pP_in_gagaga(T104, T109, T105, X191, T99, X192) → U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_in_ga(T104, T109))
U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_in_gagga(T105, X191, T109, T99, X192))
U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_out_gagga(T105, X191, T109, T99, X192)) → pP_out_gagaga(T104, T109, T105, X191, T99, X192)
pQ_in_gagga(T105, T110, T109, T99, X192) → U24_gagga(T105, T110, T109, T99, X192, qsH_in_ga(T105, T110))
U24_gagga(T105, T110, T109, T99, X192, qsH_out_ga(T105, T110)) → U25_gagga(T105, T110, T109, T99, X192, appJ_in_ggga(T109, T99, T110, X192))
U25_gagga(T105, T110, T109, T99, X192, appJ_out_ggga(T109, T99, T110, X192)) → pQ_out_gagga(T105, T110, T109, T99, X192)
appJ_in_ggga([], T123, T124, .(T123, T124)) → appJ_out_ggga([], T123, T124, .(T123, T124))
appJ_in_ggga(.(T133, T134), T135, T136, .(T133, X228)) → U8_ggga(T133, T134, T135, T136, X228, appJ_in_ggga(T134, T135, T136, X228))
U8_ggga(T133, T134, T135, T136, X228, appJ_out_ggga(T134, T135, T136, X228)) → appJ_out_ggga(.(T133, T134), T135, T136, .(T133, X228))
PI_IN_GGAAAAA(T99, T100) → U20_GGAAAAA(T99, T100, partF_in_ggaa(T99, T100))
U20_GGAAAAA(T99, T100, partF_out_ggaa(T99, T100, T104, T105)) → PP_IN_GAGAGA(T104, T105, T99)
PP_IN_GAGAGA(T104, T105, T99) → U22_GAGAGA(T104, T105, T99, qsH_in_ga(T104))
U22_GAGAGA(T104, T105, T99, qsH_out_ga(T104, T109)) → PQ_IN_GAGGA(T105, T109, T99)
PQ_IN_GAGGA(T105, T109, T99) → QSH_IN_GA(T105)
QSH_IN_GA(.(T99, T100)) → PI_IN_GGAAAAA(T99, T100)
PP_IN_GAGAGA(T104, T105, T99) → QSH_IN_GA(T104)
partF_in_ggaa(T62, .(T63, T64)) → U5_ggaa(T62, T63, T64, pG_in_gggaa(T62, T63, T64))
partF_in_ggaa(T84, .(T85, T86)) → U6_ggaa(T84, T85, T86, partF_in_ggaa(T84, T86))
partF_in_ggaa(T92, []) → partF_out_ggaa(T92, [], [], [])
qsH_in_ga([]) → qsH_out_ga([], [])
qsH_in_ga(.(T99, T100)) → U7_ga(T99, T100, pI_in_ggaaaaa(T99, T100))
U5_ggaa(T62, T63, T64, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U6_ggaa(T84, T85, T86, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
U7_ga(T99, T100, pI_out_ggaaaaa(T99, T100, X188, X189, X190, X191, X192)) → qsH_out_ga(.(T99, T100), X192)
pG_in_gggaa(T62, T63, T64) → U16_gggaa(T62, T63, T64, lessE_in_gg(T62, T63))
pI_in_ggaaaaa(T99, T100) → U20_ggaaaaa(T99, T100, partF_in_ggaa(T99, T100))
U16_gggaa(T62, T63, T64, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, partF_in_ggaa(T62, T64))
U20_ggaaaaa(T99, T100, partF_out_ggaa(T99, T100, T104, T105)) → U21_ggaaaaa(T99, T100, T104, T105, pP_in_gagaga(T104, T105, T99))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U17_gggaa(T62, T63, T64, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
U21_ggaaaaa(T99, T100, T104, T105, pP_out_gagaga(T104, X190, T105, X191, T99, X192)) → pI_out_ggaaaaa(T99, T100, T104, T105, X190, X191, X192)
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
pP_in_gagaga(T104, T105, T99) → U22_gagaga(T104, T105, T99, qsH_in_ga(T104))
U22_gagaga(T104, T105, T99, qsH_out_ga(T104, T109)) → U23_gagaga(T104, T109, T105, T99, pQ_in_gagga(T105, T109, T99))
U23_gagaga(T104, T109, T105, T99, pQ_out_gagga(T105, X191, T109, T99, X192)) → pP_out_gagaga(T104, T109, T105, X191, T99, X192)
pQ_in_gagga(T105, T109, T99) → U24_gagga(T105, T109, T99, qsH_in_ga(T105))
U24_gagga(T105, T109, T99, qsH_out_ga(T105, T110)) → U25_gagga(T105, T110, T109, T99, appJ_in_ggga(T109, T99, T110))
U25_gagga(T105, T110, T109, T99, appJ_out_ggga(T109, T99, T110, X192)) → pQ_out_gagga(T105, T110, T109, T99, X192)
appJ_in_ggga([], T123, T124) → appJ_out_ggga([], T123, T124, .(T123, T124))
appJ_in_ggga(.(T133, T134), T135, T136) → U8_ggga(T133, T134, T135, T136, appJ_in_ggga(T134, T135, T136))
U8_ggga(T133, T134, T135, T136, appJ_out_ggga(T134, T135, T136, X228)) → appJ_out_ggga(.(T133, T134), T135, T136, .(T133, X228))
partF_in_ggaa(x0, x1)
qsH_in_ga(x0)
U5_ggaa(x0, x1, x2, x3)
U6_ggaa(x0, x1, x2, x3)
U7_ga(x0, x1, x2)
pG_in_gggaa(x0, x1, x2)
pI_in_ggaaaaa(x0, x1)
U16_gggaa(x0, x1, x2, x3)
U20_ggaaaaa(x0, x1, x2)
lessE_in_gg(x0, x1)
U17_gggaa(x0, x1, x2, x3)
U21_ggaaaaa(x0, x1, x2, x3, x4)
U4_gg(x0, x1, x2)
pP_in_gagaga(x0, x1, x2)
U22_gagaga(x0, x1, x2, x3)
U23_gagaga(x0, x1, x2, x3, x4)
pQ_in_gagga(x0, x1, x2)
U24_gagga(x0, x1, x2, x3)
U25_gagga(x0, x1, x2, x3, x4)
appJ_in_ggga(x0, x1, x2)
U8_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.
PP_IN_GAGAGA(T104, T105, T99) → U22_GAGAGA(T104, T105, T99, qsH_in_ga(T104))
PP_IN_GAGAGA(T104, T105, T99) → QSH_IN_GA(T104)
POL(.(x1, x2)) = 1 + x2
POL(0) = 0
POL(PI_IN_GGAAAAA(x1, x2)) = 1 + x2
POL(PP_IN_GAGAGA(x1, x2, x3)) = 1 + x1 + x2
POL(PQ_IN_GAGGA(x1, x2, x3)) = x1
POL(QSH_IN_GA(x1)) = x1
POL(U16_gggaa(x1, x2, x3, x4)) = x3 + x4
POL(U17_gggaa(x1, x2, x3, x4)) = x4
POL(U20_GGAAAAA(x1, x2, x3)) = x3
POL(U20_ggaaaaa(x1, x2, x3)) = 0
POL(U21_ggaaaaa(x1, x2, x3, x4, x5)) = 0
POL(U22_GAGAGA(x1, x2, x3, x4)) = x2
POL(U22_gagaga(x1, x2, x3, x4)) = 0
POL(U23_gagaga(x1, x2, x3, x4, x5)) = 0
POL(U24_gagga(x1, x2, x3, x4)) = 0
POL(U25_gagga(x1, x2, x3, x4, x5)) = 0
POL(U4_gg(x1, x2, x3)) = 1
POL(U5_ggaa(x1, x2, x3, x4)) = 1 + x4
POL(U6_ggaa(x1, x2, x3, x4)) = 1 + x4
POL(U7_ga(x1, x2, x3)) = 0
POL(U8_ggga(x1, x2, x3, x4, x5)) = 0
POL([]) = 0
POL(appJ_in_ggga(x1, x2, x3)) = 0
POL(appJ_out_ggga(x1, x2, x3, x4)) = 0
POL(lessE_in_gg(x1, x2)) = 1
POL(lessE_out_gg(x1, x2)) = 1
POL(pG_in_gggaa(x1, x2, x3)) = 1 + x3
POL(pG_out_gggaa(x1, x2, x3, x4, x5)) = 1 + x4 + x5
POL(pI_in_ggaaaaa(x1, x2)) = 0
POL(pI_out_ggaaaaa(x1, x2, x3, x4, x5, x6, x7)) = 0
POL(pP_in_gagaga(x1, x2, x3)) = 0
POL(pP_out_gagaga(x1, x2, x3, x4, x5, x6)) = 0
POL(pQ_in_gagga(x1, x2, x3)) = 0
POL(pQ_out_gagga(x1, x2, x3, x4, x5)) = 0
POL(partF_in_ggaa(x1, x2)) = 1 + x2
POL(partF_out_ggaa(x1, x2, x3, x4)) = 1 + x3 + x4
POL(qsH_in_ga(x1)) = 0
POL(qsH_out_ga(x1, x2)) = 0
POL(s(x1)) = 0
partF_in_ggaa(T62, .(T63, T64)) → U5_ggaa(T62, T63, T64, pG_in_gggaa(T62, T63, T64))
partF_in_ggaa(T84, .(T85, T86)) → U6_ggaa(T84, T85, T86, partF_in_ggaa(T84, T86))
partF_in_ggaa(T92, []) → partF_out_ggaa(T92, [], [], [])
pG_in_gggaa(T62, T63, T64) → U16_gggaa(T62, T63, T64, lessE_in_gg(T62, T63))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U16_gggaa(T62, T63, T64, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, partF_in_ggaa(T62, T64))
U17_gggaa(T62, T63, T64, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
U5_ggaa(T62, T63, T64, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U6_ggaa(T84, T85, T86, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
PI_IN_GGAAAAA(T99, T100) → U20_GGAAAAA(T99, T100, partF_in_ggaa(T99, T100))
U20_GGAAAAA(T99, T100, partF_out_ggaa(T99, T100, T104, T105)) → PP_IN_GAGAGA(T104, T105, T99)
U22_GAGAGA(T104, T105, T99, qsH_out_ga(T104, T109)) → PQ_IN_GAGGA(T105, T109, T99)
PQ_IN_GAGGA(T105, T109, T99) → QSH_IN_GA(T105)
QSH_IN_GA(.(T99, T100)) → PI_IN_GGAAAAA(T99, T100)
partF_in_ggaa(T62, .(T63, T64)) → U5_ggaa(T62, T63, T64, pG_in_gggaa(T62, T63, T64))
partF_in_ggaa(T84, .(T85, T86)) → U6_ggaa(T84, T85, T86, partF_in_ggaa(T84, T86))
partF_in_ggaa(T92, []) → partF_out_ggaa(T92, [], [], [])
qsH_in_ga([]) → qsH_out_ga([], [])
qsH_in_ga(.(T99, T100)) → U7_ga(T99, T100, pI_in_ggaaaaa(T99, T100))
U5_ggaa(T62, T63, T64, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U6_ggaa(T84, T85, T86, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
U7_ga(T99, T100, pI_out_ggaaaaa(T99, T100, X188, X189, X190, X191, X192)) → qsH_out_ga(.(T99, T100), X192)
pG_in_gggaa(T62, T63, T64) → U16_gggaa(T62, T63, T64, lessE_in_gg(T62, T63))
pI_in_ggaaaaa(T99, T100) → U20_ggaaaaa(T99, T100, partF_in_ggaa(T99, T100))
U16_gggaa(T62, T63, T64, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, partF_in_ggaa(T62, T64))
U20_ggaaaaa(T99, T100, partF_out_ggaa(T99, T100, T104, T105)) → U21_ggaaaaa(T99, T100, T104, T105, pP_in_gagaga(T104, T105, T99))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U17_gggaa(T62, T63, T64, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
U21_ggaaaaa(T99, T100, T104, T105, pP_out_gagaga(T104, X190, T105, X191, T99, X192)) → pI_out_ggaaaaa(T99, T100, T104, T105, X190, X191, X192)
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
pP_in_gagaga(T104, T105, T99) → U22_gagaga(T104, T105, T99, qsH_in_ga(T104))
U22_gagaga(T104, T105, T99, qsH_out_ga(T104, T109)) → U23_gagaga(T104, T109, T105, T99, pQ_in_gagga(T105, T109, T99))
U23_gagaga(T104, T109, T105, T99, pQ_out_gagga(T105, X191, T109, T99, X192)) → pP_out_gagaga(T104, T109, T105, X191, T99, X192)
pQ_in_gagga(T105, T109, T99) → U24_gagga(T105, T109, T99, qsH_in_ga(T105))
U24_gagga(T105, T109, T99, qsH_out_ga(T105, T110)) → U25_gagga(T105, T110, T109, T99, appJ_in_ggga(T109, T99, T110))
U25_gagga(T105, T110, T109, T99, appJ_out_ggga(T109, T99, T110, X192)) → pQ_out_gagga(T105, T110, T109, T99, X192)
appJ_in_ggga([], T123, T124) → appJ_out_ggga([], T123, T124, .(T123, T124))
appJ_in_ggga(.(T133, T134), T135, T136) → U8_ggga(T133, T134, T135, T136, appJ_in_ggga(T134, T135, T136))
U8_ggga(T133, T134, T135, T136, appJ_out_ggga(T134, T135, T136, X228)) → appJ_out_ggga(.(T133, T134), T135, T136, .(T133, X228))
partF_in_ggaa(x0, x1)
qsH_in_ga(x0)
U5_ggaa(x0, x1, x2, x3)
U6_ggaa(x0, x1, x2, x3)
U7_ga(x0, x1, x2)
pG_in_gggaa(x0, x1, x2)
pI_in_ggaaaaa(x0, x1)
U16_gggaa(x0, x1, x2, x3)
U20_ggaaaaa(x0, x1, x2)
lessE_in_gg(x0, x1)
U17_gggaa(x0, x1, x2, x3)
U21_ggaaaaa(x0, x1, x2, x3, x4)
U4_gg(x0, x1, x2)
pP_in_gagaga(x0, x1, x2)
U22_gagaga(x0, x1, x2, x3)
U23_gagaga(x0, x1, x2, x3, x4)
pQ_in_gagga(x0, x1, x2)
U24_gagga(x0, x1, x2, x3)
U25_gagga(x0, x1, x2, x3, x4)
appJ_in_ggga(x0, x1, x2)
U8_ggga(x0, x1, x2, x3, x4)
QSA_IN_GA(.(T22, .(T23, T24)), T9) → PB_IN_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9)
PB_IN_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9) → U10_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9, lessE_in_gg(T22, T23))
U10_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → PM_IN_GGAAGAAA(T22, T24, X49, X50, T23, X14, X15, T9)
PM_IN_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9) → U12_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9, partF_in_ggaa(T22, T24, T45, T46))
U12_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → PN_IN_GGAGAGA(T23, T45, X14, T46, X15, T22, T9)
PN_IN_GGAGAGA(T23, T45, T93, T46, X15, T22, T9) → QSA_IN_GA(.(T23, T45), T93)
qsA_in_ga([], []) → qsA_out_ga([], [])
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9))
pB_in_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9) → U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_in_gg(T22, T23))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
U10_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_in_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9))
pM_in_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9) → U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_in_ggaa(T22, T24, T45, T46))
partF_in_ggaa(T62, .(T63, T64), .(T63, X115), X116) → U5_ggaa(T62, T63, T64, X115, X116, pG_in_gggaa(T62, T63, T64, X115, X116))
pG_in_gggaa(T62, T63, T64, X115, X116) → U16_gggaa(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
U16_gggaa(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, X115, X116, partF_in_ggaa(T62, T64, X115, X116))
partF_in_ggaa(T84, .(T85, T86), X161, .(T85, X162)) → U6_ggaa(T84, T85, T86, X161, X162, partF_in_ggaa(T84, T86, X161, X162))
partF_in_ggaa(T92, [], [], []) → partF_out_ggaa(T92, [], [], [])
U6_ggaa(T84, T85, T86, X161, X162, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
U17_gggaa(T62, T63, T64, X115, X116, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
U5_ggaa(T62, T63, T64, X115, X116, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U12_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_in_ggagaga(T23, T45, X14, T46, X15, T22, T9))
pN_in_ggagaga(T23, T45, T93, T46, X15, T22, T9) → U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_in_ga(.(T23, T45), T93))
qsA_in_ga(.(T187, .(T188, T189)), T9) → U2_ga(T187, T188, T189, T9, pC_in_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9))
pC_in_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9) → U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_in_ggaa(T187, T189, T193, T194))
U26_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, partF_out_ggaa(T187, T189, T193, T194)) → U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_in_gaggaga(T193, X14, T188, T194, X15, T187, T9))
pR_in_gaggaga(T193, T198, T188, T194, X15, T187, T9) → U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_in_ga(T193, T198))
qsH_in_ga([], []) → qsH_out_ga([], [])
qsH_in_ga(.(T99, T100), X192) → U7_ga(T99, T100, X192, pI_in_ggaaaaa(T99, T100, X188, X189, X190, X191, X192))
pI_in_ggaaaaa(T99, T100, T104, T105, X190, X191, X192) → U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_in_ggaa(T99, T100, T104, T105))
U20_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, partF_out_ggaa(T99, T100, T104, T105)) → U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_in_gagaga(T104, X190, T105, X191, T99, X192))
pP_in_gagaga(T104, T109, T105, X191, T99, X192) → U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_in_ga(T104, T109))
U22_gagaga(T104, T109, T105, X191, T99, X192, qsH_out_ga(T104, T109)) → U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_in_gagga(T105, X191, T109, T99, X192))
pQ_in_gagga(T105, T110, T109, T99, X192) → U24_gagga(T105, T110, T109, T99, X192, qsH_in_ga(T105, T110))
U24_gagga(T105, T110, T109, T99, X192, qsH_out_ga(T105, T110)) → U25_gagga(T105, T110, T109, T99, X192, appJ_in_ggga(T109, T99, T110, X192))
appJ_in_ggga([], T123, T124, .(T123, T124)) → appJ_out_ggga([], T123, T124, .(T123, T124))
appJ_in_ggga(.(T133, T134), T135, T136, .(T133, X228)) → U8_ggga(T133, T134, T135, T136, X228, appJ_in_ggga(T134, T135, T136, X228))
U8_ggga(T133, T134, T135, T136, X228, appJ_out_ggga(T134, T135, T136, X228)) → appJ_out_ggga(.(T133, T134), T135, T136, .(T133, X228))
U25_gagga(T105, T110, T109, T99, X192, appJ_out_ggga(T109, T99, T110, X192)) → pQ_out_gagga(T105, T110, T109, T99, X192)
U23_gagaga(T104, T109, T105, X191, T99, X192, pQ_out_gagga(T105, X191, T109, T99, X192)) → pP_out_gagaga(T104, T109, T105, X191, T99, X192)
U21_ggaaaaa(T99, T100, T104, T105, X190, X191, X192, pP_out_gagaga(T104, X190, T105, X191, T99, X192)) → pI_out_ggaaaaa(T99, T100, T104, T105, X190, X191, X192)
U7_ga(T99, T100, X192, pI_out_ggaaaaa(T99, T100, X188, X189, X190, X191, X192)) → qsH_out_ga(.(T99, T100), X192)
U28_gaggaga(T193, T198, T188, T194, X15, T187, T9, qsH_out_ga(T193, T198)) → U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_in_gagga(.(T188, T194), X15, T198, T187, T9))
pO_in_gagga(T46, T94, T93, T22, T9) → U18_gagga(T46, T94, T93, T22, T9, qsH_in_ga(T46, T94))
U18_gagga(T46, T94, T93, T22, T9, qsH_out_ga(T46, T94)) → U19_gagga(T46, T94, T93, T22, T9, appK_in_ggga(T93, T22, T94, T9))
appK_in_ggga([], T153, T154, .(T153, T154)) → appK_out_ggga([], T153, T154, .(T153, T154))
appK_in_ggga(.(T165, T166), T167, T168, .(T165, T170)) → U9_ggga(T165, T166, T167, T168, T170, appK_in_ggga(T166, T167, T168, T170))
U9_ggga(T165, T166, T167, T168, T170, appK_out_ggga(T166, T167, T168, T170)) → appK_out_ggga(.(T165, T166), T167, T168, .(T165, T170))
U19_gagga(T46, T94, T93, T22, T9, appK_out_ggga(T93, T22, T94, T9)) → pO_out_gagga(T46, T94, T93, T22, T9)
U29_gaggaga(T193, T198, T188, T194, X15, T187, T9, pO_out_gagga(.(T188, T194), X15, T198, T187, T9)) → pR_out_gaggaga(T193, T198, T188, T194, X15, T187, T9)
U27_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9, pR_out_gaggaga(T193, X14, T188, T194, X15, T187, T9)) → pC_out_ggaaagaa(T187, T189, T193, T194, X14, T188, X15, T9)
U2_ga(T187, T188, T189, T9, pC_out_ggaaagaa(T187, T189, X285, X286, X14, T188, X15, T9)) → qsA_out_ga(.(T187, .(T188, T189)), T9)
qsA_in_ga(.(T201, []), T9) → U3_ga(T201, T9, pD_in_aaga(X14, X15, T201, T9))
pD_in_aaga(T206, X15, T201, T9) → U30_aaga(T206, X15, T201, T9, qsL_in_a(T206))
qsL_in_a([]) → qsL_out_a([])
U30_aaga(T206, X15, T201, T9, qsL_out_a(T206)) → U31_aaga(T206, X15, T201, T9, pS_in_agga(X15, T206, T201, T9))
pS_in_agga(T211, T206, T201, T9) → U32_agga(T211, T206, T201, T9, qsL_in_a(T211))
U32_agga(T211, T206, T201, T9, qsL_out_a(T211)) → U33_agga(T211, T206, T201, T9, appK_in_ggga(T206, T201, T211, T9))
U33_agga(T211, T206, T201, T9, appK_out_ggga(T206, T201, T211, T9)) → pS_out_agga(T211, T206, T201, T9)
U31_aaga(T206, X15, T201, T9, pS_out_agga(X15, T206, T201, T9)) → pD_out_aaga(T206, X15, T201, T9)
U3_ga(T201, T9, pD_out_aaga(X14, X15, T201, T9)) → qsA_out_ga(.(T201, []), T9)
U14_ggagaga(T23, T45, T93, T46, X15, T22, T9, qsA_out_ga(.(T23, T45), T93)) → U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_in_gagga(T46, X15, T93, T22, T9))
U15_ggagaga(T23, T45, T93, T46, X15, T22, T9, pO_out_gagga(T46, X15, T93, T22, T9)) → pN_out_ggagaga(T23, T45, T93, T46, X15, T22, T9)
U13_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9, pN_out_ggagaga(T23, T45, X14, T46, X15, T22, T9)) → pM_out_ggaagaaa(T22, T24, T45, T46, T23, X14, X15, T9)
U11_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9, pM_out_ggaagaaa(T22, T24, X49, X50, T23, X14, X15, T9)) → pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X49, X50, X14, X15, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
QSA_IN_GA(.(T22, .(T23, T24)), T9) → PB_IN_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9)
PB_IN_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9) → U10_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9, lessE_in_gg(T22, T23))
U10_GGGAAAAA(T22, T23, T24, X49, X50, X14, X15, T9, lessE_out_gg(T22, T23)) → PM_IN_GGAAGAAA(T22, T24, X49, X50, T23, X14, X15, T9)
PM_IN_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9) → U12_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9, partF_in_ggaa(T22, T24, T45, T46))
U12_GGAAGAAA(T22, T24, T45, T46, T23, X14, X15, T9, partF_out_ggaa(T22, T24, T45, T46)) → PN_IN_GGAGAGA(T23, T45, X14, T46, X15, T22, T9)
PN_IN_GGAGAGA(T23, T45, T93, T46, X15, T22, T9) → QSA_IN_GA(.(T23, T45), T93)
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
partF_in_ggaa(T62, .(T63, T64), .(T63, X115), X116) → U5_ggaa(T62, T63, T64, X115, X116, pG_in_gggaa(T62, T63, T64, X115, X116))
partF_in_ggaa(T84, .(T85, T86), X161, .(T85, X162)) → U6_ggaa(T84, T85, T86, X161, X162, partF_in_ggaa(T84, T86, X161, X162))
partF_in_ggaa(T92, [], [], []) → partF_out_ggaa(T92, [], [], [])
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
U5_ggaa(T62, T63, T64, X115, X116, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U6_ggaa(T84, T85, T86, X161, X162, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
pG_in_gggaa(T62, T63, T64, X115, X116) → U16_gggaa(T62, T63, T64, X115, X116, lessE_in_gg(T62, T63))
U16_gggaa(T62, T63, T64, X115, X116, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, X115, X116, partF_in_ggaa(T62, T64, X115, X116))
U17_gggaa(T62, T63, T64, X115, X116, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
QSA_IN_GA(.(T22, .(T23, T24))) → PB_IN_GGGAAAAA(T22, T23, T24)
PB_IN_GGGAAAAA(T22, T23, T24) → U10_GGGAAAAA(T22, T23, T24, lessE_in_gg(T22, T23))
U10_GGGAAAAA(T22, T23, T24, lessE_out_gg(T22, T23)) → PM_IN_GGAAGAAA(T22, T24, T23)
PM_IN_GGAAGAAA(T22, T24, T23) → U12_GGAAGAAA(T22, T24, T23, partF_in_ggaa(T22, T24))
U12_GGAAGAAA(T22, T24, T23, partF_out_ggaa(T22, T24, T45, T46)) → PN_IN_GGAGAGA(T23, T45, T46, T22)
PN_IN_GGAGAGA(T23, T45, T46, T22) → QSA_IN_GA(.(T23, T45))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
partF_in_ggaa(T62, .(T63, T64)) → U5_ggaa(T62, T63, T64, pG_in_gggaa(T62, T63, T64))
partF_in_ggaa(T84, .(T85, T86)) → U6_ggaa(T84, T85, T86, partF_in_ggaa(T84, T86))
partF_in_ggaa(T92, []) → partF_out_ggaa(T92, [], [], [])
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
U5_ggaa(T62, T63, T64, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U6_ggaa(T84, T85, T86, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
pG_in_gggaa(T62, T63, T64) → U16_gggaa(T62, T63, T64, lessE_in_gg(T62, T63))
U16_gggaa(T62, T63, T64, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, partF_in_ggaa(T62, T64))
U17_gggaa(T62, T63, T64, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
lessE_in_gg(x0, x1)
partF_in_ggaa(x0, x1)
U4_gg(x0, x1, x2)
U5_ggaa(x0, x1, x2, x3)
U6_ggaa(x0, x1, x2, x3)
pG_in_gggaa(x0, x1, x2)
U16_gggaa(x0, x1, x2, x3)
U17_gggaa(x0, x1, x2, x3)
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
QSA_IN_GA(.(T22, .(T23, T24))) → PB_IN_GGGAAAAA(T22, T23, T24)
POL(.(x1, x2)) = 1 + x2
POL(0) = 0
POL(PB_IN_GGGAAAAA(x1, x2, x3)) = 1 + x3
POL(PM_IN_GGAAGAAA(x1, x2, x3)) = 1 + x2
POL(PN_IN_GGAGAGA(x1, x2, x3, x4)) = 1 + x2
POL(QSA_IN_GA(x1)) = x1
POL(U10_GGGAAAAA(x1, x2, x3, x4)) = 1 + x3
POL(U12_GGAAGAAA(x1, x2, x3, x4)) = 1 + x4
POL(U16_gggaa(x1, x2, x3, x4)) = 1 + x3
POL(U17_gggaa(x1, x2, x3, x4)) = 1 + x4
POL(U4_gg(x1, x2, x3)) = 0
POL(U5_ggaa(x1, x2, x3, x4)) = x4
POL(U6_ggaa(x1, x2, x3, x4)) = x4
POL([]) = 0
POL(lessE_in_gg(x1, x2)) = 0
POL(lessE_out_gg(x1, x2)) = 0
POL(pG_in_gggaa(x1, x2, x3)) = 1 + x3
POL(pG_out_gggaa(x1, x2, x3, x4, x5)) = 1 + x4
POL(partF_in_ggaa(x1, x2)) = x2
POL(partF_out_ggaa(x1, x2, x3, x4)) = x3
POL(s(x1)) = 0
partF_in_ggaa(T62, .(T63, T64)) → U5_ggaa(T62, T63, T64, pG_in_gggaa(T62, T63, T64))
partF_in_ggaa(T84, .(T85, T86)) → U6_ggaa(T84, T85, T86, partF_in_ggaa(T84, T86))
partF_in_ggaa(T92, []) → partF_out_ggaa(T92, [], [], [])
U16_gggaa(T62, T63, T64, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, partF_in_ggaa(T62, T64))
U17_gggaa(T62, T63, T64, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
U5_ggaa(T62, T63, T64, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
pG_in_gggaa(T62, T63, T64) → U16_gggaa(T62, T63, T64, lessE_in_gg(T62, T63))
U6_ggaa(T84, T85, T86, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
PB_IN_GGGAAAAA(T22, T23, T24) → U10_GGGAAAAA(T22, T23, T24, lessE_in_gg(T22, T23))
U10_GGGAAAAA(T22, T23, T24, lessE_out_gg(T22, T23)) → PM_IN_GGAAGAAA(T22, T24, T23)
PM_IN_GGAAGAAA(T22, T24, T23) → U12_GGAAGAAA(T22, T24, T23, partF_in_ggaa(T22, T24))
U12_GGAAGAAA(T22, T24, T23, partF_out_ggaa(T22, T24, T45, T46)) → PN_IN_GGAGAGA(T23, T45, T46, T22)
PN_IN_GGAGAGA(T23, T45, T46, T22) → QSA_IN_GA(.(T23, T45))
lessE_in_gg(0, s(T33)) → lessE_out_gg(0, s(T33))
lessE_in_gg(s(T38), s(T39)) → U4_gg(T38, T39, lessE_in_gg(T38, T39))
partF_in_ggaa(T62, .(T63, T64)) → U5_ggaa(T62, T63, T64, pG_in_gggaa(T62, T63, T64))
partF_in_ggaa(T84, .(T85, T86)) → U6_ggaa(T84, T85, T86, partF_in_ggaa(T84, T86))
partF_in_ggaa(T92, []) → partF_out_ggaa(T92, [], [], [])
U4_gg(T38, T39, lessE_out_gg(T38, T39)) → lessE_out_gg(s(T38), s(T39))
U5_ggaa(T62, T63, T64, pG_out_gggaa(T62, T63, T64, X115, X116)) → partF_out_ggaa(T62, .(T63, T64), .(T63, X115), X116)
U6_ggaa(T84, T85, T86, partF_out_ggaa(T84, T86, X161, X162)) → partF_out_ggaa(T84, .(T85, T86), X161, .(T85, X162))
pG_in_gggaa(T62, T63, T64) → U16_gggaa(T62, T63, T64, lessE_in_gg(T62, T63))
U16_gggaa(T62, T63, T64, lessE_out_gg(T62, T63)) → U17_gggaa(T62, T63, T64, partF_in_ggaa(T62, T64))
U17_gggaa(T62, T63, T64, partF_out_ggaa(T62, T64, X115, X116)) → pG_out_gggaa(T62, T63, T64, X115, X116)
lessE_in_gg(x0, x1)
partF_in_ggaa(x0, x1)
U4_gg(x0, x1, x2)
U5_ggaa(x0, x1, x2, x3)
U6_ggaa(x0, x1, x2, x3)
pG_in_gggaa(x0, x1, x2)
U16_gggaa(x0, x1, x2, x3)
U17_gggaa(x0, x1, x2, x3)