- 2713963410U, // <5,4,0,5>: Cost 3 vext3 <4,u,5,5>, <4,0,5,1>
- 2713963420U, // <5,4,0,6>: Cost 3 vext3 <4,u,5,5>, <4,0,6,2>
- 2256737304U, // <5,4,0,7>: Cost 3 vrev <7,0,4,5>
- 1589691037U, // <5,4,0,u>: Cost 2 vext2 <7,6,5,4>, LHS
- 2215592058U, // <5,4,1,0>: Cost 3 vrev <0,1,4,5>
- 2221564755U, // <5,4,1,1>: Cost 3 vrev <1,1,4,5>
- 2663433110U, // <5,4,1,2>: Cost 3 vext2 <7,6,5,4>, <1,2,3,0>
- 2663433176U, // <5,4,1,3>: Cost 3 vext2 <7,6,5,4>, <1,3,1,3>
- 3627502902U, // <5,4,1,4>: Cost 4 vext1 <0,5,4,1>, RHS
+ 2687126418U, // <5,4,0,5>: Cost 3 vext3 <0,4,1,5>, <4,0,5,1>
+ 2242243887U, // <5,4,0,6>: Cost 3 vrev <4,5,6,0>
+ 3316059448U, // <5,4,0,7>: Cost 4 vrev <4,5,7,0>
+ 2636890781U, // <5,4,0,u>: Cost 3 vext2 <3,2,5,4>, LHS
+ 2241809658U, // <5,4,1,0>: Cost 3 vrev <4,5,0,1>
+ 3698025307U, // <5,4,1,1>: Cost 4 vext2 <1,1,5,4>, <1,1,5,4>
+ 3698688940U, // <5,4,1,2>: Cost 4 vext2 <1,2,5,4>, <1,2,5,4>
+ 3698689024U, // <5,4,1,3>: Cost 4 vext2 <1,2,5,4>, <1,3,5,7>
+ 3700016206U, // <5,4,1,4>: Cost 4 vext2 <1,4,5,4>, <1,4,5,4>