public static void Reduce(uint[] xx, uint[] z)
{
ulong cc = Nat192.Mul33Add(PInv33, xx, 6, xx, 0, z, 0);
uint c = Nat192.Mul33DWordAdd(PInv33, cc, z, 0);
Debug.Assert(c == 0 || c == 1);
if (c != 0 || (z[5] == P5 && Nat192.Gte(z, P)))
{
Nat.Add33To(6, PInv33, z);
}
}