Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - 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 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 sub(    - function div(    - function mod( interface IERC20    - function decimals()    - function symbol()    - function name()    - function getOwner()    - function totalSupply()    - 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 swapExactTokensForETHSupport ...  contract SonataBot is IERC20, Owna ... *    - function name()    - function symbol()    - function decimals()    - function startTrading()    - function getOwner()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function setisExempt(address _address ...    - function approve(address spender, uin ...    - function totalSupply()    - function shouldContractSwap(address s ...    - function setContractSwapSettings(uint ...    - function setTransactionRequirement(ui ...    - function setTransactionsLimit(uint256 ...    - function setInternalAddresses(address ...    - function setisBot(address[] calldata ...    - function manualSwap()    - function rescueERC20(address _address ...    - function swapAndLiquify(uint256 token ...    - function addLiquidity(uint256 tokenAm ...    - function swapTokensForETH(uint256 tok ...    - function shouldTakeFee(address sender ...    - function getTotalFee(address sender, ...    - function takeFee(address sender, addr ...    - function _transfer(address sender, ad ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-08-28
*/

/*

Linktree: https://linktr.ee/sonatabot

The very first hidden-website finder Bot

https://t.me/sonataboteth
https://sonatabot.com/
https://medium.com/@sonatabot/why-sonata-f2efa2e9267f
https://twitter.com/SonataBot

Become an insider yourself!

*/
// SPDX-License-Identifier: MIT

pragma solidity 0.8.19;


library SafeMath {

    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 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 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 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 totalSupply() external view returns (uint256);
    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 swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline) external;
}

contract SonataBot is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = 'Sonata Bot';
    string private constant _symbol = unicode'SONATA';
    uint8 private constant _decimals = 18;
    uint256 private _totalSupply = 10000000 * (10 ** _decimals);
    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;
    bool private swapEnabled = true;
    uint256 private swapTimes;
    bool private swapping;
    uint256 swapAmount = 1;
    uint256 private swapThreshold = ( _totalSupply * 1000 ) / 100000;
    uint256 private minTokenAmount = ( _totalSupply * 10 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 1250;
    uint256 private developmentFee = 1250;
    uint256 private burnFee = 0;
    uint256 private totalFee = 2500;
    uint256 private sellFee = 2500;
    uint256 private transferFee = 2500;
    uint256 private denominator = 10000;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal development_receiver = 0x9f90B1d891B7321Ec8CB0455d3e1E303660C3028; 
    address internal marketing_receiver = 0xbaeEE79FE133174818C15D383ee88D7F08Ca8AdD;
    address internal liquidity_receiver = 0xC26c5544Bc60cb9780eB18Ffb85Ad567Df94Fb72;
    uint256 public _maxTxAmount = ( _totalSupply * 200 ) / 10000;
    uint256 public _maxSellAmount = ( _totalSupply * 200 ) / 10000;
    uint256 public _maxWalletToken = ( _totalSupply * 200 ) / 10000;

    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[development_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 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 shouldContractSwap(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 setContractSwapSettings(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 setTransactionRequirement(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 && sellFee <= denominator && transferFee <= denominator, "totalFee and sellFee cannot be more than 100%");
    }

    function setTransactionsLimit(uint256 _buy, uint256 _sell, uint256 _wallet) external onlyOwner {
        uint256 newTx = _totalSupply.mul(_buy).div(10000); uint256 newTransfer = _totalSupply.mul(_sell).div(10000); uint256 newWallet = _totalSupply.mul(_wallet).div(10000);
        _maxTxAmount = newTx; _maxSellAmount = newTransfer; _maxWalletToken = newWallet;
        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 setInternalAddresses(address _marketing, address _liquidity, address _development) external onlyOwner {
        marketing_receiver = _marketing; liquidity_receiver = _liquidity; development_receiver = _development;
        isFeeExempt[_marketing] = true; isFeeExempt[_liquidity] = true; isFeeExempt[_development] = true;
    }

    function setisBot(address[] calldata addresses, bool _enabled) external onlyOwner {
        for(uint i=0; i < addresses.length; i++){
        isBot[addresses[i]] = _enabled; }
    }

    function manualSwap() external onlyOwner {
        swapAndLiquify(swapThreshold);
    }

    function rescueERC20(address _address, uint256 percent) external onlyOwner {
        uint256 _amount = IERC20(_address).balanceOf(address(this)).mul(percent).div(100);
        IERC20(_address).transfer(development_receiver, _amount);
    }

    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 contractBalance = address(this).balance;
        if(contractBalance > uint256(0)){payable(development_receiver).transfer(contractBalance);}
    }

    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 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) && getTotalFee(sender, recipient) > burnFee){_transfer(address(this), address(DEAD), amount.div(denominator).mul(burnFee));}
        return amount.sub(feeAmount);} return amount;
    }

    function _transfer(address sender, address recipient, uint256 amount) private {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount <= balanceOf(sender),"You are trying to transfer more than your balance");
        if(!isFeeExempt[sender] && !isFeeExempt[recipient]){require(tradingAllowed, "tradingAllowed");}
        if(!isFeeExempt[sender] && !isFeeExempt[recipient] && recipient != address(pair) && recipient != address(DEAD)){
        require((_balances[recipient].add(amount)) <= _maxWalletToken, "Exceeds maximum wallet amount.");}
        if(sender != pair){require(amount <= _maxSellAmount || isFeeExempt[sender] || isFeeExempt[recipient], "TX Limit Exceeded");}
        require(amount <= _maxTxAmount || isFeeExempt[sender] || isFeeExempt[recipient], "TX Limit Exceeded"); 
        if(recipient == pair && !isFeeExempt[sender]){swapTimes += uint256(1);}
        if(shouldContractSwap(sender, recipient, amount)){swapAndLiquify(swapThreshold); swapTimes = uint256(0);}
        _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 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":"_maxSellAmount","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":"manualSwap","outputs":[],"stateMutability":"nonpayable","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":"address","name":"_address","type":"address"},{"internalType":"uint256","name":"percent","type":"uint256"}],"name":"rescueERC20","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":"setContractSwapSettings","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_marketing","type":"address"},{"internalType":"address","name":"_liquidity","type":"address"},{"internalType":"address","name":"_development","type":"address"}],"name":"setInternalAddresses","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":"setTransactionRequirement","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_buy","type":"uint256"},{"internalType":"uint256","name":"_sell","type":"uint256"},{"internalType":"uint256","name":"_wallet","type":"uint256"}],"name":"setTransactionsLimit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"addresses","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"}]

6080604052620000126012600a620004f5565b6200002190629896806200050d565b60018181556007805461ffff60a01b1916600160a81b179055600a55620186a09062000050906103e86200050d565b6200005c919062000527565b600b55620186a0600154600a6200007491906200050d565b62000080919062000527565b600c556000600d8190556104e2600e819055600f556010556109c4601181905560128190556013556127106014819055601580546001600160a01b0319908116739f90b1d891b7321ec8cb0455d3e1e303660c30281790915560168054821673baeee79fe133174818c15d383ee88d7f08ca8add1790556017805490911673c26c5544bc60cb9780eb18ffb85ad567df94fb72179055600154620001269060c86200050d565b62000132919062000527565b60185561271060015460c86200014991906200050d565b62000155919062000527565b60195561271060015460c86200016c91906200050d565b62000178919062000527565b601a553480156200018857600080fd5b50600080546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa158015620001f0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200021691906200054a565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000264573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200028a91906200054a565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015620002d8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002fe91906200054a565b600680546001600160a01b038581166001600160a01b031992831617909255600780548484169216919091179055306000908152600460209081526040808320805460ff19908116600190811790925560175486168552828520805482168317905560165486168552828520805482168317905560155490951684528184208054861682179055338085528285208054909616821790955554600283528184208190559051908152939450919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505062000575565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620004375781600019048211156200041b576200041b620003e0565b808516156200042957918102915b93841c9390800290620003fb565b509250929050565b6000826200045057506001620004ef565b816200045f57506000620004ef565b81600181146200047857600281146200048357620004a3565b6001915050620004ef565b60ff841115620004975762000497620003e0565b50506001821b620004ef565b5060208310610133831016604e8410600b8410161715620004c8575081810a620004ef565b620004d48383620003f6565b8060001904821115620004eb57620004eb620003e0565b0290505b92915050565b60006200050660ff8416836200043f565b9392505050565b8082028115828204841417620004ef57620004ef620003e0565b6000826200054557634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200055d57600080fd5b81516001600160a01b03811681146200050657600080fd5b611e3580620005856000396000f3fe6080604052600436106101855760003560e01c806372992efb116100d15780639213c3581161008a578063a8aa1b3111610064578063a8aa1b31146104a9578063a9059cbb146104c9578063dd62ed3e146104e9578063f2fde38b1461052f57600080fd5b80639213c3581461043a57806395d89b411461045a5780639d8740cb1461048957600080fd5b806372992efb1461038657806378109e54146103a65780637cca52fe146103bc5780637d1db4a5146103d2578063893d20e8146103e85780638cd4426d1461041a57600080fd5b80632f54bf6e1161013e5780633f4218e0116101185780633f4218e0146102eb57806348ff2b8b1461031b57806351bc3c851461033b57806370a082311461035057600080fd5b80632f54bf6e14610280578063313ce567146102af57806333cc1263146102cb57600080fd5b806306fdde0314610191578063095ea7b3146101d657806318160ddd14610206578063229b6a5e1461022957806323b872dd1461024b578063293230b81461026b57600080fd5b3661018c57005b600080fd5b34801561019d57600080fd5b5060408051808201909152600a81526914dbdb985d1848109bdd60b21b60208201525b6040516101cd919061197e565b60405180910390f35b3480156101e257600080fd5b506101f66101f13660046119e4565b61054f565b60405190151581526020016101cd565b34801561021257600080fd5b5061021b610566565b6040519081526020016101cd565b34801561023557600080fd5b50610249610244366004611a1e565b6105d7565b005b34801561025757600080fd5b506101f6610266366004611aa4565b610681565b34801561027757600080fd5b506102496106eb565b34801561028c57600080fd5b506101f661029b366004611ae5565b6000546001600160a01b0391821691161490565b3480156102bb57600080fd5b50604051601281526020016101cd565b3480156102d757600080fd5b506102496102e6366004611b02565b61072a565b3480156102f757600080fd5b506101f6610306366004611ae5565b60046020526000908152604090205460ff1681565b34801561032757600080fd5b50610249610336366004611b2e565b61086b565b34801561034757600080fd5b506102496108c0565b34801561035c57600080fd5b5061021b61036b366004611ae5565b6001600160a01b031660009081526002602052604090205490565b34801561039257600080fd5b506102496103a1366004611b67565b6108f7565b3480156103b257600080fd5b5061021b601a5481565b3480156103c857600080fd5b5061021b60195481565b3480156103de57600080fd5b5061021b60185481565b3480156103f457600080fd5b506000546001600160a01b03165b6040516001600160a01b0390911681526020016101cd565b34801561042657600080fd5b506102496104353660046119e4565b6109cc565b34801561044657600080fd5b50610249610455366004611bb3565b610ae7565b34801561046657600080fd5b50604080518082019091526006815265534f4e41544160d01b60208201526101c0565b34801561049557600080fd5b506102496104a4366004611b02565b610b8d565b3480156104b557600080fd5b50600754610402906001600160a01b031681565b3480156104d557600080fd5b506101f66104e43660046119e4565b610bf3565b3480156104f557600080fd5b5061021b610504366004611bf3565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b34801561053b57600080fd5b5061024961054a366004611ae5565b610c00565b600061055c338484610c7e565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926105d29290916105cc9190610da2565b90610da2565b905090565b6000546001600160a01b0316331461060a5760405162461bcd60e51b815260040161060190611c21565b60405180910390fd5b60005b8281101561067b57816005600086868581811061062c5761062c611c41565b90506020020160208101906106419190611ae5565b6001600160a01b031681526020810191909152604001600020805460ff19169115159190911790558061067381611c6d565b91505061060d565b50505050565b600061068e848484610dae565b6106e084336106db85604051806060016040528060288152602001611dd8602891396001600160a01b038a16600090815260036020908152604080832033845290915290205491906112fb565b610c7e565b5060015b9392505050565b6000546001600160a01b031633146107155760405162461bcd60e51b815260040161060190611c21565b6007805460ff60a01b1916600160a01b179055565b6000546001600160a01b031633146107545760405162461bcd60e51b815260040161060190611c21565b60006107776127106107718660015461132790919063ffffffff16565b90611333565b905060006107966127106107718660015461132790919063ffffffff16565b905060006107b56127106107718660015461132790919063ffffffff16565b60188490556019839055601a819055905060006107e16103e861077160056107db610566565b90611327565b90508084101580156107f35750808310155b80156107ff5750808210155b6108625760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b6064820152608401610601565b50505050505050565b6000546001600160a01b031633146108955760405162461bcd60e51b815260040161060190611c21565b6001600160a01b03919091166000908152600460205260409020805460ff1916911515919091179055565b6000546001600160a01b031633146108ea5760405162461bcd60e51b815260040161060190611c21565b6108f5600b5461133f565b565b6000546001600160a01b031633146109215760405162461bcd60e51b815260040161060190611c21565b600d879055600e8690556010859055600f849055601183905560128290556013819055601454831180159061095a575060145460125411155b801561096a575060145460135411155b6108625760405162461bcd60e51b815260206004820152602d60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526c6f7265207468616e203130302560981b6064820152608401610601565b6000546001600160a01b031633146109f65760405162461bcd60e51b815260040161060190611c21565b6040516370a0823160e01b8152306004820152600090610a6e906064906107719085906001600160a01b038816906370a0823190602401602060405180830381865afa158015610a4a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107db9190611c86565b60155460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810183905291925084169063a9059cbb906044016020604051808303816000875af1158015610ac3573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061067b9190611c9f565b6000546001600160a01b03163314610b115760405162461bcd60e51b815260040161060190611c21565b601680546001600160a01b039485166001600160a01b031991821681179092556017805494861694821685179055601580549390951692168217909355600092835260046020526040808420805460ff199081166001908117909255938552818520805485168217905591845290922080549091169091179055565b6000546001600160a01b03163314610bb75760405162461bcd60e51b815260040161060190611c21565b600a839055600154610bd290620186a0906107719085611327565b600b55600154610beb90620186a0906107719084611327565b600c55505050565b600061055c338484610dae565b6000546001600160a01b03163314610c2a5760405162461bcd60e51b815260040161060190611c21565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b038316610ce05760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610601565b6001600160a01b038216610d415760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610601565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006106e48284611cbc565b6001600160a01b038316610e125760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610601565b6001600160a01b038216610e745760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610601565b6001600160a01b038316600090815260026020526040902054811115610ef65760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b6064820152608401610601565b6001600160a01b03831660009081526004602052604090205460ff16158015610f3857506001600160a01b03821660009081526004602052604090205460ff16155b15610f8757600754600160a01b900460ff16610f875760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b6044820152606401610601565b6001600160a01b03831660009081526004602052604090205460ff16158015610fc957506001600160a01b03821660009081526004602052604090205460ff16155b8015610fe357506007546001600160a01b03838116911614155b8015610ffa57506001600160a01b03821661dead14155b1561107357601a546001600160a01b03831660009081526002602052604090205461102590836114bc565b11156110735760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610601565b6007546001600160a01b0384811691161461111457601954811115806110b157506001600160a01b03831660009081526004602052604090205460ff165b806110d457506001600160a01b03821660009081526004602052604090205460ff165b6111145760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610601565b6018548111158061113d57506001600160a01b03831660009081526004602052604090205460ff165b8061116057506001600160a01b03821660009081526004602052604090205460ff165b6111a05760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610601565b6007546001600160a01b0383811691161480156111d657506001600160a01b03831660009081526004602052604090205460ff16155b156111f4576001600860008282546111ee9190611ccf565b90915550505b6111ff8383836114c8565b156112155761120f600b5461133f565b60006008555b6001600160a01b0383166000908152600260205260409020546112389082610da2565b6001600160a01b03841660009081526002602052604081209190915561125e8484611582565b6112685781611273565b6112738484846115c8565b6001600160a01b03841660009081526002602052604090205490915061129990826114bc565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112ed9085815260200190565b60405180910390a350505050565b6000818484111561131f5760405162461bcd60e51b8152600401610601919061197e565b505050900390565b60006106e48284611ce2565b60006106e48284611cf9565b6009805460ff19166001908117909155600f54600e54600d54600093611379936002936107db9391926113739283916114bc565b906114bc565b9050600061139682610771600d548661132790919063ffffffff16565b905060006113a48483610da2565b9050476113b0826116cf565b60006113bc4783610da2565b905060006113df6113d8600d5488610da290919063ffffffff16565b8390611333565b905060006113f8600d548361132790919063ffffffff16565b9050801561140a5761140a8682611829565b600e5460009061141f906107db856002611327565b90508015611463576016546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611461573d6000803e3d6000fd5b505b4780156114a6576015546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156114a4573d6000803e3d6000fd5b505b50506009805460ff191690555050505050505050565b60006106e48284611ccf565b600c54600b543060009081526002602052604081205460095491938510159211159060ff161580156115035750600754600160a81b900460ff165b80156115185750600754600160a01b900460ff165b80156115215750815b801561154657506001600160a01b03861660009081526004602052604090205460ff16155b801561155f57506007546001600160a01b038681169116145b801561156f5750600a5460085410155b80156115785750805b9695505050505050565b6001600160a01b03821660009081526004602052604081205460ff161580156106e45750506001600160a01b031660009081526004602052604090205460ff1615919050565b6000806115d585856118dd565b11156116c85760006115f86115ea86866118dd565b6014546107db908690611333565b3060009081526002602052604090205490915061161590826114bc565b30600081815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906116669085815260200190565b60405180910390a3600060105411801561168a575060105461168886866118dd565b115b156116b6576116b63061dead6116b16010546107db6014548961133390919063ffffffff16565b610dae565b6116c08382610da2565b9150506106e4565b5092915050565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061170457611704611c41565b6001600160a01b03928316602091820292909201810191909152600654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561175d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117819190611d1b565b8160018151811061179457611794611c41565b6001600160a01b0392831660209182029290920101526006546117ba9130911684610c7e565b60065460405163791ac94760e01b81526001600160a01b039091169063791ac947906117f3908590600090869030904290600401611d38565b600060405180830381600087803b15801561180d57600080fd5b505af1158015611821573d6000803e3d6000fd5b505050505050565b6006546118419030906001600160a01b031684610c7e565b60065460175460405163f305d71960e01b81523060048201526024810185905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af11580156118b1573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906118d69190611da9565b5050505050565b6001600160a01b03821660009081526005602052604081205460ff168061191c57506001600160a01b03821660009081526005602052604090205460ff165b156119365760145461192f906064610da2565b9050610560565b6007546001600160a01b03908116908316036119555750601254610560565b6007546001600160a01b03908116908416036119745750601154610560565b5060135492915050565b600060208083528351808285015260005b818110156119ab5785810183015185820160400152820161198f565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146119e157600080fd5b50565b600080604083850312156119f757600080fd5b8235611a02816119cc565b946020939093013593505050565b80151581146119e157600080fd5b600080600060408486031215611a3357600080fd5b833567ffffffffffffffff80821115611a4b57600080fd5b818601915086601f830112611a5f57600080fd5b813581811115611a6e57600080fd5b8760208260051b8501011115611a8357600080fd5b60209283019550935050840135611a9981611a10565b809150509250925092565b600080600060608486031215611ab957600080fd5b8335611ac4816119cc565b92506020840135611ad4816119cc565b929592945050506040919091013590565b600060208284031215611af757600080fd5b81356106e4816119cc565b600080600060608486031215611b1757600080fd5b505081359360208301359350604090920135919050565b60008060408385031215611b4157600080fd5b8235611b4c816119cc565b91506020830135611b5c81611a10565b809150509250929050565b600080600080600080600060e0888a031215611b8257600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b600080600060608486031215611bc857600080fd5b8335611bd3816119cc565b92506020840135611be3816119cc565b91506040840135611a99816119cc565b60008060408385031215611c0657600080fd5b8235611c11816119cc565b91506020830135611b5c816119cc565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b600060018201611c7f57611c7f611c57565b5060010190565b600060208284031215611c9857600080fd5b5051919050565b600060208284031215611cb157600080fd5b81516106e481611a10565b8181038181111561056057610560611c57565b8082018082111561056057610560611c57565b808202811582820484141761056057610560611c57565b600082611d1657634e487b7160e01b600052601260045260246000fd5b500490565b600060208284031215611d2d57600080fd5b81516106e4816119cc565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611d885784516001600160a01b031683529383019391830191600101611d63565b50506001600160a01b03969096166060850152505050608001529392505050565b600080600060608486031215611dbe57600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220e639ca2aeb9ec165d2e05ddf64c6748566a70bc63216d42b9a6cf429fc11d02064736f6c63430008130033

0x6080604052600436106101855760003560e01c806372992efb116100d15780639213c3581161008a578063a8aa1b3111610064578063a8aa1b31146104a9578063a9059cbb146104c9578063dd62ed3e146104e9578063f2fde38b1461052f57600080fd5b80639213c3581461043a57806395d89b411461045a5780639d8740cb1461048957600080fd5b806372992efb1461038657806378109e54146103a65780637cca52fe146103bc5780637d1db4a5146103d2578063893d20e8146103e85780638cd4426d1461041a57600080fd5b80632f54bf6e1161013e5780633f4218e0116101185780633f4218e0146102eb57806348ff2b8b1461031b57806351bc3c851461033b57806370a082311461035057600080fd5b80632f54bf6e14610280578063313ce567146102af57806333cc1263146102cb57600080fd5b806306fdde0314610191578063095ea7b3146101d657806318160ddd14610206578063229b6a5e1461022957806323b872dd1461024b578063293230b81461026b57600080fd5b3661018c57005b600080fd5b34801561019d57600080fd5b5060408051808201909152600a81526914dbdb985d1848109bdd60b21b60208201525b6040516101cd919061197e565b60405180910390f35b3480156101e257600080fd5b506101f66101f13660046119e4565b61054f565b60405190151581526020016101cd565b34801561021257600080fd5b5061021b610566565b6040519081526020016101cd565b34801561023557600080fd5b50610249610244366004611a1e565b6105d7565b005b34801561025757600080fd5b506101f6610266366004611aa4565b610681565b34801561027757600080fd5b506102496106eb565b34801561028c57600080fd5b506101f661029b366004611ae5565b6000546001600160a01b0391821691161490565b3480156102bb57600080fd5b50604051601281526020016101cd565b3480156102d757600080fd5b506102496102e6366004611b02565b61072a565b3480156102f757600080fd5b506101f6610306366004611ae5565b60046020526000908152604090205460ff1681565b34801561032757600080fd5b50610249610336366004611b2e565b61086b565b34801561034757600080fd5b506102496108c0565b34801561035c57600080fd5b5061021b61036b366004611ae5565b6001600160a01b031660009081526002602052604090205490565b34801561039257600080fd5b506102496103a1366004611b67565b6108f7565b3480156103b257600080fd5b5061021b601a5481565b3480156103c857600080fd5b5061021b60195481565b3480156103de57600080fd5b5061021b60185481565b3480156103f457600080fd5b506000546001600160a01b03165b6040516001600160a01b0390911681526020016101cd565b34801561042657600080fd5b506102496104353660046119e4565b6109cc565b34801561044657600080fd5b50610249610455366004611bb3565b610ae7565b34801561046657600080fd5b50604080518082019091526006815265534f4e41544160d01b60208201526101c0565b34801561049557600080fd5b506102496104a4366004611b02565b610b8d565b3480156104b557600080fd5b50600754610402906001600160a01b031681565b3480156104d557600080fd5b506101f66104e43660046119e4565b610bf3565b3480156104f557600080fd5b5061021b610504366004611bf3565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b34801561053b57600080fd5b5061024961054a366004611ae5565b610c00565b600061055c338484610c7e565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926105d29290916105cc9190610da2565b90610da2565b905090565b6000546001600160a01b0316331461060a5760405162461bcd60e51b815260040161060190611c21565b60405180910390fd5b60005b8281101561067b57816005600086868581811061062c5761062c611c41565b90506020020160208101906106419190611ae5565b6001600160a01b031681526020810191909152604001600020805460ff19169115159190911790558061067381611c6d565b91505061060d565b50505050565b600061068e848484610dae565b6106e084336106db85604051806060016040528060288152602001611dd8602891396001600160a01b038a16600090815260036020908152604080832033845290915290205491906112fb565b610c7e565b5060015b9392505050565b6000546001600160a01b031633146107155760405162461bcd60e51b815260040161060190611c21565b6007805460ff60a01b1916600160a01b179055565b6000546001600160a01b031633146107545760405162461bcd60e51b815260040161060190611c21565b60006107776127106107718660015461132790919063ffffffff16565b90611333565b905060006107966127106107718660015461132790919063ffffffff16565b905060006107b56127106107718660015461132790919063ffffffff16565b60188490556019839055601a819055905060006107e16103e861077160056107db610566565b90611327565b90508084101580156107f35750808310155b80156107ff5750808210155b6108625760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b6064820152608401610601565b50505050505050565b6000546001600160a01b031633146108955760405162461bcd60e51b815260040161060190611c21565b6001600160a01b03919091166000908152600460205260409020805460ff1916911515919091179055565b6000546001600160a01b031633146108ea5760405162461bcd60e51b815260040161060190611c21565b6108f5600b5461133f565b565b6000546001600160a01b031633146109215760405162461bcd60e51b815260040161060190611c21565b600d879055600e8690556010859055600f849055601183905560128290556013819055601454831180159061095a575060145460125411155b801561096a575060145460135411155b6108625760405162461bcd60e51b815260206004820152602d60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526c6f7265207468616e203130302560981b6064820152608401610601565b6000546001600160a01b031633146109f65760405162461bcd60e51b815260040161060190611c21565b6040516370a0823160e01b8152306004820152600090610a6e906064906107719085906001600160a01b038816906370a0823190602401602060405180830381865afa158015610a4a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107db9190611c86565b60155460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810183905291925084169063a9059cbb906044016020604051808303816000875af1158015610ac3573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061067b9190611c9f565b6000546001600160a01b03163314610b115760405162461bcd60e51b815260040161060190611c21565b601680546001600160a01b039485166001600160a01b031991821681179092556017805494861694821685179055601580549390951692168217909355600092835260046020526040808420805460ff199081166001908117909255938552818520805485168217905591845290922080549091169091179055565b6000546001600160a01b03163314610bb75760405162461bcd60e51b815260040161060190611c21565b600a839055600154610bd290620186a0906107719085611327565b600b55600154610beb90620186a0906107719084611327565b600c55505050565b600061055c338484610dae565b6000546001600160a01b03163314610c2a5760405162461bcd60e51b815260040161060190611c21565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b038316610ce05760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610601565b6001600160a01b038216610d415760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610601565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006106e48284611cbc565b6001600160a01b038316610e125760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610601565b6001600160a01b038216610e745760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610601565b6001600160a01b038316600090815260026020526040902054811115610ef65760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b6064820152608401610601565b6001600160a01b03831660009081526004602052604090205460ff16158015610f3857506001600160a01b03821660009081526004602052604090205460ff16155b15610f8757600754600160a01b900460ff16610f875760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b6044820152606401610601565b6001600160a01b03831660009081526004602052604090205460ff16158015610fc957506001600160a01b03821660009081526004602052604090205460ff16155b8015610fe357506007546001600160a01b03838116911614155b8015610ffa57506001600160a01b03821661dead14155b1561107357601a546001600160a01b03831660009081526002602052604090205461102590836114bc565b11156110735760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610601565b6007546001600160a01b0384811691161461111457601954811115806110b157506001600160a01b03831660009081526004602052604090205460ff165b806110d457506001600160a01b03821660009081526004602052604090205460ff165b6111145760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610601565b6018548111158061113d57506001600160a01b03831660009081526004602052604090205460ff165b8061116057506001600160a01b03821660009081526004602052604090205460ff165b6111a05760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610601565b6007546001600160a01b0383811691161480156111d657506001600160a01b03831660009081526004602052604090205460ff16155b156111f4576001600860008282546111ee9190611ccf565b90915550505b6111ff8383836114c8565b156112155761120f600b5461133f565b60006008555b6001600160a01b0383166000908152600260205260409020546112389082610da2565b6001600160a01b03841660009081526002602052604081209190915561125e8484611582565b6112685781611273565b6112738484846115c8565b6001600160a01b03841660009081526002602052604090205490915061129990826114bc565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112ed9085815260200190565b60405180910390a350505050565b6000818484111561131f5760405162461bcd60e51b8152600401610601919061197e565b505050900390565b60006106e48284611ce2565b60006106e48284611cf9565b6009805460ff19166001908117909155600f54600e54600d54600093611379936002936107db9391926113739283916114bc565b906114bc565b9050600061139682610771600d548661132790919063ffffffff16565b905060006113a48483610da2565b9050476113b0826116cf565b60006113bc4783610da2565b905060006113df6113d8600d5488610da290919063ffffffff16565b8390611333565b905060006113f8600d548361132790919063ffffffff16565b9050801561140a5761140a8682611829565b600e5460009061141f906107db856002611327565b90508015611463576016546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611461573d6000803e3d6000fd5b505b4780156114a6576015546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156114a4573d6000803e3d6000fd5b505b50506009805460ff191690555050505050505050565b60006106e48284611ccf565b600c54600b543060009081526002602052604081205460095491938510159211159060ff161580156115035750600754600160a81b900460ff165b80156115185750600754600160a01b900460ff165b80156115215750815b801561154657506001600160a01b03861660009081526004602052604090205460ff16155b801561155f57506007546001600160a01b038681169116145b801561156f5750600a5460085410155b80156115785750805b9695505050505050565b6001600160a01b03821660009081526004602052604081205460ff161580156106e45750506001600160a01b031660009081526004602052604090205460ff1615919050565b6000806115d585856118dd565b11156116c85760006115f86115ea86866118dd565b6014546107db908690611333565b3060009081526002602052604090205490915061161590826114bc565b30600081815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906116669085815260200190565b60405180910390a3600060105411801561168a575060105461168886866118dd565b115b156116b6576116b63061dead6116b16010546107db6014548961133390919063ffffffff16565b610dae565b6116c08382610da2565b9150506106e4565b5092915050565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061170457611704611c41565b6001600160a01b03928316602091820292909201810191909152600654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561175d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117819190611d1b565b8160018151811061179457611794611c41565b6001600160a01b0392831660209182029290920101526006546117ba9130911684610c7e565b60065460405163791ac94760e01b81526001600160a01b039091169063791ac947906117f3908590600090869030904290600401611d38565b600060405180830381600087803b15801561180d57600080fd5b505af1158015611821573d6000803e3d6000fd5b505050505050565b6006546118419030906001600160a01b031684610c7e565b60065460175460405163f305d71960e01b81523060048201526024810185905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af11580156118b1573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906118d69190611da9565b5050505050565b6001600160a01b03821660009081526005602052604081205460ff168061191c57506001600160a01b03821660009081526005602052604090205460ff165b156119365760145461192f906064610da2565b9050610560565b6007546001600160a01b03908116908316036119555750601254610560565b6007546001600160a01b03908116908416036119745750601154610560565b5060135492915050565b600060208083528351808285015260005b818110156119ab5785810183015185820160400152820161198f565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146119e157600080fd5b50565b600080604083850312156119f757600080fd5b8235611a02816119cc565b946020939093013593505050565b80151581146119e157600080fd5b600080600060408486031215611a3357600080fd5b833567ffffffffffffffff80821115611a4b57600080fd5b818601915086601f830112611a5f57600080fd5b813581811115611a6e57600080fd5b8760208260051b8501011115611a8357600080fd5b60209283019550935050840135611a9981611a10565b809150509250925092565b600080600060608486031215611ab957600080fd5b8335611ac4816119cc565b92506020840135611ad4816119cc565b929592945050506040919091013590565b600060208284031215611af757600080fd5b81356106e4816119cc565b600080600060608486031215611b1757600080fd5b505081359360208301359350604090920135919050565b60008060408385031215611b4157600080fd5b8235611b4c816119cc565b91506020830135611b5c81611a10565b809150509250929050565b600080600080600080600060e0888a031215611b8257600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b600080600060608486031215611bc857600080fd5b8335611bd3816119cc565b92506020840135611be3816119cc565b91506040840135611a99816119cc565b60008060408385031215611c0657600080fd5b8235611c11816119cc565b91506020830135611b5c816119cc565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b600060018201611c7f57611c7f611c57565b5060010190565b600060208284031215611c9857600080fd5b5051919050565b600060208284031215611cb157600080fd5b81516106e481611a10565b8181038181111561056057610560611c57565b8082018082111561056057610560611c57565b808202811582820484141761056057610560611c57565b600082611d1657634e487b7160e01b600052601260045260246000fd5b500490565b600060208284031215611d2d57600080fd5b81516106e4816119cc565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611d885784516001600160a01b031683529383019391830191600101611d63565b50506001600160a01b03969096166060850152505050608001529392505050565b600080600060608486031215611dbe57600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220e639ca2aeb9ec165d2e05ddf64c6748566a70bc63216d42b9a6cf429fc11d02064736f6c63430008130033

4934:11351:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7386:67;;;;;;;;;;-1:-1:-1;7446:5:0;;;;;;;;;;;;-1:-1:-1;;;7446:5:0;;;;7386:67;;;;;;;:::i;:::-;;;;;;;;8267:133;;;;;;;;;;-1:-1:-1;8267:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;8267:133:0;1023:187:1;8406:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;8406:132:0;1215:177:1;10705:184:0;;;;;;;;;;-1:-1:-1;10705:184:0;;;;;:::i;:::-;;:::i;:::-;;15628:309;;;;;;;;;;-1:-1:-1;15628:309:0;;;;;:::i;:::-;;:::i;7609:67::-;;;;;;;;;;;;;:::i;3838:87::-;;;;;;;;;;-1:-1:-1;3838:87:0;;;;;:::i;:::-;3893:4;3918:5;-1:-1:-1;;;;;3907:16:0;;;3918:5;;3907:16;;3838:87;7536:67;;;;;;;;;;-1:-1:-1;7536:67:0;;5154:2;3130:36:1;;3118:2;3103:18;7536:67:0;2988:184:1;9795:556:0;;;;;;;;;;-1:-1:-1;9795:556:0;;;;;:::i;:::-;;:::i;5350:44::-;;;;;;;;;;-1:-1:-1;5350:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;8153:108;;;;;;;;;;-1:-1:-1;8153:108:0;;;;;:::i;:::-;;:::i;10897:89::-;;;;;;;;;;;;;:::i;7766:103::-;;;;;;;;;;-1:-1:-1;7766:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;7849:18:0;7832:7;7849:18;;;:9;:18;;;;;;;7766:103;9284:503;;;;;;;;;;-1:-1:-1;9284:503:0;;;;;:::i;:::-;;:::i;6669:63::-;;;;;;;;;;;;;;;;6600:62;;;;;;;;;;;;;;;;6533:60;;;;;;;;;;;;;;;;7682:78;;;;;;;;;;-1:-1:-1;7734:7:0;7752:5;-1:-1:-1;;;;;7752:5:0;7682:78;;;-1:-1:-1;;;;;4646:32:1;;;4628:51;;4616:2;4601:18;7682:78:0;4482:203:1;10994:242:0;;;;;;;;;;-1:-1:-1;10994:242:0;;;;;:::i;:::-;;:::i;10359:338::-;;;;;;;;;;-1:-1:-1;10359:338:0;;;;;:::i;:::-;;:::i;7459:71::-;;;;;;;;;;-1:-1:-1;7521:7:0;;;;;;;;;;;;-1:-1:-1;;;7521:7:0;;;;7459:71;;8957:319;;;;;;;;;;-1:-1:-1;8957:319:0;;;;;:::i;:::-;;:::i;5468:19::-;;;;;;;;;;-1:-1:-1;5468:19:0;;;;-1:-1:-1;;;;;5468:19:0;;;7875:139;;;;;;;;;;-1:-1:-1;7875:139:0;;;;;:::i;:::-;;:::i;8020:127::-;;;;;;;;;;-1:-1:-1;8020:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;8118:18:0;;;8101:7;8118:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8020:127;3931:111;;;;;;;;;;-1:-1:-1;3931:111:0;;;;;:::i;:::-;;:::i;8267:133::-;8342:4;8349:37;8358:10;8370:7;8379:6;8349:8;:37::i;:::-;-1:-1:-1;8394:4:0;8267:133;;;;;:::o;8406:132::-;7849:9;:18;;;;6220:42;8459:7;7849:18;;;;;8476:12;;8459:7;;8476:60;;7849:18;;8476:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;8469:67;;8406:132;:::o;10705:184::-;3893:4;3918:5;-1:-1:-1;;;;;3918:5:0;3805:10;3907:16;3789:38;;;;-1:-1:-1;;;3789:38:0;;;;;;;:::i;:::-;;;;;;;;;10802:6:::1;10798:84;10812:20:::0;;::::1;10798:84;;;10871:8;10849:5;:19;10855:9;;10865:1;10855:12;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10849:19:0::1;::::0;;::::1;::::0;::::1;::::0;;;;;;-1:-1:-1;10849:19:0;:30;;-1:-1:-1;;10849:30:0::1;::::0;::::1;;::::0;;;::::1;::::0;;10834:3;::::1;::::0;::::1;:::i;:::-;;;;10798:84;;;;10705:184:::0;;;:::o;15628:309::-;15726:4;15743:36;15753:6;15761:9;15772:6;15743:9;:36::i;:::-;15790:117;15799:6;15807:10;15819:87;15855:6;15819:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15819:19:0;;;;;;:11;:19;;;;;;;;15839:10;15819:31;;;;;;;;;:87;:35;:87::i;:::-;15790:8;:117::i;:::-;-1:-1:-1;15925:4:0;15628:309;;;;;;:::o;7609:67::-;3893:4;3918:5;-1:-1:-1;;;;;3918:5:0;3805:10;3907:16;3789:38;;;;-1:-1:-1;;;3789:38:0;;;;;;;:::i;:::-;7653:14:::1;:21:::0;;-1:-1:-1;;;;7653:21:0::1;-1:-1:-1::0;;;7653:21:0::1;::::0;;7609:67::o;9795:556::-;3893:4;3918:5;-1:-1:-1;;;;;3918:5:0;3805:10;3907:16;3789:38;;;;-1:-1:-1;;;3789:38:0;;;;;;;:::i;:::-;9901:13:::1;9917:33;9944:5;9917:22;9934:4;9917:12;;:16;;:22;;;;:::i;:::-;:26:::0;::::1;:33::i;:::-;9901:49;;9952:19;9974:34;10002:5;9974:23;9991:5;9974:12;;:16;;:23;;;;:::i;:34::-;9952:56;;10010:17;10030:36;10060:5;10030:25;10047:7;10030:12;;:16;;:25;;;;:::i;:36::-;10077:12;:20:::0;;;10099:14:::1;:28:::0;;;10129:15:::1;:27:::0;;;10010:56;-1:-1:-1;;10183:30:0::1;10208:4;10183:20;10201:1;10183:13;:11;:13::i;:::-;:17:::0;::::1;:20::i;:30::-;10167:46;;10241:5;10232;:14;;:38;;;;;10265:5;10250:11;:20;;10232:38;:60;;;;;10287:5;10274:9;:18;;10232:60;10224:119;;;::::0;-1:-1:-1;;;10224:119:0;;6817:2:1;10224:119:0::1;::::0;::::1;6799:21:1::0;6856:2;6836:18;;;6829:30;6895:34;6875:18;;;6868:62;-1:-1:-1;;;6946:18:1;;;6939:44;7000:19;;10224:119:0::1;6615:410:1::0;10224:119:0::1;9890:461;;;;9795:556:::0;;;:::o;8153:108::-;3893:4;3918:5;-1:-1:-1;;;;;3918:5:0;3805:10;3907:16;3789:38;;;;-1:-1:-1;;;3789:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8227:21:0;;;::::1;;::::0;;;:11:::1;:21;::::0;;;;:32;;-1:-1:-1;;8227:32:0::1;::::0;::::1;;::::0;;;::::1;::::0;;8153:108::o;10897:89::-;3893:4;3918:5;-1:-1:-1;;;;;3918:5:0;3805:10;3907:16;3789:38;;;;-1:-1:-1;;;3789:38:0;;;;;;;:::i;:::-;10949:29:::1;10964:13;;10949:14;:29::i;:::-;10897:89::o:0;9284:503::-;3893:4;3918:5;-1:-1:-1;;;;;3918:5:0;3805:10;3907:16;3789:38;;;;-1:-1:-1;;;3789:38:0;;;;;;;:::i;:::-;9473:12:::1;:25:::0;;;9500:12:::1;:25:::0;;;9527:7:::1;:15:::0;;;9544:14:::1;:29:::0;;;9575:8:::1;:17:::0;;;9594:7:::1;:15:::0;;;9611:11:::1;:20:::0;;;9662:11:::1;::::0;9650:23;::::1;::::0;::::1;::::0;:49:::1;;;9688:11;;9677:7;;:22;;9650:49;:79;;;;;9718:11;;9703;;:26;;9650:79;9642:137;;;::::0;-1:-1:-1;;;9642:137:0;;7232:2:1;9642:137:0::1;::::0;::::1;7214:21:1::0;7271:2;7251:18;;;7244:30;7310:34;7290:18;;;7283:62;-1:-1:-1;;;7361:18:1;;;7354:43;7414:19;;9642:137:0::1;7030:409:1::0;10994:242:0;3893:4;3918:5;-1:-1:-1;;;;;3918:5:0;3805:10;3907:16;3789:38;;;;-1:-1:-1;;;3789:38:0;;;;;;;:::i;:::-;11098:41:::1;::::0;-1:-1:-1;;;11098:41:0;;11133:4:::1;11098:41;::::0;::::1;4628:51:1::0;11080:15:0::1;::::0;11098:63:::1;::::0;11157:3:::1;::::0;11098:54:::1;::::0;11144:7;;-1:-1:-1;;;;;11098:26:0;::::1;::::0;::::1;::::0;4601:18:1;;11098:41:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:63::-;11198:20;::::0;11172:56:::1;::::0;-1:-1:-1;;;11172:56:0;;-1:-1:-1;;;;;11198:20:0;;::::1;11172:56;::::0;::::1;7807:51:1::0;7874:18;;;7867:34;;;11080:81:0;;-1:-1:-1;11172:25:0;::::1;::::0;::::1;::::0;7780:18:1;;11172:56:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;10359:338::-:0;3893:4;3918:5;-1:-1:-1;;;;;3918:5:0;3805:10;3907:16;3789:38;;;;-1:-1:-1;;;3789:38:0;;;;;;;:::i;:::-;10481:18:::1;:31:::0;;-1:-1:-1;;;;;10481:31:0;;::::1;-1:-1:-1::0;;;;;;10481:31:0;;::::1;::::0;::::1;::::0;;;10514:18:::1;:31:::0;;;;::::1;::::0;;::::1;::::0;::::1;::::0;;10547:20:::1;:35:::0;;;;;::::1;::::0;::::1;::::0;::::1;::::0;;;10481:18:::1;10593:23:::0;;;:11:::1;:23;::::0;;;;;:30;;-1:-1:-1;;10593:30:0;;::::1;10481:31:::0;10593:30;;::::1;::::0;;;10625:23;;;;;;:30;;;::::1;::::0;::::1;::::0;;10657:25;;;;;;:32;;;;::::1;::::0;;::::1;::::0;;10359:338::o;8957:319::-;3893:4;3918:5;-1:-1:-1;;;;;3918:5:0;3805:10;3907:16;3789:38;;;;-1:-1:-1;;;3789:38:0;;;;;;;:::i;:::-;9090:10:::1;:24:::0;;;9132:12:::1;::::0;:53:::1;::::0;9177:6:::1;::::0;9132:32:::1;::::0;9149:14;9132:16:::1;:32::i;:53::-;9116:13;:69:::0;9214:12:::1;::::0;:54:::1;::::0;9260:6:::1;::::0;9214:33:::1;::::0;9231:15;9214:16:::1;:33::i;:54::-;9197:14;:71:::0;-1:-1:-1;;;8957:319:0:o;7875:139::-;7953:4;7960:40;7970:10;7982:9;7993:6;7960:9;:40::i;3931:111::-;3893:4;3918:5;-1:-1:-1;;;;;3918:5:0;3805:10;3907:16;3789:38;;;;-1:-1:-1;;;3789:38:0;;;;;;;:::i;:::-;3997:5:::1;:11:::0;;-1:-1:-1;;;;;;3997:11:0::1;-1:-1:-1::0;;;;;3997:11:0;::::1;::::0;;::::1;::::0;;;4015:25:::1;::::0;4628:51:1;;;4015:25:0::1;::::0;4616:2:1;4601:18;4015:25:0::1;;;;;;;3931:111:::0;:::o;15945:335::-;-1:-1:-1;;;;;16038:19:0;;16030:68;;;;-1:-1:-1;;;16030:68:0;;8580:2:1;16030:68:0;;;8562:21:1;8619:2;8599:18;;;8592:30;8658:34;8638:18;;;8631:62;-1:-1:-1;;;8709:18:1;;;8702:34;8753:19;;16030:68:0;8378:400:1;16030:68:0;-1:-1:-1;;;;;16117:21:0;;16109:68;;;;-1:-1:-1;;;16109:68:0;;8985:2:1;16109:68:0;;;8967:21:1;9024:2;9004:18;;;8997:30;9063:34;9043:18;;;9036:62;-1:-1:-1;;;9114:18:1;;;9107:32;9156:19;;16109:68:0;8783:398:1;16109:68:0;-1:-1:-1;;;;;16188:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;16240:32;;1361:25:1;;;16240:32:0;;1334:18:1;16240:32:0;;;;;;;15945:335;;;:::o;1577:98::-;1635:7;1662:5;1666:1;1662;:5;:::i;14187:1433::-;-1:-1:-1;;;;;14284:20:0;;14276:70;;;;-1:-1:-1;;;14276:70:0;;9521:2:1;14276:70:0;;;9503:21:1;9560:2;9540:18;;;9533:30;9599:34;9579:18;;;9572:62;-1:-1:-1;;;9650:18:1;;;9643:35;9695:19;;14276:70:0;9319:401:1;14276:70:0;-1:-1:-1;;;;;14365:23:0;;14357:71;;;;-1:-1:-1;;;14357:71:0;;9927:2:1;14357:71:0;;;9909:21:1;9966:2;9946:18;;;9939:30;10005:34;9985:18;;;9978:62;-1:-1:-1;;;10056:18:1;;;10049:33;10099:19;;14357:71:0;9725:399:1;14357:71:0;-1:-1:-1;;;;;7849:18:0;;7832:7;7849:18;;;:9;:18;;;;;;14447:6;:27;;14439:88;;;;-1:-1:-1;;;14439:88:0;;10331:2:1;14439:88:0;;;10313:21:1;10370:2;10350:18;;;10343:30;10409:34;10389:18;;;10382:62;-1:-1:-1;;;10460:18:1;;;10453:47;10517:19;;14439:88:0;10129:413:1;14439:88:0;-1:-1:-1;;;;;14542:19:0;;;;;;:11;:19;;;;;;;;14541:20;:47;;;;-1:-1:-1;;;;;;14566:22:0;;;;;;:11;:22;;;;;;;;14565:23;14541:47;14538:95;;;14598:14;;-1:-1:-1;;;14598:14:0;;;;14590:41;;;;-1:-1:-1;;;14590:41:0;;10749:2:1;14590:41:0;;;10731:21:1;10788:2;10768:18;;;10761:30;-1:-1:-1;;;10807:18:1;;;10800:44;10861:18;;14590:41:0;10547:338:1;14590:41:0;-1:-1:-1;;;;;14647:19:0;;;;;;:11;:19;;;;;;;;14646:20;:47;;;;-1:-1:-1;;;;;;14671:22:0;;;;;;:11;:22;;;;;;;;14670:23;14646:47;:77;;;;-1:-1:-1;14718:4:0;;-1:-1:-1;;;;;14697:26:0;;;14718:4;;14697:26;;14646:77;:107;;;;-1:-1:-1;;;;;;14727:26:0;;6220:42;14727:26;;14646:107;14643:220;;;14811:15;;-1:-1:-1;;;;;14774:20:0;;;;;;:9;:20;;;;;;:32;;14799:6;14774:24;:32::i;:::-;14773:53;;14765:96;;;;-1:-1:-1;;;14765:96:0;;11092:2:1;14765:96:0;;;11074:21:1;11131:2;11111:18;;;11104:30;11170:32;11150:18;;;11143:60;11220:18;;14765:96:0;10890:354:1;14765:96:0;14886:4;;-1:-1:-1;;;;;14876:14:0;;;14886:4;;14876:14;14873:124;;14910:14;;14900:6;:24;;:47;;;-1:-1:-1;;;;;;14928:19:0;;;;;;:11;:19;;;;;;;;14900:47;:73;;;-1:-1:-1;;;;;;14951:22:0;;;;;;:11;:22;;;;;;;;14900:73;14892:103;;;;-1:-1:-1;;;14892:103:0;;11451:2:1;14892:103:0;;;11433:21:1;11490:2;11470:18;;;11463:30;-1:-1:-1;;;11509:18:1;;;11502:47;11566:18;;14892:103:0;11249:341:1;14892:103:0;15025:12;;15015:6;:22;;:45;;;-1:-1:-1;;;;;;15041:19:0;;;;;;:11;:19;;;;;;;;15015:45;:71;;;-1:-1:-1;;;;;;15064:22:0;;;;;;:11;:22;;;;;;;;15015:71;15007:101;;;;-1:-1:-1;;;15007:101:0;;11451:2:1;15007:101:0;;;11433:21:1;11490:2;11470:18;;;11463:30;-1:-1:-1;;;11509:18:1;;;11502:47;11566:18;;15007:101:0;11249:341:1;15007:101:0;15136:4;;-1:-1:-1;;;;;15123:17:0;;;15136:4;;15123:17;:41;;;;-1:-1:-1;;;;;;15145:19:0;;;;;;:11;:19;;;;;;;;15144:20;15123:41;15120:71;;;15187:1;15166:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;15120:71:0;15204:45;15223:6;15231:9;15242:6;15204:18;:45::i;:::-;15201:105;;;15251:29;15266:13;;15251:14;:29::i;:::-;15302:1;15282:9;:22;15201:105;-1:-1:-1;;;;;15336:17:0;;;;;;:9;:17;;;;;;:29;;15358:6;15336:21;:29::i;:::-;-1:-1:-1;;;;;15316:17:0;;;;;;:9;:17;;;;;:49;;;;15401:32;15326:6;15423:9;15401:13;:32::i;:::-;:78;;15473:6;15401:78;;;15436:34;15444:6;15452:9;15463:6;15436:7;:34::i;:::-;-1:-1:-1;;;;;15513:20:0;;;;;;:9;:20;;;;;;15376:103;;-1:-1:-1;15513:40:0;;15376:103;15513:24;:40::i;:::-;-1:-1:-1;;;;;15490:20:0;;;;;;;:9;:20;;;;;;;:63;;;;15569:43;;;;;;;;;;15597:14;1361:25:1;;1349:2;1334:18;;1215:177;15569:43:0;;;;;;;;14265:1355;14187:1433;;;:::o;2001:240::-;2121:7;2182:12;2174:6;;;;2166:29;;;;-1:-1:-1;;;2166:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2217:5:0;;;2001:240::o;1683:98::-;1741:7;1768:5;1772:1;1768;:5;:::i;1789:98::-;1847:7;1874:5;1878:1;1874;:5;:::i;11244:1063::-;5826:8;:15;;-1:-1:-1;;5826:15:0;5837:4;5826:15;;;;;;11381:14:::1;::::0;11363:12:::1;::::0;11339::::1;::::0;5826:8;;11338:66:::1;::::0;11402:1:::1;::::0;11339:57:::1;::::0;11381:14;;11339:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;11338:66::-;11315:89;;11415:32;11450:42;11479:12;11450:24;11461:12;;11450:6;:10;;:24;;;;:::i;:42::-;11415:77:::0;-1:-1:-1;11503:14:0::1;11520:36;:6:::0;11415:77;11520:10:::1;:36::i;:::-;11503:53:::0;-1:-1:-1;11592:21:0::1;11624:24;11503:53:::0;11624:16:::1;:24::i;:::-;11659:20;11682:41;:21;11708:14:::0;11682:25:::1;:41::i;:::-;11659:64;;11734:19;11755:48;11772:30;11789:12;;11772;:16;;:30;;;;:::i;:::-;11755:12:::0;;:16:::1;:48::i;:::-;11734:69;;11814:29;11846;11862:12;;11846:11;:15;;:29;;;;:::i;:::-;11814:61:::0;-1:-1:-1;11889:34:0;;11886:103:::1;;11925:61;11938:24;11964:21;11925:12;:61::i;:::-;12045:12;::::0;11999:20:::1;::::0;12022:36:::1;::::0;:18:::1;:11:::0;12038:1:::1;12022:15;:18::i;:36::-;11999:59:::0;-1:-1:-1;12072:16:0;;12069:73:::1;;12098:18;::::0;12090:50:::1;::::0;-1:-1:-1;;;;;12098:18:0;;::::1;::::0;12090:50;::::1;;;::::0;12127:12;;12098:18:::1;12090:50:::0;12098:18;12090:50;12127:12;12098:18;12090:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12069:73;12178:21;12213:28:::0;;12210:90:::1;;12251:20;::::0;12243:55:::1;::::0;-1:-1:-1;;;;;12251:20:0;;::::1;::::0;12243:55;::::1;;;::::0;12282:15;;12251:20:::1;12243:55:::0;12251:20;12243:55;12282:15;12251:20;12243:55;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12210:90;-1:-1:-1::0;;5846:8:0;:16;;-1:-1:-1;;5846:16:0;;;-1:-1:-1;;;;;;;;11244:1063:0:o;1471:98::-;1529:7;1556:5;1560:1;1556;:5;:::i;8546:403::-;8691:14;;8766:13;;8756:4;8648;7849:18;;;:9;:18;;;;;;8798:8;;8648:4;;8681:24;;;;-1:-1:-1;8738:41:0;;8798:8;;8797:9;:24;;;;-1:-1:-1;8810:11:0;;-1:-1:-1;;;8810:11:0;;;;8797:24;:42;;;;-1:-1:-1;8825:14:0;;-1:-1:-1;;;8825:14:0;;;;8797:42;:54;;;;;8843:8;8797:54;:78;;;;-1:-1:-1;;;;;;8856:19:0;;;;;;:11;:19;;;;;;;;8855:20;8797:78;:99;;;;-1:-1:-1;8892:4:0;;-1:-1:-1;;;;;8879:17:0;;;8892:4;;8879:17;8797:99;:126;;;;;8913:10;;8900:9;;:23;;8797:126;:144;;;;;8927:14;8797:144;8790:151;8546:403;-1:-1:-1;;;;;;8546:403:0:o;13108:160::-;-1:-1:-1;;;;;13214:19:0;;13189:4;13214:19;;;:11;:19;;;;;;;;13213:20;:47;;;;-1:-1:-1;;;;;;;13238:22:0;;;;;:11;:22;;;;;;;;13237:23;;13108:160;-1:-1:-1;13108:160:0:o;13589:590::-;13675:7;13731:1;13698:30;13710:6;13718:9;13698:11;:30::i;:::-;:34;13695:462;;;13744:17;13764:59;13792:30;13804:6;13812:9;13792:11;:30::i;:::-;13775:11;;13764:23;;:6;;:10;:23::i;:59::-;13879:4;13861:24;;;;:9;:24;;;;;;13744:79;;-1:-1:-1;13861:39:0;;13744:79;13861:28;:39::i;:::-;13852:4;13834:24;;;;:9;:24;;;;;;;:66;;;;13916:42;;-1:-1:-1;;;;;13916:42:0;;;;;;;13948:9;1361:25:1;;1349:2;1334:18;;1215:177;13916:42:0;;;;;;;;13990:1;13972:7;;:20;:64;;;;;14029:7;;13996:30;14008:6;14016:9;13996:11;:30::i;:::-;:40;13972:64;13969:148;;;14038:77;14056:4;6220:42;14078:36;14106:7;;14078:23;14089:11;;14078:6;:10;;:23;;;;:::i;:36::-;14038:9;:77::i;:::-;14134:21;:6;14145:9;14134:10;:21::i;:::-;14127:28;;;;;13695:462;-1:-1:-1;14165:6:0;13589:590;-1:-1:-1;;13589:590:0:o;12666:434::-;12756:16;;;12770:1;12756:16;;;;;;;;12732:21;;12756:16;;;;;;;;;;-1:-1:-1;12756:16:0;12732:40;;12801:4;12783;12788:1;12783:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12783:23:0;;;:7;;;;;;;;;;:23;;;;12827:6;;:13;;;-1:-1:-1;;;12827:13:0;;;;:6;;;;;:11;;:13;;;;;12783:7;;12827:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12817:4;12822:1;12817:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12817:23:0;;;:7;;;;;;;;;:23;12883:6;;12851:53;;12868:4;;12883:6;12892:11;12851:8;:53::i;:::-;12915:6;;:177;;-1:-1:-1;;;12915:177:0;;-1:-1:-1;;;;;12915:6:0;;;;:57;;:177;;12987:11;;12915:6;;13029:4;;13056;;13076:15;;12915:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12721:379;12666:434;:::o;12315:343::-;12428:6;;12396:53;;12413:4;;-1:-1:-1;;;;;12428:6:0;12437:11;12396:8;:53::i;:::-;12460:6;;12601:18;;12460:190;;-1:-1:-1;;;12460:190:0;;12523:4;12460:190;;;13834:34:1;13884:18;;;13877:34;;;12460:6:0;13927:18:1;;;13920:34;;;13970:18;;;13963:34;-1:-1:-1;;;;;12601:18:0;;;14013:19:1;;;14006:44;12634:15:0;14066:19:1;;;14059:35;12460:6:0;;;:22;;12490:9;;13768:19:1;;12460:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;12315:343;;:::o;13276:305::-;-1:-1:-1;;;;;13378:13:0;;13355:7;13378:13;;;:5;:13;;;;;;;;;:33;;-1:-1:-1;;;;;;13395:16:0;;;;;;:5;:16;;;;;;;;13378:33;13375:76;;;13420:11;;:29;;13444:3;13420:15;:29::i;:::-;13413:36;;;;13375:76;13477:4;;-1:-1:-1;;;;;13477:4:0;;;13464:17;;;;13461:38;;-1:-1:-1;13490:7:0;;13483:14;;13461:38;13522:4;;-1:-1:-1;;;;;13522:4:0;;;13512:14;;;;13509:36;;-1:-1:-1;13535:8:0;;13528:15;;13509:36;-1:-1:-1;13562:11:0;;13276:305;;;;:::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:118::-;1483:5;1476:13;1469:21;1462:5;1459:32;1449:60;;1505:1;1502;1495:12;1520:750;1612:6;1620;1628;1681:2;1669:9;1660:7;1656:23;1652:32;1649:52;;;1697:1;1694;1687:12;1649:52;1737:9;1724:23;1766:18;1807:2;1799:6;1796:14;1793:34;;;1823:1;1820;1813:12;1793:34;1861:6;1850:9;1846:22;1836:32;;1906:7;1899:4;1895:2;1891:13;1887:27;1877:55;;1928:1;1925;1918:12;1877:55;1968:2;1955:16;1994:2;1986:6;1983:14;1980:34;;;2010:1;2007;2000:12;1980:34;2065:7;2058:4;2048:6;2045:1;2041:14;2037:2;2033:23;2029:34;2026:47;2023:67;;;2086:1;2083;2076:12;2023:67;2117:4;2109:13;;;;-1:-1:-1;2141:6:1;-1:-1:-1;;2182:20:1;;2169:34;2212:28;2169:34;2212:28;:::i;:::-;2259:5;2249:15;;;1520:750;;;;;:::o;2275:456::-;2352:6;2360;2368;2421:2;2409:9;2400:7;2396:23;2392:32;2389:52;;;2437:1;2434;2427:12;2389:52;2476:9;2463:23;2495:31;2520:5;2495:31;:::i;:::-;2545:5;-1:-1:-1;2602:2:1;2587:18;;2574:32;2615:33;2574:32;2615:33;:::i;:::-;2275:456;;2667:7;;-1:-1:-1;;;2721:2:1;2706:18;;;;2693:32;;2275:456::o;2736:247::-;2795:6;2848:2;2836:9;2827:7;2823:23;2819:32;2816:52;;;2864:1;2861;2854:12;2816:52;2903:9;2890:23;2922:31;2947:5;2922:31;:::i;3177:316::-;3254:6;3262;3270;3323:2;3311:9;3302:7;3298:23;3294:32;3291:52;;;3339:1;3336;3329:12;3291:52;-1:-1:-1;;3362:23:1;;;3432:2;3417:18;;3404:32;;-1:-1:-1;3483:2:1;3468:18;;;3455:32;;3177:316;-1:-1:-1;3177:316:1:o;3498:382::-;3563:6;3571;3624:2;3612:9;3603:7;3599:23;3595:32;3592:52;;;3640:1;3637;3630:12;3592:52;3679:9;3666:23;3698:31;3723:5;3698:31;:::i;:::-;3748:5;-1:-1:-1;3805:2:1;3790:18;;3777:32;3818:30;3777:32;3818:30;:::i;:::-;3867:7;3857:17;;;3498:382;;;;;:::o;3885:592::-;3998:6;4006;4014;4022;4030;4038;4046;4099:3;4087:9;4078:7;4074:23;4070:33;4067:53;;;4116:1;4113;4106:12;4067:53;-1:-1:-1;;4139:23:1;;;4209:2;4194:18;;4181:32;;-1:-1:-1;4260:2:1;4245:18;;4232:32;;4311:2;4296:18;;4283:32;;-1:-1:-1;4362:3:1;4347:19;;4334:33;;-1:-1:-1;4414:3:1;4399:19;;4386:33;;-1:-1:-1;4466:3:1;4451:19;4438:33;;-1:-1:-1;3885:592:1;-1:-1:-1;3885:592:1:o;4690:529::-;4767:6;4775;4783;4836:2;4824:9;4815:7;4811:23;4807:32;4804:52;;;4852:1;4849;4842:12;4804:52;4891:9;4878:23;4910:31;4935:5;4910:31;:::i;:::-;4960:5;-1:-1:-1;5017:2:1;5002:18;;4989:32;5030:33;4989:32;5030:33;:::i;:::-;5082:7;-1:-1:-1;5141:2:1;5126:18;;5113:32;5154:33;5113:32;5154:33;:::i;5224:388::-;5292:6;5300;5353:2;5341:9;5332:7;5328:23;5324:32;5321:52;;;5369:1;5366;5359:12;5321:52;5408:9;5395:23;5427:31;5452:5;5427:31;:::i;:::-;5477:5;-1:-1:-1;5534:2:1;5519:18;;5506:32;5547:33;5506:32;5547:33;:::i;5877:329::-;6079:2;6061:21;;;6118:1;6098:18;;;6091:29;-1:-1:-1;;;6151:2:1;6136:18;;6129:36;6197:2;6182:18;;5877:329::o;6211:127::-;6272:10;6267:3;6263:20;6260:1;6253:31;6303:4;6300:1;6293:15;6327:4;6324:1;6317:15;6343:127;6404:10;6399:3;6395:20;6392:1;6385:31;6435:4;6432:1;6425:15;6459:4;6456:1;6449:15;6475:135;6514:3;6535:17;;;6532:43;;6555:18;;:::i;:::-;-1:-1:-1;6602:1:1;6591:13;;6475:135::o;7444:184::-;7514:6;7567:2;7555:9;7546:7;7542:23;7538:32;7535:52;;;7583:1;7580;7573:12;7535:52;-1:-1:-1;7606:16:1;;7444:184;-1:-1:-1;7444:184:1:o;7912:245::-;7979:6;8032:2;8020:9;8011:7;8007:23;8003:32;8000:52;;;8048:1;8045;8038:12;8000:52;8080:9;8074:16;8099:28;8121:5;8099:28;:::i;9186:128::-;9253:9;;;9274:11;;;9271:37;;;9288:18;;:::i;11595:125::-;11660:9;;;11681:10;;;11678:36;;;11694:18;;:::i;11725:168::-;11798:9;;;11829;;11846:15;;;11840:22;;11826:37;11816:71;;11867:18;;:::i;11898:217::-;11938:1;11964;11954:132;;12008:10;12003:3;11999:20;11996:1;11989:31;12043:4;12040:1;12033:15;12071:4;12068:1;12061:15;11954:132;-1:-1:-1;12100:9:1;;11898:217::o;12252:251::-;12322:6;12375:2;12363:9;12354:7;12350:23;12346:32;12343:52;;;12391:1;12388;12381:12;12343:52;12423:9;12417:16;12442:31;12467:5;12442:31;:::i;12508:980::-;12770:4;12818:3;12807:9;12803:19;12849:6;12838:9;12831:25;12875:2;12913:6;12908:2;12897:9;12893:18;12886:34;12956:3;12951:2;12940:9;12936:18;12929:31;12980:6;13015;13009:13;13046:6;13038;13031:22;13084:3;13073:9;13069:19;13062:26;;13123:2;13115:6;13111:15;13097:29;;13144:1;13154:195;13168:6;13165:1;13162:13;13154:195;;;13233:13;;-1:-1:-1;;;;;13229:39:1;13217:52;;13324:15;;;;13289:12;;;;13265:1;13183:9;13154:195;;;-1:-1:-1;;;;;;;13405:32:1;;;;13400:2;13385:18;;13378:60;-1:-1:-1;;;13469:3:1;13454:19;13447:35;13366:3;12508:980;-1:-1:-1;;;12508:980:1:o;14105:306::-;14193:6;14201;14209;14262:2;14250:9;14241:7;14237:23;14233:32;14230:52;;;14278:1;14275;14268:12;14230:52;14307:9;14301:16;14291:26;;14357:2;14346:9;14342:18;14336:25;14326:35;;14401:2;14390:9;14386:18;14380:25;14370:35;;14105:306;;;;;:::o

ipfs://e639ca2aeb9ec165d2e05ddf64c6748566a70bc63216d42b9a6cf429fc11d020