0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇐)
↳2 Prolog
↳3 PrologToPiTRSProof (⇐)
↳4 PiTRS
↳5 DependencyPairsProof (⇔)
↳6 PiDP
↳7 DependencyGraphProof (⇔)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔)
↳11 PiDP
↳12 PiDPToQDPProof (⇐)
↳13 QDP
↳14 QDPSizeChangeProof (⇔)
↳15 TRUE
↳16 PiDP
↳17 UsableRulesProof (⇔)
↳18 PiDP
↳19 PiDPToQDPProof (⇐)
↳20 QDP
↳21 QDPSizeChangeProof (⇔)
↳22 TRUE
↳23 PiDP
↳24 UsableRulesProof (⇔)
↳25 PiDP
↳26 PiDPToQDPProof (⇐)
↳27 QDP
↳28 QDPSizeChangeProof (⇔)
↳29 TRUE
goal1_in_ga(.(T7, T8), T5) → U61_ga(T7, T8, T5, reduce7_in_gga(T8, T7, X12))
reduce7_in_gga([], T10, []) → reduce7_out_gga([], T10, [])
reduce7_in_gga(.(97, T12), 97, X29) → U1_gga(T12, X29, reduce7_in_gga(T12, 97, X29))
reduce7_in_gga(.(101, T12), 101, X29) → U2_gga(T12, X29, reduce7_in_gga(T12, 101, X29))
reduce7_in_gga(.(105, T12), 105, X29) → U3_gga(T12, X29, reduce7_in_gga(T12, 105, X29))
reduce7_in_gga(.(111, T12), 111, X29) → U4_gga(T12, X29, reduce7_in_gga(T12, 111, X29))
reduce7_in_gga(.(117, T12), 117, X29) → U5_gga(T12, X29, reduce7_in_gga(T12, 117, X29))
reduce7_in_gga(.(104, T12), 104, X29) → U6_gga(T12, X29, reduce7_in_gga(T12, 104, X29))
reduce7_in_gga(.(119, T12), 119, X29) → U7_gga(T12, X29, reduce7_in_gga(T12, 119, X29))
reduce7_in_gga(.(121, T12), 121, X29) → U8_gga(T12, X29, reduce7_in_gga(T12, 121, X29))
reduce7_in_gga(.(T13, T14), T13, X38) → U9_gga(T13, T14, X38, reduce7_in_gga(T14, T13, X38))
reduce7_in_gga(.(T15, T16), T15, X47) → U10_gga(T15, T16, X47, reduce7_in_gga(T16, T15, X47))
reduce7_in_gga(.(T20, []), T19, .(T20, [])) → reduce7_out_gga(.(T20, []), T19, .(T20, []))
reduce7_in_gga(.(97, .(97, T22)), T19, .(97, X73)) → U11_gga(T22, T19, X73, reduce50_in_gga(T22, 97, X73))
reduce50_in_gga([], T20, []) → reduce50_out_gga([], T20, [])
reduce50_in_gga(.(97, T22), 97, X73) → U31_gga(T22, X73, reduce50_in_gga(T22, 97, X73))
reduce50_in_gga(.(101, T22), 101, X73) → U32_gga(T22, X73, reduce50_in_gga(T22, 101, X73))
reduce50_in_gga(.(105, T22), 105, X73) → U33_gga(T22, X73, reduce50_in_gga(T22, 105, X73))
reduce50_in_gga(.(111, T22), 111, X73) → U34_gga(T22, X73, reduce50_in_gga(T22, 111, X73))
reduce50_in_gga(.(117, T22), 117, X73) → U35_gga(T22, X73, reduce50_in_gga(T22, 117, X73))
reduce50_in_gga(.(104, T22), 104, X73) → U36_gga(T22, X73, reduce50_in_gga(T22, 104, X73))
reduce50_in_gga(.(119, T22), 119, X73) → U37_gga(T22, X73, reduce50_in_gga(T22, 119, X73))
reduce50_in_gga(.(121, T22), 121, X73) → U38_gga(T22, X73, reduce50_in_gga(T22, 121, X73))
reduce50_in_gga(.(T23, T24), T23, X130) → U39_gga(T23, T24, X130, reduce50_in_gga(T24, T23, X130))
reduce50_in_gga(.(T25, T26), T25, X145) → U40_gga(T25, T26, X145, reduce50_in_gga(T26, T25, X145))
reduce50_in_gga(.(T30, []), T29, .(T30, [])) → reduce50_out_gga(.(T30, []), T29, .(T30, []))
reduce50_in_gga(.(97, .(97, T32)), T29, .(97, X177)) → U41_gga(T32, T29, X177, reduce130_in_gga(T32, 97, X177))
reduce130_in_gga([], T30, []) → reduce130_out_gga([], T30, [])
reduce130_in_gga(.(97, T32), 97, X177) → U51_gga(T32, X177, reduce130_in_gga(T32, 97, X177))
reduce130_in_gga(.(101, T32), 101, X177) → U52_gga(T32, X177, reduce130_in_gga(T32, 101, X177))
reduce130_in_gga(.(105, T32), 105, X177) → U53_gga(T32, X177, reduce130_in_gga(T32, 105, X177))
reduce130_in_gga(.(111, T32), 111, X177) → U54_gga(T32, X177, reduce130_in_gga(T32, 111, X177))
reduce130_in_gga(.(117, T32), 117, X177) → U55_gga(T32, X177, reduce130_in_gga(T32, 117, X177))
reduce130_in_gga(.(104, T32), 104, X177) → U56_gga(T32, X177, reduce130_in_gga(T32, 104, X177))
reduce130_in_gga(.(119, T32), 119, X177) → U57_gga(T32, X177, reduce130_in_gga(T32, 119, X177))
reduce130_in_gga(.(121, T32), 121, X177) → U58_gga(T32, X177, reduce130_in_gga(T32, 121, X177))
reduce130_in_gga(.(T33, T34), T33, X234) → U59_gga(T33, T34, X234, reduce130_in_gga(T34, T33, X234))
reduce130_in_gga(.(T35, T36), T35, X249) → U60_gga(T35, T36, X249, reduce130_in_gga(T36, T35, X249))
reduce130_in_gga(.(T41, T40), T39, .(T41, [])) → reduce130_out_gga(.(T41, T40), T39, .(T41, []))
U60_gga(T35, T36, X249, reduce130_out_gga(T36, T35, X249)) → reduce130_out_gga(.(T35, T36), T35, X249)
U59_gga(T33, T34, X234, reduce130_out_gga(T34, T33, X234)) → reduce130_out_gga(.(T33, T34), T33, X234)
U58_gga(T32, X177, reduce130_out_gga(T32, 121, X177)) → reduce130_out_gga(.(121, T32), 121, X177)
U57_gga(T32, X177, reduce130_out_gga(T32, 119, X177)) → reduce130_out_gga(.(119, T32), 119, X177)
U56_gga(T32, X177, reduce130_out_gga(T32, 104, X177)) → reduce130_out_gga(.(104, T32), 104, X177)
U55_gga(T32, X177, reduce130_out_gga(T32, 117, X177)) → reduce130_out_gga(.(117, T32), 117, X177)
U54_gga(T32, X177, reduce130_out_gga(T32, 111, X177)) → reduce130_out_gga(.(111, T32), 111, X177)
U53_gga(T32, X177, reduce130_out_gga(T32, 105, X177)) → reduce130_out_gga(.(105, T32), 105, X177)
U52_gga(T32, X177, reduce130_out_gga(T32, 101, X177)) → reduce130_out_gga(.(101, T32), 101, X177)
U51_gga(T32, X177, reduce130_out_gga(T32, 97, X177)) → reduce130_out_gga(.(97, T32), 97, X177)
U41_gga(T32, T29, X177, reduce130_out_gga(T32, 97, X177)) → reduce50_out_gga(.(97, .(97, T32)), T29, .(97, X177))
reduce50_in_gga(.(101, .(101, T32)), T29, .(101, X177)) → U42_gga(T32, T29, X177, reduce130_in_gga(T32, 101, X177))
U42_gga(T32, T29, X177, reduce130_out_gga(T32, 101, X177)) → reduce50_out_gga(.(101, .(101, T32)), T29, .(101, X177))
reduce50_in_gga(.(105, .(105, T32)), T29, .(105, X177)) → U43_gga(T32, T29, X177, reduce130_in_gga(T32, 105, X177))
U43_gga(T32, T29, X177, reduce130_out_gga(T32, 105, X177)) → reduce50_out_gga(.(105, .(105, T32)), T29, .(105, X177))
reduce50_in_gga(.(111, .(111, T32)), T29, .(111, X177)) → U44_gga(T32, T29, X177, reduce130_in_gga(T32, 111, X177))
U44_gga(T32, T29, X177, reduce130_out_gga(T32, 111, X177)) → reduce50_out_gga(.(111, .(111, T32)), T29, .(111, X177))
reduce50_in_gga(.(117, .(117, T32)), T29, .(117, X177)) → U45_gga(T32, T29, X177, reduce130_in_gga(T32, 117, X177))
U45_gga(T32, T29, X177, reduce130_out_gga(T32, 117, X177)) → reduce50_out_gga(.(117, .(117, T32)), T29, .(117, X177))
reduce50_in_gga(.(104, .(104, T32)), T29, .(104, X177)) → U46_gga(T32, T29, X177, reduce130_in_gga(T32, 104, X177))
U46_gga(T32, T29, X177, reduce130_out_gga(T32, 104, X177)) → reduce50_out_gga(.(104, .(104, T32)), T29, .(104, X177))
reduce50_in_gga(.(119, .(119, T32)), T29, .(119, X177)) → U47_gga(T32, T29, X177, reduce130_in_gga(T32, 119, X177))
U47_gga(T32, T29, X177, reduce130_out_gga(T32, 119, X177)) → reduce50_out_gga(.(119, .(119, T32)), T29, .(119, X177))
reduce50_in_gga(.(121, .(121, T32)), T29, .(121, X177)) → U48_gga(T32, T29, X177, reduce130_in_gga(T32, 121, X177))
U48_gga(T32, T29, X177, reduce130_out_gga(T32, 121, X177)) → reduce50_out_gga(.(121, .(121, T32)), T29, .(121, X177))
reduce50_in_gga(.(T33, .(T33, T34)), T29, .(T33, X234)) → U49_gga(T33, T34, T29, X234, reduce130_in_gga(T34, T33, X234))
U49_gga(T33, T34, T29, X234, reduce130_out_gga(T34, T33, X234)) → reduce50_out_gga(.(T33, .(T33, T34)), T29, .(T33, X234))
reduce50_in_gga(.(T35, .(T35, T36)), T29, .(T35, X249)) → U50_gga(T35, T36, T29, X249, reduce130_in_gga(T36, T35, X249))
U50_gga(T35, T36, T29, X249, reduce130_out_gga(T36, T35, X249)) → reduce50_out_gga(.(T35, .(T35, T36)), T29, .(T35, X249))
reduce50_in_gga(.(T39, .(T41, T40)), T29, .(T39, .(T41, []))) → reduce50_out_gga(.(T39, .(T41, T40)), T29, .(T39, .(T41, [])))
U40_gga(T25, T26, X145, reduce50_out_gga(T26, T25, X145)) → reduce50_out_gga(.(T25, T26), T25, X145)
U39_gga(T23, T24, X130, reduce50_out_gga(T24, T23, X130)) → reduce50_out_gga(.(T23, T24), T23, X130)
U38_gga(T22, X73, reduce50_out_gga(T22, 121, X73)) → reduce50_out_gga(.(121, T22), 121, X73)
U37_gga(T22, X73, reduce50_out_gga(T22, 119, X73)) → reduce50_out_gga(.(119, T22), 119, X73)
U36_gga(T22, X73, reduce50_out_gga(T22, 104, X73)) → reduce50_out_gga(.(104, T22), 104, X73)
U35_gga(T22, X73, reduce50_out_gga(T22, 117, X73)) → reduce50_out_gga(.(117, T22), 117, X73)
U34_gga(T22, X73, reduce50_out_gga(T22, 111, X73)) → reduce50_out_gga(.(111, T22), 111, X73)
U33_gga(T22, X73, reduce50_out_gga(T22, 105, X73)) → reduce50_out_gga(.(105, T22), 105, X73)
U32_gga(T22, X73, reduce50_out_gga(T22, 101, X73)) → reduce50_out_gga(.(101, T22), 101, X73)
U31_gga(T22, X73, reduce50_out_gga(T22, 97, X73)) → reduce50_out_gga(.(97, T22), 97, X73)
U11_gga(T22, T19, X73, reduce50_out_gga(T22, 97, X73)) → reduce7_out_gga(.(97, .(97, T22)), T19, .(97, X73))
reduce7_in_gga(.(101, .(101, T22)), T19, .(101, X73)) → U12_gga(T22, T19, X73, reduce50_in_gga(T22, 101, X73))
U12_gga(T22, T19, X73, reduce50_out_gga(T22, 101, X73)) → reduce7_out_gga(.(101, .(101, T22)), T19, .(101, X73))
reduce7_in_gga(.(105, .(105, T22)), T19, .(105, X73)) → U13_gga(T22, T19, X73, reduce50_in_gga(T22, 105, X73))
U13_gga(T22, T19, X73, reduce50_out_gga(T22, 105, X73)) → reduce7_out_gga(.(105, .(105, T22)), T19, .(105, X73))
reduce7_in_gga(.(111, .(111, T22)), T19, .(111, X73)) → U14_gga(T22, T19, X73, reduce50_in_gga(T22, 111, X73))
U14_gga(T22, T19, X73, reduce50_out_gga(T22, 111, X73)) → reduce7_out_gga(.(111, .(111, T22)), T19, .(111, X73))
reduce7_in_gga(.(117, .(117, T22)), T19, .(117, X73)) → U15_gga(T22, T19, X73, reduce50_in_gga(T22, 117, X73))
U15_gga(T22, T19, X73, reduce50_out_gga(T22, 117, X73)) → reduce7_out_gga(.(117, .(117, T22)), T19, .(117, X73))
reduce7_in_gga(.(104, .(104, T22)), T19, .(104, X73)) → U16_gga(T22, T19, X73, reduce50_in_gga(T22, 104, X73))
U16_gga(T22, T19, X73, reduce50_out_gga(T22, 104, X73)) → reduce7_out_gga(.(104, .(104, T22)), T19, .(104, X73))
reduce7_in_gga(.(119, .(119, T22)), T19, .(119, X73)) → U17_gga(T22, T19, X73, reduce50_in_gga(T22, 119, X73))
U17_gga(T22, T19, X73, reduce50_out_gga(T22, 119, X73)) → reduce7_out_gga(.(119, .(119, T22)), T19, .(119, X73))
reduce7_in_gga(.(121, .(121, T22)), T19, .(121, X73)) → U18_gga(T22, T19, X73, reduce50_in_gga(T22, 121, X73))
U18_gga(T22, T19, X73, reduce50_out_gga(T22, 121, X73)) → reduce7_out_gga(.(121, .(121, T22)), T19, .(121, X73))
reduce7_in_gga(.(T23, .(T23, T24)), T19, .(T23, X130)) → U19_gga(T23, T24, T19, X130, reduce50_in_gga(T24, T23, X130))
U19_gga(T23, T24, T19, X130, reduce50_out_gga(T24, T23, X130)) → reduce7_out_gga(.(T23, .(T23, T24)), T19, .(T23, X130))
reduce7_in_gga(.(T25, .(T25, T26)), T19, .(T25, X145)) → U20_gga(T25, T26, T19, X145, reduce50_in_gga(T26, T25, X145))
U20_gga(T25, T26, T19, X145, reduce50_out_gga(T26, T25, X145)) → reduce7_out_gga(.(T25, .(T25, T26)), T19, .(T25, X145))
reduce7_in_gga(.(T29, .(T30, [])), T19, .(T29, .(T30, []))) → reduce7_out_gga(.(T29, .(T30, [])), T19, .(T29, .(T30, [])))
reduce7_in_gga(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177))) → U21_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 97, X177))
U21_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 97, X177)) → reduce7_out_gga(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177)))
reduce7_in_gga(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177))) → U22_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 101, X177))
U22_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 101, X177)) → reduce7_out_gga(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177)))
reduce7_in_gga(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177))) → U23_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 105, X177))
U23_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 105, X177)) → reduce7_out_gga(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177)))
reduce7_in_gga(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177))) → U24_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 111, X177))
U24_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 111, X177)) → reduce7_out_gga(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177)))
reduce7_in_gga(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177))) → U25_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 117, X177))
U25_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 117, X177)) → reduce7_out_gga(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177)))
reduce7_in_gga(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177))) → U26_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 104, X177))
U26_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 104, X177)) → reduce7_out_gga(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177)))
reduce7_in_gga(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177))) → U27_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 119, X177))
U27_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 119, X177)) → reduce7_out_gga(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177)))
reduce7_in_gga(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177))) → U28_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 121, X177))
U28_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 121, X177)) → reduce7_out_gga(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177)))
reduce7_in_gga(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234))) → U29_gga(T29, T33, T34, T19, X234, reduce130_in_gga(T34, T33, X234))
U29_gga(T29, T33, T34, T19, X234, reduce130_out_gga(T34, T33, X234)) → reduce7_out_gga(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234)))
reduce7_in_gga(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249))) → U30_gga(T29, T35, T36, T19, X249, reduce130_in_gga(T36, T35, X249))
U30_gga(T29, T35, T36, T19, X249, reduce130_out_gga(T36, T35, X249)) → reduce7_out_gga(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249)))
reduce7_in_gga(.(T29, .(T39, .(T41, T40))), T19, .(T29, .(T39, .(T41, [])))) → reduce7_out_gga(.(T29, .(T39, .(T41, T40))), T19, .(T29, .(T39, .(T41, []))))
U10_gga(T15, T16, X47, reduce7_out_gga(T16, T15, X47)) → reduce7_out_gga(.(T15, T16), T15, X47)
U9_gga(T13, T14, X38, reduce7_out_gga(T14, T13, X38)) → reduce7_out_gga(.(T13, T14), T13, X38)
U8_gga(T12, X29, reduce7_out_gga(T12, 121, X29)) → reduce7_out_gga(.(121, T12), 121, X29)
U7_gga(T12, X29, reduce7_out_gga(T12, 119, X29)) → reduce7_out_gga(.(119, T12), 119, X29)
U6_gga(T12, X29, reduce7_out_gga(T12, 104, X29)) → reduce7_out_gga(.(104, T12), 104, X29)
U5_gga(T12, X29, reduce7_out_gga(T12, 117, X29)) → reduce7_out_gga(.(117, T12), 117, X29)
U4_gga(T12, X29, reduce7_out_gga(T12, 111, X29)) → reduce7_out_gga(.(111, T12), 111, X29)
U3_gga(T12, X29, reduce7_out_gga(T12, 105, X29)) → reduce7_out_gga(.(105, T12), 105, X29)
U2_gga(T12, X29, reduce7_out_gga(T12, 101, X29)) → reduce7_out_gga(.(101, T12), 101, X29)
U1_gga(T12, X29, reduce7_out_gga(T12, 97, X29)) → reduce7_out_gga(.(97, T12), 97, X29)
U61_ga(T7, T8, T5, reduce7_out_gga(T8, T7, X12)) → goal1_out_ga(.(T7, T8), T5)
goal1_in_ga(.(T7, T8), T42) → U62_ga(T7, T8, T42, reduce7_in_gga(T8, T7, T42))
U62_ga(T7, T8, T42, reduce7_out_gga(T8, T7, T42)) → goal1_out_ga(.(T7, T8), T42)
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
goal1_in_ga(.(T7, T8), T5) → U61_ga(T7, T8, T5, reduce7_in_gga(T8, T7, X12))
reduce7_in_gga([], T10, []) → reduce7_out_gga([], T10, [])
reduce7_in_gga(.(97, T12), 97, X29) → U1_gga(T12, X29, reduce7_in_gga(T12, 97, X29))
reduce7_in_gga(.(101, T12), 101, X29) → U2_gga(T12, X29, reduce7_in_gga(T12, 101, X29))
reduce7_in_gga(.(105, T12), 105, X29) → U3_gga(T12, X29, reduce7_in_gga(T12, 105, X29))
reduce7_in_gga(.(111, T12), 111, X29) → U4_gga(T12, X29, reduce7_in_gga(T12, 111, X29))
reduce7_in_gga(.(117, T12), 117, X29) → U5_gga(T12, X29, reduce7_in_gga(T12, 117, X29))
reduce7_in_gga(.(104, T12), 104, X29) → U6_gga(T12, X29, reduce7_in_gga(T12, 104, X29))
reduce7_in_gga(.(119, T12), 119, X29) → U7_gga(T12, X29, reduce7_in_gga(T12, 119, X29))
reduce7_in_gga(.(121, T12), 121, X29) → U8_gga(T12, X29, reduce7_in_gga(T12, 121, X29))
reduce7_in_gga(.(T13, T14), T13, X38) → U9_gga(T13, T14, X38, reduce7_in_gga(T14, T13, X38))
reduce7_in_gga(.(T15, T16), T15, X47) → U10_gga(T15, T16, X47, reduce7_in_gga(T16, T15, X47))
reduce7_in_gga(.(T20, []), T19, .(T20, [])) → reduce7_out_gga(.(T20, []), T19, .(T20, []))
reduce7_in_gga(.(97, .(97, T22)), T19, .(97, X73)) → U11_gga(T22, T19, X73, reduce50_in_gga(T22, 97, X73))
reduce50_in_gga([], T20, []) → reduce50_out_gga([], T20, [])
reduce50_in_gga(.(97, T22), 97, X73) → U31_gga(T22, X73, reduce50_in_gga(T22, 97, X73))
reduce50_in_gga(.(101, T22), 101, X73) → U32_gga(T22, X73, reduce50_in_gga(T22, 101, X73))
reduce50_in_gga(.(105, T22), 105, X73) → U33_gga(T22, X73, reduce50_in_gga(T22, 105, X73))
reduce50_in_gga(.(111, T22), 111, X73) → U34_gga(T22, X73, reduce50_in_gga(T22, 111, X73))
reduce50_in_gga(.(117, T22), 117, X73) → U35_gga(T22, X73, reduce50_in_gga(T22, 117, X73))
reduce50_in_gga(.(104, T22), 104, X73) → U36_gga(T22, X73, reduce50_in_gga(T22, 104, X73))
reduce50_in_gga(.(119, T22), 119, X73) → U37_gga(T22, X73, reduce50_in_gga(T22, 119, X73))
reduce50_in_gga(.(121, T22), 121, X73) → U38_gga(T22, X73, reduce50_in_gga(T22, 121, X73))
reduce50_in_gga(.(T23, T24), T23, X130) → U39_gga(T23, T24, X130, reduce50_in_gga(T24, T23, X130))
reduce50_in_gga(.(T25, T26), T25, X145) → U40_gga(T25, T26, X145, reduce50_in_gga(T26, T25, X145))
reduce50_in_gga(.(T30, []), T29, .(T30, [])) → reduce50_out_gga(.(T30, []), T29, .(T30, []))
reduce50_in_gga(.(97, .(97, T32)), T29, .(97, X177)) → U41_gga(T32, T29, X177, reduce130_in_gga(T32, 97, X177))
reduce130_in_gga([], T30, []) → reduce130_out_gga([], T30, [])
reduce130_in_gga(.(97, T32), 97, X177) → U51_gga(T32, X177, reduce130_in_gga(T32, 97, X177))
reduce130_in_gga(.(101, T32), 101, X177) → U52_gga(T32, X177, reduce130_in_gga(T32, 101, X177))
reduce130_in_gga(.(105, T32), 105, X177) → U53_gga(T32, X177, reduce130_in_gga(T32, 105, X177))
reduce130_in_gga(.(111, T32), 111, X177) → U54_gga(T32, X177, reduce130_in_gga(T32, 111, X177))
reduce130_in_gga(.(117, T32), 117, X177) → U55_gga(T32, X177, reduce130_in_gga(T32, 117, X177))
reduce130_in_gga(.(104, T32), 104, X177) → U56_gga(T32, X177, reduce130_in_gga(T32, 104, X177))
reduce130_in_gga(.(119, T32), 119, X177) → U57_gga(T32, X177, reduce130_in_gga(T32, 119, X177))
reduce130_in_gga(.(121, T32), 121, X177) → U58_gga(T32, X177, reduce130_in_gga(T32, 121, X177))
reduce130_in_gga(.(T33, T34), T33, X234) → U59_gga(T33, T34, X234, reduce130_in_gga(T34, T33, X234))
reduce130_in_gga(.(T35, T36), T35, X249) → U60_gga(T35, T36, X249, reduce130_in_gga(T36, T35, X249))
reduce130_in_gga(.(T41, T40), T39, .(T41, [])) → reduce130_out_gga(.(T41, T40), T39, .(T41, []))
U60_gga(T35, T36, X249, reduce130_out_gga(T36, T35, X249)) → reduce130_out_gga(.(T35, T36), T35, X249)
U59_gga(T33, T34, X234, reduce130_out_gga(T34, T33, X234)) → reduce130_out_gga(.(T33, T34), T33, X234)
U58_gga(T32, X177, reduce130_out_gga(T32, 121, X177)) → reduce130_out_gga(.(121, T32), 121, X177)
U57_gga(T32, X177, reduce130_out_gga(T32, 119, X177)) → reduce130_out_gga(.(119, T32), 119, X177)
U56_gga(T32, X177, reduce130_out_gga(T32, 104, X177)) → reduce130_out_gga(.(104, T32), 104, X177)
U55_gga(T32, X177, reduce130_out_gga(T32, 117, X177)) → reduce130_out_gga(.(117, T32), 117, X177)
U54_gga(T32, X177, reduce130_out_gga(T32, 111, X177)) → reduce130_out_gga(.(111, T32), 111, X177)
U53_gga(T32, X177, reduce130_out_gga(T32, 105, X177)) → reduce130_out_gga(.(105, T32), 105, X177)
U52_gga(T32, X177, reduce130_out_gga(T32, 101, X177)) → reduce130_out_gga(.(101, T32), 101, X177)
U51_gga(T32, X177, reduce130_out_gga(T32, 97, X177)) → reduce130_out_gga(.(97, T32), 97, X177)
U41_gga(T32, T29, X177, reduce130_out_gga(T32, 97, X177)) → reduce50_out_gga(.(97, .(97, T32)), T29, .(97, X177))
reduce50_in_gga(.(101, .(101, T32)), T29, .(101, X177)) → U42_gga(T32, T29, X177, reduce130_in_gga(T32, 101, X177))
U42_gga(T32, T29, X177, reduce130_out_gga(T32, 101, X177)) → reduce50_out_gga(.(101, .(101, T32)), T29, .(101, X177))
reduce50_in_gga(.(105, .(105, T32)), T29, .(105, X177)) → U43_gga(T32, T29, X177, reduce130_in_gga(T32, 105, X177))
U43_gga(T32, T29, X177, reduce130_out_gga(T32, 105, X177)) → reduce50_out_gga(.(105, .(105, T32)), T29, .(105, X177))
reduce50_in_gga(.(111, .(111, T32)), T29, .(111, X177)) → U44_gga(T32, T29, X177, reduce130_in_gga(T32, 111, X177))
U44_gga(T32, T29, X177, reduce130_out_gga(T32, 111, X177)) → reduce50_out_gga(.(111, .(111, T32)), T29, .(111, X177))
reduce50_in_gga(.(117, .(117, T32)), T29, .(117, X177)) → U45_gga(T32, T29, X177, reduce130_in_gga(T32, 117, X177))
U45_gga(T32, T29, X177, reduce130_out_gga(T32, 117, X177)) → reduce50_out_gga(.(117, .(117, T32)), T29, .(117, X177))
reduce50_in_gga(.(104, .(104, T32)), T29, .(104, X177)) → U46_gga(T32, T29, X177, reduce130_in_gga(T32, 104, X177))
U46_gga(T32, T29, X177, reduce130_out_gga(T32, 104, X177)) → reduce50_out_gga(.(104, .(104, T32)), T29, .(104, X177))
reduce50_in_gga(.(119, .(119, T32)), T29, .(119, X177)) → U47_gga(T32, T29, X177, reduce130_in_gga(T32, 119, X177))
U47_gga(T32, T29, X177, reduce130_out_gga(T32, 119, X177)) → reduce50_out_gga(.(119, .(119, T32)), T29, .(119, X177))
reduce50_in_gga(.(121, .(121, T32)), T29, .(121, X177)) → U48_gga(T32, T29, X177, reduce130_in_gga(T32, 121, X177))
U48_gga(T32, T29, X177, reduce130_out_gga(T32, 121, X177)) → reduce50_out_gga(.(121, .(121, T32)), T29, .(121, X177))
reduce50_in_gga(.(T33, .(T33, T34)), T29, .(T33, X234)) → U49_gga(T33, T34, T29, X234, reduce130_in_gga(T34, T33, X234))
U49_gga(T33, T34, T29, X234, reduce130_out_gga(T34, T33, X234)) → reduce50_out_gga(.(T33, .(T33, T34)), T29, .(T33, X234))
reduce50_in_gga(.(T35, .(T35, T36)), T29, .(T35, X249)) → U50_gga(T35, T36, T29, X249, reduce130_in_gga(T36, T35, X249))
U50_gga(T35, T36, T29, X249, reduce130_out_gga(T36, T35, X249)) → reduce50_out_gga(.(T35, .(T35, T36)), T29, .(T35, X249))
reduce50_in_gga(.(T39, .(T41, T40)), T29, .(T39, .(T41, []))) → reduce50_out_gga(.(T39, .(T41, T40)), T29, .(T39, .(T41, [])))
U40_gga(T25, T26, X145, reduce50_out_gga(T26, T25, X145)) → reduce50_out_gga(.(T25, T26), T25, X145)
U39_gga(T23, T24, X130, reduce50_out_gga(T24, T23, X130)) → reduce50_out_gga(.(T23, T24), T23, X130)
U38_gga(T22, X73, reduce50_out_gga(T22, 121, X73)) → reduce50_out_gga(.(121, T22), 121, X73)
U37_gga(T22, X73, reduce50_out_gga(T22, 119, X73)) → reduce50_out_gga(.(119, T22), 119, X73)
U36_gga(T22, X73, reduce50_out_gga(T22, 104, X73)) → reduce50_out_gga(.(104, T22), 104, X73)
U35_gga(T22, X73, reduce50_out_gga(T22, 117, X73)) → reduce50_out_gga(.(117, T22), 117, X73)
U34_gga(T22, X73, reduce50_out_gga(T22, 111, X73)) → reduce50_out_gga(.(111, T22), 111, X73)
U33_gga(T22, X73, reduce50_out_gga(T22, 105, X73)) → reduce50_out_gga(.(105, T22), 105, X73)
U32_gga(T22, X73, reduce50_out_gga(T22, 101, X73)) → reduce50_out_gga(.(101, T22), 101, X73)
U31_gga(T22, X73, reduce50_out_gga(T22, 97, X73)) → reduce50_out_gga(.(97, T22), 97, X73)
U11_gga(T22, T19, X73, reduce50_out_gga(T22, 97, X73)) → reduce7_out_gga(.(97, .(97, T22)), T19, .(97, X73))
reduce7_in_gga(.(101, .(101, T22)), T19, .(101, X73)) → U12_gga(T22, T19, X73, reduce50_in_gga(T22, 101, X73))
U12_gga(T22, T19, X73, reduce50_out_gga(T22, 101, X73)) → reduce7_out_gga(.(101, .(101, T22)), T19, .(101, X73))
reduce7_in_gga(.(105, .(105, T22)), T19, .(105, X73)) → U13_gga(T22, T19, X73, reduce50_in_gga(T22, 105, X73))
U13_gga(T22, T19, X73, reduce50_out_gga(T22, 105, X73)) → reduce7_out_gga(.(105, .(105, T22)), T19, .(105, X73))
reduce7_in_gga(.(111, .(111, T22)), T19, .(111, X73)) → U14_gga(T22, T19, X73, reduce50_in_gga(T22, 111, X73))
U14_gga(T22, T19, X73, reduce50_out_gga(T22, 111, X73)) → reduce7_out_gga(.(111, .(111, T22)), T19, .(111, X73))
reduce7_in_gga(.(117, .(117, T22)), T19, .(117, X73)) → U15_gga(T22, T19, X73, reduce50_in_gga(T22, 117, X73))
U15_gga(T22, T19, X73, reduce50_out_gga(T22, 117, X73)) → reduce7_out_gga(.(117, .(117, T22)), T19, .(117, X73))
reduce7_in_gga(.(104, .(104, T22)), T19, .(104, X73)) → U16_gga(T22, T19, X73, reduce50_in_gga(T22, 104, X73))
U16_gga(T22, T19, X73, reduce50_out_gga(T22, 104, X73)) → reduce7_out_gga(.(104, .(104, T22)), T19, .(104, X73))
reduce7_in_gga(.(119, .(119, T22)), T19, .(119, X73)) → U17_gga(T22, T19, X73, reduce50_in_gga(T22, 119, X73))
U17_gga(T22, T19, X73, reduce50_out_gga(T22, 119, X73)) → reduce7_out_gga(.(119, .(119, T22)), T19, .(119, X73))
reduce7_in_gga(.(121, .(121, T22)), T19, .(121, X73)) → U18_gga(T22, T19, X73, reduce50_in_gga(T22, 121, X73))
U18_gga(T22, T19, X73, reduce50_out_gga(T22, 121, X73)) → reduce7_out_gga(.(121, .(121, T22)), T19, .(121, X73))
reduce7_in_gga(.(T23, .(T23, T24)), T19, .(T23, X130)) → U19_gga(T23, T24, T19, X130, reduce50_in_gga(T24, T23, X130))
U19_gga(T23, T24, T19, X130, reduce50_out_gga(T24, T23, X130)) → reduce7_out_gga(.(T23, .(T23, T24)), T19, .(T23, X130))
reduce7_in_gga(.(T25, .(T25, T26)), T19, .(T25, X145)) → U20_gga(T25, T26, T19, X145, reduce50_in_gga(T26, T25, X145))
U20_gga(T25, T26, T19, X145, reduce50_out_gga(T26, T25, X145)) → reduce7_out_gga(.(T25, .(T25, T26)), T19, .(T25, X145))
reduce7_in_gga(.(T29, .(T30, [])), T19, .(T29, .(T30, []))) → reduce7_out_gga(.(T29, .(T30, [])), T19, .(T29, .(T30, [])))
reduce7_in_gga(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177))) → U21_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 97, X177))
U21_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 97, X177)) → reduce7_out_gga(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177)))
reduce7_in_gga(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177))) → U22_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 101, X177))
U22_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 101, X177)) → reduce7_out_gga(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177)))
reduce7_in_gga(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177))) → U23_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 105, X177))
U23_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 105, X177)) → reduce7_out_gga(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177)))
reduce7_in_gga(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177))) → U24_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 111, X177))
U24_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 111, X177)) → reduce7_out_gga(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177)))
reduce7_in_gga(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177))) → U25_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 117, X177))
U25_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 117, X177)) → reduce7_out_gga(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177)))
reduce7_in_gga(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177))) → U26_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 104, X177))
U26_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 104, X177)) → reduce7_out_gga(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177)))
reduce7_in_gga(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177))) → U27_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 119, X177))
U27_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 119, X177)) → reduce7_out_gga(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177)))
reduce7_in_gga(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177))) → U28_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 121, X177))
U28_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 121, X177)) → reduce7_out_gga(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177)))
reduce7_in_gga(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234))) → U29_gga(T29, T33, T34, T19, X234, reduce130_in_gga(T34, T33, X234))
U29_gga(T29, T33, T34, T19, X234, reduce130_out_gga(T34, T33, X234)) → reduce7_out_gga(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234)))
reduce7_in_gga(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249))) → U30_gga(T29, T35, T36, T19, X249, reduce130_in_gga(T36, T35, X249))
U30_gga(T29, T35, T36, T19, X249, reduce130_out_gga(T36, T35, X249)) → reduce7_out_gga(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249)))
reduce7_in_gga(.(T29, .(T39, .(T41, T40))), T19, .(T29, .(T39, .(T41, [])))) → reduce7_out_gga(.(T29, .(T39, .(T41, T40))), T19, .(T29, .(T39, .(T41, []))))
U10_gga(T15, T16, X47, reduce7_out_gga(T16, T15, X47)) → reduce7_out_gga(.(T15, T16), T15, X47)
U9_gga(T13, T14, X38, reduce7_out_gga(T14, T13, X38)) → reduce7_out_gga(.(T13, T14), T13, X38)
U8_gga(T12, X29, reduce7_out_gga(T12, 121, X29)) → reduce7_out_gga(.(121, T12), 121, X29)
U7_gga(T12, X29, reduce7_out_gga(T12, 119, X29)) → reduce7_out_gga(.(119, T12), 119, X29)
U6_gga(T12, X29, reduce7_out_gga(T12, 104, X29)) → reduce7_out_gga(.(104, T12), 104, X29)
U5_gga(T12, X29, reduce7_out_gga(T12, 117, X29)) → reduce7_out_gga(.(117, T12), 117, X29)
U4_gga(T12, X29, reduce7_out_gga(T12, 111, X29)) → reduce7_out_gga(.(111, T12), 111, X29)
U3_gga(T12, X29, reduce7_out_gga(T12, 105, X29)) → reduce7_out_gga(.(105, T12), 105, X29)
U2_gga(T12, X29, reduce7_out_gga(T12, 101, X29)) → reduce7_out_gga(.(101, T12), 101, X29)
U1_gga(T12, X29, reduce7_out_gga(T12, 97, X29)) → reduce7_out_gga(.(97, T12), 97, X29)
U61_ga(T7, T8, T5, reduce7_out_gga(T8, T7, X12)) → goal1_out_ga(.(T7, T8), T5)
goal1_in_ga(.(T7, T8), T42) → U62_ga(T7, T8, T42, reduce7_in_gga(T8, T7, T42))
U62_ga(T7, T8, T42, reduce7_out_gga(T8, T7, T42)) → goal1_out_ga(.(T7, T8), T42)
GOAL1_IN_GA(.(T7, T8), T5) → U61_GA(T7, T8, T5, reduce7_in_gga(T8, T7, X12))
GOAL1_IN_GA(.(T7, T8), T5) → REDUCE7_IN_GGA(T8, T7, X12)
REDUCE7_IN_GGA(.(97, T12), 97, X29) → U1_GGA(T12, X29, reduce7_in_gga(T12, 97, X29))
REDUCE7_IN_GGA(.(97, T12), 97, X29) → REDUCE7_IN_GGA(T12, 97, X29)
REDUCE7_IN_GGA(.(101, T12), 101, X29) → U2_GGA(T12, X29, reduce7_in_gga(T12, 101, X29))
REDUCE7_IN_GGA(.(101, T12), 101, X29) → REDUCE7_IN_GGA(T12, 101, X29)
REDUCE7_IN_GGA(.(105, T12), 105, X29) → U3_GGA(T12, X29, reduce7_in_gga(T12, 105, X29))
REDUCE7_IN_GGA(.(105, T12), 105, X29) → REDUCE7_IN_GGA(T12, 105, X29)
REDUCE7_IN_GGA(.(111, T12), 111, X29) → U4_GGA(T12, X29, reduce7_in_gga(T12, 111, X29))
REDUCE7_IN_GGA(.(111, T12), 111, X29) → REDUCE7_IN_GGA(T12, 111, X29)
REDUCE7_IN_GGA(.(117, T12), 117, X29) → U5_GGA(T12, X29, reduce7_in_gga(T12, 117, X29))
REDUCE7_IN_GGA(.(117, T12), 117, X29) → REDUCE7_IN_GGA(T12, 117, X29)
REDUCE7_IN_GGA(.(104, T12), 104, X29) → U6_GGA(T12, X29, reduce7_in_gga(T12, 104, X29))
REDUCE7_IN_GGA(.(104, T12), 104, X29) → REDUCE7_IN_GGA(T12, 104, X29)
REDUCE7_IN_GGA(.(119, T12), 119, X29) → U7_GGA(T12, X29, reduce7_in_gga(T12, 119, X29))
REDUCE7_IN_GGA(.(119, T12), 119, X29) → REDUCE7_IN_GGA(T12, 119, X29)
REDUCE7_IN_GGA(.(121, T12), 121, X29) → U8_GGA(T12, X29, reduce7_in_gga(T12, 121, X29))
REDUCE7_IN_GGA(.(121, T12), 121, X29) → REDUCE7_IN_GGA(T12, 121, X29)
REDUCE7_IN_GGA(.(T13, T14), T13, X38) → U9_GGA(T13, T14, X38, reduce7_in_gga(T14, T13, X38))
REDUCE7_IN_GGA(.(T13, T14), T13, X38) → REDUCE7_IN_GGA(T14, T13, X38)
REDUCE7_IN_GGA(.(T15, T16), T15, X47) → U10_GGA(T15, T16, X47, reduce7_in_gga(T16, T15, X47))
REDUCE7_IN_GGA(.(97, .(97, T22)), T19, .(97, X73)) → U11_GGA(T22, T19, X73, reduce50_in_gga(T22, 97, X73))
REDUCE7_IN_GGA(.(97, .(97, T22)), T19, .(97, X73)) → REDUCE50_IN_GGA(T22, 97, X73)
REDUCE50_IN_GGA(.(97, T22), 97, X73) → U31_GGA(T22, X73, reduce50_in_gga(T22, 97, X73))
REDUCE50_IN_GGA(.(97, T22), 97, X73) → REDUCE50_IN_GGA(T22, 97, X73)
REDUCE50_IN_GGA(.(101, T22), 101, X73) → U32_GGA(T22, X73, reduce50_in_gga(T22, 101, X73))
REDUCE50_IN_GGA(.(101, T22), 101, X73) → REDUCE50_IN_GGA(T22, 101, X73)
REDUCE50_IN_GGA(.(105, T22), 105, X73) → U33_GGA(T22, X73, reduce50_in_gga(T22, 105, X73))
REDUCE50_IN_GGA(.(105, T22), 105, X73) → REDUCE50_IN_GGA(T22, 105, X73)
REDUCE50_IN_GGA(.(111, T22), 111, X73) → U34_GGA(T22, X73, reduce50_in_gga(T22, 111, X73))
REDUCE50_IN_GGA(.(111, T22), 111, X73) → REDUCE50_IN_GGA(T22, 111, X73)
REDUCE50_IN_GGA(.(117, T22), 117, X73) → U35_GGA(T22, X73, reduce50_in_gga(T22, 117, X73))
REDUCE50_IN_GGA(.(117, T22), 117, X73) → REDUCE50_IN_GGA(T22, 117, X73)
REDUCE50_IN_GGA(.(104, T22), 104, X73) → U36_GGA(T22, X73, reduce50_in_gga(T22, 104, X73))
REDUCE50_IN_GGA(.(104, T22), 104, X73) → REDUCE50_IN_GGA(T22, 104, X73)
REDUCE50_IN_GGA(.(119, T22), 119, X73) → U37_GGA(T22, X73, reduce50_in_gga(T22, 119, X73))
REDUCE50_IN_GGA(.(119, T22), 119, X73) → REDUCE50_IN_GGA(T22, 119, X73)
REDUCE50_IN_GGA(.(121, T22), 121, X73) → U38_GGA(T22, X73, reduce50_in_gga(T22, 121, X73))
REDUCE50_IN_GGA(.(121, T22), 121, X73) → REDUCE50_IN_GGA(T22, 121, X73)
REDUCE50_IN_GGA(.(T23, T24), T23, X130) → U39_GGA(T23, T24, X130, reduce50_in_gga(T24, T23, X130))
REDUCE50_IN_GGA(.(T23, T24), T23, X130) → REDUCE50_IN_GGA(T24, T23, X130)
REDUCE50_IN_GGA(.(T25, T26), T25, X145) → U40_GGA(T25, T26, X145, reduce50_in_gga(T26, T25, X145))
REDUCE50_IN_GGA(.(97, .(97, T32)), T29, .(97, X177)) → U41_GGA(T32, T29, X177, reduce130_in_gga(T32, 97, X177))
REDUCE50_IN_GGA(.(97, .(97, T32)), T29, .(97, X177)) → REDUCE130_IN_GGA(T32, 97, X177)
REDUCE130_IN_GGA(.(97, T32), 97, X177) → U51_GGA(T32, X177, reduce130_in_gga(T32, 97, X177))
REDUCE130_IN_GGA(.(97, T32), 97, X177) → REDUCE130_IN_GGA(T32, 97, X177)
REDUCE130_IN_GGA(.(101, T32), 101, X177) → U52_GGA(T32, X177, reduce130_in_gga(T32, 101, X177))
REDUCE130_IN_GGA(.(101, T32), 101, X177) → REDUCE130_IN_GGA(T32, 101, X177)
REDUCE130_IN_GGA(.(105, T32), 105, X177) → U53_GGA(T32, X177, reduce130_in_gga(T32, 105, X177))
REDUCE130_IN_GGA(.(105, T32), 105, X177) → REDUCE130_IN_GGA(T32, 105, X177)
REDUCE130_IN_GGA(.(111, T32), 111, X177) → U54_GGA(T32, X177, reduce130_in_gga(T32, 111, X177))
REDUCE130_IN_GGA(.(111, T32), 111, X177) → REDUCE130_IN_GGA(T32, 111, X177)
REDUCE130_IN_GGA(.(117, T32), 117, X177) → U55_GGA(T32, X177, reduce130_in_gga(T32, 117, X177))
REDUCE130_IN_GGA(.(117, T32), 117, X177) → REDUCE130_IN_GGA(T32, 117, X177)
REDUCE130_IN_GGA(.(104, T32), 104, X177) → U56_GGA(T32, X177, reduce130_in_gga(T32, 104, X177))
REDUCE130_IN_GGA(.(104, T32), 104, X177) → REDUCE130_IN_GGA(T32, 104, X177)
REDUCE130_IN_GGA(.(119, T32), 119, X177) → U57_GGA(T32, X177, reduce130_in_gga(T32, 119, X177))
REDUCE130_IN_GGA(.(119, T32), 119, X177) → REDUCE130_IN_GGA(T32, 119, X177)
REDUCE130_IN_GGA(.(121, T32), 121, X177) → U58_GGA(T32, X177, reduce130_in_gga(T32, 121, X177))
REDUCE130_IN_GGA(.(121, T32), 121, X177) → REDUCE130_IN_GGA(T32, 121, X177)
REDUCE130_IN_GGA(.(T33, T34), T33, X234) → U59_GGA(T33, T34, X234, reduce130_in_gga(T34, T33, X234))
REDUCE130_IN_GGA(.(T33, T34), T33, X234) → REDUCE130_IN_GGA(T34, T33, X234)
REDUCE130_IN_GGA(.(T35, T36), T35, X249) → U60_GGA(T35, T36, X249, reduce130_in_gga(T36, T35, X249))
REDUCE50_IN_GGA(.(101, .(101, T32)), T29, .(101, X177)) → U42_GGA(T32, T29, X177, reduce130_in_gga(T32, 101, X177))
REDUCE50_IN_GGA(.(101, .(101, T32)), T29, .(101, X177)) → REDUCE130_IN_GGA(T32, 101, X177)
REDUCE50_IN_GGA(.(105, .(105, T32)), T29, .(105, X177)) → U43_GGA(T32, T29, X177, reduce130_in_gga(T32, 105, X177))
REDUCE50_IN_GGA(.(105, .(105, T32)), T29, .(105, X177)) → REDUCE130_IN_GGA(T32, 105, X177)
REDUCE50_IN_GGA(.(111, .(111, T32)), T29, .(111, X177)) → U44_GGA(T32, T29, X177, reduce130_in_gga(T32, 111, X177))
REDUCE50_IN_GGA(.(111, .(111, T32)), T29, .(111, X177)) → REDUCE130_IN_GGA(T32, 111, X177)
REDUCE50_IN_GGA(.(117, .(117, T32)), T29, .(117, X177)) → U45_GGA(T32, T29, X177, reduce130_in_gga(T32, 117, X177))
REDUCE50_IN_GGA(.(117, .(117, T32)), T29, .(117, X177)) → REDUCE130_IN_GGA(T32, 117, X177)
REDUCE50_IN_GGA(.(104, .(104, T32)), T29, .(104, X177)) → U46_GGA(T32, T29, X177, reduce130_in_gga(T32, 104, X177))
REDUCE50_IN_GGA(.(104, .(104, T32)), T29, .(104, X177)) → REDUCE130_IN_GGA(T32, 104, X177)
REDUCE50_IN_GGA(.(119, .(119, T32)), T29, .(119, X177)) → U47_GGA(T32, T29, X177, reduce130_in_gga(T32, 119, X177))
REDUCE50_IN_GGA(.(119, .(119, T32)), T29, .(119, X177)) → REDUCE130_IN_GGA(T32, 119, X177)
REDUCE50_IN_GGA(.(121, .(121, T32)), T29, .(121, X177)) → U48_GGA(T32, T29, X177, reduce130_in_gga(T32, 121, X177))
REDUCE50_IN_GGA(.(121, .(121, T32)), T29, .(121, X177)) → REDUCE130_IN_GGA(T32, 121, X177)
REDUCE50_IN_GGA(.(T33, .(T33, T34)), T29, .(T33, X234)) → U49_GGA(T33, T34, T29, X234, reduce130_in_gga(T34, T33, X234))
REDUCE50_IN_GGA(.(T33, .(T33, T34)), T29, .(T33, X234)) → REDUCE130_IN_GGA(T34, T33, X234)
REDUCE50_IN_GGA(.(T35, .(T35, T36)), T29, .(T35, X249)) → U50_GGA(T35, T36, T29, X249, reduce130_in_gga(T36, T35, X249))
REDUCE7_IN_GGA(.(101, .(101, T22)), T19, .(101, X73)) → U12_GGA(T22, T19, X73, reduce50_in_gga(T22, 101, X73))
REDUCE7_IN_GGA(.(101, .(101, T22)), T19, .(101, X73)) → REDUCE50_IN_GGA(T22, 101, X73)
REDUCE7_IN_GGA(.(105, .(105, T22)), T19, .(105, X73)) → U13_GGA(T22, T19, X73, reduce50_in_gga(T22, 105, X73))
REDUCE7_IN_GGA(.(105, .(105, T22)), T19, .(105, X73)) → REDUCE50_IN_GGA(T22, 105, X73)
REDUCE7_IN_GGA(.(111, .(111, T22)), T19, .(111, X73)) → U14_GGA(T22, T19, X73, reduce50_in_gga(T22, 111, X73))
REDUCE7_IN_GGA(.(111, .(111, T22)), T19, .(111, X73)) → REDUCE50_IN_GGA(T22, 111, X73)
REDUCE7_IN_GGA(.(117, .(117, T22)), T19, .(117, X73)) → U15_GGA(T22, T19, X73, reduce50_in_gga(T22, 117, X73))
REDUCE7_IN_GGA(.(117, .(117, T22)), T19, .(117, X73)) → REDUCE50_IN_GGA(T22, 117, X73)
REDUCE7_IN_GGA(.(104, .(104, T22)), T19, .(104, X73)) → U16_GGA(T22, T19, X73, reduce50_in_gga(T22, 104, X73))
REDUCE7_IN_GGA(.(104, .(104, T22)), T19, .(104, X73)) → REDUCE50_IN_GGA(T22, 104, X73)
REDUCE7_IN_GGA(.(119, .(119, T22)), T19, .(119, X73)) → U17_GGA(T22, T19, X73, reduce50_in_gga(T22, 119, X73))
REDUCE7_IN_GGA(.(119, .(119, T22)), T19, .(119, X73)) → REDUCE50_IN_GGA(T22, 119, X73)
REDUCE7_IN_GGA(.(121, .(121, T22)), T19, .(121, X73)) → U18_GGA(T22, T19, X73, reduce50_in_gga(T22, 121, X73))
REDUCE7_IN_GGA(.(121, .(121, T22)), T19, .(121, X73)) → REDUCE50_IN_GGA(T22, 121, X73)
REDUCE7_IN_GGA(.(T23, .(T23, T24)), T19, .(T23, X130)) → U19_GGA(T23, T24, T19, X130, reduce50_in_gga(T24, T23, X130))
REDUCE7_IN_GGA(.(T23, .(T23, T24)), T19, .(T23, X130)) → REDUCE50_IN_GGA(T24, T23, X130)
REDUCE7_IN_GGA(.(T25, .(T25, T26)), T19, .(T25, X145)) → U20_GGA(T25, T26, T19, X145, reduce50_in_gga(T26, T25, X145))
REDUCE7_IN_GGA(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177))) → U21_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 97, X177))
REDUCE7_IN_GGA(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177))) → REDUCE130_IN_GGA(T32, 97, X177)
REDUCE7_IN_GGA(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177))) → U22_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 101, X177))
REDUCE7_IN_GGA(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177))) → REDUCE130_IN_GGA(T32, 101, X177)
REDUCE7_IN_GGA(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177))) → U23_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 105, X177))
REDUCE7_IN_GGA(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177))) → REDUCE130_IN_GGA(T32, 105, X177)
REDUCE7_IN_GGA(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177))) → U24_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 111, X177))
REDUCE7_IN_GGA(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177))) → REDUCE130_IN_GGA(T32, 111, X177)
REDUCE7_IN_GGA(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177))) → U25_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 117, X177))
REDUCE7_IN_GGA(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177))) → REDUCE130_IN_GGA(T32, 117, X177)
REDUCE7_IN_GGA(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177))) → U26_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 104, X177))
REDUCE7_IN_GGA(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177))) → REDUCE130_IN_GGA(T32, 104, X177)
REDUCE7_IN_GGA(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177))) → U27_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 119, X177))
REDUCE7_IN_GGA(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177))) → REDUCE130_IN_GGA(T32, 119, X177)
REDUCE7_IN_GGA(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177))) → U28_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 121, X177))
REDUCE7_IN_GGA(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177))) → REDUCE130_IN_GGA(T32, 121, X177)
REDUCE7_IN_GGA(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234))) → U29_GGA(T29, T33, T34, T19, X234, reduce130_in_gga(T34, T33, X234))
REDUCE7_IN_GGA(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234))) → REDUCE130_IN_GGA(T34, T33, X234)
REDUCE7_IN_GGA(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249))) → U30_GGA(T29, T35, T36, T19, X249, reduce130_in_gga(T36, T35, X249))
GOAL1_IN_GA(.(T7, T8), T42) → U62_GA(T7, T8, T42, reduce7_in_gga(T8, T7, T42))
GOAL1_IN_GA(.(T7, T8), T42) → REDUCE7_IN_GGA(T8, T7, T42)
goal1_in_ga(.(T7, T8), T5) → U61_ga(T7, T8, T5, reduce7_in_gga(T8, T7, X12))
reduce7_in_gga([], T10, []) → reduce7_out_gga([], T10, [])
reduce7_in_gga(.(97, T12), 97, X29) → U1_gga(T12, X29, reduce7_in_gga(T12, 97, X29))
reduce7_in_gga(.(101, T12), 101, X29) → U2_gga(T12, X29, reduce7_in_gga(T12, 101, X29))
reduce7_in_gga(.(105, T12), 105, X29) → U3_gga(T12, X29, reduce7_in_gga(T12, 105, X29))
reduce7_in_gga(.(111, T12), 111, X29) → U4_gga(T12, X29, reduce7_in_gga(T12, 111, X29))
reduce7_in_gga(.(117, T12), 117, X29) → U5_gga(T12, X29, reduce7_in_gga(T12, 117, X29))
reduce7_in_gga(.(104, T12), 104, X29) → U6_gga(T12, X29, reduce7_in_gga(T12, 104, X29))
reduce7_in_gga(.(119, T12), 119, X29) → U7_gga(T12, X29, reduce7_in_gga(T12, 119, X29))
reduce7_in_gga(.(121, T12), 121, X29) → U8_gga(T12, X29, reduce7_in_gga(T12, 121, X29))
reduce7_in_gga(.(T13, T14), T13, X38) → U9_gga(T13, T14, X38, reduce7_in_gga(T14, T13, X38))
reduce7_in_gga(.(T15, T16), T15, X47) → U10_gga(T15, T16, X47, reduce7_in_gga(T16, T15, X47))
reduce7_in_gga(.(T20, []), T19, .(T20, [])) → reduce7_out_gga(.(T20, []), T19, .(T20, []))
reduce7_in_gga(.(97, .(97, T22)), T19, .(97, X73)) → U11_gga(T22, T19, X73, reduce50_in_gga(T22, 97, X73))
reduce50_in_gga([], T20, []) → reduce50_out_gga([], T20, [])
reduce50_in_gga(.(97, T22), 97, X73) → U31_gga(T22, X73, reduce50_in_gga(T22, 97, X73))
reduce50_in_gga(.(101, T22), 101, X73) → U32_gga(T22, X73, reduce50_in_gga(T22, 101, X73))
reduce50_in_gga(.(105, T22), 105, X73) → U33_gga(T22, X73, reduce50_in_gga(T22, 105, X73))
reduce50_in_gga(.(111, T22), 111, X73) → U34_gga(T22, X73, reduce50_in_gga(T22, 111, X73))
reduce50_in_gga(.(117, T22), 117, X73) → U35_gga(T22, X73, reduce50_in_gga(T22, 117, X73))
reduce50_in_gga(.(104, T22), 104, X73) → U36_gga(T22, X73, reduce50_in_gga(T22, 104, X73))
reduce50_in_gga(.(119, T22), 119, X73) → U37_gga(T22, X73, reduce50_in_gga(T22, 119, X73))
reduce50_in_gga(.(121, T22), 121, X73) → U38_gga(T22, X73, reduce50_in_gga(T22, 121, X73))
reduce50_in_gga(.(T23, T24), T23, X130) → U39_gga(T23, T24, X130, reduce50_in_gga(T24, T23, X130))
reduce50_in_gga(.(T25, T26), T25, X145) → U40_gga(T25, T26, X145, reduce50_in_gga(T26, T25, X145))
reduce50_in_gga(.(T30, []), T29, .(T30, [])) → reduce50_out_gga(.(T30, []), T29, .(T30, []))
reduce50_in_gga(.(97, .(97, T32)), T29, .(97, X177)) → U41_gga(T32, T29, X177, reduce130_in_gga(T32, 97, X177))
reduce130_in_gga([], T30, []) → reduce130_out_gga([], T30, [])
reduce130_in_gga(.(97, T32), 97, X177) → U51_gga(T32, X177, reduce130_in_gga(T32, 97, X177))
reduce130_in_gga(.(101, T32), 101, X177) → U52_gga(T32, X177, reduce130_in_gga(T32, 101, X177))
reduce130_in_gga(.(105, T32), 105, X177) → U53_gga(T32, X177, reduce130_in_gga(T32, 105, X177))
reduce130_in_gga(.(111, T32), 111, X177) → U54_gga(T32, X177, reduce130_in_gga(T32, 111, X177))
reduce130_in_gga(.(117, T32), 117, X177) → U55_gga(T32, X177, reduce130_in_gga(T32, 117, X177))
reduce130_in_gga(.(104, T32), 104, X177) → U56_gga(T32, X177, reduce130_in_gga(T32, 104, X177))
reduce130_in_gga(.(119, T32), 119, X177) → U57_gga(T32, X177, reduce130_in_gga(T32, 119, X177))
reduce130_in_gga(.(121, T32), 121, X177) → U58_gga(T32, X177, reduce130_in_gga(T32, 121, X177))
reduce130_in_gga(.(T33, T34), T33, X234) → U59_gga(T33, T34, X234, reduce130_in_gga(T34, T33, X234))
reduce130_in_gga(.(T35, T36), T35, X249) → U60_gga(T35, T36, X249, reduce130_in_gga(T36, T35, X249))
reduce130_in_gga(.(T41, T40), T39, .(T41, [])) → reduce130_out_gga(.(T41, T40), T39, .(T41, []))
U60_gga(T35, T36, X249, reduce130_out_gga(T36, T35, X249)) → reduce130_out_gga(.(T35, T36), T35, X249)
U59_gga(T33, T34, X234, reduce130_out_gga(T34, T33, X234)) → reduce130_out_gga(.(T33, T34), T33, X234)
U58_gga(T32, X177, reduce130_out_gga(T32, 121, X177)) → reduce130_out_gga(.(121, T32), 121, X177)
U57_gga(T32, X177, reduce130_out_gga(T32, 119, X177)) → reduce130_out_gga(.(119, T32), 119, X177)
U56_gga(T32, X177, reduce130_out_gga(T32, 104, X177)) → reduce130_out_gga(.(104, T32), 104, X177)
U55_gga(T32, X177, reduce130_out_gga(T32, 117, X177)) → reduce130_out_gga(.(117, T32), 117, X177)
U54_gga(T32, X177, reduce130_out_gga(T32, 111, X177)) → reduce130_out_gga(.(111, T32), 111, X177)
U53_gga(T32, X177, reduce130_out_gga(T32, 105, X177)) → reduce130_out_gga(.(105, T32), 105, X177)
U52_gga(T32, X177, reduce130_out_gga(T32, 101, X177)) → reduce130_out_gga(.(101, T32), 101, X177)
U51_gga(T32, X177, reduce130_out_gga(T32, 97, X177)) → reduce130_out_gga(.(97, T32), 97, X177)
U41_gga(T32, T29, X177, reduce130_out_gga(T32, 97, X177)) → reduce50_out_gga(.(97, .(97, T32)), T29, .(97, X177))
reduce50_in_gga(.(101, .(101, T32)), T29, .(101, X177)) → U42_gga(T32, T29, X177, reduce130_in_gga(T32, 101, X177))
U42_gga(T32, T29, X177, reduce130_out_gga(T32, 101, X177)) → reduce50_out_gga(.(101, .(101, T32)), T29, .(101, X177))
reduce50_in_gga(.(105, .(105, T32)), T29, .(105, X177)) → U43_gga(T32, T29, X177, reduce130_in_gga(T32, 105, X177))
U43_gga(T32, T29, X177, reduce130_out_gga(T32, 105, X177)) → reduce50_out_gga(.(105, .(105, T32)), T29, .(105, X177))
reduce50_in_gga(.(111, .(111, T32)), T29, .(111, X177)) → U44_gga(T32, T29, X177, reduce130_in_gga(T32, 111, X177))
U44_gga(T32, T29, X177, reduce130_out_gga(T32, 111, X177)) → reduce50_out_gga(.(111, .(111, T32)), T29, .(111, X177))
reduce50_in_gga(.(117, .(117, T32)), T29, .(117, X177)) → U45_gga(T32, T29, X177, reduce130_in_gga(T32, 117, X177))
U45_gga(T32, T29, X177, reduce130_out_gga(T32, 117, X177)) → reduce50_out_gga(.(117, .(117, T32)), T29, .(117, X177))
reduce50_in_gga(.(104, .(104, T32)), T29, .(104, X177)) → U46_gga(T32, T29, X177, reduce130_in_gga(T32, 104, X177))
U46_gga(T32, T29, X177, reduce130_out_gga(T32, 104, X177)) → reduce50_out_gga(.(104, .(104, T32)), T29, .(104, X177))
reduce50_in_gga(.(119, .(119, T32)), T29, .(119, X177)) → U47_gga(T32, T29, X177, reduce130_in_gga(T32, 119, X177))
U47_gga(T32, T29, X177, reduce130_out_gga(T32, 119, X177)) → reduce50_out_gga(.(119, .(119, T32)), T29, .(119, X177))
reduce50_in_gga(.(121, .(121, T32)), T29, .(121, X177)) → U48_gga(T32, T29, X177, reduce130_in_gga(T32, 121, X177))
U48_gga(T32, T29, X177, reduce130_out_gga(T32, 121, X177)) → reduce50_out_gga(.(121, .(121, T32)), T29, .(121, X177))
reduce50_in_gga(.(T33, .(T33, T34)), T29, .(T33, X234)) → U49_gga(T33, T34, T29, X234, reduce130_in_gga(T34, T33, X234))
U49_gga(T33, T34, T29, X234, reduce130_out_gga(T34, T33, X234)) → reduce50_out_gga(.(T33, .(T33, T34)), T29, .(T33, X234))
reduce50_in_gga(.(T35, .(T35, T36)), T29, .(T35, X249)) → U50_gga(T35, T36, T29, X249, reduce130_in_gga(T36, T35, X249))
U50_gga(T35, T36, T29, X249, reduce130_out_gga(T36, T35, X249)) → reduce50_out_gga(.(T35, .(T35, T36)), T29, .(T35, X249))
reduce50_in_gga(.(T39, .(T41, T40)), T29, .(T39, .(T41, []))) → reduce50_out_gga(.(T39, .(T41, T40)), T29, .(T39, .(T41, [])))
U40_gga(T25, T26, X145, reduce50_out_gga(T26, T25, X145)) → reduce50_out_gga(.(T25, T26), T25, X145)
U39_gga(T23, T24, X130, reduce50_out_gga(T24, T23, X130)) → reduce50_out_gga(.(T23, T24), T23, X130)
U38_gga(T22, X73, reduce50_out_gga(T22, 121, X73)) → reduce50_out_gga(.(121, T22), 121, X73)
U37_gga(T22, X73, reduce50_out_gga(T22, 119, X73)) → reduce50_out_gga(.(119, T22), 119, X73)
U36_gga(T22, X73, reduce50_out_gga(T22, 104, X73)) → reduce50_out_gga(.(104, T22), 104, X73)
U35_gga(T22, X73, reduce50_out_gga(T22, 117, X73)) → reduce50_out_gga(.(117, T22), 117, X73)
U34_gga(T22, X73, reduce50_out_gga(T22, 111, X73)) → reduce50_out_gga(.(111, T22), 111, X73)
U33_gga(T22, X73, reduce50_out_gga(T22, 105, X73)) → reduce50_out_gga(.(105, T22), 105, X73)
U32_gga(T22, X73, reduce50_out_gga(T22, 101, X73)) → reduce50_out_gga(.(101, T22), 101, X73)
U31_gga(T22, X73, reduce50_out_gga(T22, 97, X73)) → reduce50_out_gga(.(97, T22), 97, X73)
U11_gga(T22, T19, X73, reduce50_out_gga(T22, 97, X73)) → reduce7_out_gga(.(97, .(97, T22)), T19, .(97, X73))
reduce7_in_gga(.(101, .(101, T22)), T19, .(101, X73)) → U12_gga(T22, T19, X73, reduce50_in_gga(T22, 101, X73))
U12_gga(T22, T19, X73, reduce50_out_gga(T22, 101, X73)) → reduce7_out_gga(.(101, .(101, T22)), T19, .(101, X73))
reduce7_in_gga(.(105, .(105, T22)), T19, .(105, X73)) → U13_gga(T22, T19, X73, reduce50_in_gga(T22, 105, X73))
U13_gga(T22, T19, X73, reduce50_out_gga(T22, 105, X73)) → reduce7_out_gga(.(105, .(105, T22)), T19, .(105, X73))
reduce7_in_gga(.(111, .(111, T22)), T19, .(111, X73)) → U14_gga(T22, T19, X73, reduce50_in_gga(T22, 111, X73))
U14_gga(T22, T19, X73, reduce50_out_gga(T22, 111, X73)) → reduce7_out_gga(.(111, .(111, T22)), T19, .(111, X73))
reduce7_in_gga(.(117, .(117, T22)), T19, .(117, X73)) → U15_gga(T22, T19, X73, reduce50_in_gga(T22, 117, X73))
U15_gga(T22, T19, X73, reduce50_out_gga(T22, 117, X73)) → reduce7_out_gga(.(117, .(117, T22)), T19, .(117, X73))
reduce7_in_gga(.(104, .(104, T22)), T19, .(104, X73)) → U16_gga(T22, T19, X73, reduce50_in_gga(T22, 104, X73))
U16_gga(T22, T19, X73, reduce50_out_gga(T22, 104, X73)) → reduce7_out_gga(.(104, .(104, T22)), T19, .(104, X73))
reduce7_in_gga(.(119, .(119, T22)), T19, .(119, X73)) → U17_gga(T22, T19, X73, reduce50_in_gga(T22, 119, X73))
U17_gga(T22, T19, X73, reduce50_out_gga(T22, 119, X73)) → reduce7_out_gga(.(119, .(119, T22)), T19, .(119, X73))
reduce7_in_gga(.(121, .(121, T22)), T19, .(121, X73)) → U18_gga(T22, T19, X73, reduce50_in_gga(T22, 121, X73))
U18_gga(T22, T19, X73, reduce50_out_gga(T22, 121, X73)) → reduce7_out_gga(.(121, .(121, T22)), T19, .(121, X73))
reduce7_in_gga(.(T23, .(T23, T24)), T19, .(T23, X130)) → U19_gga(T23, T24, T19, X130, reduce50_in_gga(T24, T23, X130))
U19_gga(T23, T24, T19, X130, reduce50_out_gga(T24, T23, X130)) → reduce7_out_gga(.(T23, .(T23, T24)), T19, .(T23, X130))
reduce7_in_gga(.(T25, .(T25, T26)), T19, .(T25, X145)) → U20_gga(T25, T26, T19, X145, reduce50_in_gga(T26, T25, X145))
U20_gga(T25, T26, T19, X145, reduce50_out_gga(T26, T25, X145)) → reduce7_out_gga(.(T25, .(T25, T26)), T19, .(T25, X145))
reduce7_in_gga(.(T29, .(T30, [])), T19, .(T29, .(T30, []))) → reduce7_out_gga(.(T29, .(T30, [])), T19, .(T29, .(T30, [])))
reduce7_in_gga(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177))) → U21_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 97, X177))
U21_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 97, X177)) → reduce7_out_gga(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177)))
reduce7_in_gga(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177))) → U22_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 101, X177))
U22_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 101, X177)) → reduce7_out_gga(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177)))
reduce7_in_gga(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177))) → U23_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 105, X177))
U23_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 105, X177)) → reduce7_out_gga(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177)))
reduce7_in_gga(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177))) → U24_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 111, X177))
U24_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 111, X177)) → reduce7_out_gga(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177)))
reduce7_in_gga(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177))) → U25_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 117, X177))
U25_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 117, X177)) → reduce7_out_gga(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177)))
reduce7_in_gga(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177))) → U26_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 104, X177))
U26_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 104, X177)) → reduce7_out_gga(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177)))
reduce7_in_gga(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177))) → U27_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 119, X177))
U27_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 119, X177)) → reduce7_out_gga(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177)))
reduce7_in_gga(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177))) → U28_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 121, X177))
U28_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 121, X177)) → reduce7_out_gga(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177)))
reduce7_in_gga(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234))) → U29_gga(T29, T33, T34, T19, X234, reduce130_in_gga(T34, T33, X234))
U29_gga(T29, T33, T34, T19, X234, reduce130_out_gga(T34, T33, X234)) → reduce7_out_gga(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234)))
reduce7_in_gga(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249))) → U30_gga(T29, T35, T36, T19, X249, reduce130_in_gga(T36, T35, X249))
U30_gga(T29, T35, T36, T19, X249, reduce130_out_gga(T36, T35, X249)) → reduce7_out_gga(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249)))
reduce7_in_gga(.(T29, .(T39, .(T41, T40))), T19, .(T29, .(T39, .(T41, [])))) → reduce7_out_gga(.(T29, .(T39, .(T41, T40))), T19, .(T29, .(T39, .(T41, []))))
U10_gga(T15, T16, X47, reduce7_out_gga(T16, T15, X47)) → reduce7_out_gga(.(T15, T16), T15, X47)
U9_gga(T13, T14, X38, reduce7_out_gga(T14, T13, X38)) → reduce7_out_gga(.(T13, T14), T13, X38)
U8_gga(T12, X29, reduce7_out_gga(T12, 121, X29)) → reduce7_out_gga(.(121, T12), 121, X29)
U7_gga(T12, X29, reduce7_out_gga(T12, 119, X29)) → reduce7_out_gga(.(119, T12), 119, X29)
U6_gga(T12, X29, reduce7_out_gga(T12, 104, X29)) → reduce7_out_gga(.(104, T12), 104, X29)
U5_gga(T12, X29, reduce7_out_gga(T12, 117, X29)) → reduce7_out_gga(.(117, T12), 117, X29)
U4_gga(T12, X29, reduce7_out_gga(T12, 111, X29)) → reduce7_out_gga(.(111, T12), 111, X29)
U3_gga(T12, X29, reduce7_out_gga(T12, 105, X29)) → reduce7_out_gga(.(105, T12), 105, X29)
U2_gga(T12, X29, reduce7_out_gga(T12, 101, X29)) → reduce7_out_gga(.(101, T12), 101, X29)
U1_gga(T12, X29, reduce7_out_gga(T12, 97, X29)) → reduce7_out_gga(.(97, T12), 97, X29)
U61_ga(T7, T8, T5, reduce7_out_gga(T8, T7, X12)) → goal1_out_ga(.(T7, T8), T5)
goal1_in_ga(.(T7, T8), T42) → U62_ga(T7, T8, T42, reduce7_in_gga(T8, T7, T42))
U62_ga(T7, T8, T42, reduce7_out_gga(T8, T7, T42)) → goal1_out_ga(.(T7, T8), T42)
GOAL1_IN_GA(.(T7, T8), T5) → U61_GA(T7, T8, T5, reduce7_in_gga(T8, T7, X12))
GOAL1_IN_GA(.(T7, T8), T5) → REDUCE7_IN_GGA(T8, T7, X12)
REDUCE7_IN_GGA(.(97, T12), 97, X29) → U1_GGA(T12, X29, reduce7_in_gga(T12, 97, X29))
REDUCE7_IN_GGA(.(97, T12), 97, X29) → REDUCE7_IN_GGA(T12, 97, X29)
REDUCE7_IN_GGA(.(101, T12), 101, X29) → U2_GGA(T12, X29, reduce7_in_gga(T12, 101, X29))
REDUCE7_IN_GGA(.(101, T12), 101, X29) → REDUCE7_IN_GGA(T12, 101, X29)
REDUCE7_IN_GGA(.(105, T12), 105, X29) → U3_GGA(T12, X29, reduce7_in_gga(T12, 105, X29))
REDUCE7_IN_GGA(.(105, T12), 105, X29) → REDUCE7_IN_GGA(T12, 105, X29)
REDUCE7_IN_GGA(.(111, T12), 111, X29) → U4_GGA(T12, X29, reduce7_in_gga(T12, 111, X29))
REDUCE7_IN_GGA(.(111, T12), 111, X29) → REDUCE7_IN_GGA(T12, 111, X29)
REDUCE7_IN_GGA(.(117, T12), 117, X29) → U5_GGA(T12, X29, reduce7_in_gga(T12, 117, X29))
REDUCE7_IN_GGA(.(117, T12), 117, X29) → REDUCE7_IN_GGA(T12, 117, X29)
REDUCE7_IN_GGA(.(104, T12), 104, X29) → U6_GGA(T12, X29, reduce7_in_gga(T12, 104, X29))
REDUCE7_IN_GGA(.(104, T12), 104, X29) → REDUCE7_IN_GGA(T12, 104, X29)
REDUCE7_IN_GGA(.(119, T12), 119, X29) → U7_GGA(T12, X29, reduce7_in_gga(T12, 119, X29))
REDUCE7_IN_GGA(.(119, T12), 119, X29) → REDUCE7_IN_GGA(T12, 119, X29)
REDUCE7_IN_GGA(.(121, T12), 121, X29) → U8_GGA(T12, X29, reduce7_in_gga(T12, 121, X29))
REDUCE7_IN_GGA(.(121, T12), 121, X29) → REDUCE7_IN_GGA(T12, 121, X29)
REDUCE7_IN_GGA(.(T13, T14), T13, X38) → U9_GGA(T13, T14, X38, reduce7_in_gga(T14, T13, X38))
REDUCE7_IN_GGA(.(T13, T14), T13, X38) → REDUCE7_IN_GGA(T14, T13, X38)
REDUCE7_IN_GGA(.(T15, T16), T15, X47) → U10_GGA(T15, T16, X47, reduce7_in_gga(T16, T15, X47))
REDUCE7_IN_GGA(.(97, .(97, T22)), T19, .(97, X73)) → U11_GGA(T22, T19, X73, reduce50_in_gga(T22, 97, X73))
REDUCE7_IN_GGA(.(97, .(97, T22)), T19, .(97, X73)) → REDUCE50_IN_GGA(T22, 97, X73)
REDUCE50_IN_GGA(.(97, T22), 97, X73) → U31_GGA(T22, X73, reduce50_in_gga(T22, 97, X73))
REDUCE50_IN_GGA(.(97, T22), 97, X73) → REDUCE50_IN_GGA(T22, 97, X73)
REDUCE50_IN_GGA(.(101, T22), 101, X73) → U32_GGA(T22, X73, reduce50_in_gga(T22, 101, X73))
REDUCE50_IN_GGA(.(101, T22), 101, X73) → REDUCE50_IN_GGA(T22, 101, X73)
REDUCE50_IN_GGA(.(105, T22), 105, X73) → U33_GGA(T22, X73, reduce50_in_gga(T22, 105, X73))
REDUCE50_IN_GGA(.(105, T22), 105, X73) → REDUCE50_IN_GGA(T22, 105, X73)
REDUCE50_IN_GGA(.(111, T22), 111, X73) → U34_GGA(T22, X73, reduce50_in_gga(T22, 111, X73))
REDUCE50_IN_GGA(.(111, T22), 111, X73) → REDUCE50_IN_GGA(T22, 111, X73)
REDUCE50_IN_GGA(.(117, T22), 117, X73) → U35_GGA(T22, X73, reduce50_in_gga(T22, 117, X73))
REDUCE50_IN_GGA(.(117, T22), 117, X73) → REDUCE50_IN_GGA(T22, 117, X73)
REDUCE50_IN_GGA(.(104, T22), 104, X73) → U36_GGA(T22, X73, reduce50_in_gga(T22, 104, X73))
REDUCE50_IN_GGA(.(104, T22), 104, X73) → REDUCE50_IN_GGA(T22, 104, X73)
REDUCE50_IN_GGA(.(119, T22), 119, X73) → U37_GGA(T22, X73, reduce50_in_gga(T22, 119, X73))
REDUCE50_IN_GGA(.(119, T22), 119, X73) → REDUCE50_IN_GGA(T22, 119, X73)
REDUCE50_IN_GGA(.(121, T22), 121, X73) → U38_GGA(T22, X73, reduce50_in_gga(T22, 121, X73))
REDUCE50_IN_GGA(.(121, T22), 121, X73) → REDUCE50_IN_GGA(T22, 121, X73)
REDUCE50_IN_GGA(.(T23, T24), T23, X130) → U39_GGA(T23, T24, X130, reduce50_in_gga(T24, T23, X130))
REDUCE50_IN_GGA(.(T23, T24), T23, X130) → REDUCE50_IN_GGA(T24, T23, X130)
REDUCE50_IN_GGA(.(T25, T26), T25, X145) → U40_GGA(T25, T26, X145, reduce50_in_gga(T26, T25, X145))
REDUCE50_IN_GGA(.(97, .(97, T32)), T29, .(97, X177)) → U41_GGA(T32, T29, X177, reduce130_in_gga(T32, 97, X177))
REDUCE50_IN_GGA(.(97, .(97, T32)), T29, .(97, X177)) → REDUCE130_IN_GGA(T32, 97, X177)
REDUCE130_IN_GGA(.(97, T32), 97, X177) → U51_GGA(T32, X177, reduce130_in_gga(T32, 97, X177))
REDUCE130_IN_GGA(.(97, T32), 97, X177) → REDUCE130_IN_GGA(T32, 97, X177)
REDUCE130_IN_GGA(.(101, T32), 101, X177) → U52_GGA(T32, X177, reduce130_in_gga(T32, 101, X177))
REDUCE130_IN_GGA(.(101, T32), 101, X177) → REDUCE130_IN_GGA(T32, 101, X177)
REDUCE130_IN_GGA(.(105, T32), 105, X177) → U53_GGA(T32, X177, reduce130_in_gga(T32, 105, X177))
REDUCE130_IN_GGA(.(105, T32), 105, X177) → REDUCE130_IN_GGA(T32, 105, X177)
REDUCE130_IN_GGA(.(111, T32), 111, X177) → U54_GGA(T32, X177, reduce130_in_gga(T32, 111, X177))
REDUCE130_IN_GGA(.(111, T32), 111, X177) → REDUCE130_IN_GGA(T32, 111, X177)
REDUCE130_IN_GGA(.(117, T32), 117, X177) → U55_GGA(T32, X177, reduce130_in_gga(T32, 117, X177))
REDUCE130_IN_GGA(.(117, T32), 117, X177) → REDUCE130_IN_GGA(T32, 117, X177)
REDUCE130_IN_GGA(.(104, T32), 104, X177) → U56_GGA(T32, X177, reduce130_in_gga(T32, 104, X177))
REDUCE130_IN_GGA(.(104, T32), 104, X177) → REDUCE130_IN_GGA(T32, 104, X177)
REDUCE130_IN_GGA(.(119, T32), 119, X177) → U57_GGA(T32, X177, reduce130_in_gga(T32, 119, X177))
REDUCE130_IN_GGA(.(119, T32), 119, X177) → REDUCE130_IN_GGA(T32, 119, X177)
REDUCE130_IN_GGA(.(121, T32), 121, X177) → U58_GGA(T32, X177, reduce130_in_gga(T32, 121, X177))
REDUCE130_IN_GGA(.(121, T32), 121, X177) → REDUCE130_IN_GGA(T32, 121, X177)
REDUCE130_IN_GGA(.(T33, T34), T33, X234) → U59_GGA(T33, T34, X234, reduce130_in_gga(T34, T33, X234))
REDUCE130_IN_GGA(.(T33, T34), T33, X234) → REDUCE130_IN_GGA(T34, T33, X234)
REDUCE130_IN_GGA(.(T35, T36), T35, X249) → U60_GGA(T35, T36, X249, reduce130_in_gga(T36, T35, X249))
REDUCE50_IN_GGA(.(101, .(101, T32)), T29, .(101, X177)) → U42_GGA(T32, T29, X177, reduce130_in_gga(T32, 101, X177))
REDUCE50_IN_GGA(.(101, .(101, T32)), T29, .(101, X177)) → REDUCE130_IN_GGA(T32, 101, X177)
REDUCE50_IN_GGA(.(105, .(105, T32)), T29, .(105, X177)) → U43_GGA(T32, T29, X177, reduce130_in_gga(T32, 105, X177))
REDUCE50_IN_GGA(.(105, .(105, T32)), T29, .(105, X177)) → REDUCE130_IN_GGA(T32, 105, X177)
REDUCE50_IN_GGA(.(111, .(111, T32)), T29, .(111, X177)) → U44_GGA(T32, T29, X177, reduce130_in_gga(T32, 111, X177))
REDUCE50_IN_GGA(.(111, .(111, T32)), T29, .(111, X177)) → REDUCE130_IN_GGA(T32, 111, X177)
REDUCE50_IN_GGA(.(117, .(117, T32)), T29, .(117, X177)) → U45_GGA(T32, T29, X177, reduce130_in_gga(T32, 117, X177))
REDUCE50_IN_GGA(.(117, .(117, T32)), T29, .(117, X177)) → REDUCE130_IN_GGA(T32, 117, X177)
REDUCE50_IN_GGA(.(104, .(104, T32)), T29, .(104, X177)) → U46_GGA(T32, T29, X177, reduce130_in_gga(T32, 104, X177))
REDUCE50_IN_GGA(.(104, .(104, T32)), T29, .(104, X177)) → REDUCE130_IN_GGA(T32, 104, X177)
REDUCE50_IN_GGA(.(119, .(119, T32)), T29, .(119, X177)) → U47_GGA(T32, T29, X177, reduce130_in_gga(T32, 119, X177))
REDUCE50_IN_GGA(.(119, .(119, T32)), T29, .(119, X177)) → REDUCE130_IN_GGA(T32, 119, X177)
REDUCE50_IN_GGA(.(121, .(121, T32)), T29, .(121, X177)) → U48_GGA(T32, T29, X177, reduce130_in_gga(T32, 121, X177))
REDUCE50_IN_GGA(.(121, .(121, T32)), T29, .(121, X177)) → REDUCE130_IN_GGA(T32, 121, X177)
REDUCE50_IN_GGA(.(T33, .(T33, T34)), T29, .(T33, X234)) → U49_GGA(T33, T34, T29, X234, reduce130_in_gga(T34, T33, X234))
REDUCE50_IN_GGA(.(T33, .(T33, T34)), T29, .(T33, X234)) → REDUCE130_IN_GGA(T34, T33, X234)
REDUCE50_IN_GGA(.(T35, .(T35, T36)), T29, .(T35, X249)) → U50_GGA(T35, T36, T29, X249, reduce130_in_gga(T36, T35, X249))
REDUCE7_IN_GGA(.(101, .(101, T22)), T19, .(101, X73)) → U12_GGA(T22, T19, X73, reduce50_in_gga(T22, 101, X73))
REDUCE7_IN_GGA(.(101, .(101, T22)), T19, .(101, X73)) → REDUCE50_IN_GGA(T22, 101, X73)
REDUCE7_IN_GGA(.(105, .(105, T22)), T19, .(105, X73)) → U13_GGA(T22, T19, X73, reduce50_in_gga(T22, 105, X73))
REDUCE7_IN_GGA(.(105, .(105, T22)), T19, .(105, X73)) → REDUCE50_IN_GGA(T22, 105, X73)
REDUCE7_IN_GGA(.(111, .(111, T22)), T19, .(111, X73)) → U14_GGA(T22, T19, X73, reduce50_in_gga(T22, 111, X73))
REDUCE7_IN_GGA(.(111, .(111, T22)), T19, .(111, X73)) → REDUCE50_IN_GGA(T22, 111, X73)
REDUCE7_IN_GGA(.(117, .(117, T22)), T19, .(117, X73)) → U15_GGA(T22, T19, X73, reduce50_in_gga(T22, 117, X73))
REDUCE7_IN_GGA(.(117, .(117, T22)), T19, .(117, X73)) → REDUCE50_IN_GGA(T22, 117, X73)
REDUCE7_IN_GGA(.(104, .(104, T22)), T19, .(104, X73)) → U16_GGA(T22, T19, X73, reduce50_in_gga(T22, 104, X73))
REDUCE7_IN_GGA(.(104, .(104, T22)), T19, .(104, X73)) → REDUCE50_IN_GGA(T22, 104, X73)
REDUCE7_IN_GGA(.(119, .(119, T22)), T19, .(119, X73)) → U17_GGA(T22, T19, X73, reduce50_in_gga(T22, 119, X73))
REDUCE7_IN_GGA(.(119, .(119, T22)), T19, .(119, X73)) → REDUCE50_IN_GGA(T22, 119, X73)
REDUCE7_IN_GGA(.(121, .(121, T22)), T19, .(121, X73)) → U18_GGA(T22, T19, X73, reduce50_in_gga(T22, 121, X73))
REDUCE7_IN_GGA(.(121, .(121, T22)), T19, .(121, X73)) → REDUCE50_IN_GGA(T22, 121, X73)
REDUCE7_IN_GGA(.(T23, .(T23, T24)), T19, .(T23, X130)) → U19_GGA(T23, T24, T19, X130, reduce50_in_gga(T24, T23, X130))
REDUCE7_IN_GGA(.(T23, .(T23, T24)), T19, .(T23, X130)) → REDUCE50_IN_GGA(T24, T23, X130)
REDUCE7_IN_GGA(.(T25, .(T25, T26)), T19, .(T25, X145)) → U20_GGA(T25, T26, T19, X145, reduce50_in_gga(T26, T25, X145))
REDUCE7_IN_GGA(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177))) → U21_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 97, X177))
REDUCE7_IN_GGA(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177))) → REDUCE130_IN_GGA(T32, 97, X177)
REDUCE7_IN_GGA(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177))) → U22_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 101, X177))
REDUCE7_IN_GGA(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177))) → REDUCE130_IN_GGA(T32, 101, X177)
REDUCE7_IN_GGA(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177))) → U23_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 105, X177))
REDUCE7_IN_GGA(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177))) → REDUCE130_IN_GGA(T32, 105, X177)
REDUCE7_IN_GGA(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177))) → U24_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 111, X177))
REDUCE7_IN_GGA(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177))) → REDUCE130_IN_GGA(T32, 111, X177)
REDUCE7_IN_GGA(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177))) → U25_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 117, X177))
REDUCE7_IN_GGA(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177))) → REDUCE130_IN_GGA(T32, 117, X177)
REDUCE7_IN_GGA(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177))) → U26_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 104, X177))
REDUCE7_IN_GGA(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177))) → REDUCE130_IN_GGA(T32, 104, X177)
REDUCE7_IN_GGA(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177))) → U27_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 119, X177))
REDUCE7_IN_GGA(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177))) → REDUCE130_IN_GGA(T32, 119, X177)
REDUCE7_IN_GGA(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177))) → U28_GGA(T29, T32, T19, X177, reduce130_in_gga(T32, 121, X177))
REDUCE7_IN_GGA(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177))) → REDUCE130_IN_GGA(T32, 121, X177)
REDUCE7_IN_GGA(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234))) → U29_GGA(T29, T33, T34, T19, X234, reduce130_in_gga(T34, T33, X234))
REDUCE7_IN_GGA(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234))) → REDUCE130_IN_GGA(T34, T33, X234)
REDUCE7_IN_GGA(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249))) → U30_GGA(T29, T35, T36, T19, X249, reduce130_in_gga(T36, T35, X249))
GOAL1_IN_GA(.(T7, T8), T42) → U62_GA(T7, T8, T42, reduce7_in_gga(T8, T7, T42))
GOAL1_IN_GA(.(T7, T8), T42) → REDUCE7_IN_GGA(T8, T7, T42)
goal1_in_ga(.(T7, T8), T5) → U61_ga(T7, T8, T5, reduce7_in_gga(T8, T7, X12))
reduce7_in_gga([], T10, []) → reduce7_out_gga([], T10, [])
reduce7_in_gga(.(97, T12), 97, X29) → U1_gga(T12, X29, reduce7_in_gga(T12, 97, X29))
reduce7_in_gga(.(101, T12), 101, X29) → U2_gga(T12, X29, reduce7_in_gga(T12, 101, X29))
reduce7_in_gga(.(105, T12), 105, X29) → U3_gga(T12, X29, reduce7_in_gga(T12, 105, X29))
reduce7_in_gga(.(111, T12), 111, X29) → U4_gga(T12, X29, reduce7_in_gga(T12, 111, X29))
reduce7_in_gga(.(117, T12), 117, X29) → U5_gga(T12, X29, reduce7_in_gga(T12, 117, X29))
reduce7_in_gga(.(104, T12), 104, X29) → U6_gga(T12, X29, reduce7_in_gga(T12, 104, X29))
reduce7_in_gga(.(119, T12), 119, X29) → U7_gga(T12, X29, reduce7_in_gga(T12, 119, X29))
reduce7_in_gga(.(121, T12), 121, X29) → U8_gga(T12, X29, reduce7_in_gga(T12, 121, X29))
reduce7_in_gga(.(T13, T14), T13, X38) → U9_gga(T13, T14, X38, reduce7_in_gga(T14, T13, X38))
reduce7_in_gga(.(T15, T16), T15, X47) → U10_gga(T15, T16, X47, reduce7_in_gga(T16, T15, X47))
reduce7_in_gga(.(T20, []), T19, .(T20, [])) → reduce7_out_gga(.(T20, []), T19, .(T20, []))
reduce7_in_gga(.(97, .(97, T22)), T19, .(97, X73)) → U11_gga(T22, T19, X73, reduce50_in_gga(T22, 97, X73))
reduce50_in_gga([], T20, []) → reduce50_out_gga([], T20, [])
reduce50_in_gga(.(97, T22), 97, X73) → U31_gga(T22, X73, reduce50_in_gga(T22, 97, X73))
reduce50_in_gga(.(101, T22), 101, X73) → U32_gga(T22, X73, reduce50_in_gga(T22, 101, X73))
reduce50_in_gga(.(105, T22), 105, X73) → U33_gga(T22, X73, reduce50_in_gga(T22, 105, X73))
reduce50_in_gga(.(111, T22), 111, X73) → U34_gga(T22, X73, reduce50_in_gga(T22, 111, X73))
reduce50_in_gga(.(117, T22), 117, X73) → U35_gga(T22, X73, reduce50_in_gga(T22, 117, X73))
reduce50_in_gga(.(104, T22), 104, X73) → U36_gga(T22, X73, reduce50_in_gga(T22, 104, X73))
reduce50_in_gga(.(119, T22), 119, X73) → U37_gga(T22, X73, reduce50_in_gga(T22, 119, X73))
reduce50_in_gga(.(121, T22), 121, X73) → U38_gga(T22, X73, reduce50_in_gga(T22, 121, X73))
reduce50_in_gga(.(T23, T24), T23, X130) → U39_gga(T23, T24, X130, reduce50_in_gga(T24, T23, X130))
reduce50_in_gga(.(T25, T26), T25, X145) → U40_gga(T25, T26, X145, reduce50_in_gga(T26, T25, X145))
reduce50_in_gga(.(T30, []), T29, .(T30, [])) → reduce50_out_gga(.(T30, []), T29, .(T30, []))
reduce50_in_gga(.(97, .(97, T32)), T29, .(97, X177)) → U41_gga(T32, T29, X177, reduce130_in_gga(T32, 97, X177))
reduce130_in_gga([], T30, []) → reduce130_out_gga([], T30, [])
reduce130_in_gga(.(97, T32), 97, X177) → U51_gga(T32, X177, reduce130_in_gga(T32, 97, X177))
reduce130_in_gga(.(101, T32), 101, X177) → U52_gga(T32, X177, reduce130_in_gga(T32, 101, X177))
reduce130_in_gga(.(105, T32), 105, X177) → U53_gga(T32, X177, reduce130_in_gga(T32, 105, X177))
reduce130_in_gga(.(111, T32), 111, X177) → U54_gga(T32, X177, reduce130_in_gga(T32, 111, X177))
reduce130_in_gga(.(117, T32), 117, X177) → U55_gga(T32, X177, reduce130_in_gga(T32, 117, X177))
reduce130_in_gga(.(104, T32), 104, X177) → U56_gga(T32, X177, reduce130_in_gga(T32, 104, X177))
reduce130_in_gga(.(119, T32), 119, X177) → U57_gga(T32, X177, reduce130_in_gga(T32, 119, X177))
reduce130_in_gga(.(121, T32), 121, X177) → U58_gga(T32, X177, reduce130_in_gga(T32, 121, X177))
reduce130_in_gga(.(T33, T34), T33, X234) → U59_gga(T33, T34, X234, reduce130_in_gga(T34, T33, X234))
reduce130_in_gga(.(T35, T36), T35, X249) → U60_gga(T35, T36, X249, reduce130_in_gga(T36, T35, X249))
reduce130_in_gga(.(T41, T40), T39, .(T41, [])) → reduce130_out_gga(.(T41, T40), T39, .(T41, []))
U60_gga(T35, T36, X249, reduce130_out_gga(T36, T35, X249)) → reduce130_out_gga(.(T35, T36), T35, X249)
U59_gga(T33, T34, X234, reduce130_out_gga(T34, T33, X234)) → reduce130_out_gga(.(T33, T34), T33, X234)
U58_gga(T32, X177, reduce130_out_gga(T32, 121, X177)) → reduce130_out_gga(.(121, T32), 121, X177)
U57_gga(T32, X177, reduce130_out_gga(T32, 119, X177)) → reduce130_out_gga(.(119, T32), 119, X177)
U56_gga(T32, X177, reduce130_out_gga(T32, 104, X177)) → reduce130_out_gga(.(104, T32), 104, X177)
U55_gga(T32, X177, reduce130_out_gga(T32, 117, X177)) → reduce130_out_gga(.(117, T32), 117, X177)
U54_gga(T32, X177, reduce130_out_gga(T32, 111, X177)) → reduce130_out_gga(.(111, T32), 111, X177)
U53_gga(T32, X177, reduce130_out_gga(T32, 105, X177)) → reduce130_out_gga(.(105, T32), 105, X177)
U52_gga(T32, X177, reduce130_out_gga(T32, 101, X177)) → reduce130_out_gga(.(101, T32), 101, X177)
U51_gga(T32, X177, reduce130_out_gga(T32, 97, X177)) → reduce130_out_gga(.(97, T32), 97, X177)
U41_gga(T32, T29, X177, reduce130_out_gga(T32, 97, X177)) → reduce50_out_gga(.(97, .(97, T32)), T29, .(97, X177))
reduce50_in_gga(.(101, .(101, T32)), T29, .(101, X177)) → U42_gga(T32, T29, X177, reduce130_in_gga(T32, 101, X177))
U42_gga(T32, T29, X177, reduce130_out_gga(T32, 101, X177)) → reduce50_out_gga(.(101, .(101, T32)), T29, .(101, X177))
reduce50_in_gga(.(105, .(105, T32)), T29, .(105, X177)) → U43_gga(T32, T29, X177, reduce130_in_gga(T32, 105, X177))
U43_gga(T32, T29, X177, reduce130_out_gga(T32, 105, X177)) → reduce50_out_gga(.(105, .(105, T32)), T29, .(105, X177))
reduce50_in_gga(.(111, .(111, T32)), T29, .(111, X177)) → U44_gga(T32, T29, X177, reduce130_in_gga(T32, 111, X177))
U44_gga(T32, T29, X177, reduce130_out_gga(T32, 111, X177)) → reduce50_out_gga(.(111, .(111, T32)), T29, .(111, X177))
reduce50_in_gga(.(117, .(117, T32)), T29, .(117, X177)) → U45_gga(T32, T29, X177, reduce130_in_gga(T32, 117, X177))
U45_gga(T32, T29, X177, reduce130_out_gga(T32, 117, X177)) → reduce50_out_gga(.(117, .(117, T32)), T29, .(117, X177))
reduce50_in_gga(.(104, .(104, T32)), T29, .(104, X177)) → U46_gga(T32, T29, X177, reduce130_in_gga(T32, 104, X177))
U46_gga(T32, T29, X177, reduce130_out_gga(T32, 104, X177)) → reduce50_out_gga(.(104, .(104, T32)), T29, .(104, X177))
reduce50_in_gga(.(119, .(119, T32)), T29, .(119, X177)) → U47_gga(T32, T29, X177, reduce130_in_gga(T32, 119, X177))
U47_gga(T32, T29, X177, reduce130_out_gga(T32, 119, X177)) → reduce50_out_gga(.(119, .(119, T32)), T29, .(119, X177))
reduce50_in_gga(.(121, .(121, T32)), T29, .(121, X177)) → U48_gga(T32, T29, X177, reduce130_in_gga(T32, 121, X177))
U48_gga(T32, T29, X177, reduce130_out_gga(T32, 121, X177)) → reduce50_out_gga(.(121, .(121, T32)), T29, .(121, X177))
reduce50_in_gga(.(T33, .(T33, T34)), T29, .(T33, X234)) → U49_gga(T33, T34, T29, X234, reduce130_in_gga(T34, T33, X234))
U49_gga(T33, T34, T29, X234, reduce130_out_gga(T34, T33, X234)) → reduce50_out_gga(.(T33, .(T33, T34)), T29, .(T33, X234))
reduce50_in_gga(.(T35, .(T35, T36)), T29, .(T35, X249)) → U50_gga(T35, T36, T29, X249, reduce130_in_gga(T36, T35, X249))
U50_gga(T35, T36, T29, X249, reduce130_out_gga(T36, T35, X249)) → reduce50_out_gga(.(T35, .(T35, T36)), T29, .(T35, X249))
reduce50_in_gga(.(T39, .(T41, T40)), T29, .(T39, .(T41, []))) → reduce50_out_gga(.(T39, .(T41, T40)), T29, .(T39, .(T41, [])))
U40_gga(T25, T26, X145, reduce50_out_gga(T26, T25, X145)) → reduce50_out_gga(.(T25, T26), T25, X145)
U39_gga(T23, T24, X130, reduce50_out_gga(T24, T23, X130)) → reduce50_out_gga(.(T23, T24), T23, X130)
U38_gga(T22, X73, reduce50_out_gga(T22, 121, X73)) → reduce50_out_gga(.(121, T22), 121, X73)
U37_gga(T22, X73, reduce50_out_gga(T22, 119, X73)) → reduce50_out_gga(.(119, T22), 119, X73)
U36_gga(T22, X73, reduce50_out_gga(T22, 104, X73)) → reduce50_out_gga(.(104, T22), 104, X73)
U35_gga(T22, X73, reduce50_out_gga(T22, 117, X73)) → reduce50_out_gga(.(117, T22), 117, X73)
U34_gga(T22, X73, reduce50_out_gga(T22, 111, X73)) → reduce50_out_gga(.(111, T22), 111, X73)
U33_gga(T22, X73, reduce50_out_gga(T22, 105, X73)) → reduce50_out_gga(.(105, T22), 105, X73)
U32_gga(T22, X73, reduce50_out_gga(T22, 101, X73)) → reduce50_out_gga(.(101, T22), 101, X73)
U31_gga(T22, X73, reduce50_out_gga(T22, 97, X73)) → reduce50_out_gga(.(97, T22), 97, X73)
U11_gga(T22, T19, X73, reduce50_out_gga(T22, 97, X73)) → reduce7_out_gga(.(97, .(97, T22)), T19, .(97, X73))
reduce7_in_gga(.(101, .(101, T22)), T19, .(101, X73)) → U12_gga(T22, T19, X73, reduce50_in_gga(T22, 101, X73))
U12_gga(T22, T19, X73, reduce50_out_gga(T22, 101, X73)) → reduce7_out_gga(.(101, .(101, T22)), T19, .(101, X73))
reduce7_in_gga(.(105, .(105, T22)), T19, .(105, X73)) → U13_gga(T22, T19, X73, reduce50_in_gga(T22, 105, X73))
U13_gga(T22, T19, X73, reduce50_out_gga(T22, 105, X73)) → reduce7_out_gga(.(105, .(105, T22)), T19, .(105, X73))
reduce7_in_gga(.(111, .(111, T22)), T19, .(111, X73)) → U14_gga(T22, T19, X73, reduce50_in_gga(T22, 111, X73))
U14_gga(T22, T19, X73, reduce50_out_gga(T22, 111, X73)) → reduce7_out_gga(.(111, .(111, T22)), T19, .(111, X73))
reduce7_in_gga(.(117, .(117, T22)), T19, .(117, X73)) → U15_gga(T22, T19, X73, reduce50_in_gga(T22, 117, X73))
U15_gga(T22, T19, X73, reduce50_out_gga(T22, 117, X73)) → reduce7_out_gga(.(117, .(117, T22)), T19, .(117, X73))
reduce7_in_gga(.(104, .(104, T22)), T19, .(104, X73)) → U16_gga(T22, T19, X73, reduce50_in_gga(T22, 104, X73))
U16_gga(T22, T19, X73, reduce50_out_gga(T22, 104, X73)) → reduce7_out_gga(.(104, .(104, T22)), T19, .(104, X73))
reduce7_in_gga(.(119, .(119, T22)), T19, .(119, X73)) → U17_gga(T22, T19, X73, reduce50_in_gga(T22, 119, X73))
U17_gga(T22, T19, X73, reduce50_out_gga(T22, 119, X73)) → reduce7_out_gga(.(119, .(119, T22)), T19, .(119, X73))
reduce7_in_gga(.(121, .(121, T22)), T19, .(121, X73)) → U18_gga(T22, T19, X73, reduce50_in_gga(T22, 121, X73))
U18_gga(T22, T19, X73, reduce50_out_gga(T22, 121, X73)) → reduce7_out_gga(.(121, .(121, T22)), T19, .(121, X73))
reduce7_in_gga(.(T23, .(T23, T24)), T19, .(T23, X130)) → U19_gga(T23, T24, T19, X130, reduce50_in_gga(T24, T23, X130))
U19_gga(T23, T24, T19, X130, reduce50_out_gga(T24, T23, X130)) → reduce7_out_gga(.(T23, .(T23, T24)), T19, .(T23, X130))
reduce7_in_gga(.(T25, .(T25, T26)), T19, .(T25, X145)) → U20_gga(T25, T26, T19, X145, reduce50_in_gga(T26, T25, X145))
U20_gga(T25, T26, T19, X145, reduce50_out_gga(T26, T25, X145)) → reduce7_out_gga(.(T25, .(T25, T26)), T19, .(T25, X145))
reduce7_in_gga(.(T29, .(T30, [])), T19, .(T29, .(T30, []))) → reduce7_out_gga(.(T29, .(T30, [])), T19, .(T29, .(T30, [])))
reduce7_in_gga(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177))) → U21_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 97, X177))
U21_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 97, X177)) → reduce7_out_gga(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177)))
reduce7_in_gga(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177))) → U22_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 101, X177))
U22_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 101, X177)) → reduce7_out_gga(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177)))
reduce7_in_gga(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177))) → U23_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 105, X177))
U23_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 105, X177)) → reduce7_out_gga(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177)))
reduce7_in_gga(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177))) → U24_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 111, X177))
U24_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 111, X177)) → reduce7_out_gga(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177)))
reduce7_in_gga(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177))) → U25_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 117, X177))
U25_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 117, X177)) → reduce7_out_gga(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177)))
reduce7_in_gga(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177))) → U26_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 104, X177))
U26_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 104, X177)) → reduce7_out_gga(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177)))
reduce7_in_gga(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177))) → U27_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 119, X177))
U27_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 119, X177)) → reduce7_out_gga(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177)))
reduce7_in_gga(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177))) → U28_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 121, X177))
U28_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 121, X177)) → reduce7_out_gga(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177)))
reduce7_in_gga(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234))) → U29_gga(T29, T33, T34, T19, X234, reduce130_in_gga(T34, T33, X234))
U29_gga(T29, T33, T34, T19, X234, reduce130_out_gga(T34, T33, X234)) → reduce7_out_gga(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234)))
reduce7_in_gga(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249))) → U30_gga(T29, T35, T36, T19, X249, reduce130_in_gga(T36, T35, X249))
U30_gga(T29, T35, T36, T19, X249, reduce130_out_gga(T36, T35, X249)) → reduce7_out_gga(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249)))
reduce7_in_gga(.(T29, .(T39, .(T41, T40))), T19, .(T29, .(T39, .(T41, [])))) → reduce7_out_gga(.(T29, .(T39, .(T41, T40))), T19, .(T29, .(T39, .(T41, []))))
U10_gga(T15, T16, X47, reduce7_out_gga(T16, T15, X47)) → reduce7_out_gga(.(T15, T16), T15, X47)
U9_gga(T13, T14, X38, reduce7_out_gga(T14, T13, X38)) → reduce7_out_gga(.(T13, T14), T13, X38)
U8_gga(T12, X29, reduce7_out_gga(T12, 121, X29)) → reduce7_out_gga(.(121, T12), 121, X29)
U7_gga(T12, X29, reduce7_out_gga(T12, 119, X29)) → reduce7_out_gga(.(119, T12), 119, X29)
U6_gga(T12, X29, reduce7_out_gga(T12, 104, X29)) → reduce7_out_gga(.(104, T12), 104, X29)
U5_gga(T12, X29, reduce7_out_gga(T12, 117, X29)) → reduce7_out_gga(.(117, T12), 117, X29)
U4_gga(T12, X29, reduce7_out_gga(T12, 111, X29)) → reduce7_out_gga(.(111, T12), 111, X29)
U3_gga(T12, X29, reduce7_out_gga(T12, 105, X29)) → reduce7_out_gga(.(105, T12), 105, X29)
U2_gga(T12, X29, reduce7_out_gga(T12, 101, X29)) → reduce7_out_gga(.(101, T12), 101, X29)
U1_gga(T12, X29, reduce7_out_gga(T12, 97, X29)) → reduce7_out_gga(.(97, T12), 97, X29)
U61_ga(T7, T8, T5, reduce7_out_gga(T8, T7, X12)) → goal1_out_ga(.(T7, T8), T5)
goal1_in_ga(.(T7, T8), T42) → U62_ga(T7, T8, T42, reduce7_in_gga(T8, T7, T42))
U62_ga(T7, T8, T42, reduce7_out_gga(T8, T7, T42)) → goal1_out_ga(.(T7, T8), T42)
REDUCE130_IN_GGA(.(T33, T34), T33, X234) → REDUCE130_IN_GGA(T34, T33, X234)
REDUCE130_IN_GGA(.(97, T32), 97, X177) → REDUCE130_IN_GGA(T32, 97, X177)
REDUCE130_IN_GGA(.(101, T32), 101, X177) → REDUCE130_IN_GGA(T32, 101, X177)
REDUCE130_IN_GGA(.(105, T32), 105, X177) → REDUCE130_IN_GGA(T32, 105, X177)
REDUCE130_IN_GGA(.(111, T32), 111, X177) → REDUCE130_IN_GGA(T32, 111, X177)
REDUCE130_IN_GGA(.(117, T32), 117, X177) → REDUCE130_IN_GGA(T32, 117, X177)
REDUCE130_IN_GGA(.(104, T32), 104, X177) → REDUCE130_IN_GGA(T32, 104, X177)
REDUCE130_IN_GGA(.(119, T32), 119, X177) → REDUCE130_IN_GGA(T32, 119, X177)
REDUCE130_IN_GGA(.(121, T32), 121, X177) → REDUCE130_IN_GGA(T32, 121, X177)
goal1_in_ga(.(T7, T8), T5) → U61_ga(T7, T8, T5, reduce7_in_gga(T8, T7, X12))
reduce7_in_gga([], T10, []) → reduce7_out_gga([], T10, [])
reduce7_in_gga(.(97, T12), 97, X29) → U1_gga(T12, X29, reduce7_in_gga(T12, 97, X29))
reduce7_in_gga(.(101, T12), 101, X29) → U2_gga(T12, X29, reduce7_in_gga(T12, 101, X29))
reduce7_in_gga(.(105, T12), 105, X29) → U3_gga(T12, X29, reduce7_in_gga(T12, 105, X29))
reduce7_in_gga(.(111, T12), 111, X29) → U4_gga(T12, X29, reduce7_in_gga(T12, 111, X29))
reduce7_in_gga(.(117, T12), 117, X29) → U5_gga(T12, X29, reduce7_in_gga(T12, 117, X29))
reduce7_in_gga(.(104, T12), 104, X29) → U6_gga(T12, X29, reduce7_in_gga(T12, 104, X29))
reduce7_in_gga(.(119, T12), 119, X29) → U7_gga(T12, X29, reduce7_in_gga(T12, 119, X29))
reduce7_in_gga(.(121, T12), 121, X29) → U8_gga(T12, X29, reduce7_in_gga(T12, 121, X29))
reduce7_in_gga(.(T13, T14), T13, X38) → U9_gga(T13, T14, X38, reduce7_in_gga(T14, T13, X38))
reduce7_in_gga(.(T15, T16), T15, X47) → U10_gga(T15, T16, X47, reduce7_in_gga(T16, T15, X47))
reduce7_in_gga(.(T20, []), T19, .(T20, [])) → reduce7_out_gga(.(T20, []), T19, .(T20, []))
reduce7_in_gga(.(97, .(97, T22)), T19, .(97, X73)) → U11_gga(T22, T19, X73, reduce50_in_gga(T22, 97, X73))
reduce50_in_gga([], T20, []) → reduce50_out_gga([], T20, [])
reduce50_in_gga(.(97, T22), 97, X73) → U31_gga(T22, X73, reduce50_in_gga(T22, 97, X73))
reduce50_in_gga(.(101, T22), 101, X73) → U32_gga(T22, X73, reduce50_in_gga(T22, 101, X73))
reduce50_in_gga(.(105, T22), 105, X73) → U33_gga(T22, X73, reduce50_in_gga(T22, 105, X73))
reduce50_in_gga(.(111, T22), 111, X73) → U34_gga(T22, X73, reduce50_in_gga(T22, 111, X73))
reduce50_in_gga(.(117, T22), 117, X73) → U35_gga(T22, X73, reduce50_in_gga(T22, 117, X73))
reduce50_in_gga(.(104, T22), 104, X73) → U36_gga(T22, X73, reduce50_in_gga(T22, 104, X73))
reduce50_in_gga(.(119, T22), 119, X73) → U37_gga(T22, X73, reduce50_in_gga(T22, 119, X73))
reduce50_in_gga(.(121, T22), 121, X73) → U38_gga(T22, X73, reduce50_in_gga(T22, 121, X73))
reduce50_in_gga(.(T23, T24), T23, X130) → U39_gga(T23, T24, X130, reduce50_in_gga(T24, T23, X130))
reduce50_in_gga(.(T25, T26), T25, X145) → U40_gga(T25, T26, X145, reduce50_in_gga(T26, T25, X145))
reduce50_in_gga(.(T30, []), T29, .(T30, [])) → reduce50_out_gga(.(T30, []), T29, .(T30, []))
reduce50_in_gga(.(97, .(97, T32)), T29, .(97, X177)) → U41_gga(T32, T29, X177, reduce130_in_gga(T32, 97, X177))
reduce130_in_gga([], T30, []) → reduce130_out_gga([], T30, [])
reduce130_in_gga(.(97, T32), 97, X177) → U51_gga(T32, X177, reduce130_in_gga(T32, 97, X177))
reduce130_in_gga(.(101, T32), 101, X177) → U52_gga(T32, X177, reduce130_in_gga(T32, 101, X177))
reduce130_in_gga(.(105, T32), 105, X177) → U53_gga(T32, X177, reduce130_in_gga(T32, 105, X177))
reduce130_in_gga(.(111, T32), 111, X177) → U54_gga(T32, X177, reduce130_in_gga(T32, 111, X177))
reduce130_in_gga(.(117, T32), 117, X177) → U55_gga(T32, X177, reduce130_in_gga(T32, 117, X177))
reduce130_in_gga(.(104, T32), 104, X177) → U56_gga(T32, X177, reduce130_in_gga(T32, 104, X177))
reduce130_in_gga(.(119, T32), 119, X177) → U57_gga(T32, X177, reduce130_in_gga(T32, 119, X177))
reduce130_in_gga(.(121, T32), 121, X177) → U58_gga(T32, X177, reduce130_in_gga(T32, 121, X177))
reduce130_in_gga(.(T33, T34), T33, X234) → U59_gga(T33, T34, X234, reduce130_in_gga(T34, T33, X234))
reduce130_in_gga(.(T35, T36), T35, X249) → U60_gga(T35, T36, X249, reduce130_in_gga(T36, T35, X249))
reduce130_in_gga(.(T41, T40), T39, .(T41, [])) → reduce130_out_gga(.(T41, T40), T39, .(T41, []))
U60_gga(T35, T36, X249, reduce130_out_gga(T36, T35, X249)) → reduce130_out_gga(.(T35, T36), T35, X249)
U59_gga(T33, T34, X234, reduce130_out_gga(T34, T33, X234)) → reduce130_out_gga(.(T33, T34), T33, X234)
U58_gga(T32, X177, reduce130_out_gga(T32, 121, X177)) → reduce130_out_gga(.(121, T32), 121, X177)
U57_gga(T32, X177, reduce130_out_gga(T32, 119, X177)) → reduce130_out_gga(.(119, T32), 119, X177)
U56_gga(T32, X177, reduce130_out_gga(T32, 104, X177)) → reduce130_out_gga(.(104, T32), 104, X177)
U55_gga(T32, X177, reduce130_out_gga(T32, 117, X177)) → reduce130_out_gga(.(117, T32), 117, X177)
U54_gga(T32, X177, reduce130_out_gga(T32, 111, X177)) → reduce130_out_gga(.(111, T32), 111, X177)
U53_gga(T32, X177, reduce130_out_gga(T32, 105, X177)) → reduce130_out_gga(.(105, T32), 105, X177)
U52_gga(T32, X177, reduce130_out_gga(T32, 101, X177)) → reduce130_out_gga(.(101, T32), 101, X177)
U51_gga(T32, X177, reduce130_out_gga(T32, 97, X177)) → reduce130_out_gga(.(97, T32), 97, X177)
U41_gga(T32, T29, X177, reduce130_out_gga(T32, 97, X177)) → reduce50_out_gga(.(97, .(97, T32)), T29, .(97, X177))
reduce50_in_gga(.(101, .(101, T32)), T29, .(101, X177)) → U42_gga(T32, T29, X177, reduce130_in_gga(T32, 101, X177))
U42_gga(T32, T29, X177, reduce130_out_gga(T32, 101, X177)) → reduce50_out_gga(.(101, .(101, T32)), T29, .(101, X177))
reduce50_in_gga(.(105, .(105, T32)), T29, .(105, X177)) → U43_gga(T32, T29, X177, reduce130_in_gga(T32, 105, X177))
U43_gga(T32, T29, X177, reduce130_out_gga(T32, 105, X177)) → reduce50_out_gga(.(105, .(105, T32)), T29, .(105, X177))
reduce50_in_gga(.(111, .(111, T32)), T29, .(111, X177)) → U44_gga(T32, T29, X177, reduce130_in_gga(T32, 111, X177))
U44_gga(T32, T29, X177, reduce130_out_gga(T32, 111, X177)) → reduce50_out_gga(.(111, .(111, T32)), T29, .(111, X177))
reduce50_in_gga(.(117, .(117, T32)), T29, .(117, X177)) → U45_gga(T32, T29, X177, reduce130_in_gga(T32, 117, X177))
U45_gga(T32, T29, X177, reduce130_out_gga(T32, 117, X177)) → reduce50_out_gga(.(117, .(117, T32)), T29, .(117, X177))
reduce50_in_gga(.(104, .(104, T32)), T29, .(104, X177)) → U46_gga(T32, T29, X177, reduce130_in_gga(T32, 104, X177))
U46_gga(T32, T29, X177, reduce130_out_gga(T32, 104, X177)) → reduce50_out_gga(.(104, .(104, T32)), T29, .(104, X177))
reduce50_in_gga(.(119, .(119, T32)), T29, .(119, X177)) → U47_gga(T32, T29, X177, reduce130_in_gga(T32, 119, X177))
U47_gga(T32, T29, X177, reduce130_out_gga(T32, 119, X177)) → reduce50_out_gga(.(119, .(119, T32)), T29, .(119, X177))
reduce50_in_gga(.(121, .(121, T32)), T29, .(121, X177)) → U48_gga(T32, T29, X177, reduce130_in_gga(T32, 121, X177))
U48_gga(T32, T29, X177, reduce130_out_gga(T32, 121, X177)) → reduce50_out_gga(.(121, .(121, T32)), T29, .(121, X177))
reduce50_in_gga(.(T33, .(T33, T34)), T29, .(T33, X234)) → U49_gga(T33, T34, T29, X234, reduce130_in_gga(T34, T33, X234))
U49_gga(T33, T34, T29, X234, reduce130_out_gga(T34, T33, X234)) → reduce50_out_gga(.(T33, .(T33, T34)), T29, .(T33, X234))
reduce50_in_gga(.(T35, .(T35, T36)), T29, .(T35, X249)) → U50_gga(T35, T36, T29, X249, reduce130_in_gga(T36, T35, X249))
U50_gga(T35, T36, T29, X249, reduce130_out_gga(T36, T35, X249)) → reduce50_out_gga(.(T35, .(T35, T36)), T29, .(T35, X249))
reduce50_in_gga(.(T39, .(T41, T40)), T29, .(T39, .(T41, []))) → reduce50_out_gga(.(T39, .(T41, T40)), T29, .(T39, .(T41, [])))
U40_gga(T25, T26, X145, reduce50_out_gga(T26, T25, X145)) → reduce50_out_gga(.(T25, T26), T25, X145)
U39_gga(T23, T24, X130, reduce50_out_gga(T24, T23, X130)) → reduce50_out_gga(.(T23, T24), T23, X130)
U38_gga(T22, X73, reduce50_out_gga(T22, 121, X73)) → reduce50_out_gga(.(121, T22), 121, X73)
U37_gga(T22, X73, reduce50_out_gga(T22, 119, X73)) → reduce50_out_gga(.(119, T22), 119, X73)
U36_gga(T22, X73, reduce50_out_gga(T22, 104, X73)) → reduce50_out_gga(.(104, T22), 104, X73)
U35_gga(T22, X73, reduce50_out_gga(T22, 117, X73)) → reduce50_out_gga(.(117, T22), 117, X73)
U34_gga(T22, X73, reduce50_out_gga(T22, 111, X73)) → reduce50_out_gga(.(111, T22), 111, X73)
U33_gga(T22, X73, reduce50_out_gga(T22, 105, X73)) → reduce50_out_gga(.(105, T22), 105, X73)
U32_gga(T22, X73, reduce50_out_gga(T22, 101, X73)) → reduce50_out_gga(.(101, T22), 101, X73)
U31_gga(T22, X73, reduce50_out_gga(T22, 97, X73)) → reduce50_out_gga(.(97, T22), 97, X73)
U11_gga(T22, T19, X73, reduce50_out_gga(T22, 97, X73)) → reduce7_out_gga(.(97, .(97, T22)), T19, .(97, X73))
reduce7_in_gga(.(101, .(101, T22)), T19, .(101, X73)) → U12_gga(T22, T19, X73, reduce50_in_gga(T22, 101, X73))
U12_gga(T22, T19, X73, reduce50_out_gga(T22, 101, X73)) → reduce7_out_gga(.(101, .(101, T22)), T19, .(101, X73))
reduce7_in_gga(.(105, .(105, T22)), T19, .(105, X73)) → U13_gga(T22, T19, X73, reduce50_in_gga(T22, 105, X73))
U13_gga(T22, T19, X73, reduce50_out_gga(T22, 105, X73)) → reduce7_out_gga(.(105, .(105, T22)), T19, .(105, X73))
reduce7_in_gga(.(111, .(111, T22)), T19, .(111, X73)) → U14_gga(T22, T19, X73, reduce50_in_gga(T22, 111, X73))
U14_gga(T22, T19, X73, reduce50_out_gga(T22, 111, X73)) → reduce7_out_gga(.(111, .(111, T22)), T19, .(111, X73))
reduce7_in_gga(.(117, .(117, T22)), T19, .(117, X73)) → U15_gga(T22, T19, X73, reduce50_in_gga(T22, 117, X73))
U15_gga(T22, T19, X73, reduce50_out_gga(T22, 117, X73)) → reduce7_out_gga(.(117, .(117, T22)), T19, .(117, X73))
reduce7_in_gga(.(104, .(104, T22)), T19, .(104, X73)) → U16_gga(T22, T19, X73, reduce50_in_gga(T22, 104, X73))
U16_gga(T22, T19, X73, reduce50_out_gga(T22, 104, X73)) → reduce7_out_gga(.(104, .(104, T22)), T19, .(104, X73))
reduce7_in_gga(.(119, .(119, T22)), T19, .(119, X73)) → U17_gga(T22, T19, X73, reduce50_in_gga(T22, 119, X73))
U17_gga(T22, T19, X73, reduce50_out_gga(T22, 119, X73)) → reduce7_out_gga(.(119, .(119, T22)), T19, .(119, X73))
reduce7_in_gga(.(121, .(121, T22)), T19, .(121, X73)) → U18_gga(T22, T19, X73, reduce50_in_gga(T22, 121, X73))
U18_gga(T22, T19, X73, reduce50_out_gga(T22, 121, X73)) → reduce7_out_gga(.(121, .(121, T22)), T19, .(121, X73))
reduce7_in_gga(.(T23, .(T23, T24)), T19, .(T23, X130)) → U19_gga(T23, T24, T19, X130, reduce50_in_gga(T24, T23, X130))
U19_gga(T23, T24, T19, X130, reduce50_out_gga(T24, T23, X130)) → reduce7_out_gga(.(T23, .(T23, T24)), T19, .(T23, X130))
reduce7_in_gga(.(T25, .(T25, T26)), T19, .(T25, X145)) → U20_gga(T25, T26, T19, X145, reduce50_in_gga(T26, T25, X145))
U20_gga(T25, T26, T19, X145, reduce50_out_gga(T26, T25, X145)) → reduce7_out_gga(.(T25, .(T25, T26)), T19, .(T25, X145))
reduce7_in_gga(.(T29, .(T30, [])), T19, .(T29, .(T30, []))) → reduce7_out_gga(.(T29, .(T30, [])), T19, .(T29, .(T30, [])))
reduce7_in_gga(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177))) → U21_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 97, X177))
U21_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 97, X177)) → reduce7_out_gga(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177)))
reduce7_in_gga(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177))) → U22_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 101, X177))
U22_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 101, X177)) → reduce7_out_gga(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177)))
reduce7_in_gga(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177))) → U23_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 105, X177))
U23_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 105, X177)) → reduce7_out_gga(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177)))
reduce7_in_gga(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177))) → U24_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 111, X177))
U24_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 111, X177)) → reduce7_out_gga(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177)))
reduce7_in_gga(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177))) → U25_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 117, X177))
U25_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 117, X177)) → reduce7_out_gga(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177)))
reduce7_in_gga(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177))) → U26_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 104, X177))
U26_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 104, X177)) → reduce7_out_gga(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177)))
reduce7_in_gga(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177))) → U27_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 119, X177))
U27_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 119, X177)) → reduce7_out_gga(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177)))
reduce7_in_gga(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177))) → U28_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 121, X177))
U28_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 121, X177)) → reduce7_out_gga(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177)))
reduce7_in_gga(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234))) → U29_gga(T29, T33, T34, T19, X234, reduce130_in_gga(T34, T33, X234))
U29_gga(T29, T33, T34, T19, X234, reduce130_out_gga(T34, T33, X234)) → reduce7_out_gga(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234)))
reduce7_in_gga(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249))) → U30_gga(T29, T35, T36, T19, X249, reduce130_in_gga(T36, T35, X249))
U30_gga(T29, T35, T36, T19, X249, reduce130_out_gga(T36, T35, X249)) → reduce7_out_gga(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249)))
reduce7_in_gga(.(T29, .(T39, .(T41, T40))), T19, .(T29, .(T39, .(T41, [])))) → reduce7_out_gga(.(T29, .(T39, .(T41, T40))), T19, .(T29, .(T39, .(T41, []))))
U10_gga(T15, T16, X47, reduce7_out_gga(T16, T15, X47)) → reduce7_out_gga(.(T15, T16), T15, X47)
U9_gga(T13, T14, X38, reduce7_out_gga(T14, T13, X38)) → reduce7_out_gga(.(T13, T14), T13, X38)
U8_gga(T12, X29, reduce7_out_gga(T12, 121, X29)) → reduce7_out_gga(.(121, T12), 121, X29)
U7_gga(T12, X29, reduce7_out_gga(T12, 119, X29)) → reduce7_out_gga(.(119, T12), 119, X29)
U6_gga(T12, X29, reduce7_out_gga(T12, 104, X29)) → reduce7_out_gga(.(104, T12), 104, X29)
U5_gga(T12, X29, reduce7_out_gga(T12, 117, X29)) → reduce7_out_gga(.(117, T12), 117, X29)
U4_gga(T12, X29, reduce7_out_gga(T12, 111, X29)) → reduce7_out_gga(.(111, T12), 111, X29)
U3_gga(T12, X29, reduce7_out_gga(T12, 105, X29)) → reduce7_out_gga(.(105, T12), 105, X29)
U2_gga(T12, X29, reduce7_out_gga(T12, 101, X29)) → reduce7_out_gga(.(101, T12), 101, X29)
U1_gga(T12, X29, reduce7_out_gga(T12, 97, X29)) → reduce7_out_gga(.(97, T12), 97, X29)
U61_ga(T7, T8, T5, reduce7_out_gga(T8, T7, X12)) → goal1_out_ga(.(T7, T8), T5)
goal1_in_ga(.(T7, T8), T42) → U62_ga(T7, T8, T42, reduce7_in_gga(T8, T7, T42))
U62_ga(T7, T8, T42, reduce7_out_gga(T8, T7, T42)) → goal1_out_ga(.(T7, T8), T42)
REDUCE130_IN_GGA(.(T33, T34), T33, X234) → REDUCE130_IN_GGA(T34, T33, X234)
REDUCE130_IN_GGA(.(97, T32), 97, X177) → REDUCE130_IN_GGA(T32, 97, X177)
REDUCE130_IN_GGA(.(101, T32), 101, X177) → REDUCE130_IN_GGA(T32, 101, X177)
REDUCE130_IN_GGA(.(105, T32), 105, X177) → REDUCE130_IN_GGA(T32, 105, X177)
REDUCE130_IN_GGA(.(111, T32), 111, X177) → REDUCE130_IN_GGA(T32, 111, X177)
REDUCE130_IN_GGA(.(117, T32), 117, X177) → REDUCE130_IN_GGA(T32, 117, X177)
REDUCE130_IN_GGA(.(104, T32), 104, X177) → REDUCE130_IN_GGA(T32, 104, X177)
REDUCE130_IN_GGA(.(119, T32), 119, X177) → REDUCE130_IN_GGA(T32, 119, X177)
REDUCE130_IN_GGA(.(121, T32), 121, X177) → REDUCE130_IN_GGA(T32, 121, X177)
REDUCE130_IN_GGA(.(T33, T34), T33) → REDUCE130_IN_GGA(T34, T33)
REDUCE130_IN_GGA(.(97, T32), 97) → REDUCE130_IN_GGA(T32, 97)
REDUCE130_IN_GGA(.(101, T32), 101) → REDUCE130_IN_GGA(T32, 101)
REDUCE130_IN_GGA(.(105, T32), 105) → REDUCE130_IN_GGA(T32, 105)
REDUCE130_IN_GGA(.(111, T32), 111) → REDUCE130_IN_GGA(T32, 111)
REDUCE130_IN_GGA(.(117, T32), 117) → REDUCE130_IN_GGA(T32, 117)
REDUCE130_IN_GGA(.(104, T32), 104) → REDUCE130_IN_GGA(T32, 104)
REDUCE130_IN_GGA(.(119, T32), 119) → REDUCE130_IN_GGA(T32, 119)
REDUCE130_IN_GGA(.(121, T32), 121) → REDUCE130_IN_GGA(T32, 121)
From the DPs we obtained the following set of size-change graphs:
REDUCE50_IN_GGA(.(T23, T24), T23, X130) → REDUCE50_IN_GGA(T24, T23, X130)
REDUCE50_IN_GGA(.(97, T22), 97, X73) → REDUCE50_IN_GGA(T22, 97, X73)
REDUCE50_IN_GGA(.(101, T22), 101, X73) → REDUCE50_IN_GGA(T22, 101, X73)
REDUCE50_IN_GGA(.(105, T22), 105, X73) → REDUCE50_IN_GGA(T22, 105, X73)
REDUCE50_IN_GGA(.(111, T22), 111, X73) → REDUCE50_IN_GGA(T22, 111, X73)
REDUCE50_IN_GGA(.(117, T22), 117, X73) → REDUCE50_IN_GGA(T22, 117, X73)
REDUCE50_IN_GGA(.(104, T22), 104, X73) → REDUCE50_IN_GGA(T22, 104, X73)
REDUCE50_IN_GGA(.(119, T22), 119, X73) → REDUCE50_IN_GGA(T22, 119, X73)
REDUCE50_IN_GGA(.(121, T22), 121, X73) → REDUCE50_IN_GGA(T22, 121, X73)
goal1_in_ga(.(T7, T8), T5) → U61_ga(T7, T8, T5, reduce7_in_gga(T8, T7, X12))
reduce7_in_gga([], T10, []) → reduce7_out_gga([], T10, [])
reduce7_in_gga(.(97, T12), 97, X29) → U1_gga(T12, X29, reduce7_in_gga(T12, 97, X29))
reduce7_in_gga(.(101, T12), 101, X29) → U2_gga(T12, X29, reduce7_in_gga(T12, 101, X29))
reduce7_in_gga(.(105, T12), 105, X29) → U3_gga(T12, X29, reduce7_in_gga(T12, 105, X29))
reduce7_in_gga(.(111, T12), 111, X29) → U4_gga(T12, X29, reduce7_in_gga(T12, 111, X29))
reduce7_in_gga(.(117, T12), 117, X29) → U5_gga(T12, X29, reduce7_in_gga(T12, 117, X29))
reduce7_in_gga(.(104, T12), 104, X29) → U6_gga(T12, X29, reduce7_in_gga(T12, 104, X29))
reduce7_in_gga(.(119, T12), 119, X29) → U7_gga(T12, X29, reduce7_in_gga(T12, 119, X29))
reduce7_in_gga(.(121, T12), 121, X29) → U8_gga(T12, X29, reduce7_in_gga(T12, 121, X29))
reduce7_in_gga(.(T13, T14), T13, X38) → U9_gga(T13, T14, X38, reduce7_in_gga(T14, T13, X38))
reduce7_in_gga(.(T15, T16), T15, X47) → U10_gga(T15, T16, X47, reduce7_in_gga(T16, T15, X47))
reduce7_in_gga(.(T20, []), T19, .(T20, [])) → reduce7_out_gga(.(T20, []), T19, .(T20, []))
reduce7_in_gga(.(97, .(97, T22)), T19, .(97, X73)) → U11_gga(T22, T19, X73, reduce50_in_gga(T22, 97, X73))
reduce50_in_gga([], T20, []) → reduce50_out_gga([], T20, [])
reduce50_in_gga(.(97, T22), 97, X73) → U31_gga(T22, X73, reduce50_in_gga(T22, 97, X73))
reduce50_in_gga(.(101, T22), 101, X73) → U32_gga(T22, X73, reduce50_in_gga(T22, 101, X73))
reduce50_in_gga(.(105, T22), 105, X73) → U33_gga(T22, X73, reduce50_in_gga(T22, 105, X73))
reduce50_in_gga(.(111, T22), 111, X73) → U34_gga(T22, X73, reduce50_in_gga(T22, 111, X73))
reduce50_in_gga(.(117, T22), 117, X73) → U35_gga(T22, X73, reduce50_in_gga(T22, 117, X73))
reduce50_in_gga(.(104, T22), 104, X73) → U36_gga(T22, X73, reduce50_in_gga(T22, 104, X73))
reduce50_in_gga(.(119, T22), 119, X73) → U37_gga(T22, X73, reduce50_in_gga(T22, 119, X73))
reduce50_in_gga(.(121, T22), 121, X73) → U38_gga(T22, X73, reduce50_in_gga(T22, 121, X73))
reduce50_in_gga(.(T23, T24), T23, X130) → U39_gga(T23, T24, X130, reduce50_in_gga(T24, T23, X130))
reduce50_in_gga(.(T25, T26), T25, X145) → U40_gga(T25, T26, X145, reduce50_in_gga(T26, T25, X145))
reduce50_in_gga(.(T30, []), T29, .(T30, [])) → reduce50_out_gga(.(T30, []), T29, .(T30, []))
reduce50_in_gga(.(97, .(97, T32)), T29, .(97, X177)) → U41_gga(T32, T29, X177, reduce130_in_gga(T32, 97, X177))
reduce130_in_gga([], T30, []) → reduce130_out_gga([], T30, [])
reduce130_in_gga(.(97, T32), 97, X177) → U51_gga(T32, X177, reduce130_in_gga(T32, 97, X177))
reduce130_in_gga(.(101, T32), 101, X177) → U52_gga(T32, X177, reduce130_in_gga(T32, 101, X177))
reduce130_in_gga(.(105, T32), 105, X177) → U53_gga(T32, X177, reduce130_in_gga(T32, 105, X177))
reduce130_in_gga(.(111, T32), 111, X177) → U54_gga(T32, X177, reduce130_in_gga(T32, 111, X177))
reduce130_in_gga(.(117, T32), 117, X177) → U55_gga(T32, X177, reduce130_in_gga(T32, 117, X177))
reduce130_in_gga(.(104, T32), 104, X177) → U56_gga(T32, X177, reduce130_in_gga(T32, 104, X177))
reduce130_in_gga(.(119, T32), 119, X177) → U57_gga(T32, X177, reduce130_in_gga(T32, 119, X177))
reduce130_in_gga(.(121, T32), 121, X177) → U58_gga(T32, X177, reduce130_in_gga(T32, 121, X177))
reduce130_in_gga(.(T33, T34), T33, X234) → U59_gga(T33, T34, X234, reduce130_in_gga(T34, T33, X234))
reduce130_in_gga(.(T35, T36), T35, X249) → U60_gga(T35, T36, X249, reduce130_in_gga(T36, T35, X249))
reduce130_in_gga(.(T41, T40), T39, .(T41, [])) → reduce130_out_gga(.(T41, T40), T39, .(T41, []))
U60_gga(T35, T36, X249, reduce130_out_gga(T36, T35, X249)) → reduce130_out_gga(.(T35, T36), T35, X249)
U59_gga(T33, T34, X234, reduce130_out_gga(T34, T33, X234)) → reduce130_out_gga(.(T33, T34), T33, X234)
U58_gga(T32, X177, reduce130_out_gga(T32, 121, X177)) → reduce130_out_gga(.(121, T32), 121, X177)
U57_gga(T32, X177, reduce130_out_gga(T32, 119, X177)) → reduce130_out_gga(.(119, T32), 119, X177)
U56_gga(T32, X177, reduce130_out_gga(T32, 104, X177)) → reduce130_out_gga(.(104, T32), 104, X177)
U55_gga(T32, X177, reduce130_out_gga(T32, 117, X177)) → reduce130_out_gga(.(117, T32), 117, X177)
U54_gga(T32, X177, reduce130_out_gga(T32, 111, X177)) → reduce130_out_gga(.(111, T32), 111, X177)
U53_gga(T32, X177, reduce130_out_gga(T32, 105, X177)) → reduce130_out_gga(.(105, T32), 105, X177)
U52_gga(T32, X177, reduce130_out_gga(T32, 101, X177)) → reduce130_out_gga(.(101, T32), 101, X177)
U51_gga(T32, X177, reduce130_out_gga(T32, 97, X177)) → reduce130_out_gga(.(97, T32), 97, X177)
U41_gga(T32, T29, X177, reduce130_out_gga(T32, 97, X177)) → reduce50_out_gga(.(97, .(97, T32)), T29, .(97, X177))
reduce50_in_gga(.(101, .(101, T32)), T29, .(101, X177)) → U42_gga(T32, T29, X177, reduce130_in_gga(T32, 101, X177))
U42_gga(T32, T29, X177, reduce130_out_gga(T32, 101, X177)) → reduce50_out_gga(.(101, .(101, T32)), T29, .(101, X177))
reduce50_in_gga(.(105, .(105, T32)), T29, .(105, X177)) → U43_gga(T32, T29, X177, reduce130_in_gga(T32, 105, X177))
U43_gga(T32, T29, X177, reduce130_out_gga(T32, 105, X177)) → reduce50_out_gga(.(105, .(105, T32)), T29, .(105, X177))
reduce50_in_gga(.(111, .(111, T32)), T29, .(111, X177)) → U44_gga(T32, T29, X177, reduce130_in_gga(T32, 111, X177))
U44_gga(T32, T29, X177, reduce130_out_gga(T32, 111, X177)) → reduce50_out_gga(.(111, .(111, T32)), T29, .(111, X177))
reduce50_in_gga(.(117, .(117, T32)), T29, .(117, X177)) → U45_gga(T32, T29, X177, reduce130_in_gga(T32, 117, X177))
U45_gga(T32, T29, X177, reduce130_out_gga(T32, 117, X177)) → reduce50_out_gga(.(117, .(117, T32)), T29, .(117, X177))
reduce50_in_gga(.(104, .(104, T32)), T29, .(104, X177)) → U46_gga(T32, T29, X177, reduce130_in_gga(T32, 104, X177))
U46_gga(T32, T29, X177, reduce130_out_gga(T32, 104, X177)) → reduce50_out_gga(.(104, .(104, T32)), T29, .(104, X177))
reduce50_in_gga(.(119, .(119, T32)), T29, .(119, X177)) → U47_gga(T32, T29, X177, reduce130_in_gga(T32, 119, X177))
U47_gga(T32, T29, X177, reduce130_out_gga(T32, 119, X177)) → reduce50_out_gga(.(119, .(119, T32)), T29, .(119, X177))
reduce50_in_gga(.(121, .(121, T32)), T29, .(121, X177)) → U48_gga(T32, T29, X177, reduce130_in_gga(T32, 121, X177))
U48_gga(T32, T29, X177, reduce130_out_gga(T32, 121, X177)) → reduce50_out_gga(.(121, .(121, T32)), T29, .(121, X177))
reduce50_in_gga(.(T33, .(T33, T34)), T29, .(T33, X234)) → U49_gga(T33, T34, T29, X234, reduce130_in_gga(T34, T33, X234))
U49_gga(T33, T34, T29, X234, reduce130_out_gga(T34, T33, X234)) → reduce50_out_gga(.(T33, .(T33, T34)), T29, .(T33, X234))
reduce50_in_gga(.(T35, .(T35, T36)), T29, .(T35, X249)) → U50_gga(T35, T36, T29, X249, reduce130_in_gga(T36, T35, X249))
U50_gga(T35, T36, T29, X249, reduce130_out_gga(T36, T35, X249)) → reduce50_out_gga(.(T35, .(T35, T36)), T29, .(T35, X249))
reduce50_in_gga(.(T39, .(T41, T40)), T29, .(T39, .(T41, []))) → reduce50_out_gga(.(T39, .(T41, T40)), T29, .(T39, .(T41, [])))
U40_gga(T25, T26, X145, reduce50_out_gga(T26, T25, X145)) → reduce50_out_gga(.(T25, T26), T25, X145)
U39_gga(T23, T24, X130, reduce50_out_gga(T24, T23, X130)) → reduce50_out_gga(.(T23, T24), T23, X130)
U38_gga(T22, X73, reduce50_out_gga(T22, 121, X73)) → reduce50_out_gga(.(121, T22), 121, X73)
U37_gga(T22, X73, reduce50_out_gga(T22, 119, X73)) → reduce50_out_gga(.(119, T22), 119, X73)
U36_gga(T22, X73, reduce50_out_gga(T22, 104, X73)) → reduce50_out_gga(.(104, T22), 104, X73)
U35_gga(T22, X73, reduce50_out_gga(T22, 117, X73)) → reduce50_out_gga(.(117, T22), 117, X73)
U34_gga(T22, X73, reduce50_out_gga(T22, 111, X73)) → reduce50_out_gga(.(111, T22), 111, X73)
U33_gga(T22, X73, reduce50_out_gga(T22, 105, X73)) → reduce50_out_gga(.(105, T22), 105, X73)
U32_gga(T22, X73, reduce50_out_gga(T22, 101, X73)) → reduce50_out_gga(.(101, T22), 101, X73)
U31_gga(T22, X73, reduce50_out_gga(T22, 97, X73)) → reduce50_out_gga(.(97, T22), 97, X73)
U11_gga(T22, T19, X73, reduce50_out_gga(T22, 97, X73)) → reduce7_out_gga(.(97, .(97, T22)), T19, .(97, X73))
reduce7_in_gga(.(101, .(101, T22)), T19, .(101, X73)) → U12_gga(T22, T19, X73, reduce50_in_gga(T22, 101, X73))
U12_gga(T22, T19, X73, reduce50_out_gga(T22, 101, X73)) → reduce7_out_gga(.(101, .(101, T22)), T19, .(101, X73))
reduce7_in_gga(.(105, .(105, T22)), T19, .(105, X73)) → U13_gga(T22, T19, X73, reduce50_in_gga(T22, 105, X73))
U13_gga(T22, T19, X73, reduce50_out_gga(T22, 105, X73)) → reduce7_out_gga(.(105, .(105, T22)), T19, .(105, X73))
reduce7_in_gga(.(111, .(111, T22)), T19, .(111, X73)) → U14_gga(T22, T19, X73, reduce50_in_gga(T22, 111, X73))
U14_gga(T22, T19, X73, reduce50_out_gga(T22, 111, X73)) → reduce7_out_gga(.(111, .(111, T22)), T19, .(111, X73))
reduce7_in_gga(.(117, .(117, T22)), T19, .(117, X73)) → U15_gga(T22, T19, X73, reduce50_in_gga(T22, 117, X73))
U15_gga(T22, T19, X73, reduce50_out_gga(T22, 117, X73)) → reduce7_out_gga(.(117, .(117, T22)), T19, .(117, X73))
reduce7_in_gga(.(104, .(104, T22)), T19, .(104, X73)) → U16_gga(T22, T19, X73, reduce50_in_gga(T22, 104, X73))
U16_gga(T22, T19, X73, reduce50_out_gga(T22, 104, X73)) → reduce7_out_gga(.(104, .(104, T22)), T19, .(104, X73))
reduce7_in_gga(.(119, .(119, T22)), T19, .(119, X73)) → U17_gga(T22, T19, X73, reduce50_in_gga(T22, 119, X73))
U17_gga(T22, T19, X73, reduce50_out_gga(T22, 119, X73)) → reduce7_out_gga(.(119, .(119, T22)), T19, .(119, X73))
reduce7_in_gga(.(121, .(121, T22)), T19, .(121, X73)) → U18_gga(T22, T19, X73, reduce50_in_gga(T22, 121, X73))
U18_gga(T22, T19, X73, reduce50_out_gga(T22, 121, X73)) → reduce7_out_gga(.(121, .(121, T22)), T19, .(121, X73))
reduce7_in_gga(.(T23, .(T23, T24)), T19, .(T23, X130)) → U19_gga(T23, T24, T19, X130, reduce50_in_gga(T24, T23, X130))
U19_gga(T23, T24, T19, X130, reduce50_out_gga(T24, T23, X130)) → reduce7_out_gga(.(T23, .(T23, T24)), T19, .(T23, X130))
reduce7_in_gga(.(T25, .(T25, T26)), T19, .(T25, X145)) → U20_gga(T25, T26, T19, X145, reduce50_in_gga(T26, T25, X145))
U20_gga(T25, T26, T19, X145, reduce50_out_gga(T26, T25, X145)) → reduce7_out_gga(.(T25, .(T25, T26)), T19, .(T25, X145))
reduce7_in_gga(.(T29, .(T30, [])), T19, .(T29, .(T30, []))) → reduce7_out_gga(.(T29, .(T30, [])), T19, .(T29, .(T30, [])))
reduce7_in_gga(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177))) → U21_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 97, X177))
U21_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 97, X177)) → reduce7_out_gga(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177)))
reduce7_in_gga(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177))) → U22_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 101, X177))
U22_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 101, X177)) → reduce7_out_gga(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177)))
reduce7_in_gga(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177))) → U23_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 105, X177))
U23_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 105, X177)) → reduce7_out_gga(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177)))
reduce7_in_gga(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177))) → U24_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 111, X177))
U24_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 111, X177)) → reduce7_out_gga(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177)))
reduce7_in_gga(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177))) → U25_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 117, X177))
U25_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 117, X177)) → reduce7_out_gga(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177)))
reduce7_in_gga(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177))) → U26_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 104, X177))
U26_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 104, X177)) → reduce7_out_gga(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177)))
reduce7_in_gga(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177))) → U27_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 119, X177))
U27_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 119, X177)) → reduce7_out_gga(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177)))
reduce7_in_gga(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177))) → U28_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 121, X177))
U28_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 121, X177)) → reduce7_out_gga(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177)))
reduce7_in_gga(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234))) → U29_gga(T29, T33, T34, T19, X234, reduce130_in_gga(T34, T33, X234))
U29_gga(T29, T33, T34, T19, X234, reduce130_out_gga(T34, T33, X234)) → reduce7_out_gga(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234)))
reduce7_in_gga(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249))) → U30_gga(T29, T35, T36, T19, X249, reduce130_in_gga(T36, T35, X249))
U30_gga(T29, T35, T36, T19, X249, reduce130_out_gga(T36, T35, X249)) → reduce7_out_gga(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249)))
reduce7_in_gga(.(T29, .(T39, .(T41, T40))), T19, .(T29, .(T39, .(T41, [])))) → reduce7_out_gga(.(T29, .(T39, .(T41, T40))), T19, .(T29, .(T39, .(T41, []))))
U10_gga(T15, T16, X47, reduce7_out_gga(T16, T15, X47)) → reduce7_out_gga(.(T15, T16), T15, X47)
U9_gga(T13, T14, X38, reduce7_out_gga(T14, T13, X38)) → reduce7_out_gga(.(T13, T14), T13, X38)
U8_gga(T12, X29, reduce7_out_gga(T12, 121, X29)) → reduce7_out_gga(.(121, T12), 121, X29)
U7_gga(T12, X29, reduce7_out_gga(T12, 119, X29)) → reduce7_out_gga(.(119, T12), 119, X29)
U6_gga(T12, X29, reduce7_out_gga(T12, 104, X29)) → reduce7_out_gga(.(104, T12), 104, X29)
U5_gga(T12, X29, reduce7_out_gga(T12, 117, X29)) → reduce7_out_gga(.(117, T12), 117, X29)
U4_gga(T12, X29, reduce7_out_gga(T12, 111, X29)) → reduce7_out_gga(.(111, T12), 111, X29)
U3_gga(T12, X29, reduce7_out_gga(T12, 105, X29)) → reduce7_out_gga(.(105, T12), 105, X29)
U2_gga(T12, X29, reduce7_out_gga(T12, 101, X29)) → reduce7_out_gga(.(101, T12), 101, X29)
U1_gga(T12, X29, reduce7_out_gga(T12, 97, X29)) → reduce7_out_gga(.(97, T12), 97, X29)
U61_ga(T7, T8, T5, reduce7_out_gga(T8, T7, X12)) → goal1_out_ga(.(T7, T8), T5)
goal1_in_ga(.(T7, T8), T42) → U62_ga(T7, T8, T42, reduce7_in_gga(T8, T7, T42))
U62_ga(T7, T8, T42, reduce7_out_gga(T8, T7, T42)) → goal1_out_ga(.(T7, T8), T42)
REDUCE50_IN_GGA(.(T23, T24), T23, X130) → REDUCE50_IN_GGA(T24, T23, X130)
REDUCE50_IN_GGA(.(97, T22), 97, X73) → REDUCE50_IN_GGA(T22, 97, X73)
REDUCE50_IN_GGA(.(101, T22), 101, X73) → REDUCE50_IN_GGA(T22, 101, X73)
REDUCE50_IN_GGA(.(105, T22), 105, X73) → REDUCE50_IN_GGA(T22, 105, X73)
REDUCE50_IN_GGA(.(111, T22), 111, X73) → REDUCE50_IN_GGA(T22, 111, X73)
REDUCE50_IN_GGA(.(117, T22), 117, X73) → REDUCE50_IN_GGA(T22, 117, X73)
REDUCE50_IN_GGA(.(104, T22), 104, X73) → REDUCE50_IN_GGA(T22, 104, X73)
REDUCE50_IN_GGA(.(119, T22), 119, X73) → REDUCE50_IN_GGA(T22, 119, X73)
REDUCE50_IN_GGA(.(121, T22), 121, X73) → REDUCE50_IN_GGA(T22, 121, X73)
REDUCE50_IN_GGA(.(T23, T24), T23) → REDUCE50_IN_GGA(T24, T23)
REDUCE50_IN_GGA(.(97, T22), 97) → REDUCE50_IN_GGA(T22, 97)
REDUCE50_IN_GGA(.(101, T22), 101) → REDUCE50_IN_GGA(T22, 101)
REDUCE50_IN_GGA(.(105, T22), 105) → REDUCE50_IN_GGA(T22, 105)
REDUCE50_IN_GGA(.(111, T22), 111) → REDUCE50_IN_GGA(T22, 111)
REDUCE50_IN_GGA(.(117, T22), 117) → REDUCE50_IN_GGA(T22, 117)
REDUCE50_IN_GGA(.(104, T22), 104) → REDUCE50_IN_GGA(T22, 104)
REDUCE50_IN_GGA(.(119, T22), 119) → REDUCE50_IN_GGA(T22, 119)
REDUCE50_IN_GGA(.(121, T22), 121) → REDUCE50_IN_GGA(T22, 121)
From the DPs we obtained the following set of size-change graphs:
REDUCE7_IN_GGA(.(T13, T14), T13, X38) → REDUCE7_IN_GGA(T14, T13, X38)
REDUCE7_IN_GGA(.(97, T12), 97, X29) → REDUCE7_IN_GGA(T12, 97, X29)
REDUCE7_IN_GGA(.(101, T12), 101, X29) → REDUCE7_IN_GGA(T12, 101, X29)
REDUCE7_IN_GGA(.(105, T12), 105, X29) → REDUCE7_IN_GGA(T12, 105, X29)
REDUCE7_IN_GGA(.(111, T12), 111, X29) → REDUCE7_IN_GGA(T12, 111, X29)
REDUCE7_IN_GGA(.(117, T12), 117, X29) → REDUCE7_IN_GGA(T12, 117, X29)
REDUCE7_IN_GGA(.(104, T12), 104, X29) → REDUCE7_IN_GGA(T12, 104, X29)
REDUCE7_IN_GGA(.(119, T12), 119, X29) → REDUCE7_IN_GGA(T12, 119, X29)
REDUCE7_IN_GGA(.(121, T12), 121, X29) → REDUCE7_IN_GGA(T12, 121, X29)
goal1_in_ga(.(T7, T8), T5) → U61_ga(T7, T8, T5, reduce7_in_gga(T8, T7, X12))
reduce7_in_gga([], T10, []) → reduce7_out_gga([], T10, [])
reduce7_in_gga(.(97, T12), 97, X29) → U1_gga(T12, X29, reduce7_in_gga(T12, 97, X29))
reduce7_in_gga(.(101, T12), 101, X29) → U2_gga(T12, X29, reduce7_in_gga(T12, 101, X29))
reduce7_in_gga(.(105, T12), 105, X29) → U3_gga(T12, X29, reduce7_in_gga(T12, 105, X29))
reduce7_in_gga(.(111, T12), 111, X29) → U4_gga(T12, X29, reduce7_in_gga(T12, 111, X29))
reduce7_in_gga(.(117, T12), 117, X29) → U5_gga(T12, X29, reduce7_in_gga(T12, 117, X29))
reduce7_in_gga(.(104, T12), 104, X29) → U6_gga(T12, X29, reduce7_in_gga(T12, 104, X29))
reduce7_in_gga(.(119, T12), 119, X29) → U7_gga(T12, X29, reduce7_in_gga(T12, 119, X29))
reduce7_in_gga(.(121, T12), 121, X29) → U8_gga(T12, X29, reduce7_in_gga(T12, 121, X29))
reduce7_in_gga(.(T13, T14), T13, X38) → U9_gga(T13, T14, X38, reduce7_in_gga(T14, T13, X38))
reduce7_in_gga(.(T15, T16), T15, X47) → U10_gga(T15, T16, X47, reduce7_in_gga(T16, T15, X47))
reduce7_in_gga(.(T20, []), T19, .(T20, [])) → reduce7_out_gga(.(T20, []), T19, .(T20, []))
reduce7_in_gga(.(97, .(97, T22)), T19, .(97, X73)) → U11_gga(T22, T19, X73, reduce50_in_gga(T22, 97, X73))
reduce50_in_gga([], T20, []) → reduce50_out_gga([], T20, [])
reduce50_in_gga(.(97, T22), 97, X73) → U31_gga(T22, X73, reduce50_in_gga(T22, 97, X73))
reduce50_in_gga(.(101, T22), 101, X73) → U32_gga(T22, X73, reduce50_in_gga(T22, 101, X73))
reduce50_in_gga(.(105, T22), 105, X73) → U33_gga(T22, X73, reduce50_in_gga(T22, 105, X73))
reduce50_in_gga(.(111, T22), 111, X73) → U34_gga(T22, X73, reduce50_in_gga(T22, 111, X73))
reduce50_in_gga(.(117, T22), 117, X73) → U35_gga(T22, X73, reduce50_in_gga(T22, 117, X73))
reduce50_in_gga(.(104, T22), 104, X73) → U36_gga(T22, X73, reduce50_in_gga(T22, 104, X73))
reduce50_in_gga(.(119, T22), 119, X73) → U37_gga(T22, X73, reduce50_in_gga(T22, 119, X73))
reduce50_in_gga(.(121, T22), 121, X73) → U38_gga(T22, X73, reduce50_in_gga(T22, 121, X73))
reduce50_in_gga(.(T23, T24), T23, X130) → U39_gga(T23, T24, X130, reduce50_in_gga(T24, T23, X130))
reduce50_in_gga(.(T25, T26), T25, X145) → U40_gga(T25, T26, X145, reduce50_in_gga(T26, T25, X145))
reduce50_in_gga(.(T30, []), T29, .(T30, [])) → reduce50_out_gga(.(T30, []), T29, .(T30, []))
reduce50_in_gga(.(97, .(97, T32)), T29, .(97, X177)) → U41_gga(T32, T29, X177, reduce130_in_gga(T32, 97, X177))
reduce130_in_gga([], T30, []) → reduce130_out_gga([], T30, [])
reduce130_in_gga(.(97, T32), 97, X177) → U51_gga(T32, X177, reduce130_in_gga(T32, 97, X177))
reduce130_in_gga(.(101, T32), 101, X177) → U52_gga(T32, X177, reduce130_in_gga(T32, 101, X177))
reduce130_in_gga(.(105, T32), 105, X177) → U53_gga(T32, X177, reduce130_in_gga(T32, 105, X177))
reduce130_in_gga(.(111, T32), 111, X177) → U54_gga(T32, X177, reduce130_in_gga(T32, 111, X177))
reduce130_in_gga(.(117, T32), 117, X177) → U55_gga(T32, X177, reduce130_in_gga(T32, 117, X177))
reduce130_in_gga(.(104, T32), 104, X177) → U56_gga(T32, X177, reduce130_in_gga(T32, 104, X177))
reduce130_in_gga(.(119, T32), 119, X177) → U57_gga(T32, X177, reduce130_in_gga(T32, 119, X177))
reduce130_in_gga(.(121, T32), 121, X177) → U58_gga(T32, X177, reduce130_in_gga(T32, 121, X177))
reduce130_in_gga(.(T33, T34), T33, X234) → U59_gga(T33, T34, X234, reduce130_in_gga(T34, T33, X234))
reduce130_in_gga(.(T35, T36), T35, X249) → U60_gga(T35, T36, X249, reduce130_in_gga(T36, T35, X249))
reduce130_in_gga(.(T41, T40), T39, .(T41, [])) → reduce130_out_gga(.(T41, T40), T39, .(T41, []))
U60_gga(T35, T36, X249, reduce130_out_gga(T36, T35, X249)) → reduce130_out_gga(.(T35, T36), T35, X249)
U59_gga(T33, T34, X234, reduce130_out_gga(T34, T33, X234)) → reduce130_out_gga(.(T33, T34), T33, X234)
U58_gga(T32, X177, reduce130_out_gga(T32, 121, X177)) → reduce130_out_gga(.(121, T32), 121, X177)
U57_gga(T32, X177, reduce130_out_gga(T32, 119, X177)) → reduce130_out_gga(.(119, T32), 119, X177)
U56_gga(T32, X177, reduce130_out_gga(T32, 104, X177)) → reduce130_out_gga(.(104, T32), 104, X177)
U55_gga(T32, X177, reduce130_out_gga(T32, 117, X177)) → reduce130_out_gga(.(117, T32), 117, X177)
U54_gga(T32, X177, reduce130_out_gga(T32, 111, X177)) → reduce130_out_gga(.(111, T32), 111, X177)
U53_gga(T32, X177, reduce130_out_gga(T32, 105, X177)) → reduce130_out_gga(.(105, T32), 105, X177)
U52_gga(T32, X177, reduce130_out_gga(T32, 101, X177)) → reduce130_out_gga(.(101, T32), 101, X177)
U51_gga(T32, X177, reduce130_out_gga(T32, 97, X177)) → reduce130_out_gga(.(97, T32), 97, X177)
U41_gga(T32, T29, X177, reduce130_out_gga(T32, 97, X177)) → reduce50_out_gga(.(97, .(97, T32)), T29, .(97, X177))
reduce50_in_gga(.(101, .(101, T32)), T29, .(101, X177)) → U42_gga(T32, T29, X177, reduce130_in_gga(T32, 101, X177))
U42_gga(T32, T29, X177, reduce130_out_gga(T32, 101, X177)) → reduce50_out_gga(.(101, .(101, T32)), T29, .(101, X177))
reduce50_in_gga(.(105, .(105, T32)), T29, .(105, X177)) → U43_gga(T32, T29, X177, reduce130_in_gga(T32, 105, X177))
U43_gga(T32, T29, X177, reduce130_out_gga(T32, 105, X177)) → reduce50_out_gga(.(105, .(105, T32)), T29, .(105, X177))
reduce50_in_gga(.(111, .(111, T32)), T29, .(111, X177)) → U44_gga(T32, T29, X177, reduce130_in_gga(T32, 111, X177))
U44_gga(T32, T29, X177, reduce130_out_gga(T32, 111, X177)) → reduce50_out_gga(.(111, .(111, T32)), T29, .(111, X177))
reduce50_in_gga(.(117, .(117, T32)), T29, .(117, X177)) → U45_gga(T32, T29, X177, reduce130_in_gga(T32, 117, X177))
U45_gga(T32, T29, X177, reduce130_out_gga(T32, 117, X177)) → reduce50_out_gga(.(117, .(117, T32)), T29, .(117, X177))
reduce50_in_gga(.(104, .(104, T32)), T29, .(104, X177)) → U46_gga(T32, T29, X177, reduce130_in_gga(T32, 104, X177))
U46_gga(T32, T29, X177, reduce130_out_gga(T32, 104, X177)) → reduce50_out_gga(.(104, .(104, T32)), T29, .(104, X177))
reduce50_in_gga(.(119, .(119, T32)), T29, .(119, X177)) → U47_gga(T32, T29, X177, reduce130_in_gga(T32, 119, X177))
U47_gga(T32, T29, X177, reduce130_out_gga(T32, 119, X177)) → reduce50_out_gga(.(119, .(119, T32)), T29, .(119, X177))
reduce50_in_gga(.(121, .(121, T32)), T29, .(121, X177)) → U48_gga(T32, T29, X177, reduce130_in_gga(T32, 121, X177))
U48_gga(T32, T29, X177, reduce130_out_gga(T32, 121, X177)) → reduce50_out_gga(.(121, .(121, T32)), T29, .(121, X177))
reduce50_in_gga(.(T33, .(T33, T34)), T29, .(T33, X234)) → U49_gga(T33, T34, T29, X234, reduce130_in_gga(T34, T33, X234))
U49_gga(T33, T34, T29, X234, reduce130_out_gga(T34, T33, X234)) → reduce50_out_gga(.(T33, .(T33, T34)), T29, .(T33, X234))
reduce50_in_gga(.(T35, .(T35, T36)), T29, .(T35, X249)) → U50_gga(T35, T36, T29, X249, reduce130_in_gga(T36, T35, X249))
U50_gga(T35, T36, T29, X249, reduce130_out_gga(T36, T35, X249)) → reduce50_out_gga(.(T35, .(T35, T36)), T29, .(T35, X249))
reduce50_in_gga(.(T39, .(T41, T40)), T29, .(T39, .(T41, []))) → reduce50_out_gga(.(T39, .(T41, T40)), T29, .(T39, .(T41, [])))
U40_gga(T25, T26, X145, reduce50_out_gga(T26, T25, X145)) → reduce50_out_gga(.(T25, T26), T25, X145)
U39_gga(T23, T24, X130, reduce50_out_gga(T24, T23, X130)) → reduce50_out_gga(.(T23, T24), T23, X130)
U38_gga(T22, X73, reduce50_out_gga(T22, 121, X73)) → reduce50_out_gga(.(121, T22), 121, X73)
U37_gga(T22, X73, reduce50_out_gga(T22, 119, X73)) → reduce50_out_gga(.(119, T22), 119, X73)
U36_gga(T22, X73, reduce50_out_gga(T22, 104, X73)) → reduce50_out_gga(.(104, T22), 104, X73)
U35_gga(T22, X73, reduce50_out_gga(T22, 117, X73)) → reduce50_out_gga(.(117, T22), 117, X73)
U34_gga(T22, X73, reduce50_out_gga(T22, 111, X73)) → reduce50_out_gga(.(111, T22), 111, X73)
U33_gga(T22, X73, reduce50_out_gga(T22, 105, X73)) → reduce50_out_gga(.(105, T22), 105, X73)
U32_gga(T22, X73, reduce50_out_gga(T22, 101, X73)) → reduce50_out_gga(.(101, T22), 101, X73)
U31_gga(T22, X73, reduce50_out_gga(T22, 97, X73)) → reduce50_out_gga(.(97, T22), 97, X73)
U11_gga(T22, T19, X73, reduce50_out_gga(T22, 97, X73)) → reduce7_out_gga(.(97, .(97, T22)), T19, .(97, X73))
reduce7_in_gga(.(101, .(101, T22)), T19, .(101, X73)) → U12_gga(T22, T19, X73, reduce50_in_gga(T22, 101, X73))
U12_gga(T22, T19, X73, reduce50_out_gga(T22, 101, X73)) → reduce7_out_gga(.(101, .(101, T22)), T19, .(101, X73))
reduce7_in_gga(.(105, .(105, T22)), T19, .(105, X73)) → U13_gga(T22, T19, X73, reduce50_in_gga(T22, 105, X73))
U13_gga(T22, T19, X73, reduce50_out_gga(T22, 105, X73)) → reduce7_out_gga(.(105, .(105, T22)), T19, .(105, X73))
reduce7_in_gga(.(111, .(111, T22)), T19, .(111, X73)) → U14_gga(T22, T19, X73, reduce50_in_gga(T22, 111, X73))
U14_gga(T22, T19, X73, reduce50_out_gga(T22, 111, X73)) → reduce7_out_gga(.(111, .(111, T22)), T19, .(111, X73))
reduce7_in_gga(.(117, .(117, T22)), T19, .(117, X73)) → U15_gga(T22, T19, X73, reduce50_in_gga(T22, 117, X73))
U15_gga(T22, T19, X73, reduce50_out_gga(T22, 117, X73)) → reduce7_out_gga(.(117, .(117, T22)), T19, .(117, X73))
reduce7_in_gga(.(104, .(104, T22)), T19, .(104, X73)) → U16_gga(T22, T19, X73, reduce50_in_gga(T22, 104, X73))
U16_gga(T22, T19, X73, reduce50_out_gga(T22, 104, X73)) → reduce7_out_gga(.(104, .(104, T22)), T19, .(104, X73))
reduce7_in_gga(.(119, .(119, T22)), T19, .(119, X73)) → U17_gga(T22, T19, X73, reduce50_in_gga(T22, 119, X73))
U17_gga(T22, T19, X73, reduce50_out_gga(T22, 119, X73)) → reduce7_out_gga(.(119, .(119, T22)), T19, .(119, X73))
reduce7_in_gga(.(121, .(121, T22)), T19, .(121, X73)) → U18_gga(T22, T19, X73, reduce50_in_gga(T22, 121, X73))
U18_gga(T22, T19, X73, reduce50_out_gga(T22, 121, X73)) → reduce7_out_gga(.(121, .(121, T22)), T19, .(121, X73))
reduce7_in_gga(.(T23, .(T23, T24)), T19, .(T23, X130)) → U19_gga(T23, T24, T19, X130, reduce50_in_gga(T24, T23, X130))
U19_gga(T23, T24, T19, X130, reduce50_out_gga(T24, T23, X130)) → reduce7_out_gga(.(T23, .(T23, T24)), T19, .(T23, X130))
reduce7_in_gga(.(T25, .(T25, T26)), T19, .(T25, X145)) → U20_gga(T25, T26, T19, X145, reduce50_in_gga(T26, T25, X145))
U20_gga(T25, T26, T19, X145, reduce50_out_gga(T26, T25, X145)) → reduce7_out_gga(.(T25, .(T25, T26)), T19, .(T25, X145))
reduce7_in_gga(.(T29, .(T30, [])), T19, .(T29, .(T30, []))) → reduce7_out_gga(.(T29, .(T30, [])), T19, .(T29, .(T30, [])))
reduce7_in_gga(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177))) → U21_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 97, X177))
U21_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 97, X177)) → reduce7_out_gga(.(T29, .(97, .(97, T32))), T19, .(T29, .(97, X177)))
reduce7_in_gga(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177))) → U22_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 101, X177))
U22_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 101, X177)) → reduce7_out_gga(.(T29, .(101, .(101, T32))), T19, .(T29, .(101, X177)))
reduce7_in_gga(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177))) → U23_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 105, X177))
U23_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 105, X177)) → reduce7_out_gga(.(T29, .(105, .(105, T32))), T19, .(T29, .(105, X177)))
reduce7_in_gga(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177))) → U24_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 111, X177))
U24_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 111, X177)) → reduce7_out_gga(.(T29, .(111, .(111, T32))), T19, .(T29, .(111, X177)))
reduce7_in_gga(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177))) → U25_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 117, X177))
U25_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 117, X177)) → reduce7_out_gga(.(T29, .(117, .(117, T32))), T19, .(T29, .(117, X177)))
reduce7_in_gga(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177))) → U26_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 104, X177))
U26_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 104, X177)) → reduce7_out_gga(.(T29, .(104, .(104, T32))), T19, .(T29, .(104, X177)))
reduce7_in_gga(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177))) → U27_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 119, X177))
U27_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 119, X177)) → reduce7_out_gga(.(T29, .(119, .(119, T32))), T19, .(T29, .(119, X177)))
reduce7_in_gga(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177))) → U28_gga(T29, T32, T19, X177, reduce130_in_gga(T32, 121, X177))
U28_gga(T29, T32, T19, X177, reduce130_out_gga(T32, 121, X177)) → reduce7_out_gga(.(T29, .(121, .(121, T32))), T19, .(T29, .(121, X177)))
reduce7_in_gga(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234))) → U29_gga(T29, T33, T34, T19, X234, reduce130_in_gga(T34, T33, X234))
U29_gga(T29, T33, T34, T19, X234, reduce130_out_gga(T34, T33, X234)) → reduce7_out_gga(.(T29, .(T33, .(T33, T34))), T19, .(T29, .(T33, X234)))
reduce7_in_gga(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249))) → U30_gga(T29, T35, T36, T19, X249, reduce130_in_gga(T36, T35, X249))
U30_gga(T29, T35, T36, T19, X249, reduce130_out_gga(T36, T35, X249)) → reduce7_out_gga(.(T29, .(T35, .(T35, T36))), T19, .(T29, .(T35, X249)))
reduce7_in_gga(.(T29, .(T39, .(T41, T40))), T19, .(T29, .(T39, .(T41, [])))) → reduce7_out_gga(.(T29, .(T39, .(T41, T40))), T19, .(T29, .(T39, .(T41, []))))
U10_gga(T15, T16, X47, reduce7_out_gga(T16, T15, X47)) → reduce7_out_gga(.(T15, T16), T15, X47)
U9_gga(T13, T14, X38, reduce7_out_gga(T14, T13, X38)) → reduce7_out_gga(.(T13, T14), T13, X38)
U8_gga(T12, X29, reduce7_out_gga(T12, 121, X29)) → reduce7_out_gga(.(121, T12), 121, X29)
U7_gga(T12, X29, reduce7_out_gga(T12, 119, X29)) → reduce7_out_gga(.(119, T12), 119, X29)
U6_gga(T12, X29, reduce7_out_gga(T12, 104, X29)) → reduce7_out_gga(.(104, T12), 104, X29)
U5_gga(T12, X29, reduce7_out_gga(T12, 117, X29)) → reduce7_out_gga(.(117, T12), 117, X29)
U4_gga(T12, X29, reduce7_out_gga(T12, 111, X29)) → reduce7_out_gga(.(111, T12), 111, X29)
U3_gga(T12, X29, reduce7_out_gga(T12, 105, X29)) → reduce7_out_gga(.(105, T12), 105, X29)
U2_gga(T12, X29, reduce7_out_gga(T12, 101, X29)) → reduce7_out_gga(.(101, T12), 101, X29)
U1_gga(T12, X29, reduce7_out_gga(T12, 97, X29)) → reduce7_out_gga(.(97, T12), 97, X29)
U61_ga(T7, T8, T5, reduce7_out_gga(T8, T7, X12)) → goal1_out_ga(.(T7, T8), T5)
goal1_in_ga(.(T7, T8), T42) → U62_ga(T7, T8, T42, reduce7_in_gga(T8, T7, T42))
U62_ga(T7, T8, T42, reduce7_out_gga(T8, T7, T42)) → goal1_out_ga(.(T7, T8), T42)
REDUCE7_IN_GGA(.(T13, T14), T13, X38) → REDUCE7_IN_GGA(T14, T13, X38)
REDUCE7_IN_GGA(.(97, T12), 97, X29) → REDUCE7_IN_GGA(T12, 97, X29)
REDUCE7_IN_GGA(.(101, T12), 101, X29) → REDUCE7_IN_GGA(T12, 101, X29)
REDUCE7_IN_GGA(.(105, T12), 105, X29) → REDUCE7_IN_GGA(T12, 105, X29)
REDUCE7_IN_GGA(.(111, T12), 111, X29) → REDUCE7_IN_GGA(T12, 111, X29)
REDUCE7_IN_GGA(.(117, T12), 117, X29) → REDUCE7_IN_GGA(T12, 117, X29)
REDUCE7_IN_GGA(.(104, T12), 104, X29) → REDUCE7_IN_GGA(T12, 104, X29)
REDUCE7_IN_GGA(.(119, T12), 119, X29) → REDUCE7_IN_GGA(T12, 119, X29)
REDUCE7_IN_GGA(.(121, T12), 121, X29) → REDUCE7_IN_GGA(T12, 121, X29)
REDUCE7_IN_GGA(.(T13, T14), T13) → REDUCE7_IN_GGA(T14, T13)
REDUCE7_IN_GGA(.(97, T12), 97) → REDUCE7_IN_GGA(T12, 97)
REDUCE7_IN_GGA(.(101, T12), 101) → REDUCE7_IN_GGA(T12, 101)
REDUCE7_IN_GGA(.(105, T12), 105) → REDUCE7_IN_GGA(T12, 105)
REDUCE7_IN_GGA(.(111, T12), 111) → REDUCE7_IN_GGA(T12, 111)
REDUCE7_IN_GGA(.(117, T12), 117) → REDUCE7_IN_GGA(T12, 117)
REDUCE7_IN_GGA(.(104, T12), 104) → REDUCE7_IN_GGA(T12, 104)
REDUCE7_IN_GGA(.(119, T12), 119) → REDUCE7_IN_GGA(T12, 119)
REDUCE7_IN_GGA(.(121, T12), 121) → REDUCE7_IN_GGA(T12, 121)
From the DPs we obtained the following set of size-change graphs: