1s02s13s24s35s46s57s68s79s8max'0xxmax'sxsysmax'xyappemptyXXmaxsinglxxmaxappsinglxYmax2xYmax2xemptyxmax2xsinglymax'xymax2xappsinglyZmax2max'xyZ10s1002030405060708090max'2Capp2ACempty0max1singl1max22FULL./TRS/AProVE_AC/AC29.trs