package fiat
import
type p256Uint1 uint64
type p256Int1 int64
type p256MontgomeryDomainFieldElement [4]uint64
type p256NonMontgomeryDomainFieldElement [4]uint64
func ( *uint64, p256Uint1, uint64, uint64) {
:= (uint64() * 0xffffffffffffffff)
:= (( & ) | ((^) & ))
* =
}
func ( *p256MontgomeryDomainFieldElement, *p256MontgomeryDomainFieldElement, *p256MontgomeryDomainFieldElement) {
:= [1]
:= [2]
:= [3]
:= [0]
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(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + )
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
:= (uint64(p256Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
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(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(uint64(p256Uint1()), , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
:= (uint64(p256Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + uint64(p256Uint1()))
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(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
:= (uint64(p256Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + uint64(p256Uint1()))
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(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
:= (uint64(p256Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(0x0))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff, uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64(, uint64(0x0), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff00000001, uint64(p256Uint1()))
var uint64
_, = bits.Sub64(, uint64(0x0), uint64(p256Uint1()))
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
[0] =
[1] =
[2] =
[3] =
}
func ( *p256MontgomeryDomainFieldElement, *p256MontgomeryDomainFieldElement) {
:= [1]
:= [2]
:= [3]
:= [0]
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(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + )
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
:= (uint64(p256Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
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(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(uint64(p256Uint1()), , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
:= (uint64(p256Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + uint64(p256Uint1()))
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(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
:= (uint64(p256Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + uint64(p256Uint1()))
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(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
:= (uint64(p256Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(0x0))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff, uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64(, uint64(0x0), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff00000001, uint64(p256Uint1()))
var uint64
_, = bits.Sub64(, uint64(0x0), uint64(p256Uint1()))
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
[0] =
[1] =
[2] =
[3] =
}
func ( *p256MontgomeryDomainFieldElement, *p256MontgomeryDomainFieldElement, *p256MontgomeryDomainFieldElement) {
var uint64
var uint64
, = bits.Add64([0], [0], uint64(0x0))
var uint64
var uint64
, = bits.Add64([1], [1], uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64([2], [2], uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64([3], [3], uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(0x0))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff, uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64(, uint64(0x0), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff00000001, uint64(p256Uint1()))
var uint64
_, = bits.Sub64(uint64(p256Uint1()), uint64(0x0), uint64(p256Uint1()))
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
[0] =
[1] =
[2] =
[3] =
}
func ( *p256MontgomeryDomainFieldElement, *p256MontgomeryDomainFieldElement, *p256MontgomeryDomainFieldElement) {
var uint64
var uint64
, = bits.Sub64([0], [0], uint64(0x0))
var uint64
var uint64
, = bits.Sub64([1], [1], uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64([2], [2], uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64([3], [3], uint64(p256Uint1()))
var uint64
p256CmovznzU64(&, p256Uint1(), uint64(0x0), 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, ( & 0xffffffff), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p256Uint1()))
var uint64
, _ = bits.Add64(, ( & 0xffffffff00000001), uint64(p256Uint1()))
[0] =
[1] =
[2] =
[3] =
}
func ( *p256MontgomeryDomainFieldElement) {
[0] = uint64(0x1)
[1] = 0xffffffff00000000
[2] = 0xffffffffffffffff
[3] = 0xfffffffe
}
func ( *p256NonMontgomeryDomainFieldElement, *p256MontgomeryDomainFieldElement) {
:= [0]
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(uint64(0x0), , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, [1], uint64(0x0))
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64((uint64(p256Uint1()) + (uint64(p256Uint1()) + (uint64(p256Uint1()) + ))), , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, (uint64(p256Uint1()) + ), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, [2], uint64(0x0))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, (uint64(p256Uint1()) + ), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64((uint64(p256Uint1()) + (uint64(p256Uint1()) + )), , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, [3], uint64(0x0))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, (uint64(p256Uint1()) + ), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64((uint64(p256Uint1()) + (uint64(p256Uint1()) + )), , uint64(p256Uint1()))
:= (uint64(p256Uint1()) + )
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(0x0))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff, uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64(, uint64(0x0), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff00000001, uint64(p256Uint1()))
var uint64
_, = bits.Sub64(uint64(0x0), uint64(0x0), uint64(p256Uint1()))
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
[0] =
[1] =
[2] =
[3] =
}
func ( *p256MontgomeryDomainFieldElement, *p256NonMontgomeryDomainFieldElement) {
:= [1]
:= [2]
:= [3]
:= [0]
var uint64
var uint64
, = bits.Mul64(, 0x4fffffffd)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffbffffffff)
var uint64
var uint64
, = bits.Mul64(, 0x3)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, (uint64(p256Uint1()) + ), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64((uint64(p256Uint1()) + ), , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x4fffffffd)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffbffffffff)
var uint64
var uint64
, = bits.Mul64(, 0x3)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, (uint64(p256Uint1()) + ), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(((uint64(p256Uint1()) + uint64(p256Uint1())) + (uint64(p256Uint1()) + )), , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x4fffffffd)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffbffffffff)
var uint64
var uint64
, = bits.Mul64(, 0x3)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, (uint64(p256Uint1()) + ), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(((uint64(p256Uint1()) + uint64(p256Uint1())) + (uint64(p256Uint1()) + )), , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x4fffffffd)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffbffffffff)
var uint64
var uint64
, = bits.Mul64(, 0x3)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, (uint64(p256Uint1()) + ), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Add64(((uint64(p256Uint1()) + uint64(p256Uint1())) + (uint64(p256Uint1()) + )), , uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(0x0))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff, uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64(, uint64(0x0), uint64(p256Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff00000001, uint64(p256Uint1()))
var uint64
_, = bits.Sub64(uint64(p256Uint1()), uint64(0x0), uint64(p256Uint1()))
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
var uint64
p256CmovznzU64(&, p256Uint1(), , )
[0] =
[1] =
[2] =
[3] =
}
func ( *[4]uint64, p256Uint1, *[4]uint64, *[4]uint64) {
var uint64
p256CmovznzU64(&, , [0], [0])
var uint64
p256CmovznzU64(&, , [1], [1])
var uint64
p256CmovznzU64(&, , [2], [2])
var uint64
p256CmovznzU64(&, , [3], [3])
[0] =
[1] =
[2] =
[3] =
}
func ( *[32]uint8, *[4]uint64) {
:= [3]
:= [2]
:= [1]
:= [0]
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= uint8(( >> 8))
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= uint8(( >> 8))
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= uint8(( >> 8))
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= uint8(( >> 8))
[0] =
[1] =
[2] =
[3] =
[4] =
[5] =
[6] =
[7] =
[8] =
[9] =
[10] =
[11] =
[12] =
[13] =
[14] =
[15] =
[16] =
[17] =
[18] =
[19] =
[20] =
[21] =
[22] =
[23] =
[24] =
[25] =
[26] =
[27] =
[28] =
[29] =
[30] =
[31] =
}
func ( *[4]uint64, *[32]uint8) {
:= (uint64([31]) << 56)
:= (uint64([30]) << 48)
:= (uint64([29]) << 40)
:= (uint64([28]) << 32)
:= (uint64([27]) << 24)
:= (uint64([26]) << 16)
:= (uint64([25]) << 8)
:= [24]
:= (uint64([23]) << 56)
:= (uint64([22]) << 48)
:= (uint64([21]) << 40)
:= (uint64([20]) << 32)
:= (uint64([19]) << 24)
:= (uint64([18]) << 16)
:= (uint64([17]) << 8)
:= [16]
:= (uint64([15]) << 56)
:= (uint64([14]) << 48)
:= (uint64([13]) << 40)
:= (uint64([12]) << 32)
:= (uint64([11]) << 24)
:= (uint64([10]) << 16)
:= (uint64([9]) << 8)
:= [8]
:= (uint64([7]) << 56)
:= (uint64([6]) << 48)
:= (uint64([5]) << 40)
:= (uint64([4]) << 32)
:= (uint64([3]) << 24)
:= (uint64([2]) << 16)
:= (uint64([1]) << 8)
:= [0]
:= ( + uint64())
:= ( + )
:= ( + )
:= ( + )
:= ( + )
:= ( + )
:= ( + )
:= ( + uint64())
:= ( + )
:= ( + )
:= ( + )
:= ( + )
:= ( + )
:= ( + )
:= ( + uint64())
:= ( + )
:= ( + )
:= ( + )
:= ( + )
:= ( + )
:= ( + )
:= ( + uint64())
:= ( + )
:= ( + )
:= ( + )
:= ( + )
:= ( + )
:= ( + )
[0] =
[1] =
[2] =
[3] =
}