Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IUniswapRouter    - function factory()    - function WETH()    - function addLiquidityETH(    - function swapExactTokensForETHSupport ... 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 IUniswapFactory    - function createPair(address tokenA, a ...    - function getPair(address tokenA, addr ...  contract HEALTH 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 shouldTakeFee(address sender ...    - function addLiquidity(uint256 tokenAm ...    - function min(uint256 a, uint256 b)    - function _approve(address owner, addr ...    - function updateHealthTxConfig(uint256 ...    - function _getFeesDenom(address sender ...    - function _getValuesFinal(address send ...    - function _transfer(address sender, ad ...    - function updateHealthFee(uint256 _liq ...    - function shouldSwapBack(address sende ...    - function swapBack(uint256 tokens)    - function startHealthTrade()    - function swapTokensForEth(uint256 tok ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/*
A personal assistant to your healthy lifestyle. Nutrition, water, sleep, and workout tracker. Track your goals and analyze your progress!

Web: https://healthai.services
TG: https://t.me/HealthAI_service_official
X: https://twitter.com/HealthAI_HAI
Docs: https://docs.healthai.services
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.21;

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 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 IUniswapFactory {
    function createPair(address tokenA, address tokenB) external returns (address pairAddress_);
    function getPair(address tokenA, address tokenB) external view returns (address pairAddress_);
}

contract HEALTH is IERC20, Ownable {
    using SafeMath for uint256;

    string private constant _name = 'Health AI';
    string private constant _symbol = 'HAI';
    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 public maxTxAmount = ( _totalSupply * 200 ) / 10000;
    uint256 public maxBuyAmount = ( _totalSupply * 200 ) / 10000;
    uint256 public maxWallet = ( _totalSupply * 200 ) / 10000;

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

    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public _isExcludedFromFees;
    
    bool private isTradingEnabled = false;
    bool private feeSwapEnabled = true;
    bool private _swapping;

    IUniswapRouter uniswapRouter;
    address public pairAddress;
    uint256 private _swappedCount;
    uint256 _buyCount = 1;
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 0; 
    uint256 private developmentFee = 100; 
    uint256 private burnFee = 0;
    uint256 private totalFee = 2200; 
    uint256 private sellFee = 2200; 
    uint256 private transferFee = 2200;
    uint256 private denominator = 10000;

    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 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 _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 updateHealthTxConfig(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%");
    }
    function _getFeesDenom(address sender, address recipient) internal view returns (uint256) {
        if(recipient == pairAddress){return sellFee;}
        if(sender == pairAddress){return totalFee;}
        return transferFee;
    }    
    
    function _getValuesFinal(address sender, address recipient, uint256 amount) internal returns (uint256) {
        if(_getFeesDenom(sender, recipient) > 0){
        uint256 feeAmount = amount.div(denominator).mul(_getFeesDenom(sender, recipient));
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount);
        if(burnFee > uint256(0) && _getFeesDenom(sender, recipient) > burnFee){_transfer(address(this), address(DEAD), amount.div(denominator).mul(burnFee));}
        return amount.sub(feeAmount);} return amount;
    }
    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(isTradingEnabled, "isTradingEnabled");}
        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 (!isTradingEnabled || !_isExcludedFromFees[sender]) { _balances[sender] = _balances[sender].sub(amount); }
        uint256 amountReceived = shouldTakeFee(sender, recipient) ? _getValuesFinal(sender, recipient, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }
    
    function updateHealthFee(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 && isTradingEnabled && aboveMin && !_isExcludedFromFees[sender] && recipient == pairAddress && _swappedCount >= _buyCount && aboveThreshold;
    }
    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 startHealthTrade() external onlyOwner {isTradingEnabled = 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":"startHealthTrade","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":"updateHealthFee","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":"updateHealthTxConfig","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126012600a620004c0565b6200002290633b9aca00620004d7565b60015560646001546003620000389190620004d7565b620000449190620004f1565b600255620186a060015460016200005c9190620004d7565b620000689190620004f1565b60035561271060015460c86200007f9190620004d7565b6200008b9190620004f1565b60045561271060015460c8620000a29190620004d7565b620000ae9190620004f1565b60055561271060015460c8620000c59190620004d7565b620000d19190620004f1565b600655600780546001600160a01b0319908116737a2338b75ebc1d84c6dc20231c6f81d443c06f9d90811790925560088054821683179055600980549091169091179055600d805461ffff191661010017905560016010555f601181905560128190556064601355601455610898601581905560168190556017556127106018553480156200015e575f80fd5b505f80546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa158015620001c3573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620001e9919062000511565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000235573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200025b919062000511565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015620002a6573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002cc919062000511565b600d80546301000000600160b81b03191663010000006001600160a01b038681169190910291909117909155600e80546001600160a01b03191683831617905560095481165f908152600c60209081526040808320805460ff19908116600190811790925560085486168552828520805482168317905560075490951684528184208054861682179055338085528285208054909616821790955554600a83528184208190559051908152939450919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505062000539565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200040557815f1904821115620003e957620003e9620003b1565b80851615620003f757918102915b93841c9390800290620003ca565b509250929050565b5f826200041d57506001620004ba565b816200042b57505f620004ba565b81600181146200044457600281146200044f576200046f565b6001915050620004ba565b60ff841115620004635762000463620003b1565b50506001821b620004ba565b5060208310610133831016604e8410600b841016171562000494575081810a620004ba565b620004a08383620003c5565b805f1904821115620004b657620004b6620003b1565b0290505b92915050565b5f620004d060ff8416836200040d565b9392505050565b8082028115828204841417620004ba57620004ba620003b1565b5f826200050c57634e487b7160e01b5f52601260045260245ffd5b500490565b5f6020828403121562000522575f80fd5b81516001600160a01b0381168114620004d0575f80fd5b61182780620005475f395ff3fe608060405260043610610129575f3560e01c80637d853552116100a8578063a8b089821161006d578063a8b0898214610350578063a9059cbb1461036f578063dd62ed3e1461038e578063e0bf7fd1146103d2578063f2fde38b14610400578063f8b45b051461041f575f80fd5b80637d853552146102ac57806388e765ff146102cb578063893d20e8146102e05780638c0b5e221461031057806395d89b4114610325575f80fd5b8063313ce567116100ee578063313ce567146102145780633ce5a3021461022f5780636f41f12f1461024557806370a0823114610264578063715018a614610298575f80fd5b806306fdde0314610134578063095ea7b31461017757806318160ddd146101a657806323b872dd146101c85780632f54bf6e146101e7575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b506040805180820190915260098152684865616c746820414960b81b60208201525b60405161016e91906114e4565b60405180910390f35b348015610182575f80fd5b50610196610191366004611546565b610434565b604051901515815260200161016e565b3480156101b1575f80fd5b506101ba61044a565b60405190815260200161016e565b3480156101d3575f80fd5b506101966101e2366004611570565b6104ba565b3480156101f2575f80fd5b506101966102013660046115ae565b5f546001600160a01b0391821691161490565b34801561021f575f80fd5b506040516012815260200161016e565b34801561023a575f80fd5b50610243610522565b005b348015610250575f80fd5b5061024361025f3660046115c9565b610563565b34801561026f575f80fd5b506101ba61027e3660046115ae565b6001600160a01b03165f908152600a602052604090205490565b3480156102a3575f80fd5b506102436106a2565b3480156102b7575f80fd5b506102436102c63660046115f2565b61070f565b3480156102d6575f80fd5b506101ba60055481565b3480156102eb575f80fd5b505f546001600160a01b03165b6040516001600160a01b03909116815260200161016e565b34801561031b575f80fd5b506101ba60045481565b348015610330575f80fd5b5060408051808201909152600381526248414960e81b6020820152610161565b34801561035b575f80fd5b50600e546102f8906001600160a01b031681565b34801561037a575f80fd5b50610196610389366004611546565b6107e3565b348015610399575f80fd5b506101ba6103a8366004611639565b6001600160a01b039182165f908152600b6020908152604080832093909416825291909152205490565b3480156103dd575f80fd5b506101966103ec3660046115ae565b600c6020525f908152604090205460ff1681565b34801561040b575f80fd5b5061024361041a3660046115ae565b6107ef565b34801561042a575f80fd5b506101ba60065481565b5f61044033848461086b565b5060015b92915050565b600a6020527f13da86008ba1c6922daee3e07db95305ef49ebced9f5467a0b8613fcc6b343e35461dead5f9081527f20677881080440a9b3c87e826370bb5d9c2f74efd4dede686d52d77a6a09f8bb5460015491926104b59290916104af919061098e565b9061098e565b905090565b5f6104c6848484610999565b6105178433610512856040518060600160405280602881526020016117ca602891396001600160a01b038a165f908152600b602090815260408083203384529091529020549190610e96565b61086b565b5060015b9392505050565b5f546001600160a01b031633146105545760405162461bcd60e51b815260040161054b90611670565b60405180910390fd5b600d805460ff19166001179055565b5f546001600160a01b0316331461058c5760405162461bcd60e51b815260040161054b90611670565b5f6105ae6127106105a886600154610ec190919063ffffffff16565b90610ecc565b90505f6105cc6127106105a886600154610ec190919063ffffffff16565b90505f6105ea6127106105a886600154610ec190919063ffffffff16565b6004849055600583815560068290559091505f90610618906103e8906105a89061061261044a565b90610ec1565b905080841015801561062a5750808310155b80156106365750808210155b6106995760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b606482015260840161054b565b50505050505050565b5f546001600160a01b031633146106cb5760405162461bcd60e51b815260040161054b90611670565b5f80546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b5f546001600160a01b031633146107385760405162461bcd60e51b815260040161054b90611670565b60118790556012869055601485905560138490556015839055601682905560178190556018548311801590610771575060185460165411155b8015610781575060185460175411155b6106995760405162461bcd60e51b815260206004820152602d60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526c6f7265207468616e203130302560981b606482015260840161054b565b5f610440338484610999565b5f546001600160a01b031633146108185760405162461bcd60e51b815260040161054b90611670565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166108cd5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161054b565b6001600160a01b03821661092e5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161054b565b6001600160a01b038381165f818152600b602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f61051b82846116a4565b6001600160a01b0383166109fd5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161054b565b6001600160a01b038216610a5f5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161054b565b6001600160a01b0383165f908152600c602052604090205460ff16158015610a9f57506001600160a01b0382165f908152600c602052604090205460ff16155b15610ae957600d5460ff16610ae95760405162461bcd60e51b815260206004820152601060248201526f1a5cd51c98591a5b99d15b98589b195960821b604482015260640161054b565b6001600160a01b0383165f908152600c602052604090205460ff16158015610b2957506001600160a01b0382165f908152600c602052604090205460ff16155b8015610b435750600e546001600160a01b03838116911614155b8015610b5a57506001600160a01b03821661dead14155b15610bd2576006546001600160a01b0383165f908152600a6020526040902054610b849083610ed7565b1115610bd25760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161054b565b600e546001600160a01b03848116911614610c715760055481111580610c0f57506001600160a01b0383165f908152600c602052604090205460ff165b80610c3157506001600160a01b0382165f908152600c602052604090205460ff165b610c715760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054b565b60045481111580610c9957506001600160a01b0383165f908152600c602052604090205460ff165b80610cbb57506001600160a01b0382165f908152600c602052604090205460ff165b610cfb5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054b565b600e546001600160a01b038381169116148015610d3057506001600160a01b0383165f908152600c602052604090205460ff16155b15610d4d576001600f5f828254610d4791906116b7565b90915550505b610d58838383610ee2565b15610d8657305f908152600a6020526040902054610d8190610d7c90600254610f96565b610faa565b5f600f555b600d5460ff161580610db057506001600160a01b0383165f908152600c602052604090205460ff16155b15610df0576001600160a01b0383165f908152600a6020526040902054610dd7908261098e565b6001600160a01b0384165f908152600a60205260409020555b5f610dfb848461111e565b610e055781610e10565b610e10848484611162565b6001600160a01b0384165f908152600a6020526040902054909150610e359082610ed7565b6001600160a01b038085165f818152600a602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e889085815260200190565b60405180910390a350505050565b5f8184841115610eb95760405162461bcd60e51b815260040161054b91906114e4565b505050900390565b5f61051b82846116ca565b5f61051b82846116e1565b5f61051b82846116b7565b600354305f908152600a6020526040812054600d54919280851015929110159062010000900460ff16158015610f1f5750600d54610100900460ff165b8015610f2d5750600d5460ff165b8015610f365750815b8015610f5a57506001600160a01b0386165f908152600c602052604090205460ff16155b8015610f735750600e546001600160a01b038681169116145b8015610f835750601054600f5410155b8015610f8c5750805b9695505050505050565b5f818311610fa4578261051b565b50919050565b600d805462ff00001916620100001790556013546012546011545f92610fe5926002926106129291610fdf9182906001610ed7565b90610ed7565b90505f611001826105a860115486610ec190919063ffffffff16565b90505f61100e848361098e565b90504761101a82611264565b5f611025478361098e565b90505f6110476110406011548861098e90919063ffffffff16565b8390610ecc565b90505f61105f60115483610ec190919063ffffffff16565b905080156110715761107186826113db565b6012545f9061108590610612856002610ec1565b905080156110c6576008546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156110c4573d5f803e3d5ffd5b505b478015611106576007546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611104573d5f803e3d5ffd5b505b5050600d805462ff0000191690555050505050505050565b6001600160a01b0382165f908152600c602052604081205460ff1615801561051b5750506001600160a01b03165f908152600c602052604090205460ff1615919050565b5f8061116e858561149a565b111561125d575f611190611182868661149a565b601854610612908690610ecc565b305f908152600a60205260409020549091506111ac9082610ed7565b305f818152600a6020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111fc9085815260200190565b60405180910390a35f60145411801561121f575060145461121d868661149a565b115b1561124b5761124b3061dead61124660145461061260185489610ecc90919063ffffffff16565b610999565b611255838261098e565b91505061051b565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f8151811061129757611297611700565b60200260200101906001600160a01b031690816001600160a01b031681525050600d60039054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015611308573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061132c9190611714565b8160018151811061133f5761133f611700565b6001600160a01b039283166020918202929092010152600d5461136c91309163010000009004168461086b565b600d5460405163791ac94760e01b815263010000009091046001600160a01b03169063791ac947906113aa9085905f9086903090429060040161172f565b5f604051808303815f87803b1580156113c1575f80fd5b505af11580156113d3573d5f803e3d5ffd5b505050505050565b600d546113fa903090630100000090046001600160a01b03168461086b565b600d5460095460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a48201526301000000909204169063f305d71990839060c40160606040518083038185885af115801561146e573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190611493919061179e565b5050505050565b600e545f906001600160a01b03908116908316036114bb5750601654610444565b600e546001600160a01b03908116908416036114da5750601554610444565b5060175492915050565b5f6020808352835180828501525f5b8181101561150f578581018301518582016040015282016114f3565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611543575f80fd5b50565b5f8060408385031215611557575f80fd5b82356115628161152f565b946020939093013593505050565b5f805f60608486031215611582575f80fd5b833561158d8161152f565b9250602084013561159d8161152f565b929592945050506040919091013590565b5f602082840312156115be575f80fd5b813561051b8161152f565b5f805f606084860312156115db575f80fd5b505081359360208301359350604090920135919050565b5f805f805f805f60e0888a031215611608575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b5f806040838503121561164a575f80fd5b82356116558161152f565b915060208301356116658161152f565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561044457610444611690565b8082018082111561044457610444611690565b808202811582820484141761044457610444611690565b5f826116fb57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611724575f80fd5b815161051b8161152f565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561177d5784516001600160a01b031683529383019391830191600101611758565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f606084860312156117b0575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122054a327923ec6a3962ce2c777958b241c568cdfcc0e5172f81d6bfa2c9313e6dd64736f6c63430008150033

0x608060405260043610610129575f3560e01c80637d853552116100a8578063a8b089821161006d578063a8b0898214610350578063a9059cbb1461036f578063dd62ed3e1461038e578063e0bf7fd1146103d2578063f2fde38b14610400578063f8b45b051461041f575f80fd5b80637d853552146102ac57806388e765ff146102cb578063893d20e8146102e05780638c0b5e221461031057806395d89b4114610325575f80fd5b8063313ce567116100ee578063313ce567146102145780633ce5a3021461022f5780636f41f12f1461024557806370a0823114610264578063715018a614610298575f80fd5b806306fdde0314610134578063095ea7b31461017757806318160ddd146101a657806323b872dd146101c85780632f54bf6e146101e7575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b506040805180820190915260098152684865616c746820414960b81b60208201525b60405161016e91906114e4565b60405180910390f35b348015610182575f80fd5b50610196610191366004611546565b610434565b604051901515815260200161016e565b3480156101b1575f80fd5b506101ba61044a565b60405190815260200161016e565b3480156101d3575f80fd5b506101966101e2366004611570565b6104ba565b3480156101f2575f80fd5b506101966102013660046115ae565b5f546001600160a01b0391821691161490565b34801561021f575f80fd5b506040516012815260200161016e565b34801561023a575f80fd5b50610243610522565b005b348015610250575f80fd5b5061024361025f3660046115c9565b610563565b34801561026f575f80fd5b506101ba61027e3660046115ae565b6001600160a01b03165f908152600a602052604090205490565b3480156102a3575f80fd5b506102436106a2565b3480156102b7575f80fd5b506102436102c63660046115f2565b61070f565b3480156102d6575f80fd5b506101ba60055481565b3480156102eb575f80fd5b505f546001600160a01b03165b6040516001600160a01b03909116815260200161016e565b34801561031b575f80fd5b506101ba60045481565b348015610330575f80fd5b5060408051808201909152600381526248414960e81b6020820152610161565b34801561035b575f80fd5b50600e546102f8906001600160a01b031681565b34801561037a575f80fd5b50610196610389366004611546565b6107e3565b348015610399575f80fd5b506101ba6103a8366004611639565b6001600160a01b039182165f908152600b6020908152604080832093909416825291909152205490565b3480156103dd575f80fd5b506101966103ec3660046115ae565b600c6020525f908152604090205460ff1681565b34801561040b575f80fd5b5061024361041a3660046115ae565b6107ef565b34801561042a575f80fd5b506101ba60065481565b5f61044033848461086b565b5060015b92915050565b600a6020527f13da86008ba1c6922daee3e07db95305ef49ebced9f5467a0b8613fcc6b343e35461dead5f9081527f20677881080440a9b3c87e826370bb5d9c2f74efd4dede686d52d77a6a09f8bb5460015491926104b59290916104af919061098e565b9061098e565b905090565b5f6104c6848484610999565b6105178433610512856040518060600160405280602881526020016117ca602891396001600160a01b038a165f908152600b602090815260408083203384529091529020549190610e96565b61086b565b5060015b9392505050565b5f546001600160a01b031633146105545760405162461bcd60e51b815260040161054b90611670565b60405180910390fd5b600d805460ff19166001179055565b5f546001600160a01b0316331461058c5760405162461bcd60e51b815260040161054b90611670565b5f6105ae6127106105a886600154610ec190919063ffffffff16565b90610ecc565b90505f6105cc6127106105a886600154610ec190919063ffffffff16565b90505f6105ea6127106105a886600154610ec190919063ffffffff16565b6004849055600583815560068290559091505f90610618906103e8906105a89061061261044a565b90610ec1565b905080841015801561062a5750808310155b80156106365750808210155b6106995760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b606482015260840161054b565b50505050505050565b5f546001600160a01b031633146106cb5760405162461bcd60e51b815260040161054b90611670565b5f80546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b5f546001600160a01b031633146107385760405162461bcd60e51b815260040161054b90611670565b60118790556012869055601485905560138490556015839055601682905560178190556018548311801590610771575060185460165411155b8015610781575060185460175411155b6106995760405162461bcd60e51b815260206004820152602d60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526c6f7265207468616e203130302560981b606482015260840161054b565b5f610440338484610999565b5f546001600160a01b031633146108185760405162461bcd60e51b815260040161054b90611670565b5f80546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b0383166108cd5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161054b565b6001600160a01b03821661092e5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161054b565b6001600160a01b038381165f818152600b602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f61051b82846116a4565b6001600160a01b0383166109fd5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161054b565b6001600160a01b038216610a5f5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161054b565b6001600160a01b0383165f908152600c602052604090205460ff16158015610a9f57506001600160a01b0382165f908152600c602052604090205460ff16155b15610ae957600d5460ff16610ae95760405162461bcd60e51b815260206004820152601060248201526f1a5cd51c98591a5b99d15b98589b195960821b604482015260640161054b565b6001600160a01b0383165f908152600c602052604090205460ff16158015610b2957506001600160a01b0382165f908152600c602052604090205460ff16155b8015610b435750600e546001600160a01b03838116911614155b8015610b5a57506001600160a01b03821661dead14155b15610bd2576006546001600160a01b0383165f908152600a6020526040902054610b849083610ed7565b1115610bd25760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161054b565b600e546001600160a01b03848116911614610c715760055481111580610c0f57506001600160a01b0383165f908152600c602052604090205460ff165b80610c3157506001600160a01b0382165f908152600c602052604090205460ff165b610c715760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054b565b60045481111580610c9957506001600160a01b0383165f908152600c602052604090205460ff165b80610cbb57506001600160a01b0382165f908152600c602052604090205460ff165b610cfb5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161054b565b600e546001600160a01b038381169116148015610d3057506001600160a01b0383165f908152600c602052604090205460ff16155b15610d4d576001600f5f828254610d4791906116b7565b90915550505b610d58838383610ee2565b15610d8657305f908152600a6020526040902054610d8190610d7c90600254610f96565b610faa565b5f600f555b600d5460ff161580610db057506001600160a01b0383165f908152600c602052604090205460ff16155b15610df0576001600160a01b0383165f908152600a6020526040902054610dd7908261098e565b6001600160a01b0384165f908152600a60205260409020555b5f610dfb848461111e565b610e055781610e10565b610e10848484611162565b6001600160a01b0384165f908152600a6020526040902054909150610e359082610ed7565b6001600160a01b038085165f818152600a602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e889085815260200190565b60405180910390a350505050565b5f8184841115610eb95760405162461bcd60e51b815260040161054b91906114e4565b505050900390565b5f61051b82846116ca565b5f61051b82846116e1565b5f61051b82846116b7565b600354305f908152600a6020526040812054600d54919280851015929110159062010000900460ff16158015610f1f5750600d54610100900460ff165b8015610f2d5750600d5460ff165b8015610f365750815b8015610f5a57506001600160a01b0386165f908152600c602052604090205460ff16155b8015610f735750600e546001600160a01b038681169116145b8015610f835750601054600f5410155b8015610f8c5750805b9695505050505050565b5f818311610fa4578261051b565b50919050565b600d805462ff00001916620100001790556013546012546011545f92610fe5926002926106129291610fdf9182906001610ed7565b90610ed7565b90505f611001826105a860115486610ec190919063ffffffff16565b90505f61100e848361098e565b90504761101a82611264565b5f611025478361098e565b90505f6110476110406011548861098e90919063ffffffff16565b8390610ecc565b90505f61105f60115483610ec190919063ffffffff16565b905080156110715761107186826113db565b6012545f9061108590610612856002610ec1565b905080156110c6576008546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156110c4573d5f803e3d5ffd5b505b478015611106576007546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611104573d5f803e3d5ffd5b505b5050600d805462ff0000191690555050505050505050565b6001600160a01b0382165f908152600c602052604081205460ff1615801561051b5750506001600160a01b03165f908152600c602052604090205460ff1615919050565b5f8061116e858561149a565b111561125d575f611190611182868661149a565b601854610612908690610ecc565b305f908152600a60205260409020549091506111ac9082610ed7565b305f818152600a6020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111fc9085815260200190565b60405180910390a35f60145411801561121f575060145461121d868661149a565b115b1561124b5761124b3061dead61124660145461061260185489610ecc90919063ffffffff16565b610999565b611255838261098e565b91505061051b565b5092915050565b6040805160028082526060820183525f9260208301908036833701905050905030815f8151811061129757611297611700565b60200260200101906001600160a01b031690816001600160a01b031681525050600d60039054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015611308573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061132c9190611714565b8160018151811061133f5761133f611700565b6001600160a01b039283166020918202929092010152600d5461136c91309163010000009004168461086b565b600d5460405163791ac94760e01b815263010000009091046001600160a01b03169063791ac947906113aa9085905f9086903090429060040161172f565b5f604051808303815f87803b1580156113c1575f80fd5b505af11580156113d3573d5f803e3d5ffd5b505050505050565b600d546113fa903090630100000090046001600160a01b03168461086b565b600d5460095460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a48201526301000000909204169063f305d71990839060c40160606040518083038185885af115801561146e573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190611493919061179e565b5050505050565b600e545f906001600160a01b03908116908316036114bb5750601654610444565b600e546001600160a01b03908116908416036114da5750601554610444565b5060175492915050565b5f6020808352835180828501525f5b8181101561150f578581018301518582016040015282016114f3565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611543575f80fd5b50565b5f8060408385031215611557575f80fd5b82356115628161152f565b946020939093013593505050565b5f805f60608486031215611582575f80fd5b833561158d8161152f565b9250602084013561159d8161152f565b929592945050506040919091013590565b5f602082840312156115be575f80fd5b813561051b8161152f565b5f805f606084860312156115db575f80fd5b505081359360208301359350604090920135919050565b5f805f805f805f60e0888a031215611608575f80fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b5f806040838503121561164a575f80fd5b82356116558161152f565b915060208301356116658161152f565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561044457610444611690565b8082018082111561044457610444611690565b808202811582820484141761044457610444611690565b5f826116fb57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611724575f80fd5b815161051b8161152f565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561177d5784516001600160a01b031683529383019391830191600101611758565b50506001600160a01b03969096166060850152505050608001529392505050565b5f805f606084860312156117b0575f80fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122054a327923ec6a3962ce2c777958b241c568cdfcc0e5172f81d6bfa2c9313e6dd64736f6c63430008150033

3988:10243:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6405:67;;;;;;;;;;-1:-1:-1;6465:5:0;;;;;;;;;;;;-1:-1:-1;;;6465:5:0;;;;6405:67;;;;;;;:::i;:::-;;;;;;;;7099:133;;;;;;;;;;-1:-1:-1;7099:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7099:133:0;1023:187:1;7238:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;7238:132:0;1215:177:1;7390:309:0;;;;;;;;;;-1:-1:-1;7390:309:0;;;;;:::i;:::-;;:::i;2090:87::-;;;;;;;;;;-1:-1:-1;2090:87:0;;;;;:::i;:::-;2145:4;2170:5;-1:-1:-1;;;;;2159:16:0;;;2170:5;;2159:16;;2090:87;6555:67;;;;;;;;;;-1:-1:-1;6555:67:0;;4196:2;2252:36:1;;2240:2;2225:18;6555:67:0;2110:184:1;13694:73:0;;;;;;;;;;;;;:::i;:::-;;8718:547;;;;;;;;;;-1:-1:-1;8718:547:0;;;;;:::i;:::-;;:::i;6712:103::-;;;;;;;;;;-1:-1:-1;6712:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;6795:18:0;6778:7;6795:18;;;:9;:18;;;;;;;6712:103;2300:106;;;;;;;;;;;;;:::i;11699:493::-;;;;;;;;;;-1:-1:-1;11699:493:0;;;;;:::i;:::-;;:::i;4540:60::-;;;;;;;;;;;;;;;;6628:78;;;;;;;;;;-1:-1:-1;6680:7:0;6698:5;-1:-1:-1;;;;;6698:5:0;6628:78;;;-1:-1:-1;;;;;3381:32:1;;;3363:51;;3351:2;3336:18;6628:78:0;3217:203:1;4474:59:0;;;;;;;;;;;;;;;;6478:71;;;;;;;;;;-1:-1:-1;6540:7:0;;;;;;;;;;;;-1:-1:-1;;;6540:7:0;;;;6478:71;;5358:26;;;;;;;;;;-1:-1:-1;5358:26:0;;;;-1:-1:-1;;;;;5358:26:0;;;6821:139;;;;;;;;;;-1:-1:-1;6821:139:0;;;;;:::i;:::-;;:::i;6966:127::-;;;;;;;;;;-1:-1:-1;6966:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;7064:18:0;;;7047:7;7064:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6966:127;5142:52;;;;;;;;;;-1:-1:-1;5142:52:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;2183:111;;;;;;;;;;-1:-1:-1;2183:111:0;;;;;:::i;:::-;;:::i;4607:57::-;;;;;;;;;;;;;;;;7099:133;7174:4;7181:37;7190:10;7202:7;7211:6;7181:8;:37::i;:::-;-1:-1:-1;7226:4:0;7099:133;;;;;:::o;7238:132::-;6795:9;:18;;;;4706:42;7291:7;6795:18;;;;;7308:12;;7291:7;;7308:60;;6795:18;;7308:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;7301:67;;7238:132;:::o;7390:309::-;7488:4;7505:36;7515:6;7523:9;7534:6;7505:9;:36::i;:::-;7552:117;7561:6;7569:10;7581:87;7617:6;7581:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7581:19:0;;;;;;:11;:19;;;;;;;;7601:10;7581:31;;;;;;;;;:87;:35;:87::i;:::-;7552:8;:117::i;:::-;-1:-1:-1;7687:4:0;7390:309;;;;;;:::o;13694:73::-;2145:4;2170:5;-1:-1:-1;;;;;2170:5:0;2057:10;2159:16;2041:38;;;;-1:-1:-1;;;2041:38:0;;;;;;;:::i;:::-;;;;;;;;;13742:16:::1;:23:::0;;-1:-1:-1;;13742:23:0::1;13761:4;13742:23;::::0;;13694:73::o;8718:547::-;2145:4;2170:5;-1:-1:-1;;;;;2170:5:0;2057:10;2159:16;2041:38;;;;-1:-1:-1;;;2041:38:0;;;;;;;:::i;:::-;8824:13:::1;8840:33;8867:5;8840:22;8857:4;8840:12;;:16;;:22;;;;:::i;:::-;:26:::0;::::1;:33::i;:::-;8824:49;;8875:19;8897:34;8925:5;8897:23;8914:5;8897:12;;:16;;:23;;;;:::i;:34::-;8875:56;;8933:17;8953:36;8983:5;8953:25;8970:7;8953:12;;:16;;:25;;;;:::i;:36::-;9000:11;:19:::0;;;9021:12:::1;:26:::0;;;9049:9:::1;:21:::0;;;8933:56;;-1:-1:-1;;;9097:30:0::1;::::0;9122:4:::1;::::0;9097:20:::1;::::0;:13:::1;:11;:13::i;:::-;:17:::0;::::1;:20::i;:30::-;9081:46;;9155:5;9146;:14;;:38;;;;;9179:5;9164:11;:20;;9146:38;:60;;;;;9201:5;9188:9;:18;;9146:60;9138:119;;;::::0;-1:-1:-1;;;9138:119:0;;4614:2:1;9138: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;;9138:119:0::1;4412:410:1::0;9138:119:0::1;8813:452;;;;8718:547:::0;;;:::o;2300:106::-;2145:4;2170:5;-1:-1:-1;;;;;2170:5:0;2057:10;2159:16;2041:38;;;;-1:-1:-1;;;2041:38:0;;;;;;;:::i;:::-;2363:1:::1;2347:18:::0;;-1:-1:-1;;;;;;2347:18:0::1;::::0;;2372:32:::1;::::0;3363:51:1;;;2372:32:0::1;::::0;3351:2:1;3336:18;2372:32:0::1;;;;;;;2300:106::o:0;11699:493::-;2145:4;2170:5;-1:-1:-1;;;;;2170:5:0;2057:10;2159:16;2041:38;;;;-1:-1:-1;;;2041:38:0;;;;;;;:::i;:::-;11878:12:::1;:25:::0;;;11905:12:::1;:25:::0;;;11932:7:::1;:15:::0;;;11949:14:::1;:29:::0;;;11980:8:::1;:17:::0;;;11999:7:::1;:15:::0;;;12016:11:::1;:20:::0;;;12067:11:::1;::::0;12055:23;::::1;::::0;::::1;::::0;:49:::1;;;12093:11;;12082:7;;:22;;12055:49;:79;;;;;12123:11;;12108;;:26;;12055:79;12047:137;;;::::0;-1:-1:-1;;;12047:137:0;;5029:2:1;12047: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;;12047:137:0::1;4827:409:1::0;6821:139:0;6899:4;6906:40;6916:10;6928:9;6939:6;6906:9;:40::i;2183:111::-;2145:4;2170:5;-1:-1:-1;;;;;2170:5:0;2057:10;2159:16;2041:38;;;;-1:-1:-1;;;2041:38:0;;;;;;;:::i;:::-;2249:5:::1;:11:::0;;-1:-1:-1;;;;;;2249:11:0::1;-1:-1:-1::0;;;;;2249:11:0;::::1;::::0;;::::1;::::0;;;2267:25:::1;::::0;3363:51:1;;;2267:25:0::1;::::0;3351:2:1;3336:18;2267:25:0::1;;;;;;;2183:111:::0;:::o;8373:335::-;-1:-1:-1;;;;;8466:19:0;;8458:68;;;;-1:-1:-1;;;8458:68:0;;5659:2:1;8458: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;;8458:68:0;5457:400:1;8458:68:0;-1:-1:-1;;;;;8545:21:0;;8537:68;;;;-1:-1:-1;;;8537:68:0;;6064:2:1;8537: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;;8537:68:0;5862:398:1;8537:68:0;-1:-1:-1;;;;;8616:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8668:32;;1361:25:1;;;8668:32:0;;1334:18:1;8668:32:0;;;;;;;8373:335;;;:::o;2591:98::-;2649:7;2676:5;2680:1;2676;:5;:::i;10167:1520::-;-1:-1:-1;;;;;10264:20:0;;10256:70;;;;-1:-1:-1;;;10256:70:0;;6732:2:1;10256: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;;10256:70:0;6530:401:1;10256:70:0;-1:-1:-1;;;;;10345:23:0;;10337:71;;;;-1:-1:-1;;;10337:71:0;;7138:2:1;10337: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;;10337:71:0;6936:399:1;10337:71:0;-1:-1:-1;;;;;10423:27:0;;;;;;:19;:27;;;;;;;;10422:28;:63;;;;-1:-1:-1;;;;;;10455:30:0;;;;;;:19;:30;;;;;;;;10454:31;10422:63;10419:115;;;10495:16;;;;10487:45;;;;-1:-1:-1;;;10487:45:0;;7542:2:1;10487:45:0;;;7524:21:1;7581:2;7561:18;;;7554:30;-1:-1:-1;;;7600:18:1;;;7593:46;7656:18;;10487:45:0;7340:340:1;10487:45:0;-1:-1:-1;;;;;10548:27:0;;;;;;:19;:27;;;;;;;;10547:28;:63;;;;-1:-1:-1;;;;;;10580:30:0;;;;;;:19;:30;;;;;;;;10579:31;10547:63;:100;;;;-1:-1:-1;10635:11:0;;-1:-1:-1;;;;;10614:33:0;;;10635:11;;10614:33;;10547:100;:130;;;;-1:-1:-1;;;;;;10651:26:0;;4706:42;10651:26;;10547:130;10544:237;;;10735:9;;-1:-1:-1;;;;;10698:20:0;;;;;;:9;:20;;;;;;:32;;10723:6;10698:24;:32::i;:::-;10697:47;;10689:90;;;;-1:-1:-1;;;10689:90:0;;7887:2:1;10689:90:0;;;7869:21:1;7926:2;7906:18;;;7899:30;7965:32;7945:18;;;7938:60;8015:18;;10689:90:0;7685:354:1;10689:90:0;10804:11;;-1:-1:-1;;;;;10794:21:0;;;10804:11;;10794:21;10791:145;;10835:12;;10825:6;:22;;:53;;;-1:-1:-1;;;;;;10851:27:0;;;;;;:19;:27;;;;;;;;10825:53;:87;;;-1:-1:-1;;;;;;10882:30:0;;;;;;:19;:30;;;;;;;;10825:87;10817:117;;;;-1:-1:-1;;;10817:117:0;;8246:2:1;10817:117:0;;;8228:21:1;8285:2;8265:18;;;8258:30;-1:-1:-1;;;8304:18:1;;;8297:47;8361:18;;10817:117:0;8044:341:1;10817:117:0;10964:11;;10954:6;:21;;:52;;;-1:-1:-1;;;;;;10979:27:0;;;;;;:19;:27;;;;;;;;10954:52;:86;;;-1:-1:-1;;;;;;11010:30:0;;;;;;:19;:30;;;;;;;;10954:86;10946:116;;;;-1:-1:-1;;;10946:116:0;;8246:2:1;10946:116:0;;;8228:21:1;8285:2;8265:18;;;8258:30;-1:-1:-1;;;8304:18:1;;;8297:47;8361:18;;10946:116:0;8044:341:1;10946:116:0;11090:11;;-1:-1:-1;;;;;11077:24:0;;;11090:11;;11077:24;:56;;;;-1:-1:-1;;;;;;11106:27:0;;;;;;:19;:27;;;;;;;;11105:28;11077:56;11074:90;;;11160:1;11135:13;;:27;;;;;;;:::i;:::-;;;;-1:-1:-1;;11074:90:0;11177:41;11192:6;11200:9;11211:6;11177:14;:41::i;:::-;11174:132;;;11251:4;6778:7;6795:18;;;:9;:18;;;;;;11220:56;;11229:46;;11259:15;;11229:3;:46::i;:::-;11220:8;:56::i;:::-;11302:1;11278:13;:26;11174:132;11321:16;;;;11320:17;;:49;;-1:-1:-1;;;;;;11342:27:0;;;;;;:19;:27;;;;;;;;11341:28;11320:49;11316:109;;;-1:-1:-1;;;;;11393:17:0;;;;;;:9;:17;;;;;;:29;;11415:6;11393:21;:29::i;:::-;-1:-1:-1;;;;;11373:17:0;;;;;;:9;:17;;;;;:49;11316:109;11435:22;11460:32;11474:6;11482:9;11460:13;:32::i;:::-;:86;;11540:6;11460:86;;;11495:42;11511:6;11519:9;11530:6;11495:15;:42::i;:::-;-1:-1:-1;;;;;11580:20:0;;;;;;:9;:20;;;;;;11435:111;;-1:-1:-1;11580:40:0;;11435:111;11580:24;:40::i;:::-;-1:-1:-1;;;;;11557:20:0;;;;;;;:9;:20;;;;;;;:63;;;;11636:43;;;;;;;;;;11664:14;1361:25:1;;1349:2;1334:18;;1215:177;11636:43:0;;;;;;;;10245:1442;10167:1520;;;:::o;3015:240::-;3135:7;3196:12;3188:6;;;;3180:29;;;;-1:-1:-1;;;3180:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;3231:5:0;;;3015:240::o;2697:98::-;2755:7;2782:5;2786:1;2782;:5;:::i;2803:98::-;2861:7;2888:5;2892:1;2888;:5;:::i;2485:98::-;2543:7;2570:5;2574:1;2570;:5;:::i;12198:430::-;12339:17;;12407:4;12296;6795:18;;;:9;:18;;;;;;12453:9;;12296:4;;12329:27;;;;;-1:-1:-1;;12389:45:0;;12453:9;;;;;12452:10;:28;;;;-1:-1:-1;12466:14:0;;;;;;;12452:28;:48;;;;-1:-1:-1;12484:16:0;;;;12452:48;:60;;;;;12504:8;12452:60;:92;;;;-1:-1:-1;;;;;;12517:27:0;;;;;;:19;:27;;;;;;;;12516:28;12452:92;:120;;;;-1:-1:-1;12561:11:0;;-1:-1:-1;;;;;12548:24:0;;;12561:11;;12548:24;12452:120;:150;;;;;12593:9;;12576:13;;:26;;12452:150;:168;;;;;12606:14;12452:168;12445:175;12198:430;-1:-1:-1;;;;;;12198:430:0:o;8262:105::-;8319:7;8349:1;8345;:5;8344:15;;8358:1;8344:15;;;-1:-1:-1;8354:1:0;8262:105;-1:-1:-1;8262:105:0:o;12634:1054::-;4428:9;:16;;-1:-1:-1;;4428:16:0;;;;;12762:14:::1;::::0;12744:12:::1;::::0;12720::::1;::::0;4428:16;;12719:66:::1;::::0;4428:9;;12720:57:::1;::::0;12762:14;12720:37:::1;::::0;;;4440:4;12720:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;12719:66::-;12696:89;;12796:32;12831:42;12860:12;12831:24;12842:12;;12831:6;:10;;:24;;;;:::i;:42::-;12796:77:::0;-1:-1:-1;12884:14:0::1;12901:36;:6:::0;12796:77;12901:10:::1;:36::i;:::-;12884:53:::0;-1:-1:-1;12973:21:0::1;13005:24;12884:53:::0;13005:16:::1;:24::i;:::-;13040:20;13063:41;:21;13089:14:::0;13063:25:::1;:41::i;:::-;13040:64;;13115:19;13136:48;13153:30;13170:12;;13153;:16;;:30;;;;:::i;:::-;13136:12:::0;;:16:::1;:48::i;:::-;13115:69;;13195:29;13227;13243:12;;13227:11;:15;;:29;;;;:::i;:::-;13195:61:::0;-1:-1:-1;13270:34:0;;13267:103:::1;;13306:61;13319:24;13345:21;13306:12;:61::i;:::-;13426:12;::::0;13380:20:::1;::::0;13403:36:::1;::::0;:18:::1;:11:::0;13419:1:::1;13403:15;:18::i;:36::-;13380:59:::0;-1:-1:-1;13453:16:0;;13450:73:::1;;13479:18;::::0;13471:50:::1;::::0;-1:-1:-1;;;;;13479:18:0;;::::1;::::0;13471:50;::::1;;;::::0;13508:12;;13479:18:::1;13471:50:::0;13479:18;13471:50;13508:12;13479:18;13471:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13450:73;13559:21;13594:28:::0;;13591:90:::1;;13632:20;::::0;13624:55:::1;::::0;-1:-1:-1;;;;;13632:20:0;;::::1;::::0;13624:55;::::1;;;::::0;13663:15;;13632:20:::1;13624:55:::0;13632:20;13624:55;13663:15;13632:20;13624:55;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13591:90;-1:-1:-1::0;;4449:9:0;:17;;-1:-1:-1;;4449:17:0;;;-1:-1:-1;;;;;;;;12634:1054:0:o;7711:176::-;-1:-1:-1;;;;;7817:27:0;;7792:4;7817:27;;;:19;:27;;;;;;;;7816:28;:63;;;;-1:-1:-1;;;;;;;7849:30:0;;;;;:19;:30;;;;;;;;7848:31;;7711:176;-1:-1:-1;7711:176:0:o;9522:604::-;9616:7;9674:1;9639:32;9653:6;9661:9;9639:13;:32::i;:::-;:36;9636:468;;;9687:17;9707:61;9735:32;9749:6;9757:9;9735:13;:32::i;:::-;9718:11;;9707:23;;:6;;:10;:23::i;:61::-;9824:4;9806:24;;;;:9;:24;;;;;;9687:81;;-1:-1:-1;9806:39:0;;9687:81;9806:28;:39::i;:::-;9797:4;9779:24;;;;:9;:24;;;;;;;:66;;;;9861:42;;-1:-1:-1;;;;;9861:42:0;;;;;;;9893:9;1361:25:1;;1349:2;1334:18;;1215:177;9861:42:0;;;;;;;;9935:1;9917:7;;:20;:66;;;;;9976:7;;9941:32;9955:6;9963:9;9941:13;:32::i;:::-;:42;9917:66;9914:150;;;9985:77;10003:4;4706:42;10025:36;10053:7;;10025:23;10036:11;;10025:6;:10;;:23;;;;:::i;:36::-;9985:9;:77::i;:::-;10081:21;:6;10092:9;10081:10;:21::i;:::-;10074:28;;;;;9636:468;-1:-1:-1;10112:6:0;9522:604;-1:-1:-1;;9522:604:0:o;13773:455::-;13863:16;;;13877:1;13863:16;;;;;;;;13839:21;;13863:16;;;;;;;;;;-1:-1:-1;13863:16:0;13839:40;;13908:4;13890;13895:1;13890:7;;;;;;;;:::i;:::-;;;;;;:23;-1:-1:-1;;;;;13890:23:0;;;-1:-1:-1;;;;;13890:23:0;;;;;13934:13;;;;;;;;;-1:-1:-1;;;;;13934:13:0;-1:-1:-1;;;;;13934:18:0;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13924:4;13929:1;13924:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13924:30:0;;;:7;;;;;;;;;:30;13997:13;;13965:60;;13982:4;;13997:13;;;;14013:11;13965:8;:60::i;:::-;14036:13;;:184;;-1:-1:-1;;;14036:184:0;;:13;;;;-1:-1:-1;;;;;14036:13:0;;:64;;:184;;14115:11;;14141:1;;14157:4;;14184;;14204:15;;14036:184;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13828:400;13773:455;:::o;7899:357::-;8012:13;;7980:60;;7997:4;;8012:13;;;-1:-1:-1;;;;;8012:13:0;8028:11;7980:8;:60::i;:::-;8051:13;;8199:18;;8051:197;;-1:-1:-1;;;8051:197:0;;8121:4;8051:197;;;10761:34:1;10811:18;;;10804:34;;;8167:1:0;10854:18:1;;;10847:34;;;10897:18;;;10890:34;-1:-1:-1;;;;;8199:18:0;;;10940:19:1;;;10933:44;8232:15:0;10993:19:1;;;10986:35;8051:13:0;;;;;;:29;;8088:9;;10695:19:1;;8051:197:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;7899:357;;:::o;9271:235::-;9388:11;;9352:7;;-1:-1:-1;;;;;9388:11:0;;;9375:24;;;;9372:45;;-1:-1:-1;9408:7:0;;9401:14;;9372:45;9440:11;;-1:-1:-1;;;;;9440:11:0;;;9430:21;;;;9427:43;;-1:-1:-1;9460:8:0;;9453:15;;9427:43;-1:-1:-1;9487:11:0;;9271:235;;;;:::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;8390:125::-;8455:9;;;8476:10;;;8473:36;;;8489:18;;:::i;8520:168::-;8593:9;;;8624;;8641:15;;;8635:22;;8621:37;8611:71;;8662:18;;:::i;8693:217::-;8733:1;8759;8749:132;;8803:10;8798:3;8794:20;8791:1;8784:31;8838:4;8835:1;8828:15;8866:4;8863:1;8856:15;8749:132;-1:-1:-1;8895:9:1;;8693:217::o;9047:127::-;9108:10;9103:3;9099:20;9096:1;9089:31;9139:4;9136:1;9129:15;9163:4;9160:1;9153:15;9179:251;9249:6;9302:2;9290:9;9281:7;9277:23;9273:32;9270:52;;;9318:1;9315;9308:12;9270:52;9350:9;9344:16;9369:31;9394:5;9369:31;:::i;9435:980::-;9697:4;9745:3;9734:9;9730:19;9776:6;9765:9;9758:25;9802:2;9840:6;9835:2;9824:9;9820:18;9813:34;9883:3;9878:2;9867:9;9863:18;9856:31;9907:6;9942;9936:13;9973:6;9965;9958:22;10011:3;10000:9;9996:19;9989:26;;10050:2;10042:6;10038:15;10024:29;;10071:1;10081:195;10095:6;10092:1;10089:13;10081:195;;;10160:13;;-1:-1:-1;;;;;10156:39:1;10144:52;;10251:15;;;;10216:12;;;;10192:1;10110:9;10081:195;;;-1:-1:-1;;;;;;;10332:32:1;;;;10327:2;10312:18;;10305:60;-1:-1:-1;;;10396:3:1;10381:19;10374:35;10293:3;9435:980;-1:-1:-1;;;9435:980:1:o;11032:306::-;11120:6;11128;11136;11189:2;11177:9;11168:7;11164:23;11160:32;11157:52;;;11205:1;11202;11195:12;11157:52;11234:9;11228:16;11218:26;;11284:2;11273:9;11269:18;11263:25;11253:35;;11328:2;11317:9;11313:18;11307:25;11297:35;;11032:306;;;;;:::o

ipfs://54a327923ec6a3962ce2c777958b241c568cdfcc0e5172f81d6bfa2c9313e6dd