0 Prolog
↳1 PrologToDTProblemTransformerProof (⇐)
↳2 TRIPLES
↳3 UndefinedPredicateInTriplesTransformerProof (⇐)
↳4 TRIPLES
↳5 TriplesToPiDPProof (⇐)
↳6 PiDP
↳7 DependencyGraphProof (⇔)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔)
↳11 PiDP
↳12 PiDPToQDPProof (⇐)
↳13 QDP
↳14 NonTerminationProof (⇔)
↳15 NO
↳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 NonTerminationProof (⇔)
↳36 NO
↳37 PiDP
↳38 UsableRulesProof (⇔)
↳39 PiDP
↳40 PiDPToQDPProof (⇐)
↳41 QDP
↳42 NonTerminationProof (⇔)
↳43 NO
↳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 NonTerminationProof (⇔)
↳57 NO
GOAL1_IN_GAA(0, T30, T34) → U16_GAA(T30, T34, tappendc12_in_aa(T30, T33))
U16_GAA(T30, T34, tappendc12_out_aa(T30, T33)) → U17_GAA(T30, T34, tlast13_in_aa(T34, T33))
U16_GAA(T30, T34, tappendc12_out_aa(T30, T33)) → TLAST13_IN_AA(T34, T33)
TLAST13_IN_AA(T71, node(T72, T69, T70)) → U1_AA(T71, T72, T69, T70, tlast13_in_aa(T71, T72))
TLAST13_IN_AA(T71, node(T72, T69, T70)) → TLAST13_IN_AA(T71, T72)
TLAST13_IN_AA(T87, node(T84, T85, T88)) → U2_AA(T87, T84, T85, T88, tlast13_in_aa(T87, T88))
TLAST13_IN_AA(T87, node(T84, T85, T88)) → TLAST13_IN_AA(T87, T88)
GOAL1_IN_GAA(s(T98), T13, T14) → U18_GAA(T98, T13, T14, s2t39_in_ga(T98, X162))
GOAL1_IN_GAA(s(T98), T13, T14) → S2T39_IN_GA(T98, X162)
S2T39_IN_GA(s(T107), node(X217, X218, X217)) → U3_GA(T107, X217, X218, s2t39_in_ga(T107, X217))
S2T39_IN_GA(s(T107), node(X217, X218, X217)) → S2T39_IN_GA(T107, X217)
S2T39_IN_GA(s(T115), node(nil, X257, X258)) → U4_GA(T115, X257, X258, s2t39_in_ga(T115, X258))
S2T39_IN_GA(s(T115), node(nil, X257, X258)) → S2T39_IN_GA(T115, X258)
S2T39_IN_GA(s(T123), node(X297, X298, nil)) → U5_GA(T123, X297, X298, s2t39_in_ga(T123, X297))
S2T39_IN_GA(s(T123), node(X297, X298, nil)) → S2T39_IN_GA(T123, X297)
GOAL1_IN_GAA(s(T98), T145, T146) → U19_GAA(T98, T145, T146, s2tc39_in_ga(T98, T144))
U19_GAA(T98, T145, T146, s2tc39_out_ga(T98, T144)) → U20_GAA(T98, T145, T146, p72_in_aaaaa(T144, X343, T145, X342, T146))
U19_GAA(T98, T145, T146, s2tc39_out_ga(T98, T144)) → P72_IN_AAAAA(T144, X343, T145, X342, T146)
P72_IN_AAAAA(T234, X619, T235, node(X563, X619, T234), T146) → U12_AAAAA(T234, X619, T235, X563, T146, tappend116_in_aaa(T234, T235, X563))
P72_IN_AAAAA(T234, X619, T235, node(X563, X619, T234), T146) → TAPPEND116_IN_AAA(T234, T235, X563)
TAPPEND116_IN_AAA(node(T398, T396, T397), T399, node(X818, T396, T397)) → U6_AAA(T398, T396, T397, T399, X818, tappend116_in_aaa(T398, T399, X818))
TAPPEND116_IN_AAA(node(T398, T396, T397), T399, node(X818, T396, T397)) → TAPPEND116_IN_AAA(T398, T399, X818)
TAPPEND116_IN_AAA(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U7_AAA(T448, T449, T451, X921, tappend217_in_aaa(T451, X919, X921))
TAPPEND116_IN_AAA(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → TAPPEND217_IN_AAA(T451, X919, X921)
TAPPEND217_IN_AAA(nil, X1193, node(X1194, nil, nil)) → U8_AAA(X1193, X1194, tappend217_in_gaa(nil, X1193, X1194))
TAPPEND217_IN_AAA(nil, X1193, node(X1194, nil, nil)) → TAPPEND217_IN_GAA(nil, X1193, X1194)
TAPPEND217_IN_GAA(nil, X1193, node(X1194, nil, nil)) → U8_GAA(X1193, X1194, tappend217_in_gaa(nil, X1193, X1194))
TAPPEND217_IN_GAA(nil, X1193, node(X1194, nil, nil)) → TAPPEND217_IN_GAA(nil, X1193, X1194)
TAPPEND217_IN_GAA(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U9_GAA(T569, T567, T568, X1193, X1194, tappend217_in_gaa(T569, X1193, X1194))
TAPPEND217_IN_GAA(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → TAPPEND217_IN_GAA(T569, X1193, X1194)
TAPPEND217_IN_GAA(nil, nil, node(nil, nil, X1313)) → U10_GAA(X1313, tappend217_in_gaa(nil, X1310, X1313))
TAPPEND217_IN_GAA(nil, nil, node(nil, nil, X1313)) → TAPPEND217_IN_GAA(nil, X1310, X1313)
TAPPEND217_IN_GAA(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U11_GAA(T609, T610, T612, X1313, tappend217_in_gaa(T612, X1310, X1313))
TAPPEND217_IN_GAA(node(T609, T610, T612), T609, node(T609, T610, X1313)) → TAPPEND217_IN_GAA(T612, X1310, X1313)
TAPPEND217_IN_AAA(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U9_AAA(T569, T567, T568, X1193, X1194, tappend217_in_aaa(T569, X1193, X1194))
TAPPEND217_IN_AAA(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → TAPPEND217_IN_AAA(T569, X1193, X1194)
TAPPEND217_IN_AAA(nil, nil, node(nil, nil, X1313)) → U10_AAA(X1313, tappend217_in_gaa(nil, X1310, X1313))
TAPPEND217_IN_AAA(nil, nil, node(nil, nil, X1313)) → TAPPEND217_IN_GAA(nil, X1310, X1313)
TAPPEND217_IN_AAA(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U11_AAA(T609, T610, T612, X1313, tappend217_in_aaa(T612, X1310, X1313))
TAPPEND217_IN_AAA(node(T609, T610, T612), T609, node(T609, T610, X1313)) → TAPPEND217_IN_AAA(T612, X1310, X1313)
P72_IN_AAAAA(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430), T146) → U13_AAAAA(T642, X1504, X1430, T146, tappend217_in_aaa(node(nil, T642, nil), X1427, X1430))
P72_IN_AAAAA(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430), T146) → TAPPEND217_IN_AAA(node(nil, T642, nil), X1427, X1430)
P72_IN_AAAAA(T144, T149, T145, T150, T151) → U14_AAAAA(T144, T149, T145, T150, T151, tappendc73_in_aaaa(T144, T149, T145, T150))
U14_AAAAA(T144, T149, T145, T150, T151, tappendc73_out_aaaa(T144, T149, T145, T150)) → U15_AAAAA(T144, T149, T145, T150, T151, tlast13_in_aa(T151, T150))
U14_AAAAA(T144, T149, T145, T150, T151, tappendc73_out_aaaa(T144, T149, T145, T150)) → TLAST13_IN_AA(T151, T150)
GOAL1_IN_GAA(s(T653), T13, T14) → U21_GAA(T653, T13, T14, s2t39_in_ga(T653, X1547))
GOAL1_IN_GAA(s(T653), T673, T674) → U22_GAA(T653, T673, T674, s2tc39_in_ga(T653, T672))
U22_GAA(T653, T673, T674, s2tc39_out_ga(T653, T672)) → U23_GAA(T653, T673, T674, tappend116_in_aaa(node(nil, X1585, T672), T673, X1584))
U22_GAA(T653, T673, T674, s2tc39_out_ga(T653, T672)) → TAPPEND116_IN_AAA(node(nil, X1585, T672), T673, X1584)
GOAL1_IN_GAA(s(T653), T673, T679) → U24_GAA(T653, T673, T679, s2tc39_in_ga(T653, T672))
U24_GAA(T653, T673, T679, s2tc39_out_ga(T653, T672)) → U25_GAA(T653, T673, T679, tappendc116_in_aaa(node(nil, T677, T672), T673, T678))
U25_GAA(T653, T673, T679, tappendc116_out_aaa(node(nil, T677, T672), T673, T678)) → U26_GAA(T653, T673, T679, tlast13_in_aa(T679, T678))
U25_GAA(T653, T673, T679, tappendc116_out_aaa(node(nil, T677, T672), T673, T678)) → TLAST13_IN_AA(T679, T678)
GOAL1_IN_GAA(s(T691), T13, T14) → U27_GAA(T691, T13, T14, s2t39_in_ga(T691, X1636))
GOAL1_IN_GAA(s(T691), T711, T712) → U28_GAA(T691, T711, T712, s2tc39_in_ga(T691, T710))
U28_GAA(T691, T711, T712, s2tc39_out_ga(T691, T710)) → U29_GAA(T691, T711, T712, tappend116_in_aaa(node(T710, X1675, nil), T711, X1674))
U28_GAA(T691, T711, T712, s2tc39_out_ga(T691, T710)) → TAPPEND116_IN_AAA(node(T710, X1675, nil), T711, X1674)
GOAL1_IN_GAA(s(T691), T711, T717) → U30_GAA(T691, T711, T717, s2tc39_in_ga(T691, T710))
U30_GAA(T691, T711, T717, s2tc39_out_ga(T691, T710)) → U31_GAA(T691, T711, T717, tappendc116_in_aaa(node(T710, T715, nil), T711, T716))
U31_GAA(T691, T711, T717, tappendc116_out_aaa(node(T710, T715, nil), T711, T716)) → U32_GAA(T691, T711, T717, tlast13_in_aa(T717, T716))
U31_GAA(T691, T711, T717, tappendc116_out_aaa(node(T710, T715, nil), T711, T716)) → TLAST13_IN_AA(T717, T716)
GOAL1_IN_GAA(T726, T738, T739) → U33_GAA(T726, T738, T739, p72_in_gaaaa(nil, X1737, T738, X1736, T739))
GOAL1_IN_GAA(T726, T738, T739) → P72_IN_GAAAA(nil, X1737, T738, X1736, T739)
P72_IN_GAAAA(T234, X619, T235, node(X563, X619, T234), T146) → U12_GAAAA(T234, X619, T235, X563, T146, tappend116_in_gaa(T234, T235, X563))
P72_IN_GAAAA(T234, X619, T235, node(X563, X619, T234), T146) → TAPPEND116_IN_GAA(T234, T235, X563)
TAPPEND116_IN_GAA(node(T398, T396, T397), T399, node(X818, T396, T397)) → U6_GAA(T398, T396, T397, T399, X818, tappend116_in_gaa(T398, T399, X818))
TAPPEND116_IN_GAA(node(T398, T396, T397), T399, node(X818, T396, T397)) → TAPPEND116_IN_GAA(T398, T399, X818)
TAPPEND116_IN_GAA(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U7_GAA(T448, T449, T451, X921, tappend217_in_gaa(T451, X919, X921))
TAPPEND116_IN_GAA(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → TAPPEND217_IN_GAA(T451, X919, X921)
P72_IN_GAAAA(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430), T146) → U13_GAAAA(T642, X1504, X1430, T146, tappend217_in_gaa(node(nil, T642, nil), X1427, X1430))
P72_IN_GAAAA(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430), T146) → TAPPEND217_IN_GAA(node(nil, T642, nil), X1427, X1430)
P72_IN_GAAAA(T144, T149, T145, T150, T151) → U14_GAAAA(T144, T149, T145, T150, T151, tappendc73_in_gaaa(T144, T149, T145, T150))
U14_GAAAA(T144, T149, T145, T150, T151, tappendc73_out_gaaa(T144, T149, T145, T150)) → U15_GAAAA(T144, T149, T145, T150, T151, tlast13_in_aa(T151, T150))
U14_GAAAA(T144, T149, T145, T150, T151, tappendc73_out_gaaa(T144, T149, T145, T150)) → TLAST13_IN_AA(T151, T150)
tappendc12_in_aa(T43, node(nil, T43, nil)) → tappendc12_out_aa(T43, node(nil, T43, nil))
s2tc39_in_ga(0, nil) → s2tc39_out_ga(0, nil)
s2tc39_in_ga(s(T107), node(X217, X218, X217)) → U37_ga(T107, X217, X218, s2tc39_in_ga(T107, X217))
s2tc39_in_ga(s(T115), node(nil, X257, X258)) → U38_ga(T115, X257, X258, s2tc39_in_ga(T115, X258))
s2tc39_in_ga(s(T123), node(X297, X298, nil)) → U39_ga(T123, X297, X298, s2tc39_in_ga(T123, X297))
s2tc39_in_ga(T126, node(nil, X315, nil)) → s2tc39_out_ga(T126, node(nil, X315, nil))
U39_ga(T123, X297, X298, s2tc39_out_ga(T123, X297)) → s2tc39_out_ga(s(T123), node(X297, X298, nil))
U38_ga(T115, X257, X258, s2tc39_out_ga(T115, X258)) → s2tc39_out_ga(s(T115), node(nil, X257, X258))
U37_ga(T107, X217, X218, s2tc39_out_ga(T107, X217)) → s2tc39_out_ga(s(T107), node(X217, X218, X217))
tappendc73_in_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_aaaa(T234, X619, T235, node(X563, X619, T234)) → U49_aaaa(T234, X619, T235, X563, tappendc116_in_aaa(T234, T235, X563))
tappendc116_in_aaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_aaa(nil, T243, node(nil, T243, nil))
tappendc116_in_aaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_aaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_aaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_aaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_aaa(nil, T345, node(X818, nil, nil)) → U40_aaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_aaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_aaa(nil, T345, node(X818, nil, nil))
tappendc116_in_aaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_aaa(T398, T396, T397, T399, X818, tappendc116_in_aaa(T398, T399, X818))
tappendc116_in_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_aaa(T448, T449, T451, X921, tappendc217_in_aaa(T451, X919, X921))
tappendc217_in_aaa(nil, X995, X995) → tappendc217_out_aaa(nil, X995, X995)
tappendc217_in_aaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_aaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_aaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_aaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_aaa(nil, X1193, node(X1194, nil, nil)) → U43_aaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(nil, X995, X995) → tappendc217_out_gaa(nil, X995, X995)
tappendc217_in_gaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_gaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_gaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_gaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_gaa(nil, X1193, node(X1194, nil, nil)) → U43_gaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_in_gaa(T569, X1193, X1194))
tappendc217_in_gaa(nil, nil, node(nil, nil, X1313)) → U45_gaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
tappendc217_in_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_gaa(T609, T610, T612, X1313, tappendc217_in_gaa(T612, X1310, X1313))
U46_gaa(T609, T610, T612, X1313, tappendc217_out_gaa(T612, X1310, X1313)) → tappendc217_out_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U45_gaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_gaa(nil, nil, node(nil, nil, X1313))
U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_out_gaa(T569, X1193, X1194)) → tappendc217_out_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U43_gaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_gaa(nil, X1193, node(X1194, nil, nil))
U43_aaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_aaa(nil, X1193, node(X1194, nil, nil))
tappendc217_in_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_in_aaa(T569, X1193, X1194))
tappendc217_in_aaa(nil, nil, node(nil, nil, X1313)) → U45_aaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
U45_aaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_aaa(nil, nil, node(nil, nil, X1313))
tappendc217_in_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_aaa(T609, T610, T612, X1313, tappendc217_in_aaa(T612, X1310, X1313))
U46_aaa(T609, T610, T612, X1313, tappendc217_out_aaa(T612, X1310, X1313)) → tappendc217_out_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_out_aaa(T569, X1193, X1194)) → tappendc217_out_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U42_aaa(T448, T449, T451, X921, tappendc217_out_aaa(T451, X919, X921)) → tappendc116_out_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_aaa(T398, T396, T397, T399, X818, tappendc116_out_aaa(T398, T399, X818)) → tappendc116_out_aaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_aaaa(T234, X619, T235, X563, tappendc116_out_aaa(T234, T235, X563)) → tappendc73_out_aaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_aaaa(T642, X1504, X1430, tappendc217_in_aaa(node(nil, T642, nil), X1427, X1430))
U50_aaaa(T642, X1504, X1430, tappendc217_out_aaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
tappendc73_in_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_gaaa(T234, X619, T235, node(X563, X619, T234)) → U49_gaaa(T234, X619, T235, X563, tappendc116_in_gaa(T234, T235, X563))
tappendc116_in_gaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_gaa(nil, T243, node(nil, T243, nil))
tappendc116_in_gaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_gaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_gaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_gaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_gaa(nil, T345, node(X818, nil, nil)) → U40_gaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_gaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_gaa(nil, T345, node(X818, nil, nil))
tappendc116_in_gaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_gaa(T398, T396, T397, T399, X818, tappendc116_in_gaa(T398, T399, X818))
tappendc116_in_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_gaa(T448, T449, T451, X921, tappendc217_in_gaa(T451, X919, X921))
U42_gaa(T448, T449, T451, X921, tappendc217_out_gaa(T451, X919, X921)) → tappendc116_out_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_gaa(T398, T396, T397, T399, X818, tappendc116_out_gaa(T398, T399, X818)) → tappendc116_out_gaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_gaaa(T234, X619, T235, X563, tappendc116_out_gaa(T234, T235, X563)) → tappendc73_out_gaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_gaaa(T642, X1504, X1430, tappendc217_in_gaa(node(nil, T642, nil), X1427, X1430))
U50_gaaa(T642, X1504, X1430, tappendc217_out_gaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
Infinitary Constructor Rewriting Termination of PiDP implies Termination of TRIPLES
GOAL1_IN_GAA(0, T30, T34) → U16_GAA(T30, T34, tappendc12_in_aa(T30, T33))
U16_GAA(T30, T34, tappendc12_out_aa(T30, T33)) → U17_GAA(T30, T34, tlast13_in_aa(T34, T33))
U16_GAA(T30, T34, tappendc12_out_aa(T30, T33)) → TLAST13_IN_AA(T34, T33)
TLAST13_IN_AA(T71, node(T72, T69, T70)) → U1_AA(T71, T72, T69, T70, tlast13_in_aa(T71, T72))
TLAST13_IN_AA(T71, node(T72, T69, T70)) → TLAST13_IN_AA(T71, T72)
TLAST13_IN_AA(T87, node(T84, T85, T88)) → U2_AA(T87, T84, T85, T88, tlast13_in_aa(T87, T88))
TLAST13_IN_AA(T87, node(T84, T85, T88)) → TLAST13_IN_AA(T87, T88)
GOAL1_IN_GAA(s(T98), T13, T14) → U18_GAA(T98, T13, T14, s2t39_in_ga(T98, X162))
GOAL1_IN_GAA(s(T98), T13, T14) → S2T39_IN_GA(T98, X162)
S2T39_IN_GA(s(T107), node(X217, X218, X217)) → U3_GA(T107, X217, X218, s2t39_in_ga(T107, X217))
S2T39_IN_GA(s(T107), node(X217, X218, X217)) → S2T39_IN_GA(T107, X217)
S2T39_IN_GA(s(T115), node(nil, X257, X258)) → U4_GA(T115, X257, X258, s2t39_in_ga(T115, X258))
S2T39_IN_GA(s(T115), node(nil, X257, X258)) → S2T39_IN_GA(T115, X258)
S2T39_IN_GA(s(T123), node(X297, X298, nil)) → U5_GA(T123, X297, X298, s2t39_in_ga(T123, X297))
S2T39_IN_GA(s(T123), node(X297, X298, nil)) → S2T39_IN_GA(T123, X297)
GOAL1_IN_GAA(s(T98), T145, T146) → U19_GAA(T98, T145, T146, s2tc39_in_ga(T98, T144))
U19_GAA(T98, T145, T146, s2tc39_out_ga(T98, T144)) → U20_GAA(T98, T145, T146, p72_in_aaaaa(T144, X343, T145, X342, T146))
U19_GAA(T98, T145, T146, s2tc39_out_ga(T98, T144)) → P72_IN_AAAAA(T144, X343, T145, X342, T146)
P72_IN_AAAAA(T234, X619, T235, node(X563, X619, T234), T146) → U12_AAAAA(T234, X619, T235, X563, T146, tappend116_in_aaa(T234, T235, X563))
P72_IN_AAAAA(T234, X619, T235, node(X563, X619, T234), T146) → TAPPEND116_IN_AAA(T234, T235, X563)
TAPPEND116_IN_AAA(node(T398, T396, T397), T399, node(X818, T396, T397)) → U6_AAA(T398, T396, T397, T399, X818, tappend116_in_aaa(T398, T399, X818))
TAPPEND116_IN_AAA(node(T398, T396, T397), T399, node(X818, T396, T397)) → TAPPEND116_IN_AAA(T398, T399, X818)
TAPPEND116_IN_AAA(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U7_AAA(T448, T449, T451, X921, tappend217_in_aaa(T451, X919, X921))
TAPPEND116_IN_AAA(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → TAPPEND217_IN_AAA(T451, X919, X921)
TAPPEND217_IN_AAA(nil, X1193, node(X1194, nil, nil)) → U8_AAA(X1193, X1194, tappend217_in_gaa(nil, X1193, X1194))
TAPPEND217_IN_AAA(nil, X1193, node(X1194, nil, nil)) → TAPPEND217_IN_GAA(nil, X1193, X1194)
TAPPEND217_IN_GAA(nil, X1193, node(X1194, nil, nil)) → U8_GAA(X1193, X1194, tappend217_in_gaa(nil, X1193, X1194))
TAPPEND217_IN_GAA(nil, X1193, node(X1194, nil, nil)) → TAPPEND217_IN_GAA(nil, X1193, X1194)
TAPPEND217_IN_GAA(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U9_GAA(T569, T567, T568, X1193, X1194, tappend217_in_gaa(T569, X1193, X1194))
TAPPEND217_IN_GAA(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → TAPPEND217_IN_GAA(T569, X1193, X1194)
TAPPEND217_IN_GAA(nil, nil, node(nil, nil, X1313)) → U10_GAA(X1313, tappend217_in_gaa(nil, X1310, X1313))
TAPPEND217_IN_GAA(nil, nil, node(nil, nil, X1313)) → TAPPEND217_IN_GAA(nil, X1310, X1313)
TAPPEND217_IN_GAA(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U11_GAA(T609, T610, T612, X1313, tappend217_in_gaa(T612, X1310, X1313))
TAPPEND217_IN_GAA(node(T609, T610, T612), T609, node(T609, T610, X1313)) → TAPPEND217_IN_GAA(T612, X1310, X1313)
TAPPEND217_IN_AAA(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U9_AAA(T569, T567, T568, X1193, X1194, tappend217_in_aaa(T569, X1193, X1194))
TAPPEND217_IN_AAA(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → TAPPEND217_IN_AAA(T569, X1193, X1194)
TAPPEND217_IN_AAA(nil, nil, node(nil, nil, X1313)) → U10_AAA(X1313, tappend217_in_gaa(nil, X1310, X1313))
TAPPEND217_IN_AAA(nil, nil, node(nil, nil, X1313)) → TAPPEND217_IN_GAA(nil, X1310, X1313)
TAPPEND217_IN_AAA(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U11_AAA(T609, T610, T612, X1313, tappend217_in_aaa(T612, X1310, X1313))
TAPPEND217_IN_AAA(node(T609, T610, T612), T609, node(T609, T610, X1313)) → TAPPEND217_IN_AAA(T612, X1310, X1313)
P72_IN_AAAAA(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430), T146) → U13_AAAAA(T642, X1504, X1430, T146, tappend217_in_aaa(node(nil, T642, nil), X1427, X1430))
P72_IN_AAAAA(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430), T146) → TAPPEND217_IN_AAA(node(nil, T642, nil), X1427, X1430)
P72_IN_AAAAA(T144, T149, T145, T150, T151) → U14_AAAAA(T144, T149, T145, T150, T151, tappendc73_in_aaaa(T144, T149, T145, T150))
U14_AAAAA(T144, T149, T145, T150, T151, tappendc73_out_aaaa(T144, T149, T145, T150)) → U15_AAAAA(T144, T149, T145, T150, T151, tlast13_in_aa(T151, T150))
U14_AAAAA(T144, T149, T145, T150, T151, tappendc73_out_aaaa(T144, T149, T145, T150)) → TLAST13_IN_AA(T151, T150)
GOAL1_IN_GAA(s(T653), T13, T14) → U21_GAA(T653, T13, T14, s2t39_in_ga(T653, X1547))
GOAL1_IN_GAA(s(T653), T673, T674) → U22_GAA(T653, T673, T674, s2tc39_in_ga(T653, T672))
U22_GAA(T653, T673, T674, s2tc39_out_ga(T653, T672)) → U23_GAA(T653, T673, T674, tappend116_in_aaa(node(nil, X1585, T672), T673, X1584))
U22_GAA(T653, T673, T674, s2tc39_out_ga(T653, T672)) → TAPPEND116_IN_AAA(node(nil, X1585, T672), T673, X1584)
GOAL1_IN_GAA(s(T653), T673, T679) → U24_GAA(T653, T673, T679, s2tc39_in_ga(T653, T672))
U24_GAA(T653, T673, T679, s2tc39_out_ga(T653, T672)) → U25_GAA(T653, T673, T679, tappendc116_in_aaa(node(nil, T677, T672), T673, T678))
U25_GAA(T653, T673, T679, tappendc116_out_aaa(node(nil, T677, T672), T673, T678)) → U26_GAA(T653, T673, T679, tlast13_in_aa(T679, T678))
U25_GAA(T653, T673, T679, tappendc116_out_aaa(node(nil, T677, T672), T673, T678)) → TLAST13_IN_AA(T679, T678)
GOAL1_IN_GAA(s(T691), T13, T14) → U27_GAA(T691, T13, T14, s2t39_in_ga(T691, X1636))
GOAL1_IN_GAA(s(T691), T711, T712) → U28_GAA(T691, T711, T712, s2tc39_in_ga(T691, T710))
U28_GAA(T691, T711, T712, s2tc39_out_ga(T691, T710)) → U29_GAA(T691, T711, T712, tappend116_in_aaa(node(T710, X1675, nil), T711, X1674))
U28_GAA(T691, T711, T712, s2tc39_out_ga(T691, T710)) → TAPPEND116_IN_AAA(node(T710, X1675, nil), T711, X1674)
GOAL1_IN_GAA(s(T691), T711, T717) → U30_GAA(T691, T711, T717, s2tc39_in_ga(T691, T710))
U30_GAA(T691, T711, T717, s2tc39_out_ga(T691, T710)) → U31_GAA(T691, T711, T717, tappendc116_in_aaa(node(T710, T715, nil), T711, T716))
U31_GAA(T691, T711, T717, tappendc116_out_aaa(node(T710, T715, nil), T711, T716)) → U32_GAA(T691, T711, T717, tlast13_in_aa(T717, T716))
U31_GAA(T691, T711, T717, tappendc116_out_aaa(node(T710, T715, nil), T711, T716)) → TLAST13_IN_AA(T717, T716)
GOAL1_IN_GAA(T726, T738, T739) → U33_GAA(T726, T738, T739, p72_in_gaaaa(nil, X1737, T738, X1736, T739))
GOAL1_IN_GAA(T726, T738, T739) → P72_IN_GAAAA(nil, X1737, T738, X1736, T739)
P72_IN_GAAAA(T234, X619, T235, node(X563, X619, T234), T146) → U12_GAAAA(T234, X619, T235, X563, T146, tappend116_in_gaa(T234, T235, X563))
P72_IN_GAAAA(T234, X619, T235, node(X563, X619, T234), T146) → TAPPEND116_IN_GAA(T234, T235, X563)
TAPPEND116_IN_GAA(node(T398, T396, T397), T399, node(X818, T396, T397)) → U6_GAA(T398, T396, T397, T399, X818, tappend116_in_gaa(T398, T399, X818))
TAPPEND116_IN_GAA(node(T398, T396, T397), T399, node(X818, T396, T397)) → TAPPEND116_IN_GAA(T398, T399, X818)
TAPPEND116_IN_GAA(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U7_GAA(T448, T449, T451, X921, tappend217_in_gaa(T451, X919, X921))
TAPPEND116_IN_GAA(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → TAPPEND217_IN_GAA(T451, X919, X921)
P72_IN_GAAAA(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430), T146) → U13_GAAAA(T642, X1504, X1430, T146, tappend217_in_gaa(node(nil, T642, nil), X1427, X1430))
P72_IN_GAAAA(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430), T146) → TAPPEND217_IN_GAA(node(nil, T642, nil), X1427, X1430)
P72_IN_GAAAA(T144, T149, T145, T150, T151) → U14_GAAAA(T144, T149, T145, T150, T151, tappendc73_in_gaaa(T144, T149, T145, T150))
U14_GAAAA(T144, T149, T145, T150, T151, tappendc73_out_gaaa(T144, T149, T145, T150)) → U15_GAAAA(T144, T149, T145, T150, T151, tlast13_in_aa(T151, T150))
U14_GAAAA(T144, T149, T145, T150, T151, tappendc73_out_gaaa(T144, T149, T145, T150)) → TLAST13_IN_AA(T151, T150)
tappendc12_in_aa(T43, node(nil, T43, nil)) → tappendc12_out_aa(T43, node(nil, T43, nil))
s2tc39_in_ga(0, nil) → s2tc39_out_ga(0, nil)
s2tc39_in_ga(s(T107), node(X217, X218, X217)) → U37_ga(T107, X217, X218, s2tc39_in_ga(T107, X217))
s2tc39_in_ga(s(T115), node(nil, X257, X258)) → U38_ga(T115, X257, X258, s2tc39_in_ga(T115, X258))
s2tc39_in_ga(s(T123), node(X297, X298, nil)) → U39_ga(T123, X297, X298, s2tc39_in_ga(T123, X297))
s2tc39_in_ga(T126, node(nil, X315, nil)) → s2tc39_out_ga(T126, node(nil, X315, nil))
U39_ga(T123, X297, X298, s2tc39_out_ga(T123, X297)) → s2tc39_out_ga(s(T123), node(X297, X298, nil))
U38_ga(T115, X257, X258, s2tc39_out_ga(T115, X258)) → s2tc39_out_ga(s(T115), node(nil, X257, X258))
U37_ga(T107, X217, X218, s2tc39_out_ga(T107, X217)) → s2tc39_out_ga(s(T107), node(X217, X218, X217))
tappendc73_in_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_aaaa(T234, X619, T235, node(X563, X619, T234)) → U49_aaaa(T234, X619, T235, X563, tappendc116_in_aaa(T234, T235, X563))
tappendc116_in_aaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_aaa(nil, T243, node(nil, T243, nil))
tappendc116_in_aaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_aaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_aaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_aaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_aaa(nil, T345, node(X818, nil, nil)) → U40_aaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_aaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_aaa(nil, T345, node(X818, nil, nil))
tappendc116_in_aaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_aaa(T398, T396, T397, T399, X818, tappendc116_in_aaa(T398, T399, X818))
tappendc116_in_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_aaa(T448, T449, T451, X921, tappendc217_in_aaa(T451, X919, X921))
tappendc217_in_aaa(nil, X995, X995) → tappendc217_out_aaa(nil, X995, X995)
tappendc217_in_aaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_aaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_aaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_aaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_aaa(nil, X1193, node(X1194, nil, nil)) → U43_aaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(nil, X995, X995) → tappendc217_out_gaa(nil, X995, X995)
tappendc217_in_gaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_gaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_gaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_gaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_gaa(nil, X1193, node(X1194, nil, nil)) → U43_gaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_in_gaa(T569, X1193, X1194))
tappendc217_in_gaa(nil, nil, node(nil, nil, X1313)) → U45_gaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
tappendc217_in_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_gaa(T609, T610, T612, X1313, tappendc217_in_gaa(T612, X1310, X1313))
U46_gaa(T609, T610, T612, X1313, tappendc217_out_gaa(T612, X1310, X1313)) → tappendc217_out_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U45_gaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_gaa(nil, nil, node(nil, nil, X1313))
U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_out_gaa(T569, X1193, X1194)) → tappendc217_out_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U43_gaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_gaa(nil, X1193, node(X1194, nil, nil))
U43_aaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_aaa(nil, X1193, node(X1194, nil, nil))
tappendc217_in_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_in_aaa(T569, X1193, X1194))
tappendc217_in_aaa(nil, nil, node(nil, nil, X1313)) → U45_aaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
U45_aaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_aaa(nil, nil, node(nil, nil, X1313))
tappendc217_in_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_aaa(T609, T610, T612, X1313, tappendc217_in_aaa(T612, X1310, X1313))
U46_aaa(T609, T610, T612, X1313, tappendc217_out_aaa(T612, X1310, X1313)) → tappendc217_out_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_out_aaa(T569, X1193, X1194)) → tappendc217_out_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U42_aaa(T448, T449, T451, X921, tappendc217_out_aaa(T451, X919, X921)) → tappendc116_out_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_aaa(T398, T396, T397, T399, X818, tappendc116_out_aaa(T398, T399, X818)) → tappendc116_out_aaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_aaaa(T234, X619, T235, X563, tappendc116_out_aaa(T234, T235, X563)) → tappendc73_out_aaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_aaaa(T642, X1504, X1430, tappendc217_in_aaa(node(nil, T642, nil), X1427, X1430))
U50_aaaa(T642, X1504, X1430, tappendc217_out_aaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
tappendc73_in_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_gaaa(T234, X619, T235, node(X563, X619, T234)) → U49_gaaa(T234, X619, T235, X563, tappendc116_in_gaa(T234, T235, X563))
tappendc116_in_gaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_gaa(nil, T243, node(nil, T243, nil))
tappendc116_in_gaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_gaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_gaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_gaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_gaa(nil, T345, node(X818, nil, nil)) → U40_gaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_gaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_gaa(nil, T345, node(X818, nil, nil))
tappendc116_in_gaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_gaa(T398, T396, T397, T399, X818, tappendc116_in_gaa(T398, T399, X818))
tappendc116_in_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_gaa(T448, T449, T451, X921, tappendc217_in_gaa(T451, X919, X921))
U42_gaa(T448, T449, T451, X921, tappendc217_out_gaa(T451, X919, X921)) → tappendc116_out_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_gaa(T398, T396, T397, T399, X818, tappendc116_out_gaa(T398, T399, X818)) → tappendc116_out_gaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_gaaa(T234, X619, T235, X563, tappendc116_out_gaa(T234, T235, X563)) → tappendc73_out_gaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_gaaa(T642, X1504, X1430, tappendc217_in_gaa(node(nil, T642, nil), X1427, X1430))
U50_gaaa(T642, X1504, X1430, tappendc217_out_gaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
TAPPEND217_IN_GAA(nil, nil, node(nil, nil, X1313)) → TAPPEND217_IN_GAA(nil, X1310, X1313)
TAPPEND217_IN_GAA(nil, X1193, node(X1194, nil, nil)) → TAPPEND217_IN_GAA(nil, X1193, X1194)
tappendc12_in_aa(T43, node(nil, T43, nil)) → tappendc12_out_aa(T43, node(nil, T43, nil))
s2tc39_in_ga(0, nil) → s2tc39_out_ga(0, nil)
s2tc39_in_ga(s(T107), node(X217, X218, X217)) → U37_ga(T107, X217, X218, s2tc39_in_ga(T107, X217))
s2tc39_in_ga(s(T115), node(nil, X257, X258)) → U38_ga(T115, X257, X258, s2tc39_in_ga(T115, X258))
s2tc39_in_ga(s(T123), node(X297, X298, nil)) → U39_ga(T123, X297, X298, s2tc39_in_ga(T123, X297))
s2tc39_in_ga(T126, node(nil, X315, nil)) → s2tc39_out_ga(T126, node(nil, X315, nil))
U39_ga(T123, X297, X298, s2tc39_out_ga(T123, X297)) → s2tc39_out_ga(s(T123), node(X297, X298, nil))
U38_ga(T115, X257, X258, s2tc39_out_ga(T115, X258)) → s2tc39_out_ga(s(T115), node(nil, X257, X258))
U37_ga(T107, X217, X218, s2tc39_out_ga(T107, X217)) → s2tc39_out_ga(s(T107), node(X217, X218, X217))
tappendc73_in_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_aaaa(T234, X619, T235, node(X563, X619, T234)) → U49_aaaa(T234, X619, T235, X563, tappendc116_in_aaa(T234, T235, X563))
tappendc116_in_aaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_aaa(nil, T243, node(nil, T243, nil))
tappendc116_in_aaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_aaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_aaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_aaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_aaa(nil, T345, node(X818, nil, nil)) → U40_aaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_aaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_aaa(nil, T345, node(X818, nil, nil))
tappendc116_in_aaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_aaa(T398, T396, T397, T399, X818, tappendc116_in_aaa(T398, T399, X818))
tappendc116_in_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_aaa(T448, T449, T451, X921, tappendc217_in_aaa(T451, X919, X921))
tappendc217_in_aaa(nil, X995, X995) → tappendc217_out_aaa(nil, X995, X995)
tappendc217_in_aaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_aaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_aaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_aaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_aaa(nil, X1193, node(X1194, nil, nil)) → U43_aaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(nil, X995, X995) → tappendc217_out_gaa(nil, X995, X995)
tappendc217_in_gaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_gaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_gaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_gaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_gaa(nil, X1193, node(X1194, nil, nil)) → U43_gaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_in_gaa(T569, X1193, X1194))
tappendc217_in_gaa(nil, nil, node(nil, nil, X1313)) → U45_gaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
tappendc217_in_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_gaa(T609, T610, T612, X1313, tappendc217_in_gaa(T612, X1310, X1313))
U46_gaa(T609, T610, T612, X1313, tappendc217_out_gaa(T612, X1310, X1313)) → tappendc217_out_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U45_gaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_gaa(nil, nil, node(nil, nil, X1313))
U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_out_gaa(T569, X1193, X1194)) → tappendc217_out_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U43_gaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_gaa(nil, X1193, node(X1194, nil, nil))
U43_aaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_aaa(nil, X1193, node(X1194, nil, nil))
tappendc217_in_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_in_aaa(T569, X1193, X1194))
tappendc217_in_aaa(nil, nil, node(nil, nil, X1313)) → U45_aaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
U45_aaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_aaa(nil, nil, node(nil, nil, X1313))
tappendc217_in_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_aaa(T609, T610, T612, X1313, tappendc217_in_aaa(T612, X1310, X1313))
U46_aaa(T609, T610, T612, X1313, tappendc217_out_aaa(T612, X1310, X1313)) → tappendc217_out_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_out_aaa(T569, X1193, X1194)) → tappendc217_out_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U42_aaa(T448, T449, T451, X921, tappendc217_out_aaa(T451, X919, X921)) → tappendc116_out_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_aaa(T398, T396, T397, T399, X818, tappendc116_out_aaa(T398, T399, X818)) → tappendc116_out_aaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_aaaa(T234, X619, T235, X563, tappendc116_out_aaa(T234, T235, X563)) → tappendc73_out_aaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_aaaa(T642, X1504, X1430, tappendc217_in_aaa(node(nil, T642, nil), X1427, X1430))
U50_aaaa(T642, X1504, X1430, tappendc217_out_aaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
tappendc73_in_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_gaaa(T234, X619, T235, node(X563, X619, T234)) → U49_gaaa(T234, X619, T235, X563, tappendc116_in_gaa(T234, T235, X563))
tappendc116_in_gaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_gaa(nil, T243, node(nil, T243, nil))
tappendc116_in_gaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_gaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_gaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_gaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_gaa(nil, T345, node(X818, nil, nil)) → U40_gaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_gaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_gaa(nil, T345, node(X818, nil, nil))
tappendc116_in_gaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_gaa(T398, T396, T397, T399, X818, tappendc116_in_gaa(T398, T399, X818))
tappendc116_in_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_gaa(T448, T449, T451, X921, tappendc217_in_gaa(T451, X919, X921))
U42_gaa(T448, T449, T451, X921, tappendc217_out_gaa(T451, X919, X921)) → tappendc116_out_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_gaa(T398, T396, T397, T399, X818, tappendc116_out_gaa(T398, T399, X818)) → tappendc116_out_gaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_gaaa(T234, X619, T235, X563, tappendc116_out_gaa(T234, T235, X563)) → tappendc73_out_gaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_gaaa(T642, X1504, X1430, tappendc217_in_gaa(node(nil, T642, nil), X1427, X1430))
U50_gaaa(T642, X1504, X1430, tappendc217_out_gaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
TAPPEND217_IN_GAA(nil, nil, node(nil, nil, X1313)) → TAPPEND217_IN_GAA(nil, X1310, X1313)
TAPPEND217_IN_GAA(nil, X1193, node(X1194, nil, nil)) → TAPPEND217_IN_GAA(nil, X1193, X1194)
TAPPEND217_IN_GAA(nil) → TAPPEND217_IN_GAA(nil)
TAPPEND217_IN_GAA(node(T609, T610, T612), T609, node(T609, T610, X1313)) → TAPPEND217_IN_GAA(T612, X1310, X1313)
TAPPEND217_IN_GAA(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → TAPPEND217_IN_GAA(T569, X1193, X1194)
tappendc12_in_aa(T43, node(nil, T43, nil)) → tappendc12_out_aa(T43, node(nil, T43, nil))
s2tc39_in_ga(0, nil) → s2tc39_out_ga(0, nil)
s2tc39_in_ga(s(T107), node(X217, X218, X217)) → U37_ga(T107, X217, X218, s2tc39_in_ga(T107, X217))
s2tc39_in_ga(s(T115), node(nil, X257, X258)) → U38_ga(T115, X257, X258, s2tc39_in_ga(T115, X258))
s2tc39_in_ga(s(T123), node(X297, X298, nil)) → U39_ga(T123, X297, X298, s2tc39_in_ga(T123, X297))
s2tc39_in_ga(T126, node(nil, X315, nil)) → s2tc39_out_ga(T126, node(nil, X315, nil))
U39_ga(T123, X297, X298, s2tc39_out_ga(T123, X297)) → s2tc39_out_ga(s(T123), node(X297, X298, nil))
U38_ga(T115, X257, X258, s2tc39_out_ga(T115, X258)) → s2tc39_out_ga(s(T115), node(nil, X257, X258))
U37_ga(T107, X217, X218, s2tc39_out_ga(T107, X217)) → s2tc39_out_ga(s(T107), node(X217, X218, X217))
tappendc73_in_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_aaaa(T234, X619, T235, node(X563, X619, T234)) → U49_aaaa(T234, X619, T235, X563, tappendc116_in_aaa(T234, T235, X563))
tappendc116_in_aaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_aaa(nil, T243, node(nil, T243, nil))
tappendc116_in_aaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_aaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_aaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_aaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_aaa(nil, T345, node(X818, nil, nil)) → U40_aaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_aaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_aaa(nil, T345, node(X818, nil, nil))
tappendc116_in_aaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_aaa(T398, T396, T397, T399, X818, tappendc116_in_aaa(T398, T399, X818))
tappendc116_in_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_aaa(T448, T449, T451, X921, tappendc217_in_aaa(T451, X919, X921))
tappendc217_in_aaa(nil, X995, X995) → tappendc217_out_aaa(nil, X995, X995)
tappendc217_in_aaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_aaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_aaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_aaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_aaa(nil, X1193, node(X1194, nil, nil)) → U43_aaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(nil, X995, X995) → tappendc217_out_gaa(nil, X995, X995)
tappendc217_in_gaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_gaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_gaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_gaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_gaa(nil, X1193, node(X1194, nil, nil)) → U43_gaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_in_gaa(T569, X1193, X1194))
tappendc217_in_gaa(nil, nil, node(nil, nil, X1313)) → U45_gaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
tappendc217_in_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_gaa(T609, T610, T612, X1313, tappendc217_in_gaa(T612, X1310, X1313))
U46_gaa(T609, T610, T612, X1313, tappendc217_out_gaa(T612, X1310, X1313)) → tappendc217_out_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U45_gaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_gaa(nil, nil, node(nil, nil, X1313))
U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_out_gaa(T569, X1193, X1194)) → tappendc217_out_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U43_gaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_gaa(nil, X1193, node(X1194, nil, nil))
U43_aaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_aaa(nil, X1193, node(X1194, nil, nil))
tappendc217_in_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_in_aaa(T569, X1193, X1194))
tappendc217_in_aaa(nil, nil, node(nil, nil, X1313)) → U45_aaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
U45_aaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_aaa(nil, nil, node(nil, nil, X1313))
tappendc217_in_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_aaa(T609, T610, T612, X1313, tappendc217_in_aaa(T612, X1310, X1313))
U46_aaa(T609, T610, T612, X1313, tappendc217_out_aaa(T612, X1310, X1313)) → tappendc217_out_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_out_aaa(T569, X1193, X1194)) → tappendc217_out_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U42_aaa(T448, T449, T451, X921, tappendc217_out_aaa(T451, X919, X921)) → tappendc116_out_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_aaa(T398, T396, T397, T399, X818, tappendc116_out_aaa(T398, T399, X818)) → tappendc116_out_aaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_aaaa(T234, X619, T235, X563, tappendc116_out_aaa(T234, T235, X563)) → tappendc73_out_aaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_aaaa(T642, X1504, X1430, tappendc217_in_aaa(node(nil, T642, nil), X1427, X1430))
U50_aaaa(T642, X1504, X1430, tappendc217_out_aaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
tappendc73_in_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_gaaa(T234, X619, T235, node(X563, X619, T234)) → U49_gaaa(T234, X619, T235, X563, tappendc116_in_gaa(T234, T235, X563))
tappendc116_in_gaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_gaa(nil, T243, node(nil, T243, nil))
tappendc116_in_gaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_gaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_gaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_gaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_gaa(nil, T345, node(X818, nil, nil)) → U40_gaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_gaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_gaa(nil, T345, node(X818, nil, nil))
tappendc116_in_gaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_gaa(T398, T396, T397, T399, X818, tappendc116_in_gaa(T398, T399, X818))
tappendc116_in_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_gaa(T448, T449, T451, X921, tappendc217_in_gaa(T451, X919, X921))
U42_gaa(T448, T449, T451, X921, tappendc217_out_gaa(T451, X919, X921)) → tappendc116_out_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_gaa(T398, T396, T397, T399, X818, tappendc116_out_gaa(T398, T399, X818)) → tappendc116_out_gaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_gaaa(T234, X619, T235, X563, tappendc116_out_gaa(T234, T235, X563)) → tappendc73_out_gaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_gaaa(T642, X1504, X1430, tappendc217_in_gaa(node(nil, T642, nil), X1427, X1430))
U50_gaaa(T642, X1504, X1430, tappendc217_out_gaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
TAPPEND217_IN_GAA(node(T609, T610, T612), T609, node(T609, T610, X1313)) → TAPPEND217_IN_GAA(T612, X1310, X1313)
TAPPEND217_IN_GAA(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → TAPPEND217_IN_GAA(T569, X1193, X1194)
TAPPEND217_IN_GAA(node(T609, T610, T612)) → TAPPEND217_IN_GAA(T612)
TAPPEND217_IN_GAA(node(T569, T567, T568)) → TAPPEND217_IN_GAA(T569)
From the DPs we obtained the following set of size-change graphs:
TAPPEND116_IN_GAA(node(T398, T396, T397), T399, node(X818, T396, T397)) → TAPPEND116_IN_GAA(T398, T399, X818)
tappendc12_in_aa(T43, node(nil, T43, nil)) → tappendc12_out_aa(T43, node(nil, T43, nil))
s2tc39_in_ga(0, nil) → s2tc39_out_ga(0, nil)
s2tc39_in_ga(s(T107), node(X217, X218, X217)) → U37_ga(T107, X217, X218, s2tc39_in_ga(T107, X217))
s2tc39_in_ga(s(T115), node(nil, X257, X258)) → U38_ga(T115, X257, X258, s2tc39_in_ga(T115, X258))
s2tc39_in_ga(s(T123), node(X297, X298, nil)) → U39_ga(T123, X297, X298, s2tc39_in_ga(T123, X297))
s2tc39_in_ga(T126, node(nil, X315, nil)) → s2tc39_out_ga(T126, node(nil, X315, nil))
U39_ga(T123, X297, X298, s2tc39_out_ga(T123, X297)) → s2tc39_out_ga(s(T123), node(X297, X298, nil))
U38_ga(T115, X257, X258, s2tc39_out_ga(T115, X258)) → s2tc39_out_ga(s(T115), node(nil, X257, X258))
U37_ga(T107, X217, X218, s2tc39_out_ga(T107, X217)) → s2tc39_out_ga(s(T107), node(X217, X218, X217))
tappendc73_in_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_aaaa(T234, X619, T235, node(X563, X619, T234)) → U49_aaaa(T234, X619, T235, X563, tappendc116_in_aaa(T234, T235, X563))
tappendc116_in_aaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_aaa(nil, T243, node(nil, T243, nil))
tappendc116_in_aaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_aaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_aaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_aaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_aaa(nil, T345, node(X818, nil, nil)) → U40_aaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_aaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_aaa(nil, T345, node(X818, nil, nil))
tappendc116_in_aaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_aaa(T398, T396, T397, T399, X818, tappendc116_in_aaa(T398, T399, X818))
tappendc116_in_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_aaa(T448, T449, T451, X921, tappendc217_in_aaa(T451, X919, X921))
tappendc217_in_aaa(nil, X995, X995) → tappendc217_out_aaa(nil, X995, X995)
tappendc217_in_aaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_aaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_aaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_aaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_aaa(nil, X1193, node(X1194, nil, nil)) → U43_aaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(nil, X995, X995) → tappendc217_out_gaa(nil, X995, X995)
tappendc217_in_gaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_gaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_gaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_gaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_gaa(nil, X1193, node(X1194, nil, nil)) → U43_gaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_in_gaa(T569, X1193, X1194))
tappendc217_in_gaa(nil, nil, node(nil, nil, X1313)) → U45_gaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
tappendc217_in_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_gaa(T609, T610, T612, X1313, tappendc217_in_gaa(T612, X1310, X1313))
U46_gaa(T609, T610, T612, X1313, tappendc217_out_gaa(T612, X1310, X1313)) → tappendc217_out_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U45_gaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_gaa(nil, nil, node(nil, nil, X1313))
U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_out_gaa(T569, X1193, X1194)) → tappendc217_out_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U43_gaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_gaa(nil, X1193, node(X1194, nil, nil))
U43_aaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_aaa(nil, X1193, node(X1194, nil, nil))
tappendc217_in_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_in_aaa(T569, X1193, X1194))
tappendc217_in_aaa(nil, nil, node(nil, nil, X1313)) → U45_aaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
U45_aaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_aaa(nil, nil, node(nil, nil, X1313))
tappendc217_in_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_aaa(T609, T610, T612, X1313, tappendc217_in_aaa(T612, X1310, X1313))
U46_aaa(T609, T610, T612, X1313, tappendc217_out_aaa(T612, X1310, X1313)) → tappendc217_out_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_out_aaa(T569, X1193, X1194)) → tappendc217_out_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U42_aaa(T448, T449, T451, X921, tappendc217_out_aaa(T451, X919, X921)) → tappendc116_out_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_aaa(T398, T396, T397, T399, X818, tappendc116_out_aaa(T398, T399, X818)) → tappendc116_out_aaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_aaaa(T234, X619, T235, X563, tappendc116_out_aaa(T234, T235, X563)) → tappendc73_out_aaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_aaaa(T642, X1504, X1430, tappendc217_in_aaa(node(nil, T642, nil), X1427, X1430))
U50_aaaa(T642, X1504, X1430, tappendc217_out_aaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
tappendc73_in_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_gaaa(T234, X619, T235, node(X563, X619, T234)) → U49_gaaa(T234, X619, T235, X563, tappendc116_in_gaa(T234, T235, X563))
tappendc116_in_gaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_gaa(nil, T243, node(nil, T243, nil))
tappendc116_in_gaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_gaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_gaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_gaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_gaa(nil, T345, node(X818, nil, nil)) → U40_gaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_gaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_gaa(nil, T345, node(X818, nil, nil))
tappendc116_in_gaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_gaa(T398, T396, T397, T399, X818, tappendc116_in_gaa(T398, T399, X818))
tappendc116_in_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_gaa(T448, T449, T451, X921, tappendc217_in_gaa(T451, X919, X921))
U42_gaa(T448, T449, T451, X921, tappendc217_out_gaa(T451, X919, X921)) → tappendc116_out_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_gaa(T398, T396, T397, T399, X818, tappendc116_out_gaa(T398, T399, X818)) → tappendc116_out_gaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_gaaa(T234, X619, T235, X563, tappendc116_out_gaa(T234, T235, X563)) → tappendc73_out_gaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_gaaa(T642, X1504, X1430, tappendc217_in_gaa(node(nil, T642, nil), X1427, X1430))
U50_gaaa(T642, X1504, X1430, tappendc217_out_gaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
TAPPEND116_IN_GAA(node(T398, T396, T397), T399, node(X818, T396, T397)) → TAPPEND116_IN_GAA(T398, T399, X818)
TAPPEND116_IN_GAA(node(T398, T396, T397)) → TAPPEND116_IN_GAA(T398)
From the DPs we obtained the following set of size-change graphs:
TAPPEND217_IN_AAA(node(T609, T610, T612), T609, node(T609, T610, X1313)) → TAPPEND217_IN_AAA(T612, X1310, X1313)
TAPPEND217_IN_AAA(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → TAPPEND217_IN_AAA(T569, X1193, X1194)
tappendc12_in_aa(T43, node(nil, T43, nil)) → tappendc12_out_aa(T43, node(nil, T43, nil))
s2tc39_in_ga(0, nil) → s2tc39_out_ga(0, nil)
s2tc39_in_ga(s(T107), node(X217, X218, X217)) → U37_ga(T107, X217, X218, s2tc39_in_ga(T107, X217))
s2tc39_in_ga(s(T115), node(nil, X257, X258)) → U38_ga(T115, X257, X258, s2tc39_in_ga(T115, X258))
s2tc39_in_ga(s(T123), node(X297, X298, nil)) → U39_ga(T123, X297, X298, s2tc39_in_ga(T123, X297))
s2tc39_in_ga(T126, node(nil, X315, nil)) → s2tc39_out_ga(T126, node(nil, X315, nil))
U39_ga(T123, X297, X298, s2tc39_out_ga(T123, X297)) → s2tc39_out_ga(s(T123), node(X297, X298, nil))
U38_ga(T115, X257, X258, s2tc39_out_ga(T115, X258)) → s2tc39_out_ga(s(T115), node(nil, X257, X258))
U37_ga(T107, X217, X218, s2tc39_out_ga(T107, X217)) → s2tc39_out_ga(s(T107), node(X217, X218, X217))
tappendc73_in_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_aaaa(T234, X619, T235, node(X563, X619, T234)) → U49_aaaa(T234, X619, T235, X563, tappendc116_in_aaa(T234, T235, X563))
tappendc116_in_aaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_aaa(nil, T243, node(nil, T243, nil))
tappendc116_in_aaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_aaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_aaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_aaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_aaa(nil, T345, node(X818, nil, nil)) → U40_aaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_aaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_aaa(nil, T345, node(X818, nil, nil))
tappendc116_in_aaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_aaa(T398, T396, T397, T399, X818, tappendc116_in_aaa(T398, T399, X818))
tappendc116_in_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_aaa(T448, T449, T451, X921, tappendc217_in_aaa(T451, X919, X921))
tappendc217_in_aaa(nil, X995, X995) → tappendc217_out_aaa(nil, X995, X995)
tappendc217_in_aaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_aaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_aaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_aaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_aaa(nil, X1193, node(X1194, nil, nil)) → U43_aaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(nil, X995, X995) → tappendc217_out_gaa(nil, X995, X995)
tappendc217_in_gaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_gaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_gaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_gaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_gaa(nil, X1193, node(X1194, nil, nil)) → U43_gaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_in_gaa(T569, X1193, X1194))
tappendc217_in_gaa(nil, nil, node(nil, nil, X1313)) → U45_gaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
tappendc217_in_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_gaa(T609, T610, T612, X1313, tappendc217_in_gaa(T612, X1310, X1313))
U46_gaa(T609, T610, T612, X1313, tappendc217_out_gaa(T612, X1310, X1313)) → tappendc217_out_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U45_gaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_gaa(nil, nil, node(nil, nil, X1313))
U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_out_gaa(T569, X1193, X1194)) → tappendc217_out_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U43_gaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_gaa(nil, X1193, node(X1194, nil, nil))
U43_aaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_aaa(nil, X1193, node(X1194, nil, nil))
tappendc217_in_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_in_aaa(T569, X1193, X1194))
tappendc217_in_aaa(nil, nil, node(nil, nil, X1313)) → U45_aaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
U45_aaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_aaa(nil, nil, node(nil, nil, X1313))
tappendc217_in_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_aaa(T609, T610, T612, X1313, tappendc217_in_aaa(T612, X1310, X1313))
U46_aaa(T609, T610, T612, X1313, tappendc217_out_aaa(T612, X1310, X1313)) → tappendc217_out_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_out_aaa(T569, X1193, X1194)) → tappendc217_out_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U42_aaa(T448, T449, T451, X921, tappendc217_out_aaa(T451, X919, X921)) → tappendc116_out_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_aaa(T398, T396, T397, T399, X818, tappendc116_out_aaa(T398, T399, X818)) → tappendc116_out_aaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_aaaa(T234, X619, T235, X563, tappendc116_out_aaa(T234, T235, X563)) → tappendc73_out_aaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_aaaa(T642, X1504, X1430, tappendc217_in_aaa(node(nil, T642, nil), X1427, X1430))
U50_aaaa(T642, X1504, X1430, tappendc217_out_aaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
tappendc73_in_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_gaaa(T234, X619, T235, node(X563, X619, T234)) → U49_gaaa(T234, X619, T235, X563, tappendc116_in_gaa(T234, T235, X563))
tappendc116_in_gaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_gaa(nil, T243, node(nil, T243, nil))
tappendc116_in_gaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_gaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_gaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_gaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_gaa(nil, T345, node(X818, nil, nil)) → U40_gaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_gaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_gaa(nil, T345, node(X818, nil, nil))
tappendc116_in_gaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_gaa(T398, T396, T397, T399, X818, tappendc116_in_gaa(T398, T399, X818))
tappendc116_in_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_gaa(T448, T449, T451, X921, tappendc217_in_gaa(T451, X919, X921))
U42_gaa(T448, T449, T451, X921, tappendc217_out_gaa(T451, X919, X921)) → tappendc116_out_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_gaa(T398, T396, T397, T399, X818, tappendc116_out_gaa(T398, T399, X818)) → tappendc116_out_gaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_gaaa(T234, X619, T235, X563, tappendc116_out_gaa(T234, T235, X563)) → tappendc73_out_gaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_gaaa(T642, X1504, X1430, tappendc217_in_gaa(node(nil, T642, nil), X1427, X1430))
U50_gaaa(T642, X1504, X1430, tappendc217_out_gaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
TAPPEND217_IN_AAA(node(T609, T610, T612), T609, node(T609, T610, X1313)) → TAPPEND217_IN_AAA(T612, X1310, X1313)
TAPPEND217_IN_AAA(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → TAPPEND217_IN_AAA(T569, X1193, X1194)
TAPPEND217_IN_AAA → TAPPEND217_IN_AAA
TAPPEND116_IN_AAA(node(T398, T396, T397), T399, node(X818, T396, T397)) → TAPPEND116_IN_AAA(T398, T399, X818)
tappendc12_in_aa(T43, node(nil, T43, nil)) → tappendc12_out_aa(T43, node(nil, T43, nil))
s2tc39_in_ga(0, nil) → s2tc39_out_ga(0, nil)
s2tc39_in_ga(s(T107), node(X217, X218, X217)) → U37_ga(T107, X217, X218, s2tc39_in_ga(T107, X217))
s2tc39_in_ga(s(T115), node(nil, X257, X258)) → U38_ga(T115, X257, X258, s2tc39_in_ga(T115, X258))
s2tc39_in_ga(s(T123), node(X297, X298, nil)) → U39_ga(T123, X297, X298, s2tc39_in_ga(T123, X297))
s2tc39_in_ga(T126, node(nil, X315, nil)) → s2tc39_out_ga(T126, node(nil, X315, nil))
U39_ga(T123, X297, X298, s2tc39_out_ga(T123, X297)) → s2tc39_out_ga(s(T123), node(X297, X298, nil))
U38_ga(T115, X257, X258, s2tc39_out_ga(T115, X258)) → s2tc39_out_ga(s(T115), node(nil, X257, X258))
U37_ga(T107, X217, X218, s2tc39_out_ga(T107, X217)) → s2tc39_out_ga(s(T107), node(X217, X218, X217))
tappendc73_in_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_aaaa(T234, X619, T235, node(X563, X619, T234)) → U49_aaaa(T234, X619, T235, X563, tappendc116_in_aaa(T234, T235, X563))
tappendc116_in_aaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_aaa(nil, T243, node(nil, T243, nil))
tappendc116_in_aaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_aaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_aaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_aaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_aaa(nil, T345, node(X818, nil, nil)) → U40_aaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_aaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_aaa(nil, T345, node(X818, nil, nil))
tappendc116_in_aaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_aaa(T398, T396, T397, T399, X818, tappendc116_in_aaa(T398, T399, X818))
tappendc116_in_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_aaa(T448, T449, T451, X921, tappendc217_in_aaa(T451, X919, X921))
tappendc217_in_aaa(nil, X995, X995) → tappendc217_out_aaa(nil, X995, X995)
tappendc217_in_aaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_aaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_aaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_aaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_aaa(nil, X1193, node(X1194, nil, nil)) → U43_aaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(nil, X995, X995) → tappendc217_out_gaa(nil, X995, X995)
tappendc217_in_gaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_gaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_gaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_gaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_gaa(nil, X1193, node(X1194, nil, nil)) → U43_gaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_in_gaa(T569, X1193, X1194))
tappendc217_in_gaa(nil, nil, node(nil, nil, X1313)) → U45_gaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
tappendc217_in_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_gaa(T609, T610, T612, X1313, tappendc217_in_gaa(T612, X1310, X1313))
U46_gaa(T609, T610, T612, X1313, tappendc217_out_gaa(T612, X1310, X1313)) → tappendc217_out_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U45_gaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_gaa(nil, nil, node(nil, nil, X1313))
U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_out_gaa(T569, X1193, X1194)) → tappendc217_out_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U43_gaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_gaa(nil, X1193, node(X1194, nil, nil))
U43_aaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_aaa(nil, X1193, node(X1194, nil, nil))
tappendc217_in_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_in_aaa(T569, X1193, X1194))
tappendc217_in_aaa(nil, nil, node(nil, nil, X1313)) → U45_aaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
U45_aaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_aaa(nil, nil, node(nil, nil, X1313))
tappendc217_in_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_aaa(T609, T610, T612, X1313, tappendc217_in_aaa(T612, X1310, X1313))
U46_aaa(T609, T610, T612, X1313, tappendc217_out_aaa(T612, X1310, X1313)) → tappendc217_out_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_out_aaa(T569, X1193, X1194)) → tappendc217_out_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U42_aaa(T448, T449, T451, X921, tappendc217_out_aaa(T451, X919, X921)) → tappendc116_out_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_aaa(T398, T396, T397, T399, X818, tappendc116_out_aaa(T398, T399, X818)) → tappendc116_out_aaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_aaaa(T234, X619, T235, X563, tappendc116_out_aaa(T234, T235, X563)) → tappendc73_out_aaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_aaaa(T642, X1504, X1430, tappendc217_in_aaa(node(nil, T642, nil), X1427, X1430))
U50_aaaa(T642, X1504, X1430, tappendc217_out_aaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
tappendc73_in_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_gaaa(T234, X619, T235, node(X563, X619, T234)) → U49_gaaa(T234, X619, T235, X563, tappendc116_in_gaa(T234, T235, X563))
tappendc116_in_gaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_gaa(nil, T243, node(nil, T243, nil))
tappendc116_in_gaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_gaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_gaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_gaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_gaa(nil, T345, node(X818, nil, nil)) → U40_gaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_gaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_gaa(nil, T345, node(X818, nil, nil))
tappendc116_in_gaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_gaa(T398, T396, T397, T399, X818, tappendc116_in_gaa(T398, T399, X818))
tappendc116_in_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_gaa(T448, T449, T451, X921, tappendc217_in_gaa(T451, X919, X921))
U42_gaa(T448, T449, T451, X921, tappendc217_out_gaa(T451, X919, X921)) → tappendc116_out_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_gaa(T398, T396, T397, T399, X818, tappendc116_out_gaa(T398, T399, X818)) → tappendc116_out_gaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_gaaa(T234, X619, T235, X563, tappendc116_out_gaa(T234, T235, X563)) → tappendc73_out_gaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_gaaa(T642, X1504, X1430, tappendc217_in_gaa(node(nil, T642, nil), X1427, X1430))
U50_gaaa(T642, X1504, X1430, tappendc217_out_gaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
TAPPEND116_IN_AAA(node(T398, T396, T397), T399, node(X818, T396, T397)) → TAPPEND116_IN_AAA(T398, T399, X818)
TAPPEND116_IN_AAA → TAPPEND116_IN_AAA
S2T39_IN_GA(s(T115), node(nil, X257, X258)) → S2T39_IN_GA(T115, X258)
S2T39_IN_GA(s(T107), node(X217, X218, X217)) → S2T39_IN_GA(T107, X217)
S2T39_IN_GA(s(T123), node(X297, X298, nil)) → S2T39_IN_GA(T123, X297)
tappendc12_in_aa(T43, node(nil, T43, nil)) → tappendc12_out_aa(T43, node(nil, T43, nil))
s2tc39_in_ga(0, nil) → s2tc39_out_ga(0, nil)
s2tc39_in_ga(s(T107), node(X217, X218, X217)) → U37_ga(T107, X217, X218, s2tc39_in_ga(T107, X217))
s2tc39_in_ga(s(T115), node(nil, X257, X258)) → U38_ga(T115, X257, X258, s2tc39_in_ga(T115, X258))
s2tc39_in_ga(s(T123), node(X297, X298, nil)) → U39_ga(T123, X297, X298, s2tc39_in_ga(T123, X297))
s2tc39_in_ga(T126, node(nil, X315, nil)) → s2tc39_out_ga(T126, node(nil, X315, nil))
U39_ga(T123, X297, X298, s2tc39_out_ga(T123, X297)) → s2tc39_out_ga(s(T123), node(X297, X298, nil))
U38_ga(T115, X257, X258, s2tc39_out_ga(T115, X258)) → s2tc39_out_ga(s(T115), node(nil, X257, X258))
U37_ga(T107, X217, X218, s2tc39_out_ga(T107, X217)) → s2tc39_out_ga(s(T107), node(X217, X218, X217))
tappendc73_in_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_aaaa(T234, X619, T235, node(X563, X619, T234)) → U49_aaaa(T234, X619, T235, X563, tappendc116_in_aaa(T234, T235, X563))
tappendc116_in_aaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_aaa(nil, T243, node(nil, T243, nil))
tappendc116_in_aaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_aaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_aaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_aaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_aaa(nil, T345, node(X818, nil, nil)) → U40_aaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_aaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_aaa(nil, T345, node(X818, nil, nil))
tappendc116_in_aaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_aaa(T398, T396, T397, T399, X818, tappendc116_in_aaa(T398, T399, X818))
tappendc116_in_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_aaa(T448, T449, T451, X921, tappendc217_in_aaa(T451, X919, X921))
tappendc217_in_aaa(nil, X995, X995) → tappendc217_out_aaa(nil, X995, X995)
tappendc217_in_aaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_aaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_aaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_aaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_aaa(nil, X1193, node(X1194, nil, nil)) → U43_aaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(nil, X995, X995) → tappendc217_out_gaa(nil, X995, X995)
tappendc217_in_gaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_gaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_gaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_gaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_gaa(nil, X1193, node(X1194, nil, nil)) → U43_gaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_in_gaa(T569, X1193, X1194))
tappendc217_in_gaa(nil, nil, node(nil, nil, X1313)) → U45_gaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
tappendc217_in_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_gaa(T609, T610, T612, X1313, tappendc217_in_gaa(T612, X1310, X1313))
U46_gaa(T609, T610, T612, X1313, tappendc217_out_gaa(T612, X1310, X1313)) → tappendc217_out_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U45_gaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_gaa(nil, nil, node(nil, nil, X1313))
U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_out_gaa(T569, X1193, X1194)) → tappendc217_out_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U43_gaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_gaa(nil, X1193, node(X1194, nil, nil))
U43_aaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_aaa(nil, X1193, node(X1194, nil, nil))
tappendc217_in_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_in_aaa(T569, X1193, X1194))
tappendc217_in_aaa(nil, nil, node(nil, nil, X1313)) → U45_aaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
U45_aaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_aaa(nil, nil, node(nil, nil, X1313))
tappendc217_in_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_aaa(T609, T610, T612, X1313, tappendc217_in_aaa(T612, X1310, X1313))
U46_aaa(T609, T610, T612, X1313, tappendc217_out_aaa(T612, X1310, X1313)) → tappendc217_out_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_out_aaa(T569, X1193, X1194)) → tappendc217_out_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U42_aaa(T448, T449, T451, X921, tappendc217_out_aaa(T451, X919, X921)) → tappendc116_out_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_aaa(T398, T396, T397, T399, X818, tappendc116_out_aaa(T398, T399, X818)) → tappendc116_out_aaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_aaaa(T234, X619, T235, X563, tappendc116_out_aaa(T234, T235, X563)) → tappendc73_out_aaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_aaaa(T642, X1504, X1430, tappendc217_in_aaa(node(nil, T642, nil), X1427, X1430))
U50_aaaa(T642, X1504, X1430, tappendc217_out_aaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
tappendc73_in_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_gaaa(T234, X619, T235, node(X563, X619, T234)) → U49_gaaa(T234, X619, T235, X563, tappendc116_in_gaa(T234, T235, X563))
tappendc116_in_gaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_gaa(nil, T243, node(nil, T243, nil))
tappendc116_in_gaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_gaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_gaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_gaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_gaa(nil, T345, node(X818, nil, nil)) → U40_gaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_gaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_gaa(nil, T345, node(X818, nil, nil))
tappendc116_in_gaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_gaa(T398, T396, T397, T399, X818, tappendc116_in_gaa(T398, T399, X818))
tappendc116_in_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_gaa(T448, T449, T451, X921, tappendc217_in_gaa(T451, X919, X921))
U42_gaa(T448, T449, T451, X921, tappendc217_out_gaa(T451, X919, X921)) → tappendc116_out_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_gaa(T398, T396, T397, T399, X818, tappendc116_out_gaa(T398, T399, X818)) → tappendc116_out_gaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_gaaa(T234, X619, T235, X563, tappendc116_out_gaa(T234, T235, X563)) → tappendc73_out_gaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_gaaa(T642, X1504, X1430, tappendc217_in_gaa(node(nil, T642, nil), X1427, X1430))
U50_gaaa(T642, X1504, X1430, tappendc217_out_gaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
S2T39_IN_GA(s(T115), node(nil, X257, X258)) → S2T39_IN_GA(T115, X258)
S2T39_IN_GA(s(T107), node(X217, X218, X217)) → S2T39_IN_GA(T107, X217)
S2T39_IN_GA(s(T123), node(X297, X298, nil)) → S2T39_IN_GA(T123, X297)
S2T39_IN_GA(s(T115)) → S2T39_IN_GA(T115)
From the DPs we obtained the following set of size-change graphs:
TLAST13_IN_AA(T87, node(T84, T85, T88)) → TLAST13_IN_AA(T87, T88)
TLAST13_IN_AA(T71, node(T72, T69, T70)) → TLAST13_IN_AA(T71, T72)
tappendc12_in_aa(T43, node(nil, T43, nil)) → tappendc12_out_aa(T43, node(nil, T43, nil))
s2tc39_in_ga(0, nil) → s2tc39_out_ga(0, nil)
s2tc39_in_ga(s(T107), node(X217, X218, X217)) → U37_ga(T107, X217, X218, s2tc39_in_ga(T107, X217))
s2tc39_in_ga(s(T115), node(nil, X257, X258)) → U38_ga(T115, X257, X258, s2tc39_in_ga(T115, X258))
s2tc39_in_ga(s(T123), node(X297, X298, nil)) → U39_ga(T123, X297, X298, s2tc39_in_ga(T123, X297))
s2tc39_in_ga(T126, node(nil, X315, nil)) → s2tc39_out_ga(T126, node(nil, X315, nil))
U39_ga(T123, X297, X298, s2tc39_out_ga(T123, X297)) → s2tc39_out_ga(s(T123), node(X297, X298, nil))
U38_ga(T115, X257, X258, s2tc39_out_ga(T115, X258)) → s2tc39_out_ga(s(T115), node(nil, X257, X258))
U37_ga(T107, X217, X218, s2tc39_out_ga(T107, X217)) → s2tc39_out_ga(s(T107), node(X217, X218, X217))
tappendc73_in_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_aaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_aaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_aaaa(T234, X619, T235, node(X563, X619, T234)) → U49_aaaa(T234, X619, T235, X563, tappendc116_in_aaa(T234, T235, X563))
tappendc116_in_aaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_aaa(nil, T243, node(nil, T243, nil))
tappendc116_in_aaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_aaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_aaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_aaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_aaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_aaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_aaa(nil, T345, node(X818, nil, nil)) → U40_aaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_aaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_aaa(nil, T345, node(X818, nil, nil))
tappendc116_in_aaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_aaa(T398, T396, T397, T399, X818, tappendc116_in_aaa(T398, T399, X818))
tappendc116_in_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_aaa(T448, T449, T451, X921, tappendc217_in_aaa(T451, X919, X921))
tappendc217_in_aaa(nil, X995, X995) → tappendc217_out_aaa(nil, X995, X995)
tappendc217_in_aaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_aaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_aaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_aaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_aaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_aaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_aaa(nil, X1193, node(X1194, nil, nil)) → U43_aaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(nil, X995, X995) → tappendc217_out_gaa(nil, X995, X995)
tappendc217_in_gaa(nil, X1028, node(X1028, nil, nil)) → tappendc217_out_gaa(nil, X1028, node(X1028, nil, nil))
tappendc217_in_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486)) → tappendc217_out_gaa(node(nil, T485, T486), X1028, node(X1028, T485, T486))
tappendc217_in_gaa(nil, X1099, node(nil, nil, X1099)) → tappendc217_out_gaa(nil, X1099, node(nil, nil, X1099))
tappendc217_in_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099)) → tappendc217_out_gaa(node(T522, T523, nil), X1099, node(T522, T523, X1099))
tappendc217_in_gaa(nil, X1193, node(X1194, nil, nil)) → U43_gaa(X1193, X1194, tappendc217_in_gaa(nil, X1193, X1194))
tappendc217_in_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_in_gaa(T569, X1193, X1194))
tappendc217_in_gaa(nil, nil, node(nil, nil, X1313)) → U45_gaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
tappendc217_in_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_gaa(T609, T610, T612, X1313, tappendc217_in_gaa(T612, X1310, X1313))
U46_gaa(T609, T610, T612, X1313, tappendc217_out_gaa(T612, X1310, X1313)) → tappendc217_out_gaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U45_gaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_gaa(nil, nil, node(nil, nil, X1313))
U44_gaa(T569, T567, T568, X1193, X1194, tappendc217_out_gaa(T569, X1193, X1194)) → tappendc217_out_gaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U43_gaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_gaa(nil, X1193, node(X1194, nil, nil))
U43_aaa(X1193, X1194, tappendc217_out_gaa(nil, X1193, X1194)) → tappendc217_out_aaa(nil, X1193, node(X1194, nil, nil))
tappendc217_in_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568)) → U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_in_aaa(T569, X1193, X1194))
tappendc217_in_aaa(nil, nil, node(nil, nil, X1313)) → U45_aaa(X1313, tappendc217_in_gaa(nil, X1310, X1313))
U45_aaa(X1313, tappendc217_out_gaa(nil, X1310, X1313)) → tappendc217_out_aaa(nil, nil, node(nil, nil, X1313))
tappendc217_in_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313)) → U46_aaa(T609, T610, T612, X1313, tappendc217_in_aaa(T612, X1310, X1313))
U46_aaa(T609, T610, T612, X1313, tappendc217_out_aaa(T612, X1310, X1313)) → tappendc217_out_aaa(node(T609, T610, T612), T609, node(T609, T610, X1313))
U44_aaa(T569, T567, T568, X1193, X1194, tappendc217_out_aaa(T569, X1193, X1194)) → tappendc217_out_aaa(node(T569, T567, T568), X1193, node(X1194, T567, T568))
U42_aaa(T448, T449, T451, X921, tappendc217_out_aaa(T451, X919, X921)) → tappendc116_out_aaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_aaa(T398, T396, T397, T399, X818, tappendc116_out_aaa(T398, T399, X818)) → tappendc116_out_aaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_aaaa(T234, X619, T235, X563, tappendc116_out_aaa(T234, T235, X563)) → tappendc73_out_aaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_aaaa(T642, X1504, X1430, tappendc217_in_aaa(node(nil, T642, nil), X1427, X1430))
U50_aaaa(T642, X1504, X1430, tappendc217_out_aaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_aaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
tappendc73_in_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil)) → tappendc73_out_gaaa(nil, X437, T165, node(node(nil, T165, nil), X437, nil))
tappendc73_in_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil))) → tappendc73_out_gaaa(nil, X511, T181, node(nil, X511, node(nil, T181, nil)))
tappendc73_in_gaaa(T234, X619, T235, node(X563, X619, T234)) → U49_gaaa(T234, X619, T235, X563, tappendc116_in_gaa(T234, T235, X563))
tappendc116_in_gaa(nil, T243, node(nil, T243, nil)) → tappendc116_out_gaa(nil, T243, node(nil, T243, nil))
tappendc116_in_gaa(nil, T255, node(node(nil, T255, nil), nil, nil)) → tappendc116_out_gaa(nil, T255, node(node(nil, T255, nil), nil, nil))
tappendc116_in_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283)) → tappendc116_out_gaa(node(nil, T282, T283), T255, node(node(nil, T255, nil), T282, T283))
tappendc116_in_gaa(nil, T295, node(nil, nil, node(nil, T295, nil))) → tappendc116_out_gaa(nil, T295, node(nil, nil, node(nil, T295, nil)))
tappendc116_in_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil))) → tappendc116_out_gaa(node(T324, T325, nil), T295, node(T324, T325, node(nil, T295, nil)))
tappendc116_in_gaa(nil, T345, node(X818, nil, nil)) → U40_gaa(T345, X818, tappendc12_in_aa(T345, X818))
U40_gaa(T345, X818, tappendc12_out_aa(T345, X818)) → tappendc116_out_gaa(nil, T345, node(X818, nil, nil))
tappendc116_in_gaa(node(T398, T396, T397), T399, node(X818, T396, T397)) → U41_gaa(T398, T396, T397, T399, X818, tappendc116_in_gaa(T398, T399, X818))
tappendc116_in_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921)) → U42_gaa(T448, T449, T451, X921, tappendc217_in_gaa(T451, X919, X921))
U42_gaa(T448, T449, T451, X921, tappendc217_out_gaa(T451, X919, X921)) → tappendc116_out_gaa(node(node(nil, T448, nil), T449, T451), T448, node(node(nil, T448, nil), T449, X921))
U41_gaa(T398, T396, T397, T399, X818, tappendc116_out_gaa(T398, T399, X818)) → tappendc116_out_gaa(node(T398, T396, T397), T399, node(X818, T396, T397))
U49_gaaa(T234, X619, T235, X563, tappendc116_out_gaa(T234, T235, X563)) → tappendc73_out_gaaa(T234, X619, T235, node(X563, X619, T234))
tappendc73_in_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430)) → U50_gaaa(T642, X1504, X1430, tappendc217_in_gaa(node(nil, T642, nil), X1427, X1430))
U50_gaaa(T642, X1504, X1430, tappendc217_out_gaa(node(nil, T642, nil), X1427, X1430)) → tappendc73_out_gaaa(node(nil, T642, nil), X1504, T642, node(node(nil, T642, nil), X1504, X1430))
TLAST13_IN_AA(T87, node(T84, T85, T88)) → TLAST13_IN_AA(T87, T88)
TLAST13_IN_AA(T71, node(T72, T69, T70)) → TLAST13_IN_AA(T71, T72)
TLAST13_IN_AA → TLAST13_IN_AA