a__p00a__psXmarkXa__leq0Ytruea__leqsX0falsea__leqsXsYa__leqmarkXmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__diffXYa__ifa__leqmarkXmarkY0sdiffpXYmarkpXa__pmarkXmarkleqX1X2a__leqmarkX1markX2markifX1X2X3a__ifmarkX1X2X3markdiffX1X2a__diffmarkX1markX2mark00marksXsmarkXmarktruetruemarkfalsefalsea__pXpXa__leqX1X2leqX1X2a__ifX1X2X3ifX1X2X3a__diffX1X2diffX1X2a__psXmarkXa__leqsXsYmarkYa__leqsXsYmarkXa__leqsXsYa__leqmarkXmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__diffXYmarkYa__diffXYmarkXa__diffXYa__leqmarkXmarkYa__diffXYa__ifa__leqmarkXmarkY0sdiffpXYmarkpXmarkXmarkpXa__pmarkXmarkleqX1X2markX2markleqX1X2markX1markleqX1X2a__leqmarkX1markX2markifX1X2X3markX1markifX1X2X3a__ifmarkX1X2X3markdiffX1X2markX2markdiffX1X2markX1markdiffX1X2a__diffmarkX1markX2marksXmarkXtrue