0 Prolog
↳1 PrologToDTProblemTransformerProof (⇐)
↳2 TRIPLES
↳3 UndefinedPredicateInTriplesTransformerProof (⇐)
↳4 TRIPLES
↳5 TriplesToPiDPProof (⇐)
↳6 PiDP
↳7 DependencyGraphProof (⇔)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔)
↳11 PiDP
↳12 PiDPToQDPProof (⇐)
↳13 QDP
↳14 QDPSizeChangeProof (⇔)
↳15 YES
↳16 PiDP
↳17 UsableRulesProof (⇔)
↳18 PiDP
↳19 PiDPToQDPProof (⇐)
↳20 QDP
↳21 QDPSizeChangeProof (⇔)
↳22 YES
↳23 PiDP
↳24 UsableRulesProof (⇔)
↳25 PiDP
↳26 PiDPToQDPProof (⇐)
↳27 QDP
↳28 NonTerminationProof (⇔)
↳29 NO
↳30 PiDP
↳31 UsableRulesProof (⇔)
↳32 PiDP
↳33 PiDPToQDPProof (⇐)
↳34 QDP
↳35 Narrowing (⇐)
↳36 QDP
↳37 UsableRulesProof (⇔)
↳38 QDP
↳39 QReductionProof (⇔)
↳40 QDP
↳41 Narrowing (⇐)
↳42 QDP
↳43 NonTerminationProof (⇔)
↳44 NO
↳45 PiDP
↳46 UsableRulesProof (⇔)
↳47 PiDP
↳48 PiDPToQDPProof (⇐)
↳49 QDP
↳50 NonTerminationProof (⇔)
↳51 NO
↳52 PiDP
↳53 UsableRulesProof (⇔)
↳54 PiDP
↳55 PiDPToQDPProof (⇐)
↳56 QDP
↳57 Narrowing (⇐)
↳58 QDP
↳59 Narrowing (⇐)
↳60 QDP
↳61 Narrowing (⇐)
↳62 QDP
↳63 NonTerminationProof (⇔)
↳64 NO
MS1_IN_AG(.(T29, .(T27, T28)), []) → U33_AG(T29, T27, T28, split12_in_aaaa(T27, T28, X42, X41))
MS1_IN_AG(.(T29, .(T27, T28)), []) → SPLIT12_IN_AAAA(T27, T28, X42, X41)
SPLIT12_IN_AAAA(T42, T44, .(T42, X71), X72) → U2_AAAA(T42, T44, X71, X72, split16_in_aaa(T44, X72, X71))
SPLIT12_IN_AAAA(T42, T44, .(T42, X71), X72) → SPLIT16_IN_AAA(T44, X72, X71)
SPLIT16_IN_AAA(.(T49, T51), .(T49, X89), X90) → U1_AAA(T49, T51, X89, X90, split16_in_aaa(T51, X90, X89))
SPLIT16_IN_AAA(.(T49, T51), .(T49, X89), X90) → SPLIT16_IN_AAA(T51, X90, X89)
MS1_IN_AG(.(T34, .(T27, T28)), []) → U34_AG(T34, T27, T28, splitc12_in_aaaa(T27, T28, T32, T33))
U34_AG(T34, T27, T28, splitc12_out_aaaa(T27, T28, T32, T33)) → U35_AG(T34, T27, T28, ms25_in_aaa(T34, T33, X13))
U34_AG(T34, T27, T28, splitc12_out_aaaa(T27, T28, T32, T33)) → MS25_IN_AAA(T34, T33, X13)
MS25_IN_AAA(T72, .(T73, T74), X127) → U21_AAA(T72, T73, T74, X127, p34_in_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127))
MS25_IN_AAA(T72, .(T73, T74), X127) → P34_IN_AAAAAAAA(T72, T73, T74, X123, X124, X125, X126, X127)
P34_IN_AAAAAAAA(T72, T73, T74, X123, X124, X125, X126, X127) → U3_AAAAAAAA(T72, T73, T74, X123, X124, X125, X126, X127, split12_in_aaaa(T72, .(T73, T74), X123, X124))
P34_IN_AAAAAAAA(T72, T73, T74, X123, X124, X125, X126, X127) → SPLIT12_IN_AAAA(T72, .(T73, T74), X123, X124)
P34_IN_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127) → U4_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T79))
U4_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T79)) → U5_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127, ms38_in_aa(T78, X125))
U4_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T79)) → MS38_IN_AA(T78, X125)
MS38_IN_AA(.(T99, .(T100, T101)), X172) → U13_AA(T99, T100, T101, X172, p34_in_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172))
MS38_IN_AA(.(T99, .(T100, T101)), X172) → P34_IN_AAAAAAAA(T99, T100, T101, X168, X169, X170, X171, X172)
P34_IN_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127) → U6_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U6_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U7_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, msc38_in_aa(T78, T83))
U7_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, msc38_out_aa(T78, T83)) → U8_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, ms38_in_aa(T84, X126))
U7_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, msc38_out_aa(T78, T83)) → MS38_IN_AA(T84, X126)
P34_IN_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127) → U9_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U9_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U10_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T78, T106))
U10_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T78, T106)) → U11_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T84, T105))
U11_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T84, T105)) → U12_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, merge54_in_aaa(T106, T105, X127))
U11_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T84, T105)) → MERGE54_IN_AAA(T106, T105, X127)
MERGE54_IN_AAA(.(T139, T141), .(T140, T142), .(T139, X226)) → U14_AAA(T139, T141, T140, T142, X226, less70_in_aa(T139, T140))
MERGE54_IN_AAA(.(T139, T141), .(T140, T142), .(T139, X226)) → LESS70_IN_AA(T139, T140)
LESS70_IN_AA(s(T161), T162) → U22_AA(T161, T162, less78_in_aa(T161, T162))
LESS70_IN_AA(s(T161), T162) → LESS78_IN_AA(T161, T162)
LESS78_IN_AA(s(T176), s(T177)) → U20_AA(T176, T177, less78_in_aa(T176, T177))
LESS78_IN_AA(s(T176), s(T177)) → LESS78_IN_AA(T176, T177)
MERGE54_IN_AAA(.(T139, T145), .(T146, T147), .(T139, X226)) → U15_AAA(T139, T145, T146, T147, X226, lessc70_in_aa(T139, T146))
U15_AAA(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → U16_AAA(T139, T145, T146, T147, X226, merge54_in_aaa(T145, .(T146, T147), X226))
U15_AAA(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → MERGE54_IN_AAA(T145, .(T146, T147), X226)
MERGE54_IN_AAA(.(T197, T199), .(T196, T198), .(T196, X287)) → U17_AAA(T197, T199, T196, T198, X287, less78_in_aa(T196, T197))
MERGE54_IN_AAA(.(T197, T199), .(T196, T198), .(T196, X287)) → LESS78_IN_AA(T196, T197)
MERGE54_IN_AAA(.(T202, T203), .(T196, T204), .(T196, X287)) → U18_AAA(T202, T203, T196, T204, X287, lessc78_in_aa(T196, T202))
U18_AAA(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → U19_AAA(T202, T203, T196, T204, X287, merge54_in_aaa(.(T202, T203), T204, X287))
U18_AAA(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → MERGE54_IN_AAA(.(T202, T203), T204, X287)
MS1_IN_AG(.(T34, .(T27, T28)), []) → U36_AG(T34, T27, T28, splitc12_in_aaaa(T27, T28, T55, T33))
U36_AG(T34, T27, T28, splitc12_out_aaaa(T27, T28, T55, T33)) → U37_AG(T34, T27, T28, T55, msc25_in_aaa(T34, T33, T54))
U37_AG(T34, T27, T28, T55, msc25_out_aaa(T34, T33, T54)) → U38_AG(T34, T27, T28, ms38_in_aa(T55, X14))
U37_AG(T34, T27, T28, T55, msc25_out_aaa(T34, T33, T54)) → MS38_IN_AA(T55, X14)
MS1_IN_AG(.(T262, .(T260, T261)), .(T242, [])) → U39_AG(T262, T260, T261, T242, split12_in_aaaa(T260, T261, X367, X366))
MS1_IN_AG(.(T262, .(T260, T261)), .(T242, [])) → SPLIT12_IN_AAAA(T260, T261, X367, X366)
MS1_IN_AG(.(T267, .(T260, T261)), .(T242, [])) → U40_AG(T267, T260, T261, T242, splitc12_in_aaaa(T260, T261, T265, T266))
U40_AG(T267, T260, T261, T242, splitc12_out_aaaa(T260, T261, T265, T266)) → U41_AG(T267, T260, T261, T242, ms25_in_aaa(T267, T266, X338))
U40_AG(T267, T260, T261, T242, splitc12_out_aaaa(T260, T261, T265, T266)) → MS25_IN_AAA(T267, T266, X338)
MS1_IN_AG(.(T267, .(T260, T261)), .(T242, [])) → U42_AG(T267, T260, T261, T242, splitc12_in_aaaa(T260, T261, T273, T266))
U42_AG(T267, T260, T261, T242, splitc12_out_aaaa(T260, T261, T273, T266)) → U43_AG(T267, T260, T261, T242, T273, msc25_in_aaa(T267, T266, T272))
U43_AG(T267, T260, T261, T242, T273, msc25_out_aaa(T267, T266, T272)) → U44_AG(T267, T260, T261, T242, ms38_in_aa(T273, X339))
U43_AG(T267, T260, T261, T242, T273, msc25_out_aaa(T267, T266, T272)) → MS38_IN_AA(T273, X339)
MS1_IN_AG(.(T267, .(T260, T261)), .(T318, [])) → U45_AG(T267, T260, T261, T318, splitc12_in_aaaa(T260, T261, T273, T266))
U45_AG(T267, T260, T261, T318, splitc12_out_aaaa(T260, T261, T273, T266)) → U46_AG(T267, T260, T261, T318, T273, msc25_in_aaa(T267, T266, .(T318, T323)))
U46_AG(T267, T260, T261, T318, T273, msc25_out_aaa(T267, T266, .(T318, T323))) → U47_AG(T267, T260, T261, T318, msc38_in_aa(T273, .(T322, T324)))
U47_AG(T267, T260, T261, T318, msc38_out_aa(T273, .(T322, T324))) → U48_AG(T267, T260, T261, T318, less70_in_ga(T318, T322))
U47_AG(T267, T260, T261, T318, msc38_out_aa(T273, .(T322, T324))) → LESS70_IN_GA(T318, T322)
LESS70_IN_GA(s(T161), T162) → U22_GA(T161, T162, less78_in_ga(T161, T162))
LESS70_IN_GA(s(T161), T162) → LESS78_IN_GA(T161, T162)
LESS78_IN_GA(s(T176), s(T177)) → U20_GA(T176, T177, less78_in_ga(T176, T177))
LESS78_IN_GA(s(T176), s(T177)) → LESS78_IN_GA(T176, T177)
MS1_IN_AG(.(T267, .(T260, T261)), .(T356, [])) → U49_AG(T267, T260, T261, T356, splitc12_in_aaaa(T260, T261, T273, T266))
U49_AG(T267, T260, T261, T356, splitc12_out_aaaa(T260, T261, T273, T266)) → U50_AG(T267, T260, T261, T356, T273, msc25_in_aaa(T267, T266, .(T358, T360)))
U50_AG(T267, T260, T261, T356, T273, msc25_out_aaa(T267, T266, .(T358, T360))) → U51_AG(T267, T260, T261, T356, T358, msc38_in_aa(T273, .(T356, T359)))
U51_AG(T267, T260, T261, T356, T358, msc38_out_aa(T273, .(T356, T359))) → U52_AG(T267, T260, T261, T356, less78_in_ga(T356, T358))
U51_AG(T267, T260, T261, T356, T358, msc38_out_aa(T273, .(T356, T359))) → LESS78_IN_GA(T356, T358)
MS1_IN_AG(.(T407, .(T405, T406)), T387) → U53_AG(T407, T405, T406, T387, split12_in_aaaa(T405, T406, X523, X522))
MS1_IN_AG(.(T407, .(T405, T406)), T387) → SPLIT12_IN_AAAA(T405, T406, X523, X522)
MS1_IN_AG(.(T412, .(T405, T406)), T387) → U54_AG(T412, T405, T406, T387, splitc12_in_aaaa(T405, T406, T410, T411))
U54_AG(T412, T405, T406, T387, splitc12_out_aaaa(T405, T406, T410, T411)) → U55_AG(T412, T405, T406, T387, ms25_in_aaa(T412, T411, X494))
U54_AG(T412, T405, T406, T387, splitc12_out_aaaa(T405, T406, T410, T411)) → MS25_IN_AAA(T412, T411, X494)
MS1_IN_AG(.(T412, .(T405, T406)), T387) → U56_AG(T412, T405, T406, T387, splitc12_in_aaaa(T405, T406, T420, T411))
U56_AG(T412, T405, T406, T387, splitc12_out_aaaa(T405, T406, T420, T411)) → U57_AG(T412, T405, T406, T387, T420, msc25_in_aaa(T412, T411, T419))
U57_AG(T412, T405, T406, T387, T420, msc25_out_aaa(T412, T411, T419)) → U58_AG(T412, T405, T406, T387, ms38_in_aa(T420, X495))
U57_AG(T412, T405, T406, T387, T420, msc25_out_aaa(T412, T411, T419)) → MS38_IN_AA(T420, X495)
MS1_IN_AG(.(T412, .(T405, T406)), .(T461, T465)) → U59_AG(T412, T405, T406, T461, T465, splitc12_in_aaaa(T405, T406, T420, T411))
U59_AG(T412, T405, T406, T461, T465, splitc12_out_aaaa(T405, T406, T420, T411)) → U60_AG(T412, T405, T406, T461, T465, T420, msc25_in_aaa(T412, T411, .(T461, T467)))
U60_AG(T412, T405, T406, T461, T465, T420, msc25_out_aaa(T412, T411, .(T461, T467))) → U61_AG(T412, T405, T406, T461, T465, msc38_in_aa(T420, .(T466, T468)))
U61_AG(T412, T405, T406, T461, T465, msc38_out_aa(T420, .(T466, T468))) → U62_AG(T412, T405, T406, T461, T465, less70_in_ga(T461, T466))
U61_AG(T412, T405, T406, T461, T465, msc38_out_aa(T420, .(T466, T468))) → LESS70_IN_GA(T461, T466)
MS1_IN_AG(.(T412, .(T405, T406)), .(T461, .(T513, T517))) → U63_AG(T412, T405, T406, T461, T513, T517, splitc12_in_aaaa(T405, T406, T420, T411))
U63_AG(T412, T405, T406, T461, T513, T517, splitc12_out_aaaa(T405, T406, T420, T411)) → U64_AG(T412, T405, T406, T461, T513, T517, T420, msc25_in_aaa(T412, T411, .(T461, .(T513, T519))))
U64_AG(T412, T405, T406, T461, T513, T517, T420, msc25_out_aaa(T412, T411, .(T461, .(T513, T519)))) → U65_AG(T412, T405, T406, T461, T513, T517, T519, msc38_in_aa(T420, .(T518, T520)))
U65_AG(T412, T405, T406, T461, T513, T517, T519, msc38_out_aa(T420, .(T518, T520))) → U66_AG(T412, T405, T406, T461, T513, T517, T519, T518, T520, lessc70_in_ga(T461, T518))
U66_AG(T412, T405, T406, T461, T513, T517, T519, T518, T520, lessc70_out_ga(T461, T518)) → U67_AG(T412, T405, T406, T461, T513, T517, p179_in_gaaag(T513, T518, T519, T520, T517))
U66_AG(T412, T405, T406, T461, T513, T517, T519, T518, T520, lessc70_out_ga(T461, T518)) → P179_IN_GAAAG(T513, T518, T519, T520, T517)
P179_IN_GAAAG(T513, T518, T519, T520, T517) → U23_GAAAG(T513, T518, T519, T520, T517, less70_in_ga(T513, T518))
P179_IN_GAAAG(T513, T518, T519, T520, T517) → LESS70_IN_GA(T513, T518)
P179_IN_GAAAG(T513, T568, .(T563, T569), T570, .(T563, T567)) → U24_GAAAG(T513, T568, T563, T569, T570, T567, lessc70_in_ga(T513, T568))
U24_GAAAG(T513, T568, T563, T569, T570, T567, lessc70_out_ga(T513, T568)) → U25_GAAAG(T513, T568, T563, T569, T570, T567, p179_in_gaaag(T563, T568, T569, T570, T567))
U24_GAAAG(T513, T568, T563, T569, T570, T567, lessc70_out_ga(T513, T568)) → P179_IN_GAAAG(T563, T568, T569, T570, T567)
P179_IN_GAAAG(T513, T585, .(T588, T590), T589, .(T585, T587)) → U26_GAAAG(T513, T585, T588, T590, T589, T587, lessc70_in_gg(T513, T585))
U26_GAAAG(T513, T585, T588, T590, T589, T587, lessc70_out_gg(T513, T585)) → U27_GAAAG(T513, T585, T588, T590, T589, T587, p194_in_gaaag(T585, T588, T590, T589, T587))
U26_GAAAG(T513, T585, T588, T590, T589, T587, lessc70_out_gg(T513, T585)) → P194_IN_GAAAG(T585, T588, T590, T589, T587)
P194_IN_GAAAG(T585, T588, T590, T589, T587) → U28_GAAAG(T585, T588, T590, T589, T587, less78_in_ga(T585, T588))
P194_IN_GAAAG(T585, T588, T590, T589, T587) → LESS78_IN_GA(T585, T588)
P194_IN_GAAAG(T585, T632, T638, .(T637, T639), .(T632, T636)) → U29_GAAAG(T585, T632, T638, T637, T639, T636, lessc78_in_gg(T585, T632))
U29_GAAAG(T585, T632, T638, T637, T639, T636, lessc78_out_gg(T585, T632)) → U30_GAAAG(T585, T632, T638, T637, T639, T636, p179_in_gaaag(T632, T637, T638, T639, T636))
U29_GAAAG(T585, T632, T638, T637, T639, T636, lessc78_out_gg(T585, T632)) → P179_IN_GAAAG(T632, T637, T638, T639, T636)
P194_IN_GAAAG(T585, T657, T659, .(T654, T658), .(T654, T656)) → U31_GAAAG(T585, T657, T659, T654, T658, T656, lessc78_in_ga(T585, T657))
U31_GAAAG(T585, T657, T659, T654, T658, T656, lessc78_out_ga(T585, T657)) → U32_GAAAG(T585, T657, T659, T654, T658, T656, p194_in_gaaag(T654, T657, T659, T658, T656))
U31_GAAAG(T585, T657, T659, T654, T658, T656, lessc78_out_ga(T585, T657)) → P194_IN_GAAAG(T654, T657, T659, T658, T656)
MS1_IN_AG(.(T412, .(T405, T406)), .(T461, .(T674, T676))) → U68_AG(T412, T405, T406, T461, T674, T676, splitc12_in_aaaa(T405, T406, T420, T411))
U68_AG(T412, T405, T406, T461, T674, T676, splitc12_out_aaaa(T405, T406, T420, T411)) → U69_AG(T412, T405, T406, T461, T674, T676, T420, msc25_in_aaa(T412, T411, .(T461, .(T677, T679))))
U69_AG(T412, T405, T406, T461, T674, T676, T420, msc25_out_aaa(T412, T411, .(T461, .(T677, T679)))) → U70_AG(T412, T405, T406, T461, T674, T676, T677, T679, msc38_in_aa(T420, .(T674, T678)))
U70_AG(T412, T405, T406, T461, T674, T676, T677, T679, msc38_out_aa(T420, .(T674, T678))) → U71_AG(T412, T405, T406, T461, T674, T676, T677, T679, T678, lessc70_in_gg(T461, T674))
U71_AG(T412, T405, T406, T461, T674, T676, T677, T679, T678, lessc70_out_gg(T461, T674)) → U72_AG(T412, T405, T406, T461, T674, T676, p194_in_gaaag(T674, T677, T679, T678, T676))
U71_AG(T412, T405, T406, T461, T674, T676, T677, T679, T678, lessc70_out_gg(T461, T674)) → P194_IN_GAAAG(T674, T677, T679, T678, T676)
MS1_IN_AG(.(T412, .(T405, T406)), .(T694, T696)) → U73_AG(T412, T405, T406, T694, T696, splitc12_in_aaaa(T405, T406, T420, T411))
U73_AG(T412, T405, T406, T694, T696, splitc12_out_aaaa(T405, T406, T420, T411)) → U74_AG(T412, T405, T406, T694, T696, T420, msc25_in_aaa(T412, T411, .(T697, T699)))
U74_AG(T412, T405, T406, T694, T696, T420, msc25_out_aaa(T412, T411, .(T697, T699))) → U75_AG(T412, T405, T406, T694, T696, T697, T699, msc38_in_aa(T420, .(T694, T698)))
U75_AG(T412, T405, T406, T694, T696, T697, T699, msc38_out_aa(T420, .(T694, T698))) → U76_AG(T412, T405, T406, T694, T696, p194_in_gaaag(T694, T697, T699, T698, T696))
U75_AG(T412, T405, T406, T694, T696, T697, T699, msc38_out_aa(T420, .(T694, T698))) → P194_IN_GAAAG(T694, T697, T699, T698, T696)
splitc12_in_aaaa(T42, T44, .(T42, X71), X72) → U79_aaaa(T42, T44, X71, X72, splitc16_in_aaa(T44, X72, X71))
splitc16_in_aaa([], [], []) → splitc16_out_aaa([], [], [])
splitc16_in_aaa(.(T49, T51), .(T49, X89), X90) → U78_aaa(T49, T51, X89, X90, splitc16_in_aaa(T51, X90, X89))
U78_aaa(T49, T51, X89, X90, splitc16_out_aaa(T51, X90, X89)) → splitc16_out_aaa(.(T49, T51), .(T49, X89), X90)
U79_aaaa(T42, T44, X71, X72, splitc16_out_aaa(T44, X72, X71)) → splitc12_out_aaaa(T42, T44, .(T42, X71), X72)
msc38_in_aa([], []) → msc38_out_aa([], [])
msc38_in_aa(.(T89, []), .(T89, [])) → msc38_out_aa(.(T89, []), .(T89, []))
msc38_in_aa(.(T99, .(T100, T101)), X172) → U84_aa(T99, T100, T101, X172, qc34_in_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172))
qc34_in_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127) → U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T78, T106))
U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T78, T106)) → U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T84, T105))
U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T84, T105)) → U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_in_aaa(T106, T105, X127))
mergec54_in_aaa([], T113, T113) → mergec54_out_aaa([], T113, T113)
mergec54_in_aaa(T118, [], T118) → mergec54_out_aaa(T118, [], T118)
mergec54_in_aaa(.(T139, T145), .(T146, T147), .(T139, X226)) → U85_aaa(T139, T145, T146, T147, X226, lessc70_in_aa(T139, T146))
lessc70_in_aa(0, T154) → lessc70_out_aa(0, T154)
lessc70_in_aa(s(T161), T162) → U91_aa(T161, T162, lessc78_in_aa(T161, T162))
lessc78_in_aa(0, s(T169)) → lessc78_out_aa(0, s(T169))
lessc78_in_aa(s(T176), s(T177)) → U89_aa(T176, T177, lessc78_in_aa(T176, T177))
U89_aa(T176, T177, lessc78_out_aa(T176, T177)) → lessc78_out_aa(s(T176), s(T177))
U91_aa(T161, T162, lessc78_out_aa(T161, T162)) → lessc70_out_aa(s(T161), T162)
U85_aaa(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → U86_aaa(T139, T145, T146, T147, X226, mergec54_in_aaa(T145, .(T146, T147), X226))
mergec54_in_aaa(.(T202, T203), .(T196, T204), .(T196, X287)) → U87_aaa(T202, T203, T196, T204, X287, lessc78_in_aa(T196, T202))
U87_aaa(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → U88_aaa(T202, T203, T196, T204, X287, mergec54_in_aaa(.(T202, T203), T204, X287))
U88_aaa(T202, T203, T196, T204, X287, mergec54_out_aaa(.(T202, T203), T204, X287)) → mergec54_out_aaa(.(T202, T203), .(T196, T204), .(T196, X287))
U86_aaa(T139, T145, T146, T147, X226, mergec54_out_aaa(T145, .(T146, T147), X226)) → mergec54_out_aaa(.(T139, T145), .(T146, T147), .(T139, X226))
U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_out_aaa(T106, T105, X127)) → qc34_out_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127)
U84_aa(T99, T100, T101, X172, qc34_out_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172)) → msc38_out_aa(.(T99, .(T100, T101)), X172)
msc25_in_aaa(T62, [], .(T62, [])) → msc25_out_aaa(T62, [], .(T62, []))
msc25_in_aaa(T72, .(T73, T74), X127) → U90_aaa(T72, T73, T74, X127, qc34_in_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127))
U90_aaa(T72, T73, T74, X127, qc34_out_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127)) → msc25_out_aaa(T72, .(T73, T74), X127)
lessc70_in_ga(0, T154) → lessc70_out_ga(0, T154)
lessc70_in_ga(s(T161), T162) → U91_ga(T161, T162, lessc78_in_ga(T161, T162))
lessc78_in_ga(0, s(T169)) → lessc78_out_ga(0, s(T169))
lessc78_in_ga(s(T176), s(T177)) → U89_ga(T176, T177, lessc78_in_ga(T176, T177))
U89_ga(T176, T177, lessc78_out_ga(T176, T177)) → lessc78_out_ga(s(T176), s(T177))
U91_ga(T161, T162, lessc78_out_ga(T161, T162)) → lessc70_out_ga(s(T161), T162)
lessc70_in_gg(0, T154) → lessc70_out_gg(0, T154)
lessc70_in_gg(s(T161), T162) → U91_gg(T161, T162, lessc78_in_gg(T161, T162))
lessc78_in_gg(0, s(T169)) → lessc78_out_gg(0, s(T169))
lessc78_in_gg(s(T176), s(T177)) → U89_gg(T176, T177, lessc78_in_gg(T176, T177))
U89_gg(T176, T177, lessc78_out_gg(T176, T177)) → lessc78_out_gg(s(T176), s(T177))
U91_gg(T161, T162, lessc78_out_gg(T161, T162)) → lessc70_out_gg(s(T161), T162)
Infinitary Constructor Rewriting Termination of PiDP implies Termination of TRIPLES
MS1_IN_AG(.(T29, .(T27, T28)), []) → U33_AG(T29, T27, T28, split12_in_aaaa(T27, T28, X42, X41))
MS1_IN_AG(.(T29, .(T27, T28)), []) → SPLIT12_IN_AAAA(T27, T28, X42, X41)
SPLIT12_IN_AAAA(T42, T44, .(T42, X71), X72) → U2_AAAA(T42, T44, X71, X72, split16_in_aaa(T44, X72, X71))
SPLIT12_IN_AAAA(T42, T44, .(T42, X71), X72) → SPLIT16_IN_AAA(T44, X72, X71)
SPLIT16_IN_AAA(.(T49, T51), .(T49, X89), X90) → U1_AAA(T49, T51, X89, X90, split16_in_aaa(T51, X90, X89))
SPLIT16_IN_AAA(.(T49, T51), .(T49, X89), X90) → SPLIT16_IN_AAA(T51, X90, X89)
MS1_IN_AG(.(T34, .(T27, T28)), []) → U34_AG(T34, T27, T28, splitc12_in_aaaa(T27, T28, T32, T33))
U34_AG(T34, T27, T28, splitc12_out_aaaa(T27, T28, T32, T33)) → U35_AG(T34, T27, T28, ms25_in_aaa(T34, T33, X13))
U34_AG(T34, T27, T28, splitc12_out_aaaa(T27, T28, T32, T33)) → MS25_IN_AAA(T34, T33, X13)
MS25_IN_AAA(T72, .(T73, T74), X127) → U21_AAA(T72, T73, T74, X127, p34_in_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127))
MS25_IN_AAA(T72, .(T73, T74), X127) → P34_IN_AAAAAAAA(T72, T73, T74, X123, X124, X125, X126, X127)
P34_IN_AAAAAAAA(T72, T73, T74, X123, X124, X125, X126, X127) → U3_AAAAAAAA(T72, T73, T74, X123, X124, X125, X126, X127, split12_in_aaaa(T72, .(T73, T74), X123, X124))
P34_IN_AAAAAAAA(T72, T73, T74, X123, X124, X125, X126, X127) → SPLIT12_IN_AAAA(T72, .(T73, T74), X123, X124)
P34_IN_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127) → U4_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T79))
U4_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T79)) → U5_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127, ms38_in_aa(T78, X125))
U4_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T79)) → MS38_IN_AA(T78, X125)
MS38_IN_AA(.(T99, .(T100, T101)), X172) → U13_AA(T99, T100, T101, X172, p34_in_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172))
MS38_IN_AA(.(T99, .(T100, T101)), X172) → P34_IN_AAAAAAAA(T99, T100, T101, X168, X169, X170, X171, X172)
P34_IN_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127) → U6_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U6_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U7_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, msc38_in_aa(T78, T83))
U7_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, msc38_out_aa(T78, T83)) → U8_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, ms38_in_aa(T84, X126))
U7_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, msc38_out_aa(T78, T83)) → MS38_IN_AA(T84, X126)
P34_IN_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127) → U9_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U9_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U10_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T78, T106))
U10_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T78, T106)) → U11_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T84, T105))
U11_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T84, T105)) → U12_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, merge54_in_aaa(T106, T105, X127))
U11_AAAAAAAA(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T84, T105)) → MERGE54_IN_AAA(T106, T105, X127)
MERGE54_IN_AAA(.(T139, T141), .(T140, T142), .(T139, X226)) → U14_AAA(T139, T141, T140, T142, X226, less70_in_aa(T139, T140))
MERGE54_IN_AAA(.(T139, T141), .(T140, T142), .(T139, X226)) → LESS70_IN_AA(T139, T140)
LESS70_IN_AA(s(T161), T162) → U22_AA(T161, T162, less78_in_aa(T161, T162))
LESS70_IN_AA(s(T161), T162) → LESS78_IN_AA(T161, T162)
LESS78_IN_AA(s(T176), s(T177)) → U20_AA(T176, T177, less78_in_aa(T176, T177))
LESS78_IN_AA(s(T176), s(T177)) → LESS78_IN_AA(T176, T177)
MERGE54_IN_AAA(.(T139, T145), .(T146, T147), .(T139, X226)) → U15_AAA(T139, T145, T146, T147, X226, lessc70_in_aa(T139, T146))
U15_AAA(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → U16_AAA(T139, T145, T146, T147, X226, merge54_in_aaa(T145, .(T146, T147), X226))
U15_AAA(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → MERGE54_IN_AAA(T145, .(T146, T147), X226)
MERGE54_IN_AAA(.(T197, T199), .(T196, T198), .(T196, X287)) → U17_AAA(T197, T199, T196, T198, X287, less78_in_aa(T196, T197))
MERGE54_IN_AAA(.(T197, T199), .(T196, T198), .(T196, X287)) → LESS78_IN_AA(T196, T197)
MERGE54_IN_AAA(.(T202, T203), .(T196, T204), .(T196, X287)) → U18_AAA(T202, T203, T196, T204, X287, lessc78_in_aa(T196, T202))
U18_AAA(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → U19_AAA(T202, T203, T196, T204, X287, merge54_in_aaa(.(T202, T203), T204, X287))
U18_AAA(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → MERGE54_IN_AAA(.(T202, T203), T204, X287)
MS1_IN_AG(.(T34, .(T27, T28)), []) → U36_AG(T34, T27, T28, splitc12_in_aaaa(T27, T28, T55, T33))
U36_AG(T34, T27, T28, splitc12_out_aaaa(T27, T28, T55, T33)) → U37_AG(T34, T27, T28, T55, msc25_in_aaa(T34, T33, T54))
U37_AG(T34, T27, T28, T55, msc25_out_aaa(T34, T33, T54)) → U38_AG(T34, T27, T28, ms38_in_aa(T55, X14))
U37_AG(T34, T27, T28, T55, msc25_out_aaa(T34, T33, T54)) → MS38_IN_AA(T55, X14)
MS1_IN_AG(.(T262, .(T260, T261)), .(T242, [])) → U39_AG(T262, T260, T261, T242, split12_in_aaaa(T260, T261, X367, X366))
MS1_IN_AG(.(T262, .(T260, T261)), .(T242, [])) → SPLIT12_IN_AAAA(T260, T261, X367, X366)
MS1_IN_AG(.(T267, .(T260, T261)), .(T242, [])) → U40_AG(T267, T260, T261, T242, splitc12_in_aaaa(T260, T261, T265, T266))
U40_AG(T267, T260, T261, T242, splitc12_out_aaaa(T260, T261, T265, T266)) → U41_AG(T267, T260, T261, T242, ms25_in_aaa(T267, T266, X338))
U40_AG(T267, T260, T261, T242, splitc12_out_aaaa(T260, T261, T265, T266)) → MS25_IN_AAA(T267, T266, X338)
MS1_IN_AG(.(T267, .(T260, T261)), .(T242, [])) → U42_AG(T267, T260, T261, T242, splitc12_in_aaaa(T260, T261, T273, T266))
U42_AG(T267, T260, T261, T242, splitc12_out_aaaa(T260, T261, T273, T266)) → U43_AG(T267, T260, T261, T242, T273, msc25_in_aaa(T267, T266, T272))
U43_AG(T267, T260, T261, T242, T273, msc25_out_aaa(T267, T266, T272)) → U44_AG(T267, T260, T261, T242, ms38_in_aa(T273, X339))
U43_AG(T267, T260, T261, T242, T273, msc25_out_aaa(T267, T266, T272)) → MS38_IN_AA(T273, X339)
MS1_IN_AG(.(T267, .(T260, T261)), .(T318, [])) → U45_AG(T267, T260, T261, T318, splitc12_in_aaaa(T260, T261, T273, T266))
U45_AG(T267, T260, T261, T318, splitc12_out_aaaa(T260, T261, T273, T266)) → U46_AG(T267, T260, T261, T318, T273, msc25_in_aaa(T267, T266, .(T318, T323)))
U46_AG(T267, T260, T261, T318, T273, msc25_out_aaa(T267, T266, .(T318, T323))) → U47_AG(T267, T260, T261, T318, msc38_in_aa(T273, .(T322, T324)))
U47_AG(T267, T260, T261, T318, msc38_out_aa(T273, .(T322, T324))) → U48_AG(T267, T260, T261, T318, less70_in_ga(T318, T322))
U47_AG(T267, T260, T261, T318, msc38_out_aa(T273, .(T322, T324))) → LESS70_IN_GA(T318, T322)
LESS70_IN_GA(s(T161), T162) → U22_GA(T161, T162, less78_in_ga(T161, T162))
LESS70_IN_GA(s(T161), T162) → LESS78_IN_GA(T161, T162)
LESS78_IN_GA(s(T176), s(T177)) → U20_GA(T176, T177, less78_in_ga(T176, T177))
LESS78_IN_GA(s(T176), s(T177)) → LESS78_IN_GA(T176, T177)
MS1_IN_AG(.(T267, .(T260, T261)), .(T356, [])) → U49_AG(T267, T260, T261, T356, splitc12_in_aaaa(T260, T261, T273, T266))
U49_AG(T267, T260, T261, T356, splitc12_out_aaaa(T260, T261, T273, T266)) → U50_AG(T267, T260, T261, T356, T273, msc25_in_aaa(T267, T266, .(T358, T360)))
U50_AG(T267, T260, T261, T356, T273, msc25_out_aaa(T267, T266, .(T358, T360))) → U51_AG(T267, T260, T261, T356, T358, msc38_in_aa(T273, .(T356, T359)))
U51_AG(T267, T260, T261, T356, T358, msc38_out_aa(T273, .(T356, T359))) → U52_AG(T267, T260, T261, T356, less78_in_ga(T356, T358))
U51_AG(T267, T260, T261, T356, T358, msc38_out_aa(T273, .(T356, T359))) → LESS78_IN_GA(T356, T358)
MS1_IN_AG(.(T407, .(T405, T406)), T387) → U53_AG(T407, T405, T406, T387, split12_in_aaaa(T405, T406, X523, X522))
MS1_IN_AG(.(T407, .(T405, T406)), T387) → SPLIT12_IN_AAAA(T405, T406, X523, X522)
MS1_IN_AG(.(T412, .(T405, T406)), T387) → U54_AG(T412, T405, T406, T387, splitc12_in_aaaa(T405, T406, T410, T411))
U54_AG(T412, T405, T406, T387, splitc12_out_aaaa(T405, T406, T410, T411)) → U55_AG(T412, T405, T406, T387, ms25_in_aaa(T412, T411, X494))
U54_AG(T412, T405, T406, T387, splitc12_out_aaaa(T405, T406, T410, T411)) → MS25_IN_AAA(T412, T411, X494)
MS1_IN_AG(.(T412, .(T405, T406)), T387) → U56_AG(T412, T405, T406, T387, splitc12_in_aaaa(T405, T406, T420, T411))
U56_AG(T412, T405, T406, T387, splitc12_out_aaaa(T405, T406, T420, T411)) → U57_AG(T412, T405, T406, T387, T420, msc25_in_aaa(T412, T411, T419))
U57_AG(T412, T405, T406, T387, T420, msc25_out_aaa(T412, T411, T419)) → U58_AG(T412, T405, T406, T387, ms38_in_aa(T420, X495))
U57_AG(T412, T405, T406, T387, T420, msc25_out_aaa(T412, T411, T419)) → MS38_IN_AA(T420, X495)
MS1_IN_AG(.(T412, .(T405, T406)), .(T461, T465)) → U59_AG(T412, T405, T406, T461, T465, splitc12_in_aaaa(T405, T406, T420, T411))
U59_AG(T412, T405, T406, T461, T465, splitc12_out_aaaa(T405, T406, T420, T411)) → U60_AG(T412, T405, T406, T461, T465, T420, msc25_in_aaa(T412, T411, .(T461, T467)))
U60_AG(T412, T405, T406, T461, T465, T420, msc25_out_aaa(T412, T411, .(T461, T467))) → U61_AG(T412, T405, T406, T461, T465, msc38_in_aa(T420, .(T466, T468)))
U61_AG(T412, T405, T406, T461, T465, msc38_out_aa(T420, .(T466, T468))) → U62_AG(T412, T405, T406, T461, T465, less70_in_ga(T461, T466))
U61_AG(T412, T405, T406, T461, T465, msc38_out_aa(T420, .(T466, T468))) → LESS70_IN_GA(T461, T466)
MS1_IN_AG(.(T412, .(T405, T406)), .(T461, .(T513, T517))) → U63_AG(T412, T405, T406, T461, T513, T517, splitc12_in_aaaa(T405, T406, T420, T411))
U63_AG(T412, T405, T406, T461, T513, T517, splitc12_out_aaaa(T405, T406, T420, T411)) → U64_AG(T412, T405, T406, T461, T513, T517, T420, msc25_in_aaa(T412, T411, .(T461, .(T513, T519))))
U64_AG(T412, T405, T406, T461, T513, T517, T420, msc25_out_aaa(T412, T411, .(T461, .(T513, T519)))) → U65_AG(T412, T405, T406, T461, T513, T517, T519, msc38_in_aa(T420, .(T518, T520)))
U65_AG(T412, T405, T406, T461, T513, T517, T519, msc38_out_aa(T420, .(T518, T520))) → U66_AG(T412, T405, T406, T461, T513, T517, T519, T518, T520, lessc70_in_ga(T461, T518))
U66_AG(T412, T405, T406, T461, T513, T517, T519, T518, T520, lessc70_out_ga(T461, T518)) → U67_AG(T412, T405, T406, T461, T513, T517, p179_in_gaaag(T513, T518, T519, T520, T517))
U66_AG(T412, T405, T406, T461, T513, T517, T519, T518, T520, lessc70_out_ga(T461, T518)) → P179_IN_GAAAG(T513, T518, T519, T520, T517)
P179_IN_GAAAG(T513, T518, T519, T520, T517) → U23_GAAAG(T513, T518, T519, T520, T517, less70_in_ga(T513, T518))
P179_IN_GAAAG(T513, T518, T519, T520, T517) → LESS70_IN_GA(T513, T518)
P179_IN_GAAAG(T513, T568, .(T563, T569), T570, .(T563, T567)) → U24_GAAAG(T513, T568, T563, T569, T570, T567, lessc70_in_ga(T513, T568))
U24_GAAAG(T513, T568, T563, T569, T570, T567, lessc70_out_ga(T513, T568)) → U25_GAAAG(T513, T568, T563, T569, T570, T567, p179_in_gaaag(T563, T568, T569, T570, T567))
U24_GAAAG(T513, T568, T563, T569, T570, T567, lessc70_out_ga(T513, T568)) → P179_IN_GAAAG(T563, T568, T569, T570, T567)
P179_IN_GAAAG(T513, T585, .(T588, T590), T589, .(T585, T587)) → U26_GAAAG(T513, T585, T588, T590, T589, T587, lessc70_in_gg(T513, T585))
U26_GAAAG(T513, T585, T588, T590, T589, T587, lessc70_out_gg(T513, T585)) → U27_GAAAG(T513, T585, T588, T590, T589, T587, p194_in_gaaag(T585, T588, T590, T589, T587))
U26_GAAAG(T513, T585, T588, T590, T589, T587, lessc70_out_gg(T513, T585)) → P194_IN_GAAAG(T585, T588, T590, T589, T587)
P194_IN_GAAAG(T585, T588, T590, T589, T587) → U28_GAAAG(T585, T588, T590, T589, T587, less78_in_ga(T585, T588))
P194_IN_GAAAG(T585, T588, T590, T589, T587) → LESS78_IN_GA(T585, T588)
P194_IN_GAAAG(T585, T632, T638, .(T637, T639), .(T632, T636)) → U29_GAAAG(T585, T632, T638, T637, T639, T636, lessc78_in_gg(T585, T632))
U29_GAAAG(T585, T632, T638, T637, T639, T636, lessc78_out_gg(T585, T632)) → U30_GAAAG(T585, T632, T638, T637, T639, T636, p179_in_gaaag(T632, T637, T638, T639, T636))
U29_GAAAG(T585, T632, T638, T637, T639, T636, lessc78_out_gg(T585, T632)) → P179_IN_GAAAG(T632, T637, T638, T639, T636)
P194_IN_GAAAG(T585, T657, T659, .(T654, T658), .(T654, T656)) → U31_GAAAG(T585, T657, T659, T654, T658, T656, lessc78_in_ga(T585, T657))
U31_GAAAG(T585, T657, T659, T654, T658, T656, lessc78_out_ga(T585, T657)) → U32_GAAAG(T585, T657, T659, T654, T658, T656, p194_in_gaaag(T654, T657, T659, T658, T656))
U31_GAAAG(T585, T657, T659, T654, T658, T656, lessc78_out_ga(T585, T657)) → P194_IN_GAAAG(T654, T657, T659, T658, T656)
MS1_IN_AG(.(T412, .(T405, T406)), .(T461, .(T674, T676))) → U68_AG(T412, T405, T406, T461, T674, T676, splitc12_in_aaaa(T405, T406, T420, T411))
U68_AG(T412, T405, T406, T461, T674, T676, splitc12_out_aaaa(T405, T406, T420, T411)) → U69_AG(T412, T405, T406, T461, T674, T676, T420, msc25_in_aaa(T412, T411, .(T461, .(T677, T679))))
U69_AG(T412, T405, T406, T461, T674, T676, T420, msc25_out_aaa(T412, T411, .(T461, .(T677, T679)))) → U70_AG(T412, T405, T406, T461, T674, T676, T677, T679, msc38_in_aa(T420, .(T674, T678)))
U70_AG(T412, T405, T406, T461, T674, T676, T677, T679, msc38_out_aa(T420, .(T674, T678))) → U71_AG(T412, T405, T406, T461, T674, T676, T677, T679, T678, lessc70_in_gg(T461, T674))
U71_AG(T412, T405, T406, T461, T674, T676, T677, T679, T678, lessc70_out_gg(T461, T674)) → U72_AG(T412, T405, T406, T461, T674, T676, p194_in_gaaag(T674, T677, T679, T678, T676))
U71_AG(T412, T405, T406, T461, T674, T676, T677, T679, T678, lessc70_out_gg(T461, T674)) → P194_IN_GAAAG(T674, T677, T679, T678, T676)
MS1_IN_AG(.(T412, .(T405, T406)), .(T694, T696)) → U73_AG(T412, T405, T406, T694, T696, splitc12_in_aaaa(T405, T406, T420, T411))
U73_AG(T412, T405, T406, T694, T696, splitc12_out_aaaa(T405, T406, T420, T411)) → U74_AG(T412, T405, T406, T694, T696, T420, msc25_in_aaa(T412, T411, .(T697, T699)))
U74_AG(T412, T405, T406, T694, T696, T420, msc25_out_aaa(T412, T411, .(T697, T699))) → U75_AG(T412, T405, T406, T694, T696, T697, T699, msc38_in_aa(T420, .(T694, T698)))
U75_AG(T412, T405, T406, T694, T696, T697, T699, msc38_out_aa(T420, .(T694, T698))) → U76_AG(T412, T405, T406, T694, T696, p194_in_gaaag(T694, T697, T699, T698, T696))
U75_AG(T412, T405, T406, T694, T696, T697, T699, msc38_out_aa(T420, .(T694, T698))) → P194_IN_GAAAG(T694, T697, T699, T698, T696)
splitc12_in_aaaa(T42, T44, .(T42, X71), X72) → U79_aaaa(T42, T44, X71, X72, splitc16_in_aaa(T44, X72, X71))
splitc16_in_aaa([], [], []) → splitc16_out_aaa([], [], [])
splitc16_in_aaa(.(T49, T51), .(T49, X89), X90) → U78_aaa(T49, T51, X89, X90, splitc16_in_aaa(T51, X90, X89))
U78_aaa(T49, T51, X89, X90, splitc16_out_aaa(T51, X90, X89)) → splitc16_out_aaa(.(T49, T51), .(T49, X89), X90)
U79_aaaa(T42, T44, X71, X72, splitc16_out_aaa(T44, X72, X71)) → splitc12_out_aaaa(T42, T44, .(T42, X71), X72)
msc38_in_aa([], []) → msc38_out_aa([], [])
msc38_in_aa(.(T89, []), .(T89, [])) → msc38_out_aa(.(T89, []), .(T89, []))
msc38_in_aa(.(T99, .(T100, T101)), X172) → U84_aa(T99, T100, T101, X172, qc34_in_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172))
qc34_in_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127) → U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T78, T106))
U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T78, T106)) → U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T84, T105))
U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T84, T105)) → U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_in_aaa(T106, T105, X127))
mergec54_in_aaa([], T113, T113) → mergec54_out_aaa([], T113, T113)
mergec54_in_aaa(T118, [], T118) → mergec54_out_aaa(T118, [], T118)
mergec54_in_aaa(.(T139, T145), .(T146, T147), .(T139, X226)) → U85_aaa(T139, T145, T146, T147, X226, lessc70_in_aa(T139, T146))
lessc70_in_aa(0, T154) → lessc70_out_aa(0, T154)
lessc70_in_aa(s(T161), T162) → U91_aa(T161, T162, lessc78_in_aa(T161, T162))
lessc78_in_aa(0, s(T169)) → lessc78_out_aa(0, s(T169))
lessc78_in_aa(s(T176), s(T177)) → U89_aa(T176, T177, lessc78_in_aa(T176, T177))
U89_aa(T176, T177, lessc78_out_aa(T176, T177)) → lessc78_out_aa(s(T176), s(T177))
U91_aa(T161, T162, lessc78_out_aa(T161, T162)) → lessc70_out_aa(s(T161), T162)
U85_aaa(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → U86_aaa(T139, T145, T146, T147, X226, mergec54_in_aaa(T145, .(T146, T147), X226))
mergec54_in_aaa(.(T202, T203), .(T196, T204), .(T196, X287)) → U87_aaa(T202, T203, T196, T204, X287, lessc78_in_aa(T196, T202))
U87_aaa(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → U88_aaa(T202, T203, T196, T204, X287, mergec54_in_aaa(.(T202, T203), T204, X287))
U88_aaa(T202, T203, T196, T204, X287, mergec54_out_aaa(.(T202, T203), T204, X287)) → mergec54_out_aaa(.(T202, T203), .(T196, T204), .(T196, X287))
U86_aaa(T139, T145, T146, T147, X226, mergec54_out_aaa(T145, .(T146, T147), X226)) → mergec54_out_aaa(.(T139, T145), .(T146, T147), .(T139, X226))
U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_out_aaa(T106, T105, X127)) → qc34_out_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127)
U84_aa(T99, T100, T101, X172, qc34_out_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172)) → msc38_out_aa(.(T99, .(T100, T101)), X172)
msc25_in_aaa(T62, [], .(T62, [])) → msc25_out_aaa(T62, [], .(T62, []))
msc25_in_aaa(T72, .(T73, T74), X127) → U90_aaa(T72, T73, T74, X127, qc34_in_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127))
U90_aaa(T72, T73, T74, X127, qc34_out_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127)) → msc25_out_aaa(T72, .(T73, T74), X127)
lessc70_in_ga(0, T154) → lessc70_out_ga(0, T154)
lessc70_in_ga(s(T161), T162) → U91_ga(T161, T162, lessc78_in_ga(T161, T162))
lessc78_in_ga(0, s(T169)) → lessc78_out_ga(0, s(T169))
lessc78_in_ga(s(T176), s(T177)) → U89_ga(T176, T177, lessc78_in_ga(T176, T177))
U89_ga(T176, T177, lessc78_out_ga(T176, T177)) → lessc78_out_ga(s(T176), s(T177))
U91_ga(T161, T162, lessc78_out_ga(T161, T162)) → lessc70_out_ga(s(T161), T162)
lessc70_in_gg(0, T154) → lessc70_out_gg(0, T154)
lessc70_in_gg(s(T161), T162) → U91_gg(T161, T162, lessc78_in_gg(T161, T162))
lessc78_in_gg(0, s(T169)) → lessc78_out_gg(0, s(T169))
lessc78_in_gg(s(T176), s(T177)) → U89_gg(T176, T177, lessc78_in_gg(T176, T177))
U89_gg(T176, T177, lessc78_out_gg(T176, T177)) → lessc78_out_gg(s(T176), s(T177))
U91_gg(T161, T162, lessc78_out_gg(T161, T162)) → lessc70_out_gg(s(T161), T162)
LESS78_IN_GA(s(T176), s(T177)) → LESS78_IN_GA(T176, T177)
splitc12_in_aaaa(T42, T44, .(T42, X71), X72) → U79_aaaa(T42, T44, X71, X72, splitc16_in_aaa(T44, X72, X71))
splitc16_in_aaa([], [], []) → splitc16_out_aaa([], [], [])
splitc16_in_aaa(.(T49, T51), .(T49, X89), X90) → U78_aaa(T49, T51, X89, X90, splitc16_in_aaa(T51, X90, X89))
U78_aaa(T49, T51, X89, X90, splitc16_out_aaa(T51, X90, X89)) → splitc16_out_aaa(.(T49, T51), .(T49, X89), X90)
U79_aaaa(T42, T44, X71, X72, splitc16_out_aaa(T44, X72, X71)) → splitc12_out_aaaa(T42, T44, .(T42, X71), X72)
msc38_in_aa([], []) → msc38_out_aa([], [])
msc38_in_aa(.(T89, []), .(T89, [])) → msc38_out_aa(.(T89, []), .(T89, []))
msc38_in_aa(.(T99, .(T100, T101)), X172) → U84_aa(T99, T100, T101, X172, qc34_in_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172))
qc34_in_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127) → U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T78, T106))
U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T78, T106)) → U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T84, T105))
U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T84, T105)) → U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_in_aaa(T106, T105, X127))
mergec54_in_aaa([], T113, T113) → mergec54_out_aaa([], T113, T113)
mergec54_in_aaa(T118, [], T118) → mergec54_out_aaa(T118, [], T118)
mergec54_in_aaa(.(T139, T145), .(T146, T147), .(T139, X226)) → U85_aaa(T139, T145, T146, T147, X226, lessc70_in_aa(T139, T146))
lessc70_in_aa(0, T154) → lessc70_out_aa(0, T154)
lessc70_in_aa(s(T161), T162) → U91_aa(T161, T162, lessc78_in_aa(T161, T162))
lessc78_in_aa(0, s(T169)) → lessc78_out_aa(0, s(T169))
lessc78_in_aa(s(T176), s(T177)) → U89_aa(T176, T177, lessc78_in_aa(T176, T177))
U89_aa(T176, T177, lessc78_out_aa(T176, T177)) → lessc78_out_aa(s(T176), s(T177))
U91_aa(T161, T162, lessc78_out_aa(T161, T162)) → lessc70_out_aa(s(T161), T162)
U85_aaa(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → U86_aaa(T139, T145, T146, T147, X226, mergec54_in_aaa(T145, .(T146, T147), X226))
mergec54_in_aaa(.(T202, T203), .(T196, T204), .(T196, X287)) → U87_aaa(T202, T203, T196, T204, X287, lessc78_in_aa(T196, T202))
U87_aaa(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → U88_aaa(T202, T203, T196, T204, X287, mergec54_in_aaa(.(T202, T203), T204, X287))
U88_aaa(T202, T203, T196, T204, X287, mergec54_out_aaa(.(T202, T203), T204, X287)) → mergec54_out_aaa(.(T202, T203), .(T196, T204), .(T196, X287))
U86_aaa(T139, T145, T146, T147, X226, mergec54_out_aaa(T145, .(T146, T147), X226)) → mergec54_out_aaa(.(T139, T145), .(T146, T147), .(T139, X226))
U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_out_aaa(T106, T105, X127)) → qc34_out_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127)
U84_aa(T99, T100, T101, X172, qc34_out_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172)) → msc38_out_aa(.(T99, .(T100, T101)), X172)
msc25_in_aaa(T62, [], .(T62, [])) → msc25_out_aaa(T62, [], .(T62, []))
msc25_in_aaa(T72, .(T73, T74), X127) → U90_aaa(T72, T73, T74, X127, qc34_in_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127))
U90_aaa(T72, T73, T74, X127, qc34_out_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127)) → msc25_out_aaa(T72, .(T73, T74), X127)
lessc70_in_ga(0, T154) → lessc70_out_ga(0, T154)
lessc70_in_ga(s(T161), T162) → U91_ga(T161, T162, lessc78_in_ga(T161, T162))
lessc78_in_ga(0, s(T169)) → lessc78_out_ga(0, s(T169))
lessc78_in_ga(s(T176), s(T177)) → U89_ga(T176, T177, lessc78_in_ga(T176, T177))
U89_ga(T176, T177, lessc78_out_ga(T176, T177)) → lessc78_out_ga(s(T176), s(T177))
U91_ga(T161, T162, lessc78_out_ga(T161, T162)) → lessc70_out_ga(s(T161), T162)
lessc70_in_gg(0, T154) → lessc70_out_gg(0, T154)
lessc70_in_gg(s(T161), T162) → U91_gg(T161, T162, lessc78_in_gg(T161, T162))
lessc78_in_gg(0, s(T169)) → lessc78_out_gg(0, s(T169))
lessc78_in_gg(s(T176), s(T177)) → U89_gg(T176, T177, lessc78_in_gg(T176, T177))
U89_gg(T176, T177, lessc78_out_gg(T176, T177)) → lessc78_out_gg(s(T176), s(T177))
U91_gg(T161, T162, lessc78_out_gg(T161, T162)) → lessc70_out_gg(s(T161), T162)
LESS78_IN_GA(s(T176), s(T177)) → LESS78_IN_GA(T176, T177)
LESS78_IN_GA(s(T176)) → LESS78_IN_GA(T176)
From the DPs we obtained the following set of size-change graphs:
P179_IN_GAAAG(T513, T568, .(T563, T569), T570, .(T563, T567)) → U24_GAAAG(T513, T568, T563, T569, T570, T567, lessc70_in_ga(T513, T568))
U24_GAAAG(T513, T568, T563, T569, T570, T567, lessc70_out_ga(T513, T568)) → P179_IN_GAAAG(T563, T568, T569, T570, T567)
P179_IN_GAAAG(T513, T585, .(T588, T590), T589, .(T585, T587)) → U26_GAAAG(T513, T585, T588, T590, T589, T587, lessc70_in_gg(T513, T585))
U26_GAAAG(T513, T585, T588, T590, T589, T587, lessc70_out_gg(T513, T585)) → P194_IN_GAAAG(T585, T588, T590, T589, T587)
P194_IN_GAAAG(T585, T632, T638, .(T637, T639), .(T632, T636)) → U29_GAAAG(T585, T632, T638, T637, T639, T636, lessc78_in_gg(T585, T632))
U29_GAAAG(T585, T632, T638, T637, T639, T636, lessc78_out_gg(T585, T632)) → P179_IN_GAAAG(T632, T637, T638, T639, T636)
P194_IN_GAAAG(T585, T657, T659, .(T654, T658), .(T654, T656)) → U31_GAAAG(T585, T657, T659, T654, T658, T656, lessc78_in_ga(T585, T657))
U31_GAAAG(T585, T657, T659, T654, T658, T656, lessc78_out_ga(T585, T657)) → P194_IN_GAAAG(T654, T657, T659, T658, T656)
splitc12_in_aaaa(T42, T44, .(T42, X71), X72) → U79_aaaa(T42, T44, X71, X72, splitc16_in_aaa(T44, X72, X71))
splitc16_in_aaa([], [], []) → splitc16_out_aaa([], [], [])
splitc16_in_aaa(.(T49, T51), .(T49, X89), X90) → U78_aaa(T49, T51, X89, X90, splitc16_in_aaa(T51, X90, X89))
U78_aaa(T49, T51, X89, X90, splitc16_out_aaa(T51, X90, X89)) → splitc16_out_aaa(.(T49, T51), .(T49, X89), X90)
U79_aaaa(T42, T44, X71, X72, splitc16_out_aaa(T44, X72, X71)) → splitc12_out_aaaa(T42, T44, .(T42, X71), X72)
msc38_in_aa([], []) → msc38_out_aa([], [])
msc38_in_aa(.(T89, []), .(T89, [])) → msc38_out_aa(.(T89, []), .(T89, []))
msc38_in_aa(.(T99, .(T100, T101)), X172) → U84_aa(T99, T100, T101, X172, qc34_in_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172))
qc34_in_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127) → U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T78, T106))
U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T78, T106)) → U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T84, T105))
U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T84, T105)) → U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_in_aaa(T106, T105, X127))
mergec54_in_aaa([], T113, T113) → mergec54_out_aaa([], T113, T113)
mergec54_in_aaa(T118, [], T118) → mergec54_out_aaa(T118, [], T118)
mergec54_in_aaa(.(T139, T145), .(T146, T147), .(T139, X226)) → U85_aaa(T139, T145, T146, T147, X226, lessc70_in_aa(T139, T146))
lessc70_in_aa(0, T154) → lessc70_out_aa(0, T154)
lessc70_in_aa(s(T161), T162) → U91_aa(T161, T162, lessc78_in_aa(T161, T162))
lessc78_in_aa(0, s(T169)) → lessc78_out_aa(0, s(T169))
lessc78_in_aa(s(T176), s(T177)) → U89_aa(T176, T177, lessc78_in_aa(T176, T177))
U89_aa(T176, T177, lessc78_out_aa(T176, T177)) → lessc78_out_aa(s(T176), s(T177))
U91_aa(T161, T162, lessc78_out_aa(T161, T162)) → lessc70_out_aa(s(T161), T162)
U85_aaa(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → U86_aaa(T139, T145, T146, T147, X226, mergec54_in_aaa(T145, .(T146, T147), X226))
mergec54_in_aaa(.(T202, T203), .(T196, T204), .(T196, X287)) → U87_aaa(T202, T203, T196, T204, X287, lessc78_in_aa(T196, T202))
U87_aaa(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → U88_aaa(T202, T203, T196, T204, X287, mergec54_in_aaa(.(T202, T203), T204, X287))
U88_aaa(T202, T203, T196, T204, X287, mergec54_out_aaa(.(T202, T203), T204, X287)) → mergec54_out_aaa(.(T202, T203), .(T196, T204), .(T196, X287))
U86_aaa(T139, T145, T146, T147, X226, mergec54_out_aaa(T145, .(T146, T147), X226)) → mergec54_out_aaa(.(T139, T145), .(T146, T147), .(T139, X226))
U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_out_aaa(T106, T105, X127)) → qc34_out_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127)
U84_aa(T99, T100, T101, X172, qc34_out_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172)) → msc38_out_aa(.(T99, .(T100, T101)), X172)
msc25_in_aaa(T62, [], .(T62, [])) → msc25_out_aaa(T62, [], .(T62, []))
msc25_in_aaa(T72, .(T73, T74), X127) → U90_aaa(T72, T73, T74, X127, qc34_in_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127))
U90_aaa(T72, T73, T74, X127, qc34_out_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127)) → msc25_out_aaa(T72, .(T73, T74), X127)
lessc70_in_ga(0, T154) → lessc70_out_ga(0, T154)
lessc70_in_ga(s(T161), T162) → U91_ga(T161, T162, lessc78_in_ga(T161, T162))
lessc78_in_ga(0, s(T169)) → lessc78_out_ga(0, s(T169))
lessc78_in_ga(s(T176), s(T177)) → U89_ga(T176, T177, lessc78_in_ga(T176, T177))
U89_ga(T176, T177, lessc78_out_ga(T176, T177)) → lessc78_out_ga(s(T176), s(T177))
U91_ga(T161, T162, lessc78_out_ga(T161, T162)) → lessc70_out_ga(s(T161), T162)
lessc70_in_gg(0, T154) → lessc70_out_gg(0, T154)
lessc70_in_gg(s(T161), T162) → U91_gg(T161, T162, lessc78_in_gg(T161, T162))
lessc78_in_gg(0, s(T169)) → lessc78_out_gg(0, s(T169))
lessc78_in_gg(s(T176), s(T177)) → U89_gg(T176, T177, lessc78_in_gg(T176, T177))
U89_gg(T176, T177, lessc78_out_gg(T176, T177)) → lessc78_out_gg(s(T176), s(T177))
U91_gg(T161, T162, lessc78_out_gg(T161, T162)) → lessc70_out_gg(s(T161), T162)
P179_IN_GAAAG(T513, T568, .(T563, T569), T570, .(T563, T567)) → U24_GAAAG(T513, T568, T563, T569, T570, T567, lessc70_in_ga(T513, T568))
U24_GAAAG(T513, T568, T563, T569, T570, T567, lessc70_out_ga(T513, T568)) → P179_IN_GAAAG(T563, T568, T569, T570, T567)
P179_IN_GAAAG(T513, T585, .(T588, T590), T589, .(T585, T587)) → U26_GAAAG(T513, T585, T588, T590, T589, T587, lessc70_in_gg(T513, T585))
U26_GAAAG(T513, T585, T588, T590, T589, T587, lessc70_out_gg(T513, T585)) → P194_IN_GAAAG(T585, T588, T590, T589, T587)
P194_IN_GAAAG(T585, T632, T638, .(T637, T639), .(T632, T636)) → U29_GAAAG(T585, T632, T638, T637, T639, T636, lessc78_in_gg(T585, T632))
U29_GAAAG(T585, T632, T638, T637, T639, T636, lessc78_out_gg(T585, T632)) → P179_IN_GAAAG(T632, T637, T638, T639, T636)
P194_IN_GAAAG(T585, T657, T659, .(T654, T658), .(T654, T656)) → U31_GAAAG(T585, T657, T659, T654, T658, T656, lessc78_in_ga(T585, T657))
U31_GAAAG(T585, T657, T659, T654, T658, T656, lessc78_out_ga(T585, T657)) → P194_IN_GAAAG(T654, T657, T659, T658, T656)
lessc70_in_ga(0, T154) → lessc70_out_ga(0, T154)
lessc70_in_ga(s(T161), T162) → U91_ga(T161, T162, lessc78_in_ga(T161, T162))
lessc70_in_gg(0, T154) → lessc70_out_gg(0, T154)
lessc70_in_gg(s(T161), T162) → U91_gg(T161, T162, lessc78_in_gg(T161, T162))
lessc78_in_gg(0, s(T169)) → lessc78_out_gg(0, s(T169))
lessc78_in_gg(s(T176), s(T177)) → U89_gg(T176, T177, lessc78_in_gg(T176, T177))
lessc78_in_ga(0, s(T169)) → lessc78_out_ga(0, s(T169))
lessc78_in_ga(s(T176), s(T177)) → U89_ga(T176, T177, lessc78_in_ga(T176, T177))
U91_ga(T161, T162, lessc78_out_ga(T161, T162)) → lessc70_out_ga(s(T161), T162)
U91_gg(T161, T162, lessc78_out_gg(T161, T162)) → lessc70_out_gg(s(T161), T162)
U89_gg(T176, T177, lessc78_out_gg(T176, T177)) → lessc78_out_gg(s(T176), s(T177))
U89_ga(T176, T177, lessc78_out_ga(T176, T177)) → lessc78_out_ga(s(T176), s(T177))
P179_IN_GAAAG(T513, .(T563, T567)) → U24_GAAAG(T513, T563, T567, lessc70_in_ga(T513))
U24_GAAAG(T513, T563, T567, lessc70_out_ga(T513)) → P179_IN_GAAAG(T563, T567)
P179_IN_GAAAG(T513, .(T585, T587)) → U26_GAAAG(T513, T585, T587, lessc70_in_gg(T513, T585))
U26_GAAAG(T513, T585, T587, lessc70_out_gg(T513, T585)) → P194_IN_GAAAG(T585, T587)
P194_IN_GAAAG(T585, .(T632, T636)) → U29_GAAAG(T585, T632, T636, lessc78_in_gg(T585, T632))
U29_GAAAG(T585, T632, T636, lessc78_out_gg(T585, T632)) → P179_IN_GAAAG(T632, T636)
P194_IN_GAAAG(T585, .(T654, T656)) → U31_GAAAG(T585, T654, T656, lessc78_in_ga(T585))
U31_GAAAG(T585, T654, T656, lessc78_out_ga(T585)) → P194_IN_GAAAG(T654, T656)
lessc70_in_ga(0) → lessc70_out_ga(0)
lessc70_in_ga(s(T161)) → U91_ga(T161, lessc78_in_ga(T161))
lessc70_in_gg(0, T154) → lessc70_out_gg(0, T154)
lessc70_in_gg(s(T161), T162) → U91_gg(T161, T162, lessc78_in_gg(T161, T162))
lessc78_in_gg(0, s(T169)) → lessc78_out_gg(0, s(T169))
lessc78_in_gg(s(T176), s(T177)) → U89_gg(T176, T177, lessc78_in_gg(T176, T177))
lessc78_in_ga(0) → lessc78_out_ga(0)
lessc78_in_ga(s(T176)) → U89_ga(T176, lessc78_in_ga(T176))
U91_ga(T161, lessc78_out_ga(T161)) → lessc70_out_ga(s(T161))
U91_gg(T161, T162, lessc78_out_gg(T161, T162)) → lessc70_out_gg(s(T161), T162)
U89_gg(T176, T177, lessc78_out_gg(T176, T177)) → lessc78_out_gg(s(T176), s(T177))
U89_ga(T176, lessc78_out_ga(T176)) → lessc78_out_ga(s(T176))
lessc70_in_ga(x0)
lessc70_in_gg(x0, x1)
lessc78_in_gg(x0, x1)
lessc78_in_ga(x0)
U91_ga(x0, x1)
U91_gg(x0, x1, x2)
U89_gg(x0, x1, x2)
U89_ga(x0, x1)
From the DPs we obtained the following set of size-change graphs:
LESS78_IN_AA(s(T176), s(T177)) → LESS78_IN_AA(T176, T177)
splitc12_in_aaaa(T42, T44, .(T42, X71), X72) → U79_aaaa(T42, T44, X71, X72, splitc16_in_aaa(T44, X72, X71))
splitc16_in_aaa([], [], []) → splitc16_out_aaa([], [], [])
splitc16_in_aaa(.(T49, T51), .(T49, X89), X90) → U78_aaa(T49, T51, X89, X90, splitc16_in_aaa(T51, X90, X89))
U78_aaa(T49, T51, X89, X90, splitc16_out_aaa(T51, X90, X89)) → splitc16_out_aaa(.(T49, T51), .(T49, X89), X90)
U79_aaaa(T42, T44, X71, X72, splitc16_out_aaa(T44, X72, X71)) → splitc12_out_aaaa(T42, T44, .(T42, X71), X72)
msc38_in_aa([], []) → msc38_out_aa([], [])
msc38_in_aa(.(T89, []), .(T89, [])) → msc38_out_aa(.(T89, []), .(T89, []))
msc38_in_aa(.(T99, .(T100, T101)), X172) → U84_aa(T99, T100, T101, X172, qc34_in_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172))
qc34_in_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127) → U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T78, T106))
U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T78, T106)) → U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T84, T105))
U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T84, T105)) → U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_in_aaa(T106, T105, X127))
mergec54_in_aaa([], T113, T113) → mergec54_out_aaa([], T113, T113)
mergec54_in_aaa(T118, [], T118) → mergec54_out_aaa(T118, [], T118)
mergec54_in_aaa(.(T139, T145), .(T146, T147), .(T139, X226)) → U85_aaa(T139, T145, T146, T147, X226, lessc70_in_aa(T139, T146))
lessc70_in_aa(0, T154) → lessc70_out_aa(0, T154)
lessc70_in_aa(s(T161), T162) → U91_aa(T161, T162, lessc78_in_aa(T161, T162))
lessc78_in_aa(0, s(T169)) → lessc78_out_aa(0, s(T169))
lessc78_in_aa(s(T176), s(T177)) → U89_aa(T176, T177, lessc78_in_aa(T176, T177))
U89_aa(T176, T177, lessc78_out_aa(T176, T177)) → lessc78_out_aa(s(T176), s(T177))
U91_aa(T161, T162, lessc78_out_aa(T161, T162)) → lessc70_out_aa(s(T161), T162)
U85_aaa(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → U86_aaa(T139, T145, T146, T147, X226, mergec54_in_aaa(T145, .(T146, T147), X226))
mergec54_in_aaa(.(T202, T203), .(T196, T204), .(T196, X287)) → U87_aaa(T202, T203, T196, T204, X287, lessc78_in_aa(T196, T202))
U87_aaa(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → U88_aaa(T202, T203, T196, T204, X287, mergec54_in_aaa(.(T202, T203), T204, X287))
U88_aaa(T202, T203, T196, T204, X287, mergec54_out_aaa(.(T202, T203), T204, X287)) → mergec54_out_aaa(.(T202, T203), .(T196, T204), .(T196, X287))
U86_aaa(T139, T145, T146, T147, X226, mergec54_out_aaa(T145, .(T146, T147), X226)) → mergec54_out_aaa(.(T139, T145), .(T146, T147), .(T139, X226))
U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_out_aaa(T106, T105, X127)) → qc34_out_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127)
U84_aa(T99, T100, T101, X172, qc34_out_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172)) → msc38_out_aa(.(T99, .(T100, T101)), X172)
msc25_in_aaa(T62, [], .(T62, [])) → msc25_out_aaa(T62, [], .(T62, []))
msc25_in_aaa(T72, .(T73, T74), X127) → U90_aaa(T72, T73, T74, X127, qc34_in_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127))
U90_aaa(T72, T73, T74, X127, qc34_out_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127)) → msc25_out_aaa(T72, .(T73, T74), X127)
lessc70_in_ga(0, T154) → lessc70_out_ga(0, T154)
lessc70_in_ga(s(T161), T162) → U91_ga(T161, T162, lessc78_in_ga(T161, T162))
lessc78_in_ga(0, s(T169)) → lessc78_out_ga(0, s(T169))
lessc78_in_ga(s(T176), s(T177)) → U89_ga(T176, T177, lessc78_in_ga(T176, T177))
U89_ga(T176, T177, lessc78_out_ga(T176, T177)) → lessc78_out_ga(s(T176), s(T177))
U91_ga(T161, T162, lessc78_out_ga(T161, T162)) → lessc70_out_ga(s(T161), T162)
lessc70_in_gg(0, T154) → lessc70_out_gg(0, T154)
lessc70_in_gg(s(T161), T162) → U91_gg(T161, T162, lessc78_in_gg(T161, T162))
lessc78_in_gg(0, s(T169)) → lessc78_out_gg(0, s(T169))
lessc78_in_gg(s(T176), s(T177)) → U89_gg(T176, T177, lessc78_in_gg(T176, T177))
U89_gg(T176, T177, lessc78_out_gg(T176, T177)) → lessc78_out_gg(s(T176), s(T177))
U91_gg(T161, T162, lessc78_out_gg(T161, T162)) → lessc70_out_gg(s(T161), T162)
LESS78_IN_AA(s(T176), s(T177)) → LESS78_IN_AA(T176, T177)
LESS78_IN_AA → LESS78_IN_AA
MERGE54_IN_AAA(.(T139, T145), .(T146, T147), .(T139, X226)) → U15_AAA(T139, T145, T146, T147, X226, lessc70_in_aa(T139, T146))
U15_AAA(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → MERGE54_IN_AAA(T145, .(T146, T147), X226)
MERGE54_IN_AAA(.(T202, T203), .(T196, T204), .(T196, X287)) → U18_AAA(T202, T203, T196, T204, X287, lessc78_in_aa(T196, T202))
U18_AAA(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → MERGE54_IN_AAA(.(T202, T203), T204, X287)
splitc12_in_aaaa(T42, T44, .(T42, X71), X72) → U79_aaaa(T42, T44, X71, X72, splitc16_in_aaa(T44, X72, X71))
splitc16_in_aaa([], [], []) → splitc16_out_aaa([], [], [])
splitc16_in_aaa(.(T49, T51), .(T49, X89), X90) → U78_aaa(T49, T51, X89, X90, splitc16_in_aaa(T51, X90, X89))
U78_aaa(T49, T51, X89, X90, splitc16_out_aaa(T51, X90, X89)) → splitc16_out_aaa(.(T49, T51), .(T49, X89), X90)
U79_aaaa(T42, T44, X71, X72, splitc16_out_aaa(T44, X72, X71)) → splitc12_out_aaaa(T42, T44, .(T42, X71), X72)
msc38_in_aa([], []) → msc38_out_aa([], [])
msc38_in_aa(.(T89, []), .(T89, [])) → msc38_out_aa(.(T89, []), .(T89, []))
msc38_in_aa(.(T99, .(T100, T101)), X172) → U84_aa(T99, T100, T101, X172, qc34_in_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172))
qc34_in_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127) → U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T78, T106))
U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T78, T106)) → U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T84, T105))
U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T84, T105)) → U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_in_aaa(T106, T105, X127))
mergec54_in_aaa([], T113, T113) → mergec54_out_aaa([], T113, T113)
mergec54_in_aaa(T118, [], T118) → mergec54_out_aaa(T118, [], T118)
mergec54_in_aaa(.(T139, T145), .(T146, T147), .(T139, X226)) → U85_aaa(T139, T145, T146, T147, X226, lessc70_in_aa(T139, T146))
lessc70_in_aa(0, T154) → lessc70_out_aa(0, T154)
lessc70_in_aa(s(T161), T162) → U91_aa(T161, T162, lessc78_in_aa(T161, T162))
lessc78_in_aa(0, s(T169)) → lessc78_out_aa(0, s(T169))
lessc78_in_aa(s(T176), s(T177)) → U89_aa(T176, T177, lessc78_in_aa(T176, T177))
U89_aa(T176, T177, lessc78_out_aa(T176, T177)) → lessc78_out_aa(s(T176), s(T177))
U91_aa(T161, T162, lessc78_out_aa(T161, T162)) → lessc70_out_aa(s(T161), T162)
U85_aaa(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → U86_aaa(T139, T145, T146, T147, X226, mergec54_in_aaa(T145, .(T146, T147), X226))
mergec54_in_aaa(.(T202, T203), .(T196, T204), .(T196, X287)) → U87_aaa(T202, T203, T196, T204, X287, lessc78_in_aa(T196, T202))
U87_aaa(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → U88_aaa(T202, T203, T196, T204, X287, mergec54_in_aaa(.(T202, T203), T204, X287))
U88_aaa(T202, T203, T196, T204, X287, mergec54_out_aaa(.(T202, T203), T204, X287)) → mergec54_out_aaa(.(T202, T203), .(T196, T204), .(T196, X287))
U86_aaa(T139, T145, T146, T147, X226, mergec54_out_aaa(T145, .(T146, T147), X226)) → mergec54_out_aaa(.(T139, T145), .(T146, T147), .(T139, X226))
U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_out_aaa(T106, T105, X127)) → qc34_out_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127)
U84_aa(T99, T100, T101, X172, qc34_out_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172)) → msc38_out_aa(.(T99, .(T100, T101)), X172)
msc25_in_aaa(T62, [], .(T62, [])) → msc25_out_aaa(T62, [], .(T62, []))
msc25_in_aaa(T72, .(T73, T74), X127) → U90_aaa(T72, T73, T74, X127, qc34_in_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127))
U90_aaa(T72, T73, T74, X127, qc34_out_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127)) → msc25_out_aaa(T72, .(T73, T74), X127)
lessc70_in_ga(0, T154) → lessc70_out_ga(0, T154)
lessc70_in_ga(s(T161), T162) → U91_ga(T161, T162, lessc78_in_ga(T161, T162))
lessc78_in_ga(0, s(T169)) → lessc78_out_ga(0, s(T169))
lessc78_in_ga(s(T176), s(T177)) → U89_ga(T176, T177, lessc78_in_ga(T176, T177))
U89_ga(T176, T177, lessc78_out_ga(T176, T177)) → lessc78_out_ga(s(T176), s(T177))
U91_ga(T161, T162, lessc78_out_ga(T161, T162)) → lessc70_out_ga(s(T161), T162)
lessc70_in_gg(0, T154) → lessc70_out_gg(0, T154)
lessc70_in_gg(s(T161), T162) → U91_gg(T161, T162, lessc78_in_gg(T161, T162))
lessc78_in_gg(0, s(T169)) → lessc78_out_gg(0, s(T169))
lessc78_in_gg(s(T176), s(T177)) → U89_gg(T176, T177, lessc78_in_gg(T176, T177))
U89_gg(T176, T177, lessc78_out_gg(T176, T177)) → lessc78_out_gg(s(T176), s(T177))
U91_gg(T161, T162, lessc78_out_gg(T161, T162)) → lessc70_out_gg(s(T161), T162)
MERGE54_IN_AAA(.(T139, T145), .(T146, T147), .(T139, X226)) → U15_AAA(T139, T145, T146, T147, X226, lessc70_in_aa(T139, T146))
U15_AAA(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → MERGE54_IN_AAA(T145, .(T146, T147), X226)
MERGE54_IN_AAA(.(T202, T203), .(T196, T204), .(T196, X287)) → U18_AAA(T202, T203, T196, T204, X287, lessc78_in_aa(T196, T202))
U18_AAA(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → MERGE54_IN_AAA(.(T202, T203), T204, X287)
lessc70_in_aa(0, T154) → lessc70_out_aa(0, T154)
lessc70_in_aa(s(T161), T162) → U91_aa(T161, T162, lessc78_in_aa(T161, T162))
lessc78_in_aa(0, s(T169)) → lessc78_out_aa(0, s(T169))
lessc78_in_aa(s(T176), s(T177)) → U89_aa(T176, T177, lessc78_in_aa(T176, T177))
U91_aa(T161, T162, lessc78_out_aa(T161, T162)) → lessc70_out_aa(s(T161), T162)
U89_aa(T176, T177, lessc78_out_aa(T176, T177)) → lessc78_out_aa(s(T176), s(T177))
MERGE54_IN_AAA → U15_AAA(lessc70_in_aa)
U15_AAA(lessc70_out_aa(T139)) → MERGE54_IN_AAA
MERGE54_IN_AAA → U18_AAA(lessc78_in_aa)
U18_AAA(lessc78_out_aa(T196)) → MERGE54_IN_AAA
lessc70_in_aa → lessc70_out_aa(0)
lessc70_in_aa → U91_aa(lessc78_in_aa)
lessc78_in_aa → lessc78_out_aa(0)
lessc78_in_aa → U89_aa(lessc78_in_aa)
U91_aa(lessc78_out_aa(T161)) → lessc70_out_aa(s(T161))
U89_aa(lessc78_out_aa(T176)) → lessc78_out_aa(s(T176))
lessc70_in_aa
lessc78_in_aa
U91_aa(x0)
U89_aa(x0)
MERGE54_IN_AAA → U15_AAA(lessc70_out_aa(0))
MERGE54_IN_AAA → U15_AAA(U91_aa(lessc78_in_aa))
U15_AAA(lessc70_out_aa(T139)) → MERGE54_IN_AAA
MERGE54_IN_AAA → U18_AAA(lessc78_in_aa)
U18_AAA(lessc78_out_aa(T196)) → MERGE54_IN_AAA
MERGE54_IN_AAA → U15_AAA(lessc70_out_aa(0))
MERGE54_IN_AAA → U15_AAA(U91_aa(lessc78_in_aa))
lessc70_in_aa → lessc70_out_aa(0)
lessc70_in_aa → U91_aa(lessc78_in_aa)
lessc78_in_aa → lessc78_out_aa(0)
lessc78_in_aa → U89_aa(lessc78_in_aa)
U91_aa(lessc78_out_aa(T161)) → lessc70_out_aa(s(T161))
U89_aa(lessc78_out_aa(T176)) → lessc78_out_aa(s(T176))
lessc70_in_aa
lessc78_in_aa
U91_aa(x0)
U89_aa(x0)
U15_AAA(lessc70_out_aa(T139)) → MERGE54_IN_AAA
MERGE54_IN_AAA → U18_AAA(lessc78_in_aa)
U18_AAA(lessc78_out_aa(T196)) → MERGE54_IN_AAA
MERGE54_IN_AAA → U15_AAA(lessc70_out_aa(0))
MERGE54_IN_AAA → U15_AAA(U91_aa(lessc78_in_aa))
lessc78_in_aa → lessc78_out_aa(0)
lessc78_in_aa → U89_aa(lessc78_in_aa)
U91_aa(lessc78_out_aa(T161)) → lessc70_out_aa(s(T161))
U89_aa(lessc78_out_aa(T176)) → lessc78_out_aa(s(T176))
lessc70_in_aa
lessc78_in_aa
U91_aa(x0)
U89_aa(x0)
lessc70_in_aa
U15_AAA(lessc70_out_aa(T139)) → MERGE54_IN_AAA
MERGE54_IN_AAA → U18_AAA(lessc78_in_aa)
U18_AAA(lessc78_out_aa(T196)) → MERGE54_IN_AAA
MERGE54_IN_AAA → U15_AAA(lessc70_out_aa(0))
MERGE54_IN_AAA → U15_AAA(U91_aa(lessc78_in_aa))
lessc78_in_aa → lessc78_out_aa(0)
lessc78_in_aa → U89_aa(lessc78_in_aa)
U91_aa(lessc78_out_aa(T161)) → lessc70_out_aa(s(T161))
U89_aa(lessc78_out_aa(T176)) → lessc78_out_aa(s(T176))
lessc78_in_aa
U91_aa(x0)
U89_aa(x0)
MERGE54_IN_AAA → U18_AAA(lessc78_out_aa(0))
MERGE54_IN_AAA → U18_AAA(U89_aa(lessc78_in_aa))
U15_AAA(lessc70_out_aa(T139)) → MERGE54_IN_AAA
U18_AAA(lessc78_out_aa(T196)) → MERGE54_IN_AAA
MERGE54_IN_AAA → U15_AAA(lessc70_out_aa(0))
MERGE54_IN_AAA → U15_AAA(U91_aa(lessc78_in_aa))
MERGE54_IN_AAA → U18_AAA(lessc78_out_aa(0))
MERGE54_IN_AAA → U18_AAA(U89_aa(lessc78_in_aa))
lessc78_in_aa → lessc78_out_aa(0)
lessc78_in_aa → U89_aa(lessc78_in_aa)
U91_aa(lessc78_out_aa(T161)) → lessc70_out_aa(s(T161))
U89_aa(lessc78_out_aa(T176)) → lessc78_out_aa(s(T176))
lessc78_in_aa
U91_aa(x0)
U89_aa(x0)
SPLIT16_IN_AAA(.(T49, T51), .(T49, X89), X90) → SPLIT16_IN_AAA(T51, X90, X89)
splitc12_in_aaaa(T42, T44, .(T42, X71), X72) → U79_aaaa(T42, T44, X71, X72, splitc16_in_aaa(T44, X72, X71))
splitc16_in_aaa([], [], []) → splitc16_out_aaa([], [], [])
splitc16_in_aaa(.(T49, T51), .(T49, X89), X90) → U78_aaa(T49, T51, X89, X90, splitc16_in_aaa(T51, X90, X89))
U78_aaa(T49, T51, X89, X90, splitc16_out_aaa(T51, X90, X89)) → splitc16_out_aaa(.(T49, T51), .(T49, X89), X90)
U79_aaaa(T42, T44, X71, X72, splitc16_out_aaa(T44, X72, X71)) → splitc12_out_aaaa(T42, T44, .(T42, X71), X72)
msc38_in_aa([], []) → msc38_out_aa([], [])
msc38_in_aa(.(T89, []), .(T89, [])) → msc38_out_aa(.(T89, []), .(T89, []))
msc38_in_aa(.(T99, .(T100, T101)), X172) → U84_aa(T99, T100, T101, X172, qc34_in_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172))
qc34_in_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127) → U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T78, T106))
U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T78, T106)) → U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T84, T105))
U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T84, T105)) → U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_in_aaa(T106, T105, X127))
mergec54_in_aaa([], T113, T113) → mergec54_out_aaa([], T113, T113)
mergec54_in_aaa(T118, [], T118) → mergec54_out_aaa(T118, [], T118)
mergec54_in_aaa(.(T139, T145), .(T146, T147), .(T139, X226)) → U85_aaa(T139, T145, T146, T147, X226, lessc70_in_aa(T139, T146))
lessc70_in_aa(0, T154) → lessc70_out_aa(0, T154)
lessc70_in_aa(s(T161), T162) → U91_aa(T161, T162, lessc78_in_aa(T161, T162))
lessc78_in_aa(0, s(T169)) → lessc78_out_aa(0, s(T169))
lessc78_in_aa(s(T176), s(T177)) → U89_aa(T176, T177, lessc78_in_aa(T176, T177))
U89_aa(T176, T177, lessc78_out_aa(T176, T177)) → lessc78_out_aa(s(T176), s(T177))
U91_aa(T161, T162, lessc78_out_aa(T161, T162)) → lessc70_out_aa(s(T161), T162)
U85_aaa(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → U86_aaa(T139, T145, T146, T147, X226, mergec54_in_aaa(T145, .(T146, T147), X226))
mergec54_in_aaa(.(T202, T203), .(T196, T204), .(T196, X287)) → U87_aaa(T202, T203, T196, T204, X287, lessc78_in_aa(T196, T202))
U87_aaa(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → U88_aaa(T202, T203, T196, T204, X287, mergec54_in_aaa(.(T202, T203), T204, X287))
U88_aaa(T202, T203, T196, T204, X287, mergec54_out_aaa(.(T202, T203), T204, X287)) → mergec54_out_aaa(.(T202, T203), .(T196, T204), .(T196, X287))
U86_aaa(T139, T145, T146, T147, X226, mergec54_out_aaa(T145, .(T146, T147), X226)) → mergec54_out_aaa(.(T139, T145), .(T146, T147), .(T139, X226))
U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_out_aaa(T106, T105, X127)) → qc34_out_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127)
U84_aa(T99, T100, T101, X172, qc34_out_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172)) → msc38_out_aa(.(T99, .(T100, T101)), X172)
msc25_in_aaa(T62, [], .(T62, [])) → msc25_out_aaa(T62, [], .(T62, []))
msc25_in_aaa(T72, .(T73, T74), X127) → U90_aaa(T72, T73, T74, X127, qc34_in_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127))
U90_aaa(T72, T73, T74, X127, qc34_out_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127)) → msc25_out_aaa(T72, .(T73, T74), X127)
lessc70_in_ga(0, T154) → lessc70_out_ga(0, T154)
lessc70_in_ga(s(T161), T162) → U91_ga(T161, T162, lessc78_in_ga(T161, T162))
lessc78_in_ga(0, s(T169)) → lessc78_out_ga(0, s(T169))
lessc78_in_ga(s(T176), s(T177)) → U89_ga(T176, T177, lessc78_in_ga(T176, T177))
U89_ga(T176, T177, lessc78_out_ga(T176, T177)) → lessc78_out_ga(s(T176), s(T177))
U91_ga(T161, T162, lessc78_out_ga(T161, T162)) → lessc70_out_ga(s(T161), T162)
lessc70_in_gg(0, T154) → lessc70_out_gg(0, T154)
lessc70_in_gg(s(T161), T162) → U91_gg(T161, T162, lessc78_in_gg(T161, T162))
lessc78_in_gg(0, s(T169)) → lessc78_out_gg(0, s(T169))
lessc78_in_gg(s(T176), s(T177)) → U89_gg(T176, T177, lessc78_in_gg(T176, T177))
U89_gg(T176, T177, lessc78_out_gg(T176, T177)) → lessc78_out_gg(s(T176), s(T177))
U91_gg(T161, T162, lessc78_out_gg(T161, T162)) → lessc70_out_gg(s(T161), T162)
SPLIT16_IN_AAA(.(T49, T51), .(T49, X89), X90) → SPLIT16_IN_AAA(T51, X90, X89)
SPLIT16_IN_AAA → SPLIT16_IN_AAA
P34_IN_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127) → U4_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T79))
U4_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T79)) → MS38_IN_AA(T78, X125)
MS38_IN_AA(.(T99, .(T100, T101)), X172) → P34_IN_AAAAAAAA(T99, T100, T101, X168, X169, X170, X171, X172)
P34_IN_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127) → U6_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U6_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U7_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, msc38_in_aa(T78, T83))
U7_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, msc38_out_aa(T78, T83)) → MS38_IN_AA(T84, X126)
splitc12_in_aaaa(T42, T44, .(T42, X71), X72) → U79_aaaa(T42, T44, X71, X72, splitc16_in_aaa(T44, X72, X71))
splitc16_in_aaa([], [], []) → splitc16_out_aaa([], [], [])
splitc16_in_aaa(.(T49, T51), .(T49, X89), X90) → U78_aaa(T49, T51, X89, X90, splitc16_in_aaa(T51, X90, X89))
U78_aaa(T49, T51, X89, X90, splitc16_out_aaa(T51, X90, X89)) → splitc16_out_aaa(.(T49, T51), .(T49, X89), X90)
U79_aaaa(T42, T44, X71, X72, splitc16_out_aaa(T44, X72, X71)) → splitc12_out_aaaa(T42, T44, .(T42, X71), X72)
msc38_in_aa([], []) → msc38_out_aa([], [])
msc38_in_aa(.(T89, []), .(T89, [])) → msc38_out_aa(.(T89, []), .(T89, []))
msc38_in_aa(.(T99, .(T100, T101)), X172) → U84_aa(T99, T100, T101, X172, qc34_in_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172))
qc34_in_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127) → U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T78, T106))
U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T78, T106)) → U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T84, T105))
U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T84, T105)) → U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_in_aaa(T106, T105, X127))
mergec54_in_aaa([], T113, T113) → mergec54_out_aaa([], T113, T113)
mergec54_in_aaa(T118, [], T118) → mergec54_out_aaa(T118, [], T118)
mergec54_in_aaa(.(T139, T145), .(T146, T147), .(T139, X226)) → U85_aaa(T139, T145, T146, T147, X226, lessc70_in_aa(T139, T146))
lessc70_in_aa(0, T154) → lessc70_out_aa(0, T154)
lessc70_in_aa(s(T161), T162) → U91_aa(T161, T162, lessc78_in_aa(T161, T162))
lessc78_in_aa(0, s(T169)) → lessc78_out_aa(0, s(T169))
lessc78_in_aa(s(T176), s(T177)) → U89_aa(T176, T177, lessc78_in_aa(T176, T177))
U89_aa(T176, T177, lessc78_out_aa(T176, T177)) → lessc78_out_aa(s(T176), s(T177))
U91_aa(T161, T162, lessc78_out_aa(T161, T162)) → lessc70_out_aa(s(T161), T162)
U85_aaa(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → U86_aaa(T139, T145, T146, T147, X226, mergec54_in_aaa(T145, .(T146, T147), X226))
mergec54_in_aaa(.(T202, T203), .(T196, T204), .(T196, X287)) → U87_aaa(T202, T203, T196, T204, X287, lessc78_in_aa(T196, T202))
U87_aaa(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → U88_aaa(T202, T203, T196, T204, X287, mergec54_in_aaa(.(T202, T203), T204, X287))
U88_aaa(T202, T203, T196, T204, X287, mergec54_out_aaa(.(T202, T203), T204, X287)) → mergec54_out_aaa(.(T202, T203), .(T196, T204), .(T196, X287))
U86_aaa(T139, T145, T146, T147, X226, mergec54_out_aaa(T145, .(T146, T147), X226)) → mergec54_out_aaa(.(T139, T145), .(T146, T147), .(T139, X226))
U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_out_aaa(T106, T105, X127)) → qc34_out_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127)
U84_aa(T99, T100, T101, X172, qc34_out_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172)) → msc38_out_aa(.(T99, .(T100, T101)), X172)
msc25_in_aaa(T62, [], .(T62, [])) → msc25_out_aaa(T62, [], .(T62, []))
msc25_in_aaa(T72, .(T73, T74), X127) → U90_aaa(T72, T73, T74, X127, qc34_in_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127))
U90_aaa(T72, T73, T74, X127, qc34_out_aaaaaaaa(T72, T73, T74, X123, X124, X125, X126, X127)) → msc25_out_aaa(T72, .(T73, T74), X127)
lessc70_in_ga(0, T154) → lessc70_out_ga(0, T154)
lessc70_in_ga(s(T161), T162) → U91_ga(T161, T162, lessc78_in_ga(T161, T162))
lessc78_in_ga(0, s(T169)) → lessc78_out_ga(0, s(T169))
lessc78_in_ga(s(T176), s(T177)) → U89_ga(T176, T177, lessc78_in_ga(T176, T177))
U89_ga(T176, T177, lessc78_out_ga(T176, T177)) → lessc78_out_ga(s(T176), s(T177))
U91_ga(T161, T162, lessc78_out_ga(T161, T162)) → lessc70_out_ga(s(T161), T162)
lessc70_in_gg(0, T154) → lessc70_out_gg(0, T154)
lessc70_in_gg(s(T161), T162) → U91_gg(T161, T162, lessc78_in_gg(T161, T162))
lessc78_in_gg(0, s(T169)) → lessc78_out_gg(0, s(T169))
lessc78_in_gg(s(T176), s(T177)) → U89_gg(T176, T177, lessc78_in_gg(T176, T177))
U89_gg(T176, T177, lessc78_out_gg(T176, T177)) → lessc78_out_gg(s(T176), s(T177))
U91_gg(T161, T162, lessc78_out_gg(T161, T162)) → lessc70_out_gg(s(T161), T162)
P34_IN_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127) → U4_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T79))
U4_AAAAAAAA(T72, T73, T74, T78, T79, X125, X126, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T79)) → MS38_IN_AA(T78, X125)
MS38_IN_AA(.(T99, .(T100, T101)), X172) → P34_IN_AAAAAAAA(T99, T100, T101, X168, X169, X170, X171, X172)
P34_IN_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127) → U6_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U6_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U7_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, msc38_in_aa(T78, T83))
U7_AAAAAAAA(T72, T73, T74, T78, T84, T83, X126, X127, msc38_out_aa(T78, T83)) → MS38_IN_AA(T84, X126)
splitc12_in_aaaa(T42, T44, .(T42, X71), X72) → U79_aaaa(T42, T44, X71, X72, splitc16_in_aaa(T44, X72, X71))
msc38_in_aa([], []) → msc38_out_aa([], [])
msc38_in_aa(.(T89, []), .(T89, [])) → msc38_out_aa(.(T89, []), .(T89, []))
msc38_in_aa(.(T99, .(T100, T101)), X172) → U84_aa(T99, T100, T101, X172, qc34_in_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172))
U79_aaaa(T42, T44, X71, X72, splitc16_out_aaa(T44, X72, X71)) → splitc12_out_aaaa(T42, T44, .(T42, X71), X72)
U84_aa(T99, T100, T101, X172, qc34_out_aaaaaaaa(T99, T100, T101, X168, X169, X170, X171, X172)) → msc38_out_aa(.(T99, .(T100, T101)), X172)
splitc16_in_aaa([], [], []) → splitc16_out_aaa([], [], [])
splitc16_in_aaa(.(T49, T51), .(T49, X89), X90) → U78_aaa(T49, T51, X89, X90, splitc16_in_aaa(T51, X90, X89))
qc34_in_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127) → U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_in_aaaa(T72, .(T73, T74), T78, T84))
U78_aaa(T49, T51, X89, X90, splitc16_out_aaa(T51, X90, X89)) → splitc16_out_aaa(.(T49, T51), .(T49, X89), X90)
U80_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, splitc12_out_aaaa(T72, .(T73, T74), T78, T84)) → U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T78, T106))
U81_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T78, T106)) → U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_in_aa(T84, T105))
U82_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, msc38_out_aa(T84, T105)) → U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_in_aaa(T106, T105, X127))
U83_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127, mergec54_out_aaa(T106, T105, X127)) → qc34_out_aaaaaaaa(T72, T73, T74, T78, T84, T106, T105, X127)
mergec54_in_aaa([], T113, T113) → mergec54_out_aaa([], T113, T113)
mergec54_in_aaa(T118, [], T118) → mergec54_out_aaa(T118, [], T118)
mergec54_in_aaa(.(T139, T145), .(T146, T147), .(T139, X226)) → U85_aaa(T139, T145, T146, T147, X226, lessc70_in_aa(T139, T146))
mergec54_in_aaa(.(T202, T203), .(T196, T204), .(T196, X287)) → U87_aaa(T202, T203, T196, T204, X287, lessc78_in_aa(T196, T202))
U85_aaa(T139, T145, T146, T147, X226, lessc70_out_aa(T139, T146)) → U86_aaa(T139, T145, T146, T147, X226, mergec54_in_aaa(T145, .(T146, T147), X226))
U87_aaa(T202, T203, T196, T204, X287, lessc78_out_aa(T196, T202)) → U88_aaa(T202, T203, T196, T204, X287, mergec54_in_aaa(.(T202, T203), T204, X287))
lessc70_in_aa(0, T154) → lessc70_out_aa(0, T154)
lessc70_in_aa(s(T161), T162) → U91_aa(T161, T162, lessc78_in_aa(T161, T162))
U86_aaa(T139, T145, T146, T147, X226, mergec54_out_aaa(T145, .(T146, T147), X226)) → mergec54_out_aaa(.(T139, T145), .(T146, T147), .(T139, X226))
lessc78_in_aa(0, s(T169)) → lessc78_out_aa(0, s(T169))
lessc78_in_aa(s(T176), s(T177)) → U89_aa(T176, T177, lessc78_in_aa(T176, T177))
U88_aaa(T202, T203, T196, T204, X287, mergec54_out_aaa(.(T202, T203), T204, X287)) → mergec54_out_aaa(.(T202, T203), .(T196, T204), .(T196, X287))
U91_aa(T161, T162, lessc78_out_aa(T161, T162)) → lessc70_out_aa(s(T161), T162)
U89_aa(T176, T177, lessc78_out_aa(T176, T177)) → lessc78_out_aa(s(T176), s(T177))
P34_IN_AAAAAAAA → U4_AAAAAAAA(splitc12_in_aaaa)
U4_AAAAAAAA(splitc12_out_aaaa) → MS38_IN_AA
MS38_IN_AA → P34_IN_AAAAAAAA
P34_IN_AAAAAAAA → U6_AAAAAAAA(splitc12_in_aaaa)
U6_AAAAAAAA(splitc12_out_aaaa) → U7_AAAAAAAA(msc38_in_aa)
U7_AAAAAAAA(msc38_out_aa) → MS38_IN_AA
splitc12_in_aaaa → U79_aaaa(splitc16_in_aaa)
msc38_in_aa → msc38_out_aa
msc38_in_aa → U84_aa(qc34_in_aaaaaaaa)
U79_aaaa(splitc16_out_aaa) → splitc12_out_aaaa
U84_aa(qc34_out_aaaaaaaa) → msc38_out_aa
splitc16_in_aaa → splitc16_out_aaa
splitc16_in_aaa → U78_aaa(splitc16_in_aaa)
qc34_in_aaaaaaaa → U80_aaaaaaaa(splitc12_in_aaaa)
U78_aaa(splitc16_out_aaa) → splitc16_out_aaa
U80_aaaaaaaa(splitc12_out_aaaa) → U81_aaaaaaaa(msc38_in_aa)
U81_aaaaaaaa(msc38_out_aa) → U82_aaaaaaaa(msc38_in_aa)
U82_aaaaaaaa(msc38_out_aa) → U83_aaaaaaaa(mergec54_in_aaa)
U83_aaaaaaaa(mergec54_out_aaa) → qc34_out_aaaaaaaa
mergec54_in_aaa → mergec54_out_aaa
mergec54_in_aaa → U85_aaa(lessc70_in_aa)
mergec54_in_aaa → U87_aaa(lessc78_in_aa)
U85_aaa(lessc70_out_aa(T139)) → U86_aaa(mergec54_in_aaa)
U87_aaa(lessc78_out_aa(T196)) → U88_aaa(mergec54_in_aaa)
lessc70_in_aa → lessc70_out_aa(0)
lessc70_in_aa → U91_aa(lessc78_in_aa)
U86_aaa(mergec54_out_aaa) → mergec54_out_aaa
lessc78_in_aa → lessc78_out_aa(0)
lessc78_in_aa → U89_aa(lessc78_in_aa)
U88_aaa(mergec54_out_aaa) → mergec54_out_aaa
U91_aa(lessc78_out_aa(T161)) → lessc70_out_aa(s(T161))
U89_aa(lessc78_out_aa(T176)) → lessc78_out_aa(s(T176))
splitc12_in_aaaa
msc38_in_aa
U79_aaaa(x0)
U84_aa(x0)
splitc16_in_aaa
qc34_in_aaaaaaaa
U78_aaa(x0)
U80_aaaaaaaa(x0)
U81_aaaaaaaa(x0)
U82_aaaaaaaa(x0)
U83_aaaaaaaa(x0)
mergec54_in_aaa
U85_aaa(x0)
U87_aaa(x0)
lessc70_in_aa
U86_aaa(x0)
lessc78_in_aa
U88_aaa(x0)
U91_aa(x0)
U89_aa(x0)
P34_IN_AAAAAAAA → U4_AAAAAAAA(U79_aaaa(splitc16_in_aaa))
U4_AAAAAAAA(splitc12_out_aaaa) → MS38_IN_AA
MS38_IN_AA → P34_IN_AAAAAAAA
P34_IN_AAAAAAAA → U6_AAAAAAAA(splitc12_in_aaaa)
U6_AAAAAAAA(splitc12_out_aaaa) → U7_AAAAAAAA(msc38_in_aa)
U7_AAAAAAAA(msc38_out_aa) → MS38_IN_AA
P34_IN_AAAAAAAA → U4_AAAAAAAA(U79_aaaa(splitc16_in_aaa))
splitc12_in_aaaa → U79_aaaa(splitc16_in_aaa)
msc38_in_aa → msc38_out_aa
msc38_in_aa → U84_aa(qc34_in_aaaaaaaa)
U79_aaaa(splitc16_out_aaa) → splitc12_out_aaaa
U84_aa(qc34_out_aaaaaaaa) → msc38_out_aa
splitc16_in_aaa → splitc16_out_aaa
splitc16_in_aaa → U78_aaa(splitc16_in_aaa)
qc34_in_aaaaaaaa → U80_aaaaaaaa(splitc12_in_aaaa)
U78_aaa(splitc16_out_aaa) → splitc16_out_aaa
U80_aaaaaaaa(splitc12_out_aaaa) → U81_aaaaaaaa(msc38_in_aa)
U81_aaaaaaaa(msc38_out_aa) → U82_aaaaaaaa(msc38_in_aa)
U82_aaaaaaaa(msc38_out_aa) → U83_aaaaaaaa(mergec54_in_aaa)
U83_aaaaaaaa(mergec54_out_aaa) → qc34_out_aaaaaaaa
mergec54_in_aaa → mergec54_out_aaa
mergec54_in_aaa → U85_aaa(lessc70_in_aa)
mergec54_in_aaa → U87_aaa(lessc78_in_aa)
U85_aaa(lessc70_out_aa(T139)) → U86_aaa(mergec54_in_aaa)
U87_aaa(lessc78_out_aa(T196)) → U88_aaa(mergec54_in_aaa)
lessc70_in_aa → lessc70_out_aa(0)
lessc70_in_aa → U91_aa(lessc78_in_aa)
U86_aaa(mergec54_out_aaa) → mergec54_out_aaa
lessc78_in_aa → lessc78_out_aa(0)
lessc78_in_aa → U89_aa(lessc78_in_aa)
U88_aaa(mergec54_out_aaa) → mergec54_out_aaa
U91_aa(lessc78_out_aa(T161)) → lessc70_out_aa(s(T161))
U89_aa(lessc78_out_aa(T176)) → lessc78_out_aa(s(T176))
splitc12_in_aaaa
msc38_in_aa
U79_aaaa(x0)
U84_aa(x0)
splitc16_in_aaa
qc34_in_aaaaaaaa
U78_aaa(x0)
U80_aaaaaaaa(x0)
U81_aaaaaaaa(x0)
U82_aaaaaaaa(x0)
U83_aaaaaaaa(x0)
mergec54_in_aaa
U85_aaa(x0)
U87_aaa(x0)
lessc70_in_aa
U86_aaa(x0)
lessc78_in_aa
U88_aaa(x0)
U91_aa(x0)
U89_aa(x0)
P34_IN_AAAAAAAA → U6_AAAAAAAA(U79_aaaa(splitc16_in_aaa))
U4_AAAAAAAA(splitc12_out_aaaa) → MS38_IN_AA
MS38_IN_AA → P34_IN_AAAAAAAA
U6_AAAAAAAA(splitc12_out_aaaa) → U7_AAAAAAAA(msc38_in_aa)
U7_AAAAAAAA(msc38_out_aa) → MS38_IN_AA
P34_IN_AAAAAAAA → U4_AAAAAAAA(U79_aaaa(splitc16_in_aaa))
P34_IN_AAAAAAAA → U6_AAAAAAAA(U79_aaaa(splitc16_in_aaa))
splitc12_in_aaaa → U79_aaaa(splitc16_in_aaa)
msc38_in_aa → msc38_out_aa
msc38_in_aa → U84_aa(qc34_in_aaaaaaaa)
U79_aaaa(splitc16_out_aaa) → splitc12_out_aaaa
U84_aa(qc34_out_aaaaaaaa) → msc38_out_aa
splitc16_in_aaa → splitc16_out_aaa
splitc16_in_aaa → U78_aaa(splitc16_in_aaa)
qc34_in_aaaaaaaa → U80_aaaaaaaa(splitc12_in_aaaa)
U78_aaa(splitc16_out_aaa) → splitc16_out_aaa
U80_aaaaaaaa(splitc12_out_aaaa) → U81_aaaaaaaa(msc38_in_aa)
U81_aaaaaaaa(msc38_out_aa) → U82_aaaaaaaa(msc38_in_aa)
U82_aaaaaaaa(msc38_out_aa) → U83_aaaaaaaa(mergec54_in_aaa)
U83_aaaaaaaa(mergec54_out_aaa) → qc34_out_aaaaaaaa
mergec54_in_aaa → mergec54_out_aaa
mergec54_in_aaa → U85_aaa(lessc70_in_aa)
mergec54_in_aaa → U87_aaa(lessc78_in_aa)
U85_aaa(lessc70_out_aa(T139)) → U86_aaa(mergec54_in_aaa)
U87_aaa(lessc78_out_aa(T196)) → U88_aaa(mergec54_in_aaa)
lessc70_in_aa → lessc70_out_aa(0)
lessc70_in_aa → U91_aa(lessc78_in_aa)
U86_aaa(mergec54_out_aaa) → mergec54_out_aaa
lessc78_in_aa → lessc78_out_aa(0)
lessc78_in_aa → U89_aa(lessc78_in_aa)
U88_aaa(mergec54_out_aaa) → mergec54_out_aaa
U91_aa(lessc78_out_aa(T161)) → lessc70_out_aa(s(T161))
U89_aa(lessc78_out_aa(T176)) → lessc78_out_aa(s(T176))
splitc12_in_aaaa
msc38_in_aa
U79_aaaa(x0)
U84_aa(x0)
splitc16_in_aaa
qc34_in_aaaaaaaa
U78_aaa(x0)
U80_aaaaaaaa(x0)
U81_aaaaaaaa(x0)
U82_aaaaaaaa(x0)
U83_aaaaaaaa(x0)
mergec54_in_aaa
U85_aaa(x0)
U87_aaa(x0)
lessc70_in_aa
U86_aaa(x0)
lessc78_in_aa
U88_aaa(x0)
U91_aa(x0)
U89_aa(x0)
U6_AAAAAAAA(splitc12_out_aaaa) → U7_AAAAAAAA(msc38_out_aa)
U6_AAAAAAAA(splitc12_out_aaaa) → U7_AAAAAAAA(U84_aa(qc34_in_aaaaaaaa))
U4_AAAAAAAA(splitc12_out_aaaa) → MS38_IN_AA
MS38_IN_AA → P34_IN_AAAAAAAA
U7_AAAAAAAA(msc38_out_aa) → MS38_IN_AA
P34_IN_AAAAAAAA → U4_AAAAAAAA(U79_aaaa(splitc16_in_aaa))
P34_IN_AAAAAAAA → U6_AAAAAAAA(U79_aaaa(splitc16_in_aaa))
U6_AAAAAAAA(splitc12_out_aaaa) → U7_AAAAAAAA(msc38_out_aa)
U6_AAAAAAAA(splitc12_out_aaaa) → U7_AAAAAAAA(U84_aa(qc34_in_aaaaaaaa))
splitc12_in_aaaa → U79_aaaa(splitc16_in_aaa)
msc38_in_aa → msc38_out_aa
msc38_in_aa → U84_aa(qc34_in_aaaaaaaa)
U79_aaaa(splitc16_out_aaa) → splitc12_out_aaaa
U84_aa(qc34_out_aaaaaaaa) → msc38_out_aa
splitc16_in_aaa → splitc16_out_aaa
splitc16_in_aaa → U78_aaa(splitc16_in_aaa)
qc34_in_aaaaaaaa → U80_aaaaaaaa(splitc12_in_aaaa)
U78_aaa(splitc16_out_aaa) → splitc16_out_aaa
U80_aaaaaaaa(splitc12_out_aaaa) → U81_aaaaaaaa(msc38_in_aa)
U81_aaaaaaaa(msc38_out_aa) → U82_aaaaaaaa(msc38_in_aa)
U82_aaaaaaaa(msc38_out_aa) → U83_aaaaaaaa(mergec54_in_aaa)
U83_aaaaaaaa(mergec54_out_aaa) → qc34_out_aaaaaaaa
mergec54_in_aaa → mergec54_out_aaa
mergec54_in_aaa → U85_aaa(lessc70_in_aa)
mergec54_in_aaa → U87_aaa(lessc78_in_aa)
U85_aaa(lessc70_out_aa(T139)) → U86_aaa(mergec54_in_aaa)
U87_aaa(lessc78_out_aa(T196)) → U88_aaa(mergec54_in_aaa)
lessc70_in_aa → lessc70_out_aa(0)
lessc70_in_aa → U91_aa(lessc78_in_aa)
U86_aaa(mergec54_out_aaa) → mergec54_out_aaa
lessc78_in_aa → lessc78_out_aa(0)
lessc78_in_aa → U89_aa(lessc78_in_aa)
U88_aaa(mergec54_out_aaa) → mergec54_out_aaa
U91_aa(lessc78_out_aa(T161)) → lessc70_out_aa(s(T161))
U89_aa(lessc78_out_aa(T176)) → lessc78_out_aa(s(T176))
splitc12_in_aaaa
msc38_in_aa
U79_aaaa(x0)
U84_aa(x0)
splitc16_in_aaa
qc34_in_aaaaaaaa
U78_aaa(x0)
U80_aaaaaaaa(x0)
U81_aaaaaaaa(x0)
U82_aaaaaaaa(x0)
U83_aaaaaaaa(x0)
mergec54_in_aaa
U85_aaa(x0)
U87_aaa(x0)
lessc70_in_aa
U86_aaa(x0)
lessc78_in_aa
U88_aaa(x0)
U91_aa(x0)
U89_aa(x0)