0SSplusSxxplus0x0y0plusxyplus0x1y1plusxyplus0xjyjplusxyplus1x1yjplus1Splusxyplusjxjy1plusjSplusxyplus1xjy0plusxyoppSSopp0x0oppxopp1xjoppxoppjx1oppxminusxyplusoppyxtimesSxStimes0xy0timesxytimes1xyplus0timesxyytimesjxyminus0timesxyysignxif_signxSif_signSxxif_sign0xyif_signxyif_sign1xyif_signx1Sif_signjxyif_signxjSabsxif_absxxSif_abs0xyzif_absxyzif_abs1xyzif_absxy1Sif_absjxyzif_absxyjSif_absSxSSif_absSx1Sxif_absSxjSoppxminxyif_minminusabsyabsxxySmin'xyif_minminusabs1yabs1xxySmin''xyif_minminusabsjyabsjxxySif_min0xyzuif_minxyzuif_min1xyzuif_minxyz1Sif_minjxyzuif_minxyzjSif_minSxySxif_minSxy1Sxif_minSxyjSy01S0plus2AC11j1opp1minus2times2ACsign1if_sign2abs1if_abs3min2if_min4min'2min''2FULL./TRS/AProVE_AC/AC21.trs