0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇐)
↳2 Prolog
↳3 PrologToPiTRSProof (⇐)
↳4 PiTRS
↳5 DependencyPairsProof (⇔)
↳6 PiDP
↳7 DependencyGraphProof (⇔)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔)
↳11 PiDP
↳12 PiDPToQDPProof (⇐)
↳13 QDP
↳14 QDPSizeChangeProof (⇔)
↳15 YES
↳16 PiDP
↳17 UsableRulesProof (⇔)
↳18 PiDP
↳19 PiDPToQDPProof (⇐)
↳20 QDP
↳21 QDPSizeChangeProof (⇔)
↳22 YES
↳23 PiDP
↳24 UsableRulesProof (⇔)
↳25 PiDP
↳26 PiDPToQDPProof (⇐)
↳27 QDP
↳28 QDPSizeChangeProof (⇔)
↳29 YES
↳30 PiDP
↳31 UsableRulesProof (⇔)
↳32 PiDP
↳33 PiDPToQDPProof (⇐)
↳34 QDP
↳35 QDPSizeChangeProof (⇔)
↳36 YES
↳37 PiDP
↳38 UsableRulesProof (⇔)
↳39 PiDP
↳40 PiDPToQDPProof (⇐)
↳41 QDP
↳42 QDPSizeChangeProof (⇔)
↳43 YES
↳44 PiDP
↳45 UsableRulesProof (⇔)
↳46 PiDP
↳47 PiDPToQDPProof (⇐)
↳48 QDP
↳49 QDPSizeChangeProof (⇔)
↳50 YES
↳51 PiDP
↳52 UsableRulesProof (⇔)
↳53 PiDP
↳54 PiDPToQDPProof (⇐)
↳55 QDP
↳56 QDPSizeChangeProof (⇔)
↳57 YES
↳58 PiDP
↳59 UsableRulesProof (⇔)
↳60 PiDP
↳61 PiDPToQDPProof (⇐)
↳62 QDP
↳63 QDPSizeChangeProof (⇔)
↳64 YES
div1_in_gga(T7, T8, T10) → U18_gga(T7, T8, T10, quot3_in_gga(T7, T8, T10))
quot3_in_gga(0, s(T15), 0) → quot3_out_gga(0, s(T15), 0)
quot3_in_gga(s(0), s(s(T38)), 0) → quot3_out_gga(s(0), s(s(T38)), 0)
quot3_in_gga(s(s(0)), s(s(s(T61))), 0) → quot3_out_gga(s(s(0)), s(s(s(T61))), 0)
quot3_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quot3_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quot3_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quot3_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quot3_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quot3_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quot3_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quot3_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quot3_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U3_gga(T189, T190, T192, quot84_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quot84_in_ggga(0, s(T208), T209, 0) → quot84_out_ggga(0, s(T208), T209, 0)
quot84_in_ggga(s(T226), s(T227), T228, T230) → U1_ggga(T226, T227, T228, T230, quot84_in_ggga(T226, T227, T228, T230))
quot84_in_ggga(T241, 0, T242, s(T244)) → U2_ggga(T241, T242, T244, quot3_in_gga(T241, s(T242), T244))
quot3_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U4_gga(T251, T253, quot97_in_ga(T251, T253))
quot97_in_ga(0, 0) → quot97_out_ga(0, 0)
quot97_in_ga(s(0), 0) → quot97_out_ga(s(0), 0)
quot97_in_ga(s(s(0)), 0) → quot97_out_ga(s(s(0)), 0)
quot97_in_ga(s(s(s(0))), 0) → quot97_out_ga(s(s(s(0))), 0)
quot97_in_ga(s(s(s(s(0)))), 0) → quot97_out_ga(s(s(s(s(0)))), 0)
quot97_in_ga(s(s(s(s(s(0))))), 0) → quot97_out_ga(s(s(s(s(s(0))))), 0)
quot97_in_ga(s(s(s(s(s(s(0)))))), 0) → quot97_out_ga(s(s(s(s(s(s(0)))))), 0)
quot97_in_ga(s(s(s(s(s(s(s(T339))))))), s(T341)) → U11_ga(T339, T341, quot97_in_ga(T339, T341))
U11_ga(T339, T341, quot97_out_ga(T339, T341)) → quot97_out_ga(s(s(s(s(s(s(s(T339))))))), s(T341))
U4_gga(T251, T253, quot97_out_ga(T251, T253)) → quot3_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quot3_in_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → U5_gga(T353, T355, quot181_in_ga(T353, T355))
quot181_in_ga(0, 0) → quot181_out_ga(0, 0)
quot181_in_ga(s(0), 0) → quot181_out_ga(s(0), 0)
quot181_in_ga(s(s(0)), 0) → quot181_out_ga(s(s(0)), 0)
quot181_in_ga(s(s(s(0))), 0) → quot181_out_ga(s(s(s(0))), 0)
quot181_in_ga(s(s(s(s(0)))), 0) → quot181_out_ga(s(s(s(s(0)))), 0)
quot181_in_ga(s(s(s(s(s(0))))), 0) → quot181_out_ga(s(s(s(s(s(0))))), 0)
quot181_in_ga(s(s(s(s(s(s(T430)))))), s(T432)) → U12_ga(T430, T432, quot181_in_ga(T430, T432))
U12_ga(T430, T432, quot181_out_ga(T430, T432)) → quot181_out_ga(s(s(s(s(s(s(T430)))))), s(T432))
U5_gga(T353, T355, quot181_out_ga(T353, T355)) → quot3_out_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355))
quot3_in_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → U6_gga(T443, T445, quot254_in_ga(T443, T445))
quot254_in_ga(0, 0) → quot254_out_ga(0, 0)
quot254_in_ga(s(0), 0) → quot254_out_ga(s(0), 0)
quot254_in_ga(s(s(0)), 0) → quot254_out_ga(s(s(0)), 0)
quot254_in_ga(s(s(s(0))), 0) → quot254_out_ga(s(s(s(0))), 0)
quot254_in_ga(s(s(s(s(0)))), 0) → quot254_out_ga(s(s(s(s(0)))), 0)
quot254_in_ga(s(s(s(s(s(T509))))), s(T511)) → U13_ga(T509, T511, quot254_in_ga(T509, T511))
U13_ga(T509, T511, quot254_out_ga(T509, T511)) → quot254_out_ga(s(s(s(s(s(T509))))), s(T511))
U6_gga(T443, T445, quot254_out_ga(T443, T445)) → quot3_out_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445))
quot3_in_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → U7_gga(T521, T523, quot316_in_ga(T521, T523))
quot316_in_ga(0, 0) → quot316_out_ga(0, 0)
quot316_in_ga(s(0), 0) → quot316_out_ga(s(0), 0)
quot316_in_ga(s(s(0)), 0) → quot316_out_ga(s(s(0)), 0)
quot316_in_ga(s(s(s(0))), 0) → quot316_out_ga(s(s(s(0))), 0)
quot316_in_ga(s(s(s(s(T576)))), s(T578)) → U14_ga(T576, T578, quot316_in_ga(T576, T578))
U14_ga(T576, T578, quot316_out_ga(T576, T578)) → quot316_out_ga(s(s(s(s(T576)))), s(T578))
U7_gga(T521, T523, quot316_out_ga(T521, T523)) → quot3_out_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523))
quot3_in_gga(s(s(s(T587))), s(s(s(0))), s(T589)) → U8_gga(T587, T589, quot367_in_ga(T587, T589))
quot367_in_ga(0, 0) → quot367_out_ga(0, 0)
quot367_in_ga(s(0), 0) → quot367_out_ga(s(0), 0)
quot367_in_ga(s(s(0)), 0) → quot367_out_ga(s(s(0)), 0)
quot367_in_ga(s(s(s(T631))), s(T633)) → U15_ga(T631, T633, quot367_in_ga(T631, T633))
U15_ga(T631, T633, quot367_out_ga(T631, T633)) → quot367_out_ga(s(s(s(T631))), s(T633))
U8_gga(T587, T589, quot367_out_ga(T587, T589)) → quot3_out_gga(s(s(s(T587))), s(s(s(0))), s(T589))
quot3_in_gga(s(s(T641)), s(s(0)), s(T643)) → U9_gga(T641, T643, quot407_in_ga(T641, T643))
quot407_in_ga(0, 0) → quot407_out_ga(0, 0)
quot407_in_ga(s(0), 0) → quot407_out_ga(s(0), 0)
quot407_in_ga(s(s(T674)), s(T676)) → U16_ga(T674, T676, quot407_in_ga(T674, T676))
U16_ga(T674, T676, quot407_out_ga(T674, T676)) → quot407_out_ga(s(s(T674)), s(T676))
U9_gga(T641, T643, quot407_out_ga(T641, T643)) → quot3_out_gga(s(s(T641)), s(s(0)), s(T643))
quot3_in_gga(s(T683), s(0), s(T685)) → U10_gga(T683, T685, quot436_in_ga(T683, T685))
quot436_in_ga(0, 0) → quot436_out_ga(0, 0)
quot436_in_ga(s(T705), s(T707)) → U17_ga(T705, T707, quot436_in_ga(T705, T707))
U17_ga(T705, T707, quot436_out_ga(T705, T707)) → quot436_out_ga(s(T705), s(T707))
U10_gga(T683, T685, quot436_out_ga(T683, T685)) → quot3_out_gga(s(T683), s(0), s(T685))
U2_ggga(T241, T242, T244, quot3_out_gga(T241, s(T242), T244)) → quot84_out_ggga(T241, 0, T242, s(T244))
U1_ggga(T226, T227, T228, T230, quot84_out_ggga(T226, T227, T228, T230)) → quot84_out_ggga(s(T226), s(T227), T228, T230)
U3_gga(T189, T190, T192, quot84_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quot3_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U18_gga(T7, T8, T10, quot3_out_gga(T7, T8, T10)) → div1_out_gga(T7, T8, T10)
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
div1_in_gga(T7, T8, T10) → U18_gga(T7, T8, T10, quot3_in_gga(T7, T8, T10))
quot3_in_gga(0, s(T15), 0) → quot3_out_gga(0, s(T15), 0)
quot3_in_gga(s(0), s(s(T38)), 0) → quot3_out_gga(s(0), s(s(T38)), 0)
quot3_in_gga(s(s(0)), s(s(s(T61))), 0) → quot3_out_gga(s(s(0)), s(s(s(T61))), 0)
quot3_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quot3_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quot3_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quot3_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quot3_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quot3_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quot3_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quot3_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quot3_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U3_gga(T189, T190, T192, quot84_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quot84_in_ggga(0, s(T208), T209, 0) → quot84_out_ggga(0, s(T208), T209, 0)
quot84_in_ggga(s(T226), s(T227), T228, T230) → U1_ggga(T226, T227, T228, T230, quot84_in_ggga(T226, T227, T228, T230))
quot84_in_ggga(T241, 0, T242, s(T244)) → U2_ggga(T241, T242, T244, quot3_in_gga(T241, s(T242), T244))
quot3_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U4_gga(T251, T253, quot97_in_ga(T251, T253))
quot97_in_ga(0, 0) → quot97_out_ga(0, 0)
quot97_in_ga(s(0), 0) → quot97_out_ga(s(0), 0)
quot97_in_ga(s(s(0)), 0) → quot97_out_ga(s(s(0)), 0)
quot97_in_ga(s(s(s(0))), 0) → quot97_out_ga(s(s(s(0))), 0)
quot97_in_ga(s(s(s(s(0)))), 0) → quot97_out_ga(s(s(s(s(0)))), 0)
quot97_in_ga(s(s(s(s(s(0))))), 0) → quot97_out_ga(s(s(s(s(s(0))))), 0)
quot97_in_ga(s(s(s(s(s(s(0)))))), 0) → quot97_out_ga(s(s(s(s(s(s(0)))))), 0)
quot97_in_ga(s(s(s(s(s(s(s(T339))))))), s(T341)) → U11_ga(T339, T341, quot97_in_ga(T339, T341))
U11_ga(T339, T341, quot97_out_ga(T339, T341)) → quot97_out_ga(s(s(s(s(s(s(s(T339))))))), s(T341))
U4_gga(T251, T253, quot97_out_ga(T251, T253)) → quot3_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quot3_in_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → U5_gga(T353, T355, quot181_in_ga(T353, T355))
quot181_in_ga(0, 0) → quot181_out_ga(0, 0)
quot181_in_ga(s(0), 0) → quot181_out_ga(s(0), 0)
quot181_in_ga(s(s(0)), 0) → quot181_out_ga(s(s(0)), 0)
quot181_in_ga(s(s(s(0))), 0) → quot181_out_ga(s(s(s(0))), 0)
quot181_in_ga(s(s(s(s(0)))), 0) → quot181_out_ga(s(s(s(s(0)))), 0)
quot181_in_ga(s(s(s(s(s(0))))), 0) → quot181_out_ga(s(s(s(s(s(0))))), 0)
quot181_in_ga(s(s(s(s(s(s(T430)))))), s(T432)) → U12_ga(T430, T432, quot181_in_ga(T430, T432))
U12_ga(T430, T432, quot181_out_ga(T430, T432)) → quot181_out_ga(s(s(s(s(s(s(T430)))))), s(T432))
U5_gga(T353, T355, quot181_out_ga(T353, T355)) → quot3_out_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355))
quot3_in_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → U6_gga(T443, T445, quot254_in_ga(T443, T445))
quot254_in_ga(0, 0) → quot254_out_ga(0, 0)
quot254_in_ga(s(0), 0) → quot254_out_ga(s(0), 0)
quot254_in_ga(s(s(0)), 0) → quot254_out_ga(s(s(0)), 0)
quot254_in_ga(s(s(s(0))), 0) → quot254_out_ga(s(s(s(0))), 0)
quot254_in_ga(s(s(s(s(0)))), 0) → quot254_out_ga(s(s(s(s(0)))), 0)
quot254_in_ga(s(s(s(s(s(T509))))), s(T511)) → U13_ga(T509, T511, quot254_in_ga(T509, T511))
U13_ga(T509, T511, quot254_out_ga(T509, T511)) → quot254_out_ga(s(s(s(s(s(T509))))), s(T511))
U6_gga(T443, T445, quot254_out_ga(T443, T445)) → quot3_out_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445))
quot3_in_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → U7_gga(T521, T523, quot316_in_ga(T521, T523))
quot316_in_ga(0, 0) → quot316_out_ga(0, 0)
quot316_in_ga(s(0), 0) → quot316_out_ga(s(0), 0)
quot316_in_ga(s(s(0)), 0) → quot316_out_ga(s(s(0)), 0)
quot316_in_ga(s(s(s(0))), 0) → quot316_out_ga(s(s(s(0))), 0)
quot316_in_ga(s(s(s(s(T576)))), s(T578)) → U14_ga(T576, T578, quot316_in_ga(T576, T578))
U14_ga(T576, T578, quot316_out_ga(T576, T578)) → quot316_out_ga(s(s(s(s(T576)))), s(T578))
U7_gga(T521, T523, quot316_out_ga(T521, T523)) → quot3_out_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523))
quot3_in_gga(s(s(s(T587))), s(s(s(0))), s(T589)) → U8_gga(T587, T589, quot367_in_ga(T587, T589))
quot367_in_ga(0, 0) → quot367_out_ga(0, 0)
quot367_in_ga(s(0), 0) → quot367_out_ga(s(0), 0)
quot367_in_ga(s(s(0)), 0) → quot367_out_ga(s(s(0)), 0)
quot367_in_ga(s(s(s(T631))), s(T633)) → U15_ga(T631, T633, quot367_in_ga(T631, T633))
U15_ga(T631, T633, quot367_out_ga(T631, T633)) → quot367_out_ga(s(s(s(T631))), s(T633))
U8_gga(T587, T589, quot367_out_ga(T587, T589)) → quot3_out_gga(s(s(s(T587))), s(s(s(0))), s(T589))
quot3_in_gga(s(s(T641)), s(s(0)), s(T643)) → U9_gga(T641, T643, quot407_in_ga(T641, T643))
quot407_in_ga(0, 0) → quot407_out_ga(0, 0)
quot407_in_ga(s(0), 0) → quot407_out_ga(s(0), 0)
quot407_in_ga(s(s(T674)), s(T676)) → U16_ga(T674, T676, quot407_in_ga(T674, T676))
U16_ga(T674, T676, quot407_out_ga(T674, T676)) → quot407_out_ga(s(s(T674)), s(T676))
U9_gga(T641, T643, quot407_out_ga(T641, T643)) → quot3_out_gga(s(s(T641)), s(s(0)), s(T643))
quot3_in_gga(s(T683), s(0), s(T685)) → U10_gga(T683, T685, quot436_in_ga(T683, T685))
quot436_in_ga(0, 0) → quot436_out_ga(0, 0)
quot436_in_ga(s(T705), s(T707)) → U17_ga(T705, T707, quot436_in_ga(T705, T707))
U17_ga(T705, T707, quot436_out_ga(T705, T707)) → quot436_out_ga(s(T705), s(T707))
U10_gga(T683, T685, quot436_out_ga(T683, T685)) → quot3_out_gga(s(T683), s(0), s(T685))
U2_ggga(T241, T242, T244, quot3_out_gga(T241, s(T242), T244)) → quot84_out_ggga(T241, 0, T242, s(T244))
U1_ggga(T226, T227, T228, T230, quot84_out_ggga(T226, T227, T228, T230)) → quot84_out_ggga(s(T226), s(T227), T228, T230)
U3_gga(T189, T190, T192, quot84_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quot3_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U18_gga(T7, T8, T10, quot3_out_gga(T7, T8, T10)) → div1_out_gga(T7, T8, T10)
DIV1_IN_GGA(T7, T8, T10) → U18_GGA(T7, T8, T10, quot3_in_gga(T7, T8, T10))
DIV1_IN_GGA(T7, T8, T10) → QUOT3_IN_GGA(T7, T8, T10)
QUOT3_IN_GGA(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U3_GGA(T189, T190, T192, quot84_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
QUOT3_IN_GGA(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → QUOT84_IN_GGGA(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)
QUOT84_IN_GGGA(s(T226), s(T227), T228, T230) → U1_GGGA(T226, T227, T228, T230, quot84_in_ggga(T226, T227, T228, T230))
QUOT84_IN_GGGA(s(T226), s(T227), T228, T230) → QUOT84_IN_GGGA(T226, T227, T228, T230)
QUOT84_IN_GGGA(T241, 0, T242, s(T244)) → U2_GGGA(T241, T242, T244, quot3_in_gga(T241, s(T242), T244))
QUOT84_IN_GGGA(T241, 0, T242, s(T244)) → QUOT3_IN_GGA(T241, s(T242), T244)
QUOT3_IN_GGA(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U4_GGA(T251, T253, quot97_in_ga(T251, T253))
QUOT3_IN_GGA(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → QUOT97_IN_GA(T251, T253)
QUOT97_IN_GA(s(s(s(s(s(s(s(T339))))))), s(T341)) → U11_GA(T339, T341, quot97_in_ga(T339, T341))
QUOT97_IN_GA(s(s(s(s(s(s(s(T339))))))), s(T341)) → QUOT97_IN_GA(T339, T341)
QUOT3_IN_GGA(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → U5_GGA(T353, T355, quot181_in_ga(T353, T355))
QUOT3_IN_GGA(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → QUOT181_IN_GA(T353, T355)
QUOT181_IN_GA(s(s(s(s(s(s(T430)))))), s(T432)) → U12_GA(T430, T432, quot181_in_ga(T430, T432))
QUOT181_IN_GA(s(s(s(s(s(s(T430)))))), s(T432)) → QUOT181_IN_GA(T430, T432)
QUOT3_IN_GGA(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → U6_GGA(T443, T445, quot254_in_ga(T443, T445))
QUOT3_IN_GGA(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → QUOT254_IN_GA(T443, T445)
QUOT254_IN_GA(s(s(s(s(s(T509))))), s(T511)) → U13_GA(T509, T511, quot254_in_ga(T509, T511))
QUOT254_IN_GA(s(s(s(s(s(T509))))), s(T511)) → QUOT254_IN_GA(T509, T511)
QUOT3_IN_GGA(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → U7_GGA(T521, T523, quot316_in_ga(T521, T523))
QUOT3_IN_GGA(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → QUOT316_IN_GA(T521, T523)
QUOT316_IN_GA(s(s(s(s(T576)))), s(T578)) → U14_GA(T576, T578, quot316_in_ga(T576, T578))
QUOT316_IN_GA(s(s(s(s(T576)))), s(T578)) → QUOT316_IN_GA(T576, T578)
QUOT3_IN_GGA(s(s(s(T587))), s(s(s(0))), s(T589)) → U8_GGA(T587, T589, quot367_in_ga(T587, T589))
QUOT3_IN_GGA(s(s(s(T587))), s(s(s(0))), s(T589)) → QUOT367_IN_GA(T587, T589)
QUOT367_IN_GA(s(s(s(T631))), s(T633)) → U15_GA(T631, T633, quot367_in_ga(T631, T633))
QUOT367_IN_GA(s(s(s(T631))), s(T633)) → QUOT367_IN_GA(T631, T633)
QUOT3_IN_GGA(s(s(T641)), s(s(0)), s(T643)) → U9_GGA(T641, T643, quot407_in_ga(T641, T643))
QUOT3_IN_GGA(s(s(T641)), s(s(0)), s(T643)) → QUOT407_IN_GA(T641, T643)
QUOT407_IN_GA(s(s(T674)), s(T676)) → U16_GA(T674, T676, quot407_in_ga(T674, T676))
QUOT407_IN_GA(s(s(T674)), s(T676)) → QUOT407_IN_GA(T674, T676)
QUOT3_IN_GGA(s(T683), s(0), s(T685)) → U10_GGA(T683, T685, quot436_in_ga(T683, T685))
QUOT3_IN_GGA(s(T683), s(0), s(T685)) → QUOT436_IN_GA(T683, T685)
QUOT436_IN_GA(s(T705), s(T707)) → U17_GA(T705, T707, quot436_in_ga(T705, T707))
QUOT436_IN_GA(s(T705), s(T707)) → QUOT436_IN_GA(T705, T707)
div1_in_gga(T7, T8, T10) → U18_gga(T7, T8, T10, quot3_in_gga(T7, T8, T10))
quot3_in_gga(0, s(T15), 0) → quot3_out_gga(0, s(T15), 0)
quot3_in_gga(s(0), s(s(T38)), 0) → quot3_out_gga(s(0), s(s(T38)), 0)
quot3_in_gga(s(s(0)), s(s(s(T61))), 0) → quot3_out_gga(s(s(0)), s(s(s(T61))), 0)
quot3_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quot3_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quot3_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quot3_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quot3_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quot3_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quot3_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quot3_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quot3_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U3_gga(T189, T190, T192, quot84_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quot84_in_ggga(0, s(T208), T209, 0) → quot84_out_ggga(0, s(T208), T209, 0)
quot84_in_ggga(s(T226), s(T227), T228, T230) → U1_ggga(T226, T227, T228, T230, quot84_in_ggga(T226, T227, T228, T230))
quot84_in_ggga(T241, 0, T242, s(T244)) → U2_ggga(T241, T242, T244, quot3_in_gga(T241, s(T242), T244))
quot3_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U4_gga(T251, T253, quot97_in_ga(T251, T253))
quot97_in_ga(0, 0) → quot97_out_ga(0, 0)
quot97_in_ga(s(0), 0) → quot97_out_ga(s(0), 0)
quot97_in_ga(s(s(0)), 0) → quot97_out_ga(s(s(0)), 0)
quot97_in_ga(s(s(s(0))), 0) → quot97_out_ga(s(s(s(0))), 0)
quot97_in_ga(s(s(s(s(0)))), 0) → quot97_out_ga(s(s(s(s(0)))), 0)
quot97_in_ga(s(s(s(s(s(0))))), 0) → quot97_out_ga(s(s(s(s(s(0))))), 0)
quot97_in_ga(s(s(s(s(s(s(0)))))), 0) → quot97_out_ga(s(s(s(s(s(s(0)))))), 0)
quot97_in_ga(s(s(s(s(s(s(s(T339))))))), s(T341)) → U11_ga(T339, T341, quot97_in_ga(T339, T341))
U11_ga(T339, T341, quot97_out_ga(T339, T341)) → quot97_out_ga(s(s(s(s(s(s(s(T339))))))), s(T341))
U4_gga(T251, T253, quot97_out_ga(T251, T253)) → quot3_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quot3_in_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → U5_gga(T353, T355, quot181_in_ga(T353, T355))
quot181_in_ga(0, 0) → quot181_out_ga(0, 0)
quot181_in_ga(s(0), 0) → quot181_out_ga(s(0), 0)
quot181_in_ga(s(s(0)), 0) → quot181_out_ga(s(s(0)), 0)
quot181_in_ga(s(s(s(0))), 0) → quot181_out_ga(s(s(s(0))), 0)
quot181_in_ga(s(s(s(s(0)))), 0) → quot181_out_ga(s(s(s(s(0)))), 0)
quot181_in_ga(s(s(s(s(s(0))))), 0) → quot181_out_ga(s(s(s(s(s(0))))), 0)
quot181_in_ga(s(s(s(s(s(s(T430)))))), s(T432)) → U12_ga(T430, T432, quot181_in_ga(T430, T432))
U12_ga(T430, T432, quot181_out_ga(T430, T432)) → quot181_out_ga(s(s(s(s(s(s(T430)))))), s(T432))
U5_gga(T353, T355, quot181_out_ga(T353, T355)) → quot3_out_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355))
quot3_in_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → U6_gga(T443, T445, quot254_in_ga(T443, T445))
quot254_in_ga(0, 0) → quot254_out_ga(0, 0)
quot254_in_ga(s(0), 0) → quot254_out_ga(s(0), 0)
quot254_in_ga(s(s(0)), 0) → quot254_out_ga(s(s(0)), 0)
quot254_in_ga(s(s(s(0))), 0) → quot254_out_ga(s(s(s(0))), 0)
quot254_in_ga(s(s(s(s(0)))), 0) → quot254_out_ga(s(s(s(s(0)))), 0)
quot254_in_ga(s(s(s(s(s(T509))))), s(T511)) → U13_ga(T509, T511, quot254_in_ga(T509, T511))
U13_ga(T509, T511, quot254_out_ga(T509, T511)) → quot254_out_ga(s(s(s(s(s(T509))))), s(T511))
U6_gga(T443, T445, quot254_out_ga(T443, T445)) → quot3_out_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445))
quot3_in_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → U7_gga(T521, T523, quot316_in_ga(T521, T523))
quot316_in_ga(0, 0) → quot316_out_ga(0, 0)
quot316_in_ga(s(0), 0) → quot316_out_ga(s(0), 0)
quot316_in_ga(s(s(0)), 0) → quot316_out_ga(s(s(0)), 0)
quot316_in_ga(s(s(s(0))), 0) → quot316_out_ga(s(s(s(0))), 0)
quot316_in_ga(s(s(s(s(T576)))), s(T578)) → U14_ga(T576, T578, quot316_in_ga(T576, T578))
U14_ga(T576, T578, quot316_out_ga(T576, T578)) → quot316_out_ga(s(s(s(s(T576)))), s(T578))
U7_gga(T521, T523, quot316_out_ga(T521, T523)) → quot3_out_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523))
quot3_in_gga(s(s(s(T587))), s(s(s(0))), s(T589)) → U8_gga(T587, T589, quot367_in_ga(T587, T589))
quot367_in_ga(0, 0) → quot367_out_ga(0, 0)
quot367_in_ga(s(0), 0) → quot367_out_ga(s(0), 0)
quot367_in_ga(s(s(0)), 0) → quot367_out_ga(s(s(0)), 0)
quot367_in_ga(s(s(s(T631))), s(T633)) → U15_ga(T631, T633, quot367_in_ga(T631, T633))
U15_ga(T631, T633, quot367_out_ga(T631, T633)) → quot367_out_ga(s(s(s(T631))), s(T633))
U8_gga(T587, T589, quot367_out_ga(T587, T589)) → quot3_out_gga(s(s(s(T587))), s(s(s(0))), s(T589))
quot3_in_gga(s(s(T641)), s(s(0)), s(T643)) → U9_gga(T641, T643, quot407_in_ga(T641, T643))
quot407_in_ga(0, 0) → quot407_out_ga(0, 0)
quot407_in_ga(s(0), 0) → quot407_out_ga(s(0), 0)
quot407_in_ga(s(s(T674)), s(T676)) → U16_ga(T674, T676, quot407_in_ga(T674, T676))
U16_ga(T674, T676, quot407_out_ga(T674, T676)) → quot407_out_ga(s(s(T674)), s(T676))
U9_gga(T641, T643, quot407_out_ga(T641, T643)) → quot3_out_gga(s(s(T641)), s(s(0)), s(T643))
quot3_in_gga(s(T683), s(0), s(T685)) → U10_gga(T683, T685, quot436_in_ga(T683, T685))
quot436_in_ga(0, 0) → quot436_out_ga(0, 0)
quot436_in_ga(s(T705), s(T707)) → U17_ga(T705, T707, quot436_in_ga(T705, T707))
U17_ga(T705, T707, quot436_out_ga(T705, T707)) → quot436_out_ga(s(T705), s(T707))
U10_gga(T683, T685, quot436_out_ga(T683, T685)) → quot3_out_gga(s(T683), s(0), s(T685))
U2_ggga(T241, T242, T244, quot3_out_gga(T241, s(T242), T244)) → quot84_out_ggga(T241, 0, T242, s(T244))
U1_ggga(T226, T227, T228, T230, quot84_out_ggga(T226, T227, T228, T230)) → quot84_out_ggga(s(T226), s(T227), T228, T230)
U3_gga(T189, T190, T192, quot84_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quot3_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U18_gga(T7, T8, T10, quot3_out_gga(T7, T8, T10)) → div1_out_gga(T7, T8, T10)
DIV1_IN_GGA(T7, T8, T10) → U18_GGA(T7, T8, T10, quot3_in_gga(T7, T8, T10))
DIV1_IN_GGA(T7, T8, T10) → QUOT3_IN_GGA(T7, T8, T10)
QUOT3_IN_GGA(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U3_GGA(T189, T190, T192, quot84_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
QUOT3_IN_GGA(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → QUOT84_IN_GGGA(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)
QUOT84_IN_GGGA(s(T226), s(T227), T228, T230) → U1_GGGA(T226, T227, T228, T230, quot84_in_ggga(T226, T227, T228, T230))
QUOT84_IN_GGGA(s(T226), s(T227), T228, T230) → QUOT84_IN_GGGA(T226, T227, T228, T230)
QUOT84_IN_GGGA(T241, 0, T242, s(T244)) → U2_GGGA(T241, T242, T244, quot3_in_gga(T241, s(T242), T244))
QUOT84_IN_GGGA(T241, 0, T242, s(T244)) → QUOT3_IN_GGA(T241, s(T242), T244)
QUOT3_IN_GGA(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U4_GGA(T251, T253, quot97_in_ga(T251, T253))
QUOT3_IN_GGA(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → QUOT97_IN_GA(T251, T253)
QUOT97_IN_GA(s(s(s(s(s(s(s(T339))))))), s(T341)) → U11_GA(T339, T341, quot97_in_ga(T339, T341))
QUOT97_IN_GA(s(s(s(s(s(s(s(T339))))))), s(T341)) → QUOT97_IN_GA(T339, T341)
QUOT3_IN_GGA(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → U5_GGA(T353, T355, quot181_in_ga(T353, T355))
QUOT3_IN_GGA(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → QUOT181_IN_GA(T353, T355)
QUOT181_IN_GA(s(s(s(s(s(s(T430)))))), s(T432)) → U12_GA(T430, T432, quot181_in_ga(T430, T432))
QUOT181_IN_GA(s(s(s(s(s(s(T430)))))), s(T432)) → QUOT181_IN_GA(T430, T432)
QUOT3_IN_GGA(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → U6_GGA(T443, T445, quot254_in_ga(T443, T445))
QUOT3_IN_GGA(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → QUOT254_IN_GA(T443, T445)
QUOT254_IN_GA(s(s(s(s(s(T509))))), s(T511)) → U13_GA(T509, T511, quot254_in_ga(T509, T511))
QUOT254_IN_GA(s(s(s(s(s(T509))))), s(T511)) → QUOT254_IN_GA(T509, T511)
QUOT3_IN_GGA(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → U7_GGA(T521, T523, quot316_in_ga(T521, T523))
QUOT3_IN_GGA(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → QUOT316_IN_GA(T521, T523)
QUOT316_IN_GA(s(s(s(s(T576)))), s(T578)) → U14_GA(T576, T578, quot316_in_ga(T576, T578))
QUOT316_IN_GA(s(s(s(s(T576)))), s(T578)) → QUOT316_IN_GA(T576, T578)
QUOT3_IN_GGA(s(s(s(T587))), s(s(s(0))), s(T589)) → U8_GGA(T587, T589, quot367_in_ga(T587, T589))
QUOT3_IN_GGA(s(s(s(T587))), s(s(s(0))), s(T589)) → QUOT367_IN_GA(T587, T589)
QUOT367_IN_GA(s(s(s(T631))), s(T633)) → U15_GA(T631, T633, quot367_in_ga(T631, T633))
QUOT367_IN_GA(s(s(s(T631))), s(T633)) → QUOT367_IN_GA(T631, T633)
QUOT3_IN_GGA(s(s(T641)), s(s(0)), s(T643)) → U9_GGA(T641, T643, quot407_in_ga(T641, T643))
QUOT3_IN_GGA(s(s(T641)), s(s(0)), s(T643)) → QUOT407_IN_GA(T641, T643)
QUOT407_IN_GA(s(s(T674)), s(T676)) → U16_GA(T674, T676, quot407_in_ga(T674, T676))
QUOT407_IN_GA(s(s(T674)), s(T676)) → QUOT407_IN_GA(T674, T676)
QUOT3_IN_GGA(s(T683), s(0), s(T685)) → U10_GGA(T683, T685, quot436_in_ga(T683, T685))
QUOT3_IN_GGA(s(T683), s(0), s(T685)) → QUOT436_IN_GA(T683, T685)
QUOT436_IN_GA(s(T705), s(T707)) → U17_GA(T705, T707, quot436_in_ga(T705, T707))
QUOT436_IN_GA(s(T705), s(T707)) → QUOT436_IN_GA(T705, T707)
div1_in_gga(T7, T8, T10) → U18_gga(T7, T8, T10, quot3_in_gga(T7, T8, T10))
quot3_in_gga(0, s(T15), 0) → quot3_out_gga(0, s(T15), 0)
quot3_in_gga(s(0), s(s(T38)), 0) → quot3_out_gga(s(0), s(s(T38)), 0)
quot3_in_gga(s(s(0)), s(s(s(T61))), 0) → quot3_out_gga(s(s(0)), s(s(s(T61))), 0)
quot3_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quot3_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quot3_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quot3_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quot3_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quot3_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quot3_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quot3_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quot3_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U3_gga(T189, T190, T192, quot84_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quot84_in_ggga(0, s(T208), T209, 0) → quot84_out_ggga(0, s(T208), T209, 0)
quot84_in_ggga(s(T226), s(T227), T228, T230) → U1_ggga(T226, T227, T228, T230, quot84_in_ggga(T226, T227, T228, T230))
quot84_in_ggga(T241, 0, T242, s(T244)) → U2_ggga(T241, T242, T244, quot3_in_gga(T241, s(T242), T244))
quot3_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U4_gga(T251, T253, quot97_in_ga(T251, T253))
quot97_in_ga(0, 0) → quot97_out_ga(0, 0)
quot97_in_ga(s(0), 0) → quot97_out_ga(s(0), 0)
quot97_in_ga(s(s(0)), 0) → quot97_out_ga(s(s(0)), 0)
quot97_in_ga(s(s(s(0))), 0) → quot97_out_ga(s(s(s(0))), 0)
quot97_in_ga(s(s(s(s(0)))), 0) → quot97_out_ga(s(s(s(s(0)))), 0)
quot97_in_ga(s(s(s(s(s(0))))), 0) → quot97_out_ga(s(s(s(s(s(0))))), 0)
quot97_in_ga(s(s(s(s(s(s(0)))))), 0) → quot97_out_ga(s(s(s(s(s(s(0)))))), 0)
quot97_in_ga(s(s(s(s(s(s(s(T339))))))), s(T341)) → U11_ga(T339, T341, quot97_in_ga(T339, T341))
U11_ga(T339, T341, quot97_out_ga(T339, T341)) → quot97_out_ga(s(s(s(s(s(s(s(T339))))))), s(T341))
U4_gga(T251, T253, quot97_out_ga(T251, T253)) → quot3_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quot3_in_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → U5_gga(T353, T355, quot181_in_ga(T353, T355))
quot181_in_ga(0, 0) → quot181_out_ga(0, 0)
quot181_in_ga(s(0), 0) → quot181_out_ga(s(0), 0)
quot181_in_ga(s(s(0)), 0) → quot181_out_ga(s(s(0)), 0)
quot181_in_ga(s(s(s(0))), 0) → quot181_out_ga(s(s(s(0))), 0)
quot181_in_ga(s(s(s(s(0)))), 0) → quot181_out_ga(s(s(s(s(0)))), 0)
quot181_in_ga(s(s(s(s(s(0))))), 0) → quot181_out_ga(s(s(s(s(s(0))))), 0)
quot181_in_ga(s(s(s(s(s(s(T430)))))), s(T432)) → U12_ga(T430, T432, quot181_in_ga(T430, T432))
U12_ga(T430, T432, quot181_out_ga(T430, T432)) → quot181_out_ga(s(s(s(s(s(s(T430)))))), s(T432))
U5_gga(T353, T355, quot181_out_ga(T353, T355)) → quot3_out_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355))
quot3_in_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → U6_gga(T443, T445, quot254_in_ga(T443, T445))
quot254_in_ga(0, 0) → quot254_out_ga(0, 0)
quot254_in_ga(s(0), 0) → quot254_out_ga(s(0), 0)
quot254_in_ga(s(s(0)), 0) → quot254_out_ga(s(s(0)), 0)
quot254_in_ga(s(s(s(0))), 0) → quot254_out_ga(s(s(s(0))), 0)
quot254_in_ga(s(s(s(s(0)))), 0) → quot254_out_ga(s(s(s(s(0)))), 0)
quot254_in_ga(s(s(s(s(s(T509))))), s(T511)) → U13_ga(T509, T511, quot254_in_ga(T509, T511))
U13_ga(T509, T511, quot254_out_ga(T509, T511)) → quot254_out_ga(s(s(s(s(s(T509))))), s(T511))
U6_gga(T443, T445, quot254_out_ga(T443, T445)) → quot3_out_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445))
quot3_in_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → U7_gga(T521, T523, quot316_in_ga(T521, T523))
quot316_in_ga(0, 0) → quot316_out_ga(0, 0)
quot316_in_ga(s(0), 0) → quot316_out_ga(s(0), 0)
quot316_in_ga(s(s(0)), 0) → quot316_out_ga(s(s(0)), 0)
quot316_in_ga(s(s(s(0))), 0) → quot316_out_ga(s(s(s(0))), 0)
quot316_in_ga(s(s(s(s(T576)))), s(T578)) → U14_ga(T576, T578, quot316_in_ga(T576, T578))
U14_ga(T576, T578, quot316_out_ga(T576, T578)) → quot316_out_ga(s(s(s(s(T576)))), s(T578))
U7_gga(T521, T523, quot316_out_ga(T521, T523)) → quot3_out_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523))
quot3_in_gga(s(s(s(T587))), s(s(s(0))), s(T589)) → U8_gga(T587, T589, quot367_in_ga(T587, T589))
quot367_in_ga(0, 0) → quot367_out_ga(0, 0)
quot367_in_ga(s(0), 0) → quot367_out_ga(s(0), 0)
quot367_in_ga(s(s(0)), 0) → quot367_out_ga(s(s(0)), 0)
quot367_in_ga(s(s(s(T631))), s(T633)) → U15_ga(T631, T633, quot367_in_ga(T631, T633))
U15_ga(T631, T633, quot367_out_ga(T631, T633)) → quot367_out_ga(s(s(s(T631))), s(T633))
U8_gga(T587, T589, quot367_out_ga(T587, T589)) → quot3_out_gga(s(s(s(T587))), s(s(s(0))), s(T589))
quot3_in_gga(s(s(T641)), s(s(0)), s(T643)) → U9_gga(T641, T643, quot407_in_ga(T641, T643))
quot407_in_ga(0, 0) → quot407_out_ga(0, 0)
quot407_in_ga(s(0), 0) → quot407_out_ga(s(0), 0)
quot407_in_ga(s(s(T674)), s(T676)) → U16_ga(T674, T676, quot407_in_ga(T674, T676))
U16_ga(T674, T676, quot407_out_ga(T674, T676)) → quot407_out_ga(s(s(T674)), s(T676))
U9_gga(T641, T643, quot407_out_ga(T641, T643)) → quot3_out_gga(s(s(T641)), s(s(0)), s(T643))
quot3_in_gga(s(T683), s(0), s(T685)) → U10_gga(T683, T685, quot436_in_ga(T683, T685))
quot436_in_ga(0, 0) → quot436_out_ga(0, 0)
quot436_in_ga(s(T705), s(T707)) → U17_ga(T705, T707, quot436_in_ga(T705, T707))
U17_ga(T705, T707, quot436_out_ga(T705, T707)) → quot436_out_ga(s(T705), s(T707))
U10_gga(T683, T685, quot436_out_ga(T683, T685)) → quot3_out_gga(s(T683), s(0), s(T685))
U2_ggga(T241, T242, T244, quot3_out_gga(T241, s(T242), T244)) → quot84_out_ggga(T241, 0, T242, s(T244))
U1_ggga(T226, T227, T228, T230, quot84_out_ggga(T226, T227, T228, T230)) → quot84_out_ggga(s(T226), s(T227), T228, T230)
U3_gga(T189, T190, T192, quot84_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quot3_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U18_gga(T7, T8, T10, quot3_out_gga(T7, T8, T10)) → div1_out_gga(T7, T8, T10)
QUOT436_IN_GA(s(T705), s(T707)) → QUOT436_IN_GA(T705, T707)
div1_in_gga(T7, T8, T10) → U18_gga(T7, T8, T10, quot3_in_gga(T7, T8, T10))
quot3_in_gga(0, s(T15), 0) → quot3_out_gga(0, s(T15), 0)
quot3_in_gga(s(0), s(s(T38)), 0) → quot3_out_gga(s(0), s(s(T38)), 0)
quot3_in_gga(s(s(0)), s(s(s(T61))), 0) → quot3_out_gga(s(s(0)), s(s(s(T61))), 0)
quot3_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quot3_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quot3_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quot3_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quot3_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quot3_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quot3_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quot3_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quot3_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U3_gga(T189, T190, T192, quot84_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quot84_in_ggga(0, s(T208), T209, 0) → quot84_out_ggga(0, s(T208), T209, 0)
quot84_in_ggga(s(T226), s(T227), T228, T230) → U1_ggga(T226, T227, T228, T230, quot84_in_ggga(T226, T227, T228, T230))
quot84_in_ggga(T241, 0, T242, s(T244)) → U2_ggga(T241, T242, T244, quot3_in_gga(T241, s(T242), T244))
quot3_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U4_gga(T251, T253, quot97_in_ga(T251, T253))
quot97_in_ga(0, 0) → quot97_out_ga(0, 0)
quot97_in_ga(s(0), 0) → quot97_out_ga(s(0), 0)
quot97_in_ga(s(s(0)), 0) → quot97_out_ga(s(s(0)), 0)
quot97_in_ga(s(s(s(0))), 0) → quot97_out_ga(s(s(s(0))), 0)
quot97_in_ga(s(s(s(s(0)))), 0) → quot97_out_ga(s(s(s(s(0)))), 0)
quot97_in_ga(s(s(s(s(s(0))))), 0) → quot97_out_ga(s(s(s(s(s(0))))), 0)
quot97_in_ga(s(s(s(s(s(s(0)))))), 0) → quot97_out_ga(s(s(s(s(s(s(0)))))), 0)
quot97_in_ga(s(s(s(s(s(s(s(T339))))))), s(T341)) → U11_ga(T339, T341, quot97_in_ga(T339, T341))
U11_ga(T339, T341, quot97_out_ga(T339, T341)) → quot97_out_ga(s(s(s(s(s(s(s(T339))))))), s(T341))
U4_gga(T251, T253, quot97_out_ga(T251, T253)) → quot3_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quot3_in_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → U5_gga(T353, T355, quot181_in_ga(T353, T355))
quot181_in_ga(0, 0) → quot181_out_ga(0, 0)
quot181_in_ga(s(0), 0) → quot181_out_ga(s(0), 0)
quot181_in_ga(s(s(0)), 0) → quot181_out_ga(s(s(0)), 0)
quot181_in_ga(s(s(s(0))), 0) → quot181_out_ga(s(s(s(0))), 0)
quot181_in_ga(s(s(s(s(0)))), 0) → quot181_out_ga(s(s(s(s(0)))), 0)
quot181_in_ga(s(s(s(s(s(0))))), 0) → quot181_out_ga(s(s(s(s(s(0))))), 0)
quot181_in_ga(s(s(s(s(s(s(T430)))))), s(T432)) → U12_ga(T430, T432, quot181_in_ga(T430, T432))
U12_ga(T430, T432, quot181_out_ga(T430, T432)) → quot181_out_ga(s(s(s(s(s(s(T430)))))), s(T432))
U5_gga(T353, T355, quot181_out_ga(T353, T355)) → quot3_out_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355))
quot3_in_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → U6_gga(T443, T445, quot254_in_ga(T443, T445))
quot254_in_ga(0, 0) → quot254_out_ga(0, 0)
quot254_in_ga(s(0), 0) → quot254_out_ga(s(0), 0)
quot254_in_ga(s(s(0)), 0) → quot254_out_ga(s(s(0)), 0)
quot254_in_ga(s(s(s(0))), 0) → quot254_out_ga(s(s(s(0))), 0)
quot254_in_ga(s(s(s(s(0)))), 0) → quot254_out_ga(s(s(s(s(0)))), 0)
quot254_in_ga(s(s(s(s(s(T509))))), s(T511)) → U13_ga(T509, T511, quot254_in_ga(T509, T511))
U13_ga(T509, T511, quot254_out_ga(T509, T511)) → quot254_out_ga(s(s(s(s(s(T509))))), s(T511))
U6_gga(T443, T445, quot254_out_ga(T443, T445)) → quot3_out_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445))
quot3_in_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → U7_gga(T521, T523, quot316_in_ga(T521, T523))
quot316_in_ga(0, 0) → quot316_out_ga(0, 0)
quot316_in_ga(s(0), 0) → quot316_out_ga(s(0), 0)
quot316_in_ga(s(s(0)), 0) → quot316_out_ga(s(s(0)), 0)
quot316_in_ga(s(s(s(0))), 0) → quot316_out_ga(s(s(s(0))), 0)
quot316_in_ga(s(s(s(s(T576)))), s(T578)) → U14_ga(T576, T578, quot316_in_ga(T576, T578))
U14_ga(T576, T578, quot316_out_ga(T576, T578)) → quot316_out_ga(s(s(s(s(T576)))), s(T578))
U7_gga(T521, T523, quot316_out_ga(T521, T523)) → quot3_out_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523))
quot3_in_gga(s(s(s(T587))), s(s(s(0))), s(T589)) → U8_gga(T587, T589, quot367_in_ga(T587, T589))
quot367_in_ga(0, 0) → quot367_out_ga(0, 0)
quot367_in_ga(s(0), 0) → quot367_out_ga(s(0), 0)
quot367_in_ga(s(s(0)), 0) → quot367_out_ga(s(s(0)), 0)
quot367_in_ga(s(s(s(T631))), s(T633)) → U15_ga(T631, T633, quot367_in_ga(T631, T633))
U15_ga(T631, T633, quot367_out_ga(T631, T633)) → quot367_out_ga(s(s(s(T631))), s(T633))
U8_gga(T587, T589, quot367_out_ga(T587, T589)) → quot3_out_gga(s(s(s(T587))), s(s(s(0))), s(T589))
quot3_in_gga(s(s(T641)), s(s(0)), s(T643)) → U9_gga(T641, T643, quot407_in_ga(T641, T643))
quot407_in_ga(0, 0) → quot407_out_ga(0, 0)
quot407_in_ga(s(0), 0) → quot407_out_ga(s(0), 0)
quot407_in_ga(s(s(T674)), s(T676)) → U16_ga(T674, T676, quot407_in_ga(T674, T676))
U16_ga(T674, T676, quot407_out_ga(T674, T676)) → quot407_out_ga(s(s(T674)), s(T676))
U9_gga(T641, T643, quot407_out_ga(T641, T643)) → quot3_out_gga(s(s(T641)), s(s(0)), s(T643))
quot3_in_gga(s(T683), s(0), s(T685)) → U10_gga(T683, T685, quot436_in_ga(T683, T685))
quot436_in_ga(0, 0) → quot436_out_ga(0, 0)
quot436_in_ga(s(T705), s(T707)) → U17_ga(T705, T707, quot436_in_ga(T705, T707))
U17_ga(T705, T707, quot436_out_ga(T705, T707)) → quot436_out_ga(s(T705), s(T707))
U10_gga(T683, T685, quot436_out_ga(T683, T685)) → quot3_out_gga(s(T683), s(0), s(T685))
U2_ggga(T241, T242, T244, quot3_out_gga(T241, s(T242), T244)) → quot84_out_ggga(T241, 0, T242, s(T244))
U1_ggga(T226, T227, T228, T230, quot84_out_ggga(T226, T227, T228, T230)) → quot84_out_ggga(s(T226), s(T227), T228, T230)
U3_gga(T189, T190, T192, quot84_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quot3_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U18_gga(T7, T8, T10, quot3_out_gga(T7, T8, T10)) → div1_out_gga(T7, T8, T10)
QUOT436_IN_GA(s(T705), s(T707)) → QUOT436_IN_GA(T705, T707)
QUOT436_IN_GA(s(T705)) → QUOT436_IN_GA(T705)
From the DPs we obtained the following set of size-change graphs:
QUOT407_IN_GA(s(s(T674)), s(T676)) → QUOT407_IN_GA(T674, T676)
div1_in_gga(T7, T8, T10) → U18_gga(T7, T8, T10, quot3_in_gga(T7, T8, T10))
quot3_in_gga(0, s(T15), 0) → quot3_out_gga(0, s(T15), 0)
quot3_in_gga(s(0), s(s(T38)), 0) → quot3_out_gga(s(0), s(s(T38)), 0)
quot3_in_gga(s(s(0)), s(s(s(T61))), 0) → quot3_out_gga(s(s(0)), s(s(s(T61))), 0)
quot3_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quot3_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quot3_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quot3_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quot3_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quot3_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quot3_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quot3_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quot3_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U3_gga(T189, T190, T192, quot84_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quot84_in_ggga(0, s(T208), T209, 0) → quot84_out_ggga(0, s(T208), T209, 0)
quot84_in_ggga(s(T226), s(T227), T228, T230) → U1_ggga(T226, T227, T228, T230, quot84_in_ggga(T226, T227, T228, T230))
quot84_in_ggga(T241, 0, T242, s(T244)) → U2_ggga(T241, T242, T244, quot3_in_gga(T241, s(T242), T244))
quot3_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U4_gga(T251, T253, quot97_in_ga(T251, T253))
quot97_in_ga(0, 0) → quot97_out_ga(0, 0)
quot97_in_ga(s(0), 0) → quot97_out_ga(s(0), 0)
quot97_in_ga(s(s(0)), 0) → quot97_out_ga(s(s(0)), 0)
quot97_in_ga(s(s(s(0))), 0) → quot97_out_ga(s(s(s(0))), 0)
quot97_in_ga(s(s(s(s(0)))), 0) → quot97_out_ga(s(s(s(s(0)))), 0)
quot97_in_ga(s(s(s(s(s(0))))), 0) → quot97_out_ga(s(s(s(s(s(0))))), 0)
quot97_in_ga(s(s(s(s(s(s(0)))))), 0) → quot97_out_ga(s(s(s(s(s(s(0)))))), 0)
quot97_in_ga(s(s(s(s(s(s(s(T339))))))), s(T341)) → U11_ga(T339, T341, quot97_in_ga(T339, T341))
U11_ga(T339, T341, quot97_out_ga(T339, T341)) → quot97_out_ga(s(s(s(s(s(s(s(T339))))))), s(T341))
U4_gga(T251, T253, quot97_out_ga(T251, T253)) → quot3_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quot3_in_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → U5_gga(T353, T355, quot181_in_ga(T353, T355))
quot181_in_ga(0, 0) → quot181_out_ga(0, 0)
quot181_in_ga(s(0), 0) → quot181_out_ga(s(0), 0)
quot181_in_ga(s(s(0)), 0) → quot181_out_ga(s(s(0)), 0)
quot181_in_ga(s(s(s(0))), 0) → quot181_out_ga(s(s(s(0))), 0)
quot181_in_ga(s(s(s(s(0)))), 0) → quot181_out_ga(s(s(s(s(0)))), 0)
quot181_in_ga(s(s(s(s(s(0))))), 0) → quot181_out_ga(s(s(s(s(s(0))))), 0)
quot181_in_ga(s(s(s(s(s(s(T430)))))), s(T432)) → U12_ga(T430, T432, quot181_in_ga(T430, T432))
U12_ga(T430, T432, quot181_out_ga(T430, T432)) → quot181_out_ga(s(s(s(s(s(s(T430)))))), s(T432))
U5_gga(T353, T355, quot181_out_ga(T353, T355)) → quot3_out_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355))
quot3_in_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → U6_gga(T443, T445, quot254_in_ga(T443, T445))
quot254_in_ga(0, 0) → quot254_out_ga(0, 0)
quot254_in_ga(s(0), 0) → quot254_out_ga(s(0), 0)
quot254_in_ga(s(s(0)), 0) → quot254_out_ga(s(s(0)), 0)
quot254_in_ga(s(s(s(0))), 0) → quot254_out_ga(s(s(s(0))), 0)
quot254_in_ga(s(s(s(s(0)))), 0) → quot254_out_ga(s(s(s(s(0)))), 0)
quot254_in_ga(s(s(s(s(s(T509))))), s(T511)) → U13_ga(T509, T511, quot254_in_ga(T509, T511))
U13_ga(T509, T511, quot254_out_ga(T509, T511)) → quot254_out_ga(s(s(s(s(s(T509))))), s(T511))
U6_gga(T443, T445, quot254_out_ga(T443, T445)) → quot3_out_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445))
quot3_in_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → U7_gga(T521, T523, quot316_in_ga(T521, T523))
quot316_in_ga(0, 0) → quot316_out_ga(0, 0)
quot316_in_ga(s(0), 0) → quot316_out_ga(s(0), 0)
quot316_in_ga(s(s(0)), 0) → quot316_out_ga(s(s(0)), 0)
quot316_in_ga(s(s(s(0))), 0) → quot316_out_ga(s(s(s(0))), 0)
quot316_in_ga(s(s(s(s(T576)))), s(T578)) → U14_ga(T576, T578, quot316_in_ga(T576, T578))
U14_ga(T576, T578, quot316_out_ga(T576, T578)) → quot316_out_ga(s(s(s(s(T576)))), s(T578))
U7_gga(T521, T523, quot316_out_ga(T521, T523)) → quot3_out_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523))
quot3_in_gga(s(s(s(T587))), s(s(s(0))), s(T589)) → U8_gga(T587, T589, quot367_in_ga(T587, T589))
quot367_in_ga(0, 0) → quot367_out_ga(0, 0)
quot367_in_ga(s(0), 0) → quot367_out_ga(s(0), 0)
quot367_in_ga(s(s(0)), 0) → quot367_out_ga(s(s(0)), 0)
quot367_in_ga(s(s(s(T631))), s(T633)) → U15_ga(T631, T633, quot367_in_ga(T631, T633))
U15_ga(T631, T633, quot367_out_ga(T631, T633)) → quot367_out_ga(s(s(s(T631))), s(T633))
U8_gga(T587, T589, quot367_out_ga(T587, T589)) → quot3_out_gga(s(s(s(T587))), s(s(s(0))), s(T589))
quot3_in_gga(s(s(T641)), s(s(0)), s(T643)) → U9_gga(T641, T643, quot407_in_ga(T641, T643))
quot407_in_ga(0, 0) → quot407_out_ga(0, 0)
quot407_in_ga(s(0), 0) → quot407_out_ga(s(0), 0)
quot407_in_ga(s(s(T674)), s(T676)) → U16_ga(T674, T676, quot407_in_ga(T674, T676))
U16_ga(T674, T676, quot407_out_ga(T674, T676)) → quot407_out_ga(s(s(T674)), s(T676))
U9_gga(T641, T643, quot407_out_ga(T641, T643)) → quot3_out_gga(s(s(T641)), s(s(0)), s(T643))
quot3_in_gga(s(T683), s(0), s(T685)) → U10_gga(T683, T685, quot436_in_ga(T683, T685))
quot436_in_ga(0, 0) → quot436_out_ga(0, 0)
quot436_in_ga(s(T705), s(T707)) → U17_ga(T705, T707, quot436_in_ga(T705, T707))
U17_ga(T705, T707, quot436_out_ga(T705, T707)) → quot436_out_ga(s(T705), s(T707))
U10_gga(T683, T685, quot436_out_ga(T683, T685)) → quot3_out_gga(s(T683), s(0), s(T685))
U2_ggga(T241, T242, T244, quot3_out_gga(T241, s(T242), T244)) → quot84_out_ggga(T241, 0, T242, s(T244))
U1_ggga(T226, T227, T228, T230, quot84_out_ggga(T226, T227, T228, T230)) → quot84_out_ggga(s(T226), s(T227), T228, T230)
U3_gga(T189, T190, T192, quot84_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quot3_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U18_gga(T7, T8, T10, quot3_out_gga(T7, T8, T10)) → div1_out_gga(T7, T8, T10)
QUOT407_IN_GA(s(s(T674)), s(T676)) → QUOT407_IN_GA(T674, T676)
QUOT407_IN_GA(s(s(T674))) → QUOT407_IN_GA(T674)
From the DPs we obtained the following set of size-change graphs:
QUOT367_IN_GA(s(s(s(T631))), s(T633)) → QUOT367_IN_GA(T631, T633)
div1_in_gga(T7, T8, T10) → U18_gga(T7, T8, T10, quot3_in_gga(T7, T8, T10))
quot3_in_gga(0, s(T15), 0) → quot3_out_gga(0, s(T15), 0)
quot3_in_gga(s(0), s(s(T38)), 0) → quot3_out_gga(s(0), s(s(T38)), 0)
quot3_in_gga(s(s(0)), s(s(s(T61))), 0) → quot3_out_gga(s(s(0)), s(s(s(T61))), 0)
quot3_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quot3_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quot3_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quot3_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quot3_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quot3_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quot3_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quot3_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quot3_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U3_gga(T189, T190, T192, quot84_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quot84_in_ggga(0, s(T208), T209, 0) → quot84_out_ggga(0, s(T208), T209, 0)
quot84_in_ggga(s(T226), s(T227), T228, T230) → U1_ggga(T226, T227, T228, T230, quot84_in_ggga(T226, T227, T228, T230))
quot84_in_ggga(T241, 0, T242, s(T244)) → U2_ggga(T241, T242, T244, quot3_in_gga(T241, s(T242), T244))
quot3_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U4_gga(T251, T253, quot97_in_ga(T251, T253))
quot97_in_ga(0, 0) → quot97_out_ga(0, 0)
quot97_in_ga(s(0), 0) → quot97_out_ga(s(0), 0)
quot97_in_ga(s(s(0)), 0) → quot97_out_ga(s(s(0)), 0)
quot97_in_ga(s(s(s(0))), 0) → quot97_out_ga(s(s(s(0))), 0)
quot97_in_ga(s(s(s(s(0)))), 0) → quot97_out_ga(s(s(s(s(0)))), 0)
quot97_in_ga(s(s(s(s(s(0))))), 0) → quot97_out_ga(s(s(s(s(s(0))))), 0)
quot97_in_ga(s(s(s(s(s(s(0)))))), 0) → quot97_out_ga(s(s(s(s(s(s(0)))))), 0)
quot97_in_ga(s(s(s(s(s(s(s(T339))))))), s(T341)) → U11_ga(T339, T341, quot97_in_ga(T339, T341))
U11_ga(T339, T341, quot97_out_ga(T339, T341)) → quot97_out_ga(s(s(s(s(s(s(s(T339))))))), s(T341))
U4_gga(T251, T253, quot97_out_ga(T251, T253)) → quot3_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quot3_in_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → U5_gga(T353, T355, quot181_in_ga(T353, T355))
quot181_in_ga(0, 0) → quot181_out_ga(0, 0)
quot181_in_ga(s(0), 0) → quot181_out_ga(s(0), 0)
quot181_in_ga(s(s(0)), 0) → quot181_out_ga(s(s(0)), 0)
quot181_in_ga(s(s(s(0))), 0) → quot181_out_ga(s(s(s(0))), 0)
quot181_in_ga(s(s(s(s(0)))), 0) → quot181_out_ga(s(s(s(s(0)))), 0)
quot181_in_ga(s(s(s(s(s(0))))), 0) → quot181_out_ga(s(s(s(s(s(0))))), 0)
quot181_in_ga(s(s(s(s(s(s(T430)))))), s(T432)) → U12_ga(T430, T432, quot181_in_ga(T430, T432))
U12_ga(T430, T432, quot181_out_ga(T430, T432)) → quot181_out_ga(s(s(s(s(s(s(T430)))))), s(T432))
U5_gga(T353, T355, quot181_out_ga(T353, T355)) → quot3_out_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355))
quot3_in_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → U6_gga(T443, T445, quot254_in_ga(T443, T445))
quot254_in_ga(0, 0) → quot254_out_ga(0, 0)
quot254_in_ga(s(0), 0) → quot254_out_ga(s(0), 0)
quot254_in_ga(s(s(0)), 0) → quot254_out_ga(s(s(0)), 0)
quot254_in_ga(s(s(s(0))), 0) → quot254_out_ga(s(s(s(0))), 0)
quot254_in_ga(s(s(s(s(0)))), 0) → quot254_out_ga(s(s(s(s(0)))), 0)
quot254_in_ga(s(s(s(s(s(T509))))), s(T511)) → U13_ga(T509, T511, quot254_in_ga(T509, T511))
U13_ga(T509, T511, quot254_out_ga(T509, T511)) → quot254_out_ga(s(s(s(s(s(T509))))), s(T511))
U6_gga(T443, T445, quot254_out_ga(T443, T445)) → quot3_out_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445))
quot3_in_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → U7_gga(T521, T523, quot316_in_ga(T521, T523))
quot316_in_ga(0, 0) → quot316_out_ga(0, 0)
quot316_in_ga(s(0), 0) → quot316_out_ga(s(0), 0)
quot316_in_ga(s(s(0)), 0) → quot316_out_ga(s(s(0)), 0)
quot316_in_ga(s(s(s(0))), 0) → quot316_out_ga(s(s(s(0))), 0)
quot316_in_ga(s(s(s(s(T576)))), s(T578)) → U14_ga(T576, T578, quot316_in_ga(T576, T578))
U14_ga(T576, T578, quot316_out_ga(T576, T578)) → quot316_out_ga(s(s(s(s(T576)))), s(T578))
U7_gga(T521, T523, quot316_out_ga(T521, T523)) → quot3_out_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523))
quot3_in_gga(s(s(s(T587))), s(s(s(0))), s(T589)) → U8_gga(T587, T589, quot367_in_ga(T587, T589))
quot367_in_ga(0, 0) → quot367_out_ga(0, 0)
quot367_in_ga(s(0), 0) → quot367_out_ga(s(0), 0)
quot367_in_ga(s(s(0)), 0) → quot367_out_ga(s(s(0)), 0)
quot367_in_ga(s(s(s(T631))), s(T633)) → U15_ga(T631, T633, quot367_in_ga(T631, T633))
U15_ga(T631, T633, quot367_out_ga(T631, T633)) → quot367_out_ga(s(s(s(T631))), s(T633))
U8_gga(T587, T589, quot367_out_ga(T587, T589)) → quot3_out_gga(s(s(s(T587))), s(s(s(0))), s(T589))
quot3_in_gga(s(s(T641)), s(s(0)), s(T643)) → U9_gga(T641, T643, quot407_in_ga(T641, T643))
quot407_in_ga(0, 0) → quot407_out_ga(0, 0)
quot407_in_ga(s(0), 0) → quot407_out_ga(s(0), 0)
quot407_in_ga(s(s(T674)), s(T676)) → U16_ga(T674, T676, quot407_in_ga(T674, T676))
U16_ga(T674, T676, quot407_out_ga(T674, T676)) → quot407_out_ga(s(s(T674)), s(T676))
U9_gga(T641, T643, quot407_out_ga(T641, T643)) → quot3_out_gga(s(s(T641)), s(s(0)), s(T643))
quot3_in_gga(s(T683), s(0), s(T685)) → U10_gga(T683, T685, quot436_in_ga(T683, T685))
quot436_in_ga(0, 0) → quot436_out_ga(0, 0)
quot436_in_ga(s(T705), s(T707)) → U17_ga(T705, T707, quot436_in_ga(T705, T707))
U17_ga(T705, T707, quot436_out_ga(T705, T707)) → quot436_out_ga(s(T705), s(T707))
U10_gga(T683, T685, quot436_out_ga(T683, T685)) → quot3_out_gga(s(T683), s(0), s(T685))
U2_ggga(T241, T242, T244, quot3_out_gga(T241, s(T242), T244)) → quot84_out_ggga(T241, 0, T242, s(T244))
U1_ggga(T226, T227, T228, T230, quot84_out_ggga(T226, T227, T228, T230)) → quot84_out_ggga(s(T226), s(T227), T228, T230)
U3_gga(T189, T190, T192, quot84_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quot3_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U18_gga(T7, T8, T10, quot3_out_gga(T7, T8, T10)) → div1_out_gga(T7, T8, T10)
QUOT367_IN_GA(s(s(s(T631))), s(T633)) → QUOT367_IN_GA(T631, T633)
QUOT367_IN_GA(s(s(s(T631)))) → QUOT367_IN_GA(T631)
From the DPs we obtained the following set of size-change graphs:
QUOT316_IN_GA(s(s(s(s(T576)))), s(T578)) → QUOT316_IN_GA(T576, T578)
div1_in_gga(T7, T8, T10) → U18_gga(T7, T8, T10, quot3_in_gga(T7, T8, T10))
quot3_in_gga(0, s(T15), 0) → quot3_out_gga(0, s(T15), 0)
quot3_in_gga(s(0), s(s(T38)), 0) → quot3_out_gga(s(0), s(s(T38)), 0)
quot3_in_gga(s(s(0)), s(s(s(T61))), 0) → quot3_out_gga(s(s(0)), s(s(s(T61))), 0)
quot3_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quot3_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quot3_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quot3_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quot3_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quot3_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quot3_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quot3_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quot3_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U3_gga(T189, T190, T192, quot84_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quot84_in_ggga(0, s(T208), T209, 0) → quot84_out_ggga(0, s(T208), T209, 0)
quot84_in_ggga(s(T226), s(T227), T228, T230) → U1_ggga(T226, T227, T228, T230, quot84_in_ggga(T226, T227, T228, T230))
quot84_in_ggga(T241, 0, T242, s(T244)) → U2_ggga(T241, T242, T244, quot3_in_gga(T241, s(T242), T244))
quot3_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U4_gga(T251, T253, quot97_in_ga(T251, T253))
quot97_in_ga(0, 0) → quot97_out_ga(0, 0)
quot97_in_ga(s(0), 0) → quot97_out_ga(s(0), 0)
quot97_in_ga(s(s(0)), 0) → quot97_out_ga(s(s(0)), 0)
quot97_in_ga(s(s(s(0))), 0) → quot97_out_ga(s(s(s(0))), 0)
quot97_in_ga(s(s(s(s(0)))), 0) → quot97_out_ga(s(s(s(s(0)))), 0)
quot97_in_ga(s(s(s(s(s(0))))), 0) → quot97_out_ga(s(s(s(s(s(0))))), 0)
quot97_in_ga(s(s(s(s(s(s(0)))))), 0) → quot97_out_ga(s(s(s(s(s(s(0)))))), 0)
quot97_in_ga(s(s(s(s(s(s(s(T339))))))), s(T341)) → U11_ga(T339, T341, quot97_in_ga(T339, T341))
U11_ga(T339, T341, quot97_out_ga(T339, T341)) → quot97_out_ga(s(s(s(s(s(s(s(T339))))))), s(T341))
U4_gga(T251, T253, quot97_out_ga(T251, T253)) → quot3_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quot3_in_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → U5_gga(T353, T355, quot181_in_ga(T353, T355))
quot181_in_ga(0, 0) → quot181_out_ga(0, 0)
quot181_in_ga(s(0), 0) → quot181_out_ga(s(0), 0)
quot181_in_ga(s(s(0)), 0) → quot181_out_ga(s(s(0)), 0)
quot181_in_ga(s(s(s(0))), 0) → quot181_out_ga(s(s(s(0))), 0)
quot181_in_ga(s(s(s(s(0)))), 0) → quot181_out_ga(s(s(s(s(0)))), 0)
quot181_in_ga(s(s(s(s(s(0))))), 0) → quot181_out_ga(s(s(s(s(s(0))))), 0)
quot181_in_ga(s(s(s(s(s(s(T430)))))), s(T432)) → U12_ga(T430, T432, quot181_in_ga(T430, T432))
U12_ga(T430, T432, quot181_out_ga(T430, T432)) → quot181_out_ga(s(s(s(s(s(s(T430)))))), s(T432))
U5_gga(T353, T355, quot181_out_ga(T353, T355)) → quot3_out_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355))
quot3_in_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → U6_gga(T443, T445, quot254_in_ga(T443, T445))
quot254_in_ga(0, 0) → quot254_out_ga(0, 0)
quot254_in_ga(s(0), 0) → quot254_out_ga(s(0), 0)
quot254_in_ga(s(s(0)), 0) → quot254_out_ga(s(s(0)), 0)
quot254_in_ga(s(s(s(0))), 0) → quot254_out_ga(s(s(s(0))), 0)
quot254_in_ga(s(s(s(s(0)))), 0) → quot254_out_ga(s(s(s(s(0)))), 0)
quot254_in_ga(s(s(s(s(s(T509))))), s(T511)) → U13_ga(T509, T511, quot254_in_ga(T509, T511))
U13_ga(T509, T511, quot254_out_ga(T509, T511)) → quot254_out_ga(s(s(s(s(s(T509))))), s(T511))
U6_gga(T443, T445, quot254_out_ga(T443, T445)) → quot3_out_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445))
quot3_in_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → U7_gga(T521, T523, quot316_in_ga(T521, T523))
quot316_in_ga(0, 0) → quot316_out_ga(0, 0)
quot316_in_ga(s(0), 0) → quot316_out_ga(s(0), 0)
quot316_in_ga(s(s(0)), 0) → quot316_out_ga(s(s(0)), 0)
quot316_in_ga(s(s(s(0))), 0) → quot316_out_ga(s(s(s(0))), 0)
quot316_in_ga(s(s(s(s(T576)))), s(T578)) → U14_ga(T576, T578, quot316_in_ga(T576, T578))
U14_ga(T576, T578, quot316_out_ga(T576, T578)) → quot316_out_ga(s(s(s(s(T576)))), s(T578))
U7_gga(T521, T523, quot316_out_ga(T521, T523)) → quot3_out_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523))
quot3_in_gga(s(s(s(T587))), s(s(s(0))), s(T589)) → U8_gga(T587, T589, quot367_in_ga(T587, T589))
quot367_in_ga(0, 0) → quot367_out_ga(0, 0)
quot367_in_ga(s(0), 0) → quot367_out_ga(s(0), 0)
quot367_in_ga(s(s(0)), 0) → quot367_out_ga(s(s(0)), 0)
quot367_in_ga(s(s(s(T631))), s(T633)) → U15_ga(T631, T633, quot367_in_ga(T631, T633))
U15_ga(T631, T633, quot367_out_ga(T631, T633)) → quot367_out_ga(s(s(s(T631))), s(T633))
U8_gga(T587, T589, quot367_out_ga(T587, T589)) → quot3_out_gga(s(s(s(T587))), s(s(s(0))), s(T589))
quot3_in_gga(s(s(T641)), s(s(0)), s(T643)) → U9_gga(T641, T643, quot407_in_ga(T641, T643))
quot407_in_ga(0, 0) → quot407_out_ga(0, 0)
quot407_in_ga(s(0), 0) → quot407_out_ga(s(0), 0)
quot407_in_ga(s(s(T674)), s(T676)) → U16_ga(T674, T676, quot407_in_ga(T674, T676))
U16_ga(T674, T676, quot407_out_ga(T674, T676)) → quot407_out_ga(s(s(T674)), s(T676))
U9_gga(T641, T643, quot407_out_ga(T641, T643)) → quot3_out_gga(s(s(T641)), s(s(0)), s(T643))
quot3_in_gga(s(T683), s(0), s(T685)) → U10_gga(T683, T685, quot436_in_ga(T683, T685))
quot436_in_ga(0, 0) → quot436_out_ga(0, 0)
quot436_in_ga(s(T705), s(T707)) → U17_ga(T705, T707, quot436_in_ga(T705, T707))
U17_ga(T705, T707, quot436_out_ga(T705, T707)) → quot436_out_ga(s(T705), s(T707))
U10_gga(T683, T685, quot436_out_ga(T683, T685)) → quot3_out_gga(s(T683), s(0), s(T685))
U2_ggga(T241, T242, T244, quot3_out_gga(T241, s(T242), T244)) → quot84_out_ggga(T241, 0, T242, s(T244))
U1_ggga(T226, T227, T228, T230, quot84_out_ggga(T226, T227, T228, T230)) → quot84_out_ggga(s(T226), s(T227), T228, T230)
U3_gga(T189, T190, T192, quot84_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quot3_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U18_gga(T7, T8, T10, quot3_out_gga(T7, T8, T10)) → div1_out_gga(T7, T8, T10)
QUOT316_IN_GA(s(s(s(s(T576)))), s(T578)) → QUOT316_IN_GA(T576, T578)
QUOT316_IN_GA(s(s(s(s(T576))))) → QUOT316_IN_GA(T576)
From the DPs we obtained the following set of size-change graphs:
QUOT254_IN_GA(s(s(s(s(s(T509))))), s(T511)) → QUOT254_IN_GA(T509, T511)
div1_in_gga(T7, T8, T10) → U18_gga(T7, T8, T10, quot3_in_gga(T7, T8, T10))
quot3_in_gga(0, s(T15), 0) → quot3_out_gga(0, s(T15), 0)
quot3_in_gga(s(0), s(s(T38)), 0) → quot3_out_gga(s(0), s(s(T38)), 0)
quot3_in_gga(s(s(0)), s(s(s(T61))), 0) → quot3_out_gga(s(s(0)), s(s(s(T61))), 0)
quot3_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quot3_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quot3_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quot3_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quot3_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quot3_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quot3_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quot3_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quot3_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U3_gga(T189, T190, T192, quot84_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quot84_in_ggga(0, s(T208), T209, 0) → quot84_out_ggga(0, s(T208), T209, 0)
quot84_in_ggga(s(T226), s(T227), T228, T230) → U1_ggga(T226, T227, T228, T230, quot84_in_ggga(T226, T227, T228, T230))
quot84_in_ggga(T241, 0, T242, s(T244)) → U2_ggga(T241, T242, T244, quot3_in_gga(T241, s(T242), T244))
quot3_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U4_gga(T251, T253, quot97_in_ga(T251, T253))
quot97_in_ga(0, 0) → quot97_out_ga(0, 0)
quot97_in_ga(s(0), 0) → quot97_out_ga(s(0), 0)
quot97_in_ga(s(s(0)), 0) → quot97_out_ga(s(s(0)), 0)
quot97_in_ga(s(s(s(0))), 0) → quot97_out_ga(s(s(s(0))), 0)
quot97_in_ga(s(s(s(s(0)))), 0) → quot97_out_ga(s(s(s(s(0)))), 0)
quot97_in_ga(s(s(s(s(s(0))))), 0) → quot97_out_ga(s(s(s(s(s(0))))), 0)
quot97_in_ga(s(s(s(s(s(s(0)))))), 0) → quot97_out_ga(s(s(s(s(s(s(0)))))), 0)
quot97_in_ga(s(s(s(s(s(s(s(T339))))))), s(T341)) → U11_ga(T339, T341, quot97_in_ga(T339, T341))
U11_ga(T339, T341, quot97_out_ga(T339, T341)) → quot97_out_ga(s(s(s(s(s(s(s(T339))))))), s(T341))
U4_gga(T251, T253, quot97_out_ga(T251, T253)) → quot3_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quot3_in_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → U5_gga(T353, T355, quot181_in_ga(T353, T355))
quot181_in_ga(0, 0) → quot181_out_ga(0, 0)
quot181_in_ga(s(0), 0) → quot181_out_ga(s(0), 0)
quot181_in_ga(s(s(0)), 0) → quot181_out_ga(s(s(0)), 0)
quot181_in_ga(s(s(s(0))), 0) → quot181_out_ga(s(s(s(0))), 0)
quot181_in_ga(s(s(s(s(0)))), 0) → quot181_out_ga(s(s(s(s(0)))), 0)
quot181_in_ga(s(s(s(s(s(0))))), 0) → quot181_out_ga(s(s(s(s(s(0))))), 0)
quot181_in_ga(s(s(s(s(s(s(T430)))))), s(T432)) → U12_ga(T430, T432, quot181_in_ga(T430, T432))
U12_ga(T430, T432, quot181_out_ga(T430, T432)) → quot181_out_ga(s(s(s(s(s(s(T430)))))), s(T432))
U5_gga(T353, T355, quot181_out_ga(T353, T355)) → quot3_out_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355))
quot3_in_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → U6_gga(T443, T445, quot254_in_ga(T443, T445))
quot254_in_ga(0, 0) → quot254_out_ga(0, 0)
quot254_in_ga(s(0), 0) → quot254_out_ga(s(0), 0)
quot254_in_ga(s(s(0)), 0) → quot254_out_ga(s(s(0)), 0)
quot254_in_ga(s(s(s(0))), 0) → quot254_out_ga(s(s(s(0))), 0)
quot254_in_ga(s(s(s(s(0)))), 0) → quot254_out_ga(s(s(s(s(0)))), 0)
quot254_in_ga(s(s(s(s(s(T509))))), s(T511)) → U13_ga(T509, T511, quot254_in_ga(T509, T511))
U13_ga(T509, T511, quot254_out_ga(T509, T511)) → quot254_out_ga(s(s(s(s(s(T509))))), s(T511))
U6_gga(T443, T445, quot254_out_ga(T443, T445)) → quot3_out_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445))
quot3_in_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → U7_gga(T521, T523, quot316_in_ga(T521, T523))
quot316_in_ga(0, 0) → quot316_out_ga(0, 0)
quot316_in_ga(s(0), 0) → quot316_out_ga(s(0), 0)
quot316_in_ga(s(s(0)), 0) → quot316_out_ga(s(s(0)), 0)
quot316_in_ga(s(s(s(0))), 0) → quot316_out_ga(s(s(s(0))), 0)
quot316_in_ga(s(s(s(s(T576)))), s(T578)) → U14_ga(T576, T578, quot316_in_ga(T576, T578))
U14_ga(T576, T578, quot316_out_ga(T576, T578)) → quot316_out_ga(s(s(s(s(T576)))), s(T578))
U7_gga(T521, T523, quot316_out_ga(T521, T523)) → quot3_out_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523))
quot3_in_gga(s(s(s(T587))), s(s(s(0))), s(T589)) → U8_gga(T587, T589, quot367_in_ga(T587, T589))
quot367_in_ga(0, 0) → quot367_out_ga(0, 0)
quot367_in_ga(s(0), 0) → quot367_out_ga(s(0), 0)
quot367_in_ga(s(s(0)), 0) → quot367_out_ga(s(s(0)), 0)
quot367_in_ga(s(s(s(T631))), s(T633)) → U15_ga(T631, T633, quot367_in_ga(T631, T633))
U15_ga(T631, T633, quot367_out_ga(T631, T633)) → quot367_out_ga(s(s(s(T631))), s(T633))
U8_gga(T587, T589, quot367_out_ga(T587, T589)) → quot3_out_gga(s(s(s(T587))), s(s(s(0))), s(T589))
quot3_in_gga(s(s(T641)), s(s(0)), s(T643)) → U9_gga(T641, T643, quot407_in_ga(T641, T643))
quot407_in_ga(0, 0) → quot407_out_ga(0, 0)
quot407_in_ga(s(0), 0) → quot407_out_ga(s(0), 0)
quot407_in_ga(s(s(T674)), s(T676)) → U16_ga(T674, T676, quot407_in_ga(T674, T676))
U16_ga(T674, T676, quot407_out_ga(T674, T676)) → quot407_out_ga(s(s(T674)), s(T676))
U9_gga(T641, T643, quot407_out_ga(T641, T643)) → quot3_out_gga(s(s(T641)), s(s(0)), s(T643))
quot3_in_gga(s(T683), s(0), s(T685)) → U10_gga(T683, T685, quot436_in_ga(T683, T685))
quot436_in_ga(0, 0) → quot436_out_ga(0, 0)
quot436_in_ga(s(T705), s(T707)) → U17_ga(T705, T707, quot436_in_ga(T705, T707))
U17_ga(T705, T707, quot436_out_ga(T705, T707)) → quot436_out_ga(s(T705), s(T707))
U10_gga(T683, T685, quot436_out_ga(T683, T685)) → quot3_out_gga(s(T683), s(0), s(T685))
U2_ggga(T241, T242, T244, quot3_out_gga(T241, s(T242), T244)) → quot84_out_ggga(T241, 0, T242, s(T244))
U1_ggga(T226, T227, T228, T230, quot84_out_ggga(T226, T227, T228, T230)) → quot84_out_ggga(s(T226), s(T227), T228, T230)
U3_gga(T189, T190, T192, quot84_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quot3_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U18_gga(T7, T8, T10, quot3_out_gga(T7, T8, T10)) → div1_out_gga(T7, T8, T10)
QUOT254_IN_GA(s(s(s(s(s(T509))))), s(T511)) → QUOT254_IN_GA(T509, T511)
QUOT254_IN_GA(s(s(s(s(s(T509)))))) → QUOT254_IN_GA(T509)
From the DPs we obtained the following set of size-change graphs:
QUOT181_IN_GA(s(s(s(s(s(s(T430)))))), s(T432)) → QUOT181_IN_GA(T430, T432)
div1_in_gga(T7, T8, T10) → U18_gga(T7, T8, T10, quot3_in_gga(T7, T8, T10))
quot3_in_gga(0, s(T15), 0) → quot3_out_gga(0, s(T15), 0)
quot3_in_gga(s(0), s(s(T38)), 0) → quot3_out_gga(s(0), s(s(T38)), 0)
quot3_in_gga(s(s(0)), s(s(s(T61))), 0) → quot3_out_gga(s(s(0)), s(s(s(T61))), 0)
quot3_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quot3_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quot3_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quot3_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quot3_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quot3_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quot3_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quot3_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quot3_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U3_gga(T189, T190, T192, quot84_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quot84_in_ggga(0, s(T208), T209, 0) → quot84_out_ggga(0, s(T208), T209, 0)
quot84_in_ggga(s(T226), s(T227), T228, T230) → U1_ggga(T226, T227, T228, T230, quot84_in_ggga(T226, T227, T228, T230))
quot84_in_ggga(T241, 0, T242, s(T244)) → U2_ggga(T241, T242, T244, quot3_in_gga(T241, s(T242), T244))
quot3_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U4_gga(T251, T253, quot97_in_ga(T251, T253))
quot97_in_ga(0, 0) → quot97_out_ga(0, 0)
quot97_in_ga(s(0), 0) → quot97_out_ga(s(0), 0)
quot97_in_ga(s(s(0)), 0) → quot97_out_ga(s(s(0)), 0)
quot97_in_ga(s(s(s(0))), 0) → quot97_out_ga(s(s(s(0))), 0)
quot97_in_ga(s(s(s(s(0)))), 0) → quot97_out_ga(s(s(s(s(0)))), 0)
quot97_in_ga(s(s(s(s(s(0))))), 0) → quot97_out_ga(s(s(s(s(s(0))))), 0)
quot97_in_ga(s(s(s(s(s(s(0)))))), 0) → quot97_out_ga(s(s(s(s(s(s(0)))))), 0)
quot97_in_ga(s(s(s(s(s(s(s(T339))))))), s(T341)) → U11_ga(T339, T341, quot97_in_ga(T339, T341))
U11_ga(T339, T341, quot97_out_ga(T339, T341)) → quot97_out_ga(s(s(s(s(s(s(s(T339))))))), s(T341))
U4_gga(T251, T253, quot97_out_ga(T251, T253)) → quot3_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quot3_in_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → U5_gga(T353, T355, quot181_in_ga(T353, T355))
quot181_in_ga(0, 0) → quot181_out_ga(0, 0)
quot181_in_ga(s(0), 0) → quot181_out_ga(s(0), 0)
quot181_in_ga(s(s(0)), 0) → quot181_out_ga(s(s(0)), 0)
quot181_in_ga(s(s(s(0))), 0) → quot181_out_ga(s(s(s(0))), 0)
quot181_in_ga(s(s(s(s(0)))), 0) → quot181_out_ga(s(s(s(s(0)))), 0)
quot181_in_ga(s(s(s(s(s(0))))), 0) → quot181_out_ga(s(s(s(s(s(0))))), 0)
quot181_in_ga(s(s(s(s(s(s(T430)))))), s(T432)) → U12_ga(T430, T432, quot181_in_ga(T430, T432))
U12_ga(T430, T432, quot181_out_ga(T430, T432)) → quot181_out_ga(s(s(s(s(s(s(T430)))))), s(T432))
U5_gga(T353, T355, quot181_out_ga(T353, T355)) → quot3_out_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355))
quot3_in_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → U6_gga(T443, T445, quot254_in_ga(T443, T445))
quot254_in_ga(0, 0) → quot254_out_ga(0, 0)
quot254_in_ga(s(0), 0) → quot254_out_ga(s(0), 0)
quot254_in_ga(s(s(0)), 0) → quot254_out_ga(s(s(0)), 0)
quot254_in_ga(s(s(s(0))), 0) → quot254_out_ga(s(s(s(0))), 0)
quot254_in_ga(s(s(s(s(0)))), 0) → quot254_out_ga(s(s(s(s(0)))), 0)
quot254_in_ga(s(s(s(s(s(T509))))), s(T511)) → U13_ga(T509, T511, quot254_in_ga(T509, T511))
U13_ga(T509, T511, quot254_out_ga(T509, T511)) → quot254_out_ga(s(s(s(s(s(T509))))), s(T511))
U6_gga(T443, T445, quot254_out_ga(T443, T445)) → quot3_out_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445))
quot3_in_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → U7_gga(T521, T523, quot316_in_ga(T521, T523))
quot316_in_ga(0, 0) → quot316_out_ga(0, 0)
quot316_in_ga(s(0), 0) → quot316_out_ga(s(0), 0)
quot316_in_ga(s(s(0)), 0) → quot316_out_ga(s(s(0)), 0)
quot316_in_ga(s(s(s(0))), 0) → quot316_out_ga(s(s(s(0))), 0)
quot316_in_ga(s(s(s(s(T576)))), s(T578)) → U14_ga(T576, T578, quot316_in_ga(T576, T578))
U14_ga(T576, T578, quot316_out_ga(T576, T578)) → quot316_out_ga(s(s(s(s(T576)))), s(T578))
U7_gga(T521, T523, quot316_out_ga(T521, T523)) → quot3_out_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523))
quot3_in_gga(s(s(s(T587))), s(s(s(0))), s(T589)) → U8_gga(T587, T589, quot367_in_ga(T587, T589))
quot367_in_ga(0, 0) → quot367_out_ga(0, 0)
quot367_in_ga(s(0), 0) → quot367_out_ga(s(0), 0)
quot367_in_ga(s(s(0)), 0) → quot367_out_ga(s(s(0)), 0)
quot367_in_ga(s(s(s(T631))), s(T633)) → U15_ga(T631, T633, quot367_in_ga(T631, T633))
U15_ga(T631, T633, quot367_out_ga(T631, T633)) → quot367_out_ga(s(s(s(T631))), s(T633))
U8_gga(T587, T589, quot367_out_ga(T587, T589)) → quot3_out_gga(s(s(s(T587))), s(s(s(0))), s(T589))
quot3_in_gga(s(s(T641)), s(s(0)), s(T643)) → U9_gga(T641, T643, quot407_in_ga(T641, T643))
quot407_in_ga(0, 0) → quot407_out_ga(0, 0)
quot407_in_ga(s(0), 0) → quot407_out_ga(s(0), 0)
quot407_in_ga(s(s(T674)), s(T676)) → U16_ga(T674, T676, quot407_in_ga(T674, T676))
U16_ga(T674, T676, quot407_out_ga(T674, T676)) → quot407_out_ga(s(s(T674)), s(T676))
U9_gga(T641, T643, quot407_out_ga(T641, T643)) → quot3_out_gga(s(s(T641)), s(s(0)), s(T643))
quot3_in_gga(s(T683), s(0), s(T685)) → U10_gga(T683, T685, quot436_in_ga(T683, T685))
quot436_in_ga(0, 0) → quot436_out_ga(0, 0)
quot436_in_ga(s(T705), s(T707)) → U17_ga(T705, T707, quot436_in_ga(T705, T707))
U17_ga(T705, T707, quot436_out_ga(T705, T707)) → quot436_out_ga(s(T705), s(T707))
U10_gga(T683, T685, quot436_out_ga(T683, T685)) → quot3_out_gga(s(T683), s(0), s(T685))
U2_ggga(T241, T242, T244, quot3_out_gga(T241, s(T242), T244)) → quot84_out_ggga(T241, 0, T242, s(T244))
U1_ggga(T226, T227, T228, T230, quot84_out_ggga(T226, T227, T228, T230)) → quot84_out_ggga(s(T226), s(T227), T228, T230)
U3_gga(T189, T190, T192, quot84_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quot3_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U18_gga(T7, T8, T10, quot3_out_gga(T7, T8, T10)) → div1_out_gga(T7, T8, T10)
QUOT181_IN_GA(s(s(s(s(s(s(T430)))))), s(T432)) → QUOT181_IN_GA(T430, T432)
QUOT181_IN_GA(s(s(s(s(s(s(T430))))))) → QUOT181_IN_GA(T430)
From the DPs we obtained the following set of size-change graphs:
QUOT97_IN_GA(s(s(s(s(s(s(s(T339))))))), s(T341)) → QUOT97_IN_GA(T339, T341)
div1_in_gga(T7, T8, T10) → U18_gga(T7, T8, T10, quot3_in_gga(T7, T8, T10))
quot3_in_gga(0, s(T15), 0) → quot3_out_gga(0, s(T15), 0)
quot3_in_gga(s(0), s(s(T38)), 0) → quot3_out_gga(s(0), s(s(T38)), 0)
quot3_in_gga(s(s(0)), s(s(s(T61))), 0) → quot3_out_gga(s(s(0)), s(s(s(T61))), 0)
quot3_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quot3_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quot3_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quot3_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quot3_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quot3_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quot3_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quot3_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quot3_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U3_gga(T189, T190, T192, quot84_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quot84_in_ggga(0, s(T208), T209, 0) → quot84_out_ggga(0, s(T208), T209, 0)
quot84_in_ggga(s(T226), s(T227), T228, T230) → U1_ggga(T226, T227, T228, T230, quot84_in_ggga(T226, T227, T228, T230))
quot84_in_ggga(T241, 0, T242, s(T244)) → U2_ggga(T241, T242, T244, quot3_in_gga(T241, s(T242), T244))
quot3_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U4_gga(T251, T253, quot97_in_ga(T251, T253))
quot97_in_ga(0, 0) → quot97_out_ga(0, 0)
quot97_in_ga(s(0), 0) → quot97_out_ga(s(0), 0)
quot97_in_ga(s(s(0)), 0) → quot97_out_ga(s(s(0)), 0)
quot97_in_ga(s(s(s(0))), 0) → quot97_out_ga(s(s(s(0))), 0)
quot97_in_ga(s(s(s(s(0)))), 0) → quot97_out_ga(s(s(s(s(0)))), 0)
quot97_in_ga(s(s(s(s(s(0))))), 0) → quot97_out_ga(s(s(s(s(s(0))))), 0)
quot97_in_ga(s(s(s(s(s(s(0)))))), 0) → quot97_out_ga(s(s(s(s(s(s(0)))))), 0)
quot97_in_ga(s(s(s(s(s(s(s(T339))))))), s(T341)) → U11_ga(T339, T341, quot97_in_ga(T339, T341))
U11_ga(T339, T341, quot97_out_ga(T339, T341)) → quot97_out_ga(s(s(s(s(s(s(s(T339))))))), s(T341))
U4_gga(T251, T253, quot97_out_ga(T251, T253)) → quot3_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quot3_in_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → U5_gga(T353, T355, quot181_in_ga(T353, T355))
quot181_in_ga(0, 0) → quot181_out_ga(0, 0)
quot181_in_ga(s(0), 0) → quot181_out_ga(s(0), 0)
quot181_in_ga(s(s(0)), 0) → quot181_out_ga(s(s(0)), 0)
quot181_in_ga(s(s(s(0))), 0) → quot181_out_ga(s(s(s(0))), 0)
quot181_in_ga(s(s(s(s(0)))), 0) → quot181_out_ga(s(s(s(s(0)))), 0)
quot181_in_ga(s(s(s(s(s(0))))), 0) → quot181_out_ga(s(s(s(s(s(0))))), 0)
quot181_in_ga(s(s(s(s(s(s(T430)))))), s(T432)) → U12_ga(T430, T432, quot181_in_ga(T430, T432))
U12_ga(T430, T432, quot181_out_ga(T430, T432)) → quot181_out_ga(s(s(s(s(s(s(T430)))))), s(T432))
U5_gga(T353, T355, quot181_out_ga(T353, T355)) → quot3_out_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355))
quot3_in_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → U6_gga(T443, T445, quot254_in_ga(T443, T445))
quot254_in_ga(0, 0) → quot254_out_ga(0, 0)
quot254_in_ga(s(0), 0) → quot254_out_ga(s(0), 0)
quot254_in_ga(s(s(0)), 0) → quot254_out_ga(s(s(0)), 0)
quot254_in_ga(s(s(s(0))), 0) → quot254_out_ga(s(s(s(0))), 0)
quot254_in_ga(s(s(s(s(0)))), 0) → quot254_out_ga(s(s(s(s(0)))), 0)
quot254_in_ga(s(s(s(s(s(T509))))), s(T511)) → U13_ga(T509, T511, quot254_in_ga(T509, T511))
U13_ga(T509, T511, quot254_out_ga(T509, T511)) → quot254_out_ga(s(s(s(s(s(T509))))), s(T511))
U6_gga(T443, T445, quot254_out_ga(T443, T445)) → quot3_out_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445))
quot3_in_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → U7_gga(T521, T523, quot316_in_ga(T521, T523))
quot316_in_ga(0, 0) → quot316_out_ga(0, 0)
quot316_in_ga(s(0), 0) → quot316_out_ga(s(0), 0)
quot316_in_ga(s(s(0)), 0) → quot316_out_ga(s(s(0)), 0)
quot316_in_ga(s(s(s(0))), 0) → quot316_out_ga(s(s(s(0))), 0)
quot316_in_ga(s(s(s(s(T576)))), s(T578)) → U14_ga(T576, T578, quot316_in_ga(T576, T578))
U14_ga(T576, T578, quot316_out_ga(T576, T578)) → quot316_out_ga(s(s(s(s(T576)))), s(T578))
U7_gga(T521, T523, quot316_out_ga(T521, T523)) → quot3_out_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523))
quot3_in_gga(s(s(s(T587))), s(s(s(0))), s(T589)) → U8_gga(T587, T589, quot367_in_ga(T587, T589))
quot367_in_ga(0, 0) → quot367_out_ga(0, 0)
quot367_in_ga(s(0), 0) → quot367_out_ga(s(0), 0)
quot367_in_ga(s(s(0)), 0) → quot367_out_ga(s(s(0)), 0)
quot367_in_ga(s(s(s(T631))), s(T633)) → U15_ga(T631, T633, quot367_in_ga(T631, T633))
U15_ga(T631, T633, quot367_out_ga(T631, T633)) → quot367_out_ga(s(s(s(T631))), s(T633))
U8_gga(T587, T589, quot367_out_ga(T587, T589)) → quot3_out_gga(s(s(s(T587))), s(s(s(0))), s(T589))
quot3_in_gga(s(s(T641)), s(s(0)), s(T643)) → U9_gga(T641, T643, quot407_in_ga(T641, T643))
quot407_in_ga(0, 0) → quot407_out_ga(0, 0)
quot407_in_ga(s(0), 0) → quot407_out_ga(s(0), 0)
quot407_in_ga(s(s(T674)), s(T676)) → U16_ga(T674, T676, quot407_in_ga(T674, T676))
U16_ga(T674, T676, quot407_out_ga(T674, T676)) → quot407_out_ga(s(s(T674)), s(T676))
U9_gga(T641, T643, quot407_out_ga(T641, T643)) → quot3_out_gga(s(s(T641)), s(s(0)), s(T643))
quot3_in_gga(s(T683), s(0), s(T685)) → U10_gga(T683, T685, quot436_in_ga(T683, T685))
quot436_in_ga(0, 0) → quot436_out_ga(0, 0)
quot436_in_ga(s(T705), s(T707)) → U17_ga(T705, T707, quot436_in_ga(T705, T707))
U17_ga(T705, T707, quot436_out_ga(T705, T707)) → quot436_out_ga(s(T705), s(T707))
U10_gga(T683, T685, quot436_out_ga(T683, T685)) → quot3_out_gga(s(T683), s(0), s(T685))
U2_ggga(T241, T242, T244, quot3_out_gga(T241, s(T242), T244)) → quot84_out_ggga(T241, 0, T242, s(T244))
U1_ggga(T226, T227, T228, T230, quot84_out_ggga(T226, T227, T228, T230)) → quot84_out_ggga(s(T226), s(T227), T228, T230)
U3_gga(T189, T190, T192, quot84_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quot3_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U18_gga(T7, T8, T10, quot3_out_gga(T7, T8, T10)) → div1_out_gga(T7, T8, T10)
QUOT97_IN_GA(s(s(s(s(s(s(s(T339))))))), s(T341)) → QUOT97_IN_GA(T339, T341)
QUOT97_IN_GA(s(s(s(s(s(s(s(T339)))))))) → QUOT97_IN_GA(T339)
From the DPs we obtained the following set of size-change graphs:
QUOT3_IN_GGA(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → QUOT84_IN_GGGA(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)
QUOT84_IN_GGGA(s(T226), s(T227), T228, T230) → QUOT84_IN_GGGA(T226, T227, T228, T230)
QUOT84_IN_GGGA(T241, 0, T242, s(T244)) → QUOT3_IN_GGA(T241, s(T242), T244)
div1_in_gga(T7, T8, T10) → U18_gga(T7, T8, T10, quot3_in_gga(T7, T8, T10))
quot3_in_gga(0, s(T15), 0) → quot3_out_gga(0, s(T15), 0)
quot3_in_gga(s(0), s(s(T38)), 0) → quot3_out_gga(s(0), s(s(T38)), 0)
quot3_in_gga(s(s(0)), s(s(s(T61))), 0) → quot3_out_gga(s(s(0)), s(s(s(T61))), 0)
quot3_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quot3_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quot3_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quot3_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quot3_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quot3_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quot3_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quot3_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quot3_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quot3_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U3_gga(T189, T190, T192, quot84_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quot84_in_ggga(0, s(T208), T209, 0) → quot84_out_ggga(0, s(T208), T209, 0)
quot84_in_ggga(s(T226), s(T227), T228, T230) → U1_ggga(T226, T227, T228, T230, quot84_in_ggga(T226, T227, T228, T230))
quot84_in_ggga(T241, 0, T242, s(T244)) → U2_ggga(T241, T242, T244, quot3_in_gga(T241, s(T242), T244))
quot3_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U4_gga(T251, T253, quot97_in_ga(T251, T253))
quot97_in_ga(0, 0) → quot97_out_ga(0, 0)
quot97_in_ga(s(0), 0) → quot97_out_ga(s(0), 0)
quot97_in_ga(s(s(0)), 0) → quot97_out_ga(s(s(0)), 0)
quot97_in_ga(s(s(s(0))), 0) → quot97_out_ga(s(s(s(0))), 0)
quot97_in_ga(s(s(s(s(0)))), 0) → quot97_out_ga(s(s(s(s(0)))), 0)
quot97_in_ga(s(s(s(s(s(0))))), 0) → quot97_out_ga(s(s(s(s(s(0))))), 0)
quot97_in_ga(s(s(s(s(s(s(0)))))), 0) → quot97_out_ga(s(s(s(s(s(s(0)))))), 0)
quot97_in_ga(s(s(s(s(s(s(s(T339))))))), s(T341)) → U11_ga(T339, T341, quot97_in_ga(T339, T341))
U11_ga(T339, T341, quot97_out_ga(T339, T341)) → quot97_out_ga(s(s(s(s(s(s(s(T339))))))), s(T341))
U4_gga(T251, T253, quot97_out_ga(T251, T253)) → quot3_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quot3_in_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355)) → U5_gga(T353, T355, quot181_in_ga(T353, T355))
quot181_in_ga(0, 0) → quot181_out_ga(0, 0)
quot181_in_ga(s(0), 0) → quot181_out_ga(s(0), 0)
quot181_in_ga(s(s(0)), 0) → quot181_out_ga(s(s(0)), 0)
quot181_in_ga(s(s(s(0))), 0) → quot181_out_ga(s(s(s(0))), 0)
quot181_in_ga(s(s(s(s(0)))), 0) → quot181_out_ga(s(s(s(s(0)))), 0)
quot181_in_ga(s(s(s(s(s(0))))), 0) → quot181_out_ga(s(s(s(s(s(0))))), 0)
quot181_in_ga(s(s(s(s(s(s(T430)))))), s(T432)) → U12_ga(T430, T432, quot181_in_ga(T430, T432))
U12_ga(T430, T432, quot181_out_ga(T430, T432)) → quot181_out_ga(s(s(s(s(s(s(T430)))))), s(T432))
U5_gga(T353, T355, quot181_out_ga(T353, T355)) → quot3_out_gga(s(s(s(s(s(s(T353)))))), s(s(s(s(s(s(0)))))), s(T355))
quot3_in_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445)) → U6_gga(T443, T445, quot254_in_ga(T443, T445))
quot254_in_ga(0, 0) → quot254_out_ga(0, 0)
quot254_in_ga(s(0), 0) → quot254_out_ga(s(0), 0)
quot254_in_ga(s(s(0)), 0) → quot254_out_ga(s(s(0)), 0)
quot254_in_ga(s(s(s(0))), 0) → quot254_out_ga(s(s(s(0))), 0)
quot254_in_ga(s(s(s(s(0)))), 0) → quot254_out_ga(s(s(s(s(0)))), 0)
quot254_in_ga(s(s(s(s(s(T509))))), s(T511)) → U13_ga(T509, T511, quot254_in_ga(T509, T511))
U13_ga(T509, T511, quot254_out_ga(T509, T511)) → quot254_out_ga(s(s(s(s(s(T509))))), s(T511))
U6_gga(T443, T445, quot254_out_ga(T443, T445)) → quot3_out_gga(s(s(s(s(s(T443))))), s(s(s(s(s(0))))), s(T445))
quot3_in_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523)) → U7_gga(T521, T523, quot316_in_ga(T521, T523))
quot316_in_ga(0, 0) → quot316_out_ga(0, 0)
quot316_in_ga(s(0), 0) → quot316_out_ga(s(0), 0)
quot316_in_ga(s(s(0)), 0) → quot316_out_ga(s(s(0)), 0)
quot316_in_ga(s(s(s(0))), 0) → quot316_out_ga(s(s(s(0))), 0)
quot316_in_ga(s(s(s(s(T576)))), s(T578)) → U14_ga(T576, T578, quot316_in_ga(T576, T578))
U14_ga(T576, T578, quot316_out_ga(T576, T578)) → quot316_out_ga(s(s(s(s(T576)))), s(T578))
U7_gga(T521, T523, quot316_out_ga(T521, T523)) → quot3_out_gga(s(s(s(s(T521)))), s(s(s(s(0)))), s(T523))
quot3_in_gga(s(s(s(T587))), s(s(s(0))), s(T589)) → U8_gga(T587, T589, quot367_in_ga(T587, T589))
quot367_in_ga(0, 0) → quot367_out_ga(0, 0)
quot367_in_ga(s(0), 0) → quot367_out_ga(s(0), 0)
quot367_in_ga(s(s(0)), 0) → quot367_out_ga(s(s(0)), 0)
quot367_in_ga(s(s(s(T631))), s(T633)) → U15_ga(T631, T633, quot367_in_ga(T631, T633))
U15_ga(T631, T633, quot367_out_ga(T631, T633)) → quot367_out_ga(s(s(s(T631))), s(T633))
U8_gga(T587, T589, quot367_out_ga(T587, T589)) → quot3_out_gga(s(s(s(T587))), s(s(s(0))), s(T589))
quot3_in_gga(s(s(T641)), s(s(0)), s(T643)) → U9_gga(T641, T643, quot407_in_ga(T641, T643))
quot407_in_ga(0, 0) → quot407_out_ga(0, 0)
quot407_in_ga(s(0), 0) → quot407_out_ga(s(0), 0)
quot407_in_ga(s(s(T674)), s(T676)) → U16_ga(T674, T676, quot407_in_ga(T674, T676))
U16_ga(T674, T676, quot407_out_ga(T674, T676)) → quot407_out_ga(s(s(T674)), s(T676))
U9_gga(T641, T643, quot407_out_ga(T641, T643)) → quot3_out_gga(s(s(T641)), s(s(0)), s(T643))
quot3_in_gga(s(T683), s(0), s(T685)) → U10_gga(T683, T685, quot436_in_ga(T683, T685))
quot436_in_ga(0, 0) → quot436_out_ga(0, 0)
quot436_in_ga(s(T705), s(T707)) → U17_ga(T705, T707, quot436_in_ga(T705, T707))
U17_ga(T705, T707, quot436_out_ga(T705, T707)) → quot436_out_ga(s(T705), s(T707))
U10_gga(T683, T685, quot436_out_ga(T683, T685)) → quot3_out_gga(s(T683), s(0), s(T685))
U2_ggga(T241, T242, T244, quot3_out_gga(T241, s(T242), T244)) → quot84_out_ggga(T241, 0, T242, s(T244))
U1_ggga(T226, T227, T228, T230, quot84_out_ggga(T226, T227, T228, T230)) → quot84_out_ggga(s(T226), s(T227), T228, T230)
U3_gga(T189, T190, T192, quot84_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quot3_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U18_gga(T7, T8, T10, quot3_out_gga(T7, T8, T10)) → div1_out_gga(T7, T8, T10)
QUOT3_IN_GGA(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → QUOT84_IN_GGGA(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)
QUOT84_IN_GGGA(s(T226), s(T227), T228, T230) → QUOT84_IN_GGGA(T226, T227, T228, T230)
QUOT84_IN_GGGA(T241, 0, T242, s(T244)) → QUOT3_IN_GGA(T241, s(T242), T244)
QUOT3_IN_GGA(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190))))))))) → QUOT84_IN_GGGA(T189, T190, s(s(s(s(s(s(s(T190))))))))
QUOT84_IN_GGGA(s(T226), s(T227), T228) → QUOT84_IN_GGGA(T226, T227, T228)
QUOT84_IN_GGGA(T241, 0, T242) → QUOT3_IN_GGA(T241, s(T242))
From the DPs we obtained the following set of size-change graphs: