0 Prolog
↳1 PrologToPiTRSViaGraphTransformerProof (⇒, 207 ms)
↳2 PiTRS
↳3 DependencyPairsProof (⇔, 495 ms)
↳4 PiDP
↳5 DependencyGraphProof (⇔, 0 ms)
↳6 AND
↳7 PiDP
↳8 UsableRulesProof (⇔, 0 ms)
↳9 PiDP
↳10 PiDPToQDPProof (⇒, 22 ms)
↳11 QDP
↳12 QDPSizeChangeProof (⇔, 0 ms)
↳13 YES
↳14 PiDP
↳15 UsableRulesProof (⇔, 0 ms)
↳16 PiDP
↳17 PiDPToQDPProof (⇒, 0 ms)
↳18 QDP
↳19 QDPSizeChangeProof (⇔, 0 ms)
↳20 YES
↳21 PiDP
↳22 UsableRulesProof (⇔, 0 ms)
↳23 PiDP
↳24 PiDPToQDPProof (⇒, 0 ms)
↳25 QDP
↳26 QDPSizeChangeProof (⇔, 0 ms)
↳27 YES
↳28 PiDP
↳29 UsableRulesProof (⇔, 0 ms)
↳30 PiDP
↳31 PiDPToQDPProof (⇒, 0 ms)
↳32 QDP
↳33 QDPSizeChangeProof (⇔, 0 ms)
↳34 YES
↳35 PiDP
↳36 UsableRulesProof (⇔, 0 ms)
↳37 PiDP
↳38 PiDPToQDPProof (⇒, 0 ms)
↳39 QDP
↳40 QDPSizeChangeProof (⇔, 0 ms)
↳41 YES
fibA_in_ga(0, 0) → fibA_out_ga(0, 0)
fibA_in_ga(s(0), s(0)) → fibA_out_ga(s(0), s(0))
fibA_in_ga(s(s(0)), T7) → U1_ga(T7, pB_in_aa(X10, T7))
pB_in_aa(T8, T7) → U12_aa(T8, T7, fibK_in_a(T8))
fibK_in_a(0) → fibK_out_a(0)
U12_aa(T8, T7, fibK_out_a(T8)) → U13_aa(T8, T7, addE_in_ga(T8, T7))
addE_in_ga(T17, s(T19)) → U4_ga(T17, T19, addD_in_ga(T17, T19))
addD_in_ga(0, 0) → addD_out_ga(0, 0)
addD_in_ga(s(T24), s(T26)) → U3_ga(T24, T26, addD_in_ga(T24, T26))
U3_ga(T24, T26, addD_out_ga(T24, T26)) → addD_out_ga(s(T24), s(T26))
U4_ga(T17, T19, addD_out_ga(T17, T19)) → addE_out_ga(T17, s(T19))
addE_in_ga(s(T31), s(T33)) → U5_ga(T31, T33, addE_in_ga(T31, T33))
U5_ga(T31, T33, addE_out_ga(T31, T33)) → addE_out_ga(s(T31), s(T33))
U13_aa(T8, T7, addE_out_ga(T8, T7)) → pB_out_aa(T8, T7)
U1_ga(T7, pB_out_aa(X10, T7)) → fibA_out_ga(s(s(0)), T7)
fibA_in_ga(s(s(s(T36))), T7) → U2_ga(T36, T7, pC_in_gaaaaa(T36, X59, X60, X61, X10, T7))
pC_in_gaaaaa(T36, T37, X60, X61, X10, T7) → U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_in_ga(T36, T37))
fibF_in_ga(0, s(0)) → fibF_out_ga(0, s(0))
fibF_in_ga(s(T40), X74) → U6_ga(T40, X74, pG_in_gaaa(T40, X72, X73, X74))
pG_in_gaaa(T40, T41, X73, X74) → U18_gaaa(T40, T41, X73, X74, fibF_in_ga(T40, T41))
U18_gaaa(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → U19_gaaa(T40, T41, X73, X74, pN_in_gaga(T40, X73, T41, X74))
pN_in_gaga(T40, T42, T41, X74) → U20_gaga(T40, T42, T41, X74, fibI_in_ga(T40, T42))
fibI_in_ga(0, 0) → fibI_out_ga(0, 0)
fibI_in_ga(s(0), s(0)) → fibI_out_ga(s(0), s(0))
fibI_in_ga(s(s(T45)), X87) → U9_ga(T45, X87, pG_in_gaaa(T45, X85, X86, X87))
U9_ga(T45, X87, pG_out_gaaa(T45, X85, X86, X87)) → fibI_out_ga(s(s(T45)), X87)
U20_gaga(T40, T42, T41, X74, fibI_out_ga(T40, T42)) → U21_gaga(T40, T42, T41, X74, addH_in_gga(T41, T42, X74))
addH_in_gga(0, 0, 0) → addH_out_gga(0, 0, 0)
addH_in_gga(s(T54), T55, s(X107)) → U7_gga(T54, T55, X107, addH_in_gga(T54, T55, X107))
addH_in_gga(T60, s(T61), s(X119)) → U8_gga(T60, T61, X119, addH_in_gga(T60, T61, X119))
U8_gga(T60, T61, X119, addH_out_gga(T60, T61, X119)) → addH_out_gga(T60, s(T61), s(X119))
U7_gga(T54, T55, X107, addH_out_gga(T54, T55, X107)) → addH_out_gga(s(T54), T55, s(X107))
U21_gaga(T40, T42, T41, X74, addH_out_gga(T41, T42, X74)) → pN_out_gaga(T40, T42, T41, X74)
U19_gaaa(T40, T41, X73, X74, pN_out_gaga(T40, X73, T41, X74)) → pG_out_gaaa(T40, T41, X73, X74)
U6_ga(T40, X74, pG_out_gaaa(T40, X72, X73, X74)) → fibF_out_ga(s(T40), X74)
U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_out_ga(T36, T37)) → U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_in_gagaaa(T36, X60, T37, X61, X10, T7))
pL_in_gagaaa(T36, T62, T37, X61, X10, T7) → U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_in_ga(T36, T62))
U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_out_ga(T36, T62)) → U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_in_ggagaa(T37, T62, X61, T36, X10, T7))
pM_in_ggagaa(T37, T62, T63, T36, X10, T7) → U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_in_gga(T37, T62, T63))
U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_out_gga(T37, T62, T63)) → U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_in_gaga(T36, X10, T63, T7))
pO_in_gaga(T36, T64, T63, T7) → U24_gaga(T36, T64, T63, T7, fibF_in_ga(T36, T64))
U24_gaga(T36, T64, T63, T7, fibF_out_ga(T36, T64)) → U25_gaga(T36, T64, T63, T7, addJ_in_gga(T63, T64, T7))
addJ_in_gga(0, 0, 0) → addJ_out_gga(0, 0, 0)
addJ_in_gga(s(T77), T78, s(T80)) → U10_gga(T77, T78, T80, addJ_in_gga(T77, T78, T80))
addJ_in_gga(T87, s(T88), s(T90)) → U11_gga(T87, T88, T90, addJ_in_gga(T87, T88, T90))
U11_gga(T87, T88, T90, addJ_out_gga(T87, T88, T90)) → addJ_out_gga(T87, s(T88), s(T90))
U10_gga(T77, T78, T80, addJ_out_gga(T77, T78, T80)) → addJ_out_gga(s(T77), T78, s(T80))
U25_gaga(T36, T64, T63, T7, addJ_out_gga(T63, T64, T7)) → pO_out_gaga(T36, T64, T63, T7)
U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_out_gaga(T36, X10, T63, T7)) → pM_out_ggagaa(T37, T62, T63, T36, X10, T7)
U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_out_ggagaa(T37, T62, X61, T36, X10, T7)) → pL_out_gagaaa(T36, T62, T37, X61, X10, T7)
U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_out_gagaaa(T36, X60, T37, X61, X10, T7)) → pC_out_gaaaaa(T36, T37, X60, X61, X10, T7)
U2_ga(T36, T7, pC_out_gaaaaa(T36, X59, X60, X61, X10, T7)) → fibA_out_ga(s(s(s(T36))), T7)
FIBA_IN_GA(s(s(0)), T7) → U1_GA(T7, pB_in_aa(X10, T7))
FIBA_IN_GA(s(s(0)), T7) → PB_IN_AA(X10, T7)
PB_IN_AA(T8, T7) → U12_AA(T8, T7, fibK_in_a(T8))
PB_IN_AA(T8, T7) → FIBK_IN_A(T8)
U12_AA(T8, T7, fibK_out_a(T8)) → U13_AA(T8, T7, addE_in_ga(T8, T7))
U12_AA(T8, T7, fibK_out_a(T8)) → ADDE_IN_GA(T8, T7)
ADDE_IN_GA(T17, s(T19)) → U4_GA(T17, T19, addD_in_ga(T17, T19))
ADDE_IN_GA(T17, s(T19)) → ADDD_IN_GA(T17, T19)
ADDD_IN_GA(s(T24), s(T26)) → U3_GA(T24, T26, addD_in_ga(T24, T26))
ADDD_IN_GA(s(T24), s(T26)) → ADDD_IN_GA(T24, T26)
ADDE_IN_GA(s(T31), s(T33)) → U5_GA(T31, T33, addE_in_ga(T31, T33))
ADDE_IN_GA(s(T31), s(T33)) → ADDE_IN_GA(T31, T33)
FIBA_IN_GA(s(s(s(T36))), T7) → U2_GA(T36, T7, pC_in_gaaaaa(T36, X59, X60, X61, X10, T7))
FIBA_IN_GA(s(s(s(T36))), T7) → PC_IN_GAAAAA(T36, X59, X60, X61, X10, T7)
PC_IN_GAAAAA(T36, T37, X60, X61, X10, T7) → U14_GAAAAA(T36, T37, X60, X61, X10, T7, fibF_in_ga(T36, T37))
PC_IN_GAAAAA(T36, T37, X60, X61, X10, T7) → FIBF_IN_GA(T36, T37)
FIBF_IN_GA(s(T40), X74) → U6_GA(T40, X74, pG_in_gaaa(T40, X72, X73, X74))
FIBF_IN_GA(s(T40), X74) → PG_IN_GAAA(T40, X72, X73, X74)
PG_IN_GAAA(T40, T41, X73, X74) → U18_GAAA(T40, T41, X73, X74, fibF_in_ga(T40, T41))
PG_IN_GAAA(T40, T41, X73, X74) → FIBF_IN_GA(T40, T41)
U18_GAAA(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → U19_GAAA(T40, T41, X73, X74, pN_in_gaga(T40, X73, T41, X74))
U18_GAAA(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → PN_IN_GAGA(T40, X73, T41, X74)
PN_IN_GAGA(T40, T42, T41, X74) → U20_GAGA(T40, T42, T41, X74, fibI_in_ga(T40, T42))
PN_IN_GAGA(T40, T42, T41, X74) → FIBI_IN_GA(T40, T42)
FIBI_IN_GA(s(s(T45)), X87) → U9_GA(T45, X87, pG_in_gaaa(T45, X85, X86, X87))
FIBI_IN_GA(s(s(T45)), X87) → PG_IN_GAAA(T45, X85, X86, X87)
U20_GAGA(T40, T42, T41, X74, fibI_out_ga(T40, T42)) → U21_GAGA(T40, T42, T41, X74, addH_in_gga(T41, T42, X74))
U20_GAGA(T40, T42, T41, X74, fibI_out_ga(T40, T42)) → ADDH_IN_GGA(T41, T42, X74)
ADDH_IN_GGA(s(T54), T55, s(X107)) → U7_GGA(T54, T55, X107, addH_in_gga(T54, T55, X107))
ADDH_IN_GGA(s(T54), T55, s(X107)) → ADDH_IN_GGA(T54, T55, X107)
ADDH_IN_GGA(T60, s(T61), s(X119)) → U8_GGA(T60, T61, X119, addH_in_gga(T60, T61, X119))
ADDH_IN_GGA(T60, s(T61), s(X119)) → ADDH_IN_GGA(T60, T61, X119)
U14_GAAAAA(T36, T37, X60, X61, X10, T7, fibF_out_ga(T36, T37)) → U15_GAAAAA(T36, T37, X60, X61, X10, T7, pL_in_gagaaa(T36, X60, T37, X61, X10, T7))
U14_GAAAAA(T36, T37, X60, X61, X10, T7, fibF_out_ga(T36, T37)) → PL_IN_GAGAAA(T36, X60, T37, X61, X10, T7)
PL_IN_GAGAAA(T36, T62, T37, X61, X10, T7) → U16_GAGAAA(T36, T62, T37, X61, X10, T7, fibI_in_ga(T36, T62))
PL_IN_GAGAAA(T36, T62, T37, X61, X10, T7) → FIBI_IN_GA(T36, T62)
U16_GAGAAA(T36, T62, T37, X61, X10, T7, fibI_out_ga(T36, T62)) → U17_GAGAAA(T36, T62, T37, X61, X10, T7, pM_in_ggagaa(T37, T62, X61, T36, X10, T7))
U16_GAGAAA(T36, T62, T37, X61, X10, T7, fibI_out_ga(T36, T62)) → PM_IN_GGAGAA(T37, T62, X61, T36, X10, T7)
PM_IN_GGAGAA(T37, T62, T63, T36, X10, T7) → U22_GGAGAA(T37, T62, T63, T36, X10, T7, addH_in_gga(T37, T62, T63))
PM_IN_GGAGAA(T37, T62, T63, T36, X10, T7) → ADDH_IN_GGA(T37, T62, T63)
U22_GGAGAA(T37, T62, T63, T36, X10, T7, addH_out_gga(T37, T62, T63)) → U23_GGAGAA(T37, T62, T63, T36, X10, T7, pO_in_gaga(T36, X10, T63, T7))
U22_GGAGAA(T37, T62, T63, T36, X10, T7, addH_out_gga(T37, T62, T63)) → PO_IN_GAGA(T36, X10, T63, T7)
PO_IN_GAGA(T36, T64, T63, T7) → U24_GAGA(T36, T64, T63, T7, fibF_in_ga(T36, T64))
PO_IN_GAGA(T36, T64, T63, T7) → FIBF_IN_GA(T36, T64)
U24_GAGA(T36, T64, T63, T7, fibF_out_ga(T36, T64)) → U25_GAGA(T36, T64, T63, T7, addJ_in_gga(T63, T64, T7))
U24_GAGA(T36, T64, T63, T7, fibF_out_ga(T36, T64)) → ADDJ_IN_GGA(T63, T64, T7)
ADDJ_IN_GGA(s(T77), T78, s(T80)) → U10_GGA(T77, T78, T80, addJ_in_gga(T77, T78, T80))
ADDJ_IN_GGA(s(T77), T78, s(T80)) → ADDJ_IN_GGA(T77, T78, T80)
ADDJ_IN_GGA(T87, s(T88), s(T90)) → U11_GGA(T87, T88, T90, addJ_in_gga(T87, T88, T90))
ADDJ_IN_GGA(T87, s(T88), s(T90)) → ADDJ_IN_GGA(T87, T88, T90)
fibA_in_ga(0, 0) → fibA_out_ga(0, 0)
fibA_in_ga(s(0), s(0)) → fibA_out_ga(s(0), s(0))
fibA_in_ga(s(s(0)), T7) → U1_ga(T7, pB_in_aa(X10, T7))
pB_in_aa(T8, T7) → U12_aa(T8, T7, fibK_in_a(T8))
fibK_in_a(0) → fibK_out_a(0)
U12_aa(T8, T7, fibK_out_a(T8)) → U13_aa(T8, T7, addE_in_ga(T8, T7))
addE_in_ga(T17, s(T19)) → U4_ga(T17, T19, addD_in_ga(T17, T19))
addD_in_ga(0, 0) → addD_out_ga(0, 0)
addD_in_ga(s(T24), s(T26)) → U3_ga(T24, T26, addD_in_ga(T24, T26))
U3_ga(T24, T26, addD_out_ga(T24, T26)) → addD_out_ga(s(T24), s(T26))
U4_ga(T17, T19, addD_out_ga(T17, T19)) → addE_out_ga(T17, s(T19))
addE_in_ga(s(T31), s(T33)) → U5_ga(T31, T33, addE_in_ga(T31, T33))
U5_ga(T31, T33, addE_out_ga(T31, T33)) → addE_out_ga(s(T31), s(T33))
U13_aa(T8, T7, addE_out_ga(T8, T7)) → pB_out_aa(T8, T7)
U1_ga(T7, pB_out_aa(X10, T7)) → fibA_out_ga(s(s(0)), T7)
fibA_in_ga(s(s(s(T36))), T7) → U2_ga(T36, T7, pC_in_gaaaaa(T36, X59, X60, X61, X10, T7))
pC_in_gaaaaa(T36, T37, X60, X61, X10, T7) → U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_in_ga(T36, T37))
fibF_in_ga(0, s(0)) → fibF_out_ga(0, s(0))
fibF_in_ga(s(T40), X74) → U6_ga(T40, X74, pG_in_gaaa(T40, X72, X73, X74))
pG_in_gaaa(T40, T41, X73, X74) → U18_gaaa(T40, T41, X73, X74, fibF_in_ga(T40, T41))
U18_gaaa(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → U19_gaaa(T40, T41, X73, X74, pN_in_gaga(T40, X73, T41, X74))
pN_in_gaga(T40, T42, T41, X74) → U20_gaga(T40, T42, T41, X74, fibI_in_ga(T40, T42))
fibI_in_ga(0, 0) → fibI_out_ga(0, 0)
fibI_in_ga(s(0), s(0)) → fibI_out_ga(s(0), s(0))
fibI_in_ga(s(s(T45)), X87) → U9_ga(T45, X87, pG_in_gaaa(T45, X85, X86, X87))
U9_ga(T45, X87, pG_out_gaaa(T45, X85, X86, X87)) → fibI_out_ga(s(s(T45)), X87)
U20_gaga(T40, T42, T41, X74, fibI_out_ga(T40, T42)) → U21_gaga(T40, T42, T41, X74, addH_in_gga(T41, T42, X74))
addH_in_gga(0, 0, 0) → addH_out_gga(0, 0, 0)
addH_in_gga(s(T54), T55, s(X107)) → U7_gga(T54, T55, X107, addH_in_gga(T54, T55, X107))
addH_in_gga(T60, s(T61), s(X119)) → U8_gga(T60, T61, X119, addH_in_gga(T60, T61, X119))
U8_gga(T60, T61, X119, addH_out_gga(T60, T61, X119)) → addH_out_gga(T60, s(T61), s(X119))
U7_gga(T54, T55, X107, addH_out_gga(T54, T55, X107)) → addH_out_gga(s(T54), T55, s(X107))
U21_gaga(T40, T42, T41, X74, addH_out_gga(T41, T42, X74)) → pN_out_gaga(T40, T42, T41, X74)
U19_gaaa(T40, T41, X73, X74, pN_out_gaga(T40, X73, T41, X74)) → pG_out_gaaa(T40, T41, X73, X74)
U6_ga(T40, X74, pG_out_gaaa(T40, X72, X73, X74)) → fibF_out_ga(s(T40), X74)
U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_out_ga(T36, T37)) → U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_in_gagaaa(T36, X60, T37, X61, X10, T7))
pL_in_gagaaa(T36, T62, T37, X61, X10, T7) → U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_in_ga(T36, T62))
U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_out_ga(T36, T62)) → U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_in_ggagaa(T37, T62, X61, T36, X10, T7))
pM_in_ggagaa(T37, T62, T63, T36, X10, T7) → U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_in_gga(T37, T62, T63))
U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_out_gga(T37, T62, T63)) → U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_in_gaga(T36, X10, T63, T7))
pO_in_gaga(T36, T64, T63, T7) → U24_gaga(T36, T64, T63, T7, fibF_in_ga(T36, T64))
U24_gaga(T36, T64, T63, T7, fibF_out_ga(T36, T64)) → U25_gaga(T36, T64, T63, T7, addJ_in_gga(T63, T64, T7))
addJ_in_gga(0, 0, 0) → addJ_out_gga(0, 0, 0)
addJ_in_gga(s(T77), T78, s(T80)) → U10_gga(T77, T78, T80, addJ_in_gga(T77, T78, T80))
addJ_in_gga(T87, s(T88), s(T90)) → U11_gga(T87, T88, T90, addJ_in_gga(T87, T88, T90))
U11_gga(T87, T88, T90, addJ_out_gga(T87, T88, T90)) → addJ_out_gga(T87, s(T88), s(T90))
U10_gga(T77, T78, T80, addJ_out_gga(T77, T78, T80)) → addJ_out_gga(s(T77), T78, s(T80))
U25_gaga(T36, T64, T63, T7, addJ_out_gga(T63, T64, T7)) → pO_out_gaga(T36, T64, T63, T7)
U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_out_gaga(T36, X10, T63, T7)) → pM_out_ggagaa(T37, T62, T63, T36, X10, T7)
U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_out_ggagaa(T37, T62, X61, T36, X10, T7)) → pL_out_gagaaa(T36, T62, T37, X61, X10, T7)
U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_out_gagaaa(T36, X60, T37, X61, X10, T7)) → pC_out_gaaaaa(T36, T37, X60, X61, X10, T7)
U2_ga(T36, T7, pC_out_gaaaaa(T36, X59, X60, X61, X10, T7)) → fibA_out_ga(s(s(s(T36))), T7)
FIBA_IN_GA(s(s(0)), T7) → U1_GA(T7, pB_in_aa(X10, T7))
FIBA_IN_GA(s(s(0)), T7) → PB_IN_AA(X10, T7)
PB_IN_AA(T8, T7) → U12_AA(T8, T7, fibK_in_a(T8))
PB_IN_AA(T8, T7) → FIBK_IN_A(T8)
U12_AA(T8, T7, fibK_out_a(T8)) → U13_AA(T8, T7, addE_in_ga(T8, T7))
U12_AA(T8, T7, fibK_out_a(T8)) → ADDE_IN_GA(T8, T7)
ADDE_IN_GA(T17, s(T19)) → U4_GA(T17, T19, addD_in_ga(T17, T19))
ADDE_IN_GA(T17, s(T19)) → ADDD_IN_GA(T17, T19)
ADDD_IN_GA(s(T24), s(T26)) → U3_GA(T24, T26, addD_in_ga(T24, T26))
ADDD_IN_GA(s(T24), s(T26)) → ADDD_IN_GA(T24, T26)
ADDE_IN_GA(s(T31), s(T33)) → U5_GA(T31, T33, addE_in_ga(T31, T33))
ADDE_IN_GA(s(T31), s(T33)) → ADDE_IN_GA(T31, T33)
FIBA_IN_GA(s(s(s(T36))), T7) → U2_GA(T36, T7, pC_in_gaaaaa(T36, X59, X60, X61, X10, T7))
FIBA_IN_GA(s(s(s(T36))), T7) → PC_IN_GAAAAA(T36, X59, X60, X61, X10, T7)
PC_IN_GAAAAA(T36, T37, X60, X61, X10, T7) → U14_GAAAAA(T36, T37, X60, X61, X10, T7, fibF_in_ga(T36, T37))
PC_IN_GAAAAA(T36, T37, X60, X61, X10, T7) → FIBF_IN_GA(T36, T37)
FIBF_IN_GA(s(T40), X74) → U6_GA(T40, X74, pG_in_gaaa(T40, X72, X73, X74))
FIBF_IN_GA(s(T40), X74) → PG_IN_GAAA(T40, X72, X73, X74)
PG_IN_GAAA(T40, T41, X73, X74) → U18_GAAA(T40, T41, X73, X74, fibF_in_ga(T40, T41))
PG_IN_GAAA(T40, T41, X73, X74) → FIBF_IN_GA(T40, T41)
U18_GAAA(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → U19_GAAA(T40, T41, X73, X74, pN_in_gaga(T40, X73, T41, X74))
U18_GAAA(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → PN_IN_GAGA(T40, X73, T41, X74)
PN_IN_GAGA(T40, T42, T41, X74) → U20_GAGA(T40, T42, T41, X74, fibI_in_ga(T40, T42))
PN_IN_GAGA(T40, T42, T41, X74) → FIBI_IN_GA(T40, T42)
FIBI_IN_GA(s(s(T45)), X87) → U9_GA(T45, X87, pG_in_gaaa(T45, X85, X86, X87))
FIBI_IN_GA(s(s(T45)), X87) → PG_IN_GAAA(T45, X85, X86, X87)
U20_GAGA(T40, T42, T41, X74, fibI_out_ga(T40, T42)) → U21_GAGA(T40, T42, T41, X74, addH_in_gga(T41, T42, X74))
U20_GAGA(T40, T42, T41, X74, fibI_out_ga(T40, T42)) → ADDH_IN_GGA(T41, T42, X74)
ADDH_IN_GGA(s(T54), T55, s(X107)) → U7_GGA(T54, T55, X107, addH_in_gga(T54, T55, X107))
ADDH_IN_GGA(s(T54), T55, s(X107)) → ADDH_IN_GGA(T54, T55, X107)
ADDH_IN_GGA(T60, s(T61), s(X119)) → U8_GGA(T60, T61, X119, addH_in_gga(T60, T61, X119))
ADDH_IN_GGA(T60, s(T61), s(X119)) → ADDH_IN_GGA(T60, T61, X119)
U14_GAAAAA(T36, T37, X60, X61, X10, T7, fibF_out_ga(T36, T37)) → U15_GAAAAA(T36, T37, X60, X61, X10, T7, pL_in_gagaaa(T36, X60, T37, X61, X10, T7))
U14_GAAAAA(T36, T37, X60, X61, X10, T7, fibF_out_ga(T36, T37)) → PL_IN_GAGAAA(T36, X60, T37, X61, X10, T7)
PL_IN_GAGAAA(T36, T62, T37, X61, X10, T7) → U16_GAGAAA(T36, T62, T37, X61, X10, T7, fibI_in_ga(T36, T62))
PL_IN_GAGAAA(T36, T62, T37, X61, X10, T7) → FIBI_IN_GA(T36, T62)
U16_GAGAAA(T36, T62, T37, X61, X10, T7, fibI_out_ga(T36, T62)) → U17_GAGAAA(T36, T62, T37, X61, X10, T7, pM_in_ggagaa(T37, T62, X61, T36, X10, T7))
U16_GAGAAA(T36, T62, T37, X61, X10, T7, fibI_out_ga(T36, T62)) → PM_IN_GGAGAA(T37, T62, X61, T36, X10, T7)
PM_IN_GGAGAA(T37, T62, T63, T36, X10, T7) → U22_GGAGAA(T37, T62, T63, T36, X10, T7, addH_in_gga(T37, T62, T63))
PM_IN_GGAGAA(T37, T62, T63, T36, X10, T7) → ADDH_IN_GGA(T37, T62, T63)
U22_GGAGAA(T37, T62, T63, T36, X10, T7, addH_out_gga(T37, T62, T63)) → U23_GGAGAA(T37, T62, T63, T36, X10, T7, pO_in_gaga(T36, X10, T63, T7))
U22_GGAGAA(T37, T62, T63, T36, X10, T7, addH_out_gga(T37, T62, T63)) → PO_IN_GAGA(T36, X10, T63, T7)
PO_IN_GAGA(T36, T64, T63, T7) → U24_GAGA(T36, T64, T63, T7, fibF_in_ga(T36, T64))
PO_IN_GAGA(T36, T64, T63, T7) → FIBF_IN_GA(T36, T64)
U24_GAGA(T36, T64, T63, T7, fibF_out_ga(T36, T64)) → U25_GAGA(T36, T64, T63, T7, addJ_in_gga(T63, T64, T7))
U24_GAGA(T36, T64, T63, T7, fibF_out_ga(T36, T64)) → ADDJ_IN_GGA(T63, T64, T7)
ADDJ_IN_GGA(s(T77), T78, s(T80)) → U10_GGA(T77, T78, T80, addJ_in_gga(T77, T78, T80))
ADDJ_IN_GGA(s(T77), T78, s(T80)) → ADDJ_IN_GGA(T77, T78, T80)
ADDJ_IN_GGA(T87, s(T88), s(T90)) → U11_GGA(T87, T88, T90, addJ_in_gga(T87, T88, T90))
ADDJ_IN_GGA(T87, s(T88), s(T90)) → ADDJ_IN_GGA(T87, T88, T90)
fibA_in_ga(0, 0) → fibA_out_ga(0, 0)
fibA_in_ga(s(0), s(0)) → fibA_out_ga(s(0), s(0))
fibA_in_ga(s(s(0)), T7) → U1_ga(T7, pB_in_aa(X10, T7))
pB_in_aa(T8, T7) → U12_aa(T8, T7, fibK_in_a(T8))
fibK_in_a(0) → fibK_out_a(0)
U12_aa(T8, T7, fibK_out_a(T8)) → U13_aa(T8, T7, addE_in_ga(T8, T7))
addE_in_ga(T17, s(T19)) → U4_ga(T17, T19, addD_in_ga(T17, T19))
addD_in_ga(0, 0) → addD_out_ga(0, 0)
addD_in_ga(s(T24), s(T26)) → U3_ga(T24, T26, addD_in_ga(T24, T26))
U3_ga(T24, T26, addD_out_ga(T24, T26)) → addD_out_ga(s(T24), s(T26))
U4_ga(T17, T19, addD_out_ga(T17, T19)) → addE_out_ga(T17, s(T19))
addE_in_ga(s(T31), s(T33)) → U5_ga(T31, T33, addE_in_ga(T31, T33))
U5_ga(T31, T33, addE_out_ga(T31, T33)) → addE_out_ga(s(T31), s(T33))
U13_aa(T8, T7, addE_out_ga(T8, T7)) → pB_out_aa(T8, T7)
U1_ga(T7, pB_out_aa(X10, T7)) → fibA_out_ga(s(s(0)), T7)
fibA_in_ga(s(s(s(T36))), T7) → U2_ga(T36, T7, pC_in_gaaaaa(T36, X59, X60, X61, X10, T7))
pC_in_gaaaaa(T36, T37, X60, X61, X10, T7) → U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_in_ga(T36, T37))
fibF_in_ga(0, s(0)) → fibF_out_ga(0, s(0))
fibF_in_ga(s(T40), X74) → U6_ga(T40, X74, pG_in_gaaa(T40, X72, X73, X74))
pG_in_gaaa(T40, T41, X73, X74) → U18_gaaa(T40, T41, X73, X74, fibF_in_ga(T40, T41))
U18_gaaa(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → U19_gaaa(T40, T41, X73, X74, pN_in_gaga(T40, X73, T41, X74))
pN_in_gaga(T40, T42, T41, X74) → U20_gaga(T40, T42, T41, X74, fibI_in_ga(T40, T42))
fibI_in_ga(0, 0) → fibI_out_ga(0, 0)
fibI_in_ga(s(0), s(0)) → fibI_out_ga(s(0), s(0))
fibI_in_ga(s(s(T45)), X87) → U9_ga(T45, X87, pG_in_gaaa(T45, X85, X86, X87))
U9_ga(T45, X87, pG_out_gaaa(T45, X85, X86, X87)) → fibI_out_ga(s(s(T45)), X87)
U20_gaga(T40, T42, T41, X74, fibI_out_ga(T40, T42)) → U21_gaga(T40, T42, T41, X74, addH_in_gga(T41, T42, X74))
addH_in_gga(0, 0, 0) → addH_out_gga(0, 0, 0)
addH_in_gga(s(T54), T55, s(X107)) → U7_gga(T54, T55, X107, addH_in_gga(T54, T55, X107))
addH_in_gga(T60, s(T61), s(X119)) → U8_gga(T60, T61, X119, addH_in_gga(T60, T61, X119))
U8_gga(T60, T61, X119, addH_out_gga(T60, T61, X119)) → addH_out_gga(T60, s(T61), s(X119))
U7_gga(T54, T55, X107, addH_out_gga(T54, T55, X107)) → addH_out_gga(s(T54), T55, s(X107))
U21_gaga(T40, T42, T41, X74, addH_out_gga(T41, T42, X74)) → pN_out_gaga(T40, T42, T41, X74)
U19_gaaa(T40, T41, X73, X74, pN_out_gaga(T40, X73, T41, X74)) → pG_out_gaaa(T40, T41, X73, X74)
U6_ga(T40, X74, pG_out_gaaa(T40, X72, X73, X74)) → fibF_out_ga(s(T40), X74)
U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_out_ga(T36, T37)) → U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_in_gagaaa(T36, X60, T37, X61, X10, T7))
pL_in_gagaaa(T36, T62, T37, X61, X10, T7) → U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_in_ga(T36, T62))
U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_out_ga(T36, T62)) → U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_in_ggagaa(T37, T62, X61, T36, X10, T7))
pM_in_ggagaa(T37, T62, T63, T36, X10, T7) → U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_in_gga(T37, T62, T63))
U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_out_gga(T37, T62, T63)) → U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_in_gaga(T36, X10, T63, T7))
pO_in_gaga(T36, T64, T63, T7) → U24_gaga(T36, T64, T63, T7, fibF_in_ga(T36, T64))
U24_gaga(T36, T64, T63, T7, fibF_out_ga(T36, T64)) → U25_gaga(T36, T64, T63, T7, addJ_in_gga(T63, T64, T7))
addJ_in_gga(0, 0, 0) → addJ_out_gga(0, 0, 0)
addJ_in_gga(s(T77), T78, s(T80)) → U10_gga(T77, T78, T80, addJ_in_gga(T77, T78, T80))
addJ_in_gga(T87, s(T88), s(T90)) → U11_gga(T87, T88, T90, addJ_in_gga(T87, T88, T90))
U11_gga(T87, T88, T90, addJ_out_gga(T87, T88, T90)) → addJ_out_gga(T87, s(T88), s(T90))
U10_gga(T77, T78, T80, addJ_out_gga(T77, T78, T80)) → addJ_out_gga(s(T77), T78, s(T80))
U25_gaga(T36, T64, T63, T7, addJ_out_gga(T63, T64, T7)) → pO_out_gaga(T36, T64, T63, T7)
U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_out_gaga(T36, X10, T63, T7)) → pM_out_ggagaa(T37, T62, T63, T36, X10, T7)
U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_out_ggagaa(T37, T62, X61, T36, X10, T7)) → pL_out_gagaaa(T36, T62, T37, X61, X10, T7)
U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_out_gagaaa(T36, X60, T37, X61, X10, T7)) → pC_out_gaaaaa(T36, T37, X60, X61, X10, T7)
U2_ga(T36, T7, pC_out_gaaaaa(T36, X59, X60, X61, X10, T7)) → fibA_out_ga(s(s(s(T36))), T7)
ADDJ_IN_GGA(T87, s(T88), s(T90)) → ADDJ_IN_GGA(T87, T88, T90)
ADDJ_IN_GGA(s(T77), T78, s(T80)) → ADDJ_IN_GGA(T77, T78, T80)
fibA_in_ga(0, 0) → fibA_out_ga(0, 0)
fibA_in_ga(s(0), s(0)) → fibA_out_ga(s(0), s(0))
fibA_in_ga(s(s(0)), T7) → U1_ga(T7, pB_in_aa(X10, T7))
pB_in_aa(T8, T7) → U12_aa(T8, T7, fibK_in_a(T8))
fibK_in_a(0) → fibK_out_a(0)
U12_aa(T8, T7, fibK_out_a(T8)) → U13_aa(T8, T7, addE_in_ga(T8, T7))
addE_in_ga(T17, s(T19)) → U4_ga(T17, T19, addD_in_ga(T17, T19))
addD_in_ga(0, 0) → addD_out_ga(0, 0)
addD_in_ga(s(T24), s(T26)) → U3_ga(T24, T26, addD_in_ga(T24, T26))
U3_ga(T24, T26, addD_out_ga(T24, T26)) → addD_out_ga(s(T24), s(T26))
U4_ga(T17, T19, addD_out_ga(T17, T19)) → addE_out_ga(T17, s(T19))
addE_in_ga(s(T31), s(T33)) → U5_ga(T31, T33, addE_in_ga(T31, T33))
U5_ga(T31, T33, addE_out_ga(T31, T33)) → addE_out_ga(s(T31), s(T33))
U13_aa(T8, T7, addE_out_ga(T8, T7)) → pB_out_aa(T8, T7)
U1_ga(T7, pB_out_aa(X10, T7)) → fibA_out_ga(s(s(0)), T7)
fibA_in_ga(s(s(s(T36))), T7) → U2_ga(T36, T7, pC_in_gaaaaa(T36, X59, X60, X61, X10, T7))
pC_in_gaaaaa(T36, T37, X60, X61, X10, T7) → U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_in_ga(T36, T37))
fibF_in_ga(0, s(0)) → fibF_out_ga(0, s(0))
fibF_in_ga(s(T40), X74) → U6_ga(T40, X74, pG_in_gaaa(T40, X72, X73, X74))
pG_in_gaaa(T40, T41, X73, X74) → U18_gaaa(T40, T41, X73, X74, fibF_in_ga(T40, T41))
U18_gaaa(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → U19_gaaa(T40, T41, X73, X74, pN_in_gaga(T40, X73, T41, X74))
pN_in_gaga(T40, T42, T41, X74) → U20_gaga(T40, T42, T41, X74, fibI_in_ga(T40, T42))
fibI_in_ga(0, 0) → fibI_out_ga(0, 0)
fibI_in_ga(s(0), s(0)) → fibI_out_ga(s(0), s(0))
fibI_in_ga(s(s(T45)), X87) → U9_ga(T45, X87, pG_in_gaaa(T45, X85, X86, X87))
U9_ga(T45, X87, pG_out_gaaa(T45, X85, X86, X87)) → fibI_out_ga(s(s(T45)), X87)
U20_gaga(T40, T42, T41, X74, fibI_out_ga(T40, T42)) → U21_gaga(T40, T42, T41, X74, addH_in_gga(T41, T42, X74))
addH_in_gga(0, 0, 0) → addH_out_gga(0, 0, 0)
addH_in_gga(s(T54), T55, s(X107)) → U7_gga(T54, T55, X107, addH_in_gga(T54, T55, X107))
addH_in_gga(T60, s(T61), s(X119)) → U8_gga(T60, T61, X119, addH_in_gga(T60, T61, X119))
U8_gga(T60, T61, X119, addH_out_gga(T60, T61, X119)) → addH_out_gga(T60, s(T61), s(X119))
U7_gga(T54, T55, X107, addH_out_gga(T54, T55, X107)) → addH_out_gga(s(T54), T55, s(X107))
U21_gaga(T40, T42, T41, X74, addH_out_gga(T41, T42, X74)) → pN_out_gaga(T40, T42, T41, X74)
U19_gaaa(T40, T41, X73, X74, pN_out_gaga(T40, X73, T41, X74)) → pG_out_gaaa(T40, T41, X73, X74)
U6_ga(T40, X74, pG_out_gaaa(T40, X72, X73, X74)) → fibF_out_ga(s(T40), X74)
U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_out_ga(T36, T37)) → U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_in_gagaaa(T36, X60, T37, X61, X10, T7))
pL_in_gagaaa(T36, T62, T37, X61, X10, T7) → U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_in_ga(T36, T62))
U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_out_ga(T36, T62)) → U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_in_ggagaa(T37, T62, X61, T36, X10, T7))
pM_in_ggagaa(T37, T62, T63, T36, X10, T7) → U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_in_gga(T37, T62, T63))
U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_out_gga(T37, T62, T63)) → U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_in_gaga(T36, X10, T63, T7))
pO_in_gaga(T36, T64, T63, T7) → U24_gaga(T36, T64, T63, T7, fibF_in_ga(T36, T64))
U24_gaga(T36, T64, T63, T7, fibF_out_ga(T36, T64)) → U25_gaga(T36, T64, T63, T7, addJ_in_gga(T63, T64, T7))
addJ_in_gga(0, 0, 0) → addJ_out_gga(0, 0, 0)
addJ_in_gga(s(T77), T78, s(T80)) → U10_gga(T77, T78, T80, addJ_in_gga(T77, T78, T80))
addJ_in_gga(T87, s(T88), s(T90)) → U11_gga(T87, T88, T90, addJ_in_gga(T87, T88, T90))
U11_gga(T87, T88, T90, addJ_out_gga(T87, T88, T90)) → addJ_out_gga(T87, s(T88), s(T90))
U10_gga(T77, T78, T80, addJ_out_gga(T77, T78, T80)) → addJ_out_gga(s(T77), T78, s(T80))
U25_gaga(T36, T64, T63, T7, addJ_out_gga(T63, T64, T7)) → pO_out_gaga(T36, T64, T63, T7)
U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_out_gaga(T36, X10, T63, T7)) → pM_out_ggagaa(T37, T62, T63, T36, X10, T7)
U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_out_ggagaa(T37, T62, X61, T36, X10, T7)) → pL_out_gagaaa(T36, T62, T37, X61, X10, T7)
U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_out_gagaaa(T36, X60, T37, X61, X10, T7)) → pC_out_gaaaaa(T36, T37, X60, X61, X10, T7)
U2_ga(T36, T7, pC_out_gaaaaa(T36, X59, X60, X61, X10, T7)) → fibA_out_ga(s(s(s(T36))), T7)
ADDJ_IN_GGA(T87, s(T88), s(T90)) → ADDJ_IN_GGA(T87, T88, T90)
ADDJ_IN_GGA(s(T77), T78, s(T80)) → ADDJ_IN_GGA(T77, T78, T80)
ADDJ_IN_GGA(T87, s(T88)) → ADDJ_IN_GGA(T87, T88)
ADDJ_IN_GGA(s(T77), T78) → ADDJ_IN_GGA(T77, T78)
From the DPs we obtained the following set of size-change graphs:
ADDH_IN_GGA(T60, s(T61), s(X119)) → ADDH_IN_GGA(T60, T61, X119)
ADDH_IN_GGA(s(T54), T55, s(X107)) → ADDH_IN_GGA(T54, T55, X107)
fibA_in_ga(0, 0) → fibA_out_ga(0, 0)
fibA_in_ga(s(0), s(0)) → fibA_out_ga(s(0), s(0))
fibA_in_ga(s(s(0)), T7) → U1_ga(T7, pB_in_aa(X10, T7))
pB_in_aa(T8, T7) → U12_aa(T8, T7, fibK_in_a(T8))
fibK_in_a(0) → fibK_out_a(0)
U12_aa(T8, T7, fibK_out_a(T8)) → U13_aa(T8, T7, addE_in_ga(T8, T7))
addE_in_ga(T17, s(T19)) → U4_ga(T17, T19, addD_in_ga(T17, T19))
addD_in_ga(0, 0) → addD_out_ga(0, 0)
addD_in_ga(s(T24), s(T26)) → U3_ga(T24, T26, addD_in_ga(T24, T26))
U3_ga(T24, T26, addD_out_ga(T24, T26)) → addD_out_ga(s(T24), s(T26))
U4_ga(T17, T19, addD_out_ga(T17, T19)) → addE_out_ga(T17, s(T19))
addE_in_ga(s(T31), s(T33)) → U5_ga(T31, T33, addE_in_ga(T31, T33))
U5_ga(T31, T33, addE_out_ga(T31, T33)) → addE_out_ga(s(T31), s(T33))
U13_aa(T8, T7, addE_out_ga(T8, T7)) → pB_out_aa(T8, T7)
U1_ga(T7, pB_out_aa(X10, T7)) → fibA_out_ga(s(s(0)), T7)
fibA_in_ga(s(s(s(T36))), T7) → U2_ga(T36, T7, pC_in_gaaaaa(T36, X59, X60, X61, X10, T7))
pC_in_gaaaaa(T36, T37, X60, X61, X10, T7) → U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_in_ga(T36, T37))
fibF_in_ga(0, s(0)) → fibF_out_ga(0, s(0))
fibF_in_ga(s(T40), X74) → U6_ga(T40, X74, pG_in_gaaa(T40, X72, X73, X74))
pG_in_gaaa(T40, T41, X73, X74) → U18_gaaa(T40, T41, X73, X74, fibF_in_ga(T40, T41))
U18_gaaa(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → U19_gaaa(T40, T41, X73, X74, pN_in_gaga(T40, X73, T41, X74))
pN_in_gaga(T40, T42, T41, X74) → U20_gaga(T40, T42, T41, X74, fibI_in_ga(T40, T42))
fibI_in_ga(0, 0) → fibI_out_ga(0, 0)
fibI_in_ga(s(0), s(0)) → fibI_out_ga(s(0), s(0))
fibI_in_ga(s(s(T45)), X87) → U9_ga(T45, X87, pG_in_gaaa(T45, X85, X86, X87))
U9_ga(T45, X87, pG_out_gaaa(T45, X85, X86, X87)) → fibI_out_ga(s(s(T45)), X87)
U20_gaga(T40, T42, T41, X74, fibI_out_ga(T40, T42)) → U21_gaga(T40, T42, T41, X74, addH_in_gga(T41, T42, X74))
addH_in_gga(0, 0, 0) → addH_out_gga(0, 0, 0)
addH_in_gga(s(T54), T55, s(X107)) → U7_gga(T54, T55, X107, addH_in_gga(T54, T55, X107))
addH_in_gga(T60, s(T61), s(X119)) → U8_gga(T60, T61, X119, addH_in_gga(T60, T61, X119))
U8_gga(T60, T61, X119, addH_out_gga(T60, T61, X119)) → addH_out_gga(T60, s(T61), s(X119))
U7_gga(T54, T55, X107, addH_out_gga(T54, T55, X107)) → addH_out_gga(s(T54), T55, s(X107))
U21_gaga(T40, T42, T41, X74, addH_out_gga(T41, T42, X74)) → pN_out_gaga(T40, T42, T41, X74)
U19_gaaa(T40, T41, X73, X74, pN_out_gaga(T40, X73, T41, X74)) → pG_out_gaaa(T40, T41, X73, X74)
U6_ga(T40, X74, pG_out_gaaa(T40, X72, X73, X74)) → fibF_out_ga(s(T40), X74)
U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_out_ga(T36, T37)) → U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_in_gagaaa(T36, X60, T37, X61, X10, T7))
pL_in_gagaaa(T36, T62, T37, X61, X10, T7) → U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_in_ga(T36, T62))
U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_out_ga(T36, T62)) → U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_in_ggagaa(T37, T62, X61, T36, X10, T7))
pM_in_ggagaa(T37, T62, T63, T36, X10, T7) → U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_in_gga(T37, T62, T63))
U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_out_gga(T37, T62, T63)) → U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_in_gaga(T36, X10, T63, T7))
pO_in_gaga(T36, T64, T63, T7) → U24_gaga(T36, T64, T63, T7, fibF_in_ga(T36, T64))
U24_gaga(T36, T64, T63, T7, fibF_out_ga(T36, T64)) → U25_gaga(T36, T64, T63, T7, addJ_in_gga(T63, T64, T7))
addJ_in_gga(0, 0, 0) → addJ_out_gga(0, 0, 0)
addJ_in_gga(s(T77), T78, s(T80)) → U10_gga(T77, T78, T80, addJ_in_gga(T77, T78, T80))
addJ_in_gga(T87, s(T88), s(T90)) → U11_gga(T87, T88, T90, addJ_in_gga(T87, T88, T90))
U11_gga(T87, T88, T90, addJ_out_gga(T87, T88, T90)) → addJ_out_gga(T87, s(T88), s(T90))
U10_gga(T77, T78, T80, addJ_out_gga(T77, T78, T80)) → addJ_out_gga(s(T77), T78, s(T80))
U25_gaga(T36, T64, T63, T7, addJ_out_gga(T63, T64, T7)) → pO_out_gaga(T36, T64, T63, T7)
U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_out_gaga(T36, X10, T63, T7)) → pM_out_ggagaa(T37, T62, T63, T36, X10, T7)
U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_out_ggagaa(T37, T62, X61, T36, X10, T7)) → pL_out_gagaaa(T36, T62, T37, X61, X10, T7)
U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_out_gagaaa(T36, X60, T37, X61, X10, T7)) → pC_out_gaaaaa(T36, T37, X60, X61, X10, T7)
U2_ga(T36, T7, pC_out_gaaaaa(T36, X59, X60, X61, X10, T7)) → fibA_out_ga(s(s(s(T36))), T7)
ADDH_IN_GGA(T60, s(T61), s(X119)) → ADDH_IN_GGA(T60, T61, X119)
ADDH_IN_GGA(s(T54), T55, s(X107)) → ADDH_IN_GGA(T54, T55, X107)
ADDH_IN_GGA(T60, s(T61)) → ADDH_IN_GGA(T60, T61)
ADDH_IN_GGA(s(T54), T55) → ADDH_IN_GGA(T54, T55)
From the DPs we obtained the following set of size-change graphs:
FIBF_IN_GA(s(T40), X74) → PG_IN_GAAA(T40, X72, X73, X74)
PG_IN_GAAA(T40, T41, X73, X74) → U18_GAAA(T40, T41, X73, X74, fibF_in_ga(T40, T41))
U18_GAAA(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → PN_IN_GAGA(T40, X73, T41, X74)
PN_IN_GAGA(T40, T42, T41, X74) → FIBI_IN_GA(T40, T42)
FIBI_IN_GA(s(s(T45)), X87) → PG_IN_GAAA(T45, X85, X86, X87)
PG_IN_GAAA(T40, T41, X73, X74) → FIBF_IN_GA(T40, T41)
fibA_in_ga(0, 0) → fibA_out_ga(0, 0)
fibA_in_ga(s(0), s(0)) → fibA_out_ga(s(0), s(0))
fibA_in_ga(s(s(0)), T7) → U1_ga(T7, pB_in_aa(X10, T7))
pB_in_aa(T8, T7) → U12_aa(T8, T7, fibK_in_a(T8))
fibK_in_a(0) → fibK_out_a(0)
U12_aa(T8, T7, fibK_out_a(T8)) → U13_aa(T8, T7, addE_in_ga(T8, T7))
addE_in_ga(T17, s(T19)) → U4_ga(T17, T19, addD_in_ga(T17, T19))
addD_in_ga(0, 0) → addD_out_ga(0, 0)
addD_in_ga(s(T24), s(T26)) → U3_ga(T24, T26, addD_in_ga(T24, T26))
U3_ga(T24, T26, addD_out_ga(T24, T26)) → addD_out_ga(s(T24), s(T26))
U4_ga(T17, T19, addD_out_ga(T17, T19)) → addE_out_ga(T17, s(T19))
addE_in_ga(s(T31), s(T33)) → U5_ga(T31, T33, addE_in_ga(T31, T33))
U5_ga(T31, T33, addE_out_ga(T31, T33)) → addE_out_ga(s(T31), s(T33))
U13_aa(T8, T7, addE_out_ga(T8, T7)) → pB_out_aa(T8, T7)
U1_ga(T7, pB_out_aa(X10, T7)) → fibA_out_ga(s(s(0)), T7)
fibA_in_ga(s(s(s(T36))), T7) → U2_ga(T36, T7, pC_in_gaaaaa(T36, X59, X60, X61, X10, T7))
pC_in_gaaaaa(T36, T37, X60, X61, X10, T7) → U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_in_ga(T36, T37))
fibF_in_ga(0, s(0)) → fibF_out_ga(0, s(0))
fibF_in_ga(s(T40), X74) → U6_ga(T40, X74, pG_in_gaaa(T40, X72, X73, X74))
pG_in_gaaa(T40, T41, X73, X74) → U18_gaaa(T40, T41, X73, X74, fibF_in_ga(T40, T41))
U18_gaaa(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → U19_gaaa(T40, T41, X73, X74, pN_in_gaga(T40, X73, T41, X74))
pN_in_gaga(T40, T42, T41, X74) → U20_gaga(T40, T42, T41, X74, fibI_in_ga(T40, T42))
fibI_in_ga(0, 0) → fibI_out_ga(0, 0)
fibI_in_ga(s(0), s(0)) → fibI_out_ga(s(0), s(0))
fibI_in_ga(s(s(T45)), X87) → U9_ga(T45, X87, pG_in_gaaa(T45, X85, X86, X87))
U9_ga(T45, X87, pG_out_gaaa(T45, X85, X86, X87)) → fibI_out_ga(s(s(T45)), X87)
U20_gaga(T40, T42, T41, X74, fibI_out_ga(T40, T42)) → U21_gaga(T40, T42, T41, X74, addH_in_gga(T41, T42, X74))
addH_in_gga(0, 0, 0) → addH_out_gga(0, 0, 0)
addH_in_gga(s(T54), T55, s(X107)) → U7_gga(T54, T55, X107, addH_in_gga(T54, T55, X107))
addH_in_gga(T60, s(T61), s(X119)) → U8_gga(T60, T61, X119, addH_in_gga(T60, T61, X119))
U8_gga(T60, T61, X119, addH_out_gga(T60, T61, X119)) → addH_out_gga(T60, s(T61), s(X119))
U7_gga(T54, T55, X107, addH_out_gga(T54, T55, X107)) → addH_out_gga(s(T54), T55, s(X107))
U21_gaga(T40, T42, T41, X74, addH_out_gga(T41, T42, X74)) → pN_out_gaga(T40, T42, T41, X74)
U19_gaaa(T40, T41, X73, X74, pN_out_gaga(T40, X73, T41, X74)) → pG_out_gaaa(T40, T41, X73, X74)
U6_ga(T40, X74, pG_out_gaaa(T40, X72, X73, X74)) → fibF_out_ga(s(T40), X74)
U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_out_ga(T36, T37)) → U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_in_gagaaa(T36, X60, T37, X61, X10, T7))
pL_in_gagaaa(T36, T62, T37, X61, X10, T7) → U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_in_ga(T36, T62))
U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_out_ga(T36, T62)) → U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_in_ggagaa(T37, T62, X61, T36, X10, T7))
pM_in_ggagaa(T37, T62, T63, T36, X10, T7) → U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_in_gga(T37, T62, T63))
U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_out_gga(T37, T62, T63)) → U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_in_gaga(T36, X10, T63, T7))
pO_in_gaga(T36, T64, T63, T7) → U24_gaga(T36, T64, T63, T7, fibF_in_ga(T36, T64))
U24_gaga(T36, T64, T63, T7, fibF_out_ga(T36, T64)) → U25_gaga(T36, T64, T63, T7, addJ_in_gga(T63, T64, T7))
addJ_in_gga(0, 0, 0) → addJ_out_gga(0, 0, 0)
addJ_in_gga(s(T77), T78, s(T80)) → U10_gga(T77, T78, T80, addJ_in_gga(T77, T78, T80))
addJ_in_gga(T87, s(T88), s(T90)) → U11_gga(T87, T88, T90, addJ_in_gga(T87, T88, T90))
U11_gga(T87, T88, T90, addJ_out_gga(T87, T88, T90)) → addJ_out_gga(T87, s(T88), s(T90))
U10_gga(T77, T78, T80, addJ_out_gga(T77, T78, T80)) → addJ_out_gga(s(T77), T78, s(T80))
U25_gaga(T36, T64, T63, T7, addJ_out_gga(T63, T64, T7)) → pO_out_gaga(T36, T64, T63, T7)
U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_out_gaga(T36, X10, T63, T7)) → pM_out_ggagaa(T37, T62, T63, T36, X10, T7)
U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_out_ggagaa(T37, T62, X61, T36, X10, T7)) → pL_out_gagaaa(T36, T62, T37, X61, X10, T7)
U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_out_gagaaa(T36, X60, T37, X61, X10, T7)) → pC_out_gaaaaa(T36, T37, X60, X61, X10, T7)
U2_ga(T36, T7, pC_out_gaaaaa(T36, X59, X60, X61, X10, T7)) → fibA_out_ga(s(s(s(T36))), T7)
FIBF_IN_GA(s(T40), X74) → PG_IN_GAAA(T40, X72, X73, X74)
PG_IN_GAAA(T40, T41, X73, X74) → U18_GAAA(T40, T41, X73, X74, fibF_in_ga(T40, T41))
U18_GAAA(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → PN_IN_GAGA(T40, X73, T41, X74)
PN_IN_GAGA(T40, T42, T41, X74) → FIBI_IN_GA(T40, T42)
FIBI_IN_GA(s(s(T45)), X87) → PG_IN_GAAA(T45, X85, X86, X87)
PG_IN_GAAA(T40, T41, X73, X74) → FIBF_IN_GA(T40, T41)
fibF_in_ga(0, s(0)) → fibF_out_ga(0, s(0))
fibF_in_ga(s(T40), X74) → U6_ga(T40, X74, pG_in_gaaa(T40, X72, X73, X74))
U6_ga(T40, X74, pG_out_gaaa(T40, X72, X73, X74)) → fibF_out_ga(s(T40), X74)
pG_in_gaaa(T40, T41, X73, X74) → U18_gaaa(T40, T41, X73, X74, fibF_in_ga(T40, T41))
U18_gaaa(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → U19_gaaa(T40, T41, X73, X74, pN_in_gaga(T40, X73, T41, X74))
U19_gaaa(T40, T41, X73, X74, pN_out_gaga(T40, X73, T41, X74)) → pG_out_gaaa(T40, T41, X73, X74)
pN_in_gaga(T40, T42, T41, X74) → U20_gaga(T40, T42, T41, X74, fibI_in_ga(T40, T42))
U20_gaga(T40, T42, T41, X74, fibI_out_ga(T40, T42)) → U21_gaga(T40, T42, T41, X74, addH_in_gga(T41, T42, X74))
fibI_in_ga(0, 0) → fibI_out_ga(0, 0)
fibI_in_ga(s(0), s(0)) → fibI_out_ga(s(0), s(0))
fibI_in_ga(s(s(T45)), X87) → U9_ga(T45, X87, pG_in_gaaa(T45, X85, X86, X87))
U21_gaga(T40, T42, T41, X74, addH_out_gga(T41, T42, X74)) → pN_out_gaga(T40, T42, T41, X74)
U9_ga(T45, X87, pG_out_gaaa(T45, X85, X86, X87)) → fibI_out_ga(s(s(T45)), X87)
addH_in_gga(0, 0, 0) → addH_out_gga(0, 0, 0)
addH_in_gga(s(T54), T55, s(X107)) → U7_gga(T54, T55, X107, addH_in_gga(T54, T55, X107))
addH_in_gga(T60, s(T61), s(X119)) → U8_gga(T60, T61, X119, addH_in_gga(T60, T61, X119))
U7_gga(T54, T55, X107, addH_out_gga(T54, T55, X107)) → addH_out_gga(s(T54), T55, s(X107))
U8_gga(T60, T61, X119, addH_out_gga(T60, T61, X119)) → addH_out_gga(T60, s(T61), s(X119))
FIBF_IN_GA(s(T40)) → PG_IN_GAAA(T40)
PG_IN_GAAA(T40) → U18_GAAA(T40, fibF_in_ga(T40))
U18_GAAA(T40, fibF_out_ga(T40, T41)) → PN_IN_GAGA(T40, T41)
PN_IN_GAGA(T40, T41) → FIBI_IN_GA(T40)
FIBI_IN_GA(s(s(T45))) → PG_IN_GAAA(T45)
PG_IN_GAAA(T40) → FIBF_IN_GA(T40)
fibF_in_ga(0) → fibF_out_ga(0, s(0))
fibF_in_ga(s(T40)) → U6_ga(T40, pG_in_gaaa(T40))
U6_ga(T40, pG_out_gaaa(T40, X72, X73, X74)) → fibF_out_ga(s(T40), X74)
pG_in_gaaa(T40) → U18_gaaa(T40, fibF_in_ga(T40))
U18_gaaa(T40, fibF_out_ga(T40, T41)) → U19_gaaa(T40, T41, pN_in_gaga(T40, T41))
U19_gaaa(T40, T41, pN_out_gaga(T40, X73, T41, X74)) → pG_out_gaaa(T40, T41, X73, X74)
pN_in_gaga(T40, T41) → U20_gaga(T40, T41, fibI_in_ga(T40))
U20_gaga(T40, T41, fibI_out_ga(T40, T42)) → U21_gaga(T40, T42, T41, addH_in_gga(T41, T42))
fibI_in_ga(0) → fibI_out_ga(0, 0)
fibI_in_ga(s(0)) → fibI_out_ga(s(0), s(0))
fibI_in_ga(s(s(T45))) → U9_ga(T45, pG_in_gaaa(T45))
U21_gaga(T40, T42, T41, addH_out_gga(T41, T42, X74)) → pN_out_gaga(T40, T42, T41, X74)
U9_ga(T45, pG_out_gaaa(T45, X85, X86, X87)) → fibI_out_ga(s(s(T45)), X87)
addH_in_gga(0, 0) → addH_out_gga(0, 0, 0)
addH_in_gga(s(T54), T55) → U7_gga(T54, T55, addH_in_gga(T54, T55))
addH_in_gga(T60, s(T61)) → U8_gga(T60, T61, addH_in_gga(T60, T61))
U7_gga(T54, T55, addH_out_gga(T54, T55, X107)) → addH_out_gga(s(T54), T55, s(X107))
U8_gga(T60, T61, addH_out_gga(T60, T61, X119)) → addH_out_gga(T60, s(T61), s(X119))
fibF_in_ga(x0)
U6_ga(x0, x1)
pG_in_gaaa(x0)
U18_gaaa(x0, x1)
U19_gaaa(x0, x1, x2)
pN_in_gaga(x0, x1)
U20_gaga(x0, x1, x2)
fibI_in_ga(x0)
U21_gaga(x0, x1, x2, x3)
U9_ga(x0, x1)
addH_in_gga(x0, x1)
U7_gga(x0, x1, x2)
U8_gga(x0, x1, x2)
From the DPs we obtained the following set of size-change graphs:
ADDD_IN_GA(s(T24), s(T26)) → ADDD_IN_GA(T24, T26)
fibA_in_ga(0, 0) → fibA_out_ga(0, 0)
fibA_in_ga(s(0), s(0)) → fibA_out_ga(s(0), s(0))
fibA_in_ga(s(s(0)), T7) → U1_ga(T7, pB_in_aa(X10, T7))
pB_in_aa(T8, T7) → U12_aa(T8, T7, fibK_in_a(T8))
fibK_in_a(0) → fibK_out_a(0)
U12_aa(T8, T7, fibK_out_a(T8)) → U13_aa(T8, T7, addE_in_ga(T8, T7))
addE_in_ga(T17, s(T19)) → U4_ga(T17, T19, addD_in_ga(T17, T19))
addD_in_ga(0, 0) → addD_out_ga(0, 0)
addD_in_ga(s(T24), s(T26)) → U3_ga(T24, T26, addD_in_ga(T24, T26))
U3_ga(T24, T26, addD_out_ga(T24, T26)) → addD_out_ga(s(T24), s(T26))
U4_ga(T17, T19, addD_out_ga(T17, T19)) → addE_out_ga(T17, s(T19))
addE_in_ga(s(T31), s(T33)) → U5_ga(T31, T33, addE_in_ga(T31, T33))
U5_ga(T31, T33, addE_out_ga(T31, T33)) → addE_out_ga(s(T31), s(T33))
U13_aa(T8, T7, addE_out_ga(T8, T7)) → pB_out_aa(T8, T7)
U1_ga(T7, pB_out_aa(X10, T7)) → fibA_out_ga(s(s(0)), T7)
fibA_in_ga(s(s(s(T36))), T7) → U2_ga(T36, T7, pC_in_gaaaaa(T36, X59, X60, X61, X10, T7))
pC_in_gaaaaa(T36, T37, X60, X61, X10, T7) → U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_in_ga(T36, T37))
fibF_in_ga(0, s(0)) → fibF_out_ga(0, s(0))
fibF_in_ga(s(T40), X74) → U6_ga(T40, X74, pG_in_gaaa(T40, X72, X73, X74))
pG_in_gaaa(T40, T41, X73, X74) → U18_gaaa(T40, T41, X73, X74, fibF_in_ga(T40, T41))
U18_gaaa(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → U19_gaaa(T40, T41, X73, X74, pN_in_gaga(T40, X73, T41, X74))
pN_in_gaga(T40, T42, T41, X74) → U20_gaga(T40, T42, T41, X74, fibI_in_ga(T40, T42))
fibI_in_ga(0, 0) → fibI_out_ga(0, 0)
fibI_in_ga(s(0), s(0)) → fibI_out_ga(s(0), s(0))
fibI_in_ga(s(s(T45)), X87) → U9_ga(T45, X87, pG_in_gaaa(T45, X85, X86, X87))
U9_ga(T45, X87, pG_out_gaaa(T45, X85, X86, X87)) → fibI_out_ga(s(s(T45)), X87)
U20_gaga(T40, T42, T41, X74, fibI_out_ga(T40, T42)) → U21_gaga(T40, T42, T41, X74, addH_in_gga(T41, T42, X74))
addH_in_gga(0, 0, 0) → addH_out_gga(0, 0, 0)
addH_in_gga(s(T54), T55, s(X107)) → U7_gga(T54, T55, X107, addH_in_gga(T54, T55, X107))
addH_in_gga(T60, s(T61), s(X119)) → U8_gga(T60, T61, X119, addH_in_gga(T60, T61, X119))
U8_gga(T60, T61, X119, addH_out_gga(T60, T61, X119)) → addH_out_gga(T60, s(T61), s(X119))
U7_gga(T54, T55, X107, addH_out_gga(T54, T55, X107)) → addH_out_gga(s(T54), T55, s(X107))
U21_gaga(T40, T42, T41, X74, addH_out_gga(T41, T42, X74)) → pN_out_gaga(T40, T42, T41, X74)
U19_gaaa(T40, T41, X73, X74, pN_out_gaga(T40, X73, T41, X74)) → pG_out_gaaa(T40, T41, X73, X74)
U6_ga(T40, X74, pG_out_gaaa(T40, X72, X73, X74)) → fibF_out_ga(s(T40), X74)
U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_out_ga(T36, T37)) → U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_in_gagaaa(T36, X60, T37, X61, X10, T7))
pL_in_gagaaa(T36, T62, T37, X61, X10, T7) → U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_in_ga(T36, T62))
U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_out_ga(T36, T62)) → U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_in_ggagaa(T37, T62, X61, T36, X10, T7))
pM_in_ggagaa(T37, T62, T63, T36, X10, T7) → U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_in_gga(T37, T62, T63))
U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_out_gga(T37, T62, T63)) → U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_in_gaga(T36, X10, T63, T7))
pO_in_gaga(T36, T64, T63, T7) → U24_gaga(T36, T64, T63, T7, fibF_in_ga(T36, T64))
U24_gaga(T36, T64, T63, T7, fibF_out_ga(T36, T64)) → U25_gaga(T36, T64, T63, T7, addJ_in_gga(T63, T64, T7))
addJ_in_gga(0, 0, 0) → addJ_out_gga(0, 0, 0)
addJ_in_gga(s(T77), T78, s(T80)) → U10_gga(T77, T78, T80, addJ_in_gga(T77, T78, T80))
addJ_in_gga(T87, s(T88), s(T90)) → U11_gga(T87, T88, T90, addJ_in_gga(T87, T88, T90))
U11_gga(T87, T88, T90, addJ_out_gga(T87, T88, T90)) → addJ_out_gga(T87, s(T88), s(T90))
U10_gga(T77, T78, T80, addJ_out_gga(T77, T78, T80)) → addJ_out_gga(s(T77), T78, s(T80))
U25_gaga(T36, T64, T63, T7, addJ_out_gga(T63, T64, T7)) → pO_out_gaga(T36, T64, T63, T7)
U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_out_gaga(T36, X10, T63, T7)) → pM_out_ggagaa(T37, T62, T63, T36, X10, T7)
U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_out_ggagaa(T37, T62, X61, T36, X10, T7)) → pL_out_gagaaa(T36, T62, T37, X61, X10, T7)
U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_out_gagaaa(T36, X60, T37, X61, X10, T7)) → pC_out_gaaaaa(T36, T37, X60, X61, X10, T7)
U2_ga(T36, T7, pC_out_gaaaaa(T36, X59, X60, X61, X10, T7)) → fibA_out_ga(s(s(s(T36))), T7)
ADDD_IN_GA(s(T24), s(T26)) → ADDD_IN_GA(T24, T26)
ADDD_IN_GA(s(T24)) → ADDD_IN_GA(T24)
From the DPs we obtained the following set of size-change graphs:
ADDE_IN_GA(s(T31), s(T33)) → ADDE_IN_GA(T31, T33)
fibA_in_ga(0, 0) → fibA_out_ga(0, 0)
fibA_in_ga(s(0), s(0)) → fibA_out_ga(s(0), s(0))
fibA_in_ga(s(s(0)), T7) → U1_ga(T7, pB_in_aa(X10, T7))
pB_in_aa(T8, T7) → U12_aa(T8, T7, fibK_in_a(T8))
fibK_in_a(0) → fibK_out_a(0)
U12_aa(T8, T7, fibK_out_a(T8)) → U13_aa(T8, T7, addE_in_ga(T8, T7))
addE_in_ga(T17, s(T19)) → U4_ga(T17, T19, addD_in_ga(T17, T19))
addD_in_ga(0, 0) → addD_out_ga(0, 0)
addD_in_ga(s(T24), s(T26)) → U3_ga(T24, T26, addD_in_ga(T24, T26))
U3_ga(T24, T26, addD_out_ga(T24, T26)) → addD_out_ga(s(T24), s(T26))
U4_ga(T17, T19, addD_out_ga(T17, T19)) → addE_out_ga(T17, s(T19))
addE_in_ga(s(T31), s(T33)) → U5_ga(T31, T33, addE_in_ga(T31, T33))
U5_ga(T31, T33, addE_out_ga(T31, T33)) → addE_out_ga(s(T31), s(T33))
U13_aa(T8, T7, addE_out_ga(T8, T7)) → pB_out_aa(T8, T7)
U1_ga(T7, pB_out_aa(X10, T7)) → fibA_out_ga(s(s(0)), T7)
fibA_in_ga(s(s(s(T36))), T7) → U2_ga(T36, T7, pC_in_gaaaaa(T36, X59, X60, X61, X10, T7))
pC_in_gaaaaa(T36, T37, X60, X61, X10, T7) → U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_in_ga(T36, T37))
fibF_in_ga(0, s(0)) → fibF_out_ga(0, s(0))
fibF_in_ga(s(T40), X74) → U6_ga(T40, X74, pG_in_gaaa(T40, X72, X73, X74))
pG_in_gaaa(T40, T41, X73, X74) → U18_gaaa(T40, T41, X73, X74, fibF_in_ga(T40, T41))
U18_gaaa(T40, T41, X73, X74, fibF_out_ga(T40, T41)) → U19_gaaa(T40, T41, X73, X74, pN_in_gaga(T40, X73, T41, X74))
pN_in_gaga(T40, T42, T41, X74) → U20_gaga(T40, T42, T41, X74, fibI_in_ga(T40, T42))
fibI_in_ga(0, 0) → fibI_out_ga(0, 0)
fibI_in_ga(s(0), s(0)) → fibI_out_ga(s(0), s(0))
fibI_in_ga(s(s(T45)), X87) → U9_ga(T45, X87, pG_in_gaaa(T45, X85, X86, X87))
U9_ga(T45, X87, pG_out_gaaa(T45, X85, X86, X87)) → fibI_out_ga(s(s(T45)), X87)
U20_gaga(T40, T42, T41, X74, fibI_out_ga(T40, T42)) → U21_gaga(T40, T42, T41, X74, addH_in_gga(T41, T42, X74))
addH_in_gga(0, 0, 0) → addH_out_gga(0, 0, 0)
addH_in_gga(s(T54), T55, s(X107)) → U7_gga(T54, T55, X107, addH_in_gga(T54, T55, X107))
addH_in_gga(T60, s(T61), s(X119)) → U8_gga(T60, T61, X119, addH_in_gga(T60, T61, X119))
U8_gga(T60, T61, X119, addH_out_gga(T60, T61, X119)) → addH_out_gga(T60, s(T61), s(X119))
U7_gga(T54, T55, X107, addH_out_gga(T54, T55, X107)) → addH_out_gga(s(T54), T55, s(X107))
U21_gaga(T40, T42, T41, X74, addH_out_gga(T41, T42, X74)) → pN_out_gaga(T40, T42, T41, X74)
U19_gaaa(T40, T41, X73, X74, pN_out_gaga(T40, X73, T41, X74)) → pG_out_gaaa(T40, T41, X73, X74)
U6_ga(T40, X74, pG_out_gaaa(T40, X72, X73, X74)) → fibF_out_ga(s(T40), X74)
U14_gaaaaa(T36, T37, X60, X61, X10, T7, fibF_out_ga(T36, T37)) → U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_in_gagaaa(T36, X60, T37, X61, X10, T7))
pL_in_gagaaa(T36, T62, T37, X61, X10, T7) → U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_in_ga(T36, T62))
U16_gagaaa(T36, T62, T37, X61, X10, T7, fibI_out_ga(T36, T62)) → U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_in_ggagaa(T37, T62, X61, T36, X10, T7))
pM_in_ggagaa(T37, T62, T63, T36, X10, T7) → U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_in_gga(T37, T62, T63))
U22_ggagaa(T37, T62, T63, T36, X10, T7, addH_out_gga(T37, T62, T63)) → U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_in_gaga(T36, X10, T63, T7))
pO_in_gaga(T36, T64, T63, T7) → U24_gaga(T36, T64, T63, T7, fibF_in_ga(T36, T64))
U24_gaga(T36, T64, T63, T7, fibF_out_ga(T36, T64)) → U25_gaga(T36, T64, T63, T7, addJ_in_gga(T63, T64, T7))
addJ_in_gga(0, 0, 0) → addJ_out_gga(0, 0, 0)
addJ_in_gga(s(T77), T78, s(T80)) → U10_gga(T77, T78, T80, addJ_in_gga(T77, T78, T80))
addJ_in_gga(T87, s(T88), s(T90)) → U11_gga(T87, T88, T90, addJ_in_gga(T87, T88, T90))
U11_gga(T87, T88, T90, addJ_out_gga(T87, T88, T90)) → addJ_out_gga(T87, s(T88), s(T90))
U10_gga(T77, T78, T80, addJ_out_gga(T77, T78, T80)) → addJ_out_gga(s(T77), T78, s(T80))
U25_gaga(T36, T64, T63, T7, addJ_out_gga(T63, T64, T7)) → pO_out_gaga(T36, T64, T63, T7)
U23_ggagaa(T37, T62, T63, T36, X10, T7, pO_out_gaga(T36, X10, T63, T7)) → pM_out_ggagaa(T37, T62, T63, T36, X10, T7)
U17_gagaaa(T36, T62, T37, X61, X10, T7, pM_out_ggagaa(T37, T62, X61, T36, X10, T7)) → pL_out_gagaaa(T36, T62, T37, X61, X10, T7)
U15_gaaaaa(T36, T37, X60, X61, X10, T7, pL_out_gagaaa(T36, X60, T37, X61, X10, T7)) → pC_out_gaaaaa(T36, T37, X60, X61, X10, T7)
U2_ga(T36, T7, pC_out_gaaaaa(T36, X59, X60, X61, X10, T7)) → fibA_out_ga(s(s(s(T36))), T7)
ADDE_IN_GA(s(T31), s(T33)) → ADDE_IN_GA(T31, T33)
ADDE_IN_GA(s(T31)) → ADDE_IN_GA(T31)
From the DPs we obtained the following set of size-change graphs: