0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇐)
↳2 Prolog
↳3 PrologToPiTRSProof (⇐)
↳4 PiTRS
↳5 DependencyPairsProof (⇔)
↳6 PiDP
↳7 DependencyGraphProof (⇔)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔)
↳11 PiDP
↳12 PiDPToQDPProof (⇐)
↳13 QDP
↳14 QDPSizeChangeProof (⇔)
↳15 TRUE
↳16 PiDP
↳17 UsableRulesProof (⇔)
↳18 PiDP
↳19 PiDPToQDPProof (⇐)
↳20 QDP
↳21 QDPSizeChangeProof (⇔)
↳22 TRUE
↳23 PiDP
↳24 UsableRulesProof (⇔)
↳25 PiDP
↳26 PiDPToQDPProof (⇐)
↳27 QDP
↳28 Narrowing (⇐)
↳29 QDP
↳30 UsableRulesProof (⇔)
↳31 QDP
↳32 QReductionProof (⇔)
↳33 QDP
↳34 Instantiation (⇔)
↳35 QDP
↳36 UsableRulesProof (⇔)
↳37 QDP
↳38 QReductionProof (⇔)
↳39 QDP
↳40 Narrowing (⇐)
↳41 QDP
↳42 UsableRulesProof (⇔)
↳43 QDP
↳44 QReductionProof (⇔)
↳45 QDP
↳46 Instantiation (⇔)
↳47 QDP
↳48 Narrowing (⇐)
↳49 QDP
↳50 DependencyGraphProof (⇔)
↳51 QDP
↳52 Narrowing (⇐)
↳53 QDP
↳54 DependencyGraphProof (⇔)
↳55 QDP
↳56 UsableRulesProof (⇔)
↳57 QDP
↳58 QReductionProof (⇔)
↳59 QDP
↳60 Instantiation (⇔)
↳61 QDP
↳62 Instantiation (⇔)
↳63 QDP
↳64 Instantiation (⇔)
↳65 QDP
↳66 Instantiation (⇔)
↳67 QDP
↳68 NonTerminationProof (⇔)
↳69 FALSE
↳70 PiDP
↳71 UsableRulesProof (⇔)
↳72 PiDP
↳73 PiDPToQDPProof (⇐)
↳74 QDP
↳75 QDPSizeChangeProof (⇔)
↳76 TRUE
↳77 PrologToPiTRSProof (⇐)
↳78 PiTRS
↳79 DependencyPairsProof (⇔)
↳80 PiDP
↳81 DependencyGraphProof (⇔)
↳82 AND
↳83 PiDP
↳84 UsableRulesProof (⇔)
↳85 PiDP
↳86 PiDPToQDPProof (⇐)
↳87 QDP
↳88 QDPSizeChangeProof (⇔)
↳89 TRUE
↳90 PiDP
↳91 UsableRulesProof (⇔)
↳92 PiDP
↳93 PiDPToQDPProof (⇐)
↳94 QDP
↳95 QDPSizeChangeProof (⇔)
↳96 TRUE
↳97 PiDP
↳98 UsableRulesProof (⇔)
↳99 PiDP
↳100 PiDPToQDPProof (⇐)
↳101 QDP
↳102 UsableRulesReductionPairsProof (⇔)
↳103 QDP
↳104 UsableRulesProof (⇔)
↳105 QDP
↳106 QReductionProof (⇔)
↳107 QDP
↳108 MRRProof (⇔)
↳109 QDP
↳110 MRRProof (⇔)
↳111 QDP
↳112 UsableRulesProof (⇔)
↳113 QDP
↳114 QReductionProof (⇔)
↳115 QDP
↳116 Narrowing (⇐)
↳117 QDP
↳118 UsableRulesProof (⇔)
↳119 QDP
↳120 QReductionProof (⇔)
↳121 QDP
↳122 Narrowing (⇐)
↳123 QDP
↳124 UsableRulesProof (⇔)
↳125 QDP
↳126 QReductionProof (⇔)
↳127 QDP
↳128 Narrowing (⇐)
↳129 QDP
↳130 UsableRulesProof (⇔)
↳131 QDP
↳132 QReductionProof (⇔)
↳133 QDP
↳134 Instantiation (⇔)
↳135 QDP
↳136 Instantiation (⇔)
↳137 QDP
↳138 Instantiation (⇔)
↳139 QDP
↳140 Instantiation (⇔)
↳141 QDP
↳142 NonTerminationProof (⇔)
↳143 FALSE
↳144 PiDP
↳145 UsableRulesProof (⇔)
↳146 PiDP
↳147 PiDPToQDPProof (⇐)
↳148 QDP
↳149 QDPSizeChangeProof (⇔)
↳150 TRUE
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
VLCND1_IN_G(T2) → U15_G(T2, vl6_in_ga(T2, X6))
VLCND1_IN_G(T2) → VL6_IN_GA(T2, X6)
VL6_IN_GA(s(T5), .(X23, X24)) → U1_GA(T5, X23, X24, vl6_in_ga(T5, X24))
VL6_IN_GA(s(T5), .(X23, X24)) → VL6_IN_GA(T5, X24)
VLCND1_IN_G(T2) → U16_G(T2, vl6_in_ga(T2, T3))
U16_G(T2, vl6_out_ga(T2, T3)) → U17_G(T2, select20_in_aga(X7, T3, X8))
U16_G(T2, vl6_out_ga(T2, T3)) → SELECT20_IN_AGA(X7, T3, X8)
SELECT20_IN_AGA(X39, .(T8, T10), .(T8, X40)) → U2_AGA(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
SELECT20_IN_AGA(X39, .(T8, T10), .(T8, X40)) → SELECT20_IN_AGA(X39, T10, X40)
U16_G(T2, vl6_out_ga(T2, T3)) → U18_G(T2, select20_in_aga(T6, T3, T7))
U18_G(T2, select20_out_aga(T6, T3, T7)) → U19_G(T2, vl30_in_ag(X9, T7))
U18_G(T2, select20_out_aga(T6, T3, T7)) → VL30_IN_AG(X9, T7)
U18_G(T2, select20_out_aga(T6, T3, T7)) → U20_G(T2, vl30_in_ag(T17, T7))
U20_G(T2, vl30_out_ag(T17, T7)) → U21_G(T2, vl43_in_ga(T17, X53))
U20_G(T2, vl30_out_ag(T17, T7)) → VL43_IN_GA(T17, X53)
VL43_IN_GA(s(T22), .(X70, X71)) → U13_GA(T22, X70, X71, vl43_in_ga(T22, X71))
VL43_IN_GA(s(T22), .(X70, X71)) → VL43_IN_GA(T22, X71)
VL43_IN_GA(s(T24), .(X70, X71)) → U14_GA(T24, X70, X71, vl43_in_ga(T24, X71))
U20_G(T2, vl30_out_ag(T17, T7)) → U22_G(T2, vl43_in_ga(T17, T18))
U22_G(T2, vl43_out_ga(T17, T18)) → U23_G(T2, p7_in_agaa(X54, T18, X55, X56))
U22_G(T2, vl43_out_ga(T17, T18)) → P7_IN_AGAA(X54, T18, X55, X56)
P7_IN_AGAA(X7, T3, X8, X9) → U3_AGAA(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
P7_IN_AGAA(X7, T3, X8, X9) → SELECT20_IN_AGA(X7, T3, X8)
P7_IN_AGAA(T6, T3, T7, X9) → U4_AGAA(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_AGAA(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_AGAA(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U4_AGAA(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → VL30_IN_AG(X9, T7)
P7_IN_AGAA(T6, T3, T7, T17) → U6_AGAA(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_AGAA(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_AGAA(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U6_AGAA(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → VL30_IN_AG(T17, T7)
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_AGAA(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → VL43_IN_GA(T17, X53)
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_AGAA(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_AGAA(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_AGAA(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
U9_AGAA(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → P7_IN_AGAA(X54, T18, X55, X56)
P7_IN_AGAA(T6, T3, T7, 0) → U11_AGAA(T6, T3, T7, select20_in_aga(T6, T3, T7))
P7_IN_AGAA(T6, T3, T7, 0) → SELECT20_IN_AGA(T6, T3, T7)
U11_AGAA(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_AGAA(T6, T3, T7, vl30_in_gg(0, T7))
U11_AGAA(T6, T3, T7, select20_out_aga(T6, T3, T7)) → VL30_IN_GG(0, T7)
U18_G(T2, select20_out_aga(T6, T3, T7)) → U24_G(T2, vl30_in_gg(0, T7))
U18_G(T2, select20_out_aga(T6, T3, T7)) → VL30_IN_GG(0, T7)
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
VLCND1_IN_G(T2) → U15_G(T2, vl6_in_ga(T2, X6))
VLCND1_IN_G(T2) → VL6_IN_GA(T2, X6)
VL6_IN_GA(s(T5), .(X23, X24)) → U1_GA(T5, X23, X24, vl6_in_ga(T5, X24))
VL6_IN_GA(s(T5), .(X23, X24)) → VL6_IN_GA(T5, X24)
VLCND1_IN_G(T2) → U16_G(T2, vl6_in_ga(T2, T3))
U16_G(T2, vl6_out_ga(T2, T3)) → U17_G(T2, select20_in_aga(X7, T3, X8))
U16_G(T2, vl6_out_ga(T2, T3)) → SELECT20_IN_AGA(X7, T3, X8)
SELECT20_IN_AGA(X39, .(T8, T10), .(T8, X40)) → U2_AGA(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
SELECT20_IN_AGA(X39, .(T8, T10), .(T8, X40)) → SELECT20_IN_AGA(X39, T10, X40)
U16_G(T2, vl6_out_ga(T2, T3)) → U18_G(T2, select20_in_aga(T6, T3, T7))
U18_G(T2, select20_out_aga(T6, T3, T7)) → U19_G(T2, vl30_in_ag(X9, T7))
U18_G(T2, select20_out_aga(T6, T3, T7)) → VL30_IN_AG(X9, T7)
U18_G(T2, select20_out_aga(T6, T3, T7)) → U20_G(T2, vl30_in_ag(T17, T7))
U20_G(T2, vl30_out_ag(T17, T7)) → U21_G(T2, vl43_in_ga(T17, X53))
U20_G(T2, vl30_out_ag(T17, T7)) → VL43_IN_GA(T17, X53)
VL43_IN_GA(s(T22), .(X70, X71)) → U13_GA(T22, X70, X71, vl43_in_ga(T22, X71))
VL43_IN_GA(s(T22), .(X70, X71)) → VL43_IN_GA(T22, X71)
VL43_IN_GA(s(T24), .(X70, X71)) → U14_GA(T24, X70, X71, vl43_in_ga(T24, X71))
U20_G(T2, vl30_out_ag(T17, T7)) → U22_G(T2, vl43_in_ga(T17, T18))
U22_G(T2, vl43_out_ga(T17, T18)) → U23_G(T2, p7_in_agaa(X54, T18, X55, X56))
U22_G(T2, vl43_out_ga(T17, T18)) → P7_IN_AGAA(X54, T18, X55, X56)
P7_IN_AGAA(X7, T3, X8, X9) → U3_AGAA(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
P7_IN_AGAA(X7, T3, X8, X9) → SELECT20_IN_AGA(X7, T3, X8)
P7_IN_AGAA(T6, T3, T7, X9) → U4_AGAA(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_AGAA(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_AGAA(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U4_AGAA(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → VL30_IN_AG(X9, T7)
P7_IN_AGAA(T6, T3, T7, T17) → U6_AGAA(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_AGAA(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_AGAA(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U6_AGAA(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → VL30_IN_AG(T17, T7)
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_AGAA(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → VL43_IN_GA(T17, X53)
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_AGAA(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_AGAA(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_AGAA(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
U9_AGAA(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → P7_IN_AGAA(X54, T18, X55, X56)
P7_IN_AGAA(T6, T3, T7, 0) → U11_AGAA(T6, T3, T7, select20_in_aga(T6, T3, T7))
P7_IN_AGAA(T6, T3, T7, 0) → SELECT20_IN_AGA(T6, T3, T7)
U11_AGAA(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_AGAA(T6, T3, T7, vl30_in_gg(0, T7))
U11_AGAA(T6, T3, T7, select20_out_aga(T6, T3, T7)) → VL30_IN_GG(0, T7)
U18_G(T2, select20_out_aga(T6, T3, T7)) → U24_G(T2, vl30_in_gg(0, T7))
U18_G(T2, select20_out_aga(T6, T3, T7)) → VL30_IN_GG(0, T7)
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
VL43_IN_GA(s(T22), .(X70, X71)) → VL43_IN_GA(T22, X71)
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
VL43_IN_GA(s(T22), .(X70, X71)) → VL43_IN_GA(T22, X71)
VL43_IN_GA(s(T22)) → VL43_IN_GA(T22)
From the DPs we obtained the following set of size-change graphs:
SELECT20_IN_AGA(X39, .(T8, T10), .(T8, X40)) → SELECT20_IN_AGA(X39, T10, X40)
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
SELECT20_IN_AGA(X39, .(T8, T10), .(T8, X40)) → SELECT20_IN_AGA(X39, T10, X40)
SELECT20_IN_AGA(.(T10)) → SELECT20_IN_AGA(T10)
From the DPs we obtained the following set of size-change graphs:
P7_IN_AGAA(T6, T3, T7, T17) → U6_AGAA(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_AGAA(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_AGAA(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_AGAA(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_AGAA(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → P7_IN_AGAA(X54, T18, X55, X56)
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
P7_IN_AGAA(T6, T3, T7, T17) → U6_AGAA(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_AGAA(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_AGAA(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_AGAA(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_AGAA(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → P7_IN_AGAA(X54, T18, X55, X56)
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
vl30_in_ag(0, []) → vl30_out_ag(0, [])
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
P7_IN_AGAA(T3) → U6_AGAA(T3, select20_in_aga(T3))
U6_AGAA(T3, select20_out_aga(T3, T7)) → U7_AGAA(T3, T7, vl30_in_ag(T7))
U7_AGAA(T3, T7, vl30_out_ag(T17, T7)) → U9_AGAA(T3, T7, vl43_in_ga(T17))
U9_AGAA(T3, T7, vl43_out_ga(T17, T18)) → P7_IN_AGAA(T18)
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
vl30_in_ag([]) → vl30_out_ag(0, [])
vl43_in_ga(0) → vl43_out_ga(0, [])
vl43_in_ga(0) → vl43_out_ga(0, .([]))
vl43_in_ga(s(T22)) → U13_ga(T22, vl43_in_ga(T22))
vl43_in_ga(s(T24)) → U14_ga(T24, vl43_in_ga(T24))
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
U13_ga(T22, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X71))
U14_ga(T24, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X71))
select20_in_aga(x0)
vl30_in_ag(x0)
vl43_in_ga(x0)
U2_aga(x0, x1)
U13_ga(x0, x1)
U14_ga(x0, x1)
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
P7_IN_AGAA(T3) → U6_AGAA(T3, select20_in_aga(T3))
U7_AGAA(T3, T7, vl30_out_ag(T17, T7)) → U9_AGAA(T3, T7, vl43_in_ga(T17))
U9_AGAA(T3, T7, vl43_out_ga(T17, T18)) → P7_IN_AGAA(T18)
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
vl30_in_ag([]) → vl30_out_ag(0, [])
vl43_in_ga(0) → vl43_out_ga(0, [])
vl43_in_ga(0) → vl43_out_ga(0, .([]))
vl43_in_ga(s(T22)) → U13_ga(T22, vl43_in_ga(T22))
vl43_in_ga(s(T24)) → U14_ga(T24, vl43_in_ga(T24))
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
U13_ga(T22, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X71))
U14_ga(T24, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X71))
select20_in_aga(x0)
vl30_in_ag(x0)
vl43_in_ga(x0)
U2_aga(x0, x1)
U13_ga(x0, x1)
U14_ga(x0, x1)
P7_IN_AGAA(T3) → U6_AGAA(T3, select20_in_aga(T3))
U7_AGAA(T3, T7, vl30_out_ag(T17, T7)) → U9_AGAA(T3, T7, vl43_in_ga(T17))
U9_AGAA(T3, T7, vl43_out_ga(T17, T18)) → P7_IN_AGAA(T18)
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
vl43_in_ga(0) → vl43_out_ga(0, [])
vl43_in_ga(0) → vl43_out_ga(0, .([]))
vl43_in_ga(s(T22)) → U13_ga(T22, vl43_in_ga(T22))
vl43_in_ga(s(T24)) → U14_ga(T24, vl43_in_ga(T24))
U14_ga(T24, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X71))
U13_ga(T22, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X71))
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
select20_in_aga(x0)
vl30_in_ag(x0)
vl43_in_ga(x0)
U2_aga(x0, x1)
U13_ga(x0, x1)
U14_ga(x0, x1)
vl30_in_ag(x0)
P7_IN_AGAA(T3) → U6_AGAA(T3, select20_in_aga(T3))
U7_AGAA(T3, T7, vl30_out_ag(T17, T7)) → U9_AGAA(T3, T7, vl43_in_ga(T17))
U9_AGAA(T3, T7, vl43_out_ga(T17, T18)) → P7_IN_AGAA(T18)
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
vl43_in_ga(0) → vl43_out_ga(0, [])
vl43_in_ga(0) → vl43_out_ga(0, .([]))
vl43_in_ga(s(T22)) → U13_ga(T22, vl43_in_ga(T22))
vl43_in_ga(s(T24)) → U14_ga(T24, vl43_in_ga(T24))
U14_ga(T24, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X71))
U13_ga(T22, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X71))
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
select20_in_aga(x0)
vl43_in_ga(x0)
U2_aga(x0, x1)
U13_ga(x0, x1)
U14_ga(x0, x1)
U7_AGAA(z0, [], vl30_out_ag(0, [])) → U9_AGAA(z0, [], vl43_in_ga(0))
P7_IN_AGAA(T3) → U6_AGAA(T3, select20_in_aga(T3))
U9_AGAA(T3, T7, vl43_out_ga(T17, T18)) → P7_IN_AGAA(T18)
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
U7_AGAA(z0, [], vl30_out_ag(0, [])) → U9_AGAA(z0, [], vl43_in_ga(0))
vl43_in_ga(0) → vl43_out_ga(0, [])
vl43_in_ga(0) → vl43_out_ga(0, .([]))
vl43_in_ga(s(T22)) → U13_ga(T22, vl43_in_ga(T22))
vl43_in_ga(s(T24)) → U14_ga(T24, vl43_in_ga(T24))
U14_ga(T24, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X71))
U13_ga(T22, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X71))
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
select20_in_aga(x0)
vl43_in_ga(x0)
U2_aga(x0, x1)
U13_ga(x0, x1)
U14_ga(x0, x1)
P7_IN_AGAA(T3) → U6_AGAA(T3, select20_in_aga(T3))
U9_AGAA(T3, T7, vl43_out_ga(T17, T18)) → P7_IN_AGAA(T18)
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
U7_AGAA(z0, [], vl30_out_ag(0, [])) → U9_AGAA(z0, [], vl43_in_ga(0))
vl43_in_ga(0) → vl43_out_ga(0, [])
vl43_in_ga(0) → vl43_out_ga(0, .([]))
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
select20_in_aga(x0)
vl43_in_ga(x0)
U2_aga(x0, x1)
U13_ga(x0, x1)
U14_ga(x0, x1)
U13_ga(x0, x1)
U14_ga(x0, x1)
P7_IN_AGAA(T3) → U6_AGAA(T3, select20_in_aga(T3))
U9_AGAA(T3, T7, vl43_out_ga(T17, T18)) → P7_IN_AGAA(T18)
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
U7_AGAA(z0, [], vl30_out_ag(0, [])) → U9_AGAA(z0, [], vl43_in_ga(0))
vl43_in_ga(0) → vl43_out_ga(0, [])
vl43_in_ga(0) → vl43_out_ga(0, .([]))
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
select20_in_aga(x0)
vl43_in_ga(x0)
U2_aga(x0, x1)
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, .([])))
P7_IN_AGAA(T3) → U6_AGAA(T3, select20_in_aga(T3))
U9_AGAA(T3, T7, vl43_out_ga(T17, T18)) → P7_IN_AGAA(T18)
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, .([])))
vl43_in_ga(0) → vl43_out_ga(0, [])
vl43_in_ga(0) → vl43_out_ga(0, .([]))
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
select20_in_aga(x0)
vl43_in_ga(x0)
U2_aga(x0, x1)
P7_IN_AGAA(T3) → U6_AGAA(T3, select20_in_aga(T3))
U9_AGAA(T3, T7, vl43_out_ga(T17, T18)) → P7_IN_AGAA(T18)
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, .([])))
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
select20_in_aga(x0)
vl43_in_ga(x0)
U2_aga(x0, x1)
vl43_in_ga(x0)
P7_IN_AGAA(T3) → U6_AGAA(T3, select20_in_aga(T3))
U9_AGAA(T3, T7, vl43_out_ga(T17, T18)) → P7_IN_AGAA(T18)
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, .([])))
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
select20_in_aga(x0)
U2_aga(x0, x1)
U9_AGAA(z0, [], vl43_out_ga(0, [])) → P7_IN_AGAA([])
U9_AGAA(z0, [], vl43_out_ga(0, .([]))) → P7_IN_AGAA(.([]))
P7_IN_AGAA(T3) → U6_AGAA(T3, select20_in_aga(T3))
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, .([])))
U9_AGAA(z0, [], vl43_out_ga(0, [])) → P7_IN_AGAA([])
U9_AGAA(z0, [], vl43_out_ga(0, .([]))) → P7_IN_AGAA(.([]))
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
select20_in_aga(x0)
U2_aga(x0, x1)
P7_IN_AGAA(.(x0)) → U6_AGAA(.(x0), U2_aga(x0, select20_in_aga(x0)))
P7_IN_AGAA(.(x0)) → U6_AGAA(.(x0), select20_out_aga(.(x0), x0))
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, .([])))
U9_AGAA(z0, [], vl43_out_ga(0, [])) → P7_IN_AGAA([])
U9_AGAA(z0, [], vl43_out_ga(0, .([]))) → P7_IN_AGAA(.([]))
P7_IN_AGAA(.(x0)) → U6_AGAA(.(x0), U2_aga(x0, select20_in_aga(x0)))
P7_IN_AGAA(.(x0)) → U6_AGAA(.(x0), select20_out_aga(.(x0), x0))
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
select20_in_aga(x0)
U2_aga(x0, x1)
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, .([])))
U9_AGAA(z0, [], vl43_out_ga(0, .([]))) → P7_IN_AGAA(.([]))
P7_IN_AGAA(.(x0)) → U6_AGAA(.(x0), U2_aga(x0, select20_in_aga(x0)))
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
P7_IN_AGAA(.(x0)) → U6_AGAA(.(x0), select20_out_aga(.(x0), x0))
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
select20_in_aga(x0)
U2_aga(x0, x1)
P7_IN_AGAA(.(.(x0))) → U6_AGAA(.(.(x0)), U2_aga(.(x0), U2_aga(x0, select20_in_aga(x0))))
P7_IN_AGAA(.(.(x0))) → U6_AGAA(.(.(x0)), U2_aga(.(x0), select20_out_aga(.(x0), x0)))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, .([])))
U9_AGAA(z0, [], vl43_out_ga(0, .([]))) → P7_IN_AGAA(.([]))
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
P7_IN_AGAA(.(x0)) → U6_AGAA(.(x0), select20_out_aga(.(x0), x0))
P7_IN_AGAA(.(.(x0))) → U6_AGAA(.(.(x0)), U2_aga(.(x0), U2_aga(x0, select20_in_aga(x0))))
P7_IN_AGAA(.(.(x0))) → U6_AGAA(.(.(x0)), U2_aga(.(x0), select20_out_aga(.(x0), x0)))
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
select20_in_aga(x0)
U2_aga(x0, x1)
U9_AGAA(z0, [], vl43_out_ga(0, .([]))) → P7_IN_AGAA(.([]))
P7_IN_AGAA(.(x0)) → U6_AGAA(.(x0), select20_out_aga(.(x0), x0))
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, .([])))
select20_in_aga(.(T10)) → U2_aga(T10, select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(.(T11), T11)
U2_aga(T10, select20_out_aga(T10, X40)) → select20_out_aga(.(T10), .(X40))
select20_in_aga(x0)
U2_aga(x0, x1)
U9_AGAA(z0, [], vl43_out_ga(0, .([]))) → P7_IN_AGAA(.([]))
P7_IN_AGAA(.(x0)) → U6_AGAA(.(x0), select20_out_aga(.(x0), x0))
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, .([])))
select20_in_aga(x0)
U2_aga(x0, x1)
select20_in_aga(x0)
U2_aga(x0, x1)
U9_AGAA(z0, [], vl43_out_ga(0, .([]))) → P7_IN_AGAA(.([]))
P7_IN_AGAA(.(x0)) → U6_AGAA(.(x0), select20_out_aga(.(x0), x0))
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, .([])))
P7_IN_AGAA(.([])) → U6_AGAA(.([]), select20_out_aga(.([]), []))
U9_AGAA(z0, [], vl43_out_ga(0, .([]))) → P7_IN_AGAA(.([]))
U6_AGAA(y0, select20_out_aga(y0, [])) → U7_AGAA(y0, [], vl30_out_ag(0, []))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, .([])))
P7_IN_AGAA(.([])) → U6_AGAA(.([]), select20_out_aga(.([]), []))
U6_AGAA(.([]), select20_out_aga(.([]), [])) → U7_AGAA(.([]), [], vl30_out_ag(0, []))
U9_AGAA(z0, [], vl43_out_ga(0, .([]))) → P7_IN_AGAA(.([]))
U7_AGAA(y0, [], vl30_out_ag(0, [])) → U9_AGAA(y0, [], vl43_out_ga(0, .([])))
P7_IN_AGAA(.([])) → U6_AGAA(.([]), select20_out_aga(.([]), []))
U6_AGAA(.([]), select20_out_aga(.([]), [])) → U7_AGAA(.([]), [], vl30_out_ag(0, []))
U7_AGAA(.([]), [], vl30_out_ag(0, [])) → U9_AGAA(.([]), [], vl43_out_ga(0, .([])))
U9_AGAA(z0, [], vl43_out_ga(0, .([]))) → P7_IN_AGAA(.([]))
P7_IN_AGAA(.([])) → U6_AGAA(.([]), select20_out_aga(.([]), []))
U6_AGAA(.([]), select20_out_aga(.([]), [])) → U7_AGAA(.([]), [], vl30_out_ag(0, []))
U7_AGAA(.([]), [], vl30_out_ag(0, [])) → U9_AGAA(.([]), [], vl43_out_ga(0, .([])))
U9_AGAA(.([]), [], vl43_out_ga(0, .([]))) → P7_IN_AGAA(.([]))
P7_IN_AGAA(.([])) → U6_AGAA(.([]), select20_out_aga(.([]), []))
U6_AGAA(.([]), select20_out_aga(.([]), [])) → U7_AGAA(.([]), [], vl30_out_ag(0, []))
U7_AGAA(.([]), [], vl30_out_ag(0, [])) → U9_AGAA(.([]), [], vl43_out_ga(0, .([])))
U9_AGAA(.([]), [], vl43_out_ga(0, .([]))) → P7_IN_AGAA(.([]))
VL6_IN_GA(s(T5), .(X23, X24)) → VL6_IN_GA(T5, X24)
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
VL6_IN_GA(s(T5), .(X23, X24)) → VL6_IN_GA(T5, X24)
VL6_IN_GA(s(T5)) → VL6_IN_GA(T5)
From the DPs we obtained the following set of size-change graphs:
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
VLCND1_IN_G(T2) → U15_G(T2, vl6_in_ga(T2, X6))
VLCND1_IN_G(T2) → VL6_IN_GA(T2, X6)
VL6_IN_GA(s(T5), .(X23, X24)) → U1_GA(T5, X23, X24, vl6_in_ga(T5, X24))
VL6_IN_GA(s(T5), .(X23, X24)) → VL6_IN_GA(T5, X24)
VLCND1_IN_G(T2) → U16_G(T2, vl6_in_ga(T2, T3))
U16_G(T2, vl6_out_ga(T2, T3)) → U17_G(T2, select20_in_aga(X7, T3, X8))
U16_G(T2, vl6_out_ga(T2, T3)) → SELECT20_IN_AGA(X7, T3, X8)
SELECT20_IN_AGA(X39, .(T8, T10), .(T8, X40)) → U2_AGA(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
SELECT20_IN_AGA(X39, .(T8, T10), .(T8, X40)) → SELECT20_IN_AGA(X39, T10, X40)
U16_G(T2, vl6_out_ga(T2, T3)) → U18_G(T2, select20_in_aga(T6, T3, T7))
U18_G(T2, select20_out_aga(T6, T3, T7)) → U19_G(T2, vl30_in_ag(X9, T7))
U18_G(T2, select20_out_aga(T6, T3, T7)) → VL30_IN_AG(X9, T7)
U18_G(T2, select20_out_aga(T6, T3, T7)) → U20_G(T2, vl30_in_ag(T17, T7))
U20_G(T2, vl30_out_ag(T17, T7)) → U21_G(T2, vl43_in_ga(T17, X53))
U20_G(T2, vl30_out_ag(T17, T7)) → VL43_IN_GA(T17, X53)
VL43_IN_GA(s(T22), .(X70, X71)) → U13_GA(T22, X70, X71, vl43_in_ga(T22, X71))
VL43_IN_GA(s(T22), .(X70, X71)) → VL43_IN_GA(T22, X71)
VL43_IN_GA(s(T24), .(X70, X71)) → U14_GA(T24, X70, X71, vl43_in_ga(T24, X71))
U20_G(T2, vl30_out_ag(T17, T7)) → U22_G(T2, vl43_in_ga(T17, T18))
U22_G(T2, vl43_out_ga(T17, T18)) → U23_G(T2, p7_in_agaa(X54, T18, X55, X56))
U22_G(T2, vl43_out_ga(T17, T18)) → P7_IN_AGAA(X54, T18, X55, X56)
P7_IN_AGAA(X7, T3, X8, X9) → U3_AGAA(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
P7_IN_AGAA(X7, T3, X8, X9) → SELECT20_IN_AGA(X7, T3, X8)
P7_IN_AGAA(T6, T3, T7, X9) → U4_AGAA(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_AGAA(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_AGAA(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U4_AGAA(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → VL30_IN_AG(X9, T7)
P7_IN_AGAA(T6, T3, T7, T17) → U6_AGAA(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_AGAA(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_AGAA(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U6_AGAA(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → VL30_IN_AG(T17, T7)
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_AGAA(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → VL43_IN_GA(T17, X53)
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_AGAA(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_AGAA(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_AGAA(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
U9_AGAA(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → P7_IN_AGAA(X54, T18, X55, X56)
P7_IN_AGAA(T6, T3, T7, 0) → U11_AGAA(T6, T3, T7, select20_in_aga(T6, T3, T7))
P7_IN_AGAA(T6, T3, T7, 0) → SELECT20_IN_AGA(T6, T3, T7)
U11_AGAA(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_AGAA(T6, T3, T7, vl30_in_gg(0, T7))
U11_AGAA(T6, T3, T7, select20_out_aga(T6, T3, T7)) → VL30_IN_GG(0, T7)
U18_G(T2, select20_out_aga(T6, T3, T7)) → U24_G(T2, vl30_in_gg(0, T7))
U18_G(T2, select20_out_aga(T6, T3, T7)) → VL30_IN_GG(0, T7)
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
VLCND1_IN_G(T2) → U15_G(T2, vl6_in_ga(T2, X6))
VLCND1_IN_G(T2) → VL6_IN_GA(T2, X6)
VL6_IN_GA(s(T5), .(X23, X24)) → U1_GA(T5, X23, X24, vl6_in_ga(T5, X24))
VL6_IN_GA(s(T5), .(X23, X24)) → VL6_IN_GA(T5, X24)
VLCND1_IN_G(T2) → U16_G(T2, vl6_in_ga(T2, T3))
U16_G(T2, vl6_out_ga(T2, T3)) → U17_G(T2, select20_in_aga(X7, T3, X8))
U16_G(T2, vl6_out_ga(T2, T3)) → SELECT20_IN_AGA(X7, T3, X8)
SELECT20_IN_AGA(X39, .(T8, T10), .(T8, X40)) → U2_AGA(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
SELECT20_IN_AGA(X39, .(T8, T10), .(T8, X40)) → SELECT20_IN_AGA(X39, T10, X40)
U16_G(T2, vl6_out_ga(T2, T3)) → U18_G(T2, select20_in_aga(T6, T3, T7))
U18_G(T2, select20_out_aga(T6, T3, T7)) → U19_G(T2, vl30_in_ag(X9, T7))
U18_G(T2, select20_out_aga(T6, T3, T7)) → VL30_IN_AG(X9, T7)
U18_G(T2, select20_out_aga(T6, T3, T7)) → U20_G(T2, vl30_in_ag(T17, T7))
U20_G(T2, vl30_out_ag(T17, T7)) → U21_G(T2, vl43_in_ga(T17, X53))
U20_G(T2, vl30_out_ag(T17, T7)) → VL43_IN_GA(T17, X53)
VL43_IN_GA(s(T22), .(X70, X71)) → U13_GA(T22, X70, X71, vl43_in_ga(T22, X71))
VL43_IN_GA(s(T22), .(X70, X71)) → VL43_IN_GA(T22, X71)
VL43_IN_GA(s(T24), .(X70, X71)) → U14_GA(T24, X70, X71, vl43_in_ga(T24, X71))
U20_G(T2, vl30_out_ag(T17, T7)) → U22_G(T2, vl43_in_ga(T17, T18))
U22_G(T2, vl43_out_ga(T17, T18)) → U23_G(T2, p7_in_agaa(X54, T18, X55, X56))
U22_G(T2, vl43_out_ga(T17, T18)) → P7_IN_AGAA(X54, T18, X55, X56)
P7_IN_AGAA(X7, T3, X8, X9) → U3_AGAA(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
P7_IN_AGAA(X7, T3, X8, X9) → SELECT20_IN_AGA(X7, T3, X8)
P7_IN_AGAA(T6, T3, T7, X9) → U4_AGAA(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_AGAA(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_AGAA(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U4_AGAA(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → VL30_IN_AG(X9, T7)
P7_IN_AGAA(T6, T3, T7, T17) → U6_AGAA(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_AGAA(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_AGAA(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U6_AGAA(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → VL30_IN_AG(T17, T7)
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_AGAA(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → VL43_IN_GA(T17, X53)
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_AGAA(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_AGAA(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_AGAA(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
U9_AGAA(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → P7_IN_AGAA(X54, T18, X55, X56)
P7_IN_AGAA(T6, T3, T7, 0) → U11_AGAA(T6, T3, T7, select20_in_aga(T6, T3, T7))
P7_IN_AGAA(T6, T3, T7, 0) → SELECT20_IN_AGA(T6, T3, T7)
U11_AGAA(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_AGAA(T6, T3, T7, vl30_in_gg(0, T7))
U11_AGAA(T6, T3, T7, select20_out_aga(T6, T3, T7)) → VL30_IN_GG(0, T7)
U18_G(T2, select20_out_aga(T6, T3, T7)) → U24_G(T2, vl30_in_gg(0, T7))
U18_G(T2, select20_out_aga(T6, T3, T7)) → VL30_IN_GG(0, T7)
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
VL43_IN_GA(s(T22), .(X70, X71)) → VL43_IN_GA(T22, X71)
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
VL43_IN_GA(s(T22), .(X70, X71)) → VL43_IN_GA(T22, X71)
VL43_IN_GA(s(T22)) → VL43_IN_GA(T22)
From the DPs we obtained the following set of size-change graphs:
SELECT20_IN_AGA(X39, .(T8, T10), .(T8, X40)) → SELECT20_IN_AGA(X39, T10, X40)
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
SELECT20_IN_AGA(X39, .(T8, T10), .(T8, X40)) → SELECT20_IN_AGA(X39, T10, X40)
SELECT20_IN_AGA(.(T10)) → SELECT20_IN_AGA(T10)
From the DPs we obtained the following set of size-change graphs:
P7_IN_AGAA(T6, T3, T7, T17) → U6_AGAA(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_AGAA(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_AGAA(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_AGAA(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_AGAA(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → P7_IN_AGAA(X54, T18, X55, X56)
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
P7_IN_AGAA(T6, T3, T7, T17) → U6_AGAA(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_AGAA(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_AGAA(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_AGAA(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_AGAA(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_AGAA(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → P7_IN_AGAA(X54, T18, X55, X56)
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
vl30_in_ag(0, []) → vl30_out_ag(0, [])
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
P7_IN_AGAA(T3) → U6_AGAA(select20_in_aga(T3))
U6_AGAA(select20_out_aga(T7)) → U7_AGAA(T7, vl30_in_ag(T7))
U7_AGAA(T7, vl30_out_ag(T17)) → U9_AGAA(T7, vl43_in_ga(T17))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
select20_in_aga(.(T10)) → U2_aga(select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(T11)
vl30_in_ag([]) → vl30_out_ag(0)
vl43_in_ga(0) → vl43_out_ga([])
vl43_in_ga(0) → vl43_out_ga(.([]))
vl43_in_ga(s(T22)) → U13_ga(vl43_in_ga(T22))
vl43_in_ga(s(T24)) → U14_ga(vl43_in_ga(T24))
U2_aga(select20_out_aga(X40)) → select20_out_aga(.(X40))
U13_ga(vl43_out_ga(X71)) → vl43_out_ga(.(X71))
U14_ga(vl43_out_ga(X71)) → vl43_out_ga(.(X71))
select20_in_aga(x0)
vl30_in_ag(x0)
vl43_in_ga(x0)
U2_aga(x0)
U13_ga(x0)
U14_ga(x0)
Used ordering: POLO with Polynomial interpretation [POLO]:
vl43_in_ga(s(T22)) → U13_ga(vl43_in_ga(T22))
vl43_in_ga(s(T24)) → U14_ga(vl43_in_ga(T24))
POL(.(x1)) = 2·x1
POL(0) = 0
POL(P7_IN_AGAA(x1)) = 2·x1
POL(U13_ga(x1)) = 2·x1
POL(U14_ga(x1)) = 2·x1
POL(U2_aga(x1)) = 2·x1
POL(U6_AGAA(x1)) = 2·x1
POL(U7_AGAA(x1, x2)) = x1 + x2
POL(U9_AGAA(x1, x2)) = x1 + 2·x2
POL([]) = 0
POL(s(x1)) = 1 + 2·x1
POL(select20_in_aga(x1)) = x1
POL(select20_out_aga(x1)) = x1
POL(vl30_in_ag(x1)) = x1
POL(vl30_out_ag(x1)) = 2·x1
POL(vl43_in_ga(x1)) = x1
POL(vl43_out_ga(x1)) = x1
P7_IN_AGAA(T3) → U6_AGAA(select20_in_aga(T3))
U6_AGAA(select20_out_aga(T7)) → U7_AGAA(T7, vl30_in_ag(T7))
U7_AGAA(T7, vl30_out_ag(T17)) → U9_AGAA(T7, vl43_in_ga(T17))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
vl43_in_ga(0) → vl43_out_ga([])
vl43_in_ga(0) → vl43_out_ga(.([]))
U14_ga(vl43_out_ga(X71)) → vl43_out_ga(.(X71))
U13_ga(vl43_out_ga(X71)) → vl43_out_ga(.(X71))
vl30_in_ag([]) → vl30_out_ag(0)
select20_in_aga(.(T10)) → U2_aga(select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(T11)
U2_aga(select20_out_aga(X40)) → select20_out_aga(.(X40))
select20_in_aga(x0)
vl30_in_ag(x0)
vl43_in_ga(x0)
U2_aga(x0)
U13_ga(x0)
U14_ga(x0)
P7_IN_AGAA(T3) → U6_AGAA(select20_in_aga(T3))
U6_AGAA(select20_out_aga(T7)) → U7_AGAA(T7, vl30_in_ag(T7))
U7_AGAA(T7, vl30_out_ag(T17)) → U9_AGAA(T7, vl43_in_ga(T17))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
vl43_in_ga(0) → vl43_out_ga([])
vl43_in_ga(0) → vl43_out_ga(.([]))
vl30_in_ag([]) → vl30_out_ag(0)
select20_in_aga(.(T10)) → U2_aga(select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(T11)
U2_aga(select20_out_aga(X40)) → select20_out_aga(.(X40))
select20_in_aga(x0)
vl30_in_ag(x0)
vl43_in_ga(x0)
U2_aga(x0)
U13_ga(x0)
U14_ga(x0)
U13_ga(x0)
U14_ga(x0)
P7_IN_AGAA(T3) → U6_AGAA(select20_in_aga(T3))
U6_AGAA(select20_out_aga(T7)) → U7_AGAA(T7, vl30_in_ag(T7))
U7_AGAA(T7, vl30_out_ag(T17)) → U9_AGAA(T7, vl43_in_ga(T17))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
vl43_in_ga(0) → vl43_out_ga([])
vl43_in_ga(0) → vl43_out_ga(.([]))
vl30_in_ag([]) → vl30_out_ag(0)
select20_in_aga(.(T10)) → U2_aga(select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(T11)
U2_aga(select20_out_aga(X40)) → select20_out_aga(.(X40))
select20_in_aga(x0)
vl30_in_ag(x0)
vl43_in_ga(x0)
U2_aga(x0)
vl43_in_ga(0) → vl43_out_ga([])
POL(.(x1)) = 1 + x1
POL(0) = 0
POL(P7_IN_AGAA(x1)) = 2·x1
POL(U2_aga(x1)) = 1 + x1
POL(U6_AGAA(x1)) = 2·x1
POL(U7_AGAA(x1, x2)) = x1 + x2
POL(U9_AGAA(x1, x2)) = x1 + x2
POL([]) = 0
POL(select20_in_aga(x1)) = x1
POL(select20_out_aga(x1)) = 1 + x1
POL(vl30_in_ag(x1)) = 2 + x1
POL(vl30_out_ag(x1)) = 2 + 2·x1
POL(vl43_in_ga(x1)) = 2 + 2·x1
POL(vl43_out_ga(x1)) = 2·x1
P7_IN_AGAA(T3) → U6_AGAA(select20_in_aga(T3))
U6_AGAA(select20_out_aga(T7)) → U7_AGAA(T7, vl30_in_ag(T7))
U7_AGAA(T7, vl30_out_ag(T17)) → U9_AGAA(T7, vl43_in_ga(T17))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
vl43_in_ga(0) → vl43_out_ga(.([]))
vl30_in_ag([]) → vl30_out_ag(0)
select20_in_aga(.(T10)) → U2_aga(select20_in_aga(T10))
select20_in_aga(.(T11)) → select20_out_aga(T11)
U2_aga(select20_out_aga(X40)) → select20_out_aga(.(X40))
select20_in_aga(x0)
vl30_in_ag(x0)
vl43_in_ga(x0)
U2_aga(x0)
select20_in_aga(.(T10)) → U2_aga(select20_in_aga(T10))
POL(.(x1)) = 1 + 2·x1
POL(0) = 0
POL(P7_IN_AGAA(x1)) = 2·x1
POL(U2_aga(x1)) = 2·x1
POL(U6_AGAA(x1)) = x1
POL(U7_AGAA(x1, x2)) = 1 + x1 + x2
POL(U9_AGAA(x1, x2)) = x1 + 2·x2
POL([]) = 0
POL(select20_in_aga(x1)) = 2·x1
POL(select20_out_aga(x1)) = 2 + 2·x1
POL(vl30_in_ag(x1)) = 1 + x1
POL(vl30_out_ag(x1)) = 1 + 2·x1
POL(vl43_in_ga(x1)) = 1 + x1
POL(vl43_out_ga(x1)) = x1
P7_IN_AGAA(T3) → U6_AGAA(select20_in_aga(T3))
U6_AGAA(select20_out_aga(T7)) → U7_AGAA(T7, vl30_in_ag(T7))
U7_AGAA(T7, vl30_out_ag(T17)) → U9_AGAA(T7, vl43_in_ga(T17))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
vl43_in_ga(0) → vl43_out_ga(.([]))
vl30_in_ag([]) → vl30_out_ag(0)
select20_in_aga(.(T11)) → select20_out_aga(T11)
U2_aga(select20_out_aga(X40)) → select20_out_aga(.(X40))
select20_in_aga(x0)
vl30_in_ag(x0)
vl43_in_ga(x0)
U2_aga(x0)
P7_IN_AGAA(T3) → U6_AGAA(select20_in_aga(T3))
U6_AGAA(select20_out_aga(T7)) → U7_AGAA(T7, vl30_in_ag(T7))
U7_AGAA(T7, vl30_out_ag(T17)) → U9_AGAA(T7, vl43_in_ga(T17))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
vl43_in_ga(0) → vl43_out_ga(.([]))
vl30_in_ag([]) → vl30_out_ag(0)
select20_in_aga(.(T11)) → select20_out_aga(T11)
select20_in_aga(x0)
vl30_in_ag(x0)
vl43_in_ga(x0)
U2_aga(x0)
U2_aga(x0)
P7_IN_AGAA(T3) → U6_AGAA(select20_in_aga(T3))
U6_AGAA(select20_out_aga(T7)) → U7_AGAA(T7, vl30_in_ag(T7))
U7_AGAA(T7, vl30_out_ag(T17)) → U9_AGAA(T7, vl43_in_ga(T17))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
vl43_in_ga(0) → vl43_out_ga(.([]))
vl30_in_ag([]) → vl30_out_ag(0)
select20_in_aga(.(T11)) → select20_out_aga(T11)
select20_in_aga(x0)
vl30_in_ag(x0)
vl43_in_ga(x0)
P7_IN_AGAA(.(x0)) → U6_AGAA(select20_out_aga(x0))
U6_AGAA(select20_out_aga(T7)) → U7_AGAA(T7, vl30_in_ag(T7))
U7_AGAA(T7, vl30_out_ag(T17)) → U9_AGAA(T7, vl43_in_ga(T17))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
P7_IN_AGAA(.(x0)) → U6_AGAA(select20_out_aga(x0))
vl43_in_ga(0) → vl43_out_ga(.([]))
vl30_in_ag([]) → vl30_out_ag(0)
select20_in_aga(.(T11)) → select20_out_aga(T11)
select20_in_aga(x0)
vl30_in_ag(x0)
vl43_in_ga(x0)
U6_AGAA(select20_out_aga(T7)) → U7_AGAA(T7, vl30_in_ag(T7))
U7_AGAA(T7, vl30_out_ag(T17)) → U9_AGAA(T7, vl43_in_ga(T17))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
P7_IN_AGAA(.(x0)) → U6_AGAA(select20_out_aga(x0))
vl43_in_ga(0) → vl43_out_ga(.([]))
vl30_in_ag([]) → vl30_out_ag(0)
select20_in_aga(x0)
vl30_in_ag(x0)
vl43_in_ga(x0)
select20_in_aga(x0)
U6_AGAA(select20_out_aga(T7)) → U7_AGAA(T7, vl30_in_ag(T7))
U7_AGAA(T7, vl30_out_ag(T17)) → U9_AGAA(T7, vl43_in_ga(T17))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
P7_IN_AGAA(.(x0)) → U6_AGAA(select20_out_aga(x0))
vl43_in_ga(0) → vl43_out_ga(.([]))
vl30_in_ag([]) → vl30_out_ag(0)
vl30_in_ag(x0)
vl43_in_ga(x0)
U6_AGAA(select20_out_aga([])) → U7_AGAA([], vl30_out_ag(0))
U7_AGAA(T7, vl30_out_ag(T17)) → U9_AGAA(T7, vl43_in_ga(T17))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
P7_IN_AGAA(.(x0)) → U6_AGAA(select20_out_aga(x0))
U6_AGAA(select20_out_aga([])) → U7_AGAA([], vl30_out_ag(0))
vl43_in_ga(0) → vl43_out_ga(.([]))
vl30_in_ag([]) → vl30_out_ag(0)
vl30_in_ag(x0)
vl43_in_ga(x0)
U7_AGAA(T7, vl30_out_ag(T17)) → U9_AGAA(T7, vl43_in_ga(T17))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
P7_IN_AGAA(.(x0)) → U6_AGAA(select20_out_aga(x0))
U6_AGAA(select20_out_aga([])) → U7_AGAA([], vl30_out_ag(0))
vl43_in_ga(0) → vl43_out_ga(.([]))
vl30_in_ag(x0)
vl43_in_ga(x0)
vl30_in_ag(x0)
U7_AGAA(T7, vl30_out_ag(T17)) → U9_AGAA(T7, vl43_in_ga(T17))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
P7_IN_AGAA(.(x0)) → U6_AGAA(select20_out_aga(x0))
U6_AGAA(select20_out_aga([])) → U7_AGAA([], vl30_out_ag(0))
vl43_in_ga(0) → vl43_out_ga(.([]))
vl43_in_ga(x0)
U7_AGAA(y0, vl30_out_ag(0)) → U9_AGAA(y0, vl43_out_ga(.([])))
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
P7_IN_AGAA(.(x0)) → U6_AGAA(select20_out_aga(x0))
U6_AGAA(select20_out_aga([])) → U7_AGAA([], vl30_out_ag(0))
U7_AGAA(y0, vl30_out_ag(0)) → U9_AGAA(y0, vl43_out_ga(.([])))
vl43_in_ga(0) → vl43_out_ga(.([]))
vl43_in_ga(x0)
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
P7_IN_AGAA(.(x0)) → U6_AGAA(select20_out_aga(x0))
U6_AGAA(select20_out_aga([])) → U7_AGAA([], vl30_out_ag(0))
U7_AGAA(y0, vl30_out_ag(0)) → U9_AGAA(y0, vl43_out_ga(.([])))
vl43_in_ga(x0)
vl43_in_ga(x0)
U9_AGAA(T7, vl43_out_ga(T18)) → P7_IN_AGAA(T18)
P7_IN_AGAA(.(x0)) → U6_AGAA(select20_out_aga(x0))
U6_AGAA(select20_out_aga([])) → U7_AGAA([], vl30_out_ag(0))
U7_AGAA(y0, vl30_out_ag(0)) → U9_AGAA(y0, vl43_out_ga(.([])))
U9_AGAA(z0, vl43_out_ga(.([]))) → P7_IN_AGAA(.([]))
P7_IN_AGAA(.(x0)) → U6_AGAA(select20_out_aga(x0))
U6_AGAA(select20_out_aga([])) → U7_AGAA([], vl30_out_ag(0))
U7_AGAA(y0, vl30_out_ag(0)) → U9_AGAA(y0, vl43_out_ga(.([])))
U9_AGAA(z0, vl43_out_ga(.([]))) → P7_IN_AGAA(.([]))
P7_IN_AGAA(.([])) → U6_AGAA(select20_out_aga([]))
U6_AGAA(select20_out_aga([])) → U7_AGAA([], vl30_out_ag(0))
U7_AGAA(y0, vl30_out_ag(0)) → U9_AGAA(y0, vl43_out_ga(.([])))
U9_AGAA(z0, vl43_out_ga(.([]))) → P7_IN_AGAA(.([]))
P7_IN_AGAA(.([])) → U6_AGAA(select20_out_aga([]))
U7_AGAA([], vl30_out_ag(0)) → U9_AGAA([], vl43_out_ga(.([])))
U6_AGAA(select20_out_aga([])) → U7_AGAA([], vl30_out_ag(0))
U9_AGAA(z0, vl43_out_ga(.([]))) → P7_IN_AGAA(.([]))
P7_IN_AGAA(.([])) → U6_AGAA(select20_out_aga([]))
U7_AGAA([], vl30_out_ag(0)) → U9_AGAA([], vl43_out_ga(.([])))
U9_AGAA([], vl43_out_ga(.([]))) → P7_IN_AGAA(.([]))
U6_AGAA(select20_out_aga([])) → U7_AGAA([], vl30_out_ag(0))
P7_IN_AGAA(.([])) → U6_AGAA(select20_out_aga([]))
U7_AGAA([], vl30_out_ag(0)) → U9_AGAA([], vl43_out_ga(.([])))
U9_AGAA([], vl43_out_ga(.([]))) → P7_IN_AGAA(.([]))
VL6_IN_GA(s(T5), .(X23, X24)) → VL6_IN_GA(T5, X24)
vlcnd1_in_g(T2) → U15_g(T2, vl6_in_ga(T2, X6))
vl6_in_ga(0, []) → vl6_out_ga(0, [])
vl6_in_ga(s(T5), .(X23, X24)) → U1_ga(T5, X23, X24, vl6_in_ga(T5, X24))
U1_ga(T5, X23, X24, vl6_out_ga(T5, X24)) → vl6_out_ga(s(T5), .(X23, X24))
U15_g(T2, vl6_out_ga(T2, X6)) → vlcnd1_out_g(T2)
vlcnd1_in_g(T2) → U16_g(T2, vl6_in_ga(T2, T3))
U16_g(T2, vl6_out_ga(T2, T3)) → U17_g(T2, select20_in_aga(X7, T3, X8))
select20_in_aga(X39, .(T8, T10), .(T8, X40)) → U2_aga(X39, T8, T10, X40, select20_in_aga(X39, T10, X40))
select20_in_aga(X45, .(X45, T11), T11) → select20_out_aga(X45, .(X45, T11), T11)
U2_aga(X39, T8, T10, X40, select20_out_aga(X39, T10, X40)) → select20_out_aga(X39, .(T8, T10), .(T8, X40))
U17_g(T2, select20_out_aga(X7, T3, X8)) → vlcnd1_out_g(T2)
U16_g(T2, vl6_out_ga(T2, T3)) → U18_g(T2, select20_in_aga(T6, T3, T7))
U18_g(T2, select20_out_aga(T6, T3, T7)) → U19_g(T2, vl30_in_ag(X9, T7))
vl30_in_ag(0, []) → vl30_out_ag(0, [])
U19_g(T2, vl30_out_ag(X9, T7)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U20_g(T2, vl30_in_ag(T17, T7))
U20_g(T2, vl30_out_ag(T17, T7)) → U21_g(T2, vl43_in_ga(T17, X53))
vl43_in_ga(0, []) → vl43_out_ga(0, [])
vl43_in_ga(0, .(X70, [])) → vl43_out_ga(0, .(X70, []))
vl43_in_ga(s(T22), .(X70, X71)) → U13_ga(T22, X70, X71, vl43_in_ga(T22, X71))
vl43_in_ga(s(T24), .(X70, X71)) → U14_ga(T24, X70, X71, vl43_in_ga(T24, X71))
U14_ga(T24, X70, X71, vl43_out_ga(T24, X71)) → vl43_out_ga(s(T24), .(X70, X71))
U13_ga(T22, X70, X71, vl43_out_ga(T22, X71)) → vl43_out_ga(s(T22), .(X70, X71))
U21_g(T2, vl43_out_ga(T17, X53)) → vlcnd1_out_g(T2)
U20_g(T2, vl30_out_ag(T17, T7)) → U22_g(T2, vl43_in_ga(T17, T18))
U22_g(T2, vl43_out_ga(T17, T18)) → U23_g(T2, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(X7, T3, X8, X9) → U3_agaa(X7, T3, X8, X9, select20_in_aga(X7, T3, X8))
U3_agaa(X7, T3, X8, X9, select20_out_aga(X7, T3, X8)) → p7_out_agaa(X7, T3, X8, X9)
p7_in_agaa(T6, T3, T7, X9) → U4_agaa(T6, T3, T7, X9, select20_in_aga(T6, T3, T7))
U4_agaa(T6, T3, T7, X9, select20_out_aga(T6, T3, T7)) → U5_agaa(T6, T3, T7, X9, vl30_in_ag(X9, T7))
U5_agaa(T6, T3, T7, X9, vl30_out_ag(X9, T7)) → p7_out_agaa(T6, T3, T7, X9)
p7_in_agaa(T6, T3, T7, T17) → U6_agaa(T6, T3, T7, T17, select20_in_aga(T6, T3, T7))
U6_agaa(T6, T3, T7, T17, select20_out_aga(T6, T3, T7)) → U7_agaa(T6, T3, T7, T17, vl30_in_ag(T17, T7))
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U8_agaa(T6, T3, T7, T17, vl43_in_ga(T17, X53))
U8_agaa(T6, T3, T7, T17, vl43_out_ga(T17, X53)) → p7_out_agaa(T6, T3, T7, T17)
U7_agaa(T6, T3, T7, T17, vl30_out_ag(T17, T7)) → U9_agaa(T6, T3, T7, T17, vl43_in_ga(T17, T18))
U9_agaa(T6, T3, T7, T17, vl43_out_ga(T17, T18)) → U10_agaa(T6, T3, T7, T17, p7_in_agaa(X54, T18, X55, X56))
p7_in_agaa(T6, T3, T7, 0) → U11_agaa(T6, T3, T7, select20_in_aga(T6, T3, T7))
U11_agaa(T6, T3, T7, select20_out_aga(T6, T3, T7)) → U12_agaa(T6, T3, T7, vl30_in_gg(0, T7))
vl30_in_gg(0, []) → vl30_out_gg(0, [])
U12_agaa(T6, T3, T7, vl30_out_gg(0, T7)) → p7_out_agaa(T6, T3, T7, 0)
U10_agaa(T6, T3, T7, T17, p7_out_agaa(X54, T18, X55, X56)) → p7_out_agaa(T6, T3, T7, T17)
U23_g(T2, p7_out_agaa(X54, T18, X55, X56)) → vlcnd1_out_g(T2)
U18_g(T2, select20_out_aga(T6, T3, T7)) → U24_g(T2, vl30_in_gg(0, T7))
U24_g(T2, vl30_out_gg(0, T7)) → vlcnd1_out_g(T2)
vlcnd1_in_g(0) → vlcnd1_out_g(0)
VL6_IN_GA(s(T5), .(X23, X24)) → VL6_IN_GA(T5, X24)
VL6_IN_GA(s(T5)) → VL6_IN_GA(T5)
From the DPs we obtained the following set of size-change graphs: