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 ASTRANOVA is IERC20, Owna ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - 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 startTrading()
•    - 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 2024-01-22
*/

/**
ASTRA NOVA $ASTRA, School/University that elon musk founded! 

Telegram: https://t.me/astranovatoken
Twitter: https://twitter.com/astranovatoken
Website: https://astranovatoken.com/
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.23;


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 ASTRANOVA is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = 'Astra Nova';
    string private constant _symbol = 'ASTRA';
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 10000000000 * (10 ** _decimals);
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public isFeeExempt;
    mapping (address => bool) private isBot;
    mapping (address => uint256) public lastBlockPurchased;
    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 * 200 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 300;
    uint256 private developmentFee = 300;
    uint256 private burnFee = 0;
    uint256 private totalFee = 3000;
    uint256 private sellFee = 6000;
    uint256 private transferFee = 6000;
    uint256 private denominator = 10000;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal development_receiver = 0x9f7A7AdF8b0D4eAc4723F144602c224BBc7e4342; 
    address internal marketing_receiver = 0x9f7A7AdF8b0D4eAc4723F144602c224BBc7e4342;
    address internal liquidity_receiver = 0x9f7A7AdF8b0D4eAc4723F144602c224BBc7e4342;
    uint256 public _maxTxAmount = ( _totalSupply * 200 ) / 10000;
    uint256 public _maxSellAmount = ( _totalSupply * 200 ) / 10000;
    uint256 public _maxWalletToken = ( _totalSupply * 200 ) / 10000;

    constructor() Ownable(msg.sender) {
        IRouter _router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _pair = IFactory(_router.factory()).createPair(address(this), _router.WETH());
        router = _router; pair = _pair;
        isFeeExempt[address(this)] = true;
        isFeeExempt[liquidity_receiver] = true;
        isFeeExempt[marketing_receiver] = true;
        isFeeExempt[development_receiver] = true;
        isFeeExempt[msg.sender] = true;
        _balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);
    }

    receive() external payable {}
    function name() public pure returns (string memory) {return _name;}
    function symbol() public pure returns (string memory) {return _symbol;}
    function decimals() public pure returns (uint8) {return _decimals;}
    function 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 _marketing, uint256 _burn, uint256 _development, uint256 _total, uint256 _sell, uint256 _trans) external onlyOwner {
        liquidityFee = _liquidity; marketingFee = _marketing; burnFee = _burn; developmentFee = _development; totalFee = _total; sellFee = _sell; transferFee = _trans;
        require(totalFee <= denominator.div(1) && sellFee <= denominator.div(1) && 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 _marketing, address _liquidity, address _development) external onlyOwner {
        marketing_receiver = _marketing; liquidity_receiver = _liquidity; development_receiver = _development;
        isFeeExempt[_marketing] = true; isFeeExempt[_liquidity] = true; isFeeExempt[_development] = true;
    }

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

    function manualSwap() external onlyOwner {
        uint256 amount = balanceOf(address(this));
        if(amount > swapThreshold){amount = swapThreshold;}
        swapAndLiquify(amount);
    }

    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 startTrading() external onlyOwner {
        tradingAllowed = true;
    }

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

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

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

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

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

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

    function _transfer(address sender, address recipient, uint256 amount) private {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount <= balanceOf(sender),"You are trying to transfer more than your balance");
        if(!isFeeExempt[sender] && !isFeeExempt[recipient]){require(tradingAllowed, "tradingAllowed");}
        if(!isFeeExempt[sender] && !isFeeExempt[recipient] && recipient != address(pair) && recipient != address(DEAD)){
            require((_balances[recipient].add(amount)) <= _maxWalletToken, "Exceeds maximum wallet amount.");}
        if(sender != pair){require(amount <= _maxSellAmount || isFeeExempt[sender] || isFeeExempt[recipient], "TX Limit Exceeded");}
            require(amount <= _maxTxAmount || isFeeExempt[sender] || isFeeExempt[recipient], "TX Limit Exceeded"); 
        if(recipient == pair && !isFeeExempt[sender]){swapTimes += uint256(1);}
        if(shouldContractSwap(sender, recipient, amount)){swapAndLiquify(swapThreshold); swapTimes = uint256(0);}
        _balances[sender] = _balances[sender].sub(amount);
        uint256 amountReceived = shouldTakeFee(sender, recipient) ? takeFee(sender, recipient, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }

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

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxSellAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isFeeExempt","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"lastBlockPurchased","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"uint256","name":"percent","type":"uint256"}],"name":"rescueERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_swapAmount","type":"uint256"},{"internalType":"uint256","name":"_swapThreshold","type":"uint256"},{"internalType":"uint256","name":"_minTokenAmount","type":"uint256"}],"name":"setContractSwapSettings","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_marketing","type":"address"},{"internalType":"address","name":"_liquidity","type":"address"},{"internalType":"address","name":"_development","type":"address"}],"name":"setInternalAddresses","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_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":"_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":"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"}]

6080604052620000126009600a620004c1565b62000023906402540be400620004d8565b60018181556008805461ffff60a01b1916600160a81b179055600b55620186a09062000052906101f4620004d8565b6200005e9190620004f2565b600c55620186a060015460c8620000769190620004d8565b620000829190620004f2565b600d555f600e81905561012c600f819055601055601155610bb86012556117706013819055601455612710601581905560168054739f7a7adf8b0d4eac4723f144602c224bbc7e43426001600160a01b0319918216811790925560178054821683179055601880549091169091179055600154620001029060c8620004d8565b6200010e9190620004f2565b60195561271060015460c8620001259190620004d8565b620001319190620004f2565b601a5561271060015460c8620001489190620004d8565b620001549190620004f2565b601b5534801562000163575f80fd5b505f80546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa158015620001c8573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620001ee919062000512565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156200023a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019062000260919062000512565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015620002ab573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002d1919062000512565b600780546001600160a01b038581166001600160a01b031992831617909255600880548484169216919091179055305f908152600460209081526040808320805460ff19908116600190811790925560185486168552828520805482168317905560175486168552828520805482168317905560165490951684528184208054861682179055338085528285208054909616821790955554600283528184208190559051908152939450919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a350506200053a565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200040657815f1904821115620003ea57620003ea620003b2565b80851615620003f857918102915b93841c9390800290620003cb565b509250929050565b5f826200041e57506001620004bb565b816200042c57505f620004bb565b8160018114620004455760028114620004505762000470565b6001915050620004bb565b60ff841115620004645762000464620003b2565b50506001821b620004bb565b5060208310610133831016604e8410600b841016171562000495575081810a620004bb565b620004a18383620003c6565b805f1904821115620004b757620004b7620003b2565b0290505b92915050565b5f620004d160ff8416836200040e565b9392505050565b8082028115828204841417620004bb57620004bb620003b2565b5f826200050d57634e487b7160e01b5f52601260045260245ffd5b500490565b5f6020828403121562000523575f80fd5b81516001600160a01b0381168114620004d1575f80fd5b611ddf80620005485f395ff3fe608060405260043610610198575f3560e01c80637cca52fe116100e75780639cc3535111610087578063a9059cbb11610062578063a9059cbb146104cb578063cb7f97d7146104ea578063dd62ed3e14610509578063f2fde38b1461054d575f80fd5b80639cc353511461046e5780639d8740cb1461048d578063a8aa1b31146104ac575f80fd5b80638cd4426d116100c25780638cd4426d146103d85780639213c358146103f757806395d89b41146104165780639bbc2bb614610443575f80fd5b80637cca52fe1461037e5780637d1db4a514610393578063893d20e8146103a8575f80fd5b80632f54bf6e1161015257806348ff2b8b1161012d57806348ff2b8b1461030257806351bc3c851461032157806370a082311461033557806378109e5414610369575f80fd5b80632f54bf6e1461028c578063313ce567146102b95780633f4218e0146102d4575f80fd5b806306fdde03146101a3578063095ea7b3146101e757806318160ddd14610216578063229b6a5e1461023857806323b872dd14610259578063293230b814610278575f80fd5b3661019f57005b5f80fd5b3480156101ae575f80fd5b5060408051808201909152600a8152694173747261204e6f766160b01b60208201525b6040516101de9190611975565b60405180910390f35b3480156101f2575f80fd5b506102066102013660046119d5565b61056c565b60405190151581526020016101de565b348015610221575f80fd5b5061022a610582565b6040519081526020016101de565b348015610243575f80fd5b50610257610252366004611a0c565b6105f2565b005b348015610264575f80fd5b50610206610273366004611a8b565b61068e565b348015610283575f80fd5b506102576106f6565b348015610297575f80fd5b506102066102a6366004611ac9565b5f546001600160a01b0391821691161490565b3480156102c4575f80fd5b50604051600981526020016101de565b3480156102df575f80fd5b506102066102ee366004611ac9565b60046020525f908152604090205460ff1681565b34801561030d575f80fd5b5061025761031c366004611ae4565b610734565b34801561032c575f80fd5b50610257610787565b348015610340575f80fd5b5061022a61034f366004611ac9565b6001600160a01b03165f9081526002602052604090205490565b348015610374575f80fd5b5061022a601b5481565b348015610389575f80fd5b5061022a601a5481565b34801561039e575f80fd5b5061022a60195481565b3480156103b3575f80fd5b505f546001600160a01b03165b6040516001600160a01b0390911681526020016101de565b3480156103e3575f80fd5b506102576103f23660046119d5565b6107da565b348015610402575f80fd5b50610257610411366004611b1b565b6108fa565b348015610421575f80fd5b50604080518082019091526005815264415354524160d81b60208201526101d1565b34801561044e575f80fd5b5061022a61045d366004611ac9565b60066020525f908152604090205481565b348015610479575f80fd5b50610257610488366004611b58565b61099e565b348015610498575f80fd5b506102576104a7366004611b58565b610ace565b3480156104b7575f80fd5b506008546103c0906001600160a01b031681565b3480156104d6575f80fd5b506102066104e53660046119d5565b610b33565b3480156104f5575f80fd5b50610257610504366004611b81565b610b3f565b348015610514575f80fd5b5061022a610523366004611bc8565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b348015610558575f80fd5b50610257610567366004611ac9565b610c35565b5f610578338484610cb1565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead5f9081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926105ed9290916105e79190610dd4565b90610dd4565b905090565b5f546001600160a01b031633146106245760405162461bcd60e51b815260040161061b90611bf4565b60405180910390fd5b5f5b82811015610688578160055f86868581811061064457610644611c14565b90506020020160208101906106599190611ac9565b6001600160a01b0316815260208101919091526040015f20805460ff1916911515919091179055600101610626565b50505050565b5f61069a848484610ddf565b6106eb84336106e685604051806060016040528060288152602001611d82602891396001600160a01b038a165f908152600360209081526040808320338452909152902054919061131b565b610cb1565b5060015b9392505050565b5f546001600160a01b0316331461071f5760405162461bcd60e51b815260040161061b90611bf4565b6008805460ff60a01b1916600160a01b179055565b5f546001600160a01b0316331461075d5760405162461bcd60e51b815260040161061b90611bf4565b6001600160a01b03919091165f908152600460205260409020805460ff1916911515919091179055565b5f546001600160a01b031633146107b05760405162461bcd60e51b815260040161061b90611bf4565b305f90815260026020526040902054600c548111156107ce5750600c545b6107d781611346565b50565b5f546001600160a01b031633146108035760405162461bcd60e51b815260040161061b90611bf4565b6040516370a0823160e01b81523060048201525f906108849060649061087e9085906001600160a01b038816906370a0823190602401602060405180830381865afa158015610854573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108789190611c28565b906114b6565b906114c1565b60165460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810183905291925084169063a9059cbb906044016020604051808303815f875af11580156108d6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106889190611c3f565b5f546001600160a01b031633146109235760405162461bcd60e51b815260040161061b90611bf4565b601780546001600160a01b039485166001600160a01b0319918216811790925560188054948616948216851790556016805493909516921682179093555f92835260046020526040808420805460ff199081166001908117909255938552818520805485168217905591845290922080549091169091179055565b5f546001600160a01b031633146109c75760405162461bcd60e51b815260040161061b90611bf4565b5f6109e361271061087e866001546114b690919063ffffffff16565b90505f610a0161271061087e866001546114b690919063ffffffff16565b90505f610a1f61271061087e866001546114b690919063ffffffff16565b6019849055601a839055601b81905590505f610a446103e861087e6005610878610582565b9050808410158015610a565750808310155b8015610a625750808210155b610ac55760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b606482015260840161061b565b50505050505050565b5f546001600160a01b03163314610af75760405162461bcd60e51b815260040161061b90611bf4565b600b839055600154610b1290620186a09061087e90856114b6565b600c55600154610b2b90620186a09061087e90846114b6565b600d55505050565b5f610578338484610ddf565b5f546001600160a01b03163314610b685760405162461bcd60e51b815260040161061b90611bf4565b600e879055600f86905560118590556010849055601283905560138290556014819055601554610b999060016114c1565b60125411158015610bb95750601554610bb39060016114c1565b60135411155b8015610bd45750601554610bce9060016114c1565b60145411155b610ac55760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b606482015260840161061b565b5f546001600160a01b03163314610c5e5760405162461bcd60e51b815260040161061b90611bf4565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b038316610d135760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161061b565b6001600160a01b038216610d745760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161061b565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6106ef8284611c6e565b6001600160a01b038316610e435760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161061b565b6001600160a01b038216610ea55760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161061b565b6001600160a01b0383165f90815260026020526040902054811115610f265760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b606482015260840161061b565b6001600160a01b0383165f9081526004602052604090205460ff16158015610f6657506001600160a01b0382165f9081526004602052604090205460ff16155b15610fb557600854600160a01b900460ff16610fb55760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b604482015260640161061b565b6001600160a01b0383165f9081526004602052604090205460ff16158015610ff557506001600160a01b0382165f9081526004602052604090205460ff16155b801561100f57506008546001600160a01b03838116911614155b801561102657506001600160a01b03821661dead14155b1561109e57601b546001600160a01b0383165f9081526002602052604090205461105090836114cc565b111561109e5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161061b565b6008546001600160a01b0384811691161461113d57601a54811115806110db57506001600160a01b0383165f9081526004602052604090205460ff165b806110fd57506001600160a01b0382165f9081526004602052604090205460ff165b61113d5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161061b565b6019548111158061116557506001600160a01b0383165f9081526004602052604090205460ff165b8061118757506001600160a01b0382165f9081526004602052604090205460ff165b6111c75760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161061b565b6008546001600160a01b0383811691161480156111fc57506001600160a01b0383165f9081526004602052604090205460ff16155b1561121957600160095f8282546112139190611c81565b90915550505b6112248383836114d7565b1561123957611234600c54611346565b5f6009555b6001600160a01b0383165f9081526002602052604090205461125b9082610dd4565b6001600160a01b0384165f90815260026020526040812091909155611280848461158f565b61128a5781611295565b6112958484846115d3565b6001600160a01b0384165f908152600260205260409020549091506112ba90826114cc565b6001600160a01b038085165f8181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061130d9085815260200190565b60405180910390a350505050565b5f818484111561133e5760405162461bcd60e51b815260040161061b9190611975565b505050900390565b600a805460ff19166001908117909155601054600f54600e545f9361137f936002936108789391926113799283916114cc565b906114cc565b90505f61139b8261087e600e54866114b690919063ffffffff16565b90505f6113a88483610dd4565b9050476113b4826116d5565b5f6113bf4783610dd4565b90505f6113e16113da600e5488610dd490919063ffffffff16565b83906114c1565b90505f6113f9600e54836114b690919063ffffffff16565b9050801561140b5761140b8682611825565b600f545f9061141f906108788560026114b6565b90508015611460576017546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561145e573d5f803e3d5ffd5b505b4780156114a0576016546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561149e573d5f803e3d5ffd5b505b5050600a805460ff191690555050505050505050565b5f6106ef8284611c94565b5f6106ef8284611cab565b5f6106ef8284611c81565b600d54600c54305f90815260026020526040812054600a5491938510159211159060ff161580156115115750600854600160a81b900460ff165b80156115265750600854600160a01b900460ff165b801561152f5750815b801561155357506001600160a01b0386165f9081526004602052604090205460ff16155b801561156c57506008546001600160a01b038681169116145b801561157c5750600b5460095410155b80156115855750805b9695505050505050565b6001600160a01b0382165f9081526004602052604081205460ff161580156106ef5750506001600160a01b03165f9081526004602052604090205460ff1615919050565b5f806115df85856118d6565b11156116ce575f6116016115f386866118d6565b6015546108789086906114c1565b305f9081526002602052604090205490915061161d90826114cc565b305f81815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061166d9085815260200190565b60405180910390a35f601154118015611690575060115461168e86866118d6565b115b156116bc576116bc3061dead6116b7601154610878601554896114c190919063ffffffff16565b610ddf565b6116c68382610dd4565b9150506106ef565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f8151811061170857611708611c14565b6001600160a01b03928316602091820292909201810191909152600754604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561175f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906117839190611cca565b8160018151811061179657611796611c14565b6001600160a01b0392831660209182029290920101526007546117bc9130911684610cb1565b60075460405163791ac94760e01b81526001600160a01b039091169063791ac947906117f49085905f90869030904290600401611ce5565b5f604051808303815f87803b15801561180b575f80fd5b505af115801561181d573d5f803e3d5ffd5b505050505050565b60075461183d9030906001600160a01b031684610cb1565b60075460185460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af11580156118aa573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906118cf9190611d56565b5050505050565b6001600160a01b0382165f9081526005602052604081205460ff168061191357506001600160a01b0382165f9081526005602052604090205460ff165b1561192d57601554611926906064610dd4565b905061057c565b6008546001600160a01b039081169083160361194c575060135461057c565b6008546001600160a01b039081169084160361196b575060125461057c565b5060145492915050565b5f602080835283518060208501525f5b818110156119a157858101830151858201604001528201611985565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146107d7575f80fd5b5f80604083850312156119e6575f80fd5b82356119f1816119c1565b946020939093013593505050565b80151581146107d7575f80fd5b5f805f60408486031215611a1e575f80fd5b833567ffffffffffffffff80821115611a35575f80fd5b818601915086601f830112611a48575f80fd5b813581811115611a56575f80fd5b8760208260051b8501011115611a6a575f80fd5b60209283019550935050840135611a80816119ff565b809150509250925092565b5f805f60608486031215611a9d575f80fd5b8335611aa8816119c1565b92506020840135611ab8816119c1565b929592945050506040919091013590565b5f60208284031215611ad9575f80fd5b81356106ef816119c1565b5f8060408385031215611af5575f80fd5b8235611b00816119c1565b91506020830135611b10816119ff565b809150509250929050565b5f805f60608486031215611b2d575f80fd5b8335611b38816119c1565b92506020840135611b48816119c1565b91506040840135611a80816119c1565b5f805f60608486031215611b6a575f80fd5b505081359360208301359350604090920135919050565b5f805f805f805f60e0888a031215611b97575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b5f8060408385031215611bd9575f80fd5b8235611be4816119c1565b91506020830135611b10816119c1565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611c38575f80fd5b5051919050565b5f60208284031215611c4f575f80fd5b81516106ef816119ff565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561057c5761057c611c5a565b8082018082111561057c5761057c611c5a565b808202811582820484141761057c5761057c611c5a565b5f82611cc557634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215611cda575f80fd5b81516106ef816119c1565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611d355784516001600160a01b031683529383019391830191600101611d10565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f60608486031215611d68575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122046bdc5bfdf7f1f12febf2ce07886cf5f5164aef31893eafd760ba541716c3e6564736f6c63430008170033

0x608060405260043610610198575f3560e01c80637cca52fe116100e75780639cc3535111610087578063a9059cbb11610062578063a9059cbb146104cb578063cb7f97d7146104ea578063dd62ed3e14610509578063f2fde38b1461054d575f80fd5b80639cc353511461046e5780639d8740cb1461048d578063a8aa1b31146104ac575f80fd5b80638cd4426d116100c25780638cd4426d146103d85780639213c358146103f757806395d89b41146104165780639bbc2bb614610443575f80fd5b80637cca52fe1461037e5780637d1db4a514610393578063893d20e8146103a8575f80fd5b80632f54bf6e1161015257806348ff2b8b1161012d57806348ff2b8b1461030257806351bc3c851461032157806370a082311461033557806378109e5414610369575f80fd5b80632f54bf6e1461028c578063313ce567146102b95780633f4218e0146102d4575f80fd5b806306fdde03146101a3578063095ea7b3146101e757806318160ddd14610216578063229b6a5e1461023857806323b872dd14610259578063293230b814610278575f80fd5b3661019f57005b5f80fd5b3480156101ae575f80fd5b5060408051808201909152600a8152694173747261204e6f766160b01b60208201525b6040516101de9190611975565b60405180910390f35b3480156101f2575f80fd5b506102066102013660046119d5565b61056c565b60405190151581526020016101de565b348015610221575f80fd5b5061022a610582565b6040519081526020016101de565b348015610243575f80fd5b50610257610252366004611a0c565b6105f2565b005b348015610264575f80fd5b50610206610273366004611a8b565b61068e565b348015610283575f80fd5b506102576106f6565b348015610297575f80fd5b506102066102a6366004611ac9565b5f546001600160a01b0391821691161490565b3480156102c4575f80fd5b50604051600981526020016101de565b3480156102df575f80fd5b506102066102ee366004611ac9565b60046020525f908152604090205460ff1681565b34801561030d575f80fd5b5061025761031c366004611ae4565b610734565b34801561032c575f80fd5b50610257610787565b348015610340575f80fd5b5061022a61034f366004611ac9565b6001600160a01b03165f9081526002602052604090205490565b348015610374575f80fd5b5061022a601b5481565b348015610389575f80fd5b5061022a601a5481565b34801561039e575f80fd5b5061022a60195481565b3480156103b3575f80fd5b505f546001600160a01b03165b6040516001600160a01b0390911681526020016101de565b3480156103e3575f80fd5b506102576103f23660046119d5565b6107da565b348015610402575f80fd5b50610257610411366004611b1b565b6108fa565b348015610421575f80fd5b50604080518082019091526005815264415354524160d81b60208201526101d1565b34801561044e575f80fd5b5061022a61045d366004611ac9565b60066020525f908152604090205481565b348015610479575f80fd5b50610257610488366004611b58565b61099e565b348015610498575f80fd5b506102576104a7366004611b58565b610ace565b3480156104b7575f80fd5b506008546103c0906001600160a01b031681565b3480156104d6575f80fd5b506102066104e53660046119d5565b610b33565b3480156104f5575f80fd5b50610257610504366004611b81565b610b3f565b348015610514575f80fd5b5061022a610523366004611bc8565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b348015610558575f80fd5b50610257610567366004611ac9565b610c35565b5f610578338484610cb1565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead5f9081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926105ed9290916105e79190610dd4565b90610dd4565b905090565b5f546001600160a01b031633146106245760405162461bcd60e51b815260040161061b90611bf4565b60405180910390fd5b5f5b82811015610688578160055f86868581811061064457610644611c14565b90506020020160208101906106599190611ac9565b6001600160a01b0316815260208101919091526040015f20805460ff1916911515919091179055600101610626565b50505050565b5f61069a848484610ddf565b6106eb84336106e685604051806060016040528060288152602001611d82602891396001600160a01b038a165f908152600360209081526040808320338452909152902054919061131b565b610cb1565b5060015b9392505050565b5f546001600160a01b0316331461071f5760405162461bcd60e51b815260040161061b90611bf4565b6008805460ff60a01b1916600160a01b179055565b5f546001600160a01b0316331461075d5760405162461bcd60e51b815260040161061b90611bf4565b6001600160a01b03919091165f908152600460205260409020805460ff1916911515919091179055565b5f546001600160a01b031633146107b05760405162461bcd60e51b815260040161061b90611bf4565b305f90815260026020526040902054600c548111156107ce5750600c545b6107d781611346565b50565b5f546001600160a01b031633146108035760405162461bcd60e51b815260040161061b90611bf4565b6040516370a0823160e01b81523060048201525f906108849060649061087e9085906001600160a01b038816906370a0823190602401602060405180830381865afa158015610854573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108789190611c28565b906114b6565b906114c1565b60165460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810183905291925084169063a9059cbb906044016020604051808303815f875af11580156108d6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106889190611c3f565b5f546001600160a01b031633146109235760405162461bcd60e51b815260040161061b90611bf4565b601780546001600160a01b039485166001600160a01b0319918216811790925560188054948616948216851790556016805493909516921682179093555f92835260046020526040808420805460ff199081166001908117909255938552818520805485168217905591845290922080549091169091179055565b5f546001600160a01b031633146109c75760405162461bcd60e51b815260040161061b90611bf4565b5f6109e361271061087e866001546114b690919063ffffffff16565b90505f610a0161271061087e866001546114b690919063ffffffff16565b90505f610a1f61271061087e866001546114b690919063ffffffff16565b6019849055601a839055601b81905590505f610a446103e861087e6005610878610582565b9050808410158015610a565750808310155b8015610a625750808210155b610ac55760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b606482015260840161061b565b50505050505050565b5f546001600160a01b03163314610af75760405162461bcd60e51b815260040161061b90611bf4565b600b839055600154610b1290620186a09061087e90856114b6565b600c55600154610b2b90620186a09061087e90846114b6565b600d55505050565b5f610578338484610ddf565b5f546001600160a01b03163314610b685760405162461bcd60e51b815260040161061b90611bf4565b600e879055600f86905560118590556010849055601283905560138290556014819055601554610b999060016114c1565b60125411158015610bb95750601554610bb39060016114c1565b60135411155b8015610bd45750601554610bce9060016114c1565b60145411155b610ac55760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b606482015260840161061b565b5f546001600160a01b03163314610c5e5760405162461bcd60e51b815260040161061b90611bf4565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b038316610d135760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161061b565b6001600160a01b038216610d745760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161061b565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6106ef8284611c6e565b6001600160a01b038316610e435760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161061b565b6001600160a01b038216610ea55760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161061b565b6001600160a01b0383165f90815260026020526040902054811115610f265760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b606482015260840161061b565b6001600160a01b0383165f9081526004602052604090205460ff16158015610f6657506001600160a01b0382165f9081526004602052604090205460ff16155b15610fb557600854600160a01b900460ff16610fb55760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b604482015260640161061b565b6001600160a01b0383165f9081526004602052604090205460ff16158015610ff557506001600160a01b0382165f9081526004602052604090205460ff16155b801561100f57506008546001600160a01b03838116911614155b801561102657506001600160a01b03821661dead14155b1561109e57601b546001600160a01b0383165f9081526002602052604090205461105090836114cc565b111561109e5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161061b565b6008546001600160a01b0384811691161461113d57601a54811115806110db57506001600160a01b0383165f9081526004602052604090205460ff165b806110fd57506001600160a01b0382165f9081526004602052604090205460ff165b61113d5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161061b565b6019548111158061116557506001600160a01b0383165f9081526004602052604090205460ff165b8061118757506001600160a01b0382165f9081526004602052604090205460ff165b6111c75760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161061b565b6008546001600160a01b0383811691161480156111fc57506001600160a01b0383165f9081526004602052604090205460ff16155b1561121957600160095f8282546112139190611c81565b90915550505b6112248383836114d7565b1561123957611234600c54611346565b5f6009555b6001600160a01b0383165f9081526002602052604090205461125b9082610dd4565b6001600160a01b0384165f90815260026020526040812091909155611280848461158f565b61128a5781611295565b6112958484846115d3565b6001600160a01b0384165f908152600260205260409020549091506112ba90826114cc565b6001600160a01b038085165f8181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061130d9085815260200190565b60405180910390a350505050565b5f818484111561133e5760405162461bcd60e51b815260040161061b9190611975565b505050900390565b600a805460ff19166001908117909155601054600f54600e545f9361137f936002936108789391926113799283916114cc565b906114cc565b90505f61139b8261087e600e54866114b690919063ffffffff16565b90505f6113a88483610dd4565b9050476113b4826116d5565b5f6113bf4783610dd4565b90505f6113e16113da600e5488610dd490919063ffffffff16565b83906114c1565b90505f6113f9600e54836114b690919063ffffffff16565b9050801561140b5761140b8682611825565b600f545f9061141f906108788560026114b6565b90508015611460576017546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561145e573d5f803e3d5ffd5b505b4780156114a0576016546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561149e573d5f803e3d5ffd5b505b5050600a805460ff191690555050505050505050565b5f6106ef8284611c94565b5f6106ef8284611cab565b5f6106ef8284611c81565b600d54600c54305f90815260026020526040812054600a5491938510159211159060ff161580156115115750600854600160a81b900460ff165b80156115265750600854600160a01b900460ff165b801561152f5750815b801561155357506001600160a01b0386165f9081526004602052604090205460ff16155b801561156c57506008546001600160a01b038681169116145b801561157c5750600b5460095410155b80156115855750805b9695505050505050565b6001600160a01b0382165f9081526004602052604081205460ff161580156106ef5750506001600160a01b03165f9081526004602052604090205460ff1615919050565b5f806115df85856118d6565b11156116ce575f6116016115f386866118d6565b6015546108789086906114c1565b305f9081526002602052604090205490915061161d90826114cc565b305f81815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061166d9085815260200190565b60405180910390a35f601154118015611690575060115461168e86866118d6565b115b156116bc576116bc3061dead6116b7601154610878601554896114c190919063ffffffff16565b610ddf565b6116c68382610dd4565b9150506106ef565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f8151811061170857611708611c14565b6001600160a01b03928316602091820292909201810191909152600754604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561175f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906117839190611cca565b8160018151811061179657611796611c14565b6001600160a01b0392831660209182029290920101526007546117bc9130911684610cb1565b60075460405163791ac94760e01b81526001600160a01b039091169063791ac947906117f49085905f90869030904290600401611ce5565b5f604051808303815f87803b15801561180b575f80fd5b505af115801561181d573d5f803e3d5ffd5b505050505050565b60075461183d9030906001600160a01b031684610cb1565b60075460185460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af11580156118aa573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906118cf9190611d56565b5050505050565b6001600160a01b0382165f9081526005602052604081205460ff168061191357506001600160a01b0382165f9081526005602052604090205460ff165b1561192d57601554611926906064610dd4565b905061057c565b6008546001600160a01b039081169083160361194c575060135461057c565b6008546001600160a01b039081169084160361196b575060125461057c565b5060145492915050565b5f602080835283518060208501525f5b818110156119a157858101830151858201604001528201611985565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146107d7575f80fd5b5f80604083850312156119e6575f80fd5b82356119f1816119c1565b946020939093013593505050565b80151581146107d7575f80fd5b5f805f60408486031215611a1e575f80fd5b833567ffffffffffffffff80821115611a35575f80fd5b818601915086601f830112611a48575f80fd5b813581811115611a56575f80fd5b8760208260051b8501011115611a6a575f80fd5b60209283019550935050840135611a80816119ff565b809150509250925092565b5f805f60608486031215611a9d575f80fd5b8335611aa8816119c1565b92506020840135611ab8816119c1565b929592945050506040919091013590565b5f60208284031215611ad9575f80fd5b81356106ef816119c1565b5f8060408385031215611af5575f80fd5b8235611b00816119c1565b91506020830135611b10816119ff565b809150509250929050565b5f805f60608486031215611b2d575f80fd5b8335611b38816119c1565b92506020840135611b48816119c1565b91506040840135611a80816119c1565b5f805f60608486031215611b6a575f80fd5b505081359360208301359350604090920135919050565b5f805f805f805f60e0888a031215611b97575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b5f8060408385031215611bd9575f80fd5b8235611be4816119c1565b91506020830135611b10816119c1565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611c38575f80fd5b5051919050565b5f60208284031215611c4f575f80fd5b81516106ef816119ff565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561057c5761057c611c5a565b8082018082111561057c5761057c611c5a565b808202811582820484141761057c5761057c611c5a565b5f82611cc557634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215611cda575f80fd5b81516106ef816119c1565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611d355784516001600160a01b031683529383019391830191600101611d10565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f60608486031215611d68575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122046bdc5bfdf7f1f12febf2ce07886cf5f5164aef31893eafd760ba541716c3e6564736f6c63430008170033

4867:11555:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7372:67;;;;;;;;;;-1:-1:-1;7432:5:0;;;;;;;;;;;;-1:-1:-1;;;7432:5:0;;;;7372:67;;;;;;;:::i;:::-;;;;;;;;8180:133;;;;;;;;;;-1:-1:-1;8180:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;8180:133:0;1023:187:1;8319:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;8319:132:0;1215:177:1;10639:184:0;;;;;;;;;;-1:-1:-1;10639:184:0;;;;;:::i;:::-;;:::i;:::-;;15767:309;;;;;;;;;;-1:-1:-1;15767:309:0;;;;;:::i;:::-;;:::i;11284:83::-;;;;;;;;;;;;;:::i;3771:87::-;;;;;;;;;;-1:-1:-1;3771:87:0;;;;;:::i;:::-;3826:4;3851:5;-1:-1:-1;;;;;3840:16:0;;;3851:5;;3840:16;;3771:87;7522:67;;;;;;;;;;-1:-1:-1;7522:67:0;;5079:1;3130:36:1;;3118:2;3103:18;7522:67:0;2988:184:1;5277:44:0;;;;;;;;;;-1:-1:-1;5277:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;8066:108;;;;;;;;;;-1:-1:-1;8066:108:0;;;;;:::i;:::-;;:::i;10831:195::-;;;;;;;;;;;;;:::i;7679:103::-;;;;;;;;;;-1:-1:-1;7679:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;7762:18:0;7745:7;7762:18;;;:9;:18;;;;;;;7679:103;6655:63;;;;;;;;;;;;;;;;6586:62;;;;;;;;;;;;;;;;6519:60;;;;;;;;;;;;;;;;7595:78;;;;;;;;;;-1:-1:-1;7647:7:0;7665:5;-1:-1:-1;;;;;7665:5:0;7595:78;;;-1:-1:-1;;;;;3728:32:1;;;3710:51;;3698:2;3683:18;7595:78:0;3564:203:1;11034:242:0;;;;;;;;;;-1:-1:-1;11034:242:0;;;;;:::i;:::-;;:::i;10293:338::-;;;;;;;;;;-1:-1:-1;10293:338:0;;;;;:::i;:::-;;:::i;7445:71::-;;;;;;;;;;-1:-1:-1;7507:7:0;;;;;;;;;;;;-1:-1:-1;;;7507:7:0;;;;7445:71;;5374:54;;;;;;;;;;-1:-1:-1;5374:54:0;;;;;:::i;:::-;;;;;;;;;;;;;;9729:556;;;;;;;;;;-1:-1:-1;9729:556:0;;;;;:::i;:::-;;:::i;8870:319::-;;;;;;;;;;-1:-1:-1;8870:319:0;;;;;:::i;:::-;;:::i;5456:19::-;;;;;;;;;;-1:-1:-1;5456:19:0;;;;-1:-1:-1;;;;;5456:19:0;;;7788:139;;;;;;;;;;-1:-1:-1;7788:139:0;;;;;:::i;:::-;;:::i;9197:524::-;;;;;;;;;;-1:-1:-1;9197:524:0;;;;;:::i;:::-;;:::i;7933:127::-;;;;;;;;;;-1:-1:-1;7933:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;8031:18:0;;;8014:7;8031:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7933:127;3864:111;;;;;;;;;;-1:-1:-1;3864:111:0;;;;;:::i;:::-;;:::i;8180:133::-;8255:4;8262:37;8271:10;8283:7;8292:6;8262:8;:37::i;:::-;-1:-1:-1;8307:4:0;8180:133;;;;;:::o;8319:132::-;7762:9;:18;;;;6206:42;8372:7;7762:18;;;;;8389:12;;8372:7;;8389:60;;7762:18;;8389:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;8382:67;;8319:132;:::o;10639:184::-;3826:4;3851:5;-1:-1:-1;;;;;3851:5:0;3738:10;3840:16;3722:38;;;;-1:-1:-1;;;3722:38:0;;;;;;;:::i;:::-;;;;;;;;;10736:6:::1;10732:84;10746:20:::0;;::::1;10732:84;;;10805:8;10783:5;:19;10789:9;;10799:1;10789:12;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10783:19:0::1;::::0;;::::1;::::0;::::1;::::0;;;;;;-1:-1:-1;10783:19:0;:30;;-1:-1:-1;;10783:30:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;10768:3:0::1;10732:84;;;;10639:184:::0;;;:::o;15767:309::-;15865:4;15882:36;15892:6;15900:9;15911:6;15882:9;:36::i;:::-;15929:117;15938:6;15946:10;15958:87;15994:6;15958:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15958:19:0;;;;;;:11;:19;;;;;;;;15978:10;15958:31;;;;;;;;;:87;:35;:87::i;:::-;15929:8;:117::i;:::-;-1:-1:-1;16064:4:0;15767:309;;;;;;:::o;11284:83::-;3826:4;3851:5;-1:-1:-1;;;;;3851:5:0;3738:10;3840:16;3722:38;;;;-1:-1:-1;;;3722:38:0;;;;;;;:::i;:::-;11338:14:::1;:21:::0;;-1:-1:-1;;;;11338:21:0::1;-1:-1:-1::0;;;11338:21:0::1;::::0;;11284:83::o;8066:108::-;3826:4;3851:5;-1:-1:-1;;;;;3851:5:0;3738:10;3840:16;3722:38;;;;-1:-1:-1;;;3722:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8140:21:0;;;::::1;;::::0;;;:11:::1;:21;::::0;;;;:32;;-1:-1:-1;;8140:32:0::1;::::0;::::1;;::::0;;;::::1;::::0;;8066:108::o;10831:195::-;3826:4;3851:5;-1:-1:-1;;;;;3851:5:0;3738:10;3840:16;3722:38;;;;-1:-1:-1;;;3722:38:0;;;;;;;:::i;:::-;10918:4:::1;10883:14;7762:18:::0;;;:9;:18;;;;;;10947:13:::1;::::0;10938:22;::::1;10935:51;;;-1:-1:-1::0;10971:13:0::1;::::0;10935:51:::1;10996:22;11011:6;10996:14;:22::i;:::-;10872:154;10831:195::o:0;11034:242::-;3826:4;3851:5;-1:-1:-1;;;;;3851:5:0;3738:10;3840:16;3722:38;;;;-1:-1:-1;;;3722:38:0;;;;;;;:::i;:::-;11138:41:::1;::::0;-1:-1:-1;;;11138:41:0;;11173:4:::1;11138:41;::::0;::::1;3710:51:1::0;11120:15:0::1;::::0;11138:63:::1;::::0;11197:3:::1;::::0;11138:54:::1;::::0;11184:7;;-1:-1:-1;;;;;11138:26:0;::::1;::::0;::::1;::::0;3683:18:1;;11138:41:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:45:::0;::::1;:54::i;:::-;:58:::0;::::1;:63::i;:::-;11238:20;::::0;11212:56:::1;::::0;-1:-1:-1;;;11212:56:0;;-1:-1:-1;;;;;11238:20:0;;::::1;11212:56;::::0;::::1;6706:51:1::0;6773:18;;;6766:34;;;11120:81:0;;-1:-1:-1;11212:25:0;::::1;::::0;::::1;::::0;6679:18:1;;11212:56:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;10293:338::-:0;3826:4;3851:5;-1:-1:-1;;;;;3851:5:0;3738:10;3840:16;3722:38;;;;-1:-1:-1;;;3722:38:0;;;;;;;:::i;:::-;10415:18:::1;:31:::0;;-1:-1:-1;;;;;10415:31:0;;::::1;-1:-1:-1::0;;;;;;10415:31:0;;::::1;::::0;::::1;::::0;;;10448:18:::1;:31:::0;;;;::::1;::::0;;::::1;::::0;::::1;::::0;;10481:20:::1;:35:::0;;;;;::::1;::::0;::::1;::::0;::::1;::::0;;;10415:18:::1;10527:23:::0;;;:11:::1;:23;::::0;;;;;:30;;-1:-1:-1;;10527:30:0;;::::1;10415:31:::0;10527:30;;::::1;::::0;;;10559:23;;;;;;:30;;;::::1;::::0;::::1;::::0;;10591:25;;;;;;:32;;;;::::1;::::0;;::::1;::::0;;10293:338::o;9729:556::-;3826:4;3851:5;-1:-1:-1;;;;;3851:5:0;3738:10;3840:16;3722:38;;;;-1:-1:-1;;;3722:38:0;;;;;;;:::i;:::-;9835:13:::1;9851:33;9878:5;9851:22;9868:4;9851:12;;:16;;:22;;;;:::i;:33::-;9835:49;;9886:19;9908:34;9936:5;9908:23;9925:5;9908:12;;:16;;:23;;;;:::i;:34::-;9886:56;;9944:17;9964:36;9994:5;9964:25;9981:7;9964:12;;:16;;:25;;;;:::i;:36::-;10011:12;:20:::0;;;10033:14:::1;:28:::0;;;10063:15:::1;:27:::0;;;9944:56;-1:-1:-1;;10117:30:0::1;10142:4;10117:20;10135:1;10117:13;:11;:13::i;:30::-;10101:46;;10175:5;10166;:14;;:38;;;;;10199:5;10184:11;:20;;10166:38;:60;;;;;10221:5;10208:9;:18;;10166:60;10158:119;;;::::0;-1:-1:-1;;;10158:119:0;;7263:2:1;10158:119:0::1;::::0;::::1;7245:21:1::0;7302:2;7282:18;;;7275:30;7341:34;7321:18;;;7314:62;-1:-1:-1;;;7392:18:1;;;7385:44;7446:19;;10158:119:0::1;7061:410:1::0;10158:119:0::1;9824:461;;;;9729:556:::0;;;:::o;8870:319::-;3826:4;3851:5;-1:-1:-1;;;;;3851:5:0;3738:10;3840:16;3722:38;;;;-1:-1:-1;;;3722:38:0;;;;;;;:::i;:::-;9003:10:::1;:24:::0;;;9045:12:::1;::::0;:53:::1;::::0;9090:6:::1;::::0;9045:32:::1;::::0;9062:14;9045:16:::1;:32::i;:53::-;9029:13;:69:::0;9127:12:::1;::::0;:54:::1;::::0;9173:6:::1;::::0;9127:33:::1;::::0;9144:15;9127:16:::1;:33::i;:54::-;9110:14;:71:::0;-1:-1:-1;;;8870:319:0:o;7788:139::-;7866:4;7873:40;7883:10;7895:9;7906:6;7873:9;:40::i;9197:524::-;3826:4;3851:5;-1:-1:-1;;;;;3851:5:0;3738:10;3840:16;3722:38;;;;-1:-1:-1;;;3722:38:0;;;;;;;:::i;:::-;9387:12:::1;:25:::0;;;9414:12:::1;:25:::0;;;9441:7:::1;:15:::0;;;9458:14:::1;:29:::0;;;9489:8:::1;:17:::0;;;9508:7:::1;:15:::0;;;9525:11:::1;:20:::0;;;9576:11:::1;::::0;:18:::1;::::0;-1:-1:-1;9576:15:0::1;:18::i;:::-;9564:8;;:30;;:63;;;;-1:-1:-1::0;9609:11:0::1;::::0;:18:::1;::::0;9625:1:::1;9609:15;:18::i;:::-;9598:7;;:29;;9564:63;:100;;;;-1:-1:-1::0;9646:11:0::1;::::0;:18:::1;::::0;9662:1:::1;9646:15;:18::i;:::-;9631:11;;:33;;9564:100;9556:157;;;::::0;-1:-1:-1;;;9556:157:0;;7678:2:1;9556:157:0::1;::::0;::::1;7660:21:1::0;7717:2;7697:18;;;7690:30;7756:34;7736:18;;;7729:62;-1:-1:-1;;;7807:18:1;;;7800:42;7859:19;;9556:157:0::1;7476:408:1::0;3864:111:0;3826:4;3851:5;-1:-1:-1;;;;;3851:5:0;3738:10;3840:16;3722:38;;;;-1:-1:-1;;;3722:38:0;;;;;;;:::i;:::-;3930:5:::1;:11:::0;;-1:-1:-1;;;;;;3930:11:0::1;-1:-1:-1::0;;;;;3930:11:0;::::1;::::0;;::::1;::::0;;;3948:25:::1;::::0;3710:51:1;;;3948:25:0::1;::::0;3698:2:1;3683:18;3948:25:0::1;;;;;;;3864:111:::0;:::o;16084:335::-;-1:-1:-1;;;;;16177:19:0;;16169:68;;;;-1:-1:-1;;;16169:68:0;;8307:2:1;16169:68:0;;;8289:21:1;8346:2;8326:18;;;8319:30;8385:34;8365:18;;;8358:62;-1:-1:-1;;;8436:18:1;;;8429:34;8480:19;;16169:68:0;8105:400:1;16169:68:0;-1:-1:-1;;;;;16256:21:0;;16248:68;;;;-1:-1:-1;;;16248:68:0;;8712:2:1;16248:68:0;;;8694:21:1;8751:2;8731:18;;;8724:30;8790:34;8770:18;;;8763:62;-1:-1:-1;;;8841:18:1;;;8834:32;8883:19;;16248:68:0;8510:398:1;16248:68:0;-1:-1:-1;;;;;16327:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;16379:32;;1361:25:1;;;16379:32:0;;1334:18:1;16379:32:0;;;;;;;16084:335;;;:::o;1510:98::-;1568:7;1595:5;1599:1;1595;:5;:::i;14318:1441::-;-1:-1:-1;;;;;14415:20:0;;14407:70;;;;-1:-1:-1;;;14407:70:0;;9380:2:1;14407:70:0;;;9362:21:1;9419:2;9399:18;;;9392:30;9458:34;9438:18;;;9431:62;-1:-1:-1;;;9509:18:1;;;9502:35;9554:19;;14407:70:0;9178:401:1;14407:70:0;-1:-1:-1;;;;;14496:23:0;;14488:71;;;;-1:-1:-1;;;14488:71:0;;9786:2:1;14488:71:0;;;9768:21:1;9825:2;9805:18;;;9798:30;9864:34;9844:18;;;9837:62;-1:-1:-1;;;9915:18:1;;;9908:33;9958:19;;14488:71:0;9584:399:1;14488:71:0;-1:-1:-1;;;;;7762:18:0;;7745:7;7762:18;;;:9;:18;;;;;;14578:6;:27;;14570:88;;;;-1:-1:-1;;;14570:88:0;;10190:2:1;14570:88:0;;;10172:21:1;10229:2;10209:18;;;10202:30;10268:34;10248:18;;;10241:62;-1:-1:-1;;;10319:18:1;;;10312:47;10376:19;;14570:88:0;9988:413:1;14570:88:0;-1:-1:-1;;;;;14673:19:0;;;;;;:11;:19;;;;;;;;14672:20;:47;;;;-1:-1:-1;;;;;;14697:22:0;;;;;;:11;:22;;;;;;;;14696:23;14672:47;14669:95;;;14729:14;;-1:-1:-1;;;14729:14:0;;;;14721:41;;;;-1:-1:-1;;;14721:41:0;;10608:2:1;14721:41:0;;;10590:21:1;10647:2;10627:18;;;10620:30;-1:-1:-1;;;10666:18:1;;;10659:44;10720:18;;14721:41:0;10406:338:1;14721:41:0;-1:-1:-1;;;;;14778:19:0;;;;;;:11;:19;;;;;;;;14777:20;:47;;;;-1:-1:-1;;;;;;14802:22:0;;;;;;:11;:22;;;;;;;;14801:23;14777:47;:77;;;;-1:-1:-1;14849:4:0;;-1:-1:-1;;;;;14828:26:0;;;14849:4;;14828:26;;14777:77;:107;;;;-1:-1:-1;;;;;;14858:26:0;;6206:42;14858:26;;14777:107;14774:224;;;14946:15;;-1:-1:-1;;;;;14909:20:0;;;;;;:9;:20;;;;;;:32;;14934:6;14909:24;:32::i;:::-;14908:53;;14900:96;;;;-1:-1:-1;;;14900:96:0;;10951:2:1;14900:96:0;;;10933:21:1;10990:2;10970:18;;;10963:30;11029:32;11009:18;;;11002:60;11079:18;;14900:96:0;10749:354:1;14900:96:0;15021:4;;-1:-1:-1;;;;;15011:14:0;;;15021:4;;15011:14;15008:124;;15045:14;;15035:6;:24;;:47;;;-1:-1:-1;;;;;;15063:19:0;;;;;;:11;:19;;;;;;;;15035:47;:73;;;-1:-1:-1;;;;;;15086:22:0;;;;;;:11;:22;;;;;;;;15035:73;15027:103;;;;-1:-1:-1;;;15027:103:0;;11310:2:1;15027:103:0;;;11292:21:1;11349:2;11329:18;;;11322:30;-1:-1:-1;;;11368:18:1;;;11361:47;11425:18;;15027:103:0;11108:341:1;15027:103:0;15164:12;;15154:6;:22;;:45;;;-1:-1:-1;;;;;;15180:19:0;;;;;;:11;:19;;;;;;;;15154:45;:71;;;-1:-1:-1;;;;;;15203:22:0;;;;;;:11;:22;;;;;;;;15154:71;15146:101;;;;-1:-1:-1;;;15146:101:0;;11310:2:1;15146:101:0;;;11292:21:1;11349:2;11329:18;;;11322:30;-1:-1:-1;;;11368:18:1;;;11361:47;11425:18;;15146:101:0;11108:341:1;15146:101:0;15275:4;;-1:-1:-1;;;;;15262:17:0;;;15275:4;;15262:17;:41;;;;-1:-1:-1;;;;;;15284:19:0;;;;;;:11;:19;;;;;;;;15283:20;15262:41;15259:71;;;15326:1;15305:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;15259:71:0;15343:45;15362:6;15370:9;15381:6;15343:18;:45::i;:::-;15340:105;;;15390:29;15405:13;;15390:14;:29::i;:::-;15441:1;15421:9;:22;15340:105;-1:-1:-1;;;;;15475:17:0;;;;;;:9;:17;;;;;;:29;;15497:6;15475:21;:29::i;:::-;-1:-1:-1;;;;;15455:17:0;;;;;;:9;:17;;;;;:49;;;;15540:32;15465:6;15562:9;15540:13;:32::i;:::-;:78;;15612:6;15540:78;;;15575:34;15583:6;15591:9;15602:6;15575:7;:34::i;:::-;-1:-1:-1;;;;;15652:20:0;;;;;;:9;:20;;;;;;15515:103;;-1:-1:-1;15652:40:0;;15515:103;15652:24;:40::i;:::-;-1:-1:-1;;;;;15629:20:0;;;;;;;:9;:20;;;;;;;:63;;;;15708:43;;;;;;;;;;15736:14;1361:25:1;;1349:2;1334:18;;1215:177;15708:43:0;;;;;;;;14396:1363;14318:1441;;;:::o;1934:240::-;2054:7;2115:12;2107:6;;;;2099:29;;;;-1:-1:-1;;;2099:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2150:5:0;;;1934:240::o;11375:1063::-;5814:8;:15;;-1:-1:-1;;5814:15:0;5825:4;5814:15;;;;;;11512:14:::1;::::0;11494:12:::1;::::0;11470::::1;::::0;5814:8;;11469:66:::1;::::0;11533:1:::1;::::0;11470:57:::1;::::0;11512:14;;11470:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;11469:66::-;11446:89;;11546:32;11581:42;11610:12;11581:24;11592:12;;11581:6;:10;;:24;;;;:::i;:42::-;11546:77:::0;-1:-1:-1;11634:14:0::1;11651:36;:6:::0;11546:77;11651:10:::1;:36::i;:::-;11634:53:::0;-1:-1:-1;11723:21:0::1;11755:24;11634:53:::0;11755:16:::1;:24::i;:::-;11790:20;11813:41;:21;11839:14:::0;11813:25:::1;:41::i;:::-;11790:64;;11865:19;11886:48;11903:30;11920:12;;11903;:16;;:30;;;;:::i;:::-;11886:12:::0;;:16:::1;:48::i;:::-;11865:69;;11945:29;11977;11993:12;;11977:11;:15;;:29;;;;:::i;:::-;11945:61:::0;-1:-1:-1;12020:34:0;;12017:103:::1;;12056:61;12069:24;12095:21;12056:12;:61::i;:::-;12176:12;::::0;12130:20:::1;::::0;12153:36:::1;::::0;:18:::1;:11:::0;12169:1:::1;12153:15;:18::i;:36::-;12130:59:::0;-1:-1:-1;12203:16:0;;12200:73:::1;;12229:18;::::0;12221:50:::1;::::0;-1:-1:-1;;;;;12229:18:0;;::::1;::::0;12221:50;::::1;;;::::0;12258:12;;12229:18:::1;12221:50:::0;12229:18;12221:50;12258:12;12229:18;12221:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12200:73;12309:21;12344:28:::0;;12341:90:::1;;12382:20;::::0;12374:55:::1;::::0;-1:-1:-1;;;;;12382:20:0;;::::1;::::0;12374:55;::::1;;;::::0;12413:15;;12382:20:::1;12374:55:::0;12382:20;12374:55;12413:15;12382:20;12374:55;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12341:90;-1:-1:-1::0;;5834:8:0;:16;;-1:-1:-1;;5834:16:0;;;-1:-1:-1;;;;;;;;11375:1063:0:o;1616:98::-;1674:7;1701:5;1705:1;1701;:5;:::i;1722:98::-;1780:7;1807:5;1811:1;1807;:5;:::i;1404:98::-;1462:7;1489:5;1493:1;1489;:5;:::i;8459:403::-;8604:14;;8679:13;;8669:4;8561;7762:18;;;:9;:18;;;;;;8711:8;;8561:4;;8594:24;;;;-1:-1:-1;8651:41:0;;8711:8;;8710:9;:24;;;;-1:-1:-1;8723:11:0;;-1:-1:-1;;;8723:11:0;;;;8710:24;:42;;;;-1:-1:-1;8738:14:0;;-1:-1:-1;;;8738:14:0;;;;8710:42;:54;;;;;8756:8;8710:54;:78;;;;-1:-1:-1;;;;;;8769:19:0;;;;;;:11;:19;;;;;;;;8768:20;8710:78;:99;;;;-1:-1:-1;8805:4:0;;-1:-1:-1;;;;;8792:17:0;;;8805:4;;8792:17;8710:99;:126;;;;;8826:10;;8813:9;;:23;;8710:126;:144;;;;;8840:14;8710:144;8703:151;8459:403;-1:-1:-1;;;;;;8459:403:0:o;13239:160::-;-1:-1:-1;;;;;13345:19:0;;13320:4;13345:19;;;:11;:19;;;;;;;;13344:20;:47;;;;-1:-1:-1;;;;;;;13369:22:0;;;;;:11;:22;;;;;;;;13368:23;;13239:160;-1:-1:-1;13239:160:0:o;13720:590::-;13806:7;13862:1;13829:30;13841:6;13849:9;13829:11;:30::i;:::-;:34;13826:462;;;13875:17;13895:59;13923:30;13935:6;13943:9;13923:11;:30::i;:::-;13906:11;;13895:23;;:6;;:10;:23::i;:59::-;14010:4;13992:24;;;;:9;:24;;;;;;13875:79;;-1:-1:-1;13992:39:0;;13875:79;13992:28;:39::i;:::-;13983:4;13965:24;;;;:9;:24;;;;;;;:66;;;;14047:42;;-1:-1:-1;;;;;14047:42:0;;;;;;;14079:9;1361:25:1;;1349:2;1334:18;;1215:177;14047:42:0;;;;;;;;14121:1;14103:7;;:20;:64;;;;;14160:7;;14127:30;14139:6;14147:9;14127:11;:30::i;:::-;:40;14103:64;14100:148;;;14169:77;14187:4;6206:42;14209:36;14237:7;;14209:23;14220:11;;14209:6;:10;;:23;;;;:::i;:36::-;14169:9;:77::i;:::-;14265:21;:6;14276:9;14265:10;:21::i;:::-;14258:28;;;;;13826:462;-1:-1:-1;14296:6:0;13720:590;-1:-1:-1;;13720:590:0:o;12797:434::-;12887:16;;;12901:1;12887:16;;;;;;;;12863:21;;12887:16;;;;;;;;;;-1:-1:-1;12887:16:0;12863:40;;12932:4;12914;12919:1;12914:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12914:23:0;;;:7;;;;;;;;;;:23;;;;12958:6;;:13;;;-1:-1:-1;;;12958:13:0;;;;:6;;;;;:11;;:13;;;;;12914:7;;12958:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12948:4;12953:1;12948:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12948:23:0;;;:7;;;;;;;;;:23;13014:6;;12982:53;;12999:4;;13014:6;13023:11;12982:8;:53::i;:::-;13046:6;;:177;;-1:-1:-1;;;13046:177:0;;-1:-1:-1;;;;;13046:6:0;;;;:57;;:177;;13118:11;;13046:6;;13160:4;;13187;;13207:15;;13046:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12852:379;12797:434;:::o;12446:343::-;12559:6;;12527:53;;12544:4;;-1:-1:-1;;;;;12559:6:0;12568:11;12527:8;:53::i;:::-;12591:6;;12732:18;;12591:190;;-1:-1:-1;;;12591:190:0;;12654:4;12591:190;;;13693:34:1;13743:18;;;13736:34;;;12591:6:0;13786:18:1;;;13779:34;;;13829:18;;;13822:34;-1:-1:-1;;;;;12732:18:0;;;13872:19:1;;;13865:44;12765:15:0;13925:19:1;;;13918:35;12591:6:0;;;:22;;12621:9;;13627:19:1;;12591:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;12446:343;;:::o;13407:305::-;-1:-1:-1;;;;;13509:13:0;;13486:7;13509:13;;;:5;:13;;;;;;;;;:33;;-1:-1:-1;;;;;;13526:16:0;;;;;;:5;:16;;;;;;;;13509:33;13506:76;;;13551:11;;:29;;13575:3;13551:15;:29::i;:::-;13544:36;;;;13506:76;13608:4;;-1:-1:-1;;;;;13608:4:0;;;13595:17;;;;13592:38;;-1:-1:-1;13621:7:0;;13614:14;;13592:38;13653:4;;-1:-1:-1;;;;;13653:4:0;;;13643:14;;;;13640:36;;-1:-1:-1;13666:8:0;;13659:15;;13640:36;-1:-1:-1;13693:11:0;;13407: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;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:184;6413:6;6466:2;6454:9;6445:7;6441:23;6437:32;6434:52;;;6482:1;6479;6472:12;6434:52;-1:-1:-1;6505:16:1;;6343:184;-1:-1:-1;6343:184:1:o;6811:245::-;6878:6;6931:2;6919:9;6910:7;6906:23;6902:32;6899:52;;;6947:1;6944;6937:12;6899:52;6979:9;6973:16;6998:28;7020:5;6998:28;:::i;8913:127::-;8974:10;8969:3;8965:20;8962:1;8955:31;9005:4;9002:1;8995:15;9029:4;9026:1;9019:15;9045:128;9112:9;;;9133:11;;;9130:37;;;9147:18;;:::i;11454:125::-;11519:9;;;11540:10;;;11537:36;;;11553:18;;:::i;11584:168::-;11657:9;;;11688;;11705:15;;;11699:22;;11685:37;11675:71;;11726:18;;:::i;11757:217::-;11797:1;11823;11813:132;;11867:10;11862:3;11858:20;11855:1;11848:31;11902:4;11899:1;11892:15;11930:4;11927:1;11920:15;11813:132;-1:-1:-1;11959:9:1;;11757:217::o;12111:251::-;12181:6;12234:2;12222:9;12213:7;12209:23;12205:32;12202:52;;;12250:1;12247;12240:12;12202:52;12282:9;12276:16;12301:31;12326:5;12301:31;:::i;12367:980::-;12629:4;12677:3;12666:9;12662:19;12708:6;12697:9;12690:25;12734:2;12772:6;12767:2;12756:9;12752:18;12745:34;12815:3;12810:2;12799:9;12795:18;12788:31;12839:6;12874;12868:13;12905:6;12897;12890:22;12943:3;12932:9;12928:19;12921:26;;12982:2;12974:6;12970:15;12956:29;;13003:1;13013:195;13027:6;13024:1;13021:13;13013:195;;;13092:13;;-1:-1:-1;;;;;13088:39:1;13076:52;;13183:15;;;;13148:12;;;;13124:1;13042:9;13013:195;;;-1:-1:-1;;;;;;;13264:32:1;;;;13259:2;13244:18;;13237:60;-1:-1:-1;;;13328:3:1;13313:19;13306:35;13225:3;12367:980;-1:-1:-1;;;12367:980:1:o;13964:306::-;14052:6;14060;14068;14121:2;14109:9;14100:7;14096:23;14092:32;14089:52;;;14137:1;14134;14127:12;14089:52;14166:9;14160:16;14150:26;;14216:2;14205:9;14201:18;14195:25;14185:35;;14260:2;14249:9;14245:18;14239:25;14229:35;;13964:306;;;;;:::o

ipfs://46bdc5bfdf7f1f12febf2ce07886cf5f5164aef31893eafd760ba541716c3e65