Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• 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 ERC20
•    - function totalSupply()
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address _owner, ad ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function isOwner(address account)
•    - function renounceOwnership()
• interface IDEXFactory
•    - function createPair(address tokenA, a ...
• interface IDEXRouter
•    - function factory()
•    - function WETH()
•    - function addLiquidity(
•    - function addLiquidityETH(
•    - function swapExactTokensForTokensSupp ...
•    - function swapExactETHForTokensSupport ...
•    - function swapExactTokensForETHSupport ...
•  contract THEX is ERC20, Ownable *
•    - function totalSupply()
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function allowance(address holder, ad ...
•    - function approve(address spender, uin ...
•    - function approveMax(address spender)
•    - function transfer(address recipient, ...
•    - function transferFrom(address sender, ...
•    - function _transferFrom(address sender ...
•    - function _basicTransfer(address sende ...
•    - function shouldTakeFee(address sender ...
•    - function takeFee(address sender, uint ...
•    - function shouldSwapBack()
•    - function swapBack()
•    - function buyTokens(uint256 amount, ad ...
•    - function clearStuckBalance()
•    - function setWalletLimit(uint256 amoun ...
•    - function setFee(uint256 _liquidityFee ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-10-21
*/

//t.me/thexerc
//https://twitter.com/thexerc

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.5;
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 ERC20 {
    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);
}
 
abstract contract Ownable {
    address internal owner;
    constructor(address _owner) {
        owner = _owner;
    }
    modifier onlyOwner() {
        require(isOwner(msg.sender), "!OWNER"); _;
    }
    function isOwner(address account) public view returns (bool) {
        return account == owner;
    }
    function renounceOwnership() public onlyOwner {
        owner = address(0);
        emit OwnershipTransferred(address(0));
    }  
    event OwnershipTransferred(address owner);
}
 
interface IDEXFactory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}
 
interface IDEXRouter {
    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;
}
 
contract THEX is ERC20, Ownable {
    using SafeMath for uint256;
    address routerAdress = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address DEAD = 0x000000000000000000000000000000000000dEaD;
 
    string constant _name = "THE X";
    string constant _symbol = "THEX ";
    uint8 constant _decimals = 9;
 
    uint256 _totalSupply = 100_000_000_000 * (10 ** _decimals);
    uint256 public _maxWalletAmount = (_totalSupply * 100) / 100;
 
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) _allowances;
 
    mapping (address => bool) isFeeExempt;
    mapping (address => bool) isTxLimitExempt;
 
    uint256 liquidityFee = 0;
    uint256 marketingFee = 6;
    uint256 totalFee = liquidityFee + marketingFee;
    uint256 feeDenominator = 100;
 
    address public marketingFeeReceiver = 0xc8b5F2065e4F477b85b82aa9ae77553AF9F0a8Bc;
 
    IDEXRouter public router;
    address public pair;
 
    bool public swapEnabled = true;
    uint256 public swapThreshold = _totalSupply / 1000 * 5; // 0.5%
    bool inSwap;
    modifier swapping() { inSwap = true; _; inSwap = false; }
 
    constructor () Ownable(msg.sender) {
        router = IDEXRouter(routerAdress);
        pair = IDEXFactory(router.factory()).createPair(router.WETH(), address(this));
        _allowances[address(this)][address(router)] = type(uint256).max;
 
        address _owner = owner;
        isFeeExempt[0xc8b5F2065e4F477b85b82aa9ae77553AF9F0a8Bc] = true;
        isTxLimitExempt[_owner] = true;
        isTxLimitExempt[0xc8b5F2065e4F477b85b82aa9ae77553AF9F0a8Bc] = true;
        isTxLimitExempt[DEAD] = true;
 
        _balances[_owner] = _totalSupply;
        emit Transfer(address(0), _owner, _totalSupply);
    }
 
    receive() external payable { }
 
    function totalSupply() external view override returns (uint256) { return _totalSupply; }
    function decimals() external pure override returns (uint8) { return _decimals; }
    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 approve(address spender, uint256 amount) public override returns (bool) {
        _allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }
 
    function approveMax(address spender) external returns (bool) {
        return approve(spender, type(uint256).max);
    }
 
    function transfer(address recipient, uint256 amount) external override returns (bool) {
        return _transferFrom(msg.sender, recipient, amount);
    }
 
    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 _transferFrom(address sender, address recipient, uint256 amount) internal returns (bool) {
        if(inSwap){ return _basicTransfer(sender, recipient, amount); }
       
        if (recipient != pair && recipient != DEAD) {
            require(isTxLimitExempt[recipient] || _balances[recipient] + amount <= _maxWalletAmount, "Transfer amount exceeds the bag size.");
        }
       
        if(shouldSwapBack()){ swapBack(); }
 
        _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");
 
        uint256 amountReceived = shouldTakeFee(sender) ? takeFee(sender, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
 
        emit Transfer(sender, recipient, amountReceived);
        return true;
    }
   
    function _basicTransfer(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 shouldTakeFee(address sender) internal view returns (bool) {
        return !isFeeExempt[sender];
    }
 
    function takeFee(address sender, uint256 amount) internal returns (uint256) {
        uint256 feeAmount = amount.mul(totalFee).div(feeDenominator);
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount);
        return amount.sub(feeAmount);
    }
 
    function shouldSwapBack() internal view returns (bool) {
        return msg.sender != pair
        && !inSwap
        && swapEnabled
        && _balances[address(this)] >= swapThreshold;
    }
 
    function swapBack() internal swapping {
        uint256 contractTokenBalance = swapThreshold;
        uint256 amountToLiquify = contractTokenBalance.mul(liquidityFee).div(totalFee).div(2);
        uint256 amountToSwap = contractTokenBalance.sub(amountToLiquify);
 
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = router.WETH();
 
        uint256 balanceBefore = address(this).balance;
 
        router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amountToSwap,
            0,
            path,
            address(this),
            block.timestamp
        );
        uint256 amountETH = address(this).balance.sub(balanceBefore);
        uint256 totalETHFee = totalFee.sub(liquidityFee.div(2));
        uint256 amountETHLiquidity = amountETH.mul(liquidityFee).div(totalETHFee).div(2);
        uint256 amountETHMarketing = amountETH.mul(marketingFee).div(totalETHFee);
 
 
        (bool MarketingSuccess, /* bytes memory data */) = payable(marketingFeeReceiver).call{value: amountETHMarketing, gas: 30000}("");
        require(MarketingSuccess, "receiver rejected ETH transfer");
 
        if(amountToLiquify > 0){
            router.addLiquidityETH{value: amountETHLiquidity}(
                address(this),
                amountToLiquify,
                0,
                0,
                0xc8b5F2065e4F477b85b82aa9ae77553AF9F0a8Bc,
                block.timestamp
            );
            emit AutoLiquify(amountETHLiquidity, amountToLiquify);
        }
    }
 
    function buyTokens(uint256 amount, address to) internal swapping {
        address[] memory path = new address[](2);
        path[0] = router.WETH();
        path[1] = address(this);
 
        router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: amount}(
            0,
            path,
            to,
            block.timestamp
        );
    }
 
    function clearStuckBalance() external {
        payable(marketingFeeReceiver).transfer(address(this).balance);
    }
 
    function setWalletLimit(uint256 amountPercent) external onlyOwner {
        _maxWalletAmount = (_totalSupply * amountPercent ) / 1000;
    }
 
    function setFee(uint256 _liquidityFee, uint256 _marketingFee) external onlyOwner {
         liquidityFee = _liquidityFee;
         marketingFee = _marketingFee;
         totalFee = liquidityFee + marketingFee;
    }    
   
    event AutoLiquify(uint256 amountETH, uint256 amountBOG);
}

• 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":false,"internalType":"uint256","name":"amountETH","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amountBOG","type":"uint256"}],"name":"AutoLiquify","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":[],"name":"_maxWalletAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":"spender","type":"address"}],"name":"approveMax","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":"clearStuckBalance","outputs":[],"stateMutability":"nonpayable","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":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"marketingFeeReceiver","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":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"router","outputs":[{"internalType":"contract IDEXRouter","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_liquidityFee","type":"uint256"},{"internalType":"uint256","name":"_marketingFee","type":"uint256"}],"name":"setFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amountPercent","type":"uint256"}],"name":"setWalletLimit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"swapEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"swapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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"},{"stateMutability":"payable","type":"receive"}]

6080604052600180546001600160a01b0319908116737a250d5630b4cf539739df2c5dacb4c659f2488d179091556002805490911661dead179055620000486009600a6200048b565b620000599064174876e8006200054c565b600355606460035460646200006f91906200054c565b6200007b91906200041f565b600455600060098190556006600a819055620000979162000404565b600b556064600c55600d80546001600160a01b03191673c8b5f2065e4f477b85b82aa9ae77553af9f0a8bc179055600f805460ff60a01b1916600160a01b179055600354620000ea906103e8906200041f565b620000f79060056200054c565b6010553480156200010757600080fd5b5060008054336001600160a01b031991821617909155600154600e80546001600160a01b039092169190921681179091556040805163c45a015560e01b8152905163c45a015591600480820192602092909190829003018186803b1580156200016f57600080fd5b505afa15801562000184573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001aa9190620003d2565b6001600160a01b031663c9c65396600e60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b1580156200020757600080fd5b505afa1580156200021c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002429190620003d2565b6040516001600160e01b031960e084901b1681526001600160a01b039091166004820152306024820152604401602060405180830381600087803b1580156200028a57600080fd5b505af11580156200029f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002c59190620003d2565b600f80546001600160a01b0319166001600160a01b03928316179055306000908152600660209081526040808320600e54851684528252808320600019905582547fdb4de7ea589650098b5de463e2cc9c36896324196abf529e20a81dae170ab4c1805460ff1990811660019081179092559186168086526008855283862080548416831790557fd583e2b749d48ed094cdc83603f669833c8c770df2422e3788fe772143c406b38054841683179055600254909616855282852080549092161790556003548484526005835281842081905590519081528392917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35062000584565b600060208284031215620003e557600080fd5b81516001600160a01b0381168114620003fd57600080fd5b9392505050565b600082198211156200041a576200041a6200056e565b500190565b6000826200043d57634e487b7160e01b600052601260045260246000fd5b500490565b600181815b80851115620004835781600019048211156200046757620004676200056e565b808516156200047557918102915b93841c939080029062000447565b509250929050565b6000620003fd60ff841683600082620004a75750600162000546565b81620004b65750600062000546565b8160018114620004cf5760028114620004da57620004fa565b600191505062000546565b60ff841115620004ee57620004ee6200056e565b50506001821b62000546565b5060208310610133831016604e8410600b84101617156200051f575081810a62000546565b6200052b838362000442565b80600019048211156200054257620005426200056e565b0290505b92915050565b60008160001904831182151516156200056957620005696200056e565b500290565b634e487b7160e01b600052601160045260246000fd5b6113ba80620005946000396000f3fe6080604052600436106101395760003560e01c80636ddd1713116100ab578063a8aa1b311161006f578063a8aa1b311461038e578063a9059cbb146103ae578063dd62ed3e146103ce578063e96fada214610414578063f1d5f51714610434578063f887ea401461045457600080fd5b80636ddd1713146102c257806370a08231146102e3578063715018a614610319578063893d20e81461032e57806395d89b411461036057600080fd5b80632f54bf6e116100fd5780632f54bf6e1461020a578063313ce56714610239578063364333f41461025557806352f7c9881461026c578063571ac8b01461028c5780636c0a24eb146102ac57600080fd5b80630445b6671461014557806306fdde031461016e578063095ea7b3146101a557806318160ddd146101d557806323b872dd146101ea57600080fd5b3661014057005b600080fd5b34801561015157600080fd5b5061015b60105481565b6040519081526020015b60405180910390f35b34801561017a57600080fd5b506040805180820190915260058152640a8908a40b60db1b60208201525b60405161016591906111ed565b3480156101b157600080fd5b506101c56101c0366004611158565b610474565b6040519015158152602001610165565b3480156101e157600080fd5b5060035461015b565b3480156101f657600080fd5b506101c5610205366004611117565b6104e1565b34801561021657600080fd5b506101c56102253660046110a4565b6000546001600160a01b0391821691161490565b34801561024557600080fd5b5060405160098152602001610165565b34801561026157600080fd5b5061026a6105a3565b005b34801561027857600080fd5b5061026a61028736600461119d565b6105df565b34801561029857600080fd5b506101c56102a73660046110a4565b61062d565b3480156102b857600080fd5b5061015b60045481565b3480156102ce57600080fd5b50600f546101c590600160a01b900460ff1681565b3480156102ef57600080fd5b5061015b6102fe3660046110a4565b6001600160a01b031660009081526005602052604090205490565b34801561032557600080fd5b5061026a61063b565b34801561033a57600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610165565b34801561036c57600080fd5b5060408051808201909152600581526402a2422ac160dd1b6020820152610198565b34801561039a57600080fd5b50600f54610348906001600160a01b031681565b3480156103ba57600080fd5b506101c56103c9366004611158565b6106aa565b3480156103da57600080fd5b5061015b6103e93660046110de565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561042057600080fd5b50600d54610348906001600160a01b031681565b34801561044057600080fd5b5061026a61044f366004611184565b6106b7565b34801561046057600080fd5b50600e54610348906001600160a01b031681565b3360008181526006602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104cf9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b03831660009081526006602090815260408083203384529091528120546000191461058e576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b0387166000908152600682528381203382529091529190912054610569918490610702565b6001600160a01b03851660009081526006602090815260408083203384529091529020555b61059984848461073c565b90505b9392505050565b600d546040516001600160a01b03909116904780156108fc02916000818181858888f193505050501580156105dc573d6000803e3d6000fd5b50565b6000546001600160a01b031633146106125760405162461bcd60e51b815260040161060990611242565b60405180910390fd5b6009829055600a81905561062681836112d3565b600b555050565b60006104db82600019610474565b6000546001600160a01b031633146106655760405162461bcd60e51b815260040161060990611242565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b600061059c33848461073c565b6000546001600160a01b031633146106e15760405162461bcd60e51b815260040161060990611242565b6103e8816003546106f2919061130d565b6106fc91906112eb565b60045550565b600081848411156107265760405162461bcd60e51b815260040161060991906111ed565b506000610733848661132c565b95945050505050565b60115460009060ff161561075c57610755848484610966565b905061059c565b600f546001600160a01b0384811691161480159061078857506002546001600160a01b03848116911614155b15610833576001600160a01b03831660009081526008602052604090205460ff16806107d957506004546001600160a01b0384166000908152600560205260409020546107d69084906112d3565b11155b6108335760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610609565b61083b610a4c565b1561084857610848610aa4565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03871660009081526005909152919091205461089a918490610702565b6001600160a01b038516600090815260056020908152604080832093909355600790529081205460ff16156108cf57826108d9565b6108d98584610e6e565b6001600160a01b0385166000908152600560205260409020549091506108ff9082610f14565b6001600160a01b0380861660008181526005602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109539085815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526005909152918220546109b7918490610702565b6001600160a01b0380861660009081526005602052604080822093909355908516815220546109e69083610f14565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a3a9086815260200190565b60405180910390a35060019392505050565b600f546000906001600160a01b03163314801590610a6d575060115460ff16155b8015610a825750600f54600160a01b900460ff165b8015610a9f57506010543060009081526005602052604090205410155b905090565b6011805460ff19166001179055601054600b54600954600091610ad791600291610ad19182908790610f73565b90610ff2565b90506000610ae58383611034565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610b1f57610b1f611359565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b158015610b7357600080fd5b505afa158015610b87573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bab91906110c1565b81600181518110610bbe57610bbe611359565b6001600160a01b039283166020918202929092010152600e5460405163791ac94760e01b81524792919091169063791ac94790610c08908690600090879030904290600401611262565b600060405180830381600087803b158015610c2257600080fd5b505af1158015610c36573d6000803e3d6000fd5b505050506000610c4f824761103490919063ffffffff16565b90506000610c75610c6c6002600954610ff290919063ffffffff16565b600b5490611034565b90506000610c976002610ad184610ad160095488610f7390919063ffffffff16565b90506000610cb483610ad1600a5487610f7390919063ffffffff16565b600d546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610d0b576040519150601f19603f3d011682016040523d82523d6000602084013e610d10565b606091505b5050905080610d615760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e7366657200006044820152606401610609565b8815610e5857600e5460405163f305d71960e01b8152306004820152602481018b9052600060448201819052606482015273c8b5f2065e4f477b85b82aa9ae77553af9f0a8bc60848201524260a48201526001600160a01b039091169063f305d71990859060c4016060604051808303818588803b158015610de257600080fd5b505af1158015610df6573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610e1b91906111bf565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506011805460ff191690555050505050505050565b600080610e8c600c54610ad1600b5486610f7390919063ffffffff16565b30600090815260056020526040902054909150610ea99082610f14565b30600081815260056020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610efa9085815260200190565b60405180910390a3610f0c8382611034565b949350505050565b600080610f2183856112d3565b90508381101561059c5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610609565b600082610f82575060006104db565b6000610f8e838561130d565b905082610f9b85836112eb565b1461059c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610609565b600061059c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611076565b600061059c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610702565b600081836110975760405162461bcd60e51b815260040161060991906111ed565b50600061073384866112eb565b6000602082840312156110b657600080fd5b813561059c8161136f565b6000602082840312156110d357600080fd5b815161059c8161136f565b600080604083850312156110f157600080fd5b82356110fc8161136f565b9150602083013561110c8161136f565b809150509250929050565b60008060006060848603121561112c57600080fd5b83356111378161136f565b925060208401356111478161136f565b929592945050506040919091013590565b6000806040838503121561116b57600080fd5b82356111768161136f565b946020939093013593505050565b60006020828403121561119657600080fd5b5035919050565b600080604083850312156111b057600080fd5b50508035926020909101359150565b6000806000606084860312156111d457600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b8181101561121a578581018301518582016040015282016111fe565b8181111561122c576000604083870101525b50601f01601f1916929092016040019392505050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156112b25784516001600160a01b03168352938301939183019160010161128d565b50506001600160a01b03969096166060850152505050608001529392505050565b600082198211156112e6576112e6611343565b500190565b60008261130857634e487b7160e01b600052601260045260246000fd5b500490565b600081600019048311821515161561132757611327611343565b500290565b60008282101561133e5761133e611343565b500390565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b6001600160a01b03811681146105dc57600080fdfea264697066735822122054af00144639e356ed16424123f411a806648b5e3dd47b3b50e12b67d36eab7364736f6c63430008050033

0x6080604052600436106101395760003560e01c80636ddd1713116100ab578063a8aa1b311161006f578063a8aa1b311461038e578063a9059cbb146103ae578063dd62ed3e146103ce578063e96fada214610414578063f1d5f51714610434578063f887ea401461045457600080fd5b80636ddd1713146102c257806370a08231146102e3578063715018a614610319578063893d20e81461032e57806395d89b411461036057600080fd5b80632f54bf6e116100fd5780632f54bf6e1461020a578063313ce56714610239578063364333f41461025557806352f7c9881461026c578063571ac8b01461028c5780636c0a24eb146102ac57600080fd5b80630445b6671461014557806306fdde031461016e578063095ea7b3146101a557806318160ddd146101d557806323b872dd146101ea57600080fd5b3661014057005b600080fd5b34801561015157600080fd5b5061015b60105481565b6040519081526020015b60405180910390f35b34801561017a57600080fd5b506040805180820190915260058152640a8908a40b60db1b60208201525b60405161016591906111ed565b3480156101b157600080fd5b506101c56101c0366004611158565b610474565b6040519015158152602001610165565b3480156101e157600080fd5b5060035461015b565b3480156101f657600080fd5b506101c5610205366004611117565b6104e1565b34801561021657600080fd5b506101c56102253660046110a4565b6000546001600160a01b0391821691161490565b34801561024557600080fd5b5060405160098152602001610165565b34801561026157600080fd5b5061026a6105a3565b005b34801561027857600080fd5b5061026a61028736600461119d565b6105df565b34801561029857600080fd5b506101c56102a73660046110a4565b61062d565b3480156102b857600080fd5b5061015b60045481565b3480156102ce57600080fd5b50600f546101c590600160a01b900460ff1681565b3480156102ef57600080fd5b5061015b6102fe3660046110a4565b6001600160a01b031660009081526005602052604090205490565b34801561032557600080fd5b5061026a61063b565b34801561033a57600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610165565b34801561036c57600080fd5b5060408051808201909152600581526402a2422ac160dd1b6020820152610198565b34801561039a57600080fd5b50600f54610348906001600160a01b031681565b3480156103ba57600080fd5b506101c56103c9366004611158565b6106aa565b3480156103da57600080fd5b5061015b6103e93660046110de565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561042057600080fd5b50600d54610348906001600160a01b031681565b34801561044057600080fd5b5061026a61044f366004611184565b6106b7565b34801561046057600080fd5b50600e54610348906001600160a01b031681565b3360008181526006602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104cf9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b03831660009081526006602090815260408083203384529091528120546000191461058e576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b0387166000908152600682528381203382529091529190912054610569918490610702565b6001600160a01b03851660009081526006602090815260408083203384529091529020555b61059984848461073c565b90505b9392505050565b600d546040516001600160a01b03909116904780156108fc02916000818181858888f193505050501580156105dc573d6000803e3d6000fd5b50565b6000546001600160a01b031633146106125760405162461bcd60e51b815260040161060990611242565b60405180910390fd5b6009829055600a81905561062681836112d3565b600b555050565b60006104db82600019610474565b6000546001600160a01b031633146106655760405162461bcd60e51b815260040161060990611242565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b600061059c33848461073c565b6000546001600160a01b031633146106e15760405162461bcd60e51b815260040161060990611242565b6103e8816003546106f2919061130d565b6106fc91906112eb565b60045550565b600081848411156107265760405162461bcd60e51b815260040161060991906111ed565b506000610733848661132c565b95945050505050565b60115460009060ff161561075c57610755848484610966565b905061059c565b600f546001600160a01b0384811691161480159061078857506002546001600160a01b03848116911614155b15610833576001600160a01b03831660009081526008602052604090205460ff16806107d957506004546001600160a01b0384166000908152600560205260409020546107d69084906112d3565b11155b6108335760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610609565b61083b610a4c565b1561084857610848610aa4565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03871660009081526005909152919091205461089a918490610702565b6001600160a01b038516600090815260056020908152604080832093909355600790529081205460ff16156108cf57826108d9565b6108d98584610e6e565b6001600160a01b0385166000908152600560205260409020549091506108ff9082610f14565b6001600160a01b0380861660008181526005602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109539085815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526005909152918220546109b7918490610702565b6001600160a01b0380861660009081526005602052604080822093909355908516815220546109e69083610f14565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a3a9086815260200190565b60405180910390a35060019392505050565b600f546000906001600160a01b03163314801590610a6d575060115460ff16155b8015610a825750600f54600160a01b900460ff165b8015610a9f57506010543060009081526005602052604090205410155b905090565b6011805460ff19166001179055601054600b54600954600091610ad791600291610ad19182908790610f73565b90610ff2565b90506000610ae58383611034565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610b1f57610b1f611359565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b158015610b7357600080fd5b505afa158015610b87573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bab91906110c1565b81600181518110610bbe57610bbe611359565b6001600160a01b039283166020918202929092010152600e5460405163791ac94760e01b81524792919091169063791ac94790610c08908690600090879030904290600401611262565b600060405180830381600087803b158015610c2257600080fd5b505af1158015610c36573d6000803e3d6000fd5b505050506000610c4f824761103490919063ffffffff16565b90506000610c75610c6c6002600954610ff290919063ffffffff16565b600b5490611034565b90506000610c976002610ad184610ad160095488610f7390919063ffffffff16565b90506000610cb483610ad1600a5487610f7390919063ffffffff16565b600d546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610d0b576040519150601f19603f3d011682016040523d82523d6000602084013e610d10565b606091505b5050905080610d615760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e7366657200006044820152606401610609565b8815610e5857600e5460405163f305d71960e01b8152306004820152602481018b9052600060448201819052606482015273c8b5f2065e4f477b85b82aa9ae77553af9f0a8bc60848201524260a48201526001600160a01b039091169063f305d71990859060c4016060604051808303818588803b158015610de257600080fd5b505af1158015610df6573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610e1b91906111bf565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506011805460ff191690555050505050505050565b600080610e8c600c54610ad1600b5486610f7390919063ffffffff16565b30600090815260056020526040902054909150610ea99082610f14565b30600081815260056020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610efa9085815260200190565b60405180910390a3610f0c8382611034565b949350505050565b600080610f2183856112d3565b90508381101561059c5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610609565b600082610f82575060006104db565b6000610f8e838561130d565b905082610f9b85836112eb565b1461059c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610609565b600061059c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611076565b600061059c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610702565b600081836110975760405162461bcd60e51b815260040161060991906111ed565b50600061073384866112eb565b6000602082840312156110b657600080fd5b813561059c8161136f565b6000602082840312156110d357600080fd5b815161059c8161136f565b600080604083850312156110f157600080fd5b82356110fc8161136f565b9150602083013561110c8161136f565b809150509250929050565b60008060006060848603121561112c57600080fd5b83356111378161136f565b925060208401356111478161136f565b929592945050506040919091013590565b6000806040838503121561116b57600080fd5b82356111768161136f565b946020939093013593505050565b60006020828403121561119657600080fd5b5035919050565b600080604083850312156111b057600080fd5b50508035926020909101359150565b6000806000606084860312156111d457600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b8181101561121a578581018301518582016040015282016111fe565b8181111561122c576000604083870101525b50601f01601f1916929092016040019392505050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156112b25784516001600160a01b03168352938301939183019160010161128d565b50506001600160a01b03969096166060850152505050608001529392505050565b600082198211156112e6576112e6611343565b500190565b60008261130857634e487b7160e01b600052601260045260246000fd5b500490565b600081600019048311821515161561132757611327611343565b500290565b60008282101561133e5761133e611343565b500390565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b6001600160a01b03811681146105dc57600080fdfea264697066735822122054af00144639e356ed16424123f411a806648b5e3dd47b3b50e12b67d36eab7364736f6c63430008050033

4136:7774:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5149:54;;;;;;;;;;;;;;;;;;;6498:25:1;;;6486:2;6471:18;5149:54:0;;;;;;;;6239:80;;;;;;;;;;-1:-1:-1;6311:5:0;;;;;;;;;;;;-1:-1:-1;;;6311:5:0;;;;6239:80;;;;;;;:::i;6662:216::-;;;;;;;;;;-1:-1:-1;6662:216:0;;;;;:::i;:::-;;:::i;:::-;;;3640:14:1;;3633:22;3615:41;;3603:2;3588:18;6662:216:0;3570:92:1;5969:88:0;;;;;;;;;;-1:-1:-1;6042:12:0;;5969:88;;7183:371;;;;;;;;;;-1:-1:-1;7183:371:0;;;;;:::i;:::-;;:::i;2371:103::-;;;;;;;;;;-1:-1:-1;2371:103:0;;;;;:::i;:::-;2426:4;2461:5;-1:-1:-1;;;;;2450:16:0;;;2461:5;;2450:16;;2371:103;6063:80;;;;;;;;;;-1:-1:-1;6063:80:0;;4452:1;7914:36:1;;7902:2;7887:18;6063:80:0;7869:87:1;11339:118:0;;;;;;;;;;;;;:::i;:::-;;11617:219;;;;;;;;;;-1:-1:-1;11617:219:0;;;;;:::i;:::-;;:::i;6887:122::-;;;;;;;;;;-1:-1:-1;6887:122:0;;;;;:::i;:::-;;:::i;4528:60::-;;;;;;;;;;;;;;;;5112:30;;;;;;;;;;-1:-1:-1;5112:30:0;;;;-1:-1:-1;;;5112:30:0;;;;;;6409:105;;;;;;;;;;-1:-1:-1;6409:105:0;;;;;:::i;:::-;-1:-1:-1;;;;;6493:18:0;6475:7;6493:18;;;:9;:18;;;;;;;6409:105;2480:131;;;;;;;;;;;;;:::i;6325:78::-;;;;;;;;;;-1:-1:-1;6377:7:0;6395:5;-1:-1:-1;;;;;6395:5:0;6325:78;;;-1:-1:-1;;;;;2819:32:1;;;2801:51;;2789:2;2774:18;6325:78:0;2756:102:1;6149:84:0;;;;;;;;;;-1:-1:-1;6223:7:0;;;;;;;;;;;;-1:-1:-1;;;6223:7:0;;;;6149:84;;5083:19;;;;;;;;;;-1:-1:-1;5083:19:0;;;;-1:-1:-1;;;;;5083:19:0;;;7018:156;;;;;;;;;;-1:-1:-1;7018:156:0;;;;;:::i;:::-;;:::i;6520:133::-;;;;;;;;;;-1:-1:-1;6520:133:0;;;;;:::i;:::-;-1:-1:-1;;;;;6622:19:0;;;6604:7;6622:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;6520:133;4962:80;;;;;;;;;;-1:-1:-1;4962:80:0;;;;-1:-1:-1;;;;;4962:80:0;;;11466:142;;;;;;;;;;-1:-1:-1;11466:142:0;;;;;:::i;:::-;;:::i;5052:24::-;;;;;;;;;;-1:-1:-1;5052:24:0;;;;-1:-1:-1;;;;;5052:24:0;;;6662:216;6766:10;6737:4;6754:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;6754:32:0;;;;;;;;;;:41;;;6811:37;6737:4;;6754:32;;6811:37;;;;6789:6;6498:25:1;;6486:2;6471:18;;6453:76;6811:37:0;;;;;;;;-1:-1:-1;6866:4:0;6662:216;;;;;:::o;7183:371::-;-1:-1:-1;;;;;7303:19:0;;7283:4;7303:19;;;:11;:19;;;;;;;;7323:10;7303:31;;;;;;;;-1:-1:-1;;7303:52:0;7300:186;;7405:69;;;;;;;;;;;-1:-1:-1;;;7405:69:0;;;;;;;;-1:-1:-1;;;;;7405:19:0;;-1:-1:-1;7405:19:0;;;:11;:19;;;;;7425:10;7405:31;;;;;;;;;;:69;;7441:6;;7405:35;:69::i;:::-;-1:-1:-1;;;;;7371:19:0;;;;;;:11;:19;;;;;;;;7391:10;7371:31;;;;;;;:103;7300:186;7506:40;7520:6;7528:9;7539:6;7506:13;:40::i;:::-;7499:47;;7183:371;;;;;;:::o;11339:118::-;11396:20;;11388:61;;-1:-1:-1;;;;;11396:20:0;;;;11427:21;11388:61;;;;;11396:20;11388:61;11396:20;11388:61;11427:21;11396:20;11388:61;;;;;;;;;;;;;;;;;;;;;11339:118::o;11617:219::-;2426:4;2461:5;-1:-1:-1;;;;;2461:5:0;2332:10;2450:16;2316:38;;;;-1:-1:-1;;;2316:38:0;;;;;;;:::i;:::-;;;;;;;;;11710:12:::1;:28:::0;;;11750:12:::1;:28:::0;;;11801:27:::1;11765:13:::0;11725;11801:27:::1;:::i;:::-;11790:8;:38:::0;-1:-1:-1;;11617:219:0:o;6887:122::-;6942:4;6966:35;6974:7;-1:-1:-1;;6966:7:0;:35::i;2480:131::-;2426:4;2461:5;-1:-1:-1;;;;;2461:5:0;2332:10;2450:16;2316:38;;;;-1:-1:-1;;;2316:38:0;;;;;;;:::i;:::-;2553:1:::1;2537:18:::0;;-1:-1:-1;;;;;;2537:18:0::1;::::0;;2571:32:::1;::::0;2801:51:1;;;2571:32:0::1;::::0;2789:2:1;2774:18;2571:32:0::1;;;;;;;2480:131::o:0;7018:156::-;7098:4;7122:44;7136:10;7148:9;7159:6;7122:13;:44::i;11466:142::-;2426:4;2461:5;-1:-1:-1;;;;;2461:5:0;2332:10;2450:16;2316:38;;;;-1:-1:-1;;;2316:38:0;;;;;;;:::i;:::-;11596:4:::1;11578:13;11563:12;;:28;;;;:::i;:::-;11562:38;;;;:::i;:::-;11543:16;:57:::0;-1:-1:-1;11466:142:0:o;458:190::-;544:7;580:12;572:6;;;;564:29;;;;-1:-1:-1;;;564:29:0;;;;;;;;:::i;:::-;-1:-1:-1;604:9:0;616:5;620:1;616;:5;:::i;:::-;604:17;458:190;-1:-1:-1;;;;;458:190:0:o;7563:792::-;7675:6;;7655:4;;7675:6;;7672:63;;;7691:41;7706:6;7714:9;7725:6;7691:14;:41::i;:::-;7684:48;;;;7672:63;7771:4;;-1:-1:-1;;;;;7758:17:0;;;7771:4;;7758:17;;;;:38;;-1:-1:-1;7792:4:0;;-1:-1:-1;;;;;7779:17:0;;;7792:4;;7779:17;;7758:38;7754:200;;;-1:-1:-1;;;;;7821:26:0;;;;;;:15;:26;;;;;;;;;:79;;-1:-1:-1;7884:16:0;;-1:-1:-1;;;;;7851:20:0;;;;;;:9;:20;;;;;;:29;;7874:6;;7851:29;:::i;:::-;:49;;7821:79;7813:129;;;;-1:-1:-1;;;7813:129:0;;4697:2:1;7813:129:0;;;4679:21:1;4736:2;4716:18;;;4709:30;4775:34;4755:18;;;4748:62;-1:-1:-1;;;4826:18:1;;;4819:35;4871:19;;7813:129:0;4669:227:1;7813:129:0;7976:16;:14;:16::i;:::-;7973:35;;;7995:10;:8;:10::i;:::-;8041:53;;;;;;;;;;;-1:-1:-1;;;8041:53:0;;;;;;;;-1:-1:-1;;;;;8041:17:0;;-1:-1:-1;8041:17:0;;;:9;:17;;;;;;;;:53;;8063:6;;8041:21;:53::i;:::-;-1:-1:-1;;;;;8021:17:0;;;;;;:9;:17;;;;;;;;:73;;;;8792:11;:19;;;;;;;;8791:20;8133:56;;8183:6;8133:56;;;8157:23;8165:6;8173;8157:7;:23::i;:::-;-1:-1:-1;;;;;8223:20:0;;;;;;:9;:20;;;;;;8108:81;;-1:-1:-1;8223:40:0;;8108:81;8223:24;:40::i;:::-;-1:-1:-1;;;;;8200:20:0;;;;;;;:9;:20;;;;;;;:63;;;;8282:43;;;;;;;;;;8310:14;6498:25:1;;6486:2;6471:18;;6453:76;8282:43:0;;;;;;;;-1:-1:-1;8343:4:0;;7563:792;-1:-1:-1;;;;7563:792:0:o;8366:330::-;8496:53;;;;;;;;;;;-1:-1:-1;;;8496:53:0;;;;;;;;-1:-1:-1;;;;;8496:17:0;;8459:4;8496:17;;;:9;:17;;;;;;;:53;;8518:6;;8496:21;:53::i;:::-;-1:-1:-1;;;;;8476:17:0;;;;;;;:9;:17;;;;;;:73;;;;8583:20;;;;;;;:32;;8608:6;8583:24;:32::i;:::-;-1:-1:-1;;;;;8560:20:0;;;;;;;:9;:20;;;;;;;:55;;;;8631:35;;;;;;;;;;8659:6;6498:25:1;;6486:2;6471:18;;6453:76;8631:35:0;;;;;;;;-1:-1:-1;8684:4:0;8366:330;;;;;:::o;9166:197::-;9253:4;;9215;;-1:-1:-1;;;;;9253:4:0;9239:10;:18;;;;:38;;-1:-1:-1;9271:6:0;;;;9270:7;9239:38;:62;;;;-1:-1:-1;9290:11:0;;-1:-1:-1;;;9290:11:0;;;;9239:62;:116;;;;-1:-1:-1;9342:13:0;;9332:4;9314:24;;;;:9;:24;;;;;;:41;;9239:116;9232:123;;9166:197;:::o;9372:1578::-;5258:6;:13;;-1:-1:-1;;5258:13:0;5267:4;5258:13;;;9452::::1;::::0;9545:8:::1;::::0;9527:12:::1;::::0;5258:6;;9502:59:::1;::::0;9559:1:::1;::::0;9502:52:::1;::::0;;;9452:13;;9502:24:::1;:38::i;:::-;:42:::0;::::1;:52::i;:59::-;9476:85:::0;-1:-1:-1;9572:20:0::1;9595:41;:20:::0;9476:85;9595:24:::1;:41::i;:::-;9674:16;::::0;;9688:1:::1;9674:16:::0;;;;;::::1;::::0;;9572:64;;-1:-1:-1;9650:21:0::1;::::0;9674:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9674:16:0::1;9650:40;;9719:4;9701;9706:1;9701:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9701:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9745:6:::1;::::0;:13:::1;::::0;;-1:-1:-1;;;9745:13:0;;;;:6;;;::::1;::::0;:11:::1;::::0;:13:::1;::::0;;::::1;::::0;9701:7;;9745:13;;;;;:6;:13;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9735:4;9740:1;9735:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9735:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;:23;9831:6:::1;::::0;:188:::1;::::0;-1:-1:-1;;;9831:188:0;;9796:21:::1;::::0;9831:6;;;::::1;::::0;:57:::1;::::0;:188:::1;::::0;9903:12;;9772:21:::1;::::0;9946:4;;9973::::1;::::0;9993:15:::1;::::0;9831:188:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;10030:17;10050:40;10076:13;10050:21;:25;;:40;;;;:::i;:::-;10030:60;;10101:19;10123:33;10136:19;10153:1;10136:12;;:16;;:19;;;;:::i;:::-;10123:8;::::0;;:12:::1;:33::i;:::-;10101:55;;10167:26;10196:51;10245:1;10196:44;10228:11;10196:27;10210:12;;10196:9;:13;;:27;;;;:::i;:51::-;10167:80;;10258:26;10287:44;10319:11;10287:27;10301:12;;10287:9;:13;;:27;;;;:::i;:44::-;10407:20;::::0;10399:77:::1;::::0;10258:73;;-1:-1:-1;10349:21:0::1;::::0;-1:-1:-1;;;;;10407:20:0;;::::1;::::0;10466:5:::1;::::0;10258:73;;10349:21;10399:77;10349:21;10399:77;10258:73;10407:20;10466:5;10399:77:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10348:128;;;10495:16;10487:59;;;::::0;-1:-1:-1;;;10487:59:0;;5459:2:1;10487:59:0::1;::::0;::::1;5441:21:1::0;5498:2;5478:18;;;5471:30;5537:32;5517:18;;;5510:60;5587:18;;10487:59:0::1;5431:180:1::0;10487:59:0::1;10563:19:::0;;10560:383:::1;;10598:6;::::0;:265:::1;::::0;-1:-1:-1;;;10598:265:0;;10674:4:::1;10598:265;::::0;::::1;3204:34:1::0;3254:18;;;3247:34;;;10598:6:0::1;3297:18:1::0;;;3290:34;;;3340:18;;;3333:34;10772:42:0::1;3383:19:1::0;;;3376:44;10833:15:0::1;3436:19:1::0;;;3429:35;-1:-1:-1;;;;;10598:6:0;;::::1;::::0;:22:::1;::::0;10628:18;;3138:19:1;;10598:265:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10883:48:0::1;::::0;;7693:25:1;;;7749:2;7734:18;;7727:34;;;10883:48:0::1;::::0;-1:-1:-1;7666:18:1;10883:48:0::1;;;;;;;10560:383;-1:-1:-1::0;;5276:6:0;:14;;-1:-1:-1;;5276:14:0;;;-1:-1:-1;;;;;;;;9372:1578:0:o;8828:329::-;8895:7;8915:17;8935:40;8960:14;;8935:20;8946:8;;8935:6;:10;;:20;;;;:::i;:40::-;9031:4;9013:24;;;;:9;:24;;;;;;8915:60;;-1:-1:-1;9013:39:0;;8915:60;9013:28;:39::i;:::-;9004:4;8986:24;;;;:9;:24;;;;;;;:66;;;;9068:42;;-1:-1:-1;;;;;9068:42:0;;;;;;;9100:9;6498:25:1;;6486:2;6471:18;;6453:76;9068:42:0;;;;;;;;9128:21;:6;9139:9;9128:10;:21::i;:::-;9121:28;8828:329;-1:-1:-1;;;;8828:329:0:o;131:179::-;189:7;;221:5;225:1;221;:5;:::i;:::-;209:17;;250:1;245;:6;;237:46;;;;-1:-1:-1;;;237:46:0;;5103:2:1;237:46:0;;;5085:21:1;5142:2;5122:18;;;5115:30;5181:29;5161:18;;;5154:57;5228:18;;237:46:0;5075:177:1;654:246:0;712:7;736:6;732:47;;-1:-1:-1;766:1:0;759:8;;732:47;789:9;801:5;805:1;801;:5;:::i;:::-;789:17;-1:-1:-1;834:1:0;825:5;829:1;789:17;825:5;:::i;:::-;:10;817:56;;;;-1:-1:-1;;;817:56:0;;5818:2:1;817:56:0;;;5800:21:1;5857:2;5837:18;;;5830:30;5896:34;5876:18;;;5869:62;-1:-1:-1;;;5947:18:1;;;5940:31;5988:19;;817:56:0;5790:223:1;906:132:0;964:7;991:39;995:1;998;991:39;;;;;;;;;;;;;;;;;:3;:39::i;316:136::-;374:7;401:43;405:1;408;401:43;;;;;;;;;;;;;;;;;:3;:43::i;1044:189::-;1130:7;1165:12;1158:5;1150:28;;;;-1:-1:-1;;;1150:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1189:9:0;1201:5;1205:1;1201;:5;:::i;14:247:1:-;73:6;126:2;114:9;105:7;101:23;97:32;94:2;;;142:1;139;132:12;94:2;181:9;168:23;200:31;225:5;200:31;:::i;266:251::-;336:6;389:2;377:9;368:7;364:23;360:32;357:2;;;405:1;402;395:12;357:2;437:9;431:16;456:31;481:5;456:31;:::i;522:388::-;590:6;598;651:2;639:9;630:7;626:23;622:32;619:2;;;667:1;664;657:12;619:2;706:9;693:23;725:31;750:5;725:31;:::i;:::-;775:5;-1:-1:-1;832:2:1;817:18;;804:32;845:33;804:32;845:33;:::i;:::-;897:7;887:17;;;609:301;;;;;:::o;915:456::-;992:6;1000;1008;1061:2;1049:9;1040:7;1036:23;1032:32;1029:2;;;1077:1;1074;1067:12;1029:2;1116:9;1103:23;1135:31;1160:5;1135:31;:::i;:::-;1185:5;-1:-1:-1;1242:2:1;1227:18;;1214:32;1255:33;1214:32;1255:33;:::i;:::-;1019:352;;1307:7;;-1:-1:-1;;;1361:2:1;1346:18;;;;1333:32;;1019:352::o;1376:315::-;1444:6;1452;1505:2;1493:9;1484:7;1480:23;1476:32;1473:2;;;1521:1;1518;1511:12;1473:2;1560:9;1547:23;1579:31;1604:5;1579:31;:::i;:::-;1629:5;1681:2;1666:18;;;;1653:32;;-1:-1:-1;;;1463:228:1:o;1696:180::-;1755:6;1808:2;1796:9;1787:7;1783:23;1779:32;1776:2;;;1824:1;1821;1814:12;1776:2;-1:-1:-1;1847:23:1;;1766:110;-1:-1:-1;1766:110:1:o;1881:248::-;1949:6;1957;2010:2;1998:9;1989:7;1985:23;1981:32;1978:2;;;2026:1;2023;2016:12;1978:2;-1:-1:-1;;2049:23:1;;;2119:2;2104:18;;;2091:32;;-1:-1:-1;1968:161:1:o;2134:306::-;2222:6;2230;2238;2291:2;2279:9;2270:7;2266:23;2262:32;2259:2;;;2307:1;2304;2297:12;2259:2;2336:9;2330:16;2320:26;;2386:2;2375:9;2371:18;2365:25;2355:35;;2430:2;2419:9;2415:18;2409:25;2399:35;;2249:191;;;;;:::o;3893:597::-;4005:4;4034:2;4063;4052:9;4045:21;4095:6;4089:13;4138:6;4133:2;4122:9;4118:18;4111:34;4163:1;4173:140;4187:6;4184:1;4181:13;4173:140;;;4282:14;;;4278:23;;4272:30;4248:17;;;4267:2;4244:26;4237:66;4202:10;;4173:140;;;4331:6;4328:1;4325:13;4322:2;;;4401:1;4396:2;4387:6;4376:9;4372:22;4368:31;4361:42;4322:2;-1:-1:-1;4474:2:1;4453:15;-1:-1:-1;;4449:29:1;4434:45;;;;4481:2;4430:54;;4014:476;-1:-1:-1;;;4014:476:1:o;6018:329::-;6220:2;6202:21;;;6259:1;6239:18;;;6232:29;-1:-1:-1;;;6292:2:1;6277:18;;6270:36;6338:2;6323:18;;6192:155::o;6534:980::-;6796:4;6844:3;6833:9;6829:19;6875:6;6864:9;6857:25;6901:2;6939:6;6934:2;6923:9;6919:18;6912:34;6982:3;6977:2;6966:9;6962:18;6955:31;7006:6;7041;7035:13;7072:6;7064;7057:22;7110:3;7099:9;7095:19;7088:26;;7149:2;7141:6;7137:15;7123:29;;7170:1;7180:195;7194:6;7191:1;7188:13;7180:195;;;7259:13;;-1:-1:-1;;;;;7255:39:1;7243:52;;7350:15;;;;7315:12;;;;7291:1;7209:9;7180:195;;;-1:-1:-1;;;;;;;7431:32:1;;;;7426:2;7411:18;;7404:60;-1:-1:-1;;;7495:3:1;7480:19;7473:35;7392:3;6805:709;-1:-1:-1;;;6805:709:1:o;7961:128::-;8001:3;8032:1;8028:6;8025:1;8022:13;8019:2;;;8038:18;;:::i;:::-;-1:-1:-1;8074:9:1;;8009:80::o;8094:217::-;8134:1;8160;8150:2;;8204:10;8199:3;8195:20;8192:1;8185:31;8239:4;8236:1;8229:15;8267:4;8264:1;8257:15;8150:2;-1:-1:-1;8296:9:1;;8140:171::o;8316:168::-;8356:7;8422:1;8418;8414:6;8410:14;8407:1;8404:21;8399:1;8392:9;8385:17;8381:45;8378:2;;;8429:18;;:::i;:::-;-1:-1:-1;8469:9:1;;8368:116::o;8489:125::-;8529:4;8557:1;8554;8551:8;8548:2;;;8562:18;;:::i;:::-;-1:-1:-1;8599:9:1;;8538:76::o;8619:127::-;8680:10;8675:3;8671:20;8668:1;8661:31;8711:4;8708:1;8701:15;8735:4;8732:1;8725:15;8751:127;8812:10;8807:3;8803:20;8800:1;8793:31;8843:4;8840:1;8833:15;8867:4;8864:1;8857:15;9015:131;-1:-1:-1;;;;;9090:31:1;;9080:42;;9070:2;;9136:1;9133;9126:12

ipfs://54af00144639e356ed16424123f411a806648b5e3dd47b3b50e12b67d36eab73