public static void twice(int[] x, int[] z) { int x16 = x[16]; int c = Nat.shiftUpBit(16, x, x16 << 23, z) | (x16 << 1); z[16] = c & P16; }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(6, x, 0, z); if (c != 0 || (z[5] == P5 && Nat192.gte(z, P))) { addPInvTo(z); } }
public static void twice(int[] x, int[] z) { int 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(int[] x, int[] z) { int c = Nat.shiftUpBit(8, x, 0, z); if (c != 0 || (z[7] == P7 && Nat256.gte(z, P))) { addPInvTo(z); } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(8, x, 0, z); if (c != 0 || ((z[7] >>> 1) >= P7s1 && Nat256.gte(z, P))) { addPInvTo(z); } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(6, x, 0, z); if (c != 0 || (z[5] == P5 && Nat192.gte(z, P))) { Nat.add33To(6, PInv33, z); } } }
public static void twice(int[] x, int[] z) { int 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(int[] x, int[] z) { int c = Nat.shiftUpBit(12, x, 0, z); if (c != 0 || (z[11] == P11 && Nat.gte(12, z, P))) { addPInvTo(z); } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(5, x, 0, z); if (c != 0 || (z[4] == P4 && Nat160.gte(z, P))) { Nat.add33To(5, PInv33, z); } } }
public static void twice(int[] x, int[] z) { Nat.shiftUpBit(8, x, 0, z); if (Nat256.gte(z, P)) { subPFrom(z); } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(12, x, 0, z); if (c != 0 || (z[11] == P11 && Nat.gte(12, z, P))) { addPInvTo(z); } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(8, x, 0, z); if (c != 0 || (z[7] == P7 && Nat256.gte(z, P))) { Nat.add33To(8, PInv33, z); } } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(7, x, 0, z); if (c != 0 || (z[6] == P6 && Nat224.gte(z, P))) { addPInvTo(z); } }
public static void twice(int[] x, int[] z) { Nat.shiftUpBit(8, x, 0, z); if (Nat256.gte(z, P)) { subPFrom(z); } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(7, x, 0, z); if (c != 0 || (z[6] == P6 && Nat224.gte(z, P))) { addPInvTo(z); } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(8, x, 0, z); if (c != 0 || (z[7] == P7 && Nat256.gte(z, P))) { addPInvTo(z); } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(4, x, 0, z); if (c != 0 || ((z[3] >>> 1) >= P3s1 && Nat128.gte(z, P))) { addPInvTo(z); } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(8, x, 0, z); if (c != 0 || (z[7] == P7 && Nat256.gte(z, P))) { Nat.add33To(8, PInv33, z); } } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(6, x, 0, z); if (c != 0 || (z[5] == P5 && Nat192.gte(z, P))) { Nat.add33To(6, PInv33, z); } } }
public static void twice(int[] x, int[] z) { int c = Nat.shiftUpBit(5, x, 0, z); if (c != 0 || (z[4] == P4 && Nat160.gte(z, P))) { Nat.addWordTo(5, PInv, z); } } }