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 circulatingSupply()    - 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 SOPHIA is IERC20, Ownable *    - function name()    - function symbol()    - function decimals()    - function setExtent()    - function getOwner()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function isCont(address addr)    - function setisBot(address _address, b ...    - function setisExempt(address _address ...    - function approve(address spender, uin ...    - function circulatingSupply()    - function _maxWalletToken()    - function _maxTxAmount()    - function _maxTransferAmount()    - function preTxCheck(address sender, a ...    - function _transfer(address sender, ad ...    - function setStructure(uint256 _liquid ...    - function setParameters(uint256 _buy, ...    - function checkTradingAllowed(address ...    - function checkMaxWallet(address sende ...    - function swapbackCounters(address sen ...    - function checkTxLimit(address sender, ...    - function swapAndLiquify(uint256 token ...    - function addLiquidity(uint256 tokenAm ...    - function swapTokensForETH(uint256 tok ...    - function shouldSwapBack(address sende ...    - function swapBack(address sender, add ...    - function shouldTakeFee(address sender ...    - function getTotalFee(address sender, ...    - function takeFee(address sender, addr ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-03-26
*/

// TELEGRAM : https://t.me/SophiaAiERC
//website : www.SophiaAI.tech
//snapchat : sophiaAi
// final tax :3/3

// SPDX-License-Identifier: MIT

pragma solidity 0.8.17;


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 circulatingSupply() 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 SOPHIA is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = 'Sophia AI';
    string private constant _symbol = 'SOFIA';
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 100000000 * (10 ** _decimals);
    uint256 private _maxTxAmountPercent = 200;
    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 = false;
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 300;
    uint256 private developmentFee = 300;
    uint256 private burnFee = 0;
    uint256 private totalFee = 2000;
    uint256 private sellFee = 4000;
    uint256 private transferFee = 2000;
    uint256 private denominator = 10000;
    bool private swapEnabled = true;
    uint256 private swapTimes;
    bool private swapping; 
    uint256 private swapThreshold = ( _totalSupply * 600 ) / 100000;
    uint256 private _minTokenAmount = ( _totalSupply * 10 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}

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

    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 setExtent() external onlyOwner {tradingAllowed = true;}
    function getOwner() external view override returns (address) { return owner; }
    function totalSupply() public view override returns (uint256) {return _totalSupply;}
    function balanceOf(address account) public view override returns (uint256) {return _balances[account];}
    function transfer(address recipient, uint256 amount) public override returns (bool) {_transfer(msg.sender, recipient, amount);return true;}
    function allowance(address owner, address spender) public view override returns (uint256) {return _allowances[owner][spender];}
    function isCont(address addr) internal view returns (bool) {uint size; assembly { size := extcodesize(addr) } return size > 0; }
    function setisBot(address _address, bool _enabled) external onlyOwner {isBot[_address] = _enabled;}
    function setisExempt(address _address, bool _enabled) external onlyOwner {isFeeExempt[_address] = _enabled;}
    function approve(address spender, uint256 amount) public override returns (bool) {_approve(msg.sender, spender, amount);return true;}
    function circulatingSupply() public view override returns (uint256) {return _totalSupply.sub(balanceOf(DEAD)).sub(balanceOf(address(0)));}
    function _maxWalletToken() public view returns (uint256) {return totalSupply() * _maxWalletPercent / denominator;}
    function _maxTxAmount() public view returns (uint256) {return totalSupply() * _maxTxAmountPercent / denominator;}
    function _maxTransferAmount() public view returns (uint256) {return totalSupply() * _maxTransferPercent / denominator;}

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

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

    function setStructure(uint256 _liquidity, uint256 _marketing, uint256 _burn, uint256 _development, uint256 _total, uint256 _sell, uint256 _trans) external onlyOwner {
        liquidityFee = _liquidity;
        marketingFee = _marketing;
        burnFee = _burn;
        developmentFee = _development;
        totalFee = _total;
        sellFee = _sell;
        transferFee = _trans;
    }

    function setParameters(uint256 _buy, uint256 _trans, uint256 _wallet) external onlyOwner {
        uint256 newTx = (totalSupply() * _buy) / 10000;
        uint256 newTransfer = (totalSupply() * _trans) / 10000;
        uint256 newWallet = (totalSupply() * _wallet) / 10000;
        _maxTxAmountPercent = _buy;
        _maxTransferPercent = _trans;
        _maxWalletPercent = _wallet;
        uint256 limit = totalSupply().mul(5).div(1000);
        require(newTx >= limit && newTransfer >= limit && newWallet >= limit, "Max TXs and Max Wallet cannot be less than .5%");
    }

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

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

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

    function swapAndLiquify(uint256 tokens) private lockTheSwap {
        uint256 _denominator = (liquidityFee.add(1).add(marketingFee).add(developmentFee)).mul(2);
        uint256 tokensToAddLiquidityWith = tokens.mul(liquidityFee).div(_denominator);
        uint256 toSwap = tokens.sub(tokensToAddLiquidityWith);
        uint256 initialBalance = address(this).balance;
        swapTokensForETH(toSwap);
        uint256 deltaBalance = address(this).balance.sub(initialBalance);
        uint256 unitBalance= deltaBalance.div(_denominator.sub(liquidityFee));
        uint256 ETHToAddLiquidityWith = unitBalance.mul(liquidityFee);
        if(ETHToAddLiquidityWith > uint256(0)){addLiquidity(tokensToAddLiquidityWith, ETHToAddLiquidityWith); }
        uint256 marketingAmt = unitBalance.mul(2).mul(marketingFee);
        if(marketingAmt > 0){payable(marketing_receiver).transfer(marketingAmt);}
        uint256 remainingBalance = address(this).balance;
        if(remainingBalance > uint256(0)){payable(development_receiver).transfer(remainingBalance);}
    }

    function addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(router), tokenAmount);
        router.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            liquidity_receiver,
            block.timestamp);
    }

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

    function shouldSwapBack(address sender, address recipient, uint256 amount) internal view returns (bool) {
        bool aboveMin = amount >= _minTokenAmount;
        bool aboveThreshold = balanceOf(address(this)) >= swapThreshold;
        return !swapping && swapEnabled && tradingAllowed && aboveMin && !isFeeExempt[sender] && recipient == pair && swapTimes >= uint256(0) && aboveThreshold;
    }

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

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

    function getTotalFee(address sender, address recipient) internal view returns (uint256) {
        if(isBot[sender] || isBot[recipient]){return denominator.sub(uint256(100));}
        if(recipient == pair){return sellFee;}
        if(sender == pair){return totalFee;}
        return transferFee;
    }

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

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

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

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTransferAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"circulatingSupply","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":[],"name":"setExtent","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":"setParameters","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_liquidity","type":"uint256"},{"internalType":"uint256","name":"_marketing","type":"uint256"},{"internalType":"uint256","name":"_burn","type":"uint256"},{"internalType":"uint256","name":"_development","type":"uint256"},{"internalType":"uint256","name":"_total","type":"uint256"},{"internalType":"uint256","name":"_sell","type":"uint256"},{"internalType":"uint256","name":"_trans","type":"uint256"}],"name":"setStructure","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"bool","name":"_enabled","type":"bool"}],"name":"setisBot","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"bool","name":"_enabled","type":"bool"}],"name":"setisExempt","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"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"}]

6080604052620000126009600a6200042d565b62000022906305f5e10062000445565b600181815560c860028190556003819055600455600a805460ff60a01b191690556000600b81905561012c600c819055600d55600e556107d0600f819055610fa06010556011556127106012556013805460ff19169091179055620186a0906200008f9061025862000445565b6200009b91906200045f565b601655620186a0600154600a620000b3919062000445565b620000bf91906200045f565b601755348015620000cf57600080fd5b50600080546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa15801562000137573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200015d919062000482565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001ab573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001d1919062000482565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156200021f573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019062000245919062000482565b600980546001600160a01b038581166001600160a01b031992831617909255600a805492841692909116919091179055306000908152600760209081526040808320805460ff1990811660019081179092557f61ef9eacb1714649f4b56b2beaed1c30066416a0b9616c4f87515073648e31178054821683179055338086528386208054909216831790915590546005845282852081905591519182529394507fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050620004ad565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200036f57816000190482111562000353576200035362000318565b808516156200036157918102915b93841c939080029062000333565b509250929050565b600082620003885750600162000427565b81620003975750600062000427565b8160018114620003b05760028114620003bb57620003db565b600191505062000427565b60ff841115620003cf57620003cf62000318565b50506001821b62000427565b5060208310610133831016604e8410600b841016171562000400575081810a62000427565b6200040c83836200032e565b806000190482111562000423576200042362000318565b0290505b92915050565b60006200043e60ff84168362000377565b9392505050565b808202811582820484141762000427576200042762000318565b6000826200047d57634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200049557600080fd5b81516001600160a01b03811681146200043e57600080fd5b611a4b80620004bd6000396000f3fe6080604052600436106101445760003560e01c806370a08231116100b657806395d89b411161006f57806395d89b41146103bc5780639a211dde146103ea578063a8aa1b31146103ff578063a9059cbb1461041f578063dd62ed3e1461043f578063f2fde38b1461048557600080fd5b806370a08231146102f557806378109e541461032b5780637d1db4a514610340578063893d20e8146103555780638c41180e146103875780639358928b146103a757600080fd5b806323b872dd1161010857806323b872dd1461021a5780632f54bf6e1461023a578063313ce5671461026957806334c5d2ce146102855780633f4218e0146102a557806348ff2b8b146102d557600080fd5b8063044019301461015057806306fdde0314610172578063095ea7b3146101b657806318160ddd146101e65780631f976b7e1461020557600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b5061017061016b3660046116b2565b6104a5565b005b34801561017e57600080fd5b50604080518082019091526009815268536f7068696120414960b81b60208201525b6040516101ad91906116fe565b60405180910390f35b3480156101c257600080fd5b506101d66101d1366004611764565b6104f8565b60405190151581526020016101ad565b3480156101f257600080fd5b506001545b6040519081526020016101ad565b34801561021157600080fd5b506101f761050f565b34801561022657600080fd5b506101d6610235366004611790565b610539565b34801561024657600080fd5b506101d66102553660046117d1565b6000546001600160a01b0391821691161490565b34801561027557600080fd5b50604051600981526020016101ad565b34801561029157600080fd5b506101706102a03660046117ee565b6105a3565b3480156102b157600080fd5b506101d66102c03660046117d1565b60076020526000908152604090205460ff1681565b3480156102e157600080fd5b506101706102f036600461181a565b6106f7565b34801561030157600080fd5b506101f76103103660046117d1565b6001600160a01b031660009081526005602052604090205490565b34801561033757600080fd5b506101f761074c565b34801561034c57600080fd5b506101f761075d565b34801561036157600080fd5b506000546001600160a01b03165b6040516001600160a01b0390911681526020016101ad565b34801561039357600080fd5b506101706103a236600461181a565b61076e565b3480156103b357600080fd5b506101f76107c3565b3480156103c857600080fd5b50604080518082019091526005815264534f46494160d81b60208201526101a0565b3480156103f657600080fd5b5061017061082f565b34801561040b57600080fd5b50600a5461036f906001600160a01b031681565b34801561042b57600080fd5b506101d661043a366004611764565b61086e565b34801561044b57600080fd5b506101f761045a366004611858565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561049157600080fd5b506101706104a03660046117d1565b61087b565b6000546001600160a01b031633146104d85760405162461bcd60e51b81526004016104cf90611886565b60405180910390fd5b600b96909655600c94909455600e92909255600d55600f55601055601155565b60006105053384846108f9565b5060015b92915050565b600060125460035461052060015490565b61052a91906118bc565b61053491906118d3565b905090565b6000610546848484610a1d565b6105988433610593856040518060600160405280602881526020016119ee602891396001600160a01b038a1660009081526006602090815260408083203384529091529020549190610b43565b6108f9565b5060015b9392505050565b6000546001600160a01b031633146105cd5760405162461bcd60e51b81526004016104cf90611886565b6000612710846105dc60015490565b6105e691906118bc565b6105f091906118d3565b905060006127108461060160015490565b61060b91906118bc565b61061591906118d3565b905060006127108461062660015490565b61063091906118bc565b61063a91906118d3565b6002879055600386905560048590559050600061066d6103e8610667600561066160015490565b90610b6f565b90610b7b565b905080841015801561067f5750808310155b801561068b5750808210155b6106ee5760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b60648201526084016104cf565b50505050505050565b6000546001600160a01b031633146107215760405162461bcd60e51b81526004016104cf90611886565b6001600160a01b03919091166000908152600760205260409020805460ff1916911515919091179055565b600060125460045461052060015490565b600060125460025461052060015490565b6000546001600160a01b031633146107985760405162461bcd60e51b81526004016104cf90611886565b6001600160a01b03919091166000908152600860205260409020805460ff1916911515919091179055565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead60009081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba5460015491926105349290916108299190610b87565b90610b87565b6000546001600160a01b031633146108595760405162461bcd60e51b81526004016104cf90611886565b600a805460ff60a01b1916600160a01b179055565b6000610505338484610a1d565b6000546001600160a01b031633146108a55760405162461bcd60e51b81526004016104cf90611886565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b03831661095b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104cf565b6001600160a01b0382166109bc5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104cf565b6001600160a01b0383811660008181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b610a28838383610b93565b610a328383610d42565b610a3d838383610dd7565b610a478383610ec8565b610a52838383610f1f565b610a5d838383611056565b6001600160a01b038316600090815260056020526040902054610a809082610b87565b6001600160a01b038416600090815260056020526040812091909155610aa6848461107b565b610ab05781610abb565b610abb8484846110c1565b6001600160a01b038416600090815260056020526040902054909150610ae190826111af565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610b359085815260200190565b60405180910390a350505050565b60008184841115610b675760405162461bcd60e51b81526004016104cf91906116fe565b505050900390565b600061059c82846118bc565b600061059c82846118d3565b600061059c82846118f5565b6001600160a01b038316610bf75760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104cf565b6001600160a01b038216610c595760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104cf565b60008111610cbb5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104cf565b6001600160a01b038316600090815260056020526040902054811115610d3d5760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016104cf565b505050565b6001600160a01b03821660009081526007602052604090205460ff16158015610d8457506001600160a01b03811660009081526007602052604090205460ff16155b15610dd357600a54600160a01b900460ff16610dd35760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016104cf565b5050565b6001600160a01b03831660009081526007602052604090205460ff16158015610e1957506001600160a01b03821660009081526007602052604090205460ff16155b8015610e335750600a546001600160a01b03838116911614155b8015610e4a57506001600160a01b03821661dead14155b15610d3d57610e5761074c565b6001600160a01b038316600090815260056020526040902054610e7a90836111af565b1115610d3d5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016104cf565b600a546001600160a01b038281169116148015610efe57506001600160a01b03821660009081526007602052604090205460ff16155b15610dd357600160146000828254610f169190611908565b90915550505050565b600a546001600160a01b03848116911614610fc557610f3c61050f565b81111580610f6257506001600160a01b03831660009081526007602052604090205460ff165b80610f8557506001600160a01b03821660009081526007602052604090205460ff165b610fc55760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104cf565b610fcd61075d565b81111580610ff357506001600160a01b03831660009081526007602052604090205460ff165b8061101657506001600160a01b03821660009081526007602052604090205460ff165b610d3d5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104cf565b6110618383836111bb565b15610d3d57611071601654611268565b6000601455505050565b6001600160a01b03821660009081526007602052604081205460ff1615801561059c5750506001600160a01b031660009081526007602052604090205460ff1615919050565b6000806110ce85856113f3565b11156111a85760006110f16110e386866113f3565b601254610661908690610b7b565b3060009081526005602052604090205490915061110e90826111af565b30600081815260056020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061115f9085815260200190565b60405180910390a3600e5415611196576111963061dead611191600e5461066160125489610b7b90919063ffffffff16565b610a1d565b6111a08382610b87565b91505061059c565b5092915050565b600061059c8284611908565b6017546016543060009081526005602052604081205460155491938510159211159060ff161580156111ef575060135460ff165b80156112045750600a54600160a01b900460ff165b801561120d5750815b801561123257506001600160a01b03861660009081526007602052604090205460ff16155b801561124b5750600a546001600160a01b038681169116145b8015611255575060015b801561125e5750805b9695505050505050565b6015805460ff19166001908117909155600d54600c54600b546000936112a29360029361066193919261129c9283916111af565b906111af565b905060006112bf82610667600b5486610b6f90919063ffffffff16565b905060006112cd8483610b87565b9050476112d982611494565b60006112e54783610b87565b90506000611308611301600b5488610b8790919063ffffffff16565b8390610b7b565b90506000611321600b5483610b6f90919063ffffffff16565b905080156113335761133386826115ee565b600c5460009061134890610661856002610b6f565b905080156113935760405173a492157d605f63d1b5b56e97bfc84b7ed56053489082156108fc029083906000818181858888f19350505050158015611391573d6000803e3d6000fd5b505b4780156113dd5760405173a492157d605f63d1b5b56e97bfc84b7ed56053489082156108fc029083906000818181858888f193505050501580156113db573d6000803e3d6000fd5b505b50506015805460ff191690555050505050505050565b6001600160a01b03821660009081526008602052604081205460ff168061143257506001600160a01b03821660009081526008602052604090205460ff165b1561144c57601254611445906064610b87565b9050610509565b600a546001600160a01b039081169083160361146b5750601054610509565b600a546001600160a01b039081169084160361148a5750600f54610509565b5060115492915050565b60408051600280825260608201835260009260208301908036833701905050905030816000815181106114c9576114c961191b565b6001600160a01b03928316602091820292909201810191909152600954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611522573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115469190611931565b816001815181106115595761155961191b565b6001600160a01b03928316602091820292909201015260095461157f91309116846108f9565b60095460405163791ac94760e01b81526001600160a01b039091169063791ac947906115b890859060009086903090429060040161194e565b600060405180830381600087803b1580156115d257600080fd5b505af11580156115e6573d6000803e3d6000fd5b505050505050565b6009546116069030906001600160a01b0316846108f9565b60095460405163f305d71960e01b815230600482015260248101849052600060448201819052606482015273a492157d605f63d1b5b56e97bfc84b7ed560534860848201524260a48201526001600160a01b039091169063f305d71990839060c40160606040518083038185885af1158015611686573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906116ab91906119bf565b5050505050565b600080600080600080600060e0888a0312156116cd57600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b600060208083528351808285015260005b8181101561172b5785810183015185820160400152820161170f565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461176157600080fd5b50565b6000806040838503121561177757600080fd5b82356117828161174c565b946020939093013593505050565b6000806000606084860312156117a557600080fd5b83356117b08161174c565b925060208401356117c08161174c565b929592945050506040919091013590565b6000602082840312156117e357600080fd5b813561059c8161174c565b60008060006060848603121561180357600080fd5b505081359360208301359350604090920135919050565b6000806040838503121561182d57600080fd5b82356118388161174c565b91506020830135801515811461184d57600080fd5b809150509250929050565b6000806040838503121561186b57600080fd5b82356118768161174c565b9150602083013561184d8161174c565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b8082028115828204841417610509576105096118a6565b6000826118f057634e487b7160e01b600052601260045260246000fd5b500490565b81810381811115610509576105096118a6565b80820180821115610509576105096118a6565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561194357600080fd5b815161059c8161174c565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561199e5784516001600160a01b031683529383019391830191600101611979565b50506001600160a01b03969096166060850152505050608001529392505050565b6000806000606084860312156119d457600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212200a40943d8b8e8ef65a6fddae7afdc52919bdf7612b829097951370c77835c96c64736f6c63430008110033

0x6080604052600436106101445760003560e01c806370a08231116100b657806395d89b411161006f57806395d89b41146103bc5780639a211dde146103ea578063a8aa1b31146103ff578063a9059cbb1461041f578063dd62ed3e1461043f578063f2fde38b1461048557600080fd5b806370a08231146102f557806378109e541461032b5780637d1db4a514610340578063893d20e8146103555780638c41180e146103875780639358928b146103a757600080fd5b806323b872dd1161010857806323b872dd1461021a5780632f54bf6e1461023a578063313ce5671461026957806334c5d2ce146102855780633f4218e0146102a557806348ff2b8b146102d557600080fd5b8063044019301461015057806306fdde0314610172578063095ea7b3146101b657806318160ddd146101e65780631f976b7e1461020557600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b5061017061016b3660046116b2565b6104a5565b005b34801561017e57600080fd5b50604080518082019091526009815268536f7068696120414960b81b60208201525b6040516101ad91906116fe565b60405180910390f35b3480156101c257600080fd5b506101d66101d1366004611764565b6104f8565b60405190151581526020016101ad565b3480156101f257600080fd5b506001545b6040519081526020016101ad565b34801561021157600080fd5b506101f761050f565b34801561022657600080fd5b506101d6610235366004611790565b610539565b34801561024657600080fd5b506101d66102553660046117d1565b6000546001600160a01b0391821691161490565b34801561027557600080fd5b50604051600981526020016101ad565b34801561029157600080fd5b506101706102a03660046117ee565b6105a3565b3480156102b157600080fd5b506101d66102c03660046117d1565b60076020526000908152604090205460ff1681565b3480156102e157600080fd5b506101706102f036600461181a565b6106f7565b34801561030157600080fd5b506101f76103103660046117d1565b6001600160a01b031660009081526005602052604090205490565b34801561033757600080fd5b506101f761074c565b34801561034c57600080fd5b506101f761075d565b34801561036157600080fd5b506000546001600160a01b03165b6040516001600160a01b0390911681526020016101ad565b34801561039357600080fd5b506101706103a236600461181a565b61076e565b3480156103b357600080fd5b506101f76107c3565b3480156103c857600080fd5b50604080518082019091526005815264534f46494160d81b60208201526101a0565b3480156103f657600080fd5b5061017061082f565b34801561040b57600080fd5b50600a5461036f906001600160a01b031681565b34801561042b57600080fd5b506101d661043a366004611764565b61086e565b34801561044b57600080fd5b506101f761045a366004611858565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561049157600080fd5b506101706104a03660046117d1565b61087b565b6000546001600160a01b031633146104d85760405162461bcd60e51b81526004016104cf90611886565b60405180910390fd5b600b96909655600c94909455600e92909255600d55600f55601055601155565b60006105053384846108f9565b5060015b92915050565b600060125460035461052060015490565b61052a91906118bc565b61053491906118d3565b905090565b6000610546848484610a1d565b6105988433610593856040518060600160405280602881526020016119ee602891396001600160a01b038a1660009081526006602090815260408083203384529091529020549190610b43565b6108f9565b5060015b9392505050565b6000546001600160a01b031633146105cd5760405162461bcd60e51b81526004016104cf90611886565b6000612710846105dc60015490565b6105e691906118bc565b6105f091906118d3565b905060006127108461060160015490565b61060b91906118bc565b61061591906118d3565b905060006127108461062660015490565b61063091906118bc565b61063a91906118d3565b6002879055600386905560048590559050600061066d6103e8610667600561066160015490565b90610b6f565b90610b7b565b905080841015801561067f5750808310155b801561068b5750808210155b6106ee5760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b60648201526084016104cf565b50505050505050565b6000546001600160a01b031633146107215760405162461bcd60e51b81526004016104cf90611886565b6001600160a01b03919091166000908152600760205260409020805460ff1916911515919091179055565b600060125460045461052060015490565b600060125460025461052060015490565b6000546001600160a01b031633146107985760405162461bcd60e51b81526004016104cf90611886565b6001600160a01b03919091166000908152600860205260409020805460ff1916911515919091179055565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead60009081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba5460015491926105349290916108299190610b87565b90610b87565b6000546001600160a01b031633146108595760405162461bcd60e51b81526004016104cf90611886565b600a805460ff60a01b1916600160a01b179055565b6000610505338484610a1d565b6000546001600160a01b031633146108a55760405162461bcd60e51b81526004016104cf90611886565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b03831661095b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104cf565b6001600160a01b0382166109bc5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104cf565b6001600160a01b0383811660008181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b610a28838383610b93565b610a328383610d42565b610a3d838383610dd7565b610a478383610ec8565b610a52838383610f1f565b610a5d838383611056565b6001600160a01b038316600090815260056020526040902054610a809082610b87565b6001600160a01b038416600090815260056020526040812091909155610aa6848461107b565b610ab05781610abb565b610abb8484846110c1565b6001600160a01b038416600090815260056020526040902054909150610ae190826111af565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610b359085815260200190565b60405180910390a350505050565b60008184841115610b675760405162461bcd60e51b81526004016104cf91906116fe565b505050900390565b600061059c82846118bc565b600061059c82846118d3565b600061059c82846118f5565b6001600160a01b038316610bf75760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104cf565b6001600160a01b038216610c595760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104cf565b60008111610cbb5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104cf565b6001600160a01b038316600090815260056020526040902054811115610d3d5760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016104cf565b505050565b6001600160a01b03821660009081526007602052604090205460ff16158015610d8457506001600160a01b03811660009081526007602052604090205460ff16155b15610dd357600a54600160a01b900460ff16610dd35760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016104cf565b5050565b6001600160a01b03831660009081526007602052604090205460ff16158015610e1957506001600160a01b03821660009081526007602052604090205460ff16155b8015610e335750600a546001600160a01b03838116911614155b8015610e4a57506001600160a01b03821661dead14155b15610d3d57610e5761074c565b6001600160a01b038316600090815260056020526040902054610e7a90836111af565b1115610d3d5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016104cf565b600a546001600160a01b038281169116148015610efe57506001600160a01b03821660009081526007602052604090205460ff16155b15610dd357600160146000828254610f169190611908565b90915550505050565b600a546001600160a01b03848116911614610fc557610f3c61050f565b81111580610f6257506001600160a01b03831660009081526007602052604090205460ff165b80610f8557506001600160a01b03821660009081526007602052604090205460ff165b610fc55760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104cf565b610fcd61075d565b81111580610ff357506001600160a01b03831660009081526007602052604090205460ff165b8061101657506001600160a01b03821660009081526007602052604090205460ff165b610d3d5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104cf565b6110618383836111bb565b15610d3d57611071601654611268565b6000601455505050565b6001600160a01b03821660009081526007602052604081205460ff1615801561059c5750506001600160a01b031660009081526007602052604090205460ff1615919050565b6000806110ce85856113f3565b11156111a85760006110f16110e386866113f3565b601254610661908690610b7b565b3060009081526005602052604090205490915061110e90826111af565b30600081815260056020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061115f9085815260200190565b60405180910390a3600e5415611196576111963061dead611191600e5461066160125489610b7b90919063ffffffff16565b610a1d565b6111a08382610b87565b91505061059c565b5092915050565b600061059c8284611908565b6017546016543060009081526005602052604081205460155491938510159211159060ff161580156111ef575060135460ff165b80156112045750600a54600160a01b900460ff165b801561120d5750815b801561123257506001600160a01b03861660009081526007602052604090205460ff16155b801561124b5750600a546001600160a01b038681169116145b8015611255575060015b801561125e5750805b9695505050505050565b6015805460ff19166001908117909155600d54600c54600b546000936112a29360029361066193919261129c9283916111af565b906111af565b905060006112bf82610667600b5486610b6f90919063ffffffff16565b905060006112cd8483610b87565b9050476112d982611494565b60006112e54783610b87565b90506000611308611301600b5488610b8790919063ffffffff16565b8390610b7b565b90506000611321600b5483610b6f90919063ffffffff16565b905080156113335761133386826115ee565b600c5460009061134890610661856002610b6f565b905080156113935760405173a492157d605f63d1b5b56e97bfc84b7ed56053489082156108fc029083906000818181858888f19350505050158015611391573d6000803e3d6000fd5b505b4780156113dd5760405173a492157d605f63d1b5b56e97bfc84b7ed56053489082156108fc029083906000818181858888f193505050501580156113db573d6000803e3d6000fd5b505b50506015805460ff191690555050505050505050565b6001600160a01b03821660009081526008602052604081205460ff168061143257506001600160a01b03821660009081526008602052604090205460ff165b1561144c57601254611445906064610b87565b9050610509565b600a546001600160a01b039081169083160361146b5750601054610509565b600a546001600160a01b039081169084160361148a5750600f54610509565b5060115492915050565b60408051600280825260608201835260009260208301908036833701905050905030816000815181106114c9576114c961191b565b6001600160a01b03928316602091820292909201810191909152600954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611522573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906115469190611931565b816001815181106115595761155961191b565b6001600160a01b03928316602091820292909201015260095461157f91309116846108f9565b60095460405163791ac94760e01b81526001600160a01b039091169063791ac947906115b890859060009086903090429060040161194e565b600060405180830381600087803b1580156115d257600080fd5b505af11580156115e6573d6000803e3d6000fd5b505050505050565b6009546116069030906001600160a01b0316846108f9565b60095460405163f305d71960e01b815230600482015260248101849052600060448201819052606482015273a492157d605f63d1b5b56e97bfc84b7ed560534860848201524260a48201526001600160a01b039091169063f305d71990839060c40160606040518083038185885af1158015611686573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906116ab91906119bf565b5050505050565b600080600080600080600060e0888a0312156116cd57600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b600060208083528351808285015260005b8181101561172b5785810183015185820160400152820161170f565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461176157600080fd5b50565b6000806040838503121561177757600080fd5b82356117828161174c565b946020939093013593505050565b6000806000606084860312156117a557600080fd5b83356117b08161174c565b925060208401356117c08161174c565b929592945050506040919091013590565b6000602082840312156117e357600080fd5b813561059c8161174c565b60008060006060848603121561180357600080fd5b505081359360208301359350604090920135919050565b6000806040838503121561182d57600080fd5b82356118388161174c565b91506020830135801515811461184d57600080fd5b809150509250929050565b6000806040838503121561186b57600080fd5b82356118768161174c565b9150602083013561184d8161174c565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b8082028115828204841417610509576105096118a6565b6000826118f057634e487b7160e01b600052601260045260246000fd5b500490565b81810381811115610509576105096118a6565b80820180821115610509576105096118a6565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561194357600080fd5b815161059c8161174c565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561199e5784516001600160a01b031683529383019391830191600101611979565b50506001600160a01b03969096166060850152505050608001529392505050565b6000806000606084860312156119d457600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212200a40943d8b8e8ef65a6fddae7afdc52919bdf7612b829097951370c77835c96c64736f6c63430008110033

4792:11566:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10122:396;;;;;;;;;;-1:-1:-1;10122:396:0;;;;;:::i;:::-;;:::i;:::-;;7125:67;;;;;;;;;;-1:-1:-1;7185:5:0;;;;;;;;;;;;-1:-1:-1;;;7185:5:0;;;;7125:67;;;;;;;:::i;:::-;;;;;;;;8332:133;;;;;;;;;;-1:-1:-1;8332:133:0;;;;;:::i;:::-;;:::i;:::-;;;1785:14:1;;1778:22;1760:41;;1748:2;1733:18;8332:133:0;1620:187:1;7502:84:0;;;;;;;;;;-1:-1:-1;7572:12:0;;7502:84;;;1958:25:1;;;1946:2;1931:18;7502:84:0;1812:177:1;8854:119:0;;;;;;;;;;;;;:::i;15701:309::-;;;;;;;;;;-1:-1:-1;15701:309:0;;;;;:::i;:::-;;:::i;3172:87::-;;;;;;;;;;-1:-1:-1;3172:87:0;;;;;:::i;:::-;3227:4;3252:5;-1:-1:-1;;;;;3241:16:0;;;3252:5;;3241:16;;3172:87;7275:67;;;;;;;;;;-1:-1:-1;7275:67:0;;5000:1;2849:36:1;;2837:2;2822:18;7275:67:0;2707:184:1;10526:584:0;;;;;;;;;;-1:-1:-1;10526:584:0;;;;;:::i;:::-;;:::i;5338:44::-;;;;;;;;;;-1:-1:-1;5338:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;8218:108;;;;;;;;;;-1:-1:-1;8218:108:0;;;;;:::i;:::-;;:::i;7592:103::-;;;;;;;;;;-1:-1:-1;7592:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;7675:18:0;7658:7;7675:18;;;:9;:18;;;;;;;7592:103;8615:114;;;;;;;;;;;;;:::i;8735:113::-;;;;;;;;;;;;;:::i;7418:78::-;;;;;;;;;;-1:-1:-1;7470:7:0;7488:5;-1:-1:-1;;;;;7488:5:0;7418:78;;;-1:-1:-1;;;;;3802:32:1;;;3784:51;;3772:2;3757:18;7418:78:0;3638:203:1;8113:99:0;;;;;;;;;;-1:-1:-1;8113:99:0;;;;;:::i;:::-;;:::i;8471:138::-;;;;;;;;;;;;;:::i;7198:71::-;;;;;;;;;;-1:-1:-1;7260:7:0;;;;;;;;;;;;-1:-1:-1;;;7260:7:0;;;;7198:71;;7348:64;;;;;;;;;;;;;:::i;5456:19::-;;;;;;;;;;-1:-1:-1;5456:19:0;;;;-1:-1:-1;;;;;5456:19:0;;;7701:139;;;;;;;;;;-1:-1:-1;7701:139:0;;;;;:::i;:::-;;:::i;7846:127::-;;;;;;;;;;-1:-1:-1;7846:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;7944:18:0;;;7927:7;7944:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7846:127;3265:111;;;;;;;;;;-1:-1:-1;3265:111:0;;;;;:::i;:::-;;:::i;10122:396::-;3227:4;3252:5;-1:-1:-1;;;;;3252:5:0;3139:10;3241:16;3123:38;;;;-1:-1:-1;;;3123:38:0;;;;;;;:::i;:::-;;;;;;;;;10298:12:::1;:25:::0;;;;10334:12:::1;:25:::0;;;;10370:7:::1;:15:::0;;;;10396:14:::1;:29:::0;10436:8:::1;:17:::0;10464:7:::1;:15:::0;10490:11:::1;:20:::0;10122:396::o;8332:133::-;8407:4;8414:37;8423:10;8435:7;8444:6;8414:8;:37::i;:::-;-1:-1:-1;8459:4:0;8332:133;;;;;:::o;8854:119::-;8905:7;8960:11;;8938:19;;8922:13;7572:12;;;7502:84;8922:13;:35;;;;:::i;:::-;:49;;;;:::i;:::-;8915:56;;8854:119;:::o;15701:309::-;15799:4;15816:36;15826:6;15834:9;15845:6;15816:9;:36::i;:::-;15863:117;15872:6;15880:10;15892:87;15928:6;15892:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15892:19:0;;;;;;:11;:19;;;;;;;;15912:10;15892:31;;;;;;;;;:87;:35;:87::i;:::-;15863:8;:117::i;:::-;-1:-1:-1;15998:4:0;15701:309;;;;;;:::o;10526:584::-;3227:4;3252:5;-1:-1:-1;;;;;3252:5:0;3139:10;3241:16;3123:38;;;;-1:-1:-1;;;3123:38:0;;;;;;;:::i;:::-;10626:13:::1;10667:5;10659:4;10643:13;7572:12:::0;;;7502:84;10643:13:::1;:20;;;;:::i;:::-;10642:30;;;;:::i;:::-;10626:46;;10683:19;10732:5;10722:6;10706:13;7572:12:::0;;;7502:84;10706:13:::1;:22;;;;:::i;:::-;10705:32;;;;:::i;:::-;10683:54;;10748:17;10796:5;10785:7;10769:13;7572:12:::0;;;7502:84;10769:13:::1;:23;;;;:::i;:::-;10768:33;;;;:::i;:::-;10812:19;:26:::0;;;10849:19:::1;:28:::0;;;10888:17:::1;:27:::0;;;10748:53;-1:-1:-1;;10942:30:0::1;10967:4;10942:20;10960:1;10942:13;7572:12:::0;;;7502:84;10942:13:::1;:17:::0;::::1;:20::i;:::-;:24:::0;::::1;:30::i;:::-;10926:46;;11000:5;10991;:14;;:38;;;;;11024:5;11009:11;:20;;10991:38;:60;;;;;11046:5;11033:9;:18;;10991:60;10983:119;;;::::0;-1:-1:-1;;;10983:119:0;;5562:2:1;10983: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;;10983:119:0::1;5360:410:1::0;10983:119:0::1;10615:495;;;;10526:584:::0;;;:::o;8218:108::-;3227:4;3252:5;-1:-1:-1;;;;;3252:5:0;3139:10;3241:16;3123:38;;;;-1:-1:-1;;;3123:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8292:21:0;;;::::1;;::::0;;;:11:::1;:21;::::0;;;;:32;;-1:-1:-1;;8292:32:0::1;::::0;::::1;;::::0;;;::::1;::::0;;8218:108::o;8615:114::-;8663:7;8716:11;;8696:17;;8680:13;7572:12;;;7502:84;8735:113;8780:7;8835:11;;8813:19;;8797:13;7572:12;;;7502:84;8113:99;3227:4;3252:5;-1:-1:-1;;;;;3252:5:0;3139:10;3241:16;3123:38;;;;-1:-1:-1;;;3123:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8184:15:0;;;::::1;;::::0;;;:5:::1;:15;::::0;;;;:26;;-1:-1:-1;;8184:26:0::1;::::0;::::1;;::::0;;;::::1;::::0;;8113:99::o;8471:138::-;7675:9;:18;;;;6180:42;8530:7;7675:18;;;;;8547:12;;8530:7;;8547:60;;7675:18;;8547:33;;:12;:16;:33::i;:::-;:37;;:60::i;7348:64::-;3227:4;3252:5;-1:-1:-1;;;;;3252:5:0;3139:10;3241:16;3123:38;;;;-1:-1:-1;;;3123:38:0;;;;;;;:::i;:::-;7389:14:::1;:21:::0;;-1:-1:-1;;;;7389:21:0::1;-1:-1:-1::0;;;7389:21:0::1;::::0;;7348:64::o;7701:139::-;7779:4;7786:40;7796:10;7808:9;7819:6;7786:9;:40::i;3265:111::-;3227:4;3252:5;-1:-1:-1;;;;;3252:5:0;3139:10;3241:16;3123:38;;;;-1:-1:-1;;;3123:38:0;;;;;;;:::i;:::-;3331:5:::1;:11:::0;;-1:-1:-1;;;;;;3331:11:0::1;-1:-1:-1::0;;;;;3331:11:0;::::1;::::0;;::::1;::::0;;;3349:25:::1;::::0;3784:51:1;;;3349:25:0::1;::::0;3772:2:1;3757:18;3349:25:0::1;;;;;;;3265:111:::0;:::o;16018:335::-;-1:-1:-1;;;;;16111:19:0;;16103:68;;;;-1:-1:-1;;;16103:68:0;;6193:2:1;16103:68:0;;;6175:21:1;6232:2;6212:18;;;6205:30;6271:34;6251:18;;;6244:62;-1:-1:-1;;;6322:18:1;;;6315:34;6366:19;;16103:68:0;5991:400:1;16103:68:0;-1:-1:-1;;;;;16190:21:0;;16182:68;;;;-1:-1:-1;;;16182:68:0;;6598:2:1;16182:68:0;;;6580:21:1;6637:2;6617:18;;;6610:30;6676:34;6656:18;;;6649:62;-1:-1:-1;;;6727:18:1;;;6720:32;6769:19;;16182:68:0;6396:398:1;16182:68:0;-1:-1:-1;;;;;16261:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;16313:32;;1958:25:1;;;16313:32:0;;1931:18:1;16313:32:0;;;;;;;16018:335;;;:::o;9428:686::-;9517:37;9528:6;9536:9;9547:6;9517:10;:37::i;:::-;9565:38;9585:6;9593:9;9565:19;:38::i;:::-;9614:41;9629:6;9637:9;9648:6;9614:14;:41::i;:::-;9667:35;9684:6;9692:9;9667:16;:35::i;:::-;9713:39;9726:6;9734:9;9745:6;9713:12;:39::i;:::-;9764:35;9773:6;9781:9;9792:6;9764:8;:35::i;:::-;-1:-1:-1;;;;;9830:17:0;;;;;;:9;:17;;;;;;:29;;9852:6;9830:21;:29::i;:::-;-1:-1:-1;;;;;9810:17:0;;;;;;:9;:17;;;;;:49;;;;9895:32;9820:6;9917:9;9895:13;:32::i;:::-;:78;;9967:6;9895:78;;;9930:34;9938:6;9946:9;9957:6;9930:7;:34::i;:::-;-1:-1:-1;;;;;10007:20:0;;;;;;:9;:20;;;;;;9870:103;;-1:-1:-1;10007:40:0;;9870:103;10007:24;:40::i;:::-;-1:-1:-1;;;;;9984:20:0;;;;;;;:9;:20;;;;;;;:63;;;;10063:43;;;;;;;;;;10091:14;1958:25:1;;1946:2;1931:18;;1812:177;10063:43:0;;;;;;;;9506:608;9428:686;;;:::o;1504:162::-;1590:7;1636:12;1628:6;;;;1620:29;;;;-1:-1:-1;;;1620:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;1658:5:0;;;1504:162::o;379:82::-;437:7;454:5;458:1;454;:5;:::i;467:82::-;525:7;542:5;546:1;542;:5;:::i;291:82::-;349:7;366:5;370:1;366;:5;:::i;8981:439::-;-1:-1:-1;;;;;9085:20:0;;9077:70;;;;-1:-1:-1;;;9077:70:0;;7134:2:1;9077:70:0;;;7116:21:1;7173:2;7153:18;;;7146:30;7212:34;7192:18;;;7185:62;-1:-1:-1;;;7263:18:1;;;7256:35;7308:19;;9077:70:0;6932:401:1;9077:70:0;-1:-1:-1;;;;;9166:23:0;;9158:71;;;;-1:-1:-1;;;9158:71:0;;7540:2:1;9158:71:0;;;7522:21:1;7579:2;7559:18;;;7552:30;7618:34;7598:18;;;7591:62;-1:-1:-1;;;7669:18:1;;;7662:33;7712:19;;9158:71:0;7338:399:1;9158:71:0;9265:1;9248:6;:19;9240:73;;;;-1:-1:-1;;;9240:73:0;;7944:2:1;9240:73:0;;;7926:21:1;7983:2;7963:18;;;7956:30;8022:34;8002:18;;;7995:62;-1:-1:-1;;;8073:18:1;;;8066:39;8122:19;;9240:73:0;7742:405:1;9240:73:0;-1:-1:-1;;;;;7675:18:0;;7658:7;7675:18;;;:9;:18;;;;;;9332:6;:27;;9324:88;;;;-1:-1:-1;;;9324:88:0;;8354:2:1;9324:88:0;;;8336:21:1;8393:2;8373:18;;;8366:30;8432:34;8412:18;;;8405:62;-1:-1:-1;;;8483:18:1;;;8476:47;8540:19;;9324:88:0;8152:413:1;9324:88:0;8981:439;;;:::o;11118:191::-;-1:-1:-1;;;;;11211:19:0;;;;;;:11;:19;;;;;;;;11210:20;:47;;;;-1:-1:-1;;;;;;11235:22:0;;;;;;:11;:22;;;;;;;;11234:23;11210:47;11207:95;;;11267:14;;-1:-1:-1;;;11267:14:0;;;;11259:41;;;;-1:-1:-1;;;11259:41:0;;8772:2:1;11259:41:0;;;8754:21:1;8811:2;8791:18;;;8784:30;-1:-1:-1;;;8830:18:1;;;8823:44;8884:18;;11259:41:0;8570:338:1;11259:41:0;11118:191;;:::o;11321:333::-;-1:-1:-1;;;;;11425:19:0;;;;;;:11;:19;;;;;;;;11424:20;:47;;;;-1:-1:-1;;;;;;11449:22:0;;;;;;:11;:22;;;;;;;;11448:23;11424:47;:77;;;;-1:-1:-1;11496:4:0;;-1:-1:-1;;;;;11475:26:0;;;11496:4;;11475:26;;11424:77;:107;;;;-1:-1:-1;;;;;;11505:26:0;;6180:42;11505:26;;11424:107;11421:226;;;11593:17;:15;:17::i;:::-;-1:-1:-1;;;;;11556:20:0;;;;;;:9;:20;;;;;;:32;;11581:6;11556:24;:32::i;:::-;11555:55;;11547:98;;;;-1:-1:-1;;;11547:98:0;;9115:2:1;11547:98:0;;;9097:21:1;9154:2;9134:18;;;9127:30;9193:32;9173:18;;;9166:60;9243:18;;11547:98:0;8913:354:1;11662:159:0;11759:4;;-1:-1:-1;;;;;11746:17:0;;;11759:4;;11746:17;:41;;;;-1:-1:-1;;;;;;11768:19:0;;;;;;:11;:19;;;;;;;;11767:20;11746:41;11743:71;;;11810:1;11789:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;11662:159:0;;:::o;11829:349::-;11940:4;;-1:-1:-1;;;;;11930:14:0;;;11940:4;;11930:14;11927:130;;11964:20;:18;:20::i;:::-;11954:6;:30;;:53;;;-1:-1:-1;;;;;;11988:19:0;;;;;;:11;:19;;;;;;;;11954:53;:79;;;-1:-1:-1;;;;;;12011:22:0;;;;;;:11;:22;;;;;;;;11954:79;11946:109;;;;-1:-1:-1;;;11946:109:0;;9604:2:1;11946:109:0;;;9586:21:1;9643:2;9623:18;;;9616:30;-1:-1:-1;;;9662:18:1;;;9655:47;9719:18;;11946:109:0;9402:341:1;11946:109:0;12085:14;:12;:14::i;:::-;12075:6;:24;;:47;;;-1:-1:-1;;;;;;12103:19:0;;;;;;:11;:19;;;;;;;;12075:47;:73;;;-1:-1:-1;;;;;;12126:22:0;;;;;;:11;:22;;;;;;;;12075:73;12067:103;;;;-1:-1:-1;;;12067:103:0;;9604:2:1;12067:103:0;;;9586:21:1;9643:2;9623:18;;;9616:30;-1:-1:-1;;;9662:18:1;;;9655:47;9719:18;;12067:103:0;9402:341:1;14461:197:0;14553:41;14568:6;14576:9;14587:6;14553:14;:41::i;:::-;14550:101;;;14596:29;14611:13;;14596:14;:29::i;:::-;14647:1;14627:9;:22;14461:197;;;:::o;14666:160::-;-1:-1:-1;;;;;14772:19:0;;14747:4;14772:19;;;:11;:19;;;;;;;;14771:20;:47;;;;-1:-1:-1;;;;;;;14796:22:0;;;;;:11;:22;;;;;;;;14795:23;;14666:160;-1:-1:-1;14666:160:0:o;15147:546::-;15233:7;15289:1;15256:30;15268:6;15276:9;15256:11;:30::i;:::-;:34;15253:418;;;15302:17;15322:59;15350:30;15362:6;15370:9;15350:11;:30::i;:::-;15333:11;;15322:23;;:6;;:10;:23::i;:59::-;15437:4;15419:24;;;;:9;:24;;;;;;15302:79;;-1:-1:-1;15419:39:0;;15302:79;15419:28;:39::i;:::-;15410:4;15392:24;;;;:9;:24;;;;;;;:66;;;;15474:42;;-1:-1:-1;;;;;15474:42:0;;;;;;;15506:9;1958:25:1;;1946:2;1931:18;;1812:177;15474:42:0;;;;;;;;15530:7;;:20;15527:104;;15552:77;15570:4;6180:42;15592:36;15620:7;;15592:23;15603:11;;15592:6;:10;;:23;;;;:::i;:36::-;15552:9;:77::i;:::-;15648:21;:6;15659:9;15648:10;:21::i;:::-;15641:28;;;;;15253:418;-1:-1:-1;15679:6:0;15147:546;-1:-1:-1;;15147:546:0:o;203:82::-;261:7;278:5;282:1;278;:5;:::i;14053:400::-;14194:15;;14270:13;;14260:4;14151;7675:18;;;:9;:18;;;;;;14302:8;;14151:4;;14184:25;;;;-1:-1:-1;14242:41:0;;14302:8;;14301:9;:24;;;;-1:-1:-1;14314:11:0;;;;14301:24;:42;;;;-1:-1:-1;14329:14:0;;-1:-1:-1;;;14329:14:0;;;;14301:42;:54;;;;;14347:8;14301:54;:78;;;;-1:-1:-1;;;;;;14360:19:0;;;;;;:11;:19;;;;;;;;14359:20;14301:78;:99;;;;-1:-1:-1;14396:4:0;;-1:-1:-1;;;;;14383:17:0;;;14396:4;;14383:17;14301:99;:126;;;;-1:-1:-1;14404:23:0;14301:126;:144;;;;;14431:14;14301:144;14294:151;14053:400;-1:-1:-1;;;;;;14053:400:0:o;12186:1066::-;6101:8;:15;;-1:-1:-1;;6101:15:0;6112:4;6101:15;;;;;;12323:14:::1;::::0;12305:12:::1;::::0;12281::::1;::::0;6101:8;;12280:66:::1;::::0;12344:1:::1;::::0;12281:57:::1;::::0;12323:14;;12281:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;12280:66::-;12257:89;;12357:32;12392:42;12421:12;12392:24;12403:12;;12392:6;:10;;:24;;;;:::i;:42::-;12357:77:::0;-1:-1:-1;12445:14:0::1;12462:36;:6:::0;12357:77;12462:10:::1;:36::i;:::-;12445:53:::0;-1:-1:-1;12534:21:0::1;12566:24;12445:53:::0;12566:16:::1;:24::i;:::-;12601:20;12624:41;:21;12650:14:::0;12624:25:::1;:41::i;:::-;12601:64;;12676:19;12697:48;12714:30;12731:12;;12714;:16;;:30;;;;:::i;:::-;12697:12:::0;;:16:::1;:48::i;:::-;12676:69;;12756:29;12788;12804:12;;12788:11;:15;;:29;;;;:::i;:::-;12756:61:::0;-1:-1:-1;12831:34:0;;12828:103:::1;;12867:61;12880:24;12906:21;12867:12;:61::i;:::-;12987:12;::::0;12941:20:::1;::::0;12964:36:::1;::::0;:18:::1;:11:::0;12980:1:::1;12964:15;:18::i;:36::-;12941:59:::0;-1:-1:-1;13014:16:0;;13011:73:::1;;13032:50;::::0;6375:42:::1;::::0;13032:50;::::1;;;::::0;13069:12;;13032:50:::1;::::0;;;13069:12;6375:42;13032:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13011:73;13121:21;13156:29:::0;;13153:92:::1;;13187:56;::::0;6278:42:::1;::::0;13187:56;::::1;;;::::0;13226:16;;13187:56:::1;::::0;;;13226:16;6278:42;13187:56;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13153:92;-1:-1:-1::0;;6121:8:0;:16;;-1:-1:-1;;6121:16:0;;;-1:-1:-1;;;;;;;;12186:1066:0:o;14834:305::-;-1:-1:-1;;;;;14936:13:0;;14913:7;14936:13;;;:5;:13;;;;;;;;;:33;;-1:-1:-1;;;;;;14953:16:0;;;;;;:5;:16;;;;;;;;14936:33;14933:76;;;14978:11;;:29;;15002:3;14978:15;:29::i;:::-;14971:36;;;;14933:76;15035:4;;-1:-1:-1;;;;;15035:4:0;;;15022:17;;;;15019:38;;-1:-1:-1;15048:7:0;;15041:14;;15019:38;15080:4;;-1:-1:-1;;;;;15080:4:0;;;15070:14;;;;15067:36;;-1:-1:-1;15093:8:0;;15086:15;;15067:36;-1:-1:-1;15120:11:0;;14834:305;;;;:::o;13611:434::-;13701:16;;;13715:1;13701:16;;;;;;;;13677:21;;13701:16;;;;;;;;;;-1:-1:-1;13701:16:0;13677:40;;13746:4;13728;13733:1;13728:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13728:23:0;;;:7;;;;;;;;;;:23;;;;13772:6;;:13;;;-1:-1:-1;;;13772:13:0;;;;:6;;;;;:11;;:13;;;;;13728:7;;13772:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13762:4;13767:1;13762:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13762:23:0;;;:7;;;;;;;;;:23;13828:6;;13796:53;;13813:4;;13828:6;13837:11;13796:8;:53::i;:::-;13860:6;;:177;;-1:-1:-1;;;13860:177:0;;-1:-1:-1;;;;;13860:6:0;;;;:57;;:177;;13932:11;;13860:6;;13974:4;;14001;;14021:15;;13860:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13666:379;13611:434;:::o;13260:343::-;13373:6;;13341:53;;13358:4;;-1:-1:-1;;;;;13373:6:0;13382:11;13341:8;:53::i;:::-;13405:6;;:190;;-1:-1:-1;;;13405:190:0;;13468:4;13405:190;;;11594:34:1;11644:18;;;11637:34;;;13405:6:0;11687:18:1;;;11680:34;;;11730:18;;;11723:34;6471:42:0;11773:19:1;;;11766:44;13579:15:0;11826:19:1;;;11819:35;-1:-1:-1;;;;;13405:6:0;;;;:22;;13435:9;;11528:19:1;;13405:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;13260:343;;:::o;14:592:1:-;127:6;135;143;151;159;167;175;228:3;216:9;207:7;203:23;199:33;196:53;;;245:1;242;235:12;196:53;-1:-1:-1;;268:23:1;;;338:2;323:18;;310:32;;-1:-1:-1;389:2:1;374:18;;361:32;;440:2;425:18;;412:32;;-1:-1:-1;491:3:1;476:19;;463:33;;-1:-1:-1;543:3:1;528:19;;515:33;;-1:-1:-1;595:3:1;580:19;567:33;;-1:-1:-1;14:592:1;-1:-1:-1;14:592:1:o;611:548::-;723:4;752:2;781;770:9;763:21;813:6;807:13;856:6;851:2;840:9;836:18;829:34;881:1;891:140;905:6;902:1;899:13;891:140;;;1000:14;;;996:23;;990:30;966:17;;;985:2;962:26;955:66;920:10;;891:140;;;895:3;1080:1;1075:2;1066:6;1055:9;1051:22;1047:31;1040:42;1150:2;1143;1139:7;1134:2;1126:6;1122:15;1118:29;1107:9;1103:45;1099:54;1091:62;;;;611:548;;;;:::o;1164:131::-;-1:-1:-1;;;;;1239:31:1;;1229:42;;1219:70;;1285:1;1282;1275:12;1219:70;1164:131;:::o;1300:315::-;1368:6;1376;1429:2;1417:9;1408:7;1404:23;1400:32;1397:52;;;1445:1;1442;1435:12;1397:52;1484:9;1471:23;1503:31;1528:5;1503:31;:::i;:::-;1553:5;1605:2;1590:18;;;;1577:32;;-1:-1:-1;;;1300:315:1:o;1994:456::-;2071:6;2079;2087;2140:2;2128:9;2119:7;2115:23;2111:32;2108:52;;;2156:1;2153;2146:12;2108:52;2195:9;2182:23;2214:31;2239:5;2214:31;:::i;:::-;2264:5;-1:-1:-1;2321:2:1;2306:18;;2293:32;2334:33;2293:32;2334:33;:::i;:::-;1994:456;;2386:7;;-1:-1:-1;;;2440:2:1;2425:18;;;;2412:32;;1994:456::o;2455:247::-;2514:6;2567:2;2555:9;2546:7;2542:23;2538:32;2535:52;;;2583:1;2580;2573:12;2535:52;2622:9;2609:23;2641:31;2666:5;2641:31;:::i;2896:316::-;2973:6;2981;2989;3042:2;3030:9;3021:7;3017:23;3013:32;3010:52;;;3058:1;3055;3048:12;3010:52;-1:-1:-1;;3081:23:1;;;3151:2;3136:18;;3123:32;;-1:-1:-1;3202:2:1;3187:18;;;3174:32;;2896:316;-1:-1:-1;2896:316:1:o;3217:416::-;3282:6;3290;3343:2;3331:9;3322:7;3318:23;3314:32;3311:52;;;3359:1;3356;3349:12;3311:52;3398:9;3385:23;3417:31;3442:5;3417:31;:::i;:::-;3467:5;-1:-1:-1;3524:2:1;3509:18;;3496:32;3566:15;;3559:23;3547:36;;3537:64;;3597:1;3594;3587:12;3537:64;3620:7;3610:17;;;3217:416;;;;;:::o;3846:388::-;3914:6;3922;3975:2;3963:9;3954:7;3950:23;3946:32;3943:52;;;3991:1;3988;3981:12;3943:52;4030:9;4017:23;4049:31;4074:5;4049:31;:::i;:::-;4099:5;-1:-1:-1;4156:2:1;4141:18;;4128:32;4169:33;4128:32;4169:33;:::i;4499:329::-;4701:2;4683:21;;;4740:1;4720:18;;;4713:29;-1:-1:-1;;;4773:2:1;4758:18;;4751:36;4819:2;4804:18;;4499:329::o;4833:127::-;4894:10;4889:3;4885:20;4882:1;4875:31;4925:4;4922:1;4915:15;4949:4;4946:1;4939:15;4965:168;5038:9;;;5069;;5086:15;;;5080:22;;5066:37;5056:71;;5107:18;;:::i;5138:217::-;5178:1;5204;5194:132;;5248:10;5243:3;5239:20;5236:1;5229:31;5283:4;5280:1;5273:15;5311:4;5308:1;5301:15;5194:132;-1:-1:-1;5340:9:1;;5138:217::o;6799:128::-;6866:9;;;6887:11;;;6884:37;;;6901:18;;:::i;9272:125::-;9337:9;;;9358:10;;;9355:36;;;9371:18;;:::i;9880:127::-;9941:10;9936:3;9932:20;9929:1;9922:31;9972:4;9969:1;9962:15;9996:4;9993:1;9986:15;10012:251;10082:6;10135:2;10123:9;10114:7;10110:23;10106:32;10103:52;;;10151:1;10148;10141:12;10103:52;10183:9;10177:16;10202:31;10227:5;10202:31;:::i;10268:980::-;10530:4;10578:3;10567:9;10563:19;10609:6;10598:9;10591:25;10635:2;10673:6;10668:2;10657:9;10653:18;10646:34;10716:3;10711:2;10700:9;10696:18;10689:31;10740:6;10775;10769:13;10806:6;10798;10791:22;10844:3;10833:9;10829:19;10822:26;;10883:2;10875:6;10871:15;10857:29;;10904:1;10914:195;10928:6;10925:1;10922:13;10914:195;;;10993:13;;-1:-1:-1;;;;;10989:39:1;10977:52;;11084:15;;;;11049:12;;;;11025:1;10943:9;10914:195;;;-1:-1:-1;;;;;;;11165:32:1;;;;11160:2;11145:18;;11138:60;-1:-1:-1;;;11229:3:1;11214:19;11207:35;11126:3;10268:980;-1:-1:-1;;;10268:980:1:o;11865:306::-;11953:6;11961;11969;12022:2;12010:9;12001:7;11997:23;11993:32;11990:52;;;12038:1;12035;12028:12;11990:52;12067:9;12061:16;12051:26;;12117:2;12106:9;12102:18;12096:25;12086:35;;12161:2;12150:9;12146:18;12140:25;12130:35;;11865:306;;;;;:::o

ipfs://0a40943d8b8e8ef65a6fddae7afdc52919bdf7612b829097951370c77835c96c