Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-07-19
*/

pragma solidity 0.5.7;

contract DSMath {
    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x, "ds-math-add-overflow");
    }
    function sub(uint x, uint y) internal pure returns (uint z) {
        require((z = x - y) <= x, "ds-math-sub-underflow");
    }
    function mul(uint x, uint y) internal pure returns (uint z) {
        require(y == 0 || (z = x * y) / y == x, "ds-math-mul-overflow");
    }

    function min(uint x, uint y) internal pure returns (uint z) {
        return x <= y ? x : y;
    }
    function max(uint x, uint y) internal pure returns (uint z) {
        return x >= y ? x : y;
    }
    function imin(int x, int y) internal pure returns (int z) {
        return x <= y ? x : y;
    }
    function imax(int x, int y) internal pure returns (int z) {
        return x >= y ? x : y;
    }

    uint constant WAD = 10 ** 18;
    uint constant RAY = 10 ** 27;

    function wmul(uint x, uint y) internal pure returns (uint z) {
        z = add(mul(x, y), WAD / 2) / WAD;
    }
    function rmul(uint x, uint y) internal pure returns (uint z) {
        z = add(mul(x, y), RAY / 2) / RAY;
    }
    function wdiv(uint x, uint y) internal pure returns (uint z) {
        z = add(mul(x, WAD), y / 2) / y;
    }
    function rdiv(uint x, uint y) internal pure returns (uint z) {
        z = add(mul(x, RAY), y / 2) / y;
    }

    // This famous algorithm is called "exponentiation by squaring"
    // and calculates x^n with x as fixed-point and n as regular unsigned.
    //
    // It's O(log n), instead of O(n) for naive repeated multiplication.
    //
    // These facts are why it works:
    //
    //  If n is even, then x^n = (x^2)^(n/2).
    //  If n is odd,  then x^n = x * x^(n-1),
    //   and applying the equation for even x gives
    //    x^n = x * (x^2)^((n-1) / 2).
    //
    //  Also, EVM division is flooring and
    //    floor[(n-1) / 2] = floor[n / 2].
    //
    function rpow(uint x, uint n) internal pure returns (uint z) {
        z = n % 2 != 0 ? x : RAY;

        for (n /= 2; n != 0; n /= 2) {
            x = rmul(x, x);

            if (n % 2 != 0) {
                z = rmul(z, x);
            }
        }
    }
}

contract ERC20Events {
    event Approval(address indexed src, address indexed guy, uint wad);
    event Transfer(address indexed src, address indexed dst, uint wad);
}

contract ERC20 is ERC20Events {
    function totalSupply() public view returns (uint);
    function balanceOf(address guy) public view returns (uint);
    function allowance(address src, address guy) public view returns (uint);

    function approve(address guy, uint wad) public returns (bool);
    function transfer(address dst, uint wad) public returns (bool);
    function transferFrom(
        address src, address dst, uint wad
    ) public returns (bool);
}

contract DSTokenBase is ERC20, DSMath {
    uint256                                            _supply;
    mapping (address => uint256)                       _balances;
    mapping (address => mapping (address => uint256))  _approvals;

    constructor(uint supply) public {
        _balances[msg.sender] = supply;
        _supply = supply;
    }

    function totalSupply() public view returns (uint) {
        return _supply;
    }
    function balanceOf(address src) public view returns (uint) {
        return _balances[src];
    }
    function allowance(address src, address guy) public view returns (uint) {
        return _approvals[src][guy];
    }

    function transfer(address dst, uint wad) public returns (bool) {
        return transferFrom(msg.sender, dst, wad);
    }

    function transferFrom(address src, address dst, uint wad)
        public
        returns (bool)
    {
        if (src != msg.sender) {
            require(_approvals[src][msg.sender] >= wad, "ds-token-insufficient-approval");
            _approvals[src][msg.sender] = sub(_approvals[src][msg.sender], wad);
        }

        require(_balances[src] >= wad, "ds-token-insufficient-balance");
        _balances[src] = sub(_balances[src], wad);
        _balances[dst] = add(_balances[dst], wad);

        emit Transfer(src, dst, wad);

        return true;
    }

    function approve(address guy, uint wad) public returns (bool) {
        _approvals[msg.sender][guy] = wad;

        emit Approval(msg.sender, guy, wad);

        return true;
    }
}

contract DSNote {
    event LogNote(
        bytes4   indexed  sig,
        address  indexed  guy,
        bytes32  indexed  foo,
        bytes32  indexed  bar,
        uint              wad,
        bytes             fax
    ) anonymous;

    modifier note {
        bytes32 foo;
        bytes32 bar;

        assembly {
            foo := calldataload(4)
            bar := calldataload(36)
        }

        emit LogNote(msg.sig, msg.sender, foo, bar, msg.value, msg.data);

        _;
    }
}

contract DSAuthority {
    function canCall(
        address src, address dst, bytes4 sig
    ) public view returns (bool);
}

contract DSAuthEvents {
    event LogSetAuthority (address indexed authority);
    event LogSetOwner     (address indexed owner);
}

contract DSAuth is DSAuthEvents {
    DSAuthority  public  authority;
    address      public  owner;

    constructor() public {
        owner = msg.sender;
        emit LogSetOwner(msg.sender);
    }

    function setOwner(address owner_)
        public
        auth
    {
        owner = owner_;
        emit LogSetOwner(owner);
    }

    function setAuthority(DSAuthority authority_)
        public
        auth
    {
        authority = authority_;
        emit LogSetAuthority(address(authority));
    }

    modifier auth {
        require(isAuthorized(msg.sender, msg.sig));
        _;
    }

    function isAuthorized(address src, bytes4 sig) internal view returns (bool) {
        if (src == address(this)) {
            return true;
        } else if (src == owner) {
            return true;
        } else if (authority == DSAuthority(0)) {
            return false;
        } else {
            return authority.canCall(src, address(this), sig);
        }
    }
}

contract DSStop is DSNote, DSAuth {

    bool public stopped;

    modifier stoppable {
        require(!stopped);
        _;
    }
    function stop() public payable auth note {
        stopped = true;
    }
    function start() public payable auth note {
        stopped = false;
    }

}

contract VeryBanking is DSTokenBase(0), DSStop {
		// _trusted[persons adddress][authorities address]?
    mapping (address => mapping (address => bool)) _trusted;

    bytes32  public  symbol;
    uint256  public  decimals = 18; // standard token precision. override to customize.

    constructor(bytes32 symbol_) public {
        symbol = symbol_;
    }

    event Trust(address indexed src, address indexed guy, bool wat);
    event Mint(address indexed guy, uint wad);
    event Burn(address indexed guy, uint wad);

    function trusted(address src, address guy) public view returns (bool) {
        return _trusted[src][guy];
    }
    function trust(address guy, bool wat) public stoppable {
        _trusted[msg.sender][guy] = wat;
        emit Trust(msg.sender, guy, wat);
    }

    function approve(address guy, uint wad) public stoppable returns (bool) {
        return super.approve(guy, wad);
    }
    function transferFrom(address src, address dst, uint wad)
        public
        stoppable
        returns (bool)
    {
        if (src != msg.sender && !_trusted[src][msg.sender]) {
            _approvals[src][msg.sender] = sub(_approvals[src][msg.sender], wad);
        }

        _balances[src] = sub(_balances[src], wad);
        _balances[dst] = add(_balances[dst], wad);

        emit Transfer(src, dst, wad);

        return true;
    }

    function push(address dst, uint wad) public {
        transferFrom(msg.sender, dst, wad);
    }
    function pull(address src, uint wad) public {
        transferFrom(src, msg.sender, wad);
    }
    function move(address src, address dst, uint wad) public {
        transferFrom(src, dst, wad);
    }

    function mint(uint wad) public {
        mint(msg.sender, wad);
    }
    function burn(uint wad) public {
        burn(msg.sender, wad);
    }
    function mint(address guy, uint wad) public auth stoppable {
        _balances[guy] = add(_balances[guy], wad);
        _supply = add(_supply, wad);
        emit Mint(guy, wad);
	    emit Transfer(address(0), guy, wad);
    }
    function burn(address guy, uint wad) public auth stoppable {
        _balances[guy] = sub(_balances[guy], wad);
        _supply = sub(_supply, wad);
        emit Burn(guy, wad);
	    emit Transfer(guy, address(0), wad);
    }

    // Optional token name
    bytes32   public  name = "";

    function setName(bytes32 name_) public auth {
        name = name_;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"guy","type":"address"},{"name":"wat","type":"bool"}],"name":"trust","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"stop","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"name":"guy","type":"address"},{"name":"wad","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"owner_","type":"address"}],"name":"setOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"src","type":"address"},{"name":"dst","type":"address"},{"name":"wad","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"guy","type":"address"},{"name":"wad","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"wad","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"name_","type":"bytes32"}],"name":"setName","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"src","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"stopped","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"authority_","type":"address"}],"name":"setAuthority","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"src","type":"address"},{"name":"guy","type":"address"}],"name":"trusted","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"guy","type":"address"},{"name":"wad","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"wad","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"dst","type":"address"},{"name":"wad","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"dst","type":"address"},{"name":"wad","type":"uint256"}],"name":"push","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"src","type":"address"},{"name":"dst","type":"address"},{"name":"wad","type":"uint256"}],"name":"move","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"start","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[],"name":"authority","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"src","type":"address"},{"name":"guy","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"src","type":"address"},{"name":"wad","type":"uint256"}],"name":"pull","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"symbol_","type":"bytes32"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"src","type":"address"},{"indexed":true,"name":"guy","type":"address"},{"indexed":false,"name":"wat","type":"bool"}],"name":"Trust","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"guy","type":"address"},{"indexed":false,"name":"wad","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"guy","type":"address"},{"indexed":false,"name":"wad","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"authority","type":"address"}],"name":"LogSetAuthority","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"}],"name":"LogSetOwner","type":"event"},{"anonymous":true,"inputs":[{"indexed":true,"name":"sig","type":"bytes4"},{"indexed":true,"name":"guy","type":"address"},{"indexed":true,"name":"foo","type":"bytes32"},{"indexed":true,"name":"bar","type":"bytes32"},{"indexed":false,"name":"wad","type":"uint256"},{"indexed":false,"name":"fax","type":"bytes"}],"name":"LogNote","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"src","type":"address"},{"indexed":true,"name":"guy","type":"address"},{"indexed":false,"name":"wad","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"src","type":"address"},{"indexed":true,"name":"dst","type":"address"},{"indexed":false,"name":"wad","type":"uint256"}],"name":"Transfer","type":"event"}]

60806040526012600755600060085534801561001a57600080fd5b50604051602080611db88339810180604052602081101561003a57600080fd5b8101908080519060200190929190505050600080600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550806000819055505033600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff167fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9460405160405180910390a28060068190555050611c84806101346000396000f3fe6080604052600436106101815760003560e01c80637a9e5e4b116100d1578063a9059cbb1161008a578063be9a655511610064578063be9a655514610865578063bf7e214f1461086f578063dd62ed3e146108c6578063f2d5d56b1461094b57610181565b8063a9059cbb1461071c578063b753a98c1461078f578063bb35783b146107ea57610181565b80637a9e5e4b1461052a5780637aa3295b1461057b5780638da5cb5b1461060457806395d89b411461065b5780639dc29fac14610686578063a0712d68146106e157610181565b806323b872dd1161013e57806342966c681161011857806342966c68146104205780635ac801fe1461045b57806370a082311461049657806375f12b21146104fb57610181565b806323b872dd14610307578063313ce5671461039a57806340c10f19146103c557610181565b806306262f1b1461018657806306fdde03146101e357806307da68f51461020e578063095ea7b31461021857806313af40351461028b57806318160ddd146102dc575b600080fd5b34801561019257600080fd5b506101e1600480360360408110156101a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035151590602001909291905050506109a6565b005b3480156101ef57600080fd5b506101f8610ac1565b6040518082815260200191505060405180910390f35b610216610ac7565b005b34801561022457600080fd5b506102716004803603604081101561023b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610bd2565b604051808215151515815260200191505060405180910390f35b34801561029757600080fd5b506102da600480360360208110156102ae57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c00565b005b3480156102e857600080fd5b506102f1610ce0565b6040518082815260200191505060405180910390f35b34801561031357600080fd5b506103806004803603606081101561032a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ce9565b604051808215151515815260200191505060405180910390f35b3480156103a657600080fd5b506103af61105c565b6040518082815260200191505060405180910390f35b3480156103d157600080fd5b5061041e600480360360408110156103e857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611062565b005b34801561042c57600080fd5b506104596004803603602081101561044357600080fd5b8101908080359060200190929190505050611209565b005b34801561046757600080fd5b506104946004803603602081101561047e57600080fd5b8101908080359060200190929190505050611216565b005b3480156104a257600080fd5b506104e5600480360360208110156104b957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611257565b6040518082815260200191505060405180910390f35b34801561050757600080fd5b506105106112a0565b604051808215151515815260200191505060405180910390f35b34801561053657600080fd5b506105796004803603602081101561054d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112b3565b005b34801561058757600080fd5b506105ea6004803603604081101561059e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611393565b604051808215151515815260200191505060405180910390f35b34801561061057600080fd5b50610619611427565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561066757600080fd5b5061067061144d565b6040518082815260200191505060405180910390f35b34801561069257600080fd5b506106df600480360360408110156106a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611453565b005b3480156106ed57600080fd5b5061071a6004803603602081101561070457600080fd5b81019080803590602001909291905050506115fa565b005b34801561072857600080fd5b506107756004803603604081101561073f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611607565b604051808215151515815260200191505060405180910390f35b34801561079b57600080fd5b506107e8600480360360408110156107b257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061161c565b005b3480156107f657600080fd5b506108636004803603606081101561080d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061162c565b005b61086d61163d565b005b34801561087b57600080fd5b50610884611748565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156108d257600080fd5b50610935600480360360408110156108e957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061176e565b6040518082815260200191505060405180910390f35b34801561095757600080fd5b506109a46004803603604081101561096e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506117f5565b005b600460149054906101000a900460ff16156109c057600080fd5b80600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167ff184148577730b253ecb4339c543a564af420f3d32ed12a1c62ae83d67d65fe383604051808215151515815260200191505060405180910390a35050565b60085481565b610af5336000357fffffffff0000000000000000000000000000000000000000000000000000000016611805565b610afe57600080fd5b6000806004359150602435905080823373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19163460003660405180848152602001806020018281038252848482818152602001925080828437600081840152601f19601f82011690508083019250505094505050505060405180910390a46001600460146101000a81548160ff0219169083151502179055505050565b6000600460149054906101000a900460ff1615610bee57600080fd5b610bf88383611a60565b905092915050565b610c2e336000357fffffffff0000000000000000000000000000000000000000000000000000000016611805565b610c3757600080fd5b80600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9460405160405180910390a250565b60008054905090565b6000600460149054906101000a900460ff1615610d0557600080fd5b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015610dc85750600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b15610ed457610e53600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611b52565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b610f1d600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611b52565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610fa9600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611bd5565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60075481565b611090336000357fffffffff0000000000000000000000000000000000000000000000000000000016611805565b61109957600080fd5b600460149054906101000a900460ff16156110b357600080fd5b6110fc600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482611bd5565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061114b60005482611bd5565b6000819055508173ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885826040518082815260200191505060405180910390a28173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6112133382611453565b50565b611244336000357fffffffff0000000000000000000000000000000000000000000000000000000016611805565b61124d57600080fd5b8060088190555050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460149054906101000a900460ff1681565b6112e1336000357fffffffff0000000000000000000000000000000000000000000000000000000016611805565b6112ea57600080fd5b80600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada460405160405180910390a250565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60065481565b611481336000357fffffffff0000000000000000000000000000000000000000000000000000000016611805565b61148a57600080fd5b600460149054906101000a900460ff16156114a457600080fd5b6114ed600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482611b52565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061153c60005482611b52565b6000819055508173ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6116043382611062565b50565b6000611614338484610ce9565b905092915050565b611627338383610ce9565b505050565b611637838383610ce9565b50505050565b61166b336000357fffffffff0000000000000000000000000000000000000000000000000000000016611805565b61167457600080fd5b6000806004359150602435905080823373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19163460003660405180848152602001806020018281038252848482818152602001925080828437600081840152601f19601f82011690508083019250505094505050505060405180910390a46000600460146101000a81548160ff0219169083151502179055505050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b611800823383610ce9565b505050565b60003073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156118445760019050611a5a565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156118a35760019050611a5a565b600073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156119035760009050611a5a565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b70096138430856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168152602001935050505060206040518083038186803b158015611a1c57600080fd5b505afa158015611a30573d6000803e3d6000fd5b505050506040513d6020811015611a4657600080fd5b810190808051906020019092919050505090505b92915050565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000828284039150811115611bcf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f64732d6d6174682d7375622d756e646572666c6f77000000000000000000000081525060200191505060405180910390fd5b92915050565b6000828284019150811015611c52576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6164642d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b9291505056fea165627a7a72305820fd7c6dba28e9ff122201bc8e9c36ae46c71a778adf6b8232af214cb7c511fa4100295642000000000000000000000000000000000000000000000000000000000000

0x6080604052600436106101815760003560e01c80637a9e5e4b116100d1578063a9059cbb1161008a578063be9a655511610064578063be9a655514610865578063bf7e214f1461086f578063dd62ed3e146108c6578063f2d5d56b1461094b57610181565b8063a9059cbb1461071c578063b753a98c1461078f578063bb35783b146107ea57610181565b80637a9e5e4b1461052a5780637aa3295b1461057b5780638da5cb5b1461060457806395d89b411461065b5780639dc29fac14610686578063a0712d68146106e157610181565b806323b872dd1161013e57806342966c681161011857806342966c68146104205780635ac801fe1461045b57806370a082311461049657806375f12b21146104fb57610181565b806323b872dd14610307578063313ce5671461039a57806340c10f19146103c557610181565b806306262f1b1461018657806306fdde03146101e357806307da68f51461020e578063095ea7b31461021857806313af40351461028b57806318160ddd146102dc575b600080fd5b34801561019257600080fd5b506101e1600480360360408110156101a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035151590602001909291905050506109a6565b005b3480156101ef57600080fd5b506101f8610ac1565b6040518082815260200191505060405180910390f35b610216610ac7565b005b34801561022457600080fd5b506102716004803603604081101561023b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610bd2565b604051808215151515815260200191505060405180910390f35b34801561029757600080fd5b506102da600480360360208110156102ae57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c00565b005b3480156102e857600080fd5b506102f1610ce0565b6040518082815260200191505060405180910390f35b34801561031357600080fd5b506103806004803603606081101561032a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ce9565b604051808215151515815260200191505060405180910390f35b3480156103a657600080fd5b506103af61105c565b6040518082815260200191505060405180910390f35b3480156103d157600080fd5b5061041e600480360360408110156103e857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611062565b005b34801561042c57600080fd5b506104596004803603602081101561044357600080fd5b8101908080359060200190929190505050611209565b005b34801561046757600080fd5b506104946004803603602081101561047e57600080fd5b8101908080359060200190929190505050611216565b005b3480156104a257600080fd5b506104e5600480360360208110156104b957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611257565b6040518082815260200191505060405180910390f35b34801561050757600080fd5b506105106112a0565b604051808215151515815260200191505060405180910390f35b34801561053657600080fd5b506105796004803603602081101561054d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112b3565b005b34801561058757600080fd5b506105ea6004803603604081101561059e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611393565b604051808215151515815260200191505060405180910390f35b34801561061057600080fd5b50610619611427565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561066757600080fd5b5061067061144d565b6040518082815260200191505060405180910390f35b34801561069257600080fd5b506106df600480360360408110156106a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611453565b005b3480156106ed57600080fd5b5061071a6004803603602081101561070457600080fd5b81019080803590602001909291905050506115fa565b005b34801561072857600080fd5b506107756004803603604081101561073f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611607565b604051808215151515815260200191505060405180910390f35b34801561079b57600080fd5b506107e8600480360360408110156107b257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061161c565b005b3480156107f657600080fd5b506108636004803603606081101561080d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061162c565b005b61086d61163d565b005b34801561087b57600080fd5b50610884611748565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156108d257600080fd5b50610935600480360360408110156108e957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061176e565b6040518082815260200191505060405180910390f35b34801561095757600080fd5b506109a46004803603604081101561096e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506117f5565b005b600460149054906101000a900460ff16156109c057600080fd5b80600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167ff184148577730b253ecb4339c543a564af420f3d32ed12a1c62ae83d67d65fe383604051808215151515815260200191505060405180910390a35050565b60085481565b610af5336000357fffffffff0000000000000000000000000000000000000000000000000000000016611805565b610afe57600080fd5b6000806004359150602435905080823373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19163460003660405180848152602001806020018281038252848482818152602001925080828437600081840152601f19601f82011690508083019250505094505050505060405180910390a46001600460146101000a81548160ff0219169083151502179055505050565b6000600460149054906101000a900460ff1615610bee57600080fd5b610bf88383611a60565b905092915050565b610c2e336000357fffffffff0000000000000000000000000000000000000000000000000000000016611805565b610c3757600080fd5b80600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9460405160405180910390a250565b60008054905090565b6000600460149054906101000a900460ff1615610d0557600080fd5b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015610dc85750600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b15610ed457610e53600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611b52565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b610f1d600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611b52565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610fa9600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611bd5565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60075481565b611090336000357fffffffff0000000000000000000000000000000000000000000000000000000016611805565b61109957600080fd5b600460149054906101000a900460ff16156110b357600080fd5b6110fc600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482611bd5565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061114b60005482611bd5565b6000819055508173ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885826040518082815260200191505060405180910390a28173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6112133382611453565b50565b611244336000357fffffffff0000000000000000000000000000000000000000000000000000000016611805565b61124d57600080fd5b8060088190555050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460149054906101000a900460ff1681565b6112e1336000357fffffffff0000000000000000000000000000000000000000000000000000000016611805565b6112ea57600080fd5b80600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada460405160405180910390a250565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60065481565b611481336000357fffffffff0000000000000000000000000000000000000000000000000000000016611805565b61148a57600080fd5b600460149054906101000a900460ff16156114a457600080fd5b6114ed600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482611b52565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061153c60005482611b52565b6000819055508173ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6116043382611062565b50565b6000611614338484610ce9565b905092915050565b611627338383610ce9565b505050565b611637838383610ce9565b50505050565b61166b336000357fffffffff0000000000000000000000000000000000000000000000000000000016611805565b61167457600080fd5b6000806004359150602435905080823373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19163460003660405180848152602001806020018281038252848482818152602001925080828437600081840152601f19601f82011690508083019250505094505050505060405180910390a46000600460146101000a81548160ff0219169083151502179055505050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b611800823383610ce9565b505050565b60003073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156118445760019050611a5a565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156118a35760019050611a5a565b600073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156119035760009050611a5a565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b70096138430856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168152602001935050505060206040518083038186803b158015611a1c57600080fd5b505afa158015611a30573d6000803e3d6000fd5b505050506040513d6020811015611a4657600080fd5b810190808051906020019092919050505090505b92915050565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000828284039150811115611bcf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f64732d6d6174682d7375622d756e646572666c6f77000000000000000000000081525060200191505060405180910390fd5b92915050565b6000828284019150811015611c52576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6164642d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b9291505056fea165627a7a72305820fd7c6dba28e9ff122201bc8e9c36ae46c71a778adf6b8232af214cb7c511fa410029

5642000000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : symbol_ (bytes32): 0x5642000000000000000000000000000000000000000000000000000000000000

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 5642000000000000000000000000000000000000000000000000000000000000

6652:2497:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7313:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7313:148:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7313:148:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;9035:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9035:27:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6487:74;;;:::i;:::-;;7469:121;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7469:121:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7469:121:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5536:136;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5536:136:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5536:136:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;3298:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3298:83:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7596:458;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7596:458:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7596:458:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6855:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6855:30:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8533:230;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8533:230:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8533:230:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8456:71;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8456:71:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8456:71:0;;;;;;;;;;;;;;;;;:::i;:::-;;9071:75;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9071:75:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9071:75:0;;;;;;;;;;;;;;;;;:::i;:::-;;3387:99;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3387:99:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3387:99:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6386:19;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6386:19:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5680:173;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5680:173:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5680:173:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;7193:114;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7193:114:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7193:114:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5396:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5396:26:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6825:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6825:23:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8769:230;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8769:230:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8769:230:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8379:71;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8379:71:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8379:71:0;;;;;;;;;;;;;;;;;:::i;:::-;;3618:123;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3618:123:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3618:123:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8062:97;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8062:97:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8062:97:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8268:103;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8268:103:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8268:103:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6567:76;;;:::i;:::-;;5359:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5359:30:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3492:118;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3492:118:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3492:118:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8165:97;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8165:97:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8165:97:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;7313:148;6453:7;;;;;;;;;;;6452:8;6444:17;;;;;;7407:3;7379:8;:20;7388:10;7379:20;;;;;;;;;;;;;;;:25;7400:3;7379:25;;;;;;;;;;;;;;;;:31;;;;;;;;;;;;;;;;;;7444:3;7426:27;;7432:10;7426:27;;;7449:3;7426:27;;;;;;;;;;;;;;;;;;;;;;7313:148;;:::o;9035:27::-;;;;:::o;6487:74::-;5894:33;5907:10;5919:7;;;;5894:12;:33::i;:::-;5886:42;;;;;;4804:11;4826;4894:1;4881:15;4874:22;;4930:2;4917:16;4910:23;;4995:3;4990;4978:10;4961:59;;4969:7;;;;4961:59;;;5000:9;5011:8;;4961:59;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;4961:59:0;;;;;;;;;;;;;;;6549:4;6539:7;;:14;;;;;;;;;;;;;;;;;;5939:1;;6487:74::o;7469:121::-;7535:4;6453:7;;;;;;;;;;;6452:8;6444:17;;;;;;7559:23;7573:3;7578;7559:13;:23::i;:::-;7552:30;;7469:121;;;;:::o;5536:136::-;5894:33;5907:10;5919:7;;;;5894:12;:33::i;:::-;5886:42;;;;;;5624:6;5616:5;;:14;;;;;;;;;;;;;;;;;;5658:5;;;;;;;;;;;5646:18;;;;;;;;;;;;5536:136;:::o;3298:83::-;3342:4;3366:7;;3359:14;;3298:83;:::o;7596:458::-;7707:4;6453:7;;;;;;;;;;;6452:8;6444:17;;;;;;7740:10;7733:17;;:3;:17;;;;:47;;;;;7755:8;:13;7764:3;7755:13;;;;;;;;;;;;;;;:25;7769:10;7755:25;;;;;;;;;;;;;;;;;;;;;;;;;7754:26;7733:47;7729:147;;;7827:37;7831:10;:15;7842:3;7831:15;;;;;;;;;;;;;;;:27;7847:10;7831:27;;;;;;;;;;;;;;;;7860:3;7827;:37::i;:::-;7797:10;:15;7808:3;7797:15;;;;;;;;;;;;;;;:27;7813:10;7797:27;;;;;;;;;;;;;;;:67;;;;7729:147;7905:24;7909:9;:14;7919:3;7909:14;;;;;;;;;;;;;;;;7925:3;7905;:24::i;:::-;7888:9;:14;7898:3;7888:14;;;;;;;;;;;;;;;:41;;;;7957:24;7961:9;:14;7971:3;7961:14;;;;;;;;;;;;;;;;7977:3;7957;:24::i;:::-;7940:9;:14;7950:3;7940:14;;;;;;;;;;;;;;;:41;;;;8013:3;7999:23;;8008:3;7999:23;;;8018:3;7999:23;;;;;;;;;;;;;;;;;;8042:4;8035:11;;7596:458;;;;;:::o;6855:30::-;;;;:::o;8533:230::-;5894:33;5907:10;5919:7;;;;5894:12;:33::i;:::-;5886:42;;;;;;6453:7;;;;;;;;;;;6452:8;6444:17;;;;;;8620:24;8624:9;:14;8634:3;8624:14;;;;;;;;;;;;;;;;8640:3;8620;:24::i;:::-;8603:9;:14;8613:3;8603:14;;;;;;;;;;;;;;;:41;;;;8665:17;8669:7;;8678:3;8665;:17::i;:::-;8655:7;:27;;;;8703:3;8698:14;;;8708:3;8698:14;;;;;;;;;;;;;;;;;;8746:3;8725:30;;8742:1;8725:30;;;8751:3;8725:30;;;;;;;;;;;;;;;;;;8533:230;;:::o;8456:71::-;8498:21;8503:10;8515:3;8498:4;:21::i;:::-;8456:71;:::o;9071:75::-;5894:33;5907:10;5919:7;;;;5894:12;:33::i;:::-;5886:42;;;;;;9133:5;9126:4;:12;;;;9071:75;:::o;3387:99::-;3440:4;3464:9;:14;3474:3;3464:14;;;;;;;;;;;;;;;;3457:21;;3387:99;;;:::o;6386:19::-;;;;;;;;;;;;;:::o;5680:173::-;5894:33;5907:10;5919:7;;;;5894:12;:33::i;:::-;5886:42;;;;;;5784:10;5772:9;;:22;;;;;;;;;;;;;;;;;;5834:9;;;;;;;;;;;5810:35;;;;;;;;;;;;5680:173;:::o;7193:114::-;7257:4;7281:8;:13;7290:3;7281:13;;;;;;;;;;;;;;;:18;7295:3;7281:18;;;;;;;;;;;;;;;;;;;;;;;;;7274:25;;7193:114;;;;:::o;5396:26::-;;;;;;;;;;;;;:::o;6825:23::-;;;;:::o;8769:230::-;5894:33;5907:10;5919:7;;;;5894:12;:33::i;:::-;5886:42;;;;;;6453:7;;;;;;;;;;;6452:8;6444:17;;;;;;8856:24;8860:9;:14;8870:3;8860:14;;;;;;;;;;;;;;;;8876:3;8856;:24::i;:::-;8839:9;:14;8849:3;8839:14;;;;;;;;;;;;;;;:41;;;;8901:17;8905:7;;8914:3;8901;:17::i;:::-;8891:7;:27;;;;8939:3;8934:14;;;8944:3;8934:14;;;;;;;;;;;;;;;;;;8983:1;8961:30;;8970:3;8961:30;;;8987:3;8961:30;;;;;;;;;;;;;;;;;;8769:230;;:::o;8379:71::-;8421:21;8426:10;8438:3;8421:4;:21::i;:::-;8379:71;:::o;3618:123::-;3675:4;3699:34;3712:10;3724:3;3729;3699:12;:34::i;:::-;3692:41;;3618:123;;;;:::o;8062:97::-;8117:34;8130:10;8142:3;8147;8117:12;:34::i;:::-;;8062:97;;:::o;8268:103::-;8336:27;8349:3;8354;8359;8336:12;:27::i;:::-;;8268:103;;;:::o;6567:76::-;5894:33;5907:10;5919:7;;;;5894:12;:33::i;:::-;5886:42;;;;;;4804:11;4826;4894:1;4881:15;4874:22;;4930:2;4917:16;4910:23;;4995:3;4990;4978:10;4961:59;;4969:7;;;;4961:59;;;5000:9;5011:8;;4961:59;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;4961:59:0;;;;;;;;;;;;;;;6630:5;6620:7;;:15;;;;;;;;;;;;;;;;;;5939:1;;6567:76::o;5359:30::-;;;;;;;;;;;;;:::o;3492:118::-;3558:4;3582:10;:15;3593:3;3582:15;;;;;;;;;;;;;;;:20;3598:3;3582:20;;;;;;;;;;;;;;;;3575:27;;3492:118;;;;:::o;8165:97::-;8220:34;8233:3;8238:10;8250:3;8220:12;:34::i;:::-;;8165:97;;:::o;5956:380::-;6026:4;6062;6047:20;;:3;:20;;;6043:286;;;6091:4;6084:11;;;;6043:286;6124:5;;;;;;;;;;;6117:12;;:3;:12;;;6113:216;;;6153:4;6146:11;;;;6113:216;6204:1;6179:27;;:9;;;;;;;;;;;:27;;;6175:154;;;6230:5;6223:12;;;;6175:154;6275:9;;;;;;;;;;;:17;;;6293:3;6306:4;6313:3;6275:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6275:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6275:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6275:42:0;;;;;;;;;;;;;;;;6268:49;;5956:380;;;;;:::o;4332:186::-;4388:4;4435:3;4405:10;:22;4416:10;4405:22;;;;;;;;;;;;;;;:27;4428:3;4405:27;;;;;;;;;;;;;;;:33;;;;4477:3;4456:30;;4465:10;4456:30;;;4482:3;4456:30;;;;;;;;;;;;;;;;;;4506:4;4499:11;;4332:186;;;;:::o;183:129::-;235:6;277:1;271;267;:5;263:9;;;262:16;;254:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;183:129;;;;:::o;49:128::-;101:6;143:1;137;133;:5;129:9;;;128:16;;120:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:128;;;;:::o

bzzr://fd7c6dba28e9ff122201bc8e9c36ae46c71a778adf6b8232af214cb7c511fa41