0 Prolog
↳1 PrologToPiTRSViaGraphTransformerProof (⇒, 455 ms)
↳2 PiTRS
↳3 DependencyPairsProof (⇔, 1143 ms)
↳4 PiDP
↳5 DependencyGraphProof (⇔, 81 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 (⇔, 0 ms)
↳37 PiDP
↳38 PiDPToQDPProof (⇒, 0 ms)
↳39 QDP
↳40 QDPSizeChangeProof (⇔, 0 ms)
↳41 YES
↳42 PiDP
↳43 UsableRulesProof (⇔, 0 ms)
↳44 PiDP
↳45 PiDPToQDPProof (⇒, 0 ms)
↳46 QDP
↳47 QDPOrderProof (⇔, 334 ms)
↳48 QDP
↳49 DependencyGraphProof (⇔, 0 ms)
↳50 TRUE
↳51 PiDP
↳52 UsableRulesProof (⇔, 0 ms)
↳53 PiDP
↳54 PiDPToQDPProof (⇒, 16 ms)
↳55 QDP
↳56 QDPOrderProof (⇔, 153 ms)
↳57 QDP
↳58 DependencyGraphProof (⇔, 0 ms)
↳59 TRUE
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9))
pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9) → U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_in_gg(T22, T23))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_in_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9))
pO_in_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9) → U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_in_ggaa(T22, T24, T44, T45))
partF_in_ggaa(T61, .(T62, T63), .(T62, X109), X110) → U5_ggaa(T61, T62, T63, X109, X110, pG_in_gggaa(T61, T62, T63, X109, X110))
pG_in_gggaa(T61, T62, T63, X109, X110) → U17_gggaa(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
U17_gggaa(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, X109, X110, partF_in_ggaa(T61, T63, X109, X110))
partF_in_ggaa(T83, .(T84, T85), X155, .(T84, X156)) → U6_ggaa(T83, T84, T85, X155, X156, pH_in_gggaa(T83, T84, T85, X155, X156))
pH_in_gggaa(T83, T84, T85, X155, X156) → U19_gggaa(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
U19_gggaa(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, X155, X156, partF_in_ggaa(T83, T85, X155, X156))
partF_in_ggaa(T107, [], [], []) → partF_out_ggaa(T107, [], [], [])
U20_gggaa(T83, T84, T85, X155, X156, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U6_ggaa(T83, T84, T85, X155, X156, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
U18_gggaa(T61, T62, T63, X109, X110, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
U5_ggaa(T61, T62, T63, X109, X110, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_in_ggagaga(T23, T44, X9, T45, X10, T22, T9))
pP_in_ggagaga(T23, T44, T110, T45, X10, T22, T9) → U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_in_ga(.(T23, T44), T110))
qsA_in_ga(.(T234, .(T235, T236)), T9) → U2_ga(T234, T235, T236, T9, pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9))
pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9) → U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_in_gg(T234, T235))
U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_out_gg(T234, T235)) → U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_in_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9))
pT_in_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9) → U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_in_ggaa(T234, T236, T244, T245))
U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_out_ggaa(T234, T236, T244, T245)) → U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_in_gaggaga(T244, X9, T235, T245, X10, T234, T9))
pU_in_gaggaga(T244, T251, T235, T245, X10, T234, T9) → U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_in_ga(T244, T251))
qsJ_in_ga(.(T126, T127), X246) → U8_ga(T126, T127, X246, pK_in_ggaaaaa(T126, T127, X242, X243, X244, X245, X246))
pK_in_ggaaaaa(T126, T127, T131, T132, X244, X245, X246) → U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_in_gagaga(T131, X244, T132, X245, T126, X246))
pR_in_gagaga(T131, T138, T132, X245, T126, X246) → U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
qsJ_in_ga([], []) → qsJ_out_ga([], [])
U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → U26_gagaga(T131, T138, T132, X245, T126, X246, pS_in_gagga(T132, X245, T138, T126, X246))
pS_in_gagga(T132, T143, T138, T126, X246) → U27_gagga(T132, T143, T138, T126, X246, qsJ_in_ga(T132, T143))
U27_gagga(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → U28_gagga(T132, T143, T138, T126, X246, appL_in_ggga(T138, T126, T143, X246))
appL_in_ggga(.(T166, T167), T168, T169, .(T166, X322)) → U9_ggga(T166, T167, T168, T169, X322, appL_in_ggga(T167, T168, T169, X322))
appL_in_ggga([], T178, T179, .(T178, T179)) → appL_out_ggga([], T178, T179, .(T178, T179))
U9_ggga(T166, T167, T168, T169, X322, appL_out_ggga(T167, T168, T169, X322)) → appL_out_ggga(.(T166, T167), T168, T169, .(T166, X322))
U28_gagga(T132, T143, T138, T126, X246, appL_out_ggga(T138, T126, T143, X246)) → pS_out_gagga(T132, T143, T138, T126, X246)
U26_gagaga(T131, T138, T132, X245, T126, X246, pS_out_gagga(T132, X245, T138, T126, X246)) → pR_out_gagaga(T131, T138, T132, X245, T126, X246)
U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_out_gagaga(T131, X244, T132, X245, T126, X246)) → pK_out_ggaaaaa(T126, T127, T131, T132, X244, X245, X246)
U8_ga(T126, T127, X246, pK_out_ggaaaaa(T126, T127, X242, X243, X244, X245, X246)) → qsJ_out_ga(.(T126, T127), X246)
U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_out_ga(T244, T251)) → U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_in_gagga(.(T235, T245), X10, T251, T234, T9))
pQ_in_gagga(T45, T115, T110, T22, T9) → U21_gagga(T45, T115, T110, T22, T9, qsJ_in_ga(T45, T115))
U21_gagga(T45, T115, T110, T22, T9, qsJ_out_ga(T45, T115)) → U22_gagga(T45, T115, T110, T22, T9, appM_in_ggga(T110, T22, T115, T9))
appM_in_ggga(.(T205, T206), T207, T208, .(T205, T210)) → U10_ggga(T205, T206, T207, T208, T210, appM_in_ggga(T206, T207, T208, T210))
appM_in_ggga([], T220, T221, .(T220, T221)) → appM_out_ggga([], T220, T221, .(T220, T221))
U10_ggga(T205, T206, T207, T208, T210, appM_out_ggga(T206, T207, T208, T210)) → appM_out_ggga(.(T205, T206), T207, T208, .(T205, T210))
U22_gagga(T45, T115, T110, T22, T9, appM_out_ggga(T110, T22, T115, T9)) → pQ_out_gagga(T45, T115, T110, T22, T9)
U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_out_gagga(.(T235, T245), X10, T251, T234, T9)) → pU_out_gaggaga(T244, T251, T235, T245, X10, T234, T9)
U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_out_gaggaga(T244, X9, T235, T245, X10, T234, T9)) → pT_out_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9)
U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_out_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9)) → pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)
U2_ga(T234, T235, T236, T9, pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)) → qsA_out_ga(.(T234, .(T235, T236)), T9)
qsA_in_ga(.(T260, []), T9) → U3_ga(T260, T9, pD_in_aaga(X9, X10, T260, T9))
pD_in_aaga(T261, X10, T260, T9) → U35_aaga(T261, X10, T260, T9, qsN_in_a(T261))
qsN_in_a([]) → qsN_out_a([])
U35_aaga(T261, X10, T260, T9, qsN_out_a(T261)) → U36_aaga(T261, X10, T260, T9, pV_in_agga(X10, T261, T260, T9))
pV_in_agga(T262, T261, T260, T9) → U37_agga(T262, T261, T260, T9, qsN_in_a(T262))
U37_agga(T262, T261, T260, T9, qsN_out_a(T262)) → U38_agga(T262, T261, T260, T9, appM_in_ggga(T261, T260, T262, T9))
U38_agga(T262, T261, T260, T9, appM_out_ggga(T261, T260, T262, T9)) → pV_out_agga(T262, T261, T260, T9)
U36_aaga(T261, X10, T260, T9, pV_out_agga(X10, T261, T260, T9)) → pD_out_aaga(T261, X10, T260, T9)
U3_ga(T260, T9, pD_out_aaga(X9, X10, T260, T9)) → qsA_out_ga(.(T260, []), T9)
qsA_in_ga([], []) → qsA_out_ga([], [])
U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_out_ga(.(T23, T44), T110)) → U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_in_gagga(T45, X10, T110, T22, T9))
U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_out_gagga(T45, X10, T110, T22, T9)) → pP_out_ggagaga(T23, T44, T110, T45, X10, T22, T9)
U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_out_ggagaga(T23, T44, X9, T45, X10, T22, T9)) → pO_out_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9)
U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_out_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9)) → pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, 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, X44, X45, X9, X10, T9))
QSA_IN_GA(.(T22, .(T23, T24)), T9) → PB_IN_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9)
PB_IN_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9) → U11_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9, gtE_in_gg(T22, T23))
PB_IN_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9) → GTE_IN_GG(T22, T23)
GTE_IN_GG(s(T37), s(T38)) → U4_GG(T37, T38, gtE_in_gg(T37, T38))
GTE_IN_GG(s(T37), s(T38)) → GTE_IN_GG(T37, T38)
U11_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → U12_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9, pO_in_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9))
U11_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → PO_IN_GGAAGAAA(T22, T24, X44, X45, T23, X9, X10, T9)
PO_IN_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9) → U13_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9, partF_in_ggaa(T22, T24, T44, T45))
PO_IN_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9) → PARTF_IN_GGAA(T22, T24, T44, T45)
PARTF_IN_GGAA(T61, .(T62, T63), .(T62, X109), X110) → U5_GGAA(T61, T62, T63, X109, X110, pG_in_gggaa(T61, T62, T63, X109, X110))
PARTF_IN_GGAA(T61, .(T62, T63), .(T62, X109), X110) → PG_IN_GGGAA(T61, T62, T63, X109, X110)
PG_IN_GGGAA(T61, T62, T63, X109, X110) → U17_GGGAA(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
PG_IN_GGGAA(T61, T62, T63, X109, X110) → GTE_IN_GG(T61, T62)
U17_GGGAA(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → U18_GGGAA(T61, T62, T63, X109, X110, partF_in_ggaa(T61, T63, X109, X110))
U17_GGGAA(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → PARTF_IN_GGAA(T61, T63, X109, X110)
PARTF_IN_GGAA(T83, .(T84, T85), X155, .(T84, X156)) → U6_GGAA(T83, T84, T85, X155, X156, pH_in_gggaa(T83, T84, T85, X155, X156))
PARTF_IN_GGAA(T83, .(T84, T85), X155, .(T84, X156)) → PH_IN_GGGAA(T83, T84, T85, X155, X156)
PH_IN_GGGAA(T83, T84, T85, X155, X156) → U19_GGGAA(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
PH_IN_GGGAA(T83, T84, T85, X155, X156) → LEI_IN_GG(T83, T84)
LEI_IN_GG(s(T98), s(T99)) → U7_GG(T98, T99, leI_in_gg(T98, T99))
LEI_IN_GG(s(T98), s(T99)) → LEI_IN_GG(T98, T99)
U19_GGGAA(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → U20_GGGAA(T83, T84, T85, X155, X156, partF_in_ggaa(T83, T85, X155, X156))
U19_GGGAA(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → PARTF_IN_GGAA(T83, T85, X155, X156)
U13_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → U14_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9, pP_in_ggagaga(T23, T44, X9, T45, X10, T22, T9))
U13_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → PP_IN_GGAGAGA(T23, T44, X9, T45, X10, T22, T9)
PP_IN_GGAGAGA(T23, T44, T110, T45, X10, T22, T9) → U15_GGAGAGA(T23, T44, T110, T45, X10, T22, T9, qsA_in_ga(.(T23, T44), T110))
PP_IN_GGAGAGA(T23, T44, T110, T45, X10, T22, T9) → QSA_IN_GA(.(T23, T44), T110)
QSA_IN_GA(.(T234, .(T235, T236)), T9) → U2_GA(T234, T235, T236, T9, pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9))
QSA_IN_GA(.(T234, .(T235, T236)), T9) → PC_IN_GGGAAAAA(T234, T235, T236, X395, X396, X9, X10, T9)
PC_IN_GGGAAAAA(T234, T235, T236, X395, X396, X9, X10, T9) → U29_GGGAAAAA(T234, T235, T236, X395, X396, X9, X10, T9, leI_in_gg(T234, T235))
PC_IN_GGGAAAAA(T234, T235, T236, X395, X396, X9, X10, T9) → LEI_IN_GG(T234, T235)
U29_GGGAAAAA(T234, T235, T236, X395, X396, X9, X10, T9, leI_out_gg(T234, T235)) → U30_GGGAAAAA(T234, T235, T236, X395, X396, X9, X10, T9, pT_in_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9))
U29_GGGAAAAA(T234, T235, T236, X395, X396, X9, X10, T9, leI_out_gg(T234, T235)) → PT_IN_GGAAAGAA(T234, T236, X395, X396, X9, T235, X10, T9)
PT_IN_GGAAAGAA(T234, T236, T244, T245, X9, T235, X10, T9) → U31_GGAAAGAA(T234, T236, T244, T245, X9, T235, X10, T9, partF_in_ggaa(T234, T236, T244, T245))
PT_IN_GGAAAGAA(T234, T236, T244, T245, X9, T235, X10, T9) → PARTF_IN_GGAA(T234, T236, T244, T245)
U31_GGAAAGAA(T234, T236, T244, T245, X9, T235, X10, T9, partF_out_ggaa(T234, T236, T244, T245)) → U32_GGAAAGAA(T234, T236, T244, T245, X9, T235, X10, T9, pU_in_gaggaga(T244, X9, T235, T245, X10, T234, T9))
U31_GGAAAGAA(T234, T236, T244, T245, X9, T235, X10, T9, partF_out_ggaa(T234, T236, T244, T245)) → PU_IN_GAGGAGA(T244, X9, T235, T245, X10, T234, T9)
PU_IN_GAGGAGA(T244, T251, T235, T245, X10, T234, T9) → U33_GAGGAGA(T244, T251, T235, T245, X10, T234, T9, qsJ_in_ga(T244, T251))
PU_IN_GAGGAGA(T244, T251, T235, T245, X10, T234, T9) → QSJ_IN_GA(T244, T251)
QSJ_IN_GA(.(T126, T127), X246) → U8_GA(T126, T127, X246, pK_in_ggaaaaa(T126, T127, X242, X243, X244, X245, X246))
QSJ_IN_GA(.(T126, T127), X246) → PK_IN_GGAAAAA(T126, T127, X242, X243, X244, X245, X246)
PK_IN_GGAAAAA(T126, T127, T131, T132, X244, X245, X246) → U23_GGAAAAA(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
PK_IN_GGAAAAA(T126, T127, T131, T132, X244, X245, X246) → PARTF_IN_GGAA(T126, T127, T131, T132)
U23_GGAAAAA(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → U24_GGAAAAA(T126, T127, T131, T132, X244, X245, X246, pR_in_gagaga(T131, X244, T132, X245, T126, X246))
U23_GGAAAAA(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → PR_IN_GAGAGA(T131, X244, T132, X245, T126, X246)
PR_IN_GAGAGA(T131, T138, T132, X245, T126, X246) → U25_GAGAGA(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
PR_IN_GAGAGA(T131, T138, T132, X245, T126, X246) → QSJ_IN_GA(T131, T138)
U25_GAGAGA(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → U26_GAGAGA(T131, T138, T132, X245, T126, X246, pS_in_gagga(T132, X245, T138, T126, X246))
U25_GAGAGA(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → PS_IN_GAGGA(T132, X245, T138, T126, X246)
PS_IN_GAGGA(T132, T143, T138, T126, X246) → U27_GAGGA(T132, T143, T138, T126, X246, qsJ_in_ga(T132, T143))
PS_IN_GAGGA(T132, T143, T138, T126, X246) → QSJ_IN_GA(T132, T143)
U27_GAGGA(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → U28_GAGGA(T132, T143, T138, T126, X246, appL_in_ggga(T138, T126, T143, X246))
U27_GAGGA(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → APPL_IN_GGGA(T138, T126, T143, X246)
APPL_IN_GGGA(.(T166, T167), T168, T169, .(T166, X322)) → U9_GGGA(T166, T167, T168, T169, X322, appL_in_ggga(T167, T168, T169, X322))
APPL_IN_GGGA(.(T166, T167), T168, T169, .(T166, X322)) → APPL_IN_GGGA(T167, T168, T169, X322)
U33_GAGGAGA(T244, T251, T235, T245, X10, T234, T9, qsJ_out_ga(T244, T251)) → U34_GAGGAGA(T244, T251, T235, T245, X10, T234, T9, pQ_in_gagga(.(T235, T245), X10, T251, T234, T9))
U33_GAGGAGA(T244, T251, T235, T245, X10, T234, T9, qsJ_out_ga(T244, T251)) → PQ_IN_GAGGA(.(T235, T245), X10, T251, T234, T9)
PQ_IN_GAGGA(T45, T115, T110, T22, T9) → U21_GAGGA(T45, T115, T110, T22, T9, qsJ_in_ga(T45, T115))
PQ_IN_GAGGA(T45, T115, T110, T22, T9) → QSJ_IN_GA(T45, T115)
U21_GAGGA(T45, T115, T110, T22, T9, qsJ_out_ga(T45, T115)) → U22_GAGGA(T45, T115, T110, T22, T9, appM_in_ggga(T110, T22, T115, T9))
U21_GAGGA(T45, T115, T110, T22, T9, qsJ_out_ga(T45, T115)) → APPM_IN_GGGA(T110, T22, T115, T9)
APPM_IN_GGGA(.(T205, T206), T207, T208, .(T205, T210)) → U10_GGGA(T205, T206, T207, T208, T210, appM_in_ggga(T206, T207, T208, T210))
APPM_IN_GGGA(.(T205, T206), T207, T208, .(T205, T210)) → APPM_IN_GGGA(T206, T207, T208, T210)
QSA_IN_GA(.(T260, []), T9) → U3_GA(T260, T9, pD_in_aaga(X9, X10, T260, T9))
QSA_IN_GA(.(T260, []), T9) → PD_IN_AAGA(X9, X10, T260, T9)
PD_IN_AAGA(T261, X10, T260, T9) → U35_AAGA(T261, X10, T260, T9, qsN_in_a(T261))
PD_IN_AAGA(T261, X10, T260, T9) → QSN_IN_A(T261)
U35_AAGA(T261, X10, T260, T9, qsN_out_a(T261)) → U36_AAGA(T261, X10, T260, T9, pV_in_agga(X10, T261, T260, T9))
U35_AAGA(T261, X10, T260, T9, qsN_out_a(T261)) → PV_IN_AGGA(X10, T261, T260, T9)
PV_IN_AGGA(T262, T261, T260, T9) → U37_AGGA(T262, T261, T260, T9, qsN_in_a(T262))
PV_IN_AGGA(T262, T261, T260, T9) → QSN_IN_A(T262)
U37_AGGA(T262, T261, T260, T9, qsN_out_a(T262)) → U38_AGGA(T262, T261, T260, T9, appM_in_ggga(T261, T260, T262, T9))
U37_AGGA(T262, T261, T260, T9, qsN_out_a(T262)) → APPM_IN_GGGA(T261, T260, T262, T9)
U15_GGAGAGA(T23, T44, T110, T45, X10, T22, T9, qsA_out_ga(.(T23, T44), T110)) → U16_GGAGAGA(T23, T44, T110, T45, X10, T22, T9, pQ_in_gagga(T45, X10, T110, T22, T9))
U15_GGAGAGA(T23, T44, T110, T45, X10, T22, T9, qsA_out_ga(.(T23, T44), T110)) → PQ_IN_GAGGA(T45, X10, T110, T22, T9)
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9))
pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9) → U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_in_gg(T22, T23))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_in_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9))
pO_in_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9) → U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_in_ggaa(T22, T24, T44, T45))
partF_in_ggaa(T61, .(T62, T63), .(T62, X109), X110) → U5_ggaa(T61, T62, T63, X109, X110, pG_in_gggaa(T61, T62, T63, X109, X110))
pG_in_gggaa(T61, T62, T63, X109, X110) → U17_gggaa(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
U17_gggaa(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, X109, X110, partF_in_ggaa(T61, T63, X109, X110))
partF_in_ggaa(T83, .(T84, T85), X155, .(T84, X156)) → U6_ggaa(T83, T84, T85, X155, X156, pH_in_gggaa(T83, T84, T85, X155, X156))
pH_in_gggaa(T83, T84, T85, X155, X156) → U19_gggaa(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
U19_gggaa(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, X155, X156, partF_in_ggaa(T83, T85, X155, X156))
partF_in_ggaa(T107, [], [], []) → partF_out_ggaa(T107, [], [], [])
U20_gggaa(T83, T84, T85, X155, X156, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U6_ggaa(T83, T84, T85, X155, X156, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
U18_gggaa(T61, T62, T63, X109, X110, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
U5_ggaa(T61, T62, T63, X109, X110, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_in_ggagaga(T23, T44, X9, T45, X10, T22, T9))
pP_in_ggagaga(T23, T44, T110, T45, X10, T22, T9) → U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_in_ga(.(T23, T44), T110))
qsA_in_ga(.(T234, .(T235, T236)), T9) → U2_ga(T234, T235, T236, T9, pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9))
pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9) → U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_in_gg(T234, T235))
U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_out_gg(T234, T235)) → U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_in_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9))
pT_in_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9) → U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_in_ggaa(T234, T236, T244, T245))
U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_out_ggaa(T234, T236, T244, T245)) → U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_in_gaggaga(T244, X9, T235, T245, X10, T234, T9))
pU_in_gaggaga(T244, T251, T235, T245, X10, T234, T9) → U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_in_ga(T244, T251))
qsJ_in_ga(.(T126, T127), X246) → U8_ga(T126, T127, X246, pK_in_ggaaaaa(T126, T127, X242, X243, X244, X245, X246))
pK_in_ggaaaaa(T126, T127, T131, T132, X244, X245, X246) → U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_in_gagaga(T131, X244, T132, X245, T126, X246))
pR_in_gagaga(T131, T138, T132, X245, T126, X246) → U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
qsJ_in_ga([], []) → qsJ_out_ga([], [])
U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → U26_gagaga(T131, T138, T132, X245, T126, X246, pS_in_gagga(T132, X245, T138, T126, X246))
pS_in_gagga(T132, T143, T138, T126, X246) → U27_gagga(T132, T143, T138, T126, X246, qsJ_in_ga(T132, T143))
U27_gagga(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → U28_gagga(T132, T143, T138, T126, X246, appL_in_ggga(T138, T126, T143, X246))
appL_in_ggga(.(T166, T167), T168, T169, .(T166, X322)) → U9_ggga(T166, T167, T168, T169, X322, appL_in_ggga(T167, T168, T169, X322))
appL_in_ggga([], T178, T179, .(T178, T179)) → appL_out_ggga([], T178, T179, .(T178, T179))
U9_ggga(T166, T167, T168, T169, X322, appL_out_ggga(T167, T168, T169, X322)) → appL_out_ggga(.(T166, T167), T168, T169, .(T166, X322))
U28_gagga(T132, T143, T138, T126, X246, appL_out_ggga(T138, T126, T143, X246)) → pS_out_gagga(T132, T143, T138, T126, X246)
U26_gagaga(T131, T138, T132, X245, T126, X246, pS_out_gagga(T132, X245, T138, T126, X246)) → pR_out_gagaga(T131, T138, T132, X245, T126, X246)
U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_out_gagaga(T131, X244, T132, X245, T126, X246)) → pK_out_ggaaaaa(T126, T127, T131, T132, X244, X245, X246)
U8_ga(T126, T127, X246, pK_out_ggaaaaa(T126, T127, X242, X243, X244, X245, X246)) → qsJ_out_ga(.(T126, T127), X246)
U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_out_ga(T244, T251)) → U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_in_gagga(.(T235, T245), X10, T251, T234, T9))
pQ_in_gagga(T45, T115, T110, T22, T9) → U21_gagga(T45, T115, T110, T22, T9, qsJ_in_ga(T45, T115))
U21_gagga(T45, T115, T110, T22, T9, qsJ_out_ga(T45, T115)) → U22_gagga(T45, T115, T110, T22, T9, appM_in_ggga(T110, T22, T115, T9))
appM_in_ggga(.(T205, T206), T207, T208, .(T205, T210)) → U10_ggga(T205, T206, T207, T208, T210, appM_in_ggga(T206, T207, T208, T210))
appM_in_ggga([], T220, T221, .(T220, T221)) → appM_out_ggga([], T220, T221, .(T220, T221))
U10_ggga(T205, T206, T207, T208, T210, appM_out_ggga(T206, T207, T208, T210)) → appM_out_ggga(.(T205, T206), T207, T208, .(T205, T210))
U22_gagga(T45, T115, T110, T22, T9, appM_out_ggga(T110, T22, T115, T9)) → pQ_out_gagga(T45, T115, T110, T22, T9)
U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_out_gagga(.(T235, T245), X10, T251, T234, T9)) → pU_out_gaggaga(T244, T251, T235, T245, X10, T234, T9)
U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_out_gaggaga(T244, X9, T235, T245, X10, T234, T9)) → pT_out_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9)
U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_out_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9)) → pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)
U2_ga(T234, T235, T236, T9, pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)) → qsA_out_ga(.(T234, .(T235, T236)), T9)
qsA_in_ga(.(T260, []), T9) → U3_ga(T260, T9, pD_in_aaga(X9, X10, T260, T9))
pD_in_aaga(T261, X10, T260, T9) → U35_aaga(T261, X10, T260, T9, qsN_in_a(T261))
qsN_in_a([]) → qsN_out_a([])
U35_aaga(T261, X10, T260, T9, qsN_out_a(T261)) → U36_aaga(T261, X10, T260, T9, pV_in_agga(X10, T261, T260, T9))
pV_in_agga(T262, T261, T260, T9) → U37_agga(T262, T261, T260, T9, qsN_in_a(T262))
U37_agga(T262, T261, T260, T9, qsN_out_a(T262)) → U38_agga(T262, T261, T260, T9, appM_in_ggga(T261, T260, T262, T9))
U38_agga(T262, T261, T260, T9, appM_out_ggga(T261, T260, T262, T9)) → pV_out_agga(T262, T261, T260, T9)
U36_aaga(T261, X10, T260, T9, pV_out_agga(X10, T261, T260, T9)) → pD_out_aaga(T261, X10, T260, T9)
U3_ga(T260, T9, pD_out_aaga(X9, X10, T260, T9)) → qsA_out_ga(.(T260, []), T9)
qsA_in_ga([], []) → qsA_out_ga([], [])
U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_out_ga(.(T23, T44), T110)) → U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_in_gagga(T45, X10, T110, T22, T9))
U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_out_gagga(T45, X10, T110, T22, T9)) → pP_out_ggagaga(T23, T44, T110, T45, X10, T22, T9)
U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_out_ggagaga(T23, T44, X9, T45, X10, T22, T9)) → pO_out_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9)
U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_out_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9)) → pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, 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, X44, X45, X9, X10, T9))
QSA_IN_GA(.(T22, .(T23, T24)), T9) → PB_IN_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9)
PB_IN_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9) → U11_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9, gtE_in_gg(T22, T23))
PB_IN_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9) → GTE_IN_GG(T22, T23)
GTE_IN_GG(s(T37), s(T38)) → U4_GG(T37, T38, gtE_in_gg(T37, T38))
GTE_IN_GG(s(T37), s(T38)) → GTE_IN_GG(T37, T38)
U11_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → U12_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9, pO_in_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9))
U11_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → PO_IN_GGAAGAAA(T22, T24, X44, X45, T23, X9, X10, T9)
PO_IN_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9) → U13_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9, partF_in_ggaa(T22, T24, T44, T45))
PO_IN_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9) → PARTF_IN_GGAA(T22, T24, T44, T45)
PARTF_IN_GGAA(T61, .(T62, T63), .(T62, X109), X110) → U5_GGAA(T61, T62, T63, X109, X110, pG_in_gggaa(T61, T62, T63, X109, X110))
PARTF_IN_GGAA(T61, .(T62, T63), .(T62, X109), X110) → PG_IN_GGGAA(T61, T62, T63, X109, X110)
PG_IN_GGGAA(T61, T62, T63, X109, X110) → U17_GGGAA(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
PG_IN_GGGAA(T61, T62, T63, X109, X110) → GTE_IN_GG(T61, T62)
U17_GGGAA(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → U18_GGGAA(T61, T62, T63, X109, X110, partF_in_ggaa(T61, T63, X109, X110))
U17_GGGAA(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → PARTF_IN_GGAA(T61, T63, X109, X110)
PARTF_IN_GGAA(T83, .(T84, T85), X155, .(T84, X156)) → U6_GGAA(T83, T84, T85, X155, X156, pH_in_gggaa(T83, T84, T85, X155, X156))
PARTF_IN_GGAA(T83, .(T84, T85), X155, .(T84, X156)) → PH_IN_GGGAA(T83, T84, T85, X155, X156)
PH_IN_GGGAA(T83, T84, T85, X155, X156) → U19_GGGAA(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
PH_IN_GGGAA(T83, T84, T85, X155, X156) → LEI_IN_GG(T83, T84)
LEI_IN_GG(s(T98), s(T99)) → U7_GG(T98, T99, leI_in_gg(T98, T99))
LEI_IN_GG(s(T98), s(T99)) → LEI_IN_GG(T98, T99)
U19_GGGAA(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → U20_GGGAA(T83, T84, T85, X155, X156, partF_in_ggaa(T83, T85, X155, X156))
U19_GGGAA(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → PARTF_IN_GGAA(T83, T85, X155, X156)
U13_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → U14_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9, pP_in_ggagaga(T23, T44, X9, T45, X10, T22, T9))
U13_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → PP_IN_GGAGAGA(T23, T44, X9, T45, X10, T22, T9)
PP_IN_GGAGAGA(T23, T44, T110, T45, X10, T22, T9) → U15_GGAGAGA(T23, T44, T110, T45, X10, T22, T9, qsA_in_ga(.(T23, T44), T110))
PP_IN_GGAGAGA(T23, T44, T110, T45, X10, T22, T9) → QSA_IN_GA(.(T23, T44), T110)
QSA_IN_GA(.(T234, .(T235, T236)), T9) → U2_GA(T234, T235, T236, T9, pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9))
QSA_IN_GA(.(T234, .(T235, T236)), T9) → PC_IN_GGGAAAAA(T234, T235, T236, X395, X396, X9, X10, T9)
PC_IN_GGGAAAAA(T234, T235, T236, X395, X396, X9, X10, T9) → U29_GGGAAAAA(T234, T235, T236, X395, X396, X9, X10, T9, leI_in_gg(T234, T235))
PC_IN_GGGAAAAA(T234, T235, T236, X395, X396, X9, X10, T9) → LEI_IN_GG(T234, T235)
U29_GGGAAAAA(T234, T235, T236, X395, X396, X9, X10, T9, leI_out_gg(T234, T235)) → U30_GGGAAAAA(T234, T235, T236, X395, X396, X9, X10, T9, pT_in_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9))
U29_GGGAAAAA(T234, T235, T236, X395, X396, X9, X10, T9, leI_out_gg(T234, T235)) → PT_IN_GGAAAGAA(T234, T236, X395, X396, X9, T235, X10, T9)
PT_IN_GGAAAGAA(T234, T236, T244, T245, X9, T235, X10, T9) → U31_GGAAAGAA(T234, T236, T244, T245, X9, T235, X10, T9, partF_in_ggaa(T234, T236, T244, T245))
PT_IN_GGAAAGAA(T234, T236, T244, T245, X9, T235, X10, T9) → PARTF_IN_GGAA(T234, T236, T244, T245)
U31_GGAAAGAA(T234, T236, T244, T245, X9, T235, X10, T9, partF_out_ggaa(T234, T236, T244, T245)) → U32_GGAAAGAA(T234, T236, T244, T245, X9, T235, X10, T9, pU_in_gaggaga(T244, X9, T235, T245, X10, T234, T9))
U31_GGAAAGAA(T234, T236, T244, T245, X9, T235, X10, T9, partF_out_ggaa(T234, T236, T244, T245)) → PU_IN_GAGGAGA(T244, X9, T235, T245, X10, T234, T9)
PU_IN_GAGGAGA(T244, T251, T235, T245, X10, T234, T9) → U33_GAGGAGA(T244, T251, T235, T245, X10, T234, T9, qsJ_in_ga(T244, T251))
PU_IN_GAGGAGA(T244, T251, T235, T245, X10, T234, T9) → QSJ_IN_GA(T244, T251)
QSJ_IN_GA(.(T126, T127), X246) → U8_GA(T126, T127, X246, pK_in_ggaaaaa(T126, T127, X242, X243, X244, X245, X246))
QSJ_IN_GA(.(T126, T127), X246) → PK_IN_GGAAAAA(T126, T127, X242, X243, X244, X245, X246)
PK_IN_GGAAAAA(T126, T127, T131, T132, X244, X245, X246) → U23_GGAAAAA(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
PK_IN_GGAAAAA(T126, T127, T131, T132, X244, X245, X246) → PARTF_IN_GGAA(T126, T127, T131, T132)
U23_GGAAAAA(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → U24_GGAAAAA(T126, T127, T131, T132, X244, X245, X246, pR_in_gagaga(T131, X244, T132, X245, T126, X246))
U23_GGAAAAA(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → PR_IN_GAGAGA(T131, X244, T132, X245, T126, X246)
PR_IN_GAGAGA(T131, T138, T132, X245, T126, X246) → U25_GAGAGA(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
PR_IN_GAGAGA(T131, T138, T132, X245, T126, X246) → QSJ_IN_GA(T131, T138)
U25_GAGAGA(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → U26_GAGAGA(T131, T138, T132, X245, T126, X246, pS_in_gagga(T132, X245, T138, T126, X246))
U25_GAGAGA(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → PS_IN_GAGGA(T132, X245, T138, T126, X246)
PS_IN_GAGGA(T132, T143, T138, T126, X246) → U27_GAGGA(T132, T143, T138, T126, X246, qsJ_in_ga(T132, T143))
PS_IN_GAGGA(T132, T143, T138, T126, X246) → QSJ_IN_GA(T132, T143)
U27_GAGGA(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → U28_GAGGA(T132, T143, T138, T126, X246, appL_in_ggga(T138, T126, T143, X246))
U27_GAGGA(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → APPL_IN_GGGA(T138, T126, T143, X246)
APPL_IN_GGGA(.(T166, T167), T168, T169, .(T166, X322)) → U9_GGGA(T166, T167, T168, T169, X322, appL_in_ggga(T167, T168, T169, X322))
APPL_IN_GGGA(.(T166, T167), T168, T169, .(T166, X322)) → APPL_IN_GGGA(T167, T168, T169, X322)
U33_GAGGAGA(T244, T251, T235, T245, X10, T234, T9, qsJ_out_ga(T244, T251)) → U34_GAGGAGA(T244, T251, T235, T245, X10, T234, T9, pQ_in_gagga(.(T235, T245), X10, T251, T234, T9))
U33_GAGGAGA(T244, T251, T235, T245, X10, T234, T9, qsJ_out_ga(T244, T251)) → PQ_IN_GAGGA(.(T235, T245), X10, T251, T234, T9)
PQ_IN_GAGGA(T45, T115, T110, T22, T9) → U21_GAGGA(T45, T115, T110, T22, T9, qsJ_in_ga(T45, T115))
PQ_IN_GAGGA(T45, T115, T110, T22, T9) → QSJ_IN_GA(T45, T115)
U21_GAGGA(T45, T115, T110, T22, T9, qsJ_out_ga(T45, T115)) → U22_GAGGA(T45, T115, T110, T22, T9, appM_in_ggga(T110, T22, T115, T9))
U21_GAGGA(T45, T115, T110, T22, T9, qsJ_out_ga(T45, T115)) → APPM_IN_GGGA(T110, T22, T115, T9)
APPM_IN_GGGA(.(T205, T206), T207, T208, .(T205, T210)) → U10_GGGA(T205, T206, T207, T208, T210, appM_in_ggga(T206, T207, T208, T210))
APPM_IN_GGGA(.(T205, T206), T207, T208, .(T205, T210)) → APPM_IN_GGGA(T206, T207, T208, T210)
QSA_IN_GA(.(T260, []), T9) → U3_GA(T260, T9, pD_in_aaga(X9, X10, T260, T9))
QSA_IN_GA(.(T260, []), T9) → PD_IN_AAGA(X9, X10, T260, T9)
PD_IN_AAGA(T261, X10, T260, T9) → U35_AAGA(T261, X10, T260, T9, qsN_in_a(T261))
PD_IN_AAGA(T261, X10, T260, T9) → QSN_IN_A(T261)
U35_AAGA(T261, X10, T260, T9, qsN_out_a(T261)) → U36_AAGA(T261, X10, T260, T9, pV_in_agga(X10, T261, T260, T9))
U35_AAGA(T261, X10, T260, T9, qsN_out_a(T261)) → PV_IN_AGGA(X10, T261, T260, T9)
PV_IN_AGGA(T262, T261, T260, T9) → U37_AGGA(T262, T261, T260, T9, qsN_in_a(T262))
PV_IN_AGGA(T262, T261, T260, T9) → QSN_IN_A(T262)
U37_AGGA(T262, T261, T260, T9, qsN_out_a(T262)) → U38_AGGA(T262, T261, T260, T9, appM_in_ggga(T261, T260, T262, T9))
U37_AGGA(T262, T261, T260, T9, qsN_out_a(T262)) → APPM_IN_GGGA(T261, T260, T262, T9)
U15_GGAGAGA(T23, T44, T110, T45, X10, T22, T9, qsA_out_ga(.(T23, T44), T110)) → U16_GGAGAGA(T23, T44, T110, T45, X10, T22, T9, pQ_in_gagga(T45, X10, T110, T22, T9))
U15_GGAGAGA(T23, T44, T110, T45, X10, T22, T9, qsA_out_ga(.(T23, T44), T110)) → PQ_IN_GAGGA(T45, X10, T110, T22, T9)
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9))
pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9) → U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_in_gg(T22, T23))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_in_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9))
pO_in_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9) → U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_in_ggaa(T22, T24, T44, T45))
partF_in_ggaa(T61, .(T62, T63), .(T62, X109), X110) → U5_ggaa(T61, T62, T63, X109, X110, pG_in_gggaa(T61, T62, T63, X109, X110))
pG_in_gggaa(T61, T62, T63, X109, X110) → U17_gggaa(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
U17_gggaa(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, X109, X110, partF_in_ggaa(T61, T63, X109, X110))
partF_in_ggaa(T83, .(T84, T85), X155, .(T84, X156)) → U6_ggaa(T83, T84, T85, X155, X156, pH_in_gggaa(T83, T84, T85, X155, X156))
pH_in_gggaa(T83, T84, T85, X155, X156) → U19_gggaa(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
U19_gggaa(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, X155, X156, partF_in_ggaa(T83, T85, X155, X156))
partF_in_ggaa(T107, [], [], []) → partF_out_ggaa(T107, [], [], [])
U20_gggaa(T83, T84, T85, X155, X156, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U6_ggaa(T83, T84, T85, X155, X156, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
U18_gggaa(T61, T62, T63, X109, X110, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
U5_ggaa(T61, T62, T63, X109, X110, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_in_ggagaga(T23, T44, X9, T45, X10, T22, T9))
pP_in_ggagaga(T23, T44, T110, T45, X10, T22, T9) → U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_in_ga(.(T23, T44), T110))
qsA_in_ga(.(T234, .(T235, T236)), T9) → U2_ga(T234, T235, T236, T9, pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9))
pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9) → U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_in_gg(T234, T235))
U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_out_gg(T234, T235)) → U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_in_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9))
pT_in_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9) → U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_in_ggaa(T234, T236, T244, T245))
U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_out_ggaa(T234, T236, T244, T245)) → U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_in_gaggaga(T244, X9, T235, T245, X10, T234, T9))
pU_in_gaggaga(T244, T251, T235, T245, X10, T234, T9) → U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_in_ga(T244, T251))
qsJ_in_ga(.(T126, T127), X246) → U8_ga(T126, T127, X246, pK_in_ggaaaaa(T126, T127, X242, X243, X244, X245, X246))
pK_in_ggaaaaa(T126, T127, T131, T132, X244, X245, X246) → U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_in_gagaga(T131, X244, T132, X245, T126, X246))
pR_in_gagaga(T131, T138, T132, X245, T126, X246) → U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
qsJ_in_ga([], []) → qsJ_out_ga([], [])
U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → U26_gagaga(T131, T138, T132, X245, T126, X246, pS_in_gagga(T132, X245, T138, T126, X246))
pS_in_gagga(T132, T143, T138, T126, X246) → U27_gagga(T132, T143, T138, T126, X246, qsJ_in_ga(T132, T143))
U27_gagga(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → U28_gagga(T132, T143, T138, T126, X246, appL_in_ggga(T138, T126, T143, X246))
appL_in_ggga(.(T166, T167), T168, T169, .(T166, X322)) → U9_ggga(T166, T167, T168, T169, X322, appL_in_ggga(T167, T168, T169, X322))
appL_in_ggga([], T178, T179, .(T178, T179)) → appL_out_ggga([], T178, T179, .(T178, T179))
U9_ggga(T166, T167, T168, T169, X322, appL_out_ggga(T167, T168, T169, X322)) → appL_out_ggga(.(T166, T167), T168, T169, .(T166, X322))
U28_gagga(T132, T143, T138, T126, X246, appL_out_ggga(T138, T126, T143, X246)) → pS_out_gagga(T132, T143, T138, T126, X246)
U26_gagaga(T131, T138, T132, X245, T126, X246, pS_out_gagga(T132, X245, T138, T126, X246)) → pR_out_gagaga(T131, T138, T132, X245, T126, X246)
U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_out_gagaga(T131, X244, T132, X245, T126, X246)) → pK_out_ggaaaaa(T126, T127, T131, T132, X244, X245, X246)
U8_ga(T126, T127, X246, pK_out_ggaaaaa(T126, T127, X242, X243, X244, X245, X246)) → qsJ_out_ga(.(T126, T127), X246)
U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_out_ga(T244, T251)) → U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_in_gagga(.(T235, T245), X10, T251, T234, T9))
pQ_in_gagga(T45, T115, T110, T22, T9) → U21_gagga(T45, T115, T110, T22, T9, qsJ_in_ga(T45, T115))
U21_gagga(T45, T115, T110, T22, T9, qsJ_out_ga(T45, T115)) → U22_gagga(T45, T115, T110, T22, T9, appM_in_ggga(T110, T22, T115, T9))
appM_in_ggga(.(T205, T206), T207, T208, .(T205, T210)) → U10_ggga(T205, T206, T207, T208, T210, appM_in_ggga(T206, T207, T208, T210))
appM_in_ggga([], T220, T221, .(T220, T221)) → appM_out_ggga([], T220, T221, .(T220, T221))
U10_ggga(T205, T206, T207, T208, T210, appM_out_ggga(T206, T207, T208, T210)) → appM_out_ggga(.(T205, T206), T207, T208, .(T205, T210))
U22_gagga(T45, T115, T110, T22, T9, appM_out_ggga(T110, T22, T115, T9)) → pQ_out_gagga(T45, T115, T110, T22, T9)
U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_out_gagga(.(T235, T245), X10, T251, T234, T9)) → pU_out_gaggaga(T244, T251, T235, T245, X10, T234, T9)
U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_out_gaggaga(T244, X9, T235, T245, X10, T234, T9)) → pT_out_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9)
U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_out_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9)) → pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)
U2_ga(T234, T235, T236, T9, pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)) → qsA_out_ga(.(T234, .(T235, T236)), T9)
qsA_in_ga(.(T260, []), T9) → U3_ga(T260, T9, pD_in_aaga(X9, X10, T260, T9))
pD_in_aaga(T261, X10, T260, T9) → U35_aaga(T261, X10, T260, T9, qsN_in_a(T261))
qsN_in_a([]) → qsN_out_a([])
U35_aaga(T261, X10, T260, T9, qsN_out_a(T261)) → U36_aaga(T261, X10, T260, T9, pV_in_agga(X10, T261, T260, T9))
pV_in_agga(T262, T261, T260, T9) → U37_agga(T262, T261, T260, T9, qsN_in_a(T262))
U37_agga(T262, T261, T260, T9, qsN_out_a(T262)) → U38_agga(T262, T261, T260, T9, appM_in_ggga(T261, T260, T262, T9))
U38_agga(T262, T261, T260, T9, appM_out_ggga(T261, T260, T262, T9)) → pV_out_agga(T262, T261, T260, T9)
U36_aaga(T261, X10, T260, T9, pV_out_agga(X10, T261, T260, T9)) → pD_out_aaga(T261, X10, T260, T9)
U3_ga(T260, T9, pD_out_aaga(X9, X10, T260, T9)) → qsA_out_ga(.(T260, []), T9)
qsA_in_ga([], []) → qsA_out_ga([], [])
U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_out_ga(.(T23, T44), T110)) → U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_in_gagga(T45, X10, T110, T22, T9))
U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_out_gagga(T45, X10, T110, T22, T9)) → pP_out_ggagaga(T23, T44, T110, T45, X10, T22, T9)
U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_out_ggagaga(T23, T44, X9, T45, X10, T22, T9)) → pO_out_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9)
U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_out_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9)) → pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
APPM_IN_GGGA(.(T205, T206), T207, T208, .(T205, T210)) → APPM_IN_GGGA(T206, T207, T208, T210)
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9))
pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9) → U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_in_gg(T22, T23))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_in_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9))
pO_in_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9) → U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_in_ggaa(T22, T24, T44, T45))
partF_in_ggaa(T61, .(T62, T63), .(T62, X109), X110) → U5_ggaa(T61, T62, T63, X109, X110, pG_in_gggaa(T61, T62, T63, X109, X110))
pG_in_gggaa(T61, T62, T63, X109, X110) → U17_gggaa(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
U17_gggaa(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, X109, X110, partF_in_ggaa(T61, T63, X109, X110))
partF_in_ggaa(T83, .(T84, T85), X155, .(T84, X156)) → U6_ggaa(T83, T84, T85, X155, X156, pH_in_gggaa(T83, T84, T85, X155, X156))
pH_in_gggaa(T83, T84, T85, X155, X156) → U19_gggaa(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
U19_gggaa(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, X155, X156, partF_in_ggaa(T83, T85, X155, X156))
partF_in_ggaa(T107, [], [], []) → partF_out_ggaa(T107, [], [], [])
U20_gggaa(T83, T84, T85, X155, X156, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U6_ggaa(T83, T84, T85, X155, X156, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
U18_gggaa(T61, T62, T63, X109, X110, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
U5_ggaa(T61, T62, T63, X109, X110, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_in_ggagaga(T23, T44, X9, T45, X10, T22, T9))
pP_in_ggagaga(T23, T44, T110, T45, X10, T22, T9) → U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_in_ga(.(T23, T44), T110))
qsA_in_ga(.(T234, .(T235, T236)), T9) → U2_ga(T234, T235, T236, T9, pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9))
pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9) → U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_in_gg(T234, T235))
U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_out_gg(T234, T235)) → U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_in_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9))
pT_in_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9) → U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_in_ggaa(T234, T236, T244, T245))
U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_out_ggaa(T234, T236, T244, T245)) → U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_in_gaggaga(T244, X9, T235, T245, X10, T234, T9))
pU_in_gaggaga(T244, T251, T235, T245, X10, T234, T9) → U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_in_ga(T244, T251))
qsJ_in_ga(.(T126, T127), X246) → U8_ga(T126, T127, X246, pK_in_ggaaaaa(T126, T127, X242, X243, X244, X245, X246))
pK_in_ggaaaaa(T126, T127, T131, T132, X244, X245, X246) → U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_in_gagaga(T131, X244, T132, X245, T126, X246))
pR_in_gagaga(T131, T138, T132, X245, T126, X246) → U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
qsJ_in_ga([], []) → qsJ_out_ga([], [])
U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → U26_gagaga(T131, T138, T132, X245, T126, X246, pS_in_gagga(T132, X245, T138, T126, X246))
pS_in_gagga(T132, T143, T138, T126, X246) → U27_gagga(T132, T143, T138, T126, X246, qsJ_in_ga(T132, T143))
U27_gagga(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → U28_gagga(T132, T143, T138, T126, X246, appL_in_ggga(T138, T126, T143, X246))
appL_in_ggga(.(T166, T167), T168, T169, .(T166, X322)) → U9_ggga(T166, T167, T168, T169, X322, appL_in_ggga(T167, T168, T169, X322))
appL_in_ggga([], T178, T179, .(T178, T179)) → appL_out_ggga([], T178, T179, .(T178, T179))
U9_ggga(T166, T167, T168, T169, X322, appL_out_ggga(T167, T168, T169, X322)) → appL_out_ggga(.(T166, T167), T168, T169, .(T166, X322))
U28_gagga(T132, T143, T138, T126, X246, appL_out_ggga(T138, T126, T143, X246)) → pS_out_gagga(T132, T143, T138, T126, X246)
U26_gagaga(T131, T138, T132, X245, T126, X246, pS_out_gagga(T132, X245, T138, T126, X246)) → pR_out_gagaga(T131, T138, T132, X245, T126, X246)
U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_out_gagaga(T131, X244, T132, X245, T126, X246)) → pK_out_ggaaaaa(T126, T127, T131, T132, X244, X245, X246)
U8_ga(T126, T127, X246, pK_out_ggaaaaa(T126, T127, X242, X243, X244, X245, X246)) → qsJ_out_ga(.(T126, T127), X246)
U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_out_ga(T244, T251)) → U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_in_gagga(.(T235, T245), X10, T251, T234, T9))
pQ_in_gagga(T45, T115, T110, T22, T9) → U21_gagga(T45, T115, T110, T22, T9, qsJ_in_ga(T45, T115))
U21_gagga(T45, T115, T110, T22, T9, qsJ_out_ga(T45, T115)) → U22_gagga(T45, T115, T110, T22, T9, appM_in_ggga(T110, T22, T115, T9))
appM_in_ggga(.(T205, T206), T207, T208, .(T205, T210)) → U10_ggga(T205, T206, T207, T208, T210, appM_in_ggga(T206, T207, T208, T210))
appM_in_ggga([], T220, T221, .(T220, T221)) → appM_out_ggga([], T220, T221, .(T220, T221))
U10_ggga(T205, T206, T207, T208, T210, appM_out_ggga(T206, T207, T208, T210)) → appM_out_ggga(.(T205, T206), T207, T208, .(T205, T210))
U22_gagga(T45, T115, T110, T22, T9, appM_out_ggga(T110, T22, T115, T9)) → pQ_out_gagga(T45, T115, T110, T22, T9)
U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_out_gagga(.(T235, T245), X10, T251, T234, T9)) → pU_out_gaggaga(T244, T251, T235, T245, X10, T234, T9)
U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_out_gaggaga(T244, X9, T235, T245, X10, T234, T9)) → pT_out_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9)
U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_out_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9)) → pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)
U2_ga(T234, T235, T236, T9, pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)) → qsA_out_ga(.(T234, .(T235, T236)), T9)
qsA_in_ga(.(T260, []), T9) → U3_ga(T260, T9, pD_in_aaga(X9, X10, T260, T9))
pD_in_aaga(T261, X10, T260, T9) → U35_aaga(T261, X10, T260, T9, qsN_in_a(T261))
qsN_in_a([]) → qsN_out_a([])
U35_aaga(T261, X10, T260, T9, qsN_out_a(T261)) → U36_aaga(T261, X10, T260, T9, pV_in_agga(X10, T261, T260, T9))
pV_in_agga(T262, T261, T260, T9) → U37_agga(T262, T261, T260, T9, qsN_in_a(T262))
U37_agga(T262, T261, T260, T9, qsN_out_a(T262)) → U38_agga(T262, T261, T260, T9, appM_in_ggga(T261, T260, T262, T9))
U38_agga(T262, T261, T260, T9, appM_out_ggga(T261, T260, T262, T9)) → pV_out_agga(T262, T261, T260, T9)
U36_aaga(T261, X10, T260, T9, pV_out_agga(X10, T261, T260, T9)) → pD_out_aaga(T261, X10, T260, T9)
U3_ga(T260, T9, pD_out_aaga(X9, X10, T260, T9)) → qsA_out_ga(.(T260, []), T9)
qsA_in_ga([], []) → qsA_out_ga([], [])
U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_out_ga(.(T23, T44), T110)) → U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_in_gagga(T45, X10, T110, T22, T9))
U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_out_gagga(T45, X10, T110, T22, T9)) → pP_out_ggagaga(T23, T44, T110, T45, X10, T22, T9)
U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_out_ggagaga(T23, T44, X9, T45, X10, T22, T9)) → pO_out_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9)
U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_out_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9)) → pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
APPM_IN_GGGA(.(T205, T206), T207, T208, .(T205, T210)) → APPM_IN_GGGA(T206, T207, T208, T210)
APPM_IN_GGGA(.(T205, T206), T207, T208) → APPM_IN_GGGA(T206, T207, T208)
From the DPs we obtained the following set of size-change graphs:
APPL_IN_GGGA(.(T166, T167), T168, T169, .(T166, X322)) → APPL_IN_GGGA(T167, T168, T169, X322)
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9))
pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9) → U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_in_gg(T22, T23))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_in_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9))
pO_in_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9) → U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_in_ggaa(T22, T24, T44, T45))
partF_in_ggaa(T61, .(T62, T63), .(T62, X109), X110) → U5_ggaa(T61, T62, T63, X109, X110, pG_in_gggaa(T61, T62, T63, X109, X110))
pG_in_gggaa(T61, T62, T63, X109, X110) → U17_gggaa(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
U17_gggaa(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, X109, X110, partF_in_ggaa(T61, T63, X109, X110))
partF_in_ggaa(T83, .(T84, T85), X155, .(T84, X156)) → U6_ggaa(T83, T84, T85, X155, X156, pH_in_gggaa(T83, T84, T85, X155, X156))
pH_in_gggaa(T83, T84, T85, X155, X156) → U19_gggaa(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
U19_gggaa(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, X155, X156, partF_in_ggaa(T83, T85, X155, X156))
partF_in_ggaa(T107, [], [], []) → partF_out_ggaa(T107, [], [], [])
U20_gggaa(T83, T84, T85, X155, X156, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U6_ggaa(T83, T84, T85, X155, X156, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
U18_gggaa(T61, T62, T63, X109, X110, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
U5_ggaa(T61, T62, T63, X109, X110, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_in_ggagaga(T23, T44, X9, T45, X10, T22, T9))
pP_in_ggagaga(T23, T44, T110, T45, X10, T22, T9) → U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_in_ga(.(T23, T44), T110))
qsA_in_ga(.(T234, .(T235, T236)), T9) → U2_ga(T234, T235, T236, T9, pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9))
pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9) → U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_in_gg(T234, T235))
U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_out_gg(T234, T235)) → U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_in_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9))
pT_in_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9) → U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_in_ggaa(T234, T236, T244, T245))
U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_out_ggaa(T234, T236, T244, T245)) → U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_in_gaggaga(T244, X9, T235, T245, X10, T234, T9))
pU_in_gaggaga(T244, T251, T235, T245, X10, T234, T9) → U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_in_ga(T244, T251))
qsJ_in_ga(.(T126, T127), X246) → U8_ga(T126, T127, X246, pK_in_ggaaaaa(T126, T127, X242, X243, X244, X245, X246))
pK_in_ggaaaaa(T126, T127, T131, T132, X244, X245, X246) → U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_in_gagaga(T131, X244, T132, X245, T126, X246))
pR_in_gagaga(T131, T138, T132, X245, T126, X246) → U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
qsJ_in_ga([], []) → qsJ_out_ga([], [])
U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → U26_gagaga(T131, T138, T132, X245, T126, X246, pS_in_gagga(T132, X245, T138, T126, X246))
pS_in_gagga(T132, T143, T138, T126, X246) → U27_gagga(T132, T143, T138, T126, X246, qsJ_in_ga(T132, T143))
U27_gagga(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → U28_gagga(T132, T143, T138, T126, X246, appL_in_ggga(T138, T126, T143, X246))
appL_in_ggga(.(T166, T167), T168, T169, .(T166, X322)) → U9_ggga(T166, T167, T168, T169, X322, appL_in_ggga(T167, T168, T169, X322))
appL_in_ggga([], T178, T179, .(T178, T179)) → appL_out_ggga([], T178, T179, .(T178, T179))
U9_ggga(T166, T167, T168, T169, X322, appL_out_ggga(T167, T168, T169, X322)) → appL_out_ggga(.(T166, T167), T168, T169, .(T166, X322))
U28_gagga(T132, T143, T138, T126, X246, appL_out_ggga(T138, T126, T143, X246)) → pS_out_gagga(T132, T143, T138, T126, X246)
U26_gagaga(T131, T138, T132, X245, T126, X246, pS_out_gagga(T132, X245, T138, T126, X246)) → pR_out_gagaga(T131, T138, T132, X245, T126, X246)
U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_out_gagaga(T131, X244, T132, X245, T126, X246)) → pK_out_ggaaaaa(T126, T127, T131, T132, X244, X245, X246)
U8_ga(T126, T127, X246, pK_out_ggaaaaa(T126, T127, X242, X243, X244, X245, X246)) → qsJ_out_ga(.(T126, T127), X246)
U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_out_ga(T244, T251)) → U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_in_gagga(.(T235, T245), X10, T251, T234, T9))
pQ_in_gagga(T45, T115, T110, T22, T9) → U21_gagga(T45, T115, T110, T22, T9, qsJ_in_ga(T45, T115))
U21_gagga(T45, T115, T110, T22, T9, qsJ_out_ga(T45, T115)) → U22_gagga(T45, T115, T110, T22, T9, appM_in_ggga(T110, T22, T115, T9))
appM_in_ggga(.(T205, T206), T207, T208, .(T205, T210)) → U10_ggga(T205, T206, T207, T208, T210, appM_in_ggga(T206, T207, T208, T210))
appM_in_ggga([], T220, T221, .(T220, T221)) → appM_out_ggga([], T220, T221, .(T220, T221))
U10_ggga(T205, T206, T207, T208, T210, appM_out_ggga(T206, T207, T208, T210)) → appM_out_ggga(.(T205, T206), T207, T208, .(T205, T210))
U22_gagga(T45, T115, T110, T22, T9, appM_out_ggga(T110, T22, T115, T9)) → pQ_out_gagga(T45, T115, T110, T22, T9)
U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_out_gagga(.(T235, T245), X10, T251, T234, T9)) → pU_out_gaggaga(T244, T251, T235, T245, X10, T234, T9)
U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_out_gaggaga(T244, X9, T235, T245, X10, T234, T9)) → pT_out_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9)
U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_out_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9)) → pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)
U2_ga(T234, T235, T236, T9, pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)) → qsA_out_ga(.(T234, .(T235, T236)), T9)
qsA_in_ga(.(T260, []), T9) → U3_ga(T260, T9, pD_in_aaga(X9, X10, T260, T9))
pD_in_aaga(T261, X10, T260, T9) → U35_aaga(T261, X10, T260, T9, qsN_in_a(T261))
qsN_in_a([]) → qsN_out_a([])
U35_aaga(T261, X10, T260, T9, qsN_out_a(T261)) → U36_aaga(T261, X10, T260, T9, pV_in_agga(X10, T261, T260, T9))
pV_in_agga(T262, T261, T260, T9) → U37_agga(T262, T261, T260, T9, qsN_in_a(T262))
U37_agga(T262, T261, T260, T9, qsN_out_a(T262)) → U38_agga(T262, T261, T260, T9, appM_in_ggga(T261, T260, T262, T9))
U38_agga(T262, T261, T260, T9, appM_out_ggga(T261, T260, T262, T9)) → pV_out_agga(T262, T261, T260, T9)
U36_aaga(T261, X10, T260, T9, pV_out_agga(X10, T261, T260, T9)) → pD_out_aaga(T261, X10, T260, T9)
U3_ga(T260, T9, pD_out_aaga(X9, X10, T260, T9)) → qsA_out_ga(.(T260, []), T9)
qsA_in_ga([], []) → qsA_out_ga([], [])
U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_out_ga(.(T23, T44), T110)) → U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_in_gagga(T45, X10, T110, T22, T9))
U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_out_gagga(T45, X10, T110, T22, T9)) → pP_out_ggagaga(T23, T44, T110, T45, X10, T22, T9)
U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_out_ggagaga(T23, T44, X9, T45, X10, T22, T9)) → pO_out_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9)
U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_out_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9)) → pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
APPL_IN_GGGA(.(T166, T167), T168, T169, .(T166, X322)) → APPL_IN_GGGA(T167, T168, T169, X322)
APPL_IN_GGGA(.(T166, T167), T168, T169) → APPL_IN_GGGA(T167, T168, T169)
From the DPs we obtained the following set of size-change graphs:
LEI_IN_GG(s(T98), s(T99)) → LEI_IN_GG(T98, T99)
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9))
pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9) → U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_in_gg(T22, T23))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_in_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9))
pO_in_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9) → U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_in_ggaa(T22, T24, T44, T45))
partF_in_ggaa(T61, .(T62, T63), .(T62, X109), X110) → U5_ggaa(T61, T62, T63, X109, X110, pG_in_gggaa(T61, T62, T63, X109, X110))
pG_in_gggaa(T61, T62, T63, X109, X110) → U17_gggaa(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
U17_gggaa(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, X109, X110, partF_in_ggaa(T61, T63, X109, X110))
partF_in_ggaa(T83, .(T84, T85), X155, .(T84, X156)) → U6_ggaa(T83, T84, T85, X155, X156, pH_in_gggaa(T83, T84, T85, X155, X156))
pH_in_gggaa(T83, T84, T85, X155, X156) → U19_gggaa(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
U19_gggaa(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, X155, X156, partF_in_ggaa(T83, T85, X155, X156))
partF_in_ggaa(T107, [], [], []) → partF_out_ggaa(T107, [], [], [])
U20_gggaa(T83, T84, T85, X155, X156, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U6_ggaa(T83, T84, T85, X155, X156, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
U18_gggaa(T61, T62, T63, X109, X110, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
U5_ggaa(T61, T62, T63, X109, X110, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_in_ggagaga(T23, T44, X9, T45, X10, T22, T9))
pP_in_ggagaga(T23, T44, T110, T45, X10, T22, T9) → U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_in_ga(.(T23, T44), T110))
qsA_in_ga(.(T234, .(T235, T236)), T9) → U2_ga(T234, T235, T236, T9, pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9))
pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9) → U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_in_gg(T234, T235))
U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_out_gg(T234, T235)) → U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_in_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9))
pT_in_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9) → U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_in_ggaa(T234, T236, T244, T245))
U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_out_ggaa(T234, T236, T244, T245)) → U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_in_gaggaga(T244, X9, T235, T245, X10, T234, T9))
pU_in_gaggaga(T244, T251, T235, T245, X10, T234, T9) → U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_in_ga(T244, T251))
qsJ_in_ga(.(T126, T127), X246) → U8_ga(T126, T127, X246, pK_in_ggaaaaa(T126, T127, X242, X243, X244, X245, X246))
pK_in_ggaaaaa(T126, T127, T131, T132, X244, X245, X246) → U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_in_gagaga(T131, X244, T132, X245, T126, X246))
pR_in_gagaga(T131, T138, T132, X245, T126, X246) → U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
qsJ_in_ga([], []) → qsJ_out_ga([], [])
U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → U26_gagaga(T131, T138, T132, X245, T126, X246, pS_in_gagga(T132, X245, T138, T126, X246))
pS_in_gagga(T132, T143, T138, T126, X246) → U27_gagga(T132, T143, T138, T126, X246, qsJ_in_ga(T132, T143))
U27_gagga(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → U28_gagga(T132, T143, T138, T126, X246, appL_in_ggga(T138, T126, T143, X246))
appL_in_ggga(.(T166, T167), T168, T169, .(T166, X322)) → U9_ggga(T166, T167, T168, T169, X322, appL_in_ggga(T167, T168, T169, X322))
appL_in_ggga([], T178, T179, .(T178, T179)) → appL_out_ggga([], T178, T179, .(T178, T179))
U9_ggga(T166, T167, T168, T169, X322, appL_out_ggga(T167, T168, T169, X322)) → appL_out_ggga(.(T166, T167), T168, T169, .(T166, X322))
U28_gagga(T132, T143, T138, T126, X246, appL_out_ggga(T138, T126, T143, X246)) → pS_out_gagga(T132, T143, T138, T126, X246)
U26_gagaga(T131, T138, T132, X245, T126, X246, pS_out_gagga(T132, X245, T138, T126, X246)) → pR_out_gagaga(T131, T138, T132, X245, T126, X246)
U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_out_gagaga(T131, X244, T132, X245, T126, X246)) → pK_out_ggaaaaa(T126, T127, T131, T132, X244, X245, X246)
U8_ga(T126, T127, X246, pK_out_ggaaaaa(T126, T127, X242, X243, X244, X245, X246)) → qsJ_out_ga(.(T126, T127), X246)
U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_out_ga(T244, T251)) → U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_in_gagga(.(T235, T245), X10, T251, T234, T9))
pQ_in_gagga(T45, T115, T110, T22, T9) → U21_gagga(T45, T115, T110, T22, T9, qsJ_in_ga(T45, T115))
U21_gagga(T45, T115, T110, T22, T9, qsJ_out_ga(T45, T115)) → U22_gagga(T45, T115, T110, T22, T9, appM_in_ggga(T110, T22, T115, T9))
appM_in_ggga(.(T205, T206), T207, T208, .(T205, T210)) → U10_ggga(T205, T206, T207, T208, T210, appM_in_ggga(T206, T207, T208, T210))
appM_in_ggga([], T220, T221, .(T220, T221)) → appM_out_ggga([], T220, T221, .(T220, T221))
U10_ggga(T205, T206, T207, T208, T210, appM_out_ggga(T206, T207, T208, T210)) → appM_out_ggga(.(T205, T206), T207, T208, .(T205, T210))
U22_gagga(T45, T115, T110, T22, T9, appM_out_ggga(T110, T22, T115, T9)) → pQ_out_gagga(T45, T115, T110, T22, T9)
U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_out_gagga(.(T235, T245), X10, T251, T234, T9)) → pU_out_gaggaga(T244, T251, T235, T245, X10, T234, T9)
U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_out_gaggaga(T244, X9, T235, T245, X10, T234, T9)) → pT_out_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9)
U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_out_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9)) → pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)
U2_ga(T234, T235, T236, T9, pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)) → qsA_out_ga(.(T234, .(T235, T236)), T9)
qsA_in_ga(.(T260, []), T9) → U3_ga(T260, T9, pD_in_aaga(X9, X10, T260, T9))
pD_in_aaga(T261, X10, T260, T9) → U35_aaga(T261, X10, T260, T9, qsN_in_a(T261))
qsN_in_a([]) → qsN_out_a([])
U35_aaga(T261, X10, T260, T9, qsN_out_a(T261)) → U36_aaga(T261, X10, T260, T9, pV_in_agga(X10, T261, T260, T9))
pV_in_agga(T262, T261, T260, T9) → U37_agga(T262, T261, T260, T9, qsN_in_a(T262))
U37_agga(T262, T261, T260, T9, qsN_out_a(T262)) → U38_agga(T262, T261, T260, T9, appM_in_ggga(T261, T260, T262, T9))
U38_agga(T262, T261, T260, T9, appM_out_ggga(T261, T260, T262, T9)) → pV_out_agga(T262, T261, T260, T9)
U36_aaga(T261, X10, T260, T9, pV_out_agga(X10, T261, T260, T9)) → pD_out_aaga(T261, X10, T260, T9)
U3_ga(T260, T9, pD_out_aaga(X9, X10, T260, T9)) → qsA_out_ga(.(T260, []), T9)
qsA_in_ga([], []) → qsA_out_ga([], [])
U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_out_ga(.(T23, T44), T110)) → U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_in_gagga(T45, X10, T110, T22, T9))
U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_out_gagga(T45, X10, T110, T22, T9)) → pP_out_ggagaga(T23, T44, T110, T45, X10, T22, T9)
U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_out_ggagaga(T23, T44, X9, T45, X10, T22, T9)) → pO_out_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9)
U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_out_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9)) → pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
LEI_IN_GG(s(T98), s(T99)) → LEI_IN_GG(T98, T99)
LEI_IN_GG(s(T98), s(T99)) → LEI_IN_GG(T98, T99)
From the DPs we obtained the following set of size-change graphs:
GTE_IN_GG(s(T37), s(T38)) → GTE_IN_GG(T37, T38)
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9))
pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9) → U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_in_gg(T22, T23))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_in_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9))
pO_in_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9) → U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_in_ggaa(T22, T24, T44, T45))
partF_in_ggaa(T61, .(T62, T63), .(T62, X109), X110) → U5_ggaa(T61, T62, T63, X109, X110, pG_in_gggaa(T61, T62, T63, X109, X110))
pG_in_gggaa(T61, T62, T63, X109, X110) → U17_gggaa(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
U17_gggaa(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, X109, X110, partF_in_ggaa(T61, T63, X109, X110))
partF_in_ggaa(T83, .(T84, T85), X155, .(T84, X156)) → U6_ggaa(T83, T84, T85, X155, X156, pH_in_gggaa(T83, T84, T85, X155, X156))
pH_in_gggaa(T83, T84, T85, X155, X156) → U19_gggaa(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
U19_gggaa(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, X155, X156, partF_in_ggaa(T83, T85, X155, X156))
partF_in_ggaa(T107, [], [], []) → partF_out_ggaa(T107, [], [], [])
U20_gggaa(T83, T84, T85, X155, X156, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U6_ggaa(T83, T84, T85, X155, X156, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
U18_gggaa(T61, T62, T63, X109, X110, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
U5_ggaa(T61, T62, T63, X109, X110, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_in_ggagaga(T23, T44, X9, T45, X10, T22, T9))
pP_in_ggagaga(T23, T44, T110, T45, X10, T22, T9) → U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_in_ga(.(T23, T44), T110))
qsA_in_ga(.(T234, .(T235, T236)), T9) → U2_ga(T234, T235, T236, T9, pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9))
pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9) → U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_in_gg(T234, T235))
U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_out_gg(T234, T235)) → U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_in_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9))
pT_in_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9) → U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_in_ggaa(T234, T236, T244, T245))
U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_out_ggaa(T234, T236, T244, T245)) → U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_in_gaggaga(T244, X9, T235, T245, X10, T234, T9))
pU_in_gaggaga(T244, T251, T235, T245, X10, T234, T9) → U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_in_ga(T244, T251))
qsJ_in_ga(.(T126, T127), X246) → U8_ga(T126, T127, X246, pK_in_ggaaaaa(T126, T127, X242, X243, X244, X245, X246))
pK_in_ggaaaaa(T126, T127, T131, T132, X244, X245, X246) → U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_in_gagaga(T131, X244, T132, X245, T126, X246))
pR_in_gagaga(T131, T138, T132, X245, T126, X246) → U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
qsJ_in_ga([], []) → qsJ_out_ga([], [])
U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → U26_gagaga(T131, T138, T132, X245, T126, X246, pS_in_gagga(T132, X245, T138, T126, X246))
pS_in_gagga(T132, T143, T138, T126, X246) → U27_gagga(T132, T143, T138, T126, X246, qsJ_in_ga(T132, T143))
U27_gagga(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → U28_gagga(T132, T143, T138, T126, X246, appL_in_ggga(T138, T126, T143, X246))
appL_in_ggga(.(T166, T167), T168, T169, .(T166, X322)) → U9_ggga(T166, T167, T168, T169, X322, appL_in_ggga(T167, T168, T169, X322))
appL_in_ggga([], T178, T179, .(T178, T179)) → appL_out_ggga([], T178, T179, .(T178, T179))
U9_ggga(T166, T167, T168, T169, X322, appL_out_ggga(T167, T168, T169, X322)) → appL_out_ggga(.(T166, T167), T168, T169, .(T166, X322))
U28_gagga(T132, T143, T138, T126, X246, appL_out_ggga(T138, T126, T143, X246)) → pS_out_gagga(T132, T143, T138, T126, X246)
U26_gagaga(T131, T138, T132, X245, T126, X246, pS_out_gagga(T132, X245, T138, T126, X246)) → pR_out_gagaga(T131, T138, T132, X245, T126, X246)
U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_out_gagaga(T131, X244, T132, X245, T126, X246)) → pK_out_ggaaaaa(T126, T127, T131, T132, X244, X245, X246)
U8_ga(T126, T127, X246, pK_out_ggaaaaa(T126, T127, X242, X243, X244, X245, X246)) → qsJ_out_ga(.(T126, T127), X246)
U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_out_ga(T244, T251)) → U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_in_gagga(.(T235, T245), X10, T251, T234, T9))
pQ_in_gagga(T45, T115, T110, T22, T9) → U21_gagga(T45, T115, T110, T22, T9, qsJ_in_ga(T45, T115))
U21_gagga(T45, T115, T110, T22, T9, qsJ_out_ga(T45, T115)) → U22_gagga(T45, T115, T110, T22, T9, appM_in_ggga(T110, T22, T115, T9))
appM_in_ggga(.(T205, T206), T207, T208, .(T205, T210)) → U10_ggga(T205, T206, T207, T208, T210, appM_in_ggga(T206, T207, T208, T210))
appM_in_ggga([], T220, T221, .(T220, T221)) → appM_out_ggga([], T220, T221, .(T220, T221))
U10_ggga(T205, T206, T207, T208, T210, appM_out_ggga(T206, T207, T208, T210)) → appM_out_ggga(.(T205, T206), T207, T208, .(T205, T210))
U22_gagga(T45, T115, T110, T22, T9, appM_out_ggga(T110, T22, T115, T9)) → pQ_out_gagga(T45, T115, T110, T22, T9)
U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_out_gagga(.(T235, T245), X10, T251, T234, T9)) → pU_out_gaggaga(T244, T251, T235, T245, X10, T234, T9)
U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_out_gaggaga(T244, X9, T235, T245, X10, T234, T9)) → pT_out_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9)
U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_out_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9)) → pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)
U2_ga(T234, T235, T236, T9, pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)) → qsA_out_ga(.(T234, .(T235, T236)), T9)
qsA_in_ga(.(T260, []), T9) → U3_ga(T260, T9, pD_in_aaga(X9, X10, T260, T9))
pD_in_aaga(T261, X10, T260, T9) → U35_aaga(T261, X10, T260, T9, qsN_in_a(T261))
qsN_in_a([]) → qsN_out_a([])
U35_aaga(T261, X10, T260, T9, qsN_out_a(T261)) → U36_aaga(T261, X10, T260, T9, pV_in_agga(X10, T261, T260, T9))
pV_in_agga(T262, T261, T260, T9) → U37_agga(T262, T261, T260, T9, qsN_in_a(T262))
U37_agga(T262, T261, T260, T9, qsN_out_a(T262)) → U38_agga(T262, T261, T260, T9, appM_in_ggga(T261, T260, T262, T9))
U38_agga(T262, T261, T260, T9, appM_out_ggga(T261, T260, T262, T9)) → pV_out_agga(T262, T261, T260, T9)
U36_aaga(T261, X10, T260, T9, pV_out_agga(X10, T261, T260, T9)) → pD_out_aaga(T261, X10, T260, T9)
U3_ga(T260, T9, pD_out_aaga(X9, X10, T260, T9)) → qsA_out_ga(.(T260, []), T9)
qsA_in_ga([], []) → qsA_out_ga([], [])
U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_out_ga(.(T23, T44), T110)) → U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_in_gagga(T45, X10, T110, T22, T9))
U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_out_gagga(T45, X10, T110, T22, T9)) → pP_out_ggagaga(T23, T44, T110, T45, X10, T22, T9)
U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_out_ggagaga(T23, T44, X9, T45, X10, T22, T9)) → pO_out_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9)
U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_out_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9)) → pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
GTE_IN_GG(s(T37), s(T38)) → GTE_IN_GG(T37, T38)
GTE_IN_GG(s(T37), s(T38)) → GTE_IN_GG(T37, T38)
From the DPs we obtained the following set of size-change graphs:
PG_IN_GGGAA(T61, T62, T63, X109, X110) → U17_GGGAA(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
U17_GGGAA(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → PARTF_IN_GGAA(T61, T63, X109, X110)
PARTF_IN_GGAA(T61, .(T62, T63), .(T62, X109), X110) → PG_IN_GGGAA(T61, T62, T63, X109, X110)
PARTF_IN_GGAA(T83, .(T84, T85), X155, .(T84, X156)) → PH_IN_GGGAA(T83, T84, T85, X155, X156)
PH_IN_GGGAA(T83, T84, T85, X155, X156) → U19_GGGAA(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
U19_GGGAA(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → PARTF_IN_GGAA(T83, T85, X155, X156)
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9))
pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9) → U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_in_gg(T22, T23))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_in_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9))
pO_in_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9) → U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_in_ggaa(T22, T24, T44, T45))
partF_in_ggaa(T61, .(T62, T63), .(T62, X109), X110) → U5_ggaa(T61, T62, T63, X109, X110, pG_in_gggaa(T61, T62, T63, X109, X110))
pG_in_gggaa(T61, T62, T63, X109, X110) → U17_gggaa(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
U17_gggaa(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, X109, X110, partF_in_ggaa(T61, T63, X109, X110))
partF_in_ggaa(T83, .(T84, T85), X155, .(T84, X156)) → U6_ggaa(T83, T84, T85, X155, X156, pH_in_gggaa(T83, T84, T85, X155, X156))
pH_in_gggaa(T83, T84, T85, X155, X156) → U19_gggaa(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
U19_gggaa(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, X155, X156, partF_in_ggaa(T83, T85, X155, X156))
partF_in_ggaa(T107, [], [], []) → partF_out_ggaa(T107, [], [], [])
U20_gggaa(T83, T84, T85, X155, X156, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U6_ggaa(T83, T84, T85, X155, X156, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
U18_gggaa(T61, T62, T63, X109, X110, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
U5_ggaa(T61, T62, T63, X109, X110, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_in_ggagaga(T23, T44, X9, T45, X10, T22, T9))
pP_in_ggagaga(T23, T44, T110, T45, X10, T22, T9) → U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_in_ga(.(T23, T44), T110))
qsA_in_ga(.(T234, .(T235, T236)), T9) → U2_ga(T234, T235, T236, T9, pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9))
pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9) → U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_in_gg(T234, T235))
U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_out_gg(T234, T235)) → U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_in_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9))
pT_in_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9) → U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_in_ggaa(T234, T236, T244, T245))
U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_out_ggaa(T234, T236, T244, T245)) → U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_in_gaggaga(T244, X9, T235, T245, X10, T234, T9))
pU_in_gaggaga(T244, T251, T235, T245, X10, T234, T9) → U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_in_ga(T244, T251))
qsJ_in_ga(.(T126, T127), X246) → U8_ga(T126, T127, X246, pK_in_ggaaaaa(T126, T127, X242, X243, X244, X245, X246))
pK_in_ggaaaaa(T126, T127, T131, T132, X244, X245, X246) → U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_in_gagaga(T131, X244, T132, X245, T126, X246))
pR_in_gagaga(T131, T138, T132, X245, T126, X246) → U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
qsJ_in_ga([], []) → qsJ_out_ga([], [])
U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → U26_gagaga(T131, T138, T132, X245, T126, X246, pS_in_gagga(T132, X245, T138, T126, X246))
pS_in_gagga(T132, T143, T138, T126, X246) → U27_gagga(T132, T143, T138, T126, X246, qsJ_in_ga(T132, T143))
U27_gagga(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → U28_gagga(T132, T143, T138, T126, X246, appL_in_ggga(T138, T126, T143, X246))
appL_in_ggga(.(T166, T167), T168, T169, .(T166, X322)) → U9_ggga(T166, T167, T168, T169, X322, appL_in_ggga(T167, T168, T169, X322))
appL_in_ggga([], T178, T179, .(T178, T179)) → appL_out_ggga([], T178, T179, .(T178, T179))
U9_ggga(T166, T167, T168, T169, X322, appL_out_ggga(T167, T168, T169, X322)) → appL_out_ggga(.(T166, T167), T168, T169, .(T166, X322))
U28_gagga(T132, T143, T138, T126, X246, appL_out_ggga(T138, T126, T143, X246)) → pS_out_gagga(T132, T143, T138, T126, X246)
U26_gagaga(T131, T138, T132, X245, T126, X246, pS_out_gagga(T132, X245, T138, T126, X246)) → pR_out_gagaga(T131, T138, T132, X245, T126, X246)
U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_out_gagaga(T131, X244, T132, X245, T126, X246)) → pK_out_ggaaaaa(T126, T127, T131, T132, X244, X245, X246)
U8_ga(T126, T127, X246, pK_out_ggaaaaa(T126, T127, X242, X243, X244, X245, X246)) → qsJ_out_ga(.(T126, T127), X246)
U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_out_ga(T244, T251)) → U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_in_gagga(.(T235, T245), X10, T251, T234, T9))
pQ_in_gagga(T45, T115, T110, T22, T9) → U21_gagga(T45, T115, T110, T22, T9, qsJ_in_ga(T45, T115))
U21_gagga(T45, T115, T110, T22, T9, qsJ_out_ga(T45, T115)) → U22_gagga(T45, T115, T110, T22, T9, appM_in_ggga(T110, T22, T115, T9))
appM_in_ggga(.(T205, T206), T207, T208, .(T205, T210)) → U10_ggga(T205, T206, T207, T208, T210, appM_in_ggga(T206, T207, T208, T210))
appM_in_ggga([], T220, T221, .(T220, T221)) → appM_out_ggga([], T220, T221, .(T220, T221))
U10_ggga(T205, T206, T207, T208, T210, appM_out_ggga(T206, T207, T208, T210)) → appM_out_ggga(.(T205, T206), T207, T208, .(T205, T210))
U22_gagga(T45, T115, T110, T22, T9, appM_out_ggga(T110, T22, T115, T9)) → pQ_out_gagga(T45, T115, T110, T22, T9)
U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_out_gagga(.(T235, T245), X10, T251, T234, T9)) → pU_out_gaggaga(T244, T251, T235, T245, X10, T234, T9)
U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_out_gaggaga(T244, X9, T235, T245, X10, T234, T9)) → pT_out_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9)
U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_out_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9)) → pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)
U2_ga(T234, T235, T236, T9, pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)) → qsA_out_ga(.(T234, .(T235, T236)), T9)
qsA_in_ga(.(T260, []), T9) → U3_ga(T260, T9, pD_in_aaga(X9, X10, T260, T9))
pD_in_aaga(T261, X10, T260, T9) → U35_aaga(T261, X10, T260, T9, qsN_in_a(T261))
qsN_in_a([]) → qsN_out_a([])
U35_aaga(T261, X10, T260, T9, qsN_out_a(T261)) → U36_aaga(T261, X10, T260, T9, pV_in_agga(X10, T261, T260, T9))
pV_in_agga(T262, T261, T260, T9) → U37_agga(T262, T261, T260, T9, qsN_in_a(T262))
U37_agga(T262, T261, T260, T9, qsN_out_a(T262)) → U38_agga(T262, T261, T260, T9, appM_in_ggga(T261, T260, T262, T9))
U38_agga(T262, T261, T260, T9, appM_out_ggga(T261, T260, T262, T9)) → pV_out_agga(T262, T261, T260, T9)
U36_aaga(T261, X10, T260, T9, pV_out_agga(X10, T261, T260, T9)) → pD_out_aaga(T261, X10, T260, T9)
U3_ga(T260, T9, pD_out_aaga(X9, X10, T260, T9)) → qsA_out_ga(.(T260, []), T9)
qsA_in_ga([], []) → qsA_out_ga([], [])
U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_out_ga(.(T23, T44), T110)) → U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_in_gagga(T45, X10, T110, T22, T9))
U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_out_gagga(T45, X10, T110, T22, T9)) → pP_out_ggagaga(T23, T44, T110, T45, X10, T22, T9)
U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_out_ggagaga(T23, T44, X9, T45, X10, T22, T9)) → pO_out_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9)
U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_out_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9)) → pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
PG_IN_GGGAA(T61, T62, T63, X109, X110) → U17_GGGAA(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
U17_GGGAA(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → PARTF_IN_GGAA(T61, T63, X109, X110)
PARTF_IN_GGAA(T61, .(T62, T63), .(T62, X109), X110) → PG_IN_GGGAA(T61, T62, T63, X109, X110)
PARTF_IN_GGAA(T83, .(T84, T85), X155, .(T84, X156)) → PH_IN_GGGAA(T83, T84, T85, X155, X156)
PH_IN_GGGAA(T83, T84, T85, X155, X156) → U19_GGGAA(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
U19_GGGAA(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → PARTF_IN_GGAA(T83, T85, X155, X156)
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
PG_IN_GGGAA(T61, T62, T63) → U17_GGGAA(T61, T62, T63, gtE_in_gg(T61, T62))
U17_GGGAA(T61, T62, T63, gtE_out_gg(T61, T62)) → PARTF_IN_GGAA(T61, T63)
PARTF_IN_GGAA(T61, .(T62, T63)) → PG_IN_GGGAA(T61, T62, T63)
PARTF_IN_GGAA(T83, .(T84, T85)) → PH_IN_GGGAA(T83, T84, T85)
PH_IN_GGGAA(T83, T84, T85) → U19_GGGAA(T83, T84, T85, leI_in_gg(T83, T84))
U19_GGGAA(T83, T84, T85, leI_out_gg(T83, T84)) → PARTF_IN_GGAA(T83, T85)
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
gtE_in_gg(x0, x1)
leI_in_gg(x0, x1)
U4_gg(x0, x1, x2)
U7_gg(x0, x1, x2)
From the DPs we obtained the following set of size-change graphs:
PK_IN_GGAAAAA(T126, T127, T131, T132, X244, X245, X246) → U23_GGAAAAA(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
U23_GGAAAAA(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → PR_IN_GAGAGA(T131, X244, T132, X245, T126, X246)
PR_IN_GAGAGA(T131, T138, T132, X245, T126, X246) → U25_GAGAGA(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
U25_GAGAGA(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → PS_IN_GAGGA(T132, X245, T138, T126, X246)
PS_IN_GAGGA(T132, T143, T138, T126, X246) → QSJ_IN_GA(T132, T143)
QSJ_IN_GA(.(T126, T127), X246) → PK_IN_GGAAAAA(T126, T127, X242, X243, X244, X245, X246)
PR_IN_GAGAGA(T131, T138, T132, X245, T126, X246) → QSJ_IN_GA(T131, T138)
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9))
pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9) → U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_in_gg(T22, T23))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_in_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9))
pO_in_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9) → U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_in_ggaa(T22, T24, T44, T45))
partF_in_ggaa(T61, .(T62, T63), .(T62, X109), X110) → U5_ggaa(T61, T62, T63, X109, X110, pG_in_gggaa(T61, T62, T63, X109, X110))
pG_in_gggaa(T61, T62, T63, X109, X110) → U17_gggaa(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
U17_gggaa(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, X109, X110, partF_in_ggaa(T61, T63, X109, X110))
partF_in_ggaa(T83, .(T84, T85), X155, .(T84, X156)) → U6_ggaa(T83, T84, T85, X155, X156, pH_in_gggaa(T83, T84, T85, X155, X156))
pH_in_gggaa(T83, T84, T85, X155, X156) → U19_gggaa(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
U19_gggaa(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, X155, X156, partF_in_ggaa(T83, T85, X155, X156))
partF_in_ggaa(T107, [], [], []) → partF_out_ggaa(T107, [], [], [])
U20_gggaa(T83, T84, T85, X155, X156, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U6_ggaa(T83, T84, T85, X155, X156, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
U18_gggaa(T61, T62, T63, X109, X110, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
U5_ggaa(T61, T62, T63, X109, X110, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_in_ggagaga(T23, T44, X9, T45, X10, T22, T9))
pP_in_ggagaga(T23, T44, T110, T45, X10, T22, T9) → U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_in_ga(.(T23, T44), T110))
qsA_in_ga(.(T234, .(T235, T236)), T9) → U2_ga(T234, T235, T236, T9, pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9))
pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9) → U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_in_gg(T234, T235))
U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_out_gg(T234, T235)) → U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_in_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9))
pT_in_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9) → U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_in_ggaa(T234, T236, T244, T245))
U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_out_ggaa(T234, T236, T244, T245)) → U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_in_gaggaga(T244, X9, T235, T245, X10, T234, T9))
pU_in_gaggaga(T244, T251, T235, T245, X10, T234, T9) → U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_in_ga(T244, T251))
qsJ_in_ga(.(T126, T127), X246) → U8_ga(T126, T127, X246, pK_in_ggaaaaa(T126, T127, X242, X243, X244, X245, X246))
pK_in_ggaaaaa(T126, T127, T131, T132, X244, X245, X246) → U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_in_gagaga(T131, X244, T132, X245, T126, X246))
pR_in_gagaga(T131, T138, T132, X245, T126, X246) → U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
qsJ_in_ga([], []) → qsJ_out_ga([], [])
U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → U26_gagaga(T131, T138, T132, X245, T126, X246, pS_in_gagga(T132, X245, T138, T126, X246))
pS_in_gagga(T132, T143, T138, T126, X246) → U27_gagga(T132, T143, T138, T126, X246, qsJ_in_ga(T132, T143))
U27_gagga(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → U28_gagga(T132, T143, T138, T126, X246, appL_in_ggga(T138, T126, T143, X246))
appL_in_ggga(.(T166, T167), T168, T169, .(T166, X322)) → U9_ggga(T166, T167, T168, T169, X322, appL_in_ggga(T167, T168, T169, X322))
appL_in_ggga([], T178, T179, .(T178, T179)) → appL_out_ggga([], T178, T179, .(T178, T179))
U9_ggga(T166, T167, T168, T169, X322, appL_out_ggga(T167, T168, T169, X322)) → appL_out_ggga(.(T166, T167), T168, T169, .(T166, X322))
U28_gagga(T132, T143, T138, T126, X246, appL_out_ggga(T138, T126, T143, X246)) → pS_out_gagga(T132, T143, T138, T126, X246)
U26_gagaga(T131, T138, T132, X245, T126, X246, pS_out_gagga(T132, X245, T138, T126, X246)) → pR_out_gagaga(T131, T138, T132, X245, T126, X246)
U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_out_gagaga(T131, X244, T132, X245, T126, X246)) → pK_out_ggaaaaa(T126, T127, T131, T132, X244, X245, X246)
U8_ga(T126, T127, X246, pK_out_ggaaaaa(T126, T127, X242, X243, X244, X245, X246)) → qsJ_out_ga(.(T126, T127), X246)
U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_out_ga(T244, T251)) → U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_in_gagga(.(T235, T245), X10, T251, T234, T9))
pQ_in_gagga(T45, T115, T110, T22, T9) → U21_gagga(T45, T115, T110, T22, T9, qsJ_in_ga(T45, T115))
U21_gagga(T45, T115, T110, T22, T9, qsJ_out_ga(T45, T115)) → U22_gagga(T45, T115, T110, T22, T9, appM_in_ggga(T110, T22, T115, T9))
appM_in_ggga(.(T205, T206), T207, T208, .(T205, T210)) → U10_ggga(T205, T206, T207, T208, T210, appM_in_ggga(T206, T207, T208, T210))
appM_in_ggga([], T220, T221, .(T220, T221)) → appM_out_ggga([], T220, T221, .(T220, T221))
U10_ggga(T205, T206, T207, T208, T210, appM_out_ggga(T206, T207, T208, T210)) → appM_out_ggga(.(T205, T206), T207, T208, .(T205, T210))
U22_gagga(T45, T115, T110, T22, T9, appM_out_ggga(T110, T22, T115, T9)) → pQ_out_gagga(T45, T115, T110, T22, T9)
U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_out_gagga(.(T235, T245), X10, T251, T234, T9)) → pU_out_gaggaga(T244, T251, T235, T245, X10, T234, T9)
U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_out_gaggaga(T244, X9, T235, T245, X10, T234, T9)) → pT_out_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9)
U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_out_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9)) → pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)
U2_ga(T234, T235, T236, T9, pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)) → qsA_out_ga(.(T234, .(T235, T236)), T9)
qsA_in_ga(.(T260, []), T9) → U3_ga(T260, T9, pD_in_aaga(X9, X10, T260, T9))
pD_in_aaga(T261, X10, T260, T9) → U35_aaga(T261, X10, T260, T9, qsN_in_a(T261))
qsN_in_a([]) → qsN_out_a([])
U35_aaga(T261, X10, T260, T9, qsN_out_a(T261)) → U36_aaga(T261, X10, T260, T9, pV_in_agga(X10, T261, T260, T9))
pV_in_agga(T262, T261, T260, T9) → U37_agga(T262, T261, T260, T9, qsN_in_a(T262))
U37_agga(T262, T261, T260, T9, qsN_out_a(T262)) → U38_agga(T262, T261, T260, T9, appM_in_ggga(T261, T260, T262, T9))
U38_agga(T262, T261, T260, T9, appM_out_ggga(T261, T260, T262, T9)) → pV_out_agga(T262, T261, T260, T9)
U36_aaga(T261, X10, T260, T9, pV_out_agga(X10, T261, T260, T9)) → pD_out_aaga(T261, X10, T260, T9)
U3_ga(T260, T9, pD_out_aaga(X9, X10, T260, T9)) → qsA_out_ga(.(T260, []), T9)
qsA_in_ga([], []) → qsA_out_ga([], [])
U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_out_ga(.(T23, T44), T110)) → U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_in_gagga(T45, X10, T110, T22, T9))
U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_out_gagga(T45, X10, T110, T22, T9)) → pP_out_ggagaga(T23, T44, T110, T45, X10, T22, T9)
U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_out_ggagaga(T23, T44, X9, T45, X10, T22, T9)) → pO_out_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9)
U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_out_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9)) → pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
PK_IN_GGAAAAA(T126, T127, T131, T132, X244, X245, X246) → U23_GGAAAAA(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
U23_GGAAAAA(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → PR_IN_GAGAGA(T131, X244, T132, X245, T126, X246)
PR_IN_GAGAGA(T131, T138, T132, X245, T126, X246) → U25_GAGAGA(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
U25_GAGAGA(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → PS_IN_GAGGA(T132, X245, T138, T126, X246)
PS_IN_GAGGA(T132, T143, T138, T126, X246) → QSJ_IN_GA(T132, T143)
QSJ_IN_GA(.(T126, T127), X246) → PK_IN_GGAAAAA(T126, T127, X242, X243, X244, X245, X246)
PR_IN_GAGAGA(T131, T138, T132, X245, T126, X246) → QSJ_IN_GA(T131, T138)
partF_in_ggaa(T61, .(T62, T63), .(T62, X109), X110) → U5_ggaa(T61, T62, T63, X109, X110, pG_in_gggaa(T61, T62, T63, X109, X110))
partF_in_ggaa(T83, .(T84, T85), X155, .(T84, X156)) → U6_ggaa(T83, T84, T85, X155, X156, pH_in_gggaa(T83, T84, T85, X155, X156))
partF_in_ggaa(T107, [], [], []) → partF_out_ggaa(T107, [], [], [])
qsJ_in_ga(.(T126, T127), X246) → U8_ga(T126, T127, X246, pK_in_ggaaaaa(T126, T127, X242, X243, X244, X245, X246))
qsJ_in_ga([], []) → qsJ_out_ga([], [])
U5_ggaa(T61, T62, T63, X109, X110, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U6_ggaa(T83, T84, T85, X155, X156, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
U8_ga(T126, T127, X246, pK_out_ggaaaaa(T126, T127, X242, X243, X244, X245, X246)) → qsJ_out_ga(.(T126, T127), X246)
pG_in_gggaa(T61, T62, T63, X109, X110) → U17_gggaa(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
pH_in_gggaa(T83, T84, T85, X155, X156) → U19_gggaa(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
pK_in_ggaaaaa(T126, T127, T131, T132, X244, X245, X246) → U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
U17_gggaa(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, X109, X110, partF_in_ggaa(T61, T63, X109, X110))
U19_gggaa(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, X155, X156, partF_in_ggaa(T83, T85, X155, X156))
U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_in_gagaga(T131, X244, T132, X245, T126, X246))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
U18_gggaa(T61, T62, T63, X109, X110, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U20_gggaa(T83, T84, T85, X155, X156, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_out_gagaga(T131, X244, T132, X245, T126, X246)) → pK_out_ggaaaaa(T126, T127, T131, T132, X244, X245, X246)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
pR_in_gagaga(T131, T138, T132, X245, T126, X246) → U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → U26_gagaga(T131, T138, T132, X245, T126, X246, pS_in_gagga(T132, X245, T138, T126, X246))
U26_gagaga(T131, T138, T132, X245, T126, X246, pS_out_gagga(T132, X245, T138, T126, X246)) → pR_out_gagaga(T131, T138, T132, X245, T126, X246)
pS_in_gagga(T132, T143, T138, T126, X246) → U27_gagga(T132, T143, T138, T126, X246, qsJ_in_ga(T132, T143))
U27_gagga(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → U28_gagga(T132, T143, T138, T126, X246, appL_in_ggga(T138, T126, T143, X246))
U28_gagga(T132, T143, T138, T126, X246, appL_out_ggga(T138, T126, T143, X246)) → pS_out_gagga(T132, T143, T138, T126, X246)
appL_in_ggga(.(T166, T167), T168, T169, .(T166, X322)) → U9_ggga(T166, T167, T168, T169, X322, appL_in_ggga(T167, T168, T169, X322))
appL_in_ggga([], T178, T179, .(T178, T179)) → appL_out_ggga([], T178, T179, .(T178, T179))
U9_ggga(T166, T167, T168, T169, X322, appL_out_ggga(T167, T168, T169, X322)) → appL_out_ggga(.(T166, T167), T168, T169, .(T166, X322))
PK_IN_GGAAAAA(T126, T127) → U23_GGAAAAA(T126, T127, partF_in_ggaa(T126, T127))
U23_GGAAAAA(T126, T127, partF_out_ggaa(T126, T127, T131, T132)) → PR_IN_GAGAGA(T131, T132, T126)
PR_IN_GAGAGA(T131, T132, T126) → U25_GAGAGA(T131, T132, T126, qsJ_in_ga(T131))
U25_GAGAGA(T131, T132, T126, qsJ_out_ga(T131, T138)) → PS_IN_GAGGA(T132, T138, T126)
PS_IN_GAGGA(T132, T138, T126) → QSJ_IN_GA(T132)
QSJ_IN_GA(.(T126, T127)) → PK_IN_GGAAAAA(T126, T127)
PR_IN_GAGAGA(T131, T132, T126) → QSJ_IN_GA(T131)
partF_in_ggaa(T61, .(T62, T63)) → U5_ggaa(T61, T62, T63, pG_in_gggaa(T61, T62, T63))
partF_in_ggaa(T83, .(T84, T85)) → U6_ggaa(T83, T84, T85, pH_in_gggaa(T83, T84, T85))
partF_in_ggaa(T107, []) → partF_out_ggaa(T107, [], [], [])
qsJ_in_ga(.(T126, T127)) → U8_ga(T126, T127, pK_in_ggaaaaa(T126, T127))
qsJ_in_ga([]) → qsJ_out_ga([], [])
U5_ggaa(T61, T62, T63, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U6_ggaa(T83, T84, T85, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
U8_ga(T126, T127, pK_out_ggaaaaa(T126, T127, X242, X243, X244, X245, X246)) → qsJ_out_ga(.(T126, T127), X246)
pG_in_gggaa(T61, T62, T63) → U17_gggaa(T61, T62, T63, gtE_in_gg(T61, T62))
pH_in_gggaa(T83, T84, T85) → U19_gggaa(T83, T84, T85, leI_in_gg(T83, T84))
pK_in_ggaaaaa(T126, T127) → U23_ggaaaaa(T126, T127, partF_in_ggaa(T126, T127))
U17_gggaa(T61, T62, T63, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, partF_in_ggaa(T61, T63))
U19_gggaa(T83, T84, T85, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, partF_in_ggaa(T83, T85))
U23_ggaaaaa(T126, T127, partF_out_ggaa(T126, T127, T131, T132)) → U24_ggaaaaa(T126, T127, T131, T132, pR_in_gagaga(T131, T132, T126))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
U18_gggaa(T61, T62, T63, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U20_gggaa(T83, T84, T85, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U24_ggaaaaa(T126, T127, T131, T132, pR_out_gagaga(T131, X244, T132, X245, T126, X246)) → pK_out_ggaaaaa(T126, T127, T131, T132, X244, X245, X246)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
pR_in_gagaga(T131, T132, T126) → U25_gagaga(T131, T132, T126, qsJ_in_ga(T131))
U25_gagaga(T131, T132, T126, qsJ_out_ga(T131, T138)) → U26_gagaga(T131, T138, T132, T126, pS_in_gagga(T132, T138, T126))
U26_gagaga(T131, T138, T132, T126, pS_out_gagga(T132, X245, T138, T126, X246)) → pR_out_gagaga(T131, T138, T132, X245, T126, X246)
pS_in_gagga(T132, T138, T126) → U27_gagga(T132, T138, T126, qsJ_in_ga(T132))
U27_gagga(T132, T138, T126, qsJ_out_ga(T132, T143)) → U28_gagga(T132, T143, T138, T126, appL_in_ggga(T138, T126, T143))
U28_gagga(T132, T143, T138, T126, appL_out_ggga(T138, T126, T143, X246)) → pS_out_gagga(T132, T143, T138, T126, X246)
appL_in_ggga(.(T166, T167), T168, T169) → U9_ggga(T166, T167, T168, T169, appL_in_ggga(T167, T168, T169))
appL_in_ggga([], T178, T179) → appL_out_ggga([], T178, T179, .(T178, T179))
U9_ggga(T166, T167, T168, T169, appL_out_ggga(T167, T168, T169, X322)) → appL_out_ggga(.(T166, T167), T168, T169, .(T166, X322))
partF_in_ggaa(x0, x1)
qsJ_in_ga(x0)
U5_ggaa(x0, x1, x2, x3)
U6_ggaa(x0, x1, x2, x3)
U8_ga(x0, x1, x2)
pG_in_gggaa(x0, x1, x2)
pH_in_gggaa(x0, x1, x2)
pK_in_ggaaaaa(x0, x1)
U17_gggaa(x0, x1, x2, x3)
U19_gggaa(x0, x1, x2, x3)
U23_ggaaaaa(x0, x1, x2)
gtE_in_gg(x0, x1)
U18_gggaa(x0, x1, x2, x3)
leI_in_gg(x0, x1)
U20_gggaa(x0, x1, x2, x3)
U24_ggaaaaa(x0, x1, x2, x3, x4)
U4_gg(x0, x1, x2)
U7_gg(x0, x1, x2)
pR_in_gagaga(x0, x1, x2)
U25_gagaga(x0, x1, x2, x3)
U26_gagaga(x0, x1, x2, x3, x4)
pS_in_gagga(x0, x1, x2)
U27_gagga(x0, x1, x2, x3)
U28_gagga(x0, x1, x2, x3, x4)
appL_in_ggga(x0, x1, x2)
U9_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.
PK_IN_GGAAAAA(T126, T127) → U23_GGAAAAA(T126, T127, partF_in_ggaa(T126, T127))
POL(.(x1, x2)) = 1 + x2
POL(0) = 0
POL(PK_IN_GGAAAAA(x1, x2)) = 1 + x2
POL(PR_IN_GAGAGA(x1, x2, x3)) = x1 + x2
POL(PS_IN_GAGGA(x1, x2, x3)) = x1
POL(QSJ_IN_GA(x1)) = x1
POL(U17_gggaa(x1, x2, x3, x4)) = 1 + x3
POL(U18_gggaa(x1, x2, x3, x4)) = 1 + x4
POL(U19_gggaa(x1, x2, x3, x4)) = x3
POL(U20_gggaa(x1, x2, x3, x4)) = x4
POL(U23_GGAAAAA(x1, x2, x3)) = x3
POL(U23_ggaaaaa(x1, x2, x3)) = 0
POL(U24_ggaaaaa(x1, x2, x3, x4, x5)) = 0
POL(U25_GAGAGA(x1, x2, x3, x4)) = x2
POL(U25_gagaga(x1, x2, x3, x4)) = 0
POL(U26_gagaga(x1, x2, x3, x4, x5)) = 0
POL(U27_gagga(x1, x2, x3, x4)) = 0
POL(U28_gagga(x1, x2, x3, x4, x5)) = 0
POL(U4_gg(x1, x2, x3)) = 0
POL(U5_ggaa(x1, x2, x3, x4)) = x4
POL(U6_ggaa(x1, x2, x3, x4)) = 1 + x4
POL(U7_gg(x1, x2, x3)) = 0
POL(U8_ga(x1, x2, x3)) = 0
POL(U9_ggga(x1, x2, x3, x4, x5)) = 0
POL([]) = 0
POL(appL_in_ggga(x1, x2, x3)) = 0
POL(appL_out_ggga(x1, x2, x3, x4)) = 0
POL(gtE_in_gg(x1, x2)) = 0
POL(gtE_out_gg(x1, x2)) = 0
POL(leI_in_gg(x1, x2)) = 0
POL(leI_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 + x5
POL(pH_in_gggaa(x1, x2, x3)) = x3
POL(pH_out_gggaa(x1, x2, x3, x4, x5)) = x4 + x5
POL(pK_in_ggaaaaa(x1, x2)) = 0
POL(pK_out_ggaaaaa(x1, x2, x3, x4, x5, x6, x7)) = 0
POL(pR_in_gagaga(x1, x2, x3)) = 0
POL(pR_out_gagaga(x1, x2, x3, x4, x5, x6)) = 0
POL(pS_in_gagga(x1, x2, x3)) = 0
POL(pS_out_gagga(x1, x2, x3, x4, x5)) = 0
POL(partF_in_ggaa(x1, x2)) = x2
POL(partF_out_ggaa(x1, x2, x3, x4)) = x3 + x4
POL(qsJ_in_ga(x1)) = 0
POL(qsJ_out_ga(x1, x2)) = 0
POL(s(x1)) = 0
partF_in_ggaa(T61, .(T62, T63)) → U5_ggaa(T61, T62, T63, pG_in_gggaa(T61, T62, T63))
partF_in_ggaa(T83, .(T84, T85)) → U6_ggaa(T83, T84, T85, pH_in_gggaa(T83, T84, T85))
partF_in_ggaa(T107, []) → partF_out_ggaa(T107, [], [], [])
pG_in_gggaa(T61, T62, T63) → U17_gggaa(T61, T62, T63, gtE_in_gg(T61, T62))
U17_gggaa(T61, T62, T63, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, partF_in_ggaa(T61, T63))
U18_gggaa(T61, T62, T63, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
U5_ggaa(T61, T62, T63, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U6_ggaa(T83, T84, T85, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
pH_in_gggaa(T83, T84, T85) → U19_gggaa(T83, T84, T85, leI_in_gg(T83, T84))
U19_gggaa(T83, T84, T85, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, partF_in_ggaa(T83, T85))
U20_gggaa(T83, T84, T85, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U23_GGAAAAA(T126, T127, partF_out_ggaa(T126, T127, T131, T132)) → PR_IN_GAGAGA(T131, T132, T126)
PR_IN_GAGAGA(T131, T132, T126) → U25_GAGAGA(T131, T132, T126, qsJ_in_ga(T131))
U25_GAGAGA(T131, T132, T126, qsJ_out_ga(T131, T138)) → PS_IN_GAGGA(T132, T138, T126)
PS_IN_GAGGA(T132, T138, T126) → QSJ_IN_GA(T132)
QSJ_IN_GA(.(T126, T127)) → PK_IN_GGAAAAA(T126, T127)
PR_IN_GAGAGA(T131, T132, T126) → QSJ_IN_GA(T131)
partF_in_ggaa(T61, .(T62, T63)) → U5_ggaa(T61, T62, T63, pG_in_gggaa(T61, T62, T63))
partF_in_ggaa(T83, .(T84, T85)) → U6_ggaa(T83, T84, T85, pH_in_gggaa(T83, T84, T85))
partF_in_ggaa(T107, []) → partF_out_ggaa(T107, [], [], [])
qsJ_in_ga(.(T126, T127)) → U8_ga(T126, T127, pK_in_ggaaaaa(T126, T127))
qsJ_in_ga([]) → qsJ_out_ga([], [])
U5_ggaa(T61, T62, T63, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U6_ggaa(T83, T84, T85, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
U8_ga(T126, T127, pK_out_ggaaaaa(T126, T127, X242, X243, X244, X245, X246)) → qsJ_out_ga(.(T126, T127), X246)
pG_in_gggaa(T61, T62, T63) → U17_gggaa(T61, T62, T63, gtE_in_gg(T61, T62))
pH_in_gggaa(T83, T84, T85) → U19_gggaa(T83, T84, T85, leI_in_gg(T83, T84))
pK_in_ggaaaaa(T126, T127) → U23_ggaaaaa(T126, T127, partF_in_ggaa(T126, T127))
U17_gggaa(T61, T62, T63, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, partF_in_ggaa(T61, T63))
U19_gggaa(T83, T84, T85, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, partF_in_ggaa(T83, T85))
U23_ggaaaaa(T126, T127, partF_out_ggaa(T126, T127, T131, T132)) → U24_ggaaaaa(T126, T127, T131, T132, pR_in_gagaga(T131, T132, T126))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
U18_gggaa(T61, T62, T63, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U20_gggaa(T83, T84, T85, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U24_ggaaaaa(T126, T127, T131, T132, pR_out_gagaga(T131, X244, T132, X245, T126, X246)) → pK_out_ggaaaaa(T126, T127, T131, T132, X244, X245, X246)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
pR_in_gagaga(T131, T132, T126) → U25_gagaga(T131, T132, T126, qsJ_in_ga(T131))
U25_gagaga(T131, T132, T126, qsJ_out_ga(T131, T138)) → U26_gagaga(T131, T138, T132, T126, pS_in_gagga(T132, T138, T126))
U26_gagaga(T131, T138, T132, T126, pS_out_gagga(T132, X245, T138, T126, X246)) → pR_out_gagaga(T131, T138, T132, X245, T126, X246)
pS_in_gagga(T132, T138, T126) → U27_gagga(T132, T138, T126, qsJ_in_ga(T132))
U27_gagga(T132, T138, T126, qsJ_out_ga(T132, T143)) → U28_gagga(T132, T143, T138, T126, appL_in_ggga(T138, T126, T143))
U28_gagga(T132, T143, T138, T126, appL_out_ggga(T138, T126, T143, X246)) → pS_out_gagga(T132, T143, T138, T126, X246)
appL_in_ggga(.(T166, T167), T168, T169) → U9_ggga(T166, T167, T168, T169, appL_in_ggga(T167, T168, T169))
appL_in_ggga([], T178, T179) → appL_out_ggga([], T178, T179, .(T178, T179))
U9_ggga(T166, T167, T168, T169, appL_out_ggga(T167, T168, T169, X322)) → appL_out_ggga(.(T166, T167), T168, T169, .(T166, X322))
partF_in_ggaa(x0, x1)
qsJ_in_ga(x0)
U5_ggaa(x0, x1, x2, x3)
U6_ggaa(x0, x1, x2, x3)
U8_ga(x0, x1, x2)
pG_in_gggaa(x0, x1, x2)
pH_in_gggaa(x0, x1, x2)
pK_in_ggaaaaa(x0, x1)
U17_gggaa(x0, x1, x2, x3)
U19_gggaa(x0, x1, x2, x3)
U23_ggaaaaa(x0, x1, x2)
gtE_in_gg(x0, x1)
U18_gggaa(x0, x1, x2, x3)
leI_in_gg(x0, x1)
U20_gggaa(x0, x1, x2, x3)
U24_ggaaaaa(x0, x1, x2, x3, x4)
U4_gg(x0, x1, x2)
U7_gg(x0, x1, x2)
pR_in_gagaga(x0, x1, x2)
U25_gagaga(x0, x1, x2, x3)
U26_gagaga(x0, x1, x2, x3, x4)
pS_in_gagga(x0, x1, x2)
U27_gagga(x0, x1, x2, x3)
U28_gagga(x0, x1, x2, x3, x4)
appL_in_ggga(x0, x1, x2)
U9_ggga(x0, x1, x2, x3, x4)
QSA_IN_GA(.(T22, .(T23, T24)), T9) → PB_IN_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9)
PB_IN_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9) → U11_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9, gtE_in_gg(T22, T23))
U11_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → PO_IN_GGAAGAAA(T22, T24, X44, X45, T23, X9, X10, T9)
PO_IN_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9) → U13_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9, partF_in_ggaa(T22, T24, T44, T45))
U13_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → PP_IN_GGAGAGA(T23, T44, X9, T45, X10, T22, T9)
PP_IN_GGAGAGA(T23, T44, T110, T45, X10, T22, T9) → QSA_IN_GA(.(T23, T44), T110)
qsA_in_ga(.(T22, .(T23, T24)), T9) → U1_ga(T22, T23, T24, T9, pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9))
pB_in_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9) → U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_in_gg(T22, T23))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U11_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_in_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9))
pO_in_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9) → U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_in_ggaa(T22, T24, T44, T45))
partF_in_ggaa(T61, .(T62, T63), .(T62, X109), X110) → U5_ggaa(T61, T62, T63, X109, X110, pG_in_gggaa(T61, T62, T63, X109, X110))
pG_in_gggaa(T61, T62, T63, X109, X110) → U17_gggaa(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
U17_gggaa(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, X109, X110, partF_in_ggaa(T61, T63, X109, X110))
partF_in_ggaa(T83, .(T84, T85), X155, .(T84, X156)) → U6_ggaa(T83, T84, T85, X155, X156, pH_in_gggaa(T83, T84, T85, X155, X156))
pH_in_gggaa(T83, T84, T85, X155, X156) → U19_gggaa(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
U19_gggaa(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, X155, X156, partF_in_ggaa(T83, T85, X155, X156))
partF_in_ggaa(T107, [], [], []) → partF_out_ggaa(T107, [], [], [])
U20_gggaa(T83, T84, T85, X155, X156, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U6_ggaa(T83, T84, T85, X155, X156, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
U18_gggaa(T61, T62, T63, X109, X110, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
U5_ggaa(T61, T62, T63, X109, X110, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U13_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_in_ggagaga(T23, T44, X9, T45, X10, T22, T9))
pP_in_ggagaga(T23, T44, T110, T45, X10, T22, T9) → U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_in_ga(.(T23, T44), T110))
qsA_in_ga(.(T234, .(T235, T236)), T9) → U2_ga(T234, T235, T236, T9, pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9))
pC_in_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9) → U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_in_gg(T234, T235))
U29_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, leI_out_gg(T234, T235)) → U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_in_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9))
pT_in_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9) → U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_in_ggaa(T234, T236, T244, T245))
U31_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, partF_out_ggaa(T234, T236, T244, T245)) → U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_in_gaggaga(T244, X9, T235, T245, X10, T234, T9))
pU_in_gaggaga(T244, T251, T235, T245, X10, T234, T9) → U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_in_ga(T244, T251))
qsJ_in_ga(.(T126, T127), X246) → U8_ga(T126, T127, X246, pK_in_ggaaaaa(T126, T127, X242, X243, X244, X245, X246))
pK_in_ggaaaaa(T126, T127, T131, T132, X244, X245, X246) → U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_in_ggaa(T126, T127, T131, T132))
U23_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, partF_out_ggaa(T126, T127, T131, T132)) → U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_in_gagaga(T131, X244, T132, X245, T126, X246))
pR_in_gagaga(T131, T138, T132, X245, T126, X246) → U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_in_ga(T131, T138))
qsJ_in_ga([], []) → qsJ_out_ga([], [])
U25_gagaga(T131, T138, T132, X245, T126, X246, qsJ_out_ga(T131, T138)) → U26_gagaga(T131, T138, T132, X245, T126, X246, pS_in_gagga(T132, X245, T138, T126, X246))
pS_in_gagga(T132, T143, T138, T126, X246) → U27_gagga(T132, T143, T138, T126, X246, qsJ_in_ga(T132, T143))
U27_gagga(T132, T143, T138, T126, X246, qsJ_out_ga(T132, T143)) → U28_gagga(T132, T143, T138, T126, X246, appL_in_ggga(T138, T126, T143, X246))
appL_in_ggga(.(T166, T167), T168, T169, .(T166, X322)) → U9_ggga(T166, T167, T168, T169, X322, appL_in_ggga(T167, T168, T169, X322))
appL_in_ggga([], T178, T179, .(T178, T179)) → appL_out_ggga([], T178, T179, .(T178, T179))
U9_ggga(T166, T167, T168, T169, X322, appL_out_ggga(T167, T168, T169, X322)) → appL_out_ggga(.(T166, T167), T168, T169, .(T166, X322))
U28_gagga(T132, T143, T138, T126, X246, appL_out_ggga(T138, T126, T143, X246)) → pS_out_gagga(T132, T143, T138, T126, X246)
U26_gagaga(T131, T138, T132, X245, T126, X246, pS_out_gagga(T132, X245, T138, T126, X246)) → pR_out_gagaga(T131, T138, T132, X245, T126, X246)
U24_ggaaaaa(T126, T127, T131, T132, X244, X245, X246, pR_out_gagaga(T131, X244, T132, X245, T126, X246)) → pK_out_ggaaaaa(T126, T127, T131, T132, X244, X245, X246)
U8_ga(T126, T127, X246, pK_out_ggaaaaa(T126, T127, X242, X243, X244, X245, X246)) → qsJ_out_ga(.(T126, T127), X246)
U33_gaggaga(T244, T251, T235, T245, X10, T234, T9, qsJ_out_ga(T244, T251)) → U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_in_gagga(.(T235, T245), X10, T251, T234, T9))
pQ_in_gagga(T45, T115, T110, T22, T9) → U21_gagga(T45, T115, T110, T22, T9, qsJ_in_ga(T45, T115))
U21_gagga(T45, T115, T110, T22, T9, qsJ_out_ga(T45, T115)) → U22_gagga(T45, T115, T110, T22, T9, appM_in_ggga(T110, T22, T115, T9))
appM_in_ggga(.(T205, T206), T207, T208, .(T205, T210)) → U10_ggga(T205, T206, T207, T208, T210, appM_in_ggga(T206, T207, T208, T210))
appM_in_ggga([], T220, T221, .(T220, T221)) → appM_out_ggga([], T220, T221, .(T220, T221))
U10_ggga(T205, T206, T207, T208, T210, appM_out_ggga(T206, T207, T208, T210)) → appM_out_ggga(.(T205, T206), T207, T208, .(T205, T210))
U22_gagga(T45, T115, T110, T22, T9, appM_out_ggga(T110, T22, T115, T9)) → pQ_out_gagga(T45, T115, T110, T22, T9)
U34_gaggaga(T244, T251, T235, T245, X10, T234, T9, pQ_out_gagga(.(T235, T245), X10, T251, T234, T9)) → pU_out_gaggaga(T244, T251, T235, T245, X10, T234, T9)
U32_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9, pU_out_gaggaga(T244, X9, T235, T245, X10, T234, T9)) → pT_out_ggaaagaa(T234, T236, T244, T245, X9, T235, X10, T9)
U30_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9, pT_out_ggaaagaa(T234, T236, X395, X396, X9, T235, X10, T9)) → pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)
U2_ga(T234, T235, T236, T9, pC_out_gggaaaaa(T234, T235, T236, X395, X396, X9, X10, T9)) → qsA_out_ga(.(T234, .(T235, T236)), T9)
qsA_in_ga(.(T260, []), T9) → U3_ga(T260, T9, pD_in_aaga(X9, X10, T260, T9))
pD_in_aaga(T261, X10, T260, T9) → U35_aaga(T261, X10, T260, T9, qsN_in_a(T261))
qsN_in_a([]) → qsN_out_a([])
U35_aaga(T261, X10, T260, T9, qsN_out_a(T261)) → U36_aaga(T261, X10, T260, T9, pV_in_agga(X10, T261, T260, T9))
pV_in_agga(T262, T261, T260, T9) → U37_agga(T262, T261, T260, T9, qsN_in_a(T262))
U37_agga(T262, T261, T260, T9, qsN_out_a(T262)) → U38_agga(T262, T261, T260, T9, appM_in_ggga(T261, T260, T262, T9))
U38_agga(T262, T261, T260, T9, appM_out_ggga(T261, T260, T262, T9)) → pV_out_agga(T262, T261, T260, T9)
U36_aaga(T261, X10, T260, T9, pV_out_agga(X10, T261, T260, T9)) → pD_out_aaga(T261, X10, T260, T9)
U3_ga(T260, T9, pD_out_aaga(X9, X10, T260, T9)) → qsA_out_ga(.(T260, []), T9)
qsA_in_ga([], []) → qsA_out_ga([], [])
U15_ggagaga(T23, T44, T110, T45, X10, T22, T9, qsA_out_ga(.(T23, T44), T110)) → U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_in_gagga(T45, X10, T110, T22, T9))
U16_ggagaga(T23, T44, T110, T45, X10, T22, T9, pQ_out_gagga(T45, X10, T110, T22, T9)) → pP_out_ggagaga(T23, T44, T110, T45, X10, T22, T9)
U14_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9, pP_out_ggagaga(T23, T44, X9, T45, X10, T22, T9)) → pO_out_ggaagaaa(T22, T24, T44, T45, T23, X9, X10, T9)
U12_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9, pO_out_ggaagaaa(T22, T24, X44, X45, T23, X9, X10, T9)) → pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)
U1_ga(T22, T23, T24, T9, pB_out_gggaaaaa(T22, T23, T24, X44, X45, X9, X10, T9)) → qsA_out_ga(.(T22, .(T23, T24)), T9)
QSA_IN_GA(.(T22, .(T23, T24)), T9) → PB_IN_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9)
PB_IN_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9) → U11_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9, gtE_in_gg(T22, T23))
U11_GGGAAAAA(T22, T23, T24, X44, X45, X9, X10, T9, gtE_out_gg(T22, T23)) → PO_IN_GGAAGAAA(T22, T24, X44, X45, T23, X9, X10, T9)
PO_IN_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9) → U13_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9, partF_in_ggaa(T22, T24, T44, T45))
U13_GGAAGAAA(T22, T24, T44, T45, T23, X9, X10, T9, partF_out_ggaa(T22, T24, T44, T45)) → PP_IN_GGAGAGA(T23, T44, X9, T45, X10, T22, T9)
PP_IN_GGAGAGA(T23, T44, T110, T45, X10, T22, T9) → QSA_IN_GA(.(T23, T44), T110)
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
partF_in_ggaa(T61, .(T62, T63), .(T62, X109), X110) → U5_ggaa(T61, T62, T63, X109, X110, pG_in_gggaa(T61, T62, T63, X109, X110))
partF_in_ggaa(T83, .(T84, T85), X155, .(T84, X156)) → U6_ggaa(T83, T84, T85, X155, X156, pH_in_gggaa(T83, T84, T85, X155, X156))
partF_in_ggaa(T107, [], [], []) → partF_out_ggaa(T107, [], [], [])
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U5_ggaa(T61, T62, T63, X109, X110, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U6_ggaa(T83, T84, T85, X155, X156, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
pG_in_gggaa(T61, T62, T63, X109, X110) → U17_gggaa(T61, T62, T63, X109, X110, gtE_in_gg(T61, T62))
pH_in_gggaa(T83, T84, T85, X155, X156) → U19_gggaa(T83, T84, T85, X155, X156, leI_in_gg(T83, T84))
U17_gggaa(T61, T62, T63, X109, X110, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, X109, X110, partF_in_ggaa(T61, T63, X109, X110))
U19_gggaa(T83, T84, T85, X155, X156, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, X155, X156, partF_in_ggaa(T83, T85, X155, X156))
U18_gggaa(T61, T62, T63, X109, X110, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U20_gggaa(T83, T84, T85, X155, X156, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
QSA_IN_GA(.(T22, .(T23, T24))) → PB_IN_GGGAAAAA(T22, T23, T24)
PB_IN_GGGAAAAA(T22, T23, T24) → U11_GGGAAAAA(T22, T23, T24, gtE_in_gg(T22, T23))
U11_GGGAAAAA(T22, T23, T24, gtE_out_gg(T22, T23)) → PO_IN_GGAAGAAA(T22, T24, T23)
PO_IN_GGAAGAAA(T22, T24, T23) → U13_GGAAGAAA(T22, T24, T23, partF_in_ggaa(T22, T24))
U13_GGAAGAAA(T22, T24, T23, partF_out_ggaa(T22, T24, T44, T45)) → PP_IN_GGAGAGA(T23, T44, T45, T22)
PP_IN_GGAGAGA(T23, T44, T45, T22) → QSA_IN_GA(.(T23, T44))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
partF_in_ggaa(T61, .(T62, T63)) → U5_ggaa(T61, T62, T63, pG_in_gggaa(T61, T62, T63))
partF_in_ggaa(T83, .(T84, T85)) → U6_ggaa(T83, T84, T85, pH_in_gggaa(T83, T84, T85))
partF_in_ggaa(T107, []) → partF_out_ggaa(T107, [], [], [])
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U5_ggaa(T61, T62, T63, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U6_ggaa(T83, T84, T85, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
pG_in_gggaa(T61, T62, T63) → U17_gggaa(T61, T62, T63, gtE_in_gg(T61, T62))
pH_in_gggaa(T83, T84, T85) → U19_gggaa(T83, T84, T85, leI_in_gg(T83, T84))
U17_gggaa(T61, T62, T63, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, partF_in_ggaa(T61, T63))
U19_gggaa(T83, T84, T85, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, partF_in_ggaa(T83, T85))
U18_gggaa(T61, T62, T63, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U20_gggaa(T83, T84, T85, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
gtE_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)
pH_in_gggaa(x0, x1, x2)
U17_gggaa(x0, x1, x2, x3)
U19_gggaa(x0, x1, x2, x3)
U18_gggaa(x0, x1, x2, x3)
leI_in_gg(x0, x1)
U20_gggaa(x0, x1, x2, x3)
U7_gg(x0, x1, x2)
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
U11_GGGAAAAA(T22, T23, T24, gtE_out_gg(T22, T23)) → PO_IN_GGAAGAAA(T22, T24, T23)
POL(.(x1, x2)) = x1
POL(0) = 0
POL(PB_IN_GGGAAAAA(x1, x2, x3)) = x1
POL(PO_IN_GGAAGAAA(x1, x2, x3)) = x3
POL(PP_IN_GGAGAGA(x1, x2, x3, x4)) = x1
POL(QSA_IN_GA(x1)) = x1
POL(U11_GGGAAAAA(x1, x2, x3, x4)) = x4
POL(U13_GGAAGAAA(x1, x2, x3, x4)) = x3
POL(U17_gggaa(x1, x2, x3, x4)) = 0
POL(U18_gggaa(x1, x2, x3, x4)) = 0
POL(U19_gggaa(x1, x2, x3, x4)) = 0
POL(U20_gggaa(x1, x2, x3, x4)) = 0
POL(U4_gg(x1, x2, x3)) = 1 + x3
POL(U5_ggaa(x1, x2, x3, x4)) = 0
POL(U6_ggaa(x1, x2, x3, x4)) = 0
POL(U7_gg(x1, x2, x3)) = 1 + x2
POL([]) = 0
POL(gtE_in_gg(x1, x2)) = x1
POL(gtE_out_gg(x1, x2)) = 1 + x2
POL(leI_in_gg(x1, x2)) = 1 + x1 + x2
POL(leI_out_gg(x1, x2)) = x2
POL(pG_in_gggaa(x1, x2, x3)) = 0
POL(pG_out_gggaa(x1, x2, x3, x4, x5)) = 0
POL(pH_in_gggaa(x1, x2, x3)) = 0
POL(pH_out_gggaa(x1, x2, x3, x4, x5)) = 0
POL(partF_in_ggaa(x1, x2)) = 0
POL(partF_out_ggaa(x1, x2, x3, x4)) = 0
POL(s(x1)) = 1 + x1
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
QSA_IN_GA(.(T22, .(T23, T24))) → PB_IN_GGGAAAAA(T22, T23, T24)
PB_IN_GGGAAAAA(T22, T23, T24) → U11_GGGAAAAA(T22, T23, T24, gtE_in_gg(T22, T23))
PO_IN_GGAAGAAA(T22, T24, T23) → U13_GGAAGAAA(T22, T24, T23, partF_in_ggaa(T22, T24))
U13_GGAAGAAA(T22, T24, T23, partF_out_ggaa(T22, T24, T44, T45)) → PP_IN_GGAGAGA(T23, T44, T45, T22)
PP_IN_GGAGAGA(T23, T44, T45, T22) → QSA_IN_GA(.(T23, T44))
gtE_in_gg(s(T37), s(T38)) → U4_gg(T37, T38, gtE_in_gg(T37, T38))
gtE_in_gg(s(0), 0) → gtE_out_gg(s(0), 0)
partF_in_ggaa(T61, .(T62, T63)) → U5_ggaa(T61, T62, T63, pG_in_gggaa(T61, T62, T63))
partF_in_ggaa(T83, .(T84, T85)) → U6_ggaa(T83, T84, T85, pH_in_gggaa(T83, T84, T85))
partF_in_ggaa(T107, []) → partF_out_ggaa(T107, [], [], [])
U4_gg(T37, T38, gtE_out_gg(T37, T38)) → gtE_out_gg(s(T37), s(T38))
U5_ggaa(T61, T62, T63, pG_out_gggaa(T61, T62, T63, X109, X110)) → partF_out_ggaa(T61, .(T62, T63), .(T62, X109), X110)
U6_ggaa(T83, T84, T85, pH_out_gggaa(T83, T84, T85, X155, X156)) → partF_out_ggaa(T83, .(T84, T85), X155, .(T84, X156))
pG_in_gggaa(T61, T62, T63) → U17_gggaa(T61, T62, T63, gtE_in_gg(T61, T62))
pH_in_gggaa(T83, T84, T85) → U19_gggaa(T83, T84, T85, leI_in_gg(T83, T84))
U17_gggaa(T61, T62, T63, gtE_out_gg(T61, T62)) → U18_gggaa(T61, T62, T63, partF_in_ggaa(T61, T63))
U19_gggaa(T83, T84, T85, leI_out_gg(T83, T84)) → U20_gggaa(T83, T84, T85, partF_in_ggaa(T83, T85))
U18_gggaa(T61, T62, T63, partF_out_ggaa(T61, T63, X109, X110)) → pG_out_gggaa(T61, T62, T63, X109, X110)
leI_in_gg(s(T98), s(T99)) → U7_gg(T98, T99, leI_in_gg(T98, T99))
leI_in_gg(0, s(0)) → leI_out_gg(0, s(0))
leI_in_gg(0, 0) → leI_out_gg(0, 0)
U20_gggaa(T83, T84, T85, partF_out_ggaa(T83, T85, X155, X156)) → pH_out_gggaa(T83, T84, T85, X155, X156)
U7_gg(T98, T99, leI_out_gg(T98, T99)) → leI_out_gg(s(T98), s(T99))
gtE_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)
pH_in_gggaa(x0, x1, x2)
U17_gggaa(x0, x1, x2, x3)
U19_gggaa(x0, x1, x2, x3)
U18_gggaa(x0, x1, x2, x3)
leI_in_gg(x0, x1)
U20_gggaa(x0, x1, x2, x3)
U7_gg(x0, x1, x2)