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 Pythagoras is ERC20, Owna ... *    - 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 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-07-26
*/

// https://t.me/PythagorasToken
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.5;
library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }
}

interface ERC20 {
    function totalSupply() external view returns (uint256);
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    function getOwner() external view returns (address);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address _owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

abstract contract Ownable {
    address internal owner;
    constructor(address _owner) {
        owner = _owner;
    }
    modifier onlyOwner() {
        require(isOwner(msg.sender), "!OWNER"); _;
    }
    function isOwner(address account) public view returns (bool) {
        return account == owner;
    }
    function renounceOwnership() public onlyOwner {
        owner = address(0);
        emit OwnershipTransferred(address(0));
    }  
    event OwnershipTransferred(address owner);
}

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

interface IDEXRouter {
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidity(
        address tokenA,
        address tokenB,
        uint amountADesired,
        uint amountBDesired,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline
    ) external returns (uint amountA, uint amountB, uint liquidity);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
    function swapExactTokensForTokensSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function swapExactETHForTokensSupportingFeeOnTransferTokens(
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external payable;
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
}

contract Pythagoras is ERC20, Ownable {
    using SafeMath for uint256;
    address routerAdress = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address DEAD = 0x000000000000000000000000000000000000dEaD;

    string constant _name = "Pythagoras Token";
    string constant _symbol = "Pythagoras";
    uint8 constant _decimals = 9;

    uint256 _totalSupply = 1_000_000_000 * (10 ** _decimals);
    uint256 public _maxWalletAmount = _totalSupply;

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

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

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

    address public marketingFeeReceiver = 0x7EAA759969476Fb0fbA16246B21B9e0C814a9cD6;

    IDEXRouter public router;
    address public pair;

    bool public swapEnabled = true;
    uint256 public swapThreshold = _totalSupply / 10000 * 48;
    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[_owner] = true;
        isTxLimitExempt[_owner] = 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,
                marketingFeeReceiver,
                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;
    }
    
    event AutoLiquify(uint256 amountETH, uint256 amountBOG);
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"amountETH","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amountBOG","type":"uint256"}],"name":"AutoLiquify","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxWalletAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"holder","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"}],"name":"approveMax","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"clearStuckBalance","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"marketingFeeReceiver","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"router","outputs":[{"internalType":"contract IDEXRouter","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"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"}]

6080604052600180546001600160a01b0319908116737a250d5630b4cf539739df2c5dacb4c659f2488d179091556002805490911661dead179055620000486009600a62000456565b6200005890633b9aca006200046e565b6003819055600455600060098190556008600a819055620000799162000490565b600b556064600c55600d80546001600160a01b031916737eaa759969476fb0fba16246b21b9e0c814a9cd6179055600f805460ff60a01b1916600160a01b179055600354620000cc9061271090620004ab565b620000d99060306200046e565b601055348015620000e957600080fd5b5060008054336001600160a01b031991821617909155600154600e80546001600160a01b039092169190921681179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa15801562000156573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200017c9190620004ce565b6001600160a01b031663c9c65396600e60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001de573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002049190620004ce565b6040516001600160e01b031960e084901b1681526001600160a01b0390911660048201523060248201526044016020604051808303816000875af115801562000251573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002779190620004ce565b600f80546001600160a01b0319166001600160a01b03928316179055306000908152600660209081526040808320600e5485168452825280832060001990558254841680845260078352818420805460ff19908116600190811790925560088552838620805482168317905560025490961685528285208054909616179094556003548484526005835281842081905590519081528392917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a350620004f9565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003985781600019048211156200037c576200037c62000341565b808516156200038a57918102915b93841c93908002906200035c565b509250929050565b600082620003b15750600162000450565b81620003c05750600062000450565b8160018114620003d95760028114620003e45762000404565b600191505062000450565b60ff841115620003f857620003f862000341565b50506001821b62000450565b5060208310610133831016604e8410600b841016171562000429575081810a62000450565b62000435838362000357565b80600019048211156200044c576200044c62000341565b0290505b92915050565b60006200046760ff841683620003a0565b9392505050565b60008160001904831182151516156200048b576200048b62000341565b500290565b60008219821115620004a657620004a662000341565b500190565b600082620004c957634e487b7160e01b600052601260045260246000fd5b500490565b600060208284031215620004e157600080fd5b81516001600160a01b03811681146200046757600080fd5b61131b80620005096000396000f3fe60806040526004361061012e5760003560e01c80636ddd1713116100ab578063a8aa1b311161006f578063a8aa1b3114610373578063a9059cbb14610393578063dd62ed3e146103b3578063e96fada2146103f9578063f1d5f51714610419578063f887ea401461043957600080fd5b80636ddd1713146102a257806370a08231146102c3578063715018a6146102f9578063893d20e81461030e57806395d89b411461034057600080fd5b80632f54bf6e116100f25780632f54bf6e1461020a578063313ce56714610239578063364333f414610255578063571ac8b01461026c5780636c0a24eb1461028c57600080fd5b80630445b6671461013a57806306fdde0314610163578063095ea7b3146101a557806318160ddd146101d557806323b872dd146101ea57600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5061015060105481565b6040519081526020015b60405180910390f35b34801561016f57600080fd5b5060408051808201909152601081526f283cba3430b3b7b930b9902a37b5b2b760811b60208201525b60405161015a9190611047565b3480156101b157600080fd5b506101c56101c03660046110b1565b610459565b604051901515815260200161015a565b3480156101e157600080fd5b50600354610150565b3480156101f657600080fd5b506101c56102053660046110dd565b6104c6565b34801561021657600080fd5b506101c561022536600461111e565b6000546001600160a01b0391821691161490565b34801561024557600080fd5b506040516009815260200161015a565b34801561026157600080fd5b5061026a610588565b005b34801561027857600080fd5b506101c561028736600461111e565b6105c4565b34801561029857600080fd5b5061015060045481565b3480156102ae57600080fd5b50600f546101c590600160a01b900460ff1681565b3480156102cf57600080fd5b506101506102de36600461111e565b6001600160a01b031660009081526005602052604090205490565b34801561030557600080fd5b5061026a6105d2565b34801561031a57600080fd5b506000546001600160a01b03165b6040516001600160a01b03909116815260200161015a565b34801561034c57600080fd5b5060408051808201909152600a8152695079746861676f72617360b01b6020820152610198565b34801561037f57600080fd5b50600f54610328906001600160a01b031681565b34801561039f57600080fd5b506101c56103ae3660046110b1565b61065f565b3480156103bf57600080fd5b506101506103ce36600461113b565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561040557600080fd5b50600d54610328906001600160a01b031681565b34801561042557600080fd5b5061026a610434366004611174565b61066c565b34801561044557600080fd5b50600e54610328906001600160a01b031681565b3360008181526006602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104b49086815260200190565b60405180910390a35060015b92915050565b6001600160a01b038316600090815260066020908152604080832033845290915281205460001914610573576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b038716600090815260068252838120338252909152919091205461054e9184906106d0565b6001600160a01b03851660009081526006602090815260408083203384529091529020555b61057e84848461070a565b90505b9392505050565b600d546040516001600160a01b03909116904780156108fc02916000818181858888f193505050501580156105c1573d6000803e3d6000fd5b50565b60006104c082600019610459565b6000546001600160a01b0316331461061a5760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064015b60405180910390fd5b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b600061058133848461070a565b6000546001600160a01b031633146106af5760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b6044820152606401610611565b6103e8816003546106c091906111a3565b6106ca91906111c2565b60045550565b600081848411156106f45760405162461bcd60e51b81526004016106119190611047565b50600061070184866111e4565b95945050505050565b60115460009060ff161561072a57610723848484610934565b9050610581565b600f546001600160a01b0384811691161480159061075657506002546001600160a01b03848116911614155b15610801576001600160a01b03831660009081526008602052604090205460ff16806107a757506004546001600160a01b0384166000908152600560205260409020546107a49084906111fb565b11155b6108015760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610611565b610809610a1a565b1561081657610816610a72565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0387166000908152600590915291909120546108689184906106d0565b6001600160a01b038516600090815260056020908152604080832093909355600790529081205460ff161561089d57826108a7565b6108a78584610e0e565b6001600160a01b0385166000908152600560205260409020549091506108cd9082610eb4565b6001600160a01b0380861660008181526005602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109219085815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526005909152918220546109859184906106d0565b6001600160a01b0380861660009081526005602052604080822093909355908516815220546109b49083610eb4565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a089086815260200190565b60405180910390a35060019392505050565b600f546000906001600160a01b03163314801590610a3b575060115460ff16155b8015610a505750600f54600160a01b900460ff165b8015610a6d57506010543060009081526005602052604090205410155b905090565b6011805460ff19166001179055601054600b54600954600091610aa591600291610a9f9182908790610f13565b90610f95565b90506000610ab38383610fd7565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610aed57610aed611213565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610b46573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b6a9190611229565b81600181518110610b7d57610b7d611213565b6001600160a01b039283166020918202929092010152600e5460405163791ac94760e01b81524792919091169063791ac94790610bc7908690600090879030904290600401611246565b600060405180830381600087803b158015610be157600080fd5b505af1158015610bf5573d6000803e3d6000fd5b505050506000610c0e8247610fd790919063ffffffff16565b90506000610c34610c2b6002600954610f9590919063ffffffff16565b600b5490610fd7565b90506000610c566002610a9f84610a9f60095488610f1390919063ffffffff16565b90506000610c7383610a9f600a5487610f1390919063ffffffff16565b600d546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610cca576040519150601f19603f3d011682016040523d82523d6000602084013e610ccf565b606091505b5050905080610d205760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e7366657200006044820152606401610611565b8815610df857600e54600d5460405163f305d71960e01b8152306004820152602481018c905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990859060c40160606040518083038185885af1158015610d96573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610dbb91906112b7565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506011805460ff191690555050505050505050565b600080610e2c600c54610a9f600b5486610f1390919063ffffffff16565b30600090815260056020526040902054909150610e499082610eb4565b30600081815260056020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e9a9085815260200190565b60405180910390a3610eac8382610fd7565b949350505050565b600080610ec183856111fb565b9050838110156105815760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610611565b600082600003610f25575060006104c0565b6000610f3183856111a3565b905082610f3e85836111c2565b146105815760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610611565b600061058183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611019565b600061058183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506106d0565b6000818361103a5760405162461bcd60e51b81526004016106119190611047565b50600061070184866111c2565b600060208083528351808285015260005b8181101561107457858101830151858201604001528201611058565b81811115611086576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b03811681146105c157600080fd5b600080604083850312156110c457600080fd5b82356110cf8161109c565b946020939093013593505050565b6000806000606084860312156110f257600080fd5b83356110fd8161109c565b9250602084013561110d8161109c565b929592945050506040919091013590565b60006020828403121561113057600080fd5b81356105818161109c565b6000806040838503121561114e57600080fd5b82356111598161109c565b915060208301356111698161109c565b809150509250929050565b60006020828403121561118657600080fd5b5035919050565b634e487b7160e01b600052601160045260246000fd5b60008160001904831182151516156111bd576111bd61118d565b500290565b6000826111df57634e487b7160e01b600052601260045260246000fd5b500490565b6000828210156111f6576111f661118d565b500390565b6000821982111561120e5761120e61118d565b500190565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561123b57600080fd5b81516105818161109c565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156112965784516001600160a01b031683529383019391830191600101611271565b50506001600160a01b03969096166060850152505050608001529392505050565b6000806000606084860312156112cc57600080fd5b835192506020840151915060408401519050925092509256fea26469706673582212209fb6f90401437e01da204aa70d92258804b18b9c883a3f827a008c90099512ef64736f6c634300080f0033

0x60806040526004361061012e5760003560e01c80636ddd1713116100ab578063a8aa1b311161006f578063a8aa1b3114610373578063a9059cbb14610393578063dd62ed3e146103b3578063e96fada2146103f9578063f1d5f51714610419578063f887ea401461043957600080fd5b80636ddd1713146102a257806370a08231146102c3578063715018a6146102f9578063893d20e81461030e57806395d89b411461034057600080fd5b80632f54bf6e116100f25780632f54bf6e1461020a578063313ce56714610239578063364333f414610255578063571ac8b01461026c5780636c0a24eb1461028c57600080fd5b80630445b6671461013a57806306fdde0314610163578063095ea7b3146101a557806318160ddd146101d557806323b872dd146101ea57600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5061015060105481565b6040519081526020015b60405180910390f35b34801561016f57600080fd5b5060408051808201909152601081526f283cba3430b3b7b930b9902a37b5b2b760811b60208201525b60405161015a9190611047565b3480156101b157600080fd5b506101c56101c03660046110b1565b610459565b604051901515815260200161015a565b3480156101e157600080fd5b50600354610150565b3480156101f657600080fd5b506101c56102053660046110dd565b6104c6565b34801561021657600080fd5b506101c561022536600461111e565b6000546001600160a01b0391821691161490565b34801561024557600080fd5b506040516009815260200161015a565b34801561026157600080fd5b5061026a610588565b005b34801561027857600080fd5b506101c561028736600461111e565b6105c4565b34801561029857600080fd5b5061015060045481565b3480156102ae57600080fd5b50600f546101c590600160a01b900460ff1681565b3480156102cf57600080fd5b506101506102de36600461111e565b6001600160a01b031660009081526005602052604090205490565b34801561030557600080fd5b5061026a6105d2565b34801561031a57600080fd5b506000546001600160a01b03165b6040516001600160a01b03909116815260200161015a565b34801561034c57600080fd5b5060408051808201909152600a8152695079746861676f72617360b01b6020820152610198565b34801561037f57600080fd5b50600f54610328906001600160a01b031681565b34801561039f57600080fd5b506101c56103ae3660046110b1565b61065f565b3480156103bf57600080fd5b506101506103ce36600461113b565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561040557600080fd5b50600d54610328906001600160a01b031681565b34801561042557600080fd5b5061026a610434366004611174565b61066c565b34801561044557600080fd5b50600e54610328906001600160a01b031681565b3360008181526006602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104b49086815260200190565b60405180910390a35060015b92915050565b6001600160a01b038316600090815260066020908152604080832033845290915281205460001914610573576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b038716600090815260068252838120338252909152919091205461054e9184906106d0565b6001600160a01b03851660009081526006602090815260408083203384529091529020555b61057e84848461070a565b90505b9392505050565b600d546040516001600160a01b03909116904780156108fc02916000818181858888f193505050501580156105c1573d6000803e3d6000fd5b50565b60006104c082600019610459565b6000546001600160a01b0316331461061a5760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064015b60405180910390fd5b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b600061058133848461070a565b6000546001600160a01b031633146106af5760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b6044820152606401610611565b6103e8816003546106c091906111a3565b6106ca91906111c2565b60045550565b600081848411156106f45760405162461bcd60e51b81526004016106119190611047565b50600061070184866111e4565b95945050505050565b60115460009060ff161561072a57610723848484610934565b9050610581565b600f546001600160a01b0384811691161480159061075657506002546001600160a01b03848116911614155b15610801576001600160a01b03831660009081526008602052604090205460ff16806107a757506004546001600160a01b0384166000908152600560205260409020546107a49084906111fb565b11155b6108015760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610611565b610809610a1a565b1561081657610816610a72565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0387166000908152600590915291909120546108689184906106d0565b6001600160a01b038516600090815260056020908152604080832093909355600790529081205460ff161561089d57826108a7565b6108a78584610e0e565b6001600160a01b0385166000908152600560205260409020549091506108cd9082610eb4565b6001600160a01b0380861660008181526005602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109219085815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526005909152918220546109859184906106d0565b6001600160a01b0380861660009081526005602052604080822093909355908516815220546109b49083610eb4565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a089086815260200190565b60405180910390a35060019392505050565b600f546000906001600160a01b03163314801590610a3b575060115460ff16155b8015610a505750600f54600160a01b900460ff165b8015610a6d57506010543060009081526005602052604090205410155b905090565b6011805460ff19166001179055601054600b54600954600091610aa591600291610a9f9182908790610f13565b90610f95565b90506000610ab38383610fd7565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610aed57610aed611213565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610b46573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b6a9190611229565b81600181518110610b7d57610b7d611213565b6001600160a01b039283166020918202929092010152600e5460405163791ac94760e01b81524792919091169063791ac94790610bc7908690600090879030904290600401611246565b600060405180830381600087803b158015610be157600080fd5b505af1158015610bf5573d6000803e3d6000fd5b505050506000610c0e8247610fd790919063ffffffff16565b90506000610c34610c2b6002600954610f9590919063ffffffff16565b600b5490610fd7565b90506000610c566002610a9f84610a9f60095488610f1390919063ffffffff16565b90506000610c7383610a9f600a5487610f1390919063ffffffff16565b600d546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610cca576040519150601f19603f3d011682016040523d82523d6000602084013e610ccf565b606091505b5050905080610d205760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e7366657200006044820152606401610611565b8815610df857600e54600d5460405163f305d71960e01b8152306004820152602481018c905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990859060c40160606040518083038185885af1158015610d96573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610dbb91906112b7565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506011805460ff191690555050505050505050565b600080610e2c600c54610a9f600b5486610f1390919063ffffffff16565b30600090815260056020526040902054909150610e499082610eb4565b30600081815260056020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e9a9085815260200190565b60405180910390a3610eac8382610fd7565b949350505050565b600080610ec183856111fb565b9050838110156105815760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610611565b600082600003610f25575060006104c0565b6000610f3183856111a3565b905082610f3e85836111c2565b146105815760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610611565b600061058183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611019565b600061058183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506106d0565b6000818361103a5760405162461bcd60e51b81526004016106119190611047565b50600061070184866111c2565b600060208083528351808285015260005b8181101561107457858101830151858201604001528201611058565b81811115611086576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b03811681146105c157600080fd5b600080604083850312156110c457600080fd5b82356110cf8161109c565b946020939093013593505050565b6000806000606084860312156110f257600080fd5b83356110fd8161109c565b9250602084013561110d8161109c565b929592945050506040919091013590565b60006020828403121561113057600080fd5b81356105818161109c565b6000806040838503121561114e57600080fd5b82356111598161109c565b915060208301356111698161109c565b809150509250929050565b60006020828403121561118657600080fd5b5035919050565b634e487b7160e01b600052601160045260246000fd5b60008160001904831182151516156111bd576111bd61118d565b500290565b6000826111df57634e487b7160e01b600052601260045260246000fd5b500490565b6000828210156111f6576111f661118d565b500390565b6000821982111561120e5761120e61118d565b500190565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561123b57600080fd5b81516105818161109c565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156112965784516001600160a01b031683529383019391830191600101611271565b50506001600160a01b03969096166060850152505050608001529392505050565b6000806000606084860312156112cc57600080fd5b835192506020840151915060408401519050925092509256fea26469706673582212209fb6f90401437e01da204aa70d92258804b18b9c883a3f827a008c90099512ef64736f6c634300080f0033

4115:7377:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5127:56;;;;;;;;;;;;;;;;;;;160:25:1;;;148:2;133:18;5127:56:0;;;;;;;;6093:80;;;;;;;;;;-1:-1:-1;6165:5:0;;;;;;;;;;;;-1:-1:-1;;;6165:5:0;;;;6093:80;;;;;;;:::i;6515:216::-;;;;;;;;;;-1:-1:-1;6515:216:0;;;;;:::i;:::-;;:::i;:::-;;;1419:14:1;;1412:22;1394:41;;1382:2;1367:18;6515:216:0;1254:187:1;5823:88:0;;;;;;;;;;-1:-1:-1;5896:12:0;;5823:88;;7033:370;;;;;;;;;;-1:-1:-1;7033:370:0;;;;;:::i;:::-;;:::i;2353:103::-;;;;;;;;;;-1:-1:-1;2353:103:0;;;;;:::i;:::-;2408:4;2443:5;-1:-1:-1;;;;;2432:16:0;;;2443:5;;2432:16;;2353:103;5917:80;;;;;;;;;;-1:-1:-1;5917:80:0;;4452:1;2301:36:1;;2289:2;2274:18;5917:80:0;2159:184:1;11153:118:0;;;;;;;;;;;;;:::i;:::-;;6739:122;;;;;;;;;;-1:-1:-1;6739:122:0;;;;;:::i;:::-;;:::i;4525:46::-;;;;;;;;;;;;;;;;5090:30;;;;;;;;;;-1:-1:-1;5090:30:0;;;;-1:-1:-1;;;5090:30:0;;;;;;6263:105;;;;;;;;;;-1:-1:-1;6263:105:0;;;;;:::i;:::-;-1:-1:-1;;;;;6347:18:0;6329:7;6347:18;;;:9;:18;;;;;;;6263:105;2462:131;;;;;;;;;;;;;:::i;6179:78::-;;;;;;;;;;-1:-1:-1;6231:7:0;6249:5;-1:-1:-1;;;;;6249:5:0;6179:78;;;-1:-1:-1;;;;;2512:32:1;;;2494:51;;2482:2;2467:18;6179:78:0;2348:203:1;6003:84:0;;;;;;;;;;-1:-1:-1;6077:7:0;;;;;;;;;;;;-1:-1:-1;;;6077:7:0;;;;6003:84;;5062:19;;;;;;;;;;-1:-1:-1;5062:19:0;;;;-1:-1:-1;;;;;5062:19:0;;;6869:156;;;;;;;;;;-1:-1:-1;6869:156:0;;;;;:::i;:::-;;:::i;6374:133::-;;;;;;;;;;-1:-1:-1;6374:133:0;;;;;:::i;:::-;-1:-1:-1;;;;;6476:19:0;;;6458:7;6476:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;6374:133;4942:80;;;;;;;;;;-1:-1:-1;4942:80:0;;;;-1:-1:-1;;;;;4942:80:0;;;11279:142;;;;;;;;;;-1:-1:-1;11279:142:0;;;;;:::i;:::-;;:::i;5031:24::-;;;;;;;;;;-1:-1:-1;5031:24:0;;;;-1:-1:-1;;;;;5031:24:0;;;6515:216;6619:10;6590:4;6607:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;6607:32:0;;;;;;;;;;:41;;;6664:37;6590:4;;6607:32;;6664:37;;;;6642:6;160:25:1;;148:2;133:18;;14:177;6664:37:0;;;;;;;;-1:-1:-1;6719:4:0;6515:216;;;;;:::o;7033:370::-;-1:-1:-1;;;;;7153:19:0;;7133:4;7153:19;;;:11;:19;;;;;;;;7173:10;7153:31;;;;;;;;-1:-1:-1;;7153:52:0;7150:186;;7255:69;;;;;;;;;;;-1:-1:-1;;;7255:69:0;;;;;;;;-1:-1:-1;;;;;7255:19:0;;-1:-1:-1;7255:19:0;;;:11;:19;;;;;7275:10;7255:31;;;;;;;;;;:69;;7291:6;;7255:35;:69::i;:::-;-1:-1:-1;;;;;7221:19:0;;;;;;:11;:19;;;;;;;;7241:10;7221:31;;;;;;;:103;7150:186;7355:40;7369:6;7377:9;7388:6;7355:13;:40::i;:::-;7348:47;;7033:370;;;;;;:::o;11153:118::-;11210:20;;11202:61;;-1:-1:-1;;;;;11210:20:0;;;;11241:21;11202:61;;;;;11210:20;11202:61;11210:20;11202:61;11241:21;11210:20;11202:61;;;;;;;;;;;;;;;;;;;;;11153:118::o;6739:122::-;6794:4;6818:35;6826:7;-1:-1:-1;;6818:7:0;:35::i;2462:131::-;2408:4;2443:5;-1:-1:-1;;;;;2443:5:0;2314:10;2432:16;2298:38;;;;-1:-1:-1;;;2298:38:0;;3562:2:1;2298:38:0;;;3544:21:1;3601:1;3581:18;;;3574:29;-1:-1:-1;;;3619:18:1;;;3612:36;3665:18;;2298:38:0;;;;;;;;;2535:1:::1;2519:18:::0;;-1:-1:-1;;;;;;2519:18:0::1;::::0;;2553:32:::1;::::0;2494:51:1;;;2553:32:0::1;::::0;2482:2:1;2467:18;2553:32:0::1;;;;;;;2462:131::o:0;6869:156::-;6949:4;6973:44;6987:10;6999:9;7010:6;6973:13;:44::i;11279:142::-;2408:4;2443:5;-1:-1:-1;;;;;2443:5:0;2314:10;2432:16;2298:38;;;;-1:-1:-1;;;2298:38:0;;3562:2:1;2298:38:0;;;3544:21:1;3601:1;3581:18;;;3574:29;-1:-1:-1;;;3619:18:1;;;3612:36;3665:18;;2298:38:0;3360:329:1;2298:38:0;11409:4:::1;11391:13;11376:12;;:28;;;;:::i;:::-;11375:38;;;;:::i;:::-;11356:16;:57:::0;-1:-1:-1;11279:142:0:o;442:190::-;528:7;564:12;556:6;;;;548:29;;;;-1:-1:-1;;;548:29:0;;;;;;;;:::i;:::-;-1:-1:-1;588:9:0;600:5;604:1;600;:5;:::i;:::-;588:17;442:190;-1:-1:-1;;;;;442:190:0:o;7411:792::-;7523:6;;7503:4;;7523:6;;7520:63;;;7539:41;7554:6;7562:9;7573:6;7539:14;:41::i;:::-;7532:48;;;;7520:63;7620:4;;-1:-1:-1;;;;;7607:17:0;;;7620:4;;7607:17;;;;:38;;-1:-1:-1;7641:4:0;;-1:-1:-1;;;;;7628:17:0;;;7641:4;;7628:17;;7607:38;7603:200;;;-1:-1:-1;;;;;7670:26:0;;;;;;:15;:26;;;;;;;;;:79;;-1:-1:-1;7733:16:0;;-1:-1:-1;;;;;7700:20:0;;;;;;:9;:20;;;;;;:29;;7723:6;;7700:29;:::i;:::-;:49;;7670:79;7662:129;;;;-1:-1:-1;;;7662:129:0;;4686:2:1;7662:129:0;;;4668:21:1;4725:2;4705:18;;;4698:30;4764:34;4744:18;;;4737:62;-1:-1:-1;;;4815:18:1;;;4808:35;4860:19;;7662:129:0;4484:401:1;7662:129:0;7826:16;:14;:16::i;:::-;7823:35;;;7845:10;:8;:10::i;:::-;7891:53;;;;;;;;;;;-1:-1:-1;;;7891:53:0;;;;;;;;-1:-1:-1;;;;;7891:17:0;;-1:-1:-1;7891:17:0;;;:9;:17;;;;;;;;:53;;7913:6;;7891:21;:53::i;:::-;-1:-1:-1;;;;;7871:17:0;;;;;;:9;:17;;;;;;;;:73;;;;8640:11;:19;;;;;;;;8639:20;7982:56;;8032:6;7982:56;;;8006:23;8014:6;8022;8006:7;:23::i;:::-;-1:-1:-1;;;;;8072:20:0;;;;;;:9;:20;;;;;;7957:81;;-1:-1:-1;8072:40:0;;7957:81;8072:24;:40::i;:::-;-1:-1:-1;;;;;8049:20:0;;;;;;;:9;:20;;;;;;;:63;;;;8130:43;;;;;;;;;;8158:14;160:25:1;;148:2;133:18;;14:177;8130:43:0;;;;;;;;-1:-1:-1;8191:4:0;;7411:792;-1:-1:-1;;;;7411:792:0:o;8215:330::-;8345:53;;;;;;;;;;;-1:-1:-1;;;8345:53:0;;;;;;;;-1:-1:-1;;;;;8345:17:0;;8308:4;8345:17;;;:9;:17;;;;;;;:53;;8367:6;;8345:21;:53::i;:::-;-1:-1:-1;;;;;8325:17:0;;;;;;;:9;:17;;;;;;:73;;;;8432:20;;;;;;;:32;;8457:6;8432:24;:32::i;:::-;-1:-1:-1;;;;;8409:20:0;;;;;;;:9;:20;;;;;;;:55;;;;8480:35;;;;;;;;;;8508:6;160:25:1;;148:2;133:18;;14:177;8480:35:0;;;;;;;;-1:-1:-1;8533:4:0;8215:330;;;;;:::o;9012:197::-;9099:4;;9061;;-1:-1:-1;;;;;9099:4:0;9085:10;:18;;;;:38;;-1:-1:-1;9117:6:0;;;;9116:7;9085:38;:62;;;;-1:-1:-1;9136:11:0;;-1:-1:-1;;;9136:11:0;;;;9085:62;:116;;;;-1:-1:-1;9188:13:0;;9178:4;9160:24;;;;:9;:24;;;;;;:41;;9085:116;9078:123;;9012:197;:::o;9217:1550::-;5230:6;:13;;-1:-1:-1;;5230:13:0;5239:4;5230:13;;;9297::::1;::::0;9390:8:::1;::::0;9372:12:::1;::::0;5230:6;;9347:59:::1;::::0;9404:1:::1;::::0;9347:52:::1;::::0;;;9297:13;;9347:24:::1;:38::i;:::-;:42:::0;::::1;:52::i;:59::-;9321:85:::0;-1:-1:-1;9417:20:0::1;9440:41;:20:::0;9321:85;9440:24:::1;:41::i;:::-;9518:16;::::0;;9532:1:::1;9518:16:::0;;;;;::::1;::::0;;9417:64;;-1:-1:-1;9494:21:0::1;::::0;9518:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9518:16:0::1;9494:40;;9563:4;9545;9550:1;9545:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9545:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9589:6:::1;::::0;:13:::1;::::0;;-1:-1:-1;;;9589:13:0;;;;:6;;;::::1;::::0;:11:::1;::::0;:13:::1;::::0;;::::1;::::0;9545:7;;9589:13;;;;;:6;:13:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9579:4;9584:1;9579:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9579:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;:23;9673:6:::1;::::0;:188:::1;::::0;-1:-1:-1;;;9673:188:0;;9639:21:::1;::::0;9673:6;;;::::1;::::0;:57:::1;::::0;:188:::1;::::0;9745:12;;9615:21:::1;::::0;9788:4;;9815::::1;::::0;9835:15:::1;::::0;9673:188:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;9872:17;9892:40;9918:13;9892:21;:25;;:40;;;;:::i;:::-;9872:60;;9943:19;9965:33;9978:19;9995:1;9978:12;;:16;;:19;;;;:::i;:::-;9965:8;::::0;;:12:::1;:33::i;:::-;9943:55;;10009:26;10038:51;10087:1;10038:44;10070:11;10038:27;10052:12;;10038:9;:13;;:27;;;;:::i;:51::-;10009:80;;10100:26;10129:44;10161:11;10129:27;10143:12;;10129:9;:13;;:27;;;;:::i;:44::-;10247:20;::::0;10239:77:::1;::::0;10100:73;;-1:-1:-1;10189:21:0::1;::::0;-1:-1:-1;;;;;10247:20:0;;::::1;::::0;10306:5:::1;::::0;10100:73;;10189:21;10239:77;10189:21;10239:77;10100:73;10247:20;10306:5;10239:77:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10188:128;;;10335:16;10327:59;;;::::0;-1:-1:-1;;;10327:59:0;;6807:2:1;10327:59:0::1;::::0;::::1;6789:21:1::0;6846:2;6826:18;;;6819:30;6885:32;6865:18;;;6858:60;6935:18;;10327:59:0::1;6605:354:1::0;10327:59:0::1;10402:19:::0;;10399:361:::1;;10437:6;::::0;10611:20:::1;::::0;10437:243:::1;::::0;-1:-1:-1;;;10437:243:0;;10513:4:::1;10437:243;::::0;::::1;7305:34:1::0;7355:18;;;7348:34;;;10437:6:0::1;7398:18:1::0;;;7391:34;;;7441:18;;;7434:34;-1:-1:-1;;;;;10611:20:0;;::::1;7484:19:1::0;;;7477:44;10650:15:0::1;7537:19:1::0;;;7530:35;10437:6:0;::::1;::::0;:22:::1;::::0;10467:18;;7239:19:1;;10437:243:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10700:48:0::1;::::0;;8061:25:1;;;8117:2;8102:18;;8095:34;;;10700:48:0::1;::::0;-1:-1:-1;8034:18:1;10700:48:0::1;;;;;;;10399:361;-1:-1:-1::0;;5248:6:0;:14;;-1:-1:-1;;5248:14:0;;;-1:-1:-1;;;;;;;;9217:1550:0:o;8675:329::-;8742:7;8762:17;8782:40;8807:14;;8782:20;8793:8;;8782:6;:10;;:20;;;;:::i;:40::-;8878:4;8860:24;;;;:9;:24;;;;;;8762:60;;-1:-1:-1;8860:39:0;;8762:60;8860:28;:39::i;:::-;8851:4;8833:24;;;;:9;:24;;;;;;;:66;;;;8915:42;;-1:-1:-1;;;;;8915:42:0;;;;;;;8947:9;160:25:1;;148:2;133:18;;14:177;8915:42:0;;;;;;;;8975:21;:6;8986:9;8975:10;:21::i;:::-;8968:28;8675:329;-1:-1:-1;;;;8675:329:0:o;115:179::-;173:7;;205:5;209:1;205;:5;:::i;:::-;193:17;;234:1;229;:6;;221:46;;;;-1:-1:-1;;;221:46:0;;8342:2:1;221:46:0;;;8324:21:1;8381:2;8361:18;;;8354:30;8420:29;8400:18;;;8393:57;8467:18;;221:46:0;8140:351:1;638:246:0;696:7;720:1;725;720:6;716:47;;-1:-1:-1;750:1:0;743:8;;716:47;773:9;785:5;789:1;785;:5;:::i;:::-;773:17;-1:-1:-1;818:1:0;809:5;813:1;773:17;809:5;:::i;:::-;:10;801:56;;;;-1:-1:-1;;;801:56:0;;8698:2:1;801:56:0;;;8680:21:1;8737:2;8717:18;;;8710:30;8776:34;8756:18;;;8749:62;-1:-1:-1;;;8827:18:1;;;8820:31;8868:19;;801:56:0;8496:397:1;890:132:0;948:7;975:39;979:1;982;975:39;;;;;;;;;;;;;;;;;:3;:39::i;300:136::-;358:7;385:43;389:1;392;385:43;;;;;;;;;;;;;;;;;:3;:43::i;1028:189::-;1114:7;1149:12;1142:5;1134:28;;;;-1:-1:-1;;;1134:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1173:9:0;1185:5;1189:1;1185;:5;:::i;196:597: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;;;634:6;631:1;628:13;625:91;;;704:1;699:2;690:6;679:9;675:22;671:31;664:42;625:91;-1:-1:-1;777:2:1;756:15;-1:-1:-1;;752:29:1;737:45;;;;784:2;733:54;;196:597;-1:-1:-1;;;196:597:1:o;798:131::-;-1:-1:-1;;;;;873:31:1;;863:42;;853:70;;919:1;916;909:12;934:315;1002:6;1010;1063:2;1051:9;1042:7;1038:23;1034:32;1031:52;;;1079:1;1076;1069:12;1031:52;1118:9;1105:23;1137:31;1162:5;1137:31;:::i;:::-;1187:5;1239:2;1224:18;;;;1211:32;;-1:-1:-1;;;934:315:1:o;1446:456::-;1523:6;1531;1539;1592:2;1580:9;1571:7;1567:23;1563:32;1560:52;;;1608:1;1605;1598:12;1560:52;1647:9;1634:23;1666:31;1691:5;1666:31;:::i;:::-;1716:5;-1:-1:-1;1773:2:1;1758:18;;1745:32;1786:33;1745:32;1786:33;:::i;:::-;1446:456;;1838:7;;-1:-1:-1;;;1892:2:1;1877:18;;;;1864:32;;1446:456::o;1907:247::-;1966:6;2019:2;2007:9;1998:7;1994:23;1990:32;1987:52;;;2035:1;2032;2025:12;1987:52;2074:9;2061:23;2093:31;2118:5;2093:31;:::i;2556:388::-;2624:6;2632;2685:2;2673:9;2664:7;2660:23;2656:32;2653:52;;;2701:1;2698;2691:12;2653:52;2740:9;2727:23;2759:31;2784:5;2759:31;:::i;:::-;2809:5;-1:-1:-1;2866:2:1;2851:18;;2838:32;2879:33;2838:32;2879:33;:::i;:::-;2931:7;2921:17;;;2556:388;;;;;:::o;2949:180::-;3008:6;3061:2;3049:9;3040:7;3036:23;3032:32;3029:52;;;3077:1;3074;3067:12;3029:52;-1:-1:-1;3100:23:1;;2949:180;-1:-1:-1;2949:180:1:o;3694:127::-;3755:10;3750:3;3746:20;3743:1;3736:31;3786:4;3783:1;3776:15;3810:4;3807:1;3800:15;3826:168;3866:7;3932:1;3928;3924:6;3920:14;3917:1;3914:21;3909:1;3902:9;3895:17;3891:45;3888:71;;;3939:18;;:::i;:::-;-1:-1:-1;3979:9:1;;3826:168::o;3999:217::-;4039:1;4065;4055:132;;4109:10;4104:3;4100:20;4097:1;4090:31;4144:4;4141:1;4134:15;4172:4;4169:1;4162:15;4055:132;-1:-1:-1;4201:9:1;;3999:217::o;4221:125::-;4261:4;4289:1;4286;4283:8;4280:34;;;4294:18;;:::i;:::-;-1:-1:-1;4331:9:1;;4221:125::o;4351:128::-;4391:3;4422:1;4418:6;4415:1;4412:13;4409:39;;;4428:18;;:::i;:::-;-1:-1:-1;4464:9:1;;4351:128::o;5022:127::-;5083:10;5078:3;5074:20;5071:1;5064:31;5114:4;5111:1;5104:15;5138:4;5135:1;5128:15;5154:251;5224:6;5277:2;5265:9;5256:7;5252:23;5248:32;5245:52;;;5293:1;5290;5283:12;5245:52;5325:9;5319:16;5344:31;5369:5;5344:31;:::i;5410:980::-;5672:4;5720:3;5709:9;5705:19;5751:6;5740:9;5733:25;5777:2;5815:6;5810:2;5799:9;5795:18;5788:34;5858:3;5853:2;5842:9;5838:18;5831:31;5882:6;5917;5911:13;5948:6;5940;5933:22;5986:3;5975:9;5971:19;5964:26;;6025:2;6017:6;6013:15;5999:29;;6046:1;6056:195;6070:6;6067:1;6064:13;6056:195;;;6135:13;;-1:-1:-1;;;;;6131:39:1;6119:52;;6226:15;;;;6191:12;;;;6167:1;6085:9;6056:195;;;-1:-1:-1;;;;;;;6307:32:1;;;;6302:2;6287:18;;6280:60;-1:-1:-1;;;6371:3:1;6356:19;6349:35;6268:3;5410:980;-1:-1:-1;;;5410:980:1:o;7576:306::-;7664:6;7672;7680;7733:2;7721:9;7712:7;7708:23;7704:32;7701:52;;;7749:1;7746;7739:12;7701:52;7778:9;7772:16;7762:26;;7828:2;7817:9;7813:18;7807:25;7797:35;;7872:2;7861:9;7857:18;7851:25;7841:35;;7576:306;;;;;:::o

ipfs://9fb6f90401437e01da204aa70d92258804b18b9c883a3f827a008c90099512ef