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 ASTROBOTIC is IERC20, Own ... *
•    - 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(bool delay, uin ...
•    - function setBlockLimitation(bool enab ...
•    - 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-12-12
*/

/**
$ASTROBOTIC
The first company to send a physical dogecoin on the moon this December 24,2023

Telegram: https://t.me/astroboticerc
Twitter: https://x.com/dogecoin/status/1725057266569687547?s=20
Website: https://astroboticcoin.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 ASTROBOTIC is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = 'Astrobotic';
    string private constant _symbol = 'ASTROBOTIC';
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 100000000 * (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;
    bool private blockLimitation;
    bool private blocksEnabled;
    uint256 private amountBlocks;
    uint256 private launchBlock;
    uint256 private swapTimes;
    bool private swapping;
    uint256 swapAmount = 5;
    uint256 private swapThreshold = ( _totalSupply * 300 ) / 100000;
    uint256 private minTokenAmount = ( _totalSupply * 100 ) / 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 = 5000;
    uint256 private transferFee = 5000;
    uint256 private denominator = 10000;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal development_receiver = 0x4D19bf4d0aD5D30B65aaB22AE7f1ab704bFEFE27; 
    address internal marketing_receiver = 0x4D19bf4d0aD5D30B65aaB22AE7f1ab704bFEFE27;
    address internal liquidity_receiver = 0x4D19bf4d0aD5D30B65aaB22AE7f1ab704bFEFE27;
    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(bool delay, uint256 blocks) external onlyOwner {
        tradingAllowed = true;
        blocksEnabled = delay;
        launchBlock = block.number;
        amountBlocks = blocks;
    }

    function setBlockLimitation(bool enable) external onlyOwner {
        blocksEnabled = enable;
        blockLimitation = enable;
    }

    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(launchBlock.add(amountBlocks) < block.number && tradingAllowed){blocksEnabled = false;}
        if(sender == pair && !isFeeExempt[recipient]){lastBlockPurchased[recipient] = block.number;}
        if(sender != pair && !isFeeExempt[sender] && tradingAllowed && (blocksEnabled || blockLimitation)){
            require(lastBlockPurchased[sender] < block.number);}
        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":"bool","name":"enable","type":"bool"}],"name":"setBlockLimitation","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":[{"internalType":"bool","name":"delay","type":"bool"},{"internalType":"uint256","name":"blocks","type":"uint256"}],"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"}]

6080604052620000126009600a620004c2565b62000022906305f5e100620004d9565b60018190556008805461ffff60a01b1916600160a81b1790556005600d55620186a090620000539061012c620004d9565b6200005f9190620004f3565b600e55620186a06001546064620000779190620004d9565b620000839190620004f3565b600f555f601081905561012c6011819055601255601355610bb86014556113886015819055601655612710601781905560188054734d19bf4d0ad5d30b65aab22ae7f1ab704bfefe276001600160a01b0319918216811790925560198054821683179055601a80549091169091179055600154620001039060c8620004d9565b6200010f9190620004f3565b601b5561271060015460c8620001269190620004d9565b620001329190620004f3565b601c5561271060015460c8620001499190620004d9565b620001559190620004f3565b601d5534801562000164575f80fd5b505f80546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa158015620001c9573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620001ef919062000513565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156200023b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019062000261919062000513565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015620002ac573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002d2919062000513565b600780546001600160a01b038581166001600160a01b031992831617909255600880548484169216919091179055305f908152600460209081526040808320805460ff199081166001908117909255601a5486168552828520805482168317905560195486168552828520805482168317905560185490951684528184208054861682179055338085528285208054909616821790955554600283528184208190559051908152939450919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a350506200053b565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200040757815f1904821115620003eb57620003eb620003b3565b80851615620003f957918102915b93841c9390800290620003cc565b509250929050565b5f826200041f57506001620004bc565b816200042d57505f620004bc565b8160018114620004465760028114620004515762000471565b6001915050620004bc565b60ff841115620004655762000465620003b3565b50506001821b620004bc565b5060208310610133831016604e8410600b841016171562000496575081810a620004bc565b620004a28383620003c7565b805f1904821115620004b857620004b8620003b3565b0290505b92915050565b5f620004d260ff8416836200040f565b9392505050565b8082028115828204841417620004bc57620004bc620003b3565b5f826200050e57634e487b7160e01b5f52601260045260245ffd5b500490565b5f6020828403121562000524575f80fd5b81516001600160a01b0381168114620004d2575f80fd5b61200280620005495f395ff3fe6080604052600436106101b2575f3560e01c80637d1db4a5116100e75780639d8740cb11610087578063b0f3ebd111610062578063b0f3ebd114610514578063cb7f97d714610533578063dd62ed3e14610552578063f2fde38b14610596575f80fd5b80639d8740cb146104b7578063a8aa1b31146104d6578063a9059cbb146104f5575f80fd5b80639213c358116100c25780639213c3581461041c57806395d89b411461043b5780639bbc2bb61461046d5780639cc3535114610498575f80fd5b80637d1db4a5146103b8578063893d20e8146103cd5780638cd4426d146103fd575f80fd5b80633f4218e01161015257806370a082311161012d57806370a082311461033b578063711cffc81461036f57806378109e541461038e5780637cca52fe146103a3575f80fd5b80633f4218e0146102da57806348ff2b8b1461030857806351bc3c8514610327575f80fd5b8063229b6a5e1161018d578063229b6a5e1461025257806323b872dd146102735780632f54bf6e14610292578063313ce567146102bf575f80fd5b806306fdde03146101bd578063095ea7b31461020157806318160ddd14610230575f80fd5b366101b957005b5f80fd5b3480156101c8575f80fd5b5060408051808201909152600a815269417374726f626f74696360b01b60208201525b6040516101f89190611b61565b60405180910390f35b34801561020c575f80fd5b5061022061021b366004611bc1565b6105b5565b60405190151581526020016101f8565b34801561023b575f80fd5b506102446105cb565b6040519081526020016101f8565b34801561025d575f80fd5b5061027161026c366004611bf8565b61063b565b005b34801561027e575f80fd5b5061022061028d366004611c77565b6106d7565b34801561029d575f80fd5b506102206102ac366004611cb5565b5f546001600160a01b0391821691161490565b3480156102ca575f80fd5b50604051600981526020016101f8565b3480156102e5575f80fd5b506102206102f4366004611cb5565b60046020525f908152604090205460ff1681565b348015610313575f80fd5b50610271610322366004611cd0565b61073f565b348015610332575f80fd5b50610271610792565b348015610346575f80fd5b50610244610355366004611cb5565b6001600160a01b03165f9081526002602052604090205490565b34801561037a575f80fd5b50610271610389366004611d07565b6107e5565b348015610399575f80fd5b50610244601d5481565b3480156103ae575f80fd5b50610244601c5481565b3480156103c3575f80fd5b50610244601b5481565b3480156103d8575f80fd5b505f546001600160a01b03165b6040516001600160a01b0390911681526020016101f8565b348015610408575f80fd5b50610271610417366004611bc1565b61083e565b348015610427575f80fd5b50610271610436366004611d22565b61095e565b348015610446575f80fd5b5060408051808201909152600a815269415354524f424f54494360b01b60208201526101eb565b348015610478575f80fd5b50610244610487366004611cb5565b60066020525f908152604090205481565b3480156104a3575f80fd5b506102716104b2366004611d5f565b610a02565b3480156104c2575f80fd5b506102716104d1366004611d5f565b610b32565b3480156104e1575f80fd5b506008546103e5906001600160a01b031681565b348015610500575f80fd5b5061022061050f366004611bc1565b610b97565b34801561051f575f80fd5b5061027161052e366004611d88565b610ba3565b34801561053e575f80fd5b5061027161054d366004611da4565b610bfb565b34801561055d575f80fd5b5061024461056c366004611deb565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b3480156105a1575f80fd5b506102716105b0366004611cb5565b610cf1565b5f6105c1338484610d6d565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead5f9081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926106369290916106309190610e90565b90610e90565b905090565b5f546001600160a01b0316331461066d5760405162461bcd60e51b815260040161066490611e17565b60405180910390fd5b5f5b828110156106d1578160055f86868581811061068d5761068d611e37565b90506020020160208101906106a29190611cb5565b6001600160a01b0316815260208101919091526040015f20805460ff191691151591909117905560010161066f565b50505050565b5f6106e3848484610e9b565b610734843361072f85604051806060016040528060288152602001611fa5602891396001600160a01b038a165f9081526003602090815260408083203384529091529020549190611507565b610d6d565b5060015b9392505050565b5f546001600160a01b031633146107685760405162461bcd60e51b815260040161066490611e17565b6001600160a01b03919091165f908152600460205260409020805460ff1916911515919091179055565b5f546001600160a01b031633146107bb5760405162461bcd60e51b815260040161066490611e17565b305f90815260026020526040902054600e548111156107d95750600e545b6107e281611532565b50565b5f546001600160a01b0316331461080e5760405162461bcd60e51b815260040161066490611e17565b6008805461ffff60b01b1916600160b81b92151592830260ff60b01b191617600160b01b92909202919091179055565b5f546001600160a01b031633146108675760405162461bcd60e51b815260040161066490611e17565b6040516370a0823160e01b81523060048201525f906108e8906064906108e29085906001600160a01b038816906370a0823190602401602060405180830381865afa1580156108b8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108dc9190611e4b565b906116a2565b906116ad565b60185460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810183905291925084169063a9059cbb906044016020604051808303815f875af115801561093a573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106d19190611e62565b5f546001600160a01b031633146109875760405162461bcd60e51b815260040161066490611e17565b601980546001600160a01b039485166001600160a01b03199182168117909255601a8054948616948216851790556018805493909516921682179093555f92835260046020526040808420805460ff199081166001908117909255938552818520805485168217905591845290922080549091169091179055565b5f546001600160a01b03163314610a2b5760405162461bcd60e51b815260040161066490611e17565b5f610a476127106108e2866001546116a290919063ffffffff16565b90505f610a656127106108e2866001546116a290919063ffffffff16565b90505f610a836127106108e2866001546116a290919063ffffffff16565b601b849055601c839055601d81905590505f610aa86103e86108e260056108dc6105cb565b9050808410158015610aba5750808310155b8015610ac65750808210155b610b295760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b6064820152608401610664565b50505050505050565b5f546001600160a01b03163314610b5b5760405162461bcd60e51b815260040161066490611e17565b600d839055600154610b7690620186a0906108e290856116a2565b600e55600154610b8f90620186a0906108e290846116a2565b600f55505050565b5f6105c1338484610e9b565b5f546001600160a01b03163314610bcc5760405162461bcd60e51b815260040161066490611e17565b60088054921515600160b81b0263ff0000ff60a01b1990931692909217600160a01b1790915543600a55600955565b5f546001600160a01b03163314610c245760405162461bcd60e51b815260040161066490611e17565b6010879055601186905560138590556012849055601483905560158290556016819055601754610c559060016116ad565b60145411158015610c755750601754610c6f9060016116ad565b60155411155b8015610c905750601754610c8a9060016116ad565b60165411155b610b295760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b6064820152608401610664565b5f546001600160a01b03163314610d1a5760405162461bcd60e51b815260040161066490611e17565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b038316610dcf5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610664565b6001600160a01b038216610e305760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610664565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6107388284611e91565b6001600160a01b038316610eff5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610664565b6001600160a01b038216610f615760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610664565b6001600160a01b0383165f90815260026020526040902054811115610fe25760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b6064820152608401610664565b6001600160a01b0383165f9081526004602052604090205460ff1615801561102257506001600160a01b0382165f9081526004602052604090205460ff16155b1561107157600854600160a01b900460ff166110715760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b6044820152606401610664565b6001600160a01b0383165f9081526004602052604090205460ff161580156110b157506001600160a01b0382165f9081526004602052604090205460ff16155b80156110cb57506008546001600160a01b03838116911614155b80156110e257506001600160a01b03821661dead14155b1561115a57601d546001600160a01b0383165f9081526002602052604090205461110c90836116b8565b111561115a5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610664565b6008546001600160a01b038481169116146111f957601c548111158061119757506001600160a01b0383165f9081526004602052604090205460ff165b806111b957506001600160a01b0382165f9081526004602052604090205460ff165b6111f95760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610664565b601b548111158061122157506001600160a01b0383165f9081526004602052604090205460ff165b8061124357506001600160a01b0382165f9081526004602052604090205460ff165b6112835760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610664565b4361129b600954600a546116b890919063ffffffff16565b1080156112b15750600854600160a01b900460ff165b156112c4576008805460ff60b81b191690555b6008546001600160a01b0384811691161480156112f957506001600160a01b0382165f9081526004602052604090205460ff16155b15611319576001600160a01b0382165f9081526006602052604090204390555b6008546001600160a01b0384811691161480159061134f57506001600160a01b0383165f9081526004602052604090205460ff16155b80156113645750600854600160a01b900460ff165b801561138c5750600854600160b81b900460ff168061138c5750600854600160b01b900460ff165b156113b3576001600160a01b0383165f9081526006602052604090205443116113b3575f80fd5b6008546001600160a01b0383811691161480156113e857506001600160a01b0383165f9081526004602052604090205460ff16155b15611405576001600b5f8282546113ff9190611ea4565b90915550505b6114108383836116c3565b1561142557611420600e54611532565b5f600b555b6001600160a01b0383165f908152600260205260409020546114479082610e90565b6001600160a01b0384165f9081526002602052604081209190915561146c848461177b565b6114765781611481565b6114818484846117bf565b6001600160a01b0384165f908152600260205260409020549091506114a690826116b8565b6001600160a01b038085165f8181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906114f99085815260200190565b60405180910390a350505050565b5f818484111561152a5760405162461bcd60e51b81526004016106649190611b61565b505050900390565b600c805460ff191660019081179091556012546011546010545f9361156b936002936108dc9391926115659283916116b8565b906116b8565b90505f611587826108e2601054866116a290919063ffffffff16565b90505f6115948483610e90565b9050476115a0826118c1565b5f6115ab4783610e90565b90505f6115cd6115c660105488610e9090919063ffffffff16565b83906116ad565b90505f6115e5601054836116a290919063ffffffff16565b905080156115f7576115f78682611a11565b6011545f9061160b906108dc8560026116a2565b9050801561164c576019546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561164a573d5f803e3d5ffd5b505b47801561168c576018546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561168a573d5f803e3d5ffd5b505b5050600c805460ff191690555050505050505050565b5f6107388284611eb7565b5f6107388284611ece565b5f6107388284611ea4565b600f54600e54305f90815260026020526040812054600c5491938510159211159060ff161580156116fd5750600854600160a81b900460ff165b80156117125750600854600160a01b900460ff165b801561171b5750815b801561173f57506001600160a01b0386165f9081526004602052604090205460ff16155b801561175857506008546001600160a01b038681169116145b80156117685750600d54600b5410155b80156117715750805b9695505050505050565b6001600160a01b0382165f9081526004602052604081205460ff161580156107385750506001600160a01b03165f9081526004602052604090205460ff1615919050565b5f806117cb8585611ac2565b11156118ba575f6117ed6117df8686611ac2565b6017546108dc9086906116ad565b305f9081526002602052604090205490915061180990826116b8565b305f81815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906118599085815260200190565b60405180910390a35f60135411801561187c575060135461187a8686611ac2565b115b156118a8576118a83061dead6118a36013546108dc601754896116ad90919063ffffffff16565b610e9b565b6118b28382610e90565b915050610738565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f815181106118f4576118f4611e37565b6001600160a01b03928316602091820292909201810191909152600754604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561194b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061196f9190611eed565b8160018151811061198257611982611e37565b6001600160a01b0392831660209182029290920101526007546119a89130911684610d6d565b60075460405163791ac94760e01b81526001600160a01b039091169063791ac947906119e09085905f90869030904290600401611f08565b5f604051808303815f87803b1580156119f7575f80fd5b505af1158015611a09573d5f803e3d5ffd5b505050505050565b600754611a299030906001600160a01b031684610d6d565b600754601a5460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af1158015611a96573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190611abb9190611f79565b5050505050565b6001600160a01b0382165f9081526005602052604081205460ff1680611aff57506001600160a01b0382165f9081526005602052604090205460ff165b15611b1957601754611b12906064610e90565b90506105c5565b6008546001600160a01b0390811690831603611b3857506015546105c5565b6008546001600160a01b0390811690841603611b5757506014546105c5565b5060165492915050565b5f602080835283518060208501525f5b81811015611b8d57858101830151858201604001528201611b71565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146107e2575f80fd5b5f8060408385031215611bd2575f80fd5b8235611bdd81611bad565b946020939093013593505050565b80151581146107e2575f80fd5b5f805f60408486031215611c0a575f80fd5b833567ffffffffffffffff80821115611c21575f80fd5b818601915086601f830112611c34575f80fd5b813581811115611c42575f80fd5b8760208260051b8501011115611c56575f80fd5b60209283019550935050840135611c6c81611beb565b809150509250925092565b5f805f60608486031215611c89575f80fd5b8335611c9481611bad565b92506020840135611ca481611bad565b929592945050506040919091013590565b5f60208284031215611cc5575f80fd5b813561073881611bad565b5f8060408385031215611ce1575f80fd5b8235611cec81611bad565b91506020830135611cfc81611beb565b809150509250929050565b5f60208284031215611d17575f80fd5b813561073881611beb565b5f805f60608486031215611d34575f80fd5b8335611d3f81611bad565b92506020840135611d4f81611bad565b91506040840135611c6c81611bad565b5f805f60608486031215611d71575f80fd5b505081359360208301359350604090920135919050565b5f8060408385031215611d99575f80fd5b8235611bdd81611beb565b5f805f805f805f60e0888a031215611dba575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b5f8060408385031215611dfc575f80fd5b8235611e0781611bad565b91506020830135611cfc81611bad565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611e5b575f80fd5b5051919050565b5f60208284031215611e72575f80fd5b815161073881611beb565b634e487b7160e01b5f52601160045260245ffd5b818103818111156105c5576105c5611e7d565b808201808211156105c5576105c5611e7d565b80820281158282048414176105c5576105c5611e7d565b5f82611ee857634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215611efd575f80fd5b815161073881611bad565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611f585784516001600160a01b031683529383019391830191600101611f33565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f60608486031215611f8b575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122065ce53ab31d88b602816074a91ddd3803d0d6e1cc9390b5f2cc0c641144d5eba64736f6c63430008170033

0x6080604052600436106101b2575f3560e01c80637d1db4a5116100e75780639d8740cb11610087578063b0f3ebd111610062578063b0f3ebd114610514578063cb7f97d714610533578063dd62ed3e14610552578063f2fde38b14610596575f80fd5b80639d8740cb146104b7578063a8aa1b31146104d6578063a9059cbb146104f5575f80fd5b80639213c358116100c25780639213c3581461041c57806395d89b411461043b5780639bbc2bb61461046d5780639cc3535114610498575f80fd5b80637d1db4a5146103b8578063893d20e8146103cd5780638cd4426d146103fd575f80fd5b80633f4218e01161015257806370a082311161012d57806370a082311461033b578063711cffc81461036f57806378109e541461038e5780637cca52fe146103a3575f80fd5b80633f4218e0146102da57806348ff2b8b1461030857806351bc3c8514610327575f80fd5b8063229b6a5e1161018d578063229b6a5e1461025257806323b872dd146102735780632f54bf6e14610292578063313ce567146102bf575f80fd5b806306fdde03146101bd578063095ea7b31461020157806318160ddd14610230575f80fd5b366101b957005b5f80fd5b3480156101c8575f80fd5b5060408051808201909152600a815269417374726f626f74696360b01b60208201525b6040516101f89190611b61565b60405180910390f35b34801561020c575f80fd5b5061022061021b366004611bc1565b6105b5565b60405190151581526020016101f8565b34801561023b575f80fd5b506102446105cb565b6040519081526020016101f8565b34801561025d575f80fd5b5061027161026c366004611bf8565b61063b565b005b34801561027e575f80fd5b5061022061028d366004611c77565b6106d7565b34801561029d575f80fd5b506102206102ac366004611cb5565b5f546001600160a01b0391821691161490565b3480156102ca575f80fd5b50604051600981526020016101f8565b3480156102e5575f80fd5b506102206102f4366004611cb5565b60046020525f908152604090205460ff1681565b348015610313575f80fd5b50610271610322366004611cd0565b61073f565b348015610332575f80fd5b50610271610792565b348015610346575f80fd5b50610244610355366004611cb5565b6001600160a01b03165f9081526002602052604090205490565b34801561037a575f80fd5b50610271610389366004611d07565b6107e5565b348015610399575f80fd5b50610244601d5481565b3480156103ae575f80fd5b50610244601c5481565b3480156103c3575f80fd5b50610244601b5481565b3480156103d8575f80fd5b505f546001600160a01b03165b6040516001600160a01b0390911681526020016101f8565b348015610408575f80fd5b50610271610417366004611bc1565b61083e565b348015610427575f80fd5b50610271610436366004611d22565b61095e565b348015610446575f80fd5b5060408051808201909152600a815269415354524f424f54494360b01b60208201526101eb565b348015610478575f80fd5b50610244610487366004611cb5565b60066020525f908152604090205481565b3480156104a3575f80fd5b506102716104b2366004611d5f565b610a02565b3480156104c2575f80fd5b506102716104d1366004611d5f565b610b32565b3480156104e1575f80fd5b506008546103e5906001600160a01b031681565b348015610500575f80fd5b5061022061050f366004611bc1565b610b97565b34801561051f575f80fd5b5061027161052e366004611d88565b610ba3565b34801561053e575f80fd5b5061027161054d366004611da4565b610bfb565b34801561055d575f80fd5b5061024461056c366004611deb565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b3480156105a1575f80fd5b506102716105b0366004611cb5565b610cf1565b5f6105c1338484610d6d565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead5f9081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926106369290916106309190610e90565b90610e90565b905090565b5f546001600160a01b0316331461066d5760405162461bcd60e51b815260040161066490611e17565b60405180910390fd5b5f5b828110156106d1578160055f86868581811061068d5761068d611e37565b90506020020160208101906106a29190611cb5565b6001600160a01b0316815260208101919091526040015f20805460ff191691151591909117905560010161066f565b50505050565b5f6106e3848484610e9b565b610734843361072f85604051806060016040528060288152602001611fa5602891396001600160a01b038a165f9081526003602090815260408083203384529091529020549190611507565b610d6d565b5060015b9392505050565b5f546001600160a01b031633146107685760405162461bcd60e51b815260040161066490611e17565b6001600160a01b03919091165f908152600460205260409020805460ff1916911515919091179055565b5f546001600160a01b031633146107bb5760405162461bcd60e51b815260040161066490611e17565b305f90815260026020526040902054600e548111156107d95750600e545b6107e281611532565b50565b5f546001600160a01b0316331461080e5760405162461bcd60e51b815260040161066490611e17565b6008805461ffff60b01b1916600160b81b92151592830260ff60b01b191617600160b01b92909202919091179055565b5f546001600160a01b031633146108675760405162461bcd60e51b815260040161066490611e17565b6040516370a0823160e01b81523060048201525f906108e8906064906108e29085906001600160a01b038816906370a0823190602401602060405180830381865afa1580156108b8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108dc9190611e4b565b906116a2565b906116ad565b60185460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810183905291925084169063a9059cbb906044016020604051808303815f875af115801561093a573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106d19190611e62565b5f546001600160a01b031633146109875760405162461bcd60e51b815260040161066490611e17565b601980546001600160a01b039485166001600160a01b03199182168117909255601a8054948616948216851790556018805493909516921682179093555f92835260046020526040808420805460ff199081166001908117909255938552818520805485168217905591845290922080549091169091179055565b5f546001600160a01b03163314610a2b5760405162461bcd60e51b815260040161066490611e17565b5f610a476127106108e2866001546116a290919063ffffffff16565b90505f610a656127106108e2866001546116a290919063ffffffff16565b90505f610a836127106108e2866001546116a290919063ffffffff16565b601b849055601c839055601d81905590505f610aa86103e86108e260056108dc6105cb565b9050808410158015610aba5750808310155b8015610ac65750808210155b610b295760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b6064820152608401610664565b50505050505050565b5f546001600160a01b03163314610b5b5760405162461bcd60e51b815260040161066490611e17565b600d839055600154610b7690620186a0906108e290856116a2565b600e55600154610b8f90620186a0906108e290846116a2565b600f55505050565b5f6105c1338484610e9b565b5f546001600160a01b03163314610bcc5760405162461bcd60e51b815260040161066490611e17565b60088054921515600160b81b0263ff0000ff60a01b1990931692909217600160a01b1790915543600a55600955565b5f546001600160a01b03163314610c245760405162461bcd60e51b815260040161066490611e17565b6010879055601186905560138590556012849055601483905560158290556016819055601754610c559060016116ad565b60145411158015610c755750601754610c6f9060016116ad565b60155411155b8015610c905750601754610c8a9060016116ad565b60165411155b610b295760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b6064820152608401610664565b5f546001600160a01b03163314610d1a5760405162461bcd60e51b815260040161066490611e17565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b038316610dcf5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610664565b6001600160a01b038216610e305760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610664565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6107388284611e91565b6001600160a01b038316610eff5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610664565b6001600160a01b038216610f615760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610664565b6001600160a01b0383165f90815260026020526040902054811115610fe25760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b6064820152608401610664565b6001600160a01b0383165f9081526004602052604090205460ff1615801561102257506001600160a01b0382165f9081526004602052604090205460ff16155b1561107157600854600160a01b900460ff166110715760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b6044820152606401610664565b6001600160a01b0383165f9081526004602052604090205460ff161580156110b157506001600160a01b0382165f9081526004602052604090205460ff16155b80156110cb57506008546001600160a01b03838116911614155b80156110e257506001600160a01b03821661dead14155b1561115a57601d546001600160a01b0383165f9081526002602052604090205461110c90836116b8565b111561115a5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610664565b6008546001600160a01b038481169116146111f957601c548111158061119757506001600160a01b0383165f9081526004602052604090205460ff165b806111b957506001600160a01b0382165f9081526004602052604090205460ff165b6111f95760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610664565b601b548111158061122157506001600160a01b0383165f9081526004602052604090205460ff165b8061124357506001600160a01b0382165f9081526004602052604090205460ff165b6112835760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610664565b4361129b600954600a546116b890919063ffffffff16565b1080156112b15750600854600160a01b900460ff165b156112c4576008805460ff60b81b191690555b6008546001600160a01b0384811691161480156112f957506001600160a01b0382165f9081526004602052604090205460ff16155b15611319576001600160a01b0382165f9081526006602052604090204390555b6008546001600160a01b0384811691161480159061134f57506001600160a01b0383165f9081526004602052604090205460ff16155b80156113645750600854600160a01b900460ff165b801561138c5750600854600160b81b900460ff168061138c5750600854600160b01b900460ff165b156113b3576001600160a01b0383165f9081526006602052604090205443116113b3575f80fd5b6008546001600160a01b0383811691161480156113e857506001600160a01b0383165f9081526004602052604090205460ff16155b15611405576001600b5f8282546113ff9190611ea4565b90915550505b6114108383836116c3565b1561142557611420600e54611532565b5f600b555b6001600160a01b0383165f908152600260205260409020546114479082610e90565b6001600160a01b0384165f9081526002602052604081209190915561146c848461177b565b6114765781611481565b6114818484846117bf565b6001600160a01b0384165f908152600260205260409020549091506114a690826116b8565b6001600160a01b038085165f8181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906114f99085815260200190565b60405180910390a350505050565b5f818484111561152a5760405162461bcd60e51b81526004016106649190611b61565b505050900390565b600c805460ff191660019081179091556012546011546010545f9361156b936002936108dc9391926115659283916116b8565b906116b8565b90505f611587826108e2601054866116a290919063ffffffff16565b90505f6115948483610e90565b9050476115a0826118c1565b5f6115ab4783610e90565b90505f6115cd6115c660105488610e9090919063ffffffff16565b83906116ad565b90505f6115e5601054836116a290919063ffffffff16565b905080156115f7576115f78682611a11565b6011545f9061160b906108dc8560026116a2565b9050801561164c576019546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561164a573d5f803e3d5ffd5b505b47801561168c576018546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561168a573d5f803e3d5ffd5b505b5050600c805460ff191690555050505050505050565b5f6107388284611eb7565b5f6107388284611ece565b5f6107388284611ea4565b600f54600e54305f90815260026020526040812054600c5491938510159211159060ff161580156116fd5750600854600160a81b900460ff165b80156117125750600854600160a01b900460ff165b801561171b5750815b801561173f57506001600160a01b0386165f9081526004602052604090205460ff16155b801561175857506008546001600160a01b038681169116145b80156117685750600d54600b5410155b80156117715750805b9695505050505050565b6001600160a01b0382165f9081526004602052604081205460ff161580156107385750506001600160a01b03165f9081526004602052604090205460ff1615919050565b5f806117cb8585611ac2565b11156118ba575f6117ed6117df8686611ac2565b6017546108dc9086906116ad565b305f9081526002602052604090205490915061180990826116b8565b305f81815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906118599085815260200190565b60405180910390a35f60135411801561187c575060135461187a8686611ac2565b115b156118a8576118a83061dead6118a36013546108dc601754896116ad90919063ffffffff16565b610e9b565b6118b28382610e90565b915050610738565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f815181106118f4576118f4611e37565b6001600160a01b03928316602091820292909201810191909152600754604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561194b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061196f9190611eed565b8160018151811061198257611982611e37565b6001600160a01b0392831660209182029290920101526007546119a89130911684610d6d565b60075460405163791ac94760e01b81526001600160a01b039091169063791ac947906119e09085905f90869030904290600401611f08565b5f604051808303815f87803b1580156119f7575f80fd5b505af1158015611a09573d5f803e3d5ffd5b505050505050565b600754611a299030906001600160a01b031684610d6d565b600754601a5460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af1158015611a96573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190611abb9190611f79565b5050505050565b6001600160a01b0382165f9081526005602052604081205460ff1680611aff57506001600160a01b0382165f9081526005602052604090205460ff165b15611b1957601754611b12906064610e90565b90506105c5565b6008546001600160a01b0390811690831603611b3857506015546105c5565b6008546001600160a01b0390811690841603611b5757506014546105c5565b5060165492915050565b5f602080835283518060208501525f5b81811015611b8d57858101830151858201604001528201611b71565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146107e2575f80fd5b5f8060408385031215611bd2575f80fd5b8235611bdd81611bad565b946020939093013593505050565b80151581146107e2575f80fd5b5f805f60408486031215611c0a575f80fd5b833567ffffffffffffffff80821115611c21575f80fd5b818601915086601f830112611c34575f80fd5b813581811115611c42575f80fd5b8760208260051b8501011115611c56575f80fd5b60209283019550935050840135611c6c81611beb565b809150509250925092565b5f805f60608486031215611c89575f80fd5b8335611c9481611bad565b92506020840135611ca481611bad565b929592945050506040919091013590565b5f60208284031215611cc5575f80fd5b813561073881611bad565b5f8060408385031215611ce1575f80fd5b8235611cec81611bad565b91506020830135611cfc81611beb565b809150509250929050565b5f60208284031215611d17575f80fd5b813561073881611beb565b5f805f60608486031215611d34575f80fd5b8335611d3f81611bad565b92506020840135611d4f81611bad565b91506040840135611c6c81611bad565b5f805f60608486031215611d71575f80fd5b505081359360208301359350604090920135919050565b5f8060408385031215611d99575f80fd5b8235611bdd81611beb565b5f805f805f805f60e0888a031215611dba575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b5f8060408385031215611dfc575f80fd5b8235611e0781611bad565b91506020830135611cfc81611bad565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611e5b575f80fd5b5051919050565b5f60208284031215611e72575f80fd5b815161073881611beb565b634e487b7160e01b5f52601160045260245ffd5b818103818111156105c5576105c5611e7d565b808201808211156105c5576105c5611e7d565b80820281158282048414176105c5576105c5611e7d565b5f82611ee857634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215611efd575f80fd5b815161073881611bad565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611f585784516001600160a01b031683529383019391830191600101611f33565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f60608486031215611f8b575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122065ce53ab31d88b602816074a91ddd3803d0d6e1cc9390b5f2cc0c641144d5eba64736f6c63430008170033

4919:12344:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7565:67;;;;;;;;;;-1:-1:-1;7625:5:0;;;;;;;;;;;;-1:-1:-1;;;7625:5:0;;;;7565:67;;;;;;;:::i;:::-;;;;;;;;8373:133;;;;;;;;;;-1:-1:-1;8373:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;8373:133:0;1023:187:1;8512:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;8512:132:0;1215:177:1;10832:184:0;;;;;;;;;;-1:-1:-1;10832:184:0;;;;;:::i;:::-;;:::i;:::-;;16608:309;;;;;;;;;;-1:-1:-1;16608:309:0;;;;;:::i;:::-;;:::i;3823:87::-;;;;;;;;;;-1:-1:-1;3823:87:0;;;;;:::i;:::-;3878:4;3903:5;-1:-1:-1;;;;;3892:16:0;;;3903:5;;3892:16;;3823:87;7715:67;;;;;;;;;;-1:-1:-1;7715:67:0;;5137:1;3130:36:1;;3118:2;3103:18;7715:67:0;2988:184:1;5333:44:0;;;;;;;;;;-1:-1:-1;5333:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;8259:108;;;;;;;;;;-1:-1:-1;8259:108:0;;;;;:::i;:::-;;:::i;11024:195::-;;;;;;;;;;;;;:::i;7872:103::-;;;;;;;;;;-1:-1:-1;7872:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;7955:18:0;7938:7;7955:18;;;:9;:18;;;;;;;7872:103;11695:136;;;;;;;;;;-1:-1:-1;11695:136:0;;;;;:::i;:::-;;:::i;6848:63::-;;;;;;;;;;;;;;;;6779:62;;;;;;;;;;;;;;;;6712:60;;;;;;;;;;;;;;;;7788:78;;;;;;;;;;-1:-1:-1;7840:7:0;7858:5;-1:-1:-1;;;;;7858:5:0;7788:78;;;-1:-1:-1;;;;;3974:32:1;;;3956:51;;3944:2;3929:18;7788:78:0;3810:203:1;11227:242:0;;;;;;;;;;-1:-1:-1;11227:242:0;;;;;:::i;:::-;;:::i;10486:338::-;;;;;;;;;;-1:-1:-1;10486:338:0;;;;;:::i;:::-;;:::i;7638:71::-;;;;;;;;;;-1:-1:-1;7700:7:0;;;;;;;;;;;;-1:-1:-1;;;7700:7:0;;;;7638:71;;5430:54;;;;;;;;;;-1:-1:-1;5430:54:0;;;;;:::i;:::-;;;;;;;;;;;;;;9922:556;;;;;;;;;;-1:-1:-1;9922:556:0;;;;;:::i;:::-;;:::i;9063:319::-;;;;;;;;;;-1:-1:-1;9063:319:0;;;;;:::i;:::-;;:::i;5512:19::-;;;;;;;;;;-1:-1:-1;5512:19:0;;;;-1:-1:-1;;;;;5512:19:0;;;7981:139;;;;;;;;;;-1:-1:-1;7981:139:0;;;;;:::i;:::-;;:::i;11477:210::-;;;;;;;;;;-1:-1:-1;11477:210:0;;;;;:::i;:::-;;:::i;9390:524::-;;;;;;;;;;-1:-1:-1;9390:524:0;;;;;:::i;:::-;;:::i;8126:127::-;;;;;;;;;;-1:-1:-1;8126:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;8224:18:0;;;8207:7;8224:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8126:127;3916:111;;;;;;;;;;-1:-1:-1;3916:111:0;;;;;:::i;:::-;;:::i;8373:133::-;8448:4;8455:37;8464:10;8476:7;8485:6;8455:8;:37::i;:::-;-1:-1:-1;8500:4:0;8373:133;;;;;:::o;8512:132::-;7955:9;:18;;;;6399:42;8565:7;7955:18;;;;;8582:12;;8565:7;;8582:60;;7955:18;;8582:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;8575:67;;8512:132;:::o;10832:184::-;3878:4;3903:5;-1:-1:-1;;;;;3903:5:0;3790:10;3892:16;3774:38;;;;-1:-1:-1;;;3774:38:0;;;;;;;:::i;:::-;;;;;;;;;10929:6:::1;10925:84;10939:20:::0;;::::1;10925:84;;;10998:8;10976:5;:19;10982:9;;10992:1;10982:12;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10976:19:0::1;::::0;;::::1;::::0;::::1;::::0;;;;;;-1:-1:-1;10976:19:0;:30;;-1:-1:-1;;10976:30:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;10961:3:0::1;10925:84;;;;10832:184:::0;;;:::o;16608:309::-;16706:4;16723:36;16733:6;16741:9;16752:6;16723:9;:36::i;:::-;16770:117;16779:6;16787:10;16799:87;16835:6;16799:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16799:19:0;;;;;;:11;:19;;;;;;;;16819:10;16799:31;;;;;;;;;:87;:35;:87::i;:::-;16770:8;:117::i;:::-;-1:-1:-1;16905:4:0;16608:309;;;;;;:::o;8259:108::-;3878:4;3903:5;-1:-1:-1;;;;;3903:5:0;3790:10;3892:16;3774:38;;;;-1:-1:-1;;;3774:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8333:21:0;;;::::1;;::::0;;;:11:::1;:21;::::0;;;;:32;;-1:-1:-1;;8333:32:0::1;::::0;::::1;;::::0;;;::::1;::::0;;8259:108::o;11024:195::-;3878:4;3903:5;-1:-1:-1;;;;;3903:5:0;3790:10;3892:16;3774:38;;;;-1:-1:-1;;;3774:38:0;;;;;;;:::i;:::-;11111:4:::1;11076:14;7955:18:::0;;;:9;:18;;;;;;11140:13:::1;::::0;11131:22;::::1;11128:51;;;-1:-1:-1::0;11164:13:0::1;::::0;11128:51:::1;11189:22;11204:6;11189:14;:22::i;:::-;11065:154;11024:195::o:0;11695:136::-;3878:4;3903:5;-1:-1:-1;;;;;3903:5:0;3790:10;3892:16;3774:38;;;;-1:-1:-1;;;3774:38:0;;;;;;;:::i;:::-;11766:13:::1;:22:::0;;-1:-1:-1;;;;11799:24:0;-1:-1:-1;;;11766:22:0;::::1;;::::0;;::::1;-1:-1:-1::0;;;;11799:24:0;;-1:-1:-1;;;11799:24:0;;;::::1;::::0;;;::::1;::::0;;11695:136::o;11227:242::-;3878:4;3903:5;-1:-1:-1;;;;;3903:5:0;3790:10;3892:16;3774:38;;;;-1:-1:-1;;;3774:38:0;;;;;;;:::i;:::-;11331:41:::1;::::0;-1:-1:-1;;;11331:41:0;;11366:4:::1;11331:41;::::0;::::1;3956:51:1::0;11313:15:0::1;::::0;11331:63:::1;::::0;11390:3:::1;::::0;11331:54:::1;::::0;11377:7;;-1:-1:-1;;;;;11331:26:0;::::1;::::0;::::1;::::0;3929:18:1;;11331:41:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:45:::0;::::1;:54::i;:::-;:58:::0;::::1;:63::i;:::-;11431:20;::::0;11405:56:::1;::::0;-1:-1:-1;;;11405:56:0;;-1:-1:-1;;;;;11431:20:0;;::::1;11405:56;::::0;::::1;7266:51:1::0;7333:18;;;7326:34;;;11313:81:0;;-1:-1:-1;11405:25:0;::::1;::::0;::::1;::::0;7239:18:1;;11405:56:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;10486:338::-:0;3878:4;3903:5;-1:-1:-1;;;;;3903:5:0;3790:10;3892:16;3774:38;;;;-1:-1:-1;;;3774:38:0;;;;;;;:::i;:::-;10608:18:::1;:31:::0;;-1:-1:-1;;;;;10608:31:0;;::::1;-1:-1:-1::0;;;;;;10608:31:0;;::::1;::::0;::::1;::::0;;;10641:18:::1;:31:::0;;;;::::1;::::0;;::::1;::::0;::::1;::::0;;10674:20:::1;:35:::0;;;;;::::1;::::0;::::1;::::0;::::1;::::0;;;10608:18:::1;10720:23:::0;;;:11:::1;:23;::::0;;;;;:30;;-1:-1:-1;;10720:30:0;;::::1;10608:31:::0;10720:30;;::::1;::::0;;;10752:23;;;;;;:30;;;::::1;::::0;::::1;::::0;;10784:25;;;;;;:32;;;;::::1;::::0;;::::1;::::0;;10486:338::o;9922:556::-;3878:4;3903:5;-1:-1:-1;;;;;3903:5:0;3790:10;3892:16;3774:38;;;;-1:-1:-1;;;3774:38:0;;;;;;;:::i;:::-;10028:13:::1;10044:33;10071:5;10044:22;10061:4;10044:12;;:16;;:22;;;;:::i;:33::-;10028:49;;10079:19;10101:34;10129:5;10101:23;10118:5;10101:12;;:16;;:23;;;;:::i;:34::-;10079:56;;10137:17;10157:36;10187:5;10157:25;10174:7;10157:12;;:16;;:25;;;;:::i;:36::-;10204:12;:20:::0;;;10226:14:::1;:28:::0;;;10256:15:::1;:27:::0;;;10137:56;-1:-1:-1;;10310:30:0::1;10335:4;10310:20;10328:1;10310:13;:11;:13::i;:30::-;10294:46;;10368:5;10359;:14;;:38;;;;;10392:5;10377:11;:20;;10359:38;:60;;;;;10414:5;10401:9;:18;;10359:60;10351:119;;;::::0;-1:-1:-1;;;10351:119:0;;7823:2:1;10351:119:0::1;::::0;::::1;7805:21:1::0;7862:2;7842:18;;;7835:30;7901:34;7881:18;;;7874:62;-1:-1:-1;;;7952:18:1;;;7945:44;8006:19;;10351:119:0::1;7621:410:1::0;10351:119:0::1;10017:461;;;;9922:556:::0;;;:::o;9063:319::-;3878:4;3903:5;-1:-1:-1;;;;;3903:5:0;3790:10;3892:16;3774:38;;;;-1:-1:-1;;;3774:38:0;;;;;;;:::i;:::-;9196:10:::1;:24:::0;;;9238:12:::1;::::0;:53:::1;::::0;9283:6:::1;::::0;9238:32:::1;::::0;9255:14;9238:16:::1;:32::i;:53::-;9222:13;:69:::0;9320:12:::1;::::0;:54:::1;::::0;9366:6:::1;::::0;9320:33:::1;::::0;9337:15;9320:16:::1;:33::i;:54::-;9303:14;:71:::0;-1:-1:-1;;;9063:319:0:o;7981:139::-;8059:4;8066:40;8076:10;8088:9;8099:6;8066:9;:40::i;11477:210::-;3878:4;3903:5;-1:-1:-1;;;;;3903:5:0;3790:10;3892:16;3774:38;;;;-1:-1:-1;;;3774:38:0;;;;;;;:::i;:::-;11557:14:::1;:21:::0;;11589;::::1;;-1:-1:-1::0;;;11589:21:0::1;-1:-1:-1::0;;;;11589:21:0;;;;;;;-1:-1:-1;;;11589:21:0;;;;11635:12:::1;11621:11;:26:::0;11658:12:::1;:21:::0;11477:210::o;9390:524::-;3878:4;3903:5;-1:-1:-1;;;;;3903:5:0;3790:10;3892:16;3774:38;;;;-1:-1:-1;;;3774:38:0;;;;;;;:::i;:::-;9580:12:::1;:25:::0;;;9607:12:::1;:25:::0;;;9634:7:::1;:15:::0;;;9651:14:::1;:29:::0;;;9682:8:::1;:17:::0;;;9701:7:::1;:15:::0;;;9718:11:::1;:20:::0;;;9769:11:::1;::::0;:18:::1;::::0;-1:-1:-1;9769:15:0::1;:18::i;:::-;9757:8;;:30;;:63;;;;-1:-1:-1::0;9802:11:0::1;::::0;:18:::1;::::0;9818:1:::1;9802:15;:18::i;:::-;9791:7;;:29;;9757:63;:100;;;;-1:-1:-1::0;9839:11:0::1;::::0;:18:::1;::::0;9855:1:::1;9839:15;:18::i;:::-;9824:11;;:33;;9757:100;9749:157;;;::::0;-1:-1:-1;;;9749:157:0;;8238:2:1;9749:157:0::1;::::0;::::1;8220:21:1::0;8277:2;8257:18;;;8250:30;8316:34;8296:18;;;8289:62;-1:-1:-1;;;8367:18:1;;;8360:42;8419:19;;9749:157:0::1;8036:408:1::0;3916:111:0;3878:4;3903:5;-1:-1:-1;;;;;3903:5:0;3790:10;3892:16;3774:38;;;;-1:-1:-1;;;3774:38:0;;;;;;;:::i;:::-;3982:5:::1;:11:::0;;-1:-1:-1;;;;;;3982:11:0::1;-1:-1:-1::0;;;;;3982:11:0;::::1;::::0;;::::1;::::0;;;4000:25:::1;::::0;3956:51:1;;;4000:25:0::1;::::0;3944:2:1;3929:18;4000:25:0::1;;;;;;;3916:111:::0;:::o;16925:335::-;-1:-1:-1;;;;;17018:19:0;;17010:68;;;;-1:-1:-1;;;17010:68:0;;8867:2:1;17010:68:0;;;8849:21:1;8906:2;8886:18;;;8879:30;8945:34;8925:18;;;8918:62;-1:-1:-1;;;8996:18:1;;;8989:34;9040:19;;17010:68:0;8665:400:1;17010:68:0;-1:-1:-1;;;;;17097:21:0;;17089:68;;;;-1:-1:-1;;;17089:68:0;;9272:2:1;17089:68:0;;;9254:21:1;9311:2;9291:18;;;9284:30;9350:34;9330:18;;;9323:62;-1:-1:-1;;;9401:18:1;;;9394:32;9443:19;;17089:68:0;9070:398:1;17089:68:0;-1:-1:-1;;;;;17168:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;17220:32;;1361:25:1;;;17220:32:0;;1334:18:1;17220:32:0;;;;;;;16925:335;;;:::o;1562:98::-;1620:7;1647:5;1651:1;1647;:5;:::i;14782:1818::-;-1:-1:-1;;;;;14879:20:0;;14871:70;;;;-1:-1:-1;;;14871:70:0;;9940:2:1;14871:70:0;;;9922:21:1;9979:2;9959:18;;;9952:30;10018:34;9998:18;;;9991:62;-1:-1:-1;;;10069:18:1;;;10062:35;10114:19;;14871:70:0;9738:401:1;14871:70:0;-1:-1:-1;;;;;14960:23:0;;14952:71;;;;-1:-1:-1;;;14952:71:0;;10346:2:1;14952:71:0;;;10328:21:1;10385:2;10365:18;;;10358:30;10424:34;10404:18;;;10397:62;-1:-1:-1;;;10475:18:1;;;10468:33;10518:19;;14952:71:0;10144:399:1;14952:71:0;-1:-1:-1;;;;;7955:18:0;;7938:7;7955:18;;;:9;:18;;;;;;15042:6;:27;;15034:88;;;;-1:-1:-1;;;15034:88:0;;10750:2:1;15034:88:0;;;10732:21:1;10789:2;10769:18;;;10762:30;10828:34;10808:18;;;10801:62;-1:-1:-1;;;10879:18:1;;;10872:47;10936:19;;15034:88:0;10548:413:1;15034:88:0;-1:-1:-1;;;;;15137:19:0;;;;;;:11;:19;;;;;;;;15136:20;:47;;;;-1:-1:-1;;;;;;15161:22:0;;;;;;:11;:22;;;;;;;;15160:23;15136:47;15133:95;;;15193:14;;-1:-1:-1;;;15193:14:0;;;;15185:41;;;;-1:-1:-1;;;15185:41:0;;11168:2:1;15185:41:0;;;11150:21:1;11207:2;11187:18;;;11180:30;-1:-1:-1;;;11226:18:1;;;11219:44;11280:18;;15185:41:0;10966:338:1;15185:41:0;-1:-1:-1;;;;;15242:19:0;;;;;;:11;:19;;;;;;;;15241:20;:47;;;;-1:-1:-1;;;;;;15266:22:0;;;;;;:11;:22;;;;;;;;15265:23;15241:47;:77;;;;-1:-1:-1;15313:4:0;;-1:-1:-1;;;;;15292:26:0;;;15313:4;;15292:26;;15241:77;:107;;;;-1:-1:-1;;;;;;15322:26:0;;6399:42;15322:26;;15241:107;15238:224;;;15410:15;;-1:-1:-1;;;;;15373:20:0;;;;;;:9;:20;;;;;;:32;;15398:6;15373:24;:32::i;:::-;15372:53;;15364:96;;;;-1:-1:-1;;;15364:96:0;;11511:2:1;15364:96:0;;;11493:21:1;11550:2;11530:18;;;11523:30;11589:32;11569:18;;;11562:60;11639:18;;15364:96:0;11309:354:1;15364:96:0;15485:4;;-1:-1:-1;;;;;15475:14:0;;;15485:4;;15475:14;15472:124;;15509:14;;15499:6;:24;;:47;;;-1:-1:-1;;;;;;15527:19:0;;;;;;:11;:19;;;;;;;;15499:47;:73;;;-1:-1:-1;;;;;;15550:22:0;;;;;;:11;:22;;;;;;;;15499:73;15491:103;;;;-1:-1:-1;;;15491:103:0;;11870:2:1;15491:103:0;;;11852:21:1;11909:2;11889:18;;;11882:30;-1:-1:-1;;;11928:18:1;;;11921:47;11985:18;;15491:103:0;11668:341:1;15491:103:0;15628:12;;15618:6;:22;;:45;;;-1:-1:-1;;;;;;15644:19:0;;;;;;:11;:19;;;;;;;;15618:45;:71;;;-1:-1:-1;;;;;;15667:22:0;;;;;;:11;:22;;;;;;;;15618:71;15610:101;;;;-1:-1:-1;;;15610:101:0;;11870:2:1;15610:101:0;;;11852:21:1;11909:2;11889:18;;;11882:30;-1:-1:-1;;;11928:18:1;;;11921:47;11985:18;;15610:101:0;11668:341:1;15610:101:0;15758:12;15726:29;15742:12;;15726:11;;:15;;:29;;;;:::i;:::-;:44;:62;;;;-1:-1:-1;15774:14:0;;-1:-1:-1;;;15774:14:0;;;;15726:62;15723:90;;;15790:13;:21;;-1:-1:-1;;;;15790:21:0;;;15723:90;15836:4;;-1:-1:-1;;;;;15826:14:0;;;15836:4;;15826:14;:41;;;;-1:-1:-1;;;;;;15845:22:0;;;;;;:11;:22;;;;;;;;15844:23;15826:41;15823:92;;;-1:-1:-1;;;;;15869:29:0;;;;;;:18;:29;;;;;15901:12;15869:44;;15823:92;15938:4;;-1:-1:-1;;;;;15928:14:0;;;15938:4;;15928:14;;;;:38;;-1:-1:-1;;;;;;15947:19:0;;;;;;:11;:19;;;;;;;;15946:20;15928:38;:56;;;;-1:-1:-1;15970:14:0;;-1:-1:-1;;;15970:14:0;;;;15928:56;:94;;;;-1:-1:-1;15989:13:0;;-1:-1:-1;;;15989:13:0;;;;;:32;;-1:-1:-1;16006:15:0;;-1:-1:-1;;;16006:15:0;;;;15989:32;15925:165;;;-1:-1:-1;;;;;16046:26:0;;;;;;:18;:26;;;;;;16075:12;-1:-1:-1;16038:50:0;;;;;;16116:4;;-1:-1:-1;;;;;16103:17:0;;;16116:4;;16103:17;:41;;;;-1:-1:-1;;;;;;16125:19:0;;;;;;:11;:19;;;;;;;;16124:20;16103:41;16100:71;;;16167:1;16146:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;16100:71:0;16184:45;16203:6;16211:9;16222:6;16184:18;:45::i;:::-;16181:105;;;16231:29;16246:13;;16231:14;:29::i;:::-;16282:1;16262:9;:22;16181:105;-1:-1:-1;;;;;16316:17:0;;;;;;:9;:17;;;;;;:29;;16338:6;16316:21;:29::i;:::-;-1:-1:-1;;;;;16296:17:0;;;;;;:9;:17;;;;;:49;;;;16381:32;16306:6;16403:9;16381:13;:32::i;:::-;:78;;16453:6;16381:78;;;16416:34;16424:6;16432:9;16443:6;16416:7;:34::i;:::-;-1:-1:-1;;;;;16493:20:0;;;;;;:9;:20;;;;;;16356:103;;-1:-1:-1;16493:40:0;;16356:103;16493:24;:40::i;:::-;-1:-1:-1;;;;;16470:20:0;;;;;;;:9;:20;;;;;;;:63;;;;16549:43;;;;;;;;;;16577:14;1361:25:1;;1349:2;1334:18;;1215:177;16549:43:0;;;;;;;;14860:1740;14782:1818;;;:::o;1986:240::-;2106:7;2167:12;2159:6;;;;2151:29;;;;-1:-1:-1;;;2151:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2202:5:0;;;1986:240::o;11839:1063::-;6007:8;:15;;-1:-1:-1;;6007:15:0;6018:4;6007:15;;;;;;11976:14:::1;::::0;11958:12:::1;::::0;11934::::1;::::0;6007:8;;11933:66:::1;::::0;11997:1:::1;::::0;11934:57:::1;::::0;11976:14;;11934:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;11933:66::-;11910:89;;12010:32;12045:42;12074:12;12045:24;12056:12;;12045:6;:10;;:24;;;;:::i;:42::-;12010:77:::0;-1:-1:-1;12098:14:0::1;12115:36;:6:::0;12010:77;12115:10:::1;:36::i;:::-;12098:53:::0;-1:-1:-1;12187:21:0::1;12219:24;12098:53:::0;12219:16:::1;:24::i;:::-;12254:20;12277:41;:21;12303:14:::0;12277:25:::1;:41::i;:::-;12254:64;;12329:19;12350:48;12367:30;12384:12;;12367;:16;;:30;;;;:::i;:::-;12350:12:::0;;:16:::1;:48::i;:::-;12329:69;;12409:29;12441;12457:12;;12441:11;:15;;:29;;;;:::i;:::-;12409:61:::0;-1:-1:-1;12484:34:0;;12481:103:::1;;12520:61;12533:24;12559:21;12520:12;:61::i;:::-;12640:12;::::0;12594:20:::1;::::0;12617:36:::1;::::0;:18:::1;:11:::0;12633:1:::1;12617:15;:18::i;:36::-;12594:59:::0;-1:-1:-1;12667:16:0;;12664:73:::1;;12693:18;::::0;12685:50:::1;::::0;-1:-1:-1;;;;;12693:18:0;;::::1;::::0;12685:50;::::1;;;::::0;12722:12;;12693:18:::1;12685:50:::0;12693:18;12685:50;12722:12;12693:18;12685:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12664:73;12773:21;12808:28:::0;;12805:90:::1;;12846:20;::::0;12838:55:::1;::::0;-1:-1:-1;;;;;12846:20:0;;::::1;::::0;12838:55;::::1;;;::::0;12877:15;;12846:20:::1;12838:55:::0;12846:20;12838:55;12877:15;12846:20;12838:55;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12805:90;-1:-1:-1::0;;6027:8:0;:16;;-1:-1:-1;;6027:16:0;;;-1:-1:-1;;;;;;;;11839:1063:0:o;1668:98::-;1726:7;1753:5;1757:1;1753;:5;:::i;1774:98::-;1832:7;1859:5;1863:1;1859;:5;:::i;1456:98::-;1514:7;1541:5;1545:1;1541;:5;:::i;8652:403::-;8797:14;;8872:13;;8862:4;8754;7955:18;;;:9;:18;;;;;;8904:8;;8754:4;;8787:24;;;;-1:-1:-1;8844:41:0;;8904:8;;8903:9;:24;;;;-1:-1:-1;8916:11:0;;-1:-1:-1;;;8916:11:0;;;;8903:24;:42;;;;-1:-1:-1;8931:14:0;;-1:-1:-1;;;8931:14:0;;;;8903:42;:54;;;;;8949:8;8903:54;:78;;;;-1:-1:-1;;;;;;8962:19:0;;;;;;:11;:19;;;;;;;;8961:20;8903:78;:99;;;;-1:-1:-1;8998:4:0;;-1:-1:-1;;;;;8985:17:0;;;8998:4;;8985:17;8903:99;:126;;;;;9019:10;;9006:9;;:23;;8903:126;:144;;;;;9033:14;8903:144;8896:151;8652:403;-1:-1:-1;;;;;;8652:403:0:o;13703:160::-;-1:-1:-1;;;;;13809:19:0;;13784:4;13809:19;;;:11;:19;;;;;;;;13808:20;:47;;;;-1:-1:-1;;;;;;;13833:22:0;;;;;:11;:22;;;;;;;;13832:23;;13703:160;-1:-1:-1;13703:160:0:o;14184:590::-;14270:7;14326:1;14293:30;14305:6;14313:9;14293:11;:30::i;:::-;:34;14290:462;;;14339:17;14359:59;14387:30;14399:6;14407:9;14387:11;:30::i;:::-;14370:11;;14359:23;;:6;;:10;:23::i;:59::-;14474:4;14456:24;;;;:9;:24;;;;;;14339:79;;-1:-1:-1;14456:39:0;;14339:79;14456:28;:39::i;:::-;14447:4;14429:24;;;;:9;:24;;;;;;;:66;;;;14511:42;;-1:-1:-1;;;;;14511:42:0;;;;;;;14543:9;1361:25:1;;1349:2;1334:18;;1215:177;14511:42:0;;;;;;;;14585:1;14567:7;;:20;:64;;;;;14624:7;;14591:30;14603:6;14611:9;14591:11;:30::i;:::-;:40;14567:64;14564:148;;;14633:77;14651:4;6399:42;14673:36;14701:7;;14673:23;14684:11;;14673:6;:10;;:23;;;;:::i;:36::-;14633:9;:77::i;:::-;14729:21;:6;14740:9;14729:10;:21::i;:::-;14722:28;;;;;14290:462;-1:-1:-1;14760:6:0;14184:590;-1:-1:-1;;14184:590:0:o;13261:434::-;13351:16;;;13365:1;13351:16;;;;;;;;13327:21;;13351:16;;;;;;;;;;-1:-1:-1;13351:16:0;13327:40;;13396:4;13378;13383:1;13378:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13378:23:0;;;:7;;;;;;;;;;:23;;;;13422:6;;:13;;;-1:-1:-1;;;13422:13:0;;;;:6;;;;;:11;;:13;;;;;13378:7;;13422:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13412:4;13417:1;13412:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13412:23:0;;;:7;;;;;;;;;:23;13478:6;;13446:53;;13463:4;;13478:6;13487:11;13446:8;:53::i;:::-;13510:6;;:177;;-1:-1:-1;;;13510:177:0;;-1:-1:-1;;;;;13510:6:0;;;;:57;;:177;;13582:11;;13510:6;;13624:4;;13651;;13671:15;;13510:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13316:379;13261:434;:::o;12910:343::-;13023:6;;12991:53;;13008:4;;-1:-1:-1;;;;;13023:6:0;13032:11;12991:8;:53::i;:::-;13055:6;;13196:18;;13055:190;;-1:-1:-1;;;13055:190:0;;13118:4;13055:190;;;14253:34:1;14303:18;;;14296:34;;;13055:6:0;14346:18:1;;;14339:34;;;14389:18;;;14382:34;-1:-1:-1;;;;;13196:18:0;;;14432:19:1;;;14425:44;13229:15:0;14485:19:1;;;14478:35;13055:6:0;;;:22;;13085:9;;14187:19:1;;13055:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;12910:343;;:::o;13871:305::-;-1:-1:-1;;;;;13973:13:0;;13950:7;13973:13;;;:5;:13;;;;;;;;;:33;;-1:-1:-1;;;;;;13990:16:0;;;;;;:5;:16;;;;;;;;13973:33;13970:76;;;14015:11;;:29;;14039:3;14015:15;:29::i;:::-;14008:36;;;;13970:76;14072:4;;-1:-1:-1;;;;;14072:4:0;;;14059:17;;;;14056:38;;-1:-1:-1;14085:7:0;;14078:14;;14056:38;14117:4;;-1:-1:-1;;;;;14117:4:0;;;14107:14;;;;14104:36;;-1:-1:-1;14130:8:0;;14123:15;;14104:36;-1:-1:-1;14157:11:0;;13871: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;3564:241::-;3620:6;3673:2;3661:9;3652:7;3648:23;3644:32;3641:52;;;3689:1;3686;3679:12;3641:52;3728:9;3715:23;3747:28;3769:5;3747:28;:::i;4018:529::-;4095:6;4103;4111;4164:2;4152:9;4143:7;4139:23;4135:32;4132:52;;;4180:1;4177;4170:12;4132:52;4219:9;4206:23;4238:31;4263:5;4238:31;:::i;:::-;4288:5;-1:-1:-1;4345:2:1;4330:18;;4317:32;4358:33;4317:32;4358:33;:::i;:::-;4410:7;-1:-1:-1;4469:2:1;4454:18;;4441:32;4482:33;4441:32;4482:33;:::i;4552:316::-;4629:6;4637;4645;4698:2;4686:9;4677:7;4673:23;4669:32;4666:52;;;4714:1;4711;4704:12;4666:52;-1:-1:-1;;4737:23:1;;;4807:2;4792:18;;4779:32;;-1:-1:-1;4858:2:1;4843:18;;;4830:32;;4552:316;-1:-1:-1;4552:316:1:o;4873:309::-;4938:6;4946;4999:2;4987:9;4978:7;4974:23;4970:32;4967:52;;;5015:1;5012;5005:12;4967:52;5054:9;5041:23;5073:28;5095:5;5073:28;:::i;5187:592::-;5300:6;5308;5316;5324;5332;5340;5348;5401:3;5389:9;5380:7;5376:23;5372:33;5369:53;;;5418:1;5415;5408:12;5369:53;-1:-1:-1;;5441:23:1;;;5511:2;5496:18;;5483:32;;-1:-1:-1;5562:2:1;5547:18;;5534:32;;5613:2;5598:18;;5585:32;;-1:-1:-1;5664:3:1;5649:19;;5636:33;;-1:-1:-1;5716:3:1;5701:19;;5688:33;;-1:-1:-1;5768:3:1;5753:19;5740:33;;-1:-1:-1;5187:592:1;-1:-1:-1;5187:592:1:o;5784:388::-;5852:6;5860;5913:2;5901:9;5892:7;5888:23;5884:32;5881:52;;;5929:1;5926;5919:12;5881:52;5968:9;5955:23;5987:31;6012:5;5987:31;:::i;:::-;6037:5;-1:-1:-1;6094:2:1;6079:18;;6066:32;6107:33;6066:32;6107:33;:::i;6437:329::-;6639:2;6621:21;;;6678:1;6658:18;;;6651:29;-1:-1:-1;;;6711:2:1;6696:18;;6689:36;6757:2;6742:18;;6437:329::o;6771:127::-;6832:10;6827:3;6823:20;6820:1;6813:31;6863:4;6860:1;6853:15;6887:4;6884:1;6877:15;6903:184;6973:6;7026:2;7014:9;7005:7;7001:23;6997:32;6994:52;;;7042:1;7039;7032:12;6994:52;-1:-1:-1;7065:16:1;;6903:184;-1:-1:-1;6903:184:1:o;7371:245::-;7438:6;7491:2;7479:9;7470:7;7466:23;7462:32;7459:52;;;7507:1;7504;7497:12;7459:52;7539:9;7533:16;7558:28;7580:5;7558:28;:::i;9473:127::-;9534:10;9529:3;9525:20;9522:1;9515:31;9565:4;9562:1;9555:15;9589:4;9586:1;9579:15;9605:128;9672:9;;;9693:11;;;9690:37;;;9707:18;;:::i;12014:125::-;12079:9;;;12100:10;;;12097:36;;;12113:18;;:::i;12144:168::-;12217:9;;;12248;;12265:15;;;12259:22;;12245:37;12235:71;;12286:18;;:::i;12317:217::-;12357:1;12383;12373:132;;12427:10;12422:3;12418:20;12415:1;12408:31;12462:4;12459:1;12452:15;12490:4;12487:1;12480:15;12373:132;-1:-1:-1;12519:9:1;;12317:217::o;12671:251::-;12741:6;12794:2;12782:9;12773:7;12769:23;12765:32;12762:52;;;12810:1;12807;12800:12;12762:52;12842:9;12836:16;12861:31;12886:5;12861:31;:::i;12927:980::-;13189:4;13237:3;13226:9;13222:19;13268:6;13257:9;13250:25;13294:2;13332:6;13327:2;13316:9;13312:18;13305:34;13375:3;13370:2;13359:9;13355:18;13348:31;13399:6;13434;13428:13;13465:6;13457;13450:22;13503:3;13492:9;13488:19;13481:26;;13542:2;13534:6;13530:15;13516:29;;13563:1;13573:195;13587:6;13584:1;13581:13;13573:195;;;13652:13;;-1:-1:-1;;;;;13648:39:1;13636:52;;13743:15;;;;13708:12;;;;13684:1;13602:9;13573:195;;;-1:-1:-1;;;;;;;13824:32:1;;;;13819:2;13804:18;;13797:60;-1:-1:-1;;;13888:3:1;13873:19;13866:35;13785:3;12927:980;-1:-1:-1;;;12927:980:1:o;14524:306::-;14612:6;14620;14628;14681:2;14669:9;14660:7;14656:23;14652:32;14649:52;;;14697:1;14694;14687:12;14649:52;14726:9;14720:16;14710:26;;14776:2;14765:9;14761:18;14755:25;14745:35;;14820:2;14809:9;14805:18;14799:25;14789:35;;14524:306;;;;;:::o

ipfs://65ce53ab31d88b602816074a91ddd3803d0d6e1cc9390b5f2cc0c641144d5eba