U101ttABU102isBoolBABU102ttAB_xor__and_AB_xor_ABU11ttAAU111ttfalseU121ttAAU131ttBU'UU132isSU'BU'UU132ttBU'UU133isSUBU'U133ttBU'U134equal_isNotEqualTo_BtruetrueU'U134ttU'U'U141ttUU142isSUUU142ttUUU151ttV2U152isBoolV2U152ttttU161ttV2U162isBoolV2U162ttttU171ttV2U172isUniversalV2U172ttttU181ttV2U182isUniversalV2U182ttttU191ttV2U192isBoolV2U192ttttU201ttV2U202isBoolV2U202ttttU21ttABCU22isBoolBABCU211ttttU22ttABCU23isBoolCABCU221ttA_xor_AtrueU23ttABC_xor__and_AB_and_ACU31ttfalseU41ttAAU51ttABU52isBoolBABU52ttABnot__xor_A_and_ABU61ttU'UU62isSUU'UU62ttU'UU63equal_isNotEqualTo_UU'trueU63ttfalseU71tttrueU81ttU'UU82isSUU'UU82ttU'Uif_then_else_fi_isEqualTo_UU'falsetrueU91ttfalse_and_AAU11isBoolAA_and_A_xor_BCU21isBoolAABC_and_falseAU31isBoolA_and_trueAU41isBoolAA_implies_ABU51isBoolAAB_isEqualTo_UU'U61isSU'U'U_isEqualTo_UUU71isSU_isNotEqualTo_UU'U81isSU'U'U_isNotEqualTo_UUU91isSU_or_ABU101isBoolAAB_xor_AAU111isBoolA_xor_falseAU121isBoolAAequalXXttif_then_else_fiBUU'U131isBoolBBU'Uif_then_else_fitrueUU'U141isSU'UisBoolfalsettisBooltruettisBool_and_V1V2U151isBoolV1V2isBool_implies_V1V2U161isBoolV1V2isBool_isEqualTo_V1V2U171isUniversalV1V2isBool_isNotEqualTo_V1V2U181isUniversalV1V2isBool_or_V1V2U191isBoolV1V2isBool_xor_V1V2U201isBoolV1V2isBoolnot_V1U211isBoolV1not_AU221isBoolAAnot_falsetruenot_truefalseU1013tt0U1023isBool1_xor_2AC_and_2ACU112U1111false0U1212U1314U1324isS1U1333U1342equal2_isNotEqualTo_2true0U1412U1422U1512U1521U1612U1621U1712U1721isUniversal1U1812U1821U1912U1921U2012U2021U214U224U2111U234U2212U311U412U513U523not_1U613U623U631U711U813U823if_then_else_fi3_isEqualTo_2U911_implies_2_or_2ACFULL./TRS/CSR_Maude/bool/RENAMED-BOOL_nokinds-noand.trs