0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇐)
↳2 Prolog
↳3 PrologToPiTRSProof (⇐)
↳4 PiTRS
↳5 DependencyPairsProof (⇔)
↳6 PiDP
↳7 DependencyGraphProof (⇔)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔)
↳11 PiDP
↳12 PiDPToQDPProof (⇐)
↳13 QDP
↳14 QDPSizeChangeProof (⇔)
↳15 YES
↳16 PiDP
↳17 UsableRulesProof (⇔)
↳18 PiDP
↳19 PiDPToQDPProof (⇐)
↳20 QDP
↳21 QDPSizeChangeProof (⇔)
↳22 YES
↳23 PiDP
↳24 UsableRulesProof (⇔)
↳25 PiDP
↳26 PiDPToQDPProof (⇐)
↳27 QDP
↳28 QDPSizeChangeProof (⇔)
↳29 YES
↳30 PiDP
↳31 UsableRulesProof (⇔)
↳32 PiDP
↳33 PiDPToQDPProof (⇐)
↳34 QDP
↳35 QDPSizeChangeProof (⇔)
↳36 YES
↳37 PiDP
↳38 UsableRulesProof (⇔)
↳39 PiDP
↳40 PiDPToQDPProof (⇐)
↳41 QDP
↳42 QDPSizeChangeProof (⇔)
↳43 YES
↳44 PiDP
↳45 UsableRulesProof (⇔)
↳46 PiDP
↳47 PiDPToQDPProof (⇐)
↳48 QDP
↳49 QDPSizeChangeProof (⇔)
↳50 YES
↳51 PiDP
↳52 UsableRulesProof (⇔)
↳53 PiDP
↳54 PiDPToQDPProof (⇐)
↳55 QDP
↳56 QDPOrderProof (⇔)
↳57 QDP
↳58 DependencyGraphProof (⇔)
↳59 QDP
↳60 UsableRulesProof (⇔)
↳61 QDP
↳62 QReductionProof (⇔)
↳63 QDP
↳64 QDPOrderProof (⇔)
↳65 QDP
↳66 DependencyGraphProof (⇔)
↳67 TRUE
parse1_in_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → U27_ga(X32, X33, X34, X35, T7, app9_in_gggga(X32, X33, X34, X35, X10))
app9_in_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80)) → app9_out_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80))
U27_ga(X32, X33, X34, X35, T7, app9_out_gggga(X32, X33, X34, X35, X10)) → parse1_out_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7)
parse1_in_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7) → U28_ga(T9, T10, T11, T12, T7, app9_in_gggga(T9, T10, T11, T12, T13))
U28_ga(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → U29_ga(T9, T10, T11, T12, T7, parse10_in_ga(T13, T7))
parse10_in_ga(T30, T31) → U2_ga(T30, T31, app21_in_aaaaag(X135, X136, X137, X138, X139, T30))
app21_in_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185))))
app21_in_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_in_aaaaag(X212, X213, X214, X215, X216, T41))
U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_out_aaaaag(X212, X213, X214, X215, X216, T41)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41))
U2_ga(T30, T31, app21_out_aaaaag(X135, X136, X137, X138, X139, T30)) → parse10_out_ga(T30, T31)
parse10_in_ga(T30, T37) → U3_ga(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_ga(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → U4_ga(T30, T37, p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37))
p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37) → U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_in_ggggga(T32, T33, T34, T35, T36, X140))
app31_in_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79)) → app31_out_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_in_ggggga(T98, T100, T101, T102, T99, X255))
U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_out_ggggga(T98, T100, T101, T102, T99, X255)) → app31_out_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255))
U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_out_ggggga(T32, T33, T34, T35, T36, X140)) → p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)
p22_in_gggggaa(T32, T33, T34, T35, T36, T50, T51) → U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_in_ga(T50, T51))
parse10_in_ga(T127, T128) → U5_ga(T127, T128, p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128))
p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128) → U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_in_aaaag(X306, X307, X308, X309, T127))
app44_in_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346))))
app44_in_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137)) → U8_aaaag(X370, X371, X372, X373, X374, T137, app44_in_aaaag(X371, X372, X373, X374, T137))
U8_aaaag(X370, X371, X372, X373, X374, T137, app44_out_aaaag(X371, X372, X373, X374, T137)) → app44_out_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137))
U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_out_aaaag(X306, X307, X308, X309, T127)) → p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)
p43_in_aaaagaa(T129, T130, T131, T132, T127, X310, T133) → U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_in_aaaag(T129, T130, T131, T132, T127))
U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_in_gggga(T129, T130, T131, T132, X310))
app54_in_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166)) → app54_out_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183, .(T177, X411)) → U9_gggga(T177, T182, T184, T185, T183, X411, app54_in_gggga(T182, T184, T185, T183, X411))
U9_gggga(T177, T182, T184, T185, T183, X411, app54_out_gggga(T182, T184, T185, T183, X411)) → app54_out_gggga(.(T177, T182), T184, T185, T183, .(T177, X411))
U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_out_gggga(T129, T130, T131, T132, X310)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, X310, T133)
p43_in_aaaagaa(T129, T130, T131, T132, T127, T144, T145) → U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_in_ga(T144, T145))
parse10_in_ga(T208, T209) → U6_ga(T208, T209, p66_in_aagaa(X450, X451, T208, X452, T209))
p66_in_aagaa(X450, X451, T208, X452, T209) → U21_aagaa(X450, X451, T208, X452, T209, app67_in_aag(X450, X451, T208))
app67_in_aag([], X470, .(a, .(b, X470))) → app67_out_aag([], X470, .(a, .(b, X470)))
app67_in_aag(.(X490, X491), X492, .(X490, T216)) → U10_aag(X490, X491, X492, T216, app67_in_aag(X491, X492, T216))
U10_aag(X490, X491, X492, T216, app67_out_aag(X491, X492, T216)) → app67_out_aag(.(X490, X491), X492, .(X490, T216))
U21_aagaa(X450, X451, T208, X452, T209, app67_out_aag(X450, X451, T208)) → p66_out_aagaa(X450, X451, T208, X452, T209)
p66_in_aagaa(T210, T211, T208, X452, T212) → U22_aagaa(T210, T211, T208, X452, T212, app67_in_aag(T210, T211, T208))
U22_aagaa(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → U23_aagaa(T210, T211, T208, X452, T212, app77_in_gga(T210, T211, X452))
app77_in_gga([], T227, .(s(a, b), T227)) → app77_out_gga([], T227, .(s(a, b), T227))
app77_in_gga(.(T234, T237), T238, .(T234, X525)) → U11_gga(T234, T237, T238, X525, app77_in_gga(T237, T238, X525))
U11_gga(T234, T237, T238, X525, app77_out_gga(T237, T238, X525)) → app77_out_gga(.(T234, T237), T238, .(T234, X525))
U23_aagaa(T210, T211, T208, X452, T212, app77_out_gga(T210, T211, X452)) → p66_out_aagaa(T210, T211, T208, X452, T212)
p66_in_aagaa(T210, T211, T208, T219, T220) → U24_aagaa(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_aagaa(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_aagaa(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U25_aagaa(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → U26_aagaa(T210, T211, T208, T219, T220, parse10_in_ga(T219, T220))
parse10_in_ga(.(s(T251, T252), []), s(T251, T252)) → parse10_out_ga(.(s(T251, T252), []), s(T251, T252))
parse10_in_ga(.(s(T259, T260, T261), []), s(T259, T260, T261)) → parse10_out_ga(.(s(T259, T260, T261), []), s(T259, T260, T261))
U26_aagaa(T210, T211, T208, T219, T220, parse10_out_ga(T219, T220)) → p66_out_aagaa(T210, T211, T208, T219, T220)
U6_ga(T208, T209, p66_out_aagaa(X450, X451, T208, X452, T209)) → parse10_out_ga(T208, T209)
U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_out_ga(T144, T145)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, T144, T145)
U5_ga(T127, T128, p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)) → parse10_out_ga(T127, T128)
U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_out_ga(T50, T51)) → p22_out_gggggaa(T32, T33, T34, T35, T36, T50, T51)
U4_ga(T30, T37, p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)) → parse10_out_ga(T30, T37)
U29_ga(T9, T10, T11, T12, T7, parse10_out_ga(T13, T7)) → parse1_out_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7)
parse1_in_ga(.(X608, T266), T7) → U30_ga(X608, T266, T7, app21_in_aaaaag(X609, X610, X611, X612, X613, T266))
U30_ga(X608, T266, T7, app21_out_aaaaag(X609, X610, X611, X612, X613, T266)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(.(X608, T266), T7) → U31_ga(X608, T266, T7, app21_in_aaaaag(T267, T268, T269, T270, T271, T266))
U31_ga(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → U32_ga(X608, T266, T7, p22_in_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7))
U32_ga(X608, T266, T7, p22_out_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(T287, T289) → U33_ga(T287, T289, p43_in_aaaagaa(X682, X683, X684, X685, T287, X686, T289))
U33_ga(T287, T289, p43_out_aaaagaa(X682, X683, X684, X685, T287, X686, T289)) → parse1_out_ga(T287, T289)
parse1_in_ga(T300, T302) → U34_ga(T300, T302, p66_in_aagaa(X719, X720, T300, X721, T302))
U34_ga(T300, T302, p66_out_aagaa(X719, X720, T300, X721, T302)) → parse1_out_ga(T300, T302)
parse1_in_ga(.(s(T311, T312), []), s(T311, T312)) → parse1_out_ga(.(s(T311, T312), []), s(T311, T312))
parse1_in_ga(.(s(T319, T320, T321), []), s(T319, T320, T321)) → parse1_out_ga(.(s(T319, T320, T321), []), s(T319, T320, T321))
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
parse1_in_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → U27_ga(X32, X33, X34, X35, T7, app9_in_gggga(X32, X33, X34, X35, X10))
app9_in_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80)) → app9_out_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80))
U27_ga(X32, X33, X34, X35, T7, app9_out_gggga(X32, X33, X34, X35, X10)) → parse1_out_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7)
parse1_in_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7) → U28_ga(T9, T10, T11, T12, T7, app9_in_gggga(T9, T10, T11, T12, T13))
U28_ga(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → U29_ga(T9, T10, T11, T12, T7, parse10_in_ga(T13, T7))
parse10_in_ga(T30, T31) → U2_ga(T30, T31, app21_in_aaaaag(X135, X136, X137, X138, X139, T30))
app21_in_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185))))
app21_in_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_in_aaaaag(X212, X213, X214, X215, X216, T41))
U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_out_aaaaag(X212, X213, X214, X215, X216, T41)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41))
U2_ga(T30, T31, app21_out_aaaaag(X135, X136, X137, X138, X139, T30)) → parse10_out_ga(T30, T31)
parse10_in_ga(T30, T37) → U3_ga(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_ga(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → U4_ga(T30, T37, p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37))
p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37) → U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_in_ggggga(T32, T33, T34, T35, T36, X140))
app31_in_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79)) → app31_out_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_in_ggggga(T98, T100, T101, T102, T99, X255))
U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_out_ggggga(T98, T100, T101, T102, T99, X255)) → app31_out_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255))
U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_out_ggggga(T32, T33, T34, T35, T36, X140)) → p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)
p22_in_gggggaa(T32, T33, T34, T35, T36, T50, T51) → U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_in_ga(T50, T51))
parse10_in_ga(T127, T128) → U5_ga(T127, T128, p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128))
p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128) → U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_in_aaaag(X306, X307, X308, X309, T127))
app44_in_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346))))
app44_in_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137)) → U8_aaaag(X370, X371, X372, X373, X374, T137, app44_in_aaaag(X371, X372, X373, X374, T137))
U8_aaaag(X370, X371, X372, X373, X374, T137, app44_out_aaaag(X371, X372, X373, X374, T137)) → app44_out_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137))
U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_out_aaaag(X306, X307, X308, X309, T127)) → p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)
p43_in_aaaagaa(T129, T130, T131, T132, T127, X310, T133) → U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_in_aaaag(T129, T130, T131, T132, T127))
U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_in_gggga(T129, T130, T131, T132, X310))
app54_in_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166)) → app54_out_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183, .(T177, X411)) → U9_gggga(T177, T182, T184, T185, T183, X411, app54_in_gggga(T182, T184, T185, T183, X411))
U9_gggga(T177, T182, T184, T185, T183, X411, app54_out_gggga(T182, T184, T185, T183, X411)) → app54_out_gggga(.(T177, T182), T184, T185, T183, .(T177, X411))
U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_out_gggga(T129, T130, T131, T132, X310)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, X310, T133)
p43_in_aaaagaa(T129, T130, T131, T132, T127, T144, T145) → U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_in_ga(T144, T145))
parse10_in_ga(T208, T209) → U6_ga(T208, T209, p66_in_aagaa(X450, X451, T208, X452, T209))
p66_in_aagaa(X450, X451, T208, X452, T209) → U21_aagaa(X450, X451, T208, X452, T209, app67_in_aag(X450, X451, T208))
app67_in_aag([], X470, .(a, .(b, X470))) → app67_out_aag([], X470, .(a, .(b, X470)))
app67_in_aag(.(X490, X491), X492, .(X490, T216)) → U10_aag(X490, X491, X492, T216, app67_in_aag(X491, X492, T216))
U10_aag(X490, X491, X492, T216, app67_out_aag(X491, X492, T216)) → app67_out_aag(.(X490, X491), X492, .(X490, T216))
U21_aagaa(X450, X451, T208, X452, T209, app67_out_aag(X450, X451, T208)) → p66_out_aagaa(X450, X451, T208, X452, T209)
p66_in_aagaa(T210, T211, T208, X452, T212) → U22_aagaa(T210, T211, T208, X452, T212, app67_in_aag(T210, T211, T208))
U22_aagaa(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → U23_aagaa(T210, T211, T208, X452, T212, app77_in_gga(T210, T211, X452))
app77_in_gga([], T227, .(s(a, b), T227)) → app77_out_gga([], T227, .(s(a, b), T227))
app77_in_gga(.(T234, T237), T238, .(T234, X525)) → U11_gga(T234, T237, T238, X525, app77_in_gga(T237, T238, X525))
U11_gga(T234, T237, T238, X525, app77_out_gga(T237, T238, X525)) → app77_out_gga(.(T234, T237), T238, .(T234, X525))
U23_aagaa(T210, T211, T208, X452, T212, app77_out_gga(T210, T211, X452)) → p66_out_aagaa(T210, T211, T208, X452, T212)
p66_in_aagaa(T210, T211, T208, T219, T220) → U24_aagaa(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_aagaa(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_aagaa(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U25_aagaa(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → U26_aagaa(T210, T211, T208, T219, T220, parse10_in_ga(T219, T220))
parse10_in_ga(.(s(T251, T252), []), s(T251, T252)) → parse10_out_ga(.(s(T251, T252), []), s(T251, T252))
parse10_in_ga(.(s(T259, T260, T261), []), s(T259, T260, T261)) → parse10_out_ga(.(s(T259, T260, T261), []), s(T259, T260, T261))
U26_aagaa(T210, T211, T208, T219, T220, parse10_out_ga(T219, T220)) → p66_out_aagaa(T210, T211, T208, T219, T220)
U6_ga(T208, T209, p66_out_aagaa(X450, X451, T208, X452, T209)) → parse10_out_ga(T208, T209)
U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_out_ga(T144, T145)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, T144, T145)
U5_ga(T127, T128, p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)) → parse10_out_ga(T127, T128)
U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_out_ga(T50, T51)) → p22_out_gggggaa(T32, T33, T34, T35, T36, T50, T51)
U4_ga(T30, T37, p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)) → parse10_out_ga(T30, T37)
U29_ga(T9, T10, T11, T12, T7, parse10_out_ga(T13, T7)) → parse1_out_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7)
parse1_in_ga(.(X608, T266), T7) → U30_ga(X608, T266, T7, app21_in_aaaaag(X609, X610, X611, X612, X613, T266))
U30_ga(X608, T266, T7, app21_out_aaaaag(X609, X610, X611, X612, X613, T266)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(.(X608, T266), T7) → U31_ga(X608, T266, T7, app21_in_aaaaag(T267, T268, T269, T270, T271, T266))
U31_ga(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → U32_ga(X608, T266, T7, p22_in_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7))
U32_ga(X608, T266, T7, p22_out_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(T287, T289) → U33_ga(T287, T289, p43_in_aaaagaa(X682, X683, X684, X685, T287, X686, T289))
U33_ga(T287, T289, p43_out_aaaagaa(X682, X683, X684, X685, T287, X686, T289)) → parse1_out_ga(T287, T289)
parse1_in_ga(T300, T302) → U34_ga(T300, T302, p66_in_aagaa(X719, X720, T300, X721, T302))
U34_ga(T300, T302, p66_out_aagaa(X719, X720, T300, X721, T302)) → parse1_out_ga(T300, T302)
parse1_in_ga(.(s(T311, T312), []), s(T311, T312)) → parse1_out_ga(.(s(T311, T312), []), s(T311, T312))
parse1_in_ga(.(s(T319, T320, T321), []), s(T319, T320, T321)) → parse1_out_ga(.(s(T319, T320, T321), []), s(T319, T320, T321))
PARSE1_IN_GA(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → U27_GA(X32, X33, X34, X35, T7, app9_in_gggga(X32, X33, X34, X35, X10))
PARSE1_IN_GA(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → APP9_IN_GGGGA(X32, X33, X34, X35, X10)
PARSE1_IN_GA(.(a, .(s(T9, T10, T11), .(b, T12))), T7) → U28_GA(T9, T10, T11, T12, T7, app9_in_gggga(T9, T10, T11, T12, T13))
U28_GA(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → U29_GA(T9, T10, T11, T12, T7, parse10_in_ga(T13, T7))
U28_GA(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → PARSE10_IN_GA(T13, T7)
PARSE10_IN_GA(T30, T31) → U2_GA(T30, T31, app21_in_aaaaag(X135, X136, X137, X138, X139, T30))
PARSE10_IN_GA(T30, T31) → APP21_IN_AAAAAG(X135, X136, X137, X138, X139, T30)
APP21_IN_AAAAAG(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → U1_AAAAAG(X211, X212, X213, X214, X215, X216, T41, app21_in_aaaaag(X212, X213, X214, X215, X216, T41))
APP21_IN_AAAAAG(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → APP21_IN_AAAAAG(X212, X213, X214, X215, X216, T41)
PARSE10_IN_GA(T30, T37) → U3_GA(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_GA(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → U4_GA(T30, T37, p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37))
U3_GA(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → P22_IN_GGGGGAA(T32, T33, T34, T35, T36, X140, T37)
P22_IN_GGGGGAA(T32, T33, T34, T35, T36, X140, T37) → U12_GGGGGAA(T32, T33, T34, T35, T36, X140, T37, app31_in_ggggga(T32, T33, T34, T35, T36, X140))
P22_IN_GGGGGAA(T32, T33, T34, T35, T36, X140, T37) → APP31_IN_GGGGGA(T32, T33, T34, T35, T36, X140)
APP31_IN_GGGGGA(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → U7_GGGGGA(T92, T98, T100, T101, T102, T99, X255, app31_in_ggggga(T98, T100, T101, T102, T99, X255))
APP31_IN_GGGGGA(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → APP31_IN_GGGGGA(T98, T100, T101, T102, T99, X255)
P22_IN_GGGGGAA(T32, T33, T34, T35, T36, T50, T51) → U13_GGGGGAA(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_GGGGGAA(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → U14_GGGGGAA(T32, T33, T34, T35, T36, T50, T51, parse10_in_ga(T50, T51))
U13_GGGGGAA(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → PARSE10_IN_GA(T50, T51)
PARSE10_IN_GA(T127, T128) → U5_GA(T127, T128, p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128))
PARSE10_IN_GA(T127, T128) → P43_IN_AAAAGAA(X306, X307, X308, X309, T127, X310, T128)
P43_IN_AAAAGAA(X306, X307, X308, X309, T127, X310, T128) → U15_AAAAGAA(X306, X307, X308, X309, T127, X310, T128, app44_in_aaaag(X306, X307, X308, X309, T127))
P43_IN_AAAAGAA(X306, X307, X308, X309, T127, X310, T128) → APP44_IN_AAAAG(X306, X307, X308, X309, T127)
APP44_IN_AAAAG(.(X370, X371), X372, X373, X374, .(X370, T137)) → U8_AAAAG(X370, X371, X372, X373, X374, T137, app44_in_aaaag(X371, X372, X373, X374, T137))
APP44_IN_AAAAG(.(X370, X371), X372, X373, X374, .(X370, T137)) → APP44_IN_AAAAG(X371, X372, X373, X374, T137)
P43_IN_AAAAGAA(T129, T130, T131, T132, T127, X310, T133) → U16_AAAAGAA(T129, T130, T131, T132, T127, X310, T133, app44_in_aaaag(T129, T130, T131, T132, T127))
U16_AAAAGAA(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → U17_AAAAGAA(T129, T130, T131, T132, T127, X310, T133, app54_in_gggga(T129, T130, T131, T132, X310))
U16_AAAAGAA(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → APP54_IN_GGGGA(T129, T130, T131, T132, X310)
APP54_IN_GGGGA(.(T177, T182), T184, T185, T183, .(T177, X411)) → U9_GGGGA(T177, T182, T184, T185, T183, X411, app54_in_gggga(T182, T184, T185, T183, X411))
APP54_IN_GGGGA(.(T177, T182), T184, T185, T183, .(T177, X411)) → APP54_IN_GGGGA(T182, T184, T185, T183, X411)
P43_IN_AAAAGAA(T129, T130, T131, T132, T127, T144, T145) → U18_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U18_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → APP54_IN_GGGGA(T129, T130, T131, T132, T144)
U19_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → U20_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, parse10_in_ga(T144, T145))
U19_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → PARSE10_IN_GA(T144, T145)
PARSE10_IN_GA(T208, T209) → U6_GA(T208, T209, p66_in_aagaa(X450, X451, T208, X452, T209))
PARSE10_IN_GA(T208, T209) → P66_IN_AAGAA(X450, X451, T208, X452, T209)
P66_IN_AAGAA(X450, X451, T208, X452, T209) → U21_AAGAA(X450, X451, T208, X452, T209, app67_in_aag(X450, X451, T208))
P66_IN_AAGAA(X450, X451, T208, X452, T209) → APP67_IN_AAG(X450, X451, T208)
APP67_IN_AAG(.(X490, X491), X492, .(X490, T216)) → U10_AAG(X490, X491, X492, T216, app67_in_aag(X491, X492, T216))
APP67_IN_AAG(.(X490, X491), X492, .(X490, T216)) → APP67_IN_AAG(X491, X492, T216)
P66_IN_AAGAA(T210, T211, T208, X452, T212) → U22_AAGAA(T210, T211, T208, X452, T212, app67_in_aag(T210, T211, T208))
U22_AAGAA(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → U23_AAGAA(T210, T211, T208, X452, T212, app77_in_gga(T210, T211, X452))
U22_AAGAA(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → APP77_IN_GGA(T210, T211, X452)
APP77_IN_GGA(.(T234, T237), T238, .(T234, X525)) → U11_GGA(T234, T237, T238, X525, app77_in_gga(T237, T238, X525))
APP77_IN_GGA(.(T234, T237), T238, .(T234, X525)) → APP77_IN_GGA(T237, T238, X525)
P66_IN_AAGAA(T210, T211, T208, T219, T220) → U24_AAGAA(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_AAGAA(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_AAGAA(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U24_AAGAA(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → APP77_IN_GGA(T210, T211, T219)
U25_AAGAA(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → U26_AAGAA(T210, T211, T208, T219, T220, parse10_in_ga(T219, T220))
U25_AAGAA(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → PARSE10_IN_GA(T219, T220)
PARSE1_IN_GA(.(X608, T266), T7) → U30_GA(X608, T266, T7, app21_in_aaaaag(X609, X610, X611, X612, X613, T266))
PARSE1_IN_GA(.(X608, T266), T7) → APP21_IN_AAAAAG(X609, X610, X611, X612, X613, T266)
PARSE1_IN_GA(.(X608, T266), T7) → U31_GA(X608, T266, T7, app21_in_aaaaag(T267, T268, T269, T270, T271, T266))
U31_GA(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → U32_GA(X608, T266, T7, p22_in_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7))
U31_GA(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → P22_IN_GGGGGAA(.(X608, T267), T268, T269, T270, T271, X10, T7)
PARSE1_IN_GA(T287, T289) → U33_GA(T287, T289, p43_in_aaaagaa(X682, X683, X684, X685, T287, X686, T289))
PARSE1_IN_GA(T287, T289) → P43_IN_AAAAGAA(X682, X683, X684, X685, T287, X686, T289)
PARSE1_IN_GA(T300, T302) → U34_GA(T300, T302, p66_in_aagaa(X719, X720, T300, X721, T302))
PARSE1_IN_GA(T300, T302) → P66_IN_AAGAA(X719, X720, T300, X721, T302)
parse1_in_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → U27_ga(X32, X33, X34, X35, T7, app9_in_gggga(X32, X33, X34, X35, X10))
app9_in_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80)) → app9_out_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80))
U27_ga(X32, X33, X34, X35, T7, app9_out_gggga(X32, X33, X34, X35, X10)) → parse1_out_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7)
parse1_in_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7) → U28_ga(T9, T10, T11, T12, T7, app9_in_gggga(T9, T10, T11, T12, T13))
U28_ga(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → U29_ga(T9, T10, T11, T12, T7, parse10_in_ga(T13, T7))
parse10_in_ga(T30, T31) → U2_ga(T30, T31, app21_in_aaaaag(X135, X136, X137, X138, X139, T30))
app21_in_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185))))
app21_in_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_in_aaaaag(X212, X213, X214, X215, X216, T41))
U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_out_aaaaag(X212, X213, X214, X215, X216, T41)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41))
U2_ga(T30, T31, app21_out_aaaaag(X135, X136, X137, X138, X139, T30)) → parse10_out_ga(T30, T31)
parse10_in_ga(T30, T37) → U3_ga(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_ga(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → U4_ga(T30, T37, p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37))
p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37) → U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_in_ggggga(T32, T33, T34, T35, T36, X140))
app31_in_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79)) → app31_out_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_in_ggggga(T98, T100, T101, T102, T99, X255))
U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_out_ggggga(T98, T100, T101, T102, T99, X255)) → app31_out_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255))
U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_out_ggggga(T32, T33, T34, T35, T36, X140)) → p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)
p22_in_gggggaa(T32, T33, T34, T35, T36, T50, T51) → U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_in_ga(T50, T51))
parse10_in_ga(T127, T128) → U5_ga(T127, T128, p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128))
p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128) → U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_in_aaaag(X306, X307, X308, X309, T127))
app44_in_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346))))
app44_in_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137)) → U8_aaaag(X370, X371, X372, X373, X374, T137, app44_in_aaaag(X371, X372, X373, X374, T137))
U8_aaaag(X370, X371, X372, X373, X374, T137, app44_out_aaaag(X371, X372, X373, X374, T137)) → app44_out_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137))
U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_out_aaaag(X306, X307, X308, X309, T127)) → p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)
p43_in_aaaagaa(T129, T130, T131, T132, T127, X310, T133) → U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_in_aaaag(T129, T130, T131, T132, T127))
U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_in_gggga(T129, T130, T131, T132, X310))
app54_in_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166)) → app54_out_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183, .(T177, X411)) → U9_gggga(T177, T182, T184, T185, T183, X411, app54_in_gggga(T182, T184, T185, T183, X411))
U9_gggga(T177, T182, T184, T185, T183, X411, app54_out_gggga(T182, T184, T185, T183, X411)) → app54_out_gggga(.(T177, T182), T184, T185, T183, .(T177, X411))
U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_out_gggga(T129, T130, T131, T132, X310)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, X310, T133)
p43_in_aaaagaa(T129, T130, T131, T132, T127, T144, T145) → U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_in_ga(T144, T145))
parse10_in_ga(T208, T209) → U6_ga(T208, T209, p66_in_aagaa(X450, X451, T208, X452, T209))
p66_in_aagaa(X450, X451, T208, X452, T209) → U21_aagaa(X450, X451, T208, X452, T209, app67_in_aag(X450, X451, T208))
app67_in_aag([], X470, .(a, .(b, X470))) → app67_out_aag([], X470, .(a, .(b, X470)))
app67_in_aag(.(X490, X491), X492, .(X490, T216)) → U10_aag(X490, X491, X492, T216, app67_in_aag(X491, X492, T216))
U10_aag(X490, X491, X492, T216, app67_out_aag(X491, X492, T216)) → app67_out_aag(.(X490, X491), X492, .(X490, T216))
U21_aagaa(X450, X451, T208, X452, T209, app67_out_aag(X450, X451, T208)) → p66_out_aagaa(X450, X451, T208, X452, T209)
p66_in_aagaa(T210, T211, T208, X452, T212) → U22_aagaa(T210, T211, T208, X452, T212, app67_in_aag(T210, T211, T208))
U22_aagaa(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → U23_aagaa(T210, T211, T208, X452, T212, app77_in_gga(T210, T211, X452))
app77_in_gga([], T227, .(s(a, b), T227)) → app77_out_gga([], T227, .(s(a, b), T227))
app77_in_gga(.(T234, T237), T238, .(T234, X525)) → U11_gga(T234, T237, T238, X525, app77_in_gga(T237, T238, X525))
U11_gga(T234, T237, T238, X525, app77_out_gga(T237, T238, X525)) → app77_out_gga(.(T234, T237), T238, .(T234, X525))
U23_aagaa(T210, T211, T208, X452, T212, app77_out_gga(T210, T211, X452)) → p66_out_aagaa(T210, T211, T208, X452, T212)
p66_in_aagaa(T210, T211, T208, T219, T220) → U24_aagaa(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_aagaa(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_aagaa(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U25_aagaa(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → U26_aagaa(T210, T211, T208, T219, T220, parse10_in_ga(T219, T220))
parse10_in_ga(.(s(T251, T252), []), s(T251, T252)) → parse10_out_ga(.(s(T251, T252), []), s(T251, T252))
parse10_in_ga(.(s(T259, T260, T261), []), s(T259, T260, T261)) → parse10_out_ga(.(s(T259, T260, T261), []), s(T259, T260, T261))
U26_aagaa(T210, T211, T208, T219, T220, parse10_out_ga(T219, T220)) → p66_out_aagaa(T210, T211, T208, T219, T220)
U6_ga(T208, T209, p66_out_aagaa(X450, X451, T208, X452, T209)) → parse10_out_ga(T208, T209)
U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_out_ga(T144, T145)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, T144, T145)
U5_ga(T127, T128, p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)) → parse10_out_ga(T127, T128)
U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_out_ga(T50, T51)) → p22_out_gggggaa(T32, T33, T34, T35, T36, T50, T51)
U4_ga(T30, T37, p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)) → parse10_out_ga(T30, T37)
U29_ga(T9, T10, T11, T12, T7, parse10_out_ga(T13, T7)) → parse1_out_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7)
parse1_in_ga(.(X608, T266), T7) → U30_ga(X608, T266, T7, app21_in_aaaaag(X609, X610, X611, X612, X613, T266))
U30_ga(X608, T266, T7, app21_out_aaaaag(X609, X610, X611, X612, X613, T266)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(.(X608, T266), T7) → U31_ga(X608, T266, T7, app21_in_aaaaag(T267, T268, T269, T270, T271, T266))
U31_ga(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → U32_ga(X608, T266, T7, p22_in_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7))
U32_ga(X608, T266, T7, p22_out_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(T287, T289) → U33_ga(T287, T289, p43_in_aaaagaa(X682, X683, X684, X685, T287, X686, T289))
U33_ga(T287, T289, p43_out_aaaagaa(X682, X683, X684, X685, T287, X686, T289)) → parse1_out_ga(T287, T289)
parse1_in_ga(T300, T302) → U34_ga(T300, T302, p66_in_aagaa(X719, X720, T300, X721, T302))
U34_ga(T300, T302, p66_out_aagaa(X719, X720, T300, X721, T302)) → parse1_out_ga(T300, T302)
parse1_in_ga(.(s(T311, T312), []), s(T311, T312)) → parse1_out_ga(.(s(T311, T312), []), s(T311, T312))
parse1_in_ga(.(s(T319, T320, T321), []), s(T319, T320, T321)) → parse1_out_ga(.(s(T319, T320, T321), []), s(T319, T320, T321))
PARSE1_IN_GA(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → U27_GA(X32, X33, X34, X35, T7, app9_in_gggga(X32, X33, X34, X35, X10))
PARSE1_IN_GA(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → APP9_IN_GGGGA(X32, X33, X34, X35, X10)
PARSE1_IN_GA(.(a, .(s(T9, T10, T11), .(b, T12))), T7) → U28_GA(T9, T10, T11, T12, T7, app9_in_gggga(T9, T10, T11, T12, T13))
U28_GA(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → U29_GA(T9, T10, T11, T12, T7, parse10_in_ga(T13, T7))
U28_GA(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → PARSE10_IN_GA(T13, T7)
PARSE10_IN_GA(T30, T31) → U2_GA(T30, T31, app21_in_aaaaag(X135, X136, X137, X138, X139, T30))
PARSE10_IN_GA(T30, T31) → APP21_IN_AAAAAG(X135, X136, X137, X138, X139, T30)
APP21_IN_AAAAAG(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → U1_AAAAAG(X211, X212, X213, X214, X215, X216, T41, app21_in_aaaaag(X212, X213, X214, X215, X216, T41))
APP21_IN_AAAAAG(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → APP21_IN_AAAAAG(X212, X213, X214, X215, X216, T41)
PARSE10_IN_GA(T30, T37) → U3_GA(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_GA(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → U4_GA(T30, T37, p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37))
U3_GA(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → P22_IN_GGGGGAA(T32, T33, T34, T35, T36, X140, T37)
P22_IN_GGGGGAA(T32, T33, T34, T35, T36, X140, T37) → U12_GGGGGAA(T32, T33, T34, T35, T36, X140, T37, app31_in_ggggga(T32, T33, T34, T35, T36, X140))
P22_IN_GGGGGAA(T32, T33, T34, T35, T36, X140, T37) → APP31_IN_GGGGGA(T32, T33, T34, T35, T36, X140)
APP31_IN_GGGGGA(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → U7_GGGGGA(T92, T98, T100, T101, T102, T99, X255, app31_in_ggggga(T98, T100, T101, T102, T99, X255))
APP31_IN_GGGGGA(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → APP31_IN_GGGGGA(T98, T100, T101, T102, T99, X255)
P22_IN_GGGGGAA(T32, T33, T34, T35, T36, T50, T51) → U13_GGGGGAA(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_GGGGGAA(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → U14_GGGGGAA(T32, T33, T34, T35, T36, T50, T51, parse10_in_ga(T50, T51))
U13_GGGGGAA(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → PARSE10_IN_GA(T50, T51)
PARSE10_IN_GA(T127, T128) → U5_GA(T127, T128, p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128))
PARSE10_IN_GA(T127, T128) → P43_IN_AAAAGAA(X306, X307, X308, X309, T127, X310, T128)
P43_IN_AAAAGAA(X306, X307, X308, X309, T127, X310, T128) → U15_AAAAGAA(X306, X307, X308, X309, T127, X310, T128, app44_in_aaaag(X306, X307, X308, X309, T127))
P43_IN_AAAAGAA(X306, X307, X308, X309, T127, X310, T128) → APP44_IN_AAAAG(X306, X307, X308, X309, T127)
APP44_IN_AAAAG(.(X370, X371), X372, X373, X374, .(X370, T137)) → U8_AAAAG(X370, X371, X372, X373, X374, T137, app44_in_aaaag(X371, X372, X373, X374, T137))
APP44_IN_AAAAG(.(X370, X371), X372, X373, X374, .(X370, T137)) → APP44_IN_AAAAG(X371, X372, X373, X374, T137)
P43_IN_AAAAGAA(T129, T130, T131, T132, T127, X310, T133) → U16_AAAAGAA(T129, T130, T131, T132, T127, X310, T133, app44_in_aaaag(T129, T130, T131, T132, T127))
U16_AAAAGAA(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → U17_AAAAGAA(T129, T130, T131, T132, T127, X310, T133, app54_in_gggga(T129, T130, T131, T132, X310))
U16_AAAAGAA(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → APP54_IN_GGGGA(T129, T130, T131, T132, X310)
APP54_IN_GGGGA(.(T177, T182), T184, T185, T183, .(T177, X411)) → U9_GGGGA(T177, T182, T184, T185, T183, X411, app54_in_gggga(T182, T184, T185, T183, X411))
APP54_IN_GGGGA(.(T177, T182), T184, T185, T183, .(T177, X411)) → APP54_IN_GGGGA(T182, T184, T185, T183, X411)
P43_IN_AAAAGAA(T129, T130, T131, T132, T127, T144, T145) → U18_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U18_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → APP54_IN_GGGGA(T129, T130, T131, T132, T144)
U19_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → U20_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, parse10_in_ga(T144, T145))
U19_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → PARSE10_IN_GA(T144, T145)
PARSE10_IN_GA(T208, T209) → U6_GA(T208, T209, p66_in_aagaa(X450, X451, T208, X452, T209))
PARSE10_IN_GA(T208, T209) → P66_IN_AAGAA(X450, X451, T208, X452, T209)
P66_IN_AAGAA(X450, X451, T208, X452, T209) → U21_AAGAA(X450, X451, T208, X452, T209, app67_in_aag(X450, X451, T208))
P66_IN_AAGAA(X450, X451, T208, X452, T209) → APP67_IN_AAG(X450, X451, T208)
APP67_IN_AAG(.(X490, X491), X492, .(X490, T216)) → U10_AAG(X490, X491, X492, T216, app67_in_aag(X491, X492, T216))
APP67_IN_AAG(.(X490, X491), X492, .(X490, T216)) → APP67_IN_AAG(X491, X492, T216)
P66_IN_AAGAA(T210, T211, T208, X452, T212) → U22_AAGAA(T210, T211, T208, X452, T212, app67_in_aag(T210, T211, T208))
U22_AAGAA(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → U23_AAGAA(T210, T211, T208, X452, T212, app77_in_gga(T210, T211, X452))
U22_AAGAA(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → APP77_IN_GGA(T210, T211, X452)
APP77_IN_GGA(.(T234, T237), T238, .(T234, X525)) → U11_GGA(T234, T237, T238, X525, app77_in_gga(T237, T238, X525))
APP77_IN_GGA(.(T234, T237), T238, .(T234, X525)) → APP77_IN_GGA(T237, T238, X525)
P66_IN_AAGAA(T210, T211, T208, T219, T220) → U24_AAGAA(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_AAGAA(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_AAGAA(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U24_AAGAA(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → APP77_IN_GGA(T210, T211, T219)
U25_AAGAA(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → U26_AAGAA(T210, T211, T208, T219, T220, parse10_in_ga(T219, T220))
U25_AAGAA(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → PARSE10_IN_GA(T219, T220)
PARSE1_IN_GA(.(X608, T266), T7) → U30_GA(X608, T266, T7, app21_in_aaaaag(X609, X610, X611, X612, X613, T266))
PARSE1_IN_GA(.(X608, T266), T7) → APP21_IN_AAAAAG(X609, X610, X611, X612, X613, T266)
PARSE1_IN_GA(.(X608, T266), T7) → U31_GA(X608, T266, T7, app21_in_aaaaag(T267, T268, T269, T270, T271, T266))
U31_GA(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → U32_GA(X608, T266, T7, p22_in_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7))
U31_GA(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → P22_IN_GGGGGAA(.(X608, T267), T268, T269, T270, T271, X10, T7)
PARSE1_IN_GA(T287, T289) → U33_GA(T287, T289, p43_in_aaaagaa(X682, X683, X684, X685, T287, X686, T289))
PARSE1_IN_GA(T287, T289) → P43_IN_AAAAGAA(X682, X683, X684, X685, T287, X686, T289)
PARSE1_IN_GA(T300, T302) → U34_GA(T300, T302, p66_in_aagaa(X719, X720, T300, X721, T302))
PARSE1_IN_GA(T300, T302) → P66_IN_AAGAA(X719, X720, T300, X721, T302)
parse1_in_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → U27_ga(X32, X33, X34, X35, T7, app9_in_gggga(X32, X33, X34, X35, X10))
app9_in_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80)) → app9_out_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80))
U27_ga(X32, X33, X34, X35, T7, app9_out_gggga(X32, X33, X34, X35, X10)) → parse1_out_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7)
parse1_in_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7) → U28_ga(T9, T10, T11, T12, T7, app9_in_gggga(T9, T10, T11, T12, T13))
U28_ga(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → U29_ga(T9, T10, T11, T12, T7, parse10_in_ga(T13, T7))
parse10_in_ga(T30, T31) → U2_ga(T30, T31, app21_in_aaaaag(X135, X136, X137, X138, X139, T30))
app21_in_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185))))
app21_in_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_in_aaaaag(X212, X213, X214, X215, X216, T41))
U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_out_aaaaag(X212, X213, X214, X215, X216, T41)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41))
U2_ga(T30, T31, app21_out_aaaaag(X135, X136, X137, X138, X139, T30)) → parse10_out_ga(T30, T31)
parse10_in_ga(T30, T37) → U3_ga(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_ga(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → U4_ga(T30, T37, p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37))
p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37) → U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_in_ggggga(T32, T33, T34, T35, T36, X140))
app31_in_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79)) → app31_out_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_in_ggggga(T98, T100, T101, T102, T99, X255))
U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_out_ggggga(T98, T100, T101, T102, T99, X255)) → app31_out_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255))
U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_out_ggggga(T32, T33, T34, T35, T36, X140)) → p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)
p22_in_gggggaa(T32, T33, T34, T35, T36, T50, T51) → U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_in_ga(T50, T51))
parse10_in_ga(T127, T128) → U5_ga(T127, T128, p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128))
p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128) → U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_in_aaaag(X306, X307, X308, X309, T127))
app44_in_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346))))
app44_in_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137)) → U8_aaaag(X370, X371, X372, X373, X374, T137, app44_in_aaaag(X371, X372, X373, X374, T137))
U8_aaaag(X370, X371, X372, X373, X374, T137, app44_out_aaaag(X371, X372, X373, X374, T137)) → app44_out_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137))
U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_out_aaaag(X306, X307, X308, X309, T127)) → p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)
p43_in_aaaagaa(T129, T130, T131, T132, T127, X310, T133) → U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_in_aaaag(T129, T130, T131, T132, T127))
U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_in_gggga(T129, T130, T131, T132, X310))
app54_in_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166)) → app54_out_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183, .(T177, X411)) → U9_gggga(T177, T182, T184, T185, T183, X411, app54_in_gggga(T182, T184, T185, T183, X411))
U9_gggga(T177, T182, T184, T185, T183, X411, app54_out_gggga(T182, T184, T185, T183, X411)) → app54_out_gggga(.(T177, T182), T184, T185, T183, .(T177, X411))
U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_out_gggga(T129, T130, T131, T132, X310)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, X310, T133)
p43_in_aaaagaa(T129, T130, T131, T132, T127, T144, T145) → U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_in_ga(T144, T145))
parse10_in_ga(T208, T209) → U6_ga(T208, T209, p66_in_aagaa(X450, X451, T208, X452, T209))
p66_in_aagaa(X450, X451, T208, X452, T209) → U21_aagaa(X450, X451, T208, X452, T209, app67_in_aag(X450, X451, T208))
app67_in_aag([], X470, .(a, .(b, X470))) → app67_out_aag([], X470, .(a, .(b, X470)))
app67_in_aag(.(X490, X491), X492, .(X490, T216)) → U10_aag(X490, X491, X492, T216, app67_in_aag(X491, X492, T216))
U10_aag(X490, X491, X492, T216, app67_out_aag(X491, X492, T216)) → app67_out_aag(.(X490, X491), X492, .(X490, T216))
U21_aagaa(X450, X451, T208, X452, T209, app67_out_aag(X450, X451, T208)) → p66_out_aagaa(X450, X451, T208, X452, T209)
p66_in_aagaa(T210, T211, T208, X452, T212) → U22_aagaa(T210, T211, T208, X452, T212, app67_in_aag(T210, T211, T208))
U22_aagaa(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → U23_aagaa(T210, T211, T208, X452, T212, app77_in_gga(T210, T211, X452))
app77_in_gga([], T227, .(s(a, b), T227)) → app77_out_gga([], T227, .(s(a, b), T227))
app77_in_gga(.(T234, T237), T238, .(T234, X525)) → U11_gga(T234, T237, T238, X525, app77_in_gga(T237, T238, X525))
U11_gga(T234, T237, T238, X525, app77_out_gga(T237, T238, X525)) → app77_out_gga(.(T234, T237), T238, .(T234, X525))
U23_aagaa(T210, T211, T208, X452, T212, app77_out_gga(T210, T211, X452)) → p66_out_aagaa(T210, T211, T208, X452, T212)
p66_in_aagaa(T210, T211, T208, T219, T220) → U24_aagaa(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_aagaa(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_aagaa(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U25_aagaa(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → U26_aagaa(T210, T211, T208, T219, T220, parse10_in_ga(T219, T220))
parse10_in_ga(.(s(T251, T252), []), s(T251, T252)) → parse10_out_ga(.(s(T251, T252), []), s(T251, T252))
parse10_in_ga(.(s(T259, T260, T261), []), s(T259, T260, T261)) → parse10_out_ga(.(s(T259, T260, T261), []), s(T259, T260, T261))
U26_aagaa(T210, T211, T208, T219, T220, parse10_out_ga(T219, T220)) → p66_out_aagaa(T210, T211, T208, T219, T220)
U6_ga(T208, T209, p66_out_aagaa(X450, X451, T208, X452, T209)) → parse10_out_ga(T208, T209)
U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_out_ga(T144, T145)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, T144, T145)
U5_ga(T127, T128, p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)) → parse10_out_ga(T127, T128)
U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_out_ga(T50, T51)) → p22_out_gggggaa(T32, T33, T34, T35, T36, T50, T51)
U4_ga(T30, T37, p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)) → parse10_out_ga(T30, T37)
U29_ga(T9, T10, T11, T12, T7, parse10_out_ga(T13, T7)) → parse1_out_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7)
parse1_in_ga(.(X608, T266), T7) → U30_ga(X608, T266, T7, app21_in_aaaaag(X609, X610, X611, X612, X613, T266))
U30_ga(X608, T266, T7, app21_out_aaaaag(X609, X610, X611, X612, X613, T266)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(.(X608, T266), T7) → U31_ga(X608, T266, T7, app21_in_aaaaag(T267, T268, T269, T270, T271, T266))
U31_ga(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → U32_ga(X608, T266, T7, p22_in_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7))
U32_ga(X608, T266, T7, p22_out_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(T287, T289) → U33_ga(T287, T289, p43_in_aaaagaa(X682, X683, X684, X685, T287, X686, T289))
U33_ga(T287, T289, p43_out_aaaagaa(X682, X683, X684, X685, T287, X686, T289)) → parse1_out_ga(T287, T289)
parse1_in_ga(T300, T302) → U34_ga(T300, T302, p66_in_aagaa(X719, X720, T300, X721, T302))
U34_ga(T300, T302, p66_out_aagaa(X719, X720, T300, X721, T302)) → parse1_out_ga(T300, T302)
parse1_in_ga(.(s(T311, T312), []), s(T311, T312)) → parse1_out_ga(.(s(T311, T312), []), s(T311, T312))
parse1_in_ga(.(s(T319, T320, T321), []), s(T319, T320, T321)) → parse1_out_ga(.(s(T319, T320, T321), []), s(T319, T320, T321))
APP77_IN_GGA(.(T234, T237), T238, .(T234, X525)) → APP77_IN_GGA(T237, T238, X525)
parse1_in_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → U27_ga(X32, X33, X34, X35, T7, app9_in_gggga(X32, X33, X34, X35, X10))
app9_in_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80)) → app9_out_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80))
U27_ga(X32, X33, X34, X35, T7, app9_out_gggga(X32, X33, X34, X35, X10)) → parse1_out_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7)
parse1_in_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7) → U28_ga(T9, T10, T11, T12, T7, app9_in_gggga(T9, T10, T11, T12, T13))
U28_ga(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → U29_ga(T9, T10, T11, T12, T7, parse10_in_ga(T13, T7))
parse10_in_ga(T30, T31) → U2_ga(T30, T31, app21_in_aaaaag(X135, X136, X137, X138, X139, T30))
app21_in_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185))))
app21_in_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_in_aaaaag(X212, X213, X214, X215, X216, T41))
U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_out_aaaaag(X212, X213, X214, X215, X216, T41)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41))
U2_ga(T30, T31, app21_out_aaaaag(X135, X136, X137, X138, X139, T30)) → parse10_out_ga(T30, T31)
parse10_in_ga(T30, T37) → U3_ga(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_ga(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → U4_ga(T30, T37, p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37))
p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37) → U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_in_ggggga(T32, T33, T34, T35, T36, X140))
app31_in_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79)) → app31_out_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_in_ggggga(T98, T100, T101, T102, T99, X255))
U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_out_ggggga(T98, T100, T101, T102, T99, X255)) → app31_out_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255))
U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_out_ggggga(T32, T33, T34, T35, T36, X140)) → p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)
p22_in_gggggaa(T32, T33, T34, T35, T36, T50, T51) → U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_in_ga(T50, T51))
parse10_in_ga(T127, T128) → U5_ga(T127, T128, p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128))
p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128) → U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_in_aaaag(X306, X307, X308, X309, T127))
app44_in_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346))))
app44_in_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137)) → U8_aaaag(X370, X371, X372, X373, X374, T137, app44_in_aaaag(X371, X372, X373, X374, T137))
U8_aaaag(X370, X371, X372, X373, X374, T137, app44_out_aaaag(X371, X372, X373, X374, T137)) → app44_out_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137))
U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_out_aaaag(X306, X307, X308, X309, T127)) → p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)
p43_in_aaaagaa(T129, T130, T131, T132, T127, X310, T133) → U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_in_aaaag(T129, T130, T131, T132, T127))
U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_in_gggga(T129, T130, T131, T132, X310))
app54_in_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166)) → app54_out_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183, .(T177, X411)) → U9_gggga(T177, T182, T184, T185, T183, X411, app54_in_gggga(T182, T184, T185, T183, X411))
U9_gggga(T177, T182, T184, T185, T183, X411, app54_out_gggga(T182, T184, T185, T183, X411)) → app54_out_gggga(.(T177, T182), T184, T185, T183, .(T177, X411))
U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_out_gggga(T129, T130, T131, T132, X310)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, X310, T133)
p43_in_aaaagaa(T129, T130, T131, T132, T127, T144, T145) → U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_in_ga(T144, T145))
parse10_in_ga(T208, T209) → U6_ga(T208, T209, p66_in_aagaa(X450, X451, T208, X452, T209))
p66_in_aagaa(X450, X451, T208, X452, T209) → U21_aagaa(X450, X451, T208, X452, T209, app67_in_aag(X450, X451, T208))
app67_in_aag([], X470, .(a, .(b, X470))) → app67_out_aag([], X470, .(a, .(b, X470)))
app67_in_aag(.(X490, X491), X492, .(X490, T216)) → U10_aag(X490, X491, X492, T216, app67_in_aag(X491, X492, T216))
U10_aag(X490, X491, X492, T216, app67_out_aag(X491, X492, T216)) → app67_out_aag(.(X490, X491), X492, .(X490, T216))
U21_aagaa(X450, X451, T208, X452, T209, app67_out_aag(X450, X451, T208)) → p66_out_aagaa(X450, X451, T208, X452, T209)
p66_in_aagaa(T210, T211, T208, X452, T212) → U22_aagaa(T210, T211, T208, X452, T212, app67_in_aag(T210, T211, T208))
U22_aagaa(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → U23_aagaa(T210, T211, T208, X452, T212, app77_in_gga(T210, T211, X452))
app77_in_gga([], T227, .(s(a, b), T227)) → app77_out_gga([], T227, .(s(a, b), T227))
app77_in_gga(.(T234, T237), T238, .(T234, X525)) → U11_gga(T234, T237, T238, X525, app77_in_gga(T237, T238, X525))
U11_gga(T234, T237, T238, X525, app77_out_gga(T237, T238, X525)) → app77_out_gga(.(T234, T237), T238, .(T234, X525))
U23_aagaa(T210, T211, T208, X452, T212, app77_out_gga(T210, T211, X452)) → p66_out_aagaa(T210, T211, T208, X452, T212)
p66_in_aagaa(T210, T211, T208, T219, T220) → U24_aagaa(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_aagaa(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_aagaa(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U25_aagaa(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → U26_aagaa(T210, T211, T208, T219, T220, parse10_in_ga(T219, T220))
parse10_in_ga(.(s(T251, T252), []), s(T251, T252)) → parse10_out_ga(.(s(T251, T252), []), s(T251, T252))
parse10_in_ga(.(s(T259, T260, T261), []), s(T259, T260, T261)) → parse10_out_ga(.(s(T259, T260, T261), []), s(T259, T260, T261))
U26_aagaa(T210, T211, T208, T219, T220, parse10_out_ga(T219, T220)) → p66_out_aagaa(T210, T211, T208, T219, T220)
U6_ga(T208, T209, p66_out_aagaa(X450, X451, T208, X452, T209)) → parse10_out_ga(T208, T209)
U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_out_ga(T144, T145)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, T144, T145)
U5_ga(T127, T128, p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)) → parse10_out_ga(T127, T128)
U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_out_ga(T50, T51)) → p22_out_gggggaa(T32, T33, T34, T35, T36, T50, T51)
U4_ga(T30, T37, p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)) → parse10_out_ga(T30, T37)
U29_ga(T9, T10, T11, T12, T7, parse10_out_ga(T13, T7)) → parse1_out_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7)
parse1_in_ga(.(X608, T266), T7) → U30_ga(X608, T266, T7, app21_in_aaaaag(X609, X610, X611, X612, X613, T266))
U30_ga(X608, T266, T7, app21_out_aaaaag(X609, X610, X611, X612, X613, T266)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(.(X608, T266), T7) → U31_ga(X608, T266, T7, app21_in_aaaaag(T267, T268, T269, T270, T271, T266))
U31_ga(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → U32_ga(X608, T266, T7, p22_in_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7))
U32_ga(X608, T266, T7, p22_out_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(T287, T289) → U33_ga(T287, T289, p43_in_aaaagaa(X682, X683, X684, X685, T287, X686, T289))
U33_ga(T287, T289, p43_out_aaaagaa(X682, X683, X684, X685, T287, X686, T289)) → parse1_out_ga(T287, T289)
parse1_in_ga(T300, T302) → U34_ga(T300, T302, p66_in_aagaa(X719, X720, T300, X721, T302))
U34_ga(T300, T302, p66_out_aagaa(X719, X720, T300, X721, T302)) → parse1_out_ga(T300, T302)
parse1_in_ga(.(s(T311, T312), []), s(T311, T312)) → parse1_out_ga(.(s(T311, T312), []), s(T311, T312))
parse1_in_ga(.(s(T319, T320, T321), []), s(T319, T320, T321)) → parse1_out_ga(.(s(T319, T320, T321), []), s(T319, T320, T321))
APP77_IN_GGA(.(T234, T237), T238, .(T234, X525)) → APP77_IN_GGA(T237, T238, X525)
APP77_IN_GGA(.(T234, T237), T238) → APP77_IN_GGA(T237, T238)
From the DPs we obtained the following set of size-change graphs:
APP67_IN_AAG(.(X490, X491), X492, .(X490, T216)) → APP67_IN_AAG(X491, X492, T216)
parse1_in_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → U27_ga(X32, X33, X34, X35, T7, app9_in_gggga(X32, X33, X34, X35, X10))
app9_in_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80)) → app9_out_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80))
U27_ga(X32, X33, X34, X35, T7, app9_out_gggga(X32, X33, X34, X35, X10)) → parse1_out_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7)
parse1_in_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7) → U28_ga(T9, T10, T11, T12, T7, app9_in_gggga(T9, T10, T11, T12, T13))
U28_ga(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → U29_ga(T9, T10, T11, T12, T7, parse10_in_ga(T13, T7))
parse10_in_ga(T30, T31) → U2_ga(T30, T31, app21_in_aaaaag(X135, X136, X137, X138, X139, T30))
app21_in_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185))))
app21_in_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_in_aaaaag(X212, X213, X214, X215, X216, T41))
U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_out_aaaaag(X212, X213, X214, X215, X216, T41)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41))
U2_ga(T30, T31, app21_out_aaaaag(X135, X136, X137, X138, X139, T30)) → parse10_out_ga(T30, T31)
parse10_in_ga(T30, T37) → U3_ga(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_ga(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → U4_ga(T30, T37, p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37))
p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37) → U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_in_ggggga(T32, T33, T34, T35, T36, X140))
app31_in_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79)) → app31_out_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_in_ggggga(T98, T100, T101, T102, T99, X255))
U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_out_ggggga(T98, T100, T101, T102, T99, X255)) → app31_out_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255))
U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_out_ggggga(T32, T33, T34, T35, T36, X140)) → p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)
p22_in_gggggaa(T32, T33, T34, T35, T36, T50, T51) → U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_in_ga(T50, T51))
parse10_in_ga(T127, T128) → U5_ga(T127, T128, p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128))
p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128) → U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_in_aaaag(X306, X307, X308, X309, T127))
app44_in_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346))))
app44_in_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137)) → U8_aaaag(X370, X371, X372, X373, X374, T137, app44_in_aaaag(X371, X372, X373, X374, T137))
U8_aaaag(X370, X371, X372, X373, X374, T137, app44_out_aaaag(X371, X372, X373, X374, T137)) → app44_out_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137))
U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_out_aaaag(X306, X307, X308, X309, T127)) → p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)
p43_in_aaaagaa(T129, T130, T131, T132, T127, X310, T133) → U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_in_aaaag(T129, T130, T131, T132, T127))
U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_in_gggga(T129, T130, T131, T132, X310))
app54_in_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166)) → app54_out_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183, .(T177, X411)) → U9_gggga(T177, T182, T184, T185, T183, X411, app54_in_gggga(T182, T184, T185, T183, X411))
U9_gggga(T177, T182, T184, T185, T183, X411, app54_out_gggga(T182, T184, T185, T183, X411)) → app54_out_gggga(.(T177, T182), T184, T185, T183, .(T177, X411))
U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_out_gggga(T129, T130, T131, T132, X310)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, X310, T133)
p43_in_aaaagaa(T129, T130, T131, T132, T127, T144, T145) → U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_in_ga(T144, T145))
parse10_in_ga(T208, T209) → U6_ga(T208, T209, p66_in_aagaa(X450, X451, T208, X452, T209))
p66_in_aagaa(X450, X451, T208, X452, T209) → U21_aagaa(X450, X451, T208, X452, T209, app67_in_aag(X450, X451, T208))
app67_in_aag([], X470, .(a, .(b, X470))) → app67_out_aag([], X470, .(a, .(b, X470)))
app67_in_aag(.(X490, X491), X492, .(X490, T216)) → U10_aag(X490, X491, X492, T216, app67_in_aag(X491, X492, T216))
U10_aag(X490, X491, X492, T216, app67_out_aag(X491, X492, T216)) → app67_out_aag(.(X490, X491), X492, .(X490, T216))
U21_aagaa(X450, X451, T208, X452, T209, app67_out_aag(X450, X451, T208)) → p66_out_aagaa(X450, X451, T208, X452, T209)
p66_in_aagaa(T210, T211, T208, X452, T212) → U22_aagaa(T210, T211, T208, X452, T212, app67_in_aag(T210, T211, T208))
U22_aagaa(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → U23_aagaa(T210, T211, T208, X452, T212, app77_in_gga(T210, T211, X452))
app77_in_gga([], T227, .(s(a, b), T227)) → app77_out_gga([], T227, .(s(a, b), T227))
app77_in_gga(.(T234, T237), T238, .(T234, X525)) → U11_gga(T234, T237, T238, X525, app77_in_gga(T237, T238, X525))
U11_gga(T234, T237, T238, X525, app77_out_gga(T237, T238, X525)) → app77_out_gga(.(T234, T237), T238, .(T234, X525))
U23_aagaa(T210, T211, T208, X452, T212, app77_out_gga(T210, T211, X452)) → p66_out_aagaa(T210, T211, T208, X452, T212)
p66_in_aagaa(T210, T211, T208, T219, T220) → U24_aagaa(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_aagaa(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_aagaa(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U25_aagaa(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → U26_aagaa(T210, T211, T208, T219, T220, parse10_in_ga(T219, T220))
parse10_in_ga(.(s(T251, T252), []), s(T251, T252)) → parse10_out_ga(.(s(T251, T252), []), s(T251, T252))
parse10_in_ga(.(s(T259, T260, T261), []), s(T259, T260, T261)) → parse10_out_ga(.(s(T259, T260, T261), []), s(T259, T260, T261))
U26_aagaa(T210, T211, T208, T219, T220, parse10_out_ga(T219, T220)) → p66_out_aagaa(T210, T211, T208, T219, T220)
U6_ga(T208, T209, p66_out_aagaa(X450, X451, T208, X452, T209)) → parse10_out_ga(T208, T209)
U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_out_ga(T144, T145)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, T144, T145)
U5_ga(T127, T128, p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)) → parse10_out_ga(T127, T128)
U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_out_ga(T50, T51)) → p22_out_gggggaa(T32, T33, T34, T35, T36, T50, T51)
U4_ga(T30, T37, p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)) → parse10_out_ga(T30, T37)
U29_ga(T9, T10, T11, T12, T7, parse10_out_ga(T13, T7)) → parse1_out_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7)
parse1_in_ga(.(X608, T266), T7) → U30_ga(X608, T266, T7, app21_in_aaaaag(X609, X610, X611, X612, X613, T266))
U30_ga(X608, T266, T7, app21_out_aaaaag(X609, X610, X611, X612, X613, T266)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(.(X608, T266), T7) → U31_ga(X608, T266, T7, app21_in_aaaaag(T267, T268, T269, T270, T271, T266))
U31_ga(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → U32_ga(X608, T266, T7, p22_in_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7))
U32_ga(X608, T266, T7, p22_out_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(T287, T289) → U33_ga(T287, T289, p43_in_aaaagaa(X682, X683, X684, X685, T287, X686, T289))
U33_ga(T287, T289, p43_out_aaaagaa(X682, X683, X684, X685, T287, X686, T289)) → parse1_out_ga(T287, T289)
parse1_in_ga(T300, T302) → U34_ga(T300, T302, p66_in_aagaa(X719, X720, T300, X721, T302))
U34_ga(T300, T302, p66_out_aagaa(X719, X720, T300, X721, T302)) → parse1_out_ga(T300, T302)
parse1_in_ga(.(s(T311, T312), []), s(T311, T312)) → parse1_out_ga(.(s(T311, T312), []), s(T311, T312))
parse1_in_ga(.(s(T319, T320, T321), []), s(T319, T320, T321)) → parse1_out_ga(.(s(T319, T320, T321), []), s(T319, T320, T321))
APP67_IN_AAG(.(X490, X491), X492, .(X490, T216)) → APP67_IN_AAG(X491, X492, T216)
APP67_IN_AAG(.(X490, T216)) → APP67_IN_AAG(T216)
From the DPs we obtained the following set of size-change graphs:
APP54_IN_GGGGA(.(T177, T182), T184, T185, T183, .(T177, X411)) → APP54_IN_GGGGA(T182, T184, T185, T183, X411)
parse1_in_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → U27_ga(X32, X33, X34, X35, T7, app9_in_gggga(X32, X33, X34, X35, X10))
app9_in_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80)) → app9_out_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80))
U27_ga(X32, X33, X34, X35, T7, app9_out_gggga(X32, X33, X34, X35, X10)) → parse1_out_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7)
parse1_in_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7) → U28_ga(T9, T10, T11, T12, T7, app9_in_gggga(T9, T10, T11, T12, T13))
U28_ga(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → U29_ga(T9, T10, T11, T12, T7, parse10_in_ga(T13, T7))
parse10_in_ga(T30, T31) → U2_ga(T30, T31, app21_in_aaaaag(X135, X136, X137, X138, X139, T30))
app21_in_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185))))
app21_in_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_in_aaaaag(X212, X213, X214, X215, X216, T41))
U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_out_aaaaag(X212, X213, X214, X215, X216, T41)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41))
U2_ga(T30, T31, app21_out_aaaaag(X135, X136, X137, X138, X139, T30)) → parse10_out_ga(T30, T31)
parse10_in_ga(T30, T37) → U3_ga(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_ga(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → U4_ga(T30, T37, p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37))
p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37) → U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_in_ggggga(T32, T33, T34, T35, T36, X140))
app31_in_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79)) → app31_out_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_in_ggggga(T98, T100, T101, T102, T99, X255))
U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_out_ggggga(T98, T100, T101, T102, T99, X255)) → app31_out_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255))
U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_out_ggggga(T32, T33, T34, T35, T36, X140)) → p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)
p22_in_gggggaa(T32, T33, T34, T35, T36, T50, T51) → U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_in_ga(T50, T51))
parse10_in_ga(T127, T128) → U5_ga(T127, T128, p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128))
p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128) → U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_in_aaaag(X306, X307, X308, X309, T127))
app44_in_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346))))
app44_in_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137)) → U8_aaaag(X370, X371, X372, X373, X374, T137, app44_in_aaaag(X371, X372, X373, X374, T137))
U8_aaaag(X370, X371, X372, X373, X374, T137, app44_out_aaaag(X371, X372, X373, X374, T137)) → app44_out_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137))
U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_out_aaaag(X306, X307, X308, X309, T127)) → p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)
p43_in_aaaagaa(T129, T130, T131, T132, T127, X310, T133) → U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_in_aaaag(T129, T130, T131, T132, T127))
U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_in_gggga(T129, T130, T131, T132, X310))
app54_in_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166)) → app54_out_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183, .(T177, X411)) → U9_gggga(T177, T182, T184, T185, T183, X411, app54_in_gggga(T182, T184, T185, T183, X411))
U9_gggga(T177, T182, T184, T185, T183, X411, app54_out_gggga(T182, T184, T185, T183, X411)) → app54_out_gggga(.(T177, T182), T184, T185, T183, .(T177, X411))
U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_out_gggga(T129, T130, T131, T132, X310)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, X310, T133)
p43_in_aaaagaa(T129, T130, T131, T132, T127, T144, T145) → U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_in_ga(T144, T145))
parse10_in_ga(T208, T209) → U6_ga(T208, T209, p66_in_aagaa(X450, X451, T208, X452, T209))
p66_in_aagaa(X450, X451, T208, X452, T209) → U21_aagaa(X450, X451, T208, X452, T209, app67_in_aag(X450, X451, T208))
app67_in_aag([], X470, .(a, .(b, X470))) → app67_out_aag([], X470, .(a, .(b, X470)))
app67_in_aag(.(X490, X491), X492, .(X490, T216)) → U10_aag(X490, X491, X492, T216, app67_in_aag(X491, X492, T216))
U10_aag(X490, X491, X492, T216, app67_out_aag(X491, X492, T216)) → app67_out_aag(.(X490, X491), X492, .(X490, T216))
U21_aagaa(X450, X451, T208, X452, T209, app67_out_aag(X450, X451, T208)) → p66_out_aagaa(X450, X451, T208, X452, T209)
p66_in_aagaa(T210, T211, T208, X452, T212) → U22_aagaa(T210, T211, T208, X452, T212, app67_in_aag(T210, T211, T208))
U22_aagaa(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → U23_aagaa(T210, T211, T208, X452, T212, app77_in_gga(T210, T211, X452))
app77_in_gga([], T227, .(s(a, b), T227)) → app77_out_gga([], T227, .(s(a, b), T227))
app77_in_gga(.(T234, T237), T238, .(T234, X525)) → U11_gga(T234, T237, T238, X525, app77_in_gga(T237, T238, X525))
U11_gga(T234, T237, T238, X525, app77_out_gga(T237, T238, X525)) → app77_out_gga(.(T234, T237), T238, .(T234, X525))
U23_aagaa(T210, T211, T208, X452, T212, app77_out_gga(T210, T211, X452)) → p66_out_aagaa(T210, T211, T208, X452, T212)
p66_in_aagaa(T210, T211, T208, T219, T220) → U24_aagaa(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_aagaa(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_aagaa(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U25_aagaa(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → U26_aagaa(T210, T211, T208, T219, T220, parse10_in_ga(T219, T220))
parse10_in_ga(.(s(T251, T252), []), s(T251, T252)) → parse10_out_ga(.(s(T251, T252), []), s(T251, T252))
parse10_in_ga(.(s(T259, T260, T261), []), s(T259, T260, T261)) → parse10_out_ga(.(s(T259, T260, T261), []), s(T259, T260, T261))
U26_aagaa(T210, T211, T208, T219, T220, parse10_out_ga(T219, T220)) → p66_out_aagaa(T210, T211, T208, T219, T220)
U6_ga(T208, T209, p66_out_aagaa(X450, X451, T208, X452, T209)) → parse10_out_ga(T208, T209)
U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_out_ga(T144, T145)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, T144, T145)
U5_ga(T127, T128, p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)) → parse10_out_ga(T127, T128)
U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_out_ga(T50, T51)) → p22_out_gggggaa(T32, T33, T34, T35, T36, T50, T51)
U4_ga(T30, T37, p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)) → parse10_out_ga(T30, T37)
U29_ga(T9, T10, T11, T12, T7, parse10_out_ga(T13, T7)) → parse1_out_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7)
parse1_in_ga(.(X608, T266), T7) → U30_ga(X608, T266, T7, app21_in_aaaaag(X609, X610, X611, X612, X613, T266))
U30_ga(X608, T266, T7, app21_out_aaaaag(X609, X610, X611, X612, X613, T266)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(.(X608, T266), T7) → U31_ga(X608, T266, T7, app21_in_aaaaag(T267, T268, T269, T270, T271, T266))
U31_ga(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → U32_ga(X608, T266, T7, p22_in_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7))
U32_ga(X608, T266, T7, p22_out_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(T287, T289) → U33_ga(T287, T289, p43_in_aaaagaa(X682, X683, X684, X685, T287, X686, T289))
U33_ga(T287, T289, p43_out_aaaagaa(X682, X683, X684, X685, T287, X686, T289)) → parse1_out_ga(T287, T289)
parse1_in_ga(T300, T302) → U34_ga(T300, T302, p66_in_aagaa(X719, X720, T300, X721, T302))
U34_ga(T300, T302, p66_out_aagaa(X719, X720, T300, X721, T302)) → parse1_out_ga(T300, T302)
parse1_in_ga(.(s(T311, T312), []), s(T311, T312)) → parse1_out_ga(.(s(T311, T312), []), s(T311, T312))
parse1_in_ga(.(s(T319, T320, T321), []), s(T319, T320, T321)) → parse1_out_ga(.(s(T319, T320, T321), []), s(T319, T320, T321))
APP54_IN_GGGGA(.(T177, T182), T184, T185, T183, .(T177, X411)) → APP54_IN_GGGGA(T182, T184, T185, T183, X411)
APP54_IN_GGGGA(.(T177, T182), T184, T185, T183) → APP54_IN_GGGGA(T182, T184, T185, T183)
From the DPs we obtained the following set of size-change graphs:
APP44_IN_AAAAG(.(X370, X371), X372, X373, X374, .(X370, T137)) → APP44_IN_AAAAG(X371, X372, X373, X374, T137)
parse1_in_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → U27_ga(X32, X33, X34, X35, T7, app9_in_gggga(X32, X33, X34, X35, X10))
app9_in_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80)) → app9_out_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80))
U27_ga(X32, X33, X34, X35, T7, app9_out_gggga(X32, X33, X34, X35, X10)) → parse1_out_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7)
parse1_in_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7) → U28_ga(T9, T10, T11, T12, T7, app9_in_gggga(T9, T10, T11, T12, T13))
U28_ga(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → U29_ga(T9, T10, T11, T12, T7, parse10_in_ga(T13, T7))
parse10_in_ga(T30, T31) → U2_ga(T30, T31, app21_in_aaaaag(X135, X136, X137, X138, X139, T30))
app21_in_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185))))
app21_in_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_in_aaaaag(X212, X213, X214, X215, X216, T41))
U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_out_aaaaag(X212, X213, X214, X215, X216, T41)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41))
U2_ga(T30, T31, app21_out_aaaaag(X135, X136, X137, X138, X139, T30)) → parse10_out_ga(T30, T31)
parse10_in_ga(T30, T37) → U3_ga(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_ga(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → U4_ga(T30, T37, p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37))
p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37) → U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_in_ggggga(T32, T33, T34, T35, T36, X140))
app31_in_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79)) → app31_out_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_in_ggggga(T98, T100, T101, T102, T99, X255))
U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_out_ggggga(T98, T100, T101, T102, T99, X255)) → app31_out_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255))
U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_out_ggggga(T32, T33, T34, T35, T36, X140)) → p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)
p22_in_gggggaa(T32, T33, T34, T35, T36, T50, T51) → U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_in_ga(T50, T51))
parse10_in_ga(T127, T128) → U5_ga(T127, T128, p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128))
p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128) → U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_in_aaaag(X306, X307, X308, X309, T127))
app44_in_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346))))
app44_in_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137)) → U8_aaaag(X370, X371, X372, X373, X374, T137, app44_in_aaaag(X371, X372, X373, X374, T137))
U8_aaaag(X370, X371, X372, X373, X374, T137, app44_out_aaaag(X371, X372, X373, X374, T137)) → app44_out_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137))
U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_out_aaaag(X306, X307, X308, X309, T127)) → p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)
p43_in_aaaagaa(T129, T130, T131, T132, T127, X310, T133) → U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_in_aaaag(T129, T130, T131, T132, T127))
U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_in_gggga(T129, T130, T131, T132, X310))
app54_in_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166)) → app54_out_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183, .(T177, X411)) → U9_gggga(T177, T182, T184, T185, T183, X411, app54_in_gggga(T182, T184, T185, T183, X411))
U9_gggga(T177, T182, T184, T185, T183, X411, app54_out_gggga(T182, T184, T185, T183, X411)) → app54_out_gggga(.(T177, T182), T184, T185, T183, .(T177, X411))
U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_out_gggga(T129, T130, T131, T132, X310)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, X310, T133)
p43_in_aaaagaa(T129, T130, T131, T132, T127, T144, T145) → U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_in_ga(T144, T145))
parse10_in_ga(T208, T209) → U6_ga(T208, T209, p66_in_aagaa(X450, X451, T208, X452, T209))
p66_in_aagaa(X450, X451, T208, X452, T209) → U21_aagaa(X450, X451, T208, X452, T209, app67_in_aag(X450, X451, T208))
app67_in_aag([], X470, .(a, .(b, X470))) → app67_out_aag([], X470, .(a, .(b, X470)))
app67_in_aag(.(X490, X491), X492, .(X490, T216)) → U10_aag(X490, X491, X492, T216, app67_in_aag(X491, X492, T216))
U10_aag(X490, X491, X492, T216, app67_out_aag(X491, X492, T216)) → app67_out_aag(.(X490, X491), X492, .(X490, T216))
U21_aagaa(X450, X451, T208, X452, T209, app67_out_aag(X450, X451, T208)) → p66_out_aagaa(X450, X451, T208, X452, T209)
p66_in_aagaa(T210, T211, T208, X452, T212) → U22_aagaa(T210, T211, T208, X452, T212, app67_in_aag(T210, T211, T208))
U22_aagaa(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → U23_aagaa(T210, T211, T208, X452, T212, app77_in_gga(T210, T211, X452))
app77_in_gga([], T227, .(s(a, b), T227)) → app77_out_gga([], T227, .(s(a, b), T227))
app77_in_gga(.(T234, T237), T238, .(T234, X525)) → U11_gga(T234, T237, T238, X525, app77_in_gga(T237, T238, X525))
U11_gga(T234, T237, T238, X525, app77_out_gga(T237, T238, X525)) → app77_out_gga(.(T234, T237), T238, .(T234, X525))
U23_aagaa(T210, T211, T208, X452, T212, app77_out_gga(T210, T211, X452)) → p66_out_aagaa(T210, T211, T208, X452, T212)
p66_in_aagaa(T210, T211, T208, T219, T220) → U24_aagaa(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_aagaa(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_aagaa(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U25_aagaa(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → U26_aagaa(T210, T211, T208, T219, T220, parse10_in_ga(T219, T220))
parse10_in_ga(.(s(T251, T252), []), s(T251, T252)) → parse10_out_ga(.(s(T251, T252), []), s(T251, T252))
parse10_in_ga(.(s(T259, T260, T261), []), s(T259, T260, T261)) → parse10_out_ga(.(s(T259, T260, T261), []), s(T259, T260, T261))
U26_aagaa(T210, T211, T208, T219, T220, parse10_out_ga(T219, T220)) → p66_out_aagaa(T210, T211, T208, T219, T220)
U6_ga(T208, T209, p66_out_aagaa(X450, X451, T208, X452, T209)) → parse10_out_ga(T208, T209)
U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_out_ga(T144, T145)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, T144, T145)
U5_ga(T127, T128, p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)) → parse10_out_ga(T127, T128)
U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_out_ga(T50, T51)) → p22_out_gggggaa(T32, T33, T34, T35, T36, T50, T51)
U4_ga(T30, T37, p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)) → parse10_out_ga(T30, T37)
U29_ga(T9, T10, T11, T12, T7, parse10_out_ga(T13, T7)) → parse1_out_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7)
parse1_in_ga(.(X608, T266), T7) → U30_ga(X608, T266, T7, app21_in_aaaaag(X609, X610, X611, X612, X613, T266))
U30_ga(X608, T266, T7, app21_out_aaaaag(X609, X610, X611, X612, X613, T266)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(.(X608, T266), T7) → U31_ga(X608, T266, T7, app21_in_aaaaag(T267, T268, T269, T270, T271, T266))
U31_ga(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → U32_ga(X608, T266, T7, p22_in_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7))
U32_ga(X608, T266, T7, p22_out_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(T287, T289) → U33_ga(T287, T289, p43_in_aaaagaa(X682, X683, X684, X685, T287, X686, T289))
U33_ga(T287, T289, p43_out_aaaagaa(X682, X683, X684, X685, T287, X686, T289)) → parse1_out_ga(T287, T289)
parse1_in_ga(T300, T302) → U34_ga(T300, T302, p66_in_aagaa(X719, X720, T300, X721, T302))
U34_ga(T300, T302, p66_out_aagaa(X719, X720, T300, X721, T302)) → parse1_out_ga(T300, T302)
parse1_in_ga(.(s(T311, T312), []), s(T311, T312)) → parse1_out_ga(.(s(T311, T312), []), s(T311, T312))
parse1_in_ga(.(s(T319, T320, T321), []), s(T319, T320, T321)) → parse1_out_ga(.(s(T319, T320, T321), []), s(T319, T320, T321))
APP44_IN_AAAAG(.(X370, X371), X372, X373, X374, .(X370, T137)) → APP44_IN_AAAAG(X371, X372, X373, X374, T137)
APP44_IN_AAAAG(.(X370, T137)) → APP44_IN_AAAAG(T137)
From the DPs we obtained the following set of size-change graphs:
APP31_IN_GGGGGA(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → APP31_IN_GGGGGA(T98, T100, T101, T102, T99, X255)
parse1_in_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → U27_ga(X32, X33, X34, X35, T7, app9_in_gggga(X32, X33, X34, X35, X10))
app9_in_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80)) → app9_out_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80))
U27_ga(X32, X33, X34, X35, T7, app9_out_gggga(X32, X33, X34, X35, X10)) → parse1_out_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7)
parse1_in_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7) → U28_ga(T9, T10, T11, T12, T7, app9_in_gggga(T9, T10, T11, T12, T13))
U28_ga(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → U29_ga(T9, T10, T11, T12, T7, parse10_in_ga(T13, T7))
parse10_in_ga(T30, T31) → U2_ga(T30, T31, app21_in_aaaaag(X135, X136, X137, X138, X139, T30))
app21_in_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185))))
app21_in_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_in_aaaaag(X212, X213, X214, X215, X216, T41))
U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_out_aaaaag(X212, X213, X214, X215, X216, T41)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41))
U2_ga(T30, T31, app21_out_aaaaag(X135, X136, X137, X138, X139, T30)) → parse10_out_ga(T30, T31)
parse10_in_ga(T30, T37) → U3_ga(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_ga(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → U4_ga(T30, T37, p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37))
p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37) → U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_in_ggggga(T32, T33, T34, T35, T36, X140))
app31_in_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79)) → app31_out_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_in_ggggga(T98, T100, T101, T102, T99, X255))
U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_out_ggggga(T98, T100, T101, T102, T99, X255)) → app31_out_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255))
U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_out_ggggga(T32, T33, T34, T35, T36, X140)) → p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)
p22_in_gggggaa(T32, T33, T34, T35, T36, T50, T51) → U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_in_ga(T50, T51))
parse10_in_ga(T127, T128) → U5_ga(T127, T128, p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128))
p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128) → U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_in_aaaag(X306, X307, X308, X309, T127))
app44_in_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346))))
app44_in_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137)) → U8_aaaag(X370, X371, X372, X373, X374, T137, app44_in_aaaag(X371, X372, X373, X374, T137))
U8_aaaag(X370, X371, X372, X373, X374, T137, app44_out_aaaag(X371, X372, X373, X374, T137)) → app44_out_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137))
U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_out_aaaag(X306, X307, X308, X309, T127)) → p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)
p43_in_aaaagaa(T129, T130, T131, T132, T127, X310, T133) → U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_in_aaaag(T129, T130, T131, T132, T127))
U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_in_gggga(T129, T130, T131, T132, X310))
app54_in_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166)) → app54_out_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183, .(T177, X411)) → U9_gggga(T177, T182, T184, T185, T183, X411, app54_in_gggga(T182, T184, T185, T183, X411))
U9_gggga(T177, T182, T184, T185, T183, X411, app54_out_gggga(T182, T184, T185, T183, X411)) → app54_out_gggga(.(T177, T182), T184, T185, T183, .(T177, X411))
U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_out_gggga(T129, T130, T131, T132, X310)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, X310, T133)
p43_in_aaaagaa(T129, T130, T131, T132, T127, T144, T145) → U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_in_ga(T144, T145))
parse10_in_ga(T208, T209) → U6_ga(T208, T209, p66_in_aagaa(X450, X451, T208, X452, T209))
p66_in_aagaa(X450, X451, T208, X452, T209) → U21_aagaa(X450, X451, T208, X452, T209, app67_in_aag(X450, X451, T208))
app67_in_aag([], X470, .(a, .(b, X470))) → app67_out_aag([], X470, .(a, .(b, X470)))
app67_in_aag(.(X490, X491), X492, .(X490, T216)) → U10_aag(X490, X491, X492, T216, app67_in_aag(X491, X492, T216))
U10_aag(X490, X491, X492, T216, app67_out_aag(X491, X492, T216)) → app67_out_aag(.(X490, X491), X492, .(X490, T216))
U21_aagaa(X450, X451, T208, X452, T209, app67_out_aag(X450, X451, T208)) → p66_out_aagaa(X450, X451, T208, X452, T209)
p66_in_aagaa(T210, T211, T208, X452, T212) → U22_aagaa(T210, T211, T208, X452, T212, app67_in_aag(T210, T211, T208))
U22_aagaa(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → U23_aagaa(T210, T211, T208, X452, T212, app77_in_gga(T210, T211, X452))
app77_in_gga([], T227, .(s(a, b), T227)) → app77_out_gga([], T227, .(s(a, b), T227))
app77_in_gga(.(T234, T237), T238, .(T234, X525)) → U11_gga(T234, T237, T238, X525, app77_in_gga(T237, T238, X525))
U11_gga(T234, T237, T238, X525, app77_out_gga(T237, T238, X525)) → app77_out_gga(.(T234, T237), T238, .(T234, X525))
U23_aagaa(T210, T211, T208, X452, T212, app77_out_gga(T210, T211, X452)) → p66_out_aagaa(T210, T211, T208, X452, T212)
p66_in_aagaa(T210, T211, T208, T219, T220) → U24_aagaa(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_aagaa(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_aagaa(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U25_aagaa(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → U26_aagaa(T210, T211, T208, T219, T220, parse10_in_ga(T219, T220))
parse10_in_ga(.(s(T251, T252), []), s(T251, T252)) → parse10_out_ga(.(s(T251, T252), []), s(T251, T252))
parse10_in_ga(.(s(T259, T260, T261), []), s(T259, T260, T261)) → parse10_out_ga(.(s(T259, T260, T261), []), s(T259, T260, T261))
U26_aagaa(T210, T211, T208, T219, T220, parse10_out_ga(T219, T220)) → p66_out_aagaa(T210, T211, T208, T219, T220)
U6_ga(T208, T209, p66_out_aagaa(X450, X451, T208, X452, T209)) → parse10_out_ga(T208, T209)
U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_out_ga(T144, T145)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, T144, T145)
U5_ga(T127, T128, p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)) → parse10_out_ga(T127, T128)
U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_out_ga(T50, T51)) → p22_out_gggggaa(T32, T33, T34, T35, T36, T50, T51)
U4_ga(T30, T37, p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)) → parse10_out_ga(T30, T37)
U29_ga(T9, T10, T11, T12, T7, parse10_out_ga(T13, T7)) → parse1_out_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7)
parse1_in_ga(.(X608, T266), T7) → U30_ga(X608, T266, T7, app21_in_aaaaag(X609, X610, X611, X612, X613, T266))
U30_ga(X608, T266, T7, app21_out_aaaaag(X609, X610, X611, X612, X613, T266)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(.(X608, T266), T7) → U31_ga(X608, T266, T7, app21_in_aaaaag(T267, T268, T269, T270, T271, T266))
U31_ga(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → U32_ga(X608, T266, T7, p22_in_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7))
U32_ga(X608, T266, T7, p22_out_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(T287, T289) → U33_ga(T287, T289, p43_in_aaaagaa(X682, X683, X684, X685, T287, X686, T289))
U33_ga(T287, T289, p43_out_aaaagaa(X682, X683, X684, X685, T287, X686, T289)) → parse1_out_ga(T287, T289)
parse1_in_ga(T300, T302) → U34_ga(T300, T302, p66_in_aagaa(X719, X720, T300, X721, T302))
U34_ga(T300, T302, p66_out_aagaa(X719, X720, T300, X721, T302)) → parse1_out_ga(T300, T302)
parse1_in_ga(.(s(T311, T312), []), s(T311, T312)) → parse1_out_ga(.(s(T311, T312), []), s(T311, T312))
parse1_in_ga(.(s(T319, T320, T321), []), s(T319, T320, T321)) → parse1_out_ga(.(s(T319, T320, T321), []), s(T319, T320, T321))
APP31_IN_GGGGGA(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → APP31_IN_GGGGGA(T98, T100, T101, T102, T99, X255)
APP31_IN_GGGGGA(.(T92, T98), T100, T101, T102, T99) → APP31_IN_GGGGGA(T98, T100, T101, T102, T99)
From the DPs we obtained the following set of size-change graphs:
APP21_IN_AAAAAG(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → APP21_IN_AAAAAG(X212, X213, X214, X215, X216, T41)
parse1_in_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → U27_ga(X32, X33, X34, X35, T7, app9_in_gggga(X32, X33, X34, X35, X10))
app9_in_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80)) → app9_out_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80))
U27_ga(X32, X33, X34, X35, T7, app9_out_gggga(X32, X33, X34, X35, X10)) → parse1_out_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7)
parse1_in_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7) → U28_ga(T9, T10, T11, T12, T7, app9_in_gggga(T9, T10, T11, T12, T13))
U28_ga(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → U29_ga(T9, T10, T11, T12, T7, parse10_in_ga(T13, T7))
parse10_in_ga(T30, T31) → U2_ga(T30, T31, app21_in_aaaaag(X135, X136, X137, X138, X139, T30))
app21_in_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185))))
app21_in_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_in_aaaaag(X212, X213, X214, X215, X216, T41))
U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_out_aaaaag(X212, X213, X214, X215, X216, T41)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41))
U2_ga(T30, T31, app21_out_aaaaag(X135, X136, X137, X138, X139, T30)) → parse10_out_ga(T30, T31)
parse10_in_ga(T30, T37) → U3_ga(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_ga(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → U4_ga(T30, T37, p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37))
p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37) → U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_in_ggggga(T32, T33, T34, T35, T36, X140))
app31_in_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79)) → app31_out_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_in_ggggga(T98, T100, T101, T102, T99, X255))
U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_out_ggggga(T98, T100, T101, T102, T99, X255)) → app31_out_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255))
U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_out_ggggga(T32, T33, T34, T35, T36, X140)) → p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)
p22_in_gggggaa(T32, T33, T34, T35, T36, T50, T51) → U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_in_ga(T50, T51))
parse10_in_ga(T127, T128) → U5_ga(T127, T128, p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128))
p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128) → U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_in_aaaag(X306, X307, X308, X309, T127))
app44_in_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346))))
app44_in_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137)) → U8_aaaag(X370, X371, X372, X373, X374, T137, app44_in_aaaag(X371, X372, X373, X374, T137))
U8_aaaag(X370, X371, X372, X373, X374, T137, app44_out_aaaag(X371, X372, X373, X374, T137)) → app44_out_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137))
U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_out_aaaag(X306, X307, X308, X309, T127)) → p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)
p43_in_aaaagaa(T129, T130, T131, T132, T127, X310, T133) → U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_in_aaaag(T129, T130, T131, T132, T127))
U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_in_gggga(T129, T130, T131, T132, X310))
app54_in_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166)) → app54_out_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183, .(T177, X411)) → U9_gggga(T177, T182, T184, T185, T183, X411, app54_in_gggga(T182, T184, T185, T183, X411))
U9_gggga(T177, T182, T184, T185, T183, X411, app54_out_gggga(T182, T184, T185, T183, X411)) → app54_out_gggga(.(T177, T182), T184, T185, T183, .(T177, X411))
U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_out_gggga(T129, T130, T131, T132, X310)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, X310, T133)
p43_in_aaaagaa(T129, T130, T131, T132, T127, T144, T145) → U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_in_ga(T144, T145))
parse10_in_ga(T208, T209) → U6_ga(T208, T209, p66_in_aagaa(X450, X451, T208, X452, T209))
p66_in_aagaa(X450, X451, T208, X452, T209) → U21_aagaa(X450, X451, T208, X452, T209, app67_in_aag(X450, X451, T208))
app67_in_aag([], X470, .(a, .(b, X470))) → app67_out_aag([], X470, .(a, .(b, X470)))
app67_in_aag(.(X490, X491), X492, .(X490, T216)) → U10_aag(X490, X491, X492, T216, app67_in_aag(X491, X492, T216))
U10_aag(X490, X491, X492, T216, app67_out_aag(X491, X492, T216)) → app67_out_aag(.(X490, X491), X492, .(X490, T216))
U21_aagaa(X450, X451, T208, X452, T209, app67_out_aag(X450, X451, T208)) → p66_out_aagaa(X450, X451, T208, X452, T209)
p66_in_aagaa(T210, T211, T208, X452, T212) → U22_aagaa(T210, T211, T208, X452, T212, app67_in_aag(T210, T211, T208))
U22_aagaa(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → U23_aagaa(T210, T211, T208, X452, T212, app77_in_gga(T210, T211, X452))
app77_in_gga([], T227, .(s(a, b), T227)) → app77_out_gga([], T227, .(s(a, b), T227))
app77_in_gga(.(T234, T237), T238, .(T234, X525)) → U11_gga(T234, T237, T238, X525, app77_in_gga(T237, T238, X525))
U11_gga(T234, T237, T238, X525, app77_out_gga(T237, T238, X525)) → app77_out_gga(.(T234, T237), T238, .(T234, X525))
U23_aagaa(T210, T211, T208, X452, T212, app77_out_gga(T210, T211, X452)) → p66_out_aagaa(T210, T211, T208, X452, T212)
p66_in_aagaa(T210, T211, T208, T219, T220) → U24_aagaa(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_aagaa(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_aagaa(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U25_aagaa(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → U26_aagaa(T210, T211, T208, T219, T220, parse10_in_ga(T219, T220))
parse10_in_ga(.(s(T251, T252), []), s(T251, T252)) → parse10_out_ga(.(s(T251, T252), []), s(T251, T252))
parse10_in_ga(.(s(T259, T260, T261), []), s(T259, T260, T261)) → parse10_out_ga(.(s(T259, T260, T261), []), s(T259, T260, T261))
U26_aagaa(T210, T211, T208, T219, T220, parse10_out_ga(T219, T220)) → p66_out_aagaa(T210, T211, T208, T219, T220)
U6_ga(T208, T209, p66_out_aagaa(X450, X451, T208, X452, T209)) → parse10_out_ga(T208, T209)
U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_out_ga(T144, T145)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, T144, T145)
U5_ga(T127, T128, p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)) → parse10_out_ga(T127, T128)
U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_out_ga(T50, T51)) → p22_out_gggggaa(T32, T33, T34, T35, T36, T50, T51)
U4_ga(T30, T37, p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)) → parse10_out_ga(T30, T37)
U29_ga(T9, T10, T11, T12, T7, parse10_out_ga(T13, T7)) → parse1_out_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7)
parse1_in_ga(.(X608, T266), T7) → U30_ga(X608, T266, T7, app21_in_aaaaag(X609, X610, X611, X612, X613, T266))
U30_ga(X608, T266, T7, app21_out_aaaaag(X609, X610, X611, X612, X613, T266)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(.(X608, T266), T7) → U31_ga(X608, T266, T7, app21_in_aaaaag(T267, T268, T269, T270, T271, T266))
U31_ga(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → U32_ga(X608, T266, T7, p22_in_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7))
U32_ga(X608, T266, T7, p22_out_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(T287, T289) → U33_ga(T287, T289, p43_in_aaaagaa(X682, X683, X684, X685, T287, X686, T289))
U33_ga(T287, T289, p43_out_aaaagaa(X682, X683, X684, X685, T287, X686, T289)) → parse1_out_ga(T287, T289)
parse1_in_ga(T300, T302) → U34_ga(T300, T302, p66_in_aagaa(X719, X720, T300, X721, T302))
U34_ga(T300, T302, p66_out_aagaa(X719, X720, T300, X721, T302)) → parse1_out_ga(T300, T302)
parse1_in_ga(.(s(T311, T312), []), s(T311, T312)) → parse1_out_ga(.(s(T311, T312), []), s(T311, T312))
parse1_in_ga(.(s(T319, T320, T321), []), s(T319, T320, T321)) → parse1_out_ga(.(s(T319, T320, T321), []), s(T319, T320, T321))
APP21_IN_AAAAAG(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → APP21_IN_AAAAAG(X212, X213, X214, X215, X216, T41)
APP21_IN_AAAAAG(.(X211, T41)) → APP21_IN_AAAAAG(T41)
From the DPs we obtained the following set of size-change graphs:
PARSE10_IN_GA(T30, T37) → U3_GA(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_GA(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → P22_IN_GGGGGAA(T32, T33, T34, T35, T36, X140, T37)
P22_IN_GGGGGAA(T32, T33, T34, T35, T36, T50, T51) → U13_GGGGGAA(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_GGGGGAA(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → PARSE10_IN_GA(T50, T51)
PARSE10_IN_GA(T127, T128) → P43_IN_AAAAGAA(X306, X307, X308, X309, T127, X310, T128)
P43_IN_AAAAGAA(T129, T130, T131, T132, T127, T144, T145) → U18_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U19_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → PARSE10_IN_GA(T144, T145)
PARSE10_IN_GA(T208, T209) → P66_IN_AAGAA(X450, X451, T208, X452, T209)
P66_IN_AAGAA(T210, T211, T208, T219, T220) → U24_AAGAA(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_AAGAA(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_AAGAA(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U25_AAGAA(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → PARSE10_IN_GA(T219, T220)
parse1_in_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7) → U27_ga(X32, X33, X34, X35, T7, app9_in_gggga(X32, X33, X34, X35, X10))
app9_in_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80)) → app9_out_gggga(X77, X78, X79, X80, .(s(a, s(X77, X78, X79), b), X80))
U27_ga(X32, X33, X34, X35, T7, app9_out_gggga(X32, X33, X34, X35, X10)) → parse1_out_ga(.(a, .(s(X32, X33, X34), .(b, X35))), T7)
parse1_in_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7) → U28_ga(T9, T10, T11, T12, T7, app9_in_gggga(T9, T10, T11, T12, T13))
U28_ga(T9, T10, T11, T12, T7, app9_out_gggga(T9, T10, T11, T12, T13)) → U29_ga(T9, T10, T11, T12, T7, parse10_in_ga(T13, T7))
parse10_in_ga(T30, T31) → U2_ga(T30, T31, app21_in_aaaaag(X135, X136, X137, X138, X139, T30))
app21_in_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185))))
app21_in_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_in_aaaaag(X212, X213, X214, X215, X216, T41))
U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_out_aaaaag(X212, X213, X214, X215, X216, T41)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41))
U2_ga(T30, T31, app21_out_aaaaag(X135, X136, X137, X138, X139, T30)) → parse10_out_ga(T30, T31)
parse10_in_ga(T30, T37) → U3_ga(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_ga(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → U4_ga(T30, T37, p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37))
p22_in_gggggaa(T32, T33, T34, T35, T36, X140, T37) → U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_in_ggggga(T32, T33, T34, T35, T36, X140))
app31_in_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79)) → app31_out_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_in_ggggga(T98, T100, T101, T102, T99, X255))
U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_out_ggggga(T98, T100, T101, T102, T99, X255)) → app31_out_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255))
U12_gggggaa(T32, T33, T34, T35, T36, X140, T37, app31_out_ggggga(T32, T33, T34, T35, T36, X140)) → p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)
p22_in_gggggaa(T32, T33, T34, T35, T36, T50, T51) → U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_gggggaa(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_in_ga(T50, T51))
parse10_in_ga(T127, T128) → U5_ga(T127, T128, p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128))
p43_in_aaaagaa(X306, X307, X308, X309, T127, X310, T128) → U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_in_aaaag(X306, X307, X308, X309, T127))
app44_in_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346))))
app44_in_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137)) → U8_aaaag(X370, X371, X372, X373, X374, T137, app44_in_aaaag(X371, X372, X373, X374, T137))
U8_aaaag(X370, X371, X372, X373, X374, T137, app44_out_aaaag(X371, X372, X373, X374, T137)) → app44_out_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137))
U15_aaaagaa(X306, X307, X308, X309, T127, X310, T128, app44_out_aaaag(X306, X307, X308, X309, T127)) → p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)
p43_in_aaaagaa(T129, T130, T131, T132, T127, X310, T133) → U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_in_aaaag(T129, T130, T131, T132, T127))
U16_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app44_out_aaaag(T129, T130, T131, T132, T127)) → U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_in_gggga(T129, T130, T131, T132, X310))
app54_in_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166)) → app54_out_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183, .(T177, X411)) → U9_gggga(T177, T182, T184, T185, T183, X411, app54_in_gggga(T182, T184, T185, T183, X411))
U9_gggga(T177, T182, T184, T185, T183, X411, app54_out_gggga(T182, T184, T185, T183, X411)) → app54_out_gggga(.(T177, T182), T184, T185, T183, .(T177, X411))
U17_aaaagaa(T129, T130, T131, T132, T127, X310, T133, app54_out_gggga(T129, T130, T131, T132, X310)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, X310, T133)
p43_in_aaaagaa(T129, T130, T131, T132, T127, T144, T145) → U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U19_aaaagaa(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_in_ga(T144, T145))
parse10_in_ga(T208, T209) → U6_ga(T208, T209, p66_in_aagaa(X450, X451, T208, X452, T209))
p66_in_aagaa(X450, X451, T208, X452, T209) → U21_aagaa(X450, X451, T208, X452, T209, app67_in_aag(X450, X451, T208))
app67_in_aag([], X470, .(a, .(b, X470))) → app67_out_aag([], X470, .(a, .(b, X470)))
app67_in_aag(.(X490, X491), X492, .(X490, T216)) → U10_aag(X490, X491, X492, T216, app67_in_aag(X491, X492, T216))
U10_aag(X490, X491, X492, T216, app67_out_aag(X491, X492, T216)) → app67_out_aag(.(X490, X491), X492, .(X490, T216))
U21_aagaa(X450, X451, T208, X452, T209, app67_out_aag(X450, X451, T208)) → p66_out_aagaa(X450, X451, T208, X452, T209)
p66_in_aagaa(T210, T211, T208, X452, T212) → U22_aagaa(T210, T211, T208, X452, T212, app67_in_aag(T210, T211, T208))
U22_aagaa(T210, T211, T208, X452, T212, app67_out_aag(T210, T211, T208)) → U23_aagaa(T210, T211, T208, X452, T212, app77_in_gga(T210, T211, X452))
app77_in_gga([], T227, .(s(a, b), T227)) → app77_out_gga([], T227, .(s(a, b), T227))
app77_in_gga(.(T234, T237), T238, .(T234, X525)) → U11_gga(T234, T237, T238, X525, app77_in_gga(T237, T238, X525))
U11_gga(T234, T237, T238, X525, app77_out_gga(T237, T238, X525)) → app77_out_gga(.(T234, T237), T238, .(T234, X525))
U23_aagaa(T210, T211, T208, X452, T212, app77_out_gga(T210, T211, X452)) → p66_out_aagaa(T210, T211, T208, X452, T212)
p66_in_aagaa(T210, T211, T208, T219, T220) → U24_aagaa(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_aagaa(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_aagaa(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U25_aagaa(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → U26_aagaa(T210, T211, T208, T219, T220, parse10_in_ga(T219, T220))
parse10_in_ga(.(s(T251, T252), []), s(T251, T252)) → parse10_out_ga(.(s(T251, T252), []), s(T251, T252))
parse10_in_ga(.(s(T259, T260, T261), []), s(T259, T260, T261)) → parse10_out_ga(.(s(T259, T260, T261), []), s(T259, T260, T261))
U26_aagaa(T210, T211, T208, T219, T220, parse10_out_ga(T219, T220)) → p66_out_aagaa(T210, T211, T208, T219, T220)
U6_ga(T208, T209, p66_out_aagaa(X450, X451, T208, X452, T209)) → parse10_out_ga(T208, T209)
U20_aaaagaa(T129, T130, T131, T132, T127, T144, T145, parse10_out_ga(T144, T145)) → p43_out_aaaagaa(T129, T130, T131, T132, T127, T144, T145)
U5_ga(T127, T128, p43_out_aaaagaa(X306, X307, X308, X309, T127, X310, T128)) → parse10_out_ga(T127, T128)
U14_gggggaa(T32, T33, T34, T35, T36, T50, T51, parse10_out_ga(T50, T51)) → p22_out_gggggaa(T32, T33, T34, T35, T36, T50, T51)
U4_ga(T30, T37, p22_out_gggggaa(T32, T33, T34, T35, T36, X140, T37)) → parse10_out_ga(T30, T37)
U29_ga(T9, T10, T11, T12, T7, parse10_out_ga(T13, T7)) → parse1_out_ga(.(a, .(s(T9, T10, T11), .(b, T12))), T7)
parse1_in_ga(.(X608, T266), T7) → U30_ga(X608, T266, T7, app21_in_aaaaag(X609, X610, X611, X612, X613, T266))
U30_ga(X608, T266, T7, app21_out_aaaaag(X609, X610, X611, X612, X613, T266)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(.(X608, T266), T7) → U31_ga(X608, T266, T7, app21_in_aaaaag(T267, T268, T269, T270, T271, T266))
U31_ga(X608, T266, T7, app21_out_aaaaag(T267, T268, T269, T270, T271, T266)) → U32_ga(X608, T266, T7, p22_in_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7))
U32_ga(X608, T266, T7, p22_out_gggggaa(.(X608, T267), T268, T269, T270, T271, X10, T7)) → parse1_out_ga(.(X608, T266), T7)
parse1_in_ga(T287, T289) → U33_ga(T287, T289, p43_in_aaaagaa(X682, X683, X684, X685, T287, X686, T289))
U33_ga(T287, T289, p43_out_aaaagaa(X682, X683, X684, X685, T287, X686, T289)) → parse1_out_ga(T287, T289)
parse1_in_ga(T300, T302) → U34_ga(T300, T302, p66_in_aagaa(X719, X720, T300, X721, T302))
U34_ga(T300, T302, p66_out_aagaa(X719, X720, T300, X721, T302)) → parse1_out_ga(T300, T302)
parse1_in_ga(.(s(T311, T312), []), s(T311, T312)) → parse1_out_ga(.(s(T311, T312), []), s(T311, T312))
parse1_in_ga(.(s(T319, T320, T321), []), s(T319, T320, T321)) → parse1_out_ga(.(s(T319, T320, T321), []), s(T319, T320, T321))
PARSE10_IN_GA(T30, T37) → U3_GA(T30, T37, app21_in_aaaaag(T32, T33, T34, T35, T36, T30))
U3_GA(T30, T37, app21_out_aaaaag(T32, T33, T34, T35, T36, T30)) → P22_IN_GGGGGAA(T32, T33, T34, T35, T36, X140, T37)
P22_IN_GGGGGAA(T32, T33, T34, T35, T36, T50, T51) → U13_GGGGGAA(T32, T33, T34, T35, T36, T50, T51, app31_in_ggggga(T32, T33, T34, T35, T36, T50))
U13_GGGGGAA(T32, T33, T34, T35, T36, T50, T51, app31_out_ggggga(T32, T33, T34, T35, T36, T50)) → PARSE10_IN_GA(T50, T51)
PARSE10_IN_GA(T127, T128) → P43_IN_AAAAGAA(X306, X307, X308, X309, T127, X310, T128)
P43_IN_AAAAGAA(T129, T130, T131, T132, T127, T144, T145) → U18_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app44_in_aaaag(T129, T130, T131, T132, T127))
U18_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app44_out_aaaag(T129, T130, T131, T132, T127)) → U19_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app54_in_gggga(T129, T130, T131, T132, T144))
U19_AAAAGAA(T129, T130, T131, T132, T127, T144, T145, app54_out_gggga(T129, T130, T131, T132, T144)) → PARSE10_IN_GA(T144, T145)
PARSE10_IN_GA(T208, T209) → P66_IN_AAGAA(X450, X451, T208, X452, T209)
P66_IN_AAGAA(T210, T211, T208, T219, T220) → U24_AAGAA(T210, T211, T208, T219, T220, app67_in_aag(T210, T211, T208))
U24_AAGAA(T210, T211, T208, T219, T220, app67_out_aag(T210, T211, T208)) → U25_AAGAA(T210, T211, T208, T219, T220, app77_in_gga(T210, T211, T219))
U25_AAGAA(T210, T211, T208, T219, T220, app77_out_gga(T210, T211, T219)) → PARSE10_IN_GA(T219, T220)
app21_in_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185, .(a, .(s(X182, X183, X184), .(b, X185))))
app21_in_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41)) → U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_in_aaaaag(X212, X213, X214, X215, X216, T41))
app31_in_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79)) → app31_out_ggggga([], T76, T77, T78, T79, .(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255)) → U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_in_ggggga(T98, T100, T101, T102, T99, X255))
app44_in_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346, .(a, .(s(X344, X345), .(b, X346))))
app44_in_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137)) → U8_aaaag(X370, X371, X372, X373, X374, T137, app44_in_aaaag(X371, X372, X373, X374, T137))
app54_in_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166)) → app54_out_gggga([], T164, T165, T166, .(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183, .(T177, X411)) → U9_gggga(T177, T182, T184, T185, T183, X411, app54_in_gggga(T182, T184, T185, T183, X411))
app67_in_aag([], X470, .(a, .(b, X470))) → app67_out_aag([], X470, .(a, .(b, X470)))
app67_in_aag(.(X490, X491), X492, .(X490, T216)) → U10_aag(X490, X491, X492, T216, app67_in_aag(X491, X492, T216))
app77_in_gga([], T227, .(s(a, b), T227)) → app77_out_gga([], T227, .(s(a, b), T227))
app77_in_gga(.(T234, T237), T238, .(T234, X525)) → U11_gga(T234, T237, T238, X525, app77_in_gga(T237, T238, X525))
U1_aaaaag(X211, X212, X213, X214, X215, X216, T41, app21_out_aaaaag(X212, X213, X214, X215, X216, T41)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216, .(X211, T41))
U7_ggggga(T92, T98, T100, T101, T102, T99, X255, app31_out_ggggga(T98, T100, T101, T102, T99, X255)) → app31_out_ggggga(.(T92, T98), T100, T101, T102, T99, .(T92, X255))
U8_aaaag(X370, X371, X372, X373, X374, T137, app44_out_aaaag(X371, X372, X373, X374, T137)) → app44_out_aaaag(.(X370, X371), X372, X373, X374, .(X370, T137))
U9_gggga(T177, T182, T184, T185, T183, X411, app54_out_gggga(T182, T184, T185, T183, X411)) → app54_out_gggga(.(T177, T182), T184, T185, T183, .(T177, X411))
U10_aag(X490, X491, X492, T216, app67_out_aag(X491, X492, T216)) → app67_out_aag(.(X490, X491), X492, .(X490, T216))
U11_gga(T234, T237, T238, X525, app77_out_gga(T237, T238, X525)) → app77_out_gga(.(T234, T237), T238, .(T234, X525))
PARSE10_IN_GA(T30) → U3_GA(app21_in_aaaaag(T30))
U3_GA(app21_out_aaaaag(T32, T33, T34, T35, T36)) → P22_IN_GGGGGAA(T32, T33, T34, T35, T36)
P22_IN_GGGGGAA(T32, T33, T34, T35, T36) → U13_GGGGGAA(app31_in_ggggga(T32, T33, T34, T35, T36))
U13_GGGGGAA(app31_out_ggggga(T50)) → PARSE10_IN_GA(T50)
PARSE10_IN_GA(T127) → P43_IN_AAAAGAA(T127)
P43_IN_AAAAGAA(T127) → U18_AAAAGAA(app44_in_aaaag(T127))
U18_AAAAGAA(app44_out_aaaag(T129, T130, T131, T132)) → U19_AAAAGAA(T129, T130, T131, T132, app54_in_gggga(T129, T130, T131, T132))
U19_AAAAGAA(T129, T130, T131, T132, app54_out_gggga(T144)) → PARSE10_IN_GA(T144)
PARSE10_IN_GA(T208) → P66_IN_AAGAA(T208)
P66_IN_AAGAA(T208) → U24_AAGAA(app67_in_aag(T208))
U24_AAGAA(app67_out_aag(T210, T211)) → U25_AAGAA(T210, T211, app77_in_gga(T210, T211))
U25_AAGAA(T210, T211, app77_out_gga(T219)) → PARSE10_IN_GA(T219)
app21_in_aaaaag(.(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185)
app21_in_aaaaag(.(X211, T41)) → U1_aaaaag(X211, app21_in_aaaaag(T41))
app31_in_ggggga([], T76, T77, T78, T79) → app31_out_ggggga(.(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99) → U7_ggggga(T92, app31_in_ggggga(T98, T100, T101, T102, T99))
app44_in_aaaag(.(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346)
app44_in_aaaag(.(X370, T137)) → U8_aaaag(X370, app44_in_aaaag(T137))
app54_in_gggga([], T164, T165, T166) → app54_out_gggga(.(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183) → U9_gggga(T177, app54_in_gggga(T182, T184, T185, T183))
app67_in_aag(.(a, .(b, X470))) → app67_out_aag([], X470)
app67_in_aag(.(X490, T216)) → U10_aag(X490, app67_in_aag(T216))
app77_in_gga([], T227) → app77_out_gga(.(s(a, b), T227))
app77_in_gga(.(T234, T237), T238) → U11_gga(T234, app77_in_gga(T237, T238))
U1_aaaaag(X211, app21_out_aaaaag(X212, X213, X214, X215, X216)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216)
U7_ggggga(T92, app31_out_ggggga(X255)) → app31_out_ggggga(.(T92, X255))
U8_aaaag(X370, app44_out_aaaag(X371, X372, X373, X374)) → app44_out_aaaag(.(X370, X371), X372, X373, X374)
U9_gggga(T177, app54_out_gggga(X411)) → app54_out_gggga(.(T177, X411))
U10_aag(X490, app67_out_aag(X491, X492)) → app67_out_aag(.(X490, X491), X492)
U11_gga(T234, app77_out_gga(X525)) → app77_out_gga(.(T234, X525))
app21_in_aaaaag(x0)
app31_in_ggggga(x0, x1, x2, x3, x4)
app44_in_aaaag(x0)
app54_in_gggga(x0, x1, x2, x3)
app67_in_aag(x0)
app77_in_gga(x0, x1)
U1_aaaaag(x0, x1)
U7_ggggga(x0, x1)
U8_aaaag(x0, x1)
U9_gggga(x0, x1)
U10_aag(x0, x1)
U11_gga(x0, x1)
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
P22_IN_GGGGGAA(T32, T33, T34, T35, T36) → U13_GGGGGAA(app31_in_ggggga(T32, T33, T34, T35, T36))
U24_AAGAA(app67_out_aag(T210, T211)) → U25_AAGAA(T210, T211, app77_in_gga(T210, T211))
POL(.(x1, x2)) = 1 + x2
POL(P22_IN_GGGGGAA(x1, x2, x3, x4, x5)) = 1 + x1 + x5
POL(P43_IN_AAAAGAA(x1)) = x1
POL(P66_IN_AAGAA(x1)) = x1
POL(PARSE10_IN_GA(x1)) = x1
POL(U10_aag(x1, x2)) = 1 + x2
POL(U11_gga(x1, x2)) = 1 + x2
POL(U13_GGGGGAA(x1)) = x1
POL(U18_AAAAGAA(x1)) = x1
POL(U19_AAAAGAA(x1, x2, x3, x4, x5)) = x5
POL(U1_aaaaag(x1, x2)) = 1 + x2
POL(U24_AAGAA(x1)) = x1
POL(U25_AAGAA(x1, x2, x3)) = x3
POL(U3_GA(x1)) = x1
POL(U7_ggggga(x1, x2)) = 1 + x2
POL(U8_aaaag(x1, x2)) = 1 + x2
POL(U9_gggga(x1, x2)) = 1 + x2
POL([]) = 1
POL(a) = 0
POL(app21_in_aaaaag(x1)) = x1
POL(app21_out_aaaaag(x1, x2, x3, x4, x5)) = 1 + x1 + x5
POL(app31_in_ggggga(x1, x2, x3, x4, x5)) = x1 + x5
POL(app31_out_ggggga(x1)) = x1
POL(app44_in_aaaag(x1)) = x1
POL(app44_out_aaaag(x1, x2, x3, x4)) = x1 + x4
POL(app54_in_gggga(x1, x2, x3, x4)) = x1 + x4
POL(app54_out_gggga(x1)) = x1
POL(app67_in_aag(x1)) = x1
POL(app67_out_aag(x1, x2)) = 1 + x1 + x2
POL(app77_in_gga(x1, x2)) = x1 + x2
POL(app77_out_gga(x1)) = x1
POL(b) = 0
POL(s(x1, x2)) = 0
POL(s(x1, x2, x3)) = 0
app21_in_aaaaag(.(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185)
app21_in_aaaaag(.(X211, T41)) → U1_aaaaag(X211, app21_in_aaaaag(T41))
app31_in_ggggga([], T76, T77, T78, T79) → app31_out_ggggga(.(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99) → U7_ggggga(T92, app31_in_ggggga(T98, T100, T101, T102, T99))
app44_in_aaaag(.(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346)
app44_in_aaaag(.(X370, T137)) → U8_aaaag(X370, app44_in_aaaag(T137))
app54_in_gggga([], T164, T165, T166) → app54_out_gggga(.(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183) → U9_gggga(T177, app54_in_gggga(T182, T184, T185, T183))
app67_in_aag(.(a, .(b, X470))) → app67_out_aag([], X470)
app67_in_aag(.(X490, T216)) → U10_aag(X490, app67_in_aag(T216))
app77_in_gga([], T227) → app77_out_gga(.(s(a, b), T227))
app77_in_gga(.(T234, T237), T238) → U11_gga(T234, app77_in_gga(T237, T238))
U1_aaaaag(X211, app21_out_aaaaag(X212, X213, X214, X215, X216)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216)
U7_ggggga(T92, app31_out_ggggga(X255)) → app31_out_ggggga(.(T92, X255))
U8_aaaag(X370, app44_out_aaaag(X371, X372, X373, X374)) → app44_out_aaaag(.(X370, X371), X372, X373, X374)
U9_gggga(T177, app54_out_gggga(X411)) → app54_out_gggga(.(T177, X411))
U10_aag(X490, app67_out_aag(X491, X492)) → app67_out_aag(.(X490, X491), X492)
U11_gga(T234, app77_out_gga(X525)) → app77_out_gga(.(T234, X525))
PARSE10_IN_GA(T30) → U3_GA(app21_in_aaaaag(T30))
U3_GA(app21_out_aaaaag(T32, T33, T34, T35, T36)) → P22_IN_GGGGGAA(T32, T33, T34, T35, T36)
U13_GGGGGAA(app31_out_ggggga(T50)) → PARSE10_IN_GA(T50)
PARSE10_IN_GA(T127) → P43_IN_AAAAGAA(T127)
P43_IN_AAAAGAA(T127) → U18_AAAAGAA(app44_in_aaaag(T127))
U18_AAAAGAA(app44_out_aaaag(T129, T130, T131, T132)) → U19_AAAAGAA(T129, T130, T131, T132, app54_in_gggga(T129, T130, T131, T132))
U19_AAAAGAA(T129, T130, T131, T132, app54_out_gggga(T144)) → PARSE10_IN_GA(T144)
PARSE10_IN_GA(T208) → P66_IN_AAGAA(T208)
P66_IN_AAGAA(T208) → U24_AAGAA(app67_in_aag(T208))
U25_AAGAA(T210, T211, app77_out_gga(T219)) → PARSE10_IN_GA(T219)
app21_in_aaaaag(.(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185)
app21_in_aaaaag(.(X211, T41)) → U1_aaaaag(X211, app21_in_aaaaag(T41))
app31_in_ggggga([], T76, T77, T78, T79) → app31_out_ggggga(.(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99) → U7_ggggga(T92, app31_in_ggggga(T98, T100, T101, T102, T99))
app44_in_aaaag(.(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346)
app44_in_aaaag(.(X370, T137)) → U8_aaaag(X370, app44_in_aaaag(T137))
app54_in_gggga([], T164, T165, T166) → app54_out_gggga(.(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183) → U9_gggga(T177, app54_in_gggga(T182, T184, T185, T183))
app67_in_aag(.(a, .(b, X470))) → app67_out_aag([], X470)
app67_in_aag(.(X490, T216)) → U10_aag(X490, app67_in_aag(T216))
app77_in_gga([], T227) → app77_out_gga(.(s(a, b), T227))
app77_in_gga(.(T234, T237), T238) → U11_gga(T234, app77_in_gga(T237, T238))
U1_aaaaag(X211, app21_out_aaaaag(X212, X213, X214, X215, X216)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216)
U7_ggggga(T92, app31_out_ggggga(X255)) → app31_out_ggggga(.(T92, X255))
U8_aaaag(X370, app44_out_aaaag(X371, X372, X373, X374)) → app44_out_aaaag(.(X370, X371), X372, X373, X374)
U9_gggga(T177, app54_out_gggga(X411)) → app54_out_gggga(.(T177, X411))
U10_aag(X490, app67_out_aag(X491, X492)) → app67_out_aag(.(X490, X491), X492)
U11_gga(T234, app77_out_gga(X525)) → app77_out_gga(.(T234, X525))
app21_in_aaaaag(x0)
app31_in_ggggga(x0, x1, x2, x3, x4)
app44_in_aaaag(x0)
app54_in_gggga(x0, x1, x2, x3)
app67_in_aag(x0)
app77_in_gga(x0, x1)
U1_aaaaag(x0, x1)
U7_ggggga(x0, x1)
U8_aaaag(x0, x1)
U9_gggga(x0, x1)
U10_aag(x0, x1)
U11_gga(x0, x1)
PARSE10_IN_GA(T127) → P43_IN_AAAAGAA(T127)
P43_IN_AAAAGAA(T127) → U18_AAAAGAA(app44_in_aaaag(T127))
U18_AAAAGAA(app44_out_aaaag(T129, T130, T131, T132)) → U19_AAAAGAA(T129, T130, T131, T132, app54_in_gggga(T129, T130, T131, T132))
U19_AAAAGAA(T129, T130, T131, T132, app54_out_gggga(T144)) → PARSE10_IN_GA(T144)
app21_in_aaaaag(.(a, .(s(X182, X183, X184), .(b, X185)))) → app21_out_aaaaag([], X182, X183, X184, X185)
app21_in_aaaaag(.(X211, T41)) → U1_aaaaag(X211, app21_in_aaaaag(T41))
app31_in_ggggga([], T76, T77, T78, T79) → app31_out_ggggga(.(s(a, s(T76, T77, T78), b), T79))
app31_in_ggggga(.(T92, T98), T100, T101, T102, T99) → U7_ggggga(T92, app31_in_ggggga(T98, T100, T101, T102, T99))
app44_in_aaaag(.(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346)
app44_in_aaaag(.(X370, T137)) → U8_aaaag(X370, app44_in_aaaag(T137))
app54_in_gggga([], T164, T165, T166) → app54_out_gggga(.(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183) → U9_gggga(T177, app54_in_gggga(T182, T184, T185, T183))
app67_in_aag(.(a, .(b, X470))) → app67_out_aag([], X470)
app67_in_aag(.(X490, T216)) → U10_aag(X490, app67_in_aag(T216))
app77_in_gga([], T227) → app77_out_gga(.(s(a, b), T227))
app77_in_gga(.(T234, T237), T238) → U11_gga(T234, app77_in_gga(T237, T238))
U1_aaaaag(X211, app21_out_aaaaag(X212, X213, X214, X215, X216)) → app21_out_aaaaag(.(X211, X212), X213, X214, X215, X216)
U7_ggggga(T92, app31_out_ggggga(X255)) → app31_out_ggggga(.(T92, X255))
U8_aaaag(X370, app44_out_aaaag(X371, X372, X373, X374)) → app44_out_aaaag(.(X370, X371), X372, X373, X374)
U9_gggga(T177, app54_out_gggga(X411)) → app54_out_gggga(.(T177, X411))
U10_aag(X490, app67_out_aag(X491, X492)) → app67_out_aag(.(X490, X491), X492)
U11_gga(T234, app77_out_gga(X525)) → app77_out_gga(.(T234, X525))
app21_in_aaaaag(x0)
app31_in_ggggga(x0, x1, x2, x3, x4)
app44_in_aaaag(x0)
app54_in_gggga(x0, x1, x2, x3)
app67_in_aag(x0)
app77_in_gga(x0, x1)
U1_aaaaag(x0, x1)
U7_ggggga(x0, x1)
U8_aaaag(x0, x1)
U9_gggga(x0, x1)
U10_aag(x0, x1)
U11_gga(x0, x1)
PARSE10_IN_GA(T127) → P43_IN_AAAAGAA(T127)
P43_IN_AAAAGAA(T127) → U18_AAAAGAA(app44_in_aaaag(T127))
U18_AAAAGAA(app44_out_aaaag(T129, T130, T131, T132)) → U19_AAAAGAA(T129, T130, T131, T132, app54_in_gggga(T129, T130, T131, T132))
U19_AAAAGAA(T129, T130, T131, T132, app54_out_gggga(T144)) → PARSE10_IN_GA(T144)
app54_in_gggga([], T164, T165, T166) → app54_out_gggga(.(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183) → U9_gggga(T177, app54_in_gggga(T182, T184, T185, T183))
U9_gggga(T177, app54_out_gggga(X411)) → app54_out_gggga(.(T177, X411))
app44_in_aaaag(.(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346)
app44_in_aaaag(.(X370, T137)) → U8_aaaag(X370, app44_in_aaaag(T137))
U8_aaaag(X370, app44_out_aaaag(X371, X372, X373, X374)) → app44_out_aaaag(.(X370, X371), X372, X373, X374)
app21_in_aaaaag(x0)
app31_in_ggggga(x0, x1, x2, x3, x4)
app44_in_aaaag(x0)
app54_in_gggga(x0, x1, x2, x3)
app67_in_aag(x0)
app77_in_gga(x0, x1)
U1_aaaaag(x0, x1)
U7_ggggga(x0, x1)
U8_aaaag(x0, x1)
U9_gggga(x0, x1)
U10_aag(x0, x1)
U11_gga(x0, x1)
app21_in_aaaaag(x0)
app31_in_ggggga(x0, x1, x2, x3, x4)
app67_in_aag(x0)
app77_in_gga(x0, x1)
U1_aaaaag(x0, x1)
U7_ggggga(x0, x1)
U10_aag(x0, x1)
U11_gga(x0, x1)
PARSE10_IN_GA(T127) → P43_IN_AAAAGAA(T127)
P43_IN_AAAAGAA(T127) → U18_AAAAGAA(app44_in_aaaag(T127))
U18_AAAAGAA(app44_out_aaaag(T129, T130, T131, T132)) → U19_AAAAGAA(T129, T130, T131, T132, app54_in_gggga(T129, T130, T131, T132))
U19_AAAAGAA(T129, T130, T131, T132, app54_out_gggga(T144)) → PARSE10_IN_GA(T144)
app54_in_gggga([], T164, T165, T166) → app54_out_gggga(.(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183) → U9_gggga(T177, app54_in_gggga(T182, T184, T185, T183))
U9_gggga(T177, app54_out_gggga(X411)) → app54_out_gggga(.(T177, X411))
app44_in_aaaag(.(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346)
app44_in_aaaag(.(X370, T137)) → U8_aaaag(X370, app44_in_aaaag(T137))
U8_aaaag(X370, app44_out_aaaag(X371, X372, X373, X374)) → app44_out_aaaag(.(X370, X371), X372, X373, X374)
app44_in_aaaag(x0)
app54_in_gggga(x0, x1, x2, x3)
U8_aaaag(x0, x1)
U9_gggga(x0, x1)
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
U18_AAAAGAA(app44_out_aaaag(T129, T130, T131, T132)) → U19_AAAAGAA(T129, T130, T131, T132, app54_in_gggga(T129, T130, T131, T132))
POL(.(x1, x2)) = x1 + x2
POL(P43_IN_AAAAGAA(x1)) = 1 + x1
POL(PARSE10_IN_GA(x1)) = 1 + x1
POL(U18_AAAAGAA(x1)) = 1 + x1
POL(U19_AAAAGAA(x1, x2, x3, x4, x5)) = x5
POL(U8_aaaag(x1, x2)) = x1 + x2
POL(U9_gggga(x1, x2)) = x1 + x2
POL([]) = 1
POL(a) = 1
POL(app44_in_aaaag(x1)) = x1
POL(app44_out_aaaag(x1, x2, x3, x4)) = 1 + x1 + x4
POL(app54_in_gggga(x1, x2, x3, x4)) = x1 + x4
POL(app54_out_gggga(x1)) = 1 + x1
POL(b) = 1
POL(s(x1, x2)) = 0
POL(s(x1, x2, x3)) = 0
app44_in_aaaag(.(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346)
app44_in_aaaag(.(X370, T137)) → U8_aaaag(X370, app44_in_aaaag(T137))
app54_in_gggga([], T164, T165, T166) → app54_out_gggga(.(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183) → U9_gggga(T177, app54_in_gggga(T182, T184, T185, T183))
U9_gggga(T177, app54_out_gggga(X411)) → app54_out_gggga(.(T177, X411))
U8_aaaag(X370, app44_out_aaaag(X371, X372, X373, X374)) → app44_out_aaaag(.(X370, X371), X372, X373, X374)
PARSE10_IN_GA(T127) → P43_IN_AAAAGAA(T127)
P43_IN_AAAAGAA(T127) → U18_AAAAGAA(app44_in_aaaag(T127))
U19_AAAAGAA(T129, T130, T131, T132, app54_out_gggga(T144)) → PARSE10_IN_GA(T144)
app54_in_gggga([], T164, T165, T166) → app54_out_gggga(.(s(a, s(T164, T165), b), T166))
app54_in_gggga(.(T177, T182), T184, T185, T183) → U9_gggga(T177, app54_in_gggga(T182, T184, T185, T183))
U9_gggga(T177, app54_out_gggga(X411)) → app54_out_gggga(.(T177, X411))
app44_in_aaaag(.(a, .(s(X344, X345), .(b, X346)))) → app44_out_aaaag([], X344, X345, X346)
app44_in_aaaag(.(X370, T137)) → U8_aaaag(X370, app44_in_aaaag(T137))
U8_aaaag(X370, app44_out_aaaag(X371, X372, X373, X374)) → app44_out_aaaag(.(X370, X371), X372, X373, X374)
app44_in_aaaag(x0)
app54_in_gggga(x0, x1, x2, x3)
U8_aaaag(x0, x1)
U9_gggga(x0, x1)