[0x319d142d, 0x607a7c28, 0x526a2794, 0xa6e7864f],
[0x319d142d, 0x607a7c28, 0x526a2794, 0xa6e7864f],
[0xa2008d4c, 0xf4684b3a, 0xecd0526c, 0xf0742a77],
- [0xed26067a, 0x861f385e, 0x3562e478, 0x586d0cb6],
+ [0x5eef6cfd, 0x4eb49f19, 0x4d760b7a, 0x741ccd0c],
[0x0e0529df, 0xf1cc3f03, 0x03986b0d, 0xd2033c08],
- [0x9343a151, 0xc7622835, 0x9edb29c2, 0xd96928fa],
+ [0xdb9aa091, 0xf2c6345c, 0xde9deae8, 0x71f51a67],
[0x22c978cf, 0x6887a9ba, 0xe74c9316, 0x8cbdd29b],
- [0x3ff51b06, 0x1460e151, 0xd8536d37, 0x31121464],
- [0x2912d269, 0x01f00c4b, 0x22f714f8, 0xf81abe8b],
- [0x875be308, 0x390d5b71, 0xe4108ce3, 0x1f39fed4]]));
+ [0x7c83c784, 0x15b20881, 0x74798f24, 0x2096573c],
+ [0x84a68aed, 0x4cfcefb1, 0x78d1b66b, 0x21b1860a],
+ [0x78ed094a, 0x8df72434, 0x58bcd64d, 0x8d725dfd]]));
}
}