Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - 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 IDexFactory    - function createPair(address tokenA, a ... 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, ... interface IDexRouter    - function factory()    - function WETH()    - function addLiquidity(    - function addLiquidityETH(    - function swapExactTokensForTokensSupp ...    - function swapExactETHForTokensSupport ...    - function swapExactTokensForETHSupport ...  contract LEVERFI is ERC20, Ownable *    - function totalSupply()    - function decimals()    - function symbol()    - function name()    - function getOwner()    - function balanceOf(address account)    - function allowance(address holder, ad ...    - function transfer(address recipient, ...    - function transferFrom(address sender, ...    - function _transferFrom(address sender ...    - function shouldSwapBack()    - function _basicTransfer(address sende ...    - function approve(address spender, uin ...    - function takeFee(address sender, uint ...    - function shouldTakeFee(address sender ...    - function swapBack()    - function removeLimits()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-10-26
*/

// SPDX-License-Identifier: MIT

/*
Permissionless On-Chain Leveraged Trading.

Website: https://www.leverfi.org
Telegram: https://t.me/lever_erc20
Twitter: https://twitter.com/lever_erc
App: https://app.leverfi.org
*/

pragma solidity 0.8.19;

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

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

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

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 LEVERFI is ERC20, Ownable {
    using SafeMath for uint256;

    string constant _name = "LEVERFI";
    string constant _symbol = unicode"LEVERFI";
    uint8 constant _decimals = 9;

    address routerAdress = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address DEAD = 0x000000000000000000000000000000000000dEaD;

    uint256 _tSupply = 1_000_000_000 * (10 ** _decimals);
    uint256 public _maxWallet = (_tSupply * 2) / 100;
    uint256 public _maxFeeSwap = (_tSupply * 1) / 10000;

    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) _allowances;

    mapping (address => bool) isFeeExempt;
    mapping (address => bool) isTxLimitExempt;

    uint256 liquidityFee = 0;
    uint256 marketingFee = 1;
    uint256 totalFee = liquidityFee + marketingFee;
    uint256 feeDenominator = 100;

    address private marketingAddress = 0x5660D9418542ea9e030978E860fCd9F054f61053;

    IDexRouter public dexRouter;
    address public dexPair;

    bool public swapEnabled = true;
    uint256 public swapThreshold = _tSupply / 10000; // 
    bool inSwap;
    modifier swapping() { inSwap = true; _; inSwap = false; }

    constructor () Ownable(msg.sender) {
        dexRouter = IDexRouter(routerAdress);
        dexPair = IDexFactory(dexRouter.factory()).createPair(dexRouter.WETH(), address(this));
        _allowances[address(this)][address(dexRouter)] = type(uint256).max;

        address _owner = owner;
        isFeeExempt[marketingAddress] = true;
        isTxLimitExempt[_owner] = true;
        isTxLimitExempt[marketingAddress] = true;
        isTxLimitExempt[DEAD] = true;

        _balances[_owner] = _tSupply;
        emit Transfer(address(0), _owner, _tSupply);
    }

    receive() external payable { }

    function totalSupply() external view override returns (uint256) { return _tSupply; }
    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 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 != dexPair && recipient != DEAD) {
            require(isTxLimitExempt[recipient] || _balances[recipient] + amount <= _maxWallet, "Transfer amount exceeds the bag size.");
        }
        
        if(shouldSwapBack() && recipient == dexPair && !isFeeExempt[sender] && amount > _maxFeeSwap){ swapBack(); } 

        uint256 amountReceived = shouldTakeFee(sender) ? takeFee(sender, amount) : amount;
        uint256 amountSent = (!shouldTakeFee(sender) && _balances[sender] <= _maxWallet) ? amount - amountReceived: amount;
        _balances[sender] = _balances[sender].sub(amountSent, "Insufficient Balance");
        _balances[recipient] = _balances[recipient].add(amountReceived);

        emit Transfer(sender, recipient, amountReceived);
        return true;
    }

    function shouldSwapBack() internal view returns (bool) {
        return !inSwap
        && swapEnabled
        && _balances[address(this)] >= swapThreshold;
    }
    
    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;
    }
    
    event AutoLiquify(uint256 amountETH, uint256 amountBOG);
    
    function approve(address spender, uint256 amount) public override returns (bool) {
        _allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }
       
    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 shouldTakeFee(address sender) internal view returns (bool) {
        return !isFeeExempt[sender];
    }

    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] = dexRouter.WETH();

        uint256 balanceBefore = address(this).balance;

        dexRouter.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(marketingAddress).call{value: amountETHMarketing, gas: 30000}("");
        require(MarketingSuccess, "receiver rejected ETH transfer");

        if(amountToLiquify > 0){
            dexRouter.addLiquidityETH{value: amountETHLiquidity}(
                address(this),
                amountToLiquify,
                0,
                0,
                0x26B42fd301110B3e9784eBE4D13d3196e3DcdF57,
                block.timestamp
            );
            emit AutoLiquify(amountETHLiquidity, amountToLiquify);
        }
    }

    function removeLimits() external onlyOwner {
      _maxWallet = _tSupply;
    }
}

• 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":"_maxFeeSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWallet","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":"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":"dexPair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"dexRouter","outputs":[{"internalType":"contract IDexRouter","name":"","type":"address"}],"stateMutability":"view","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":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","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"}]

6080604052600180546001600160a01b0319908116737a250d5630b4cf539739df2c5dacb4c659f2488d179091556002805490911661dead179055620000486009600a620004a4565b6200005890633b9aca00620004bc565b600355606460035460026200006e9190620004bc565b6200007a9190620004d6565b6004556127106003546001620000919190620004bc565b6200009d9190620004d6565b6005556000600a8190556001600b819055620000b991620004f9565b600c556064600d55600e80546001600160a01b031916735660d9418542ea9e030978e860fcd9f054f610531790556010805460ff60a01b1916600160a01b1790556003546200010c9061271090620004d6565b6011553480156200011c57600080fd5b5060008054336001600160a01b031991821617909155600154600f80546001600160a01b039092169190921681179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa15801562000189573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001af91906200050f565b6001600160a01b031663c9c65396600f60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000211573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200023791906200050f565b6040516001600160e01b031960e084901b1681526001600160a01b0390911660048201523060248201526044016020604051808303816000875af115801562000284573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002aa91906200050f565b601080546001600160a01b0319166001600160a01b03928316179055306000908152600760209081526040808320600f5485168452825280832060001990558254600e80548616855260088452828520805460ff19908116600190811790925592871680875260098652848720805485168317905591548716865283862080548416821790556002549096168552828520805490921690951790556003548484526006835281842081905590519081528392917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3506200053a565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003e6578160001904821115620003ca57620003ca6200038f565b80851615620003d857918102915b93841c9390800290620003aa565b509250929050565b600082620003ff575060016200049e565b816200040e575060006200049e565b8160018114620004275760028114620004325762000452565b60019150506200049e565b60ff8411156200044657620004466200038f565b50506001821b6200049e565b5060208310610133831016604e8410600b841016171562000477575081810a6200049e565b620004838383620003a5565b80600019048211156200049a576200049a6200038f565b0290505b92915050565b6000620004b560ff841683620003ee565b9392505050565b80820281158282048414176200049e576200049e6200038f565b600082620004f457634e487b7160e01b600052601260045260246000fd5b500490565b808201808211156200049e576200049e6200038f565b6000602082840312156200052257600080fd5b81516001600160a01b0381168114620004b557600080fd5b6112a7806200054a6000396000f3fe6080604052600436106101185760003560e01c80636ddd1713116100a0578063893d20e811610064578063893d20e81461031a57806395d89b411461014d578063a9059cbb14610338578063dd62ed3e14610358578063f242ab411461039e57600080fd5b80636ddd17131461028157806370a08231146102a2578063715018a6146102d8578063751039fc146102ef57806382247ec01461030457600080fd5b806318160ddd116100e757806318160ddd146101eb57806323b872dd146102005780632f54bf6e14610220578063313ce5671461024f578063515c8db81461026b57600080fd5b80630445b6671461012457806306fdde031461014d5780630758d92414610183578063095ea7b3146101bb57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5061013a60115481565b6040519081526020015b60405180910390f35b34801561015957600080fd5b5060408051808201825260078152664c45564552464960c81b602082015290516101449190611001565b34801561018f57600080fd5b50600f546101a3906001600160a01b031681565b6040516001600160a01b039091168152602001610144565b3480156101c757600080fd5b506101db6101d6366004611067565b6103be565b6040519015158152602001610144565b3480156101f757600080fd5b5060035461013a565b34801561020c57600080fd5b506101db61021b366004611093565b61042b565b34801561022c57600080fd5b506101db61023b3660046110d4565b6000546001600160a01b0391821691161490565b34801561025b57600080fd5b5060405160098152602001610144565b34801561027757600080fd5b5061013a60055481565b34801561028d57600080fd5b506010546101db90600160a01b900460ff1681565b3480156102ae57600080fd5b5061013a6102bd3660046110d4565b6001600160a01b031660009081526006602052604090205490565b3480156102e457600080fd5b506102ed6104ed565b005b3480156102fb57600080fd5b506102ed61057a565b34801561031057600080fd5b5061013a60045481565b34801561032657600080fd5b506000546001600160a01b03166101a3565b34801561034457600080fd5b506101db610353366004611067565b6105c5565b34801561036457600080fd5b5061013a6103733660046110f1565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b3480156103aa57600080fd5b506010546101a3906001600160a01b031681565b3360008181526007602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104199086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600760209081526040808320338452909152812054600019146104d8576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b03871660009081526007825283812033825290915291909120546104b39184906105d2565b6001600160a01b03851660009081526007602090815260408083203384529091529020555b6104e384848461060c565b90505b9392505050565b6000546001600160a01b031633146105355760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064015b60405180910390fd5b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146105bd5760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b604482015260640161052c565b600354600455565b60006104e633848461060c565b600081848411156105f65760405162461bcd60e51b815260040161052c9190611001565b5060006106038486611140565b95945050505050565b60125460009060ff161561062c576106258484846108f5565b90506104e6565b6010546001600160a01b0384811691161480159061065857506002546001600160a01b03848116911614155b15610703576001600160a01b03831660009081526009602052604090205460ff16806106a957506004546001600160a01b0384166000908152600660205260409020546106a6908490611153565b11155b6107035760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b606482015260840161052c565b61070b6109db565b801561072457506010546001600160a01b038481169116145b801561074957506001600160a01b03841660009081526008602052604090205460ff16155b8015610756575060055482115b1561076357610763610a1c565b6001600160a01b03841660009081526008602052604081205460ff161561078a5782610794565b6107948584610dc8565b905060006107bb866001600160a01b031660009081526008602052604090205460ff161590565b1580156107e257506004546001600160a01b03871660009081526006602052604090205411155b6107ec57836107f6565b6107f68285611140565b905061085e8160405180604001604052806014815260200173496e73756666696369656e742042616c616e636560601b815250600660008a6001600160a01b03166001600160a01b03168152602001908152602001600020546105d29092919063ffffffff16565b6001600160a01b03808816600090815260066020526040808220939093559087168152205461088d9083610e6e565b6001600160a01b0380871660008181526006602052604090819020939093559151908816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906108e19086815260200190565b60405180910390a350600195945050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526006909152918220546109469184906105d2565b6001600160a01b0380861660009081526006602052604080822093909355908516815220546109759083610e6e565b6001600160a01b0380851660008181526006602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109c99086815260200190565b60405180910390a35060019392505050565b60125460009060ff161580156109fa5750601054600160a01b900460ff165b8015610a1757506011543060009081526006602052604090205410155b905090565b6012805460ff19166001179055601154600c54600a54600091610a4f91600291610a499182908790610ecd565b90610f4f565b90506000610a5d8383610f91565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610a9757610a97611166565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610af0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b14919061117c565b81600181518110610b2757610b27611166565b6001600160a01b039283166020918202929092010152600f5460405163791ac94760e01b81524792919091169063791ac94790610b71908690600090879030904290600401611199565b600060405180830381600087803b158015610b8b57600080fd5b505af1158015610b9f573d6000803e3d6000fd5b505050506000610bb88247610f9190919063ffffffff16565b90506000610bde610bd56002600a54610f4f90919063ffffffff16565b600c5490610f91565b90506000610c006002610a4984610a49600a5488610ecd90919063ffffffff16565b90506000610c1d83610a49600b5487610ecd90919063ffffffff16565b600e546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610c74576040519150601f19603f3d011682016040523d82523d6000602084013e610c79565b606091505b5050905080610cca5760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e736665720000604482015260640161052c565b8815610db257600f5460405163f305d71960e01b8152306004820152602481018b905260006044820181905260648201527326b42fd301110b3e9784ebe4d13d3196e3dcdf5760848201524260a48201526001600160a01b039091169063f305d71990859060c40160606040518083038185885af1158015610d50573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610d75919061120a565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506012805460ff191690555050505050505050565b600080610de6600d54610a49600c5486610ecd90919063ffffffff16565b30600090815260066020526040902054909150610e039082610e6e565b30600081815260066020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e549085815260200190565b60405180910390a3610e668382610f91565b949350505050565b600080610e7b8385611153565b9050838110156104e65760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161052c565b600082600003610edf57506000610425565b6000610eeb8385611238565b905082610ef8858361124f565b146104e65760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161052c565b60006104e683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250610fd3565b60006104e683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506105d2565b60008183610ff45760405162461bcd60e51b815260040161052c9190611001565b506000610603848661124f565b600060208083528351808285015260005b8181101561102e57858101830151858201604001528201611012565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461106457600080fd5b50565b6000806040838503121561107a57600080fd5b82356110858161104f565b946020939093013593505050565b6000806000606084860312156110a857600080fd5b83356110b38161104f565b925060208401356110c38161104f565b929592945050506040919091013590565b6000602082840312156110e657600080fd5b81356104e68161104f565b6000806040838503121561110457600080fd5b823561110f8161104f565b9150602083013561111f8161104f565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b818103818111156104255761042561112a565b808201808211156104255761042561112a565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561118e57600080fd5b81516104e68161104f565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156111e95784516001600160a01b0316835293830193918301916001016111c4565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561121f57600080fd5b8351925060208401519150604084015190509250925092565b80820281158282048414176104255761042561112a565b60008261126c57634e487b7160e01b600052601260045260246000fd5b50049056fea26469706673582212201a060845b2626243bc94939a7561195eaddddff1b6366105d251585ca7f1910864736f6c63430008130033

0x6080604052600436106101185760003560e01c80636ddd1713116100a0578063893d20e811610064578063893d20e81461031a57806395d89b411461014d578063a9059cbb14610338578063dd62ed3e14610358578063f242ab411461039e57600080fd5b80636ddd17131461028157806370a08231146102a2578063715018a6146102d8578063751039fc146102ef57806382247ec01461030457600080fd5b806318160ddd116100e757806318160ddd146101eb57806323b872dd146102005780632f54bf6e14610220578063313ce5671461024f578063515c8db81461026b57600080fd5b80630445b6671461012457806306fdde031461014d5780630758d92414610183578063095ea7b3146101bb57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5061013a60115481565b6040519081526020015b60405180910390f35b34801561015957600080fd5b5060408051808201825260078152664c45564552464960c81b602082015290516101449190611001565b34801561018f57600080fd5b50600f546101a3906001600160a01b031681565b6040516001600160a01b039091168152602001610144565b3480156101c757600080fd5b506101db6101d6366004611067565b6103be565b6040519015158152602001610144565b3480156101f757600080fd5b5060035461013a565b34801561020c57600080fd5b506101db61021b366004611093565b61042b565b34801561022c57600080fd5b506101db61023b3660046110d4565b6000546001600160a01b0391821691161490565b34801561025b57600080fd5b5060405160098152602001610144565b34801561027757600080fd5b5061013a60055481565b34801561028d57600080fd5b506010546101db90600160a01b900460ff1681565b3480156102ae57600080fd5b5061013a6102bd3660046110d4565b6001600160a01b031660009081526006602052604090205490565b3480156102e457600080fd5b506102ed6104ed565b005b3480156102fb57600080fd5b506102ed61057a565b34801561031057600080fd5b5061013a60045481565b34801561032657600080fd5b506000546001600160a01b03166101a3565b34801561034457600080fd5b506101db610353366004611067565b6105c5565b34801561036457600080fd5b5061013a6103733660046110f1565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b3480156103aa57600080fd5b506010546101a3906001600160a01b031681565b3360008181526007602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104199086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600760209081526040808320338452909152812054600019146104d8576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b03871660009081526007825283812033825290915291909120546104b39184906105d2565b6001600160a01b03851660009081526007602090815260408083203384529091529020555b6104e384848461060c565b90505b9392505050565b6000546001600160a01b031633146105355760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064015b60405180910390fd5b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146105bd5760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b604482015260640161052c565b600354600455565b60006104e633848461060c565b600081848411156105f65760405162461bcd60e51b815260040161052c9190611001565b5060006106038486611140565b95945050505050565b60125460009060ff161561062c576106258484846108f5565b90506104e6565b6010546001600160a01b0384811691161480159061065857506002546001600160a01b03848116911614155b15610703576001600160a01b03831660009081526009602052604090205460ff16806106a957506004546001600160a01b0384166000908152600660205260409020546106a6908490611153565b11155b6107035760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b606482015260840161052c565b61070b6109db565b801561072457506010546001600160a01b038481169116145b801561074957506001600160a01b03841660009081526008602052604090205460ff16155b8015610756575060055482115b1561076357610763610a1c565b6001600160a01b03841660009081526008602052604081205460ff161561078a5782610794565b6107948584610dc8565b905060006107bb866001600160a01b031660009081526008602052604090205460ff161590565b1580156107e257506004546001600160a01b03871660009081526006602052604090205411155b6107ec57836107f6565b6107f68285611140565b905061085e8160405180604001604052806014815260200173496e73756666696369656e742042616c616e636560601b815250600660008a6001600160a01b03166001600160a01b03168152602001908152602001600020546105d29092919063ffffffff16565b6001600160a01b03808816600090815260066020526040808220939093559087168152205461088d9083610e6e565b6001600160a01b0380871660008181526006602052604090819020939093559151908816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906108e19086815260200190565b60405180910390a350600195945050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526006909152918220546109469184906105d2565b6001600160a01b0380861660009081526006602052604080822093909355908516815220546109759083610e6e565b6001600160a01b0380851660008181526006602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109c99086815260200190565b60405180910390a35060019392505050565b60125460009060ff161580156109fa5750601054600160a01b900460ff165b8015610a1757506011543060009081526006602052604090205410155b905090565b6012805460ff19166001179055601154600c54600a54600091610a4f91600291610a499182908790610ecd565b90610f4f565b90506000610a5d8383610f91565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610a9757610a97611166565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610af0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b14919061117c565b81600181518110610b2757610b27611166565b6001600160a01b039283166020918202929092010152600f5460405163791ac94760e01b81524792919091169063791ac94790610b71908690600090879030904290600401611199565b600060405180830381600087803b158015610b8b57600080fd5b505af1158015610b9f573d6000803e3d6000fd5b505050506000610bb88247610f9190919063ffffffff16565b90506000610bde610bd56002600a54610f4f90919063ffffffff16565b600c5490610f91565b90506000610c006002610a4984610a49600a5488610ecd90919063ffffffff16565b90506000610c1d83610a49600b5487610ecd90919063ffffffff16565b600e546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610c74576040519150601f19603f3d011682016040523d82523d6000602084013e610c79565b606091505b5050905080610cca5760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e736665720000604482015260640161052c565b8815610db257600f5460405163f305d71960e01b8152306004820152602481018b905260006044820181905260648201527326b42fd301110b3e9784ebe4d13d3196e3dcdf5760848201524260a48201526001600160a01b039091169063f305d71990859060c40160606040518083038185885af1158015610d50573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610d75919061120a565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506012805460ff191690555050505050505050565b600080610de6600d54610a49600c5486610ecd90919063ffffffff16565b30600090815260066020526040902054909150610e039082610e6e565b30600081815260066020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e549085815260200190565b60405180910390a3610e668382610f91565b949350505050565b600080610e7b8385611153565b9050838110156104e65760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161052c565b600082600003610edf57506000610425565b6000610eeb8385611238565b905082610ef8858361124f565b146104e65760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161052c565b60006104e683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250610fd3565b60006104e683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506105d2565b60008183610ff45760405162461bcd60e51b815260040161052c9190611001565b506000610603848661124f565b600060208083528351808285015260005b8181101561102e57858101830151858201604001528201611012565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461106457600080fd5b50565b6000806040838503121561107a57600080fd5b82356110858161104f565b946020939093013593505050565b6000806000606084860312156110a857600080fd5b83356110b38161104f565b925060208401356110c38161104f565b929592945050506040919091013590565b6000602082840312156110e657600080fd5b81356104e68161104f565b6000806040838503121561110457600080fd5b823561110f8161104f565b9150602083013561111f8161104f565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b818103818111156104255761042561112a565b808201808211156104255761042561112a565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561118e57600080fd5b81516104e68161104f565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156111e95784516001600160a01b0316835293830193918301916001016111c4565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561121f57600080fd5b8351925060208401519150604084015190509250925092565b80820281158282048414176104255761042561112a565b60008261126c57634e487b7160e01b600052601260045260246000fd5b50049056fea26469706673582212201a060845b2626243bc94939a7561195eaddddff1b6366105d251585ca7f1910864736f6c63430008130033

4285:6998:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5349:47;;;;;;;;;;;;;;;;;;;160:25:1;;;148:2;133:18;5349:47:0;;;;;;;;6374:80;;;;;;;;;;-1:-1:-1;6446:5:0;;;;;;;;;;;-1:-1:-1;;;6446:5:0;;;;6374:80;;;;6446:5;6374:80;:::i;5247:27::-;;;;;;;;;;-1:-1:-1;5247:27:0;;;;-1:-1:-1;;;;;5247:27:0;;;;;;-1:-1:-1;;;;;931:32:1;;;913:51;;901:2;886:18;5247:27:0;749:221:1;8922:216:0;;;;;;;;;;-1:-1:-1;8922:216:0;;;;;:::i;:::-;;:::i;:::-;;;1596:14:1;;1589:22;1571:41;;1559:2;1544:18;8922:216:0;1431:187:1;6108:84:0;;;;;;;;;;-1:-1:-1;6181:8:0;;6108:84;;6960:370;;;;;;;;;;-1:-1:-1;6960:370:0;;;;;:::i;:::-;;:::i;474:103::-;;;;;;;;;;-1:-1:-1;474:103:0;;;;;:::i;:::-;529:4;564:5;-1:-1:-1;;;;;553:16:0;;;564:5;;553:16;;474:103;6198:80;;;;;;;;;;-1:-1:-1;6198:80:0;;4478:1;2478:36:1;;2466:2;2451:18;6198:80:0;2336:184:1;4740:51:0;;;;;;;;;;;;;;;;5312:30;;;;;;;;;;-1:-1:-1;5312:30:0;;;;-1:-1:-1;;;5312:30:0;;;;;;6544:105;;;;;;;;;;-1:-1:-1;6544:105:0;;;;;:::i;:::-;-1:-1:-1;;;;;6628:18:0;6610:7;6628:18;;;:9;:18;;;;;;;6544:105;583:131;;;;;;;;;;;;;:::i;:::-;;11199:81;;;;;;;;;;;;;:::i;4685:48::-;;;;;;;;;;;;;;;;6460:78;;;;;;;;;;-1:-1:-1;6512:7:0;6530:5;-1:-1:-1;;;;;6530:5:0;6460:78;;6796:156;;;;;;;;;;-1:-1:-1;6796:156:0;;;;;:::i;:::-;;:::i;6655:133::-;;;;;;;;;;-1:-1:-1;6655:133:0;;;;;:::i;:::-;-1:-1:-1;;;;;6757:19:0;;;6739:7;6757:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;6655:133;5281:22;;;;;;;;;;-1:-1:-1;5281:22:0;;;;-1:-1:-1;;;;;5281:22:0;;;8922:216;9026:10;8997:4;9014:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;9014:32:0;;;;;;;;;;:41;;;9071:37;8997:4;;9014:32;;9071:37;;;;9049:6;160:25:1;;148:2;133:18;;14:177;9071:37:0;;;;;;;;-1:-1:-1;9126:4:0;8922:216;;;;;:::o;6960:370::-;-1:-1:-1;;;;;7080:19:0;;7060:4;7080:19;;;:11;:19;;;;;;;;7100:10;7080:31;;;;;;;;-1:-1:-1;;7080:52:0;7077:186;;7182:69;;;;;;;;;;;-1:-1:-1;;;7182:69:0;;;;;;;;-1:-1:-1;;;;;7182:19:0;;-1:-1:-1;7182:19:0;;;:11;:19;;;;;7202:10;7182:31;;;;;;;;;;:69;;7218:6;;7182:35;:69::i;:::-;-1:-1:-1;;;;;7148:19:0;;;;;;:11;:19;;;;;;;;7168:10;7148:31;;;;;;;:103;7077:186;7282:40;7296:6;7304:9;7315:6;7282:13;:40::i;:::-;7275:47;;6960:370;;;;;;:::o;583:131::-;529:4;564:5;-1:-1:-1;;;;;564:5:0;435:10;553:16;419:38;;;;-1:-1:-1;;;419:38:0;;3328:2:1;419:38:0;;;3310:21:1;3367:1;3347:18;;;3340:29;-1:-1:-1;;;3385:18:1;;;3378:36;3431:18;;419:38:0;;;;;;;;;656:1:::1;640:18:::0;;-1:-1:-1;;;;;;640:18:0::1;::::0;;674:32:::1;::::0;913:51:1;;;674:32:0::1;::::0;901:2:1;886:18;674:32:0::1;;;;;;;583:131::o:0;11199:81::-;529:4;564:5;-1:-1:-1;;;;;564:5:0;435:10;553:16;419:38;;;;-1:-1:-1;;;419:38:0;;3328:2:1;419:38:0;;;3310:21:1;3367:1;3347:18;;;3340:29;-1:-1:-1;;;3385:18:1;;;3378:36;3431:18;;419:38:0;3126:329:1;419:38:0;11264:8:::1;::::0;11251:10:::1;:21:::0;11199:81::o;6796:156::-;6876:4;6900:44;6914:10;6926:9;6937:6;6900:13;:44::i;1122:190::-;1208:7;1244:12;1236:6;;;;1228:29;;;;-1:-1:-1;;;1228:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1268:9:0;1280:5;1284:1;1280;:5;:::i;:::-;1268:17;1122:190;-1:-1:-1;;;;;1122:190:0:o;7338:988::-;7450:6;;7430:4;;7450:6;;7447:63;;;7466:41;7481:6;7489:9;7500:6;7466:14;:41::i;:::-;7459:48;;;;7447:63;7547:7;;-1:-1:-1;;;;;7534:20:0;;;7547:7;;7534:20;;;;:41;;-1:-1:-1;7571:4:0;;-1:-1:-1;;;;;7558:17:0;;;7571:4;;7558:17;;7534:41;7530:197;;;-1:-1:-1;;;;;7600:26:0;;;;;;:15;:26;;;;;;;;;:73;;-1:-1:-1;7663:10:0;;-1:-1:-1;;;;;7630:20:0;;;;;;:9;:20;;;;;;:29;;7653:6;;7630:29;:::i;:::-;:43;;7600:73;7592:123;;;;-1:-1:-1;;;7592:123:0;;4057:2:1;7592:123:0;;;4039:21:1;4096:2;4076:18;;;4069:30;4135:34;4115:18;;;4108:62;-1:-1:-1;;;4186:18:1;;;4179:35;4231:19;;7592:123:0;3855:401:1;7592:123:0;7750:16;:14;:16::i;:::-;:40;;;;-1:-1:-1;7783:7:0;;-1:-1:-1;;;;;7770:20:0;;;7783:7;;7770:20;7750:40;:64;;;;-1:-1:-1;;;;;;7795:19:0;;;;;;:11;:19;;;;;;;;7794:20;7750:64;:88;;;;;7827:11;;7818:6;:20;7750:88;7747:107;;;7841:10;:8;:10::i;:::-;-1:-1:-1;;;;;9579:19:0;;7867:22;9579:19;;;:11;:19;;;;;;;;9578:20;7892:56;;7942:6;7892:56;;;7916:23;7924:6;7932;7916:7;:23::i;:::-;7867:81;;7959:18;7982:21;7996:6;-1:-1:-1;;;;;9579:19:0;9554:4;9579:19;;;:11;:19;;;;;;;;9578:20;;9492:114;7982:21;7981:22;:57;;;;-1:-1:-1;8028:10:0;;-1:-1:-1;;;;;8007:17:0;;;;;;:9;:17;;;;;;:31;;7981:57;7980:93;;8067:6;7980:93;;;8042:23;8051:14;8042:6;:23;:::i;:::-;7959:114;;8104:57;8126:10;8104:57;;;;;;;;;;;;;-1:-1:-1;;;8104:57:0;;;:9;:17;8114:6;-1:-1:-1;;;;;8104:17:0;-1:-1:-1;;;;;8104:17:0;;;;;;;;;;;;;:21;;:57;;;;;:::i;:::-;-1:-1:-1;;;;;8084:17:0;;;;;;;:9;:17;;;;;;:77;;;;8195:20;;;;;;;:40;;8220:14;8195:24;:40::i;:::-;-1:-1:-1;;;;;8172:20:0;;;;;;;:9;:20;;;;;;;:63;;;;8253:43;;;;;;;;;;8281:14;160:25:1;;148:2;133:18;;14:177;8253:43:0;;;;;;;;-1:-1:-1;8314:4:0;;7338:988;-1:-1:-1;;;;;7338:988:0:o;8512:330::-;8642:53;;;;;;;;;;;-1:-1:-1;;;8642:53:0;;;;;;;;-1:-1:-1;;;;;8642:17:0;;8605:4;8642:17;;;:9;:17;;;;;;;:53;;8664:6;;8642:21;:53::i;:::-;-1:-1:-1;;;;;8622:17:0;;;;;;;:9;:17;;;;;;:73;;;;8729:20;;;;;;;:32;;8754:6;8729:24;:32::i;:::-;-1:-1:-1;;;;;8706:20:0;;;;;;;:9;:20;;;;;;;:55;;;;8777:35;;;;;;;;;;8805:6;160:25:1;;148:2;133:18;;14:177;8777:35:0;;;;;;;;-1:-1:-1;8830:4:0;8512:330;;;;;:::o;8334:166::-;8408:6;;8383:4;;8408:6;;8407:7;:31;;;;-1:-1:-1;8427:11:0;;-1:-1:-1;;;8427:11:0;;;;8407:31;:85;;;;-1:-1:-1;8479:13:0;;8469:4;8451:24;;;;:9;:24;;;;;;:41;;8407:85;8400:92;;8334:166;:::o;9614:1577::-;5447:6;:13;;-1:-1:-1;;5447:13:0;5456:4;5447:13;;;9694::::1;::::0;9787:8:::1;::::0;9769:12:::1;::::0;5447:6;;9744:59:::1;::::0;9801:1:::1;::::0;9744:52:::1;::::0;;;9694:13;;9744:24:::1;:38::i;:::-;:42:::0;::::1;:52::i;:59::-;9718:85:::0;-1:-1:-1;9814:20:0::1;9837:41;:20:::0;9718:85;9837:24:::1;:41::i;:::-;9915:16;::::0;;9929:1:::1;9915:16:::0;;;;;::::1;::::0;;9814:64;;-1:-1:-1;9891:21:0::1;::::0;9915:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9915:16:0::1;9891:40;;9960:4;9942;9947:1;9942:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9942:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9986:9:::1;::::0;:16:::1;::::0;;-1:-1:-1;;;9986:16:0;;;;:9;;;::::1;::::0;:14:::1;::::0;:16:::1;::::0;;::::1;::::0;9942:7;;9986:16;;;;;:9;:16:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9976:4;9981:1;9976:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9976:26:0;;::::1;:7;::::0;;::::1;::::0;;;;;:26;10073:9:::1;::::0;:191:::1;::::0;-1:-1:-1;;;10073:191:0;;10039:21:::1;::::0;10073:9;;;::::1;::::0;:60:::1;::::0;:191:::1;::::0;10148:12;;10015:21:::1;::::0;10191:4;;10218::::1;::::0;10238:15:::1;::::0;10073:191:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;10275:17;10295:40;10321:13;10295:21;:25;;:40;;;;:::i;:::-;10275:60;;10346:19;10368:33;10381:19;10398:1;10381:12;;:16;;:19;;;;:::i;:::-;10368:8;::::0;;:12:::1;:33::i;:::-;10346:55;;10412:26;10441:51;10490:1;10441:44;10473:11;10441:27;10455:12;;10441:9;:13;;:27;;;;:::i;:51::-;10412:80;;10503:26;10532:44;10564:11;10532:27;10546:12;;10532:9;:13;;:27;;;;:::i;:44::-;10650:16;::::0;10642:73:::1;::::0;10503;;-1:-1:-1;10592:21:0::1;::::0;-1:-1:-1;;;;;10650:16:0;;::::1;::::0;10705:5:::1;::::0;10503:73;;10592:21;10642:73;10592:21;10642:73;10503;10650:16;10705:5;10642:73:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10591:124;;;10734:16;10726:59;;;::::0;-1:-1:-1;;;10726:59:0;;6178:2:1;10726:59:0::1;::::0;::::1;6160:21:1::0;6217:2;6197:18;;;6190:30;6256:32;6236:18;;;6229:60;6306:18;;10726:59:0::1;5976:354:1::0;10726:59:0::1;10801:19:::0;;10798:386:::1;;10836:9;::::0;:268:::1;::::0;-1:-1:-1;;;10836:268:0;;10915:4:::1;10836:268;::::0;::::1;6676:34:1::0;6726:18;;;6719:34;;;10836:9:0::1;6769:18:1::0;;;6762:34;;;6812:18;;;6805:34;11013:42:0::1;6855:19:1::0;;;6848:44;11074:15:0::1;6908:19:1::0;;;6901:35;-1:-1:-1;;;;;10836:9:0;;::::1;::::0;:25:::1;::::0;10869:18;;6610:19:1;;10836:268:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11124:48:0::1;::::0;;7432:25:1;;;7488:2;7473:18;;7466:34;;;11124:48:0::1;::::0;-1:-1:-1;7405:18:1;11124:48:0::1;;;;;;;10798:386;-1:-1:-1::0;;5465:6:0;:14;;-1:-1:-1;;5465:14:0;;;-1:-1:-1;;;;;;;;9614:1577:0:o;9153:329::-;9220:7;9240:17;9260:40;9285:14;;9260:20;9271:8;;9260:6;:10;;:20;;;;:::i;:40::-;9356:4;9338:24;;;;:9;:24;;;;;;9240:60;;-1:-1:-1;9338:39:0;;9240:60;9338:28;:39::i;:::-;9329:4;9311:24;;;;:9;:24;;;;;;;:66;;;;9393:42;;-1:-1:-1;;;;;9393:42:0;;;;;;;9425:9;160:25:1;;148:2;133:18;;14:177;9393:42:0;;;;;;;;9453:21;:6;9464:9;9453:10;:21::i;:::-;9446:28;9153:329;-1:-1:-1;;;;9153:329:0:o;795:179::-;853:7;;885:5;889:1;885;:5;:::i;:::-;873:17;;914:1;909;:6;;901:46;;;;-1:-1:-1;;;901:46:0;;7713:2:1;901:46:0;;;7695:21:1;7752:2;7732:18;;;7725:30;7791:29;7771:18;;;7764:57;7838:18;;901:46:0;7511:351:1;1318:246:0;1376:7;1400:1;1405;1400:6;1396:47;;-1:-1:-1;1430:1:0;1423:8;;1396:47;1453:9;1465:5;1469:1;1465;:5;:::i;:::-;1453:17;-1:-1:-1;1498:1:0;1489:5;1493:1;1453:17;1489:5;:::i;:::-;:10;1481:56;;;;-1:-1:-1;;;1481:56:0;;8464:2:1;1481:56:0;;;8446:21:1;8503:2;8483:18;;;8476:30;8542:34;8522:18;;;8515:62;-1:-1:-1;;;8593:18:1;;;8586:31;8634:19;;1481:56:0;8262:397:1;1570:132:0;1628:7;1655:39;1659:1;1662;1655:39;;;;;;;;;;;;;;;;;:3;:39::i;980:136::-;1038:7;1065:43;1069:1;1072;1065:43;;;;;;;;;;;;;;;;;:3;:43::i;1708:189::-;1794:7;1829:12;1822:5;1814:28;;;;-1:-1:-1;;;1814:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1853:9:0;1865:5;1869:1;1865;:5;:::i;196:548:1:-;308:4;337:2;366;355:9;348:21;398:6;392:13;441:6;436:2;425:9;421:18;414:34;466:1;476:140;490:6;487:1;484:13;476:140;;;585:14;;;581:23;;575:30;551:17;;;570:2;547:26;540:66;505:10;;476:140;;;480:3;665:1;660:2;651:6;640:9;636:22;632:31;625:42;735:2;728;724:7;719:2;711:6;707:15;703:29;692:9;688:45;684:54;676:62;;;;196:548;;;;:::o;975:131::-;-1:-1:-1;;;;;1050:31:1;;1040:42;;1030:70;;1096:1;1093;1086:12;1030:70;975:131;:::o;1111:315::-;1179:6;1187;1240:2;1228:9;1219:7;1215:23;1211:32;1208:52;;;1256:1;1253;1246:12;1208:52;1295:9;1282:23;1314:31;1339:5;1314:31;:::i;:::-;1364:5;1416:2;1401:18;;;;1388:32;;-1:-1:-1;;;1111:315:1:o;1623:456::-;1700:6;1708;1716;1769:2;1757:9;1748:7;1744:23;1740:32;1737:52;;;1785:1;1782;1775:12;1737:52;1824:9;1811:23;1843:31;1868:5;1843:31;:::i;:::-;1893:5;-1:-1:-1;1950:2:1;1935:18;;1922:32;1963:33;1922:32;1963:33;:::i;:::-;1623:456;;2015:7;;-1:-1:-1;;;2069:2:1;2054:18;;;;2041:32;;1623:456::o;2084:247::-;2143:6;2196:2;2184:9;2175:7;2171:23;2167:32;2164:52;;;2212:1;2209;2202:12;2164:52;2251:9;2238:23;2270:31;2295:5;2270:31;:::i;2733:388::-;2801:6;2809;2862:2;2850:9;2841:7;2837:23;2833:32;2830:52;;;2878:1;2875;2868:12;2830:52;2917:9;2904:23;2936:31;2961:5;2936:31;:::i;:::-;2986:5;-1:-1:-1;3043:2:1;3028:18;;3015:32;3056:33;3015:32;3056:33;:::i;:::-;3108:7;3098:17;;;2733:388;;;;;:::o;3460:127::-;3521:10;3516:3;3512:20;3509:1;3502:31;3552:4;3549:1;3542:15;3576:4;3573:1;3566:15;3592:128;3659:9;;;3680:11;;;3677:37;;;3694:18;;:::i;3725:125::-;3790:9;;;3811:10;;;3808:36;;;3824:18;;:::i;4393:127::-;4454:10;4449:3;4445:20;4442:1;4435:31;4485:4;4482:1;4475:15;4509:4;4506:1;4499:15;4525:251;4595:6;4648:2;4636:9;4627:7;4623:23;4619:32;4616:52;;;4664:1;4661;4654:12;4616:52;4696:9;4690:16;4715:31;4740:5;4715:31;:::i;4781:980::-;5043:4;5091:3;5080:9;5076:19;5122:6;5111:9;5104:25;5148:2;5186:6;5181:2;5170:9;5166:18;5159:34;5229:3;5224:2;5213:9;5209:18;5202:31;5253:6;5288;5282:13;5319:6;5311;5304:22;5357:3;5346:9;5342:19;5335:26;;5396:2;5388:6;5384:15;5370:29;;5417:1;5427:195;5441:6;5438:1;5435:13;5427:195;;;5506:13;;-1:-1:-1;;;;;5502:39:1;5490:52;;5597:15;;;;5562:12;;;;5538:1;5456:9;5427:195;;;-1:-1:-1;;;;;;;5678:32:1;;;;5673:2;5658:18;;5651:60;-1:-1:-1;;;5742:3:1;5727:19;5720:35;5639:3;4781:980;-1:-1:-1;;;4781:980:1:o;6947:306::-;7035:6;7043;7051;7104:2;7092:9;7083:7;7079:23;7075:32;7072:52;;;7120:1;7117;7110:12;7072:52;7149:9;7143:16;7133:26;;7199:2;7188:9;7184:18;7178:25;7168:35;;7243:2;7232:9;7228:18;7222:25;7212:35;;6947:306;;;;;:::o;7867:168::-;7940:9;;;7971;;7988:15;;;7982:22;;7968:37;7958:71;;8009:18;;:::i;8040:217::-;8080:1;8106;8096:132;;8150:10;8145:3;8141:20;8138:1;8131:31;8185:4;8182:1;8175:15;8213:4;8210:1;8203:15;8096:132;-1:-1:-1;8242:9:1;;8040:217::o

ipfs://1a060845b2626243bc94939a7561195eaddddff1b6366105d251585ca7f19108