0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇐)
↳2 Prolog
↳3 PrologToPiTRSProof (⇐)
↳4 PiTRS
↳5 DependencyPairsProof (⇔)
↳6 PiDP
↳7 DependencyGraphProof (⇔)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔)
↳11 PiDP
↳12 PiDPToQDPProof (⇐)
↳13 QDP
↳14 QDPSizeChangeProof (⇔)
↳15 TRUE
↳16 PiDP
↳17 UsableRulesProof (⇔)
↳18 PiDP
↳19 PiDPToQDPProof (⇐)
↳20 QDP
↳21 QDPSizeChangeProof (⇔)
↳22 TRUE
↳23 PiDP
↳24 UsableRulesProof (⇔)
↳25 PiDP
↳26 PiDPToQDPProof (⇐)
↳27 QDP
↳28 QDPSizeChangeProof (⇔)
↳29 TRUE
↳30 PiDP
↳31 UsableRulesProof (⇔)
↳32 PiDP
↳33 PiDPToQDPProof (⇐)
↳34 QDP
↳35 QDPSizeChangeProof (⇔)
↳36 TRUE
↳37 PiDP
↳38 UsableRulesProof (⇔)
↳39 PiDP
↳40 PiDPToQDPProof (⇐)
↳41 QDP
↳42 QDPSizeChangeProof (⇔)
↳43 TRUE
↳44 PiDP
↳45 UsableRulesProof (⇔)
↳46 PiDP
↳47 PiDPToQDPProof (⇐)
↳48 QDP
↳49 QDPSizeChangeProof (⇔)
↳50 TRUE
↳51 PiDP
↳52 UsableRulesProof (⇔)
↳53 PiDP
↳54 PiDPToQDPProof (⇐)
↳55 QDP
↳56 QDPSizeChangeProof (⇔)
↳57 TRUE
↳58 PiDP
↳59 UsableRulesProof (⇔)
↳60 PiDP
↳61 PiDPToQDPProof (⇐)
↳62 QDP
↳63 QDPSizeChangeProof (⇔)
↳64 TRUE
↳65 PiDP
↳66 UsableRulesProof (⇔)
↳67 PiDP
↳68 PiDPToQDPProof (⇐)
↳69 QDP
↳70 MRRProof (⇔)
↳71 QDP
↳72 PisEmptyProof (⇔)
↳73 TRUE
div1_in_ggaa(0, T10, 0, 0) → div1_out_ggaa(0, T10, 0, 0)
div1_in_ggaa(s(T29), s(0), s(T15), T16) → U1_ggaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_ggaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
div1_in_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_ggaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
div1_in_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_ggaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
div1_in_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_ggaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_ggaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
minus107_in_gga(T49, 0, T49) → minus107_out_gga(T49, 0, T49)
minus107_in_gga(s(T50), s(T51), X131) → U10_gga(T50, T51, X131, minus107_in_gga(T50, T51, X131))
U10_gga(T50, T51, X131, minus107_out_gga(T50, T51, X131)) → minus107_out_gga(s(T50), s(T51), X131)
U7_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, X121)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_ggaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(0, T10, 0, 0) → div1_out_gaaa(0, T10, 0, 0)
div1_in_gaaa(s(T29), s(0), s(T15), T16) → U1_gaaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_ggaa(s(T91), s(T93), T89, s(T91)) → div1_out_ggaa(s(T91), s(T93), T89, s(T91))
div1_in_ggaa(T98, T100, T96, T98) → div1_out_ggaa(T98, T100, T96, T98)
U1_gaaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_gaaa(s(T29), s(0), s(T15), T16)
div1_in_gaaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_gaaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
U2_gaaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_gaaa(s(s(T32)), s(s(0)), s(T15), T16)
div1_in_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_gaaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
U3_gaaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
div1_in_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_gaaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
U4_gaaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_gaaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
U5_gaaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_gaaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
U6_gaaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
minus107_in_gaa(T49, 0, T49) → minus107_out_gaa(T49, 0, T49)
minus107_in_gaa(s(T50), s(T51), X131) → U10_gaa(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
U10_gaa(T50, T51, X131, minus107_out_gaa(T50, T51, X131)) → minus107_out_gaa(s(T50), s(T51), X131)
U7_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, X121)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_gaaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_gaaa(s(T91), s(T93), T89, s(T91)) → div1_out_gaaa(s(T91), s(T93), T89, s(T91))
div1_in_gaaa(T98, T100, T96, T98) → div1_out_gaaa(T98, T100, T96, T98)
U9_gaaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U9_ggaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U6_ggaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
U5_ggaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
U4_ggaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
U3_ggaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
U2_ggaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_ggaa(s(s(T32)), s(s(0)), s(T15), T16)
U1_ggaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_ggaa(s(T29), s(0), s(T15), T16)
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
div1_in_ggaa(0, T10, 0, 0) → div1_out_ggaa(0, T10, 0, 0)
div1_in_ggaa(s(T29), s(0), s(T15), T16) → U1_ggaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_ggaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
div1_in_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_ggaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
div1_in_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_ggaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
div1_in_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_ggaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_ggaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
minus107_in_gga(T49, 0, T49) → minus107_out_gga(T49, 0, T49)
minus107_in_gga(s(T50), s(T51), X131) → U10_gga(T50, T51, X131, minus107_in_gga(T50, T51, X131))
U10_gga(T50, T51, X131, minus107_out_gga(T50, T51, X131)) → minus107_out_gga(s(T50), s(T51), X131)
U7_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, X121)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_ggaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(0, T10, 0, 0) → div1_out_gaaa(0, T10, 0, 0)
div1_in_gaaa(s(T29), s(0), s(T15), T16) → U1_gaaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_ggaa(s(T91), s(T93), T89, s(T91)) → div1_out_ggaa(s(T91), s(T93), T89, s(T91))
div1_in_ggaa(T98, T100, T96, T98) → div1_out_ggaa(T98, T100, T96, T98)
U1_gaaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_gaaa(s(T29), s(0), s(T15), T16)
div1_in_gaaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_gaaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
U2_gaaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_gaaa(s(s(T32)), s(s(0)), s(T15), T16)
div1_in_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_gaaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
U3_gaaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
div1_in_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_gaaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
U4_gaaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_gaaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
U5_gaaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_gaaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
U6_gaaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
minus107_in_gaa(T49, 0, T49) → minus107_out_gaa(T49, 0, T49)
minus107_in_gaa(s(T50), s(T51), X131) → U10_gaa(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
U10_gaa(T50, T51, X131, minus107_out_gaa(T50, T51, X131)) → minus107_out_gaa(s(T50), s(T51), X131)
U7_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, X121)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_gaaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_gaaa(s(T91), s(T93), T89, s(T91)) → div1_out_gaaa(s(T91), s(T93), T89, s(T91))
div1_in_gaaa(T98, T100, T96, T98) → div1_out_gaaa(T98, T100, T96, T98)
U9_gaaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U9_ggaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U6_ggaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
U5_ggaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
U4_ggaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
U3_ggaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
U2_ggaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_ggaa(s(s(T32)), s(s(0)), s(T15), T16)
U1_ggaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_ggaa(s(T29), s(0), s(T15), T16)
DIV1_IN_GGAA(s(T29), s(0), s(T15), T16) → U1_GGAA(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
DIV1_IN_GGAA(s(T29), s(0), s(T15), T16) → DIV1_IN_GGAA(T29, s(0), T15, T16)
DIV1_IN_GGAA(s(s(T32)), s(s(0)), s(T15), T16) → U2_GGAA(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
DIV1_IN_GGAA(s(s(T32)), s(s(0)), s(T15), T16) → DIV1_IN_GGAA(T32, s(s(0)), T15, T16)
DIV1_IN_GGAA(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_GGAA(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
DIV1_IN_GGAA(s(s(s(T35))), s(s(s(0))), s(T15), T16) → DIV1_IN_GGAA(T35, s(s(s(0))), T15, T16)
DIV1_IN_GGAA(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_GGAA(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
DIV1_IN_GGAA(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → DIV1_IN_GGAA(T38, s(s(s(s(0)))), T15, T16)
DIV1_IN_GGAA(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_GGAA(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
DIV1_IN_GGAA(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → DIV1_IN_GGAA(T41, s(s(s(s(s(0))))), T15, T16)
DIV1_IN_GGAA(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_GGAA(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
DIV1_IN_GGAA(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → DIV1_IN_GGAA(T44, s(s(s(s(s(s(0)))))), T15, T16)
DIV1_IN_GGAA(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_GGAA(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
DIV1_IN_GGAA(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → MINUS107_IN_GGA(T45, T46, X121)
MINUS107_IN_GGA(s(T50), s(T51), X131) → U10_GGA(T50, T51, X131, minus107_in_gga(T50, T51, X131))
MINUS107_IN_GGA(s(T50), s(T51), X131) → MINUS107_IN_GGA(T50, T51, X131)
DIV1_IN_GGAA(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_GGAA(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_GGAA(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_GGAA(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
U8_GGAA(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → DIV1_IN_GAAA(T48, s(T47), T15, T16)
DIV1_IN_GAAA(s(T29), s(0), s(T15), T16) → U1_GAAA(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
DIV1_IN_GAAA(s(T29), s(0), s(T15), T16) → DIV1_IN_GGAA(T29, s(0), T15, T16)
DIV1_IN_GAAA(s(s(T32)), s(s(0)), s(T15), T16) → U2_GAAA(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
DIV1_IN_GAAA(s(s(T32)), s(s(0)), s(T15), T16) → DIV1_IN_GGAA(T32, s(s(0)), T15, T16)
DIV1_IN_GAAA(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_GAAA(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
DIV1_IN_GAAA(s(s(s(T35))), s(s(s(0))), s(T15), T16) → DIV1_IN_GGAA(T35, s(s(s(0))), T15, T16)
DIV1_IN_GAAA(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_GAAA(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
DIV1_IN_GAAA(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → DIV1_IN_GGAA(T38, s(s(s(s(0)))), T15, T16)
DIV1_IN_GAAA(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_GAAA(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
DIV1_IN_GAAA(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → DIV1_IN_GGAA(T41, s(s(s(s(s(0))))), T15, T16)
DIV1_IN_GAAA(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_GAAA(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
DIV1_IN_GAAA(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → DIV1_IN_GGAA(T44, s(s(s(s(s(s(0)))))), T15, T16)
DIV1_IN_GAAA(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_GAAA(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
DIV1_IN_GAAA(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → MINUS107_IN_GAA(T45, T46, X121)
MINUS107_IN_GAA(s(T50), s(T51), X131) → U10_GAA(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
MINUS107_IN_GAA(s(T50), s(T51), X131) → MINUS107_IN_GAA(T50, T51, X131)
DIV1_IN_GAAA(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_GAAA(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_GAAA(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_GAAA(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
U8_GAAA(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → DIV1_IN_GAAA(T48, s(T47), T15, T16)
div1_in_ggaa(0, T10, 0, 0) → div1_out_ggaa(0, T10, 0, 0)
div1_in_ggaa(s(T29), s(0), s(T15), T16) → U1_ggaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_ggaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
div1_in_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_ggaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
div1_in_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_ggaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
div1_in_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_ggaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_ggaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
minus107_in_gga(T49, 0, T49) → minus107_out_gga(T49, 0, T49)
minus107_in_gga(s(T50), s(T51), X131) → U10_gga(T50, T51, X131, minus107_in_gga(T50, T51, X131))
U10_gga(T50, T51, X131, minus107_out_gga(T50, T51, X131)) → minus107_out_gga(s(T50), s(T51), X131)
U7_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, X121)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_ggaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(0, T10, 0, 0) → div1_out_gaaa(0, T10, 0, 0)
div1_in_gaaa(s(T29), s(0), s(T15), T16) → U1_gaaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_ggaa(s(T91), s(T93), T89, s(T91)) → div1_out_ggaa(s(T91), s(T93), T89, s(T91))
div1_in_ggaa(T98, T100, T96, T98) → div1_out_ggaa(T98, T100, T96, T98)
U1_gaaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_gaaa(s(T29), s(0), s(T15), T16)
div1_in_gaaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_gaaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
U2_gaaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_gaaa(s(s(T32)), s(s(0)), s(T15), T16)
div1_in_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_gaaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
U3_gaaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
div1_in_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_gaaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
U4_gaaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_gaaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
U5_gaaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_gaaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
U6_gaaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
minus107_in_gaa(T49, 0, T49) → minus107_out_gaa(T49, 0, T49)
minus107_in_gaa(s(T50), s(T51), X131) → U10_gaa(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
U10_gaa(T50, T51, X131, minus107_out_gaa(T50, T51, X131)) → minus107_out_gaa(s(T50), s(T51), X131)
U7_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, X121)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_gaaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_gaaa(s(T91), s(T93), T89, s(T91)) → div1_out_gaaa(s(T91), s(T93), T89, s(T91))
div1_in_gaaa(T98, T100, T96, T98) → div1_out_gaaa(T98, T100, T96, T98)
U9_gaaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U9_ggaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U6_ggaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
U5_ggaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
U4_ggaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
U3_ggaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
U2_ggaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_ggaa(s(s(T32)), s(s(0)), s(T15), T16)
U1_ggaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_ggaa(s(T29), s(0), s(T15), T16)
DIV1_IN_GGAA(s(T29), s(0), s(T15), T16) → U1_GGAA(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
DIV1_IN_GGAA(s(T29), s(0), s(T15), T16) → DIV1_IN_GGAA(T29, s(0), T15, T16)
DIV1_IN_GGAA(s(s(T32)), s(s(0)), s(T15), T16) → U2_GGAA(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
DIV1_IN_GGAA(s(s(T32)), s(s(0)), s(T15), T16) → DIV1_IN_GGAA(T32, s(s(0)), T15, T16)
DIV1_IN_GGAA(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_GGAA(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
DIV1_IN_GGAA(s(s(s(T35))), s(s(s(0))), s(T15), T16) → DIV1_IN_GGAA(T35, s(s(s(0))), T15, T16)
DIV1_IN_GGAA(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_GGAA(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
DIV1_IN_GGAA(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → DIV1_IN_GGAA(T38, s(s(s(s(0)))), T15, T16)
DIV1_IN_GGAA(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_GGAA(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
DIV1_IN_GGAA(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → DIV1_IN_GGAA(T41, s(s(s(s(s(0))))), T15, T16)
DIV1_IN_GGAA(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_GGAA(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
DIV1_IN_GGAA(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → DIV1_IN_GGAA(T44, s(s(s(s(s(s(0)))))), T15, T16)
DIV1_IN_GGAA(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_GGAA(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
DIV1_IN_GGAA(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → MINUS107_IN_GGA(T45, T46, X121)
MINUS107_IN_GGA(s(T50), s(T51), X131) → U10_GGA(T50, T51, X131, minus107_in_gga(T50, T51, X131))
MINUS107_IN_GGA(s(T50), s(T51), X131) → MINUS107_IN_GGA(T50, T51, X131)
DIV1_IN_GGAA(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_GGAA(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_GGAA(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_GGAA(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
U8_GGAA(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → DIV1_IN_GAAA(T48, s(T47), T15, T16)
DIV1_IN_GAAA(s(T29), s(0), s(T15), T16) → U1_GAAA(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
DIV1_IN_GAAA(s(T29), s(0), s(T15), T16) → DIV1_IN_GGAA(T29, s(0), T15, T16)
DIV1_IN_GAAA(s(s(T32)), s(s(0)), s(T15), T16) → U2_GAAA(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
DIV1_IN_GAAA(s(s(T32)), s(s(0)), s(T15), T16) → DIV1_IN_GGAA(T32, s(s(0)), T15, T16)
DIV1_IN_GAAA(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_GAAA(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
DIV1_IN_GAAA(s(s(s(T35))), s(s(s(0))), s(T15), T16) → DIV1_IN_GGAA(T35, s(s(s(0))), T15, T16)
DIV1_IN_GAAA(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_GAAA(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
DIV1_IN_GAAA(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → DIV1_IN_GGAA(T38, s(s(s(s(0)))), T15, T16)
DIV1_IN_GAAA(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_GAAA(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
DIV1_IN_GAAA(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → DIV1_IN_GGAA(T41, s(s(s(s(s(0))))), T15, T16)
DIV1_IN_GAAA(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_GAAA(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
DIV1_IN_GAAA(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → DIV1_IN_GGAA(T44, s(s(s(s(s(s(0)))))), T15, T16)
DIV1_IN_GAAA(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_GAAA(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
DIV1_IN_GAAA(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → MINUS107_IN_GAA(T45, T46, X121)
MINUS107_IN_GAA(s(T50), s(T51), X131) → U10_GAA(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
MINUS107_IN_GAA(s(T50), s(T51), X131) → MINUS107_IN_GAA(T50, T51, X131)
DIV1_IN_GAAA(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_GAAA(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_GAAA(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_GAAA(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
U8_GAAA(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → DIV1_IN_GAAA(T48, s(T47), T15, T16)
div1_in_ggaa(0, T10, 0, 0) → div1_out_ggaa(0, T10, 0, 0)
div1_in_ggaa(s(T29), s(0), s(T15), T16) → U1_ggaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_ggaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
div1_in_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_ggaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
div1_in_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_ggaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
div1_in_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_ggaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_ggaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
minus107_in_gga(T49, 0, T49) → minus107_out_gga(T49, 0, T49)
minus107_in_gga(s(T50), s(T51), X131) → U10_gga(T50, T51, X131, minus107_in_gga(T50, T51, X131))
U10_gga(T50, T51, X131, minus107_out_gga(T50, T51, X131)) → minus107_out_gga(s(T50), s(T51), X131)
U7_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, X121)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_ggaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(0, T10, 0, 0) → div1_out_gaaa(0, T10, 0, 0)
div1_in_gaaa(s(T29), s(0), s(T15), T16) → U1_gaaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_ggaa(s(T91), s(T93), T89, s(T91)) → div1_out_ggaa(s(T91), s(T93), T89, s(T91))
div1_in_ggaa(T98, T100, T96, T98) → div1_out_ggaa(T98, T100, T96, T98)
U1_gaaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_gaaa(s(T29), s(0), s(T15), T16)
div1_in_gaaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_gaaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
U2_gaaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_gaaa(s(s(T32)), s(s(0)), s(T15), T16)
div1_in_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_gaaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
U3_gaaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
div1_in_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_gaaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
U4_gaaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_gaaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
U5_gaaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_gaaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
U6_gaaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
minus107_in_gaa(T49, 0, T49) → minus107_out_gaa(T49, 0, T49)
minus107_in_gaa(s(T50), s(T51), X131) → U10_gaa(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
U10_gaa(T50, T51, X131, minus107_out_gaa(T50, T51, X131)) → minus107_out_gaa(s(T50), s(T51), X131)
U7_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, X121)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_gaaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_gaaa(s(T91), s(T93), T89, s(T91)) → div1_out_gaaa(s(T91), s(T93), T89, s(T91))
div1_in_gaaa(T98, T100, T96, T98) → div1_out_gaaa(T98, T100, T96, T98)
U9_gaaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U9_ggaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U6_ggaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
U5_ggaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
U4_ggaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
U3_ggaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
U2_ggaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_ggaa(s(s(T32)), s(s(0)), s(T15), T16)
U1_ggaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_ggaa(s(T29), s(0), s(T15), T16)
MINUS107_IN_GAA(s(T50), s(T51), X131) → MINUS107_IN_GAA(T50, T51, X131)
div1_in_ggaa(0, T10, 0, 0) → div1_out_ggaa(0, T10, 0, 0)
div1_in_ggaa(s(T29), s(0), s(T15), T16) → U1_ggaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_ggaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
div1_in_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_ggaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
div1_in_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_ggaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
div1_in_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_ggaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_ggaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
minus107_in_gga(T49, 0, T49) → minus107_out_gga(T49, 0, T49)
minus107_in_gga(s(T50), s(T51), X131) → U10_gga(T50, T51, X131, minus107_in_gga(T50, T51, X131))
U10_gga(T50, T51, X131, minus107_out_gga(T50, T51, X131)) → minus107_out_gga(s(T50), s(T51), X131)
U7_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, X121)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_ggaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(0, T10, 0, 0) → div1_out_gaaa(0, T10, 0, 0)
div1_in_gaaa(s(T29), s(0), s(T15), T16) → U1_gaaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_ggaa(s(T91), s(T93), T89, s(T91)) → div1_out_ggaa(s(T91), s(T93), T89, s(T91))
div1_in_ggaa(T98, T100, T96, T98) → div1_out_ggaa(T98, T100, T96, T98)
U1_gaaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_gaaa(s(T29), s(0), s(T15), T16)
div1_in_gaaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_gaaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
U2_gaaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_gaaa(s(s(T32)), s(s(0)), s(T15), T16)
div1_in_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_gaaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
U3_gaaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
div1_in_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_gaaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
U4_gaaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_gaaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
U5_gaaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_gaaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
U6_gaaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
minus107_in_gaa(T49, 0, T49) → minus107_out_gaa(T49, 0, T49)
minus107_in_gaa(s(T50), s(T51), X131) → U10_gaa(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
U10_gaa(T50, T51, X131, minus107_out_gaa(T50, T51, X131)) → minus107_out_gaa(s(T50), s(T51), X131)
U7_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, X121)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_gaaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_gaaa(s(T91), s(T93), T89, s(T91)) → div1_out_gaaa(s(T91), s(T93), T89, s(T91))
div1_in_gaaa(T98, T100, T96, T98) → div1_out_gaaa(T98, T100, T96, T98)
U9_gaaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U9_ggaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U6_ggaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
U5_ggaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
U4_ggaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
U3_ggaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
U2_ggaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_ggaa(s(s(T32)), s(s(0)), s(T15), T16)
U1_ggaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_ggaa(s(T29), s(0), s(T15), T16)
MINUS107_IN_GAA(s(T50), s(T51), X131) → MINUS107_IN_GAA(T50, T51, X131)
MINUS107_IN_GAA(s(T50)) → MINUS107_IN_GAA(T50)
From the DPs we obtained the following set of size-change graphs:
MINUS107_IN_GGA(s(T50), s(T51), X131) → MINUS107_IN_GGA(T50, T51, X131)
div1_in_ggaa(0, T10, 0, 0) → div1_out_ggaa(0, T10, 0, 0)
div1_in_ggaa(s(T29), s(0), s(T15), T16) → U1_ggaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_ggaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
div1_in_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_ggaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
div1_in_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_ggaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
div1_in_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_ggaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_ggaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
minus107_in_gga(T49, 0, T49) → minus107_out_gga(T49, 0, T49)
minus107_in_gga(s(T50), s(T51), X131) → U10_gga(T50, T51, X131, minus107_in_gga(T50, T51, X131))
U10_gga(T50, T51, X131, minus107_out_gga(T50, T51, X131)) → minus107_out_gga(s(T50), s(T51), X131)
U7_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, X121)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_ggaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(0, T10, 0, 0) → div1_out_gaaa(0, T10, 0, 0)
div1_in_gaaa(s(T29), s(0), s(T15), T16) → U1_gaaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_ggaa(s(T91), s(T93), T89, s(T91)) → div1_out_ggaa(s(T91), s(T93), T89, s(T91))
div1_in_ggaa(T98, T100, T96, T98) → div1_out_ggaa(T98, T100, T96, T98)
U1_gaaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_gaaa(s(T29), s(0), s(T15), T16)
div1_in_gaaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_gaaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
U2_gaaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_gaaa(s(s(T32)), s(s(0)), s(T15), T16)
div1_in_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_gaaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
U3_gaaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
div1_in_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_gaaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
U4_gaaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_gaaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
U5_gaaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_gaaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
U6_gaaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
minus107_in_gaa(T49, 0, T49) → minus107_out_gaa(T49, 0, T49)
minus107_in_gaa(s(T50), s(T51), X131) → U10_gaa(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
U10_gaa(T50, T51, X131, minus107_out_gaa(T50, T51, X131)) → minus107_out_gaa(s(T50), s(T51), X131)
U7_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, X121)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_gaaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_gaaa(s(T91), s(T93), T89, s(T91)) → div1_out_gaaa(s(T91), s(T93), T89, s(T91))
div1_in_gaaa(T98, T100, T96, T98) → div1_out_gaaa(T98, T100, T96, T98)
U9_gaaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U9_ggaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U6_ggaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
U5_ggaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
U4_ggaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
U3_ggaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
U2_ggaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_ggaa(s(s(T32)), s(s(0)), s(T15), T16)
U1_ggaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_ggaa(s(T29), s(0), s(T15), T16)
MINUS107_IN_GGA(s(T50), s(T51), X131) → MINUS107_IN_GGA(T50, T51, X131)
MINUS107_IN_GGA(s(T50), s(T51)) → MINUS107_IN_GGA(T50, T51)
From the DPs we obtained the following set of size-change graphs:
DIV1_IN_GGAA(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → DIV1_IN_GGAA(T44, s(s(s(s(s(s(0)))))), T15, T16)
div1_in_ggaa(0, T10, 0, 0) → div1_out_ggaa(0, T10, 0, 0)
div1_in_ggaa(s(T29), s(0), s(T15), T16) → U1_ggaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_ggaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
div1_in_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_ggaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
div1_in_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_ggaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
div1_in_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_ggaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_ggaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
minus107_in_gga(T49, 0, T49) → minus107_out_gga(T49, 0, T49)
minus107_in_gga(s(T50), s(T51), X131) → U10_gga(T50, T51, X131, minus107_in_gga(T50, T51, X131))
U10_gga(T50, T51, X131, minus107_out_gga(T50, T51, X131)) → minus107_out_gga(s(T50), s(T51), X131)
U7_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, X121)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_ggaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(0, T10, 0, 0) → div1_out_gaaa(0, T10, 0, 0)
div1_in_gaaa(s(T29), s(0), s(T15), T16) → U1_gaaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_ggaa(s(T91), s(T93), T89, s(T91)) → div1_out_ggaa(s(T91), s(T93), T89, s(T91))
div1_in_ggaa(T98, T100, T96, T98) → div1_out_ggaa(T98, T100, T96, T98)
U1_gaaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_gaaa(s(T29), s(0), s(T15), T16)
div1_in_gaaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_gaaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
U2_gaaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_gaaa(s(s(T32)), s(s(0)), s(T15), T16)
div1_in_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_gaaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
U3_gaaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
div1_in_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_gaaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
U4_gaaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_gaaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
U5_gaaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_gaaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
U6_gaaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
minus107_in_gaa(T49, 0, T49) → minus107_out_gaa(T49, 0, T49)
minus107_in_gaa(s(T50), s(T51), X131) → U10_gaa(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
U10_gaa(T50, T51, X131, minus107_out_gaa(T50, T51, X131)) → minus107_out_gaa(s(T50), s(T51), X131)
U7_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, X121)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_gaaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_gaaa(s(T91), s(T93), T89, s(T91)) → div1_out_gaaa(s(T91), s(T93), T89, s(T91))
div1_in_gaaa(T98, T100, T96, T98) → div1_out_gaaa(T98, T100, T96, T98)
U9_gaaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U9_ggaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U6_ggaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
U5_ggaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
U4_ggaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
U3_ggaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
U2_ggaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_ggaa(s(s(T32)), s(s(0)), s(T15), T16)
U1_ggaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_ggaa(s(T29), s(0), s(T15), T16)
DIV1_IN_GGAA(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → DIV1_IN_GGAA(T44, s(s(s(s(s(s(0)))))), T15, T16)
DIV1_IN_GGAA(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0))))))) → DIV1_IN_GGAA(T44, s(s(s(s(s(s(0)))))))
From the DPs we obtained the following set of size-change graphs:
DIV1_IN_GGAA(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → DIV1_IN_GGAA(T41, s(s(s(s(s(0))))), T15, T16)
div1_in_ggaa(0, T10, 0, 0) → div1_out_ggaa(0, T10, 0, 0)
div1_in_ggaa(s(T29), s(0), s(T15), T16) → U1_ggaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_ggaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
div1_in_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_ggaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
div1_in_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_ggaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
div1_in_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_ggaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_ggaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
minus107_in_gga(T49, 0, T49) → minus107_out_gga(T49, 0, T49)
minus107_in_gga(s(T50), s(T51), X131) → U10_gga(T50, T51, X131, minus107_in_gga(T50, T51, X131))
U10_gga(T50, T51, X131, minus107_out_gga(T50, T51, X131)) → minus107_out_gga(s(T50), s(T51), X131)
U7_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, X121)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_ggaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(0, T10, 0, 0) → div1_out_gaaa(0, T10, 0, 0)
div1_in_gaaa(s(T29), s(0), s(T15), T16) → U1_gaaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_ggaa(s(T91), s(T93), T89, s(T91)) → div1_out_ggaa(s(T91), s(T93), T89, s(T91))
div1_in_ggaa(T98, T100, T96, T98) → div1_out_ggaa(T98, T100, T96, T98)
U1_gaaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_gaaa(s(T29), s(0), s(T15), T16)
div1_in_gaaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_gaaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
U2_gaaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_gaaa(s(s(T32)), s(s(0)), s(T15), T16)
div1_in_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_gaaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
U3_gaaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
div1_in_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_gaaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
U4_gaaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_gaaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
U5_gaaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_gaaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
U6_gaaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
minus107_in_gaa(T49, 0, T49) → minus107_out_gaa(T49, 0, T49)
minus107_in_gaa(s(T50), s(T51), X131) → U10_gaa(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
U10_gaa(T50, T51, X131, minus107_out_gaa(T50, T51, X131)) → minus107_out_gaa(s(T50), s(T51), X131)
U7_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, X121)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_gaaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_gaaa(s(T91), s(T93), T89, s(T91)) → div1_out_gaaa(s(T91), s(T93), T89, s(T91))
div1_in_gaaa(T98, T100, T96, T98) → div1_out_gaaa(T98, T100, T96, T98)
U9_gaaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U9_ggaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U6_ggaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
U5_ggaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
U4_ggaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
U3_ggaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
U2_ggaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_ggaa(s(s(T32)), s(s(0)), s(T15), T16)
U1_ggaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_ggaa(s(T29), s(0), s(T15), T16)
DIV1_IN_GGAA(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → DIV1_IN_GGAA(T41, s(s(s(s(s(0))))), T15, T16)
DIV1_IN_GGAA(s(s(s(s(s(T41))))), s(s(s(s(s(0)))))) → DIV1_IN_GGAA(T41, s(s(s(s(s(0))))))
From the DPs we obtained the following set of size-change graphs:
DIV1_IN_GGAA(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → DIV1_IN_GGAA(T38, s(s(s(s(0)))), T15, T16)
div1_in_ggaa(0, T10, 0, 0) → div1_out_ggaa(0, T10, 0, 0)
div1_in_ggaa(s(T29), s(0), s(T15), T16) → U1_ggaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_ggaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
div1_in_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_ggaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
div1_in_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_ggaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
div1_in_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_ggaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_ggaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
minus107_in_gga(T49, 0, T49) → minus107_out_gga(T49, 0, T49)
minus107_in_gga(s(T50), s(T51), X131) → U10_gga(T50, T51, X131, minus107_in_gga(T50, T51, X131))
U10_gga(T50, T51, X131, minus107_out_gga(T50, T51, X131)) → minus107_out_gga(s(T50), s(T51), X131)
U7_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, X121)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_ggaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(0, T10, 0, 0) → div1_out_gaaa(0, T10, 0, 0)
div1_in_gaaa(s(T29), s(0), s(T15), T16) → U1_gaaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_ggaa(s(T91), s(T93), T89, s(T91)) → div1_out_ggaa(s(T91), s(T93), T89, s(T91))
div1_in_ggaa(T98, T100, T96, T98) → div1_out_ggaa(T98, T100, T96, T98)
U1_gaaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_gaaa(s(T29), s(0), s(T15), T16)
div1_in_gaaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_gaaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
U2_gaaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_gaaa(s(s(T32)), s(s(0)), s(T15), T16)
div1_in_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_gaaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
U3_gaaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
div1_in_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_gaaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
U4_gaaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_gaaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
U5_gaaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_gaaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
U6_gaaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
minus107_in_gaa(T49, 0, T49) → minus107_out_gaa(T49, 0, T49)
minus107_in_gaa(s(T50), s(T51), X131) → U10_gaa(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
U10_gaa(T50, T51, X131, minus107_out_gaa(T50, T51, X131)) → minus107_out_gaa(s(T50), s(T51), X131)
U7_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, X121)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_gaaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_gaaa(s(T91), s(T93), T89, s(T91)) → div1_out_gaaa(s(T91), s(T93), T89, s(T91))
div1_in_gaaa(T98, T100, T96, T98) → div1_out_gaaa(T98, T100, T96, T98)
U9_gaaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U9_ggaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U6_ggaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
U5_ggaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
U4_ggaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
U3_ggaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
U2_ggaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_ggaa(s(s(T32)), s(s(0)), s(T15), T16)
U1_ggaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_ggaa(s(T29), s(0), s(T15), T16)
DIV1_IN_GGAA(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → DIV1_IN_GGAA(T38, s(s(s(s(0)))), T15, T16)
DIV1_IN_GGAA(s(s(s(s(T38)))), s(s(s(s(0))))) → DIV1_IN_GGAA(T38, s(s(s(s(0)))))
From the DPs we obtained the following set of size-change graphs:
DIV1_IN_GGAA(s(s(s(T35))), s(s(s(0))), s(T15), T16) → DIV1_IN_GGAA(T35, s(s(s(0))), T15, T16)
div1_in_ggaa(0, T10, 0, 0) → div1_out_ggaa(0, T10, 0, 0)
div1_in_ggaa(s(T29), s(0), s(T15), T16) → U1_ggaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_ggaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
div1_in_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_ggaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
div1_in_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_ggaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
div1_in_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_ggaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_ggaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
minus107_in_gga(T49, 0, T49) → minus107_out_gga(T49, 0, T49)
minus107_in_gga(s(T50), s(T51), X131) → U10_gga(T50, T51, X131, minus107_in_gga(T50, T51, X131))
U10_gga(T50, T51, X131, minus107_out_gga(T50, T51, X131)) → minus107_out_gga(s(T50), s(T51), X131)
U7_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, X121)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_ggaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(0, T10, 0, 0) → div1_out_gaaa(0, T10, 0, 0)
div1_in_gaaa(s(T29), s(0), s(T15), T16) → U1_gaaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_ggaa(s(T91), s(T93), T89, s(T91)) → div1_out_ggaa(s(T91), s(T93), T89, s(T91))
div1_in_ggaa(T98, T100, T96, T98) → div1_out_ggaa(T98, T100, T96, T98)
U1_gaaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_gaaa(s(T29), s(0), s(T15), T16)
div1_in_gaaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_gaaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
U2_gaaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_gaaa(s(s(T32)), s(s(0)), s(T15), T16)
div1_in_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_gaaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
U3_gaaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
div1_in_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_gaaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
U4_gaaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_gaaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
U5_gaaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_gaaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
U6_gaaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
minus107_in_gaa(T49, 0, T49) → minus107_out_gaa(T49, 0, T49)
minus107_in_gaa(s(T50), s(T51), X131) → U10_gaa(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
U10_gaa(T50, T51, X131, minus107_out_gaa(T50, T51, X131)) → minus107_out_gaa(s(T50), s(T51), X131)
U7_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, X121)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_gaaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_gaaa(s(T91), s(T93), T89, s(T91)) → div1_out_gaaa(s(T91), s(T93), T89, s(T91))
div1_in_gaaa(T98, T100, T96, T98) → div1_out_gaaa(T98, T100, T96, T98)
U9_gaaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U9_ggaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U6_ggaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
U5_ggaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
U4_ggaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
U3_ggaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
U2_ggaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_ggaa(s(s(T32)), s(s(0)), s(T15), T16)
U1_ggaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_ggaa(s(T29), s(0), s(T15), T16)
DIV1_IN_GGAA(s(s(s(T35))), s(s(s(0))), s(T15), T16) → DIV1_IN_GGAA(T35, s(s(s(0))), T15, T16)
DIV1_IN_GGAA(s(s(s(T35))), s(s(s(0)))) → DIV1_IN_GGAA(T35, s(s(s(0))))
From the DPs we obtained the following set of size-change graphs:
DIV1_IN_GGAA(s(s(T32)), s(s(0)), s(T15), T16) → DIV1_IN_GGAA(T32, s(s(0)), T15, T16)
div1_in_ggaa(0, T10, 0, 0) → div1_out_ggaa(0, T10, 0, 0)
div1_in_ggaa(s(T29), s(0), s(T15), T16) → U1_ggaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_ggaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
div1_in_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_ggaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
div1_in_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_ggaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
div1_in_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_ggaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_ggaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
minus107_in_gga(T49, 0, T49) → minus107_out_gga(T49, 0, T49)
minus107_in_gga(s(T50), s(T51), X131) → U10_gga(T50, T51, X131, minus107_in_gga(T50, T51, X131))
U10_gga(T50, T51, X131, minus107_out_gga(T50, T51, X131)) → minus107_out_gga(s(T50), s(T51), X131)
U7_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, X121)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_ggaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(0, T10, 0, 0) → div1_out_gaaa(0, T10, 0, 0)
div1_in_gaaa(s(T29), s(0), s(T15), T16) → U1_gaaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_ggaa(s(T91), s(T93), T89, s(T91)) → div1_out_ggaa(s(T91), s(T93), T89, s(T91))
div1_in_ggaa(T98, T100, T96, T98) → div1_out_ggaa(T98, T100, T96, T98)
U1_gaaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_gaaa(s(T29), s(0), s(T15), T16)
div1_in_gaaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_gaaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
U2_gaaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_gaaa(s(s(T32)), s(s(0)), s(T15), T16)
div1_in_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_gaaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
U3_gaaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
div1_in_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_gaaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
U4_gaaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_gaaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
U5_gaaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_gaaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
U6_gaaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
minus107_in_gaa(T49, 0, T49) → minus107_out_gaa(T49, 0, T49)
minus107_in_gaa(s(T50), s(T51), X131) → U10_gaa(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
U10_gaa(T50, T51, X131, minus107_out_gaa(T50, T51, X131)) → minus107_out_gaa(s(T50), s(T51), X131)
U7_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, X121)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_gaaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_gaaa(s(T91), s(T93), T89, s(T91)) → div1_out_gaaa(s(T91), s(T93), T89, s(T91))
div1_in_gaaa(T98, T100, T96, T98) → div1_out_gaaa(T98, T100, T96, T98)
U9_gaaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U9_ggaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U6_ggaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
U5_ggaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
U4_ggaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
U3_ggaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
U2_ggaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_ggaa(s(s(T32)), s(s(0)), s(T15), T16)
U1_ggaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_ggaa(s(T29), s(0), s(T15), T16)
DIV1_IN_GGAA(s(s(T32)), s(s(0)), s(T15), T16) → DIV1_IN_GGAA(T32, s(s(0)), T15, T16)
DIV1_IN_GGAA(s(s(T32)), s(s(0))) → DIV1_IN_GGAA(T32, s(s(0)))
From the DPs we obtained the following set of size-change graphs:
DIV1_IN_GGAA(s(T29), s(0), s(T15), T16) → DIV1_IN_GGAA(T29, s(0), T15, T16)
div1_in_ggaa(0, T10, 0, 0) → div1_out_ggaa(0, T10, 0, 0)
div1_in_ggaa(s(T29), s(0), s(T15), T16) → U1_ggaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_ggaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
div1_in_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_ggaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
div1_in_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_ggaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
div1_in_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_ggaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_ggaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
minus107_in_gga(T49, 0, T49) → minus107_out_gga(T49, 0, T49)
minus107_in_gga(s(T50), s(T51), X131) → U10_gga(T50, T51, X131, minus107_in_gga(T50, T51, X131))
U10_gga(T50, T51, X131, minus107_out_gga(T50, T51, X131)) → minus107_out_gga(s(T50), s(T51), X131)
U7_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, X121)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_ggaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(0, T10, 0, 0) → div1_out_gaaa(0, T10, 0, 0)
div1_in_gaaa(s(T29), s(0), s(T15), T16) → U1_gaaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_ggaa(s(T91), s(T93), T89, s(T91)) → div1_out_ggaa(s(T91), s(T93), T89, s(T91))
div1_in_ggaa(T98, T100, T96, T98) → div1_out_ggaa(T98, T100, T96, T98)
U1_gaaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_gaaa(s(T29), s(0), s(T15), T16)
div1_in_gaaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_gaaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
U2_gaaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_gaaa(s(s(T32)), s(s(0)), s(T15), T16)
div1_in_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_gaaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
U3_gaaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
div1_in_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_gaaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
U4_gaaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_gaaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
U5_gaaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_gaaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
U6_gaaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
minus107_in_gaa(T49, 0, T49) → minus107_out_gaa(T49, 0, T49)
minus107_in_gaa(s(T50), s(T51), X131) → U10_gaa(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
U10_gaa(T50, T51, X131, minus107_out_gaa(T50, T51, X131)) → minus107_out_gaa(s(T50), s(T51), X131)
U7_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, X121)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_gaaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_gaaa(s(T91), s(T93), T89, s(T91)) → div1_out_gaaa(s(T91), s(T93), T89, s(T91))
div1_in_gaaa(T98, T100, T96, T98) → div1_out_gaaa(T98, T100, T96, T98)
U9_gaaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U9_ggaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U6_ggaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
U5_ggaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
U4_ggaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
U3_ggaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
U2_ggaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_ggaa(s(s(T32)), s(s(0)), s(T15), T16)
U1_ggaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_ggaa(s(T29), s(0), s(T15), T16)
DIV1_IN_GGAA(s(T29), s(0), s(T15), T16) → DIV1_IN_GGAA(T29, s(0), T15, T16)
DIV1_IN_GGAA(s(T29), s(0)) → DIV1_IN_GGAA(T29, s(0))
From the DPs we obtained the following set of size-change graphs:
DIV1_IN_GAAA(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_GAAA(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_GAAA(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → DIV1_IN_GAAA(T48, s(T47), T15, T16)
div1_in_ggaa(0, T10, 0, 0) → div1_out_ggaa(0, T10, 0, 0)
div1_in_ggaa(s(T29), s(0), s(T15), T16) → U1_ggaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_ggaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
div1_in_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_ggaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
div1_in_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_ggaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
div1_in_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_ggaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_ggaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, X121))
minus107_in_gga(T49, 0, T49) → minus107_out_gga(T49, 0, T49)
minus107_in_gga(s(T50), s(T51), X131) → U10_gga(T50, T51, X131, minus107_in_gga(T50, T51, X131))
U10_gga(T50, T51, X131, minus107_out_gga(T50, T51, X131)) → minus107_out_gga(s(T50), s(T51), X131)
U7_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, X121)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_ggaa(T45, T46, T15, T16, minus107_in_gga(T45, T46, T48))
U8_ggaa(T45, T46, T15, T16, minus107_out_gga(T45, T46, T48)) → U9_ggaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(0, T10, 0, 0) → div1_out_gaaa(0, T10, 0, 0)
div1_in_gaaa(s(T29), s(0), s(T15), T16) → U1_gaaa(T29, T15, T16, div1_in_ggaa(T29, s(0), T15, T16))
div1_in_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_ggaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_ggaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_ggaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_ggaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_ggaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_ggaa(s(T91), s(T93), T89, s(T91)) → div1_out_ggaa(s(T91), s(T93), T89, s(T91))
div1_in_ggaa(T98, T100, T96, T98) → div1_out_ggaa(T98, T100, T96, T98)
U1_gaaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_gaaa(s(T29), s(0), s(T15), T16)
div1_in_gaaa(s(s(T32)), s(s(0)), s(T15), T16) → U2_gaaa(T32, T15, T16, div1_in_ggaa(T32, s(s(0)), T15, T16))
U2_gaaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_gaaa(s(s(T32)), s(s(0)), s(T15), T16)
div1_in_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16) → U3_gaaa(T35, T15, T16, div1_in_ggaa(T35, s(s(s(0))), T15, T16))
U3_gaaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_gaaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
div1_in_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16) → U4_gaaa(T38, T15, T16, div1_in_ggaa(T38, s(s(s(s(0)))), T15, T16))
U4_gaaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_gaaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16) → U5_gaaa(T41, T15, T16, div1_in_ggaa(T41, s(s(s(s(s(0))))), T15, T16))
U5_gaaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16) → U6_gaaa(T44, T15, T16, div1_in_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16))
U6_gaaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U7_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, X121))
minus107_in_gaa(T49, 0, T49) → minus107_out_gaa(T49, 0, T49)
minus107_in_gaa(s(T50), s(T51), X131) → U10_gaa(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
U10_gaa(T50, T51, X131, minus107_out_gaa(T50, T51, X131)) → minus107_out_gaa(s(T50), s(T51), X131)
U7_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, X121)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
div1_in_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_gaaa(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_gaaa(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → U9_gaaa(T45, T46, T15, T16, div1_in_gaaa(T48, s(T47), T15, T16))
div1_in_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56))))))) → div1_out_gaaa(s(s(s(s(s(s(T56)))))), s(s(s(s(s(s(T58)))))), T54, s(s(s(s(s(s(T56)))))))
div1_in_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63)))))) → div1_out_gaaa(s(s(s(s(s(T63))))), s(s(s(s(s(T65))))), T61, s(s(s(s(s(T63))))))
div1_in_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70))))) → div1_out_gaaa(s(s(s(s(T70)))), s(s(s(s(T72)))), T68, s(s(s(s(T70)))))
div1_in_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77)))) → div1_out_gaaa(s(s(s(T77))), s(s(s(T79))), T75, s(s(s(T77))))
div1_in_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84))) → div1_out_gaaa(s(s(T84)), s(s(T86)), T82, s(s(T84)))
div1_in_gaaa(s(T91), s(T93), T89, s(T91)) → div1_out_gaaa(s(T91), s(T93), T89, s(T91))
div1_in_gaaa(T98, T100, T96, T98) → div1_out_gaaa(T98, T100, T96, T98)
U9_gaaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_gaaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U9_ggaa(T45, T46, T15, T16, div1_out_gaaa(T48, s(T47), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16)
U6_ggaa(T44, T15, T16, div1_out_ggaa(T44, s(s(s(s(s(s(0)))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(s(T44)))))), s(s(s(s(s(s(0)))))), s(T15), T16)
U5_ggaa(T41, T15, T16, div1_out_ggaa(T41, s(s(s(s(s(0))))), T15, T16)) → div1_out_ggaa(s(s(s(s(s(T41))))), s(s(s(s(s(0))))), s(T15), T16)
U4_ggaa(T38, T15, T16, div1_out_ggaa(T38, s(s(s(s(0)))), T15, T16)) → div1_out_ggaa(s(s(s(s(T38)))), s(s(s(s(0)))), s(T15), T16)
U3_ggaa(T35, T15, T16, div1_out_ggaa(T35, s(s(s(0))), T15, T16)) → div1_out_ggaa(s(s(s(T35))), s(s(s(0))), s(T15), T16)
U2_ggaa(T32, T15, T16, div1_out_ggaa(T32, s(s(0)), T15, T16)) → div1_out_ggaa(s(s(T32)), s(s(0)), s(T15), T16)
U1_ggaa(T29, T15, T16, div1_out_ggaa(T29, s(0), T15, T16)) → div1_out_ggaa(s(T29), s(0), s(T15), T16)
DIV1_IN_GAAA(s(s(s(s(s(s(s(T45))))))), s(s(s(s(s(s(s(T46))))))), s(T15), T16) → U8_GAAA(T45, T46, T15, T16, minus107_in_gaa(T45, T46, T48))
U8_GAAA(T45, T46, T15, T16, minus107_out_gaa(T45, T46, T48)) → DIV1_IN_GAAA(T48, s(T47), T15, T16)
minus107_in_gaa(T49, 0, T49) → minus107_out_gaa(T49, 0, T49)
minus107_in_gaa(s(T50), s(T51), X131) → U10_gaa(T50, T51, X131, minus107_in_gaa(T50, T51, X131))
U10_gaa(T50, T51, X131, minus107_out_gaa(T50, T51, X131)) → minus107_out_gaa(s(T50), s(T51), X131)
DIV1_IN_GAAA(s(s(s(s(s(s(s(T45)))))))) → U8_GAAA(minus107_in_gaa(T45))
U8_GAAA(minus107_out_gaa(T46, T48)) → DIV1_IN_GAAA(T48)
minus107_in_gaa(T49) → minus107_out_gaa(0, T49)
minus107_in_gaa(s(T50)) → U10_gaa(minus107_in_gaa(T50))
U10_gaa(minus107_out_gaa(T51, X131)) → minus107_out_gaa(s(T51), X131)
minus107_in_gaa(x0)
U10_gaa(x0)
DIV1_IN_GAAA(s(s(s(s(s(s(s(T45)))))))) → U8_GAAA(minus107_in_gaa(T45))
U8_GAAA(minus107_out_gaa(T46, T48)) → DIV1_IN_GAAA(T48)
minus107_in_gaa(T49) → minus107_out_gaa(0, T49)
POL(0) = 0
POL(DIV1_IN_GAAA(x1)) = x1
POL(U10_gaa(x1)) = 1 + x1
POL(U8_GAAA(x1)) = x1
POL(minus107_in_gaa(x1)) = 2 + x1
POL(minus107_out_gaa(x1, x2)) = 1 + x1 + x2
POL(s(x1)) = 1 + x1
minus107_in_gaa(s(T50)) → U10_gaa(minus107_in_gaa(T50))
U10_gaa(minus107_out_gaa(T51, X131)) → minus107_out_gaa(s(T51), X131)
minus107_in_gaa(x0)
U10_gaa(x0)