0 Prolog
↳1 PrologToDTProblemTransformerProof (⇐)
↳2 TRIPLES
↳3 TriplesToPiDPProof (⇐)
↳4 PiDP
↳5 DependencyGraphProof (⇔)
↳6 AND
↳7 PiDP
↳8 UsableRulesProof (⇔)
↳9 PiDP
↳10 PiDPToQDPProof (⇔)
↳11 QDP
↳12 QDPSizeChangeProof (⇔)
↳13 YES
↳14 PiDP
↳15 UsableRulesProof (⇔)
↳16 PiDP
↳17 PiDPToQDPProof (⇐)
↳18 QDP
↳19 QDPSizeChangeProof (⇔)
↳20 YES
↳21 PiDP
↳22 UsableRulesProof (⇔)
↳23 PiDP
↳24 PiDPToQDPProof (⇐)
↳25 QDP
↳26 Rewriting (⇔)
↳27 QDP
↳28 UsableRulesProof (⇔)
↳29 QDP
↳30 QReductionProof (⇔)
↳31 QDP
↳32 Narrowing (⇐)
↳33 QDP
↳34 Instantiation (⇔)
↳35 QDP
↳36 Instantiation (⇔)
↳37 QDP
↳38 Instantiation (⇔)
↳39 QDP
↳40 Instantiation (⇔)
↳41 QDP
↳42 Instantiation (⇔)
↳43 QDP
↳44 Instantiation (⇔)
↳45 QDP
↳46 Instantiation (⇔)
↳47 QDP
↳48 Instantiation (⇔)
↳49 QDP
↳50 Instantiation (⇔)
↳51 QDP
↳52 Instantiation (⇔)
↳53 QDP
↳54 Instantiation (⇔)
↳55 QDP
↳56 Instantiation (⇔)
↳57 QDP
↳58 NonTerminationProof (⇔)
↳59 NO
SUBSET1_IN_AG(.(T22, T23), T21) → U14_AG(T22, T23, T21, member12_in_ag(T22, T21))
SUBSET1_IN_AG(.(T22, T23), T21) → MEMBER12_IN_AG(T22, T21)
MEMBER12_IN_AG(T53, .(T51, T52)) → U1_AG(T53, T51, T52, member12_in_ag(T53, T52))
MEMBER12_IN_AG(T53, .(T51, T52)) → MEMBER12_IN_AG(T53, T52)
SUBSET1_IN_AG(.(T106, .(T108, T109)), T107) → U15_AG(T106, T108, T109, T107, memberc12_in_ag(T106, T107))
U15_AG(T106, T108, T109, T107, memberc12_out_ag(T106, T107)) → U16_AG(T106, T108, T109, T107, not_memberc22_in_g(T106))
U16_AG(T106, T108, T109, T107, not_memberc22_out_g(T106)) → U17_AG(T106, T108, T109, T107, member12_in_ag(T108, T107))
U16_AG(T106, T108, T109, T107, not_memberc22_out_g(T106)) → MEMBER12_IN_AG(T108, T107)
SUBSET1_IN_AG(.(T137, .(T136, T115)), T107) → U18_AG(T137, T136, T115, T107, memberc12_in_ag(T137, T107))
U18_AG(T137, T136, T115, T107, memberc12_out_ag(T137, T107)) → U19_AG(T137, T136, T115, T107, not_memberc22_in_g(T137))
U19_AG(T137, T136, T115, T107, not_memberc22_out_g(T137)) → U20_AG(T137, T136, T115, T107, memberc12_in_ag(T136, T107))
U20_AG(T137, T136, T115, T107, memberc12_out_ag(T136, T107)) → U21_AG(T137, T136, T115, T107, member12_in_gg(T136, .(T137, [])))
U20_AG(T137, T136, T115, T107, memberc12_out_ag(T136, T107)) → MEMBER12_IN_GG(T136, .(T137, []))
MEMBER12_IN_GG(T53, .(T51, T52)) → U1_GG(T53, T51, T52, member12_in_gg(T53, T52))
MEMBER12_IN_GG(T53, .(T51, T52)) → MEMBER12_IN_GG(T53, T52)
SUBSET1_IN_AG(.(T182, .(T181, .(T184, T185))), T183) → U22_AG(T182, T181, T184, T185, T183, memberc12_in_ag(T182, T183))
U22_AG(T182, T181, T184, T185, T183, memberc12_out_ag(T182, T183)) → U23_AG(T182, T181, T184, T185, T183, not_memberc22_in_g(T182))
U23_AG(T182, T181, T184, T185, T183, not_memberc22_out_g(T182)) → U24_AG(T182, T181, T184, T185, T183, memberc12_in_ag(T181, T183))
U24_AG(T182, T181, T184, T185, T183, memberc12_out_ag(T181, T183)) → U25_AG(T182, T181, T184, T185, T183, not_memberc48_in_gg(T181, T182))
U25_AG(T182, T181, T184, T185, T183, not_memberc48_out_gg(T181, T182)) → U26_AG(T182, T181, T184, T185, T183, member12_in_ag(T184, T183))
U25_AG(T182, T181, T184, T185, T183, not_memberc48_out_gg(T181, T182)) → MEMBER12_IN_AG(T184, T183)
SUBSET1_IN_AG(.(T224, .(T223, .(T222, T191))), T183) → U27_AG(T224, T223, T222, T191, T183, memberc12_in_ag(T224, T183))
U27_AG(T224, T223, T222, T191, T183, memberc12_out_ag(T224, T183)) → U28_AG(T224, T223, T222, T191, T183, not_memberc22_in_g(T224))
U28_AG(T224, T223, T222, T191, T183, not_memberc22_out_g(T224)) → U29_AG(T224, T223, T222, T191, T183, memberc12_in_ag(T223, T183))
U29_AG(T224, T223, T222, T191, T183, memberc12_out_ag(T223, T183)) → U30_AG(T224, T223, T222, T191, T183, not_memberc48_in_gg(T223, T224))
U30_AG(T224, T223, T222, T191, T183, not_memberc48_out_gg(T223, T224)) → U31_AG(T224, T223, T222, T191, T183, memberc12_in_ag(T222, T183))
U31_AG(T224, T223, T222, T191, T183, memberc12_out_ag(T222, T183)) → U32_AG(T224, T223, T222, T191, T183, member12_in_gg(T222, .(T223, .(T224, []))))
U31_AG(T224, T223, T222, T191, T183, memberc12_out_ag(T222, T183)) → MEMBER12_IN_GG(T222, .(T223, .(T224, [])))
SUBSET1_IN_AG(.(T286, .(T285, .(T284, .(T288, T289)))), T287) → U33_AG(T286, T285, T284, T288, T289, T287, memberc12_in_ag(T286, T287))
U33_AG(T286, T285, T284, T288, T289, T287, memberc12_out_ag(T286, T287)) → U34_AG(T286, T285, T284, T288, T289, T287, not_memberc22_in_g(T286))
U34_AG(T286, T285, T284, T288, T289, T287, not_memberc22_out_g(T286)) → U35_AG(T286, T285, T284, T288, T289, T287, memberc12_in_ag(T285, T287))
U35_AG(T286, T285, T284, T288, T289, T287, memberc12_out_ag(T285, T287)) → U36_AG(T286, T285, T284, T288, T289, T287, not_memberc48_in_gg(T285, T286))
U36_AG(T286, T285, T284, T288, T289, T287, not_memberc48_out_gg(T285, T286)) → U37_AG(T286, T285, T284, T288, T289, T287, memberc12_in_ag(T284, T287))
U37_AG(T286, T285, T284, T288, T289, T287, memberc12_out_ag(T284, T287)) → U38_AG(T286, T285, T284, T288, T289, T287, not_memberc71_in_ggg(T284, T285, T286))
U38_AG(T286, T285, T284, T288, T289, T287, not_memberc71_out_ggg(T284, T285, T286)) → U39_AG(T286, T285, T284, T288, T289, T287, member12_in_ag(T288, T287))
U38_AG(T286, T285, T284, T288, T289, T287, not_memberc71_out_ggg(T284, T285, T286)) → MEMBER12_IN_AG(T288, T287)
SUBSET1_IN_AG(.(T339, .(T338, .(T337, .(T336, T295)))), T287) → U40_AG(T339, T338, T337, T336, T295, T287, memberc12_in_ag(T339, T287))
U40_AG(T339, T338, T337, T336, T295, T287, memberc12_out_ag(T339, T287)) → U41_AG(T339, T338, T337, T336, T295, T287, not_memberc22_in_g(T339))
U41_AG(T339, T338, T337, T336, T295, T287, not_memberc22_out_g(T339)) → U42_AG(T339, T338, T337, T336, T295, T287, memberc12_in_ag(T338, T287))
U42_AG(T339, T338, T337, T336, T295, T287, memberc12_out_ag(T338, T287)) → U43_AG(T339, T338, T337, T336, T295, T287, not_memberc48_in_gg(T338, T339))
U43_AG(T339, T338, T337, T336, T295, T287, not_memberc48_out_gg(T338, T339)) → U44_AG(T339, T338, T337, T336, T295, T287, memberc12_in_ag(T337, T287))
U44_AG(T339, T338, T337, T336, T295, T287, memberc12_out_ag(T337, T287)) → U45_AG(T339, T338, T337, T336, T295, T287, not_memberc71_in_ggg(T337, T338, T339))
U45_AG(T339, T338, T337, T336, T295, T287, not_memberc71_out_ggg(T337, T338, T339)) → U46_AG(T339, T338, T337, T336, T295, T287, memberc12_in_ag(T336, T287))
U46_AG(T339, T338, T337, T336, T295, T287, memberc12_out_ag(T336, T287)) → U47_AG(T339, T338, T337, T336, T295, T287, member12_in_gg(T336, .(T337, .(T338, .(T339, [])))))
U46_AG(T339, T338, T337, T336, T295, T287, memberc12_out_ag(T336, T287)) → MEMBER12_IN_GG(T336, .(T337, .(T338, .(T339, []))))
SUBSET1_IN_AG(.(T418, .(T417, .(T416, .(T415, .(T420, T421))))), T419) → U48_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_in_ag(T418, T419))
U48_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_out_ag(T418, T419)) → U49_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc22_in_g(T418))
U49_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc22_out_g(T418)) → U50_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_in_ag(T417, T419))
U50_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_out_ag(T417, T419)) → U51_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc48_in_gg(T417, T418))
U51_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc48_out_gg(T417, T418)) → U52_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_in_ag(T416, T419))
U52_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_out_ag(T416, T419)) → U53_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc71_in_ggg(T416, T417, T418))
U53_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc71_out_ggg(T416, T417, T418)) → U54_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_in_ag(T415, T419))
U54_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_out_ag(T415, T419)) → U55_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc94_in_gggg(T415, T416, T417, T418))
U55_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc94_out_gggg(T415, T416, T417, T418)) → U56_AG(T418, T417, T416, T415, T420, T421, T419, member12_in_ag(T420, T419))
U55_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc94_out_gggg(T415, T416, T417, T418)) → MEMBER12_IN_AG(T420, T419)
SUBSET1_IN_AG(.(T482, .(T481, .(T480, .(T479, .(T478, T427))))), T419) → U57_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_in_ag(T482, T419))
U57_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_out_ag(T482, T419)) → U58_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc22_in_g(T482))
U58_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc22_out_g(T482)) → U59_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_in_ag(T481, T419))
U59_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_out_ag(T481, T419)) → U60_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc48_in_gg(T481, T482))
U60_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc48_out_gg(T481, T482)) → U61_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_in_ag(T480, T419))
U61_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_out_ag(T480, T419)) → U62_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc71_in_ggg(T480, T481, T482))
U62_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc71_out_ggg(T480, T481, T482)) → U63_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_in_ag(T479, T419))
U63_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_out_ag(T479, T419)) → U64_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc94_in_gggg(T479, T480, T481, T482))
U64_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc94_out_gggg(T479, T480, T481, T482)) → U65_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_in_ag(T478, T419))
U65_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_out_ag(T478, T419)) → U66_AG(T482, T481, T480, T479, T478, T427, T419, member12_in_gg(T478, .(T479, .(T480, .(T481, .(T482, []))))))
U65_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_out_ag(T478, T419)) → MEMBER12_IN_GG(T478, .(T479, .(T480, .(T481, .(T482, [])))))
SUBSET1_IN_AG(.(T578, .(T577, .(T576, .(T575, .(T574, .(T580, T581)))))), T579) → U67_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_in_ag(T578, T579))
U67_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_out_ag(T578, T579)) → U68_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc22_in_g(T578))
U68_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc22_out_g(T578)) → U69_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_in_ag(T577, T579))
U69_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_out_ag(T577, T579)) → U70_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc48_in_gg(T577, T578))
U70_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc48_out_gg(T577, T578)) → U71_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_in_ag(T576, T579))
U71_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_out_ag(T576, T579)) → U72_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc71_in_ggg(T576, T577, T578))
U72_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc71_out_ggg(T576, T577, T578)) → U73_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_in_ag(T575, T579))
U73_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_out_ag(T575, T579)) → U74_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc94_in_gggg(T575, T576, T577, T578))
U74_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc94_out_gggg(T575, T576, T577, T578)) → U75_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_in_ag(T574, T579))
U75_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_out_ag(T574, T579)) → U76_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc117_in_ggggg(T574, T575, T576, T577, T578))
U76_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc117_out_ggggg(T574, T575, T576, T577, T578)) → U77_AG(T578, T577, T576, T575, T574, T580, T581, T579, member12_in_ag(T580, T579))
U76_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc117_out_ggggg(T574, T575, T576, T577, T578)) → MEMBER12_IN_AG(T580, T579)
SUBSET1_IN_AG(.(T653, .(T652, .(T651, .(T650, .(T649, .(T648, T587)))))), T579) → U78_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_in_ag(T653, T579))
U78_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_out_ag(T653, T579)) → U79_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc22_in_g(T653))
U79_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc22_out_g(T653)) → U80_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_in_ag(T652, T579))
U80_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_out_ag(T652, T579)) → U81_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc48_in_gg(T652, T653))
U81_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc48_out_gg(T652, T653)) → U82_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_in_ag(T651, T579))
U82_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_out_ag(T651, T579)) → U83_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc71_in_ggg(T651, T652, T653))
U83_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc71_out_ggg(T651, T652, T653)) → U84_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_in_ag(T650, T579))
U84_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_out_ag(T650, T579)) → U85_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc94_in_gggg(T650, T651, T652, T653))
U85_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc94_out_gggg(T650, T651, T652, T653)) → U86_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_in_ag(T649, T579))
U86_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_out_ag(T649, T579)) → U87_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc117_in_ggggg(T649, T650, T651, T652, T653))
U87_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc117_out_ggggg(T649, T650, T651, T652, T653)) → U88_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_in_ag(T648, T579))
U88_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_out_ag(T648, T579)) → U89_AG(T653, T652, T651, T650, T649, T648, T587, T579, member12_in_gg(T648, .(T649, .(T650, .(T651, .(T652, .(T653, [])))))))
U88_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_out_ag(T648, T579)) → MEMBER12_IN_GG(T648, .(T649, .(T650, .(T651, .(T652, .(T653, []))))))
SUBSET1_IN_AG(.(T766, .(T765, .(T764, .(T763, .(T762, .(T761, .(T768, T769))))))), T767) → U90_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_in_ag(T766, T767))
U90_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_out_ag(T766, T767)) → U91_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc22_in_g(T766))
U91_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc22_out_g(T766)) → U92_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_in_ag(T765, T767))
U92_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_out_ag(T765, T767)) → U93_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc48_in_gg(T765, T766))
U93_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc48_out_gg(T765, T766)) → U94_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_in_ag(T764, T767))
U94_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_out_ag(T764, T767)) → U95_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc71_in_ggg(T764, T765, T766))
U95_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc71_out_ggg(T764, T765, T766)) → U96_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_in_ag(T763, T767))
U96_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_out_ag(T763, T767)) → U97_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc94_in_gggg(T763, T764, T765, T766))
U97_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc94_out_gggg(T763, T764, T765, T766)) → U98_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_in_ag(T762, T767))
U98_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_out_ag(T762, T767)) → U99_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc117_in_ggggg(T762, T763, T764, T765, T766))
U99_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc117_out_ggggg(T762, T763, T764, T765, T766)) → U100_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_in_ag(T761, T767))
U100_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_out_ag(T761, T767)) → U101_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc140_in_gggggg(T761, T762, T763, T764, T765, T766))
U101_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc140_out_gggggg(T761, T762, T763, T764, T765, T766)) → U102_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, member12_in_ag(T768, T767))
U101_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc140_out_gggggg(T761, T762, T763, T764, T765, T766)) → MEMBER12_IN_AG(T768, T767)
SUBSET1_IN_AG(.(T852, .(T851, .(T850, .(T849, .(T848, .(T847, .(T846, T775))))))), T767) → U103_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_in_ag(T852, T767))
U103_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T852, T767)) → U104_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc22_in_g(T852))
U104_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc22_out_g(T852)) → U105_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_in_ag(T851, T767))
U105_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T851, T767)) → U106_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc48_in_gg(T851, T852))
U106_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc48_out_gg(T851, T852)) → U107_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_in_ag(T850, T767))
U107_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T850, T767)) → U108_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc71_in_ggg(T850, T851, T852))
U108_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc71_out_ggg(T850, T851, T852)) → U109_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_in_ag(T849, T767))
U109_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T849, T767)) → U110_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc94_in_gggg(T849, T850, T851, T852))
U110_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc94_out_gggg(T849, T850, T851, T852)) → U111_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_in_ag(T848, T767))
U111_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T848, T767)) → U112_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc117_in_ggggg(T848, T849, T850, T851, T852))
U112_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc117_out_ggggg(T848, T849, T850, T851, T852)) → U113_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_in_ag(T847, T767))
U113_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T847, T767)) → U114_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc140_in_gggggg(T847, T848, T849, T850, T851, T852))
U114_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc140_out_gggggg(T847, T848, T849, T850, T851, T852)) → U115_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_in_ag(T846, T767))
U115_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T846, T767)) → U116_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, member12_in_gg(T846, .(T847, .(T848, .(T849, .(T850, .(T851, .(T852, []))))))))
U115_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T846, T767)) → MEMBER12_IN_GG(T846, .(T847, .(T848, .(T849, .(T850, .(T851, .(T852, [])))))))
SUBSET1_IN_AG(.(T982, .(T981, .(T980, .(T979, .(T978, .(T977, .(T976, .(T984, T985)))))))), T983) → U117_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_in_ag(T982, T983))
U117_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_out_ag(T982, T983)) → U118_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc22_in_g(T982))
U118_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc22_out_g(T982)) → U119_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_in_ag(T981, T983))
U119_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_out_ag(T981, T983)) → U120_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc48_in_gg(T981, T982))
U120_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc48_out_gg(T981, T982)) → U121_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_in_ag(T980, T983))
U121_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_out_ag(T980, T983)) → U122_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc71_in_ggg(T980, T981, T982))
U122_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc71_out_ggg(T980, T981, T982)) → U123_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_in_ag(T979, T983))
U123_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_out_ag(T979, T983)) → U124_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc94_in_gggg(T979, T980, T981, T982))
U124_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc94_out_gggg(T979, T980, T981, T982)) → U125_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_in_ag(T978, T983))
U125_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_out_ag(T978, T983)) → U126_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc117_in_ggggg(T978, T979, T980, T981, T982))
U126_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc117_out_ggggg(T978, T979, T980, T981, T982)) → U127_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_in_ag(T977, T983))
U127_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_out_ag(T977, T983)) → U128_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc140_in_gggggg(T977, T978, T979, T980, T981, T982))
U128_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc140_out_gggggg(T977, T978, T979, T980, T981, T982)) → U129_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_in_ag(T976, T983))
U129_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_out_ag(T976, T983)) → U130_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc163_in_ggggggg(T976, T977, T978, T979, T980, T981, T982))
U130_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc163_out_ggggggg(T976, T977, T978, T979, T980, T981, T982)) → U131_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, p184_in_aggggggggag(T984, T983, T976, T977, T978, T979, T980, T981, T982, T985, .(T976, .(T977, .(T978, .(T979, .(T980, .(T981, .(T982, [])))))))))
U130_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc163_out_ggggggg(T976, T977, T978, T979, T980, T981, T982)) → P184_IN_AGGGGGGGGAG(T984, T983, T976, T977, T978, T979, T980, T981, T982, T985, .(T976, .(T977, .(T978, .(T979, .(T980, .(T981, .(T982, []))))))))
P184_IN_AGGGGGGGGAG(T984, T983, T976, T977, T978, T979, T980, T981, T982, T985, T990) → U8_AGGGGGGGGAG(T984, T983, T976, T977, T978, T979, T980, T981, T982, T985, T990, member12_in_ag(T984, T983))
P184_IN_AGGGGGGGGAG(T984, T983, T976, T977, T978, T979, T980, T981, T982, T985, T990) → MEMBER12_IN_AG(T984, T983)
P184_IN_AGGGGGGGGAG(T1077, T983, T1078, T1079, T1080, T1081, T1082, T1083, T1084, T996, T990) → U9_AGGGGGGGGAG(T1077, T983, T1078, T1079, T1080, T1081, T1082, T1083, T1084, T996, T990, memberc12_in_ag(T1077, T983))
U9_AGGGGGGGGAG(T1077, T983, T1078, T1079, T1080, T1081, T1082, T1083, T1084, T996, T990, memberc12_out_ag(T1077, T983)) → U10_AGGGGGGGGAG(T1077, T983, T1078, T1079, T1080, T1081, T1082, T1083, T1084, T996, T990, member12_in_gg(T1077, .(T1078, .(T1079, .(T1080, .(T1081, .(T1082, .(T1083, .(T1084, [])))))))))
U9_AGGGGGGGGAG(T1077, T983, T1078, T1079, T1080, T1081, T1082, T1083, T1084, T996, T990, memberc12_out_ag(T1077, T983)) → MEMBER12_IN_GG(T1077, .(T1078, .(T1079, .(T1080, .(T1081, .(T1082, .(T1083, .(T1084, []))))))))
P184_IN_AGGGGGGGGAG(T995, T983, T976, T977, T978, T979, T980, T981, T982, T996, T990) → U11_AGGGGGGGGAG(T995, T983, T976, T977, T978, T979, T980, T981, T982, T996, T990, memberc12_in_ag(T995, T983))
U11_AGGGGGGGGAG(T995, T983, T976, T977, T978, T979, T980, T981, T982, T996, T990, memberc12_out_ag(T995, T983)) → U12_AGGGGGGGGAG(T995, T983, T976, T977, T978, T979, T980, T981, T982, T996, T990, not_memberc187_in_gggggggg(T995, T976, T977, T978, T979, T980, T981, T982))
U12_AGGGGGGGGAG(T995, T983, T976, T977, T978, T979, T980, T981, T982, T996, T990, not_memberc187_out_gggggggg(T995, T976, T977, T978, T979, T980, T981, T982)) → U13_AGGGGGGGGAG(T995, T983, T976, T977, T978, T979, T980, T981, T982, T996, T990, subsetchecked188_in_aggg(T996, T995, T990, T983))
U12_AGGGGGGGGAG(T995, T983, T976, T977, T978, T979, T980, T981, T982, T996, T990, not_memberc187_out_gggggggg(T995, T976, T977, T978, T979, T980, T981, T982)) → SUBSETCHECKED188_IN_AGGG(T996, T995, T990, T983)
SUBSETCHECKED188_IN_AGGG(.(T1173, T1174), T1170, T1171, T1172) → U2_AGGG(T1173, T1174, T1170, T1171, T1172, member12_in_ag(T1173, T1172))
SUBSETCHECKED188_IN_AGGG(.(T1173, T1174), T1170, T1171, T1172) → MEMBER12_IN_AG(T1173, T1172)
SUBSETCHECKED188_IN_AGGG(.(T1211, T1180), T1212, T1213, T1172) → U3_AGGG(T1211, T1180, T1212, T1213, T1172, memberc12_in_ag(T1211, T1172))
U3_AGGG(T1211, T1180, T1212, T1213, T1172, memberc12_out_ag(T1211, T1172)) → U4_AGGG(T1211, T1180, T1212, T1213, T1172, member12_in_gg(T1211, .(T1212, T1213)))
U3_AGGG(T1211, T1180, T1212, T1213, T1172, memberc12_out_ag(T1211, T1172)) → MEMBER12_IN_GG(T1211, .(T1212, T1213))
SUBSETCHECKED188_IN_AGGG(.(T1179, T1180), T1170, T1171, T1172) → U5_AGGG(T1179, T1180, T1170, T1171, T1172, memberc12_in_ag(T1179, T1172))
U5_AGGG(T1179, T1180, T1170, T1171, T1172, memberc12_out_ag(T1179, T1172)) → U6_AGGG(T1179, T1180, T1170, T1171, T1172, not_memberc210_in_ggg(T1179, T1170, T1171))
U6_AGGG(T1179, T1180, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171)) → U7_AGGG(T1179, T1180, T1170, T1171, T1172, subsetchecked188_in_aggg(T1180, T1179, .(T1170, T1171), T1172))
U6_AGGG(T1179, T1180, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171)) → SUBSETCHECKED188_IN_AGGG(T1180, T1179, .(T1170, T1171), T1172)
memberc12_in_ag(T42, .(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(T53, .(T51, T52)) → U133_ag(T53, T51, T52, memberc12_in_ag(T53, T52))
U133_ag(T53, T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
not_memberc22_in_g(T81) → not_memberc22_out_g(T81)
not_memberc48_in_gg(T146, T147) → not_memberc48_out_gg(T146, T147)
not_memberc71_in_ggg(T239, T240, T241) → not_memberc71_out_ggg(T239, T240, T241)
not_memberc94_in_gggg(T360, T361, T362, T363) → not_memberc94_out_gggg(T360, T361, T362, T363)
not_memberc117_in_ggggg(T509, T510, T511, T512, T513) → not_memberc117_out_ggggg(T509, T510, T511, T512, T513)
not_memberc140_in_gggggg(T686, T687, T688, T689, T690, T691) → not_memberc140_out_gggggg(T686, T687, T688, T689, T690, T691)
not_memberc163_in_ggggggg(T891, T892, T893, T894, T895, T896, T897) → not_memberc163_out_ggggggg(T891, T892, T893, T894, T895, T896, T897)
not_memberc187_in_gggggggg(T1129, T1130, T1131, T1132, T1133, T1134, T1135, T1136) → not_memberc187_out_gggggggg(T1129, T1130, T1131, T1132, T1133, T1134, T1135, T1136)
not_memberc210_in_ggg(T1228, T1229, T1230) → not_memberc210_out_ggg(T1228, T1229, T1230)
Infinitary Constructor Rewriting Termination of PiDP implies Termination of TRIPLES
SUBSET1_IN_AG(.(T22, T23), T21) → U14_AG(T22, T23, T21, member12_in_ag(T22, T21))
SUBSET1_IN_AG(.(T22, T23), T21) → MEMBER12_IN_AG(T22, T21)
MEMBER12_IN_AG(T53, .(T51, T52)) → U1_AG(T53, T51, T52, member12_in_ag(T53, T52))
MEMBER12_IN_AG(T53, .(T51, T52)) → MEMBER12_IN_AG(T53, T52)
SUBSET1_IN_AG(.(T106, .(T108, T109)), T107) → U15_AG(T106, T108, T109, T107, memberc12_in_ag(T106, T107))
U15_AG(T106, T108, T109, T107, memberc12_out_ag(T106, T107)) → U16_AG(T106, T108, T109, T107, not_memberc22_in_g(T106))
U16_AG(T106, T108, T109, T107, not_memberc22_out_g(T106)) → U17_AG(T106, T108, T109, T107, member12_in_ag(T108, T107))
U16_AG(T106, T108, T109, T107, not_memberc22_out_g(T106)) → MEMBER12_IN_AG(T108, T107)
SUBSET1_IN_AG(.(T137, .(T136, T115)), T107) → U18_AG(T137, T136, T115, T107, memberc12_in_ag(T137, T107))
U18_AG(T137, T136, T115, T107, memberc12_out_ag(T137, T107)) → U19_AG(T137, T136, T115, T107, not_memberc22_in_g(T137))
U19_AG(T137, T136, T115, T107, not_memberc22_out_g(T137)) → U20_AG(T137, T136, T115, T107, memberc12_in_ag(T136, T107))
U20_AG(T137, T136, T115, T107, memberc12_out_ag(T136, T107)) → U21_AG(T137, T136, T115, T107, member12_in_gg(T136, .(T137, [])))
U20_AG(T137, T136, T115, T107, memberc12_out_ag(T136, T107)) → MEMBER12_IN_GG(T136, .(T137, []))
MEMBER12_IN_GG(T53, .(T51, T52)) → U1_GG(T53, T51, T52, member12_in_gg(T53, T52))
MEMBER12_IN_GG(T53, .(T51, T52)) → MEMBER12_IN_GG(T53, T52)
SUBSET1_IN_AG(.(T182, .(T181, .(T184, T185))), T183) → U22_AG(T182, T181, T184, T185, T183, memberc12_in_ag(T182, T183))
U22_AG(T182, T181, T184, T185, T183, memberc12_out_ag(T182, T183)) → U23_AG(T182, T181, T184, T185, T183, not_memberc22_in_g(T182))
U23_AG(T182, T181, T184, T185, T183, not_memberc22_out_g(T182)) → U24_AG(T182, T181, T184, T185, T183, memberc12_in_ag(T181, T183))
U24_AG(T182, T181, T184, T185, T183, memberc12_out_ag(T181, T183)) → U25_AG(T182, T181, T184, T185, T183, not_memberc48_in_gg(T181, T182))
U25_AG(T182, T181, T184, T185, T183, not_memberc48_out_gg(T181, T182)) → U26_AG(T182, T181, T184, T185, T183, member12_in_ag(T184, T183))
U25_AG(T182, T181, T184, T185, T183, not_memberc48_out_gg(T181, T182)) → MEMBER12_IN_AG(T184, T183)
SUBSET1_IN_AG(.(T224, .(T223, .(T222, T191))), T183) → U27_AG(T224, T223, T222, T191, T183, memberc12_in_ag(T224, T183))
U27_AG(T224, T223, T222, T191, T183, memberc12_out_ag(T224, T183)) → U28_AG(T224, T223, T222, T191, T183, not_memberc22_in_g(T224))
U28_AG(T224, T223, T222, T191, T183, not_memberc22_out_g(T224)) → U29_AG(T224, T223, T222, T191, T183, memberc12_in_ag(T223, T183))
U29_AG(T224, T223, T222, T191, T183, memberc12_out_ag(T223, T183)) → U30_AG(T224, T223, T222, T191, T183, not_memberc48_in_gg(T223, T224))
U30_AG(T224, T223, T222, T191, T183, not_memberc48_out_gg(T223, T224)) → U31_AG(T224, T223, T222, T191, T183, memberc12_in_ag(T222, T183))
U31_AG(T224, T223, T222, T191, T183, memberc12_out_ag(T222, T183)) → U32_AG(T224, T223, T222, T191, T183, member12_in_gg(T222, .(T223, .(T224, []))))
U31_AG(T224, T223, T222, T191, T183, memberc12_out_ag(T222, T183)) → MEMBER12_IN_GG(T222, .(T223, .(T224, [])))
SUBSET1_IN_AG(.(T286, .(T285, .(T284, .(T288, T289)))), T287) → U33_AG(T286, T285, T284, T288, T289, T287, memberc12_in_ag(T286, T287))
U33_AG(T286, T285, T284, T288, T289, T287, memberc12_out_ag(T286, T287)) → U34_AG(T286, T285, T284, T288, T289, T287, not_memberc22_in_g(T286))
U34_AG(T286, T285, T284, T288, T289, T287, not_memberc22_out_g(T286)) → U35_AG(T286, T285, T284, T288, T289, T287, memberc12_in_ag(T285, T287))
U35_AG(T286, T285, T284, T288, T289, T287, memberc12_out_ag(T285, T287)) → U36_AG(T286, T285, T284, T288, T289, T287, not_memberc48_in_gg(T285, T286))
U36_AG(T286, T285, T284, T288, T289, T287, not_memberc48_out_gg(T285, T286)) → U37_AG(T286, T285, T284, T288, T289, T287, memberc12_in_ag(T284, T287))
U37_AG(T286, T285, T284, T288, T289, T287, memberc12_out_ag(T284, T287)) → U38_AG(T286, T285, T284, T288, T289, T287, not_memberc71_in_ggg(T284, T285, T286))
U38_AG(T286, T285, T284, T288, T289, T287, not_memberc71_out_ggg(T284, T285, T286)) → U39_AG(T286, T285, T284, T288, T289, T287, member12_in_ag(T288, T287))
U38_AG(T286, T285, T284, T288, T289, T287, not_memberc71_out_ggg(T284, T285, T286)) → MEMBER12_IN_AG(T288, T287)
SUBSET1_IN_AG(.(T339, .(T338, .(T337, .(T336, T295)))), T287) → U40_AG(T339, T338, T337, T336, T295, T287, memberc12_in_ag(T339, T287))
U40_AG(T339, T338, T337, T336, T295, T287, memberc12_out_ag(T339, T287)) → U41_AG(T339, T338, T337, T336, T295, T287, not_memberc22_in_g(T339))
U41_AG(T339, T338, T337, T336, T295, T287, not_memberc22_out_g(T339)) → U42_AG(T339, T338, T337, T336, T295, T287, memberc12_in_ag(T338, T287))
U42_AG(T339, T338, T337, T336, T295, T287, memberc12_out_ag(T338, T287)) → U43_AG(T339, T338, T337, T336, T295, T287, not_memberc48_in_gg(T338, T339))
U43_AG(T339, T338, T337, T336, T295, T287, not_memberc48_out_gg(T338, T339)) → U44_AG(T339, T338, T337, T336, T295, T287, memberc12_in_ag(T337, T287))
U44_AG(T339, T338, T337, T336, T295, T287, memberc12_out_ag(T337, T287)) → U45_AG(T339, T338, T337, T336, T295, T287, not_memberc71_in_ggg(T337, T338, T339))
U45_AG(T339, T338, T337, T336, T295, T287, not_memberc71_out_ggg(T337, T338, T339)) → U46_AG(T339, T338, T337, T336, T295, T287, memberc12_in_ag(T336, T287))
U46_AG(T339, T338, T337, T336, T295, T287, memberc12_out_ag(T336, T287)) → U47_AG(T339, T338, T337, T336, T295, T287, member12_in_gg(T336, .(T337, .(T338, .(T339, [])))))
U46_AG(T339, T338, T337, T336, T295, T287, memberc12_out_ag(T336, T287)) → MEMBER12_IN_GG(T336, .(T337, .(T338, .(T339, []))))
SUBSET1_IN_AG(.(T418, .(T417, .(T416, .(T415, .(T420, T421))))), T419) → U48_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_in_ag(T418, T419))
U48_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_out_ag(T418, T419)) → U49_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc22_in_g(T418))
U49_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc22_out_g(T418)) → U50_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_in_ag(T417, T419))
U50_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_out_ag(T417, T419)) → U51_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc48_in_gg(T417, T418))
U51_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc48_out_gg(T417, T418)) → U52_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_in_ag(T416, T419))
U52_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_out_ag(T416, T419)) → U53_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc71_in_ggg(T416, T417, T418))
U53_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc71_out_ggg(T416, T417, T418)) → U54_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_in_ag(T415, T419))
U54_AG(T418, T417, T416, T415, T420, T421, T419, memberc12_out_ag(T415, T419)) → U55_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc94_in_gggg(T415, T416, T417, T418))
U55_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc94_out_gggg(T415, T416, T417, T418)) → U56_AG(T418, T417, T416, T415, T420, T421, T419, member12_in_ag(T420, T419))
U55_AG(T418, T417, T416, T415, T420, T421, T419, not_memberc94_out_gggg(T415, T416, T417, T418)) → MEMBER12_IN_AG(T420, T419)
SUBSET1_IN_AG(.(T482, .(T481, .(T480, .(T479, .(T478, T427))))), T419) → U57_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_in_ag(T482, T419))
U57_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_out_ag(T482, T419)) → U58_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc22_in_g(T482))
U58_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc22_out_g(T482)) → U59_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_in_ag(T481, T419))
U59_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_out_ag(T481, T419)) → U60_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc48_in_gg(T481, T482))
U60_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc48_out_gg(T481, T482)) → U61_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_in_ag(T480, T419))
U61_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_out_ag(T480, T419)) → U62_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc71_in_ggg(T480, T481, T482))
U62_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc71_out_ggg(T480, T481, T482)) → U63_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_in_ag(T479, T419))
U63_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_out_ag(T479, T419)) → U64_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc94_in_gggg(T479, T480, T481, T482))
U64_AG(T482, T481, T480, T479, T478, T427, T419, not_memberc94_out_gggg(T479, T480, T481, T482)) → U65_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_in_ag(T478, T419))
U65_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_out_ag(T478, T419)) → U66_AG(T482, T481, T480, T479, T478, T427, T419, member12_in_gg(T478, .(T479, .(T480, .(T481, .(T482, []))))))
U65_AG(T482, T481, T480, T479, T478, T427, T419, memberc12_out_ag(T478, T419)) → MEMBER12_IN_GG(T478, .(T479, .(T480, .(T481, .(T482, [])))))
SUBSET1_IN_AG(.(T578, .(T577, .(T576, .(T575, .(T574, .(T580, T581)))))), T579) → U67_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_in_ag(T578, T579))
U67_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_out_ag(T578, T579)) → U68_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc22_in_g(T578))
U68_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc22_out_g(T578)) → U69_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_in_ag(T577, T579))
U69_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_out_ag(T577, T579)) → U70_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc48_in_gg(T577, T578))
U70_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc48_out_gg(T577, T578)) → U71_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_in_ag(T576, T579))
U71_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_out_ag(T576, T579)) → U72_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc71_in_ggg(T576, T577, T578))
U72_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc71_out_ggg(T576, T577, T578)) → U73_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_in_ag(T575, T579))
U73_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_out_ag(T575, T579)) → U74_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc94_in_gggg(T575, T576, T577, T578))
U74_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc94_out_gggg(T575, T576, T577, T578)) → U75_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_in_ag(T574, T579))
U75_AG(T578, T577, T576, T575, T574, T580, T581, T579, memberc12_out_ag(T574, T579)) → U76_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc117_in_ggggg(T574, T575, T576, T577, T578))
U76_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc117_out_ggggg(T574, T575, T576, T577, T578)) → U77_AG(T578, T577, T576, T575, T574, T580, T581, T579, member12_in_ag(T580, T579))
U76_AG(T578, T577, T576, T575, T574, T580, T581, T579, not_memberc117_out_ggggg(T574, T575, T576, T577, T578)) → MEMBER12_IN_AG(T580, T579)
SUBSET1_IN_AG(.(T653, .(T652, .(T651, .(T650, .(T649, .(T648, T587)))))), T579) → U78_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_in_ag(T653, T579))
U78_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_out_ag(T653, T579)) → U79_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc22_in_g(T653))
U79_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc22_out_g(T653)) → U80_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_in_ag(T652, T579))
U80_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_out_ag(T652, T579)) → U81_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc48_in_gg(T652, T653))
U81_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc48_out_gg(T652, T653)) → U82_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_in_ag(T651, T579))
U82_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_out_ag(T651, T579)) → U83_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc71_in_ggg(T651, T652, T653))
U83_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc71_out_ggg(T651, T652, T653)) → U84_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_in_ag(T650, T579))
U84_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_out_ag(T650, T579)) → U85_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc94_in_gggg(T650, T651, T652, T653))
U85_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc94_out_gggg(T650, T651, T652, T653)) → U86_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_in_ag(T649, T579))
U86_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_out_ag(T649, T579)) → U87_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc117_in_ggggg(T649, T650, T651, T652, T653))
U87_AG(T653, T652, T651, T650, T649, T648, T587, T579, not_memberc117_out_ggggg(T649, T650, T651, T652, T653)) → U88_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_in_ag(T648, T579))
U88_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_out_ag(T648, T579)) → U89_AG(T653, T652, T651, T650, T649, T648, T587, T579, member12_in_gg(T648, .(T649, .(T650, .(T651, .(T652, .(T653, [])))))))
U88_AG(T653, T652, T651, T650, T649, T648, T587, T579, memberc12_out_ag(T648, T579)) → MEMBER12_IN_GG(T648, .(T649, .(T650, .(T651, .(T652, .(T653, []))))))
SUBSET1_IN_AG(.(T766, .(T765, .(T764, .(T763, .(T762, .(T761, .(T768, T769))))))), T767) → U90_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_in_ag(T766, T767))
U90_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_out_ag(T766, T767)) → U91_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc22_in_g(T766))
U91_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc22_out_g(T766)) → U92_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_in_ag(T765, T767))
U92_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_out_ag(T765, T767)) → U93_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc48_in_gg(T765, T766))
U93_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc48_out_gg(T765, T766)) → U94_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_in_ag(T764, T767))
U94_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_out_ag(T764, T767)) → U95_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc71_in_ggg(T764, T765, T766))
U95_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc71_out_ggg(T764, T765, T766)) → U96_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_in_ag(T763, T767))
U96_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_out_ag(T763, T767)) → U97_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc94_in_gggg(T763, T764, T765, T766))
U97_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc94_out_gggg(T763, T764, T765, T766)) → U98_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_in_ag(T762, T767))
U98_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_out_ag(T762, T767)) → U99_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc117_in_ggggg(T762, T763, T764, T765, T766))
U99_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc117_out_ggggg(T762, T763, T764, T765, T766)) → U100_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_in_ag(T761, T767))
U100_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, memberc12_out_ag(T761, T767)) → U101_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc140_in_gggggg(T761, T762, T763, T764, T765, T766))
U101_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc140_out_gggggg(T761, T762, T763, T764, T765, T766)) → U102_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, member12_in_ag(T768, T767))
U101_AG(T766, T765, T764, T763, T762, T761, T768, T769, T767, not_memberc140_out_gggggg(T761, T762, T763, T764, T765, T766)) → MEMBER12_IN_AG(T768, T767)
SUBSET1_IN_AG(.(T852, .(T851, .(T850, .(T849, .(T848, .(T847, .(T846, T775))))))), T767) → U103_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_in_ag(T852, T767))
U103_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T852, T767)) → U104_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc22_in_g(T852))
U104_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc22_out_g(T852)) → U105_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_in_ag(T851, T767))
U105_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T851, T767)) → U106_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc48_in_gg(T851, T852))
U106_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc48_out_gg(T851, T852)) → U107_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_in_ag(T850, T767))
U107_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T850, T767)) → U108_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc71_in_ggg(T850, T851, T852))
U108_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc71_out_ggg(T850, T851, T852)) → U109_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_in_ag(T849, T767))
U109_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T849, T767)) → U110_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc94_in_gggg(T849, T850, T851, T852))
U110_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc94_out_gggg(T849, T850, T851, T852)) → U111_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_in_ag(T848, T767))
U111_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T848, T767)) → U112_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc117_in_ggggg(T848, T849, T850, T851, T852))
U112_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc117_out_ggggg(T848, T849, T850, T851, T852)) → U113_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_in_ag(T847, T767))
U113_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T847, T767)) → U114_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc140_in_gggggg(T847, T848, T849, T850, T851, T852))
U114_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, not_memberc140_out_gggggg(T847, T848, T849, T850, T851, T852)) → U115_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_in_ag(T846, T767))
U115_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T846, T767)) → U116_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, member12_in_gg(T846, .(T847, .(T848, .(T849, .(T850, .(T851, .(T852, []))))))))
U115_AG(T852, T851, T850, T849, T848, T847, T846, T775, T767, memberc12_out_ag(T846, T767)) → MEMBER12_IN_GG(T846, .(T847, .(T848, .(T849, .(T850, .(T851, .(T852, [])))))))
SUBSET1_IN_AG(.(T982, .(T981, .(T980, .(T979, .(T978, .(T977, .(T976, .(T984, T985)))))))), T983) → U117_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_in_ag(T982, T983))
U117_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_out_ag(T982, T983)) → U118_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc22_in_g(T982))
U118_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc22_out_g(T982)) → U119_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_in_ag(T981, T983))
U119_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_out_ag(T981, T983)) → U120_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc48_in_gg(T981, T982))
U120_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc48_out_gg(T981, T982)) → U121_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_in_ag(T980, T983))
U121_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_out_ag(T980, T983)) → U122_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc71_in_ggg(T980, T981, T982))
U122_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc71_out_ggg(T980, T981, T982)) → U123_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_in_ag(T979, T983))
U123_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_out_ag(T979, T983)) → U124_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc94_in_gggg(T979, T980, T981, T982))
U124_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc94_out_gggg(T979, T980, T981, T982)) → U125_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_in_ag(T978, T983))
U125_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_out_ag(T978, T983)) → U126_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc117_in_ggggg(T978, T979, T980, T981, T982))
U126_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc117_out_ggggg(T978, T979, T980, T981, T982)) → U127_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_in_ag(T977, T983))
U127_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_out_ag(T977, T983)) → U128_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc140_in_gggggg(T977, T978, T979, T980, T981, T982))
U128_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc140_out_gggggg(T977, T978, T979, T980, T981, T982)) → U129_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_in_ag(T976, T983))
U129_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, memberc12_out_ag(T976, T983)) → U130_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc163_in_ggggggg(T976, T977, T978, T979, T980, T981, T982))
U130_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc163_out_ggggggg(T976, T977, T978, T979, T980, T981, T982)) → U131_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, p184_in_aggggggggag(T984, T983, T976, T977, T978, T979, T980, T981, T982, T985, .(T976, .(T977, .(T978, .(T979, .(T980, .(T981, .(T982, [])))))))))
U130_AG(T982, T981, T980, T979, T978, T977, T976, T984, T985, T983, not_memberc163_out_ggggggg(T976, T977, T978, T979, T980, T981, T982)) → P184_IN_AGGGGGGGGAG(T984, T983, T976, T977, T978, T979, T980, T981, T982, T985, .(T976, .(T977, .(T978, .(T979, .(T980, .(T981, .(T982, []))))))))
P184_IN_AGGGGGGGGAG(T984, T983, T976, T977, T978, T979, T980, T981, T982, T985, T990) → U8_AGGGGGGGGAG(T984, T983, T976, T977, T978, T979, T980, T981, T982, T985, T990, member12_in_ag(T984, T983))
P184_IN_AGGGGGGGGAG(T984, T983, T976, T977, T978, T979, T980, T981, T982, T985, T990) → MEMBER12_IN_AG(T984, T983)
P184_IN_AGGGGGGGGAG(T1077, T983, T1078, T1079, T1080, T1081, T1082, T1083, T1084, T996, T990) → U9_AGGGGGGGGAG(T1077, T983, T1078, T1079, T1080, T1081, T1082, T1083, T1084, T996, T990, memberc12_in_ag(T1077, T983))
U9_AGGGGGGGGAG(T1077, T983, T1078, T1079, T1080, T1081, T1082, T1083, T1084, T996, T990, memberc12_out_ag(T1077, T983)) → U10_AGGGGGGGGAG(T1077, T983, T1078, T1079, T1080, T1081, T1082, T1083, T1084, T996, T990, member12_in_gg(T1077, .(T1078, .(T1079, .(T1080, .(T1081, .(T1082, .(T1083, .(T1084, [])))))))))
U9_AGGGGGGGGAG(T1077, T983, T1078, T1079, T1080, T1081, T1082, T1083, T1084, T996, T990, memberc12_out_ag(T1077, T983)) → MEMBER12_IN_GG(T1077, .(T1078, .(T1079, .(T1080, .(T1081, .(T1082, .(T1083, .(T1084, []))))))))
P184_IN_AGGGGGGGGAG(T995, T983, T976, T977, T978, T979, T980, T981, T982, T996, T990) → U11_AGGGGGGGGAG(T995, T983, T976, T977, T978, T979, T980, T981, T982, T996, T990, memberc12_in_ag(T995, T983))
U11_AGGGGGGGGAG(T995, T983, T976, T977, T978, T979, T980, T981, T982, T996, T990, memberc12_out_ag(T995, T983)) → U12_AGGGGGGGGAG(T995, T983, T976, T977, T978, T979, T980, T981, T982, T996, T990, not_memberc187_in_gggggggg(T995, T976, T977, T978, T979, T980, T981, T982))
U12_AGGGGGGGGAG(T995, T983, T976, T977, T978, T979, T980, T981, T982, T996, T990, not_memberc187_out_gggggggg(T995, T976, T977, T978, T979, T980, T981, T982)) → U13_AGGGGGGGGAG(T995, T983, T976, T977, T978, T979, T980, T981, T982, T996, T990, subsetchecked188_in_aggg(T996, T995, T990, T983))
U12_AGGGGGGGGAG(T995, T983, T976, T977, T978, T979, T980, T981, T982, T996, T990, not_memberc187_out_gggggggg(T995, T976, T977, T978, T979, T980, T981, T982)) → SUBSETCHECKED188_IN_AGGG(T996, T995, T990, T983)
SUBSETCHECKED188_IN_AGGG(.(T1173, T1174), T1170, T1171, T1172) → U2_AGGG(T1173, T1174, T1170, T1171, T1172, member12_in_ag(T1173, T1172))
SUBSETCHECKED188_IN_AGGG(.(T1173, T1174), T1170, T1171, T1172) → MEMBER12_IN_AG(T1173, T1172)
SUBSETCHECKED188_IN_AGGG(.(T1211, T1180), T1212, T1213, T1172) → U3_AGGG(T1211, T1180, T1212, T1213, T1172, memberc12_in_ag(T1211, T1172))
U3_AGGG(T1211, T1180, T1212, T1213, T1172, memberc12_out_ag(T1211, T1172)) → U4_AGGG(T1211, T1180, T1212, T1213, T1172, member12_in_gg(T1211, .(T1212, T1213)))
U3_AGGG(T1211, T1180, T1212, T1213, T1172, memberc12_out_ag(T1211, T1172)) → MEMBER12_IN_GG(T1211, .(T1212, T1213))
SUBSETCHECKED188_IN_AGGG(.(T1179, T1180), T1170, T1171, T1172) → U5_AGGG(T1179, T1180, T1170, T1171, T1172, memberc12_in_ag(T1179, T1172))
U5_AGGG(T1179, T1180, T1170, T1171, T1172, memberc12_out_ag(T1179, T1172)) → U6_AGGG(T1179, T1180, T1170, T1171, T1172, not_memberc210_in_ggg(T1179, T1170, T1171))
U6_AGGG(T1179, T1180, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171)) → U7_AGGG(T1179, T1180, T1170, T1171, T1172, subsetchecked188_in_aggg(T1180, T1179, .(T1170, T1171), T1172))
U6_AGGG(T1179, T1180, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171)) → SUBSETCHECKED188_IN_AGGG(T1180, T1179, .(T1170, T1171), T1172)
memberc12_in_ag(T42, .(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(T53, .(T51, T52)) → U133_ag(T53, T51, T52, memberc12_in_ag(T53, T52))
U133_ag(T53, T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
not_memberc22_in_g(T81) → not_memberc22_out_g(T81)
not_memberc48_in_gg(T146, T147) → not_memberc48_out_gg(T146, T147)
not_memberc71_in_ggg(T239, T240, T241) → not_memberc71_out_ggg(T239, T240, T241)
not_memberc94_in_gggg(T360, T361, T362, T363) → not_memberc94_out_gggg(T360, T361, T362, T363)
not_memberc117_in_ggggg(T509, T510, T511, T512, T513) → not_memberc117_out_ggggg(T509, T510, T511, T512, T513)
not_memberc140_in_gggggg(T686, T687, T688, T689, T690, T691) → not_memberc140_out_gggggg(T686, T687, T688, T689, T690, T691)
not_memberc163_in_ggggggg(T891, T892, T893, T894, T895, T896, T897) → not_memberc163_out_ggggggg(T891, T892, T893, T894, T895, T896, T897)
not_memberc187_in_gggggggg(T1129, T1130, T1131, T1132, T1133, T1134, T1135, T1136) → not_memberc187_out_gggggggg(T1129, T1130, T1131, T1132, T1133, T1134, T1135, T1136)
not_memberc210_in_ggg(T1228, T1229, T1230) → not_memberc210_out_ggg(T1228, T1229, T1230)
MEMBER12_IN_GG(T53, .(T51, T52)) → MEMBER12_IN_GG(T53, T52)
memberc12_in_ag(T42, .(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(T53, .(T51, T52)) → U133_ag(T53, T51, T52, memberc12_in_ag(T53, T52))
U133_ag(T53, T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
not_memberc22_in_g(T81) → not_memberc22_out_g(T81)
not_memberc48_in_gg(T146, T147) → not_memberc48_out_gg(T146, T147)
not_memberc71_in_ggg(T239, T240, T241) → not_memberc71_out_ggg(T239, T240, T241)
not_memberc94_in_gggg(T360, T361, T362, T363) → not_memberc94_out_gggg(T360, T361, T362, T363)
not_memberc117_in_ggggg(T509, T510, T511, T512, T513) → not_memberc117_out_ggggg(T509, T510, T511, T512, T513)
not_memberc140_in_gggggg(T686, T687, T688, T689, T690, T691) → not_memberc140_out_gggggg(T686, T687, T688, T689, T690, T691)
not_memberc163_in_ggggggg(T891, T892, T893, T894, T895, T896, T897) → not_memberc163_out_ggggggg(T891, T892, T893, T894, T895, T896, T897)
not_memberc187_in_gggggggg(T1129, T1130, T1131, T1132, T1133, T1134, T1135, T1136) → not_memberc187_out_gggggggg(T1129, T1130, T1131, T1132, T1133, T1134, T1135, T1136)
not_memberc210_in_ggg(T1228, T1229, T1230) → not_memberc210_out_ggg(T1228, T1229, T1230)
MEMBER12_IN_GG(T53, .(T51, T52)) → MEMBER12_IN_GG(T53, T52)
MEMBER12_IN_GG(T53, .(T51, T52)) → MEMBER12_IN_GG(T53, T52)
From the DPs we obtained the following set of size-change graphs:
MEMBER12_IN_AG(T53, .(T51, T52)) → MEMBER12_IN_AG(T53, T52)
memberc12_in_ag(T42, .(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(T53, .(T51, T52)) → U133_ag(T53, T51, T52, memberc12_in_ag(T53, T52))
U133_ag(T53, T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
not_memberc22_in_g(T81) → not_memberc22_out_g(T81)
not_memberc48_in_gg(T146, T147) → not_memberc48_out_gg(T146, T147)
not_memberc71_in_ggg(T239, T240, T241) → not_memberc71_out_ggg(T239, T240, T241)
not_memberc94_in_gggg(T360, T361, T362, T363) → not_memberc94_out_gggg(T360, T361, T362, T363)
not_memberc117_in_ggggg(T509, T510, T511, T512, T513) → not_memberc117_out_ggggg(T509, T510, T511, T512, T513)
not_memberc140_in_gggggg(T686, T687, T688, T689, T690, T691) → not_memberc140_out_gggggg(T686, T687, T688, T689, T690, T691)
not_memberc163_in_ggggggg(T891, T892, T893, T894, T895, T896, T897) → not_memberc163_out_ggggggg(T891, T892, T893, T894, T895, T896, T897)
not_memberc187_in_gggggggg(T1129, T1130, T1131, T1132, T1133, T1134, T1135, T1136) → not_memberc187_out_gggggggg(T1129, T1130, T1131, T1132, T1133, T1134, T1135, T1136)
not_memberc210_in_ggg(T1228, T1229, T1230) → not_memberc210_out_ggg(T1228, T1229, T1230)
MEMBER12_IN_AG(T53, .(T51, T52)) → MEMBER12_IN_AG(T53, T52)
MEMBER12_IN_AG(.(T51, T52)) → MEMBER12_IN_AG(T52)
From the DPs we obtained the following set of size-change graphs:
SUBSETCHECKED188_IN_AGGG(.(T1179, T1180), T1170, T1171, T1172) → U5_AGGG(T1179, T1180, T1170, T1171, T1172, memberc12_in_ag(T1179, T1172))
U5_AGGG(T1179, T1180, T1170, T1171, T1172, memberc12_out_ag(T1179, T1172)) → U6_AGGG(T1179, T1180, T1170, T1171, T1172, not_memberc210_in_ggg(T1179, T1170, T1171))
U6_AGGG(T1179, T1180, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171)) → SUBSETCHECKED188_IN_AGGG(T1180, T1179, .(T1170, T1171), T1172)
memberc12_in_ag(T42, .(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(T53, .(T51, T52)) → U133_ag(T53, T51, T52, memberc12_in_ag(T53, T52))
U133_ag(T53, T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
not_memberc22_in_g(T81) → not_memberc22_out_g(T81)
not_memberc48_in_gg(T146, T147) → not_memberc48_out_gg(T146, T147)
not_memberc71_in_ggg(T239, T240, T241) → not_memberc71_out_ggg(T239, T240, T241)
not_memberc94_in_gggg(T360, T361, T362, T363) → not_memberc94_out_gggg(T360, T361, T362, T363)
not_memberc117_in_ggggg(T509, T510, T511, T512, T513) → not_memberc117_out_ggggg(T509, T510, T511, T512, T513)
not_memberc140_in_gggggg(T686, T687, T688, T689, T690, T691) → not_memberc140_out_gggggg(T686, T687, T688, T689, T690, T691)
not_memberc163_in_ggggggg(T891, T892, T893, T894, T895, T896, T897) → not_memberc163_out_ggggggg(T891, T892, T893, T894, T895, T896, T897)
not_memberc187_in_gggggggg(T1129, T1130, T1131, T1132, T1133, T1134, T1135, T1136) → not_memberc187_out_gggggggg(T1129, T1130, T1131, T1132, T1133, T1134, T1135, T1136)
not_memberc210_in_ggg(T1228, T1229, T1230) → not_memberc210_out_ggg(T1228, T1229, T1230)
SUBSETCHECKED188_IN_AGGG(.(T1179, T1180), T1170, T1171, T1172) → U5_AGGG(T1179, T1180, T1170, T1171, T1172, memberc12_in_ag(T1179, T1172))
U5_AGGG(T1179, T1180, T1170, T1171, T1172, memberc12_out_ag(T1179, T1172)) → U6_AGGG(T1179, T1180, T1170, T1171, T1172, not_memberc210_in_ggg(T1179, T1170, T1171))
U6_AGGG(T1179, T1180, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171)) → SUBSETCHECKED188_IN_AGGG(T1180, T1179, .(T1170, T1171), T1172)
memberc12_in_ag(T42, .(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(T53, .(T51, T52)) → U133_ag(T53, T51, T52, memberc12_in_ag(T53, T52))
not_memberc210_in_ggg(T1228, T1229, T1230) → not_memberc210_out_ggg(T1228, T1229, T1230)
U133_ag(T53, T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
SUBSETCHECKED188_IN_AGGG(T1170, T1171, T1172) → U5_AGGG(T1170, T1171, T1172, memberc12_in_ag(T1172))
U5_AGGG(T1170, T1171, T1172, memberc12_out_ag(T1179, T1172)) → U6_AGGG(T1179, T1170, T1171, T1172, not_memberc210_in_ggg(T1179, T1170, T1171))
U6_AGGG(T1179, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171)) → SUBSETCHECKED188_IN_AGGG(T1179, .(T1170, T1171), T1172)
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
not_memberc210_in_ggg(T1228, T1229, T1230) → not_memberc210_out_ggg(T1228, T1229, T1230)
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
not_memberc210_in_ggg(x0, x1, x2)
U133_ag(x0, x1, x2)
U5_AGGG(T1170, T1171, T1172, memberc12_out_ag(T1179, T1172)) → U6_AGGG(T1179, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171))
SUBSETCHECKED188_IN_AGGG(T1170, T1171, T1172) → U5_AGGG(T1170, T1171, T1172, memberc12_in_ag(T1172))
U6_AGGG(T1179, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171)) → SUBSETCHECKED188_IN_AGGG(T1179, .(T1170, T1171), T1172)
U5_AGGG(T1170, T1171, T1172, memberc12_out_ag(T1179, T1172)) → U6_AGGG(T1179, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
not_memberc210_in_ggg(T1228, T1229, T1230) → not_memberc210_out_ggg(T1228, T1229, T1230)
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
not_memberc210_in_ggg(x0, x1, x2)
U133_ag(x0, x1, x2)
SUBSETCHECKED188_IN_AGGG(T1170, T1171, T1172) → U5_AGGG(T1170, T1171, T1172, memberc12_in_ag(T1172))
U6_AGGG(T1179, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171)) → SUBSETCHECKED188_IN_AGGG(T1179, .(T1170, T1171), T1172)
U5_AGGG(T1170, T1171, T1172, memberc12_out_ag(T1179, T1172)) → U6_AGGG(T1179, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
not_memberc210_in_ggg(x0, x1, x2)
U133_ag(x0, x1, x2)
not_memberc210_in_ggg(x0, x1, x2)
SUBSETCHECKED188_IN_AGGG(T1170, T1171, T1172) → U5_AGGG(T1170, T1171, T1172, memberc12_in_ag(T1172))
U6_AGGG(T1179, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171)) → SUBSETCHECKED188_IN_AGGG(T1179, .(T1170, T1171), T1172)
U5_AGGG(T1170, T1171, T1172, memberc12_out_ag(T1179, T1172)) → U6_AGGG(T1179, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
U133_ag(x0, x1, x2)
SUBSETCHECKED188_IN_AGGG(y0, y1, .(x0, x1)) → U5_AGGG(y0, y1, .(x0, x1), memberc12_out_ag(x0, .(x0, x1)))
SUBSETCHECKED188_IN_AGGG(y0, y1, .(x0, x1)) → U5_AGGG(y0, y1, .(x0, x1), U133_ag(x0, x1, memberc12_in_ag(x1)))
U6_AGGG(T1179, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171)) → SUBSETCHECKED188_IN_AGGG(T1179, .(T1170, T1171), T1172)
U5_AGGG(T1170, T1171, T1172, memberc12_out_ag(T1179, T1172)) → U6_AGGG(T1179, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171))
SUBSETCHECKED188_IN_AGGG(y0, y1, .(x0, x1)) → U5_AGGG(y0, y1, .(x0, x1), memberc12_out_ag(x0, .(x0, x1)))
SUBSETCHECKED188_IN_AGGG(y0, y1, .(x0, x1)) → U5_AGGG(y0, y1, .(x0, x1), U133_ag(x0, x1, memberc12_in_ag(x1)))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
U133_ag(x0, x1, x2)
U5_AGGG(z0, z1, .(z2, z3), memberc12_out_ag(z2, .(z2, z3))) → U6_AGGG(z2, z0, z1, .(z2, z3), not_memberc210_out_ggg(z2, z0, z1))
U5_AGGG(z0, z1, .(z2, z3), memberc12_out_ag(x3, .(z2, z3))) → U6_AGGG(x3, z0, z1, .(z2, z3), not_memberc210_out_ggg(x3, z0, z1))
U6_AGGG(T1179, T1170, T1171, T1172, not_memberc210_out_ggg(T1179, T1170, T1171)) → SUBSETCHECKED188_IN_AGGG(T1179, .(T1170, T1171), T1172)
SUBSETCHECKED188_IN_AGGG(y0, y1, .(x0, x1)) → U5_AGGG(y0, y1, .(x0, x1), memberc12_out_ag(x0, .(x0, x1)))
SUBSETCHECKED188_IN_AGGG(y0, y1, .(x0, x1)) → U5_AGGG(y0, y1, .(x0, x1), U133_ag(x0, x1, memberc12_in_ag(x1)))
U5_AGGG(z0, z1, .(z2, z3), memberc12_out_ag(z2, .(z2, z3))) → U6_AGGG(z2, z0, z1, .(z2, z3), not_memberc210_out_ggg(z2, z0, z1))
U5_AGGG(z0, z1, .(z2, z3), memberc12_out_ag(x3, .(z2, z3))) → U6_AGGG(x3, z0, z1, .(z2, z3), not_memberc210_out_ggg(x3, z0, z1))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
U133_ag(x0, x1, x2)
U6_AGGG(z2, z0, z1, .(z2, z3), not_memberc210_out_ggg(z2, z0, z1)) → SUBSETCHECKED188_IN_AGGG(z2, .(z0, z1), .(z2, z3))
U6_AGGG(z4, z0, z1, .(z2, z3), not_memberc210_out_ggg(z4, z0, z1)) → SUBSETCHECKED188_IN_AGGG(z4, .(z0, z1), .(z2, z3))
SUBSETCHECKED188_IN_AGGG(y0, y1, .(x0, x1)) → U5_AGGG(y0, y1, .(x0, x1), memberc12_out_ag(x0, .(x0, x1)))
SUBSETCHECKED188_IN_AGGG(y0, y1, .(x0, x1)) → U5_AGGG(y0, y1, .(x0, x1), U133_ag(x0, x1, memberc12_in_ag(x1)))
U5_AGGG(z0, z1, .(z2, z3), memberc12_out_ag(z2, .(z2, z3))) → U6_AGGG(z2, z0, z1, .(z2, z3), not_memberc210_out_ggg(z2, z0, z1))
U5_AGGG(z0, z1, .(z2, z3), memberc12_out_ag(x3, .(z2, z3))) → U6_AGGG(x3, z0, z1, .(z2, z3), not_memberc210_out_ggg(x3, z0, z1))
U6_AGGG(z2, z0, z1, .(z2, z3), not_memberc210_out_ggg(z2, z0, z1)) → SUBSETCHECKED188_IN_AGGG(z2, .(z0, z1), .(z2, z3))
U6_AGGG(z4, z0, z1, .(z2, z3), not_memberc210_out_ggg(z4, z0, z1)) → SUBSETCHECKED188_IN_AGGG(z4, .(z0, z1), .(z2, z3))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
U133_ag(x0, x1, x2)
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4)))
SUBSETCHECKED188_IN_AGGG(y0, y1, .(x0, x1)) → U5_AGGG(y0, y1, .(x0, x1), U133_ag(x0, x1, memberc12_in_ag(x1)))
U5_AGGG(z0, z1, .(z2, z3), memberc12_out_ag(z2, .(z2, z3))) → U6_AGGG(z2, z0, z1, .(z2, z3), not_memberc210_out_ggg(z2, z0, z1))
U5_AGGG(z0, z1, .(z2, z3), memberc12_out_ag(x3, .(z2, z3))) → U6_AGGG(x3, z0, z1, .(z2, z3), not_memberc210_out_ggg(x3, z0, z1))
U6_AGGG(z2, z0, z1, .(z2, z3), not_memberc210_out_ggg(z2, z0, z1)) → SUBSETCHECKED188_IN_AGGG(z2, .(z0, z1), .(z2, z3))
U6_AGGG(z4, z0, z1, .(z2, z3), not_memberc210_out_ggg(z4, z0, z1)) → SUBSETCHECKED188_IN_AGGG(z4, .(z0, z1), .(z2, z3))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4)))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
U133_ag(x0, x1, x2)
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), U133_ag(z0, z3, memberc12_in_ag(z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), U133_ag(z3, z4, memberc12_in_ag(z4)))
U5_AGGG(z0, z1, .(z2, z3), memberc12_out_ag(z2, .(z2, z3))) → U6_AGGG(z2, z0, z1, .(z2, z3), not_memberc210_out_ggg(z2, z0, z1))
U5_AGGG(z0, z1, .(z2, z3), memberc12_out_ag(x3, .(z2, z3))) → U6_AGGG(x3, z0, z1, .(z2, z3), not_memberc210_out_ggg(x3, z0, z1))
U6_AGGG(z2, z0, z1, .(z2, z3), not_memberc210_out_ggg(z2, z0, z1)) → SUBSETCHECKED188_IN_AGGG(z2, .(z0, z1), .(z2, z3))
U6_AGGG(z4, z0, z1, .(z2, z3), not_memberc210_out_ggg(z4, z0, z1)) → SUBSETCHECKED188_IN_AGGG(z4, .(z0, z1), .(z2, z3))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), U133_ag(z0, z3, memberc12_in_ag(z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), U133_ag(z3, z4, memberc12_in_ag(z4)))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
U133_ag(x0, x1, x2)
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3))) → U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4))) → U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2)))
U5_AGGG(z0, z1, .(z2, z3), memberc12_out_ag(x3, .(z2, z3))) → U6_AGGG(x3, z0, z1, .(z2, z3), not_memberc210_out_ggg(x3, z0, z1))
U6_AGGG(z2, z0, z1, .(z2, z3), not_memberc210_out_ggg(z2, z0, z1)) → SUBSETCHECKED188_IN_AGGG(z2, .(z0, z1), .(z2, z3))
U6_AGGG(z4, z0, z1, .(z2, z3), not_memberc210_out_ggg(z4, z0, z1)) → SUBSETCHECKED188_IN_AGGG(z4, .(z0, z1), .(z2, z3))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), U133_ag(z0, z3, memberc12_in_ag(z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), U133_ag(z3, z4, memberc12_in_ag(z4)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3))) → U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4))) → U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2)))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
U133_ag(x0, x1, x2)
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3))) → U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4))) → U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(x4, .(z0, z3))) → U6_AGGG(x4, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(x4, .(z3, z4))) → U6_AGGG(x4, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U6_AGGG(z2, z0, z1, .(z2, z3), not_memberc210_out_ggg(z2, z0, z1)) → SUBSETCHECKED188_IN_AGGG(z2, .(z0, z1), .(z2, z3))
U6_AGGG(z4, z0, z1, .(z2, z3), not_memberc210_out_ggg(z4, z0, z1)) → SUBSETCHECKED188_IN_AGGG(z4, .(z0, z1), .(z2, z3))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), U133_ag(z0, z3, memberc12_in_ag(z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), U133_ag(z3, z4, memberc12_in_ag(z4)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3))) → U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4))) → U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(x4, .(z0, z3))) → U6_AGGG(x4, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(x4, .(z3, z4))) → U6_AGGG(x4, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
U133_ag(x0, x1, x2)
U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3))
U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z3, .(z0, .(z1, z2)), .(z3, z4))
U6_AGGG(z4, z0, z1, .(z2, z3), not_memberc210_out_ggg(z4, z0, z1)) → SUBSETCHECKED188_IN_AGGG(z4, .(z0, z1), .(z2, z3))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), U133_ag(z0, z3, memberc12_in_ag(z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), U133_ag(z3, z4, memberc12_in_ag(z4)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3))) → U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4))) → U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(x4, .(z0, z3))) → U6_AGGG(x4, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(x4, .(z3, z4))) → U6_AGGG(x4, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3))
U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z3, .(z0, .(z1, z2)), .(z3, z4))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
U133_ag(x0, x1, x2)
U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3))
U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z3, .(z0, .(z1, z2)), .(z3, z4))
U6_AGGG(z4, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z4, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z4, .(z0, .(z1, z2)), .(z0, z3))
U6_AGGG(z5, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z5, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z5, .(z0, .(z1, z2)), .(z3, z4))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), U133_ag(z0, z3, memberc12_in_ag(z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), U133_ag(z3, z4, memberc12_in_ag(z4)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3))) → U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4))) → U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(x4, .(z0, z3))) → U6_AGGG(x4, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(x4, .(z3, z4))) → U6_AGGG(x4, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3))
U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z3, .(z0, .(z1, z2)), .(z3, z4))
U6_AGGG(z4, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z4, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z4, .(z0, .(z1, z2)), .(z0, z3))
U6_AGGG(z5, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z5, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z5, .(z0, .(z1, z2)), .(z3, z4))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
U133_ag(x0, x1, x2)
SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3)) → U5_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3), memberc12_out_ag(z0, .(z0, z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4), memberc12_out_ag(z0, .(z0, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), U133_ag(z0, z3, memberc12_in_ag(z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), U133_ag(z3, z4, memberc12_in_ag(z4)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3))) → U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4))) → U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(x4, .(z0, z3))) → U6_AGGG(x4, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(x4, .(z3, z4))) → U6_AGGG(x4, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3))
U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z3, .(z0, .(z1, z2)), .(z3, z4))
U6_AGGG(z4, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z4, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z4, .(z0, .(z1, z2)), .(z0, z3))
U6_AGGG(z5, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z5, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z5, .(z0, .(z1, z2)), .(z3, z4))
SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3)) → U5_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3), memberc12_out_ag(z0, .(z0, z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4), memberc12_out_ag(z0, .(z0, z4)))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
U133_ag(x0, x1, x2)
SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3)) → U5_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3), memberc12_out_ag(z0, .(z0, z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4), memberc12_out_ag(z0, .(z0, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z1, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z1, z4), memberc12_out_ag(z1, .(z1, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z4, z5)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z4, z5), memberc12_out_ag(z4, .(z4, z5)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z0, z3)) → U5_AGGG(z0, .(z1, z2), .(z0, z3), U133_ag(z0, z3, memberc12_in_ag(z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), U133_ag(z3, z4, memberc12_in_ag(z4)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3))) → U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4))) → U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(x4, .(z0, z3))) → U6_AGGG(x4, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(x4, .(z3, z4))) → U6_AGGG(x4, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3))
U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z3, .(z0, .(z1, z2)), .(z3, z4))
U6_AGGG(z4, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z4, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z4, .(z0, .(z1, z2)), .(z0, z3))
U6_AGGG(z5, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z5, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z5, .(z0, .(z1, z2)), .(z3, z4))
SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3)) → U5_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3), memberc12_out_ag(z0, .(z0, z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4), memberc12_out_ag(z0, .(z0, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z1, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z1, z4), memberc12_out_ag(z1, .(z1, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z4, z5)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z4, z5), memberc12_out_ag(z4, .(z4, z5)))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
U133_ag(x0, x1, x2)
SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3)) → U5_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3), U133_ag(z0, z3, memberc12_in_ag(z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4), U133_ag(z0, z4, memberc12_in_ag(z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, z2), .(z3, z4)) → U5_AGGG(z0, .(z1, z2), .(z3, z4), U133_ag(z3, z4, memberc12_in_ag(z4)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3))) → U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4))) → U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(x4, .(z0, z3))) → U6_AGGG(x4, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(x4, .(z3, z4))) → U6_AGGG(x4, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3))
U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z3, .(z0, .(z1, z2)), .(z3, z4))
U6_AGGG(z4, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z4, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z4, .(z0, .(z1, z2)), .(z0, z3))
U6_AGGG(z5, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z5, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z5, .(z0, .(z1, z2)), .(z3, z4))
SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3)) → U5_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3), memberc12_out_ag(z0, .(z0, z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4), memberc12_out_ag(z0, .(z0, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z1, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z1, z4), memberc12_out_ag(z1, .(z1, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z4, z5)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z4, z5), memberc12_out_ag(z4, .(z4, z5)))
SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3)) → U5_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3), U133_ag(z0, z3, memberc12_in_ag(z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4), U133_ag(z0, z4, memberc12_in_ag(z4)))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
U133_ag(x0, x1, x2)
SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3)) → U5_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3), U133_ag(z0, z3, memberc12_in_ag(z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4), U133_ag(z0, z4, memberc12_in_ag(z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z1, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z1, z4), U133_ag(z1, z4, memberc12_in_ag(z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z4, z5)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z4, z5), U133_ag(z4, z5, memberc12_in_ag(z5)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(z0, .(z0, z3))) → U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(z3, .(z3, z4))) → U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z0, z3), memberc12_out_ag(x4, .(z0, z3))) → U6_AGGG(x4, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U5_AGGG(z0, .(z1, z2), .(z3, z4), memberc12_out_ag(x4, .(z3, z4))) → U6_AGGG(x4, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(x4, z0, .(z1, z2)))
U6_AGGG(z0, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z0, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3))
U6_AGGG(z3, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z3, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z3, .(z0, .(z1, z2)), .(z3, z4))
U6_AGGG(z4, z0, .(z1, z2), .(z0, z3), not_memberc210_out_ggg(z4, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z4, .(z0, .(z1, z2)), .(z0, z3))
U6_AGGG(z5, z0, .(z1, z2), .(z3, z4), not_memberc210_out_ggg(z5, z0, .(z1, z2))) → SUBSETCHECKED188_IN_AGGG(z5, .(z0, .(z1, z2)), .(z3, z4))
SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3)) → U5_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3), memberc12_out_ag(z0, .(z0, z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4), memberc12_out_ag(z0, .(z0, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z1, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z1, z4), memberc12_out_ag(z1, .(z1, z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z4, z5)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z4, z5), memberc12_out_ag(z4, .(z4, z5)))
SUBSETCHECKED188_IN_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3)) → U5_AGGG(z0, .(z0, .(z1, z2)), .(z0, z3), U133_ag(z0, z3, memberc12_in_ag(z3)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z0, z4), U133_ag(z0, z4, memberc12_in_ag(z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z1, z4)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z1, z4), U133_ag(z1, z4, memberc12_in_ag(z4)))
SUBSETCHECKED188_IN_AGGG(z0, .(z1, .(z2, z3)), .(z4, z5)) → U5_AGGG(z0, .(z1, .(z2, z3)), .(z4, z5), U133_ag(z4, z5, memberc12_in_ag(z5)))
memberc12_in_ag(.(T42, T43)) → memberc12_out_ag(T42, .(T42, T43))
memberc12_in_ag(.(T51, T52)) → U133_ag(T51, T52, memberc12_in_ag(T52))
U133_ag(T51, T52, memberc12_out_ag(T53, T52)) → memberc12_out_ag(T53, .(T51, T52))
memberc12_in_ag(x0)
U133_ag(x0, x1, x2)