public byte[] HashFinal(bool isEndOfLayer)
{
if (!this._isInitialized)
{
throw new InvalidOperationException("Not initialized");
}
this._isInitialized = false;
this._counter0 += (uint)this._bufferFilled;
this._finalizationFlag0 = ulong.MaxValue;
if (isEndOfLayer)
{
this._finalizationFlag1 = ulong.MaxValue;
}
for (int i = this._bufferFilled; i < this._buf.Length; i++)
{
this._buf[i] = 0;
}
this.Compress(this._buf, 0);
// Output
byte[] hash = new byte[64];
for (int i = 0; i < 8; ++i)
{
Blake2BCore.UInt64ToBytes(this._h[i], hash, i << 3);
}
return(hash);
}
partial void Compress(byte[] _Block, int _Start)
{
ulong[] h = this._h;
ulong[] m = this._m;
if (BitConverter.IsLittleEndian)
{
Buffer.BlockCopy(_Block, _Start, m, 0, Blake2BCore.BlockSizeInBytes);
}
else
{
for (int i = 0; i < 16; ++i)
{
m[i] = Blake2BCore.BytesToUInt64(_Block, _Start + (i << 3));
}
}
ulong v0 = h[0];
ulong v1 = h[1];
ulong v2 = h[2];
ulong v3 = h[3];
ulong v4 = h[4];
ulong v5 = h[5];
ulong v6 = h[6];
ulong v7 = h[7];
ulong v8 = Blake2BCore.IV0;
ulong v9 = Blake2BCore.IV1;
ulong v10 = Blake2BCore.IV2;
ulong v11 = Blake2BCore.IV3;
ulong v12 = Blake2BCore.IV4 ^ this._counter0;
ulong v13 = Blake2BCore.IV5 ^ this._counter1;
ulong v14 = Blake2BCore.IV6 ^ this._finalizationFlag0;
ulong v15 = Blake2BCore.IV7 ^ this._finalizationFlag1;
v0 = v0 + v4 + m[0];
v12 ^= v0;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v0 = v0 + v4 + m[1];
v12 ^= v0;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// G(0, 1, v1, v5, v9, v13)
v1 = v1 + v5 + m[2];
v13 ^= v1;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v1 = v1 + v5 + m[3];
v13 ^= v1;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(0, 2, v2, v6, v10, v14)
v2 = v2 + v6 + m[4];
v14 ^= v2;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v2 = v2 + v6 + m[5];
v14 ^= v2;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(0, 3, v3, v7, v11, v15)
v3 = v3 + v7 + m[6];
v15 ^= v3;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v3 = v3 + v7 + m[7];
v15 ^= v3;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(0, 4, v0, v5, v10, v15)
v0 = v0 + v5 + m[8];
v15 ^= v0;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v0 = v0 + v5 + m[9];
v15 ^= v0;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(0, 5, v1, v6, v11, v12)
v1 = v1 + v6 + m[10];
v12 ^= v1;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v1 = v1 + v6 + m[11];
v12 ^= v1;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(0, 6, v2, v7, v8, v13)
v2 = v2 + v7 + m[12];
v13 ^= v2;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v2 = v2 + v7 + m[13];
v13 ^= v2;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(0, 7, v3, v4, v9, v14)
v3 = v3 + v4 + m[14];
v14 ^= v3;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v3 = v3 + v4 + m[15];
v14 ^= v3;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// ##### Round(1) ##### G(1, 0, v0, v4, v8, v12)
v0 = v0 + v4 + m[14];
v12 ^= v0;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v0 = v0 + v4 + m[10];
v12 ^= v0;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// G(1, 1, v1, v5, v9, v13)
v1 = v1 + v5 + m[4];
v13 ^= v1;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v1 = v1 + v5 + m[8];
v13 ^= v1;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(1, 2, v2, v6, v10, v14)
v2 = v2 + v6 + m[9];
v14 ^= v2;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v2 = v2 + v6 + m[15];
v14 ^= v2;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(1, 3, v3, v7, v11, v15)
v3 = v3 + v7 + m[13];
v15 ^= v3;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v3 = v3 + v7 + m[6];
v15 ^= v3;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(1, 4, v0, v5, v10, v15)
v0 = v0 + v5 + m[1];
v15 ^= v0;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v0 = v0 + v5 + m[12];
v15 ^= v0;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(1, 5, v1, v6, v11, v12)
v1 = v1 + v6 + m[0];
v12 ^= v1;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v1 = v1 + v6 + m[2];
v12 ^= v1;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(1, 6, v2, v7, v8, v13)
v2 = v2 + v7 + m[11];
v13 ^= v2;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v2 = v2 + v7 + m[7];
v13 ^= v2;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(1, 7, v3, v4, v9, v14)
v3 = v3 + v4 + m[5];
v14 ^= v3;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v3 = v3 + v4 + m[3];
v14 ^= v3;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// ##### Round(2) ##### G(2, 0, v0, v4, v8, v12)
v0 = v0 + v4 + m[11];
v12 ^= v0;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v0 = v0 + v4 + m[8];
v12 ^= v0;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// G(2, 1, v1, v5, v9, v13)
v1 = v1 + v5 + m[12];
v13 ^= v1;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v1 = v1 + v5 + m[0];
v13 ^= v1;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(2, 2, v2, v6, v10, v14)
v2 = v2 + v6 + m[5];
v14 ^= v2;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v2 = v2 + v6 + m[2];
v14 ^= v2;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(2, 3, v3, v7, v11, v15)
v3 = v3 + v7 + m[15];
v15 ^= v3;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v3 = v3 + v7 + m[13];
v15 ^= v3;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(2, 4, v0, v5, v10, v15)
v0 = v0 + v5 + m[10];
v15 ^= v0;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v0 = v0 + v5 + m[14];
v15 ^= v0;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(2, 5, v1, v6, v11, v12)
v1 = v1 + v6 + m[3];
v12 ^= v1;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v1 = v1 + v6 + m[6];
v12 ^= v1;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(2, 6, v2, v7, v8, v13)
v2 = v2 + v7 + m[7];
v13 ^= v2;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v2 = v2 + v7 + m[1];
v13 ^= v2;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(2, 7, v3, v4, v9, v14)
v3 = v3 + v4 + m[9];
v14 ^= v3;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v3 = v3 + v4 + m[4];
v14 ^= v3;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// ##### Round(3) ##### G(3, 0, v0, v4, v8, v12)
v0 = v0 + v4 + m[7];
v12 ^= v0;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v0 = v0 + v4 + m[9];
v12 ^= v0;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// G(3, 1, v1, v5, v9, v13)
v1 = v1 + v5 + m[3];
v13 ^= v1;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v1 = v1 + v5 + m[1];
v13 ^= v1;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(3, 2, v2, v6, v10, v14)
v2 = v2 + v6 + m[13];
v14 ^= v2;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v2 = v2 + v6 + m[12];
v14 ^= v2;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(3, 3, v3, v7, v11, v15)
v3 = v3 + v7 + m[11];
v15 ^= v3;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v3 = v3 + v7 + m[14];
v15 ^= v3;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(3, 4, v0, v5, v10, v15)
v0 = v0 + v5 + m[2];
v15 ^= v0;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v0 = v0 + v5 + m[6];
v15 ^= v0;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(3, 5, v1, v6, v11, v12)
v1 = v1 + v6 + m[5];
v12 ^= v1;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v1 = v1 + v6 + m[10];
v12 ^= v1;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(3, 6, v2, v7, v8, v13)
v2 = v2 + v7 + m[4];
v13 ^= v2;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v2 = v2 + v7 + m[0];
v13 ^= v2;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(3, 7, v3, v4, v9, v14)
v3 = v3 + v4 + m[15];
v14 ^= v3;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v3 = v3 + v4 + m[8];
v14 ^= v3;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// ##### Round(4) ##### G(4, 0, v0, v4, v8, v12)
v0 = v0 + v4 + m[9];
v12 ^= v0;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v0 = v0 + v4 + m[0];
v12 ^= v0;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// G(4, 1, v1, v5, v9, v13)
v1 = v1 + v5 + m[5];
v13 ^= v1;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v1 = v1 + v5 + m[7];
v13 ^= v1;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(4, 2, v2, v6, v10, v14)
v2 = v2 + v6 + m[2];
v14 ^= v2;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v2 = v2 + v6 + m[4];
v14 ^= v2;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(4, 3, v3, v7, v11, v15)
v3 = v3 + v7 + m[10];
v15 ^= v3;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v3 = v3 + v7 + m[15];
v15 ^= v3;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(4, 4, v0, v5, v10, v15)
v0 = v0 + v5 + m[14];
v15 ^= v0;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v0 = v0 + v5 + m[1];
v15 ^= v0;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(4, 5, v1, v6, v11, v12)
v1 = v1 + v6 + m[11];
v12 ^= v1;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v1 = v1 + v6 + m[12];
v12 ^= v1;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(4, 6, v2, v7, v8, v13)
v2 = v2 + v7 + m[6];
v13 ^= v2;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v2 = v2 + v7 + m[8];
v13 ^= v2;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(4, 7, v3, v4, v9, v14)
v3 = v3 + v4 + m[3];
v14 ^= v3;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v3 = v3 + v4 + m[13];
v14 ^= v3;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// ##### Round(5) ##### G(5, 0, v0, v4, v8, v12)
v0 = v0 + v4 + m[2];
v12 ^= v0;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v0 = v0 + v4 + m[12];
v12 ^= v0;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// G(5, 1, v1, v5, v9, v13)
v1 = v1 + v5 + m[6];
v13 ^= v1;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v1 = v1 + v5 + m[10];
v13 ^= v1;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(5, 2, v2, v6, v10, v14)
v2 = v2 + v6 + m[0];
v14 ^= v2;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v2 = v2 + v6 + m[11];
v14 ^= v2;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(5, 3, v3, v7, v11, v15)
v3 = v3 + v7 + m[8];
v15 ^= v3;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v3 = v3 + v7 + m[3];
v15 ^= v3;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(5, 4, v0, v5, v10, v15)
v0 = v0 + v5 + m[4];
v15 ^= v0;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v0 = v0 + v5 + m[13];
v15 ^= v0;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(5, 5, v1, v6, v11, v12)
v1 = v1 + v6 + m[7];
v12 ^= v1;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v1 = v1 + v6 + m[5];
v12 ^= v1;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(5, 6, v2, v7, v8, v13)
v2 = v2 + v7 + m[15];
v13 ^= v2;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v2 = v2 + v7 + m[14];
v13 ^= v2;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(5, 7, v3, v4, v9, v14)
v3 = v3 + v4 + m[1];
v14 ^= v3;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v3 = v3 + v4 + m[9];
v14 ^= v3;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// ##### Round(6) ##### G(6, 0, v0, v4, v8, v12)
v0 = v0 + v4 + m[12];
v12 ^= v0;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v0 = v0 + v4 + m[5];
v12 ^= v0;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// G(6, 1, v1, v5, v9, v13)
v1 = v1 + v5 + m[1];
v13 ^= v1;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v1 = v1 + v5 + m[15];
v13 ^= v1;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(6, 2, v2, v6, v10, v14)
v2 = v2 + v6 + m[14];
v14 ^= v2;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v2 = v2 + v6 + m[13];
v14 ^= v2;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(6, 3, v3, v7, v11, v15)
v3 = v3 + v7 + m[4];
v15 ^= v3;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v3 = v3 + v7 + m[10];
v15 ^= v3;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(6, 4, v0, v5, v10, v15)
v0 = v0 + v5 + m[0];
v15 ^= v0;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v0 = v0 + v5 + m[7];
v15 ^= v0;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(6, 5, v1, v6, v11, v12)
v1 = v1 + v6 + m[6];
v12 ^= v1;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v1 = v1 + v6 + m[3];
v12 ^= v1;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(6, 6, v2, v7, v8, v13)
v2 = v2 + v7 + m[9];
v13 ^= v2;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v2 = v2 + v7 + m[2];
v13 ^= v2;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(6, 7, v3, v4, v9, v14)
v3 = v3 + v4 + m[8];
v14 ^= v3;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v3 = v3 + v4 + m[11];
v14 ^= v3;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// ##### Round(7) ##### G(7, 0, v0, v4, v8, v12)
v0 = v0 + v4 + m[13];
v12 ^= v0;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v0 = v0 + v4 + m[11];
v12 ^= v0;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// G(7, 1, v1, v5, v9, v13)
v1 = v1 + v5 + m[7];
v13 ^= v1;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v1 = v1 + v5 + m[14];
v13 ^= v1;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(7, 2, v2, v6, v10, v14)
v2 = v2 + v6 + m[12];
v14 ^= v2;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v2 = v2 + v6 + m[1];
v14 ^= v2;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(7, 3, v3, v7, v11, v15)
v3 = v3 + v7 + m[3];
v15 ^= v3;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v3 = v3 + v7 + m[9];
v15 ^= v3;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(7, 4, v0, v5, v10, v15)
v0 = v0 + v5 + m[5];
v15 ^= v0;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v0 = v0 + v5 + m[0];
v15 ^= v0;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(7, 5, v1, v6, v11, v12)
v1 = v1 + v6 + m[15];
v12 ^= v1;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v1 = v1 + v6 + m[4];
v12 ^= v1;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(7, 6, v2, v7, v8, v13)
v2 = v2 + v7 + m[8];
v13 ^= v2;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v2 = v2 + v7 + m[6];
v13 ^= v2;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(7, 7, v3, v4, v9, v14)
v3 = v3 + v4 + m[2];
v14 ^= v3;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v3 = v3 + v4 + m[10];
v14 ^= v3;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// ##### Round(8) ##### G(8, 0, v0, v4, v8, v12)
v0 = v0 + v4 + m[6];
v12 ^= v0;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v0 = v0 + v4 + m[15];
v12 ^= v0;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// G(8, 1, v1, v5, v9, v13)
v1 = v1 + v5 + m[14];
v13 ^= v1;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v1 = v1 + v5 + m[9];
v13 ^= v1;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(8, 2, v2, v6, v10, v14)
v2 = v2 + v6 + m[11];
v14 ^= v2;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v2 = v2 + v6 + m[3];
v14 ^= v2;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(8, 3, v3, v7, v11, v15)
v3 = v3 + v7 + m[0];
v15 ^= v3;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v3 = v3 + v7 + m[8];
v15 ^= v3;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(8, 4, v0, v5, v10, v15)
v0 = v0 + v5 + m[12];
v15 ^= v0;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v0 = v0 + v5 + m[2];
v15 ^= v0;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(8, 5, v1, v6, v11, v12)
v1 = v1 + v6 + m[13];
v12 ^= v1;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v1 = v1 + v6 + m[7];
v12 ^= v1;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(8, 6, v2, v7, v8, v13)
v2 = v2 + v7 + m[1];
v13 ^= v2;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v2 = v2 + v7 + m[4];
v13 ^= v2;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(8, 7, v3, v4, v9, v14)
v3 = v3 + v4 + m[10];
v14 ^= v3;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v3 = v3 + v4 + m[5];
v14 ^= v3;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// ##### Round(9) ##### G(9, 0, v0, v4, v8, v12)
v0 = v0 + v4 + m[10];
v12 ^= v0;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v0 = v0 + v4 + m[2];
v12 ^= v0;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// G(9, 1, v1, v5, v9, v13)
v1 = v1 + v5 + m[8];
v13 ^= v1;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v1 = v1 + v5 + m[4];
v13 ^= v1;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(9, 2, v2, v6, v10, v14)
v2 = v2 + v6 + m[7];
v14 ^= v2;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v2 = v2 + v6 + m[6];
v14 ^= v2;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(9, 3, v3, v7, v11, v15)
v3 = v3 + v7 + m[1];
v15 ^= v3;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v3 = v3 + v7 + m[5];
v15 ^= v3;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(9, 4, v0, v5, v10, v15)
v0 = v0 + v5 + m[15];
v15 ^= v0;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v0 = v0 + v5 + m[11];
v15 ^= v0;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(9, 5, v1, v6, v11, v12)
v1 = v1 + v6 + m[9];
v12 ^= v1;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v1 = v1 + v6 + m[14];
v12 ^= v1;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(9, 6, v2, v7, v8, v13)
v2 = v2 + v7 + m[3];
v13 ^= v2;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v2 = v2 + v7 + m[12];
v13 ^= v2;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(9, 7, v3, v4, v9, v14)
v3 = v3 + v4 + m[13];
v14 ^= v3;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v3 = v3 + v4 + m[0];
v14 ^= v3;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// ##### Round(10) ##### G(10, 0, v0, v4, v8, v12)
v0 = v0 + v4 + m[0];
v12 ^= v0;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v0 = v0 + v4 + m[1];
v12 ^= v0;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// G(10, 1, v1, v5, v9, v13)
v1 = v1 + v5 + m[2];
v13 ^= v1;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v1 = v1 + v5 + m[3];
v13 ^= v1;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(10, 2, v2, v6, v10, v14)
v2 = v2 + v6 + m[4];
v14 ^= v2;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v2 = v2 + v6 + m[5];
v14 ^= v2;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(10, 3, v3, v7, v11, v15)
v3 = v3 + v7 + m[6];
v15 ^= v3;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v3 = v3 + v7 + m[7];
v15 ^= v3;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(10, 4, v0, v5, v10, v15)
v0 = v0 + v5 + m[8];
v15 ^= v0;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v0 = v0 + v5 + m[9];
v15 ^= v0;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(10, 5, v1, v6, v11, v12)
v1 = v1 + v6 + m[10];
v12 ^= v1;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v1 = v1 + v6 + m[11];
v12 ^= v1;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(10, 6, v2, v7, v8, v13)
v2 = v2 + v7 + m[12];
v13 ^= v2;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v2 = v2 + v7 + m[13];
v13 ^= v2;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(10, 7, v3, v4, v9, v14)
v3 = v3 + v4 + m[14];
v14 ^= v3;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v3 = v3 + v4 + m[15];
v14 ^= v3;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// ##### Round(11) ##### G(11, 0, v0, v4, v8, v12)
v0 = v0 + v4 + m[14];
v12 ^= v0;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v0 = v0 + v4 + m[10];
v12 ^= v0;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v8 = v8 + v12;
v4 ^= v8;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// G(11, 1, v1, v5, v9, v13)
v1 = v1 + v5 + m[4];
v13 ^= v1;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v1 = v1 + v5 + m[8];
v13 ^= v1;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v9 = v9 + v13;
v5 ^= v9;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(11, 2, v2, v6, v10, v14)
v2 = v2 + v6 + m[9];
v14 ^= v2;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v2 = v2 + v6 + m[15];
v14 ^= v2;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v10 = v10 + v14;
v6 ^= v10;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(11, 3, v3, v7, v11, v15)
v3 = v3 + v7 + m[13];
v15 ^= v3;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v3 = v3 + v7 + m[6];
v15 ^= v3;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v11 = v11 + v15;
v7 ^= v11;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(11, 4, v0, v5, v10, v15)
v0 = v0 + v5 + m[1];
v15 ^= v0;
v15 = (v15 >> 32) | (v15 << (64 - 32));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 24) | (v5 << (64 - 24));
v0 = v0 + v5 + m[12];
v15 ^= v0;
v15 = (v15 >> 16) | (v15 << (64 - 16));
v10 = v10 + v15;
v5 ^= v10;
v5 = (v5 >> 63) | (v5 << (64 - 63));
// G(11, 5, v1, v6, v11, v12)
v1 = v1 + v6 + m[0];
v12 ^= v1;
v12 = (v12 >> 32) | (v12 << (64 - 32));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 24) | (v6 << (64 - 24));
v1 = v1 + v6 + m[2];
v12 ^= v1;
v12 = (v12 >> 16) | (v12 << (64 - 16));
v11 = v11 + v12;
v6 ^= v11;
v6 = (v6 >> 63) | (v6 << (64 - 63));
// G(11, 6, v2, v7, v8, v13)
v2 = v2 + v7 + m[11];
v13 ^= v2;
v13 = (v13 >> 32) | (v13 << (64 - 32));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 24) | (v7 << (64 - 24));
v2 = v2 + v7 + m[7];
v13 ^= v2;
v13 = (v13 >> 16) | (v13 << (64 - 16));
v8 = v8 + v13;
v7 ^= v8;
v7 = (v7 >> 63) | (v7 << (64 - 63));
// G(11, 7, v3, v4, v9, v14)
v3 = v3 + v4 + m[5];
v14 ^= v3;
v14 = (v14 >> 32) | (v14 << (64 - 32));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 24) | (v4 << (64 - 24));
v3 = v3 + v4 + m[3];
v14 ^= v3;
v14 = (v14 >> 16) | (v14 << (64 - 16));
v9 = v9 + v14;
v4 ^= v9;
v4 = (v4 >> 63) | (v4 << (64 - 63));
// Finalization
h[0] ^= v0 ^ v8;
h[1] ^= v1 ^ v9;
h[2] ^= v2 ^ v10;
h[3] ^= v3 ^ v11;
h[4] ^= v4 ^ v12;
h[5] ^= v5 ^ v13;
h[6] ^= v6 ^ v14;
h[7] ^= v7 ^ v15;
}
