unionXemptyXunionemptyXX0zzU101ttXXU11ttzU111ttABplussumAsumBU21ttXY0multXYU31ttXYplus0multXYYU41ttXXU51ttXY0plusXYU61ttXY1plusXYU71ttXY0plusplusXY1zU81ttXXU91ttABmultprodAprodBandttXXisBagemptyttisBagsinglV1isBinV1isBagunionV1V2andisBagV1isBagV2isBinzttisBin0V1isBinV1isBin1V1isBinV1isBinmultV1V2andisBinV1isBinV2isBinplusV1V2andisBinV1isBinV2isBinprodV1isBagV1isBinsumV1isBagV1multzXU11isBinXmult0XYU21andisBinXisBinYXYmult1XYU31andisBinXisBinYXYpluszXU41isBinXXplus0X0YU51andisBinXisBinYXYplus0X1YU61andisBinXisBinYXYplus1X1YU71andisBinXisBinYXYprodempty1zprodsinglXU81isBinXXprodunionABU91andisBagAisBagBABsumempty0zsumsinglXU101isBinXXsumunionABU111andisBagAisBagBABunion2ACempty001z0U1012tt0U111U1113plus2ACsum1U213mult2ACU313U412U513U61311U713U812U913prod1and2isBag1singl1isBin1FULL./TRS/CSR_Maude/bag-sum-prod/BAG_nokinds.trs