Fix failing "Lower 5" test

I had flipped my definition of omint for ayxb permutation.