| # Expected values (x-, y-, z-coordinate of result): | |
| w11 = 0x592e1828fe28da49f90aede1688474f4f4c68bc0c51666812bf63ea329945969 | |
| w12 = 0x3c57a35821690579a8e27ec0be7a3f100403f120312cf5b879e2f76f790331d7 | |
| w13 = 0x20ee7815f61cb7b460e062016694a5411f852e298f26d449f355e47a9f192e78 |