var x136 uint64
	x135, x136 = bits.Add64(x113, x127, uint64(p256Uint1(x134)))
	var x137 uint64
	var x138 uint64
	x137, x138 = bits.Add64(x115, x129, uint64(p256Uint1(x136)))
	var x139 uint64
	var x140 uint64
	x140, x139 = bits.Mul64(x131, 0xffffffff00000001)
	var x141 uint64
	var x142 uint64
	x142, x141 = bits.Mul64(x131, 0xffffffff)
	var x143 uint64
	var x144 uint64

	var x135 uint64
	var x136 uint64
	x135, x136 = bits.Add64(x115, x127, uint64(fiatScalarUint1(x134)))
	var x137 uint64
	var x138 uint64
	x137, x138 = bits.Add64(((uint64(fiatScalarUint1(x116)) + (uint64(fiatScalarUint1(x98)) + (uint64(fiatScalarUint1(x90)) + x78))) + x102), x129, uint64(fiatScalarUint1(x136)))
	var x139 uint64
	_, x139 = bits.Mul64(x131, 0xd2b51da312547e1b)
	var x141 uint64
	var x142 uint64

	var x127 uint64
	var x128 uint64
	x127, x128 = bits.Add64(x122, x119, uint64(p224Uint1(x126)))
	x129 := (uint64(p224Uint1(x128)) + x120)
	var x131 uint64
	_, x131 = bits.Add64(x107, x117, uint64(0x0))
	var x132 uint64
	var x133 uint64
	x132, x133 = bits.Add64(x109, x123, uint64(p224Uint1(x131)))
	var x134 uint64
	var x135 uint64
	x134, x135 = bits.Add64(x111, x125, uint64(p224Uint1(x133)))
	var x136 uint64

	var x125 [10<<20]byte
	var x126 [10<<20]byte
	var x127 [10<<20]byte
	var x128 [10<<20]byte
	var x129 [10<<20]byte
	var x130 [10<<20]byte
	var x131 [10<<20]byte
	var x132 [10<<20]byte
	var x133 [10<<20]byte
	var x134 [10<<20]byte
	var x135 [10<<20]byte
	var x136 [10<<20]byte
	var x137 [10<<20]byte
	var x138 [10<<20]byte
	var x139 [10<<20]byte
	var x140 [10<<20]byte
	var x141 [10<<20]byte

	var x134 uint64
	var x135 uint64
	x134, x135 = bits.Add64(x98, x122, uint64(p384Uint1(x133)))
	var x136 uint64
	var x137 uint64
	x136, x137 = bits.Add64(x100, x124, uint64(p384Uint1(x135)))
	var x138 uint64
	var x139 uint64
	x138, x139 = bits.Add64((uint64(p384Uint1(x101)) + uint64(p384Uint1(x89))), (uint64(p384Uint1(x125)) + x105), uint64(p384Uint1(x137)))
	var x140 uint64
	var x141 uint64

	var x135 uint64
	var x136 uint64
	x135, x136 = bits.Add64(x82, x116, uint64(0x0))
	var x137 uint64
	var x138 uint64
	x137, x138 = bits.Add64(x84, x118, uint64(p521Uint1(x136)))
	var x139 uint64
	var x140 uint64
	x139, x140 = bits.Add64(x86, x120, uint64(p521Uint1(x138)))
	var x141 uint64
	var x142 uint64
	x141, x142 = bits.Add64(x88, x122, uint64(p521Uint1(x140)))
	var x143 uint64
	var x144 uint64

    X1363,
    X1364,
    X1365,
    X1366,
    X1367,
    X1368,
    X1369,
    X1370,
    X1371,
    X1372,
    X1373,
    X1374,
    X1375,
    X1376,
    X1377,
    X1378,
    X1379,
    X1380,
    X1381,
    X1382,
    X1383,
    X1384,
    X1385,
    X1386,
    X1387,
    X1388,
    X1389,
    X1390,
    X1391,

    X1363,
    X1364,
    X1365,
    X1366,
    X1367,
    X1368,
    X1369,
    X1370,
    X1371,
    X1372,
    X1373,
    X1374,
    X1375,
    X1376,
    X1377,
    X1378,
    X1379,
    X1380,
    X1381,
    X1382,
    X1383,
    X1384,
    X1385,
    X1386,
    X1387,
    X1388,
    X1389,
    X1390,
    X1391,

            }

            ${mavenCentralRepository()}

            dependencies {
                implementation 'org.scala-lang:scala-library:2.11.8'
                testImplementation 'org.specs2:specs2_2.11:3.7'
                testImplementation 'org.specs2:specs2-junit_2.11:4.7.0'
                ${testFrameworkDependencies}
            }
        """
        file('src/test/scala/BasicSpec.scala') << '''

	// amd64:-`.*SP.*`
	out |= in[7] << 25
	// amd64:-`.*SP.*`
	out |= in[8] << 28
	// amd64:-`.*SP.*`
	out |= in[9] << 31
	// amd64:-`.*SP.*`
	out |= in[10] << 34
	// amd64:-`.*SP.*`
	out |= in[11] << 37
	// amd64:-`.*SP.*`
	out |= in[12] << 40
	// amd64:-`.*SP.*`
	out |= in[13] << 43
	// amd64:-`.*SP.*`
	out |= in[14] << 46
	// amd64:-`.*SP.*`
	out |= in[15] << 49
	// amd64:-`.*SP.*`
	out |= in[16] << 52