var x36 uint64
	var x37 uint64
	x36, x37 = bits.Add64(x19, x16, uint64(p521Uint1(x35)))
	var x38 uint64
	var x39 uint64
	x38, x39 = bits.Add64(x17, x14, uint64(p521Uint1(x37)))
	var x40 uint64
	var x41 uint64
	x40, x41 = bits.Add64(x15, x12, uint64(p521Uint1(x39)))
	var x42 uint64
	var x43 uint64
	x42, x43 = bits.Add64(x13, x10, uint64(p521Uint1(x41)))
	x44 := (uint64(p521Uint1(x43)) + x11)
	var x45 uint64