unionXemptyXunionemptyXX0zzU101ttV1U102isBagKindV1V1U102ttV1U103isBagV1U103ttttU11ttV1U12isBinKindV1V1U111ttttU12ttV1U13isBinV1U121ttttU13ttttU131ttV2U132isBinKindV2U132ttttU141ttV2U142isBinKindV2U142ttttU151ttttU161ttttU171ttXU172isBinKindXU172ttzU181ttXYU182isBinKindXXYU182ttXYU183isBinYXYU183ttXYU184isBinKindYXYU184ttXY0multXYU191ttXYU192isBinKindXXYU192ttXYU193isBinYXYU193ttXYU194isBinKindYXYU194ttXYplus0multXYYU201ttXU202isBinKindXXU202ttXXU21ttV1V2U22isBagKindV1V1V2U211ttXYU212isBinKindXXYU212ttXYU213isBinYXYU213ttXYU214isBinKindYXYU214ttXY0plusXYU22ttV1V2U23isBagKindV2V1V2U221ttXYU222isBinKindXXYU222ttXYU223isBinYXYU223ttXYU224isBinKindYXYU224ttXY1plusXYU23ttV1V2U24isBagKindV2V1V2U231ttXYU232isBinKindXXYU232ttXYU233isBinYXYU233ttXYU234isBinKindYXYU234ttXY0plusplusXY1zU24ttV1V2U25isBagV1V2U241ttXU242isBinKindXXU242ttXXU25ttV2U26isBagV2U251ttABU252isBagKindAABU252ttABU253isBagBABU253ttABU254isBagKindBABU254ttABmultprodAprodBU26ttttU261ttXU262isBinKindXXU262ttXXU271ttABU272isBagKindAABU272ttABU273isBagBABU273ttABU274isBagKindBABU274ttABplussumAsumBU31ttttU41ttV2U42isBagKindV2U42ttttU51ttV1U52isBinKindV1V1U52ttV1U53isBinV1U53ttttU61ttV1U62isBinKindV1V1U62ttV1U63isBinV1U63ttttU71ttV1V2U72isBinKindV1V1V2U72ttV1V2U73isBinKindV2V1V2U73ttV1V2U74isBinKindV2V1V2U74ttV1V2U75isBinV1V2U75ttV2U76isBinV2U76ttttU81ttV1V2U82isBinKindV1V1V2U82ttV1V2U83isBinKindV2V1V2U83ttV1V2U84isBinKindV2V1V2U84ttV1V2U85isBinV1V2U85ttV2U86isBinV2U86ttttU91ttV1U92isBagKindV1V1U92ttV1U93isBagV1U93ttttisBagemptyttisBagsinglV1U11isBinKindV1V1isBagunionV1V2U21isBagKindV1V1V2isBagKindemptyttisBagKindsinglV1U31isBinKindV1isBagKindunionV1V2U41isBagKindV1V2isBinzttisBin0V1U51isBinKindV1V1isBin1V1U61isBinKindV1V1isBinmultV1V2U71isBinKindV1V1V2isBinplusV1V2U81isBinKindV1V1V2isBinprodV1U91isBagKindV1V1isBinsumV1U101isBagKindV1V1isBinKindzttisBinKind0V1U111isBinKindV1isBinKind1V1U121isBinKindV1isBinKindmultV1V2U131isBinKindV1V2isBinKindplusV1V2U141isBinKindV1V2isBinKindprodV1U151isBagKindV1isBinKindsumV1U161isBagKindV1multzXU171isBinXXmult0XYU181isBinXXYmult1XYU191isBinXXYpluszXU201isBinXXplus0X0YU211isBinXXYplus0X1YU221isBinXXYplus1X1YU231isBinXXYprodempty1zprodsinglXU241isBinXXprodunionABU251isBagAABsumempty0zsumsinglXU261isBinXXsumunionABU271isBagAABunion2ACempty001z0U1012tt0U1022isBagKind1U1031isBag1U112U122isBinKind1U1111U131isBin1U1211U1312U1321U1412U1421U1511U1611U1712U1721U1813U1823U1833U1843mult2ACU1913U1923U1933U1943plus2ACU2012U2022U213U223U2113U2123U2133U2143U233U2213U2223U2233U224311U243U2313U2323U2333U2343U252U2412U2422U261U2513U2523U2533U2543prod1U2612U2622U2713U2723U2733U2743sum1U311U412U421U512U522U531U612U622U631U713U723U733U743U752U761U813U823U833U843U852U861U912U922U931singl1FULL./TRS/CSR_Maude/bag-sum-prod/BAG_complete-noand.trs