Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library Math
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sqrt(uint256 a)
• interface Erc20
•    - function balanceOf(address _owner)
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•  contract Exchange *
•    - function buy()
•    - function sell(uint256 _tokens)
•    - function clean(address _contract, uin ...
•    - function price()
•    - function tokensToEthForPurchase(uint2 ...
•    - function ethToTokensForPurchase(uint2 ...
•    - function tokensToEthForSale(uint256 _ ...
•    - function ethToTokensForSale(uint256 _ ...
•    - function s(uint256 vL, uint256 vR)
•    - function v(uint256 v0, bool isV0Right ...

More Options

• Is this a proxy?
• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-07-01
*/

pragma solidity ^0.6.8;


library Math {

    // return a + b
    function add(uint256 a, uint256 b) public pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "add overflow");
        return c;
    }

    // return a - b
    function sub(uint256 a, uint256 b) public pure returns (uint256) {
        require(b <= a, "sub underflow");
        return a - b;
    }

    // return a * b
    function mul(uint256 a, uint256 b) public pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "mul overflow");
        return c;
    }

    // return a / b
    function div(uint256 a, uint256 b) public pure returns (uint256) {
        require(b != 0, "div zero");
        return a / b;
    }

    // return the greatest uint256 less than or equal to the square root of a
    function sqrt(uint256 a) public pure returns (uint256) {
        uint256 result = 0;
        uint256 bit = 1 << 254; // the second to top bit
        while (bit > a) {
            bit >>= 2;
        }
        while (bit != 0) {
            uint256 sum = result + bit;
            result >>= 1;
            if (a >= sum) {
                a -= sum;
                result += bit;
            }
            bit >>= 2;
        }
        return result;
    }
}


interface Erc20 {
    function balanceOf(address _owner) external view returns (uint256);

    function transfer(address _to, uint256 _value) external returns (bool);

    function transferFrom(address _from, address _to, uint256 _value) external returns (bool);
}


contract Exchange {
    using Math for uint256;

    address public token;
    uint256 private maxAmount = 5*10**24;

    event Buy(address _buyer, uint256 _wei);

    event Sell(address _seller, uint256 _wei);

    constructor(address _token) public {
        token = _token;
    }

    // any unknown function will be interpreted as purchase
    fallback() external payable {
        buy();
    }

    // incoming eth will be used for purchase
    receive() external payable {
        buy();
    }

    /// @notice purchases tokens using all incoming eth; reverts if there is not enough tokens,
    /// or balance of the exchange is greater than 5*10^24 tokens
    function buy() public payable {
        uint256 tokensBefore = Erc20(token).balanceOf(address(this));
        require(tokensBefore <= maxAmount, "big balance");
        uint256 tokensAfter = v(tokensBefore, true, msg.value);
        Erc20(token).transfer(msg.sender, tokensBefore.sub(tokensAfter));
        emit Buy(msg.sender, msg.value);
    }

    /// @dev call token.approve(this, _tokens) before this
    /// @notice sells tokens for eth; if there is not enough eth in the exchange,
    /// or amount of tokens is too big, only appropriate amount of tokens will be used for sale;
    /// reverts if balance of the exchange is greater than 5*10^24 tokens
    function sell(uint256 _tokens) public {
        uint256 tokensBefore = Erc20(token).balanceOf(address(this));
        require(tokensBefore <= maxAmount, "big balance");
        uint256 tokensAfter = tokensBefore.add(_tokens);
        if (tokensAfter > maxAmount) {
            tokensAfter = maxAmount;
            _tokens = tokensAfter.sub(tokensBefore);
        }

        uint256 sum = s(tokensBefore, tokensAfter);
        if (sum > address(this).balance) {
            sum = address(this).balance;
            tokensAfter = v(tokensBefore, false, sum);
            _tokens = tokensAfter.sub(tokensBefore);
        }

        Erc20(token).transferFrom(msg.sender, address(this), _tokens);
        msg.sender.transfer(sum);
        emit Sell(msg.sender, sum);
    }

    /// @notice feel free to clean from all spam tokens,
    /// grab free tokens if there is too much of them
    function clean(address _contract, uint256 _value) public {
        if (_contract == token) {
            uint256 tokens = Erc20(token).balanceOf(address(this));
            require(tokens > maxAmount, "no free tokens");
            require(_value <= tokens.sub(maxAmount), "big _value");
        }
        Erc20(_contract).transfer(msg.sender, _value);
    }

    /// @dev reverts if balance of the exchange is greater than 5*10^24 tokens
    /// @return current price in wei/token*10^18
    function price() public view returns (uint256) {
        uint256 tokens = Erc20(token).balanceOf(address(this));
        return Math.sub(10**18, tokens.div(5000000));
    }

    /// @dev reverts if there is not enough tokens,
    /// or balance of the exchange is greater than 5*10^24 tokens
    /// @return eth/10^18 required to buy provided number of tokens/10^18
    function tokensToEthForPurchase(uint256 _tokens) public view returns (uint256) {
        uint256 tokensBefore = Erc20(token).balanceOf(address(this));
        require(tokensBefore <= maxAmount, "big balance");
        uint256 tokensAfter = tokensBefore.sub(_tokens);
        return s(tokensAfter, tokensBefore);
    }

    /// @dev reverts if there is not enough tokens,
    /// or balance of the exchange is greater than 5*10^24 tokens
    /// @return amount of tokens/10^18 to receive from purchase using provided amount of eth/10^18
    function ethToTokensForPurchase(uint256 _eth) public view returns (uint256) {
        uint256 tokensBefore = Erc20(token).balanceOf(address(this));
        require(tokensBefore <= maxAmount, "big balance");
        uint256 tokensAfter = v(tokensBefore, true, _eth);
        return tokensBefore.sub(tokensAfter);
    }

    /// @dev reverts if balance of the exchange is greater than 5*10^24 tokens
    /// @return eth/10^18 to receive from sale of provided number of tokens/10^18
    function tokensToEthForSale(uint256 _tokens) public view returns (uint256) {
        uint256 tokensBefore = Erc20(token).balanceOf(address(this));
        require(tokensBefore <= maxAmount, "big balance");
        uint256 tokensAfter = tokensBefore.add(_tokens);
        if (tokensAfter > maxAmount) {
            tokensAfter = maxAmount;
        }

        uint256 sum = s(tokensBefore, tokensAfter);
        if (sum > address(this).balance) {
            return address(this).balance;
        }
        return sum;
    }

    /// @dev reverts if there is not enough eth in the exchange,
    /// or amount of tokens is too big,
    /// or balance of the exchange is greater than 5*10^24 tokens
    /// @return amount of tokens/10^18 required to get desired amount of eth/10^18
    function ethToTokensForSale(uint256 _eth) public view returns (uint256) {
        uint256 tokensBefore = Erc20(token).balanceOf(address(this));
        require(tokensBefore <= maxAmount, "big balance");
        require(_eth <= address(this).balance, "big _eth");
        uint256 tokensAfter = v(tokensBefore, false, _eth);
        return tokensAfter.sub(tokensBefore);
    }

    // v - volume in tokens
    // require vL <= vR <= 5*10^24, check this before!
    // returns sum in wei between vL and vR, rounded to zero
    function s(uint256 vL, uint256 vR) private pure returns (uint256) {
        return vR.sub(vL).mul(Math.sub(10**25, vR).sub(vL)).div(10**25);
    }

    // v0 - current volume in tokens
    // require v0 <= 5*10^24, check this before!
    // isV0Right - bool, if true, returns v <= v0, else returns v >= v0
    // s - sum in wei
    // returns volume v in tokens, reverts if s is too big
    // 0 <= v <= 5*10^24
    function v(uint256 v0, bool isV0Right, uint256 s) private pure returns (uint256) {
        uint256 d = 10**50;
        if (isV0Right) {
            d = d.add(s.mul(4*10**25)).sub(Math.sub(10**25, v0).mul(v0).mul(4));
        } else {
            d = d.sub(s.mul(4*10**25)).sub(Math.sub(10**25, v0).mul(v0).mul(4));
        }
        return Math.sub(5*10**24, d.sqrt().div(2));
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_token","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"_buyer","type":"address"},{"indexed":false,"internalType":"uint256","name":"_wei","type":"uint256"}],"name":"Buy","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"_seller","type":"address"},{"indexed":false,"internalType":"uint256","name":"_wei","type":"uint256"}],"name":"Sell","type":"event"},{"stateMutability":"payable","type":"fallback"},{"inputs":[],"name":"buy","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"_contract","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"clean","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_eth","type":"uint256"}],"name":"ethToTokensForPurchase","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_eth","type":"uint256"}],"name":"ethToTokensForSale","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"price","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_tokens","type":"uint256"}],"name":"sell","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"token","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_tokens","type":"uint256"}],"name":"tokensToEthForPurchase","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_tokens","type":"uint256"}],"name":"tokensToEthForSale","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526a0422ca8b0a00a42500000060015534801561001f57600080fd5b506040516126a33803806126a38339818101604052602081101561004257600080fd5b8101908080519060200190929190505050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050612600806100a36000396000f3fe60806040526004361061008a5760003560e01c8063bd6d5f1211610059578063bd6d5f1214610182578063d3db52d0146101d1578063e4849b3214610220578063e9f0e1471461025b578063fc0c546a146102aa57610099565b80634f56133e146100a35780639afc5a13146100fe578063a035b1fe1461014d578063a6f2ae3a1461017857610099565b3661009957610097610301565b005b6100a1610301565b005b3480156100af57600080fd5b506100fc600480360360408110156100c657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061064c565b005b34801561010a57600080fd5b506101376004803603602081101561012157600080fd5b81019080803590602001909291905050506109c9565b6040518082815260200191505060405180910390f35b34801561015957600080fd5b50610162610bcc565b6040518082815260200191505060405180910390f35b610180610301565b005b34801561018e57600080fd5b506101bb600480360360208110156101a557600080fd5b8101908080359060200190929190505050610de0565b6040518082815260200191505060405180910390f35b3480156101dd57600080fd5b5061020a600480360360208110156101f457600080fd5b8101908080359060200190929190505050611059565b6040518082815260200191505060405180910390f35b34801561022c57600080fd5b506102596004803603602081101561024357600080fd5b810190808035906020019092919050505061125a565b005b34801561026757600080fd5b506102946004803603602081101561027e57600080fd5b810190808035906020019092919050505061177b565b6040518082815260200191505060405180910390f35b3480156102b657600080fd5b506102bf6119a6565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156103a157600080fd5b505afa1580156103b5573d6000803e3d6000fd5b505050506040513d60208110156103cb57600080fd5b81019080805190602001909291905050509050600154811115610456576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f6269672062616c616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000610464826001346119cb565b90506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb338473732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091866040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156104fd57600080fd5b505af4158015610511573d6000803e3d6000fd5b505050506040513d602081101561052757600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156105a157600080fd5b505af11580156105b5573d6000803e3d6000fd5b505050506040513d60208110156105cb57600080fd5b8101908080519060200190929190505050507fe3d4187f6ca4248660cc0ac8b8056515bac4a8132be2eca31d6d0cc170722a7e3334604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156109025760008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561074157600080fd5b505afa158015610755573d6000803e3d6000fd5b505050506040513d602081101561076b57600080fd5b8101908080519060200190929190505050905060015481116107f5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f6e6f206672656520746f6b656e7300000000000000000000000000000000000081525060200191505060405180910390fd5b8073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c590916001546040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561085057600080fd5b505af4158015610864573d6000803e3d6000fd5b505050506040513d602081101561087a57600080fd5b8101908080519060200190929190505050821115610900576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600a8152602001807f626967205f76616c75650000000000000000000000000000000000000000000081525060200191505060405180910390fd5b505b8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561098957600080fd5b505af115801561099d573d6000803e3d6000fd5b505050506040513d60208110156109b357600080fd5b8101908080519060200190929190505050505050565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610a6a57600080fd5b505afa158015610a7e573d6000803e3d6000fd5b505050506040513d6020811015610a9457600080fd5b81019080805190602001909291905050509050600154811115610b1f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f6269672062616c616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000610b2d826001866119cb565b90508173732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610b8857600080fd5b505af4158015610b9c573d6000803e3d6000fd5b505050506040513d6020811015610bb257600080fd5b810190808051906020019092919050505092505050919050565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610c6d57600080fd5b505afa158015610c81573d6000803e3d6000fd5b505050506040513d6020811015610c9757600080fd5b8101908080519060200190929190505050905073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c5670de0b6b3a76400008373732703b9b933e7f8c2ede40f12416dd44e1a2e9963a391c15b9091624c4b406040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610d2957600080fd5b505af4158015610d3d573d6000803e3d6000fd5b505050506040513d6020811015610d5357600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610d9f57600080fd5b505af4158015610db3573d6000803e3d6000fd5b505050506040513d6020811015610dc957600080fd5b810190808051906020019092919050505091505090565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610e8157600080fd5b505afa158015610e95573d6000803e3d6000fd5b505050506040513d6020811015610eab57600080fd5b81019080805190602001909291905050509050600154811115610f36576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f6269672062616c616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b47831115610fac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f626967205f65746800000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000610fba826000866119cb565b90508073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561101557600080fd5b505af4158015611029573d6000803e3d6000fd5b505050506040513d602081101561103f57600080fd5b810190808051906020019092919050505092505050919050565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156110fa57600080fd5b505afa15801561110e573d6000803e3d6000fd5b505050506040513d602081101561112457600080fd5b810190808051906020019092919050505090506001548111156111af576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f6269672062616c616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b60008173732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091866040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561120a57600080fd5b505af415801561121e573d6000803e3d6000fd5b505050506040513d602081101561123457600080fd5b8101908080519060200190929190505050905061125181836122cc565b92505050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156112fa57600080fd5b505afa15801561130e573d6000803e3d6000fd5b505050506040513d602081101561132457600080fd5b810190808051906020019092919050505090506001548111156113af576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f6269672062616c616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b60008173732703b9b933e7f8c2ede40f12416dd44e1a2e9963771602f79091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561140a57600080fd5b505af415801561141e573d6000803e3d6000fd5b505050506040513d602081101561143457600080fd5b810190808051906020019092919050505090506001548111156114ed5760015490508073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156114af57600080fd5b505af41580156114c3573d6000803e3d6000fd5b505050506040513d60208110156114d957600080fd5b810190808051906020019092919050505092505b60006114f983836122cc565b9050478111156115ab57479050611512836000836119cb565b91508173732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561156d57600080fd5b505af4158015611581573d6000803e3d6000fd5b505050506040513d602081101561159757600080fd5b810190808051906020019092919050505093505b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd3330876040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561168757600080fd5b505af115801561169b573d6000803e3d6000fd5b505050506040513d60208110156116b157600080fd5b8101908080519060200190929190505050503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611709573d6000803e3d6000fd5b507f5e5e995ce3133561afceaa51a9a154d5db228cd7525d34df5185582c18d3df093382604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a150505050565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561181c57600080fd5b505afa158015611830573d6000803e3d6000fd5b505050506040513d602081101561184657600080fd5b810190808051906020019092919050505090506001548111156118d1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f6269672062616c616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b60008173732703b9b933e7f8c2ede40f12416dd44e1a2e9963771602f79091866040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561192c57600080fd5b505af4158015611940573d6000803e3d6000fd5b505050506040513d602081101561195657600080fd5b810190808051906020019092919050505090506001548111156119795760015490505b600061198583836122cc565b90504781111561199a574793505050506119a1565b8093505050505b919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008074446c3b15f9926687d2c40534fdb56400000000000090508315611d7b578073732703b9b933e7f8c2ede40f12416dd44e1a2e9963771602f790918573732703b9b933e7f8c2ede40f12416dd44e1a2e9963c8a4ac9c90916a21165458500521280000006040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611a6d57600080fd5b505af4158015611a81573d6000803e3d6000fd5b505050506040513d6020811015611a9757600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611ae357600080fd5b505af4158015611af7573d6000803e3d6000fd5b505050506040513d6020811015611b0d57600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c5909173732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c56a084595161401484a0000008a6040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611b9c57600080fd5b505af4158015611bb0573d6000803e3d6000fd5b505050506040513d6020811015611bc657600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963c8a4ac9c90918a6040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611c2f57600080fd5b505af4158015611c43573d6000803e3d6000fd5b505050506040513d6020811015611c5957600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963c8a4ac9c909160046040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611cc357600080fd5b505af4158015611cd7573d6000803e3d6000fd5b505050506040513d6020811015611ced57600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611d3957600080fd5b505af4158015611d4d573d6000803e3d6000fd5b505050506040513d6020811015611d6357600080fd5b81019080805190602001909291905050509050612106565b8073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c590918573732703b9b933e7f8c2ede40f12416dd44e1a2e9963c8a4ac9c90916a21165458500521280000006040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611dfc57600080fd5b505af4158015611e10573d6000803e3d6000fd5b505050506040513d6020811015611e2657600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611e7257600080fd5b505af4158015611e86573d6000803e3d6000fd5b505050506040513d6020811015611e9c57600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c5909173732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c56a084595161401484a0000008a6040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611f2b57600080fd5b505af4158015611f3f573d6000803e3d6000fd5b505050506040513d6020811015611f5557600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963c8a4ac9c90918a6040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611fbe57600080fd5b505af4158015611fd2573d6000803e3d6000fd5b505050506040513d6020811015611fe857600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963c8a4ac9c909160046040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561205257600080fd5b505af4158015612066573d6000803e3d6000fd5b505050506040513d602081101561207c57600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156120c857600080fd5b505af41580156120dc573d6000803e3d6000fd5b505050506040513d60208110156120f257600080fd5b810190808051906020019092919050505090505b73732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c56a0422ca8b0a00a4250000008373732703b9b933e7f8c2ede40f12416dd44e1a2e9963677342ce90916040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b15801561217d57600080fd5b505af4158015612191573d6000803e3d6000fd5b505050506040513d60208110156121a757600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963a391c15b909160026040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561221157600080fd5b505af4158015612225573d6000803e3d6000fd5b505050506040513d602081101561223b57600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561228757600080fd5b505af415801561229b573d6000803e3d6000fd5b505050506040513d60208110156122b157600080fd5b81019080805190602001909291905050509150509392505050565b60008173732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561232757600080fd5b505af415801561233b573d6000803e3d6000fd5b505050506040513d602081101561235157600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963c8a4ac9c909173732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c56a084595161401484a000000876040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156123e057600080fd5b505af41580156123f4573d6000803e3d6000fd5b505050506040513d602081101561240a57600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091886040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561247357600080fd5b505af4158015612487573d6000803e3d6000fd5b505050506040513d602081101561249d57600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156124e957600080fd5b505af41580156124fd573d6000803e3d6000fd5b505050506040513d602081101561251357600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963a391c15b90916a084595161401484a0000006040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561258757600080fd5b505af415801561259b573d6000803e3d6000fd5b505050506040513d60208110156125b157600080fd5b810190808051906020019092919050505090509291505056fea26469706673582212201b2b5ae4151229e532094b35b79327bb78abe407e8edc0936647e22623acb34a64736f6c63430006080033000000000000000000000000b9076bb251285aa70e05d38fb1c061474aefdb7a

0x60806040526004361061008a5760003560e01c8063bd6d5f1211610059578063bd6d5f1214610182578063d3db52d0146101d1578063e4849b3214610220578063e9f0e1471461025b578063fc0c546a146102aa57610099565b80634f56133e146100a35780639afc5a13146100fe578063a035b1fe1461014d578063a6f2ae3a1461017857610099565b3661009957610097610301565b005b6100a1610301565b005b3480156100af57600080fd5b506100fc600480360360408110156100c657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061064c565b005b34801561010a57600080fd5b506101376004803603602081101561012157600080fd5b81019080803590602001909291905050506109c9565b6040518082815260200191505060405180910390f35b34801561015957600080fd5b50610162610bcc565b6040518082815260200191505060405180910390f35b610180610301565b005b34801561018e57600080fd5b506101bb600480360360208110156101a557600080fd5b8101908080359060200190929190505050610de0565b6040518082815260200191505060405180910390f35b3480156101dd57600080fd5b5061020a600480360360208110156101f457600080fd5b8101908080359060200190929190505050611059565b6040518082815260200191505060405180910390f35b34801561022c57600080fd5b506102596004803603602081101561024357600080fd5b810190808035906020019092919050505061125a565b005b34801561026757600080fd5b506102946004803603602081101561027e57600080fd5b810190808035906020019092919050505061177b565b6040518082815260200191505060405180910390f35b3480156102b657600080fd5b506102bf6119a6565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156103a157600080fd5b505afa1580156103b5573d6000803e3d6000fd5b505050506040513d60208110156103cb57600080fd5b81019080805190602001909291905050509050600154811115610456576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f6269672062616c616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000610464826001346119cb565b90506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb338473732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091866040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156104fd57600080fd5b505af4158015610511573d6000803e3d6000fd5b505050506040513d602081101561052757600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156105a157600080fd5b505af11580156105b5573d6000803e3d6000fd5b505050506040513d60208110156105cb57600080fd5b8101908080519060200190929190505050507fe3d4187f6ca4248660cc0ac8b8056515bac4a8132be2eca31d6d0cc170722a7e3334604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156109025760008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561074157600080fd5b505afa158015610755573d6000803e3d6000fd5b505050506040513d602081101561076b57600080fd5b8101908080519060200190929190505050905060015481116107f5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f6e6f206672656520746f6b656e7300000000000000000000000000000000000081525060200191505060405180910390fd5b8073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c590916001546040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561085057600080fd5b505af4158015610864573d6000803e3d6000fd5b505050506040513d602081101561087a57600080fd5b8101908080519060200190929190505050821115610900576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600a8152602001807f626967205f76616c75650000000000000000000000000000000000000000000081525060200191505060405180910390fd5b505b8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561098957600080fd5b505af115801561099d573d6000803e3d6000fd5b505050506040513d60208110156109b357600080fd5b8101908080519060200190929190505050505050565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610a6a57600080fd5b505afa158015610a7e573d6000803e3d6000fd5b505050506040513d6020811015610a9457600080fd5b81019080805190602001909291905050509050600154811115610b1f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f6269672062616c616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000610b2d826001866119cb565b90508173732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610b8857600080fd5b505af4158015610b9c573d6000803e3d6000fd5b505050506040513d6020811015610bb257600080fd5b810190808051906020019092919050505092505050919050565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610c6d57600080fd5b505afa158015610c81573d6000803e3d6000fd5b505050506040513d6020811015610c9757600080fd5b8101908080519060200190929190505050905073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c5670de0b6b3a76400008373732703b9b933e7f8c2ede40f12416dd44e1a2e9963a391c15b9091624c4b406040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610d2957600080fd5b505af4158015610d3d573d6000803e3d6000fd5b505050506040513d6020811015610d5357600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610d9f57600080fd5b505af4158015610db3573d6000803e3d6000fd5b505050506040513d6020811015610dc957600080fd5b810190808051906020019092919050505091505090565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610e8157600080fd5b505afa158015610e95573d6000803e3d6000fd5b505050506040513d6020811015610eab57600080fd5b81019080805190602001909291905050509050600154811115610f36576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f6269672062616c616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b47831115610fac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f626967205f65746800000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000610fba826000866119cb565b90508073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561101557600080fd5b505af4158015611029573d6000803e3d6000fd5b505050506040513d602081101561103f57600080fd5b810190808051906020019092919050505092505050919050565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156110fa57600080fd5b505afa15801561110e573d6000803e3d6000fd5b505050506040513d602081101561112457600080fd5b810190808051906020019092919050505090506001548111156111af576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f6269672062616c616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b60008173732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091866040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561120a57600080fd5b505af415801561121e573d6000803e3d6000fd5b505050506040513d602081101561123457600080fd5b8101908080519060200190929190505050905061125181836122cc565b92505050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156112fa57600080fd5b505afa15801561130e573d6000803e3d6000fd5b505050506040513d602081101561132457600080fd5b810190808051906020019092919050505090506001548111156113af576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f6269672062616c616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b60008173732703b9b933e7f8c2ede40f12416dd44e1a2e9963771602f79091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561140a57600080fd5b505af415801561141e573d6000803e3d6000fd5b505050506040513d602081101561143457600080fd5b810190808051906020019092919050505090506001548111156114ed5760015490508073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156114af57600080fd5b505af41580156114c3573d6000803e3d6000fd5b505050506040513d60208110156114d957600080fd5b810190808051906020019092919050505092505b60006114f983836122cc565b9050478111156115ab57479050611512836000836119cb565b91508173732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561156d57600080fd5b505af4158015611581573d6000803e3d6000fd5b505050506040513d602081101561159757600080fd5b810190808051906020019092919050505093505b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd3330876040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561168757600080fd5b505af115801561169b573d6000803e3d6000fd5b505050506040513d60208110156116b157600080fd5b8101908080519060200190929190505050503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611709573d6000803e3d6000fd5b507f5e5e995ce3133561afceaa51a9a154d5db228cd7525d34df5185582c18d3df093382604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a150505050565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561181c57600080fd5b505afa158015611830573d6000803e3d6000fd5b505050506040513d602081101561184657600080fd5b810190808051906020019092919050505090506001548111156118d1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f6269672062616c616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b60008173732703b9b933e7f8c2ede40f12416dd44e1a2e9963771602f79091866040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561192c57600080fd5b505af4158015611940573d6000803e3d6000fd5b505050506040513d602081101561195657600080fd5b810190808051906020019092919050505090506001548111156119795760015490505b600061198583836122cc565b90504781111561199a574793505050506119a1565b8093505050505b919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008074446c3b15f9926687d2c40534fdb56400000000000090508315611d7b578073732703b9b933e7f8c2ede40f12416dd44e1a2e9963771602f790918573732703b9b933e7f8c2ede40f12416dd44e1a2e9963c8a4ac9c90916a21165458500521280000006040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611a6d57600080fd5b505af4158015611a81573d6000803e3d6000fd5b505050506040513d6020811015611a9757600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611ae357600080fd5b505af4158015611af7573d6000803e3d6000fd5b505050506040513d6020811015611b0d57600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c5909173732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c56a084595161401484a0000008a6040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611b9c57600080fd5b505af4158015611bb0573d6000803e3d6000fd5b505050506040513d6020811015611bc657600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963c8a4ac9c90918a6040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611c2f57600080fd5b505af4158015611c43573d6000803e3d6000fd5b505050506040513d6020811015611c5957600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963c8a4ac9c909160046040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611cc357600080fd5b505af4158015611cd7573d6000803e3d6000fd5b505050506040513d6020811015611ced57600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611d3957600080fd5b505af4158015611d4d573d6000803e3d6000fd5b505050506040513d6020811015611d6357600080fd5b81019080805190602001909291905050509050612106565b8073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c590918573732703b9b933e7f8c2ede40f12416dd44e1a2e9963c8a4ac9c90916a21165458500521280000006040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611dfc57600080fd5b505af4158015611e10573d6000803e3d6000fd5b505050506040513d6020811015611e2657600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611e7257600080fd5b505af4158015611e86573d6000803e3d6000fd5b505050506040513d6020811015611e9c57600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c5909173732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c56a084595161401484a0000008a6040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611f2b57600080fd5b505af4158015611f3f573d6000803e3d6000fd5b505050506040513d6020811015611f5557600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963c8a4ac9c90918a6040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611fbe57600080fd5b505af4158015611fd2573d6000803e3d6000fd5b505050506040513d6020811015611fe857600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963c8a4ac9c909160046040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561205257600080fd5b505af4158015612066573d6000803e3d6000fd5b505050506040513d602081101561207c57600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156120c857600080fd5b505af41580156120dc573d6000803e3d6000fd5b505050506040513d60208110156120f257600080fd5b810190808051906020019092919050505090505b73732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c56a0422ca8b0a00a4250000008373732703b9b933e7f8c2ede40f12416dd44e1a2e9963677342ce90916040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b15801561217d57600080fd5b505af4158015612191573d6000803e3d6000fd5b505050506040513d60208110156121a757600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963a391c15b909160026040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561221157600080fd5b505af4158015612225573d6000803e3d6000fd5b505050506040513d602081101561223b57600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561228757600080fd5b505af415801561229b573d6000803e3d6000fd5b505050506040513d60208110156122b157600080fd5b81019080805190602001909291905050509150509392505050565b60008173732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561232757600080fd5b505af415801561233b573d6000803e3d6000fd5b505050506040513d602081101561235157600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963c8a4ac9c909173732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c56a084595161401484a000000876040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156123e057600080fd5b505af41580156123f4573d6000803e3d6000fd5b505050506040513d602081101561240a57600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963b67d77c59091886040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561247357600080fd5b505af4158015612487573d6000803e3d6000fd5b505050506040513d602081101561249d57600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156124e957600080fd5b505af41580156124fd573d6000803e3d6000fd5b505050506040513d602081101561251357600080fd5b810190808051906020019092919050505073732703b9b933e7f8c2ede40f12416dd44e1a2e9963a391c15b90916a084595161401484a0000006040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561258757600080fd5b505af415801561259b573d6000803e3d6000fd5b505050506040513d60208110156125b157600080fd5b810190808051906020019092919050505090509291505056fea26469706673582212201b2b5ae4151229e532094b35b79327bb78abe407e8edc0936647e22623acb34a64736f6c63430006080033

000000000000000000000000b9076bb251285aa70e05d38fb1c061474aefdb7a

-----Decoded View---------------
Arg [0] : _token (address): 0xB9076BB251285aa70E05d38fB1c061474AeFdb7a

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

Math : 0x732703b9b933e7f8c2ede40f12416dd44e1a2e99

1659:6354:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2167:5;:3;:5::i;:::-;1659:6354;;2061:5;:3;:5::i;:::-;1659:6354;3934:365;;5:9:-1;2:2;;;27:1;24;17:12;2:2;3934:365:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;3934:365:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5365:322;;5:9:-1;2:2;;;27:1;24;17:12;2:2;5365:322:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;5365:322:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4437:175;;5:9:-1;2:2;;;27:1;24;17:12;2:2;4437:175:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2352:351;;;:::i;:::-;;6659:380;;5:9:-1;2:2;;;27:1;24;17:12;2:2;6659:380:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;6659:380:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4815:322;;5:9:-1;2:2;;;27:1;24;17:12;2:2;4815:322:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;4815:322:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3027:786;;5:9:-1;2:2;;;27:1;24;17:12;2:2;3027:786:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;3027:786:0;;;;;;;;;;;;;;;;;:::i;:::-;;5858:535;;5:9:-1;2:2;;;27:1;24;17:12;2:2;5858:535:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;5858:535:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1715:20;;5:9:-1;2:2;;;27:1;24;17:12;2:2;1715:20:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2352:351;2393:20;2422:5;;;;;;;;;;;2416:22;;;2447:4;2416:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;2416:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2416:37:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;2416:37:0;;;;;;;;;;;;;;;;2393:60;;2488:9;;2472:12;:25;;2464:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2524:19;2546:32;2548:12;2562:4;2568:9;2546:1;:32::i;:::-;2524:54;;2595:5;;;;;;;;;;;2589:21;;;2611:10;2623:12;:16;;;;2640:11;2623:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;2623:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2623:29:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;2623:29:0;;;;;;;;;;;;;;;;2589:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;2589:64:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2589:64:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;2589:64:0;;;;;;;;;;;;;;;;;2669:26;2673:10;2685:9;2669:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;2352:351;;:::o;3934:365::-;4019:5;;;;;;;;;;;4006:18;;:9;:18;;;4002:234;;;4041:14;4064:5;;;;;;;;;;;4058:22;;;4089:4;4058:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;4058:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4058:37:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;4058:37:0;;;;;;;;;;;;;;;;4041:54;;4127:9;;4118:6;:18;4110:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4188:6;:10;;;;4199:9;;4188:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;4188:21:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4188:21:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;4188:21:0;;;;;;;;;;;;;;;;4178:6;:31;;4170:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4002:234;;4252:9;4246:25;;;4272:10;4284:6;4246:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;4246:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4246:45:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;4246:45:0;;;;;;;;;;;;;;;;;3934:365;;:::o;5365:322::-;5432:7;5452:20;5481:5;;;;;;;;;;;5475:22;;;5506:4;5475:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;5475:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5475:37:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;5475:37:0;;;;;;;;;;;;;;;;5452:60;;5547:9;;5531:12;:25;;5523:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5583:19;5605:27;5607:12;5621:4;5627;5605:1;:27::i;:::-;5583:49;;5650:12;:16;;;;5667:11;5650:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;5650:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5650:29:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;5650:29:0;;;;;;;;;;;;;;;;5643:36;;;;5365:322;;;:::o;4437:175::-;4475:7;4495:14;4518:5;;;;;;;;;;;4512:22;;;4543:4;4512:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;4512:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4512:37:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;4512:37:0;;;;;;;;;;;;;;;;4495:54;;4567:4;:8;4576:6;4584;:10;;;;4595:7;4584:19;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;4584:19:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4584:19:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;4584:19:0;;;;;;;;;;;;;;;;4567:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;4567:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4567:37:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;4567:37:0;;;;;;;;;;;;;;;;4560:44;;;4437:175;:::o;6659:380::-;6722:7;6742:20;6771:5;;;;;;;;;;;6765:22;;;6796:4;6765:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;6765:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6765:37:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;6765:37:0;;;;;;;;;;;;;;;;6742:60;;6837:9;;6821:12;:25;;6813:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6889:21;6881:4;:29;;6873:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6934:19;6956:28;6958:12;6972:5;6979:4;6956:1;:28::i;:::-;6934:50;;7002:11;:15;;;;7018:12;7002:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7002:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7002:29:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7002:29:0;;;;;;;;;;;;;;;;6995:36;;;;6659:380;;;:::o;4815:322::-;4885:7;4905:20;4934:5;;;;;;;;;;;4928:22;;;4959:4;4928:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;4928:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4928:37:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;4928:37:0;;;;;;;;;;;;;;;;4905:60;;5000:9;;4984:12;:25;;4976:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5036:19;5058:12;:16;;;;5075:7;5058:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;5058:25:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5058:25:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;5058:25:0;;;;;;;;;;;;;;;;5036:47;;5101:28;5103:11;5116:12;5101:1;:28::i;:::-;5094:35;;;;4815:322;;;:::o;3027:786::-;3076:20;3105:5;;;;;;;;;;;3099:22;;;3130:4;3099:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;3099:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3099:37:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;3099:37:0;;;;;;;;;;;;;;;;3076:60;;3171:9;;3155:12;:25;;3147:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3207:19;3229:12;:16;;;;3246:7;3229:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;3229:25:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3229:25:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;3229:25:0;;;;;;;;;;;;;;;;3207:47;;3283:9;;3269:11;:23;3265:133;;;3323:9;;3309:23;;3357:11;:15;;;;3373:12;3357:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;3357:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3357:29:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;3357:29:0;;;;;;;;;;;;;;;;3347:39;;3265:133;3410:11;3424:28;3426:12;3440:11;3424:1;:28::i;:::-;3410:42;;3473:21;3467:3;:27;3463:197;;;3517:21;3511:27;;3567;3569:12;3583:5;3590:3;3567:1;:27::i;:::-;3553:41;;3619:11;:15;;;;3635:12;3619:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;3619:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3619:29:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;3619:29:0;;;;;;;;;;;;;;;;3609:39;;3463:197;3678:5;;;;;;;;;;;3672:25;;;3698:10;3718:4;3725:7;3672:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;3672:61:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3672:61:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;3672:61:0;;;;;;;;;;;;;;;;;3744:10;:19;;:24;3764:3;3744:24;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3744:24:0;3784:21;3789:10;3801:3;3784:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;3027:786;;;;:::o;5858:535::-;5924:7;5944:20;5973:5;;;;;;;;;;;5967:22;;;5998:4;5967:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;5967:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5967:37:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;5967:37:0;;;;;;;;;;;;;;;;5944:60;;6039:9;;6023:12;:25;;6015:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6075:19;6097:12;:16;;;;6114:7;6097:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;6097:25:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6097:25:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;6097:25:0;;;;;;;;;;;;;;;;6075:47;;6151:9;;6137:11;:23;6133:79;;;6191:9;;6177:23;;6133:79;6224:11;6238:28;6240:12;6254:11;6238:1;:28::i;:::-;6224:42;;6287:21;6281:3;:27;6277:88;;;6332:21;6325:28;;;;;;;6277:88;6382:3;6375:10;;;;;5858:535;;;;:::o;1715:20::-;;;;;;;;;;;;;:::o;7620:390::-;7692:7;7712:9;7724:6;7712:18;;7745:9;7741:209;;;7775:1;:5;;;;7781:1;:5;;;;7787:8;7781:15;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7781:15:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7781:15:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7781:15:0;;;;;;;;;;;;;;;;7775:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7775:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7775:22:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7775:22:0;;;;;;;;;;;;;;;;:26;;;;7802:4;:8;7811:6;7819:2;7802:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7802:20:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7802:20:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7802:20:0;;;;;;;;;;;;;;;;:24;;;;7827:2;7802:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7802:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7802:28:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7802:28:0;;;;;;;;;;;;;;;;:32;;;;7835:1;7802:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7802:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7802:35:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7802:35:0;;;;;;;;;;;;;;;;7775:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7775:63:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7775:63:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7775:63:0;;;;;;;;;;;;;;;;7771:67;;7741:209;;;7875:1;:5;;;;7881:1;:5;;;;7887:8;7881:15;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7881:15:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7881:15:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7881:15:0;;;;;;;;;;;;;;;;7875:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7875:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7875:22:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7875:22:0;;;;;;;;;;;;;;;;:26;;;;7902:4;:8;7911:6;7919:2;7902:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7902:20:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7902:20:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7902:20:0;;;;;;;;;;;;;;;;:24;;;;7927:2;7902:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7902:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7902:28:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7902:28:0;;;;;;;;;;;;;;;;:32;;;;7935:1;7902:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7902:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7902:35:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7902:35:0;;;;;;;;;;;;;;;;7875:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7875:63:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7875:63:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7875:63:0;;;;;;;;;;;;;;;;7871:67;;7741:209;7967:4;:8;7976;7986:1;:6;;;;:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7986:8:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7986:8:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7986:8:0;;;;;;;;;;;;;;;;:12;;;;7999:1;7986:15;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7986:15:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7986:15:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7986:15:0;;;;;;;;;;;;;;;;7967:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7967:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7967:35:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7967:35:0;;;;;;;;;;;;;;;;7960:42;;;7620:390;;;;;:::o;7194:148::-;7251:7;7278:2;:6;;;;7285:2;7278:10;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7278:10:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7278:10:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7278:10:0;;;;;;;;;;;;;;;;:14;;;;7293:4;:8;7302:6;7310:2;7293:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7293:20:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7293:20:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7293:20:0;;;;;;;;;;;;;;;;:24;;;;7318:2;7293:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7293:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7293:28:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7293:28:0;;;;;;;;;;;;;;;;7278:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7278:44:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7278:44:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7278:44:0;;;;;;;;;;;;;;;;:48;;;;7327:6;7278:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;7278:56:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7278:56:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;7278:56:0;;;;;;;;;;;;;;;;7271:63;;7194:148;;;;:::o

ipfs://1b2b5ae4151229e532094b35b79327bb78abe407e8edc0936647e22623acb34a