- 3893661392U, // <5,7,0,0>: Cost 4 vuzpr <0,2,0,2>, <5,1,7,3>
- 2645540966U, // <5,7,0,1>: Cost 3 vext2 <4,6,5,7>, LHS
- 2819452624U, // <5,7,0,2>: Cost 3 vuzpr LHS, <5,1,7,3>
- 3645631071U, // <5,7,0,3>: Cost 4 vext1 <3,5,7,0>, <3,5,7,0>
- 2726499352U, // <5,7,0,4>: Cost 3 vext3 <7,0,4,5>, <7,0,4,5>
- 3645632208U, // <5,7,0,5>: Cost 4 vext1 <3,5,7,0>, <5,1,7,3>
- 3663549162U, // <5,7,0,6>: Cost 4 vext1 <6,5,7,0>, <6,5,7,0>
- 3657577466U, // <5,7,0,7>: Cost 4 vext1 <5,5,7,0>, <7,0,1,2>
- 2819854032U, // <5,7,0,u>: Cost 3 vuzpr LHS, <5,1,7,3>
- 2589810790U, // <5,7,1,0>: Cost 3 vext1 <6,5,7,1>, LHS
- 3899035344U, // <5,7,1,1>: Cost 4 vuzpr <1,1,1,1>, <5,1,7,3>
- 3719283606U, // <5,7,1,2>: Cost 4 vext2 <4,6,5,7>, <1,2,3,0>
- 3898527440U, // <5,7,1,3>: Cost 4 vuzpr <1,0,3,2>, <5,1,7,3>
- 2589813650U, // <5,7,1,4>: Cost 3 vext1 <6,5,7,1>, <4,0,5,1>
- 3719283856U, // <5,7,1,5>: Cost 4 vext2 <4,6,5,7>, <1,5,3,7>
- 2589815531U, // <5,7,1,6>: Cost 3 vext1 <6,5,7,1>, <6,5,7,1>
- 3993176978U, // <5,7,1,7>: Cost 4 vzipl <5,5,7,7>, <4,0,5,1>
- 2589816622U, // <5,7,1,u>: Cost 3 vext1 <6,5,7,1>, LHS
- 3906260688U, // <5,7,2,0>: Cost 4 vuzpr <2,3,0,1>, <5,1,7,3>
- 3904351952U, // <5,7,2,1>: Cost 5 vuzpr <2,0,1,2>, <5,1,7,3>
- 3905752784U, // <5,7,2,2>: Cost 4 vuzpr <2,2,2,2>, <5,1,7,3>
- 2645542606U, // <5,7,2,3>: Cost 3 vext2 <4,6,5,7>, <2,3,4,5>
- 3906588368U, // <5,7,2,4>: Cost 4 vuzpr <2,3,4,5>, <5,1,7,3>
- 3906629328U, // <5,7,2,5>: Cost 4 vuzpr <2,3,5,1>, <5,1,7,3>
- 3719284666U, // <5,7,2,6>: Cost 4 vext2 <4,6,5,7>, <2,6,3,7>
- 3725920263U, // <5,7,2,7>: Cost 4 vext2 <5,7,5,7>, <2,7,3,3>
- 2645542606U, // <5,7,2,u>: Cost 3 vext2 <4,6,5,7>, <2,3,4,5>
- 3719284886U, // <5,7,3,0>: Cost 4 vext2 <4,6,5,7>, <3,0,1,2>
- 3910323920U, // <5,7,3,1>: Cost 4 vuzpr <3,0,1,2>, <5,1,7,3>
- 3719285068U, // <5,7,3,2>: Cost 4 vext2 <4,6,5,7>, <3,2,3,4>
- 3912470224U, // <5,7,3,3>: Cost 4 vuzpr <3,3,3,3>, <5,1,7,3>
- 2728490251U, // <5,7,3,4>: Cost 3 vext3 <7,3,4,5>, <7,3,4,5>
- 2638907988U, // <5,7,3,5>: Cost 3 vext2 <3,5,5,7>, <3,5,5,7>
- 3796776218U, // <5,7,3,6>: Cost 4 vext3 <6,4,2,5>, <7,3,6,2>
- 3802453286U, // <5,7,3,7>: Cost 4 vext3 <7,3,7,5>, <7,3,7,5>
- 2728785199U, // <5,7,3,u>: Cost 3 vext3 <7,3,u,5>, <7,3,u,5>
- 2728858936U, // <5,7,4,0>: Cost 3 vext3 <7,4,0,5>, <7,4,0,5>
- 3802674497U, // <5,7,4,1>: Cost 4 vext3 <7,4,1,5>, <7,4,1,5>
- 3719285814U, // <5,7,4,2>: Cost 4 vext2 <4,6,5,7>, <4,2,5,3>
- 3802821971U, // <5,7,4,3>: Cost 4 vext3 <7,4,3,5>, <7,4,3,5>
- 2652843226U, // <5,7,4,4>: Cost 3 vext2 <5,u,5,7>, <4,4,5,5>
- 2645544246U, // <5,7,4,5>: Cost 3 vext2 <4,6,5,7>, RHS
- 2846281424U, // <5,7,4,6>: Cost 3 vuzpr RHS, <5,1,7,3>
- 2729375095U, // <5,7,4,7>: Cost 3 vext3 <7,4,7,5>, <7,4,7,5>
- 2846428880U, // <5,7,4,u>: Cost 3 vuzpr RHS, <5,1,7,3>
- 2589843558U, // <5,7,5,0>: Cost 3 vext1 <6,5,7,5>, LHS
+ 2625634304U, // <5,7,0,0>: Cost 3 vext2 <1,3,5,7>, <0,0,0,0>
+ 1551892582U, // <5,7,0,1>: Cost 2 vext2 <1,3,5,7>, LHS
+ 2625634468U, // <5,7,0,2>: Cost 3 vext2 <1,3,5,7>, <0,2,0,2>
+ 2571889247U, // <5,7,0,3>: Cost 3 vext1 <3,5,7,0>, <3,5,7,0>
+ 2625634642U, // <5,7,0,4>: Cost 3 vext2 <1,3,5,7>, <0,4,1,5>
+ 2595778728U, // <5,7,0,5>: Cost 3 vext1 <7,5,7,0>, <5,7,5,7>
+ 3699376639U, // <5,7,0,6>: Cost 4 vext2 <1,3,5,7>, <0,6,2,7>
+ 2260235715U, // <5,7,0,7>: Cost 3 vrev <7,5,7,0>
+ 1551893149U, // <5,7,0,u>: Cost 2 vext2 <1,3,5,7>, LHS
+ 2625635062U, // <5,7,1,0>: Cost 3 vext2 <1,3,5,7>, <1,0,3,2>
+ 2624308020U, // <5,7,1,1>: Cost 3 vext2 <1,1,5,7>, <1,1,1,1>
+ 2625635222U, // <5,7,1,2>: Cost 3 vext2 <1,3,5,7>, <1,2,3,0>
+ 1551893504U, // <5,7,1,3>: Cost 2 vext2 <1,3,5,7>, <1,3,5,7>
+ 2571898166U, // <5,7,1,4>: Cost 3 vext1 <3,5,7,1>, RHS
+ 2625635472U, // <5,7,1,5>: Cost 3 vext2 <1,3,5,7>, <1,5,3,7>
+ 2627626227U, // <5,7,1,6>: Cost 3 vext2 <1,6,5,7>, <1,6,5,7>
+ 3702031684U, // <5,7,1,7>: Cost 4 vext2 <1,7,5,7>, <1,7,5,7>
+ 1555211669U, // <5,7,1,u>: Cost 2 vext2 <1,u,5,7>, <1,u,5,7>
+ 2629617126U, // <5,7,2,0>: Cost 3 vext2 <2,0,5,7>, <2,0,5,7>
+ 3699377670U, // <5,7,2,1>: Cost 4 vext2 <1,3,5,7>, <2,1,0,3>
+ 2625635944U, // <5,7,2,2>: Cost 3 vext2 <1,3,5,7>, <2,2,2,2>
+ 2625636006U, // <5,7,2,3>: Cost 3 vext2 <1,3,5,7>, <2,3,0,1>
+ 2632271658U, // <5,7,2,4>: Cost 3 vext2 <2,4,5,7>, <2,4,5,7>
+ 2625636201U, // <5,7,2,5>: Cost 3 vext2 <1,3,5,7>, <2,5,3,7>
+ 2625636282U, // <5,7,2,6>: Cost 3 vext2 <1,3,5,7>, <2,6,3,7>
+ 3708004381U, // <5,7,2,7>: Cost 4 vext2 <2,7,5,7>, <2,7,5,7>
+ 2625636411U, // <5,7,2,u>: Cost 3 vext2 <1,3,5,7>, <2,u,0,1>
+ 2625636502U, // <5,7,3,0>: Cost 3 vext2 <1,3,5,7>, <3,0,1,2>
+ 2625636604U, // <5,7,3,1>: Cost 3 vext2 <1,3,5,7>, <3,1,3,5>
+ 3699378478U, // <5,7,3,2>: Cost 4 vext2 <1,3,5,7>, <3,2,0,1>
+ 2625636764U, // <5,7,3,3>: Cost 3 vext2 <1,3,5,7>, <3,3,3,3>
+ 2625636866U, // <5,7,3,4>: Cost 3 vext2 <1,3,5,7>, <3,4,5,6>
+ 2625636959U, // <5,7,3,5>: Cost 3 vext2 <1,3,5,7>, <3,5,7,0>
+ 3699378808U, // <5,7,3,6>: Cost 4 vext2 <1,3,5,7>, <3,6,0,7>
+ 2640235254U, // <5,7,3,7>: Cost 3 vext2 <3,7,5,7>, <3,7,5,7>
+ 2625637150U, // <5,7,3,u>: Cost 3 vext2 <1,3,5,7>, <3,u,1,2>
+ 2571919462U, // <5,7,4,0>: Cost 3 vext1 <3,5,7,4>, LHS
+ 2571920384U, // <5,7,4,1>: Cost 3 vext1 <3,5,7,4>, <1,3,5,7>
+ 3699379260U, // <5,7,4,2>: Cost 4 vext2 <1,3,5,7>, <4,2,6,0>
+ 2571922019U, // <5,7,4,3>: Cost 3 vext1 <3,5,7,4>, <3,5,7,4>
+ 2571922742U, // <5,7,4,4>: Cost 3 vext1 <3,5,7,4>, RHS
+ 1551895862U, // <5,7,4,5>: Cost 2 vext2 <1,3,5,7>, RHS
+ 2846277980U, // <5,7,4,6>: Cost 3 vuzpr RHS, <0,4,2,6>
+ 2646207951U, // <5,7,4,7>: Cost 3 vext2 <4,7,5,7>, <4,7,5,7>
+ 1551896105U, // <5,7,4,u>: Cost 2 vext2 <1,3,5,7>, RHS
+ 2583871590U, // <5,7,5,0>: Cost 3 vext1 <5,5,7,5>, LHS