Token

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 DEX is IERC20, Ownable *    - 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 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 setFees(uint256 _liquidity, ...    - function setWalletLimits(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 setSwapbackSettings(uint256 ...    - 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-09-05
*/

/**

Website: https://dextoken.club
Twitter: https://twitter.com/dextokeneth
Telegram: https://t.me/dextokenerc

*/

// 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 DEX is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = 'Dex';
    string private constant _symbol = unicode'D三X';
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 1000000000 * (10 ** _decimals);
    uint256 private _maxTxAmountPercent = 200; // 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;
    mapping (address => bool) private isBot;
    IRouter router;
    address public pair;
    bool private tradingAllowed = true;
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 1000;
    uint256 private developmentFee = 1000;
    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 swapAmount = 1;
    uint256 private swapThreshold = ( _totalSupply * 1000 ) / 100000;
    uint256 private minTokenAmount = ( _totalSupply * 20 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}

    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal constant development_receiver = 0x059c921df55a1E0D49236cEC3A9B78A9b812b7b8; 
    address internal constant marketing_receiver = 0x059c921df55a1E0D49236cEC3A9B78A9b812b7b8;
    address internal constant liquidity_receiver = 0x059c921df55a1E0D49236cEC3A9B78A9b812b7b8;

    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 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 setFees(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(1) && sellFee <= denominator.div(1), "totalFee and sellFee cannot be more than 20%");
    }

    function setWalletLimits(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 >= swapAmount && aboveThreshold;
    }

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

    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":"_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":"setFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_swapAmount","type":"uint256"},{"internalType":"uint256","name":"_swapThreshold","type":"uint256"},{"internalType":"uint256","name":"_minTokenAmount","type":"uint256"}],"name":"setSwapbackSettings","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_buy","type":"uint256"},{"internalType":"uint256","name":"_trans","type":"uint256"},{"internalType":"uint256","name":"_wallet","type":"uint256"}],"name":"setWalletLimits","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"}]

6080604052620000126009600a62000439565b6200002290633b9aca0062000451565b600181815560c860028190556003819055600455600a805460ff60a01b1916600160a01b1790556000600b8190556103e8600c819055600d819055600e919091556107d0600f81905560108190556011556127106012556013805460ff191683179055601691909155620186a0916200009b9162000451565b620000a7919062000473565b601755620186a06001546014620000bf919062000451565b620000cb919062000473565b601855348015620000db57600080fd5b50600080546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa15801562000143573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019062000169919062000496565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001b7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001dd919062000496565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156200022b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019062000251919062000496565b600980546001600160a01b038581166001600160a01b031992831617909255600a805492841692909116919091179055306000908152600760209081526040808320805460ff1990811660019081179092557faeed9880fba5dbd08bfb0ec8a0f19a0f3219e0e192db1b1443e6d35a6222b9a98054821683179055338086528386208054909216831790915590546005845282852081905591519182529394507fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050620004c1565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200037b5781600019048211156200035f576200035f62000324565b808516156200036d57918102915b93841c93908002906200033f565b509250929050565b600082620003945750600162000433565b81620003a35750600062000433565b8160018114620003bc5760028114620003c757620003e7565b600191505062000433565b60ff841115620003db57620003db62000324565b50506001821b62000433565b5060208310610133831016604e8410600b84101617156200040c575081810a62000433565b6200041883836200033a565b80600019048211156200042f576200042f62000324565b0290505b92915050565b60006200044a60ff84168362000383565b9392505050565b60008160001904831182151516156200046e576200046e62000324565b500290565b6000826200049157634e487b7160e01b600052601260045260246000fd5b500490565b600060208284031215620004a957600080fd5b81516001600160a01b03811681146200044a57600080fd5b611ad380620004d16000396000f3fe6080604052600436106101395760003560e01c806370a08231116100ab578063a8aa1b311161006f578063a8aa1b311461039d578063a9059cbb146103bd578063da2e3bad146103dd578063dd62ed3e146103fd578063e94dd17c14610443578063f2fde38b1461046357600080fd5b806370a08231146102dd57806378109e54146103135780637d1db4a514610328578063893d20e81461033d57806395d89b411461036f57600080fd5b8063293230b8116100fd578063293230b81461020b5780632f54bf6e14610222578063313ce567146102515780633f4218e01461026d57806348ff2b8b1461029d57806366dc3e33146102bd57600080fd5b806306fdde0314610145578063095ea7b31461018357806318160ddd146101b35780631f976b7e146101d657806323b872dd146101eb57600080fd5b3661014057005b600080fd5b34801561015157600080fd5b50604080518082019091526003815262088caf60eb1b60208201525b60405161017a9190611732565b60405180910390f35b34801561018f57600080fd5b506101a361019e366004611798565b610483565b604051901515815260200161017a565b3480156101bf57600080fd5b506101c861049a565b60405190815260200161017a565b3480156101e257600080fd5b506101c861050b565b3480156101f757600080fd5b506101a36102063660046117c4565b61052f565b34801561021757600080fd5b50610220610599565b005b34801561022e57600080fd5b506101a361023d366004611805565b6000546001600160a01b0391821691161490565b34801561025d57600080fd5b506040516009815260200161017a565b34801561027957600080fd5b506101a3610288366004611805565b60076020526000908152604090205460ff1681565b3480156102a957600080fd5b506102206102b8366004611822565b6105e1565b3480156102c957600080fd5b506102206102d8366004611860565b610636565b3480156102e957600080fd5b506101c86102f8366004611805565b6001600160a01b031660009081526005602052604090205490565b34801561031f57600080fd5b506101c8610786565b34801561033457600080fd5b506101c8610796565b34801561034957600080fd5b506000546001600160a01b03165b6040516001600160a01b03909116815260200161017a565b34801561037b57600080fd5b50604080518082019091526005815264089c97112b60db1b602082015261016d565b3480156103a957600080fd5b50600a54610357906001600160a01b031681565b3480156103c957600080fd5b506101a36103d8366004611798565b6107a6565b3480156103e957600080fd5b506102206103f836600461188c565b6107b3565b34801561040957600080fd5b506101c86104183660046118d8565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561044f57600080fd5b5061022061045e366004611860565b61088f565b34801561046f57600080fd5b5061022061047e366004611805565b6108f5565b6000610490338484610973565b5060015b92915050565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead60009081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba5460015491926105069290916105009190610a97565b90610a97565b905090565b600060125460035461051b61049a565b610525919061191c565b610506919061193b565b600061053c848484610aa3565b61058e843361058985604051806060016040528060288152602001611a76602891396001600160a01b038a1660009081526006602090815260408083203384529091529020549190610bc9565b610973565b5060015b9392505050565b6000546001600160a01b031633146105cc5760405162461bcd60e51b81526004016105c39061195d565b60405180910390fd5b600a805460ff60a01b1916600160a01b179055565b6000546001600160a01b0316331461060b5760405162461bcd60e51b81526004016105c39061195d565b6001600160a01b03919091166000908152600760205260409020805460ff1916911515919091179055565b6000546001600160a01b031633146106605760405162461bcd60e51b81526004016105c39061195d565b60006127108461066e61049a565b610678919061191c565b610682919061193b565b905060006127108461069261049a565b61069c919061191c565b6106a6919061193b565b90506000612710846106b661049a565b6106c0919061191c565b6106ca919061193b565b600287905560038690556004859055905060006106fc6103e86106f660056106f061049a565b90610bf5565b90610c01565b905080841015801561070e5750808310155b801561071a5750808210155b61077d5760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b60648201526084016105c3565b50505050505050565b600060125460045461051b61049a565b600060125460025461051b61049a565b6000610490338484610aa3565b6000546001600160a01b031633146107dd5760405162461bcd60e51b81526004016105c39061195d565b600b879055600c869055600e859055600d849055600f8390556010829055601181905560125461080e906001610c01565b600f541115801561082e5750601254610828906001610c01565b60105411155b61077d5760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b60648201526084016105c3565b6000546001600160a01b031633146108b95760405162461bcd60e51b81526004016105c39061195d565b60168390556001546108d490620186a0906106f69085610bf5565b6017556001546108ed90620186a0906106f69084610bf5565b601855505050565b6000546001600160a01b0316331461091f5760405162461bcd60e51b81526004016105c39061195d565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166109d55760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105c3565b6001600160a01b038216610a365760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105c3565b6001600160a01b0383811660008181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6000610592828461197d565b610aae838383610c0d565b610ab88383610dbc565b610ac3838383610e51565b610acd8383610f42565b610ad8838383610f99565b610ae38383836110d0565b6001600160a01b038316600090815260056020526040902054610b069082610a97565b6001600160a01b038416600090815260056020526040812091909155610b2c84846110f5565b610b365781610b41565b610b4184848461113b565b6001600160a01b038416600090815260056020526040902054909150610b679082611229565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bbb9085815260200190565b60405180910390a350505050565b60008184841115610bed5760405162461bcd60e51b81526004016105c39190611732565b505050900390565b6000610592828461191c565b6000610592828461193b565b6001600160a01b038316610c715760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105c3565b6001600160a01b038216610cd35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105c3565b60008111610d355760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016105c3565b6001600160a01b038316600090815260056020526040902054811115610db75760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016105c3565b505050565b6001600160a01b03821660009081526007602052604090205460ff16158015610dfe57506001600160a01b03811660009081526007602052604090205460ff16155b15610e4d57600a54600160a01b900460ff16610e4d5760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016105c3565b5050565b6001600160a01b03831660009081526007602052604090205460ff16158015610e9357506001600160a01b03821660009081526007602052604090205460ff16155b8015610ead5750600a546001600160a01b03838116911614155b8015610ec457506001600160a01b03821661dead14155b15610db757610ed1610786565b6001600160a01b038316600090815260056020526040902054610ef49083611229565b1115610db75760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016105c3565b600a546001600160a01b038281169116148015610f7857506001600160a01b03821660009081526007602052604090205460ff16155b15610e4d57600160146000828254610f909190611990565b90915550505050565b600a546001600160a01b0384811691161461103f57610fb661050b565b81111580610fdc57506001600160a01b03831660009081526007602052604090205460ff165b80610fff57506001600160a01b03821660009081526007602052604090205460ff165b61103f5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016105c3565b611047610796565b8111158061106d57506001600160a01b03831660009081526007602052604090205460ff165b8061109057506001600160a01b03821660009081526007602052604090205460ff165b610db75760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016105c3565b6110db838383611235565b15610db7576110eb6017546112e8565b6000601455505050565b6001600160a01b03821660009081526007602052604081205460ff161580156105925750506001600160a01b031660009081526007602052604090205460ff1615919050565b6000806111488585611473565b111561122257600061116b61115d8686611473565b6012546106f0908690610c01565b306000908152600560205260409020549091506111889082611229565b30600081815260056020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111d99085815260200190565b60405180910390a3600e5415611210576112103061dead61120b600e546106f060125489610c0190919063ffffffff16565b610aa3565b61121a8382610a97565b915050610592565b5092915050565b60006105928284611990565b6018546017543060009081526005602052604081205460155491938510159211159060ff16158015611269575060135460ff165b801561127e5750600a54600160a01b900460ff165b80156112875750815b80156112ac57506001600160a01b03861660009081526007602052604090205460ff16155b80156112c55750600a546001600160a01b038681169116145b80156112d5575060165460145410155b80156112de5750805b9695505050505050565b6015805460ff19166001908117909155600d54600c54600b54600093611322936002936106f093919261131c928391611229565b90611229565b9050600061133f826106f6600b5486610bf590919063ffffffff16565b9050600061134d8483610a97565b90504761135982611514565b60006113654783610a97565b90506000611388611381600b5488610a9790919063ffffffff16565b8390610c01565b905060006113a1600b5483610bf590919063ffffffff16565b905080156113b3576113b3868261166e565b600c546000906113c8906106f0856002610bf5565b905080156114135760405173059c921df55a1e0d49236cec3a9b78a9b812b7b89082156108fc029083906000818181858888f19350505050158015611411573d6000803e3d6000fd5b505b47801561145d5760405173059c921df55a1e0d49236cec3a9b78a9b812b7b89082156108fc029083906000818181858888f1935050505015801561145b573d6000803e3d6000fd5b505b50506015805460ff191690555050505050505050565b6001600160a01b03821660009081526008602052604081205460ff16806114b257506001600160a01b03821660009081526008602052604090205460ff165b156114cc576012546114c5906064610a97565b9050610494565b600a546001600160a01b03908116908316036114eb5750601054610494565b600a546001600160a01b039081169084160361150a5750600f54610494565b5060115492915050565b6040805160028082526060820183526000926020830190803683370190505090503081600081518110611549576115496119a3565b6001600160a01b03928316602091820292909201810191909152600954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156115a2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115c691906119b9565b816001815181106115d9576115d96119a3565b6001600160a01b0392831660209182029290920101526009546115ff9130911684610973565b60095460405163791ac94760e01b81526001600160a01b039091169063791ac947906116389085906000908690309042906004016119d6565b600060405180830381600087803b15801561165257600080fd5b505af1158015611666573d6000803e3d6000fd5b505050505050565b6009546116869030906001600160a01b031684610973565b60095460405163f305d71960e01b815230600482015260248101849052600060448201819052606482015273059c921df55a1e0d49236cec3a9b78a9b812b7b860848201524260a48201526001600160a01b039091169063f305d71990839060c40160606040518083038185885af1158015611706573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061172b9190611a47565b5050505050565b600060208083528351808285015260005b8181101561175f57858101830151858201604001528201611743565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461179557600080fd5b50565b600080604083850312156117ab57600080fd5b82356117b681611780565b946020939093013593505050565b6000806000606084860312156117d957600080fd5b83356117e481611780565b925060208401356117f481611780565b929592945050506040919091013590565b60006020828403121561181757600080fd5b813561059281611780565b6000806040838503121561183557600080fd5b823561184081611780565b91506020830135801515811461185557600080fd5b809150509250929050565b60008060006060848603121561187557600080fd5b505081359360208301359350604090920135919050565b600080600080600080600060e0888a0312156118a757600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b600080604083850312156118eb57600080fd5b82356118f681611780565b9150602083013561185581611780565b634e487b7160e01b600052601160045260246000fd5b600081600019048311821515161561193657611936611906565b500290565b60008261195857634e487b7160e01b600052601260045260246000fd5b500490565b60208082526006908201526510a7aba722a960d11b604082015260600190565b8181038181111561049457610494611906565b8082018082111561049457610494611906565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156119cb57600080fd5b815161059281611780565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611a265784516001600160a01b031683529383019391830191600101611a01565b50506001600160a01b03969096166060850152505050608001529392505050565b600080600060608486031215611a5c57600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220cfe830d86454330c00ebf5f321742a34a22dfc28a39b2075a52734ce8115f26e64736f6c63430008100033

0x6080604052600436106101395760003560e01c806370a08231116100ab578063a8aa1b311161006f578063a8aa1b311461039d578063a9059cbb146103bd578063da2e3bad146103dd578063dd62ed3e146103fd578063e94dd17c14610443578063f2fde38b1461046357600080fd5b806370a08231146102dd57806378109e54146103135780637d1db4a514610328578063893d20e81461033d57806395d89b411461036f57600080fd5b8063293230b8116100fd578063293230b81461020b5780632f54bf6e14610222578063313ce567146102515780633f4218e01461026d57806348ff2b8b1461029d57806366dc3e33146102bd57600080fd5b806306fdde0314610145578063095ea7b31461018357806318160ddd146101b35780631f976b7e146101d657806323b872dd146101eb57600080fd5b3661014057005b600080fd5b34801561015157600080fd5b50604080518082019091526003815262088caf60eb1b60208201525b60405161017a9190611732565b60405180910390f35b34801561018f57600080fd5b506101a361019e366004611798565b610483565b604051901515815260200161017a565b3480156101bf57600080fd5b506101c861049a565b60405190815260200161017a565b3480156101e257600080fd5b506101c861050b565b3480156101f757600080fd5b506101a36102063660046117c4565b61052f565b34801561021757600080fd5b50610220610599565b005b34801561022e57600080fd5b506101a361023d366004611805565b6000546001600160a01b0391821691161490565b34801561025d57600080fd5b506040516009815260200161017a565b34801561027957600080fd5b506101a3610288366004611805565b60076020526000908152604090205460ff1681565b3480156102a957600080fd5b506102206102b8366004611822565b6105e1565b3480156102c957600080fd5b506102206102d8366004611860565b610636565b3480156102e957600080fd5b506101c86102f8366004611805565b6001600160a01b031660009081526005602052604090205490565b34801561031f57600080fd5b506101c8610786565b34801561033457600080fd5b506101c8610796565b34801561034957600080fd5b506000546001600160a01b03165b6040516001600160a01b03909116815260200161017a565b34801561037b57600080fd5b50604080518082019091526005815264089c97112b60db1b602082015261016d565b3480156103a957600080fd5b50600a54610357906001600160a01b031681565b3480156103c957600080fd5b506101a36103d8366004611798565b6107a6565b3480156103e957600080fd5b506102206103f836600461188c565b6107b3565b34801561040957600080fd5b506101c86104183660046118d8565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561044f57600080fd5b5061022061045e366004611860565b61088f565b34801561046f57600080fd5b5061022061047e366004611805565b6108f5565b6000610490338484610973565b5060015b92915050565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead60009081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba5460015491926105069290916105009190610a97565b90610a97565b905090565b600060125460035461051b61049a565b610525919061191c565b610506919061193b565b600061053c848484610aa3565b61058e843361058985604051806060016040528060288152602001611a76602891396001600160a01b038a1660009081526006602090815260408083203384529091529020549190610bc9565b610973565b5060015b9392505050565b6000546001600160a01b031633146105cc5760405162461bcd60e51b81526004016105c39061195d565b60405180910390fd5b600a805460ff60a01b1916600160a01b179055565b6000546001600160a01b0316331461060b5760405162461bcd60e51b81526004016105c39061195d565b6001600160a01b03919091166000908152600760205260409020805460ff1916911515919091179055565b6000546001600160a01b031633146106605760405162461bcd60e51b81526004016105c39061195d565b60006127108461066e61049a565b610678919061191c565b610682919061193b565b905060006127108461069261049a565b61069c919061191c565b6106a6919061193b565b90506000612710846106b661049a565b6106c0919061191c565b6106ca919061193b565b600287905560038690556004859055905060006106fc6103e86106f660056106f061049a565b90610bf5565b90610c01565b905080841015801561070e5750808310155b801561071a5750808210155b61077d5760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b60648201526084016105c3565b50505050505050565b600060125460045461051b61049a565b600060125460025461051b61049a565b6000610490338484610aa3565b6000546001600160a01b031633146107dd5760405162461bcd60e51b81526004016105c39061195d565b600b879055600c869055600e859055600d849055600f8390556010829055601181905560125461080e906001610c01565b600f541115801561082e5750601254610828906001610c01565b60105411155b61077d5760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b60648201526084016105c3565b6000546001600160a01b031633146108b95760405162461bcd60e51b81526004016105c39061195d565b60168390556001546108d490620186a0906106f69085610bf5565b6017556001546108ed90620186a0906106f69084610bf5565b601855505050565b6000546001600160a01b0316331461091f5760405162461bcd60e51b81526004016105c39061195d565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166109d55760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105c3565b6001600160a01b038216610a365760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105c3565b6001600160a01b0383811660008181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6000610592828461197d565b610aae838383610c0d565b610ab88383610dbc565b610ac3838383610e51565b610acd8383610f42565b610ad8838383610f99565b610ae38383836110d0565b6001600160a01b038316600090815260056020526040902054610b069082610a97565b6001600160a01b038416600090815260056020526040812091909155610b2c84846110f5565b610b365781610b41565b610b4184848461113b565b6001600160a01b038416600090815260056020526040902054909150610b679082611229565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bbb9085815260200190565b60405180910390a350505050565b60008184841115610bed5760405162461bcd60e51b81526004016105c39190611732565b505050900390565b6000610592828461191c565b6000610592828461193b565b6001600160a01b038316610c715760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105c3565b6001600160a01b038216610cd35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105c3565b60008111610d355760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016105c3565b6001600160a01b038316600090815260056020526040902054811115610db75760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016105c3565b505050565b6001600160a01b03821660009081526007602052604090205460ff16158015610dfe57506001600160a01b03811660009081526007602052604090205460ff16155b15610e4d57600a54600160a01b900460ff16610e4d5760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016105c3565b5050565b6001600160a01b03831660009081526007602052604090205460ff16158015610e9357506001600160a01b03821660009081526007602052604090205460ff16155b8015610ead5750600a546001600160a01b03838116911614155b8015610ec457506001600160a01b03821661dead14155b15610db757610ed1610786565b6001600160a01b038316600090815260056020526040902054610ef49083611229565b1115610db75760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016105c3565b600a546001600160a01b038281169116148015610f7857506001600160a01b03821660009081526007602052604090205460ff16155b15610e4d57600160146000828254610f909190611990565b90915550505050565b600a546001600160a01b0384811691161461103f57610fb661050b565b81111580610fdc57506001600160a01b03831660009081526007602052604090205460ff165b80610fff57506001600160a01b03821660009081526007602052604090205460ff165b61103f5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016105c3565b611047610796565b8111158061106d57506001600160a01b03831660009081526007602052604090205460ff165b8061109057506001600160a01b03821660009081526007602052604090205460ff165b610db75760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016105c3565b6110db838383611235565b15610db7576110eb6017546112e8565b6000601455505050565b6001600160a01b03821660009081526007602052604081205460ff161580156105925750506001600160a01b031660009081526007602052604090205460ff1615919050565b6000806111488585611473565b111561122257600061116b61115d8686611473565b6012546106f0908690610c01565b306000908152600560205260409020549091506111889082611229565b30600081815260056020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111d99085815260200190565b60405180910390a3600e5415611210576112103061dead61120b600e546106f060125489610c0190919063ffffffff16565b610aa3565b61121a8382610a97565b915050610592565b5092915050565b60006105928284611990565b6018546017543060009081526005602052604081205460155491938510159211159060ff16158015611269575060135460ff165b801561127e5750600a54600160a01b900460ff165b80156112875750815b80156112ac57506001600160a01b03861660009081526007602052604090205460ff16155b80156112c55750600a546001600160a01b038681169116145b80156112d5575060165460145410155b80156112de5750805b9695505050505050565b6015805460ff19166001908117909155600d54600c54600b54600093611322936002936106f093919261131c928391611229565b90611229565b9050600061133f826106f6600b5486610bf590919063ffffffff16565b9050600061134d8483610a97565b90504761135982611514565b60006113654783610a97565b90506000611388611381600b5488610a9790919063ffffffff16565b8390610c01565b905060006113a1600b5483610bf590919063ffffffff16565b905080156113b3576113b3868261166e565b600c546000906113c8906106f0856002610bf5565b905080156114135760405173059c921df55a1e0d49236cec3a9b78a9b812b7b89082156108fc029083906000818181858888f19350505050158015611411573d6000803e3d6000fd5b505b47801561145d5760405173059c921df55a1e0d49236cec3a9b78a9b812b7b89082156108fc029083906000818181858888f1935050505015801561145b573d6000803e3d6000fd5b505b50506015805460ff191690555050505050505050565b6001600160a01b03821660009081526008602052604081205460ff16806114b257506001600160a01b03821660009081526008602052604090205460ff165b156114cc576012546114c5906064610a97565b9050610494565b600a546001600160a01b03908116908316036114eb5750601054610494565b600a546001600160a01b039081169084160361150a5750600f54610494565b5060115492915050565b6040805160028082526060820183526000926020830190803683370190505090503081600081518110611549576115496119a3565b6001600160a01b03928316602091820292909201810191909152600954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156115a2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115c691906119b9565b816001815181106115d9576115d96119a3565b6001600160a01b0392831660209182029290920101526009546115ff9130911684610973565b60095460405163791ac94760e01b81526001600160a01b039091169063791ac947906116389085906000908690309042906004016119d6565b600060405180830381600087803b15801561165257600080fd5b505af1158015611666573d6000803e3d6000fd5b505050505050565b6009546116869030906001600160a01b031684610973565b60095460405163f305d71960e01b815230600482015260248101849052600060448201819052606482015273059c921df55a1e0d49236cec3a9b78a9b812b7b860848201524260a48201526001600160a01b039091169063f305d71990839060c40160606040518083038185885af1158015611706573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061172b9190611a47565b5050505050565b600060208083528351808285015260005b8181101561175f57858101830151858201604001528201611743565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461179557600080fd5b50565b600080604083850312156117ab57600080fd5b82356117b681611780565b946020939093013593505050565b6000806000606084860312156117d957600080fd5b83356117e481611780565b925060208401356117f481611780565b929592945050506040919091013590565b60006020828403121561181757600080fd5b813561059281611780565b6000806040838503121561183557600080fd5b823561184081611780565b91506020830135801515811461185557600080fd5b809150509250929050565b60008060006060848603121561187557600080fd5b505081359360208301359350604090920135919050565b600080600080600080600060e0888a0312156118a757600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b600080604083850312156118eb57600080fd5b82356118f681611780565b9150602083013561185581611780565b634e487b7160e01b600052601160045260246000fd5b600081600019048311821515161561193657611936611906565b500290565b60008261195857634e487b7160e01b600052601260045260246000fd5b500490565b60208082526006908201526510a7aba722a960d11b604082015260600190565b8181038181111561049457610494611906565b8082018082111561049457610494611906565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156119cb57600080fd5b815161059281611780565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611a265784516001600160a01b031683529383019391830191600101611a01565b50506001600160a01b03969096166060850152505050608001529392505050565b600080600060608486031215611a5c57600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220cfe830d86454330c00ebf5f321742a34a22dfc28a39b2075a52734ce8115f26e64736f6c63430008100033

4735:11856:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7106:67;;;;;;;;;;-1:-1:-1;7166:5:0;;;;;;;;;;;;-1:-1:-1;;;7166:5:0;;;;7106:67;;;;;;;:::i;:::-;;;;;;;;8121:133;;;;;;;;;;-1:-1:-1;8121:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;8121:133:0;1023:187:1;8260:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;8260:132:0;1215:177:1;8637:119:0;;;;;;;;;;;;;:::i;15934:309::-;;;;;;;;;;-1:-1:-1;15934:309:0;;;;;:::i;:::-;;:::i;7329:67::-;;;;;;;;;;;;;:::i;:::-;;3115:87;;;;;;;;;;-1:-1:-1;3115:87:0;;;;;:::i;:::-;3170:4;3195:5;-1:-1:-1;;;;;3184:16:0;;;3195:5;;3184:16;;3115:87;7256:67;;;;;;;;;;-1:-1:-1;7256:67:0;;4941:1;2252:36:1;;2240:2;2225:18;7256:67:0;2110:184:1;5290:44:0;;;;;;;;;;-1:-1:-1;5290:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;8007:108;;;;;;;;;;-1:-1:-1;8007:108:0;;;;;:::i;:::-;;:::i;10435:586::-;;;;;;;;;;-1:-1:-1;10435:586:0;;;;;:::i;:::-;;:::i;7486:103::-;;;;;;;;;;-1:-1:-1;7486:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;7569:18:0;7552:7;7569:18;;;:9;:18;;;;;;;7486:103;8398:114;;;;;;;;;;;;;:::i;8518:113::-;;;;;;;;;;;;;:::i;7402:78::-;;;;;;;;;;-1:-1:-1;7454:7:0;7472:5;-1:-1:-1;;;;;7472:5:0;7402:78;;;-1:-1:-1;;;;;3205:32:1;;;3187:51;;3175:2;3160:18;7402:78:0;3041:203:1;7179:71:0;;;;;;;;;;-1:-1:-1;7241:7:0;;;;;;;;;;;;-1:-1:-1;;;7241:7:0;;;;7179:71;;5408:19;;;;;;;;;;-1:-1:-1;5408:19:0;;;;-1:-1:-1;;;;;5408:19:0;;;7595:139;;;;;;;;;;-1:-1:-1;7595:139:0;;;;;:::i;:::-;;:::i;9905:522::-;;;;;;;;;;-1:-1:-1;9905:522:0;;;;;:::i;:::-;;:::i;7740:127::-;;;;;;;;;;-1:-1:-1;7740:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;7838:18:0;;;7821:7;7838:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7740:127;14371:315;;;;;;;;;;-1:-1:-1;14371:315:0;;;;;:::i;:::-;;:::i;3208:111::-;;;;;;;;;;-1:-1:-1;3208:111:0;;;;;:::i;:::-;;:::i;8121:133::-;8196:4;8203:37;8212:10;8224:7;8233:6;8203:8;:37::i;:::-;-1:-1:-1;8248:4:0;8121:133;;;;;:::o;8260:132::-;7569:9;:18;;;;6161:42;8313:7;7569:18;;;;;8330:12;;8313:7;;8330:60;;7569:18;;8330:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;8323:67;;8260:132;:::o;8637:119::-;8688:7;8743:11;;8721:19;;8705:13;:11;:13::i;:::-;:35;;;;:::i;:::-;:49;;;;:::i;15934:309::-;16032:4;16049:36;16059:6;16067:9;16078:6;16049:9;:36::i;:::-;16096:117;16105:6;16113:10;16125:87;16161:6;16125:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16125:19:0;;;;;;:11;:19;;;;;;;;16145:10;16125:31;;;;;;;;;:87;:35;:87::i;:::-;16096:8;:117::i;:::-;-1:-1:-1;16231:4:0;15934:309;;;;;;:::o;7329:67::-;3170:4;3195:5;-1:-1:-1;;;;;3195:5:0;3082:10;3184:16;3066:38;;;;-1:-1:-1;;;3066:38:0;;;;;;;:::i;:::-;;;;;;;;;7373:14:::1;:21:::0;;-1:-1:-1;;;;7373:21:0::1;-1:-1:-1::0;;;7373:21:0::1;::::0;;7329:67::o;8007:108::-;3170:4;3195:5;-1:-1:-1;;;;;3195:5:0;3082:10;3184:16;3066:38;;;;-1:-1:-1;;;3066:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8081:21:0;;;::::1;;::::0;;;:11:::1;:21;::::0;;;;:32;;-1:-1:-1;;8081:32:0::1;::::0;::::1;;::::0;;;::::1;::::0;;8007:108::o;10435:586::-;3170:4;3195:5;-1:-1:-1;;;;;3195:5:0;3082:10;3184:16;3066:38;;;;-1:-1:-1;;;3066:38:0;;;;;;;:::i;:::-;10537:13:::1;10578:5;10570:4;10554:13;:11;:13::i;:::-;:20;;;;:::i;:::-;10553:30;;;;:::i;:::-;10537:46;;10594:19;10643:5;10633:6;10617:13;:11;:13::i;:::-;:22;;;;:::i;:::-;10616:32;;;;:::i;:::-;10594:54;;10659:17;10707:5;10696:7;10680:13;:11;:13::i;:::-;:23;;;;:::i;:::-;10679:33;;;;:::i;:::-;10723:19;:26:::0;;;10760:19:::1;:28:::0;;;10799:17:::1;:27:::0;;;10659:53;-1:-1:-1;;10853:30:0::1;10878:4;10853:20;10871:1;10853:13;:11;:13::i;:::-;:17:::0;::::1;:20::i;:::-;:24:::0;::::1;:30::i;:::-;10837:46;;10911:5;10902;:14;;:38;;;;;10935:5;10920:11;:20;;10902:38;:60;;;;;10957:5;10944:9;:18;;10902:60;10894:119;;;::::0;-1:-1:-1;;;10894:119:0;;5562:2:1;10894:119:0::1;::::0;::::1;5544:21:1::0;5601:2;5581:18;;;5574:30;5640:34;5620:18;;;5613:62;-1:-1:-1;;;5691:18:1;;;5684:44;5745:19;;10894:119:0::1;5360:410:1::0;10894:119:0::1;10526:495;;;;10435:586:::0;;;:::o;8398:114::-;8446:7;8499:11;;8479:17;;8463:13;:11;:13::i;8518:113::-;8563:7;8618:11;;8596:19;;8580:13;:11;:13::i;7595:139::-;7673:4;7680:40;7690:10;7702:9;7713:6;7680:9;:40::i;9905:522::-;3170:4;3195:5;-1:-1:-1;;;;;3195:5:0;3082:10;3184:16;3066:38;;;;-1:-1:-1;;;3066:38:0;;;;;;;:::i;:::-;10076:12:::1;:25:::0;;;10112:12:::1;:25:::0;;;10148:7:::1;:15:::0;;;10174:14:::1;:29:::0;;;10214:8:::1;:17:::0;;;10242:7:::1;:15:::0;;;10268:11:::1;:20:::0;;;10319:11:::1;::::0;:18:::1;::::0;-1:-1:-1;10319:15:0::1;:18::i;:::-;10307:8;;:30;;:63;;;;-1:-1:-1::0;10352:11:0::1;::::0;:18:::1;::::0;10368:1:::1;10352:15;:18::i;:::-;10341:7;;:29;;10307:63;10299:120;;;::::0;-1:-1:-1;;;10299:120:0;;5977:2:1;10299:120:0::1;::::0;::::1;5959:21:1::0;6016:2;5996:18;;;5989:30;6055:34;6035:18;;;6028:62;-1:-1:-1;;;6106:18:1;;;6099:42;6158:19;;10299:120:0::1;5775:408:1::0;14371:315:0;3170:4;3195:5;-1:-1:-1;;;;;3195:5:0;3082:10;3184:16;3066:38;;;;-1:-1:-1;;;3066:38:0;;;;;;;:::i;:::-;14500:10:::1;:24:::0;;;14542:12:::1;::::0;:53:::1;::::0;14587:6:::1;::::0;14542:32:::1;::::0;14559:14;14542:16:::1;:32::i;:53::-;14526:13;:69:::0;14624:12:::1;::::0;:54:::1;::::0;14670:6:::1;::::0;14624:33:::1;::::0;14641:15;14624:16:::1;:33::i;:54::-;14607:14;:71:::0;-1:-1:-1;;;14371:315:0:o;3208:111::-;3170:4;3195:5;-1:-1:-1;;;;;3195:5:0;3082:10;3184:16;3066:38;;;;-1:-1:-1;;;3066:38:0;;;;;;;:::i;:::-;3274:5:::1;:11:::0;;-1:-1:-1;;;;;;3274:11:0::1;-1:-1:-1::0;;;;;3274:11:0;::::1;::::0;;::::1;::::0;;;3292:25:::1;::::0;3187:51:1;;;3292:25:0::1;::::0;3175:2:1;3160:18;3292:25:0::1;;;;;;;3208:111:::0;:::o;16251:335::-;-1:-1:-1;;;;;16344:19:0;;16336:68;;;;-1:-1:-1;;;16336:68:0;;6606:2:1;16336: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;;16336:68:0;6404:400:1;16336:68:0;-1:-1:-1;;;;;16423:21:0;;16415:68;;;;-1:-1:-1;;;16415:68:0;;7011:2:1;16415: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;;16415:68:0;6809:398:1;16415:68:0;-1:-1:-1;;;;;16494:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;16546:32;;1361:25:1;;;16546:32:0;;1334:18:1;16546:32:0;;;;;;;16251:335;;;:::o;301:82::-;359:7;376:5;380:1;376;:5;:::i;9211:686::-;9300:37;9311:6;9319:9;9330:6;9300:10;:37::i;:::-;9348:38;9368:6;9376:9;9348:19;:38::i;:::-;9397:41;9412:6;9420:9;9431:6;9397:14;:41::i;:::-;9450:35;9467:6;9475:9;9450:16;:35::i;:::-;9496:39;9509:6;9517:9;9528:6;9496:12;:39::i;:::-;9547:35;9556:6;9564:9;9575:6;9547:8;:35::i;:::-;-1:-1:-1;;;;;9613:17:0;;;;;;:9;:17;;;;;;:29;;9635:6;9613:21;:29::i;:::-;-1:-1:-1;;;;;9593:17:0;;;;;;:9;:17;;;;;:49;;;;9678:32;9603:6;9700:9;9678:13;:32::i;:::-;:78;;9750:6;9678:78;;;9713:34;9721:6;9729:9;9740:6;9713:7;:34::i;:::-;-1:-1:-1;;;;;9790:20:0;;;;;;:9;:20;;;;;;9653:103;;-1:-1:-1;9790:40:0;;9653:103;9790:24;:40::i;:::-;-1:-1:-1;;;;;9767:20:0;;;;;;;:9;:20;;;;;;;:63;;;;9846:43;;;;;;;;;;9874:14;1361:25:1;;1349:2;1334:18;;1215:177;9846:43:0;;;;;;;;9289:608;9211:686;;;:::o;1514:162::-;1600:7;1646:12;1638:6;;;;1630:29;;;;-1:-1:-1;;;1630:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;1668:5:0;;;1514:162::o;389:82::-;447:7;464:5;468:1;464;:5;:::i;477:82::-;535:7;552:5;556:1;552;:5;:::i;8764:439::-;-1:-1:-1;;;;;8868:20:0;;8860:70;;;;-1:-1:-1;;;8860:70:0;;7547:2:1;8860: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;;8860:70:0;7345:401:1;8860:70:0;-1:-1:-1;;;;;8949:23:0;;8941:71;;;;-1:-1:-1;;;8941:71:0;;7953:2:1;8941: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;;8941:71:0;7751:399:1;8941:71:0;9048:1;9031:6;:19;9023:73;;;;-1:-1:-1;;;9023:73:0;;8357:2:1;9023: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;;9023:73:0;8155:405:1;9023:73:0;-1:-1:-1;;;;;7569:18:0;;7552:7;7569:18;;;:9;:18;;;;;;9115:6;:27;;9107:88;;;;-1:-1:-1;;;9107:88:0;;8767:2:1;9107: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;;9107:88:0;8565:413:1;9107:88:0;8764:439;;;:::o;11029:191::-;-1:-1:-1;;;;;11122:19:0;;;;;;:11;:19;;;;;;;;11121:20;:47;;;;-1:-1:-1;;;;;;11146:22:0;;;;;;:11;:22;;;;;;;;11145:23;11121:47;11118:95;;;11178:14;;-1:-1:-1;;;11178:14:0;;;;11170:41;;;;-1:-1:-1;;;11170:41:0;;9185:2:1;11170:41:0;;;9167:21:1;9224:2;9204:18;;;9197:30;-1:-1:-1;;;9243:18:1;;;9236:44;9297:18;;11170:41:0;8983:338:1;11170:41:0;11029:191;;:::o;11232:333::-;-1:-1:-1;;;;;11336:19:0;;;;;;:11;:19;;;;;;;;11335:20;:47;;;;-1:-1:-1;;;;;;11360:22:0;;;;;;:11;:22;;;;;;;;11359:23;11335:47;:77;;;;-1:-1:-1;11407:4:0;;-1:-1:-1;;;;;11386:26:0;;;11407:4;;11386:26;;11335:77;:107;;;;-1:-1:-1;;;;;;11416:26:0;;6161:42;11416:26;;11335:107;11332:226;;;11504:17;:15;:17::i;:::-;-1:-1:-1;;;;;11467:20:0;;;;;;:9;:20;;;;;;:32;;11492:6;11467:24;:32::i;:::-;11466:55;;11458:98;;;;-1:-1:-1;;;11458:98:0;;9528:2:1;11458:98:0;;;9510:21:1;9567:2;9547:18;;;9540:30;9606:32;9586:18;;;9579:60;9656:18;;11458:98:0;9326:354:1;11573:159:0;11670:4;;-1:-1:-1;;;;;11657:17:0;;;11670:4;;11657:17;:41;;;;-1:-1:-1;;;;;;11679:19:0;;;;;;:11;:19;;;;;;;;11678:20;11657:41;11654:71;;;11721:1;11700:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;11573:159:0;;:::o;11740:349::-;11851:4;;-1:-1:-1;;;;;11841:14:0;;;11851:4;;11841:14;11838:130;;11875:20;:18;:20::i;:::-;11865:6;:30;;:53;;;-1:-1:-1;;;;;;11899:19:0;;;;;;:11;:19;;;;;;;;11865:53;:79;;;-1:-1:-1;;;;;;11922:22:0;;;;;;:11;:22;;;;;;;;11865:79;11857:109;;;;-1:-1:-1;;;11857:109:0;;10017:2:1;11857:109:0;;;9999:21:1;10056:2;10036:18;;;10029:30;-1:-1:-1;;;10075:18:1;;;10068:47;10132:18;;11857:109:0;9815:341:1;11857:109:0;11996:14;:12;:14::i;:::-;11986:6;:24;;:47;;;-1:-1:-1;;;;;;12014:19:0;;;;;;:11;:19;;;;;;;;11986:47;:73;;;-1:-1:-1;;;;;;12037:22:0;;;;;;:11;:22;;;;;;;;11986:73;11978:103;;;;-1:-1:-1;;;11978:103:0;;10017:2:1;11978:103:0;;;9999:21:1;10056:2;10036:18;;;10029:30;-1:-1:-1;;;10075:18:1;;;10068:47;10132:18;;11978:103:0;9815:341:1;14694:197:0;14786:41;14801:6;14809:9;14820:6;14786:14;:41::i;:::-;14783:101;;;14829:29;14844:13;;14829:14;:29::i;:::-;14880:1;14860:9;:22;14694:197;;;:::o;14899:160::-;-1:-1:-1;;;;;15005:19:0;;14980:4;15005:19;;;:11;:19;;;;;;;;15004:20;:47;;;;-1:-1:-1;;;;;;;15029:22:0;;;;;:11;:22;;;;;;;;15028:23;;14899:160;-1:-1:-1;14899:160:0:o;15380:546::-;15466:7;15522:1;15489:30;15501:6;15509:9;15489:11;:30::i;:::-;:34;15486:418;;;15535:17;15555:59;15583:30;15595:6;15603:9;15583:11;:30::i;:::-;15566:11;;15555:23;;:6;;:10;:23::i;:59::-;15670:4;15652:24;;;;:9;:24;;;;;;15535:79;;-1:-1:-1;15652:39:0;;15535:79;15652:28;:39::i;:::-;15643:4;15625:24;;;;:9;:24;;;;;;;:66;;;;15707:42;;-1:-1:-1;;;;;15707:42:0;;;;;;;15739:9;1361:25:1;;1349:2;1334:18;;1215:177;15707:42:0;;;;;;;;15763:7;;:20;15760:104;;15785:77;15803:4;6161:42;15825:36;15853:7;;15825:23;15836:11;;15825:6;:10;;:23;;;;:::i;:36::-;15785:9;:77::i;:::-;15881:21;:6;15892:9;15881:10;:21::i;:::-;15874:28;;;;;15486:418;-1:-1:-1;15912:6:0;15380:546;-1:-1:-1;;15380:546:0:o;213:82::-;271:7;288:5;292:1;288;:5;:::i;13964:399::-;14105:14;;14180:13;;14170:4;14062;7569:18;;;:9;:18;;;;;;14212:8;;14062:4;;14095:24;;;;-1:-1:-1;14152:41:0;;14212:8;;14211:9;:24;;;;-1:-1:-1;14224:11:0;;;;14211:24;:42;;;;-1:-1:-1;14239:14:0;;-1:-1:-1;;;14239:14:0;;;;14211:42;:54;;;;;14257:8;14211:54;:78;;;;-1:-1:-1;;;;;;14270:19:0;;;;;;:11;:19;;;;;;;;14269:20;14211:78;:99;;;;-1:-1:-1;14306:4:0;;-1:-1:-1;;;;;14293:17:0;;;14306:4;;14293:17;14211:99;:126;;;;;14327:10;;14314:9;;:23;;14211:126;:144;;;;;14341:14;14211:144;14204:151;13964:399;-1:-1:-1;;;;;;13964:399:0:o;12097:1066::-;6082:8;:15;;-1:-1:-1;;6082:15:0;6093:4;6082:15;;;;;;12234:14:::1;::::0;12216:12:::1;::::0;12192::::1;::::0;6082:8;;12191:66:::1;::::0;12255:1:::1;::::0;12192:57:::1;::::0;12234:14;;12192:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;12191:66::-;12168:89;;12268:32;12303:42;12332:12;12303:24;12314:12;;12303:6;:10;;:24;;;;:::i;:42::-;12268:77:::0;-1:-1:-1;12356:14:0::1;12373:36;:6:::0;12268:77;12373:10:::1;:36::i;:::-;12356:53:::0;-1:-1:-1;12445:21:0::1;12477:24;12356:53:::0;12477:16:::1;:24::i;:::-;12512:20;12535:41;:21;12561:14:::0;12535:25:::1;:41::i;:::-;12512:64;;12587:19;12608:48;12625:30;12642:12;;12625;:16;;:30;;;;:::i;:::-;12608:12:::0;;:16:::1;:48::i;:::-;12587:69;;12667:29;12699;12715:12;;12699:11;:15;;:29;;;;:::i;:::-;12667:61:::0;-1:-1:-1;12742:34:0;;12739:103:::1;;12778:61;12791:24;12817:21;12778:12;:61::i;:::-;12898:12;::::0;12852:20:::1;::::0;12875:36:::1;::::0;:18:::1;:11:::0;12891:1:::1;12875:15;:18::i;:36::-;12852:59:::0;-1:-1:-1;12925:16:0;;12922:73:::1;;12943:50;::::0;6356:42:::1;::::0;12943:50;::::1;;;::::0;12980:12;;12943:50:::1;::::0;;;12980:12;6356:42;12943:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12922:73;13032:21;13067:29:::0;;13064:92:::1;;13098:56;::::0;6259:42:::1;::::0;13098:56;::::1;;;::::0;13137:16;;13098:56:::1;::::0;;;13137:16;6259:42;13098:56;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13064:92;-1:-1:-1::0;;6102:8:0;:16;;-1:-1:-1;;6102:16:0;;;-1:-1:-1;;;;;;;;12097:1066:0:o;15067:305::-;-1:-1:-1;;;;;15169:13:0;;15146:7;15169:13;;;:5;:13;;;;;;;;;:33;;-1:-1:-1;;;;;;15186:16:0;;;;;;:5;:16;;;;;;;;15169:33;15166:76;;;15211:11;;:29;;15235:3;15211:15;:29::i;:::-;15204:36;;;;15166:76;15268:4;;-1:-1:-1;;;;;15268:4:0;;;15255:17;;;;15252:38;;-1:-1:-1;15281:7:0;;15274:14;;15252:38;15313:4;;-1:-1:-1;;;;;15313:4:0;;;15303:14;;;;15300:36;;-1:-1:-1;15326:8:0;;15319:15;;15300:36;-1:-1:-1;15353:11:0;;15067:305;;;;:::o;13522:434::-;13612:16;;;13626:1;13612:16;;;;;;;;13588:21;;13612:16;;;;;;;;;;-1:-1:-1;13612:16:0;13588:40;;13657:4;13639;13644:1;13639:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13639:23:0;;;:7;;;;;;;;;;:23;;;;13683:6;;:13;;;-1:-1:-1;;;13683:13:0;;;;:6;;;;;:11;;:13;;;;;13639:7;;13683:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13673:4;13678:1;13673:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13673:23:0;;;:7;;;;;;;;;:23;13739:6;;13707:53;;13724:4;;13739:6;13748:11;13707:8;:53::i;:::-;13771:6;;:177;;-1:-1:-1;;;13771:177:0;;-1:-1:-1;;;;;13771:6:0;;;;:57;;:177;;13843:11;;13771:6;;13885:4;;13912;;13932:15;;13771:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13577:379;13522:434;:::o;13171:343::-;13284:6;;13252:53;;13269:4;;-1:-1:-1;;;;;13284:6:0;13293:11;13252:8;:53::i;:::-;13316:6;;:190;;-1:-1:-1;;;13316:190:0;;13379:4;13316:190;;;12007:34:1;12057:18;;;12050:34;;;13316:6:0;12100:18:1;;;12093:34;;;12143:18;;;12136:34;6452:42:0;12186:19:1;;;12179:44;13490:15:0;12239:19:1;;;12232:35;-1:-1:-1;;;;;13316:6:0;;;;:22;;13346:9;;11941:19:1;;13316:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;13171:343;;:::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:416::-;2364:6;2372;2425:2;2413:9;2404:7;2400:23;2396:32;2393:52;;;2441:1;2438;2431:12;2393:52;2480:9;2467:23;2499:31;2524:5;2499:31;:::i;:::-;2549:5;-1:-1:-1;2606:2:1;2591:18;;2578:32;2648:15;;2641:23;2629:36;;2619:64;;2679:1;2676;2669:12;2619:64;2702:7;2692:17;;;2299:416;;;;;:::o;2720:316::-;2797:6;2805;2813;2866:2;2854:9;2845:7;2841:23;2837:32;2834:52;;;2882:1;2879;2872:12;2834:52;-1:-1:-1;;2905:23:1;;;2975:2;2960:18;;2947:32;;-1:-1:-1;3026:2:1;3011:18;;;2998:32;;2720:316;-1:-1:-1;2720:316:1:o;3249:592::-;3362:6;3370;3378;3386;3394;3402;3410;3463:3;3451:9;3442:7;3438:23;3434:33;3431:53;;;3480:1;3477;3470:12;3431:53;-1:-1:-1;;3503:23:1;;;3573:2;3558:18;;3545:32;;-1:-1:-1;3624:2:1;3609:18;;3596:32;;3675:2;3660:18;;3647:32;;-1:-1:-1;3726:3:1;3711:19;;3698:33;;-1:-1:-1;3778:3:1;3763:19;;3750:33;;-1:-1:-1;3830:3:1;3815:19;3802:33;;-1:-1:-1;3249:592:1;-1:-1:-1;3249:592:1: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:127::-;4560:10;4555:3;4551:20;4548:1;4541:31;4591:4;4588:1;4581:15;4615:4;4612:1;4605:15;4631:168;4671:7;4737:1;4733;4729:6;4725:14;4722:1;4719:21;4714:1;4707:9;4700:17;4696:45;4693:71;;;4744:18;;:::i;:::-;-1:-1:-1;4784:9:1;;4631:168::o;4804:217::-;4844:1;4870;4860:132;;4914:10;4909:3;4905:20;4902:1;4895:31;4949:4;4946:1;4939:15;4977:4;4974:1;4967:15;4860:132;-1:-1:-1;5006:9:1;;4804:217::o;5026:329::-;5228:2;5210:21;;;5267:1;5247:18;;;5240:29;-1:-1:-1;;;5300:2:1;5285:18;;5278:36;5346:2;5331:18;;5026:329::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://cfe830d86454330c00ebf5f321742a34a22dfc28a39b2075a52734ce8115f26e