0 Prolog
↳1 PrologToPiTRSViaGraphTransformerProof (⇒, 1272 ms)
↳2 PiTRS
↳3 DependencyPairsProof (⇔, 894 ms)
↳4 PiDP
↳5 DependencyGraphProof (⇔, 221 ms)
↳6 AND
↳7 PiDP
↳8 UsableRulesProof (⇔, 0 ms)
↳9 PiDP
↳10 PiDPToQDPProof (⇒, 0 ms)
↳11 QDP
↳12 QDPSizeChangeProof (⇔, 0 ms)
↳13 YES
↳14 PiDP
↳15 UsableRulesProof (⇔, 0 ms)
↳16 PiDP
↳17 PiDPToQDPProof (⇒, 0 ms)
↳18 QDP
↳19 QDPSizeChangeProof (⇔, 0 ms)
↳20 YES
↳21 PiDP
↳22 UsableRulesProof (⇔, 0 ms)
↳23 PiDP
↳24 PiDPToQDPProof (⇒, 0 ms)
↳25 QDP
↳26 QDPSizeChangeProof (⇔, 0 ms)
↳27 YES
↳28 PiDP
↳29 UsableRulesProof (⇔, 0 ms)
↳30 PiDP
↳31 PiDPToQDPProof (⇒, 0 ms)
↳32 QDP
↳33 QDPSizeChangeProof (⇔, 0 ms)
↳34 YES
↳35 PiDP
↳36 UsableRulesProof (⇔, 0 ms)
↳37 PiDP
↳38 PiDPToQDPProof (⇒, 0 ms)
↳39 QDP
↳40 QDPSizeChangeProof (⇔, 0 ms)
↳41 YES
↳42 PiDP
↳43 UsableRulesProof (⇔, 0 ms)
↳44 PiDP
↳45 PiDPToQDPProof (⇒, 0 ms)
↳46 QDP
↳47 QDPSizeChangeProof (⇔, 0 ms)
↳48 YES
↳49 PiDP
↳50 UsableRulesProof (⇔, 0 ms)
↳51 PiDP
↳52 PiDPToQDPProof (⇒, 0 ms)
↳53 QDP
↳54 QDPSizeChangeProof (⇔, 0 ms)
↳55 YES
↳56 PiDP
↳57 UsableRulesProof (⇔, 0 ms)
↳58 PiDP
↳59 PiDPToQDPProof (⇒, 0 ms)
↳60 QDP
↳61 QDPSizeChangeProof (⇔, 0 ms)
↳62 YES
divA_in_gga(T7, T8, T10) → U1_gga(T7, T8, T10, quotB_in_gga(T7, T8, T10))
quotB_in_gga(0, s(T15), 0) → quotB_out_gga(0, s(T15), 0)
quotB_in_gga(s(0), s(s(T38)), 0) → quotB_out_gga(s(0), s(s(T38)), 0)
quotB_in_gga(s(s(0)), s(s(s(T61))), 0) → quotB_out_gga(s(s(0)), s(s(s(T61))), 0)
quotB_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U4_gga(T189, T190, T192, quotC_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quotC_in_ggga(0, s(T208), T209, 0) → quotC_out_ggga(0, s(T208), T209, 0)
quotC_in_ggga(s(T226), s(T227), T228, T230) → U2_ggga(T226, T227, T228, T230, quotC_in_ggga(T226, T227, T228, T230))
quotC_in_ggga(T241, 0, T242, s(T244)) → U3_ggga(T241, T242, T244, quotB_in_gga(T241, s(T242), T244))
quotB_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U5_gga(T251, T253, quotD_in_ga(T251, T253))
quotD_in_ga(0, 0) → quotD_out_ga(0, 0)
quotD_in_ga(s(0), 0) → quotD_out_ga(s(0), 0)
quotD_in_ga(s(s(0)), 0) → quotD_out_ga(s(s(0)), 0)
quotD_in_ga(s(s(s(0))), 0) → quotD_out_ga(s(s(s(0))), 0)
quotD_in_ga(s(s(s(s(0)))), 0) → quotD_out_ga(s(s(s(s(0)))), 0)
quotD_in_ga(s(s(s(s(s(0))))), 0) → quotD_out_ga(s(s(s(s(s(0))))), 0)
quotD_in_ga(s(s(s(s(s(s(0)))))), 0) → quotD_out_ga(s(s(s(s(s(s(0)))))), 0)
quotD_in_ga(s(s(s(s(s(s(s(T336))))))), s(T338)) → U12_ga(T336, T338, quotD_in_ga(T336, T338))
U12_ga(T336, T338, quotD_out_ga(T336, T338)) → quotD_out_ga(s(s(s(s(s(s(s(T336))))))), s(T338))
U5_gga(T251, T253, quotD_out_ga(T251, T253)) → quotB_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quotB_in_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → U6_gga(T350, T352, quotE_in_ga(T350, T352))
quotE_in_ga(0, 0) → quotE_out_ga(0, 0)
quotE_in_ga(s(0), 0) → quotE_out_ga(s(0), 0)
quotE_in_ga(s(s(0)), 0) → quotE_out_ga(s(s(0)), 0)
quotE_in_ga(s(s(s(0))), 0) → quotE_out_ga(s(s(s(0))), 0)
quotE_in_ga(s(s(s(s(0)))), 0) → quotE_out_ga(s(s(s(s(0)))), 0)
quotE_in_ga(s(s(s(s(s(0))))), 0) → quotE_out_ga(s(s(s(s(s(0))))), 0)
quotE_in_ga(s(s(s(s(s(s(T424)))))), s(T426)) → U13_ga(T424, T426, quotE_in_ga(T424, T426))
U13_ga(T424, T426, quotE_out_ga(T424, T426)) → quotE_out_ga(s(s(s(s(s(s(T424)))))), s(T426))
U6_gga(T350, T352, quotE_out_ga(T350, T352)) → quotB_out_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352))
quotB_in_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → U7_gga(T437, T439, quotF_in_ga(T437, T439))
quotF_in_ga(0, 0) → quotF_out_ga(0, 0)
quotF_in_ga(s(0), 0) → quotF_out_ga(s(0), 0)
quotF_in_ga(s(s(0)), 0) → quotF_out_ga(s(s(0)), 0)
quotF_in_ga(s(s(s(0))), 0) → quotF_out_ga(s(s(s(0))), 0)
quotF_in_ga(s(s(s(s(0)))), 0) → quotF_out_ga(s(s(s(s(0)))), 0)
quotF_in_ga(s(s(s(s(s(T500))))), s(T502)) → U14_ga(T500, T502, quotF_in_ga(T500, T502))
U14_ga(T500, T502, quotF_out_ga(T500, T502)) → quotF_out_ga(s(s(s(s(s(T500))))), s(T502))
U7_gga(T437, T439, quotF_out_ga(T437, T439)) → quotB_out_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439))
quotB_in_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → U8_gga(T512, T514, quotG_in_ga(T512, T514))
quotG_in_ga(0, 0) → quotG_out_ga(0, 0)
quotG_in_ga(s(0), 0) → quotG_out_ga(s(0), 0)
quotG_in_ga(s(s(0)), 0) → quotG_out_ga(s(s(0)), 0)
quotG_in_ga(s(s(s(0))), 0) → quotG_out_ga(s(s(s(0))), 0)
quotG_in_ga(s(s(s(s(T564)))), s(T566)) → U15_ga(T564, T566, quotG_in_ga(T564, T566))
U15_ga(T564, T566, quotG_out_ga(T564, T566)) → quotG_out_ga(s(s(s(s(T564)))), s(T566))
U8_gga(T512, T514, quotG_out_ga(T512, T514)) → quotB_out_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514))
quotB_in_gga(s(s(s(T575))), s(s(s(0))), s(T577)) → U9_gga(T575, T577, quotH_in_ga(T575, T577))
quotH_in_ga(0, 0) → quotH_out_ga(0, 0)
quotH_in_ga(s(0), 0) → quotH_out_ga(s(0), 0)
quotH_in_ga(s(s(0)), 0) → quotH_out_ga(s(s(0)), 0)
quotH_in_ga(s(s(s(T616))), s(T618)) → U16_ga(T616, T618, quotH_in_ga(T616, T618))
U16_ga(T616, T618, quotH_out_ga(T616, T618)) → quotH_out_ga(s(s(s(T616))), s(T618))
U9_gga(T575, T577, quotH_out_ga(T575, T577)) → quotB_out_gga(s(s(s(T575))), s(s(s(0))), s(T577))
quotB_in_gga(s(s(T626)), s(s(0)), s(T628)) → U10_gga(T626, T628, quotI_in_ga(T626, T628))
quotI_in_ga(0, 0) → quotI_out_ga(0, 0)
quotI_in_ga(s(0), 0) → quotI_out_ga(s(0), 0)
quotI_in_ga(s(s(T656)), s(T658)) → U17_ga(T656, T658, quotI_in_ga(T656, T658))
U17_ga(T656, T658, quotI_out_ga(T656, T658)) → quotI_out_ga(s(s(T656)), s(T658))
U10_gga(T626, T628, quotI_out_ga(T626, T628)) → quotB_out_gga(s(s(T626)), s(s(0)), s(T628))
quotB_in_gga(s(T665), s(0), s(T667)) → U11_gga(T665, T667, quotJ_in_ga(T665, T667))
quotJ_in_ga(0, 0) → quotJ_out_ga(0, 0)
quotJ_in_ga(s(T684), s(T686)) → U18_ga(T684, T686, quotJ_in_ga(T684, T686))
U18_ga(T684, T686, quotJ_out_ga(T684, T686)) → quotJ_out_ga(s(T684), s(T686))
U11_gga(T665, T667, quotJ_out_ga(T665, T667)) → quotB_out_gga(s(T665), s(0), s(T667))
U3_ggga(T241, T242, T244, quotB_out_gga(T241, s(T242), T244)) → quotC_out_ggga(T241, 0, T242, s(T244))
U2_ggga(T226, T227, T228, T230, quotC_out_ggga(T226, T227, T228, T230)) → quotC_out_ggga(s(T226), s(T227), T228, T230)
U4_gga(T189, T190, T192, quotC_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quotB_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
DIVA_IN_GGA(T7, T8, T10) → U1_GGA(T7, T8, T10, quotB_in_gga(T7, T8, T10))
DIVA_IN_GGA(T7, T8, T10) → QUOTB_IN_GGA(T7, T8, T10)
QUOTB_IN_GGA(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U4_GGA(T189, T190, T192, quotC_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
QUOTB_IN_GGA(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → QUOTC_IN_GGGA(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)
QUOTC_IN_GGGA(s(T226), s(T227), T228, T230) → U2_GGGA(T226, T227, T228, T230, quotC_in_ggga(T226, T227, T228, T230))
QUOTC_IN_GGGA(s(T226), s(T227), T228, T230) → QUOTC_IN_GGGA(T226, T227, T228, T230)
QUOTC_IN_GGGA(T241, 0, T242, s(T244)) → U3_GGGA(T241, T242, T244, quotB_in_gga(T241, s(T242), T244))
QUOTC_IN_GGGA(T241, 0, T242, s(T244)) → QUOTB_IN_GGA(T241, s(T242), T244)
QUOTB_IN_GGA(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U5_GGA(T251, T253, quotD_in_ga(T251, T253))
QUOTB_IN_GGA(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → QUOTD_IN_GA(T251, T253)
QUOTD_IN_GA(s(s(s(s(s(s(s(T336))))))), s(T338)) → U12_GA(T336, T338, quotD_in_ga(T336, T338))
QUOTD_IN_GA(s(s(s(s(s(s(s(T336))))))), s(T338)) → QUOTD_IN_GA(T336, T338)
QUOTB_IN_GGA(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → U6_GGA(T350, T352, quotE_in_ga(T350, T352))
QUOTB_IN_GGA(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → QUOTE_IN_GA(T350, T352)
QUOTE_IN_GA(s(s(s(s(s(s(T424)))))), s(T426)) → U13_GA(T424, T426, quotE_in_ga(T424, T426))
QUOTE_IN_GA(s(s(s(s(s(s(T424)))))), s(T426)) → QUOTE_IN_GA(T424, T426)
QUOTB_IN_GGA(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → U7_GGA(T437, T439, quotF_in_ga(T437, T439))
QUOTB_IN_GGA(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → QUOTF_IN_GA(T437, T439)
QUOTF_IN_GA(s(s(s(s(s(T500))))), s(T502)) → U14_GA(T500, T502, quotF_in_ga(T500, T502))
QUOTF_IN_GA(s(s(s(s(s(T500))))), s(T502)) → QUOTF_IN_GA(T500, T502)
QUOTB_IN_GGA(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → U8_GGA(T512, T514, quotG_in_ga(T512, T514))
QUOTB_IN_GGA(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → QUOTG_IN_GA(T512, T514)
QUOTG_IN_GA(s(s(s(s(T564)))), s(T566)) → U15_GA(T564, T566, quotG_in_ga(T564, T566))
QUOTG_IN_GA(s(s(s(s(T564)))), s(T566)) → QUOTG_IN_GA(T564, T566)
QUOTB_IN_GGA(s(s(s(T575))), s(s(s(0))), s(T577)) → U9_GGA(T575, T577, quotH_in_ga(T575, T577))
QUOTB_IN_GGA(s(s(s(T575))), s(s(s(0))), s(T577)) → QUOTH_IN_GA(T575, T577)
QUOTH_IN_GA(s(s(s(T616))), s(T618)) → U16_GA(T616, T618, quotH_in_ga(T616, T618))
QUOTH_IN_GA(s(s(s(T616))), s(T618)) → QUOTH_IN_GA(T616, T618)
QUOTB_IN_GGA(s(s(T626)), s(s(0)), s(T628)) → U10_GGA(T626, T628, quotI_in_ga(T626, T628))
QUOTB_IN_GGA(s(s(T626)), s(s(0)), s(T628)) → QUOTI_IN_GA(T626, T628)
QUOTI_IN_GA(s(s(T656)), s(T658)) → U17_GA(T656, T658, quotI_in_ga(T656, T658))
QUOTI_IN_GA(s(s(T656)), s(T658)) → QUOTI_IN_GA(T656, T658)
QUOTB_IN_GGA(s(T665), s(0), s(T667)) → U11_GGA(T665, T667, quotJ_in_ga(T665, T667))
QUOTB_IN_GGA(s(T665), s(0), s(T667)) → QUOTJ_IN_GA(T665, T667)
QUOTJ_IN_GA(s(T684), s(T686)) → U18_GA(T684, T686, quotJ_in_ga(T684, T686))
QUOTJ_IN_GA(s(T684), s(T686)) → QUOTJ_IN_GA(T684, T686)
divA_in_gga(T7, T8, T10) → U1_gga(T7, T8, T10, quotB_in_gga(T7, T8, T10))
quotB_in_gga(0, s(T15), 0) → quotB_out_gga(0, s(T15), 0)
quotB_in_gga(s(0), s(s(T38)), 0) → quotB_out_gga(s(0), s(s(T38)), 0)
quotB_in_gga(s(s(0)), s(s(s(T61))), 0) → quotB_out_gga(s(s(0)), s(s(s(T61))), 0)
quotB_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U4_gga(T189, T190, T192, quotC_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quotC_in_ggga(0, s(T208), T209, 0) → quotC_out_ggga(0, s(T208), T209, 0)
quotC_in_ggga(s(T226), s(T227), T228, T230) → U2_ggga(T226, T227, T228, T230, quotC_in_ggga(T226, T227, T228, T230))
quotC_in_ggga(T241, 0, T242, s(T244)) → U3_ggga(T241, T242, T244, quotB_in_gga(T241, s(T242), T244))
quotB_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U5_gga(T251, T253, quotD_in_ga(T251, T253))
quotD_in_ga(0, 0) → quotD_out_ga(0, 0)
quotD_in_ga(s(0), 0) → quotD_out_ga(s(0), 0)
quotD_in_ga(s(s(0)), 0) → quotD_out_ga(s(s(0)), 0)
quotD_in_ga(s(s(s(0))), 0) → quotD_out_ga(s(s(s(0))), 0)
quotD_in_ga(s(s(s(s(0)))), 0) → quotD_out_ga(s(s(s(s(0)))), 0)
quotD_in_ga(s(s(s(s(s(0))))), 0) → quotD_out_ga(s(s(s(s(s(0))))), 0)
quotD_in_ga(s(s(s(s(s(s(0)))))), 0) → quotD_out_ga(s(s(s(s(s(s(0)))))), 0)
quotD_in_ga(s(s(s(s(s(s(s(T336))))))), s(T338)) → U12_ga(T336, T338, quotD_in_ga(T336, T338))
U12_ga(T336, T338, quotD_out_ga(T336, T338)) → quotD_out_ga(s(s(s(s(s(s(s(T336))))))), s(T338))
U5_gga(T251, T253, quotD_out_ga(T251, T253)) → quotB_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quotB_in_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → U6_gga(T350, T352, quotE_in_ga(T350, T352))
quotE_in_ga(0, 0) → quotE_out_ga(0, 0)
quotE_in_ga(s(0), 0) → quotE_out_ga(s(0), 0)
quotE_in_ga(s(s(0)), 0) → quotE_out_ga(s(s(0)), 0)
quotE_in_ga(s(s(s(0))), 0) → quotE_out_ga(s(s(s(0))), 0)
quotE_in_ga(s(s(s(s(0)))), 0) → quotE_out_ga(s(s(s(s(0)))), 0)
quotE_in_ga(s(s(s(s(s(0))))), 0) → quotE_out_ga(s(s(s(s(s(0))))), 0)
quotE_in_ga(s(s(s(s(s(s(T424)))))), s(T426)) → U13_ga(T424, T426, quotE_in_ga(T424, T426))
U13_ga(T424, T426, quotE_out_ga(T424, T426)) → quotE_out_ga(s(s(s(s(s(s(T424)))))), s(T426))
U6_gga(T350, T352, quotE_out_ga(T350, T352)) → quotB_out_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352))
quotB_in_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → U7_gga(T437, T439, quotF_in_ga(T437, T439))
quotF_in_ga(0, 0) → quotF_out_ga(0, 0)
quotF_in_ga(s(0), 0) → quotF_out_ga(s(0), 0)
quotF_in_ga(s(s(0)), 0) → quotF_out_ga(s(s(0)), 0)
quotF_in_ga(s(s(s(0))), 0) → quotF_out_ga(s(s(s(0))), 0)
quotF_in_ga(s(s(s(s(0)))), 0) → quotF_out_ga(s(s(s(s(0)))), 0)
quotF_in_ga(s(s(s(s(s(T500))))), s(T502)) → U14_ga(T500, T502, quotF_in_ga(T500, T502))
U14_ga(T500, T502, quotF_out_ga(T500, T502)) → quotF_out_ga(s(s(s(s(s(T500))))), s(T502))
U7_gga(T437, T439, quotF_out_ga(T437, T439)) → quotB_out_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439))
quotB_in_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → U8_gga(T512, T514, quotG_in_ga(T512, T514))
quotG_in_ga(0, 0) → quotG_out_ga(0, 0)
quotG_in_ga(s(0), 0) → quotG_out_ga(s(0), 0)
quotG_in_ga(s(s(0)), 0) → quotG_out_ga(s(s(0)), 0)
quotG_in_ga(s(s(s(0))), 0) → quotG_out_ga(s(s(s(0))), 0)
quotG_in_ga(s(s(s(s(T564)))), s(T566)) → U15_ga(T564, T566, quotG_in_ga(T564, T566))
U15_ga(T564, T566, quotG_out_ga(T564, T566)) → quotG_out_ga(s(s(s(s(T564)))), s(T566))
U8_gga(T512, T514, quotG_out_ga(T512, T514)) → quotB_out_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514))
quotB_in_gga(s(s(s(T575))), s(s(s(0))), s(T577)) → U9_gga(T575, T577, quotH_in_ga(T575, T577))
quotH_in_ga(0, 0) → quotH_out_ga(0, 0)
quotH_in_ga(s(0), 0) → quotH_out_ga(s(0), 0)
quotH_in_ga(s(s(0)), 0) → quotH_out_ga(s(s(0)), 0)
quotH_in_ga(s(s(s(T616))), s(T618)) → U16_ga(T616, T618, quotH_in_ga(T616, T618))
U16_ga(T616, T618, quotH_out_ga(T616, T618)) → quotH_out_ga(s(s(s(T616))), s(T618))
U9_gga(T575, T577, quotH_out_ga(T575, T577)) → quotB_out_gga(s(s(s(T575))), s(s(s(0))), s(T577))
quotB_in_gga(s(s(T626)), s(s(0)), s(T628)) → U10_gga(T626, T628, quotI_in_ga(T626, T628))
quotI_in_ga(0, 0) → quotI_out_ga(0, 0)
quotI_in_ga(s(0), 0) → quotI_out_ga(s(0), 0)
quotI_in_ga(s(s(T656)), s(T658)) → U17_ga(T656, T658, quotI_in_ga(T656, T658))
U17_ga(T656, T658, quotI_out_ga(T656, T658)) → quotI_out_ga(s(s(T656)), s(T658))
U10_gga(T626, T628, quotI_out_ga(T626, T628)) → quotB_out_gga(s(s(T626)), s(s(0)), s(T628))
quotB_in_gga(s(T665), s(0), s(T667)) → U11_gga(T665, T667, quotJ_in_ga(T665, T667))
quotJ_in_ga(0, 0) → quotJ_out_ga(0, 0)
quotJ_in_ga(s(T684), s(T686)) → U18_ga(T684, T686, quotJ_in_ga(T684, T686))
U18_ga(T684, T686, quotJ_out_ga(T684, T686)) → quotJ_out_ga(s(T684), s(T686))
U11_gga(T665, T667, quotJ_out_ga(T665, T667)) → quotB_out_gga(s(T665), s(0), s(T667))
U3_ggga(T241, T242, T244, quotB_out_gga(T241, s(T242), T244)) → quotC_out_ggga(T241, 0, T242, s(T244))
U2_ggga(T226, T227, T228, T230, quotC_out_ggga(T226, T227, T228, T230)) → quotC_out_ggga(s(T226), s(T227), T228, T230)
U4_gga(T189, T190, T192, quotC_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quotB_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
DIVA_IN_GGA(T7, T8, T10) → U1_GGA(T7, T8, T10, quotB_in_gga(T7, T8, T10))
DIVA_IN_GGA(T7, T8, T10) → QUOTB_IN_GGA(T7, T8, T10)
QUOTB_IN_GGA(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U4_GGA(T189, T190, T192, quotC_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
QUOTB_IN_GGA(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → QUOTC_IN_GGGA(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)
QUOTC_IN_GGGA(s(T226), s(T227), T228, T230) → U2_GGGA(T226, T227, T228, T230, quotC_in_ggga(T226, T227, T228, T230))
QUOTC_IN_GGGA(s(T226), s(T227), T228, T230) → QUOTC_IN_GGGA(T226, T227, T228, T230)
QUOTC_IN_GGGA(T241, 0, T242, s(T244)) → U3_GGGA(T241, T242, T244, quotB_in_gga(T241, s(T242), T244))
QUOTC_IN_GGGA(T241, 0, T242, s(T244)) → QUOTB_IN_GGA(T241, s(T242), T244)
QUOTB_IN_GGA(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U5_GGA(T251, T253, quotD_in_ga(T251, T253))
QUOTB_IN_GGA(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → QUOTD_IN_GA(T251, T253)
QUOTD_IN_GA(s(s(s(s(s(s(s(T336))))))), s(T338)) → U12_GA(T336, T338, quotD_in_ga(T336, T338))
QUOTD_IN_GA(s(s(s(s(s(s(s(T336))))))), s(T338)) → QUOTD_IN_GA(T336, T338)
QUOTB_IN_GGA(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → U6_GGA(T350, T352, quotE_in_ga(T350, T352))
QUOTB_IN_GGA(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → QUOTE_IN_GA(T350, T352)
QUOTE_IN_GA(s(s(s(s(s(s(T424)))))), s(T426)) → U13_GA(T424, T426, quotE_in_ga(T424, T426))
QUOTE_IN_GA(s(s(s(s(s(s(T424)))))), s(T426)) → QUOTE_IN_GA(T424, T426)
QUOTB_IN_GGA(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → U7_GGA(T437, T439, quotF_in_ga(T437, T439))
QUOTB_IN_GGA(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → QUOTF_IN_GA(T437, T439)
QUOTF_IN_GA(s(s(s(s(s(T500))))), s(T502)) → U14_GA(T500, T502, quotF_in_ga(T500, T502))
QUOTF_IN_GA(s(s(s(s(s(T500))))), s(T502)) → QUOTF_IN_GA(T500, T502)
QUOTB_IN_GGA(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → U8_GGA(T512, T514, quotG_in_ga(T512, T514))
QUOTB_IN_GGA(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → QUOTG_IN_GA(T512, T514)
QUOTG_IN_GA(s(s(s(s(T564)))), s(T566)) → U15_GA(T564, T566, quotG_in_ga(T564, T566))
QUOTG_IN_GA(s(s(s(s(T564)))), s(T566)) → QUOTG_IN_GA(T564, T566)
QUOTB_IN_GGA(s(s(s(T575))), s(s(s(0))), s(T577)) → U9_GGA(T575, T577, quotH_in_ga(T575, T577))
QUOTB_IN_GGA(s(s(s(T575))), s(s(s(0))), s(T577)) → QUOTH_IN_GA(T575, T577)
QUOTH_IN_GA(s(s(s(T616))), s(T618)) → U16_GA(T616, T618, quotH_in_ga(T616, T618))
QUOTH_IN_GA(s(s(s(T616))), s(T618)) → QUOTH_IN_GA(T616, T618)
QUOTB_IN_GGA(s(s(T626)), s(s(0)), s(T628)) → U10_GGA(T626, T628, quotI_in_ga(T626, T628))
QUOTB_IN_GGA(s(s(T626)), s(s(0)), s(T628)) → QUOTI_IN_GA(T626, T628)
QUOTI_IN_GA(s(s(T656)), s(T658)) → U17_GA(T656, T658, quotI_in_ga(T656, T658))
QUOTI_IN_GA(s(s(T656)), s(T658)) → QUOTI_IN_GA(T656, T658)
QUOTB_IN_GGA(s(T665), s(0), s(T667)) → U11_GGA(T665, T667, quotJ_in_ga(T665, T667))
QUOTB_IN_GGA(s(T665), s(0), s(T667)) → QUOTJ_IN_GA(T665, T667)
QUOTJ_IN_GA(s(T684), s(T686)) → U18_GA(T684, T686, quotJ_in_ga(T684, T686))
QUOTJ_IN_GA(s(T684), s(T686)) → QUOTJ_IN_GA(T684, T686)
divA_in_gga(T7, T8, T10) → U1_gga(T7, T8, T10, quotB_in_gga(T7, T8, T10))
quotB_in_gga(0, s(T15), 0) → quotB_out_gga(0, s(T15), 0)
quotB_in_gga(s(0), s(s(T38)), 0) → quotB_out_gga(s(0), s(s(T38)), 0)
quotB_in_gga(s(s(0)), s(s(s(T61))), 0) → quotB_out_gga(s(s(0)), s(s(s(T61))), 0)
quotB_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U4_gga(T189, T190, T192, quotC_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quotC_in_ggga(0, s(T208), T209, 0) → quotC_out_ggga(0, s(T208), T209, 0)
quotC_in_ggga(s(T226), s(T227), T228, T230) → U2_ggga(T226, T227, T228, T230, quotC_in_ggga(T226, T227, T228, T230))
quotC_in_ggga(T241, 0, T242, s(T244)) → U3_ggga(T241, T242, T244, quotB_in_gga(T241, s(T242), T244))
quotB_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U5_gga(T251, T253, quotD_in_ga(T251, T253))
quotD_in_ga(0, 0) → quotD_out_ga(0, 0)
quotD_in_ga(s(0), 0) → quotD_out_ga(s(0), 0)
quotD_in_ga(s(s(0)), 0) → quotD_out_ga(s(s(0)), 0)
quotD_in_ga(s(s(s(0))), 0) → quotD_out_ga(s(s(s(0))), 0)
quotD_in_ga(s(s(s(s(0)))), 0) → quotD_out_ga(s(s(s(s(0)))), 0)
quotD_in_ga(s(s(s(s(s(0))))), 0) → quotD_out_ga(s(s(s(s(s(0))))), 0)
quotD_in_ga(s(s(s(s(s(s(0)))))), 0) → quotD_out_ga(s(s(s(s(s(s(0)))))), 0)
quotD_in_ga(s(s(s(s(s(s(s(T336))))))), s(T338)) → U12_ga(T336, T338, quotD_in_ga(T336, T338))
U12_ga(T336, T338, quotD_out_ga(T336, T338)) → quotD_out_ga(s(s(s(s(s(s(s(T336))))))), s(T338))
U5_gga(T251, T253, quotD_out_ga(T251, T253)) → quotB_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quotB_in_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → U6_gga(T350, T352, quotE_in_ga(T350, T352))
quotE_in_ga(0, 0) → quotE_out_ga(0, 0)
quotE_in_ga(s(0), 0) → quotE_out_ga(s(0), 0)
quotE_in_ga(s(s(0)), 0) → quotE_out_ga(s(s(0)), 0)
quotE_in_ga(s(s(s(0))), 0) → quotE_out_ga(s(s(s(0))), 0)
quotE_in_ga(s(s(s(s(0)))), 0) → quotE_out_ga(s(s(s(s(0)))), 0)
quotE_in_ga(s(s(s(s(s(0))))), 0) → quotE_out_ga(s(s(s(s(s(0))))), 0)
quotE_in_ga(s(s(s(s(s(s(T424)))))), s(T426)) → U13_ga(T424, T426, quotE_in_ga(T424, T426))
U13_ga(T424, T426, quotE_out_ga(T424, T426)) → quotE_out_ga(s(s(s(s(s(s(T424)))))), s(T426))
U6_gga(T350, T352, quotE_out_ga(T350, T352)) → quotB_out_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352))
quotB_in_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → U7_gga(T437, T439, quotF_in_ga(T437, T439))
quotF_in_ga(0, 0) → quotF_out_ga(0, 0)
quotF_in_ga(s(0), 0) → quotF_out_ga(s(0), 0)
quotF_in_ga(s(s(0)), 0) → quotF_out_ga(s(s(0)), 0)
quotF_in_ga(s(s(s(0))), 0) → quotF_out_ga(s(s(s(0))), 0)
quotF_in_ga(s(s(s(s(0)))), 0) → quotF_out_ga(s(s(s(s(0)))), 0)
quotF_in_ga(s(s(s(s(s(T500))))), s(T502)) → U14_ga(T500, T502, quotF_in_ga(T500, T502))
U14_ga(T500, T502, quotF_out_ga(T500, T502)) → quotF_out_ga(s(s(s(s(s(T500))))), s(T502))
U7_gga(T437, T439, quotF_out_ga(T437, T439)) → quotB_out_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439))
quotB_in_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → U8_gga(T512, T514, quotG_in_ga(T512, T514))
quotG_in_ga(0, 0) → quotG_out_ga(0, 0)
quotG_in_ga(s(0), 0) → quotG_out_ga(s(0), 0)
quotG_in_ga(s(s(0)), 0) → quotG_out_ga(s(s(0)), 0)
quotG_in_ga(s(s(s(0))), 0) → quotG_out_ga(s(s(s(0))), 0)
quotG_in_ga(s(s(s(s(T564)))), s(T566)) → U15_ga(T564, T566, quotG_in_ga(T564, T566))
U15_ga(T564, T566, quotG_out_ga(T564, T566)) → quotG_out_ga(s(s(s(s(T564)))), s(T566))
U8_gga(T512, T514, quotG_out_ga(T512, T514)) → quotB_out_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514))
quotB_in_gga(s(s(s(T575))), s(s(s(0))), s(T577)) → U9_gga(T575, T577, quotH_in_ga(T575, T577))
quotH_in_ga(0, 0) → quotH_out_ga(0, 0)
quotH_in_ga(s(0), 0) → quotH_out_ga(s(0), 0)
quotH_in_ga(s(s(0)), 0) → quotH_out_ga(s(s(0)), 0)
quotH_in_ga(s(s(s(T616))), s(T618)) → U16_ga(T616, T618, quotH_in_ga(T616, T618))
U16_ga(T616, T618, quotH_out_ga(T616, T618)) → quotH_out_ga(s(s(s(T616))), s(T618))
U9_gga(T575, T577, quotH_out_ga(T575, T577)) → quotB_out_gga(s(s(s(T575))), s(s(s(0))), s(T577))
quotB_in_gga(s(s(T626)), s(s(0)), s(T628)) → U10_gga(T626, T628, quotI_in_ga(T626, T628))
quotI_in_ga(0, 0) → quotI_out_ga(0, 0)
quotI_in_ga(s(0), 0) → quotI_out_ga(s(0), 0)
quotI_in_ga(s(s(T656)), s(T658)) → U17_ga(T656, T658, quotI_in_ga(T656, T658))
U17_ga(T656, T658, quotI_out_ga(T656, T658)) → quotI_out_ga(s(s(T656)), s(T658))
U10_gga(T626, T628, quotI_out_ga(T626, T628)) → quotB_out_gga(s(s(T626)), s(s(0)), s(T628))
quotB_in_gga(s(T665), s(0), s(T667)) → U11_gga(T665, T667, quotJ_in_ga(T665, T667))
quotJ_in_ga(0, 0) → quotJ_out_ga(0, 0)
quotJ_in_ga(s(T684), s(T686)) → U18_ga(T684, T686, quotJ_in_ga(T684, T686))
U18_ga(T684, T686, quotJ_out_ga(T684, T686)) → quotJ_out_ga(s(T684), s(T686))
U11_gga(T665, T667, quotJ_out_ga(T665, T667)) → quotB_out_gga(s(T665), s(0), s(T667))
U3_ggga(T241, T242, T244, quotB_out_gga(T241, s(T242), T244)) → quotC_out_ggga(T241, 0, T242, s(T244))
U2_ggga(T226, T227, T228, T230, quotC_out_ggga(T226, T227, T228, T230)) → quotC_out_ggga(s(T226), s(T227), T228, T230)
U4_gga(T189, T190, T192, quotC_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quotB_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTJ_IN_GA(s(T684), s(T686)) → QUOTJ_IN_GA(T684, T686)
divA_in_gga(T7, T8, T10) → U1_gga(T7, T8, T10, quotB_in_gga(T7, T8, T10))
quotB_in_gga(0, s(T15), 0) → quotB_out_gga(0, s(T15), 0)
quotB_in_gga(s(0), s(s(T38)), 0) → quotB_out_gga(s(0), s(s(T38)), 0)
quotB_in_gga(s(s(0)), s(s(s(T61))), 0) → quotB_out_gga(s(s(0)), s(s(s(T61))), 0)
quotB_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U4_gga(T189, T190, T192, quotC_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quotC_in_ggga(0, s(T208), T209, 0) → quotC_out_ggga(0, s(T208), T209, 0)
quotC_in_ggga(s(T226), s(T227), T228, T230) → U2_ggga(T226, T227, T228, T230, quotC_in_ggga(T226, T227, T228, T230))
quotC_in_ggga(T241, 0, T242, s(T244)) → U3_ggga(T241, T242, T244, quotB_in_gga(T241, s(T242), T244))
quotB_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U5_gga(T251, T253, quotD_in_ga(T251, T253))
quotD_in_ga(0, 0) → quotD_out_ga(0, 0)
quotD_in_ga(s(0), 0) → quotD_out_ga(s(0), 0)
quotD_in_ga(s(s(0)), 0) → quotD_out_ga(s(s(0)), 0)
quotD_in_ga(s(s(s(0))), 0) → quotD_out_ga(s(s(s(0))), 0)
quotD_in_ga(s(s(s(s(0)))), 0) → quotD_out_ga(s(s(s(s(0)))), 0)
quotD_in_ga(s(s(s(s(s(0))))), 0) → quotD_out_ga(s(s(s(s(s(0))))), 0)
quotD_in_ga(s(s(s(s(s(s(0)))))), 0) → quotD_out_ga(s(s(s(s(s(s(0)))))), 0)
quotD_in_ga(s(s(s(s(s(s(s(T336))))))), s(T338)) → U12_ga(T336, T338, quotD_in_ga(T336, T338))
U12_ga(T336, T338, quotD_out_ga(T336, T338)) → quotD_out_ga(s(s(s(s(s(s(s(T336))))))), s(T338))
U5_gga(T251, T253, quotD_out_ga(T251, T253)) → quotB_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quotB_in_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → U6_gga(T350, T352, quotE_in_ga(T350, T352))
quotE_in_ga(0, 0) → quotE_out_ga(0, 0)
quotE_in_ga(s(0), 0) → quotE_out_ga(s(0), 0)
quotE_in_ga(s(s(0)), 0) → quotE_out_ga(s(s(0)), 0)
quotE_in_ga(s(s(s(0))), 0) → quotE_out_ga(s(s(s(0))), 0)
quotE_in_ga(s(s(s(s(0)))), 0) → quotE_out_ga(s(s(s(s(0)))), 0)
quotE_in_ga(s(s(s(s(s(0))))), 0) → quotE_out_ga(s(s(s(s(s(0))))), 0)
quotE_in_ga(s(s(s(s(s(s(T424)))))), s(T426)) → U13_ga(T424, T426, quotE_in_ga(T424, T426))
U13_ga(T424, T426, quotE_out_ga(T424, T426)) → quotE_out_ga(s(s(s(s(s(s(T424)))))), s(T426))
U6_gga(T350, T352, quotE_out_ga(T350, T352)) → quotB_out_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352))
quotB_in_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → U7_gga(T437, T439, quotF_in_ga(T437, T439))
quotF_in_ga(0, 0) → quotF_out_ga(0, 0)
quotF_in_ga(s(0), 0) → quotF_out_ga(s(0), 0)
quotF_in_ga(s(s(0)), 0) → quotF_out_ga(s(s(0)), 0)
quotF_in_ga(s(s(s(0))), 0) → quotF_out_ga(s(s(s(0))), 0)
quotF_in_ga(s(s(s(s(0)))), 0) → quotF_out_ga(s(s(s(s(0)))), 0)
quotF_in_ga(s(s(s(s(s(T500))))), s(T502)) → U14_ga(T500, T502, quotF_in_ga(T500, T502))
U14_ga(T500, T502, quotF_out_ga(T500, T502)) → quotF_out_ga(s(s(s(s(s(T500))))), s(T502))
U7_gga(T437, T439, quotF_out_ga(T437, T439)) → quotB_out_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439))
quotB_in_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → U8_gga(T512, T514, quotG_in_ga(T512, T514))
quotG_in_ga(0, 0) → quotG_out_ga(0, 0)
quotG_in_ga(s(0), 0) → quotG_out_ga(s(0), 0)
quotG_in_ga(s(s(0)), 0) → quotG_out_ga(s(s(0)), 0)
quotG_in_ga(s(s(s(0))), 0) → quotG_out_ga(s(s(s(0))), 0)
quotG_in_ga(s(s(s(s(T564)))), s(T566)) → U15_ga(T564, T566, quotG_in_ga(T564, T566))
U15_ga(T564, T566, quotG_out_ga(T564, T566)) → quotG_out_ga(s(s(s(s(T564)))), s(T566))
U8_gga(T512, T514, quotG_out_ga(T512, T514)) → quotB_out_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514))
quotB_in_gga(s(s(s(T575))), s(s(s(0))), s(T577)) → U9_gga(T575, T577, quotH_in_ga(T575, T577))
quotH_in_ga(0, 0) → quotH_out_ga(0, 0)
quotH_in_ga(s(0), 0) → quotH_out_ga(s(0), 0)
quotH_in_ga(s(s(0)), 0) → quotH_out_ga(s(s(0)), 0)
quotH_in_ga(s(s(s(T616))), s(T618)) → U16_ga(T616, T618, quotH_in_ga(T616, T618))
U16_ga(T616, T618, quotH_out_ga(T616, T618)) → quotH_out_ga(s(s(s(T616))), s(T618))
U9_gga(T575, T577, quotH_out_ga(T575, T577)) → quotB_out_gga(s(s(s(T575))), s(s(s(0))), s(T577))
quotB_in_gga(s(s(T626)), s(s(0)), s(T628)) → U10_gga(T626, T628, quotI_in_ga(T626, T628))
quotI_in_ga(0, 0) → quotI_out_ga(0, 0)
quotI_in_ga(s(0), 0) → quotI_out_ga(s(0), 0)
quotI_in_ga(s(s(T656)), s(T658)) → U17_ga(T656, T658, quotI_in_ga(T656, T658))
U17_ga(T656, T658, quotI_out_ga(T656, T658)) → quotI_out_ga(s(s(T656)), s(T658))
U10_gga(T626, T628, quotI_out_ga(T626, T628)) → quotB_out_gga(s(s(T626)), s(s(0)), s(T628))
quotB_in_gga(s(T665), s(0), s(T667)) → U11_gga(T665, T667, quotJ_in_ga(T665, T667))
quotJ_in_ga(0, 0) → quotJ_out_ga(0, 0)
quotJ_in_ga(s(T684), s(T686)) → U18_ga(T684, T686, quotJ_in_ga(T684, T686))
U18_ga(T684, T686, quotJ_out_ga(T684, T686)) → quotJ_out_ga(s(T684), s(T686))
U11_gga(T665, T667, quotJ_out_ga(T665, T667)) → quotB_out_gga(s(T665), s(0), s(T667))
U3_ggga(T241, T242, T244, quotB_out_gga(T241, s(T242), T244)) → quotC_out_ggga(T241, 0, T242, s(T244))
U2_ggga(T226, T227, T228, T230, quotC_out_ggga(T226, T227, T228, T230)) → quotC_out_ggga(s(T226), s(T227), T228, T230)
U4_gga(T189, T190, T192, quotC_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quotB_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTJ_IN_GA(s(T684), s(T686)) → QUOTJ_IN_GA(T684, T686)
QUOTJ_IN_GA(s(T684)) → QUOTJ_IN_GA(T684)
From the DPs we obtained the following set of size-change graphs:
QUOTI_IN_GA(s(s(T656)), s(T658)) → QUOTI_IN_GA(T656, T658)
divA_in_gga(T7, T8, T10) → U1_gga(T7, T8, T10, quotB_in_gga(T7, T8, T10))
quotB_in_gga(0, s(T15), 0) → quotB_out_gga(0, s(T15), 0)
quotB_in_gga(s(0), s(s(T38)), 0) → quotB_out_gga(s(0), s(s(T38)), 0)
quotB_in_gga(s(s(0)), s(s(s(T61))), 0) → quotB_out_gga(s(s(0)), s(s(s(T61))), 0)
quotB_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U4_gga(T189, T190, T192, quotC_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quotC_in_ggga(0, s(T208), T209, 0) → quotC_out_ggga(0, s(T208), T209, 0)
quotC_in_ggga(s(T226), s(T227), T228, T230) → U2_ggga(T226, T227, T228, T230, quotC_in_ggga(T226, T227, T228, T230))
quotC_in_ggga(T241, 0, T242, s(T244)) → U3_ggga(T241, T242, T244, quotB_in_gga(T241, s(T242), T244))
quotB_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U5_gga(T251, T253, quotD_in_ga(T251, T253))
quotD_in_ga(0, 0) → quotD_out_ga(0, 0)
quotD_in_ga(s(0), 0) → quotD_out_ga(s(0), 0)
quotD_in_ga(s(s(0)), 0) → quotD_out_ga(s(s(0)), 0)
quotD_in_ga(s(s(s(0))), 0) → quotD_out_ga(s(s(s(0))), 0)
quotD_in_ga(s(s(s(s(0)))), 0) → quotD_out_ga(s(s(s(s(0)))), 0)
quotD_in_ga(s(s(s(s(s(0))))), 0) → quotD_out_ga(s(s(s(s(s(0))))), 0)
quotD_in_ga(s(s(s(s(s(s(0)))))), 0) → quotD_out_ga(s(s(s(s(s(s(0)))))), 0)
quotD_in_ga(s(s(s(s(s(s(s(T336))))))), s(T338)) → U12_ga(T336, T338, quotD_in_ga(T336, T338))
U12_ga(T336, T338, quotD_out_ga(T336, T338)) → quotD_out_ga(s(s(s(s(s(s(s(T336))))))), s(T338))
U5_gga(T251, T253, quotD_out_ga(T251, T253)) → quotB_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quotB_in_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → U6_gga(T350, T352, quotE_in_ga(T350, T352))
quotE_in_ga(0, 0) → quotE_out_ga(0, 0)
quotE_in_ga(s(0), 0) → quotE_out_ga(s(0), 0)
quotE_in_ga(s(s(0)), 0) → quotE_out_ga(s(s(0)), 0)
quotE_in_ga(s(s(s(0))), 0) → quotE_out_ga(s(s(s(0))), 0)
quotE_in_ga(s(s(s(s(0)))), 0) → quotE_out_ga(s(s(s(s(0)))), 0)
quotE_in_ga(s(s(s(s(s(0))))), 0) → quotE_out_ga(s(s(s(s(s(0))))), 0)
quotE_in_ga(s(s(s(s(s(s(T424)))))), s(T426)) → U13_ga(T424, T426, quotE_in_ga(T424, T426))
U13_ga(T424, T426, quotE_out_ga(T424, T426)) → quotE_out_ga(s(s(s(s(s(s(T424)))))), s(T426))
U6_gga(T350, T352, quotE_out_ga(T350, T352)) → quotB_out_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352))
quotB_in_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → U7_gga(T437, T439, quotF_in_ga(T437, T439))
quotF_in_ga(0, 0) → quotF_out_ga(0, 0)
quotF_in_ga(s(0), 0) → quotF_out_ga(s(0), 0)
quotF_in_ga(s(s(0)), 0) → quotF_out_ga(s(s(0)), 0)
quotF_in_ga(s(s(s(0))), 0) → quotF_out_ga(s(s(s(0))), 0)
quotF_in_ga(s(s(s(s(0)))), 0) → quotF_out_ga(s(s(s(s(0)))), 0)
quotF_in_ga(s(s(s(s(s(T500))))), s(T502)) → U14_ga(T500, T502, quotF_in_ga(T500, T502))
U14_ga(T500, T502, quotF_out_ga(T500, T502)) → quotF_out_ga(s(s(s(s(s(T500))))), s(T502))
U7_gga(T437, T439, quotF_out_ga(T437, T439)) → quotB_out_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439))
quotB_in_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → U8_gga(T512, T514, quotG_in_ga(T512, T514))
quotG_in_ga(0, 0) → quotG_out_ga(0, 0)
quotG_in_ga(s(0), 0) → quotG_out_ga(s(0), 0)
quotG_in_ga(s(s(0)), 0) → quotG_out_ga(s(s(0)), 0)
quotG_in_ga(s(s(s(0))), 0) → quotG_out_ga(s(s(s(0))), 0)
quotG_in_ga(s(s(s(s(T564)))), s(T566)) → U15_ga(T564, T566, quotG_in_ga(T564, T566))
U15_ga(T564, T566, quotG_out_ga(T564, T566)) → quotG_out_ga(s(s(s(s(T564)))), s(T566))
U8_gga(T512, T514, quotG_out_ga(T512, T514)) → quotB_out_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514))
quotB_in_gga(s(s(s(T575))), s(s(s(0))), s(T577)) → U9_gga(T575, T577, quotH_in_ga(T575, T577))
quotH_in_ga(0, 0) → quotH_out_ga(0, 0)
quotH_in_ga(s(0), 0) → quotH_out_ga(s(0), 0)
quotH_in_ga(s(s(0)), 0) → quotH_out_ga(s(s(0)), 0)
quotH_in_ga(s(s(s(T616))), s(T618)) → U16_ga(T616, T618, quotH_in_ga(T616, T618))
U16_ga(T616, T618, quotH_out_ga(T616, T618)) → quotH_out_ga(s(s(s(T616))), s(T618))
U9_gga(T575, T577, quotH_out_ga(T575, T577)) → quotB_out_gga(s(s(s(T575))), s(s(s(0))), s(T577))
quotB_in_gga(s(s(T626)), s(s(0)), s(T628)) → U10_gga(T626, T628, quotI_in_ga(T626, T628))
quotI_in_ga(0, 0) → quotI_out_ga(0, 0)
quotI_in_ga(s(0), 0) → quotI_out_ga(s(0), 0)
quotI_in_ga(s(s(T656)), s(T658)) → U17_ga(T656, T658, quotI_in_ga(T656, T658))
U17_ga(T656, T658, quotI_out_ga(T656, T658)) → quotI_out_ga(s(s(T656)), s(T658))
U10_gga(T626, T628, quotI_out_ga(T626, T628)) → quotB_out_gga(s(s(T626)), s(s(0)), s(T628))
quotB_in_gga(s(T665), s(0), s(T667)) → U11_gga(T665, T667, quotJ_in_ga(T665, T667))
quotJ_in_ga(0, 0) → quotJ_out_ga(0, 0)
quotJ_in_ga(s(T684), s(T686)) → U18_ga(T684, T686, quotJ_in_ga(T684, T686))
U18_ga(T684, T686, quotJ_out_ga(T684, T686)) → quotJ_out_ga(s(T684), s(T686))
U11_gga(T665, T667, quotJ_out_ga(T665, T667)) → quotB_out_gga(s(T665), s(0), s(T667))
U3_ggga(T241, T242, T244, quotB_out_gga(T241, s(T242), T244)) → quotC_out_ggga(T241, 0, T242, s(T244))
U2_ggga(T226, T227, T228, T230, quotC_out_ggga(T226, T227, T228, T230)) → quotC_out_ggga(s(T226), s(T227), T228, T230)
U4_gga(T189, T190, T192, quotC_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quotB_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTI_IN_GA(s(s(T656)), s(T658)) → QUOTI_IN_GA(T656, T658)
QUOTI_IN_GA(s(s(T656))) → QUOTI_IN_GA(T656)
From the DPs we obtained the following set of size-change graphs:
QUOTH_IN_GA(s(s(s(T616))), s(T618)) → QUOTH_IN_GA(T616, T618)
divA_in_gga(T7, T8, T10) → U1_gga(T7, T8, T10, quotB_in_gga(T7, T8, T10))
quotB_in_gga(0, s(T15), 0) → quotB_out_gga(0, s(T15), 0)
quotB_in_gga(s(0), s(s(T38)), 0) → quotB_out_gga(s(0), s(s(T38)), 0)
quotB_in_gga(s(s(0)), s(s(s(T61))), 0) → quotB_out_gga(s(s(0)), s(s(s(T61))), 0)
quotB_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U4_gga(T189, T190, T192, quotC_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quotC_in_ggga(0, s(T208), T209, 0) → quotC_out_ggga(0, s(T208), T209, 0)
quotC_in_ggga(s(T226), s(T227), T228, T230) → U2_ggga(T226, T227, T228, T230, quotC_in_ggga(T226, T227, T228, T230))
quotC_in_ggga(T241, 0, T242, s(T244)) → U3_ggga(T241, T242, T244, quotB_in_gga(T241, s(T242), T244))
quotB_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U5_gga(T251, T253, quotD_in_ga(T251, T253))
quotD_in_ga(0, 0) → quotD_out_ga(0, 0)
quotD_in_ga(s(0), 0) → quotD_out_ga(s(0), 0)
quotD_in_ga(s(s(0)), 0) → quotD_out_ga(s(s(0)), 0)
quotD_in_ga(s(s(s(0))), 0) → quotD_out_ga(s(s(s(0))), 0)
quotD_in_ga(s(s(s(s(0)))), 0) → quotD_out_ga(s(s(s(s(0)))), 0)
quotD_in_ga(s(s(s(s(s(0))))), 0) → quotD_out_ga(s(s(s(s(s(0))))), 0)
quotD_in_ga(s(s(s(s(s(s(0)))))), 0) → quotD_out_ga(s(s(s(s(s(s(0)))))), 0)
quotD_in_ga(s(s(s(s(s(s(s(T336))))))), s(T338)) → U12_ga(T336, T338, quotD_in_ga(T336, T338))
U12_ga(T336, T338, quotD_out_ga(T336, T338)) → quotD_out_ga(s(s(s(s(s(s(s(T336))))))), s(T338))
U5_gga(T251, T253, quotD_out_ga(T251, T253)) → quotB_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quotB_in_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → U6_gga(T350, T352, quotE_in_ga(T350, T352))
quotE_in_ga(0, 0) → quotE_out_ga(0, 0)
quotE_in_ga(s(0), 0) → quotE_out_ga(s(0), 0)
quotE_in_ga(s(s(0)), 0) → quotE_out_ga(s(s(0)), 0)
quotE_in_ga(s(s(s(0))), 0) → quotE_out_ga(s(s(s(0))), 0)
quotE_in_ga(s(s(s(s(0)))), 0) → quotE_out_ga(s(s(s(s(0)))), 0)
quotE_in_ga(s(s(s(s(s(0))))), 0) → quotE_out_ga(s(s(s(s(s(0))))), 0)
quotE_in_ga(s(s(s(s(s(s(T424)))))), s(T426)) → U13_ga(T424, T426, quotE_in_ga(T424, T426))
U13_ga(T424, T426, quotE_out_ga(T424, T426)) → quotE_out_ga(s(s(s(s(s(s(T424)))))), s(T426))
U6_gga(T350, T352, quotE_out_ga(T350, T352)) → quotB_out_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352))
quotB_in_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → U7_gga(T437, T439, quotF_in_ga(T437, T439))
quotF_in_ga(0, 0) → quotF_out_ga(0, 0)
quotF_in_ga(s(0), 0) → quotF_out_ga(s(0), 0)
quotF_in_ga(s(s(0)), 0) → quotF_out_ga(s(s(0)), 0)
quotF_in_ga(s(s(s(0))), 0) → quotF_out_ga(s(s(s(0))), 0)
quotF_in_ga(s(s(s(s(0)))), 0) → quotF_out_ga(s(s(s(s(0)))), 0)
quotF_in_ga(s(s(s(s(s(T500))))), s(T502)) → U14_ga(T500, T502, quotF_in_ga(T500, T502))
U14_ga(T500, T502, quotF_out_ga(T500, T502)) → quotF_out_ga(s(s(s(s(s(T500))))), s(T502))
U7_gga(T437, T439, quotF_out_ga(T437, T439)) → quotB_out_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439))
quotB_in_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → U8_gga(T512, T514, quotG_in_ga(T512, T514))
quotG_in_ga(0, 0) → quotG_out_ga(0, 0)
quotG_in_ga(s(0), 0) → quotG_out_ga(s(0), 0)
quotG_in_ga(s(s(0)), 0) → quotG_out_ga(s(s(0)), 0)
quotG_in_ga(s(s(s(0))), 0) → quotG_out_ga(s(s(s(0))), 0)
quotG_in_ga(s(s(s(s(T564)))), s(T566)) → U15_ga(T564, T566, quotG_in_ga(T564, T566))
U15_ga(T564, T566, quotG_out_ga(T564, T566)) → quotG_out_ga(s(s(s(s(T564)))), s(T566))
U8_gga(T512, T514, quotG_out_ga(T512, T514)) → quotB_out_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514))
quotB_in_gga(s(s(s(T575))), s(s(s(0))), s(T577)) → U9_gga(T575, T577, quotH_in_ga(T575, T577))
quotH_in_ga(0, 0) → quotH_out_ga(0, 0)
quotH_in_ga(s(0), 0) → quotH_out_ga(s(0), 0)
quotH_in_ga(s(s(0)), 0) → quotH_out_ga(s(s(0)), 0)
quotH_in_ga(s(s(s(T616))), s(T618)) → U16_ga(T616, T618, quotH_in_ga(T616, T618))
U16_ga(T616, T618, quotH_out_ga(T616, T618)) → quotH_out_ga(s(s(s(T616))), s(T618))
U9_gga(T575, T577, quotH_out_ga(T575, T577)) → quotB_out_gga(s(s(s(T575))), s(s(s(0))), s(T577))
quotB_in_gga(s(s(T626)), s(s(0)), s(T628)) → U10_gga(T626, T628, quotI_in_ga(T626, T628))
quotI_in_ga(0, 0) → quotI_out_ga(0, 0)
quotI_in_ga(s(0), 0) → quotI_out_ga(s(0), 0)
quotI_in_ga(s(s(T656)), s(T658)) → U17_ga(T656, T658, quotI_in_ga(T656, T658))
U17_ga(T656, T658, quotI_out_ga(T656, T658)) → quotI_out_ga(s(s(T656)), s(T658))
U10_gga(T626, T628, quotI_out_ga(T626, T628)) → quotB_out_gga(s(s(T626)), s(s(0)), s(T628))
quotB_in_gga(s(T665), s(0), s(T667)) → U11_gga(T665, T667, quotJ_in_ga(T665, T667))
quotJ_in_ga(0, 0) → quotJ_out_ga(0, 0)
quotJ_in_ga(s(T684), s(T686)) → U18_ga(T684, T686, quotJ_in_ga(T684, T686))
U18_ga(T684, T686, quotJ_out_ga(T684, T686)) → quotJ_out_ga(s(T684), s(T686))
U11_gga(T665, T667, quotJ_out_ga(T665, T667)) → quotB_out_gga(s(T665), s(0), s(T667))
U3_ggga(T241, T242, T244, quotB_out_gga(T241, s(T242), T244)) → quotC_out_ggga(T241, 0, T242, s(T244))
U2_ggga(T226, T227, T228, T230, quotC_out_ggga(T226, T227, T228, T230)) → quotC_out_ggga(s(T226), s(T227), T228, T230)
U4_gga(T189, T190, T192, quotC_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quotB_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTH_IN_GA(s(s(s(T616))), s(T618)) → QUOTH_IN_GA(T616, T618)
QUOTH_IN_GA(s(s(s(T616)))) → QUOTH_IN_GA(T616)
From the DPs we obtained the following set of size-change graphs:
QUOTG_IN_GA(s(s(s(s(T564)))), s(T566)) → QUOTG_IN_GA(T564, T566)
divA_in_gga(T7, T8, T10) → U1_gga(T7, T8, T10, quotB_in_gga(T7, T8, T10))
quotB_in_gga(0, s(T15), 0) → quotB_out_gga(0, s(T15), 0)
quotB_in_gga(s(0), s(s(T38)), 0) → quotB_out_gga(s(0), s(s(T38)), 0)
quotB_in_gga(s(s(0)), s(s(s(T61))), 0) → quotB_out_gga(s(s(0)), s(s(s(T61))), 0)
quotB_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U4_gga(T189, T190, T192, quotC_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quotC_in_ggga(0, s(T208), T209, 0) → quotC_out_ggga(0, s(T208), T209, 0)
quotC_in_ggga(s(T226), s(T227), T228, T230) → U2_ggga(T226, T227, T228, T230, quotC_in_ggga(T226, T227, T228, T230))
quotC_in_ggga(T241, 0, T242, s(T244)) → U3_ggga(T241, T242, T244, quotB_in_gga(T241, s(T242), T244))
quotB_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U5_gga(T251, T253, quotD_in_ga(T251, T253))
quotD_in_ga(0, 0) → quotD_out_ga(0, 0)
quotD_in_ga(s(0), 0) → quotD_out_ga(s(0), 0)
quotD_in_ga(s(s(0)), 0) → quotD_out_ga(s(s(0)), 0)
quotD_in_ga(s(s(s(0))), 0) → quotD_out_ga(s(s(s(0))), 0)
quotD_in_ga(s(s(s(s(0)))), 0) → quotD_out_ga(s(s(s(s(0)))), 0)
quotD_in_ga(s(s(s(s(s(0))))), 0) → quotD_out_ga(s(s(s(s(s(0))))), 0)
quotD_in_ga(s(s(s(s(s(s(0)))))), 0) → quotD_out_ga(s(s(s(s(s(s(0)))))), 0)
quotD_in_ga(s(s(s(s(s(s(s(T336))))))), s(T338)) → U12_ga(T336, T338, quotD_in_ga(T336, T338))
U12_ga(T336, T338, quotD_out_ga(T336, T338)) → quotD_out_ga(s(s(s(s(s(s(s(T336))))))), s(T338))
U5_gga(T251, T253, quotD_out_ga(T251, T253)) → quotB_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quotB_in_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → U6_gga(T350, T352, quotE_in_ga(T350, T352))
quotE_in_ga(0, 0) → quotE_out_ga(0, 0)
quotE_in_ga(s(0), 0) → quotE_out_ga(s(0), 0)
quotE_in_ga(s(s(0)), 0) → quotE_out_ga(s(s(0)), 0)
quotE_in_ga(s(s(s(0))), 0) → quotE_out_ga(s(s(s(0))), 0)
quotE_in_ga(s(s(s(s(0)))), 0) → quotE_out_ga(s(s(s(s(0)))), 0)
quotE_in_ga(s(s(s(s(s(0))))), 0) → quotE_out_ga(s(s(s(s(s(0))))), 0)
quotE_in_ga(s(s(s(s(s(s(T424)))))), s(T426)) → U13_ga(T424, T426, quotE_in_ga(T424, T426))
U13_ga(T424, T426, quotE_out_ga(T424, T426)) → quotE_out_ga(s(s(s(s(s(s(T424)))))), s(T426))
U6_gga(T350, T352, quotE_out_ga(T350, T352)) → quotB_out_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352))
quotB_in_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → U7_gga(T437, T439, quotF_in_ga(T437, T439))
quotF_in_ga(0, 0) → quotF_out_ga(0, 0)
quotF_in_ga(s(0), 0) → quotF_out_ga(s(0), 0)
quotF_in_ga(s(s(0)), 0) → quotF_out_ga(s(s(0)), 0)
quotF_in_ga(s(s(s(0))), 0) → quotF_out_ga(s(s(s(0))), 0)
quotF_in_ga(s(s(s(s(0)))), 0) → quotF_out_ga(s(s(s(s(0)))), 0)
quotF_in_ga(s(s(s(s(s(T500))))), s(T502)) → U14_ga(T500, T502, quotF_in_ga(T500, T502))
U14_ga(T500, T502, quotF_out_ga(T500, T502)) → quotF_out_ga(s(s(s(s(s(T500))))), s(T502))
U7_gga(T437, T439, quotF_out_ga(T437, T439)) → quotB_out_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439))
quotB_in_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → U8_gga(T512, T514, quotG_in_ga(T512, T514))
quotG_in_ga(0, 0) → quotG_out_ga(0, 0)
quotG_in_ga(s(0), 0) → quotG_out_ga(s(0), 0)
quotG_in_ga(s(s(0)), 0) → quotG_out_ga(s(s(0)), 0)
quotG_in_ga(s(s(s(0))), 0) → quotG_out_ga(s(s(s(0))), 0)
quotG_in_ga(s(s(s(s(T564)))), s(T566)) → U15_ga(T564, T566, quotG_in_ga(T564, T566))
U15_ga(T564, T566, quotG_out_ga(T564, T566)) → quotG_out_ga(s(s(s(s(T564)))), s(T566))
U8_gga(T512, T514, quotG_out_ga(T512, T514)) → quotB_out_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514))
quotB_in_gga(s(s(s(T575))), s(s(s(0))), s(T577)) → U9_gga(T575, T577, quotH_in_ga(T575, T577))
quotH_in_ga(0, 0) → quotH_out_ga(0, 0)
quotH_in_ga(s(0), 0) → quotH_out_ga(s(0), 0)
quotH_in_ga(s(s(0)), 0) → quotH_out_ga(s(s(0)), 0)
quotH_in_ga(s(s(s(T616))), s(T618)) → U16_ga(T616, T618, quotH_in_ga(T616, T618))
U16_ga(T616, T618, quotH_out_ga(T616, T618)) → quotH_out_ga(s(s(s(T616))), s(T618))
U9_gga(T575, T577, quotH_out_ga(T575, T577)) → quotB_out_gga(s(s(s(T575))), s(s(s(0))), s(T577))
quotB_in_gga(s(s(T626)), s(s(0)), s(T628)) → U10_gga(T626, T628, quotI_in_ga(T626, T628))
quotI_in_ga(0, 0) → quotI_out_ga(0, 0)
quotI_in_ga(s(0), 0) → quotI_out_ga(s(0), 0)
quotI_in_ga(s(s(T656)), s(T658)) → U17_ga(T656, T658, quotI_in_ga(T656, T658))
U17_ga(T656, T658, quotI_out_ga(T656, T658)) → quotI_out_ga(s(s(T656)), s(T658))
U10_gga(T626, T628, quotI_out_ga(T626, T628)) → quotB_out_gga(s(s(T626)), s(s(0)), s(T628))
quotB_in_gga(s(T665), s(0), s(T667)) → U11_gga(T665, T667, quotJ_in_ga(T665, T667))
quotJ_in_ga(0, 0) → quotJ_out_ga(0, 0)
quotJ_in_ga(s(T684), s(T686)) → U18_ga(T684, T686, quotJ_in_ga(T684, T686))
U18_ga(T684, T686, quotJ_out_ga(T684, T686)) → quotJ_out_ga(s(T684), s(T686))
U11_gga(T665, T667, quotJ_out_ga(T665, T667)) → quotB_out_gga(s(T665), s(0), s(T667))
U3_ggga(T241, T242, T244, quotB_out_gga(T241, s(T242), T244)) → quotC_out_ggga(T241, 0, T242, s(T244))
U2_ggga(T226, T227, T228, T230, quotC_out_ggga(T226, T227, T228, T230)) → quotC_out_ggga(s(T226), s(T227), T228, T230)
U4_gga(T189, T190, T192, quotC_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quotB_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTG_IN_GA(s(s(s(s(T564)))), s(T566)) → QUOTG_IN_GA(T564, T566)
QUOTG_IN_GA(s(s(s(s(T564))))) → QUOTG_IN_GA(T564)
From the DPs we obtained the following set of size-change graphs:
QUOTF_IN_GA(s(s(s(s(s(T500))))), s(T502)) → QUOTF_IN_GA(T500, T502)
divA_in_gga(T7, T8, T10) → U1_gga(T7, T8, T10, quotB_in_gga(T7, T8, T10))
quotB_in_gga(0, s(T15), 0) → quotB_out_gga(0, s(T15), 0)
quotB_in_gga(s(0), s(s(T38)), 0) → quotB_out_gga(s(0), s(s(T38)), 0)
quotB_in_gga(s(s(0)), s(s(s(T61))), 0) → quotB_out_gga(s(s(0)), s(s(s(T61))), 0)
quotB_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U4_gga(T189, T190, T192, quotC_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quotC_in_ggga(0, s(T208), T209, 0) → quotC_out_ggga(0, s(T208), T209, 0)
quotC_in_ggga(s(T226), s(T227), T228, T230) → U2_ggga(T226, T227, T228, T230, quotC_in_ggga(T226, T227, T228, T230))
quotC_in_ggga(T241, 0, T242, s(T244)) → U3_ggga(T241, T242, T244, quotB_in_gga(T241, s(T242), T244))
quotB_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U5_gga(T251, T253, quotD_in_ga(T251, T253))
quotD_in_ga(0, 0) → quotD_out_ga(0, 0)
quotD_in_ga(s(0), 0) → quotD_out_ga(s(0), 0)
quotD_in_ga(s(s(0)), 0) → quotD_out_ga(s(s(0)), 0)
quotD_in_ga(s(s(s(0))), 0) → quotD_out_ga(s(s(s(0))), 0)
quotD_in_ga(s(s(s(s(0)))), 0) → quotD_out_ga(s(s(s(s(0)))), 0)
quotD_in_ga(s(s(s(s(s(0))))), 0) → quotD_out_ga(s(s(s(s(s(0))))), 0)
quotD_in_ga(s(s(s(s(s(s(0)))))), 0) → quotD_out_ga(s(s(s(s(s(s(0)))))), 0)
quotD_in_ga(s(s(s(s(s(s(s(T336))))))), s(T338)) → U12_ga(T336, T338, quotD_in_ga(T336, T338))
U12_ga(T336, T338, quotD_out_ga(T336, T338)) → quotD_out_ga(s(s(s(s(s(s(s(T336))))))), s(T338))
U5_gga(T251, T253, quotD_out_ga(T251, T253)) → quotB_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quotB_in_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → U6_gga(T350, T352, quotE_in_ga(T350, T352))
quotE_in_ga(0, 0) → quotE_out_ga(0, 0)
quotE_in_ga(s(0), 0) → quotE_out_ga(s(0), 0)
quotE_in_ga(s(s(0)), 0) → quotE_out_ga(s(s(0)), 0)
quotE_in_ga(s(s(s(0))), 0) → quotE_out_ga(s(s(s(0))), 0)
quotE_in_ga(s(s(s(s(0)))), 0) → quotE_out_ga(s(s(s(s(0)))), 0)
quotE_in_ga(s(s(s(s(s(0))))), 0) → quotE_out_ga(s(s(s(s(s(0))))), 0)
quotE_in_ga(s(s(s(s(s(s(T424)))))), s(T426)) → U13_ga(T424, T426, quotE_in_ga(T424, T426))
U13_ga(T424, T426, quotE_out_ga(T424, T426)) → quotE_out_ga(s(s(s(s(s(s(T424)))))), s(T426))
U6_gga(T350, T352, quotE_out_ga(T350, T352)) → quotB_out_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352))
quotB_in_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → U7_gga(T437, T439, quotF_in_ga(T437, T439))
quotF_in_ga(0, 0) → quotF_out_ga(0, 0)
quotF_in_ga(s(0), 0) → quotF_out_ga(s(0), 0)
quotF_in_ga(s(s(0)), 0) → quotF_out_ga(s(s(0)), 0)
quotF_in_ga(s(s(s(0))), 0) → quotF_out_ga(s(s(s(0))), 0)
quotF_in_ga(s(s(s(s(0)))), 0) → quotF_out_ga(s(s(s(s(0)))), 0)
quotF_in_ga(s(s(s(s(s(T500))))), s(T502)) → U14_ga(T500, T502, quotF_in_ga(T500, T502))
U14_ga(T500, T502, quotF_out_ga(T500, T502)) → quotF_out_ga(s(s(s(s(s(T500))))), s(T502))
U7_gga(T437, T439, quotF_out_ga(T437, T439)) → quotB_out_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439))
quotB_in_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → U8_gga(T512, T514, quotG_in_ga(T512, T514))
quotG_in_ga(0, 0) → quotG_out_ga(0, 0)
quotG_in_ga(s(0), 0) → quotG_out_ga(s(0), 0)
quotG_in_ga(s(s(0)), 0) → quotG_out_ga(s(s(0)), 0)
quotG_in_ga(s(s(s(0))), 0) → quotG_out_ga(s(s(s(0))), 0)
quotG_in_ga(s(s(s(s(T564)))), s(T566)) → U15_ga(T564, T566, quotG_in_ga(T564, T566))
U15_ga(T564, T566, quotG_out_ga(T564, T566)) → quotG_out_ga(s(s(s(s(T564)))), s(T566))
U8_gga(T512, T514, quotG_out_ga(T512, T514)) → quotB_out_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514))
quotB_in_gga(s(s(s(T575))), s(s(s(0))), s(T577)) → U9_gga(T575, T577, quotH_in_ga(T575, T577))
quotH_in_ga(0, 0) → quotH_out_ga(0, 0)
quotH_in_ga(s(0), 0) → quotH_out_ga(s(0), 0)
quotH_in_ga(s(s(0)), 0) → quotH_out_ga(s(s(0)), 0)
quotH_in_ga(s(s(s(T616))), s(T618)) → U16_ga(T616, T618, quotH_in_ga(T616, T618))
U16_ga(T616, T618, quotH_out_ga(T616, T618)) → quotH_out_ga(s(s(s(T616))), s(T618))
U9_gga(T575, T577, quotH_out_ga(T575, T577)) → quotB_out_gga(s(s(s(T575))), s(s(s(0))), s(T577))
quotB_in_gga(s(s(T626)), s(s(0)), s(T628)) → U10_gga(T626, T628, quotI_in_ga(T626, T628))
quotI_in_ga(0, 0) → quotI_out_ga(0, 0)
quotI_in_ga(s(0), 0) → quotI_out_ga(s(0), 0)
quotI_in_ga(s(s(T656)), s(T658)) → U17_ga(T656, T658, quotI_in_ga(T656, T658))
U17_ga(T656, T658, quotI_out_ga(T656, T658)) → quotI_out_ga(s(s(T656)), s(T658))
U10_gga(T626, T628, quotI_out_ga(T626, T628)) → quotB_out_gga(s(s(T626)), s(s(0)), s(T628))
quotB_in_gga(s(T665), s(0), s(T667)) → U11_gga(T665, T667, quotJ_in_ga(T665, T667))
quotJ_in_ga(0, 0) → quotJ_out_ga(0, 0)
quotJ_in_ga(s(T684), s(T686)) → U18_ga(T684, T686, quotJ_in_ga(T684, T686))
U18_ga(T684, T686, quotJ_out_ga(T684, T686)) → quotJ_out_ga(s(T684), s(T686))
U11_gga(T665, T667, quotJ_out_ga(T665, T667)) → quotB_out_gga(s(T665), s(0), s(T667))
U3_ggga(T241, T242, T244, quotB_out_gga(T241, s(T242), T244)) → quotC_out_ggga(T241, 0, T242, s(T244))
U2_ggga(T226, T227, T228, T230, quotC_out_ggga(T226, T227, T228, T230)) → quotC_out_ggga(s(T226), s(T227), T228, T230)
U4_gga(T189, T190, T192, quotC_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quotB_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTF_IN_GA(s(s(s(s(s(T500))))), s(T502)) → QUOTF_IN_GA(T500, T502)
QUOTF_IN_GA(s(s(s(s(s(T500)))))) → QUOTF_IN_GA(T500)
From the DPs we obtained the following set of size-change graphs:
QUOTE_IN_GA(s(s(s(s(s(s(T424)))))), s(T426)) → QUOTE_IN_GA(T424, T426)
divA_in_gga(T7, T8, T10) → U1_gga(T7, T8, T10, quotB_in_gga(T7, T8, T10))
quotB_in_gga(0, s(T15), 0) → quotB_out_gga(0, s(T15), 0)
quotB_in_gga(s(0), s(s(T38)), 0) → quotB_out_gga(s(0), s(s(T38)), 0)
quotB_in_gga(s(s(0)), s(s(s(T61))), 0) → quotB_out_gga(s(s(0)), s(s(s(T61))), 0)
quotB_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U4_gga(T189, T190, T192, quotC_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quotC_in_ggga(0, s(T208), T209, 0) → quotC_out_ggga(0, s(T208), T209, 0)
quotC_in_ggga(s(T226), s(T227), T228, T230) → U2_ggga(T226, T227, T228, T230, quotC_in_ggga(T226, T227, T228, T230))
quotC_in_ggga(T241, 0, T242, s(T244)) → U3_ggga(T241, T242, T244, quotB_in_gga(T241, s(T242), T244))
quotB_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U5_gga(T251, T253, quotD_in_ga(T251, T253))
quotD_in_ga(0, 0) → quotD_out_ga(0, 0)
quotD_in_ga(s(0), 0) → quotD_out_ga(s(0), 0)
quotD_in_ga(s(s(0)), 0) → quotD_out_ga(s(s(0)), 0)
quotD_in_ga(s(s(s(0))), 0) → quotD_out_ga(s(s(s(0))), 0)
quotD_in_ga(s(s(s(s(0)))), 0) → quotD_out_ga(s(s(s(s(0)))), 0)
quotD_in_ga(s(s(s(s(s(0))))), 0) → quotD_out_ga(s(s(s(s(s(0))))), 0)
quotD_in_ga(s(s(s(s(s(s(0)))))), 0) → quotD_out_ga(s(s(s(s(s(s(0)))))), 0)
quotD_in_ga(s(s(s(s(s(s(s(T336))))))), s(T338)) → U12_ga(T336, T338, quotD_in_ga(T336, T338))
U12_ga(T336, T338, quotD_out_ga(T336, T338)) → quotD_out_ga(s(s(s(s(s(s(s(T336))))))), s(T338))
U5_gga(T251, T253, quotD_out_ga(T251, T253)) → quotB_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quotB_in_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → U6_gga(T350, T352, quotE_in_ga(T350, T352))
quotE_in_ga(0, 0) → quotE_out_ga(0, 0)
quotE_in_ga(s(0), 0) → quotE_out_ga(s(0), 0)
quotE_in_ga(s(s(0)), 0) → quotE_out_ga(s(s(0)), 0)
quotE_in_ga(s(s(s(0))), 0) → quotE_out_ga(s(s(s(0))), 0)
quotE_in_ga(s(s(s(s(0)))), 0) → quotE_out_ga(s(s(s(s(0)))), 0)
quotE_in_ga(s(s(s(s(s(0))))), 0) → quotE_out_ga(s(s(s(s(s(0))))), 0)
quotE_in_ga(s(s(s(s(s(s(T424)))))), s(T426)) → U13_ga(T424, T426, quotE_in_ga(T424, T426))
U13_ga(T424, T426, quotE_out_ga(T424, T426)) → quotE_out_ga(s(s(s(s(s(s(T424)))))), s(T426))
U6_gga(T350, T352, quotE_out_ga(T350, T352)) → quotB_out_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352))
quotB_in_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → U7_gga(T437, T439, quotF_in_ga(T437, T439))
quotF_in_ga(0, 0) → quotF_out_ga(0, 0)
quotF_in_ga(s(0), 0) → quotF_out_ga(s(0), 0)
quotF_in_ga(s(s(0)), 0) → quotF_out_ga(s(s(0)), 0)
quotF_in_ga(s(s(s(0))), 0) → quotF_out_ga(s(s(s(0))), 0)
quotF_in_ga(s(s(s(s(0)))), 0) → quotF_out_ga(s(s(s(s(0)))), 0)
quotF_in_ga(s(s(s(s(s(T500))))), s(T502)) → U14_ga(T500, T502, quotF_in_ga(T500, T502))
U14_ga(T500, T502, quotF_out_ga(T500, T502)) → quotF_out_ga(s(s(s(s(s(T500))))), s(T502))
U7_gga(T437, T439, quotF_out_ga(T437, T439)) → quotB_out_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439))
quotB_in_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → U8_gga(T512, T514, quotG_in_ga(T512, T514))
quotG_in_ga(0, 0) → quotG_out_ga(0, 0)
quotG_in_ga(s(0), 0) → quotG_out_ga(s(0), 0)
quotG_in_ga(s(s(0)), 0) → quotG_out_ga(s(s(0)), 0)
quotG_in_ga(s(s(s(0))), 0) → quotG_out_ga(s(s(s(0))), 0)
quotG_in_ga(s(s(s(s(T564)))), s(T566)) → U15_ga(T564, T566, quotG_in_ga(T564, T566))
U15_ga(T564, T566, quotG_out_ga(T564, T566)) → quotG_out_ga(s(s(s(s(T564)))), s(T566))
U8_gga(T512, T514, quotG_out_ga(T512, T514)) → quotB_out_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514))
quotB_in_gga(s(s(s(T575))), s(s(s(0))), s(T577)) → U9_gga(T575, T577, quotH_in_ga(T575, T577))
quotH_in_ga(0, 0) → quotH_out_ga(0, 0)
quotH_in_ga(s(0), 0) → quotH_out_ga(s(0), 0)
quotH_in_ga(s(s(0)), 0) → quotH_out_ga(s(s(0)), 0)
quotH_in_ga(s(s(s(T616))), s(T618)) → U16_ga(T616, T618, quotH_in_ga(T616, T618))
U16_ga(T616, T618, quotH_out_ga(T616, T618)) → quotH_out_ga(s(s(s(T616))), s(T618))
U9_gga(T575, T577, quotH_out_ga(T575, T577)) → quotB_out_gga(s(s(s(T575))), s(s(s(0))), s(T577))
quotB_in_gga(s(s(T626)), s(s(0)), s(T628)) → U10_gga(T626, T628, quotI_in_ga(T626, T628))
quotI_in_ga(0, 0) → quotI_out_ga(0, 0)
quotI_in_ga(s(0), 0) → quotI_out_ga(s(0), 0)
quotI_in_ga(s(s(T656)), s(T658)) → U17_ga(T656, T658, quotI_in_ga(T656, T658))
U17_ga(T656, T658, quotI_out_ga(T656, T658)) → quotI_out_ga(s(s(T656)), s(T658))
U10_gga(T626, T628, quotI_out_ga(T626, T628)) → quotB_out_gga(s(s(T626)), s(s(0)), s(T628))
quotB_in_gga(s(T665), s(0), s(T667)) → U11_gga(T665, T667, quotJ_in_ga(T665, T667))
quotJ_in_ga(0, 0) → quotJ_out_ga(0, 0)
quotJ_in_ga(s(T684), s(T686)) → U18_ga(T684, T686, quotJ_in_ga(T684, T686))
U18_ga(T684, T686, quotJ_out_ga(T684, T686)) → quotJ_out_ga(s(T684), s(T686))
U11_gga(T665, T667, quotJ_out_ga(T665, T667)) → quotB_out_gga(s(T665), s(0), s(T667))
U3_ggga(T241, T242, T244, quotB_out_gga(T241, s(T242), T244)) → quotC_out_ggga(T241, 0, T242, s(T244))
U2_ggga(T226, T227, T228, T230, quotC_out_ggga(T226, T227, T228, T230)) → quotC_out_ggga(s(T226), s(T227), T228, T230)
U4_gga(T189, T190, T192, quotC_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quotB_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTE_IN_GA(s(s(s(s(s(s(T424)))))), s(T426)) → QUOTE_IN_GA(T424, T426)
QUOTE_IN_GA(s(s(s(s(s(s(T424))))))) → QUOTE_IN_GA(T424)
From the DPs we obtained the following set of size-change graphs:
QUOTD_IN_GA(s(s(s(s(s(s(s(T336))))))), s(T338)) → QUOTD_IN_GA(T336, T338)
divA_in_gga(T7, T8, T10) → U1_gga(T7, T8, T10, quotB_in_gga(T7, T8, T10))
quotB_in_gga(0, s(T15), 0) → quotB_out_gga(0, s(T15), 0)
quotB_in_gga(s(0), s(s(T38)), 0) → quotB_out_gga(s(0), s(s(T38)), 0)
quotB_in_gga(s(s(0)), s(s(s(T61))), 0) → quotB_out_gga(s(s(0)), s(s(s(T61))), 0)
quotB_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U4_gga(T189, T190, T192, quotC_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quotC_in_ggga(0, s(T208), T209, 0) → quotC_out_ggga(0, s(T208), T209, 0)
quotC_in_ggga(s(T226), s(T227), T228, T230) → U2_ggga(T226, T227, T228, T230, quotC_in_ggga(T226, T227, T228, T230))
quotC_in_ggga(T241, 0, T242, s(T244)) → U3_ggga(T241, T242, T244, quotB_in_gga(T241, s(T242), T244))
quotB_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U5_gga(T251, T253, quotD_in_ga(T251, T253))
quotD_in_ga(0, 0) → quotD_out_ga(0, 0)
quotD_in_ga(s(0), 0) → quotD_out_ga(s(0), 0)
quotD_in_ga(s(s(0)), 0) → quotD_out_ga(s(s(0)), 0)
quotD_in_ga(s(s(s(0))), 0) → quotD_out_ga(s(s(s(0))), 0)
quotD_in_ga(s(s(s(s(0)))), 0) → quotD_out_ga(s(s(s(s(0)))), 0)
quotD_in_ga(s(s(s(s(s(0))))), 0) → quotD_out_ga(s(s(s(s(s(0))))), 0)
quotD_in_ga(s(s(s(s(s(s(0)))))), 0) → quotD_out_ga(s(s(s(s(s(s(0)))))), 0)
quotD_in_ga(s(s(s(s(s(s(s(T336))))))), s(T338)) → U12_ga(T336, T338, quotD_in_ga(T336, T338))
U12_ga(T336, T338, quotD_out_ga(T336, T338)) → quotD_out_ga(s(s(s(s(s(s(s(T336))))))), s(T338))
U5_gga(T251, T253, quotD_out_ga(T251, T253)) → quotB_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quotB_in_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → U6_gga(T350, T352, quotE_in_ga(T350, T352))
quotE_in_ga(0, 0) → quotE_out_ga(0, 0)
quotE_in_ga(s(0), 0) → quotE_out_ga(s(0), 0)
quotE_in_ga(s(s(0)), 0) → quotE_out_ga(s(s(0)), 0)
quotE_in_ga(s(s(s(0))), 0) → quotE_out_ga(s(s(s(0))), 0)
quotE_in_ga(s(s(s(s(0)))), 0) → quotE_out_ga(s(s(s(s(0)))), 0)
quotE_in_ga(s(s(s(s(s(0))))), 0) → quotE_out_ga(s(s(s(s(s(0))))), 0)
quotE_in_ga(s(s(s(s(s(s(T424)))))), s(T426)) → U13_ga(T424, T426, quotE_in_ga(T424, T426))
U13_ga(T424, T426, quotE_out_ga(T424, T426)) → quotE_out_ga(s(s(s(s(s(s(T424)))))), s(T426))
U6_gga(T350, T352, quotE_out_ga(T350, T352)) → quotB_out_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352))
quotB_in_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → U7_gga(T437, T439, quotF_in_ga(T437, T439))
quotF_in_ga(0, 0) → quotF_out_ga(0, 0)
quotF_in_ga(s(0), 0) → quotF_out_ga(s(0), 0)
quotF_in_ga(s(s(0)), 0) → quotF_out_ga(s(s(0)), 0)
quotF_in_ga(s(s(s(0))), 0) → quotF_out_ga(s(s(s(0))), 0)
quotF_in_ga(s(s(s(s(0)))), 0) → quotF_out_ga(s(s(s(s(0)))), 0)
quotF_in_ga(s(s(s(s(s(T500))))), s(T502)) → U14_ga(T500, T502, quotF_in_ga(T500, T502))
U14_ga(T500, T502, quotF_out_ga(T500, T502)) → quotF_out_ga(s(s(s(s(s(T500))))), s(T502))
U7_gga(T437, T439, quotF_out_ga(T437, T439)) → quotB_out_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439))
quotB_in_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → U8_gga(T512, T514, quotG_in_ga(T512, T514))
quotG_in_ga(0, 0) → quotG_out_ga(0, 0)
quotG_in_ga(s(0), 0) → quotG_out_ga(s(0), 0)
quotG_in_ga(s(s(0)), 0) → quotG_out_ga(s(s(0)), 0)
quotG_in_ga(s(s(s(0))), 0) → quotG_out_ga(s(s(s(0))), 0)
quotG_in_ga(s(s(s(s(T564)))), s(T566)) → U15_ga(T564, T566, quotG_in_ga(T564, T566))
U15_ga(T564, T566, quotG_out_ga(T564, T566)) → quotG_out_ga(s(s(s(s(T564)))), s(T566))
U8_gga(T512, T514, quotG_out_ga(T512, T514)) → quotB_out_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514))
quotB_in_gga(s(s(s(T575))), s(s(s(0))), s(T577)) → U9_gga(T575, T577, quotH_in_ga(T575, T577))
quotH_in_ga(0, 0) → quotH_out_ga(0, 0)
quotH_in_ga(s(0), 0) → quotH_out_ga(s(0), 0)
quotH_in_ga(s(s(0)), 0) → quotH_out_ga(s(s(0)), 0)
quotH_in_ga(s(s(s(T616))), s(T618)) → U16_ga(T616, T618, quotH_in_ga(T616, T618))
U16_ga(T616, T618, quotH_out_ga(T616, T618)) → quotH_out_ga(s(s(s(T616))), s(T618))
U9_gga(T575, T577, quotH_out_ga(T575, T577)) → quotB_out_gga(s(s(s(T575))), s(s(s(0))), s(T577))
quotB_in_gga(s(s(T626)), s(s(0)), s(T628)) → U10_gga(T626, T628, quotI_in_ga(T626, T628))
quotI_in_ga(0, 0) → quotI_out_ga(0, 0)
quotI_in_ga(s(0), 0) → quotI_out_ga(s(0), 0)
quotI_in_ga(s(s(T656)), s(T658)) → U17_ga(T656, T658, quotI_in_ga(T656, T658))
U17_ga(T656, T658, quotI_out_ga(T656, T658)) → quotI_out_ga(s(s(T656)), s(T658))
U10_gga(T626, T628, quotI_out_ga(T626, T628)) → quotB_out_gga(s(s(T626)), s(s(0)), s(T628))
quotB_in_gga(s(T665), s(0), s(T667)) → U11_gga(T665, T667, quotJ_in_ga(T665, T667))
quotJ_in_ga(0, 0) → quotJ_out_ga(0, 0)
quotJ_in_ga(s(T684), s(T686)) → U18_ga(T684, T686, quotJ_in_ga(T684, T686))
U18_ga(T684, T686, quotJ_out_ga(T684, T686)) → quotJ_out_ga(s(T684), s(T686))
U11_gga(T665, T667, quotJ_out_ga(T665, T667)) → quotB_out_gga(s(T665), s(0), s(T667))
U3_ggga(T241, T242, T244, quotB_out_gga(T241, s(T242), T244)) → quotC_out_ggga(T241, 0, T242, s(T244))
U2_ggga(T226, T227, T228, T230, quotC_out_ggga(T226, T227, T228, T230)) → quotC_out_ggga(s(T226), s(T227), T228, T230)
U4_gga(T189, T190, T192, quotC_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quotB_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTD_IN_GA(s(s(s(s(s(s(s(T336))))))), s(T338)) → QUOTD_IN_GA(T336, T338)
QUOTD_IN_GA(s(s(s(s(s(s(s(T336)))))))) → QUOTD_IN_GA(T336)
From the DPs we obtained the following set of size-change graphs:
QUOTB_IN_GGA(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → QUOTC_IN_GGGA(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)
QUOTC_IN_GGGA(s(T226), s(T227), T228, T230) → QUOTC_IN_GGGA(T226, T227, T228, T230)
QUOTC_IN_GGGA(T241, 0, T242, s(T244)) → QUOTB_IN_GGA(T241, s(T242), T244)
divA_in_gga(T7, T8, T10) → U1_gga(T7, T8, T10, quotB_in_gga(T7, T8, T10))
quotB_in_gga(0, s(T15), 0) → quotB_out_gga(0, s(T15), 0)
quotB_in_gga(s(0), s(s(T38)), 0) → quotB_out_gga(s(0), s(s(T38)), 0)
quotB_in_gga(s(s(0)), s(s(s(T61))), 0) → quotB_out_gga(s(s(0)), s(s(s(T61))), 0)
quotB_in_gga(s(s(s(0))), s(s(s(s(T84)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T84)))), 0)
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T107))))), 0)
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T130)))))), 0)
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T153))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T176)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → U4_gga(T189, T190, T192, quotC_in_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192))
quotC_in_ggga(0, s(T208), T209, 0) → quotC_out_ggga(0, s(T208), T209, 0)
quotC_in_ggga(s(T226), s(T227), T228, T230) → U2_ggga(T226, T227, T228, T230, quotC_in_ggga(T226, T227, T228, T230))
quotC_in_ggga(T241, 0, T242, s(T244)) → U3_ggga(T241, T242, T244, quotB_in_gga(T241, s(T242), T244))
quotB_in_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253)) → U5_gga(T251, T253, quotD_in_ga(T251, T253))
quotD_in_ga(0, 0) → quotD_out_ga(0, 0)
quotD_in_ga(s(0), 0) → quotD_out_ga(s(0), 0)
quotD_in_ga(s(s(0)), 0) → quotD_out_ga(s(s(0)), 0)
quotD_in_ga(s(s(s(0))), 0) → quotD_out_ga(s(s(s(0))), 0)
quotD_in_ga(s(s(s(s(0)))), 0) → quotD_out_ga(s(s(s(s(0)))), 0)
quotD_in_ga(s(s(s(s(s(0))))), 0) → quotD_out_ga(s(s(s(s(s(0))))), 0)
quotD_in_ga(s(s(s(s(s(s(0)))))), 0) → quotD_out_ga(s(s(s(s(s(s(0)))))), 0)
quotD_in_ga(s(s(s(s(s(s(s(T336))))))), s(T338)) → U12_ga(T336, T338, quotD_in_ga(T336, T338))
U12_ga(T336, T338, quotD_out_ga(T336, T338)) → quotD_out_ga(s(s(s(s(s(s(s(T336))))))), s(T338))
U5_gga(T251, T253, quotD_out_ga(T251, T253)) → quotB_out_gga(s(s(s(s(s(s(s(T251))))))), s(s(s(s(s(s(s(0))))))), s(T253))
quotB_in_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352)) → U6_gga(T350, T352, quotE_in_ga(T350, T352))
quotE_in_ga(0, 0) → quotE_out_ga(0, 0)
quotE_in_ga(s(0), 0) → quotE_out_ga(s(0), 0)
quotE_in_ga(s(s(0)), 0) → quotE_out_ga(s(s(0)), 0)
quotE_in_ga(s(s(s(0))), 0) → quotE_out_ga(s(s(s(0))), 0)
quotE_in_ga(s(s(s(s(0)))), 0) → quotE_out_ga(s(s(s(s(0)))), 0)
quotE_in_ga(s(s(s(s(s(0))))), 0) → quotE_out_ga(s(s(s(s(s(0))))), 0)
quotE_in_ga(s(s(s(s(s(s(T424)))))), s(T426)) → U13_ga(T424, T426, quotE_in_ga(T424, T426))
U13_ga(T424, T426, quotE_out_ga(T424, T426)) → quotE_out_ga(s(s(s(s(s(s(T424)))))), s(T426))
U6_gga(T350, T352, quotE_out_ga(T350, T352)) → quotB_out_gga(s(s(s(s(s(s(T350)))))), s(s(s(s(s(s(0)))))), s(T352))
quotB_in_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439)) → U7_gga(T437, T439, quotF_in_ga(T437, T439))
quotF_in_ga(0, 0) → quotF_out_ga(0, 0)
quotF_in_ga(s(0), 0) → quotF_out_ga(s(0), 0)
quotF_in_ga(s(s(0)), 0) → quotF_out_ga(s(s(0)), 0)
quotF_in_ga(s(s(s(0))), 0) → quotF_out_ga(s(s(s(0))), 0)
quotF_in_ga(s(s(s(s(0)))), 0) → quotF_out_ga(s(s(s(s(0)))), 0)
quotF_in_ga(s(s(s(s(s(T500))))), s(T502)) → U14_ga(T500, T502, quotF_in_ga(T500, T502))
U14_ga(T500, T502, quotF_out_ga(T500, T502)) → quotF_out_ga(s(s(s(s(s(T500))))), s(T502))
U7_gga(T437, T439, quotF_out_ga(T437, T439)) → quotB_out_gga(s(s(s(s(s(T437))))), s(s(s(s(s(0))))), s(T439))
quotB_in_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514)) → U8_gga(T512, T514, quotG_in_ga(T512, T514))
quotG_in_ga(0, 0) → quotG_out_ga(0, 0)
quotG_in_ga(s(0), 0) → quotG_out_ga(s(0), 0)
quotG_in_ga(s(s(0)), 0) → quotG_out_ga(s(s(0)), 0)
quotG_in_ga(s(s(s(0))), 0) → quotG_out_ga(s(s(s(0))), 0)
quotG_in_ga(s(s(s(s(T564)))), s(T566)) → U15_ga(T564, T566, quotG_in_ga(T564, T566))
U15_ga(T564, T566, quotG_out_ga(T564, T566)) → quotG_out_ga(s(s(s(s(T564)))), s(T566))
U8_gga(T512, T514, quotG_out_ga(T512, T514)) → quotB_out_gga(s(s(s(s(T512)))), s(s(s(s(0)))), s(T514))
quotB_in_gga(s(s(s(T575))), s(s(s(0))), s(T577)) → U9_gga(T575, T577, quotH_in_ga(T575, T577))
quotH_in_ga(0, 0) → quotH_out_ga(0, 0)
quotH_in_ga(s(0), 0) → quotH_out_ga(s(0), 0)
quotH_in_ga(s(s(0)), 0) → quotH_out_ga(s(s(0)), 0)
quotH_in_ga(s(s(s(T616))), s(T618)) → U16_ga(T616, T618, quotH_in_ga(T616, T618))
U16_ga(T616, T618, quotH_out_ga(T616, T618)) → quotH_out_ga(s(s(s(T616))), s(T618))
U9_gga(T575, T577, quotH_out_ga(T575, T577)) → quotB_out_gga(s(s(s(T575))), s(s(s(0))), s(T577))
quotB_in_gga(s(s(T626)), s(s(0)), s(T628)) → U10_gga(T626, T628, quotI_in_ga(T626, T628))
quotI_in_ga(0, 0) → quotI_out_ga(0, 0)
quotI_in_ga(s(0), 0) → quotI_out_ga(s(0), 0)
quotI_in_ga(s(s(T656)), s(T658)) → U17_ga(T656, T658, quotI_in_ga(T656, T658))
U17_ga(T656, T658, quotI_out_ga(T656, T658)) → quotI_out_ga(s(s(T656)), s(T658))
U10_gga(T626, T628, quotI_out_ga(T626, T628)) → quotB_out_gga(s(s(T626)), s(s(0)), s(T628))
quotB_in_gga(s(T665), s(0), s(T667)) → U11_gga(T665, T667, quotJ_in_ga(T665, T667))
quotJ_in_ga(0, 0) → quotJ_out_ga(0, 0)
quotJ_in_ga(s(T684), s(T686)) → U18_ga(T684, T686, quotJ_in_ga(T684, T686))
U18_ga(T684, T686, quotJ_out_ga(T684, T686)) → quotJ_out_ga(s(T684), s(T686))
U11_gga(T665, T667, quotJ_out_ga(T665, T667)) → quotB_out_gga(s(T665), s(0), s(T667))
U3_ggga(T241, T242, T244, quotB_out_gga(T241, s(T242), T244)) → quotC_out_ggga(T241, 0, T242, s(T244))
U2_ggga(T226, T227, T228, T230, quotC_out_ggga(T226, T227, T228, T230)) → quotC_out_ggga(s(T226), s(T227), T228, T230)
U4_gga(T189, T190, T192, quotC_out_ggga(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)) → quotB_out_gga(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTB_IN_GGA(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190)))))))), T192) → QUOTC_IN_GGGA(T189, T190, s(s(s(s(s(s(s(T190))))))), T192)
QUOTC_IN_GGGA(s(T226), s(T227), T228, T230) → QUOTC_IN_GGGA(T226, T227, T228, T230)
QUOTC_IN_GGGA(T241, 0, T242, s(T244)) → QUOTB_IN_GGA(T241, s(T242), T244)
QUOTB_IN_GGA(s(s(s(s(s(s(s(s(T189)))))))), s(s(s(s(s(s(s(s(T190))))))))) → QUOTC_IN_GGGA(T189, T190, s(s(s(s(s(s(s(T190))))))))
QUOTC_IN_GGGA(s(T226), s(T227), T228) → QUOTC_IN_GGGA(T226, T227, T228)
QUOTC_IN_GGGA(T241, 0, T242) → QUOTB_IN_GGA(T241, s(T242))
From the DPs we obtained the following set of size-change graphs: