AX<AY<AZ BX>=BY>=BZ . x6
AX<AY=AZ BX>=BY>BZ . x6
AX=AY<AZ BX>BY>=BZ . x6
AX=AY=AZ BX>BY>BZ . x1