unionemptyXXmaxsinglxxmaxunionsinglxsingl0xmaxunionsinglsxsinglsysmaxunionsinglxsinglymaxunionsinglxunionYZmaxunionsinglxsinglmaxunionYZunion2ACempty0max1singl100s1FULL./TRS/AProVE_AC/AC28.trs