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 QDPSizeChangeProof (⇔)
↳29 YES
↳30 PiDP
↳31 UsableRulesProof (⇔)
↳32 PiDP
↳33 PiDPToQDPProof (⇐)
↳34 QDP
↳35 NonTerminationProof (⇔)
↳36 NO
↳37 PiDP
↳38 UsableRulesProof (⇔)
↳39 PiDP
↳40 PiDPToQDPProof (⇐)
↳41 QDP
↳42 QDPSizeChangeProof (⇔)
↳43 YES
↳44 PiDP
↳45 UsableRulesProof (⇔)
↳46 PiDP
↳47 PiDPToQDPProof (⇐)
↳48 QDP
↳49 Narrowing (⇐)
↳50 QDP
↳51 Instantiation (⇔)
↳52 QDP
↳53 NonTerminationProof (⇔)
↳54 NO
↳55 PiDP
↳56 UsableRulesProof (⇔)
↳57 PiDP
↳58 PiDPToQDPProof (⇐)
↳59 QDP
↳60 NonTerminationProof (⇔)
↳61 NO
↳62 PiDP
↳63 UsableRulesProof (⇔)
↳64 PiDP
↳65 PiDPToQDPProof (⇐)
↳66 QDP
↳67 NonTerminationProof (⇔)
↳68 NO
↳69 PiDP
↳70 UsableRulesProof (⇔)
↳71 PiDP
↳72 PiDPToQDPProof (⇐)
↳73 QDP
↳74 Narrowing (⇐)
↳75 QDP
↳76 Narrowing (⇐)
↳77 QDP
↳78 Narrowing (⇐)
↳79 QDP
↳80 NonTerminationProof (⇔)
↳81 NO
QS1_IN_AG(.(T24, .(T25, T26)), []) → U25_AG(T24, T25, T26, less13_in_aa(T24, T25))
QS1_IN_AG(.(T24, .(T25, T26)), []) → LESS13_IN_AA(T24, T25)
LESS13_IN_AA(s(T45), s(T46)) → U1_AA(T45, T46, less13_in_aa(T45, T46))
LESS13_IN_AA(s(T45), s(T46)) → LESS13_IN_AA(T45, T46)
QS1_IN_AG(.(T29, .(T31, T30)), []) → U26_AG(T29, T31, T30, lessc13_in_aa(T29, T31))
U26_AG(T29, T31, T30, lessc13_out_aa(T29, T31)) → U27_AG(T29, T31, T30, part23_in_gaaa(T29, T30, X49, X50))
U26_AG(T29, T31, T30, lessc13_out_aa(T29, T31)) → PART23_IN_GAAA(T29, T30, X49, X50)
PART23_IN_GAAA(T70, .(T73, T74), .(T73, X123), X124) → U2_GAAA(T70, T73, T74, X123, X124, less13_in_ga(T70, T73))
PART23_IN_GAAA(T70, .(T73, T74), .(T73, X123), X124) → LESS13_IN_GA(T70, T73)
LESS13_IN_GA(s(T45), s(T46)) → U1_GA(T45, T46, less13_in_ga(T45, T46))
LESS13_IN_GA(s(T45), s(T46)) → LESS13_IN_GA(T45, T46)
PART23_IN_GAAA(T70, .(T73, T77), .(T73, X123), X124) → U3_GAAA(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U3_GAAA(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → U4_GAAA(T70, T73, T77, X123, X124, part23_in_gaaa(T70, T77, X123, X124))
U3_GAAA(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → PART23_IN_GAAA(T70, T77, X123, X124)
PART23_IN_GAAA(T95, .(T96, T98), X174, .(T96, X175)) → U5_GAAA(T95, T96, T98, X174, X175, part23_in_gaaa(T95, T98, X174, X175))
PART23_IN_GAAA(T95, .(T96, T98), X174, .(T96, X175)) → PART23_IN_GAAA(T95, T98, X174, X175)
QS1_IN_AG(.(T29, .(T54, T30)), []) → U28_AG(T29, T54, T30, lessc13_in_aa(T29, T54))
U28_AG(T29, T54, T30, lessc13_out_aa(T29, T54)) → U29_AG(T29, T54, T30, partc23_in_gaaa(T29, T30, T52, T53))
U29_AG(T29, T54, T30, partc23_out_gaaa(T29, T30, T52, T53)) → U30_AG(T29, T54, T30, qs39_in_aaa(T54, T52, X11))
U29_AG(T29, T54, T30, partc23_out_gaaa(T29, T30, T52, T53)) → QS39_IN_AAA(T54, T52, X11)
QS39_IN_AAA(T122, T123, X234) → U22_AAA(T122, T123, X234, p43_in_aaaaaaa(T122, T123, X230, X231, X232, X233, X234))
QS39_IN_AAA(T122, T123, X234) → P43_IN_AAAAAAA(T122, T123, X230, X231, X232, X233, X234)
P43_IN_AAAAAAA(T122, T123, X230, X231, X232, X233, X234) → U10_AAAAAAA(T122, T123, X230, X231, X232, X233, X234, part44_in_aaaa(T122, T123, X230, X231))
P43_IN_AAAAAAA(T122, T123, X230, X231, X232, X233, X234) → PART44_IN_AAAA(T122, T123, X230, X231)
PART44_IN_AAAA(T148, .(T149, T150), .(T149, X282), X283) → U6_AAAA(T148, T149, T150, X282, X283, less13_in_aa(T148, T149))
PART44_IN_AAAA(T148, .(T149, T150), .(T149, X282), X283) → LESS13_IN_AA(T148, T149)
PART44_IN_AAAA(T153, .(T149, T154), .(T149, X282), X283) → U7_AAAA(T153, T149, T154, X282, X283, lessc13_in_aa(T153, T149))
U7_AAAA(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → U8_AAAA(T153, T149, T154, X282, X283, part23_in_gaaa(T153, T154, X282, X283))
U7_AAAA(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → PART23_IN_GAAA(T153, T154, X282, X283)
PART44_IN_AAAA(T175, .(T173, T176), X333, .(T173, X334)) → U9_AAAA(T175, T173, T176, X333, X334, part44_in_aaaa(T175, T176, X333, X334))
PART44_IN_AAAA(T175, .(T173, T176), X333, .(T173, X334)) → PART44_IN_AAAA(T175, T176, X333, X334)
P43_IN_AAAAAAA(T129, T123, T127, T128, X232, X233, X234) → U11_AAAAAAA(T129, T123, T127, T128, X232, X233, X234, partc44_in_aaaa(T129, T123, T127, T128))
U11_AAAAAAA(T129, T123, T127, T128, X232, X233, X234, partc44_out_aaaa(T129, T123, T127, T128)) → U12_AAAAAAA(T129, T123, T127, T128, X232, X233, X234, qs60_in_aa(T127, X232))
U11_AAAAAAA(T129, T123, T127, T128, X232, X233, X234, partc44_out_aaaa(T129, T123, T127, T128)) → QS60_IN_AA(T127, X232)
QS60_IN_AA(.(T192, T193), X370) → U20_AA(T192, T193, X370, p43_in_aaaaaaa(T192, T193, X366, X367, X368, X369, X370))
QS60_IN_AA(.(T192, T193), X370) → P43_IN_AAAAAAA(T192, T193, X366, X367, X368, X369, X370)
P43_IN_AAAAAAA(T185, T123, T127, T184, T183, X233, X234) → U13_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, partc44_in_aaaa(T185, T123, T127, T184))
U13_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, partc44_out_aaaa(T185, T123, T127, T184)) → U14_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, qsc60_in_aa(T127, T183))
U14_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, qsc60_out_aa(T127, T183)) → U15_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, qs60_in_aa(T184, X233))
U14_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, qsc60_out_aa(T127, T183)) → QS60_IN_AA(T184, X233)
P43_IN_AAAAAAA(T199, T123, T127, T184, T198, T197, X234) → U16_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, partc44_in_aaaa(T199, T123, T127, T184))
U16_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, partc44_out_aaaa(T199, T123, T127, T184)) → U17_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T127, T198))
U17_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T127, T198)) → U18_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T184, T197))
U18_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → U19_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, app71_in_aaaa(T198, T199, T197, X234))
U18_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → APP71_IN_AAAA(T198, T199, T197, X234)
APP71_IN_AAAA(.(T222, T226), T227, T228, .(T222, X403)) → U21_AAAA(T222, T226, T227, T228, X403, app71_in_aaaa(T226, T227, T228, X403))
APP71_IN_AAAA(.(T222, T226), T227, T228, .(T222, X403)) → APP71_IN_AAAA(T226, T227, T228, X403)
U28_AG(T29, T54, T30, lessc13_out_aa(T29, T54)) → U31_AG(T29, T54, T30, partc23_in_gaaa(T29, T30, T52, T108))
U31_AG(T29, T54, T30, partc23_out_gaaa(T29, T30, T52, T108)) → U32_AG(T29, T54, T30, T108, qsc39_in_aaa(T54, T52, T107))
U32_AG(T29, T54, T30, T108, qsc39_out_aaa(T54, T52, T107)) → U33_AG(T29, T54, T30, qs60_in_aa(T108, X12))
U32_AG(T29, T54, T30, T108, qsc39_out_aaa(T54, T52, T107)) → QS60_IN_AA(T108, X12)
QS1_IN_AG(.(T264, .(T266, T265)), []) → U34_AG(T264, T266, T265, part44_in_aaaa(T264, T265, X454, X455))
QS1_IN_AG(.(T264, .(T266, T265)), []) → PART44_IN_AAAA(T264, T265, X454, X455)
QS1_IN_AG(.(T273, .(T272, T265)), []) → U35_AG(T273, T272, T265, partc44_in_aaaa(T273, T265, T270, T271))
U35_AG(T273, T272, T265, partc44_out_aaaa(T273, T265, T270, T271)) → U36_AG(T273, T272, T265, qs60_in_aa(T270, X11))
U35_AG(T273, T272, T265, partc44_out_aaaa(T273, T265, T270, T271)) → QS60_IN_AA(T270, X11)
QS1_IN_AG(.(T280, .(T278, T265)), []) → U37_AG(T280, T278, T265, partc44_in_aaaa(T280, T265, T270, T279))
U37_AG(T280, T278, T265, partc44_out_aaaa(T280, T265, T270, T279)) → U38_AG(T280, T278, T265, T279, qsc60_in_aa(T270, T277))
U38_AG(T280, T278, T265, T279, qsc60_out_aa(T270, T277)) → U39_AG(T280, T278, T265, qs39_in_aaa(T278, T279, X12))
U38_AG(T280, T278, T265, T279, qsc60_out_aa(T270, T277)) → QS39_IN_AAA(T278, T279, X12)
QS1_IN_AG(.(T347, .(T348, T349)), T329) → U40_AG(T347, T348, T349, T329, less13_in_aa(T347, T348))
QS1_IN_AG(.(T347, .(T348, T349)), T329) → LESS13_IN_AA(T347, T348)
QS1_IN_AG(.(T352, .(T354, T353)), T329) → U41_AG(T352, T354, T353, T329, lessc13_in_aa(T352, T354))
U41_AG(T352, T354, T353, T329, lessc13_out_aa(T352, T354)) → U42_AG(T352, T354, T353, T329, part23_in_gaaa(T352, T353, X581, X582))
U41_AG(T352, T354, T353, T329, lessc13_out_aa(T352, T354)) → PART23_IN_GAAA(T352, T353, X581, X582)
QS1_IN_AG(.(T352, .(T363, T353)), T329) → U43_AG(T352, T363, T353, T329, lessc13_in_aa(T352, T363))
U43_AG(T352, T363, T353, T329, lessc13_out_aa(T352, T363)) → U44_AG(T352, T363, T353, T329, partc23_in_gaaa(T352, T353, T361, T362))
U44_AG(T352, T363, T353, T329, partc23_out_gaaa(T352, T353, T361, T362)) → U45_AG(T352, T363, T353, T329, qs39_in_aaa(T363, T361, X543))
U44_AG(T352, T363, T353, T329, partc23_out_gaaa(T352, T353, T361, T362)) → QS39_IN_AAA(T363, T361, X543)
U43_AG(T352, T363, T353, T329, lessc13_out_aa(T352, T363)) → U46_AG(T352, T363, T353, T329, partc23_in_gaaa(T352, T353, T361, T371))
U46_AG(T352, T363, T353, T329, partc23_out_gaaa(T352, T353, T361, T371)) → U47_AG(T352, T363, T353, T329, T371, qsc39_in_aaa(T363, T361, T370))
U47_AG(T352, T363, T353, T329, T371, qsc39_out_aaa(T363, T361, T370)) → U48_AG(T352, T363, T353, T329, qs60_in_aa(T371, X544))
U47_AG(T352, T363, T353, T329, T371, qsc39_out_aaa(T363, T361, T370)) → QS60_IN_AA(T371, X544)
QS1_IN_AG(.(T404, .(T363, T353)), .(T402, T406)) → U49_AG(T404, T363, T353, T402, T406, lessc13_in_aa(T404, T363))
U49_AG(T404, T363, T353, T402, T406, lessc13_out_aa(T404, T363)) → U50_AG(T404, T363, T353, T402, T406, partc23_in_gaaa(T404, T353, T361, T371))
U50_AG(T404, T363, T353, T402, T406, partc23_out_gaaa(T404, T353, T361, T371)) → U51_AG(T404, T363, T353, T402, T406, T371, qsc39_in_aaa(T363, T361, .(T402, T407)))
U51_AG(T404, T363, T353, T402, T406, T371, qsc39_out_aaa(T363, T361, .(T402, T407))) → U52_AG(T404, T363, T353, T402, T406, T407, qsc60_in_aa(T371, T408))
U52_AG(T404, T363, T353, T402, T406, T407, qsc60_out_aa(T371, T408)) → U53_AG(T404, T363, T353, T402, T406, app131_in_agag(T407, T404, T408, T406))
U52_AG(T404, T363, T353, T402, T406, T407, qsc60_out_aa(T371, T408)) → APP131_IN_AGAG(T407, T404, T408, T406)
APP131_IN_AGAG(.(T433, T438), T435, T439, .(T433, T437)) → U23_AGAG(T433, T438, T435, T439, T437, app131_in_agag(T438, T435, T439, T437))
APP131_IN_AGAG(.(T433, T438), T435, T439, .(T433, T437)) → APP131_IN_AGAG(T438, T435, T439, T437)
QS1_IN_AG(.(T459, .(T461, T460)), T329) → U54_AG(T459, T461, T460, T329, part44_in_aaaa(T459, T460, X705, X706))
QS1_IN_AG(.(T459, .(T461, T460)), T329) → PART44_IN_AAAA(T459, T460, X705, X706)
QS1_IN_AG(.(T468, .(T467, T460)), T329) → U55_AG(T468, T467, T460, T329, partc44_in_aaaa(T468, T460, T465, T466))
U55_AG(T468, T467, T460, T329, partc44_out_aaaa(T468, T460, T465, T466)) → U56_AG(T468, T467, T460, T329, qs60_in_aa(T465, X543))
U55_AG(T468, T467, T460, T329, partc44_out_aaaa(T468, T460, T465, T466)) → QS60_IN_AA(T465, X543)
QS1_IN_AG(.(T476, .(T474, T460)), T329) → U57_AG(T476, T474, T460, T329, partc44_in_aaaa(T476, T460, T465, T475))
U57_AG(T476, T474, T460, T329, partc44_out_aaaa(T476, T460, T465, T475)) → U58_AG(T476, T474, T460, T329, T475, qsc60_in_aa(T465, T473))
U58_AG(T476, T474, T460, T329, T475, qsc60_out_aa(T465, T473)) → U59_AG(T476, T474, T460, T329, qs39_in_aaa(T474, T475, X544))
U58_AG(T476, T474, T460, T329, T475, qsc60_out_aa(T465, T473)) → QS39_IN_AAA(T474, T475, X544)
QS1_IN_AG(.(T516, .(T474, T460)), .(T510, T514)) → U60_AG(T516, T474, T460, T510, T514, partc44_in_aaaa(T516, T460, T465, T475))
U60_AG(T516, T474, T460, T510, T514, partc44_out_aaaa(T516, T460, T465, T475)) → U61_AG(T516, T474, T460, T510, T514, T475, qsc60_in_aa(T465, .(T510, T515)))
U61_AG(T516, T474, T460, T510, T514, T475, qsc60_out_aa(T465, .(T510, T515))) → U62_AG(T516, T474, T460, T510, T514, T515, qsc39_in_aaa(T474, T475, T517))
U62_AG(T516, T474, T460, T510, T514, T515, qsc39_out_aaa(T474, T475, T517)) → U63_AG(T516, T474, T460, T510, T514, app157_in_aaag(T515, T516, T517, T514))
U62_AG(T516, T474, T460, T510, T514, T515, qsc39_out_aaa(T474, T475, T517)) → APP157_IN_AAAG(T515, T516, T517, T514)
APP157_IN_AAAG(.(T542, T547), T548, T549, .(T542, T546)) → U24_AAAG(T542, T547, T548, T549, T546, app157_in_aaag(T547, T548, T549, T546))
APP157_IN_AAAG(.(T542, T547), T548, T549, .(T542, T546)) → APP157_IN_AAAG(T547, T548, T549, T546)
QS1_IN_AG(.(T557, []), T329) → U64_AG(T557, T329, qsc100_in_a(T560))
U64_AG(T557, T329, qsc100_out_a(T560)) → U65_AG(T557, T329, T560, qsc100_in_a(T563))
U65_AG(T557, T329, T560, qsc100_out_a(T563)) → U66_AG(T557, T329, app157_in_gagg(T560, T557, T563, T329))
U65_AG(T557, T329, T560, qsc100_out_a(T563)) → APP157_IN_GAGG(T560, T557, T563, T329)
APP157_IN_GAGG(.(T542, T547), T548, T549, .(T542, T546)) → U24_GAGG(T542, T547, T548, T549, T546, app157_in_gagg(T547, T548, T549, T546))
APP157_IN_GAGG(.(T542, T547), T548, T549, .(T542, T546)) → APP157_IN_GAGG(T547, T548, T549, T546)
lessc13_in_aa(0, s(T38)) → lessc13_out_aa(0, s(T38))
lessc13_in_aa(s(T45), s(T46)) → U68_aa(T45, T46, lessc13_in_aa(T45, T46))
U68_aa(T45, T46, lessc13_out_aa(T45, T46)) → lessc13_out_aa(s(T45), s(T46))
lessc13_in_ga(0, s(T38)) → lessc13_out_ga(0, s(T38))
lessc13_in_ga(s(T45), s(T46)) → U68_ga(T45, T46, lessc13_in_ga(T45, T46))
U68_ga(T45, T46, lessc13_out_ga(T45, T46)) → lessc13_out_ga(s(T45), s(T46))
partc23_in_gaaa(T70, .(T73, T77), .(T73, X123), X124) → U69_gaaa(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U69_gaaa(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → U70_gaaa(T70, T73, T77, X123, X124, partc23_in_gaaa(T70, T77, X123, X124))
partc23_in_gaaa(T95, .(T96, T98), X174, .(T96, X175)) → U71_gaaa(T95, T96, T98, X174, X175, partc23_in_gaaa(T95, T98, X174, X175))
partc23_in_gaaa(T104, [], [], []) → partc23_out_gaaa(T104, [], [], [])
U71_gaaa(T95, T96, T98, X174, X175, partc23_out_gaaa(T95, T98, X174, X175)) → partc23_out_gaaa(T95, .(T96, T98), X174, .(T96, X175))
U70_gaaa(T70, T73, T77, X123, X124, partc23_out_gaaa(T70, T77, X123, X124)) → partc23_out_gaaa(T70, .(T73, T77), .(T73, X123), X124)
partc44_in_aaaa(T153, .(T149, T154), .(T149, X282), X283) → U72_aaaa(T153, T149, T154, X282, X283, lessc13_in_aa(T153, T149))
U72_aaaa(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → U73_aaaa(T153, T149, T154, X282, X283, partc23_in_gaaa(T153, T154, X282, X283))
U73_aaaa(T153, T149, T154, X282, X283, partc23_out_gaaa(T153, T154, X282, X283)) → partc44_out_aaaa(T153, .(T149, T154), .(T149, X282), X283)
partc44_in_aaaa(T175, .(T173, T176), X333, .(T173, X334)) → U74_aaaa(T175, T173, T176, X333, X334, partc44_in_aaaa(T175, T176, X333, X334))
partc44_in_aaaa(T182, [], [], []) → partc44_out_aaaa(T182, [], [], [])
U74_aaaa(T175, T173, T176, X333, X334, partc44_out_aaaa(T175, T176, X333, X334)) → partc44_out_aaaa(T175, .(T173, T176), X333, .(T173, X334))
qsc60_in_aa([], []) → qsc60_out_aa([], [])
qsc60_in_aa(.(T192, T193), X370) → U79_aa(T192, T193, X370, qc43_in_aaaaaaa(T192, T193, X366, X367, X368, X369, X370))
qc43_in_aaaaaaa(T199, T123, T127, T184, T198, T197, X234) → U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_in_aaaa(T199, T123, T127, T184))
U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_out_aaaa(T199, T123, T127, T184)) → U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T127, T198))
U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T127, T198)) → U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T184, T197))
U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_in_aaaa(T198, T199, T197, X234))
appc71_in_aaaa([], T212, T213, .(T212, T213)) → appc71_out_aaaa([], T212, T213, .(T212, T213))
appc71_in_aaaa(.(T222, T226), T227, T228, .(T222, X403)) → U80_aaaa(T222, T226, T227, T228, X403, appc71_in_aaaa(T226, T227, T228, X403))
U80_aaaa(T222, T226, T227, T228, X403, appc71_out_aaaa(T226, T227, T228, X403)) → appc71_out_aaaa(.(T222, T226), T227, T228, .(T222, X403))
U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_out_aaaa(T198, T199, T197, X234)) → qc43_out_aaaaaaa(T199, T123, T127, T184, T198, T197, X234)
U79_aa(T192, T193, X370, qc43_out_aaaaaaa(T192, T193, X366, X367, X368, X369, X370)) → qsc60_out_aa(.(T192, T193), X370)
qsc39_in_aaa(T122, T123, X234) → U81_aaa(T122, T123, X234, qc43_in_aaaaaaa(T122, T123, X230, X231, X232, X233, X234))
U81_aaa(T122, T123, X234, qc43_out_aaaaaaa(T122, T123, X230, X231, X232, X233, X234)) → qsc39_out_aaa(T122, T123, X234)
qsc100_in_a([]) → qsc100_out_a([])
Infinitary Constructor Rewriting Termination of PiDP implies Termination of TRIPLES
QS1_IN_AG(.(T24, .(T25, T26)), []) → U25_AG(T24, T25, T26, less13_in_aa(T24, T25))
QS1_IN_AG(.(T24, .(T25, T26)), []) → LESS13_IN_AA(T24, T25)
LESS13_IN_AA(s(T45), s(T46)) → U1_AA(T45, T46, less13_in_aa(T45, T46))
LESS13_IN_AA(s(T45), s(T46)) → LESS13_IN_AA(T45, T46)
QS1_IN_AG(.(T29, .(T31, T30)), []) → U26_AG(T29, T31, T30, lessc13_in_aa(T29, T31))
U26_AG(T29, T31, T30, lessc13_out_aa(T29, T31)) → U27_AG(T29, T31, T30, part23_in_gaaa(T29, T30, X49, X50))
U26_AG(T29, T31, T30, lessc13_out_aa(T29, T31)) → PART23_IN_GAAA(T29, T30, X49, X50)
PART23_IN_GAAA(T70, .(T73, T74), .(T73, X123), X124) → U2_GAAA(T70, T73, T74, X123, X124, less13_in_ga(T70, T73))
PART23_IN_GAAA(T70, .(T73, T74), .(T73, X123), X124) → LESS13_IN_GA(T70, T73)
LESS13_IN_GA(s(T45), s(T46)) → U1_GA(T45, T46, less13_in_ga(T45, T46))
LESS13_IN_GA(s(T45), s(T46)) → LESS13_IN_GA(T45, T46)
PART23_IN_GAAA(T70, .(T73, T77), .(T73, X123), X124) → U3_GAAA(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U3_GAAA(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → U4_GAAA(T70, T73, T77, X123, X124, part23_in_gaaa(T70, T77, X123, X124))
U3_GAAA(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → PART23_IN_GAAA(T70, T77, X123, X124)
PART23_IN_GAAA(T95, .(T96, T98), X174, .(T96, X175)) → U5_GAAA(T95, T96, T98, X174, X175, part23_in_gaaa(T95, T98, X174, X175))
PART23_IN_GAAA(T95, .(T96, T98), X174, .(T96, X175)) → PART23_IN_GAAA(T95, T98, X174, X175)
QS1_IN_AG(.(T29, .(T54, T30)), []) → U28_AG(T29, T54, T30, lessc13_in_aa(T29, T54))
U28_AG(T29, T54, T30, lessc13_out_aa(T29, T54)) → U29_AG(T29, T54, T30, partc23_in_gaaa(T29, T30, T52, T53))
U29_AG(T29, T54, T30, partc23_out_gaaa(T29, T30, T52, T53)) → U30_AG(T29, T54, T30, qs39_in_aaa(T54, T52, X11))
U29_AG(T29, T54, T30, partc23_out_gaaa(T29, T30, T52, T53)) → QS39_IN_AAA(T54, T52, X11)
QS39_IN_AAA(T122, T123, X234) → U22_AAA(T122, T123, X234, p43_in_aaaaaaa(T122, T123, X230, X231, X232, X233, X234))
QS39_IN_AAA(T122, T123, X234) → P43_IN_AAAAAAA(T122, T123, X230, X231, X232, X233, X234)
P43_IN_AAAAAAA(T122, T123, X230, X231, X232, X233, X234) → U10_AAAAAAA(T122, T123, X230, X231, X232, X233, X234, part44_in_aaaa(T122, T123, X230, X231))
P43_IN_AAAAAAA(T122, T123, X230, X231, X232, X233, X234) → PART44_IN_AAAA(T122, T123, X230, X231)
PART44_IN_AAAA(T148, .(T149, T150), .(T149, X282), X283) → U6_AAAA(T148, T149, T150, X282, X283, less13_in_aa(T148, T149))
PART44_IN_AAAA(T148, .(T149, T150), .(T149, X282), X283) → LESS13_IN_AA(T148, T149)
PART44_IN_AAAA(T153, .(T149, T154), .(T149, X282), X283) → U7_AAAA(T153, T149, T154, X282, X283, lessc13_in_aa(T153, T149))
U7_AAAA(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → U8_AAAA(T153, T149, T154, X282, X283, part23_in_gaaa(T153, T154, X282, X283))
U7_AAAA(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → PART23_IN_GAAA(T153, T154, X282, X283)
PART44_IN_AAAA(T175, .(T173, T176), X333, .(T173, X334)) → U9_AAAA(T175, T173, T176, X333, X334, part44_in_aaaa(T175, T176, X333, X334))
PART44_IN_AAAA(T175, .(T173, T176), X333, .(T173, X334)) → PART44_IN_AAAA(T175, T176, X333, X334)
P43_IN_AAAAAAA(T129, T123, T127, T128, X232, X233, X234) → U11_AAAAAAA(T129, T123, T127, T128, X232, X233, X234, partc44_in_aaaa(T129, T123, T127, T128))
U11_AAAAAAA(T129, T123, T127, T128, X232, X233, X234, partc44_out_aaaa(T129, T123, T127, T128)) → U12_AAAAAAA(T129, T123, T127, T128, X232, X233, X234, qs60_in_aa(T127, X232))
U11_AAAAAAA(T129, T123, T127, T128, X232, X233, X234, partc44_out_aaaa(T129, T123, T127, T128)) → QS60_IN_AA(T127, X232)
QS60_IN_AA(.(T192, T193), X370) → U20_AA(T192, T193, X370, p43_in_aaaaaaa(T192, T193, X366, X367, X368, X369, X370))
QS60_IN_AA(.(T192, T193), X370) → P43_IN_AAAAAAA(T192, T193, X366, X367, X368, X369, X370)
P43_IN_AAAAAAA(T185, T123, T127, T184, T183, X233, X234) → U13_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, partc44_in_aaaa(T185, T123, T127, T184))
U13_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, partc44_out_aaaa(T185, T123, T127, T184)) → U14_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, qsc60_in_aa(T127, T183))
U14_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, qsc60_out_aa(T127, T183)) → U15_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, qs60_in_aa(T184, X233))
U14_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, qsc60_out_aa(T127, T183)) → QS60_IN_AA(T184, X233)
P43_IN_AAAAAAA(T199, T123, T127, T184, T198, T197, X234) → U16_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, partc44_in_aaaa(T199, T123, T127, T184))
U16_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, partc44_out_aaaa(T199, T123, T127, T184)) → U17_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T127, T198))
U17_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T127, T198)) → U18_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T184, T197))
U18_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → U19_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, app71_in_aaaa(T198, T199, T197, X234))
U18_AAAAAAA(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → APP71_IN_AAAA(T198, T199, T197, X234)
APP71_IN_AAAA(.(T222, T226), T227, T228, .(T222, X403)) → U21_AAAA(T222, T226, T227, T228, X403, app71_in_aaaa(T226, T227, T228, X403))
APP71_IN_AAAA(.(T222, T226), T227, T228, .(T222, X403)) → APP71_IN_AAAA(T226, T227, T228, X403)
U28_AG(T29, T54, T30, lessc13_out_aa(T29, T54)) → U31_AG(T29, T54, T30, partc23_in_gaaa(T29, T30, T52, T108))
U31_AG(T29, T54, T30, partc23_out_gaaa(T29, T30, T52, T108)) → U32_AG(T29, T54, T30, T108, qsc39_in_aaa(T54, T52, T107))
U32_AG(T29, T54, T30, T108, qsc39_out_aaa(T54, T52, T107)) → U33_AG(T29, T54, T30, qs60_in_aa(T108, X12))
U32_AG(T29, T54, T30, T108, qsc39_out_aaa(T54, T52, T107)) → QS60_IN_AA(T108, X12)
QS1_IN_AG(.(T264, .(T266, T265)), []) → U34_AG(T264, T266, T265, part44_in_aaaa(T264, T265, X454, X455))
QS1_IN_AG(.(T264, .(T266, T265)), []) → PART44_IN_AAAA(T264, T265, X454, X455)
QS1_IN_AG(.(T273, .(T272, T265)), []) → U35_AG(T273, T272, T265, partc44_in_aaaa(T273, T265, T270, T271))
U35_AG(T273, T272, T265, partc44_out_aaaa(T273, T265, T270, T271)) → U36_AG(T273, T272, T265, qs60_in_aa(T270, X11))
U35_AG(T273, T272, T265, partc44_out_aaaa(T273, T265, T270, T271)) → QS60_IN_AA(T270, X11)
QS1_IN_AG(.(T280, .(T278, T265)), []) → U37_AG(T280, T278, T265, partc44_in_aaaa(T280, T265, T270, T279))
U37_AG(T280, T278, T265, partc44_out_aaaa(T280, T265, T270, T279)) → U38_AG(T280, T278, T265, T279, qsc60_in_aa(T270, T277))
U38_AG(T280, T278, T265, T279, qsc60_out_aa(T270, T277)) → U39_AG(T280, T278, T265, qs39_in_aaa(T278, T279, X12))
U38_AG(T280, T278, T265, T279, qsc60_out_aa(T270, T277)) → QS39_IN_AAA(T278, T279, X12)
QS1_IN_AG(.(T347, .(T348, T349)), T329) → U40_AG(T347, T348, T349, T329, less13_in_aa(T347, T348))
QS1_IN_AG(.(T347, .(T348, T349)), T329) → LESS13_IN_AA(T347, T348)
QS1_IN_AG(.(T352, .(T354, T353)), T329) → U41_AG(T352, T354, T353, T329, lessc13_in_aa(T352, T354))
U41_AG(T352, T354, T353, T329, lessc13_out_aa(T352, T354)) → U42_AG(T352, T354, T353, T329, part23_in_gaaa(T352, T353, X581, X582))
U41_AG(T352, T354, T353, T329, lessc13_out_aa(T352, T354)) → PART23_IN_GAAA(T352, T353, X581, X582)
QS1_IN_AG(.(T352, .(T363, T353)), T329) → U43_AG(T352, T363, T353, T329, lessc13_in_aa(T352, T363))
U43_AG(T352, T363, T353, T329, lessc13_out_aa(T352, T363)) → U44_AG(T352, T363, T353, T329, partc23_in_gaaa(T352, T353, T361, T362))
U44_AG(T352, T363, T353, T329, partc23_out_gaaa(T352, T353, T361, T362)) → U45_AG(T352, T363, T353, T329, qs39_in_aaa(T363, T361, X543))
U44_AG(T352, T363, T353, T329, partc23_out_gaaa(T352, T353, T361, T362)) → QS39_IN_AAA(T363, T361, X543)
U43_AG(T352, T363, T353, T329, lessc13_out_aa(T352, T363)) → U46_AG(T352, T363, T353, T329, partc23_in_gaaa(T352, T353, T361, T371))
U46_AG(T352, T363, T353, T329, partc23_out_gaaa(T352, T353, T361, T371)) → U47_AG(T352, T363, T353, T329, T371, qsc39_in_aaa(T363, T361, T370))
U47_AG(T352, T363, T353, T329, T371, qsc39_out_aaa(T363, T361, T370)) → U48_AG(T352, T363, T353, T329, qs60_in_aa(T371, X544))
U47_AG(T352, T363, T353, T329, T371, qsc39_out_aaa(T363, T361, T370)) → QS60_IN_AA(T371, X544)
QS1_IN_AG(.(T404, .(T363, T353)), .(T402, T406)) → U49_AG(T404, T363, T353, T402, T406, lessc13_in_aa(T404, T363))
U49_AG(T404, T363, T353, T402, T406, lessc13_out_aa(T404, T363)) → U50_AG(T404, T363, T353, T402, T406, partc23_in_gaaa(T404, T353, T361, T371))
U50_AG(T404, T363, T353, T402, T406, partc23_out_gaaa(T404, T353, T361, T371)) → U51_AG(T404, T363, T353, T402, T406, T371, qsc39_in_aaa(T363, T361, .(T402, T407)))
U51_AG(T404, T363, T353, T402, T406, T371, qsc39_out_aaa(T363, T361, .(T402, T407))) → U52_AG(T404, T363, T353, T402, T406, T407, qsc60_in_aa(T371, T408))
U52_AG(T404, T363, T353, T402, T406, T407, qsc60_out_aa(T371, T408)) → U53_AG(T404, T363, T353, T402, T406, app131_in_agag(T407, T404, T408, T406))
U52_AG(T404, T363, T353, T402, T406, T407, qsc60_out_aa(T371, T408)) → APP131_IN_AGAG(T407, T404, T408, T406)
APP131_IN_AGAG(.(T433, T438), T435, T439, .(T433, T437)) → U23_AGAG(T433, T438, T435, T439, T437, app131_in_agag(T438, T435, T439, T437))
APP131_IN_AGAG(.(T433, T438), T435, T439, .(T433, T437)) → APP131_IN_AGAG(T438, T435, T439, T437)
QS1_IN_AG(.(T459, .(T461, T460)), T329) → U54_AG(T459, T461, T460, T329, part44_in_aaaa(T459, T460, X705, X706))
QS1_IN_AG(.(T459, .(T461, T460)), T329) → PART44_IN_AAAA(T459, T460, X705, X706)
QS1_IN_AG(.(T468, .(T467, T460)), T329) → U55_AG(T468, T467, T460, T329, partc44_in_aaaa(T468, T460, T465, T466))
U55_AG(T468, T467, T460, T329, partc44_out_aaaa(T468, T460, T465, T466)) → U56_AG(T468, T467, T460, T329, qs60_in_aa(T465, X543))
U55_AG(T468, T467, T460, T329, partc44_out_aaaa(T468, T460, T465, T466)) → QS60_IN_AA(T465, X543)
QS1_IN_AG(.(T476, .(T474, T460)), T329) → U57_AG(T476, T474, T460, T329, partc44_in_aaaa(T476, T460, T465, T475))
U57_AG(T476, T474, T460, T329, partc44_out_aaaa(T476, T460, T465, T475)) → U58_AG(T476, T474, T460, T329, T475, qsc60_in_aa(T465, T473))
U58_AG(T476, T474, T460, T329, T475, qsc60_out_aa(T465, T473)) → U59_AG(T476, T474, T460, T329, qs39_in_aaa(T474, T475, X544))
U58_AG(T476, T474, T460, T329, T475, qsc60_out_aa(T465, T473)) → QS39_IN_AAA(T474, T475, X544)
QS1_IN_AG(.(T516, .(T474, T460)), .(T510, T514)) → U60_AG(T516, T474, T460, T510, T514, partc44_in_aaaa(T516, T460, T465, T475))
U60_AG(T516, T474, T460, T510, T514, partc44_out_aaaa(T516, T460, T465, T475)) → U61_AG(T516, T474, T460, T510, T514, T475, qsc60_in_aa(T465, .(T510, T515)))
U61_AG(T516, T474, T460, T510, T514, T475, qsc60_out_aa(T465, .(T510, T515))) → U62_AG(T516, T474, T460, T510, T514, T515, qsc39_in_aaa(T474, T475, T517))
U62_AG(T516, T474, T460, T510, T514, T515, qsc39_out_aaa(T474, T475, T517)) → U63_AG(T516, T474, T460, T510, T514, app157_in_aaag(T515, T516, T517, T514))
U62_AG(T516, T474, T460, T510, T514, T515, qsc39_out_aaa(T474, T475, T517)) → APP157_IN_AAAG(T515, T516, T517, T514)
APP157_IN_AAAG(.(T542, T547), T548, T549, .(T542, T546)) → U24_AAAG(T542, T547, T548, T549, T546, app157_in_aaag(T547, T548, T549, T546))
APP157_IN_AAAG(.(T542, T547), T548, T549, .(T542, T546)) → APP157_IN_AAAG(T547, T548, T549, T546)
QS1_IN_AG(.(T557, []), T329) → U64_AG(T557, T329, qsc100_in_a(T560))
U64_AG(T557, T329, qsc100_out_a(T560)) → U65_AG(T557, T329, T560, qsc100_in_a(T563))
U65_AG(T557, T329, T560, qsc100_out_a(T563)) → U66_AG(T557, T329, app157_in_gagg(T560, T557, T563, T329))
U65_AG(T557, T329, T560, qsc100_out_a(T563)) → APP157_IN_GAGG(T560, T557, T563, T329)
APP157_IN_GAGG(.(T542, T547), T548, T549, .(T542, T546)) → U24_GAGG(T542, T547, T548, T549, T546, app157_in_gagg(T547, T548, T549, T546))
APP157_IN_GAGG(.(T542, T547), T548, T549, .(T542, T546)) → APP157_IN_GAGG(T547, T548, T549, T546)
lessc13_in_aa(0, s(T38)) → lessc13_out_aa(0, s(T38))
lessc13_in_aa(s(T45), s(T46)) → U68_aa(T45, T46, lessc13_in_aa(T45, T46))
U68_aa(T45, T46, lessc13_out_aa(T45, T46)) → lessc13_out_aa(s(T45), s(T46))
lessc13_in_ga(0, s(T38)) → lessc13_out_ga(0, s(T38))
lessc13_in_ga(s(T45), s(T46)) → U68_ga(T45, T46, lessc13_in_ga(T45, T46))
U68_ga(T45, T46, lessc13_out_ga(T45, T46)) → lessc13_out_ga(s(T45), s(T46))
partc23_in_gaaa(T70, .(T73, T77), .(T73, X123), X124) → U69_gaaa(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U69_gaaa(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → U70_gaaa(T70, T73, T77, X123, X124, partc23_in_gaaa(T70, T77, X123, X124))
partc23_in_gaaa(T95, .(T96, T98), X174, .(T96, X175)) → U71_gaaa(T95, T96, T98, X174, X175, partc23_in_gaaa(T95, T98, X174, X175))
partc23_in_gaaa(T104, [], [], []) → partc23_out_gaaa(T104, [], [], [])
U71_gaaa(T95, T96, T98, X174, X175, partc23_out_gaaa(T95, T98, X174, X175)) → partc23_out_gaaa(T95, .(T96, T98), X174, .(T96, X175))
U70_gaaa(T70, T73, T77, X123, X124, partc23_out_gaaa(T70, T77, X123, X124)) → partc23_out_gaaa(T70, .(T73, T77), .(T73, X123), X124)
partc44_in_aaaa(T153, .(T149, T154), .(T149, X282), X283) → U72_aaaa(T153, T149, T154, X282, X283, lessc13_in_aa(T153, T149))
U72_aaaa(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → U73_aaaa(T153, T149, T154, X282, X283, partc23_in_gaaa(T153, T154, X282, X283))
U73_aaaa(T153, T149, T154, X282, X283, partc23_out_gaaa(T153, T154, X282, X283)) → partc44_out_aaaa(T153, .(T149, T154), .(T149, X282), X283)
partc44_in_aaaa(T175, .(T173, T176), X333, .(T173, X334)) → U74_aaaa(T175, T173, T176, X333, X334, partc44_in_aaaa(T175, T176, X333, X334))
partc44_in_aaaa(T182, [], [], []) → partc44_out_aaaa(T182, [], [], [])
U74_aaaa(T175, T173, T176, X333, X334, partc44_out_aaaa(T175, T176, X333, X334)) → partc44_out_aaaa(T175, .(T173, T176), X333, .(T173, X334))
qsc60_in_aa([], []) → qsc60_out_aa([], [])
qsc60_in_aa(.(T192, T193), X370) → U79_aa(T192, T193, X370, qc43_in_aaaaaaa(T192, T193, X366, X367, X368, X369, X370))
qc43_in_aaaaaaa(T199, T123, T127, T184, T198, T197, X234) → U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_in_aaaa(T199, T123, T127, T184))
U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_out_aaaa(T199, T123, T127, T184)) → U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T127, T198))
U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T127, T198)) → U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T184, T197))
U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_in_aaaa(T198, T199, T197, X234))
appc71_in_aaaa([], T212, T213, .(T212, T213)) → appc71_out_aaaa([], T212, T213, .(T212, T213))
appc71_in_aaaa(.(T222, T226), T227, T228, .(T222, X403)) → U80_aaaa(T222, T226, T227, T228, X403, appc71_in_aaaa(T226, T227, T228, X403))
U80_aaaa(T222, T226, T227, T228, X403, appc71_out_aaaa(T226, T227, T228, X403)) → appc71_out_aaaa(.(T222, T226), T227, T228, .(T222, X403))
U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_out_aaaa(T198, T199, T197, X234)) → qc43_out_aaaaaaa(T199, T123, T127, T184, T198, T197, X234)
U79_aa(T192, T193, X370, qc43_out_aaaaaaa(T192, T193, X366, X367, X368, X369, X370)) → qsc60_out_aa(.(T192, T193), X370)
qsc39_in_aaa(T122, T123, X234) → U81_aaa(T122, T123, X234, qc43_in_aaaaaaa(T122, T123, X230, X231, X232, X233, X234))
U81_aaa(T122, T123, X234, qc43_out_aaaaaaa(T122, T123, X230, X231, X232, X233, X234)) → qsc39_out_aaa(T122, T123, X234)
qsc100_in_a([]) → qsc100_out_a([])
APP157_IN_GAGG(.(T542, T547), T548, T549, .(T542, T546)) → APP157_IN_GAGG(T547, T548, T549, T546)
lessc13_in_aa(0, s(T38)) → lessc13_out_aa(0, s(T38))
lessc13_in_aa(s(T45), s(T46)) → U68_aa(T45, T46, lessc13_in_aa(T45, T46))
U68_aa(T45, T46, lessc13_out_aa(T45, T46)) → lessc13_out_aa(s(T45), s(T46))
lessc13_in_ga(0, s(T38)) → lessc13_out_ga(0, s(T38))
lessc13_in_ga(s(T45), s(T46)) → U68_ga(T45, T46, lessc13_in_ga(T45, T46))
U68_ga(T45, T46, lessc13_out_ga(T45, T46)) → lessc13_out_ga(s(T45), s(T46))
partc23_in_gaaa(T70, .(T73, T77), .(T73, X123), X124) → U69_gaaa(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U69_gaaa(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → U70_gaaa(T70, T73, T77, X123, X124, partc23_in_gaaa(T70, T77, X123, X124))
partc23_in_gaaa(T95, .(T96, T98), X174, .(T96, X175)) → U71_gaaa(T95, T96, T98, X174, X175, partc23_in_gaaa(T95, T98, X174, X175))
partc23_in_gaaa(T104, [], [], []) → partc23_out_gaaa(T104, [], [], [])
U71_gaaa(T95, T96, T98, X174, X175, partc23_out_gaaa(T95, T98, X174, X175)) → partc23_out_gaaa(T95, .(T96, T98), X174, .(T96, X175))
U70_gaaa(T70, T73, T77, X123, X124, partc23_out_gaaa(T70, T77, X123, X124)) → partc23_out_gaaa(T70, .(T73, T77), .(T73, X123), X124)
partc44_in_aaaa(T153, .(T149, T154), .(T149, X282), X283) → U72_aaaa(T153, T149, T154, X282, X283, lessc13_in_aa(T153, T149))
U72_aaaa(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → U73_aaaa(T153, T149, T154, X282, X283, partc23_in_gaaa(T153, T154, X282, X283))
U73_aaaa(T153, T149, T154, X282, X283, partc23_out_gaaa(T153, T154, X282, X283)) → partc44_out_aaaa(T153, .(T149, T154), .(T149, X282), X283)
partc44_in_aaaa(T175, .(T173, T176), X333, .(T173, X334)) → U74_aaaa(T175, T173, T176, X333, X334, partc44_in_aaaa(T175, T176, X333, X334))
partc44_in_aaaa(T182, [], [], []) → partc44_out_aaaa(T182, [], [], [])
U74_aaaa(T175, T173, T176, X333, X334, partc44_out_aaaa(T175, T176, X333, X334)) → partc44_out_aaaa(T175, .(T173, T176), X333, .(T173, X334))
qsc60_in_aa([], []) → qsc60_out_aa([], [])
qsc60_in_aa(.(T192, T193), X370) → U79_aa(T192, T193, X370, qc43_in_aaaaaaa(T192, T193, X366, X367, X368, X369, X370))
qc43_in_aaaaaaa(T199, T123, T127, T184, T198, T197, X234) → U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_in_aaaa(T199, T123, T127, T184))
U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_out_aaaa(T199, T123, T127, T184)) → U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T127, T198))
U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T127, T198)) → U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T184, T197))
U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_in_aaaa(T198, T199, T197, X234))
appc71_in_aaaa([], T212, T213, .(T212, T213)) → appc71_out_aaaa([], T212, T213, .(T212, T213))
appc71_in_aaaa(.(T222, T226), T227, T228, .(T222, X403)) → U80_aaaa(T222, T226, T227, T228, X403, appc71_in_aaaa(T226, T227, T228, X403))
U80_aaaa(T222, T226, T227, T228, X403, appc71_out_aaaa(T226, T227, T228, X403)) → appc71_out_aaaa(.(T222, T226), T227, T228, .(T222, X403))
U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_out_aaaa(T198, T199, T197, X234)) → qc43_out_aaaaaaa(T199, T123, T127, T184, T198, T197, X234)
U79_aa(T192, T193, X370, qc43_out_aaaaaaa(T192, T193, X366, X367, X368, X369, X370)) → qsc60_out_aa(.(T192, T193), X370)
qsc39_in_aaa(T122, T123, X234) → U81_aaa(T122, T123, X234, qc43_in_aaaaaaa(T122, T123, X230, X231, X232, X233, X234))
U81_aaa(T122, T123, X234, qc43_out_aaaaaaa(T122, T123, X230, X231, X232, X233, X234)) → qsc39_out_aaa(T122, T123, X234)
qsc100_in_a([]) → qsc100_out_a([])
APP157_IN_GAGG(.(T542, T547), T548, T549, .(T542, T546)) → APP157_IN_GAGG(T547, T548, T549, T546)
APP157_IN_GAGG(.(T542, T547), T549, .(T542, T546)) → APP157_IN_GAGG(T547, T549, T546)
From the DPs we obtained the following set of size-change graphs:
APP157_IN_AAAG(.(T542, T547), T548, T549, .(T542, T546)) → APP157_IN_AAAG(T547, T548, T549, T546)
lessc13_in_aa(0, s(T38)) → lessc13_out_aa(0, s(T38))
lessc13_in_aa(s(T45), s(T46)) → U68_aa(T45, T46, lessc13_in_aa(T45, T46))
U68_aa(T45, T46, lessc13_out_aa(T45, T46)) → lessc13_out_aa(s(T45), s(T46))
lessc13_in_ga(0, s(T38)) → lessc13_out_ga(0, s(T38))
lessc13_in_ga(s(T45), s(T46)) → U68_ga(T45, T46, lessc13_in_ga(T45, T46))
U68_ga(T45, T46, lessc13_out_ga(T45, T46)) → lessc13_out_ga(s(T45), s(T46))
partc23_in_gaaa(T70, .(T73, T77), .(T73, X123), X124) → U69_gaaa(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U69_gaaa(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → U70_gaaa(T70, T73, T77, X123, X124, partc23_in_gaaa(T70, T77, X123, X124))
partc23_in_gaaa(T95, .(T96, T98), X174, .(T96, X175)) → U71_gaaa(T95, T96, T98, X174, X175, partc23_in_gaaa(T95, T98, X174, X175))
partc23_in_gaaa(T104, [], [], []) → partc23_out_gaaa(T104, [], [], [])
U71_gaaa(T95, T96, T98, X174, X175, partc23_out_gaaa(T95, T98, X174, X175)) → partc23_out_gaaa(T95, .(T96, T98), X174, .(T96, X175))
U70_gaaa(T70, T73, T77, X123, X124, partc23_out_gaaa(T70, T77, X123, X124)) → partc23_out_gaaa(T70, .(T73, T77), .(T73, X123), X124)
partc44_in_aaaa(T153, .(T149, T154), .(T149, X282), X283) → U72_aaaa(T153, T149, T154, X282, X283, lessc13_in_aa(T153, T149))
U72_aaaa(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → U73_aaaa(T153, T149, T154, X282, X283, partc23_in_gaaa(T153, T154, X282, X283))
U73_aaaa(T153, T149, T154, X282, X283, partc23_out_gaaa(T153, T154, X282, X283)) → partc44_out_aaaa(T153, .(T149, T154), .(T149, X282), X283)
partc44_in_aaaa(T175, .(T173, T176), X333, .(T173, X334)) → U74_aaaa(T175, T173, T176, X333, X334, partc44_in_aaaa(T175, T176, X333, X334))
partc44_in_aaaa(T182, [], [], []) → partc44_out_aaaa(T182, [], [], [])
U74_aaaa(T175, T173, T176, X333, X334, partc44_out_aaaa(T175, T176, X333, X334)) → partc44_out_aaaa(T175, .(T173, T176), X333, .(T173, X334))
qsc60_in_aa([], []) → qsc60_out_aa([], [])
qsc60_in_aa(.(T192, T193), X370) → U79_aa(T192, T193, X370, qc43_in_aaaaaaa(T192, T193, X366, X367, X368, X369, X370))
qc43_in_aaaaaaa(T199, T123, T127, T184, T198, T197, X234) → U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_in_aaaa(T199, T123, T127, T184))
U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_out_aaaa(T199, T123, T127, T184)) → U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T127, T198))
U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T127, T198)) → U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T184, T197))
U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_in_aaaa(T198, T199, T197, X234))
appc71_in_aaaa([], T212, T213, .(T212, T213)) → appc71_out_aaaa([], T212, T213, .(T212, T213))
appc71_in_aaaa(.(T222, T226), T227, T228, .(T222, X403)) → U80_aaaa(T222, T226, T227, T228, X403, appc71_in_aaaa(T226, T227, T228, X403))
U80_aaaa(T222, T226, T227, T228, X403, appc71_out_aaaa(T226, T227, T228, X403)) → appc71_out_aaaa(.(T222, T226), T227, T228, .(T222, X403))
U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_out_aaaa(T198, T199, T197, X234)) → qc43_out_aaaaaaa(T199, T123, T127, T184, T198, T197, X234)
U79_aa(T192, T193, X370, qc43_out_aaaaaaa(T192, T193, X366, X367, X368, X369, X370)) → qsc60_out_aa(.(T192, T193), X370)
qsc39_in_aaa(T122, T123, X234) → U81_aaa(T122, T123, X234, qc43_in_aaaaaaa(T122, T123, X230, X231, X232, X233, X234))
U81_aaa(T122, T123, X234, qc43_out_aaaaaaa(T122, T123, X230, X231, X232, X233, X234)) → qsc39_out_aaa(T122, T123, X234)
qsc100_in_a([]) → qsc100_out_a([])
APP157_IN_AAAG(.(T542, T547), T548, T549, .(T542, T546)) → APP157_IN_AAAG(T547, T548, T549, T546)
APP157_IN_AAAG(.(T542, T546)) → APP157_IN_AAAG(T546)
From the DPs we obtained the following set of size-change graphs:
APP131_IN_AGAG(.(T433, T438), T435, T439, .(T433, T437)) → APP131_IN_AGAG(T438, T435, T439, T437)
lessc13_in_aa(0, s(T38)) → lessc13_out_aa(0, s(T38))
lessc13_in_aa(s(T45), s(T46)) → U68_aa(T45, T46, lessc13_in_aa(T45, T46))
U68_aa(T45, T46, lessc13_out_aa(T45, T46)) → lessc13_out_aa(s(T45), s(T46))
lessc13_in_ga(0, s(T38)) → lessc13_out_ga(0, s(T38))
lessc13_in_ga(s(T45), s(T46)) → U68_ga(T45, T46, lessc13_in_ga(T45, T46))
U68_ga(T45, T46, lessc13_out_ga(T45, T46)) → lessc13_out_ga(s(T45), s(T46))
partc23_in_gaaa(T70, .(T73, T77), .(T73, X123), X124) → U69_gaaa(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U69_gaaa(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → U70_gaaa(T70, T73, T77, X123, X124, partc23_in_gaaa(T70, T77, X123, X124))
partc23_in_gaaa(T95, .(T96, T98), X174, .(T96, X175)) → U71_gaaa(T95, T96, T98, X174, X175, partc23_in_gaaa(T95, T98, X174, X175))
partc23_in_gaaa(T104, [], [], []) → partc23_out_gaaa(T104, [], [], [])
U71_gaaa(T95, T96, T98, X174, X175, partc23_out_gaaa(T95, T98, X174, X175)) → partc23_out_gaaa(T95, .(T96, T98), X174, .(T96, X175))
U70_gaaa(T70, T73, T77, X123, X124, partc23_out_gaaa(T70, T77, X123, X124)) → partc23_out_gaaa(T70, .(T73, T77), .(T73, X123), X124)
partc44_in_aaaa(T153, .(T149, T154), .(T149, X282), X283) → U72_aaaa(T153, T149, T154, X282, X283, lessc13_in_aa(T153, T149))
U72_aaaa(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → U73_aaaa(T153, T149, T154, X282, X283, partc23_in_gaaa(T153, T154, X282, X283))
U73_aaaa(T153, T149, T154, X282, X283, partc23_out_gaaa(T153, T154, X282, X283)) → partc44_out_aaaa(T153, .(T149, T154), .(T149, X282), X283)
partc44_in_aaaa(T175, .(T173, T176), X333, .(T173, X334)) → U74_aaaa(T175, T173, T176, X333, X334, partc44_in_aaaa(T175, T176, X333, X334))
partc44_in_aaaa(T182, [], [], []) → partc44_out_aaaa(T182, [], [], [])
U74_aaaa(T175, T173, T176, X333, X334, partc44_out_aaaa(T175, T176, X333, X334)) → partc44_out_aaaa(T175, .(T173, T176), X333, .(T173, X334))
qsc60_in_aa([], []) → qsc60_out_aa([], [])
qsc60_in_aa(.(T192, T193), X370) → U79_aa(T192, T193, X370, qc43_in_aaaaaaa(T192, T193, X366, X367, X368, X369, X370))
qc43_in_aaaaaaa(T199, T123, T127, T184, T198, T197, X234) → U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_in_aaaa(T199, T123, T127, T184))
U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_out_aaaa(T199, T123, T127, T184)) → U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T127, T198))
U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T127, T198)) → U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T184, T197))
U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_in_aaaa(T198, T199, T197, X234))
appc71_in_aaaa([], T212, T213, .(T212, T213)) → appc71_out_aaaa([], T212, T213, .(T212, T213))
appc71_in_aaaa(.(T222, T226), T227, T228, .(T222, X403)) → U80_aaaa(T222, T226, T227, T228, X403, appc71_in_aaaa(T226, T227, T228, X403))
U80_aaaa(T222, T226, T227, T228, X403, appc71_out_aaaa(T226, T227, T228, X403)) → appc71_out_aaaa(.(T222, T226), T227, T228, .(T222, X403))
U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_out_aaaa(T198, T199, T197, X234)) → qc43_out_aaaaaaa(T199, T123, T127, T184, T198, T197, X234)
U79_aa(T192, T193, X370, qc43_out_aaaaaaa(T192, T193, X366, X367, X368, X369, X370)) → qsc60_out_aa(.(T192, T193), X370)
qsc39_in_aaa(T122, T123, X234) → U81_aaa(T122, T123, X234, qc43_in_aaaaaaa(T122, T123, X230, X231, X232, X233, X234))
U81_aaa(T122, T123, X234, qc43_out_aaaaaaa(T122, T123, X230, X231, X232, X233, X234)) → qsc39_out_aaa(T122, T123, X234)
qsc100_in_a([]) → qsc100_out_a([])
APP131_IN_AGAG(.(T433, T438), T435, T439, .(T433, T437)) → APP131_IN_AGAG(T438, T435, T439, T437)
APP131_IN_AGAG(T435, .(T433, T437)) → APP131_IN_AGAG(T435, T437)
From the DPs we obtained the following set of size-change graphs:
APP71_IN_AAAA(.(T222, T226), T227, T228, .(T222, X403)) → APP71_IN_AAAA(T226, T227, T228, X403)
lessc13_in_aa(0, s(T38)) → lessc13_out_aa(0, s(T38))
lessc13_in_aa(s(T45), s(T46)) → U68_aa(T45, T46, lessc13_in_aa(T45, T46))
U68_aa(T45, T46, lessc13_out_aa(T45, T46)) → lessc13_out_aa(s(T45), s(T46))
lessc13_in_ga(0, s(T38)) → lessc13_out_ga(0, s(T38))
lessc13_in_ga(s(T45), s(T46)) → U68_ga(T45, T46, lessc13_in_ga(T45, T46))
U68_ga(T45, T46, lessc13_out_ga(T45, T46)) → lessc13_out_ga(s(T45), s(T46))
partc23_in_gaaa(T70, .(T73, T77), .(T73, X123), X124) → U69_gaaa(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U69_gaaa(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → U70_gaaa(T70, T73, T77, X123, X124, partc23_in_gaaa(T70, T77, X123, X124))
partc23_in_gaaa(T95, .(T96, T98), X174, .(T96, X175)) → U71_gaaa(T95, T96, T98, X174, X175, partc23_in_gaaa(T95, T98, X174, X175))
partc23_in_gaaa(T104, [], [], []) → partc23_out_gaaa(T104, [], [], [])
U71_gaaa(T95, T96, T98, X174, X175, partc23_out_gaaa(T95, T98, X174, X175)) → partc23_out_gaaa(T95, .(T96, T98), X174, .(T96, X175))
U70_gaaa(T70, T73, T77, X123, X124, partc23_out_gaaa(T70, T77, X123, X124)) → partc23_out_gaaa(T70, .(T73, T77), .(T73, X123), X124)
partc44_in_aaaa(T153, .(T149, T154), .(T149, X282), X283) → U72_aaaa(T153, T149, T154, X282, X283, lessc13_in_aa(T153, T149))
U72_aaaa(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → U73_aaaa(T153, T149, T154, X282, X283, partc23_in_gaaa(T153, T154, X282, X283))
U73_aaaa(T153, T149, T154, X282, X283, partc23_out_gaaa(T153, T154, X282, X283)) → partc44_out_aaaa(T153, .(T149, T154), .(T149, X282), X283)
partc44_in_aaaa(T175, .(T173, T176), X333, .(T173, X334)) → U74_aaaa(T175, T173, T176, X333, X334, partc44_in_aaaa(T175, T176, X333, X334))
partc44_in_aaaa(T182, [], [], []) → partc44_out_aaaa(T182, [], [], [])
U74_aaaa(T175, T173, T176, X333, X334, partc44_out_aaaa(T175, T176, X333, X334)) → partc44_out_aaaa(T175, .(T173, T176), X333, .(T173, X334))
qsc60_in_aa([], []) → qsc60_out_aa([], [])
qsc60_in_aa(.(T192, T193), X370) → U79_aa(T192, T193, X370, qc43_in_aaaaaaa(T192, T193, X366, X367, X368, X369, X370))
qc43_in_aaaaaaa(T199, T123, T127, T184, T198, T197, X234) → U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_in_aaaa(T199, T123, T127, T184))
U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_out_aaaa(T199, T123, T127, T184)) → U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T127, T198))
U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T127, T198)) → U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T184, T197))
U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_in_aaaa(T198, T199, T197, X234))
appc71_in_aaaa([], T212, T213, .(T212, T213)) → appc71_out_aaaa([], T212, T213, .(T212, T213))
appc71_in_aaaa(.(T222, T226), T227, T228, .(T222, X403)) → U80_aaaa(T222, T226, T227, T228, X403, appc71_in_aaaa(T226, T227, T228, X403))
U80_aaaa(T222, T226, T227, T228, X403, appc71_out_aaaa(T226, T227, T228, X403)) → appc71_out_aaaa(.(T222, T226), T227, T228, .(T222, X403))
U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_out_aaaa(T198, T199, T197, X234)) → qc43_out_aaaaaaa(T199, T123, T127, T184, T198, T197, X234)
U79_aa(T192, T193, X370, qc43_out_aaaaaaa(T192, T193, X366, X367, X368, X369, X370)) → qsc60_out_aa(.(T192, T193), X370)
qsc39_in_aaa(T122, T123, X234) → U81_aaa(T122, T123, X234, qc43_in_aaaaaaa(T122, T123, X230, X231, X232, X233, X234))
U81_aaa(T122, T123, X234, qc43_out_aaaaaaa(T122, T123, X230, X231, X232, X233, X234)) → qsc39_out_aaa(T122, T123, X234)
qsc100_in_a([]) → qsc100_out_a([])
APP71_IN_AAAA(.(T222, T226), T227, T228, .(T222, X403)) → APP71_IN_AAAA(T226, T227, T228, X403)
APP71_IN_AAAA → APP71_IN_AAAA
LESS13_IN_GA(s(T45), s(T46)) → LESS13_IN_GA(T45, T46)
lessc13_in_aa(0, s(T38)) → lessc13_out_aa(0, s(T38))
lessc13_in_aa(s(T45), s(T46)) → U68_aa(T45, T46, lessc13_in_aa(T45, T46))
U68_aa(T45, T46, lessc13_out_aa(T45, T46)) → lessc13_out_aa(s(T45), s(T46))
lessc13_in_ga(0, s(T38)) → lessc13_out_ga(0, s(T38))
lessc13_in_ga(s(T45), s(T46)) → U68_ga(T45, T46, lessc13_in_ga(T45, T46))
U68_ga(T45, T46, lessc13_out_ga(T45, T46)) → lessc13_out_ga(s(T45), s(T46))
partc23_in_gaaa(T70, .(T73, T77), .(T73, X123), X124) → U69_gaaa(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U69_gaaa(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → U70_gaaa(T70, T73, T77, X123, X124, partc23_in_gaaa(T70, T77, X123, X124))
partc23_in_gaaa(T95, .(T96, T98), X174, .(T96, X175)) → U71_gaaa(T95, T96, T98, X174, X175, partc23_in_gaaa(T95, T98, X174, X175))
partc23_in_gaaa(T104, [], [], []) → partc23_out_gaaa(T104, [], [], [])
U71_gaaa(T95, T96, T98, X174, X175, partc23_out_gaaa(T95, T98, X174, X175)) → partc23_out_gaaa(T95, .(T96, T98), X174, .(T96, X175))
U70_gaaa(T70, T73, T77, X123, X124, partc23_out_gaaa(T70, T77, X123, X124)) → partc23_out_gaaa(T70, .(T73, T77), .(T73, X123), X124)
partc44_in_aaaa(T153, .(T149, T154), .(T149, X282), X283) → U72_aaaa(T153, T149, T154, X282, X283, lessc13_in_aa(T153, T149))
U72_aaaa(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → U73_aaaa(T153, T149, T154, X282, X283, partc23_in_gaaa(T153, T154, X282, X283))
U73_aaaa(T153, T149, T154, X282, X283, partc23_out_gaaa(T153, T154, X282, X283)) → partc44_out_aaaa(T153, .(T149, T154), .(T149, X282), X283)
partc44_in_aaaa(T175, .(T173, T176), X333, .(T173, X334)) → U74_aaaa(T175, T173, T176, X333, X334, partc44_in_aaaa(T175, T176, X333, X334))
partc44_in_aaaa(T182, [], [], []) → partc44_out_aaaa(T182, [], [], [])
U74_aaaa(T175, T173, T176, X333, X334, partc44_out_aaaa(T175, T176, X333, X334)) → partc44_out_aaaa(T175, .(T173, T176), X333, .(T173, X334))
qsc60_in_aa([], []) → qsc60_out_aa([], [])
qsc60_in_aa(.(T192, T193), X370) → U79_aa(T192, T193, X370, qc43_in_aaaaaaa(T192, T193, X366, X367, X368, X369, X370))
qc43_in_aaaaaaa(T199, T123, T127, T184, T198, T197, X234) → U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_in_aaaa(T199, T123, T127, T184))
U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_out_aaaa(T199, T123, T127, T184)) → U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T127, T198))
U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T127, T198)) → U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T184, T197))
U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_in_aaaa(T198, T199, T197, X234))
appc71_in_aaaa([], T212, T213, .(T212, T213)) → appc71_out_aaaa([], T212, T213, .(T212, T213))
appc71_in_aaaa(.(T222, T226), T227, T228, .(T222, X403)) → U80_aaaa(T222, T226, T227, T228, X403, appc71_in_aaaa(T226, T227, T228, X403))
U80_aaaa(T222, T226, T227, T228, X403, appc71_out_aaaa(T226, T227, T228, X403)) → appc71_out_aaaa(.(T222, T226), T227, T228, .(T222, X403))
U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_out_aaaa(T198, T199, T197, X234)) → qc43_out_aaaaaaa(T199, T123, T127, T184, T198, T197, X234)
U79_aa(T192, T193, X370, qc43_out_aaaaaaa(T192, T193, X366, X367, X368, X369, X370)) → qsc60_out_aa(.(T192, T193), X370)
qsc39_in_aaa(T122, T123, X234) → U81_aaa(T122, T123, X234, qc43_in_aaaaaaa(T122, T123, X230, X231, X232, X233, X234))
U81_aaa(T122, T123, X234, qc43_out_aaaaaaa(T122, T123, X230, X231, X232, X233, X234)) → qsc39_out_aaa(T122, T123, X234)
qsc100_in_a([]) → qsc100_out_a([])
LESS13_IN_GA(s(T45), s(T46)) → LESS13_IN_GA(T45, T46)
LESS13_IN_GA(s(T45)) → LESS13_IN_GA(T45)
From the DPs we obtained the following set of size-change graphs:
PART23_IN_GAAA(T70, .(T73, T77), .(T73, X123), X124) → U3_GAAA(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U3_GAAA(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → PART23_IN_GAAA(T70, T77, X123, X124)
PART23_IN_GAAA(T95, .(T96, T98), X174, .(T96, X175)) → PART23_IN_GAAA(T95, T98, X174, X175)
lessc13_in_aa(0, s(T38)) → lessc13_out_aa(0, s(T38))
lessc13_in_aa(s(T45), s(T46)) → U68_aa(T45, T46, lessc13_in_aa(T45, T46))
U68_aa(T45, T46, lessc13_out_aa(T45, T46)) → lessc13_out_aa(s(T45), s(T46))
lessc13_in_ga(0, s(T38)) → lessc13_out_ga(0, s(T38))
lessc13_in_ga(s(T45), s(T46)) → U68_ga(T45, T46, lessc13_in_ga(T45, T46))
U68_ga(T45, T46, lessc13_out_ga(T45, T46)) → lessc13_out_ga(s(T45), s(T46))
partc23_in_gaaa(T70, .(T73, T77), .(T73, X123), X124) → U69_gaaa(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U69_gaaa(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → U70_gaaa(T70, T73, T77, X123, X124, partc23_in_gaaa(T70, T77, X123, X124))
partc23_in_gaaa(T95, .(T96, T98), X174, .(T96, X175)) → U71_gaaa(T95, T96, T98, X174, X175, partc23_in_gaaa(T95, T98, X174, X175))
partc23_in_gaaa(T104, [], [], []) → partc23_out_gaaa(T104, [], [], [])
U71_gaaa(T95, T96, T98, X174, X175, partc23_out_gaaa(T95, T98, X174, X175)) → partc23_out_gaaa(T95, .(T96, T98), X174, .(T96, X175))
U70_gaaa(T70, T73, T77, X123, X124, partc23_out_gaaa(T70, T77, X123, X124)) → partc23_out_gaaa(T70, .(T73, T77), .(T73, X123), X124)
partc44_in_aaaa(T153, .(T149, T154), .(T149, X282), X283) → U72_aaaa(T153, T149, T154, X282, X283, lessc13_in_aa(T153, T149))
U72_aaaa(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → U73_aaaa(T153, T149, T154, X282, X283, partc23_in_gaaa(T153, T154, X282, X283))
U73_aaaa(T153, T149, T154, X282, X283, partc23_out_gaaa(T153, T154, X282, X283)) → partc44_out_aaaa(T153, .(T149, T154), .(T149, X282), X283)
partc44_in_aaaa(T175, .(T173, T176), X333, .(T173, X334)) → U74_aaaa(T175, T173, T176, X333, X334, partc44_in_aaaa(T175, T176, X333, X334))
partc44_in_aaaa(T182, [], [], []) → partc44_out_aaaa(T182, [], [], [])
U74_aaaa(T175, T173, T176, X333, X334, partc44_out_aaaa(T175, T176, X333, X334)) → partc44_out_aaaa(T175, .(T173, T176), X333, .(T173, X334))
qsc60_in_aa([], []) → qsc60_out_aa([], [])
qsc60_in_aa(.(T192, T193), X370) → U79_aa(T192, T193, X370, qc43_in_aaaaaaa(T192, T193, X366, X367, X368, X369, X370))
qc43_in_aaaaaaa(T199, T123, T127, T184, T198, T197, X234) → U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_in_aaaa(T199, T123, T127, T184))
U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_out_aaaa(T199, T123, T127, T184)) → U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T127, T198))
U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T127, T198)) → U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T184, T197))
U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_in_aaaa(T198, T199, T197, X234))
appc71_in_aaaa([], T212, T213, .(T212, T213)) → appc71_out_aaaa([], T212, T213, .(T212, T213))
appc71_in_aaaa(.(T222, T226), T227, T228, .(T222, X403)) → U80_aaaa(T222, T226, T227, T228, X403, appc71_in_aaaa(T226, T227, T228, X403))
U80_aaaa(T222, T226, T227, T228, X403, appc71_out_aaaa(T226, T227, T228, X403)) → appc71_out_aaaa(.(T222, T226), T227, T228, .(T222, X403))
U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_out_aaaa(T198, T199, T197, X234)) → qc43_out_aaaaaaa(T199, T123, T127, T184, T198, T197, X234)
U79_aa(T192, T193, X370, qc43_out_aaaaaaa(T192, T193, X366, X367, X368, X369, X370)) → qsc60_out_aa(.(T192, T193), X370)
qsc39_in_aaa(T122, T123, X234) → U81_aaa(T122, T123, X234, qc43_in_aaaaaaa(T122, T123, X230, X231, X232, X233, X234))
U81_aaa(T122, T123, X234, qc43_out_aaaaaaa(T122, T123, X230, X231, X232, X233, X234)) → qsc39_out_aaa(T122, T123, X234)
qsc100_in_a([]) → qsc100_out_a([])
PART23_IN_GAAA(T70, .(T73, T77), .(T73, X123), X124) → U3_GAAA(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U3_GAAA(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → PART23_IN_GAAA(T70, T77, X123, X124)
PART23_IN_GAAA(T95, .(T96, T98), X174, .(T96, X175)) → PART23_IN_GAAA(T95, T98, X174, X175)
lessc13_in_ga(0, s(T38)) → lessc13_out_ga(0, s(T38))
lessc13_in_ga(s(T45), s(T46)) → U68_ga(T45, T46, lessc13_in_ga(T45, T46))
U68_ga(T45, T46, lessc13_out_ga(T45, T46)) → lessc13_out_ga(s(T45), s(T46))
PART23_IN_GAAA(T70) → U3_GAAA(T70, lessc13_in_ga(T70))
U3_GAAA(T70, lessc13_out_ga(T70)) → PART23_IN_GAAA(T70)
PART23_IN_GAAA(T95) → PART23_IN_GAAA(T95)
lessc13_in_ga(0) → lessc13_out_ga(0)
lessc13_in_ga(s(T45)) → U68_ga(T45, lessc13_in_ga(T45))
U68_ga(T45, lessc13_out_ga(T45)) → lessc13_out_ga(s(T45))
lessc13_in_ga(x0)
U68_ga(x0, x1)
PART23_IN_GAAA(0) → U3_GAAA(0, lessc13_out_ga(0))
PART23_IN_GAAA(s(x0)) → U3_GAAA(s(x0), U68_ga(x0, lessc13_in_ga(x0)))
U3_GAAA(T70, lessc13_out_ga(T70)) → PART23_IN_GAAA(T70)
PART23_IN_GAAA(T95) → PART23_IN_GAAA(T95)
PART23_IN_GAAA(0) → U3_GAAA(0, lessc13_out_ga(0))
PART23_IN_GAAA(s(x0)) → U3_GAAA(s(x0), U68_ga(x0, lessc13_in_ga(x0)))
lessc13_in_ga(0) → lessc13_out_ga(0)
lessc13_in_ga(s(T45)) → U68_ga(T45, lessc13_in_ga(T45))
U68_ga(T45, lessc13_out_ga(T45)) → lessc13_out_ga(s(T45))
lessc13_in_ga(x0)
U68_ga(x0, x1)
U3_GAAA(0, lessc13_out_ga(0)) → PART23_IN_GAAA(0)
U3_GAAA(s(z0), lessc13_out_ga(s(z0))) → PART23_IN_GAAA(s(z0))
PART23_IN_GAAA(T95) → PART23_IN_GAAA(T95)
PART23_IN_GAAA(0) → U3_GAAA(0, lessc13_out_ga(0))
PART23_IN_GAAA(s(x0)) → U3_GAAA(s(x0), U68_ga(x0, lessc13_in_ga(x0)))
U3_GAAA(0, lessc13_out_ga(0)) → PART23_IN_GAAA(0)
U3_GAAA(s(z0), lessc13_out_ga(s(z0))) → PART23_IN_GAAA(s(z0))
lessc13_in_ga(0) → lessc13_out_ga(0)
lessc13_in_ga(s(T45)) → U68_ga(T45, lessc13_in_ga(T45))
U68_ga(T45, lessc13_out_ga(T45)) → lessc13_out_ga(s(T45))
lessc13_in_ga(x0)
U68_ga(x0, x1)
LESS13_IN_AA(s(T45), s(T46)) → LESS13_IN_AA(T45, T46)
lessc13_in_aa(0, s(T38)) → lessc13_out_aa(0, s(T38))
lessc13_in_aa(s(T45), s(T46)) → U68_aa(T45, T46, lessc13_in_aa(T45, T46))
U68_aa(T45, T46, lessc13_out_aa(T45, T46)) → lessc13_out_aa(s(T45), s(T46))
lessc13_in_ga(0, s(T38)) → lessc13_out_ga(0, s(T38))
lessc13_in_ga(s(T45), s(T46)) → U68_ga(T45, T46, lessc13_in_ga(T45, T46))
U68_ga(T45, T46, lessc13_out_ga(T45, T46)) → lessc13_out_ga(s(T45), s(T46))
partc23_in_gaaa(T70, .(T73, T77), .(T73, X123), X124) → U69_gaaa(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U69_gaaa(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → U70_gaaa(T70, T73, T77, X123, X124, partc23_in_gaaa(T70, T77, X123, X124))
partc23_in_gaaa(T95, .(T96, T98), X174, .(T96, X175)) → U71_gaaa(T95, T96, T98, X174, X175, partc23_in_gaaa(T95, T98, X174, X175))
partc23_in_gaaa(T104, [], [], []) → partc23_out_gaaa(T104, [], [], [])
U71_gaaa(T95, T96, T98, X174, X175, partc23_out_gaaa(T95, T98, X174, X175)) → partc23_out_gaaa(T95, .(T96, T98), X174, .(T96, X175))
U70_gaaa(T70, T73, T77, X123, X124, partc23_out_gaaa(T70, T77, X123, X124)) → partc23_out_gaaa(T70, .(T73, T77), .(T73, X123), X124)
partc44_in_aaaa(T153, .(T149, T154), .(T149, X282), X283) → U72_aaaa(T153, T149, T154, X282, X283, lessc13_in_aa(T153, T149))
U72_aaaa(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → U73_aaaa(T153, T149, T154, X282, X283, partc23_in_gaaa(T153, T154, X282, X283))
U73_aaaa(T153, T149, T154, X282, X283, partc23_out_gaaa(T153, T154, X282, X283)) → partc44_out_aaaa(T153, .(T149, T154), .(T149, X282), X283)
partc44_in_aaaa(T175, .(T173, T176), X333, .(T173, X334)) → U74_aaaa(T175, T173, T176, X333, X334, partc44_in_aaaa(T175, T176, X333, X334))
partc44_in_aaaa(T182, [], [], []) → partc44_out_aaaa(T182, [], [], [])
U74_aaaa(T175, T173, T176, X333, X334, partc44_out_aaaa(T175, T176, X333, X334)) → partc44_out_aaaa(T175, .(T173, T176), X333, .(T173, X334))
qsc60_in_aa([], []) → qsc60_out_aa([], [])
qsc60_in_aa(.(T192, T193), X370) → U79_aa(T192, T193, X370, qc43_in_aaaaaaa(T192, T193, X366, X367, X368, X369, X370))
qc43_in_aaaaaaa(T199, T123, T127, T184, T198, T197, X234) → U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_in_aaaa(T199, T123, T127, T184))
U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_out_aaaa(T199, T123, T127, T184)) → U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T127, T198))
U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T127, T198)) → U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T184, T197))
U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_in_aaaa(T198, T199, T197, X234))
appc71_in_aaaa([], T212, T213, .(T212, T213)) → appc71_out_aaaa([], T212, T213, .(T212, T213))
appc71_in_aaaa(.(T222, T226), T227, T228, .(T222, X403)) → U80_aaaa(T222, T226, T227, T228, X403, appc71_in_aaaa(T226, T227, T228, X403))
U80_aaaa(T222, T226, T227, T228, X403, appc71_out_aaaa(T226, T227, T228, X403)) → appc71_out_aaaa(.(T222, T226), T227, T228, .(T222, X403))
U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_out_aaaa(T198, T199, T197, X234)) → qc43_out_aaaaaaa(T199, T123, T127, T184, T198, T197, X234)
U79_aa(T192, T193, X370, qc43_out_aaaaaaa(T192, T193, X366, X367, X368, X369, X370)) → qsc60_out_aa(.(T192, T193), X370)
qsc39_in_aaa(T122, T123, X234) → U81_aaa(T122, T123, X234, qc43_in_aaaaaaa(T122, T123, X230, X231, X232, X233, X234))
U81_aaa(T122, T123, X234, qc43_out_aaaaaaa(T122, T123, X230, X231, X232, X233, X234)) → qsc39_out_aaa(T122, T123, X234)
qsc100_in_a([]) → qsc100_out_a([])
LESS13_IN_AA(s(T45), s(T46)) → LESS13_IN_AA(T45, T46)
LESS13_IN_AA → LESS13_IN_AA
PART44_IN_AAAA(T175, .(T173, T176), X333, .(T173, X334)) → PART44_IN_AAAA(T175, T176, X333, X334)
lessc13_in_aa(0, s(T38)) → lessc13_out_aa(0, s(T38))
lessc13_in_aa(s(T45), s(T46)) → U68_aa(T45, T46, lessc13_in_aa(T45, T46))
U68_aa(T45, T46, lessc13_out_aa(T45, T46)) → lessc13_out_aa(s(T45), s(T46))
lessc13_in_ga(0, s(T38)) → lessc13_out_ga(0, s(T38))
lessc13_in_ga(s(T45), s(T46)) → U68_ga(T45, T46, lessc13_in_ga(T45, T46))
U68_ga(T45, T46, lessc13_out_ga(T45, T46)) → lessc13_out_ga(s(T45), s(T46))
partc23_in_gaaa(T70, .(T73, T77), .(T73, X123), X124) → U69_gaaa(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U69_gaaa(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → U70_gaaa(T70, T73, T77, X123, X124, partc23_in_gaaa(T70, T77, X123, X124))
partc23_in_gaaa(T95, .(T96, T98), X174, .(T96, X175)) → U71_gaaa(T95, T96, T98, X174, X175, partc23_in_gaaa(T95, T98, X174, X175))
partc23_in_gaaa(T104, [], [], []) → partc23_out_gaaa(T104, [], [], [])
U71_gaaa(T95, T96, T98, X174, X175, partc23_out_gaaa(T95, T98, X174, X175)) → partc23_out_gaaa(T95, .(T96, T98), X174, .(T96, X175))
U70_gaaa(T70, T73, T77, X123, X124, partc23_out_gaaa(T70, T77, X123, X124)) → partc23_out_gaaa(T70, .(T73, T77), .(T73, X123), X124)
partc44_in_aaaa(T153, .(T149, T154), .(T149, X282), X283) → U72_aaaa(T153, T149, T154, X282, X283, lessc13_in_aa(T153, T149))
U72_aaaa(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → U73_aaaa(T153, T149, T154, X282, X283, partc23_in_gaaa(T153, T154, X282, X283))
U73_aaaa(T153, T149, T154, X282, X283, partc23_out_gaaa(T153, T154, X282, X283)) → partc44_out_aaaa(T153, .(T149, T154), .(T149, X282), X283)
partc44_in_aaaa(T175, .(T173, T176), X333, .(T173, X334)) → U74_aaaa(T175, T173, T176, X333, X334, partc44_in_aaaa(T175, T176, X333, X334))
partc44_in_aaaa(T182, [], [], []) → partc44_out_aaaa(T182, [], [], [])
U74_aaaa(T175, T173, T176, X333, X334, partc44_out_aaaa(T175, T176, X333, X334)) → partc44_out_aaaa(T175, .(T173, T176), X333, .(T173, X334))
qsc60_in_aa([], []) → qsc60_out_aa([], [])
qsc60_in_aa(.(T192, T193), X370) → U79_aa(T192, T193, X370, qc43_in_aaaaaaa(T192, T193, X366, X367, X368, X369, X370))
qc43_in_aaaaaaa(T199, T123, T127, T184, T198, T197, X234) → U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_in_aaaa(T199, T123, T127, T184))
U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_out_aaaa(T199, T123, T127, T184)) → U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T127, T198))
U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T127, T198)) → U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T184, T197))
U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_in_aaaa(T198, T199, T197, X234))
appc71_in_aaaa([], T212, T213, .(T212, T213)) → appc71_out_aaaa([], T212, T213, .(T212, T213))
appc71_in_aaaa(.(T222, T226), T227, T228, .(T222, X403)) → U80_aaaa(T222, T226, T227, T228, X403, appc71_in_aaaa(T226, T227, T228, X403))
U80_aaaa(T222, T226, T227, T228, X403, appc71_out_aaaa(T226, T227, T228, X403)) → appc71_out_aaaa(.(T222, T226), T227, T228, .(T222, X403))
U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_out_aaaa(T198, T199, T197, X234)) → qc43_out_aaaaaaa(T199, T123, T127, T184, T198, T197, X234)
U79_aa(T192, T193, X370, qc43_out_aaaaaaa(T192, T193, X366, X367, X368, X369, X370)) → qsc60_out_aa(.(T192, T193), X370)
qsc39_in_aaa(T122, T123, X234) → U81_aaa(T122, T123, X234, qc43_in_aaaaaaa(T122, T123, X230, X231, X232, X233, X234))
U81_aaa(T122, T123, X234, qc43_out_aaaaaaa(T122, T123, X230, X231, X232, X233, X234)) → qsc39_out_aaa(T122, T123, X234)
qsc100_in_a([]) → qsc100_out_a([])
PART44_IN_AAAA(T175, .(T173, T176), X333, .(T173, X334)) → PART44_IN_AAAA(T175, T176, X333, X334)
PART44_IN_AAAA → PART44_IN_AAAA
P43_IN_AAAAAAA(T129, T123, T127, T128, X232, X233, X234) → U11_AAAAAAA(T129, T123, T127, T128, X232, X233, X234, partc44_in_aaaa(T129, T123, T127, T128))
U11_AAAAAAA(T129, T123, T127, T128, X232, X233, X234, partc44_out_aaaa(T129, T123, T127, T128)) → QS60_IN_AA(T127, X232)
QS60_IN_AA(.(T192, T193), X370) → P43_IN_AAAAAAA(T192, T193, X366, X367, X368, X369, X370)
P43_IN_AAAAAAA(T185, T123, T127, T184, T183, X233, X234) → U13_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, partc44_in_aaaa(T185, T123, T127, T184))
U13_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, partc44_out_aaaa(T185, T123, T127, T184)) → U14_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, qsc60_in_aa(T127, T183))
U14_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, qsc60_out_aa(T127, T183)) → QS60_IN_AA(T184, X233)
lessc13_in_aa(0, s(T38)) → lessc13_out_aa(0, s(T38))
lessc13_in_aa(s(T45), s(T46)) → U68_aa(T45, T46, lessc13_in_aa(T45, T46))
U68_aa(T45, T46, lessc13_out_aa(T45, T46)) → lessc13_out_aa(s(T45), s(T46))
lessc13_in_ga(0, s(T38)) → lessc13_out_ga(0, s(T38))
lessc13_in_ga(s(T45), s(T46)) → U68_ga(T45, T46, lessc13_in_ga(T45, T46))
U68_ga(T45, T46, lessc13_out_ga(T45, T46)) → lessc13_out_ga(s(T45), s(T46))
partc23_in_gaaa(T70, .(T73, T77), .(T73, X123), X124) → U69_gaaa(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
U69_gaaa(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → U70_gaaa(T70, T73, T77, X123, X124, partc23_in_gaaa(T70, T77, X123, X124))
partc23_in_gaaa(T95, .(T96, T98), X174, .(T96, X175)) → U71_gaaa(T95, T96, T98, X174, X175, partc23_in_gaaa(T95, T98, X174, X175))
partc23_in_gaaa(T104, [], [], []) → partc23_out_gaaa(T104, [], [], [])
U71_gaaa(T95, T96, T98, X174, X175, partc23_out_gaaa(T95, T98, X174, X175)) → partc23_out_gaaa(T95, .(T96, T98), X174, .(T96, X175))
U70_gaaa(T70, T73, T77, X123, X124, partc23_out_gaaa(T70, T77, X123, X124)) → partc23_out_gaaa(T70, .(T73, T77), .(T73, X123), X124)
partc44_in_aaaa(T153, .(T149, T154), .(T149, X282), X283) → U72_aaaa(T153, T149, T154, X282, X283, lessc13_in_aa(T153, T149))
U72_aaaa(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → U73_aaaa(T153, T149, T154, X282, X283, partc23_in_gaaa(T153, T154, X282, X283))
U73_aaaa(T153, T149, T154, X282, X283, partc23_out_gaaa(T153, T154, X282, X283)) → partc44_out_aaaa(T153, .(T149, T154), .(T149, X282), X283)
partc44_in_aaaa(T175, .(T173, T176), X333, .(T173, X334)) → U74_aaaa(T175, T173, T176, X333, X334, partc44_in_aaaa(T175, T176, X333, X334))
partc44_in_aaaa(T182, [], [], []) → partc44_out_aaaa(T182, [], [], [])
U74_aaaa(T175, T173, T176, X333, X334, partc44_out_aaaa(T175, T176, X333, X334)) → partc44_out_aaaa(T175, .(T173, T176), X333, .(T173, X334))
qsc60_in_aa([], []) → qsc60_out_aa([], [])
qsc60_in_aa(.(T192, T193), X370) → U79_aa(T192, T193, X370, qc43_in_aaaaaaa(T192, T193, X366, X367, X368, X369, X370))
qc43_in_aaaaaaa(T199, T123, T127, T184, T198, T197, X234) → U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_in_aaaa(T199, T123, T127, T184))
U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_out_aaaa(T199, T123, T127, T184)) → U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T127, T198))
U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T127, T198)) → U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T184, T197))
U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_in_aaaa(T198, T199, T197, X234))
appc71_in_aaaa([], T212, T213, .(T212, T213)) → appc71_out_aaaa([], T212, T213, .(T212, T213))
appc71_in_aaaa(.(T222, T226), T227, T228, .(T222, X403)) → U80_aaaa(T222, T226, T227, T228, X403, appc71_in_aaaa(T226, T227, T228, X403))
U80_aaaa(T222, T226, T227, T228, X403, appc71_out_aaaa(T226, T227, T228, X403)) → appc71_out_aaaa(.(T222, T226), T227, T228, .(T222, X403))
U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_out_aaaa(T198, T199, T197, X234)) → qc43_out_aaaaaaa(T199, T123, T127, T184, T198, T197, X234)
U79_aa(T192, T193, X370, qc43_out_aaaaaaa(T192, T193, X366, X367, X368, X369, X370)) → qsc60_out_aa(.(T192, T193), X370)
qsc39_in_aaa(T122, T123, X234) → U81_aaa(T122, T123, X234, qc43_in_aaaaaaa(T122, T123, X230, X231, X232, X233, X234))
U81_aaa(T122, T123, X234, qc43_out_aaaaaaa(T122, T123, X230, X231, X232, X233, X234)) → qsc39_out_aaa(T122, T123, X234)
qsc100_in_a([]) → qsc100_out_a([])
P43_IN_AAAAAAA(T129, T123, T127, T128, X232, X233, X234) → U11_AAAAAAA(T129, T123, T127, T128, X232, X233, X234, partc44_in_aaaa(T129, T123, T127, T128))
U11_AAAAAAA(T129, T123, T127, T128, X232, X233, X234, partc44_out_aaaa(T129, T123, T127, T128)) → QS60_IN_AA(T127, X232)
QS60_IN_AA(.(T192, T193), X370) → P43_IN_AAAAAAA(T192, T193, X366, X367, X368, X369, X370)
P43_IN_AAAAAAA(T185, T123, T127, T184, T183, X233, X234) → U13_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, partc44_in_aaaa(T185, T123, T127, T184))
U13_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, partc44_out_aaaa(T185, T123, T127, T184)) → U14_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, qsc60_in_aa(T127, T183))
U14_AAAAAAA(T185, T123, T127, T184, T183, X233, X234, qsc60_out_aa(T127, T183)) → QS60_IN_AA(T184, X233)
partc44_in_aaaa(T153, .(T149, T154), .(T149, X282), X283) → U72_aaaa(T153, T149, T154, X282, X283, lessc13_in_aa(T153, T149))
partc44_in_aaaa(T175, .(T173, T176), X333, .(T173, X334)) → U74_aaaa(T175, T173, T176, X333, X334, partc44_in_aaaa(T175, T176, X333, X334))
partc44_in_aaaa(T182, [], [], []) → partc44_out_aaaa(T182, [], [], [])
qsc60_in_aa([], []) → qsc60_out_aa([], [])
qsc60_in_aa(.(T192, T193), X370) → U79_aa(T192, T193, X370, qc43_in_aaaaaaa(T192, T193, X366, X367, X368, X369, X370))
U72_aaaa(T153, T149, T154, X282, X283, lessc13_out_aa(T153, T149)) → U73_aaaa(T153, T149, T154, X282, X283, partc23_in_gaaa(T153, T154, X282, X283))
U74_aaaa(T175, T173, T176, X333, X334, partc44_out_aaaa(T175, T176, X333, X334)) → partc44_out_aaaa(T175, .(T173, T176), X333, .(T173, X334))
U79_aa(T192, T193, X370, qc43_out_aaaaaaa(T192, T193, X366, X367, X368, X369, X370)) → qsc60_out_aa(.(T192, T193), X370)
lessc13_in_aa(0, s(T38)) → lessc13_out_aa(0, s(T38))
lessc13_in_aa(s(T45), s(T46)) → U68_aa(T45, T46, lessc13_in_aa(T45, T46))
U73_aaaa(T153, T149, T154, X282, X283, partc23_out_gaaa(T153, T154, X282, X283)) → partc44_out_aaaa(T153, .(T149, T154), .(T149, X282), X283)
qc43_in_aaaaaaa(T199, T123, T127, T184, T198, T197, X234) → U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_in_aaaa(T199, T123, T127, T184))
U68_aa(T45, T46, lessc13_out_aa(T45, T46)) → lessc13_out_aa(s(T45), s(T46))
partc23_in_gaaa(T70, .(T73, T77), .(T73, X123), X124) → U69_gaaa(T70, T73, T77, X123, X124, lessc13_in_ga(T70, T73))
partc23_in_gaaa(T95, .(T96, T98), X174, .(T96, X175)) → U71_gaaa(T95, T96, T98, X174, X175, partc23_in_gaaa(T95, T98, X174, X175))
partc23_in_gaaa(T104, [], [], []) → partc23_out_gaaa(T104, [], [], [])
U75_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, partc44_out_aaaa(T199, T123, T127, T184)) → U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T127, T198))
U69_gaaa(T70, T73, T77, X123, X124, lessc13_out_ga(T70, T73)) → U70_gaaa(T70, T73, T77, X123, X124, partc23_in_gaaa(T70, T77, X123, X124))
U71_gaaa(T95, T96, T98, X174, X175, partc23_out_gaaa(T95, T98, X174, X175)) → partc23_out_gaaa(T95, .(T96, T98), X174, .(T96, X175))
U76_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T127, T198)) → U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_in_aa(T184, T197))
lessc13_in_ga(0, s(T38)) → lessc13_out_ga(0, s(T38))
lessc13_in_ga(s(T45), s(T46)) → U68_ga(T45, T46, lessc13_in_ga(T45, T46))
U70_gaaa(T70, T73, T77, X123, X124, partc23_out_gaaa(T70, T77, X123, X124)) → partc23_out_gaaa(T70, .(T73, T77), .(T73, X123), X124)
U77_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, qsc60_out_aa(T184, T197)) → U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_in_aaaa(T198, T199, T197, X234))
U68_ga(T45, T46, lessc13_out_ga(T45, T46)) → lessc13_out_ga(s(T45), s(T46))
U78_aaaaaaa(T199, T123, T127, T184, T198, T197, X234, appc71_out_aaaa(T198, T199, T197, X234)) → qc43_out_aaaaaaa(T199, T123, T127, T184, T198, T197, X234)
appc71_in_aaaa([], T212, T213, .(T212, T213)) → appc71_out_aaaa([], T212, T213, .(T212, T213))
appc71_in_aaaa(.(T222, T226), T227, T228, .(T222, X403)) → U80_aaaa(T222, T226, T227, T228, X403, appc71_in_aaaa(T226, T227, T228, X403))
U80_aaaa(T222, T226, T227, T228, X403, appc71_out_aaaa(T226, T227, T228, X403)) → appc71_out_aaaa(.(T222, T226), T227, T228, .(T222, X403))
P43_IN_AAAAAAA → U11_AAAAAAA(partc44_in_aaaa)
U11_AAAAAAA(partc44_out_aaaa) → QS60_IN_AA
QS60_IN_AA → P43_IN_AAAAAAA
P43_IN_AAAAAAA → U13_AAAAAAA(partc44_in_aaaa)
U13_AAAAAAA(partc44_out_aaaa) → U14_AAAAAAA(qsc60_in_aa)
U14_AAAAAAA(qsc60_out_aa) → QS60_IN_AA
partc44_in_aaaa → U72_aaaa(lessc13_in_aa)
partc44_in_aaaa → U74_aaaa(partc44_in_aaaa)
partc44_in_aaaa → partc44_out_aaaa
qsc60_in_aa → qsc60_out_aa
qsc60_in_aa → U79_aa(qc43_in_aaaaaaa)
U72_aaaa(lessc13_out_aa(T153)) → U73_aaaa(partc23_in_gaaa(T153))
U74_aaaa(partc44_out_aaaa) → partc44_out_aaaa
U79_aa(qc43_out_aaaaaaa) → qsc60_out_aa
lessc13_in_aa → lessc13_out_aa(0)
lessc13_in_aa → U68_aa(lessc13_in_aa)
U73_aaaa(partc23_out_gaaa(T153)) → partc44_out_aaaa
qc43_in_aaaaaaa → U75_aaaaaaa(partc44_in_aaaa)
U68_aa(lessc13_out_aa(T45)) → lessc13_out_aa(s(T45))
partc23_in_gaaa(T70) → U69_gaaa(T70, lessc13_in_ga(T70))
partc23_in_gaaa(T95) → U71_gaaa(T95, partc23_in_gaaa(T95))
partc23_in_gaaa(T104) → partc23_out_gaaa(T104)
U75_aaaaaaa(partc44_out_aaaa) → U76_aaaaaaa(qsc60_in_aa)
U69_gaaa(T70, lessc13_out_ga(T70)) → U70_gaaa(T70, partc23_in_gaaa(T70))
U71_gaaa(T95, partc23_out_gaaa(T95)) → partc23_out_gaaa(T95)
U76_aaaaaaa(qsc60_out_aa) → U77_aaaaaaa(qsc60_in_aa)
lessc13_in_ga(0) → lessc13_out_ga(0)
lessc13_in_ga(s(T45)) → U68_ga(T45, lessc13_in_ga(T45))
U70_gaaa(T70, partc23_out_gaaa(T70)) → partc23_out_gaaa(T70)
U77_aaaaaaa(qsc60_out_aa) → U78_aaaaaaa(appc71_in_aaaa)
U68_ga(T45, lessc13_out_ga(T45)) → lessc13_out_ga(s(T45))
U78_aaaaaaa(appc71_out_aaaa) → qc43_out_aaaaaaa
appc71_in_aaaa → appc71_out_aaaa
appc71_in_aaaa → U80_aaaa(appc71_in_aaaa)
U80_aaaa(appc71_out_aaaa) → appc71_out_aaaa
partc44_in_aaaa
qsc60_in_aa
U72_aaaa(x0)
U74_aaaa(x0)
U79_aa(x0)
lessc13_in_aa
U73_aaaa(x0)
qc43_in_aaaaaaa
U68_aa(x0)
partc23_in_gaaa(x0)
U75_aaaaaaa(x0)
U69_gaaa(x0, x1)
U71_gaaa(x0, x1)
U76_aaaaaaa(x0)
lessc13_in_ga(x0)
U70_gaaa(x0, x1)
U77_aaaaaaa(x0)
U68_ga(x0, x1)
U78_aaaaaaa(x0)
appc71_in_aaaa
U80_aaaa(x0)
P43_IN_AAAAAAA → U11_AAAAAAA(U72_aaaa(lessc13_in_aa))
P43_IN_AAAAAAA → U11_AAAAAAA(U74_aaaa(partc44_in_aaaa))
P43_IN_AAAAAAA → U11_AAAAAAA(partc44_out_aaaa)
U11_AAAAAAA(partc44_out_aaaa) → QS60_IN_AA
QS60_IN_AA → P43_IN_AAAAAAA
P43_IN_AAAAAAA → U13_AAAAAAA(partc44_in_aaaa)
U13_AAAAAAA(partc44_out_aaaa) → U14_AAAAAAA(qsc60_in_aa)
U14_AAAAAAA(qsc60_out_aa) → QS60_IN_AA
P43_IN_AAAAAAA → U11_AAAAAAA(U72_aaaa(lessc13_in_aa))
P43_IN_AAAAAAA → U11_AAAAAAA(U74_aaaa(partc44_in_aaaa))
P43_IN_AAAAAAA → U11_AAAAAAA(partc44_out_aaaa)
partc44_in_aaaa → U72_aaaa(lessc13_in_aa)
partc44_in_aaaa → U74_aaaa(partc44_in_aaaa)
partc44_in_aaaa → partc44_out_aaaa
qsc60_in_aa → qsc60_out_aa
qsc60_in_aa → U79_aa(qc43_in_aaaaaaa)
U72_aaaa(lessc13_out_aa(T153)) → U73_aaaa(partc23_in_gaaa(T153))
U74_aaaa(partc44_out_aaaa) → partc44_out_aaaa
U79_aa(qc43_out_aaaaaaa) → qsc60_out_aa
lessc13_in_aa → lessc13_out_aa(0)
lessc13_in_aa → U68_aa(lessc13_in_aa)
U73_aaaa(partc23_out_gaaa(T153)) → partc44_out_aaaa
qc43_in_aaaaaaa → U75_aaaaaaa(partc44_in_aaaa)
U68_aa(lessc13_out_aa(T45)) → lessc13_out_aa(s(T45))
partc23_in_gaaa(T70) → U69_gaaa(T70, lessc13_in_ga(T70))
partc23_in_gaaa(T95) → U71_gaaa(T95, partc23_in_gaaa(T95))
partc23_in_gaaa(T104) → partc23_out_gaaa(T104)
U75_aaaaaaa(partc44_out_aaaa) → U76_aaaaaaa(qsc60_in_aa)
U69_gaaa(T70, lessc13_out_ga(T70)) → U70_gaaa(T70, partc23_in_gaaa(T70))
U71_gaaa(T95, partc23_out_gaaa(T95)) → partc23_out_gaaa(T95)
U76_aaaaaaa(qsc60_out_aa) → U77_aaaaaaa(qsc60_in_aa)
lessc13_in_ga(0) → lessc13_out_ga(0)
lessc13_in_ga(s(T45)) → U68_ga(T45, lessc13_in_ga(T45))
U70_gaaa(T70, partc23_out_gaaa(T70)) → partc23_out_gaaa(T70)
U77_aaaaaaa(qsc60_out_aa) → U78_aaaaaaa(appc71_in_aaaa)
U68_ga(T45, lessc13_out_ga(T45)) → lessc13_out_ga(s(T45))
U78_aaaaaaa(appc71_out_aaaa) → qc43_out_aaaaaaa
appc71_in_aaaa → appc71_out_aaaa
appc71_in_aaaa → U80_aaaa(appc71_in_aaaa)
U80_aaaa(appc71_out_aaaa) → appc71_out_aaaa
partc44_in_aaaa
qsc60_in_aa
U72_aaaa(x0)
U74_aaaa(x0)
U79_aa(x0)
lessc13_in_aa
U73_aaaa(x0)
qc43_in_aaaaaaa
U68_aa(x0)
partc23_in_gaaa(x0)
U75_aaaaaaa(x0)
U69_gaaa(x0, x1)
U71_gaaa(x0, x1)
U76_aaaaaaa(x0)
lessc13_in_ga(x0)
U70_gaaa(x0, x1)
U77_aaaaaaa(x0)
U68_ga(x0, x1)
U78_aaaaaaa(x0)
appc71_in_aaaa
U80_aaaa(x0)
P43_IN_AAAAAAA → U13_AAAAAAA(U72_aaaa(lessc13_in_aa))
P43_IN_AAAAAAA → U13_AAAAAAA(U74_aaaa(partc44_in_aaaa))
P43_IN_AAAAAAA → U13_AAAAAAA(partc44_out_aaaa)
U11_AAAAAAA(partc44_out_aaaa) → QS60_IN_AA
QS60_IN_AA → P43_IN_AAAAAAA
U13_AAAAAAA(partc44_out_aaaa) → U14_AAAAAAA(qsc60_in_aa)
U14_AAAAAAA(qsc60_out_aa) → QS60_IN_AA
P43_IN_AAAAAAA → U11_AAAAAAA(U72_aaaa(lessc13_in_aa))
P43_IN_AAAAAAA → U11_AAAAAAA(U74_aaaa(partc44_in_aaaa))
P43_IN_AAAAAAA → U11_AAAAAAA(partc44_out_aaaa)
P43_IN_AAAAAAA → U13_AAAAAAA(U72_aaaa(lessc13_in_aa))
P43_IN_AAAAAAA → U13_AAAAAAA(U74_aaaa(partc44_in_aaaa))
P43_IN_AAAAAAA → U13_AAAAAAA(partc44_out_aaaa)
partc44_in_aaaa → U72_aaaa(lessc13_in_aa)
partc44_in_aaaa → U74_aaaa(partc44_in_aaaa)
partc44_in_aaaa → partc44_out_aaaa
qsc60_in_aa → qsc60_out_aa
qsc60_in_aa → U79_aa(qc43_in_aaaaaaa)
U72_aaaa(lessc13_out_aa(T153)) → U73_aaaa(partc23_in_gaaa(T153))
U74_aaaa(partc44_out_aaaa) → partc44_out_aaaa
U79_aa(qc43_out_aaaaaaa) → qsc60_out_aa
lessc13_in_aa → lessc13_out_aa(0)
lessc13_in_aa → U68_aa(lessc13_in_aa)
U73_aaaa(partc23_out_gaaa(T153)) → partc44_out_aaaa
qc43_in_aaaaaaa → U75_aaaaaaa(partc44_in_aaaa)
U68_aa(lessc13_out_aa(T45)) → lessc13_out_aa(s(T45))
partc23_in_gaaa(T70) → U69_gaaa(T70, lessc13_in_ga(T70))
partc23_in_gaaa(T95) → U71_gaaa(T95, partc23_in_gaaa(T95))
partc23_in_gaaa(T104) → partc23_out_gaaa(T104)
U75_aaaaaaa(partc44_out_aaaa) → U76_aaaaaaa(qsc60_in_aa)
U69_gaaa(T70, lessc13_out_ga(T70)) → U70_gaaa(T70, partc23_in_gaaa(T70))
U71_gaaa(T95, partc23_out_gaaa(T95)) → partc23_out_gaaa(T95)
U76_aaaaaaa(qsc60_out_aa) → U77_aaaaaaa(qsc60_in_aa)
lessc13_in_ga(0) → lessc13_out_ga(0)
lessc13_in_ga(s(T45)) → U68_ga(T45, lessc13_in_ga(T45))
U70_gaaa(T70, partc23_out_gaaa(T70)) → partc23_out_gaaa(T70)
U77_aaaaaaa(qsc60_out_aa) → U78_aaaaaaa(appc71_in_aaaa)
U68_ga(T45, lessc13_out_ga(T45)) → lessc13_out_ga(s(T45))
U78_aaaaaaa(appc71_out_aaaa) → qc43_out_aaaaaaa
appc71_in_aaaa → appc71_out_aaaa
appc71_in_aaaa → U80_aaaa(appc71_in_aaaa)
U80_aaaa(appc71_out_aaaa) → appc71_out_aaaa
partc44_in_aaaa
qsc60_in_aa
U72_aaaa(x0)
U74_aaaa(x0)
U79_aa(x0)
lessc13_in_aa
U73_aaaa(x0)
qc43_in_aaaaaaa
U68_aa(x0)
partc23_in_gaaa(x0)
U75_aaaaaaa(x0)
U69_gaaa(x0, x1)
U71_gaaa(x0, x1)
U76_aaaaaaa(x0)
lessc13_in_ga(x0)
U70_gaaa(x0, x1)
U77_aaaaaaa(x0)
U68_ga(x0, x1)
U78_aaaaaaa(x0)
appc71_in_aaaa
U80_aaaa(x0)
U13_AAAAAAA(partc44_out_aaaa) → U14_AAAAAAA(qsc60_out_aa)
U13_AAAAAAA(partc44_out_aaaa) → U14_AAAAAAA(U79_aa(qc43_in_aaaaaaa))
U11_AAAAAAA(partc44_out_aaaa) → QS60_IN_AA
QS60_IN_AA → P43_IN_AAAAAAA
U14_AAAAAAA(qsc60_out_aa) → QS60_IN_AA
P43_IN_AAAAAAA → U11_AAAAAAA(U72_aaaa(lessc13_in_aa))
P43_IN_AAAAAAA → U11_AAAAAAA(U74_aaaa(partc44_in_aaaa))
P43_IN_AAAAAAA → U11_AAAAAAA(partc44_out_aaaa)
P43_IN_AAAAAAA → U13_AAAAAAA(U72_aaaa(lessc13_in_aa))
P43_IN_AAAAAAA → U13_AAAAAAA(U74_aaaa(partc44_in_aaaa))
P43_IN_AAAAAAA → U13_AAAAAAA(partc44_out_aaaa)
U13_AAAAAAA(partc44_out_aaaa) → U14_AAAAAAA(qsc60_out_aa)
U13_AAAAAAA(partc44_out_aaaa) → U14_AAAAAAA(U79_aa(qc43_in_aaaaaaa))
partc44_in_aaaa → U72_aaaa(lessc13_in_aa)
partc44_in_aaaa → U74_aaaa(partc44_in_aaaa)
partc44_in_aaaa → partc44_out_aaaa
qsc60_in_aa → qsc60_out_aa
qsc60_in_aa → U79_aa(qc43_in_aaaaaaa)
U72_aaaa(lessc13_out_aa(T153)) → U73_aaaa(partc23_in_gaaa(T153))
U74_aaaa(partc44_out_aaaa) → partc44_out_aaaa
U79_aa(qc43_out_aaaaaaa) → qsc60_out_aa
lessc13_in_aa → lessc13_out_aa(0)
lessc13_in_aa → U68_aa(lessc13_in_aa)
U73_aaaa(partc23_out_gaaa(T153)) → partc44_out_aaaa
qc43_in_aaaaaaa → U75_aaaaaaa(partc44_in_aaaa)
U68_aa(lessc13_out_aa(T45)) → lessc13_out_aa(s(T45))
partc23_in_gaaa(T70) → U69_gaaa(T70, lessc13_in_ga(T70))
partc23_in_gaaa(T95) → U71_gaaa(T95, partc23_in_gaaa(T95))
partc23_in_gaaa(T104) → partc23_out_gaaa(T104)
U75_aaaaaaa(partc44_out_aaaa) → U76_aaaaaaa(qsc60_in_aa)
U69_gaaa(T70, lessc13_out_ga(T70)) → U70_gaaa(T70, partc23_in_gaaa(T70))
U71_gaaa(T95, partc23_out_gaaa(T95)) → partc23_out_gaaa(T95)
U76_aaaaaaa(qsc60_out_aa) → U77_aaaaaaa(qsc60_in_aa)
lessc13_in_ga(0) → lessc13_out_ga(0)
lessc13_in_ga(s(T45)) → U68_ga(T45, lessc13_in_ga(T45))
U70_gaaa(T70, partc23_out_gaaa(T70)) → partc23_out_gaaa(T70)
U77_aaaaaaa(qsc60_out_aa) → U78_aaaaaaa(appc71_in_aaaa)
U68_ga(T45, lessc13_out_ga(T45)) → lessc13_out_ga(s(T45))
U78_aaaaaaa(appc71_out_aaaa) → qc43_out_aaaaaaa
appc71_in_aaaa → appc71_out_aaaa
appc71_in_aaaa → U80_aaaa(appc71_in_aaaa)
U80_aaaa(appc71_out_aaaa) → appc71_out_aaaa
partc44_in_aaaa
qsc60_in_aa
U72_aaaa(x0)
U74_aaaa(x0)
U79_aa(x0)
lessc13_in_aa
U73_aaaa(x0)
qc43_in_aaaaaaa
U68_aa(x0)
partc23_in_gaaa(x0)
U75_aaaaaaa(x0)
U69_gaaa(x0, x1)
U71_gaaa(x0, x1)
U76_aaaaaaa(x0)
lessc13_in_ga(x0)
U70_gaaa(x0, x1)
U77_aaaaaaa(x0)
U68_ga(x0, x1)
U78_aaaaaaa(x0)
appc71_in_aaaa
U80_aaaa(x0)