Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function decimals()    - function symbol()    - function name()    - function getOwner()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... interface IUniswapV2Router    - function factory()    - function WETH()    - function addLiquidity(    - function addLiquidityETH(    - function swapExactTokensForTokensSupp ...    - function swapExactETHForTokensSupport ...    - function swapExactTokensForETHSupport ...    - function _isOwner(address account)    - function renounceOwnership() 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 IUniswapV2Factory    - function createPair(address tokenA, a ...  contract PETROCK is IERC20, Ownabl ... *    - function _verifySwapping(address send ...    - function _getAmount(address sender, u ...    - function performPetSwap()    - function _transferFrom(address sender ...    - function adjustPetWalletSize(uint256 ...    - function totalSupply()    - function decimals()    - function transferFrom(address sender, ...    - function _transferBasic(address sende ...    - function updatePetTax(uint256 lpFee, ...    - function _sellTxVerify(address recipi ...    - function _validateSwapping()    - function approve(address spender, uin ...    - function _removedFromTax(address send ...    - function symbol()    - function name()    - function getOwner()    - function balanceOf(address account)    - function allowance(address holder, ad ...    - function transfer(address recipient, ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/*
JP MORGAN CEO:  BITCOIN IS A PET ROCK

https://twitter.com/MarioNawfal/status/1747617406963314969?s=20

Website: N/A
Telegram: https://t.me/petrock_eth
Twitter: N/A


 */

pragma solidity 0.8.19;

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    function getOwner() external view returns (address);
    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 IUniswapV2Router {
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidity(
        address tokenA,
        address tokenB,
        uint amountADesired,
        uint amountBDesired,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline
    ) external returns (uint amountA, uint amountB, uint liquidity);

    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);

    function swapExactTokensForTokensSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;

    function swapExactETHForTokensSupportingFeeOnTransferTokens(
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external payable;

    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
}

abstract contract Ownable {
    address internal _owner;

    constructor(address owner) {
        _owner = owner;
    }

    modifier onlyOwner() {
        require(_isOwner(msg.sender), "!OWNER");
        _;
    }

    function _isOwner(address account) internal view returns (bool) {
        return account == _owner;
    }

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

    event OwnershipTransferred(address owner);
}

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 IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address _pairAddress);
}

contract PETROCK is IERC20, Ownable {
    using SafeMath for uint256;

    string private constant _name = unicode"Pet Rock";
    string private constant _symbol = unicode"PETROCK";

    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 10 ** 9 * (10 ** _decimals);

    uint256 _maxTxAmount = (_totalSupply * 30) / 1000;
    address _taxReceipt;
    IUniswapV2Router public uniswapRouter;
    address _pairAddress;

    uint256 private _shareLpFee = 0; 
    uint256 private _shareMarketFee = 22;
    uint256 private _feeTotal = _shareLpFee + _shareMarketFee;
    uint256 private _denominator = 100;

    address _routerAddr = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address private _DEAD = 0x000000000000000000000000000000000000dEaD;

    bool _swapActivated = true;
    uint256 _feeSwapThreshold = _totalSupply / 100000; // 0.1%
    bool _swapping;

    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) _removedFromFee;
    mapping (address => bool) _removedFromMaxTx;

    modifier lockSwap() { _swapping = true; _; _swapping = false; }

    constructor (address PetAddress) Ownable(msg.sender) {
        uniswapRouter = IUniswapV2Router(_routerAddr);
        _pairAddress = IUniswapV2Factory(uniswapRouter.factory()).createPair(uniswapRouter.WETH(), address(this));
        _allowances[address(this)][address(uniswapRouter)] = type(uint256).max;
        address _owner = _owner;
        _taxReceipt = PetAddress;
        _removedFromFee[_taxReceipt] = true;
        _removedFromMaxTx[_owner] = true;
        _removedFromMaxTx[_taxReceipt] = true;
        _removedFromMaxTx[_DEAD] = true;
        _balances[_owner] = _totalSupply;
        emit Transfer(address(0), _owner, _totalSupply);
    }

    receive() external payable { }
                  
    function _verifySwapping(address sender, address recipient, uint256 amount) private view returns (bool) {
        return _validateSwapping() && 
            _removedFromTax(sender) && 
            _sellTxVerify(recipient) && 
            amount > _feeSwapThreshold;
    }

    function _getAmount(address sender, uint256 amount) internal returns (uint256) {
        _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");
        uint256 feeTokens = amount.mul(_feeTotal).div(_denominator);
        bool hasNoFee = sender == _owner;
        if (hasNoFee) {
            feeTokens = 0;
        }
        
        _balances[address(this)] = _balances[address(this)].add(feeTokens);
        emit Transfer(sender, address(this), feeTokens);
        return amount.sub(feeTokens);
    }
    
    function performPetSwap() internal lockSwap {
        uint256 contractTokenBalance = balanceOf(address(this));
        uint256 tokensToLp = contractTokenBalance.mul(_shareLpFee).div(_feeTotal).div(2);
        uint256 amountToSwap = contractTokenBalance.sub(tokensToLp);

        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapRouter.WETH();

        uniswapRouter.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amountToSwap,
            0,
            path,
            address(this),
            block.timestamp
        );
        uint256 amountETH = address(this).balance;
        uint256 totalFeeTokens = _feeTotal.sub(_shareLpFee.div(2));
        uint256 ethToLp = amountETH.mul(_shareLpFee).div(totalFeeTokens).div(2);
        uint256 ethToMarketing = amountETH.mul(_shareMarketFee).div(totalFeeTokens);

        payable(_taxReceipt).transfer(ethToMarketing);
        if(tokensToLp > 0){
            uniswapRouter.addLiquidityETH{value: ethToLp}(
                address(this),
                tokensToLp,
                0,
                0,
                _taxReceipt,
                block.timestamp
            );
        }
    }

    function _transferFrom(address sender, address recipient, uint256 amount) internal returns (bool) {
        if(_swapping){ return _transferBasic(sender, recipient, amount); }
        
        if (recipient != _pairAddress && recipient != _DEAD) {
            require(_removedFromMaxTx[recipient] || _balances[recipient] + amount <= _maxTxAmount, "Transfer amount exceeds the bag size.");
        }        
        if(_verifySwapping(sender, recipient, amount)){ 
            performPetSwap(); 
        } 
        bool shouldTax = _removedFromTax(sender);
        if (shouldTax) {
            _balances[recipient] = _balances[recipient].add(_getAmount(sender, amount));
        } else {
            _balances[recipient] = _balances[recipient].add(amount);
        }

        emit Transfer(sender, recipient, amount);
        return true;
    }
    
    function adjustPetWalletSize(uint256 percent) external onlyOwner {
        _maxTxAmount = (_totalSupply * percent) / 1000;
    }

    function totalSupply() external view override returns (uint256) { return _totalSupply; }
    function decimals() external pure override returns (uint8) { return _decimals; }

    function transferFrom(address sender, address recipient, uint256 amount) external override returns (bool) {
        if(_allowances[sender][msg.sender] != type(uint256).max){
            _allowances[sender][msg.sender] = _allowances[sender][msg.sender].sub(amount, "Insufficient Allowance");
        }

        return _transferFrom(sender, recipient, amount);
    }

    function _transferBasic(address sender, address recipient, uint256 amount) internal returns (bool) {
        _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
        return true;
    }
    
    function updatePetTax(uint256 lpFee, uint256 devFee) external onlyOwner {
         _shareLpFee = lpFee; 
         _shareMarketFee = devFee;
         _feeTotal = _shareLpFee + _shareMarketFee;
    }    
    
    function _sellTxVerify(address recipient) private view returns (bool){
        return recipient == _pairAddress;
    }

    function _validateSwapping() internal view returns (bool) {
        return !_swapping
        && _swapActivated
        && _balances[address(this)] >= _feeSwapThreshold;
    }
    
    function approve(address spender, uint256 amount) public override returns (bool) {
        _allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }
    
    function _removedFromTax(address sender) internal view returns (bool) {
        return !_removedFromFee[sender];
    }

    function symbol() external pure override returns (string memory) { return _symbol; }
    function name() external pure override returns (string memory) { return _name; }
    function getOwner() external view override returns (address) { return _owner; }
    function balanceOf(address account) public view override returns (uint256) { return _balances[account]; }
    function allowance(address holder, address spender) external view override returns (uint256) { return _allowances[holder][spender]; }
    
    function transfer(address recipient, uint256 amount) external override returns (bool) {
        return _transferFrom(msg.sender, recipient, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"PetAddress","type":"address"}],"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":false,"internalType":"address","name":"owner","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":"uint256","name":"percent","type":"uint256"}],"name":"adjustPetWalletSize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"holder","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":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","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":"view","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"},{"inputs":[],"name":"uniswapRouter","outputs":[{"internalType":"contract IUniswapV2Router","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"lpFee","type":"uint256"},{"internalType":"uint256","name":"devFee","type":"uint256"}],"name":"updatePetTax","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126009600a6200048d565b6200002290633b9aca00620004a5565b6001556103e8600154601e620000399190620004a5565b620000459190620004bf565b60025560006006819055601660078190556200006191620004e2565b6008556064600955600a80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d179055600b80547401000000000000000000000000000000000000dead6001600160a81b0319909116179055600154620000cb90620186a090620004bf565b600c55348015620000db57600080fd5b506040516200172a3803806200172a833981016040819052620000fe91620004f8565b60008054336001600160a01b031991821617909155600a54600480546001600160a01b0390921691909216811782556040805163c45a015560e01b81529051919263c45a01559282820192602092908290030181865afa15801562000167573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200018d9190620004f8565b6001600160a01b031663c9c65396600460009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001ef573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002159190620004f8565b6040516001600160e01b031960e084901b1681526001600160a01b0390911660048201523060248201526044016020604051808303816000875af115801562000262573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002889190620004f8565b600580546001600160a01b039283166001600160a01b031991821617909155306000908152600f60209081526040808320600454861684528252808320600019905582546003805488881696168617815594845260108352818420805460ff1990811660019081179092559187168086526011855283862080548416831790559554871685528285208054831682179055600b5490961684528184208054909116861790559354838352600e82528483208190559351938452919283927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505062000523565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003cf578160001904821115620003b357620003b362000378565b80851615620003c157918102915b93841c939080029062000393565b509250929050565b600082620003e85750600162000487565b81620003f75750600062000487565b81600181146200041057600281146200041b576200043b565b600191505062000487565b60ff8411156200042f576200042f62000378565b50506001821b62000487565b5060208310610133831016604e8410600b841016171562000460575081810a62000487565b6200046c83836200038e565b806000190482111562000483576200048362000378565b0290505b92915050565b60006200049e60ff841683620003d7565b9392505050565b808202811582820484141762000487576200048762000378565b600082620004dd57634e487b7160e01b600052601260045260246000fd5b500490565b8082018082111562000487576200048762000378565b6000602082840312156200050b57600080fd5b81516001600160a01b03811681146200049e57600080fd5b6111f780620005336000396000f3fe6080604052600436106100e15760003560e01c8063715018a61161007f57806395d89b411161005957806395d89b411461027e578063a9059cbb146102ae578063cb72b680146102ce578063dd62ed3e146102ee57600080fd5b8063715018a614610213578063735de9f714610228578063893d20e81461026057600080fd5b806323b872dd116100bb57806323b872dd1461017f578063313ce5671461019f578063520f863e146101bb57806370a08231146101dd57600080fd5b806306fdde03146100ed578063095ea7b31461013057806318160ddd1461016057600080fd5b366100e857005b600080fd5b3480156100f957600080fd5b5060408051808201909152600881526750657420526f636b60c01b60208201525b6040516101279190610ef6565b60405180910390f35b34801561013c57600080fd5b5061015061014b366004610f5c565b610334565b6040519015158152602001610127565b34801561016c57600080fd5b506001545b604051908152602001610127565b34801561018b57600080fd5b5061015061019a366004610f88565b6103a1565b3480156101ab57600080fd5b5060405160098152602001610127565b3480156101c757600080fd5b506101db6101d6366004610fc9565b610463565b005b3480156101e957600080fd5b506101716101f8366004610fe2565b6001600160a01b03166000908152600e602052604090205490565b34801561021f57600080fd5b506101db6104b7565b34801561023457600080fd5b50600454610248906001600160a01b031681565b6040516001600160a01b039091168152602001610127565b34801561026c57600080fd5b506000546001600160a01b0316610248565b34801561028a57600080fd5b50604080518082019091526007815266504554524f434b60c81b602082015261011a565b3480156102ba57600080fd5b506101506102c9366004610f5c565b610526565b3480156102da57600080fd5b506101db6102e9366004610fff565b610533565b3480156102fa57600080fd5b50610171610309366004611021565b6001600160a01b039182166000908152600f6020908152604080832093909416825291909152205490565b336000818152600f602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061038f9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600f602090815260408083203384529091528120546000191461044e576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b0387166000908152600f82528381203382529091529190912054610429918490610578565b6001600160a01b0385166000908152600f602090815260408083203384529091529020555b6104598484846105b2565b90505b9392505050565b6000546001600160a01b031633146104965760405162461bcd60e51b815260040161048d9061105a565b60405180910390fd5b6103e8816001546104a79190611090565b6104b191906110a7565b60025550565b6000546001600160a01b031633146104e15760405162461bcd60e51b815260040161048d9061105a565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b600061045c3384846105b2565b6000546001600160a01b0316331461055d5760405162461bcd60e51b815260040161048d9061105a565b6006829055600781905561057181836110c9565b6008555050565b6000818484111561059c5760405162461bcd60e51b815260040161048d9190610ef6565b5060006105a984866110dc565b95945050505050565b600d5460009060ff16156105d2576105cb8484846107c3565b905061045c565b6005546001600160a01b038481169116148015906105fe5750600b546001600160a01b03848116911614155b156106a9576001600160a01b03831660009081526011602052604090205460ff168061064f57506002546001600160a01b0384166000908152600e602052604090205461064c9084906110c9565b11155b6106a95760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b606482015260840161048d565b6106b48484846108a9565b156106c1576106c1610903565b6001600160a01b03841660009081526010602052604090205460ff1615801561072e576107106106f18685610c03565b6001600160a01b0386166000908152600e602052604090205490610d22565b6001600160a01b0385166000908152600e602052604090205561076b565b6001600160a01b0384166000908152600e60205260409020546107519084610d22565b6001600160a01b0385166000908152600e60205260409020555b836001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516107b091815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600e90915291822054610814918490610578565b6001600160a01b038086166000908152600e602052604080822093909355908516815220546108439083610d22565b6001600160a01b038085166000818152600e602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906108979086815260200190565b60405180910390a35060019392505050565b60006108b3610d81565b80156108d857506001600160a01b03841660009081526010602052604090205460ff16155b80156108f157506005546001600160a01b038481169116145b8015610459575050600c541092915050565b600d805460ff19166001179055306000908152600e60205260408120549050600061094a600261094460085461094460065487610dc290919063ffffffff16565b90610e44565b905060006109588383610e86565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610992576109926110ef565b60200260200101906001600160a01b031690816001600160a01b031681525050600460009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610a05573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a299190611105565b81600181518110610a3c57610a3c6110ef565b6001600160a01b0392831660209182029290920101526004805460405163791ac94760e01b815292169163791ac94791610a8191869160009187913091429101611122565b600060405180830381600087803b158015610a9b57600080fd5b505af1158015610aaf573d6000803e3d6000fd5b505060065447925060009150610ad390610aca906002610e44565b60085490610e86565b90506000610af560026109448461094460065488610dc290919063ffffffff16565b90506000610b128361094460075487610dc290919063ffffffff16565b6003546040519192506001600160a01b03169082156108fc029083906000818181858888f19350505050158015610b4d573d6000803e3d6000fd5b508615610bef576004805460035460405163f305d71960e01b81523093810193909352602483018a905260006044840181905260648401526001600160a01b0390811660848401524260a4840152169063f305d71990849060c40160606040518083038185885af1158015610bc6573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610beb9190611193565b5050505b5050600d805460ff19169055505050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0385166000908152600e90915291822054610c54918490610578565b6001600160a01b0384166000908152600e6020526040812091909155600954600854610c869190610944908690610dc2565b6000549091506001600160a01b038581169116148015610ca557600091505b306000908152600e6020526040902054610cbf9083610d22565b306000818152600e6020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d109086815260200190565b60405180910390a36105a98483610e86565b600080610d2f83856110c9565b90508381101561045c5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161048d565b600d5460009060ff16158015610da05750600b54600160a01b900460ff165b8015610dbd5750600c54306000908152600e602052604090205410155b905090565b600082600003610dd45750600061039b565b6000610de08385611090565b905082610ded85836110a7565b1461045c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161048d565b600061045c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250610ec8565b600061045c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610578565b60008183610ee95760405162461bcd60e51b815260040161048d9190610ef6565b5060006105a984866110a7565b600060208083528351808285015260005b81811015610f2357858101830151858201604001528201610f07565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610f5957600080fd5b50565b60008060408385031215610f6f57600080fd5b8235610f7a81610f44565b946020939093013593505050565b600080600060608486031215610f9d57600080fd5b8335610fa881610f44565b92506020840135610fb881610f44565b929592945050506040919091013590565b600060208284031215610fdb57600080fd5b5035919050565b600060208284031215610ff457600080fd5b813561045c81610f44565b6000806040838503121561101257600080fd5b50508035926020909101359150565b6000806040838503121561103457600080fd5b823561103f81610f44565b9150602083013561104f81610f44565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b808202811582820484141761039b5761039b61107a565b6000826110c457634e487b7160e01b600052601260045260246000fd5b500490565b8082018082111561039b5761039b61107a565b8181038181111561039b5761039b61107a565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561111757600080fd5b815161045c81610f44565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156111725784516001600160a01b03168352938301939183019160010161114d565b50506001600160a01b03969096166060850152505050608001529392505050565b6000806000606084860312156111a857600080fd5b835192506020840151915060408401519050925092509256fea2646970667358221220929ffe185e5d4289305e03fd12b6369b4be1354f0c2076a71486300d49d912eb64736f6c63430008130033000000000000000000000000b9f7b3597a42d974f8544c7654a9e657a9d60dd2

0x6080604052600436106100e15760003560e01c8063715018a61161007f57806395d89b411161005957806395d89b411461027e578063a9059cbb146102ae578063cb72b680146102ce578063dd62ed3e146102ee57600080fd5b8063715018a614610213578063735de9f714610228578063893d20e81461026057600080fd5b806323b872dd116100bb57806323b872dd1461017f578063313ce5671461019f578063520f863e146101bb57806370a08231146101dd57600080fd5b806306fdde03146100ed578063095ea7b31461013057806318160ddd1461016057600080fd5b366100e857005b600080fd5b3480156100f957600080fd5b5060408051808201909152600881526750657420526f636b60c01b60208201525b6040516101279190610ef6565b60405180910390f35b34801561013c57600080fd5b5061015061014b366004610f5c565b610334565b6040519015158152602001610127565b34801561016c57600080fd5b506001545b604051908152602001610127565b34801561018b57600080fd5b5061015061019a366004610f88565b6103a1565b3480156101ab57600080fd5b5060405160098152602001610127565b3480156101c757600080fd5b506101db6101d6366004610fc9565b610463565b005b3480156101e957600080fd5b506101716101f8366004610fe2565b6001600160a01b03166000908152600e602052604090205490565b34801561021f57600080fd5b506101db6104b7565b34801561023457600080fd5b50600454610248906001600160a01b031681565b6040516001600160a01b039091168152602001610127565b34801561026c57600080fd5b506000546001600160a01b0316610248565b34801561028a57600080fd5b50604080518082019091526007815266504554524f434b60c81b602082015261011a565b3480156102ba57600080fd5b506101506102c9366004610f5c565b610526565b3480156102da57600080fd5b506101db6102e9366004610fff565b610533565b3480156102fa57600080fd5b50610171610309366004611021565b6001600160a01b039182166000908152600f6020908152604080832093909416825291909152205490565b336000818152600f602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061038f9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600f602090815260408083203384529091528120546000191461044e576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b0387166000908152600f82528381203382529091529190912054610429918490610578565b6001600160a01b0385166000908152600f602090815260408083203384529091529020555b6104598484846105b2565b90505b9392505050565b6000546001600160a01b031633146104965760405162461bcd60e51b815260040161048d9061105a565b60405180910390fd5b6103e8816001546104a79190611090565b6104b191906110a7565b60025550565b6000546001600160a01b031633146104e15760405162461bcd60e51b815260040161048d9061105a565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b600061045c3384846105b2565b6000546001600160a01b0316331461055d5760405162461bcd60e51b815260040161048d9061105a565b6006829055600781905561057181836110c9565b6008555050565b6000818484111561059c5760405162461bcd60e51b815260040161048d9190610ef6565b5060006105a984866110dc565b95945050505050565b600d5460009060ff16156105d2576105cb8484846107c3565b905061045c565b6005546001600160a01b038481169116148015906105fe5750600b546001600160a01b03848116911614155b156106a9576001600160a01b03831660009081526011602052604090205460ff168061064f57506002546001600160a01b0384166000908152600e602052604090205461064c9084906110c9565b11155b6106a95760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b606482015260840161048d565b6106b48484846108a9565b156106c1576106c1610903565b6001600160a01b03841660009081526010602052604090205460ff1615801561072e576107106106f18685610c03565b6001600160a01b0386166000908152600e602052604090205490610d22565b6001600160a01b0385166000908152600e602052604090205561076b565b6001600160a01b0384166000908152600e60205260409020546107519084610d22565b6001600160a01b0385166000908152600e60205260409020555b836001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516107b091815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600e90915291822054610814918490610578565b6001600160a01b038086166000908152600e602052604080822093909355908516815220546108439083610d22565b6001600160a01b038085166000818152600e602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906108979086815260200190565b60405180910390a35060019392505050565b60006108b3610d81565b80156108d857506001600160a01b03841660009081526010602052604090205460ff16155b80156108f157506005546001600160a01b038481169116145b8015610459575050600c541092915050565b600d805460ff19166001179055306000908152600e60205260408120549050600061094a600261094460085461094460065487610dc290919063ffffffff16565b90610e44565b905060006109588383610e86565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610992576109926110ef565b60200260200101906001600160a01b031690816001600160a01b031681525050600460009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610a05573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a299190611105565b81600181518110610a3c57610a3c6110ef565b6001600160a01b0392831660209182029290920101526004805460405163791ac94760e01b815292169163791ac94791610a8191869160009187913091429101611122565b600060405180830381600087803b158015610a9b57600080fd5b505af1158015610aaf573d6000803e3d6000fd5b505060065447925060009150610ad390610aca906002610e44565b60085490610e86565b90506000610af560026109448461094460065488610dc290919063ffffffff16565b90506000610b128361094460075487610dc290919063ffffffff16565b6003546040519192506001600160a01b03169082156108fc029083906000818181858888f19350505050158015610b4d573d6000803e3d6000fd5b508615610bef576004805460035460405163f305d71960e01b81523093810193909352602483018a905260006044840181905260648401526001600160a01b0390811660848401524260a4840152169063f305d71990849060c40160606040518083038185885af1158015610bc6573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610beb9190611193565b5050505b5050600d805460ff19169055505050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0385166000908152600e90915291822054610c54918490610578565b6001600160a01b0384166000908152600e6020526040812091909155600954600854610c869190610944908690610dc2565b6000549091506001600160a01b038581169116148015610ca557600091505b306000908152600e6020526040902054610cbf9083610d22565b306000818152600e6020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d109086815260200190565b60405180910390a36105a98483610e86565b600080610d2f83856110c9565b90508381101561045c5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161048d565b600d5460009060ff16158015610da05750600b54600160a01b900460ff165b8015610dbd5750600c54306000908152600e602052604090205410155b905090565b600082600003610dd45750600061039b565b6000610de08385611090565b905082610ded85836110a7565b1461045c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161048d565b600061045c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250610ec8565b600061045c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610578565b60008183610ee95760405162461bcd60e51b815260040161048d9190610ef6565b5060006105a984866110a7565b600060208083528351808285015260005b81811015610f2357858101830151858201604001528201610f07565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610f5957600080fd5b50565b60008060408385031215610f6f57600080fd5b8235610f7a81610f44565b946020939093013593505050565b600080600060608486031215610f9d57600080fd5b8335610fa881610f44565b92506020840135610fb881610f44565b929592945050506040919091013590565b600060208284031215610fdb57600080fd5b5035919050565b600060208284031215610ff457600080fd5b813561045c81610f44565b6000806040838503121561101257600080fd5b50508035926020909101359150565b6000806040838503121561103457600080fd5b823561103f81610f44565b9150602083013561104f81610f44565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b808202811582820484141761039b5761039b61107a565b6000826110c457634e487b7160e01b600052601260045260246000fd5b500490565b8082018082111561039b5761039b61107a565b8181038181111561039b5761039b61107a565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561111757600080fd5b815161045c81610f44565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156111725784516001600160a01b03168352938301939183019160010161114d565b50506001600160a01b03969096166060850152505050608001529392505050565b6000806000606084860312156111a857600080fd5b835192506020840151915060408401519050925092509256fea2646970667358221220929ffe185e5d4289305e03fd12b6369b4be1354f0c2076a71486300d49d912eb64736f6c63430008130033

000000000000000000000000b9f7b3597a42d974f8544c7654a9e657a9d60dd2

-----Decoded View---------------
Arg [0] : PetAddress (address): 0xb9F7B3597a42D974F8544c7654a9e657A9D60dD2

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000b9f7b3597a42d974f8544c7654a9e657a9d60dd2

4334:7490:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11238:80;;;;;;;;;;-1:-1:-1;11310:5:0;;;;;;;;;;;;-1:-1:-1;;;11310:5:0;;;;11238:80;;;;;;;:::i;:::-;;;;;;;;10792:216;;;;;;;;;;-1:-1:-1;10792:216:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;10792:216:0;1023:187:1;9354:88:0;;;;;;;;;;-1:-1:-1;9427:12:0;;9354:88;;;1361:25:1;;;1349:2;1334:18;9354:88:0;1215:177:1;9536:370:0;;;;;;;;;;-1:-1:-1;9536:370:0;;;;;:::i;:::-;;:::i;9448:80::-;;;;;;;;;;-1:-1:-1;9448:80:0;;4562:1;2000:36:1;;1988:2;1973:18;9448:80:0;1858:184:1;9216:130:0;;;;;;;;;;-1:-1:-1;9216:130:0;;;;;:::i;:::-;;:::i;:::-;;11409:105;;;;;;;;;;-1:-1:-1;11409:105:0;;;;;:::i;:::-;-1:-1:-1;;;;;11493:18:0;11475:7;11493:18;;;:9;:18;;;;;;;11409:105;2868:132;;;;;;;;;;;;;:::i;4719:37::-;;;;;;;;;;-1:-1:-1;4719:37:0;;;;-1:-1:-1;;;;;4719:37:0;;;;;;-1:-1:-1;;;;;2672:32:1;;;2654:51;;2642:2;2627:18;4719:37:0;2484:227:1;11324:79:0;;;;;;;;;;-1:-1:-1;11376:7:0;11394:6;-1:-1:-1;;;;;11394:6:0;11324:79;;11148:84;;;;;;;;;;-1:-1:-1;11222:7:0;;;;;;;;;;;;-1:-1:-1;;;11222:7:0;;;;11148:84;;11665:156;;;;;;;;;;-1:-1:-1;11665:156:0;;;;;:::i;:::-;;:::i;10256:201::-;;;;;;;;;;-1:-1:-1;10256:201:0;;;;;:::i;:::-;;:::i;11520:133::-;;;;;;;;;;-1:-1:-1;11520:133:0;;;;;:::i;:::-;-1:-1:-1;;;;;11622:19:0;;;11604:7;11622:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;11520:133;10792:216;10896:10;10867:4;10884:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;10884:32:0;;;;;;;;;;:41;;;10941:37;10867:4;;10884:32;;10941:37;;;;10919:6;1361:25:1;;1349:2;1334:18;;1215:177;10941:37:0;;;;;;;;-1:-1:-1;10996:4:0;10792:216;;;;;:::o;9536:370::-;-1:-1:-1;;;;;9656:19:0;;9636:4;9656:19;;;:11;:19;;;;;;;;9676:10;9656:31;;;;;;;;-1:-1:-1;;9656:52:0;9653:186;;9758:69;;;;;;;;;;;-1:-1:-1;;;9758:69:0;;;;;;;;-1:-1:-1;;;;;9758:19:0;;-1:-1:-1;9758:19:0;;;:11;:19;;;;;9778:10;9758:31;;;;;;;;;;:69;;9794:6;;9758:35;:69::i;:::-;-1:-1:-1;;;;;9724:19:0;;;;;;:11;:19;;;;;;;;9744:10;9724:31;;;;;;;:103;9653:186;9858:40;9872:6;9880:9;9891:6;9858:13;:40::i;:::-;9851:47;;9536:370;;;;;;:::o;9216:130::-;2811:4;2846:6;-1:-1:-1;;;;;2846:6:0;2703:10;2835:17;2686:39;;;;-1:-1:-1;;;2686:39:0;;;;;;;:::i;:::-;;;;;;;;;9334:4:::1;9323:7;9308:12;;:22;;;;:::i;:::-;9307:31;;;;:::i;:::-;9292:12;:46:::0;-1:-1:-1;9216:130:0:o;2868:132::-;2811:4;2846:6;-1:-1:-1;;;;;2846:6:0;2703:10;2835:17;2686:39;;;;-1:-1:-1;;;2686:39:0;;;;;;;:::i;:::-;2942:1:::1;2925:19:::0;;-1:-1:-1;;;;;;2925:19:0::1;::::0;;2960:32:::1;::::0;2654:51:1;;;2960:32:0::1;::::0;2642:2:1;2627:18;2960:32:0::1;;;;;;;2868:132::o:0;11665:156::-;11745:4;11769:44;11783:10;11795:9;11806:6;11769:13;:44::i;10256:201::-;2811:4;2846:6;-1:-1:-1;;;;;2846:6:0;2703:10;2835:17;2686:39;;;;-1:-1:-1;;;2686:39:0;;;;;;;:::i;:::-;10340:11:::1;:19:::0;;;10372:15:::1;:24:::0;;;10420:29:::1;10390:6:::0;10354:5;10420:29:::1;:::i;:::-;10408:9;:41:::0;-1:-1:-1;;10256:201:0:o;3412:190::-;3498:7;3534:12;3526:6;;;;3518:29;;;;-1:-1:-1;;;3518:29:0;;;;;;;;:::i;:::-;-1:-1:-1;3558:9:0;3570:5;3574:1;3570;:5;:::i;:::-;3558:17;3412:190;-1:-1:-1;;;;;3412:190:0:o;8344:860::-;8456:9;;8436:4;;8456:9;;8453:66;;;8475:41;8490:6;8498:9;8509:6;8475:14;:41::i;:::-;8468:48;;;;8453:66;8556:12;;-1:-1:-1;;;;;8543:25:0;;;8556:12;;8543:25;;;;:47;;-1:-1:-1;8585:5:0;;-1:-1:-1;;;;;8572:18:0;;;8585:5;;8572:18;;8543:47;8539:207;;;-1:-1:-1;;;;;8615:28:0;;;;;;:17;:28;;;;;;;;;:77;;-1:-1:-1;8680:12:0;;-1:-1:-1;;;;;8647:20:0;;;;;;:9;:20;;;;;;:29;;8670:6;;8647:29;:::i;:::-;:45;;8615:77;8607:127;;;;-1:-1:-1;;;8607:127:0;;4896:2:1;8607:127:0;;;4878:21:1;4935:2;4915:18;;;4908:30;4974:34;4954:18;;;4947:62;-1:-1:-1;;;5025:18:1;;;5018:35;5070:19;;8607:127:0;4694:401:1;8607:127:0;8767:42;8783:6;8791:9;8802:6;8767:15;:42::i;:::-;8764:91;;;8826:16;:14;:16::i;:::-;-1:-1:-1;;;;;11109:23:0;;8866:14;11109:23;;;:15;:23;;;;;;;;11108:24;8917:205;;;;8970:52;8995:26;9006:6;9014;8995:10;:26::i;:::-;-1:-1:-1;;;;;8970:20:0;;;;;;:9;:20;;;;;;;:24;:52::i;:::-;-1:-1:-1;;;;;8947:20:0;;;;;;:9;:20;;;;;:75;8917:205;;;-1:-1:-1;;;;;9078:20:0;;;;;;:9;:20;;;;;;:32;;9103:6;9078:24;:32::i;:::-;-1:-1:-1;;;;;9055:20:0;;;;;;:9;:20;;;;;:55;8917:205;9156:9;-1:-1:-1;;;;;9139:35:0;9148:6;-1:-1:-1;;;;;9139:35:0;;9167:6;9139:35;;;;1361:25:1;;1349:2;1334:18;;1215:177;9139:35:0;;;;;;;;-1:-1:-1;9192:4:0;;8344:860;-1:-1:-1;;;;8344:860:0:o;9914:330::-;10044:53;;;;;;;;;;;-1:-1:-1;;;10044:53:0;;;;;;;;-1:-1:-1;;;;;10044:17:0;;10007:4;10044:17;;;:9;:17;;;;;;;:53;;10066:6;;10044:21;:53::i;:::-;-1:-1:-1;;;;;10024:17:0;;;;;;;:9;:17;;;;;;:73;;;;10131:20;;;;;;;:32;;10156:6;10131:24;:32::i;:::-;-1:-1:-1;;;;;10108:20:0;;;;;;;:9;:20;;;;;;;:55;;;;10179:35;;;;;;;;;;10207:6;1361:25:1;;1349:2;1334:18;;1215:177;10179:35:0;;;;;;;;-1:-1:-1;10232:4:0;9914:330;;;;;:::o;6266:276::-;6364:4;6388:19;:17;:19::i;:::-;:60;;;;-1:-1:-1;;;;;;11109:23:0;;11084:4;11109:23;;;:15;:23;;;;;;;;11108:24;6425:23;6388:102;;;;-1:-1:-1;10573:12:0;;-1:-1:-1;;;;;10560:25:0;;;10573:12;;10560:25;6466:24;6388:146;;;;-1:-1:-1;;6517:17:0;;-1:-1:-1;6508:26:0;6266:276;-1:-1:-1;;6266:276:0:o;7094:1242::-;5490:9;:16;;-1:-1:-1;;5490:16:0;5502:4;5490:16;;;7198:4:::1;-1:-1:-1::0;11493:18:0;;;:9;:18;;;;;;7149:55:::1;;7215:18;7236:59;7293:1;7236:52;7278:9;;7236:37;7261:11;;7236:20;:24;;:37;;;;:::i;:::-;:41:::0;::::1;:52::i;:59::-;7215:80:::0;-1:-1:-1;7306:20:0::1;7329:36;:20:::0;7215:80;7329:24:::1;:36::i;:::-;7402:16;::::0;;7416:1:::1;7402:16:::0;;;;;::::1;::::0;;7306:59;;-1:-1:-1;7378:21:0::1;::::0;7402:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;7402:16:0::1;7378:40;;7447:4;7429;7434:1;7429:7;;;;;;;;:::i;:::-;;;;;;:23;-1:-1:-1::0;;;;;7429:23:0::1;;;-1:-1:-1::0;;;;;7429:23:0::1;;;::::0;::::1;7473:13;;;;;;;;;-1:-1:-1::0;;;;;7473:13:0::1;-1:-1:-1::0;;;;;7473:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;7463:4;7468:1;7463:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;7463:30:0;;::::1;:7;::::0;;::::1;::::0;;;;;:30;7506:13:::1;::::0;;:195:::1;::::0;-1:-1:-1;;;7506:195:0;;:13;::::1;::::0;:64:::1;::::0;:195:::1;::::0;7585:12;;7506:13:::1;::::0;7628:4;;7655::::1;::::0;7675:15:::1;::::0;7506:195:::1;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;7803:11:0::1;::::0;7732:21:::1;::::0;-1:-1:-1;7712:17:0::1;::::0;-1:-1:-1;7789:33:0::1;::::0;7803:18:::1;::::0;7819:1:::1;7803:15;:18::i;:::-;7789:9;::::0;;:13:::1;:33::i;:::-;7764:58;;7833:15;7851:53;7902:1;7851:46;7882:14;7851:26;7865:11;;7851:9;:13;;:26;;;;:::i;:53::-;7833:71;;7915:22;7940:50;7975:14;7940:30;7954:15;;7940:9;:13;;:30;;;;:::i;:50::-;8011:11;::::0;8003:45:::1;::::0;7915:75;;-1:-1:-1;;;;;;8011:11:0::1;::::0;8003:45;::::1;;;::::0;7915:75;;8011:11:::1;8003:45:::0;8011:11;8003:45;7915:75;8011:11;8003:45;::::1;;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;8062:14:0;;8059:270:::1;;8092:13;::::0;;8257:11:::1;::::0;8092:225:::1;::::0;-1:-1:-1;;;8092:225:0;;8164:4:::1;8092:225:::0;;::::1;6946:34:1::0;;;;6996:18;;;6989:34;;;8092:13:0::1;7039:18:1::0;;;7032:34;;;7082:18;;;7075:34;-1:-1:-1;;;;;8257:11:0;;::::1;7125:19:1::0;;;7118:44;8287:15:0::1;7178:19:1::0;;;7171:35;8092:13:0::1;::::0;:29:::1;::::0;8129:7;;6880:19:1;;8092:225:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;8059:270;-1:-1:-1::0;;5511:9:0;:17;;-1:-1:-1;;5511:17:0;;;-1:-1:-1;;;;;;7094:1242:0:o;6550:532::-;6660:53;;;;;;;;;;;-1:-1:-1;;;6660:53:0;;;;;;;;-1:-1:-1;;;;;6660:17:0;;6620:7;6660:17;;;:9;:17;;;;;;;:53;;6682:6;;6660:21;:53::i;:::-;-1:-1:-1;;;;;6640:17:0;;;;;;:9;:17;;;;;:73;;;;6770:12;;6755:9;;6744:39;;6770:12;6744:21;;:6;;:10;:21::i;:39::-;6794:13;6820:6;6724:59;;-1:-1:-1;;;;;;6810:16:0;;;6820:6;;6810:16;6837:54;;;;6878:1;6866:13;;6837:54;6956:4;6938:24;;;;:9;:24;;;;;;:39;;6967:9;6938:28;:39::i;:::-;6929:4;6911:24;;;;:9;:24;;;;;;;:66;;;;6993:42;;-1:-1:-1;;;;;6993:42:0;;;;;;;7025:9;1361:25:1;;1349:2;1334:18;;1215:177;6993:42:0;;;;;;;;7053:21;:6;7064:9;7053:10;:21::i;3081:179::-;3139:7;;3171:5;3175:1;3171;:5;:::i;:::-;3159:17;;3200:1;3195;:6;;3187:46;;;;-1:-1:-1;;;3187:46:0;;7730:2:1;3187:46:0;;;7712:21:1;7769:2;7749:18;;;7742:30;7808:29;7788:18;;;7781:57;7855:18;;3187:46:0;7528:351:1;10601:179:0;10678:9;;10653:4;;10678:9;;10677:10;:37;;;;-1:-1:-1;10700:14:0;;-1:-1:-1;;;10700:14:0;;;;10677:37;:95;;;;-1:-1:-1;10755:17:0;;10745:4;10727:24;;;;:9;:24;;;;;;:45;;10677:95;10670:102;;10601:179;:::o;3610:246::-;3668:7;3692:1;3697;3692:6;3688:47;;-1:-1:-1;3722:1:0;3715:8;;3688:47;3745:9;3757:5;3761:1;3757;:5;:::i;:::-;3745:17;-1:-1:-1;3790:1:0;3781:5;3785:1;3745:17;3781:5;:::i;:::-;:10;3773:56;;;;-1:-1:-1;;;3773:56:0;;8086:2:1;3773:56:0;;;8068:21:1;8125:2;8105:18;;;8098:30;8164:34;8144:18;;;8137:62;-1:-1:-1;;;8215:18:1;;;8208:31;8256:19;;3773:56:0;7884:397:1;3864:132:0;3922:7;3949:39;3953:1;3956;3949:39;;;;;;;;;;;;;;;;;:3;:39::i;3268:136::-;3326:7;3353:43;3357:1;3360;3353:43;;;;;;;;;;;;;;;;;:3;:43::i;4004:189::-;4090:7;4125:12;4118:5;4110:28;;;;-1:-1:-1;;;4110:28:0;;;;;;;;:::i;:::-;-1:-1:-1;4149:9:0;4161:5;4165:1;4161;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:180::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;-1:-1:-1;2198:23:1;;2047:180;-1:-1:-1;2047:180:1:o;2232:247::-;2291:6;2344:2;2332:9;2323:7;2319:23;2315:32;2312:52;;;2360:1;2357;2350:12;2312:52;2399:9;2386:23;2418:31;2443:5;2418:31;:::i;2924:248::-;2992:6;3000;3053:2;3041:9;3032:7;3028:23;3024:32;3021:52;;;3069:1;3066;3059:12;3021:52;-1:-1:-1;;3092:23:1;;;3162:2;3147:18;;;3134:32;;-1:-1:-1;2924:248:1:o;3177:388::-;3245:6;3253;3306:2;3294:9;3285:7;3281:23;3277:32;3274:52;;;3322:1;3319;3312:12;3274:52;3361:9;3348:23;3380:31;3405:5;3380:31;:::i;:::-;3430:5;-1:-1:-1;3487:2:1;3472:18;;3459:32;3500:33;3459:32;3500:33;:::i;:::-;3552:7;3542:17;;;3177:388;;;;;:::o;3570:329::-;3772:2;3754:21;;;3811:1;3791:18;;;3784:29;-1:-1:-1;;;3844:2:1;3829:18;;3822:36;3890:2;3875:18;;3570:329::o;3904:127::-;3965:10;3960:3;3956:20;3953:1;3946:31;3996:4;3993:1;3986:15;4020:4;4017:1;4010:15;4036:168;4109:9;;;4140;;4157:15;;;4151:22;;4137:37;4127:71;;4178:18;;:::i;4209:217::-;4249:1;4275;4265:132;;4319:10;4314:3;4310:20;4307:1;4300:31;4354:4;4351:1;4344:15;4382:4;4379:1;4372:15;4265:132;-1:-1:-1;4411:9:1;;4209:217::o;4431:125::-;4496:9;;;4517:10;;;4514:36;;;4530:18;;:::i;4561:128::-;4628:9;;;4649:11;;;4646:37;;;4663:18;;:::i;5232:127::-;5293:10;5288:3;5284:20;5281:1;5274:31;5324:4;5321:1;5314:15;5348:4;5345:1;5338:15;5364:251;5434:6;5487:2;5475:9;5466:7;5462:23;5458:32;5455:52;;;5503:1;5500;5493:12;5455:52;5535:9;5529:16;5554:31;5579:5;5554:31;:::i;5620:980::-;5882:4;5930:3;5919:9;5915:19;5961:6;5950:9;5943:25;5987:2;6025:6;6020:2;6009:9;6005:18;5998:34;6068:3;6063:2;6052:9;6048:18;6041:31;6092:6;6127;6121:13;6158:6;6150;6143:22;6196:3;6185:9;6181:19;6174:26;;6235:2;6227:6;6223:15;6209:29;;6256:1;6266:195;6280:6;6277:1;6274:13;6266:195;;;6345:13;;-1:-1:-1;;;;;6341:39:1;6329:52;;6436:15;;;;6401:12;;;;6377:1;6295:9;6266:195;;;-1:-1:-1;;;;;;;6517:32:1;;;;6512:2;6497:18;;6490:60;-1:-1:-1;;;6581:3:1;6566:19;6559:35;6478:3;5620:980;-1:-1:-1;;;5620:980:1:o;7217:306::-;7305:6;7313;7321;7374:2;7362:9;7353:7;7349:23;7345:32;7342:52;;;7390:1;7387;7380:12;7342:52;7419:9;7413:16;7403:26;;7469:2;7458:9;7454:18;7448:25;7438:35;;7513:2;7502:9;7498:18;7492:25;7482:35;;7217:306;;;;;:::o

ipfs://929ffe185e5d4289305e03fd12b6369b4be1354f0c2076a71486300d49d912eb