0 Prolog
↳1 PrologToPiTRSViaGraphTransformerProof (⇒, 393 ms)
↳2 PiTRS
↳3 DependencyPairsProof (⇔, 707 ms)
↳4 PiDP
↳5 DependencyGraphProof (⇔, 109 ms)
↳6 AND
↳7 PiDP
↳8 UsableRulesProof (⇔, 0 ms)
↳9 PiDP
↳10 PiDPToQDPProof (⇒, 19 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 QDPSizeChangeProof (⇔, 0 ms)
↳48 YES
↳49 PiDP
↳50 UsableRulesProof (⇔, 0 ms)
↳51 PiDP
↳52 PiDPToQDPProof (⇒, 28 ms)
↳53 QDP
↳54 Rewriting (⇔, 79 ms)
↳55 QDP
↳56 UsableRulesProof (⇔, 0 ms)
↳57 QDP
↳58 QReductionProof (⇔, 46 ms)
↳59 QDP
↳60 Rewriting (⇔, 94 ms)
↳61 QDP
↳62 UsableRulesProof (⇔, 0 ms)
↳63 QDP
↳64 QReductionProof (⇔, 26 ms)
↳65 QDP
↳66 Instantiation (⇔, 0 ms)
↳67 QDP
↳68 QDPOrderProof (⇔, 314 ms)
↳69 QDP
↳70 DependencyGraphProof (⇔, 0 ms)
↳71 QDP
↳72 UsableRulesProof (⇔, 0 ms)
↳73 QDP
↳74 QReductionProof (⇔, 0 ms)
↳75 QDP
↳76 QDPOrderProof (⇔, 83 ms)
↳77 QDP
↳78 DependencyGraphProof (⇔, 0 ms)
↳79 TRUE
parseA_in_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → U1_ga(T24, T25, T26, T27, T7, pB_in_ggggaa(T24, T25, T26, T27, X10, T7))
pB_in_ggggaa(T24, T25, T26, T27, T33, T7) → U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_in_gggga(T24, T25, T26, T27, T33))
appL_in_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57)) → appL_out_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57))
U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_in_ga(T33, T7))
parseA_in_ga(.(T68, T69), T7) → U2_ga(T68, T69, T7, pC_in_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7))
pC_in_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7) → U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_in_aaaaag(T78, T79, T80, T81, T82, T69))
appF_in_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_in_aaaaag(X184, X185, X186, X187, X188, T116))
U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7))
pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7) → U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
appM_in_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220)) → U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_in_ggggga(T147, T148, T149, T150, T151, X220))
appG_in_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179)) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_in_ggggga(T193, T194, T195, T196, T197, X242))
U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_in_ga(T125, T7))
parseA_in_ga(T230, T232) → U3_ga(T230, T232, pD_in_aaaagaa(X289, X290, X291, X292, T230, X293, T232))
pD_in_aaaagaa(T239, T240, T241, T242, T230, X293, T232) → U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_in_aaaag(T239, T240, T241, T242, T230))
appH_in_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269)) → U7_aaaag(T268, X353, X354, X355, X356, T269, appH_in_aaaag(X353, X354, X355, X356, T269))
U7_aaaag(T268, X353, X354, X355, X356, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_in_ggggaa(T239, T240, T241, T242, X293, T232))
pO_in_ggggaa(T239, T240, T241, T242, T282, T232) → U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_in_gggga(T239, T240, T241, T242, T282))
appI_in_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303)) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318, .(T314, X388)) → U8_gggga(T314, T315, T316, T317, T318, X388, appI_in_gggga(T315, T316, T317, T318, X388))
U8_gggga(T314, T315, T316, T317, T318, X388, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_in_ga(T282, T232))
parseA_in_ga(T341, T343) → U4_ga(T341, T343, pE_in_aagaa(X423, X424, T341, X425, T343))
pE_in_aagaa(T346, T347, T341, X425, T343) → U22_aagaa(T346, T347, T341, X425, T343, appJ_in_aag(T346, T347, T341))
appJ_in_aag([], T354, .(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, X463), X464, .(T359, T360)) → U9_aag(T359, X463, X464, T360, appJ_in_aag(X463, X464, T360))
U9_aag(T359, X463, X464, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
U22_aagaa(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → U23_aagaa(T346, T347, T341, X425, T343, pP_in_ggaa(T346, T347, X425, T343))
pP_in_ggaa(T346, T347, T365, T343) → U24_ggaa(T346, T347, T365, T343, appK_in_gga(T346, T347, T365))
appK_in_gga([], T372, .(s(a, b), T372)) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381, .(T379, X492)) → U10_gga(T379, T380, T381, X492, appK_in_gga(T380, T381, X492))
U10_gga(T379, T380, T381, X492, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
U24_ggaa(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → U25_ggaa(T346, T347, T365, T343, parseA_in_ga(T365, T343))
parseA_in_ga(.(s(T394, T395), []), s(T394, T395)) → parseA_out_ga(.(s(T394, T395), []), s(T394, T395))
parseA_in_ga(.(s(T402, T403, T404), []), s(T402, T403, T404)) → parseA_out_ga(.(s(T402, T403, T404), []), s(T402, T403, T404))
U25_ggaa(T346, T347, T365, T343, parseA_out_ga(T365, T343)) → pP_out_ggaa(T346, T347, T365, T343)
U23_aagaa(T346, T347, T341, X425, T343, pP_out_ggaa(T346, T347, X425, T343)) → pE_out_aagaa(T346, T347, T341, X425, T343)
U4_ga(T341, T343, pE_out_aagaa(X423, X424, T341, X425, T343)) → parseA_out_ga(T341, T343)
U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_out_ga(T282, T232)) → pO_out_ggggaa(T239, T240, T241, T242, T282, T232)
U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_out_ggggaa(T239, T240, T241, T242, X293, T232)) → pD_out_aaaagaa(T239, T240, T241, T242, T230, X293, T232)
U3_ga(T230, T232, pD_out_aaaagaa(X289, X290, X291, X292, T230, X293, T232)) → parseA_out_ga(T230, T232)
U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_out_ga(T125, T7)) → pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7)
U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7)) → pC_out_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7)
U2_ga(T68, T69, T7, pC_out_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7)) → parseA_out_ga(.(T68, T69), T7)
U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_out_ga(T33, T7)) → pB_out_ggggaa(T24, T25, T26, T27, T33, T7)
U1_ga(T24, T25, T26, T27, T7, pB_out_ggggaa(T24, T25, T26, T27, X10, T7)) → parseA_out_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7)
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → U1_GA(T24, T25, T26, T27, T7, pB_in_ggggaa(T24, T25, T26, T27, X10, T7))
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → PB_IN_GGGGAA(T24, T25, T26, T27, X10, T7)
PB_IN_GGGGAA(T24, T25, T26, T27, T33, T7) → U12_GGGGAA(T24, T25, T26, T27, T33, T7, appL_in_gggga(T24, T25, T26, T27, T33))
PB_IN_GGGGAA(T24, T25, T26, T27, T33, T7) → APPL_IN_GGGGA(T24, T25, T26, T27, T33)
U12_GGGGAA(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → U13_GGGGAA(T24, T25, T26, T27, T33, T7, parseA_in_ga(T33, T7))
U12_GGGGAA(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → PARSEA_IN_GA(T33, T7)
PARSEA_IN_GA(.(T68, T69), T7) → U2_GA(T68, T69, T7, pC_in_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7))
PARSEA_IN_GA(.(T68, T69), T7) → PC_IN_AAAAAGGAA(X109, X110, X111, X112, X113, T69, T68, X10, T7)
PC_IN_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7) → U14_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_in_aaaaag(T78, T79, T80, T81, T82, T69))
PC_IN_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7) → APPF_IN_AAAAAG(T78, T79, T80, T81, T82, T69)
APPF_IN_AAAAAG(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → U5_AAAAAG(T115, X184, X185, X186, X187, X188, T116, appF_in_aaaaag(X184, X185, X186, X187, X188, T116))
APPF_IN_AAAAAG(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → APPF_IN_AAAAAG(X184, X185, X186, X187, X188, T116)
U14_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U15_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7))
U14_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82, X10, T7)
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7) → U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7, appM_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7) → APPM_IN_GGGGGGA(T68, T78, T79, T80, T81, T82, T125)
APPM_IN_GGGGGGA(T146, T147, T148, T149, T150, T151, .(T146, X220)) → U11_GGGGGGA(T146, T147, T148, T149, T150, T151, X220, appG_in_ggggga(T147, T148, T149, T150, T151, X220))
APPM_IN_GGGGGGA(T146, T147, T148, T149, T150, T151, .(T146, X220)) → APPG_IN_GGGGGA(T147, T148, T149, T150, T151, X220)
APPG_IN_GGGGGA(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → U6_GGGGGA(T192, T193, T194, T195, T196, T197, X242, appG_in_ggggga(T193, T194, T195, T196, T197, X242))
APPG_IN_GGGGGA(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → APPG_IN_GGGGGA(T193, T194, T195, T196, T197, X242)
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U17_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7, parseA_in_ga(T125, T7))
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEA_IN_GA(T125, T7)
PARSEA_IN_GA(T230, T232) → U3_GA(T230, T232, pD_in_aaaagaa(X289, X290, X291, X292, T230, X293, T232))
PARSEA_IN_GA(T230, T232) → PD_IN_AAAAGAA(X289, X290, X291, X292, T230, X293, T232)
PD_IN_AAAAGAA(T239, T240, T241, T242, T230, X293, T232) → U18_AAAAGAA(T239, T240, T241, T242, T230, X293, T232, appH_in_aaaag(T239, T240, T241, T242, T230))
PD_IN_AAAAGAA(T239, T240, T241, T242, T230, X293, T232) → APPH_IN_AAAAG(T239, T240, T241, T242, T230)
APPH_IN_AAAAG(.(T268, X353), X354, X355, X356, .(T268, T269)) → U7_AAAAG(T268, X353, X354, X355, X356, T269, appH_in_aaaag(X353, X354, X355, X356, T269))
APPH_IN_AAAAG(.(T268, X353), X354, X355, X356, .(T268, T269)) → APPH_IN_AAAAG(X353, X354, X355, X356, T269)
U18_AAAAGAA(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → U19_AAAAGAA(T239, T240, T241, T242, T230, X293, T232, pO_in_ggggaa(T239, T240, T241, T242, X293, T232))
U18_AAAAGAA(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242, X293, T232)
PO_IN_GGGGAA(T239, T240, T241, T242, T282, T232) → U20_GGGGAA(T239, T240, T241, T242, T282, T232, appI_in_gggga(T239, T240, T241, T242, T282))
PO_IN_GGGGAA(T239, T240, T241, T242, T282, T232) → APPI_IN_GGGGA(T239, T240, T241, T242, T282)
APPI_IN_GGGGA(.(T314, T315), T316, T317, T318, .(T314, X388)) → U8_GGGGA(T314, T315, T316, T317, T318, X388, appI_in_gggga(T315, T316, T317, T318, X388))
APPI_IN_GGGGA(.(T314, T315), T316, T317, T318, .(T314, X388)) → APPI_IN_GGGGA(T315, T316, T317, T318, X388)
U20_GGGGAA(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → U21_GGGGAA(T239, T240, T241, T242, T282, T232, parseA_in_ga(T282, T232))
U20_GGGGAA(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282, T232)
PARSEA_IN_GA(T341, T343) → U4_GA(T341, T343, pE_in_aagaa(X423, X424, T341, X425, T343))
PARSEA_IN_GA(T341, T343) → PE_IN_AAGAA(X423, X424, T341, X425, T343)
PE_IN_AAGAA(T346, T347, T341, X425, T343) → U22_AAGAA(T346, T347, T341, X425, T343, appJ_in_aag(T346, T347, T341))
PE_IN_AAGAA(T346, T347, T341, X425, T343) → APPJ_IN_AAG(T346, T347, T341)
APPJ_IN_AAG(.(T359, X463), X464, .(T359, T360)) → U9_AAG(T359, X463, X464, T360, appJ_in_aag(X463, X464, T360))
APPJ_IN_AAG(.(T359, X463), X464, .(T359, T360)) → APPJ_IN_AAG(X463, X464, T360)
U22_AAGAA(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → U23_AAGAA(T346, T347, T341, X425, T343, pP_in_ggaa(T346, T347, X425, T343))
U22_AAGAA(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → PP_IN_GGAA(T346, T347, X425, T343)
PP_IN_GGAA(T346, T347, T365, T343) → U24_GGAA(T346, T347, T365, T343, appK_in_gga(T346, T347, T365))
PP_IN_GGAA(T346, T347, T365, T343) → APPK_IN_GGA(T346, T347, T365)
APPK_IN_GGA(.(T379, T380), T381, .(T379, X492)) → U10_GGA(T379, T380, T381, X492, appK_in_gga(T380, T381, X492))
APPK_IN_GGA(.(T379, T380), T381, .(T379, X492)) → APPK_IN_GGA(T380, T381, X492)
U24_GGAA(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → U25_GGAA(T346, T347, T365, T343, parseA_in_ga(T365, T343))
U24_GGAA(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → PARSEA_IN_GA(T365, T343)
parseA_in_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → U1_ga(T24, T25, T26, T27, T7, pB_in_ggggaa(T24, T25, T26, T27, X10, T7))
pB_in_ggggaa(T24, T25, T26, T27, T33, T7) → U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_in_gggga(T24, T25, T26, T27, T33))
appL_in_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57)) → appL_out_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57))
U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_in_ga(T33, T7))
parseA_in_ga(.(T68, T69), T7) → U2_ga(T68, T69, T7, pC_in_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7))
pC_in_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7) → U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_in_aaaaag(T78, T79, T80, T81, T82, T69))
appF_in_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_in_aaaaag(X184, X185, X186, X187, X188, T116))
U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7))
pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7) → U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
appM_in_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220)) → U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_in_ggggga(T147, T148, T149, T150, T151, X220))
appG_in_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179)) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_in_ggggga(T193, T194, T195, T196, T197, X242))
U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_in_ga(T125, T7))
parseA_in_ga(T230, T232) → U3_ga(T230, T232, pD_in_aaaagaa(X289, X290, X291, X292, T230, X293, T232))
pD_in_aaaagaa(T239, T240, T241, T242, T230, X293, T232) → U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_in_aaaag(T239, T240, T241, T242, T230))
appH_in_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269)) → U7_aaaag(T268, X353, X354, X355, X356, T269, appH_in_aaaag(X353, X354, X355, X356, T269))
U7_aaaag(T268, X353, X354, X355, X356, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_in_ggggaa(T239, T240, T241, T242, X293, T232))
pO_in_ggggaa(T239, T240, T241, T242, T282, T232) → U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_in_gggga(T239, T240, T241, T242, T282))
appI_in_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303)) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318, .(T314, X388)) → U8_gggga(T314, T315, T316, T317, T318, X388, appI_in_gggga(T315, T316, T317, T318, X388))
U8_gggga(T314, T315, T316, T317, T318, X388, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_in_ga(T282, T232))
parseA_in_ga(T341, T343) → U4_ga(T341, T343, pE_in_aagaa(X423, X424, T341, X425, T343))
pE_in_aagaa(T346, T347, T341, X425, T343) → U22_aagaa(T346, T347, T341, X425, T343, appJ_in_aag(T346, T347, T341))
appJ_in_aag([], T354, .(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, X463), X464, .(T359, T360)) → U9_aag(T359, X463, X464, T360, appJ_in_aag(X463, X464, T360))
U9_aag(T359, X463, X464, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
U22_aagaa(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → U23_aagaa(T346, T347, T341, X425, T343, pP_in_ggaa(T346, T347, X425, T343))
pP_in_ggaa(T346, T347, T365, T343) → U24_ggaa(T346, T347, T365, T343, appK_in_gga(T346, T347, T365))
appK_in_gga([], T372, .(s(a, b), T372)) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381, .(T379, X492)) → U10_gga(T379, T380, T381, X492, appK_in_gga(T380, T381, X492))
U10_gga(T379, T380, T381, X492, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
U24_ggaa(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → U25_ggaa(T346, T347, T365, T343, parseA_in_ga(T365, T343))
parseA_in_ga(.(s(T394, T395), []), s(T394, T395)) → parseA_out_ga(.(s(T394, T395), []), s(T394, T395))
parseA_in_ga(.(s(T402, T403, T404), []), s(T402, T403, T404)) → parseA_out_ga(.(s(T402, T403, T404), []), s(T402, T403, T404))
U25_ggaa(T346, T347, T365, T343, parseA_out_ga(T365, T343)) → pP_out_ggaa(T346, T347, T365, T343)
U23_aagaa(T346, T347, T341, X425, T343, pP_out_ggaa(T346, T347, X425, T343)) → pE_out_aagaa(T346, T347, T341, X425, T343)
U4_ga(T341, T343, pE_out_aagaa(X423, X424, T341, X425, T343)) → parseA_out_ga(T341, T343)
U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_out_ga(T282, T232)) → pO_out_ggggaa(T239, T240, T241, T242, T282, T232)
U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_out_ggggaa(T239, T240, T241, T242, X293, T232)) → pD_out_aaaagaa(T239, T240, T241, T242, T230, X293, T232)
U3_ga(T230, T232, pD_out_aaaagaa(X289, X290, X291, X292, T230, X293, T232)) → parseA_out_ga(T230, T232)
U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_out_ga(T125, T7)) → pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7)
U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7)) → pC_out_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7)
U2_ga(T68, T69, T7, pC_out_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7)) → parseA_out_ga(.(T68, T69), T7)
U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_out_ga(T33, T7)) → pB_out_ggggaa(T24, T25, T26, T27, T33, T7)
U1_ga(T24, T25, T26, T27, T7, pB_out_ggggaa(T24, T25, T26, T27, X10, T7)) → parseA_out_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7)
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → U1_GA(T24, T25, T26, T27, T7, pB_in_ggggaa(T24, T25, T26, T27, X10, T7))
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → PB_IN_GGGGAA(T24, T25, T26, T27, X10, T7)
PB_IN_GGGGAA(T24, T25, T26, T27, T33, T7) → U12_GGGGAA(T24, T25, T26, T27, T33, T7, appL_in_gggga(T24, T25, T26, T27, T33))
PB_IN_GGGGAA(T24, T25, T26, T27, T33, T7) → APPL_IN_GGGGA(T24, T25, T26, T27, T33)
U12_GGGGAA(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → U13_GGGGAA(T24, T25, T26, T27, T33, T7, parseA_in_ga(T33, T7))
U12_GGGGAA(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → PARSEA_IN_GA(T33, T7)
PARSEA_IN_GA(.(T68, T69), T7) → U2_GA(T68, T69, T7, pC_in_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7))
PARSEA_IN_GA(.(T68, T69), T7) → PC_IN_AAAAAGGAA(X109, X110, X111, X112, X113, T69, T68, X10, T7)
PC_IN_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7) → U14_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_in_aaaaag(T78, T79, T80, T81, T82, T69))
PC_IN_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7) → APPF_IN_AAAAAG(T78, T79, T80, T81, T82, T69)
APPF_IN_AAAAAG(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → U5_AAAAAG(T115, X184, X185, X186, X187, X188, T116, appF_in_aaaaag(X184, X185, X186, X187, X188, T116))
APPF_IN_AAAAAG(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → APPF_IN_AAAAAG(X184, X185, X186, X187, X188, T116)
U14_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U15_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7))
U14_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82, X10, T7)
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7) → U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7, appM_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7) → APPM_IN_GGGGGGA(T68, T78, T79, T80, T81, T82, T125)
APPM_IN_GGGGGGA(T146, T147, T148, T149, T150, T151, .(T146, X220)) → U11_GGGGGGA(T146, T147, T148, T149, T150, T151, X220, appG_in_ggggga(T147, T148, T149, T150, T151, X220))
APPM_IN_GGGGGGA(T146, T147, T148, T149, T150, T151, .(T146, X220)) → APPG_IN_GGGGGA(T147, T148, T149, T150, T151, X220)
APPG_IN_GGGGGA(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → U6_GGGGGA(T192, T193, T194, T195, T196, T197, X242, appG_in_ggggga(T193, T194, T195, T196, T197, X242))
APPG_IN_GGGGGA(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → APPG_IN_GGGGGA(T193, T194, T195, T196, T197, X242)
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U17_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7, parseA_in_ga(T125, T7))
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEA_IN_GA(T125, T7)
PARSEA_IN_GA(T230, T232) → U3_GA(T230, T232, pD_in_aaaagaa(X289, X290, X291, X292, T230, X293, T232))
PARSEA_IN_GA(T230, T232) → PD_IN_AAAAGAA(X289, X290, X291, X292, T230, X293, T232)
PD_IN_AAAAGAA(T239, T240, T241, T242, T230, X293, T232) → U18_AAAAGAA(T239, T240, T241, T242, T230, X293, T232, appH_in_aaaag(T239, T240, T241, T242, T230))
PD_IN_AAAAGAA(T239, T240, T241, T242, T230, X293, T232) → APPH_IN_AAAAG(T239, T240, T241, T242, T230)
APPH_IN_AAAAG(.(T268, X353), X354, X355, X356, .(T268, T269)) → U7_AAAAG(T268, X353, X354, X355, X356, T269, appH_in_aaaag(X353, X354, X355, X356, T269))
APPH_IN_AAAAG(.(T268, X353), X354, X355, X356, .(T268, T269)) → APPH_IN_AAAAG(X353, X354, X355, X356, T269)
U18_AAAAGAA(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → U19_AAAAGAA(T239, T240, T241, T242, T230, X293, T232, pO_in_ggggaa(T239, T240, T241, T242, X293, T232))
U18_AAAAGAA(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242, X293, T232)
PO_IN_GGGGAA(T239, T240, T241, T242, T282, T232) → U20_GGGGAA(T239, T240, T241, T242, T282, T232, appI_in_gggga(T239, T240, T241, T242, T282))
PO_IN_GGGGAA(T239, T240, T241, T242, T282, T232) → APPI_IN_GGGGA(T239, T240, T241, T242, T282)
APPI_IN_GGGGA(.(T314, T315), T316, T317, T318, .(T314, X388)) → U8_GGGGA(T314, T315, T316, T317, T318, X388, appI_in_gggga(T315, T316, T317, T318, X388))
APPI_IN_GGGGA(.(T314, T315), T316, T317, T318, .(T314, X388)) → APPI_IN_GGGGA(T315, T316, T317, T318, X388)
U20_GGGGAA(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → U21_GGGGAA(T239, T240, T241, T242, T282, T232, parseA_in_ga(T282, T232))
U20_GGGGAA(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282, T232)
PARSEA_IN_GA(T341, T343) → U4_GA(T341, T343, pE_in_aagaa(X423, X424, T341, X425, T343))
PARSEA_IN_GA(T341, T343) → PE_IN_AAGAA(X423, X424, T341, X425, T343)
PE_IN_AAGAA(T346, T347, T341, X425, T343) → U22_AAGAA(T346, T347, T341, X425, T343, appJ_in_aag(T346, T347, T341))
PE_IN_AAGAA(T346, T347, T341, X425, T343) → APPJ_IN_AAG(T346, T347, T341)
APPJ_IN_AAG(.(T359, X463), X464, .(T359, T360)) → U9_AAG(T359, X463, X464, T360, appJ_in_aag(X463, X464, T360))
APPJ_IN_AAG(.(T359, X463), X464, .(T359, T360)) → APPJ_IN_AAG(X463, X464, T360)
U22_AAGAA(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → U23_AAGAA(T346, T347, T341, X425, T343, pP_in_ggaa(T346, T347, X425, T343))
U22_AAGAA(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → PP_IN_GGAA(T346, T347, X425, T343)
PP_IN_GGAA(T346, T347, T365, T343) → U24_GGAA(T346, T347, T365, T343, appK_in_gga(T346, T347, T365))
PP_IN_GGAA(T346, T347, T365, T343) → APPK_IN_GGA(T346, T347, T365)
APPK_IN_GGA(.(T379, T380), T381, .(T379, X492)) → U10_GGA(T379, T380, T381, X492, appK_in_gga(T380, T381, X492))
APPK_IN_GGA(.(T379, T380), T381, .(T379, X492)) → APPK_IN_GGA(T380, T381, X492)
U24_GGAA(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → U25_GGAA(T346, T347, T365, T343, parseA_in_ga(T365, T343))
U24_GGAA(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → PARSEA_IN_GA(T365, T343)
parseA_in_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → U1_ga(T24, T25, T26, T27, T7, pB_in_ggggaa(T24, T25, T26, T27, X10, T7))
pB_in_ggggaa(T24, T25, T26, T27, T33, T7) → U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_in_gggga(T24, T25, T26, T27, T33))
appL_in_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57)) → appL_out_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57))
U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_in_ga(T33, T7))
parseA_in_ga(.(T68, T69), T7) → U2_ga(T68, T69, T7, pC_in_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7))
pC_in_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7) → U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_in_aaaaag(T78, T79, T80, T81, T82, T69))
appF_in_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_in_aaaaag(X184, X185, X186, X187, X188, T116))
U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7))
pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7) → U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
appM_in_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220)) → U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_in_ggggga(T147, T148, T149, T150, T151, X220))
appG_in_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179)) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_in_ggggga(T193, T194, T195, T196, T197, X242))
U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_in_ga(T125, T7))
parseA_in_ga(T230, T232) → U3_ga(T230, T232, pD_in_aaaagaa(X289, X290, X291, X292, T230, X293, T232))
pD_in_aaaagaa(T239, T240, T241, T242, T230, X293, T232) → U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_in_aaaag(T239, T240, T241, T242, T230))
appH_in_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269)) → U7_aaaag(T268, X353, X354, X355, X356, T269, appH_in_aaaag(X353, X354, X355, X356, T269))
U7_aaaag(T268, X353, X354, X355, X356, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_in_ggggaa(T239, T240, T241, T242, X293, T232))
pO_in_ggggaa(T239, T240, T241, T242, T282, T232) → U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_in_gggga(T239, T240, T241, T242, T282))
appI_in_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303)) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318, .(T314, X388)) → U8_gggga(T314, T315, T316, T317, T318, X388, appI_in_gggga(T315, T316, T317, T318, X388))
U8_gggga(T314, T315, T316, T317, T318, X388, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_in_ga(T282, T232))
parseA_in_ga(T341, T343) → U4_ga(T341, T343, pE_in_aagaa(X423, X424, T341, X425, T343))
pE_in_aagaa(T346, T347, T341, X425, T343) → U22_aagaa(T346, T347, T341, X425, T343, appJ_in_aag(T346, T347, T341))
appJ_in_aag([], T354, .(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, X463), X464, .(T359, T360)) → U9_aag(T359, X463, X464, T360, appJ_in_aag(X463, X464, T360))
U9_aag(T359, X463, X464, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
U22_aagaa(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → U23_aagaa(T346, T347, T341, X425, T343, pP_in_ggaa(T346, T347, X425, T343))
pP_in_ggaa(T346, T347, T365, T343) → U24_ggaa(T346, T347, T365, T343, appK_in_gga(T346, T347, T365))
appK_in_gga([], T372, .(s(a, b), T372)) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381, .(T379, X492)) → U10_gga(T379, T380, T381, X492, appK_in_gga(T380, T381, X492))
U10_gga(T379, T380, T381, X492, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
U24_ggaa(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → U25_ggaa(T346, T347, T365, T343, parseA_in_ga(T365, T343))
parseA_in_ga(.(s(T394, T395), []), s(T394, T395)) → parseA_out_ga(.(s(T394, T395), []), s(T394, T395))
parseA_in_ga(.(s(T402, T403, T404), []), s(T402, T403, T404)) → parseA_out_ga(.(s(T402, T403, T404), []), s(T402, T403, T404))
U25_ggaa(T346, T347, T365, T343, parseA_out_ga(T365, T343)) → pP_out_ggaa(T346, T347, T365, T343)
U23_aagaa(T346, T347, T341, X425, T343, pP_out_ggaa(T346, T347, X425, T343)) → pE_out_aagaa(T346, T347, T341, X425, T343)
U4_ga(T341, T343, pE_out_aagaa(X423, X424, T341, X425, T343)) → parseA_out_ga(T341, T343)
U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_out_ga(T282, T232)) → pO_out_ggggaa(T239, T240, T241, T242, T282, T232)
U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_out_ggggaa(T239, T240, T241, T242, X293, T232)) → pD_out_aaaagaa(T239, T240, T241, T242, T230, X293, T232)
U3_ga(T230, T232, pD_out_aaaagaa(X289, X290, X291, X292, T230, X293, T232)) → parseA_out_ga(T230, T232)
U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_out_ga(T125, T7)) → pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7)
U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7)) → pC_out_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7)
U2_ga(T68, T69, T7, pC_out_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7)) → parseA_out_ga(.(T68, T69), T7)
U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_out_ga(T33, T7)) → pB_out_ggggaa(T24, T25, T26, T27, T33, T7)
U1_ga(T24, T25, T26, T27, T7, pB_out_ggggaa(T24, T25, T26, T27, X10, T7)) → parseA_out_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7)
APPK_IN_GGA(.(T379, T380), T381, .(T379, X492)) → APPK_IN_GGA(T380, T381, X492)
parseA_in_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → U1_ga(T24, T25, T26, T27, T7, pB_in_ggggaa(T24, T25, T26, T27, X10, T7))
pB_in_ggggaa(T24, T25, T26, T27, T33, T7) → U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_in_gggga(T24, T25, T26, T27, T33))
appL_in_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57)) → appL_out_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57))
U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_in_ga(T33, T7))
parseA_in_ga(.(T68, T69), T7) → U2_ga(T68, T69, T7, pC_in_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7))
pC_in_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7) → U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_in_aaaaag(T78, T79, T80, T81, T82, T69))
appF_in_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_in_aaaaag(X184, X185, X186, X187, X188, T116))
U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7))
pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7) → U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
appM_in_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220)) → U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_in_ggggga(T147, T148, T149, T150, T151, X220))
appG_in_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179)) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_in_ggggga(T193, T194, T195, T196, T197, X242))
U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_in_ga(T125, T7))
parseA_in_ga(T230, T232) → U3_ga(T230, T232, pD_in_aaaagaa(X289, X290, X291, X292, T230, X293, T232))
pD_in_aaaagaa(T239, T240, T241, T242, T230, X293, T232) → U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_in_aaaag(T239, T240, T241, T242, T230))
appH_in_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269)) → U7_aaaag(T268, X353, X354, X355, X356, T269, appH_in_aaaag(X353, X354, X355, X356, T269))
U7_aaaag(T268, X353, X354, X355, X356, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_in_ggggaa(T239, T240, T241, T242, X293, T232))
pO_in_ggggaa(T239, T240, T241, T242, T282, T232) → U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_in_gggga(T239, T240, T241, T242, T282))
appI_in_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303)) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318, .(T314, X388)) → U8_gggga(T314, T315, T316, T317, T318, X388, appI_in_gggga(T315, T316, T317, T318, X388))
U8_gggga(T314, T315, T316, T317, T318, X388, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_in_ga(T282, T232))
parseA_in_ga(T341, T343) → U4_ga(T341, T343, pE_in_aagaa(X423, X424, T341, X425, T343))
pE_in_aagaa(T346, T347, T341, X425, T343) → U22_aagaa(T346, T347, T341, X425, T343, appJ_in_aag(T346, T347, T341))
appJ_in_aag([], T354, .(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, X463), X464, .(T359, T360)) → U9_aag(T359, X463, X464, T360, appJ_in_aag(X463, X464, T360))
U9_aag(T359, X463, X464, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
U22_aagaa(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → U23_aagaa(T346, T347, T341, X425, T343, pP_in_ggaa(T346, T347, X425, T343))
pP_in_ggaa(T346, T347, T365, T343) → U24_ggaa(T346, T347, T365, T343, appK_in_gga(T346, T347, T365))
appK_in_gga([], T372, .(s(a, b), T372)) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381, .(T379, X492)) → U10_gga(T379, T380, T381, X492, appK_in_gga(T380, T381, X492))
U10_gga(T379, T380, T381, X492, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
U24_ggaa(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → U25_ggaa(T346, T347, T365, T343, parseA_in_ga(T365, T343))
parseA_in_ga(.(s(T394, T395), []), s(T394, T395)) → parseA_out_ga(.(s(T394, T395), []), s(T394, T395))
parseA_in_ga(.(s(T402, T403, T404), []), s(T402, T403, T404)) → parseA_out_ga(.(s(T402, T403, T404), []), s(T402, T403, T404))
U25_ggaa(T346, T347, T365, T343, parseA_out_ga(T365, T343)) → pP_out_ggaa(T346, T347, T365, T343)
U23_aagaa(T346, T347, T341, X425, T343, pP_out_ggaa(T346, T347, X425, T343)) → pE_out_aagaa(T346, T347, T341, X425, T343)
U4_ga(T341, T343, pE_out_aagaa(X423, X424, T341, X425, T343)) → parseA_out_ga(T341, T343)
U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_out_ga(T282, T232)) → pO_out_ggggaa(T239, T240, T241, T242, T282, T232)
U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_out_ggggaa(T239, T240, T241, T242, X293, T232)) → pD_out_aaaagaa(T239, T240, T241, T242, T230, X293, T232)
U3_ga(T230, T232, pD_out_aaaagaa(X289, X290, X291, X292, T230, X293, T232)) → parseA_out_ga(T230, T232)
U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_out_ga(T125, T7)) → pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7)
U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7)) → pC_out_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7)
U2_ga(T68, T69, T7, pC_out_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7)) → parseA_out_ga(.(T68, T69), T7)
U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_out_ga(T33, T7)) → pB_out_ggggaa(T24, T25, T26, T27, T33, T7)
U1_ga(T24, T25, T26, T27, T7, pB_out_ggggaa(T24, T25, T26, T27, X10, T7)) → parseA_out_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7)
APPK_IN_GGA(.(T379, T380), T381, .(T379, X492)) → APPK_IN_GGA(T380, T381, X492)
APPK_IN_GGA(.(T379, T380), T381) → APPK_IN_GGA(T380, T381)
From the DPs we obtained the following set of size-change graphs:
APPJ_IN_AAG(.(T359, X463), X464, .(T359, T360)) → APPJ_IN_AAG(X463, X464, T360)
parseA_in_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → U1_ga(T24, T25, T26, T27, T7, pB_in_ggggaa(T24, T25, T26, T27, X10, T7))
pB_in_ggggaa(T24, T25, T26, T27, T33, T7) → U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_in_gggga(T24, T25, T26, T27, T33))
appL_in_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57)) → appL_out_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57))
U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_in_ga(T33, T7))
parseA_in_ga(.(T68, T69), T7) → U2_ga(T68, T69, T7, pC_in_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7))
pC_in_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7) → U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_in_aaaaag(T78, T79, T80, T81, T82, T69))
appF_in_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_in_aaaaag(X184, X185, X186, X187, X188, T116))
U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7))
pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7) → U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
appM_in_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220)) → U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_in_ggggga(T147, T148, T149, T150, T151, X220))
appG_in_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179)) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_in_ggggga(T193, T194, T195, T196, T197, X242))
U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_in_ga(T125, T7))
parseA_in_ga(T230, T232) → U3_ga(T230, T232, pD_in_aaaagaa(X289, X290, X291, X292, T230, X293, T232))
pD_in_aaaagaa(T239, T240, T241, T242, T230, X293, T232) → U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_in_aaaag(T239, T240, T241, T242, T230))
appH_in_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269)) → U7_aaaag(T268, X353, X354, X355, X356, T269, appH_in_aaaag(X353, X354, X355, X356, T269))
U7_aaaag(T268, X353, X354, X355, X356, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_in_ggggaa(T239, T240, T241, T242, X293, T232))
pO_in_ggggaa(T239, T240, T241, T242, T282, T232) → U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_in_gggga(T239, T240, T241, T242, T282))
appI_in_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303)) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318, .(T314, X388)) → U8_gggga(T314, T315, T316, T317, T318, X388, appI_in_gggga(T315, T316, T317, T318, X388))
U8_gggga(T314, T315, T316, T317, T318, X388, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_in_ga(T282, T232))
parseA_in_ga(T341, T343) → U4_ga(T341, T343, pE_in_aagaa(X423, X424, T341, X425, T343))
pE_in_aagaa(T346, T347, T341, X425, T343) → U22_aagaa(T346, T347, T341, X425, T343, appJ_in_aag(T346, T347, T341))
appJ_in_aag([], T354, .(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, X463), X464, .(T359, T360)) → U9_aag(T359, X463, X464, T360, appJ_in_aag(X463, X464, T360))
U9_aag(T359, X463, X464, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
U22_aagaa(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → U23_aagaa(T346, T347, T341, X425, T343, pP_in_ggaa(T346, T347, X425, T343))
pP_in_ggaa(T346, T347, T365, T343) → U24_ggaa(T346, T347, T365, T343, appK_in_gga(T346, T347, T365))
appK_in_gga([], T372, .(s(a, b), T372)) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381, .(T379, X492)) → U10_gga(T379, T380, T381, X492, appK_in_gga(T380, T381, X492))
U10_gga(T379, T380, T381, X492, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
U24_ggaa(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → U25_ggaa(T346, T347, T365, T343, parseA_in_ga(T365, T343))
parseA_in_ga(.(s(T394, T395), []), s(T394, T395)) → parseA_out_ga(.(s(T394, T395), []), s(T394, T395))
parseA_in_ga(.(s(T402, T403, T404), []), s(T402, T403, T404)) → parseA_out_ga(.(s(T402, T403, T404), []), s(T402, T403, T404))
U25_ggaa(T346, T347, T365, T343, parseA_out_ga(T365, T343)) → pP_out_ggaa(T346, T347, T365, T343)
U23_aagaa(T346, T347, T341, X425, T343, pP_out_ggaa(T346, T347, X425, T343)) → pE_out_aagaa(T346, T347, T341, X425, T343)
U4_ga(T341, T343, pE_out_aagaa(X423, X424, T341, X425, T343)) → parseA_out_ga(T341, T343)
U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_out_ga(T282, T232)) → pO_out_ggggaa(T239, T240, T241, T242, T282, T232)
U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_out_ggggaa(T239, T240, T241, T242, X293, T232)) → pD_out_aaaagaa(T239, T240, T241, T242, T230, X293, T232)
U3_ga(T230, T232, pD_out_aaaagaa(X289, X290, X291, X292, T230, X293, T232)) → parseA_out_ga(T230, T232)
U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_out_ga(T125, T7)) → pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7)
U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7)) → pC_out_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7)
U2_ga(T68, T69, T7, pC_out_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7)) → parseA_out_ga(.(T68, T69), T7)
U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_out_ga(T33, T7)) → pB_out_ggggaa(T24, T25, T26, T27, T33, T7)
U1_ga(T24, T25, T26, T27, T7, pB_out_ggggaa(T24, T25, T26, T27, X10, T7)) → parseA_out_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7)
APPJ_IN_AAG(.(T359, X463), X464, .(T359, T360)) → APPJ_IN_AAG(X463, X464, T360)
APPJ_IN_AAG(.(T359, T360)) → APPJ_IN_AAG(T360)
From the DPs we obtained the following set of size-change graphs:
APPI_IN_GGGGA(.(T314, T315), T316, T317, T318, .(T314, X388)) → APPI_IN_GGGGA(T315, T316, T317, T318, X388)
parseA_in_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → U1_ga(T24, T25, T26, T27, T7, pB_in_ggggaa(T24, T25, T26, T27, X10, T7))
pB_in_ggggaa(T24, T25, T26, T27, T33, T7) → U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_in_gggga(T24, T25, T26, T27, T33))
appL_in_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57)) → appL_out_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57))
U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_in_ga(T33, T7))
parseA_in_ga(.(T68, T69), T7) → U2_ga(T68, T69, T7, pC_in_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7))
pC_in_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7) → U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_in_aaaaag(T78, T79, T80, T81, T82, T69))
appF_in_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_in_aaaaag(X184, X185, X186, X187, X188, T116))
U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7))
pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7) → U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
appM_in_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220)) → U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_in_ggggga(T147, T148, T149, T150, T151, X220))
appG_in_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179)) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_in_ggggga(T193, T194, T195, T196, T197, X242))
U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_in_ga(T125, T7))
parseA_in_ga(T230, T232) → U3_ga(T230, T232, pD_in_aaaagaa(X289, X290, X291, X292, T230, X293, T232))
pD_in_aaaagaa(T239, T240, T241, T242, T230, X293, T232) → U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_in_aaaag(T239, T240, T241, T242, T230))
appH_in_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269)) → U7_aaaag(T268, X353, X354, X355, X356, T269, appH_in_aaaag(X353, X354, X355, X356, T269))
U7_aaaag(T268, X353, X354, X355, X356, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_in_ggggaa(T239, T240, T241, T242, X293, T232))
pO_in_ggggaa(T239, T240, T241, T242, T282, T232) → U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_in_gggga(T239, T240, T241, T242, T282))
appI_in_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303)) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318, .(T314, X388)) → U8_gggga(T314, T315, T316, T317, T318, X388, appI_in_gggga(T315, T316, T317, T318, X388))
U8_gggga(T314, T315, T316, T317, T318, X388, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_in_ga(T282, T232))
parseA_in_ga(T341, T343) → U4_ga(T341, T343, pE_in_aagaa(X423, X424, T341, X425, T343))
pE_in_aagaa(T346, T347, T341, X425, T343) → U22_aagaa(T346, T347, T341, X425, T343, appJ_in_aag(T346, T347, T341))
appJ_in_aag([], T354, .(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, X463), X464, .(T359, T360)) → U9_aag(T359, X463, X464, T360, appJ_in_aag(X463, X464, T360))
U9_aag(T359, X463, X464, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
U22_aagaa(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → U23_aagaa(T346, T347, T341, X425, T343, pP_in_ggaa(T346, T347, X425, T343))
pP_in_ggaa(T346, T347, T365, T343) → U24_ggaa(T346, T347, T365, T343, appK_in_gga(T346, T347, T365))
appK_in_gga([], T372, .(s(a, b), T372)) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381, .(T379, X492)) → U10_gga(T379, T380, T381, X492, appK_in_gga(T380, T381, X492))
U10_gga(T379, T380, T381, X492, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
U24_ggaa(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → U25_ggaa(T346, T347, T365, T343, parseA_in_ga(T365, T343))
parseA_in_ga(.(s(T394, T395), []), s(T394, T395)) → parseA_out_ga(.(s(T394, T395), []), s(T394, T395))
parseA_in_ga(.(s(T402, T403, T404), []), s(T402, T403, T404)) → parseA_out_ga(.(s(T402, T403, T404), []), s(T402, T403, T404))
U25_ggaa(T346, T347, T365, T343, parseA_out_ga(T365, T343)) → pP_out_ggaa(T346, T347, T365, T343)
U23_aagaa(T346, T347, T341, X425, T343, pP_out_ggaa(T346, T347, X425, T343)) → pE_out_aagaa(T346, T347, T341, X425, T343)
U4_ga(T341, T343, pE_out_aagaa(X423, X424, T341, X425, T343)) → parseA_out_ga(T341, T343)
U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_out_ga(T282, T232)) → pO_out_ggggaa(T239, T240, T241, T242, T282, T232)
U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_out_ggggaa(T239, T240, T241, T242, X293, T232)) → pD_out_aaaagaa(T239, T240, T241, T242, T230, X293, T232)
U3_ga(T230, T232, pD_out_aaaagaa(X289, X290, X291, X292, T230, X293, T232)) → parseA_out_ga(T230, T232)
U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_out_ga(T125, T7)) → pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7)
U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7)) → pC_out_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7)
U2_ga(T68, T69, T7, pC_out_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7)) → parseA_out_ga(.(T68, T69), T7)
U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_out_ga(T33, T7)) → pB_out_ggggaa(T24, T25, T26, T27, T33, T7)
U1_ga(T24, T25, T26, T27, T7, pB_out_ggggaa(T24, T25, T26, T27, X10, T7)) → parseA_out_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7)
APPI_IN_GGGGA(.(T314, T315), T316, T317, T318, .(T314, X388)) → APPI_IN_GGGGA(T315, T316, T317, T318, X388)
APPI_IN_GGGGA(.(T314, T315), T316, T317, T318) → APPI_IN_GGGGA(T315, T316, T317, T318)
From the DPs we obtained the following set of size-change graphs:
APPH_IN_AAAAG(.(T268, X353), X354, X355, X356, .(T268, T269)) → APPH_IN_AAAAG(X353, X354, X355, X356, T269)
parseA_in_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → U1_ga(T24, T25, T26, T27, T7, pB_in_ggggaa(T24, T25, T26, T27, X10, T7))
pB_in_ggggaa(T24, T25, T26, T27, T33, T7) → U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_in_gggga(T24, T25, T26, T27, T33))
appL_in_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57)) → appL_out_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57))
U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_in_ga(T33, T7))
parseA_in_ga(.(T68, T69), T7) → U2_ga(T68, T69, T7, pC_in_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7))
pC_in_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7) → U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_in_aaaaag(T78, T79, T80, T81, T82, T69))
appF_in_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_in_aaaaag(X184, X185, X186, X187, X188, T116))
U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7))
pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7) → U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
appM_in_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220)) → U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_in_ggggga(T147, T148, T149, T150, T151, X220))
appG_in_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179)) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_in_ggggga(T193, T194, T195, T196, T197, X242))
U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_in_ga(T125, T7))
parseA_in_ga(T230, T232) → U3_ga(T230, T232, pD_in_aaaagaa(X289, X290, X291, X292, T230, X293, T232))
pD_in_aaaagaa(T239, T240, T241, T242, T230, X293, T232) → U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_in_aaaag(T239, T240, T241, T242, T230))
appH_in_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269)) → U7_aaaag(T268, X353, X354, X355, X356, T269, appH_in_aaaag(X353, X354, X355, X356, T269))
U7_aaaag(T268, X353, X354, X355, X356, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_in_ggggaa(T239, T240, T241, T242, X293, T232))
pO_in_ggggaa(T239, T240, T241, T242, T282, T232) → U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_in_gggga(T239, T240, T241, T242, T282))
appI_in_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303)) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318, .(T314, X388)) → U8_gggga(T314, T315, T316, T317, T318, X388, appI_in_gggga(T315, T316, T317, T318, X388))
U8_gggga(T314, T315, T316, T317, T318, X388, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_in_ga(T282, T232))
parseA_in_ga(T341, T343) → U4_ga(T341, T343, pE_in_aagaa(X423, X424, T341, X425, T343))
pE_in_aagaa(T346, T347, T341, X425, T343) → U22_aagaa(T346, T347, T341, X425, T343, appJ_in_aag(T346, T347, T341))
appJ_in_aag([], T354, .(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, X463), X464, .(T359, T360)) → U9_aag(T359, X463, X464, T360, appJ_in_aag(X463, X464, T360))
U9_aag(T359, X463, X464, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
U22_aagaa(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → U23_aagaa(T346, T347, T341, X425, T343, pP_in_ggaa(T346, T347, X425, T343))
pP_in_ggaa(T346, T347, T365, T343) → U24_ggaa(T346, T347, T365, T343, appK_in_gga(T346, T347, T365))
appK_in_gga([], T372, .(s(a, b), T372)) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381, .(T379, X492)) → U10_gga(T379, T380, T381, X492, appK_in_gga(T380, T381, X492))
U10_gga(T379, T380, T381, X492, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
U24_ggaa(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → U25_ggaa(T346, T347, T365, T343, parseA_in_ga(T365, T343))
parseA_in_ga(.(s(T394, T395), []), s(T394, T395)) → parseA_out_ga(.(s(T394, T395), []), s(T394, T395))
parseA_in_ga(.(s(T402, T403, T404), []), s(T402, T403, T404)) → parseA_out_ga(.(s(T402, T403, T404), []), s(T402, T403, T404))
U25_ggaa(T346, T347, T365, T343, parseA_out_ga(T365, T343)) → pP_out_ggaa(T346, T347, T365, T343)
U23_aagaa(T346, T347, T341, X425, T343, pP_out_ggaa(T346, T347, X425, T343)) → pE_out_aagaa(T346, T347, T341, X425, T343)
U4_ga(T341, T343, pE_out_aagaa(X423, X424, T341, X425, T343)) → parseA_out_ga(T341, T343)
U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_out_ga(T282, T232)) → pO_out_ggggaa(T239, T240, T241, T242, T282, T232)
U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_out_ggggaa(T239, T240, T241, T242, X293, T232)) → pD_out_aaaagaa(T239, T240, T241, T242, T230, X293, T232)
U3_ga(T230, T232, pD_out_aaaagaa(X289, X290, X291, X292, T230, X293, T232)) → parseA_out_ga(T230, T232)
U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_out_ga(T125, T7)) → pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7)
U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7)) → pC_out_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7)
U2_ga(T68, T69, T7, pC_out_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7)) → parseA_out_ga(.(T68, T69), T7)
U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_out_ga(T33, T7)) → pB_out_ggggaa(T24, T25, T26, T27, T33, T7)
U1_ga(T24, T25, T26, T27, T7, pB_out_ggggaa(T24, T25, T26, T27, X10, T7)) → parseA_out_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7)
APPH_IN_AAAAG(.(T268, X353), X354, X355, X356, .(T268, T269)) → APPH_IN_AAAAG(X353, X354, X355, X356, T269)
APPH_IN_AAAAG(.(T268, T269)) → APPH_IN_AAAAG(T269)
From the DPs we obtained the following set of size-change graphs:
APPG_IN_GGGGGA(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → APPG_IN_GGGGGA(T193, T194, T195, T196, T197, X242)
parseA_in_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → U1_ga(T24, T25, T26, T27, T7, pB_in_ggggaa(T24, T25, T26, T27, X10, T7))
pB_in_ggggaa(T24, T25, T26, T27, T33, T7) → U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_in_gggga(T24, T25, T26, T27, T33))
appL_in_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57)) → appL_out_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57))
U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_in_ga(T33, T7))
parseA_in_ga(.(T68, T69), T7) → U2_ga(T68, T69, T7, pC_in_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7))
pC_in_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7) → U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_in_aaaaag(T78, T79, T80, T81, T82, T69))
appF_in_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_in_aaaaag(X184, X185, X186, X187, X188, T116))
U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7))
pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7) → U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
appM_in_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220)) → U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_in_ggggga(T147, T148, T149, T150, T151, X220))
appG_in_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179)) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_in_ggggga(T193, T194, T195, T196, T197, X242))
U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_in_ga(T125, T7))
parseA_in_ga(T230, T232) → U3_ga(T230, T232, pD_in_aaaagaa(X289, X290, X291, X292, T230, X293, T232))
pD_in_aaaagaa(T239, T240, T241, T242, T230, X293, T232) → U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_in_aaaag(T239, T240, T241, T242, T230))
appH_in_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269)) → U7_aaaag(T268, X353, X354, X355, X356, T269, appH_in_aaaag(X353, X354, X355, X356, T269))
U7_aaaag(T268, X353, X354, X355, X356, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_in_ggggaa(T239, T240, T241, T242, X293, T232))
pO_in_ggggaa(T239, T240, T241, T242, T282, T232) → U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_in_gggga(T239, T240, T241, T242, T282))
appI_in_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303)) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318, .(T314, X388)) → U8_gggga(T314, T315, T316, T317, T318, X388, appI_in_gggga(T315, T316, T317, T318, X388))
U8_gggga(T314, T315, T316, T317, T318, X388, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_in_ga(T282, T232))
parseA_in_ga(T341, T343) → U4_ga(T341, T343, pE_in_aagaa(X423, X424, T341, X425, T343))
pE_in_aagaa(T346, T347, T341, X425, T343) → U22_aagaa(T346, T347, T341, X425, T343, appJ_in_aag(T346, T347, T341))
appJ_in_aag([], T354, .(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, X463), X464, .(T359, T360)) → U9_aag(T359, X463, X464, T360, appJ_in_aag(X463, X464, T360))
U9_aag(T359, X463, X464, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
U22_aagaa(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → U23_aagaa(T346, T347, T341, X425, T343, pP_in_ggaa(T346, T347, X425, T343))
pP_in_ggaa(T346, T347, T365, T343) → U24_ggaa(T346, T347, T365, T343, appK_in_gga(T346, T347, T365))
appK_in_gga([], T372, .(s(a, b), T372)) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381, .(T379, X492)) → U10_gga(T379, T380, T381, X492, appK_in_gga(T380, T381, X492))
U10_gga(T379, T380, T381, X492, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
U24_ggaa(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → U25_ggaa(T346, T347, T365, T343, parseA_in_ga(T365, T343))
parseA_in_ga(.(s(T394, T395), []), s(T394, T395)) → parseA_out_ga(.(s(T394, T395), []), s(T394, T395))
parseA_in_ga(.(s(T402, T403, T404), []), s(T402, T403, T404)) → parseA_out_ga(.(s(T402, T403, T404), []), s(T402, T403, T404))
U25_ggaa(T346, T347, T365, T343, parseA_out_ga(T365, T343)) → pP_out_ggaa(T346, T347, T365, T343)
U23_aagaa(T346, T347, T341, X425, T343, pP_out_ggaa(T346, T347, X425, T343)) → pE_out_aagaa(T346, T347, T341, X425, T343)
U4_ga(T341, T343, pE_out_aagaa(X423, X424, T341, X425, T343)) → parseA_out_ga(T341, T343)
U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_out_ga(T282, T232)) → pO_out_ggggaa(T239, T240, T241, T242, T282, T232)
U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_out_ggggaa(T239, T240, T241, T242, X293, T232)) → pD_out_aaaagaa(T239, T240, T241, T242, T230, X293, T232)
U3_ga(T230, T232, pD_out_aaaagaa(X289, X290, X291, X292, T230, X293, T232)) → parseA_out_ga(T230, T232)
U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_out_ga(T125, T7)) → pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7)
U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7)) → pC_out_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7)
U2_ga(T68, T69, T7, pC_out_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7)) → parseA_out_ga(.(T68, T69), T7)
U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_out_ga(T33, T7)) → pB_out_ggggaa(T24, T25, T26, T27, T33, T7)
U1_ga(T24, T25, T26, T27, T7, pB_out_ggggaa(T24, T25, T26, T27, X10, T7)) → parseA_out_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7)
APPG_IN_GGGGGA(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → APPG_IN_GGGGGA(T193, T194, T195, T196, T197, X242)
APPG_IN_GGGGGA(.(T192, T193), T194, T195, T196, T197) → APPG_IN_GGGGGA(T193, T194, T195, T196, T197)
From the DPs we obtained the following set of size-change graphs:
APPF_IN_AAAAAG(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → APPF_IN_AAAAAG(X184, X185, X186, X187, X188, T116)
parseA_in_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → U1_ga(T24, T25, T26, T27, T7, pB_in_ggggaa(T24, T25, T26, T27, X10, T7))
pB_in_ggggaa(T24, T25, T26, T27, T33, T7) → U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_in_gggga(T24, T25, T26, T27, T33))
appL_in_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57)) → appL_out_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57))
U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_in_ga(T33, T7))
parseA_in_ga(.(T68, T69), T7) → U2_ga(T68, T69, T7, pC_in_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7))
pC_in_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7) → U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_in_aaaaag(T78, T79, T80, T81, T82, T69))
appF_in_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_in_aaaaag(X184, X185, X186, X187, X188, T116))
U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7))
pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7) → U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
appM_in_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220)) → U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_in_ggggga(T147, T148, T149, T150, T151, X220))
appG_in_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179)) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_in_ggggga(T193, T194, T195, T196, T197, X242))
U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_in_ga(T125, T7))
parseA_in_ga(T230, T232) → U3_ga(T230, T232, pD_in_aaaagaa(X289, X290, X291, X292, T230, X293, T232))
pD_in_aaaagaa(T239, T240, T241, T242, T230, X293, T232) → U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_in_aaaag(T239, T240, T241, T242, T230))
appH_in_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269)) → U7_aaaag(T268, X353, X354, X355, X356, T269, appH_in_aaaag(X353, X354, X355, X356, T269))
U7_aaaag(T268, X353, X354, X355, X356, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_in_ggggaa(T239, T240, T241, T242, X293, T232))
pO_in_ggggaa(T239, T240, T241, T242, T282, T232) → U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_in_gggga(T239, T240, T241, T242, T282))
appI_in_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303)) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318, .(T314, X388)) → U8_gggga(T314, T315, T316, T317, T318, X388, appI_in_gggga(T315, T316, T317, T318, X388))
U8_gggga(T314, T315, T316, T317, T318, X388, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_in_ga(T282, T232))
parseA_in_ga(T341, T343) → U4_ga(T341, T343, pE_in_aagaa(X423, X424, T341, X425, T343))
pE_in_aagaa(T346, T347, T341, X425, T343) → U22_aagaa(T346, T347, T341, X425, T343, appJ_in_aag(T346, T347, T341))
appJ_in_aag([], T354, .(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, X463), X464, .(T359, T360)) → U9_aag(T359, X463, X464, T360, appJ_in_aag(X463, X464, T360))
U9_aag(T359, X463, X464, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
U22_aagaa(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → U23_aagaa(T346, T347, T341, X425, T343, pP_in_ggaa(T346, T347, X425, T343))
pP_in_ggaa(T346, T347, T365, T343) → U24_ggaa(T346, T347, T365, T343, appK_in_gga(T346, T347, T365))
appK_in_gga([], T372, .(s(a, b), T372)) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381, .(T379, X492)) → U10_gga(T379, T380, T381, X492, appK_in_gga(T380, T381, X492))
U10_gga(T379, T380, T381, X492, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
U24_ggaa(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → U25_ggaa(T346, T347, T365, T343, parseA_in_ga(T365, T343))
parseA_in_ga(.(s(T394, T395), []), s(T394, T395)) → parseA_out_ga(.(s(T394, T395), []), s(T394, T395))
parseA_in_ga(.(s(T402, T403, T404), []), s(T402, T403, T404)) → parseA_out_ga(.(s(T402, T403, T404), []), s(T402, T403, T404))
U25_ggaa(T346, T347, T365, T343, parseA_out_ga(T365, T343)) → pP_out_ggaa(T346, T347, T365, T343)
U23_aagaa(T346, T347, T341, X425, T343, pP_out_ggaa(T346, T347, X425, T343)) → pE_out_aagaa(T346, T347, T341, X425, T343)
U4_ga(T341, T343, pE_out_aagaa(X423, X424, T341, X425, T343)) → parseA_out_ga(T341, T343)
U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_out_ga(T282, T232)) → pO_out_ggggaa(T239, T240, T241, T242, T282, T232)
U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_out_ggggaa(T239, T240, T241, T242, X293, T232)) → pD_out_aaaagaa(T239, T240, T241, T242, T230, X293, T232)
U3_ga(T230, T232, pD_out_aaaagaa(X289, X290, X291, X292, T230, X293, T232)) → parseA_out_ga(T230, T232)
U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_out_ga(T125, T7)) → pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7)
U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7)) → pC_out_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7)
U2_ga(T68, T69, T7, pC_out_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7)) → parseA_out_ga(.(T68, T69), T7)
U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_out_ga(T33, T7)) → pB_out_ggggaa(T24, T25, T26, T27, T33, T7)
U1_ga(T24, T25, T26, T27, T7, pB_out_ggggaa(T24, T25, T26, T27, X10, T7)) → parseA_out_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7)
APPF_IN_AAAAAG(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → APPF_IN_AAAAAG(X184, X185, X186, X187, X188, T116)
APPF_IN_AAAAAG(.(T115, T116)) → APPF_IN_AAAAAG(T116)
From the DPs we obtained the following set of size-change graphs:
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → PB_IN_GGGGAA(T24, T25, T26, T27, X10, T7)
PB_IN_GGGGAA(T24, T25, T26, T27, T33, T7) → U12_GGGGAA(T24, T25, T26, T27, T33, T7, appL_in_gggga(T24, T25, T26, T27, T33))
U12_GGGGAA(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → PARSEA_IN_GA(T33, T7)
PARSEA_IN_GA(.(T68, T69), T7) → PC_IN_AAAAAGGAA(X109, X110, X111, X112, X113, T69, T68, X10, T7)
PC_IN_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7) → U14_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_in_aaaaag(T78, T79, T80, T81, T82, T69))
U14_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82, X10, T7)
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7) → U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7, appM_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEA_IN_GA(T125, T7)
PARSEA_IN_GA(T230, T232) → PD_IN_AAAAGAA(X289, X290, X291, X292, T230, X293, T232)
PD_IN_AAAAGAA(T239, T240, T241, T242, T230, X293, T232) → U18_AAAAGAA(T239, T240, T241, T242, T230, X293, T232, appH_in_aaaag(T239, T240, T241, T242, T230))
U18_AAAAGAA(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242, X293, T232)
PO_IN_GGGGAA(T239, T240, T241, T242, T282, T232) → U20_GGGGAA(T239, T240, T241, T242, T282, T232, appI_in_gggga(T239, T240, T241, T242, T282))
U20_GGGGAA(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282, T232)
PARSEA_IN_GA(T341, T343) → PE_IN_AAGAA(X423, X424, T341, X425, T343)
PE_IN_AAGAA(T346, T347, T341, X425, T343) → U22_AAGAA(T346, T347, T341, X425, T343, appJ_in_aag(T346, T347, T341))
U22_AAGAA(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → PP_IN_GGAA(T346, T347, X425, T343)
PP_IN_GGAA(T346, T347, T365, T343) → U24_GGAA(T346, T347, T365, T343, appK_in_gga(T346, T347, T365))
U24_GGAA(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → PARSEA_IN_GA(T365, T343)
parseA_in_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → U1_ga(T24, T25, T26, T27, T7, pB_in_ggggaa(T24, T25, T26, T27, X10, T7))
pB_in_ggggaa(T24, T25, T26, T27, T33, T7) → U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_in_gggga(T24, T25, T26, T27, T33))
appL_in_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57)) → appL_out_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57))
U12_ggggaa(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_in_ga(T33, T7))
parseA_in_ga(.(T68, T69), T7) → U2_ga(T68, T69, T7, pC_in_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7))
pC_in_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7) → U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_in_aaaaag(T78, T79, T80, T81, T82, T69))
appF_in_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_in_aaaaag(X184, X185, X186, X187, X188, T116))
U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
U14_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7))
pN_in_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7) → U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
appM_in_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220)) → U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_in_ggggga(T147, T148, T149, T150, T151, X220))
appG_in_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179)) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_in_ggggga(T193, T194, T195, T196, T197, X242))
U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U16_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_in_ga(T125, T7))
parseA_in_ga(T230, T232) → U3_ga(T230, T232, pD_in_aaaagaa(X289, X290, X291, X292, T230, X293, T232))
pD_in_aaaagaa(T239, T240, T241, T242, T230, X293, T232) → U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_in_aaaag(T239, T240, T241, T242, T230))
appH_in_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269)) → U7_aaaag(T268, X353, X354, X355, X356, T269, appH_in_aaaag(X353, X354, X355, X356, T269))
U7_aaaag(T268, X353, X354, X355, X356, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
U18_aaaagaa(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_in_ggggaa(T239, T240, T241, T242, X293, T232))
pO_in_ggggaa(T239, T240, T241, T242, T282, T232) → U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_in_gggga(T239, T240, T241, T242, T282))
appI_in_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303)) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318, .(T314, X388)) → U8_gggga(T314, T315, T316, T317, T318, X388, appI_in_gggga(T315, T316, T317, T318, X388))
U8_gggga(T314, T315, T316, T317, T318, X388, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U20_ggggaa(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_in_ga(T282, T232))
parseA_in_ga(T341, T343) → U4_ga(T341, T343, pE_in_aagaa(X423, X424, T341, X425, T343))
pE_in_aagaa(T346, T347, T341, X425, T343) → U22_aagaa(T346, T347, T341, X425, T343, appJ_in_aag(T346, T347, T341))
appJ_in_aag([], T354, .(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, X463), X464, .(T359, T360)) → U9_aag(T359, X463, X464, T360, appJ_in_aag(X463, X464, T360))
U9_aag(T359, X463, X464, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
U22_aagaa(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → U23_aagaa(T346, T347, T341, X425, T343, pP_in_ggaa(T346, T347, X425, T343))
pP_in_ggaa(T346, T347, T365, T343) → U24_ggaa(T346, T347, T365, T343, appK_in_gga(T346, T347, T365))
appK_in_gga([], T372, .(s(a, b), T372)) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381, .(T379, X492)) → U10_gga(T379, T380, T381, X492, appK_in_gga(T380, T381, X492))
U10_gga(T379, T380, T381, X492, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
U24_ggaa(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → U25_ggaa(T346, T347, T365, T343, parseA_in_ga(T365, T343))
parseA_in_ga(.(s(T394, T395), []), s(T394, T395)) → parseA_out_ga(.(s(T394, T395), []), s(T394, T395))
parseA_in_ga(.(s(T402, T403, T404), []), s(T402, T403, T404)) → parseA_out_ga(.(s(T402, T403, T404), []), s(T402, T403, T404))
U25_ggaa(T346, T347, T365, T343, parseA_out_ga(T365, T343)) → pP_out_ggaa(T346, T347, T365, T343)
U23_aagaa(T346, T347, T341, X425, T343, pP_out_ggaa(T346, T347, X425, T343)) → pE_out_aagaa(T346, T347, T341, X425, T343)
U4_ga(T341, T343, pE_out_aagaa(X423, X424, T341, X425, T343)) → parseA_out_ga(T341, T343)
U21_ggggaa(T239, T240, T241, T242, T282, T232, parseA_out_ga(T282, T232)) → pO_out_ggggaa(T239, T240, T241, T242, T282, T232)
U19_aaaagaa(T239, T240, T241, T242, T230, X293, T232, pO_out_ggggaa(T239, T240, T241, T242, X293, T232)) → pD_out_aaaagaa(T239, T240, T241, T242, T230, X293, T232)
U3_ga(T230, T232, pD_out_aaaagaa(X289, X290, X291, X292, T230, X293, T232)) → parseA_out_ga(T230, T232)
U17_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7, parseA_out_ga(T125, T7)) → pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, T125, T7)
U15_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7, pN_out_ggggggaa(T68, T78, T79, T80, T81, T82, X10, T7)) → pC_out_aaaaaggaa(T78, T79, T80, T81, T82, T69, T68, X10, T7)
U2_ga(T68, T69, T7, pC_out_aaaaaggaa(X109, X110, X111, X112, X113, T69, T68, X10, T7)) → parseA_out_ga(.(T68, T69), T7)
U13_ggggaa(T24, T25, T26, T27, T33, T7, parseA_out_ga(T33, T7)) → pB_out_ggggaa(T24, T25, T26, T27, T33, T7)
U1_ga(T24, T25, T26, T27, T7, pB_out_ggggaa(T24, T25, T26, T27, X10, T7)) → parseA_out_ga(.(a, .(s(T24, T25, T26), .(b, T27))), T7)
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27))), T7) → PB_IN_GGGGAA(T24, T25, T26, T27, X10, T7)
PB_IN_GGGGAA(T24, T25, T26, T27, T33, T7) → U12_GGGGAA(T24, T25, T26, T27, T33, T7, appL_in_gggga(T24, T25, T26, T27, T33))
U12_GGGGAA(T24, T25, T26, T27, T33, T7, appL_out_gggga(T24, T25, T26, T27, T33)) → PARSEA_IN_GA(T33, T7)
PARSEA_IN_GA(.(T68, T69), T7) → PC_IN_AAAAAGGAA(X109, X110, X111, X112, X113, T69, T68, X10, T7)
PC_IN_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7) → U14_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_in_aaaaag(T78, T79, T80, T81, T82, T69))
U14_AAAAAGGAA(T78, T79, T80, T81, T82, T69, T68, X10, T7, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82, X10, T7)
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7) → U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7, appM_in_gggggga(T68, T78, T79, T80, T81, T82, T125))
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, T125, T7, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEA_IN_GA(T125, T7)
PARSEA_IN_GA(T230, T232) → PD_IN_AAAAGAA(X289, X290, X291, X292, T230, X293, T232)
PD_IN_AAAAGAA(T239, T240, T241, T242, T230, X293, T232) → U18_AAAAGAA(T239, T240, T241, T242, T230, X293, T232, appH_in_aaaag(T239, T240, T241, T242, T230))
U18_AAAAGAA(T239, T240, T241, T242, T230, X293, T232, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242, X293, T232)
PO_IN_GGGGAA(T239, T240, T241, T242, T282, T232) → U20_GGGGAA(T239, T240, T241, T242, T282, T232, appI_in_gggga(T239, T240, T241, T242, T282))
U20_GGGGAA(T239, T240, T241, T242, T282, T232, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282, T232)
PARSEA_IN_GA(T341, T343) → PE_IN_AAGAA(X423, X424, T341, X425, T343)
PE_IN_AAGAA(T346, T347, T341, X425, T343) → U22_AAGAA(T346, T347, T341, X425, T343, appJ_in_aag(T346, T347, T341))
U22_AAGAA(T346, T347, T341, X425, T343, appJ_out_aag(T346, T347, T341)) → PP_IN_GGAA(T346, T347, X425, T343)
PP_IN_GGAA(T346, T347, T365, T343) → U24_GGAA(T346, T347, T365, T343, appK_in_gga(T346, T347, T365))
U24_GGAA(T346, T347, T365, T343, appK_out_gga(T346, T347, T365)) → PARSEA_IN_GA(T365, T343)
appL_in_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57)) → appL_out_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57))
appF_in_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116)) → U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_in_aaaaag(X184, X185, X186, X187, X188, T116))
appM_in_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220)) → U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_in_ggggga(T147, T148, T149, T150, T151, X220))
appH_in_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269)) → U7_aaaag(T268, X353, X354, X355, X356, T269, appH_in_aaaag(X353, X354, X355, X356, T269))
appI_in_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303)) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318, .(T314, X388)) → U8_gggga(T314, T315, T316, T317, T318, X388, appI_in_gggga(T315, T316, T317, T318, X388))
appJ_in_aag([], T354, .(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, X463), X464, .(T359, T360)) → U9_aag(T359, X463, X464, T360, appJ_in_aag(X463, X464, T360))
appK_in_gga([], T372, .(s(a, b), T372)) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381, .(T379, X492)) → U10_gga(T379, T380, T381, X492, appK_in_gga(T380, T381, X492))
U5_aaaaag(T115, X184, X185, X186, X187, X188, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
U11_gggggga(T146, T147, T148, T149, T150, T151, X220, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U7_aaaag(T268, X353, X354, X355, X356, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
U8_gggga(T314, T315, T316, T317, T318, X388, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U9_aag(T359, X463, X464, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
U10_gga(T379, T380, T381, X492, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
appG_in_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179)) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242)) → U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_in_ggggga(T193, T194, T195, T196, T197, X242))
U6_ggggga(T192, T193, T194, T195, T196, T197, X242, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27)))) → PB_IN_GGGGAA(T24, T25, T26, T27)
PB_IN_GGGGAA(T24, T25, T26, T27) → U12_GGGGAA(T24, T25, T26, T27, appL_in_gggga(T24, T25, T26, T27))
U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, T33)) → PARSEA_IN_GA(T33)
PARSEA_IN_GA(.(T68, T69)) → PC_IN_AAAAAGGAA(T69, T68)
PC_IN_AAAAAGGAA(T69, T68) → U14_AAAAAGGAA(T69, T68, appF_in_aaaaag(T69))
U14_AAAAAGGAA(T69, T68, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82)
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82) → U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, appM_in_gggggga(T68, T78, T79, T80, T81, T82))
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEA_IN_GA(T125)
PARSEA_IN_GA(T230) → PD_IN_AAAAGAA(T230)
PD_IN_AAAAGAA(T230) → U18_AAAAGAA(T230, appH_in_aaaag(T230))
U18_AAAAGAA(T230, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242)
PO_IN_GGGGAA(T239, T240, T241, T242) → U20_GGGGAA(T239, T240, T241, T242, appI_in_gggga(T239, T240, T241, T242))
U20_GGGGAA(T239, T240, T241, T242, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282)
PARSEA_IN_GA(T341) → PE_IN_AAGAA(T341)
PE_IN_AAGAA(T341) → U22_AAGAA(T341, appJ_in_aag(T341))
U22_AAGAA(T341, appJ_out_aag(T346, T347, T341)) → PP_IN_GGAA(T346, T347)
PP_IN_GGAA(T346, T347) → U24_GGAA(T346, T347, appK_in_gga(T346, T347))
U24_GGAA(T346, T347, appK_out_gga(T346, T347, T365)) → PARSEA_IN_GA(T365)
appL_in_gggga(T54, T55, T56, T57) → appL_out_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57))
appF_in_aaaaag(.(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, T116)) → U5_aaaaag(T115, T116, appF_in_aaaaag(T116))
appM_in_gggggga(T146, T147, T148, T149, T150, T151) → U11_gggggga(T146, T147, T148, T149, T150, T151, appG_in_ggggga(T147, T148, T149, T150, T151))
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
appJ_in_aag(.(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, T360)) → U9_aag(T359, T360, appJ_in_aag(T360))
appK_in_gga([], T372) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381) → U10_gga(T379, T380, T381, appK_in_gga(T380, T381))
U5_aaaaag(T115, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
U11_gggggga(T146, T147, T148, T149, T150, T151, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U9_aag(T359, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
U10_gga(T379, T380, T381, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
appG_in_ggggga([], T176, T177, T178, T179) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197) → U6_ggggga(T192, T193, T194, T195, T196, T197, appG_in_ggggga(T193, T194, T195, T196, T197))
U6_ggggga(T192, T193, T194, T195, T196, T197, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
appL_in_gggga(x0, x1, x2, x3)
appF_in_aaaaag(x0)
appM_in_gggggga(x0, x1, x2, x3, x4, x5)
appH_in_aaaag(x0)
appI_in_gggga(x0, x1, x2, x3)
appJ_in_aag(x0)
appK_in_gga(x0, x1)
U5_aaaaag(x0, x1, x2)
U11_gggggga(x0, x1, x2, x3, x4, x5, x6)
U7_aaaag(x0, x1, x2)
U8_gggga(x0, x1, x2, x3, x4, x5)
U9_aag(x0, x1, x2)
U10_gga(x0, x1, x2, x3)
appG_in_ggggga(x0, x1, x2, x3, x4)
U6_ggggga(x0, x1, x2, x3, x4, x5, x6)
PB_IN_GGGGAA(T24, T25, T26, T27) → U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, .(s(a, s(T24, T25, T26), b), T27)))
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27)))) → PB_IN_GGGGAA(T24, T25, T26, T27)
U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, T33)) → PARSEA_IN_GA(T33)
PARSEA_IN_GA(.(T68, T69)) → PC_IN_AAAAAGGAA(T69, T68)
PC_IN_AAAAAGGAA(T69, T68) → U14_AAAAAGGAA(T69, T68, appF_in_aaaaag(T69))
U14_AAAAAGGAA(T69, T68, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82)
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82) → U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, appM_in_gggggga(T68, T78, T79, T80, T81, T82))
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEA_IN_GA(T125)
PARSEA_IN_GA(T230) → PD_IN_AAAAGAA(T230)
PD_IN_AAAAGAA(T230) → U18_AAAAGAA(T230, appH_in_aaaag(T230))
U18_AAAAGAA(T230, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242)
PO_IN_GGGGAA(T239, T240, T241, T242) → U20_GGGGAA(T239, T240, T241, T242, appI_in_gggga(T239, T240, T241, T242))
U20_GGGGAA(T239, T240, T241, T242, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282)
PARSEA_IN_GA(T341) → PE_IN_AAGAA(T341)
PE_IN_AAGAA(T341) → U22_AAGAA(T341, appJ_in_aag(T341))
U22_AAGAA(T341, appJ_out_aag(T346, T347, T341)) → PP_IN_GGAA(T346, T347)
PP_IN_GGAA(T346, T347) → U24_GGAA(T346, T347, appK_in_gga(T346, T347))
U24_GGAA(T346, T347, appK_out_gga(T346, T347, T365)) → PARSEA_IN_GA(T365)
PB_IN_GGGGAA(T24, T25, T26, T27) → U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, .(s(a, s(T24, T25, T26), b), T27)))
appL_in_gggga(T54, T55, T56, T57) → appL_out_gggga(T54, T55, T56, T57, .(s(a, s(T54, T55, T56), b), T57))
appF_in_aaaaag(.(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, T116)) → U5_aaaaag(T115, T116, appF_in_aaaaag(T116))
appM_in_gggggga(T146, T147, T148, T149, T150, T151) → U11_gggggga(T146, T147, T148, T149, T150, T151, appG_in_ggggga(T147, T148, T149, T150, T151))
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
appJ_in_aag(.(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, T360)) → U9_aag(T359, T360, appJ_in_aag(T360))
appK_in_gga([], T372) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381) → U10_gga(T379, T380, T381, appK_in_gga(T380, T381))
U5_aaaaag(T115, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
U11_gggggga(T146, T147, T148, T149, T150, T151, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U9_aag(T359, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
U10_gga(T379, T380, T381, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
appG_in_ggggga([], T176, T177, T178, T179) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197) → U6_ggggga(T192, T193, T194, T195, T196, T197, appG_in_ggggga(T193, T194, T195, T196, T197))
U6_ggggga(T192, T193, T194, T195, T196, T197, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
appL_in_gggga(x0, x1, x2, x3)
appF_in_aaaaag(x0)
appM_in_gggggga(x0, x1, x2, x3, x4, x5)
appH_in_aaaag(x0)
appI_in_gggga(x0, x1, x2, x3)
appJ_in_aag(x0)
appK_in_gga(x0, x1)
U5_aaaaag(x0, x1, x2)
U11_gggggga(x0, x1, x2, x3, x4, x5, x6)
U7_aaaag(x0, x1, x2)
U8_gggga(x0, x1, x2, x3, x4, x5)
U9_aag(x0, x1, x2)
U10_gga(x0, x1, x2, x3)
appG_in_ggggga(x0, x1, x2, x3, x4)
U6_ggggga(x0, x1, x2, x3, x4, x5, x6)
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27)))) → PB_IN_GGGGAA(T24, T25, T26, T27)
U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, T33)) → PARSEA_IN_GA(T33)
PARSEA_IN_GA(.(T68, T69)) → PC_IN_AAAAAGGAA(T69, T68)
PC_IN_AAAAAGGAA(T69, T68) → U14_AAAAAGGAA(T69, T68, appF_in_aaaaag(T69))
U14_AAAAAGGAA(T69, T68, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82)
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82) → U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, appM_in_gggggga(T68, T78, T79, T80, T81, T82))
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEA_IN_GA(T125)
PARSEA_IN_GA(T230) → PD_IN_AAAAGAA(T230)
PD_IN_AAAAGAA(T230) → U18_AAAAGAA(T230, appH_in_aaaag(T230))
U18_AAAAGAA(T230, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242)
PO_IN_GGGGAA(T239, T240, T241, T242) → U20_GGGGAA(T239, T240, T241, T242, appI_in_gggga(T239, T240, T241, T242))
U20_GGGGAA(T239, T240, T241, T242, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282)
PARSEA_IN_GA(T341) → PE_IN_AAGAA(T341)
PE_IN_AAGAA(T341) → U22_AAGAA(T341, appJ_in_aag(T341))
U22_AAGAA(T341, appJ_out_aag(T346, T347, T341)) → PP_IN_GGAA(T346, T347)
PP_IN_GGAA(T346, T347) → U24_GGAA(T346, T347, appK_in_gga(T346, T347))
U24_GGAA(T346, T347, appK_out_gga(T346, T347, T365)) → PARSEA_IN_GA(T365)
PB_IN_GGGGAA(T24, T25, T26, T27) → U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, .(s(a, s(T24, T25, T26), b), T27)))
appK_in_gga([], T372) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381) → U10_gga(T379, T380, T381, appK_in_gga(T380, T381))
U10_gga(T379, T380, T381, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
appJ_in_aag(.(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, T360)) → U9_aag(T359, T360, appJ_in_aag(T360))
U9_aag(T359, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
appM_in_gggggga(T146, T147, T148, T149, T150, T151) → U11_gggggga(T146, T147, T148, T149, T150, T151, appG_in_ggggga(T147, T148, T149, T150, T151))
appG_in_ggggga([], T176, T177, T178, T179) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197) → U6_ggggga(T192, T193, T194, T195, T196, T197, appG_in_ggggga(T193, T194, T195, T196, T197))
U11_gggggga(T146, T147, T148, T149, T150, T151, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U6_ggggga(T192, T193, T194, T195, T196, T197, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
appF_in_aaaaag(.(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, T116)) → U5_aaaaag(T115, T116, appF_in_aaaaag(T116))
U5_aaaaag(T115, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
appL_in_gggga(x0, x1, x2, x3)
appF_in_aaaaag(x0)
appM_in_gggggga(x0, x1, x2, x3, x4, x5)
appH_in_aaaag(x0)
appI_in_gggga(x0, x1, x2, x3)
appJ_in_aag(x0)
appK_in_gga(x0, x1)
U5_aaaaag(x0, x1, x2)
U11_gggggga(x0, x1, x2, x3, x4, x5, x6)
U7_aaaag(x0, x1, x2)
U8_gggga(x0, x1, x2, x3, x4, x5)
U9_aag(x0, x1, x2)
U10_gga(x0, x1, x2, x3)
appG_in_ggggga(x0, x1, x2, x3, x4)
U6_ggggga(x0, x1, x2, x3, x4, x5, x6)
appL_in_gggga(x0, x1, x2, x3)
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27)))) → PB_IN_GGGGAA(T24, T25, T26, T27)
U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, T33)) → PARSEA_IN_GA(T33)
PARSEA_IN_GA(.(T68, T69)) → PC_IN_AAAAAGGAA(T69, T68)
PC_IN_AAAAAGGAA(T69, T68) → U14_AAAAAGGAA(T69, T68, appF_in_aaaaag(T69))
U14_AAAAAGGAA(T69, T68, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82)
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82) → U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, appM_in_gggggga(T68, T78, T79, T80, T81, T82))
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEA_IN_GA(T125)
PARSEA_IN_GA(T230) → PD_IN_AAAAGAA(T230)
PD_IN_AAAAGAA(T230) → U18_AAAAGAA(T230, appH_in_aaaag(T230))
U18_AAAAGAA(T230, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242)
PO_IN_GGGGAA(T239, T240, T241, T242) → U20_GGGGAA(T239, T240, T241, T242, appI_in_gggga(T239, T240, T241, T242))
U20_GGGGAA(T239, T240, T241, T242, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282)
PARSEA_IN_GA(T341) → PE_IN_AAGAA(T341)
PE_IN_AAGAA(T341) → U22_AAGAA(T341, appJ_in_aag(T341))
U22_AAGAA(T341, appJ_out_aag(T346, T347, T341)) → PP_IN_GGAA(T346, T347)
PP_IN_GGAA(T346, T347) → U24_GGAA(T346, T347, appK_in_gga(T346, T347))
U24_GGAA(T346, T347, appK_out_gga(T346, T347, T365)) → PARSEA_IN_GA(T365)
PB_IN_GGGGAA(T24, T25, T26, T27) → U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, .(s(a, s(T24, T25, T26), b), T27)))
appK_in_gga([], T372) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381) → U10_gga(T379, T380, T381, appK_in_gga(T380, T381))
U10_gga(T379, T380, T381, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
appJ_in_aag(.(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, T360)) → U9_aag(T359, T360, appJ_in_aag(T360))
U9_aag(T359, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
appM_in_gggggga(T146, T147, T148, T149, T150, T151) → U11_gggggga(T146, T147, T148, T149, T150, T151, appG_in_ggggga(T147, T148, T149, T150, T151))
appG_in_ggggga([], T176, T177, T178, T179) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197) → U6_ggggga(T192, T193, T194, T195, T196, T197, appG_in_ggggga(T193, T194, T195, T196, T197))
U11_gggggga(T146, T147, T148, T149, T150, T151, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U6_ggggga(T192, T193, T194, T195, T196, T197, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
appF_in_aaaaag(.(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, T116)) → U5_aaaaag(T115, T116, appF_in_aaaaag(T116))
U5_aaaaag(T115, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
appF_in_aaaaag(x0)
appM_in_gggggga(x0, x1, x2, x3, x4, x5)
appH_in_aaaag(x0)
appI_in_gggga(x0, x1, x2, x3)
appJ_in_aag(x0)
appK_in_gga(x0, x1)
U5_aaaaag(x0, x1, x2)
U11_gggggga(x0, x1, x2, x3, x4, x5, x6)
U7_aaaag(x0, x1, x2)
U8_gggga(x0, x1, x2, x3, x4, x5)
U9_aag(x0, x1, x2)
U10_gga(x0, x1, x2, x3)
appG_in_ggggga(x0, x1, x2, x3, x4)
U6_ggggga(x0, x1, x2, x3, x4, x5, x6)
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82) → U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, U11_gggggga(T68, T78, T79, T80, T81, T82, appG_in_ggggga(T78, T79, T80, T81, T82)))
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27)))) → PB_IN_GGGGAA(T24, T25, T26, T27)
U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, T33)) → PARSEA_IN_GA(T33)
PARSEA_IN_GA(.(T68, T69)) → PC_IN_AAAAAGGAA(T69, T68)
PC_IN_AAAAAGGAA(T69, T68) → U14_AAAAAGGAA(T69, T68, appF_in_aaaaag(T69))
U14_AAAAAGGAA(T69, T68, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82)
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEA_IN_GA(T125)
PARSEA_IN_GA(T230) → PD_IN_AAAAGAA(T230)
PD_IN_AAAAGAA(T230) → U18_AAAAGAA(T230, appH_in_aaaag(T230))
U18_AAAAGAA(T230, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242)
PO_IN_GGGGAA(T239, T240, T241, T242) → U20_GGGGAA(T239, T240, T241, T242, appI_in_gggga(T239, T240, T241, T242))
U20_GGGGAA(T239, T240, T241, T242, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282)
PARSEA_IN_GA(T341) → PE_IN_AAGAA(T341)
PE_IN_AAGAA(T341) → U22_AAGAA(T341, appJ_in_aag(T341))
U22_AAGAA(T341, appJ_out_aag(T346, T347, T341)) → PP_IN_GGAA(T346, T347)
PP_IN_GGAA(T346, T347) → U24_GGAA(T346, T347, appK_in_gga(T346, T347))
U24_GGAA(T346, T347, appK_out_gga(T346, T347, T365)) → PARSEA_IN_GA(T365)
PB_IN_GGGGAA(T24, T25, T26, T27) → U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, .(s(a, s(T24, T25, T26), b), T27)))
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82) → U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, U11_gggggga(T68, T78, T79, T80, T81, T82, appG_in_ggggga(T78, T79, T80, T81, T82)))
appK_in_gga([], T372) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381) → U10_gga(T379, T380, T381, appK_in_gga(T380, T381))
U10_gga(T379, T380, T381, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
appJ_in_aag(.(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, T360)) → U9_aag(T359, T360, appJ_in_aag(T360))
U9_aag(T359, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
appM_in_gggggga(T146, T147, T148, T149, T150, T151) → U11_gggggga(T146, T147, T148, T149, T150, T151, appG_in_ggggga(T147, T148, T149, T150, T151))
appG_in_ggggga([], T176, T177, T178, T179) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197) → U6_ggggga(T192, T193, T194, T195, T196, T197, appG_in_ggggga(T193, T194, T195, T196, T197))
U11_gggggga(T146, T147, T148, T149, T150, T151, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U6_ggggga(T192, T193, T194, T195, T196, T197, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
appF_in_aaaaag(.(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, T116)) → U5_aaaaag(T115, T116, appF_in_aaaaag(T116))
U5_aaaaag(T115, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
appF_in_aaaaag(x0)
appM_in_gggggga(x0, x1, x2, x3, x4, x5)
appH_in_aaaag(x0)
appI_in_gggga(x0, x1, x2, x3)
appJ_in_aag(x0)
appK_in_gga(x0, x1)
U5_aaaaag(x0, x1, x2)
U11_gggggga(x0, x1, x2, x3, x4, x5, x6)
U7_aaaag(x0, x1, x2)
U8_gggga(x0, x1, x2, x3, x4, x5)
U9_aag(x0, x1, x2)
U10_gga(x0, x1, x2, x3)
appG_in_ggggga(x0, x1, x2, x3, x4)
U6_ggggga(x0, x1, x2, x3, x4, x5, x6)
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27)))) → PB_IN_GGGGAA(T24, T25, T26, T27)
U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, T33)) → PARSEA_IN_GA(T33)
PARSEA_IN_GA(.(T68, T69)) → PC_IN_AAAAAGGAA(T69, T68)
PC_IN_AAAAAGGAA(T69, T68) → U14_AAAAAGGAA(T69, T68, appF_in_aaaaag(T69))
U14_AAAAAGGAA(T69, T68, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82)
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEA_IN_GA(T125)
PARSEA_IN_GA(T230) → PD_IN_AAAAGAA(T230)
PD_IN_AAAAGAA(T230) → U18_AAAAGAA(T230, appH_in_aaaag(T230))
U18_AAAAGAA(T230, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242)
PO_IN_GGGGAA(T239, T240, T241, T242) → U20_GGGGAA(T239, T240, T241, T242, appI_in_gggga(T239, T240, T241, T242))
U20_GGGGAA(T239, T240, T241, T242, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282)
PARSEA_IN_GA(T341) → PE_IN_AAGAA(T341)
PE_IN_AAGAA(T341) → U22_AAGAA(T341, appJ_in_aag(T341))
U22_AAGAA(T341, appJ_out_aag(T346, T347, T341)) → PP_IN_GGAA(T346, T347)
PP_IN_GGAA(T346, T347) → U24_GGAA(T346, T347, appK_in_gga(T346, T347))
U24_GGAA(T346, T347, appK_out_gga(T346, T347, T365)) → PARSEA_IN_GA(T365)
PB_IN_GGGGAA(T24, T25, T26, T27) → U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, .(s(a, s(T24, T25, T26), b), T27)))
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82) → U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, U11_gggggga(T68, T78, T79, T80, T81, T82, appG_in_ggggga(T78, T79, T80, T81, T82)))
appG_in_ggggga([], T176, T177, T178, T179) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197) → U6_ggggga(T192, T193, T194, T195, T196, T197, appG_in_ggggga(T193, T194, T195, T196, T197))
U11_gggggga(T146, T147, T148, T149, T150, T151, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U6_ggggga(T192, T193, T194, T195, T196, T197, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
appK_in_gga([], T372) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381) → U10_gga(T379, T380, T381, appK_in_gga(T380, T381))
U10_gga(T379, T380, T381, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
appJ_in_aag(.(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, T360)) → U9_aag(T359, T360, appJ_in_aag(T360))
U9_aag(T359, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
appF_in_aaaaag(.(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, T116)) → U5_aaaaag(T115, T116, appF_in_aaaaag(T116))
U5_aaaaag(T115, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
appF_in_aaaaag(x0)
appM_in_gggggga(x0, x1, x2, x3, x4, x5)
appH_in_aaaag(x0)
appI_in_gggga(x0, x1, x2, x3)
appJ_in_aag(x0)
appK_in_gga(x0, x1)
U5_aaaaag(x0, x1, x2)
U11_gggggga(x0, x1, x2, x3, x4, x5, x6)
U7_aaaag(x0, x1, x2)
U8_gggga(x0, x1, x2, x3, x4, x5)
U9_aag(x0, x1, x2)
U10_gga(x0, x1, x2, x3)
appG_in_ggggga(x0, x1, x2, x3, x4)
U6_ggggga(x0, x1, x2, x3, x4, x5, x6)
appM_in_gggggga(x0, x1, x2, x3, x4, x5)
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27)))) → PB_IN_GGGGAA(T24, T25, T26, T27)
U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, T33)) → PARSEA_IN_GA(T33)
PARSEA_IN_GA(.(T68, T69)) → PC_IN_AAAAAGGAA(T69, T68)
PC_IN_AAAAAGGAA(T69, T68) → U14_AAAAAGGAA(T69, T68, appF_in_aaaaag(T69))
U14_AAAAAGGAA(T69, T68, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82)
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEA_IN_GA(T125)
PARSEA_IN_GA(T230) → PD_IN_AAAAGAA(T230)
PD_IN_AAAAGAA(T230) → U18_AAAAGAA(T230, appH_in_aaaag(T230))
U18_AAAAGAA(T230, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242)
PO_IN_GGGGAA(T239, T240, T241, T242) → U20_GGGGAA(T239, T240, T241, T242, appI_in_gggga(T239, T240, T241, T242))
U20_GGGGAA(T239, T240, T241, T242, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282)
PARSEA_IN_GA(T341) → PE_IN_AAGAA(T341)
PE_IN_AAGAA(T341) → U22_AAGAA(T341, appJ_in_aag(T341))
U22_AAGAA(T341, appJ_out_aag(T346, T347, T341)) → PP_IN_GGAA(T346, T347)
PP_IN_GGAA(T346, T347) → U24_GGAA(T346, T347, appK_in_gga(T346, T347))
U24_GGAA(T346, T347, appK_out_gga(T346, T347, T365)) → PARSEA_IN_GA(T365)
PB_IN_GGGGAA(T24, T25, T26, T27) → U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, .(s(a, s(T24, T25, T26), b), T27)))
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82) → U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, U11_gggggga(T68, T78, T79, T80, T81, T82, appG_in_ggggga(T78, T79, T80, T81, T82)))
appG_in_ggggga([], T176, T177, T178, T179) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197) → U6_ggggga(T192, T193, T194, T195, T196, T197, appG_in_ggggga(T193, T194, T195, T196, T197))
U11_gggggga(T146, T147, T148, T149, T150, T151, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U6_ggggga(T192, T193, T194, T195, T196, T197, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
appK_in_gga([], T372) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381) → U10_gga(T379, T380, T381, appK_in_gga(T380, T381))
U10_gga(T379, T380, T381, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
appJ_in_aag(.(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, T360)) → U9_aag(T359, T360, appJ_in_aag(T360))
U9_aag(T359, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
appF_in_aaaaag(.(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, T116)) → U5_aaaaag(T115, T116, appF_in_aaaaag(T116))
U5_aaaaag(T115, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
appF_in_aaaaag(x0)
appH_in_aaaag(x0)
appI_in_gggga(x0, x1, x2, x3)
appJ_in_aag(x0)
appK_in_gga(x0, x1)
U5_aaaaag(x0, x1, x2)
U11_gggggga(x0, x1, x2, x3, x4, x5, x6)
U7_aaaag(x0, x1, x2)
U8_gggga(x0, x1, x2, x3, x4, x5)
U9_aag(x0, x1, x2)
U10_gga(x0, x1, x2, x3)
appG_in_ggggga(x0, x1, x2, x3, x4)
U6_ggggga(x0, x1, x2, x3, x4, x5, x6)
U12_GGGGAA(z0, z1, z2, z3, appL_out_gggga(z0, z1, z2, z3, .(s(a, s(z0, z1, z2), b), z3))) → PARSEA_IN_GA(.(s(a, s(z0, z1, z2), b), z3))
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27)))) → PB_IN_GGGGAA(T24, T25, T26, T27)
PARSEA_IN_GA(.(T68, T69)) → PC_IN_AAAAAGGAA(T69, T68)
PC_IN_AAAAAGGAA(T69, T68) → U14_AAAAAGGAA(T69, T68, appF_in_aaaaag(T69))
U14_AAAAAGGAA(T69, T68, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82)
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEA_IN_GA(T125)
PARSEA_IN_GA(T230) → PD_IN_AAAAGAA(T230)
PD_IN_AAAAGAA(T230) → U18_AAAAGAA(T230, appH_in_aaaag(T230))
U18_AAAAGAA(T230, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242)
PO_IN_GGGGAA(T239, T240, T241, T242) → U20_GGGGAA(T239, T240, T241, T242, appI_in_gggga(T239, T240, T241, T242))
U20_GGGGAA(T239, T240, T241, T242, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282)
PARSEA_IN_GA(T341) → PE_IN_AAGAA(T341)
PE_IN_AAGAA(T341) → U22_AAGAA(T341, appJ_in_aag(T341))
U22_AAGAA(T341, appJ_out_aag(T346, T347, T341)) → PP_IN_GGAA(T346, T347)
PP_IN_GGAA(T346, T347) → U24_GGAA(T346, T347, appK_in_gga(T346, T347))
U24_GGAA(T346, T347, appK_out_gga(T346, T347, T365)) → PARSEA_IN_GA(T365)
PB_IN_GGGGAA(T24, T25, T26, T27) → U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, .(s(a, s(T24, T25, T26), b), T27)))
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82) → U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, U11_gggggga(T68, T78, T79, T80, T81, T82, appG_in_ggggga(T78, T79, T80, T81, T82)))
U12_GGGGAA(z0, z1, z2, z3, appL_out_gggga(z0, z1, z2, z3, .(s(a, s(z0, z1, z2), b), z3))) → PARSEA_IN_GA(.(s(a, s(z0, z1, z2), b), z3))
appG_in_ggggga([], T176, T177, T178, T179) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197) → U6_ggggga(T192, T193, T194, T195, T196, T197, appG_in_ggggga(T193, T194, T195, T196, T197))
U11_gggggga(T146, T147, T148, T149, T150, T151, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U6_ggggga(T192, T193, T194, T195, T196, T197, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
appK_in_gga([], T372) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381) → U10_gga(T379, T380, T381, appK_in_gga(T380, T381))
U10_gga(T379, T380, T381, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
appJ_in_aag(.(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, T360)) → U9_aag(T359, T360, appJ_in_aag(T360))
U9_aag(T359, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
appF_in_aaaaag(.(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, T116)) → U5_aaaaag(T115, T116, appF_in_aaaaag(T116))
U5_aaaaag(T115, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
appF_in_aaaaag(x0)
appH_in_aaaag(x0)
appI_in_gggga(x0, x1, x2, x3)
appJ_in_aag(x0)
appK_in_gga(x0, x1)
U5_aaaaag(x0, x1, x2)
U11_gggggga(x0, x1, x2, x3, x4, x5, x6)
U7_aaaag(x0, x1, x2)
U8_gggga(x0, x1, x2, x3, x4, x5)
U9_aag(x0, x1, x2)
U10_gga(x0, x1, x2, x3)
appG_in_ggggga(x0, x1, x2, x3, x4)
U6_ggggga(x0, x1, x2, x3, x4, x5, x6)
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
PARSEA_IN_GA(.(a, .(s(T24, T25, T26), .(b, T27)))) → PB_IN_GGGGAA(T24, T25, T26, T27)
PC_IN_AAAAAGGAA(T69, T68) → U14_AAAAAGGAA(T69, T68, appF_in_aaaaag(T69))
PP_IN_GGAA(T346, T347) → U24_GGAA(T346, T347, appK_in_gga(T346, T347))
POL(.(x1, x2)) = 1 + x2
POL(PARSEA_IN_GA(x1)) = x1
POL(PB_IN_GGGGAA(x1, x2, x3, x4)) = 1 + x4
POL(PC_IN_AAAAAGGAA(x1, x2)) = 1 + x1
POL(PD_IN_AAAAGAA(x1)) = x1
POL(PE_IN_AAGAA(x1)) = x1
POL(PN_IN_GGGGGGAA(x1, x2, x3, x4, x5, x6)) = 1 + x2 + x6
POL(PO_IN_GGGGAA(x1, x2, x3, x4)) = x1 + x4
POL(PP_IN_GGAA(x1, x2)) = 1 + x1 + x2
POL(U10_gga(x1, x2, x3, x4)) = 1 + x4
POL(U11_gggggga(x1, x2, x3, x4, x5, x6, x7)) = x7
POL(U12_GGGGAA(x1, x2, x3, x4, x5)) = 1 + x5
POL(U14_AAAAAGGAA(x1, x2, x3)) = x3
POL(U16_GGGGGGAA(x1, x2, x3, x4, x5, x6, x7)) = x7
POL(U18_AAAAGAA(x1, x2)) = x2
POL(U20_GGGGAA(x1, x2, x3, x4, x5)) = x5
POL(U22_AAGAA(x1, x2)) = x2
POL(U24_GGAA(x1, x2, x3)) = x3
POL(U5_aaaaag(x1, x2, x3)) = 1 + x3
POL(U6_ggggga(x1, x2, x3, x4, x5, x6, x7)) = 1 + x7
POL(U7_aaaag(x1, x2, x3)) = 1 + x3
POL(U8_gggga(x1, x2, x3, x4, x5, x6)) = 1 + x6
POL(U9_aag(x1, x2, x3)) = 1 + x3
POL([]) = 1
POL(a) = 0
POL(appF_in_aaaaag(x1)) = x1
POL(appF_out_aaaaag(x1, x2, x3, x4, x5, x6)) = 1 + x1 + x5
POL(appG_in_ggggga(x1, x2, x3, x4, x5)) = 1 + x1 + x5
POL(appG_out_ggggga(x1, x2, x3, x4, x5, x6)) = 1 + x6
POL(appH_in_aaaag(x1)) = x1
POL(appH_out_aaaag(x1, x2, x3, x4, x5)) = x1 + x4
POL(appI_in_gggga(x1, x2, x3, x4)) = x1 + x4
POL(appI_out_gggga(x1, x2, x3, x4, x5)) = x5
POL(appJ_in_aag(x1)) = x1
POL(appJ_out_aag(x1, x2, x3)) = 1 + x1 + x2
POL(appK_in_gga(x1, x2)) = x1 + x2
POL(appK_out_gga(x1, x2, x3)) = x3
POL(appL_out_gggga(x1, x2, x3, x4, x5)) = x4
POL(appM_out_gggggga(x1, x2, x3, x4, x5, x6, x7)) = x7
POL(b) = 0
POL(s(x1, x2)) = 0
POL(s(x1, x2, x3)) = 0
appF_in_aaaaag(.(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, T116)) → U5_aaaaag(T115, T116, appF_in_aaaaag(T116))
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
appJ_in_aag(.(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, T360)) → U9_aag(T359, T360, appJ_in_aag(T360))
appK_in_gga([], T372) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381) → U10_gga(T379, T380, T381, appK_in_gga(T380, T381))
appG_in_ggggga([], T176, T177, T178, T179) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197) → U6_ggggga(T192, T193, T194, T195, T196, T197, appG_in_ggggga(T193, T194, T195, T196, T197))
U11_gggggga(T146, T147, T148, T149, T150, T151, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U6_ggggga(T192, T193, T194, T195, T196, T197, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
U10_gga(T379, T380, T381, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
U9_aag(T359, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
U5_aaaaag(T115, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
PARSEA_IN_GA(.(T68, T69)) → PC_IN_AAAAAGGAA(T69, T68)
U14_AAAAAGGAA(T69, T68, appF_out_aaaaag(T78, T79, T80, T81, T82, T69)) → PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82)
U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, appM_out_gggggga(T68, T78, T79, T80, T81, T82, T125)) → PARSEA_IN_GA(T125)
PARSEA_IN_GA(T230) → PD_IN_AAAAGAA(T230)
PD_IN_AAAAGAA(T230) → U18_AAAAGAA(T230, appH_in_aaaag(T230))
U18_AAAAGAA(T230, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242)
PO_IN_GGGGAA(T239, T240, T241, T242) → U20_GGGGAA(T239, T240, T241, T242, appI_in_gggga(T239, T240, T241, T242))
U20_GGGGAA(T239, T240, T241, T242, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282)
PARSEA_IN_GA(T341) → PE_IN_AAGAA(T341)
PE_IN_AAGAA(T341) → U22_AAGAA(T341, appJ_in_aag(T341))
U22_AAGAA(T341, appJ_out_aag(T346, T347, T341)) → PP_IN_GGAA(T346, T347)
U24_GGAA(T346, T347, appK_out_gga(T346, T347, T365)) → PARSEA_IN_GA(T365)
PB_IN_GGGGAA(T24, T25, T26, T27) → U12_GGGGAA(T24, T25, T26, T27, appL_out_gggga(T24, T25, T26, T27, .(s(a, s(T24, T25, T26), b), T27)))
PN_IN_GGGGGGAA(T68, T78, T79, T80, T81, T82) → U16_GGGGGGAA(T68, T78, T79, T80, T81, T82, U11_gggggga(T68, T78, T79, T80, T81, T82, appG_in_ggggga(T78, T79, T80, T81, T82)))
U12_GGGGAA(z0, z1, z2, z3, appL_out_gggga(z0, z1, z2, z3, .(s(a, s(z0, z1, z2), b), z3))) → PARSEA_IN_GA(.(s(a, s(z0, z1, z2), b), z3))
appG_in_ggggga([], T176, T177, T178, T179) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197) → U6_ggggga(T192, T193, T194, T195, T196, T197, appG_in_ggggga(T193, T194, T195, T196, T197))
U11_gggggga(T146, T147, T148, T149, T150, T151, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U6_ggggga(T192, T193, T194, T195, T196, T197, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
appK_in_gga([], T372) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381) → U10_gga(T379, T380, T381, appK_in_gga(T380, T381))
U10_gga(T379, T380, T381, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
appJ_in_aag(.(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, T360)) → U9_aag(T359, T360, appJ_in_aag(T360))
U9_aag(T359, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
appF_in_aaaaag(.(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, T116)) → U5_aaaaag(T115, T116, appF_in_aaaaag(T116))
U5_aaaaag(T115, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
appF_in_aaaaag(x0)
appH_in_aaaag(x0)
appI_in_gggga(x0, x1, x2, x3)
appJ_in_aag(x0)
appK_in_gga(x0, x1)
U5_aaaaag(x0, x1, x2)
U11_gggggga(x0, x1, x2, x3, x4, x5, x6)
U7_aaaag(x0, x1, x2)
U8_gggga(x0, x1, x2, x3, x4, x5)
U9_aag(x0, x1, x2)
U10_gga(x0, x1, x2, x3)
appG_in_ggggga(x0, x1, x2, x3, x4)
U6_ggggga(x0, x1, x2, x3, x4, x5, x6)
PARSEA_IN_GA(T230) → PD_IN_AAAAGAA(T230)
PD_IN_AAAAGAA(T230) → U18_AAAAGAA(T230, appH_in_aaaag(T230))
U18_AAAAGAA(T230, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242)
PO_IN_GGGGAA(T239, T240, T241, T242) → U20_GGGGAA(T239, T240, T241, T242, appI_in_gggga(T239, T240, T241, T242))
U20_GGGGAA(T239, T240, T241, T242, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282)
appG_in_ggggga([], T176, T177, T178, T179) → appG_out_ggggga([], T176, T177, T178, T179, .(s(a, s(T176, T177, T178), b), T179))
appG_in_ggggga(.(T192, T193), T194, T195, T196, T197) → U6_ggggga(T192, T193, T194, T195, T196, T197, appG_in_ggggga(T193, T194, T195, T196, T197))
U11_gggggga(T146, T147, T148, T149, T150, T151, appG_out_ggggga(T147, T148, T149, T150, T151, X220)) → appM_out_gggggga(T146, T147, T148, T149, T150, T151, .(T146, X220))
U6_ggggga(T192, T193, T194, T195, T196, T197, appG_out_ggggga(T193, T194, T195, T196, T197, X242)) → appG_out_ggggga(.(T192, T193), T194, T195, T196, T197, .(T192, X242))
appK_in_gga([], T372) → appK_out_gga([], T372, .(s(a, b), T372))
appK_in_gga(.(T379, T380), T381) → U10_gga(T379, T380, T381, appK_in_gga(T380, T381))
U10_gga(T379, T380, T381, appK_out_gga(T380, T381, X492)) → appK_out_gga(.(T379, T380), T381, .(T379, X492))
appJ_in_aag(.(a, .(b, T354))) → appJ_out_aag([], T354, .(a, .(b, T354)))
appJ_in_aag(.(T359, T360)) → U9_aag(T359, T360, appJ_in_aag(T360))
U9_aag(T359, T360, appJ_out_aag(X463, X464, T360)) → appJ_out_aag(.(T359, X463), X464, .(T359, T360))
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
appF_in_aaaaag(.(a, .(s(T107, T108, T109), .(b, T110)))) → appF_out_aaaaag([], T107, T108, T109, T110, .(a, .(s(T107, T108, T109), .(b, T110))))
appF_in_aaaaag(.(T115, T116)) → U5_aaaaag(T115, T116, appF_in_aaaaag(T116))
U5_aaaaag(T115, T116, appF_out_aaaaag(X184, X185, X186, X187, X188, T116)) → appF_out_aaaaag(.(T115, X184), X185, X186, X187, X188, .(T115, T116))
appF_in_aaaaag(x0)
appH_in_aaaag(x0)
appI_in_gggga(x0, x1, x2, x3)
appJ_in_aag(x0)
appK_in_gga(x0, x1)
U5_aaaaag(x0, x1, x2)
U11_gggggga(x0, x1, x2, x3, x4, x5, x6)
U7_aaaag(x0, x1, x2)
U8_gggga(x0, x1, x2, x3, x4, x5)
U9_aag(x0, x1, x2)
U10_gga(x0, x1, x2, x3)
appG_in_ggggga(x0, x1, x2, x3, x4)
U6_ggggga(x0, x1, x2, x3, x4, x5, x6)
PARSEA_IN_GA(T230) → PD_IN_AAAAGAA(T230)
PD_IN_AAAAGAA(T230) → U18_AAAAGAA(T230, appH_in_aaaag(T230))
U18_AAAAGAA(T230, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242)
PO_IN_GGGGAA(T239, T240, T241, T242) → U20_GGGGAA(T239, T240, T241, T242, appI_in_gggga(T239, T240, T241, T242))
U20_GGGGAA(T239, T240, T241, T242, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282)
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
appF_in_aaaaag(x0)
appH_in_aaaag(x0)
appI_in_gggga(x0, x1, x2, x3)
appJ_in_aag(x0)
appK_in_gga(x0, x1)
U5_aaaaag(x0, x1, x2)
U11_gggggga(x0, x1, x2, x3, x4, x5, x6)
U7_aaaag(x0, x1, x2)
U8_gggga(x0, x1, x2, x3, x4, x5)
U9_aag(x0, x1, x2)
U10_gga(x0, x1, x2, x3)
appG_in_ggggga(x0, x1, x2, x3, x4)
U6_ggggga(x0, x1, x2, x3, x4, x5, x6)
appF_in_aaaaag(x0)
appJ_in_aag(x0)
appK_in_gga(x0, x1)
U5_aaaaag(x0, x1, x2)
U11_gggggga(x0, x1, x2, x3, x4, x5, x6)
U9_aag(x0, x1, x2)
U10_gga(x0, x1, x2, x3)
appG_in_ggggga(x0, x1, x2, x3, x4)
U6_ggggga(x0, x1, x2, x3, x4, x5, x6)
PARSEA_IN_GA(T230) → PD_IN_AAAAGAA(T230)
PD_IN_AAAAGAA(T230) → U18_AAAAGAA(T230, appH_in_aaaag(T230))
U18_AAAAGAA(T230, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242)
PO_IN_GGGGAA(T239, T240, T241, T242) → U20_GGGGAA(T239, T240, T241, T242, appI_in_gggga(T239, T240, T241, T242))
U20_GGGGAA(T239, T240, T241, T242, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282)
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
appH_in_aaaag(x0)
appI_in_gggga(x0, x1, x2, x3)
U7_aaaag(x0, x1, x2)
U8_gggga(x0, x1, x2, x3, x4, x5)
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
PO_IN_GGGGAA(T239, T240, T241, T242) → U20_GGGGAA(T239, T240, T241, T242, appI_in_gggga(T239, T240, T241, T242))
POL(.(x1, x2)) = 1 + x2
POL(PARSEA_IN_GA(x1)) = x1
POL(PD_IN_AAAAGAA(x1)) = x1
POL(PO_IN_GGGGAA(x1, x2, x3, x4)) = 1 + x1 + x4
POL(U18_AAAAGAA(x1, x2)) = x2
POL(U20_GGGGAA(x1, x2, x3, x4, x5)) = x5
POL(U7_aaaag(x1, x2, x3)) = 1 + x3
POL(U8_gggga(x1, x2, x3, x4, x5, x6)) = 1 + x6
POL([]) = 1
POL(a) = 0
POL(appH_in_aaaag(x1)) = x1
POL(appH_out_aaaag(x1, x2, x3, x4, x5)) = 1 + x1 + x4
POL(appI_in_gggga(x1, x2, x3, x4)) = x1 + x4
POL(appI_out_gggga(x1, x2, x3, x4, x5)) = x5
POL(b) = 0
POL(s(x1, x2)) = 0
POL(s(x1, x2, x3)) = 0
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
PARSEA_IN_GA(T230) → PD_IN_AAAAGAA(T230)
PD_IN_AAAAGAA(T230) → U18_AAAAGAA(T230, appH_in_aaaag(T230))
U18_AAAAGAA(T230, appH_out_aaaag(T239, T240, T241, T242, T230)) → PO_IN_GGGGAA(T239, T240, T241, T242)
U20_GGGGAA(T239, T240, T241, T242, appI_out_gggga(T239, T240, T241, T242, T282)) → PARSEA_IN_GA(T282)
appI_in_gggga([], T301, T302, T303) → appI_out_gggga([], T301, T302, T303, .(s(a, s(T301, T302), b), T303))
appI_in_gggga(.(T314, T315), T316, T317, T318) → U8_gggga(T314, T315, T316, T317, T318, appI_in_gggga(T315, T316, T317, T318))
U8_gggga(T314, T315, T316, T317, T318, appI_out_gggga(T315, T316, T317, T318, X388)) → appI_out_gggga(.(T314, T315), T316, T317, T318, .(T314, X388))
appH_in_aaaag(.(a, .(s(T261, T262), .(b, T263)))) → appH_out_aaaag([], T261, T262, T263, .(a, .(s(T261, T262), .(b, T263))))
appH_in_aaaag(.(T268, T269)) → U7_aaaag(T268, T269, appH_in_aaaag(T269))
U7_aaaag(T268, T269, appH_out_aaaag(X353, X354, X355, X356, T269)) → appH_out_aaaag(.(T268, X353), X354, X355, X356, .(T268, T269))
appH_in_aaaag(x0)
appI_in_gggga(x0, x1, x2, x3)
U7_aaaag(x0, x1, x2)
U8_gggga(x0, x1, x2, x3, x4, x5)