unionXemptyXunionemptyXX0zzU101ttXY0multXYU11ttV1U12isBinV1U111ttXYplus0multXYYU12ttttU121ttXXU131ttXY0plusXYU141ttXY1plusXYU151ttXY0plusplusXY1zU161ttXXU171ttABmultprodAprodBU181ttXXU191ttABplussumAsumBU21ttV1V2U22isBagV1V2U22ttV2U23isBagV2U23ttttU31ttV1U32isBinV1U32ttttU41ttV1U42isBinV1U42ttttU51ttV1V2U52isBinV1V2U52ttV2U53isBinV2U53ttttU61ttV1V2U62isBinV1V2U62ttV2U63isBinV2U63ttttU71ttV1U72isBagV1U72ttttU81ttV1U82isBagV1U82ttttU91ttzandttXXisBagemptyttisBagsinglV1U11isBinKindV1V1isBagunionV1V2U21andisBagKindV1isBagKindV2V1V2isBagKindemptyttisBagKindsinglV1isBinKindV1isBagKindunionV1V2andisBagKindV1isBagKindV2isBinzttisBin0V1U31isBinKindV1V1isBin1V1U41isBinKindV1V1isBinmultV1V2U51andisBinKindV1isBinKindV2V1V2isBinplusV1V2U61andisBinKindV1isBinKindV2V1V2isBinprodV1U71isBagKindV1V1isBinsumV1U81isBagKindV1V1isBinKindzttisBinKind0V1isBinKindV1isBinKind1V1isBinKindV1isBinKindmultV1V2andisBinKindV1isBinKindV2isBinKindplusV1V2andisBinKindV1isBinKindV2isBinKindprodV1isBagKindV1isBinKindsumV1isBagKindV1multzXU91andisBinXisBinKindXmult0XYU101andandisBinXisBinKindXandisBinYisBinKindYXYmult1XYU111andandisBinXisBinKindXandisBinYisBinKindYXYpluszXU121andisBinXisBinKindXXplus0X0YU131andandisBinXisBinKindXandisBinYisBinKindYXYplus0X1YU141andandisBinXisBinKindXandisBinYisBinKindYXYplus1X1YU151andandisBinXisBinKindXandisBinYisBinKindYXYprodempty1zprodsinglXU161andisBinXisBinKindXXprodunionABU171andandisBagAisBagKindAandisBagBisBagKindBABsumempty0zsumsinglXU181andisBinXisBinKindXXsumunionABU191andandisBagAisBagKindAandisBagBisBagKindBABunion2ACempty001z0U1013tt0mult2ACU112U121isBin1U1113plus2ACU1212U1313U141311U1513U1612U1713prod1U1812U1913sum1U213U222isBag1U231U312U321U412U421U513U522U531U613U622U631U712U721U812U821U911and2singl1isBinKind1isBagKind1FULL./TRS/CSR_Maude/bag-sum-prod/BAG_complete.trs