package fiat
import
type p521Uint1 uint64
type p521Int1 int64
type p521MontgomeryDomainFieldElement [9]uint64
type p521NonMontgomeryDomainFieldElement [9]uint64
func p521CmovznzU64( *uint64, p521Uint1, uint64, uint64) {
:= (uint64() * 0xffffffffffffffff)
:= (( & ) | ((^) & ))
* =
}
func p521Mul( *p521MontgomeryDomainFieldElement, *p521MontgomeryDomainFieldElement, *p521MontgomeryDomainFieldElement) {
:= [1]
:= [2]
:= [3]
:= [4]
:= [5]
:= [6]
:= [7]
:= [8]
:= [0]
var uint64
var uint64
, = bits.Mul64(, [8])
var uint64
var uint64
, = bits.Mul64(, [7])
var uint64
var uint64
, = bits.Mul64(, [6])
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
var uint64
, = bits.Mul64(, 0x1ff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, [8])
var uint64
var uint64
, = bits.Mul64(, [7])
var uint64
var uint64
, = bits.Mul64(, [6])
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(uint64(p521Uint1()), , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x1ff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, [8])
var uint64
var uint64
, = bits.Mul64(, [7])
var uint64
var uint64
, = bits.Mul64(, [6])
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x1ff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, [8])
var uint64
var uint64
, = bits.Mul64(, [7])
var uint64
var uint64
, = bits.Mul64(, [6])
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x1ff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, [8])
var uint64
var uint64
, = bits.Mul64(, [7])
var uint64
var uint64
, = bits.Mul64(, [6])
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x1ff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, [8])
var uint64
var uint64
, = bits.Mul64(, [7])
var uint64
var uint64
, = bits.Mul64(, [6])
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x1ff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, [8])
var uint64
var uint64
, = bits.Mul64(, [7])
var uint64
var uint64
, = bits.Mul64(, [6])
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x1ff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, [8])
var uint64
var uint64
, = bits.Mul64(, [7])
var uint64
var uint64
, = bits.Mul64(, [6])
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x1ff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, [8])
var uint64
var uint64
, = bits.Mul64(, [7])
var uint64
var uint64
, = bits.Mul64(, [6])
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x1ff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + uint64(p521Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(0x0))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p521Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p521Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p521Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p521Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p521Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p521Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p521Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0x1ff, uint64(p521Uint1()))
var uint64
_, = bits.Sub64(, uint64(0x0), uint64(p521Uint1()))
var uint64
p521CmovznzU64(&, p521Uint1(), , )
var uint64
p521CmovznzU64(&, p521Uint1(), , )
var uint64
p521CmovznzU64(&, p521Uint1(), , )
var uint64
p521CmovznzU64(&, p521Uint1(), , )
var uint64
p521CmovznzU64(&, p521Uint1(), , )
var uint64
p521CmovznzU64(&, p521Uint1(), , )
var uint64
p521CmovznzU64(&, p521Uint1(), , )
var uint64
p521CmovznzU64(&, p521Uint1(), , )
var uint64
p521CmovznzU64(&, p521Uint1(), , )
[0] =
[1] =
[2] =
[3] =
[4] =
[5] =
[6] =
[7] =
[8] =
}
func p521Square( *p521MontgomeryDomainFieldElement, *p521MontgomeryDomainFieldElement) {
:= [1]
:= [2]
:= [3]
:= [4]
:= [5]
:= [6]
:= [7]
:= [8]
:= [0]
var uint64
var uint64
, = bits.Mul64(, [8])
var uint64
var uint64
, = bits.Mul64(, [7])
var uint64
var uint64
, = bits.Mul64(, [6])
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
var uint64
, = bits.Mul64(, 0x1ff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, [8])
var uint64
var uint64
, = bits.Mul64(, [7])
var uint64
var uint64
, = bits.Mul64(, [6])
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(uint64(p521Uint1()), , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x1ff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, [8])
var uint64
var uint64
, = bits.Mul64(, [7])
var uint64
var uint64
, = bits.Mul64(, [6])
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x1ff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, [8])
var uint64
var uint64
, = bits.Mul64(, [7])
var uint64
var uint64
, = bits.Mul64(, [6])
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x1ff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, [8])
var uint64
var uint64
, = bits.Mul64(, [7])
var uint64
var uint64
, = bits.Mul64(, [6])
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x1ff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
:= (uint64(p521Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p521Uint1()))
v