(0) Obligation:

Clauses:

e(a, b).
q(X, Y) :- e(X, Y).
q(X, f(f(X))) :- ','(p(X, f(f(X))), q(X, f(X))).
q(X, f(f(Y))) :- p(X, f(Y)).
p(X, Y) :- e(X, Y).
p(X, f(Y)) :- ','(r(X, f(Y)), p(X, Y)).
r(X, Y) :- e(X, Y).
r(X, f(Y)) :- ','(q(X, Y), r(X, Y)).
r(f(X), f(X)) :- t(f(X), f(X)).
t(X, Y) :- e(X, Y).
t(f(X), f(Y)) :- ','(q(f(X), f(Y)), t(X, Y)).

Query: q(g,g)

(1) PrologToPiTRSViaGraphTransformerProof (SOUND transformation)

Transformed Prolog program to (Pi-)TRS.

(2) Obligation:

Pi-finite rewrite system:
The TRS R consists of the following rules:

qA_in_gg(a, b) → qA_out_gg(a, b)
qA_in_gg(T11, f(f(T11))) → U1_gg(T11, pB_in_g(T11))
pB_in_g(T11) → U49_g(T11, pN3_in_g(T11))
pN3_in_g(T22) → U17_g(T22, pN4_in_g(T22))
pN4_in_g(T22) → U51_g(T22, rN5_in_g(T22))
rN5_in_g(T36) → U18_g(T36, pN6_in_g(T36))
pN6_in_g(T36) → U53_g(T36, qD_in_g(T36))
qD_in_g(f(T656)) → U3_g(T656, pE_in_g(f(T656)))
pE_in_g(f(T628)) → U16_g(T628, pN2_in_g(T628))
pN2_in_g(T628) → U91_g(T628, rZ_in_g(f(T628)))
rZ_in_g(f(T565)) → U14_g(T565, pN1_in_g(T565))
pN1_in_g(T565) → U87_g(T565, qN34_in_g(T565))
qN34_in_g(f(f(T579))) → U41_g(T579, pV_in_g(f(T579)))
pV_in_g(f(T534)) → U12_g(T534, pW_in_g(T534))
pW_in_g(T534) → U85_g(T534, rT_in_g(f(T534)))
rT_in_g(f(T487)) → U11_g(T487, pU_in_g(T487))
pU_in_g(T487) → U83_g(T487, qN31_in_g(T487))
qN31_in_g(f(f(T501))) → U38_g(T501, pR_in_g(f(T501)))
pR_in_g(f(T456)) → U10_g(T456, pS_in_g(T456))
pS_in_g(T456) → U81_g(T456, rP_in_g(f(T456)))
rP_in_g(f(T409)) → U9_g(T409, pQ_in_g(T409))
pQ_in_g(T409) → U79_g(T409, qN28_in_g(T409))
qN28_in_g(f(f(T423))) → U35_g(T423, pN_in_g(f(T423)))
pN_in_g(f(T375)) → U8_g(T375, pO_in_g(T375))
pO_in_g(T375) → U77_g(T375, rL_in_g(f(T375)))
rL_in_g(f(T322)) → U7_g(T322, pM_in_g(T322))
pM_in_g(T322) → U75_g(T322, qN25_in_g(T322))
qN25_in_g(f(f(T336))) → U32_g(T336, pF_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pF_in_gg(T200, T201) → U4_gg(T200, T201, pG_in_gg(T200, T201))
pG_in_gg(T200, T201) → U69_gg(T200, T201, rN20_in_gg(T200, T201))
rN20_in_gg(T228, T229) → U26_gg(T228, T229, pN21_in_gg(T228, T229))
pN21_in_gg(T228, T229) → U71_gg(T228, T229, qA_in_gg(f(T228), T229))
qA_in_gg(T682, f(f(T683))) → U2_gg(T682, T683, pC_in_gg(T682, T683))
pC_in_gg(T682, T683) → U93_gg(T682, T683, rN37_in_gg(T682, T683))
rN37_in_gg(T710, T711) → U44_gg(T710, T711, pN38_in_gg(T710, T711))
pN38_in_gg(T710, T711) → U95_gg(T710, T711, qA_in_gg(T710, T711))
U95_gg(T710, T711, qA_out_gg(T710, T711)) → U96_gg(T710, T711, rN40_in_gg(T710, T711))
rN40_in_gg(a, b) → rN40_out_gg(a, b)
rN40_in_gg(T736, f(T737)) → U47_gg(T736, T737, pN38_in_gg(T736, T737))
U47_gg(T736, T737, pN38_out_gg(T736, T737)) → rN40_out_gg(T736, f(T737))
rN40_in_gg(f(T742), f(T742)) → U48_gg(T742, tJ_in_g(T742))
tJ_in_g(T270) → U6_g(T270, pK_in_g(T270))
pK_in_g(T270) → U73_g(T270, qH_in_g(f(T270)))
qH_in_g(f(f(T75))) → U5_g(T75, pI_in_g(T75))
pI_in_g(T75) → U57_g(T75, rN9_in_g(T75))
rN9_in_g(T89) → U20_g(T89, pN10_in_g(T89))
pN10_in_g(T89) → U59_g(T89, qN11_in_g(T89))
qN11_in_g(f(f(T113))) → U21_g(T113, pN12_in_g(T113))
pN12_in_g(T113) → U61_g(T113, rN13_in_g(T113))
rN13_in_g(T127) → U22_g(T127, pN14_in_g(T127))
pN14_in_g(T127) → U63_g(T127, qN15_in_g(T127))
qN15_in_g(f(f(T151))) → U23_g(T151, pN16_in_g(T151))
pN16_in_g(T151) → U65_g(T151, rN17_in_g(T151))
rN17_in_g(T165) → U24_g(T165, pN18_in_g(T165))
pN18_in_g(T165) → U67_g(T165, qN19_in_g(T165))
qN19_in_g(f(f(T179))) → U25_g(T179, pF_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U25_g(T179, pF_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → qN19_out_g(f(f(T179)))
U67_g(T165, qN19_out_g(T165)) → U68_g(T165, rL_in_g(T165))
U68_g(T165, rL_out_g(T165)) → pN18_out_g(T165)
U24_g(T165, pN18_out_g(T165)) → rN17_out_g(T165)
U65_g(T151, rN17_out_g(T151)) → U66_g(T151, pN_in_g(T151))
U66_g(T151, pN_out_g(T151)) → pN16_out_g(T151)
U23_g(T151, pN16_out_g(T151)) → qN15_out_g(f(f(T151)))
U63_g(T127, qN15_out_g(T127)) → U64_g(T127, rP_in_g(T127))
U64_g(T127, rP_out_g(T127)) → pN14_out_g(T127)
U22_g(T127, pN14_out_g(T127)) → rN13_out_g(T127)
U61_g(T113, rN13_out_g(T113)) → U62_g(T113, pR_in_g(T113))
U62_g(T113, pR_out_g(T113)) → pN12_out_g(T113)
U21_g(T113, pN12_out_g(T113)) → qN11_out_g(f(f(T113)))
U59_g(T89, qN11_out_g(T89)) → U60_g(T89, rT_in_g(T89))
U60_g(T89, rT_out_g(T89)) → pN10_out_g(T89)
U20_g(T89, pN10_out_g(T89)) → rN9_out_g(T89)
U57_g(T75, rN9_out_g(T75)) → U58_g(T75, pV_in_g(T75))
U58_g(T75, pV_out_g(T75)) → pI_out_g(T75)
U5_g(T75, pI_out_g(T75)) → qH_out_g(f(f(T75)))
U73_g(T270, qH_out_g(f(T270))) → U74_g(T270, tN24_in_g(T270))
tN24_in_g(f(T281)) → U31_g(T281, pK_in_g(T281))
U31_g(T281, pK_out_g(T281)) → tN24_out_g(f(T281))
U74_g(T270, tN24_out_g(T270)) → pK_out_g(T270)
U6_g(T270, pK_out_g(T270)) → tJ_out_g(T270)
U48_gg(T742, tJ_out_g(T742)) → rN40_out_gg(f(T742), f(T742))
U96_gg(T710, T711, rN40_out_gg(T710, T711)) → pN38_out_gg(T710, T711)
U44_gg(T710, T711, pN38_out_gg(T710, T711)) → rN37_out_gg(T710, T711)
rN37_in_gg(f(T746), T746) → U45_gg(T746, tJ_in_g(T746))
U45_gg(T746, tJ_out_g(T746)) → rN37_out_gg(f(T746), T746)
U93_gg(T682, T683, rN37_out_gg(T682, T683)) → U94_gg(T682, T683, pN39_in_gg(T682, T683))
pN39_in_gg(a, b) → pN39_out_gg(a, b)
pN39_in_gg(T764, f(T765)) → U46_gg(T764, T765, pC_in_gg(T764, T765))
U46_gg(T764, T765, pC_out_gg(T764, T765)) → pN39_out_gg(T764, f(T765))
U94_gg(T682, T683, pN39_out_gg(T682, T683)) → pC_out_gg(T682, T683)
U2_gg(T682, T683, pC_out_gg(T682, T683)) → qA_out_gg(T682, f(f(T683)))
U71_gg(T228, T229, qA_out_gg(f(T228), T229)) → U72_gg(T228, T229, rN23_in_gg(T228, T229))
rN23_in_gg(T254, f(T255)) → U29_gg(T254, T255, pN21_in_gg(T254, T255))
U29_gg(T254, T255, pN21_out_gg(T254, T255)) → rN23_out_gg(T254, f(T255))
rN23_in_gg(T260, f(T260)) → U30_gg(T260, tJ_in_g(T260))
U30_gg(T260, tJ_out_g(T260)) → rN23_out_gg(T260, f(T260))
U72_gg(T228, T229, rN23_out_gg(T228, T229)) → pN21_out_gg(T228, T229)
U26_gg(T228, T229, pN21_out_gg(T228, T229)) → rN20_out_gg(T228, T229)
rN20_in_gg(T285, T285) → U27_gg(T285, tJ_in_g(T285))
U27_gg(T285, tJ_out_g(T285)) → rN20_out_gg(T285, T285)
U69_gg(T200, T201, rN20_out_gg(T200, T201)) → U70_gg(T200, T201, pN22_in_gg(T200, T201))
pN22_in_gg(T303, f(T304)) → U28_gg(T303, T304, pG_in_gg(T303, T304))
U28_gg(T303, T304, pG_out_gg(T303, T304)) → pN22_out_gg(T303, f(T304))
U70_gg(T200, T201, pN22_out_gg(T200, T201)) → pG_out_gg(T200, T201)
U4_gg(T200, T201, pG_out_gg(T200, T201)) → pF_out_gg(T200, T201)
U32_g(T336, pF_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → qN25_out_g(f(f(T336)))
U75_g(T322, qN25_out_g(T322)) → U76_g(T322, rN26_in_g(T322))
rN26_in_g(f(T356)) → U33_g(T356, pN21_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
U33_g(T356, pN21_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → rN26_out_g(f(T356))
U76_g(T322, rN26_out_g(T322)) → pM_out_g(T322)
U7_g(T322, pM_out_g(T322)) → rL_out_g(f(T322))
U77_g(T375, rL_out_g(f(T375))) → U78_g(T375, pN27_in_g(T375))
pN27_in_g(f(T389)) → U34_g(T389, pG_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
U34_g(T389, pG_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → pN27_out_g(f(T389))
U78_g(T375, pN27_out_g(T375)) → pO_out_g(T375)
U8_g(T375, pO_out_g(T375)) → pN_out_g(f(T375))
U35_g(T423, pN_out_g(f(T423))) → qN28_out_g(f(f(T423)))
U79_g(T409, qN28_out_g(T409)) → U80_g(T409, rN29_in_g(T409))
rN29_in_g(f(T440)) → U36_g(T440, pN18_in_g(T440))
U36_g(T440, pN18_out_g(T440)) → rN29_out_g(f(T440))
U80_g(T409, rN29_out_g(T409)) → pQ_out_g(T409)
U9_g(T409, pQ_out_g(T409)) → rP_out_g(f(T409))
U81_g(T456, rP_out_g(f(T456))) → U82_g(T456, pN30_in_g(T456))
pN30_in_g(f(T470)) → U37_g(T470, pN16_in_g(T470))
U37_g(T470, pN16_out_g(T470)) → pN30_out_g(f(T470))
U82_g(T456, pN30_out_g(T456)) → pS_out_g(T456)
U10_g(T456, pS_out_g(T456)) → pR_out_g(f(T456))
U38_g(T501, pR_out_g(f(T501))) → qN31_out_g(f(f(T501)))
U83_g(T487, qN31_out_g(T487)) → U84_g(T487, rN32_in_g(T487))
rN32_in_g(f(T518)) → U39_g(T518, pN14_in_g(T518))
U39_g(T518, pN14_out_g(T518)) → rN32_out_g(f(T518))
U84_g(T487, rN32_out_g(T487)) → pU_out_g(T487)
U11_g(T487, pU_out_g(T487)) → rT_out_g(f(T487))
U85_g(T534, rT_out_g(f(T534))) → U86_g(T534, pN33_in_g(T534))
pN33_in_g(f(T548)) → U40_g(T548, pN12_in_g(T548))
U40_g(T548, pN12_out_g(T548)) → pN33_out_g(f(T548))
U86_g(T534, pN33_out_g(T534)) → pW_out_g(T534)
U12_g(T534, pW_out_g(T534)) → pV_out_g(f(T534))
U41_g(T579, pV_out_g(f(T579))) → qN34_out_g(f(f(T579)))
U87_g(T565, qN34_out_g(T565)) → U88_g(T565, rN35_in_g(T565))
rN35_in_g(f(T596)) → U42_g(T596, pN10_in_g(T596))
U42_g(T596, pN10_out_g(T596)) → rN35_out_g(f(T596))
U88_g(T565, rN35_out_g(T565)) → pN1_out_g(T565)
U14_g(T565, pN1_out_g(T565)) → rZ_out_g(f(T565))
rZ_in_g(f(T601)) → U15_g(T601, tJ_in_g(T601))
U15_g(T601, tJ_out_g(T601)) → rZ_out_g(f(T601))
U91_g(T628, rZ_out_g(f(T628))) → U92_g(T628, pN36_in_g(T628))
pN36_in_g(f(T642)) → U43_g(T642, pI_in_g(T642))
U43_g(T642, pI_out_g(T642)) → pN36_out_g(f(T642))
U92_g(T628, pN36_out_g(T628)) → pN2_out_g(T628)
U16_g(T628, pN2_out_g(T628)) → pE_out_g(f(T628))
U3_g(T656, pE_out_g(f(T656))) → qD_out_g(f(T656))
U53_g(T36, qD_out_g(T36)) → U54_g(T36, rX_in_g(T36))
rX_in_g(T51) → U13_g(T51, pY_in_g(T51))
pY_in_g(T51) → U55_g(T51, qH_in_g(T51))
U55_g(T51, qH_out_g(T51)) → U56_g(T51, rZ_in_g(T51))
U56_g(T51, rZ_out_g(T51)) → pY_out_g(T51)
U13_g(T51, pY_out_g(T51)) → rX_out_g(T51)
U54_g(T36, rX_out_g(T36)) → pN6_out_g(T36)
U18_g(T36, pN6_out_g(T36)) → rN5_out_g(T36)
U51_g(T22, rN5_out_g(T22)) → U52_g(T22, pN7_in_g(T22))
pN7_in_g(T614) → U19_g(T614, pN8_in_g(T614))
pN8_in_g(T614) → U89_g(T614, rX_in_g(T614))
U89_g(T614, rX_out_g(T614)) → U90_g(T614, pE_in_g(T614))
U90_g(T614, pE_out_g(T614)) → pN8_out_g(T614)
U19_g(T614, pN8_out_g(T614)) → pN7_out_g(T614)
U52_g(T22, pN7_out_g(T22)) → pN4_out_g(T22)
U17_g(T22, pN4_out_g(T22)) → pN3_out_g(T22)
U49_g(T11, pN3_out_g(T11)) → U50_g(T11, qD_in_g(T11))
U50_g(T11, qD_out_g(T11)) → pB_out_g(T11)
U1_gg(T11, pB_out_g(T11)) → qA_out_gg(T11, f(f(T11)))

Pi is empty.

(3) DependencyPairsProof (EQUIVALENT transformation)

Using Dependency Pairs [AG00,LOPSTR] we result in the following initial DP problem:
Pi DP problem:
The TRS P consists of the following rules:

QA_IN_GG(T11, f(f(T11))) → U1_GG(T11, pB_in_g(T11))
QA_IN_GG(T11, f(f(T11))) → PB_IN_G(T11)
PB_IN_G(T11) → U49_G(T11, pN3_in_g(T11))
PB_IN_G(T11) → PN3_IN_G(T11)
PN3_IN_G(T22) → U17_G(T22, pN4_in_g(T22))
PN3_IN_G(T22) → PN4_IN_G(T22)
PN4_IN_G(T22) → U51_G(T22, rN5_in_g(T22))
PN4_IN_G(T22) → RN5_IN_G(T22)
RN5_IN_G(T36) → U18_G(T36, pN6_in_g(T36))
RN5_IN_G(T36) → PN6_IN_G(T36)
PN6_IN_G(T36) → U53_G(T36, qD_in_g(T36))
PN6_IN_G(T36) → QD_IN_G(T36)
QD_IN_G(f(T656)) → U3_G(T656, pE_in_g(f(T656)))
QD_IN_G(f(T656)) → PE_IN_G(f(T656))
PE_IN_G(f(T628)) → U16_G(T628, pN2_in_g(T628))
PE_IN_G(f(T628)) → PN2_IN_G(T628)
PN2_IN_G(T628) → U91_G(T628, rZ_in_g(f(T628)))
PN2_IN_G(T628) → RZ_IN_G(f(T628))
RZ_IN_G(f(T565)) → U14_G(T565, pN1_in_g(T565))
RZ_IN_G(f(T565)) → PN1_IN_G(T565)
PN1_IN_G(T565) → U87_G(T565, qN34_in_g(T565))
PN1_IN_G(T565) → QN34_IN_G(T565)
QN34_IN_G(f(f(T579))) → U41_G(T579, pV_in_g(f(T579)))
QN34_IN_G(f(f(T579))) → PV_IN_G(f(T579))
PV_IN_G(f(T534)) → U12_G(T534, pW_in_g(T534))
PV_IN_G(f(T534)) → PW_IN_G(T534)
PW_IN_G(T534) → U85_G(T534, rT_in_g(f(T534)))
PW_IN_G(T534) → RT_IN_G(f(T534))
RT_IN_G(f(T487)) → U11_G(T487, pU_in_g(T487))
RT_IN_G(f(T487)) → PU_IN_G(T487)
PU_IN_G(T487) → U83_G(T487, qN31_in_g(T487))
PU_IN_G(T487) → QN31_IN_G(T487)
QN31_IN_G(f(f(T501))) → U38_G(T501, pR_in_g(f(T501)))
QN31_IN_G(f(f(T501))) → PR_IN_G(f(T501))
PR_IN_G(f(T456)) → U10_G(T456, pS_in_g(T456))
PR_IN_G(f(T456)) → PS_IN_G(T456)
PS_IN_G(T456) → U81_G(T456, rP_in_g(f(T456)))
PS_IN_G(T456) → RP_IN_G(f(T456))
RP_IN_G(f(T409)) → U9_G(T409, pQ_in_g(T409))
RP_IN_G(f(T409)) → PQ_IN_G(T409)
PQ_IN_G(T409) → U79_G(T409, qN28_in_g(T409))
PQ_IN_G(T409) → QN28_IN_G(T409)
QN28_IN_G(f(f(T423))) → U35_G(T423, pN_in_g(f(T423)))
QN28_IN_G(f(f(T423))) → PN_IN_G(f(T423))
PN_IN_G(f(T375)) → U8_G(T375, pO_in_g(T375))
PN_IN_G(f(T375)) → PO_IN_G(T375)
PO_IN_G(T375) → U77_G(T375, rL_in_g(f(T375)))
PO_IN_G(T375) → RL_IN_G(f(T375))
RL_IN_G(f(T322)) → U7_G(T322, pM_in_g(T322))
RL_IN_G(f(T322)) → PM_IN_G(T322)
PM_IN_G(T322) → U75_G(T322, qN25_in_g(T322))
PM_IN_G(T322) → QN25_IN_G(T322)
QN25_IN_G(f(f(T336))) → U32_G(T336, pF_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
QN25_IN_G(f(f(T336))) → PF_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
PF_IN_GG(T200, T201) → U4_GG(T200, T201, pG_in_gg(T200, T201))
PF_IN_GG(T200, T201) → PG_IN_GG(T200, T201)
PG_IN_GG(T200, T201) → U69_GG(T200, T201, rN20_in_gg(T200, T201))
PG_IN_GG(T200, T201) → RN20_IN_GG(T200, T201)
RN20_IN_GG(T228, T229) → U26_GG(T228, T229, pN21_in_gg(T228, T229))
RN20_IN_GG(T228, T229) → PN21_IN_GG(T228, T229)
PN21_IN_GG(T228, T229) → U71_GG(T228, T229, qA_in_gg(f(T228), T229))
PN21_IN_GG(T228, T229) → QA_IN_GG(f(T228), T229)
QA_IN_GG(T682, f(f(T683))) → U2_GG(T682, T683, pC_in_gg(T682, T683))
QA_IN_GG(T682, f(f(T683))) → PC_IN_GG(T682, T683)
PC_IN_GG(T682, T683) → U93_GG(T682, T683, rN37_in_gg(T682, T683))
PC_IN_GG(T682, T683) → RN37_IN_GG(T682, T683)
RN37_IN_GG(T710, T711) → U44_GG(T710, T711, pN38_in_gg(T710, T711))
RN37_IN_GG(T710, T711) → PN38_IN_GG(T710, T711)
PN38_IN_GG(T710, T711) → U95_GG(T710, T711, qA_in_gg(T710, T711))
PN38_IN_GG(T710, T711) → QA_IN_GG(T710, T711)
U95_GG(T710, T711, qA_out_gg(T710, T711)) → U96_GG(T710, T711, rN40_in_gg(T710, T711))
U95_GG(T710, T711, qA_out_gg(T710, T711)) → RN40_IN_GG(T710, T711)
RN40_IN_GG(T736, f(T737)) → U47_GG(T736, T737, pN38_in_gg(T736, T737))
RN40_IN_GG(T736, f(T737)) → PN38_IN_GG(T736, T737)
RN40_IN_GG(f(T742), f(T742)) → U48_GG(T742, tJ_in_g(T742))
RN40_IN_GG(f(T742), f(T742)) → TJ_IN_G(T742)
TJ_IN_G(T270) → U6_G(T270, pK_in_g(T270))
TJ_IN_G(T270) → PK_IN_G(T270)
PK_IN_G(T270) → U73_G(T270, qH_in_g(f(T270)))
PK_IN_G(T270) → QH_IN_G(f(T270))
QH_IN_G(f(f(T75))) → U5_G(T75, pI_in_g(T75))
QH_IN_G(f(f(T75))) → PI_IN_G(T75)
PI_IN_G(T75) → U57_G(T75, rN9_in_g(T75))
PI_IN_G(T75) → RN9_IN_G(T75)
RN9_IN_G(T89) → U20_G(T89, pN10_in_g(T89))
RN9_IN_G(T89) → PN10_IN_G(T89)
PN10_IN_G(T89) → U59_G(T89, qN11_in_g(T89))
PN10_IN_G(T89) → QN11_IN_G(T89)
QN11_IN_G(f(f(T113))) → U21_G(T113, pN12_in_g(T113))
QN11_IN_G(f(f(T113))) → PN12_IN_G(T113)
PN12_IN_G(T113) → U61_G(T113, rN13_in_g(T113))
PN12_IN_G(T113) → RN13_IN_G(T113)
RN13_IN_G(T127) → U22_G(T127, pN14_in_g(T127))
RN13_IN_G(T127) → PN14_IN_G(T127)
PN14_IN_G(T127) → U63_G(T127, qN15_in_g(T127))
PN14_IN_G(T127) → QN15_IN_G(T127)
QN15_IN_G(f(f(T151))) → U23_G(T151, pN16_in_g(T151))
QN15_IN_G(f(f(T151))) → PN16_IN_G(T151)
PN16_IN_G(T151) → U65_G(T151, rN17_in_g(T151))
PN16_IN_G(T151) → RN17_IN_G(T151)
RN17_IN_G(T165) → U24_G(T165, pN18_in_g(T165))
RN17_IN_G(T165) → PN18_IN_G(T165)
PN18_IN_G(T165) → U67_G(T165, qN19_in_g(T165))
PN18_IN_G(T165) → QN19_IN_G(T165)
QN19_IN_G(f(f(T179))) → U25_G(T179, pF_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
QN19_IN_G(f(f(T179))) → PF_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
U67_G(T165, qN19_out_g(T165)) → U68_G(T165, rL_in_g(T165))
U67_G(T165, qN19_out_g(T165)) → RL_IN_G(T165)
U65_G(T151, rN17_out_g(T151)) → U66_G(T151, pN_in_g(T151))
U65_G(T151, rN17_out_g(T151)) → PN_IN_G(T151)
U63_G(T127, qN15_out_g(T127)) → U64_G(T127, rP_in_g(T127))
U63_G(T127, qN15_out_g(T127)) → RP_IN_G(T127)
U61_G(T113, rN13_out_g(T113)) → U62_G(T113, pR_in_g(T113))
U61_G(T113, rN13_out_g(T113)) → PR_IN_G(T113)
U59_G(T89, qN11_out_g(T89)) → U60_G(T89, rT_in_g(T89))
U59_G(T89, qN11_out_g(T89)) → RT_IN_G(T89)
U57_G(T75, rN9_out_g(T75)) → U58_G(T75, pV_in_g(T75))
U57_G(T75, rN9_out_g(T75)) → PV_IN_G(T75)
U73_G(T270, qH_out_g(f(T270))) → U74_G(T270, tN24_in_g(T270))
U73_G(T270, qH_out_g(f(T270))) → TN24_IN_G(T270)
TN24_IN_G(f(T281)) → U31_G(T281, pK_in_g(T281))
TN24_IN_G(f(T281)) → PK_IN_G(T281)
RN37_IN_GG(f(T746), T746) → U45_GG(T746, tJ_in_g(T746))
RN37_IN_GG(f(T746), T746) → TJ_IN_G(T746)
U93_GG(T682, T683, rN37_out_gg(T682, T683)) → U94_GG(T682, T683, pN39_in_gg(T682, T683))
U93_GG(T682, T683, rN37_out_gg(T682, T683)) → PN39_IN_GG(T682, T683)
PN39_IN_GG(T764, f(T765)) → U46_GG(T764, T765, pC_in_gg(T764, T765))
PN39_IN_GG(T764, f(T765)) → PC_IN_GG(T764, T765)
U71_GG(T228, T229, qA_out_gg(f(T228), T229)) → U72_GG(T228, T229, rN23_in_gg(T228, T229))
U71_GG(T228, T229, qA_out_gg(f(T228), T229)) → RN23_IN_GG(T228, T229)
RN23_IN_GG(T254, f(T255)) → U29_GG(T254, T255, pN21_in_gg(T254, T255))
RN23_IN_GG(T254, f(T255)) → PN21_IN_GG(T254, T255)
RN23_IN_GG(T260, f(T260)) → U30_GG(T260, tJ_in_g(T260))
RN23_IN_GG(T260, f(T260)) → TJ_IN_G(T260)
RN20_IN_GG(T285, T285) → U27_GG(T285, tJ_in_g(T285))
RN20_IN_GG(T285, T285) → TJ_IN_G(T285)
U69_GG(T200, T201, rN20_out_gg(T200, T201)) → U70_GG(T200, T201, pN22_in_gg(T200, T201))
U69_GG(T200, T201, rN20_out_gg(T200, T201)) → PN22_IN_GG(T200, T201)
PN22_IN_GG(T303, f(T304)) → U28_GG(T303, T304, pG_in_gg(T303, T304))
PN22_IN_GG(T303, f(T304)) → PG_IN_GG(T303, T304)
U75_G(T322, qN25_out_g(T322)) → U76_G(T322, rN26_in_g(T322))
U75_G(T322, qN25_out_g(T322)) → RN26_IN_G(T322)
RN26_IN_G(f(T356)) → U33_G(T356, pN21_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
RN26_IN_G(f(T356)) → PN21_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
U77_G(T375, rL_out_g(f(T375))) → U78_G(T375, pN27_in_g(T375))
U77_G(T375, rL_out_g(f(T375))) → PN27_IN_G(T375)
PN27_IN_G(f(T389)) → U34_G(T389, pG_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
PN27_IN_G(f(T389)) → PG_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
U79_G(T409, qN28_out_g(T409)) → U80_G(T409, rN29_in_g(T409))
U79_G(T409, qN28_out_g(T409)) → RN29_IN_G(T409)
RN29_IN_G(f(T440)) → U36_G(T440, pN18_in_g(T440))
RN29_IN_G(f(T440)) → PN18_IN_G(T440)
U81_G(T456, rP_out_g(f(T456))) → U82_G(T456, pN30_in_g(T456))
U81_G(T456, rP_out_g(f(T456))) → PN30_IN_G(T456)
PN30_IN_G(f(T470)) → U37_G(T470, pN16_in_g(T470))
PN30_IN_G(f(T470)) → PN16_IN_G(T470)
U83_G(T487, qN31_out_g(T487)) → U84_G(T487, rN32_in_g(T487))
U83_G(T487, qN31_out_g(T487)) → RN32_IN_G(T487)
RN32_IN_G(f(T518)) → U39_G(T518, pN14_in_g(T518))
RN32_IN_G(f(T518)) → PN14_IN_G(T518)
U85_G(T534, rT_out_g(f(T534))) → U86_G(T534, pN33_in_g(T534))
U85_G(T534, rT_out_g(f(T534))) → PN33_IN_G(T534)
PN33_IN_G(f(T548)) → U40_G(T548, pN12_in_g(T548))
PN33_IN_G(f(T548)) → PN12_IN_G(T548)
U87_G(T565, qN34_out_g(T565)) → U88_G(T565, rN35_in_g(T565))
U87_G(T565, qN34_out_g(T565)) → RN35_IN_G(T565)
RN35_IN_G(f(T596)) → U42_G(T596, pN10_in_g(T596))
RN35_IN_G(f(T596)) → PN10_IN_G(T596)
RZ_IN_G(f(T601)) → U15_G(T601, tJ_in_g(T601))
RZ_IN_G(f(T601)) → TJ_IN_G(T601)
U91_G(T628, rZ_out_g(f(T628))) → U92_G(T628, pN36_in_g(T628))
U91_G(T628, rZ_out_g(f(T628))) → PN36_IN_G(T628)
PN36_IN_G(f(T642)) → U43_G(T642, pI_in_g(T642))
PN36_IN_G(f(T642)) → PI_IN_G(T642)
U53_G(T36, qD_out_g(T36)) → U54_G(T36, rX_in_g(T36))
U53_G(T36, qD_out_g(T36)) → RX_IN_G(T36)
RX_IN_G(T51) → U13_G(T51, pY_in_g(T51))
RX_IN_G(T51) → PY_IN_G(T51)
PY_IN_G(T51) → U55_G(T51, qH_in_g(T51))
PY_IN_G(T51) → QH_IN_G(T51)
U55_G(T51, qH_out_g(T51)) → U56_G(T51, rZ_in_g(T51))
U55_G(T51, qH_out_g(T51)) → RZ_IN_G(T51)
U51_G(T22, rN5_out_g(T22)) → U52_G(T22, pN7_in_g(T22))
U51_G(T22, rN5_out_g(T22)) → PN7_IN_G(T22)
PN7_IN_G(T614) → U19_G(T614, pN8_in_g(T614))
PN7_IN_G(T614) → PN8_IN_G(T614)
PN8_IN_G(T614) → U89_G(T614, rX_in_g(T614))
PN8_IN_G(T614) → RX_IN_G(T614)
U89_G(T614, rX_out_g(T614)) → U90_G(T614, pE_in_g(T614))
U89_G(T614, rX_out_g(T614)) → PE_IN_G(T614)
U49_G(T11, pN3_out_g(T11)) → U50_G(T11, qD_in_g(T11))
U49_G(T11, pN3_out_g(T11)) → QD_IN_G(T11)

The TRS R consists of the following rules:

qA_in_gg(a, b) → qA_out_gg(a, b)
qA_in_gg(T11, f(f(T11))) → U1_gg(T11, pB_in_g(T11))
pB_in_g(T11) → U49_g(T11, pN3_in_g(T11))
pN3_in_g(T22) → U17_g(T22, pN4_in_g(T22))
pN4_in_g(T22) → U51_g(T22, rN5_in_g(T22))
rN5_in_g(T36) → U18_g(T36, pN6_in_g(T36))
pN6_in_g(T36) → U53_g(T36, qD_in_g(T36))
qD_in_g(f(T656)) → U3_g(T656, pE_in_g(f(T656)))
pE_in_g(f(T628)) → U16_g(T628, pN2_in_g(T628))
pN2_in_g(T628) → U91_g(T628, rZ_in_g(f(T628)))
rZ_in_g(f(T565)) → U14_g(T565, pN1_in_g(T565))
pN1_in_g(T565) → U87_g(T565, qN34_in_g(T565))
qN34_in_g(f(f(T579))) → U41_g(T579, pV_in_g(f(T579)))
pV_in_g(f(T534)) → U12_g(T534, pW_in_g(T534))
pW_in_g(T534) → U85_g(T534, rT_in_g(f(T534)))
rT_in_g(f(T487)) → U11_g(T487, pU_in_g(T487))
pU_in_g(T487) → U83_g(T487, qN31_in_g(T487))
qN31_in_g(f(f(T501))) → U38_g(T501, pR_in_g(f(T501)))
pR_in_g(f(T456)) → U10_g(T456, pS_in_g(T456))
pS_in_g(T456) → U81_g(T456, rP_in_g(f(T456)))
rP_in_g(f(T409)) → U9_g(T409, pQ_in_g(T409))
pQ_in_g(T409) → U79_g(T409, qN28_in_g(T409))
qN28_in_g(f(f(T423))) → U35_g(T423, pN_in_g(f(T423)))
pN_in_g(f(T375)) → U8_g(T375, pO_in_g(T375))
pO_in_g(T375) → U77_g(T375, rL_in_g(f(T375)))
rL_in_g(f(T322)) → U7_g(T322, pM_in_g(T322))
pM_in_g(T322) → U75_g(T322, qN25_in_g(T322))
qN25_in_g(f(f(T336))) → U32_g(T336, pF_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pF_in_gg(T200, T201) → U4_gg(T200, T201, pG_in_gg(T200, T201))
pG_in_gg(T200, T201) → U69_gg(T200, T201, rN20_in_gg(T200, T201))
rN20_in_gg(T228, T229) → U26_gg(T228, T229, pN21_in_gg(T228, T229))
pN21_in_gg(T228, T229) → U71_gg(T228, T229, qA_in_gg(f(T228), T229))
qA_in_gg(T682, f(f(T683))) → U2_gg(T682, T683, pC_in_gg(T682, T683))
pC_in_gg(T682, T683) → U93_gg(T682, T683, rN37_in_gg(T682, T683))
rN37_in_gg(T710, T711) → U44_gg(T710, T711, pN38_in_gg(T710, T711))
pN38_in_gg(T710, T711) → U95_gg(T710, T711, qA_in_gg(T710, T711))
U95_gg(T710, T711, qA_out_gg(T710, T711)) → U96_gg(T710, T711, rN40_in_gg(T710, T711))
rN40_in_gg(a, b) → rN40_out_gg(a, b)
rN40_in_gg(T736, f(T737)) → U47_gg(T736, T737, pN38_in_gg(T736, T737))
U47_gg(T736, T737, pN38_out_gg(T736, T737)) → rN40_out_gg(T736, f(T737))
rN40_in_gg(f(T742), f(T742)) → U48_gg(T742, tJ_in_g(T742))
tJ_in_g(T270) → U6_g(T270, pK_in_g(T270))
pK_in_g(T270) → U73_g(T270, qH_in_g(f(T270)))
qH_in_g(f(f(T75))) → U5_g(T75, pI_in_g(T75))
pI_in_g(T75) → U57_g(T75, rN9_in_g(T75))
rN9_in_g(T89) → U20_g(T89, pN10_in_g(T89))
pN10_in_g(T89) → U59_g(T89, qN11_in_g(T89))
qN11_in_g(f(f(T113))) → U21_g(T113, pN12_in_g(T113))
pN12_in_g(T113) → U61_g(T113, rN13_in_g(T113))
rN13_in_g(T127) → U22_g(T127, pN14_in_g(T127))
pN14_in_g(T127) → U63_g(T127, qN15_in_g(T127))
qN15_in_g(f(f(T151))) → U23_g(T151, pN16_in_g(T151))
pN16_in_g(T151) → U65_g(T151, rN17_in_g(T151))
rN17_in_g(T165) → U24_g(T165, pN18_in_g(T165))
pN18_in_g(T165) → U67_g(T165, qN19_in_g(T165))
qN19_in_g(f(f(T179))) → U25_g(T179, pF_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U25_g(T179, pF_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → qN19_out_g(f(f(T179)))
U67_g(T165, qN19_out_g(T165)) → U68_g(T165, rL_in_g(T165))
U68_g(T165, rL_out_g(T165)) → pN18_out_g(T165)
U24_g(T165, pN18_out_g(T165)) → rN17_out_g(T165)
U65_g(T151, rN17_out_g(T151)) → U66_g(T151, pN_in_g(T151))
U66_g(T151, pN_out_g(T151)) → pN16_out_g(T151)
U23_g(T151, pN16_out_g(T151)) → qN15_out_g(f(f(T151)))
U63_g(T127, qN15_out_g(T127)) → U64_g(T127, rP_in_g(T127))
U64_g(T127, rP_out_g(T127)) → pN14_out_g(T127)
U22_g(T127, pN14_out_g(T127)) → rN13_out_g(T127)
U61_g(T113, rN13_out_g(T113)) → U62_g(T113, pR_in_g(T113))
U62_g(T113, pR_out_g(T113)) → pN12_out_g(T113)
U21_g(T113, pN12_out_g(T113)) → qN11_out_g(f(f(T113)))
U59_g(T89, qN11_out_g(T89)) → U60_g(T89, rT_in_g(T89))
U60_g(T89, rT_out_g(T89)) → pN10_out_g(T89)
U20_g(T89, pN10_out_g(T89)) → rN9_out_g(T89)
U57_g(T75, rN9_out_g(T75)) → U58_g(T75, pV_in_g(T75))
U58_g(T75, pV_out_g(T75)) → pI_out_g(T75)
U5_g(T75, pI_out_g(T75)) → qH_out_g(f(f(T75)))
U73_g(T270, qH_out_g(f(T270))) → U74_g(T270, tN24_in_g(T270))
tN24_in_g(f(T281)) → U31_g(T281, pK_in_g(T281))
U31_g(T281, pK_out_g(T281)) → tN24_out_g(f(T281))
U74_g(T270, tN24_out_g(T270)) → pK_out_g(T270)
U6_g(T270, pK_out_g(T270)) → tJ_out_g(T270)
U48_gg(T742, tJ_out_g(T742)) → rN40_out_gg(f(T742), f(T742))
U96_gg(T710, T711, rN40_out_gg(T710, T711)) → pN38_out_gg(T710, T711)
U44_gg(T710, T711, pN38_out_gg(T710, T711)) → rN37_out_gg(T710, T711)
rN37_in_gg(f(T746), T746) → U45_gg(T746, tJ_in_g(T746))
U45_gg(T746, tJ_out_g(T746)) → rN37_out_gg(f(T746), T746)
U93_gg(T682, T683, rN37_out_gg(T682, T683)) → U94_gg(T682, T683, pN39_in_gg(T682, T683))
pN39_in_gg(a, b) → pN39_out_gg(a, b)
pN39_in_gg(T764, f(T765)) → U46_gg(T764, T765, pC_in_gg(T764, T765))
U46_gg(T764, T765, pC_out_gg(T764, T765)) → pN39_out_gg(T764, f(T765))
U94_gg(T682, T683, pN39_out_gg(T682, T683)) → pC_out_gg(T682, T683)
U2_gg(T682, T683, pC_out_gg(T682, T683)) → qA_out_gg(T682, f(f(T683)))
U71_gg(T228, T229, qA_out_gg(f(T228), T229)) → U72_gg(T228, T229, rN23_in_gg(T228, T229))
rN23_in_gg(T254, f(T255)) → U29_gg(T254, T255, pN21_in_gg(T254, T255))
U29_gg(T254, T255, pN21_out_gg(T254, T255)) → rN23_out_gg(T254, f(T255))
rN23_in_gg(T260, f(T260)) → U30_gg(T260, tJ_in_g(T260))
U30_gg(T260, tJ_out_g(T260)) → rN23_out_gg(T260, f(T260))
U72_gg(T228, T229, rN23_out_gg(T228, T229)) → pN21_out_gg(T228, T229)
U26_gg(T228, T229, pN21_out_gg(T228, T229)) → rN20_out_gg(T228, T229)
rN20_in_gg(T285, T285) → U27_gg(T285, tJ_in_g(T285))
U27_gg(T285, tJ_out_g(T285)) → rN20_out_gg(T285, T285)
U69_gg(T200, T201, rN20_out_gg(T200, T201)) → U70_gg(T200, T201, pN22_in_gg(T200, T201))
pN22_in_gg(T303, f(T304)) → U28_gg(T303, T304, pG_in_gg(T303, T304))
U28_gg(T303, T304, pG_out_gg(T303, T304)) → pN22_out_gg(T303, f(T304))
U70_gg(T200, T201, pN22_out_gg(T200, T201)) → pG_out_gg(T200, T201)
U4_gg(T200, T201, pG_out_gg(T200, T201)) → pF_out_gg(T200, T201)
U32_g(T336, pF_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → qN25_out_g(f(f(T336)))
U75_g(T322, qN25_out_g(T322)) → U76_g(T322, rN26_in_g(T322))
rN26_in_g(f(T356)) → U33_g(T356, pN21_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
U33_g(T356, pN21_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → rN26_out_g(f(T356))
U76_g(T322, rN26_out_g(T322)) → pM_out_g(T322)
U7_g(T322, pM_out_g(T322)) → rL_out_g(f(T322))
U77_g(T375, rL_out_g(f(T375))) → U78_g(T375, pN27_in_g(T375))
pN27_in_g(f(T389)) → U34_g(T389, pG_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
U34_g(T389, pG_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → pN27_out_g(f(T389))
U78_g(T375, pN27_out_g(T375)) → pO_out_g(T375)
U8_g(T375, pO_out_g(T375)) → pN_out_g(f(T375))
U35_g(T423, pN_out_g(f(T423))) → qN28_out_g(f(f(T423)))
U79_g(T409, qN28_out_g(T409)) → U80_g(T409, rN29_in_g(T409))
rN29_in_g(f(T440)) → U36_g(T440, pN18_in_g(T440))
U36_g(T440, pN18_out_g(T440)) → rN29_out_g(f(T440))
U80_g(T409, rN29_out_g(T409)) → pQ_out_g(T409)
U9_g(T409, pQ_out_g(T409)) → rP_out_g(f(T409))
U81_g(T456, rP_out_g(f(T456))) → U82_g(T456, pN30_in_g(T456))
pN30_in_g(f(T470)) → U37_g(T470, pN16_in_g(T470))
U37_g(T470, pN16_out_g(T470)) → pN30_out_g(f(T470))
U82_g(T456, pN30_out_g(T456)) → pS_out_g(T456)
U10_g(T456, pS_out_g(T456)) → pR_out_g(f(T456))
U38_g(T501, pR_out_g(f(T501))) → qN31_out_g(f(f(T501)))
U83_g(T487, qN31_out_g(T487)) → U84_g(T487, rN32_in_g(T487))
rN32_in_g(f(T518)) → U39_g(T518, pN14_in_g(T518))
U39_g(T518, pN14_out_g(T518)) → rN32_out_g(f(T518))
U84_g(T487, rN32_out_g(T487)) → pU_out_g(T487)
U11_g(T487, pU_out_g(T487)) → rT_out_g(f(T487))
U85_g(T534, rT_out_g(f(T534))) → U86_g(T534, pN33_in_g(T534))
pN33_in_g(f(T548)) → U40_g(T548, pN12_in_g(T548))
U40_g(T548, pN12_out_g(T548)) → pN33_out_g(f(T548))
U86_g(T534, pN33_out_g(T534)) → pW_out_g(T534)
U12_g(T534, pW_out_g(T534)) → pV_out_g(f(T534))
U41_g(T579, pV_out_g(f(T579))) → qN34_out_g(f(f(T579)))
U87_g(T565, qN34_out_g(T565)) → U88_g(T565, rN35_in_g(T565))
rN35_in_g(f(T596)) → U42_g(T596, pN10_in_g(T596))
U42_g(T596, pN10_out_g(T596)) → rN35_out_g(f(T596))
U88_g(T565, rN35_out_g(T565)) → pN1_out_g(T565)
U14_g(T565, pN1_out_g(T565)) → rZ_out_g(f(T565))
rZ_in_g(f(T601)) → U15_g(T601, tJ_in_g(T601))
U15_g(T601, tJ_out_g(T601)) → rZ_out_g(f(T601))
U91_g(T628, rZ_out_g(f(T628))) → U92_g(T628, pN36_in_g(T628))
pN36_in_g(f(T642)) → U43_g(T642, pI_in_g(T642))
U43_g(T642, pI_out_g(T642)) → pN36_out_g(f(T642))
U92_g(T628, pN36_out_g(T628)) → pN2_out_g(T628)
U16_g(T628, pN2_out_g(T628)) → pE_out_g(f(T628))
U3_g(T656, pE_out_g(f(T656))) → qD_out_g(f(T656))
U53_g(T36, qD_out_g(T36)) → U54_g(T36, rX_in_g(T36))
rX_in_g(T51) → U13_g(T51, pY_in_g(T51))
pY_in_g(T51) → U55_g(T51, qH_in_g(T51))
U55_g(T51, qH_out_g(T51)) → U56_g(T51, rZ_in_g(T51))
U56_g(T51, rZ_out_g(T51)) → pY_out_g(T51)
U13_g(T51, pY_out_g(T51)) → rX_out_g(T51)
U54_g(T36, rX_out_g(T36)) → pN6_out_g(T36)
U18_g(T36, pN6_out_g(T36)) → rN5_out_g(T36)
U51_g(T22, rN5_out_g(T22)) → U52_g(T22, pN7_in_g(T22))
pN7_in_g(T614) → U19_g(T614, pN8_in_g(T614))
pN8_in_g(T614) → U89_g(T614, rX_in_g(T614))
U89_g(T614, rX_out_g(T614)) → U90_g(T614, pE_in_g(T614))
U90_g(T614, pE_out_g(T614)) → pN8_out_g(T614)
U19_g(T614, pN8_out_g(T614)) → pN7_out_g(T614)
U52_g(T22, pN7_out_g(T22)) → pN4_out_g(T22)
U17_g(T22, pN4_out_g(T22)) → pN3_out_g(T22)
U49_g(T11, pN3_out_g(T11)) → U50_g(T11, qD_in_g(T11))
U50_g(T11, qD_out_g(T11)) → pB_out_g(T11)
U1_gg(T11, pB_out_g(T11)) → qA_out_gg(T11, f(f(T11)))

Pi is empty.
We have to consider all (P,R,Pi)-chains

(4) Obligation:

Pi DP problem:
The TRS P consists of the following rules:

QA_IN_GG(T11, f(f(T11))) → U1_GG(T11, pB_in_g(T11))
QA_IN_GG(T11, f(f(T11))) → PB_IN_G(T11)
PB_IN_G(T11) → U49_G(T11, pN3_in_g(T11))
PB_IN_G(T11) → PN3_IN_G(T11)
PN3_IN_G(T22) → U17_G(T22, pN4_in_g(T22))
PN3_IN_G(T22) → PN4_IN_G(T22)
PN4_IN_G(T22) → U51_G(T22, rN5_in_g(T22))
PN4_IN_G(T22) → RN5_IN_G(T22)
RN5_IN_G(T36) → U18_G(T36, pN6_in_g(T36))
RN5_IN_G(T36) → PN6_IN_G(T36)
PN6_IN_G(T36) → U53_G(T36, qD_in_g(T36))
PN6_IN_G(T36) → QD_IN_G(T36)
QD_IN_G(f(T656)) → U3_G(T656, pE_in_g(f(T656)))
QD_IN_G(f(T656)) → PE_IN_G(f(T656))
PE_IN_G(f(T628)) → U16_G(T628, pN2_in_g(T628))
PE_IN_G(f(T628)) → PN2_IN_G(T628)
PN2_IN_G(T628) → U91_G(T628, rZ_in_g(f(T628)))
PN2_IN_G(T628) → RZ_IN_G(f(T628))
RZ_IN_G(f(T565)) → U14_G(T565, pN1_in_g(T565))
RZ_IN_G(f(T565)) → PN1_IN_G(T565)
PN1_IN_G(T565) → U87_G(T565, qN34_in_g(T565))
PN1_IN_G(T565) → QN34_IN_G(T565)
QN34_IN_G(f(f(T579))) → U41_G(T579, pV_in_g(f(T579)))
QN34_IN_G(f(f(T579))) → PV_IN_G(f(T579))
PV_IN_G(f(T534)) → U12_G(T534, pW_in_g(T534))
PV_IN_G(f(T534)) → PW_IN_G(T534)
PW_IN_G(T534) → U85_G(T534, rT_in_g(f(T534)))
PW_IN_G(T534) → RT_IN_G(f(T534))
RT_IN_G(f(T487)) → U11_G(T487, pU_in_g(T487))
RT_IN_G(f(T487)) → PU_IN_G(T487)
PU_IN_G(T487) → U83_G(T487, qN31_in_g(T487))
PU_IN_G(T487) → QN31_IN_G(T487)
QN31_IN_G(f(f(T501))) → U38_G(T501, pR_in_g(f(T501)))
QN31_IN_G(f(f(T501))) → PR_IN_G(f(T501))
PR_IN_G(f(T456)) → U10_G(T456, pS_in_g(T456))
PR_IN_G(f(T456)) → PS_IN_G(T456)
PS_IN_G(T456) → U81_G(T456, rP_in_g(f(T456)))
PS_IN_G(T456) → RP_IN_G(f(T456))
RP_IN_G(f(T409)) → U9_G(T409, pQ_in_g(T409))
RP_IN_G(f(T409)) → PQ_IN_G(T409)
PQ_IN_G(T409) → U79_G(T409, qN28_in_g(T409))
PQ_IN_G(T409) → QN28_IN_G(T409)
QN28_IN_G(f(f(T423))) → U35_G(T423, pN_in_g(f(T423)))
QN28_IN_G(f(f(T423))) → PN_IN_G(f(T423))
PN_IN_G(f(T375)) → U8_G(T375, pO_in_g(T375))
PN_IN_G(f(T375)) → PO_IN_G(T375)
PO_IN_G(T375) → U77_G(T375, rL_in_g(f(T375)))
PO_IN_G(T375) → RL_IN_G(f(T375))
RL_IN_G(f(T322)) → U7_G(T322, pM_in_g(T322))
RL_IN_G(f(T322)) → PM_IN_G(T322)
PM_IN_G(T322) → U75_G(T322, qN25_in_g(T322))
PM_IN_G(T322) → QN25_IN_G(T322)
QN25_IN_G(f(f(T336))) → U32_G(T336, pF_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
QN25_IN_G(f(f(T336))) → PF_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
PF_IN_GG(T200, T201) → U4_GG(T200, T201, pG_in_gg(T200, T201))
PF_IN_GG(T200, T201) → PG_IN_GG(T200, T201)
PG_IN_GG(T200, T201) → U69_GG(T200, T201, rN20_in_gg(T200, T201))
PG_IN_GG(T200, T201) → RN20_IN_GG(T200, T201)
RN20_IN_GG(T228, T229) → U26_GG(T228, T229, pN21_in_gg(T228, T229))
RN20_IN_GG(T228, T229) → PN21_IN_GG(T228, T229)
PN21_IN_GG(T228, T229) → U71_GG(T228, T229, qA_in_gg(f(T228), T229))
PN21_IN_GG(T228, T229) → QA_IN_GG(f(T228), T229)
QA_IN_GG(T682, f(f(T683))) → U2_GG(T682, T683, pC_in_gg(T682, T683))
QA_IN_GG(T682, f(f(T683))) → PC_IN_GG(T682, T683)
PC_IN_GG(T682, T683) → U93_GG(T682, T683, rN37_in_gg(T682, T683))
PC_IN_GG(T682, T683) → RN37_IN_GG(T682, T683)
RN37_IN_GG(T710, T711) → U44_GG(T710, T711, pN38_in_gg(T710, T711))
RN37_IN_GG(T710, T711) → PN38_IN_GG(T710, T711)
PN38_IN_GG(T710, T711) → U95_GG(T710, T711, qA_in_gg(T710, T711))
PN38_IN_GG(T710, T711) → QA_IN_GG(T710, T711)
U95_GG(T710, T711, qA_out_gg(T710, T711)) → U96_GG(T710, T711, rN40_in_gg(T710, T711))
U95_GG(T710, T711, qA_out_gg(T710, T711)) → RN40_IN_GG(T710, T711)
RN40_IN_GG(T736, f(T737)) → U47_GG(T736, T737, pN38_in_gg(T736, T737))
RN40_IN_GG(T736, f(T737)) → PN38_IN_GG(T736, T737)
RN40_IN_GG(f(T742), f(T742)) → U48_GG(T742, tJ_in_g(T742))
RN40_IN_GG(f(T742), f(T742)) → TJ_IN_G(T742)
TJ_IN_G(T270) → U6_G(T270, pK_in_g(T270))
TJ_IN_G(T270) → PK_IN_G(T270)
PK_IN_G(T270) → U73_G(T270, qH_in_g(f(T270)))
PK_IN_G(T270) → QH_IN_G(f(T270))
QH_IN_G(f(f(T75))) → U5_G(T75, pI_in_g(T75))
QH_IN_G(f(f(T75))) → PI_IN_G(T75)
PI_IN_G(T75) → U57_G(T75, rN9_in_g(T75))
PI_IN_G(T75) → RN9_IN_G(T75)
RN9_IN_G(T89) → U20_G(T89, pN10_in_g(T89))
RN9_IN_G(T89) → PN10_IN_G(T89)
PN10_IN_G(T89) → U59_G(T89, qN11_in_g(T89))
PN10_IN_G(T89) → QN11_IN_G(T89)
QN11_IN_G(f(f(T113))) → U21_G(T113, pN12_in_g(T113))
QN11_IN_G(f(f(T113))) → PN12_IN_G(T113)
PN12_IN_G(T113) → U61_G(T113, rN13_in_g(T113))
PN12_IN_G(T113) → RN13_IN_G(T113)
RN13_IN_G(T127) → U22_G(T127, pN14_in_g(T127))
RN13_IN_G(T127) → PN14_IN_G(T127)
PN14_IN_G(T127) → U63_G(T127, qN15_in_g(T127))
PN14_IN_G(T127) → QN15_IN_G(T127)
QN15_IN_G(f(f(T151))) → U23_G(T151, pN16_in_g(T151))
QN15_IN_G(f(f(T151))) → PN16_IN_G(T151)
PN16_IN_G(T151) → U65_G(T151, rN17_in_g(T151))
PN16_IN_G(T151) → RN17_IN_G(T151)
RN17_IN_G(T165) → U24_G(T165, pN18_in_g(T165))
RN17_IN_G(T165) → PN18_IN_G(T165)
PN18_IN_G(T165) → U67_G(T165, qN19_in_g(T165))
PN18_IN_G(T165) → QN19_IN_G(T165)
QN19_IN_G(f(f(T179))) → U25_G(T179, pF_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
QN19_IN_G(f(f(T179))) → PF_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
U67_G(T165, qN19_out_g(T165)) → U68_G(T165, rL_in_g(T165))
U67_G(T165, qN19_out_g(T165)) → RL_IN_G(T165)
U65_G(T151, rN17_out_g(T151)) → U66_G(T151, pN_in_g(T151))
U65_G(T151, rN17_out_g(T151)) → PN_IN_G(T151)
U63_G(T127, qN15_out_g(T127)) → U64_G(T127, rP_in_g(T127))
U63_G(T127, qN15_out_g(T127)) → RP_IN_G(T127)
U61_G(T113, rN13_out_g(T113)) → U62_G(T113, pR_in_g(T113))
U61_G(T113, rN13_out_g(T113)) → PR_IN_G(T113)
U59_G(T89, qN11_out_g(T89)) → U60_G(T89, rT_in_g(T89))
U59_G(T89, qN11_out_g(T89)) → RT_IN_G(T89)
U57_G(T75, rN9_out_g(T75)) → U58_G(T75, pV_in_g(T75))
U57_G(T75, rN9_out_g(T75)) → PV_IN_G(T75)
U73_G(T270, qH_out_g(f(T270))) → U74_G(T270, tN24_in_g(T270))
U73_G(T270, qH_out_g(f(T270))) → TN24_IN_G(T270)
TN24_IN_G(f(T281)) → U31_G(T281, pK_in_g(T281))
TN24_IN_G(f(T281)) → PK_IN_G(T281)
RN37_IN_GG(f(T746), T746) → U45_GG(T746, tJ_in_g(T746))
RN37_IN_GG(f(T746), T746) → TJ_IN_G(T746)
U93_GG(T682, T683, rN37_out_gg(T682, T683)) → U94_GG(T682, T683, pN39_in_gg(T682, T683))
U93_GG(T682, T683, rN37_out_gg(T682, T683)) → PN39_IN_GG(T682, T683)
PN39_IN_GG(T764, f(T765)) → U46_GG(T764, T765, pC_in_gg(T764, T765))
PN39_IN_GG(T764, f(T765)) → PC_IN_GG(T764, T765)
U71_GG(T228, T229, qA_out_gg(f(T228), T229)) → U72_GG(T228, T229, rN23_in_gg(T228, T229))
U71_GG(T228, T229, qA_out_gg(f(T228), T229)) → RN23_IN_GG(T228, T229)
RN23_IN_GG(T254, f(T255)) → U29_GG(T254, T255, pN21_in_gg(T254, T255))
RN23_IN_GG(T254, f(T255)) → PN21_IN_GG(T254, T255)
RN23_IN_GG(T260, f(T260)) → U30_GG(T260, tJ_in_g(T260))
RN23_IN_GG(T260, f(T260)) → TJ_IN_G(T260)
RN20_IN_GG(T285, T285) → U27_GG(T285, tJ_in_g(T285))
RN20_IN_GG(T285, T285) → TJ_IN_G(T285)
U69_GG(T200, T201, rN20_out_gg(T200, T201)) → U70_GG(T200, T201, pN22_in_gg(T200, T201))
U69_GG(T200, T201, rN20_out_gg(T200, T201)) → PN22_IN_GG(T200, T201)
PN22_IN_GG(T303, f(T304)) → U28_GG(T303, T304, pG_in_gg(T303, T304))
PN22_IN_GG(T303, f(T304)) → PG_IN_GG(T303, T304)
U75_G(T322, qN25_out_g(T322)) → U76_G(T322, rN26_in_g(T322))
U75_G(T322, qN25_out_g(T322)) → RN26_IN_G(T322)
RN26_IN_G(f(T356)) → U33_G(T356, pN21_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
RN26_IN_G(f(T356)) → PN21_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
U77_G(T375, rL_out_g(f(T375))) → U78_G(T375, pN27_in_g(T375))
U77_G(T375, rL_out_g(f(T375))) → PN27_IN_G(T375)
PN27_IN_G(f(T389)) → U34_G(T389, pG_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
PN27_IN_G(f(T389)) → PG_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
U79_G(T409, qN28_out_g(T409)) → U80_G(T409, rN29_in_g(T409))
U79_G(T409, qN28_out_g(T409)) → RN29_IN_G(T409)
RN29_IN_G(f(T440)) → U36_G(T440, pN18_in_g(T440))
RN29_IN_G(f(T440)) → PN18_IN_G(T440)
U81_G(T456, rP_out_g(f(T456))) → U82_G(T456, pN30_in_g(T456))
U81_G(T456, rP_out_g(f(T456))) → PN30_IN_G(T456)
PN30_IN_G(f(T470)) → U37_G(T470, pN16_in_g(T470))
PN30_IN_G(f(T470)) → PN16_IN_G(T470)
U83_G(T487, qN31_out_g(T487)) → U84_G(T487, rN32_in_g(T487))
U83_G(T487, qN31_out_g(T487)) → RN32_IN_G(T487)
RN32_IN_G(f(T518)) → U39_G(T518, pN14_in_g(T518))
RN32_IN_G(f(T518)) → PN14_IN_G(T518)
U85_G(T534, rT_out_g(f(T534))) → U86_G(T534, pN33_in_g(T534))
U85_G(T534, rT_out_g(f(T534))) → PN33_IN_G(T534)
PN33_IN_G(f(T548)) → U40_G(T548, pN12_in_g(T548))
PN33_IN_G(f(T548)) → PN12_IN_G(T548)
U87_G(T565, qN34_out_g(T565)) → U88_G(T565, rN35_in_g(T565))
U87_G(T565, qN34_out_g(T565)) → RN35_IN_G(T565)
RN35_IN_G(f(T596)) → U42_G(T596, pN10_in_g(T596))
RN35_IN_G(f(T596)) → PN10_IN_G(T596)
RZ_IN_G(f(T601)) → U15_G(T601, tJ_in_g(T601))
RZ_IN_G(f(T601)) → TJ_IN_G(T601)
U91_G(T628, rZ_out_g(f(T628))) → U92_G(T628, pN36_in_g(T628))
U91_G(T628, rZ_out_g(f(T628))) → PN36_IN_G(T628)
PN36_IN_G(f(T642)) → U43_G(T642, pI_in_g(T642))
PN36_IN_G(f(T642)) → PI_IN_G(T642)
U53_G(T36, qD_out_g(T36)) → U54_G(T36, rX_in_g(T36))
U53_G(T36, qD_out_g(T36)) → RX_IN_G(T36)
RX_IN_G(T51) → U13_G(T51, pY_in_g(T51))
RX_IN_G(T51) → PY_IN_G(T51)
PY_IN_G(T51) → U55_G(T51, qH_in_g(T51))
PY_IN_G(T51) → QH_IN_G(T51)
U55_G(T51, qH_out_g(T51)) → U56_G(T51, rZ_in_g(T51))
U55_G(T51, qH_out_g(T51)) → RZ_IN_G(T51)
U51_G(T22, rN5_out_g(T22)) → U52_G(T22, pN7_in_g(T22))
U51_G(T22, rN5_out_g(T22)) → PN7_IN_G(T22)
PN7_IN_G(T614) → U19_G(T614, pN8_in_g(T614))
PN7_IN_G(T614) → PN8_IN_G(T614)
PN8_IN_G(T614) → U89_G(T614, rX_in_g(T614))
PN8_IN_G(T614) → RX_IN_G(T614)
U89_G(T614, rX_out_g(T614)) → U90_G(T614, pE_in_g(T614))
U89_G(T614, rX_out_g(T614)) → PE_IN_G(T614)
U49_G(T11, pN3_out_g(T11)) → U50_G(T11, qD_in_g(T11))
U49_G(T11, pN3_out_g(T11)) → QD_IN_G(T11)

The TRS R consists of the following rules:

qA_in_gg(a, b) → qA_out_gg(a, b)
qA_in_gg(T11, f(f(T11))) → U1_gg(T11, pB_in_g(T11))
pB_in_g(T11) → U49_g(T11, pN3_in_g(T11))
pN3_in_g(T22) → U17_g(T22, pN4_in_g(T22))
pN4_in_g(T22) → U51_g(T22, rN5_in_g(T22))
rN5_in_g(T36) → U18_g(T36, pN6_in_g(T36))
pN6_in_g(T36) → U53_g(T36, qD_in_g(T36))
qD_in_g(f(T656)) → U3_g(T656, pE_in_g(f(T656)))
pE_in_g(f(T628)) → U16_g(T628, pN2_in_g(T628))
pN2_in_g(T628) → U91_g(T628, rZ_in_g(f(T628)))
rZ_in_g(f(T565)) → U14_g(T565, pN1_in_g(T565))
pN1_in_g(T565) → U87_g(T565, qN34_in_g(T565))
qN34_in_g(f(f(T579))) → U41_g(T579, pV_in_g(f(T579)))
pV_in_g(f(T534)) → U12_g(T534, pW_in_g(T534))
pW_in_g(T534) → U85_g(T534, rT_in_g(f(T534)))
rT_in_g(f(T487)) → U11_g(T487, pU_in_g(T487))
pU_in_g(T487) → U83_g(T487, qN31_in_g(T487))
qN31_in_g(f(f(T501))) → U38_g(T501, pR_in_g(f(T501)))
pR_in_g(f(T456)) → U10_g(T456, pS_in_g(T456))
pS_in_g(T456) → U81_g(T456, rP_in_g(f(T456)))
rP_in_g(f(T409)) → U9_g(T409, pQ_in_g(T409))
pQ_in_g(T409) → U79_g(T409, qN28_in_g(T409))
qN28_in_g(f(f(T423))) → U35_g(T423, pN_in_g(f(T423)))
pN_in_g(f(T375)) → U8_g(T375, pO_in_g(T375))
pO_in_g(T375) → U77_g(T375, rL_in_g(f(T375)))
rL_in_g(f(T322)) → U7_g(T322, pM_in_g(T322))
pM_in_g(T322) → U75_g(T322, qN25_in_g(T322))
qN25_in_g(f(f(T336))) → U32_g(T336, pF_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pF_in_gg(T200, T201) → U4_gg(T200, T201, pG_in_gg(T200, T201))
pG_in_gg(T200, T201) → U69_gg(T200, T201, rN20_in_gg(T200, T201))
rN20_in_gg(T228, T229) → U26_gg(T228, T229, pN21_in_gg(T228, T229))
pN21_in_gg(T228, T229) → U71_gg(T228, T229, qA_in_gg(f(T228), T229))
qA_in_gg(T682, f(f(T683))) → U2_gg(T682, T683, pC_in_gg(T682, T683))
pC_in_gg(T682, T683) → U93_gg(T682, T683, rN37_in_gg(T682, T683))
rN37_in_gg(T710, T711) → U44_gg(T710, T711, pN38_in_gg(T710, T711))
pN38_in_gg(T710, T711) → U95_gg(T710, T711, qA_in_gg(T710, T711))
U95_gg(T710, T711, qA_out_gg(T710, T711)) → U96_gg(T710, T711, rN40_in_gg(T710, T711))
rN40_in_gg(a, b) → rN40_out_gg(a, b)
rN40_in_gg(T736, f(T737)) → U47_gg(T736, T737, pN38_in_gg(T736, T737))
U47_gg(T736, T737, pN38_out_gg(T736, T737)) → rN40_out_gg(T736, f(T737))
rN40_in_gg(f(T742), f(T742)) → U48_gg(T742, tJ_in_g(T742))
tJ_in_g(T270) → U6_g(T270, pK_in_g(T270))
pK_in_g(T270) → U73_g(T270, qH_in_g(f(T270)))
qH_in_g(f(f(T75))) → U5_g(T75, pI_in_g(T75))
pI_in_g(T75) → U57_g(T75, rN9_in_g(T75))
rN9_in_g(T89) → U20_g(T89, pN10_in_g(T89))
pN10_in_g(T89) → U59_g(T89, qN11_in_g(T89))
qN11_in_g(f(f(T113))) → U21_g(T113, pN12_in_g(T113))
pN12_in_g(T113) → U61_g(T113, rN13_in_g(T113))
rN13_in_g(T127) → U22_g(T127, pN14_in_g(T127))
pN14_in_g(T127) → U63_g(T127, qN15_in_g(T127))
qN15_in_g(f(f(T151))) → U23_g(T151, pN16_in_g(T151))
pN16_in_g(T151) → U65_g(T151, rN17_in_g(T151))
rN17_in_g(T165) → U24_g(T165, pN18_in_g(T165))
pN18_in_g(T165) → U67_g(T165, qN19_in_g(T165))
qN19_in_g(f(f(T179))) → U25_g(T179, pF_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U25_g(T179, pF_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → qN19_out_g(f(f(T179)))
U67_g(T165, qN19_out_g(T165)) → U68_g(T165, rL_in_g(T165))
U68_g(T165, rL_out_g(T165)) → pN18_out_g(T165)
U24_g(T165, pN18_out_g(T165)) → rN17_out_g(T165)
U65_g(T151, rN17_out_g(T151)) → U66_g(T151, pN_in_g(T151))
U66_g(T151, pN_out_g(T151)) → pN16_out_g(T151)
U23_g(T151, pN16_out_g(T151)) → qN15_out_g(f(f(T151)))
U63_g(T127, qN15_out_g(T127)) → U64_g(T127, rP_in_g(T127))
U64_g(T127, rP_out_g(T127)) → pN14_out_g(T127)
U22_g(T127, pN14_out_g(T127)) → rN13_out_g(T127)
U61_g(T113, rN13_out_g(T113)) → U62_g(T113, pR_in_g(T113))
U62_g(T113, pR_out_g(T113)) → pN12_out_g(T113)
U21_g(T113, pN12_out_g(T113)) → qN11_out_g(f(f(T113)))
U59_g(T89, qN11_out_g(T89)) → U60_g(T89, rT_in_g(T89))
U60_g(T89, rT_out_g(T89)) → pN10_out_g(T89)
U20_g(T89, pN10_out_g(T89)) → rN9_out_g(T89)
U57_g(T75, rN9_out_g(T75)) → U58_g(T75, pV_in_g(T75))
U58_g(T75, pV_out_g(T75)) → pI_out_g(T75)
U5_g(T75, pI_out_g(T75)) → qH_out_g(f(f(T75)))
U73_g(T270, qH_out_g(f(T270))) → U74_g(T270, tN24_in_g(T270))
tN24_in_g(f(T281)) → U31_g(T281, pK_in_g(T281))
U31_g(T281, pK_out_g(T281)) → tN24_out_g(f(T281))
U74_g(T270, tN24_out_g(T270)) → pK_out_g(T270)
U6_g(T270, pK_out_g(T270)) → tJ_out_g(T270)
U48_gg(T742, tJ_out_g(T742)) → rN40_out_gg(f(T742), f(T742))
U96_gg(T710, T711, rN40_out_gg(T710, T711)) → pN38_out_gg(T710, T711)
U44_gg(T710, T711, pN38_out_gg(T710, T711)) → rN37_out_gg(T710, T711)
rN37_in_gg(f(T746), T746) → U45_gg(T746, tJ_in_g(T746))
U45_gg(T746, tJ_out_g(T746)) → rN37_out_gg(f(T746), T746)
U93_gg(T682, T683, rN37_out_gg(T682, T683)) → U94_gg(T682, T683, pN39_in_gg(T682, T683))
pN39_in_gg(a, b) → pN39_out_gg(a, b)
pN39_in_gg(T764, f(T765)) → U46_gg(T764, T765, pC_in_gg(T764, T765))
U46_gg(T764, T765, pC_out_gg(T764, T765)) → pN39_out_gg(T764, f(T765))
U94_gg(T682, T683, pN39_out_gg(T682, T683)) → pC_out_gg(T682, T683)
U2_gg(T682, T683, pC_out_gg(T682, T683)) → qA_out_gg(T682, f(f(T683)))
U71_gg(T228, T229, qA_out_gg(f(T228), T229)) → U72_gg(T228, T229, rN23_in_gg(T228, T229))
rN23_in_gg(T254, f(T255)) → U29_gg(T254, T255, pN21_in_gg(T254, T255))
U29_gg(T254, T255, pN21_out_gg(T254, T255)) → rN23_out_gg(T254, f(T255))
rN23_in_gg(T260, f(T260)) → U30_gg(T260, tJ_in_g(T260))
U30_gg(T260, tJ_out_g(T260)) → rN23_out_gg(T260, f(T260))
U72_gg(T228, T229, rN23_out_gg(T228, T229)) → pN21_out_gg(T228, T229)
U26_gg(T228, T229, pN21_out_gg(T228, T229)) → rN20_out_gg(T228, T229)
rN20_in_gg(T285, T285) → U27_gg(T285, tJ_in_g(T285))
U27_gg(T285, tJ_out_g(T285)) → rN20_out_gg(T285, T285)
U69_gg(T200, T201, rN20_out_gg(T200, T201)) → U70_gg(T200, T201, pN22_in_gg(T200, T201))
pN22_in_gg(T303, f(T304)) → U28_gg(T303, T304, pG_in_gg(T303, T304))
U28_gg(T303, T304, pG_out_gg(T303, T304)) → pN22_out_gg(T303, f(T304))
U70_gg(T200, T201, pN22_out_gg(T200, T201)) → pG_out_gg(T200, T201)
U4_gg(T200, T201, pG_out_gg(T200, T201)) → pF_out_gg(T200, T201)
U32_g(T336, pF_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → qN25_out_g(f(f(T336)))
U75_g(T322, qN25_out_g(T322)) → U76_g(T322, rN26_in_g(T322))
rN26_in_g(f(T356)) → U33_g(T356, pN21_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
U33_g(T356, pN21_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → rN26_out_g(f(T356))
U76_g(T322, rN26_out_g(T322)) → pM_out_g(T322)
U7_g(T322, pM_out_g(T322)) → rL_out_g(f(T322))
U77_g(T375, rL_out_g(f(T375))) → U78_g(T375, pN27_in_g(T375))
pN27_in_g(f(T389)) → U34_g(T389, pG_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
U34_g(T389, pG_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → pN27_out_g(f(T389))
U78_g(T375, pN27_out_g(T375)) → pO_out_g(T375)
U8_g(T375, pO_out_g(T375)) → pN_out_g(f(T375))
U35_g(T423, pN_out_g(f(T423))) → qN28_out_g(f(f(T423)))
U79_g(T409, qN28_out_g(T409)) → U80_g(T409, rN29_in_g(T409))
rN29_in_g(f(T440)) → U36_g(T440, pN18_in_g(T440))
U36_g(T440, pN18_out_g(T440)) → rN29_out_g(f(T440))
U80_g(T409, rN29_out_g(T409)) → pQ_out_g(T409)
U9_g(T409, pQ_out_g(T409)) → rP_out_g(f(T409))
U81_g(T456, rP_out_g(f(T456))) → U82_g(T456, pN30_in_g(T456))
pN30_in_g(f(T470)) → U37_g(T470, pN16_in_g(T470))
U37_g(T470, pN16_out_g(T470)) → pN30_out_g(f(T470))
U82_g(T456, pN30_out_g(T456)) → pS_out_g(T456)
U10_g(T456, pS_out_g(T456)) → pR_out_g(f(T456))
U38_g(T501, pR_out_g(f(T501))) → qN31_out_g(f(f(T501)))
U83_g(T487, qN31_out_g(T487)) → U84_g(T487, rN32_in_g(T487))
rN32_in_g(f(T518)) → U39_g(T518, pN14_in_g(T518))
U39_g(T518, pN14_out_g(T518)) → rN32_out_g(f(T518))
U84_g(T487, rN32_out_g(T487)) → pU_out_g(T487)
U11_g(T487, pU_out_g(T487)) → rT_out_g(f(T487))
U85_g(T534, rT_out_g(f(T534))) → U86_g(T534, pN33_in_g(T534))
pN33_in_g(f(T548)) → U40_g(T548, pN12_in_g(T548))
U40_g(T548, pN12_out_g(T548)) → pN33_out_g(f(T548))
U86_g(T534, pN33_out_g(T534)) → pW_out_g(T534)
U12_g(T534, pW_out_g(T534)) → pV_out_g(f(T534))
U41_g(T579, pV_out_g(f(T579))) → qN34_out_g(f(f(T579)))
U87_g(T565, qN34_out_g(T565)) → U88_g(T565, rN35_in_g(T565))
rN35_in_g(f(T596)) → U42_g(T596, pN10_in_g(T596))
U42_g(T596, pN10_out_g(T596)) → rN35_out_g(f(T596))
U88_g(T565, rN35_out_g(T565)) → pN1_out_g(T565)
U14_g(T565, pN1_out_g(T565)) → rZ_out_g(f(T565))
rZ_in_g(f(T601)) → U15_g(T601, tJ_in_g(T601))
U15_g(T601, tJ_out_g(T601)) → rZ_out_g(f(T601))
U91_g(T628, rZ_out_g(f(T628))) → U92_g(T628, pN36_in_g(T628))
pN36_in_g(f(T642)) → U43_g(T642, pI_in_g(T642))
U43_g(T642, pI_out_g(T642)) → pN36_out_g(f(T642))
U92_g(T628, pN36_out_g(T628)) → pN2_out_g(T628)
U16_g(T628, pN2_out_g(T628)) → pE_out_g(f(T628))
U3_g(T656, pE_out_g(f(T656))) → qD_out_g(f(T656))
U53_g(T36, qD_out_g(T36)) → U54_g(T36, rX_in_g(T36))
rX_in_g(T51) → U13_g(T51, pY_in_g(T51))
pY_in_g(T51) → U55_g(T51, qH_in_g(T51))
U55_g(T51, qH_out_g(T51)) → U56_g(T51, rZ_in_g(T51))
U56_g(T51, rZ_out_g(T51)) → pY_out_g(T51)
U13_g(T51, pY_out_g(T51)) → rX_out_g(T51)
U54_g(T36, rX_out_g(T36)) → pN6_out_g(T36)
U18_g(T36, pN6_out_g(T36)) → rN5_out_g(T36)
U51_g(T22, rN5_out_g(T22)) → U52_g(T22, pN7_in_g(T22))
pN7_in_g(T614) → U19_g(T614, pN8_in_g(T614))
pN8_in_g(T614) → U89_g(T614, rX_in_g(T614))
U89_g(T614, rX_out_g(T614)) → U90_g(T614, pE_in_g(T614))
U90_g(T614, pE_out_g(T614)) → pN8_out_g(T614)
U19_g(T614, pN8_out_g(T614)) → pN7_out_g(T614)
U52_g(T22, pN7_out_g(T22)) → pN4_out_g(T22)
U17_g(T22, pN4_out_g(T22)) → pN3_out_g(T22)
U49_g(T11, pN3_out_g(T11)) → U50_g(T11, qD_in_g(T11))
U50_g(T11, qD_out_g(T11)) → pB_out_g(T11)
U1_gg(T11, pB_out_g(T11)) → qA_out_gg(T11, f(f(T11)))

Pi is empty.
We have to consider all (P,R,Pi)-chains

(5) DependencyGraphProof (EQUIVALENT transformation)

The approximation of the Dependency Graph [LOPSTR] contains 1 SCC with 72 less nodes.

(6) Obligation:

Pi DP problem:
The TRS P consists of the following rules:

QA_IN_GG(T11, f(f(T11))) → PB_IN_G(T11)
PB_IN_G(T11) → U49_G(T11, pN3_in_g(T11))
U49_G(T11, pN3_out_g(T11)) → QD_IN_G(T11)
QD_IN_G(f(T656)) → PE_IN_G(f(T656))
PE_IN_G(f(T628)) → PN2_IN_G(T628)
PN2_IN_G(T628) → U91_G(T628, rZ_in_g(f(T628)))
U91_G(T628, rZ_out_g(f(T628))) → PN36_IN_G(T628)
PN36_IN_G(f(T642)) → PI_IN_G(T642)
PI_IN_G(T75) → U57_G(T75, rN9_in_g(T75))
U57_G(T75, rN9_out_g(T75)) → PV_IN_G(T75)
PV_IN_G(f(T534)) → PW_IN_G(T534)
PW_IN_G(T534) → U85_G(T534, rT_in_g(f(T534)))
U85_G(T534, rT_out_g(f(T534))) → PN33_IN_G(T534)
PN33_IN_G(f(T548)) → PN12_IN_G(T548)
PN12_IN_G(T113) → U61_G(T113, rN13_in_g(T113))
U61_G(T113, rN13_out_g(T113)) → PR_IN_G(T113)
PR_IN_G(f(T456)) → PS_IN_G(T456)
PS_IN_G(T456) → U81_G(T456, rP_in_g(f(T456)))
U81_G(T456, rP_out_g(f(T456))) → PN30_IN_G(T456)
PN30_IN_G(f(T470)) → PN16_IN_G(T470)
PN16_IN_G(T151) → U65_G(T151, rN17_in_g(T151))
U65_G(T151, rN17_out_g(T151)) → PN_IN_G(T151)
PN_IN_G(f(T375)) → PO_IN_G(T375)
PO_IN_G(T375) → U77_G(T375, rL_in_g(f(T375)))
U77_G(T375, rL_out_g(f(T375))) → PN27_IN_G(T375)
PN27_IN_G(f(T389)) → PG_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
PG_IN_GG(T200, T201) → U69_GG(T200, T201, rN20_in_gg(T200, T201))
U69_GG(T200, T201, rN20_out_gg(T200, T201)) → PN22_IN_GG(T200, T201)
PN22_IN_GG(T303, f(T304)) → PG_IN_GG(T303, T304)
PG_IN_GG(T200, T201) → RN20_IN_GG(T200, T201)
RN20_IN_GG(T228, T229) → PN21_IN_GG(T228, T229)
PN21_IN_GG(T228, T229) → U71_GG(T228, T229, qA_in_gg(f(T228), T229))
U71_GG(T228, T229, qA_out_gg(f(T228), T229)) → RN23_IN_GG(T228, T229)
RN23_IN_GG(T254, f(T255)) → PN21_IN_GG(T254, T255)
PN21_IN_GG(T228, T229) → QA_IN_GG(f(T228), T229)
QA_IN_GG(T682, f(f(T683))) → PC_IN_GG(T682, T683)
PC_IN_GG(T682, T683) → U93_GG(T682, T683, rN37_in_gg(T682, T683))
U93_GG(T682, T683, rN37_out_gg(T682, T683)) → PN39_IN_GG(T682, T683)
PN39_IN_GG(T764, f(T765)) → PC_IN_GG(T764, T765)
PC_IN_GG(T682, T683) → RN37_IN_GG(T682, T683)
RN37_IN_GG(T710, T711) → PN38_IN_GG(T710, T711)
PN38_IN_GG(T710, T711) → U95_GG(T710, T711, qA_in_gg(T710, T711))
U95_GG(T710, T711, qA_out_gg(T710, T711)) → RN40_IN_GG(T710, T711)
RN40_IN_GG(T736, f(T737)) → PN38_IN_GG(T736, T737)
PN38_IN_GG(T710, T711) → QA_IN_GG(T710, T711)
RN40_IN_GG(f(T742), f(T742)) → TJ_IN_G(T742)
TJ_IN_G(T270) → PK_IN_G(T270)
PK_IN_G(T270) → U73_G(T270, qH_in_g(f(T270)))
U73_G(T270, qH_out_g(f(T270))) → TN24_IN_G(T270)
TN24_IN_G(f(T281)) → PK_IN_G(T281)
PK_IN_G(T270) → QH_IN_G(f(T270))
QH_IN_G(f(f(T75))) → PI_IN_G(T75)
PI_IN_G(T75) → RN9_IN_G(T75)
RN9_IN_G(T89) → PN10_IN_G(T89)
PN10_IN_G(T89) → U59_G(T89, qN11_in_g(T89))
U59_G(T89, qN11_out_g(T89)) → RT_IN_G(T89)
RT_IN_G(f(T487)) → PU_IN_G(T487)
PU_IN_G(T487) → U83_G(T487, qN31_in_g(T487))
U83_G(T487, qN31_out_g(T487)) → RN32_IN_G(T487)
RN32_IN_G(f(T518)) → PN14_IN_G(T518)
PN14_IN_G(T127) → U63_G(T127, qN15_in_g(T127))
U63_G(T127, qN15_out_g(T127)) → RP_IN_G(T127)
RP_IN_G(f(T409)) → PQ_IN_G(T409)
PQ_IN_G(T409) → U79_G(T409, qN28_in_g(T409))
U79_G(T409, qN28_out_g(T409)) → RN29_IN_G(T409)
RN29_IN_G(f(T440)) → PN18_IN_G(T440)
PN18_IN_G(T165) → U67_G(T165, qN19_in_g(T165))
U67_G(T165, qN19_out_g(T165)) → RL_IN_G(T165)
RL_IN_G(f(T322)) → PM_IN_G(T322)
PM_IN_G(T322) → U75_G(T322, qN25_in_g(T322))
U75_G(T322, qN25_out_g(T322)) → RN26_IN_G(T322)
RN26_IN_G(f(T356)) → PN21_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
PM_IN_G(T322) → QN25_IN_G(T322)
QN25_IN_G(f(f(T336))) → PF_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
PF_IN_GG(T200, T201) → PG_IN_GG(T200, T201)
PN18_IN_G(T165) → QN19_IN_G(T165)
QN19_IN_G(f(f(T179))) → PF_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
PQ_IN_G(T409) → QN28_IN_G(T409)
QN28_IN_G(f(f(T423))) → PN_IN_G(f(T423))
PN14_IN_G(T127) → QN15_IN_G(T127)
QN15_IN_G(f(f(T151))) → PN16_IN_G(T151)
PN16_IN_G(T151) → RN17_IN_G(T151)
RN17_IN_G(T165) → PN18_IN_G(T165)
PU_IN_G(T487) → QN31_IN_G(T487)
QN31_IN_G(f(f(T501))) → PR_IN_G(f(T501))
PN10_IN_G(T89) → QN11_IN_G(T89)
QN11_IN_G(f(f(T113))) → PN12_IN_G(T113)
PN12_IN_G(T113) → RN13_IN_G(T113)
RN13_IN_G(T127) → PN14_IN_G(T127)
RN37_IN_GG(f(T746), T746) → TJ_IN_G(T746)
RN23_IN_GG(T260, f(T260)) → TJ_IN_G(T260)
RN20_IN_GG(T285, T285) → TJ_IN_G(T285)
PO_IN_G(T375) → RL_IN_G(f(T375))
PS_IN_G(T456) → RP_IN_G(f(T456))
PW_IN_G(T534) → RT_IN_G(f(T534))
PN2_IN_G(T628) → RZ_IN_G(f(T628))
RZ_IN_G(f(T565)) → PN1_IN_G(T565)
PN1_IN_G(T565) → U87_G(T565, qN34_in_g(T565))
U87_G(T565, qN34_out_g(T565)) → RN35_IN_G(T565)
RN35_IN_G(f(T596)) → PN10_IN_G(T596)
PN1_IN_G(T565) → QN34_IN_G(T565)
QN34_IN_G(f(f(T579))) → PV_IN_G(f(T579))
RZ_IN_G(f(T601)) → TJ_IN_G(T601)
PB_IN_G(T11) → PN3_IN_G(T11)
PN3_IN_G(T22) → PN4_IN_G(T22)
PN4_IN_G(T22) → U51_G(T22, rN5_in_g(T22))
U51_G(T22, rN5_out_g(T22)) → PN7_IN_G(T22)
PN7_IN_G(T614) → PN8_IN_G(T614)
PN8_IN_G(T614) → U89_G(T614, rX_in_g(T614))
U89_G(T614, rX_out_g(T614)) → PE_IN_G(T614)
PN8_IN_G(T614) → RX_IN_G(T614)
RX_IN_G(T51) → PY_IN_G(T51)
PY_IN_G(T51) → U55_G(T51, qH_in_g(T51))
U55_G(T51, qH_out_g(T51)) → RZ_IN_G(T51)
PY_IN_G(T51) → QH_IN_G(T51)
PN4_IN_G(T22) → RN5_IN_G(T22)
RN5_IN_G(T36) → PN6_IN_G(T36)
PN6_IN_G(T36) → U53_G(T36, qD_in_g(T36))
U53_G(T36, qD_out_g(T36)) → RX_IN_G(T36)
PN6_IN_G(T36) → QD_IN_G(T36)

The TRS R consists of the following rules:

qA_in_gg(a, b) → qA_out_gg(a, b)
qA_in_gg(T11, f(f(T11))) → U1_gg(T11, pB_in_g(T11))
pB_in_g(T11) → U49_g(T11, pN3_in_g(T11))
pN3_in_g(T22) → U17_g(T22, pN4_in_g(T22))
pN4_in_g(T22) → U51_g(T22, rN5_in_g(T22))
rN5_in_g(T36) → U18_g(T36, pN6_in_g(T36))
pN6_in_g(T36) → U53_g(T36, qD_in_g(T36))
qD_in_g(f(T656)) → U3_g(T656, pE_in_g(f(T656)))
pE_in_g(f(T628)) → U16_g(T628, pN2_in_g(T628))
pN2_in_g(T628) → U91_g(T628, rZ_in_g(f(T628)))
rZ_in_g(f(T565)) → U14_g(T565, pN1_in_g(T565))
pN1_in_g(T565) → U87_g(T565, qN34_in_g(T565))
qN34_in_g(f(f(T579))) → U41_g(T579, pV_in_g(f(T579)))
pV_in_g(f(T534)) → U12_g(T534, pW_in_g(T534))
pW_in_g(T534) → U85_g(T534, rT_in_g(f(T534)))
rT_in_g(f(T487)) → U11_g(T487, pU_in_g(T487))
pU_in_g(T487) → U83_g(T487, qN31_in_g(T487))
qN31_in_g(f(f(T501))) → U38_g(T501, pR_in_g(f(T501)))
pR_in_g(f(T456)) → U10_g(T456, pS_in_g(T456))
pS_in_g(T456) → U81_g(T456, rP_in_g(f(T456)))
rP_in_g(f(T409)) → U9_g(T409, pQ_in_g(T409))
pQ_in_g(T409) → U79_g(T409, qN28_in_g(T409))
qN28_in_g(f(f(T423))) → U35_g(T423, pN_in_g(f(T423)))
pN_in_g(f(T375)) → U8_g(T375, pO_in_g(T375))
pO_in_g(T375) → U77_g(T375, rL_in_g(f(T375)))
rL_in_g(f(T322)) → U7_g(T322, pM_in_g(T322))
pM_in_g(T322) → U75_g(T322, qN25_in_g(T322))
qN25_in_g(f(f(T336))) → U32_g(T336, pF_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pF_in_gg(T200, T201) → U4_gg(T200, T201, pG_in_gg(T200, T201))
pG_in_gg(T200, T201) → U69_gg(T200, T201, rN20_in_gg(T200, T201))
rN20_in_gg(T228, T229) → U26_gg(T228, T229, pN21_in_gg(T228, T229))
pN21_in_gg(T228, T229) → U71_gg(T228, T229, qA_in_gg(f(T228), T229))
qA_in_gg(T682, f(f(T683))) → U2_gg(T682, T683, pC_in_gg(T682, T683))
pC_in_gg(T682, T683) → U93_gg(T682, T683, rN37_in_gg(T682, T683))
rN37_in_gg(T710, T711) → U44_gg(T710, T711, pN38_in_gg(T710, T711))
pN38_in_gg(T710, T711) → U95_gg(T710, T711, qA_in_gg(T710, T711))
U95_gg(T710, T711, qA_out_gg(T710, T711)) → U96_gg(T710, T711, rN40_in_gg(T710, T711))
rN40_in_gg(a, b) → rN40_out_gg(a, b)
rN40_in_gg(T736, f(T737)) → U47_gg(T736, T737, pN38_in_gg(T736, T737))
U47_gg(T736, T737, pN38_out_gg(T736, T737)) → rN40_out_gg(T736, f(T737))
rN40_in_gg(f(T742), f(T742)) → U48_gg(T742, tJ_in_g(T742))
tJ_in_g(T270) → U6_g(T270, pK_in_g(T270))
pK_in_g(T270) → U73_g(T270, qH_in_g(f(T270)))
qH_in_g(f(f(T75))) → U5_g(T75, pI_in_g(T75))
pI_in_g(T75) → U57_g(T75, rN9_in_g(T75))
rN9_in_g(T89) → U20_g(T89, pN10_in_g(T89))
pN10_in_g(T89) → U59_g(T89, qN11_in_g(T89))
qN11_in_g(f(f(T113))) → U21_g(T113, pN12_in_g(T113))
pN12_in_g(T113) → U61_g(T113, rN13_in_g(T113))
rN13_in_g(T127) → U22_g(T127, pN14_in_g(T127))
pN14_in_g(T127) → U63_g(T127, qN15_in_g(T127))
qN15_in_g(f(f(T151))) → U23_g(T151, pN16_in_g(T151))
pN16_in_g(T151) → U65_g(T151, rN17_in_g(T151))
rN17_in_g(T165) → U24_g(T165, pN18_in_g(T165))
pN18_in_g(T165) → U67_g(T165, qN19_in_g(T165))
qN19_in_g(f(f(T179))) → U25_g(T179, pF_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U25_g(T179, pF_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → qN19_out_g(f(f(T179)))
U67_g(T165, qN19_out_g(T165)) → U68_g(T165, rL_in_g(T165))
U68_g(T165, rL_out_g(T165)) → pN18_out_g(T165)
U24_g(T165, pN18_out_g(T165)) → rN17_out_g(T165)
U65_g(T151, rN17_out_g(T151)) → U66_g(T151, pN_in_g(T151))
U66_g(T151, pN_out_g(T151)) → pN16_out_g(T151)
U23_g(T151, pN16_out_g(T151)) → qN15_out_g(f(f(T151)))
U63_g(T127, qN15_out_g(T127)) → U64_g(T127, rP_in_g(T127))
U64_g(T127, rP_out_g(T127)) → pN14_out_g(T127)
U22_g(T127, pN14_out_g(T127)) → rN13_out_g(T127)
U61_g(T113, rN13_out_g(T113)) → U62_g(T113, pR_in_g(T113))
U62_g(T113, pR_out_g(T113)) → pN12_out_g(T113)
U21_g(T113, pN12_out_g(T113)) → qN11_out_g(f(f(T113)))
U59_g(T89, qN11_out_g(T89)) → U60_g(T89, rT_in_g(T89))
U60_g(T89, rT_out_g(T89)) → pN10_out_g(T89)
U20_g(T89, pN10_out_g(T89)) → rN9_out_g(T89)
U57_g(T75, rN9_out_g(T75)) → U58_g(T75, pV_in_g(T75))
U58_g(T75, pV_out_g(T75)) → pI_out_g(T75)
U5_g(T75, pI_out_g(T75)) → qH_out_g(f(f(T75)))
U73_g(T270, qH_out_g(f(T270))) → U74_g(T270, tN24_in_g(T270))
tN24_in_g(f(T281)) → U31_g(T281, pK_in_g(T281))
U31_g(T281, pK_out_g(T281)) → tN24_out_g(f(T281))
U74_g(T270, tN24_out_g(T270)) → pK_out_g(T270)
U6_g(T270, pK_out_g(T270)) → tJ_out_g(T270)
U48_gg(T742, tJ_out_g(T742)) → rN40_out_gg(f(T742), f(T742))
U96_gg(T710, T711, rN40_out_gg(T710, T711)) → pN38_out_gg(T710, T711)
U44_gg(T710, T711, pN38_out_gg(T710, T711)) → rN37_out_gg(T710, T711)
rN37_in_gg(f(T746), T746) → U45_gg(T746, tJ_in_g(T746))
U45_gg(T746, tJ_out_g(T746)) → rN37_out_gg(f(T746), T746)
U93_gg(T682, T683, rN37_out_gg(T682, T683)) → U94_gg(T682, T683, pN39_in_gg(T682, T683))
pN39_in_gg(a, b) → pN39_out_gg(a, b)
pN39_in_gg(T764, f(T765)) → U46_gg(T764, T765, pC_in_gg(T764, T765))
U46_gg(T764, T765, pC_out_gg(T764, T765)) → pN39_out_gg(T764, f(T765))
U94_gg(T682, T683, pN39_out_gg(T682, T683)) → pC_out_gg(T682, T683)
U2_gg(T682, T683, pC_out_gg(T682, T683)) → qA_out_gg(T682, f(f(T683)))
U71_gg(T228, T229, qA_out_gg(f(T228), T229)) → U72_gg(T228, T229, rN23_in_gg(T228, T229))
rN23_in_gg(T254, f(T255)) → U29_gg(T254, T255, pN21_in_gg(T254, T255))
U29_gg(T254, T255, pN21_out_gg(T254, T255)) → rN23_out_gg(T254, f(T255))
rN23_in_gg(T260, f(T260)) → U30_gg(T260, tJ_in_g(T260))
U30_gg(T260, tJ_out_g(T260)) → rN23_out_gg(T260, f(T260))
U72_gg(T228, T229, rN23_out_gg(T228, T229)) → pN21_out_gg(T228, T229)
U26_gg(T228, T229, pN21_out_gg(T228, T229)) → rN20_out_gg(T228, T229)
rN20_in_gg(T285, T285) → U27_gg(T285, tJ_in_g(T285))
U27_gg(T285, tJ_out_g(T285)) → rN20_out_gg(T285, T285)
U69_gg(T200, T201, rN20_out_gg(T200, T201)) → U70_gg(T200, T201, pN22_in_gg(T200, T201))
pN22_in_gg(T303, f(T304)) → U28_gg(T303, T304, pG_in_gg(T303, T304))
U28_gg(T303, T304, pG_out_gg(T303, T304)) → pN22_out_gg(T303, f(T304))
U70_gg(T200, T201, pN22_out_gg(T200, T201)) → pG_out_gg(T200, T201)
U4_gg(T200, T201, pG_out_gg(T200, T201)) → pF_out_gg(T200, T201)
U32_g(T336, pF_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → qN25_out_g(f(f(T336)))
U75_g(T322, qN25_out_g(T322)) → U76_g(T322, rN26_in_g(T322))
rN26_in_g(f(T356)) → U33_g(T356, pN21_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
U33_g(T356, pN21_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → rN26_out_g(f(T356))
U76_g(T322, rN26_out_g(T322)) → pM_out_g(T322)
U7_g(T322, pM_out_g(T322)) → rL_out_g(f(T322))
U77_g(T375, rL_out_g(f(T375))) → U78_g(T375, pN27_in_g(T375))
pN27_in_g(f(T389)) → U34_g(T389, pG_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
U34_g(T389, pG_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → pN27_out_g(f(T389))
U78_g(T375, pN27_out_g(T375)) → pO_out_g(T375)
U8_g(T375, pO_out_g(T375)) → pN_out_g(f(T375))
U35_g(T423, pN_out_g(f(T423))) → qN28_out_g(f(f(T423)))
U79_g(T409, qN28_out_g(T409)) → U80_g(T409, rN29_in_g(T409))
rN29_in_g(f(T440)) → U36_g(T440, pN18_in_g(T440))
U36_g(T440, pN18_out_g(T440)) → rN29_out_g(f(T440))
U80_g(T409, rN29_out_g(T409)) → pQ_out_g(T409)
U9_g(T409, pQ_out_g(T409)) → rP_out_g(f(T409))
U81_g(T456, rP_out_g(f(T456))) → U82_g(T456, pN30_in_g(T456))
pN30_in_g(f(T470)) → U37_g(T470, pN16_in_g(T470))
U37_g(T470, pN16_out_g(T470)) → pN30_out_g(f(T470))
U82_g(T456, pN30_out_g(T456)) → pS_out_g(T456)
U10_g(T456, pS_out_g(T456)) → pR_out_g(f(T456))
U38_g(T501, pR_out_g(f(T501))) → qN31_out_g(f(f(T501)))
U83_g(T487, qN31_out_g(T487)) → U84_g(T487, rN32_in_g(T487))
rN32_in_g(f(T518)) → U39_g(T518, pN14_in_g(T518))
U39_g(T518, pN14_out_g(T518)) → rN32_out_g(f(T518))
U84_g(T487, rN32_out_g(T487)) → pU_out_g(T487)
U11_g(T487, pU_out_g(T487)) → rT_out_g(f(T487))
U85_g(T534, rT_out_g(f(T534))) → U86_g(T534, pN33_in_g(T534))
pN33_in_g(f(T548)) → U40_g(T548, pN12_in_g(T548))
U40_g(T548, pN12_out_g(T548)) → pN33_out_g(f(T548))
U86_g(T534, pN33_out_g(T534)) → pW_out_g(T534)
U12_g(T534, pW_out_g(T534)) → pV_out_g(f(T534))
U41_g(T579, pV_out_g(f(T579))) → qN34_out_g(f(f(T579)))
U87_g(T565, qN34_out_g(T565)) → U88_g(T565, rN35_in_g(T565))
rN35_in_g(f(T596)) → U42_g(T596, pN10_in_g(T596))
U42_g(T596, pN10_out_g(T596)) → rN35_out_g(f(T596))
U88_g(T565, rN35_out_g(T565)) → pN1_out_g(T565)
U14_g(T565, pN1_out_g(T565)) → rZ_out_g(f(T565))
rZ_in_g(f(T601)) → U15_g(T601, tJ_in_g(T601))
U15_g(T601, tJ_out_g(T601)) → rZ_out_g(f(T601))
U91_g(T628, rZ_out_g(f(T628))) → U92_g(T628, pN36_in_g(T628))
pN36_in_g(f(T642)) → U43_g(T642, pI_in_g(T642))
U43_g(T642, pI_out_g(T642)) → pN36_out_g(f(T642))
U92_g(T628, pN36_out_g(T628)) → pN2_out_g(T628)
U16_g(T628, pN2_out_g(T628)) → pE_out_g(f(T628))
U3_g(T656, pE_out_g(f(T656))) → qD_out_g(f(T656))
U53_g(T36, qD_out_g(T36)) → U54_g(T36, rX_in_g(T36))
rX_in_g(T51) → U13_g(T51, pY_in_g(T51))
pY_in_g(T51) → U55_g(T51, qH_in_g(T51))
U55_g(T51, qH_out_g(T51)) → U56_g(T51, rZ_in_g(T51))
U56_g(T51, rZ_out_g(T51)) → pY_out_g(T51)
U13_g(T51, pY_out_g(T51)) → rX_out_g(T51)
U54_g(T36, rX_out_g(T36)) → pN6_out_g(T36)
U18_g(T36, pN6_out_g(T36)) → rN5_out_g(T36)
U51_g(T22, rN5_out_g(T22)) → U52_g(T22, pN7_in_g(T22))
pN7_in_g(T614) → U19_g(T614, pN8_in_g(T614))
pN8_in_g(T614) → U89_g(T614, rX_in_g(T614))
U89_g(T614, rX_out_g(T614)) → U90_g(T614, pE_in_g(T614))
U90_g(T614, pE_out_g(T614)) → pN8_out_g(T614)
U19_g(T614, pN8_out_g(T614)) → pN7_out_g(T614)
U52_g(T22, pN7_out_g(T22)) → pN4_out_g(T22)
U17_g(T22, pN4_out_g(T22)) → pN3_out_g(T22)
U49_g(T11, pN3_out_g(T11)) → U50_g(T11, qD_in_g(T11))
U50_g(T11, qD_out_g(T11)) → pB_out_g(T11)
U1_gg(T11, pB_out_g(T11)) → qA_out_gg(T11, f(f(T11)))

Pi is empty.
We have to consider all (P,R,Pi)-chains

(7) PiDPToQDPProof (EQUIVALENT transformation)

Transforming (infinitary) constructor rewriting Pi-DP problem [LOPSTR] into ordinary QDP problem [LPAR04] by application of Pi.

(8) Obligation:

Q DP problem:
The TRS P consists of the following rules:

QA_IN_GG(T11, f(f(T11))) → PB_IN_G(T11)
PB_IN_G(T11) → U49_G(T11, pN3_in_g(T11))
U49_G(T11, pN3_out_g(T11)) → QD_IN_G(T11)
QD_IN_G(f(T656)) → PE_IN_G(f(T656))
PE_IN_G(f(T628)) → PN2_IN_G(T628)
PN2_IN_G(T628) → U91_G(T628, rZ_in_g(f(T628)))
U91_G(T628, rZ_out_g(f(T628))) → PN36_IN_G(T628)
PN36_IN_G(f(T642)) → PI_IN_G(T642)
PI_IN_G(T75) → U57_G(T75, rN9_in_g(T75))
U57_G(T75, rN9_out_g(T75)) → PV_IN_G(T75)
PV_IN_G(f(T534)) → PW_IN_G(T534)
PW_IN_G(T534) → U85_G(T534, rT_in_g(f(T534)))
U85_G(T534, rT_out_g(f(T534))) → PN33_IN_G(T534)
PN33_IN_G(f(T548)) → PN12_IN_G(T548)
PN12_IN_G(T113) → U61_G(T113, rN13_in_g(T113))
U61_G(T113, rN13_out_g(T113)) → PR_IN_G(T113)
PR_IN_G(f(T456)) → PS_IN_G(T456)
PS_IN_G(T456) → U81_G(T456, rP_in_g(f(T456)))
U81_G(T456, rP_out_g(f(T456))) → PN30_IN_G(T456)
PN30_IN_G(f(T470)) → PN16_IN_G(T470)
PN16_IN_G(T151) → U65_G(T151, rN17_in_g(T151))
U65_G(T151, rN17_out_g(T151)) → PN_IN_G(T151)
PN_IN_G(f(T375)) → PO_IN_G(T375)
PO_IN_G(T375) → U77_G(T375, rL_in_g(f(T375)))
U77_G(T375, rL_out_g(f(T375))) → PN27_IN_G(T375)
PN27_IN_G(f(T389)) → PG_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
PG_IN_GG(T200, T201) → U69_GG(T200, T201, rN20_in_gg(T200, T201))
U69_GG(T200, T201, rN20_out_gg(T200, T201)) → PN22_IN_GG(T200, T201)
PN22_IN_GG(T303, f(T304)) → PG_IN_GG(T303, T304)
PG_IN_GG(T200, T201) → RN20_IN_GG(T200, T201)
RN20_IN_GG(T228, T229) → PN21_IN_GG(T228, T229)
PN21_IN_GG(T228, T229) → U71_GG(T228, T229, qA_in_gg(f(T228), T229))
U71_GG(T228, T229, qA_out_gg(f(T228), T229)) → RN23_IN_GG(T228, T229)
RN23_IN_GG(T254, f(T255)) → PN21_IN_GG(T254, T255)
PN21_IN_GG(T228, T229) → QA_IN_GG(f(T228), T229)
QA_IN_GG(T682, f(f(T683))) → PC_IN_GG(T682, T683)
PC_IN_GG(T682, T683) → U93_GG(T682, T683, rN37_in_gg(T682, T683))
U93_GG(T682, T683, rN37_out_gg(T682, T683)) → PN39_IN_GG(T682, T683)
PN39_IN_GG(T764, f(T765)) → PC_IN_GG(T764, T765)
PC_IN_GG(T682, T683) → RN37_IN_GG(T682, T683)
RN37_IN_GG(T710, T711) → PN38_IN_GG(T710, T711)
PN38_IN_GG(T710, T711) → U95_GG(T710, T711, qA_in_gg(T710, T711))
U95_GG(T710, T711, qA_out_gg(T710, T711)) → RN40_IN_GG(T710, T711)
RN40_IN_GG(T736, f(T737)) → PN38_IN_GG(T736, T737)
PN38_IN_GG(T710, T711) → QA_IN_GG(T710, T711)
RN40_IN_GG(f(T742), f(T742)) → TJ_IN_G(T742)
TJ_IN_G(T270) → PK_IN_G(T270)
PK_IN_G(T270) → U73_G(T270, qH_in_g(f(T270)))
U73_G(T270, qH_out_g(f(T270))) → TN24_IN_G(T270)
TN24_IN_G(f(T281)) → PK_IN_G(T281)
PK_IN_G(T270) → QH_IN_G(f(T270))
QH_IN_G(f(f(T75))) → PI_IN_G(T75)
PI_IN_G(T75) → RN9_IN_G(T75)
RN9_IN_G(T89) → PN10_IN_G(T89)
PN10_IN_G(T89) → U59_G(T89, qN11_in_g(T89))
U59_G(T89, qN11_out_g(T89)) → RT_IN_G(T89)
RT_IN_G(f(T487)) → PU_IN_G(T487)
PU_IN_G(T487) → U83_G(T487, qN31_in_g(T487))
U83_G(T487, qN31_out_g(T487)) → RN32_IN_G(T487)
RN32_IN_G(f(T518)) → PN14_IN_G(T518)
PN14_IN_G(T127) → U63_G(T127, qN15_in_g(T127))
U63_G(T127, qN15_out_g(T127)) → RP_IN_G(T127)
RP_IN_G(f(T409)) → PQ_IN_G(T409)
PQ_IN_G(T409) → U79_G(T409, qN28_in_g(T409))
U79_G(T409, qN28_out_g(T409)) → RN29_IN_G(T409)
RN29_IN_G(f(T440)) → PN18_IN_G(T440)
PN18_IN_G(T165) → U67_G(T165, qN19_in_g(T165))
U67_G(T165, qN19_out_g(T165)) → RL_IN_G(T165)
RL_IN_G(f(T322)) → PM_IN_G(T322)
PM_IN_G(T322) → U75_G(T322, qN25_in_g(T322))
U75_G(T322, qN25_out_g(T322)) → RN26_IN_G(T322)
RN26_IN_G(f(T356)) → PN21_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
PM_IN_G(T322) → QN25_IN_G(T322)
QN25_IN_G(f(f(T336))) → PF_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
PF_IN_GG(T200, T201) → PG_IN_GG(T200, T201)
PN18_IN_G(T165) → QN19_IN_G(T165)
QN19_IN_G(f(f(T179))) → PF_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
PQ_IN_G(T409) → QN28_IN_G(T409)
QN28_IN_G(f(f(T423))) → PN_IN_G(f(T423))
PN14_IN_G(T127) → QN15_IN_G(T127)
QN15_IN_G(f(f(T151))) → PN16_IN_G(T151)
PN16_IN_G(T151) → RN17_IN_G(T151)
RN17_IN_G(T165) → PN18_IN_G(T165)
PU_IN_G(T487) → QN31_IN_G(T487)
QN31_IN_G(f(f(T501))) → PR_IN_G(f(T501))
PN10_IN_G(T89) → QN11_IN_G(T89)
QN11_IN_G(f(f(T113))) → PN12_IN_G(T113)
PN12_IN_G(T113) → RN13_IN_G(T113)
RN13_IN_G(T127) → PN14_IN_G(T127)
RN37_IN_GG(f(T746), T746) → TJ_IN_G(T746)
RN23_IN_GG(T260, f(T260)) → TJ_IN_G(T260)
RN20_IN_GG(T285, T285) → TJ_IN_G(T285)
PO_IN_G(T375) → RL_IN_G(f(T375))
PS_IN_G(T456) → RP_IN_G(f(T456))
PW_IN_G(T534) → RT_IN_G(f(T534))
PN2_IN_G(T628) → RZ_IN_G(f(T628))
RZ_IN_G(f(T565)) → PN1_IN_G(T565)
PN1_IN_G(T565) → U87_G(T565, qN34_in_g(T565))
U87_G(T565, qN34_out_g(T565)) → RN35_IN_G(T565)
RN35_IN_G(f(T596)) → PN10_IN_G(T596)
PN1_IN_G(T565) → QN34_IN_G(T565)
QN34_IN_G(f(f(T579))) → PV_IN_G(f(T579))
RZ_IN_G(f(T601)) → TJ_IN_G(T601)
PB_IN_G(T11) → PN3_IN_G(T11)
PN3_IN_G(T22) → PN4_IN_G(T22)
PN4_IN_G(T22) → U51_G(T22, rN5_in_g(T22))
U51_G(T22, rN5_out_g(T22)) → PN7_IN_G(T22)
PN7_IN_G(T614) → PN8_IN_G(T614)
PN8_IN_G(T614) → U89_G(T614, rX_in_g(T614))
U89_G(T614, rX_out_g(T614)) → PE_IN_G(T614)
PN8_IN_G(T614) → RX_IN_G(T614)
RX_IN_G(T51) → PY_IN_G(T51)
PY_IN_G(T51) → U55_G(T51, qH_in_g(T51))
U55_G(T51, qH_out_g(T51)) → RZ_IN_G(T51)
PY_IN_G(T51) → QH_IN_G(T51)
PN4_IN_G(T22) → RN5_IN_G(T22)
RN5_IN_G(T36) → PN6_IN_G(T36)
PN6_IN_G(T36) → U53_G(T36, qD_in_g(T36))
U53_G(T36, qD_out_g(T36)) → RX_IN_G(T36)
PN6_IN_G(T36) → QD_IN_G(T36)

The TRS R consists of the following rules:

qA_in_gg(a, b) → qA_out_gg(a, b)
qA_in_gg(T11, f(f(T11))) → U1_gg(T11, pB_in_g(T11))
pB_in_g(T11) → U49_g(T11, pN3_in_g(T11))
pN3_in_g(T22) → U17_g(T22, pN4_in_g(T22))
pN4_in_g(T22) → U51_g(T22, rN5_in_g(T22))
rN5_in_g(T36) → U18_g(T36, pN6_in_g(T36))
pN6_in_g(T36) → U53_g(T36, qD_in_g(T36))
qD_in_g(f(T656)) → U3_g(T656, pE_in_g(f(T656)))
pE_in_g(f(T628)) → U16_g(T628, pN2_in_g(T628))
pN2_in_g(T628) → U91_g(T628, rZ_in_g(f(T628)))
rZ_in_g(f(T565)) → U14_g(T565, pN1_in_g(T565))
pN1_in_g(T565) → U87_g(T565, qN34_in_g(T565))
qN34_in_g(f(f(T579))) → U41_g(T579, pV_in_g(f(T579)))
pV_in_g(f(T534)) → U12_g(T534, pW_in_g(T534))
pW_in_g(T534) → U85_g(T534, rT_in_g(f(T534)))
rT_in_g(f(T487)) → U11_g(T487, pU_in_g(T487))
pU_in_g(T487) → U83_g(T487, qN31_in_g(T487))
qN31_in_g(f(f(T501))) → U38_g(T501, pR_in_g(f(T501)))
pR_in_g(f(T456)) → U10_g(T456, pS_in_g(T456))
pS_in_g(T456) → U81_g(T456, rP_in_g(f(T456)))
rP_in_g(f(T409)) → U9_g(T409, pQ_in_g(T409))
pQ_in_g(T409) → U79_g(T409, qN28_in_g(T409))
qN28_in_g(f(f(T423))) → U35_g(T423, pN_in_g(f(T423)))
pN_in_g(f(T375)) → U8_g(T375, pO_in_g(T375))
pO_in_g(T375) → U77_g(T375, rL_in_g(f(T375)))
rL_in_g(f(T322)) → U7_g(T322, pM_in_g(T322))
pM_in_g(T322) → U75_g(T322, qN25_in_g(T322))
qN25_in_g(f(f(T336))) → U32_g(T336, pF_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pF_in_gg(T200, T201) → U4_gg(T200, T201, pG_in_gg(T200, T201))
pG_in_gg(T200, T201) → U69_gg(T200, T201, rN20_in_gg(T200, T201))
rN20_in_gg(T228, T229) → U26_gg(T228, T229, pN21_in_gg(T228, T229))
pN21_in_gg(T228, T229) → U71_gg(T228, T229, qA_in_gg(f(T228), T229))
qA_in_gg(T682, f(f(T683))) → U2_gg(T682, T683, pC_in_gg(T682, T683))
pC_in_gg(T682, T683) → U93_gg(T682, T683, rN37_in_gg(T682, T683))
rN37_in_gg(T710, T711) → U44_gg(T710, T711, pN38_in_gg(T710, T711))
pN38_in_gg(T710, T711) → U95_gg(T710, T711, qA_in_gg(T710, T711))
U95_gg(T710, T711, qA_out_gg(T710, T711)) → U96_gg(T710, T711, rN40_in_gg(T710, T711))
rN40_in_gg(a, b) → rN40_out_gg(a, b)
rN40_in_gg(T736, f(T737)) → U47_gg(T736, T737, pN38_in_gg(T736, T737))
U47_gg(T736, T737, pN38_out_gg(T736, T737)) → rN40_out_gg(T736, f(T737))
rN40_in_gg(f(T742), f(T742)) → U48_gg(T742, tJ_in_g(T742))
tJ_in_g(T270) → U6_g(T270, pK_in_g(T270))
pK_in_g(T270) → U73_g(T270, qH_in_g(f(T270)))
qH_in_g(f(f(T75))) → U5_g(T75, pI_in_g(T75))
pI_in_g(T75) → U57_g(T75, rN9_in_g(T75))
rN9_in_g(T89) → U20_g(T89, pN10_in_g(T89))
pN10_in_g(T89) → U59_g(T89, qN11_in_g(T89))
qN11_in_g(f(f(T113))) → U21_g(T113, pN12_in_g(T113))
pN12_in_g(T113) → U61_g(T113, rN13_in_g(T113))
rN13_in_g(T127) → U22_g(T127, pN14_in_g(T127))
pN14_in_g(T127) → U63_g(T127, qN15_in_g(T127))
qN15_in_g(f(f(T151))) → U23_g(T151, pN16_in_g(T151))
pN16_in_g(T151) → U65_g(T151, rN17_in_g(T151))
rN17_in_g(T165) → U24_g(T165, pN18_in_g(T165))
pN18_in_g(T165) → U67_g(T165, qN19_in_g(T165))
qN19_in_g(f(f(T179))) → U25_g(T179, pF_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U25_g(T179, pF_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → qN19_out_g(f(f(T179)))
U67_g(T165, qN19_out_g(T165)) → U68_g(T165, rL_in_g(T165))
U68_g(T165, rL_out_g(T165)) → pN18_out_g(T165)
U24_g(T165, pN18_out_g(T165)) → rN17_out_g(T165)
U65_g(T151, rN17_out_g(T151)) → U66_g(T151, pN_in_g(T151))
U66_g(T151, pN_out_g(T151)) → pN16_out_g(T151)
U23_g(T151, pN16_out_g(T151)) → qN15_out_g(f(f(T151)))
U63_g(T127, qN15_out_g(T127)) → U64_g(T127, rP_in_g(T127))
U64_g(T127, rP_out_g(T127)) → pN14_out_g(T127)
U22_g(T127, pN14_out_g(T127)) → rN13_out_g(T127)
U61_g(T113, rN13_out_g(T113)) → U62_g(T113, pR_in_g(T113))
U62_g(T113, pR_out_g(T113)) → pN12_out_g(T113)
U21_g(T113, pN12_out_g(T113)) → qN11_out_g(f(f(T113)))
U59_g(T89, qN11_out_g(T89)) → U60_g(T89, rT_in_g(T89))
U60_g(T89, rT_out_g(T89)) → pN10_out_g(T89)
U20_g(T89, pN10_out_g(T89)) → rN9_out_g(T89)
U57_g(T75, rN9_out_g(T75)) → U58_g(T75, pV_in_g(T75))
U58_g(T75, pV_out_g(T75)) → pI_out_g(T75)
U5_g(T75, pI_out_g(T75)) → qH_out_g(f(f(T75)))
U73_g(T270, qH_out_g(f(T270))) → U74_g(T270, tN24_in_g(T270))
tN24_in_g(f(T281)) → U31_g(T281, pK_in_g(T281))
U31_g(T281, pK_out_g(T281)) → tN24_out_g(f(T281))
U74_g(T270, tN24_out_g(T270)) → pK_out_g(T270)
U6_g(T270, pK_out_g(T270)) → tJ_out_g(T270)
U48_gg(T742, tJ_out_g(T742)) → rN40_out_gg(f(T742), f(T742))
U96_gg(T710, T711, rN40_out_gg(T710, T711)) → pN38_out_gg(T710, T711)
U44_gg(T710, T711, pN38_out_gg(T710, T711)) → rN37_out_gg(T710, T711)
rN37_in_gg(f(T746), T746) → U45_gg(T746, tJ_in_g(T746))
U45_gg(T746, tJ_out_g(T746)) → rN37_out_gg(f(T746), T746)
U93_gg(T682, T683, rN37_out_gg(T682, T683)) → U94_gg(T682, T683, pN39_in_gg(T682, T683))
pN39_in_gg(a, b) → pN39_out_gg(a, b)
pN39_in_gg(T764, f(T765)) → U46_gg(T764, T765, pC_in_gg(T764, T765))
U46_gg(T764, T765, pC_out_gg(T764, T765)) → pN39_out_gg(T764, f(T765))
U94_gg(T682, T683, pN39_out_gg(T682, T683)) → pC_out_gg(T682, T683)
U2_gg(T682, T683, pC_out_gg(T682, T683)) → qA_out_gg(T682, f(f(T683)))
U71_gg(T228, T229, qA_out_gg(f(T228), T229)) → U72_gg(T228, T229, rN23_in_gg(T228, T229))
rN23_in_gg(T254, f(T255)) → U29_gg(T254, T255, pN21_in_gg(T254, T255))
U29_gg(T254, T255, pN21_out_gg(T254, T255)) → rN23_out_gg(T254, f(T255))
rN23_in_gg(T260, f(T260)) → U30_gg(T260, tJ_in_g(T260))
U30_gg(T260, tJ_out_g(T260)) → rN23_out_gg(T260, f(T260))
U72_gg(T228, T229, rN23_out_gg(T228, T229)) → pN21_out_gg(T228, T229)
U26_gg(T228, T229, pN21_out_gg(T228, T229)) → rN20_out_gg(T228, T229)
rN20_in_gg(T285, T285) → U27_gg(T285, tJ_in_g(T285))
U27_gg(T285, tJ_out_g(T285)) → rN20_out_gg(T285, T285)
U69_gg(T200, T201, rN20_out_gg(T200, T201)) → U70_gg(T200, T201, pN22_in_gg(T200, T201))
pN22_in_gg(T303, f(T304)) → U28_gg(T303, T304, pG_in_gg(T303, T304))
U28_gg(T303, T304, pG_out_gg(T303, T304)) → pN22_out_gg(T303, f(T304))
U70_gg(T200, T201, pN22_out_gg(T200, T201)) → pG_out_gg(T200, T201)
U4_gg(T200, T201, pG_out_gg(T200, T201)) → pF_out_gg(T200, T201)
U32_g(T336, pF_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → qN25_out_g(f(f(T336)))
U75_g(T322, qN25_out_g(T322)) → U76_g(T322, rN26_in_g(T322))
rN26_in_g(f(T356)) → U33_g(T356, pN21_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
U33_g(T356, pN21_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → rN26_out_g(f(T356))
U76_g(T322, rN26_out_g(T322)) → pM_out_g(T322)
U7_g(T322, pM_out_g(T322)) → rL_out_g(f(T322))
U77_g(T375, rL_out_g(f(T375))) → U78_g(T375, pN27_in_g(T375))
pN27_in_g(f(T389)) → U34_g(T389, pG_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
U34_g(T389, pG_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → pN27_out_g(f(T389))
U78_g(T375, pN27_out_g(T375)) → pO_out_g(T375)
U8_g(T375, pO_out_g(T375)) → pN_out_g(f(T375))
U35_g(T423, pN_out_g(f(T423))) → qN28_out_g(f(f(T423)))
U79_g(T409, qN28_out_g(T409)) → U80_g(T409, rN29_in_g(T409))
rN29_in_g(f(T440)) → U36_g(T440, pN18_in_g(T440))
U36_g(T440, pN18_out_g(T440)) → rN29_out_g(f(T440))
U80_g(T409, rN29_out_g(T409)) → pQ_out_g(T409)
U9_g(T409, pQ_out_g(T409)) → rP_out_g(f(T409))
U81_g(T456, rP_out_g(f(T456))) → U82_g(T456, pN30_in_g(T456))
pN30_in_g(f(T470)) → U37_g(T470, pN16_in_g(T470))
U37_g(T470, pN16_out_g(T470)) → pN30_out_g(f(T470))
U82_g(T456, pN30_out_g(T456)) → pS_out_g(T456)
U10_g(T456, pS_out_g(T456)) → pR_out_g(f(T456))
U38_g(T501, pR_out_g(f(T501))) → qN31_out_g(f(f(T501)))
U83_g(T487, qN31_out_g(T487)) → U84_g(T487, rN32_in_g(T487))
rN32_in_g(f(T518)) → U39_g(T518, pN14_in_g(T518))
U39_g(T518, pN14_out_g(T518)) → rN32_out_g(f(T518))
U84_g(T487, rN32_out_g(T487)) → pU_out_g(T487)
U11_g(T487, pU_out_g(T487)) → rT_out_g(f(T487))
U85_g(T534, rT_out_g(f(T534))) → U86_g(T534, pN33_in_g(T534))
pN33_in_g(f(T548)) → U40_g(T548, pN12_in_g(T548))
U40_g(T548, pN12_out_g(T548)) → pN33_out_g(f(T548))
U86_g(T534, pN33_out_g(T534)) → pW_out_g(T534)
U12_g(T534, pW_out_g(T534)) → pV_out_g(f(T534))
U41_g(T579, pV_out_g(f(T579))) → qN34_out_g(f(f(T579)))
U87_g(T565, qN34_out_g(T565)) → U88_g(T565, rN35_in_g(T565))
rN35_in_g(f(T596)) → U42_g(T596, pN10_in_g(T596))
U42_g(T596, pN10_out_g(T596)) → rN35_out_g(f(T596))
U88_g(T565, rN35_out_g(T565)) → pN1_out_g(T565)
U14_g(T565, pN1_out_g(T565)) → rZ_out_g(f(T565))
rZ_in_g(f(T601)) → U15_g(T601, tJ_in_g(T601))
U15_g(T601, tJ_out_g(T601)) → rZ_out_g(f(T601))
U91_g(T628, rZ_out_g(f(T628))) → U92_g(T628, pN36_in_g(T628))
pN36_in_g(f(T642)) → U43_g(T642, pI_in_g(T642))
U43_g(T642, pI_out_g(T642)) → pN36_out_g(f(T642))
U92_g(T628, pN36_out_g(T628)) → pN2_out_g(T628)
U16_g(T628, pN2_out_g(T628)) → pE_out_g(f(T628))
U3_g(T656, pE_out_g(f(T656))) → qD_out_g(f(T656))
U53_g(T36, qD_out_g(T36)) → U54_g(T36, rX_in_g(T36))
rX_in_g(T51) → U13_g(T51, pY_in_g(T51))
pY_in_g(T51) → U55_g(T51, qH_in_g(T51))
U55_g(T51, qH_out_g(T51)) → U56_g(T51, rZ_in_g(T51))
U56_g(T51, rZ_out_g(T51)) → pY_out_g(T51)
U13_g(T51, pY_out_g(T51)) → rX_out_g(T51)
U54_g(T36, rX_out_g(T36)) → pN6_out_g(T36)
U18_g(T36, pN6_out_g(T36)) → rN5_out_g(T36)
U51_g(T22, rN5_out_g(T22)) → U52_g(T22, pN7_in_g(T22))
pN7_in_g(T614) → U19_g(T614, pN8_in_g(T614))
pN8_in_g(T614) → U89_g(T614, rX_in_g(T614))
U89_g(T614, rX_out_g(T614)) → U90_g(T614, pE_in_g(T614))
U90_g(T614, pE_out_g(T614)) → pN8_out_g(T614)
U19_g(T614, pN8_out_g(T614)) → pN7_out_g(T614)
U52_g(T22, pN7_out_g(T22)) → pN4_out_g(T22)
U17_g(T22, pN4_out_g(T22)) → pN3_out_g(T22)
U49_g(T11, pN3_out_g(T11)) → U50_g(T11, qD_in_g(T11))
U50_g(T11, qD_out_g(T11)) → pB_out_g(T11)
U1_gg(T11, pB_out_g(T11)) → qA_out_gg(T11, f(f(T11)))

The set Q consists of the following terms:

qA_in_gg(x0, x1)
pB_in_g(x0)
pN3_in_g(x0)
pN4_in_g(x0)
rN5_in_g(x0)
pN6_in_g(x0)
qD_in_g(x0)
pE_in_g(x0)
pN2_in_g(x0)
rZ_in_g(x0)
pN1_in_g(x0)
qN34_in_g(x0)
pV_in_g(x0)
pW_in_g(x0)
rT_in_g(x0)
pU_in_g(x0)
qN31_in_g(x0)
pR_in_g(x0)
pS_in_g(x0)
rP_in_g(x0)
pQ_in_g(x0)
qN28_in_g(x0)
pN_in_g(x0)
pO_in_g(x0)
rL_in_g(x0)
pM_in_g(x0)
qN25_in_g(x0)
pF_in_gg(x0, x1)
pG_in_gg(x0, x1)
rN20_in_gg(x0, x1)
pN21_in_gg(x0, x1)
pC_in_gg(x0, x1)
rN37_in_gg(x0, x1)
pN38_in_gg(x0, x1)
U95_gg(x0, x1, x2)
rN40_in_gg(x0, x1)
U47_gg(x0, x1, x2)
tJ_in_g(x0)
pK_in_g(x0)
qH_in_g(x0)
pI_in_g(x0)
rN9_in_g(x0)
pN10_in_g(x0)
qN11_in_g(x0)
pN12_in_g(x0)
rN13_in_g(x0)
pN14_in_g(x0)
qN15_in_g(x0)
pN16_in_g(x0)
rN17_in_g(x0)
pN18_in_g(x0)
qN19_in_g(x0)
U25_g(x0, x1)
U67_g(x0, x1)
U68_g(x0, x1)
U24_g(x0, x1)
U65_g(x0, x1)
U66_g(x0, x1)
U23_g(x0, x1)
U63_g(x0, x1)
U64_g(x0, x1)
U22_g(x0, x1)
U61_g(x0, x1)
U62_g(x0, x1)
U21_g(x0, x1)
U59_g(x0, x1)
U60_g(x0, x1)
U20_g(x0, x1)
U57_g(x0, x1)
U58_g(x0, x1)
U5_g(x0, x1)
U73_g(x0, x1)
tN24_in_g(x0)
U31_g(x0, x1)
U74_g(x0, x1)
U6_g(x0, x1)
U48_gg(x0, x1)
U96_gg(x0, x1, x2)
U44_gg(x0, x1, x2)
U45_gg(x0, x1)
U93_gg(x0, x1, x2)
pN39_in_gg(x0, x1)
U46_gg(x0, x1, x2)
U94_gg(x0, x1, x2)
U2_gg(x0, x1, x2)
U71_gg(x0, x1, x2)
rN23_in_gg(x0, x1)
U29_gg(x0, x1, x2)
U30_gg(x0, x1)
U72_gg(x0, x1, x2)
U26_gg(x0, x1, x2)
U27_gg(x0, x1)
U69_gg(x0, x1, x2)
pN22_in_gg(x0, x1)
U28_gg(x0, x1, x2)
U70_gg(x0, x1, x2)
U4_gg(x0, x1, x2)
U32_g(x0, x1)
U75_g(x0, x1)
rN26_in_g(x0)
U33_g(x0, x1)
U76_g(x0, x1)
U7_g(x0, x1)
U77_g(x0, x1)
pN27_in_g(x0)
U34_g(x0, x1)
U78_g(x0, x1)
U8_g(x0, x1)
U35_g(x0, x1)
U79_g(x0, x1)
rN29_in_g(x0)
U36_g(x0, x1)
U80_g(x0, x1)
U9_g(x0, x1)
U81_g(x0, x1)
pN30_in_g(x0)
U37_g(x0, x1)
U82_g(x0, x1)
U10_g(x0, x1)
U38_g(x0, x1)
U83_g(x0, x1)
rN32_in_g(x0)
U39_g(x0, x1)
U84_g(x0, x1)
U11_g(x0, x1)
U85_g(x0, x1)
pN33_in_g(x0)
U40_g(x0, x1)
U86_g(x0, x1)
U12_g(x0, x1)
U41_g(x0, x1)
U87_g(x0, x1)
rN35_in_g(x0)
U42_g(x0, x1)
U88_g(x0, x1)
U14_g(x0, x1)
U15_g(x0, x1)
U91_g(x0, x1)
pN36_in_g(x0)
U43_g(x0, x1)
U92_g(x0, x1)
U16_g(x0, x1)
U3_g(x0, x1)
U53_g(x0, x1)
rX_in_g(x0)
pY_in_g(x0)
U55_g(x0, x1)
U56_g(x0, x1)
U13_g(x0, x1)
U54_g(x0, x1)
U18_g(x0, x1)
U51_g(x0, x1)
pN7_in_g(x0)
pN8_in_g(x0)
U89_g(x0, x1)
U90_g(x0, x1)
U19_g(x0, x1)
U52_g(x0, x1)
U17_g(x0, x1)
U49_g(x0, x1)
U50_g(x0, x1)
U1_gg(x0, x1)

We have to consider all (P,Q,R)-chains.

(9) Instantiation (EQUIVALENT transformation)

By instantiating [LPAR04] the rule PF_IN_GG(T200, T201) → PG_IN_GG(T200, T201) we obtained the following new rules [LPAR04]:

PF_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0) → PG_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0)
PF_IN_GG(f(f(f(f(f(f(f(z0))))))), z0) → PG_IN_GG(f(f(f(f(f(f(f(z0))))))), z0)

(10) Obligation:

Q DP problem:
The TRS P consists of the following rules:

QA_IN_GG(T11, f(f(T11))) → PB_IN_G(T11)
PB_IN_G(T11) → U49_G(T11, pN3_in_g(T11))
U49_G(T11, pN3_out_g(T11)) → QD_IN_G(T11)
QD_IN_G(f(T656)) → PE_IN_G(f(T656))
PE_IN_G(f(T628)) → PN2_IN_G(T628)
PN2_IN_G(T628) → U91_G(T628, rZ_in_g(f(T628)))
U91_G(T628, rZ_out_g(f(T628))) → PN36_IN_G(T628)
PN36_IN_G(f(T642)) → PI_IN_G(T642)
PI_IN_G(T75) → U57_G(T75, rN9_in_g(T75))
U57_G(T75, rN9_out_g(T75)) → PV_IN_G(T75)
PV_IN_G(f(T534)) → PW_IN_G(T534)
PW_IN_G(T534) → U85_G(T534, rT_in_g(f(T534)))
U85_G(T534, rT_out_g(f(T534))) → PN33_IN_G(T534)
PN33_IN_G(f(T548)) → PN12_IN_G(T548)
PN12_IN_G(T113) → U61_G(T113, rN13_in_g(T113))
U61_G(T113, rN13_out_g(T113)) → PR_IN_G(T113)
PR_IN_G(f(T456)) → PS_IN_G(T456)
PS_IN_G(T456) → U81_G(T456, rP_in_g(f(T456)))
U81_G(T456, rP_out_g(f(T456))) → PN30_IN_G(T456)
PN30_IN_G(f(T470)) → PN16_IN_G(T470)
PN16_IN_G(T151) → U65_G(T151, rN17_in_g(T151))
U65_G(T151, rN17_out_g(T151)) → PN_IN_G(T151)
PN_IN_G(f(T375)) → PO_IN_G(T375)
PO_IN_G(T375) → U77_G(T375, rL_in_g(f(T375)))
U77_G(T375, rL_out_g(f(T375))) → PN27_IN_G(T375)
PN27_IN_G(f(T389)) → PG_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
PG_IN_GG(T200, T201) → U69_GG(T200, T201, rN20_in_gg(T200, T201))
U69_GG(T200, T201, rN20_out_gg(T200, T201)) → PN22_IN_GG(T200, T201)
PN22_IN_GG(T303, f(T304)) → PG_IN_GG(T303, T304)
PG_IN_GG(T200, T201) → RN20_IN_GG(T200, T201)
RN20_IN_GG(T228, T229) → PN21_IN_GG(T228, T229)
PN21_IN_GG(T228, T229) → U71_GG(T228, T229, qA_in_gg(f(T228), T229))
U71_GG(T228, T229, qA_out_gg(f(T228), T229)) → RN23_IN_GG(T228, T229)
RN23_IN_GG(T254, f(T255)) → PN21_IN_GG(T254, T255)
PN21_IN_GG(T228, T229) → QA_IN_GG(f(T228), T229)
QA_IN_GG(T682, f(f(T683))) → PC_IN_GG(T682, T683)
PC_IN_GG(T682, T683) → U93_GG(T682, T683, rN37_in_gg(T682, T683))
U93_GG(T682, T683, rN37_out_gg(T682, T683)) → PN39_IN_GG(T682, T683)
PN39_IN_GG(T764, f(T765)) → PC_IN_GG(T764, T765)
PC_IN_GG(T682, T683) → RN37_IN_GG(T682, T683)
RN37_IN_GG(T710, T711) → PN38_IN_GG(T710, T711)
PN38_IN_GG(T710, T711) → U95_GG(T710, T711, qA_in_gg(T710, T711))
U95_GG(T710, T711, qA_out_gg(T710, T711)) → RN40_IN_GG(T710, T711)
RN40_IN_GG(T736, f(T737)) → PN38_IN_GG(T736, T737)
PN38_IN_GG(T710, T711) → QA_IN_GG(T710, T711)
RN40_IN_GG(f(T742), f(T742)) → TJ_IN_G(T742)
TJ_IN_G(T270) → PK_IN_G(T270)
PK_IN_G(T270) → U73_G(T270, qH_in_g(f(T270)))
U73_G(T270, qH_out_g(f(T270))) → TN24_IN_G(T270)
TN24_IN_G(f(T281)) → PK_IN_G(T281)
PK_IN_G(T270) → QH_IN_G(f(T270))
QH_IN_G(f(f(T75))) → PI_IN_G(T75)
PI_IN_G(T75) → RN9_IN_G(T75)
RN9_IN_G(T89) → PN10_IN_G(T89)
PN10_IN_G(T89) → U59_G(T89, qN11_in_g(T89))
U59_G(T89, qN11_out_g(T89)) → RT_IN_G(T89)
RT_IN_G(f(T487)) → PU_IN_G(T487)
PU_IN_G(T487) → U83_G(T487, qN31_in_g(T487))
U83_G(T487, qN31_out_g(T487)) → RN32_IN_G(T487)
RN32_IN_G(f(T518)) → PN14_IN_G(T518)
PN14_IN_G(T127) → U63_G(T127, qN15_in_g(T127))
U63_G(T127, qN15_out_g(T127)) → RP_IN_G(T127)
RP_IN_G(f(T409)) → PQ_IN_G(T409)
PQ_IN_G(T409) → U79_G(T409, qN28_in_g(T409))
U79_G(T409, qN28_out_g(T409)) → RN29_IN_G(T409)
RN29_IN_G(f(T440)) → PN18_IN_G(T440)
PN18_IN_G(T165) → U67_G(T165, qN19_in_g(T165))
U67_G(T165, qN19_out_g(T165)) → RL_IN_G(T165)
RL_IN_G(f(T322)) → PM_IN_G(T322)
PM_IN_G(T322) → U75_G(T322, qN25_in_g(T322))
U75_G(T322, qN25_out_g(T322)) → RN26_IN_G(T322)
RN26_IN_G(f(T356)) → PN21_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
PM_IN_G(T322) → QN25_IN_G(T322)
QN25_IN_G(f(f(T336))) → PF_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
PN18_IN_G(T165) → QN19_IN_G(T165)
QN19_IN_G(f(f(T179))) → PF_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
PQ_IN_G(T409) → QN28_IN_G(T409)
QN28_IN_G(f(f(T423))) → PN_IN_G(f(T423))
PN14_IN_G(T127) → QN15_IN_G(T127)
QN15_IN_G(f(f(T151))) → PN16_IN_G(T151)
PN16_IN_G(T151) → RN17_IN_G(T151)
RN17_IN_G(T165) → PN18_IN_G(T165)
PU_IN_G(T487) → QN31_IN_G(T487)
QN31_IN_G(f(f(T501))) → PR_IN_G(f(T501))
PN10_IN_G(T89) → QN11_IN_G(T89)
QN11_IN_G(f(f(T113))) → PN12_IN_G(T113)
PN12_IN_G(T113) → RN13_IN_G(T113)
RN13_IN_G(T127) → PN14_IN_G(T127)
RN37_IN_GG(f(T746), T746) → TJ_IN_G(T746)
RN23_IN_GG(T260, f(T260)) → TJ_IN_G(T260)
RN20_IN_GG(T285, T285) → TJ_IN_G(T285)
PO_IN_G(T375) → RL_IN_G(f(T375))
PS_IN_G(T456) → RP_IN_G(f(T456))
PW_IN_G(T534) → RT_IN_G(f(T534))
PN2_IN_G(T628) → RZ_IN_G(f(T628))
RZ_IN_G(f(T565)) → PN1_IN_G(T565)
PN1_IN_G(T565) → U87_G(T565, qN34_in_g(T565))
U87_G(T565, qN34_out_g(T565)) → RN35_IN_G(T565)
RN35_IN_G(f(T596)) → PN10_IN_G(T596)
PN1_IN_G(T565) → QN34_IN_G(T565)
QN34_IN_G(f(f(T579))) → PV_IN_G(f(T579))
RZ_IN_G(f(T601)) → TJ_IN_G(T601)
PB_IN_G(T11) → PN3_IN_G(T11)
PN3_IN_G(T22) → PN4_IN_G(T22)
PN4_IN_G(T22) → U51_G(T22, rN5_in_g(T22))
U51_G(T22, rN5_out_g(T22)) → PN7_IN_G(T22)
PN7_IN_G(T614) → PN8_IN_G(T614)
PN8_IN_G(T614) → U89_G(T614, rX_in_g(T614))
U89_G(T614, rX_out_g(T614)) → PE_IN_G(T614)
PN8_IN_G(T614) → RX_IN_G(T614)
RX_IN_G(T51) → PY_IN_G(T51)
PY_IN_G(T51) → U55_G(T51, qH_in_g(T51))
U55_G(T51, qH_out_g(T51)) → RZ_IN_G(T51)
PY_IN_G(T51) → QH_IN_G(T51)
PN4_IN_G(T22) → RN5_IN_G(T22)
RN5_IN_G(T36) → PN6_IN_G(T36)
PN6_IN_G(T36) → U53_G(T36, qD_in_g(T36))
U53_G(T36, qD_out_g(T36)) → RX_IN_G(T36)
PN6_IN_G(T36) → QD_IN_G(T36)
PF_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0) → PG_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0)
PF_IN_GG(f(f(f(f(f(f(f(z0))))))), z0) → PG_IN_GG(f(f(f(f(f(f(f(z0))))))), z0)

The TRS R consists of the following rules:

qA_in_gg(a, b) → qA_out_gg(a, b)
qA_in_gg(T11, f(f(T11))) → U1_gg(T11, pB_in_g(T11))
pB_in_g(T11) → U49_g(T11, pN3_in_g(T11))
pN3_in_g(T22) → U17_g(T22, pN4_in_g(T22))
pN4_in_g(T22) → U51_g(T22, rN5_in_g(T22))
rN5_in_g(T36) → U18_g(T36, pN6_in_g(T36))
pN6_in_g(T36) → U53_g(T36, qD_in_g(T36))
qD_in_g(f(T656)) → U3_g(T656, pE_in_g(f(T656)))
pE_in_g(f(T628)) → U16_g(T628, pN2_in_g(T628))
pN2_in_g(T628) → U91_g(T628, rZ_in_g(f(T628)))
rZ_in_g(f(T565)) → U14_g(T565, pN1_in_g(T565))
pN1_in_g(T565) → U87_g(T565, qN34_in_g(T565))
qN34_in_g(f(f(T579))) → U41_g(T579, pV_in_g(f(T579)))
pV_in_g(f(T534)) → U12_g(T534, pW_in_g(T534))
pW_in_g(T534) → U85_g(T534, rT_in_g(f(T534)))
rT_in_g(f(T487)) → U11_g(T487, pU_in_g(T487))
pU_in_g(T487) → U83_g(T487, qN31_in_g(T487))
qN31_in_g(f(f(T501))) → U38_g(T501, pR_in_g(f(T501)))
pR_in_g(f(T456)) → U10_g(T456, pS_in_g(T456))
pS_in_g(T456) → U81_g(T456, rP_in_g(f(T456)))
rP_in_g(f(T409)) → U9_g(T409, pQ_in_g(T409))
pQ_in_g(T409) → U79_g(T409, qN28_in_g(T409))
qN28_in_g(f(f(T423))) → U35_g(T423, pN_in_g(f(T423)))
pN_in_g(f(T375)) → U8_g(T375, pO_in_g(T375))
pO_in_g(T375) → U77_g(T375, rL_in_g(f(T375)))
rL_in_g(f(T322)) → U7_g(T322, pM_in_g(T322))
pM_in_g(T322) → U75_g(T322, qN25_in_g(T322))
qN25_in_g(f(f(T336))) → U32_g(T336, pF_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pF_in_gg(T200, T201) → U4_gg(T200, T201, pG_in_gg(T200, T201))
pG_in_gg(T200, T201) → U69_gg(T200, T201, rN20_in_gg(T200, T201))
rN20_in_gg(T228, T229) → U26_gg(T228, T229, pN21_in_gg(T228, T229))
pN21_in_gg(T228, T229) → U71_gg(T228, T229, qA_in_gg(f(T228), T229))
qA_in_gg(T682, f(f(T683))) → U2_gg(T682, T683, pC_in_gg(T682, T683))
pC_in_gg(T682, T683) → U93_gg(T682, T683, rN37_in_gg(T682, T683))
rN37_in_gg(T710, T711) → U44_gg(T710, T711, pN38_in_gg(T710, T711))
pN38_in_gg(T710, T711) → U95_gg(T710, T711, qA_in_gg(T710, T711))
U95_gg(T710, T711, qA_out_gg(T710, T711)) → U96_gg(T710, T711, rN40_in_gg(T710, T711))
rN40_in_gg(a, b) → rN40_out_gg(a, b)
rN40_in_gg(T736, f(T737)) → U47_gg(T736, T737, pN38_in_gg(T736, T737))
U47_gg(T736, T737, pN38_out_gg(T736, T737)) → rN40_out_gg(T736, f(T737))
rN40_in_gg(f(T742), f(T742)) → U48_gg(T742, tJ_in_g(T742))
tJ_in_g(T270) → U6_g(T270, pK_in_g(T270))
pK_in_g(T270) → U73_g(T270, qH_in_g(f(T270)))
qH_in_g(f(f(T75))) → U5_g(T75, pI_in_g(T75))
pI_in_g(T75) → U57_g(T75, rN9_in_g(T75))
rN9_in_g(T89) → U20_g(T89, pN10_in_g(T89))
pN10_in_g(T89) → U59_g(T89, qN11_in_g(T89))
qN11_in_g(f(f(T113))) → U21_g(T113, pN12_in_g(T113))
pN12_in_g(T113) → U61_g(T113, rN13_in_g(T113))
rN13_in_g(T127) → U22_g(T127, pN14_in_g(T127))
pN14_in_g(T127) → U63_g(T127, qN15_in_g(T127))
qN15_in_g(f(f(T151))) → U23_g(T151, pN16_in_g(T151))
pN16_in_g(T151) → U65_g(T151, rN17_in_g(T151))
rN17_in_g(T165) → U24_g(T165, pN18_in_g(T165))
pN18_in_g(T165) → U67_g(T165, qN19_in_g(T165))
qN19_in_g(f(f(T179))) → U25_g(T179, pF_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U25_g(T179, pF_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → qN19_out_g(f(f(T179)))
U67_g(T165, qN19_out_g(T165)) → U68_g(T165, rL_in_g(T165))
U68_g(T165, rL_out_g(T165)) → pN18_out_g(T165)
U24_g(T165, pN18_out_g(T165)) → rN17_out_g(T165)
U65_g(T151, rN17_out_g(T151)) → U66_g(T151, pN_in_g(T151))
U66_g(T151, pN_out_g(T151)) → pN16_out_g(T151)
U23_g(T151, pN16_out_g(T151)) → qN15_out_g(f(f(T151)))
U63_g(T127, qN15_out_g(T127)) → U64_g(T127, rP_in_g(T127))
U64_g(T127, rP_out_g(T127)) → pN14_out_g(T127)
U22_g(T127, pN14_out_g(T127)) → rN13_out_g(T127)
U61_g(T113, rN13_out_g(T113)) → U62_g(T113, pR_in_g(T113))
U62_g(T113, pR_out_g(T113)) → pN12_out_g(T113)
U21_g(T113, pN12_out_g(T113)) → qN11_out_g(f(f(T113)))
U59_g(T89, qN11_out_g(T89)) → U60_g(T89, rT_in_g(T89))
U60_g(T89, rT_out_g(T89)) → pN10_out_g(T89)
U20_g(T89, pN10_out_g(T89)) → rN9_out_g(T89)
U57_g(T75, rN9_out_g(T75)) → U58_g(T75, pV_in_g(T75))
U58_g(T75, pV_out_g(T75)) → pI_out_g(T75)
U5_g(T75, pI_out_g(T75)) → qH_out_g(f(f(T75)))
U73_g(T270, qH_out_g(f(T270))) → U74_g(T270, tN24_in_g(T270))
tN24_in_g(f(T281)) → U31_g(T281, pK_in_g(T281))
U31_g(T281, pK_out_g(T281)) → tN24_out_g(f(T281))
U74_g(T270, tN24_out_g(T270)) → pK_out_g(T270)
U6_g(T270, pK_out_g(T270)) → tJ_out_g(T270)
U48_gg(T742, tJ_out_g(T742)) → rN40_out_gg(f(T742), f(T742))
U96_gg(T710, T711, rN40_out_gg(T710, T711)) → pN38_out_gg(T710, T711)
U44_gg(T710, T711, pN38_out_gg(T710, T711)) → rN37_out_gg(T710, T711)
rN37_in_gg(f(T746), T746) → U45_gg(T746, tJ_in_g(T746))
U45_gg(T746, tJ_out_g(T746)) → rN37_out_gg(f(T746), T746)
U93_gg(T682, T683, rN37_out_gg(T682, T683)) → U94_gg(T682, T683, pN39_in_gg(T682, T683))
pN39_in_gg(a, b) → pN39_out_gg(a, b)
pN39_in_gg(T764, f(T765)) → U46_gg(T764, T765, pC_in_gg(T764, T765))
U46_gg(T764, T765, pC_out_gg(T764, T765)) → pN39_out_gg(T764, f(T765))
U94_gg(T682, T683, pN39_out_gg(T682, T683)) → pC_out_gg(T682, T683)
U2_gg(T682, T683, pC_out_gg(T682, T683)) → qA_out_gg(T682, f(f(T683)))
U71_gg(T228, T229, qA_out_gg(f(T228), T229)) → U72_gg(T228, T229, rN23_in_gg(T228, T229))
rN23_in_gg(T254, f(T255)) → U29_gg(T254, T255, pN21_in_gg(T254, T255))
U29_gg(T254, T255, pN21_out_gg(T254, T255)) → rN23_out_gg(T254, f(T255))
rN23_in_gg(T260, f(T260)) → U30_gg(T260, tJ_in_g(T260))
U30_gg(T260, tJ_out_g(T260)) → rN23_out_gg(T260, f(T260))
U72_gg(T228, T229, rN23_out_gg(T228, T229)) → pN21_out_gg(T228, T229)
U26_gg(T228, T229, pN21_out_gg(T228, T229)) → rN20_out_gg(T228, T229)
rN20_in_gg(T285, T285) → U27_gg(T285, tJ_in_g(T285))
U27_gg(T285, tJ_out_g(T285)) → rN20_out_gg(T285, T285)
U69_gg(T200, T201, rN20_out_gg(T200, T201)) → U70_gg(T200, T201, pN22_in_gg(T200, T201))
pN22_in_gg(T303, f(T304)) → U28_gg(T303, T304, pG_in_gg(T303, T304))
U28_gg(T303, T304, pG_out_gg(T303, T304)) → pN22_out_gg(T303, f(T304))
U70_gg(T200, T201, pN22_out_gg(T200, T201)) → pG_out_gg(T200, T201)
U4_gg(T200, T201, pG_out_gg(T200, T201)) → pF_out_gg(T200, T201)
U32_g(T336, pF_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → qN25_out_g(f(f(T336)))
U75_g(T322, qN25_out_g(T322)) → U76_g(T322, rN26_in_g(T322))
rN26_in_g(f(T356)) → U33_g(T356, pN21_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
U33_g(T356, pN21_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → rN26_out_g(f(T356))
U76_g(T322, rN26_out_g(T322)) → pM_out_g(T322)
U7_g(T322, pM_out_g(T322)) → rL_out_g(f(T322))
U77_g(T375, rL_out_g(f(T375))) → U78_g(T375, pN27_in_g(T375))
pN27_in_g(f(T389)) → U34_g(T389, pG_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
U34_g(T389, pG_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → pN27_out_g(f(T389))
U78_g(T375, pN27_out_g(T375)) → pO_out_g(T375)
U8_g(T375, pO_out_g(T375)) → pN_out_g(f(T375))
U35_g(T423, pN_out_g(f(T423))) → qN28_out_g(f(f(T423)))
U79_g(T409, qN28_out_g(T409)) → U80_g(T409, rN29_in_g(T409))
rN29_in_g(f(T440)) → U36_g(T440, pN18_in_g(T440))
U36_g(T440, pN18_out_g(T440)) → rN29_out_g(f(T440))
U80_g(T409, rN29_out_g(T409)) → pQ_out_g(T409)
U9_g(T409, pQ_out_g(T409)) → rP_out_g(f(T409))
U81_g(T456, rP_out_g(f(T456))) → U82_g(T456, pN30_in_g(T456))
pN30_in_g(f(T470)) → U37_g(T470, pN16_in_g(T470))
U37_g(T470, pN16_out_g(T470)) → pN30_out_g(f(T470))
U82_g(T456, pN30_out_g(T456)) → pS_out_g(T456)
U10_g(T456, pS_out_g(T456)) → pR_out_g(f(T456))
U38_g(T501, pR_out_g(f(T501))) → qN31_out_g(f(f(T501)))
U83_g(T487, qN31_out_g(T487)) → U84_g(T487, rN32_in_g(T487))
rN32_in_g(f(T518)) → U39_g(T518, pN14_in_g(T518))
U39_g(T518, pN14_out_g(T518)) → rN32_out_g(f(T518))
U84_g(T487, rN32_out_g(T487)) → pU_out_g(T487)
U11_g(T487, pU_out_g(T487)) → rT_out_g(f(T487))
U85_g(T534, rT_out_g(f(T534))) → U86_g(T534, pN33_in_g(T534))
pN33_in_g(f(T548)) → U40_g(T548, pN12_in_g(T548))
U40_g(T548, pN12_out_g(T548)) → pN33_out_g(f(T548))
U86_g(T534, pN33_out_g(T534)) → pW_out_g(T534)
U12_g(T534, pW_out_g(T534)) → pV_out_g(f(T534))
U41_g(T579, pV_out_g(f(T579))) → qN34_out_g(f(f(T579)))
U87_g(T565, qN34_out_g(T565)) → U88_g(T565, rN35_in_g(T565))
rN35_in_g(f(T596)) → U42_g(T596, pN10_in_g(T596))
U42_g(T596, pN10_out_g(T596)) → rN35_out_g(f(T596))
U88_g(T565, rN35_out_g(T565)) → pN1_out_g(T565)
U14_g(T565, pN1_out_g(T565)) → rZ_out_g(f(T565))
rZ_in_g(f(T601)) → U15_g(T601, tJ_in_g(T601))
U15_g(T601, tJ_out_g(T601)) → rZ_out_g(f(T601))
U91_g(T628, rZ_out_g(f(T628))) → U92_g(T628, pN36_in_g(T628))
pN36_in_g(f(T642)) → U43_g(T642, pI_in_g(T642))
U43_g(T642, pI_out_g(T642)) → pN36_out_g(f(T642))
U92_g(T628, pN36_out_g(T628)) → pN2_out_g(T628)
U16_g(T628, pN2_out_g(T628)) → pE_out_g(f(T628))
U3_g(T656, pE_out_g(f(T656))) → qD_out_g(f(T656))
U53_g(T36, qD_out_g(T36)) → U54_g(T36, rX_in_g(T36))
rX_in_g(T51) → U13_g(T51, pY_in_g(T51))
pY_in_g(T51) → U55_g(T51, qH_in_g(T51))
U55_g(T51, qH_out_g(T51)) → U56_g(T51, rZ_in_g(T51))
U56_g(T51, rZ_out_g(T51)) → pY_out_g(T51)
U13_g(T51, pY_out_g(T51)) → rX_out_g(T51)
U54_g(T36, rX_out_g(T36)) → pN6_out_g(T36)
U18_g(T36, pN6_out_g(T36)) → rN5_out_g(T36)
U51_g(T22, rN5_out_g(T22)) → U52_g(T22, pN7_in_g(T22))
pN7_in_g(T614) → U19_g(T614, pN8_in_g(T614))
pN8_in_g(T614) → U89_g(T614, rX_in_g(T614))
U89_g(T614, rX_out_g(T614)) → U90_g(T614, pE_in_g(T614))
U90_g(T614, pE_out_g(T614)) → pN8_out_g(T614)
U19_g(T614, pN8_out_g(T614)) → pN7_out_g(T614)
U52_g(T22, pN7_out_g(T22)) → pN4_out_g(T22)
U17_g(T22, pN4_out_g(T22)) → pN3_out_g(T22)
U49_g(T11, pN3_out_g(T11)) → U50_g(T11, qD_in_g(T11))
U50_g(T11, qD_out_g(T11)) → pB_out_g(T11)
U1_gg(T11, pB_out_g(T11)) → qA_out_gg(T11, f(f(T11)))

The set Q consists of the following terms:

qA_in_gg(x0, x1)
pB_in_g(x0)
pN3_in_g(x0)
pN4_in_g(x0)
rN5_in_g(x0)
pN6_in_g(x0)
qD_in_g(x0)
pE_in_g(x0)
pN2_in_g(x0)
rZ_in_g(x0)
pN1_in_g(x0)
qN34_in_g(x0)
pV_in_g(x0)
pW_in_g(x0)
rT_in_g(x0)
pU_in_g(x0)
qN31_in_g(x0)
pR_in_g(x0)
pS_in_g(x0)
rP_in_g(x0)
pQ_in_g(x0)
qN28_in_g(x0)
pN_in_g(x0)
pO_in_g(x0)
rL_in_g(x0)
pM_in_g(x0)
qN25_in_g(x0)
pF_in_gg(x0, x1)
pG_in_gg(x0, x1)
rN20_in_gg(x0, x1)
pN21_in_gg(x0, x1)
pC_in_gg(x0, x1)
rN37_in_gg(x0, x1)
pN38_in_gg(x0, x1)
U95_gg(x0, x1, x2)
rN40_in_gg(x0, x1)
U47_gg(x0, x1, x2)
tJ_in_g(x0)
pK_in_g(x0)
qH_in_g(x0)
pI_in_g(x0)
rN9_in_g(x0)
pN10_in_g(x0)
qN11_in_g(x0)
pN12_in_g(x0)
rN13_in_g(x0)
pN14_in_g(x0)
qN15_in_g(x0)
pN16_in_g(x0)
rN17_in_g(x0)
pN18_in_g(x0)
qN19_in_g(x0)
U25_g(x0, x1)
U67_g(x0, x1)
U68_g(x0, x1)
U24_g(x0, x1)
U65_g(x0, x1)
U66_g(x0, x1)
U23_g(x0, x1)
U63_g(x0, x1)
U64_g(x0, x1)
U22_g(x0, x1)
U61_g(x0, x1)
U62_g(x0, x1)
U21_g(x0, x1)
U59_g(x0, x1)
U60_g(x0, x1)
U20_g(x0, x1)
U57_g(x0, x1)
U58_g(x0, x1)
U5_g(x0, x1)
U73_g(x0, x1)
tN24_in_g(x0)
U31_g(x0, x1)
U74_g(x0, x1)
U6_g(x0, x1)
U48_gg(x0, x1)
U96_gg(x0, x1, x2)
U44_gg(x0, x1, x2)
U45_gg(x0, x1)
U93_gg(x0, x1, x2)
pN39_in_gg(x0, x1)
U46_gg(x0, x1, x2)
U94_gg(x0, x1, x2)
U2_gg(x0, x1, x2)
U71_gg(x0, x1, x2)
rN23_in_gg(x0, x1)
U29_gg(x0, x1, x2)
U30_gg(x0, x1)
U72_gg(x0, x1, x2)
U26_gg(x0, x1, x2)
U27_gg(x0, x1)
U69_gg(x0, x1, x2)
pN22_in_gg(x0, x1)
U28_gg(x0, x1, x2)
U70_gg(x0, x1, x2)
U4_gg(x0, x1, x2)
U32_g(x0, x1)
U75_g(x0, x1)
rN26_in_g(x0)
U33_g(x0, x1)
U76_g(x0, x1)
U7_g(x0, x1)
U77_g(x0, x1)
pN27_in_g(x0)
U34_g(x0, x1)
U78_g(x0, x1)
U8_g(x0, x1)
U35_g(x0, x1)
U79_g(x0, x1)
rN29_in_g(x0)
U36_g(x0, x1)
U80_g(x0, x1)
U9_g(x0, x1)
U81_g(x0, x1)
pN30_in_g(x0)
U37_g(x0, x1)
U82_g(x0, x1)
U10_g(x0, x1)
U38_g(x0, x1)
U83_g(x0, x1)
rN32_in_g(x0)
U39_g(x0, x1)
U84_g(x0, x1)
U11_g(x0, x1)
U85_g(x0, x1)
pN33_in_g(x0)
U40_g(x0, x1)
U86_g(x0, x1)
U12_g(x0, x1)
U41_g(x0, x1)
U87_g(x0, x1)
rN35_in_g(x0)
U42_g(x0, x1)
U88_g(x0, x1)
U14_g(x0, x1)
U15_g(x0, x1)
U91_g(x0, x1)
pN36_in_g(x0)
U43_g(x0, x1)
U92_g(x0, x1)
U16_g(x0, x1)
U3_g(x0, x1)
U53_g(x0, x1)
rX_in_g(x0)
pY_in_g(x0)
U55_g(x0, x1)
U56_g(x0, x1)
U13_g(x0, x1)
U54_g(x0, x1)
U18_g(x0, x1)
U51_g(x0, x1)
pN7_in_g(x0)
pN8_in_g(x0)
U89_g(x0, x1)
U90_g(x0, x1)
U19_g(x0, x1)
U52_g(x0, x1)
U17_g(x0, x1)
U49_g(x0, x1)
U50_g(x0, x1)
U1_gg(x0, x1)

We have to consider all (P,Q,R)-chains.

(11) QDPOrderProof (EQUIVALENT transformation)

We use the reduction pair processor [LPAR04,JAR06].


The following pairs can be oriented strictly and are deleted.


QA_IN_GG(T11, f(f(T11))) → PB_IN_G(T11)
PE_IN_G(f(T628)) → PN2_IN_G(T628)
PN2_IN_G(T628) → U91_G(T628, rZ_in_g(f(T628)))
U57_G(T75, rN9_out_g(T75)) → PV_IN_G(T75)
PN33_IN_G(f(T548)) → PN12_IN_G(T548)
PN12_IN_G(T113) → U61_G(T113, rN13_in_g(T113))
PN30_IN_G(f(T470)) → PN16_IN_G(T470)
U65_G(T151, rN17_out_g(T151)) → PN_IN_G(T151)
PO_IN_G(T375) → U77_G(T375, rL_in_g(f(T375)))
PG_IN_GG(T200, T201) → U69_GG(T200, T201, rN20_in_gg(T200, T201))
PN21_IN_GG(T228, T229) → U71_GG(T228, T229, qA_in_gg(f(T228), T229))
PN21_IN_GG(T228, T229) → QA_IN_GG(f(T228), T229)
QA_IN_GG(T682, f(f(T683))) → PC_IN_GG(T682, T683)
PC_IN_GG(T682, T683) → U93_GG(T682, T683, rN37_in_gg(T682, T683))
RN40_IN_GG(T736, f(T737)) → PN38_IN_GG(T736, T737)
PN38_IN_GG(T710, T711) → QA_IN_GG(T710, T711)
RN40_IN_GG(f(T742), f(T742)) → TJ_IN_G(T742)
PK_IN_G(T270) → U73_G(T270, qH_in_g(f(T270)))
QH_IN_G(f(f(T75))) → PI_IN_G(T75)
PI_IN_G(T75) → RN9_IN_G(T75)
RN32_IN_G(f(T518)) → PN14_IN_G(T518)
RN29_IN_G(f(T440)) → PN18_IN_G(T440)
RL_IN_G(f(T322)) → PM_IN_G(T322)
QN25_IN_G(f(f(T336))) → PF_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
QN19_IN_G(f(f(T179))) → PF_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
PQ_IN_G(T409) → QN28_IN_G(T409)
QN28_IN_G(f(f(T423))) → PN_IN_G(f(T423))
QN15_IN_G(f(f(T151))) → PN16_IN_G(T151)
PN16_IN_G(T151) → RN17_IN_G(T151)
PU_IN_G(T487) → QN31_IN_G(T487)
QN31_IN_G(f(f(T501))) → PR_IN_G(f(T501))
QN11_IN_G(f(f(T113))) → PN12_IN_G(T113)
RN13_IN_G(T127) → PN14_IN_G(T127)
PN1_IN_G(T565) → U87_G(T565, qN34_in_g(T565))
RN35_IN_G(f(T596)) → PN10_IN_G(T596)
PN1_IN_G(T565) → QN34_IN_G(T565)
QN34_IN_G(f(f(T579))) → PV_IN_G(f(T579))
PN8_IN_G(T614) → RX_IN_G(T614)
PN6_IN_G(T36) → U53_G(T36, qD_in_g(T36))
The remaining pairs can at least be oriented weakly.
Used ordering: Polynomial interpretation [POLO]:

POL(PB_IN_G(x1)) = 1 + x1   
POL(PC_IN_GG(x1, x2)) = 1 + x2   
POL(PE_IN_G(x1)) = 1 + x1   
POL(PF_IN_GG(x1, x2)) = 1 + x2   
POL(PG_IN_GG(x1, x2)) = 1 + x2   
POL(PI_IN_G(x1)) = 1 + x1   
POL(PK_IN_G(x1)) = 1 + x1   
POL(PM_IN_G(x1)) = x1   
POL(PN10_IN_G(x1)) = x1   
POL(PN12_IN_G(x1)) = 1 + x1   
POL(PN14_IN_G(x1)) = x1   
POL(PN16_IN_G(x1)) = 1 + x1   
POL(PN18_IN_G(x1)) = x1   
POL(PN1_IN_G(x1)) = 1 + x1   
POL(PN21_IN_GG(x1, x2)) = 1 + x2   
POL(PN22_IN_GG(x1, x2)) = x2   
POL(PN27_IN_G(x1)) = x1   
POL(PN2_IN_G(x1)) = 1 + x1   
POL(PN30_IN_G(x1)) = 1 + x1   
POL(PN33_IN_G(x1)) = 1 + x1   
POL(PN36_IN_G(x1)) = x1   
POL(PN38_IN_GG(x1, x2)) = 1 + x2   
POL(PN39_IN_GG(x1, x2)) = x2   
POL(PN3_IN_G(x1)) = 1 + x1   
POL(PN4_IN_G(x1)) = 1 + x1   
POL(PN6_IN_G(x1)) = 1 + x1   
POL(PN7_IN_G(x1)) = 1 + x1   
POL(PN8_IN_G(x1)) = 1 + x1   
POL(PN_IN_G(x1)) = x1   
POL(PO_IN_G(x1)) = 1 + x1   
POL(PQ_IN_G(x1)) = 1 + x1   
POL(PR_IN_G(x1)) = x1   
POL(PS_IN_G(x1)) = 1 + x1   
POL(PU_IN_G(x1)) = 1 + x1   
POL(PV_IN_G(x1)) = x1   
POL(PW_IN_G(x1)) = 1 + x1   
POL(PY_IN_G(x1)) = x1   
POL(QA_IN_GG(x1, x2)) = x2   
POL(QD_IN_G(x1)) = 1 + x1   
POL(QH_IN_G(x1)) = x1   
POL(QN11_IN_G(x1)) = x1   
POL(QN15_IN_G(x1)) = x1   
POL(QN19_IN_G(x1)) = x1   
POL(QN25_IN_G(x1)) = x1   
POL(QN28_IN_G(x1)) = x1   
POL(QN31_IN_G(x1)) = x1   
POL(QN34_IN_G(x1)) = x1   
POL(RL_IN_G(x1)) = x1   
POL(RN13_IN_G(x1)) = 1 + x1   
POL(RN17_IN_G(x1)) = x1   
POL(RN20_IN_GG(x1, x2)) = 1 + x2   
POL(RN23_IN_GG(x1, x2)) = x2   
POL(RN26_IN_G(x1)) = x1   
POL(RN29_IN_G(x1)) = 1 + x1   
POL(RN32_IN_G(x1)) = 1 + x1   
POL(RN35_IN_G(x1)) = x1   
POL(RN37_IN_GG(x1, x2)) = 1 + x2   
POL(RN40_IN_GG(x1, x2)) = 1 + x2   
POL(RN5_IN_G(x1)) = 1 + x1   
POL(RN9_IN_G(x1)) = x1   
POL(RP_IN_G(x1)) = x1   
POL(RT_IN_G(x1)) = x1   
POL(RX_IN_G(x1)) = x1   
POL(RZ_IN_G(x1)) = x1   
POL(TJ_IN_G(x1)) = 1 + x1   
POL(TN24_IN_G(x1)) = x1   
POL(U10_g(x1, x2)) = 0   
POL(U11_g(x1, x2)) = 0   
POL(U12_g(x1, x2)) = 0   
POL(U13_g(x1, x2)) = 0   
POL(U14_g(x1, x2)) = 0   
POL(U15_g(x1, x2)) = 0   
POL(U16_g(x1, x2)) = 0   
POL(U17_g(x1, x2)) = 0   
POL(U18_g(x1, x2)) = 0   
POL(U19_g(x1, x2)) = 0   
POL(U1_gg(x1, x2)) = 0   
POL(U20_g(x1, x2)) = 0   
POL(U21_g(x1, x2)) = 0   
POL(U22_g(x1, x2)) = 0   
POL(U23_g(x1, x2)) = 0   
POL(U24_g(x1, x2)) = 0   
POL(U25_g(x1, x2)) = 0   
POL(U26_gg(x1, x2, x3)) = 0   
POL(U27_gg(x1, x2)) = 0   
POL(U28_gg(x1, x2, x3)) = 0   
POL(U29_gg(x1, x2, x3)) = 0   
POL(U2_gg(x1, x2, x3)) = 0   
POL(U30_gg(x1, x2)) = 0   
POL(U31_g(x1, x2)) = 0   
POL(U32_g(x1, x2)) = 0   
POL(U33_g(x1, x2)) = 0   
POL(U34_g(x1, x2)) = 0   
POL(U35_g(x1, x2)) = 0   
POL(U36_g(x1, x2)) = 0   
POL(U37_g(x1, x2)) = 0   
POL(U38_g(x1, x2)) = 0   
POL(U39_g(x1, x2)) = 0   
POL(U3_g(x1, x2)) = 0   
POL(U40_g(x1, x2)) = 0   
POL(U41_g(x1, x2)) = 0   
POL(U42_g(x1, x2)) = 0   
POL(U43_g(x1, x2)) = 0   
POL(U44_gg(x1, x2, x3)) = 0   
POL(U45_gg(x1, x2)) = 0   
POL(U46_gg(x1, x2, x3)) = 0   
POL(U47_gg(x1, x2, x3)) = 0   
POL(U48_gg(x1, x2)) = 0   
POL(U49_G(x1, x2)) = 1 + x1   
POL(U49_g(x1, x2)) = 0   
POL(U4_gg(x1, x2, x3)) = 0   
POL(U50_g(x1, x2)) = 0   
POL(U51_G(x1, x2)) = 1 + x1   
POL(U51_g(x1, x2)) = 0   
POL(U52_g(x1, x2)) = 0   
POL(U53_G(x1, x2)) = x1   
POL(U53_g(x1, x2)) = 0   
POL(U54_g(x1, x2)) = 0   
POL(U55_G(x1, x2)) = x1   
POL(U55_g(x1, x2)) = 0   
POL(U56_g(x1, x2)) = 0   
POL(U57_G(x1, x2)) = 1 + x1   
POL(U57_g(x1, x2)) = 0   
POL(U58_g(x1, x2)) = 0   
POL(U59_G(x1, x2)) = x1   
POL(U59_g(x1, x2)) = 0   
POL(U5_g(x1, x2)) = 0   
POL(U60_g(x1, x2)) = 0   
POL(U61_G(x1, x2)) = x1   
POL(U61_g(x1, x2)) = 0   
POL(U62_g(x1, x2)) = 0   
POL(U63_G(x1, x2)) = x1   
POL(U63_g(x1, x2)) = 0   
POL(U64_g(x1, x2)) = 0   
POL(U65_G(x1, x2)) = 1 + x1   
POL(U65_g(x1, x2)) = 0   
POL(U66_g(x1, x2)) = 0   
POL(U67_G(x1, x2)) = x1   
POL(U67_g(x1, x2)) = 0   
POL(U68_g(x1, x2)) = 0   
POL(U69_GG(x1, x2, x3)) = x2   
POL(U69_gg(x1, x2, x3)) = 0   
POL(U6_g(x1, x2)) = 0   
POL(U70_gg(x1, x2, x3)) = 0   
POL(U71_GG(x1, x2, x3)) = x2   
POL(U71_gg(x1, x2, x3)) = 0   
POL(U72_gg(x1, x2, x3)) = 0   
POL(U73_G(x1, x2)) = x1   
POL(U73_g(x1, x2)) = 0   
POL(U74_g(x1, x2)) = 0   
POL(U75_G(x1, x2)) = x1   
POL(U75_g(x1, x2)) = 0   
POL(U76_g(x1, x2)) = 0   
POL(U77_G(x1, x2)) = x1   
POL(U77_g(x1, x2)) = 0   
POL(U78_g(x1, x2)) = 0   
POL(U79_G(x1, x2)) = 1 + x1   
POL(U79_g(x1, x2)) = 0   
POL(U7_g(x1, x2)) = 0   
POL(U80_g(x1, x2)) = 0   
POL(U81_G(x1, x2)) = 1 + x1   
POL(U81_g(x1, x2)) = 0   
POL(U82_g(x1, x2)) = 0   
POL(U83_G(x1, x2)) = 1 + x1   
POL(U83_g(x1, x2)) = 0   
POL(U84_g(x1, x2)) = 0   
POL(U85_G(x1, x2)) = 1 + x1   
POL(U85_g(x1, x2)) = 0   
POL(U86_g(x1, x2)) = 0   
POL(U87_G(x1, x2)) = x1   
POL(U87_g(x1, x2)) = 0   
POL(U88_g(x1, x2)) = 0   
POL(U89_G(x1, x2)) = 1 + x1   
POL(U89_g(x1, x2)) = 0   
POL(U8_g(x1, x2)) = 0   
POL(U90_g(x1, x2)) = 0   
POL(U91_G(x1, x2)) = x1   
POL(U91_g(x1, x2)) = 0   
POL(U92_g(x1, x2)) = 0   
POL(U93_GG(x1, x2, x3)) = x2   
POL(U93_gg(x1, x2, x3)) = 0   
POL(U94_gg(x1, x2, x3)) = 0   
POL(U95_GG(x1, x2, x3)) = 1 + x2   
POL(U95_gg(x1, x2, x3)) = 0   
POL(U96_gg(x1, x2, x3)) = 0   
POL(U9_g(x1, x2)) = 0   
POL(a) = 0   
POL(b) = 0   
POL(f(x1)) = 1 + x1   
POL(pB_in_g(x1)) = 0   
POL(pB_out_g(x1)) = 0   
POL(pC_in_gg(x1, x2)) = 0   
POL(pC_out_gg(x1, x2)) = 0   
POL(pE_in_g(x1)) = 0   
POL(pE_out_g(x1)) = 0   
POL(pF_in_gg(x1, x2)) = 0   
POL(pF_out_gg(x1, x2)) = 0   
POL(pG_in_gg(x1, x2)) = 0   
POL(pG_out_gg(x1, x2)) = 0   
POL(pI_in_g(x1)) = 0   
POL(pI_out_g(x1)) = 0   
POL(pK_in_g(x1)) = 0   
POL(pK_out_g(x1)) = 0   
POL(pM_in_g(x1)) = 0   
POL(pM_out_g(x1)) = 0   
POL(pN10_in_g(x1)) = 0   
POL(pN10_out_g(x1)) = 0   
POL(pN12_in_g(x1)) = 0   
POL(pN12_out_g(x1)) = 0   
POL(pN14_in_g(x1)) = 0   
POL(pN14_out_g(x1)) = 0   
POL(pN16_in_g(x1)) = 0   
POL(pN16_out_g(x1)) = 0   
POL(pN18_in_g(x1)) = 0   
POL(pN18_out_g(x1)) = 0   
POL(pN1_in_g(x1)) = 0   
POL(pN1_out_g(x1)) = 0   
POL(pN21_in_gg(x1, x2)) = 0   
POL(pN21_out_gg(x1, x2)) = 0   
POL(pN22_in_gg(x1, x2)) = 0   
POL(pN22_out_gg(x1, x2)) = 0   
POL(pN27_in_g(x1)) = 0   
POL(pN27_out_g(x1)) = 0   
POL(pN2_in_g(x1)) = 0   
POL(pN2_out_g(x1)) = 0   
POL(pN30_in_g(x1)) = 0   
POL(pN30_out_g(x1)) = 0   
POL(pN33_in_g(x1)) = 0   
POL(pN33_out_g(x1)) = 0   
POL(pN36_in_g(x1)) = 0   
POL(pN36_out_g(x1)) = 0   
POL(pN38_in_gg(x1, x2)) = 0   
POL(pN38_out_gg(x1, x2)) = 0   
POL(pN39_in_gg(x1, x2)) = 1   
POL(pN39_out_gg(x1, x2)) = 0   
POL(pN3_in_g(x1)) = 0   
POL(pN3_out_g(x1)) = 0   
POL(pN4_in_g(x1)) = 0   
POL(pN4_out_g(x1)) = 0   
POL(pN6_in_g(x1)) = 0   
POL(pN6_out_g(x1)) = 0   
POL(pN7_in_g(x1)) = 0   
POL(pN7_out_g(x1)) = 0   
POL(pN8_in_g(x1)) = 0   
POL(pN8_out_g(x1)) = 0   
POL(pN_in_g(x1)) = 0   
POL(pN_out_g(x1)) = 0   
POL(pO_in_g(x1)) = 0   
POL(pO_out_g(x1)) = 0   
POL(pQ_in_g(x1)) = 0   
POL(pQ_out_g(x1)) = 0   
POL(pR_in_g(x1)) = 0   
POL(pR_out_g(x1)) = 0   
POL(pS_in_g(x1)) = 0   
POL(pS_out_g(x1)) = 0   
POL(pU_in_g(x1)) = 0   
POL(pU_out_g(x1)) = 0   
POL(pV_in_g(x1)) = 0   
POL(pV_out_g(x1)) = 0   
POL(pW_in_g(x1)) = 0   
POL(pW_out_g(x1)) = 0   
POL(pY_in_g(x1)) = 0   
POL(pY_out_g(x1)) = 0   
POL(qA_in_gg(x1, x2)) = 0   
POL(qA_out_gg(x1, x2)) = 0   
POL(qD_in_g(x1)) = 0   
POL(qD_out_g(x1)) = 0   
POL(qH_in_g(x1)) = 0   
POL(qH_out_g(x1)) = 0   
POL(qN11_in_g(x1)) = 0   
POL(qN11_out_g(x1)) = 0   
POL(qN15_in_g(x1)) = 0   
POL(qN15_out_g(x1)) = 0   
POL(qN19_in_g(x1)) = 0   
POL(qN19_out_g(x1)) = 0   
POL(qN25_in_g(x1)) = 0   
POL(qN25_out_g(x1)) = 0   
POL(qN28_in_g(x1)) = 0   
POL(qN28_out_g(x1)) = 0   
POL(qN31_in_g(x1)) = 0   
POL(qN31_out_g(x1)) = 0   
POL(qN34_in_g(x1)) = 0   
POL(qN34_out_g(x1)) = 0   
POL(rL_in_g(x1)) = 0   
POL(rL_out_g(x1)) = 0   
POL(rN13_in_g(x1)) = 0   
POL(rN13_out_g(x1)) = 0   
POL(rN17_in_g(x1)) = 0   
POL(rN17_out_g(x1)) = 0   
POL(rN20_in_gg(x1, x2)) = 0   
POL(rN20_out_gg(x1, x2)) = 0   
POL(rN23_in_gg(x1, x2)) = 0   
POL(rN23_out_gg(x1, x2)) = 0   
POL(rN26_in_g(x1)) = 0   
POL(rN26_out_g(x1)) = 0   
POL(rN29_in_g(x1)) = 0   
POL(rN29_out_g(x1)) = 0   
POL(rN32_in_g(x1)) = 0   
POL(rN32_out_g(x1)) = 0   
POL(rN35_in_g(x1)) = 0   
POL(rN35_out_g(x1)) = 0   
POL(rN37_in_gg(x1, x2)) = 0   
POL(rN37_out_gg(x1, x2)) = 0   
POL(rN40_in_gg(x1, x2)) = 0   
POL(rN40_out_gg(x1, x2)) = 0   
POL(rN5_in_g(x1)) = 0   
POL(rN5_out_g(x1)) = 0   
POL(rN9_in_g(x1)) = 0   
POL(rN9_out_g(x1)) = 0   
POL(rP_in_g(x1)) = 0   
POL(rP_out_g(x1)) = 0   
POL(rT_in_g(x1)) = 0   
POL(rT_out_g(x1)) = 0   
POL(rX_in_g(x1)) = 0   
POL(rX_out_g(x1)) = 0   
POL(rZ_in_g(x1)) = 0   
POL(rZ_out_g(x1)) = 0   
POL(tJ_in_g(x1)) = 0   
POL(tJ_out_g(x1)) = 0   
POL(tN24_in_g(x1)) = 0   
POL(tN24_out_g(x1)) = 0   

The following usable rules [FROCOS05] with respect to the argument filtering of the ordering [JAR06] were oriented:
none

(12) Obligation:

Q DP problem:
The TRS P consists of the following rules:

PB_IN_G(T11) → U49_G(T11, pN3_in_g(T11))
U49_G(T11, pN3_out_g(T11)) → QD_IN_G(T11)
QD_IN_G(f(T656)) → PE_IN_G(f(T656))
U91_G(T628, rZ_out_g(f(T628))) → PN36_IN_G(T628)
PN36_IN_G(f(T642)) → PI_IN_G(T642)
PI_IN_G(T75) → U57_G(T75, rN9_in_g(T75))
PV_IN_G(f(T534)) → PW_IN_G(T534)
PW_IN_G(T534) → U85_G(T534, rT_in_g(f(T534)))
U85_G(T534, rT_out_g(f(T534))) → PN33_IN_G(T534)
U61_G(T113, rN13_out_g(T113)) → PR_IN_G(T113)
PR_IN_G(f(T456)) → PS_IN_G(T456)
PS_IN_G(T456) → U81_G(T456, rP_in_g(f(T456)))
U81_G(T456, rP_out_g(f(T456))) → PN30_IN_G(T456)
PN16_IN_G(T151) → U65_G(T151, rN17_in_g(T151))
PN_IN_G(f(T375)) → PO_IN_G(T375)
U77_G(T375, rL_out_g(f(T375))) → PN27_IN_G(T375)
PN27_IN_G(f(T389)) → PG_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
U69_GG(T200, T201, rN20_out_gg(T200, T201)) → PN22_IN_GG(T200, T201)
PN22_IN_GG(T303, f(T304)) → PG_IN_GG(T303, T304)
PG_IN_GG(T200, T201) → RN20_IN_GG(T200, T201)
RN20_IN_GG(T228, T229) → PN21_IN_GG(T228, T229)
U71_GG(T228, T229, qA_out_gg(f(T228), T229)) → RN23_IN_GG(T228, T229)
RN23_IN_GG(T254, f(T255)) → PN21_IN_GG(T254, T255)
U93_GG(T682, T683, rN37_out_gg(T682, T683)) → PN39_IN_GG(T682, T683)
PN39_IN_GG(T764, f(T765)) → PC_IN_GG(T764, T765)
PC_IN_GG(T682, T683) → RN37_IN_GG(T682, T683)
RN37_IN_GG(T710, T711) → PN38_IN_GG(T710, T711)
PN38_IN_GG(T710, T711) → U95_GG(T710, T711, qA_in_gg(T710, T711))
U95_GG(T710, T711, qA_out_gg(T710, T711)) → RN40_IN_GG(T710, T711)
TJ_IN_G(T270) → PK_IN_G(T270)
U73_G(T270, qH_out_g(f(T270))) → TN24_IN_G(T270)
TN24_IN_G(f(T281)) → PK_IN_G(T281)
PK_IN_G(T270) → QH_IN_G(f(T270))
RN9_IN_G(T89) → PN10_IN_G(T89)
PN10_IN_G(T89) → U59_G(T89, qN11_in_g(T89))
U59_G(T89, qN11_out_g(T89)) → RT_IN_G(T89)
RT_IN_G(f(T487)) → PU_IN_G(T487)
PU_IN_G(T487) → U83_G(T487, qN31_in_g(T487))
U83_G(T487, qN31_out_g(T487)) → RN32_IN_G(T487)
PN14_IN_G(T127) → U63_G(T127, qN15_in_g(T127))
U63_G(T127, qN15_out_g(T127)) → RP_IN_G(T127)
RP_IN_G(f(T409)) → PQ_IN_G(T409)
PQ_IN_G(T409) → U79_G(T409, qN28_in_g(T409))
U79_G(T409, qN28_out_g(T409)) → RN29_IN_G(T409)
PN18_IN_G(T165) → U67_G(T165, qN19_in_g(T165))
U67_G(T165, qN19_out_g(T165)) → RL_IN_G(T165)
PM_IN_G(T322) → U75_G(T322, qN25_in_g(T322))
U75_G(T322, qN25_out_g(T322)) → RN26_IN_G(T322)
RN26_IN_G(f(T356)) → PN21_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
PM_IN_G(T322) → QN25_IN_G(T322)
PN18_IN_G(T165) → QN19_IN_G(T165)
PN14_IN_G(T127) → QN15_IN_G(T127)
RN17_IN_G(T165) → PN18_IN_G(T165)
PN10_IN_G(T89) → QN11_IN_G(T89)
PN12_IN_G(T113) → RN13_IN_G(T113)
RN37_IN_GG(f(T746), T746) → TJ_IN_G(T746)
RN23_IN_GG(T260, f(T260)) → TJ_IN_G(T260)
RN20_IN_GG(T285, T285) → TJ_IN_G(T285)
PO_IN_G(T375) → RL_IN_G(f(T375))
PS_IN_G(T456) → RP_IN_G(f(T456))
PW_IN_G(T534) → RT_IN_G(f(T534))
PN2_IN_G(T628) → RZ_IN_G(f(T628))
RZ_IN_G(f(T565)) → PN1_IN_G(T565)
U87_G(T565, qN34_out_g(T565)) → RN35_IN_G(T565)
RZ_IN_G(f(T601)) → TJ_IN_G(T601)
PB_IN_G(T11) → PN3_IN_G(T11)
PN3_IN_G(T22) → PN4_IN_G(T22)
PN4_IN_G(T22) → U51_G(T22, rN5_in_g(T22))
U51_G(T22, rN5_out_g(T22)) → PN7_IN_G(T22)
PN7_IN_G(T614) → PN8_IN_G(T614)
PN8_IN_G(T614) → U89_G(T614, rX_in_g(T614))
U89_G(T614, rX_out_g(T614)) → PE_IN_G(T614)
RX_IN_G(T51) → PY_IN_G(T51)
PY_IN_G(T51) → U55_G(T51, qH_in_g(T51))
U55_G(T51, qH_out_g(T51)) → RZ_IN_G(T51)
PY_IN_G(T51) → QH_IN_G(T51)
PN4_IN_G(T22) → RN5_IN_G(T22)
RN5_IN_G(T36) → PN6_IN_G(T36)
U53_G(T36, qD_out_g(T36)) → RX_IN_G(T36)
PN6_IN_G(T36) → QD_IN_G(T36)
PF_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0) → PG_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0)
PF_IN_GG(f(f(f(f(f(f(f(z0))))))), z0) → PG_IN_GG(f(f(f(f(f(f(f(z0))))))), z0)

The TRS R consists of the following rules:

qA_in_gg(a, b) → qA_out_gg(a, b)
qA_in_gg(T11, f(f(T11))) → U1_gg(T11, pB_in_g(T11))
pB_in_g(T11) → U49_g(T11, pN3_in_g(T11))
pN3_in_g(T22) → U17_g(T22, pN4_in_g(T22))
pN4_in_g(T22) → U51_g(T22, rN5_in_g(T22))
rN5_in_g(T36) → U18_g(T36, pN6_in_g(T36))
pN6_in_g(T36) → U53_g(T36, qD_in_g(T36))
qD_in_g(f(T656)) → U3_g(T656, pE_in_g(f(T656)))
pE_in_g(f(T628)) → U16_g(T628, pN2_in_g(T628))
pN2_in_g(T628) → U91_g(T628, rZ_in_g(f(T628)))
rZ_in_g(f(T565)) → U14_g(T565, pN1_in_g(T565))
pN1_in_g(T565) → U87_g(T565, qN34_in_g(T565))
qN34_in_g(f(f(T579))) → U41_g(T579, pV_in_g(f(T579)))
pV_in_g(f(T534)) → U12_g(T534, pW_in_g(T534))
pW_in_g(T534) → U85_g(T534, rT_in_g(f(T534)))
rT_in_g(f(T487)) → U11_g(T487, pU_in_g(T487))
pU_in_g(T487) → U83_g(T487, qN31_in_g(T487))
qN31_in_g(f(f(T501))) → U38_g(T501, pR_in_g(f(T501)))
pR_in_g(f(T456)) → U10_g(T456, pS_in_g(T456))
pS_in_g(T456) → U81_g(T456, rP_in_g(f(T456)))
rP_in_g(f(T409)) → U9_g(T409, pQ_in_g(T409))
pQ_in_g(T409) → U79_g(T409, qN28_in_g(T409))
qN28_in_g(f(f(T423))) → U35_g(T423, pN_in_g(f(T423)))
pN_in_g(f(T375)) → U8_g(T375, pO_in_g(T375))
pO_in_g(T375) → U77_g(T375, rL_in_g(f(T375)))
rL_in_g(f(T322)) → U7_g(T322, pM_in_g(T322))
pM_in_g(T322) → U75_g(T322, qN25_in_g(T322))
qN25_in_g(f(f(T336))) → U32_g(T336, pF_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
pF_in_gg(T200, T201) → U4_gg(T200, T201, pG_in_gg(T200, T201))
pG_in_gg(T200, T201) → U69_gg(T200, T201, rN20_in_gg(T200, T201))
rN20_in_gg(T228, T229) → U26_gg(T228, T229, pN21_in_gg(T228, T229))
pN21_in_gg(T228, T229) → U71_gg(T228, T229, qA_in_gg(f(T228), T229))
qA_in_gg(T682, f(f(T683))) → U2_gg(T682, T683, pC_in_gg(T682, T683))
pC_in_gg(T682, T683) → U93_gg(T682, T683, rN37_in_gg(T682, T683))
rN37_in_gg(T710, T711) → U44_gg(T710, T711, pN38_in_gg(T710, T711))
pN38_in_gg(T710, T711) → U95_gg(T710, T711, qA_in_gg(T710, T711))
U95_gg(T710, T711, qA_out_gg(T710, T711)) → U96_gg(T710, T711, rN40_in_gg(T710, T711))
rN40_in_gg(a, b) → rN40_out_gg(a, b)
rN40_in_gg(T736, f(T737)) → U47_gg(T736, T737, pN38_in_gg(T736, T737))
U47_gg(T736, T737, pN38_out_gg(T736, T737)) → rN40_out_gg(T736, f(T737))
rN40_in_gg(f(T742), f(T742)) → U48_gg(T742, tJ_in_g(T742))
tJ_in_g(T270) → U6_g(T270, pK_in_g(T270))
pK_in_g(T270) → U73_g(T270, qH_in_g(f(T270)))
qH_in_g(f(f(T75))) → U5_g(T75, pI_in_g(T75))
pI_in_g(T75) → U57_g(T75, rN9_in_g(T75))
rN9_in_g(T89) → U20_g(T89, pN10_in_g(T89))
pN10_in_g(T89) → U59_g(T89, qN11_in_g(T89))
qN11_in_g(f(f(T113))) → U21_g(T113, pN12_in_g(T113))
pN12_in_g(T113) → U61_g(T113, rN13_in_g(T113))
rN13_in_g(T127) → U22_g(T127, pN14_in_g(T127))
pN14_in_g(T127) → U63_g(T127, qN15_in_g(T127))
qN15_in_g(f(f(T151))) → U23_g(T151, pN16_in_g(T151))
pN16_in_g(T151) → U65_g(T151, rN17_in_g(T151))
rN17_in_g(T165) → U24_g(T165, pN18_in_g(T165))
pN18_in_g(T165) → U67_g(T165, qN19_in_g(T165))
qN19_in_g(f(f(T179))) → U25_g(T179, pF_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U25_g(T179, pF_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → qN19_out_g(f(f(T179)))
U67_g(T165, qN19_out_g(T165)) → U68_g(T165, rL_in_g(T165))
U68_g(T165, rL_out_g(T165)) → pN18_out_g(T165)
U24_g(T165, pN18_out_g(T165)) → rN17_out_g(T165)
U65_g(T151, rN17_out_g(T151)) → U66_g(T151, pN_in_g(T151))
U66_g(T151, pN_out_g(T151)) → pN16_out_g(T151)
U23_g(T151, pN16_out_g(T151)) → qN15_out_g(f(f(T151)))
U63_g(T127, qN15_out_g(T127)) → U64_g(T127, rP_in_g(T127))
U64_g(T127, rP_out_g(T127)) → pN14_out_g(T127)
U22_g(T127, pN14_out_g(T127)) → rN13_out_g(T127)
U61_g(T113, rN13_out_g(T113)) → U62_g(T113, pR_in_g(T113))
U62_g(T113, pR_out_g(T113)) → pN12_out_g(T113)
U21_g(T113, pN12_out_g(T113)) → qN11_out_g(f(f(T113)))
U59_g(T89, qN11_out_g(T89)) → U60_g(T89, rT_in_g(T89))
U60_g(T89, rT_out_g(T89)) → pN10_out_g(T89)
U20_g(T89, pN10_out_g(T89)) → rN9_out_g(T89)
U57_g(T75, rN9_out_g(T75)) → U58_g(T75, pV_in_g(T75))
U58_g(T75, pV_out_g(T75)) → pI_out_g(T75)
U5_g(T75, pI_out_g(T75)) → qH_out_g(f(f(T75)))
U73_g(T270, qH_out_g(f(T270))) → U74_g(T270, tN24_in_g(T270))
tN24_in_g(f(T281)) → U31_g(T281, pK_in_g(T281))
U31_g(T281, pK_out_g(T281)) → tN24_out_g(f(T281))
U74_g(T270, tN24_out_g(T270)) → pK_out_g(T270)
U6_g(T270, pK_out_g(T270)) → tJ_out_g(T270)
U48_gg(T742, tJ_out_g(T742)) → rN40_out_gg(f(T742), f(T742))
U96_gg(T710, T711, rN40_out_gg(T710, T711)) → pN38_out_gg(T710, T711)
U44_gg(T710, T711, pN38_out_gg(T710, T711)) → rN37_out_gg(T710, T711)
rN37_in_gg(f(T746), T746) → U45_gg(T746, tJ_in_g(T746))
U45_gg(T746, tJ_out_g(T746)) → rN37_out_gg(f(T746), T746)
U93_gg(T682, T683, rN37_out_gg(T682, T683)) → U94_gg(T682, T683, pN39_in_gg(T682, T683))
pN39_in_gg(a, b) → pN39_out_gg(a, b)
pN39_in_gg(T764, f(T765)) → U46_gg(T764, T765, pC_in_gg(T764, T765))
U46_gg(T764, T765, pC_out_gg(T764, T765)) → pN39_out_gg(T764, f(T765))
U94_gg(T682, T683, pN39_out_gg(T682, T683)) → pC_out_gg(T682, T683)
U2_gg(T682, T683, pC_out_gg(T682, T683)) → qA_out_gg(T682, f(f(T683)))
U71_gg(T228, T229, qA_out_gg(f(T228), T229)) → U72_gg(T228, T229, rN23_in_gg(T228, T229))
rN23_in_gg(T254, f(T255)) → U29_gg(T254, T255, pN21_in_gg(T254, T255))
U29_gg(T254, T255, pN21_out_gg(T254, T255)) → rN23_out_gg(T254, f(T255))
rN23_in_gg(T260, f(T260)) → U30_gg(T260, tJ_in_g(T260))
U30_gg(T260, tJ_out_g(T260)) → rN23_out_gg(T260, f(T260))
U72_gg(T228, T229, rN23_out_gg(T228, T229)) → pN21_out_gg(T228, T229)
U26_gg(T228, T229, pN21_out_gg(T228, T229)) → rN20_out_gg(T228, T229)
rN20_in_gg(T285, T285) → U27_gg(T285, tJ_in_g(T285))
U27_gg(T285, tJ_out_g(T285)) → rN20_out_gg(T285, T285)
U69_gg(T200, T201, rN20_out_gg(T200, T201)) → U70_gg(T200, T201, pN22_in_gg(T200, T201))
pN22_in_gg(T303, f(T304)) → U28_gg(T303, T304, pG_in_gg(T303, T304))
U28_gg(T303, T304, pG_out_gg(T303, T304)) → pN22_out_gg(T303, f(T304))
U70_gg(T200, T201, pN22_out_gg(T200, T201)) → pG_out_gg(T200, T201)
U4_gg(T200, T201, pG_out_gg(T200, T201)) → pF_out_gg(T200, T201)
U32_g(T336, pF_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → qN25_out_g(f(f(T336)))
U75_g(T322, qN25_out_g(T322)) → U76_g(T322, rN26_in_g(T322))
rN26_in_g(f(T356)) → U33_g(T356, pN21_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
U33_g(T356, pN21_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → rN26_out_g(f(T356))
U76_g(T322, rN26_out_g(T322)) → pM_out_g(T322)
U7_g(T322, pM_out_g(T322)) → rL_out_g(f(T322))
U77_g(T375, rL_out_g(f(T375))) → U78_g(T375, pN27_in_g(T375))
pN27_in_g(f(T389)) → U34_g(T389, pG_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
U34_g(T389, pG_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → pN27_out_g(f(T389))
U78_g(T375, pN27_out_g(T375)) → pO_out_g(T375)
U8_g(T375, pO_out_g(T375)) → pN_out_g(f(T375))
U35_g(T423, pN_out_g(f(T423))) → qN28_out_g(f(f(T423)))
U79_g(T409, qN28_out_g(T409)) → U80_g(T409, rN29_in_g(T409))
rN29_in_g(f(T440)) → U36_g(T440, pN18_in_g(T440))
U36_g(T440, pN18_out_g(T440)) → rN29_out_g(f(T440))
U80_g(T409, rN29_out_g(T409)) → pQ_out_g(T409)
U9_g(T409, pQ_out_g(T409)) → rP_out_g(f(T409))
U81_g(T456, rP_out_g(f(T456))) → U82_g(T456, pN30_in_g(T456))
pN30_in_g(f(T470)) → U37_g(T470, pN16_in_g(T470))
U37_g(T470, pN16_out_g(T470)) → pN30_out_g(f(T470))
U82_g(T456, pN30_out_g(T456)) → pS_out_g(T456)
U10_g(T456, pS_out_g(T456)) → pR_out_g(f(T456))
U38_g(T501, pR_out_g(f(T501))) → qN31_out_g(f(f(T501)))
U83_g(T487, qN31_out_g(T487)) → U84_g(T487, rN32_in_g(T487))
rN32_in_g(f(T518)) → U39_g(T518, pN14_in_g(T518))
U39_g(T518, pN14_out_g(T518)) → rN32_out_g(f(T518))
U84_g(T487, rN32_out_g(T487)) → pU_out_g(T487)
U11_g(T487, pU_out_g(T487)) → rT_out_g(f(T487))
U85_g(T534, rT_out_g(f(T534))) → U86_g(T534, pN33_in_g(T534))
pN33_in_g(f(T548)) → U40_g(T548, pN12_in_g(T548))
U40_g(T548, pN12_out_g(T548)) → pN33_out_g(f(T548))
U86_g(T534, pN33_out_g(T534)) → pW_out_g(T534)
U12_g(T534, pW_out_g(T534)) → pV_out_g(f(T534))
U41_g(T579, pV_out_g(f(T579))) → qN34_out_g(f(f(T579)))
U87_g(T565, qN34_out_g(T565)) → U88_g(T565, rN35_in_g(T565))
rN35_in_g(f(T596)) → U42_g(T596, pN10_in_g(T596))
U42_g(T596, pN10_out_g(T596)) → rN35_out_g(f(T596))
U88_g(T565, rN35_out_g(T565)) → pN1_out_g(T565)
U14_g(T565, pN1_out_g(T565)) → rZ_out_g(f(T565))
rZ_in_g(f(T601)) → U15_g(T601, tJ_in_g(T601))
U15_g(T601, tJ_out_g(T601)) → rZ_out_g(f(T601))
U91_g(T628, rZ_out_g(f(T628))) → U92_g(T628, pN36_in_g(T628))
pN36_in_g(f(T642)) → U43_g(T642, pI_in_g(T642))
U43_g(T642, pI_out_g(T642)) → pN36_out_g(f(T642))
U92_g(T628, pN36_out_g(T628)) → pN2_out_g(T628)
U16_g(T628, pN2_out_g(T628)) → pE_out_g(f(T628))
U3_g(T656, pE_out_g(f(T656))) → qD_out_g(f(T656))
U53_g(T36, qD_out_g(T36)) → U54_g(T36, rX_in_g(T36))
rX_in_g(T51) → U13_g(T51, pY_in_g(T51))
pY_in_g(T51) → U55_g(T51, qH_in_g(T51))
U55_g(T51, qH_out_g(T51)) → U56_g(T51, rZ_in_g(T51))
U56_g(T51, rZ_out_g(T51)) → pY_out_g(T51)
U13_g(T51, pY_out_g(T51)) → rX_out_g(T51)
U54_g(T36, rX_out_g(T36)) → pN6_out_g(T36)
U18_g(T36, pN6_out_g(T36)) → rN5_out_g(T36)
U51_g(T22, rN5_out_g(T22)) → U52_g(T22, pN7_in_g(T22))
pN7_in_g(T614) → U19_g(T614, pN8_in_g(T614))
pN8_in_g(T614) → U89_g(T614, rX_in_g(T614))
U89_g(T614, rX_out_g(T614)) → U90_g(T614, pE_in_g(T614))
U90_g(T614, pE_out_g(T614)) → pN8_out_g(T614)
U19_g(T614, pN8_out_g(T614)) → pN7_out_g(T614)
U52_g(T22, pN7_out_g(T22)) → pN4_out_g(T22)
U17_g(T22, pN4_out_g(T22)) → pN3_out_g(T22)
U49_g(T11, pN3_out_g(T11)) → U50_g(T11, qD_in_g(T11))
U50_g(T11, qD_out_g(T11)) → pB_out_g(T11)
U1_gg(T11, pB_out_g(T11)) → qA_out_gg(T11, f(f(T11)))

The set Q consists of the following terms:

qA_in_gg(x0, x1)
pB_in_g(x0)
pN3_in_g(x0)
pN4_in_g(x0)
rN5_in_g(x0)
pN6_in_g(x0)
qD_in_g(x0)
pE_in_g(x0)
pN2_in_g(x0)
rZ_in_g(x0)
pN1_in_g(x0)
qN34_in_g(x0)
pV_in_g(x0)
pW_in_g(x0)
rT_in_g(x0)
pU_in_g(x0)
qN31_in_g(x0)
pR_in_g(x0)
pS_in_g(x0)
rP_in_g(x0)
pQ_in_g(x0)
qN28_in_g(x0)
pN_in_g(x0)
pO_in_g(x0)
rL_in_g(x0)
pM_in_g(x0)
qN25_in_g(x0)
pF_in_gg(x0, x1)
pG_in_gg(x0, x1)
rN20_in_gg(x0, x1)
pN21_in_gg(x0, x1)
pC_in_gg(x0, x1)
rN37_in_gg(x0, x1)
pN38_in_gg(x0, x1)
U95_gg(x0, x1, x2)
rN40_in_gg(x0, x1)
U47_gg(x0, x1, x2)
tJ_in_g(x0)
pK_in_g(x0)
qH_in_g(x0)
pI_in_g(x0)
rN9_in_g(x0)
pN10_in_g(x0)
qN11_in_g(x0)
pN12_in_g(x0)
rN13_in_g(x0)
pN14_in_g(x0)
qN15_in_g(x0)
pN16_in_g(x0)
rN17_in_g(x0)
pN18_in_g(x0)
qN19_in_g(x0)
U25_g(x0, x1)
U67_g(x0, x1)
U68_g(x0, x1)
U24_g(x0, x1)
U65_g(x0, x1)
U66_g(x0, x1)
U23_g(x0, x1)
U63_g(x0, x1)
U64_g(x0, x1)
U22_g(x0, x1)
U61_g(x0, x1)
U62_g(x0, x1)
U21_g(x0, x1)
U59_g(x0, x1)
U60_g(x0, x1)
U20_g(x0, x1)
U57_g(x0, x1)
U58_g(x0, x1)
U5_g(x0, x1)
U73_g(x0, x1)
tN24_in_g(x0)
U31_g(x0, x1)
U74_g(x0, x1)
U6_g(x0, x1)
U48_gg(x0, x1)
U96_gg(x0, x1, x2)
U44_gg(x0, x1, x2)
U45_gg(x0, x1)
U93_gg(x0, x1, x2)
pN39_in_gg(x0, x1)
U46_gg(x0, x1, x2)
U94_gg(x0, x1, x2)
U2_gg(x0, x1, x2)
U71_gg(x0, x1, x2)
rN23_in_gg(x0, x1)
U29_gg(x0, x1, x2)
U30_gg(x0, x1)
U72_gg(x0, x1, x2)
U26_gg(x0, x1, x2)
U27_gg(x0, x1)
U69_gg(x0, x1, x2)
pN22_in_gg(x0, x1)
U28_gg(x0, x1, x2)
U70_gg(x0, x1, x2)
U4_gg(x0, x1, x2)
U32_g(x0, x1)
U75_g(x0, x1)
rN26_in_g(x0)
U33_g(x0, x1)
U76_g(x0, x1)
U7_g(x0, x1)
U77_g(x0, x1)
pN27_in_g(x0)
U34_g(x0, x1)
U78_g(x0, x1)
U8_g(x0, x1)
U35_g(x0, x1)
U79_g(x0, x1)
rN29_in_g(x0)
U36_g(x0, x1)
U80_g(x0, x1)
U9_g(x0, x1)
U81_g(x0, x1)
pN30_in_g(x0)
U37_g(x0, x1)
U82_g(x0, x1)
U10_g(x0, x1)
U38_g(x0, x1)
U83_g(x0, x1)
rN32_in_g(x0)
U39_g(x0, x1)
U84_g(x0, x1)
U11_g(x0, x1)
U85_g(x0, x1)
pN33_in_g(x0)
U40_g(x0, x1)
U86_g(x0, x1)
U12_g(x0, x1)
U41_g(x0, x1)
U87_g(x0, x1)
rN35_in_g(x0)
U42_g(x0, x1)
U88_g(x0, x1)
U14_g(x0, x1)
U15_g(x0, x1)
U91_g(x0, x1)
pN36_in_g(x0)
U43_g(x0, x1)
U92_g(x0, x1)
U16_g(x0, x1)
U3_g(x0, x1)
U53_g(x0, x1)
rX_in_g(x0)
pY_in_g(x0)
U55_g(x0, x1)
U56_g(x0, x1)
U13_g(x0, x1)
U54_g(x0, x1)
U18_g(x0, x1)
U51_g(x0, x1)
pN7_in_g(x0)
pN8_in_g(x0)
U89_g(x0, x1)
U90_g(x0, x1)
U19_g(x0, x1)
U52_g(x0, x1)
U17_g(x0, x1)
U49_g(x0, x1)
U50_g(x0, x1)
U1_gg(x0, x1)

We have to consider all (P,Q,R)-chains.

(13) DependencyGraphProof (EQUIVALENT transformation)

The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 0 SCCs with 82 less nodes.

(14) TRUE