unionXemptyXunionemptyXX0zzU101ttXYU102isBinYXYU102ttXY0multXYU11ttttU111ttXYU112isBinYXYU112ttXYplus0multXYYU121ttXXU131ttXYU132isBinYXYU132ttXY0plusXYU141ttXYU142isBinYXYU142ttXY1plusXYU151ttXYU152isBinYXYU152ttXY0plusplusXY1zU161ttXXU171ttABU172isBagBABU172ttABmultprodAprodBU181ttXXU191ttABU192isBagBABU192ttABplussumAsumBU21ttV2U22isBagV2U22ttttU31ttttU41ttttU51ttV2U52isBinV2U52ttttU61ttV2U62isBinV2U62ttttU71ttttU81ttttU91ttzisBagemptyttisBagsinglV1U11isBinV1isBagunionV1V2U21isBagV1V2isBinzttisBin0V1U31isBinV1isBin1V1U41isBinV1isBinmultV1V2U51isBinV1V2isBinplusV1V2U61isBinV1V2isBinprodV1U71isBagV1isBinsumV1U81isBagV1multzXU91isBinXmult0XYU101isBinXXYmult1XYU111isBinXXYpluszXU121isBinXXplus0X0YU131isBinXXYplus0X1YU141isBinXXYplus1X1YU151isBinXXYprodempty1zprodsinglXU161isBinXXprodunionABU171isBagAABsumempty0zsumsinglXU181isBinXXsumunionABU191isBagAABunion2ACempty001z0U1013tt0U1023isBin1mult2ACU111U1113U1123plus2ACU1212U1313U1323U1413U142311U1513U1523U1612U1713U1723isBag1prod1U1812U1913U1923sum1U212U221U311U411U512U521U612U621U711U811U911singl1FULL./TRS/CSR_Maude/bag-sum-prod/BAG_nokinds-noand.trs