Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)    - function tryAdd(    - function trySub(    - function tryMul(    - function tryDiv(    - function tryMod(    - function sub(    - function div(    - function mod( interface IERC20    - function totalSupply()    - function decimals()    - function symbol()    - function name()    - function getOwner()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(address spender, uin ...    - function transferFrom(    - function isOwner(address account)    - function transferOwnership(address pa ... interface IFactory    - function createPair(    - function getPair( interface IRouter    - function factory()    - function WETH()    - function addLiquidityETH(    - function removeLiquidityWithPermit(    - function swapExactETHForTokensSupport ...    - function swapExactTokensForETHSupport ...  contract KRUSTY is IERC20, Ownable *    - function name()    - function symbol()    - function decimals()    - function launchContract()    - function getOwner()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function exemptFromFees(address _addr ...    - function approve(    - function totalSupply()    - function walletLimit()    - function txLimit()    - function transferLimit()    - function preTxCheck(    - function _transfer(    - function setFees(    - function setTxLimits(    - function checkTradingAllowed(    - function checkMaxWallet(    - function checkTxLimit(    - function swapAndLiquify()    - function swapTokensForETH(uint256 tok ...    - function shouldSwapBack(    - function setSwapbackSettings(    - function swapBack(    - function shouldTakeFee(    - function getTotalFee(    - function takeFee(    - function transferFrom(    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-05-14
*/

// SPDX-License-Identifier: MIT
/**
 * https://t.me/KrustyTheClownERC20
 * https://twitter.com/Krusty_ERC20
 */
pragma solidity 0.8.19;

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return a - b;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return a % b;
    }

    function tryAdd(
        uint256 a,
        uint256 b
    ) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    function trySub(
        uint256 a,
        uint256 b
    ) internal pure returns (bool, uint256) {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    function tryMul(
        uint256 a,
        uint256 b
    ) internal pure returns (bool, uint256) {
        unchecked {
            if (a == 0) return (true, 0);
            uint256 c = a * b;
            if (c / a != b) return (false, 0);
            return (true, c);
        }
    }

    function tryDiv(
        uint256 a,
        uint256 b
    ) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

    function tryMod(
        uint256 a,
        uint256 b
    ) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a % b);
        }
    }

    function sub(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b <= a, errorMessage);
            return a - b;
        }
    }

    function div(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a / b;
        }
    }

    function mod(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a % b;
        }
    }
}

interface IERC20 {
    function totalSupply() external view returns (uint256);

    function decimals() external view returns (uint8);

    function symbol() external view returns (string memory);

    function name() external view returns (string memory);

    function getOwner() external view returns (address);

    function balanceOf(address account) external view returns (uint256);

    function transfer(
        address recipient,
        uint256 amount
    ) external returns (bool);

    function allowance(
        address _owner,
        address spender
    ) external view returns (uint256);

    function approve(address spender, uint256 amount) external returns (bool);

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );
}

abstract contract Ownable {
    address internal owner;

    constructor(address _owner) {
        owner = _owner;
    }

    modifier onlyOwner() {
        require(isOwner(msg.sender), "!OWNER");
        _;
    }

    function isOwner(address account) public view returns (bool) {
        return account == owner;
    }

    function transferOwnership(address payable adr) public onlyOwner {
        owner = adr;
        emit OwnershipTransferred(adr);
    }

    event OwnershipTransferred(address owner);
}

interface IFactory {
    function createPair(
        address tokenA,
        address tokenB
    ) external returns (address liquidityPair);

    function getPair(
        address tokenA,
        address tokenB
    ) external view returns (address liquidityPair);
}

interface IRouter {
    function factory() external pure returns (address);

    function WETH() external pure returns (address);

    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    )
        external
        payable
        returns (uint amountToken, uint amountETH, uint liquidity);


    function removeLiquidityWithPermit(
        address tokenA,
        address tokenB,
        uint liquidity,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline,
        bool approveMax,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external returns (uint amountA, uint amountB);

    function swapExactETHForTokensSupportingFeeOnTransferTokens(
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external payable;

    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
}

contract KRUSTY is IERC20, Ownable {
    using SafeMath for uint256;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    string private constant _name = "Krusty The Clown";
    string private constant _symbol = "KRUSTY";
    uint8 private constant _decimals = 18;
    uint256 private _totalSupply = 1000000000 * (10 ** _decimals);
    uint256 private txLimitPercent = 200; // base 10000;
    uint256 private _maxTransferPercent = 200;
    uint256 private _maxWalletPercent = 200;
    mapping(address => uint256) _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) public isFeeExempt;
    IRouter router;
    address public liquidityPair;
    bool private tradingAllowed = false;
    uint256 private marketingFee = 300;
    uint256 private developmentFee = 300;
    uint256 private totalFee = 0;
    uint256 private sellFee = 600;
    uint256 private transferFee = 6300;
    uint256 private denominator = 10000;
    bool private swapEnabled = true;
    bool private swapping;
    uint256 private swapThreshold = (_totalSupply * 10) / 100000;
    uint256 private minTokenAmount = (_totalSupply * 10) / 100000;

    modifier lockTheSwap() {
        swapping = true;
        _;
        swapping = false;
    }

    address internal development_receiver;
    address internal constant marketing_receiver =
        0x2E5867a00c05235117dC3D4D71162c3eea8C415F;

    constructor() Ownable(msg.sender) {
        IRouter _router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _liquidityPair = IFactory(_router.factory()).createPair(
            address(this),
            _router.WETH()
        );
        router = _router;
        liquidityPair = _liquidityPair;
        totalFee = marketingFee + developmentFee;
        development_receiver = msg.sender;
        isFeeExempt[address(this)] = true;
        isFeeExempt[marketing_receiver] = true;
        isFeeExempt[msg.sender] = true;
        _balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);
    }

    receive() external payable {}

    function name() public pure returns (string memory) {
        return _name;
    }

    function symbol() public pure returns (string memory) {
        return _symbol;
    }

    function decimals() public pure returns (uint8) {
        return _decimals;
    }

    function launchContract() external onlyOwner {
        totalFee = 8000;
        sellFee = 6500;
        tradingAllowed = true;
    }

    function getOwner() external view override returns (address) {
        return owner;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

    function transfer(
        address recipient,
        uint256 amount
    ) public override returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }

    function allowance(
        address owner,
        address spender
    ) public view override returns (uint256) {
        return _allowances[owner][spender];
    }

    function exemptFromFees(address _address, bool _enabled) external onlyOwner {
        isFeeExempt[_address] = _enabled;
    }

    function approve(
        address spender,
        uint256 amount
    ) public override returns (bool) {
        _approve(msg.sender, spender, amount);
        return true;
    }

    function totalSupply() public view override returns (uint256) {
        return _totalSupply.sub(balanceOf(DEAD)).sub(balanceOf(address(0)));
    }

    function walletLimit() public view returns (uint256) {
        return (totalSupply() * _maxWalletPercent) / denominator;
    }

    function txLimit() public view returns (uint256) {
        return (totalSupply() * txLimitPercent) / denominator;
    }

    function transferLimit() public view returns (uint256) {
        return (totalSupply() * _maxTransferPercent) / denominator;
    }

    function preTxCheck(
        address sender,
        address recipient,
        uint256 amount
    ) internal view {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(
            amount > uint256(0),
            "Transfer amount must be greater than zero"
        );
        require(
            amount <= balanceOf(sender),
            "You are trying to transfer more than your balance"
        );
    }

    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) private {
        preTxCheck(sender, recipient, amount);
        checkTradingAllowed(sender, recipient);
        checkMaxWallet(sender, recipient, amount);
        checkTxLimit(sender, recipient, amount);
        swapBack(sender, recipient);
        _balances[sender] = _balances[sender].sub(amount);
        uint256 amountReceived = shouldTakeFee(sender, recipient)
            ? takeFee(sender, recipient, amount)
            : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }

    function setFees(
        uint256 _marketing,
        uint256 _development,
        uint256 _extraSell,
        uint256 _trans
    ) external onlyOwner {
        marketingFee = _marketing;
        developmentFee = _development;
        totalFee = _marketing + _development;
        sellFee = totalFee + _extraSell;
        transferFee = _trans;
        require(
            totalFee <= denominator && sellFee <= denominator,
            "totalFee and sellFee cannot be more than the denominator"
        );
    }

    function setTxLimits(
        uint256 _newMaxTx,
        uint256 _newMaxTransfer,
        uint256 _newMaxWallet
    ) external onlyOwner {
        uint256 newTx = (totalSupply() * _newMaxTx) / 10000;
        uint256 newTransfer = (totalSupply() * _newMaxTransfer) / 10000;
        uint256 newWallet = (totalSupply() * _newMaxWallet) / 10000;
        txLimitPercent = _newMaxTx;
        _maxTransferPercent = _newMaxTransfer;
        _maxWalletPercent = _newMaxWallet;
        uint256 limit = totalSupply().mul(5).div(1000);
        require(
            newTx >= limit && newTransfer >= limit && newWallet >= limit,
            "Max TXs and Max Wallet cannot be less than .5%"
        );
    }

    function checkTradingAllowed(
        address sender,
        address recipient
    ) internal view {
        if (!isFeeExempt[sender] && !isFeeExempt[recipient]) {
            require(tradingAllowed, "tradingAllowed");
        }
    }

    function checkMaxWallet(
        address sender,
        address recipient,
        uint256 amount
    ) internal view {
        if (
            !isFeeExempt[sender] &&
            !isFeeExempt[recipient] &&
            recipient != address(liquidityPair) &&
            recipient != address(DEAD)
        ) {
            require(
                (_balances[recipient].add(amount)) <= walletLimit(),
                "Exceeds maximum wallet amount."
            );
        }
    }

    function checkTxLimit(
        address sender,
        address recipient,
        uint256 amount
    ) internal view {
        if (sender != liquidityPair) {
            require(
                amount <= transferLimit() ||
                    isFeeExempt[sender] ||
                    isFeeExempt[recipient],
                "TX Limit Exceeded"
            );
        }
        require(
            amount <= txLimit() ||
                isFeeExempt[sender] ||
                isFeeExempt[recipient],
            "TX Limit Exceeded"
        );
    }

    function swapAndLiquify() private lockTheSwap {
        uint256 tokens = balanceOf(address(this));
        uint256 _denominator = (
            marketingFee.add(1).add(developmentFee)
        );

        swapTokensForETH(tokens);
        uint256 deltaBalance = address(this).balance;
        uint256 unitBalance = deltaBalance.div(_denominator);

        uint256 marketingAmt = unitBalance.mul(marketingFee);
        if (marketingAmt > 0) {
            payable(marketing_receiver).transfer(marketingAmt);
        }
        uint256 remainingBalance = address(this).balance;
        if (remainingBalance > uint256(0)) {
            payable(development_receiver).transfer(remainingBalance);
        }
    }

    function swapTokensForETH(uint256 tokenAmount) private {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = router.WETH();
        _approve(address(this), address(router), tokenAmount);
        router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }

    function shouldSwapBack(
        address sender,
        address recipient
    ) internal view returns (bool) {
        bool aboveThreshold = balanceOf(address(this)) >= swapThreshold;
        return
            !swapping &&
            swapEnabled &&
            tradingAllowed &&
            !isFeeExempt[sender] &&
            recipient == liquidityPair &&
            aboveThreshold;
    }

    function setSwapbackSettings(
        uint256 _swapThreshold,
        uint256 _minTokenAmount
    ) external onlyOwner {
        swapThreshold = _totalSupply.mul(_swapThreshold).div(uint256(100000));
        minTokenAmount = _totalSupply.mul(_minTokenAmount).div(uint256(100000));
    }

    function swapBack(
        address sender,
        address recipient
    ) internal {
        if (shouldSwapBack(sender, recipient)) {
            swapAndLiquify();
        }
    }

    function shouldTakeFee(
        address sender,
        address recipient
    ) internal view returns (bool) {
        return !isFeeExempt[sender] && !isFeeExempt[recipient];
    }

    function getTotalFee(
        address sender,
        address recipient
    ) internal view returns (uint256) {
        if (recipient == liquidityPair) {
            return sellFee;
        }
        if (sender == liquidityPair) {
            return totalFee;
        }
        return transferFee;
    }

    function takeFee(
        address sender,
        address recipient,
        uint256 amount
    ) internal returns (uint256) {
        if (getTotalFee(sender, recipient) > 0) {
            uint256 feeAmount = amount.div(denominator).mul(
                getTotalFee(sender, recipient)
            );
            _balances[address(this)] = _balances[address(this)].add(feeAmount);
            emit Transfer(sender, address(this), feeAmount);
            return amount.sub(feeAmount);
        }
        return amount;
    }

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(
            sender,
            msg.sender,
            _allowances[sender][msg.sender].sub(
                amount,
                "ERC20: transfer amount exceeds allowance"
            )
        );
        return true;
    }

    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"bool","name":"_enabled","type":"bool"}],"name":"exemptFromFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isFeeExempt","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"launchContract","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"liquidityPair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"uint256","name":"_marketing","type":"uint256"},{"internalType":"uint256","name":"_development","type":"uint256"},{"internalType":"uint256","name":"_extraSell","type":"uint256"},{"internalType":"uint256","name":"_trans","type":"uint256"}],"name":"setFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_swapThreshold","type":"uint256"},{"internalType":"uint256","name":"_minTokenAmount","type":"uint256"}],"name":"setSwapbackSettings","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newMaxTx","type":"uint256"},{"internalType":"uint256","name":"_newMaxTransfer","type":"uint256"},{"internalType":"uint256","name":"_newMaxWallet","type":"uint256"}],"name":"setTxLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"transferLimit","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address payable","name":"adr","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"txLimit","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"walletLimit","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126012600a6200044a565b6200002290633b9aca0062000462565b600181815560c8600281905560038190556004556009805460ff60a01b1916905561012c600a818155600b919091556000600c55610258600d5561189c600e55612710600f556010805460ff1916909217909155620186a091620000869162000462565b6200009291906200047c565b601155620186a0600154600a620000aa919062000462565b620000b691906200047c565b601255348015620000c657600080fd5b50600080546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa1580156200012e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200015491906200049f565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001a2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001c891906200049f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801562000216573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200023c91906200049f565b600880546001600160a01b038086166001600160a01b0319928316179092556009805492841692909116919091179055600b54600a549192506200028091620004ca565b600c55601380546001600160a01b03191633908117909155306000908152600760209081526040808320805460ff1990811660019081179092557fe4dbe2386f3017e8b40fa2bd210bdee5acf7aecc8547049990c88c4d79f5796b8054821683179055858552828520805490911682179055546005835281842081905590519081527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050620004e0565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200038c57816000190482111562000370576200037062000335565b808516156200037e57918102915b93841c939080029062000350565b509250929050565b600082620003a55750600162000444565b81620003b45750600062000444565b8160018114620003cd5760028114620003d857620003f8565b600191505062000444565b60ff841115620003ec57620003ec62000335565b50506001821b62000444565b5060208310610133831016604e8410600b84101617156200041d575081810a62000444565b6200042983836200034b565b806000190482111562000440576200044062000335565b0290505b92915050565b60006200045b60ff84168362000394565b9392505050565b808202811582820484141762000444576200044462000335565b6000826200049a57634e487b7160e01b600052601260045260246000fd5b500490565b600060208284031215620004b257600080fd5b81516001600160a01b03811681146200045b57600080fd5b8082018082111562000444576200044462000335565b61188380620004f06000396000f3fe6080604052600436106101395760003560e01c80636fcba377116100ab5780639b6b54991161006f5780639b6b5499146103ba578063a9059cbb146103da578063dd62ed3e146103fa578063e46b3b3f14610440578063f2fde38b14610460578063f94325171461048057600080fd5b80636fcba377146102df57806370a08231146102ff578063808a545714610335578063893d20e81461036d57806395d89b411461038b57600080fd5b80632f54bf6e116100fd5780632f54bf6e1461021a578063313ce567146102495780633c8463a1146102655780633f4218e01461027a57806350dc03b1146102aa5780636caae832146102ca57600080fd5b806306fdde0314610145578063095ea7b31461019057806318160ddd146101c057806319d45a08146101e357806323b872dd146101fa57600080fd5b3661014057005b600080fd5b34801561015157600080fd5b5060408051808201909152601081526f25b93ab9ba3c902a34329021b637bbb760811b60208201525b6040516101879190611510565b60405180910390f35b34801561019c57600080fd5b506101b06101ab366004611576565b610495565b6040519015158152602001610187565b3480156101cc57600080fd5b506101d56104ac565b604051908152602001610187565b3480156101ef57600080fd5b506101f861051d565b005b34801561020657600080fd5b506101b06102153660046115a2565b610571565b34801561022657600080fd5b506101b06102353660046115e3565b6000546001600160a01b0391821691161490565b34801561025557600080fd5b5060405160128152602001610187565b34801561027157600080fd5b506101d56105db565b34801561028657600080fd5b506101b06102953660046115e3565b60076020526000908152604090205460ff1681565b3480156102b657600080fd5b506101f86102c5366004611600565b6105ff565b3480156102d657600080fd5b506101d561066b565b3480156102eb57600080fd5b506101f86102fa366004611622565b61067b565b34801561030b57600080fd5b506101d561031a3660046115e3565b6001600160a01b031660009081526005602052604090205490565b34801561034157600080fd5b50600954610355906001600160a01b031681565b6040516001600160a01b039091168152602001610187565b34801561037957600080fd5b506000546001600160a01b0316610355565b34801561039757600080fd5b506040805180820190915260068152654b525553545960d01b602082015261017a565b3480156103c657600080fd5b506101f86103d5366004611654565b610761565b3480156103e657600080fd5b506101b06103f5366004611576565b6107b6565b34801561040657600080fd5b506101d5610415366004611692565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561044c57600080fd5b506101f861045b3660046116c0565b6107c3565b34801561046c57600080fd5b506101f861047b3660046115e3565b61090d565b34801561048c57600080fd5b506101d561098b565b60006104a233848461099b565b5060015b92915050565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead60009081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba5460015491926105189290916105129190610abf565b90610abf565b905090565b6000546001600160a01b031633146105505760405162461bcd60e51b8152600401610547906116ec565b60405180910390fd5b611f40600c55611964600d556009805460ff60a01b1916600160a01b179055565b600061057e848484610acb565b6105d084336105cb85604051806060016040528060288152602001611826602891396001600160a01b038a1660009081526006602090815260408083203384529091529020549190610be6565b61099b565b5060015b9392505050565b6000600f546004546105eb6104ac565b6105f59190611722565b6105189190611739565b6000546001600160a01b031633146106295760405162461bcd60e51b8152600401610547906116ec565b61064b620186a061064584600154610c1290919063ffffffff16565b90610c1e565b60115560015461066490620186a0906106459084610c12565b6012555050565b6000600f546002546105eb6104ac565b6000546001600160a01b031633146106a55760405162461bcd60e51b8152600401610547906116ec565b600a849055600b8390556106b9838561175b565b600c8190556106c990839061175b565b600d55600e819055600f54600c54118015906106e95750600f54600d5411155b61075b5760405162461bcd60e51b815260206004820152603860248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201527f6f7265207468616e207468652064656e6f6d696e61746f7200000000000000006064820152608401610547565b50505050565b6000546001600160a01b0316331461078b5760405162461bcd60e51b8152600401610547906116ec565b6001600160a01b03919091166000908152600760205260409020805460ff1916911515919091179055565b60006104a2338484610acb565b6000546001600160a01b031633146107ed5760405162461bcd60e51b8152600401610547906116ec565b6000612710846107fb6104ac565b6108059190611722565b61080f9190611739565b905060006127108461081f6104ac565b6108299190611722565b6108339190611739565b90506000612710846108436104ac565b61084d9190611722565b6108579190611739565b600287905560038690556004859055905060006108836103e8610645600561087d6104ac565b90610c12565b90508084101580156108955750808310155b80156108a15750808210155b6109045760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b6064820152608401610547565b50505050505050565b6000546001600160a01b031633146109375760405162461bcd60e51b8152600401610547906116ec565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6000600f546003546105eb6104ac565b6001600160a01b0383166109fd5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610547565b6001600160a01b038216610a5e5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610547565b6001600160a01b0383811660008181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006105d4828461176e565b610ad6838383610c2a565b610ae08383610dd9565b610aeb838383610e6e565b610af6838383610f5f565b610b008383611096565b6001600160a01b038316600090815260056020526040902054610b239082610abf565b6001600160a01b038416600090815260056020526040812091909155610b4984846110ad565b610b535781610b5e565b610b5e8484846110f3565b6001600160a01b038416600090815260056020526040902054909150610b8490826111b2565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bd89085815260200190565b60405180910390a350505050565b60008184841115610c0a5760405162461bcd60e51b81526004016105479190611510565b505050900390565b60006105d48284611722565b60006105d48284611739565b6001600160a01b038316610c8e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610547565b6001600160a01b038216610cf05760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610547565b60008111610d525760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610547565b6001600160a01b038316600090815260056020526040902054811115610dd45760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b6064820152608401610547565b505050565b6001600160a01b03821660009081526007602052604090205460ff16158015610e1b57506001600160a01b03811660009081526007602052604090205460ff16155b15610e6a57600954600160a01b900460ff16610e6a5760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b6044820152606401610547565b5050565b6001600160a01b03831660009081526007602052604090205460ff16158015610eb057506001600160a01b03821660009081526007602052604090205460ff16155b8015610eca57506009546001600160a01b03838116911614155b8015610ee157506001600160a01b03821661dead14155b15610dd457610eee6105db565b6001600160a01b038316600090815260056020526040902054610f1190836111b2565b1115610dd45760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610547565b6009546001600160a01b0384811691161461100557610f7c61098b565b81111580610fa257506001600160a01b03831660009081526007602052604090205460ff165b80610fc557506001600160a01b03821660009081526007602052604090205460ff165b6110055760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610547565b61100d61066b565b8111158061103357506001600160a01b03831660009081526007602052604090205460ff165b8061105657506001600160a01b03821660009081526007602052604090205460ff165b610dd45760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610547565b6110a082826111be565b15610e6a57610e6a611254565b6001600160a01b03821660009081526007602052604081205460ff161580156105d45750506001600160a01b031660009081526007602052604090205460ff1615919050565b600080611100858561136b565b11156111ab576000611123611115868661136b565b600f5461087d908690610c1e565b3060009081526005602052604090205490915061114090826111b2565b30600081815260056020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111919085815260200190565b60405180910390a36111a38382610abf565b9150506105d4565b5092915050565b60006105d4828461175b565b601154306000908152600560205260408120546010549192111590610100900460ff161580156111f0575060105460ff165b80156112055750600954600160a01b900460ff165b801561122a57506001600160a01b03841660009081526007602052604090205460ff16155b801561124357506009546001600160a01b038481169116145b801561124c5750805b949350505050565b6010805461ff0019166101001790553060009081526005602052604081205490506000611299600b546112936001600a546111b290919063ffffffff16565b906111b2565b90506112a4826113b6565b4760006112b18284610c1e565b905060006112ca600a5483610c1290919063ffffffff16565b9050801561131557604051732e5867a00c05235117dc3d4d71162c3eea8c415f9082156108fc029083906000818181858888f19350505050158015611313573d6000803e3d6000fd5b505b478015611358576013546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611356573d6000803e3d6000fd5b505b50506010805461ff001916905550505050565b6009546000906001600160a01b039081169083160361138d5750600d546104a6565b6009546001600160a01b03908116908416036113ac5750600c546104a6565b50600e5492915050565b60408051600280825260608201835260009260208301908036833701905050905030816000815181106113eb576113eb611781565b6001600160a01b03928316602091820292909201810191909152600854604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611444573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114689190611797565b8160018151811061147b5761147b611781565b6001600160a01b0392831660209182029290920101526008546114a1913091168461099b565b60085460405163791ac94760e01b81526001600160a01b039091169063791ac947906114da9085906000908690309042906004016117b4565b600060405180830381600087803b1580156114f457600080fd5b505af1158015611508573d6000803e3d6000fd5b505050505050565b600060208083528351808285015260005b8181101561153d57858101830151858201604001528201611521565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461157357600080fd5b50565b6000806040838503121561158957600080fd5b82356115948161155e565b946020939093013593505050565b6000806000606084860312156115b757600080fd5b83356115c28161155e565b925060208401356115d28161155e565b929592945050506040919091013590565b6000602082840312156115f557600080fd5b81356105d48161155e565b6000806040838503121561161357600080fd5b50508035926020909101359150565b6000806000806080858703121561163857600080fd5b5050823594602084013594506040840135936060013592509050565b6000806040838503121561166757600080fd5b82356116728161155e565b91506020830135801515811461168757600080fd5b809150509250929050565b600080604083850312156116a557600080fd5b82356116b08161155e565b915060208301356116878161155e565b6000806000606084860312156116d557600080fd5b505081359360208301359350604090920135919050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b80820281158282048414176104a6576104a661170c565b60008261175657634e487b7160e01b600052601260045260246000fd5b500490565b808201808211156104a6576104a661170c565b818103818111156104a6576104a661170c565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156117a957600080fd5b81516105d48161155e565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118045784516001600160a01b0316835293830193918301916001016117df565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212201feccd932e3de98f31ada43ff2c4a1aae3e02cb42207376768354b6d8c58c86864736f6c63430008130033

0x6080604052600436106101395760003560e01c80636fcba377116100ab5780639b6b54991161006f5780639b6b5499146103ba578063a9059cbb146103da578063dd62ed3e146103fa578063e46b3b3f14610440578063f2fde38b14610460578063f94325171461048057600080fd5b80636fcba377146102df57806370a08231146102ff578063808a545714610335578063893d20e81461036d57806395d89b411461038b57600080fd5b80632f54bf6e116100fd5780632f54bf6e1461021a578063313ce567146102495780633c8463a1146102655780633f4218e01461027a57806350dc03b1146102aa5780636caae832146102ca57600080fd5b806306fdde0314610145578063095ea7b31461019057806318160ddd146101c057806319d45a08146101e357806323b872dd146101fa57600080fd5b3661014057005b600080fd5b34801561015157600080fd5b5060408051808201909152601081526f25b93ab9ba3c902a34329021b637bbb760811b60208201525b6040516101879190611510565b60405180910390f35b34801561019c57600080fd5b506101b06101ab366004611576565b610495565b6040519015158152602001610187565b3480156101cc57600080fd5b506101d56104ac565b604051908152602001610187565b3480156101ef57600080fd5b506101f861051d565b005b34801561020657600080fd5b506101b06102153660046115a2565b610571565b34801561022657600080fd5b506101b06102353660046115e3565b6000546001600160a01b0391821691161490565b34801561025557600080fd5b5060405160128152602001610187565b34801561027157600080fd5b506101d56105db565b34801561028657600080fd5b506101b06102953660046115e3565b60076020526000908152604090205460ff1681565b3480156102b657600080fd5b506101f86102c5366004611600565b6105ff565b3480156102d657600080fd5b506101d561066b565b3480156102eb57600080fd5b506101f86102fa366004611622565b61067b565b34801561030b57600080fd5b506101d561031a3660046115e3565b6001600160a01b031660009081526005602052604090205490565b34801561034157600080fd5b50600954610355906001600160a01b031681565b6040516001600160a01b039091168152602001610187565b34801561037957600080fd5b506000546001600160a01b0316610355565b34801561039757600080fd5b506040805180820190915260068152654b525553545960d01b602082015261017a565b3480156103c657600080fd5b506101f86103d5366004611654565b610761565b3480156103e657600080fd5b506101b06103f5366004611576565b6107b6565b34801561040657600080fd5b506101d5610415366004611692565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561044c57600080fd5b506101f861045b3660046116c0565b6107c3565b34801561046c57600080fd5b506101f861047b3660046115e3565b61090d565b34801561048c57600080fd5b506101d561098b565b60006104a233848461099b565b5060015b92915050565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead60009081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba5460015491926105189290916105129190610abf565b90610abf565b905090565b6000546001600160a01b031633146105505760405162461bcd60e51b8152600401610547906116ec565b60405180910390fd5b611f40600c55611964600d556009805460ff60a01b1916600160a01b179055565b600061057e848484610acb565b6105d084336105cb85604051806060016040528060288152602001611826602891396001600160a01b038a1660009081526006602090815260408083203384529091529020549190610be6565b61099b565b5060015b9392505050565b6000600f546004546105eb6104ac565b6105f59190611722565b6105189190611739565b6000546001600160a01b031633146106295760405162461bcd60e51b8152600401610547906116ec565b61064b620186a061064584600154610c1290919063ffffffff16565b90610c1e565b60115560015461066490620186a0906106459084610c12565b6012555050565b6000600f546002546105eb6104ac565b6000546001600160a01b031633146106a55760405162461bcd60e51b8152600401610547906116ec565b600a849055600b8390556106b9838561175b565b600c8190556106c990839061175b565b600d55600e819055600f54600c54118015906106e95750600f54600d5411155b61075b5760405162461bcd60e51b815260206004820152603860248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201527f6f7265207468616e207468652064656e6f6d696e61746f7200000000000000006064820152608401610547565b50505050565b6000546001600160a01b0316331461078b5760405162461bcd60e51b8152600401610547906116ec565b6001600160a01b03919091166000908152600760205260409020805460ff1916911515919091179055565b60006104a2338484610acb565b6000546001600160a01b031633146107ed5760405162461bcd60e51b8152600401610547906116ec565b6000612710846107fb6104ac565b6108059190611722565b61080f9190611739565b905060006127108461081f6104ac565b6108299190611722565b6108339190611739565b90506000612710846108436104ac565b61084d9190611722565b6108579190611739565b600287905560038690556004859055905060006108836103e8610645600561087d6104ac565b90610c12565b90508084101580156108955750808310155b80156108a15750808210155b6109045760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b6064820152608401610547565b50505050505050565b6000546001600160a01b031633146109375760405162461bcd60e51b8152600401610547906116ec565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6000600f546003546105eb6104ac565b6001600160a01b0383166109fd5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610547565b6001600160a01b038216610a5e5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610547565b6001600160a01b0383811660008181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006105d4828461176e565b610ad6838383610c2a565b610ae08383610dd9565b610aeb838383610e6e565b610af6838383610f5f565b610b008383611096565b6001600160a01b038316600090815260056020526040902054610b239082610abf565b6001600160a01b038416600090815260056020526040812091909155610b4984846110ad565b610b535781610b5e565b610b5e8484846110f3565b6001600160a01b038416600090815260056020526040902054909150610b8490826111b2565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bd89085815260200190565b60405180910390a350505050565b60008184841115610c0a5760405162461bcd60e51b81526004016105479190611510565b505050900390565b60006105d48284611722565b60006105d48284611739565b6001600160a01b038316610c8e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610547565b6001600160a01b038216610cf05760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610547565b60008111610d525760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610547565b6001600160a01b038316600090815260056020526040902054811115610dd45760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b6064820152608401610547565b505050565b6001600160a01b03821660009081526007602052604090205460ff16158015610e1b57506001600160a01b03811660009081526007602052604090205460ff16155b15610e6a57600954600160a01b900460ff16610e6a5760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b6044820152606401610547565b5050565b6001600160a01b03831660009081526007602052604090205460ff16158015610eb057506001600160a01b03821660009081526007602052604090205460ff16155b8015610eca57506009546001600160a01b03838116911614155b8015610ee157506001600160a01b03821661dead14155b15610dd457610eee6105db565b6001600160a01b038316600090815260056020526040902054610f1190836111b2565b1115610dd45760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610547565b6009546001600160a01b0384811691161461100557610f7c61098b565b81111580610fa257506001600160a01b03831660009081526007602052604090205460ff165b80610fc557506001600160a01b03821660009081526007602052604090205460ff165b6110055760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610547565b61100d61066b565b8111158061103357506001600160a01b03831660009081526007602052604090205460ff165b8061105657506001600160a01b03821660009081526007602052604090205460ff165b610dd45760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610547565b6110a082826111be565b15610e6a57610e6a611254565b6001600160a01b03821660009081526007602052604081205460ff161580156105d45750506001600160a01b031660009081526007602052604090205460ff1615919050565b600080611100858561136b565b11156111ab576000611123611115868661136b565b600f5461087d908690610c1e565b3060009081526005602052604090205490915061114090826111b2565b30600081815260056020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111919085815260200190565b60405180910390a36111a38382610abf565b9150506105d4565b5092915050565b60006105d4828461175b565b601154306000908152600560205260408120546010549192111590610100900460ff161580156111f0575060105460ff165b80156112055750600954600160a01b900460ff165b801561122a57506001600160a01b03841660009081526007602052604090205460ff16155b801561124357506009546001600160a01b038481169116145b801561124c5750805b949350505050565b6010805461ff0019166101001790553060009081526005602052604081205490506000611299600b546112936001600a546111b290919063ffffffff16565b906111b2565b90506112a4826113b6565b4760006112b18284610c1e565b905060006112ca600a5483610c1290919063ffffffff16565b9050801561131557604051732e5867a00c05235117dc3d4d71162c3eea8c415f9082156108fc029083906000818181858888f19350505050158015611313573d6000803e3d6000fd5b505b478015611358576013546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611356573d6000803e3d6000fd5b505b50506010805461ff001916905550505050565b6009546000906001600160a01b039081169083160361138d5750600d546104a6565b6009546001600160a01b03908116908416036113ac5750600c546104a6565b50600e5492915050565b60408051600280825260608201835260009260208301908036833701905050905030816000815181106113eb576113eb611781565b6001600160a01b03928316602091820292909201810191909152600854604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611444573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114689190611797565b8160018151811061147b5761147b611781565b6001600160a01b0392831660209182029290920101526008546114a1913091168461099b565b60085460405163791ac94760e01b81526001600160a01b039091169063791ac947906114da9085906000908690309042906004016117b4565b600060405180830381600087803b1580156114f457600080fd5b505af1158015611508573d6000803e3d6000fd5b505050505050565b600060208083528351808285015260005b8181101561153d57858101830151858201604001528201611521565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461157357600080fd5b50565b6000806040838503121561158957600080fd5b82356115948161155e565b946020939093013593505050565b6000806000606084860312156115b757600080fd5b83356115c28161155e565b925060208401356115d28161155e565b929592945050506040919091013590565b6000602082840312156115f557600080fd5b81356105d48161155e565b6000806040838503121561161357600080fd5b50508035926020909101359150565b6000806000806080858703121561163857600080fd5b5050823594602084013594506040840135936060013592509050565b6000806040838503121561166757600080fd5b82356116728161155e565b91506020830135801515811461168757600080fd5b809150509250929050565b600080604083850312156116a557600080fd5b82356116b08161155e565b915060208301356116878161155e565b6000806000606084860312156116d557600080fd5b505081359360208301359350604090920135919050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b80820281158282048414176104a6576104a661170c565b60008261175657634e487b7160e01b600052601260045260246000fd5b500490565b808201808211156104a6576104a661170c565b818103818111156104a6576104a661170c565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156117a957600080fd5b81516105d48161155e565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118045784516001600160a01b0316835293830193918301916001016117df565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212201feccd932e3de98f31ada43ff2c4a1aae3e02cb42207376768354b6d8c58c86864736f6c63430008130033

5757:11886:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7961:83;;;;;;;;;;-1:-1:-1;8031:5:0;;;;;;;;;;;;-1:-1:-1;;;8031:5:0;;;;7961:83;;;;;;;:::i;:::-;;;;;;;;9118:184;;;;;;;;;;-1:-1:-1;9118:184:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;9118:184:0;1023:187:1;9310:148:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;9310:148:0;1215:177:1;8238:136:0;;;;;;;;;;;;;:::i;:::-;;16855:442;;;;;;;;;;-1:-1:-1;16855:442:0;;;;;:::i;:::-;;:::i;3963:103::-;;;;;;;;;;-1:-1:-1;3963:103:0;;;;;:::i;:::-;4018:4;4053:5;-1:-1:-1;;;;;4042:16:0;;;4053:5;;4042:16;;3963:103;8147:83;;;;;;;;;;-1:-1:-1;8147:83:0;;6055:2;2252:36:1;;2240:2;2225:18;8147:83:0;2110:184:1;9466:128:0;;;;;;;;;;;;;:::i;6402:43::-;;;;;;;;;;-1:-1:-1;6402:43:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;15302:292;;;;;;;;;;-1:-1:-1;15302:292:0;;;;;:::i;:::-;;:::i;9602:121::-;;;;;;;;;;;;;:::i;11125:527::-;;;;;;;;;;-1:-1:-1;11125:527:0;;;;;:::i;:::-;;:::i;8482:119::-;;;;;;;;;;-1:-1:-1;8482:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;8575:18:0;8548:7;8575:18;;;:9;:18;;;;;;;8482:119;6473:28;;;;;;;;;;-1:-1:-1;6473:28:0;;;;-1:-1:-1;;;;;6473:28:0;;;;;;-1:-1:-1;;;;;3106:32:1;;;3088:51;;3076:2;3061:18;6473:28:0;2942:203:1;8382:92:0;;;;;;;;;;-1:-1:-1;8434:7:0;8461:5;-1:-1:-1;;;;;8461:5:0;8382:92;;8052:87;;;;;;;;;;-1:-1:-1;8124:7:0;;;;;;;;;;;;-1:-1:-1;;;8124:7:0;;;;8052:87;;8983:127;;;;;;;;;;-1:-1:-1;8983:127:0;;;;;:::i;:::-;;:::i;8609:190::-;;;;;;;;;;-1:-1:-1;8609:190:0;;;;;:::i;:::-;;:::i;8807:168::-;;;;;;;;;;-1:-1:-1;8807:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;8940:18:0;;;8913:7;8940:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8807:168;11660:708;;;;;;;;;;-1:-1:-1;11660:708:0;;;;;:::i;:::-;;:::i;4074:136::-;;;;;;;;;;-1:-1:-1;4074:136:0;;;;;:::i;:::-;;:::i;9731:132::-;;;;;;;;;;;;;:::i;9118:184::-;9218:4;9235:37;9244:10;9256:7;9265:6;9235:8;:37::i;:::-;-1:-1:-1;9290:4:0;9118:184;;;;;:::o;9310:148::-;8575:9;:18;;;;5865:42;9363:7;8575:18;;;;;9390:12;;9363:7;;9390:60;;8575:18;;9390:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;9383:67;;9310:148;:::o;8238:136::-;4018:4;4053:5;-1:-1:-1;;;;;4053:5:0;3913:10;4042:16;3897:38;;;;-1:-1:-1;;;3897:38:0;;;;;;;:::i;:::-;;;;;;;;;8305:4:::1;8294:8;:15:::0;8330:4:::1;8320:7;:14:::0;8345::::1;:21:::0;;-1:-1:-1;;;;8345:21:0::1;-1:-1:-1::0;;;8345:21:0::1;::::0;;8238:136::o;16855:442::-;16987:4;17004:36;17014:6;17022:9;17033:6;17004:9;:36::i;:::-;17051:216;17074:6;17095:10;17120:136;17174:6;17120:136;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;17120:19:0;;;;;;:11;:19;;;;;;;;17140:10;17120:31;;;;;;;;;:136;:35;:136::i;:::-;17051:8;:216::i;:::-;-1:-1:-1;17285:4:0;16855:442;;;;;;:::o;9466:128::-;9510:7;9575:11;;9554:17;;9538:13;:11;:13::i;:::-;:33;;;;:::i;:::-;9537:49;;;;:::i;15302:292::-;4018:4;4053:5;-1:-1:-1;;;;;4053:5:0;3913:10;4042:16;3897:38;;;;-1:-1:-1;;;3897:38:0;;;;;;;:::i;:::-;15451:53:::1;15496:6;15451:32;15468:14;15451:12;;:16;;:32;;;;:::i;:::-;:36:::0;::::1;:53::i;:::-;15435:13;:69:::0;15532:12:::1;::::0;:54:::1;::::0;15578:6:::1;::::0;15532:33:::1;::::0;15549:15;15532:16:::1;:33::i;:54::-;15515:14;:71:::0;-1:-1:-1;;15302:292:0:o;9602:121::-;9642:7;9704:11;;9686:14;;9670:13;:11;:13::i;11125:527::-;4018:4;4053:5;-1:-1:-1;;;;;4053:5:0;3913:10;4042:16;3897:38;;;;-1:-1:-1;;;3897:38:0;;;;;;;:::i;:::-;11293:12:::1;:25:::0;;;11329:14:::1;:29:::0;;;11380:25:::1;11346:12:::0;11308:10;11380:25:::1;:::i;:::-;11369:8;:36:::0;;;11426:21:::1;::::0;11437:10;;11426:21:::1;:::i;:::-;11416:7;:31:::0;11458:11:::1;:20:::0;;;11523:11:::1;::::0;11511:8:::1;::::0;:23:::1;::::0;::::1;::::0;:49:::1;;;11549:11;;11538:7;;:22;;11511:49;11489:155;;;::::0;-1:-1:-1;;;11489:155:0;;5738:2:1;11489:155:0::1;::::0;::::1;5720:21:1::0;5777:2;5757:18;;;5750:30;5816:34;5796:18;;;5789:62;5887:26;5867:18;;;5860:54;5931:19;;11489:155:0::1;5536:420:1::0;11489:155:0::1;11125:527:::0;;;;:::o;8983:127::-;4018:4;4053:5;-1:-1:-1;;;;;4053:5:0;3913:10;4042:16;3897:38;;;;-1:-1:-1;;;3897:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;9070:21:0;;;::::1;;::::0;;;:11:::1;:21;::::0;;;;:32;;-1:-1:-1;;9070:32:0::1;::::0;::::1;;::::0;;;::::1;::::0;;8983:127::o;8609:190::-;8712:4;8729:40;8739:10;8751:9;8762:6;8729:9;:40::i;11660:708::-;4018:4;4053:5;-1:-1:-1;;;;;4053:5:0;3913:10;4042:16;3897:38;;;;-1:-1:-1;;;3897:38:0;;;;;;;:::i;:::-;11812:13:::1;11858:5;11845:9;11829:13;:11;:13::i;:::-;:25;;;;:::i;:::-;11828:35;;;;:::i;:::-;11812:51;;11874:19;11932:5;11913:15;11897:13;:11;:13::i;:::-;:31;;;;:::i;:::-;11896:41;;;;:::i;:::-;11874:63;;11948:17;12002:5;11985:13;11969;:11;:13::i;:::-;:29;;;;:::i;:::-;11968:39;;;;:::i;:::-;12018:14;:26:::0;;;12055:19:::1;:37:::0;;;12103:17:::1;:33:::0;;;11948:59;-1:-1:-1;;12163:30:0::1;12188:4;12163:20;12181:1;12163:13;:11;:13::i;:::-;:17:::0;::::1;:20::i;:30::-;12147:46;;12235:5;12226;:14;;:38;;;;;12259:5;12244:11;:20;;12226:38;:60;;;;;12281:5;12268:9;:18;;12226:60;12204:156;;;::::0;-1:-1:-1;;;12204:156:0;;6163:2:1;12204:156:0::1;::::0;::::1;6145:21:1::0;6202:2;6182:18;;;6175:30;6241:34;6221:18;;;6214:62;-1:-1:-1;;;6292:18:1;;;6285:44;6346:19;;12204:156:0::1;5961:410:1::0;12204:156:0::1;11801:567;;;;11660:708:::0;;;:::o;4074:136::-;4018:4;4053:5;-1:-1:-1;;;;;4053:5:0;3913:10;4042:16;3897:38;;;;-1:-1:-1;;;3897:38:0;;;;;;;:::i;:::-;4150:5:::1;:11:::0;;-1:-1:-1;;;;;;4150:11:0::1;-1:-1:-1::0;;;;;4150:11:0;::::1;::::0;;::::1;::::0;;;4177:25:::1;::::0;3088:51:1;;;4177:25:0::1;::::0;3076:2:1;3061:18;4177:25:0::1;;;;;;;4074:136:::0;:::o;9731:132::-;9777:7;9844:11;;9821:19;;9805:13;:11;:13::i;17305:335::-;-1:-1:-1;;;;;17398:19:0;;17390:68;;;;-1:-1:-1;;;17390:68:0;;6794:2:1;17390:68:0;;;6776:21:1;6833:2;6813:18;;;6806:30;6872:34;6852:18;;;6845:62;-1:-1:-1;;;6923:18:1;;;6916:34;6967:19;;17390:68:0;6592:400:1;17390:68:0;-1:-1:-1;;;;;17477:21:0;;17469:68;;;;-1:-1:-1;;;17469:68:0;;7199:2:1;17469:68:0;;;7181:21:1;7238:2;7218:18;;;7211:30;7277:34;7257:18;;;7250:62;-1:-1:-1;;;7328:18:1;;;7321:32;7370:19;;17469:68:0;6997:398:1;17469:68:0;-1:-1:-1;;;;;17548:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;17600:32;;1361:25:1;;;17600:32:0;;1334:18:1;17600:32:0;;;;;;;17305:335;;;:::o;274:98::-;332:7;359:5;363:1;359;:5;:::i;10427:690::-;10550:37;10561:6;10569:9;10580:6;10550:10;:37::i;:::-;10598:38;10618:6;10626:9;10598:19;:38::i;:::-;10647:41;10662:6;10670:9;10681:6;10647:14;:41::i;:::-;10699:39;10712:6;10720:9;10731:6;10699:12;:39::i;:::-;10749:27;10758:6;10766:9;10749:8;:27::i;:::-;-1:-1:-1;;;;;10807:17:0;;;;;;:9;:17;;;;;;:29;;10829:6;10807:21;:29::i;:::-;-1:-1:-1;;;;;10787:17:0;;;;;;:9;:17;;;;;:49;;;;10872:32;10797:6;10894:9;10872:13;:32::i;:::-;:104;;10970:6;10872:104;;;10920:34;10928:6;10936:9;10947:6;10920:7;:34::i;:::-;-1:-1:-1;;;;;11010:20:0;;;;;;:9;:20;;;;;;10847:129;;-1:-1:-1;11010:40:0;;10847:129;11010:24;:40::i;:::-;-1:-1:-1;;;;;10987:20:0;;;;;;;:9;:20;;;;;;;:63;;;;11066:43;;;;;;;;;;11094:14;1361:25:1;;1349:2;1334:18;;1215:177;11066:43:0;;;;;;;;10539:578;10427:690;;;:::o;1939:240::-;2059:7;2120:12;2112:6;;;;2104:29;;;;-1:-1:-1;;;2104:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2155:5:0;;;1939:240::o;380:98::-;438:7;465:5;469:1;465;:5;:::i;486:98::-;544:7;571:5;575:1;571;:5;:::i;9871:548::-;-1:-1:-1;;;;;10009:20:0;;10001:70;;;;-1:-1:-1;;;10001:70:0;;7735:2:1;10001:70:0;;;7717:21:1;7774:2;7754:18;;;7747:30;7813:34;7793:18;;;7786:62;-1:-1:-1;;;7864:18:1;;;7857:35;7909:19;;10001:70:0;7533:401:1;10001:70:0;-1:-1:-1;;;;;10090:23:0;;10082:71;;;;-1:-1:-1;;;10082:71:0;;8141:2:1;10082:71:0;;;8123:21:1;8180:2;8160:18;;;8153:30;8219:34;8199:18;;;8192:62;-1:-1:-1;;;8270:18:1;;;8263:33;8313:19;;10082:71:0;7939:399:1;10082:71:0;10203:1;10186:6;:19;10164:110;;;;-1:-1:-1;;;10164:110:0;;8545:2:1;10164:110:0;;;8527:21:1;8584:2;8564:18;;;8557:30;8623:34;8603:18;;;8596:62;-1:-1:-1;;;8674:18:1;;;8667:39;8723:19;;10164:110:0;8343:405:1;10164:110:0;-1:-1:-1;;;;;8575:18:0;;8548:7;8575:18;;;:9;:18;;;;;;10307:6;:27;;10285:126;;;;-1:-1:-1;;;10285:126:0;;8955:2:1;10285:126:0;;;8937:21:1;8994:2;8974:18;;;8967:30;9033:34;9013:18;;;9006:62;-1:-1:-1;;;9084:18:1;;;9077:47;9141:19;;10285:126:0;8753:413:1;10285:126:0;9871:548;;;:::o;12376:242::-;-1:-1:-1;;;;;12495:19:0;;;;;;:11;:19;;;;;;;;12494:20;:47;;;;-1:-1:-1;;;;;;12519:22:0;;;;;;:11;:22;;;;;;;;12518:23;12494:47;12490:121;;;12566:14;;-1:-1:-1;;;12566:14:0;;;;12558:41;;;;-1:-1:-1;;;12558:41:0;;9373:2:1;12558:41:0;;;9355:21:1;9412:2;9392:18;;;9385:30;-1:-1:-1;;;9431:18:1;;;9424:44;9485:18;;12558:41:0;9171:338:1;12558:41:0;12376:242;;:::o;12626:496::-;-1:-1:-1;;;;;12779:19:0;;;;;;:11;:19;;;;;;;;12778:20;:60;;;;-1:-1:-1;;;;;;12816:22:0;;;;;;:11;:22;;;;;;;;12815:23;12778:60;:112;;;;-1:-1:-1;12876:13:0;;-1:-1:-1;;;;;12855:35:0;;;12876:13;;12855:35;;12778:112;:155;;;;-1:-1:-1;;;;;;12907:26:0;;5865:42;12907:26;;12778:155;12760:355;;;13024:13;:11;:13::i;:::-;-1:-1:-1;;;;;12987:20:0;;;;;;:9;:20;;;;;;:32;;13012:6;12987:24;:32::i;:::-;12986:51;;12960:143;;;;-1:-1:-1;;;12960:143:0;;9716:2:1;12960:143:0;;;9698:21:1;9755:2;9735:18;;;9728:30;9794:32;9774:18;;;9767:60;9844:18;;12960:143:0;9514:354:1;13130:570:0;13276:13;;-1:-1:-1;;;;;13266:23:0;;;13276:13;;13266:23;13262:251;;13342:15;:13;:15::i;:::-;13332:6;:25;;:69;;;-1:-1:-1;;;;;;13382:19:0;;;;;;:11;:19;;;;;;;;13332:69;:116;;;-1:-1:-1;;;;;;13426:22:0;;;;;;:11;:22;;;;;;;;13332:116;13306:195;;;;-1:-1:-1;;;13306:195:0;;10075:2:1;13306:195:0;;;10057:21:1;10114:2;10094:18;;;10087:30;-1:-1:-1;;;10133:18:1;;;10126:47;10190:18;;13306:195:0;9873:341:1;13306:195:0;13555:9;:7;:9::i;:::-;13545:6;:19;;:59;;;-1:-1:-1;;;;;;13585:19:0;;;;;;:11;:19;;;;;;;;13545:59;:102;;;-1:-1:-1;;;;;;13625:22:0;;;;;;:11;:22;;;;;;;;13545:102;13523:169;;;;-1:-1:-1;;;13523:169:0;;10075:2:1;13523:169:0;;;10057:21:1;10114:2;10094:18;;;10087:30;-1:-1:-1;;;10133:18:1;;;10126:47;10190:18;;13523:169:0;9873:341:1;15602:187:0;15704:33;15719:6;15727:9;15704:14;:33::i;:::-;15700:82;;;15754:16;:14;:16::i;15797:185::-;-1:-1:-1;;;;;15928:19:0;;15903:4;15928:19;;;:11;:19;;;;;;;;15927:20;:47;;;;-1:-1:-1;;;;;;;15952:22:0;;;;;:11;:22;;;;;;;;15951:23;;15797:185;-1:-1:-1;15797:185:0:o;16312:535::-;16432:7;16489:1;16456:30;16468:6;16476:9;16456:11;:30::i;:::-;:34;16452:364;;;16507:17;16527:91;16573:30;16585:6;16593:9;16573:11;:30::i;:::-;16538:11;;16527:23;;:6;;:10;:23::i;:91::-;16678:4;16660:24;;;;:9;:24;;;;;;16507:111;;-1:-1:-1;16660:39:0;;16507:111;16660:28;:39::i;:::-;16651:4;16633:24;;;;:9;:24;;;;;;;:66;;;;16719:42;;-1:-1:-1;;;;;16719:42:0;;;;;;;16751:9;1361:25:1;;1349:2;1334:18;;1215:177;16719:42:0;;;;;;;;16783:21;:6;16794:9;16783:10;:21::i;:::-;16776:28;;;;;16452:364;-1:-1:-1;16833:6:0;16312:535;-1:-1:-1;;16312:535:0:o;168:98::-;226:7;253:5;257:1;253;:5;:::i;14889:405::-;15063:13;;15053:4;14996;8575:18;;;:9;:18;;;;;;15108:8;;14996:4;;-1:-1:-1;15035:41:0;;15108:8;;;;;15107:9;:37;;;;-1:-1:-1;15133:11:0;;;;15107:37;:68;;;;-1:-1:-1;15161:14:0;;-1:-1:-1;;;15161:14:0;;;;15107:68;:105;;;;-1:-1:-1;;;;;;15193:19:0;;;;;;:11;:19;;;;;;;;15192:20;15107:105;:148;;;;-1:-1:-1;15242:13:0;;-1:-1:-1;;;;;15229:26:0;;;15242:13;;15229:26;15107:148;:179;;;;;15272:14;15107:179;15087:199;14889:405;-1:-1:-1;;;;14889:405:0:o;13708:721::-;7025:8;:15;;-1:-1:-1;;7025:15:0;;;;;13800:4:::1;-1:-1:-1::0;8575:18:0;;;:9;:18;;;;;;13765:41:::1;;13817:20;13855:39;13879:14;;13855:19;13872:1;13855:12;;:16;;:19;;;;:::i;:::-;:23:::0;::::1;:39::i;:::-;13817:88;;13918:24;13935:6;13918:16;:24::i;:::-;13976:21;13953:20;14030:30;13976:21:::0;14047:12;14030:16:::1;:30::i;:::-;14008:52;;14073:20;14096:29;14112:12;;14096:11;:15;;:29;;;;:::i;:::-;14073:52:::0;-1:-1:-1;14140:16:0;;14136:99:::1;;14173:50;::::0;7195:42:::1;::::0;14173:50;::::1;;;::::0;14210:12;;14173:50:::1;::::0;;;14210:12;7195:42;14173:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;14136:99;14272:21;14308:29:::0;;14304:118:::1;;14362:20;::::0;14354:56:::1;::::0;-1:-1:-1;;;;;14362:20:0;;::::1;::::0;14354:56;::::1;;;::::0;14393:16;;14362:20:::1;14354:56:::0;14362:20;14354:56;14393:16;14362:20;14354:56;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;14304:118;-1:-1:-1::0;;7063:8:0;:16;;-1:-1:-1;;7063:16:0;;;-1:-1:-1;;;;13708:721:0:o;15990:314::-;16131:13;;16094:7;;-1:-1:-1;;;;;16131:13:0;;;16118:26;;;;16114:73;;-1:-1:-1;16168:7:0;;16161:14;;16114:73;16211:13;;-1:-1:-1;;;;;16211:13:0;;;16201:23;;;;16197:71;;-1:-1:-1;16248:8:0;;16241:15;;16197:71;-1:-1:-1;16285:11:0;;15990:314;;;;:::o;14437:444::-;14527:16;;;14541:1;14527:16;;;;;;;;14503:21;;14527:16;;;;;;;;;;-1:-1:-1;14527:16:0;14503:40;;14572:4;14554;14559:1;14554:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;14554:23:0;;;:7;;;;;;;;;;:23;;;;14598:6;;:13;;;-1:-1:-1;;;14598:13:0;;;;:6;;;;;:11;;:13;;;;;14554:7;;14598:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14588:4;14593:1;14588:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;14588:23:0;;;:7;;;;;;;;;:23;14654:6;;14622:53;;14639:4;;14654:6;14663:11;14622:8;:53::i;:::-;14686:6;;:187;;-1:-1:-1;;;14686:187:0;;-1:-1:-1;;;;;14686:6:0;;;;:57;;:187;;14758:11;;14686:6;;14800:4;;14827;;14847:15;;14686:187;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14492:389;14437:444;:::o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;1858:247::-;1917:6;1970:2;1958:9;1949:7;1945:23;1941:32;1938:52;;;1986:1;1983;1976:12;1938:52;2025:9;2012:23;2044:31;2069:5;2044:31;:::i;2299:248::-;2367:6;2375;2428:2;2416:9;2407:7;2403:23;2399:32;2396:52;;;2444:1;2441;2434:12;2396:52;-1:-1:-1;;2467:23:1;;;2537:2;2522:18;;;2509:32;;-1:-1:-1;2299:248:1:o;2552:385::-;2638:6;2646;2654;2662;2715:3;2703:9;2694:7;2690:23;2686:33;2683:53;;;2732:1;2729;2722:12;2683:53;-1:-1:-1;;2755:23:1;;;2825:2;2810:18;;2797:32;;-1:-1:-1;2876:2:1;2861:18;;2848:32;;2927:2;2912:18;2899:32;;-1:-1:-1;2552:385:1;-1:-1:-1;2552:385:1:o;3150:416::-;3215:6;3223;3276:2;3264:9;3255:7;3251:23;3247:32;3244:52;;;3292:1;3289;3282:12;3244:52;3331:9;3318:23;3350:31;3375:5;3350:31;:::i;:::-;3400:5;-1:-1:-1;3457:2:1;3442:18;;3429:32;3499:15;;3492:23;3480:36;;3470:64;;3530:1;3527;3520:12;3470:64;3553:7;3543:17;;;3150:416;;;;;:::o;3571:388::-;3639:6;3647;3700:2;3688:9;3679:7;3675:23;3671:32;3668:52;;;3716:1;3713;3706:12;3668:52;3755:9;3742:23;3774:31;3799:5;3774:31;:::i;:::-;3824:5;-1:-1:-1;3881:2:1;3866:18;;3853:32;3894:33;3853:32;3894:33;:::i;3964:316::-;4041:6;4049;4057;4110:2;4098:9;4089:7;4085:23;4081:32;4078:52;;;4126:1;4123;4116:12;4078:52;-1:-1:-1;;4149:23:1;;;4219:2;4204:18;;4191:32;;-1:-1:-1;4270:2:1;4255:18;;;4242:32;;3964:316;-1:-1:-1;3964:316:1:o;4545:329::-;4747:2;4729:21;;;4786:1;4766:18;;;4759:29;-1:-1:-1;;;4819:2:1;4804:18;;4797:36;4865:2;4850:18;;4545:329::o;4879:127::-;4940:10;4935:3;4931:20;4928:1;4921:31;4971:4;4968:1;4961:15;4995:4;4992:1;4985:15;5011:168;5084:9;;;5115;;5132:15;;;5126:22;;5112:37;5102:71;;5153:18;;:::i;5184:217::-;5224:1;5250;5240:132;;5294:10;5289:3;5285:20;5282:1;5275:31;5329:4;5326:1;5319:15;5357:4;5354:1;5347:15;5240:132;-1:-1:-1;5386:9:1;;5184:217::o;5406:125::-;5471:9;;;5492:10;;;5489:36;;;5505:18;;:::i;7400:128::-;7467:9;;;7488:11;;;7485:37;;;7502:18;;:::i;10351:127::-;10412:10;10407:3;10403:20;10400:1;10393:31;10443:4;10440:1;10433:15;10467:4;10464:1;10457:15;10483:251;10553:6;10606:2;10594:9;10585:7;10581:23;10577:32;10574:52;;;10622:1;10619;10612:12;10574:52;10654:9;10648:16;10673:31;10698:5;10673:31;:::i;10739:980::-;11001:4;11049:3;11038:9;11034:19;11080:6;11069:9;11062:25;11106:2;11144:6;11139:2;11128:9;11124:18;11117:34;11187:3;11182:2;11171:9;11167:18;11160:31;11211:6;11246;11240:13;11277:6;11269;11262:22;11315:3;11304:9;11300:19;11293:26;;11354:2;11346:6;11342:15;11328:29;;11375:1;11385:195;11399:6;11396:1;11393:13;11385:195;;;11464:13;;-1:-1:-1;;;;;11460:39:1;11448:52;;11555:15;;;;11520:12;;;;11496:1;11414:9;11385:195;;;-1:-1:-1;;;;;;;11636:32:1;;;;11631:2;11616:18;;11609:60;-1:-1:-1;;;11700:3:1;11685:19;11678:35;11597:3;10739:980;-1:-1:-1;;;10739:980:1:o

ipfs://1feccd932e3de98f31ada43ff2c4a1aae3e02cb42207376768354b6d8c58c868