var x193 [10<<20]byte
	var x194 [10<<20]byte
	var x195 [10<<20]byte
	var x196 [10<<20]byte
	var x197 [10<<20]byte
	var x198 [10<<20]byte
	var x199 [10<<20]byte
	var x200 [10<<20]byte
	var x201 [10<<20]byte
	var x202 [10<<20]byte
	var x203 [10<<20]byte
	var x204 [10<<20]byte
	var x205 [10<<20]byte
	var x206 [10<<20]byte
	var x207 [10<<20]byte
	z = x1
	z = x2
	z = x3
	z = x4

	var x194 uint64
	var x195 uint64
	x194, x195 = bits.Sub64(x185, 0xffffffffffffffff, uint64(p224Uint1(x193)))
	var x196 uint64
	var x197 uint64
	x196, x197 = bits.Sub64(x187, 0xffffffff, uint64(p224Uint1(x195)))
	var x199 uint64
	_, x199 = bits.Sub64(x189, uint64(0x0), uint64(p224Uint1(x197)))
	var x200 uint64
	p224CmovznzU64(&x200, p224Uint1(x199), x190, x181)
	var x201 uint64

	var x194 uint64
	x194, x193 = bits.Mul64(x183, 0xffffffff00000000)
	var x195 uint64
	var x196 uint64
	x196, x195 = bits.Mul64(x183, 0xffffffff)
	var x197 uint64
	var x198 uint64
	x197, x198 = bits.Add64(x196, x193, uint64(0x0))
	var x199 uint64
	var x200 uint64
	x199, x200 = bits.Add64(x194, x191, uint64(p384Uint1(x198)))
	var x201 uint64
	var x202 uint64

	var x195 uint64
	x194, x195 = bits.Add64(x139, x175, uint64(p521Uint1(x193)))
	var x196 uint64
	var x197 uint64
	x196, x197 = bits.Add64(x141, x177, uint64(p521Uint1(x195)))
	var x198 uint64
	var x199 uint64
	x198, x199 = bits.Add64(x143, x179, uint64(p521Uint1(x197)))
	var x200 uint64
	var x201 uint64
	x200, x201 = bits.Add64(x145, x181, uint64(p521Uint1(x199)))
	var x202 uint64
	var x203 uint64

    X1952,
    X1953,
    X1954,
    X1955,
    X1956,
    X1957,
    X1958,
    X1959,
    X1960,
    X1961,
    X1962,
    X1963,
    X1964,
    X1965,
    X1966,
    X1967,
    X1968,
    X1969,
    X1970,
    X1971,
    X1972,
    X1973,
    X1974,
    X1975,
    X1976,
    X1977,
    X1978,
    X1979,
    X1980,

    X1952,
    X1953,
    X1954,
    X1955,
    X1956,
    X1957,
    X1958,
    X1959,
    X1960,
    X1961,
    X1962,
    X1963,
    X1964,
    X1965,
    X1966,
    X1967,
    X1968,
    X1969,
    X1970,
    X1971,
    X1972,
    X1973,
    X1974,
    X1975,
    X1976,
    X1977,
    X1978,
    X1979,
    X1980,

	//	x12     = _111111 << 6 + _111111
	//	x24     = x12 << 12 + x12
	//	x30     = x24 << 6 + _111111
	//	x31     = 2*x30 + 1
	//	x32     = 2*x31 + 1
	//	x63     = x32 << 31 + x31
	//	x126    = x63 << 63 + x63
	//	x252    = x126 << 126 + x126
	//	x255    = x252 << 3 + _111
	//	i397    = ((x255 << 33 + x32) << 94 + x30) << 2
	//	return    1 + i397
	//

	var z = new(P384Element).Set(e)
	var t0 = new(P384Element)

00000300  60 d6 83 e6 ab 08 77 a4  f9 73 e5 d8 cb 66 9f 41  |`.....w..s...f.A|
00000310  00 15 2c 09 0e ad 16 02  6c 06 5f bc bf 47 f1 5a  |..,.....l._..G.Z|
00000320  85 97 ab 88 e8 45 b0 31  96 ad 56 00 97 59 17 03  |.....E.1..V..Y..|
00000330  03 00 99 5e 77 80 46 1d  2f 47 9f b3 43 4d a6 2b  |...^w.F./G..CM.+|
00000340  e9 f7 72 a2 d0 c6 69 7c  df 5d ce a0 3b 89 e2 69  |..r...i|.]..;..i|

	var x166 uint64
	_, x166 = bits.Sub64(uint64(p256Uint1(x156)), uint64(0x0), uint64(p256Uint1(x164)))
	var x167 uint64
	p256CmovznzU64(&x167, p256Uint1(x166), x157, x149)
	var x168 uint64
	p256CmovznzU64(&x168, p256Uint1(x166), x159, x151)
	var x169 uint64
	p256CmovznzU64(&x169, p256Uint1(x166), x161, x153)
	var x170 uint64

	fiatScalarCmovznzU64(&x193, fiatScalarUint1(x191), x184, x175)
	var x194 uint64
	fiatScalarCmovznzU64(&x194, fiatScalarUint1(x191), x186, x177)
	var x195 uint64
	fiatScalarCmovznzU64(&x195, fiatScalarUint1(x191), x188, x179)
	out1[0] = x192
	out1[1] = x193
	out1[2] = x194
	out1[3] = x195
}

// fiatScalarAdd adds two field elements in the Montgomery domain.
//
// Preconditions:
//
//	0 ≤ eval arg1 < m