Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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 ...    - function renounceOwnership() library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)    - function sub(    - function div(    - function mod( interface IUniswapRouter    - function factory()    - function WETH()    - function addLiquidityETH(    - function swapExactTokensForETHSupport ... interface IUniswapFactory    - function createPair(address tokenA, a ...    - function getPair(address tokenA, addr ...  contract MIKAI is IERC20, Ownable *    - function name()    - function symbol()    - function decimals()    - function getOwner()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function totalSupply()    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function updateMIKAITxConfig(uint256 ...    - function _transfer(address sender, ad ...    - function updateMIKAIFee(uint256 _liqu ...    - function shouldSwapBack(address sende ...    - function shouldTakeFee(address sender ...    - function addLiquidity(uint256 tokenAm ...    - function min(uint256 a, uint256 b)    - function swapBack(uint256 tokens)    - function _getTxFee(address sender, ad ...    - function _getTaxxables(address sender ...    - function startMIKAITrade()    - function swapTokensForEth(uint256 tok ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-12-21
*/

/*
The turquoise hair swayed in the wind The sound of the future had arrived, Hatsune Miku AI.
The beauty had been derived from technology

"It felt like magic"
"Caressing my ears"
"Hearing the sound of happiness"

Web: https://hatsunemikuai.technology
Telegram: https://t.me/Hatsune_Miku_AI_official
Twitter: https://twitter.com/Miku_AI_Group
Medium: https://medium.com/@miku.ai
Docs: https://docs.hatsunemikuai.technology

*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.21;

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);}
    function renounceOwnership() public onlyOwner {owner = address(0); emit OwnershipTransferred(address(0));}
    event OwnershipTransferred(address owner);
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return a - b;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return a % b;
    }

    function 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 IUniswapRouter {
    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;
}

interface IUniswapFactory {
    function createPair(address tokenA, address tokenB) external returns (address pairAddress_);
    function getPair(address tokenA, address tokenB) external view returns (address pairAddress_);
}

contract MIKAI is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = 'Hatsune Miku AI';
    string private constant _symbol = 'MIKAI';
    uint8 private constant _decimals = 18;
    uint256 private _totalSupply = 10 ** 9 * (10 ** _decimals);
    uint256 private _maximumFeeSwap = ( _totalSupply * 3) / 100;
    uint256 private _feeSwapThreshold = ( _totalSupply * 1) / 100000;
    modifier lockSwap {_swapping = true; _; _swapping = false;}
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 0; 
    uint256 private developmentFee = 100; 
    uint256 private burnFee = 0;
    uint256 private totalFee = 2100; 
    uint256 private sellFee = 2100; 
    uint256 private transferFee = 2100;
    uint256 private denominator = 10000;
    uint256 public maxTxAmount = ( _totalSupply * 210 ) / 10000;
    uint256 public maxBuyAmount = ( _totalSupply * 210 ) / 10000;
    uint256 public maxWallet = ( _totalSupply * 210 ) / 10000;
    IUniswapRouter uniswapRouter;
    address public pairAddress;
    uint256 private _swappedCount;
    uint256 _buyCount = 1;

    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public _isExcludedFromFees;

    bool private isActivated = false;
    bool private feeSwapEnabled = true;
    bool private _swapping;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal development_receiver = 0x19a8CeBFA1C5599cF9F97C5CB8Cf875C599d291C;
    address internal marketing_receiver = 0x19a8CeBFA1C5599cF9F97C5CB8Cf875C599d291C; 
    address internal liquidity_receiver = 0x19a8CeBFA1C5599cF9F97C5CB8Cf875C599d291C;
    constructor() Ownable(msg.sender) {
        IUniswapRouter _router = IUniswapRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _pair = IUniswapFactory(_router.factory()).createPair(address(this), _router.WETH());
        uniswapRouter = _router; pairAddress = _pair;
        _isExcludedFromFees[liquidity_receiver] = true;
        _isExcludedFromFees[marketing_receiver] = true;
        _isExcludedFromFees[development_receiver] = true;
        _isExcludedFromFees[msg.sender] = true;
        _balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);
    }
    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 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 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);
    }    
    function updateMIKAITxConfig(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; maxBuyAmount = newTransfer; maxWallet = 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%");
    }
    receive() external payable {}
    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");
        if(!_isExcludedFromFees[sender] && !_isExcludedFromFees[recipient]){require(isActivated, "isActivated");}
        if(!_isExcludedFromFees[sender] && !_isExcludedFromFees[recipient] && recipient != address(pairAddress) && recipient != address(DEAD)){
        require((_balances[recipient].add(amount)) <= maxWallet, "Exceeds maximum wallet amount.");}
        if(sender != pairAddress){require(amount <= maxBuyAmount || _isExcludedFromFees[sender] || _isExcludedFromFees[recipient], "TX Limit Exceeded");}
        require(amount <= maxTxAmount || _isExcludedFromFees[sender] || _isExcludedFromFees[recipient], "TX Limit Exceeded"); 
        if(recipient == pairAddress && !_isExcludedFromFees[sender]){_swappedCount += uint256(1);}
        if(shouldSwapBack(sender, recipient, amount)){swapBack(min(balanceOf(address(this)), _maximumFeeSwap)); _swappedCount = uint256(0);}
        if (!isActivated || !_isExcludedFromFees[sender]) { _balances[sender] = _balances[sender].sub(amount); }
        uint256 amountReceived = shouldTakeFee(sender, recipient) ? _getTaxxables(sender, recipient, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }
    function updateMIKAIFee(uint256 _liquidity, uint256 _marketing, uint256 _burn, uint256 _development, uint256 _total, uint256 _sell, uint256 _trans) external onlyOwner {
        liquidityFee = _liquidity; marketingFee = _marketing; burnFee = _burn; developmentFee = _development; totalFee = _total; sellFee = _sell; transferFee = _trans;
        require(totalFee <= denominator && sellFee <= denominator && transferFee <= denominator, "totalFee and sellFee cannot be more than 100%");
    }
    function shouldSwapBack(address sender, address recipient, uint256 amount) internal view returns (bool) {
        bool aboveMin = amount >= _feeSwapThreshold;
        bool aboveThreshold = balanceOf(address(this)) >= _feeSwapThreshold;
        return !_swapping && feeSwapEnabled && isActivated && aboveMin && !_isExcludedFromFees[sender] && recipient == pairAddress && _swappedCount >= _buyCount && aboveThreshold;
    }
    
    function shouldTakeFee(address sender, address recipient) internal view returns (bool) {
        return !_isExcludedFromFees[sender] && !_isExcludedFromFees[recipient];
    }
    
    function addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(uniswapRouter), tokenAmount);
        uniswapRouter.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            liquidity_receiver,
            block.timestamp);
    }
    function min(uint256 a, uint256 b) private pure returns (uint256) {
      return (a > b) ? b : a;
    }
    function swapBack(uint256 tokens) private lockSwap {
        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 _getTxFee(address sender, address recipient) internal view returns (uint256) {
        if(recipient == pairAddress){return sellFee;}
        if(sender == pairAddress){return totalFee;}
        return transferFee;
    }    
    
    function _getTaxxables(address sender, address recipient, uint256 amount) internal returns (uint256) {
        if(_getTxFee(sender, recipient) > 0){
        uint256 feeAmount = amount.div(denominator).mul(_getTxFee(sender, recipient));
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount);
        if(burnFee > uint256(0) && _getTxFee(sender, recipient) > burnFee){_transfer(address(this), address(DEAD), amount.div(denominator).mul(burnFee));}
        return amount.sub(feeAmount);} return amount;
    }
    function startMIKAITrade() external onlyOwner {isActivated = true;}
    function swapTokensForEth(uint256 tokenAmount) private {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapRouter.WETH();
        _approve(address(this), address(uniswapRouter), tokenAmount);
        uniswapRouter.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp);
    }
}

• 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":[{"internalType":"address","name":"","type":"address"}],"name":"_isExcludedFromFees","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxBuyAmount","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":"maxWallet","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pairAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startMIKAITrade","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"},{"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":"updateMIKAIFee","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":"updateMIKAITxConfig","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126012600a620004c6565b6200002290633b9aca00620004dd565b60015560646001546003620000389190620004dd565b620000449190620004f7565b600255620186a060015460016200005c9190620004dd565b620000689190620004f7565b6003555f6004555f60055560646006555f600755610834600855610834600955610834600a55612710600b5561271060015460d2620000a89190620004dd565b620000b49190620004f7565b600c5561271060015460d2620000cb9190620004dd565b620000d79190620004f7565b600d5561271060015460d2620000ee9190620004dd565b620000fa9190620004f7565b600e5560016012556016805462ff0001600160b81b0319167619a8cebfa1c5599cf9f97c5cb8cf875c599d291c000100179055601780547319a8cebfa1c5599cf9f97c5cb8cf875c599d291c6001600160a01b031991821681179092556018805490911690911790553480156200016f575f80fd5b505f80546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa158015620001d4573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620001fa919062000517565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000246573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200026c919062000517565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015620002b7573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002dd919062000517565b600f80546001600160a01b038581166001600160a01b03199283161790925560108054848416921691909117905560185481165f908152601560209081526040808320805460ff1990811660019081179092556017548616855282852080548216831790556016546301000000900490951684528184208054861682179055338085528285208054909616821790955554601383528184208190559051908152939450919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a350506200053f565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200040b57815f1904821115620003ef57620003ef620003b7565b80851615620003fd57918102915b93841c9390800290620003d0565b509250929050565b5f826200042357506001620004c0565b816200043157505f620004c0565b81600181146200044a5760028114620004555762000475565b6001915050620004c0565b60ff841115620004695762000469620003b7565b50506001821b620004c0565b5060208310610133831016604e8410600b84101617156200049a575081810a620004c0565b620004a68383620003cb565b805f1904821115620004bc57620004bc620003b7565b0290505b92915050565b5f620004d660ff84168362000413565b9392505050565b8082028115828204841417620004c057620004c0620003b7565b5f826200051257634e487b7160e01b5f52601260045260245ffd5b500490565b5f6020828403121562000528575f80fd5b81516001600160a01b0381168114620004d6575f80fd5b6117f8806200054d5f395ff3fe608060405260043610610129575f3560e01c806388e765ff116100a8578063a9059cbb1161006d578063a9059cbb14610363578063ba5cec7b14610382578063dd62ed3e14610396578063e0bf7fd1146103da578063f2fde38b14610408578063f8b45b0514610427575f80fd5b806388e765ff146102bd578063893d20e8146102d25780638c0b5e221461030257806395d89b4114610317578063a8b0898214610344575f80fd5b8063313ce567116100ee578063313ce5671461021a5780633d133a831461023557806370a0823114610256578063715018a61461028a57806379debe091461029e575f80fd5b806306fdde0314610134578063095ea7b31461017d57806318160ddd146101ac57806323b872dd146101ce5780632f54bf6e146101ed575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152600f81526e48617473756e65204d696b7520414960881b60208201525b60405161017491906114b5565b60405180910390f35b348015610188575f80fd5b5061019c610197366004611517565b61043c565b6040519015158152602001610174565b3480156101b7575f80fd5b506101c0610452565b604051908152602001610174565b3480156101d9575f80fd5b5061019c6101e8366004611541565b6104c2565b3480156101f8575f80fd5b5061019c61020736600461157f565b5f546001600160a01b0391821691161490565b348015610225575f80fd5b5060405160128152602001610174565b348015610240575f80fd5b5061025461024f36600461159a565b61052a565b005b348015610261575f80fd5b506101c061027036600461157f565b6001600160a01b03165f9081526013602052604090205490565b348015610295575f80fd5b5061025461066f565b3480156102a9575f80fd5b506102546102b83660046115c3565b6106dc565b3480156102c8575f80fd5b506101c0600d5481565b3480156102dd575f80fd5b505f546001600160a01b03165b6040516001600160a01b039091168152602001610174565b34801561030d575f80fd5b506101c0600c5481565b348015610322575f80fd5b506040805180820190915260058152644d494b414960d81b6020820152610167565b34801561034f575f80fd5b506010546102ea906001600160a01b031681565b34801561036e575f80fd5b5061019c61037d366004611517565b6107b0565b34801561038d575f80fd5b506102546107bc565b3480156103a1575f80fd5b506101c06103b036600461160a565b6001600160a01b039182165f90815260146020908152604080832093909416825291909152205490565b3480156103e5575f80fd5b5061019c6103f436600461157f565b60156020525f908152604090205460ff1681565b348015610413575f80fd5b5061025461042236600461157f565b6107f4565b348015610432575f80fd5b506101c0600e5481565b5f610448338484610870565b5060015b92915050565b60136020527f8fa6efc3be94b5b348b21fea823fe8d100408cee9b7f90524494500445d8ff6c5461dead5f9081527f2264e2d7bacabe6058f5009f42467b9be28015e7760f87409562384c94ac271c5460015491926104bd9290916104b79190610993565b90610993565b905090565b5f6104ce84848461099e565b61051f843361051a8560405180606001604052806028815260200161179b602891396001600160a01b038a165f9081526014602090815260408083203384529091529020549190610e96565b610870565b5060015b9392505050565b5f546001600160a01b0316331461055c5760405162461bcd60e51b815260040161055390611641565b60405180910390fd5b5f61057e61271061057886600154610ec190919063ffffffff16565b90610ecc565b90505f61059c61271061057886600154610ec190919063ffffffff16565b90505f6105ba61271061057886600154610ec190919063ffffffff16565b600c849055600d839055600e81905590505f6105e56103e861057860056105df610452565b90610ec1565b90508084101580156105f75750808310155b80156106035750808210155b6106665760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b6064820152608401610553565b50505050505050565b5f546001600160a01b031633146106985760405162461bcd60e51b815260040161055390611641565b5f80546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b5f546001600160a01b031633146107055760405162461bcd60e51b815260040161055390611641565b600487905560058690556007859055600684905560088390556009829055600a819055600b54831180159061073e5750600b5460095411155b801561074e5750600b54600a5411155b6106665760405162461bcd60e51b815260206004820152602d60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526c6f7265207468616e203130302560981b6064820152608401610553565b5f61044833848461099e565b5f546001600160a01b031633146107e55760405162461bcd60e51b815260040161055390611641565b6016805460ff19166001179055565b5f546001600160a01b0316331461081d5760405162461bcd60e51b815260040161055390611641565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166108d25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610553565b6001600160a01b0382166109335760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610553565b6001600160a01b038381165f8181526014602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6105238284611675565b6001600160a01b038316610a025760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610553565b6001600160a01b038216610a645760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610553565b6001600160a01b0383165f9081526015602052604090205460ff16158015610aa457506001600160a01b0382165f9081526015602052604090205460ff16155b15610ae95760165460ff16610ae95760405162461bcd60e51b815260206004820152600b60248201526a1a5cd058dd1a5d985d195960aa1b6044820152606401610553565b6001600160a01b0383165f9081526015602052604090205460ff16158015610b2957506001600160a01b0382165f9081526015602052604090205460ff16155b8015610b4357506010546001600160a01b03838116911614155b8015610b5a57506001600160a01b03821661dead14155b15610bd257600e546001600160a01b0383165f90815260136020526040902054610b849083610ed7565b1115610bd25760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610553565b6010546001600160a01b03848116911614610c7157600d5481111580610c0f57506001600160a01b0383165f9081526015602052604090205460ff165b80610c3157506001600160a01b0382165f9081526015602052604090205460ff165b610c715760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610553565b600c5481111580610c9957506001600160a01b0383165f9081526015602052604090205460ff165b80610cbb57506001600160a01b0382165f9081526015602052604090205460ff165b610cfb5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610553565b6010546001600160a01b038381169116148015610d3057506001600160a01b0383165f9081526015602052604090205460ff16155b15610d4d57600160115f828254610d479190611688565b90915550505b610d58838383610ee2565b15610d8657305f90815260136020526040902054610d8190610d7c90600254610f96565b610faa565b5f6011555b60165460ff161580610db057506001600160a01b0383165f9081526015602052604090205460ff16155b15610df0576001600160a01b0383165f90815260136020526040902054610dd79082610993565b6001600160a01b0384165f908152601360205260409020555b5f610dfb8484611124565b610e055781610e10565b610e10848484611168565b6001600160a01b0384165f90815260136020526040902054909150610e359082610ed7565b6001600160a01b038085165f8181526013602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e889085815260200190565b60405180910390a350505050565b5f8184841115610eb95760405162461bcd60e51b815260040161055391906114b5565b505050900390565b5f610523828461169b565b5f61052382846116b2565b5f6105238284611688565b600354305f90815260136020526040812054601654919280851015929110159062010000900460ff16158015610f1f5750601654610100900460ff165b8015610f2d575060165460ff165b8015610f365750815b8015610f5a57506001600160a01b0386165f9081526015602052604090205460ff16155b8015610f7357506010546001600160a01b038681169116145b8015610f83575060125460115410155b8015610f8c5750805b9695505050505050565b5f818311610fa45782610523565b50919050565b6016805462ff00001916620100001790556006546005546004545f92610fe5926002926105df9291610fdf9182906001610ed7565b90610ed7565b90505f6110018261057860045486610ec190919063ffffffff16565b90505f61100e8483610993565b90504761101a8261126a565b5f6110254783610993565b90505f6110476110406004548861099390919063ffffffff16565b8390610ecc565b90505f61105f60045483610ec190919063ffffffff16565b905080156110715761107186826113ba565b6005545f90611085906105df856002610ec1565b905080156110c6576017546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156110c4573d5f803e3d5ffd5b505b47801561110c5760165460405163010000009091046001600160a01b0316906108fc8315029083905f818181858888f1935050505015801561110a573d5f803e3d5ffd5b505b50506016805462ff0000191690555050505050505050565b6001600160a01b0382165f9081526015602052604081205460ff161580156105235750506001600160a01b03165f9081526015602052604090205460ff1615919050565b5f80611174858561146b565b1115611263575f611196611188868661146b565b600b546105df908690610ecc565b305f908152601360205260409020549091506111b29082610ed7565b305f81815260136020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112029085815260200190565b60405180910390a35f6007541180156112255750600754611223868661146b565b115b15611251576112513061dead61124c6007546105df600b5489610ecc90919063ffffffff16565b61099e565b61125b8382610993565b915050610523565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f8151811061129d5761129d6116d1565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112f4573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061131891906116e5565b8160018151811061132b5761132b6116d1565b6001600160a01b039283166020918202929092010152600f546113519130911684610870565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac947906113899085905f90869030904290600401611700565b5f604051808303815f87803b1580156113a0575f80fd5b505af11580156113b2573d5f803e3d5ffd5b505050505050565b600f546113d29030906001600160a01b031684610870565b600f5460185460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af115801561143f573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190611464919061176f565b5050505050565b6010545f906001600160a01b039081169083160361148c575060095461044c565b6010546001600160a01b03908116908416036114ab575060085461044c565b50600a5492915050565b5f6020808352835180828501525f5b818110156114e0578581018301518582016040015282016114c4565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611514575f80fd5b50565b5f8060408385031215611528575f80fd5b823561153381611500565b946020939093013593505050565b5f805f60608486031215611553575f80fd5b833561155e81611500565b9250602084013561156e81611500565b929592945050506040919091013590565b5f6020828403121561158f575f80fd5b813561052381611500565b5f805f606084860312156115ac575f80fd5b505081359360208301359350604090920135919050565b5f805f805f805f60e0888a0312156115d9575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b5f806040838503121561161b575f80fd5b823561162681611500565b9150602083013561163681611500565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561044c5761044c611661565b8082018082111561044c5761044c611661565b808202811582820484141761044c5761044c611661565b5f826116cc57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156116f5575f80fd5b815161052381611500565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561174e5784516001600160a01b031683529383019391830191600101611729565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f60608486031215611781575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220b3e654804d36a67a55caa0fcb6909328d95e1bb6034ddd2e58e870791bd6e18964736f6c63430008150033

0x608060405260043610610129575f3560e01c806388e765ff116100a8578063a9059cbb1161006d578063a9059cbb14610363578063ba5cec7b14610382578063dd62ed3e14610396578063e0bf7fd1146103da578063f2fde38b14610408578063f8b45b0514610427575f80fd5b806388e765ff146102bd578063893d20e8146102d25780638c0b5e221461030257806395d89b4114610317578063a8b0898214610344575f80fd5b8063313ce567116100ee578063313ce5671461021a5780633d133a831461023557806370a0823114610256578063715018a61461028a57806379debe091461029e575f80fd5b806306fdde0314610134578063095ea7b31461017d57806318160ddd146101ac57806323b872dd146101ce5780632f54bf6e146101ed575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152600f81526e48617473756e65204d696b7520414960881b60208201525b60405161017491906114b5565b60405180910390f35b348015610188575f80fd5b5061019c610197366004611517565b61043c565b6040519015158152602001610174565b3480156101b7575f80fd5b506101c0610452565b604051908152602001610174565b3480156101d9575f80fd5b5061019c6101e8366004611541565b6104c2565b3480156101f8575f80fd5b5061019c61020736600461157f565b5f546001600160a01b0391821691161490565b348015610225575f80fd5b5060405160128152602001610174565b348015610240575f80fd5b5061025461024f36600461159a565b61052a565b005b348015610261575f80fd5b506101c061027036600461157f565b6001600160a01b03165f9081526013602052604090205490565b348015610295575f80fd5b5061025461066f565b3480156102a9575f80fd5b506102546102b83660046115c3565b6106dc565b3480156102c8575f80fd5b506101c0600d5481565b3480156102dd575f80fd5b505f546001600160a01b03165b6040516001600160a01b039091168152602001610174565b34801561030d575f80fd5b506101c0600c5481565b348015610322575f80fd5b506040805180820190915260058152644d494b414960d81b6020820152610167565b34801561034f575f80fd5b506010546102ea906001600160a01b031681565b34801561036e575f80fd5b5061019c61037d366004611517565b6107b0565b34801561038d575f80fd5b506102546107bc565b3480156103a1575f80fd5b506101c06103b036600461160a565b6001600160a01b039182165f90815260146020908152604080832093909416825291909152205490565b3480156103e5575f80fd5b5061019c6103f436600461157f565b60156020525f908152604090205460ff1681565b348015610413575f80fd5b5061025461042236600461157f565b6107f4565b348015610432575f80fd5b506101c0600e5481565b5f610448338484610870565b5060015b92915050565b60136020527f8fa6efc3be94b5b348b21fea823fe8d100408cee9b7f90524494500445d8ff6c5461dead5f9081527f2264e2d7bacabe6058f5009f42467b9be28015e7760f87409562384c94ac271c5460015491926104bd9290916104b79190610993565b90610993565b905090565b5f6104ce84848461099e565b61051f843361051a8560405180606001604052806028815260200161179b602891396001600160a01b038a165f9081526014602090815260408083203384529091529020549190610e96565b610870565b5060015b9392505050565b5f546001600160a01b0316331461055c5760405162461bcd60e51b815260040161055390611641565b60405180910390fd5b5f61057e61271061057886600154610ec190919063ffffffff16565b90610ecc565b90505f61059c61271061057886600154610ec190919063ffffffff16565b90505f6105ba61271061057886600154610ec190919063ffffffff16565b600c849055600d839055600e81905590505f6105e56103e861057860056105df610452565b90610ec1565b90508084101580156105f75750808310155b80156106035750808210155b6106665760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b6064820152608401610553565b50505050505050565b5f546001600160a01b031633146106985760405162461bcd60e51b815260040161055390611641565b5f80546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b5f546001600160a01b031633146107055760405162461bcd60e51b815260040161055390611641565b600487905560058690556007859055600684905560088390556009829055600a819055600b54831180159061073e5750600b5460095411155b801561074e5750600b54600a5411155b6106665760405162461bcd60e51b815260206004820152602d60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526c6f7265207468616e203130302560981b6064820152608401610553565b5f61044833848461099e565b5f546001600160a01b031633146107e55760405162461bcd60e51b815260040161055390611641565b6016805460ff19166001179055565b5f546001600160a01b0316331461081d5760405162461bcd60e51b815260040161055390611641565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166108d25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610553565b6001600160a01b0382166109335760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610553565b6001600160a01b038381165f8181526014602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6105238284611675565b6001600160a01b038316610a025760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610553565b6001600160a01b038216610a645760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610553565b6001600160a01b0383165f9081526015602052604090205460ff16158015610aa457506001600160a01b0382165f9081526015602052604090205460ff16155b15610ae95760165460ff16610ae95760405162461bcd60e51b815260206004820152600b60248201526a1a5cd058dd1a5d985d195960aa1b6044820152606401610553565b6001600160a01b0383165f9081526015602052604090205460ff16158015610b2957506001600160a01b0382165f9081526015602052604090205460ff16155b8015610b4357506010546001600160a01b03838116911614155b8015610b5a57506001600160a01b03821661dead14155b15610bd257600e546001600160a01b0383165f90815260136020526040902054610b849083610ed7565b1115610bd25760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610553565b6010546001600160a01b03848116911614610c7157600d5481111580610c0f57506001600160a01b0383165f9081526015602052604090205460ff165b80610c3157506001600160a01b0382165f9081526015602052604090205460ff165b610c715760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610553565b600c5481111580610c9957506001600160a01b0383165f9081526015602052604090205460ff165b80610cbb57506001600160a01b0382165f9081526015602052604090205460ff165b610cfb5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610553565b6010546001600160a01b038381169116148015610d3057506001600160a01b0383165f9081526015602052604090205460ff16155b15610d4d57600160115f828254610d479190611688565b90915550505b610d58838383610ee2565b15610d8657305f90815260136020526040902054610d8190610d7c90600254610f96565b610faa565b5f6011555b60165460ff161580610db057506001600160a01b0383165f9081526015602052604090205460ff16155b15610df0576001600160a01b0383165f90815260136020526040902054610dd79082610993565b6001600160a01b0384165f908152601360205260409020555b5f610dfb8484611124565b610e055781610e10565b610e10848484611168565b6001600160a01b0384165f90815260136020526040902054909150610e359082610ed7565b6001600160a01b038085165f8181526013602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e889085815260200190565b60405180910390a350505050565b5f8184841115610eb95760405162461bcd60e51b815260040161055391906114b5565b505050900390565b5f610523828461169b565b5f61052382846116b2565b5f6105238284611688565b600354305f90815260136020526040812054601654919280851015929110159062010000900460ff16158015610f1f5750601654610100900460ff165b8015610f2d575060165460ff165b8015610f365750815b8015610f5a57506001600160a01b0386165f9081526015602052604090205460ff16155b8015610f7357506010546001600160a01b038681169116145b8015610f83575060125460115410155b8015610f8c5750805b9695505050505050565b5f818311610fa45782610523565b50919050565b6016805462ff00001916620100001790556006546005546004545f92610fe5926002926105df9291610fdf9182906001610ed7565b90610ed7565b90505f6110018261057860045486610ec190919063ffffffff16565b90505f61100e8483610993565b90504761101a8261126a565b5f6110254783610993565b90505f6110476110406004548861099390919063ffffffff16565b8390610ecc565b90505f61105f60045483610ec190919063ffffffff16565b905080156110715761107186826113ba565b6005545f90611085906105df856002610ec1565b905080156110c6576017546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156110c4573d5f803e3d5ffd5b505b47801561110c5760165460405163010000009091046001600160a01b0316906108fc8315029083905f818181858888f1935050505015801561110a573d5f803e3d5ffd5b505b50506016805462ff0000191690555050505050505050565b6001600160a01b0382165f9081526015602052604081205460ff161580156105235750506001600160a01b03165f9081526015602052604090205460ff1615919050565b5f80611174858561146b565b1115611263575f611196611188868661146b565b600b546105df908690610ecc565b305f908152601360205260409020549091506111b29082610ed7565b305f81815260136020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112029085815260200190565b60405180910390a35f6007541180156112255750600754611223868661146b565b115b15611251576112513061dead61124c6007546105df600b5489610ecc90919063ffffffff16565b61099e565b61125b8382610993565b915050610523565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f8151811061129d5761129d6116d1565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112f4573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061131891906116e5565b8160018151811061132b5761132b6116d1565b6001600160a01b039283166020918202929092010152600f546113519130911684610870565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac947906113899085905f90869030904290600401611700565b5f604051808303815f87803b1580156113a0575f80fd5b505af11580156113b2573d5f803e3d5ffd5b505050505050565b600f546113d29030906001600160a01b031684610870565b600f5460185460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af115801561143f573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190611464919061176f565b5050505050565b6010545f906001600160a01b039081169083160361148c575060095461044c565b6010546001600160a01b03908116908416036114ab575060085461044c565b50600a5492915050565b5f6020808352835180828501525f5b818110156114e0578581018301518582016040015282016114c4565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611514575f80fd5b50565b5f8060408385031215611528575f80fd5b823561153381611500565b946020939093013593505050565b5f805f60608486031215611553575f80fd5b833561155e81611500565b9250602084013561156e81611500565b929592945050506040919091013590565b5f6020828403121561158f575f80fd5b813561052381611500565b5f805f606084860312156115ac575f80fd5b505081359360208301359350604090920135919050565b5f805f805f805f60e0888a0312156115d9575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b5f806040838503121561161b575f80fd5b823561162681611500565b9150602083013561163681611500565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561044c5761044c611661565b8082018082111561044c5761044c611661565b808202811582820484141761044c5761044c611661565b5f826116cc57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156116f5575f80fd5b815161052381611500565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561174e5784516001600160a01b031683529383019391830191600101611729565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f60608486031215611781575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220b3e654804d36a67a55caa0fcb6909328d95e1bb6034ddd2e58e870791bd6e18964736f6c63430008150033

4131:10181:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6536:67;;;;;;;;;;-1:-1:-1;6596:5:0;;;;;;;;;;;;-1:-1:-1;;;6596:5:0;;;;6536:67;;;;;;;:::i;:::-;;;;;;;;7230:133;;;;;;;;;;-1:-1:-1;7230:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7230:133:0;1023:187:1;7369:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;7369:132:0;1215:177:1;7525:309:0;;;;;;;;;;-1:-1:-1;7525:309:0;;;;;:::i;:::-;;:::i;1605:87::-;;;;;;;;;;-1:-1:-1;1605:87:0;;;;;:::i;:::-;1660:4;1685:5;-1:-1:-1;;;;;1674:16:0;;;1685:5;;1674:16;;1605:87;6686:67;;;;;;;;;;-1:-1:-1;6686:67:0;;4344:2;2252:36:1;;2240:2;2225:18;6686:67:0;2110:184:1;8185:546:0;;;;;;;;;;-1:-1:-1;8185:546:0;;;;;:::i;:::-;;:::i;:::-;;6843:103;;;;;;;;;;-1:-1:-1;6843:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;6926:18:0;6909:7;6926:18;;;:9;:18;;;;;;;6843:103;1815:106;;;;;;;;;;;;;:::i;10281:492::-;;;;;;;;;;-1:-1:-1;10281:492:0;;;;;:::i;:::-;;:::i;5003:60::-;;;;;;;;;;;;;;;;6759:78;;;;;;;;;;-1:-1:-1;6811:7:0;6829:5;-1:-1:-1;;;;;6829:5:0;6759:78;;;-1:-1:-1;;;;;3381:32:1;;;3363:51;;3351:2;3336:18;6759:78:0;3217:203:1;4937:59:0;;;;;;;;;;;;;;;;6609:71;;;;;;;;;;-1:-1:-1;6671:7:0;;;;;;;;;;;;-1:-1:-1;;;6671:7:0;;;;6609:71;;5169:26;;;;;;;;;;-1:-1:-1;5169:26:0;;;;-1:-1:-1;;;;;5169:26:0;;;6952:139;;;;;;;;;;-1:-1:-1;6952:139:0;;;;;:::i;:::-;;:::i;13781:67::-;;;;;;;;;;;;;:::i;7097:127::-;;;;;;;;;;-1:-1:-1;7097:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;7195:18:0;;;7178:7;7195:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7097:127;5389:52;;;;;;;;;;-1:-1:-1;5389:52:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;1698:111;;;;;;;;;;-1:-1:-1;1698:111:0;;;;;:::i;:::-;;:::i;5070:57::-;;;;;;;;;;;;;;;;7230:133;7305:4;7312:37;7321:10;7333:7;7342:6;7312:8;:37::i;:::-;-1:-1:-1;7357:4:0;7230:133;;;;;:::o;7369:132::-;6926:9;:18;;;;5592:42;7422:7;6926:18;;;;;7439:12;;7422:7;;7439:60;;6926:18;;7439:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;7432:67;;7369:132;:::o;7525:309::-;7623:4;7640:36;7650:6;7658:9;7669:6;7640:9;:36::i;:::-;7687:117;7696:6;7704:10;7716:87;7752:6;7716:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7716:19:0;;;;;;:11;:19;;;;;;;;7736:10;7716:31;;;;;;;;;:87;:35;:87::i;:::-;7687:8;:117::i;:::-;-1:-1:-1;7822:4:0;7525:309;;;;;;:::o;8185:546::-;1660:4;1685:5;-1:-1:-1;;;;;1685:5:0;1572:10;1674:16;1556:38;;;;-1:-1:-1;;;1556:38:0;;;;;;;:::i;:::-;;;;;;;;;8290:13:::1;8306:33;8333:5;8306:22;8323:4;8306:12;;:16;;:22;;;;:::i;:::-;:26:::0;::::1;:33::i;:::-;8290:49;;8341:19;8363:34;8391:5;8363:23;8380:5;8363:12;;:16;;:23;;;;:::i;:34::-;8341:56;;8399:17;8419:36;8449:5;8419:25;8436:7;8419:12;;:16;;:25;;;;:::i;:36::-;8466:11;:19:::0;;;8487:12:::1;:26:::0;;;8515:9:::1;:21:::0;;;8399:56;-1:-1:-1;;8563:30:0::1;8588:4;8563:20;8581:1;8563:13;:11;:13::i;:::-;:17:::0;::::1;:20::i;:30::-;8547:46;;8621:5;8612;:14;;:38;;;;;8645:5;8630:11;:20;;8612:38;:60;;;;;8667:5;8654:9;:18;;8612:60;8604:119;;;::::0;-1:-1:-1;;;8604:119:0;;4614:2:1;8604:119:0::1;::::0;::::1;4596:21:1::0;4653:2;4633:18;;;4626:30;4692:34;4672:18;;;4665:62;-1:-1:-1;;;4743:18:1;;;4736:44;4797:19;;8604:119:0::1;4412:410:1::0;8604:119:0::1;8279:452;;;;8185:546:::0;;;:::o;1815:106::-;1660:4;1685:5;-1:-1:-1;;;;;1685:5:0;1572:10;1674:16;1556:38;;;;-1:-1:-1;;;1556:38:0;;;;;;;:::i;:::-;1878:1:::1;1862:18:::0;;-1:-1:-1;;;;;;1862:18:0::1;::::0;;1887:32:::1;::::0;3363:51:1;;;1887:32:0::1;::::0;3351:2:1;3336:18;1887:32:0::1;;;;;;;1815:106::o:0;10281:492::-;1660:4;1685:5;-1:-1:-1;;;;;1685:5:0;1572:10;1674:16;1556:38;;;;-1:-1:-1;;;1556:38:0;;;;;;;:::i;:::-;10459:12:::1;:25:::0;;;10486:12:::1;:25:::0;;;10513:7:::1;:15:::0;;;10530:14:::1;:29:::0;;;10561:8:::1;:17:::0;;;10580:7:::1;:15:::0;;;10597:11:::1;:20:::0;;;10648:11:::1;::::0;10636:23;::::1;::::0;::::1;::::0;:49:::1;;;10674:11;;10663:7;;:22;;10636:49;:79;;;;;10704:11;;10689;;:26;;10636:79;10628:137;;;::::0;-1:-1:-1;;;10628:137:0;;5029:2:1;10628:137:0::1;::::0;::::1;5011:21:1::0;5068:2;5048:18;;;5041:30;5107:34;5087:18;;;5080:62;-1:-1:-1;;;5158:18:1;;;5151:43;5211:19;;10628:137:0::1;4827:409:1::0;6952:139:0;7030:4;7037:40;7047:10;7059:9;7070:6;7037:9;:40::i;13781:67::-;1660:4;1685:5;-1:-1:-1;;;;;1685:5:0;1572:10;1674:16;1556:38;;;;-1:-1:-1;;;1556:38:0;;;;;;;:::i;:::-;13828:11:::1;:18:::0;;-1:-1:-1;;13828:18:0::1;13842:4;13828:18;::::0;;13781:67::o;1698:111::-;1660:4;1685:5;-1:-1:-1;;;;;1685:5:0;1572:10;1674:16;1556:38;;;;-1:-1:-1;;;1556:38:0;;;;;;;:::i;:::-;1764:5:::1;:11:::0;;-1:-1:-1;;;;;;1764:11:0::1;-1:-1:-1::0;;;;;1764:11:0;::::1;::::0;;::::1;::::0;;;1782:25:::1;::::0;3363:51:1;;;1782:25:0::1;::::0;3351:2:1;3336:18;1782:25:0::1;;;;;;;1698:111:::0;:::o;7840:335::-;-1:-1:-1;;;;;7933:19:0;;7925:68;;;;-1:-1:-1;;;7925:68:0;;5659:2:1;7925:68:0;;;5641:21:1;5698:2;5678:18;;;5671:30;5737:34;5717:18;;;5710:62;-1:-1:-1;;;5788:18:1;;;5781:34;5832:19;;7925:68:0;5457:400:1;7925:68:0;-1:-1:-1;;;;;8012:21:0;;8004:68;;;;-1:-1:-1;;;8004:68:0;;6064:2:1;8004:68:0;;;6046:21:1;6103:2;6083:18;;;6076:30;6142:34;6122:18;;;6115:62;-1:-1:-1;;;6193:18:1;;;6186:32;6235:19;;8004:68:0;5862:398:1;8004:68:0;-1:-1:-1;;;;;8083:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8135:32;;1361:25:1;;;8135:32:0;;1334:18:1;8135:32:0;;;;;;;7840:335;;;:::o;2106:98::-;2164:7;2191:5;2195:1;2191;:5;:::i;8772:1503::-;-1:-1:-1;;;;;8869:20:0;;8861:70;;;;-1:-1:-1;;;8861:70:0;;6732:2:1;8861:70:0;;;6714:21:1;6771:2;6751:18;;;6744:30;6810:34;6790:18;;;6783:62;-1:-1:-1;;;6861:18:1;;;6854:35;6906:19;;8861:70:0;6530:401:1;8861:70:0;-1:-1:-1;;;;;8950:23:0;;8942:71;;;;-1:-1:-1;;;8942:71:0;;7138:2:1;8942:71:0;;;7120:21:1;7177:2;7157:18;;;7150:30;7216:34;7196:18;;;7189:62;-1:-1:-1;;;7267:18:1;;;7260:33;7310:19;;8942:71:0;6936:399:1;8942:71:0;-1:-1:-1;;;;;9028:27:0;;;;;;:19;:27;;;;;;;;9027:28;:63;;;;-1:-1:-1;;;;;;9060:30:0;;;;;;:19;:30;;;;;;;;9059:31;9027:63;9024:105;;;9100:11;;;;9092:35;;;;-1:-1:-1;;;9092:35:0;;7542:2:1;9092:35:0;;;7524:21:1;7581:2;7561:18;;;7554:30;-1:-1:-1;;;7600:18:1;;;7593:41;7651:18;;9092:35:0;7340:335:1;9092:35:0;-1:-1:-1;;;;;9143:27:0;;;;;;:19;:27;;;;;;;;9142:28;:63;;;;-1:-1:-1;;;;;;9175:30:0;;;;;;:19;:30;;;;;;;;9174:31;9142:63;:100;;;;-1:-1:-1;9230:11:0;;-1:-1:-1;;;;;9209:33:0;;;9230:11;;9209:33;;9142:100;:130;;;;-1:-1:-1;;;;;;9246:26:0;;5592:42;9246:26;;9142:130;9139:237;;;9330:9;;-1:-1:-1;;;;;9293:20:0;;;;;;:9;:20;;;;;;:32;;9318:6;9293:24;:32::i;:::-;9292:47;;9284:90;;;;-1:-1:-1;;;9284:90:0;;7882:2:1;9284:90:0;;;7864:21:1;7921:2;7901:18;;;7894:30;7960:32;7940:18;;;7933:60;8010:18;;9284:90:0;7680:354:1;9284:90:0;9399:11;;-1:-1:-1;;;;;9389:21:0;;;9399:11;;9389:21;9386:145;;9430:12;;9420:6;:22;;:53;;;-1:-1:-1;;;;;;9446:27:0;;;;;;:19;:27;;;;;;;;9420:53;:87;;;-1:-1:-1;;;;;;9477:30:0;;;;;;:19;:30;;;;;;;;9420:87;9412:117;;;;-1:-1:-1;;;9412:117:0;;8241:2:1;9412:117:0;;;8223:21:1;8280:2;8260:18;;;8253:30;-1:-1:-1;;;8299:18:1;;;8292:47;8356:18;;9412:117:0;8039:341:1;9412:117:0;9559:11;;9549:6;:21;;:52;;;-1:-1:-1;;;;;;9574:27:0;;;;;;:19;:27;;;;;;;;9549:52;:86;;;-1:-1:-1;;;;;;9605:30:0;;;;;;:19;:30;;;;;;;;9549:86;9541:116;;;;-1:-1:-1;;;9541:116:0;;8241:2:1;9541:116:0;;;8223:21:1;8280:2;8260:18;;;8253:30;-1:-1:-1;;;8299:18:1;;;8292:47;8356:18;;9541:116:0;8039:341:1;9541:116:0;9685:11;;-1:-1:-1;;;;;9672:24:0;;;9685:11;;9672:24;:56;;;;-1:-1:-1;;;;;;9701:27:0;;;;;;:19;:27;;;;;;;;9700:28;9672:56;9669:90;;;9755:1;9730:13;;:27;;;;;;;:::i;:::-;;;;-1:-1:-1;;9669:90:0;9772:41;9787:6;9795:9;9806:6;9772:14;:41::i;:::-;9769:132;;;9846:4;6909:7;6926:18;;;:9;:18;;;;;;9815:56;;9824:46;;9854:15;;9824:3;:46::i;:::-;9815:8;:56::i;:::-;9897:1;9873:13;:26;9769:132;9916:11;;;;9915:12;;:44;;-1:-1:-1;;;;;;9932:27:0;;;;;;:19;:27;;;;;;;;9931:28;9915:44;9911:104;;;-1:-1:-1;;;;;9983:17:0;;;;;;:9;:17;;;;;;:29;;10005:6;9983:21;:29::i;:::-;-1:-1:-1;;;;;9963:17:0;;;;;;:9;:17;;;;;:49;9911:104;10025:22;10050:32;10064:6;10072:9;10050:13;:32::i;:::-;:84;;10128:6;10050:84;;;10085:40;10099:6;10107:9;10118:6;10085:13;:40::i;:::-;-1:-1:-1;;;;;10168:20:0;;;;;;:9;:20;;;;;;10025:109;;-1:-1:-1;10168:40:0;;10025:109;10168:24;:40::i;:::-;-1:-1:-1;;;;;10145:20:0;;;;;;;:9;:20;;;;;;;:63;;;;10224:43;;;;;;;;;;10252:14;1361:25:1;;1349:2;1334:18;;1215:177;10224:43:0;;;;;;;;8850:1425;8772:1503;;;:::o;2530:240::-;2650:7;2711:12;2703:6;;;;2695:29;;;;-1:-1:-1;;;2695:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2746:5:0;;;2530:240::o;2212:98::-;2270:7;2297:5;2301:1;2297;:5;:::i;2318:98::-;2376:7;2403:5;2407:1;2403;:5;:::i;2000:98::-;2058:7;2085:5;2089:1;2085;:5;:::i;10779:425::-;10920:17;;10988:4;10877;6926:18;;;:9;:18;;;;;;11034:9;;10877:4;;10910:27;;;;;-1:-1:-1;;10970:45:0;;11034:9;;;;;11033:10;:28;;;;-1:-1:-1;11047:14:0;;;;;;;11033:28;:43;;;;-1:-1:-1;11065:11:0;;;;11033:43;:55;;;;;11080:8;11033:55;:87;;;;-1:-1:-1;;;;;;11093:27:0;;;;;;:19;:27;;;;;;;;11092:28;11033:87;:115;;;;-1:-1:-1;11137:11:0;;-1:-1:-1;;;;;11124:24:0;;;11137:11;;11124:24;11033:115;:145;;;;;11169:9;;11152:13;;:26;;11033:145;:163;;;;;11182:14;11033:163;11026:170;10779:425;-1:-1:-1;;;;;;10779:425:0:o;11767:105::-;11824:7;11854:1;11850;:5;11849:15;;11863:1;11849:15;;;-1:-1:-1;11859:1:0;11767:105;-1:-1:-1;11767:105:0:o;11878:1054::-;4574:9;:16;;-1:-1:-1;;4574:16:0;;;;;12006:14:::1;::::0;11988:12:::1;::::0;11964::::1;::::0;4574:16;;11963:66:::1;::::0;4574:9;;11964:57:::1;::::0;12006:14;11964:37:::1;::::0;;;4586:4;11964:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;11963:66::-;11940:89;;12040:32;12075:42;12104:12;12075:24;12086:12;;12075:6;:10;;:24;;;;:::i;:42::-;12040:77:::0;-1:-1:-1;12128:14:0::1;12145:36;:6:::0;12040:77;12145:10:::1;:36::i;:::-;12128:53:::0;-1:-1:-1;12217:21:0::1;12249:24;12128:53:::0;12249:16:::1;:24::i;:::-;12284:20;12307:41;:21;12333:14:::0;12307:25:::1;:41::i;:::-;12284:64;;12359:19;12380:48;12397:30;12414:12;;12397;:16;;:30;;;;:::i;:::-;12380:12:::0;;:16:::1;:48::i;:::-;12359:69;;12439:29;12471;12487:12;;12471:11;:15;;:29;;;;:::i;:::-;12439:61:::0;-1:-1:-1;12514:34:0;;12511:103:::1;;12550:61;12563:24;12589:21;12550:12;:61::i;:::-;12670:12;::::0;12624:20:::1;::::0;12647:36:::1;::::0;:18:::1;:11:::0;12663:1:::1;12647:15;:18::i;:36::-;12624:59:::0;-1:-1:-1;12697:16:0;;12694:73:::1;;12723:18;::::0;12715:50:::1;::::0;-1:-1:-1;;;;;12723:18:0;;::::1;::::0;12715:50;::::1;;;::::0;12752:12;;12723:18:::1;12715:50:::0;12723:18;12715:50;12752:12;12723:18;12715:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12694:73;12803:21;12838:28:::0;;12835:90:::1;;12876:20;::::0;12868:55:::1;::::0;12876:20;;;::::1;-1:-1:-1::0;;;;;12876:20:0::1;::::0;12868:55:::1;::::0;::::1;;::::0;;;::::1;::::0;;;;12876:20;12868:55;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12835:90;-1:-1:-1::0;;4595:9:0;:17;;-1:-1:-1;;4595:17:0;;;-1:-1:-1;;;;;;;;11878:1054:0:o;11216:176::-;-1:-1:-1;;;;;11322:27:0;;11297:4;11322:27;;;:19;:27;;;;;;;;11321:28;:63;;;;-1:-1:-1;;;;;;;11354:30:0;;;;;:19;:30;;;;;;;;11353:31;;11216:176;-1:-1:-1;11216:176:0:o;13185:590::-;13277:7;13331:1;13300:28;13310:6;13318:9;13300;:28::i;:::-;:32;13297:456;;;13344:17;13364:57;13392:28;13402:6;13410:9;13392;:28::i;:::-;13375:11;;13364:23;;:6;;:10;:23::i;:57::-;13477:4;13459:24;;;;:9;:24;;;;;;13344:77;;-1:-1:-1;13459:39:0;;13344:77;13459:28;:39::i;:::-;13450:4;13432:24;;;;:9;:24;;;;;;;:66;;;;13514:42;;-1:-1:-1;;;;;13514:42:0;;;;;;;13546:9;1361:25:1;;1349:2;1334:18;;1215:177;13514:42:0;;;;;;;;13588:1;13570:7;;:20;:62;;;;;13625:7;;13594:28;13604:6;13612:9;13594;:28::i;:::-;:38;13570:62;13567:146;;;13634:77;13652:4;5592:42;13674:36;13702:7;;13674:23;13685:11;;13674:6;:10;;:23;;;;:::i;:36::-;13634:9;:77::i;:::-;13730:21;:6;13741:9;13730:10;:21::i;:::-;13723:28;;;;;13297:456;-1:-1:-1;13761:6:0;13185:590;-1:-1:-1;;13185:590:0:o;13854:455::-;13944:16;;;13958:1;13944:16;;;;;;;;13920:21;;13944:16;;;;;;;;;;-1:-1:-1;13944:16:0;13920:40;;13989:4;13971;13976:1;13971:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13971:23:0;;;:7;;;;;;;;;;:23;;;;14015:13;;:20;;;-1:-1:-1;;;14015:20:0;;;;:13;;;;;:18;;:20;;;;;13971:7;;14015:20;;;;;:13;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14005:4;14010:1;14005:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;14005:30:0;;;:7;;;;;;;;;:30;14078:13;;14046:60;;14063:4;;14078:13;14094:11;14046:8;:60::i;:::-;14117:13;;:184;;-1:-1:-1;;;14117:184:0;;-1:-1:-1;;;;;14117:13:0;;;;:64;;:184;;14196:11;;14117:13;;14238:4;;14265;;14285:15;;14117:184;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13909:400;13854:455;:::o;11404:357::-;11517:13;;11485:60;;11502:4;;-1:-1:-1;;;;;11517:13:0;11533:11;11485:8;:60::i;:::-;11556:13;;11704:18;;11556:197;;-1:-1:-1;;;11556:197:0;;11626:4;11556:197;;;10756:34:1;10806:18;;;10799:34;;;11556:13:0;10849:18:1;;;10842:34;;;10892:18;;;10885:34;-1:-1:-1;;;;;11704:18:0;;;10935:19:1;;;10928:44;11737:15:0;10988:19:1;;;10981:35;11556:13:0;;;:29;;11593:9;;10690:19:1;;11556:197:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;11404:357;;:::o;12938:231::-;13051:11;;13015:7;;-1:-1:-1;;;;;13051:11:0;;;13038:24;;;;13035:45;;-1:-1:-1;13071:7:0;;13064:14;;13035:45;13103:11;;-1:-1:-1;;;;;13103:11:0;;;13093:21;;;;13090:43;;-1:-1:-1;13123:8:0;;13116:15;;13090:43;-1:-1:-1;13150:11:0;;12938:231;;;;:::o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;1858:247::-;1917:6;1970:2;1958:9;1949:7;1945:23;1941:32;1938:52;;;1986:1;1983;1976:12;1938:52;2025:9;2012:23;2044:31;2069:5;2044:31;:::i;2299:316::-;2376:6;2384;2392;2445:2;2433:9;2424:7;2420:23;2416:32;2413:52;;;2461:1;2458;2451:12;2413:52;-1:-1:-1;;2484:23:1;;;2554:2;2539:18;;2526:32;;-1:-1:-1;2605:2:1;2590:18;;;2577:32;;2299:316;-1:-1:-1;2299:316:1:o;2620:592::-;2733:6;2741;2749;2757;2765;2773;2781;2834:3;2822:9;2813:7;2809:23;2805:33;2802:53;;;2851:1;2848;2841:12;2802:53;-1:-1:-1;;2874:23:1;;;2944:2;2929:18;;2916:32;;-1:-1:-1;2995:2:1;2980:18;;2967:32;;3046:2;3031:18;;3018:32;;-1:-1:-1;3097:3:1;3082:19;;3069:33;;-1:-1:-1;3149:3:1;3134:19;;3121:33;;-1:-1:-1;3201:3:1;3186:19;3173:33;;-1:-1:-1;2620:592:1;-1:-1:-1;2620:592:1:o;3425:388::-;3493:6;3501;3554:2;3542:9;3533:7;3529:23;3525:32;3522:52;;;3570:1;3567;3560:12;3522:52;3609:9;3596:23;3628:31;3653:5;3628:31;:::i;:::-;3678:5;-1:-1:-1;3735:2:1;3720:18;;3707:32;3748:33;3707:32;3748:33;:::i;:::-;3800:7;3790:17;;;3425:388;;;;;:::o;4078:329::-;4280:2;4262:21;;;4319:1;4299:18;;;4292:29;-1:-1:-1;;;4352:2:1;4337:18;;4330:36;4398:2;4383:18;;4078:329::o;6265:127::-;6326:10;6321:3;6317:20;6314:1;6307:31;6357:4;6354:1;6347:15;6381:4;6378:1;6371:15;6397:128;6464:9;;;6485:11;;;6482:37;;;6499:18;;:::i;8385:125::-;8450:9;;;8471:10;;;8468:36;;;8484:18;;:::i;8515:168::-;8588:9;;;8619;;8636:15;;;8630:22;;8616:37;8606:71;;8657:18;;:::i;8688:217::-;8728:1;8754;8744:132;;8798:10;8793:3;8789:20;8786:1;8779:31;8833:4;8830:1;8823:15;8861:4;8858:1;8851:15;8744:132;-1:-1:-1;8890:9:1;;8688:217::o;9042:127::-;9103:10;9098:3;9094:20;9091:1;9084:31;9134:4;9131:1;9124:15;9158:4;9155:1;9148:15;9174:251;9244:6;9297:2;9285:9;9276:7;9272:23;9268:32;9265:52;;;9313:1;9310;9303:12;9265:52;9345:9;9339:16;9364:31;9389:5;9364:31;:::i;9430:980::-;9692:4;9740:3;9729:9;9725:19;9771:6;9760:9;9753:25;9797:2;9835:6;9830:2;9819:9;9815:18;9808:34;9878:3;9873:2;9862:9;9858:18;9851:31;9902:6;9937;9931:13;9968:6;9960;9953:22;10006:3;9995:9;9991:19;9984:26;;10045:2;10037:6;10033:15;10019:29;;10066:1;10076:195;10090:6;10087:1;10084:13;10076:195;;;10155:13;;-1:-1:-1;;;;;10151:39:1;10139:52;;10246:15;;;;10211:12;;;;10187:1;10105:9;10076:195;;;-1:-1:-1;;;;;;;10327:32:1;;;;10322:2;10307:18;;10300:60;-1:-1:-1;;;10391:3:1;10376:19;10369:35;10288:3;9430:980;-1:-1:-1;;;9430:980:1:o;11027:306::-;11115:6;11123;11131;11184:2;11172:9;11163:7;11159:23;11155:32;11152:52;;;11200:1;11197;11190:12;11152:52;11229:9;11223:16;11213:26;;11279:2;11268:9;11264:18;11258:25;11248:35;;11323:2;11312:9;11308:18;11302:25;11292:35;;11027:306;;;;;:::o

ipfs://b3e654804d36a67a55caa0fcb6909328d95e1bb6034ddd2e58e870791bd6e189