Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface CTokenInterface
•    - function redeem(uint redeemTokens)
•    - function redeemUnderlying(uint redeem ...
•    - function borrow(uint borrowAmount)
•    - function liquidateBorrow(address borr ...
•    - function liquidateBorrow(address borr ...
•    - function exchangeRateCurrent()
•    - function getCash()
•    - function totalBorrowsCurrent()
•    - function borrowRatePerBlock()
•    - function supplyRatePerBlock()
•    - function totalReserves()
•    - function reserveFactorMantissa()
•    - function totalSupply()
•    - function balanceOf(address owner)
•    - function allowance(address, address)
•    - function approve(address, uint)
•    - function transfer(address, uint)
•    - function transferFrom(address, addres ...
• interface CERC20Interface
•    - function mint(uint mintAmount)
•    - function repayBorrow(uint repayAmount ...
•    - function repayBorrowBehalf(address bo ...
•    - function borrowBalanceCurrent(address ...
• interface CETHInterface
•    - function mint()
•    - function repayBorrow()
•    - function repayBorrowBehalf(address bo ...
•    - function borrowBalanceCurrent(address ...
• interface ERC20Interface
•    - function allowance(address, address)
•    - function balanceOf(address)
•    - function approve(address, uint)
•    - function transfer(address, uint)
•    - function transferFrom(address, addres ...
• interface ComptrollerInterface
•    - function enterMarkets(address[] calld ...
•    - function exitMarket(address cTokenAdd ...
•    - function getAssetsIn(address account)
•    - function getAccountLiquidity(address ...
•  contract DSMath
•    - function add(uint x, uint y)
•    - function mul(uint x, uint y)
•    - function wmul(uint x, uint y)
•    - function wdiv(uint x, uint y)
•  contract Helpers is DSMath
•    - function setApproval(address erc20, u ...
•    - function getAddressETH()
•    - function getComptrollerAddress()
•    - function transferToken(address erc20)
•    - function enterMarket(address cErc20)
•  contract CompoundResolver is Helpe ...
•    - function mintCToken(address erc20, ad ...
•    - function redeemCToken(address erc20, ...
•    - function redeemUnderlying(address erc ...
•    - function borrow(address erc20, addres ...
•    - function repayToken(address erc20, ad ...
•    - function repaytokenBehalf(
•  contract InstaCompound is Compound ... *
•    - function()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-06-04
*/

pragma solidity ^0.5.7;

interface CTokenInterface {
    function redeem(uint redeemTokens) external returns (uint);
    function redeemUnderlying(uint redeemAmount) external returns (uint);
    function borrow(uint borrowAmount) external returns (uint);
    function liquidateBorrow(address borrower, uint repayAmount, address cTokenCollateral) external returns (uint);
    function liquidateBorrow(address borrower, address cTokenCollateral) external payable;
    function exchangeRateCurrent() external returns (uint);
    function getCash() external view returns (uint);
    function totalBorrowsCurrent() external returns (uint);
    function borrowRatePerBlock() external view returns (uint);
    function supplyRatePerBlock() external view returns (uint);
    function totalReserves() external view returns (uint);
    function reserveFactorMantissa() external view returns (uint);

    function totalSupply() external view returns (uint256);
    function balanceOf(address owner) external view returns (uint256 balance);
    function allowance(address, address) external view returns (uint);
    function approve(address, uint) external;
    function transfer(address, uint) external returns (bool);
    function transferFrom(address, address, uint) external returns (bool);
}

interface CERC20Interface {
    function mint(uint mintAmount) external returns (uint); // For ERC20
    function repayBorrow(uint repayAmount) external returns (uint); // For ERC20
    function repayBorrowBehalf(address borrower, uint repayAmount) external returns (uint); // For ERC20
    function borrowBalanceCurrent(address account) external returns (uint);
}

interface CETHInterface {
    function mint() external payable; // For ETH
    function repayBorrow() external payable; // For ETH
    function repayBorrowBehalf(address borrower) external payable; // For ETH
    function borrowBalanceCurrent(address account) external returns (uint);
}

interface ERC20Interface {
    function allowance(address, address) external view returns (uint);
    function balanceOf(address) external view returns (uint);
    function approve(address, uint) external;
    function transfer(address, uint) external returns (bool);
    function transferFrom(address, address, uint) external returns (bool);
}

interface ComptrollerInterface {
    function enterMarkets(address[] calldata cTokens) external returns (uint[] memory);
    function exitMarket(address cTokenAddress) external returns (uint);
    function getAssetsIn(address account) external view returns (address[] memory);
    function getAccountLiquidity(address account) external view returns (uint, uint, uint);
}


contract DSMath {

    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x, "math-not-safe");
    }

    function mul(uint x, uint y) internal pure returns (uint z) {
        require(y == 0 || (z = x * y) / y == x, "math-not-safe");
    }

    uint constant WAD = 10 ** 18;

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

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

}


contract Helpers is DSMath {

    /**
     * @dev setting allowance to compound for the "user proxy" if required
     */
    function setApproval(address erc20, uint srcAmt, address to) internal {
        ERC20Interface erc20Contract = ERC20Interface(erc20);
        uint tokenAllowance = erc20Contract.allowance(address(this), to);
        if (srcAmt > tokenAllowance) {
            erc20Contract.approve(to, 2**255);
        }
    }

    /**
     * @dev get ethereum address for trade
     */
    function getAddressETH() public pure returns (address eth) {
        eth = 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE;
    }

    /**
     * @dev get Compound Comptroller Address
     */
    function getComptrollerAddress() public pure returns (address troller) {
        troller = 0x3d9819210A31b4961b30EF54bE2aeD79B9c9Cd3B;
        // troller = 0x2EAa9D77AE4D8f9cdD9FAAcd44016E746485bddb; // Rinkeby
        // troller = 0x3CA5a0E85aD80305c2d2c4982B2f2756f1e747a5; // Kovan
    }

    /**
     * @dev Transfer ETH/ERC20 to user
     */
    function transferToken(address erc20) internal {
        if (erc20 == getAddressETH()) {
            msg.sender.transfer(address(this).balance);
        } else {
            ERC20Interface erc20Contract = ERC20Interface(erc20);
            uint srcBal = erc20Contract.balanceOf(address(this));
            if (srcBal > 0) {
                erc20Contract.transfer(msg.sender, srcBal);
            }
        }
    }

    function enterMarket(address cErc20) internal {
        ComptrollerInterface troller = ComptrollerInterface(getComptrollerAddress());
        address[] memory markets = troller.getAssetsIn(address(this));
        bool isEntered = false;
        for (uint i = 0; i < markets.length; i++) {
            if (markets[i] == cErc20) {
                isEntered = true;
            }
        }
        if (!isEntered) {
            address[] memory toEnter = new address[](1);
            toEnter[0] = cErc20;
            troller.enterMarkets(toEnter);
        }
    }

}


contract CompoundResolver is Helpers {

    event LogMint(address erc20, address cErc20, uint tokenAmt, address owner);
    event LogRedeem(address erc20, address cErc20, uint tokenAmt, address owner);
    event LogBorrow(address erc20, address cErc20, uint tokenAmt, address owner);
    event LogRepay(address erc20, address cErc20, uint tokenAmt, address owner);

    /**
     * @dev Deposit ETH/ERC20 and mint Compound Tokens
     */
    function mintCToken(address erc20, address cErc20, uint tokenAmt) external payable {
        enterMarket(cErc20);
        if (erc20 == getAddressETH()) {
            CETHInterface cToken = CETHInterface(cErc20);
            cToken.mint.value(msg.value)();
        } else {
            ERC20Interface token = ERC20Interface(erc20);
            uint toDeposit = token.balanceOf(msg.sender);
            if (toDeposit > tokenAmt) {
                toDeposit = tokenAmt;
            }
            token.transferFrom(msg.sender, address(this), toDeposit);
            CERC20Interface cToken = CERC20Interface(cErc20);
            setApproval(erc20, toDeposit, cErc20);
            assert(cToken.mint(toDeposit) == 0);
        }
        emit LogMint(
            erc20,
            cErc20,
            tokenAmt,
            msg.sender
        );
    }

    /**
     * @dev Redeem ETH/ERC20 and burn Compound Tokens
     * @param cTokenAmt Amount of CToken To burn
     */
    function redeemCToken(address erc20, address cErc20, uint cTokenAmt) external {
        CTokenInterface cToken = CTokenInterface(cErc20);
        uint toBurn = cToken.balanceOf(address(this));
        if (toBurn > cTokenAmt) {
            toBurn = cTokenAmt;
        }
        setApproval(cErc20, toBurn, cErc20);
        require(cToken.redeem(toBurn) == 0, "something went wrong");
        transferToken(erc20);
        uint tokenReturned = wmul(toBurn, cToken.exchangeRateCurrent());
        emit LogRedeem(
            erc20,
            cErc20,
            tokenReturned,
            address(this)
        );
    }

    /**
     * @dev Redeem ETH/ERC20 and mint Compound Tokens
     * @param tokenAmt Amount of token To Redeem
     */
    function redeemUnderlying(address erc20, address cErc20, uint tokenAmt) external {
        CTokenInterface cToken = CTokenInterface(cErc20);
        setApproval(cErc20, 10**50, cErc20);
        uint toBurn = cToken.balanceOf(address(this));
        uint tokenToReturn = wmul(toBurn, cToken.exchangeRateCurrent());
        if (tokenToReturn > tokenAmt) {
            tokenToReturn = tokenAmt;
        }
        require(cToken.redeemUnderlying(tokenToReturn) == 0, "something went wrong");
        transferToken(erc20);
        emit LogRedeem(
            erc20,
            cErc20,
            tokenToReturn,
            address(this)
        );
    }

    /**
     * @dev borrow ETH/ERC20
     */
    function borrow(address erc20, address cErc20, uint tokenAmt) external {
        enterMarket(cErc20);
        require(CTokenInterface(cErc20).borrow(tokenAmt) == 0, "got collateral?");
        transferToken(erc20);
        emit LogBorrow(
            erc20,
            cErc20,
            tokenAmt,
            address(this)
        );
    }

    /**
     * @dev Pay Debt ETH/ERC20
     */
    function repayToken(address erc20, address cErc20, uint tokenAmt) external payable {
        if (erc20 == getAddressETH()) {
            CETHInterface cToken = CETHInterface(cErc20);
            uint toRepay = msg.value;
            uint borrows = cToken.borrowBalanceCurrent(address(this));
            if (toRepay > borrows) {
                toRepay = borrows;
                msg.sender.transfer(msg.value - toRepay);
            }
            cToken.repayBorrow.value(toRepay)();
            emit LogRepay(
                erc20,
                cErc20,
                toRepay,
                address(this)
            );
        } else {
            CERC20Interface cToken = CERC20Interface(cErc20);
            ERC20Interface token = ERC20Interface(erc20);
            uint toRepay = token.balanceOf(msg.sender);
            uint borrows = cToken.borrowBalanceCurrent(address(this));
            if (toRepay > tokenAmt) {
                toRepay = tokenAmt;
            }
            if (toRepay > borrows) {
                toRepay = borrows;
            }
            setApproval(erc20, toRepay, cErc20);
            token.transferFrom(msg.sender, address(this), toRepay);
            require(cToken.repayBorrow(toRepay) == 0, "transfer approved?");
            emit LogRepay(
                erc20,
                cErc20,
                toRepay,
                address(this)
            );
        }
    }

    /**
     * @dev Pay Debt for someone else
     */
    function repaytokenBehalf(
        address borrower,
        address erc20,
        address cErc20,
        uint tokenAmt
    ) external payable
    {
        if (erc20 == getAddressETH()) {
            CETHInterface cToken = CETHInterface(cErc20);
            uint toRepay = msg.value;
            uint borrows = cToken.borrowBalanceCurrent(address(this));
            if (toRepay > borrows) {
                toRepay = borrows;
                msg.sender.transfer(msg.value - toRepay);
            }
            cToken.repayBorrowBehalf.value(toRepay)(borrower);
            emit LogRepay(
                erc20,
                cErc20,
                toRepay,
                address(this)
            );
        } else {
            CERC20Interface cToken = CERC20Interface(cErc20);
            ERC20Interface token = ERC20Interface(erc20);
            uint toRepay = token.balanceOf(msg.sender);
            uint borrows = cToken.borrowBalanceCurrent(address(this));
            if (toRepay > tokenAmt) {
                toRepay = tokenAmt;
            }
            if (toRepay > borrows) {
                toRepay = borrows;
            }
            setApproval(erc20, toRepay, cErc20);
            token.transferFrom(msg.sender, address(this), toRepay);
            require(cToken.repayBorrowBehalf(borrower, tokenAmt) == 0, "transfer approved?");
            emit LogRepay(
                erc20,
                cErc20,
                toRepay,
                address(this)
            );
        }
    }

}


contract InstaCompound is CompoundResolver {

    uint public version;

    /**
     * @dev setting up variables on deployment
     * 1...2...3 versioning in each subsequent deployments
     */
    constructor(uint _version) public {
        version = _version;
    }

    function() external payable {}

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"erc20","type":"address"},{"name":"cErc20","type":"address"},{"name":"tokenAmt","type":"uint256"}],"name":"mintCToken","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[],"name":"getComptrollerAddress","outputs":[{"name":"troller","type":"address"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"name":"erc20","type":"address"},{"name":"cErc20","type":"address"},{"name":"tokenAmt","type":"uint256"}],"name":"borrow","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"version","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"erc20","type":"address"},{"name":"cErc20","type":"address"},{"name":"tokenAmt","type":"uint256"}],"name":"repayToken","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"name":"erc20","type":"address"},{"name":"cErc20","type":"address"},{"name":"tokenAmt","type":"uint256"}],"name":"redeemUnderlying","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"erc20","type":"address"},{"name":"cErc20","type":"address"},{"name":"cTokenAmt","type":"uint256"}],"name":"redeemCToken","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getAddressETH","outputs":[{"name":"eth","type":"address"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"name":"borrower","type":"address"},{"name":"erc20","type":"address"},{"name":"cErc20","type":"address"},{"name":"tokenAmt","type":"uint256"}],"name":"repaytokenBehalf","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"inputs":[{"name":"_version","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":false,"name":"erc20","type":"address"},{"indexed":false,"name":"cErc20","type":"address"},{"indexed":false,"name":"tokenAmt","type":"uint256"},{"indexed":false,"name":"owner","type":"address"}],"name":"LogMint","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"erc20","type":"address"},{"indexed":false,"name":"cErc20","type":"address"},{"indexed":false,"name":"tokenAmt","type":"uint256"},{"indexed":false,"name":"owner","type":"address"}],"name":"LogRedeem","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"erc20","type":"address"},{"indexed":false,"name":"cErc20","type":"address"},{"indexed":false,"name":"tokenAmt","type":"uint256"},{"indexed":false,"name":"owner","type":"address"}],"name":"LogBorrow","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"erc20","type":"address"},{"indexed":false,"name":"cErc20","type":"address"},{"indexed":false,"name":"tokenAmt","type":"uint256"},{"indexed":false,"name":"owner","type":"address"}],"name":"LogRepay","type":"event"}]

608060405234801561001057600080fd5b506040516020806128af8339810180604052602081101561003057600080fd5b81019080805190602001909291905050508060008190555050612857806100586000396000f3fe6080604052600436106100865760003560e01c806360ea59a21161005957806360ea59a2146101f3578063935642cf1461026157806396be724c146102dc578063ab1be68614610357578063af7c7cb4146103ae57610086565b8063176279c0146100885780634ee9159a146100f65780635224372c1461014d57806354fd4d50146101c8575b005b6100f46004803603606081101561009e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061043c565b005b34801561010257600080fd5b5061010b610833565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561015957600080fd5b506101c66004803603606081101561017057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061084f565b005b3480156101d457600080fd5b506101dd610a3c565b6040518082815260200191505060405180910390f35b61025f6004803603606081101561020957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a42565b005b34801561026d57600080fd5b506102da6004803603606081101561028457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611154565b005b3480156102e857600080fd5b50610355600480360360608110156102ff57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114b8565b005b34801561036357600080fd5b5061036c611807565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61043a600480360360808110156103c457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611823565b005b61044582611fa1565b61044d611807565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156104ec5760008290508073ffffffffffffffffffffffffffffffffffffffff16631249c58b346040518263ffffffff1660e01b81526004016000604051808303818588803b1580156104cd57600080fd5b505af11580156104e1573d6000803e3d6000fd5b50505050505061075b565b600083905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561057057600080fd5b505afa158015610584573d6000803e3d6000fd5b505050506040513d602081101561059a57600080fd5b81019080805190602001909291905050509050828111156105b9578290505b8173ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561067457600080fd5b505af1158015610688573d6000803e3d6000fd5b505050506040513d602081101561069e57600080fd5b81019080805190602001909291905050505060008490506106c08683876122dd565b60008173ffffffffffffffffffffffffffffffffffffffff1663a0712d68846040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b15801561071557600080fd5b505af1158015610729573d6000803e3d6000fd5b505050506040513d602081101561073f57600080fd5b81019080805190602001909291905050501461075757fe5b5050505b7f252c64862cdd4fb87064b61720da12074c8fdddf7233c8d163c925c85072c42c83838333604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a1505050565b6000733d9819210a31b4961b30ef54be2aed79b9c9cd3b905090565b61085882611fa1565b60008273ffffffffffffffffffffffffffffffffffffffff1663c5ebeaec836040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b1580156108ad57600080fd5b505af11580156108c1573d6000803e3d6000fd5b505050506040513d60208110156108d757600080fd5b81019080805190602001909291905050501461095b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f676f7420636f6c6c61746572616c3f000000000000000000000000000000000081525060200191505060405180910390fd5b610964836124a1565b7f9f31c249eb0814475f16a619e1fdf5e62f46db8cb233ff1b951adddcf7133b9583838330604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a1505050565b60005481565b610a4a611807565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610cd6576000829050600034905060008273ffffffffffffffffffffffffffffffffffffffff166317bfdfbc306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b158015610b0857600080fd5b505af1158015610b1c573d6000803e3d6000fd5b505050506040513d6020811015610b3257600080fd5b8101908080519060200190929190505050905080821115610b9a578091503373ffffffffffffffffffffffffffffffffffffffff166108fc8334039081150290604051600060405180830381858888f19350505050158015610b98573d6000803e3d6000fd5b505b8273ffffffffffffffffffffffffffffffffffffffff16634e4d9fea836040518263ffffffff1660e01b81526004016000604051808303818588803b158015610be257600080fd5b505af1158015610bf6573d6000803e3d6000fd5b50505050507ff9c0c8ae7fcb0ae66722c0fd985dd186c5f04475693482e4836363ea60e00de286868430604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a150505061114f565b6000829050600084905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610d5f57600080fd5b505afa158015610d73573d6000803e3d6000fd5b505050506040513d6020811015610d8957600080fd5b8101908080519060200190929190505050905060008373ffffffffffffffffffffffffffffffffffffffff166317bfdfbc306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b158015610e1d57600080fd5b505af1158015610e31573d6000803e3d6000fd5b505050506040513d6020811015610e4757600080fd5b8101908080519060200190929190505050905084821115610e66578491505b80821115610e72578091505b610e7d8783886122dd565b8273ffffffffffffffffffffffffffffffffffffffff166323b872dd3330856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b158015610f3857600080fd5b505af1158015610f4c573d6000803e3d6000fd5b505050506040513d6020811015610f6257600080fd5b81019080805190602001909291905050505060008473ffffffffffffffffffffffffffffffffffffffff16630e752702846040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b158015610fc957600080fd5b505af1158015610fdd573d6000803e3d6000fd5b505050506040513d6020811015610ff357600080fd5b810190808051906020019092919050505014611077576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f7472616e7366657220617070726f7665643f000000000000000000000000000081525060200191505060405180910390fd5b7ff9c0c8ae7fcb0ae66722c0fd985dd186c5f04475693482e4836363ea60e00de287878430604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a1505050505b505050565b60008290506111798374446c3b15f9926687d2c40534fdb564000000000000856122dd565b60008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156111f857600080fd5b505afa15801561120c573d6000803e3d6000fd5b505050506040513d602081101561122257600080fd5b8101908080519060200190929190505050905060006112c3828473ffffffffffffffffffffffffffffffffffffffff1663bd6d894d6040518163ffffffff1660e01b8152600401602060405180830381600087803b15801561128357600080fd5b505af1158015611297573d6000803e3d6000fd5b505050506040513d60208110156112ad57600080fd5b81019080805190602001909291905050506126d3565b9050838111156112d1578390505b60008373ffffffffffffffffffffffffffffffffffffffff1663852a12e3836040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b15801561132657600080fd5b505af115801561133a573d6000803e3d6000fd5b505050506040513d602081101561135057600080fd5b8101908080519060200190929190505050146113d4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f736f6d657468696e672077656e742077726f6e6700000000000000000000000081525060200191505060405180910390fd5b6113dd866124a1565b7fd985ae7abab418a80621f7b292cdc98b964715f22de84b4f4c9183795b47d14b86868330604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a1505050505050565b600082905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561153c57600080fd5b505afa158015611550573d6000803e3d6000fd5b505050506040513d602081101561156657600080fd5b8101908080519060200190929190505050905082811115611585578290505b6115908482866122dd565b60008273ffffffffffffffffffffffffffffffffffffffff1663db006a75836040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b1580156115e557600080fd5b505af11580156115f9573d6000803e3d6000fd5b505050506040513d602081101561160f57600080fd5b810190808051906020019092919050505014611693576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f736f6d657468696e672077656e742077726f6e6700000000000000000000000081525060200191505060405180910390fd5b61169c856124a1565b600061172a828473ffffffffffffffffffffffffffffffffffffffff1663bd6d894d6040518163ffffffff1660e01b8152600401602060405180830381600087803b1580156116ea57600080fd5b505af11580156116fe573d6000803e3d6000fd5b505050506040513d602081101561171457600080fd5b81019080805190602001909291905050506126d3565b90507fd985ae7abab418a80621f7b292cdc98b964715f22de84b4f4c9183795b47d14b86868330604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a1505050505050565b600073eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee905090565b61182b611807565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611aee576000829050600034905060008273ffffffffffffffffffffffffffffffffffffffff166317bfdfbc306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b1580156118e957600080fd5b505af11580156118fd573d6000803e3d6000fd5b505050506040513d602081101561191357600080fd5b810190808051906020019092919050505090508082111561197b578091503373ffffffffffffffffffffffffffffffffffffffff166108fc8334039081150290604051600060405180830381858888f19350505050158015611979573d6000803e3d6000fd5b505b8273ffffffffffffffffffffffffffffffffffffffff1663e597461983896040518363ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019150506000604051808303818588803b1580156119fa57600080fd5b505af1158015611a0e573d6000803e3d6000fd5b50505050507ff9c0c8ae7fcb0ae66722c0fd985dd186c5f04475693482e4836363ea60e00de286868430604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a1505050611f9b565b6000829050600084905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611b7757600080fd5b505afa158015611b8b573d6000803e3d6000fd5b505050506040513d6020811015611ba157600080fd5b8101908080519060200190929190505050905060008373ffffffffffffffffffffffffffffffffffffffff166317bfdfbc306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b158015611c3557600080fd5b505af1158015611c49573d6000803e3d6000fd5b505050506040513d6020811015611c5f57600080fd5b8101908080519060200190929190505050905084821115611c7e578491505b80821115611c8a578091505b611c958783886122dd565b8273ffffffffffffffffffffffffffffffffffffffff166323b872dd3330856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b158015611d5057600080fd5b505af1158015611d64573d6000803e3d6000fd5b505050506040513d6020811015611d7a57600080fd5b81019080805190602001909291905050505060008473ffffffffffffffffffffffffffffffffffffffff16632608f8188a886040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015611e1557600080fd5b505af1158015611e29573d6000803e3d6000fd5b505050506040513d6020811015611e3f57600080fd5b810190808051906020019092919050505014611ec3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f7472616e7366657220617070726f7665643f000000000000000000000000000081525060200191505060405180910390fd5b7ff9c0c8ae7fcb0ae66722c0fd985dd186c5f04475693482e4836363ea60e00de287878430604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a1505050505b50505050565b6000611fab610833565b905060608173ffffffffffffffffffffffffffffffffffffffff1663abfceffc306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060006040518083038186803b15801561202c57600080fd5b505afa158015612040573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250602081101561206a57600080fd5b81019080805164010000000081111561208257600080fd5b8281019050602081018481111561209857600080fd5b81518560208202830111640100000000821117156120b557600080fd5b50509291905050509050600080905060008090505b825181101561212c578473ffffffffffffffffffffffffffffffffffffffff168382815181106120f657fe5b602002602001015173ffffffffffffffffffffffffffffffffffffffff16141561211f57600191505b80806001019150506120ca565b50806122d757606060016040519080825280602002602001820160405280156121645781602001602082028038833980820191505090505b509050848160008151811061217557fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250508373ffffffffffffffffffffffffffffffffffffffff1663c2998238826040518263ffffffff1660e01b81526004018080602001828103825283818151815260200191508051906020019060200280838360005b8381101561221e578082015181840152602081019050612203565b5050505090500192505050600060405180830381600087803b15801561224357600080fd5b505af1158015612257573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250602081101561228157600080fd5b81019080805164010000000081111561229957600080fd5b828101905060208101848111156122af57600080fd5b81518560208202830111640100000000821117156122cc57600080fd5b505092919050505050505b50505050565b600083905060008173ffffffffffffffffffffffffffffffffffffffff1663dd62ed3e30856040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561239557600080fd5b505afa1580156123a9573d6000803e3d6000fd5b505050506040513d60208110156123bf57600080fd5b810190808051906020019092919050505090508084111561249a578173ffffffffffffffffffffffffffffffffffffffff1663095ea7b3847f80000000000000000000000000000000000000000000000000000000000000006040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561248157600080fd5b505af1158015612495573d6000803e3d6000fd5b505050505b5050505050565b6124a9611807565b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561253f573373ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050158015612539573d6000803e3d6000fd5b506126d0565b600081905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156125c357600080fd5b505afa1580156125d7573d6000803e3d6000fd5b505050506040513d60208110156125ed57600080fd5b8101908080519060200190929190505050905060008111156126cd578173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561269057600080fd5b505af11580156126a4573d6000803e3d6000fd5b505050506040513d60208110156126ba57600080fd5b8101908080519060200190929190505050505b50505b50565b6000670de0b6b3a76400006127036126eb8585612713565b6002670de0b6b3a7640000816126fd57fe5b046127a8565b8161270a57fe5b04905092915050565b600080821480612730575082828385029250828161272d57fe5b04145b6127a2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6d6174682d6e6f742d736166650000000000000000000000000000000000000081525060200191505060405180910390fd5b92915050565b6000828284019150811015612825576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6d6174682d6e6f742d736166650000000000000000000000000000000000000081525060200191505060405180910390fd5b9291505056fea165627a7a72305820978271f550387095d5e66eb6254dd00d1cdb71ba9353c959a19dfe99ddd47cf500290000000000000000000000000000000000000000000000000000000000000001

0x6080604052600436106100865760003560e01c806360ea59a21161005957806360ea59a2146101f3578063935642cf1461026157806396be724c146102dc578063ab1be68614610357578063af7c7cb4146103ae57610086565b8063176279c0146100885780634ee9159a146100f65780635224372c1461014d57806354fd4d50146101c8575b005b6100f46004803603606081101561009e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061043c565b005b34801561010257600080fd5b5061010b610833565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561015957600080fd5b506101c66004803603606081101561017057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061084f565b005b3480156101d457600080fd5b506101dd610a3c565b6040518082815260200191505060405180910390f35b61025f6004803603606081101561020957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a42565b005b34801561026d57600080fd5b506102da6004803603606081101561028457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611154565b005b3480156102e857600080fd5b50610355600480360360608110156102ff57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114b8565b005b34801561036357600080fd5b5061036c611807565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61043a600480360360808110156103c457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611823565b005b61044582611fa1565b61044d611807565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156104ec5760008290508073ffffffffffffffffffffffffffffffffffffffff16631249c58b346040518263ffffffff1660e01b81526004016000604051808303818588803b1580156104cd57600080fd5b505af11580156104e1573d6000803e3d6000fd5b50505050505061075b565b600083905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561057057600080fd5b505afa158015610584573d6000803e3d6000fd5b505050506040513d602081101561059a57600080fd5b81019080805190602001909291905050509050828111156105b9578290505b8173ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561067457600080fd5b505af1158015610688573d6000803e3d6000fd5b505050506040513d602081101561069e57600080fd5b81019080805190602001909291905050505060008490506106c08683876122dd565b60008173ffffffffffffffffffffffffffffffffffffffff1663a0712d68846040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b15801561071557600080fd5b505af1158015610729573d6000803e3d6000fd5b505050506040513d602081101561073f57600080fd5b81019080805190602001909291905050501461075757fe5b5050505b7f252c64862cdd4fb87064b61720da12074c8fdddf7233c8d163c925c85072c42c83838333604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a1505050565b6000733d9819210a31b4961b30ef54be2aed79b9c9cd3b905090565b61085882611fa1565b60008273ffffffffffffffffffffffffffffffffffffffff1663c5ebeaec836040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b1580156108ad57600080fd5b505af11580156108c1573d6000803e3d6000fd5b505050506040513d60208110156108d757600080fd5b81019080805190602001909291905050501461095b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f676f7420636f6c6c61746572616c3f000000000000000000000000000000000081525060200191505060405180910390fd5b610964836124a1565b7f9f31c249eb0814475f16a619e1fdf5e62f46db8cb233ff1b951adddcf7133b9583838330604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a1505050565b60005481565b610a4a611807565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610cd6576000829050600034905060008273ffffffffffffffffffffffffffffffffffffffff166317bfdfbc306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b158015610b0857600080fd5b505af1158015610b1c573d6000803e3d6000fd5b505050506040513d6020811015610b3257600080fd5b8101908080519060200190929190505050905080821115610b9a578091503373ffffffffffffffffffffffffffffffffffffffff166108fc8334039081150290604051600060405180830381858888f19350505050158015610b98573d6000803e3d6000fd5b505b8273ffffffffffffffffffffffffffffffffffffffff16634e4d9fea836040518263ffffffff1660e01b81526004016000604051808303818588803b158015610be257600080fd5b505af1158015610bf6573d6000803e3d6000fd5b50505050507ff9c0c8ae7fcb0ae66722c0fd985dd186c5f04475693482e4836363ea60e00de286868430604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a150505061114f565b6000829050600084905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610d5f57600080fd5b505afa158015610d73573d6000803e3d6000fd5b505050506040513d6020811015610d8957600080fd5b8101908080519060200190929190505050905060008373ffffffffffffffffffffffffffffffffffffffff166317bfdfbc306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b158015610e1d57600080fd5b505af1158015610e31573d6000803e3d6000fd5b505050506040513d6020811015610e4757600080fd5b8101908080519060200190929190505050905084821115610e66578491505b80821115610e72578091505b610e7d8783886122dd565b8273ffffffffffffffffffffffffffffffffffffffff166323b872dd3330856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b158015610f3857600080fd5b505af1158015610f4c573d6000803e3d6000fd5b505050506040513d6020811015610f6257600080fd5b81019080805190602001909291905050505060008473ffffffffffffffffffffffffffffffffffffffff16630e752702846040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b158015610fc957600080fd5b505af1158015610fdd573d6000803e3d6000fd5b505050506040513d6020811015610ff357600080fd5b810190808051906020019092919050505014611077576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f7472616e7366657220617070726f7665643f000000000000000000000000000081525060200191505060405180910390fd5b7ff9c0c8ae7fcb0ae66722c0fd985dd186c5f04475693482e4836363ea60e00de287878430604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a1505050505b505050565b60008290506111798374446c3b15f9926687d2c40534fdb564000000000000856122dd565b60008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156111f857600080fd5b505afa15801561120c573d6000803e3d6000fd5b505050506040513d602081101561122257600080fd5b8101908080519060200190929190505050905060006112c3828473ffffffffffffffffffffffffffffffffffffffff1663bd6d894d6040518163ffffffff1660e01b8152600401602060405180830381600087803b15801561128357600080fd5b505af1158015611297573d6000803e3d6000fd5b505050506040513d60208110156112ad57600080fd5b81019080805190602001909291905050506126d3565b9050838111156112d1578390505b60008373ffffffffffffffffffffffffffffffffffffffff1663852a12e3836040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b15801561132657600080fd5b505af115801561133a573d6000803e3d6000fd5b505050506040513d602081101561135057600080fd5b8101908080519060200190929190505050146113d4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f736f6d657468696e672077656e742077726f6e6700000000000000000000000081525060200191505060405180910390fd5b6113dd866124a1565b7fd985ae7abab418a80621f7b292cdc98b964715f22de84b4f4c9183795b47d14b86868330604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a1505050505050565b600082905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561153c57600080fd5b505afa158015611550573d6000803e3d6000fd5b505050506040513d602081101561156657600080fd5b8101908080519060200190929190505050905082811115611585578290505b6115908482866122dd565b60008273ffffffffffffffffffffffffffffffffffffffff1663db006a75836040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b1580156115e557600080fd5b505af11580156115f9573d6000803e3d6000fd5b505050506040513d602081101561160f57600080fd5b810190808051906020019092919050505014611693576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f736f6d657468696e672077656e742077726f6e6700000000000000000000000081525060200191505060405180910390fd5b61169c856124a1565b600061172a828473ffffffffffffffffffffffffffffffffffffffff1663bd6d894d6040518163ffffffff1660e01b8152600401602060405180830381600087803b1580156116ea57600080fd5b505af11580156116fe573d6000803e3d6000fd5b505050506040513d602081101561171457600080fd5b81019080805190602001909291905050506126d3565b90507fd985ae7abab418a80621f7b292cdc98b964715f22de84b4f4c9183795b47d14b86868330604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a1505050505050565b600073eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee905090565b61182b611807565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611aee576000829050600034905060008273ffffffffffffffffffffffffffffffffffffffff166317bfdfbc306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b1580156118e957600080fd5b505af11580156118fd573d6000803e3d6000fd5b505050506040513d602081101561191357600080fd5b810190808051906020019092919050505090508082111561197b578091503373ffffffffffffffffffffffffffffffffffffffff166108fc8334039081150290604051600060405180830381858888f19350505050158015611979573d6000803e3d6000fd5b505b8273ffffffffffffffffffffffffffffffffffffffff1663e597461983896040518363ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019150506000604051808303818588803b1580156119fa57600080fd5b505af1158015611a0e573d6000803e3d6000fd5b50505050507ff9c0c8ae7fcb0ae66722c0fd985dd186c5f04475693482e4836363ea60e00de286868430604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a1505050611f9b565b6000829050600084905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611b7757600080fd5b505afa158015611b8b573d6000803e3d6000fd5b505050506040513d6020811015611ba157600080fd5b8101908080519060200190929190505050905060008373ffffffffffffffffffffffffffffffffffffffff166317bfdfbc306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b158015611c3557600080fd5b505af1158015611c49573d6000803e3d6000fd5b505050506040513d6020811015611c5f57600080fd5b8101908080519060200190929190505050905084821115611c7e578491505b80821115611c8a578091505b611c958783886122dd565b8273ffffffffffffffffffffffffffffffffffffffff166323b872dd3330856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b158015611d5057600080fd5b505af1158015611d64573d6000803e3d6000fd5b505050506040513d6020811015611d7a57600080fd5b81019080805190602001909291905050505060008473ffffffffffffffffffffffffffffffffffffffff16632608f8188a886040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015611e1557600080fd5b505af1158015611e29573d6000803e3d6000fd5b505050506040513d6020811015611e3f57600080fd5b810190808051906020019092919050505014611ec3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f7472616e7366657220617070726f7665643f000000000000000000000000000081525060200191505060405180910390fd5b7ff9c0c8ae7fcb0ae66722c0fd985dd186c5f04475693482e4836363ea60e00de287878430604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200194505050505060405180910390a1505050505b50505050565b6000611fab610833565b905060608173ffffffffffffffffffffffffffffffffffffffff1663abfceffc306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060006040518083038186803b15801561202c57600080fd5b505afa158015612040573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250602081101561206a57600080fd5b81019080805164010000000081111561208257600080fd5b8281019050602081018481111561209857600080fd5b81518560208202830111640100000000821117156120b557600080fd5b50509291905050509050600080905060008090505b825181101561212c578473ffffffffffffffffffffffffffffffffffffffff168382815181106120f657fe5b602002602001015173ffffffffffffffffffffffffffffffffffffffff16141561211f57600191505b80806001019150506120ca565b50806122d757606060016040519080825280602002602001820160405280156121645781602001602082028038833980820191505090505b509050848160008151811061217557fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250508373ffffffffffffffffffffffffffffffffffffffff1663c2998238826040518263ffffffff1660e01b81526004018080602001828103825283818151815260200191508051906020019060200280838360005b8381101561221e578082015181840152602081019050612203565b5050505090500192505050600060405180830381600087803b15801561224357600080fd5b505af1158015612257573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250602081101561228157600080fd5b81019080805164010000000081111561229957600080fd5b828101905060208101848111156122af57600080fd5b81518560208202830111640100000000821117156122cc57600080fd5b505092919050505050505b50505050565b600083905060008173ffffffffffffffffffffffffffffffffffffffff1663dd62ed3e30856040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060206040518083038186803b15801561239557600080fd5b505afa1580156123a9573d6000803e3d6000fd5b505050506040513d60208110156123bf57600080fd5b810190808051906020019092919050505090508084111561249a578173ffffffffffffffffffffffffffffffffffffffff1663095ea7b3847f80000000000000000000000000000000000000000000000000000000000000006040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561248157600080fd5b505af1158015612495573d6000803e3d6000fd5b505050505b5050505050565b6124a9611807565b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561253f573373ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050158015612539573d6000803e3d6000fd5b506126d0565b600081905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156125c357600080fd5b505afa1580156125d7573d6000803e3d6000fd5b505050506040513d60208110156125ed57600080fd5b8101908080519060200190929190505050905060008111156126cd578173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561269057600080fd5b505af11580156126a4573d6000803e3d6000fd5b505050506040513d60208110156126ba57600080fd5b8101908080519060200190929190505050505b50505b50565b6000670de0b6b3a76400006127036126eb8585612713565b6002670de0b6b3a7640000816126fd57fe5b046127a8565b8161270a57fe5b04905092915050565b600080821480612730575082828385029250828161272d57fe5b04145b6127a2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6d6174682d6e6f742d736166650000000000000000000000000000000000000081525060200191505060405180910390fd5b92915050565b6000828284019150811015612825576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6d6174682d6e6f742d736166650000000000000000000000000000000000000081525060200191505060405180910390fd5b9291505056fea165627a7a72305820978271f550387095d5e66eb6254dd00d1cdb71ba9353c959a19dfe99ddd47cf50029

0000000000000000000000000000000000000000000000000000000000000001

-----Decoded View---------------
Arg [0] : _version (uint256): 1

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

11819:320:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5831:867;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5831:867:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;4003:294;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4003:294:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8316:352;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8316:352:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8316:352:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11871:19;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11871:19:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8726:1457;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8726:1457:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;7594:666;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7594:666:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7594:666:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6829:634;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6829:634:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6829:634:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3805:126;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3805:126:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10248:1560;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;10248:1560:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5831:867;5925:19;5937:6;5925:11;:19::i;:::-;5968:15;:13;:15::i;:::-;5959:24;;:5;:24;;;5955:613;;;6000:20;6037:6;6000:44;;6059:6;:11;;;6077:9;6059:30;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6059:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6059:30:0;;;;;5955:613;;;;6122:20;6160:5;6122:44;;6181:14;6198:5;:15;;;6214:10;6198:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6198:27:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6198:27:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6198:27:0;;;;;;;;;;;;;;;;6181:44;;6256:8;6244:9;:20;6240:81;;;6297:8;6285:20;;6240:81;6335:5;:18;;;6354:10;6374:4;6381:9;6335:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6335:56:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6335:56:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6335:56:0;;;;;;;;;;;;;;;;;6406:22;6447:6;6406:48;;6469:37;6481:5;6488:9;6499:6;6469:11;:37::i;:::-;6554:1;6528:6;:11;;;6540:9;6528:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6528:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6528:22:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6528:22:0;;;;;;;;;;;;;;;;:27;6521:35;;;;5955:613;;;;6583:107;6605:5;6625:6;6646:8;6669:10;6583:107;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5831:867;;;:::o;4003:294::-;4057:15;4095:42;4085:52;;4003:294;:::o;8316:352::-;8398:19;8410:6;8398:11;:19::i;:::-;8480:1;8452:6;8436:30;;;8467:8;8436:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8436:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8436:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8436:40:0;;;;;;;;;;;;;;;;:45;8428:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8512:20;8526:5;8512:13;:20::i;:::-;8548:112;8572:5;8592:6;8613:8;8644:4;8548:112;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8316:352;;;:::o;11871:19::-;;;;:::o;8726:1457::-;8833:15;:13;:15::i;:::-;8824:24;;:5;:24;;;8820:1356;;;8865:20;8902:6;8865:44;;8924:12;8939:9;8924:24;;8963:12;8978:6;:27;;;9014:4;8978:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8978:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8978:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8978:42:0;;;;;;;;;;;;;;;;8963:57;;9049:7;9039;:17;9035:134;;;9087:7;9077:17;;9113:10;:19;;:40;9145:7;9133:9;:19;9113:40;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9113:40:0;9035:134;9183:6;:18;;;9208:7;9183:35;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9183:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9183:35:0;;;;;9238:130;9265:5;9289:6;9314:7;9348:4;9238:130;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8820:1356;;;;;;9401:22;9442:6;9401:48;;9464:20;9502:5;9464:44;;9523:12;9538:5;:15;;;9554:10;9538:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9538:27:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9538:27:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9538:27:0;;;;;;;;;;;;;;;;9523:42;;9580:12;9595:6;:27;;;9631:4;9595:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9595:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9595:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9595:42:0;;;;;;;;;;;;;;;;9580:57;;9666:8;9656:7;:18;9652:77;;;9705:8;9695:18;;9652:77;9757:7;9747;:17;9743:75;;;9795:7;9785:17;;9743:75;9832:35;9844:5;9851:7;9860:6;9832:11;:35::i;:::-;9882:5;:18;;;9901:10;9921:4;9928:7;9882:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9882:54:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9882:54:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9882:54:0;;;;;;;;;;;;;;;;;9990:1;9959:6;:18;;;9978:7;9959:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9959:27:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9959:27:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9959:27:0;;;;;;;;;;;;;;;;:32;9951:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10034:130;10061:5;10085:6;10110:7;10144:4;10034:130;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8820:1356;;;;;8726:1457;;;:::o;7594:666::-;7686:22;7727:6;7686:48;;7745:35;7757:6;7765;7773;7745:11;:35::i;:::-;7791:11;7805:6;:16;;;7830:4;7805:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7805:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7805:31:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7805:31:0;;;;;;;;;;;;;;;;7791:45;;7847:18;7868:42;7873:6;7881;:26;;;:28;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7881:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7881:28:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7881:28:0;;;;;;;;;;;;;;;;7868:4;:42::i;:::-;7847:63;;7941:8;7925:13;:24;7921:81;;;7982:8;7966:24;;7921:81;8062:1;8020:6;:23;;;8044:13;8020:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8020:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8020:38:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8020:38:0;;;;;;;;;;;;;;;;:43;8012:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8099:20;8113:5;8099:13;:20::i;:::-;8135:117;8159:5;8179:6;8200:13;8236:4;8135:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7594:666;;;;;;:::o;6829:634::-;6918:22;6959:6;6918:48;;6977:11;6991:6;:16;;;7016:4;6991:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6991:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6991:31:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6991:31:0;;;;;;;;;;;;;;;;6977:45;;7046:9;7037:6;:18;7033:69;;;7081:9;7072:18;;7033:69;7112:35;7124:6;7132;7140;7112:11;:35::i;:::-;7191:1;7166:6;:13;;;7180:6;7166:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7166:21:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7166:21:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7166:21:0;;;;;;;;;;;;;;;;:26;7158:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7228:20;7242:5;7228:13;:20::i;:::-;7259:18;7280:42;7285:6;7293;:26;;;:28;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5: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;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7293:28:0;;;;;;;;;;;;;;;;7280:4;:42::i;:::-;7259:63;;7338:117;7362:5;7382:6;7403:13;7439:4;7338:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6829:634;;;;;;:::o;3805:126::-;3851:11;3881:42;3875:48;;3805:126;:::o;10248:1560::-;10427:15;:13;:15::i;:::-;10418:24;;:5;:24;;;10414:1387;;;10459:20;10496:6;10459:44;;10518:12;10533:9;10518:24;;10557:12;10572:6;:27;;;10608:4;10572:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10572:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10572:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10572:42:0;;;;;;;;;;;;;;;;10557:57;;10643:7;10633;:17;10629:134;;;10681:7;10671:17;;10707:10;:19;;:40;10739:7;10727:9;:19;10707:40;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10707:40:0;10629:134;10777:6;:24;;;10808:7;10817:8;10777:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10777:49:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10777:49:0;;;;;10846:130;10873:5;10897:6;10922:7;10956:4;10846:130;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10414:1387;;;;;;11009:22;11050:6;11009:48;;11072:20;11110:5;11072:44;;11131:12;11146:5;:15;;;11162:10;11146:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11146:27:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11146:27:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11146:27:0;;;;;;;;;;;;;;;;11131:42;;11188:12;11203:6;:27;;;11239:4;11203:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11203:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11203:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11203:42:0;;;;;;;;;;;;;;;;11188:57;;11274:8;11264:7;:18;11260:77;;;11313:8;11303:18;;11260:77;11365:7;11355;:17;11351:75;;;11403:7;11393:17;;11351:75;11440:35;11452:5;11459:7;11468:6;11440:11;:35::i;:::-;11490:5;:18;;;11509:10;11529:4;11536:7;11490:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11490:54:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11490:54:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11490:54:0;;;;;;;;;;;;;;;;;11615:1;11567:6;:24;;;11592:8;11602;11567:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11567:44:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11567:44:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11567:44:0;;;;;;;;;;;;;;;;:49;11559:80;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11659:130;11686:5;11710:6;11735:7;11769:4;11659:130;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10414:1387;;;;;10248:1560;;;;:::o;4794:575::-;4851:28;4903:23;:21;:23::i;:::-;4851:76;;4938:24;4965:7;:19;;;4993:4;4965:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4965:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4965:34:0;;;;;;39:16:-1;36:1;17:17;2:54;4965:34:0;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;13:2;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4965:34:0;;;;;;19:11:-1;14:3;11:20;8:2;;;44:1;41;34:12;8:2;71:11;66:3;62:21;55:28;;123:4;118:3;114:14;159:9;141:16;138:31;135:2;;;182:1;179;172:12;135:2;219:3;213:10;331:9;325:2;311:12;307:21;289:16;285:44;282:59;261:11;247:12;244:29;233:116;230:2;;;362:1;359;352:12;230:2;0:373;;4965:34:0;;;;;;4938:61;;5010:14;5027:5;5010:22;;5048:6;5057:1;5048:10;;5043:145;5064:7;:14;5060:1;:18;5043:145;;;5118:6;5104:20;;:7;5112:1;5104:10;;;;;;;;;;;;;;:20;;;5100:77;;;5157:4;5145:16;;5100:77;5080:3;;;;;;;5043:145;;;;5203:9;5198:164;;5229:24;5270:1;5256:16;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;5256:16:0;;;;5229:43;;5300:6;5287:7;5295:1;5287:10;;;;;;;;;;;;;:19;;;;;;;;;;;5321:7;:20;;;5342:7;5321:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5321:29:0;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5321:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5321:29:0;;;;;;39:16:-1;36:1;17:17;2:54;5321:29:0;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;13:2;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5321:29:0;;;;;;19:11:-1;14:3;11:20;8:2;;;44:1;41;34:12;8:2;71:11;66:3;62:21;55:28;;123:4;118:3;114:14;159:9;141:16;138:31;135:2;;;182:1;179;172:12;135:2;219:3;213:10;331:9;325:2;311:12;307:21;289:16;285:44;282:59;261:11;247:12;244:29;233:116;230:2;;;362:1;359;352:12;230:2;0:373;;5321:29:0;;;;;;;5198:164;;4794:575;;;;:::o;3420:315::-;3501:28;3547:5;3501:52;;3564:19;3586:13;:23;;;3618:4;3625:2;3586:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3586:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3586:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3586:42:0;;;;;;;;;;;;;;;;3564:64;;3652:14;3643:6;:23;3639:89;;;3683:13;:21;;;3705:2;3709:6;3683:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3683:33:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3683:33:0;;;;3639:89;3420:315;;;;;:::o;4363:423::-;4434:15;:13;:15::i;:::-;4425:24;;:5;:24;;;4421:358;;;4466:10;:19;;:42;4494:4;4486:21;;;4466:42;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4466:42:0;4421:358;;;4541:28;4587:5;4541:52;;4608:11;4622:13;:23;;;4654:4;4622:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4622:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4622:38:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4622:38:0;;;;;;;;;;;;;;;;4608:52;;4688:1;4679:6;:10;4675:93;;;4710:13;:22;;;4733:10;4745:6;4710:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4710:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4710:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4710:42:0;;;;;;;;;;;;;;;;;4675:93;4421:358;;;4363:423;:::o;3047:113::-;3100:6;3030:8;3123:23;3127:9;3131:1;3134;3127:3;:9::i;:::-;3144:1;3030:8;3138:7;;;;;;3123:3;:23::i;:::-;:29;;;;;;3119:33;;3047:113;;;;:::o;2867:135::-;2919:6;2951:1;2946;:6;:30;;;;2975:1;2970;2965;2961;:5;2957:9;;;2956:15;;;;;;:20;2946:30;2938:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2867:135;;;;:::o;2738:121::-;2790:6;2832:1;2826;2822;:5;2818:9;;;2817:16;;2809:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2738:121;;;;:::o

bzzr://978271f550387095d5e66eb6254dd00d1cdb71ba9353c959a19dfe99ddd47cf5