Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface CTokenInterface
•    - function mint(uint mintAmount)
•    - function redeem(uint redeemTokens)
•    - function borrow(uint borrowAmount)
•    - function repayBorrow(uint repayAmount ...
•    - function repayBorrowBehalf(address bo ...
•    - function liquidateBorrow(address borr ...
•    - function borrowBalanceCurrent(address ...
•    - function redeemUnderlying(uint redeem ...
•    - function exchangeRateCurrent()
•    - function balanceOf(address owner)
• interface CETHInterface
•    - function mint()
•    - function repayBorrow()
•    - function repayBorrowBehalf(address bo ...
•    - function liquidateBorrow(address borr ...
• interface TokenInterface
•    - 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 ...
•    - function claimComp(address)
• interface InstaMappingV2
•    - function getMapping(string calldata t ...
• interface MemoryInterface
•    - function getUint(uint _id)
•    - function setUint(uint _id, uint _val)
•  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)
•    - function sub(uint x, uint y)
•  contract Helpers is DSMath
•    - function getAddressETH()
•    - function getMemoryAddr()
•    - function getUint(uint getId, uint val ...
•    - function setUint(uint setId, uint val ...
•    - function connectorID()
•  contract CompoundHelpers is Helper ...
•    - function getComptrollerAddress()
•    - function getCompTokenAddress()
•    - function getMappingAddr()
•    - function enterMarket(address cToken)
•  contract BasicResolver is Compound ...
•    - function deposit(string calldata toke ...
•    - function withdraw(string calldata tok ...
•    - function borrow(string calldata token ...
•    - function payback(string calldata toke ...
•  contract ExtraResolver is BasicRes ...
•    - function depositCToken(string calldat ...
•    - function withdrawCToken(string callda ...
•    - function liquidate(
•  contract ConnectCompound is ExtraR ... *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.6.0;
pragma experimental ABIEncoderV2;

interface CTokenInterface {
    function mint(uint mintAmount) external returns (uint);
    function redeem(uint redeemTokens) external returns (uint);
    function borrow(uint borrowAmount) external returns (uint);
    function repayBorrow(uint repayAmount) external returns (uint);
    function repayBorrowBehalf(address borrower, uint repayAmount) external returns (uint); // For ERC20
    function liquidateBorrow(address borrower, uint repayAmount, address cTokenCollateral) external returns (uint);

    function borrowBalanceCurrent(address account) external returns (uint);
    function redeemUnderlying(uint redeemAmount) external returns (uint);
    function exchangeRateCurrent() external returns (uint);

    function balanceOf(address owner) external view returns (uint256 balance);
}

interface CETHInterface {
    function mint() external payable;
    function repayBorrow() external payable;
    function repayBorrowBehalf(address borrower) external payable;
    function liquidateBorrow(address borrower, address cTokenCollateral) external payable;
}

interface TokenInterface {
    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);
    function claimComp(address) external;
}

interface InstaMappingV2 {
    function getMapping(string calldata tokenId) external view returns (address, address);
}

interface MemoryInterface {
    function getUint(uint _id) external returns (uint _num);
    function setUint(uint _id, uint _val) external;
}

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;
    }

    function sub(uint x, uint y) internal pure returns (uint z) {
        require((z = x - y) <= x, "ds-math-sub-underflow");
    }

}


contract Helpers is DSMath {
    /**
     * @dev Return ethereum address
     */
    function getAddressETH() internal pure returns (address) {
        return 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE; // ETH Address
    }

    /**
     * @dev Return Memory Variable Address
     */
    function getMemoryAddr() internal pure returns (address) {
        return 0x8a5419CfC711B2343c17a6ABf4B2bAFaBb06957F; // InstaMemory Address
    }

    // /**
    //  * @dev Return InstaEvent Address.
    //  */
    // function getEventAddr() internal pure returns (address) {
    //     return 0x2af7ea6Cb911035f3eb1ED895Cb6692C39ecbA97; // InstaEvent Address
    // }

    /**
     * @dev Get Uint value from InstaMemory Contract.
    */
    function getUint(uint getId, uint val) internal returns (uint returnVal) {
        returnVal = getId == 0 ? val : MemoryInterface(getMemoryAddr()).getUint(getId);
    }

    /**
     * @dev Set Uint value in InstaMemory Contract.
    */
    function setUint(uint setId, uint val) internal {
        if (setId != 0) MemoryInterface(getMemoryAddr()).setUint(setId, val);
    }

    /**
     * @dev Connector Details
    */
    function connectorID() public pure returns(uint _type, uint _id) {
        (_type, _id) = (1, 87);
    }
}


contract CompoundHelpers is Helpers {
    /**
     * @dev Return Compound Comptroller Address
     */
    function getComptrollerAddress() internal pure returns (address) {
        return 0x3d9819210A31b4961b30EF54bE2aeD79B9c9Cd3B;
    }

    /**
     * @dev Return COMP Token Address.
     */
    function getCompTokenAddress() internal pure returns (address) {
        return 0xc00e94Cb662C3520282E6f5717214004A7f26888;
    }

    /**
     * @dev Return InstaDApp Mapping Addresses
     */
    function getMappingAddr() internal pure returns (address) {
        return 0xA8F9D4aA7319C54C04404765117ddBf9448E2082; // InstaMapping Address
    }

    /**
     * @dev enter compound market
     */
    function enterMarket(address cToken) 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] == cToken) {
                isEntered = true;
            }
        }
        if (!isEntered) {
            address[] memory toEnter = new address[](1);
            toEnter[0] = cToken;
            troller.enterMarkets(toEnter);
        }
    }
}


contract BasicResolver is CompoundHelpers {
    event LogDeposit(address indexed token, string tokenId, address cToken, uint256 tokenAmt, uint256 getId, uint256 setId);
    event LogWithdraw(address indexed token, string tokenId, address cToken, uint256 tokenAmt, uint256 getId, uint256 setId);
    event LogBorrow(address indexed token, string tokenId, address cToken, uint256 tokenAmt, uint256 getId, uint256 setId);
    event LogPayback(address indexed token, string tokenId, address cToken, uint256 tokenAmt, uint256 getId, uint256 setId);

    /**
     * @dev Deposit ETH/ERC20_Token.
     * @param tokenId token id of the token to deposit.(For eg: ETH-A)
     * @param amt token amount to deposit.
     * @param getId Get token amount at this ID from `InstaMemory` Contract.
     * @param setId Set token amount at this ID in `InstaMemory` Contract.
    */
    function deposit(string calldata tokenId, uint amt, uint getId, uint setId) external payable{
        uint _amt = getUint(getId, amt);
        (address token, address cToken) = InstaMappingV2(getMappingAddr()).getMapping(tokenId);
        require(token != address(0) && cToken != address(0), "ctoken mapping not found");
        enterMarket(cToken);
        if (token == getAddressETH()) {
            _amt = _amt == uint(-1) ? address(this).balance : _amt;
            CETHInterface(cToken).mint.value(_amt)();
        } else {
            TokenInterface tokenContract = TokenInterface(token);
            _amt = _amt == uint(-1) ? tokenContract.balanceOf(address(this)) : _amt;
            tokenContract.approve(cToken, _amt);
            require(CTokenInterface(cToken).mint(_amt) == 0, "deposit-failed");
        }
        setUint(setId, _amt);

        emit LogDeposit(token, tokenId, cToken, _amt, getId, setId);
    }

    /**
     * @dev Withdraw ETH/ERC20_Token.
     * @param tokenId token id of the token to withdraw.(For eg: ETH-A)
     * @param amt token amount to withdraw.
     * @param getId Get token amount at this ID from `InstaMemory` Contract.
     * @param setId Set token amount at this ID in `InstaMemory` Contract.
    */
    function withdraw(string calldata tokenId, uint amt, uint getId, uint setId) external payable{
        uint _amt = getUint(getId, amt);
        (address token, address cToken) = InstaMappingV2(getMappingAddr()).getMapping(tokenId);
        require(token != address(0) && cToken != address(0), "ctoken mapping not found");
        CTokenInterface cTokenContract = CTokenInterface(cToken);
        if (_amt == uint(-1)) {
            TokenInterface tokenContract = TokenInterface(token);
            uint initialBal = token == getAddressETH() ? address(this).balance : tokenContract.balanceOf(address(this));
            require(cTokenContract.redeem(cTokenContract.balanceOf(address(this))) == 0, "full-withdraw-failed");
            uint finalBal = token == getAddressETH() ? address(this).balance : tokenContract.balanceOf(address(this));
            _amt = finalBal - initialBal;
        } else {
            require(cTokenContract.redeemUnderlying(_amt) == 0, "withdraw-failed");
        }
        setUint(setId, _amt);

        emit LogWithdraw(token, tokenId, cToken, _amt, getId, setId);
    }

    /**
     * @dev Borrow ETH/ERC20_Token.
     * @param tokenId token id of the token to borrow.(For eg: DAI-A)
     * @param amt token amount to borrow.
     * @param getId Get token amount at this ID from `InstaMemory` Contract.
     * @param setId Set token amount at this ID in `InstaMemory` Contract.
    */
    function borrow(string calldata tokenId, uint amt, uint getId, uint setId) external payable {
        uint _amt = getUint(getId, amt);
        (address token, address cToken) = InstaMappingV2(getMappingAddr()).getMapping(tokenId);
        require(token != address(0) && cToken != address(0), "ctoken mapping not found");
        enterMarket(cToken);
        require(CTokenInterface(cToken).borrow(_amt) == 0, "borrow-failed");
        setUint(setId, _amt);

        emit LogBorrow(token, tokenId, cToken, _amt, getId, setId);
    }

    /**
     * @dev Payback borrowed ETH/ERC20_Token.
     * @param tokenId token id of the token to payback.(For eg: COMP-A)
     * @param amt token amount to payback.
     * @param getId Get token amount at this ID from `InstaMemory` Contract.
     * @param setId Set token amount at this ID in `InstaMemory` Contract.
    */
    function payback(string calldata tokenId, uint amt, uint getId, uint setId) external payable {
        uint _amt = getUint(getId, amt);
        (address token, address cToken) = InstaMappingV2(getMappingAddr()).getMapping(tokenId);
        require(token != address(0) && cToken != address(0), "ctoken mapping not found");
        CTokenInterface cTokenContract = CTokenInterface(cToken);
        _amt = _amt == uint(-1) ? cTokenContract.borrowBalanceCurrent(address(this)) : _amt;

        if (token == getAddressETH()) {
            require(address(this).balance >= _amt, "not-enough-eth");
            CETHInterface(cToken).repayBorrow.value(_amt)();
        } else {
            TokenInterface tokenContract = TokenInterface(token);
            require(tokenContract.balanceOf(address(this)) >= _amt, "not-enough-token");
            tokenContract.approve(cToken, _amt);
            require(cTokenContract.repayBorrow(_amt) == 0, "repay-failed.");
        }
        setUint(setId, _amt);

        emit LogPayback(token, tokenId, cToken, _amt, getId, setId);
    }
}

contract ExtraResolver is BasicResolver {
    event LogClaimedComp(uint256 compAmt, uint256 setId);
    event LogDepositCToken(
        address indexed token,
        string tokenId,
        address cToken,
        uint256 tokenAmt,
        uint256 cTokenAmt,
        uint256 getId,
        uint256 setId
    );
    event LogWithdrawCToken(
        address indexed token,
        string tokenId,
        address cToken,
        uint256 tokenAmt,
        uint256 cTokenAmt,
        uint256 getId,
        uint256 setId
    );
    event LogLiquidate(
        address indexed borrower,
        address indexed tokenToPay,
        address indexed tokenInReturn,
        uint256 tokenAmt,
        uint256 getId,
        uint256 setId
    );

    struct LiquidateData {
        address tokenToPay;
        address tokenInReturn;
        address cTokenPay;
        address cTokenColl;
}

    /**
     * @dev Deposit ETH/ERC20_Token.
     * @param tokenId token id of the token to depositCToken.(For eg: DAI-A)
     * @param amt token amount to depositCToken.
     * @param getId Get token amount at this ID from `InstaMemory` Contract.
     * @param setId Set ctoken amount at this ID in `InstaMemory` Contract.
    */
    function depositCToken(string calldata tokenId, uint amt, uint getId, uint setId) external payable{
        uint _amt = getUint(getId, amt);
        (address token, address cToken) = InstaMappingV2(getMappingAddr()).getMapping(tokenId);
        require(token != address(0) && cToken != address(0), "ctoken mapping not found");
        enterMarket(cToken);

        CTokenInterface ctokenContract = CTokenInterface(cToken);
        uint initialBal = ctokenContract.balanceOf(address(this));

        if (token == getAddressETH()) {
            _amt = _amt == uint(-1) ? address(this).balance : _amt;
            CETHInterface(cToken).mint.value(_amt)();
        } else {
            TokenInterface tokenContract = TokenInterface(token);
            _amt = _amt == uint(-1) ? tokenContract.balanceOf(address(this)) : _amt;
            tokenContract.approve(cToken, _amt);
            require(ctokenContract.mint(_amt) == 0, "deposit-ctoken-failed.");
        }

        uint finalBal = ctokenContract.balanceOf(address(this));
        uint _cAmt = finalBal - initialBal;
        setUint(setId, _cAmt);

        emit LogDepositCToken(token, tokenId, cToken, _amt, _cAmt, getId, setId);
    }

    /**
     * @dev Withdraw CETH/CERC20_Token using cToken Amt.
     * @param tokenId token id of the token to withdraw CToken.(For eg: ETH-A)
     * @param cTokenAmt ctoken amount to withdrawCToken.
     * @param getId Get ctoken amount at this ID from `InstaMemory` Contract.
     * @param setId Set token amount at this ID in `InstaMemory` Contract.
    */
    function withdrawCToken(string calldata tokenId, uint cTokenAmt, uint getId, uint setId) external payable {
        uint _cAmt = getUint(getId, cTokenAmt);
        (address token, address cToken) = InstaMappingV2(getMappingAddr()).getMapping(tokenId);
        require(token != address(0) && cToken != address(0), "ctoken mapping not found");
        CTokenInterface cTokenContract = CTokenInterface(cToken);
        TokenInterface tokenContract = TokenInterface(token);
        _cAmt = _cAmt == uint(-1) ? cTokenContract.balanceOf(address(this)) : _cAmt;

        uint withdrawAmt;

        {
            uint initialBal = token != getAddressETH() ? tokenContract.balanceOf(address(this)) : address(this).balance;
            require(cTokenContract.redeem(_cAmt) == 0, "redeem-failed");
            uint finalBal = token != getAddressETH() ? tokenContract.balanceOf(address(this)) : address(this).balance;

            withdrawAmt = sub(finalBal, initialBal);
        }

        setUint(setId, withdrawAmt);

        emit LogWithdrawCToken(token, tokenId, cToken, withdrawAmt, _cAmt, getId, setId);
    }

    /**
     * @dev Liquidate a position.
     * @param borrower Borrower's Address.
     * @param tokenIdToPay token id of the token to pay for liquidation.(For eg: ETH-A)
     * @param tokenIdInReturn token id of the token to return for liquidation.(For eg: USDC-A)
     * @param amt token amount to pay for liquidation.
     * @param getId Get token amount at this ID from `InstaMemory` Contract.
     * @param setId Set token amount at this ID in `InstaMemory` Contract.
    */
    function liquidate(
        address borrower,
        string calldata tokenIdToPay,
        string calldata tokenIdInReturn,
        uint amt,
        uint getId,
        uint setId
    ) external payable
    {
        uint _amt = getUint(getId, amt);

        LiquidateData memory data;

        (data.tokenToPay, data.cTokenPay) = InstaMappingV2(getMappingAddr()).getMapping(tokenIdToPay);
        require(data.tokenToPay != address(0) && data.cTokenPay != address(0), "ctoken mapping not found");
        (data.tokenInReturn, data.cTokenColl) = InstaMappingV2(getMappingAddr()).getMapping(tokenIdInReturn);
        require(data.tokenInReturn != address(0) && data.cTokenColl != address(0), "ctoken mapping not found");
        CTokenInterface cTokenContract = CTokenInterface(data.cTokenPay);

        {
            (,, uint shortfal) = ComptrollerInterface(getComptrollerAddress()).getAccountLiquidity(borrower);
            require(shortfal != 0, "account-cannot-be-liquidated");
        }

        _amt = _amt == uint(-1) ? cTokenContract.borrowBalanceCurrent(borrower) : _amt;
        if (data.tokenToPay == getAddressETH()) {
            require(address(this).balance >= _amt, "not-enought-eth");
            CETHInterface(data.cTokenPay).liquidateBorrow.value(_amt)(borrower, data.cTokenColl);
        } else {
            TokenInterface tokenContract = TokenInterface(data.tokenToPay);
            require(tokenContract.balanceOf(address(this)) >= _amt, "not-enough-token");
            tokenContract.approve(data.cTokenPay, _amt);
            require(cTokenContract.liquidateBorrow(borrower, _amt, data.cTokenColl) == 0, "liquidate-failed");
        }
        setUint(setId, _amt);

        emit LogLiquidate(
            address(this),
            data.tokenToPay,
            data.tokenInReturn,
            _amt,
            getId,
            setId
        );
    }
}


contract ConnectCompound is ExtraResolver {
    string public name = "Compound-v1.4";
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"token","type":"address"},{"indexed":false,"internalType":"string","name":"tokenId","type":"string"},{"indexed":false,"internalType":"address","name":"cToken","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenAmt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"getId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"setId","type":"uint256"}],"name":"LogBorrow","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"compAmt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"setId","type":"uint256"}],"name":"LogClaimedComp","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"token","type":"address"},{"indexed":false,"internalType":"string","name":"tokenId","type":"string"},{"indexed":false,"internalType":"address","name":"cToken","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenAmt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"getId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"setId","type":"uint256"}],"name":"LogDeposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"token","type":"address"},{"indexed":false,"internalType":"string","name":"tokenId","type":"string"},{"indexed":false,"internalType":"address","name":"cToken","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenAmt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"cTokenAmt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"getId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"setId","type":"uint256"}],"name":"LogDepositCToken","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"borrower","type":"address"},{"indexed":true,"internalType":"address","name":"tokenToPay","type":"address"},{"indexed":true,"internalType":"address","name":"tokenInReturn","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenAmt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"getId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"setId","type":"uint256"}],"name":"LogLiquidate","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"token","type":"address"},{"indexed":false,"internalType":"string","name":"tokenId","type":"string"},{"indexed":false,"internalType":"address","name":"cToken","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenAmt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"getId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"setId","type":"uint256"}],"name":"LogPayback","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"token","type":"address"},{"indexed":false,"internalType":"string","name":"tokenId","type":"string"},{"indexed":false,"internalType":"address","name":"cToken","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenAmt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"getId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"setId","type":"uint256"}],"name":"LogWithdraw","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"token","type":"address"},{"indexed":false,"internalType":"string","name":"tokenId","type":"string"},{"indexed":false,"internalType":"address","name":"cToken","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenAmt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"cTokenAmt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"getId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"setId","type":"uint256"}],"name":"LogWithdrawCToken","type":"event"},{"inputs":[{"internalType":"string","name":"tokenId","type":"string"},{"internalType":"uint256","name":"amt","type":"uint256"},{"internalType":"uint256","name":"getId","type":"uint256"},{"internalType":"uint256","name":"setId","type":"uint256"}],"name":"borrow","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"connectorID","outputs":[{"internalType":"uint256","name":"_type","type":"uint256"},{"internalType":"uint256","name":"_id","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"string","name":"tokenId","type":"string"},{"internalType":"uint256","name":"amt","type":"uint256"},{"internalType":"uint256","name":"getId","type":"uint256"},{"internalType":"uint256","name":"setId","type":"uint256"}],"name":"deposit","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"string","name":"tokenId","type":"string"},{"internalType":"uint256","name":"amt","type":"uint256"},{"internalType":"uint256","name":"getId","type":"uint256"},{"internalType":"uint256","name":"setId","type":"uint256"}],"name":"depositCToken","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"borrower","type":"address"},{"internalType":"string","name":"tokenIdToPay","type":"string"},{"internalType":"string","name":"tokenIdInReturn","type":"string"},{"internalType":"uint256","name":"amt","type":"uint256"},{"internalType":"uint256","name":"getId","type":"uint256"},{"internalType":"uint256","name":"setId","type":"uint256"}],"name":"liquidate","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string","name":"tokenId","type":"string"},{"internalType":"uint256","name":"amt","type":"uint256"},{"internalType":"uint256","name":"getId","type":"uint256"},{"internalType":"uint256","name":"setId","type":"uint256"}],"name":"payback","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"string","name":"tokenId","type":"string"},{"internalType":"uint256","name":"amt","type":"uint256"},{"internalType":"uint256","name":"getId","type":"uint256"},{"internalType":"uint256","name":"setId","type":"uint256"}],"name":"withdraw","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"string","name":"tokenId","type":"string"},{"internalType":"uint256","name":"cTokenAmt","type":"uint256"},{"internalType":"uint256","name":"getId","type":"uint256"},{"internalType":"uint256","name":"setId","type":"uint256"}],"name":"withdrawCToken","outputs":[],"stateMutability":"payable","type":"function"}]

60806040526040518060400160405280600d81526020017f436f6d706f756e642d76312e3400000000000000000000000000000000000000815250600090805190602001906200005192919062000066565b503480156200005f57600080fd5b5062000115565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620000a957805160ff1916838001178555620000da565b82800160010185558215620000da579182015b82811115620000d9578251825591602001919060010190620000bc565b5b509050620000e99190620000ed565b5090565b6200011291905b808211156200010e576000816000905550600101620000f4565b5090565b90565b613b2c80620001256000396000f3fe6080604052600436106100865760003560e01c80637008dc75116100595780637008dc751461010a578063cdcb4b2914610126578063e3e28b5914610142578063eb15f7811461015e578063f8f505a91461018a57610086565b806306fdde031461008b5780634d9c6dee146100b657806350bb9a75146100d257806369cdf8f8146100ee575b600080fd5b34801561009757600080fd5b506100a06101a6565b6040516100ad919061370a565b60405180910390f35b6100d060048036036100cb9190810190612fd9565b610244565b005b6100ec60048036036100e79190810190612fd9565b610741565b005b61010860048036036101039190810190612fd9565b610bd1565b005b610124600480360361011f9190810190612fd9565b61118d565b005b610140600480360361013b9190810190612fd9565b611747565b005b61015c60048036036101579190810190612fd9565b6119d8565b005b34801561016a57600080fd5b50610173611f44565b604051610181929190613907565b60405180910390f35b6101a4600480360361019f9190810190612e94565b611f5d565b005b60008054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561023c5780601f106102115761010080835404028352916020019161023c565b820191906000526020600020905b81548152906001019060200180831161021f57829003601f168201915b505050505081565b60006102508385612822565b905060008061025d6128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c89896040518363ffffffff1660e01b8152600401610297929190613620565b604080518083038186803b1580156102ae57600080fd5b505afa1580156102c2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506102e69190810190612e58565b91509150600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156103545750600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b610393576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161038a906137ac565b60405180910390fd5b600081905060008390507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff85146103ca5784610454565b8173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610403919061355a565b60206040518083038186803b15801561041b57600080fd5b505afa15801561042f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506104539190810190613059565b5b94506000806104616128e8565b73ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff16141561049a5747610524565b8273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016104d3919061355a565b60206040518083038186803b1580156104eb57600080fd5b505afa1580156104ff573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506105239190810190613059565b5b905060008473ffffffffffffffffffffffffffffffffffffffff1663db006a75896040518263ffffffff1660e01b815260040161056191906138ec565b602060405180830381600087803b15801561057b57600080fd5b505af115801561058f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506105b39190810190613059565b146105f3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ea9061386c565b60405180910390fd5b60006105fd6128e8565b73ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff16141561063657476106c0565b8373ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161066f919061355a565b60206040518083038186803b15801561068757600080fd5b505afa15801561069b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506106bf9190810190613059565b5b90506106cc8183612904565b925050506106da8782612954565b8473ffffffffffffffffffffffffffffffffffffffff167fb3c7d2e27dc9881b93b46dba6b4886ade44da513507086c720e9bee7b3b1894e8c8c87858b8e8e60405161072c97969594939291906136a0565b60405180910390a25050505050505050505050565b600061074d8385612822565b905060008061075a6128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c89896040518363ffffffff1660e01b8152600401610794929190613620565b604080518083038186803b1580156107ab57600080fd5b505afa1580156107bf573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506107e39190810190612e58565b91509150600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156108515750600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b610890576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610887906137ac565b60405180910390fd5b610899816129d5565b6108a16128e8565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561096b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83146109015782610903565b475b92508073ffffffffffffffffffffffffffffffffffffffff16631249c58b846040518263ffffffff1660e01b81526004016000604051808303818588803b15801561094d57600080fd5b505af1158015610961573d6000803e3d6000fd5b5050505050610b65565b60008290507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff841461099d5783610a27565b8073ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016109d6919061355a565b60206040518083038186803b1580156109ee57600080fd5b505afa158015610a02573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610a269190810190613059565b5b93508073ffffffffffffffffffffffffffffffffffffffff1663095ea7b383866040518363ffffffff1660e01b8152600401610a6492919061359e565b600060405180830381600087803b158015610a7e57600080fd5b505af1158015610a92573d6000803e3d6000fd5b5050505060008273ffffffffffffffffffffffffffffffffffffffff1663a0712d68866040518263ffffffff1660e01b8152600401610ad191906138ec565b602060405180830381600087803b158015610aeb57600080fd5b505af1158015610aff573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610b239190810190613059565b14610b63576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b5a906138cc565b60405180910390fd5b505b610b6f8484612954565b8173ffffffffffffffffffffffffffffffffffffffff167f9dd9d03d21be3b50397f6bcd4629ea514c0c1d8a1df079b3f35747f5097e53bf898984878a8a604051610bbf96959493929190613644565b60405180910390a25050505050505050565b6000610bdd8385612822565b9050600080610bea6128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c89896040518363ffffffff1660e01b8152600401610c24929190613620565b604080518083038186803b158015610c3b57600080fd5b505afa158015610c4f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610c739190810190612e58565b91509150600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614158015610ce15750600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b610d20576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d17906137ac565b60405180910390fd5b610d29816129d5565b600081905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610d69919061355a565b60206040518083038186803b158015610d8157600080fd5b505afa158015610d95573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610db99190810190613059565b9050610dc36128e8565b73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415610e8d577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8514610e235784610e25565b475b94508273ffffffffffffffffffffffffffffffffffffffff16631249c58b866040518263ffffffff1660e01b81526004016000604051808303818588803b158015610e6f57600080fd5b505af1158015610e83573d6000803e3d6000fd5b5050505050611087565b60008490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8614610ebf5785610f49565b8073ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610ef8919061355a565b60206040518083038186803b158015610f1057600080fd5b505afa158015610f24573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610f489190810190613059565b5b95508073ffffffffffffffffffffffffffffffffffffffff1663095ea7b385886040518363ffffffff1660e01b8152600401610f8692919061359e565b600060405180830381600087803b158015610fa057600080fd5b505af1158015610fb4573d6000803e3d6000fd5b5050505060008373ffffffffffffffffffffffffffffffffffffffff1663a0712d68886040518263ffffffff1660e01b8152600401610ff391906138ec565b602060405180830381600087803b15801561100d57600080fd5b505af1158015611021573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506110459190810190613059565b14611085576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161107c9061380c565b60405180910390fd5b505b60008273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016110c2919061355a565b60206040518083038186803b1580156110da57600080fd5b505afa1580156110ee573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506111129190810190613059565b9050600082820390506111258882612954565b8573ffffffffffffffffffffffffffffffffffffffff167fa304a3a14a571e9347f49b91d2f39a72180a09c76f4eb75a90ea0564b0ce55a78d8d888b868f8f60405161117797969594939291906136a0565b60405180910390a2505050505050505050505050565b60006111998385612822565b90506000806111a66128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c89896040518363ffffffff1660e01b81526004016111e0929190613620565b604080518083038186803b1580156111f757600080fd5b505afa15801561120b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061122f9190810190612e58565b91509150600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415801561129d5750600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b6112dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112d3906137ac565b60405180910390fd5b60008190507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84141561160c57600083905060006113186128e8565b73ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff16146113d8578173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401611383919061355a565b60206040518083038186803b15801561139b57600080fd5b505afa1580156113af573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506113d39190810190613059565b6113da565b475b905060008373ffffffffffffffffffffffffffffffffffffffff1663db006a758573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401611433919061355a565b60206040518083038186803b15801561144b57600080fd5b505afa15801561145f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506114839190810190613059565b6040518263ffffffff1660e01b815260040161149f91906138ec565b602060405180830381600087803b1580156114b957600080fd5b505af11580156114cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506114f19190810190613059565b14611531576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611528906138ac565b60405180910390fd5b600061153b6128e8565b73ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff16146115fb578273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016115a6919061355a565b60206040518083038186803b1580156115be57600080fd5b505afa1580156115d2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506115f69190810190613059565b6115fd565b475b905081810396505050506116da565b60008173ffffffffffffffffffffffffffffffffffffffff1663852a12e3866040518263ffffffff1660e01b815260040161164791906138ec565b602060405180830381600087803b15801561166157600080fd5b505af1158015611675573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506116999190810190613059565b146116d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116d09061378c565b60405180910390fd5b5b6116e48585612954565b8273ffffffffffffffffffffffffffffffffffffffff167f81180057f5cb7cab9f6bc8ff9c47508d62f678eae7da72e99138c9488ff6bc438a8a85888b8b60405161173496959493929190613644565b60405180910390a2505050505050505050565b60006117538385612822565b90506000806117606128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c89896040518363ffffffff1660e01b815260040161179a929190613620565b604080518083038186803b1580156117b157600080fd5b505afa1580156117c5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506117e99190810190612e58565b91509150600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156118575750600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b611896576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161188d906137ac565b60405180910390fd5b61189f816129d5565b60008173ffffffffffffffffffffffffffffffffffffffff1663c5ebeaec856040518263ffffffff1660e01b81526004016118da91906138ec565b602060405180830381600087803b1580156118f457600080fd5b505af1158015611908573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061192c9190810190613059565b1461196c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119639061382c565b60405180910390fd5b6119768484612954565b8173ffffffffffffffffffffffffffffffffffffffff167fecd875f6c620fb3ee85598348e07d856924184323ebe15608d33d3804c5bf64a898984878a8a6040516119c696959493929190613644565b60405180910390a25050505050505050565b60006119e48385612822565b90506000806119f16128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c89896040518363ffffffff1660e01b8152600401611a2b929190613620565b604080518083038186803b158015611a4257600080fd5b505afa158015611a56573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611a7a9190810190612e58565b91509150600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614158015611ae85750600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b611b27576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b1e906137ac565b60405180910390fd5b60008190507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8414611b595783611be5565b8073ffffffffffffffffffffffffffffffffffffffff166317bfdfbc306040518263ffffffff1660e01b8152600401611b92919061355a565b602060405180830381600087803b158015611bac57600080fd5b505af1158015611bc0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611be49190810190613059565b5b9350611bef6128e8565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611ccb5783471015611c65576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c5c9061376c565b60405180910390fd5b8173ffffffffffffffffffffffffffffffffffffffff16634e4d9fea856040518263ffffffff1660e01b81526004016000604051808303818588803b158015611cad57600080fd5b505af1158015611cc1573d6000803e3d6000fd5b5050505050611ed7565b6000839050848173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401611d0a919061355a565b60206040518083038186803b158015611d2257600080fd5b505afa158015611d36573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611d5a9190810190613059565b1015611d9b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d92906137ec565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1663095ea7b384876040518363ffffffff1660e01b8152600401611dd692919061359e565b600060405180830381600087803b158015611df057600080fd5b505af1158015611e04573d6000803e3d6000fd5b5050505060008273ffffffffffffffffffffffffffffffffffffffff16630e752702876040518263ffffffff1660e01b8152600401611e4391906138ec565b602060405180830381600087803b158015611e5d57600080fd5b505af1158015611e71573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611e959190810190613059565b14611ed5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ecc9061388c565b60405180910390fd5b505b611ee18585612954565b8273ffffffffffffffffffffffffffffffffffffffff167f8f4cba6426ed0dd541a2a8de02a4d634888e32c7bd0c5c7ba78fcc78797409d08a8a85888b8b604051611f3196959493929190613644565b60405180910390a2505050505050505050565b6000806001605781915080905080925081935050509091565b6000611f698385612822565b9050611f73612c34565b611f7b6128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c8a8a6040518363ffffffff1660e01b8152600401611fb5929190613620565b604080518083038186803b158015611fcc57600080fd5b505afa158015611fe0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506120049190810190612e58565b82600001836040018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152508273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152505050600073ffffffffffffffffffffffffffffffffffffffff16816000015173ffffffffffffffffffffffffffffffffffffffff16141580156120e05750600073ffffffffffffffffffffffffffffffffffffffff16816040015173ffffffffffffffffffffffffffffffffffffffff1614155b61211f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612116906137ac565b60405180910390fd5b6121276128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c88886040518363ffffffff1660e01b8152600401612161929190613620565b604080518083038186803b15801561217857600080fd5b505afa15801561218c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506121b09190810190612e58565b82602001836060018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152508273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152505050600073ffffffffffffffffffffffffffffffffffffffff16816020015173ffffffffffffffffffffffffffffffffffffffff161415801561228c5750600073ffffffffffffffffffffffffffffffffffffffff16816060015173ffffffffffffffffffffffffffffffffffffffff1614155b6122cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016122c2906137ac565b60405180910390fd5b60008160400151905060006122de612bfc565b73ffffffffffffffffffffffffffffffffffffffff16635ec88c798d6040518263ffffffff1660e01b8152600401612316919061355a565b60606040518083038186803b15801561232e57600080fd5b505afa158015612342573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506123669190810190613082565b9250505060008114156123ae576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016123a59061374c565b60405180910390fd5b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83146123dc5782612468565b8073ffffffffffffffffffffffffffffffffffffffff166317bfdfbc8c6040518263ffffffff1660e01b8152600401612415919061355a565b602060405180830381600087803b15801561242f57600080fd5b505af1158015612443573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506124679190810190613059565b5b92506124726128e8565b73ffffffffffffffffffffffffffffffffffffffff16826000015173ffffffffffffffffffffffffffffffffffffffff16141561256757824710156124ec576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016124e39061384c565b60405180910390fd5b816040015173ffffffffffffffffffffffffffffffffffffffff1663aae40a2a848d85606001516040518463ffffffff1660e01b8152600401612530929190613575565b6000604051808303818588803b15801561254957600080fd5b505af115801561255d573d6000803e3d6000fd5b5050505050612783565b600082600001519050838173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016125aa919061355a565b60206040518083038186803b1580156125c257600080fd5b505afa1580156125d6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506125fa9190810190613059565b101561263b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612632906137ec565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1663095ea7b38460400151866040518363ffffffff1660e01b815260040161267a92919061359e565b600060405180830381600087803b15801561269457600080fd5b505af11580156126a8573d6000803e3d6000fd5b5050505060008273ffffffffffffffffffffffffffffffffffffffff1663f5e3c4628e8787606001516040518463ffffffff1660e01b81526004016126ef939291906135c7565b602060405180830381600087803b15801561270957600080fd5b505af115801561271d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506127419190810190613059565b14612781576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612778906137cc565b60405180910390fd5b505b61278d8484612954565b816020015173ffffffffffffffffffffffffffffffffffffffff16826000015173ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fa9455416d68b5a391e9d752873b8abc2667a996ce2b751cac634d7f36939f73586898960405161280d93929190613930565b60405180910390a45050505050505050505050565b60008083146128c257612833612c18565b73ffffffffffffffffffffffffffffffffffffffff1663a9c70eaa846040518263ffffffff1660e01b815260040161286b91906138ec565b602060405180830381600087803b15801561288557600080fd5b505af1158015612899573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506128bd9190810190613059565b6128c4565b815b905092915050565b600073a8f9d4aa7319c54c04404765117ddbf9448e2082905090565b600073eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee905090565b600082828403915081111561294e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016129459061372c565b60405180910390fd5b92915050565b600082146129d157612964612c18565b73ffffffffffffffffffffffffffffffffffffffff166361e3c94483836040518363ffffffff1660e01b815260040161299e929190613907565b600060405180830381600087803b1580156129b857600080fd5b505af11580156129cc573d6000803e3d6000fd5b505050505b5050565b60006129df612bfc565b905060608173ffffffffffffffffffffffffffffffffffffffff1663abfceffc306040518263ffffffff1660e01b8152600401612a1c919061355a565b60006040518083038186803b158015612a3457600080fd5b505afa158015612a48573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250612a719190810190612f57565b9050600080905060008090505b8251811015612ae0578473ffffffffffffffffffffffffffffffffffffffff16838281518110612aaa57fe5b602002602001015173ffffffffffffffffffffffffffffffffffffffff161415612ad357600191505b8080600101915050612a7e565b5080612bf65760606001604051908082528060200260200182016040528015612b185781602001602082028038833980820191505090505b5090508481600081518110612b2957fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250508373ffffffffffffffffffffffffffffffffffffffff1663c2998238826040518263ffffffff1660e01b8152600401612b9c91906135fe565b600060405180830381600087803b158015612bb657600080fd5b505af1158015612bca573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250612bf39190810190612f98565b50505b50505050565b6000733d9819210a31b4961b30ef54be2aed79b9c9cd3b905090565b6000738a5419cfc711b2343c17a6abf4b2bafabb06957f905090565b6040518060800160405280600073ffffffffffffffffffffffffffffffffffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff1681525090565b600081359050612cc381613ac8565b92915050565b600081519050612cd881613ac8565b92915050565b600082601f830112612cef57600080fd5b8151612d02612cfd82613994565b613967565b91508181835260208401935060208101905083856020840282011115612d2757600080fd5b60005b83811015612d575781612d3d8882612cc9565b845260208401935060208301925050600181019050612d2a565b5050505092915050565b600082601f830112612d7257600080fd5b8151612d85612d80826139bc565b613967565b91508181835260208401935060208101905083856020840282011115612daa57600080fd5b60005b83811015612dda5781612dc08882612e43565b845260208401935060208301925050600181019050612dad565b5050505092915050565b60008083601f840112612df657600080fd5b8235905067ffffffffffffffff811115612e0f57600080fd5b602083019150836001820283011115612e2757600080fd5b9250929050565b600081359050612e3d81613adf565b92915050565b600081519050612e5281613adf565b92915050565b60008060408385031215612e6b57600080fd5b6000612e7985828601612cc9565b9250506020612e8a85828601612cc9565b9150509250929050565b60008060008060008060008060c0898b031215612eb057600080fd5b6000612ebe8b828c01612cb4565b985050602089013567ffffffffffffffff811115612edb57600080fd5b612ee78b828c01612de4565b9750975050604089013567ffffffffffffffff811115612f0657600080fd5b612f128b828c01612de4565b95509550506060612f258b828c01612e2e565b9350506080612f368b828c01612e2e565b92505060a0612f478b828c01612e2e565b9150509295985092959890939650565b600060208284031215612f6957600080fd5b600082015167ffffffffffffffff811115612f8357600080fd5b612f8f84828501612cde565b91505092915050565b600060208284031215612faa57600080fd5b600082015167ffffffffffffffff811115612fc457600080fd5b612fd084828501612d61565b91505092915050565b600080600080600060808688031215612ff157600080fd5b600086013567ffffffffffffffff81111561300b57600080fd5b61301788828901612de4565b9550955050602061302a88828901612e2e565b935050604061303b88828901612e2e565b925050606061304c88828901612e2e565b9150509295509295909350565b60006020828403121561306b57600080fd5b600061307984828501612e43565b91505092915050565b60008060006060848603121561309757600080fd5b60006130a586828701612e43565b93505060206130b686828701612e43565b92505060406130c786828701612e43565b9150509250925092565b60006130dd83836130e9565b60208301905092915050565b6130f281613a39565b82525050565b61310181613a39565b82525050565b6000613112826139f4565b61311c8185613a17565b9350613127836139e4565b8060005b8381101561315857815161313f88826130d1565b975061314a83613a0a565b92505060018101905061312b565b5085935050505092915050565b60006131718385613a28565b935061317e838584613a75565b61318783613ab7565b840190509392505050565b600061319d826139ff565b6131a78185613a28565b93506131b7818560208601613a84565b6131c081613ab7565b840191505092915050565b60006131d8601583613a28565b91507f64732d6d6174682d7375622d756e646572666c6f7700000000000000000000006000830152602082019050919050565b6000613218601c83613a28565b91507f6163636f756e742d63616e6e6f742d62652d6c697175696461746564000000006000830152602082019050919050565b6000613258600e83613a28565b91507f6e6f742d656e6f7567682d6574680000000000000000000000000000000000006000830152602082019050919050565b6000613298600f83613a28565b91507f77697468647261772d6661696c656400000000000000000000000000000000006000830152602082019050919050565b60006132d8601883613a28565b91507f63746f6b656e206d617070696e67206e6f7420666f756e6400000000000000006000830152602082019050919050565b6000613318601083613a28565b91507f6c69717569646174652d6661696c6564000000000000000000000000000000006000830152602082019050919050565b6000613358601083613a28565b91507f6e6f742d656e6f7567682d746f6b656e000000000000000000000000000000006000830152602082019050919050565b6000613398601683613a28565b91507f6465706f7369742d63746f6b656e2d6661696c65642e000000000000000000006000830152602082019050919050565b60006133d8600d83613a28565b91507f626f72726f772d6661696c6564000000000000000000000000000000000000006000830152602082019050919050565b6000613418600f83613a28565b91507f6e6f742d656e6f756768742d65746800000000000000000000000000000000006000830152602082019050919050565b6000613458600d83613a28565b91507f72656465656d2d6661696c6564000000000000000000000000000000000000006000830152602082019050919050565b6000613498600d83613a28565b91507f72657061792d6661696c65642e000000000000000000000000000000000000006000830152602082019050919050565b60006134d8601483613a28565b91507f66756c6c2d77697468647261772d6661696c65640000000000000000000000006000830152602082019050919050565b6000613518600e83613a28565b91507f6465706f7369742d6661696c65640000000000000000000000000000000000006000830152602082019050919050565b61355481613a6b565b82525050565b600060208201905061356f60008301846130f8565b92915050565b600060408201905061358a60008301856130f8565b61359760208301846130f8565b9392505050565b60006040820190506135b360008301856130f8565b6135c0602083018461354b565b9392505050565b60006060820190506135dc60008301866130f8565b6135e9602083018561354b565b6135f660408301846130f8565b949350505050565b600060208201905081810360008301526136188184613107565b905092915050565b6000602082019050818103600083015261363b818486613165565b90509392505050565b600060a082019050818103600083015261365f81888a613165565b905061366e60208301876130f8565b61367b604083018661354b565b613688606083018561354b565b613695608083018461354b565b979650505050505050565b600060c08201905081810360008301526136bb81898b613165565b90506136ca60208301886130f8565b6136d7604083018761354b565b6136e4606083018661354b565b6136f1608083018561354b565b6136fe60a083018461354b565b98975050505050505050565b600060208201905081810360008301526137248184613192565b905092915050565b60006020820190508181036000830152613745816131cb565b9050919050565b600060208201905081810360008301526137658161320b565b9050919050565b600060208201905081810360008301526137858161324b565b9050919050565b600060208201905081810360008301526137a58161328b565b9050919050565b600060208201905081810360008301526137c5816132cb565b9050919050565b600060208201905081810360008301526137e58161330b565b9050919050565b600060208201905081810360008301526138058161334b565b9050919050565b600060208201905081810360008301526138258161338b565b9050919050565b60006020820190508181036000830152613845816133cb565b9050919050565b600060208201905081810360008301526138658161340b565b9050919050565b600060208201905081810360008301526138858161344b565b9050919050565b600060208201905081810360008301526138a58161348b565b9050919050565b600060208201905081810360008301526138c5816134cb565b9050919050565b600060208201905081810360008301526138e58161350b565b9050919050565b6000602082019050613901600083018461354b565b92915050565b600060408201905061391c600083018561354b565b613929602083018461354b565b9392505050565b6000606082019050613945600083018661354b565b613952602083018561354b565b61395f604083018461354b565b949350505050565b6000604051905081810181811067ffffffffffffffff8211171561398a57600080fd5b8060405250919050565b600067ffffffffffffffff8211156139ab57600080fd5b602082029050602081019050919050565b600067ffffffffffffffff8211156139d357600080fd5b602082029050602081019050919050565b6000819050602082019050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b6000613a4482613a4b565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b83811015613aa2578082015181840152602081019050613a87565b83811115613ab1576000848401525b50505050565b6000601f19601f8301169050919050565b613ad181613a39565b8114613adc57600080fd5b50565b613ae881613a6b565b8114613af357600080fd5b5056fea2646970667358221220d28fb4068cb2569b82e0a803f8a3ffd521e3638bfa3eb536521ff6484f873f7464736f6c63430006000033

0x6080604052600436106100865760003560e01c80637008dc75116100595780637008dc751461010a578063cdcb4b2914610126578063e3e28b5914610142578063eb15f7811461015e578063f8f505a91461018a57610086565b806306fdde031461008b5780634d9c6dee146100b657806350bb9a75146100d257806369cdf8f8146100ee575b600080fd5b34801561009757600080fd5b506100a06101a6565b6040516100ad919061370a565b60405180910390f35b6100d060048036036100cb9190810190612fd9565b610244565b005b6100ec60048036036100e79190810190612fd9565b610741565b005b61010860048036036101039190810190612fd9565b610bd1565b005b610124600480360361011f9190810190612fd9565b61118d565b005b610140600480360361013b9190810190612fd9565b611747565b005b61015c60048036036101579190810190612fd9565b6119d8565b005b34801561016a57600080fd5b50610173611f44565b604051610181929190613907565b60405180910390f35b6101a4600480360361019f9190810190612e94565b611f5d565b005b60008054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561023c5780601f106102115761010080835404028352916020019161023c565b820191906000526020600020905b81548152906001019060200180831161021f57829003601f168201915b505050505081565b60006102508385612822565b905060008061025d6128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c89896040518363ffffffff1660e01b8152600401610297929190613620565b604080518083038186803b1580156102ae57600080fd5b505afa1580156102c2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506102e69190810190612e58565b91509150600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156103545750600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b610393576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161038a906137ac565b60405180910390fd5b600081905060008390507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff85146103ca5784610454565b8173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610403919061355a565b60206040518083038186803b15801561041b57600080fd5b505afa15801561042f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506104539190810190613059565b5b94506000806104616128e8565b73ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff16141561049a5747610524565b8273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016104d3919061355a565b60206040518083038186803b1580156104eb57600080fd5b505afa1580156104ff573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506105239190810190613059565b5b905060008473ffffffffffffffffffffffffffffffffffffffff1663db006a75896040518263ffffffff1660e01b815260040161056191906138ec565b602060405180830381600087803b15801561057b57600080fd5b505af115801561058f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506105b39190810190613059565b146105f3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ea9061386c565b60405180910390fd5b60006105fd6128e8565b73ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff16141561063657476106c0565b8373ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161066f919061355a565b60206040518083038186803b15801561068757600080fd5b505afa15801561069b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506106bf9190810190613059565b5b90506106cc8183612904565b925050506106da8782612954565b8473ffffffffffffffffffffffffffffffffffffffff167fb3c7d2e27dc9881b93b46dba6b4886ade44da513507086c720e9bee7b3b1894e8c8c87858b8e8e60405161072c97969594939291906136a0565b60405180910390a25050505050505050505050565b600061074d8385612822565b905060008061075a6128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c89896040518363ffffffff1660e01b8152600401610794929190613620565b604080518083038186803b1580156107ab57600080fd5b505afa1580156107bf573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506107e39190810190612e58565b91509150600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156108515750600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b610890576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610887906137ac565b60405180910390fd5b610899816129d5565b6108a16128e8565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561096b577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83146109015782610903565b475b92508073ffffffffffffffffffffffffffffffffffffffff16631249c58b846040518263ffffffff1660e01b81526004016000604051808303818588803b15801561094d57600080fd5b505af1158015610961573d6000803e3d6000fd5b5050505050610b65565b60008290507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff841461099d5783610a27565b8073ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016109d6919061355a565b60206040518083038186803b1580156109ee57600080fd5b505afa158015610a02573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610a269190810190613059565b5b93508073ffffffffffffffffffffffffffffffffffffffff1663095ea7b383866040518363ffffffff1660e01b8152600401610a6492919061359e565b600060405180830381600087803b158015610a7e57600080fd5b505af1158015610a92573d6000803e3d6000fd5b5050505060008273ffffffffffffffffffffffffffffffffffffffff1663a0712d68866040518263ffffffff1660e01b8152600401610ad191906138ec565b602060405180830381600087803b158015610aeb57600080fd5b505af1158015610aff573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610b239190810190613059565b14610b63576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b5a906138cc565b60405180910390fd5b505b610b6f8484612954565b8173ffffffffffffffffffffffffffffffffffffffff167f9dd9d03d21be3b50397f6bcd4629ea514c0c1d8a1df079b3f35747f5097e53bf898984878a8a604051610bbf96959493929190613644565b60405180910390a25050505050505050565b6000610bdd8385612822565b9050600080610bea6128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c89896040518363ffffffff1660e01b8152600401610c24929190613620565b604080518083038186803b158015610c3b57600080fd5b505afa158015610c4f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610c739190810190612e58565b91509150600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614158015610ce15750600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b610d20576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d17906137ac565b60405180910390fd5b610d29816129d5565b600081905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610d69919061355a565b60206040518083038186803b158015610d8157600080fd5b505afa158015610d95573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610db99190810190613059565b9050610dc36128e8565b73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415610e8d577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8514610e235784610e25565b475b94508273ffffffffffffffffffffffffffffffffffffffff16631249c58b866040518263ffffffff1660e01b81526004016000604051808303818588803b158015610e6f57600080fd5b505af1158015610e83573d6000803e3d6000fd5b5050505050611087565b60008490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8614610ebf5785610f49565b8073ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610ef8919061355a565b60206040518083038186803b158015610f1057600080fd5b505afa158015610f24573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610f489190810190613059565b5b95508073ffffffffffffffffffffffffffffffffffffffff1663095ea7b385886040518363ffffffff1660e01b8152600401610f8692919061359e565b600060405180830381600087803b158015610fa057600080fd5b505af1158015610fb4573d6000803e3d6000fd5b5050505060008373ffffffffffffffffffffffffffffffffffffffff1663a0712d68886040518263ffffffff1660e01b8152600401610ff391906138ec565b602060405180830381600087803b15801561100d57600080fd5b505af1158015611021573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506110459190810190613059565b14611085576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161107c9061380c565b60405180910390fd5b505b60008273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016110c2919061355a565b60206040518083038186803b1580156110da57600080fd5b505afa1580156110ee573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506111129190810190613059565b9050600082820390506111258882612954565b8573ffffffffffffffffffffffffffffffffffffffff167fa304a3a14a571e9347f49b91d2f39a72180a09c76f4eb75a90ea0564b0ce55a78d8d888b868f8f60405161117797969594939291906136a0565b60405180910390a2505050505050505050505050565b60006111998385612822565b90506000806111a66128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c89896040518363ffffffff1660e01b81526004016111e0929190613620565b604080518083038186803b1580156111f757600080fd5b505afa15801561120b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061122f9190810190612e58565b91509150600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415801561129d5750600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b6112dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112d3906137ac565b60405180910390fd5b60008190507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84141561160c57600083905060006113186128e8565b73ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff16146113d8578173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401611383919061355a565b60206040518083038186803b15801561139b57600080fd5b505afa1580156113af573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506113d39190810190613059565b6113da565b475b905060008373ffffffffffffffffffffffffffffffffffffffff1663db006a758573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401611433919061355a565b60206040518083038186803b15801561144b57600080fd5b505afa15801561145f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506114839190810190613059565b6040518263ffffffff1660e01b815260040161149f91906138ec565b602060405180830381600087803b1580156114b957600080fd5b505af11580156114cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506114f19190810190613059565b14611531576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611528906138ac565b60405180910390fd5b600061153b6128e8565b73ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff16146115fb578273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016115a6919061355a565b60206040518083038186803b1580156115be57600080fd5b505afa1580156115d2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506115f69190810190613059565b6115fd565b475b905081810396505050506116da565b60008173ffffffffffffffffffffffffffffffffffffffff1663852a12e3866040518263ffffffff1660e01b815260040161164791906138ec565b602060405180830381600087803b15801561166157600080fd5b505af1158015611675573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506116999190810190613059565b146116d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116d09061378c565b60405180910390fd5b5b6116e48585612954565b8273ffffffffffffffffffffffffffffffffffffffff167f81180057f5cb7cab9f6bc8ff9c47508d62f678eae7da72e99138c9488ff6bc438a8a85888b8b60405161173496959493929190613644565b60405180910390a2505050505050505050565b60006117538385612822565b90506000806117606128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c89896040518363ffffffff1660e01b815260040161179a929190613620565b604080518083038186803b1580156117b157600080fd5b505afa1580156117c5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506117e99190810190612e58565b91509150600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156118575750600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b611896576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161188d906137ac565b60405180910390fd5b61189f816129d5565b60008173ffffffffffffffffffffffffffffffffffffffff1663c5ebeaec856040518263ffffffff1660e01b81526004016118da91906138ec565b602060405180830381600087803b1580156118f457600080fd5b505af1158015611908573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061192c9190810190613059565b1461196c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119639061382c565b60405180910390fd5b6119768484612954565b8173ffffffffffffffffffffffffffffffffffffffff167fecd875f6c620fb3ee85598348e07d856924184323ebe15608d33d3804c5bf64a898984878a8a6040516119c696959493929190613644565b60405180910390a25050505050505050565b60006119e48385612822565b90506000806119f16128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c89896040518363ffffffff1660e01b8152600401611a2b929190613620565b604080518083038186803b158015611a4257600080fd5b505afa158015611a56573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611a7a9190810190612e58565b91509150600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614158015611ae85750600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b611b27576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b1e906137ac565b60405180910390fd5b60008190507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8414611b595783611be5565b8073ffffffffffffffffffffffffffffffffffffffff166317bfdfbc306040518263ffffffff1660e01b8152600401611b92919061355a565b602060405180830381600087803b158015611bac57600080fd5b505af1158015611bc0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611be49190810190613059565b5b9350611bef6128e8565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611ccb5783471015611c65576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611c5c9061376c565b60405180910390fd5b8173ffffffffffffffffffffffffffffffffffffffff16634e4d9fea856040518263ffffffff1660e01b81526004016000604051808303818588803b158015611cad57600080fd5b505af1158015611cc1573d6000803e3d6000fd5b5050505050611ed7565b6000839050848173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401611d0a919061355a565b60206040518083038186803b158015611d2257600080fd5b505afa158015611d36573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611d5a9190810190613059565b1015611d9b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d92906137ec565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1663095ea7b384876040518363ffffffff1660e01b8152600401611dd692919061359e565b600060405180830381600087803b158015611df057600080fd5b505af1158015611e04573d6000803e3d6000fd5b5050505060008273ffffffffffffffffffffffffffffffffffffffff16630e752702876040518263ffffffff1660e01b8152600401611e4391906138ec565b602060405180830381600087803b158015611e5d57600080fd5b505af1158015611e71573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611e959190810190613059565b14611ed5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ecc9061388c565b60405180910390fd5b505b611ee18585612954565b8273ffffffffffffffffffffffffffffffffffffffff167f8f4cba6426ed0dd541a2a8de02a4d634888e32c7bd0c5c7ba78fcc78797409d08a8a85888b8b604051611f3196959493929190613644565b60405180910390a2505050505050505050565b6000806001605781915080905080925081935050509091565b6000611f698385612822565b9050611f73612c34565b611f7b6128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c8a8a6040518363ffffffff1660e01b8152600401611fb5929190613620565b604080518083038186803b158015611fcc57600080fd5b505afa158015611fe0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506120049190810190612e58565b82600001836040018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152508273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152505050600073ffffffffffffffffffffffffffffffffffffffff16816000015173ffffffffffffffffffffffffffffffffffffffff16141580156120e05750600073ffffffffffffffffffffffffffffffffffffffff16816040015173ffffffffffffffffffffffffffffffffffffffff1614155b61211f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612116906137ac565b60405180910390fd5b6121276128cc565b73ffffffffffffffffffffffffffffffffffffffff166311f45e9c88886040518363ffffffff1660e01b8152600401612161929190613620565b604080518083038186803b15801561217857600080fd5b505afa15801561218c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506121b09190810190612e58565b82602001836060018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152508273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152505050600073ffffffffffffffffffffffffffffffffffffffff16816020015173ffffffffffffffffffffffffffffffffffffffff161415801561228c5750600073ffffffffffffffffffffffffffffffffffffffff16816060015173ffffffffffffffffffffffffffffffffffffffff1614155b6122cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016122c2906137ac565b60405180910390fd5b60008160400151905060006122de612bfc565b73ffffffffffffffffffffffffffffffffffffffff16635ec88c798d6040518263ffffffff1660e01b8152600401612316919061355a565b60606040518083038186803b15801561232e57600080fd5b505afa158015612342573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506123669190810190613082565b9250505060008114156123ae576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016123a59061374c565b60405180910390fd5b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83146123dc5782612468565b8073ffffffffffffffffffffffffffffffffffffffff166317bfdfbc8c6040518263ffffffff1660e01b8152600401612415919061355a565b602060405180830381600087803b15801561242f57600080fd5b505af1158015612443573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506124679190810190613059565b5b92506124726128e8565b73ffffffffffffffffffffffffffffffffffffffff16826000015173ffffffffffffffffffffffffffffffffffffffff16141561256757824710156124ec576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016124e39061384c565b60405180910390fd5b816040015173ffffffffffffffffffffffffffffffffffffffff1663aae40a2a848d85606001516040518463ffffffff1660e01b8152600401612530929190613575565b6000604051808303818588803b15801561254957600080fd5b505af115801561255d573d6000803e3d6000fd5b5050505050612783565b600082600001519050838173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016125aa919061355a565b60206040518083038186803b1580156125c257600080fd5b505afa1580156125d6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506125fa9190810190613059565b101561263b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612632906137ec565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1663095ea7b38460400151866040518363ffffffff1660e01b815260040161267a92919061359e565b600060405180830381600087803b15801561269457600080fd5b505af11580156126a8573d6000803e3d6000fd5b5050505060008273ffffffffffffffffffffffffffffffffffffffff1663f5e3c4628e8787606001516040518463ffffffff1660e01b81526004016126ef939291906135c7565b602060405180830381600087803b15801561270957600080fd5b505af115801561271d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506127419190810190613059565b14612781576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612778906137cc565b60405180910390fd5b505b61278d8484612954565b816020015173ffffffffffffffffffffffffffffffffffffffff16826000015173ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fa9455416d68b5a391e9d752873b8abc2667a996ce2b751cac634d7f36939f73586898960405161280d93929190613930565b60405180910390a45050505050505050505050565b60008083146128c257612833612c18565b73ffffffffffffffffffffffffffffffffffffffff1663a9c70eaa846040518263ffffffff1660e01b815260040161286b91906138ec565b602060405180830381600087803b15801561288557600080fd5b505af1158015612899573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506128bd9190810190613059565b6128c4565b815b905092915050565b600073a8f9d4aa7319c54c04404765117ddbf9448e2082905090565b600073eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee905090565b600082828403915081111561294e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016129459061372c565b60405180910390fd5b92915050565b600082146129d157612964612c18565b73ffffffffffffffffffffffffffffffffffffffff166361e3c94483836040518363ffffffff1660e01b815260040161299e929190613907565b600060405180830381600087803b1580156129b857600080fd5b505af11580156129cc573d6000803e3d6000fd5b505050505b5050565b60006129df612bfc565b905060608173ffffffffffffffffffffffffffffffffffffffff1663abfceffc306040518263ffffffff1660e01b8152600401612a1c919061355a565b60006040518083038186803b158015612a3457600080fd5b505afa158015612a48573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250612a719190810190612f57565b9050600080905060008090505b8251811015612ae0578473ffffffffffffffffffffffffffffffffffffffff16838281518110612aaa57fe5b602002602001015173ffffffffffffffffffffffffffffffffffffffff161415612ad357600191505b8080600101915050612a7e565b5080612bf65760606001604051908082528060200260200182016040528015612b185781602001602082028038833980820191505090505b5090508481600081518110612b2957fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250508373ffffffffffffffffffffffffffffffffffffffff1663c2998238826040518263ffffffff1660e01b8152600401612b9c91906135fe565b600060405180830381600087803b158015612bb657600080fd5b505af1158015612bca573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250612bf39190810190612f98565b50505b50505050565b6000733d9819210a31b4961b30ef54be2aed79b9c9cd3b905090565b6000738a5419cfc711b2343c17a6abf4b2bafabb06957f905090565b6040518060800160405280600073ffffffffffffffffffffffffffffffffffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff1681525090565b600081359050612cc381613ac8565b92915050565b600081519050612cd881613ac8565b92915050565b600082601f830112612cef57600080fd5b8151612d02612cfd82613994565b613967565b91508181835260208401935060208101905083856020840282011115612d2757600080fd5b60005b83811015612d575781612d3d8882612cc9565b845260208401935060208301925050600181019050612d2a565b5050505092915050565b600082601f830112612d7257600080fd5b8151612d85612d80826139bc565b613967565b91508181835260208401935060208101905083856020840282011115612daa57600080fd5b60005b83811015612dda5781612dc08882612e43565b845260208401935060208301925050600181019050612dad565b5050505092915050565b60008083601f840112612df657600080fd5b8235905067ffffffffffffffff811115612e0f57600080fd5b602083019150836001820283011115612e2757600080fd5b9250929050565b600081359050612e3d81613adf565b92915050565b600081519050612e5281613adf565b92915050565b60008060408385031215612e6b57600080fd5b6000612e7985828601612cc9565b9250506020612e8a85828601612cc9565b9150509250929050565b60008060008060008060008060c0898b031215612eb057600080fd5b6000612ebe8b828c01612cb4565b985050602089013567ffffffffffffffff811115612edb57600080fd5b612ee78b828c01612de4565b9750975050604089013567ffffffffffffffff811115612f0657600080fd5b612f128b828c01612de4565b95509550506060612f258b828c01612e2e565b9350506080612f368b828c01612e2e565b92505060a0612f478b828c01612e2e565b9150509295985092959890939650565b600060208284031215612f6957600080fd5b600082015167ffffffffffffffff811115612f8357600080fd5b612f8f84828501612cde565b91505092915050565b600060208284031215612faa57600080fd5b600082015167ffffffffffffffff811115612fc457600080fd5b612fd084828501612d61565b91505092915050565b600080600080600060808688031215612ff157600080fd5b600086013567ffffffffffffffff81111561300b57600080fd5b61301788828901612de4565b9550955050602061302a88828901612e2e565b935050604061303b88828901612e2e565b925050606061304c88828901612e2e565b9150509295509295909350565b60006020828403121561306b57600080fd5b600061307984828501612e43565b91505092915050565b60008060006060848603121561309757600080fd5b60006130a586828701612e43565b93505060206130b686828701612e43565b92505060406130c786828701612e43565b9150509250925092565b60006130dd83836130e9565b60208301905092915050565b6130f281613a39565b82525050565b61310181613a39565b82525050565b6000613112826139f4565b61311c8185613a17565b9350613127836139e4565b8060005b8381101561315857815161313f88826130d1565b975061314a83613a0a565b92505060018101905061312b565b5085935050505092915050565b60006131718385613a28565b935061317e838584613a75565b61318783613ab7565b840190509392505050565b600061319d826139ff565b6131a78185613a28565b93506131b7818560208601613a84565b6131c081613ab7565b840191505092915050565b60006131d8601583613a28565b91507f64732d6d6174682d7375622d756e646572666c6f7700000000000000000000006000830152602082019050919050565b6000613218601c83613a28565b91507f6163636f756e742d63616e6e6f742d62652d6c697175696461746564000000006000830152602082019050919050565b6000613258600e83613a28565b91507f6e6f742d656e6f7567682d6574680000000000000000000000000000000000006000830152602082019050919050565b6000613298600f83613a28565b91507f77697468647261772d6661696c656400000000000000000000000000000000006000830152602082019050919050565b60006132d8601883613a28565b91507f63746f6b656e206d617070696e67206e6f7420666f756e6400000000000000006000830152602082019050919050565b6000613318601083613a28565b91507f6c69717569646174652d6661696c6564000000000000000000000000000000006000830152602082019050919050565b6000613358601083613a28565b91507f6e6f742d656e6f7567682d746f6b656e000000000000000000000000000000006000830152602082019050919050565b6000613398601683613a28565b91507f6465706f7369742d63746f6b656e2d6661696c65642e000000000000000000006000830152602082019050919050565b60006133d8600d83613a28565b91507f626f72726f772d6661696c6564000000000000000000000000000000000000006000830152602082019050919050565b6000613418600f83613a28565b91507f6e6f742d656e6f756768742d65746800000000000000000000000000000000006000830152602082019050919050565b6000613458600d83613a28565b91507f72656465656d2d6661696c6564000000000000000000000000000000000000006000830152602082019050919050565b6000613498600d83613a28565b91507f72657061792d6661696c65642e000000000000000000000000000000000000006000830152602082019050919050565b60006134d8601483613a28565b91507f66756c6c2d77697468647261772d6661696c65640000000000000000000000006000830152602082019050919050565b6000613518600e83613a28565b91507f6465706f7369742d6661696c65640000000000000000000000000000000000006000830152602082019050919050565b61355481613a6b565b82525050565b600060208201905061356f60008301846130f8565b92915050565b600060408201905061358a60008301856130f8565b61359760208301846130f8565b9392505050565b60006040820190506135b360008301856130f8565b6135c0602083018461354b565b9392505050565b60006060820190506135dc60008301866130f8565b6135e9602083018561354b565b6135f660408301846130f8565b949350505050565b600060208201905081810360008301526136188184613107565b905092915050565b6000602082019050818103600083015261363b818486613165565b90509392505050565b600060a082019050818103600083015261365f81888a613165565b905061366e60208301876130f8565b61367b604083018661354b565b613688606083018561354b565b613695608083018461354b565b979650505050505050565b600060c08201905081810360008301526136bb81898b613165565b90506136ca60208301886130f8565b6136d7604083018761354b565b6136e4606083018661354b565b6136f1608083018561354b565b6136fe60a083018461354b565b98975050505050505050565b600060208201905081810360008301526137248184613192565b905092915050565b60006020820190508181036000830152613745816131cb565b9050919050565b600060208201905081810360008301526137658161320b565b9050919050565b600060208201905081810360008301526137858161324b565b9050919050565b600060208201905081810360008301526137a58161328b565b9050919050565b600060208201905081810360008301526137c5816132cb565b9050919050565b600060208201905081810360008301526137e58161330b565b9050919050565b600060208201905081810360008301526138058161334b565b9050919050565b600060208201905081810360008301526138258161338b565b9050919050565b60006020820190508181036000830152613845816133cb565b9050919050565b600060208201905081810360008301526138658161340b565b9050919050565b600060208201905081810360008301526138858161344b565b9050919050565b600060208201905081810360008301526138a58161348b565b9050919050565b600060208201905081810360008301526138c5816134cb565b9050919050565b600060208201905081810360008301526138e58161350b565b9050919050565b6000602082019050613901600083018461354b565b92915050565b600060408201905061391c600083018561354b565b613929602083018461354b565b9392505050565b6000606082019050613945600083018661354b565b613952602083018561354b565b61395f604083018461354b565b949350505050565b6000604051905081810181811067ffffffffffffffff8211171561398a57600080fd5b8060405250919050565b600067ffffffffffffffff8211156139ab57600080fd5b602082029050602081019050919050565b600067ffffffffffffffff8211156139d357600080fd5b602082029050602081019050919050565b6000819050602082019050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b6000613a4482613a4b565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b83811015613aa2578082015181840152602081019050613a87565b83811115613ab1576000848401525b50505050565b6000601f19601f8301169050919050565b613ad181613a39565b8114613adc57600080fd5b50565b613ae881613a6b565b8114613af357600080fd5b5056fea2646970667358221220d28fb4068cb2569b82e0a803f8a3ffd521e3638bfa3eb536521ff6484f873f7464736f6c63430006000033

17519:89:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17568:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17568:36:0;;;:::i;:::-;;;;;;;;;;;;;;;;13962:1125;;;;;;;;;;;;;;;;:::i;:::-;;6417:941;;;;;;;;;;;;;;;;:::i;:::-;;12374:1212;;;;;;;;;;;;;;;;:::i;:::-;;7694:1116;;;;;;;;;;;;;;;;:::i;:::-;;9140:540;;;;;;;;;;;;;;;;:::i;:::-;;10023:1085;;;;;;;;;;;;;;;;:::i;:::-;;4113:106;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4113:106:0;;;:::i;:::-;;;;;;;;;;;;;;;;;15586:1924;;;;;;;;;;;;;;;;:::i;:::-;;17568:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;13962:1125::-;14079:10;14092:25;14100:5;14107:9;14092:7;:25::i;:::-;14079:38;;14129:13;14144:14;14177:16;:14;:16::i;:::-;14162:43;;;14206:7;;14162:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14162:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14162:52: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;14162:52:0;;;;;;;;;14128:86;;;;14250:1;14233:19;;:5;:19;;;;:43;;;;;14274:1;14256:20;;:6;:20;;;;14233:43;14225:80;;;;;;;;;;;;;;;;;;;;;;14316:30;14365:6;14316:56;;14383:28;14429:5;14383:52;;14468:2;14454:5;:17;:67;;14516:5;14454:67;;;14474:14;:24;;;14507:4;14474:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14474:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14474:39: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;14474:39:0;;;;;;;;;14454:67;14446:75;;14534:16;14578:15;14605;:13;:15::i;:::-;14596:24;;:5;:24;;;;:89;;14664:21;14596:89;;;14623:13;:23;;;14655:4;14623:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14623:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14623:38: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;14623:38:0;;;;;;;;;14596:89;14578:107;;14740:1;14708:14;:21;;;14730:5;14708:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14708:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14708:28: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;14708:28:0;;;;;;;;;:33;14700:59;;;;;;;;;;;;;;;;;;;;;;14774:13;14799:15;:13;:15::i;:::-;14790:24;;:5;:24;;;;:89;;14858:21;14790:89;;;14817:13;:23;;;14849:4;14817:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14817:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14817:38: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;14817:38:0;;;;;;;;;14790:89;14774:105;;14910:25;14914:8;14924:10;14910:3;:25::i;:::-;14896:39;;13962:1125;;14959:27;14967:5;14974:11;14959:7;:27::i;:::-;15022:5;15004:75;;;15029:7;;15038:6;15046:11;15059:5;15066;15073;15004:75;;;;;;;;;;;;;;;;;;;;;13962:1125;;;;;;;;;;;:::o;6417:941::-;6520:9;6532:19;6540:5;6547:3;6532:7;:19::i;:::-;6520:31;;6563:13;6578:14;6611:16;:14;:16::i;:::-;6596:43;;;6640:7;;6596:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6596:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6596:52: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;6596:52:0;;;;;;;;;6562:86;;;;6684:1;6667:19;;:5;:19;;;;:43;;;;;6708:1;6690:20;;:6;:20;;;;6667:43;6659:80;;;;;;;;;;;;;;;;;;;;;;6750:19;6762:6;6750:11;:19::i;:::-;6793:15;:13;:15::i;:::-;6784:24;;:5;:24;;;6780:468;;;6845:2;6832:4;:16;:47;;6875:4;6832:47;;;6851:21;6832:47;6825:54;;6908:6;6894:26;;;6927:4;6894:40;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6894:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6894:40:0;;;;;6780:468;;;6967:28;7013:5;6967:52;;7054:2;7041:4;:16;:64;;7101:4;7041:64;;;7060:13;:23;;;7092:4;7060:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7060:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7060:38: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;7060:38:0;;;;;;;;;7041:64;7034:71;;7120:13;:21;;;7142:6;7150:4;7120:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7120:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7120:35:0;;;;7216:1;7194:6;7178:28;;;7207:4;7178:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7178:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7178: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;7178:34:0;;;;;;;;;:39;7170:66;;;;;;;;;;;;;;;;;;;;;;6780:468;;7258:20;7266:5;7273:4;7258:7;:20::i;:::-;7307:5;7296:54;;;7314:7;;7323:6;7331:4;7337:5;7344;7296:54;;;;;;;;;;;;;;;;;;;;6417:941;;;;;;;;:::o;12374:1212::-;12483:9;12495:19;12503:5;12510:3;12495:7;:19::i;:::-;12483:31;;12526:13;12541:14;12574:16;:14;:16::i;:::-;12559:43;;;12603:7;;12559:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12559:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12559:52: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;12559:52:0;;;;;;;;;12525:86;;;;12647:1;12630:19;;:5;:19;;;;:43;;;;;12671:1;12653:20;;:6;:20;;;;12630:43;12622:80;;;;;;;;;;;;;;;;;;;;;;12713:19;12725:6;12713:11;:19::i;:::-;12745:30;12794:6;12745:56;;12812:15;12830:14;:24;;;12863:4;12830:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12830:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12830:39: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;12830:39:0;;;;;;;;;12812:57;;12895:15;:13;:15::i;:::-;12886:24;;:5;:24;;;12882:467;;;12947:2;12934:4;:16;:47;;12977:4;12934:47;;;12953:21;12934:47;12927:54;;13010:6;12996:26;;;13029:4;12996:40;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12996:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12996:40:0;;;;;12882:467;;;13069:28;13115:5;13069:52;;13156:2;13143:4;:16;:64;;13203:4;13143:64;;;13162:13;:23;;;13194:4;13162:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13162:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13162:38: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;13162:38:0;;;;;;;;;13143:64;13136:71;;13222:13;:21;;;13244:6;13252:4;13222:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13222:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13222:35:0;;;;13309:1;13280:14;:19;;;13300:4;13280:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13280:25:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13280:25: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;13280:25:0;;;;;;;;;:30;13272:65;;;;;;;;;;;;;;;;;;;;;;12882:467;;13361:13;13377:14;:24;;;13410:4;13377:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13377:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13377:39: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;13377:39:0;;;;;;;;;13361:55;;13427:10;13451;13440:8;:21;13427:34;;13472:21;13480:5;13487;13472:7;:21::i;:::-;13528:5;13511:67;;;13535:7;;13544:6;13552:4;13558:5;13565;13572;13511:67;;;;;;;;;;;;;;;;;;;;;12374:1212;;;;;;;;;;;;:::o;7694:1116::-;7798:9;7810:19;7818:5;7825:3;7810:7;:19::i;:::-;7798:31;;7841:13;7856:14;7889:16;:14;:16::i;:::-;7874:43;;;7918:7;;7874:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7874:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7874:52: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;7874:52:0;;;;;;;;;7840:86;;;;7962:1;7945:19;;:5;:19;;;;:43;;;;;7986:1;7968:20;;:6;:20;;;;7945:43;7937:80;;;;;;;;;;;;;;;;;;;;;;8028:30;8077:6;8028:56;;8112:2;8099:4;:16;8095:604;;;8132:28;8178:5;8132:52;;8199:15;8226;:13;:15::i;:::-;8217:24;;:5;:24;;;:89;;8268:13;:23;;;8300:4;8268:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8268:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8268:38: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;8268:38:0;;;;;;;;;8217:89;;;8244:21;8217:89;8199:107;;8395:1;8329:14;:21;;;8351:14;:24;;;8384:4;8351:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8351:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8351:39: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;8351:39:0;;;;;;;;;8329:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8329:62:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8329:62: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;8329:62:0;;;;;;;;;:67;8321:100;;;;;;;;;;;;;;;;;;;;;;8436:13;8461:15;:13;:15::i;:::-;8452:24;;:5;:24;;;:89;;8503:13;:23;;;8535:4;8503:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8503:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8503:38: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;8503:38:0;;;;;;;;;8452:89;;;8479:21;8452:89;8436:105;;8574:10;8563:8;:21;8556:28;;8095:604;;;;;;8666:1;8625:14;:31;;;8657:4;8625:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8625:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8625:37: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;8625:37:0;;;;;;;;;:42;8617:70;;;;;;;;;;;;;;;;;;;;;;8095:604;8709:20;8717:5;8724:4;8709:7;:20::i;:::-;8759:5;8747:55;;;8766:7;;8775:6;8783:4;8789:5;8796;8747:55;;;;;;;;;;;;;;;;;;;;7694:1116;;;;;;;;;:::o;9140:540::-;9243:9;9255:19;9263:5;9270:3;9255:7;:19::i;:::-;9243:31;;9286:13;9301:14;9334:16;:14;:16::i;:::-;9319:43;;;9363:7;;9319:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9319:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9319:52: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;9319:52:0;;;;;;;;;9285:86;;;;9407:1;9390:19;;:5;:19;;;;:43;;;;;9431:1;9413:20;;:6;:20;;;;9390:43;9382:80;;;;;;;;;;;;;;;;;;;;;;9473:19;9485:6;9473:11;:19::i;:::-;9551:1;9527:6;9511:30;;;9542:4;9511:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9511:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9511:36: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;9511:36:0;;;;;;;;;:41;9503:67;;;;;;;;;;;;;;;;;;;;;;9581:20;9589:5;9596:4;9581:7;:20::i;:::-;9629:5;9619:53;;;9636:7;;9645:6;9653:4;9659:5;9666;9619:53;;;;;;;;;;;;;;;;;;;;9140:540;;;;;;;;:::o;10023:1085::-;10127:9;10139:19;10147:5;10154:3;10139:7;:19::i;:::-;10127:31;;10170:13;10185:14;10218:16;:14;:16::i;:::-;10203:43;;;10247:7;;10203:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10203:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10203:52: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;10203:52:0;;;;;;;;;10169:86;;;;10291:1;10274:19;;:5;:19;;;;:43;;;;;10315:1;10297:20;;:6;:20;;;;10274:43;10266:80;;;;;;;;;;;;;;;;;;;;;;10357:30;10406:6;10357:56;;10444:2;10431:4;:16;:76;;10503:4;10431:76;;;10450:14;:35;;;10494:4;10450:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10450:50:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10450:50: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;10450:50:0;;;;;;;;;10431:76;10424:83;;10533:15;:13;:15::i;:::-;10524:24;;:5;:24;;;10520:478;;;10598:4;10573:21;:29;;10565:56;;;;;;;;;;;;;;;;;;;;;;10650:6;10636:33;;;10676:4;10636:47;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10636:47:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10636:47:0;;;;;10520:478;;;10716:28;10762:5;10716:52;;10833:4;10791:13;:23;;;10823:4;10791:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10791:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10791:38: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;10791:38:0;;;;;;;;;:46;;10783:75;;;;;;;;;;;;;;;;;;;;;;10873:13;:21;;;10895:6;10903:4;10873:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10873:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10873:35:0;;;;10967:1;10931:14;:26;;;10958:4;10931:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10931:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10931:32: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;10931:32:0;;;;;;;;;:37;10923:63;;;;;;;;;;;;;;;;;;;;;;10520:478;;11008:20;11016:5;11023:4;11008:7;:20::i;:::-;11057:5;11046:54;;;11064:7;;11073:6;11081:4;11087:5;11094;11046:54;;;;;;;;;;;;;;;;;;;;10023:1085;;;;;;;;;:::o;4113:106::-;4156:10;4168:8;4205:1;4208:2;4189:22;;;;;;;;;;;;;;4113:106;;:::o;15586:1924::-;15814:9;15826:19;15834:5;15841:3;15826:7;:19::i;:::-;15814:31;;15858:25;;:::i;:::-;15947:16;:14;:16::i;:::-;15932:43;;;15976:12;;15932:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15932:57:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15932:57: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;15932:57:0;;;;;;;;;15897:4;:15;;15914:4;:14;;15896:93;;;;;;;;;;;;;;;;;;16035:1;16008:29;;:4;:15;;;:29;;;;:61;;;;;16067:1;16041:28;;:4;:14;;;:28;;;;16008:61;16000:98;;;;;;;;;;;;;;;;;;;;;;16164:16;:14;:16::i;:::-;16149:43;;;16193:15;;16149:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16149:60:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16149:60: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;16149:60:0;;;;;;;;;16110:4;:18;;16130:4;:15;;16109:100;;;;;;;;;;;;;;;;;;16258:1;16228:32;;:4;:18;;;:32;;;;:65;;;;;16291:1;16264:29;;:4;:15;;;:29;;;;16228:65;16220:102;;;;;;;;;;;;;;;;;;;;;;16333:30;16382:4;:14;;;16333:64;;16429:13;16467:23;:21;:23::i;:::-;16446:65;;;16512:8;16446:75;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16446:75:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16446:75: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;16446:75:0;;;;;;;;;16425:96;;;;16556:1;16544:8;:13;;16536:54;;;;;;;;;;;;;;;;;;;;;;15586:1924;16634:2;16621:4;:16;:71;;16688:4;16621:71;;;16640:14;:35;;;16676:8;16640:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16640:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16640:45: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;16640:45:0;;;;;;;;;16621:71;16614:78;;16726:15;:13;:15::i;:::-;16707:34;;:4;:15;;;:34;;;16703:578;;;16791:4;16766:21;:29;;16758:57;;;;;;;;;;;;;;;;;;;;;;16844:4;:14;;;16830:45;;;16882:4;16888:8;16898:4;:15;;;16830:84;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16830:84:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16830:84:0;;;;;16703:578;;;16947:28;16993:4;:15;;;16947:62;;17074:4;17032:13;:23;;;17064:4;17032:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17032:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17032:38: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;17032:38:0;;;;;;;;;:46;;17024:75;;;;;;;;;;;;;;;;;;;;;;17114:13;:21;;;17136:4;:14;;;17152:4;17114:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17114:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17114:43:0;;;;17247:1;17180:14;:30;;;17211:8;17221:4;17227;:15;;;17180:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17180:63:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17180:63: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;17180:63:0;;;;;;;;;:68;17172:97;;;;;;;;;;;;;;;;;;;;;;16703:578;;17291:20;17299:5;17306:4;17291:7;:20::i;:::-;17414:4;:18;;;17329:173;;17384:4;:15;;;17329:173;;17364:4;17329:173;;;17447:4;17466:5;17486;17329:173;;;;;;;;;;;;;;;;;15586:1924;;;;;;;;;;;:::o;3674:170::-;3731:14;3779:1;3770:5;:10;:66;;3805:15;:13;:15::i;:::-;3789:40;;;3830:5;3789:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3789:47:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3789:47: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;3789:47:0;;;;;;;;;3770:66;;;3783:3;3770:66;3758:78;;3674:170;;;;:::o;4742:150::-;4791:7;4818:42;4811:49;;4742:150;:::o;3006:140::-;3054:7;3081:42;3074:49;;3006:140;:::o;2777:129::-;2829:6;2871:1;2865;2861;:5;2857:9;;;2856:16;;2848:50;;;;;;;;;;;;;;;;;;;;;;2777:129;;;;:::o;3922:135::-;3994:1;3985:5;:10;3981:68;;4013:15;:13;:15::i;:::-;3997:40;;;4038:5;4045:3;3997:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3997:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3997:52:0;;;;3981:68;3922:135;;:::o;4953:575::-;5010:28;5062:23;:21;:23::i;:::-;5010:76;;5097:24;5124:7;:19;;;5152:4;5124:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5124:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5124:34:0;;;;;;39:16:-1;36:1;17:17;2:54;5124: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;5124:34:0;;;;;;;;;5097:61;;5169:14;5186:5;5169:22;;5207:6;5216:1;5207:10;;5202:145;5223:7;:14;5219:1;:18;5202:145;;;5277:6;5263:20;;:7;5271:1;5263:10;;;;;;;;;;;;;;:20;;;5259:77;;;5316:4;5304:16;;5259:77;5239:3;;;;;;;5202:145;;;;5362:9;5357:164;;5388:24;5429:1;5415: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;5415:16:0;;;;5388:43;;5459:6;5446:7;5454:1;5446:10;;;;;;;;;;;;;:19;;;;;;;;;;;5480:7;:20;;;5501:7;5480:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5480:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5480:29:0;;;;;;39:16:-1;36:1;17:17;2:54;5480: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;5480:29:0;;;;;;;;;;5357:164;;4953:575;;;;:::o;4338:133::-;4394:7;4421:42;4414:49;;4338:133;:::o;3216:148::-;3264:7;3291:42;3284:49;;3216:148;:::o;17519:89::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5:130:-1:-;;85:6;72:20;63:29;;97:33;124:5;97:33;;;57:78;;;;;142:134;;226:6;220:13;211:22;;238:33;265:5;238:33;;;205:71;;;;;301:722;;429:3;422:4;414:6;410:17;406:27;396:2;;447:1;444;437:12;396:2;477:6;471:13;499:80;514:64;571:6;514:64;;;499:80;;;490:89;;596:5;621:6;614:5;607:21;651:4;643:6;639:17;629:27;;673:4;668:3;664:14;657:21;;726:6;773:3;765:4;757:6;753:17;748:3;744:27;741:36;738:2;;;790:1;787;780:12;738:2;815:1;800:217;825:6;822:1;819:13;800:217;;;883:3;905:48;949:3;937:10;905:48;;;900:3;893:61;977:4;972:3;968:14;961:21;;1005:4;1000:3;996:14;989:21;;857:160;847:1;844;840:9;835:14;;800:217;;;804:14;389:634;;;;;;;;1049:722;;1177:3;1170:4;1162:6;1158:17;1154:27;1144:2;;1195:1;1192;1185:12;1144:2;1225:6;1219:13;1247:80;1262:64;1319:6;1262:64;;;1247:80;;;1238:89;;1344:5;1369:6;1362:5;1355:21;1399:4;1391:6;1387:17;1377:27;;1421:4;1416:3;1412:14;1405:21;;1474:6;1521:3;1513:4;1505:6;1501:17;1496:3;1492:27;1489:36;1486:2;;;1538:1;1535;1528:12;1486:2;1563:1;1548:217;1573:6;1570:1;1567:13;1548:217;;;1631:3;1653:48;1697:3;1685:10;1653:48;;;1648:3;1641:61;1725:4;1720:3;1716:14;1709:21;;1753:4;1748:3;1744:14;1737:21;;1605:160;1595:1;1592;1588:9;1583:14;;1548:217;;;1552:14;1137:634;;;;;;;;1794:337;;;1909:3;1902:4;1894:6;1890:17;1886:27;1876:2;;1927:1;1924;1917:12;1876:2;1960:6;1947:20;1937:30;;1987:18;1979:6;1976:30;1973:2;;;2019:1;2016;2009:12;1973:2;2053:4;2045:6;2041:17;2029:29;;2104:3;2096:4;2088:6;2084:17;2074:8;2070:32;2067:41;2064:2;;;2121:1;2118;2111:12;2064:2;1869:262;;;;;;2139:130;;2219:6;2206:20;2197:29;;2231:33;2258:5;2231:33;;;2191:78;;;;;2276:134;;2360:6;2354:13;2345:22;;2372:33;2399:5;2372:33;;;2339:71;;;;;2417:399;;;2549:2;2537:9;2528:7;2524:23;2520:32;2517:2;;;2565:1;2562;2555:12;2517:2;2600:1;2617:64;2673:7;2664:6;2653:9;2649:22;2617:64;;;2607:74;;2579:108;2718:2;2736:64;2792:7;2783:6;2772:9;2768:22;2736:64;;;2726:74;;2697:109;2511:305;;;;;;2823:1121;;;;;;;;;3052:3;3040:9;3031:7;3027:23;3023:33;3020:2;;;3069:1;3066;3059:12;3020:2;3104:1;3121:53;3166:7;3157:6;3146:9;3142:22;3121:53;;;3111:63;;3083:97;3239:2;3228:9;3224:18;3211:32;3263:18;3255:6;3252:30;3249:2;;;3295:1;3292;3285:12;3249:2;3323:65;3380:7;3371:6;3360:9;3356:22;3323:65;;;3313:75;;;;3190:204;3453:2;3442:9;3438:18;3425:32;3477:18;3469:6;3466:30;3463:2;;;3509:1;3506;3499:12;3463:2;3537:65;3594:7;3585:6;3574:9;3570:22;3537:65;;;3527:75;;;;3404:204;3639:2;3657:53;3702:7;3693:6;3682:9;3678:22;3657:53;;;3647:63;;3618:98;3747:3;3766:53;3811:7;3802:6;3791:9;3787:22;3766:53;;;3756:63;;3726:99;3856:3;3875:53;3920:7;3911:6;3900:9;3896:22;3875:53;;;3865:63;;3835:99;3014:930;;;;;;;;;;;;3951:392;;4091:2;4079:9;4070:7;4066:23;4062:32;4059:2;;;4107:1;4104;4097:12;4059:2;4163:1;4152:9;4148:17;4142:24;4186:18;4178:6;4175:30;4172:2;;;4218:1;4215;4208:12;4172:2;4238:89;4319:7;4310:6;4299:9;4295:22;4238:89;;;4228:99;;4121:212;4053:290;;;;;4350:392;;4490:2;4478:9;4469:7;4465:23;4461:32;4458:2;;;4506:1;4503;4496:12;4458:2;4562:1;4551:9;4547:17;4541:24;4585:18;4577:6;4574:30;4571:2;;;4617:1;4614;4607:12;4571:2;4637:89;4718:7;4709:6;4698:9;4694:22;4637:89;;;4627:99;;4520:212;4452:290;;;;;4749:743;;;;;;4924:3;4912:9;4903:7;4899:23;4895:33;4892:2;;;4941:1;4938;4931:12;4892:2;5004:1;4993:9;4989:17;4976:31;5027:18;5019:6;5016:30;5013:2;;;5059:1;5056;5049:12;5013:2;5087:65;5144:7;5135:6;5124:9;5120:22;5087:65;;;5077:75;;;;4955:203;5189:2;5207:53;5252:7;5243:6;5232:9;5228:22;5207:53;;;5197:63;;5168:98;5297:2;5315:53;5360:7;5351:6;5340:9;5336:22;5315:53;;;5305:63;;5276:98;5405:2;5423:53;5468:7;5459:6;5448:9;5444:22;5423:53;;;5413:63;;5384:98;4886:606;;;;;;;;;5499:263;;5614:2;5602:9;5593:7;5589:23;5585:32;5582:2;;;5630:1;5627;5620:12;5582:2;5665:1;5682:64;5738:7;5729:6;5718:9;5714:22;5682:64;;;5672:74;;5644:108;5576:186;;;;;5769:535;;;;5918:2;5906:9;5897:7;5893:23;5889:32;5886:2;;;5934:1;5931;5924:12;5886:2;5969:1;5986:64;6042:7;6033:6;6022:9;6018:22;5986:64;;;5976:74;;5948:108;6087:2;6105:64;6161:7;6152:6;6141:9;6137:22;6105:64;;;6095:74;;6066:109;6206:2;6224:64;6280:7;6271:6;6260:9;6256:22;6224:64;;;6214:74;;6185:109;5880:424;;;;;;6312:173;;6399:46;6441:3;6433:6;6399:46;;;6474:4;6469:3;6465:14;6451:28;;6392:93;;;;;6493:103;6566:24;6584:5;6566:24;;;6561:3;6554:37;6548:48;;;6603:113;6686:24;6704:5;6686:24;;;6681:3;6674:37;6668:48;;;6754:690;;6899:54;6947:5;6899:54;;;6966:86;7045:6;7040:3;6966:86;;;6959:93;;7073:56;7123:5;7073:56;;;7149:7;7177:1;7162:260;7187:6;7184:1;7181:13;7162:260;;;7254:6;7248:13;7275:63;7334:3;7319:13;7275:63;;;7268:70;;7355:60;7408:6;7355:60;;;7345:70;;7219:203;7209:1;7206;7202:9;7197:14;;7162:260;;;7166:14;7435:3;7428:10;;6878:566;;;;;;;;7477:300;;7593:71;7657:6;7652:3;7593:71;;;7586:78;;7676:43;7712:6;7707:3;7700:5;7676:43;;;7741:29;7763:6;7741:29;;;7736:3;7732:39;7725:46;;7579:198;;;;;;7785:339;;7893:35;7922:5;7893:35;;;7940:71;8004:6;7999:3;7940:71;;;7933:78;;8016:52;8061:6;8056:3;8049:4;8042:5;8038:16;8016:52;;;8089:29;8111:6;8089:29;;;8084:3;8080:39;8073:46;;7873:251;;;;;;8132:321;;8292:67;8356:2;8351:3;8292:67;;;8285:74;;8392:23;8388:1;8383:3;8379:11;8372:44;8444:2;8439:3;8435:12;8428:19;;8278:175;;;;8462:328;;8622:67;8686:2;8681:3;8622:67;;;8615:74;;8722:30;8718:1;8713:3;8709:11;8702:51;8781:2;8776:3;8772:12;8765:19;;8608:182;;;;8799:314;;8959:67;9023:2;9018:3;8959:67;;;8952:74;;9059:16;9055:1;9050:3;9046:11;9039:37;9104:2;9099:3;9095:12;9088:19;;8945:168;;;;9122:315;;9282:67;9346:2;9341:3;9282:67;;;9275:74;;9382:17;9378:1;9373:3;9369:11;9362:38;9428:2;9423:3;9419:12;9412:19;;9268:169;;;;9446:324;;9606:67;9670:2;9665:3;9606:67;;;9599:74;;9706:26;9702:1;9697:3;9693:11;9686:47;9761:2;9756:3;9752:12;9745:19;;9592:178;;;;9779:316;;9939:67;10003:2;9998:3;9939:67;;;9932:74;;10039:18;10035:1;10030:3;10026:11;10019:39;10086:2;10081:3;10077:12;10070:19;;9925:170;;;;10104:316;;10264:67;10328:2;10323:3;10264:67;;;10257:74;;10364:18;10360:1;10355:3;10351:11;10344:39;10411:2;10406:3;10402:12;10395:19;;10250:170;;;;10429:322;;10589:67;10653:2;10648:3;10589:67;;;10582:74;;10689:24;10685:1;10680:3;10676:11;10669:45;10742:2;10737:3;10733:12;10726:19;;10575:176;;;;10760:313;;10920:67;10984:2;10979:3;10920:67;;;10913:74;;11020:15;11016:1;11011:3;11007:11;11000:36;11064:2;11059:3;11055:12;11048:19;;10906:167;;;;11082:315;;11242:67;11306:2;11301:3;11242:67;;;11235:74;;11342:17;11338:1;11333:3;11329:11;11322:38;11388:2;11383:3;11379:12;11372:19;;11228:169;;;;11406:313;;11566:67;11630:2;11625:3;11566:67;;;11559:74;;11666:15;11662:1;11657:3;11653:11;11646:36;11710:2;11705:3;11701:12;11694:19;;11552:167;;;;11728:313;;11888:67;11952:2;11947:3;11888:67;;;11881:74;;11988:15;11984:1;11979:3;11975:11;11968:36;12032:2;12027:3;12023:12;12016:19;;11874:167;;;;12050:320;;12210:67;12274:2;12269:3;12210:67;;;12203:74;;12310:22;12306:1;12301:3;12297:11;12290:43;12361:2;12356:3;12352:12;12345:19;;12196:174;;;;12379:314;;12539:67;12603:2;12598:3;12539:67;;;12532:74;;12639:16;12635:1;12630:3;12626:11;12619:37;12684:2;12679:3;12675:12;12668:19;;12525:168;;;;12701:113;12784:24;12802:5;12784:24;;;12779:3;12772:37;12766:48;;;12821:213;;12939:2;12928:9;12924:18;12916:26;;12953:71;13021:1;13010:9;13006:17;12997:6;12953:71;;;12910:124;;;;;13041:324;;13187:2;13176:9;13172:18;13164:26;;13201:71;13269:1;13258:9;13254:17;13245:6;13201:71;;;13283:72;13351:2;13340:9;13336:18;13327:6;13283:72;;;13158:207;;;;;;13372:324;;13518:2;13507:9;13503:18;13495:26;;13532:71;13600:1;13589:9;13585:17;13576:6;13532:71;;;13614:72;13682:2;13671:9;13667:18;13658:6;13614:72;;;13489:207;;;;;;13703:435;;13877:2;13866:9;13862:18;13854:26;;13891:71;13959:1;13948:9;13944:17;13935:6;13891:71;;;13973:72;14041:2;14030:9;14026:18;14017:6;13973:72;;;14056;14124:2;14113:9;14109:18;14100:6;14056:72;;;13848:290;;;;;;;14145:361;;14313:2;14302:9;14298:18;14290:26;;14363:9;14357:4;14353:20;14349:1;14338:9;14334:17;14327:47;14388:108;14491:4;14482:6;14388:108;;;14380:116;;14284:222;;;;;14513:321;;14661:2;14650:9;14646:18;14638:26;;14711:9;14705:4;14701:20;14697:1;14686:9;14682:17;14675:47;14736:88;14819:4;14810:6;14802;14736:88;;;14728:96;;14632:202;;;;;;14841:767;;15101:3;15090:9;15086:19;15078:27;;15152:9;15146:4;15142:20;15138:1;15127:9;15123:17;15116:47;15177:88;15260:4;15251:6;15243;15177:88;;;15169:96;;15276:72;15344:2;15333:9;15329:18;15320:6;15276:72;;;15359;15427:2;15416:9;15412:18;15403:6;15359:72;;;15442;15510:2;15499:9;15495:18;15486:6;15442:72;;;15525:73;15593:3;15582:9;15578:19;15569:6;15525:73;;;15072:536;;;;;;;;;;15615:879;;15903:3;15892:9;15888:19;15880:27;;15954:9;15948:4;15944:20;15940:1;15929:9;15925:17;15918:47;15979:88;16062:4;16053:6;16045;15979:88;;;15971:96;;16078:72;16146:2;16135:9;16131:18;16122:6;16078:72;;;16161;16229:2;16218:9;16214:18;16205:6;16161:72;;;16244;16312:2;16301:9;16297:18;16288:6;16244:72;;;16327:73;16395:3;16384:9;16380:19;16371:6;16327:73;;;16411;16479:3;16468:9;16464:19;16455:6;16411:73;;;15874:620;;;;;;;;;;;16501:293;;16635:2;16624:9;16620:18;16612:26;;16685:9;16679:4;16675:20;16671:1;16660:9;16656:17;16649:47;16710:74;16779:4;16770:6;16710:74;;;16702:82;;16606:188;;;;;16801:407;;16992:2;16981:9;16977:18;16969:26;;17042:9;17036:4;17032:20;17028:1;17017:9;17013:17;17006:47;17067:131;17193:4;17067:131;;;17059:139;;16963:245;;;;17215:407;;17406:2;17395:9;17391:18;17383:26;;17456:9;17450:4;17446:20;17442:1;17431:9;17427:17;17420:47;17481:131;17607:4;17481:131;;;17473:139;;17377:245;;;;17629:407;;17820:2;17809:9;17805:18;17797:26;;17870:9;17864:4;17860:20;17856:1;17845:9;17841:17;17834:47;17895:131;18021:4;17895:131;;;17887:139;;17791:245;;;;18043:407;;18234:2;18223:9;18219:18;18211:26;;18284:9;18278:4;18274:20;18270:1;18259:9;18255:17;18248:47;18309:131;18435:4;18309:131;;;18301:139;;18205:245;;;;18457:407;;18648:2;18637:9;18633:18;18625:26;;18698:9;18692:4;18688:20;18684:1;18673:9;18669:17;18662:47;18723:131;18849:4;18723:131;;;18715:139;;18619:245;;;;18871:407;;19062:2;19051:9;19047:18;19039:26;;19112:9;19106:4;19102:20;19098:1;19087:9;19083:17;19076:47;19137:131;19263:4;19137:131;;;19129:139;;19033:245;;;;19285:407;;19476:2;19465:9;19461:18;19453:26;;19526:9;19520:4;19516:20;19512:1;19501:9;19497:17;19490:47;19551:131;19677:4;19551:131;;;19543:139;;19447:245;;;;19699:407;;19890:2;19879:9;19875:18;19867:26;;19940:9;19934:4;19930:20;19926:1;19915:9;19911:17;19904:47;19965:131;20091:4;19965:131;;;19957:139;;19861:245;;;;20113:407;;20304:2;20293:9;20289:18;20281:26;;20354:9;20348:4;20344:20;20340:1;20329:9;20325:17;20318:47;20379:131;20505:4;20379:131;;;20371:139;;20275:245;;;;20527:407;;20718:2;20707:9;20703:18;20695:26;;20768:9;20762:4;20758:20;20754:1;20743:9;20739:17;20732:47;20793:131;20919:4;20793:131;;;20785:139;;20689:245;;;;20941:407;;21132:2;21121:9;21117:18;21109:26;;21182:9;21176:4;21172:20;21168:1;21157:9;21153:17;21146:47;21207:131;21333:4;21207:131;;;21199:139;;21103:245;;;;21355:407;;21546:2;21535:9;21531:18;21523:26;;21596:9;21590:4;21586:20;21582:1;21571:9;21567:17;21560:47;21621:131;21747:4;21621:131;;;21613:139;;21517:245;;;;21769:407;;21960:2;21949:9;21945:18;21937:26;;22010:9;22004:4;22000:20;21996:1;21985:9;21981:17;21974:47;22035:131;22161:4;22035:131;;;22027:139;;21931:245;;;;22183:407;;22374:2;22363:9;22359:18;22351:26;;22424:9;22418:4;22414:20;22410:1;22399:9;22395:17;22388:47;22449:131;22575:4;22449:131;;;22441:139;;22345:245;;;;22597:213;;22715:2;22704:9;22700:18;22692:26;;22729:71;22797:1;22786:9;22782:17;22773:6;22729:71;;;22686:124;;;;;22817:324;;22963:2;22952:9;22948:18;22940:26;;22977:71;23045:1;23034:9;23030:17;23021:6;22977:71;;;23059:72;23127:2;23116:9;23112:18;23103:6;23059:72;;;22934:207;;;;;;23148:435;;23322:2;23311:9;23307:18;23299:26;;23336:71;23404:1;23393:9;23389:17;23380:6;23336:71;;;23418:72;23486:2;23475:9;23471:18;23462:6;23418:72;;;23501;23569:2;23558:9;23554:18;23545:6;23501:72;;;23293:290;;;;;;;23590:256;;23652:2;23646:9;23636:19;;23690:4;23682:6;23678:17;23789:6;23777:10;23774:22;23753:18;23741:10;23738:34;23735:62;23732:2;;;23810:1;23807;23800:12;23732:2;23830:10;23826:2;23819:22;23630:216;;;;;23853:304;;24012:18;24004:6;24001:30;23998:2;;;24044:1;24041;24034:12;23998:2;24079:4;24071:6;24067:17;24059:25;;24142:4;24136;24132:15;24124:23;;23935:222;;;;24164:304;;24323:18;24315:6;24312:30;24309:2;;;24355:1;24352;24345:12;24309:2;24390:4;24382:6;24378:17;24370:25;;24453:4;24447;24443:15;24435:23;;24246:222;;;;24475:151;;24561:3;24553:11;;24599:4;24594:3;24590:14;24582:22;;24547:79;;;;24633:137;;24742:5;24736:12;24726:22;;24707:63;;;;24777:118;;24867:5;24861:12;24851:22;;24832:63;;;;24902:108;;25000:4;24995:3;24991:14;24983:22;;24977:33;;;;25018:178;;25148:6;25143:3;25136:19;25185:4;25180:3;25176:14;25161:29;;25129:67;;;;;25205:163;;25320:6;25315:3;25308:19;25357:4;25352:3;25348:14;25333:29;;25301:67;;;;;25376:91;;25438:24;25456:5;25438:24;;;25427:35;;25421:46;;;;25474:121;;25547:42;25540:5;25536:54;25525:65;;25519:76;;;;25602:72;;25664:5;25653:16;;25647:27;;;;25682:145;25763:6;25758:3;25753;25740:30;25819:1;25810:6;25805:3;25801:16;25794:27;25733:94;;;;25836:268;25901:1;25908:101;25922:6;25919:1;25916:13;25908:101;;;25998:1;25993:3;25989:11;25983:18;25979:1;25974:3;25970:11;25963:39;25944:2;25941:1;25937:10;25932:15;;25908:101;;;26024:6;26021:1;26018:13;26015:2;;;26089:1;26080:6;26075:3;26071:16;26064:27;26015:2;25885:219;;;;;26112:97;;26200:2;26196:7;26191:2;26184:5;26180:14;26176:28;26166:38;;26160:49;;;;26217:117;26286:24;26304:5;26286:24;;;26279:5;26276:35;26266:2;;26325:1;26322;26315:12;26266:2;26260:74;;26341:117;26410:24;26428:5;26410:24;;;26403:5;26400:35;26390:2;;26449:1;26446;26439:12;26390:2;26384:74;

ipfs://d28fb4068cb2569b82e0a803f8a3ffd521e3638bfa3eb536521ff6484f873f74