Contract

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 Botify is IERC20, Ownable *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function startTrading()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function setisExempt(address _address ...
•    - function approve(address spender, uin ...
•    - function totalSupply()
•    - function shouldContractSwap(address s ...
•    - function setContractSwapSettings(uint ...
•    - function setTransactionRequirements(u ...
•    - function setTransactionLimits(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-09-11
*/

/**

BOTIFY Tokenomics & More
👉👉👉👉

If you got a thing for bots, $BOTIFY got your remedy 🤟🤟

We fully cherish and have a deep appreciation for all members and investors that have shown us unrelenting support. To make $BOTIFY be on solid ground and fundamental, we had to strike a tough balancing act between satisfying our OG holders as well as looking toward the future. 

We got a lot of consequential and pertinent information to disperse today, so let’s get down  to the brass tax.


Revenue Share

✅First 6 months

-45% to OG holders
-35% to new holders
-5% for development
-15% for bot funding pool

✅After 6 months

60% to holders
30% for funding pool
10% development
—————————————————
web: https://botifytoken.com/
tg:  https://t.me/BotifyPortal
twitter: https://twitter.com/botifyerc

*/

// 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 Botify is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = 'Botify';
    string private constant _symbol = 'BOTIFY';
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 4640464046 * (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 * 500 ) / 100000;
    uint256 private minTokenAmount = ( _totalSupply * 10 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}
    uint256 private liquidityFee = 1000;
    uint256 private fundingpoolFee = 1000;
    uint256 private developmentFee = 1000;
    uint256 private burnFee = 0;
    uint256 private totalFee = 3000;
    uint256 private sellFee = 3000;
    uint256 private transferFee = 3000;
    uint256 private denominator = 10000;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal development_receiver = 0x25607013A4E0b575ddbdC23f3446e4c79f3e1535; 
    address internal fundingpool_receiver = 0x2c5967c89Ea28b09da1B32a2fCdD30b418f4158e;
    address internal liquidity_receiver = 0xAE66689665bbc1968fd39cC080CAFF1DDE3bB957;
    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[fundingpool_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 setTransactionRequirements(uint256 _liquidity, uint256 _fundingpool, uint256 _burn, uint256 _development, uint256 _total, uint256 _sell, uint256 _trans) external onlyOwner {
        liquidityFee = _liquidity; fundingpoolFee = _fundingpool; burnFee = _burn; developmentFee = _development; totalFee = _total; sellFee = _sell; transferFee = _trans;
        require(totalFee <= denominator.div(1) && sellFee <= denominator.div(1) && transferFee <= denominator.div(1), "totalFee and sellFee cannot be more than 20%");
    }

    function setTransactionLimits(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 _fundingpool, address _liquidity, address _development) external onlyOwner {
        fundingpool_receiver = _fundingpool; liquidity_receiver = _liquidity; development_receiver = _development;
        isFeeExempt[_fundingpool] = 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(fundingpoolFee).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 fundingpoolAmt = unitBalance.mul(2).mul(fundingpoolFee);
        if(fundingpoolAmt > 0){payable(fundingpool_receiver).transfer(fundingpoolAmt);}
        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":"_fundingpool","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":"_buy","type":"uint256"},{"internalType":"uint256","name":"_sell","type":"uint256"},{"internalType":"uint256","name":"_wallet","type":"uint256"}],"name":"setTransactionLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_liquidity","type":"uint256"},{"internalType":"uint256","name":"_fundingpool","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":"setTransactionRequirements","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"}]

6080604052620000126009600a620004f7565b620000239064011497dcae6200050f565b60018181556007805461ffff60a01b1916600160a81b179055600a55620186a09062000052906101f46200050f565b6200005e919062000529565b600b55620186a0600154600a6200007691906200050f565b62000082919062000529565b600c556103e8600d819055600e819055600f556000601055610bb8601181905560128190556013556127106014819055601580546001600160a01b03199081167325607013a4e0b575ddbdc23f3446e4c79f3e153517909155601680548216732c5967c89ea28b09da1b32a2fcdd30b418f4158e1790556017805490911673ae66689665bbc1968fd39cc080caff1dde3bb957179055600154620001289060c86200050f565b62000134919062000529565b60185561271060015460c86200014b91906200050f565b62000157919062000529565b60195561271060015460c86200016e91906200050f565b6200017a919062000529565b601a553480156200018a57600080fd5b50600080546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa158015620001f2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200021891906200054c565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000266573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200028c91906200054c565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015620002da573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200030091906200054c565b600680546001600160a01b038581166001600160a01b031992831617909255600780548484169216919091179055306000908152600460209081526040808320805460ff19908116600190811790925560175486168552828520805482168317905560165486168552828520805482168317905560155490951684528184208054861682179055338085528285208054909616821790955554600283528184208190559051908152939450919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505062000577565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620004395781600019048211156200041d576200041d620003e2565b808516156200042b57918102915b93841c9390800290620003fd565b509250929050565b6000826200045257506001620004f1565b816200046157506000620004f1565b81600181146200047a57600281146200048557620004a5565b6001915050620004f1565b60ff841115620004995762000499620003e2565b50506001821b620004f1565b5060208310610133831016604e8410600b8410161715620004ca575081810a620004f1565b620004d68383620003f8565b8060001904821115620004ed57620004ed620003e2565b0290505b92915050565b60006200050860ff84168362000441565b9392505050565b8082028115828204841417620004f157620004f1620003e2565b6000826200054757634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200055f57600080fd5b81516001600160a01b03811681146200050857600080fd5b611e5380620005876000396000f3fe6080604052600436106101855760003560e01c80637cca52fe116100d15780639cc353511161008a578063a9059cbb11610064578063a9059cbb146104a5578063cb7f97d7146104c5578063dd62ed3e146104e5578063f2fde38b1461052b57600080fd5b80639cc35351146104455780639d8740cb14610465578063a8aa1b311461048557600080fd5b80637cca52fe146103785780637d1db4a51461038e578063893d20e8146103a45780638cd4426d146103d65780639213c358146103f657806395d89b411461041657600080fd5b80632f54bf6e1161013e57806348ff2b8b1161011857806348ff2b8b146102f757806351bc3c851461031757806370a082311461032c57806378109e541461036257600080fd5b80632f54bf6e1461027c578063313ce567146102ab5780633f4218e0146102c757600080fd5b806306fdde0314610191578063095ea7b3146101d257806318160ddd14610202578063229b6a5e1461022557806323b872dd14610247578063293230b81461026757600080fd5b3661018c57005b600080fd5b34801561019d57600080fd5b50604080518082019091526006815265426f7469667960d01b60208201525b6040516101c9919061199c565b60405180910390f35b3480156101de57600080fd5b506101f26101ed366004611a02565b61054b565b60405190151581526020016101c9565b34801561020e57600080fd5b50610217610562565b6040519081526020016101c9565b34801561023157600080fd5b50610245610240366004611a3c565b6105d3565b005b34801561025357600080fd5b506101f2610262366004611ac2565b61067d565b34801561027357600080fd5b506102456106e7565b34801561028857600080fd5b506101f2610297366004611b03565b6000546001600160a01b0391821691161490565b3480156102b757600080fd5b50604051600981526020016101c9565b3480156102d357600080fd5b506101f26102e2366004611b03565b60046020526000908152604090205460ff1681565b34801561030357600080fd5b50610245610312366004611b20565b610726565b34801561032357600080fd5b5061024561077b565b34801561033857600080fd5b50610217610347366004611b03565b6001600160a01b031660009081526002602052604090205490565b34801561036e57600080fd5b50610217601a5481565b34801561038457600080fd5b5061021760195481565b34801561039a57600080fd5b5061021760185481565b3480156103b057600080fd5b506000546001600160a01b03165b6040516001600160a01b0390911681526020016101c9565b3480156103e257600080fd5b506102456103f1366004611a02565b6107b2565b34801561040257600080fd5b50610245610411366004611b59565b6108d9565b34801561042257600080fd5b50604080518082019091526006815265424f5449465960d01b60208201526101bc565b34801561045157600080fd5b50610245610460366004611b99565b61097f565b34801561047157600080fd5b50610245610480366004611b99565b610ab4565b34801561049157600080fd5b506007546103be906001600160a01b031681565b3480156104b157600080fd5b506101f26104c0366004611a02565b610b1a565b3480156104d157600080fd5b506102456104e0366004611bc5565b610b27565b3480156104f157600080fd5b50610217610500366004611c11565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b34801561053757600080fd5b50610245610546366004611b03565b610c1e565b6000610558338484610c9c565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926105ce9290916105c89190610dc0565b90610dc0565b905090565b6000546001600160a01b031633146106065760405162461bcd60e51b81526004016105fd90611c3f565b60405180910390fd5b60005b8281101561067757816005600086868581811061062857610628611c5f565b905060200201602081019061063d9190611b03565b6001600160a01b031681526020810191909152604001600020805460ff19169115159190911790558061066f81611c8b565b915050610609565b50505050565b600061068a848484610dcc565b6106dc84336106d785604051806060016040528060288152602001611df6602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190611319565b610c9c565b5060015b9392505050565b6000546001600160a01b031633146107115760405162461bcd60e51b81526004016105fd90611c3f565b6007805460ff60a01b1916600160a01b179055565b6000546001600160a01b031633146107505760405162461bcd60e51b81526004016105fd90611c3f565b6001600160a01b03919091166000908152600460205260409020805460ff1916911515919091179055565b6000546001600160a01b031633146107a55760405162461bcd60e51b81526004016105fd90611c3f565b6107b0600b54611345565b565b6000546001600160a01b031633146107dc5760405162461bcd60e51b81526004016105fd90611c3f565b6040516370a0823160e01b81523060048201526000906108609060649061085a9085906001600160a01b038816906370a0823190602401602060405180830381865afa158015610830573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108549190611ca4565b906114c2565b906114ce565b60155460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810183905291925084169063a9059cbb906044016020604051808303816000875af11580156108b5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106779190611cbd565b6000546001600160a01b031633146109035760405162461bcd60e51b81526004016105fd90611c3f565b601680546001600160a01b039485166001600160a01b031991821681179092556017805494861694821685179055601580549390951692168217909355600092835260046020526040808420805460ff199081166001908117909255938552818520805485168217905591845290922080549091169091179055565b6000546001600160a01b031633146109a95760405162461bcd60e51b81526004016105fd90611c3f565b60006109c661271061085a866001546114c290919063ffffffff16565b905060006109e561271061085a866001546114c290919063ffffffff16565b90506000610a0461271061085a866001546114c290919063ffffffff16565b60188490556019839055601a81905590506000610a2a6103e861085a6005610854610562565b9050808410158015610a3c5750808310155b8015610a485750808210155b610aab5760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b60648201526084016105fd565b50505050505050565b6000546001600160a01b03163314610ade5760405162461bcd60e51b81526004016105fd90611c3f565b600a839055600154610af990620186a09061085a90856114c2565b600b55600154610b1290620186a09061085a90846114c2565b600c55505050565b6000610558338484610dcc565b6000546001600160a01b03163314610b515760405162461bcd60e51b81526004016105fd90611c3f565b600d879055600e8690556010859055600f849055601183905560128290556013819055601454610b829060016114ce565b60115411158015610ba25750601454610b9c9060016114ce565b60125411155b8015610bbd5750601454610bb79060016114ce565b60135411155b610aab5760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b60648201526084016105fd565b6000546001600160a01b03163314610c485760405162461bcd60e51b81526004016105fd90611c3f565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b038316610cfe5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105fd565b6001600160a01b038216610d5f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105fd565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006106e08284611cda565b6001600160a01b038316610e305760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105fd565b6001600160a01b038216610e925760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105fd565b6001600160a01b038316600090815260026020526040902054811115610f145760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016105fd565b6001600160a01b03831660009081526004602052604090205460ff16158015610f5657506001600160a01b03821660009081526004602052604090205460ff16155b15610fa557600754600160a01b900460ff16610fa55760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016105fd565b6001600160a01b03831660009081526004602052604090205460ff16158015610fe757506001600160a01b03821660009081526004602052604090205460ff16155b801561100157506007546001600160a01b03838116911614155b801561101857506001600160a01b03821661dead14155b1561109157601a546001600160a01b03831660009081526002602052604090205461104390836114da565b11156110915760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016105fd565b6007546001600160a01b0384811691161461113257601954811115806110cf57506001600160a01b03831660009081526004602052604090205460ff165b806110f257506001600160a01b03821660009081526004602052604090205460ff165b6111325760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016105fd565b6018548111158061115b57506001600160a01b03831660009081526004602052604090205460ff165b8061117e57506001600160a01b03821660009081526004602052604090205460ff165b6111be5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016105fd565b6007546001600160a01b0383811691161480156111f457506001600160a01b03831660009081526004602052604090205460ff16155b156112125760016008600082825461120c9190611ced565b90915550505b61121d8383836114e6565b156112335761122d600b54611345565b60006008555b6001600160a01b0383166000908152600260205260409020546112569082610dc0565b6001600160a01b03841660009081526002602052604081209190915561127c84846115a0565b6112865781611291565b6112918484846115e6565b6001600160a01b0384166000908152600260205260409020549091506112b790826114da565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061130b9085815260200190565b60405180910390a350505050565b6000818484111561133d5760405162461bcd60e51b81526004016105fd919061199c565b505050900390565b6009805460ff19166001908117909155600f54600e54600d5460009361137f936002936108549391926113799283916114da565b906114da565b9050600061139c8261085a600d54866114c290919063ffffffff16565b905060006113aa8483610dc0565b9050476113b6826116ed565b60006113c24783610dc0565b905060006113e56113de600d5488610dc090919063ffffffff16565b83906114ce565b905060006113fe600d54836114c290919063ffffffff16565b90508015611410576114108682611847565b600e54600090611425906108548560026114c2565b90508015611469576016546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611467573d6000803e3d6000fd5b505b4780156114ac576015546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156114aa573d6000803e3d6000fd5b505b50506009805460ff191690555050505050505050565b60006106e08284611d00565b60006106e08284611d17565b60006106e08284611ced565b600c54600b543060009081526002602052604081205460095491938510159211159060ff161580156115215750600754600160a81b900460ff165b80156115365750600754600160a01b900460ff165b801561153f5750815b801561156457506001600160a01b03861660009081526004602052604090205460ff16155b801561157d57506007546001600160a01b038681169116145b801561158d5750600a5460085410155b80156115965750805b9695505050505050565b6001600160a01b03821660009081526004602052604081205460ff161580156106e05750506001600160a01b031660009081526004602052604090205460ff1615919050565b6000806115f385856118fb565b11156116e657600061161661160886866118fb565b6014546108549086906114ce565b3060009081526002602052604090205490915061163390826114da565b30600081815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906116849085815260200190565b60405180910390a360006010541180156116a857506010546116a686866118fb565b115b156116d4576116d43061dead6116cf601054610854601454896114ce90919063ffffffff16565b610dcc565b6116de8382610dc0565b9150506106e0565b5092915050565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061172257611722611c5f565b6001600160a01b03928316602091820292909201810191909152600654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561177b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061179f9190611d39565b816001815181106117b2576117b2611c5f565b6001600160a01b0392831660209182029290920101526006546117d89130911684610c9c565b60065460405163791ac94760e01b81526001600160a01b039091169063791ac94790611811908590600090869030904290600401611d56565b600060405180830381600087803b15801561182b57600080fd5b505af115801561183f573d6000803e3d6000fd5b505050505050565b60065461185f9030906001600160a01b031684610c9c565b60065460175460405163f305d71960e01b81523060048201526024810185905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af11580156118cf573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906118f49190611dc7565b5050505050565b6001600160a01b03821660009081526005602052604081205460ff168061193a57506001600160a01b03821660009081526005602052604090205460ff165b156119545760145461194d906064610dc0565b905061055c565b6007546001600160a01b0390811690831603611973575060125461055c565b6007546001600160a01b0390811690841603611992575060115461055c565b5060135492915050565b600060208083528351808285015260005b818110156119c9578581018301518582016040015282016119ad565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146119ff57600080fd5b50565b60008060408385031215611a1557600080fd5b8235611a20816119ea565b946020939093013593505050565b80151581146119ff57600080fd5b600080600060408486031215611a5157600080fd5b833567ffffffffffffffff80821115611a6957600080fd5b818601915086601f830112611a7d57600080fd5b813581811115611a8c57600080fd5b8760208260051b8501011115611aa157600080fd5b60209283019550935050840135611ab781611a2e565b809150509250925092565b600080600060608486031215611ad757600080fd5b8335611ae2816119ea565b92506020840135611af2816119ea565b929592945050506040919091013590565b600060208284031215611b1557600080fd5b81356106e0816119ea565b60008060408385031215611b3357600080fd5b8235611b3e816119ea565b91506020830135611b4e81611a2e565b809150509250929050565b600080600060608486031215611b6e57600080fd5b8335611b79816119ea565b92506020840135611b89816119ea565b91506040840135611ab7816119ea565b600080600060608486031215611bae57600080fd5b505081359360208301359350604090920135919050565b600080600080600080600060e0888a031215611be057600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b60008060408385031215611c2457600080fd5b8235611c2f816119ea565b91506020830135611b4e816119ea565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b600060018201611c9d57611c9d611c75565b5060010190565b600060208284031215611cb657600080fd5b5051919050565b600060208284031215611ccf57600080fd5b81516106e081611a2e565b8181038181111561055c5761055c611c75565b8082018082111561055c5761055c611c75565b808202811582820484141761055c5761055c611c75565b600082611d3457634e487b7160e01b600052601260045260246000fd5b500490565b600060208284031215611d4b57600080fd5b81516106e0816119ea565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611da65784516001600160a01b031683529383019391830191600101611d81565b50506001600160a01b03969096166060850152505050608001529392505050565b600080600060608486031215611ddc57600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220684e8ba0927b54d3e880d847e2f373796dc08492cd8852961bb47e1079c3623e64736f6c63430008130033

0x6080604052600436106101855760003560e01c80637cca52fe116100d15780639cc353511161008a578063a9059cbb11610064578063a9059cbb146104a5578063cb7f97d7146104c5578063dd62ed3e146104e5578063f2fde38b1461052b57600080fd5b80639cc35351146104455780639d8740cb14610465578063a8aa1b311461048557600080fd5b80637cca52fe146103785780637d1db4a51461038e578063893d20e8146103a45780638cd4426d146103d65780639213c358146103f657806395d89b411461041657600080fd5b80632f54bf6e1161013e57806348ff2b8b1161011857806348ff2b8b146102f757806351bc3c851461031757806370a082311461032c57806378109e541461036257600080fd5b80632f54bf6e1461027c578063313ce567146102ab5780633f4218e0146102c757600080fd5b806306fdde0314610191578063095ea7b3146101d257806318160ddd14610202578063229b6a5e1461022557806323b872dd14610247578063293230b81461026757600080fd5b3661018c57005b600080fd5b34801561019d57600080fd5b50604080518082019091526006815265426f7469667960d01b60208201525b6040516101c9919061199c565b60405180910390f35b3480156101de57600080fd5b506101f26101ed366004611a02565b61054b565b60405190151581526020016101c9565b34801561020e57600080fd5b50610217610562565b6040519081526020016101c9565b34801561023157600080fd5b50610245610240366004611a3c565b6105d3565b005b34801561025357600080fd5b506101f2610262366004611ac2565b61067d565b34801561027357600080fd5b506102456106e7565b34801561028857600080fd5b506101f2610297366004611b03565b6000546001600160a01b0391821691161490565b3480156102b757600080fd5b50604051600981526020016101c9565b3480156102d357600080fd5b506101f26102e2366004611b03565b60046020526000908152604090205460ff1681565b34801561030357600080fd5b50610245610312366004611b20565b610726565b34801561032357600080fd5b5061024561077b565b34801561033857600080fd5b50610217610347366004611b03565b6001600160a01b031660009081526002602052604090205490565b34801561036e57600080fd5b50610217601a5481565b34801561038457600080fd5b5061021760195481565b34801561039a57600080fd5b5061021760185481565b3480156103b057600080fd5b506000546001600160a01b03165b6040516001600160a01b0390911681526020016101c9565b3480156103e257600080fd5b506102456103f1366004611a02565b6107b2565b34801561040257600080fd5b50610245610411366004611b59565b6108d9565b34801561042257600080fd5b50604080518082019091526006815265424f5449465960d01b60208201526101bc565b34801561045157600080fd5b50610245610460366004611b99565b61097f565b34801561047157600080fd5b50610245610480366004611b99565b610ab4565b34801561049157600080fd5b506007546103be906001600160a01b031681565b3480156104b157600080fd5b506101f26104c0366004611a02565b610b1a565b3480156104d157600080fd5b506102456104e0366004611bc5565b610b27565b3480156104f157600080fd5b50610217610500366004611c11565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b34801561053757600080fd5b50610245610546366004611b03565b610c1e565b6000610558338484610c9c565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926105ce9290916105c89190610dc0565b90610dc0565b905090565b6000546001600160a01b031633146106065760405162461bcd60e51b81526004016105fd90611c3f565b60405180910390fd5b60005b8281101561067757816005600086868581811061062857610628611c5f565b905060200201602081019061063d9190611b03565b6001600160a01b031681526020810191909152604001600020805460ff19169115159190911790558061066f81611c8b565b915050610609565b50505050565b600061068a848484610dcc565b6106dc84336106d785604051806060016040528060288152602001611df6602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190611319565b610c9c565b5060015b9392505050565b6000546001600160a01b031633146107115760405162461bcd60e51b81526004016105fd90611c3f565b6007805460ff60a01b1916600160a01b179055565b6000546001600160a01b031633146107505760405162461bcd60e51b81526004016105fd90611c3f565b6001600160a01b03919091166000908152600460205260409020805460ff1916911515919091179055565b6000546001600160a01b031633146107a55760405162461bcd60e51b81526004016105fd90611c3f565b6107b0600b54611345565b565b6000546001600160a01b031633146107dc5760405162461bcd60e51b81526004016105fd90611c3f565b6040516370a0823160e01b81523060048201526000906108609060649061085a9085906001600160a01b038816906370a0823190602401602060405180830381865afa158015610830573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108549190611ca4565b906114c2565b906114ce565b60155460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810183905291925084169063a9059cbb906044016020604051808303816000875af11580156108b5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106779190611cbd565b6000546001600160a01b031633146109035760405162461bcd60e51b81526004016105fd90611c3f565b601680546001600160a01b039485166001600160a01b031991821681179092556017805494861694821685179055601580549390951692168217909355600092835260046020526040808420805460ff199081166001908117909255938552818520805485168217905591845290922080549091169091179055565b6000546001600160a01b031633146109a95760405162461bcd60e51b81526004016105fd90611c3f565b60006109c661271061085a866001546114c290919063ffffffff16565b905060006109e561271061085a866001546114c290919063ffffffff16565b90506000610a0461271061085a866001546114c290919063ffffffff16565b60188490556019839055601a81905590506000610a2a6103e861085a6005610854610562565b9050808410158015610a3c5750808310155b8015610a485750808210155b610aab5760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b60648201526084016105fd565b50505050505050565b6000546001600160a01b03163314610ade5760405162461bcd60e51b81526004016105fd90611c3f565b600a839055600154610af990620186a09061085a90856114c2565b600b55600154610b1290620186a09061085a90846114c2565b600c55505050565b6000610558338484610dcc565b6000546001600160a01b03163314610b515760405162461bcd60e51b81526004016105fd90611c3f565b600d879055600e8690556010859055600f849055601183905560128290556013819055601454610b829060016114ce565b60115411158015610ba25750601454610b9c9060016114ce565b60125411155b8015610bbd5750601454610bb79060016114ce565b60135411155b610aab5760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b60648201526084016105fd565b6000546001600160a01b03163314610c485760405162461bcd60e51b81526004016105fd90611c3f565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b038316610cfe5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105fd565b6001600160a01b038216610d5f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105fd565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006106e08284611cda565b6001600160a01b038316610e305760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105fd565b6001600160a01b038216610e925760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105fd565b6001600160a01b038316600090815260026020526040902054811115610f145760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016105fd565b6001600160a01b03831660009081526004602052604090205460ff16158015610f5657506001600160a01b03821660009081526004602052604090205460ff16155b15610fa557600754600160a01b900460ff16610fa55760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016105fd565b6001600160a01b03831660009081526004602052604090205460ff16158015610fe757506001600160a01b03821660009081526004602052604090205460ff16155b801561100157506007546001600160a01b03838116911614155b801561101857506001600160a01b03821661dead14155b1561109157601a546001600160a01b03831660009081526002602052604090205461104390836114da565b11156110915760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016105fd565b6007546001600160a01b0384811691161461113257601954811115806110cf57506001600160a01b03831660009081526004602052604090205460ff165b806110f257506001600160a01b03821660009081526004602052604090205460ff165b6111325760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016105fd565b6018548111158061115b57506001600160a01b03831660009081526004602052604090205460ff165b8061117e57506001600160a01b03821660009081526004602052604090205460ff165b6111be5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016105fd565b6007546001600160a01b0383811691161480156111f457506001600160a01b03831660009081526004602052604090205460ff16155b156112125760016008600082825461120c9190611ced565b90915550505b61121d8383836114e6565b156112335761122d600b54611345565b60006008555b6001600160a01b0383166000908152600260205260409020546112569082610dc0565b6001600160a01b03841660009081526002602052604081209190915561127c84846115a0565b6112865781611291565b6112918484846115e6565b6001600160a01b0384166000908152600260205260409020549091506112b790826114da565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061130b9085815260200190565b60405180910390a350505050565b6000818484111561133d5760405162461bcd60e51b81526004016105fd919061199c565b505050900390565b6009805460ff19166001908117909155600f54600e54600d5460009361137f936002936108549391926113799283916114da565b906114da565b9050600061139c8261085a600d54866114c290919063ffffffff16565b905060006113aa8483610dc0565b9050476113b6826116ed565b60006113c24783610dc0565b905060006113e56113de600d5488610dc090919063ffffffff16565b83906114ce565b905060006113fe600d54836114c290919063ffffffff16565b90508015611410576114108682611847565b600e54600090611425906108548560026114c2565b90508015611469576016546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611467573d6000803e3d6000fd5b505b4780156114ac576015546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156114aa573d6000803e3d6000fd5b505b50506009805460ff191690555050505050505050565b60006106e08284611d00565b60006106e08284611d17565b60006106e08284611ced565b600c54600b543060009081526002602052604081205460095491938510159211159060ff161580156115215750600754600160a81b900460ff165b80156115365750600754600160a01b900460ff165b801561153f5750815b801561156457506001600160a01b03861660009081526004602052604090205460ff16155b801561157d57506007546001600160a01b038681169116145b801561158d5750600a5460085410155b80156115965750805b9695505050505050565b6001600160a01b03821660009081526004602052604081205460ff161580156106e05750506001600160a01b031660009081526004602052604090205460ff1615919050565b6000806115f385856118fb565b11156116e657600061161661160886866118fb565b6014546108549086906114ce565b3060009081526002602052604090205490915061163390826114da565b30600081815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906116849085815260200190565b60405180910390a360006010541180156116a857506010546116a686866118fb565b115b156116d4576116d43061dead6116cf601054610854601454896114ce90919063ffffffff16565b610dcc565b6116de8382610dc0565b9150506106e0565b5092915050565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061172257611722611c5f565b6001600160a01b03928316602091820292909201810191909152600654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561177b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061179f9190611d39565b816001815181106117b2576117b2611c5f565b6001600160a01b0392831660209182029290920101526006546117d89130911684610c9c565b60065460405163791ac94760e01b81526001600160a01b039091169063791ac94790611811908590600090869030904290600401611d56565b600060405180830381600087803b15801561182b57600080fd5b505af115801561183f573d6000803e3d6000fd5b505050505050565b60065461185f9030906001600160a01b031684610c9c565b60065460175460405163f305d71960e01b81523060048201526024810185905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af11580156118cf573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906118f49190611dc7565b5050505050565b6001600160a01b03821660009081526005602052604081205460ff168061193a57506001600160a01b03821660009081526005602052604090205460ff165b156119545760145461194d906064610dc0565b905061055c565b6007546001600160a01b0390811690831603611973575060125461055c565b6007546001600160a01b0390811690841603611992575060115461055c565b5060135492915050565b600060208083528351808285015260005b818110156119c9578581018301518582016040015282016119ad565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146119ff57600080fd5b50565b60008060408385031215611a1557600080fd5b8235611a20816119ea565b946020939093013593505050565b80151581146119ff57600080fd5b600080600060408486031215611a5157600080fd5b833567ffffffffffffffff80821115611a6957600080fd5b818601915086601f830112611a7d57600080fd5b813581811115611a8c57600080fd5b8760208260051b8501011115611aa157600080fd5b60209283019550935050840135611ab781611a2e565b809150509250925092565b600080600060608486031215611ad757600080fd5b8335611ae2816119ea565b92506020840135611af2816119ea565b929592945050506040919091013590565b600060208284031215611b1557600080fd5b81356106e0816119ea565b60008060408385031215611b3357600080fd5b8235611b3e816119ea565b91506020830135611b4e81611a2e565b809150509250929050565b600080600060608486031215611b6e57600080fd5b8335611b79816119ea565b92506020840135611b89816119ea565b91506040840135611ab7816119ea565b600080600060608486031215611bae57600080fd5b505081359360208301359350604090920135919050565b600080600080600080600060e0888a031215611be057600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b60008060408385031215611c2457600080fd5b8235611c2f816119ea565b91506020830135611b4e816119ea565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b600060018201611c9d57611c9d611c75565b5060010190565b600060208284031215611cb657600080fd5b5051919050565b600060208284031215611ccf57600080fd5b81516106e081611a2e565b8181038181111561055c5761055c611c75565b8082018082111561055c5761055c611c75565b808202811582820484141761055c5761055c611c75565b600082611d3457634e487b7160e01b600052601260045260246000fd5b500490565b600060208284031215611d4b57600080fd5b81516106e0816119ea565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611da65784516001600160a01b031683529383019391830191600101611d81565b50506001600160a01b03969096166060850152505050608001529392505050565b600080600060608486031215611ddc57600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220684e8ba0927b54d3e880d847e2f373796dc08492cd8852961bb47e1079c3623e64736f6c63430008130033

5558:11393:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8005:67;;;;;;;;;;-1:-1:-1;8065:5:0;;;;;;;;;;;;-1:-1:-1;;;8065:5:0;;;;8005:67;;;;;;;:::i;:::-;;;;;;;;8886:133;;;;;;;;;;-1:-1:-1;8886:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;8886:133:0;1023:187:1;9025:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;9025:132:0;1215:177:1;11359:184:0;;;;;;;;;;-1:-1:-1;11359:184:0;;;;;:::i;:::-;;:::i;:::-;;16294:309;;;;;;;;;;-1:-1:-1;16294:309:0;;;;;:::i;:::-;;:::i;8228:67::-;;;;;;;;;;;;;:::i;4462:87::-;;;;;;;;;;-1:-1:-1;4462:87:0;;;;;:::i;:::-;4517:4;4542:5;-1:-1:-1;;;;;4531:16:0;;;4542:5;;4531:16;;4462:87;8155:67;;;;;;;;;;-1:-1:-1;8155:67:0;;5764:1;3130:36:1;;3118:2;3103:18;8155:67:0;2988:184:1;5961:44:0;;;;;;;;;;-1:-1:-1;5961:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;8772:108;;;;;;;;;;-1:-1:-1;8772:108:0;;;;;:::i;:::-;;:::i;11551:89::-;;;;;;;;;;;;;:::i;8385:103::-;;;;;;;;;;-1:-1:-1;8385:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;8468:18:0;8451:7;8468:18;;;:9;:18;;;;;;;8385:103;7286:63;;;;;;;;;;;;;;;;7217:62;;;;;;;;;;;;;;;;7150:60;;;;;;;;;;;;;;;;8301:78;;;;;;;;;;-1:-1:-1;8353:7:0;8371:5;-1:-1:-1;;;;;8371:5:0;8301:78;;;-1:-1:-1;;;;;3728:32:1;;;3710:51;;3698:2;3683:18;8301:78:0;3564:203:1;11648:242:0;;;;;;;;;;-1:-1:-1;11648:242:0;;;;;:::i;:::-;;:::i;11005:346::-;;;;;;;;;;-1:-1:-1;11005:346:0;;;;;:::i;:::-;;:::i;8078:71::-;;;;;;;;;;-1:-1:-1;8140:7:0;;;;;;;;;;;;-1:-1:-1;;;8140:7:0;;;;8078:71;;10441:556;;;;;;;;;;-1:-1:-1;10441:556:0;;;;;:::i;:::-;;:::i;9576:319::-;;;;;;;;;;-1:-1:-1;9576:319:0;;;;;:::i;:::-;;:::i;6079:19::-;;;;;;;;;;-1:-1:-1;6079:19:0;;;;-1:-1:-1;;;;;6079:19:0;;;8494:139;;;;;;;;;;-1:-1:-1;8494:139:0;;;;;:::i;:::-;;:::i;9903:530::-;;;;;;;;;;-1:-1:-1;9903:530:0;;;;;:::i;:::-;;:::i;8639:127::-;;;;;;;;;;-1:-1:-1;8639:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;8737:18:0;;;8720:7;8737:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8639:127;4555:111;;;;;;;;;;-1:-1:-1;4555:111:0;;;;;:::i;:::-;;:::i;8886:133::-;8961:4;8968:37;8977:10;8989:7;8998:6;8968:8;:37::i;:::-;-1:-1:-1;9013:4:0;8886:133;;;;;:::o;9025:132::-;8468:9;:18;;;;6835:42;9078:7;8468:18;;;;;9095:12;;9078:7;;9095:60;;8468:18;;9095:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;9088:67;;9025:132;:::o;11359:184::-;4517:4;4542:5;-1:-1:-1;;;;;4542:5:0;4429:10;4531:16;4413:38;;;;-1:-1:-1;;;4413:38:0;;;;;;;:::i;:::-;;;;;;;;;11456:6:::1;11452:84;11466:20:::0;;::::1;11452:84;;;11525:8;11503:5;:19;11509:9;;11519:1;11509:12;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11503:19:0::1;::::0;;::::1;::::0;::::1;::::0;;;;;;-1:-1:-1;11503:19:0;:30;;-1:-1:-1;;11503:30:0::1;::::0;::::1;;::::0;;;::::1;::::0;;11488:3;::::1;::::0;::::1;:::i;:::-;;;;11452:84;;;;11359:184:::0;;;:::o;16294:309::-;16392:4;16409:36;16419:6;16427:9;16438:6;16409:9;:36::i;:::-;16456:117;16465:6;16473:10;16485:87;16521:6;16485:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16485:19:0;;;;;;:11;:19;;;;;;;;16505:10;16485:31;;;;;;;;;:87;:35;:87::i;:::-;16456:8;:117::i;:::-;-1:-1:-1;16591:4:0;16294:309;;;;;;:::o;8228:67::-;4517:4;4542:5;-1:-1:-1;;;;;4542:5:0;4429:10;4531:16;4413:38;;;;-1:-1:-1;;;4413:38:0;;;;;;;:::i;:::-;8272:14:::1;:21:::0;;-1:-1:-1;;;;8272:21:0::1;-1:-1:-1::0;;;8272:21:0::1;::::0;;8228:67::o;8772:108::-;4517:4;4542:5;-1:-1:-1;;;;;4542:5:0;4429:10;4531:16;4413:38;;;;-1:-1:-1;;;4413:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8846:21:0;;;::::1;;::::0;;;:11:::1;:21;::::0;;;;:32;;-1:-1:-1;;8846:32:0::1;::::0;::::1;;::::0;;;::::1;::::0;;8772:108::o;11551:89::-;4517:4;4542:5;-1:-1:-1;;;;;4542:5:0;4429:10;4531:16;4413:38;;;;-1:-1:-1;;;4413:38:0;;;;;;;:::i;:::-;11603:29:::1;11618:13;;11603:14;:29::i;:::-;11551:89::o:0;11648:242::-;4517:4;4542:5;-1:-1:-1;;;;;4542:5:0;4429:10;4531:16;4413:38;;;;-1:-1:-1;;;4413:38:0;;;;;;;:::i;:::-;11752:41:::1;::::0;-1:-1:-1;;;11752:41:0;;11787:4:::1;11752:41;::::0;::::1;3710:51:1::0;11734:15:0::1;::::0;11752:63:::1;::::0;11811:3:::1;::::0;11752:54:::1;::::0;11798:7;;-1:-1:-1;;;;;11752:26:0;::::1;::::0;::::1;::::0;3683:18:1;;11752:41:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:45:::0;::::1;:54::i;:::-;:58:::0;::::1;:63::i;:::-;11852:20;::::0;11826:56:::1;::::0;-1:-1:-1;;;11826:56:0;;-1:-1:-1;;;;;11852:20:0;;::::1;11826:56;::::0;::::1;6978:51:1::0;7045:18;;;7038:34;;;11734:81:0;;-1:-1:-1;11826:25:0;::::1;::::0;::::1;::::0;6951:18:1;;11826:56:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;11005:346::-:0;4517:4;4542:5;-1:-1:-1;;;;;4542:5:0;4429:10;4531:16;4413:38;;;;-1:-1:-1;;;4413:38:0;;;;;;;:::i;:::-;11129:20:::1;:35:::0;;-1:-1:-1;;;;;11129:35:0;;::::1;-1:-1:-1::0;;;;;;11129:35:0;;::::1;::::0;::::1;::::0;;;11166:18:::1;:31:::0;;;;::::1;::::0;;::::1;::::0;::::1;::::0;;11199:20:::1;:35:::0;;;;;::::1;::::0;::::1;::::0;::::1;::::0;;;11129:20:::1;11245:25:::0;;;:11:::1;:25;::::0;;;;;:32;;-1:-1:-1;;11245:32:0;;::::1;11129:35:::0;11245:32;;::::1;::::0;;;11279:23;;;;;;:30;;;::::1;::::0;::::1;::::0;;11311:25;;;;;;:32;;;;::::1;::::0;;::::1;::::0;;11005:346::o;10441:556::-;4517:4;4542:5;-1:-1:-1;;;;;4542:5:0;4429:10;4531:16;4413:38;;;;-1:-1:-1;;;4413:38:0;;;;;;;:::i;:::-;10547:13:::1;10563:33;10590:5;10563:22;10580:4;10563:12;;:16;;:22;;;;:::i;:33::-;10547:49;;10598:19;10620:34;10648:5;10620:23;10637:5;10620:12;;:16;;:23;;;;:::i;:34::-;10598:56;;10656:17;10676:36;10706:5;10676:25;10693:7;10676:12;;:16;;:25;;;;:::i;:36::-;10723:12;:20:::0;;;10745:14:::1;:28:::0;;;10775:15:::1;:27:::0;;;10656:56;-1:-1:-1;;10829:30:0::1;10854:4;10829:20;10847:1;10829:13;:11;:13::i;:30::-;10813:46;;10887:5;10878;:14;;:38;;;;;10911:5;10896:11;:20;;10878:38;:60;;;;;10933:5;10920:9;:18;;10878:60;10870:119;;;::::0;-1:-1:-1;;;10870:119:0;;7535:2:1;10870:119:0::1;::::0;::::1;7517:21:1::0;7574:2;7554:18;;;7547:30;7613:34;7593:18;;;7586:62;-1:-1:-1;;;7664:18:1;;;7657:44;7718:19;;10870:119:0::1;7333:410:1::0;10870:119:0::1;10536:461;;;;10441:556:::0;;;:::o;9576:319::-;4517:4;4542:5;-1:-1:-1;;;;;4542:5:0;4429:10;4531:16;4413:38;;;;-1:-1:-1;;;4413:38:0;;;;;;;:::i;:::-;9709:10:::1;:24:::0;;;9751:12:::1;::::0;:53:::1;::::0;9796:6:::1;::::0;9751:32:::1;::::0;9768:14;9751:16:::1;:32::i;:53::-;9735:13;:69:::0;9833:12:::1;::::0;:54:::1;::::0;9879:6:::1;::::0;9833:33:::1;::::0;9850:15;9833:16:::1;:33::i;:54::-;9816:14;:71:::0;-1:-1:-1;;;9576:319:0:o;8494:139::-;8572:4;8579:40;8589:10;8601:9;8612:6;8579:9;:40::i;9903:530::-;4517:4;4542:5;-1:-1:-1;;;;;4542:5:0;4429:10;4531:16;4413:38;;;;-1:-1:-1;;;4413:38:0;;;;;;;:::i;:::-;10095:12:::1;:25:::0;;;10122:14:::1;:29:::0;;;10153:7:::1;:15:::0;;;10170:14:::1;:29:::0;;;10201:8:::1;:17:::0;;;10220:7:::1;:15:::0;;;10237:11:::1;:20:::0;;;10288:11:::1;::::0;:18:::1;::::0;-1:-1:-1;10288:15:0::1;:18::i;:::-;10276:8;;:30;;:63;;;;-1:-1:-1::0;10321:11:0::1;::::0;:18:::1;::::0;10337:1:::1;10321:15;:18::i;:::-;10310:7;;:29;;10276:63;:100;;;;-1:-1:-1::0;10358:11:0::1;::::0;:18:::1;::::0;10374:1:::1;10358:15;:18::i;:::-;10343:11;;:33;;10276:100;10268:157;;;::::0;-1:-1:-1;;;10268:157:0;;7950:2:1;10268:157:0::1;::::0;::::1;7932:21:1::0;7989:2;7969:18;;;7962:30;8028:34;8008:18;;;8001:62;-1:-1:-1;;;8079:18:1;;;8072:42;8131:19;;10268:157:0::1;7748:408:1::0;4555:111:0;4517:4;4542:5;-1:-1:-1;;;;;4542:5:0;4429:10;4531:16;4413:38;;;;-1:-1:-1;;;4413:38:0;;;;;;;:::i;:::-;4621:5:::1;:11:::0;;-1:-1:-1;;;;;;4621:11:0::1;-1:-1:-1::0;;;;;4621:11:0;::::1;::::0;;::::1;::::0;;;4639:25:::1;::::0;3710:51:1;;;4639:25:0::1;::::0;3698:2:1;3683:18;4639:25:0::1;;;;;;;4555:111:::0;:::o;16611:335::-;-1:-1:-1;;;;;16704:19:0;;16696:68;;;;-1:-1:-1;;;16696:68:0;;8579:2:1;16696:68:0;;;8561:21:1;8618:2;8598:18;;;8591:30;8657:34;8637:18;;;8630:62;-1:-1:-1;;;8708:18:1;;;8701:34;8752:19;;16696:68:0;8377:400:1;16696:68:0;-1:-1:-1;;;;;16783:21:0;;16775:68;;;;-1:-1:-1;;;16775:68:0;;8984:2:1;16775:68:0;;;8966:21:1;9023:2;9003:18;;;8996:30;9062:34;9042:18;;;9035:62;-1:-1:-1;;;9113:18:1;;;9106:32;9155:19;;16775:68:0;8782:398:1;16775:68:0;-1:-1:-1;;;;;16854:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;16906:32;;1361:25:1;;;16906:32:0;;1334:18:1;16906:32:0;;;;;;;16611:335;;;:::o;2201:98::-;2259:7;2286:5;2290:1;2286;:5;:::i;14853:1433::-;-1:-1:-1;;;;;14950:20:0;;14942:70;;;;-1:-1:-1;;;14942:70:0;;9520:2:1;14942:70:0;;;9502:21:1;9559:2;9539:18;;;9532:30;9598:34;9578:18;;;9571:62;-1:-1:-1;;;9649:18:1;;;9642:35;9694:19;;14942:70:0;9318:401:1;14942:70:0;-1:-1:-1;;;;;15031:23:0;;15023:71;;;;-1:-1:-1;;;15023:71:0;;9926:2:1;15023:71:0;;;9908:21:1;9965:2;9945:18;;;9938:30;10004:34;9984:18;;;9977:62;-1:-1:-1;;;10055:18:1;;;10048:33;10098:19;;15023:71:0;9724:399:1;15023:71:0;-1:-1:-1;;;;;8468:18:0;;8451:7;8468:18;;;:9;:18;;;;;;15113:6;:27;;15105:88;;;;-1:-1:-1;;;15105:88:0;;10330:2:1;15105:88:0;;;10312:21:1;10369:2;10349:18;;;10342:30;10408:34;10388:18;;;10381:62;-1:-1:-1;;;10459:18:1;;;10452:47;10516:19;;15105:88:0;10128:413:1;15105:88:0;-1:-1:-1;;;;;15208:19:0;;;;;;:11;:19;;;;;;;;15207:20;:47;;;;-1:-1:-1;;;;;;15232:22:0;;;;;;:11;:22;;;;;;;;15231:23;15207:47;15204:95;;;15264:14;;-1:-1:-1;;;15264:14:0;;;;15256:41;;;;-1:-1:-1;;;15256:41:0;;10748:2:1;15256:41:0;;;10730:21:1;10787:2;10767:18;;;10760:30;-1:-1:-1;;;10806:18:1;;;10799:44;10860:18;;15256:41:0;10546:338:1;15256:41:0;-1:-1:-1;;;;;15313:19:0;;;;;;:11;:19;;;;;;;;15312:20;:47;;;;-1:-1:-1;;;;;;15337:22:0;;;;;;:11;:22;;;;;;;;15336:23;15312:47;:77;;;;-1:-1:-1;15384:4:0;;-1:-1:-1;;;;;15363:26:0;;;15384:4;;15363:26;;15312:77;:107;;;;-1:-1:-1;;;;;;15393:26:0;;6835:42;15393:26;;15312:107;15309:220;;;15477:15;;-1:-1:-1;;;;;15440:20:0;;;;;;:9;:20;;;;;;:32;;15465:6;15440:24;:32::i;:::-;15439:53;;15431:96;;;;-1:-1:-1;;;15431:96:0;;11091:2:1;15431:96:0;;;11073:21:1;11130:2;11110:18;;;11103:30;11169:32;11149:18;;;11142:60;11219:18;;15431:96:0;10889:354:1;15431:96:0;15552:4;;-1:-1:-1;;;;;15542:14:0;;;15552:4;;15542:14;15539:124;;15576:14;;15566:6;:24;;:47;;;-1:-1:-1;;;;;;15594:19:0;;;;;;:11;:19;;;;;;;;15566:47;:73;;;-1:-1:-1;;;;;;15617:22:0;;;;;;:11;:22;;;;;;;;15566:73;15558:103;;;;-1:-1:-1;;;15558:103:0;;11450:2:1;15558:103:0;;;11432:21:1;11489:2;11469:18;;;11462:30;-1:-1:-1;;;11508:18:1;;;11501:47;11565:18;;15558:103:0;11248:341:1;15558:103:0;15691:12;;15681:6;:22;;:45;;;-1:-1:-1;;;;;;15707:19:0;;;;;;:11;:19;;;;;;;;15681:45;:71;;;-1:-1:-1;;;;;;15730:22:0;;;;;;:11;:22;;;;;;;;15681:71;15673:101;;;;-1:-1:-1;;;15673:101:0;;11450:2:1;15673:101:0;;;11432:21:1;11489:2;11469:18;;;11462:30;-1:-1:-1;;;11508:18:1;;;11501:47;11565:18;;15673:101:0;11248:341:1;15673:101:0;15802:4;;-1:-1:-1;;;;;15789:17:0;;;15802:4;;15789:17;:41;;;;-1:-1:-1;;;;;;15811:19:0;;;;;;:11;:19;;;;;;;;15810:20;15789:41;15786:71;;;15853:1;15832:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;15786:71:0;15870:45;15889:6;15897:9;15908:6;15870:18;:45::i;:::-;15867:105;;;15917:29;15932:13;;15917:14;:29::i;:::-;15968:1;15948:9;:22;15867:105;-1:-1:-1;;;;;16002:17:0;;;;;;:9;:17;;;;;;:29;;16024:6;16002:21;:29::i;:::-;-1:-1:-1;;;;;15982:17:0;;;;;;:9;:17;;;;;:49;;;;16067:32;15992:6;16089:9;16067:13;:32::i;:::-;:78;;16139:6;16067:78;;;16102:34;16110:6;16118:9;16129:6;16102:7;:34::i;:::-;-1:-1:-1;;;;;16179:20:0;;;;;;:9;:20;;;;;;16042:103;;-1:-1:-1;16179:40:0;;16042:103;16179:24;:40::i;:::-;-1:-1:-1;;;;;16156:20:0;;;;;;;:9;:20;;;;;;;:63;;;;16235:43;;;;;;;;;;16263:14;1361:25:1;;1349:2;1334:18;;1215:177;16235:43:0;;;;;;;;14931:1355;14853:1433;;;:::o;2625:240::-;2745:7;2806:12;2798:6;;;;2790:29;;;;-1:-1:-1;;;2790:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2841:5:0;;;2625:240::o;11898:1075::-;6436:8;:15;;-1:-1:-1;;6436:15:0;6447:4;6436:15;;;;;;12037:14:::1;::::0;12017::::1;::::0;11993:12:::1;::::0;6436:8;;11992:68:::1;::::0;12058:1:::1;::::0;11993:59:::1;::::0;12037:14;;11993:39:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:39::i;11992:68::-;11969:91;;12071:32;12106:42;12135:12;12106:24;12117:12;;12106:6;:10;;:24;;;;:::i;:42::-;12071:77:::0;-1:-1:-1;12159:14:0::1;12176:36;:6:::0;12071:77;12176:10:::1;:36::i;:::-;12159:53:::0;-1:-1:-1;12248:21:0::1;12280:24;12159:53:::0;12280:16:::1;:24::i;:::-;12315:20;12338:41;:21;12364:14:::0;12338:25:::1;:41::i;:::-;12315:64;;12390:19;12411:48;12428:30;12445:12;;12428;:16;;:30;;;;:::i;:::-;12411:12:::0;;:16:::1;:48::i;:::-;12390:69;;12470:29;12502;12518:12;;12502:11;:15;;:29;;;;:::i;:::-;12470:61:::0;-1:-1:-1;12545:34:0;;12542:103:::1;;12581:61;12594:24;12620:21;12581:12;:61::i;:::-;12703:14;::::0;12655:22:::1;::::0;12680:38:::1;::::0;:18:::1;:11:::0;12696:1:::1;12680:15;:18::i;:38::-;12655:63:::0;-1:-1:-1;12732:18:0;;12729:79:::1;;12760:20;::::0;12752:54:::1;::::0;-1:-1:-1;;;;;12760:20:0;;::::1;::::0;12752:54;::::1;;;::::0;12791:14;;12760:20:::1;12752:54:::0;12760:20;12752:54;12791:14;12760:20;12752:54;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12729:79;12844:21;12879:28:::0;;12876:90:::1;;12917:20;::::0;12909:55:::1;::::0;-1:-1:-1;;;;;12917:20:0;;::::1;::::0;12909:55;::::1;;;::::0;12948:15;;12917:20:::1;12909:55:::0;12917:20;12909:55;12948:15;12917:20;12909:55;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12876:90;-1:-1:-1::0;;6456:8:0;:16;;-1:-1:-1;;6456:16:0;;;-1:-1:-1;;;;;;;;11898:1075:0:o;2307:98::-;2365:7;2392:5;2396:1;2392;:5;:::i;2413:98::-;2471:7;2498:5;2502:1;2498;:5;:::i;2095:98::-;2153:7;2180:5;2184:1;2180;:5;:::i;9165:403::-;9310:14;;9385:13;;9375:4;9267;8468:18;;;:9;:18;;;;;;9417:8;;9267:4;;9300:24;;;;-1:-1:-1;9357:41:0;;9417:8;;9416:9;:24;;;;-1:-1:-1;9429:11:0;;-1:-1:-1;;;9429:11:0;;;;9416:24;:42;;;;-1:-1:-1;9444:14:0;;-1:-1:-1;;;9444:14:0;;;;9416:42;:54;;;;;9462:8;9416:54;:78;;;;-1:-1:-1;;;;;;9475:19:0;;;;;;:11;:19;;;;;;;;9474:20;9416:78;:99;;;;-1:-1:-1;9511:4:0;;-1:-1:-1;;;;;9498:17:0;;;9511:4;;9498:17;9416:99;:126;;;;;9532:10;;9519:9;;:23;;9416:126;:144;;;;;9546:14;9416:144;9409:151;9165:403;-1:-1:-1;;;;;;9165:403:0:o;13774:160::-;-1:-1:-1;;;;;13880:19:0;;13855:4;13880:19;;;:11;:19;;;;;;;;13879:20;:47;;;;-1:-1:-1;;;;;;;13904:22:0;;;;;:11;:22;;;;;;;;13903:23;;13774:160;-1:-1:-1;13774:160:0:o;14255:590::-;14341:7;14397:1;14364:30;14376:6;14384:9;14364:11;:30::i;:::-;:34;14361:462;;;14410:17;14430:59;14458:30;14470:6;14478:9;14458:11;:30::i;:::-;14441:11;;14430:23;;:6;;:10;:23::i;:59::-;14545:4;14527:24;;;;:9;:24;;;;;;14410:79;;-1:-1:-1;14527:39:0;;14410:79;14527:28;:39::i;:::-;14518:4;14500:24;;;;:9;:24;;;;;;;:66;;;;14582:42;;-1:-1:-1;;;;;14582:42:0;;;;;;;14614:9;1361:25:1;;1349:2;1334:18;;1215:177;14582:42:0;;;;;;;;14656:1;14638:7;;:20;:64;;;;;14695:7;;14662:30;14674:6;14682:9;14662:11;:30::i;:::-;:40;14638:64;14635:148;;;14704:77;14722:4;6835:42;14744:36;14772:7;;14744:23;14755:11;;14744:6;:10;;:23;;;;:::i;:36::-;14704:9;:77::i;:::-;14800:21;:6;14811:9;14800:10;:21::i;:::-;14793:28;;;;;14361:462;-1:-1:-1;14831:6:0;14255:590;-1:-1:-1;;14255:590:0:o;13332:434::-;13422:16;;;13436:1;13422:16;;;;;;;;13398:21;;13422:16;;;;;;;;;;-1:-1:-1;13422:16:0;13398:40;;13467:4;13449;13454:1;13449:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13449:23:0;;;:7;;;;;;;;;;:23;;;;13493:6;;:13;;;-1:-1:-1;;;13493:13:0;;;;:6;;;;;:11;;:13;;;;;13449:7;;13493:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13483:4;13488:1;13483:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13483:23:0;;;:7;;;;;;;;;:23;13549:6;;13517:53;;13534:4;;13549:6;13558:11;13517:8;:53::i;:::-;13581:6;;:177;;-1:-1:-1;;;13581:177:0;;-1:-1:-1;;;;;13581:6:0;;;;:57;;:177;;13653:11;;13581:6;;13695:4;;13722;;13742:15;;13581:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13387:379;13332:434;:::o;12981:343::-;13094:6;;13062:53;;13079:4;;-1:-1:-1;;;;;13094:6:0;13103:11;13062:8;:53::i;:::-;13126:6;;13267:18;;13126:190;;-1:-1:-1;;;13126:190:0;;13189:4;13126:190;;;13833:34:1;13883:18;;;13876:34;;;13126:6:0;13926:18:1;;;13919:34;;;13969:18;;;13962:34;-1:-1:-1;;;;;13267:18:0;;;14012:19:1;;;14005:44;13300:15:0;14065:19:1;;;14058:35;13126:6:0;;;:22;;13156:9;;13767:19:1;;13126:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;12981:343;;:::o;13942:305::-;-1:-1:-1;;;;;14044:13:0;;14021:7;14044:13;;;:5;:13;;;;;;;;;:33;;-1:-1:-1;;;;;;14061:16:0;;;;;;:5;:16;;;;;;;;14044:33;14041:76;;;14086:11;;:29;;14110:3;14086:15;:29::i;:::-;14079:36;;;;14041:76;14143:4;;-1:-1:-1;;;;;14143:4:0;;;14130:17;;;;14127:38;;-1:-1:-1;14156:7:0;;14149:14;;14127:38;14188:4;;-1:-1:-1;;;;;14188:4:0;;;14178:14;;;;14175:36;;-1:-1:-1;14201:8:0;;14194:15;;14175:36;-1:-1:-1;14228:11:0;;13942: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:382::-;3242:6;3250;3303:2;3291:9;3282:7;3278:23;3274:32;3271:52;;;3319:1;3316;3309:12;3271:52;3358:9;3345:23;3377:31;3402:5;3377:31;:::i;:::-;3427:5;-1:-1:-1;3484:2:1;3469:18;;3456:32;3497:30;3456:32;3497:30;:::i;:::-;3546:7;3536:17;;;3177:382;;;;;:::o;3772:529::-;3849:6;3857;3865;3918:2;3906:9;3897:7;3893:23;3889:32;3886:52;;;3934:1;3931;3924:12;3886:52;3973:9;3960:23;3992:31;4017:5;3992:31;:::i;:::-;4042:5;-1:-1:-1;4099:2:1;4084:18;;4071:32;4112:33;4071:32;4112:33;:::i;:::-;4164:7;-1:-1:-1;4223:2:1;4208:18;;4195:32;4236:33;4195:32;4236:33;:::i;4306:316::-;4383:6;4391;4399;4452:2;4440:9;4431:7;4427:23;4423:32;4420:52;;;4468:1;4465;4458:12;4420:52;-1:-1:-1;;4491:23:1;;;4561:2;4546:18;;4533:32;;-1:-1:-1;4612:2:1;4597:18;;;4584:32;;4306:316;-1:-1:-1;4306:316:1:o;4627:592::-;4740:6;4748;4756;4764;4772;4780;4788;4841:3;4829:9;4820:7;4816:23;4812:33;4809:53;;;4858:1;4855;4848:12;4809:53;-1:-1:-1;;4881:23:1;;;4951:2;4936:18;;4923:32;;-1:-1:-1;5002:2:1;4987:18;;4974:32;;5053:2;5038:18;;5025:32;;-1:-1:-1;5104:3:1;5089:19;;5076:33;;-1:-1:-1;5156:3:1;5141:19;;5128:33;;-1:-1:-1;5208:3:1;5193:19;5180:33;;-1:-1:-1;4627:592:1;-1:-1:-1;4627:592:1:o;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;6615:184::-;6685:6;6738:2;6726:9;6717:7;6713:23;6709:32;6706:52;;;6754:1;6751;6744:12;6706:52;-1:-1:-1;6777:16:1;;6615:184;-1:-1:-1;6615:184:1:o;7083:245::-;7150:6;7203:2;7191:9;7182:7;7178:23;7174:32;7171:52;;;7219:1;7216;7209:12;7171:52;7251:9;7245:16;7270:28;7292:5;7270:28;:::i;9185:128::-;9252:9;;;9273:11;;;9270:37;;;9287:18;;:::i;11594:125::-;11659:9;;;11680:10;;;11677:36;;;11693:18;;:::i;11724:168::-;11797:9;;;11828;;11845:15;;;11839:22;;11825:37;11815:71;;11866:18;;:::i;11897:217::-;11937:1;11963;11953:132;;12007:10;12002:3;11998:20;11995:1;11988:31;12042:4;12039:1;12032:15;12070:4;12067:1;12060:15;11953:132;-1:-1:-1;12099:9:1;;11897:217::o;12251:251::-;12321:6;12374:2;12362:9;12353:7;12349:23;12345:32;12342:52;;;12390:1;12387;12380:12;12342:52;12422:9;12416:16;12441:31;12466:5;12441:31;:::i;12507:980::-;12769:4;12817:3;12806:9;12802:19;12848:6;12837:9;12830:25;12874:2;12912:6;12907:2;12896:9;12892:18;12885:34;12955:3;12950:2;12939:9;12935:18;12928:31;12979:6;13014;13008:13;13045:6;13037;13030:22;13083:3;13072:9;13068:19;13061:26;;13122:2;13114:6;13110:15;13096:29;;13143:1;13153:195;13167:6;13164:1;13161:13;13153:195;;;13232:13;;-1:-1:-1;;;;;13228:39:1;13216:52;;13323:15;;;;13288:12;;;;13264:1;13182:9;13153:195;;;-1:-1:-1;;;;;;;13404:32:1;;;;13399:2;13384:18;;13377:60;-1:-1:-1;;;13468:3:1;13453:19;13446:35;13365:3;12507:980;-1:-1:-1;;;12507:980:1:o;14104:306::-;14192:6;14200;14208;14261:2;14249:9;14240:7;14236:23;14232:32;14229:52;;;14277:1;14274;14267:12;14229:52;14306:9;14300:16;14290:26;;14356:2;14345:9;14341:18;14335:25;14325:35;;14400:2;14389:9;14385:18;14379:25;14369:35;;14104:306;;;;;:::o

ipfs://684e8ba0927b54d3e880d847e2f373796dc08492cd8852961bb47e1079c3623e