0 Prolog
↳1 PrologToPiTRSViaGraphTransformerProof (⇒, 5042 ms)
↳2 PiTRS
↳3 DependencyPairsProof (⇔, 749 ms)
↳4 PiDP
↳5 DependencyGraphProof (⇔, 232 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 (⇒, 1 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(T68)), 0) → quotB_out_gga(s(0), s(s(T68)), 0)
quotB_in_gga(s(T77), s(0), s(T79)) → U11_gga(T77, T79, quotC_in_ga(T77, T79))
quotC_in_ga(0, 0) → quotC_out_ga(0, 0)
quotC_in_ga(s(T106), s(T108)) → U2_ga(T106, T108, quotC_in_ga(T106, T108))
U2_ga(T106, T108, quotC_out_ga(T106, T108)) → quotC_out_ga(s(T106), s(T108))
U11_gga(T77, T79, quotC_out_ga(T77, T79)) → quotB_out_gga(s(T77), s(0), s(T79))
quotB_in_gga(s(s(0)), s(s(s(T174))), 0) → quotB_out_gga(s(s(0)), s(s(s(T174))), 0)
quotB_in_gga(s(s(T183)), s(s(0)), s(T185)) → U12_gga(T183, T185, quotD_in_ga(T183, T185))
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(T230)), s(T232)) → U3_ga(T230, T232, quotD_in_ga(T230, T232))
U3_ga(T230, T232, quotD_out_ga(T230, T232)) → quotD_out_ga(s(s(T230)), s(T232))
U12_gga(T183, T185, quotD_out_ga(T183, T185)) → quotB_out_gga(s(s(T183)), s(s(0)), s(T185))
quotB_in_gga(s(s(s(0))), s(s(s(s(T298)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T298)))), 0)
quotB_in_gga(s(s(s(T307))), s(s(s(0))), s(T309)) → U13_gga(T307, T309, quotE_in_ga(T307, T309))
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(T372))), s(T374)) → U4_ga(T372, T374, quotE_in_ga(T372, T374))
U4_ga(T372, T374, quotE_out_ga(T372, T374)) → quotE_out_ga(s(s(s(T372))), s(T374))
U13_gga(T307, T309, quotE_out_ga(T307, T309)) → quotB_out_gga(s(s(s(T307))), s(s(s(0))), s(T309))
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0)
quotB_in_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → U14_gga(T449, T451, quotF_in_ga(T449, T451))
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(T532)))), s(T534)) → U5_ga(T532, T534, quotF_in_ga(T532, T534))
U5_ga(T532, T534, quotF_out_ga(T532, T534)) → quotF_out_ga(s(s(s(s(T532)))), s(T534))
U14_gga(T449, T451, quotF_out_ga(T449, T451)) → quotB_out_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451))
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0)
quotB_in_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → U15_gga(T609, T611, quotG_in_ga(T609, T611))
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(0)))), 0) → quotG_out_ga(s(s(s(s(0)))), 0)
quotG_in_ga(s(s(s(s(s(T710))))), s(T712)) → U6_ga(T710, T712, quotG_in_ga(T710, T712))
U6_ga(T710, T712, quotG_out_ga(T710, T712)) → quotG_out_ga(s(s(s(s(s(T710))))), s(T712))
U15_gga(T609, T611, quotG_out_ga(T609, T611)) → quotB_out_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611))
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0)
quotB_in_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → U16_gga(T787, T789, quotH_in_ga(T787, T789))
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(0))), 0) → quotH_out_ga(s(s(s(0))), 0)
quotH_in_ga(s(s(s(s(0)))), 0) → quotH_out_ga(s(s(s(s(0)))), 0)
quotH_in_ga(s(s(s(s(s(0))))), 0) → quotH_out_ga(s(s(s(s(s(0))))), 0)
quotH_in_ga(s(s(s(s(s(s(T906)))))), s(T908)) → U7_ga(T906, T908, quotH_in_ga(T906, T908))
U7_ga(T906, T908, quotH_out_ga(T906, T908)) → quotH_out_ga(s(s(s(s(s(s(T906)))))), s(T908))
U16_gga(T787, T789, quotH_out_ga(T787, T789)) → quotB_out_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789))
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → U17_gga(T983, T985, quotI_in_ga(T983, T985))
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(0)), 0) → quotI_out_ga(s(s(0)), 0)
quotI_in_ga(s(s(s(0))), 0) → quotI_out_ga(s(s(s(0))), 0)
quotI_in_ga(s(s(s(s(0)))), 0) → quotI_out_ga(s(s(s(s(0)))), 0)
quotI_in_ga(s(s(s(s(s(0))))), 0) → quotI_out_ga(s(s(s(s(s(0))))), 0)
quotI_in_ga(s(s(s(s(s(s(0)))))), 0) → quotI_out_ga(s(s(s(s(s(s(0)))))), 0)
quotI_in_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → U8_ga(T1120, T1122, quotI_in_ga(T1120, T1122))
U8_ga(T1120, T1122, quotI_out_ga(T1120, T1122)) → quotI_out_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122))
U17_gga(T983, T985, quotI_out_ga(T983, T985)) → quotB_out_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985))
quotB_in_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → U18_gga(T1176, T1181, T1149, quotJ_in_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149))
quotJ_in_ggga(0, s(T1197), T1198, 0) → quotJ_out_ggga(0, s(T1197), T1198, 0)
quotJ_in_ggga(T1211, 0, T1212, s(T1214)) → U9_ggga(T1211, T1212, T1214, quotB_in_gga(T1211, s(T1212), T1214))
U9_ggga(T1211, T1212, T1214, quotB_out_gga(T1211, s(T1212), T1214)) → quotJ_out_ggga(T1211, 0, T1212, s(T1214))
quotJ_in_ggga(s(T1261), s(T1266), T1230, T1232) → U10_ggga(T1261, T1266, T1230, T1232, quotJ_in_ggga(T1261, T1266, T1230, T1232))
U10_ggga(T1261, T1266, T1230, T1232, quotJ_out_ggga(T1261, T1266, T1230, T1232)) → quotJ_out_ggga(s(T1261), s(T1266), T1230, T1232)
U18_gga(T1176, T1181, T1149, quotJ_out_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)) → quotB_out_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149)
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(T77), s(0), s(T79)) → U11_GGA(T77, T79, quotC_in_ga(T77, T79))
QUOTB_IN_GGA(s(T77), s(0), s(T79)) → QUOTC_IN_GA(T77, T79)
QUOTC_IN_GA(s(T106), s(T108)) → U2_GA(T106, T108, quotC_in_ga(T106, T108))
QUOTC_IN_GA(s(T106), s(T108)) → QUOTC_IN_GA(T106, T108)
QUOTB_IN_GGA(s(s(T183)), s(s(0)), s(T185)) → U12_GGA(T183, T185, quotD_in_ga(T183, T185))
QUOTB_IN_GGA(s(s(T183)), s(s(0)), s(T185)) → QUOTD_IN_GA(T183, T185)
QUOTD_IN_GA(s(s(T230)), s(T232)) → U3_GA(T230, T232, quotD_in_ga(T230, T232))
QUOTD_IN_GA(s(s(T230)), s(T232)) → QUOTD_IN_GA(T230, T232)
QUOTB_IN_GGA(s(s(s(T307))), s(s(s(0))), s(T309)) → U13_GGA(T307, T309, quotE_in_ga(T307, T309))
QUOTB_IN_GGA(s(s(s(T307))), s(s(s(0))), s(T309)) → QUOTE_IN_GA(T307, T309)
QUOTE_IN_GA(s(s(s(T372))), s(T374)) → U4_GA(T372, T374, quotE_in_ga(T372, T374))
QUOTE_IN_GA(s(s(s(T372))), s(T374)) → QUOTE_IN_GA(T372, T374)
QUOTB_IN_GGA(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → U14_GGA(T449, T451, quotF_in_ga(T449, T451))
QUOTB_IN_GGA(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → QUOTF_IN_GA(T449, T451)
QUOTF_IN_GA(s(s(s(s(T532)))), s(T534)) → U5_GA(T532, T534, quotF_in_ga(T532, T534))
QUOTF_IN_GA(s(s(s(s(T532)))), s(T534)) → QUOTF_IN_GA(T532, T534)
QUOTB_IN_GGA(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → U15_GGA(T609, T611, quotG_in_ga(T609, T611))
QUOTB_IN_GGA(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → QUOTG_IN_GA(T609, T611)
QUOTG_IN_GA(s(s(s(s(s(T710))))), s(T712)) → U6_GA(T710, T712, quotG_in_ga(T710, T712))
QUOTG_IN_GA(s(s(s(s(s(T710))))), s(T712)) → QUOTG_IN_GA(T710, T712)
QUOTB_IN_GGA(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → U16_GGA(T787, T789, quotH_in_ga(T787, T789))
QUOTB_IN_GGA(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → QUOTH_IN_GA(T787, T789)
QUOTH_IN_GA(s(s(s(s(s(s(T906)))))), s(T908)) → U7_GA(T906, T908, quotH_in_ga(T906, T908))
QUOTH_IN_GA(s(s(s(s(s(s(T906)))))), s(T908)) → QUOTH_IN_GA(T906, T908)
QUOTB_IN_GGA(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → U17_GGA(T983, T985, quotI_in_ga(T983, T985))
QUOTB_IN_GGA(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → QUOTI_IN_GA(T983, T985)
QUOTI_IN_GA(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → U8_GA(T1120, T1122, quotI_in_ga(T1120, T1122))
QUOTI_IN_GA(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → QUOTI_IN_GA(T1120, T1122)
QUOTB_IN_GGA(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → U18_GGA(T1176, T1181, T1149, quotJ_in_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149))
QUOTB_IN_GGA(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → QUOTJ_IN_GGGA(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)
QUOTJ_IN_GGGA(T1211, 0, T1212, s(T1214)) → U9_GGGA(T1211, T1212, T1214, quotB_in_gga(T1211, s(T1212), T1214))
QUOTJ_IN_GGGA(T1211, 0, T1212, s(T1214)) → QUOTB_IN_GGA(T1211, s(T1212), T1214)
QUOTJ_IN_GGGA(s(T1261), s(T1266), T1230, T1232) → U10_GGGA(T1261, T1266, T1230, T1232, quotJ_in_ggga(T1261, T1266, T1230, T1232))
QUOTJ_IN_GGGA(s(T1261), s(T1266), T1230, T1232) → QUOTJ_IN_GGGA(T1261, T1266, T1230, T1232)
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(T68)), 0) → quotB_out_gga(s(0), s(s(T68)), 0)
quotB_in_gga(s(T77), s(0), s(T79)) → U11_gga(T77, T79, quotC_in_ga(T77, T79))
quotC_in_ga(0, 0) → quotC_out_ga(0, 0)
quotC_in_ga(s(T106), s(T108)) → U2_ga(T106, T108, quotC_in_ga(T106, T108))
U2_ga(T106, T108, quotC_out_ga(T106, T108)) → quotC_out_ga(s(T106), s(T108))
U11_gga(T77, T79, quotC_out_ga(T77, T79)) → quotB_out_gga(s(T77), s(0), s(T79))
quotB_in_gga(s(s(0)), s(s(s(T174))), 0) → quotB_out_gga(s(s(0)), s(s(s(T174))), 0)
quotB_in_gga(s(s(T183)), s(s(0)), s(T185)) → U12_gga(T183, T185, quotD_in_ga(T183, T185))
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(T230)), s(T232)) → U3_ga(T230, T232, quotD_in_ga(T230, T232))
U3_ga(T230, T232, quotD_out_ga(T230, T232)) → quotD_out_ga(s(s(T230)), s(T232))
U12_gga(T183, T185, quotD_out_ga(T183, T185)) → quotB_out_gga(s(s(T183)), s(s(0)), s(T185))
quotB_in_gga(s(s(s(0))), s(s(s(s(T298)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T298)))), 0)
quotB_in_gga(s(s(s(T307))), s(s(s(0))), s(T309)) → U13_gga(T307, T309, quotE_in_ga(T307, T309))
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(T372))), s(T374)) → U4_ga(T372, T374, quotE_in_ga(T372, T374))
U4_ga(T372, T374, quotE_out_ga(T372, T374)) → quotE_out_ga(s(s(s(T372))), s(T374))
U13_gga(T307, T309, quotE_out_ga(T307, T309)) → quotB_out_gga(s(s(s(T307))), s(s(s(0))), s(T309))
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0)
quotB_in_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → U14_gga(T449, T451, quotF_in_ga(T449, T451))
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(T532)))), s(T534)) → U5_ga(T532, T534, quotF_in_ga(T532, T534))
U5_ga(T532, T534, quotF_out_ga(T532, T534)) → quotF_out_ga(s(s(s(s(T532)))), s(T534))
U14_gga(T449, T451, quotF_out_ga(T449, T451)) → quotB_out_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451))
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0)
quotB_in_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → U15_gga(T609, T611, quotG_in_ga(T609, T611))
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(0)))), 0) → quotG_out_ga(s(s(s(s(0)))), 0)
quotG_in_ga(s(s(s(s(s(T710))))), s(T712)) → U6_ga(T710, T712, quotG_in_ga(T710, T712))
U6_ga(T710, T712, quotG_out_ga(T710, T712)) → quotG_out_ga(s(s(s(s(s(T710))))), s(T712))
U15_gga(T609, T611, quotG_out_ga(T609, T611)) → quotB_out_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611))
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0)
quotB_in_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → U16_gga(T787, T789, quotH_in_ga(T787, T789))
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(0))), 0) → quotH_out_ga(s(s(s(0))), 0)
quotH_in_ga(s(s(s(s(0)))), 0) → quotH_out_ga(s(s(s(s(0)))), 0)
quotH_in_ga(s(s(s(s(s(0))))), 0) → quotH_out_ga(s(s(s(s(s(0))))), 0)
quotH_in_ga(s(s(s(s(s(s(T906)))))), s(T908)) → U7_ga(T906, T908, quotH_in_ga(T906, T908))
U7_ga(T906, T908, quotH_out_ga(T906, T908)) → quotH_out_ga(s(s(s(s(s(s(T906)))))), s(T908))
U16_gga(T787, T789, quotH_out_ga(T787, T789)) → quotB_out_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789))
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → U17_gga(T983, T985, quotI_in_ga(T983, T985))
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(0)), 0) → quotI_out_ga(s(s(0)), 0)
quotI_in_ga(s(s(s(0))), 0) → quotI_out_ga(s(s(s(0))), 0)
quotI_in_ga(s(s(s(s(0)))), 0) → quotI_out_ga(s(s(s(s(0)))), 0)
quotI_in_ga(s(s(s(s(s(0))))), 0) → quotI_out_ga(s(s(s(s(s(0))))), 0)
quotI_in_ga(s(s(s(s(s(s(0)))))), 0) → quotI_out_ga(s(s(s(s(s(s(0)))))), 0)
quotI_in_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → U8_ga(T1120, T1122, quotI_in_ga(T1120, T1122))
U8_ga(T1120, T1122, quotI_out_ga(T1120, T1122)) → quotI_out_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122))
U17_gga(T983, T985, quotI_out_ga(T983, T985)) → quotB_out_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985))
quotB_in_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → U18_gga(T1176, T1181, T1149, quotJ_in_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149))
quotJ_in_ggga(0, s(T1197), T1198, 0) → quotJ_out_ggga(0, s(T1197), T1198, 0)
quotJ_in_ggga(T1211, 0, T1212, s(T1214)) → U9_ggga(T1211, T1212, T1214, quotB_in_gga(T1211, s(T1212), T1214))
U9_ggga(T1211, T1212, T1214, quotB_out_gga(T1211, s(T1212), T1214)) → quotJ_out_ggga(T1211, 0, T1212, s(T1214))
quotJ_in_ggga(s(T1261), s(T1266), T1230, T1232) → U10_ggga(T1261, T1266, T1230, T1232, quotJ_in_ggga(T1261, T1266, T1230, T1232))
U10_ggga(T1261, T1266, T1230, T1232, quotJ_out_ggga(T1261, T1266, T1230, T1232)) → quotJ_out_ggga(s(T1261), s(T1266), T1230, T1232)
U18_gga(T1176, T1181, T1149, quotJ_out_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)) → quotB_out_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149)
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(T77), s(0), s(T79)) → U11_GGA(T77, T79, quotC_in_ga(T77, T79))
QUOTB_IN_GGA(s(T77), s(0), s(T79)) → QUOTC_IN_GA(T77, T79)
QUOTC_IN_GA(s(T106), s(T108)) → U2_GA(T106, T108, quotC_in_ga(T106, T108))
QUOTC_IN_GA(s(T106), s(T108)) → QUOTC_IN_GA(T106, T108)
QUOTB_IN_GGA(s(s(T183)), s(s(0)), s(T185)) → U12_GGA(T183, T185, quotD_in_ga(T183, T185))
QUOTB_IN_GGA(s(s(T183)), s(s(0)), s(T185)) → QUOTD_IN_GA(T183, T185)
QUOTD_IN_GA(s(s(T230)), s(T232)) → U3_GA(T230, T232, quotD_in_ga(T230, T232))
QUOTD_IN_GA(s(s(T230)), s(T232)) → QUOTD_IN_GA(T230, T232)
QUOTB_IN_GGA(s(s(s(T307))), s(s(s(0))), s(T309)) → U13_GGA(T307, T309, quotE_in_ga(T307, T309))
QUOTB_IN_GGA(s(s(s(T307))), s(s(s(0))), s(T309)) → QUOTE_IN_GA(T307, T309)
QUOTE_IN_GA(s(s(s(T372))), s(T374)) → U4_GA(T372, T374, quotE_in_ga(T372, T374))
QUOTE_IN_GA(s(s(s(T372))), s(T374)) → QUOTE_IN_GA(T372, T374)
QUOTB_IN_GGA(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → U14_GGA(T449, T451, quotF_in_ga(T449, T451))
QUOTB_IN_GGA(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → QUOTF_IN_GA(T449, T451)
QUOTF_IN_GA(s(s(s(s(T532)))), s(T534)) → U5_GA(T532, T534, quotF_in_ga(T532, T534))
QUOTF_IN_GA(s(s(s(s(T532)))), s(T534)) → QUOTF_IN_GA(T532, T534)
QUOTB_IN_GGA(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → U15_GGA(T609, T611, quotG_in_ga(T609, T611))
QUOTB_IN_GGA(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → QUOTG_IN_GA(T609, T611)
QUOTG_IN_GA(s(s(s(s(s(T710))))), s(T712)) → U6_GA(T710, T712, quotG_in_ga(T710, T712))
QUOTG_IN_GA(s(s(s(s(s(T710))))), s(T712)) → QUOTG_IN_GA(T710, T712)
QUOTB_IN_GGA(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → U16_GGA(T787, T789, quotH_in_ga(T787, T789))
QUOTB_IN_GGA(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → QUOTH_IN_GA(T787, T789)
QUOTH_IN_GA(s(s(s(s(s(s(T906)))))), s(T908)) → U7_GA(T906, T908, quotH_in_ga(T906, T908))
QUOTH_IN_GA(s(s(s(s(s(s(T906)))))), s(T908)) → QUOTH_IN_GA(T906, T908)
QUOTB_IN_GGA(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → U17_GGA(T983, T985, quotI_in_ga(T983, T985))
QUOTB_IN_GGA(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → QUOTI_IN_GA(T983, T985)
QUOTI_IN_GA(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → U8_GA(T1120, T1122, quotI_in_ga(T1120, T1122))
QUOTI_IN_GA(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → QUOTI_IN_GA(T1120, T1122)
QUOTB_IN_GGA(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → U18_GGA(T1176, T1181, T1149, quotJ_in_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149))
QUOTB_IN_GGA(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → QUOTJ_IN_GGGA(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)
QUOTJ_IN_GGGA(T1211, 0, T1212, s(T1214)) → U9_GGGA(T1211, T1212, T1214, quotB_in_gga(T1211, s(T1212), T1214))
QUOTJ_IN_GGGA(T1211, 0, T1212, s(T1214)) → QUOTB_IN_GGA(T1211, s(T1212), T1214)
QUOTJ_IN_GGGA(s(T1261), s(T1266), T1230, T1232) → U10_GGGA(T1261, T1266, T1230, T1232, quotJ_in_ggga(T1261, T1266, T1230, T1232))
QUOTJ_IN_GGGA(s(T1261), s(T1266), T1230, T1232) → QUOTJ_IN_GGGA(T1261, T1266, T1230, T1232)
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(T68)), 0) → quotB_out_gga(s(0), s(s(T68)), 0)
quotB_in_gga(s(T77), s(0), s(T79)) → U11_gga(T77, T79, quotC_in_ga(T77, T79))
quotC_in_ga(0, 0) → quotC_out_ga(0, 0)
quotC_in_ga(s(T106), s(T108)) → U2_ga(T106, T108, quotC_in_ga(T106, T108))
U2_ga(T106, T108, quotC_out_ga(T106, T108)) → quotC_out_ga(s(T106), s(T108))
U11_gga(T77, T79, quotC_out_ga(T77, T79)) → quotB_out_gga(s(T77), s(0), s(T79))
quotB_in_gga(s(s(0)), s(s(s(T174))), 0) → quotB_out_gga(s(s(0)), s(s(s(T174))), 0)
quotB_in_gga(s(s(T183)), s(s(0)), s(T185)) → U12_gga(T183, T185, quotD_in_ga(T183, T185))
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(T230)), s(T232)) → U3_ga(T230, T232, quotD_in_ga(T230, T232))
U3_ga(T230, T232, quotD_out_ga(T230, T232)) → quotD_out_ga(s(s(T230)), s(T232))
U12_gga(T183, T185, quotD_out_ga(T183, T185)) → quotB_out_gga(s(s(T183)), s(s(0)), s(T185))
quotB_in_gga(s(s(s(0))), s(s(s(s(T298)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T298)))), 0)
quotB_in_gga(s(s(s(T307))), s(s(s(0))), s(T309)) → U13_gga(T307, T309, quotE_in_ga(T307, T309))
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(T372))), s(T374)) → U4_ga(T372, T374, quotE_in_ga(T372, T374))
U4_ga(T372, T374, quotE_out_ga(T372, T374)) → quotE_out_ga(s(s(s(T372))), s(T374))
U13_gga(T307, T309, quotE_out_ga(T307, T309)) → quotB_out_gga(s(s(s(T307))), s(s(s(0))), s(T309))
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0)
quotB_in_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → U14_gga(T449, T451, quotF_in_ga(T449, T451))
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(T532)))), s(T534)) → U5_ga(T532, T534, quotF_in_ga(T532, T534))
U5_ga(T532, T534, quotF_out_ga(T532, T534)) → quotF_out_ga(s(s(s(s(T532)))), s(T534))
U14_gga(T449, T451, quotF_out_ga(T449, T451)) → quotB_out_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451))
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0)
quotB_in_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → U15_gga(T609, T611, quotG_in_ga(T609, T611))
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(0)))), 0) → quotG_out_ga(s(s(s(s(0)))), 0)
quotG_in_ga(s(s(s(s(s(T710))))), s(T712)) → U6_ga(T710, T712, quotG_in_ga(T710, T712))
U6_ga(T710, T712, quotG_out_ga(T710, T712)) → quotG_out_ga(s(s(s(s(s(T710))))), s(T712))
U15_gga(T609, T611, quotG_out_ga(T609, T611)) → quotB_out_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611))
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0)
quotB_in_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → U16_gga(T787, T789, quotH_in_ga(T787, T789))
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(0))), 0) → quotH_out_ga(s(s(s(0))), 0)
quotH_in_ga(s(s(s(s(0)))), 0) → quotH_out_ga(s(s(s(s(0)))), 0)
quotH_in_ga(s(s(s(s(s(0))))), 0) → quotH_out_ga(s(s(s(s(s(0))))), 0)
quotH_in_ga(s(s(s(s(s(s(T906)))))), s(T908)) → U7_ga(T906, T908, quotH_in_ga(T906, T908))
U7_ga(T906, T908, quotH_out_ga(T906, T908)) → quotH_out_ga(s(s(s(s(s(s(T906)))))), s(T908))
U16_gga(T787, T789, quotH_out_ga(T787, T789)) → quotB_out_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789))
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → U17_gga(T983, T985, quotI_in_ga(T983, T985))
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(0)), 0) → quotI_out_ga(s(s(0)), 0)
quotI_in_ga(s(s(s(0))), 0) → quotI_out_ga(s(s(s(0))), 0)
quotI_in_ga(s(s(s(s(0)))), 0) → quotI_out_ga(s(s(s(s(0)))), 0)
quotI_in_ga(s(s(s(s(s(0))))), 0) → quotI_out_ga(s(s(s(s(s(0))))), 0)
quotI_in_ga(s(s(s(s(s(s(0)))))), 0) → quotI_out_ga(s(s(s(s(s(s(0)))))), 0)
quotI_in_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → U8_ga(T1120, T1122, quotI_in_ga(T1120, T1122))
U8_ga(T1120, T1122, quotI_out_ga(T1120, T1122)) → quotI_out_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122))
U17_gga(T983, T985, quotI_out_ga(T983, T985)) → quotB_out_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985))
quotB_in_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → U18_gga(T1176, T1181, T1149, quotJ_in_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149))
quotJ_in_ggga(0, s(T1197), T1198, 0) → quotJ_out_ggga(0, s(T1197), T1198, 0)
quotJ_in_ggga(T1211, 0, T1212, s(T1214)) → U9_ggga(T1211, T1212, T1214, quotB_in_gga(T1211, s(T1212), T1214))
U9_ggga(T1211, T1212, T1214, quotB_out_gga(T1211, s(T1212), T1214)) → quotJ_out_ggga(T1211, 0, T1212, s(T1214))
quotJ_in_ggga(s(T1261), s(T1266), T1230, T1232) → U10_ggga(T1261, T1266, T1230, T1232, quotJ_in_ggga(T1261, T1266, T1230, T1232))
U10_ggga(T1261, T1266, T1230, T1232, quotJ_out_ggga(T1261, T1266, T1230, T1232)) → quotJ_out_ggga(s(T1261), s(T1266), T1230, T1232)
U18_gga(T1176, T1181, T1149, quotJ_out_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)) → quotB_out_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTI_IN_GA(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → QUOTI_IN_GA(T1120, T1122)
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(T68)), 0) → quotB_out_gga(s(0), s(s(T68)), 0)
quotB_in_gga(s(T77), s(0), s(T79)) → U11_gga(T77, T79, quotC_in_ga(T77, T79))
quotC_in_ga(0, 0) → quotC_out_ga(0, 0)
quotC_in_ga(s(T106), s(T108)) → U2_ga(T106, T108, quotC_in_ga(T106, T108))
U2_ga(T106, T108, quotC_out_ga(T106, T108)) → quotC_out_ga(s(T106), s(T108))
U11_gga(T77, T79, quotC_out_ga(T77, T79)) → quotB_out_gga(s(T77), s(0), s(T79))
quotB_in_gga(s(s(0)), s(s(s(T174))), 0) → quotB_out_gga(s(s(0)), s(s(s(T174))), 0)
quotB_in_gga(s(s(T183)), s(s(0)), s(T185)) → U12_gga(T183, T185, quotD_in_ga(T183, T185))
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(T230)), s(T232)) → U3_ga(T230, T232, quotD_in_ga(T230, T232))
U3_ga(T230, T232, quotD_out_ga(T230, T232)) → quotD_out_ga(s(s(T230)), s(T232))
U12_gga(T183, T185, quotD_out_ga(T183, T185)) → quotB_out_gga(s(s(T183)), s(s(0)), s(T185))
quotB_in_gga(s(s(s(0))), s(s(s(s(T298)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T298)))), 0)
quotB_in_gga(s(s(s(T307))), s(s(s(0))), s(T309)) → U13_gga(T307, T309, quotE_in_ga(T307, T309))
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(T372))), s(T374)) → U4_ga(T372, T374, quotE_in_ga(T372, T374))
U4_ga(T372, T374, quotE_out_ga(T372, T374)) → quotE_out_ga(s(s(s(T372))), s(T374))
U13_gga(T307, T309, quotE_out_ga(T307, T309)) → quotB_out_gga(s(s(s(T307))), s(s(s(0))), s(T309))
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0)
quotB_in_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → U14_gga(T449, T451, quotF_in_ga(T449, T451))
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(T532)))), s(T534)) → U5_ga(T532, T534, quotF_in_ga(T532, T534))
U5_ga(T532, T534, quotF_out_ga(T532, T534)) → quotF_out_ga(s(s(s(s(T532)))), s(T534))
U14_gga(T449, T451, quotF_out_ga(T449, T451)) → quotB_out_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451))
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0)
quotB_in_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → U15_gga(T609, T611, quotG_in_ga(T609, T611))
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(0)))), 0) → quotG_out_ga(s(s(s(s(0)))), 0)
quotG_in_ga(s(s(s(s(s(T710))))), s(T712)) → U6_ga(T710, T712, quotG_in_ga(T710, T712))
U6_ga(T710, T712, quotG_out_ga(T710, T712)) → quotG_out_ga(s(s(s(s(s(T710))))), s(T712))
U15_gga(T609, T611, quotG_out_ga(T609, T611)) → quotB_out_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611))
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0)
quotB_in_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → U16_gga(T787, T789, quotH_in_ga(T787, T789))
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(0))), 0) → quotH_out_ga(s(s(s(0))), 0)
quotH_in_ga(s(s(s(s(0)))), 0) → quotH_out_ga(s(s(s(s(0)))), 0)
quotH_in_ga(s(s(s(s(s(0))))), 0) → quotH_out_ga(s(s(s(s(s(0))))), 0)
quotH_in_ga(s(s(s(s(s(s(T906)))))), s(T908)) → U7_ga(T906, T908, quotH_in_ga(T906, T908))
U7_ga(T906, T908, quotH_out_ga(T906, T908)) → quotH_out_ga(s(s(s(s(s(s(T906)))))), s(T908))
U16_gga(T787, T789, quotH_out_ga(T787, T789)) → quotB_out_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789))
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → U17_gga(T983, T985, quotI_in_ga(T983, T985))
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(0)), 0) → quotI_out_ga(s(s(0)), 0)
quotI_in_ga(s(s(s(0))), 0) → quotI_out_ga(s(s(s(0))), 0)
quotI_in_ga(s(s(s(s(0)))), 0) → quotI_out_ga(s(s(s(s(0)))), 0)
quotI_in_ga(s(s(s(s(s(0))))), 0) → quotI_out_ga(s(s(s(s(s(0))))), 0)
quotI_in_ga(s(s(s(s(s(s(0)))))), 0) → quotI_out_ga(s(s(s(s(s(s(0)))))), 0)
quotI_in_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → U8_ga(T1120, T1122, quotI_in_ga(T1120, T1122))
U8_ga(T1120, T1122, quotI_out_ga(T1120, T1122)) → quotI_out_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122))
U17_gga(T983, T985, quotI_out_ga(T983, T985)) → quotB_out_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985))
quotB_in_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → U18_gga(T1176, T1181, T1149, quotJ_in_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149))
quotJ_in_ggga(0, s(T1197), T1198, 0) → quotJ_out_ggga(0, s(T1197), T1198, 0)
quotJ_in_ggga(T1211, 0, T1212, s(T1214)) → U9_ggga(T1211, T1212, T1214, quotB_in_gga(T1211, s(T1212), T1214))
U9_ggga(T1211, T1212, T1214, quotB_out_gga(T1211, s(T1212), T1214)) → quotJ_out_ggga(T1211, 0, T1212, s(T1214))
quotJ_in_ggga(s(T1261), s(T1266), T1230, T1232) → U10_ggga(T1261, T1266, T1230, T1232, quotJ_in_ggga(T1261, T1266, T1230, T1232))
U10_ggga(T1261, T1266, T1230, T1232, quotJ_out_ggga(T1261, T1266, T1230, T1232)) → quotJ_out_ggga(s(T1261), s(T1266), T1230, T1232)
U18_gga(T1176, T1181, T1149, quotJ_out_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)) → quotB_out_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTI_IN_GA(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → QUOTI_IN_GA(T1120, T1122)
QUOTI_IN_GA(s(s(s(s(s(s(s(T1120)))))))) → QUOTI_IN_GA(T1120)
From the DPs we obtained the following set of size-change graphs:
QUOTH_IN_GA(s(s(s(s(s(s(T906)))))), s(T908)) → QUOTH_IN_GA(T906, T908)
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(T68)), 0) → quotB_out_gga(s(0), s(s(T68)), 0)
quotB_in_gga(s(T77), s(0), s(T79)) → U11_gga(T77, T79, quotC_in_ga(T77, T79))
quotC_in_ga(0, 0) → quotC_out_ga(0, 0)
quotC_in_ga(s(T106), s(T108)) → U2_ga(T106, T108, quotC_in_ga(T106, T108))
U2_ga(T106, T108, quotC_out_ga(T106, T108)) → quotC_out_ga(s(T106), s(T108))
U11_gga(T77, T79, quotC_out_ga(T77, T79)) → quotB_out_gga(s(T77), s(0), s(T79))
quotB_in_gga(s(s(0)), s(s(s(T174))), 0) → quotB_out_gga(s(s(0)), s(s(s(T174))), 0)
quotB_in_gga(s(s(T183)), s(s(0)), s(T185)) → U12_gga(T183, T185, quotD_in_ga(T183, T185))
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(T230)), s(T232)) → U3_ga(T230, T232, quotD_in_ga(T230, T232))
U3_ga(T230, T232, quotD_out_ga(T230, T232)) → quotD_out_ga(s(s(T230)), s(T232))
U12_gga(T183, T185, quotD_out_ga(T183, T185)) → quotB_out_gga(s(s(T183)), s(s(0)), s(T185))
quotB_in_gga(s(s(s(0))), s(s(s(s(T298)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T298)))), 0)
quotB_in_gga(s(s(s(T307))), s(s(s(0))), s(T309)) → U13_gga(T307, T309, quotE_in_ga(T307, T309))
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(T372))), s(T374)) → U4_ga(T372, T374, quotE_in_ga(T372, T374))
U4_ga(T372, T374, quotE_out_ga(T372, T374)) → quotE_out_ga(s(s(s(T372))), s(T374))
U13_gga(T307, T309, quotE_out_ga(T307, T309)) → quotB_out_gga(s(s(s(T307))), s(s(s(0))), s(T309))
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0)
quotB_in_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → U14_gga(T449, T451, quotF_in_ga(T449, T451))
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(T532)))), s(T534)) → U5_ga(T532, T534, quotF_in_ga(T532, T534))
U5_ga(T532, T534, quotF_out_ga(T532, T534)) → quotF_out_ga(s(s(s(s(T532)))), s(T534))
U14_gga(T449, T451, quotF_out_ga(T449, T451)) → quotB_out_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451))
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0)
quotB_in_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → U15_gga(T609, T611, quotG_in_ga(T609, T611))
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(0)))), 0) → quotG_out_ga(s(s(s(s(0)))), 0)
quotG_in_ga(s(s(s(s(s(T710))))), s(T712)) → U6_ga(T710, T712, quotG_in_ga(T710, T712))
U6_ga(T710, T712, quotG_out_ga(T710, T712)) → quotG_out_ga(s(s(s(s(s(T710))))), s(T712))
U15_gga(T609, T611, quotG_out_ga(T609, T611)) → quotB_out_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611))
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0)
quotB_in_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → U16_gga(T787, T789, quotH_in_ga(T787, T789))
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(0))), 0) → quotH_out_ga(s(s(s(0))), 0)
quotH_in_ga(s(s(s(s(0)))), 0) → quotH_out_ga(s(s(s(s(0)))), 0)
quotH_in_ga(s(s(s(s(s(0))))), 0) → quotH_out_ga(s(s(s(s(s(0))))), 0)
quotH_in_ga(s(s(s(s(s(s(T906)))))), s(T908)) → U7_ga(T906, T908, quotH_in_ga(T906, T908))
U7_ga(T906, T908, quotH_out_ga(T906, T908)) → quotH_out_ga(s(s(s(s(s(s(T906)))))), s(T908))
U16_gga(T787, T789, quotH_out_ga(T787, T789)) → quotB_out_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789))
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → U17_gga(T983, T985, quotI_in_ga(T983, T985))
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(0)), 0) → quotI_out_ga(s(s(0)), 0)
quotI_in_ga(s(s(s(0))), 0) → quotI_out_ga(s(s(s(0))), 0)
quotI_in_ga(s(s(s(s(0)))), 0) → quotI_out_ga(s(s(s(s(0)))), 0)
quotI_in_ga(s(s(s(s(s(0))))), 0) → quotI_out_ga(s(s(s(s(s(0))))), 0)
quotI_in_ga(s(s(s(s(s(s(0)))))), 0) → quotI_out_ga(s(s(s(s(s(s(0)))))), 0)
quotI_in_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → U8_ga(T1120, T1122, quotI_in_ga(T1120, T1122))
U8_ga(T1120, T1122, quotI_out_ga(T1120, T1122)) → quotI_out_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122))
U17_gga(T983, T985, quotI_out_ga(T983, T985)) → quotB_out_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985))
quotB_in_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → U18_gga(T1176, T1181, T1149, quotJ_in_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149))
quotJ_in_ggga(0, s(T1197), T1198, 0) → quotJ_out_ggga(0, s(T1197), T1198, 0)
quotJ_in_ggga(T1211, 0, T1212, s(T1214)) → U9_ggga(T1211, T1212, T1214, quotB_in_gga(T1211, s(T1212), T1214))
U9_ggga(T1211, T1212, T1214, quotB_out_gga(T1211, s(T1212), T1214)) → quotJ_out_ggga(T1211, 0, T1212, s(T1214))
quotJ_in_ggga(s(T1261), s(T1266), T1230, T1232) → U10_ggga(T1261, T1266, T1230, T1232, quotJ_in_ggga(T1261, T1266, T1230, T1232))
U10_ggga(T1261, T1266, T1230, T1232, quotJ_out_ggga(T1261, T1266, T1230, T1232)) → quotJ_out_ggga(s(T1261), s(T1266), T1230, T1232)
U18_gga(T1176, T1181, T1149, quotJ_out_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)) → quotB_out_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTH_IN_GA(s(s(s(s(s(s(T906)))))), s(T908)) → QUOTH_IN_GA(T906, T908)
QUOTH_IN_GA(s(s(s(s(s(s(T906))))))) → QUOTH_IN_GA(T906)
From the DPs we obtained the following set of size-change graphs:
QUOTG_IN_GA(s(s(s(s(s(T710))))), s(T712)) → QUOTG_IN_GA(T710, T712)
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(T68)), 0) → quotB_out_gga(s(0), s(s(T68)), 0)
quotB_in_gga(s(T77), s(0), s(T79)) → U11_gga(T77, T79, quotC_in_ga(T77, T79))
quotC_in_ga(0, 0) → quotC_out_ga(0, 0)
quotC_in_ga(s(T106), s(T108)) → U2_ga(T106, T108, quotC_in_ga(T106, T108))
U2_ga(T106, T108, quotC_out_ga(T106, T108)) → quotC_out_ga(s(T106), s(T108))
U11_gga(T77, T79, quotC_out_ga(T77, T79)) → quotB_out_gga(s(T77), s(0), s(T79))
quotB_in_gga(s(s(0)), s(s(s(T174))), 0) → quotB_out_gga(s(s(0)), s(s(s(T174))), 0)
quotB_in_gga(s(s(T183)), s(s(0)), s(T185)) → U12_gga(T183, T185, quotD_in_ga(T183, T185))
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(T230)), s(T232)) → U3_ga(T230, T232, quotD_in_ga(T230, T232))
U3_ga(T230, T232, quotD_out_ga(T230, T232)) → quotD_out_ga(s(s(T230)), s(T232))
U12_gga(T183, T185, quotD_out_ga(T183, T185)) → quotB_out_gga(s(s(T183)), s(s(0)), s(T185))
quotB_in_gga(s(s(s(0))), s(s(s(s(T298)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T298)))), 0)
quotB_in_gga(s(s(s(T307))), s(s(s(0))), s(T309)) → U13_gga(T307, T309, quotE_in_ga(T307, T309))
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(T372))), s(T374)) → U4_ga(T372, T374, quotE_in_ga(T372, T374))
U4_ga(T372, T374, quotE_out_ga(T372, T374)) → quotE_out_ga(s(s(s(T372))), s(T374))
U13_gga(T307, T309, quotE_out_ga(T307, T309)) → quotB_out_gga(s(s(s(T307))), s(s(s(0))), s(T309))
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0)
quotB_in_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → U14_gga(T449, T451, quotF_in_ga(T449, T451))
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(T532)))), s(T534)) → U5_ga(T532, T534, quotF_in_ga(T532, T534))
U5_ga(T532, T534, quotF_out_ga(T532, T534)) → quotF_out_ga(s(s(s(s(T532)))), s(T534))
U14_gga(T449, T451, quotF_out_ga(T449, T451)) → quotB_out_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451))
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0)
quotB_in_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → U15_gga(T609, T611, quotG_in_ga(T609, T611))
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(0)))), 0) → quotG_out_ga(s(s(s(s(0)))), 0)
quotG_in_ga(s(s(s(s(s(T710))))), s(T712)) → U6_ga(T710, T712, quotG_in_ga(T710, T712))
U6_ga(T710, T712, quotG_out_ga(T710, T712)) → quotG_out_ga(s(s(s(s(s(T710))))), s(T712))
U15_gga(T609, T611, quotG_out_ga(T609, T611)) → quotB_out_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611))
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0)
quotB_in_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → U16_gga(T787, T789, quotH_in_ga(T787, T789))
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(0))), 0) → quotH_out_ga(s(s(s(0))), 0)
quotH_in_ga(s(s(s(s(0)))), 0) → quotH_out_ga(s(s(s(s(0)))), 0)
quotH_in_ga(s(s(s(s(s(0))))), 0) → quotH_out_ga(s(s(s(s(s(0))))), 0)
quotH_in_ga(s(s(s(s(s(s(T906)))))), s(T908)) → U7_ga(T906, T908, quotH_in_ga(T906, T908))
U7_ga(T906, T908, quotH_out_ga(T906, T908)) → quotH_out_ga(s(s(s(s(s(s(T906)))))), s(T908))
U16_gga(T787, T789, quotH_out_ga(T787, T789)) → quotB_out_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789))
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → U17_gga(T983, T985, quotI_in_ga(T983, T985))
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(0)), 0) → quotI_out_ga(s(s(0)), 0)
quotI_in_ga(s(s(s(0))), 0) → quotI_out_ga(s(s(s(0))), 0)
quotI_in_ga(s(s(s(s(0)))), 0) → quotI_out_ga(s(s(s(s(0)))), 0)
quotI_in_ga(s(s(s(s(s(0))))), 0) → quotI_out_ga(s(s(s(s(s(0))))), 0)
quotI_in_ga(s(s(s(s(s(s(0)))))), 0) → quotI_out_ga(s(s(s(s(s(s(0)))))), 0)
quotI_in_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → U8_ga(T1120, T1122, quotI_in_ga(T1120, T1122))
U8_ga(T1120, T1122, quotI_out_ga(T1120, T1122)) → quotI_out_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122))
U17_gga(T983, T985, quotI_out_ga(T983, T985)) → quotB_out_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985))
quotB_in_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → U18_gga(T1176, T1181, T1149, quotJ_in_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149))
quotJ_in_ggga(0, s(T1197), T1198, 0) → quotJ_out_ggga(0, s(T1197), T1198, 0)
quotJ_in_ggga(T1211, 0, T1212, s(T1214)) → U9_ggga(T1211, T1212, T1214, quotB_in_gga(T1211, s(T1212), T1214))
U9_ggga(T1211, T1212, T1214, quotB_out_gga(T1211, s(T1212), T1214)) → quotJ_out_ggga(T1211, 0, T1212, s(T1214))
quotJ_in_ggga(s(T1261), s(T1266), T1230, T1232) → U10_ggga(T1261, T1266, T1230, T1232, quotJ_in_ggga(T1261, T1266, T1230, T1232))
U10_ggga(T1261, T1266, T1230, T1232, quotJ_out_ggga(T1261, T1266, T1230, T1232)) → quotJ_out_ggga(s(T1261), s(T1266), T1230, T1232)
U18_gga(T1176, T1181, T1149, quotJ_out_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)) → quotB_out_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTG_IN_GA(s(s(s(s(s(T710))))), s(T712)) → QUOTG_IN_GA(T710, T712)
QUOTG_IN_GA(s(s(s(s(s(T710)))))) → QUOTG_IN_GA(T710)
From the DPs we obtained the following set of size-change graphs:
QUOTF_IN_GA(s(s(s(s(T532)))), s(T534)) → QUOTF_IN_GA(T532, T534)
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(T68)), 0) → quotB_out_gga(s(0), s(s(T68)), 0)
quotB_in_gga(s(T77), s(0), s(T79)) → U11_gga(T77, T79, quotC_in_ga(T77, T79))
quotC_in_ga(0, 0) → quotC_out_ga(0, 0)
quotC_in_ga(s(T106), s(T108)) → U2_ga(T106, T108, quotC_in_ga(T106, T108))
U2_ga(T106, T108, quotC_out_ga(T106, T108)) → quotC_out_ga(s(T106), s(T108))
U11_gga(T77, T79, quotC_out_ga(T77, T79)) → quotB_out_gga(s(T77), s(0), s(T79))
quotB_in_gga(s(s(0)), s(s(s(T174))), 0) → quotB_out_gga(s(s(0)), s(s(s(T174))), 0)
quotB_in_gga(s(s(T183)), s(s(0)), s(T185)) → U12_gga(T183, T185, quotD_in_ga(T183, T185))
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(T230)), s(T232)) → U3_ga(T230, T232, quotD_in_ga(T230, T232))
U3_ga(T230, T232, quotD_out_ga(T230, T232)) → quotD_out_ga(s(s(T230)), s(T232))
U12_gga(T183, T185, quotD_out_ga(T183, T185)) → quotB_out_gga(s(s(T183)), s(s(0)), s(T185))
quotB_in_gga(s(s(s(0))), s(s(s(s(T298)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T298)))), 0)
quotB_in_gga(s(s(s(T307))), s(s(s(0))), s(T309)) → U13_gga(T307, T309, quotE_in_ga(T307, T309))
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(T372))), s(T374)) → U4_ga(T372, T374, quotE_in_ga(T372, T374))
U4_ga(T372, T374, quotE_out_ga(T372, T374)) → quotE_out_ga(s(s(s(T372))), s(T374))
U13_gga(T307, T309, quotE_out_ga(T307, T309)) → quotB_out_gga(s(s(s(T307))), s(s(s(0))), s(T309))
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0)
quotB_in_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → U14_gga(T449, T451, quotF_in_ga(T449, T451))
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(T532)))), s(T534)) → U5_ga(T532, T534, quotF_in_ga(T532, T534))
U5_ga(T532, T534, quotF_out_ga(T532, T534)) → quotF_out_ga(s(s(s(s(T532)))), s(T534))
U14_gga(T449, T451, quotF_out_ga(T449, T451)) → quotB_out_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451))
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0)
quotB_in_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → U15_gga(T609, T611, quotG_in_ga(T609, T611))
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(0)))), 0) → quotG_out_ga(s(s(s(s(0)))), 0)
quotG_in_ga(s(s(s(s(s(T710))))), s(T712)) → U6_ga(T710, T712, quotG_in_ga(T710, T712))
U6_ga(T710, T712, quotG_out_ga(T710, T712)) → quotG_out_ga(s(s(s(s(s(T710))))), s(T712))
U15_gga(T609, T611, quotG_out_ga(T609, T611)) → quotB_out_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611))
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0)
quotB_in_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → U16_gga(T787, T789, quotH_in_ga(T787, T789))
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(0))), 0) → quotH_out_ga(s(s(s(0))), 0)
quotH_in_ga(s(s(s(s(0)))), 0) → quotH_out_ga(s(s(s(s(0)))), 0)
quotH_in_ga(s(s(s(s(s(0))))), 0) → quotH_out_ga(s(s(s(s(s(0))))), 0)
quotH_in_ga(s(s(s(s(s(s(T906)))))), s(T908)) → U7_ga(T906, T908, quotH_in_ga(T906, T908))
U7_ga(T906, T908, quotH_out_ga(T906, T908)) → quotH_out_ga(s(s(s(s(s(s(T906)))))), s(T908))
U16_gga(T787, T789, quotH_out_ga(T787, T789)) → quotB_out_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789))
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → U17_gga(T983, T985, quotI_in_ga(T983, T985))
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(0)), 0) → quotI_out_ga(s(s(0)), 0)
quotI_in_ga(s(s(s(0))), 0) → quotI_out_ga(s(s(s(0))), 0)
quotI_in_ga(s(s(s(s(0)))), 0) → quotI_out_ga(s(s(s(s(0)))), 0)
quotI_in_ga(s(s(s(s(s(0))))), 0) → quotI_out_ga(s(s(s(s(s(0))))), 0)
quotI_in_ga(s(s(s(s(s(s(0)))))), 0) → quotI_out_ga(s(s(s(s(s(s(0)))))), 0)
quotI_in_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → U8_ga(T1120, T1122, quotI_in_ga(T1120, T1122))
U8_ga(T1120, T1122, quotI_out_ga(T1120, T1122)) → quotI_out_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122))
U17_gga(T983, T985, quotI_out_ga(T983, T985)) → quotB_out_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985))
quotB_in_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → U18_gga(T1176, T1181, T1149, quotJ_in_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149))
quotJ_in_ggga(0, s(T1197), T1198, 0) → quotJ_out_ggga(0, s(T1197), T1198, 0)
quotJ_in_ggga(T1211, 0, T1212, s(T1214)) → U9_ggga(T1211, T1212, T1214, quotB_in_gga(T1211, s(T1212), T1214))
U9_ggga(T1211, T1212, T1214, quotB_out_gga(T1211, s(T1212), T1214)) → quotJ_out_ggga(T1211, 0, T1212, s(T1214))
quotJ_in_ggga(s(T1261), s(T1266), T1230, T1232) → U10_ggga(T1261, T1266, T1230, T1232, quotJ_in_ggga(T1261, T1266, T1230, T1232))
U10_ggga(T1261, T1266, T1230, T1232, quotJ_out_ggga(T1261, T1266, T1230, T1232)) → quotJ_out_ggga(s(T1261), s(T1266), T1230, T1232)
U18_gga(T1176, T1181, T1149, quotJ_out_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)) → quotB_out_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTF_IN_GA(s(s(s(s(T532)))), s(T534)) → QUOTF_IN_GA(T532, T534)
QUOTF_IN_GA(s(s(s(s(T532))))) → QUOTF_IN_GA(T532)
From the DPs we obtained the following set of size-change graphs:
QUOTE_IN_GA(s(s(s(T372))), s(T374)) → QUOTE_IN_GA(T372, T374)
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(T68)), 0) → quotB_out_gga(s(0), s(s(T68)), 0)
quotB_in_gga(s(T77), s(0), s(T79)) → U11_gga(T77, T79, quotC_in_ga(T77, T79))
quotC_in_ga(0, 0) → quotC_out_ga(0, 0)
quotC_in_ga(s(T106), s(T108)) → U2_ga(T106, T108, quotC_in_ga(T106, T108))
U2_ga(T106, T108, quotC_out_ga(T106, T108)) → quotC_out_ga(s(T106), s(T108))
U11_gga(T77, T79, quotC_out_ga(T77, T79)) → quotB_out_gga(s(T77), s(0), s(T79))
quotB_in_gga(s(s(0)), s(s(s(T174))), 0) → quotB_out_gga(s(s(0)), s(s(s(T174))), 0)
quotB_in_gga(s(s(T183)), s(s(0)), s(T185)) → U12_gga(T183, T185, quotD_in_ga(T183, T185))
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(T230)), s(T232)) → U3_ga(T230, T232, quotD_in_ga(T230, T232))
U3_ga(T230, T232, quotD_out_ga(T230, T232)) → quotD_out_ga(s(s(T230)), s(T232))
U12_gga(T183, T185, quotD_out_ga(T183, T185)) → quotB_out_gga(s(s(T183)), s(s(0)), s(T185))
quotB_in_gga(s(s(s(0))), s(s(s(s(T298)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T298)))), 0)
quotB_in_gga(s(s(s(T307))), s(s(s(0))), s(T309)) → U13_gga(T307, T309, quotE_in_ga(T307, T309))
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(T372))), s(T374)) → U4_ga(T372, T374, quotE_in_ga(T372, T374))
U4_ga(T372, T374, quotE_out_ga(T372, T374)) → quotE_out_ga(s(s(s(T372))), s(T374))
U13_gga(T307, T309, quotE_out_ga(T307, T309)) → quotB_out_gga(s(s(s(T307))), s(s(s(0))), s(T309))
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0)
quotB_in_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → U14_gga(T449, T451, quotF_in_ga(T449, T451))
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(T532)))), s(T534)) → U5_ga(T532, T534, quotF_in_ga(T532, T534))
U5_ga(T532, T534, quotF_out_ga(T532, T534)) → quotF_out_ga(s(s(s(s(T532)))), s(T534))
U14_gga(T449, T451, quotF_out_ga(T449, T451)) → quotB_out_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451))
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0)
quotB_in_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → U15_gga(T609, T611, quotG_in_ga(T609, T611))
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(0)))), 0) → quotG_out_ga(s(s(s(s(0)))), 0)
quotG_in_ga(s(s(s(s(s(T710))))), s(T712)) → U6_ga(T710, T712, quotG_in_ga(T710, T712))
U6_ga(T710, T712, quotG_out_ga(T710, T712)) → quotG_out_ga(s(s(s(s(s(T710))))), s(T712))
U15_gga(T609, T611, quotG_out_ga(T609, T611)) → quotB_out_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611))
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0)
quotB_in_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → U16_gga(T787, T789, quotH_in_ga(T787, T789))
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(0))), 0) → quotH_out_ga(s(s(s(0))), 0)
quotH_in_ga(s(s(s(s(0)))), 0) → quotH_out_ga(s(s(s(s(0)))), 0)
quotH_in_ga(s(s(s(s(s(0))))), 0) → quotH_out_ga(s(s(s(s(s(0))))), 0)
quotH_in_ga(s(s(s(s(s(s(T906)))))), s(T908)) → U7_ga(T906, T908, quotH_in_ga(T906, T908))
U7_ga(T906, T908, quotH_out_ga(T906, T908)) → quotH_out_ga(s(s(s(s(s(s(T906)))))), s(T908))
U16_gga(T787, T789, quotH_out_ga(T787, T789)) → quotB_out_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789))
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → U17_gga(T983, T985, quotI_in_ga(T983, T985))
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(0)), 0) → quotI_out_ga(s(s(0)), 0)
quotI_in_ga(s(s(s(0))), 0) → quotI_out_ga(s(s(s(0))), 0)
quotI_in_ga(s(s(s(s(0)))), 0) → quotI_out_ga(s(s(s(s(0)))), 0)
quotI_in_ga(s(s(s(s(s(0))))), 0) → quotI_out_ga(s(s(s(s(s(0))))), 0)
quotI_in_ga(s(s(s(s(s(s(0)))))), 0) → quotI_out_ga(s(s(s(s(s(s(0)))))), 0)
quotI_in_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → U8_ga(T1120, T1122, quotI_in_ga(T1120, T1122))
U8_ga(T1120, T1122, quotI_out_ga(T1120, T1122)) → quotI_out_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122))
U17_gga(T983, T985, quotI_out_ga(T983, T985)) → quotB_out_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985))
quotB_in_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → U18_gga(T1176, T1181, T1149, quotJ_in_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149))
quotJ_in_ggga(0, s(T1197), T1198, 0) → quotJ_out_ggga(0, s(T1197), T1198, 0)
quotJ_in_ggga(T1211, 0, T1212, s(T1214)) → U9_ggga(T1211, T1212, T1214, quotB_in_gga(T1211, s(T1212), T1214))
U9_ggga(T1211, T1212, T1214, quotB_out_gga(T1211, s(T1212), T1214)) → quotJ_out_ggga(T1211, 0, T1212, s(T1214))
quotJ_in_ggga(s(T1261), s(T1266), T1230, T1232) → U10_ggga(T1261, T1266, T1230, T1232, quotJ_in_ggga(T1261, T1266, T1230, T1232))
U10_ggga(T1261, T1266, T1230, T1232, quotJ_out_ggga(T1261, T1266, T1230, T1232)) → quotJ_out_ggga(s(T1261), s(T1266), T1230, T1232)
U18_gga(T1176, T1181, T1149, quotJ_out_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)) → quotB_out_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTE_IN_GA(s(s(s(T372))), s(T374)) → QUOTE_IN_GA(T372, T374)
QUOTE_IN_GA(s(s(s(T372)))) → QUOTE_IN_GA(T372)
From the DPs we obtained the following set of size-change graphs:
QUOTD_IN_GA(s(s(T230)), s(T232)) → QUOTD_IN_GA(T230, T232)
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(T68)), 0) → quotB_out_gga(s(0), s(s(T68)), 0)
quotB_in_gga(s(T77), s(0), s(T79)) → U11_gga(T77, T79, quotC_in_ga(T77, T79))
quotC_in_ga(0, 0) → quotC_out_ga(0, 0)
quotC_in_ga(s(T106), s(T108)) → U2_ga(T106, T108, quotC_in_ga(T106, T108))
U2_ga(T106, T108, quotC_out_ga(T106, T108)) → quotC_out_ga(s(T106), s(T108))
U11_gga(T77, T79, quotC_out_ga(T77, T79)) → quotB_out_gga(s(T77), s(0), s(T79))
quotB_in_gga(s(s(0)), s(s(s(T174))), 0) → quotB_out_gga(s(s(0)), s(s(s(T174))), 0)
quotB_in_gga(s(s(T183)), s(s(0)), s(T185)) → U12_gga(T183, T185, quotD_in_ga(T183, T185))
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(T230)), s(T232)) → U3_ga(T230, T232, quotD_in_ga(T230, T232))
U3_ga(T230, T232, quotD_out_ga(T230, T232)) → quotD_out_ga(s(s(T230)), s(T232))
U12_gga(T183, T185, quotD_out_ga(T183, T185)) → quotB_out_gga(s(s(T183)), s(s(0)), s(T185))
quotB_in_gga(s(s(s(0))), s(s(s(s(T298)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T298)))), 0)
quotB_in_gga(s(s(s(T307))), s(s(s(0))), s(T309)) → U13_gga(T307, T309, quotE_in_ga(T307, T309))
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(T372))), s(T374)) → U4_ga(T372, T374, quotE_in_ga(T372, T374))
U4_ga(T372, T374, quotE_out_ga(T372, T374)) → quotE_out_ga(s(s(s(T372))), s(T374))
U13_gga(T307, T309, quotE_out_ga(T307, T309)) → quotB_out_gga(s(s(s(T307))), s(s(s(0))), s(T309))
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0)
quotB_in_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → U14_gga(T449, T451, quotF_in_ga(T449, T451))
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(T532)))), s(T534)) → U5_ga(T532, T534, quotF_in_ga(T532, T534))
U5_ga(T532, T534, quotF_out_ga(T532, T534)) → quotF_out_ga(s(s(s(s(T532)))), s(T534))
U14_gga(T449, T451, quotF_out_ga(T449, T451)) → quotB_out_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451))
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0)
quotB_in_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → U15_gga(T609, T611, quotG_in_ga(T609, T611))
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(0)))), 0) → quotG_out_ga(s(s(s(s(0)))), 0)
quotG_in_ga(s(s(s(s(s(T710))))), s(T712)) → U6_ga(T710, T712, quotG_in_ga(T710, T712))
U6_ga(T710, T712, quotG_out_ga(T710, T712)) → quotG_out_ga(s(s(s(s(s(T710))))), s(T712))
U15_gga(T609, T611, quotG_out_ga(T609, T611)) → quotB_out_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611))
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0)
quotB_in_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → U16_gga(T787, T789, quotH_in_ga(T787, T789))
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(0))), 0) → quotH_out_ga(s(s(s(0))), 0)
quotH_in_ga(s(s(s(s(0)))), 0) → quotH_out_ga(s(s(s(s(0)))), 0)
quotH_in_ga(s(s(s(s(s(0))))), 0) → quotH_out_ga(s(s(s(s(s(0))))), 0)
quotH_in_ga(s(s(s(s(s(s(T906)))))), s(T908)) → U7_ga(T906, T908, quotH_in_ga(T906, T908))
U7_ga(T906, T908, quotH_out_ga(T906, T908)) → quotH_out_ga(s(s(s(s(s(s(T906)))))), s(T908))
U16_gga(T787, T789, quotH_out_ga(T787, T789)) → quotB_out_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789))
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → U17_gga(T983, T985, quotI_in_ga(T983, T985))
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(0)), 0) → quotI_out_ga(s(s(0)), 0)
quotI_in_ga(s(s(s(0))), 0) → quotI_out_ga(s(s(s(0))), 0)
quotI_in_ga(s(s(s(s(0)))), 0) → quotI_out_ga(s(s(s(s(0)))), 0)
quotI_in_ga(s(s(s(s(s(0))))), 0) → quotI_out_ga(s(s(s(s(s(0))))), 0)
quotI_in_ga(s(s(s(s(s(s(0)))))), 0) → quotI_out_ga(s(s(s(s(s(s(0)))))), 0)
quotI_in_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → U8_ga(T1120, T1122, quotI_in_ga(T1120, T1122))
U8_ga(T1120, T1122, quotI_out_ga(T1120, T1122)) → quotI_out_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122))
U17_gga(T983, T985, quotI_out_ga(T983, T985)) → quotB_out_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985))
quotB_in_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → U18_gga(T1176, T1181, T1149, quotJ_in_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149))
quotJ_in_ggga(0, s(T1197), T1198, 0) → quotJ_out_ggga(0, s(T1197), T1198, 0)
quotJ_in_ggga(T1211, 0, T1212, s(T1214)) → U9_ggga(T1211, T1212, T1214, quotB_in_gga(T1211, s(T1212), T1214))
U9_ggga(T1211, T1212, T1214, quotB_out_gga(T1211, s(T1212), T1214)) → quotJ_out_ggga(T1211, 0, T1212, s(T1214))
quotJ_in_ggga(s(T1261), s(T1266), T1230, T1232) → U10_ggga(T1261, T1266, T1230, T1232, quotJ_in_ggga(T1261, T1266, T1230, T1232))
U10_ggga(T1261, T1266, T1230, T1232, quotJ_out_ggga(T1261, T1266, T1230, T1232)) → quotJ_out_ggga(s(T1261), s(T1266), T1230, T1232)
U18_gga(T1176, T1181, T1149, quotJ_out_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)) → quotB_out_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTD_IN_GA(s(s(T230)), s(T232)) → QUOTD_IN_GA(T230, T232)
QUOTD_IN_GA(s(s(T230))) → QUOTD_IN_GA(T230)
From the DPs we obtained the following set of size-change graphs:
QUOTC_IN_GA(s(T106), s(T108)) → QUOTC_IN_GA(T106, T108)
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(T68)), 0) → quotB_out_gga(s(0), s(s(T68)), 0)
quotB_in_gga(s(T77), s(0), s(T79)) → U11_gga(T77, T79, quotC_in_ga(T77, T79))
quotC_in_ga(0, 0) → quotC_out_ga(0, 0)
quotC_in_ga(s(T106), s(T108)) → U2_ga(T106, T108, quotC_in_ga(T106, T108))
U2_ga(T106, T108, quotC_out_ga(T106, T108)) → quotC_out_ga(s(T106), s(T108))
U11_gga(T77, T79, quotC_out_ga(T77, T79)) → quotB_out_gga(s(T77), s(0), s(T79))
quotB_in_gga(s(s(0)), s(s(s(T174))), 0) → quotB_out_gga(s(s(0)), s(s(s(T174))), 0)
quotB_in_gga(s(s(T183)), s(s(0)), s(T185)) → U12_gga(T183, T185, quotD_in_ga(T183, T185))
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(T230)), s(T232)) → U3_ga(T230, T232, quotD_in_ga(T230, T232))
U3_ga(T230, T232, quotD_out_ga(T230, T232)) → quotD_out_ga(s(s(T230)), s(T232))
U12_gga(T183, T185, quotD_out_ga(T183, T185)) → quotB_out_gga(s(s(T183)), s(s(0)), s(T185))
quotB_in_gga(s(s(s(0))), s(s(s(s(T298)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T298)))), 0)
quotB_in_gga(s(s(s(T307))), s(s(s(0))), s(T309)) → U13_gga(T307, T309, quotE_in_ga(T307, T309))
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(T372))), s(T374)) → U4_ga(T372, T374, quotE_in_ga(T372, T374))
U4_ga(T372, T374, quotE_out_ga(T372, T374)) → quotE_out_ga(s(s(s(T372))), s(T374))
U13_gga(T307, T309, quotE_out_ga(T307, T309)) → quotB_out_gga(s(s(s(T307))), s(s(s(0))), s(T309))
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0)
quotB_in_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → U14_gga(T449, T451, quotF_in_ga(T449, T451))
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(T532)))), s(T534)) → U5_ga(T532, T534, quotF_in_ga(T532, T534))
U5_ga(T532, T534, quotF_out_ga(T532, T534)) → quotF_out_ga(s(s(s(s(T532)))), s(T534))
U14_gga(T449, T451, quotF_out_ga(T449, T451)) → quotB_out_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451))
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0)
quotB_in_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → U15_gga(T609, T611, quotG_in_ga(T609, T611))
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(0)))), 0) → quotG_out_ga(s(s(s(s(0)))), 0)
quotG_in_ga(s(s(s(s(s(T710))))), s(T712)) → U6_ga(T710, T712, quotG_in_ga(T710, T712))
U6_ga(T710, T712, quotG_out_ga(T710, T712)) → quotG_out_ga(s(s(s(s(s(T710))))), s(T712))
U15_gga(T609, T611, quotG_out_ga(T609, T611)) → quotB_out_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611))
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0)
quotB_in_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → U16_gga(T787, T789, quotH_in_ga(T787, T789))
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(0))), 0) → quotH_out_ga(s(s(s(0))), 0)
quotH_in_ga(s(s(s(s(0)))), 0) → quotH_out_ga(s(s(s(s(0)))), 0)
quotH_in_ga(s(s(s(s(s(0))))), 0) → quotH_out_ga(s(s(s(s(s(0))))), 0)
quotH_in_ga(s(s(s(s(s(s(T906)))))), s(T908)) → U7_ga(T906, T908, quotH_in_ga(T906, T908))
U7_ga(T906, T908, quotH_out_ga(T906, T908)) → quotH_out_ga(s(s(s(s(s(s(T906)))))), s(T908))
U16_gga(T787, T789, quotH_out_ga(T787, T789)) → quotB_out_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789))
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → U17_gga(T983, T985, quotI_in_ga(T983, T985))
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(0)), 0) → quotI_out_ga(s(s(0)), 0)
quotI_in_ga(s(s(s(0))), 0) → quotI_out_ga(s(s(s(0))), 0)
quotI_in_ga(s(s(s(s(0)))), 0) → quotI_out_ga(s(s(s(s(0)))), 0)
quotI_in_ga(s(s(s(s(s(0))))), 0) → quotI_out_ga(s(s(s(s(s(0))))), 0)
quotI_in_ga(s(s(s(s(s(s(0)))))), 0) → quotI_out_ga(s(s(s(s(s(s(0)))))), 0)
quotI_in_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → U8_ga(T1120, T1122, quotI_in_ga(T1120, T1122))
U8_ga(T1120, T1122, quotI_out_ga(T1120, T1122)) → quotI_out_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122))
U17_gga(T983, T985, quotI_out_ga(T983, T985)) → quotB_out_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985))
quotB_in_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → U18_gga(T1176, T1181, T1149, quotJ_in_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149))
quotJ_in_ggga(0, s(T1197), T1198, 0) → quotJ_out_ggga(0, s(T1197), T1198, 0)
quotJ_in_ggga(T1211, 0, T1212, s(T1214)) → U9_ggga(T1211, T1212, T1214, quotB_in_gga(T1211, s(T1212), T1214))
U9_ggga(T1211, T1212, T1214, quotB_out_gga(T1211, s(T1212), T1214)) → quotJ_out_ggga(T1211, 0, T1212, s(T1214))
quotJ_in_ggga(s(T1261), s(T1266), T1230, T1232) → U10_ggga(T1261, T1266, T1230, T1232, quotJ_in_ggga(T1261, T1266, T1230, T1232))
U10_ggga(T1261, T1266, T1230, T1232, quotJ_out_ggga(T1261, T1266, T1230, T1232)) → quotJ_out_ggga(s(T1261), s(T1266), T1230, T1232)
U18_gga(T1176, T1181, T1149, quotJ_out_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)) → quotB_out_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149)
U1_gga(T7, T8, T10, quotB_out_gga(T7, T8, T10)) → divA_out_gga(T7, T8, T10)
QUOTC_IN_GA(s(T106), s(T108)) → QUOTC_IN_GA(T106, T108)
QUOTC_IN_GA(s(T106)) → QUOTC_IN_GA(T106)
From the DPs we obtained the following set of size-change graphs:
QUOTB_IN_GGA(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → QUOTJ_IN_GGGA(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)
QUOTJ_IN_GGGA(T1211, 0, T1212, s(T1214)) → QUOTB_IN_GGA(T1211, s(T1212), T1214)
QUOTJ_IN_GGGA(s(T1261), s(T1266), T1230, T1232) → QUOTJ_IN_GGGA(T1261, T1266, T1230, T1232)
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(T68)), 0) → quotB_out_gga(s(0), s(s(T68)), 0)
quotB_in_gga(s(T77), s(0), s(T79)) → U11_gga(T77, T79, quotC_in_ga(T77, T79))
quotC_in_ga(0, 0) → quotC_out_ga(0, 0)
quotC_in_ga(s(T106), s(T108)) → U2_ga(T106, T108, quotC_in_ga(T106, T108))
U2_ga(T106, T108, quotC_out_ga(T106, T108)) → quotC_out_ga(s(T106), s(T108))
U11_gga(T77, T79, quotC_out_ga(T77, T79)) → quotB_out_gga(s(T77), s(0), s(T79))
quotB_in_gga(s(s(0)), s(s(s(T174))), 0) → quotB_out_gga(s(s(0)), s(s(s(T174))), 0)
quotB_in_gga(s(s(T183)), s(s(0)), s(T185)) → U12_gga(T183, T185, quotD_in_ga(T183, T185))
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(T230)), s(T232)) → U3_ga(T230, T232, quotD_in_ga(T230, T232))
U3_ga(T230, T232, quotD_out_ga(T230, T232)) → quotD_out_ga(s(s(T230)), s(T232))
U12_gga(T183, T185, quotD_out_ga(T183, T185)) → quotB_out_gga(s(s(T183)), s(s(0)), s(T185))
quotB_in_gga(s(s(s(0))), s(s(s(s(T298)))), 0) → quotB_out_gga(s(s(s(0))), s(s(s(s(T298)))), 0)
quotB_in_gga(s(s(s(T307))), s(s(s(0))), s(T309)) → U13_gga(T307, T309, quotE_in_ga(T307, T309))
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(T372))), s(T374)) → U4_ga(T372, T374, quotE_in_ga(T372, T374))
U4_ga(T372, T374, quotE_out_ga(T372, T374)) → quotE_out_ga(s(s(s(T372))), s(T374))
U13_gga(T307, T309, quotE_out_ga(T307, T309)) → quotB_out_gga(s(s(s(T307))), s(s(s(0))), s(T309))
quotB_in_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0) → quotB_out_gga(s(s(s(s(0)))), s(s(s(s(s(T440))))), 0)
quotB_in_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451)) → U14_gga(T449, T451, quotF_in_ga(T449, T451))
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(T532)))), s(T534)) → U5_ga(T532, T534, quotF_in_ga(T532, T534))
U5_ga(T532, T534, quotF_out_ga(T532, T534)) → quotF_out_ga(s(s(s(s(T532)))), s(T534))
U14_gga(T449, T451, quotF_out_ga(T449, T451)) → quotB_out_gga(s(s(s(s(T449)))), s(s(s(s(0)))), s(T451))
quotB_in_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0) → quotB_out_gga(s(s(s(s(s(0))))), s(s(s(s(s(s(T600)))))), 0)
quotB_in_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611)) → U15_gga(T609, T611, quotG_in_ga(T609, T611))
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(0)))), 0) → quotG_out_ga(s(s(s(s(0)))), 0)
quotG_in_ga(s(s(s(s(s(T710))))), s(T712)) → U6_ga(T710, T712, quotG_in_ga(T710, T712))
U6_ga(T710, T712, quotG_out_ga(T710, T712)) → quotG_out_ga(s(s(s(s(s(T710))))), s(T712))
U15_gga(T609, T611, quotG_out_ga(T609, T611)) → quotB_out_gga(s(s(s(s(s(T609))))), s(s(s(s(s(0))))), s(T611))
quotB_in_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0) → quotB_out_gga(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T778))))))), 0)
quotB_in_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789)) → U16_gga(T787, T789, quotH_in_ga(T787, T789))
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(0))), 0) → quotH_out_ga(s(s(s(0))), 0)
quotH_in_ga(s(s(s(s(0)))), 0) → quotH_out_ga(s(s(s(s(0)))), 0)
quotH_in_ga(s(s(s(s(s(0))))), 0) → quotH_out_ga(s(s(s(s(s(0))))), 0)
quotH_in_ga(s(s(s(s(s(s(T906)))))), s(T908)) → U7_ga(T906, T908, quotH_in_ga(T906, T908))
U7_ga(T906, T908, quotH_out_ga(T906, T908)) → quotH_out_ga(s(s(s(s(s(s(T906)))))), s(T908))
U16_gga(T787, T789, quotH_out_ga(T787, T789)) → quotB_out_gga(s(s(s(s(s(s(T787)))))), s(s(s(s(s(s(0)))))), s(T789))
quotB_in_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0) → quotB_out_gga(s(s(s(s(s(s(s(0))))))), s(s(s(s(s(s(s(s(T974)))))))), 0)
quotB_in_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985)) → U17_gga(T983, T985, quotI_in_ga(T983, T985))
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(0)), 0) → quotI_out_ga(s(s(0)), 0)
quotI_in_ga(s(s(s(0))), 0) → quotI_out_ga(s(s(s(0))), 0)
quotI_in_ga(s(s(s(s(0)))), 0) → quotI_out_ga(s(s(s(s(0)))), 0)
quotI_in_ga(s(s(s(s(s(0))))), 0) → quotI_out_ga(s(s(s(s(s(0))))), 0)
quotI_in_ga(s(s(s(s(s(s(0)))))), 0) → quotI_out_ga(s(s(s(s(s(s(0)))))), 0)
quotI_in_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122)) → U8_ga(T1120, T1122, quotI_in_ga(T1120, T1122))
U8_ga(T1120, T1122, quotI_out_ga(T1120, T1122)) → quotI_out_ga(s(s(s(s(s(s(s(T1120))))))), s(T1122))
U17_gga(T983, T985, quotI_out_ga(T983, T985)) → quotB_out_gga(s(s(s(s(s(s(s(T983))))))), s(s(s(s(s(s(s(0))))))), s(T985))
quotB_in_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → U18_gga(T1176, T1181, T1149, quotJ_in_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149))
quotJ_in_ggga(0, s(T1197), T1198, 0) → quotJ_out_ggga(0, s(T1197), T1198, 0)
quotJ_in_ggga(T1211, 0, T1212, s(T1214)) → U9_ggga(T1211, T1212, T1214, quotB_in_gga(T1211, s(T1212), T1214))
U9_ggga(T1211, T1212, T1214, quotB_out_gga(T1211, s(T1212), T1214)) → quotJ_out_ggga(T1211, 0, T1212, s(T1214))
quotJ_in_ggga(s(T1261), s(T1266), T1230, T1232) → U10_ggga(T1261, T1266, T1230, T1232, quotJ_in_ggga(T1261, T1266, T1230, T1232))
U10_ggga(T1261, T1266, T1230, T1232, quotJ_out_ggga(T1261, T1266, T1230, T1232)) → quotJ_out_ggga(s(T1261), s(T1266), T1230, T1232)
U18_gga(T1176, T1181, T1149, quotJ_out_ggga(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)) → quotB_out_gga(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149)
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(T1176)))))))), s(s(s(s(s(s(s(s(T1181)))))))), T1149) → QUOTJ_IN_GGGA(T1176, T1181, s(s(s(s(s(s(s(T1181))))))), T1149)
QUOTJ_IN_GGGA(T1211, 0, T1212, s(T1214)) → QUOTB_IN_GGA(T1211, s(T1212), T1214)
QUOTJ_IN_GGGA(s(T1261), s(T1266), T1230, T1232) → QUOTJ_IN_GGGA(T1261, T1266, T1230, T1232)
QUOTB_IN_GGA(s(s(s(s(s(s(s(s(T1176)))))))), s(s(s(s(s(s(s(s(T1181))))))))) → QUOTJ_IN_GGGA(T1176, T1181, s(s(s(s(s(s(s(T1181))))))))
QUOTJ_IN_GGGA(T1211, 0, T1212) → QUOTB_IN_GGA(T1211, s(T1212))
QUOTJ_IN_GGGA(s(T1261), s(T1266), T1230) → QUOTJ_IN_GGGA(T1261, T1266, T1230)
From the DPs we obtained the following set of size-change graphs: