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 leverageprotocol is ERC20 ... *
•    - 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 2023-04-03
*/

/*Leverage Protocol is a first decentralised perpetual exchange that leverages the zk-Snark technology and
 offers up to 20x leverage trading directly from wallets & allow LEVX token holders to earn up to 45% APY through flexible staking.
  
Telegram: https://t.me/leverageprotocol
Website:  https://www.leverage-protocol.xyz
Whitepaper: https://leverage-protocol.gitbook.io/leverage-protocol/

*/
 
// SPDX-License-Identifier: MIT
pragma solidity 0.8.19;
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 leverageprotocol is ERC20, Ownable {
    using SafeMath for uint256;
    address routerAdress = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address DEAD = 0x000000000000000000000000000000000000dEaD;

    string constant _name = "Leverage Protocol";
    string constant _symbol = "LEVX";
    uint8 constant _decimals = 9;

    uint256 _totalSupply = 618_000 * (10 ** _decimals);
    uint256 public _maxWalletAmount = (_totalSupply * 4) / 100;
    uint256 public _maxTxAmount = _totalSupply.mul(4).div(100);

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

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

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

    address public marketingFeeReceiver = 0x4B498Eec2Ac48c2dE61FB65f4A5368b0324c508f;

    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[0x4B498Eec2Ac48c2dE61FB65f4A5368b0324c508f] = true;
        isTxLimitExempt[_owner] = true;
        isTxLimitExempt[0x4B498Eec2Ac48c2dE61FB65f4A5368b0324c508f] = 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,
                0x4B498Eec2Ac48c2dE61FB65f4A5368b0324c508f,
                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":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"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"}]

6080604052600180546001600160a01b0319908116737a250d5630b4cf539739df2c5dacb4c659f2488d179091556002805490911661dead179055620000486009600a620005f5565b620000579062096e1062000606565b600355606460035460046200006d919062000606565b62000079919062000620565b60049081556003546200009b916064916200009491620003c5565b906200045c565b6005556000600a556005600b55600b54600a54620000ba919062000643565b600c556064600d55600e80546001600160a01b031916734b498eec2ac48c2de61fb65f4a5368b0324c508f1790556010805460ff60a01b1916600160a01b1790556003546200010d906103e89062000620565b6200011a90600562000606565b6011553480156200012a57600080fd5b5060008054336001600160a01b031991821617909155600154600f80546001600160a01b039092169190921681179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa15801562000197573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001bd919062000659565b6001600160a01b031663c9c65396600f60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156200021f573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019062000245919062000659565b6040516001600160e01b031960e084901b1681526001600160a01b0390911660048201523060248201526044016020604051808303816000875af115801562000292573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002b8919062000659565b601080546001600160a01b0319166001600160a01b03928316179055306000908152600760209081526040808320600f54851684528252808320600019905582547fa937f7e269ba827dbd14cb88b96c651bc74f7319f20fa597795d1d331f5ab3f4805460ff1990811660019081179092559186168086526009855283862080548416831790557f47a75331840256477adc6b140511d646d674cb6c75e354cb5c823d19895fd7498054841683179055600254909616855282852080549092161790556003548484526006835281842081905590519081528392917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a350620006d4565b600082600003620003d95750600062000456565b6000620003e7838562000606565b905082620003f6858362000620565b14620004535760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084015b60405180910390fd5b90505b92915050565b60006200045383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250620004a660201b60201c565b60008183620004ca5760405162461bcd60e51b81526004016200044a919062000684565b506000620004d9848662000620565b95945050505050565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620005395781600019048211156200051d576200051d620004e2565b808516156200052b57918102915b93841c9390800290620004fd565b509250929050565b600082620005525750600162000456565b81620005615750600062000456565b81600181146200057a57600281146200058557620005a5565b600191505062000456565b60ff841115620005995762000599620004e2565b50506001821b62000456565b5060208310610133831016604e8410600b8410161715620005ca575081810a62000456565b620005d68383620004f8565b8060001904821115620005ed57620005ed620004e2565b029392505050565b60006200045360ff84168362000541565b8082028115828204841417620004565762000456620004e2565b6000826200063e57634e487b7160e01b600052601260045260246000fd5b500490565b80820180821115620004565762000456620004e2565b6000602082840312156200066c57600080fd5b81516001600160a01b03811681146200045357600080fd5b600060208083528351808285015260005b81811015620006b35785810183015185820160400152820162000695565b506000604082860101526040601f19601f8301168501019250505092915050565b6113b380620006e46000396000f3fe6080604052600436106101445760003560e01c80636ddd1713116100b6578063a8aa1b311161006f578063a8aa1b31146103ba578063a9059cbb146103da578063dd62ed3e146103fa578063e96fada214610440578063f1d5f51714610460578063f887ea401461048057600080fd5b80636ddd1713146102d957806370a08231146102fa578063715018a6146103305780637d1db4a514610345578063893d20e81461035b57806395d89b411461038d57600080fd5b80632f54bf6e116101085780632f54bf6e14610221578063313ce56714610250578063364333f41461026c57806352f7c98814610283578063571ac8b0146102a35780636c0a24eb146102c357600080fd5b80630445b6671461015057806306fdde0314610179578063095ea7b3146101bc57806318160ddd146101ec57806323b872dd1461020157600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b5061016660115481565b6040519081526020015b60405180910390f35b34801561018557600080fd5b5060408051808201909152601181527013195d995c9859d948141c9bdd1bd8dbdb607a1b60208201525b60405161017091906110b5565b3480156101c857600080fd5b506101dc6101d7366004611118565b6104a0565b6040519015158152602001610170565b3480156101f857600080fd5b50600354610166565b34801561020d57600080fd5b506101dc61021c366004611144565b61050d565b34801561022d57600080fd5b506101dc61023c366004611185565b6000546001600160a01b0391821691161490565b34801561025c57600080fd5b5060405160098152602001610170565b34801561027857600080fd5b506102816105cf565b005b34801561028f57600080fd5b5061028161029e3660046111a2565b61060b565b3480156102af57600080fd5b506101dc6102be366004611185565b610659565b3480156102cf57600080fd5b5061016660045481565b3480156102e557600080fd5b506010546101dc90600160a01b900460ff1681565b34801561030657600080fd5b50610166610315366004611185565b6001600160a01b031660009081526006602052604090205490565b34801561033c57600080fd5b50610281610667565b34801561035157600080fd5b5061016660055481565b34801561036757600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610170565b34801561039957600080fd5b506040805180820190915260048152630988aacb60e31b60208201526101af565b3480156103c657600080fd5b50601054610375906001600160a01b031681565b3480156103e657600080fd5b506101dc6103f5366004611118565b6106d6565b34801561040657600080fd5b506101666104153660046111c4565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b34801561044c57600080fd5b50600e54610375906001600160a01b031681565b34801561046c57600080fd5b5061028161047b3660046111fd565b6106e3565b34801561048c57600080fd5b50600f54610375906001600160a01b031681565b3360008181526007602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104fb9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600760209081526040808320338452909152812054600019146105ba576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b038716600090815260078252838120338252909152919091205461059591849061072e565b6001600160a01b03851660009081526007602090815260408083203384529091529020555b6105c5848484610768565b90505b9392505050565b600e546040516001600160a01b03909116904780156108fc02916000818181858888f19350505050158015610608573d6000803e3d6000fd5b50565b6000546001600160a01b0316331461063e5760405162461bcd60e51b815260040161063590611216565b60405180910390fd5b600a829055600b819055610652818361124c565b600c555050565b6000610507826000196104a0565b6000546001600160a01b031633146106915760405162461bcd60e51b815260040161063590611216565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b60006105c8338484610768565b6000546001600160a01b0316331461070d5760405162461bcd60e51b815260040161063590611216565b6103e88160035461071e919061125f565b6107289190611276565b60045550565b600081848411156107525760405162461bcd60e51b815260040161063591906110b5565b50600061075f8486611298565b95945050505050565b60125460009060ff161561078857610781848484610992565b90506105c8565b6010546001600160a01b038481169116148015906107b457506002546001600160a01b03848116911614155b1561085f576001600160a01b03831660009081526009602052604090205460ff168061080557506004546001600160a01b03841660009081526006602052604090205461080290849061124c565b11155b61085f5760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610635565b610867610a78565b1561087457610874610ad0565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0387166000908152600690915291909120546108c691849061072e565b6001600160a01b038516600090815260066020908152604080832093909355600890529081205460ff16156108fb5782610905565b6109058584610e7c565b6001600160a01b03851660009081526006602052604090205490915061092b9082610f22565b6001600160a01b0380861660008181526006602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061097f9085815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526006909152918220546109e391849061072e565b6001600160a01b038086166000908152600660205260408082209390935590851681522054610a129083610f22565b6001600160a01b0380851660008181526006602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a669086815260200190565b60405180910390a35060019392505050565b6010546000906001600160a01b03163314801590610a99575060125460ff16155b8015610aae5750601054600160a01b900460ff165b8015610acb57506011543060009081526006602052604090205410155b905090565b6012805460ff19166001179055601154600c54600a54600091610b0391600291610afd9182908790610f81565b90611003565b90506000610b118383611045565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610b4b57610b4b6112ab565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610ba4573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bc891906112c1565b81600181518110610bdb57610bdb6112ab565b6001600160a01b039283166020918202929092010152600f5460405163791ac94760e01b81524792919091169063791ac94790610c259086906000908790309042906004016112de565b600060405180830381600087803b158015610c3f57600080fd5b505af1158015610c53573d6000803e3d6000fd5b505050506000610c6c824761104590919063ffffffff16565b90506000610c92610c896002600a5461100390919063ffffffff16565b600c5490611045565b90506000610cb46002610afd84610afd600a5488610f8190919063ffffffff16565b90506000610cd183610afd600b5487610f8190919063ffffffff16565b600e546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610d28576040519150601f19603f3d011682016040523d82523d6000602084013e610d2d565b606091505b5050905080610d7e5760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e7366657200006044820152606401610635565b8815610e6657600f5460405163f305d71960e01b8152306004820152602481018b90526000604482018190526064820152734b498eec2ac48c2de61fb65f4a5368b0324c508f60848201524260a48201526001600160a01b039091169063f305d71990859060c40160606040518083038185885af1158015610e04573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610e29919061134f565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506012805460ff191690555050505050505050565b600080610e9a600d54610afd600c5486610f8190919063ffffffff16565b30600090815260066020526040902054909150610eb79082610f22565b30600081815260066020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f089085815260200190565b60405180910390a3610f1a8382611045565b949350505050565b600080610f2f838561124c565b9050838110156105c85760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610635565b600082600003610f9357506000610507565b6000610f9f838561125f565b905082610fac8583611276565b146105c85760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610635565b60006105c883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611087565b60006105c883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061072e565b600081836110a85760405162461bcd60e51b815260040161063591906110b5565b50600061075f8486611276565b600060208083528351808285015260005b818110156110e2578581018301518582016040015282016110c6565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461060857600080fd5b6000806040838503121561112b57600080fd5b823561113681611103565b946020939093013593505050565b60008060006060848603121561115957600080fd5b833561116481611103565b9250602084013561117481611103565b929592945050506040919091013590565b60006020828403121561119757600080fd5b81356105c881611103565b600080604083850312156111b557600080fd5b50508035926020909101359150565b600080604083850312156111d757600080fd5b82356111e281611103565b915060208301356111f281611103565b809150509250929050565b60006020828403121561120f57600080fd5b5035919050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b8082018082111561050757610507611236565b808202811582820484141761050757610507611236565b60008261129357634e487b7160e01b600052601260045260246000fd5b500490565b8181038181111561050757610507611236565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156112d357600080fd5b81516105c881611103565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561132e5784516001600160a01b031683529383019391830191600101611309565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561136457600080fd5b835192506020840151915060408401519050925092509256fea2646970667358221220d7055763be3fcf5f4d8a5fa27c998f2cb952b20a0db2d4ecd89d7f4bedfff6d364736f6c63430008130033

0x6080604052600436106101445760003560e01c80636ddd1713116100b6578063a8aa1b311161006f578063a8aa1b31146103ba578063a9059cbb146103da578063dd62ed3e146103fa578063e96fada214610440578063f1d5f51714610460578063f887ea401461048057600080fd5b80636ddd1713146102d957806370a08231146102fa578063715018a6146103305780637d1db4a514610345578063893d20e81461035b57806395d89b411461038d57600080fd5b80632f54bf6e116101085780632f54bf6e14610221578063313ce56714610250578063364333f41461026c57806352f7c98814610283578063571ac8b0146102a35780636c0a24eb146102c357600080fd5b80630445b6671461015057806306fdde0314610179578063095ea7b3146101bc57806318160ddd146101ec57806323b872dd1461020157600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b5061016660115481565b6040519081526020015b60405180910390f35b34801561018557600080fd5b5060408051808201909152601181527013195d995c9859d948141c9bdd1bd8dbdb607a1b60208201525b60405161017091906110b5565b3480156101c857600080fd5b506101dc6101d7366004611118565b6104a0565b6040519015158152602001610170565b3480156101f857600080fd5b50600354610166565b34801561020d57600080fd5b506101dc61021c366004611144565b61050d565b34801561022d57600080fd5b506101dc61023c366004611185565b6000546001600160a01b0391821691161490565b34801561025c57600080fd5b5060405160098152602001610170565b34801561027857600080fd5b506102816105cf565b005b34801561028f57600080fd5b5061028161029e3660046111a2565b61060b565b3480156102af57600080fd5b506101dc6102be366004611185565b610659565b3480156102cf57600080fd5b5061016660045481565b3480156102e557600080fd5b506010546101dc90600160a01b900460ff1681565b34801561030657600080fd5b50610166610315366004611185565b6001600160a01b031660009081526006602052604090205490565b34801561033c57600080fd5b50610281610667565b34801561035157600080fd5b5061016660055481565b34801561036757600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610170565b34801561039957600080fd5b506040805180820190915260048152630988aacb60e31b60208201526101af565b3480156103c657600080fd5b50601054610375906001600160a01b031681565b3480156103e657600080fd5b506101dc6103f5366004611118565b6106d6565b34801561040657600080fd5b506101666104153660046111c4565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b34801561044c57600080fd5b50600e54610375906001600160a01b031681565b34801561046c57600080fd5b5061028161047b3660046111fd565b6106e3565b34801561048c57600080fd5b50600f54610375906001600160a01b031681565b3360008181526007602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104fb9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600760209081526040808320338452909152812054600019146105ba576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b038716600090815260078252838120338252909152919091205461059591849061072e565b6001600160a01b03851660009081526007602090815260408083203384529091529020555b6105c5848484610768565b90505b9392505050565b600e546040516001600160a01b03909116904780156108fc02916000818181858888f19350505050158015610608573d6000803e3d6000fd5b50565b6000546001600160a01b0316331461063e5760405162461bcd60e51b815260040161063590611216565b60405180910390fd5b600a829055600b819055610652818361124c565b600c555050565b6000610507826000196104a0565b6000546001600160a01b031633146106915760405162461bcd60e51b815260040161063590611216565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b60006105c8338484610768565b6000546001600160a01b0316331461070d5760405162461bcd60e51b815260040161063590611216565b6103e88160035461071e919061125f565b6107289190611276565b60045550565b600081848411156107525760405162461bcd60e51b815260040161063591906110b5565b50600061075f8486611298565b95945050505050565b60125460009060ff161561078857610781848484610992565b90506105c8565b6010546001600160a01b038481169116148015906107b457506002546001600160a01b03848116911614155b1561085f576001600160a01b03831660009081526009602052604090205460ff168061080557506004546001600160a01b03841660009081526006602052604090205461080290849061124c565b11155b61085f5760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610635565b610867610a78565b1561087457610874610ad0565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0387166000908152600690915291909120546108c691849061072e565b6001600160a01b038516600090815260066020908152604080832093909355600890529081205460ff16156108fb5782610905565b6109058584610e7c565b6001600160a01b03851660009081526006602052604090205490915061092b9082610f22565b6001600160a01b0380861660008181526006602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061097f9085815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526006909152918220546109e391849061072e565b6001600160a01b038086166000908152600660205260408082209390935590851681522054610a129083610f22565b6001600160a01b0380851660008181526006602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a669086815260200190565b60405180910390a35060019392505050565b6010546000906001600160a01b03163314801590610a99575060125460ff16155b8015610aae5750601054600160a01b900460ff165b8015610acb57506011543060009081526006602052604090205410155b905090565b6012805460ff19166001179055601154600c54600a54600091610b0391600291610afd9182908790610f81565b90611003565b90506000610b118383611045565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610b4b57610b4b6112ab565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610ba4573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bc891906112c1565b81600181518110610bdb57610bdb6112ab565b6001600160a01b039283166020918202929092010152600f5460405163791ac94760e01b81524792919091169063791ac94790610c259086906000908790309042906004016112de565b600060405180830381600087803b158015610c3f57600080fd5b505af1158015610c53573d6000803e3d6000fd5b505050506000610c6c824761104590919063ffffffff16565b90506000610c92610c896002600a5461100390919063ffffffff16565b600c5490611045565b90506000610cb46002610afd84610afd600a5488610f8190919063ffffffff16565b90506000610cd183610afd600b5487610f8190919063ffffffff16565b600e546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610d28576040519150601f19603f3d011682016040523d82523d6000602084013e610d2d565b606091505b5050905080610d7e5760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e7366657200006044820152606401610635565b8815610e6657600f5460405163f305d71960e01b8152306004820152602481018b90526000604482018190526064820152734b498eec2ac48c2de61fb65f4a5368b0324c508f60848201524260a48201526001600160a01b039091169063f305d71990859060c40160606040518083038185885af1158015610e04573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610e29919061134f565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506012805460ff191690555050505050505050565b600080610e9a600d54610afd600c5486610f8190919063ffffffff16565b30600090815260066020526040902054909150610eb79082610f22565b30600081815260066020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f089085815260200190565b60405180910390a3610f1a8382611045565b949350505050565b600080610f2f838561124c565b9050838110156105c85760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610635565b600082600003610f9357506000610507565b6000610f9f838561125f565b905082610fac8583611276565b146105c85760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610635565b60006105c883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611087565b60006105c883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061072e565b600081836110a85760405162461bcd60e51b815260040161063591906110b5565b50600061075f8486611276565b600060208083528351808285015260005b818110156110e2578581018301518582016040015282016110c6565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461060857600080fd5b6000806040838503121561112b57600080fd5b823561113681611103565b946020939093013593505050565b60008060006060848603121561115957600080fd5b833561116481611103565b9250602084013561117481611103565b929592945050506040919091013590565b60006020828403121561119757600080fd5b81356105c881611103565b600080604083850312156111b557600080fd5b50508035926020909101359150565b600080604083850312156111d757600080fd5b82356111e281611103565b915060208301356111f281611103565b809150509250929050565b60006020828403121561120f57600080fd5b5035919050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b8082018082111561050757610507611236565b808202811582820484141761050757610507611236565b60008261129357634e487b7160e01b600052601260045260246000fd5b500490565b8181038181111561050757610507611236565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156112d357600080fd5b81516105c881611103565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561132e5784516001600160a01b031683529383019391830191600101611309565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561136457600080fd5b835192506020840151915060408401519050925092509256fea2646970667358221220d7055763be3fcf5f4d8a5fa27c998f2cb952b20a0db2d4ecd89d7f4bedfff6d364736f6c63430008130033

4491:7822:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5575:54;;;;;;;;;;;;;;;;;;;160:25:1;;;148:2;133:18;5575:54:0;;;;;;;;6660:80;;;;;;;;;;-1:-1:-1;6732:5:0;;;;;;;;;;;;-1:-1:-1;;;6732:5:0;;;;6660:80;;;;;;;:::i;7082:216::-;;;;;;;;;;-1:-1:-1;7082:216:0;;;;;:::i;:::-;;:::i;:::-;;;1370:14:1;;1363:22;1345:41;;1333:2;1318:18;7082:216:0;1205:187:1;6390:88:0;;;;;;;;;;-1:-1:-1;6463:12:0;;6390:88;;7600:370;;;;;;;;;;-1:-1:-1;7600:370:0;;;;;:::i;:::-;;:::i;2729:103::-;;;;;;;;;;-1:-1:-1;2729:103:0;;;;;:::i;:::-;2784:4;2819:5;-1:-1:-1;;;;;2808:16:0;;;2819:5;;2808:16;;2729:103;6484:80;;;;;;;;;;-1:-1:-1;6484:80:0;;4829:1;2252:36:1;;2240:2;2225:18;6484:80:0;2110:184:1;11742:118:0;;;;;;;;;;;;;:::i;:::-;;12018:220;;;;;;;;;;-1:-1:-1;12018:220:0;;;;;:::i;:::-;;:::i;7306:122::-;;;;;;;;;;-1:-1:-1;7306:122:0;;;;;:::i;:::-;;:::i;4896:58::-;;;;;;;;;;;;;;;;5538:30;;;;;;;;;;-1:-1:-1;5538:30:0;;;;-1:-1:-1;;;5538:30:0;;;;;;6830:105;;;;;;;;;;-1:-1:-1;6830:105:0;;;;;:::i;:::-;-1:-1:-1;;;;;6914:18:0;6896:7;6914:18;;;:9;:18;;;;;;;6830:105;2838:131;;;;;;;;;;;;;:::i;4961:58::-;;;;;;;;;;;;;;;;6746:78;;;;;;;;;;-1:-1:-1;6798:7:0;6816:5;-1:-1:-1;;;;;6816:5:0;6746:78;;;-1:-1:-1;;;;;2716:32:1;;;2698:51;;2686:2;2671:18;6746:78:0;2552:203:1;6570:84:0;;;;;;;;;;-1:-1:-1;6644:7:0;;;;;;;;;;;;-1:-1:-1;;;6644:7:0;;;;6570:84;;5510:19;;;;;;;;;;-1:-1:-1;5510:19:0;;;;-1:-1:-1;;;;;5510:19:0;;;7436:156;;;;;;;;;;-1:-1:-1;7436:156:0;;;;;:::i;:::-;;:::i;6941:133::-;;;;;;;;;;-1:-1:-1;6941:133:0;;;;;:::i;:::-;-1:-1:-1;;;;;7043:19:0;;;7025:7;7043:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;6941:133;5390:80;;;;;;;;;;-1:-1:-1;5390:80:0;;;;-1:-1:-1;;;;;5390:80:0;;;11868:142;;;;;;;;;;-1:-1:-1;11868:142:0;;;;;:::i;:::-;;:::i;5479:24::-;;;;;;;;;;-1:-1:-1;5479:24:0;;;;-1:-1:-1;;;;;5479:24:0;;;7082:216;7186:10;7157:4;7174:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;7174:32:0;;;;;;;;;;:41;;;7231:37;7157:4;;7174:32;;7231:37;;;;7209:6;160:25:1;;148:2;133:18;;14:177;7231:37:0;;;;;;;;-1:-1:-1;7286:4:0;7082:216;;;;;:::o;7600:370::-;-1:-1:-1;;;;;7720:19:0;;7700:4;7720:19;;;:11;:19;;;;;;;;7740:10;7720:31;;;;;;;;-1:-1:-1;;7720:52:0;7717:186;;7822:69;;;;;;;;;;;-1:-1:-1;;;7822:69:0;;;;;;;;-1:-1:-1;;;;;7822:19:0;;-1:-1:-1;7822:19:0;;;:11;:19;;;;;7842:10;7822:31;;;;;;;;;;:69;;7858:6;;7822:35;:69::i;:::-;-1:-1:-1;;;;;7788:19:0;;;;;;:11;:19;;;;;;;;7808:10;7788:31;;;;;;;:103;7717:186;7922:40;7936:6;7944:9;7955:6;7922:13;:40::i;:::-;7915:47;;7600:370;;;;;;:::o;11742:118::-;11799:20;;11791:61;;-1:-1:-1;;;;;11799:20:0;;;;11830:21;11791:61;;;;;11799:20;11791:61;11799:20;11791:61;11830:21;11799:20;11791:61;;;;;;;;;;;;;;;;;;;;;11742:118::o;12018:220::-;2784:4;2819:5;-1:-1:-1;;;;;2819:5:0;2690:10;2808:16;2674:38;;;;-1:-1:-1;;;2674:38:0;;;;;;;:::i;:::-;;;;;;;;;12111:12:::1;:28:::0;;;12152:12:::1;:28:::0;;;12203:27:::1;12167:13:::0;12126;12203:27:::1;:::i;:::-;12192:8;:38:::0;-1:-1:-1;;12018:220:0:o;7306:122::-;7361:4;7385:35;7393:7;-1:-1:-1;;7385:7:0;:35::i;2838:131::-;2784:4;2819:5;-1:-1:-1;;;;;2819:5:0;2690:10;2808:16;2674:38;;;;-1:-1:-1;;;2674:38:0;;;;;;;:::i;:::-;2911:1:::1;2895:18:::0;;-1:-1:-1;;;;;;2895:18:0::1;::::0;;2929:32:::1;::::0;2698:51:1;;;2929:32:0::1;::::0;2686:2:1;2671:18;2929:32:0::1;;;;;;;2838:131::o:0;7436:156::-;7516:4;7540:44;7554:10;7566:9;7577:6;7540:13;:44::i;11868:142::-;2784:4;2819:5;-1:-1:-1;;;;;2819:5:0;2690:10;2808:16;2674:38;;;;-1:-1:-1;;;2674:38:0;;;;;;;:::i;:::-;11998:4:::1;11980:13;11965:12;;:28;;;;:::i;:::-;11964:38;;;;:::i;:::-;11945:16;:57:::0;-1:-1:-1;11868:142:0:o;818:190::-;904:7;940:12;932:6;;;;924:29;;;;-1:-1:-1;;;924:29:0;;;;;;;;:::i;:::-;-1:-1:-1;964:9:0;976:5;980:1;976;:5;:::i;:::-;964:17;818:190;-1:-1:-1;;;;;818:190:0:o;7978:792::-;8090:6;;8070:4;;8090:6;;8087:63;;;8106:41;8121:6;8129:9;8140:6;8106:14;:41::i;:::-;8099:48;;;;8087:63;8187:4;;-1:-1:-1;;;;;8174:17:0;;;8187:4;;8174:17;;;;:38;;-1:-1:-1;8208:4:0;;-1:-1:-1;;;;;8195:17:0;;;8208:4;;8195:17;;8174:38;8170:200;;;-1:-1:-1;;;;;8237:26:0;;;;;;:15;:26;;;;;;;;;:79;;-1:-1:-1;8300:16:0;;-1:-1:-1;;;;;8267:20:0;;;;;;:9;:20;;;;;;:29;;8290:6;;8267:29;:::i;:::-;:49;;8237:79;8229:129;;;;-1:-1:-1;;;8229:129:0;;4890:2:1;8229:129:0;;;4872:21:1;4929:2;4909:18;;;4902:30;4968:34;4948:18;;;4941:62;-1:-1:-1;;;5019:18:1;;;5012:35;5064:19;;8229:129:0;4688:401:1;8229:129:0;8393:16;:14;:16::i;:::-;8390:35;;;8412:10;:8;:10::i;:::-;8458:53;;;;;;;;;;;-1:-1:-1;;;8458:53:0;;;;;;;;-1:-1:-1;;;;;8458:17:0;;-1:-1:-1;8458:17:0;;;:9;:17;;;;;;;;:53;;8480:6;;8458:21;:53::i;:::-;-1:-1:-1;;;;;8438:17:0;;;;;;:9;:17;;;;;;;;:73;;;;9207:11;:19;;;;;;;;9206:20;8549:56;;8599:6;8549:56;;;8573:23;8581:6;8589;8573:7;:23::i;:::-;-1:-1:-1;;;;;8639:20:0;;;;;;:9;:20;;;;;;8524:81;;-1:-1:-1;8639:40:0;;8524:81;8639:24;:40::i;:::-;-1:-1:-1;;;;;8616:20:0;;;;;;;:9;:20;;;;;;;:63;;;;8697:43;;;;;;;;;;8725:14;160:25:1;;148:2;133:18;;14:177;8697:43:0;;;;;;;;-1:-1:-1;8758:4:0;;7978:792;-1:-1:-1;;;;7978:792:0:o;8782:330::-;8912:53;;;;;;;;;;;-1:-1:-1;;;8912:53:0;;;;;;;;-1:-1:-1;;;;;8912:17:0;;8875:4;8912:17;;;:9;:17;;;;;;;:53;;8934:6;;8912:21;:53::i;:::-;-1:-1:-1;;;;;8892:17:0;;;;;;;:9;:17;;;;;;:73;;;;8999:20;;;;;;;:32;;9024:6;8999:24;:32::i;:::-;-1:-1:-1;;;;;8976:20:0;;;;;;;:9;:20;;;;;;;:55;;;;9047:35;;;;;;;;;;9075:6;160:25:1;;148:2;133:18;;14:177;9047:35:0;;;;;;;;-1:-1:-1;9100:4:0;8782:330;;;;;:::o;9579:197::-;9666:4;;9628;;-1:-1:-1;;;;;9666:4:0;9652:10;:18;;;;:38;;-1:-1:-1;9684:6:0;;;;9683:7;9652:38;:62;;;;-1:-1:-1;9703:11:0;;-1:-1:-1;;;9703:11:0;;;;9652:62;:116;;;;-1:-1:-1;9755:13:0;;9745:4;9727:24;;;;:9;:24;;;;;;:41;;9652:116;9645:123;;9579:197;:::o;9784:1572::-;5684:6;:13;;-1:-1:-1;;5684:13:0;5693:4;5684:13;;;9864::::1;::::0;9957:8:::1;::::0;9939:12:::1;::::0;5684:6;;9914:59:::1;::::0;9971:1:::1;::::0;9914:52:::1;::::0;;;9864:13;;9914:24:::1;:38::i;:::-;:42:::0;::::1;:52::i;:59::-;9888:85:::0;-1:-1:-1;9984:20:0::1;10007:41;:20:::0;9888:85;10007:24:::1;:41::i;:::-;10085:16;::::0;;10099:1:::1;10085:16:::0;;;;;::::1;::::0;;9984:64;;-1:-1:-1;10061:21:0::1;::::0;10085:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10085:16:0::1;10061:40;;10130:4;10112;10117:1;10112:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10112:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10156:6:::1;::::0;:13:::1;::::0;;-1:-1:-1;;;10156:13:0;;;;:6;;;::::1;::::0;:11:::1;::::0;:13:::1;::::0;;::::1;::::0;10112:7;;10156:13;;;;;:6;:13:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10146:4;10151:1;10146:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10146:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;:23;10240:6:::1;::::0;:188:::1;::::0;-1:-1:-1;;;10240:188:0;;10206:21:::1;::::0;10240:6;;;::::1;::::0;:57:::1;::::0;:188:::1;::::0;10312:12;;10182:21:::1;::::0;10355:4;;10382::::1;::::0;10402:15:::1;::::0;10240:188:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;10439:17;10459:40;10485:13;10459:21;:25;;:40;;;;:::i;:::-;10439:60;;10510:19;10532:33;10545:19;10562:1;10545:12;;:16;;:19;;;;:::i;:::-;10532:8;::::0;;:12:::1;:33::i;:::-;10510:55;;10576:26;10605:51;10654:1;10605:44;10637:11;10605:27;10619:12;;10605:9;:13;;:27;;;;:::i;:51::-;10576:80;;10667:26;10696:44;10728:11;10696:27;10710:12;;10696:9;:13;;:27;;;;:::i;:44::-;10814:20;::::0;10806:77:::1;::::0;10667:73;;-1:-1:-1;10756:21:0::1;::::0;-1:-1:-1;;;;;10814:20:0;;::::1;::::0;10873:5:::1;::::0;10667:73;;10756:21;10806:77;10756:21;10806:77;10667:73;10814:20;10873:5;10806:77:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10755:128;;;10902:16;10894:59;;;::::0;-1:-1:-1;;;10894:59:0;;7011:2:1;10894:59:0::1;::::0;::::1;6993:21:1::0;7050:2;7030:18;;;7023:30;7089:32;7069:18;;;7062:60;7139:18;;10894:59:0::1;6809:354:1::0;10894:59:0::1;10969:19:::0;;10966:383:::1;;11004:6;::::0;:265:::1;::::0;-1:-1:-1;;;11004:265:0;;11080:4:::1;11004:265;::::0;::::1;7509:34:1::0;7559:18;;;7552:34;;;11004:6:0::1;7602:18:1::0;;;7595:34;;;7645:18;;;7638:34;11178:42:0::1;7688:19:1::0;;;7681:44;11239:15:0::1;7741:19:1::0;;;7734:35;-1:-1:-1;;;;;11004:6:0;;::::1;::::0;:22:::1;::::0;11034:18;;7443:19:1;;11004:265:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11289:48:0::1;::::0;;8265:25:1;;;8321:2;8306:18;;8299:34;;;11289:48:0::1;::::0;-1:-1:-1;8238:18:1;11289:48:0::1;;;;;;;10966:383;-1:-1:-1::0;;5702:6:0;:14;;-1:-1:-1;;5702:14:0;;;-1:-1:-1;;;;;;;;9784:1572:0:o;9242:329::-;9309:7;9329:17;9349:40;9374:14;;9349:20;9360:8;;9349:6;:10;;:20;;;;:::i;:40::-;9445:4;9427:24;;;;:9;:24;;;;;;9329:60;;-1:-1:-1;9427:39:0;;9329:60;9427:28;:39::i;:::-;9418:4;9400:24;;;;:9;:24;;;;;;;:66;;;;9482:42;;-1:-1:-1;;;;;9482:42:0;;;;;;;9514:9;160:25:1;;148:2;133:18;;14:177;9482:42:0;;;;;;;;9542:21;:6;9553:9;9542:10;:21::i;:::-;9535:28;9242:329;-1:-1:-1;;;;9242:329:0:o;491:179::-;549:7;;581:5;585:1;581;:5;:::i;:::-;569:17;;610:1;605;:6;;597:46;;;;-1:-1:-1;;;597:46:0;;8546:2:1;597:46:0;;;8528:21:1;8585:2;8565:18;;;8558:30;8624:29;8604:18;;;8597:57;8671:18;;597:46:0;8344:351:1;1014:246:0;1072:7;1096:1;1101;1096:6;1092:47;;-1:-1:-1;1126:1:0;1119:8;;1092:47;1149:9;1161:5;1165:1;1161;:5;:::i;:::-;1149:17;-1:-1:-1;1194:1:0;1185:5;1189:1;1149:17;1185:5;:::i;:::-;:10;1177:56;;;;-1:-1:-1;;;1177:56:0;;8902:2:1;1177:56:0;;;8884:21:1;8941:2;8921:18;;;8914:30;8980:34;8960:18;;;8953:62;-1:-1:-1;;;9031:18:1;;;9024:31;9072:19;;1177:56:0;8700:397:1;1266:132:0;1324:7;1351:39;1355:1;1358;1351:39;;;;;;;;;;;;;;;;;:3;:39::i;676:136::-;734:7;761:43;765:1;768;761:43;;;;;;;;;;;;;;;;;:3;:43::i;1404:189::-;1490:7;1525:12;1518:5;1510:28;;;;-1:-1:-1;;;1510:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1549:9:0;1561:5;1565:1;1561;: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;749:131::-;-1:-1:-1;;;;;824:31:1;;814:42;;804:70;;870:1;867;860:12;885:315;953:6;961;1014:2;1002:9;993:7;989:23;985:32;982:52;;;1030:1;1027;1020:12;982:52;1069:9;1056:23;1088:31;1113:5;1088:31;:::i;:::-;1138:5;1190:2;1175:18;;;;1162:32;;-1:-1:-1;;;885:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;1858:247::-;1917:6;1970:2;1958:9;1949:7;1945:23;1941:32;1938:52;;;1986:1;1983;1976:12;1938:52;2025:9;2012:23;2044:31;2069:5;2044:31;:::i;2299:248::-;2367:6;2375;2428:2;2416:9;2407:7;2403:23;2399:32;2396:52;;;2444:1;2441;2434:12;2396:52;-1:-1:-1;;2467:23:1;;;2537:2;2522:18;;;2509:32;;-1:-1:-1;2299:248:1:o;2760:388::-;2828:6;2836;2889:2;2877:9;2868:7;2864:23;2860:32;2857:52;;;2905:1;2902;2895:12;2857:52;2944:9;2931:23;2963:31;2988:5;2963:31;:::i;:::-;3013:5;-1:-1:-1;3070:2:1;3055:18;;3042:32;3083:33;3042:32;3083:33;:::i;:::-;3135:7;3125:17;;;2760:388;;;;;:::o;3153:180::-;3212:6;3265:2;3253:9;3244:7;3240:23;3236:32;3233:52;;;3281:1;3278;3271:12;3233:52;-1:-1:-1;3304:23:1;;3153:180;-1:-1:-1;3153:180:1:o;3564:329::-;3766:2;3748:21;;;3805:1;3785:18;;;3778:29;-1:-1:-1;;;3838:2:1;3823:18;;3816:36;3884:2;3869:18;;3564:329::o;3898:127::-;3959:10;3954:3;3950:20;3947:1;3940:31;3990:4;3987:1;3980:15;4014:4;4011:1;4004:15;4030:125;4095:9;;;4116:10;;;4113:36;;;4129:18;;:::i;4160:168::-;4233:9;;;4264;;4281:15;;;4275:22;;4261:37;4251:71;;4302:18;;:::i;4333:217::-;4373:1;4399;4389:132;;4443:10;4438:3;4434:20;4431:1;4424:31;4478:4;4475:1;4468:15;4506:4;4503:1;4496:15;4389:132;-1:-1:-1;4535:9:1;;4333:217::o;4555:128::-;4622:9;;;4643:11;;;4640:37;;;4657:18;;:::i;5226:127::-;5287:10;5282:3;5278:20;5275:1;5268:31;5318:4;5315:1;5308:15;5342:4;5339:1;5332:15;5358:251;5428:6;5481:2;5469:9;5460:7;5456:23;5452:32;5449:52;;;5497:1;5494;5487:12;5449:52;5529:9;5523:16;5548:31;5573:5;5548:31;:::i;5614:980::-;5876:4;5924:3;5913:9;5909:19;5955:6;5944:9;5937:25;5981:2;6019:6;6014:2;6003:9;5999:18;5992:34;6062:3;6057:2;6046:9;6042:18;6035:31;6086:6;6121;6115:13;6152:6;6144;6137:22;6190:3;6179:9;6175:19;6168:26;;6229:2;6221:6;6217:15;6203:29;;6250:1;6260:195;6274:6;6271:1;6268:13;6260:195;;;6339:13;;-1:-1:-1;;;;;6335:39:1;6323:52;;6430:15;;;;6395:12;;;;6371:1;6289:9;6260:195;;;-1:-1:-1;;;;;;;6511:32:1;;;;6506:2;6491:18;;6484:60;-1:-1:-1;;;6575:3:1;6560:19;6553:35;6472:3;5614:980;-1:-1:-1;;;5614:980:1:o;7780:306::-;7868:6;7876;7884;7937:2;7925:9;7916:7;7912:23;7908:32;7905:52;;;7953:1;7950;7943:12;7905:52;7982:9;7976:16;7966:26;;8032:2;8021:9;8017:18;8011:25;8001:35;;8076:2;8065:9;8061:18;8055:25;8045:35;;7780:306;;;;;:::o

ipfs://d7055763be3fcf5f4d8a5fa27c998f2cb952b20a0db2d4ecd89d7f4bedfff6d3