0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇐)
↳2 Prolog
↳3 PrologToPiTRSProof (⇐)
↳4 PiTRS
↳5 DependencyPairsProof (⇔)
↳6 PiDP
↳7 DependencyGraphProof (⇔)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔)
↳11 PiDP
↳12 PiDPToQDPProof (⇔)
↳13 QDP
↳14 QDPSizeChangeProof (⇔)
↳15 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 QDPSizeChangeProof (⇔)
↳36 YES
delete1_in_gga(T6, tree(T6, void, T7), T7) → delete1_out_gga(T6, tree(T6, void, T7), T7)
delete1_in_gga(T9, tree(T9, void, void), void) → delete1_out_gga(T9, tree(T9, void, void), void)
delete1_in_gga(T26, tree(T26, void, void), tree(T26, T28, void)) → U12_gga(T26, T28, p17_in_ga(T26, T28))
p17_in_ga(T26, T28) → U2_ga(T26, T28, less19_in_g(T26))
less19_in_g(s(T33)) → U1_g(T33, less19_in_g(T33))
U1_g(T33, less19_out_g(T33)) → less19_out_g(s(T33))
U2_ga(T26, T28, less19_out_g(T26)) → p17_out_ga(T26, T28)
U2_ga(T26, T28, less19_out_g(T26)) → U3_ga(T26, T28, delete1_in_gga(T26, void, T28))
delete1_in_gga(T46, tree(T46, void, void), tree(T46, void, T48)) → U13_gga(T46, T48, p17_in_ga(T46, T48))
U13_gga(T46, T48, p17_out_ga(T46, T48)) → delete1_out_gga(T46, tree(T46, void, void), tree(T46, void, T48))
delete1_in_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void)) → U14_gga(T59, T54, p33_in_ga(T59, T54))
p33_in_ga(T59, T54) → U4_ga(T59, T54, less19_in_g(T59))
U4_ga(T59, T54, less19_out_g(T59)) → p33_out_ga(T59, T54)
U4_ga(T59, T54, less19_out_g(T59)) → U5_ga(T59, T54, delete1_in_gga(s(T59), void, T54))
delete1_in_gga(T73, tree(T73, void, void), tree(T73, void, T75)) → U15_gga(T73, T75, p17_in_ga(T73, T75))
U15_gga(T73, T75, p17_out_ga(T73, T75)) → delete1_out_gga(T73, tree(T73, void, void), tree(T73, void, T75))
delete1_in_gga(T79, tree(T79, void, void), tree(T79, void, T81)) → U16_gga(T79, T81, p40_in_ga(T79, T81))
p40_in_ga(s(T84), T81) → U7_ga(T84, T81, p33_in_ga(T84, T81))
U7_ga(T84, T81, p33_out_ga(T84, T81)) → p40_out_ga(s(T84), T81)
U16_gga(T79, T81, p40_out_ga(T79, T81)) → delete1_out_gga(T79, tree(T79, void, void), tree(T79, void, T81))
delete1_in_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105)) → delete1_out_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105))
delete1_in_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135))) → U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_in_gaa(T131, T136, T137))
delmin56_in_gaa(tree(T150, void, T151), T150, T151) → delmin56_out_gaa(tree(T150, void, T151), T150, T151)
delmin56_in_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169)) → U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_in_gaa(T165, T170, T171))
U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_out_gaa(T165, T170, T171)) → delmin56_out_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169))
U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_out_gaa(T131, T136, T137)) → delete1_out_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135)))
delete1_in_gga(T188, tree(T188, void, T189), tree(T188, T191, T189)) → U18_gga(T188, T189, T191, p40_in_ga(T188, T191))
U18_gga(T188, T189, T191, p40_out_ga(T188, T191)) → delete1_out_gga(T188, tree(T188, void, T189), tree(T188, T191, T189))
delete1_in_gga(T199, tree(T199, void, T200), tree(T199, void, T202)) → U19_gga(T199, T200, T202, p71_in_gga(T199, T200, T202))
p71_in_gga(T199, T200, T202) → U8_gga(T199, T200, T202, less19_in_g(T199))
U8_gga(T199, T200, T202, less19_out_g(T199)) → p71_out_gga(T199, T200, T202)
U8_gga(T199, T200, T202, less19_out_g(T199)) → U9_gga(T199, T200, T202, delete1_in_gga(T199, T200, T202))
delete1_in_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213)) → U20_gga(T220, T213, T215, p33_in_ga(T220, T215))
U20_gga(T220, T213, T215, p33_out_ga(T220, T215)) → delete1_out_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213))
delete1_in_gga(T228, tree(T228, void, T229), tree(T228, void, T231)) → U21_gga(T228, T229, T231, p71_in_gga(T228, T229, T231))
U21_gga(T228, T229, T231, p71_out_gga(T228, T229, T231)) → delete1_out_gga(T228, tree(T228, void, T229), tree(T228, void, T231))
delete1_in_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239)) → U22_gga(T242, T237, T239, less19_in_g(T242))
U22_gga(T242, T237, T239, less19_out_g(T242)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U22_gga(T242, T237, T239, less19_out_g(T242)) → U23_gga(T242, T237, T239, delete1_in_gga(s(T242), T237, T239))
delete1_in_gga(T251, tree(T251, T252, void), T252) → delete1_out_gga(T251, tree(T251, T252, void), T252)
delete1_in_gga(T275, tree(T275, T276, void), tree(T275, T278, void)) → U24_gga(T275, T276, T278, less19_in_g(T275))
U24_gga(T275, T276, T278, less19_out_g(T275)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U24_gga(T275, T276, T278, less19_out_g(T275)) → U25_gga(T275, T276, T278, delete1_in_gga(T275, T276, T278))
delete1_in_gga(T291, tree(T291, T292, void), tree(T291, T292, T294)) → U26_gga(T291, T292, T294, p40_in_ga(T291, T294))
U26_gga(T291, T292, T294, p40_out_ga(T291, T294)) → delete1_out_gga(T291, tree(T291, T292, void), tree(T291, T292, T294))
delete1_in_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void)) → U27_gga(T307, T300, T302, less19_in_g(T307))
U27_gga(T307, T300, T302, less19_out_g(T307)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U27_gga(T307, T300, T302, less19_out_g(T307)) → U28_gga(T307, T300, T302, delete1_in_gga(s(T307), T300, T302))
delete1_in_gga(T320, tree(T320, T321, void), tree(T320, T321, T323)) → U29_gga(T320, T321, T323, p40_in_ga(T320, T323))
U29_gga(T320, T321, T323, p40_out_ga(T320, T323)) → delete1_out_gga(T320, tree(T320, T321, void), tree(T320, T321, T323))
delete1_in_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331)) → U30_gga(T334, T329, T331, p33_in_ga(T334, T331))
U30_gga(T334, T329, T331, p33_out_ga(T334, T331)) → delete1_out_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331))
delete1_in_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357)) → delete1_out_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357))
delete1_in_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387))) → U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_in_gaa(T383, T388, T389))
U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_out_gaa(T383, T388, T389)) → delete1_out_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387)))
delete1_in_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412)) → U32_gga(T410, T411, T412, T414, less19_in_g(T410))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → U33_gga(T410, T411, T412, T414, delete1_in_gga(T410, T411, T414))
delete1_in_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433)) → U34_gga(T429, T430, T431, T433, less19_in_g(T429))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → U35_gga(T429, T430, T431, T433, delete1_in_gga(T429, T431, T433))
delete1_in_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448)) → U36_gga(T455, T447, T448, T450, delete1_in_gga(0, T447, T450))
delete1_in_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448)) → U37_gga(T466, T467, T447, T448, T450, less164_in_gg(T466, T467))
less164_in_gg(0, s(T476)) → less164_out_gg(0, s(T476))
less164_in_gg(s(0), s(s(T489))) → less164_out_gg(s(0), s(s(T489)))
less164_in_gg(s(s(0)), s(s(s(T502)))) → less164_out_gg(s(s(0)), s(s(s(T502))))
less164_in_gg(s(s(s(0))), s(s(s(s(T515))))) → less164_out_gg(s(s(s(0))), s(s(s(s(T515)))))
less164_in_gg(s(s(s(s(0)))), s(s(s(s(s(T528)))))) → less164_out_gg(s(s(s(s(0)))), s(s(s(s(s(T528))))))
less164_in_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541))))))) → less164_out_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541)))))))
less164_in_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554)))))))) → less164_out_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554))))))))
less164_in_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560)))))))) → U11_gg(T559, T560, less222_in_gg(T559, T560))
less222_in_gg(0, s(T571)) → less222_out_gg(0, s(T571))
less222_in_gg(s(T576), s(T577)) → U10_gg(T576, T577, less222_in_gg(T576, T577))
U10_gg(T576, T577, less222_out_gg(T576, T577)) → less222_out_gg(s(T576), s(T577))
U11_gg(T559, T560, less222_out_gg(T559, T560)) → less164_out_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560))))))))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → U38_gga(T466, T467, T447, T448, T450, delete1_in_gga(s(T466), T447, T450))
delete1_in_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599)) → U39_gga(T594, T595, T596, T597, T599, less222_in_gg(T595, T594))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → U40_gga(T594, T595, T596, T597, T599, delete1_in_gga(T594, T597, T599))
delete1_in_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618)) → U41_gga(T623, T615, T616, T618, delete1_in_gga(s(T623), T616, T618))
delete1_in_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618)) → U42_gga(T633, T632, T615, T616, T618, less222_in_gg(T632, T633))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → U43_gga(T633, T632, T615, T616, T618, delete1_in_gga(s(T633), T616, T618))
U43_gga(T633, T632, T615, T616, T618, delete1_out_gga(s(T633), T616, T618)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U41_gga(T623, T615, T616, T618, delete1_out_gga(s(T623), T616, T618)) → delete1_out_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618))
U40_gga(T594, T595, T596, T597, T599, delete1_out_gga(T594, T597, T599)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U38_gga(T466, T467, T447, T448, T450, delete1_out_gga(s(T466), T447, T450)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U36_gga(T455, T447, T448, T450, delete1_out_gga(0, T447, T450)) → delete1_out_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448))
U35_gga(T429, T430, T431, T433, delete1_out_gga(T429, T431, T433)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U33_gga(T410, T411, T412, T414, delete1_out_gga(T410, T411, T414)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U28_gga(T307, T300, T302, delete1_out_gga(s(T307), T300, T302)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U25_gga(T275, T276, T278, delete1_out_gga(T275, T276, T278)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U23_gga(T242, T237, T239, delete1_out_gga(s(T242), T237, T239)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U9_gga(T199, T200, T202, delete1_out_gga(T199, T200, T202)) → p71_out_gga(T199, T200, T202)
U19_gga(T199, T200, T202, p71_out_gga(T199, T200, T202)) → delete1_out_gga(T199, tree(T199, void, T200), tree(T199, void, T202))
U5_ga(T59, T54, delete1_out_gga(s(T59), void, T54)) → p33_out_ga(T59, T54)
U14_gga(T59, T54, p33_out_ga(T59, T54)) → delete1_out_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void))
U3_ga(T26, T28, delete1_out_gga(T26, void, T28)) → p17_out_ga(T26, T28)
U12_gga(T26, T28, p17_out_ga(T26, T28)) → delete1_out_gga(T26, tree(T26, void, void), tree(T26, T28, void))
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
delete1_in_gga(T6, tree(T6, void, T7), T7) → delete1_out_gga(T6, tree(T6, void, T7), T7)
delete1_in_gga(T9, tree(T9, void, void), void) → delete1_out_gga(T9, tree(T9, void, void), void)
delete1_in_gga(T26, tree(T26, void, void), tree(T26, T28, void)) → U12_gga(T26, T28, p17_in_ga(T26, T28))
p17_in_ga(T26, T28) → U2_ga(T26, T28, less19_in_g(T26))
less19_in_g(s(T33)) → U1_g(T33, less19_in_g(T33))
U1_g(T33, less19_out_g(T33)) → less19_out_g(s(T33))
U2_ga(T26, T28, less19_out_g(T26)) → p17_out_ga(T26, T28)
U2_ga(T26, T28, less19_out_g(T26)) → U3_ga(T26, T28, delete1_in_gga(T26, void, T28))
delete1_in_gga(T46, tree(T46, void, void), tree(T46, void, T48)) → U13_gga(T46, T48, p17_in_ga(T46, T48))
U13_gga(T46, T48, p17_out_ga(T46, T48)) → delete1_out_gga(T46, tree(T46, void, void), tree(T46, void, T48))
delete1_in_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void)) → U14_gga(T59, T54, p33_in_ga(T59, T54))
p33_in_ga(T59, T54) → U4_ga(T59, T54, less19_in_g(T59))
U4_ga(T59, T54, less19_out_g(T59)) → p33_out_ga(T59, T54)
U4_ga(T59, T54, less19_out_g(T59)) → U5_ga(T59, T54, delete1_in_gga(s(T59), void, T54))
delete1_in_gga(T73, tree(T73, void, void), tree(T73, void, T75)) → U15_gga(T73, T75, p17_in_ga(T73, T75))
U15_gga(T73, T75, p17_out_ga(T73, T75)) → delete1_out_gga(T73, tree(T73, void, void), tree(T73, void, T75))
delete1_in_gga(T79, tree(T79, void, void), tree(T79, void, T81)) → U16_gga(T79, T81, p40_in_ga(T79, T81))
p40_in_ga(s(T84), T81) → U7_ga(T84, T81, p33_in_ga(T84, T81))
U7_ga(T84, T81, p33_out_ga(T84, T81)) → p40_out_ga(s(T84), T81)
U16_gga(T79, T81, p40_out_ga(T79, T81)) → delete1_out_gga(T79, tree(T79, void, void), tree(T79, void, T81))
delete1_in_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105)) → delete1_out_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105))
delete1_in_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135))) → U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_in_gaa(T131, T136, T137))
delmin56_in_gaa(tree(T150, void, T151), T150, T151) → delmin56_out_gaa(tree(T150, void, T151), T150, T151)
delmin56_in_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169)) → U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_in_gaa(T165, T170, T171))
U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_out_gaa(T165, T170, T171)) → delmin56_out_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169))
U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_out_gaa(T131, T136, T137)) → delete1_out_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135)))
delete1_in_gga(T188, tree(T188, void, T189), tree(T188, T191, T189)) → U18_gga(T188, T189, T191, p40_in_ga(T188, T191))
U18_gga(T188, T189, T191, p40_out_ga(T188, T191)) → delete1_out_gga(T188, tree(T188, void, T189), tree(T188, T191, T189))
delete1_in_gga(T199, tree(T199, void, T200), tree(T199, void, T202)) → U19_gga(T199, T200, T202, p71_in_gga(T199, T200, T202))
p71_in_gga(T199, T200, T202) → U8_gga(T199, T200, T202, less19_in_g(T199))
U8_gga(T199, T200, T202, less19_out_g(T199)) → p71_out_gga(T199, T200, T202)
U8_gga(T199, T200, T202, less19_out_g(T199)) → U9_gga(T199, T200, T202, delete1_in_gga(T199, T200, T202))
delete1_in_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213)) → U20_gga(T220, T213, T215, p33_in_ga(T220, T215))
U20_gga(T220, T213, T215, p33_out_ga(T220, T215)) → delete1_out_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213))
delete1_in_gga(T228, tree(T228, void, T229), tree(T228, void, T231)) → U21_gga(T228, T229, T231, p71_in_gga(T228, T229, T231))
U21_gga(T228, T229, T231, p71_out_gga(T228, T229, T231)) → delete1_out_gga(T228, tree(T228, void, T229), tree(T228, void, T231))
delete1_in_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239)) → U22_gga(T242, T237, T239, less19_in_g(T242))
U22_gga(T242, T237, T239, less19_out_g(T242)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U22_gga(T242, T237, T239, less19_out_g(T242)) → U23_gga(T242, T237, T239, delete1_in_gga(s(T242), T237, T239))
delete1_in_gga(T251, tree(T251, T252, void), T252) → delete1_out_gga(T251, tree(T251, T252, void), T252)
delete1_in_gga(T275, tree(T275, T276, void), tree(T275, T278, void)) → U24_gga(T275, T276, T278, less19_in_g(T275))
U24_gga(T275, T276, T278, less19_out_g(T275)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U24_gga(T275, T276, T278, less19_out_g(T275)) → U25_gga(T275, T276, T278, delete1_in_gga(T275, T276, T278))
delete1_in_gga(T291, tree(T291, T292, void), tree(T291, T292, T294)) → U26_gga(T291, T292, T294, p40_in_ga(T291, T294))
U26_gga(T291, T292, T294, p40_out_ga(T291, T294)) → delete1_out_gga(T291, tree(T291, T292, void), tree(T291, T292, T294))
delete1_in_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void)) → U27_gga(T307, T300, T302, less19_in_g(T307))
U27_gga(T307, T300, T302, less19_out_g(T307)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U27_gga(T307, T300, T302, less19_out_g(T307)) → U28_gga(T307, T300, T302, delete1_in_gga(s(T307), T300, T302))
delete1_in_gga(T320, tree(T320, T321, void), tree(T320, T321, T323)) → U29_gga(T320, T321, T323, p40_in_ga(T320, T323))
U29_gga(T320, T321, T323, p40_out_ga(T320, T323)) → delete1_out_gga(T320, tree(T320, T321, void), tree(T320, T321, T323))
delete1_in_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331)) → U30_gga(T334, T329, T331, p33_in_ga(T334, T331))
U30_gga(T334, T329, T331, p33_out_ga(T334, T331)) → delete1_out_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331))
delete1_in_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357)) → delete1_out_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357))
delete1_in_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387))) → U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_in_gaa(T383, T388, T389))
U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_out_gaa(T383, T388, T389)) → delete1_out_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387)))
delete1_in_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412)) → U32_gga(T410, T411, T412, T414, less19_in_g(T410))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → U33_gga(T410, T411, T412, T414, delete1_in_gga(T410, T411, T414))
delete1_in_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433)) → U34_gga(T429, T430, T431, T433, less19_in_g(T429))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → U35_gga(T429, T430, T431, T433, delete1_in_gga(T429, T431, T433))
delete1_in_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448)) → U36_gga(T455, T447, T448, T450, delete1_in_gga(0, T447, T450))
delete1_in_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448)) → U37_gga(T466, T467, T447, T448, T450, less164_in_gg(T466, T467))
less164_in_gg(0, s(T476)) → less164_out_gg(0, s(T476))
less164_in_gg(s(0), s(s(T489))) → less164_out_gg(s(0), s(s(T489)))
less164_in_gg(s(s(0)), s(s(s(T502)))) → less164_out_gg(s(s(0)), s(s(s(T502))))
less164_in_gg(s(s(s(0))), s(s(s(s(T515))))) → less164_out_gg(s(s(s(0))), s(s(s(s(T515)))))
less164_in_gg(s(s(s(s(0)))), s(s(s(s(s(T528)))))) → less164_out_gg(s(s(s(s(0)))), s(s(s(s(s(T528))))))
less164_in_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541))))))) → less164_out_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541)))))))
less164_in_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554)))))))) → less164_out_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554))))))))
less164_in_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560)))))))) → U11_gg(T559, T560, less222_in_gg(T559, T560))
less222_in_gg(0, s(T571)) → less222_out_gg(0, s(T571))
less222_in_gg(s(T576), s(T577)) → U10_gg(T576, T577, less222_in_gg(T576, T577))
U10_gg(T576, T577, less222_out_gg(T576, T577)) → less222_out_gg(s(T576), s(T577))
U11_gg(T559, T560, less222_out_gg(T559, T560)) → less164_out_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560))))))))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → U38_gga(T466, T467, T447, T448, T450, delete1_in_gga(s(T466), T447, T450))
delete1_in_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599)) → U39_gga(T594, T595, T596, T597, T599, less222_in_gg(T595, T594))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → U40_gga(T594, T595, T596, T597, T599, delete1_in_gga(T594, T597, T599))
delete1_in_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618)) → U41_gga(T623, T615, T616, T618, delete1_in_gga(s(T623), T616, T618))
delete1_in_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618)) → U42_gga(T633, T632, T615, T616, T618, less222_in_gg(T632, T633))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → U43_gga(T633, T632, T615, T616, T618, delete1_in_gga(s(T633), T616, T618))
U43_gga(T633, T632, T615, T616, T618, delete1_out_gga(s(T633), T616, T618)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U41_gga(T623, T615, T616, T618, delete1_out_gga(s(T623), T616, T618)) → delete1_out_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618))
U40_gga(T594, T595, T596, T597, T599, delete1_out_gga(T594, T597, T599)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U38_gga(T466, T467, T447, T448, T450, delete1_out_gga(s(T466), T447, T450)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U36_gga(T455, T447, T448, T450, delete1_out_gga(0, T447, T450)) → delete1_out_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448))
U35_gga(T429, T430, T431, T433, delete1_out_gga(T429, T431, T433)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U33_gga(T410, T411, T412, T414, delete1_out_gga(T410, T411, T414)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U28_gga(T307, T300, T302, delete1_out_gga(s(T307), T300, T302)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U25_gga(T275, T276, T278, delete1_out_gga(T275, T276, T278)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U23_gga(T242, T237, T239, delete1_out_gga(s(T242), T237, T239)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U9_gga(T199, T200, T202, delete1_out_gga(T199, T200, T202)) → p71_out_gga(T199, T200, T202)
U19_gga(T199, T200, T202, p71_out_gga(T199, T200, T202)) → delete1_out_gga(T199, tree(T199, void, T200), tree(T199, void, T202))
U5_ga(T59, T54, delete1_out_gga(s(T59), void, T54)) → p33_out_ga(T59, T54)
U14_gga(T59, T54, p33_out_ga(T59, T54)) → delete1_out_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void))
U3_ga(T26, T28, delete1_out_gga(T26, void, T28)) → p17_out_ga(T26, T28)
U12_gga(T26, T28, p17_out_ga(T26, T28)) → delete1_out_gga(T26, tree(T26, void, void), tree(T26, T28, void))
DELETE1_IN_GGA(T26, tree(T26, void, void), tree(T26, T28, void)) → U12_GGA(T26, T28, p17_in_ga(T26, T28))
DELETE1_IN_GGA(T26, tree(T26, void, void), tree(T26, T28, void)) → P17_IN_GA(T26, T28)
P17_IN_GA(T26, T28) → U2_GA(T26, T28, less19_in_g(T26))
P17_IN_GA(T26, T28) → LESS19_IN_G(T26)
LESS19_IN_G(s(T33)) → U1_G(T33, less19_in_g(T33))
LESS19_IN_G(s(T33)) → LESS19_IN_G(T33)
U2_GA(T26, T28, less19_out_g(T26)) → U3_GA(T26, T28, delete1_in_gga(T26, void, T28))
U2_GA(T26, T28, less19_out_g(T26)) → DELETE1_IN_GGA(T26, void, T28)
DELETE1_IN_GGA(T46, tree(T46, void, void), tree(T46, void, T48)) → U13_GGA(T46, T48, p17_in_ga(T46, T48))
DELETE1_IN_GGA(T46, tree(T46, void, void), tree(T46, void, T48)) → P17_IN_GA(T46, T48)
DELETE1_IN_GGA(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void)) → U14_GGA(T59, T54, p33_in_ga(T59, T54))
DELETE1_IN_GGA(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void)) → P33_IN_GA(T59, T54)
P33_IN_GA(T59, T54) → U4_GA(T59, T54, less19_in_g(T59))
P33_IN_GA(T59, T54) → LESS19_IN_G(T59)
U4_GA(T59, T54, less19_out_g(T59)) → U5_GA(T59, T54, delete1_in_gga(s(T59), void, T54))
U4_GA(T59, T54, less19_out_g(T59)) → DELETE1_IN_GGA(s(T59), void, T54)
DELETE1_IN_GGA(T73, tree(T73, void, void), tree(T73, void, T75)) → U15_GGA(T73, T75, p17_in_ga(T73, T75))
DELETE1_IN_GGA(T79, tree(T79, void, void), tree(T79, void, T81)) → U16_GGA(T79, T81, p40_in_ga(T79, T81))
DELETE1_IN_GGA(T79, tree(T79, void, void), tree(T79, void, T81)) → P40_IN_GA(T79, T81)
P40_IN_GA(s(T84), T81) → U7_GA(T84, T81, p33_in_ga(T84, T81))
P40_IN_GA(s(T84), T81) → P33_IN_GA(T84, T81)
DELETE1_IN_GGA(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135))) → U17_GGA(T90, T130, T131, T132, T136, T137, T135, delmin56_in_gaa(T131, T136, T137))
DELETE1_IN_GGA(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135))) → DELMIN56_IN_GAA(T131, T136, T137)
DELMIN56_IN_GAA(tree(T164, T165, T166), T170, tree(T164, T171, T169)) → U6_GAA(T164, T165, T166, T170, T171, T169, delmin56_in_gaa(T165, T170, T171))
DELMIN56_IN_GAA(tree(T164, T165, T166), T170, tree(T164, T171, T169)) → DELMIN56_IN_GAA(T165, T170, T171)
DELETE1_IN_GGA(T188, tree(T188, void, T189), tree(T188, T191, T189)) → U18_GGA(T188, T189, T191, p40_in_ga(T188, T191))
DELETE1_IN_GGA(T188, tree(T188, void, T189), tree(T188, T191, T189)) → P40_IN_GA(T188, T191)
DELETE1_IN_GGA(T199, tree(T199, void, T200), tree(T199, void, T202)) → U19_GGA(T199, T200, T202, p71_in_gga(T199, T200, T202))
DELETE1_IN_GGA(T199, tree(T199, void, T200), tree(T199, void, T202)) → P71_IN_GGA(T199, T200, T202)
P71_IN_GGA(T199, T200, T202) → U8_GGA(T199, T200, T202, less19_in_g(T199))
P71_IN_GGA(T199, T200, T202) → LESS19_IN_G(T199)
U8_GGA(T199, T200, T202, less19_out_g(T199)) → U9_GGA(T199, T200, T202, delete1_in_gga(T199, T200, T202))
U8_GGA(T199, T200, T202, less19_out_g(T199)) → DELETE1_IN_GGA(T199, T200, T202)
DELETE1_IN_GGA(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213)) → U20_GGA(T220, T213, T215, p33_in_ga(T220, T215))
DELETE1_IN_GGA(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213)) → P33_IN_GA(T220, T215)
DELETE1_IN_GGA(T228, tree(T228, void, T229), tree(T228, void, T231)) → U21_GGA(T228, T229, T231, p71_in_gga(T228, T229, T231))
DELETE1_IN_GGA(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239)) → U22_GGA(T242, T237, T239, less19_in_g(T242))
DELETE1_IN_GGA(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239)) → LESS19_IN_G(T242)
U22_GGA(T242, T237, T239, less19_out_g(T242)) → U23_GGA(T242, T237, T239, delete1_in_gga(s(T242), T237, T239))
U22_GGA(T242, T237, T239, less19_out_g(T242)) → DELETE1_IN_GGA(s(T242), T237, T239)
DELETE1_IN_GGA(T275, tree(T275, T276, void), tree(T275, T278, void)) → U24_GGA(T275, T276, T278, less19_in_g(T275))
DELETE1_IN_GGA(T275, tree(T275, T276, void), tree(T275, T278, void)) → LESS19_IN_G(T275)
U24_GGA(T275, T276, T278, less19_out_g(T275)) → U25_GGA(T275, T276, T278, delete1_in_gga(T275, T276, T278))
U24_GGA(T275, T276, T278, less19_out_g(T275)) → DELETE1_IN_GGA(T275, T276, T278)
DELETE1_IN_GGA(T291, tree(T291, T292, void), tree(T291, T292, T294)) → U26_GGA(T291, T292, T294, p40_in_ga(T291, T294))
DELETE1_IN_GGA(T291, tree(T291, T292, void), tree(T291, T292, T294)) → P40_IN_GA(T291, T294)
DELETE1_IN_GGA(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void)) → U27_GGA(T307, T300, T302, less19_in_g(T307))
DELETE1_IN_GGA(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void)) → LESS19_IN_G(T307)
U27_GGA(T307, T300, T302, less19_out_g(T307)) → U28_GGA(T307, T300, T302, delete1_in_gga(s(T307), T300, T302))
U27_GGA(T307, T300, T302, less19_out_g(T307)) → DELETE1_IN_GGA(s(T307), T300, T302)
DELETE1_IN_GGA(T320, tree(T320, T321, void), tree(T320, T321, T323)) → U29_GGA(T320, T321, T323, p40_in_ga(T320, T323))
DELETE1_IN_GGA(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331)) → U30_GGA(T334, T329, T331, p33_in_ga(T334, T331))
DELETE1_IN_GGA(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331)) → P33_IN_GA(T334, T331)
DELETE1_IN_GGA(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387))) → U31_GGA(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_in_gaa(T383, T388, T389))
DELETE1_IN_GGA(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387))) → DELMIN56_IN_GAA(T383, T388, T389)
DELETE1_IN_GGA(T410, tree(T410, T411, T412), tree(T410, T414, T412)) → U32_GGA(T410, T411, T412, T414, less19_in_g(T410))
DELETE1_IN_GGA(T410, tree(T410, T411, T412), tree(T410, T414, T412)) → LESS19_IN_G(T410)
U32_GGA(T410, T411, T412, T414, less19_out_g(T410)) → U33_GGA(T410, T411, T412, T414, delete1_in_gga(T410, T411, T414))
U32_GGA(T410, T411, T412, T414, less19_out_g(T410)) → DELETE1_IN_GGA(T410, T411, T414)
DELETE1_IN_GGA(T429, tree(T429, T430, T431), tree(T429, T430, T433)) → U34_GGA(T429, T430, T431, T433, less19_in_g(T429))
DELETE1_IN_GGA(T429, tree(T429, T430, T431), tree(T429, T430, T433)) → LESS19_IN_G(T429)
U34_GGA(T429, T430, T431, T433, less19_out_g(T429)) → U35_GGA(T429, T430, T431, T433, delete1_in_gga(T429, T431, T433))
U34_GGA(T429, T430, T431, T433, less19_out_g(T429)) → DELETE1_IN_GGA(T429, T431, T433)
DELETE1_IN_GGA(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448)) → U36_GGA(T455, T447, T448, T450, delete1_in_gga(0, T447, T450))
DELETE1_IN_GGA(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448)) → DELETE1_IN_GGA(0, T447, T450)
DELETE1_IN_GGA(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448)) → U37_GGA(T466, T467, T447, T448, T450, less164_in_gg(T466, T467))
DELETE1_IN_GGA(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448)) → LESS164_IN_GG(T466, T467)
LESS164_IN_GG(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560)))))))) → U11_GG(T559, T560, less222_in_gg(T559, T560))
LESS164_IN_GG(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560)))))))) → LESS222_IN_GG(T559, T560)
LESS222_IN_GG(s(T576), s(T577)) → U10_GG(T576, T577, less222_in_gg(T576, T577))
LESS222_IN_GG(s(T576), s(T577)) → LESS222_IN_GG(T576, T577)
U37_GGA(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → U38_GGA(T466, T467, T447, T448, T450, delete1_in_gga(s(T466), T447, T450))
U37_GGA(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → DELETE1_IN_GGA(s(T466), T447, T450)
DELETE1_IN_GGA(T594, tree(T595, T596, T597), tree(T595, T596, T599)) → U39_GGA(T594, T595, T596, T597, T599, less222_in_gg(T595, T594))
DELETE1_IN_GGA(T594, tree(T595, T596, T597), tree(T595, T596, T599)) → LESS222_IN_GG(T595, T594)
U39_GGA(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → U40_GGA(T594, T595, T596, T597, T599, delete1_in_gga(T594, T597, T599))
U39_GGA(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → DELETE1_IN_GGA(T594, T597, T599)
DELETE1_IN_GGA(s(T623), tree(0, T615, T616), tree(0, T615, T618)) → U41_GGA(T623, T615, T616, T618, delete1_in_gga(s(T623), T616, T618))
DELETE1_IN_GGA(s(T623), tree(0, T615, T616), tree(0, T615, T618)) → DELETE1_IN_GGA(s(T623), T616, T618)
DELETE1_IN_GGA(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618)) → U42_GGA(T633, T632, T615, T616, T618, less222_in_gg(T632, T633))
DELETE1_IN_GGA(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618)) → LESS222_IN_GG(T632, T633)
U42_GGA(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → U43_GGA(T633, T632, T615, T616, T618, delete1_in_gga(s(T633), T616, T618))
U42_GGA(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → DELETE1_IN_GGA(s(T633), T616, T618)
delete1_in_gga(T6, tree(T6, void, T7), T7) → delete1_out_gga(T6, tree(T6, void, T7), T7)
delete1_in_gga(T9, tree(T9, void, void), void) → delete1_out_gga(T9, tree(T9, void, void), void)
delete1_in_gga(T26, tree(T26, void, void), tree(T26, T28, void)) → U12_gga(T26, T28, p17_in_ga(T26, T28))
p17_in_ga(T26, T28) → U2_ga(T26, T28, less19_in_g(T26))
less19_in_g(s(T33)) → U1_g(T33, less19_in_g(T33))
U1_g(T33, less19_out_g(T33)) → less19_out_g(s(T33))
U2_ga(T26, T28, less19_out_g(T26)) → p17_out_ga(T26, T28)
U2_ga(T26, T28, less19_out_g(T26)) → U3_ga(T26, T28, delete1_in_gga(T26, void, T28))
delete1_in_gga(T46, tree(T46, void, void), tree(T46, void, T48)) → U13_gga(T46, T48, p17_in_ga(T46, T48))
U13_gga(T46, T48, p17_out_ga(T46, T48)) → delete1_out_gga(T46, tree(T46, void, void), tree(T46, void, T48))
delete1_in_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void)) → U14_gga(T59, T54, p33_in_ga(T59, T54))
p33_in_ga(T59, T54) → U4_ga(T59, T54, less19_in_g(T59))
U4_ga(T59, T54, less19_out_g(T59)) → p33_out_ga(T59, T54)
U4_ga(T59, T54, less19_out_g(T59)) → U5_ga(T59, T54, delete1_in_gga(s(T59), void, T54))
delete1_in_gga(T73, tree(T73, void, void), tree(T73, void, T75)) → U15_gga(T73, T75, p17_in_ga(T73, T75))
U15_gga(T73, T75, p17_out_ga(T73, T75)) → delete1_out_gga(T73, tree(T73, void, void), tree(T73, void, T75))
delete1_in_gga(T79, tree(T79, void, void), tree(T79, void, T81)) → U16_gga(T79, T81, p40_in_ga(T79, T81))
p40_in_ga(s(T84), T81) → U7_ga(T84, T81, p33_in_ga(T84, T81))
U7_ga(T84, T81, p33_out_ga(T84, T81)) → p40_out_ga(s(T84), T81)
U16_gga(T79, T81, p40_out_ga(T79, T81)) → delete1_out_gga(T79, tree(T79, void, void), tree(T79, void, T81))
delete1_in_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105)) → delete1_out_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105))
delete1_in_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135))) → U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_in_gaa(T131, T136, T137))
delmin56_in_gaa(tree(T150, void, T151), T150, T151) → delmin56_out_gaa(tree(T150, void, T151), T150, T151)
delmin56_in_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169)) → U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_in_gaa(T165, T170, T171))
U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_out_gaa(T165, T170, T171)) → delmin56_out_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169))
U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_out_gaa(T131, T136, T137)) → delete1_out_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135)))
delete1_in_gga(T188, tree(T188, void, T189), tree(T188, T191, T189)) → U18_gga(T188, T189, T191, p40_in_ga(T188, T191))
U18_gga(T188, T189, T191, p40_out_ga(T188, T191)) → delete1_out_gga(T188, tree(T188, void, T189), tree(T188, T191, T189))
delete1_in_gga(T199, tree(T199, void, T200), tree(T199, void, T202)) → U19_gga(T199, T200, T202, p71_in_gga(T199, T200, T202))
p71_in_gga(T199, T200, T202) → U8_gga(T199, T200, T202, less19_in_g(T199))
U8_gga(T199, T200, T202, less19_out_g(T199)) → p71_out_gga(T199, T200, T202)
U8_gga(T199, T200, T202, less19_out_g(T199)) → U9_gga(T199, T200, T202, delete1_in_gga(T199, T200, T202))
delete1_in_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213)) → U20_gga(T220, T213, T215, p33_in_ga(T220, T215))
U20_gga(T220, T213, T215, p33_out_ga(T220, T215)) → delete1_out_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213))
delete1_in_gga(T228, tree(T228, void, T229), tree(T228, void, T231)) → U21_gga(T228, T229, T231, p71_in_gga(T228, T229, T231))
U21_gga(T228, T229, T231, p71_out_gga(T228, T229, T231)) → delete1_out_gga(T228, tree(T228, void, T229), tree(T228, void, T231))
delete1_in_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239)) → U22_gga(T242, T237, T239, less19_in_g(T242))
U22_gga(T242, T237, T239, less19_out_g(T242)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U22_gga(T242, T237, T239, less19_out_g(T242)) → U23_gga(T242, T237, T239, delete1_in_gga(s(T242), T237, T239))
delete1_in_gga(T251, tree(T251, T252, void), T252) → delete1_out_gga(T251, tree(T251, T252, void), T252)
delete1_in_gga(T275, tree(T275, T276, void), tree(T275, T278, void)) → U24_gga(T275, T276, T278, less19_in_g(T275))
U24_gga(T275, T276, T278, less19_out_g(T275)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U24_gga(T275, T276, T278, less19_out_g(T275)) → U25_gga(T275, T276, T278, delete1_in_gga(T275, T276, T278))
delete1_in_gga(T291, tree(T291, T292, void), tree(T291, T292, T294)) → U26_gga(T291, T292, T294, p40_in_ga(T291, T294))
U26_gga(T291, T292, T294, p40_out_ga(T291, T294)) → delete1_out_gga(T291, tree(T291, T292, void), tree(T291, T292, T294))
delete1_in_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void)) → U27_gga(T307, T300, T302, less19_in_g(T307))
U27_gga(T307, T300, T302, less19_out_g(T307)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U27_gga(T307, T300, T302, less19_out_g(T307)) → U28_gga(T307, T300, T302, delete1_in_gga(s(T307), T300, T302))
delete1_in_gga(T320, tree(T320, T321, void), tree(T320, T321, T323)) → U29_gga(T320, T321, T323, p40_in_ga(T320, T323))
U29_gga(T320, T321, T323, p40_out_ga(T320, T323)) → delete1_out_gga(T320, tree(T320, T321, void), tree(T320, T321, T323))
delete1_in_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331)) → U30_gga(T334, T329, T331, p33_in_ga(T334, T331))
U30_gga(T334, T329, T331, p33_out_ga(T334, T331)) → delete1_out_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331))
delete1_in_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357)) → delete1_out_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357))
delete1_in_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387))) → U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_in_gaa(T383, T388, T389))
U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_out_gaa(T383, T388, T389)) → delete1_out_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387)))
delete1_in_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412)) → U32_gga(T410, T411, T412, T414, less19_in_g(T410))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → U33_gga(T410, T411, T412, T414, delete1_in_gga(T410, T411, T414))
delete1_in_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433)) → U34_gga(T429, T430, T431, T433, less19_in_g(T429))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → U35_gga(T429, T430, T431, T433, delete1_in_gga(T429, T431, T433))
delete1_in_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448)) → U36_gga(T455, T447, T448, T450, delete1_in_gga(0, T447, T450))
delete1_in_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448)) → U37_gga(T466, T467, T447, T448, T450, less164_in_gg(T466, T467))
less164_in_gg(0, s(T476)) → less164_out_gg(0, s(T476))
less164_in_gg(s(0), s(s(T489))) → less164_out_gg(s(0), s(s(T489)))
less164_in_gg(s(s(0)), s(s(s(T502)))) → less164_out_gg(s(s(0)), s(s(s(T502))))
less164_in_gg(s(s(s(0))), s(s(s(s(T515))))) → less164_out_gg(s(s(s(0))), s(s(s(s(T515)))))
less164_in_gg(s(s(s(s(0)))), s(s(s(s(s(T528)))))) → less164_out_gg(s(s(s(s(0)))), s(s(s(s(s(T528))))))
less164_in_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541))))))) → less164_out_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541)))))))
less164_in_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554)))))))) → less164_out_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554))))))))
less164_in_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560)))))))) → U11_gg(T559, T560, less222_in_gg(T559, T560))
less222_in_gg(0, s(T571)) → less222_out_gg(0, s(T571))
less222_in_gg(s(T576), s(T577)) → U10_gg(T576, T577, less222_in_gg(T576, T577))
U10_gg(T576, T577, less222_out_gg(T576, T577)) → less222_out_gg(s(T576), s(T577))
U11_gg(T559, T560, less222_out_gg(T559, T560)) → less164_out_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560))))))))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → U38_gga(T466, T467, T447, T448, T450, delete1_in_gga(s(T466), T447, T450))
delete1_in_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599)) → U39_gga(T594, T595, T596, T597, T599, less222_in_gg(T595, T594))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → U40_gga(T594, T595, T596, T597, T599, delete1_in_gga(T594, T597, T599))
delete1_in_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618)) → U41_gga(T623, T615, T616, T618, delete1_in_gga(s(T623), T616, T618))
delete1_in_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618)) → U42_gga(T633, T632, T615, T616, T618, less222_in_gg(T632, T633))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → U43_gga(T633, T632, T615, T616, T618, delete1_in_gga(s(T633), T616, T618))
U43_gga(T633, T632, T615, T616, T618, delete1_out_gga(s(T633), T616, T618)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U41_gga(T623, T615, T616, T618, delete1_out_gga(s(T623), T616, T618)) → delete1_out_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618))
U40_gga(T594, T595, T596, T597, T599, delete1_out_gga(T594, T597, T599)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U38_gga(T466, T467, T447, T448, T450, delete1_out_gga(s(T466), T447, T450)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U36_gga(T455, T447, T448, T450, delete1_out_gga(0, T447, T450)) → delete1_out_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448))
U35_gga(T429, T430, T431, T433, delete1_out_gga(T429, T431, T433)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U33_gga(T410, T411, T412, T414, delete1_out_gga(T410, T411, T414)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U28_gga(T307, T300, T302, delete1_out_gga(s(T307), T300, T302)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U25_gga(T275, T276, T278, delete1_out_gga(T275, T276, T278)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U23_gga(T242, T237, T239, delete1_out_gga(s(T242), T237, T239)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U9_gga(T199, T200, T202, delete1_out_gga(T199, T200, T202)) → p71_out_gga(T199, T200, T202)
U19_gga(T199, T200, T202, p71_out_gga(T199, T200, T202)) → delete1_out_gga(T199, tree(T199, void, T200), tree(T199, void, T202))
U5_ga(T59, T54, delete1_out_gga(s(T59), void, T54)) → p33_out_ga(T59, T54)
U14_gga(T59, T54, p33_out_ga(T59, T54)) → delete1_out_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void))
U3_ga(T26, T28, delete1_out_gga(T26, void, T28)) → p17_out_ga(T26, T28)
U12_gga(T26, T28, p17_out_ga(T26, T28)) → delete1_out_gga(T26, tree(T26, void, void), tree(T26, T28, void))
DELETE1_IN_GGA(T26, tree(T26, void, void), tree(T26, T28, void)) → U12_GGA(T26, T28, p17_in_ga(T26, T28))
DELETE1_IN_GGA(T26, tree(T26, void, void), tree(T26, T28, void)) → P17_IN_GA(T26, T28)
P17_IN_GA(T26, T28) → U2_GA(T26, T28, less19_in_g(T26))
P17_IN_GA(T26, T28) → LESS19_IN_G(T26)
LESS19_IN_G(s(T33)) → U1_G(T33, less19_in_g(T33))
LESS19_IN_G(s(T33)) → LESS19_IN_G(T33)
U2_GA(T26, T28, less19_out_g(T26)) → U3_GA(T26, T28, delete1_in_gga(T26, void, T28))
U2_GA(T26, T28, less19_out_g(T26)) → DELETE1_IN_GGA(T26, void, T28)
DELETE1_IN_GGA(T46, tree(T46, void, void), tree(T46, void, T48)) → U13_GGA(T46, T48, p17_in_ga(T46, T48))
DELETE1_IN_GGA(T46, tree(T46, void, void), tree(T46, void, T48)) → P17_IN_GA(T46, T48)
DELETE1_IN_GGA(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void)) → U14_GGA(T59, T54, p33_in_ga(T59, T54))
DELETE1_IN_GGA(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void)) → P33_IN_GA(T59, T54)
P33_IN_GA(T59, T54) → U4_GA(T59, T54, less19_in_g(T59))
P33_IN_GA(T59, T54) → LESS19_IN_G(T59)
U4_GA(T59, T54, less19_out_g(T59)) → U5_GA(T59, T54, delete1_in_gga(s(T59), void, T54))
U4_GA(T59, T54, less19_out_g(T59)) → DELETE1_IN_GGA(s(T59), void, T54)
DELETE1_IN_GGA(T73, tree(T73, void, void), tree(T73, void, T75)) → U15_GGA(T73, T75, p17_in_ga(T73, T75))
DELETE1_IN_GGA(T79, tree(T79, void, void), tree(T79, void, T81)) → U16_GGA(T79, T81, p40_in_ga(T79, T81))
DELETE1_IN_GGA(T79, tree(T79, void, void), tree(T79, void, T81)) → P40_IN_GA(T79, T81)
P40_IN_GA(s(T84), T81) → U7_GA(T84, T81, p33_in_ga(T84, T81))
P40_IN_GA(s(T84), T81) → P33_IN_GA(T84, T81)
DELETE1_IN_GGA(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135))) → U17_GGA(T90, T130, T131, T132, T136, T137, T135, delmin56_in_gaa(T131, T136, T137))
DELETE1_IN_GGA(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135))) → DELMIN56_IN_GAA(T131, T136, T137)
DELMIN56_IN_GAA(tree(T164, T165, T166), T170, tree(T164, T171, T169)) → U6_GAA(T164, T165, T166, T170, T171, T169, delmin56_in_gaa(T165, T170, T171))
DELMIN56_IN_GAA(tree(T164, T165, T166), T170, tree(T164, T171, T169)) → DELMIN56_IN_GAA(T165, T170, T171)
DELETE1_IN_GGA(T188, tree(T188, void, T189), tree(T188, T191, T189)) → U18_GGA(T188, T189, T191, p40_in_ga(T188, T191))
DELETE1_IN_GGA(T188, tree(T188, void, T189), tree(T188, T191, T189)) → P40_IN_GA(T188, T191)
DELETE1_IN_GGA(T199, tree(T199, void, T200), tree(T199, void, T202)) → U19_GGA(T199, T200, T202, p71_in_gga(T199, T200, T202))
DELETE1_IN_GGA(T199, tree(T199, void, T200), tree(T199, void, T202)) → P71_IN_GGA(T199, T200, T202)
P71_IN_GGA(T199, T200, T202) → U8_GGA(T199, T200, T202, less19_in_g(T199))
P71_IN_GGA(T199, T200, T202) → LESS19_IN_G(T199)
U8_GGA(T199, T200, T202, less19_out_g(T199)) → U9_GGA(T199, T200, T202, delete1_in_gga(T199, T200, T202))
U8_GGA(T199, T200, T202, less19_out_g(T199)) → DELETE1_IN_GGA(T199, T200, T202)
DELETE1_IN_GGA(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213)) → U20_GGA(T220, T213, T215, p33_in_ga(T220, T215))
DELETE1_IN_GGA(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213)) → P33_IN_GA(T220, T215)
DELETE1_IN_GGA(T228, tree(T228, void, T229), tree(T228, void, T231)) → U21_GGA(T228, T229, T231, p71_in_gga(T228, T229, T231))
DELETE1_IN_GGA(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239)) → U22_GGA(T242, T237, T239, less19_in_g(T242))
DELETE1_IN_GGA(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239)) → LESS19_IN_G(T242)
U22_GGA(T242, T237, T239, less19_out_g(T242)) → U23_GGA(T242, T237, T239, delete1_in_gga(s(T242), T237, T239))
U22_GGA(T242, T237, T239, less19_out_g(T242)) → DELETE1_IN_GGA(s(T242), T237, T239)
DELETE1_IN_GGA(T275, tree(T275, T276, void), tree(T275, T278, void)) → U24_GGA(T275, T276, T278, less19_in_g(T275))
DELETE1_IN_GGA(T275, tree(T275, T276, void), tree(T275, T278, void)) → LESS19_IN_G(T275)
U24_GGA(T275, T276, T278, less19_out_g(T275)) → U25_GGA(T275, T276, T278, delete1_in_gga(T275, T276, T278))
U24_GGA(T275, T276, T278, less19_out_g(T275)) → DELETE1_IN_GGA(T275, T276, T278)
DELETE1_IN_GGA(T291, tree(T291, T292, void), tree(T291, T292, T294)) → U26_GGA(T291, T292, T294, p40_in_ga(T291, T294))
DELETE1_IN_GGA(T291, tree(T291, T292, void), tree(T291, T292, T294)) → P40_IN_GA(T291, T294)
DELETE1_IN_GGA(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void)) → U27_GGA(T307, T300, T302, less19_in_g(T307))
DELETE1_IN_GGA(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void)) → LESS19_IN_G(T307)
U27_GGA(T307, T300, T302, less19_out_g(T307)) → U28_GGA(T307, T300, T302, delete1_in_gga(s(T307), T300, T302))
U27_GGA(T307, T300, T302, less19_out_g(T307)) → DELETE1_IN_GGA(s(T307), T300, T302)
DELETE1_IN_GGA(T320, tree(T320, T321, void), tree(T320, T321, T323)) → U29_GGA(T320, T321, T323, p40_in_ga(T320, T323))
DELETE1_IN_GGA(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331)) → U30_GGA(T334, T329, T331, p33_in_ga(T334, T331))
DELETE1_IN_GGA(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331)) → P33_IN_GA(T334, T331)
DELETE1_IN_GGA(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387))) → U31_GGA(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_in_gaa(T383, T388, T389))
DELETE1_IN_GGA(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387))) → DELMIN56_IN_GAA(T383, T388, T389)
DELETE1_IN_GGA(T410, tree(T410, T411, T412), tree(T410, T414, T412)) → U32_GGA(T410, T411, T412, T414, less19_in_g(T410))
DELETE1_IN_GGA(T410, tree(T410, T411, T412), tree(T410, T414, T412)) → LESS19_IN_G(T410)
U32_GGA(T410, T411, T412, T414, less19_out_g(T410)) → U33_GGA(T410, T411, T412, T414, delete1_in_gga(T410, T411, T414))
U32_GGA(T410, T411, T412, T414, less19_out_g(T410)) → DELETE1_IN_GGA(T410, T411, T414)
DELETE1_IN_GGA(T429, tree(T429, T430, T431), tree(T429, T430, T433)) → U34_GGA(T429, T430, T431, T433, less19_in_g(T429))
DELETE1_IN_GGA(T429, tree(T429, T430, T431), tree(T429, T430, T433)) → LESS19_IN_G(T429)
U34_GGA(T429, T430, T431, T433, less19_out_g(T429)) → U35_GGA(T429, T430, T431, T433, delete1_in_gga(T429, T431, T433))
U34_GGA(T429, T430, T431, T433, less19_out_g(T429)) → DELETE1_IN_GGA(T429, T431, T433)
DELETE1_IN_GGA(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448)) → U36_GGA(T455, T447, T448, T450, delete1_in_gga(0, T447, T450))
DELETE1_IN_GGA(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448)) → DELETE1_IN_GGA(0, T447, T450)
DELETE1_IN_GGA(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448)) → U37_GGA(T466, T467, T447, T448, T450, less164_in_gg(T466, T467))
DELETE1_IN_GGA(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448)) → LESS164_IN_GG(T466, T467)
LESS164_IN_GG(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560)))))))) → U11_GG(T559, T560, less222_in_gg(T559, T560))
LESS164_IN_GG(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560)))))))) → LESS222_IN_GG(T559, T560)
LESS222_IN_GG(s(T576), s(T577)) → U10_GG(T576, T577, less222_in_gg(T576, T577))
LESS222_IN_GG(s(T576), s(T577)) → LESS222_IN_GG(T576, T577)
U37_GGA(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → U38_GGA(T466, T467, T447, T448, T450, delete1_in_gga(s(T466), T447, T450))
U37_GGA(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → DELETE1_IN_GGA(s(T466), T447, T450)
DELETE1_IN_GGA(T594, tree(T595, T596, T597), tree(T595, T596, T599)) → U39_GGA(T594, T595, T596, T597, T599, less222_in_gg(T595, T594))
DELETE1_IN_GGA(T594, tree(T595, T596, T597), tree(T595, T596, T599)) → LESS222_IN_GG(T595, T594)
U39_GGA(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → U40_GGA(T594, T595, T596, T597, T599, delete1_in_gga(T594, T597, T599))
U39_GGA(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → DELETE1_IN_GGA(T594, T597, T599)
DELETE1_IN_GGA(s(T623), tree(0, T615, T616), tree(0, T615, T618)) → U41_GGA(T623, T615, T616, T618, delete1_in_gga(s(T623), T616, T618))
DELETE1_IN_GGA(s(T623), tree(0, T615, T616), tree(0, T615, T618)) → DELETE1_IN_GGA(s(T623), T616, T618)
DELETE1_IN_GGA(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618)) → U42_GGA(T633, T632, T615, T616, T618, less222_in_gg(T632, T633))
DELETE1_IN_GGA(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618)) → LESS222_IN_GG(T632, T633)
U42_GGA(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → U43_GGA(T633, T632, T615, T616, T618, delete1_in_gga(s(T633), T616, T618))
U42_GGA(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → DELETE1_IN_GGA(s(T633), T616, T618)
delete1_in_gga(T6, tree(T6, void, T7), T7) → delete1_out_gga(T6, tree(T6, void, T7), T7)
delete1_in_gga(T9, tree(T9, void, void), void) → delete1_out_gga(T9, tree(T9, void, void), void)
delete1_in_gga(T26, tree(T26, void, void), tree(T26, T28, void)) → U12_gga(T26, T28, p17_in_ga(T26, T28))
p17_in_ga(T26, T28) → U2_ga(T26, T28, less19_in_g(T26))
less19_in_g(s(T33)) → U1_g(T33, less19_in_g(T33))
U1_g(T33, less19_out_g(T33)) → less19_out_g(s(T33))
U2_ga(T26, T28, less19_out_g(T26)) → p17_out_ga(T26, T28)
U2_ga(T26, T28, less19_out_g(T26)) → U3_ga(T26, T28, delete1_in_gga(T26, void, T28))
delete1_in_gga(T46, tree(T46, void, void), tree(T46, void, T48)) → U13_gga(T46, T48, p17_in_ga(T46, T48))
U13_gga(T46, T48, p17_out_ga(T46, T48)) → delete1_out_gga(T46, tree(T46, void, void), tree(T46, void, T48))
delete1_in_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void)) → U14_gga(T59, T54, p33_in_ga(T59, T54))
p33_in_ga(T59, T54) → U4_ga(T59, T54, less19_in_g(T59))
U4_ga(T59, T54, less19_out_g(T59)) → p33_out_ga(T59, T54)
U4_ga(T59, T54, less19_out_g(T59)) → U5_ga(T59, T54, delete1_in_gga(s(T59), void, T54))
delete1_in_gga(T73, tree(T73, void, void), tree(T73, void, T75)) → U15_gga(T73, T75, p17_in_ga(T73, T75))
U15_gga(T73, T75, p17_out_ga(T73, T75)) → delete1_out_gga(T73, tree(T73, void, void), tree(T73, void, T75))
delete1_in_gga(T79, tree(T79, void, void), tree(T79, void, T81)) → U16_gga(T79, T81, p40_in_ga(T79, T81))
p40_in_ga(s(T84), T81) → U7_ga(T84, T81, p33_in_ga(T84, T81))
U7_ga(T84, T81, p33_out_ga(T84, T81)) → p40_out_ga(s(T84), T81)
U16_gga(T79, T81, p40_out_ga(T79, T81)) → delete1_out_gga(T79, tree(T79, void, void), tree(T79, void, T81))
delete1_in_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105)) → delete1_out_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105))
delete1_in_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135))) → U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_in_gaa(T131, T136, T137))
delmin56_in_gaa(tree(T150, void, T151), T150, T151) → delmin56_out_gaa(tree(T150, void, T151), T150, T151)
delmin56_in_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169)) → U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_in_gaa(T165, T170, T171))
U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_out_gaa(T165, T170, T171)) → delmin56_out_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169))
U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_out_gaa(T131, T136, T137)) → delete1_out_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135)))
delete1_in_gga(T188, tree(T188, void, T189), tree(T188, T191, T189)) → U18_gga(T188, T189, T191, p40_in_ga(T188, T191))
U18_gga(T188, T189, T191, p40_out_ga(T188, T191)) → delete1_out_gga(T188, tree(T188, void, T189), tree(T188, T191, T189))
delete1_in_gga(T199, tree(T199, void, T200), tree(T199, void, T202)) → U19_gga(T199, T200, T202, p71_in_gga(T199, T200, T202))
p71_in_gga(T199, T200, T202) → U8_gga(T199, T200, T202, less19_in_g(T199))
U8_gga(T199, T200, T202, less19_out_g(T199)) → p71_out_gga(T199, T200, T202)
U8_gga(T199, T200, T202, less19_out_g(T199)) → U9_gga(T199, T200, T202, delete1_in_gga(T199, T200, T202))
delete1_in_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213)) → U20_gga(T220, T213, T215, p33_in_ga(T220, T215))
U20_gga(T220, T213, T215, p33_out_ga(T220, T215)) → delete1_out_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213))
delete1_in_gga(T228, tree(T228, void, T229), tree(T228, void, T231)) → U21_gga(T228, T229, T231, p71_in_gga(T228, T229, T231))
U21_gga(T228, T229, T231, p71_out_gga(T228, T229, T231)) → delete1_out_gga(T228, tree(T228, void, T229), tree(T228, void, T231))
delete1_in_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239)) → U22_gga(T242, T237, T239, less19_in_g(T242))
U22_gga(T242, T237, T239, less19_out_g(T242)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U22_gga(T242, T237, T239, less19_out_g(T242)) → U23_gga(T242, T237, T239, delete1_in_gga(s(T242), T237, T239))
delete1_in_gga(T251, tree(T251, T252, void), T252) → delete1_out_gga(T251, tree(T251, T252, void), T252)
delete1_in_gga(T275, tree(T275, T276, void), tree(T275, T278, void)) → U24_gga(T275, T276, T278, less19_in_g(T275))
U24_gga(T275, T276, T278, less19_out_g(T275)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U24_gga(T275, T276, T278, less19_out_g(T275)) → U25_gga(T275, T276, T278, delete1_in_gga(T275, T276, T278))
delete1_in_gga(T291, tree(T291, T292, void), tree(T291, T292, T294)) → U26_gga(T291, T292, T294, p40_in_ga(T291, T294))
U26_gga(T291, T292, T294, p40_out_ga(T291, T294)) → delete1_out_gga(T291, tree(T291, T292, void), tree(T291, T292, T294))
delete1_in_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void)) → U27_gga(T307, T300, T302, less19_in_g(T307))
U27_gga(T307, T300, T302, less19_out_g(T307)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U27_gga(T307, T300, T302, less19_out_g(T307)) → U28_gga(T307, T300, T302, delete1_in_gga(s(T307), T300, T302))
delete1_in_gga(T320, tree(T320, T321, void), tree(T320, T321, T323)) → U29_gga(T320, T321, T323, p40_in_ga(T320, T323))
U29_gga(T320, T321, T323, p40_out_ga(T320, T323)) → delete1_out_gga(T320, tree(T320, T321, void), tree(T320, T321, T323))
delete1_in_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331)) → U30_gga(T334, T329, T331, p33_in_ga(T334, T331))
U30_gga(T334, T329, T331, p33_out_ga(T334, T331)) → delete1_out_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331))
delete1_in_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357)) → delete1_out_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357))
delete1_in_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387))) → U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_in_gaa(T383, T388, T389))
U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_out_gaa(T383, T388, T389)) → delete1_out_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387)))
delete1_in_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412)) → U32_gga(T410, T411, T412, T414, less19_in_g(T410))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → U33_gga(T410, T411, T412, T414, delete1_in_gga(T410, T411, T414))
delete1_in_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433)) → U34_gga(T429, T430, T431, T433, less19_in_g(T429))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → U35_gga(T429, T430, T431, T433, delete1_in_gga(T429, T431, T433))
delete1_in_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448)) → U36_gga(T455, T447, T448, T450, delete1_in_gga(0, T447, T450))
delete1_in_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448)) → U37_gga(T466, T467, T447, T448, T450, less164_in_gg(T466, T467))
less164_in_gg(0, s(T476)) → less164_out_gg(0, s(T476))
less164_in_gg(s(0), s(s(T489))) → less164_out_gg(s(0), s(s(T489)))
less164_in_gg(s(s(0)), s(s(s(T502)))) → less164_out_gg(s(s(0)), s(s(s(T502))))
less164_in_gg(s(s(s(0))), s(s(s(s(T515))))) → less164_out_gg(s(s(s(0))), s(s(s(s(T515)))))
less164_in_gg(s(s(s(s(0)))), s(s(s(s(s(T528)))))) → less164_out_gg(s(s(s(s(0)))), s(s(s(s(s(T528))))))
less164_in_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541))))))) → less164_out_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541)))))))
less164_in_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554)))))))) → less164_out_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554))))))))
less164_in_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560)))))))) → U11_gg(T559, T560, less222_in_gg(T559, T560))
less222_in_gg(0, s(T571)) → less222_out_gg(0, s(T571))
less222_in_gg(s(T576), s(T577)) → U10_gg(T576, T577, less222_in_gg(T576, T577))
U10_gg(T576, T577, less222_out_gg(T576, T577)) → less222_out_gg(s(T576), s(T577))
U11_gg(T559, T560, less222_out_gg(T559, T560)) → less164_out_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560))))))))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → U38_gga(T466, T467, T447, T448, T450, delete1_in_gga(s(T466), T447, T450))
delete1_in_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599)) → U39_gga(T594, T595, T596, T597, T599, less222_in_gg(T595, T594))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → U40_gga(T594, T595, T596, T597, T599, delete1_in_gga(T594, T597, T599))
delete1_in_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618)) → U41_gga(T623, T615, T616, T618, delete1_in_gga(s(T623), T616, T618))
delete1_in_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618)) → U42_gga(T633, T632, T615, T616, T618, less222_in_gg(T632, T633))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → U43_gga(T633, T632, T615, T616, T618, delete1_in_gga(s(T633), T616, T618))
U43_gga(T633, T632, T615, T616, T618, delete1_out_gga(s(T633), T616, T618)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U41_gga(T623, T615, T616, T618, delete1_out_gga(s(T623), T616, T618)) → delete1_out_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618))
U40_gga(T594, T595, T596, T597, T599, delete1_out_gga(T594, T597, T599)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U38_gga(T466, T467, T447, T448, T450, delete1_out_gga(s(T466), T447, T450)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U36_gga(T455, T447, T448, T450, delete1_out_gga(0, T447, T450)) → delete1_out_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448))
U35_gga(T429, T430, T431, T433, delete1_out_gga(T429, T431, T433)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U33_gga(T410, T411, T412, T414, delete1_out_gga(T410, T411, T414)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U28_gga(T307, T300, T302, delete1_out_gga(s(T307), T300, T302)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U25_gga(T275, T276, T278, delete1_out_gga(T275, T276, T278)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U23_gga(T242, T237, T239, delete1_out_gga(s(T242), T237, T239)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U9_gga(T199, T200, T202, delete1_out_gga(T199, T200, T202)) → p71_out_gga(T199, T200, T202)
U19_gga(T199, T200, T202, p71_out_gga(T199, T200, T202)) → delete1_out_gga(T199, tree(T199, void, T200), tree(T199, void, T202))
U5_ga(T59, T54, delete1_out_gga(s(T59), void, T54)) → p33_out_ga(T59, T54)
U14_gga(T59, T54, p33_out_ga(T59, T54)) → delete1_out_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void))
U3_ga(T26, T28, delete1_out_gga(T26, void, T28)) → p17_out_ga(T26, T28)
U12_gga(T26, T28, p17_out_ga(T26, T28)) → delete1_out_gga(T26, tree(T26, void, void), tree(T26, T28, void))
LESS222_IN_GG(s(T576), s(T577)) → LESS222_IN_GG(T576, T577)
delete1_in_gga(T6, tree(T6, void, T7), T7) → delete1_out_gga(T6, tree(T6, void, T7), T7)
delete1_in_gga(T9, tree(T9, void, void), void) → delete1_out_gga(T9, tree(T9, void, void), void)
delete1_in_gga(T26, tree(T26, void, void), tree(T26, T28, void)) → U12_gga(T26, T28, p17_in_ga(T26, T28))
p17_in_ga(T26, T28) → U2_ga(T26, T28, less19_in_g(T26))
less19_in_g(s(T33)) → U1_g(T33, less19_in_g(T33))
U1_g(T33, less19_out_g(T33)) → less19_out_g(s(T33))
U2_ga(T26, T28, less19_out_g(T26)) → p17_out_ga(T26, T28)
U2_ga(T26, T28, less19_out_g(T26)) → U3_ga(T26, T28, delete1_in_gga(T26, void, T28))
delete1_in_gga(T46, tree(T46, void, void), tree(T46, void, T48)) → U13_gga(T46, T48, p17_in_ga(T46, T48))
U13_gga(T46, T48, p17_out_ga(T46, T48)) → delete1_out_gga(T46, tree(T46, void, void), tree(T46, void, T48))
delete1_in_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void)) → U14_gga(T59, T54, p33_in_ga(T59, T54))
p33_in_ga(T59, T54) → U4_ga(T59, T54, less19_in_g(T59))
U4_ga(T59, T54, less19_out_g(T59)) → p33_out_ga(T59, T54)
U4_ga(T59, T54, less19_out_g(T59)) → U5_ga(T59, T54, delete1_in_gga(s(T59), void, T54))
delete1_in_gga(T73, tree(T73, void, void), tree(T73, void, T75)) → U15_gga(T73, T75, p17_in_ga(T73, T75))
U15_gga(T73, T75, p17_out_ga(T73, T75)) → delete1_out_gga(T73, tree(T73, void, void), tree(T73, void, T75))
delete1_in_gga(T79, tree(T79, void, void), tree(T79, void, T81)) → U16_gga(T79, T81, p40_in_ga(T79, T81))
p40_in_ga(s(T84), T81) → U7_ga(T84, T81, p33_in_ga(T84, T81))
U7_ga(T84, T81, p33_out_ga(T84, T81)) → p40_out_ga(s(T84), T81)
U16_gga(T79, T81, p40_out_ga(T79, T81)) → delete1_out_gga(T79, tree(T79, void, void), tree(T79, void, T81))
delete1_in_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105)) → delete1_out_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105))
delete1_in_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135))) → U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_in_gaa(T131, T136, T137))
delmin56_in_gaa(tree(T150, void, T151), T150, T151) → delmin56_out_gaa(tree(T150, void, T151), T150, T151)
delmin56_in_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169)) → U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_in_gaa(T165, T170, T171))
U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_out_gaa(T165, T170, T171)) → delmin56_out_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169))
U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_out_gaa(T131, T136, T137)) → delete1_out_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135)))
delete1_in_gga(T188, tree(T188, void, T189), tree(T188, T191, T189)) → U18_gga(T188, T189, T191, p40_in_ga(T188, T191))
U18_gga(T188, T189, T191, p40_out_ga(T188, T191)) → delete1_out_gga(T188, tree(T188, void, T189), tree(T188, T191, T189))
delete1_in_gga(T199, tree(T199, void, T200), tree(T199, void, T202)) → U19_gga(T199, T200, T202, p71_in_gga(T199, T200, T202))
p71_in_gga(T199, T200, T202) → U8_gga(T199, T200, T202, less19_in_g(T199))
U8_gga(T199, T200, T202, less19_out_g(T199)) → p71_out_gga(T199, T200, T202)
U8_gga(T199, T200, T202, less19_out_g(T199)) → U9_gga(T199, T200, T202, delete1_in_gga(T199, T200, T202))
delete1_in_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213)) → U20_gga(T220, T213, T215, p33_in_ga(T220, T215))
U20_gga(T220, T213, T215, p33_out_ga(T220, T215)) → delete1_out_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213))
delete1_in_gga(T228, tree(T228, void, T229), tree(T228, void, T231)) → U21_gga(T228, T229, T231, p71_in_gga(T228, T229, T231))
U21_gga(T228, T229, T231, p71_out_gga(T228, T229, T231)) → delete1_out_gga(T228, tree(T228, void, T229), tree(T228, void, T231))
delete1_in_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239)) → U22_gga(T242, T237, T239, less19_in_g(T242))
U22_gga(T242, T237, T239, less19_out_g(T242)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U22_gga(T242, T237, T239, less19_out_g(T242)) → U23_gga(T242, T237, T239, delete1_in_gga(s(T242), T237, T239))
delete1_in_gga(T251, tree(T251, T252, void), T252) → delete1_out_gga(T251, tree(T251, T252, void), T252)
delete1_in_gga(T275, tree(T275, T276, void), tree(T275, T278, void)) → U24_gga(T275, T276, T278, less19_in_g(T275))
U24_gga(T275, T276, T278, less19_out_g(T275)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U24_gga(T275, T276, T278, less19_out_g(T275)) → U25_gga(T275, T276, T278, delete1_in_gga(T275, T276, T278))
delete1_in_gga(T291, tree(T291, T292, void), tree(T291, T292, T294)) → U26_gga(T291, T292, T294, p40_in_ga(T291, T294))
U26_gga(T291, T292, T294, p40_out_ga(T291, T294)) → delete1_out_gga(T291, tree(T291, T292, void), tree(T291, T292, T294))
delete1_in_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void)) → U27_gga(T307, T300, T302, less19_in_g(T307))
U27_gga(T307, T300, T302, less19_out_g(T307)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U27_gga(T307, T300, T302, less19_out_g(T307)) → U28_gga(T307, T300, T302, delete1_in_gga(s(T307), T300, T302))
delete1_in_gga(T320, tree(T320, T321, void), tree(T320, T321, T323)) → U29_gga(T320, T321, T323, p40_in_ga(T320, T323))
U29_gga(T320, T321, T323, p40_out_ga(T320, T323)) → delete1_out_gga(T320, tree(T320, T321, void), tree(T320, T321, T323))
delete1_in_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331)) → U30_gga(T334, T329, T331, p33_in_ga(T334, T331))
U30_gga(T334, T329, T331, p33_out_ga(T334, T331)) → delete1_out_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331))
delete1_in_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357)) → delete1_out_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357))
delete1_in_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387))) → U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_in_gaa(T383, T388, T389))
U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_out_gaa(T383, T388, T389)) → delete1_out_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387)))
delete1_in_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412)) → U32_gga(T410, T411, T412, T414, less19_in_g(T410))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → U33_gga(T410, T411, T412, T414, delete1_in_gga(T410, T411, T414))
delete1_in_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433)) → U34_gga(T429, T430, T431, T433, less19_in_g(T429))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → U35_gga(T429, T430, T431, T433, delete1_in_gga(T429, T431, T433))
delete1_in_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448)) → U36_gga(T455, T447, T448, T450, delete1_in_gga(0, T447, T450))
delete1_in_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448)) → U37_gga(T466, T467, T447, T448, T450, less164_in_gg(T466, T467))
less164_in_gg(0, s(T476)) → less164_out_gg(0, s(T476))
less164_in_gg(s(0), s(s(T489))) → less164_out_gg(s(0), s(s(T489)))
less164_in_gg(s(s(0)), s(s(s(T502)))) → less164_out_gg(s(s(0)), s(s(s(T502))))
less164_in_gg(s(s(s(0))), s(s(s(s(T515))))) → less164_out_gg(s(s(s(0))), s(s(s(s(T515)))))
less164_in_gg(s(s(s(s(0)))), s(s(s(s(s(T528)))))) → less164_out_gg(s(s(s(s(0)))), s(s(s(s(s(T528))))))
less164_in_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541))))))) → less164_out_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541)))))))
less164_in_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554)))))))) → less164_out_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554))))))))
less164_in_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560)))))))) → U11_gg(T559, T560, less222_in_gg(T559, T560))
less222_in_gg(0, s(T571)) → less222_out_gg(0, s(T571))
less222_in_gg(s(T576), s(T577)) → U10_gg(T576, T577, less222_in_gg(T576, T577))
U10_gg(T576, T577, less222_out_gg(T576, T577)) → less222_out_gg(s(T576), s(T577))
U11_gg(T559, T560, less222_out_gg(T559, T560)) → less164_out_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560))))))))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → U38_gga(T466, T467, T447, T448, T450, delete1_in_gga(s(T466), T447, T450))
delete1_in_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599)) → U39_gga(T594, T595, T596, T597, T599, less222_in_gg(T595, T594))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → U40_gga(T594, T595, T596, T597, T599, delete1_in_gga(T594, T597, T599))
delete1_in_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618)) → U41_gga(T623, T615, T616, T618, delete1_in_gga(s(T623), T616, T618))
delete1_in_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618)) → U42_gga(T633, T632, T615, T616, T618, less222_in_gg(T632, T633))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → U43_gga(T633, T632, T615, T616, T618, delete1_in_gga(s(T633), T616, T618))
U43_gga(T633, T632, T615, T616, T618, delete1_out_gga(s(T633), T616, T618)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U41_gga(T623, T615, T616, T618, delete1_out_gga(s(T623), T616, T618)) → delete1_out_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618))
U40_gga(T594, T595, T596, T597, T599, delete1_out_gga(T594, T597, T599)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U38_gga(T466, T467, T447, T448, T450, delete1_out_gga(s(T466), T447, T450)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U36_gga(T455, T447, T448, T450, delete1_out_gga(0, T447, T450)) → delete1_out_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448))
U35_gga(T429, T430, T431, T433, delete1_out_gga(T429, T431, T433)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U33_gga(T410, T411, T412, T414, delete1_out_gga(T410, T411, T414)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U28_gga(T307, T300, T302, delete1_out_gga(s(T307), T300, T302)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U25_gga(T275, T276, T278, delete1_out_gga(T275, T276, T278)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U23_gga(T242, T237, T239, delete1_out_gga(s(T242), T237, T239)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U9_gga(T199, T200, T202, delete1_out_gga(T199, T200, T202)) → p71_out_gga(T199, T200, T202)
U19_gga(T199, T200, T202, p71_out_gga(T199, T200, T202)) → delete1_out_gga(T199, tree(T199, void, T200), tree(T199, void, T202))
U5_ga(T59, T54, delete1_out_gga(s(T59), void, T54)) → p33_out_ga(T59, T54)
U14_gga(T59, T54, p33_out_ga(T59, T54)) → delete1_out_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void))
U3_ga(T26, T28, delete1_out_gga(T26, void, T28)) → p17_out_ga(T26, T28)
U12_gga(T26, T28, p17_out_ga(T26, T28)) → delete1_out_gga(T26, tree(T26, void, void), tree(T26, T28, void))
LESS222_IN_GG(s(T576), s(T577)) → LESS222_IN_GG(T576, T577)
LESS222_IN_GG(s(T576), s(T577)) → LESS222_IN_GG(T576, T577)
From the DPs we obtained the following set of size-change graphs:
DELMIN56_IN_GAA(tree(T164, T165, T166), T170, tree(T164, T171, T169)) → DELMIN56_IN_GAA(T165, T170, T171)
delete1_in_gga(T6, tree(T6, void, T7), T7) → delete1_out_gga(T6, tree(T6, void, T7), T7)
delete1_in_gga(T9, tree(T9, void, void), void) → delete1_out_gga(T9, tree(T9, void, void), void)
delete1_in_gga(T26, tree(T26, void, void), tree(T26, T28, void)) → U12_gga(T26, T28, p17_in_ga(T26, T28))
p17_in_ga(T26, T28) → U2_ga(T26, T28, less19_in_g(T26))
less19_in_g(s(T33)) → U1_g(T33, less19_in_g(T33))
U1_g(T33, less19_out_g(T33)) → less19_out_g(s(T33))
U2_ga(T26, T28, less19_out_g(T26)) → p17_out_ga(T26, T28)
U2_ga(T26, T28, less19_out_g(T26)) → U3_ga(T26, T28, delete1_in_gga(T26, void, T28))
delete1_in_gga(T46, tree(T46, void, void), tree(T46, void, T48)) → U13_gga(T46, T48, p17_in_ga(T46, T48))
U13_gga(T46, T48, p17_out_ga(T46, T48)) → delete1_out_gga(T46, tree(T46, void, void), tree(T46, void, T48))
delete1_in_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void)) → U14_gga(T59, T54, p33_in_ga(T59, T54))
p33_in_ga(T59, T54) → U4_ga(T59, T54, less19_in_g(T59))
U4_ga(T59, T54, less19_out_g(T59)) → p33_out_ga(T59, T54)
U4_ga(T59, T54, less19_out_g(T59)) → U5_ga(T59, T54, delete1_in_gga(s(T59), void, T54))
delete1_in_gga(T73, tree(T73, void, void), tree(T73, void, T75)) → U15_gga(T73, T75, p17_in_ga(T73, T75))
U15_gga(T73, T75, p17_out_ga(T73, T75)) → delete1_out_gga(T73, tree(T73, void, void), tree(T73, void, T75))
delete1_in_gga(T79, tree(T79, void, void), tree(T79, void, T81)) → U16_gga(T79, T81, p40_in_ga(T79, T81))
p40_in_ga(s(T84), T81) → U7_ga(T84, T81, p33_in_ga(T84, T81))
U7_ga(T84, T81, p33_out_ga(T84, T81)) → p40_out_ga(s(T84), T81)
U16_gga(T79, T81, p40_out_ga(T79, T81)) → delete1_out_gga(T79, tree(T79, void, void), tree(T79, void, T81))
delete1_in_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105)) → delete1_out_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105))
delete1_in_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135))) → U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_in_gaa(T131, T136, T137))
delmin56_in_gaa(tree(T150, void, T151), T150, T151) → delmin56_out_gaa(tree(T150, void, T151), T150, T151)
delmin56_in_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169)) → U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_in_gaa(T165, T170, T171))
U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_out_gaa(T165, T170, T171)) → delmin56_out_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169))
U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_out_gaa(T131, T136, T137)) → delete1_out_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135)))
delete1_in_gga(T188, tree(T188, void, T189), tree(T188, T191, T189)) → U18_gga(T188, T189, T191, p40_in_ga(T188, T191))
U18_gga(T188, T189, T191, p40_out_ga(T188, T191)) → delete1_out_gga(T188, tree(T188, void, T189), tree(T188, T191, T189))
delete1_in_gga(T199, tree(T199, void, T200), tree(T199, void, T202)) → U19_gga(T199, T200, T202, p71_in_gga(T199, T200, T202))
p71_in_gga(T199, T200, T202) → U8_gga(T199, T200, T202, less19_in_g(T199))
U8_gga(T199, T200, T202, less19_out_g(T199)) → p71_out_gga(T199, T200, T202)
U8_gga(T199, T200, T202, less19_out_g(T199)) → U9_gga(T199, T200, T202, delete1_in_gga(T199, T200, T202))
delete1_in_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213)) → U20_gga(T220, T213, T215, p33_in_ga(T220, T215))
U20_gga(T220, T213, T215, p33_out_ga(T220, T215)) → delete1_out_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213))
delete1_in_gga(T228, tree(T228, void, T229), tree(T228, void, T231)) → U21_gga(T228, T229, T231, p71_in_gga(T228, T229, T231))
U21_gga(T228, T229, T231, p71_out_gga(T228, T229, T231)) → delete1_out_gga(T228, tree(T228, void, T229), tree(T228, void, T231))
delete1_in_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239)) → U22_gga(T242, T237, T239, less19_in_g(T242))
U22_gga(T242, T237, T239, less19_out_g(T242)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U22_gga(T242, T237, T239, less19_out_g(T242)) → U23_gga(T242, T237, T239, delete1_in_gga(s(T242), T237, T239))
delete1_in_gga(T251, tree(T251, T252, void), T252) → delete1_out_gga(T251, tree(T251, T252, void), T252)
delete1_in_gga(T275, tree(T275, T276, void), tree(T275, T278, void)) → U24_gga(T275, T276, T278, less19_in_g(T275))
U24_gga(T275, T276, T278, less19_out_g(T275)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U24_gga(T275, T276, T278, less19_out_g(T275)) → U25_gga(T275, T276, T278, delete1_in_gga(T275, T276, T278))
delete1_in_gga(T291, tree(T291, T292, void), tree(T291, T292, T294)) → U26_gga(T291, T292, T294, p40_in_ga(T291, T294))
U26_gga(T291, T292, T294, p40_out_ga(T291, T294)) → delete1_out_gga(T291, tree(T291, T292, void), tree(T291, T292, T294))
delete1_in_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void)) → U27_gga(T307, T300, T302, less19_in_g(T307))
U27_gga(T307, T300, T302, less19_out_g(T307)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U27_gga(T307, T300, T302, less19_out_g(T307)) → U28_gga(T307, T300, T302, delete1_in_gga(s(T307), T300, T302))
delete1_in_gga(T320, tree(T320, T321, void), tree(T320, T321, T323)) → U29_gga(T320, T321, T323, p40_in_ga(T320, T323))
U29_gga(T320, T321, T323, p40_out_ga(T320, T323)) → delete1_out_gga(T320, tree(T320, T321, void), tree(T320, T321, T323))
delete1_in_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331)) → U30_gga(T334, T329, T331, p33_in_ga(T334, T331))
U30_gga(T334, T329, T331, p33_out_ga(T334, T331)) → delete1_out_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331))
delete1_in_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357)) → delete1_out_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357))
delete1_in_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387))) → U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_in_gaa(T383, T388, T389))
U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_out_gaa(T383, T388, T389)) → delete1_out_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387)))
delete1_in_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412)) → U32_gga(T410, T411, T412, T414, less19_in_g(T410))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → U33_gga(T410, T411, T412, T414, delete1_in_gga(T410, T411, T414))
delete1_in_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433)) → U34_gga(T429, T430, T431, T433, less19_in_g(T429))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → U35_gga(T429, T430, T431, T433, delete1_in_gga(T429, T431, T433))
delete1_in_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448)) → U36_gga(T455, T447, T448, T450, delete1_in_gga(0, T447, T450))
delete1_in_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448)) → U37_gga(T466, T467, T447, T448, T450, less164_in_gg(T466, T467))
less164_in_gg(0, s(T476)) → less164_out_gg(0, s(T476))
less164_in_gg(s(0), s(s(T489))) → less164_out_gg(s(0), s(s(T489)))
less164_in_gg(s(s(0)), s(s(s(T502)))) → less164_out_gg(s(s(0)), s(s(s(T502))))
less164_in_gg(s(s(s(0))), s(s(s(s(T515))))) → less164_out_gg(s(s(s(0))), s(s(s(s(T515)))))
less164_in_gg(s(s(s(s(0)))), s(s(s(s(s(T528)))))) → less164_out_gg(s(s(s(s(0)))), s(s(s(s(s(T528))))))
less164_in_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541))))))) → less164_out_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541)))))))
less164_in_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554)))))))) → less164_out_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554))))))))
less164_in_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560)))))))) → U11_gg(T559, T560, less222_in_gg(T559, T560))
less222_in_gg(0, s(T571)) → less222_out_gg(0, s(T571))
less222_in_gg(s(T576), s(T577)) → U10_gg(T576, T577, less222_in_gg(T576, T577))
U10_gg(T576, T577, less222_out_gg(T576, T577)) → less222_out_gg(s(T576), s(T577))
U11_gg(T559, T560, less222_out_gg(T559, T560)) → less164_out_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560))))))))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → U38_gga(T466, T467, T447, T448, T450, delete1_in_gga(s(T466), T447, T450))
delete1_in_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599)) → U39_gga(T594, T595, T596, T597, T599, less222_in_gg(T595, T594))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → U40_gga(T594, T595, T596, T597, T599, delete1_in_gga(T594, T597, T599))
delete1_in_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618)) → U41_gga(T623, T615, T616, T618, delete1_in_gga(s(T623), T616, T618))
delete1_in_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618)) → U42_gga(T633, T632, T615, T616, T618, less222_in_gg(T632, T633))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → U43_gga(T633, T632, T615, T616, T618, delete1_in_gga(s(T633), T616, T618))
U43_gga(T633, T632, T615, T616, T618, delete1_out_gga(s(T633), T616, T618)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U41_gga(T623, T615, T616, T618, delete1_out_gga(s(T623), T616, T618)) → delete1_out_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618))
U40_gga(T594, T595, T596, T597, T599, delete1_out_gga(T594, T597, T599)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U38_gga(T466, T467, T447, T448, T450, delete1_out_gga(s(T466), T447, T450)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U36_gga(T455, T447, T448, T450, delete1_out_gga(0, T447, T450)) → delete1_out_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448))
U35_gga(T429, T430, T431, T433, delete1_out_gga(T429, T431, T433)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U33_gga(T410, T411, T412, T414, delete1_out_gga(T410, T411, T414)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U28_gga(T307, T300, T302, delete1_out_gga(s(T307), T300, T302)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U25_gga(T275, T276, T278, delete1_out_gga(T275, T276, T278)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U23_gga(T242, T237, T239, delete1_out_gga(s(T242), T237, T239)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U9_gga(T199, T200, T202, delete1_out_gga(T199, T200, T202)) → p71_out_gga(T199, T200, T202)
U19_gga(T199, T200, T202, p71_out_gga(T199, T200, T202)) → delete1_out_gga(T199, tree(T199, void, T200), tree(T199, void, T202))
U5_ga(T59, T54, delete1_out_gga(s(T59), void, T54)) → p33_out_ga(T59, T54)
U14_gga(T59, T54, p33_out_ga(T59, T54)) → delete1_out_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void))
U3_ga(T26, T28, delete1_out_gga(T26, void, T28)) → p17_out_ga(T26, T28)
U12_gga(T26, T28, p17_out_ga(T26, T28)) → delete1_out_gga(T26, tree(T26, void, void), tree(T26, T28, void))
DELMIN56_IN_GAA(tree(T164, T165, T166), T170, tree(T164, T171, T169)) → DELMIN56_IN_GAA(T165, T170, T171)
DELMIN56_IN_GAA(tree(T164, T165, T166)) → DELMIN56_IN_GAA(T165)
From the DPs we obtained the following set of size-change graphs:
LESS19_IN_G(s(T33)) → LESS19_IN_G(T33)
delete1_in_gga(T6, tree(T6, void, T7), T7) → delete1_out_gga(T6, tree(T6, void, T7), T7)
delete1_in_gga(T9, tree(T9, void, void), void) → delete1_out_gga(T9, tree(T9, void, void), void)
delete1_in_gga(T26, tree(T26, void, void), tree(T26, T28, void)) → U12_gga(T26, T28, p17_in_ga(T26, T28))
p17_in_ga(T26, T28) → U2_ga(T26, T28, less19_in_g(T26))
less19_in_g(s(T33)) → U1_g(T33, less19_in_g(T33))
U1_g(T33, less19_out_g(T33)) → less19_out_g(s(T33))
U2_ga(T26, T28, less19_out_g(T26)) → p17_out_ga(T26, T28)
U2_ga(T26, T28, less19_out_g(T26)) → U3_ga(T26, T28, delete1_in_gga(T26, void, T28))
delete1_in_gga(T46, tree(T46, void, void), tree(T46, void, T48)) → U13_gga(T46, T48, p17_in_ga(T46, T48))
U13_gga(T46, T48, p17_out_ga(T46, T48)) → delete1_out_gga(T46, tree(T46, void, void), tree(T46, void, T48))
delete1_in_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void)) → U14_gga(T59, T54, p33_in_ga(T59, T54))
p33_in_ga(T59, T54) → U4_ga(T59, T54, less19_in_g(T59))
U4_ga(T59, T54, less19_out_g(T59)) → p33_out_ga(T59, T54)
U4_ga(T59, T54, less19_out_g(T59)) → U5_ga(T59, T54, delete1_in_gga(s(T59), void, T54))
delete1_in_gga(T73, tree(T73, void, void), tree(T73, void, T75)) → U15_gga(T73, T75, p17_in_ga(T73, T75))
U15_gga(T73, T75, p17_out_ga(T73, T75)) → delete1_out_gga(T73, tree(T73, void, void), tree(T73, void, T75))
delete1_in_gga(T79, tree(T79, void, void), tree(T79, void, T81)) → U16_gga(T79, T81, p40_in_ga(T79, T81))
p40_in_ga(s(T84), T81) → U7_ga(T84, T81, p33_in_ga(T84, T81))
U7_ga(T84, T81, p33_out_ga(T84, T81)) → p40_out_ga(s(T84), T81)
U16_gga(T79, T81, p40_out_ga(T79, T81)) → delete1_out_gga(T79, tree(T79, void, void), tree(T79, void, T81))
delete1_in_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105)) → delete1_out_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105))
delete1_in_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135))) → U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_in_gaa(T131, T136, T137))
delmin56_in_gaa(tree(T150, void, T151), T150, T151) → delmin56_out_gaa(tree(T150, void, T151), T150, T151)
delmin56_in_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169)) → U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_in_gaa(T165, T170, T171))
U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_out_gaa(T165, T170, T171)) → delmin56_out_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169))
U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_out_gaa(T131, T136, T137)) → delete1_out_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135)))
delete1_in_gga(T188, tree(T188, void, T189), tree(T188, T191, T189)) → U18_gga(T188, T189, T191, p40_in_ga(T188, T191))
U18_gga(T188, T189, T191, p40_out_ga(T188, T191)) → delete1_out_gga(T188, tree(T188, void, T189), tree(T188, T191, T189))
delete1_in_gga(T199, tree(T199, void, T200), tree(T199, void, T202)) → U19_gga(T199, T200, T202, p71_in_gga(T199, T200, T202))
p71_in_gga(T199, T200, T202) → U8_gga(T199, T200, T202, less19_in_g(T199))
U8_gga(T199, T200, T202, less19_out_g(T199)) → p71_out_gga(T199, T200, T202)
U8_gga(T199, T200, T202, less19_out_g(T199)) → U9_gga(T199, T200, T202, delete1_in_gga(T199, T200, T202))
delete1_in_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213)) → U20_gga(T220, T213, T215, p33_in_ga(T220, T215))
U20_gga(T220, T213, T215, p33_out_ga(T220, T215)) → delete1_out_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213))
delete1_in_gga(T228, tree(T228, void, T229), tree(T228, void, T231)) → U21_gga(T228, T229, T231, p71_in_gga(T228, T229, T231))
U21_gga(T228, T229, T231, p71_out_gga(T228, T229, T231)) → delete1_out_gga(T228, tree(T228, void, T229), tree(T228, void, T231))
delete1_in_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239)) → U22_gga(T242, T237, T239, less19_in_g(T242))
U22_gga(T242, T237, T239, less19_out_g(T242)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U22_gga(T242, T237, T239, less19_out_g(T242)) → U23_gga(T242, T237, T239, delete1_in_gga(s(T242), T237, T239))
delete1_in_gga(T251, tree(T251, T252, void), T252) → delete1_out_gga(T251, tree(T251, T252, void), T252)
delete1_in_gga(T275, tree(T275, T276, void), tree(T275, T278, void)) → U24_gga(T275, T276, T278, less19_in_g(T275))
U24_gga(T275, T276, T278, less19_out_g(T275)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U24_gga(T275, T276, T278, less19_out_g(T275)) → U25_gga(T275, T276, T278, delete1_in_gga(T275, T276, T278))
delete1_in_gga(T291, tree(T291, T292, void), tree(T291, T292, T294)) → U26_gga(T291, T292, T294, p40_in_ga(T291, T294))
U26_gga(T291, T292, T294, p40_out_ga(T291, T294)) → delete1_out_gga(T291, tree(T291, T292, void), tree(T291, T292, T294))
delete1_in_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void)) → U27_gga(T307, T300, T302, less19_in_g(T307))
U27_gga(T307, T300, T302, less19_out_g(T307)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U27_gga(T307, T300, T302, less19_out_g(T307)) → U28_gga(T307, T300, T302, delete1_in_gga(s(T307), T300, T302))
delete1_in_gga(T320, tree(T320, T321, void), tree(T320, T321, T323)) → U29_gga(T320, T321, T323, p40_in_ga(T320, T323))
U29_gga(T320, T321, T323, p40_out_ga(T320, T323)) → delete1_out_gga(T320, tree(T320, T321, void), tree(T320, T321, T323))
delete1_in_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331)) → U30_gga(T334, T329, T331, p33_in_ga(T334, T331))
U30_gga(T334, T329, T331, p33_out_ga(T334, T331)) → delete1_out_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331))
delete1_in_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357)) → delete1_out_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357))
delete1_in_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387))) → U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_in_gaa(T383, T388, T389))
U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_out_gaa(T383, T388, T389)) → delete1_out_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387)))
delete1_in_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412)) → U32_gga(T410, T411, T412, T414, less19_in_g(T410))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → U33_gga(T410, T411, T412, T414, delete1_in_gga(T410, T411, T414))
delete1_in_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433)) → U34_gga(T429, T430, T431, T433, less19_in_g(T429))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → U35_gga(T429, T430, T431, T433, delete1_in_gga(T429, T431, T433))
delete1_in_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448)) → U36_gga(T455, T447, T448, T450, delete1_in_gga(0, T447, T450))
delete1_in_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448)) → U37_gga(T466, T467, T447, T448, T450, less164_in_gg(T466, T467))
less164_in_gg(0, s(T476)) → less164_out_gg(0, s(T476))
less164_in_gg(s(0), s(s(T489))) → less164_out_gg(s(0), s(s(T489)))
less164_in_gg(s(s(0)), s(s(s(T502)))) → less164_out_gg(s(s(0)), s(s(s(T502))))
less164_in_gg(s(s(s(0))), s(s(s(s(T515))))) → less164_out_gg(s(s(s(0))), s(s(s(s(T515)))))
less164_in_gg(s(s(s(s(0)))), s(s(s(s(s(T528)))))) → less164_out_gg(s(s(s(s(0)))), s(s(s(s(s(T528))))))
less164_in_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541))))))) → less164_out_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541)))))))
less164_in_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554)))))))) → less164_out_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554))))))))
less164_in_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560)))))))) → U11_gg(T559, T560, less222_in_gg(T559, T560))
less222_in_gg(0, s(T571)) → less222_out_gg(0, s(T571))
less222_in_gg(s(T576), s(T577)) → U10_gg(T576, T577, less222_in_gg(T576, T577))
U10_gg(T576, T577, less222_out_gg(T576, T577)) → less222_out_gg(s(T576), s(T577))
U11_gg(T559, T560, less222_out_gg(T559, T560)) → less164_out_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560))))))))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → U38_gga(T466, T467, T447, T448, T450, delete1_in_gga(s(T466), T447, T450))
delete1_in_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599)) → U39_gga(T594, T595, T596, T597, T599, less222_in_gg(T595, T594))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → U40_gga(T594, T595, T596, T597, T599, delete1_in_gga(T594, T597, T599))
delete1_in_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618)) → U41_gga(T623, T615, T616, T618, delete1_in_gga(s(T623), T616, T618))
delete1_in_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618)) → U42_gga(T633, T632, T615, T616, T618, less222_in_gg(T632, T633))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → U43_gga(T633, T632, T615, T616, T618, delete1_in_gga(s(T633), T616, T618))
U43_gga(T633, T632, T615, T616, T618, delete1_out_gga(s(T633), T616, T618)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U41_gga(T623, T615, T616, T618, delete1_out_gga(s(T623), T616, T618)) → delete1_out_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618))
U40_gga(T594, T595, T596, T597, T599, delete1_out_gga(T594, T597, T599)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U38_gga(T466, T467, T447, T448, T450, delete1_out_gga(s(T466), T447, T450)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U36_gga(T455, T447, T448, T450, delete1_out_gga(0, T447, T450)) → delete1_out_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448))
U35_gga(T429, T430, T431, T433, delete1_out_gga(T429, T431, T433)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U33_gga(T410, T411, T412, T414, delete1_out_gga(T410, T411, T414)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U28_gga(T307, T300, T302, delete1_out_gga(s(T307), T300, T302)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U25_gga(T275, T276, T278, delete1_out_gga(T275, T276, T278)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U23_gga(T242, T237, T239, delete1_out_gga(s(T242), T237, T239)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U9_gga(T199, T200, T202, delete1_out_gga(T199, T200, T202)) → p71_out_gga(T199, T200, T202)
U19_gga(T199, T200, T202, p71_out_gga(T199, T200, T202)) → delete1_out_gga(T199, tree(T199, void, T200), tree(T199, void, T202))
U5_ga(T59, T54, delete1_out_gga(s(T59), void, T54)) → p33_out_ga(T59, T54)
U14_gga(T59, T54, p33_out_ga(T59, T54)) → delete1_out_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void))
U3_ga(T26, T28, delete1_out_gga(T26, void, T28)) → p17_out_ga(T26, T28)
U12_gga(T26, T28, p17_out_ga(T26, T28)) → delete1_out_gga(T26, tree(T26, void, void), tree(T26, T28, void))
LESS19_IN_G(s(T33)) → LESS19_IN_G(T33)
LESS19_IN_G(s(T33)) → LESS19_IN_G(T33)
From the DPs we obtained the following set of size-change graphs:
DELETE1_IN_GGA(T199, tree(T199, void, T200), tree(T199, void, T202)) → P71_IN_GGA(T199, T200, T202)
P71_IN_GGA(T199, T200, T202) → U8_GGA(T199, T200, T202, less19_in_g(T199))
U8_GGA(T199, T200, T202, less19_out_g(T199)) → DELETE1_IN_GGA(T199, T200, T202)
DELETE1_IN_GGA(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239)) → U22_GGA(T242, T237, T239, less19_in_g(T242))
U22_GGA(T242, T237, T239, less19_out_g(T242)) → DELETE1_IN_GGA(s(T242), T237, T239)
DELETE1_IN_GGA(T275, tree(T275, T276, void), tree(T275, T278, void)) → U24_GGA(T275, T276, T278, less19_in_g(T275))
U24_GGA(T275, T276, T278, less19_out_g(T275)) → DELETE1_IN_GGA(T275, T276, T278)
DELETE1_IN_GGA(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void)) → U27_GGA(T307, T300, T302, less19_in_g(T307))
U27_GGA(T307, T300, T302, less19_out_g(T307)) → DELETE1_IN_GGA(s(T307), T300, T302)
DELETE1_IN_GGA(T410, tree(T410, T411, T412), tree(T410, T414, T412)) → U32_GGA(T410, T411, T412, T414, less19_in_g(T410))
U32_GGA(T410, T411, T412, T414, less19_out_g(T410)) → DELETE1_IN_GGA(T410, T411, T414)
DELETE1_IN_GGA(T429, tree(T429, T430, T431), tree(T429, T430, T433)) → U34_GGA(T429, T430, T431, T433, less19_in_g(T429))
U34_GGA(T429, T430, T431, T433, less19_out_g(T429)) → DELETE1_IN_GGA(T429, T431, T433)
DELETE1_IN_GGA(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448)) → DELETE1_IN_GGA(0, T447, T450)
DELETE1_IN_GGA(T594, tree(T595, T596, T597), tree(T595, T596, T599)) → U39_GGA(T594, T595, T596, T597, T599, less222_in_gg(T595, T594))
U39_GGA(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → DELETE1_IN_GGA(T594, T597, T599)
DELETE1_IN_GGA(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448)) → U37_GGA(T466, T467, T447, T448, T450, less164_in_gg(T466, T467))
U37_GGA(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → DELETE1_IN_GGA(s(T466), T447, T450)
DELETE1_IN_GGA(s(T623), tree(0, T615, T616), tree(0, T615, T618)) → DELETE1_IN_GGA(s(T623), T616, T618)
DELETE1_IN_GGA(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618)) → U42_GGA(T633, T632, T615, T616, T618, less222_in_gg(T632, T633))
U42_GGA(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → DELETE1_IN_GGA(s(T633), T616, T618)
delete1_in_gga(T6, tree(T6, void, T7), T7) → delete1_out_gga(T6, tree(T6, void, T7), T7)
delete1_in_gga(T9, tree(T9, void, void), void) → delete1_out_gga(T9, tree(T9, void, void), void)
delete1_in_gga(T26, tree(T26, void, void), tree(T26, T28, void)) → U12_gga(T26, T28, p17_in_ga(T26, T28))
p17_in_ga(T26, T28) → U2_ga(T26, T28, less19_in_g(T26))
less19_in_g(s(T33)) → U1_g(T33, less19_in_g(T33))
U1_g(T33, less19_out_g(T33)) → less19_out_g(s(T33))
U2_ga(T26, T28, less19_out_g(T26)) → p17_out_ga(T26, T28)
U2_ga(T26, T28, less19_out_g(T26)) → U3_ga(T26, T28, delete1_in_gga(T26, void, T28))
delete1_in_gga(T46, tree(T46, void, void), tree(T46, void, T48)) → U13_gga(T46, T48, p17_in_ga(T46, T48))
U13_gga(T46, T48, p17_out_ga(T46, T48)) → delete1_out_gga(T46, tree(T46, void, void), tree(T46, void, T48))
delete1_in_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void)) → U14_gga(T59, T54, p33_in_ga(T59, T54))
p33_in_ga(T59, T54) → U4_ga(T59, T54, less19_in_g(T59))
U4_ga(T59, T54, less19_out_g(T59)) → p33_out_ga(T59, T54)
U4_ga(T59, T54, less19_out_g(T59)) → U5_ga(T59, T54, delete1_in_gga(s(T59), void, T54))
delete1_in_gga(T73, tree(T73, void, void), tree(T73, void, T75)) → U15_gga(T73, T75, p17_in_ga(T73, T75))
U15_gga(T73, T75, p17_out_ga(T73, T75)) → delete1_out_gga(T73, tree(T73, void, void), tree(T73, void, T75))
delete1_in_gga(T79, tree(T79, void, void), tree(T79, void, T81)) → U16_gga(T79, T81, p40_in_ga(T79, T81))
p40_in_ga(s(T84), T81) → U7_ga(T84, T81, p33_in_ga(T84, T81))
U7_ga(T84, T81, p33_out_ga(T84, T81)) → p40_out_ga(s(T84), T81)
U16_gga(T79, T81, p40_out_ga(T79, T81)) → delete1_out_gga(T79, tree(T79, void, void), tree(T79, void, T81))
delete1_in_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105)) → delete1_out_gga(T90, tree(T90, void, tree(T104, void, T105)), tree(T104, void, T105))
delete1_in_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135))) → U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_in_gaa(T131, T136, T137))
delmin56_in_gaa(tree(T150, void, T151), T150, T151) → delmin56_out_gaa(tree(T150, void, T151), T150, T151)
delmin56_in_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169)) → U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_in_gaa(T165, T170, T171))
U6_gaa(T164, T165, T166, T170, T171, T169, delmin56_out_gaa(T165, T170, T171)) → delmin56_out_gaa(tree(T164, T165, T166), T170, tree(T164, T171, T169))
U17_gga(T90, T130, T131, T132, T136, T137, T135, delmin56_out_gaa(T131, T136, T137)) → delete1_out_gga(T90, tree(T90, void, tree(T130, T131, T132)), tree(T136, void, tree(T130, T137, T135)))
delete1_in_gga(T188, tree(T188, void, T189), tree(T188, T191, T189)) → U18_gga(T188, T189, T191, p40_in_ga(T188, T191))
U18_gga(T188, T189, T191, p40_out_ga(T188, T191)) → delete1_out_gga(T188, tree(T188, void, T189), tree(T188, T191, T189))
delete1_in_gga(T199, tree(T199, void, T200), tree(T199, void, T202)) → U19_gga(T199, T200, T202, p71_in_gga(T199, T200, T202))
p71_in_gga(T199, T200, T202) → U8_gga(T199, T200, T202, less19_in_g(T199))
U8_gga(T199, T200, T202, less19_out_g(T199)) → p71_out_gga(T199, T200, T202)
U8_gga(T199, T200, T202, less19_out_g(T199)) → U9_gga(T199, T200, T202, delete1_in_gga(T199, T200, T202))
delete1_in_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213)) → U20_gga(T220, T213, T215, p33_in_ga(T220, T215))
U20_gga(T220, T213, T215, p33_out_ga(T220, T215)) → delete1_out_gga(s(T220), tree(s(T220), void, T213), tree(s(T220), T215, T213))
delete1_in_gga(T228, tree(T228, void, T229), tree(T228, void, T231)) → U21_gga(T228, T229, T231, p71_in_gga(T228, T229, T231))
U21_gga(T228, T229, T231, p71_out_gga(T228, T229, T231)) → delete1_out_gga(T228, tree(T228, void, T229), tree(T228, void, T231))
delete1_in_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239)) → U22_gga(T242, T237, T239, less19_in_g(T242))
U22_gga(T242, T237, T239, less19_out_g(T242)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U22_gga(T242, T237, T239, less19_out_g(T242)) → U23_gga(T242, T237, T239, delete1_in_gga(s(T242), T237, T239))
delete1_in_gga(T251, tree(T251, T252, void), T252) → delete1_out_gga(T251, tree(T251, T252, void), T252)
delete1_in_gga(T275, tree(T275, T276, void), tree(T275, T278, void)) → U24_gga(T275, T276, T278, less19_in_g(T275))
U24_gga(T275, T276, T278, less19_out_g(T275)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U24_gga(T275, T276, T278, less19_out_g(T275)) → U25_gga(T275, T276, T278, delete1_in_gga(T275, T276, T278))
delete1_in_gga(T291, tree(T291, T292, void), tree(T291, T292, T294)) → U26_gga(T291, T292, T294, p40_in_ga(T291, T294))
U26_gga(T291, T292, T294, p40_out_ga(T291, T294)) → delete1_out_gga(T291, tree(T291, T292, void), tree(T291, T292, T294))
delete1_in_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void)) → U27_gga(T307, T300, T302, less19_in_g(T307))
U27_gga(T307, T300, T302, less19_out_g(T307)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U27_gga(T307, T300, T302, less19_out_g(T307)) → U28_gga(T307, T300, T302, delete1_in_gga(s(T307), T300, T302))
delete1_in_gga(T320, tree(T320, T321, void), tree(T320, T321, T323)) → U29_gga(T320, T321, T323, p40_in_ga(T320, T323))
U29_gga(T320, T321, T323, p40_out_ga(T320, T323)) → delete1_out_gga(T320, tree(T320, T321, void), tree(T320, T321, T323))
delete1_in_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331)) → U30_gga(T334, T329, T331, p33_in_ga(T334, T331))
U30_gga(T334, T329, T331, p33_out_ga(T334, T331)) → delete1_out_gga(s(T334), tree(s(T334), T329, void), tree(s(T334), T329, T331))
delete1_in_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357)) → delete1_out_gga(T341, tree(T341, T342, tree(T356, void, T357)), tree(T356, T342, T357))
delete1_in_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387))) → U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_in_gaa(T383, T388, T389))
U31_gga(T341, T342, T382, T383, T384, T388, T389, T387, delmin56_out_gaa(T383, T388, T389)) → delete1_out_gga(T341, tree(T341, T342, tree(T382, T383, T384)), tree(T388, T342, tree(T382, T389, T387)))
delete1_in_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412)) → U32_gga(T410, T411, T412, T414, less19_in_g(T410))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U32_gga(T410, T411, T412, T414, less19_out_g(T410)) → U33_gga(T410, T411, T412, T414, delete1_in_gga(T410, T411, T414))
delete1_in_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433)) → U34_gga(T429, T430, T431, T433, less19_in_g(T429))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U34_gga(T429, T430, T431, T433, less19_out_g(T429)) → U35_gga(T429, T430, T431, T433, delete1_in_gga(T429, T431, T433))
delete1_in_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448)) → U36_gga(T455, T447, T448, T450, delete1_in_gga(0, T447, T450))
delete1_in_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448)) → U37_gga(T466, T467, T447, T448, T450, less164_in_gg(T466, T467))
less164_in_gg(0, s(T476)) → less164_out_gg(0, s(T476))
less164_in_gg(s(0), s(s(T489))) → less164_out_gg(s(0), s(s(T489)))
less164_in_gg(s(s(0)), s(s(s(T502)))) → less164_out_gg(s(s(0)), s(s(s(T502))))
less164_in_gg(s(s(s(0))), s(s(s(s(T515))))) → less164_out_gg(s(s(s(0))), s(s(s(s(T515)))))
less164_in_gg(s(s(s(s(0)))), s(s(s(s(s(T528)))))) → less164_out_gg(s(s(s(s(0)))), s(s(s(s(s(T528))))))
less164_in_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541))))))) → less164_out_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541)))))))
less164_in_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554)))))))) → less164_out_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554))))))))
less164_in_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560)))))))) → U11_gg(T559, T560, less222_in_gg(T559, T560))
less222_in_gg(0, s(T571)) → less222_out_gg(0, s(T571))
less222_in_gg(s(T576), s(T577)) → U10_gg(T576, T577, less222_in_gg(T576, T577))
U10_gg(T576, T577, less222_out_gg(T576, T577)) → less222_out_gg(s(T576), s(T577))
U11_gg(T559, T560, less222_out_gg(T559, T560)) → less164_out_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560))))))))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U37_gga(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → U38_gga(T466, T467, T447, T448, T450, delete1_in_gga(s(T466), T447, T450))
delete1_in_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599)) → U39_gga(T594, T595, T596, T597, T599, less222_in_gg(T595, T594))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U39_gga(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → U40_gga(T594, T595, T596, T597, T599, delete1_in_gga(T594, T597, T599))
delete1_in_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618)) → U41_gga(T623, T615, T616, T618, delete1_in_gga(s(T623), T616, T618))
delete1_in_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618)) → U42_gga(T633, T632, T615, T616, T618, less222_in_gg(T632, T633))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U42_gga(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → U43_gga(T633, T632, T615, T616, T618, delete1_in_gga(s(T633), T616, T618))
U43_gga(T633, T632, T615, T616, T618, delete1_out_gga(s(T633), T616, T618)) → delete1_out_gga(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618))
U41_gga(T623, T615, T616, T618, delete1_out_gga(s(T623), T616, T618)) → delete1_out_gga(s(T623), tree(0, T615, T616), tree(0, T615, T618))
U40_gga(T594, T595, T596, T597, T599, delete1_out_gga(T594, T597, T599)) → delete1_out_gga(T594, tree(T595, T596, T597), tree(T595, T596, T599))
U38_gga(T466, T467, T447, T448, T450, delete1_out_gga(s(T466), T447, T450)) → delete1_out_gga(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448))
U36_gga(T455, T447, T448, T450, delete1_out_gga(0, T447, T450)) → delete1_out_gga(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448))
U35_gga(T429, T430, T431, T433, delete1_out_gga(T429, T431, T433)) → delete1_out_gga(T429, tree(T429, T430, T431), tree(T429, T430, T433))
U33_gga(T410, T411, T412, T414, delete1_out_gga(T410, T411, T414)) → delete1_out_gga(T410, tree(T410, T411, T412), tree(T410, T414, T412))
U28_gga(T307, T300, T302, delete1_out_gga(s(T307), T300, T302)) → delete1_out_gga(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void))
U25_gga(T275, T276, T278, delete1_out_gga(T275, T276, T278)) → delete1_out_gga(T275, tree(T275, T276, void), tree(T275, T278, void))
U23_gga(T242, T237, T239, delete1_out_gga(s(T242), T237, T239)) → delete1_out_gga(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239))
U9_gga(T199, T200, T202, delete1_out_gga(T199, T200, T202)) → p71_out_gga(T199, T200, T202)
U19_gga(T199, T200, T202, p71_out_gga(T199, T200, T202)) → delete1_out_gga(T199, tree(T199, void, T200), tree(T199, void, T202))
U5_ga(T59, T54, delete1_out_gga(s(T59), void, T54)) → p33_out_ga(T59, T54)
U14_gga(T59, T54, p33_out_ga(T59, T54)) → delete1_out_gga(s(T59), tree(s(T59), void, void), tree(s(T59), T54, void))
U3_ga(T26, T28, delete1_out_gga(T26, void, T28)) → p17_out_ga(T26, T28)
U12_gga(T26, T28, p17_out_ga(T26, T28)) → delete1_out_gga(T26, tree(T26, void, void), tree(T26, T28, void))
DELETE1_IN_GGA(T199, tree(T199, void, T200), tree(T199, void, T202)) → P71_IN_GGA(T199, T200, T202)
P71_IN_GGA(T199, T200, T202) → U8_GGA(T199, T200, T202, less19_in_g(T199))
U8_GGA(T199, T200, T202, less19_out_g(T199)) → DELETE1_IN_GGA(T199, T200, T202)
DELETE1_IN_GGA(s(T242), tree(s(T242), void, T237), tree(s(T242), void, T239)) → U22_GGA(T242, T237, T239, less19_in_g(T242))
U22_GGA(T242, T237, T239, less19_out_g(T242)) → DELETE1_IN_GGA(s(T242), T237, T239)
DELETE1_IN_GGA(T275, tree(T275, T276, void), tree(T275, T278, void)) → U24_GGA(T275, T276, T278, less19_in_g(T275))
U24_GGA(T275, T276, T278, less19_out_g(T275)) → DELETE1_IN_GGA(T275, T276, T278)
DELETE1_IN_GGA(s(T307), tree(s(T307), T300, void), tree(s(T307), T302, void)) → U27_GGA(T307, T300, T302, less19_in_g(T307))
U27_GGA(T307, T300, T302, less19_out_g(T307)) → DELETE1_IN_GGA(s(T307), T300, T302)
DELETE1_IN_GGA(T410, tree(T410, T411, T412), tree(T410, T414, T412)) → U32_GGA(T410, T411, T412, T414, less19_in_g(T410))
U32_GGA(T410, T411, T412, T414, less19_out_g(T410)) → DELETE1_IN_GGA(T410, T411, T414)
DELETE1_IN_GGA(T429, tree(T429, T430, T431), tree(T429, T430, T433)) → U34_GGA(T429, T430, T431, T433, less19_in_g(T429))
U34_GGA(T429, T430, T431, T433, less19_out_g(T429)) → DELETE1_IN_GGA(T429, T431, T433)
DELETE1_IN_GGA(0, tree(s(T455), T447, T448), tree(s(T455), T450, T448)) → DELETE1_IN_GGA(0, T447, T450)
DELETE1_IN_GGA(T594, tree(T595, T596, T597), tree(T595, T596, T599)) → U39_GGA(T594, T595, T596, T597, T599, less222_in_gg(T595, T594))
U39_GGA(T594, T595, T596, T597, T599, less222_out_gg(T595, T594)) → DELETE1_IN_GGA(T594, T597, T599)
DELETE1_IN_GGA(s(T466), tree(s(T467), T447, T448), tree(s(T467), T450, T448)) → U37_GGA(T466, T467, T447, T448, T450, less164_in_gg(T466, T467))
U37_GGA(T466, T467, T447, T448, T450, less164_out_gg(T466, T467)) → DELETE1_IN_GGA(s(T466), T447, T450)
DELETE1_IN_GGA(s(T623), tree(0, T615, T616), tree(0, T615, T618)) → DELETE1_IN_GGA(s(T623), T616, T618)
DELETE1_IN_GGA(s(T633), tree(s(T632), T615, T616), tree(s(T632), T615, T618)) → U42_GGA(T633, T632, T615, T616, T618, less222_in_gg(T632, T633))
U42_GGA(T633, T632, T615, T616, T618, less222_out_gg(T632, T633)) → DELETE1_IN_GGA(s(T633), T616, T618)
less19_in_g(s(T33)) → U1_g(T33, less19_in_g(T33))
less222_in_gg(0, s(T571)) → less222_out_gg(0, s(T571))
less222_in_gg(s(T576), s(T577)) → U10_gg(T576, T577, less222_in_gg(T576, T577))
less164_in_gg(0, s(T476)) → less164_out_gg(0, s(T476))
less164_in_gg(s(0), s(s(T489))) → less164_out_gg(s(0), s(s(T489)))
less164_in_gg(s(s(0)), s(s(s(T502)))) → less164_out_gg(s(s(0)), s(s(s(T502))))
less164_in_gg(s(s(s(0))), s(s(s(s(T515))))) → less164_out_gg(s(s(s(0))), s(s(s(s(T515)))))
less164_in_gg(s(s(s(s(0)))), s(s(s(s(s(T528)))))) → less164_out_gg(s(s(s(s(0)))), s(s(s(s(s(T528))))))
less164_in_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541))))))) → less164_out_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541)))))))
less164_in_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554)))))))) → less164_out_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554))))))))
less164_in_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560)))))))) → U11_gg(T559, T560, less222_in_gg(T559, T560))
U1_g(T33, less19_out_g(T33)) → less19_out_g(s(T33))
U10_gg(T576, T577, less222_out_gg(T576, T577)) → less222_out_gg(s(T576), s(T577))
U11_gg(T559, T560, less222_out_gg(T559, T560)) → less164_out_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560))))))))
DELETE1_IN_GGA(T199, tree(T199, void, T200)) → P71_IN_GGA(T199, T200)
P71_IN_GGA(T199, T200) → U8_GGA(T199, T200, less19_in_g(T199))
U8_GGA(T199, T200, less19_out_g) → DELETE1_IN_GGA(T199, T200)
DELETE1_IN_GGA(s(T242), tree(s(T242), void, T237)) → U22_GGA(T242, T237, less19_in_g(T242))
U22_GGA(T242, T237, less19_out_g) → DELETE1_IN_GGA(s(T242), T237)
DELETE1_IN_GGA(T275, tree(T275, T276, void)) → U24_GGA(T275, T276, less19_in_g(T275))
U24_GGA(T275, T276, less19_out_g) → DELETE1_IN_GGA(T275, T276)
DELETE1_IN_GGA(s(T307), tree(s(T307), T300, void)) → U27_GGA(T307, T300, less19_in_g(T307))
U27_GGA(T307, T300, less19_out_g) → DELETE1_IN_GGA(s(T307), T300)
DELETE1_IN_GGA(T410, tree(T410, T411, T412)) → U32_GGA(T410, T411, less19_in_g(T410))
U32_GGA(T410, T411, less19_out_g) → DELETE1_IN_GGA(T410, T411)
DELETE1_IN_GGA(T429, tree(T429, T430, T431)) → U34_GGA(T429, T431, less19_in_g(T429))
U34_GGA(T429, T431, less19_out_g) → DELETE1_IN_GGA(T429, T431)
DELETE1_IN_GGA(0, tree(s(T455), T447, T448)) → DELETE1_IN_GGA(0, T447)
DELETE1_IN_GGA(T594, tree(T595, T596, T597)) → U39_GGA(T594, T597, less222_in_gg(T595, T594))
U39_GGA(T594, T597, less222_out_gg) → DELETE1_IN_GGA(T594, T597)
DELETE1_IN_GGA(s(T466), tree(s(T467), T447, T448)) → U37_GGA(T466, T447, less164_in_gg(T466, T467))
U37_GGA(T466, T447, less164_out_gg) → DELETE1_IN_GGA(s(T466), T447)
DELETE1_IN_GGA(s(T623), tree(0, T615, T616)) → DELETE1_IN_GGA(s(T623), T616)
DELETE1_IN_GGA(s(T633), tree(s(T632), T615, T616)) → U42_GGA(T633, T616, less222_in_gg(T632, T633))
U42_GGA(T633, T616, less222_out_gg) → DELETE1_IN_GGA(s(T633), T616)
less19_in_g(s(T33)) → U1_g(less19_in_g(T33))
less222_in_gg(0, s(T571)) → less222_out_gg
less222_in_gg(s(T576), s(T577)) → U10_gg(less222_in_gg(T576, T577))
less164_in_gg(0, s(T476)) → less164_out_gg
less164_in_gg(s(0), s(s(T489))) → less164_out_gg
less164_in_gg(s(s(0)), s(s(s(T502)))) → less164_out_gg
less164_in_gg(s(s(s(0))), s(s(s(s(T515))))) → less164_out_gg
less164_in_gg(s(s(s(s(0)))), s(s(s(s(s(T528)))))) → less164_out_gg
less164_in_gg(s(s(s(s(s(0))))), s(s(s(s(s(s(T541))))))) → less164_out_gg
less164_in_gg(s(s(s(s(s(s(0)))))), s(s(s(s(s(s(s(T554)))))))) → less164_out_gg
less164_in_gg(s(s(s(s(s(s(s(T559))))))), s(s(s(s(s(s(s(T560)))))))) → U11_gg(less222_in_gg(T559, T560))
U1_g(less19_out_g) → less19_out_g
U10_gg(less222_out_gg) → less222_out_gg
U11_gg(less222_out_gg) → less164_out_gg
less19_in_g(x0)
less222_in_gg(x0, x1)
less164_in_gg(x0, x1)
U1_g(x0)
U10_gg(x0)
U11_gg(x0)
From the DPs we obtained the following set of size-change graphs: