| # Expected values (x-, y-, z-coordinates of result): | |
| w25 = 0xb89ab3a5653144bbde19809f8c041d592417c47c798a1333a3dbd2e105e101e2 | |
| w26 = 0x00000000000000000000000000000000103520c6699791fc8442cbea85ed03b4 | |
| w27 = 0x4a2f5605fb42124188b528e5597a081a811cb37702220144ab04587d6f9c1521 | |
| w28 = 0x00000000000000000000000000000000b29ca8ba3f6c2b82859bcf8046c5769b | |
| w29 = 0x2f9731e1883f5baa7d3d7cae88ff2d29d5ca5d208c94d4207bf986ff256d1217 | |
| w30 = 0x000000000000000000000000000000005ffbcc52aae3707a63c630115c735f94 |