#include <stdint.h>
#include <verse.h>
#define XOR ^
void verse_blake2b_c_portable_iter(uint64_t(*bPtr)[16],
				   uint64_t cTr, uint64_t(*v0),
				   uint64_t(*v1), uint64_t v2[8])
{
	auto uint64_t v3;
	auto uint64_t v4;
	auto uint64_t v5;
	auto uint64_t v6;
	auto uint64_t v7;
	auto uint64_t v8;
	auto uint64_t v9;
	auto uint64_t v10;
	auto uint64_t v11;
	auto uint64_t v12;
	auto uint64_t v13;
	auto uint64_t v14;
	auto uint64_t v15;
	auto uint64_t v16;
	auto uint64_t v17;
	auto uint64_t v18;
	auto uint64_t v19;
	auto uint64_t v20;
	auto uint64_t v21;
	auto uint64_t v22;
	auto uint64_t v23;
	auto uint64_t v24;
	auto uint64_t v25;
	auto uint64_t v26;
	auto uint64_t v27;
	auto uint64_t v28;
	auto uint64_t v29;
	auto uint64_t v30;
	auto uint64_t v31;
	auto uint64_t v32;
	auto uint64_t v33;
	auto uint64_t v34;
	auto uint64_t v35;
	auto uint64_t v36;
	auto uint64_t v37;
	auto uint64_t v38;
	auto uint64_t v39;
	auto uint64_t v40;
	auto uint64_t v41;
	auto uint64_t v42;
	auto uint64_t v43;
	auto uint64_t v44;
	auto uint64_t v45;
	auto uint64_t v46;
	v45 = *v0;
	v46 = *v1;
	v3 = v2[0];
	v4 = v2[1];
	v5 = v2[2];
	v6 = v2[3];
	v7 = v2[4];
	v8 = v2[5];
	v9 = v2[6];
	v10 = v2[7];
	while (cTr > 0) {
		v44 = v46;
		v44 >>= 63;
		v43 = v46 & 0x7fffffffffffffffULL;
		v43 += 0x0000000000000080ULL;
		v43 >>= 63;
		v43 += v44;
		v43 >>= 1;
		v45 += v43;
		v46 += 0x0000000000000080ULL;
		v27 = v3;
		v31 = v4;
		v35 = v5;
		v39 = v6;
		v28 = v7;
		v32 = v8;
		v36 = v9;
		v40 = v10;
		v29 = 0x6a09e667f3bcc908ULL;
		v33 = 0xbb67ae8584caa73bULL;
		v37 = 0x3c6ef372fe94f82bULL;
		v41 = 0xa54ff53a5f1d36f1ULL;
		v30 = 0x510e527fade682d1ULL XOR v46;
		v34 = 0x9b05688c2b3e6c1fULL XOR v45;
		v38 = 0x1f83d9abfb41bd6bULL;
		v42 = 0x5be0cd19137e2179ULL;
		v11 = verse_from_le64((*bPtr)[0]);
		v12 = verse_from_le64((*bPtr)[1]);
		v13 = verse_from_le64((*bPtr)[2]);
		v14 = verse_from_le64((*bPtr)[3]);
		v15 = verse_from_le64((*bPtr)[4]);
		v16 = verse_from_le64((*bPtr)[5]);
		v17 = verse_from_le64((*bPtr)[6]);
		v18 = verse_from_le64((*bPtr)[7]);
		v19 = verse_from_le64((*bPtr)[8]);
		v20 = verse_from_le64((*bPtr)[9]);
		v21 = verse_from_le64((*bPtr)[10]);
		v22 = verse_from_le64((*bPtr)[11]);
		v23 = verse_from_le64((*bPtr)[12]);
		v24 = verse_from_le64((*bPtr)[13]);
		v25 = verse_from_le64((*bPtr)[14]);
		v26 = verse_from_le64((*bPtr)[15]);
		v27 += v28;
		v27 += v11;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 32);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 24);
		v27 += v28;
		v27 += v12;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 16);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 63);
		v31 += v32;
		v31 += v13;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 32);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 24);
		v31 += v32;
		v31 += v14;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 16);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 63);
		v35 += v36;
		v35 += v15;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 32);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 24);
		v35 += v36;
		v35 += v16;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 16);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 63);
		v39 += v40;
		v39 += v17;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 32);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 24);
		v39 += v40;
		v39 += v18;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 16);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 63);
		v27 += v32;
		v27 += v19;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 32);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 24);
		v27 += v32;
		v27 += v20;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 16);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 63);
		v31 += v36;
		v31 += v21;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 32);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 24);
		v31 += v36;
		v31 += v22;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 16);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 63);
		v35 += v40;
		v35 += v23;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 32);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 24);
		v35 += v40;
		v35 += v24;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 16);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 63);
		v39 += v28;
		v39 += v25;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 32);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 24);
		v39 += v28;
		v39 += v26;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 16);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 63);
		v27 += v28;
		v27 += v25;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 32);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 24);
		v27 += v28;
		v27 += v21;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 16);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 63);
		v31 += v32;
		v31 += v15;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 32);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 24);
		v31 += v32;
		v31 += v19;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 16);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 63);
		v35 += v36;
		v35 += v20;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 32);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 24);
		v35 += v36;
		v35 += v26;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 16);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 63);
		v39 += v40;
		v39 += v24;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 32);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 24);
		v39 += v40;
		v39 += v17;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 16);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 63);
		v27 += v32;
		v27 += v12;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 32);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 24);
		v27 += v32;
		v27 += v23;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 16);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 63);
		v31 += v36;
		v31 += v11;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 32);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 24);
		v31 += v36;
		v31 += v13;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 16);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 63);
		v35 += v40;
		v35 += v22;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 32);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 24);
		v35 += v40;
		v35 += v18;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 16);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 63);
		v39 += v28;
		v39 += v16;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 32);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 24);
		v39 += v28;
		v39 += v14;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 16);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 63);
		v27 += v28;
		v27 += v22;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 32);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 24);
		v27 += v28;
		v27 += v19;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 16);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 63);
		v31 += v32;
		v31 += v23;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 32);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 24);
		v31 += v32;
		v31 += v11;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 16);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 63);
		v35 += v36;
		v35 += v16;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 32);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 24);
		v35 += v36;
		v35 += v13;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 16);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 63);
		v39 += v40;
		v39 += v26;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 32);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 24);
		v39 += v40;
		v39 += v24;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 16);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 63);
		v27 += v32;
		v27 += v21;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 32);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 24);
		v27 += v32;
		v27 += v25;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 16);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 63);
		v31 += v36;
		v31 += v14;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 32);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 24);
		v31 += v36;
		v31 += v17;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 16);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 63);
		v35 += v40;
		v35 += v18;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 32);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 24);
		v35 += v40;
		v35 += v12;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 16);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 63);
		v39 += v28;
		v39 += v20;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 32);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 24);
		v39 += v28;
		v39 += v15;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 16);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 63);
		v27 += v28;
		v27 += v18;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 32);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 24);
		v27 += v28;
		v27 += v20;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 16);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 63);
		v31 += v32;
		v31 += v14;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 32);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 24);
		v31 += v32;
		v31 += v12;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 16);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 63);
		v35 += v36;
		v35 += v24;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 32);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 24);
		v35 += v36;
		v35 += v23;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 16);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 63);
		v39 += v40;
		v39 += v22;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 32);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 24);
		v39 += v40;
		v39 += v25;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 16);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 63);
		v27 += v32;
		v27 += v13;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 32);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 24);
		v27 += v32;
		v27 += v17;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 16);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 63);
		v31 += v36;
		v31 += v16;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 32);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 24);
		v31 += v36;
		v31 += v21;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 16);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 63);
		v35 += v40;
		v35 += v15;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 32);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 24);
		v35 += v40;
		v35 += v11;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 16);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 63);
		v39 += v28;
		v39 += v26;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 32);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 24);
		v39 += v28;
		v39 += v19;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 16);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 63);
		v27 += v28;
		v27 += v20;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 32);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 24);
		v27 += v28;
		v27 += v11;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 16);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 63);
		v31 += v32;
		v31 += v16;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 32);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 24);
		v31 += v32;
		v31 += v18;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 16);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 63);
		v35 += v36;
		v35 += v13;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 32);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 24);
		v35 += v36;
		v35 += v15;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 16);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 63);
		v39 += v40;
		v39 += v21;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 32);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 24);
		v39 += v40;
		v39 += v26;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 16);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 63);
		v27 += v32;
		v27 += v25;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 32);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 24);
		v27 += v32;
		v27 += v12;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 16);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 63);
		v31 += v36;
		v31 += v22;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 32);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 24);
		v31 += v36;
		v31 += v23;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 16);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 63);
		v35 += v40;
		v35 += v17;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 32);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 24);
		v35 += v40;
		v35 += v19;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 16);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 63);
		v39 += v28;
		v39 += v14;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 32);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 24);
		v39 += v28;
		v39 += v24;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 16);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 63);
		v27 += v28;
		v27 += v13;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 32);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 24);
		v27 += v28;
		v27 += v23;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 16);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 63);
		v31 += v32;
		v31 += v17;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 32);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 24);
		v31 += v32;
		v31 += v21;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 16);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 63);
		v35 += v36;
		v35 += v11;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 32);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 24);
		v35 += v36;
		v35 += v22;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 16);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 63);
		v39 += v40;
		v39 += v19;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 32);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 24);
		v39 += v40;
		v39 += v14;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 16);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 63);
		v27 += v32;
		v27 += v15;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 32);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 24);
		v27 += v32;
		v27 += v24;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 16);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 63);
		v31 += v36;
		v31 += v18;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 32);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 24);
		v31 += v36;
		v31 += v16;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 16);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 63);
		v35 += v40;
		v35 += v26;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 32);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 24);
		v35 += v40;
		v35 += v25;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 16);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 63);
		v39 += v28;
		v39 += v12;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 32);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 24);
		v39 += v28;
		v39 += v20;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 16);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 63);
		v27 += v28;
		v27 += v23;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 32);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 24);
		v27 += v28;
		v27 += v16;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 16);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 63);
		v31 += v32;
		v31 += v12;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 32);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 24);
		v31 += v32;
		v31 += v26;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 16);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 63);
		v35 += v36;
		v35 += v25;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 32);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 24);
		v35 += v36;
		v35 += v24;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 16);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 63);
		v39 += v40;
		v39 += v15;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 32);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 24);
		v39 += v40;
		v39 += v21;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 16);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 63);
		v27 += v32;
		v27 += v11;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 32);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 24);
		v27 += v32;
		v27 += v18;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 16);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 63);
		v31 += v36;
		v31 += v17;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 32);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 24);
		v31 += v36;
		v31 += v14;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 16);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 63);
		v35 += v40;
		v35 += v20;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 32);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 24);
		v35 += v40;
		v35 += v13;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 16);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 63);
		v39 += v28;
		v39 += v19;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 32);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 24);
		v39 += v28;
		v39 += v22;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 16);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 63);
		v27 += v28;
		v27 += v24;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 32);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 24);
		v27 += v28;
		v27 += v22;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 16);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 63);
		v31 += v32;
		v31 += v18;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 32);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 24);
		v31 += v32;
		v31 += v25;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 16);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 63);
		v35 += v36;
		v35 += v23;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 32);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 24);
		v35 += v36;
		v35 += v12;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 16);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 63);
		v39 += v40;
		v39 += v14;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 32);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 24);
		v39 += v40;
		v39 += v20;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 16);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 63);
		v27 += v32;
		v27 += v16;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 32);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 24);
		v27 += v32;
		v27 += v11;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 16);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 63);
		v31 += v36;
		v31 += v26;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 32);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 24);
		v31 += v36;
		v31 += v15;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 16);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 63);
		v35 += v40;
		v35 += v19;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 32);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 24);
		v35 += v40;
		v35 += v17;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 16);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 63);
		v39 += v28;
		v39 += v13;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 32);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 24);
		v39 += v28;
		v39 += v21;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 16);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 63);
		v27 += v28;
		v27 += v17;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 32);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 24);
		v27 += v28;
		v27 += v26;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 16);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 63);
		v31 += v32;
		v31 += v25;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 32);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 24);
		v31 += v32;
		v31 += v20;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 16);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 63);
		v35 += v36;
		v35 += v22;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 32);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 24);
		v35 += v36;
		v35 += v14;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 16);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 63);
		v39 += v40;
		v39 += v11;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 32);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 24);
		v39 += v40;
		v39 += v19;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 16);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 63);
		v27 += v32;
		v27 += v23;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 32);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 24);
		v27 += v32;
		v27 += v13;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 16);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 63);
		v31 += v36;
		v31 += v24;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 32);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 24);
		v31 += v36;
		v31 += v18;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 16);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 63);
		v35 += v40;
		v35 += v12;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 32);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 24);
		v35 += v40;
		v35 += v15;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 16);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 63);
		v39 += v28;
		v39 += v21;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 32);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 24);
		v39 += v28;
		v39 += v16;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 16);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 63);
		v27 += v28;
		v27 += v21;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 32);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 24);
		v27 += v28;
		v27 += v13;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 16);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 63);
		v31 += v32;
		v31 += v19;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 32);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 24);
		v31 += v32;
		v31 += v15;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 16);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 63);
		v35 += v36;
		v35 += v18;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 32);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 24);
		v35 += v36;
		v35 += v17;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 16);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 63);
		v39 += v40;
		v39 += v12;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 32);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 24);
		v39 += v40;
		v39 += v16;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 16);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 63);
		v27 += v32;
		v27 += v26;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 32);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 24);
		v27 += v32;
		v27 += v22;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 16);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 63);
		v31 += v36;
		v31 += v20;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 32);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 24);
		v31 += v36;
		v31 += v25;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 16);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 63);
		v35 += v40;
		v35 += v14;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 32);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 24);
		v35 += v40;
		v35 += v23;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 16);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 63);
		v39 += v28;
		v39 += v24;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 32);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 24);
		v39 += v28;
		v39 += v11;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 16);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 63);
		v27 += v28;
		v27 += v11;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 32);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 24);
		v27 += v28;
		v27 += v12;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 16);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 63);
		v31 += v32;
		v31 += v13;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 32);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 24);
		v31 += v32;
		v31 += v14;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 16);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 63);
		v35 += v36;
		v35 += v15;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 32);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 24);
		v35 += v36;
		v35 += v16;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 16);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 63);
		v39 += v40;
		v39 += v17;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 32);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 24);
		v39 += v40;
		v39 += v18;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 16);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 63);
		v27 += v32;
		v27 += v19;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 32);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 24);
		v27 += v32;
		v27 += v20;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 16);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 63);
		v31 += v36;
		v31 += v21;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 32);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 24);
		v31 += v36;
		v31 += v22;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 16);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 63);
		v35 += v40;
		v35 += v23;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 32);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 24);
		v35 += v40;
		v35 += v24;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 16);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 63);
		v39 += v28;
		v39 += v25;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 32);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 24);
		v39 += v28;
		v39 += v26;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 16);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 63);
		v27 += v28;
		v27 += v25;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 32);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 24);
		v27 += v28;
		v27 += v21;
		v30 ^= v27;
		v30 = verse_rotR64(v30, 16);
		v29 += v30;
		v28 ^= v29;
		v28 = verse_rotR64(v28, 63);
		v31 += v32;
		v31 += v15;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 32);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 24);
		v31 += v32;
		v31 += v19;
		v34 ^= v31;
		v34 = verse_rotR64(v34, 16);
		v33 += v34;
		v32 ^= v33;
		v32 = verse_rotR64(v32, 63);
		v35 += v36;
		v35 += v20;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 32);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 24);
		v35 += v36;
		v35 += v26;
		v38 ^= v35;
		v38 = verse_rotR64(v38, 16);
		v37 += v38;
		v36 ^= v37;
		v36 = verse_rotR64(v36, 63);
		v39 += v40;
		v39 += v24;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 32);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 24);
		v39 += v40;
		v39 += v17;
		v42 ^= v39;
		v42 = verse_rotR64(v42, 16);
		v41 += v42;
		v40 ^= v41;
		v40 = verse_rotR64(v40, 63);
		v27 += v32;
		v27 += v12;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 32);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 24);
		v27 += v32;
		v27 += v23;
		v42 ^= v27;
		v42 = verse_rotR64(v42, 16);
		v37 += v42;
		v32 ^= v37;
		v32 = verse_rotR64(v32, 63);
		v31 += v36;
		v31 += v11;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 32);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 24);
		v31 += v36;
		v31 += v13;
		v30 ^= v31;
		v30 = verse_rotR64(v30, 16);
		v41 += v30;
		v36 ^= v41;
		v36 = verse_rotR64(v36, 63);
		v35 += v40;
		v35 += v22;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 32);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 24);
		v35 += v40;
		v35 += v18;
		v34 ^= v35;
		v34 = verse_rotR64(v34, 16);
		v29 += v34;
		v40 ^= v29;
		v40 = verse_rotR64(v40, 63);
		v39 += v28;
		v39 += v16;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 32);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 24);
		v39 += v28;
		v39 += v14;
		v38 ^= v39;
		v38 = verse_rotR64(v38, 16);
		v33 += v38;
		v28 ^= v33;
		v28 = verse_rotR64(v28, 63);
		v3 ^= v27;
		v3 ^= v29;
		v4 ^= v31;
		v4 ^= v33;
		v5 ^= v35;
		v5 ^= v37;
		v6 ^= v39;
		v6 ^= v41;
		v7 ^= v28;
		v7 ^= v30;
		v8 ^= v32;
		v8 ^= v34;
		v9 ^= v36;
		v9 ^= v38;
		v10 ^= v40;
		v10 ^= v42;
		++bPtr;
		--cTr;
	};
	v0[0] = v45;
	v1[0] = v46;
	v2[0] = v3;
	v2[1] = v4;
	v2[2] = v5;
	v2[3] = v6;
	v2[4] = v7;
	v2[5] = v8;
	v2[6] = v9;
	v2[7] = v10;
}

void verse_blake2b_c_portable_last(uint64_t v0[16],
				   uint64_t v1, uint64_t v2,
				   uint64_t v3, uint64_t v4,
				   uint64_t v5, uint64_t v6[8])
{
	auto uint64_t v7;
	auto uint64_t v8;
	auto uint64_t v9;
	auto uint64_t v10;
	auto uint64_t v11;
	auto uint64_t v12;
	auto uint64_t v13;
	auto uint64_t v14;
	auto uint64_t v15;
	auto uint64_t v16;
	auto uint64_t v17;
	auto uint64_t v18;
	auto uint64_t v19;
	auto uint64_t v20;
	auto uint64_t v21;
	auto uint64_t v22;
	auto uint64_t v23;
	auto uint64_t v24;
	auto uint64_t v25;
	auto uint64_t v26;
	auto uint64_t v27;
	auto uint64_t v28;
	auto uint64_t v29;
	auto uint64_t v30;
	auto uint64_t v31;
	auto uint64_t v32;
	auto uint64_t v33;
	auto uint64_t v34;
	auto uint64_t v35;
	auto uint64_t v36;
	auto uint64_t v37;
	auto uint64_t v38;
	auto uint64_t v39;
	auto uint64_t v40;
	auto uint64_t v41;
	auto uint64_t v42;
	auto uint64_t v43;
	auto uint64_t v44;
	auto uint64_t v45;
	auto uint64_t v46;
	auto uint64_t v47;
	auto uint64_t v48;
	v7 = v6[0];
	v8 = v6[1];
	v9 = v6[2];
	v10 = v6[3];
	v11 = v6[4];
	v12 = v6[5];
	v13 = v6[6];
	v14 = v6[7];
	v48 = v3;
	v48 >>= 63;
	v47 = v3 & 0x7fffffffffffffffULL;
	v47 += v1;
	v47 >>= 63;
	v47 += v48;
	v47 >>= 1;
	v2 += v47;
	v3 += v1;
	v31 = v7;
	v35 = v8;
	v39 = v9;
	v43 = v10;
	v32 = v11;
	v36 = v12;
	v40 = v13;
	v44 = v14;
	v33 = 0x6a09e667f3bcc908ULL;
	v37 = 0xbb67ae8584caa73bULL;
	v41 = 0x3c6ef372fe94f82bULL;
	v45 = 0xa54ff53a5f1d36f1ULL;
	v34 = 0x510e527fade682d1ULL XOR v3;
	v38 = 0x9b05688c2b3e6c1fULL XOR v2;
	v42 = 0x1f83d9abfb41bd6bULL XOR v4;
	v46 = 0x5be0cd19137e2179ULL XOR v5;
	v15 = verse_from_le64(v0[0]);
	v16 = verse_from_le64(v0[1]);
	v17 = verse_from_le64(v0[2]);
	v18 = verse_from_le64(v0[3]);
	v19 = verse_from_le64(v0[4]);
	v20 = verse_from_le64(v0[5]);
	v21 = verse_from_le64(v0[6]);
	v22 = verse_from_le64(v0[7]);
	v23 = verse_from_le64(v0[8]);
	v24 = verse_from_le64(v0[9]);
	v25 = verse_from_le64(v0[10]);
	v26 = verse_from_le64(v0[11]);
	v27 = verse_from_le64(v0[12]);
	v28 = verse_from_le64(v0[13]);
	v29 = verse_from_le64(v0[14]);
	v30 = verse_from_le64(v0[15]);
	v31 += v32;
	v31 += v15;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 32);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 24);
	v31 += v32;
	v31 += v16;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 16);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 63);
	v35 += v36;
	v35 += v17;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 32);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 24);
	v35 += v36;
	v35 += v18;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 16);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 63);
	v39 += v40;
	v39 += v19;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 32);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 24);
	v39 += v40;
	v39 += v20;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 16);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 63);
	v43 += v44;
	v43 += v21;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 32);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 24);
	v43 += v44;
	v43 += v22;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 16);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 63);
	v31 += v36;
	v31 += v23;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 32);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 24);
	v31 += v36;
	v31 += v24;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 16);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 63);
	v35 += v40;
	v35 += v25;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 32);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 24);
	v35 += v40;
	v35 += v26;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 16);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 63);
	v39 += v44;
	v39 += v27;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 32);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 24);
	v39 += v44;
	v39 += v28;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 16);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 63);
	v43 += v32;
	v43 += v29;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 32);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 24);
	v43 += v32;
	v43 += v30;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 16);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 63);
	v31 += v32;
	v31 += v29;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 32);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 24);
	v31 += v32;
	v31 += v25;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 16);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 63);
	v35 += v36;
	v35 += v19;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 32);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 24);
	v35 += v36;
	v35 += v23;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 16);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 63);
	v39 += v40;
	v39 += v24;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 32);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 24);
	v39 += v40;
	v39 += v30;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 16);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 63);
	v43 += v44;
	v43 += v28;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 32);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 24);
	v43 += v44;
	v43 += v21;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 16);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 63);
	v31 += v36;
	v31 += v16;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 32);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 24);
	v31 += v36;
	v31 += v27;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 16);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 63);
	v35 += v40;
	v35 += v15;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 32);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 24);
	v35 += v40;
	v35 += v17;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 16);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 63);
	v39 += v44;
	v39 += v26;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 32);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 24);
	v39 += v44;
	v39 += v22;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 16);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 63);
	v43 += v32;
	v43 += v20;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 32);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 24);
	v43 += v32;
	v43 += v18;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 16);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 63);
	v31 += v32;
	v31 += v26;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 32);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 24);
	v31 += v32;
	v31 += v23;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 16);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 63);
	v35 += v36;
	v35 += v27;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 32);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 24);
	v35 += v36;
	v35 += v15;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 16);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 63);
	v39 += v40;
	v39 += v20;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 32);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 24);
	v39 += v40;
	v39 += v17;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 16);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 63);
	v43 += v44;
	v43 += v30;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 32);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 24);
	v43 += v44;
	v43 += v28;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 16);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 63);
	v31 += v36;
	v31 += v25;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 32);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 24);
	v31 += v36;
	v31 += v29;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 16);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 63);
	v35 += v40;
	v35 += v18;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 32);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 24);
	v35 += v40;
	v35 += v21;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 16);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 63);
	v39 += v44;
	v39 += v22;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 32);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 24);
	v39 += v44;
	v39 += v16;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 16);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 63);
	v43 += v32;
	v43 += v24;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 32);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 24);
	v43 += v32;
	v43 += v19;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 16);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 63);
	v31 += v32;
	v31 += v22;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 32);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 24);
	v31 += v32;
	v31 += v24;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 16);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 63);
	v35 += v36;
	v35 += v18;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 32);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 24);
	v35 += v36;
	v35 += v16;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 16);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 63);
	v39 += v40;
	v39 += v28;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 32);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 24);
	v39 += v40;
	v39 += v27;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 16);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 63);
	v43 += v44;
	v43 += v26;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 32);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 24);
	v43 += v44;
	v43 += v29;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 16);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 63);
	v31 += v36;
	v31 += v17;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 32);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 24);
	v31 += v36;
	v31 += v21;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 16);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 63);
	v35 += v40;
	v35 += v20;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 32);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 24);
	v35 += v40;
	v35 += v25;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 16);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 63);
	v39 += v44;
	v39 += v19;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 32);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 24);
	v39 += v44;
	v39 += v15;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 16);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 63);
	v43 += v32;
	v43 += v30;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 32);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 24);
	v43 += v32;
	v43 += v23;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 16);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 63);
	v31 += v32;
	v31 += v24;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 32);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 24);
	v31 += v32;
	v31 += v15;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 16);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 63);
	v35 += v36;
	v35 += v20;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 32);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 24);
	v35 += v36;
	v35 += v22;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 16);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 63);
	v39 += v40;
	v39 += v17;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 32);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 24);
	v39 += v40;
	v39 += v19;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 16);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 63);
	v43 += v44;
	v43 += v25;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 32);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 24);
	v43 += v44;
	v43 += v30;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 16);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 63);
	v31 += v36;
	v31 += v29;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 32);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 24);
	v31 += v36;
	v31 += v16;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 16);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 63);
	v35 += v40;
	v35 += v26;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 32);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 24);
	v35 += v40;
	v35 += v27;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 16);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 63);
	v39 += v44;
	v39 += v21;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 32);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 24);
	v39 += v44;
	v39 += v23;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 16);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 63);
	v43 += v32;
	v43 += v18;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 32);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 24);
	v43 += v32;
	v43 += v28;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 16);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 63);
	v31 += v32;
	v31 += v17;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 32);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 24);
	v31 += v32;
	v31 += v27;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 16);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 63);
	v35 += v36;
	v35 += v21;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 32);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 24);
	v35 += v36;
	v35 += v25;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 16);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 63);
	v39 += v40;
	v39 += v15;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 32);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 24);
	v39 += v40;
	v39 += v26;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 16);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 63);
	v43 += v44;
	v43 += v23;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 32);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 24);
	v43 += v44;
	v43 += v18;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 16);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 63);
	v31 += v36;
	v31 += v19;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 32);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 24);
	v31 += v36;
	v31 += v28;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 16);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 63);
	v35 += v40;
	v35 += v22;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 32);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 24);
	v35 += v40;
	v35 += v20;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 16);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 63);
	v39 += v44;
	v39 += v30;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 32);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 24);
	v39 += v44;
	v39 += v29;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 16);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 63);
	v43 += v32;
	v43 += v16;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 32);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 24);
	v43 += v32;
	v43 += v24;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 16);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 63);
	v31 += v32;
	v31 += v27;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 32);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 24);
	v31 += v32;
	v31 += v20;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 16);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 63);
	v35 += v36;
	v35 += v16;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 32);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 24);
	v35 += v36;
	v35 += v30;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 16);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 63);
	v39 += v40;
	v39 += v29;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 32);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 24);
	v39 += v40;
	v39 += v28;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 16);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 63);
	v43 += v44;
	v43 += v19;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 32);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 24);
	v43 += v44;
	v43 += v25;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 16);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 63);
	v31 += v36;
	v31 += v15;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 32);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 24);
	v31 += v36;
	v31 += v22;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 16);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 63);
	v35 += v40;
	v35 += v21;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 32);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 24);
	v35 += v40;
	v35 += v18;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 16);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 63);
	v39 += v44;
	v39 += v24;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 32);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 24);
	v39 += v44;
	v39 += v17;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 16);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 63);
	v43 += v32;
	v43 += v23;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 32);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 24);
	v43 += v32;
	v43 += v26;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 16);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 63);
	v31 += v32;
	v31 += v28;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 32);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 24);
	v31 += v32;
	v31 += v26;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 16);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 63);
	v35 += v36;
	v35 += v22;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 32);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 24);
	v35 += v36;
	v35 += v29;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 16);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 63);
	v39 += v40;
	v39 += v27;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 32);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 24);
	v39 += v40;
	v39 += v16;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 16);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 63);
	v43 += v44;
	v43 += v18;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 32);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 24);
	v43 += v44;
	v43 += v24;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 16);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 63);
	v31 += v36;
	v31 += v20;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 32);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 24);
	v31 += v36;
	v31 += v15;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 16);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 63);
	v35 += v40;
	v35 += v30;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 32);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 24);
	v35 += v40;
	v35 += v19;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 16);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 63);
	v39 += v44;
	v39 += v23;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 32);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 24);
	v39 += v44;
	v39 += v21;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 16);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 63);
	v43 += v32;
	v43 += v17;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 32);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 24);
	v43 += v32;
	v43 += v25;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 16);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 63);
	v31 += v32;
	v31 += v21;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 32);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 24);
	v31 += v32;
	v31 += v30;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 16);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 63);
	v35 += v36;
	v35 += v29;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 32);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 24);
	v35 += v36;
	v35 += v24;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 16);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 63);
	v39 += v40;
	v39 += v26;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 32);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 24);
	v39 += v40;
	v39 += v18;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 16);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 63);
	v43 += v44;
	v43 += v15;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 32);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 24);
	v43 += v44;
	v43 += v23;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 16);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 63);
	v31 += v36;
	v31 += v27;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 32);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 24);
	v31 += v36;
	v31 += v17;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 16);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 63);
	v35 += v40;
	v35 += v28;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 32);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 24);
	v35 += v40;
	v35 += v22;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 16);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 63);
	v39 += v44;
	v39 += v16;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 32);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 24);
	v39 += v44;
	v39 += v19;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 16);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 63);
	v43 += v32;
	v43 += v25;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 32);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 24);
	v43 += v32;
	v43 += v20;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 16);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 63);
	v31 += v32;
	v31 += v25;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 32);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 24);
	v31 += v32;
	v31 += v17;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 16);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 63);
	v35 += v36;
	v35 += v23;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 32);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 24);
	v35 += v36;
	v35 += v19;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 16);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 63);
	v39 += v40;
	v39 += v22;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 32);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 24);
	v39 += v40;
	v39 += v21;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 16);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 63);
	v43 += v44;
	v43 += v16;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 32);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 24);
	v43 += v44;
	v43 += v20;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 16);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 63);
	v31 += v36;
	v31 += v30;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 32);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 24);
	v31 += v36;
	v31 += v26;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 16);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 63);
	v35 += v40;
	v35 += v24;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 32);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 24);
	v35 += v40;
	v35 += v29;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 16);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 63);
	v39 += v44;
	v39 += v18;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 32);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 24);
	v39 += v44;
	v39 += v27;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 16);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 63);
	v43 += v32;
	v43 += v28;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 32);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 24);
	v43 += v32;
	v43 += v15;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 16);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 63);
	v31 += v32;
	v31 += v15;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 32);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 24);
	v31 += v32;
	v31 += v16;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 16);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 63);
	v35 += v36;
	v35 += v17;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 32);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 24);
	v35 += v36;
	v35 += v18;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 16);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 63);
	v39 += v40;
	v39 += v19;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 32);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 24);
	v39 += v40;
	v39 += v20;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 16);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 63);
	v43 += v44;
	v43 += v21;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 32);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 24);
	v43 += v44;
	v43 += v22;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 16);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 63);
	v31 += v36;
	v31 += v23;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 32);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 24);
	v31 += v36;
	v31 += v24;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 16);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 63);
	v35 += v40;
	v35 += v25;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 32);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 24);
	v35 += v40;
	v35 += v26;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 16);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 63);
	v39 += v44;
	v39 += v27;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 32);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 24);
	v39 += v44;
	v39 += v28;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 16);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 63);
	v43 += v32;
	v43 += v29;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 32);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 24);
	v43 += v32;
	v43 += v30;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 16);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 63);
	v31 += v32;
	v31 += v29;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 32);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 24);
	v31 += v32;
	v31 += v25;
	v34 ^= v31;
	v34 = verse_rotR64(v34, 16);
	v33 += v34;
	v32 ^= v33;
	v32 = verse_rotR64(v32, 63);
	v35 += v36;
	v35 += v19;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 32);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 24);
	v35 += v36;
	v35 += v23;
	v38 ^= v35;
	v38 = verse_rotR64(v38, 16);
	v37 += v38;
	v36 ^= v37;
	v36 = verse_rotR64(v36, 63);
	v39 += v40;
	v39 += v24;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 32);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 24);
	v39 += v40;
	v39 += v30;
	v42 ^= v39;
	v42 = verse_rotR64(v42, 16);
	v41 += v42;
	v40 ^= v41;
	v40 = verse_rotR64(v40, 63);
	v43 += v44;
	v43 += v28;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 32);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 24);
	v43 += v44;
	v43 += v21;
	v46 ^= v43;
	v46 = verse_rotR64(v46, 16);
	v45 += v46;
	v44 ^= v45;
	v44 = verse_rotR64(v44, 63);
	v31 += v36;
	v31 += v16;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 32);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 24);
	v31 += v36;
	v31 += v27;
	v46 ^= v31;
	v46 = verse_rotR64(v46, 16);
	v41 += v46;
	v36 ^= v41;
	v36 = verse_rotR64(v36, 63);
	v35 += v40;
	v35 += v15;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 32);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 24);
	v35 += v40;
	v35 += v17;
	v34 ^= v35;
	v34 = verse_rotR64(v34, 16);
	v45 += v34;
	v40 ^= v45;
	v40 = verse_rotR64(v40, 63);
	v39 += v44;
	v39 += v26;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 32);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 24);
	v39 += v44;
	v39 += v22;
	v38 ^= v39;
	v38 = verse_rotR64(v38, 16);
	v33 += v38;
	v44 ^= v33;
	v44 = verse_rotR64(v44, 63);
	v43 += v32;
	v43 += v20;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 32);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 24);
	v43 += v32;
	v43 += v18;
	v42 ^= v43;
	v42 = verse_rotR64(v42, 16);
	v37 += v42;
	v32 ^= v37;
	v32 = verse_rotR64(v32, 63);
	v7 ^= v31;
	v7 ^= v33;
	v8 ^= v35;
	v8 ^= v37;
	v9 ^= v39;
	v9 ^= v41;
	v10 ^= v43;
	v10 ^= v45;
	v11 ^= v32;
	v11 ^= v34;
	v12 ^= v36;
	v12 ^= v38;
	v13 ^= v40;
	v13 ^= v42;
	v14 ^= v44;
	v14 ^= v46;
	v6[0] = v7;
	v6[1] = v8;
	v6[2] = v9;
	v6[3] = v10;
	v6[4] = v11;
	v6[5] = v12;
	v6[6] = v13;
	v6[7] = v14;
}