unionXemptyXunionemptyXX0zzU11ttXYU12ttXYU12ttXY0multXYU21ttXYU22ttXYU22ttXYplus0multXYYU31ttXYU32ttXYU32ttXY0plusXYU41ttXYU42ttXYU42ttXY1plusXYU51ttXYU52ttXYU52ttXY0plusplusXY1zU61ttABU62ttABU62ttABmultprodAprodBU71ttABU72ttABU72ttABplussumAsumBmultzXzmult0XYU11ttXYmult1XYU21ttXYpluszXXplus0X0YU31ttXYplus0X1YU41ttXYplus1X1YU51ttXYprodempty1zprodsinglXXprodunionABU61ttABsumempty0zsumsinglXXsumunionABU71ttABunion2ACempty001z0U113tt0U123mult2ACU213U223plus2ACU313U323U413U42311U513U523U613U623prod1U713U723sum1singl1FULL./TRS/CSR_Maude/bag-sum-prod/BAG_nosorts-noand.trs