public static void Twice(uint[] x, uint[] z)
{
if ((Nat.ShiftUpBit(7, x, 0, z) != 0) || ((z[6] == uint.MaxValue) && Nat224.Gte(z, P)))
{
Nat.Add33To(7, 0x1a93, z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(6, x, 0u, z) != 0 || (z[5] == uint.MaxValue && Nat192.Gte(z, P)))
{
Nat.Add33To(6, 4553u, z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(7, x, 0u, z) != 0 || (z[6] == 4294967295u && Nat224.Gte(z, P)))
{
AddPInvTo(z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(7, x, 0u, z) != 0u || (z[6] == 4294967295u && Nat224.Gte(z, SecP224K1Field.P)))
{
Nat.Add33To(7, 6803u, z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if ((Nat.ShiftUpBit(8, x, 0, z) != 0) || ((z[7] == uint.MaxValue) && Nat256.Gte(z, P)))
{
Nat.Add33To(8, 0x3d1, z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(6, x, 0u, z) != 0u || (z[5] == 4294967295u && Nat192.Gte(z, SecP192R1Field.P)))
{
SecP192R1Field.AddPInvTo(z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(6, x, 0u, z) != 0u || (z[5] == 4294967295u && Nat192.Gte(z, SecP192K1Field.P)))
{
Nat.Add33To(6, 4553u, z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(5, x, 0u, z) != 0 || (z[4] == 4294967295u && Nat160.Gte(z, P)))
{
Nat.AddWordTo(5, 2147483649u, z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if ((Nat.ShiftUpBit(4, x, 0, z) != 0) || ((z[3] == 0xfffffffd) && Nat128.Gte(z, P)))
{
AddPInvTo(z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(7, x, 0u, z) != 0 || (z[6] == uint.MaxValue && Nat224.Gte(z, P)))
{
Nat.Add33To(7, 6803u, z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(8, x, 0u, z) != 0u || (z[7] == 4294967295u && Nat256.Gte(z, SecP256K1Field.P)))
{
Nat.Add33To(8, 977u, z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if ((Nat.ShiftUpBit(5, x, 0, z) != 0) || ((z[4] == uint.MaxValue) && Nat160.Gte(z, P)))
{
Nat.AddWordTo(5, 0x80000001, z);
}
}
public static void Twice(uint[] x, uint[] z)
{
uint num = x[0x10];
uint num2 = Nat.ShiftUpBit(0x10, x, num << 0x17, z) | (num << 1);
z[0x10] = num2 & 0x1ff;
}
public static void Twice(uint[] x, uint[] z)
{
uint x16 = x[16];
uint c = Nat.ShiftUpBit(16, x, x16 << 23, z) | (x16 << 1);
z[16] = c & P16;
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(12, x, 0u, z) != 0 || (z[11] == uint.MaxValue && Nat.Gte(12, z, P)))
{
AddPInvTo(z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if ((Nat.ShiftUpBit(6, x, 0, z) != 0) || ((z[5] == uint.MaxValue) && Nat192.Gte(z, P)))
{
AddPInvTo(z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(5, x, 0u, z) != 0u || (z[4] == 4294967295u && Nat160.Gte(z, SecP160R2Field.P)))
{
Nat.Add33To(5, 21389u, z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(5, x, 0u, z) != 0 || (z[4] == uint.MaxValue && Nat160.Gte(z, P)))
{
Nat.Add33To(5, 21389u, z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(4, x, 0u, z) != 0u || (z[3] == 4294967293u && Nat128.Gte(z, SecP128R1Field.P)))
{
SecP128R1Field.AddPInvTo(z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(4, x, 0u, z) != 0 || (z[3] == 4294967293u && Nat128.Gte(z, P)))
{
AddPInvTo(z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(7, x, 0u, z) != 0u || (z[6] == 4294967295u && Nat224.Gte(z, SecP224R1Field.P)))
{
SecP224R1Field.AddPInvTo(z);
}
}
public static void Twice(uint[] x, uint[] z)
{
uint num = x[16];
uint num2 = Nat.ShiftUpBit(16, x, num << 23, z) | (num << 1);
z[16] = (num2 & 0x1FF);
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(12, x, 0u, z) != 0u || (z[11] == 4294967295u && Nat.Gte(12, z, SecP384R1Field.P)))
{
SecP384R1Field.AddPInvTo(z);
}
}
public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(8, x, 0u, z) != 0 || (z[7] == uint.MaxValue && Nat256.Gte(z, P)))
{
Nat.Add33To(8, 977u, z);
}
}
public static void Twice(uint[] x, uint[] z)
{
Nat.ShiftUpBit(8, x, 0, z);
if (Nat256.Gte(z, P))
{
SubPFrom(z);
}
}
public static void Twice(uint[] x, uint[] z)
{
Nat.ShiftUpBit(8, x, 0u, z);
if (Nat256.Gte(z, Curve25519Field.P))
{
Curve25519Field.SubPFrom(z);
}
}
public static void Twice(uint[] x, uint[] z)
{
Nat.ShiftUpBit(8, x, 0, z);
if (Nat256.Gte(z, P))
{
AddPInvTo(z);
}
}
public static void Twice(uint[] x, uint[] z)
{
uint c = Nat.ShiftUpBit(5, x, 0, z);
if (c != 0 || (z[4] == P4 && Nat160.Gte(z, P)))
{
Nat.AddWordTo(5, PInv, z);
}
}
public static void Twice(uint[] x, uint[] z)
{
uint c = Nat.ShiftUpBit(7, x, 0, z);
if (c != 0 || (z[6] == P6 && Nat224.Gte(z, P)))
{
Nat.Add33To(7, PInv33, z);
}
}
public static void Twice(uint[] x, uint[] z)
{
uint c = Nat.ShiftUpBit(8, x, 0, z);
if (c != 0 || (z[7] == P7 && Nat256.Gte(z, P)))
{
AddPInvTo(z);
}
}