0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇐)
↳2 Prolog
↳3 PrologToPiTRSProof (⇐)
↳4 PiTRS
↳5 DependencyPairsProof (⇔)
↳6 PiDP
↳7 DependencyGraphProof (⇔)
↳8 PiDP
↳9 PiDPToQDPProof (⇐)
↳10 QDP
↳11 Instantiation (⇔)
↳12 QDP
↳13 QDPOrderProof (⇔)
↳14 QDP
↳15 DependencyGraphProof (⇔)
↳16 TRUE
q1_in_gg(a, b) → q1_out_gg(a, b)
q1_in_gg(T11, f(f(T11))) → U85_gg(T11, p15_in_g(T11))
p15_in_g(T22) → U65_g(T22, r24_in_g(T22))
r24_in_g(T36) → U69_g(T36, q16_in_g(T36))
q16_in_g(f(T656)) → U1_g(T656, p407_in_g(f(T656)))
p407_in_g(f(T628)) → U52_g(T628, r47_in_g(f(T628)))
r47_in_g(f(T565)) → U46_g(T565, q373_in_g(T565))
q373_in_g(f(f(T579))) → U82_g(T579, p65_in_g(f(T579)))
p65_in_g(f(T534)) → U39_g(T534, r76_in_g(f(T534)))
r76_in_g(f(T487)) → U34_g(T487, q321_in_g(T487))
q321_in_g(f(f(T501))) → U81_g(T501, p94_in_g(f(T501)))
p94_in_g(f(T456)) → U29_g(T456, r105_in_g(f(T456)))
r105_in_g(f(T409)) → U24_g(T409, q269_in_g(T409))
q269_in_g(f(f(T423))) → U80_g(T423, p123_in_g(f(T423)))
p123_in_g(f(T375)) → U19_g(T375, r134_in_g(f(T375)))
r134_in_g(f(T322)) → U16_g(T322, q214_in_g(T322))
q214_in_g(f(f(T336))) → U79_g(T336, p144_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
p144_in_gg(T200, T201) → U15_gg(T200, T201, p151_in_gg(T200, T201))
p151_in_gg(T200, T201) → U12_gg(T200, T201, r152_in_gg(T200, T201))
r152_in_gg(T228, T229) → U77_gg(T228, T229, p162_in_gg(T228, T229))
p162_in_gg(T228, T229) → U2_gg(T228, T229, q1_in_gg(f(T228), T229))
q1_in_gg(T682, f(f(T683))) → U87_gg(T682, T683, p443_in_gg(T682, T683))
p443_in_gg(T682, T683) → U61_gg(T682, T683, r444_in_gg(T682, T683))
r444_in_gg(T710, T711) → U83_gg(T710, T711, p454_in_gg(T710, T711))
p454_in_gg(T710, T711) → U55_gg(T710, T711, q1_in_gg(T710, T711))
U55_gg(T710, T711, q1_out_gg(T710, T711)) → p454_out_gg(T710, T711)
p454_in_gg(a, b) → U56_gg(q1_in_gg(a, b))
U56_gg(q1_out_gg(a, b)) → p454_out_gg(a, b)
p454_in_gg(T736, f(T737)) → U57_gg(T736, T737, q1_in_gg(T736, f(T737)))
U57_gg(T736, T737, q1_out_gg(T736, f(T737))) → U58_gg(T736, T737, p454_in_gg(T736, T737))
p454_in_gg(f(T742), f(T742)) → U59_gg(T742, q1_in_gg(f(T742), f(T742)))
U59_gg(T742, q1_out_gg(f(T742), f(T742))) → U60_gg(T742, t175_in_g(T742))
t175_in_g(T270) → U11_g(T270, p183_in_g(T270))
p183_in_g(T270) → U8_g(T270, q46_in_g(f(T270)))
q46_in_g(f(f(T75))) → U7_g(T75, p63_in_g(T75))
p63_in_g(T75) → U50_g(T75, r64_in_g(T75))
r64_in_g(T89) → U71_g(T89, p74_in_g(T89))
p74_in_g(T89) → U42_g(T89, q75_in_g(T89))
q75_in_g(f(f(T113))) → U72_g(T113, p92_in_g(T113))
p92_in_g(T113) → U37_g(T113, r93_in_g(T113))
r93_in_g(T127) → U73_g(T127, p103_in_g(T127))
p103_in_g(T127) → U32_g(T127, q104_in_g(T127))
q104_in_g(f(f(T151))) → U74_g(T151, p121_in_g(T151))
p121_in_g(T151) → U27_g(T151, r122_in_g(T151))
r122_in_g(T165) → U75_g(T165, p132_in_g(T165))
p132_in_g(T165) → U22_g(T165, q133_in_g(T165))
q133_in_g(f(f(T179))) → U76_g(T179, p144_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(T179, p144_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → q133_out_g(f(f(T179)))
U22_g(T165, q133_out_g(T165)) → p132_out_g(T165)
U22_g(T165, q133_out_g(T165)) → U23_g(T165, r134_in_g(T165))
r134_in_g(f(f(T356))) → U17_g(T356, q214_in_g(f(T356)))
U17_g(T356, q214_out_g(f(T356))) → U18_g(T356, p162_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
p162_in_gg(T254, f(T255)) → U3_gg(T254, T255, q1_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, q1_out_gg(f(T254), f(T255))) → U4_gg(T254, T255, p162_in_gg(T254, T255))
p162_in_gg(T260, f(T260)) → U5_gg(T260, q1_in_gg(f(T260), f(T260)))
U5_gg(T260, q1_out_gg(f(T260), f(T260))) → U6_gg(T260, t175_in_g(T260))
U6_gg(T260, t175_out_g(T260)) → p162_out_gg(T260, f(T260))
U4_gg(T254, T255, p162_out_gg(T254, T255)) → p162_out_gg(T254, f(T255))
U18_g(T356, p162_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → r134_out_g(f(f(T356)))
U23_g(T165, r134_out_g(T165)) → p132_out_g(T165)
U75_g(T165, p132_out_g(T165)) → r122_out_g(T165)
U27_g(T151, r122_out_g(T151)) → p121_out_g(T151)
U27_g(T151, r122_out_g(T151)) → U28_g(T151, p123_in_g(T151))
p123_in_g(f(f(T389))) → U20_g(T389, r134_in_g(f(f(T389))))
U20_g(T389, r134_out_g(f(f(T389)))) → U21_g(T389, p151_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
p151_in_gg(T303, f(T304)) → U13_gg(T303, T304, r152_in_gg(T303, f(T304)))
r152_in_gg(T285, T285) → U78_gg(T285, t175_in_g(T285))
U78_gg(T285, t175_out_g(T285)) → r152_out_gg(T285, T285)
U13_gg(T303, T304, r152_out_gg(T303, f(T304))) → U14_gg(T303, T304, p151_in_gg(T303, T304))
U14_gg(T303, T304, p151_out_gg(T303, T304)) → p151_out_gg(T303, f(T304))
U21_g(T389, p151_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → p123_out_g(f(f(T389)))
U28_g(T151, p123_out_g(T151)) → p121_out_g(T151)
U74_g(T151, p121_out_g(T151)) → q104_out_g(f(f(T151)))
U32_g(T127, q104_out_g(T127)) → p103_out_g(T127)
U32_g(T127, q104_out_g(T127)) → U33_g(T127, r105_in_g(T127))
r105_in_g(f(f(T440))) → U25_g(T440, q269_in_g(f(T440)))
U25_g(T440, q269_out_g(f(T440))) → U26_g(T440, p132_in_g(T440))
U26_g(T440, p132_out_g(T440)) → r105_out_g(f(f(T440)))
U33_g(T127, r105_out_g(T127)) → p103_out_g(T127)
U73_g(T127, p103_out_g(T127)) → r93_out_g(T127)
U37_g(T113, r93_out_g(T113)) → p92_out_g(T113)
U37_g(T113, r93_out_g(T113)) → U38_g(T113, p94_in_g(T113))
p94_in_g(f(f(T470))) → U30_g(T470, r105_in_g(f(f(T470))))
U30_g(T470, r105_out_g(f(f(T470)))) → U31_g(T470, p121_in_g(T470))
U31_g(T470, p121_out_g(T470)) → p94_out_g(f(f(T470)))
U38_g(T113, p94_out_g(T113)) → p92_out_g(T113)
U72_g(T113, p92_out_g(T113)) → q75_out_g(f(f(T113)))
U42_g(T89, q75_out_g(T89)) → p74_out_g(T89)
U42_g(T89, q75_out_g(T89)) → U43_g(T89, r76_in_g(T89))
r76_in_g(f(f(T518))) → U35_g(T518, q321_in_g(f(T518)))
U35_g(T518, q321_out_g(f(T518))) → U36_g(T518, p103_in_g(T518))
U36_g(T518, p103_out_g(T518)) → r76_out_g(f(f(T518)))
U43_g(T89, r76_out_g(T89)) → p74_out_g(T89)
U71_g(T89, p74_out_g(T89)) → r64_out_g(T89)
U50_g(T75, r64_out_g(T75)) → p63_out_g(T75)
U50_g(T75, r64_out_g(T75)) → U51_g(T75, p65_in_g(T75))
p65_in_g(f(f(T548))) → U40_g(T548, r76_in_g(f(f(T548))))
U40_g(T548, r76_out_g(f(f(T548)))) → U41_g(T548, p92_in_g(T548))
U41_g(T548, p92_out_g(T548)) → p65_out_g(f(f(T548)))
U51_g(T75, p65_out_g(T75)) → p63_out_g(T75)
U7_g(T75, p63_out_g(T75)) → q46_out_g(f(f(T75)))
U8_g(T270, q46_out_g(f(T270))) → p183_out_g(T270)
p183_in_g(f(T281)) → U9_g(T281, q46_in_g(f(f(T281))))
U9_g(T281, q46_out_g(f(f(T281)))) → U10_g(T281, p183_in_g(T281))
U10_g(T281, p183_out_g(T281)) → p183_out_g(f(T281))
U11_g(T270, p183_out_g(T270)) → t175_out_g(T270)
U60_gg(T742, t175_out_g(T742)) → p454_out_gg(f(T742), f(T742))
U58_gg(T736, T737, p454_out_gg(T736, T737)) → p454_out_gg(T736, f(T737))
U83_gg(T710, T711, p454_out_gg(T710, T711)) → r444_out_gg(T710, T711)
r444_in_gg(f(T746), T746) → U84_gg(T746, t175_in_g(T746))
U84_gg(T746, t175_out_g(T746)) → r444_out_gg(f(T746), T746)
U61_gg(T682, T683, r444_out_gg(T682, T683)) → p443_out_gg(T682, T683)
p443_in_gg(a, b) → U62_gg(r444_in_gg(a, b))
U62_gg(r444_out_gg(a, b)) → p443_out_gg(a, b)
p443_in_gg(T764, f(T765)) → U63_gg(T764, T765, r444_in_gg(T764, f(T765)))
U63_gg(T764, T765, r444_out_gg(T764, f(T765))) → U64_gg(T764, T765, p443_in_gg(T764, T765))
U64_gg(T764, T765, p443_out_gg(T764, T765)) → p443_out_gg(T764, f(T765))
U87_gg(T682, T683, p443_out_gg(T682, T683)) → q1_out_gg(T682, f(f(T683)))
U2_gg(T228, T229, q1_out_gg(f(T228), T229)) → p162_out_gg(T228, T229)
U77_gg(T228, T229, p162_out_gg(T228, T229)) → r152_out_gg(T228, T229)
U12_gg(T200, T201, r152_out_gg(T200, T201)) → p151_out_gg(T200, T201)
U15_gg(T200, T201, p151_out_gg(T200, T201)) → p144_out_gg(T200, T201)
U79_g(T336, p144_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → q214_out_g(f(f(T336)))
U16_g(T322, q214_out_g(T322)) → r134_out_g(f(T322))
U19_g(T375, r134_out_g(f(T375))) → p123_out_g(f(T375))
U80_g(T423, p123_out_g(f(T423))) → q269_out_g(f(f(T423)))
U24_g(T409, q269_out_g(T409)) → r105_out_g(f(T409))
U29_g(T456, r105_out_g(f(T456))) → p94_out_g(f(T456))
U81_g(T501, p94_out_g(f(T501))) → q321_out_g(f(f(T501)))
U34_g(T487, q321_out_g(T487)) → r76_out_g(f(T487))
U39_g(T534, r76_out_g(f(T534))) → p65_out_g(f(T534))
U82_g(T579, p65_out_g(f(T579))) → q373_out_g(f(f(T579)))
U46_g(T565, q373_out_g(T565)) → r47_out_g(f(T565))
r47_in_g(f(f(T596))) → U47_g(T596, q373_in_g(f(T596)))
U47_g(T596, q373_out_g(f(T596))) → U48_g(T596, p74_in_g(T596))
U48_g(T596, p74_out_g(T596)) → r47_out_g(f(f(T596)))
r47_in_g(f(T601)) → U49_g(T601, t175_in_g(T601))
U49_g(T601, t175_out_g(T601)) → r47_out_g(f(T601))
U52_g(T628, r47_out_g(f(T628))) → p407_out_g(f(T628))
p407_in_g(f(f(T642))) → U53_g(T642, r47_in_g(f(f(T642))))
U53_g(T642, r47_out_g(f(f(T642)))) → U54_g(T642, p63_in_g(T642))
U54_g(T642, p63_out_g(T642)) → p407_out_g(f(f(T642)))
U1_g(T656, p407_out_g(f(T656))) → q16_out_g(f(T656))
U69_g(T36, q16_out_g(T36)) → r24_out_g(T36)
U69_g(T36, q16_out_g(T36)) → U70_g(T36, r36_in_g(T36))
r36_in_g(T51) → U44_g(T51, q46_in_g(T51))
U44_g(T51, q46_out_g(T51)) → r36_out_g(T51)
U44_g(T51, q46_out_g(T51)) → U45_g(T51, r47_in_g(T51))
U45_g(T51, r47_out_g(T51)) → r36_out_g(T51)
U70_g(T36, r36_out_g(T36)) → r24_out_g(T36)
U65_g(T22, r24_out_g(T22)) → p15_out_g(T22)
p15_in_g(T614) → U66_g(T614, r24_in_g(T614))
U66_g(T614, r24_out_g(T614)) → U67_g(T614, r36_in_g(T614))
U67_g(T614, r36_out_g(T614)) → p15_out_g(T614)
U67_g(T614, r36_out_g(T614)) → U68_g(T614, p407_in_g(T614))
U68_g(T614, p407_out_g(T614)) → p15_out_g(T614)
U85_gg(T11, p15_out_g(T11)) → q1_out_gg(T11, f(f(T11)))
U85_gg(T11, p15_out_g(T11)) → U86_gg(T11, q16_in_g(T11))
U86_gg(T11, q16_out_g(T11)) → q1_out_gg(T11, f(f(T11)))
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
q1_in_gg(a, b) → q1_out_gg(a, b)
q1_in_gg(T11, f(f(T11))) → U85_gg(T11, p15_in_g(T11))
p15_in_g(T22) → U65_g(T22, r24_in_g(T22))
r24_in_g(T36) → U69_g(T36, q16_in_g(T36))
q16_in_g(f(T656)) → U1_g(T656, p407_in_g(f(T656)))
p407_in_g(f(T628)) → U52_g(T628, r47_in_g(f(T628)))
r47_in_g(f(T565)) → U46_g(T565, q373_in_g(T565))
q373_in_g(f(f(T579))) → U82_g(T579, p65_in_g(f(T579)))
p65_in_g(f(T534)) → U39_g(T534, r76_in_g(f(T534)))
r76_in_g(f(T487)) → U34_g(T487, q321_in_g(T487))
q321_in_g(f(f(T501))) → U81_g(T501, p94_in_g(f(T501)))
p94_in_g(f(T456)) → U29_g(T456, r105_in_g(f(T456)))
r105_in_g(f(T409)) → U24_g(T409, q269_in_g(T409))
q269_in_g(f(f(T423))) → U80_g(T423, p123_in_g(f(T423)))
p123_in_g(f(T375)) → U19_g(T375, r134_in_g(f(T375)))
r134_in_g(f(T322)) → U16_g(T322, q214_in_g(T322))
q214_in_g(f(f(T336))) → U79_g(T336, p144_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
p144_in_gg(T200, T201) → U15_gg(T200, T201, p151_in_gg(T200, T201))
p151_in_gg(T200, T201) → U12_gg(T200, T201, r152_in_gg(T200, T201))
r152_in_gg(T228, T229) → U77_gg(T228, T229, p162_in_gg(T228, T229))
p162_in_gg(T228, T229) → U2_gg(T228, T229, q1_in_gg(f(T228), T229))
q1_in_gg(T682, f(f(T683))) → U87_gg(T682, T683, p443_in_gg(T682, T683))
p443_in_gg(T682, T683) → U61_gg(T682, T683, r444_in_gg(T682, T683))
r444_in_gg(T710, T711) → U83_gg(T710, T711, p454_in_gg(T710, T711))
p454_in_gg(T710, T711) → U55_gg(T710, T711, q1_in_gg(T710, T711))
U55_gg(T710, T711, q1_out_gg(T710, T711)) → p454_out_gg(T710, T711)
p454_in_gg(a, b) → U56_gg(q1_in_gg(a, b))
U56_gg(q1_out_gg(a, b)) → p454_out_gg(a, b)
p454_in_gg(T736, f(T737)) → U57_gg(T736, T737, q1_in_gg(T736, f(T737)))
U57_gg(T736, T737, q1_out_gg(T736, f(T737))) → U58_gg(T736, T737, p454_in_gg(T736, T737))
p454_in_gg(f(T742), f(T742)) → U59_gg(T742, q1_in_gg(f(T742), f(T742)))
U59_gg(T742, q1_out_gg(f(T742), f(T742))) → U60_gg(T742, t175_in_g(T742))
t175_in_g(T270) → U11_g(T270, p183_in_g(T270))
p183_in_g(T270) → U8_g(T270, q46_in_g(f(T270)))
q46_in_g(f(f(T75))) → U7_g(T75, p63_in_g(T75))
p63_in_g(T75) → U50_g(T75, r64_in_g(T75))
r64_in_g(T89) → U71_g(T89, p74_in_g(T89))
p74_in_g(T89) → U42_g(T89, q75_in_g(T89))
q75_in_g(f(f(T113))) → U72_g(T113, p92_in_g(T113))
p92_in_g(T113) → U37_g(T113, r93_in_g(T113))
r93_in_g(T127) → U73_g(T127, p103_in_g(T127))
p103_in_g(T127) → U32_g(T127, q104_in_g(T127))
q104_in_g(f(f(T151))) → U74_g(T151, p121_in_g(T151))
p121_in_g(T151) → U27_g(T151, r122_in_g(T151))
r122_in_g(T165) → U75_g(T165, p132_in_g(T165))
p132_in_g(T165) → U22_g(T165, q133_in_g(T165))
q133_in_g(f(f(T179))) → U76_g(T179, p144_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(T179, p144_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → q133_out_g(f(f(T179)))
U22_g(T165, q133_out_g(T165)) → p132_out_g(T165)
U22_g(T165, q133_out_g(T165)) → U23_g(T165, r134_in_g(T165))
r134_in_g(f(f(T356))) → U17_g(T356, q214_in_g(f(T356)))
U17_g(T356, q214_out_g(f(T356))) → U18_g(T356, p162_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
p162_in_gg(T254, f(T255)) → U3_gg(T254, T255, q1_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, q1_out_gg(f(T254), f(T255))) → U4_gg(T254, T255, p162_in_gg(T254, T255))
p162_in_gg(T260, f(T260)) → U5_gg(T260, q1_in_gg(f(T260), f(T260)))
U5_gg(T260, q1_out_gg(f(T260), f(T260))) → U6_gg(T260, t175_in_g(T260))
U6_gg(T260, t175_out_g(T260)) → p162_out_gg(T260, f(T260))
U4_gg(T254, T255, p162_out_gg(T254, T255)) → p162_out_gg(T254, f(T255))
U18_g(T356, p162_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → r134_out_g(f(f(T356)))
U23_g(T165, r134_out_g(T165)) → p132_out_g(T165)
U75_g(T165, p132_out_g(T165)) → r122_out_g(T165)
U27_g(T151, r122_out_g(T151)) → p121_out_g(T151)
U27_g(T151, r122_out_g(T151)) → U28_g(T151, p123_in_g(T151))
p123_in_g(f(f(T389))) → U20_g(T389, r134_in_g(f(f(T389))))
U20_g(T389, r134_out_g(f(f(T389)))) → U21_g(T389, p151_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
p151_in_gg(T303, f(T304)) → U13_gg(T303, T304, r152_in_gg(T303, f(T304)))
r152_in_gg(T285, T285) → U78_gg(T285, t175_in_g(T285))
U78_gg(T285, t175_out_g(T285)) → r152_out_gg(T285, T285)
U13_gg(T303, T304, r152_out_gg(T303, f(T304))) → U14_gg(T303, T304, p151_in_gg(T303, T304))
U14_gg(T303, T304, p151_out_gg(T303, T304)) → p151_out_gg(T303, f(T304))
U21_g(T389, p151_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → p123_out_g(f(f(T389)))
U28_g(T151, p123_out_g(T151)) → p121_out_g(T151)
U74_g(T151, p121_out_g(T151)) → q104_out_g(f(f(T151)))
U32_g(T127, q104_out_g(T127)) → p103_out_g(T127)
U32_g(T127, q104_out_g(T127)) → U33_g(T127, r105_in_g(T127))
r105_in_g(f(f(T440))) → U25_g(T440, q269_in_g(f(T440)))
U25_g(T440, q269_out_g(f(T440))) → U26_g(T440, p132_in_g(T440))
U26_g(T440, p132_out_g(T440)) → r105_out_g(f(f(T440)))
U33_g(T127, r105_out_g(T127)) → p103_out_g(T127)
U73_g(T127, p103_out_g(T127)) → r93_out_g(T127)
U37_g(T113, r93_out_g(T113)) → p92_out_g(T113)
U37_g(T113, r93_out_g(T113)) → U38_g(T113, p94_in_g(T113))
p94_in_g(f(f(T470))) → U30_g(T470, r105_in_g(f(f(T470))))
U30_g(T470, r105_out_g(f(f(T470)))) → U31_g(T470, p121_in_g(T470))
U31_g(T470, p121_out_g(T470)) → p94_out_g(f(f(T470)))
U38_g(T113, p94_out_g(T113)) → p92_out_g(T113)
U72_g(T113, p92_out_g(T113)) → q75_out_g(f(f(T113)))
U42_g(T89, q75_out_g(T89)) → p74_out_g(T89)
U42_g(T89, q75_out_g(T89)) → U43_g(T89, r76_in_g(T89))
r76_in_g(f(f(T518))) → U35_g(T518, q321_in_g(f(T518)))
U35_g(T518, q321_out_g(f(T518))) → U36_g(T518, p103_in_g(T518))
U36_g(T518, p103_out_g(T518)) → r76_out_g(f(f(T518)))
U43_g(T89, r76_out_g(T89)) → p74_out_g(T89)
U71_g(T89, p74_out_g(T89)) → r64_out_g(T89)
U50_g(T75, r64_out_g(T75)) → p63_out_g(T75)
U50_g(T75, r64_out_g(T75)) → U51_g(T75, p65_in_g(T75))
p65_in_g(f(f(T548))) → U40_g(T548, r76_in_g(f(f(T548))))
U40_g(T548, r76_out_g(f(f(T548)))) → U41_g(T548, p92_in_g(T548))
U41_g(T548, p92_out_g(T548)) → p65_out_g(f(f(T548)))
U51_g(T75, p65_out_g(T75)) → p63_out_g(T75)
U7_g(T75, p63_out_g(T75)) → q46_out_g(f(f(T75)))
U8_g(T270, q46_out_g(f(T270))) → p183_out_g(T270)
p183_in_g(f(T281)) → U9_g(T281, q46_in_g(f(f(T281))))
U9_g(T281, q46_out_g(f(f(T281)))) → U10_g(T281, p183_in_g(T281))
U10_g(T281, p183_out_g(T281)) → p183_out_g(f(T281))
U11_g(T270, p183_out_g(T270)) → t175_out_g(T270)
U60_gg(T742, t175_out_g(T742)) → p454_out_gg(f(T742), f(T742))
U58_gg(T736, T737, p454_out_gg(T736, T737)) → p454_out_gg(T736, f(T737))
U83_gg(T710, T711, p454_out_gg(T710, T711)) → r444_out_gg(T710, T711)
r444_in_gg(f(T746), T746) → U84_gg(T746, t175_in_g(T746))
U84_gg(T746, t175_out_g(T746)) → r444_out_gg(f(T746), T746)
U61_gg(T682, T683, r444_out_gg(T682, T683)) → p443_out_gg(T682, T683)
p443_in_gg(a, b) → U62_gg(r444_in_gg(a, b))
U62_gg(r444_out_gg(a, b)) → p443_out_gg(a, b)
p443_in_gg(T764, f(T765)) → U63_gg(T764, T765, r444_in_gg(T764, f(T765)))
U63_gg(T764, T765, r444_out_gg(T764, f(T765))) → U64_gg(T764, T765, p443_in_gg(T764, T765))
U64_gg(T764, T765, p443_out_gg(T764, T765)) → p443_out_gg(T764, f(T765))
U87_gg(T682, T683, p443_out_gg(T682, T683)) → q1_out_gg(T682, f(f(T683)))
U2_gg(T228, T229, q1_out_gg(f(T228), T229)) → p162_out_gg(T228, T229)
U77_gg(T228, T229, p162_out_gg(T228, T229)) → r152_out_gg(T228, T229)
U12_gg(T200, T201, r152_out_gg(T200, T201)) → p151_out_gg(T200, T201)
U15_gg(T200, T201, p151_out_gg(T200, T201)) → p144_out_gg(T200, T201)
U79_g(T336, p144_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → q214_out_g(f(f(T336)))
U16_g(T322, q214_out_g(T322)) → r134_out_g(f(T322))
U19_g(T375, r134_out_g(f(T375))) → p123_out_g(f(T375))
U80_g(T423, p123_out_g(f(T423))) → q269_out_g(f(f(T423)))
U24_g(T409, q269_out_g(T409)) → r105_out_g(f(T409))
U29_g(T456, r105_out_g(f(T456))) → p94_out_g(f(T456))
U81_g(T501, p94_out_g(f(T501))) → q321_out_g(f(f(T501)))
U34_g(T487, q321_out_g(T487)) → r76_out_g(f(T487))
U39_g(T534, r76_out_g(f(T534))) → p65_out_g(f(T534))
U82_g(T579, p65_out_g(f(T579))) → q373_out_g(f(f(T579)))
U46_g(T565, q373_out_g(T565)) → r47_out_g(f(T565))
r47_in_g(f(f(T596))) → U47_g(T596, q373_in_g(f(T596)))
U47_g(T596, q373_out_g(f(T596))) → U48_g(T596, p74_in_g(T596))
U48_g(T596, p74_out_g(T596)) → r47_out_g(f(f(T596)))
r47_in_g(f(T601)) → U49_g(T601, t175_in_g(T601))
U49_g(T601, t175_out_g(T601)) → r47_out_g(f(T601))
U52_g(T628, r47_out_g(f(T628))) → p407_out_g(f(T628))
p407_in_g(f(f(T642))) → U53_g(T642, r47_in_g(f(f(T642))))
U53_g(T642, r47_out_g(f(f(T642)))) → U54_g(T642, p63_in_g(T642))
U54_g(T642, p63_out_g(T642)) → p407_out_g(f(f(T642)))
U1_g(T656, p407_out_g(f(T656))) → q16_out_g(f(T656))
U69_g(T36, q16_out_g(T36)) → r24_out_g(T36)
U69_g(T36, q16_out_g(T36)) → U70_g(T36, r36_in_g(T36))
r36_in_g(T51) → U44_g(T51, q46_in_g(T51))
U44_g(T51, q46_out_g(T51)) → r36_out_g(T51)
U44_g(T51, q46_out_g(T51)) → U45_g(T51, r47_in_g(T51))
U45_g(T51, r47_out_g(T51)) → r36_out_g(T51)
U70_g(T36, r36_out_g(T36)) → r24_out_g(T36)
U65_g(T22, r24_out_g(T22)) → p15_out_g(T22)
p15_in_g(T614) → U66_g(T614, r24_in_g(T614))
U66_g(T614, r24_out_g(T614)) → U67_g(T614, r36_in_g(T614))
U67_g(T614, r36_out_g(T614)) → p15_out_g(T614)
U67_g(T614, r36_out_g(T614)) → U68_g(T614, p407_in_g(T614))
U68_g(T614, p407_out_g(T614)) → p15_out_g(T614)
U85_gg(T11, p15_out_g(T11)) → q1_out_gg(T11, f(f(T11)))
U85_gg(T11, p15_out_g(T11)) → U86_gg(T11, q16_in_g(T11))
U86_gg(T11, q16_out_g(T11)) → q1_out_gg(T11, f(f(T11)))
Q1_IN_GG(T11, f(f(T11))) → U85_GG(T11, p15_in_g(T11))
Q1_IN_GG(T11, f(f(T11))) → P15_IN_G(T11)
P15_IN_G(T22) → U65_G(T22, r24_in_g(T22))
P15_IN_G(T22) → R24_IN_G(T22)
R24_IN_G(T36) → U69_G(T36, q16_in_g(T36))
R24_IN_G(T36) → Q16_IN_G(T36)
Q16_IN_G(f(T656)) → U1_G(T656, p407_in_g(f(T656)))
Q16_IN_G(f(T656)) → P407_IN_G(f(T656))
P407_IN_G(f(T628)) → U52_G(T628, r47_in_g(f(T628)))
P407_IN_G(f(T628)) → R47_IN_G(f(T628))
R47_IN_G(f(T565)) → U46_G(T565, q373_in_g(T565))
R47_IN_G(f(T565)) → Q373_IN_G(T565)
Q373_IN_G(f(f(T579))) → U82_G(T579, p65_in_g(f(T579)))
Q373_IN_G(f(f(T579))) → P65_IN_G(f(T579))
P65_IN_G(f(T534)) → U39_G(T534, r76_in_g(f(T534)))
P65_IN_G(f(T534)) → R76_IN_G(f(T534))
R76_IN_G(f(T487)) → U34_G(T487, q321_in_g(T487))
R76_IN_G(f(T487)) → Q321_IN_G(T487)
Q321_IN_G(f(f(T501))) → U81_G(T501, p94_in_g(f(T501)))
Q321_IN_G(f(f(T501))) → P94_IN_G(f(T501))
P94_IN_G(f(T456)) → U29_G(T456, r105_in_g(f(T456)))
P94_IN_G(f(T456)) → R105_IN_G(f(T456))
R105_IN_G(f(T409)) → U24_G(T409, q269_in_g(T409))
R105_IN_G(f(T409)) → Q269_IN_G(T409)
Q269_IN_G(f(f(T423))) → U80_G(T423, p123_in_g(f(T423)))
Q269_IN_G(f(f(T423))) → P123_IN_G(f(T423))
P123_IN_G(f(T375)) → U19_G(T375, r134_in_g(f(T375)))
P123_IN_G(f(T375)) → R134_IN_G(f(T375))
R134_IN_G(f(T322)) → U16_G(T322, q214_in_g(T322))
R134_IN_G(f(T322)) → Q214_IN_G(T322)
Q214_IN_G(f(f(T336))) → U79_G(T336, p144_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
Q214_IN_G(f(f(T336))) → P144_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
P144_IN_GG(T200, T201) → U15_GG(T200, T201, p151_in_gg(T200, T201))
P144_IN_GG(T200, T201) → P151_IN_GG(T200, T201)
P151_IN_GG(T200, T201) → U12_GG(T200, T201, r152_in_gg(T200, T201))
P151_IN_GG(T200, T201) → R152_IN_GG(T200, T201)
R152_IN_GG(T228, T229) → U77_GG(T228, T229, p162_in_gg(T228, T229))
R152_IN_GG(T228, T229) → P162_IN_GG(T228, T229)
P162_IN_GG(T228, T229) → U2_GG(T228, T229, q1_in_gg(f(T228), T229))
P162_IN_GG(T228, T229) → Q1_IN_GG(f(T228), T229)
Q1_IN_GG(T682, f(f(T683))) → U87_GG(T682, T683, p443_in_gg(T682, T683))
Q1_IN_GG(T682, f(f(T683))) → P443_IN_GG(T682, T683)
P443_IN_GG(T682, T683) → U61_GG(T682, T683, r444_in_gg(T682, T683))
P443_IN_GG(T682, T683) → R444_IN_GG(T682, T683)
R444_IN_GG(T710, T711) → U83_GG(T710, T711, p454_in_gg(T710, T711))
R444_IN_GG(T710, T711) → P454_IN_GG(T710, T711)
P454_IN_GG(T710, T711) → U55_GG(T710, T711, q1_in_gg(T710, T711))
P454_IN_GG(T710, T711) → Q1_IN_GG(T710, T711)
P454_IN_GG(a, b) → U56_GG(q1_in_gg(a, b))
P454_IN_GG(a, b) → Q1_IN_GG(a, b)
P454_IN_GG(T736, f(T737)) → U57_GG(T736, T737, q1_in_gg(T736, f(T737)))
P454_IN_GG(T736, f(T737)) → Q1_IN_GG(T736, f(T737))
U57_GG(T736, T737, q1_out_gg(T736, f(T737))) → U58_GG(T736, T737, p454_in_gg(T736, T737))
U57_GG(T736, T737, q1_out_gg(T736, f(T737))) → P454_IN_GG(T736, T737)
P454_IN_GG(f(T742), f(T742)) → U59_GG(T742, q1_in_gg(f(T742), f(T742)))
P454_IN_GG(f(T742), f(T742)) → Q1_IN_GG(f(T742), f(T742))
U59_GG(T742, q1_out_gg(f(T742), f(T742))) → U60_GG(T742, t175_in_g(T742))
U59_GG(T742, q1_out_gg(f(T742), f(T742))) → T175_IN_G(T742)
T175_IN_G(T270) → U11_G(T270, p183_in_g(T270))
T175_IN_G(T270) → P183_IN_G(T270)
P183_IN_G(T270) → U8_G(T270, q46_in_g(f(T270)))
P183_IN_G(T270) → Q46_IN_G(f(T270))
Q46_IN_G(f(f(T75))) → U7_G(T75, p63_in_g(T75))
Q46_IN_G(f(f(T75))) → P63_IN_G(T75)
P63_IN_G(T75) → U50_G(T75, r64_in_g(T75))
P63_IN_G(T75) → R64_IN_G(T75)
R64_IN_G(T89) → U71_G(T89, p74_in_g(T89))
R64_IN_G(T89) → P74_IN_G(T89)
P74_IN_G(T89) → U42_G(T89, q75_in_g(T89))
P74_IN_G(T89) → Q75_IN_G(T89)
Q75_IN_G(f(f(T113))) → U72_G(T113, p92_in_g(T113))
Q75_IN_G(f(f(T113))) → P92_IN_G(T113)
P92_IN_G(T113) → U37_G(T113, r93_in_g(T113))
P92_IN_G(T113) → R93_IN_G(T113)
R93_IN_G(T127) → U73_G(T127, p103_in_g(T127))
R93_IN_G(T127) → P103_IN_G(T127)
P103_IN_G(T127) → U32_G(T127, q104_in_g(T127))
P103_IN_G(T127) → Q104_IN_G(T127)
Q104_IN_G(f(f(T151))) → U74_G(T151, p121_in_g(T151))
Q104_IN_G(f(f(T151))) → P121_IN_G(T151)
P121_IN_G(T151) → U27_G(T151, r122_in_g(T151))
P121_IN_G(T151) → R122_IN_G(T151)
R122_IN_G(T165) → U75_G(T165, p132_in_g(T165))
R122_IN_G(T165) → P132_IN_G(T165)
P132_IN_G(T165) → U22_G(T165, q133_in_g(T165))
P132_IN_G(T165) → Q133_IN_G(T165)
Q133_IN_G(f(f(T179))) → U76_G(T179, p144_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
Q133_IN_G(f(f(T179))) → P144_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
U22_G(T165, q133_out_g(T165)) → U23_G(T165, r134_in_g(T165))
U22_G(T165, q133_out_g(T165)) → R134_IN_G(T165)
R134_IN_G(f(f(T356))) → U17_G(T356, q214_in_g(f(T356)))
R134_IN_G(f(f(T356))) → Q214_IN_G(f(T356))
U17_G(T356, q214_out_g(f(T356))) → U18_G(T356, p162_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
U17_G(T356, q214_out_g(f(T356))) → P162_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
P162_IN_GG(T254, f(T255)) → U3_GG(T254, T255, q1_in_gg(f(T254), f(T255)))
P162_IN_GG(T254, f(T255)) → Q1_IN_GG(f(T254), f(T255))
U3_GG(T254, T255, q1_out_gg(f(T254), f(T255))) → U4_GG(T254, T255, p162_in_gg(T254, T255))
U3_GG(T254, T255, q1_out_gg(f(T254), f(T255))) → P162_IN_GG(T254, T255)
P162_IN_GG(T260, f(T260)) → U5_GG(T260, q1_in_gg(f(T260), f(T260)))
P162_IN_GG(T260, f(T260)) → Q1_IN_GG(f(T260), f(T260))
U5_GG(T260, q1_out_gg(f(T260), f(T260))) → U6_GG(T260, t175_in_g(T260))
U5_GG(T260, q1_out_gg(f(T260), f(T260))) → T175_IN_G(T260)
U27_G(T151, r122_out_g(T151)) → U28_G(T151, p123_in_g(T151))
U27_G(T151, r122_out_g(T151)) → P123_IN_G(T151)
P123_IN_G(f(f(T389))) → U20_G(T389, r134_in_g(f(f(T389))))
P123_IN_G(f(f(T389))) → R134_IN_G(f(f(T389)))
U20_G(T389, r134_out_g(f(f(T389)))) → U21_G(T389, p151_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
U20_G(T389, r134_out_g(f(f(T389)))) → P151_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
P151_IN_GG(T303, f(T304)) → U13_GG(T303, T304, r152_in_gg(T303, f(T304)))
P151_IN_GG(T303, f(T304)) → R152_IN_GG(T303, f(T304))
R152_IN_GG(T285, T285) → U78_GG(T285, t175_in_g(T285))
R152_IN_GG(T285, T285) → T175_IN_G(T285)
U13_GG(T303, T304, r152_out_gg(T303, f(T304))) → U14_GG(T303, T304, p151_in_gg(T303, T304))
U13_GG(T303, T304, r152_out_gg(T303, f(T304))) → P151_IN_GG(T303, T304)
U32_G(T127, q104_out_g(T127)) → U33_G(T127, r105_in_g(T127))
U32_G(T127, q104_out_g(T127)) → R105_IN_G(T127)
R105_IN_G(f(f(T440))) → U25_G(T440, q269_in_g(f(T440)))
R105_IN_G(f(f(T440))) → Q269_IN_G(f(T440))
U25_G(T440, q269_out_g(f(T440))) → U26_G(T440, p132_in_g(T440))
U25_G(T440, q269_out_g(f(T440))) → P132_IN_G(T440)
U37_G(T113, r93_out_g(T113)) → U38_G(T113, p94_in_g(T113))
U37_G(T113, r93_out_g(T113)) → P94_IN_G(T113)
P94_IN_G(f(f(T470))) → U30_G(T470, r105_in_g(f(f(T470))))
P94_IN_G(f(f(T470))) → R105_IN_G(f(f(T470)))
U30_G(T470, r105_out_g(f(f(T470)))) → U31_G(T470, p121_in_g(T470))
U30_G(T470, r105_out_g(f(f(T470)))) → P121_IN_G(T470)
U42_G(T89, q75_out_g(T89)) → U43_G(T89, r76_in_g(T89))
U42_G(T89, q75_out_g(T89)) → R76_IN_G(T89)
R76_IN_G(f(f(T518))) → U35_G(T518, q321_in_g(f(T518)))
R76_IN_G(f(f(T518))) → Q321_IN_G(f(T518))
U35_G(T518, q321_out_g(f(T518))) → U36_G(T518, p103_in_g(T518))
U35_G(T518, q321_out_g(f(T518))) → P103_IN_G(T518)
U50_G(T75, r64_out_g(T75)) → U51_G(T75, p65_in_g(T75))
U50_G(T75, r64_out_g(T75)) → P65_IN_G(T75)
P65_IN_G(f(f(T548))) → U40_G(T548, r76_in_g(f(f(T548))))
P65_IN_G(f(f(T548))) → R76_IN_G(f(f(T548)))
U40_G(T548, r76_out_g(f(f(T548)))) → U41_G(T548, p92_in_g(T548))
U40_G(T548, r76_out_g(f(f(T548)))) → P92_IN_G(T548)
P183_IN_G(f(T281)) → U9_G(T281, q46_in_g(f(f(T281))))
P183_IN_G(f(T281)) → Q46_IN_G(f(f(T281)))
U9_G(T281, q46_out_g(f(f(T281)))) → U10_G(T281, p183_in_g(T281))
U9_G(T281, q46_out_g(f(f(T281)))) → P183_IN_G(T281)
R444_IN_GG(f(T746), T746) → U84_GG(T746, t175_in_g(T746))
R444_IN_GG(f(T746), T746) → T175_IN_G(T746)
P443_IN_GG(a, b) → U62_GG(r444_in_gg(a, b))
P443_IN_GG(a, b) → R444_IN_GG(a, b)
P443_IN_GG(T764, f(T765)) → U63_GG(T764, T765, r444_in_gg(T764, f(T765)))
P443_IN_GG(T764, f(T765)) → R444_IN_GG(T764, f(T765))
U63_GG(T764, T765, r444_out_gg(T764, f(T765))) → U64_GG(T764, T765, p443_in_gg(T764, T765))
U63_GG(T764, T765, r444_out_gg(T764, f(T765))) → P443_IN_GG(T764, T765)
R47_IN_G(f(f(T596))) → U47_G(T596, q373_in_g(f(T596)))
R47_IN_G(f(f(T596))) → Q373_IN_G(f(T596))
U47_G(T596, q373_out_g(f(T596))) → U48_G(T596, p74_in_g(T596))
U47_G(T596, q373_out_g(f(T596))) → P74_IN_G(T596)
R47_IN_G(f(T601)) → U49_G(T601, t175_in_g(T601))
R47_IN_G(f(T601)) → T175_IN_G(T601)
P407_IN_G(f(f(T642))) → U53_G(T642, r47_in_g(f(f(T642))))
P407_IN_G(f(f(T642))) → R47_IN_G(f(f(T642)))
U53_G(T642, r47_out_g(f(f(T642)))) → U54_G(T642, p63_in_g(T642))
U53_G(T642, r47_out_g(f(f(T642)))) → P63_IN_G(T642)
U69_G(T36, q16_out_g(T36)) → U70_G(T36, r36_in_g(T36))
U69_G(T36, q16_out_g(T36)) → R36_IN_G(T36)
R36_IN_G(T51) → U44_G(T51, q46_in_g(T51))
R36_IN_G(T51) → Q46_IN_G(T51)
U44_G(T51, q46_out_g(T51)) → U45_G(T51, r47_in_g(T51))
U44_G(T51, q46_out_g(T51)) → R47_IN_G(T51)
P15_IN_G(T614) → U66_G(T614, r24_in_g(T614))
U66_G(T614, r24_out_g(T614)) → U67_G(T614, r36_in_g(T614))
U66_G(T614, r24_out_g(T614)) → R36_IN_G(T614)
U67_G(T614, r36_out_g(T614)) → U68_G(T614, p407_in_g(T614))
U67_G(T614, r36_out_g(T614)) → P407_IN_G(T614)
U85_GG(T11, p15_out_g(T11)) → U86_GG(T11, q16_in_g(T11))
U85_GG(T11, p15_out_g(T11)) → Q16_IN_G(T11)
q1_in_gg(a, b) → q1_out_gg(a, b)
q1_in_gg(T11, f(f(T11))) → U85_gg(T11, p15_in_g(T11))
p15_in_g(T22) → U65_g(T22, r24_in_g(T22))
r24_in_g(T36) → U69_g(T36, q16_in_g(T36))
q16_in_g(f(T656)) → U1_g(T656, p407_in_g(f(T656)))
p407_in_g(f(T628)) → U52_g(T628, r47_in_g(f(T628)))
r47_in_g(f(T565)) → U46_g(T565, q373_in_g(T565))
q373_in_g(f(f(T579))) → U82_g(T579, p65_in_g(f(T579)))
p65_in_g(f(T534)) → U39_g(T534, r76_in_g(f(T534)))
r76_in_g(f(T487)) → U34_g(T487, q321_in_g(T487))
q321_in_g(f(f(T501))) → U81_g(T501, p94_in_g(f(T501)))
p94_in_g(f(T456)) → U29_g(T456, r105_in_g(f(T456)))
r105_in_g(f(T409)) → U24_g(T409, q269_in_g(T409))
q269_in_g(f(f(T423))) → U80_g(T423, p123_in_g(f(T423)))
p123_in_g(f(T375)) → U19_g(T375, r134_in_g(f(T375)))
r134_in_g(f(T322)) → U16_g(T322, q214_in_g(T322))
q214_in_g(f(f(T336))) → U79_g(T336, p144_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
p144_in_gg(T200, T201) → U15_gg(T200, T201, p151_in_gg(T200, T201))
p151_in_gg(T200, T201) → U12_gg(T200, T201, r152_in_gg(T200, T201))
r152_in_gg(T228, T229) → U77_gg(T228, T229, p162_in_gg(T228, T229))
p162_in_gg(T228, T229) → U2_gg(T228, T229, q1_in_gg(f(T228), T229))
q1_in_gg(T682, f(f(T683))) → U87_gg(T682, T683, p443_in_gg(T682, T683))
p443_in_gg(T682, T683) → U61_gg(T682, T683, r444_in_gg(T682, T683))
r444_in_gg(T710, T711) → U83_gg(T710, T711, p454_in_gg(T710, T711))
p454_in_gg(T710, T711) → U55_gg(T710, T711, q1_in_gg(T710, T711))
U55_gg(T710, T711, q1_out_gg(T710, T711)) → p454_out_gg(T710, T711)
p454_in_gg(a, b) → U56_gg(q1_in_gg(a, b))
U56_gg(q1_out_gg(a, b)) → p454_out_gg(a, b)
p454_in_gg(T736, f(T737)) → U57_gg(T736, T737, q1_in_gg(T736, f(T737)))
U57_gg(T736, T737, q1_out_gg(T736, f(T737))) → U58_gg(T736, T737, p454_in_gg(T736, T737))
p454_in_gg(f(T742), f(T742)) → U59_gg(T742, q1_in_gg(f(T742), f(T742)))
U59_gg(T742, q1_out_gg(f(T742), f(T742))) → U60_gg(T742, t175_in_g(T742))
t175_in_g(T270) → U11_g(T270, p183_in_g(T270))
p183_in_g(T270) → U8_g(T270, q46_in_g(f(T270)))
q46_in_g(f(f(T75))) → U7_g(T75, p63_in_g(T75))
p63_in_g(T75) → U50_g(T75, r64_in_g(T75))
r64_in_g(T89) → U71_g(T89, p74_in_g(T89))
p74_in_g(T89) → U42_g(T89, q75_in_g(T89))
q75_in_g(f(f(T113))) → U72_g(T113, p92_in_g(T113))
p92_in_g(T113) → U37_g(T113, r93_in_g(T113))
r93_in_g(T127) → U73_g(T127, p103_in_g(T127))
p103_in_g(T127) → U32_g(T127, q104_in_g(T127))
q104_in_g(f(f(T151))) → U74_g(T151, p121_in_g(T151))
p121_in_g(T151) → U27_g(T151, r122_in_g(T151))
r122_in_g(T165) → U75_g(T165, p132_in_g(T165))
p132_in_g(T165) → U22_g(T165, q133_in_g(T165))
q133_in_g(f(f(T179))) → U76_g(T179, p144_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(T179, p144_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → q133_out_g(f(f(T179)))
U22_g(T165, q133_out_g(T165)) → p132_out_g(T165)
U22_g(T165, q133_out_g(T165)) → U23_g(T165, r134_in_g(T165))
r134_in_g(f(f(T356))) → U17_g(T356, q214_in_g(f(T356)))
U17_g(T356, q214_out_g(f(T356))) → U18_g(T356, p162_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
p162_in_gg(T254, f(T255)) → U3_gg(T254, T255, q1_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, q1_out_gg(f(T254), f(T255))) → U4_gg(T254, T255, p162_in_gg(T254, T255))
p162_in_gg(T260, f(T260)) → U5_gg(T260, q1_in_gg(f(T260), f(T260)))
U5_gg(T260, q1_out_gg(f(T260), f(T260))) → U6_gg(T260, t175_in_g(T260))
U6_gg(T260, t175_out_g(T260)) → p162_out_gg(T260, f(T260))
U4_gg(T254, T255, p162_out_gg(T254, T255)) → p162_out_gg(T254, f(T255))
U18_g(T356, p162_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → r134_out_g(f(f(T356)))
U23_g(T165, r134_out_g(T165)) → p132_out_g(T165)
U75_g(T165, p132_out_g(T165)) → r122_out_g(T165)
U27_g(T151, r122_out_g(T151)) → p121_out_g(T151)
U27_g(T151, r122_out_g(T151)) → U28_g(T151, p123_in_g(T151))
p123_in_g(f(f(T389))) → U20_g(T389, r134_in_g(f(f(T389))))
U20_g(T389, r134_out_g(f(f(T389)))) → U21_g(T389, p151_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
p151_in_gg(T303, f(T304)) → U13_gg(T303, T304, r152_in_gg(T303, f(T304)))
r152_in_gg(T285, T285) → U78_gg(T285, t175_in_g(T285))
U78_gg(T285, t175_out_g(T285)) → r152_out_gg(T285, T285)
U13_gg(T303, T304, r152_out_gg(T303, f(T304))) → U14_gg(T303, T304, p151_in_gg(T303, T304))
U14_gg(T303, T304, p151_out_gg(T303, T304)) → p151_out_gg(T303, f(T304))
U21_g(T389, p151_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → p123_out_g(f(f(T389)))
U28_g(T151, p123_out_g(T151)) → p121_out_g(T151)
U74_g(T151, p121_out_g(T151)) → q104_out_g(f(f(T151)))
U32_g(T127, q104_out_g(T127)) → p103_out_g(T127)
U32_g(T127, q104_out_g(T127)) → U33_g(T127, r105_in_g(T127))
r105_in_g(f(f(T440))) → U25_g(T440, q269_in_g(f(T440)))
U25_g(T440, q269_out_g(f(T440))) → U26_g(T440, p132_in_g(T440))
U26_g(T440, p132_out_g(T440)) → r105_out_g(f(f(T440)))
U33_g(T127, r105_out_g(T127)) → p103_out_g(T127)
U73_g(T127, p103_out_g(T127)) → r93_out_g(T127)
U37_g(T113, r93_out_g(T113)) → p92_out_g(T113)
U37_g(T113, r93_out_g(T113)) → U38_g(T113, p94_in_g(T113))
p94_in_g(f(f(T470))) → U30_g(T470, r105_in_g(f(f(T470))))
U30_g(T470, r105_out_g(f(f(T470)))) → U31_g(T470, p121_in_g(T470))
U31_g(T470, p121_out_g(T470)) → p94_out_g(f(f(T470)))
U38_g(T113, p94_out_g(T113)) → p92_out_g(T113)
U72_g(T113, p92_out_g(T113)) → q75_out_g(f(f(T113)))
U42_g(T89, q75_out_g(T89)) → p74_out_g(T89)
U42_g(T89, q75_out_g(T89)) → U43_g(T89, r76_in_g(T89))
r76_in_g(f(f(T518))) → U35_g(T518, q321_in_g(f(T518)))
U35_g(T518, q321_out_g(f(T518))) → U36_g(T518, p103_in_g(T518))
U36_g(T518, p103_out_g(T518)) → r76_out_g(f(f(T518)))
U43_g(T89, r76_out_g(T89)) → p74_out_g(T89)
U71_g(T89, p74_out_g(T89)) → r64_out_g(T89)
U50_g(T75, r64_out_g(T75)) → p63_out_g(T75)
U50_g(T75, r64_out_g(T75)) → U51_g(T75, p65_in_g(T75))
p65_in_g(f(f(T548))) → U40_g(T548, r76_in_g(f(f(T548))))
U40_g(T548, r76_out_g(f(f(T548)))) → U41_g(T548, p92_in_g(T548))
U41_g(T548, p92_out_g(T548)) → p65_out_g(f(f(T548)))
U51_g(T75, p65_out_g(T75)) → p63_out_g(T75)
U7_g(T75, p63_out_g(T75)) → q46_out_g(f(f(T75)))
U8_g(T270, q46_out_g(f(T270))) → p183_out_g(T270)
p183_in_g(f(T281)) → U9_g(T281, q46_in_g(f(f(T281))))
U9_g(T281, q46_out_g(f(f(T281)))) → U10_g(T281, p183_in_g(T281))
U10_g(T281, p183_out_g(T281)) → p183_out_g(f(T281))
U11_g(T270, p183_out_g(T270)) → t175_out_g(T270)
U60_gg(T742, t175_out_g(T742)) → p454_out_gg(f(T742), f(T742))
U58_gg(T736, T737, p454_out_gg(T736, T737)) → p454_out_gg(T736, f(T737))
U83_gg(T710, T711, p454_out_gg(T710, T711)) → r444_out_gg(T710, T711)
r444_in_gg(f(T746), T746) → U84_gg(T746, t175_in_g(T746))
U84_gg(T746, t175_out_g(T746)) → r444_out_gg(f(T746), T746)
U61_gg(T682, T683, r444_out_gg(T682, T683)) → p443_out_gg(T682, T683)
p443_in_gg(a, b) → U62_gg(r444_in_gg(a, b))
U62_gg(r444_out_gg(a, b)) → p443_out_gg(a, b)
p443_in_gg(T764, f(T765)) → U63_gg(T764, T765, r444_in_gg(T764, f(T765)))
U63_gg(T764, T765, r444_out_gg(T764, f(T765))) → U64_gg(T764, T765, p443_in_gg(T764, T765))
U64_gg(T764, T765, p443_out_gg(T764, T765)) → p443_out_gg(T764, f(T765))
U87_gg(T682, T683, p443_out_gg(T682, T683)) → q1_out_gg(T682, f(f(T683)))
U2_gg(T228, T229, q1_out_gg(f(T228), T229)) → p162_out_gg(T228, T229)
U77_gg(T228, T229, p162_out_gg(T228, T229)) → r152_out_gg(T228, T229)
U12_gg(T200, T201, r152_out_gg(T200, T201)) → p151_out_gg(T200, T201)
U15_gg(T200, T201, p151_out_gg(T200, T201)) → p144_out_gg(T200, T201)
U79_g(T336, p144_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → q214_out_g(f(f(T336)))
U16_g(T322, q214_out_g(T322)) → r134_out_g(f(T322))
U19_g(T375, r134_out_g(f(T375))) → p123_out_g(f(T375))
U80_g(T423, p123_out_g(f(T423))) → q269_out_g(f(f(T423)))
U24_g(T409, q269_out_g(T409)) → r105_out_g(f(T409))
U29_g(T456, r105_out_g(f(T456))) → p94_out_g(f(T456))
U81_g(T501, p94_out_g(f(T501))) → q321_out_g(f(f(T501)))
U34_g(T487, q321_out_g(T487)) → r76_out_g(f(T487))
U39_g(T534, r76_out_g(f(T534))) → p65_out_g(f(T534))
U82_g(T579, p65_out_g(f(T579))) → q373_out_g(f(f(T579)))
U46_g(T565, q373_out_g(T565)) → r47_out_g(f(T565))
r47_in_g(f(f(T596))) → U47_g(T596, q373_in_g(f(T596)))
U47_g(T596, q373_out_g(f(T596))) → U48_g(T596, p74_in_g(T596))
U48_g(T596, p74_out_g(T596)) → r47_out_g(f(f(T596)))
r47_in_g(f(T601)) → U49_g(T601, t175_in_g(T601))
U49_g(T601, t175_out_g(T601)) → r47_out_g(f(T601))
U52_g(T628, r47_out_g(f(T628))) → p407_out_g(f(T628))
p407_in_g(f(f(T642))) → U53_g(T642, r47_in_g(f(f(T642))))
U53_g(T642, r47_out_g(f(f(T642)))) → U54_g(T642, p63_in_g(T642))
U54_g(T642, p63_out_g(T642)) → p407_out_g(f(f(T642)))
U1_g(T656, p407_out_g(f(T656))) → q16_out_g(f(T656))
U69_g(T36, q16_out_g(T36)) → r24_out_g(T36)
U69_g(T36, q16_out_g(T36)) → U70_g(T36, r36_in_g(T36))
r36_in_g(T51) → U44_g(T51, q46_in_g(T51))
U44_g(T51, q46_out_g(T51)) → r36_out_g(T51)
U44_g(T51, q46_out_g(T51)) → U45_g(T51, r47_in_g(T51))
U45_g(T51, r47_out_g(T51)) → r36_out_g(T51)
U70_g(T36, r36_out_g(T36)) → r24_out_g(T36)
U65_g(T22, r24_out_g(T22)) → p15_out_g(T22)
p15_in_g(T614) → U66_g(T614, r24_in_g(T614))
U66_g(T614, r24_out_g(T614)) → U67_g(T614, r36_in_g(T614))
U67_g(T614, r36_out_g(T614)) → p15_out_g(T614)
U67_g(T614, r36_out_g(T614)) → U68_g(T614, p407_in_g(T614))
U68_g(T614, p407_out_g(T614)) → p15_out_g(T614)
U85_gg(T11, p15_out_g(T11)) → q1_out_gg(T11, f(f(T11)))
U85_gg(T11, p15_out_g(T11)) → U86_gg(T11, q16_in_g(T11))
U86_gg(T11, q16_out_g(T11)) → q1_out_gg(T11, f(f(T11)))
Q1_IN_GG(T11, f(f(T11))) → U85_GG(T11, p15_in_g(T11))
Q1_IN_GG(T11, f(f(T11))) → P15_IN_G(T11)
P15_IN_G(T22) → U65_G(T22, r24_in_g(T22))
P15_IN_G(T22) → R24_IN_G(T22)
R24_IN_G(T36) → U69_G(T36, q16_in_g(T36))
R24_IN_G(T36) → Q16_IN_G(T36)
Q16_IN_G(f(T656)) → U1_G(T656, p407_in_g(f(T656)))
Q16_IN_G(f(T656)) → P407_IN_G(f(T656))
P407_IN_G(f(T628)) → U52_G(T628, r47_in_g(f(T628)))
P407_IN_G(f(T628)) → R47_IN_G(f(T628))
R47_IN_G(f(T565)) → U46_G(T565, q373_in_g(T565))
R47_IN_G(f(T565)) → Q373_IN_G(T565)
Q373_IN_G(f(f(T579))) → U82_G(T579, p65_in_g(f(T579)))
Q373_IN_G(f(f(T579))) → P65_IN_G(f(T579))
P65_IN_G(f(T534)) → U39_G(T534, r76_in_g(f(T534)))
P65_IN_G(f(T534)) → R76_IN_G(f(T534))
R76_IN_G(f(T487)) → U34_G(T487, q321_in_g(T487))
R76_IN_G(f(T487)) → Q321_IN_G(T487)
Q321_IN_G(f(f(T501))) → U81_G(T501, p94_in_g(f(T501)))
Q321_IN_G(f(f(T501))) → P94_IN_G(f(T501))
P94_IN_G(f(T456)) → U29_G(T456, r105_in_g(f(T456)))
P94_IN_G(f(T456)) → R105_IN_G(f(T456))
R105_IN_G(f(T409)) → U24_G(T409, q269_in_g(T409))
R105_IN_G(f(T409)) → Q269_IN_G(T409)
Q269_IN_G(f(f(T423))) → U80_G(T423, p123_in_g(f(T423)))
Q269_IN_G(f(f(T423))) → P123_IN_G(f(T423))
P123_IN_G(f(T375)) → U19_G(T375, r134_in_g(f(T375)))
P123_IN_G(f(T375)) → R134_IN_G(f(T375))
R134_IN_G(f(T322)) → U16_G(T322, q214_in_g(T322))
R134_IN_G(f(T322)) → Q214_IN_G(T322)
Q214_IN_G(f(f(T336))) → U79_G(T336, p144_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
Q214_IN_G(f(f(T336))) → P144_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
P144_IN_GG(T200, T201) → U15_GG(T200, T201, p151_in_gg(T200, T201))
P144_IN_GG(T200, T201) → P151_IN_GG(T200, T201)
P151_IN_GG(T200, T201) → U12_GG(T200, T201, r152_in_gg(T200, T201))
P151_IN_GG(T200, T201) → R152_IN_GG(T200, T201)
R152_IN_GG(T228, T229) → U77_GG(T228, T229, p162_in_gg(T228, T229))
R152_IN_GG(T228, T229) → P162_IN_GG(T228, T229)
P162_IN_GG(T228, T229) → U2_GG(T228, T229, q1_in_gg(f(T228), T229))
P162_IN_GG(T228, T229) → Q1_IN_GG(f(T228), T229)
Q1_IN_GG(T682, f(f(T683))) → U87_GG(T682, T683, p443_in_gg(T682, T683))
Q1_IN_GG(T682, f(f(T683))) → P443_IN_GG(T682, T683)
P443_IN_GG(T682, T683) → U61_GG(T682, T683, r444_in_gg(T682, T683))
P443_IN_GG(T682, T683) → R444_IN_GG(T682, T683)
R444_IN_GG(T710, T711) → U83_GG(T710, T711, p454_in_gg(T710, T711))
R444_IN_GG(T710, T711) → P454_IN_GG(T710, T711)
P454_IN_GG(T710, T711) → U55_GG(T710, T711, q1_in_gg(T710, T711))
P454_IN_GG(T710, T711) → Q1_IN_GG(T710, T711)
P454_IN_GG(a, b) → U56_GG(q1_in_gg(a, b))
P454_IN_GG(a, b) → Q1_IN_GG(a, b)
P454_IN_GG(T736, f(T737)) → U57_GG(T736, T737, q1_in_gg(T736, f(T737)))
P454_IN_GG(T736, f(T737)) → Q1_IN_GG(T736, f(T737))
U57_GG(T736, T737, q1_out_gg(T736, f(T737))) → U58_GG(T736, T737, p454_in_gg(T736, T737))
U57_GG(T736, T737, q1_out_gg(T736, f(T737))) → P454_IN_GG(T736, T737)
P454_IN_GG(f(T742), f(T742)) → U59_GG(T742, q1_in_gg(f(T742), f(T742)))
P454_IN_GG(f(T742), f(T742)) → Q1_IN_GG(f(T742), f(T742))
U59_GG(T742, q1_out_gg(f(T742), f(T742))) → U60_GG(T742, t175_in_g(T742))
U59_GG(T742, q1_out_gg(f(T742), f(T742))) → T175_IN_G(T742)
T175_IN_G(T270) → U11_G(T270, p183_in_g(T270))
T175_IN_G(T270) → P183_IN_G(T270)
P183_IN_G(T270) → U8_G(T270, q46_in_g(f(T270)))
P183_IN_G(T270) → Q46_IN_G(f(T270))
Q46_IN_G(f(f(T75))) → U7_G(T75, p63_in_g(T75))
Q46_IN_G(f(f(T75))) → P63_IN_G(T75)
P63_IN_G(T75) → U50_G(T75, r64_in_g(T75))
P63_IN_G(T75) → R64_IN_G(T75)
R64_IN_G(T89) → U71_G(T89, p74_in_g(T89))
R64_IN_G(T89) → P74_IN_G(T89)
P74_IN_G(T89) → U42_G(T89, q75_in_g(T89))
P74_IN_G(T89) → Q75_IN_G(T89)
Q75_IN_G(f(f(T113))) → U72_G(T113, p92_in_g(T113))
Q75_IN_G(f(f(T113))) → P92_IN_G(T113)
P92_IN_G(T113) → U37_G(T113, r93_in_g(T113))
P92_IN_G(T113) → R93_IN_G(T113)
R93_IN_G(T127) → U73_G(T127, p103_in_g(T127))
R93_IN_G(T127) → P103_IN_G(T127)
P103_IN_G(T127) → U32_G(T127, q104_in_g(T127))
P103_IN_G(T127) → Q104_IN_G(T127)
Q104_IN_G(f(f(T151))) → U74_G(T151, p121_in_g(T151))
Q104_IN_G(f(f(T151))) → P121_IN_G(T151)
P121_IN_G(T151) → U27_G(T151, r122_in_g(T151))
P121_IN_G(T151) → R122_IN_G(T151)
R122_IN_G(T165) → U75_G(T165, p132_in_g(T165))
R122_IN_G(T165) → P132_IN_G(T165)
P132_IN_G(T165) → U22_G(T165, q133_in_g(T165))
P132_IN_G(T165) → Q133_IN_G(T165)
Q133_IN_G(f(f(T179))) → U76_G(T179, p144_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
Q133_IN_G(f(f(T179))) → P144_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
U22_G(T165, q133_out_g(T165)) → U23_G(T165, r134_in_g(T165))
U22_G(T165, q133_out_g(T165)) → R134_IN_G(T165)
R134_IN_G(f(f(T356))) → U17_G(T356, q214_in_g(f(T356)))
R134_IN_G(f(f(T356))) → Q214_IN_G(f(T356))
U17_G(T356, q214_out_g(f(T356))) → U18_G(T356, p162_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
U17_G(T356, q214_out_g(f(T356))) → P162_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
P162_IN_GG(T254, f(T255)) → U3_GG(T254, T255, q1_in_gg(f(T254), f(T255)))
P162_IN_GG(T254, f(T255)) → Q1_IN_GG(f(T254), f(T255))
U3_GG(T254, T255, q1_out_gg(f(T254), f(T255))) → U4_GG(T254, T255, p162_in_gg(T254, T255))
U3_GG(T254, T255, q1_out_gg(f(T254), f(T255))) → P162_IN_GG(T254, T255)
P162_IN_GG(T260, f(T260)) → U5_GG(T260, q1_in_gg(f(T260), f(T260)))
P162_IN_GG(T260, f(T260)) → Q1_IN_GG(f(T260), f(T260))
U5_GG(T260, q1_out_gg(f(T260), f(T260))) → U6_GG(T260, t175_in_g(T260))
U5_GG(T260, q1_out_gg(f(T260), f(T260))) → T175_IN_G(T260)
U27_G(T151, r122_out_g(T151)) → U28_G(T151, p123_in_g(T151))
U27_G(T151, r122_out_g(T151)) → P123_IN_G(T151)
P123_IN_G(f(f(T389))) → U20_G(T389, r134_in_g(f(f(T389))))
P123_IN_G(f(f(T389))) → R134_IN_G(f(f(T389)))
U20_G(T389, r134_out_g(f(f(T389)))) → U21_G(T389, p151_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
U20_G(T389, r134_out_g(f(f(T389)))) → P151_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
P151_IN_GG(T303, f(T304)) → U13_GG(T303, T304, r152_in_gg(T303, f(T304)))
P151_IN_GG(T303, f(T304)) → R152_IN_GG(T303, f(T304))
R152_IN_GG(T285, T285) → U78_GG(T285, t175_in_g(T285))
R152_IN_GG(T285, T285) → T175_IN_G(T285)
U13_GG(T303, T304, r152_out_gg(T303, f(T304))) → U14_GG(T303, T304, p151_in_gg(T303, T304))
U13_GG(T303, T304, r152_out_gg(T303, f(T304))) → P151_IN_GG(T303, T304)
U32_G(T127, q104_out_g(T127)) → U33_G(T127, r105_in_g(T127))
U32_G(T127, q104_out_g(T127)) → R105_IN_G(T127)
R105_IN_G(f(f(T440))) → U25_G(T440, q269_in_g(f(T440)))
R105_IN_G(f(f(T440))) → Q269_IN_G(f(T440))
U25_G(T440, q269_out_g(f(T440))) → U26_G(T440, p132_in_g(T440))
U25_G(T440, q269_out_g(f(T440))) → P132_IN_G(T440)
U37_G(T113, r93_out_g(T113)) → U38_G(T113, p94_in_g(T113))
U37_G(T113, r93_out_g(T113)) → P94_IN_G(T113)
P94_IN_G(f(f(T470))) → U30_G(T470, r105_in_g(f(f(T470))))
P94_IN_G(f(f(T470))) → R105_IN_G(f(f(T470)))
U30_G(T470, r105_out_g(f(f(T470)))) → U31_G(T470, p121_in_g(T470))
U30_G(T470, r105_out_g(f(f(T470)))) → P121_IN_G(T470)
U42_G(T89, q75_out_g(T89)) → U43_G(T89, r76_in_g(T89))
U42_G(T89, q75_out_g(T89)) → R76_IN_G(T89)
R76_IN_G(f(f(T518))) → U35_G(T518, q321_in_g(f(T518)))
R76_IN_G(f(f(T518))) → Q321_IN_G(f(T518))
U35_G(T518, q321_out_g(f(T518))) → U36_G(T518, p103_in_g(T518))
U35_G(T518, q321_out_g(f(T518))) → P103_IN_G(T518)
U50_G(T75, r64_out_g(T75)) → U51_G(T75, p65_in_g(T75))
U50_G(T75, r64_out_g(T75)) → P65_IN_G(T75)
P65_IN_G(f(f(T548))) → U40_G(T548, r76_in_g(f(f(T548))))
P65_IN_G(f(f(T548))) → R76_IN_G(f(f(T548)))
U40_G(T548, r76_out_g(f(f(T548)))) → U41_G(T548, p92_in_g(T548))
U40_G(T548, r76_out_g(f(f(T548)))) → P92_IN_G(T548)
P183_IN_G(f(T281)) → U9_G(T281, q46_in_g(f(f(T281))))
P183_IN_G(f(T281)) → Q46_IN_G(f(f(T281)))
U9_G(T281, q46_out_g(f(f(T281)))) → U10_G(T281, p183_in_g(T281))
U9_G(T281, q46_out_g(f(f(T281)))) → P183_IN_G(T281)
R444_IN_GG(f(T746), T746) → U84_GG(T746, t175_in_g(T746))
R444_IN_GG(f(T746), T746) → T175_IN_G(T746)
P443_IN_GG(a, b) → U62_GG(r444_in_gg(a, b))
P443_IN_GG(a, b) → R444_IN_GG(a, b)
P443_IN_GG(T764, f(T765)) → U63_GG(T764, T765, r444_in_gg(T764, f(T765)))
P443_IN_GG(T764, f(T765)) → R444_IN_GG(T764, f(T765))
U63_GG(T764, T765, r444_out_gg(T764, f(T765))) → U64_GG(T764, T765, p443_in_gg(T764, T765))
U63_GG(T764, T765, r444_out_gg(T764, f(T765))) → P443_IN_GG(T764, T765)
R47_IN_G(f(f(T596))) → U47_G(T596, q373_in_g(f(T596)))
R47_IN_G(f(f(T596))) → Q373_IN_G(f(T596))
U47_G(T596, q373_out_g(f(T596))) → U48_G(T596, p74_in_g(T596))
U47_G(T596, q373_out_g(f(T596))) → P74_IN_G(T596)
R47_IN_G(f(T601)) → U49_G(T601, t175_in_g(T601))
R47_IN_G(f(T601)) → T175_IN_G(T601)
P407_IN_G(f(f(T642))) → U53_G(T642, r47_in_g(f(f(T642))))
P407_IN_G(f(f(T642))) → R47_IN_G(f(f(T642)))
U53_G(T642, r47_out_g(f(f(T642)))) → U54_G(T642, p63_in_g(T642))
U53_G(T642, r47_out_g(f(f(T642)))) → P63_IN_G(T642)
U69_G(T36, q16_out_g(T36)) → U70_G(T36, r36_in_g(T36))
U69_G(T36, q16_out_g(T36)) → R36_IN_G(T36)
R36_IN_G(T51) → U44_G(T51, q46_in_g(T51))
R36_IN_G(T51) → Q46_IN_G(T51)
U44_G(T51, q46_out_g(T51)) → U45_G(T51, r47_in_g(T51))
U44_G(T51, q46_out_g(T51)) → R47_IN_G(T51)
P15_IN_G(T614) → U66_G(T614, r24_in_g(T614))
U66_G(T614, r24_out_g(T614)) → U67_G(T614, r36_in_g(T614))
U66_G(T614, r24_out_g(T614)) → R36_IN_G(T614)
U67_G(T614, r36_out_g(T614)) → U68_G(T614, p407_in_g(T614))
U67_G(T614, r36_out_g(T614)) → P407_IN_G(T614)
U85_GG(T11, p15_out_g(T11)) → U86_GG(T11, q16_in_g(T11))
U85_GG(T11, p15_out_g(T11)) → Q16_IN_G(T11)
q1_in_gg(a, b) → q1_out_gg(a, b)
q1_in_gg(T11, f(f(T11))) → U85_gg(T11, p15_in_g(T11))
p15_in_g(T22) → U65_g(T22, r24_in_g(T22))
r24_in_g(T36) → U69_g(T36, q16_in_g(T36))
q16_in_g(f(T656)) → U1_g(T656, p407_in_g(f(T656)))
p407_in_g(f(T628)) → U52_g(T628, r47_in_g(f(T628)))
r47_in_g(f(T565)) → U46_g(T565, q373_in_g(T565))
q373_in_g(f(f(T579))) → U82_g(T579, p65_in_g(f(T579)))
p65_in_g(f(T534)) → U39_g(T534, r76_in_g(f(T534)))
r76_in_g(f(T487)) → U34_g(T487, q321_in_g(T487))
q321_in_g(f(f(T501))) → U81_g(T501, p94_in_g(f(T501)))
p94_in_g(f(T456)) → U29_g(T456, r105_in_g(f(T456)))
r105_in_g(f(T409)) → U24_g(T409, q269_in_g(T409))
q269_in_g(f(f(T423))) → U80_g(T423, p123_in_g(f(T423)))
p123_in_g(f(T375)) → U19_g(T375, r134_in_g(f(T375)))
r134_in_g(f(T322)) → U16_g(T322, q214_in_g(T322))
q214_in_g(f(f(T336))) → U79_g(T336, p144_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
p144_in_gg(T200, T201) → U15_gg(T200, T201, p151_in_gg(T200, T201))
p151_in_gg(T200, T201) → U12_gg(T200, T201, r152_in_gg(T200, T201))
r152_in_gg(T228, T229) → U77_gg(T228, T229, p162_in_gg(T228, T229))
p162_in_gg(T228, T229) → U2_gg(T228, T229, q1_in_gg(f(T228), T229))
q1_in_gg(T682, f(f(T683))) → U87_gg(T682, T683, p443_in_gg(T682, T683))
p443_in_gg(T682, T683) → U61_gg(T682, T683, r444_in_gg(T682, T683))
r444_in_gg(T710, T711) → U83_gg(T710, T711, p454_in_gg(T710, T711))
p454_in_gg(T710, T711) → U55_gg(T710, T711, q1_in_gg(T710, T711))
U55_gg(T710, T711, q1_out_gg(T710, T711)) → p454_out_gg(T710, T711)
p454_in_gg(a, b) → U56_gg(q1_in_gg(a, b))
U56_gg(q1_out_gg(a, b)) → p454_out_gg(a, b)
p454_in_gg(T736, f(T737)) → U57_gg(T736, T737, q1_in_gg(T736, f(T737)))
U57_gg(T736, T737, q1_out_gg(T736, f(T737))) → U58_gg(T736, T737, p454_in_gg(T736, T737))
p454_in_gg(f(T742), f(T742)) → U59_gg(T742, q1_in_gg(f(T742), f(T742)))
U59_gg(T742, q1_out_gg(f(T742), f(T742))) → U60_gg(T742, t175_in_g(T742))
t175_in_g(T270) → U11_g(T270, p183_in_g(T270))
p183_in_g(T270) → U8_g(T270, q46_in_g(f(T270)))
q46_in_g(f(f(T75))) → U7_g(T75, p63_in_g(T75))
p63_in_g(T75) → U50_g(T75, r64_in_g(T75))
r64_in_g(T89) → U71_g(T89, p74_in_g(T89))
p74_in_g(T89) → U42_g(T89, q75_in_g(T89))
q75_in_g(f(f(T113))) → U72_g(T113, p92_in_g(T113))
p92_in_g(T113) → U37_g(T113, r93_in_g(T113))
r93_in_g(T127) → U73_g(T127, p103_in_g(T127))
p103_in_g(T127) → U32_g(T127, q104_in_g(T127))
q104_in_g(f(f(T151))) → U74_g(T151, p121_in_g(T151))
p121_in_g(T151) → U27_g(T151, r122_in_g(T151))
r122_in_g(T165) → U75_g(T165, p132_in_g(T165))
p132_in_g(T165) → U22_g(T165, q133_in_g(T165))
q133_in_g(f(f(T179))) → U76_g(T179, p144_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(T179, p144_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → q133_out_g(f(f(T179)))
U22_g(T165, q133_out_g(T165)) → p132_out_g(T165)
U22_g(T165, q133_out_g(T165)) → U23_g(T165, r134_in_g(T165))
r134_in_g(f(f(T356))) → U17_g(T356, q214_in_g(f(T356)))
U17_g(T356, q214_out_g(f(T356))) → U18_g(T356, p162_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
p162_in_gg(T254, f(T255)) → U3_gg(T254, T255, q1_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, q1_out_gg(f(T254), f(T255))) → U4_gg(T254, T255, p162_in_gg(T254, T255))
p162_in_gg(T260, f(T260)) → U5_gg(T260, q1_in_gg(f(T260), f(T260)))
U5_gg(T260, q1_out_gg(f(T260), f(T260))) → U6_gg(T260, t175_in_g(T260))
U6_gg(T260, t175_out_g(T260)) → p162_out_gg(T260, f(T260))
U4_gg(T254, T255, p162_out_gg(T254, T255)) → p162_out_gg(T254, f(T255))
U18_g(T356, p162_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → r134_out_g(f(f(T356)))
U23_g(T165, r134_out_g(T165)) → p132_out_g(T165)
U75_g(T165, p132_out_g(T165)) → r122_out_g(T165)
U27_g(T151, r122_out_g(T151)) → p121_out_g(T151)
U27_g(T151, r122_out_g(T151)) → U28_g(T151, p123_in_g(T151))
p123_in_g(f(f(T389))) → U20_g(T389, r134_in_g(f(f(T389))))
U20_g(T389, r134_out_g(f(f(T389)))) → U21_g(T389, p151_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
p151_in_gg(T303, f(T304)) → U13_gg(T303, T304, r152_in_gg(T303, f(T304)))
r152_in_gg(T285, T285) → U78_gg(T285, t175_in_g(T285))
U78_gg(T285, t175_out_g(T285)) → r152_out_gg(T285, T285)
U13_gg(T303, T304, r152_out_gg(T303, f(T304))) → U14_gg(T303, T304, p151_in_gg(T303, T304))
U14_gg(T303, T304, p151_out_gg(T303, T304)) → p151_out_gg(T303, f(T304))
U21_g(T389, p151_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → p123_out_g(f(f(T389)))
U28_g(T151, p123_out_g(T151)) → p121_out_g(T151)
U74_g(T151, p121_out_g(T151)) → q104_out_g(f(f(T151)))
U32_g(T127, q104_out_g(T127)) → p103_out_g(T127)
U32_g(T127, q104_out_g(T127)) → U33_g(T127, r105_in_g(T127))
r105_in_g(f(f(T440))) → U25_g(T440, q269_in_g(f(T440)))
U25_g(T440, q269_out_g(f(T440))) → U26_g(T440, p132_in_g(T440))
U26_g(T440, p132_out_g(T440)) → r105_out_g(f(f(T440)))
U33_g(T127, r105_out_g(T127)) → p103_out_g(T127)
U73_g(T127, p103_out_g(T127)) → r93_out_g(T127)
U37_g(T113, r93_out_g(T113)) → p92_out_g(T113)
U37_g(T113, r93_out_g(T113)) → U38_g(T113, p94_in_g(T113))
p94_in_g(f(f(T470))) → U30_g(T470, r105_in_g(f(f(T470))))
U30_g(T470, r105_out_g(f(f(T470)))) → U31_g(T470, p121_in_g(T470))
U31_g(T470, p121_out_g(T470)) → p94_out_g(f(f(T470)))
U38_g(T113, p94_out_g(T113)) → p92_out_g(T113)
U72_g(T113, p92_out_g(T113)) → q75_out_g(f(f(T113)))
U42_g(T89, q75_out_g(T89)) → p74_out_g(T89)
U42_g(T89, q75_out_g(T89)) → U43_g(T89, r76_in_g(T89))
r76_in_g(f(f(T518))) → U35_g(T518, q321_in_g(f(T518)))
U35_g(T518, q321_out_g(f(T518))) → U36_g(T518, p103_in_g(T518))
U36_g(T518, p103_out_g(T518)) → r76_out_g(f(f(T518)))
U43_g(T89, r76_out_g(T89)) → p74_out_g(T89)
U71_g(T89, p74_out_g(T89)) → r64_out_g(T89)
U50_g(T75, r64_out_g(T75)) → p63_out_g(T75)
U50_g(T75, r64_out_g(T75)) → U51_g(T75, p65_in_g(T75))
p65_in_g(f(f(T548))) → U40_g(T548, r76_in_g(f(f(T548))))
U40_g(T548, r76_out_g(f(f(T548)))) → U41_g(T548, p92_in_g(T548))
U41_g(T548, p92_out_g(T548)) → p65_out_g(f(f(T548)))
U51_g(T75, p65_out_g(T75)) → p63_out_g(T75)
U7_g(T75, p63_out_g(T75)) → q46_out_g(f(f(T75)))
U8_g(T270, q46_out_g(f(T270))) → p183_out_g(T270)
p183_in_g(f(T281)) → U9_g(T281, q46_in_g(f(f(T281))))
U9_g(T281, q46_out_g(f(f(T281)))) → U10_g(T281, p183_in_g(T281))
U10_g(T281, p183_out_g(T281)) → p183_out_g(f(T281))
U11_g(T270, p183_out_g(T270)) → t175_out_g(T270)
U60_gg(T742, t175_out_g(T742)) → p454_out_gg(f(T742), f(T742))
U58_gg(T736, T737, p454_out_gg(T736, T737)) → p454_out_gg(T736, f(T737))
U83_gg(T710, T711, p454_out_gg(T710, T711)) → r444_out_gg(T710, T711)
r444_in_gg(f(T746), T746) → U84_gg(T746, t175_in_g(T746))
U84_gg(T746, t175_out_g(T746)) → r444_out_gg(f(T746), T746)
U61_gg(T682, T683, r444_out_gg(T682, T683)) → p443_out_gg(T682, T683)
p443_in_gg(a, b) → U62_gg(r444_in_gg(a, b))
U62_gg(r444_out_gg(a, b)) → p443_out_gg(a, b)
p443_in_gg(T764, f(T765)) → U63_gg(T764, T765, r444_in_gg(T764, f(T765)))
U63_gg(T764, T765, r444_out_gg(T764, f(T765))) → U64_gg(T764, T765, p443_in_gg(T764, T765))
U64_gg(T764, T765, p443_out_gg(T764, T765)) → p443_out_gg(T764, f(T765))
U87_gg(T682, T683, p443_out_gg(T682, T683)) → q1_out_gg(T682, f(f(T683)))
U2_gg(T228, T229, q1_out_gg(f(T228), T229)) → p162_out_gg(T228, T229)
U77_gg(T228, T229, p162_out_gg(T228, T229)) → r152_out_gg(T228, T229)
U12_gg(T200, T201, r152_out_gg(T200, T201)) → p151_out_gg(T200, T201)
U15_gg(T200, T201, p151_out_gg(T200, T201)) → p144_out_gg(T200, T201)
U79_g(T336, p144_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → q214_out_g(f(f(T336)))
U16_g(T322, q214_out_g(T322)) → r134_out_g(f(T322))
U19_g(T375, r134_out_g(f(T375))) → p123_out_g(f(T375))
U80_g(T423, p123_out_g(f(T423))) → q269_out_g(f(f(T423)))
U24_g(T409, q269_out_g(T409)) → r105_out_g(f(T409))
U29_g(T456, r105_out_g(f(T456))) → p94_out_g(f(T456))
U81_g(T501, p94_out_g(f(T501))) → q321_out_g(f(f(T501)))
U34_g(T487, q321_out_g(T487)) → r76_out_g(f(T487))
U39_g(T534, r76_out_g(f(T534))) → p65_out_g(f(T534))
U82_g(T579, p65_out_g(f(T579))) → q373_out_g(f(f(T579)))
U46_g(T565, q373_out_g(T565)) → r47_out_g(f(T565))
r47_in_g(f(f(T596))) → U47_g(T596, q373_in_g(f(T596)))
U47_g(T596, q373_out_g(f(T596))) → U48_g(T596, p74_in_g(T596))
U48_g(T596, p74_out_g(T596)) → r47_out_g(f(f(T596)))
r47_in_g(f(T601)) → U49_g(T601, t175_in_g(T601))
U49_g(T601, t175_out_g(T601)) → r47_out_g(f(T601))
U52_g(T628, r47_out_g(f(T628))) → p407_out_g(f(T628))
p407_in_g(f(f(T642))) → U53_g(T642, r47_in_g(f(f(T642))))
U53_g(T642, r47_out_g(f(f(T642)))) → U54_g(T642, p63_in_g(T642))
U54_g(T642, p63_out_g(T642)) → p407_out_g(f(f(T642)))
U1_g(T656, p407_out_g(f(T656))) → q16_out_g(f(T656))
U69_g(T36, q16_out_g(T36)) → r24_out_g(T36)
U69_g(T36, q16_out_g(T36)) → U70_g(T36, r36_in_g(T36))
r36_in_g(T51) → U44_g(T51, q46_in_g(T51))
U44_g(T51, q46_out_g(T51)) → r36_out_g(T51)
U44_g(T51, q46_out_g(T51)) → U45_g(T51, r47_in_g(T51))
U45_g(T51, r47_out_g(T51)) → r36_out_g(T51)
U70_g(T36, r36_out_g(T36)) → r24_out_g(T36)
U65_g(T22, r24_out_g(T22)) → p15_out_g(T22)
p15_in_g(T614) → U66_g(T614, r24_in_g(T614))
U66_g(T614, r24_out_g(T614)) → U67_g(T614, r36_in_g(T614))
U67_g(T614, r36_out_g(T614)) → p15_out_g(T614)
U67_g(T614, r36_out_g(T614)) → U68_g(T614, p407_in_g(T614))
U68_g(T614, p407_out_g(T614)) → p15_out_g(T614)
U85_gg(T11, p15_out_g(T11)) → q1_out_gg(T11, f(f(T11)))
U85_gg(T11, p15_out_g(T11)) → U86_gg(T11, q16_in_g(T11))
U86_gg(T11, q16_out_g(T11)) → q1_out_gg(T11, f(f(T11)))
U85_GG(T11, p15_out_g(T11)) → Q16_IN_G(T11)
Q16_IN_G(f(T656)) → P407_IN_G(f(T656))
P407_IN_G(f(T628)) → R47_IN_G(f(T628))
R47_IN_G(f(T565)) → Q373_IN_G(T565)
Q373_IN_G(f(f(T579))) → P65_IN_G(f(T579))
P65_IN_G(f(T534)) → R76_IN_G(f(T534))
R76_IN_G(f(T487)) → Q321_IN_G(T487)
Q321_IN_G(f(f(T501))) → P94_IN_G(f(T501))
P94_IN_G(f(T456)) → R105_IN_G(f(T456))
R105_IN_G(f(T409)) → Q269_IN_G(T409)
Q269_IN_G(f(f(T423))) → P123_IN_G(f(T423))
P123_IN_G(f(T375)) → R134_IN_G(f(T375))
R134_IN_G(f(T322)) → Q214_IN_G(T322)
Q214_IN_G(f(f(T336))) → P144_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
P144_IN_GG(T200, T201) → P151_IN_GG(T200, T201)
P151_IN_GG(T200, T201) → R152_IN_GG(T200, T201)
R152_IN_GG(T228, T229) → P162_IN_GG(T228, T229)
P162_IN_GG(T228, T229) → Q1_IN_GG(f(T228), T229)
Q1_IN_GG(T11, f(f(T11))) → U85_GG(T11, p15_in_g(T11))
Q1_IN_GG(T11, f(f(T11))) → P15_IN_G(T11)
P15_IN_G(T22) → R24_IN_G(T22)
R24_IN_G(T36) → U69_G(T36, q16_in_g(T36))
U69_G(T36, q16_out_g(T36)) → R36_IN_G(T36)
R36_IN_G(T51) → U44_G(T51, q46_in_g(T51))
U44_G(T51, q46_out_g(T51)) → R47_IN_G(T51)
R47_IN_G(f(f(T596))) → U47_G(T596, q373_in_g(f(T596)))
U47_G(T596, q373_out_g(f(T596))) → P74_IN_G(T596)
P74_IN_G(T89) → U42_G(T89, q75_in_g(T89))
U42_G(T89, q75_out_g(T89)) → R76_IN_G(T89)
R76_IN_G(f(f(T518))) → U35_G(T518, q321_in_g(f(T518)))
U35_G(T518, q321_out_g(f(T518))) → P103_IN_G(T518)
P103_IN_G(T127) → U32_G(T127, q104_in_g(T127))
U32_G(T127, q104_out_g(T127)) → R105_IN_G(T127)
R105_IN_G(f(f(T440))) → U25_G(T440, q269_in_g(f(T440)))
U25_G(T440, q269_out_g(f(T440))) → P132_IN_G(T440)
P132_IN_G(T165) → U22_G(T165, q133_in_g(T165))
U22_G(T165, q133_out_g(T165)) → R134_IN_G(T165)
R134_IN_G(f(f(T356))) → U17_G(T356, q214_in_g(f(T356)))
U17_G(T356, q214_out_g(f(T356))) → P162_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
P162_IN_GG(T254, f(T255)) → U3_GG(T254, T255, q1_in_gg(f(T254), f(T255)))
U3_GG(T254, T255, q1_out_gg(f(T254), f(T255))) → P162_IN_GG(T254, T255)
P162_IN_GG(T254, f(T255)) → Q1_IN_GG(f(T254), f(T255))
Q1_IN_GG(T682, f(f(T683))) → P443_IN_GG(T682, T683)
P443_IN_GG(T682, T683) → R444_IN_GG(T682, T683)
R444_IN_GG(T710, T711) → P454_IN_GG(T710, T711)
P454_IN_GG(T710, T711) → Q1_IN_GG(T710, T711)
P454_IN_GG(T736, f(T737)) → U57_GG(T736, T737, q1_in_gg(T736, f(T737)))
U57_GG(T736, T737, q1_out_gg(T736, f(T737))) → P454_IN_GG(T736, T737)
P454_IN_GG(T736, f(T737)) → Q1_IN_GG(T736, f(T737))
P454_IN_GG(f(T742), f(T742)) → U59_GG(T742, q1_in_gg(f(T742), f(T742)))
U59_GG(T742, q1_out_gg(f(T742), f(T742))) → T175_IN_G(T742)
T175_IN_G(T270) → P183_IN_G(T270)
P183_IN_G(T270) → Q46_IN_G(f(T270))
Q46_IN_G(f(f(T75))) → P63_IN_G(T75)
P63_IN_G(T75) → U50_G(T75, r64_in_g(T75))
U50_G(T75, r64_out_g(T75)) → P65_IN_G(T75)
P65_IN_G(f(f(T548))) → U40_G(T548, r76_in_g(f(f(T548))))
U40_G(T548, r76_out_g(f(f(T548)))) → P92_IN_G(T548)
P92_IN_G(T113) → U37_G(T113, r93_in_g(T113))
U37_G(T113, r93_out_g(T113)) → P94_IN_G(T113)
P94_IN_G(f(f(T470))) → U30_G(T470, r105_in_g(f(f(T470))))
U30_G(T470, r105_out_g(f(f(T470)))) → P121_IN_G(T470)
P121_IN_G(T151) → U27_G(T151, r122_in_g(T151))
U27_G(T151, r122_out_g(T151)) → P123_IN_G(T151)
P123_IN_G(f(f(T389))) → U20_G(T389, r134_in_g(f(f(T389))))
U20_G(T389, r134_out_g(f(f(T389)))) → P151_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
P151_IN_GG(T303, f(T304)) → U13_GG(T303, T304, r152_in_gg(T303, f(T304)))
U13_GG(T303, T304, r152_out_gg(T303, f(T304))) → P151_IN_GG(T303, T304)
P151_IN_GG(T303, f(T304)) → R152_IN_GG(T303, f(T304))
R152_IN_GG(T285, T285) → T175_IN_G(T285)
P123_IN_G(f(f(T389))) → R134_IN_G(f(f(T389)))
R134_IN_G(f(f(T356))) → Q214_IN_G(f(T356))
P121_IN_G(T151) → R122_IN_G(T151)
R122_IN_G(T165) → P132_IN_G(T165)
P132_IN_G(T165) → Q133_IN_G(T165)
Q133_IN_G(f(f(T179))) → P144_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
P94_IN_G(f(f(T470))) → R105_IN_G(f(f(T470)))
R105_IN_G(f(f(T440))) → Q269_IN_G(f(T440))
P92_IN_G(T113) → R93_IN_G(T113)
R93_IN_G(T127) → P103_IN_G(T127)
P103_IN_G(T127) → Q104_IN_G(T127)
Q104_IN_G(f(f(T151))) → P121_IN_G(T151)
P65_IN_G(f(f(T548))) → R76_IN_G(f(f(T548)))
R76_IN_G(f(f(T518))) → Q321_IN_G(f(T518))
P63_IN_G(T75) → R64_IN_G(T75)
R64_IN_G(T89) → P74_IN_G(T89)
P74_IN_G(T89) → Q75_IN_G(T89)
Q75_IN_G(f(f(T113))) → P92_IN_G(T113)
P183_IN_G(f(T281)) → U9_G(T281, q46_in_g(f(f(T281))))
U9_G(T281, q46_out_g(f(f(T281)))) → P183_IN_G(T281)
P183_IN_G(f(T281)) → Q46_IN_G(f(f(T281)))
P454_IN_GG(f(T742), f(T742)) → Q1_IN_GG(f(T742), f(T742))
R444_IN_GG(f(T746), T746) → T175_IN_G(T746)
P443_IN_GG(a, b) → R444_IN_GG(a, b)
P443_IN_GG(T764, f(T765)) → U63_GG(T764, T765, r444_in_gg(T764, f(T765)))
U63_GG(T764, T765, r444_out_gg(T764, f(T765))) → P443_IN_GG(T764, T765)
P443_IN_GG(T764, f(T765)) → R444_IN_GG(T764, f(T765))
P162_IN_GG(T260, f(T260)) → U5_GG(T260, q1_in_gg(f(T260), f(T260)))
U5_GG(T260, q1_out_gg(f(T260), f(T260))) → T175_IN_G(T260)
P162_IN_GG(T260, f(T260)) → Q1_IN_GG(f(T260), f(T260))
R47_IN_G(f(f(T596))) → Q373_IN_G(f(T596))
R47_IN_G(f(T601)) → T175_IN_G(T601)
R36_IN_G(T51) → Q46_IN_G(T51)
R24_IN_G(T36) → Q16_IN_G(T36)
P15_IN_G(T614) → U66_G(T614, r24_in_g(T614))
U66_G(T614, r24_out_g(T614)) → U67_G(T614, r36_in_g(T614))
U67_G(T614, r36_out_g(T614)) → P407_IN_G(T614)
P407_IN_G(f(f(T642))) → U53_G(T642, r47_in_g(f(f(T642))))
U53_G(T642, r47_out_g(f(f(T642)))) → P63_IN_G(T642)
P407_IN_G(f(f(T642))) → R47_IN_G(f(f(T642)))
U66_G(T614, r24_out_g(T614)) → R36_IN_G(T614)
q1_in_gg(a, b) → q1_out_gg(a, b)
q1_in_gg(T11, f(f(T11))) → U85_gg(T11, p15_in_g(T11))
p15_in_g(T22) → U65_g(T22, r24_in_g(T22))
r24_in_g(T36) → U69_g(T36, q16_in_g(T36))
q16_in_g(f(T656)) → U1_g(T656, p407_in_g(f(T656)))
p407_in_g(f(T628)) → U52_g(T628, r47_in_g(f(T628)))
r47_in_g(f(T565)) → U46_g(T565, q373_in_g(T565))
q373_in_g(f(f(T579))) → U82_g(T579, p65_in_g(f(T579)))
p65_in_g(f(T534)) → U39_g(T534, r76_in_g(f(T534)))
r76_in_g(f(T487)) → U34_g(T487, q321_in_g(T487))
q321_in_g(f(f(T501))) → U81_g(T501, p94_in_g(f(T501)))
p94_in_g(f(T456)) → U29_g(T456, r105_in_g(f(T456)))
r105_in_g(f(T409)) → U24_g(T409, q269_in_g(T409))
q269_in_g(f(f(T423))) → U80_g(T423, p123_in_g(f(T423)))
p123_in_g(f(T375)) → U19_g(T375, r134_in_g(f(T375)))
r134_in_g(f(T322)) → U16_g(T322, q214_in_g(T322))
q214_in_g(f(f(T336))) → U79_g(T336, p144_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
p144_in_gg(T200, T201) → U15_gg(T200, T201, p151_in_gg(T200, T201))
p151_in_gg(T200, T201) → U12_gg(T200, T201, r152_in_gg(T200, T201))
r152_in_gg(T228, T229) → U77_gg(T228, T229, p162_in_gg(T228, T229))
p162_in_gg(T228, T229) → U2_gg(T228, T229, q1_in_gg(f(T228), T229))
q1_in_gg(T682, f(f(T683))) → U87_gg(T682, T683, p443_in_gg(T682, T683))
p443_in_gg(T682, T683) → U61_gg(T682, T683, r444_in_gg(T682, T683))
r444_in_gg(T710, T711) → U83_gg(T710, T711, p454_in_gg(T710, T711))
p454_in_gg(T710, T711) → U55_gg(T710, T711, q1_in_gg(T710, T711))
U55_gg(T710, T711, q1_out_gg(T710, T711)) → p454_out_gg(T710, T711)
p454_in_gg(a, b) → U56_gg(q1_in_gg(a, b))
U56_gg(q1_out_gg(a, b)) → p454_out_gg(a, b)
p454_in_gg(T736, f(T737)) → U57_gg(T736, T737, q1_in_gg(T736, f(T737)))
U57_gg(T736, T737, q1_out_gg(T736, f(T737))) → U58_gg(T736, T737, p454_in_gg(T736, T737))
p454_in_gg(f(T742), f(T742)) → U59_gg(T742, q1_in_gg(f(T742), f(T742)))
U59_gg(T742, q1_out_gg(f(T742), f(T742))) → U60_gg(T742, t175_in_g(T742))
t175_in_g(T270) → U11_g(T270, p183_in_g(T270))
p183_in_g(T270) → U8_g(T270, q46_in_g(f(T270)))
q46_in_g(f(f(T75))) → U7_g(T75, p63_in_g(T75))
p63_in_g(T75) → U50_g(T75, r64_in_g(T75))
r64_in_g(T89) → U71_g(T89, p74_in_g(T89))
p74_in_g(T89) → U42_g(T89, q75_in_g(T89))
q75_in_g(f(f(T113))) → U72_g(T113, p92_in_g(T113))
p92_in_g(T113) → U37_g(T113, r93_in_g(T113))
r93_in_g(T127) → U73_g(T127, p103_in_g(T127))
p103_in_g(T127) → U32_g(T127, q104_in_g(T127))
q104_in_g(f(f(T151))) → U74_g(T151, p121_in_g(T151))
p121_in_g(T151) → U27_g(T151, r122_in_g(T151))
r122_in_g(T165) → U75_g(T165, p132_in_g(T165))
p132_in_g(T165) → U22_g(T165, q133_in_g(T165))
q133_in_g(f(f(T179))) → U76_g(T179, p144_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(T179, p144_out_gg(f(f(f(f(f(f(f(T179))))))), T179)) → q133_out_g(f(f(T179)))
U22_g(T165, q133_out_g(T165)) → p132_out_g(T165)
U22_g(T165, q133_out_g(T165)) → U23_g(T165, r134_in_g(T165))
r134_in_g(f(f(T356))) → U17_g(T356, q214_in_g(f(T356)))
U17_g(T356, q214_out_g(f(T356))) → U18_g(T356, p162_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
p162_in_gg(T254, f(T255)) → U3_gg(T254, T255, q1_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, q1_out_gg(f(T254), f(T255))) → U4_gg(T254, T255, p162_in_gg(T254, T255))
p162_in_gg(T260, f(T260)) → U5_gg(T260, q1_in_gg(f(T260), f(T260)))
U5_gg(T260, q1_out_gg(f(T260), f(T260))) → U6_gg(T260, t175_in_g(T260))
U6_gg(T260, t175_out_g(T260)) → p162_out_gg(T260, f(T260))
U4_gg(T254, T255, p162_out_gg(T254, T255)) → p162_out_gg(T254, f(T255))
U18_g(T356, p162_out_gg(f(f(f(f(f(f(f(T356))))))), T356)) → r134_out_g(f(f(T356)))
U23_g(T165, r134_out_g(T165)) → p132_out_g(T165)
U75_g(T165, p132_out_g(T165)) → r122_out_g(T165)
U27_g(T151, r122_out_g(T151)) → p121_out_g(T151)
U27_g(T151, r122_out_g(T151)) → U28_g(T151, p123_in_g(T151))
p123_in_g(f(f(T389))) → U20_g(T389, r134_in_g(f(f(T389))))
U20_g(T389, r134_out_g(f(f(T389)))) → U21_g(T389, p151_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
p151_in_gg(T303, f(T304)) → U13_gg(T303, T304, r152_in_gg(T303, f(T304)))
r152_in_gg(T285, T285) → U78_gg(T285, t175_in_g(T285))
U78_gg(T285, t175_out_g(T285)) → r152_out_gg(T285, T285)
U13_gg(T303, T304, r152_out_gg(T303, f(T304))) → U14_gg(T303, T304, p151_in_gg(T303, T304))
U14_gg(T303, T304, p151_out_gg(T303, T304)) → p151_out_gg(T303, f(T304))
U21_g(T389, p151_out_gg(f(f(f(f(f(f(f(T389))))))), T389)) → p123_out_g(f(f(T389)))
U28_g(T151, p123_out_g(T151)) → p121_out_g(T151)
U74_g(T151, p121_out_g(T151)) → q104_out_g(f(f(T151)))
U32_g(T127, q104_out_g(T127)) → p103_out_g(T127)
U32_g(T127, q104_out_g(T127)) → U33_g(T127, r105_in_g(T127))
r105_in_g(f(f(T440))) → U25_g(T440, q269_in_g(f(T440)))
U25_g(T440, q269_out_g(f(T440))) → U26_g(T440, p132_in_g(T440))
U26_g(T440, p132_out_g(T440)) → r105_out_g(f(f(T440)))
U33_g(T127, r105_out_g(T127)) → p103_out_g(T127)
U73_g(T127, p103_out_g(T127)) → r93_out_g(T127)
U37_g(T113, r93_out_g(T113)) → p92_out_g(T113)
U37_g(T113, r93_out_g(T113)) → U38_g(T113, p94_in_g(T113))
p94_in_g(f(f(T470))) → U30_g(T470, r105_in_g(f(f(T470))))
U30_g(T470, r105_out_g(f(f(T470)))) → U31_g(T470, p121_in_g(T470))
U31_g(T470, p121_out_g(T470)) → p94_out_g(f(f(T470)))
U38_g(T113, p94_out_g(T113)) → p92_out_g(T113)
U72_g(T113, p92_out_g(T113)) → q75_out_g(f(f(T113)))
U42_g(T89, q75_out_g(T89)) → p74_out_g(T89)
U42_g(T89, q75_out_g(T89)) → U43_g(T89, r76_in_g(T89))
r76_in_g(f(f(T518))) → U35_g(T518, q321_in_g(f(T518)))
U35_g(T518, q321_out_g(f(T518))) → U36_g(T518, p103_in_g(T518))
U36_g(T518, p103_out_g(T518)) → r76_out_g(f(f(T518)))
U43_g(T89, r76_out_g(T89)) → p74_out_g(T89)
U71_g(T89, p74_out_g(T89)) → r64_out_g(T89)
U50_g(T75, r64_out_g(T75)) → p63_out_g(T75)
U50_g(T75, r64_out_g(T75)) → U51_g(T75, p65_in_g(T75))
p65_in_g(f(f(T548))) → U40_g(T548, r76_in_g(f(f(T548))))
U40_g(T548, r76_out_g(f(f(T548)))) → U41_g(T548, p92_in_g(T548))
U41_g(T548, p92_out_g(T548)) → p65_out_g(f(f(T548)))
U51_g(T75, p65_out_g(T75)) → p63_out_g(T75)
U7_g(T75, p63_out_g(T75)) → q46_out_g(f(f(T75)))
U8_g(T270, q46_out_g(f(T270))) → p183_out_g(T270)
p183_in_g(f(T281)) → U9_g(T281, q46_in_g(f(f(T281))))
U9_g(T281, q46_out_g(f(f(T281)))) → U10_g(T281, p183_in_g(T281))
U10_g(T281, p183_out_g(T281)) → p183_out_g(f(T281))
U11_g(T270, p183_out_g(T270)) → t175_out_g(T270)
U60_gg(T742, t175_out_g(T742)) → p454_out_gg(f(T742), f(T742))
U58_gg(T736, T737, p454_out_gg(T736, T737)) → p454_out_gg(T736, f(T737))
U83_gg(T710, T711, p454_out_gg(T710, T711)) → r444_out_gg(T710, T711)
r444_in_gg(f(T746), T746) → U84_gg(T746, t175_in_g(T746))
U84_gg(T746, t175_out_g(T746)) → r444_out_gg(f(T746), T746)
U61_gg(T682, T683, r444_out_gg(T682, T683)) → p443_out_gg(T682, T683)
p443_in_gg(a, b) → U62_gg(r444_in_gg(a, b))
U62_gg(r444_out_gg(a, b)) → p443_out_gg(a, b)
p443_in_gg(T764, f(T765)) → U63_gg(T764, T765, r444_in_gg(T764, f(T765)))
U63_gg(T764, T765, r444_out_gg(T764, f(T765))) → U64_gg(T764, T765, p443_in_gg(T764, T765))
U64_gg(T764, T765, p443_out_gg(T764, T765)) → p443_out_gg(T764, f(T765))
U87_gg(T682, T683, p443_out_gg(T682, T683)) → q1_out_gg(T682, f(f(T683)))
U2_gg(T228, T229, q1_out_gg(f(T228), T229)) → p162_out_gg(T228, T229)
U77_gg(T228, T229, p162_out_gg(T228, T229)) → r152_out_gg(T228, T229)
U12_gg(T200, T201, r152_out_gg(T200, T201)) → p151_out_gg(T200, T201)
U15_gg(T200, T201, p151_out_gg(T200, T201)) → p144_out_gg(T200, T201)
U79_g(T336, p144_out_gg(f(f(f(f(f(f(f(f(T336)))))))), T336)) → q214_out_g(f(f(T336)))
U16_g(T322, q214_out_g(T322)) → r134_out_g(f(T322))
U19_g(T375, r134_out_g(f(T375))) → p123_out_g(f(T375))
U80_g(T423, p123_out_g(f(T423))) → q269_out_g(f(f(T423)))
U24_g(T409, q269_out_g(T409)) → r105_out_g(f(T409))
U29_g(T456, r105_out_g(f(T456))) → p94_out_g(f(T456))
U81_g(T501, p94_out_g(f(T501))) → q321_out_g(f(f(T501)))
U34_g(T487, q321_out_g(T487)) → r76_out_g(f(T487))
U39_g(T534, r76_out_g(f(T534))) → p65_out_g(f(T534))
U82_g(T579, p65_out_g(f(T579))) → q373_out_g(f(f(T579)))
U46_g(T565, q373_out_g(T565)) → r47_out_g(f(T565))
r47_in_g(f(f(T596))) → U47_g(T596, q373_in_g(f(T596)))
U47_g(T596, q373_out_g(f(T596))) → U48_g(T596, p74_in_g(T596))
U48_g(T596, p74_out_g(T596)) → r47_out_g(f(f(T596)))
r47_in_g(f(T601)) → U49_g(T601, t175_in_g(T601))
U49_g(T601, t175_out_g(T601)) → r47_out_g(f(T601))
U52_g(T628, r47_out_g(f(T628))) → p407_out_g(f(T628))
p407_in_g(f(f(T642))) → U53_g(T642, r47_in_g(f(f(T642))))
U53_g(T642, r47_out_g(f(f(T642)))) → U54_g(T642, p63_in_g(T642))
U54_g(T642, p63_out_g(T642)) → p407_out_g(f(f(T642)))
U1_g(T656, p407_out_g(f(T656))) → q16_out_g(f(T656))
U69_g(T36, q16_out_g(T36)) → r24_out_g(T36)
U69_g(T36, q16_out_g(T36)) → U70_g(T36, r36_in_g(T36))
r36_in_g(T51) → U44_g(T51, q46_in_g(T51))
U44_g(T51, q46_out_g(T51)) → r36_out_g(T51)
U44_g(T51, q46_out_g(T51)) → U45_g(T51, r47_in_g(T51))
U45_g(T51, r47_out_g(T51)) → r36_out_g(T51)
U70_g(T36, r36_out_g(T36)) → r24_out_g(T36)
U65_g(T22, r24_out_g(T22)) → p15_out_g(T22)
p15_in_g(T614) → U66_g(T614, r24_in_g(T614))
U66_g(T614, r24_out_g(T614)) → U67_g(T614, r36_in_g(T614))
U67_g(T614, r36_out_g(T614)) → p15_out_g(T614)
U67_g(T614, r36_out_g(T614)) → U68_g(T614, p407_in_g(T614))
U68_g(T614, p407_out_g(T614)) → p15_out_g(T614)
U85_gg(T11, p15_out_g(T11)) → q1_out_gg(T11, f(f(T11)))
U85_gg(T11, p15_out_g(T11)) → U86_gg(T11, q16_in_g(T11))
U86_gg(T11, q16_out_g(T11)) → q1_out_gg(T11, f(f(T11)))
U85_GG(T11, p15_out_g) → Q16_IN_G(T11)
Q16_IN_G(f(T656)) → P407_IN_G(f(T656))
P407_IN_G(f(T628)) → R47_IN_G(f(T628))
R47_IN_G(f(T565)) → Q373_IN_G(T565)
Q373_IN_G(f(f(T579))) → P65_IN_G(f(T579))
P65_IN_G(f(T534)) → R76_IN_G(f(T534))
R76_IN_G(f(T487)) → Q321_IN_G(T487)
Q321_IN_G(f(f(T501))) → P94_IN_G(f(T501))
P94_IN_G(f(T456)) → R105_IN_G(f(T456))
R105_IN_G(f(T409)) → Q269_IN_G(T409)
Q269_IN_G(f(f(T423))) → P123_IN_G(f(T423))
P123_IN_G(f(T375)) → R134_IN_G(f(T375))
R134_IN_G(f(T322)) → Q214_IN_G(T322)
Q214_IN_G(f(f(T336))) → P144_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
P144_IN_GG(T200, T201) → P151_IN_GG(T200, T201)
P151_IN_GG(T200, T201) → R152_IN_GG(T200, T201)
R152_IN_GG(T228, T229) → P162_IN_GG(T228, T229)
P162_IN_GG(T228, T229) → Q1_IN_GG(f(T228), T229)
Q1_IN_GG(T11, f(f(T11))) → U85_GG(T11, p15_in_g(T11))
Q1_IN_GG(T11, f(f(T11))) → P15_IN_G(T11)
P15_IN_G(T22) → R24_IN_G(T22)
R24_IN_G(T36) → U69_G(T36, q16_in_g(T36))
U69_G(T36, q16_out_g) → R36_IN_G(T36)
R36_IN_G(T51) → U44_G(T51, q46_in_g(T51))
U44_G(T51, q46_out_g) → R47_IN_G(T51)
R47_IN_G(f(f(T596))) → U47_G(T596, q373_in_g(f(T596)))
U47_G(T596, q373_out_g) → P74_IN_G(T596)
P74_IN_G(T89) → U42_G(T89, q75_in_g(T89))
U42_G(T89, q75_out_g) → R76_IN_G(T89)
R76_IN_G(f(f(T518))) → U35_G(T518, q321_in_g(f(T518)))
U35_G(T518, q321_out_g) → P103_IN_G(T518)
P103_IN_G(T127) → U32_G(T127, q104_in_g(T127))
U32_G(T127, q104_out_g) → R105_IN_G(T127)
R105_IN_G(f(f(T440))) → U25_G(T440, q269_in_g(f(T440)))
U25_G(T440, q269_out_g) → P132_IN_G(T440)
P132_IN_G(T165) → U22_G(T165, q133_in_g(T165))
U22_G(T165, q133_out_g) → R134_IN_G(T165)
R134_IN_G(f(f(T356))) → U17_G(T356, q214_in_g(f(T356)))
U17_G(T356, q214_out_g) → P162_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
P162_IN_GG(T254, f(T255)) → U3_GG(T254, T255, q1_in_gg(f(T254), f(T255)))
U3_GG(T254, T255, q1_out_gg) → P162_IN_GG(T254, T255)
P162_IN_GG(T254, f(T255)) → Q1_IN_GG(f(T254), f(T255))
Q1_IN_GG(T682, f(f(T683))) → P443_IN_GG(T682, T683)
P443_IN_GG(T682, T683) → R444_IN_GG(T682, T683)
R444_IN_GG(T710, T711) → P454_IN_GG(T710, T711)
P454_IN_GG(T710, T711) → Q1_IN_GG(T710, T711)
P454_IN_GG(T736, f(T737)) → U57_GG(T736, T737, q1_in_gg(T736, f(T737)))
U57_GG(T736, T737, q1_out_gg) → P454_IN_GG(T736, T737)
P454_IN_GG(T736, f(T737)) → Q1_IN_GG(T736, f(T737))
P454_IN_GG(f(T742), f(T742)) → U59_GG(T742, q1_in_gg(f(T742), f(T742)))
U59_GG(T742, q1_out_gg) → T175_IN_G(T742)
T175_IN_G(T270) → P183_IN_G(T270)
P183_IN_G(T270) → Q46_IN_G(f(T270))
Q46_IN_G(f(f(T75))) → P63_IN_G(T75)
P63_IN_G(T75) → U50_G(T75, r64_in_g(T75))
U50_G(T75, r64_out_g) → P65_IN_G(T75)
P65_IN_G(f(f(T548))) → U40_G(T548, r76_in_g(f(f(T548))))
U40_G(T548, r76_out_g) → P92_IN_G(T548)
P92_IN_G(T113) → U37_G(T113, r93_in_g(T113))
U37_G(T113, r93_out_g) → P94_IN_G(T113)
P94_IN_G(f(f(T470))) → U30_G(T470, r105_in_g(f(f(T470))))
U30_G(T470, r105_out_g) → P121_IN_G(T470)
P121_IN_G(T151) → U27_G(T151, r122_in_g(T151))
U27_G(T151, r122_out_g) → P123_IN_G(T151)
P123_IN_G(f(f(T389))) → U20_G(T389, r134_in_g(f(f(T389))))
U20_G(T389, r134_out_g) → P151_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
P151_IN_GG(T303, f(T304)) → U13_GG(T303, T304, r152_in_gg(T303, f(T304)))
U13_GG(T303, T304, r152_out_gg) → P151_IN_GG(T303, T304)
P151_IN_GG(T303, f(T304)) → R152_IN_GG(T303, f(T304))
R152_IN_GG(T285, T285) → T175_IN_G(T285)
P123_IN_G(f(f(T389))) → R134_IN_G(f(f(T389)))
R134_IN_G(f(f(T356))) → Q214_IN_G(f(T356))
P121_IN_G(T151) → R122_IN_G(T151)
R122_IN_G(T165) → P132_IN_G(T165)
P132_IN_G(T165) → Q133_IN_G(T165)
Q133_IN_G(f(f(T179))) → P144_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
P94_IN_G(f(f(T470))) → R105_IN_G(f(f(T470)))
R105_IN_G(f(f(T440))) → Q269_IN_G(f(T440))
P92_IN_G(T113) → R93_IN_G(T113)
R93_IN_G(T127) → P103_IN_G(T127)
P103_IN_G(T127) → Q104_IN_G(T127)
Q104_IN_G(f(f(T151))) → P121_IN_G(T151)
P65_IN_G(f(f(T548))) → R76_IN_G(f(f(T548)))
R76_IN_G(f(f(T518))) → Q321_IN_G(f(T518))
P63_IN_G(T75) → R64_IN_G(T75)
R64_IN_G(T89) → P74_IN_G(T89)
P74_IN_G(T89) → Q75_IN_G(T89)
Q75_IN_G(f(f(T113))) → P92_IN_G(T113)
P183_IN_G(f(T281)) → U9_G(T281, q46_in_g(f(f(T281))))
U9_G(T281, q46_out_g) → P183_IN_G(T281)
P183_IN_G(f(T281)) → Q46_IN_G(f(f(T281)))
P454_IN_GG(f(T742), f(T742)) → Q1_IN_GG(f(T742), f(T742))
R444_IN_GG(f(T746), T746) → T175_IN_G(T746)
P443_IN_GG(a, b) → R444_IN_GG(a, b)
P443_IN_GG(T764, f(T765)) → U63_GG(T764, T765, r444_in_gg(T764, f(T765)))
U63_GG(T764, T765, r444_out_gg) → P443_IN_GG(T764, T765)
P443_IN_GG(T764, f(T765)) → R444_IN_GG(T764, f(T765))
P162_IN_GG(T260, f(T260)) → U5_GG(T260, q1_in_gg(f(T260), f(T260)))
U5_GG(T260, q1_out_gg) → T175_IN_G(T260)
P162_IN_GG(T260, f(T260)) → Q1_IN_GG(f(T260), f(T260))
R47_IN_G(f(f(T596))) → Q373_IN_G(f(T596))
R47_IN_G(f(T601)) → T175_IN_G(T601)
R36_IN_G(T51) → Q46_IN_G(T51)
R24_IN_G(T36) → Q16_IN_G(T36)
P15_IN_G(T614) → U66_G(T614, r24_in_g(T614))
U66_G(T614, r24_out_g) → U67_G(T614, r36_in_g(T614))
U67_G(T614, r36_out_g) → P407_IN_G(T614)
P407_IN_G(f(f(T642))) → U53_G(T642, r47_in_g(f(f(T642))))
U53_G(T642, r47_out_g) → P63_IN_G(T642)
P407_IN_G(f(f(T642))) → R47_IN_G(f(f(T642)))
U66_G(T614, r24_out_g) → R36_IN_G(T614)
q1_in_gg(a, b) → q1_out_gg
q1_in_gg(T11, f(f(T11))) → U85_gg(T11, p15_in_g(T11))
p15_in_g(T22) → U65_g(r24_in_g(T22))
r24_in_g(T36) → U69_g(T36, q16_in_g(T36))
q16_in_g(f(T656)) → U1_g(p407_in_g(f(T656)))
p407_in_g(f(T628)) → U52_g(r47_in_g(f(T628)))
r47_in_g(f(T565)) → U46_g(q373_in_g(T565))
q373_in_g(f(f(T579))) → U82_g(p65_in_g(f(T579)))
p65_in_g(f(T534)) → U39_g(r76_in_g(f(T534)))
r76_in_g(f(T487)) → U34_g(q321_in_g(T487))
q321_in_g(f(f(T501))) → U81_g(p94_in_g(f(T501)))
p94_in_g(f(T456)) → U29_g(r105_in_g(f(T456)))
r105_in_g(f(T409)) → U24_g(q269_in_g(T409))
q269_in_g(f(f(T423))) → U80_g(p123_in_g(f(T423)))
p123_in_g(f(T375)) → U19_g(r134_in_g(f(T375)))
r134_in_g(f(T322)) → U16_g(q214_in_g(T322))
q214_in_g(f(f(T336))) → U79_g(p144_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
p144_in_gg(T200, T201) → U15_gg(p151_in_gg(T200, T201))
p151_in_gg(T200, T201) → U12_gg(r152_in_gg(T200, T201))
r152_in_gg(T228, T229) → U77_gg(p162_in_gg(T228, T229))
p162_in_gg(T228, T229) → U2_gg(q1_in_gg(f(T228), T229))
q1_in_gg(T682, f(f(T683))) → U87_gg(p443_in_gg(T682, T683))
p443_in_gg(T682, T683) → U61_gg(r444_in_gg(T682, T683))
r444_in_gg(T710, T711) → U83_gg(p454_in_gg(T710, T711))
p454_in_gg(T710, T711) → U55_gg(q1_in_gg(T710, T711))
U55_gg(q1_out_gg) → p454_out_gg
p454_in_gg(a, b) → U56_gg(q1_in_gg(a, b))
U56_gg(q1_out_gg) → p454_out_gg
p454_in_gg(T736, f(T737)) → U57_gg(T736, T737, q1_in_gg(T736, f(T737)))
U57_gg(T736, T737, q1_out_gg) → U58_gg(p454_in_gg(T736, T737))
p454_in_gg(f(T742), f(T742)) → U59_gg(T742, q1_in_gg(f(T742), f(T742)))
U59_gg(T742, q1_out_gg) → U60_gg(t175_in_g(T742))
t175_in_g(T270) → U11_g(p183_in_g(T270))
p183_in_g(T270) → U8_g(q46_in_g(f(T270)))
q46_in_g(f(f(T75))) → U7_g(p63_in_g(T75))
p63_in_g(T75) → U50_g(T75, r64_in_g(T75))
r64_in_g(T89) → U71_g(p74_in_g(T89))
p74_in_g(T89) → U42_g(T89, q75_in_g(T89))
q75_in_g(f(f(T113))) → U72_g(p92_in_g(T113))
p92_in_g(T113) → U37_g(T113, r93_in_g(T113))
r93_in_g(T127) → U73_g(p103_in_g(T127))
p103_in_g(T127) → U32_g(T127, q104_in_g(T127))
q104_in_g(f(f(T151))) → U74_g(p121_in_g(T151))
p121_in_g(T151) → U27_g(T151, r122_in_g(T151))
r122_in_g(T165) → U75_g(p132_in_g(T165))
p132_in_g(T165) → U22_g(T165, q133_in_g(T165))
q133_in_g(f(f(T179))) → U76_g(p144_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(p144_out_gg) → q133_out_g
U22_g(T165, q133_out_g) → p132_out_g
U22_g(T165, q133_out_g) → U23_g(r134_in_g(T165))
r134_in_g(f(f(T356))) → U17_g(T356, q214_in_g(f(T356)))
U17_g(T356, q214_out_g) → U18_g(p162_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
p162_in_gg(T254, f(T255)) → U3_gg(T254, T255, q1_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, q1_out_gg) → U4_gg(p162_in_gg(T254, T255))
p162_in_gg(T260, f(T260)) → U5_gg(T260, q1_in_gg(f(T260), f(T260)))
U5_gg(T260, q1_out_gg) → U6_gg(t175_in_g(T260))
U6_gg(t175_out_g) → p162_out_gg
U4_gg(p162_out_gg) → p162_out_gg
U18_g(p162_out_gg) → r134_out_g
U23_g(r134_out_g) → p132_out_g
U75_g(p132_out_g) → r122_out_g
U27_g(T151, r122_out_g) → p121_out_g
U27_g(T151, r122_out_g) → U28_g(p123_in_g(T151))
p123_in_g(f(f(T389))) → U20_g(T389, r134_in_g(f(f(T389))))
U20_g(T389, r134_out_g) → U21_g(p151_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
p151_in_gg(T303, f(T304)) → U13_gg(T303, T304, r152_in_gg(T303, f(T304)))
r152_in_gg(T285, T285) → U78_gg(t175_in_g(T285))
U78_gg(t175_out_g) → r152_out_gg
U13_gg(T303, T304, r152_out_gg) → U14_gg(p151_in_gg(T303, T304))
U14_gg(p151_out_gg) → p151_out_gg
U21_g(p151_out_gg) → p123_out_g
U28_g(p123_out_g) → p121_out_g
U74_g(p121_out_g) → q104_out_g
U32_g(T127, q104_out_g) → p103_out_g
U32_g(T127, q104_out_g) → U33_g(r105_in_g(T127))
r105_in_g(f(f(T440))) → U25_g(T440, q269_in_g(f(T440)))
U25_g(T440, q269_out_g) → U26_g(p132_in_g(T440))
U26_g(p132_out_g) → r105_out_g
U33_g(r105_out_g) → p103_out_g
U73_g(p103_out_g) → r93_out_g
U37_g(T113, r93_out_g) → p92_out_g
U37_g(T113, r93_out_g) → U38_g(p94_in_g(T113))
p94_in_g(f(f(T470))) → U30_g(T470, r105_in_g(f(f(T470))))
U30_g(T470, r105_out_g) → U31_g(p121_in_g(T470))
U31_g(p121_out_g) → p94_out_g
U38_g(p94_out_g) → p92_out_g
U72_g(p92_out_g) → q75_out_g
U42_g(T89, q75_out_g) → p74_out_g
U42_g(T89, q75_out_g) → U43_g(r76_in_g(T89))
r76_in_g(f(f(T518))) → U35_g(T518, q321_in_g(f(T518)))
U35_g(T518, q321_out_g) → U36_g(p103_in_g(T518))
U36_g(p103_out_g) → r76_out_g
U43_g(r76_out_g) → p74_out_g
U71_g(p74_out_g) → r64_out_g
U50_g(T75, r64_out_g) → p63_out_g
U50_g(T75, r64_out_g) → U51_g(p65_in_g(T75))
p65_in_g(f(f(T548))) → U40_g(T548, r76_in_g(f(f(T548))))
U40_g(T548, r76_out_g) → U41_g(p92_in_g(T548))
U41_g(p92_out_g) → p65_out_g
U51_g(p65_out_g) → p63_out_g
U7_g(p63_out_g) → q46_out_g
U8_g(q46_out_g) → p183_out_g
p183_in_g(f(T281)) → U9_g(T281, q46_in_g(f(f(T281))))
U9_g(T281, q46_out_g) → U10_g(p183_in_g(T281))
U10_g(p183_out_g) → p183_out_g
U11_g(p183_out_g) → t175_out_g
U60_gg(t175_out_g) → p454_out_gg
U58_gg(p454_out_gg) → p454_out_gg
U83_gg(p454_out_gg) → r444_out_gg
r444_in_gg(f(T746), T746) → U84_gg(t175_in_g(T746))
U84_gg(t175_out_g) → r444_out_gg
U61_gg(r444_out_gg) → p443_out_gg
p443_in_gg(a, b) → U62_gg(r444_in_gg(a, b))
U62_gg(r444_out_gg) → p443_out_gg
p443_in_gg(T764, f(T765)) → U63_gg(T764, T765, r444_in_gg(T764, f(T765)))
U63_gg(T764, T765, r444_out_gg) → U64_gg(p443_in_gg(T764, T765))
U64_gg(p443_out_gg) → p443_out_gg
U87_gg(p443_out_gg) → q1_out_gg
U2_gg(q1_out_gg) → p162_out_gg
U77_gg(p162_out_gg) → r152_out_gg
U12_gg(r152_out_gg) → p151_out_gg
U15_gg(p151_out_gg) → p144_out_gg
U79_g(p144_out_gg) → q214_out_g
U16_g(q214_out_g) → r134_out_g
U19_g(r134_out_g) → p123_out_g
U80_g(p123_out_g) → q269_out_g
U24_g(q269_out_g) → r105_out_g
U29_g(r105_out_g) → p94_out_g
U81_g(p94_out_g) → q321_out_g
U34_g(q321_out_g) → r76_out_g
U39_g(r76_out_g) → p65_out_g
U82_g(p65_out_g) → q373_out_g
U46_g(q373_out_g) → r47_out_g
r47_in_g(f(f(T596))) → U47_g(T596, q373_in_g(f(T596)))
U47_g(T596, q373_out_g) → U48_g(p74_in_g(T596))
U48_g(p74_out_g) → r47_out_g
r47_in_g(f(T601)) → U49_g(t175_in_g(T601))
U49_g(t175_out_g) → r47_out_g
U52_g(r47_out_g) → p407_out_g
p407_in_g(f(f(T642))) → U53_g(T642, r47_in_g(f(f(T642))))
U53_g(T642, r47_out_g) → U54_g(p63_in_g(T642))
U54_g(p63_out_g) → p407_out_g
U1_g(p407_out_g) → q16_out_g
U69_g(T36, q16_out_g) → r24_out_g
U69_g(T36, q16_out_g) → U70_g(r36_in_g(T36))
r36_in_g(T51) → U44_g(T51, q46_in_g(T51))
U44_g(T51, q46_out_g) → r36_out_g
U44_g(T51, q46_out_g) → U45_g(r47_in_g(T51))
U45_g(r47_out_g) → r36_out_g
U70_g(r36_out_g) → r24_out_g
U65_g(r24_out_g) → p15_out_g
p15_in_g(T614) → U66_g(T614, r24_in_g(T614))
U66_g(T614, r24_out_g) → U67_g(T614, r36_in_g(T614))
U67_g(T614, r36_out_g) → p15_out_g
U67_g(T614, r36_out_g) → U68_g(p407_in_g(T614))
U68_g(p407_out_g) → p15_out_g
U85_gg(T11, p15_out_g) → q1_out_gg
U85_gg(T11, p15_out_g) → U86_gg(q16_in_g(T11))
U86_gg(q16_out_g) → q1_out_gg
q1_in_gg(x0, x1)
p15_in_g(x0)
r24_in_g(x0)
q16_in_g(x0)
p407_in_g(x0)
r47_in_g(x0)
q373_in_g(x0)
p65_in_g(x0)
r76_in_g(x0)
q321_in_g(x0)
p94_in_g(x0)
r105_in_g(x0)
q269_in_g(x0)
p123_in_g(x0)
r134_in_g(x0)
q214_in_g(x0)
p144_in_gg(x0, x1)
p151_in_gg(x0, x1)
r152_in_gg(x0, x1)
p162_in_gg(x0, x1)
p443_in_gg(x0, x1)
r444_in_gg(x0, x1)
p454_in_gg(x0, x1)
U55_gg(x0)
U56_gg(x0)
U57_gg(x0, x1, x2)
U59_gg(x0, x1)
t175_in_g(x0)
p183_in_g(x0)
q46_in_g(x0)
p63_in_g(x0)
r64_in_g(x0)
p74_in_g(x0)
q75_in_g(x0)
p92_in_g(x0)
r93_in_g(x0)
p103_in_g(x0)
q104_in_g(x0)
p121_in_g(x0)
r122_in_g(x0)
p132_in_g(x0)
q133_in_g(x0)
U76_g(x0)
U22_g(x0, x1)
U17_g(x0, x1)
U3_gg(x0, x1, x2)
U5_gg(x0, x1)
U6_gg(x0)
U4_gg(x0)
U18_g(x0)
U23_g(x0)
U75_g(x0)
U27_g(x0, x1)
U20_g(x0, x1)
U78_gg(x0)
U13_gg(x0, x1, x2)
U14_gg(x0)
U21_g(x0)
U28_g(x0)
U74_g(x0)
U32_g(x0, x1)
U25_g(x0, x1)
U26_g(x0)
U33_g(x0)
U73_g(x0)
U37_g(x0, x1)
U30_g(x0, x1)
U31_g(x0)
U38_g(x0)
U72_g(x0)
U42_g(x0, x1)
U35_g(x0, x1)
U36_g(x0)
U43_g(x0)
U71_g(x0)
U50_g(x0, x1)
U40_g(x0, x1)
U41_g(x0)
U51_g(x0)
U7_g(x0)
U8_g(x0)
U9_g(x0, x1)
U10_g(x0)
U11_g(x0)
U60_gg(x0)
U58_gg(x0)
U83_gg(x0)
U84_gg(x0)
U61_gg(x0)
U62_gg(x0)
U63_gg(x0, x1, x2)
U64_gg(x0)
U87_gg(x0)
U2_gg(x0)
U77_gg(x0)
U12_gg(x0)
U15_gg(x0)
U79_g(x0)
U16_g(x0)
U19_g(x0)
U80_g(x0)
U24_g(x0)
U29_g(x0)
U81_g(x0)
U34_g(x0)
U39_g(x0)
U82_g(x0)
U46_g(x0)
U47_g(x0, x1)
U48_g(x0)
U49_g(x0)
U52_g(x0)
U53_g(x0, x1)
U54_g(x0)
U1_g(x0)
U69_g(x0, x1)
r36_in_g(x0)
U44_g(x0, x1)
U45_g(x0)
U70_g(x0)
U65_g(x0)
U66_g(x0, x1)
U67_g(x0, x1)
U68_g(x0)
U85_gg(x0, x1)
U86_gg(x0)
P144_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0) → P151_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0)
P144_IN_GG(f(f(f(f(f(f(f(z0))))))), z0) → P151_IN_GG(f(f(f(f(f(f(f(z0))))))), z0)
U85_GG(T11, p15_out_g) → Q16_IN_G(T11)
Q16_IN_G(f(T656)) → P407_IN_G(f(T656))
P407_IN_G(f(T628)) → R47_IN_G(f(T628))
R47_IN_G(f(T565)) → Q373_IN_G(T565)
Q373_IN_G(f(f(T579))) → P65_IN_G(f(T579))
P65_IN_G(f(T534)) → R76_IN_G(f(T534))
R76_IN_G(f(T487)) → Q321_IN_G(T487)
Q321_IN_G(f(f(T501))) → P94_IN_G(f(T501))
P94_IN_G(f(T456)) → R105_IN_G(f(T456))
R105_IN_G(f(T409)) → Q269_IN_G(T409)
Q269_IN_G(f(f(T423))) → P123_IN_G(f(T423))
P123_IN_G(f(T375)) → R134_IN_G(f(T375))
R134_IN_G(f(T322)) → Q214_IN_G(T322)
Q214_IN_G(f(f(T336))) → P144_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
P151_IN_GG(T200, T201) → R152_IN_GG(T200, T201)
R152_IN_GG(T228, T229) → P162_IN_GG(T228, T229)
P162_IN_GG(T228, T229) → Q1_IN_GG(f(T228), T229)
Q1_IN_GG(T11, f(f(T11))) → U85_GG(T11, p15_in_g(T11))
Q1_IN_GG(T11, f(f(T11))) → P15_IN_G(T11)
P15_IN_G(T22) → R24_IN_G(T22)
R24_IN_G(T36) → U69_G(T36, q16_in_g(T36))
U69_G(T36, q16_out_g) → R36_IN_G(T36)
R36_IN_G(T51) → U44_G(T51, q46_in_g(T51))
U44_G(T51, q46_out_g) → R47_IN_G(T51)
R47_IN_G(f(f(T596))) → U47_G(T596, q373_in_g(f(T596)))
U47_G(T596, q373_out_g) → P74_IN_G(T596)
P74_IN_G(T89) → U42_G(T89, q75_in_g(T89))
U42_G(T89, q75_out_g) → R76_IN_G(T89)
R76_IN_G(f(f(T518))) → U35_G(T518, q321_in_g(f(T518)))
U35_G(T518, q321_out_g) → P103_IN_G(T518)
P103_IN_G(T127) → U32_G(T127, q104_in_g(T127))
U32_G(T127, q104_out_g) → R105_IN_G(T127)
R105_IN_G(f(f(T440))) → U25_G(T440, q269_in_g(f(T440)))
U25_G(T440, q269_out_g) → P132_IN_G(T440)
P132_IN_G(T165) → U22_G(T165, q133_in_g(T165))
U22_G(T165, q133_out_g) → R134_IN_G(T165)
R134_IN_G(f(f(T356))) → U17_G(T356, q214_in_g(f(T356)))
U17_G(T356, q214_out_g) → P162_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
P162_IN_GG(T254, f(T255)) → U3_GG(T254, T255, q1_in_gg(f(T254), f(T255)))
U3_GG(T254, T255, q1_out_gg) → P162_IN_GG(T254, T255)
P162_IN_GG(T254, f(T255)) → Q1_IN_GG(f(T254), f(T255))
Q1_IN_GG(T682, f(f(T683))) → P443_IN_GG(T682, T683)
P443_IN_GG(T682, T683) → R444_IN_GG(T682, T683)
R444_IN_GG(T710, T711) → P454_IN_GG(T710, T711)
P454_IN_GG(T710, T711) → Q1_IN_GG(T710, T711)
P454_IN_GG(T736, f(T737)) → U57_GG(T736, T737, q1_in_gg(T736, f(T737)))
U57_GG(T736, T737, q1_out_gg) → P454_IN_GG(T736, T737)
P454_IN_GG(T736, f(T737)) → Q1_IN_GG(T736, f(T737))
P454_IN_GG(f(T742), f(T742)) → U59_GG(T742, q1_in_gg(f(T742), f(T742)))
U59_GG(T742, q1_out_gg) → T175_IN_G(T742)
T175_IN_G(T270) → P183_IN_G(T270)
P183_IN_G(T270) → Q46_IN_G(f(T270))
Q46_IN_G(f(f(T75))) → P63_IN_G(T75)
P63_IN_G(T75) → U50_G(T75, r64_in_g(T75))
U50_G(T75, r64_out_g) → P65_IN_G(T75)
P65_IN_G(f(f(T548))) → U40_G(T548, r76_in_g(f(f(T548))))
U40_G(T548, r76_out_g) → P92_IN_G(T548)
P92_IN_G(T113) → U37_G(T113, r93_in_g(T113))
U37_G(T113, r93_out_g) → P94_IN_G(T113)
P94_IN_G(f(f(T470))) → U30_G(T470, r105_in_g(f(f(T470))))
U30_G(T470, r105_out_g) → P121_IN_G(T470)
P121_IN_G(T151) → U27_G(T151, r122_in_g(T151))
U27_G(T151, r122_out_g) → P123_IN_G(T151)
P123_IN_G(f(f(T389))) → U20_G(T389, r134_in_g(f(f(T389))))
U20_G(T389, r134_out_g) → P151_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
P151_IN_GG(T303, f(T304)) → U13_GG(T303, T304, r152_in_gg(T303, f(T304)))
U13_GG(T303, T304, r152_out_gg) → P151_IN_GG(T303, T304)
P151_IN_GG(T303, f(T304)) → R152_IN_GG(T303, f(T304))
R152_IN_GG(T285, T285) → T175_IN_G(T285)
P123_IN_G(f(f(T389))) → R134_IN_G(f(f(T389)))
R134_IN_G(f(f(T356))) → Q214_IN_G(f(T356))
P121_IN_G(T151) → R122_IN_G(T151)
R122_IN_G(T165) → P132_IN_G(T165)
P132_IN_G(T165) → Q133_IN_G(T165)
Q133_IN_G(f(f(T179))) → P144_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
P94_IN_G(f(f(T470))) → R105_IN_G(f(f(T470)))
R105_IN_G(f(f(T440))) → Q269_IN_G(f(T440))
P92_IN_G(T113) → R93_IN_G(T113)
R93_IN_G(T127) → P103_IN_G(T127)
P103_IN_G(T127) → Q104_IN_G(T127)
Q104_IN_G(f(f(T151))) → P121_IN_G(T151)
P65_IN_G(f(f(T548))) → R76_IN_G(f(f(T548)))
R76_IN_G(f(f(T518))) → Q321_IN_G(f(T518))
P63_IN_G(T75) → R64_IN_G(T75)
R64_IN_G(T89) → P74_IN_G(T89)
P74_IN_G(T89) → Q75_IN_G(T89)
Q75_IN_G(f(f(T113))) → P92_IN_G(T113)
P183_IN_G(f(T281)) → U9_G(T281, q46_in_g(f(f(T281))))
U9_G(T281, q46_out_g) → P183_IN_G(T281)
P183_IN_G(f(T281)) → Q46_IN_G(f(f(T281)))
P454_IN_GG(f(T742), f(T742)) → Q1_IN_GG(f(T742), f(T742))
R444_IN_GG(f(T746), T746) → T175_IN_G(T746)
P443_IN_GG(a, b) → R444_IN_GG(a, b)
P443_IN_GG(T764, f(T765)) → U63_GG(T764, T765, r444_in_gg(T764, f(T765)))
U63_GG(T764, T765, r444_out_gg) → P443_IN_GG(T764, T765)
P443_IN_GG(T764, f(T765)) → R444_IN_GG(T764, f(T765))
P162_IN_GG(T260, f(T260)) → U5_GG(T260, q1_in_gg(f(T260), f(T260)))
U5_GG(T260, q1_out_gg) → T175_IN_G(T260)
P162_IN_GG(T260, f(T260)) → Q1_IN_GG(f(T260), f(T260))
R47_IN_G(f(f(T596))) → Q373_IN_G(f(T596))
R47_IN_G(f(T601)) → T175_IN_G(T601)
R36_IN_G(T51) → Q46_IN_G(T51)
R24_IN_G(T36) → Q16_IN_G(T36)
P15_IN_G(T614) → U66_G(T614, r24_in_g(T614))
U66_G(T614, r24_out_g) → U67_G(T614, r36_in_g(T614))
U67_G(T614, r36_out_g) → P407_IN_G(T614)
P407_IN_G(f(f(T642))) → U53_G(T642, r47_in_g(f(f(T642))))
U53_G(T642, r47_out_g) → P63_IN_G(T642)
P407_IN_G(f(f(T642))) → R47_IN_G(f(f(T642)))
U66_G(T614, r24_out_g) → R36_IN_G(T614)
P144_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0) → P151_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0)
P144_IN_GG(f(f(f(f(f(f(f(z0))))))), z0) → P151_IN_GG(f(f(f(f(f(f(f(z0))))))), z0)
q1_in_gg(a, b) → q1_out_gg
q1_in_gg(T11, f(f(T11))) → U85_gg(T11, p15_in_g(T11))
p15_in_g(T22) → U65_g(r24_in_g(T22))
r24_in_g(T36) → U69_g(T36, q16_in_g(T36))
q16_in_g(f(T656)) → U1_g(p407_in_g(f(T656)))
p407_in_g(f(T628)) → U52_g(r47_in_g(f(T628)))
r47_in_g(f(T565)) → U46_g(q373_in_g(T565))
q373_in_g(f(f(T579))) → U82_g(p65_in_g(f(T579)))
p65_in_g(f(T534)) → U39_g(r76_in_g(f(T534)))
r76_in_g(f(T487)) → U34_g(q321_in_g(T487))
q321_in_g(f(f(T501))) → U81_g(p94_in_g(f(T501)))
p94_in_g(f(T456)) → U29_g(r105_in_g(f(T456)))
r105_in_g(f(T409)) → U24_g(q269_in_g(T409))
q269_in_g(f(f(T423))) → U80_g(p123_in_g(f(T423)))
p123_in_g(f(T375)) → U19_g(r134_in_g(f(T375)))
r134_in_g(f(T322)) → U16_g(q214_in_g(T322))
q214_in_g(f(f(T336))) → U79_g(p144_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
p144_in_gg(T200, T201) → U15_gg(p151_in_gg(T200, T201))
p151_in_gg(T200, T201) → U12_gg(r152_in_gg(T200, T201))
r152_in_gg(T228, T229) → U77_gg(p162_in_gg(T228, T229))
p162_in_gg(T228, T229) → U2_gg(q1_in_gg(f(T228), T229))
q1_in_gg(T682, f(f(T683))) → U87_gg(p443_in_gg(T682, T683))
p443_in_gg(T682, T683) → U61_gg(r444_in_gg(T682, T683))
r444_in_gg(T710, T711) → U83_gg(p454_in_gg(T710, T711))
p454_in_gg(T710, T711) → U55_gg(q1_in_gg(T710, T711))
U55_gg(q1_out_gg) → p454_out_gg
p454_in_gg(a, b) → U56_gg(q1_in_gg(a, b))
U56_gg(q1_out_gg) → p454_out_gg
p454_in_gg(T736, f(T737)) → U57_gg(T736, T737, q1_in_gg(T736, f(T737)))
U57_gg(T736, T737, q1_out_gg) → U58_gg(p454_in_gg(T736, T737))
p454_in_gg(f(T742), f(T742)) → U59_gg(T742, q1_in_gg(f(T742), f(T742)))
U59_gg(T742, q1_out_gg) → U60_gg(t175_in_g(T742))
t175_in_g(T270) → U11_g(p183_in_g(T270))
p183_in_g(T270) → U8_g(q46_in_g(f(T270)))
q46_in_g(f(f(T75))) → U7_g(p63_in_g(T75))
p63_in_g(T75) → U50_g(T75, r64_in_g(T75))
r64_in_g(T89) → U71_g(p74_in_g(T89))
p74_in_g(T89) → U42_g(T89, q75_in_g(T89))
q75_in_g(f(f(T113))) → U72_g(p92_in_g(T113))
p92_in_g(T113) → U37_g(T113, r93_in_g(T113))
r93_in_g(T127) → U73_g(p103_in_g(T127))
p103_in_g(T127) → U32_g(T127, q104_in_g(T127))
q104_in_g(f(f(T151))) → U74_g(p121_in_g(T151))
p121_in_g(T151) → U27_g(T151, r122_in_g(T151))
r122_in_g(T165) → U75_g(p132_in_g(T165))
p132_in_g(T165) → U22_g(T165, q133_in_g(T165))
q133_in_g(f(f(T179))) → U76_g(p144_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(p144_out_gg) → q133_out_g
U22_g(T165, q133_out_g) → p132_out_g
U22_g(T165, q133_out_g) → U23_g(r134_in_g(T165))
r134_in_g(f(f(T356))) → U17_g(T356, q214_in_g(f(T356)))
U17_g(T356, q214_out_g) → U18_g(p162_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
p162_in_gg(T254, f(T255)) → U3_gg(T254, T255, q1_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, q1_out_gg) → U4_gg(p162_in_gg(T254, T255))
p162_in_gg(T260, f(T260)) → U5_gg(T260, q1_in_gg(f(T260), f(T260)))
U5_gg(T260, q1_out_gg) → U6_gg(t175_in_g(T260))
U6_gg(t175_out_g) → p162_out_gg
U4_gg(p162_out_gg) → p162_out_gg
U18_g(p162_out_gg) → r134_out_g
U23_g(r134_out_g) → p132_out_g
U75_g(p132_out_g) → r122_out_g
U27_g(T151, r122_out_g) → p121_out_g
U27_g(T151, r122_out_g) → U28_g(p123_in_g(T151))
p123_in_g(f(f(T389))) → U20_g(T389, r134_in_g(f(f(T389))))
U20_g(T389, r134_out_g) → U21_g(p151_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
p151_in_gg(T303, f(T304)) → U13_gg(T303, T304, r152_in_gg(T303, f(T304)))
r152_in_gg(T285, T285) → U78_gg(t175_in_g(T285))
U78_gg(t175_out_g) → r152_out_gg
U13_gg(T303, T304, r152_out_gg) → U14_gg(p151_in_gg(T303, T304))
U14_gg(p151_out_gg) → p151_out_gg
U21_g(p151_out_gg) → p123_out_g
U28_g(p123_out_g) → p121_out_g
U74_g(p121_out_g) → q104_out_g
U32_g(T127, q104_out_g) → p103_out_g
U32_g(T127, q104_out_g) → U33_g(r105_in_g(T127))
r105_in_g(f(f(T440))) → U25_g(T440, q269_in_g(f(T440)))
U25_g(T440, q269_out_g) → U26_g(p132_in_g(T440))
U26_g(p132_out_g) → r105_out_g
U33_g(r105_out_g) → p103_out_g
U73_g(p103_out_g) → r93_out_g
U37_g(T113, r93_out_g) → p92_out_g
U37_g(T113, r93_out_g) → U38_g(p94_in_g(T113))
p94_in_g(f(f(T470))) → U30_g(T470, r105_in_g(f(f(T470))))
U30_g(T470, r105_out_g) → U31_g(p121_in_g(T470))
U31_g(p121_out_g) → p94_out_g
U38_g(p94_out_g) → p92_out_g
U72_g(p92_out_g) → q75_out_g
U42_g(T89, q75_out_g) → p74_out_g
U42_g(T89, q75_out_g) → U43_g(r76_in_g(T89))
r76_in_g(f(f(T518))) → U35_g(T518, q321_in_g(f(T518)))
U35_g(T518, q321_out_g) → U36_g(p103_in_g(T518))
U36_g(p103_out_g) → r76_out_g
U43_g(r76_out_g) → p74_out_g
U71_g(p74_out_g) → r64_out_g
U50_g(T75, r64_out_g) → p63_out_g
U50_g(T75, r64_out_g) → U51_g(p65_in_g(T75))
p65_in_g(f(f(T548))) → U40_g(T548, r76_in_g(f(f(T548))))
U40_g(T548, r76_out_g) → U41_g(p92_in_g(T548))
U41_g(p92_out_g) → p65_out_g
U51_g(p65_out_g) → p63_out_g
U7_g(p63_out_g) → q46_out_g
U8_g(q46_out_g) → p183_out_g
p183_in_g(f(T281)) → U9_g(T281, q46_in_g(f(f(T281))))
U9_g(T281, q46_out_g) → U10_g(p183_in_g(T281))
U10_g(p183_out_g) → p183_out_g
U11_g(p183_out_g) → t175_out_g
U60_gg(t175_out_g) → p454_out_gg
U58_gg(p454_out_gg) → p454_out_gg
U83_gg(p454_out_gg) → r444_out_gg
r444_in_gg(f(T746), T746) → U84_gg(t175_in_g(T746))
U84_gg(t175_out_g) → r444_out_gg
U61_gg(r444_out_gg) → p443_out_gg
p443_in_gg(a, b) → U62_gg(r444_in_gg(a, b))
U62_gg(r444_out_gg) → p443_out_gg
p443_in_gg(T764, f(T765)) → U63_gg(T764, T765, r444_in_gg(T764, f(T765)))
U63_gg(T764, T765, r444_out_gg) → U64_gg(p443_in_gg(T764, T765))
U64_gg(p443_out_gg) → p443_out_gg
U87_gg(p443_out_gg) → q1_out_gg
U2_gg(q1_out_gg) → p162_out_gg
U77_gg(p162_out_gg) → r152_out_gg
U12_gg(r152_out_gg) → p151_out_gg
U15_gg(p151_out_gg) → p144_out_gg
U79_g(p144_out_gg) → q214_out_g
U16_g(q214_out_g) → r134_out_g
U19_g(r134_out_g) → p123_out_g
U80_g(p123_out_g) → q269_out_g
U24_g(q269_out_g) → r105_out_g
U29_g(r105_out_g) → p94_out_g
U81_g(p94_out_g) → q321_out_g
U34_g(q321_out_g) → r76_out_g
U39_g(r76_out_g) → p65_out_g
U82_g(p65_out_g) → q373_out_g
U46_g(q373_out_g) → r47_out_g
r47_in_g(f(f(T596))) → U47_g(T596, q373_in_g(f(T596)))
U47_g(T596, q373_out_g) → U48_g(p74_in_g(T596))
U48_g(p74_out_g) → r47_out_g
r47_in_g(f(T601)) → U49_g(t175_in_g(T601))
U49_g(t175_out_g) → r47_out_g
U52_g(r47_out_g) → p407_out_g
p407_in_g(f(f(T642))) → U53_g(T642, r47_in_g(f(f(T642))))
U53_g(T642, r47_out_g) → U54_g(p63_in_g(T642))
U54_g(p63_out_g) → p407_out_g
U1_g(p407_out_g) → q16_out_g
U69_g(T36, q16_out_g) → r24_out_g
U69_g(T36, q16_out_g) → U70_g(r36_in_g(T36))
r36_in_g(T51) → U44_g(T51, q46_in_g(T51))
U44_g(T51, q46_out_g) → r36_out_g
U44_g(T51, q46_out_g) → U45_g(r47_in_g(T51))
U45_g(r47_out_g) → r36_out_g
U70_g(r36_out_g) → r24_out_g
U65_g(r24_out_g) → p15_out_g
p15_in_g(T614) → U66_g(T614, r24_in_g(T614))
U66_g(T614, r24_out_g) → U67_g(T614, r36_in_g(T614))
U67_g(T614, r36_out_g) → p15_out_g
U67_g(T614, r36_out_g) → U68_g(p407_in_g(T614))
U68_g(p407_out_g) → p15_out_g
U85_gg(T11, p15_out_g) → q1_out_gg
U85_gg(T11, p15_out_g) → U86_gg(q16_in_g(T11))
U86_gg(q16_out_g) → q1_out_gg
q1_in_gg(x0, x1)
p15_in_g(x0)
r24_in_g(x0)
q16_in_g(x0)
p407_in_g(x0)
r47_in_g(x0)
q373_in_g(x0)
p65_in_g(x0)
r76_in_g(x0)
q321_in_g(x0)
p94_in_g(x0)
r105_in_g(x0)
q269_in_g(x0)
p123_in_g(x0)
r134_in_g(x0)
q214_in_g(x0)
p144_in_gg(x0, x1)
p151_in_gg(x0, x1)
r152_in_gg(x0, x1)
p162_in_gg(x0, x1)
p443_in_gg(x0, x1)
r444_in_gg(x0, x1)
p454_in_gg(x0, x1)
U55_gg(x0)
U56_gg(x0)
U57_gg(x0, x1, x2)
U59_gg(x0, x1)
t175_in_g(x0)
p183_in_g(x0)
q46_in_g(x0)
p63_in_g(x0)
r64_in_g(x0)
p74_in_g(x0)
q75_in_g(x0)
p92_in_g(x0)
r93_in_g(x0)
p103_in_g(x0)
q104_in_g(x0)
p121_in_g(x0)
r122_in_g(x0)
p132_in_g(x0)
q133_in_g(x0)
U76_g(x0)
U22_g(x0, x1)
U17_g(x0, x1)
U3_gg(x0, x1, x2)
U5_gg(x0, x1)
U6_gg(x0)
U4_gg(x0)
U18_g(x0)
U23_g(x0)
U75_g(x0)
U27_g(x0, x1)
U20_g(x0, x1)
U78_gg(x0)
U13_gg(x0, x1, x2)
U14_gg(x0)
U21_g(x0)
U28_g(x0)
U74_g(x0)
U32_g(x0, x1)
U25_g(x0, x1)
U26_g(x0)
U33_g(x0)
U73_g(x0)
U37_g(x0, x1)
U30_g(x0, x1)
U31_g(x0)
U38_g(x0)
U72_g(x0)
U42_g(x0, x1)
U35_g(x0, x1)
U36_g(x0)
U43_g(x0)
U71_g(x0)
U50_g(x0, x1)
U40_g(x0, x1)
U41_g(x0)
U51_g(x0)
U7_g(x0)
U8_g(x0)
U9_g(x0, x1)
U10_g(x0)
U11_g(x0)
U60_gg(x0)
U58_gg(x0)
U83_gg(x0)
U84_gg(x0)
U61_gg(x0)
U62_gg(x0)
U63_gg(x0, x1, x2)
U64_gg(x0)
U87_gg(x0)
U2_gg(x0)
U77_gg(x0)
U12_gg(x0)
U15_gg(x0)
U79_g(x0)
U16_g(x0)
U19_g(x0)
U80_g(x0)
U24_g(x0)
U29_g(x0)
U81_g(x0)
U34_g(x0)
U39_g(x0)
U82_g(x0)
U46_g(x0)
U47_g(x0, x1)
U48_g(x0)
U49_g(x0)
U52_g(x0)
U53_g(x0, x1)
U54_g(x0)
U1_g(x0)
U69_g(x0, x1)
r36_in_g(x0)
U44_g(x0, x1)
U45_g(x0)
U70_g(x0)
U65_g(x0)
U66_g(x0, x1)
U67_g(x0, x1)
U68_g(x0)
U85_gg(x0, x1)
U86_gg(x0)
The following pairs can be oriented strictly and are deleted.
The remaining pairs can at least be oriented weakly.
R47_IN_G(f(T565)) → Q373_IN_G(T565)
Q373_IN_G(f(f(T579))) → P65_IN_G(f(T579))
R76_IN_G(f(T487)) → Q321_IN_G(T487)
R105_IN_G(f(T409)) → Q269_IN_G(T409)
Q269_IN_G(f(f(T423))) → P123_IN_G(f(T423))
P123_IN_G(f(T375)) → R134_IN_G(f(T375))
R134_IN_G(f(T322)) → Q214_IN_G(T322)
Q214_IN_G(f(f(T336))) → P144_IN_GG(f(f(f(f(f(f(f(f(T336)))))))), T336)
P162_IN_GG(T228, T229) → Q1_IN_GG(f(T228), T229)
Q1_IN_GG(T11, f(f(T11))) → U85_GG(T11, p15_in_g(T11))
Q1_IN_GG(T11, f(f(T11))) → P15_IN_G(T11)
R47_IN_G(f(f(T596))) → U47_G(T596, q373_in_g(f(T596)))
R76_IN_G(f(f(T518))) → U35_G(T518, q321_in_g(f(T518)))
R105_IN_G(f(f(T440))) → U25_G(T440, q269_in_g(f(T440)))
R134_IN_G(f(f(T356))) → U17_G(T356, q214_in_g(f(T356)))
P162_IN_GG(T254, f(T255)) → U3_GG(T254, T255, q1_in_gg(f(T254), f(T255)))
P162_IN_GG(T254, f(T255)) → Q1_IN_GG(f(T254), f(T255))
Q1_IN_GG(T682, f(f(T683))) → P443_IN_GG(T682, T683)
P454_IN_GG(T710, T711) → Q1_IN_GG(T710, T711)
P454_IN_GG(T736, f(T737)) → U57_GG(T736, T737, q1_in_gg(T736, f(T737)))
P454_IN_GG(T736, f(T737)) → Q1_IN_GG(T736, f(T737))
P454_IN_GG(f(T742), f(T742)) → U59_GG(T742, q1_in_gg(f(T742), f(T742)))
Q46_IN_G(f(f(T75))) → P63_IN_G(T75)
P65_IN_G(f(f(T548))) → U40_G(T548, r76_in_g(f(f(T548))))
P94_IN_G(f(f(T470))) → U30_G(T470, r105_in_g(f(f(T470))))
P123_IN_G(f(f(T389))) → U20_G(T389, r134_in_g(f(f(T389))))
P151_IN_GG(T303, f(T304)) → U13_GG(T303, T304, r152_in_gg(T303, f(T304)))
P123_IN_G(f(f(T389))) → R134_IN_G(f(f(T389)))
R134_IN_G(f(f(T356))) → Q214_IN_G(f(T356))
P121_IN_G(T151) → R122_IN_G(T151)
Q133_IN_G(f(f(T179))) → P144_IN_GG(f(f(f(f(f(f(f(T179))))))), T179)
R105_IN_G(f(f(T440))) → Q269_IN_G(f(T440))
P103_IN_G(T127) → Q104_IN_G(T127)
Q104_IN_G(f(f(T151))) → P121_IN_G(T151)
R76_IN_G(f(f(T518))) → Q321_IN_G(f(T518))
Q75_IN_G(f(f(T113))) → P92_IN_G(T113)
P183_IN_G(f(T281)) → U9_G(T281, q46_in_g(f(f(T281))))
P454_IN_GG(f(T742), f(T742)) → Q1_IN_GG(f(T742), f(T742))
P443_IN_GG(T764, f(T765)) → U63_GG(T764, T765, r444_in_gg(T764, f(T765)))
P162_IN_GG(T260, f(T260)) → U5_GG(T260, q1_in_gg(f(T260), f(T260)))
P162_IN_GG(T260, f(T260)) → Q1_IN_GG(f(T260), f(T260))
R47_IN_G(f(f(T596))) → Q373_IN_G(f(T596))
R47_IN_G(f(T601)) → T175_IN_G(T601)
R36_IN_G(T51) → Q46_IN_G(T51)
P407_IN_G(f(f(T642))) → U53_G(T642, r47_in_g(f(f(T642))))
POL(P103_IN_G(x1)) = 1 + x1
POL(P121_IN_G(x1)) = 1 + x1
POL(P123_IN_G(x1)) = 1 + x1
POL(P132_IN_G(x1)) = x1
POL(P144_IN_GG(x1, x2)) = 1 + x2
POL(P151_IN_GG(x1, x2)) = 1 + x2
POL(P15_IN_G(x1)) = 1 + x1
POL(P162_IN_GG(x1, x2)) = 1 + x2
POL(P183_IN_G(x1)) = 1 + x1
POL(P407_IN_G(x1)) = 1 + x1
POL(P443_IN_GG(x1, x2)) = 1 + x2
POL(P454_IN_GG(x1, x2)) = 1 + x2
POL(P63_IN_G(x1)) = x1
POL(P65_IN_G(x1)) = x1
POL(P74_IN_G(x1)) = x1
POL(P92_IN_G(x1)) = 1 + x1
POL(P94_IN_G(x1)) = 1 + x1
POL(Q104_IN_G(x1)) = x1
POL(Q133_IN_G(x1)) = x1
POL(Q16_IN_G(x1)) = 1 + x1
POL(Q1_IN_GG(x1, x2)) = x2
POL(Q214_IN_G(x1)) = x1
POL(Q269_IN_G(x1)) = 1 + x1
POL(Q321_IN_G(x1)) = x1
POL(Q373_IN_G(x1)) = x1
POL(Q46_IN_G(x1)) = x1
POL(Q75_IN_G(x1)) = x1
POL(R105_IN_G(x1)) = 1 + x1
POL(R122_IN_G(x1)) = x1
POL(R134_IN_G(x1)) = x1
POL(R152_IN_GG(x1, x2)) = 1 + x2
POL(R24_IN_G(x1)) = 1 + x1
POL(R36_IN_G(x1)) = 1 + x1
POL(R444_IN_GG(x1, x2)) = 1 + x2
POL(R47_IN_G(x1)) = 1 + x1
POL(R64_IN_G(x1)) = x1
POL(R76_IN_G(x1)) = x1
POL(R93_IN_G(x1)) = 1 + x1
POL(T175_IN_G(x1)) = 1 + x1
POL(U10_g(x1)) = 0
POL(U11_g(x1)) = 0
POL(U12_gg(x1)) = 0
POL(U13_GG(x1, x2, x3)) = 1 + x2
POL(U13_gg(x1, x2, x3)) = 0
POL(U14_gg(x1)) = 0
POL(U15_gg(x1)) = 0
POL(U16_g(x1)) = 0
POL(U17_G(x1, x2)) = 1 + x1
POL(U17_g(x1, x2)) = 0
POL(U18_g(x1)) = 0
POL(U19_g(x1)) = 0
POL(U1_g(x1)) = 0
POL(U20_G(x1, x2)) = 1 + x1
POL(U20_g(x1, x2)) = 0
POL(U21_g(x1)) = 0
POL(U22_G(x1, x2)) = x1
POL(U22_g(x1, x2)) = 0
POL(U23_g(x1)) = 0
POL(U24_g(x1)) = 0
POL(U25_G(x1, x2)) = x1
POL(U25_g(x1, x2)) = 0
POL(U26_g(x1)) = 0
POL(U27_G(x1, x2)) = 1 + x1
POL(U27_g(x1, x2)) = 0
POL(U28_g(x1)) = 0
POL(U29_g(x1)) = 0
POL(U2_gg(x1)) = 0
POL(U30_G(x1, x2)) = 1 + x1
POL(U30_g(x1, x2)) = 0
POL(U31_g(x1)) = 0
POL(U32_G(x1, x2)) = 1 + x1
POL(U32_g(x1, x2)) = 0
POL(U33_g(x1)) = 0
POL(U34_g(x1)) = 0
POL(U35_G(x1, x2)) = 1 + x1
POL(U35_g(x1, x2)) = 0
POL(U36_g(x1)) = 0
POL(U37_G(x1, x2)) = 1 + x1
POL(U37_g(x1, x2)) = 0
POL(U38_g(x1)) = 0
POL(U39_g(x1)) = 0
POL(U3_GG(x1, x2, x3)) = 1 + x2
POL(U3_gg(x1, x2, x3)) = 0
POL(U40_G(x1, x2)) = 1 + x1
POL(U40_g(x1, x2)) = 0
POL(U41_g(x1)) = 0
POL(U42_G(x1, x2)) = x1
POL(U42_g(x1, x2)) = 0
POL(U43_g(x1)) = 0
POL(U44_G(x1, x2)) = 1 + x1
POL(U44_g(x1, x2)) = 0
POL(U45_g(x1)) = 0
POL(U46_g(x1)) = 0
POL(U47_G(x1, x2)) = x1
POL(U47_g(x1, x2)) = 0
POL(U48_g(x1)) = 0
POL(U49_g(x1)) = 0
POL(U4_gg(x1)) = 0
POL(U50_G(x1, x2)) = x1
POL(U50_g(x1, x2)) = 0
POL(U51_g(x1)) = 0
POL(U52_g(x1)) = 0
POL(U53_G(x1, x2)) = x1
POL(U53_g(x1, x2)) = 0
POL(U54_g(x1)) = 0
POL(U55_gg(x1)) = 0
POL(U56_gg(x1)) = 0
POL(U57_GG(x1, x2, x3)) = 1 + x2
POL(U57_gg(x1, x2, x3)) = 0
POL(U58_gg(x1)) = 0
POL(U59_GG(x1, x2)) = 1 + x1
POL(U59_gg(x1, x2)) = 0
POL(U5_GG(x1, x2)) = 1 + x1
POL(U5_gg(x1, x2)) = 0
POL(U60_gg(x1)) = 0
POL(U61_gg(x1)) = 0
POL(U62_gg(x1)) = 0
POL(U63_GG(x1, x2, x3)) = 1 + x2
POL(U63_gg(x1, x2, x3)) = 0
POL(U64_gg(x1)) = 0
POL(U65_g(x1)) = 0
POL(U66_G(x1, x2)) = 1 + x1
POL(U66_g(x1, x2)) = 0
POL(U67_G(x1, x2)) = 1 + x1
POL(U67_g(x1, x2)) = 0
POL(U68_g(x1)) = 0
POL(U69_G(x1, x2)) = 1 + x1
POL(U69_g(x1, x2)) = 0
POL(U6_gg(x1)) = 0
POL(U70_g(x1)) = 0
POL(U71_g(x1)) = 0
POL(U72_g(x1)) = 0
POL(U73_g(x1)) = 0
POL(U74_g(x1)) = 0
POL(U75_g(x1)) = 0
POL(U76_g(x1)) = 0
POL(U77_gg(x1)) = 0
POL(U78_gg(x1)) = 0
POL(U79_g(x1)) = 0
POL(U7_g(x1)) = 0
POL(U80_g(x1)) = 0
POL(U81_g(x1)) = 0
POL(U82_g(x1)) = 0
POL(U83_gg(x1)) = 0
POL(U84_gg(x1)) = 0
POL(U85_GG(x1, x2)) = 1 + x1
POL(U85_gg(x1, x2)) = 0
POL(U86_gg(x1)) = 0
POL(U87_gg(x1)) = 0
POL(U8_g(x1)) = 0
POL(U9_G(x1, x2)) = 1 + x1
POL(U9_g(x1, x2)) = 0
POL(a) = 0
POL(b) = 0
POL(f(x1)) = 1 + x1
POL(p103_in_g(x1)) = 0
POL(p103_out_g) = 0
POL(p121_in_g(x1)) = 0
POL(p121_out_g) = 0
POL(p123_in_g(x1)) = 0
POL(p123_out_g) = 0
POL(p132_in_g(x1)) = 0
POL(p132_out_g) = 0
POL(p144_in_gg(x1, x2)) = 0
POL(p144_out_gg) = 0
POL(p151_in_gg(x1, x2)) = 0
POL(p151_out_gg) = 0
POL(p15_in_g(x1)) = 0
POL(p15_out_g) = 0
POL(p162_in_gg(x1, x2)) = 0
POL(p162_out_gg) = 0
POL(p183_in_g(x1)) = 0
POL(p183_out_g) = 0
POL(p407_in_g(x1)) = 0
POL(p407_out_g) = 0
POL(p443_in_gg(x1, x2)) = 0
POL(p443_out_gg) = 0
POL(p454_in_gg(x1, x2)) = 1
POL(p454_out_gg) = 0
POL(p63_in_g(x1)) = 0
POL(p63_out_g) = 0
POL(p65_in_g(x1)) = 0
POL(p65_out_g) = 0
POL(p74_in_g(x1)) = 0
POL(p74_out_g) = 0
POL(p92_in_g(x1)) = 0
POL(p92_out_g) = 0
POL(p94_in_g(x1)) = 0
POL(p94_out_g) = 0
POL(q104_in_g(x1)) = 0
POL(q104_out_g) = 0
POL(q133_in_g(x1)) = 0
POL(q133_out_g) = 0
POL(q16_in_g(x1)) = 0
POL(q16_out_g) = 0
POL(q1_in_gg(x1, x2)) = 0
POL(q1_out_gg) = 0
POL(q214_in_g(x1)) = 0
POL(q214_out_g) = 0
POL(q269_in_g(x1)) = 0
POL(q269_out_g) = 0
POL(q321_in_g(x1)) = 0
POL(q321_out_g) = 0
POL(q373_in_g(x1)) = 0
POL(q373_out_g) = 0
POL(q46_in_g(x1)) = 0
POL(q46_out_g) = 0
POL(q75_in_g(x1)) = 0
POL(q75_out_g) = 0
POL(r105_in_g(x1)) = 0
POL(r105_out_g) = 0
POL(r122_in_g(x1)) = 0
POL(r122_out_g) = 0
POL(r134_in_g(x1)) = 0
POL(r134_out_g) = 0
POL(r152_in_gg(x1, x2)) = 0
POL(r152_out_gg) = 0
POL(r24_in_g(x1)) = 0
POL(r24_out_g) = 0
POL(r36_in_g(x1)) = 0
POL(r36_out_g) = 0
POL(r444_in_gg(x1, x2)) = 0
POL(r444_out_gg) = 0
POL(r47_in_g(x1)) = 0
POL(r47_out_g) = 0
POL(r64_in_g(x1)) = 0
POL(r64_out_g) = 0
POL(r76_in_g(x1)) = 0
POL(r76_out_g) = 0
POL(r93_in_g(x1)) = 0
POL(r93_out_g) = 0
POL(t175_in_g(x1)) = 0
POL(t175_out_g) = 0
U85_GG(T11, p15_out_g) → Q16_IN_G(T11)
Q16_IN_G(f(T656)) → P407_IN_G(f(T656))
P407_IN_G(f(T628)) → R47_IN_G(f(T628))
P65_IN_G(f(T534)) → R76_IN_G(f(T534))
Q321_IN_G(f(f(T501))) → P94_IN_G(f(T501))
P94_IN_G(f(T456)) → R105_IN_G(f(T456))
P151_IN_GG(T200, T201) → R152_IN_GG(T200, T201)
R152_IN_GG(T228, T229) → P162_IN_GG(T228, T229)
P15_IN_G(T22) → R24_IN_G(T22)
R24_IN_G(T36) → U69_G(T36, q16_in_g(T36))
U69_G(T36, q16_out_g) → R36_IN_G(T36)
R36_IN_G(T51) → U44_G(T51, q46_in_g(T51))
U44_G(T51, q46_out_g) → R47_IN_G(T51)
U47_G(T596, q373_out_g) → P74_IN_G(T596)
P74_IN_G(T89) → U42_G(T89, q75_in_g(T89))
U42_G(T89, q75_out_g) → R76_IN_G(T89)
U35_G(T518, q321_out_g) → P103_IN_G(T518)
P103_IN_G(T127) → U32_G(T127, q104_in_g(T127))
U32_G(T127, q104_out_g) → R105_IN_G(T127)
U25_G(T440, q269_out_g) → P132_IN_G(T440)
P132_IN_G(T165) → U22_G(T165, q133_in_g(T165))
U22_G(T165, q133_out_g) → R134_IN_G(T165)
U17_G(T356, q214_out_g) → P162_IN_GG(f(f(f(f(f(f(f(T356))))))), T356)
U3_GG(T254, T255, q1_out_gg) → P162_IN_GG(T254, T255)
P443_IN_GG(T682, T683) → R444_IN_GG(T682, T683)
R444_IN_GG(T710, T711) → P454_IN_GG(T710, T711)
U57_GG(T736, T737, q1_out_gg) → P454_IN_GG(T736, T737)
U59_GG(T742, q1_out_gg) → T175_IN_G(T742)
T175_IN_G(T270) → P183_IN_G(T270)
P183_IN_G(T270) → Q46_IN_G(f(T270))
P63_IN_G(T75) → U50_G(T75, r64_in_g(T75))
U50_G(T75, r64_out_g) → P65_IN_G(T75)
U40_G(T548, r76_out_g) → P92_IN_G(T548)
P92_IN_G(T113) → U37_G(T113, r93_in_g(T113))
U37_G(T113, r93_out_g) → P94_IN_G(T113)
U30_G(T470, r105_out_g) → P121_IN_G(T470)
P121_IN_G(T151) → U27_G(T151, r122_in_g(T151))
U27_G(T151, r122_out_g) → P123_IN_G(T151)
U20_G(T389, r134_out_g) → P151_IN_GG(f(f(f(f(f(f(f(T389))))))), T389)
U13_GG(T303, T304, r152_out_gg) → P151_IN_GG(T303, T304)
P151_IN_GG(T303, f(T304)) → R152_IN_GG(T303, f(T304))
R152_IN_GG(T285, T285) → T175_IN_G(T285)
R122_IN_G(T165) → P132_IN_G(T165)
P132_IN_G(T165) → Q133_IN_G(T165)
P94_IN_G(f(f(T470))) → R105_IN_G(f(f(T470)))
P92_IN_G(T113) → R93_IN_G(T113)
R93_IN_G(T127) → P103_IN_G(T127)
P65_IN_G(f(f(T548))) → R76_IN_G(f(f(T548)))
P63_IN_G(T75) → R64_IN_G(T75)
R64_IN_G(T89) → P74_IN_G(T89)
P74_IN_G(T89) → Q75_IN_G(T89)
U9_G(T281, q46_out_g) → P183_IN_G(T281)
P183_IN_G(f(T281)) → Q46_IN_G(f(f(T281)))
R444_IN_GG(f(T746), T746) → T175_IN_G(T746)
P443_IN_GG(a, b) → R444_IN_GG(a, b)
U63_GG(T764, T765, r444_out_gg) → P443_IN_GG(T764, T765)
P443_IN_GG(T764, f(T765)) → R444_IN_GG(T764, f(T765))
U5_GG(T260, q1_out_gg) → T175_IN_G(T260)
R24_IN_G(T36) → Q16_IN_G(T36)
P15_IN_G(T614) → U66_G(T614, r24_in_g(T614))
U66_G(T614, r24_out_g) → U67_G(T614, r36_in_g(T614))
U67_G(T614, r36_out_g) → P407_IN_G(T614)
U53_G(T642, r47_out_g) → P63_IN_G(T642)
P407_IN_G(f(f(T642))) → R47_IN_G(f(f(T642)))
U66_G(T614, r24_out_g) → R36_IN_G(T614)
P144_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0) → P151_IN_GG(f(f(f(f(f(f(f(f(z0)))))))), z0)
P144_IN_GG(f(f(f(f(f(f(f(z0))))))), z0) → P151_IN_GG(f(f(f(f(f(f(f(z0))))))), z0)
q1_in_gg(a, b) → q1_out_gg
q1_in_gg(T11, f(f(T11))) → U85_gg(T11, p15_in_g(T11))
p15_in_g(T22) → U65_g(r24_in_g(T22))
r24_in_g(T36) → U69_g(T36, q16_in_g(T36))
q16_in_g(f(T656)) → U1_g(p407_in_g(f(T656)))
p407_in_g(f(T628)) → U52_g(r47_in_g(f(T628)))
r47_in_g(f(T565)) → U46_g(q373_in_g(T565))
q373_in_g(f(f(T579))) → U82_g(p65_in_g(f(T579)))
p65_in_g(f(T534)) → U39_g(r76_in_g(f(T534)))
r76_in_g(f(T487)) → U34_g(q321_in_g(T487))
q321_in_g(f(f(T501))) → U81_g(p94_in_g(f(T501)))
p94_in_g(f(T456)) → U29_g(r105_in_g(f(T456)))
r105_in_g(f(T409)) → U24_g(q269_in_g(T409))
q269_in_g(f(f(T423))) → U80_g(p123_in_g(f(T423)))
p123_in_g(f(T375)) → U19_g(r134_in_g(f(T375)))
r134_in_g(f(T322)) → U16_g(q214_in_g(T322))
q214_in_g(f(f(T336))) → U79_g(p144_in_gg(f(f(f(f(f(f(f(f(T336)))))))), T336))
p144_in_gg(T200, T201) → U15_gg(p151_in_gg(T200, T201))
p151_in_gg(T200, T201) → U12_gg(r152_in_gg(T200, T201))
r152_in_gg(T228, T229) → U77_gg(p162_in_gg(T228, T229))
p162_in_gg(T228, T229) → U2_gg(q1_in_gg(f(T228), T229))
q1_in_gg(T682, f(f(T683))) → U87_gg(p443_in_gg(T682, T683))
p443_in_gg(T682, T683) → U61_gg(r444_in_gg(T682, T683))
r444_in_gg(T710, T711) → U83_gg(p454_in_gg(T710, T711))
p454_in_gg(T710, T711) → U55_gg(q1_in_gg(T710, T711))
U55_gg(q1_out_gg) → p454_out_gg
p454_in_gg(a, b) → U56_gg(q1_in_gg(a, b))
U56_gg(q1_out_gg) → p454_out_gg
p454_in_gg(T736, f(T737)) → U57_gg(T736, T737, q1_in_gg(T736, f(T737)))
U57_gg(T736, T737, q1_out_gg) → U58_gg(p454_in_gg(T736, T737))
p454_in_gg(f(T742), f(T742)) → U59_gg(T742, q1_in_gg(f(T742), f(T742)))
U59_gg(T742, q1_out_gg) → U60_gg(t175_in_g(T742))
t175_in_g(T270) → U11_g(p183_in_g(T270))
p183_in_g(T270) → U8_g(q46_in_g(f(T270)))
q46_in_g(f(f(T75))) → U7_g(p63_in_g(T75))
p63_in_g(T75) → U50_g(T75, r64_in_g(T75))
r64_in_g(T89) → U71_g(p74_in_g(T89))
p74_in_g(T89) → U42_g(T89, q75_in_g(T89))
q75_in_g(f(f(T113))) → U72_g(p92_in_g(T113))
p92_in_g(T113) → U37_g(T113, r93_in_g(T113))
r93_in_g(T127) → U73_g(p103_in_g(T127))
p103_in_g(T127) → U32_g(T127, q104_in_g(T127))
q104_in_g(f(f(T151))) → U74_g(p121_in_g(T151))
p121_in_g(T151) → U27_g(T151, r122_in_g(T151))
r122_in_g(T165) → U75_g(p132_in_g(T165))
p132_in_g(T165) → U22_g(T165, q133_in_g(T165))
q133_in_g(f(f(T179))) → U76_g(p144_in_gg(f(f(f(f(f(f(f(T179))))))), T179))
U76_g(p144_out_gg) → q133_out_g
U22_g(T165, q133_out_g) → p132_out_g
U22_g(T165, q133_out_g) → U23_g(r134_in_g(T165))
r134_in_g(f(f(T356))) → U17_g(T356, q214_in_g(f(T356)))
U17_g(T356, q214_out_g) → U18_g(p162_in_gg(f(f(f(f(f(f(f(T356))))))), T356))
p162_in_gg(T254, f(T255)) → U3_gg(T254, T255, q1_in_gg(f(T254), f(T255)))
U3_gg(T254, T255, q1_out_gg) → U4_gg(p162_in_gg(T254, T255))
p162_in_gg(T260, f(T260)) → U5_gg(T260, q1_in_gg(f(T260), f(T260)))
U5_gg(T260, q1_out_gg) → U6_gg(t175_in_g(T260))
U6_gg(t175_out_g) → p162_out_gg
U4_gg(p162_out_gg) → p162_out_gg
U18_g(p162_out_gg) → r134_out_g
U23_g(r134_out_g) → p132_out_g
U75_g(p132_out_g) → r122_out_g
U27_g(T151, r122_out_g) → p121_out_g
U27_g(T151, r122_out_g) → U28_g(p123_in_g(T151))
p123_in_g(f(f(T389))) → U20_g(T389, r134_in_g(f(f(T389))))
U20_g(T389, r134_out_g) → U21_g(p151_in_gg(f(f(f(f(f(f(f(T389))))))), T389))
p151_in_gg(T303, f(T304)) → U13_gg(T303, T304, r152_in_gg(T303, f(T304)))
r152_in_gg(T285, T285) → U78_gg(t175_in_g(T285))
U78_gg(t175_out_g) → r152_out_gg
U13_gg(T303, T304, r152_out_gg) → U14_gg(p151_in_gg(T303, T304))
U14_gg(p151_out_gg) → p151_out_gg
U21_g(p151_out_gg) → p123_out_g
U28_g(p123_out_g) → p121_out_g
U74_g(p121_out_g) → q104_out_g
U32_g(T127, q104_out_g) → p103_out_g
U32_g(T127, q104_out_g) → U33_g(r105_in_g(T127))
r105_in_g(f(f(T440))) → U25_g(T440, q269_in_g(f(T440)))
U25_g(T440, q269_out_g) → U26_g(p132_in_g(T440))
U26_g(p132_out_g) → r105_out_g
U33_g(r105_out_g) → p103_out_g
U73_g(p103_out_g) → r93_out_g
U37_g(T113, r93_out_g) → p92_out_g
U37_g(T113, r93_out_g) → U38_g(p94_in_g(T113))
p94_in_g(f(f(T470))) → U30_g(T470, r105_in_g(f(f(T470))))
U30_g(T470, r105_out_g) → U31_g(p121_in_g(T470))
U31_g(p121_out_g) → p94_out_g
U38_g(p94_out_g) → p92_out_g
U72_g(p92_out_g) → q75_out_g
U42_g(T89, q75_out_g) → p74_out_g
U42_g(T89, q75_out_g) → U43_g(r76_in_g(T89))
r76_in_g(f(f(T518))) → U35_g(T518, q321_in_g(f(T518)))
U35_g(T518, q321_out_g) → U36_g(p103_in_g(T518))
U36_g(p103_out_g) → r76_out_g
U43_g(r76_out_g) → p74_out_g
U71_g(p74_out_g) → r64_out_g
U50_g(T75, r64_out_g) → p63_out_g
U50_g(T75, r64_out_g) → U51_g(p65_in_g(T75))
p65_in_g(f(f(T548))) → U40_g(T548, r76_in_g(f(f(T548))))
U40_g(T548, r76_out_g) → U41_g(p92_in_g(T548))
U41_g(p92_out_g) → p65_out_g
U51_g(p65_out_g) → p63_out_g
U7_g(p63_out_g) → q46_out_g
U8_g(q46_out_g) → p183_out_g
p183_in_g(f(T281)) → U9_g(T281, q46_in_g(f(f(T281))))
U9_g(T281, q46_out_g) → U10_g(p183_in_g(T281))
U10_g(p183_out_g) → p183_out_g
U11_g(p183_out_g) → t175_out_g
U60_gg(t175_out_g) → p454_out_gg
U58_gg(p454_out_gg) → p454_out_gg
U83_gg(p454_out_gg) → r444_out_gg
r444_in_gg(f(T746), T746) → U84_gg(t175_in_g(T746))
U84_gg(t175_out_g) → r444_out_gg
U61_gg(r444_out_gg) → p443_out_gg
p443_in_gg(a, b) → U62_gg(r444_in_gg(a, b))
U62_gg(r444_out_gg) → p443_out_gg
p443_in_gg(T764, f(T765)) → U63_gg(T764, T765, r444_in_gg(T764, f(T765)))
U63_gg(T764, T765, r444_out_gg) → U64_gg(p443_in_gg(T764, T765))
U64_gg(p443_out_gg) → p443_out_gg
U87_gg(p443_out_gg) → q1_out_gg
U2_gg(q1_out_gg) → p162_out_gg
U77_gg(p162_out_gg) → r152_out_gg
U12_gg(r152_out_gg) → p151_out_gg
U15_gg(p151_out_gg) → p144_out_gg
U79_g(p144_out_gg) → q214_out_g
U16_g(q214_out_g) → r134_out_g
U19_g(r134_out_g) → p123_out_g
U80_g(p123_out_g) → q269_out_g
U24_g(q269_out_g) → r105_out_g
U29_g(r105_out_g) → p94_out_g
U81_g(p94_out_g) → q321_out_g
U34_g(q321_out_g) → r76_out_g
U39_g(r76_out_g) → p65_out_g
U82_g(p65_out_g) → q373_out_g
U46_g(q373_out_g) → r47_out_g
r47_in_g(f(f(T596))) → U47_g(T596, q373_in_g(f(T596)))
U47_g(T596, q373_out_g) → U48_g(p74_in_g(T596))
U48_g(p74_out_g) → r47_out_g
r47_in_g(f(T601)) → U49_g(t175_in_g(T601))
U49_g(t175_out_g) → r47_out_g
U52_g(r47_out_g) → p407_out_g
p407_in_g(f(f(T642))) → U53_g(T642, r47_in_g(f(f(T642))))
U53_g(T642, r47_out_g) → U54_g(p63_in_g(T642))
U54_g(p63_out_g) → p407_out_g
U1_g(p407_out_g) → q16_out_g
U69_g(T36, q16_out_g) → r24_out_g
U69_g(T36, q16_out_g) → U70_g(r36_in_g(T36))
r36_in_g(T51) → U44_g(T51, q46_in_g(T51))
U44_g(T51, q46_out_g) → r36_out_g
U44_g(T51, q46_out_g) → U45_g(r47_in_g(T51))
U45_g(r47_out_g) → r36_out_g
U70_g(r36_out_g) → r24_out_g
U65_g(r24_out_g) → p15_out_g
p15_in_g(T614) → U66_g(T614, r24_in_g(T614))
U66_g(T614, r24_out_g) → U67_g(T614, r36_in_g(T614))
U67_g(T614, r36_out_g) → p15_out_g
U67_g(T614, r36_out_g) → U68_g(p407_in_g(T614))
U68_g(p407_out_g) → p15_out_g
U85_gg(T11, p15_out_g) → q1_out_gg
U85_gg(T11, p15_out_g) → U86_gg(q16_in_g(T11))
U86_gg(q16_out_g) → q1_out_gg
q1_in_gg(x0, x1)
p15_in_g(x0)
r24_in_g(x0)
q16_in_g(x0)
p407_in_g(x0)
r47_in_g(x0)
q373_in_g(x0)
p65_in_g(x0)
r76_in_g(x0)
q321_in_g(x0)
p94_in_g(x0)
r105_in_g(x0)
q269_in_g(x0)
p123_in_g(x0)
r134_in_g(x0)
q214_in_g(x0)
p144_in_gg(x0, x1)
p151_in_gg(x0, x1)
r152_in_gg(x0, x1)
p162_in_gg(x0, x1)
p443_in_gg(x0, x1)
r444_in_gg(x0, x1)
p454_in_gg(x0, x1)
U55_gg(x0)
U56_gg(x0)
U57_gg(x0, x1, x2)
U59_gg(x0, x1)
t175_in_g(x0)
p183_in_g(x0)
q46_in_g(x0)
p63_in_g(x0)
r64_in_g(x0)
p74_in_g(x0)
q75_in_g(x0)
p92_in_g(x0)
r93_in_g(x0)
p103_in_g(x0)
q104_in_g(x0)
p121_in_g(x0)
r122_in_g(x0)
p132_in_g(x0)
q133_in_g(x0)
U76_g(x0)
U22_g(x0, x1)
U17_g(x0, x1)
U3_gg(x0, x1, x2)
U5_gg(x0, x1)
U6_gg(x0)
U4_gg(x0)
U18_g(x0)
U23_g(x0)
U75_g(x0)
U27_g(x0, x1)
U20_g(x0, x1)
U78_gg(x0)
U13_gg(x0, x1, x2)
U14_gg(x0)
U21_g(x0)
U28_g(x0)
U74_g(x0)
U32_g(x0, x1)
U25_g(x0, x1)
U26_g(x0)
U33_g(x0)
U73_g(x0)
U37_g(x0, x1)
U30_g(x0, x1)
U31_g(x0)
U38_g(x0)
U72_g(x0)
U42_g(x0, x1)
U35_g(x0, x1)
U36_g(x0)
U43_g(x0)
U71_g(x0)
U50_g(x0, x1)
U40_g(x0, x1)
U41_g(x0)
U51_g(x0)
U7_g(x0)
U8_g(x0)
U9_g(x0, x1)
U10_g(x0)
U11_g(x0)
U60_gg(x0)
U58_gg(x0)
U83_gg(x0)
U84_gg(x0)
U61_gg(x0)
U62_gg(x0)
U63_gg(x0, x1, x2)
U64_gg(x0)
U87_gg(x0)
U2_gg(x0)
U77_gg(x0)
U12_gg(x0)
U15_gg(x0)
U79_g(x0)
U16_g(x0)
U19_g(x0)
U80_g(x0)
U24_g(x0)
U29_g(x0)
U81_g(x0)
U34_g(x0)
U39_g(x0)
U82_g(x0)
U46_g(x0)
U47_g(x0, x1)
U48_g(x0)
U49_g(x0)
U52_g(x0)
U53_g(x0, x1)
U54_g(x0)
U1_g(x0)
U69_g(x0, x1)
r36_in_g(x0)
U44_g(x0, x1)
U45_g(x0)
U70_g(x0)
U65_g(x0)
U66_g(x0, x1)
U67_g(x0, x1)
U68_g(x0)
U85_gg(x0, x1)
U86_gg(x0)