The top documents tagged [x3 ax2 by2]