public static void Reduce32(uint x, uint[] z)
{
if ((x != 0 && Nat224.Mul33WordAdd(6803u, x, z, 0) != 0) || (z[6] == uint.MaxValue && Nat224.Gte(z, P)))
{
Nat.Add33To(7, 6803u, z);
}
}
public static void Reduce32(uint x, uint[] z)
{
if ((x != 0 && Nat224.Mul33WordAdd(PInv33, x, z, 0) != 0) ||
(z[6] == P6 && Nat224.Gte(z, P)))
{
Nat.Add33To(7, PInv33, z);
}
}