def setupQuarterRound(self, stp_file, a, b, c, w, wordsize):
        command = ""
        # First addition
        command += "ASSERT({});\n".format(
            stpcommands.getStringAdd(a[0], a[3], b[0], wordsize))

        command += "ASSERT({} = ~{});\n".format(w[0],
            stpcommands.getStringEq(a[0], a[3], b[0]))


        # Second addition
        tmp_xor0 = "BVXOR({}, {})".format(rotl(b[0], 7, wordsize), a[1])
        command += "ASSERT({});\n".format(
            stpcommands.getStringAdd(a[0], tmp_xor0, b[1], wordsize))

        command += "ASSERT({} = ~{});\n".format(w[1],
            stpcommands.getStringEq(a[0], tmp_xor0, b[1]))


        # Third addition
        tmp_xor1 = "BVXOR({}, {})".format(rotl(b[1], 9, wordsize), a[2])
        command += "ASSERT({});\n".format(
            stpcommands.getStringAdd(tmp_xor0, tmp_xor1, b[2], wordsize))

        command += "ASSERT({} = ~{});\n".format(w[2],
            stpcommands.getStringEq(tmp_xor0, tmp_xor1, b[2]))

        # Fourth addition
        tmp_xor2 = "BVXOR({}, {})".format(rotl(b[2], 13, wordsize), a[3])
        command += "ASSERT({});\n".format(
            stpcommands.getStringAdd(tmp_xor1, tmp_xor2, b[3], wordsize))

        command += "ASSERT({} = ~{});\n".format(w[3],
            stpcommands.getStringEq(tmp_xor1, tmp_xor2, b[3]))

        # Outputs
        command += "ASSERT({} = BVXOR({}, {}));\n".format(c[0], a[0], rotl(b[3], 18, wordsize))
        command += "ASSERT({} = {});\n".format(c[1], tmp_xor0)
        command += "ASSERT({} = {});\n".format(c[2], tmp_xor1)
        command += "ASSERT({} = {});\n".format(c[3], tmp_xor2)

        stp_file.write(command)
        return
Create a new Client object with the given list of servers.
dataset/ETHPy150Open kste/cryptosmt/ciphers/salsa.py/SalsaCipher.setupQuarterRound--crossover with--dataset/ETHPy150Open mozilla/source/vendor-local/lib/python/memcache.py/Client.__init__