func math/bits.Add64
2092 uses
math/bits (current package)
bits.go#L365: s64, c64 := Add64(uint64(x), uint64(y), uint64(carry))
bits.go#L386: func Add64(x, y, carry uint64) (sum, carryOut uint64) {
math
fma.go#L147: pm2, c = bits.Add64(pm2, zm2, 0)
fma.go#L148: pm1, _ = bits.Add64(pm1, zm1, c)
trig_reduce.go#L53: lo, c := bits.Add64(z1lo, z2hi, 0)
trig_reduce.go#L54: hi, _ := bits.Add64(z0lo, z1hi, c)
crypto/internal/edwards25519
scalar_fiat.go#L107: x13, x14 = bits.Add64(x12, x9, uint64(0x0))
scalar_fiat.go#L110: x15, x16 = bits.Add64(x10, x7, uint64(fiatScalarUint1(x14)))
scalar_fiat.go#L113: x17, x18 = bits.Add64(x8, x5, uint64(fiatScalarUint1(x16)))
scalar_fiat.go#L128: x28, x29 = bits.Add64(x27, x24, uint64(0x0))
scalar_fiat.go#L131: _, x32 = bits.Add64(x11, x26, uint64(0x0))
scalar_fiat.go#L134: x33, x34 = bits.Add64(x13, x28, uint64(fiatScalarUint1(x32)))
scalar_fiat.go#L137: x35, x36 = bits.Add64(x15, x30, uint64(fiatScalarUint1(x34)))
scalar_fiat.go#L140: x37, x38 = bits.Add64(x17, x22, uint64(fiatScalarUint1(x36)))
scalar_fiat.go#L143: x39, x40 = bits.Add64(x19, x23, uint64(fiatScalarUint1(x38)))
scalar_fiat.go#L158: x49, x50 = bits.Add64(x48, x45, uint64(0x0))
scalar_fiat.go#L161: x51, x52 = bits.Add64(x46, x43, uint64(fiatScalarUint1(x50)))
scalar_fiat.go#L164: x53, x54 = bits.Add64(x44, x41, uint64(fiatScalarUint1(x52)))
scalar_fiat.go#L168: x56, x57 = bits.Add64(x33, x47, uint64(0x0))
scalar_fiat.go#L171: x58, x59 = bits.Add64(x35, x49, uint64(fiatScalarUint1(x57)))
scalar_fiat.go#L174: x60, x61 = bits.Add64(x37, x51, uint64(fiatScalarUint1(x59)))
scalar_fiat.go#L177: x62, x63 = bits.Add64(x39, x53, uint64(fiatScalarUint1(x61)))
scalar_fiat.go#L180: x64, x65 = bits.Add64(uint64(fiatScalarUint1(x40)), x55, uint64(fiatScalarUint1(x63)))
scalar_fiat.go#L194: x74, x75 = bits.Add64(x73, x70, uint64(0x0))
scalar_fiat.go#L197: _, x78 = bits.Add64(x56, x72, uint64(0x0))
scalar_fiat.go#L200: x79, x80 = bits.Add64(x58, x74, uint64(fiatScalarUint1(x78)))
scalar_fiat.go#L203: x81, x82 = bits.Add64(x60, x76, uint64(fiatScalarUint1(x80)))
scalar_fiat.go#L206: x83, x84 = bits.Add64(x62, x68, uint64(fiatScalarUint1(x82)))
scalar_fiat.go#L209: x85, x86 = bits.Add64(x64, x69, uint64(fiatScalarUint1(x84)))
scalar_fiat.go#L225: x96, x97 = bits.Add64(x95, x92, uint64(0x0))
scalar_fiat.go#L228: x98, x99 = bits.Add64(x93, x90, uint64(fiatScalarUint1(x97)))
scalar_fiat.go#L231: x100, x101 = bits.Add64(x91, x88, uint64(fiatScalarUint1(x99)))
scalar_fiat.go#L235: x103, x104 = bits.Add64(x79, x94, uint64(0x0))
scalar_fiat.go#L238: x105, x106 = bits.Add64(x81, x96, uint64(fiatScalarUint1(x104)))
scalar_fiat.go#L241: x107, x108 = bits.Add64(x83, x98, uint64(fiatScalarUint1(x106)))
scalar_fiat.go#L244: x109, x110 = bits.Add64(x85, x100, uint64(fiatScalarUint1(x108)))
scalar_fiat.go#L247: x111, x112 = bits.Add64(x87, x102, uint64(fiatScalarUint1(x110)))
scalar_fiat.go#L261: x121, x122 = bits.Add64(x120, x117, uint64(0x0))
scalar_fiat.go#L264: _, x125 = bits.Add64(x103, x119, uint64(0x0))
scalar_fiat.go#L267: x126, x127 = bits.Add64(x105, x121, uint64(fiatScalarUint1(x125)))
scalar_fiat.go#L270: x128, x129 = bits.Add64(x107, x123, uint64(fiatScalarUint1(x127)))
scalar_fiat.go#L273: x130, x131 = bits.Add64(x109, x115, uint64(fiatScalarUint1(x129)))
scalar_fiat.go#L276: x132, x133 = bits.Add64(x111, x116, uint64(fiatScalarUint1(x131)))
scalar_fiat.go#L292: x143, x144 = bits.Add64(x142, x139, uint64(0x0))
scalar_fiat.go#L295: x145, x146 = bits.Add64(x140, x137, uint64(fiatScalarUint1(x144)))
scalar_fiat.go#L298: x147, x148 = bits.Add64(x138, x135, uint64(fiatScalarUint1(x146)))
scalar_fiat.go#L302: x150, x151 = bits.Add64(x126, x141, uint64(0x0))
scalar_fiat.go#L305: x152, x153 = bits.Add64(x128, x143, uint64(fiatScalarUint1(x151)))
scalar_fiat.go#L308: x154, x155 = bits.Add64(x130, x145, uint64(fiatScalarUint1(x153)))
scalar_fiat.go#L311: x156, x157 = bits.Add64(x132, x147, uint64(fiatScalarUint1(x155)))
scalar_fiat.go#L314: x158, x159 = bits.Add64(x134, x149, uint64(fiatScalarUint1(x157)))
scalar_fiat.go#L328: x168, x169 = bits.Add64(x167, x164, uint64(0x0))
scalar_fiat.go#L331: _, x172 = bits.Add64(x150, x166, uint64(0x0))
scalar_fiat.go#L334: x173, x174 = bits.Add64(x152, x168, uint64(fiatScalarUint1(x172)))
scalar_fiat.go#L337: x175, x176 = bits.Add64(x154, x170, uint64(fiatScalarUint1(x174)))
scalar_fiat.go#L340: x177, x178 = bits.Add64(x156, x162, uint64(fiatScalarUint1(x176)))
scalar_fiat.go#L343: x179, x180 = bits.Add64(x158, x163, uint64(fiatScalarUint1(x178)))
scalar_fiat.go#L387: x1, x2 = bits.Add64(arg1[0], arg2[0], uint64(0x0))
scalar_fiat.go#L390: x3, x4 = bits.Add64(arg1[1], arg2[1], uint64(fiatScalarUint1(x2)))
scalar_fiat.go#L393: x5, x6 = bits.Add64(arg1[2], arg2[2], uint64(fiatScalarUint1(x4)))
scalar_fiat.go#L396: x7, x8 = bits.Add64(arg1[3], arg2[3], uint64(fiatScalarUint1(x6)))
scalar_fiat.go#L453: x10, x11 = bits.Add64(x1, (x9 & 0x5812631a5cf5d3ed), uint64(0x0))
scalar_fiat.go#L456: x12, x13 = bits.Add64(x3, (x9 & 0x14def9dea2f79cd6), uint64(fiatScalarUint1(x11)))
scalar_fiat.go#L459: x14, x15 = bits.Add64(x5, uint64(0x0), uint64(fiatScalarUint1(x13)))
scalar_fiat.go#L461: x16, _ = bits.Add64(x7, (x9 & 0x1000000000000000), uint64(fiatScalarUint1(x15)))
scalar_fiat.go#L495: x10, x11 = bits.Add64(x1, (x9 & 0x5812631a5cf5d3ed), uint64(0x0))
scalar_fiat.go#L498: x12, x13 = bits.Add64(x3, (x9 & 0x14def9dea2f79cd6), uint64(fiatScalarUint1(x11)))
scalar_fiat.go#L501: x14, x15 = bits.Add64(x5, uint64(0x0), uint64(fiatScalarUint1(x13)))
scalar_fiat.go#L503: x16, _ = bits.Add64(x7, (x9 & 0x1000000000000000), uint64(fiatScalarUint1(x15)))
scalar_fiat.go#L557: x10, x11 = bits.Add64(x9, x6, uint64(0x0))
scalar_fiat.go#L559: _, x13 = bits.Add64(x1, x8, uint64(0x0))
scalar_fiat.go#L562: x14, x15 = bits.Add64(uint64(0x0), x10, uint64(fiatScalarUint1(x13)))
scalar_fiat.go#L565: x16, x17 = bits.Add64(x14, arg1[1], uint64(0x0))
scalar_fiat.go#L579: x26, x27 = bits.Add64(x25, x22, uint64(0x0))
scalar_fiat.go#L581: _, x29 = bits.Add64(x16, x24, uint64(0x0))
scalar_fiat.go#L584: x30, x31 = bits.Add64((uint64(fiatScalarUint1(x17)) + (uint64(fiatScalarUint1(x15)) + (uint64(fiatScalarUint1(x11)) + x7))), x26, uint64(fiatScalarUint1(x29)))
scalar_fiat.go#L587: x32, x33 = bits.Add64(x4, (uint64(fiatScalarUint1(x27)) + x23), uint64(fiatScalarUint1(x31)))
scalar_fiat.go#L590: x34, x35 = bits.Add64(x5, x20, uint64(fiatScalarUint1(x33)))
scalar_fiat.go#L593: x36, x37 = bits.Add64(x30, arg1[2], uint64(0x0))
scalar_fiat.go#L596: x38, x39 = bits.Add64(x32, uint64(0x0), uint64(fiatScalarUint1(x37)))
scalar_fiat.go#L599: x40, x41 = bits.Add64(x34, uint64(0x0), uint64(fiatScalarUint1(x39)))
scalar_fiat.go#L613: x50, x51 = bits.Add64(x49, x46, uint64(0x0))
scalar_fiat.go#L615: _, x53 = bits.Add64(x36, x48, uint64(0x0))
scalar_fiat.go#L618: x54, x55 = bits.Add64(x38, x50, uint64(fiatScalarUint1(x53)))
scalar_fiat.go#L621: x56, x57 = bits.Add64(x40, (uint64(fiatScalarUint1(x51)) + x47), uint64(fiatScalarUint1(x55)))
scalar_fiat.go#L624: x58, x59 = bits.Add64((uint64(fiatScalarUint1(x41)) + (uint64(fiatScalarUint1(x35)) + x21)), x44, uint64(fiatScalarUint1(x57)))
scalar_fiat.go#L627: x60, x61 = bits.Add64(x54, arg1[3], uint64(0x0))
scalar_fiat.go#L630: x62, x63 = bits.Add64(x56, uint64(0x0), uint64(fiatScalarUint1(x61)))
scalar_fiat.go#L633: x64, x65 = bits.Add64(x58, uint64(0x0), uint64(fiatScalarUint1(x63)))
scalar_fiat.go#L647: x74, x75 = bits.Add64(x73, x70, uint64(0x0))
scalar_fiat.go#L649: _, x77 = bits.Add64(x60, x72, uint64(0x0))
scalar_fiat.go#L652: x78, x79 = bits.Add64(x62, x74, uint64(fiatScalarUint1(x77)))
scalar_fiat.go#L655: x80, x81 = bits.Add64(x64, (uint64(fiatScalarUint1(x75)) + x71), uint64(fiatScalarUint1(x79)))
scalar_fiat.go#L658: x82, x83 = bits.Add64((uint64(fiatScalarUint1(x65)) + (uint64(fiatScalarUint1(x59)) + x45)), x68, uint64(fiatScalarUint1(x81)))
scalar_fiat.go#L717: x13, x14 = bits.Add64(x12, x9, uint64(0x0))
scalar_fiat.go#L720: x15, x16 = bits.Add64(x10, x7, uint64(fiatScalarUint1(x14)))
scalar_fiat.go#L723: x17, x18 = bits.Add64(x8, x5, uint64(fiatScalarUint1(x16)))
scalar_fiat.go#L737: x27, x28 = bits.Add64(x26, x23, uint64(0x0))
scalar_fiat.go#L739: _, x30 = bits.Add64(x11, x25, uint64(0x0))
scalar_fiat.go#L742: x31, x32 = bits.Add64(x13, x27, uint64(fiatScalarUint1(x30)))
scalar_fiat.go#L745: x33, x34 = bits.Add64(x15, (uint64(fiatScalarUint1(x28)) + x24), uint64(fiatScalarUint1(x32)))
scalar_fiat.go#L748: x35, x36 = bits.Add64(x17, x21, uint64(fiatScalarUint1(x34)))
scalar_fiat.go#L763: x45, x46 = bits.Add64(x44, x41, uint64(0x0))
scalar_fiat.go#L766: x47, x48 = bits.Add64(x42, x39, uint64(fiatScalarUint1(x46)))
scalar_fiat.go#L769: x49, x50 = bits.Add64(x40, x37, uint64(fiatScalarUint1(x48)))
scalar_fiat.go#L772: x51, x52 = bits.Add64(x31, x43, uint64(0x0))
scalar_fiat.go#L775: x53, x54 = bits.Add64(x33, x45, uint64(fiatScalarUint1(x52)))
scalar_fiat.go#L778: x55, x56 = bits.Add64(x35, x47, uint64(fiatScalarUint1(x54)))
scalar_fiat.go#L781: x57, x58 = bits.Add64(((uint64(fiatScalarUint1(x36)) + (uint64(fiatScalarUint1(x18)) + x6)) + x22), x49, uint64(fiatScalarUint1(x56)))
scalar_fiat.go#L795: x67, x68 = bits.Add64(x66, x63, uint64(0x0))
scalar_fiat.go#L797: _, x70 = bits.Add64(x51, x65, uint64(0x0))
scalar_fiat.go#L800: x71, x72 = bits.Add64(x53, x67, uint64(fiatScalarUint1(x70)))
scalar_fiat.go#L803: x73, x74 = bits.Add64(x55, (uint64(fiatScalarUint1(x68)) + x64), uint64(fiatScalarUint1(x72)))
scalar_fiat.go#L806: x75, x76 = bits.Add64(x57, x61, uint64(fiatScalarUint1(x74)))
scalar_fiat.go#L821: x85, x86 = bits.Add64(x84, x81, uint64(0x0))
scalar_fiat.go#L824: x87, x88 = bits.Add64(x82, x79, uint64(fiatScalarUint1(x86)))
scalar_fiat.go#L827: x89, x90 = bits.Add64(x80, x77, uint64(fiatScalarUint1(x88)))
scalar_fiat.go#L830: x91, x92 = bits.Add64(x71, x83, uint64(0x0))
scalar_fiat.go#L833: x93, x94 = bits.Add64(x73, x85, uint64(fiatScalarUint1(x92)))
scalar_fiat.go#L836: x95, x96 = bits.Add64(x75, x87, uint64(fiatScalarUint1(x94)))
scalar_fiat.go#L839: x97, x98 = bits.Add64(((uint64(fiatScalarUint1(x76)) + (uint64(fiatScalarUint1(x58)) + (uint64(fiatScalarUint1(x50)) + x38))) + x62), x89, uint64(fiatScalarUint1(x96)))
scalar_fiat.go#L853: x107, x108 = bits.Add64(x106, x103, uint64(0x0))
scalar_fiat.go#L855: _, x110 = bits.Add64(x91, x105, uint64(0x0))
scalar_fiat.go#L858: x111, x112 = bits.Add64(x93, x107, uint64(fiatScalarUint1(x110)))
scalar_fiat.go#L861: x113, x114 = bits.Add64(x95, (uint64(fiatScalarUint1(x108)) + x104), uint64(fiatScalarUint1(x112)))
scalar_fiat.go#L864: x115, x116 = bits.Add64(x97, x101, uint64(fiatScalarUint1(x114)))
scalar_fiat.go#L879: x125, x126 = bits.Add64(x124, x121, uint64(0x0))
scalar_fiat.go#L882: x127, x128 = bits.Add64(x122, x119, uint64(fiatScalarUint1(x126)))
scalar_fiat.go#L885: x129, x130 = bits.Add64(x120, x117, uint64(fiatScalarUint1(x128)))
scalar_fiat.go#L888: x131, x132 = bits.Add64(x111, x123, uint64(0x0))
scalar_fiat.go#L891: x133, x134 = bits.Add64(x113, x125, uint64(fiatScalarUint1(x132)))
scalar_fiat.go#L894: x135, x136 = bits.Add64(x115, x127, uint64(fiatScalarUint1(x134)))
scalar_fiat.go#L897: x137, x138 = bits.Add64(((uint64(fiatScalarUint1(x116)) + (uint64(fiatScalarUint1(x98)) + (uint64(fiatScalarUint1(x90)) + x78))) + x102), x129, uint64(fiatScalarUint1(x136)))
scalar_fiat.go#L911: x147, x148 = bits.Add64(x146, x143, uint64(0x0))
scalar_fiat.go#L913: _, x150 = bits.Add64(x131, x145, uint64(0x0))
scalar_fiat.go#L916: x151, x152 = bits.Add64(x133, x147, uint64(fiatScalarUint1(x150)))
scalar_fiat.go#L919: x153, x154 = bits.Add64(x135, (uint64(fiatScalarUint1(x148)) + x144), uint64(fiatScalarUint1(x152)))
scalar_fiat.go#L922: x155, x156 = bits.Add64(x137, x141, uint64(fiatScalarUint1(x154)))
crypto/internal/edwards25519/field
fe_generic.go#L24: lo, c := bits.Add64(lo, v.lo, 0)
fe_generic.go#L25: hi, _ = bits.Add64(hi, v.hi, c)
crypto/internal/nistec
p256_asm.go#L185: t1[0], c = bits.Add64(x[0], y[0], 0)
p256_asm.go#L186: t1[1], c = bits.Add64(x[1], y[1], c)
p256_asm.go#L187: t1[2], c = bits.Add64(x[2], y[2], c)
p256_asm.go#L188: t1[3], c = bits.Add64(x[3], y[3], c)
crypto/internal/nistec/fiat
p224_fiat64.go#L107: x13, x14 = bits.Add64(x12, x9, uint64(0x0))
p224_fiat64.go#L110: x15, x16 = bits.Add64(x10, x7, uint64(p224Uint1(x14)))
p224_fiat64.go#L113: x17, x18 = bits.Add64(x8, x5, uint64(p224Uint1(x16)))
p224_fiat64.go#L128: x28, x29 = bits.Add64(x27, x24, uint64(0x0))
p224_fiat64.go#L131: x30, x31 = bits.Add64(x25, x22, uint64(p224Uint1(x29)))
p224_fiat64.go#L134: _, x34 = bits.Add64(x11, x20, uint64(0x0))
p224_fiat64.go#L137: x35, x36 = bits.Add64(x13, x26, uint64(p224Uint1(x34)))
p224_fiat64.go#L140: x37, x38 = bits.Add64(x15, x28, uint64(p224Uint1(x36)))
p224_fiat64.go#L143: x39, x40 = bits.Add64(x17, x30, uint64(p224Uint1(x38)))
p224_fiat64.go#L146: x41, x42 = bits.Add64(x19, x32, uint64(p224Uint1(x40)))
p224_fiat64.go#L161: x51, x52 = bits.Add64(x50, x47, uint64(0x0))
p224_fiat64.go#L164: x53, x54 = bits.Add64(x48, x45, uint64(p224Uint1(x52)))
p224_fiat64.go#L167: x55, x56 = bits.Add64(x46, x43, uint64(p224Uint1(x54)))
p224_fiat64.go#L171: x58, x59 = bits.Add64(x35, x49, uint64(0x0))
p224_fiat64.go#L174: x60, x61 = bits.Add64(x37, x51, uint64(p224Uint1(x59)))
p224_fiat64.go#L177: x62, x63 = bits.Add64(x39, x53, uint64(p224Uint1(x61)))
p224_fiat64.go#L180: x64, x65 = bits.Add64(x41, x55, uint64(p224Uint1(x63)))
p224_fiat64.go#L183: x66, x67 = bits.Add64(uint64(p224Uint1(x42)), x57, uint64(p224Uint1(x65)))
p224_fiat64.go#L197: x76, x77 = bits.Add64(x75, x72, uint64(0x0))
p224_fiat64.go#L200: x78, x79 = bits.Add64(x73, x70, uint64(p224Uint1(x77)))
p224_fiat64.go#L203: _, x82 = bits.Add64(x58, x68, uint64(0x0))
p224_fiat64.go#L206: x83, x84 = bits.Add64(x60, x74, uint64(p224Uint1(x82)))
p224_fiat64.go#L209: x85, x86 = bits.Add64(x62, x76, uint64(p224Uint1(x84)))
p224_fiat64.go#L212: x87, x88 = bits.Add64(x64, x78, uint64(p224Uint1(x86)))
p224_fiat64.go#L215: x89, x90 = bits.Add64(x66, x80, uint64(p224Uint1(x88)))
p224_fiat64.go#L231: x100, x101 = bits.Add64(x99, x96, uint64(0x0))
p224_fiat64.go#L234: x102, x103 = bits.Add64(x97, x94, uint64(p224Uint1(x101)))
p224_fiat64.go#L237: x104, x105 = bits.Add64(x95, x92, uint64(p224Uint1(x103)))
p224_fiat64.go#L241: x107, x108 = bits.Add64(x83, x98, uint64(0x0))
p224_fiat64.go#L244: x109, x110 = bits.Add64(x85, x100, uint64(p224Uint1(x108)))
p224_fiat64.go#L247: x111, x112 = bits.Add64(x87, x102, uint64(p224Uint1(x110)))
p224_fiat64.go#L250: x113, x114 = bits.Add64(x89, x104, uint64(p224Uint1(x112)))
p224_fiat64.go#L253: x115, x116 = bits.Add64(x91, x106, uint64(p224Uint1(x114)))
p224_fiat64.go#L267: x125, x126 = bits.Add64(x124, x121, uint64(0x0))
p224_fiat64.go#L270: x127, x128 = bits.Add64(x122, x119, uint64(p224Uint1(x126)))
p224_fiat64.go#L273: _, x131 = bits.Add64(x107, x117, uint64(0x0))
p224_fiat64.go#L276: x132, x133 = bits.Add64(x109, x123, uint64(p224Uint1(x131)))
p224_fiat64.go#L279: x134, x135 = bits.Add64(x111, x125, uint64(p224Uint1(x133)))
p224_fiat64.go#L282: x136, x137 = bits.Add64(x113, x127, uint64(p224Uint1(x135)))
p224_fiat64.go#L285: x138, x139 = bits.Add64(x115, x129, uint64(p224Uint1(x137)))
p224_fiat64.go#L301: x149, x150 = bits.Add64(x148, x145, uint64(0x0))
p224_fiat64.go#L304: x151, x152 = bits.Add64(x146, x143, uint64(p224Uint1(x150)))
p224_fiat64.go#L307: x153, x154 = bits.Add64(x144, x141, uint64(p224Uint1(x152)))
p224_fiat64.go#L311: x156, x157 = bits.Add64(x132, x147, uint64(0x0))
p224_fiat64.go#L314: x158, x159 = bits.Add64(x134, x149, uint64(p224Uint1(x157)))
p224_fiat64.go#L317: x160, x161 = bits.Add64(x136, x151, uint64(p224Uint1(x159)))
p224_fiat64.go#L320: x162, x163 = bits.Add64(x138, x153, uint64(p224Uint1(x161)))
p224_fiat64.go#L323: x164, x165 = bits.Add64(x140, x155, uint64(p224Uint1(x163)))
p224_fiat64.go#L337: x174, x175 = bits.Add64(x173, x170, uint64(0x0))
p224_fiat64.go#L340: x176, x177 = bits.Add64(x171, x168, uint64(p224Uint1(x175)))
p224_fiat64.go#L343: _, x180 = bits.Add64(x156, x166, uint64(0x0))
p224_fiat64.go#L346: x181, x182 = bits.Add64(x158, x172, uint64(p224Uint1(x180)))
p224_fiat64.go#L349: x183, x184 = bits.Add64(x160, x174, uint64(p224Uint1(x182)))
p224_fiat64.go#L352: x185, x186 = bits.Add64(x162, x176, uint64(p224Uint1(x184)))
p224_fiat64.go#L355: x187, x188 = bits.Add64(x164, x178, uint64(p224Uint1(x186)))
p224_fiat64.go#L414: x13, x14 = bits.Add64(x12, x9, uint64(0x0))
p224_fiat64.go#L417: x15, x16 = bits.Add64(x10, x7, uint64(p224Uint1(x14)))
p224_fiat64.go#L420: x17, x18 = bits.Add64(x8, x5, uint64(p224Uint1(x16)))
p224_fiat64.go#L435: x28, x29 = bits.Add64(x27, x24, uint64(0x0))
p224_fiat64.go#L438: x30, x31 = bits.Add64(x25, x22, uint64(p224Uint1(x29)))
p224_fiat64.go#L441: _, x34 = bits.Add64(x11, x20, uint64(0x0))
p224_fiat64.go#L444: x35, x36 = bits.Add64(x13, x26, uint64(p224Uint1(x34)))
p224_fiat64.go#L447: x37, x38 = bits.Add64(x15, x28, uint64(p224Uint1(x36)))
p224_fiat64.go#L450: x39, x40 = bits.Add64(x17, x30, uint64(p224Uint1(x38)))
p224_fiat64.go#L453: x41, x42 = bits.Add64(x19, x32, uint64(p224Uint1(x40)))
p224_fiat64.go#L468: x51, x52 = bits.Add64(x50, x47, uint64(0x0))
p224_fiat64.go#L471: x53, x54 = bits.Add64(x48, x45, uint64(p224Uint1(x52)))
p224_fiat64.go#L474: x55, x56 = bits.Add64(x46, x43, uint64(p224Uint1(x54)))
p224_fiat64.go#L478: x58, x59 = bits.Add64(x35, x49, uint64(0x0))
p224_fiat64.go#L481: x60, x61 = bits.Add64(x37, x51, uint64(p224Uint1(x59)))
p224_fiat64.go#L484: x62, x63 = bits.Add64(x39, x53, uint64(p224Uint1(x61)))
p224_fiat64.go#L487: x64, x65 = bits.Add64(x41, x55, uint64(p224Uint1(x63)))
p224_fiat64.go#L490: x66, x67 = bits.Add64(uint64(p224Uint1(x42)), x57, uint64(p224Uint1(x65)))
p224_fiat64.go#L504: x76, x77 = bits.Add64(x75, x72, uint64(0x0))
p224_fiat64.go#L507: x78, x79 = bits.Add64(x73, x70, uint64(p224Uint1(x77)))
p224_fiat64.go#L510: _, x82 = bits.Add64(x58, x68, uint64(0x0))
p224_fiat64.go#L513: x83, x84 = bits.Add64(x60, x74, uint64(p224Uint1(x82)))
p224_fiat64.go#L516: x85, x86 = bits.Add64(x62, x76, uint64(p224Uint1(x84)))
p224_fiat64.go#L519: x87, x88 = bits.Add64(x64, x78, uint64(p224Uint1(x86)))
p224_fiat64.go#L522: x89, x90 = bits.Add64(x66, x80, uint64(p224Uint1(x88)))
p224_fiat64.go#L538: x100, x101 = bits.Add64(x99, x96, uint64(0x0))
p224_fiat64.go#L541: x102, x103 = bits.Add64(x97, x94, uint64(p224Uint1(x101)))
p224_fiat64.go#L544: x104, x105 = bits.Add64(x95, x92, uint64(p224Uint1(x103)))
p224_fiat64.go#L548: x107, x108 = bits.Add64(x83, x98, uint64(0x0))
p224_fiat64.go#L551: x109, x110 = bits.Add64(x85, x100, uint64(p224Uint1(x108)))
p224_fiat64.go#L554: x111, x112 = bits.Add64(x87, x102, uint64(p224Uint1(x110)))
p224_fiat64.go#L557: x113, x114 = bits.Add64(x89, x104, uint64(p224Uint1(x112)))
p224_fiat64.go#L560: x115, x116 = bits.Add64(x91, x106, uint64(p224Uint1(x114)))
p224_fiat64.go#L574: x125, x126 = bits.Add64(x124, x121, uint64(0x0))
p224_fiat64.go#L577: x127, x128 = bits.Add64(x122, x119, uint64(p224Uint1(x126)))
p224_fiat64.go#L580: _, x131 = bits.Add64(x107, x117, uint64(0x0))
p224_fiat64.go#L583: x132, x133 = bits.Add64(x109, x123, uint64(p224Uint1(x131)))
p224_fiat64.go#L586: x134, x135 = bits.Add64(x111, x125, uint64(p224Uint1(x133)))
p224_fiat64.go#L589: x136, x137 = bits.Add64(x113, x127, uint64(p224Uint1(x135)))
p224_fiat64.go#L592: x138, x139 = bits.Add64(x115, x129, uint64(p224Uint1(x137)))
p224_fiat64.go#L608: x149, x150 = bits.Add64(x148, x145, uint64(0x0))
p224_fiat64.go#L611: x151, x152 = bits.Add64(x146, x143, uint64(p224Uint1(x150)))
p224_fiat64.go#L614: x153, x154 = bits.Add64(x144, x141, uint64(p224Uint1(x152)))
p224_fiat64.go#L618: x156, x157 = bits.Add64(x132, x147, uint64(0x0))
p224_fiat64.go#L621: x158, x159 = bits.Add64(x134, x149, uint64(p224Uint1(x157)))
p224_fiat64.go#L624: x160, x161 = bits.Add64(x136, x151, uint64(p224Uint1(x159)))
p224_fiat64.go#L627: x162, x163 = bits.Add64(x138, x153, uint64(p224Uint1(x161)))
p224_fiat64.go#L630: x164, x165 = bits.Add64(x140, x155, uint64(p224Uint1(x163)))
p224_fiat64.go#L644: x174, x175 = bits.Add64(x173, x170, uint64(0x0))
p224_fiat64.go#L647: x176, x177 = bits.Add64(x171, x168, uint64(p224Uint1(x175)))
p224_fiat64.go#L650: _, x180 = bits.Add64(x156, x166, uint64(0x0))
p224_fiat64.go#L653: x181, x182 = bits.Add64(x158, x172, uint64(p224Uint1(x180)))
p224_fiat64.go#L656: x183, x184 = bits.Add64(x160, x174, uint64(p224Uint1(x182)))
p224_fiat64.go#L659: x185, x186 = bits.Add64(x162, x176, uint64(p224Uint1(x184)))
p224_fiat64.go#L662: x187, x188 = bits.Add64(x164, x178, uint64(p224Uint1(x186)))
p224_fiat64.go#L706: x1, x2 = bits.Add64(arg1[0], arg2[0], uint64(0x0))
p224_fiat64.go#L709: x3, x4 = bits.Add64(arg1[1], arg2[1], uint64(p224Uint1(x2)))
p224_fiat64.go#L712: x5, x6 = bits.Add64(arg1[2], arg2[2], uint64(p224Uint1(x4)))
p224_fiat64.go#L715: x7, x8 = bits.Add64(arg1[3], arg2[3], uint64(p224Uint1(x6)))
p224_fiat64.go#L772: x10, x11 = bits.Add64(x1, uint64((p224Uint1(x9) & 0x1)), uint64(0x0))
p224_fiat64.go#L775: x12, x13 = bits.Add64(x3, (x9 & 0xffffffff00000000), uint64(p224Uint1(x11)))
p224_fiat64.go#L778: x14, x15 = bits.Add64(x5, x9, uint64(p224Uint1(x13)))
p224_fiat64.go#L780: x16, _ = bits.Add64(x7, (x9 & 0xffffffff), uint64(p224Uint1(x15)))
p224_fiat64.go#L825: x10, x11 = bits.Add64(x9, x6, uint64(0x0))
p224_fiat64.go#L828: x12, x13 = bits.Add64(x7, x4, uint64(p224Uint1(x11)))
p224_fiat64.go#L830: _, x15 = bits.Add64(x1, x2, uint64(0x0))
p224_fiat64.go#L833: x16, x17 = bits.Add64(uint64(0x0), x8, uint64(p224Uint1(x15)))
p224_fiat64.go#L836: x18, x19 = bits.Add64(uint64(0x0), x10, uint64(p224Uint1(x17)))
p224_fiat64.go#L839: x20, x21 = bits.Add64(uint64(0x0), x12, uint64(p224Uint1(x19)))
p224_fiat64.go#L842: x22, x23 = bits.Add64(x16, arg1[1], uint64(0x0))
p224_fiat64.go#L845: x24, x25 = bits.Add64(x18, uint64(0x0), uint64(p224Uint1(x23)))
p224_fiat64.go#L848: x26, x27 = bits.Add64(x20, uint64(0x0), uint64(p224Uint1(x25)))
p224_fiat64.go#L862: x36, x37 = bits.Add64(x35, x32, uint64(0x0))
p224_fiat64.go#L865: x38, x39 = bits.Add64(x33, x30, uint64(p224Uint1(x37)))
p224_fiat64.go#L867: _, x41 = bits.Add64(x22, x28, uint64(0x0))
p224_fiat64.go#L870: x42, x43 = bits.Add64(x24, x34, uint64(p224Uint1(x41)))
p224_fiat64.go#L873: x44, x45 = bits.Add64(x26, x36, uint64(p224Uint1(x43)))
p224_fiat64.go#L876: x46, x47 = bits.Add64((uint64(p224Uint1(x27)) + (uint64(p224Uint1(x21)) + (uint64(p224Uint1(x13)) + x5))), x38, uint64(p224Uint1(x45)))
p224_fiat64.go#L879: x48, x49 = bits.Add64(x42, arg1[2], uint64(0x0))
p224_fiat64.go#L882: x50, x51 = bits.Add64(x44, uint64(0x0), uint64(p224Uint1(x49)))
p224_fiat64.go#L885: x52, x53 = bits.Add64(x46, uint64(0x0), uint64(p224Uint1(x51)))
p224_fiat64.go#L899: x62, x63 = bits.Add64(x61, x58, uint64(0x0))
p224_fiat64.go#L902: x64, x65 = bits.Add64(x59, x56, uint64(p224Uint1(x63)))
p224_fiat64.go#L904: _, x67 = bits.Add64(x48, x54, uint64(0x0))
p224_fiat64.go#L907: x68, x69 = bits.Add64(x50, x60, uint64(p224Uint1(x67)))
p224_fiat64.go#L910: x70, x71 = bits.Add64(x52, x62, uint64(p224Uint1(x69)))
p224_fiat64.go#L913: x72, x73 = bits.Add64((uint64(p224Uint1(x53)) + (uint64(p224Uint1(x47)) + (uint64(p224Uint1(x39)) + x31))), x64, uint64(p224Uint1(x71)))
p224_fiat64.go#L916: x74, x75 = bits.Add64(x68, arg1[3], uint64(0x0))
p224_fiat64.go#L919: x76, x77 = bits.Add64(x70, uint64(0x0), uint64(p224Uint1(x75)))
p224_fiat64.go#L922: x78, x79 = bits.Add64(x72, uint64(0x0), uint64(p224Uint1(x77)))
p224_fiat64.go#L936: x88, x89 = bits.Add64(x87, x84, uint64(0x0))
p224_fiat64.go#L939: x90, x91 = bits.Add64(x85, x82, uint64(p224Uint1(x89)))
p224_fiat64.go#L941: _, x93 = bits.Add64(x74, x80, uint64(0x0))
p224_fiat64.go#L944: x94, x95 = bits.Add64(x76, x86, uint64(p224Uint1(x93)))
p224_fiat64.go#L947: x96, x97 = bits.Add64(x78, x88, uint64(p224Uint1(x95)))
p224_fiat64.go#L950: x98, x99 = bits.Add64((uint64(p224Uint1(x79)) + (uint64(p224Uint1(x73)) + (uint64(p224Uint1(x65)) + x57))), x90, uint64(p224Uint1(x97)))
p224_fiat64.go#L1009: x13, x14 = bits.Add64(x12, x9, uint64(0x0))
p224_fiat64.go#L1012: x15, x16 = bits.Add64(x10, x7, uint64(p224Uint1(x14)))
p224_fiat64.go#L1015: x17, x18 = bits.Add64(x8, x5, uint64(p224Uint1(x16)))
p224_fiat64.go#L1029: x27, x28 = bits.Add64(x26, x23, uint64(0x0))
p224_fiat64.go#L1032: x29, x30 = bits.Add64(x24, x21, uint64(p224Uint1(x28)))
p224_fiat64.go#L1034: _, x32 = bits.Add64(x11, x19, uint64(0x0))
p224_fiat64.go#L1037: x33, x34 = bits.Add64(x13, x25, uint64(p224Uint1(x32)))
p224_fiat64.go#L1040: x35, x36 = bits.Add64(x15, x27, uint64(p224Uint1(x34)))
p224_fiat64.go#L1043: x37, x38 = bits.Add64(x17, x29, uint64(p224Uint1(x36)))
p224_fiat64.go#L1058: x47, x48 = bits.Add64(x46, x43, uint64(0x0))
p224_fiat64.go#L1061: x49, x50 = bits.Add64(x44, x41, uint64(p224Uint1(x48)))
p224_fiat64.go#L1064: x51, x52 = bits.Add64(x42, x39, uint64(p224Uint1(x50)))
p224_fiat64.go#L1067: x53, x54 = bits.Add64(x33, x45, uint64(0x0))
p224_fiat64.go#L1070: x55, x56 = bits.Add64(x35, x47, uint64(p224Uint1(x54)))
p224_fiat64.go#L1073: x57, x58 = bits.Add64(x37, x49, uint64(p224Uint1(x56)))
p224_fiat64.go#L1076: x59, x60 = bits.Add64(((uint64(p224Uint1(x38)) + (uint64(p224Uint1(x18)) + x6)) + (uint64(p224Uint1(x30)) + x22)), x51, uint64(p224Uint1(x58)))
p224_fiat64.go#L1090: x69, x70 = bits.Add64(x68, x65, uint64(0x0))
p224_fiat64.go#L1093: x71, x72 = bits.Add64(x66, x63, uint64(p224Uint1(x70)))
p224_fiat64.go#L1095: _, x74 = bits.Add64(x53, x61, uint64(0x0))
p224_fiat64.go#L1098: x75, x76 = bits.Add64(x55, x67, uint64(p224Uint1(x74)))
p224_fiat64.go#L1101: x77, x78 = bits.Add64(x57, x69, uint64(p224Uint1(x76)))
p224_fiat64.go#L1104: x79, x80 = bits.Add64(x59, x71, uint64(p224Uint1(x78)))
p224_fiat64.go#L1119: x89, x90 = bits.Add64(x88, x85, uint64(0x0))
p224_fiat64.go#L1122: x91, x92 = bits.Add64(x86, x83, uint64(p224Uint1(x90)))
p224_fiat64.go#L1125: x93, x94 = bits.Add64(x84, x81, uint64(p224Uint1(x92)))
p224_fiat64.go#L1128: x95, x96 = bits.Add64(x75, x87, uint64(0x0))
p224_fiat64.go#L1131: x97, x98 = bits.Add64(x77, x89, uint64(p224Uint1(x96)))
p224_fiat64.go#L1134: x99, x100 = bits.Add64(x79, x91, uint64(p224Uint1(x98)))
p224_fiat64.go#L1137: x101, x102 = bits.Add64(((uint64(p224Uint1(x80)) + (uint64(p224Uint1(x60)) + (uint64(p224Uint1(x52)) + x40))) + (uint64(p224Uint1(x72)) + x64)), x93, uint64(p224Uint1(x100)))
p224_fiat64.go#L1151: x111, x112 = bits.Add64(x110, x107, uint64(0x0))
p224_fiat64.go#L1154: x113, x114 = bits.Add64(x108, x105, uint64(p224Uint1(x112)))
p224_fiat64.go#L1156: _, x116 = bits.Add64(x95, x103, uint64(0x0))
p224_fiat64.go#L1159: x117, x118 = bits.Add64(x97, x109, uint64(p224Uint1(x116)))
p224_fiat64.go#L1162: x119, x120 = bits.Add64(x99, x111, uint64(p224Uint1(x118)))
p224_fiat64.go#L1165: x121, x122 = bits.Add64(x101, x113, uint64(p224Uint1(x120)))
p224_fiat64.go#L1180: x131, x132 = bits.Add64(x130, x127, uint64(0x0))
p224_fiat64.go#L1183: x133, x134 = bits.Add64(x128, x125, uint64(p224Uint1(x132)))
p224_fiat64.go#L1186: x135, x136 = bits.Add64(x126, x123, uint64(p224Uint1(x134)))
p224_fiat64.go#L1189: x137, x138 = bits.Add64(x117, x129, uint64(0x0))
p224_fiat64.go#L1192: x139, x140 = bits.Add64(x119, x131, uint64(p224Uint1(x138)))
p224_fiat64.go#L1195: x141, x142 = bits.Add64(x121, x133, uint64(p224Uint1(x140)))
p224_fiat64.go#L1198: x143, x144 = bits.Add64(((uint64(p224Uint1(x122)) + (uint64(p224Uint1(x102)) + (uint64(p224Uint1(x94)) + x82))) + (uint64(p224Uint1(x114)) + x106)), x135, uint64(p224Uint1(x142)))
p224_fiat64.go#L1212: x153, x154 = bits.Add64(x152, x149, uint64(0x0))
p224_fiat64.go#L1215: x155, x156 = bits.Add64(x150, x147, uint64(p224Uint1(x154)))
p224_fiat64.go#L1217: _, x158 = bits.Add64(x137, x145, uint64(0x0))
p224_fiat64.go#L1220: x159, x160 = bits.Add64(x139, x151, uint64(p224Uint1(x158)))
p224_fiat64.go#L1223: x161, x162 = bits.Add64(x141, x153, uint64(p224Uint1(x160)))
p224_fiat64.go#L1226: x163, x164 = bits.Add64(x143, x155, uint64(p224Uint1(x162)))
p256_fiat64.go#L107: x13, x14 = bits.Add64(x12, x9, uint64(0x0))
p256_fiat64.go#L110: x15, x16 = bits.Add64(x10, x7, uint64(p256Uint1(x14)))
p256_fiat64.go#L113: x17, x18 = bits.Add64(x8, x5, uint64(p256Uint1(x16)))
p256_fiat64.go#L126: x26, x27 = bits.Add64(x25, x22, uint64(0x0))
p256_fiat64.go#L129: _, x30 = bits.Add64(x11, x24, uint64(0x0))
p256_fiat64.go#L132: x31, x32 = bits.Add64(x13, x26, uint64(p256Uint1(x30)))
p256_fiat64.go#L135: x33, x34 = bits.Add64(x15, x28, uint64(p256Uint1(x32)))
p256_fiat64.go#L138: x35, x36 = bits.Add64(x17, x20, uint64(p256Uint1(x34)))
p256_fiat64.go#L141: x37, x38 = bits.Add64(x19, x21, uint64(p256Uint1(x36)))
p256_fiat64.go#L156: x47, x48 = bits.Add64(x46, x43, uint64(0x0))
p256_fiat64.go#L159: x49, x50 = bits.Add64(x44, x41, uint64(p256Uint1(x48)))
p256_fiat64.go#L162: x51, x52 = bits.Add64(x42, x39, uint64(p256Uint1(x50)))
p256_fiat64.go#L166: x54, x55 = bits.Add64(x31, x45, uint64(0x0))
p256_fiat64.go#L169: x56, x57 = bits.Add64(x33, x47, uint64(p256Uint1(x55)))
p256_fiat64.go#L172: x58, x59 = bits.Add64(x35, x49, uint64(p256Uint1(x57)))
p256_fiat64.go#L175: x60, x61 = bits.Add64(x37, x51, uint64(p256Uint1(x59)))
p256_fiat64.go#L178: x62, x63 = bits.Add64(uint64(p256Uint1(x38)), x53, uint64(p256Uint1(x61)))
p256_fiat64.go#L190: x70, x71 = bits.Add64(x69, x66, uint64(0x0))
p256_fiat64.go#L193: _, x74 = bits.Add64(x54, x68, uint64(0x0))
p256_fiat64.go#L196: x75, x76 = bits.Add64(x56, x70, uint64(p256Uint1(x74)))
p256_fiat64.go#L199: x77, x78 = bits.Add64(x58, x72, uint64(p256Uint1(x76)))
p256_fiat64.go#L202: x79, x80 = bits.Add64(x60, x64, uint64(p256Uint1(x78)))
p256_fiat64.go#L205: x81, x82 = bits.Add64(x62, x65, uint64(p256Uint1(x80)))
p256_fiat64.go#L221: x92, x93 = bits.Add64(x91, x88, uint64(0x0))
p256_fiat64.go#L224: x94, x95 = bits.Add64(x89, x86, uint64(p256Uint1(x93)))
p256_fiat64.go#L227: x96, x97 = bits.Add64(x87, x84, uint64(p256Uint1(x95)))
p256_fiat64.go#L231: x99, x100 = bits.Add64(x75, x90, uint64(0x0))
p256_fiat64.go#L234: x101, x102 = bits.Add64(x77, x92, uint64(p256Uint1(x100)))
p256_fiat64.go#L237: x103, x104 = bits.Add64(x79, x94, uint64(p256Uint1(x102)))
p256_fiat64.go#L240: x105, x106 = bits.Add64(x81, x96, uint64(p256Uint1(x104)))
p256_fiat64.go#L243: x107, x108 = bits.Add64(x83, x98, uint64(p256Uint1(x106)))
p256_fiat64.go#L255: x115, x116 = bits.Add64(x114, x111, uint64(0x0))
p256_fiat64.go#L258: _, x119 = bits.Add64(x99, x113, uint64(0x0))
p256_fiat64.go#L261: x120, x121 = bits.Add64(x101, x115, uint64(p256Uint1(x119)))
p256_fiat64.go#L264: x122, x123 = bits.Add64(x103, x117, uint64(p256Uint1(x121)))
p256_fiat64.go#L267: x124, x125 = bits.Add64(x105, x109, uint64(p256Uint1(x123)))
p256_fiat64.go#L270: x126, x127 = bits.Add64(x107, x110, uint64(p256Uint1(x125)))
p256_fiat64.go#L286: x137, x138 = bits.Add64(x136, x133, uint64(0x0))
p256_fiat64.go#L289: x139, x140 = bits.Add64(x134, x131, uint64(p256Uint1(x138)))
p256_fiat64.go#L292: x141, x142 = bits.Add64(x132, x129, uint64(p256Uint1(x140)))
p256_fiat64.go#L296: x144, x145 = bits.Add64(x120, x135, uint64(0x0))
p256_fiat64.go#L299: x146, x147 = bits.Add64(x122, x137, uint64(p256Uint1(x145)))
p256_fiat64.go#L302: x148, x149 = bits.Add64(x124, x139, uint64(p256Uint1(x147)))
p256_fiat64.go#L305: x150, x151 = bits.Add64(x126, x141, uint64(p256Uint1(x149)))
p256_fiat64.go#L308: x152, x153 = bits.Add64(x128, x143, uint64(p256Uint1(x151)))
p256_fiat64.go#L320: x160, x161 = bits.Add64(x159, x156, uint64(0x0))
p256_fiat64.go#L323: _, x164 = bits.Add64(x144, x158, uint64(0x0))
p256_fiat64.go#L326: x165, x166 = bits.Add64(x146, x160, uint64(p256Uint1(x164)))
p256_fiat64.go#L329: x167, x168 = bits.Add64(x148, x162, uint64(p256Uint1(x166)))
p256_fiat64.go#L332: x169, x170 = bits.Add64(x150, x154, uint64(p256Uint1(x168)))
p256_fiat64.go#L335: x171, x172 = bits.Add64(x152, x155, uint64(p256Uint1(x170)))
p256_fiat64.go#L394: x13, x14 = bits.Add64(x12, x9, uint64(0x0))
p256_fiat64.go#L397: x15, x16 = bits.Add64(x10, x7, uint64(p256Uint1(x14)))
p256_fiat64.go#L400: x17, x18 = bits.Add64(x8, x5, uint64(p256Uint1(x16)))
p256_fiat64.go#L413: x26, x27 = bits.Add64(x25, x22, uint64(0x0))
p256_fiat64.go#L416: _, x30 = bits.Add64(x11, x24, uint64(0x0))
p256_fiat64.go#L419: x31, x32 = bits.Add64(x13, x26, uint64(p256Uint1(x30)))
p256_fiat64.go#L422: x33, x34 = bits.Add64(x15, x28, uint64(p256Uint1(x32)))
p256_fiat64.go#L425: x35, x36 = bits.Add64(x17, x20, uint64(p256Uint1(x34)))
p256_fiat64.go#L428: x37, x38 = bits.Add64(x19, x21, uint64(p256Uint1(x36)))
p256_fiat64.go#L443: x47, x48 = bits.Add64(x46, x43, uint64(0x0))
p256_fiat64.go#L446: x49, x50 = bits.Add64(x44, x41, uint64(p256Uint1(x48)))
p256_fiat64.go#L449: x51, x52 = bits.Add64(x42, x39, uint64(p256Uint1(x50)))
p256_fiat64.go#L453: x54, x55 = bits.Add64(x31, x45, uint64(0x0))
p256_fiat64.go#L456: x56, x57 = bits.Add64(x33, x47, uint64(p256Uint1(x55)))
p256_fiat64.go#L459: x58, x59 = bits.Add64(x35, x49, uint64(p256Uint1(x57)))
p256_fiat64.go#L462: x60, x61 = bits.Add64(x37, x51, uint64(p256Uint1(x59)))
p256_fiat64.go#L465: x62, x63 = bits.Add64(uint64(p256Uint1(x38)), x53, uint64(p256Uint1(x61)))
p256_fiat64.go#L477: x70, x71 = bits.Add64(x69, x66, uint64(0x0))
p256_fiat64.go#L480: _, x74 = bits.Add64(x54, x68, uint64(0x0))
p256_fiat64.go#L483: x75, x76 = bits.Add64(x56, x70, uint64(p256Uint1(x74)))
p256_fiat64.go#L486: x77, x78 = bits.Add64(x58, x72, uint64(p256Uint1(x76)))
p256_fiat64.go#L489: x79, x80 = bits.Add64(x60, x64, uint64(p256Uint1(x78)))
p256_fiat64.go#L492: x81, x82 = bits.Add64(x62, x65, uint64(p256Uint1(x80)))
p256_fiat64.go#L508: x92, x93 = bits.Add64(x91, x88, uint64(0x0))
p256_fiat64.go#L511: x94, x95 = bits.Add64(x89, x86, uint64(p256Uint1(x93)))
p256_fiat64.go#L514: x96, x97 = bits.Add64(x87, x84, uint64(p256Uint1(x95)))
p256_fiat64.go#L518: x99, x100 = bits.Add64(x75, x90, uint64(0x0))
p256_fiat64.go#L521: x101, x102 = bits.Add64(x77, x92, uint64(p256Uint1(x100)))
p256_fiat64.go#L524: x103, x104 = bits.Add64(x79, x94, uint64(p256Uint1(x102)))
p256_fiat64.go#L527: x105, x106 = bits.Add64(x81, x96, uint64(p256Uint1(x104)))
p256_fiat64.go#L530: x107, x108 = bits.Add64(x83, x98, uint64(p256Uint1(x106)))
p256_fiat64.go#L542: x115, x116 = bits.Add64(x114, x111, uint64(0x0))
p256_fiat64.go#L545: _, x119 = bits.Add64(x99, x113, uint64(0x0))
p256_fiat64.go#L548: x120, x121 = bits.Add64(x101, x115, uint64(p256Uint1(x119)))
p256_fiat64.go#L551: x122, x123 = bits.Add64(x103, x117, uint64(p256Uint1(x121)))
p256_fiat64.go#L554: x124, x125 = bits.Add64(x105, x109, uint64(p256Uint1(x123)))
p256_fiat64.go#L557: x126, x127 = bits.Add64(x107, x110, uint64(p256Uint1(x125)))
p256_fiat64.go#L573: x137, x138 = bits.Add64(x136, x133, uint64(0x0))
p256_fiat64.go#L576: x139, x140 = bits.Add64(x134, x131, uint64(p256Uint1(x138)))
p256_fiat64.go#L579: x141, x142 = bits.Add64(x132, x129, uint64(p256Uint1(x140)))
p256_fiat64.go#L583: x144, x145 = bits.Add64(x120, x135, uint64(0x0))
p256_fiat64.go#L586: x146, x147 = bits.Add64(x122, x137, uint64(p256Uint1(x145)))
p256_fiat64.go#L589: x148, x149 = bits.Add64(x124, x139, uint64(p256Uint1(x147)))
p256_fiat64.go#L592: x150, x151 = bits.Add64(x126, x141, uint64(p256Uint1(x149)))
p256_fiat64.go#L595: x152, x153 = bits.Add64(x128, x143, uint64(p256Uint1(x151)))
p256_fiat64.go#L607: x160, x161 = bits.Add64(x159, x156, uint64(0x0))
p256_fiat64.go#L610: _, x164 = bits.Add64(x144, x158, uint64(0x0))
p256_fiat64.go#L613: x165, x166 = bits.Add64(x146, x160, uint64(p256Uint1(x164)))
p256_fiat64.go#L616: x167, x168 = bits.Add64(x148, x162, uint64(p256Uint1(x166)))
p256_fiat64.go#L619: x169, x170 = bits.Add64(x150, x154, uint64(p256Uint1(x168)))
p256_fiat64.go#L622: x171, x172 = bits.Add64(x152, x155, uint64(p256Uint1(x170)))
p256_fiat64.go#L666: x1, x2 = bits.Add64(arg1[0], arg2[0], uint64(0x0))
p256_fiat64.go#L669: x3, x4 = bits.Add64(arg1[1], arg2[1], uint64(p256Uint1(x2)))
p256_fiat64.go#L672: x5, x6 = bits.Add64(arg1[2], arg2[2], uint64(p256Uint1(x4)))
p256_fiat64.go#L675: x7, x8 = bits.Add64(arg1[3], arg2[3], uint64(p256Uint1(x6)))
p256_fiat64.go#L732: x10, x11 = bits.Add64(x1, x9, uint64(0x0))
p256_fiat64.go#L735: x12, x13 = bits.Add64(x3, (x9 & 0xffffffff), uint64(p256Uint1(x11)))
p256_fiat64.go#L738: x14, x15 = bits.Add64(x5, uint64(0x0), uint64(p256Uint1(x13)))
p256_fiat64.go#L740: x16, _ = bits.Add64(x7, (x9 & 0xffffffff00000001), uint64(p256Uint1(x15)))
p256_fiat64.go#L783: x8, x9 = bits.Add64(x7, x4, uint64(0x0))
p256_fiat64.go#L785: _, x11 = bits.Add64(x1, x6, uint64(0x0))
p256_fiat64.go#L788: x12, x13 = bits.Add64(uint64(0x0), x8, uint64(p256Uint1(x11)))
p256_fiat64.go#L791: x14, x15 = bits.Add64(x12, arg1[1], uint64(0x0))
p256_fiat64.go#L803: x22, x23 = bits.Add64(x21, x18, uint64(0x0))
p256_fiat64.go#L805: _, x25 = bits.Add64(x14, x20, uint64(0x0))
p256_fiat64.go#L808: x26, x27 = bits.Add64((uint64(p256Uint1(x15)) + (uint64(p256Uint1(x13)) + (uint64(p256Uint1(x9)) + x5))), x22, uint64(p256Uint1(x25)))
p256_fiat64.go#L811: x28, x29 = bits.Add64(x2, (uint64(p256Uint1(x23)) + x19), uint64(p256Uint1(x27)))
p256_fiat64.go#L814: x30, x31 = bits.Add64(x3, x16, uint64(p256Uint1(x29)))
p256_fiat64.go#L817: x32, x33 = bits.Add64(x26, arg1[2], uint64(0x0))
p256_fiat64.go#L820: x34, x35 = bits.Add64(x28, uint64(0x0), uint64(p256Uint1(x33)))
p256_fiat64.go#L823: x36, x37 = bits.Add64(x30, uint64(0x0), uint64(p256Uint1(x35)))
p256_fiat64.go#L835: x44, x45 = bits.Add64(x43, x40, uint64(0x0))
p256_fiat64.go#L837: _, x47 = bits.Add64(x32, x42, uint64(0x0))
p256_fiat64.go#L840: x48, x49 = bits.Add64(x34, x44, uint64(p256Uint1(x47)))
p256_fiat64.go#L843: x50, x51 = bits.Add64(x36, (uint64(p256Uint1(x45)) + x41), uint64(p256Uint1(x49)))
p256_fiat64.go#L846: x52, x53 = bits.Add64((uint64(p256Uint1(x37)) + (uint64(p256Uint1(x31)) + x17)), x38, uint64(p256Uint1(x51)))
p256_fiat64.go#L849: x54, x55 = bits.Add64(x48, arg1[3], uint64(0x0))
p256_fiat64.go#L852: x56, x57 = bits.Add64(x50, uint64(0x0), uint64(p256Uint1(x55)))
p256_fiat64.go#L855: x58, x59 = bits.Add64(x52, uint64(0x0), uint64(p256Uint1(x57)))
p256_fiat64.go#L867: x66, x67 = bits.Add64(x65, x62, uint64(0x0))
p256_fiat64.go#L869: _, x69 = bits.Add64(x54, x64, uint64(0x0))
p256_fiat64.go#L872: x70, x71 = bits.Add64(x56, x66, uint64(p256Uint1(x69)))
p256_fiat64.go#L875: x72, x73 = bits.Add64(x58, (uint64(p256Uint1(x67)) + x63), uint64(p256Uint1(x71)))
p256_fiat64.go#L878: x74, x75 = bits.Add64((uint64(p256Uint1(x59)) + (uint64(p256Uint1(x53)) + x39)), x60, uint64(p256Uint1(x73)))
p256_fiat64.go#L937: x13, x14 = bits.Add64(x12, x9, uint64(0x0))
p256_fiat64.go#L940: x15, x16 = bits.Add64(x10, x7, uint64(p256Uint1(x14)))
p256_fiat64.go#L943: x17, x18 = bits.Add64(x8, x5, uint64(p256Uint1(x16)))
p256_fiat64.go#L955: x25, x26 = bits.Add64(x24, x21, uint64(0x0))
p256_fiat64.go#L957: _, x28 = bits.Add64(x11, x23, uint64(0x0))
p256_fiat64.go#L960: x29, x30 = bits.Add64(x13, x25, uint64(p256Uint1(x28)))
p256_fiat64.go#L963: x31, x32 = bits.Add64(x15, (uint64(p256Uint1(x26)) + x22), uint64(p256Uint1(x30)))
p256_fiat64.go#L966: x33, x34 = bits.Add64(x17, x19, uint64(p256Uint1(x32)))
p256_fiat64.go#L969: x35, x36 = bits.Add64((uint64(p256Uint1(x18)) + x6), x20, uint64(p256Uint1(x34)))
p256_fiat64.go#L984: x45, x46 = bits.Add64(x44, x41, uint64(0x0))
p256_fiat64.go#L987: x47, x48 = bits.Add64(x42, x39, uint64(p256Uint1(x46)))
p256_fiat64.go#L990: x49, x50 = bits.Add64(x40, x37, uint64(p256Uint1(x48)))
p256_fiat64.go#L993: x51, x52 = bits.Add64(x29, x43, uint64(0x0))
p256_fiat64.go#L996: x53, x54 = bits.Add64(x31, x45, uint64(p256Uint1(x52)))
p256_fiat64.go#L999: x55, x56 = bits.Add64(x33, x47, uint64(p256Uint1(x54)))
p256_fiat64.go#L1002: x57, x58 = bits.Add64(x35, x49, uint64(p256Uint1(x56)))
p256_fiat64.go#L1014: x65, x66 = bits.Add64(x64, x61, uint64(0x0))
p256_fiat64.go#L1016: _, x68 = bits.Add64(x51, x63, uint64(0x0))
p256_fiat64.go#L1019: x69, x70 = bits.Add64(x53, x65, uint64(p256Uint1(x68)))
p256_fiat64.go#L1022: x71, x72 = bits.Add64(x55, (uint64(p256Uint1(x66)) + x62), uint64(p256Uint1(x70)))
p256_fiat64.go#L1025: x73, x74 = bits.Add64(x57, x59, uint64(p256Uint1(x72)))
p256_fiat64.go#L1028: x75, x76 = bits.Add64(((uint64(p256Uint1(x58)) + uint64(p256Uint1(x36))) + (uint64(p256Uint1(x50)) + x38)), x60, uint64(p256Uint1(x74)))
p256_fiat64.go#L1043: x85, x86 = bits.Add64(x84, x81, uint64(0x0))
p256_fiat64.go#L1046: x87, x88 = bits.Add64(x82, x79, uint64(p256Uint1(x86)))
p256_fiat64.go#L1049: x89, x90 = bits.Add64(x80, x77, uint64(p256Uint1(x88)))
p256_fiat64.go#L1052: x91, x92 = bits.Add64(x69, x83, uint64(0x0))
p256_fiat64.go#L1055: x93, x94 = bits.Add64(x71, x85, uint64(p256Uint1(x92)))
p256_fiat64.go#L1058: x95, x96 = bits.Add64(x73, x87, uint64(p256Uint1(x94)))
p256_fiat64.go#L1061: x97, x98 = bits.Add64(x75, x89, uint64(p256Uint1(x96)))
p256_fiat64.go#L1073: x105, x106 = bits.Add64(x104, x101, uint64(0x0))
p256_fiat64.go#L1075: _, x108 = bits.Add64(x91, x103, uint64(0x0))
p256_fiat64.go#L1078: x109, x110 = bits.Add64(x93, x105, uint64(p256Uint1(x108)))
p256_fiat64.go#L1081: x111, x112 = bits.Add64(x95, (uint64(p256Uint1(x106)) + x102), uint64(p256Uint1(x110)))
p256_fiat64.go#L1084: x113, x114 = bits.Add64(x97, x99, uint64(p256Uint1(x112)))
p256_fiat64.go#L1087: x115, x116 = bits.Add64(((uint64(p256Uint1(x98)) + uint64(p256Uint1(x76))) + (uint64(p256Uint1(x90)) + x78)), x100, uint64(p256Uint1(x114)))
p256_fiat64.go#L1102: x125, x126 = bits.Add64(x124, x121, uint64(0x0))
p256_fiat64.go#L1105: x127, x128 = bits.Add64(x122, x119, uint64(p256Uint1(x126)))
p256_fiat64.go#L1108: x129, x130 = bits.Add64(x120, x117, uint64(p256Uint1(x128)))
p256_fiat64.go#L1111: x131, x132 = bits.Add64(x109, x123, uint64(0x0))
p256_fiat64.go#L1114: x133, x134 = bits.Add64(x111, x125, uint64(p256Uint1(x132)))
p256_fiat64.go#L1117: x135, x136 = bits.Add64(x113, x127, uint64(p256Uint1(x134)))
p256_fiat64.go#L1120: x137, x138 = bits.Add64(x115, x129, uint64(p256Uint1(x136)))
p256_fiat64.go#L1132: x145, x146 = bits.Add64(x144, x141, uint64(0x0))
p256_fiat64.go#L1134: _, x148 = bits.Add64(x131, x143, uint64(0x0))
p256_fiat64.go#L1137: x149, x150 = bits.Add64(x133, x145, uint64(p256Uint1(x148)))
p256_fiat64.go#L1140: x151, x152 = bits.Add64(x135, (uint64(p256Uint1(x146)) + x142), uint64(p256Uint1(x150)))
p256_fiat64.go#L1143: x153, x154 = bits.Add64(x137, x139, uint64(p256Uint1(x152)))
p256_fiat64.go#L1146: x155, x156 = bits.Add64(((uint64(p256Uint1(x138)) + uint64(p256Uint1(x116))) + (uint64(p256Uint1(x130)) + x118)), x140, uint64(p256Uint1(x154)))
p384_fiat64.go#L115: x19, x20 = bits.Add64(x18, x15, uint64(0x0))
p384_fiat64.go#L118: x21, x22 = bits.Add64(x16, x13, uint64(p384Uint1(x20)))
p384_fiat64.go#L121: x23, x24 = bits.Add64(x14, x11, uint64(p384Uint1(x22)))
p384_fiat64.go#L124: x25, x26 = bits.Add64(x12, x9, uint64(p384Uint1(x24)))
p384_fiat64.go#L127: x27, x28 = bits.Add64(x10, x7, uint64(p384Uint1(x26)))
p384_fiat64.go#L151: x44, x45 = bits.Add64(x43, x40, uint64(0x0))
p384_fiat64.go#L154: x46, x47 = bits.Add64(x41, x38, uint64(p384Uint1(x45)))
p384_fiat64.go#L157: x48, x49 = bits.Add64(x39, x36, uint64(p384Uint1(x47)))
p384_fiat64.go#L160: x50, x51 = bits.Add64(x37, x34, uint64(p384Uint1(x49)))
p384_fiat64.go#L163: x52, x53 = bits.Add64(x35, x32, uint64(p384Uint1(x51)))
p384_fiat64.go#L166: _, x56 = bits.Add64(x17, x42, uint64(0x0))
p384_fiat64.go#L169: x57, x58 = bits.Add64(x19, x44, uint64(p384Uint1(x56)))
p384_fiat64.go#L172: x59, x60 = bits.Add64(x21, x46, uint64(p384Uint1(x58)))
p384_fiat64.go#L175: x61, x62 = bits.Add64(x23, x48, uint64(p384Uint1(x60)))
p384_fiat64.go#L178: x63, x64 = bits.Add64(x25, x50, uint64(p384Uint1(x62)))
p384_fiat64.go#L181: x65, x66 = bits.Add64(x27, x52, uint64(p384Uint1(x64)))
p384_fiat64.go#L184: x67, x68 = bits.Add64(x29, x54, uint64(p384Uint1(x66)))
p384_fiat64.go#L205: x81, x82 = bits.Add64(x80, x77, uint64(0x0))
p384_fiat64.go#L208: x83, x84 = bits.Add64(x78, x75, uint64(p384Uint1(x82)))
p384_fiat64.go#L211: x85, x86 = bits.Add64(x76, x73, uint64(p384Uint1(x84)))
p384_fiat64.go#L214: x87, x88 = bits.Add64(x74, x71, uint64(p384Uint1(x86)))
p384_fiat64.go#L217: x89, x90 = bits.Add64(x72, x69, uint64(p384Uint1(x88)))
p384_fiat64.go#L221: x92, x93 = bits.Add64(x57, x79, uint64(0x0))
p384_fiat64.go#L224: x94, x95 = bits.Add64(x59, x81, uint64(p384Uint1(x93)))
p384_fiat64.go#L227: x96, x97 = bits.Add64(x61, x83, uint64(p384Uint1(x95)))
p384_fiat64.go#L230: x98, x99 = bits.Add64(x63, x85, uint64(p384Uint1(x97)))
p384_fiat64.go#L233: x100, x101 = bits.Add64(x65, x87, uint64(p384Uint1(x99)))
p384_fiat64.go#L236: x102, x103 = bits.Add64(x67, x89, uint64(p384Uint1(x101)))
p384_fiat64.go#L239: x104, x105 = bits.Add64(uint64(p384Uint1(x68)), x91, uint64(p384Uint1(x103)))
p384_fiat64.go#L262: x120, x121 = bits.Add64(x119, x116, uint64(0x0))
p384_fiat64.go#L265: x122, x123 = bits.Add64(x117, x114, uint64(p384Uint1(x121)))
p384_fiat64.go#L268: x124, x125 = bits.Add64(x115, x112, uint64(p384Uint1(x123)))
p384_fiat64.go#L271: x126, x127 = bits.Add64(x113, x110, uint64(p384Uint1(x125)))
p384_fiat64.go#L274: x128, x129 = bits.Add64(x111, x108, uint64(p384Uint1(x127)))
p384_fiat64.go#L277: _, x132 = bits.Add64(x92, x118, uint64(0x0))
p384_fiat64.go#L280: x133, x134 = bits.Add64(x94, x120, uint64(p384Uint1(x132)))
p384_fiat64.go#L283: x135, x136 = bits.Add64(x96, x122, uint64(p384Uint1(x134)))
p384_fiat64.go#L286: x137, x138 = bits.Add64(x98, x124, uint64(p384Uint1(x136)))
p384_fiat64.go#L289: x139, x140 = bits.Add64(x100, x126, uint64(p384Uint1(x138)))
p384_fiat64.go#L292: x141, x142 = bits.Add64(x102, x128, uint64(p384Uint1(x140)))
p384_fiat64.go#L295: x143, x144 = bits.Add64(x104, x130, uint64(p384Uint1(x142)))
p384_fiat64.go#L317: x158, x159 = bits.Add64(x157, x154, uint64(0x0))
p384_fiat64.go#L320: x160, x161 = bits.Add64(x155, x152, uint64(p384Uint1(x159)))
p384_fiat64.go#L323: x162, x163 = bits.Add64(x153, x150, uint64(p384Uint1(x161)))
p384_fiat64.go#L326: x164, x165 = bits.Add64(x151, x148, uint64(p384Uint1(x163)))
p384_fiat64.go#L329: x166, x167 = bits.Add64(x149, x146, uint64(p384Uint1(x165)))
p384_fiat64.go#L333: x169, x170 = bits.Add64(x133, x156, uint64(0x0))
p384_fiat64.go#L336: x171, x172 = bits.Add64(x135, x158, uint64(p384Uint1(x170)))
p384_fiat64.go#L339: x173, x174 = bits.Add64(x137, x160, uint64(p384Uint1(x172)))
p384_fiat64.go#L342: x175, x176 = bits.Add64(x139, x162, uint64(p384Uint1(x174)))
p384_fiat64.go#L345: x177, x178 = bits.Add64(x141, x164, uint64(p384Uint1(x176)))
p384_fiat64.go#L348: x179, x180 = bits.Add64(x143, x166, uint64(p384Uint1(x178)))
p384_fiat64.go#L351: x181, x182 = bits.Add64(x145, x168, uint64(p384Uint1(x180)))
p384_fiat64.go#L374: x197, x198 = bits.Add64(x196, x193, uint64(0x0))
p384_fiat64.go#L377: x199, x200 = bits.Add64(x194, x191, uint64(p384Uint1(x198)))
p384_fiat64.go#L380: x201, x202 = bits.Add64(x192, x189, uint64(p384Uint1(x200)))
p384_fiat64.go#L383: x203, x204 = bits.Add64(x190, x187, uint64(p384Uint1(x202)))
p384_fiat64.go#L386: x205, x206 = bits.Add64(x188, x185, uint64(p384Uint1(x204)))
p384_fiat64.go#L389: _, x209 = bits.Add64(x169, x195, uint64(0x0))
p384_fiat64.go#L392: x210, x211 = bits.Add64(x171, x197, uint64(p384Uint1(x209)))
p384_fiat64.go#L395: x212, x213 = bits.Add64(x173, x199, uint64(p384Uint1(x211)))
p384_fiat64.go#L398: x214, x215 = bits.Add64(x175, x201, uint64(p384Uint1(x213)))
p384_fiat64.go#L401: x216, x217 = bits.Add64(x177, x203, uint64(p384Uint1(x215)))
p384_fiat64.go#L404: x218, x219 = bits.Add64(x179, x205, uint64(p384Uint1(x217)))
p384_fiat64.go#L407: x220, x221 = bits.Add64(x181, x207, uint64(p384Uint1(x219)))
p384_fiat64.go#L429: x235, x236 = bits.Add64(x234, x231, uint64(0x0))
p384_fiat64.go#L432: x237, x238 = bits.Add64(x232, x229, uint64(p384Uint1(x236)))
p384_fiat64.go#L435: x239, x240 = bits.Add64(x230, x227, uint64(p384Uint1(x238)))
p384_fiat64.go#L438: x241, x242 = bits.Add64(x228, x225, uint64(p384Uint1(x240)))
p384_fiat64.go#L441: x243, x244 = bits.Add64(x226, x223, uint64(p384Uint1(x242)))
p384_fiat64.go#L445: x246, x247 = bits.Add64(x210, x233, uint64(0x0))
p384_fiat64.go#L448: x248, x249 = bits.Add64(x212, x235, uint64(p384Uint1(x247)))
p384_fiat64.go#L451: x250, x251 = bits.Add64(x214, x237, uint64(p384Uint1(x249)))
p384_fiat64.go#L454: x252, x253 = bits.Add64(x216, x239, uint64(p384Uint1(x251)))
p384_fiat64.go#L457: x254, x255 = bits.Add64(x218, x241, uint64(p384Uint1(x253)))
p384_fiat64.go#L460: x256, x257 = bits.Add64(x220, x243, uint64(p384Uint1(x255)))
p384_fiat64.go#L463: x258, x259 = bits.Add64(x222, x245, uint64(p384Uint1(x257)))
p384_fiat64.go#L486: x274, x275 = bits.Add64(x273, x270, uint64(0x0))
p384_fiat64.go#L489: x276, x277 = bits.Add64(x271, x268, uint64(p384Uint1(x275)))
p384_fiat64.go#L492: x278, x279 = bits.Add64(x269, x266, uint64(p384Uint1(x277)))
p384_fiat64.go#L495: x280, x281 = bits.Add64(x267, x264, uint64(p384Uint1(x279)))
p384_fiat64.go#L498: x282, x283 = bits.Add64(x265, x262, uint64(p384Uint1(x281)))
p384_fiat64.go#L501: _, x286 = bits.Add64(x246, x272, uint64(0x0))
p384_fiat64.go#L504: x287, x288 = bits.Add64(x248, x274, uint64(p384Uint1(x286)))
p384_fiat64.go#L507: x289, x290 = bits.Add64(x250, x276, uint64(p384Uint1(x288)))
p384_fiat64.go#L510: x291, x292 = bits.Add64(x252, x278, uint64(p384Uint1(x290)))
p384_fiat64.go#L513: x293, x294 = bits.Add64(x254, x280, uint64(p384Uint1(x292)))
p384_fiat64.go#L516: x295, x296 = bits.Add64(x256, x282, uint64(p384Uint1(x294)))
p384_fiat64.go#L519: x297, x298 = bits.Add64(x258, x284, uint64(p384Uint1(x296)))
p384_fiat64.go#L541: x312, x313 = bits.Add64(x311, x308, uint64(0x0))
p384_fiat64.go#L544: x314, x315 = bits.Add64(x309, x306, uint64(p384Uint1(x313)))
p384_fiat64.go#L547: x316, x317 = bits.Add64(x307, x304, uint64(p384Uint1(x315)))
p384_fiat64.go#L550: x318, x319 = bits.Add64(x305, x302, uint64(p384Uint1(x317)))
p384_fiat64.go#L553: x320, x321 = bits.Add64(x303, x300, uint64(p384Uint1(x319)))
p384_fiat64.go#L557: x323, x324 = bits.Add64(x287, x310, uint64(0x0))
p384_fiat64.go#L560: x325, x326 = bits.Add64(x289, x312, uint64(p384Uint1(x324)))
p384_fiat64.go#L563: x327, x328 = bits.Add64(x291, x314, uint64(p384Uint1(x326)))
p384_fiat64.go#L566: x329, x330 = bits.Add64(x293, x316, uint64(p384Uint1(x328)))
p384_fiat64.go#L569: x331, x332 = bits.Add64(x295, x318, uint64(p384Uint1(x330)))
p384_fiat64.go#L572: x333, x334 = bits.Add64(x297, x320, uint64(p384Uint1(x332)))
p384_fiat64.go#L575: x335, x336 = bits.Add64(x299, x322, uint64(p384Uint1(x334)))
p384_fiat64.go#L598: x351, x352 = bits.Add64(x350, x347, uint64(0x0))
p384_fiat64.go#L601: x353, x354 = bits.Add64(x348, x345, uint64(p384Uint1(x352)))
p384_fiat64.go#L604: x355, x356 = bits.Add64(x346, x343, uint64(p384Uint1(x354)))
p384_fiat64.go#L607: x357, x358 = bits.Add64(x344, x341, uint64(p384Uint1(x356)))
p384_fiat64.go#L610: x359, x360 = bits.Add64(x342, x339, uint64(p384Uint1(x358)))
p384_fiat64.go#L613: _, x363 = bits.Add64(x323, x349, uint64(0x0))
p384_fiat64.go#L616: x364, x365 = bits.Add64(x325, x351, uint64(p384Uint1(x363)))
p384_fiat64.go#L619: x366, x367 = bits.Add64(x327, x353, uint64(p384Uint1(x365)))
p384_fiat64.go#L622: x368, x369 = bits.Add64(x329, x355, uint64(p384Uint1(x367)))
p384_fiat64.go#L625: x370, x371 = bits.Add64(x331, x357, uint64(p384Uint1(x369)))
p384_fiat64.go#L628: x372, x373 = bits.Add64(x333, x359, uint64(p384Uint1(x371)))
p384_fiat64.go#L631: x374, x375 = bits.Add64(x335, x361, uint64(p384Uint1(x373)))
p384_fiat64.go#L653: x389, x390 = bits.Add64(x388, x385, uint64(0x0))
p384_fiat64.go#L656: x391, x392 = bits.Add64(x386, x383, uint64(p384Uint1(x390)))
p384_fiat64.go#L659: x393, x394 = bits.Add64(x384, x381, uint64(p384Uint1(x392)))
p384_fiat64.go#L662: x395, x396 = bits.Add64(x382, x379, uint64(p384Uint1(x394)))
p384_fiat64.go#L665: x397, x398 = bits.Add64(x380, x377, uint64(p384Uint1(x396)))
p384_fiat64.go#L669: x400, x401 = bits.Add64(x364, x387, uint64(0x0))
p384_fiat64.go#L672: x402, x403 = bits.Add64(x366, x389, uint64(p384Uint1(x401)))
p384_fiat64.go#L675: x404, x405 = bits.Add64(x368, x391, uint64(p384Uint1(x403)))
p384_fiat64.go#L678: x406, x407 = bits.Add64(x370, x393, uint64(p384Uint1(x405)))
p384_fiat64.go#L681: x408, x409 = bits.Add64(x372, x395, uint64(p384Uint1(x407)))
p384_fiat64.go#L684: x410, x411 = bits.Add64(x374, x397, uint64(p384Uint1(x409)))
p384_fiat64.go#L687: x412, x413 = bits.Add64(x376, x399, uint64(p384Uint1(x411)))
p384_fiat64.go#L710: x428, x429 = bits.Add64(x427, x424, uint64(0x0))
p384_fiat64.go#L713: x430, x431 = bits.Add64(x425, x422, uint64(p384Uint1(x429)))
p384_fiat64.go#L716: x432, x433 = bits.Add64(x423, x420, uint64(p384Uint1(x431)))
p384_fiat64.go#L719: x434, x435 = bits.Add64(x421, x418, uint64(p384Uint1(x433)))
p384_fiat64.go#L722: x436, x437 = bits.Add64(x419, x416, uint64(p384Uint1(x435)))
p384_fiat64.go#L725: _, x440 = bits.Add64(x400, x426, uint64(0x0))
p384_fiat64.go#L728: x441, x442 = bits.Add64(x402, x428, uint64(p384Uint1(x440)))
p384_fiat64.go#L731: x443, x444 = bits.Add64(x404, x430, uint64(p384Uint1(x442)))
p384_fiat64.go#L734: x445, x446 = bits.Add64(x406, x432, uint64(p384Uint1(x444)))
p384_fiat64.go#L737: x447, x448 = bits.Add64(x408, x434, uint64(p384Uint1(x446)))
p384_fiat64.go#L740: x449, x450 = bits.Add64(x410, x436, uint64(p384Uint1(x448)))
p384_fiat64.go#L743: x451, x452 = bits.Add64(x412, x438, uint64(p384Uint1(x450)))
p384_fiat64.go#L822: x19, x20 = bits.Add64(x18, x15, uint64(0x0))
p384_fiat64.go#L825: x21, x22 = bits.Add64(x16, x13, uint64(p384Uint1(x20)))
p384_fiat64.go#L828: x23, x24 = bits.Add64(x14, x11, uint64(p384Uint1(x22)))
p384_fiat64.go#L831: x25, x26 = bits.Add64(x12, x9, uint64(p384Uint1(x24)))
p384_fiat64.go#L834: x27, x28 = bits.Add64(x10, x7, uint64(p384Uint1(x26)))
p384_fiat64.go#L858: x44, x45 = bits.Add64(x43, x40, uint64(0x0))
p384_fiat64.go#L861: x46, x47 = bits.Add64(x41, x38, uint64(p384Uint1(x45)))
p384_fiat64.go#L864: x48, x49 = bits.Add64(x39, x36, uint64(p384Uint1(x47)))
p384_fiat64.go#L867: x50, x51 = bits.Add64(x37, x34, uint64(p384Uint1(x49)))
p384_fiat64.go#L870: x52, x53 = bits.Add64(x35, x32, uint64(p384Uint1(x51)))
p384_fiat64.go#L873: _, x56 = bits.Add64(x17, x42, uint64(0x0))
p384_fiat64.go#L876: x57, x58 = bits.Add64(x19, x44, uint64(p384Uint1(x56)))
p384_fiat64.go#L879: x59, x60 = bits.Add64(x21, x46, uint64(p384Uint1(x58)))
p384_fiat64.go#L882: x61, x62 = bits.Add64(x23, x48, uint64(p384Uint1(x60)))
p384_fiat64.go#L885: x63, x64 = bits.Add64(x25, x50, uint64(p384Uint1(x62)))
p384_fiat64.go#L888: x65, x66 = bits.Add64(x27, x52, uint64(p384Uint1(x64)))
p384_fiat64.go#L891: x67, x68 = bits.Add64(x29, x54, uint64(p384Uint1(x66)))
p384_fiat64.go#L912: x81, x82 = bits.Add64(x80, x77, uint64(0x0))
p384_fiat64.go#L915: x83, x84 = bits.Add64(x78, x75, uint64(p384Uint1(x82)))
p384_fiat64.go#L918: x85, x86 = bits.Add64(x76, x73, uint64(p384Uint1(x84)))
p384_fiat64.go#L921: x87, x88 = bits.Add64(x74, x71, uint64(p384Uint1(x86)))
p384_fiat64.go#L924: x89, x90 = bits.Add64(x72, x69, uint64(p384Uint1(x88)))
p384_fiat64.go#L928: x92, x93 = bits.Add64(x57, x79, uint64(0x0))
p384_fiat64.go#L931: x94, x95 = bits.Add64(x59, x81, uint64(p384Uint1(x93)))
p384_fiat64.go#L934: x96, x97 = bits.Add64(x61, x83, uint64(p384Uint1(x95)))
p384_fiat64.go#L937: x98, x99 = bits.Add64(x63, x85, uint64(p384Uint1(x97)))
p384_fiat64.go#L940: x100, x101 = bits.Add64(x65, x87, uint64(p384Uint1(x99)))
p384_fiat64.go#L943: x102, x103 = bits.Add64(x67, x89, uint64(p384Uint1(x101)))
p384_fiat64.go#L946: x104, x105 = bits.Add64(uint64(p384Uint1(x68)), x91, uint64(p384Uint1(x103)))
p384_fiat64.go#L969: x120, x121 = bits.Add64(x119, x116, uint64(0x0))
p384_fiat64.go#L972: x122, x123 = bits.Add64(x117, x114, uint64(p384Uint1(x121)))
p384_fiat64.go#L975: x124, x125 = bits.Add64(x115, x112, uint64(p384Uint1(x123)))
p384_fiat64.go#L978: x126, x127 = bits.Add64(x113, x110, uint64(p384Uint1(x125)))
p384_fiat64.go#L981: x128, x129 = bits.Add64(x111, x108, uint64(p384Uint1(x127)))
p384_fiat64.go#L984: _, x132 = bits.Add64(x92, x118, uint64(0x0))
p384_fiat64.go#L987: x133, x134 = bits.Add64(x94, x120, uint64(p384Uint1(x132)))
p384_fiat64.go#L990: x135, x136 = bits.Add64(x96, x122, uint64(p384Uint1(x134)))
p384_fiat64.go#L993: x137, x138 = bits.Add64(x98, x124, uint64(p384Uint1(x136)))
p384_fiat64.go#L996: x139, x140 = bits.Add64(x100, x126, uint64(p384Uint1(x138)))
p384_fiat64.go#L999: x141, x142 = bits.Add64(x102, x128, uint64(p384Uint1(x140)))
p384_fiat64.go#L1002: x143, x144 = bits.Add64(x104, x130, uint64(p384Uint1(x142)))
p384_fiat64.go#L1024: x158, x159 = bits.Add64(x157, x154, uint64(0x0))
p384_fiat64.go#L1027: x160, x161 = bits.Add64(x155, x152, uint64(p384Uint1(x159)))
p384_fiat64.go#L1030: x162, x163 = bits.Add64(x153, x150, uint64(p384Uint1(x161)))
p384_fiat64.go#L1033: x164, x165 = bits.Add64(x151, x148, uint64(p384Uint1(x163)))
p384_fiat64.go#L1036: x166, x167 = bits.Add64(x149, x146, uint64(p384Uint1(x165)))
p384_fiat64.go#L1040: x169, x170 = bits.Add64(x133, x156, uint64(0x0))
p384_fiat64.go#L1043: x171, x172 = bits.Add64(x135, x158, uint64(p384Uint1(x170)))
p384_fiat64.go#L1046: x173, x174 = bits.Add64(x137, x160, uint64(p384Uint1(x172)))
p384_fiat64.go#L1049: x175, x176 = bits.Add64(x139, x162, uint64(p384Uint1(x174)))
p384_fiat64.go#L1052: x177, x178 = bits.Add64(x141, x164, uint64(p384Uint1(x176)))
p384_fiat64.go#L1055: x179, x180 = bits.Add64(x143, x166, uint64(p384Uint1(x178)))
p384_fiat64.go#L1058: x181, x182 = bits.Add64(x145, x168, uint64(p384Uint1(x180)))
p384_fiat64.go#L1081: x197, x198 = bits.Add64(x196, x193, uint64(0x0))
p384_fiat64.go#L1084: x199, x200 = bits.Add64(x194, x191, uint64(p384Uint1(x198)))
p384_fiat64.go#L1087: x201, x202 = bits.Add64(x192, x189, uint64(p384Uint1(x200)))
p384_fiat64.go#L1090: x203, x204 = bits.Add64(x190, x187, uint64(p384Uint1(x202)))
p384_fiat64.go#L1093: x205, x206 = bits.Add64(x188, x185, uint64(p384Uint1(x204)))
p384_fiat64.go#L1096: _, x209 = bits.Add64(x169, x195, uint64(0x0))
p384_fiat64.go#L1099: x210, x211 = bits.Add64(x171, x197, uint64(p384Uint1(x209)))
p384_fiat64.go#L1102: x212, x213 = bits.Add64(x173, x199, uint64(p384Uint1(x211)))
p384_fiat64.go#L1105: x214, x215 = bits.Add64(x175, x201, uint64(p384Uint1(x213)))
p384_fiat64.go#L1108: x216, x217 = bits.Add64(x177, x203, uint64(p384Uint1(x215)))
p384_fiat64.go#L1111: x218, x219 = bits.Add64(x179, x205, uint64(p384Uint1(x217)))
p384_fiat64.go#L1114: x220, x221 = bits.Add64(x181, x207, uint64(p384Uint1(x219)))
p384_fiat64.go#L1136: x235, x236 = bits.Add64(x234, x231, uint64(0x0))
p384_fiat64.go#L1139: x237, x238 = bits.Add64(x232, x229, uint64(p384Uint1(x236)))
p384_fiat64.go#L1142: x239, x240 = bits.Add64(x230, x227, uint64(p384Uint1(x238)))
p384_fiat64.go#L1145: x241, x242 = bits.Add64(x228, x225, uint64(p384Uint1(x240)))
p384_fiat64.go#L1148: x243, x244 = bits.Add64(x226, x223, uint64(p384Uint1(x242)))
p384_fiat64.go#L1152: x246, x247 = bits.Add64(x210, x233, uint64(0x0))
p384_fiat64.go#L1155: x248, x249 = bits.Add64(x212, x235, uint64(p384Uint1(x247)))
p384_fiat64.go#L1158: x250, x251 = bits.Add64(x214, x237, uint64(p384Uint1(x249)))
p384_fiat64.go#L1161: x252, x253 = bits.Add64(x216, x239, uint64(p384Uint1(x251)))
p384_fiat64.go#L1164: x254, x255 = bits.Add64(x218, x241, uint64(p384Uint1(x253)))
p384_fiat64.go#L1167: x256, x257 = bits.Add64(x220, x243, uint64(p384Uint1(x255)))
p384_fiat64.go#L1170: x258, x259 = bits.Add64(x222, x245, uint64(p384Uint1(x257)))
p384_fiat64.go#L1193: x274, x275 = bits.Add64(x273, x270, uint64(0x0))
p384_fiat64.go#L1196: x276, x277 = bits.Add64(x271, x268, uint64(p384Uint1(x275)))
p384_fiat64.go#L1199: x278, x279 = bits.Add64(x269, x266, uint64(p384Uint1(x277)))
p384_fiat64.go#L1202: x280, x281 = bits.Add64(x267, x264, uint64(p384Uint1(x279)))
p384_fiat64.go#L1205: x282, x283 = bits.Add64(x265, x262, uint64(p384Uint1(x281)))
p384_fiat64.go#L1208: _, x286 = bits.Add64(x246, x272, uint64(0x0))
p384_fiat64.go#L1211: x287, x288 = bits.Add64(x248, x274, uint64(p384Uint1(x286)))
p384_fiat64.go#L1214: x289, x290 = bits.Add64(x250, x276, uint64(p384Uint1(x288)))
p384_fiat64.go#L1217: x291, x292 = bits.Add64(x252, x278, uint64(p384Uint1(x290)))
p384_fiat64.go#L1220: x293, x294 = bits.Add64(x254, x280, uint64(p384Uint1(x292)))
p384_fiat64.go#L1223: x295, x296 = bits.Add64(x256, x282, uint64(p384Uint1(x294)))
p384_fiat64.go#L1226: x297, x298 = bits.Add64(x258, x284, uint64(p384Uint1(x296)))
p384_fiat64.go#L1248: x312, x313 = bits.Add64(x311, x308, uint64(0x0))
p384_fiat64.go#L1251: x314, x315 = bits.Add64(x309, x306, uint64(p384Uint1(x313)))
p384_fiat64.go#L1254: x316, x317 = bits.Add64(x307, x304, uint64(p384Uint1(x315)))
p384_fiat64.go#L1257: x318, x319 = bits.Add64(x305, x302, uint64(p384Uint1(x317)))
p384_fiat64.go#L1260: x320, x321 = bits.Add64(x303, x300, uint64(p384Uint1(x319)))
p384_fiat64.go#L1264: x323, x324 = bits.Add64(x287, x310, uint64(0x0))
p384_fiat64.go#L1267: x325, x326 = bits.Add64(x289, x312, uint64(p384Uint1(x324)))
p384_fiat64.go#L1270: x327, x328 = bits.Add64(x291, x314, uint64(p384Uint1(x326)))
p384_fiat64.go#L1273: x329, x330 = bits.Add64(x293, x316, uint64(p384Uint1(x328)))
p384_fiat64.go#L1276: x331, x332 = bits.Add64(x295, x318, uint64(p384Uint1(x330)))
p384_fiat64.go#L1279: x333, x334 = bits.Add64(x297, x320, uint64(p384Uint1(x332)))
p384_fiat64.go#L1282: x335, x336 = bits.Add64(x299, x322, uint64(p384Uint1(x334)))
p384_fiat64.go#L1305: x351, x352 = bits.Add64(x350, x347, uint64(0x0))
p384_fiat64.go#L1308: x353, x354 = bits.Add64(x348, x345, uint64(p384Uint1(x352)))
p384_fiat64.go#L1311: x355, x356 = bits.Add64(x346, x343, uint64(p384Uint1(x354)))
p384_fiat64.go#L1314: x357, x358 = bits.Add64(x344, x341, uint64(p384Uint1(x356)))
p384_fiat64.go#L1317: x359, x360 = bits.Add64(x342, x339, uint64(p384Uint1(x358)))
p384_fiat64.go#L1320: _, x363 = bits.Add64(x323, x349, uint64(0x0))
p384_fiat64.go#L1323: x364, x365 = bits.Add64(x325, x351, uint64(p384Uint1(x363)))
p384_fiat64.go#L1326: x366, x367 = bits.Add64(x327, x353, uint64(p384Uint1(x365)))
p384_fiat64.go#L1329: x368, x369 = bits.Add64(x329, x355, uint64(p384Uint1(x367)))
p384_fiat64.go#L1332: x370, x371 = bits.Add64(x331, x357, uint64(p384Uint1(x369)))
p384_fiat64.go#L1335: x372, x373 = bits.Add64(x333, x359, uint64(p384Uint1(x371)))
p384_fiat64.go#L1338: x374, x375 = bits.Add64(x335, x361, uint64(p384Uint1(x373)))
p384_fiat64.go#L1360: x389, x390 = bits.Add64(x388, x385, uint64(0x0))
p384_fiat64.go#L1363: x391, x392 = bits.Add64(x386, x383, uint64(p384Uint1(x390)))
p384_fiat64.go#L1366: x393, x394 = bits.Add64(x384, x381, uint64(p384Uint1(x392)))
p384_fiat64.go#L1369: x395, x396 = bits.Add64(x382, x379, uint64(p384Uint1(x394)))
p384_fiat64.go#L1372: x397, x398 = bits.Add64(x380, x377, uint64(p384Uint1(x396)))
p384_fiat64.go#L1376: x400, x401 = bits.Add64(x364, x387, uint64(0x0))
p384_fiat64.go#L1379: x402, x403 = bits.Add64(x366, x389, uint64(p384Uint1(x401)))
p384_fiat64.go#L1382: x404, x405 = bits.Add64(x368, x391, uint64(p384Uint1(x403)))
p384_fiat64.go#L1385: x406, x407 = bits.Add64(x370, x393, uint64(p384Uint1(x405)))
p384_fiat64.go#L1388: x408, x409 = bits.Add64(x372, x395, uint64(p384Uint1(x407)))
p384_fiat64.go#L1391: x410, x411 = bits.Add64(x374, x397, uint64(p384Uint1(x409)))
p384_fiat64.go#L1394: x412, x413 = bits.Add64(x376, x399, uint64(p384Uint1(x411)))
p384_fiat64.go#L1417: x428, x429 = bits.Add64(x427, x424, uint64(0x0))
p384_fiat64.go#L1420: x430, x431 = bits.Add64(x425, x422, uint64(p384Uint1(x429)))
p384_fiat64.go#L1423: x432, x433 = bits.Add64(x423, x420, uint64(p384Uint1(x431)))
p384_fiat64.go#L1426: x434, x435 = bits.Add64(x421, x418, uint64(p384Uint1(x433)))
p384_fiat64.go#L1429: x436, x437 = bits.Add64(x419, x416, uint64(p384Uint1(x435)))
p384_fiat64.go#L1432: _, x440 = bits.Add64(x400, x426, uint64(0x0))
p384_fiat64.go#L1435: x441, x442 = bits.Add64(x402, x428, uint64(p384Uint1(x440)))
p384_fiat64.go#L1438: x443, x444 = bits.Add64(x404, x430, uint64(p384Uint1(x442)))
p384_fiat64.go#L1441: x445, x446 = bits.Add64(x406, x432, uint64(p384Uint1(x444)))
p384_fiat64.go#L1444: x447, x448 = bits.Add64(x408, x434, uint64(p384Uint1(x446)))
p384_fiat64.go#L1447: x449, x450 = bits.Add64(x410, x436, uint64(p384Uint1(x448)))
p384_fiat64.go#L1450: x451, x452 = bits.Add64(x412, x438, uint64(p384Uint1(x450)))
p384_fiat64.go#L1506: x1, x2 = bits.Add64(arg1[0], arg2[0], uint64(0x0))
p384_fiat64.go#L1509: x3, x4 = bits.Add64(arg1[1], arg2[1], uint64(p384Uint1(x2)))
p384_fiat64.go#L1512: x5, x6 = bits.Add64(arg1[2], arg2[2], uint64(p384Uint1(x4)))
p384_fiat64.go#L1515: x7, x8 = bits.Add64(arg1[3], arg2[3], uint64(p384Uint1(x6)))
p384_fiat64.go#L1518: x9, x10 = bits.Add64(arg1[4], arg2[4], uint64(p384Uint1(x8)))
p384_fiat64.go#L1521: x11, x12 = bits.Add64(arg1[5], arg2[5], uint64(p384Uint1(x10)))
p384_fiat64.go#L1596: x14, x15 = bits.Add64(x1, (x13 & 0xffffffff), uint64(0x0))
p384_fiat64.go#L1599: x16, x17 = bits.Add64(x3, (x13 & 0xffffffff00000000), uint64(p384Uint1(x15)))
p384_fiat64.go#L1602: x18, x19 = bits.Add64(x5, (x13 & 0xfffffffffffffffe), uint64(p384Uint1(x17)))
p384_fiat64.go#L1605: x20, x21 = bits.Add64(x7, x13, uint64(p384Uint1(x19)))
p384_fiat64.go#L1608: x22, x23 = bits.Add64(x9, x13, uint64(p384Uint1(x21)))
p384_fiat64.go#L1610: x24, _ = bits.Add64(x11, x13, uint64(p384Uint1(x23)))
p384_fiat64.go#L1668: x16, x17 = bits.Add64(x15, x12, uint64(0x0))
p384_fiat64.go#L1671: x18, x19 = bits.Add64(x13, x10, uint64(p384Uint1(x17)))
p384_fiat64.go#L1674: x20, x21 = bits.Add64(x11, x8, uint64(p384Uint1(x19)))
p384_fiat64.go#L1677: x22, x23 = bits.Add64(x9, x6, uint64(p384Uint1(x21)))
p384_fiat64.go#L1680: x24, x25 = bits.Add64(x7, x4, uint64(p384Uint1(x23)))
p384_fiat64.go#L1682: _, x27 = bits.Add64(x1, x14, uint64(0x0))
p384_fiat64.go#L1685: x28, x29 = bits.Add64(uint64(0x0), x16, uint64(p384Uint1(x27)))
p384_fiat64.go#L1688: x30, x31 = bits.Add64(uint64(0x0), x18, uint64(p384Uint1(x29)))
p384_fiat64.go#L1691: x32, x33 = bits.Add64(uint64(0x0), x20, uint64(p384Uint1(x31)))
p384_fiat64.go#L1694: x34, x35 = bits.Add64(uint64(0x0), x22, uint64(p384Uint1(x33)))
p384_fiat64.go#L1697: x36, x37 = bits.Add64(uint64(0x0), x24, uint64(p384Uint1(x35)))
p384_fiat64.go#L1700: x38, x39 = bits.Add64(uint64(0x0), (uint64(p384Uint1(x25)) + x5), uint64(p384Uint1(x37)))
p384_fiat64.go#L1703: x40, x41 = bits.Add64(x28, arg1[1], uint64(0x0))
p384_fiat64.go#L1706: x42, x43 = bits.Add64(x30, uint64(0x0), uint64(p384Uint1(x41)))
p384_fiat64.go#L1709: x44, x45 = bits.Add64(x32, uint64(0x0), uint64(p384Uint1(x43)))
p384_fiat64.go#L1712: x46, x47 = bits.Add64(x34, uint64(0x0), uint64(p384Uint1(x45)))
p384_fiat64.go#L1715: x48, x49 = bits.Add64(x36, uint64(0x0), uint64(p384Uint1(x47)))
p384_fiat64.go#L1718: x50, x51 = bits.Add64(x38, uint64(0x0), uint64(p384Uint1(x49)))
p384_fiat64.go#L1741: x66, x67 = bits.Add64(x65, x62, uint64(0x0))
p384_fiat64.go#L1744: x68, x69 = bits.Add64(x63, x60, uint64(p384Uint1(x67)))
p384_fiat64.go#L1747: x70, x71 = bits.Add64(x61, x58, uint64(p384Uint1(x69)))
p384_fiat64.go#L1750: x72, x73 = bits.Add64(x59, x56, uint64(p384Uint1(x71)))
p384_fiat64.go#L1753: x74, x75 = bits.Add64(x57, x54, uint64(p384Uint1(x73)))
p384_fiat64.go#L1755: _, x77 = bits.Add64(x40, x64, uint64(0x0))
p384_fiat64.go#L1758: x78, x79 = bits.Add64(x42, x66, uint64(p384Uint1(x77)))
p384_fiat64.go#L1761: x80, x81 = bits.Add64(x44, x68, uint64(p384Uint1(x79)))
p384_fiat64.go#L1764: x82, x83 = bits.Add64(x46, x70, uint64(p384Uint1(x81)))
p384_fiat64.go#L1767: x84, x85 = bits.Add64(x48, x72, uint64(p384Uint1(x83)))
p384_fiat64.go#L1770: x86, x87 = bits.Add64(x50, x74, uint64(p384Uint1(x85)))
p384_fiat64.go#L1773: x88, x89 = bits.Add64((uint64(p384Uint1(x51)) + uint64(p384Uint1(x39))), (uint64(p384Uint1(x75)) + x55), uint64(p384Uint1(x87)))
p384_fiat64.go#L1776: x90, x91 = bits.Add64(x78, arg1[2], uint64(0x0))
p384_fiat64.go#L1779: x92, x93 = bits.Add64(x80, uint64(0x0), uint64(p384Uint1(x91)))
p384_fiat64.go#L1782: x94, x95 = bits.Add64(x82, uint64(0x0), uint64(p384Uint1(x93)))
p384_fiat64.go#L1785: x96, x97 = bits.Add64(x84, uint64(0x0), uint64(p384Uint1(x95)))
p384_fiat64.go#L1788: x98, x99 = bits.Add64(x86, uint64(0x0), uint64(p384Uint1(x97)))
p384_fiat64.go#L1791: x100, x101 = bits.Add64(x88, uint64(0x0), uint64(p384Uint1(x99)))
p384_fiat64.go#L1814: x116, x117 = bits.Add64(x115, x112, uint64(0x0))
p384_fiat64.go#L1817: x118, x119 = bits.Add64(x113, x110, uint64(p384Uint1(x117)))
p384_fiat64.go#L1820: x120, x121 = bits.Add64(x111, x108, uint64(p384Uint1(x119)))
p384_fiat64.go#L1823: x122, x123 = bits.Add64(x109, x106, uint64(p384Uint1(x121)))
p384_fiat64.go#L1826: x124, x125 = bits.Add64(x107, x104, uint64(p384Uint1(x123)))
p384_fiat64.go#L1828: _, x127 = bits.Add64(x90, x114, uint64(0x0))
p384_fiat64.go#L1831: x128, x129 = bits.Add64(x92, x116, uint64(p384Uint1(x127)))
p384_fiat64.go#L1834: x130, x131 = bits.Add64(x94, x118, uint64(p384Uint1(x129)))
p384_fiat64.go#L1837: x132, x133 = bits.Add64(x96, x120, uint64(p384Uint1(x131)))
p384_fiat64.go#L1840: x134, x135 = bits.Add64(x98, x122, uint64(p384Uint1(x133)))
p384_fiat64.go#L1843: x136, x137 = bits.Add64(x100, x124, uint64(p384Uint1(x135)))
p384_fiat64.go#L1846: x138, x139 = bits.Add64((uint64(p384Uint1(x101)) + uint64(p384Uint1(x89))), (uint64(p384Uint1(x125)) + x105), uint64(p384Uint1(x137)))
p384_fiat64.go#L1849: x140, x141 = bits.Add64(x128, arg1[3], uint64(0x0))
p384_fiat64.go#L1852: x142, x143 = bits.Add64(x130, uint64(0x0), uint64(p384Uint1(x141)))
p384_fiat64.go#L1855: x144, x145 = bits.Add64(x132, uint64(0x0), uint64(p384Uint1(x143)))
p384_fiat64.go#L1858: x146, x147 = bits.Add64(x134, uint64(0x0), uint64(p384Uint1(x145)))
p384_fiat64.go#L1861: x148, x149 = bits.Add64(x136, uint64(0x0), uint64(p384Uint1(x147)))
p384_fiat64.go#L1864: x150, x151 = bits.Add64(x138, uint64(0x0), uint64(p384Uint1(x149)))
p384_fiat64.go#L1887: x166, x167 = bits.Add64(x165, x162, uint64(0x0))
p384_fiat64.go#L1890: x168, x169 = bits.Add64(x163, x160, uint64(p384Uint1(x167)))
p384_fiat64.go#L1893: x170, x171 = bits.Add64(x161, x158, uint64(p384Uint1(x169)))
p384_fiat64.go#L1896: x172, x173 = bits.Add64(x159, x156, uint64(p384Uint1(x171)))
p384_fiat64.go#L1899: x174, x175 = bits.Add64(x157, x154, uint64(p384Uint1(x173)))
p384_fiat64.go#L1901: _, x177 = bits.Add64(x140, x164, uint64(0x0))
p384_fiat64.go#L1904: x178, x179 = bits.Add64(x142, x166, uint64(p384Uint1(x177)))
p384_fiat64.go#L1907: x180, x181 = bits.Add64(x144, x168, uint64(p384Uint1(x179)))
p384_fiat64.go#L1910: x182, x183 = bits.Add64(x146, x170, uint64(p384Uint1(x181)))
p384_fiat64.go#L1913: x184, x185 = bits.Add64(x148, x172, uint64(p384Uint1(x183)))
p384_fiat64.go#L1916: x186, x187 = bits.Add64(x150, x174, uint64(p384Uint1(x185)))
p384_fiat64.go#L1919: x188, x189 = bits.Add64((uint64(p384Uint1(x151)) + uint64(p384Uint1(x139))), (uint64(p384Uint1(x175)) + x155), uint64(p384Uint1(x187)))
p384_fiat64.go#L1922: x190, x191 = bits.Add64(x178, arg1[4], uint64(0x0))
p384_fiat64.go#L1925: x192, x193 = bits.Add64(x180, uint64(0x0), uint64(p384Uint1(x191)))
p384_fiat64.go#L1928: x194, x195 = bits.Add64(x182, uint64(0x0), uint64(p384Uint1(x193)))
p384_fiat64.go#L1931: x196, x197 = bits.Add64(x184, uint64(0x0), uint64(p384Uint1(x195)))
p384_fiat64.go#L1934: x198, x199 = bits.Add64(x186, uint64(0x0), uint64(p384Uint1(x197)))
p384_fiat64.go#L1937: x200, x201 = bits.Add64(x188, uint64(0x0), uint64(p384Uint1(x199)))
p384_fiat64.go#L1960: x216, x217 = bits.Add64(x215, x212, uint64(0x0))
p384_fiat64.go#L1963: x218, x219 = bits.Add64(x213, x210, uint64(p384Uint1(x217)))
p384_fiat64.go#L1966: x220, x221 = bits.Add64(x211, x208, uint64(p384Uint1(x219)))
p384_fiat64.go#L1969: x222, x223 = bits.Add64(x209, x206, uint64(p384Uint1(x221)))
p384_fiat64.go#L1972: x224, x225 = bits.Add64(x207, x204, uint64(p384Uint1(x223)))
p384_fiat64.go#L1974: _, x227 = bits.Add64(x190, x214, uint64(0x0))
p384_fiat64.go#L1977: x228, x229 = bits.Add64(x192, x216, uint64(p384Uint1(x227)))
p384_fiat64.go#L1980: x230, x231 = bits.Add64(x194, x218, uint64(p384Uint1(x229)))
p384_fiat64.go#L1983: x232, x233 = bits.Add64(x196, x220, uint64(p384Uint1(x231)))
p384_fiat64.go#L1986: x234, x235 = bits.Add64(x198, x222, uint64(p384Uint1(x233)))
p384_fiat64.go#L1989: x236, x237 = bits.Add64(x200, x224, uint64(p384Uint1(x235)))
p384_fiat64.go#L1992: x238, x239 = bits.Add64((uint64(p384Uint1(x201)) + uint64(p384Uint1(x189))), (uint64(p384Uint1(x225)) + x205), uint64(p384Uint1(x237)))
p384_fiat64.go#L1995: x240, x241 = bits.Add64(x228, arg1[5], uint64(0x0))
p384_fiat64.go#L1998: x242, x243 = bits.Add64(x230, uint64(0x0), uint64(p384Uint1(x241)))
p384_fiat64.go#L2001: x244, x245 = bits.Add64(x232, uint64(0x0), uint64(p384Uint1(x243)))
p384_fiat64.go#L2004: x246, x247 = bits.Add64(x234, uint64(0x0), uint64(p384Uint1(x245)))
p384_fiat64.go#L2007: x248, x249 = bits.Add64(x236, uint64(0x0), uint64(p384Uint1(x247)))
p384_fiat64.go#L2010: x250, x251 = bits.Add64(x238, uint64(0x0), uint64(p384Uint1(x249)))
p384_fiat64.go#L2033: x266, x267 = bits.Add64(x265, x262, uint64(0x0))
p384_fiat64.go#L2036: x268, x269 = bits.Add64(x263, x260, uint64(p384Uint1(x267)))
p384_fiat64.go#L2039: x270, x271 = bits.Add64(x261, x258, uint64(p384Uint1(x269)))
p384_fiat64.go#L2042: x272, x273 = bits.Add64(x259, x256, uint64(p384Uint1(x271)))
p384_fiat64.go#L2045: x274, x275 = bits.Add64(x257, x254, uint64(p384Uint1(x273)))
p384_fiat64.go#L2047: _, x277 = bits.Add64(x240, x264, uint64(0x0))
p384_fiat64.go#L2050: x278, x279 = bits.Add64(x242, x266, uint64(p384Uint1(x277)))
p384_fiat64.go#L2053: x280, x281 = bits.Add64(x244, x268, uint64(p384Uint1(x279)))
p384_fiat64.go#L2056: x282, x283 = bits.Add64(x246, x270, uint64(p384Uint1(x281)))
p384_fiat64.go#L2059: x284, x285 = bits.Add64(x248, x272, uint64(p384Uint1(x283)))
p384_fiat64.go#L2062: x286, x287 = bits.Add64(x250, x274, uint64(p384Uint1(x285)))
p384_fiat64.go#L2065: x288, x289 = bits.Add64((uint64(p384Uint1(x251)) + uint64(p384Uint1(x239))), (uint64(p384Uint1(x275)) + x255), uint64(p384Uint1(x287)))
p384_fiat64.go#L2137: x15, x16 = bits.Add64(x14, x11, uint64(0x0))
p384_fiat64.go#L2140: x17, x18 = bits.Add64(x12, x9, uint64(p384Uint1(x16)))
p384_fiat64.go#L2143: x19, x20 = bits.Add64(x10, x7, uint64(p384Uint1(x18)))
p384_fiat64.go#L2146: x21, x22 = bits.Add64(x8, x6, uint64(p384Uint1(x20)))
p384_fiat64.go#L2169: x37, x38 = bits.Add64(x36, x33, uint64(0x0))
p384_fiat64.go#L2172: x39, x40 = bits.Add64(x34, x31, uint64(p384Uint1(x38)))
p384_fiat64.go#L2175: x41, x42 = bits.Add64(x32, x29, uint64(p384Uint1(x40)))
p384_fiat64.go#L2178: x43, x44 = bits.Add64(x30, x27, uint64(p384Uint1(x42)))
p384_fiat64.go#L2181: x45, x46 = bits.Add64(x28, x25, uint64(p384Uint1(x44)))
p384_fiat64.go#L2183: _, x48 = bits.Add64(x13, x35, uint64(0x0))
p384_fiat64.go#L2186: x49, x50 = bits.Add64(x15, x37, uint64(p384Uint1(x48)))
p384_fiat64.go#L2189: x51, x52 = bits.Add64(x17, x39, uint64(p384Uint1(x50)))
p384_fiat64.go#L2192: x53, x54 = bits.Add64(x19, x41, uint64(p384Uint1(x52)))
p384_fiat64.go#L2195: x55, x56 = bits.Add64(x21, x43, uint64(p384Uint1(x54)))
p384_fiat64.go#L2198: x57, x58 = bits.Add64(uint64(p384Uint1(x22)), x45, uint64(p384Uint1(x56)))
p384_fiat64.go#L2201: x59, x60 = bits.Add64(uint64(0x0), (uint64(p384Uint1(x46)) + x26), uint64(p384Uint1(x58)))
p384_fiat64.go#L2216: x69, x70 = bits.Add64(x68, x65, uint64(0x0))
p384_fiat64.go#L2219: x71, x72 = bits.Add64(x66, x63, uint64(p384Uint1(x70)))
p384_fiat64.go#L2222: x73, x74 = bits.Add64(x64, x61, uint64(p384Uint1(x72)))
p384_fiat64.go#L2225: x75, x76 = bits.Add64(x62, x1, uint64(p384Uint1(x74)))
p384_fiat64.go#L2228: x77, x78 = bits.Add64(x49, x67, uint64(0x0))
p384_fiat64.go#L2231: x79, x80 = bits.Add64(x51, x69, uint64(p384Uint1(x78)))
p384_fiat64.go#L2234: x81, x82 = bits.Add64(x53, x71, uint64(p384Uint1(x80)))
p384_fiat64.go#L2237: x83, x84 = bits.Add64(x55, x73, uint64(p384Uint1(x82)))
p384_fiat64.go#L2240: x85, x86 = bits.Add64(x57, x75, uint64(p384Uint1(x84)))
p384_fiat64.go#L2243: x87, x88 = bits.Add64(x59, uint64(p384Uint1(x76)), uint64(p384Uint1(x86)))
p384_fiat64.go#L2266: x103, x104 = bits.Add64(x102, x99, uint64(0x0))
p384_fiat64.go#L2269: x105, x106 = bits.Add64(x100, x97, uint64(p384Uint1(x104)))
p384_fiat64.go#L2272: x107, x108 = bits.Add64(x98, x95, uint64(p384Uint1(x106)))
p384_fiat64.go#L2275: x109, x110 = bits.Add64(x96, x93, uint64(p384Uint1(x108)))
p384_fiat64.go#L2278: x111, x112 = bits.Add64(x94, x91, uint64(p384Uint1(x110)))
p384_fiat64.go#L2280: _, x114 = bits.Add64(x77, x101, uint64(0x0))
p384_fiat64.go#L2283: x115, x116 = bits.Add64(x79, x103, uint64(p384Uint1(x114)))
p384_fiat64.go#L2286: x117, x118 = bits.Add64(x81, x105, uint64(p384Uint1(x116)))
p384_fiat64.go#L2289: x119, x120 = bits.Add64(x83, x107, uint64(p384Uint1(x118)))
p384_fiat64.go#L2292: x121, x122 = bits.Add64(x85, x109, uint64(p384Uint1(x120)))
p384_fiat64.go#L2295: x123, x124 = bits.Add64(x87, x111, uint64(p384Uint1(x122)))
p384_fiat64.go#L2298: x125, x126 = bits.Add64((uint64(p384Uint1(x88)) + uint64(p384Uint1(x60))), (uint64(p384Uint1(x112)) + x92), uint64(p384Uint1(x124)))
p384_fiat64.go#L2313: x135, x136 = bits.Add64(x134, x131, uint64(0x0))
p384_fiat64.go#L2316: x137, x138 = bits.Add64(x132, x129, uint64(p384Uint1(x136)))
p384_fiat64.go#L2319: x139, x140 = bits.Add64(x130, x127, uint64(p384Uint1(x138)))
p384_fiat64.go#L2322: x141, x142 = bits.Add64(x128, x2, uint64(p384Uint1(x140)))
p384_fiat64.go#L2325: x143, x144 = bits.Add64(x115, x133, uint64(0x0))
p384_fiat64.go#L2328: x145, x146 = bits.Add64(x117, x135, uint64(p384Uint1(x144)))
p384_fiat64.go#L2331: x147, x148 = bits.Add64(x119, x137, uint64(p384Uint1(x146)))
p384_fiat64.go#L2334: x149, x150 = bits.Add64(x121, x139, uint64(p384Uint1(x148)))
p384_fiat64.go#L2337: x151, x152 = bits.Add64(x123, x141, uint64(p384Uint1(x150)))
p384_fiat64.go#L2340: x153, x154 = bits.Add64(x125, uint64(p384Uint1(x142)), uint64(p384Uint1(x152)))
p384_fiat64.go#L2363: x169, x170 = bits.Add64(x168, x165, uint64(0x0))
p384_fiat64.go#L2366: x171, x172 = bits.Add64(x166, x163, uint64(p384Uint1(x170)))
p384_fiat64.go#L2369: x173, x174 = bits.Add64(x164, x161, uint64(p384Uint1(x172)))
p384_fiat64.go#L2372: x175, x176 = bits.Add64(x162, x159, uint64(p384Uint1(x174)))
p384_fiat64.go#L2375: x177, x178 = bits.Add64(x160, x157, uint64(p384Uint1(x176)))
p384_fiat64.go#L2377: _, x180 = bits.Add64(x143, x167, uint64(0x0))
p384_fiat64.go#L2380: x181, x182 = bits.Add64(x145, x169, uint64(p384Uint1(x180)))
p384_fiat64.go#L2383: x183, x184 = bits.Add64(x147, x171, uint64(p384Uint1(x182)))
p384_fiat64.go#L2386: x185, x186 = bits.Add64(x149, x173, uint64(p384Uint1(x184)))
p384_fiat64.go#L2389: x187, x188 = bits.Add64(x151, x175, uint64(p384Uint1(x186)))
p384_fiat64.go#L2392: x189, x190 = bits.Add64(x153, x177, uint64(p384Uint1(x188)))
p384_fiat64.go#L2395: x191, x192 = bits.Add64((uint64(p384Uint1(x154)) + uint64(p384Uint1(x126))), (uint64(p384Uint1(x178)) + x158), uint64(p384Uint1(x190)))
p384_fiat64.go#L2410: x201, x202 = bits.Add64(x200, x197, uint64(0x0))
p384_fiat64.go#L2413: x203, x204 = bits.Add64(x198, x195, uint64(p384Uint1(x202)))
p384_fiat64.go#L2416: x205, x206 = bits.Add64(x196, x193, uint64(p384Uint1(x204)))
p384_fiat64.go#L2419: x207, x208 = bits.Add64(x194, x3, uint64(p384Uint1(x206)))
p384_fiat64.go#L2422: x209, x210 = bits.Add64(x181, x199, uint64(0x0))
p384_fiat64.go#L2425: x211, x212 = bits.Add64(x183, x201, uint64(p384Uint1(x210)))
p384_fiat64.go#L2428: x213, x214 = bits.Add64(x185, x203, uint64(p384Uint1(x212)))
p384_fiat64.go#L2431: x215, x216 = bits.Add64(x187, x205, uint64(p384Uint1(x214)))
p384_fiat64.go#L2434: x217, x218 = bits.Add64(x189, x207, uint64(p384Uint1(x216)))
p384_fiat64.go#L2437: x219, x220 = bits.Add64(x191, uint64(p384Uint1(x208)), uint64(p384Uint1(x218)))
p384_fiat64.go#L2460: x235, x236 = bits.Add64(x234, x231, uint64(0x0))
p384_fiat64.go#L2463: x237, x238 = bits.Add64(x232, x229, uint64(p384Uint1(x236)))
p384_fiat64.go#L2466: x239, x240 = bits.Add64(x230, x227, uint64(p384Uint1(x238)))
p384_fiat64.go#L2469: x241, x242 = bits.Add64(x228, x225, uint64(p384Uint1(x240)))
p384_fiat64.go#L2472: x243, x244 = bits.Add64(x226, x223, uint64(p384Uint1(x242)))
p384_fiat64.go#L2474: _, x246 = bits.Add64(x209, x233, uint64(0x0))
p384_fiat64.go#L2477: x247, x248 = bits.Add64(x211, x235, uint64(p384Uint1(x246)))
p384_fiat64.go#L2480: x249, x250 = bits.Add64(x213, x237, uint64(p384Uint1(x248)))
p384_fiat64.go#L2483: x251, x252 = bits.Add64(x215, x239, uint64(p384Uint1(x250)))
p384_fiat64.go#L2486: x253, x254 = bits.Add64(x217, x241, uint64(p384Uint1(x252)))
p384_fiat64.go#L2489: x255, x256 = bits.Add64(x219, x243, uint64(p384Uint1(x254)))
p384_fiat64.go#L2492: x257, x258 = bits.Add64((uint64(p384Uint1(x220)) + uint64(p384Uint1(x192))), (uint64(p384Uint1(x244)) + x224), uint64(p384Uint1(x256)))
p384_fiat64.go#L2507: x267, x268 = bits.Add64(x266, x263, uint64(0x0))
p384_fiat64.go#L2510: x269, x270 = bits.Add64(x264, x261, uint64(p384Uint1(x268)))
p384_fiat64.go#L2513: x271, x272 = bits.Add64(x262, x259, uint64(p384Uint1(x270)))
p384_fiat64.go#L2516: x273, x274 = bits.Add64(x260, x4, uint64(p384Uint1(x272)))
p384_fiat64.go#L2519: x275, x276 = bits.Add64(x247, x265, uint64(0x0))
p384_fiat64.go#L2522: x277, x278 = bits.Add64(x249, x267, uint64(p384Uint1(x276)))
p384_fiat64.go#L2525: x279, x280 = bits.Add64(x251, x269, uint64(p384Uint1(x278)))
p384_fiat64.go#L2528: x281, x282 = bits.Add64(x253, x271, uint64(p384Uint1(x280)))
p384_fiat64.go#L2531: x283, x284 = bits.Add64(x255, x273, uint64(p384Uint1(x282)))
p384_fiat64.go#L2534: x285, x286 = bits.Add64(x257, uint64(p384Uint1(x274)), uint64(p384Uint1(x284)))
p384_fiat64.go#L2557: x301, x302 = bits.Add64(x300, x297, uint64(0x0))
p384_fiat64.go#L2560: x303, x304 = bits.Add64(x298, x295, uint64(p384Uint1(x302)))
p384_fiat64.go#L2563: x305, x306 = bits.Add64(x296, x293, uint64(p384Uint1(x304)))
p384_fiat64.go#L2566: x307, x308 = bits.Add64(x294, x291, uint64(p384Uint1(x306)))
p384_fiat64.go#L2569: x309, x310 = bits.Add64(x292, x289, uint64(p384Uint1(x308)))
p384_fiat64.go#L2571: _, x312 = bits.Add64(x275, x299, uint64(0x0))
p384_fiat64.go#L2574: x313, x314 = bits.Add64(x277, x301, uint64(p384Uint1(x312)))
p384_fiat64.go#L2577: x315, x316 = bits.Add64(x279, x303, uint64(p384Uint1(x314)))
p384_fiat64.go#L2580: x317, x318 = bits.Add64(x281, x305, uint64(p384Uint1(x316)))
p384_fiat64.go#L2583: x319, x320 = bits.Add64(x283, x307, uint64(p384Uint1(x318)))
p384_fiat64.go#L2586: x321, x322 = bits.Add64(x285, x309, uint64(p384Uint1(x320)))
p384_fiat64.go#L2589: x323, x324 = bits.Add64((uint64(p384Uint1(x286)) + uint64(p384Uint1(x258))), (uint64(p384Uint1(x310)) + x290), uint64(p384Uint1(x322)))
p384_fiat64.go#L2604: x333, x334 = bits.Add64(x332, x329, uint64(0x0))
p384_fiat64.go#L2607: x335, x336 = bits.Add64(x330, x327, uint64(p384Uint1(x334)))
p384_fiat64.go#L2610: x337, x338 = bits.Add64(x328, x325, uint64(p384Uint1(x336)))
p384_fiat64.go#L2613: x339, x340 = bits.Add64(x326, x5, uint64(p384Uint1(x338)))
p384_fiat64.go#L2616: x341, x342 = bits.Add64(x313, x331, uint64(0x0))
p384_fiat64.go#L2619: x343, x344 = bits.Add64(x315, x333, uint64(p384Uint1(x342)))
p384_fiat64.go#L2622: x345, x346 = bits.Add64(x317, x335, uint64(p384Uint1(x344)))
p384_fiat64.go#L2625: x347, x348 = bits.Add64(x319, x337, uint64(p384Uint1(x346)))
p384_fiat64.go#L2628: x349, x350 = bits.Add64(x321, x339, uint64(p384Uint1(x348)))
p384_fiat64.go#L2631: x351, x352 = bits.Add64(x323, uint64(p384Uint1(x340)), uint64(p384Uint1(x350)))
p384_fiat64.go#L2654: x367, x368 = bits.Add64(x366, x363, uint64(0x0))
p384_fiat64.go#L2657: x369, x370 = bits.Add64(x364, x361, uint64(p384Uint1(x368)))
p384_fiat64.go#L2660: x371, x372 = bits.Add64(x362, x359, uint64(p384Uint1(x370)))
p384_fiat64.go#L2663: x373, x374 = bits.Add64(x360, x357, uint64(p384Uint1(x372)))
p384_fiat64.go#L2666: x375, x376 = bits.Add64(x358, x355, uint64(p384Uint1(x374)))
p384_fiat64.go#L2668: _, x378 = bits.Add64(x341, x365, uint64(0x0))
p384_fiat64.go#L2671: x379, x380 = bits.Add64(x343, x367, uint64(p384Uint1(x378)))
p384_fiat64.go#L2674: x381, x382 = bits.Add64(x345, x369, uint64(p384Uint1(x380)))
p384_fiat64.go#L2677: x383, x384 = bits.Add64(x347, x371, uint64(p384Uint1(x382)))
p384_fiat64.go#L2680: x385, x386 = bits.Add64(x349, x373, uint64(p384Uint1(x384)))
p384_fiat64.go#L2683: x387, x388 = bits.Add64(x351, x375, uint64(p384Uint1(x386)))
p384_fiat64.go#L2686: x389, x390 = bits.Add64((uint64(p384Uint1(x352)) + uint64(p384Uint1(x324))), (uint64(p384Uint1(x376)) + x356), uint64(p384Uint1(x388)))
p521_fiat64.go#L127: x28, x29 = bits.Add64(x27, x24, uint64(0x0))
p521_fiat64.go#L130: x30, x31 = bits.Add64(x25, x22, uint64(p521Uint1(x29)))
p521_fiat64.go#L133: x32, x33 = bits.Add64(x23, x20, uint64(p521Uint1(x31)))
p521_fiat64.go#L136: x34, x35 = bits.Add64(x21, x18, uint64(p521Uint1(x33)))
p521_fiat64.go#L139: x36, x37 = bits.Add64(x19, x16, uint64(p521Uint1(x35)))
p521_fiat64.go#L142: x38, x39 = bits.Add64(x17, x14, uint64(p521Uint1(x37)))
p521_fiat64.go#L145: x40, x41 = bits.Add64(x15, x12, uint64(p521Uint1(x39)))
p521_fiat64.go#L148: x42, x43 = bits.Add64(x13, x10, uint64(p521Uint1(x41)))
p521_fiat64.go#L179: x63, x64 = bits.Add64(x62, x59, uint64(0x0))
p521_fiat64.go#L182: x65, x66 = bits.Add64(x60, x57, uint64(p521Uint1(x64)))
p521_fiat64.go#L185: x67, x68 = bits.Add64(x58, x55, uint64(p521Uint1(x66)))
p521_fiat64.go#L188: x69, x70 = bits.Add64(x56, x53, uint64(p521Uint1(x68)))
p521_fiat64.go#L191: x71, x72 = bits.Add64(x54, x51, uint64(p521Uint1(x70)))
p521_fiat64.go#L194: x73, x74 = bits.Add64(x52, x49, uint64(p521Uint1(x72)))
p521_fiat64.go#L197: x75, x76 = bits.Add64(x50, x47, uint64(p521Uint1(x74)))
p521_fiat64.go#L200: x77, x78 = bits.Add64(x48, x45, uint64(p521Uint1(x76)))
p521_fiat64.go#L203: _, x81 = bits.Add64(x26, x61, uint64(0x0))
p521_fiat64.go#L206: x82, x83 = bits.Add64(x28, x63, uint64(p521Uint1(x81)))
p521_fiat64.go#L209: x84, x85 = bits.Add64(x30, x65, uint64(p521Uint1(x83)))
p521_fiat64.go#L212: x86, x87 = bits.Add64(x32, x67, uint64(p521Uint1(x85)))
p521_fiat64.go#L215: x88, x89 = bits.Add64(x34, x69, uint64(p521Uint1(x87)))
p521_fiat64.go#L218: x90, x91 = bits.Add64(x36, x71, uint64(p521Uint1(x89)))
p521_fiat64.go#L221: x92, x93 = bits.Add64(x38, x73, uint64(p521Uint1(x91)))
p521_fiat64.go#L224: x94, x95 = bits.Add64(x40, x75, uint64(p521Uint1(x93)))
p521_fiat64.go#L227: x96, x97 = bits.Add64(x42, x77, uint64(p521Uint1(x95)))
p521_fiat64.go#L230: x98, x99 = bits.Add64(x44, x79, uint64(p521Uint1(x97)))
p521_fiat64.go#L260: x118, x119 = bits.Add64(x117, x114, uint64(0x0))
p521_fiat64.go#L263: x120, x121 = bits.Add64(x115, x112, uint64(p521Uint1(x119)))
p521_fiat64.go#L266: x122, x123 = bits.Add64(x113, x110, uint64(p521Uint1(x121)))
p521_fiat64.go#L269: x124, x125 = bits.Add64(x111, x108, uint64(p521Uint1(x123)))
p521_fiat64.go#L272: x126, x127 = bits.Add64(x109, x106, uint64(p521Uint1(x125)))
p521_fiat64.go#L275: x128, x129 = bits.Add64(x107, x104, uint64(p521Uint1(x127)))
p521_fiat64.go#L278: x130, x131 = bits.Add64(x105, x102, uint64(p521Uint1(x129)))
p521_fiat64.go#L281: x132, x133 = bits.Add64(x103, x100, uint64(p521Uint1(x131)))
p521_fiat64.go#L285: x135, x136 = bits.Add64(x82, x116, uint64(0x0))
p521_fiat64.go#L288: x137, x138 = bits.Add64(x84, x118, uint64(p521Uint1(x136)))
p521_fiat64.go#L291: x139, x140 = bits.Add64(x86, x120, uint64(p521Uint1(x138)))
p521_fiat64.go#L294: x141, x142 = bits.Add64(x88, x122, uint64(p521Uint1(x140)))
p521_fiat64.go#L297: x143, x144 = bits.Add64(x90, x124, uint64(p521Uint1(x142)))
p521_fiat64.go#L300: x145, x146 = bits.Add64(x92, x126, uint64(p521Uint1(x144)))
p521_fiat64.go#L303: x147, x148 = bits.Add64(x94, x128, uint64(p521Uint1(x146)))
p521_fiat64.go#L306: x149, x150 = bits.Add64(x96, x130, uint64(p521Uint1(x148)))
p521_fiat64.go#L309: x151, x152 = bits.Add64(x98, x132, uint64(p521Uint1(x150)))
p521_fiat64.go#L312: x153, x154 = bits.Add64(uint64(p521Uint1(x99)), x134, uint64(p521Uint1(x152)))
p521_fiat64.go#L342: x173, x174 = bits.Add64(x172, x169, uint64(0x0))
p521_fiat64.go#L345: x175, x176 = bits.Add64(x170, x167, uint64(p521Uint1(x174)))
p521_fiat64.go#L348: x177, x178 = bits.Add64(x168, x165, uint64(p521Uint1(x176)))
p521_fiat64.go#L351: x179, x180 = bits.Add64(x166, x163, uint64(p521Uint1(x178)))
p521_fiat64.go#L354: x181, x182 = bits.Add64(x164, x161, uint64(p521Uint1(x180)))
p521_fiat64.go#L357: x183, x184 = bits.Add64(x162, x159, uint64(p521Uint1(x182)))
p521_fiat64.go#L360: x185, x186 = bits.Add64(x160, x157, uint64(p521Uint1(x184)))
p521_fiat64.go#L363: x187, x188 = bits.Add64(x158, x155, uint64(p521Uint1(x186)))
p521_fiat64.go#L366: _, x191 = bits.Add64(x135, x171, uint64(0x0))
p521_fiat64.go#L369: x192, x193 = bits.Add64(x137, x173, uint64(p521Uint1(x191)))
p521_fiat64.go#L372: x194, x195 = bits.Add64(x139, x175, uint64(p521Uint1(x193)))
p521_fiat64.go#L375: x196, x197 = bits.Add64(x141, x177, uint64(p521Uint1(x195)))
p521_fiat64.go#L378: x198, x199 = bits.Add64(x143, x179, uint64(p521Uint1(x197)))
p521_fiat64.go#L381: x200, x201 = bits.Add64(x145, x181, uint64(p521Uint1(x199)))
p521_fiat64.go#L384: x202, x203 = bits.Add64(x147, x183, uint64(p521Uint1(x201)))
p521_fiat64.go#L387: x204, x205 = bits.Add64(x149, x185, uint64(p521Uint1(x203)))
p521_fiat64.go#L390: x206, x207 = bits.Add64(x151, x187, uint64(p521Uint1(x205)))
p521_fiat64.go#L393: x208, x209 = bits.Add64(x153, x189, uint64(p521Uint1(x207)))
p521_fiat64.go#L424: x229, x230 = bits.Add64(x228, x225, uint64(0x0))
p521_fiat64.go#L427: x231, x232 = bits.Add64(x226, x223, uint64(p521Uint1(x230)))
p521_fiat64.go#L430: x233, x234 = bits.Add64(x224, x221, uint64(p521Uint1(x232)))
p521_fiat64.go#L433: x235, x236 = bits.Add64(x222, x219, uint64(p521Uint1(x234)))
p521_fiat64.go#L436: x237, x238 = bits.Add64(x220, x217, uint64(p521Uint1(x236)))
p521_fiat64.go#L439: x239, x240 = bits.Add64(x218, x215, uint64(p521Uint1(x238)))
p521_fiat64.go#L442: x241, x242 = bits.Add64(x216, x213, uint64(p521Uint1(x240)))
p521_fiat64.go#L445: x243, x244 = bits.Add64(x214, x211, uint64(p521Uint1(x242)))
p521_fiat64.go#L449: x246, x247 = bits.Add64(x192, x227, uint64(0x0))
p521_fiat64.go#L452: x248, x249 = bits.Add64(x194, x229, uint64(p521Uint1(x247)))
p521_fiat64.go#L455: x250, x251 = bits.Add64(x196, x231, uint64(p521Uint1(x249)))
p521_fiat64.go#L458: x252, x253 = bits.Add64(x198, x233, uint64(p521Uint1(x251)))
p521_fiat64.go#L461: x254, x255 = bits.Add64(x200, x235, uint64(p521Uint1(x253)))
p521_fiat64.go#L464: x256, x257 = bits.Add64(x202, x237, uint64(p521Uint1(x255)))
p521_fiat64.go#L467: x258, x259 = bits.Add64(x204, x239, uint64(p521Uint1(x257)))
p521_fiat64.go#L470: x260, x261 = bits.Add64(x206, x241, uint64(p521Uint1(x259)))
p521_fiat64.go#L473: x262, x263 = bits.Add64(x208, x243, uint64(p521Uint1(x261)))
p521_fiat64.go#L476: x264, x265 = bits.Add64(x210, x245, uint64(p521Uint1(x263)))
p521_fiat64.go#L506: x284, x285 = bits.Add64(x283, x280, uint64(0x0))
p521_fiat64.go#L509: x286, x287 = bits.Add64(x281, x278, uint64(p521Uint1(x285)))
p521_fiat64.go#L512: x288, x289 = bits.Add64(x279, x276, uint64(p521Uint1(x287)))
p521_fiat64.go#L515: x290, x291 = bits.Add64(x277, x274, uint64(p521Uint1(x289)))
p521_fiat64.go#L518: x292, x293 = bits.Add64(x275, x272, uint64(p521Uint1(x291)))
p521_fiat64.go#L521: x294, x295 = bits.Add64(x273, x270, uint64(p521Uint1(x293)))
p521_fiat64.go#L524: x296, x297 = bits.Add64(x271, x268, uint64(p521Uint1(x295)))
p521_fiat64.go#L527: x298, x299 = bits.Add64(x269, x266, uint64(p521Uint1(x297)))
p521_fiat64.go#L530: _, x302 = bits.Add64(x246, x282, uint64(0x0))
p521_fiat64.go#L533: x303, x304 = bits.Add64(x248, x284, uint64(p521Uint1(x302)))
p521_fiat64.go#L536: x305, x306 = bits.Add64(x250, x286, uint64(p521Uint1(x304)))
p521_fiat64.go#L539: x307, x308 = bits.Add64(x252, x288, uint64(p521Uint1(x306)))
p521_fiat64.go#L542: x309, x310 = bits.Add64(x254, x290, uint64(p521Uint1(x308)))
p521_fiat64.go#L545: x311, x312 = bits.Add64(x256, x292, uint64(p521Uint1(x310)))
p521_fiat64.go#L548: x313, x314 = bits.Add64(x258, x294, uint64(p521Uint1(x312)))
p521_fiat64.go#L551: x315, x316 = bits.Add64(x260, x296, uint64(p521Uint1(x314)))
p521_fiat64.go#L554: x317, x318 = bits.Add64(x262, x298, uint64(p521Uint1(x316)))
p521_fiat64.go#L557: x319, x320 = bits.Add64(x264, x300, uint64(p521Uint1(x318)))
p521_fiat64.go#L588: x340, x341 = bits.Add64(x339, x336, uint64(0x0))
p521_fiat64.go#L591: x342, x343 = bits.Add64(x337, x334, uint64(p521Uint1(x341)))
p521_fiat64.go#L594: x344, x345 = bits.Add64(x335, x332, uint64(p521Uint1(x343)))
p521_fiat64.go#L597: x346, x347 = bits.Add64(x333, x330, uint64(p521Uint1(x345)))
p521_fiat64.go#L600: x348, x349 = bits.Add64(x331, x328, uint64(p521Uint1(x347)))
p521_fiat64.go#L603: x350, x351 = bits.Add64(x329, x326, uint64(p521Uint1(x349)))
p521_fiat64.go#L606: x352, x353 = bits.Add64(x327, x324, uint64(p521Uint1(x351)))
p521_fiat64.go#L609: x354, x355 = bits.Add64(x325, x322, uint64(p521Uint1(x353)))
p521_fiat64.go#L613: x357, x358 = bits.Add64(x303, x338, uint64(0x0))
p521_fiat64.go#L616: x359, x360 = bits.Add64(x305, x340, uint64(p521Uint1(x358)))
p521_fiat64.go#L619: x361, x362 = bits.Add64(x307, x342, uint64(p521Uint1(x360)))
p521_fiat64.go#L622: x363, x364 = bits.Add64(x309, x344, uint64(p521Uint1(x362)))
p521_fiat64.go#L625: x365, x366 = bits.Add64(x311, x346, uint64(p521Uint1(x364)))
p521_fiat64.go#L628: x367, x368 = bits.Add64(x313, x348, uint64(p521Uint1(x366)))
p521_fiat64.go#L631: x369, x370 = bits.Add64(x315, x350, uint64(p521Uint1(x368)))
p521_fiat64.go#L634: x371, x372 = bits.Add64(x317, x352, uint64(p521Uint1(x370)))
p521_fiat64.go#L637: x373, x374 = bits.Add64(x319, x354, uint64(p521Uint1(x372)))
p521_fiat64.go#L640: x375, x376 = bits.Add64(x321, x356, uint64(p521Uint1(x374)))
p521_fiat64.go#L670: x395, x396 = bits.Add64(x394, x391, uint64(0x0))
p521_fiat64.go#L673: x397, x398 = bits.Add64(x392, x389, uint64(p521Uint1(x396)))
p521_fiat64.go#L676: x399, x400 = bits.Add64(x390, x387, uint64(p521Uint1(x398)))
p521_fiat64.go#L679: x401, x402 = bits.Add64(x388, x385, uint64(p521Uint1(x400)))
p521_fiat64.go#L682: x403, x404 = bits.Add64(x386, x383, uint64(p521Uint1(x402)))
p521_fiat64.go#L685: x405, x406 = bits.Add64(x384, x381, uint64(p521Uint1(x404)))
p521_fiat64.go#L688: x407, x408 = bits.Add64(x382, x379, uint64(p521Uint1(x406)))
p521_fiat64.go#L691: x409, x410 = bits.Add64(x380, x377, uint64(p521Uint1(x408)))
p521_fiat64.go#L694: _, x413 = bits.Add64(x357, x393, uint64(0x0))
p521_fiat64.go#L697: x414, x415 = bits.Add64(x359, x395, uint64(p521Uint1(x413)))
p521_fiat64.go#L700: x416, x417 = bits.Add64(x361, x397, uint64(p521Uint1(x415)))
p521_fiat64.go#L703: x418, x419 = bits.Add64(x363, x399, uint64(p521Uint1(x417)))
p521_fiat64.go#L706: x420, x421 = bits.Add64(x365, x401, uint64(p521Uint1(x419)))
p521_fiat64.go#L709: x422, x423 = bits.Add64(x367, x403, uint64(p521Uint1(x421)))
p521_fiat64.go#L712: x424, x425 = bits.Add64(x369, x405, uint64(p521Uint1(x423)))
p521_fiat64.go#L715: x426, x427 = bits.Add64(x371, x407, uint64(p521Uint1(x425)))
p521_fiat64.go#L718: x428, x429 = bits.Add64(x373, x409, uint64(p521Uint1(x427)))
p521_fiat64.go#L721: x430, x431 = bits.Add64(x375, x411, uint64(p521Uint1(x429)))
p521_fiat64.go#L752: x451, x452 = bits.Add64(x450, x447, uint64(0x0))
p521_fiat64.go#L755: x453, x454 = bits.Add64(x448, x445, uint64(p521Uint1(x452)))
p521_fiat64.go#L758: x455, x456 = bits.Add64(x446, x443, uint64(p521Uint1(x454)))
p521_fiat64.go#L761: x457, x458 = bits.Add64(x444, x441, uint64(p521Uint1(x456)))
p521_fiat64.go#L764: x459, x460 = bits.Add64(x442, x439, uint64(p521Uint1(x458)))
p521_fiat64.go#L767: x461, x462 = bits.Add64(x440, x437, uint64(p521Uint1(x460)))
p521_fiat64.go#L770: x463, x464 = bits.Add64(x438, x435, uint64(p521Uint1(x462)))
p521_fiat64.go#L773: x465, x466 = bits.Add64(x436, x433, uint64(p521Uint1(x464)))
p521_fiat64.go#L777: x468, x469 = bits.Add64(x414, x449, uint64(0x0))
p521_fiat64.go#L780: x470, x471 = bits.Add64(x416, x451, uint64(p521Uint1(x469)))
p521_fiat64.go#L783: x472, x473 = bits.Add64(x418, x453, uint64(p521Uint1(x471)))
p521_fiat64.go#L786: x474, x475 = bits.Add64(x420, x455, uint64(p521Uint1(x473)))
p521_fiat64.go#L789: x476, x477 = bits.Add64(x422, x457, uint64(p521Uint1(x475)))
p521_fiat64.go#L792: x478, x479 = bits.Add64(x424, x459, uint64(p521Uint1(x477)))
p521_fiat64.go#L795: x480, x481 = bits.Add64(x426, x461, uint64(p521Uint1(x479)))
p521_fiat64.go#L798: x482, x483 = bits.Add64(x428, x463, uint64(p521Uint1(x481)))
p521_fiat64.go#L801: x484, x485 = bits.Add64(x430, x465, uint64(p521Uint1(x483)))
p521_fiat64.go#L804: x486, x487 = bits.Add64(x432, x467, uint64(p521Uint1(x485)))
p521_fiat64.go#L834: x506, x507 = bits.Add64(x505, x502, uint64(0x0))
p521_fiat64.go#L837: x508, x509 = bits.Add64(x503, x500, uint64(p521Uint1(x507)))
p521_fiat64.go#L840: x510, x511 = bits.Add64(x501, x498, uint64(p521Uint1(x509)))
p521_fiat64.go#L843: x512, x513 = bits.Add64(x499, x496, uint64(p521Uint1(x511)))
p521_fiat64.go#L846: x514, x515 = bits.Add64(x497, x494, uint64(p521Uint1(x513)))
p521_fiat64.go#L849: x516, x517 = bits.Add64(x495, x492, uint64(p521Uint1(x515)))
p521_fiat64.go#L852: x518, x519 = bits.Add64(x493, x490, uint64(p521Uint1(x517)))
p521_fiat64.go#L855: x520, x521 = bits.Add64(x491, x488, uint64(p521Uint1(x519)))
p521_fiat64.go#L858: _, x524 = bits.Add64(x468, x504, uint64(0x0))
p521_fiat64.go#L861: x525, x526 = bits.Add64(x470, x506, uint64(p521Uint1(x524)))
p521_fiat64.go#L864: x527, x528 = bits.Add64(x472, x508, uint64(p521Uint1(x526)))
p521_fiat64.go#L867: x529, x530 = bits.Add64(x474, x510, uint64(p521Uint1(x528)))
p521_fiat64.go#L870: x531, x532 = bits.Add64(x476, x512, uint64(p521Uint1(x530)))
p521_fiat64.go#L873: x533, x534 = bits.Add64(x478, x514, uint64(p521Uint1(x532)))
p521_fiat64.go#L876: x535, x536 = bits.Add64(x480, x516, uint64(p521Uint1(x534)))
p521_fiat64.go#L879: x537, x538 = bits.Add64(x482, x518, uint64(p521Uint1(x536)))
p521_fiat64.go#L882: x539, x540 = bits.Add64(x484, x520, uint64(p521Uint1(x538)))
p521_fiat64.go#L885: x541, x542 = bits.Add64(x486, x522, uint64(p521Uint1(x540)))
p521_fiat64.go#L916: x562, x563 = bits.Add64(x561, x558, uint64(0x0))
p521_fiat64.go#L919: x564, x565 = bits.Add64(x559, x556, uint64(p521Uint1(x563)))
p521_fiat64.go#L922: x566, x567 = bits.Add64(x557, x554, uint64(p521Uint1(x565)))
p521_fiat64.go#L925: x568, x569 = bits.Add64(x555, x552, uint64(p521Uint1(x567)))
p521_fiat64.go#L928: x570, x571 = bits.Add64(x553, x550, uint64(p521Uint1(x569)))
p521_fiat64.go#L931: x572, x573 = bits.Add64(x551, x548, uint64(p521Uint1(x571)))
p521_fiat64.go#L934: x574, x575 = bits.Add64(x549, x546, uint64(p521Uint1(x573)))
p521_fiat64.go#L937: x576, x577 = bits.Add64(x547, x544, uint64(p521Uint1(x575)))
p521_fiat64.go#L941: x579, x580 = bits.Add64(x525, x560, uint64(0x0))
p521_fiat64.go#L944: x581, x582 = bits.Add64(x527, x562, uint64(p521Uint1(x580)))
p521_fiat64.go#L947: x583, x584 = bits.Add64(x529, x564, uint64(p521Uint1(x582)))
p521_fiat64.go#L950: x585, x586 = bits.Add64(x531, x566, uint64(p521Uint1(x584)))
p521_fiat64.go#L953: x587, x588 = bits.Add64(x533, x568, uint64(p521Uint1(x586)))
p521_fiat64.go#L956: x589, x590 = bits.Add64(x535, x570, uint64(p521Uint1(x588)))
p521_fiat64.go#L959: x591, x592 = bits.Add64(x537, x572, uint64(p521Uint1(x590)))
p521_fiat64.go#L962: x593, x594 = bits.Add64(x539, x574, uint64(p521Uint1(x592)))
p521_fiat64.go#L965: x595, x596 = bits.Add64(x541, x576, uint64(p521Uint1(x594)))
p521_fiat64.go#L968: x597, x598 = bits.Add64(x543, x578, uint64(p521Uint1(x596)))
p521_fiat64.go#L998: x617, x618 = bits.Add64(x616, x613, uint64(0x0))
p521_fiat64.go#L1001: x619, x620 = bits.Add64(x614, x611, uint64(p521Uint1(x618)))
p521_fiat64.go#L1004: x621, x622 = bits.Add64(x612, x609, uint64(p521Uint1(x620)))
p521_fiat64.go#L1007: x623, x624 = bits.Add64(x610, x607, uint64(p521Uint1(x622)))
p521_fiat64.go#L1010: x625, x626 = bits.Add64(x608, x605, uint64(p521Uint1(x624)))
p521_fiat64.go#L1013: x627, x628 = bits.Add64(x606, x603, uint64(p521Uint1(x626)))
p521_fiat64.go#L1016: x629, x630 = bits.Add64(x604, x601, uint64(p521Uint1(x628)))
p521_fiat64.go#L1019: x631, x632 = bits.Add64(x602, x599, uint64(p521Uint1(x630)))
p521_fiat64.go#L1022: _, x635 = bits.Add64(x579, x615, uint64(0x0))
p521_fiat64.go#L1025: x636, x637 = bits.Add64(x581, x617, uint64(p521Uint1(x635)))
p521_fiat64.go#L1028: x638, x639 = bits.Add64(x583, x619, uint64(p521Uint1(x637)))
p521_fiat64.go#L1031: x640, x641 = bits.Add64(x585, x621, uint64(p521Uint1(x639)))
p521_fiat64.go#L1034: x642, x643 = bits.Add64(x587, x623, uint64(p521Uint1(x641)))
p521_fiat64.go#L1037: x644, x645 = bits.Add64(x589, x625, uint64(p521Uint1(x643)))
p521_fiat64.go#L1040: x646, x647 = bits.Add64(x591, x627, uint64(p521Uint1(x645)))
p521_fiat64.go#L1043: x648, x649 = bits.Add64(x593, x629, uint64(p521Uint1(x647)))
p521_fiat64.go#L1046: x650, x651 = bits.Add64(x595, x631, uint64(p521Uint1(x649)))
p521_fiat64.go#L1049: x652, x653 = bits.Add64(x597, x633, uint64(p521Uint1(x651)))
p521_fiat64.go#L1080: x673, x674 = bits.Add64(x672, x669, uint64(0x0))
p521_fiat64.go#L1083: x675, x676 = bits.Add64(x670, x667, uint64(p521Uint1(x674)))
p521_fiat64.go#L1086: x677, x678 = bits.Add64(x668, x665, uint64(p521Uint1(x676)))
p521_fiat64.go#L1089: x679, x680 = bits.Add64(x666, x663, uint64(p521Uint1(x678)))
p521_fiat64.go#L1092: x681, x682 = bits.Add64(x664, x661, uint64(p521Uint1(x680)))
p521_fiat64.go#L1095: x683, x684 = bits.Add64(x662, x659, uint64(p521Uint1(x682)))
p521_fiat64.go#L1098: x685, x686 = bits.Add64(x660, x657, uint64(p521Uint1(x684)))
p521_fiat64.go#L1101: x687, x688 = bits.Add64(x658, x655, uint64(p521Uint1(x686)))
p521_fiat64.go#L1105: x690, x691 = bits.Add64(x636, x671, uint64(0x0))
p521_fiat64.go#L1108: x692, x693 = bits.Add64(x638, x673, uint64(p521Uint1(x691)))
p521_fiat64.go#L1111: x694, x695 = bits.Add64(x640, x675, uint64(p521Uint1(x693)))
p521_fiat64.go#L1114: x696, x697 = bits.Add64(x642, x677, uint64(p521Uint1(x695)))
p521_fiat64.go#L1117: x698, x699 = bits.Add64(x644, x679, uint64(p521Uint1(x697)))
p521_fiat64.go#L1120: x700, x701 = bits.Add64(x646, x681, uint64(p521Uint1(x699)))
p521_fiat64.go#L1123: x702, x703 = bits.Add64(x648, x683, uint64(p521Uint1(x701)))
p521_fiat64.go#L1126: x704, x705 = bits.Add64(x650, x685, uint64(p521Uint1(x703)))
p521_fiat64.go#L1129: x706, x707 = bits.Add64(x652, x687, uint64(p521Uint1(x705)))
p521_fiat64.go#L1132: x708, x709 = bits.Add64(x654, x689, uint64(p521Uint1(x707)))
p521_fiat64.go#L1162: x728, x729 = bits.Add64(x727, x724, uint64(0x0))
p521_fiat64.go#L1165: x730, x731 = bits.Add64(x725, x722, uint64(p521Uint1(x729)))
p521_fiat64.go#L1168: x732, x733 = bits.Add64(x723, x720, uint64(p521Uint1(x731)))
p521_fiat64.go#L1171: x734, x735 = bits.Add64(x721, x718, uint64(p521Uint1(x733)))
p521_fiat64.go#L1174: x736, x737 = bits.Add64(x719, x716, uint64(p521Uint1(x735)))
p521_fiat64.go#L1177: x738, x739 = bits.Add64(x717, x714, uint64(p521Uint1(x737)))
p521_fiat64.go#L1180: x740, x741 = bits.Add64(x715, x712, uint64(p521Uint1(x739)))
p521_fiat64.go#L1183: x742, x743 = bits.Add64(x713, x710, uint64(p521Uint1(x741)))
p521_fiat64.go#L1186: _, x746 = bits.Add64(x690, x726, uint64(0x0))
p521_fiat64.go#L1189: x747, x748 = bits.Add64(x692, x728, uint64(p521Uint1(x746)))
p521_fiat64.go#L1192: x749, x750 = bits.Add64(x694, x730, uint64(p521Uint1(x748)))
p521_fiat64.go#L1195: x751, x752 = bits.Add64(x696, x732, uint64(p521Uint1(x750)))
p521_fiat64.go#L1198: x753, x754 = bits.Add64(x698, x734, uint64(p521Uint1(x752)))
p521_fiat64.go#L1201: x755, x756 = bits.Add64(x700, x736, uint64(p521Uint1(x754)))
p521_fiat64.go#L1204: x757, x758 = bits.Add64(x702, x738, uint64(p521Uint1(x756)))
p521_fiat64.go#L1207: x759, x760 = bits.Add64(x704, x740, uint64(p521Uint1(x758)))
p521_fiat64.go#L1210: x761, x762 = bits.Add64(x706, x742, uint64(p521Uint1(x760)))
p521_fiat64.go#L1213: x763, x764 = bits.Add64(x708, x744, uint64(p521Uint1(x762)))
p521_fiat64.go#L1244: x784, x785 = bits.Add64(x783, x780, uint64(0x0))
p521_fiat64.go#L1247: x786, x787 = bits.Add64(x781, x778, uint64(p521Uint1(x785)))
p521_fiat64.go#L1250: x788, x789 = bits.Add64(x779, x776, uint64(p521Uint1(x787)))
p521_fiat64.go#L1253: x790, x791 = bits.Add64(x777, x774, uint64(p521Uint1(x789)))
p521_fiat64.go#L1256: x792, x793 = bits.Add64(x775, x772, uint64(p521Uint1(x791)))
p521_fiat64.go#L1259: x794, x795 = bits.Add64(x773, x770, uint64(p521Uint1(x793)))
p521_fiat64.go#L1262: x796, x797 = bits.Add64(x771, x768, uint64(p521Uint1(x795)))
p521_fiat64.go#L1265: x798, x799 = bits.Add64(x769, x766, uint64(p521Uint1(x797)))
p521_fiat64.go#L1269: x801, x802 = bits.Add64(x747, x782, uint64(0x0))
p521_fiat64.go#L1272: x803, x804 = bits.Add64(x749, x784, uint64(p521Uint1(x802)))
p521_fiat64.go#L1275: x805, x806 = bits.Add64(x751, x786, uint64(p521Uint1(x804)))
p521_fiat64.go#L1278: x807, x808 = bits.Add64(x753, x788, uint64(p521Uint1(x806)))
p521_fiat64.go#L1281: x809, x810 = bits.Add64(x755, x790, uint64(p521Uint1(x808)))
p521_fiat64.go#L1284: x811, x812 = bits.Add64(x757, x792, uint64(p521Uint1(x810)))
p521_fiat64.go#L1287: x813, x814 = bits.Add64(x759, x794, uint64(p521Uint1(x812)))
p521_fiat64.go#L1290: x815, x816 = bits.Add64(x761, x796, uint64(p521Uint1(x814)))
p521_fiat64.go#L1293: x817, x818 = bits.Add64(x763, x798, uint64(p521Uint1(x816)))
p521_fiat64.go#L1296: x819, x820 = bits.Add64(x765, x800, uint64(p521Uint1(x818)))
p521_fiat64.go#L1326: x839, x840 = bits.Add64(x838, x835, uint64(0x0))
p521_fiat64.go#L1329: x841, x842 = bits.Add64(x836, x833, uint64(p521Uint1(x840)))
p521_fiat64.go#L1332: x843, x844 = bits.Add64(x834, x831, uint64(p521Uint1(x842)))
p521_fiat64.go#L1335: x845, x846 = bits.Add64(x832, x829, uint64(p521Uint1(x844)))
p521_fiat64.go#L1338: x847, x848 = bits.Add64(x830, x827, uint64(p521Uint1(x846)))
p521_fiat64.go#L1341: x849, x850 = bits.Add64(x828, x825, uint64(p521Uint1(x848)))
p521_fiat64.go#L1344: x851, x852 = bits.Add64(x826, x823, uint64(p521Uint1(x850)))
p521_fiat64.go#L1347: x853, x854 = bits.Add64(x824, x821, uint64(p521Uint1(x852)))
p521_fiat64.go#L1350: _, x857 = bits.Add64(x801, x837, uint64(0x0))
p521_fiat64.go#L1353: x858, x859 = bits.Add64(x803, x839, uint64(p521Uint1(x857)))
p521_fiat64.go#L1356: x860, x861 = bits.Add64(x805, x841, uint64(p521Uint1(x859)))
p521_fiat64.go#L1359: x862, x863 = bits.Add64(x807, x843, uint64(p521Uint1(x861)))
p521_fiat64.go#L1362: x864, x865 = bits.Add64(x809, x845, uint64(p521Uint1(x863)))
p521_fiat64.go#L1365: x866, x867 = bits.Add64(x811, x847, uint64(p521Uint1(x865)))
p521_fiat64.go#L1368: x868, x869 = bits.Add64(x813, x849, uint64(p521Uint1(x867)))
p521_fiat64.go#L1371: x870, x871 = bits.Add64(x815, x851, uint64(p521Uint1(x869)))
p521_fiat64.go#L1374: x872, x873 = bits.Add64(x817, x853, uint64(p521Uint1(x871)))
p521_fiat64.go#L1377: x874, x875 = bits.Add64(x819, x855, uint64(p521Uint1(x873)))
p521_fiat64.go#L1408: x895, x896 = bits.Add64(x894, x891, uint64(0x0))
p521_fiat64.go#L1411: x897, x898 = bits.Add64(x892, x889, uint64(p521Uint1(x896)))
p521_fiat64.go#L1414: x899, x900 = bits.Add64(x890, x887, uint64(p521Uint1(x898)))
p521_fiat64.go#L1417: x901, x902 = bits.Add64(x888, x885, uint64(p521Uint1(x900)))
p521_fiat64.go#L1420: x903, x904 = bits.Add64(x886, x883, uint64(p521Uint1(x902)))
p521_fiat64.go#L1423: x905, x906 = bits.Add64(x884, x881, uint64(p521Uint1(x904)))
p521_fiat64.go#L1426: x907, x908 = bits.Add64(x882, x879, uint64(p521Uint1(x906)))
p521_fiat64.go#L1429: x909, x910 = bits.Add64(x880, x877, uint64(p521Uint1(x908)))
p521_fiat64.go#L1433: x912, x913 = bits.Add64(x858, x893, uint64(0x0))
p521_fiat64.go#L1436: x914, x915 = bits.Add64(x860, x895, uint64(p521Uint1(x913)))
p521_fiat64.go#L1439: x916, x917 = bits.Add64(x862, x897, uint64(p521Uint1(x915)))
p521_fiat64.go#L1442: x918, x919 = bits.Add64(x864, x899, uint64(p521Uint1(x917)))
p521_fiat64.go#L1445: x920, x921 = bits.Add64(x866, x901, uint64(p521Uint1(x919)))
p521_fiat64.go#L1448: x922, x923 = bits.Add64(x868, x903, uint64(p521Uint1(x921)))
p521_fiat64.go#L1451: x924, x925 = bits.Add64(x870, x905, uint64(p521Uint1(x923)))
p521_fiat64.go#L1454: x926, x927 = bits.Add64(x872, x907, uint64(p521Uint1(x925)))
p521_fiat64.go#L1457: x928, x929 = bits.Add64(x874, x909, uint64(p521Uint1(x927)))
p521_fiat64.go#L1460: x930, x931 = bits.Add64(x876, x911, uint64(p521Uint1(x929)))
p521_fiat64.go#L1490: x950, x951 = bits.Add64(x949, x946, uint64(0x0))
p521_fiat64.go#L1493: x952, x953 = bits.Add64(x947, x944, uint64(p521Uint1(x951)))
p521_fiat64.go#L1496: x954, x955 = bits.Add64(x945, x942, uint64(p521Uint1(x953)))
p521_fiat64.go#L1499: x956, x957 = bits.Add64(x943, x940, uint64(p521Uint1(x955)))
p521_fiat64.go#L1502: x958, x959 = bits.Add64(x941, x938, uint64(p521Uint1(x957)))
p521_fiat64.go#L1505: x960, x961 = bits.Add64(x939, x936, uint64(p521Uint1(x959)))
p521_fiat64.go#L1508: x962, x963 = bits.Add64(x937, x934, uint64(p521Uint1(x961)))
p521_fiat64.go#L1511: x964, x965 = bits.Add64(x935, x932, uint64(p521Uint1(x963)))
p521_fiat64.go#L1514: _, x968 = bits.Add64(x912, x948, uint64(0x0))
p521_fiat64.go#L1517: x969, x970 = bits.Add64(x914, x950, uint64(p521Uint1(x968)))
p521_fiat64.go#L1520: x971, x972 = bits.Add64(x916, x952, uint64(p521Uint1(x970)))
p521_fiat64.go#L1523: x973, x974 = bits.Add64(x918, x954, uint64(p521Uint1(x972)))
p521_fiat64.go#L1526: x975, x976 = bits.Add64(x920, x956, uint64(p521Uint1(x974)))
p521_fiat64.go#L1529: x977, x978 = bits.Add64(x922, x958, uint64(p521Uint1(x976)))
p521_fiat64.go#L1532: x979, x980 = bits.Add64(x924, x960, uint64(p521Uint1(x978)))
p521_fiat64.go#L1535: x981, x982 = bits.Add64(x926, x962, uint64(p521Uint1(x980)))
p521_fiat64.go#L1538: x983, x984 = bits.Add64(x928, x964, uint64(p521Uint1(x982)))
p521_fiat64.go#L1541: x985, x986 = bits.Add64(x930, x966, uint64(p521Uint1(x984)))
p521_fiat64.go#L1650: x28, x29 = bits.Add64(x27, x24, uint64(0x0))
p521_fiat64.go#L1653: x30, x31 = bits.Add64(x25, x22, uint64(p521Uint1(x29)))
p521_fiat64.go#L1656: x32, x33 = bits.Add64(x23, x20, uint64(p521Uint1(x31)))
p521_fiat64.go#L1659: x34, x35 = bits.Add64(x21, x18, uint64(p521Uint1(x33)))
p521_fiat64.go#L1662: x36, x37 = bits.Add64(x19, x16, uint64(p521Uint1(x35)))
p521_fiat64.go#L1665: x38, x39 = bits.Add64(x17, x14, uint64(p521Uint1(x37)))
p521_fiat64.go#L1668: x40, x41 = bits.Add64(x15, x12, uint64(p521Uint1(x39)))
p521_fiat64.go#L1671: x42, x43 = bits.Add64(x13, x10, uint64(p521Uint1(x41)))
p521_fiat64.go#L1702: x63, x64 = bits.Add64(x62, x59, uint64(0x0))
p521_fiat64.go#L1705: x65, x66 = bits.Add64(x60, x57, uint64(p521Uint1(x64)))
p521_fiat64.go#L1708: x67, x68 = bits.Add64(x58, x55, uint64(p521Uint1(x66)))
p521_fiat64.go#L1711: x69, x70 = bits.Add64(x56, x53, uint64(p521Uint1(x68)))
p521_fiat64.go#L1714: x71, x72 = bits.Add64(x54, x51, uint64(p521Uint1(x70)))
p521_fiat64.go#L1717: x73, x74 = bits.Add64(x52, x49, uint64(p521Uint1(x72)))
p521_fiat64.go#L1720: x75, x76 = bits.Add64(x50, x47, uint64(p521Uint1(x74)))
p521_fiat64.go#L1723: x77, x78 = bits.Add64(x48, x45, uint64(p521Uint1(x76)))
p521_fiat64.go#L1726: _, x81 = bits.Add64(x26, x61, uint64(0x0))
p521_fiat64.go#L1729: x82, x83 = bits.Add64(x28, x63, uint64(p521Uint1(x81)))
p521_fiat64.go#L1732: x84, x85 = bits.Add64(x30, x65, uint64(p521Uint1(x83)))
p521_fiat64.go#L1735: x86, x87 = bits.Add64(x32, x67, uint64(p521Uint1(x85)))
p521_fiat64.go#L1738: x88, x89 = bits.Add64(x34, x69, uint64(p521Uint1(x87)))
p521_fiat64.go#L1741: x90, x91 = bits.Add64(x36, x71, uint64(p521Uint1(x89)))
p521_fiat64.go#L1744: x92, x93 = bits.Add64(x38, x73, uint64(p521Uint1(x91)))
p521_fiat64.go#L1747: x94, x95 = bits.Add64(x40, x75, uint64(p521Uint1(x93)))
p521_fiat64.go#L1750: x96, x97 = bits.Add64(x42, x77, uint64(p521Uint1(x95)))
p521_fiat64.go#L1753: x98, x99 = bits.Add64(x44, x79, uint64(p521Uint1(x97)))
p521_fiat64.go#L1783: x118, x119 = bits.Add64(x117, x114, uint64(0x0))
p521_fiat64.go#L1786: x120, x121 = bits.Add64(x115, x112, uint64(p521Uint1(x119)))
p521_fiat64.go#L1789: x122, x123 = bits.Add64(x113, x110, uint64(p521Uint1(x121)))
p521_fiat64.go#L1792: x124, x125 = bits.Add64(x111, x108, uint64(p521Uint1(x123)))
p521_fiat64.go#L1795: x126, x127 = bits.Add64(x109, x106, uint64(p521Uint1(x125)))
p521_fiat64.go#L1798: x128, x129 = bits.Add64(x107, x104, uint64(p521Uint1(x127)))
p521_fiat64.go#L1801: x130, x131 = bits.Add64(x105, x102, uint64(p521Uint1(x129)))
p521_fiat64.go#L1804: x132, x133 = bits.Add64(x103, x100, uint64(p521Uint1(x131)))
p521_fiat64.go#L1808: x135, x136 = bits.Add64(x82, x116, uint64(0x0))
p521_fiat64.go#L1811: x137, x138 = bits.Add64(x84, x118, uint64(p521Uint1(x136)))
p521_fiat64.go#L1814: x139, x140 = bits.Add64(x86, x120, uint64(p521Uint1(x138)))
p521_fiat64.go#L1817: x141, x142 = bits.Add64(x88, x122, uint64(p521Uint1(x140)))
p521_fiat64.go#L1820: x143, x144 = bits.Add64(x90, x124, uint64(p521Uint1(x142)))
p521_fiat64.go#L1823: x145, x146 = bits.Add64(x92, x126, uint64(p521Uint1(x144)))
p521_fiat64.go#L1826: x147, x148 = bits.Add64(x94, x128, uint64(p521Uint1(x146)))
p521_fiat64.go#L1829: x149, x150 = bits.Add64(x96, x130, uint64(p521Uint1(x148)))
p521_fiat64.go#L1832: x151, x152 = bits.Add64(x98, x132, uint64(p521Uint1(x150)))
p521_fiat64.go#L1835: x153, x154 = bits.Add64(uint64(p521Uint1(x99)), x134, uint64(p521Uint1(x152)))
p521_fiat64.go#L1865: x173, x174 = bits.Add64(x172, x169, uint64(0x0))
p521_fiat64.go#L1868: x175, x176 = bits.Add64(x170, x167, uint64(p521Uint1(x174)))
p521_fiat64.go#L1871: x177, x178 = bits.Add64(x168, x165, uint64(p521Uint1(x176)))
p521_fiat64.go#L1874: x179, x180 = bits.Add64(x166, x163, uint64(p521Uint1(x178)))
p521_fiat64.go#L1877: x181, x182 = bits.Add64(x164, x161, uint64(p521Uint1(x180)))
p521_fiat64.go#L1880: x183, x184 = bits.Add64(x162, x159, uint64(p521Uint1(x182)))
p521_fiat64.go#L1883: x185, x186 = bits.Add64(x160, x157, uint64(p521Uint1(x184)))
p521_fiat64.go#L1886: x187, x188 = bits.Add64(x158, x155, uint64(p521Uint1(x186)))
p521_fiat64.go#L1889: _, x191 = bits.Add64(x135, x171, uint64(0x0))
p521_fiat64.go#L1892: x192, x193 = bits.Add64(x137, x173, uint64(p521Uint1(x191)))
p521_fiat64.go#L1895: x194, x195 = bits.Add64(x139, x175, uint64(p521Uint1(x193)))
p521_fiat64.go#L1898: x196, x197 = bits.Add64(x141, x177, uint64(p521Uint1(x195)))
p521_fiat64.go#L1901: x198, x199 = bits.Add64(x143, x179, uint64(p521Uint1(x197)))
p521_fiat64.go#L1904: x200, x201 = bits.Add64(x145, x181, uint64(p521Uint1(x199)))
p521_fiat64.go#L1907: x202, x203 = bits.Add64(x147, x183, uint64(p521Uint1(x201)))
p521_fiat64.go#L1910: x204, x205 = bits.Add64(x149, x185, uint64(p521Uint1(x203)))
p521_fiat64.go#L1913: x206, x207 = bits.Add64(x151, x187, uint64(p521Uint1(x205)))
p521_fiat64.go#L1916: x208, x209 = bits.Add64(x153, x189, uint64(p521Uint1(x207)))
p521_fiat64.go#L1947: x229, x230 = bits.Add64(x228, x225, uint64(0x0))
p521_fiat64.go#L1950: x231, x232 = bits.Add64(x226, x223, uint64(p521Uint1(x230)))
p521_fiat64.go#L1953: x233, x234 = bits.Add64(x224, x221, uint64(p521Uint1(x232)))
p521_fiat64.go#L1956: x235, x236 = bits.Add64(x222, x219, uint64(p521Uint1(x234)))
p521_fiat64.go#L1959: x237, x238 = bits.Add64(x220, x217, uint64(p521Uint1(x236)))
p521_fiat64.go#L1962: x239, x240 = bits.Add64(x218, x215, uint64(p521Uint1(x238)))
p521_fiat64.go#L1965: x241, x242 = bits.Add64(x216, x213, uint64(p521Uint1(x240)))
p521_fiat64.go#L1968: x243, x244 = bits.Add64(x214, x211, uint64(p521Uint1(x242)))
p521_fiat64.go#L1972: x246, x247 = bits.Add64(x192, x227, uint64(0x0))
p521_fiat64.go#L1975: x248, x249 = bits.Add64(x194, x229, uint64(p521Uint1(x247)))
p521_fiat64.go#L1978: x250, x251 = bits.Add64(x196, x231, uint64(p521Uint1(x249)))
p521_fiat64.go#L1981: x252, x253 = bits.Add64(x198, x233, uint64(p521Uint1(x251)))
p521_fiat64.go#L1984: x254, x255 = bits.Add64(x200, x235, uint64(p521Uint1(x253)))
p521_fiat64.go#L1987: x256, x257 = bits.Add64(x202, x237, uint64(p521Uint1(x255)))
p521_fiat64.go#L1990: x258, x259 = bits.Add64(x204, x239, uint64(p521Uint1(x257)))
p521_fiat64.go#L1993: x260, x261 = bits.Add64(x206, x241, uint64(p521Uint1(x259)))
p521_fiat64.go#L1996: x262, x263 = bits.Add64(x208, x243, uint64(p521Uint1(x261)))
p521_fiat64.go#L1999: x264, x265 = bits.Add64(x210, x245, uint64(p521Uint1(x263)))
p521_fiat64.go#L2029: x284, x285 = bits.Add64(x283, x280, uint64(0x0))
p521_fiat64.go#L2032: x286, x287 = bits.Add64(x281, x278, uint64(p521Uint1(x285)))
p521_fiat64.go#L2035: x288, x289 = bits.Add64(x279, x276, uint64(p521Uint1(x287)))
p521_fiat64.go#L2038: x290, x291 = bits.Add64(x277, x274, uint64(p521Uint1(x289)))
p521_fiat64.go#L2041: x292, x293 = bits.Add64(x275, x272, uint64(p521Uint1(x291)))
p521_fiat64.go#L2044: x294, x295 = bits.Add64(x273, x270, uint64(p521Uint1(x293)))
p521_fiat64.go#L2047: x296, x297 = bits.Add64(x271, x268, uint64(p521Uint1(x295)))
p521_fiat64.go#L2050: x298, x299 = bits.Add64(x269, x266, uint64(p521Uint1(x297)))
p521_fiat64.go#L2053: _, x302 = bits.Add64(x246, x282, uint64(0x0))
p521_fiat64.go#L2056: x303, x304 = bits.Add64(x248, x284, uint64(p521Uint1(x302)))
p521_fiat64.go#L2059: x305, x306 = bits.Add64(x250, x286, uint64(p521Uint1(x304)))
p521_fiat64.go#L2062: x307, x308 = bits.Add64(x252, x288, uint64(p521Uint1(x306)))
p521_fiat64.go#L2065: x309, x310 = bits.Add64(x254, x290, uint64(p521Uint1(x308)))
p521_fiat64.go#L2068: x311, x312 = bits.Add64(x256, x292, uint64(p521Uint1(x310)))
p521_fiat64.go#L2071: x313, x314 = bits.Add64(x258, x294, uint64(p521Uint1(x312)))
p521_fiat64.go#L2074: x315, x316 = bits.Add64(x260, x296, uint64(p521Uint1(x314)))
p521_fiat64.go#L2077: x317, x318 = bits.Add64(x262, x298, uint64(p521Uint1(x316)))
p521_fiat64.go#L2080: x319, x320 = bits.Add64(x264, x300, uint64(p521Uint1(x318)))
p521_fiat64.go#L2111: x340, x341 = bits.Add64(x339, x336, uint64(0x0))
p521_fiat64.go#L2114: x342, x343 = bits.Add64(x337, x334, uint64(p521Uint1(x341)))
p521_fiat64.go#L2117: x344, x345 = bits.Add64(x335, x332, uint64(p521Uint1(x343)))
p521_fiat64.go#L2120: x346, x347 = bits.Add64(x333, x330, uint64(p521Uint1(x345)))
p521_fiat64.go#L2123: x348, x349 = bits.Add64(x331, x328, uint64(p521Uint1(x347)))
p521_fiat64.go#L2126: x350, x351 = bits.Add64(x329, x326, uint64(p521Uint1(x349)))
p521_fiat64.go#L2129: x352, x353 = bits.Add64(x327, x324, uint64(p521Uint1(x351)))
p521_fiat64.go#L2132: x354, x355 = bits.Add64(x325, x322, uint64(p521Uint1(x353)))
p521_fiat64.go#L2136: x357, x358 = bits.Add64(x303, x338, uint64(0x0))
p521_fiat64.go#L2139: x359, x360 = bits.Add64(x305, x340, uint64(p521Uint1(x358)))
p521_fiat64.go#L2142: x361, x362 = bits.Add64(x307, x342, uint64(p521Uint1(x360)))
p521_fiat64.go#L2145: x363, x364 = bits.Add64(x309, x344, uint64(p521Uint1(x362)))
p521_fiat64.go#L2148: x365, x366 = bits.Add64(x311, x346, uint64(p521Uint1(x364)))
p521_fiat64.go#L2151: x367, x368 = bits.Add64(x313, x348, uint64(p521Uint1(x366)))
p521_fiat64.go#L2154: x369, x370 = bits.Add64(x315, x350, uint64(p521Uint1(x368)))
p521_fiat64.go#L2157: x371, x372 = bits.Add64(x317, x352, uint64(p521Uint1(x370)))
p521_fiat64.go#L2160: x373, x374 = bits.Add64(x319, x354, uint64(p521Uint1(x372)))
p521_fiat64.go#L2163: x375, x376 = bits.Add64(x321, x356, uint64(p521Uint1(x374)))
p521_fiat64.go#L2193: x395, x396 = bits.Add64(x394, x391, uint64(0x0))
p521_fiat64.go#L2196: x397, x398 = bits.Add64(x392, x389, uint64(p521Uint1(x396)))
p521_fiat64.go#L2199: x399, x400 = bits.Add64(x390, x387, uint64(p521Uint1(x398)))
p521_fiat64.go#L2202: x401, x402 = bits.Add64(x388, x385, uint64(p521Uint1(x400)))
p521_fiat64.go#L2205: x403, x404 = bits.Add64(x386, x383, uint64(p521Uint1(x402)))
p521_fiat64.go#L2208: x405, x406 = bits.Add64(x384, x381, uint64(p521Uint1(x404)))
p521_fiat64.go#L2211: x407, x408 = bits.Add64(x382, x379, uint64(p521Uint1(x406)))
p521_fiat64.go#L2214: x409, x410 = bits.Add64(x380, x377, uint64(p521Uint1(x408)))
p521_fiat64.go#L2217: _, x413 = bits.Add64(x357, x393, uint64(0x0))
p521_fiat64.go#L2220: x414, x415 = bits.Add64(x359, x395, uint64(p521Uint1(x413)))
p521_fiat64.go#L2223: x416, x417 = bits.Add64(x361, x397, uint64(p521Uint1(x415)))
p521_fiat64.go#L2226: x418, x419 = bits.Add64(x363, x399, uint64(p521Uint1(x417)))
p521_fiat64.go#L2229: x420, x421 = bits.Add64(x365, x401, uint64(p521Uint1(x419)))
p521_fiat64.go#L2232: x422, x423 = bits.Add64(x367, x403, uint64(p521Uint1(x421)))
p521_fiat64.go#L2235: x424, x425 = bits.Add64(x369, x405, uint64(p521Uint1(x423)))
p521_fiat64.go#L2238: x426, x427 = bits.Add64(x371, x407, uint64(p521Uint1(x425)))
p521_fiat64.go#L2241: x428, x429 = bits.Add64(x373, x409, uint64(p521Uint1(x427)))
p521_fiat64.go#L2244: x430, x431 = bits.Add64(x375, x411, uint64(p521Uint1(x429)))
p521_fiat64.go#L2275: x451, x452 = bits.Add64(x450, x447, uint64(0x0))
p521_fiat64.go#L2278: x453, x454 = bits.Add64(x448, x445, uint64(p521Uint1(x452)))
p521_fiat64.go#L2281: x455, x456 = bits.Add64(x446, x443, uint64(p521Uint1(x454)))
p521_fiat64.go#L2284: x457, x458 = bits.Add64(x444, x441, uint64(p521Uint1(x456)))
p521_fiat64.go#L2287: x459, x460 = bits.Add64(x442, x439, uint64(p521Uint1(x458)))
p521_fiat64.go#L2290: x461, x462 = bits.Add64(x440, x437, uint64(p521Uint1(x460)))
p521_fiat64.go#L2293: x463, x464 = bits.Add64(x438, x435, uint64(p521Uint1(x462)))
p521_fiat64.go#L2296: x465, x466 = bits.Add64(x436, x433, uint64(p521Uint1(x464)))
p521_fiat64.go#L2300: x468, x469 = bits.Add64(x414, x449, uint64(0x0))
p521_fiat64.go#L2303: x470, x471 = bits.Add64(x416, x451, uint64(p521Uint1(x469)))
p521_fiat64.go#L2306: x472, x473 = bits.Add64(x418, x453, uint64(p521Uint1(x471)))
p521_fiat64.go#L2309: x474, x475 = bits.Add64(x420, x455, uint64(p521Uint1(x473)))
p521_fiat64.go#L2312: x476, x477 = bits.Add64(x422, x457, uint64(p521Uint1(x475)))
p521_fiat64.go#L2315: x478, x479 = bits.Add64(x424, x459, uint64(p521Uint1(x477)))
p521_fiat64.go#L2318: x480, x481 = bits.Add64(x426, x461, uint64(p521Uint1(x479)))
p521_fiat64.go#L2321: x482, x483 = bits.Add64(x428, x463, uint64(p521Uint1(x481)))
p521_fiat64.go#L2324: x484, x485 = bits.Add64(x430, x465, uint64(p521Uint1(x483)))
p521_fiat64.go#L2327: x486, x487 = bits.Add64(x432, x467, uint64(p521Uint1(x485)))
p521_fiat64.go#L2357: x506, x507 = bits.Add64(x505, x502, uint64(0x0))
p521_fiat64.go#L2360: x508, x509 = bits.Add64(x503, x500, uint64(p521Uint1(x507)))
p521_fiat64.go#L2363: x510, x511 = bits.Add64(x501, x498, uint64(p521Uint1(x509)))
p521_fiat64.go#L2366: x512, x513 = bits.Add64(x499, x496, uint64(p521Uint1(x511)))
p521_fiat64.go#L2369: x514, x515 = bits.Add64(x497, x494, uint64(p521Uint1(x513)))
p521_fiat64.go#L2372: x516, x517 = bits.Add64(x495, x492, uint64(p521Uint1(x515)))
p521_fiat64.go#L2375: x518, x519 = bits.Add64(x493, x490, uint64(p521Uint1(x517)))
p521_fiat64.go#L2378: x520, x521 = bits.Add64(x491, x488, uint64(p521Uint1(x519)))
p521_fiat64.go#L2381: _, x524 = bits.Add64(x468, x504, uint64(0x0))
p521_fiat64.go#L2384: x525, x526 = bits.Add64(x470, x506, uint64(p521Uint1(x524)))
p521_fiat64.go#L2387: x527, x528 = bits.Add64(x472, x508, uint64(p521Uint1(x526)))
p521_fiat64.go#L2390: x529, x530 = bits.Add64(x474, x510, uint64(p521Uint1(x528)))
p521_fiat64.go#L2393: x531, x532 = bits.Add64(x476, x512, uint64(p521Uint1(x530)))
p521_fiat64.go#L2396: x533, x534 = bits.Add64(x478, x514, uint64(p521Uint1(x532)))
p521_fiat64.go#L2399: x535, x536 = bits.Add64(x480, x516, uint64(p521Uint1(x534)))
p521_fiat64.go#L2402: x537, x538 = bits.Add64(x482, x518, uint64(p521Uint1(x536)))
p521_fiat64.go#L2405: x539, x540 = bits.Add64(x484, x520, uint64(p521Uint1(x538)))
p521_fiat64.go#L2408: x541, x542 = bits.Add64(x486, x522, uint64(p521Uint1(x540)))
p521_fiat64.go#L2439: x562, x563 = bits.Add64(x561, x558, uint64(0x0))
p521_fiat64.go#L2442: x564, x565 = bits.Add64(x559, x556, uint64(p521Uint1(x563)))
p521_fiat64.go#L2445: x566, x567 = bits.Add64(x557, x554, uint64(p521Uint1(x565)))
p521_fiat64.go#L2448: x568, x569 = bits.Add64(x555, x552, uint64(p521Uint1(x567)))
p521_fiat64.go#L2451: x570, x571 = bits.Add64(x553, x550, uint64(p521Uint1(x569)))
p521_fiat64.go#L2454: x572, x573 = bits.Add64(x551, x548, uint64(p521Uint1(x571)))
p521_fiat64.go#L2457: x574, x575 = bits.Add64(x549, x546, uint64(p521Uint1(x573)))
p521_fiat64.go#L2460: x576, x577 = bits.Add64(x547, x544, uint64(p521Uint1(x575)))
p521_fiat64.go#L2464: x579, x580 = bits.Add64(x525, x560, uint64(0x0))
p521_fiat64.go#L2467: x581, x582 = bits.Add64(x527, x562, uint64(p521Uint1(x580)))
p521_fiat64.go#L2470: x583, x584 = bits.Add64(x529, x564, uint64(p521Uint1(x582)))
p521_fiat64.go#L2473: x585, x586 = bits.Add64(x531, x566, uint64(p521Uint1(x584)))
p521_fiat64.go#L2476: x587, x588 = bits.Add64(x533, x568, uint64(p521Uint1(x586)))
p521_fiat64.go#L2479: x589, x590 = bits.Add64(x535, x570, uint64(p521Uint1(x588)))
p521_fiat64.go#L2482: x591, x592 = bits.Add64(x537, x572, uint64(p521Uint1(x590)))
p521_fiat64.go#L2485: x593, x594 = bits.Add64(x539, x574, uint64(p521Uint1(x592)))
p521_fiat64.go#L2488: x595, x596 = bits.Add64(x541, x576, uint64(p521Uint1(x594)))
p521_fiat64.go#L2491: x597, x598 = bits.Add64(x543, x578, uint64(p521Uint1(x596)))
p521_fiat64.go#L2521: x617, x618 = bits.Add64(x616, x613, uint64(0x0))
p521_fiat64.go#L2524: x619, x620 = bits.Add64(x614, x611, uint64(p521Uint1(x618)))
p521_fiat64.go#L2527: x621, x622 = bits.Add64(x612, x609, uint64(p521Uint1(x620)))
p521_fiat64.go#L2530: x623, x624 = bits.Add64(x610, x607, uint64(p521Uint1(x622)))
p521_fiat64.go#L2533: x625, x626 = bits.Add64(x608, x605, uint64(p521Uint1(x624)))
p521_fiat64.go#L2536: x627, x628 = bits.Add64(x606, x603, uint64(p521Uint1(x626)))
p521_fiat64.go#L2539: x629, x630 = bits.Add64(x604, x601, uint64(p521Uint1(x628)))
p521_fiat64.go#L2542: x631, x632 = bits.Add64(x602, x599, uint64(p521Uint1(x630)))
p521_fiat64.go#L2545: _, x635 = bits.Add64(x579, x615, uint64(0x0))
p521_fiat64.go#L2548: x636, x637 = bits.Add64(x581, x617, uint64(p521Uint1(x635)))
p521_fiat64.go#L2551: x638, x639 = bits.Add64(x583, x619, uint64(p521Uint1(x637)))
p521_fiat64.go#L2554: x640, x641 = bits.Add64(x585, x621, uint64(p521Uint1(x639)))
p521_fiat64.go#L2557: x642, x643 = bits.Add64(x587, x623, uint64(p521Uint1(x641)))
p521_fiat64.go#L2560: x644, x645 = bits.Add64(x589, x625, uint64(p521Uint1(x643)))
p521_fiat64.go#L2563: x646, x647 = bits.Add64(x591, x627, uint64(p521Uint1(x645)))
p521_fiat64.go#L2566: x648, x649 = bits.Add64(x593, x629, uint64(p521Uint1(x647)))
p521_fiat64.go#L2569: x650, x651 = bits.Add64(x595, x631, uint64(p521Uint1(x649)))
p521_fiat64.go#L2572: x652, x653 = bits.Add64(x597, x633, uint64(p521Uint1(x651)))
p521_fiat64.go#L2603: x673, x674 = bits.Add64(x672, x669, uint64(0x0))
p521_fiat64.go#L2606: x675, x676 = bits.Add64(x670, x667, uint64(p521Uint1(x674)))
p521_fiat64.go#L2609: x677, x678 = bits.Add64(x668, x665, uint64(p521Uint1(x676)))
p521_fiat64.go#L2612: x679, x680 = bits.Add64(x666, x663, uint64(p521Uint1(x678)))
p521_fiat64.go#L2615: x681, x682 = bits.Add64(x664, x661, uint64(p521Uint1(x680)))
p521_fiat64.go#L2618: x683, x684 = bits.Add64(x662, x659, uint64(p521Uint1(x682)))
p521_fiat64.go#L2621: x685, x686 = bits.Add64(x660, x657, uint64(p521Uint1(x684)))
p521_fiat64.go#L2624: x687, x688 = bits.Add64(x658, x655, uint64(p521Uint1(x686)))
p521_fiat64.go#L2628: x690, x691 = bits.Add64(x636, x671, uint64(0x0))
p521_fiat64.go#L2631: x692, x693 = bits.Add64(x638, x673, uint64(p521Uint1(x691)))
p521_fiat64.go#L2634: x694, x695 = bits.Add64(x640, x675, uint64(p521Uint1(x693)))
p521_fiat64.go#L2637: x696, x697 = bits.Add64(x642, x677, uint64(p521Uint1(x695)))
p521_fiat64.go#L2640: x698, x699 = bits.Add64(x644, x679, uint64(p521Uint1(x697)))
p521_fiat64.go#L2643: x700, x701 = bits.Add64(x646, x681, uint64(p521Uint1(x699)))
p521_fiat64.go#L2646: x702, x703 = bits.Add64(x648, x683, uint64(p521Uint1(x701)))
p521_fiat64.go#L2649: x704, x705 = bits.Add64(x650, x685, uint64(p521Uint1(x703)))
p521_fiat64.go#L2652: x706, x707 = bits.Add64(x652, x687, uint64(p521Uint1(x705)))
p521_fiat64.go#L2655: x708, x709 = bits.Add64(x654, x689, uint64(p521Uint1(x707)))
p521_fiat64.go#L2685: x728, x729 = bits.Add64(x727, x724, uint64(0x0))
p521_fiat64.go#L2688: x730, x731 = bits.Add64(x725, x722, uint64(p521Uint1(x729)))
p521_fiat64.go#L2691: x732, x733 = bits.Add64(x723, x720, uint64(p521Uint1(x731)))
p521_fiat64.go#L2694: x734, x735 = bits.Add64(x721, x718, uint64(p521Uint1(x733)))
p521_fiat64.go#L2697: x736, x737 = bits.Add64(x719, x716, uint64(p521Uint1(x735)))
p521_fiat64.go#L2700: x738, x739 = bits.Add64(x717, x714, uint64(p521Uint1(x737)))
p521_fiat64.go#L2703: x740, x741 = bits.Add64(x715, x712, uint64(p521Uint1(x739)))
p521_fiat64.go#L2706: x742, x743 = bits.Add64(x713, x710, uint64(p521Uint1(x741)))
p521_fiat64.go#L2709: _, x746 = bits.Add64(x690, x726, uint64(0x0))
p521_fiat64.go#L2712: x747, x748 = bits.Add64(x692, x728, uint64(p521Uint1(x746)))
p521_fiat64.go#L2715: x749, x750 = bits.Add64(x694, x730, uint64(p521Uint1(x748)))
p521_fiat64.go#L2718: x751, x752 = bits.Add64(x696, x732, uint64(p521Uint1(x750)))
p521_fiat64.go#L2721: x753, x754 = bits.Add64(x698, x734, uint64(p521Uint1(x752)))
p521_fiat64.go#L2724: x755, x756 = bits.Add64(x700, x736, uint64(p521Uint1(x754)))
p521_fiat64.go#L2727: x757, x758 = bits.Add64(x702, x738, uint64(p521Uint1(x756)))
p521_fiat64.go#L2730: x759, x760 = bits.Add64(x704, x740, uint64(p521Uint1(x758)))
p521_fiat64.go#L2733: x761, x762 = bits.Add64(x706, x742, uint64(p521Uint1(x760)))
p521_fiat64.go#L2736: x763, x764 = bits.Add64(x708, x744, uint64(p521Uint1(x762)))
p521_fiat64.go#L2767: x784, x785 = bits.Add64(x783, x780, uint64(0x0))
p521_fiat64.go#L2770: x786, x787 = bits.Add64(x781, x778, uint64(p521Uint1(x785)))
p521_fiat64.go#L2773: x788, x789 = bits.Add64(x779, x776, uint64(p521Uint1(x787)))
p521_fiat64.go#L2776: x790, x791 = bits.Add64(x777, x774, uint64(p521Uint1(x789)))
p521_fiat64.go#L2779: x792, x793 = bits.Add64(x775, x772, uint64(p521Uint1(x791)))
p521_fiat64.go#L2782: x794, x795 = bits.Add64(x773, x770, uint64(p521Uint1(x793)))
p521_fiat64.go#L2785: x796, x797 = bits.Add64(x771, x768, uint64(p521Uint1(x795)))
p521_fiat64.go#L2788: x798, x799 = bits.Add64(x769, x766, uint64(p521Uint1(x797)))
p521_fiat64.go#L2792: x801, x802 = bits.Add64(x747, x782, uint64(0x0))
p521_fiat64.go#L2795: x803, x804 = bits.Add64(x749, x784, uint64(p521Uint1(x802)))
p521_fiat64.go#L2798: x805, x806 = bits.Add64(x751, x786, uint64(p521Uint1(x804)))
p521_fiat64.go#L2801: x807, x808 = bits.Add64(x753, x788, uint64(p521Uint1(x806)))
p521_fiat64.go#L2804: x809, x810 = bits.Add64(x755, x790, uint64(p521Uint1(x808)))
p521_fiat64.go#L2807: x811, x812 = bits.Add64(x757, x792, uint64(p521Uint1(x810)))
p521_fiat64.go#L2810: x813, x814 = bits.Add64(x759, x794, uint64(p521Uint1(x812)))
p521_fiat64.go#L2813: x815, x816 = bits.Add64(x761, x796, uint64(p521Uint1(x814)))
p521_fiat64.go#L2816: x817, x818 = bits.Add64(x763, x798, uint64(p521Uint1(x816)))
p521_fiat64.go#L2819: x819, x820 = bits.Add64(x765, x800, uint64(p521Uint1(x818)))
p521_fiat64.go#L2849: x839, x840 = bits.Add64(x838, x835, uint64(0x0))
p521_fiat64.go#L2852: x841, x842 = bits.Add64(x836, x833, uint64(p521Uint1(x840)))
p521_fiat64.go#L2855: x843, x844 = bits.Add64(x834, x831, uint64(p521Uint1(x842)))
p521_fiat64.go#L2858: x845, x846 = bits.Add64(x832, x829, uint64(p521Uint1(x844)))
p521_fiat64.go#L2861: x847, x848 = bits.Add64(x830, x827, uint64(p521Uint1(x846)))
p521_fiat64.go#L2864: x849, x850 = bits.Add64(x828, x825, uint64(p521Uint1(x848)))
p521_fiat64.go#L2867: x851, x852 = bits.Add64(x826, x823, uint64(p521Uint1(x850)))
p521_fiat64.go#L2870: x853, x854 = bits.Add64(x824, x821, uint64(p521Uint1(x852)))
p521_fiat64.go#L2873: _, x857 = bits.Add64(x801, x837, uint64(0x0))
p521_fiat64.go#L2876: x858, x859 = bits.Add64(x803, x839, uint64(p521Uint1(x857)))
p521_fiat64.go#L2879: x860, x861 = bits.Add64(x805, x841, uint64(p521Uint1(x859)))
p521_fiat64.go#L2882: x862, x863 = bits.Add64(x807, x843, uint64(p521Uint1(x861)))
p521_fiat64.go#L2885: x864, x865 = bits.Add64(x809, x845, uint64(p521Uint1(x863)))
p521_fiat64.go#L2888: x866, x867 = bits.Add64(x811, x847, uint64(p521Uint1(x865)))
p521_fiat64.go#L2891: x868, x869 = bits.Add64(x813, x849, uint64(p521Uint1(x867)))
p521_fiat64.go#L2894: x870, x871 = bits.Add64(x815, x851, uint64(p521Uint1(x869)))
p521_fiat64.go#L2897: x872, x873 = bits.Add64(x817, x853, uint64(p521Uint1(x871)))
p521_fiat64.go#L2900: x874, x875 = bits.Add64(x819, x855, uint64(p521Uint1(x873)))
p521_fiat64.go#L2931: x895, x896 = bits.Add64(x894, x891, uint64(0x0))
p521_fiat64.go#L2934: x897, x898 = bits.Add64(x892, x889, uint64(p521Uint1(x896)))
p521_fiat64.go#L2937: x899, x900 = bits.Add64(x890, x887, uint64(p521Uint1(x898)))
p521_fiat64.go#L2940: x901, x902 = bits.Add64(x888, x885, uint64(p521Uint1(x900)))
p521_fiat64.go#L2943: x903, x904 = bits.Add64(x886, x883, uint64(p521Uint1(x902)))
p521_fiat64.go#L2946: x905, x906 = bits.Add64(x884, x881, uint64(p521Uint1(x904)))
p521_fiat64.go#L2949: x907, x908 = bits.Add64(x882, x879, uint64(p521Uint1(x906)))
p521_fiat64.go#L2952: x909, x910 = bits.Add64(x880, x877, uint64(p521Uint1(x908)))
p521_fiat64.go#L2956: x912, x913 = bits.Add64(x858, x893, uint64(0x0))
p521_fiat64.go#L2959: x914, x915 = bits.Add64(x860, x895, uint64(p521Uint1(x913)))
p521_fiat64.go#L2962: x916, x917 = bits.Add64(x862, x897, uint64(p521Uint1(x915)))
p521_fiat64.go#L2965: x918, x919 = bits.Add64(x864, x899, uint64(p521Uint1(x917)))
p521_fiat64.go#L2968: x920, x921 = bits.Add64(x866, x901, uint64(p521Uint1(x919)))
p521_fiat64.go#L2971: x922, x923 = bits.Add64(x868, x903, uint64(p521Uint1(x921)))
p521_fiat64.go#L2974: x924, x925 = bits.Add64(x870, x905, uint64(p521Uint1(x923)))
p521_fiat64.go#L2977: x926, x927 = bits.Add64(x872, x907, uint64(p521Uint1(x925)))
p521_fiat64.go#L2980: x928, x929 = bits.Add64(x874, x909, uint64(p521Uint1(x927)))
p521_fiat64.go#L2983: x930, x931 = bits.Add64(x876, x911, uint64(p521Uint1(x929)))
p521_fiat64.go#L3013: x950, x951 = bits.Add64(x949, x946, uint64(0x0))
p521_fiat64.go#L3016: x952, x953 = bits.Add64(x947, x944, uint64(p521Uint1(x951)))
p521_fiat64.go#L3019: x954, x955 = bits.Add64(x945, x942, uint64(p521Uint1(x953)))
p521_fiat64.go#L3022: x956, x957 = bits.Add64(x943, x940, uint64(p521Uint1(x955)))
p521_fiat64.go#L3025: x958, x959 = bits.Add64(x941, x938, uint64(p521Uint1(x957)))
p521_fiat64.go#L3028: x960, x961 = bits.Add64(x939, x936, uint64(p521Uint1(x959)))
p521_fiat64.go#L3031: x962, x963 = bits.Add64(x937, x934, uint64(p521Uint1(x961)))
p521_fiat64.go#L3034: x964, x965 = bits.Add64(x935, x932, uint64(p521Uint1(x963)))
p521_fiat64.go#L3037: _, x968 = bits.Add64(x912, x948, uint64(0x0))
p521_fiat64.go#L3040: x969, x970 = bits.Add64(x914, x950, uint64(p521Uint1(x968)))
p521_fiat64.go#L3043: x971, x972 = bits.Add64(x916, x952, uint64(p521Uint1(x970)))
p521_fiat64.go#L3046: x973, x974 = bits.Add64(x918, x954, uint64(p521Uint1(x972)))
p521_fiat64.go#L3049: x975, x976 = bits.Add64(x920, x956, uint64(p521Uint1(x974)))
p521_fiat64.go#L3052: x977, x978 = bits.Add64(x922, x958, uint64(p521Uint1(x976)))
p521_fiat64.go#L3055: x979, x980 = bits.Add64(x924, x960, uint64(p521Uint1(x978)))
p521_fiat64.go#L3058: x981, x982 = bits.Add64(x926, x962, uint64(p521Uint1(x980)))
p521_fiat64.go#L3061: x983, x984 = bits.Add64(x928, x964, uint64(p521Uint1(x982)))
p521_fiat64.go#L3064: x985, x986 = bits.Add64(x930, x966, uint64(p521Uint1(x984)))
p521_fiat64.go#L3138: x1, x2 = bits.Add64(arg1[0], arg2[0], uint64(0x0))
p521_fiat64.go#L3141: x3, x4 = bits.Add64(arg1[1], arg2[1], uint64(p521Uint1(x2)))
p521_fiat64.go#L3144: x5, x6 = bits.Add64(arg1[2], arg2[2], uint64(p521Uint1(x4)))
p521_fiat64.go#L3147: x7, x8 = bits.Add64(arg1[3], arg2[3], uint64(p521Uint1(x6)))
p521_fiat64.go#L3150: x9, x10 = bits.Add64(arg1[4], arg2[4], uint64(p521Uint1(x8)))
p521_fiat64.go#L3153: x11, x12 = bits.Add64(arg1[5], arg2[5], uint64(p521Uint1(x10)))
p521_fiat64.go#L3156: x13, x14 = bits.Add64(arg1[6], arg2[6], uint64(p521Uint1(x12)))
p521_fiat64.go#L3159: x15, x16 = bits.Add64(arg1[7], arg2[7], uint64(p521Uint1(x14)))
p521_fiat64.go#L3162: x17, x18 = bits.Add64(arg1[8], arg2[8], uint64(p521Uint1(x16)))
p521_fiat64.go#L3264: x20, x21 = bits.Add64(x1, x19, uint64(0x0))
p521_fiat64.go#L3267: x22, x23 = bits.Add64(x3, x19, uint64(p521Uint1(x21)))
p521_fiat64.go#L3270: x24, x25 = bits.Add64(x5, x19, uint64(p521Uint1(x23)))
p521_fiat64.go#L3273: x26, x27 = bits.Add64(x7, x19, uint64(p521Uint1(x25)))
p521_fiat64.go#L3276: x28, x29 = bits.Add64(x9, x19, uint64(p521Uint1(x27)))
p521_fiat64.go#L3279: x30, x31 = bits.Add64(x11, x19, uint64(p521Uint1(x29)))
p521_fiat64.go#L3282: x32, x33 = bits.Add64(x13, x19, uint64(p521Uint1(x31)))
p521_fiat64.go#L3285: x34, x35 = bits.Add64(x15, x19, uint64(p521Uint1(x33)))
p521_fiat64.go#L3287: x36, _ = bits.Add64(x17, (x19 & 0x1ff), uint64(p521Uint1(x35)))
p521_fiat64.go#L3358: x20, x21 = bits.Add64(x19, x16, uint64(0x0))
p521_fiat64.go#L3361: x22, x23 = bits.Add64(x17, x14, uint64(p521Uint1(x21)))
p521_fiat64.go#L3364: x24, x25 = bits.Add64(x15, x12, uint64(p521Uint1(x23)))
p521_fiat64.go#L3367: x26, x27 = bits.Add64(x13, x10, uint64(p521Uint1(x25)))
p521_fiat64.go#L3370: x28, x29 = bits.Add64(x11, x8, uint64(p521Uint1(x27)))
p521_fiat64.go#L3373: x30, x31 = bits.Add64(x9, x6, uint64(p521Uint1(x29)))
p521_fiat64.go#L3376: x32, x33 = bits.Add64(x7, x4, uint64(p521Uint1(x31)))
p521_fiat64.go#L3379: x34, x35 = bits.Add64(x5, x2, uint64(p521Uint1(x33)))
p521_fiat64.go#L3381: _, x37 = bits.Add64(x1, x18, uint64(0x0))
p521_fiat64.go#L3384: x38, x39 = bits.Add64(uint64(0x0), x20, uint64(p521Uint1(x37)))
p521_fiat64.go#L3387: x40, x41 = bits.Add64(uint64(0x0), x22, uint64(p521Uint1(x39)))
p521_fiat64.go#L3390: x42, x43 = bits.Add64(uint64(0x0), x24, uint64(p521Uint1(x41)))
p521_fiat64.go#L3393: x44, x45 = bits.Add64(uint64(0x0), x26, uint64(p521Uint1(x43)))
p521_fiat64.go#L3396: x46, x47 = bits.Add64(uint64(0x0), x28, uint64(p521Uint1(x45)))
p521_fiat64.go#L3399: x48, x49 = bits.Add64(uint64(0x0), x30, uint64(p521Uint1(x47)))
p521_fiat64.go#L3402: x50, x51 = bits.Add64(uint64(0x0), x32, uint64(p521Uint1(x49)))
p521_fiat64.go#L3405: x52, x53 = bits.Add64(uint64(0x0), x34, uint64(p521Uint1(x51)))
p521_fiat64.go#L3408: x54, x55 = bits.Add64(x38, arg1[1], uint64(0x0))
p521_fiat64.go#L3411: x56, x57 = bits.Add64(x40, uint64(0x0), uint64(p521Uint1(x55)))
p521_fiat64.go#L3414: x58, x59 = bits.Add64(x42, uint64(0x0), uint64(p521Uint1(x57)))
p521_fiat64.go#L3417: x60, x61 = bits.Add64(x44, uint64(0x0), uint64(p521Uint1(x59)))
p521_fiat64.go#L3420: x62, x63 = bits.Add64(x46, uint64(0x0), uint64(p521Uint1(x61)))
p521_fiat64.go#L3423: x64, x65 = bits.Add64(x48, uint64(0x0), uint64(p521Uint1(x63)))
p521_fiat64.go#L3426: x66, x67 = bits.Add64(x50, uint64(0x0), uint64(p521Uint1(x65)))
p521_fiat64.go#L3429: x68, x69 = bits.Add64(x52, uint64(0x0), uint64(p521Uint1(x67)))
p521_fiat64.go#L3459: x88, x89 = bits.Add64(x87, x84, uint64(0x0))
p521_fiat64.go#L3462: x90, x91 = bits.Add64(x85, x82, uint64(p521Uint1(x89)))
p521_fiat64.go#L3465: x92, x93 = bits.Add64(x83, x80, uint64(p521Uint1(x91)))
p521_fiat64.go#L3468: x94, x95 = bits.Add64(x81, x78, uint64(p521Uint1(x93)))
p521_fiat64.go#L3471: x96, x97 = bits.Add64(x79, x76, uint64(p521Uint1(x95)))
p521_fiat64.go#L3474: x98, x99 = bits.Add64(x77, x74, uint64(p521Uint1(x97)))
p521_fiat64.go#L3477: x100, x101 = bits.Add64(x75, x72, uint64(p521Uint1(x99)))
p521_fiat64.go#L3480: x102, x103 = bits.Add64(x73, x70, uint64(p521Uint1(x101)))
p521_fiat64.go#L3482: _, x105 = bits.Add64(x54, x86, uint64(0x0))
p521_fiat64.go#L3485: x106, x107 = bits.Add64(x56, x88, uint64(p521Uint1(x105)))
p521_fiat64.go#L3488: x108, x109 = bits.Add64(x58, x90, uint64(p521Uint1(x107)))
p521_fiat64.go#L3491: x110, x111 = bits.Add64(x60, x92, uint64(p521Uint1(x109)))
p521_fiat64.go#L3494: x112, x113 = bits.Add64(x62, x94, uint64(p521Uint1(x111)))
p521_fiat64.go#L3497: x114, x115 = bits.Add64(x64, x96, uint64(p521Uint1(x113)))
p521_fiat64.go#L3500: x116, x117 = bits.Add64(x66, x98, uint64(p521Uint1(x115)))
p521_fiat64.go#L3503: x118, x119 = bits.Add64(x68, x100, uint64(p521Uint1(x117)))
p521_fiat64.go#L3506: x120, x121 = bits.Add64((uint64(p521Uint1(x69)) + (uint64(p521Uint1(x53)) + (uint64(p521Uint1(x35)) + x3))), x102, uint64(p521Uint1(x119)))
p521_fiat64.go#L3509: x122, x123 = bits.Add64(x106, arg1[2], uint64(0x0))
p521_fiat64.go#L3512: x124, x125 = bits.Add64(x108, uint64(0x0), uint64(p521Uint1(x123)))
p521_fiat64.go#L3515: x126, x127 = bits.Add64(x110, uint64(0x0), uint64(p521Uint1(x125)))
p521_fiat64.go#L3518: x128, x129 = bits.Add64(x112, uint64(0x0), uint64(p521Uint1(x127)))
p521_fiat64.go#L3521: x130, x131 = bits.Add64(x114, uint64(0x0), uint64(p521Uint1(x129)))
p521_fiat64.go#L3524: x132, x133 = bits.Add64(x116, uint64(0x0), uint64(p521Uint1(x131)))
p521_fiat64.go#L3527: x134, x135 = bits.Add64(x118, uint64(0x0), uint64(p521Uint1(x133)))
p521_fiat64.go#L3530: x136, x137 = bits.Add64(x120, uint64(0x0), uint64(p521Uint1(x135)))
p521_fiat64.go#L3560: x156, x157 = bits.Add64(x155, x152, uint64(0x0))
p521_fiat64.go#L3563: x158, x159 = bits.Add64(x153, x150, uint64(p521Uint1(x157)))
p521_fiat64.go#L3566: x160, x161 = bits.Add64(x151, x148, uint64(p521Uint1(x159)))
p521_fiat64.go#L3569: x162, x163 = bits.Add64(x149, x146, uint64(p521Uint1(x161)))
p521_fiat64.go#L3572: x164, x165 = bits.Add64(x147, x144, uint64(p521Uint1(x163)))
p521_fiat64.go#L3575: x166, x167 = bits.Add64(x145, x142, uint64(p521Uint1(x165)))
p521_fiat64.go#L3578: x168, x169 = bits.Add64(x143, x140, uint64(p521Uint1(x167)))
p521_fiat64.go#L3581: x170, x171 = bits.Add64(x141, x138, uint64(p521Uint1(x169)))
p521_fiat64.go#L3583: _, x173 = bits.Add64(x122, x154, uint64(0x0))
p521_fiat64.go#L3586: x174, x175 = bits.Add64(x124, x156, uint64(p521Uint1(x173)))
p521_fiat64.go#L3589: x176, x177 = bits.Add64(x126, x158, uint64(p521Uint1(x175)))
p521_fiat64.go#L3592: x178, x179 = bits.Add64(x128, x160, uint64(p521Uint1(x177)))
p521_fiat64.go#L3595: x180, x181 = bits.Add64(x130, x162, uint64(p521Uint1(x179)))
p521_fiat64.go#L3598: x182, x183 = bits.Add64(x132, x164, uint64(p521Uint1(x181)))
p521_fiat64.go#L3601: x184, x185 = bits.Add64(x134, x166, uint64(p521Uint1(x183)))
p521_fiat64.go#L3604: x186, x187 = bits.Add64(x136, x168, uint64(p521Uint1(x185)))
p521_fiat64.go#L3607: x188, x189 = bits.Add64((uint64(p521Uint1(x137)) + (uint64(p521Uint1(x121)) + (uint64(p521Uint1(x103)) + x71))), x170, uint64(p521Uint1(x187)))
p521_fiat64.go#L3610: x190, x191 = bits.Add64(x174, arg1[3], uint64(0x0))
p521_fiat64.go#L3613: x192, x193 = bits.Add64(x176, uint64(0x0), uint64(p521Uint1(x191)))
p521_fiat64.go#L3616: x194, x195 = bits.Add64(x178, uint64(0x0), uint64(p521Uint1(x193)))
p521_fiat64.go#L3619: x196, x197 = bits.Add64(x180, uint64(0x0), uint64(p521Uint1(x195)))
p521_fiat64.go#L3622: x198, x199 = bits.Add64(x182, uint64(0x0), uint64(p521Uint1(x197)))
p521_fiat64.go#L3625: x200, x201 = bits.Add64(x184, uint64(0x0), uint64(p521Uint1(x199)))
p521_fiat64.go#L3628: x202, x203 = bits.Add64(x186, uint64(0x0), uint64(p521Uint1(x201)))
p521_fiat64.go#L3631: x204, x205 = bits.Add64(x188, uint64(0x0), uint64(p521Uint1(x203)))
p521_fiat64.go#L3661: x224, x225 = bits.Add64(x223, x220, uint64(0x0))
p521_fiat64.go#L3664: x226, x227 = bits.Add64(x221, x218, uint64(p521Uint1(x225)))
p521_fiat64.go#L3667: x228, x229 = bits.Add64(x219, x216, uint64(p521Uint1(x227)))
p521_fiat64.go#L3670: x230, x231 = bits.Add64(x217, x214, uint64(p521Uint1(x229)))
p521_fiat64.go#L3673: x232, x233 = bits.Add64(x215, x212, uint64(p521Uint1(x231)))
p521_fiat64.go#L3676: x234, x235 = bits.Add64(x213, x210, uint64(p521Uint1(x233)))
p521_fiat64.go#L3679: x236, x237 = bits.Add64(x211, x208, uint64(p521Uint1(x235)))
p521_fiat64.go#L3682: x238, x239 = bits.Add64(x209, x206, uint64(p521Uint1(x237)))
p521_fiat64.go#L3684: _, x241 = bits.Add64(x190, x222, uint64(0x0))
p521_fiat64.go#L3687: x242, x243 = bits.Add64(x192, x224, uint64(p521Uint1(x241)))
p521_fiat64.go#L3690: x244, x245 = bits.Add64(x194, x226, uint64(p521Uint1(x243)))
p521_fiat64.go#L3693: x246, x247 = bits.Add64(x196, x228, uint64(p521Uint1(x245)))
p521_fiat64.go#L3696: x248, x249 = bits.Add64(x198, x230, uint64(p521Uint1(x247)))
p521_fiat64.go#L3699: x250, x251 = bits.Add64(x200, x232, uint64(p521Uint1(x249)))
p521_fiat64.go#L3702: x252, x253 = bits.Add64(x202, x234, uint64(p521Uint1(x251)))
p521_fiat64.go#L3705: x254, x255 = bits.Add64(x204, x236, uint64(p521Uint1(x253)))
p521_fiat64.go#L3708: x256, x257 = bits.Add64((uint64(p521Uint1(x205)) + (uint64(p521Uint1(x189)) + (uint64(p521Uint1(x171)) + x139))), x238, uint64(p521Uint1(x255)))
p521_fiat64.go#L3711: x258, x259 = bits.Add64(x242, arg1[4], uint64(0x0))
p521_fiat64.go#L3714: x260, x261 = bits.Add64(x244, uint64(0x0), uint64(p521Uint1(x259)))
p521_fiat64.go#L3717: x262, x263 = bits.Add64(x246, uint64(0x0), uint64(p521Uint1(x261)))
p521_fiat64.go#L3720: x264, x265 = bits.Add64(x248, uint64(0x0), uint64(p521Uint1(x263)))
p521_fiat64.go#L3723: x266, x267 = bits.Add64(x250, uint64(0x0), uint64(p521Uint1(x265)))
p521_fiat64.go#L3726: x268, x269 = bits.Add64(x252, uint64(0x0), uint64(p521Uint1(x267)))
p521_fiat64.go#L3729: x270, x271 = bits.Add64(x254, uint64(0x0), uint64(p521Uint1(x269)))
p521_fiat64.go#L3732: x272, x273 = bits.Add64(x256, uint64(0x0), uint64(p521Uint1(x271)))
p521_fiat64.go#L3762: x292, x293 = bits.Add64(x291, x288, uint64(0x0))
p521_fiat64.go#L3765: x294, x295 = bits.Add64(x289, x286, uint64(p521Uint1(x293)))
p521_fiat64.go#L3768: x296, x297 = bits.Add64(x287, x284, uint64(p521Uint1(x295)))
p521_fiat64.go#L3771: x298, x299 = bits.Add64(x285, x282, uint64(p521Uint1(x297)))
p521_fiat64.go#L3774: x300, x301 = bits.Add64(x283, x280, uint64(p521Uint1(x299)))
p521_fiat64.go#L3777: x302, x303 = bits.Add64(x281, x278, uint64(p521Uint1(x301)))
p521_fiat64.go#L3780: x304, x305 = bits.Add64(x279, x276, uint64(p521Uint1(x303)))
p521_fiat64.go#L3783: x306, x307 = bits.Add64(x277, x274, uint64(p521Uint1(x305)))
p521_fiat64.go#L3785: _, x309 = bits.Add64(x258, x290, uint64(0x0))
p521_fiat64.go#L3788: x310, x311 = bits.Add64(x260, x292, uint64(p521Uint1(x309)))
p521_fiat64.go#L3791: x312, x313 = bits.Add64(x262, x294, uint64(p521Uint1(x311)))
p521_fiat64.go#L3794: x314, x315 = bits.Add64(x264, x296, uint64(p521Uint1(x313)))
p521_fiat64.go#L3797: x316, x317 = bits.Add64(x266, x298, uint64(p521Uint1(x315)))
p521_fiat64.go#L3800: x318, x319 = bits.Add64(x268, x300, uint64(p521Uint1(x317)))
p521_fiat64.go#L3803: x320, x321 = bits.Add64(x270, x302, uint64(p521Uint1(x319)))
p521_fiat64.go#L3806: x322, x323 = bits.Add64(x272, x304, uint64(p521Uint1(x321)))
p521_fiat64.go#L3809: x324, x325 = bits.Add64((uint64(p521Uint1(x273)) + (uint64(p521Uint1(x257)) + (uint64(p521Uint1(x239)) + x207))), x306, uint64(p521Uint1(x323)))
p521_fiat64.go#L3812: x326, x327 = bits.Add64(x310, arg1[5], uint64(0x0))
p521_fiat64.go#L3815: x328, x329 = bits.Add64(x312, uint64(0x0), uint64(p521Uint1(x327)))
p521_fiat64.go#L3818: x330, x331 = bits.Add64(x314, uint64(0x0), uint64(p521Uint1(x329)))
p521_fiat64.go#L3821: x332, x333 = bits.Add64(x316, uint64(0x0), uint64(p521Uint1(x331)))
p521_fiat64.go#L3824: x334, x335 = bits.Add64(x318, uint64(0x0), uint64(p521Uint1(x333)))
p521_fiat64.go#L3827: x336, x337 = bits.Add64(x320, uint64(0x0), uint64(p521Uint1(x335)))
p521_fiat64.go#L3830: x338, x339 = bits.Add64(x322, uint64(0x0), uint64(p521Uint1(x337)))
p521_fiat64.go#L3833: x340, x341 = bits.Add64(x324, uint64(0x0), uint64(p521Uint1(x339)))
p521_fiat64.go#L3863: x360, x361 = bits.Add64(x359, x356, uint64(0x0))
p521_fiat64.go#L3866: x362, x363 = bits.Add64(x357, x354, uint64(p521Uint1(x361)))
p521_fiat64.go#L3869: x364, x365 = bits.Add64(x355, x352, uint64(p521Uint1(x363)))
p521_fiat64.go#L3872: x366, x367 = bits.Add64(x353, x350, uint64(p521Uint1(x365)))
p521_fiat64.go#L3875: x368, x369 = bits.Add64(x351, x348, uint64(p521Uint1(x367)))
p521_fiat64.go#L3878: x370, x371 = bits.Add64(x349, x346, uint64(p521Uint1(x369)))
p521_fiat64.go#L3881: x372, x373 = bits.Add64(x347, x344, uint64(p521Uint1(x371)))
p521_fiat64.go#L3884: x374, x375 = bits.Add64(x345, x342, uint64(p521Uint1(x373)))
p521_fiat64.go#L3886: _, x377 = bits.Add64(x326, x358, uint64(0x0))
p521_fiat64.go#L3889: x378, x379 = bits.Add64(x328, x360, uint64(p521Uint1(x377)))
p521_fiat64.go#L3892: x380, x381 = bits.Add64(x330, x362, uint64(p521Uint1(x379)))
p521_fiat64.go#L3895: x382, x383 = bits.Add64(x332, x364, uint64(p521Uint1(x381)))
p521_fiat64.go#L3898: x384, x385 = bits.Add64(x334, x366, uint64(p521Uint1(x383)))
p521_fiat64.go#L3901: x386, x387 = bits.Add64(x336, x368, uint64(p521Uint1(x385)))
p521_fiat64.go#L3904: x388, x389 = bits.Add64(x338, x370, uint64(p521Uint1(x387)))
p521_fiat64.go#L3907: x390, x391 = bits.Add64(x340, x372, uint64(p521Uint1(x389)))
p521_fiat64.go#L3910: x392, x393 = bits.Add64((uint64(p521Uint1(x341)) + (uint64(p521Uint1(x325)) + (uint64(p521Uint1(x307)) + x275))), x374, uint64(p521Uint1(x391)))
p521_fiat64.go#L3913: x394, x395 = bits.Add64(x378, arg1[6], uint64(0x0))
p521_fiat64.go#L3916: x396, x397 = bits.Add64(x380, uint64(0x0), uint64(p521Uint1(x395)))
p521_fiat64.go#L3919: x398, x399 = bits.Add64(x382, uint64(0x0), uint64(p521Uint1(x397)))
p521_fiat64.go#L3922: x400, x401 = bits.Add64(x384, uint64(0x0), uint64(p521Uint1(x399)))
p521_fiat64.go#L3925: x402, x403 = bits.Add64(x386, uint64(0x0), uint64(p521Uint1(x401)))
p521_fiat64.go#L3928: x404, x405 = bits.Add64(x388, uint64(0x0), uint64(p521Uint1(x403)))
p521_fiat64.go#L3931: x406, x407 = bits.Add64(x390, uint64(0x0), uint64(p521Uint1(x405)))
p521_fiat64.go#L3934: x408, x409 = bits.Add64(x392, uint64(0x0), uint64(p521Uint1(x407)))
p521_fiat64.go#L3964: x428, x429 = bits.Add64(x427, x424, uint64(0x0))
p521_fiat64.go#L3967: x430, x431 = bits.Add64(x425, x422, uint64(p521Uint1(x429)))
p521_fiat64.go#L3970: x432, x433 = bits.Add64(x423, x420, uint64(p521Uint1(x431)))
p521_fiat64.go#L3973: x434, x435 = bits.Add64(x421, x418, uint64(p521Uint1(x433)))
p521_fiat64.go#L3976: x436, x437 = bits.Add64(x419, x416, uint64(p521Uint1(x435)))
p521_fiat64.go#L3979: x438, x439 = bits.Add64(x417, x414, uint64(p521Uint1(x437)))
p521_fiat64.go#L3982: x440, x441 = bits.Add64(x415, x412, uint64(p521Uint1(x439)))
p521_fiat64.go#L3985: x442, x443 = bits.Add64(x413, x410, uint64(p521Uint1(x441)))
p521_fiat64.go#L3987: _, x445 = bits.Add64(x394, x426, uint64(0x0))
p521_fiat64.go#L3990: x446, x447 = bits.Add64(x396, x428, uint64(p521Uint1(x445)))
p521_fiat64.go#L3993: x448, x449 = bits.Add64(x398, x430, uint64(p521Uint1(x447)))
p521_fiat64.go#L3996: x450, x451 = bits.Add64(x400, x432, uint64(p521Uint1(x449)))
p521_fiat64.go#L3999: x452, x453 = bits.Add64(x402, x434, uint64(p521Uint1(x451)))
p521_fiat64.go#L4002: x454, x455 = bits.Add64(x404, x436, uint64(p521Uint1(x453)))
p521_fiat64.go#L4005: x456, x457 = bits.Add64(x406, x438, uint64(p521Uint1(x455)))
p521_fiat64.go#L4008: x458, x459 = bits.Add64(x408, x440, uint64(p521Uint1(x457)))
p521_fiat64.go#L4011: x460, x461 = bits.Add64((uint64(p521Uint1(x409)) + (uint64(p521Uint1(x393)) + (uint64(p521Uint1(x375)) + x343))), x442, uint64(p521Uint1(x459)))
p521_fiat64.go#L4014: x462, x463 = bits.Add64(x446, arg1[7], uint64(0x0))
p521_fiat64.go#L4017: x464, x465 = bits.Add64(x448, uint64(0x0), uint64(p521Uint1(x463)))
p521_fiat64.go#L4020: x466, x467 = bits.Add64(x450, uint64(0x0), uint64(p521Uint1(x465)))
p521_fiat64.go#L4023: x468, x469 = bits.Add64(x452, uint64(0x0), uint64(p521Uint1(x467)))
p521_fiat64.go#L4026: x470, x471 = bits.Add64(x454, uint64(0x0), uint64(p521Uint1(x469)))
p521_fiat64.go#L4029: x472, x473 = bits.Add64(x456, uint64(0x0), uint64(p521Uint1(x471)))
p521_fiat64.go#L4032: x474, x475 = bits.Add64(x458, uint64(0x0), uint64(p521Uint1(x473)))
p521_fiat64.go#L4035: x476, x477 = bits.Add64(x460, uint64(0x0), uint64(p521Uint1(x475)))
p521_fiat64.go#L4065: x496, x497 = bits.Add64(x495, x492, uint64(0x0))
p521_fiat64.go#L4068: x498, x499 = bits.Add64(x493, x490, uint64(p521Uint1(x497)))
p521_fiat64.go#L4071: x500, x501 = bits.Add64(x491, x488, uint64(p521Uint1(x499)))
p521_fiat64.go#L4074: x502, x503 = bits.Add64(x489, x486, uint64(p521Uint1(x501)))
p521_fiat64.go#L4077: x504, x505 = bits.Add64(x487, x484, uint64(p521Uint1(x503)))
p521_fiat64.go#L4080: x506, x507 = bits.Add64(x485, x482, uint64(p521Uint1(x505)))
p521_fiat64.go#L4083: x508, x509 = bits.Add64(x483, x480, uint64(p521Uint1(x507)))
p521_fiat64.go#L4086: x510, x511 = bits.Add64(x481, x478, uint64(p521Uint1(x509)))
p521_fiat64.go#L4088: _, x513 = bits.Add64(x462, x494, uint64(0x0))
p521_fiat64.go#L4091: x514, x515 = bits.Add64(x464, x496, uint64(p521Uint1(x513)))
p521_fiat64.go#L4094: x516, x517 = bits.Add64(x466, x498, uint64(p521Uint1(x515)))
p521_fiat64.go#L4097: x518, x519 = bits.Add64(x468, x500, uint64(p521Uint1(x517)))
p521_fiat64.go#L4100: x520, x521 = bits.Add64(x470, x502, uint64(p521Uint1(x519)))
p521_fiat64.go#L4103: x522, x523 = bits.Add64(x472, x504, uint64(p521Uint1(x521)))
p521_fiat64.go#L4106: x524, x525 = bits.Add64(x474, x506, uint64(p521Uint1(x523)))
p521_fiat64.go#L4109: x526, x527 = bits.Add64(x476, x508, uint64(p521Uint1(x525)))
p521_fiat64.go#L4112: x528, x529 = bits.Add64((uint64(p521Uint1(x477)) + (uint64(p521Uint1(x461)) + (uint64(p521Uint1(x443)) + x411))), x510, uint64(p521Uint1(x527)))
p521_fiat64.go#L4115: x530, x531 = bits.Add64(x514, arg1[8], uint64(0x0))
p521_fiat64.go#L4118: x532, x533 = bits.Add64(x516, uint64(0x0), uint64(p521Uint1(x531)))
p521_fiat64.go#L4121: x534, x535 = bits.Add64(x518, uint64(0x0), uint64(p521Uint1(x533)))
p521_fiat64.go#L4124: x536, x537 = bits.Add64(x520, uint64(0x0), uint64(p521Uint1(x535)))
p521_fiat64.go#L4127: x538, x539 = bits.Add64(x522, uint64(0x0), uint64(p521Uint1(x537)))
p521_fiat64.go#L4130: x540, x541 = bits.Add64(x524, uint64(0x0), uint64(p521Uint1(x539)))
p521_fiat64.go#L4133: x542, x543 = bits.Add64(x526, uint64(0x0), uint64(p521Uint1(x541)))
p521_fiat64.go#L4136: x544, x545 = bits.Add64(x528, uint64(0x0), uint64(p521Uint1(x543)))
p521_fiat64.go#L4166: x564, x565 = bits.Add64(x563, x560, uint64(0x0))
p521_fiat64.go#L4169: x566, x567 = bits.Add64(x561, x558, uint64(p521Uint1(x565)))
p521_fiat64.go#L4172: x568, x569 = bits.Add64(x559, x556, uint64(p521Uint1(x567)))
p521_fiat64.go#L4175: x570, x571 = bits.Add64(x557, x554, uint64(p521Uint1(x569)))
p521_fiat64.go#L4178: x572, x573 = bits.Add64(x555, x552, uint64(p521Uint1(x571)))
p521_fiat64.go#L4181: x574, x575 = bits.Add64(x553, x550, uint64(p521Uint1(x573)))
p521_fiat64.go#L4184: x576, x577 = bits.Add64(x551, x548, uint64(p521Uint1(x575)))
p521_fiat64.go#L4187: x578, x579 = bits.Add64(x549, x546, uint64(p521Uint1(x577)))
p521_fiat64.go#L4189: _, x581 = bits.Add64(x530, x562, uint64(0x0))
p521_fiat64.go#L4192: x582, x583 = bits.Add64(x532, x564, uint64(p521Uint1(x581)))
p521_fiat64.go#L4195: x584, x585 = bits.Add64(x534, x566, uint64(p521Uint1(x583)))
p521_fiat64.go#L4198: x586, x587 = bits.Add64(x536, x568, uint64(p521Uint1(x585)))
p521_fiat64.go#L4201: x588, x589 = bits.Add64(x538, x570, uint64(p521Uint1(x587)))
p521_fiat64.go#L4204: x590, x591 = bits.Add64(x540, x572, uint64(p521Uint1(x589)))
p521_fiat64.go#L4207: x592, x593 = bits.Add64(x542, x574, uint64(p521Uint1(x591)))
p521_fiat64.go#L4210: x594, x595 = bits.Add64(x544, x576, uint64(p521Uint1(x593)))
p521_fiat64.go#L4213: x596, x597 = bits.Add64((uint64(p521Uint1(x545)) + (uint64(p521Uint1(x529)) + (uint64(p521Uint1(x511)) + x479))), x578, uint64(p521Uint1(x595)))
p521_fiat64.go#L4292: x5, x6 = bits.Add64(x2, x3, uint64(0x0))
p521_fiat64.go#L4322: x25, x26 = bits.Add64(x24, x21, uint64(0x0))
p521_fiat64.go#L4325: x27, x28 = bits.Add64(x22, x19, uint64(p521Uint1(x26)))
p521_fiat64.go#L4328: x29, x30 = bits.Add64(x20, x17, uint64(p521Uint1(x28)))
p521_fiat64.go#L4331: x31, x32 = bits.Add64(x18, x15, uint64(p521Uint1(x30)))
p521_fiat64.go#L4334: x33, x34 = bits.Add64(x16, x13, uint64(p521Uint1(x32)))
p521_fiat64.go#L4337: x35, x36 = bits.Add64(x14, x11, uint64(p521Uint1(x34)))
p521_fiat64.go#L4340: x37, x38 = bits.Add64(x12, x9, uint64(p521Uint1(x36)))
p521_fiat64.go#L4343: x39, x40 = bits.Add64(x10, x7, uint64(p521Uint1(x38)))
p521_fiat64.go#L4345: _, x42 = bits.Add64(x1, x23, uint64(0x0))
p521_fiat64.go#L4348: x43, x44 = bits.Add64(x5, x25, uint64(p521Uint1(x42)))
p521_fiat64.go#L4351: x45, x46 = bits.Add64((uint64(p521Uint1(x6)) + x4), x27, uint64(p521Uint1(x44)))
p521_fiat64.go#L4354: x47, x48 = bits.Add64(uint64(0x0), x29, uint64(p521Uint1(x46)))
p521_fiat64.go#L4357: x49, x50 = bits.Add64(uint64(0x0), x31, uint64(p521Uint1(x48)))
p521_fiat64.go#L4360: x51, x52 = bits.Add64(uint64(0x0), x33, uint64(p521Uint1(x50)))
p521_fiat64.go#L4363: x53, x54 = bits.Add64(uint64(0x0), x35, uint64(p521Uint1(x52)))
p521_fiat64.go#L4366: x55, x56 = bits.Add64(uint64(0x0), x37, uint64(p521Uint1(x54)))
p521_fiat64.go#L4369: x57, x58 = bits.Add64(uint64(0x0), x39, uint64(p521Uint1(x56)))
p521_fiat64.go#L4375: x61, x62 = bits.Add64(x45, x59, uint64(0x0))
p521_fiat64.go#L4378: x63, x64 = bits.Add64(x47, x60, uint64(p521Uint1(x62)))
p521_fiat64.go#L4381: x65, x66 = bits.Add64(x49, uint64(0x0), uint64(p521Uint1(x64)))
p521_fiat64.go#L4384: x67, x68 = bits.Add64(x51, uint64(0x0), uint64(p521Uint1(x66)))
p521_fiat64.go#L4387: x69, x70 = bits.Add64(x53, uint64(0x0), uint64(p521Uint1(x68)))
p521_fiat64.go#L4390: x71, x72 = bits.Add64(x55, uint64(0x0), uint64(p521Uint1(x70)))
p521_fiat64.go#L4393: x73, x74 = bits.Add64(x57, uint64(0x0), uint64(p521Uint1(x72)))
p521_fiat64.go#L4423: x93, x94 = bits.Add64(x92, x89, uint64(0x0))
p521_fiat64.go#L4426: x95, x96 = bits.Add64(x90, x87, uint64(p521Uint1(x94)))
p521_fiat64.go#L4429: x97, x98 = bits.Add64(x88, x85, uint64(p521Uint1(x96)))
p521_fiat64.go#L4432: x99, x100 = bits.Add64(x86, x83, uint64(p521Uint1(x98)))
p521_fiat64.go#L4435: x101, x102 = bits.Add64(x84, x81, uint64(p521Uint1(x100)))
p521_fiat64.go#L4438: x103, x104 = bits.Add64(x82, x79, uint64(p521Uint1(x102)))
p521_fiat64.go#L4441: x105, x106 = bits.Add64(x80, x77, uint64(p521Uint1(x104)))
p521_fiat64.go#L4444: x107, x108 = bits.Add64(x78, x75, uint64(p521Uint1(x106)))
p521_fiat64.go#L4446: _, x110 = bits.Add64(x43, x91, uint64(0x0))
p521_fiat64.go#L4449: x111, x112 = bits.Add64(x61, x93, uint64(p521Uint1(x110)))
p521_fiat64.go#L4452: x113, x114 = bits.Add64(x63, x95, uint64(p521Uint1(x112)))
p521_fiat64.go#L4455: x115, x116 = bits.Add64(x65, x97, uint64(p521Uint1(x114)))
p521_fiat64.go#L4458: x117, x118 = bits.Add64(x67, x99, uint64(p521Uint1(x116)))
p521_fiat64.go#L4461: x119, x120 = bits.Add64(x69, x101, uint64(p521Uint1(x118)))
p521_fiat64.go#L4464: x121, x122 = bits.Add64(x71, x103, uint64(p521Uint1(x120)))
p521_fiat64.go#L4467: x123, x124 = bits.Add64(x73, x105, uint64(p521Uint1(x122)))
p521_fiat64.go#L4470: x125, x126 = bits.Add64((uint64(p521Uint1(x74)) + (uint64(p521Uint1(x58)) + (uint64(p521Uint1(x40)) + x8))), x107, uint64(p521Uint1(x124)))
p521_fiat64.go#L4476: x129, x130 = bits.Add64(x113, x127, uint64(0x0))
p521_fiat64.go#L4479: x131, x132 = bits.Add64(x115, x128, uint64(p521Uint1(x130)))
p521_fiat64.go#L4482: x133, x134 = bits.Add64(x117, uint64(0x0), uint64(p521Uint1(x132)))
p521_fiat64.go#L4485: x135, x136 = bits.Add64(x119, uint64(0x0), uint64(p521Uint1(x134)))
p521_fiat64.go#L4488: x137, x138 = bits.Add64(x121, uint64(0x0), uint64(p521Uint1(x136)))
p521_fiat64.go#L4491: x139, x140 = bits.Add64(x123, uint64(0x0), uint64(p521Uint1(x138)))
p521_fiat64.go#L4494: x141, x142 = bits.Add64(x125, uint64(0x0), uint64(p521Uint1(x140)))
p521_fiat64.go#L4524: x161, x162 = bits.Add64(x160, x157, uint64(0x0))
p521_fiat64.go#L4527: x163, x164 = bits.Add64(x158, x155, uint64(p521Uint1(x162)))
p521_fiat64.go#L4530: x165, x166 = bits.Add64(x156, x153, uint64(p521Uint1(x164)))
p521_fiat64.go#L4533: x167, x168 = bits.Add64(x154, x151, uint64(p521Uint1(x166)))
p521_fiat64.go#L4536: x169, x170 = bits.Add64(x152, x149, uint64(p521Uint1(x168)))
p521_fiat64.go#L4539: x171, x172 = bits.Add64(x150, x147, uint64(p521Uint1(x170)))
p521_fiat64.go#L4542: x173, x174 = bits.Add64(x148, x145, uint64(p521Uint1(x172)))
p521_fiat64.go#L4545: x175, x176 = bits.Add64(x146, x143, uint64(p521Uint1(x174)))
p521_fiat64.go#L4547: _, x178 = bits.Add64(x111, x159, uint64(0x0))
p521_fiat64.go#L4550: x179, x180 = bits.Add64(x129, x161, uint64(p521Uint1(x178)))
p521_fiat64.go#L4553: x181, x182 = bits.Add64(x131, x163, uint64(p521Uint1(x180)))
p521_fiat64.go#L4556: x183, x184 = bits.Add64(x133, x165, uint64(p521Uint1(x182)))
p521_fiat64.go#L4559: x185, x186 = bits.Add64(x135, x167, uint64(p521Uint1(x184)))
p521_fiat64.go#L4562: x187, x188 = bits.Add64(x137, x169, uint64(p521Uint1(x186)))
p521_fiat64.go#L4565: x189, x190 = bits.Add64(x139, x171, uint64(p521Uint1(x188)))
p521_fiat64.go#L4568: x191, x192 = bits.Add64(x141, x173, uint64(p521Uint1(x190)))
p521_fiat64.go#L4571: x193, x194 = bits.Add64((uint64(p521Uint1(x142)) + (uint64(p521Uint1(x126)) + (uint64(p521Uint1(x108)) + x76))), x175, uint64(p521Uint1(x192)))
p521_fiat64.go#L4577: x197, x198 = bits.Add64(x181, x195, uint64(0x0))
p521_fiat64.go#L4580: x199, x200 = bits.Add64(x183, x196, uint64(p521Uint1(x198)))
p521_fiat64.go#L4583: x201, x202 = bits.Add64(x185, uint64(0x0), uint64(p521Uint1(x200)))
p521_fiat64.go#L4586: x203, x204 = bits.Add64(x187, uint64(0x0), uint64(p521Uint1(x202)))
p521_fiat64.go#L4589: x205, x206 = bits.Add64(x189, uint64(0x0), uint64(p521Uint1(x204)))
p521_fiat64.go#L4592: x207, x208 = bits.Add64(x191, uint64(0x0), uint64(p521Uint1(x206)))
p521_fiat64.go#L4595: x209, x210 = bits.Add64(x193, uint64(0x0), uint64(p521Uint1(x208)))
p521_fiat64.go#L4625: x229, x230 = bits.Add64(x228, x225, uint64(0x0))
p521_fiat64.go#L4628: x231, x232 = bits.Add64(x226, x223, uint64(p521Uint1(x230)))
p521_fiat64.go#L4631: x233, x234 = bits.Add64(x224, x221, uint64(p521Uint1(x232)))
p521_fiat64.go#L4634: x235, x236 = bits.Add64(x222, x219, uint64(p521Uint1(x234)))
p521_fiat64.go#L4637: x237, x238 = bits.Add64(x220, x217, uint64(p521Uint1(x236)))
p521_fiat64.go#L4640: x239, x240 = bits.Add64(x218, x215, uint64(p521Uint1(x238)))
p521_fiat64.go#L4643: x241, x242 = bits.Add64(x216, x213, uint64(p521Uint1(x240)))
p521_fiat64.go#L4646: x243, x244 = bits.Add64(x214, x211, uint64(p521Uint1(x242)))
p521_fiat64.go#L4648: _, x246 = bits.Add64(x179, x227, uint64(0x0))
p521_fiat64.go#L4651: x247, x248 = bits.Add64(x197, x229, uint64(p521Uint1(x246)))
p521_fiat64.go#L4654: x249, x250 = bits.Add64(x199, x231, uint64(p521Uint1(x248)))
p521_fiat64.go#L4657: x251, x252 = bits.Add64(x201, x233, uint64(p521Uint1(x250)))
p521_fiat64.go#L4660: x253, x254 = bits.Add64(x203, x235, uint64(p521Uint1(x252)))
p521_fiat64.go#L4663: x255, x256 = bits.Add64(x205, x237, uint64(p521Uint1(x254)))
p521_fiat64.go#L4666: x257, x258 = bits.Add64(x207, x239, uint64(p521Uint1(x256)))
p521_fiat64.go#L4669: x259, x260 = bits.Add64(x209, x241, uint64(p521Uint1(x258)))
p521_fiat64.go#L4672: x261, x262 = bits.Add64((uint64(p521Uint1(x210)) + (uint64(p521Uint1(x194)) + (uint64(p521Uint1(x176)) + x144))), x243, uint64(p521Uint1(x260)))
p521_fiat64.go#L4678: x265, x266 = bits.Add64(x249, x263, uint64(0x0))
p521_fiat64.go#L4681: x267, x268 = bits.Add64(x251, x264, uint64(p521Uint1(x266)))
p521_fiat64.go#L4684: x269, x270 = bits.Add64(x253, uint64(0x0), uint64(p521Uint1(x268)))
p521_fiat64.go#L4687: x271, x272 = bits.Add64(x255, uint64(0x0), uint64(p521Uint1(x270)))
p521_fiat64.go#L4690: x273, x274 = bits.Add64(x257, uint64(0x0), uint64(p521Uint1(x272)))
p521_fiat64.go#L4693: x275, x276 = bits.Add64(x259, uint64(0x0), uint64(p521Uint1(x274)))
p521_fiat64.go#L4696: x277, x278 = bits.Add64(x261, uint64(0x0), uint64(p521Uint1(x276)))
p521_fiat64.go#L4726: x297, x298 = bits.Add64(x296, x293, uint64(0x0))
p521_fiat64.go#L4729: x299, x300 = bits.Add64(x294, x291, uint64(p521Uint1(x298)))
p521_fiat64.go#L4732: x301, x302 = bits.Add64(x292, x289, uint64(p521Uint1(x300)))
p521_fiat64.go#L4735: x303, x304 = bits.Add64(x290, x287, uint64(p521Uint1(x302)))
p521_fiat64.go#L4738: x305, x306 = bits.Add64(x288, x285, uint64(p521Uint1(x304)))
p521_fiat64.go#L4741: x307, x308 = bits.Add64(x286, x283, uint64(p521Uint1(x306)))
p521_fiat64.go#L4744: x309, x310 = bits.Add64(x284, x281, uint64(p521Uint1(x308)))
p521_fiat64.go#L4747: x311, x312 = bits.Add64(x282, x279, uint64(p521Uint1(x310)))
p521_fiat64.go#L4749: _, x314 = bits.Add64(x247, x295, uint64(0x0))
p521_fiat64.go#L4752: x315, x316 = bits.Add64(x265, x297, uint64(p521Uint1(x314)))
p521_fiat64.go#L4755: x317, x318 = bits.Add64(x267, x299, uint64(p521Uint1(x316)))
p521_fiat64.go#L4758: x319, x320 = bits.Add64(x269, x301, uint64(p521Uint1(x318)))
p521_fiat64.go#L4761: x321, x322 = bits.Add64(x271, x303, uint64(p521Uint1(x320)))
p521_fiat64.go#L4764: x323, x324 = bits.Add64(x273, x305, uint64(p521Uint1(x322)))
p521_fiat64.go#L4767: x325, x326 = bits.Add64(x275, x307, uint64(p521Uint1(x324)))
p521_fiat64.go#L4770: x327, x328 = bits.Add64(x277, x309, uint64(p521Uint1(x326)))
p521_fiat64.go#L4773: x329, x330 = bits.Add64((uint64(p521Uint1(x278)) + (uint64(p521Uint1(x262)) + (uint64(p521Uint1(x244)) + x212))), x311, uint64(p521Uint1(x328)))
p521_fiat64.go#L4779: x333, x334 = bits.Add64(x317, x331, uint64(0x0))
p521_fiat64.go#L4782: x335, x336 = bits.Add64(x319, x332, uint64(p521Uint1(x334)))
p521_fiat64.go#L4785: x337, x338 = bits.Add64(x321, uint64(0x0), uint64(p521Uint1(x336)))
p521_fiat64.go#L4788: x339, x340 = bits.Add64(x323, uint64(0x0), uint64(p521Uint1(x338)))
p521_fiat64.go#L4791: x341, x342 = bits.Add64(x325, uint64(0x0), uint64(p521Uint1(x340)))
p521_fiat64.go#L4794: x343, x344 = bits.Add64(x327, uint64(0x0), uint64(p521Uint1(x342)))
p521_fiat64.go#L4797: x345, x346 = bits.Add64(x329, uint64(0x0), uint64(p521Uint1(x344)))
p521_fiat64.go#L4827: x365, x366 = bits.Add64(x364, x361, uint64(0x0))
p521_fiat64.go#L4830: x367, x368 = bits.Add64(x362, x359, uint64(p521Uint1(x366)))
p521_fiat64.go#L4833: x369, x370 = bits.Add64(x360, x357, uint64(p521Uint1(x368)))
p521_fiat64.go#L4836: x371, x372 = bits.Add64(x358, x355, uint64(p521Uint1(x370)))
p521_fiat64.go#L4839: x373, x374 = bits.Add64(x356, x353, uint64(p521Uint1(x372)))
p521_fiat64.go#L4842: x375, x376 = bits.Add64(x354, x351, uint64(p521Uint1(x374)))
p521_fiat64.go#L4845: x377, x378 = bits.Add64(x352, x349, uint64(p521Uint1(x376)))
p521_fiat64.go#L4848: x379, x380 = bits.Add64(x350, x347, uint64(p521Uint1(x378)))
p521_fiat64.go#L4850: _, x382 = bits.Add64(x315, x363, uint64(0x0))
p521_fiat64.go#L4853: x383, x384 = bits.Add64(x333, x365, uint64(p521Uint1(x382)))
p521_fiat64.go#L4856: x385, x386 = bits.Add64(x335, x367, uint64(p521Uint1(x384)))
p521_fiat64.go#L4859: x387, x388 = bits.Add64(x337, x369, uint64(p521Uint1(x386)))
p521_fiat64.go#L4862: x389, x390 = bits.Add64(x339, x371, uint64(p521Uint1(x388)))
p521_fiat64.go#L4865: x391, x392 = bits.Add64(x341, x373, uint64(p521Uint1(x390)))
p521_fiat64.go#L4868: x393, x394 = bits.Add64(x343, x375, uint64(p521Uint1(x392)))
p521_fiat64.go#L4871: x395, x396 = bits.Add64(x345, x377, uint64(p521Uint1(x394)))
p521_fiat64.go#L4874: x397, x398 = bits.Add64((uint64(p521Uint1(x346)) + (uint64(p521Uint1(x330)) + (uint64(p521Uint1(x312)) + x280))), x379, uint64(p521Uint1(x396)))
p521_fiat64.go#L4880: x401, x402 = bits.Add64(x385, x399, uint64(0x0))
p521_fiat64.go#L4883: x403, x404 = bits.Add64(x387, x400, uint64(p521Uint1(x402)))
p521_fiat64.go#L4886: x405, x406 = bits.Add64(x389, uint64(0x0), uint64(p521Uint1(x404)))
p521_fiat64.go#L4889: x407, x408 = bits.Add64(x391, uint64(0x0), uint64(p521Uint1(x406)))
p521_fiat64.go#L4892: x409, x410 = bits.Add64(x393, uint64(0x0), uint64(p521Uint1(x408)))
p521_fiat64.go#L4895: x411, x412 = bits.Add64(x395, uint64(0x0), uint64(p521Uint1(x410)))
p521_fiat64.go#L4898: x413, x414 = bits.Add64(x397, uint64(0x0), uint64(p521Uint1(x412)))
p521_fiat64.go#L4928: x433, x434 = bits.Add64(x432, x429, uint64(0x0))
p521_fiat64.go#L4931: x435, x436 = bits.Add64(x430, x427, uint64(p521Uint1(x434)))
p521_fiat64.go#L4934: x437, x438 = bits.Add64(x428, x425, uint64(p521Uint1(x436)))
p521_fiat64.go#L4937: x439, x440 = bits.Add64(x426, x423, uint64(p521Uint1(x438)))
p521_fiat64.go#L4940: x441, x442 = bits.Add64(x424, x421, uint64(p521Uint1(x440)))
p521_fiat64.go#L4943: x443, x444 = bits.Add64(x422, x419, uint64(p521Uint1(x442)))
p521_fiat64.go#L4946: x445, x446 = bits.Add64(x420, x417, uint64(p521Uint1(x444)))
p521_fiat64.go#L4949: x447, x448 = bits.Add64(x418, x415, uint64(p521Uint1(x446)))
p521_fiat64.go#L4951: _, x450 = bits.Add64(x383, x431, uint64(0x0))
p521_fiat64.go#L4954: x451, x452 = bits.Add64(x401, x433, uint64(p521Uint1(x450)))
p521_fiat64.go#L4957: x453, x454 = bits.Add64(x403, x435, uint64(p521Uint1(x452)))
p521_fiat64.go#L4960: x455, x456 = bits.Add64(x405, x437, uint64(p521Uint1(x454)))
p521_fiat64.go#L4963: x457, x458 = bits.Add64(x407, x439, uint64(p521Uint1(x456)))
p521_fiat64.go#L4966: x459, x460 = bits.Add64(x409, x441, uint64(p521Uint1(x458)))
p521_fiat64.go#L4969: x461, x462 = bits.Add64(x411, x443, uint64(p521Uint1(x460)))
p521_fiat64.go#L4972: x463, x464 = bits.Add64(x413, x445, uint64(p521Uint1(x462)))
p521_fiat64.go#L4975: x465, x466 = bits.Add64((uint64(p521Uint1(x414)) + (uint64(p521Uint1(x398)) + (uint64(p521Uint1(x380)) + x348))), x447, uint64(p521Uint1(x464)))
p521_fiat64.go#L4981: x469, x470 = bits.Add64(x453, x467, uint64(0x0))
p521_fiat64.go#L4984: x471, x472 = bits.Add64(x455, x468, uint64(p521Uint1(x470)))
p521_fiat64.go#L4987: x473, x474 = bits.Add64(x457, uint64(0x0), uint64(p521Uint1(x472)))
p521_fiat64.go#L4990: x475, x476 = bits.Add64(x459, uint64(0x0), uint64(p521Uint1(x474)))
p521_fiat64.go#L4993: x477, x478 = bits.Add64(x461, uint64(0x0), uint64(p521Uint1(x476)))
p521_fiat64.go#L4996: x479, x480 = bits.Add64(x463, uint64(0x0), uint64(p521Uint1(x478)))
p521_fiat64.go#L4999: x481, x482 = bits.Add64(x465, uint64(0x0), uint64(p521Uint1(x480)))
p521_fiat64.go#L5029: x501, x502 = bits.Add64(x500, x497, uint64(0x0))
p521_fiat64.go#L5032: x503, x504 = bits.Add64(x498, x495, uint64(p521Uint1(x502)))
p521_fiat64.go#L5035: x505, x506 = bits.Add64(x496, x493, uint64(p521Uint1(x504)))
p521_fiat64.go#L5038: x507, x508 = bits.Add64(x494, x491, uint64(p521Uint1(x506)))
p521_fiat64.go#L5041: x509, x510 = bits.Add64(x492, x489, uint64(p521Uint1(x508)))
p521_fiat64.go#L5044: x511, x512 = bits.Add64(x490, x487, uint64(p521Uint1(x510)))
p521_fiat64.go#L5047: x513, x514 = bits.Add64(x488, x485, uint64(p521Uint1(x512)))
p521_fiat64.go#L5050: x515, x516 = bits.Add64(x486, x483, uint64(p521Uint1(x514)))
p521_fiat64.go#L5052: _, x518 = bits.Add64(x451, x499, uint64(0x0))
p521_fiat64.go#L5055: x519, x520 = bits.Add64(x469, x501, uint64(p521Uint1(x518)))
p521_fiat64.go#L5058: x521, x522 = bits.Add64(x471, x503, uint64(p521Uint1(x520)))
p521_fiat64.go#L5061: x523, x524 = bits.Add64(x473, x505, uint64(p521Uint1(x522)))
p521_fiat64.go#L5064: x525, x526 = bits.Add64(x475, x507, uint64(p521Uint1(x524)))
p521_fiat64.go#L5067: x527, x528 = bits.Add64(x477, x509, uint64(p521Uint1(x526)))
p521_fiat64.go#L5070: x529, x530 = bits.Add64(x479, x511, uint64(p521Uint1(x528)))
p521_fiat64.go#L5073: x531, x532 = bits.Add64(x481, x513, uint64(p521Uint1(x530)))
p521_fiat64.go#L5076: x533, x534 = bits.Add64((uint64(p521Uint1(x482)) + (uint64(p521Uint1(x466)) + (uint64(p521Uint1(x448)) + x416))), x515, uint64(p521Uint1(x532)))
net/netip
uint128.go#L59: lo, carry := bits.Add64(u.lo, 1, 0)
strconv
ftoaryu.go#L541: mid, carry := bits.Add64(l1, h0, 0)
vendor/golang.org/x/crypto/internal/poly1305
bits_go1.13.go#L13: return bits.Add64(x, y, carry)
 |
The pages are generated with Golds v0.6.7. (GOOS=linux GOARCH=amd64)
Golds is a Go 101 project developed by Tapir Liu.
PR and bug reports are welcome and can be submitted to the issue list.
Please follow @Go100and1 (reachable from the left QR code) to get the latest news of Golds. |