[0x4b04dc0e, 0x684533a7, 0x6a4e4b16, 0x0b8a5e68],
[0xa3eb64fc, 0x5e02a31b, 0x6b484eae, 0xbb6e6c49],
[0x7d4ef46e, 0x6761c447, 0x02e002f5, 0x02d0231c]]));
[0x4b04dc0e, 0x684533a7, 0x6a4e4b16, 0x0b8a5e68],
[0xa3eb64fc, 0x5e02a31b, 0x6b484eae, 0xbb6e6c49],
[0x7d4ef46e, 0x6761c447, 0x02e002f5, 0x02d0231c]]));