Contract

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(uint256 a, uint256 b)
•    - function trySub(uint256 a, uint256 b)
•    - function tryMul(uint256 a, uint256 b)
•    - function tryDiv(uint256 a, uint256 b)
•    - function tryMod(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b, st ...
• interface IERC20
•    - function totalSupply()
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address _owner, ad ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function isOwner(address account)
•    - function transferOwnership(address pa ...
• interface IFactory
•    - function createPair(address tokenA, a ...
•    - function getPair(address tokenA, addr ...
• interface IRouter
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•    - function removeLiquidityWithPermit(
•    - function swapExactETHForTokensSupport ...
•    - function swapExactTokensForETHSupport ...
•  contract MagicAI is IERC20, Ownabl ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function startTrading()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function isCont(address addr)
•    - function setisBot(address _address, b ...
•    - function setisExempt(address _address ...
•    - function approve(address spender, uin ...
•    - function totalSupply()
•    - function _maxWalletToken()
•    - function _maxTxAmount()
•    - function _maxTransferAmount()
•    - function preTxCheck(address sender, a ...
•    - function _transfer(address sender, ad ...
•    - function setStructure(uint256 _liquid ...
•    - function setParameters(uint256 _buy, ...
•    - function checkTradingAllowed(address ...
•    - function checkMaxWallet(address sende ...
•    - function swapbackCounters(address sen ...
•    - function checkTxLimit(address sender, ...
•    - function swapAndLiquify(uint256 token ...
•    - function addLiquidity(uint256 tokenAm ...
•    - function swapTokensForETH(uint256 tok ...
•    - function shouldSwapBack(address sende ...
•    - function swapBack(address sender, add ...
•    - function shouldTakeFee(address sender ...
•    - function getTotalFee(address sender, ...
•    - function takeFee(address sender, addr ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-02-27
*/

/**

https://t.me/magicai_official

https://twitter.com/magicai_erc

http://magic-ai.org

*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.16;


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 pair);
        function getPair(address tokenA, address tokenB) external view returns (address pair);
}

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 MagicAI is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = 'Magic AI';
    string private constant _symbol = 'MAGIC';
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 69000000 * (10 ** _decimals);
    uint256 private _maxTxAmountPercent = 200; // 10000;
    uint256 private _maxTransferPercent = 200;
    uint256 private _maxWalletPercent = 300;
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public isFeeExempt;
    mapping (address => bool) private isBot;
    IRouter router;
    address public pair;
    bool private tradingAllowed = false;
    uint256 private liquidityFee = 100;
    uint256 private marketingFee = 300;
    uint256 private developmentFee = 100;
    uint256 private burnFee = 0;
    uint256 private totalFee = 2000;
    uint256 private sellFee = 2000;
    uint256 private transferFee = 2000;
    uint256 private denominator = 10000;
    bool private swapEnabled = true;
    uint256 private swapTimes;
    bool private swapping; 
    uint256 private swapThreshold = ( _totalSupply * 200 ) / 100000;
    uint256 private _minTokenAmount = ( _totalSupply * 10 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}

    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal constant development_receiver = 0xaB98a9799121f2e8e7bFAE329ce800CD078e5B99; 
    address internal constant marketing_receiver = 0xB4424bc71f5dE6e5746b64C86FD2Ff804612fE21;
    address internal constant liquidity_receiver = 0xaB98a9799121f2e8e7bFAE329ce800CD078e5B99;

    constructor() Ownable(msg.sender) {
        IRouter _router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _pair = IFactory(_router.factory()).createPair(address(this), _router.WETH());
        router = _router;
        pair = _pair;
        isFeeExempt[address(this)] = true;
        isFeeExempt[liquidity_receiver] = 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 startTrading() external onlyOwner {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 isCont(address addr) internal view returns (bool) {uint size; assembly { size := extcodesize(addr) } return size > 0; }
    function setisBot(address _address, bool _enabled) external onlyOwner {isBot[_address] = _enabled;}
    function setisExempt(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 _maxWalletToken() public view returns (uint256) {return totalSupply() * _maxWalletPercent / denominator;}
    function _maxTxAmount() public view returns (uint256) {return totalSupply() * _maxTxAmountPercent / denominator;}
    function _maxTransferAmount() 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); 
        swapbackCounters(sender, recipient);
        checkTxLimit(sender, recipient, amount); 
        swapBack(sender, recipient, amount);
        _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 setStructure(uint256 _liquidity, uint256 _marketing, uint256 _burn, uint256 _development, uint256 _total, uint256 _sell, uint256 _trans) external onlyOwner {
        liquidityFee = _liquidity;
        marketingFee = _marketing;
        burnFee = _burn;
        developmentFee = _development;
        totalFee = _total;
        sellFee = _sell;
        transferFee = _trans;
        require(totalFee <= denominator.div(5) && sellFee <= denominator.div(5), "totalFee and sellFee cannot be more than 20%");
    }

    function setParameters(uint256 _buy, uint256 _trans, uint256 _wallet) external onlyOwner {
        uint256 newTx = (totalSupply() * _buy) / 10000;
        uint256 newTransfer = (totalSupply() * _trans) / 10000;
        uint256 newWallet = (totalSupply() * _wallet) / 10000;
        _maxTxAmountPercent = _buy;
        _maxTransferPercent = _trans;
        _maxWalletPercent = _wallet;
        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(pair) && recipient != address(DEAD)){
            require((_balances[recipient].add(amount)) <= _maxWalletToken(), "Exceeds maximum wallet amount.");}
    }

    function swapbackCounters(address sender, address recipient) internal {
        if(recipient == pair && !isFeeExempt[sender]){swapTimes += uint256(1);}
    }

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

    function swapAndLiquify(uint256 tokens) private lockTheSwap {
        uint256 _denominator = (liquidityFee.add(1).add(marketingFee).add(developmentFee)).mul(2);
        uint256 tokensToAddLiquidityWith = tokens.mul(liquidityFee).div(_denominator);
        uint256 toSwap = tokens.sub(tokensToAddLiquidityWith);
        uint256 initialBalance = address(this).balance;
        swapTokensForETH(toSwap);
        uint256 deltaBalance = address(this).balance.sub(initialBalance);
        uint256 unitBalance= deltaBalance.div(_denominator.sub(liquidityFee));
        uint256 ETHToAddLiquidityWith = unitBalance.mul(liquidityFee);
        if(ETHToAddLiquidityWith > uint256(0)){addLiquidity(tokensToAddLiquidityWith, ETHToAddLiquidityWith); }
        uint256 marketingAmt = unitBalance.mul(2).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 addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(router), tokenAmount);
        router.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            liquidity_receiver,
            block.timestamp);
    }

    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, uint256 amount) internal view returns (bool) {
        bool aboveMin = amount >= _minTokenAmount;
        bool aboveThreshold = balanceOf(address(this)) >= swapThreshold;
        return !swapping && swapEnabled && tradingAllowed && aboveMin && !isFeeExempt[sender] && recipient == pair && swapTimes >= uint256(2) && aboveThreshold;
    }

    function swapBack(address sender, address recipient, uint256 amount) internal {
        if(shouldSwapBack(sender, recipient, amount)){swapAndLiquify(swapThreshold); swapTimes = uint256(0);}
    }

    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(isBot[sender] || isBot[recipient]){return denominator.sub(uint256(100));}
        if(recipient == pair){return sellFee;}
        if(sender == pair){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);
        if(burnFee > uint256(0)){_transfer(address(this), address(DEAD), amount.div(denominator).mul(burnFee));}
        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":[],"name":"_maxTransferAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"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":[],"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":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_buy","type":"uint256"},{"internalType":"uint256","name":"_trans","type":"uint256"},{"internalType":"uint256","name":"_wallet","type":"uint256"}],"name":"setParameters","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_liquidity","type":"uint256"},{"internalType":"uint256","name":"_marketing","type":"uint256"},{"internalType":"uint256","name":"_burn","type":"uint256"},{"internalType":"uint256","name":"_development","type":"uint256"},{"internalType":"uint256","name":"_total","type":"uint256"},{"internalType":"uint256","name":"_sell","type":"uint256"},{"internalType":"uint256","name":"_trans","type":"uint256"}],"name":"setStructure","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"bool","name":"_enabled","type":"bool"}],"name":"setisBot","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"bool","name":"_enabled","type":"bool"}],"name":"setisExempt","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startTrading","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":[{"internalType":"address payable","name":"adr","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126009600a62000458565b620000229063041cdb4062000470565b600181815560c86002819055600381905561012c6004819055600a805460ff60a01b191690556064600b819055600c91909155600d556000600e556107d0600f81905560108190556011556127106012556013805460ff1916909217909155620186a091620000919162000470565b6200009d919062000492565b601655620186a0600154600a620000b5919062000470565b620000c1919062000492565b601755348015620000d157600080fd5b50600080546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa15801562000139573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200015f9190620004b5565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001ad573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001d39190620004b5565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801562000221573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002479190620004b5565b600980546001600160a01b038581166001600160a01b031992831617909255600a805492841692909116919091179055306000908152600760209081526040808320805460ff1990811660019081179092557f4a93f242e7bec5e865882907bf74b8fbfd8d73b8afb3cbf6c0d3e26e06adba2180548216831790557f13b424a9f01212c32cf9d25280b0e25d062bd6536bb34d026fac0e3aa696bdb68054821683179055338086528386208054909216831790915590546005845282852081905591519182529394507fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050620004e0565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200039a5781600019048211156200037e576200037e62000343565b808516156200038c57918102915b93841c93908002906200035e565b509250929050565b600082620003b35750600162000452565b81620003c25750600062000452565b8160018114620003db5760028114620003e65762000406565b600191505062000452565b60ff841115620003fa57620003fa62000343565b50506001821b62000452565b5060208310610133831016604e8410600b84101617156200042b575081810a62000452565b62000437838362000359565b80600019048211156200044e576200044e62000343565b0290505b92915050565b60006200046960ff841683620003a2565b9392505050565b60008160001904831182151516156200048d576200048d62000343565b500290565b600082620004b057634e487b7160e01b600052601260045260246000fd5b500490565b600060208284031215620004c857600080fd5b81516001600160a01b03811681146200046957600080fd5b611ac680620004f06000396000f3fe6080604052600436106101395760003560e01c806348ff2b8b116100ab5780638c41180e1161006f5780638c41180e1461039457806395d89b41146103b4578063a8aa1b31146103e2578063a9059cbb14610402578063dd62ed3e14610422578063f2fde38b1461046857600080fd5b806348ff2b8b146102e257806370a082311461030257806378109e54146103385780637d1db4a51461034d578063893d20e81461036257600080fd5b806323b872dd116100fd57806323b872dd14610212578063293230b8146102325780632f54bf6e14610247578063313ce5671461027657806334c5d2ce146102925780633f4218e0146102b257600080fd5b8063044019301461014557806306fdde0314610167578063095ea7b3146101aa57806318160ddd146101da5780631f976b7e146101fd57600080fd5b3661014057005b600080fd5b34801561015157600080fd5b50610165610160366004611725565b610488565b005b34801561017357600080fd5b506040805180820190915260088152674d6167696320414960c01b60208201525b6040516101a19190611771565b60405180910390f35b3480156101b657600080fd5b506101ca6101c53660046117d7565b610576565b60405190151581526020016101a1565b3480156101e657600080fd5b506101ef61058d565b6040519081526020016101a1565b34801561020957600080fd5b506101ef6105fe565b34801561021e57600080fd5b506101ca61022d366004611803565b610622565b34801561023e57600080fd5b5061016561068c565b34801561025357600080fd5b506101ca610262366004611844565b6000546001600160a01b0391821691161490565b34801561028257600080fd5b50604051600981526020016101a1565b34801561029e57600080fd5b506101656102ad366004611861565b6106cb565b3480156102be57600080fd5b506101ca6102cd366004611844565b60076020526000908152604090205460ff1681565b3480156102ee57600080fd5b506101656102fd36600461188d565b610812565b34801561030e57600080fd5b506101ef61031d366004611844565b6001600160a01b031660009081526005602052604090205490565b34801561034457600080fd5b506101ef610867565b34801561035957600080fd5b506101ef610877565b34801561036e57600080fd5b506000546001600160a01b03165b6040516001600160a01b0390911681526020016101a1565b3480156103a057600080fd5b506101656103af36600461188d565b610887565b3480156103c057600080fd5b506040805180820190915260058152644d4147494360d81b6020820152610194565b3480156103ee57600080fd5b50600a5461037c906001600160a01b031681565b34801561040e57600080fd5b506101ca61041d3660046117d7565b6108dc565b34801561042e57600080fd5b506101ef61043d3660046118cb565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561047457600080fd5b50610165610483366004611844565b6108e9565b6000546001600160a01b031633146104bb5760405162461bcd60e51b81526004016104b2906118f9565b60405180910390fd5b600b879055600c869055600e859055600d849055600f839055601082905560118190556012546104ec906005610967565b600f541115801561050c5750601254610506906005610967565b60105411155b61056d5760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b60648201526084016104b2565b50505050505050565b6000610583338484610973565b5060015b92915050565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead60009081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba5460015491926105f99290916105f39190610a97565b90610a97565b905090565b600060125460035461060e61058d565b610618919061192f565b6105f9919061194e565b600061062f848484610aa3565b610681843361067c85604051806060016040528060288152602001611a69602891396001600160a01b038a1660009081526006602090815260408083203384529091529020549190610bc9565b610973565b5060015b9392505050565b6000546001600160a01b031633146106b65760405162461bcd60e51b81526004016104b2906118f9565b600a805460ff60a01b1916600160a01b179055565b6000546001600160a01b031633146106f55760405162461bcd60e51b81526004016104b2906118f9565b60006127108461070361058d565b61070d919061192f565b610717919061194e565b905060006127108461072761058d565b610731919061192f565b61073b919061194e565b905060006127108461074b61058d565b610755919061192f565b61075f919061194e565b600287905560038690556004859055905060006107916103e861078b600561078561058d565b90610bf5565b90610967565b90508084101580156107a35750808310155b80156107af5750808210155b61056d5760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b60648201526084016104b2565b6000546001600160a01b0316331461083c5760405162461bcd60e51b81526004016104b2906118f9565b6001600160a01b03919091166000908152600760205260409020805460ff1916911515919091179055565b600060125460045461060e61058d565b600060125460025461060e61058d565b6000546001600160a01b031633146108b15760405162461bcd60e51b81526004016104b2906118f9565b6001600160a01b03919091166000908152600860205260409020805460ff1916911515919091179055565b6000610583338484610aa3565b6000546001600160a01b031633146109135760405162461bcd60e51b81526004016104b2906118f9565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6000610685828461194e565b6001600160a01b0383166109d55760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104b2565b6001600160a01b038216610a365760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104b2565b6001600160a01b0383811660008181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006106858284611970565b610aae838383610c01565b610ab88383610db0565b610ac3838383610e45565b610acd8383610f36565b610ad8838383610f8d565b610ae38383836110c4565b6001600160a01b038316600090815260056020526040902054610b069082610a97565b6001600160a01b038416600090815260056020526040812091909155610b2c84846110e9565b610b365781610b41565b610b4184848461112f565b6001600160a01b038416600090815260056020526040902054909150610b67908261121d565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bbb9085815260200190565b60405180910390a350505050565b60008184841115610bed5760405162461bcd60e51b81526004016104b29190611771565b505050900390565b6000610685828461192f565b6001600160a01b038316610c655760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104b2565b6001600160a01b038216610cc75760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104b2565b60008111610d295760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104b2565b6001600160a01b038316600090815260056020526040902054811115610dab5760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016104b2565b505050565b6001600160a01b03821660009081526007602052604090205460ff16158015610df257506001600160a01b03811660009081526007602052604090205460ff16155b15610e4157600a54600160a01b900460ff16610e415760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016104b2565b5050565b6001600160a01b03831660009081526007602052604090205460ff16158015610e8757506001600160a01b03821660009081526007602052604090205460ff16155b8015610ea15750600a546001600160a01b03838116911614155b8015610eb857506001600160a01b03821661dead14155b15610dab57610ec5610867565b6001600160a01b038316600090815260056020526040902054610ee8908361121d565b1115610dab5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016104b2565b600a546001600160a01b038281169116148015610f6c57506001600160a01b03821660009081526007602052604090205460ff16155b15610e4157600160146000828254610f849190611983565b90915550505050565b600a546001600160a01b0384811691161461103357610faa6105fe565b81111580610fd057506001600160a01b03831660009081526007602052604090205460ff165b80610ff357506001600160a01b03821660009081526007602052604090205460ff165b6110335760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104b2565b61103b610877565b8111158061106157506001600160a01b03831660009081526007602052604090205460ff165b8061108457506001600160a01b03821660009081526007602052604090205460ff165b610dab5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104b2565b6110cf838383611229565b15610dab576110df6016546112db565b6000601455505050565b6001600160a01b03821660009081526007602052604081205460ff161580156106855750506001600160a01b031660009081526007602052604090205460ff1615919050565b60008061113c8585611466565b111561121657600061115f6111518686611466565b601254610785908690610967565b3060009081526005602052604090205490915061117c908261121d565b30600081815260056020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111cd9085815260200190565b60405180910390a3600e5415611204576112043061dead6111ff600e546107856012548961096790919063ffffffff16565b610aa3565b61120e8382610a97565b915050610685565b5092915050565b60006106858284611983565b6017546016543060009081526005602052604081205460155491938510159211159060ff1615801561125d575060135460ff165b80156112725750600a54600160a01b900460ff165b801561127b5750815b80156112a057506001600160a01b03861660009081526007602052604090205460ff16155b80156112b95750600a546001600160a01b038681169116145b80156112c85750600260145410155b80156112d15750805b9695505050505050565b6015805460ff19166001908117909155600d54600c54600b546000936113159360029361078593919261130f92839161121d565b9061121d565b905060006113328261078b600b5486610bf590919063ffffffff16565b905060006113408483610a97565b90504761134c82611507565b60006113584783610a97565b9050600061137b611374600b5488610a9790919063ffffffff16565b8390610967565b90506000611394600b5483610bf590919063ffffffff16565b905080156113a6576113a68682611661565b600c546000906113bb90610785856002610bf5565b905080156114065760405173b4424bc71f5de6e5746b64c86fd2ff804612fe219082156108fc029083906000818181858888f19350505050158015611404573d6000803e3d6000fd5b505b4780156114505760405173ab98a9799121f2e8e7bfae329ce800cd078e5b999082156108fc029083906000818181858888f1935050505015801561144e573d6000803e3d6000fd5b505b50506015805460ff191690555050505050505050565b6001600160a01b03821660009081526008602052604081205460ff16806114a557506001600160a01b03821660009081526008602052604090205460ff165b156114bf576012546114b8906064610a97565b9050610587565b600a546001600160a01b03908116908316036114de5750601054610587565b600a546001600160a01b03908116908416036114fd5750600f54610587565b5060115492915050565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061153c5761153c611996565b6001600160a01b03928316602091820292909201810191909152600954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611595573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115b991906119ac565b816001815181106115cc576115cc611996565b6001600160a01b0392831660209182029290920101526009546115f29130911684610973565b60095460405163791ac94760e01b81526001600160a01b039091169063791ac9479061162b9085906000908690309042906004016119c9565b600060405180830381600087803b15801561164557600080fd5b505af1158015611659573d6000803e3d6000fd5b505050505050565b6009546116799030906001600160a01b031684610973565b60095460405163f305d71960e01b815230600482015260248101849052600060448201819052606482015273ab98a9799121f2e8e7bfae329ce800cd078e5b9960848201524260a48201526001600160a01b039091169063f305d71990839060c40160606040518083038185885af11580156116f9573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061171e9190611a3a565b5050505050565b600080600080600080600060e0888a03121561174057600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b600060208083528351808285015260005b8181101561179e57858101830151858201604001528201611782565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146117d457600080fd5b50565b600080604083850312156117ea57600080fd5b82356117f5816117bf565b946020939093013593505050565b60008060006060848603121561181857600080fd5b8335611823816117bf565b92506020840135611833816117bf565b929592945050506040919091013590565b60006020828403121561185657600080fd5b8135610685816117bf565b60008060006060848603121561187657600080fd5b505081359360208301359350604090920135919050565b600080604083850312156118a057600080fd5b82356118ab816117bf565b9150602083013580151581146118c057600080fd5b809150509250929050565b600080604083850312156118de57600080fd5b82356118e9816117bf565b915060208301356118c0816117bf565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b600081600019048311821515161561194957611949611919565b500290565b60008261196b57634e487b7160e01b600052601260045260246000fd5b500490565b8181038181111561058757610587611919565b8082018082111561058757610587611919565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156119be57600080fd5b8151610685816117bf565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611a195784516001600160a01b0316835293830193918301916001016119f4565b50506001600160a01b03969096166060850152505050608001529392505050565b600080600060608486031215611a4f57600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220cb26c35564f497584837fe462d64f8ce3f0cf8445dcaf2c46364df43c06b331064736f6c63430008100033

0x6080604052600436106101395760003560e01c806348ff2b8b116100ab5780638c41180e1161006f5780638c41180e1461039457806395d89b41146103b4578063a8aa1b31146103e2578063a9059cbb14610402578063dd62ed3e14610422578063f2fde38b1461046857600080fd5b806348ff2b8b146102e257806370a082311461030257806378109e54146103385780637d1db4a51461034d578063893d20e81461036257600080fd5b806323b872dd116100fd57806323b872dd14610212578063293230b8146102325780632f54bf6e14610247578063313ce5671461027657806334c5d2ce146102925780633f4218e0146102b257600080fd5b8063044019301461014557806306fdde0314610167578063095ea7b3146101aa57806318160ddd146101da5780631f976b7e146101fd57600080fd5b3661014057005b600080fd5b34801561015157600080fd5b50610165610160366004611725565b610488565b005b34801561017357600080fd5b506040805180820190915260088152674d6167696320414960c01b60208201525b6040516101a19190611771565b60405180910390f35b3480156101b657600080fd5b506101ca6101c53660046117d7565b610576565b60405190151581526020016101a1565b3480156101e657600080fd5b506101ef61058d565b6040519081526020016101a1565b34801561020957600080fd5b506101ef6105fe565b34801561021e57600080fd5b506101ca61022d366004611803565b610622565b34801561023e57600080fd5b5061016561068c565b34801561025357600080fd5b506101ca610262366004611844565b6000546001600160a01b0391821691161490565b34801561028257600080fd5b50604051600981526020016101a1565b34801561029e57600080fd5b506101656102ad366004611861565b6106cb565b3480156102be57600080fd5b506101ca6102cd366004611844565b60076020526000908152604090205460ff1681565b3480156102ee57600080fd5b506101656102fd36600461188d565b610812565b34801561030e57600080fd5b506101ef61031d366004611844565b6001600160a01b031660009081526005602052604090205490565b34801561034457600080fd5b506101ef610867565b34801561035957600080fd5b506101ef610877565b34801561036e57600080fd5b506000546001600160a01b03165b6040516001600160a01b0390911681526020016101a1565b3480156103a057600080fd5b506101656103af36600461188d565b610887565b3480156103c057600080fd5b506040805180820190915260058152644d4147494360d81b6020820152610194565b3480156103ee57600080fd5b50600a5461037c906001600160a01b031681565b34801561040e57600080fd5b506101ca61041d3660046117d7565b6108dc565b34801561042e57600080fd5b506101ef61043d3660046118cb565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561047457600080fd5b50610165610483366004611844565b6108e9565b6000546001600160a01b031633146104bb5760405162461bcd60e51b81526004016104b2906118f9565b60405180910390fd5b600b879055600c869055600e859055600d849055600f839055601082905560118190556012546104ec906005610967565b600f541115801561050c5750601254610506906005610967565b60105411155b61056d5760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b60648201526084016104b2565b50505050505050565b6000610583338484610973565b5060015b92915050565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead60009081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba5460015491926105f99290916105f39190610a97565b90610a97565b905090565b600060125460035461060e61058d565b610618919061192f565b6105f9919061194e565b600061062f848484610aa3565b610681843361067c85604051806060016040528060288152602001611a69602891396001600160a01b038a1660009081526006602090815260408083203384529091529020549190610bc9565b610973565b5060015b9392505050565b6000546001600160a01b031633146106b65760405162461bcd60e51b81526004016104b2906118f9565b600a805460ff60a01b1916600160a01b179055565b6000546001600160a01b031633146106f55760405162461bcd60e51b81526004016104b2906118f9565b60006127108461070361058d565b61070d919061192f565b610717919061194e565b905060006127108461072761058d565b610731919061192f565b61073b919061194e565b905060006127108461074b61058d565b610755919061192f565b61075f919061194e565b600287905560038690556004859055905060006107916103e861078b600561078561058d565b90610bf5565b90610967565b90508084101580156107a35750808310155b80156107af5750808210155b61056d5760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b60648201526084016104b2565b6000546001600160a01b0316331461083c5760405162461bcd60e51b81526004016104b2906118f9565b6001600160a01b03919091166000908152600760205260409020805460ff1916911515919091179055565b600060125460045461060e61058d565b600060125460025461060e61058d565b6000546001600160a01b031633146108b15760405162461bcd60e51b81526004016104b2906118f9565b6001600160a01b03919091166000908152600860205260409020805460ff1916911515919091179055565b6000610583338484610aa3565b6000546001600160a01b031633146109135760405162461bcd60e51b81526004016104b2906118f9565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6000610685828461194e565b6001600160a01b0383166109d55760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104b2565b6001600160a01b038216610a365760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104b2565b6001600160a01b0383811660008181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006106858284611970565b610aae838383610c01565b610ab88383610db0565b610ac3838383610e45565b610acd8383610f36565b610ad8838383610f8d565b610ae38383836110c4565b6001600160a01b038316600090815260056020526040902054610b069082610a97565b6001600160a01b038416600090815260056020526040812091909155610b2c84846110e9565b610b365781610b41565b610b4184848461112f565b6001600160a01b038416600090815260056020526040902054909150610b67908261121d565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bbb9085815260200190565b60405180910390a350505050565b60008184841115610bed5760405162461bcd60e51b81526004016104b29190611771565b505050900390565b6000610685828461192f565b6001600160a01b038316610c655760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104b2565b6001600160a01b038216610cc75760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104b2565b60008111610d295760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104b2565b6001600160a01b038316600090815260056020526040902054811115610dab5760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016104b2565b505050565b6001600160a01b03821660009081526007602052604090205460ff16158015610df257506001600160a01b03811660009081526007602052604090205460ff16155b15610e4157600a54600160a01b900460ff16610e415760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016104b2565b5050565b6001600160a01b03831660009081526007602052604090205460ff16158015610e8757506001600160a01b03821660009081526007602052604090205460ff16155b8015610ea15750600a546001600160a01b03838116911614155b8015610eb857506001600160a01b03821661dead14155b15610dab57610ec5610867565b6001600160a01b038316600090815260056020526040902054610ee8908361121d565b1115610dab5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016104b2565b600a546001600160a01b038281169116148015610f6c57506001600160a01b03821660009081526007602052604090205460ff16155b15610e4157600160146000828254610f849190611983565b90915550505050565b600a546001600160a01b0384811691161461103357610faa6105fe565b81111580610fd057506001600160a01b03831660009081526007602052604090205460ff165b80610ff357506001600160a01b03821660009081526007602052604090205460ff165b6110335760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104b2565b61103b610877565b8111158061106157506001600160a01b03831660009081526007602052604090205460ff165b8061108457506001600160a01b03821660009081526007602052604090205460ff165b610dab5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104b2565b6110cf838383611229565b15610dab576110df6016546112db565b6000601455505050565b6001600160a01b03821660009081526007602052604081205460ff161580156106855750506001600160a01b031660009081526007602052604090205460ff1615919050565b60008061113c8585611466565b111561121657600061115f6111518686611466565b601254610785908690610967565b3060009081526005602052604090205490915061117c908261121d565b30600081815260056020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111cd9085815260200190565b60405180910390a3600e5415611204576112043061dead6111ff600e546107856012548961096790919063ffffffff16565b610aa3565b61120e8382610a97565b915050610685565b5092915050565b60006106858284611983565b6017546016543060009081526005602052604081205460155491938510159211159060ff1615801561125d575060135460ff165b80156112725750600a54600160a01b900460ff165b801561127b5750815b80156112a057506001600160a01b03861660009081526007602052604090205460ff16155b80156112b95750600a546001600160a01b038681169116145b80156112c85750600260145410155b80156112d15750805b9695505050505050565b6015805460ff19166001908117909155600d54600c54600b546000936113159360029361078593919261130f92839161121d565b9061121d565b905060006113328261078b600b5486610bf590919063ffffffff16565b905060006113408483610a97565b90504761134c82611507565b60006113584783610a97565b9050600061137b611374600b5488610a9790919063ffffffff16565b8390610967565b90506000611394600b5483610bf590919063ffffffff16565b905080156113a6576113a68682611661565b600c546000906113bb90610785856002610bf5565b905080156114065760405173b4424bc71f5de6e5746b64c86fd2ff804612fe219082156108fc029083906000818181858888f19350505050158015611404573d6000803e3d6000fd5b505b4780156114505760405173ab98a9799121f2e8e7bfae329ce800cd078e5b999082156108fc029083906000818181858888f1935050505015801561144e573d6000803e3d6000fd5b505b50506015805460ff191690555050505050505050565b6001600160a01b03821660009081526008602052604081205460ff16806114a557506001600160a01b03821660009081526008602052604090205460ff165b156114bf576012546114b8906064610a97565b9050610587565b600a546001600160a01b03908116908316036114de5750601054610587565b600a546001600160a01b03908116908416036114fd5750600f54610587565b5060115492915050565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061153c5761153c611996565b6001600160a01b03928316602091820292909201810191909152600954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611595573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115b991906119ac565b816001815181106115cc576115cc611996565b6001600160a01b0392831660209182029290920101526009546115f29130911684610973565b60095460405163791ac94760e01b81526001600160a01b039091169063791ac9479061162b9085906000908690309042906004016119c9565b600060405180830381600087803b15801561164557600080fd5b505af1158015611659573d6000803e3d6000fd5b505050505050565b6009546116799030906001600160a01b031684610973565b60095460405163f305d71960e01b815230600482015260248101849052600060448201819052606482015273ab98a9799121f2e8e7bfae329ce800cd078e5b9960848201524260a48201526001600160a01b039091169063f305d71990839060c40160606040518083038185885af11580156116f9573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061171e9190611a3a565b5050505050565b600080600080600080600060e0888a03121561174057600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b600060208083528351808285015260005b8181101561179e57858101830151858201604001528201611782565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146117d457600080fd5b50565b600080604083850312156117ea57600080fd5b82356117f5816117bf565b946020939093013593505050565b60008060006060848603121561181857600080fd5b8335611823816117bf565b92506020840135611833816117bf565b929592945050506040919091013590565b60006020828403121561185657600080fd5b8135610685816117bf565b60008060006060848603121561187657600080fd5b505081359360208301359350604090920135919050565b600080604083850312156118a057600080fd5b82356118ab816117bf565b9150602083013580151581146118c057600080fd5b809150509250929050565b600080604083850312156118de57600080fd5b82356118e9816117bf565b915060208301356118c0816117bf565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b600081600019048311821515161561194957611949611919565b500290565b60008261196b57634e487b7160e01b600052601260045260246000fd5b500490565b8181038181111561058757610587611919565b8082018082111561058757610587611919565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156119be57600080fd5b8151610685816117bf565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611a195784516001600160a01b0316835293830193918301916001016119f4565b50506001600160a01b03969096166060850152505050608001529392505050565b600080600060608486031215611a4f57600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220cb26c35564f497584837fe462d64f8ce3f0cf8445dcaf2c46364df43c06b331064736f6c63430008100033

4714:11615:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9962:527;;;;;;;;;;-1:-1:-1;9962:527:0;;;;;:::i;:::-;;:::i;:::-;;7058:67;;;;;;;;;;-1:-1:-1;7118:5:0;;;;;;;;;;;;-1:-1:-1;;;7118:5:0;;;;7058:67;;;;;;;:::i;:::-;;;;;;;;8178:133;;;;;;;;;;-1:-1:-1;8178:133:0;;;;;:::i;:::-;;:::i;:::-;;;1785:14:1;;1778:22;1760:41;;1748:2;1733:18;8178:133:0;1620:187:1;8317:132:0;;;;;;;;;;;;;:::i;:::-;;;1958:25:1;;;1946:2;1931:18;8317:132:0;1812:177:1;8694:119:0;;;;;;;;;;;;;:::i;15672:309::-;;;;;;;;;;-1:-1:-1;15672:309:0;;;;;:::i;:::-;;:::i;7281:67::-;;;;;;;;;;;;;:::i;3094:87::-;;;;;;;;;;-1:-1:-1;3094:87:0;;;;;:::i;:::-;3149:4;3174:5;-1:-1:-1;;;;;3163:16:0;;;3174:5;;3163:16;;3094:87;7208:67;;;;;;;;;;-1:-1:-1;7208:67:0;;4922:1;2849:36:1;;2837:2;2822:18;7208:67:0;2707:184:1;10497:584:0;;;;;;;;;;-1:-1:-1;10497:584:0;;;;;:::i;:::-;;:::i;5269:44::-;;;;;;;;;;-1:-1:-1;5269:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;8064:108;;;;;;;;;;-1:-1:-1;8064:108:0;;;;;:::i;:::-;;:::i;7438:103::-;;;;;;;;;;-1:-1:-1;7438:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;7521:18:0;7504:7;7521:18;;;:9;:18;;;;;;;7438:103;8455:114;;;;;;;;;;;;;:::i;8575:113::-;;;;;;;;;;;;;:::i;7354:78::-;;;;;;;;;;-1:-1:-1;7406:7:0;7424:5;-1:-1:-1;;;;;7424:5:0;7354:78;;;-1:-1:-1;;;;;3802:32:1;;;3784:51;;3772:2;3757:18;7354:78:0;3638:203:1;7959:99:0;;;;;;;;;;-1:-1:-1;7959:99:0;;;;;:::i;:::-;;:::i;7131:71::-;;;;;;;;;;-1:-1:-1;7193:7:0;;;;;;;;;;;;-1:-1:-1;;;7193:7:0;;;;7131:71;;5387:19;;;;;;;;;;-1:-1:-1;5387:19:0;;;;-1:-1:-1;;;;;5387:19:0;;;7547:139;;;;;;;;;;-1:-1:-1;7547:139:0;;;;;:::i;:::-;;:::i;7692:127::-;;;;;;;;;;-1:-1:-1;7692:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;7790:18:0;;;7773:7;7790:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7692:127;3187:111;;;;;;;;;;-1:-1:-1;3187:111:0;;;;;:::i;:::-;;:::i;9962:527::-;3149:4;3174:5;-1:-1:-1;;;;;3174:5:0;3061:10;3163:16;3045:38;;;;-1:-1:-1;;;3045:38:0;;;;;;;:::i;:::-;;;;;;;;;10138:12:::1;:25:::0;;;10174:12:::1;:25:::0;;;10210:7:::1;:15:::0;;;10236:14:::1;:29:::0;;;10276:8:::1;:17:::0;;;10304:7:::1;:15:::0;;;10330:11:::1;:20:::0;;;10381:11:::1;::::0;:18:::1;::::0;10397:1:::1;10381:15;:18::i;:::-;10369:8;;:30;;:63;;;;-1:-1:-1::0;10414:11:0::1;::::0;:18:::1;::::0;10430:1:::1;10414:15;:18::i;:::-;10403:7;;:29;;10369:63;10361:120;;;::::0;-1:-1:-1;;;10361:120:0;;5035:2:1;10361:120:0::1;::::0;::::1;5017:21:1::0;5074:2;5054:18;;;5047:30;5113:34;5093:18;;;5086:62;-1:-1:-1;;;5164:18:1;;;5157:42;5216:19;;10361:120:0::1;4833:408:1::0;10361:120:0::1;9962:527:::0;;;;;;;:::o;8178:133::-;8253:4;8260:37;8269:10;8281:7;8290:6;8260:8;:37::i;:::-;-1:-1:-1;8305:4:0;8178:133;;;;;:::o;8317:132::-;7521:9;:18;;;;6113:42;8370:7;7521:18;;;;;8387:12;;8370:7;;8387:60;;7521:18;;8387:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;8380:67;;8317:132;:::o;8694:119::-;8745:7;8800:11;;8778:19;;8762:13;:11;:13::i;:::-;:35;;;;:::i;:::-;:49;;;;:::i;15672:309::-;15770:4;15787:36;15797:6;15805:9;15816:6;15787:9;:36::i;:::-;15834:117;15843:6;15851:10;15863:87;15899:6;15863:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15863:19:0;;;;;;:11;:19;;;;;;;;15883:10;15863:31;;;;;;;;;:87;:35;:87::i;:::-;15834:8;:117::i;:::-;-1:-1:-1;15969:4:0;15672:309;;;;;;:::o;7281:67::-;3149:4;3174:5;-1:-1:-1;;;;;3174:5:0;3061:10;3163:16;3045:38;;;;-1:-1:-1;;;3045:38:0;;;;;;;:::i;:::-;7325:14:::1;:21:::0;;-1:-1:-1;;;;7325:21:0::1;-1:-1:-1::0;;;7325:21:0::1;::::0;;7281:67::o;10497:584::-;3149:4;3174:5;-1:-1:-1;;;;;3174:5:0;3061:10;3163:16;3045:38;;;;-1:-1:-1;;;3045:38:0;;;;;;;:::i;:::-;10597:13:::1;10638:5;10630:4;10614:13;:11;:13::i;:::-;:20;;;;:::i;:::-;10613:30;;;;:::i;:::-;10597:46;;10654:19;10703:5;10693:6;10677:13;:11;:13::i;:::-;:22;;;;:::i;:::-;10676:32;;;;:::i;:::-;10654:54;;10719:17;10767:5;10756:7;10740:13;:11;:13::i;:::-;:23;;;;:::i;:::-;10739:33;;;;:::i;:::-;10783:19;:26:::0;;;10820:19:::1;:28:::0;;;10859:17:::1;:27:::0;;;10719:53;-1:-1:-1;;10913:30:0::1;10938:4;10913:20;10931:1;10913:13;:11;:13::i;:::-;:17:::0;::::1;:20::i;:::-;:24:::0;::::1;:30::i;:::-;10897:46;;10971:5;10962;:14;;:38;;;;;10995:5;10980:11;:20;;10962:38;:60;;;;;11017:5;11004:9;:18;;10962:60;10954:119;;;::::0;-1:-1:-1;;;10954:119:0;;5975:2:1;10954:119:0::1;::::0;::::1;5957:21:1::0;6014:2;5994:18;;;5987:30;6053:34;6033:18;;;6026:62;-1:-1:-1;;;6104:18:1;;;6097:44;6158:19;;10954:119:0::1;5773:410:1::0;8064:108:0;3149:4;3174:5;-1:-1:-1;;;;;3174:5:0;3061:10;3163:16;3045:38;;;;-1:-1:-1;;;3045:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8138:21:0;;;::::1;;::::0;;;:11:::1;:21;::::0;;;;:32;;-1:-1:-1;;8138:32:0::1;::::0;::::1;;::::0;;;::::1;::::0;;8064:108::o;8455:114::-;8503:7;8556:11;;8536:17;;8520:13;:11;:13::i;8575:113::-;8620:7;8675:11;;8653:19;;8637:13;:11;:13::i;7959:99::-;3149:4;3174:5;-1:-1:-1;;;;;3174:5:0;3061:10;3163:16;3045:38;;;;-1:-1:-1;;;3045:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8030:15:0;;;::::1;;::::0;;;:5:::1;:15;::::0;;;;:26;;-1:-1:-1;;8030:26:0::1;::::0;::::1;;::::0;;;::::1;::::0;;7959:99::o;7547:139::-;7625:4;7632:40;7642:10;7654:9;7665:6;7632:9;:40::i;3187:111::-;3149:4;3174:5;-1:-1:-1;;;;;3174:5:0;3061:10;3163:16;3045:38;;;;-1:-1:-1;;;3045:38:0;;;;;;;:::i;:::-;3253:5:::1;:11:::0;;-1:-1:-1;;;;;;3253:11:0::1;-1:-1:-1::0;;;;;3253:11:0;::::1;::::0;;::::1;::::0;;;3271:25:::1;::::0;3784:51:1;;;3271:25:0::1;::::0;3772:2:1;3757:18;3271:25:0::1;;;;;;;3187:111:::0;:::o;456:82::-;514:7;531:5;535:1;531;:5;:::i;15989:335::-;-1:-1:-1;;;;;16082:19:0;;16074:68;;;;-1:-1:-1;;;16074:68:0;;6606:2:1;16074:68:0;;;6588:21:1;6645:2;6625:18;;;6618:30;6684:34;6664:18;;;6657:62;-1:-1:-1;;;6735:18:1;;;6728:34;6779:19;;16074:68:0;6404:400:1;16074:68:0;-1:-1:-1;;;;;16161:21:0;;16153:68;;;;-1:-1:-1;;;16153:68:0;;7011:2:1;16153:68:0;;;6993:21:1;7050:2;7030:18;;;7023:30;7089:34;7069:18;;;7062:62;-1:-1:-1;;;7140:18:1;;;7133:32;7182:19;;16153:68:0;6809:398:1;16153:68:0;-1:-1:-1;;;;;16232:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;16284:32;;1958:25:1;;;16284:32:0;;1931:18:1;16284:32:0;;;;;;;15989:335;;;:::o;280:82::-;338:7;355:5;359:1;355;:5;:::i;9268:686::-;9357:37;9368:6;9376:9;9387:6;9357:10;:37::i;:::-;9405:38;9425:6;9433:9;9405:19;:38::i;:::-;9454:41;9469:6;9477:9;9488:6;9454:14;:41::i;:::-;9507:35;9524:6;9532:9;9507:16;:35::i;:::-;9553:39;9566:6;9574:9;9585:6;9553:12;:39::i;:::-;9604:35;9613:6;9621:9;9632:6;9604:8;:35::i;:::-;-1:-1:-1;;;;;9670:17:0;;;;;;:9;:17;;;;;;:29;;9692:6;9670:21;:29::i;:::-;-1:-1:-1;;;;;9650:17:0;;;;;;:9;:17;;;;;:49;;;;9735:32;9660:6;9757:9;9735:13;:32::i;:::-;:78;;9807:6;9735:78;;;9770:34;9778:6;9786:9;9797:6;9770:7;:34::i;:::-;-1:-1:-1;;;;;9847:20:0;;;;;;:9;:20;;;;;;9710:103;;-1:-1:-1;9847:40:0;;9710:103;9847:24;:40::i;:::-;-1:-1:-1;;;;;9824:20:0;;;;;;;:9;:20;;;;;;;:63;;;;9903:43;;;;;;;;;;9931:14;1958:25:1;;1946:2;1931:18;;1812:177;9903:43:0;;;;;;;;9346:608;9268:686;;;:::o;1493:162::-;1579:7;1625:12;1617:6;;;;1609:29;;;;-1:-1:-1;;;1609:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;1647:5:0;;;1493:162::o;368:82::-;426:7;443:5;447:1;443;:5;:::i;8821:439::-;-1:-1:-1;;;;;8925:20:0;;8917:70;;;;-1:-1:-1;;;8917:70:0;;7547:2:1;8917:70:0;;;7529:21:1;7586:2;7566:18;;;7559:30;7625:34;7605:18;;;7598:62;-1:-1:-1;;;7676:18:1;;;7669:35;7721:19;;8917:70:0;7345:401:1;8917:70:0;-1:-1:-1;;;;;9006:23:0;;8998:71;;;;-1:-1:-1;;;8998:71:0;;7953:2:1;8998:71:0;;;7935:21:1;7992:2;7972:18;;;7965:30;8031:34;8011:18;;;8004:62;-1:-1:-1;;;8082:18:1;;;8075:33;8125:19;;8998:71:0;7751:399:1;8998:71:0;9105:1;9088:6;:19;9080:73;;;;-1:-1:-1;;;9080:73:0;;8357:2:1;9080:73:0;;;8339:21:1;8396:2;8376:18;;;8369:30;8435:34;8415:18;;;8408:62;-1:-1:-1;;;8486:18:1;;;8479:39;8535:19;;9080:73:0;8155:405:1;9080:73:0;-1:-1:-1;;;;;7521:18:0;;7504:7;7521:18;;;:9;:18;;;;;;9172:6;:27;;9164:88;;;;-1:-1:-1;;;9164:88:0;;8767:2:1;9164:88:0;;;8749:21:1;8806:2;8786:18;;;8779:30;8845:34;8825:18;;;8818:62;-1:-1:-1;;;8896:18:1;;;8889:47;8953:19;;9164:88:0;8565:413:1;9164:88:0;8821:439;;;:::o;11089:191::-;-1:-1:-1;;;;;11182:19:0;;;;;;:11;:19;;;;;;;;11181:20;:47;;;;-1:-1:-1;;;;;;11206:22:0;;;;;;:11;:22;;;;;;;;11205:23;11181:47;11178:95;;;11238:14;;-1:-1:-1;;;11238:14:0;;;;11230:41;;;;-1:-1:-1;;;11230:41:0;;9185:2:1;11230:41:0;;;9167:21:1;9224:2;9204:18;;;9197:30;-1:-1:-1;;;9243:18:1;;;9236:44;9297:18;;11230:41:0;8983:338:1;11230:41:0;11089:191;;:::o;11292:333::-;-1:-1:-1;;;;;11396:19:0;;;;;;:11;:19;;;;;;;;11395:20;:47;;;;-1:-1:-1;;;;;;11420:22:0;;;;;;:11;:22;;;;;;;;11419:23;11395:47;:77;;;;-1:-1:-1;11467:4:0;;-1:-1:-1;;;;;11446:26:0;;;11467:4;;11446:26;;11395:77;:107;;;;-1:-1:-1;;;;;;11476:26:0;;6113:42;11476:26;;11395:107;11392:226;;;11564:17;:15;:17::i;:::-;-1:-1:-1;;;;;11527:20:0;;;;;;:9;:20;;;;;;:32;;11552:6;11527:24;:32::i;:::-;11526:55;;11518:98;;;;-1:-1:-1;;;11518:98:0;;9528:2:1;11518:98:0;;;9510:21:1;9567:2;9547:18;;;9540:30;9606:32;9586:18;;;9579:60;9656:18;;11518:98:0;9326:354:1;11633:159:0;11730:4;;-1:-1:-1;;;;;11717:17:0;;;11730:4;;11717:17;:41;;;;-1:-1:-1;;;;;;11739:19:0;;;;;;:11;:19;;;;;;;;11738:20;11717:41;11714:71;;;11781:1;11760:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;11633:159:0;;:::o;11800:349::-;11911:4;;-1:-1:-1;;;;;11901:14:0;;;11911:4;;11901:14;11898:130;;11935:20;:18;:20::i;:::-;11925:6;:30;;:53;;;-1:-1:-1;;;;;;11959:19:0;;;;;;:11;:19;;;;;;;;11925:53;:79;;;-1:-1:-1;;;;;;11982:22:0;;;;;;:11;:22;;;;;;;;11925:79;11917:109;;;;-1:-1:-1;;;11917:109:0;;10017:2:1;11917:109:0;;;9999:21:1;10056:2;10036:18;;;10029:30;-1:-1:-1;;;10075:18:1;;;10068:47;10132:18;;11917:109:0;9815:341:1;11917:109:0;12056:14;:12;:14::i;:::-;12046:6;:24;;:47;;;-1:-1:-1;;;;;;12074:19:0;;;;;;:11;:19;;;;;;;;12046:47;:73;;;-1:-1:-1;;;;;;12097:22:0;;;;;;:11;:22;;;;;;;;12046:73;12038:103;;;;-1:-1:-1;;;12038:103:0;;10017:2:1;12038:103:0;;;9999:21:1;10056:2;10036:18;;;10029:30;-1:-1:-1;;;10075:18:1;;;10068:47;10132:18;;12038:103:0;9815:341:1;14432:197:0;14524:41;14539:6;14547:9;14558:6;14524:14;:41::i;:::-;14521:101;;;14567:29;14582:13;;14567:14;:29::i;:::-;14618:1;14598:9;:22;14432:197;;;:::o;14637:160::-;-1:-1:-1;;;;;14743:19:0;;14718:4;14743:19;;;:11;:19;;;;;;;;14742:20;:47;;;;-1:-1:-1;;;;;;;14767:22:0;;;;;:11;:22;;;;;;;;14766:23;;14637:160;-1:-1:-1;14637:160:0:o;15118:546::-;15204:7;15260:1;15227:30;15239:6;15247:9;15227:11;:30::i;:::-;:34;15224:418;;;15273:17;15293:59;15321:30;15333:6;15341:9;15321:11;:30::i;:::-;15304:11;;15293:23;;:6;;:10;:23::i;:59::-;15408:4;15390:24;;;;:9;:24;;;;;;15273:79;;-1:-1:-1;15390:39:0;;15273:79;15390:28;:39::i;:::-;15381:4;15363:24;;;;:9;:24;;;;;;;:66;;;;15445:42;;-1:-1:-1;;;;;15445:42:0;;;;;;;15477:9;1958:25:1;;1946:2;1931:18;;1812:177;15445:42:0;;;;;;;;15501:7;;:20;15498:104;;15523:77;15541:4;6113:42;15563:36;15591:7;;15563:23;15574:11;;15563:6;:10;;:23;;;;:::i;:36::-;15523:9;:77::i;:::-;15619:21;:6;15630:9;15619:10;:21::i;:::-;15612:28;;;;;15224:418;-1:-1:-1;15650:6:0;15118:546;-1:-1:-1;;15118:546:0:o;192:82::-;250:7;267:5;271:1;267;:5;:::i;14024:400::-;14165:15;;14241:13;;14231:4;14122;7521:18;;;:9;:18;;;;;;14273:8;;14122:4;;14155:25;;;;-1:-1:-1;14213:41:0;;14273:8;;14272:9;:24;;;;-1:-1:-1;14285:11:0;;;;14272:24;:42;;;;-1:-1:-1;14300:14:0;;-1:-1:-1;;;14300:14:0;;;;14272:42;:54;;;;;14318:8;14272:54;:78;;;;-1:-1:-1;;;;;;14331:19:0;;;;;;:11;:19;;;;;;;;14330:20;14272:78;:99;;;;-1:-1:-1;14367:4:0;;-1:-1:-1;;;;;14354:17:0;;;14367:4;;14354:17;14272:99;:126;;;;;14396:1;14375:9;;:23;;14272:126;:144;;;;;14402:14;14272:144;14265:151;14024:400;-1:-1:-1;;;;;;14024:400:0:o;12157:1066::-;6034:8;:15;;-1:-1:-1;;6034:15:0;6045:4;6034:15;;;;;;12294:14:::1;::::0;12276:12:::1;::::0;12252::::1;::::0;6034:8;;12251:66:::1;::::0;12315:1:::1;::::0;12252:57:::1;::::0;12294:14;;12252:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;12251:66::-;12228:89;;12328:32;12363:42;12392:12;12363:24;12374:12;;12363:6;:10;;:24;;;;:::i;:42::-;12328:77:::0;-1:-1:-1;12416:14:0::1;12433:36;:6:::0;12328:77;12433:10:::1;:36::i;:::-;12416:53:::0;-1:-1:-1;12505:21:0::1;12537:24;12416:53:::0;12537:16:::1;:24::i;:::-;12572:20;12595:41;:21;12621:14:::0;12595:25:::1;:41::i;:::-;12572:64;;12647:19;12668:48;12685:30;12702:12;;12685;:16;;:30;;;;:::i;:::-;12668:12:::0;;:16:::1;:48::i;:::-;12647:69;;12727:29;12759;12775:12;;12759:11;:15;;:29;;;;:::i;:::-;12727:61:::0;-1:-1:-1;12802:34:0;;12799:103:::1;;12838:61;12851:24;12877:21;12838:12;:61::i;:::-;12958:12;::::0;12912:20:::1;::::0;12935:36:::1;::::0;:18:::1;:11:::0;12951:1:::1;12935:15;:18::i;:36::-;12912:59:::0;-1:-1:-1;12985:16:0;;12982:73:::1;;13003:50;::::0;6308:42:::1;::::0;13003:50;::::1;;;::::0;13040:12;;13003:50:::1;::::0;;;13040:12;6308:42;13003:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12982:73;13092:21;13127:29:::0;;13124:92:::1;;13158:56;::::0;6211:42:::1;::::0;13158:56;::::1;;;::::0;13197:16;;13158:56:::1;::::0;;;13197:16;6211:42;13158:56;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13124:92;-1:-1:-1::0;;6054:8:0;:16;;-1:-1:-1;;6054:16:0;;;-1:-1:-1;;;;;;;;12157:1066:0:o;14805:305::-;-1:-1:-1;;;;;14907:13:0;;14884:7;14907:13;;;:5;:13;;;;;;;;;:33;;-1:-1:-1;;;;;;14924:16:0;;;;;;:5;:16;;;;;;;;14907:33;14904:76;;;14949:11;;:29;;14973:3;14949:15;:29::i;:::-;14942:36;;;;14904:76;15006:4;;-1:-1:-1;;;;;15006:4:0;;;14993:17;;;;14990:38;;-1:-1:-1;15019:7:0;;15012:14;;14990:38;15051:4;;-1:-1:-1;;;;;15051:4:0;;;15041:14;;;;15038:36;;-1:-1:-1;15064:8:0;;15057:15;;15038:36;-1:-1:-1;15091:11:0;;14805:305;;;;:::o;13582:434::-;13672:16;;;13686:1;13672:16;;;;;;;;13648:21;;13672:16;;;;;;;;;;-1:-1:-1;13672:16:0;13648:40;;13717:4;13699;13704:1;13699:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13699:23:0;;;:7;;;;;;;;;;:23;;;;13743:6;;:13;;;-1:-1:-1;;;13743:13:0;;;;:6;;;;;:11;;:13;;;;;13699:7;;13743:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13733:4;13738:1;13733:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13733:23:0;;;:7;;;;;;;;;:23;13799:6;;13767:53;;13784:4;;13799:6;13808:11;13767:8;:53::i;:::-;13831:6;;:177;;-1:-1:-1;;;13831:177:0;;-1:-1:-1;;;;;13831:6:0;;;;:57;;:177;;13903:11;;13831:6;;13945:4;;13972;;13992:15;;13831:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13637:379;13582:434;:::o;13231:343::-;13344:6;;13312:53;;13329:4;;-1:-1:-1;;;;;13344:6:0;13353:11;13312:8;:53::i;:::-;13376:6;;:190;;-1:-1:-1;;;13376:190:0;;13439:4;13376:190;;;12007:34:1;12057:18;;;12050:34;;;13376:6:0;12100:18:1;;;12093:34;;;12143:18;;;12136:34;6404:42:0;12186:19:1;;;12179:44;13550:15:0;12239:19:1;;;12232:35;-1:-1:-1;;;;;13376:6:0;;;;:22;;13406:9;;11941:19:1;;13376:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;13231:343;;:::o;14:592:1:-;127:6;135;143;151;159;167;175;228:3;216:9;207:7;203:23;199:33;196:53;;;245:1;242;235:12;196:53;-1:-1:-1;;268:23:1;;;338:2;323:18;;310:32;;-1:-1:-1;389:2:1;374:18;;361:32;;440:2;425:18;;412:32;;-1:-1:-1;491:3:1;476:19;;463:33;;-1:-1:-1;543:3:1;528:19;;515:33;;-1:-1:-1;595:3:1;580:19;567:33;;-1:-1:-1;14:592:1;-1:-1:-1;14:592:1:o;611:548::-;723:4;752:2;781;770:9;763:21;813:6;807:13;856:6;851:2;840:9;836:18;829:34;881:1;891:140;905:6;902:1;899:13;891:140;;;1000:14;;;996:23;;990:30;966:17;;;985:2;962:26;955:66;920:10;;891:140;;;895:3;1080:1;1075:2;1066:6;1055:9;1051:22;1047:31;1040:42;1150:2;1143;1139:7;1134:2;1126:6;1122:15;1118:29;1107:9;1103:45;1099:54;1091:62;;;;611:548;;;;:::o;1164:131::-;-1:-1:-1;;;;;1239:31:1;;1229:42;;1219:70;;1285:1;1282;1275:12;1219:70;1164:131;:::o;1300:315::-;1368:6;1376;1429:2;1417:9;1408:7;1404:23;1400:32;1397:52;;;1445:1;1442;1435:12;1397:52;1484:9;1471:23;1503:31;1528:5;1503:31;:::i;:::-;1553:5;1605:2;1590:18;;;;1577:32;;-1:-1:-1;;;1300:315:1:o;1994:456::-;2071:6;2079;2087;2140:2;2128:9;2119:7;2115:23;2111:32;2108:52;;;2156:1;2153;2146:12;2108:52;2195:9;2182:23;2214:31;2239:5;2214:31;:::i;:::-;2264:5;-1:-1:-1;2321:2:1;2306:18;;2293:32;2334:33;2293:32;2334:33;:::i;:::-;1994:456;;2386:7;;-1:-1:-1;;;2440:2:1;2425:18;;;;2412:32;;1994:456::o;2455:247::-;2514:6;2567:2;2555:9;2546:7;2542:23;2538:32;2535:52;;;2583:1;2580;2573:12;2535:52;2622:9;2609:23;2641:31;2666:5;2641:31;:::i;2896:316::-;2973:6;2981;2989;3042:2;3030:9;3021:7;3017:23;3013:32;3010:52;;;3058:1;3055;3048:12;3010:52;-1:-1:-1;;3081:23:1;;;3151:2;3136:18;;3123:32;;-1:-1:-1;3202:2:1;3187:18;;;3174:32;;2896:316;-1:-1:-1;2896:316:1:o;3217:416::-;3282:6;3290;3343:2;3331:9;3322:7;3318:23;3314:32;3311:52;;;3359:1;3356;3349:12;3311:52;3398:9;3385:23;3417:31;3442:5;3417:31;:::i;:::-;3467:5;-1:-1:-1;3524:2:1;3509:18;;3496:32;3566:15;;3559:23;3547:36;;3537:64;;3597:1;3594;3587:12;3537:64;3620:7;3610:17;;;3217:416;;;;;:::o;3846:388::-;3914:6;3922;3975:2;3963:9;3954:7;3950:23;3946:32;3943:52;;;3991:1;3988;3981:12;3943:52;4030:9;4017:23;4049:31;4074:5;4049:31;:::i;:::-;4099:5;-1:-1:-1;4156:2:1;4141:18;;4128:32;4169:33;4128:32;4169:33;:::i;4499:329::-;4701:2;4683:21;;;4740:1;4720:18;;;4713:29;-1:-1:-1;;;4773:2:1;4758:18;;4751:36;4819:2;4804:18;;4499:329::o;5246:127::-;5307:10;5302:3;5298:20;5295:1;5288:31;5338:4;5335:1;5328:15;5362:4;5359:1;5352:15;5378:168;5418:7;5484:1;5480;5476:6;5472:14;5469:1;5466:21;5461:1;5454:9;5447:17;5443:45;5440:71;;;5491:18;;:::i;:::-;-1:-1:-1;5531:9:1;;5378:168::o;5551:217::-;5591:1;5617;5607:132;;5661:10;5656:3;5652:20;5649:1;5642:31;5696:4;5693:1;5686:15;5724:4;5721:1;5714:15;5607:132;-1:-1:-1;5753:9:1;;5551:217::o;7212:128::-;7279:9;;;7300:11;;;7297:37;;;7314:18;;:::i;9685:125::-;9750:9;;;9771:10;;;9768:36;;;9784:18;;:::i;10293:127::-;10354:10;10349:3;10345:20;10342:1;10335:31;10385:4;10382:1;10375:15;10409:4;10406:1;10399:15;10425:251;10495:6;10548:2;10536:9;10527:7;10523:23;10519:32;10516:52;;;10564:1;10561;10554:12;10516:52;10596:9;10590:16;10615:31;10640:5;10615:31;:::i;10681:980::-;10943:4;10991:3;10980:9;10976:19;11022:6;11011:9;11004:25;11048:2;11086:6;11081:2;11070:9;11066:18;11059:34;11129:3;11124:2;11113:9;11109:18;11102:31;11153:6;11188;11182:13;11219:6;11211;11204:22;11257:3;11246:9;11242:19;11235:26;;11296:2;11288:6;11284:15;11270:29;;11317:1;11327:195;11341:6;11338:1;11335:13;11327:195;;;11406:13;;-1:-1:-1;;;;;11402:39:1;11390:52;;11497:15;;;;11462:12;;;;11438:1;11356:9;11327:195;;;-1:-1:-1;;;;;;;11578:32:1;;;;11573:2;11558:18;;11551:60;-1:-1:-1;;;11642:3:1;11627:19;11620:35;11539:3;10681:980;-1:-1:-1;;;10681:980:1:o;12278:306::-;12366:6;12374;12382;12435:2;12423:9;12414:7;12410:23;12406:32;12403:52;;;12451:1;12448;12441:12;12403:52;12480:9;12474:16;12464:26;;12530:2;12519:9;12515:18;12509:25;12499:35;;12574:2;12563:9;12559:18;12553:25;12543:35;;12278:306;;;;;:::o

ipfs://cb26c35564f497584837fe462d64f8ce3f0cf8445dcaf2c46364df43c06b3310