U101ttABU102isBoolKindAABU102ttABU103isBoolBABU103ttABU104isBoolKindBABU104ttAB_xor__and_AB_xor_ABU11ttAU12isBoolKindAAU111ttAU112isBoolKindAU112ttfalseU12ttAAU121ttAU122isBoolKindAAU122ttAAU131ttBU'UU132isBoolKindBBU'UU132ttBU'UU133isSU'BU'UU133ttBU'UU134isSKindU'BU'UU134ttBU'UU135isSUBU'UU135ttBU'UU136isSKindUBU'U136ttBU'U137equal_isNotEqualTo_BtruetrueU'U137ttU'U'U141ttU'UU142isSKindU'UU142ttUU143isSUUU143ttUU144isSKindUUU144ttUUU151ttV1V2U152isBoolKindV1V1V2U152ttV1V2U153isBoolKindV2V1V2U153ttV1V2U154isBoolKindV2V1V2U154ttV1V2U155isBoolV1V2U155ttV2U156isBoolV2U156ttttU161ttV1V2U162isBoolKindV1V1V2U162ttV1V2U163isBoolKindV2V1V2U163ttV1V2U164isBoolKindV2V1V2U164ttV1V2U165isBoolV1V2U165ttV2U166isBoolV2U166ttttU171ttV1V2U172isBoolKindV1V1V2U172ttV1V2U173isBoolKindV2V1V2U173ttV1V2U174isBoolKindV2V1V2U174ttV1V2U175isBoolV1V2U175ttV2U176isBoolV2U176ttttU181ttV1V2U182isBoolKindV1V1V2U182ttV1V2U183isBoolKindV2V1V2U183ttV1V2U184isBoolKindV2V1V2U184ttV1V2U185isBoolV1V2U185ttV2U186isBoolV2U186ttttU191ttV1U192isBoolKindV1V1U192ttV1U193isBoolV1U193ttttU201ttV2U202isBoolKindV2U202ttttU21ttABCU22isBoolKindAABCU211ttV2U212isBoolKindV2U212ttttU22ttABCU23isBoolBABCU221ttV2U222isBoolKindV2U222ttttU23ttABCU24isBoolKindBABCU231ttV2U232isBoolKindV2U232ttttU24ttABCU25isBoolCABCU241ttttU25ttABCU26isBoolKindCABCU251ttAU252isBoolKindAAU252ttA_xor_AtrueU26ttABC_xor__and_AB_and_ACU31ttAU32isBoolKindAU32ttfalseU41ttAU42isBoolKindAAU42ttAAU51ttABU52isBoolKindAABU52ttABU53isBoolBABU53ttABU54isBoolKindBABU54ttABnot__xor_A_and_ABU61ttU'UU62isSKindU'U'UU62ttU'UU63isSUU'UU63ttU'UU64isSKindUU'UU64ttU'UU65equal_isNotEqualTo_UU'trueU65ttfalseU71ttUU72isSKindUU72tttrueU81ttU'UU82isSKindU'U'UU82ttU'UU83isSUU'UU83ttU'UU84isSKindUU'UU84ttU'Uif_then_else_fi_isEqualTo_UU'falsetrueU91ttUU92isSKindUU92ttfalse_and_AAU11isBoolAA_and_A_xor_BCU21isBoolAABC_and_falseAU31isBoolAA_and_trueAU41isBoolAA_implies_ABU51isBoolAAB_isEqualTo_UU'U61isSU'U'U_isEqualTo_UUU71isSUU_isNotEqualTo_UU'U81isSU'U'U_isNotEqualTo_UUU91isSUU_or_ABU101isBoolAAB_xor_AAU111isBoolAA_xor_falseAU121isBoolAAequalXXttif_then_else_fiBUU'U131isBoolBBU'Uif_then_else_fitrueUU'U141isSU'U'UisBoolfalsettisBooltruettisBool_and_V1V2U151isBoolKindV1V1V2isBool_implies_V1V2U161isBoolKindV1V1V2isBool_isEqualTo_V1V2ttisBool_isNotEqualTo_V1V2ttisBool_or_V1V2U171isBoolKindV1V1V2isBool_xor_V1V2U181isBoolKindV1V1V2isBoolnot_V1U191isBoolKindV1V1isBoolKindfalsettisBoolKindtruettisBoolKind_and_V1V2U201isBoolKindV1V2isBoolKind_implies_V1V2U211isBoolKindV1V2isBoolKind_isEqualTo_V1V2ttisBoolKind_isNotEqualTo_V1V2ttisBoolKind_or_V1V2U221isBoolKindV1V2isBoolKind_xor_V1V2U231isBoolKindV1V2isBoolKindnot_V1U241isBoolKindV1not_AU251isBoolAAnot_falsetruenot_truefalseU1013tt0U1023isBoolKind1U1033isBool1U1043_xor_2AC_and_2ACU112U122U1112U1121false0U1212U1222U1314U1324U1334isS1U1344isSKind1U1354U1363U1372equal2_isNotEqualTo_2true0U1413U1422U1432U1442U1513U1523U1533U1543U1552U1561U1613U1623U1633U1643U1652U1661U1713U1723U1733U1743U1752U1761U1813U1823U1833U1843U1852U1861U1912U1922U1931U2012U2021U214U224U2112U2121U234U2212U2221U244U2312U2321U254U2411U264U2512U2522U312U321U412U422U513U523U533U543not_1U613U623U633U643U651U712U721U813U823U833U843if_then_else_fi3_isEqualTo_2U912U921_implies_2_or_2ACFULL./TRS/CSR_Maude/bool/RENAMED-BOOL_complete-noand.trs