Token

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 mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)    - function tryAdd(uint256 a, uint256 b)    - function trySub(uint256 a, uint256 b)    - function tryMul(uint256 a, uint256 b)    - function tryDiv(uint256 a, uint256 b)    - function tryMod(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function div(uint256 a, uint256 b, st ...    - function mod(uint256 a, uint256 b, st ... interface IERC20    - 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 transferOwnership(address pa ... interface IFactory    - function createPair(address tokenA, a ...    - function getPair(address tokenA, addr ... interface IRouter    - function factory()    - function WETH()    - function addLiquidityETH(    - function removeLiquidityWithPermit(    - function swapExactETHForTokensSupport ...    - function swapExactTokensForETHSupport ...  contract THOTH is IERC20, Ownable *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function getOwner()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function isCont(address addr)    - function approve(address spender, uin ...    - function getCirculatingSupply()    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address sender, ad ...    - function preTxCheck(address sender, a ...    - function checktradingAllowed(address ...    - function checkMaxWallet(address sende ...    - function swapbackCounters(address sen ...    - function startTrading()    - function shouldTakeFee(address sender ...    - function takeFee(address sender, addr ...    - function getTotalFee(address sender, ...    - function checkTxLimit(address sender, ...    - function shouldSwapBack(address sende ...    - function swapBack(address sender, add ...    - function swapAndLiquify(uint256 token ...    - function addLiquidity(uint256 tokenAm ...    - function swapTokensForETH(uint256 tok ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-09-23
*/

/**
::::::::::: :::    :::  :::::::: ::::::::::: :::    ::: 
    :+:     :+:    :+: :+:    :+:    :+:     :+:    :+: 
    +:+     +:+    +:+ +:+    +:+    +:+     +:+    +:+ 
    +#+     +#++:++#++ +#+    +:+    +#+     +#++:++#++ 
    +#+     +#+    +#+ +#+    +#+    +#+     +#+    +#+ 
    #+#     #+#    #+# #+#    #+#    #+#     #+#    #+# 
    ###     ###    ###  ########     ###     ###    ### 

*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.15;


library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {return a + b;}
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {return a - b;}
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {return a * b;}
    function div(uint256 a, uint256 b) internal pure returns (uint256) {return a / b;}
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {return a % b;}
    
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {uint256 c = a + b; if(c < a) return(false, 0); return(true, c);}}

    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {if(b > a) return(false, 0); return(true, a - b);}}

    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {if (a == 0) return(true, 0); uint256 c = a * b;
        if(c / a != b) return(false, 0); return(true, c);}}

    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {if(b == 0) return(false, 0); return(true, a / b);}}

    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {if(b == 0) return(false, 0); return(true, a % b);}}

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        unchecked{require(b <= a, errorMessage); return a - b;}}

    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        unchecked{require(b > 0, errorMessage); return a / b;}}

    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        unchecked{require(b > 0, errorMessage); return a % b;}}}

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

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 transferOwnership(address payable adr) public onlyOwner {owner = adr; emit OwnershipTransferred(adr);}
    event OwnershipTransferred(address owner);
}

interface IFactory{
        function createPair(address tokenA, address tokenB) external returns (address pair);
        function getPair(address tokenA, address tokenB) external view returns (address pair);
}

interface IRouter {
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);

    function removeLiquidityWithPermit(
        address tokenA,
        address tokenB,
        uint liquidity,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline,
        bool approveMax, uint8 v, bytes32 r, bytes32 s
    ) external returns (uint amountA, uint amountB);

    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 THOTH is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = 'THOTH';
    string private constant _symbol = '$THOTH';
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 100 * 10**9 * (10 ** _decimals);
    uint256 public _maxTxAmount = ( _totalSupply * 150 ) / 10000;
    uint256 public _maxWalletToken = ( _totalSupply * 300 ) / 10000;
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public isFeeExempt;
    IRouter router;
    address public pair;
    bool tradingAllowed = false;
    uint256 liquidityFee = 100;
    uint256 marketingFee = 100;
    uint256 totalFee = 100;
    uint256 sellFee = 100;
    uint256 transferFee = 0;
    uint256 feeDenominator = 10000;
    bool swapEnabled = true;
    uint256 swapTimes;
    bool swapping; 
    uint256 swapThreshold = ( _totalSupply * 400 ) / 100000;
    uint256 _minTokenAmount = ( _totalSupply * 15 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}

    address public constant liquidity_receiver = 0x992C63d2B406B14b9BBC48FC915709f383589b34; 
    address public constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address public constant marketing_receiver = 0x992C63d2B406B14b9BBC48FC915709f383589b34;

    constructor() Ownable(msg.sender) {
        IRouter _router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _pair = IFactory(_router.factory()).createPair(address(this), _router.WETH());
        router = _router;
        pair = _pair;
        isFeeExempt[address(this)] = true;
        isFeeExempt[liquidity_receiver] = true;
        isFeeExempt[marketing_receiver] = true;
        isFeeExempt[msg.sender] = true;
        _balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);
    }

    receive() external payable {}

    function name() public pure returns (string memory) {return _name;}
    function symbol() public pure returns (string memory) {return _symbol;}
    function decimals() public pure returns (uint8) {return _decimals;}
    function totalSupply() public view override returns (uint256) {return _totalSupply;}
    function getOwner() external view override returns (address) { return owner; }
    function balanceOf(address account) public view override returns (uint256) {return _balances[account];}
    function transfer(address recipient, uint256 amount) public override returns (bool) {_transfer(msg.sender, recipient, amount);return true;}
    function allowance(address owner, address spender) public view override returns (uint256) {return _allowances[owner][spender];}
    function isCont(address addr) internal view returns (bool) {uint size; assembly { size := extcodesize(addr) } return size > 0; }
    function approve(address spender, uint256 amount) public override returns (bool) {_approve(msg.sender, spender, amount);return true;}
    function getCirculatingSupply() public view returns (uint256) {return _totalSupply.sub(balanceOf(DEAD)).sub(balanceOf(address(0)));}

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function _transfer(address sender, address recipient, uint256 amount) private {
        preTxCheck(sender, recipient, amount);
        checktradingAllowed(sender, recipient);
        checkMaxWallet(sender, recipient, amount); 
        swapbackCounters(sender, recipient);
        checkTxLimit(sender, recipient, amount); 
        swapBack(sender, recipient, amount);
        _balances[sender] = _balances[sender].sub(amount);
        uint256 amountReceived = shouldTakeFee(sender, recipient) ? takeFee(sender, recipient, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }

    function preTxCheck(address sender, address recipient, uint256 amount) internal view {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount > uint256(0), "Transfer amount must be greater than zero");
        require(amount <= balanceOf(sender),"You are trying to transfer more than your balance");
    }

    function checktradingAllowed(address sender, address recipient) internal view {
        if(!isFeeExempt[sender] && !isFeeExempt[recipient]){require(tradingAllowed, "tradingAllowed");}
    }
    
    function checkMaxWallet(address sender, address recipient, uint256 amount) internal view {
        if(isCont(recipient) && sender != pair && !isCont(sender)){require((_balances[recipient].add(amount)) <= _totalSupply);}
        if(!isFeeExempt[sender] && !isFeeExempt[recipient] && recipient != address(pair) && recipient != address(DEAD)){
            require((_balances[recipient].add(amount)) <= _maxWalletToken, "Exceeds maximum wallet amount.");}
    }

    function swapbackCounters(address sender, address recipient) internal {
        if(recipient == pair && !isFeeExempt[sender]){swapTimes += uint256(1);}
    }

    function startTrading() external onlyOwner {
        tradingAllowed = true; 
    }

    function shouldTakeFee(address sender, address recipient) internal view returns (bool) {
        return !isFeeExempt[sender] && !isFeeExempt[recipient];
    }

    function takeFee(address sender, address recipient, uint256 amount) internal returns (uint256) {
        uint256 feeAmount = amount.div(feeDenominator).mul(getTotalFee(sender, recipient));
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount); 
        return amount.sub(feeAmount);
    }

    function getTotalFee(address sender, address recipient) internal view returns (uint256) {
        if(recipient == pair){return sellFee;}
        if(sender == pair){return totalFee;}
        return transferFee;
    }

    function checkTxLimit(address sender, address recipient, uint256 amount) internal view {
        require(amount <= _maxTxAmount || isFeeExempt[sender] || isFeeExempt[recipient], "TX Limit Exceeded");
    }

    function shouldSwapBack(address sender, address recipient, uint256 amount) internal view returns (bool) {
        bool aboveMin = amount >= _minTokenAmount;
        bool aboveThreshold = balanceOf(address(this)) >= swapThreshold;
        return !swapping && swapEnabled && aboveMin && !isFeeExempt[sender] && recipient == pair && swapTimes >= uint256(3) && aboveThreshold;
    }

    function swapBack(address sender, address recipient, uint256 amount) internal {
        if(shouldSwapBack(sender, recipient, amount)){swapAndLiquify(swapThreshold); swapTimes = 0;}
    }

    function swapAndLiquify(uint256 tokens) private lockTheSwap {
        uint256 denominator = (liquidityFee.add(marketingFee)) * 2;
        uint256 tokensToAddLiquidityWith = tokens.mul(liquidityFee).div(denominator);
        uint256 toSwap = tokens.sub(tokensToAddLiquidityWith);
        uint256 initialBalance = address(this).balance;
        swapTokensForETH(toSwap);
        uint256 deltaBalance = address(this).balance.sub(initialBalance);
        uint256 unitBalance= deltaBalance.div(denominator.sub(liquidityFee));
        uint256 ETHToAddLiquidityWith = unitBalance.mul(liquidityFee);
        if(ETHToAddLiquidityWith > uint256(0)){
            addLiquidity(tokensToAddLiquidityWith, ETHToAddLiquidityWith); }
        uint256 remainingBalance = address(this).balance;
        if(remainingBalance > uint256(0)){
          payable(marketing_receiver).transfer(remainingBalance); }
    }

    function addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(router), tokenAmount);
        router.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            liquidity_receiver,
            block.timestamp);
    }

    function swapTokensForETH(uint256 tokenAmount) private {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = router.WETH();
        _approve(address(this), address(router), tokenAmount);
        router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp);
    }

}

• 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":"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":"DEAD","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getCirculatingSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isFeeExempt","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":"liquidity_receiver","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"marketing_receiver","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":"startTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address payable","name":"adr","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126009600a6200045b565b620000239064174876e80062000473565b60015561271060015460966200003a919062000473565b62000046919062000495565b60025561271060015461012c6200005e919062000473565b6200006a919062000495565b6003556008805460ff60a01b1916905560646009819055600a819055600b819055600c556000600d55612710600e55600f805460ff1916600190811790915554620186a090620000bd9061019062000473565b620000c9919062000495565b601255620186a0600154600f620000e1919062000473565b620000ed919062000495565b601355348015620000fd57600080fd5b50600080546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa15801562000165573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200018b9190620004b8565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001d9573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001ff9190620004b8565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156200024d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002739190620004b8565b600780546001600160a01b038581166001600160a01b0319928316179092556008805492841692909116919091179055306000908152600660209081526040808320805460ff1990811660019081179092557f1a57848cab9b01f046151ac67e0e1bb6780e6260b2e4ddf440b7974f77ac71d78054821683179055338086528386208054909216831790915590546004845282852081905591519182529394507fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050620004e3565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200039d57816000190482111562000381576200038162000346565b808516156200038f57918102915b93841c939080029062000361565b509250929050565b600082620003b65750600162000455565b81620003c55750600062000455565b8160018114620003de5760028114620003e95762000409565b600191505062000455565b60ff841115620003fd57620003fd62000346565b50506001821b62000455565b5060208310610133831016604e8410600b84101617156200042e575081810a62000455565b6200043a83836200035c565b806000190482111562000451576200045162000346565b0290505b92915050565b60006200046c60ff841683620003a5565b9392505050565b600081600019048311821515161562000490576200049062000346565b500290565b600082620004b357634e487b7160e01b600052601260045260246000fd5b500490565b600060208284031215620004cb57600080fd5b81516001600160a01b03811681146200046c57600080fd5b61156d80620004f36000396000f3fe60806040526004361061012e5760003560e01c80635f7bcd70116100ab57806395d89b411161006f57806395d89b4114610362578063a8aa1b3114610391578063a9059cbb146103b1578063dd62ed3e146103d1578063e87655cf146102ba578063f2fde38b1461041757600080fd5b80635f7bcd70146102ba57806370a08231146102e257806378109e54146103185780637d1db4a51461032e578063893d20e81461034457600080fd5b8063293230b8116100f2578063293230b8146102135780632b112e491461022a5780632f54bf6e1461023f578063313ce5671461026e5780633f4218e01461028a57600080fd5b806303fd2a451461013a57806306fdde031461016d578063095ea7b3146101a457806318160ddd146101d457806323b872dd146101f357600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5061015061dead81565b6040516001600160a01b0390911681526020015b60405180910390f35b34801561017957600080fd5b506040805180820190915260058152640a8909ea8960db1b60208201525b6040516101649190611287565b3480156101b057600080fd5b506101c46101bf3660046112f4565b610437565b6040519015158152602001610164565b3480156101e057600080fd5b506001545b604051908152602001610164565b3480156101ff57600080fd5b506101c461020e366004611320565b61044e565b34801561021f57600080fd5b506102286104b7565b005b34801561023657600080fd5b506101e5610514565b34801561024b57600080fd5b506101c461025a366004611361565b6000546001600160a01b0391821691161490565b34801561027a57600080fd5b5060405160098152602001610164565b34801561029657600080fd5b506101c46102a5366004611361565b60066020526000908152604090205460ff1681565b3480156102c657600080fd5b5061015073992c63d2b406b14b9bbc48fc915709f383589b3481565b3480156102ee57600080fd5b506101e56102fd366004611361565b6001600160a01b031660009081526004602052604090205490565b34801561032457600080fd5b506101e560035481565b34801561033a57600080fd5b506101e560025481565b34801561035057600080fd5b506000546001600160a01b0316610150565b34801561036e57600080fd5b50604080518082019091526006815265048a8909ea8960d31b6020820152610197565b34801561039d57600080fd5b50600854610150906001600160a01b031681565b3480156103bd57600080fd5b506101c46103cc3660046112f4565b610585565b3480156103dd57600080fd5b506101e56103ec36600461137e565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205490565b34801561042357600080fd5b50610228610432366004611361565b610592565b6000610444338484610629565b5060015b92915050565b600061045b84848461074d565b6104ad84336104a885604051806060016040528060288152602001611510602891396001600160a01b038a1660009081526005602090815260408083203384529091529020549190610873565b610629565b5060019392505050565b6000546001600160a01b031633146104ff5760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064015b60405180910390fd5b6008805460ff60a01b1916600160a01b179055565b60046020527f17ef568e3e12ab5b9c7254a8d58478811de00f9e6eb34345acd53bf8fd09d3ec5461dead60009081527f42c63635470f1fb1d6d4b6441c413cb435b1ebb6fedd1896dd5e25d1399147dd54600154919261058092909161057a919061089f565b9061089f565b905090565b600061044433848461074d565b6000546001600160a01b031633146105d55760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064016104f6565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b03831661068b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104f6565b6001600160a01b0382166106ec5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104f6565b6001600160a01b0383811660008181526005602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6107588383836108b2565b6107628383610a61565b61076d838383610af6565b6107778383610c41565b610782838383610c98565b61078d838383610d24565b6001600160a01b0383166000908152600460205260409020546107b0908261089f565b6001600160a01b0384166000908152600460205260408120919091556107d68484610d49565b6107e057816107eb565b6107eb848484610d8f565b6001600160a01b0384166000908152600460205260409020549091506108119082610e3c565b6001600160a01b0380851660008181526004602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906108659085815260200190565b60405180910390a350505050565b600081848411156108975760405162461bcd60e51b81526004016104f69190611287565b505050900390565b60006108ab82846113cd565b9392505050565b6001600160a01b0383166109165760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104f6565b6001600160a01b0382166109785760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104f6565b600081116109da5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104f6565b6001600160a01b038316600090815260046020526040902054811115610a5c5760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016104f6565b505050565b6001600160a01b03821660009081526006602052604090205460ff16158015610aa357506001600160a01b03811660009081526006602052604090205460ff16155b15610af257600854600160a01b900460ff16610af25760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016104f6565b5050565b813b15158015610b1457506008546001600160a01b03848116911614155b8015610b1f5750823b155b15610b55576001546001600160a01b038316600090815260046020526040902054610b4a9083610e3c565b1115610b5557600080fd5b6001600160a01b03831660009081526006602052604090205460ff16158015610b9757506001600160a01b03821660009081526006602052604090205460ff16155b8015610bb157506008546001600160a01b03838116911614155b8015610bc857506001600160a01b03821661dead14155b15610a5c576003546001600160a01b038316600090815260046020526040902054610bf39083610e3c565b1115610a5c5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016104f6565b6008546001600160a01b038281169116148015610c7757506001600160a01b03821660009081526006602052604090205460ff16155b15610af257600160106000828254610c8f91906113e4565b90915550505050565b60025481111580610cc157506001600160a01b03831660009081526006602052604090205460ff165b80610ce457506001600160a01b03821660009081526006602052604090205460ff165b610a5c5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104f6565b610d2f838383610e48565b15610a5c57610d3f601254610ee5565b6000601055505050565b6001600160a01b03821660009081526006602052604081205460ff161580156108ab5750506001600160a01b031660009081526006602052604090205460ff1615919050565b600080610db3610d9f8686611006565b600e54610dad908690611051565b9061105d565b30600090815260046020526040902054909150610dd09082610e3c565b30600081815260046020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e219085815260200190565b60405180910390a3610e33838261089f565b95945050505050565b60006108ab82846113e4565b6013546012543060009081526004602052604081205460115491938510159211159060ff16158015610e7c5750600f5460ff165b8015610e855750815b8015610eaa57506001600160a01b03861660009081526006602052604090205460ff16155b8015610ec357506008546001600160a01b038681169116145b8015610ed25750600360105410155b8015610edb5750805b9695505050505050565b6011805460ff19166001179055600a54600954600091610f059190610e3c565b610f109060026113fc565b90506000610f3382610f2d6009548661105d90919063ffffffff16565b90611051565b90506000610f41848361089f565b905047610f4d82611069565b6000610f59478361089f565b90506000610f7c610f756009548861089f90919063ffffffff16565b8390611051565b90506000610f956009548361105d90919063ffffffff16565b90508015610fa757610fa786826111c3565b478015610ff15760405173992c63d2b406b14b9bbc48fc915709f383589b349082156108fc029083906000818181858888f19350505050158015610fef573d6000803e3d6000fd5b505b50506011805460ff1916905550505050505050565b6008546000906001600160a01b03908116908316036110285750600c54610448565b6008546001600160a01b03908116908416036110475750600b54610448565b50600d5492915050565b60006108ab828461141b565b60006108ab82846113fc565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061109e5761109e61143d565b6001600160a01b03928316602091820292909201810191909152600754604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156110f7573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061111b9190611453565b8160018151811061112e5761112e61143d565b6001600160a01b0392831660209182029290920101526007546111549130911684610629565b60075460405163791ac94760e01b81526001600160a01b039091169063791ac9479061118d908590600090869030904290600401611470565b600060405180830381600087803b1580156111a757600080fd5b505af11580156111bb573d6000803e3d6000fd5b505050505050565b6007546111db9030906001600160a01b031684610629565b60075460405163f305d71960e01b815230600482015260248101849052600060448201819052606482015273992c63d2b406b14b9bbc48fc915709f383589b3460848201524260a48201526001600160a01b039091169063f305d71990839060c40160606040518083038185885af115801561125b573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061128091906114e1565b5050505050565b600060208083528351808285015260005b818110156112b457858101830151858201604001528201611298565b818111156112c6576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b03811681146112f157600080fd5b50565b6000806040838503121561130757600080fd5b8235611312816112dc565b946020939093013593505050565b60008060006060848603121561133557600080fd5b8335611340816112dc565b92506020840135611350816112dc565b929592945050506040919091013590565b60006020828403121561137357600080fd5b81356108ab816112dc565b6000806040838503121561139157600080fd5b823561139c816112dc565b915060208301356113ac816112dc565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b6000828210156113df576113df6113b7565b500390565b600082198211156113f7576113f76113b7565b500190565b6000816000190483118215151615611416576114166113b7565b500290565b60008261143857634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561146557600080fd5b81516108ab816112dc565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156114c05784516001600160a01b03168352938301939183019160010161149b565b50506001600160a01b03969096166060850152505050608001529392505050565b6000806000606084860312156114f657600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212207bae9c137ee0687fb410103d65e1411bd69e7cd9abd93e3c37a09f6326442db364736f6c634300080f0033

0x60806040526004361061012e5760003560e01c80635f7bcd70116100ab57806395d89b411161006f57806395d89b4114610362578063a8aa1b3114610391578063a9059cbb146103b1578063dd62ed3e146103d1578063e87655cf146102ba578063f2fde38b1461041757600080fd5b80635f7bcd70146102ba57806370a08231146102e257806378109e54146103185780637d1db4a51461032e578063893d20e81461034457600080fd5b8063293230b8116100f2578063293230b8146102135780632b112e491461022a5780632f54bf6e1461023f578063313ce5671461026e5780633f4218e01461028a57600080fd5b806303fd2a451461013a57806306fdde031461016d578063095ea7b3146101a457806318160ddd146101d457806323b872dd146101f357600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5061015061dead81565b6040516001600160a01b0390911681526020015b60405180910390f35b34801561017957600080fd5b506040805180820190915260058152640a8909ea8960db1b60208201525b6040516101649190611287565b3480156101b057600080fd5b506101c46101bf3660046112f4565b610437565b6040519015158152602001610164565b3480156101e057600080fd5b506001545b604051908152602001610164565b3480156101ff57600080fd5b506101c461020e366004611320565b61044e565b34801561021f57600080fd5b506102286104b7565b005b34801561023657600080fd5b506101e5610514565b34801561024b57600080fd5b506101c461025a366004611361565b6000546001600160a01b0391821691161490565b34801561027a57600080fd5b5060405160098152602001610164565b34801561029657600080fd5b506101c46102a5366004611361565b60066020526000908152604090205460ff1681565b3480156102c657600080fd5b5061015073992c63d2b406b14b9bbc48fc915709f383589b3481565b3480156102ee57600080fd5b506101e56102fd366004611361565b6001600160a01b031660009081526004602052604090205490565b34801561032457600080fd5b506101e560035481565b34801561033a57600080fd5b506101e560025481565b34801561035057600080fd5b506000546001600160a01b0316610150565b34801561036e57600080fd5b50604080518082019091526006815265048a8909ea8960d31b6020820152610197565b34801561039d57600080fd5b50600854610150906001600160a01b031681565b3480156103bd57600080fd5b506101c46103cc3660046112f4565b610585565b3480156103dd57600080fd5b506101e56103ec36600461137e565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205490565b34801561042357600080fd5b50610228610432366004611361565b610592565b6000610444338484610629565b5060015b92915050565b600061045b84848461074d565b6104ad84336104a885604051806060016040528060288152602001611510602891396001600160a01b038a1660009081526005602090815260408083203384529091529020549190610873565b610629565b5060019392505050565b6000546001600160a01b031633146104ff5760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064015b60405180910390fd5b6008805460ff60a01b1916600160a01b179055565b60046020527f17ef568e3e12ab5b9c7254a8d58478811de00f9e6eb34345acd53bf8fd09d3ec5461dead60009081527f42c63635470f1fb1d6d4b6441c413cb435b1ebb6fedd1896dd5e25d1399147dd54600154919261058092909161057a919061089f565b9061089f565b905090565b600061044433848461074d565b6000546001600160a01b031633146105d55760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064016104f6565b600080546001600160a01b0319166001600160a01b0383169081179091556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a150565b6001600160a01b03831661068b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104f6565b6001600160a01b0382166106ec5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104f6565b6001600160a01b0383811660008181526005602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6107588383836108b2565b6107628383610a61565b61076d838383610af6565b6107778383610c41565b610782838383610c98565b61078d838383610d24565b6001600160a01b0383166000908152600460205260409020546107b0908261089f565b6001600160a01b0384166000908152600460205260408120919091556107d68484610d49565b6107e057816107eb565b6107eb848484610d8f565b6001600160a01b0384166000908152600460205260409020549091506108119082610e3c565b6001600160a01b0380851660008181526004602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906108659085815260200190565b60405180910390a350505050565b600081848411156108975760405162461bcd60e51b81526004016104f69190611287565b505050900390565b60006108ab82846113cd565b9392505050565b6001600160a01b0383166109165760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104f6565b6001600160a01b0382166109785760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104f6565b600081116109da5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104f6565b6001600160a01b038316600090815260046020526040902054811115610a5c5760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016104f6565b505050565b6001600160a01b03821660009081526006602052604090205460ff16158015610aa357506001600160a01b03811660009081526006602052604090205460ff16155b15610af257600854600160a01b900460ff16610af25760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016104f6565b5050565b813b15158015610b1457506008546001600160a01b03848116911614155b8015610b1f5750823b155b15610b55576001546001600160a01b038316600090815260046020526040902054610b4a9083610e3c565b1115610b5557600080fd5b6001600160a01b03831660009081526006602052604090205460ff16158015610b9757506001600160a01b03821660009081526006602052604090205460ff16155b8015610bb157506008546001600160a01b03838116911614155b8015610bc857506001600160a01b03821661dead14155b15610a5c576003546001600160a01b038316600090815260046020526040902054610bf39083610e3c565b1115610a5c5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016104f6565b6008546001600160a01b038281169116148015610c7757506001600160a01b03821660009081526006602052604090205460ff16155b15610af257600160106000828254610c8f91906113e4565b90915550505050565b60025481111580610cc157506001600160a01b03831660009081526006602052604090205460ff165b80610ce457506001600160a01b03821660009081526006602052604090205460ff165b610a5c5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104f6565b610d2f838383610e48565b15610a5c57610d3f601254610ee5565b6000601055505050565b6001600160a01b03821660009081526006602052604081205460ff161580156108ab5750506001600160a01b031660009081526006602052604090205460ff1615919050565b600080610db3610d9f8686611006565b600e54610dad908690611051565b9061105d565b30600090815260046020526040902054909150610dd09082610e3c565b30600081815260046020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e219085815260200190565b60405180910390a3610e33838261089f565b95945050505050565b60006108ab82846113e4565b6013546012543060009081526004602052604081205460115491938510159211159060ff16158015610e7c5750600f5460ff165b8015610e855750815b8015610eaa57506001600160a01b03861660009081526006602052604090205460ff16155b8015610ec357506008546001600160a01b038681169116145b8015610ed25750600360105410155b8015610edb5750805b9695505050505050565b6011805460ff19166001179055600a54600954600091610f059190610e3c565b610f109060026113fc565b90506000610f3382610f2d6009548661105d90919063ffffffff16565b90611051565b90506000610f41848361089f565b905047610f4d82611069565b6000610f59478361089f565b90506000610f7c610f756009548861089f90919063ffffffff16565b8390611051565b90506000610f956009548361105d90919063ffffffff16565b90508015610fa757610fa786826111c3565b478015610ff15760405173992c63d2b406b14b9bbc48fc915709f383589b349082156108fc029083906000818181858888f19350505050158015610fef573d6000803e3d6000fd5b505b50506011805460ff1916905550505050505050565b6008546000906001600160a01b03908116908316036110285750600c54610448565b6008546001600160a01b03908116908416036110475750600b54610448565b50600d5492915050565b60006108ab828461141b565b60006108ab82846113fc565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061109e5761109e61143d565b6001600160a01b03928316602091820292909201810191909152600754604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156110f7573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061111b9190611453565b8160018151811061112e5761112e61143d565b6001600160a01b0392831660209182029290920101526007546111549130911684610629565b60075460405163791ac94760e01b81526001600160a01b039091169063791ac9479061118d908590600090869030904290600401611470565b600060405180830381600087803b1580156111a757600080fd5b505af11580156111bb573d6000803e3d6000fd5b505050505050565b6007546111db9030906001600160a01b031684610629565b60075460405163f305d71960e01b815230600482015260248101849052600060448201819052606482015273992c63d2b406b14b9bbc48fc915709f383589b3460848201524260a48201526001600160a01b039091169063f305d71990839060c40160606040518083038185885af115801561125b573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061128091906114e1565b5050505050565b600060208083528351808285015260005b818110156112b457858101830151858201604001528201611298565b818111156112c6576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b03811681146112f157600080fd5b50565b6000806040838503121561130757600080fd5b8235611312816112dc565b946020939093013593505050565b60008060006060848603121561133557600080fd5b8335611340816112dc565b92506020840135611350816112dc565b929592945050506040919091013590565b60006020828403121561137357600080fd5b81356108ab816112dc565b6000806040838503121561139157600080fd5b823561139c816112dc565b915060208301356113ac816112dc565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b6000828210156113df576113df6113b7565b500390565b600082198211156113f7576113f76113b7565b500190565b6000816000190483118215151615611416576114166113b7565b500290565b60008261143857634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561146557600080fd5b81516108ab816112dc565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156114c05784516001600160a01b03168352938301939183019160010161149b565b50506001600160a01b03969096166060850152505050608001529392505050565b6000806000606084860312156114f657600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212207bae9c137ee0687fb410103d65e1411bd69e7cd9abd93e3c37a09f6326442db364736f6c634300080f0033

5029:9212:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6253:73;;;;;;;;;;;;6284:42;6253:73;;;;;-1:-1:-1;;;;;178:32:1;;;160:51;;148:2;133:18;6253:73:0;;;;;;;;7034:67;;;;;;;;;;-1:-1:-1;7094:5:0;;;;;;;;;;;;-1:-1:-1;;;7094:5:0;;;;7034:67;;;;;;;:::i;7952:133::-;;;;;;;;;;-1:-1:-1;7952:133:0;;;;;:::i;:::-;;:::i;:::-;;;1445:14:1;;1438:22;1420:41;;1408:2;1393:18;7952:133:0;1280:187:1;7257:84:0;;;;;;;;;;-1:-1:-1;7327:12:0;;7257:84;;;1618:25:1;;;1606:2;1591:18;7257:84:0;1472:177:1;8231:309:0;;;;;;;;;;-1:-1:-1;8231:309:0;;;;;:::i;:::-;;:::i;10871:84::-;;;;;;;;;;;;;:::i;:::-;;8091:132;;;;;;;;;;;;;:::i;3409:87::-;;;;;;;;;;-1:-1:-1;3409:87:0;;;;;:::i;:::-;3464:4;3489:5;-1:-1:-1;;;;;3478:16:0;;;3489:5;;3478:16;;3409:87;7184:67;;;;;;;;;;-1:-1:-1;7184:67:0;;5233:1;2509:36:1;;2497:2;2482:18;7184:67:0;2367:184:1;5568:44:0;;;;;;;;;;-1:-1:-1;5568:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;6333:87;;;;;;;;;;;;6378:42;6333:87;;7431:103;;;;;;;;;;-1:-1:-1;7431:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;7514:18:0;7497:7;7514:18;;;:9;:18;;;;;;;7431:103;5377:63;;;;;;;;;;;;;;;;5310:60;;;;;;;;;;;;;;;;7347:78;;;;;;;;;;-1:-1:-1;7399:7:0;7417:5;-1:-1:-1;;;;;7417:5:0;7347:78;;7107:71;;;;;;;;;;-1:-1:-1;7169:7:0;;;;;;;;;;;;-1:-1:-1;;;7169:7:0;;;;7107:71;;5640:19;;;;;;;;;;-1:-1:-1;5640:19:0;;;;-1:-1:-1;;;;;5640:19:0;;;7540:139;;;;;;;;;;-1:-1:-1;7540:139:0;;;;;:::i;:::-;;:::i;7685:127::-;;;;;;;;;;-1:-1:-1;7685:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;7783:18:0;;;7766:7;7783:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7685:127;3502:111;;;;;;;;;;-1:-1:-1;3502:111:0;;;;;:::i;:::-;;:::i;7952:133::-;8027:4;8034:37;8043:10;8055:7;8064:6;8034:8;:37::i;:::-;-1:-1:-1;8079:4:0;7952:133;;;;;:::o;8231:309::-;8329:4;8346:36;8356:6;8364:9;8375:6;8346:9;:36::i;:::-;8393:117;8402:6;8410:10;8422:87;8458:6;8422:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8422:19:0;;;;;;:11;:19;;;;;;;;8442:10;8422:31;;;;;;;;;:87;:35;:87::i;:::-;8393:8;:117::i;:::-;-1:-1:-1;8528:4:0;8231:309;;;;;:::o;10871:84::-;3464:4;3489:5;-1:-1:-1;;;;;3489:5:0;3376:10;3478:16;3360:38;;;;-1:-1:-1;;;3360:38:0;;3411:2:1;3360:38:0;;;3393:21:1;3450:1;3430:18;;;3423:29;-1:-1:-1;;;3468:18:1;;;3461:36;3514:18;;3360:38:0;;;;;;;;;10925:14:::1;:21:::0;;-1:-1:-1;;;;10925:21:0::1;-1:-1:-1::0;;;10925:21:0::1;::::0;;10871:84::o;8091:132::-;7514:9;:18;;;;6284:42;8144:7;7514:18;;;;;8161:12;;8144:7;;8161:60;;7514:18;;8161:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;8154:67;;8091:132;:::o;7540:139::-;7618:4;7625:40;7635:10;7647:9;7658:6;7625:9;:40::i;3502:111::-;3464:4;3489:5;-1:-1:-1;;;;;3489:5:0;3376:10;3478:16;3360:38;;;;-1:-1:-1;;;3360:38:0;;3411:2:1;3360:38:0;;;3393:21:1;3450:1;3430:18;;;3423:29;-1:-1:-1;;;3468:18:1;;;3461:36;3514:18;;3360:38:0;3209:329:1;3360:38:0;3568:5:::1;:11:::0;;-1:-1:-1;;;;;;3568:11:0::1;-1:-1:-1::0;;;;;3568:11:0;::::1;::::0;;::::1;::::0;;;3586:25:::1;::::0;160:51:1;;;3586:25:0::1;::::0;148:2:1;133:18;3586:25:0::1;;;;;;;3502:111:::0;:::o;8548:335::-;-1:-1:-1;;;;;8641:19:0;;8633:68;;;;-1:-1:-1;;;8633:68:0;;3961:2:1;8633:68:0;;;3943:21:1;4000:2;3980:18;;;3973:30;4039:34;4019:18;;;4012:62;-1:-1:-1;;;4090:18:1;;;4083:34;4134:19;;8633:68:0;3759:400:1;8633:68:0;-1:-1:-1;;;;;8720:21:0;;8712:68;;;;-1:-1:-1;;;8712:68:0;;4366:2:1;8712:68:0;;;4348:21:1;4405:2;4385:18;;;4378:30;4444:34;4424:18;;;4417:62;-1:-1:-1;;;4495:18:1;;;4488:32;4537:19;;8712:68:0;4164:398:1;8712:68:0;-1:-1:-1;;;;;8791:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8843:32;;1618:25:1;;;8843:32:0;;1591:18:1;8843:32:0;;;;;;;8548:335;;;:::o;8891:686::-;8980:37;8991:6;8999:9;9010:6;8980:10;:37::i;:::-;9028:38;9048:6;9056:9;9028:19;:38::i;:::-;9077:41;9092:6;9100:9;9111:6;9077:14;:41::i;:::-;9130:35;9147:6;9155:9;9130:16;:35::i;:::-;9176:39;9189:6;9197:9;9208:6;9176:12;:39::i;:::-;9227:35;9236:6;9244:9;9255:6;9227:8;:35::i;:::-;-1:-1:-1;;;;;9293:17:0;;;;;;:9;:17;;;;;;:29;;9315:6;9293:21;:29::i;:::-;-1:-1:-1;;;;;9273:17:0;;;;;;:9;:17;;;;;:49;;;;9358:32;9283:6;9380:9;9358:13;:32::i;:::-;:78;;9430:6;9358:78;;;9393:34;9401:6;9409:9;9420:6;9393:7;:34::i;:::-;-1:-1:-1;;;;;9470:20:0;;;;;;:9;:20;;;;;;9333:103;;-1:-1:-1;9470:40:0;;9333:103;9470:24;:40::i;:::-;-1:-1:-1;;;;;9447:20:0;;;;;;;:9;:20;;;;;;;:63;;;;9526:43;;;;;;;;;;9554:14;1618:25:1;;1606:2;1591:18;;1472:177;9526:43:0;;;;;;;;8969:608;8891:686;;;:::o;1808:162::-;1894:7;1940:12;1932:6;;;;1924:29;;;;-1:-1:-1;;;1924:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;1962:5:0;;;1808:162::o;595:82::-;653:7;670:5;674:1;670;:5;:::i;:::-;663:12;595:82;-1:-1:-1;;;595:82:0:o;9585:439::-;-1:-1:-1;;;;;9689:20:0;;9681:70;;;;-1:-1:-1;;;9681:70:0;;5031:2:1;9681:70:0;;;5013:21:1;5070:2;5050:18;;;5043:30;5109:34;5089:18;;;5082:62;-1:-1:-1;;;5160:18:1;;;5153:35;5205:19;;9681:70:0;4829:401:1;9681:70:0;-1:-1:-1;;;;;9770:23:0;;9762:71;;;;-1:-1:-1;;;9762:71:0;;5437:2:1;9762:71:0;;;5419:21:1;5476:2;5456:18;;;5449:30;5515:34;5495:18;;;5488:62;-1:-1:-1;;;5566:18:1;;;5559:33;5609:19;;9762:71:0;5235:399:1;9762:71:0;9869:1;9852:6;:19;9844:73;;;;-1:-1:-1;;;9844:73:0;;5841:2:1;9844:73:0;;;5823:21:1;5880:2;5860:18;;;5853:30;5919:34;5899:18;;;5892:62;-1:-1:-1;;;5970:18:1;;;5963:39;6019:19;;9844:73:0;5639:405:1;9844:73:0;-1:-1:-1;;;;;7514:18:0;;7497:7;7514:18;;;:9;:18;;;;;;9936:6;:27;;9928:88;;;;-1:-1:-1;;;9928:88:0;;6251:2:1;9928:88:0;;;6233:21:1;6290:2;6270:18;;;6263:30;6329:34;6309:18;;;6302:62;-1:-1:-1;;;6380:18:1;;;6373:47;6437:19;;9928:88:0;6049:413:1;9928:88:0;9585:439;;;:::o;10032:191::-;-1:-1:-1;;;;;10125:19:0;;;;;;:11;:19;;;;;;;;10124:20;:47;;;;-1:-1:-1;;;;;;10149:22:0;;;;;;:11;:22;;;;;;;;10148:23;10124:47;10121:95;;;10181:14;;-1:-1:-1;;;10181:14:0;;;;10173:41;;;;-1:-1:-1;;;10173:41:0;;6669:2:1;10173:41:0;;;6651:21:1;6708:2;6688:18;;;6681:30;-1:-1:-1;;;6727:18:1;;;6720:44;6781:18;;10173:41:0;6467:338:1;10173:41:0;10032:191;;:::o;10235:461::-;7908:17;;7935:8;;10338:35;;;;-1:-1:-1;10369:4:0;;-1:-1:-1;;;;;10359:14:0;;;10369:4;;10359:14;;10338:35;:54;;;;-1:-1:-1;7908:17:0;;7935:8;10338:54;10335:120;;;10440:12;;-1:-1:-1;;;;;10403:20:0;;;;;;:9;:20;;;;;;:32;;10428:6;10403:24;:32::i;:::-;10402:50;;10394:59;;;;;;-1:-1:-1;;;;;10469:19:0;;;;;;:11;:19;;;;;;;;10468:20;:47;;;;-1:-1:-1;;;;;;10493:22:0;;;;;;:11;:22;;;;;;;;10492:23;10468:47;:77;;;;-1:-1:-1;10540:4:0;;-1:-1:-1;;;;;10519:26:0;;;10540:4;;10519:26;;10468:77;:107;;;;-1:-1:-1;;;;;;10549:26:0;;6284:42;10549:26;;10468:107;10465:224;;;10637:15;;-1:-1:-1;;;;;10600:20:0;;;;;;:9;:20;;;;;;:32;;10625:6;10600:24;:32::i;:::-;10599:53;;10591:96;;;;-1:-1:-1;;;10591:96:0;;7012:2:1;10591:96:0;;;6994:21:1;7051:2;7031:18;;;7024:30;7090:32;7070:18;;;7063:60;7140:18;;10591:96:0;6810:354:1;10704:159:0;10801:4;;-1:-1:-1;;;;;10788:17:0;;;10801:4;;10788:17;:41;;;;-1:-1:-1;;;;;;10810:19:0;;;;;;:11;:19;;;;;;;;10809:20;10788:41;10785:71;;;10852:1;10831:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;10704:159:0;;:::o;11737:207::-;11853:12;;11843:6;:22;;:45;;;-1:-1:-1;;;;;;11869:19:0;;;;;;:11;:19;;;;;;;;11843:45;:71;;;-1:-1:-1;;;;;;11892:22:0;;;;;;:11;:22;;;;;;;;11843:71;11835:101;;;;-1:-1:-1;;;11835:101:0;;7504:2:1;11835:101:0;;;7486:21:1;7543:2;7523:18;;;7516:30;-1:-1:-1;;;7562:18:1;;;7555:47;7619:18;;11835:101:0;7302:341:1;12342:188:0;12434:41;12449:6;12457:9;12468:6;12434:14;:41::i;:::-;12431:92;;;12477:29;12492:13;;12477:14;:29::i;:::-;12520:1;12508:9;:13;12342:188;;;:::o;10963:160::-;-1:-1:-1;;;;;11069:19:0;;11044:4;11069:19;;;:11;:19;;;;;;;;11068:20;:47;;;;-1:-1:-1;;;;;;;11093:22:0;;;;;:11;:22;;;;;;;;11092:23;;10963:160;-1:-1:-1;10963:160:0:o;11131:371::-;11217:7;11237:17;11257:62;11288:30;11300:6;11308:9;11288:11;:30::i;:::-;11268:14;;11257:26;;:6;;:10;:26::i;:::-;:30;;:62::i;:::-;11375:4;11357:24;;;;:9;:24;;;;;;11237:82;;-1:-1:-1;11357:39:0;;11237:82;11357:28;:39::i;:::-;11348:4;11330:24;;;;:9;:24;;;;;;;:66;;;;11412:42;;-1:-1:-1;;;;;11412:42:0;;;;;;;11444:9;1618:25:1;;1606:2;1591:18;;1472:177;11412:42:0;;;;;;;;11473:21;:6;11484:9;11473:10;:21::i;:::-;11466:28;11131:371;-1:-1:-1;;;;;11131:371:0:o;507:82::-;565:7;582:5;586:1;582;:5;:::i;11952:382::-;12093:15;;12169:13;;12159:4;12050;7514:18;;;:9;:18;;;;;;12201:8;;12050:4;;12083:25;;;;-1:-1:-1;12141:41:0;;12201:8;;12200:9;:24;;;;-1:-1:-1;12213:11:0;;;;12200:24;:36;;;;;12228:8;12200:36;:60;;;;-1:-1:-1;;;;;;12241:19:0;;;;;;:11;:19;;;;;;;;12240:20;12200:60;:81;;;;-1:-1:-1;12277:4:0;;-1:-1:-1;;;;;12264:17:0;;;12277:4;;12264:17;12200:81;:108;;;;;12306:1;12285:9;;:23;;12200:108;:126;;;;;12312:14;12200:126;12193:133;11952:382;-1:-1:-1;;;;;;11952:382:0:o;12538:905::-;6112:8;:15;;-1:-1:-1;;6112:15:0;6123:4;6112:15;;;12649:12:::1;::::0;12632::::1;::::0;6112:8;;12632:30:::1;::::0;:12;:16:::1;:30::i;:::-;12631:36;::::0;12666:1:::1;12631:36;:::i;:::-;12609:58;;12678:32;12713:41;12742:11;12713:24;12724:12;;12713:6;:10;;:24;;;;:::i;:::-;:28:::0;::::1;:41::i;:::-;12678:76:::0;-1:-1:-1;12765:14:0::1;12782:36;:6:::0;12678:76;12782:10:::1;:36::i;:::-;12765:53:::0;-1:-1:-1;12854:21:0::1;12886:24;12765:53:::0;12886:16:::1;:24::i;:::-;12921:20;12944:41;:21;12970:14:::0;12944:25:::1;:41::i;:::-;12921:64;;12996:19;13017:47;13034:29;13050:12;;13034:11;:15;;:29;;;;:::i;:::-;13017:12:::0;;:16:::1;:47::i;:::-;12996:68;;13075:29;13107;13123:12;;13107:11;:15;;:29;;;;:::i;:::-;13075:61:::0;-1:-1:-1;13150:34:0;;13147:117:::1;;13200:61;13213:24;13239:21;13200:12;:61::i;:::-;13301:21;13336:29:::0;;13333:103:::1;;13379:54;::::0;6378:42:::1;::::0;13379:54;::::1;;;::::0;13416:16;;13379:54:::1;::::0;;;13416:16;6378:42;13379:54;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13333:103;-1:-1:-1::0;;6132:8:0;:16;;-1:-1:-1;;6132:16:0;;;-1:-1:-1;;;;;;;12538:905:0:o;11510:219::-;11625:4;;11589:7;;-1:-1:-1;;;;;11625:4:0;;;11612:17;;;;11609:38;;-1:-1:-1;11638:7:0;;11631:14;;11609:38;11670:4;;-1:-1:-1;;;;;11670:4:0;;;11660:14;;;;11657:36;;-1:-1:-1;11683:8:0;;11676:15;;11657:36;-1:-1:-1;11710:11:0;;11510:219;;;;:::o;771:82::-;829:7;846:5;850:1;846;:5;:::i;683:82::-;741:7;758:5;762:1;758;:5;:::i;13802:434::-;13892:16;;;13906:1;13892:16;;;;;;;;13868:21;;13892:16;;;;;;;;;;-1:-1:-1;13892:16:0;13868:40;;13937:4;13919;13924:1;13919:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13919:23:0;;;:7;;;;;;;;;;:23;;;;13963:6;;:13;;;-1:-1:-1;;;13963:13:0;;;;:6;;;;;:11;;:13;;;;;13919:7;;13963:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13953:4;13958:1;13953:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;13953:23:0;;;:7;;;;;;;;;:23;14019:6;;13987:53;;14004:4;;14019:6;14028:11;13987:8;:53::i;:::-;14051:6;;:177;;-1:-1:-1;;;14051:177:0;;-1:-1:-1;;;;;14051:6:0;;;;:57;;:177;;14123:11;;14051:6;;14165:4;;14192;;14212:15;;14051:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13857:379;13802:434;:::o;13451:343::-;13564:6;;13532:53;;13549:4;;-1:-1:-1;;;;;13564:6:0;13573:11;13532:8;:53::i;:::-;13596:6;;:190;;-1:-1:-1;;;13596:190:0;;13659:4;13596:190;;;9889:34:1;9939:18;;;9932:34;;;13596:6:0;9982:18:1;;;9975:34;;;10025:18;;;10018:34;6203:42:0;10068:19:1;;;10061:44;13770:15:0;10121:19:1;;;10114:35;-1:-1:-1;;;;;13596:6:0;;;;:22;;13626:9;;9823:19:1;;13596:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;13451:343;;:::o;222:597:1:-;334:4;363:2;392;381:9;374:21;424:6;418:13;467:6;462:2;451:9;447:18;440:34;492:1;502:140;516:6;513:1;510:13;502:140;;;611:14;;;607:23;;601:30;577:17;;;596:2;573:26;566:66;531:10;;502:140;;;660:6;657:1;654:13;651:91;;;730:1;725:2;716:6;705:9;701:22;697:31;690:42;651:91;-1:-1:-1;803:2:1;782:15;-1:-1:-1;;778:29:1;763:45;;;;810:2;759:54;;222:597;-1:-1:-1;;;222:597:1:o;824:131::-;-1:-1:-1;;;;;899:31:1;;889:42;;879:70;;945:1;942;935:12;879:70;824:131;:::o;960:315::-;1028:6;1036;1089:2;1077:9;1068:7;1064:23;1060:32;1057:52;;;1105:1;1102;1095:12;1057:52;1144:9;1131:23;1163:31;1188:5;1163:31;:::i;:::-;1213:5;1265:2;1250:18;;;;1237:32;;-1:-1:-1;;;960:315:1:o;1654:456::-;1731:6;1739;1747;1800:2;1788:9;1779:7;1775:23;1771:32;1768:52;;;1816:1;1813;1806:12;1768:52;1855:9;1842:23;1874:31;1899:5;1874:31;:::i;:::-;1924:5;-1:-1:-1;1981:2:1;1966:18;;1953:32;1994:33;1953:32;1994:33;:::i;:::-;1654:456;;2046:7;;-1:-1:-1;;;2100:2:1;2085:18;;;;2072:32;;1654:456::o;2115:247::-;2174:6;2227:2;2215:9;2206:7;2202:23;2198:32;2195:52;;;2243:1;2240;2233:12;2195:52;2282:9;2269:23;2301:31;2326:5;2301: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;4567:127::-;4628:10;4623:3;4619:20;4616:1;4609:31;4659:4;4656:1;4649:15;4683:4;4680:1;4673:15;4699:125;4739:4;4767:1;4764;4761:8;4758:34;;;4772:18;;:::i;:::-;-1:-1:-1;4809:9:1;;4699:125::o;7169:128::-;7209:3;7240:1;7236:6;7233:1;7230:13;7227:39;;;7246:18;;:::i;:::-;-1:-1:-1;7282:9:1;;7169:128::o;7648:168::-;7688:7;7754:1;7750;7746:6;7742:14;7739:1;7736:21;7731:1;7724:9;7717:17;7713:45;7710:71;;;7761:18;;:::i;:::-;-1:-1:-1;7801:9:1;;7648:168::o;7821:217::-;7861:1;7887;7877:132;;7931:10;7926:3;7922:20;7919:1;7912:31;7966:4;7963:1;7956:15;7994:4;7991:1;7984:15;7877:132;-1:-1:-1;8023:9:1;;7821:217::o;8175:127::-;8236:10;8231:3;8227:20;8224:1;8217:31;8267:4;8264:1;8257:15;8291:4;8288:1;8281:15;8307:251;8377:6;8430:2;8418:9;8409:7;8405:23;8401:32;8398:52;;;8446:1;8443;8436:12;8398:52;8478:9;8472:16;8497:31;8522:5;8497:31;:::i;8563:980::-;8825:4;8873:3;8862:9;8858:19;8904:6;8893:9;8886:25;8930:2;8968:6;8963:2;8952:9;8948:18;8941:34;9011:3;9006:2;8995:9;8991:18;8984:31;9035:6;9070;9064:13;9101:6;9093;9086:22;9139:3;9128:9;9124:19;9117:26;;9178:2;9170:6;9166:15;9152:29;;9199:1;9209:195;9223:6;9220:1;9217:13;9209:195;;;9288:13;;-1:-1:-1;;;;;9284:39:1;9272:52;;9379:15;;;;9344:12;;;;9320:1;9238:9;9209:195;;;-1:-1:-1;;;;;;;9460:32:1;;;;9455:2;9440:18;;9433:60;-1:-1:-1;;;9524:3:1;9509:19;9502:35;9421:3;8563:980;-1:-1:-1;;;8563:980:1:o;10160:306::-;10248:6;10256;10264;10317:2;10305:9;10296:7;10292:23;10288:32;10285:52;;;10333:1;10330;10323:12;10285:52;10362:9;10356:16;10346:26;;10412:2;10401:9;10397:18;10391:25;10381:35;;10456:2;10445:9;10441:18;10435:25;10425:35;;10160:306;;;;;:::o

ipfs://7bae9c137ee0687fb410103d65e1411bd69e7cd9abd93e3c37a09f6326442db3