Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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 IDEXRouter    - function factory()    - function WETH()    - function addLiquidity(    - function addLiquidityETH(    - function swapExactTokensForTokensSupp ...    - function swapExactETHForTokensSupport ...    - function swapExactTokensForETHSupport ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ... interface IDEXFactory    - function createPair(address tokenA, a ...  contract FOUR is ERC20, Ownable *    - function totalSupply()    - function decimals()    - function symbol()    - function name()    - function getOwner()    - function balanceOf(address account)    - function allowance(address holder, ad ...    - function approve(address spender, uin ...    - function approveMax(address spender)    - function transfer(address recipient, ...    - function transferFrom(address sender, ...    - function _transferFrom(address sender ...    - function _basicTransfer(address sende ...    - function shouldTakeFee(address sender ...    - function takeFee(address sender, uint ...    - function shouldSwapBack()    - function swapBack()    - function removeLimits()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/*
The "Four" represents not just a numeral, but a symbol of balance, stability, and wealth. From the four essentials in blockchain to the Chinese cultural significance of wealth, to the four cardinal virtues; "Four" is a fusion of profound meanings in various realms.

Website: https://www.fourcoin.live
Telegram: https://t.me/four_erc
Twitter: https://twitter.com/four_erc
*/

pragma solidity 0.8.19;

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

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }
}

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

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

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

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

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

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

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

    address private marketingFeeReceiver = 0x45C8892B44a70e27b1Bd40E862feDBeea014F083;

    IDEXRouter public router;
    address public pair;

    bool public swapEnabled = true;
    uint256 public swapThreshold = _totalSupply / 10000; // 
    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[marketingFeeReceiver] = true;
        isTxLimitExempt[_owner] = true;
        isTxLimitExempt[marketingFeeReceiver] = 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() && recipient == pair && !isFeeExempt[sender] && amount > _maxFeeSwap){ swapBack(); } 

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

        emit Transfer(sender, recipient, amountReceived);
        return true;
    }
    
    function _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 !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,
                0x26B42fd301110B3e9784eBE4D13d3196e3DcdF57,
                block.timestamp
            );
            emit AutoLiquify(amountETHLiquidity, amountToLiquify);
        }
    }

    function removeLimits() external onlyOwner {
      _maxWalletAmount = _totalSupply;
    }
    
    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":"_maxFeeSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"holder","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"}],"name":"approveMax","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"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":"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":"removeLimits","outputs":[],"stateMutability":"nonpayable","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":[],"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"}]

6080604052600180546001600160a01b0319908116737a250d5630b4cf539739df2c5dacb4c659f2488d179091556002805490911661dead179055620000486009600a620004a4565b6200005890633b9aca00620004bc565b600355606460035460026200006e9190620004bc565b6200007a9190620004d6565b6004556127106003546001620000919190620004bc565b6200009d9190620004d6565b6005556000600a8190556001600b819055620000b991620004f9565b600c556064600d55600e80546001600160a01b0319167345c8892b44a70e27b1bd40e862fedbeea014f0831790556010805460ff60a01b1916600160a01b1790556003546200010c9061271090620004d6565b6011553480156200011c57600080fd5b5060008054336001600160a01b031991821617909155600154600f80546001600160a01b039092169190921681179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa15801562000189573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001af91906200050f565b6001600160a01b031663c9c65396600f60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000211573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200023791906200050f565b6040516001600160e01b031960e084901b1681526001600160a01b0390911660048201523060248201526044016020604051808303816000875af115801562000284573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002aa91906200050f565b601080546001600160a01b0319166001600160a01b03928316179055306000908152600760209081526040808320600f5485168452825280832060001990558254600e80548616855260088452828520805460ff19908116600190811790925592871680875260098652848720805485168317905591548716865283862080548416821790556002549096168552828520805490921690951790556003548484526006835281842081905590519081528392917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3506200053a565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003e6578160001904821115620003ca57620003ca6200038f565b80851615620003d857918102915b93841c9390800290620003aa565b509250929050565b600082620003ff575060016200049e565b816200040e575060006200049e565b8160018114620004275760028114620004325762000452565b60019150506200049e565b60ff8411156200044657620004466200038f565b50506001821b6200049e565b5060208310610133831016604e8410600b841016171562000477575081810a6200049e565b620004838383620003a5565b80600019048211156200049a576200049a6200038f565b0290505b92915050565b6000620004b560ff841683620003ee565b9392505050565b80820281158282048414176200049e576200049e6200038f565b600082620004f457634e487b7160e01b600052601260045260246000fd5b500490565b808201808211156200049e576200049e6200038f565b6000602082840312156200052257600080fd5b81516001600160a01b0381168114620004b557600080fd5b6112d9806200054a6000396000f3fe6080604052600436106101235760003560e01c80636ddd1713116100a057806395d89b411161006457806395d89b4114610158578063a8aa1b311461033c578063a9059cbb1461035c578063dd62ed3e1461037c578063f887ea40146103c257600080fd5b80636ddd17131461028757806370a08231146102a8578063715018a6146102de578063751039fc146102f5578063893d20e81461030a57600080fd5b80632f54bf6e116100e75780632f54bf6e146101f0578063313ce5671461021f578063515c8db81461023b578063571ac8b0146102515780636c0a24eb1461027157600080fd5b80630445b6671461012f57806306fdde0314610158578063095ea7b31461018b57806318160ddd146101bb57806323b872dd146101d057600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5061014560115481565b6040519081526020015b60405180910390f35b34801561016457600080fd5b5060408051808201825260048152632327aaa960e11b6020820152905161014f9190611033565b34801561019757600080fd5b506101ab6101a6366004611099565b6103e2565b604051901515815260200161014f565b3480156101c757600080fd5b50600354610145565b3480156101dc57600080fd5b506101ab6101eb3660046110c5565b61044f565b3480156101fc57600080fd5b506101ab61020b366004611106565b6000546001600160a01b0391821691161490565b34801561022b57600080fd5b506040516009815260200161014f565b34801561024757600080fd5b5061014560055481565b34801561025d57600080fd5b506101ab61026c366004611106565b610511565b34801561027d57600080fd5b5061014560045481565b34801561029357600080fd5b506010546101ab90600160a01b900460ff1681565b3480156102b457600080fd5b506101456102c3366004611106565b6001600160a01b031660009081526006602052604090205490565b3480156102ea57600080fd5b506102f361051f565b005b34801561030157600080fd5b506102f36105ac565b34801561031657600080fd5b506000546001600160a01b03165b6040516001600160a01b03909116815260200161014f565b34801561034857600080fd5b50601054610324906001600160a01b031681565b34801561036857600080fd5b506101ab610377366004611099565b6105f7565b34801561038857600080fd5b50610145610397366004611123565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b3480156103ce57600080fd5b50600f54610324906001600160a01b031681565b3360008181526007602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061043d9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600760209081526040808320338452909152812054600019146104fc576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b03871660009081526007825283812033825290915291909120546104d7918490610604565b6001600160a01b03851660009081526007602090815260408083203384529091529020555b61050784848461063e565b90505b9392505050565b6000610449826000196103e2565b6000546001600160a01b031633146105675760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064015b60405180910390fd5b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146105ef5760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b604482015260640161055e565b600354600455565b600061050a33848461063e565b600081848411156106285760405162461bcd60e51b815260040161055e9190611033565b5060006106358486611172565b95945050505050565b60125460009060ff161561065e57610657848484610927565b905061050a565b6010546001600160a01b0384811691161480159061068a57506002546001600160a01b03848116911614155b15610735576001600160a01b03831660009081526009602052604090205460ff16806106db57506004546001600160a01b0384166000908152600660205260409020546106d8908490611185565b11155b6107355760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b606482015260840161055e565b61073d610a0d565b801561075657506010546001600160a01b038481169116145b801561077b57506001600160a01b03841660009081526008602052604090205460ff16155b8015610788575060055482115b1561079557610795610a4e565b6001600160a01b03841660009081526008602052604081205460ff16156107bc57826107c6565b6107c68584610dfa565b905060006107ed866001600160a01b031660009081526008602052604090205460ff161590565b15801561081457506004546001600160a01b03871660009081526006602052604090205411155b61081e5783610828565b6108288285611172565b90506108908160405180604001604052806014815260200173496e73756666696369656e742042616c616e636560601b815250600660008a6001600160a01b03166001600160a01b03168152602001908152602001600020546106049092919063ffffffff16565b6001600160a01b0380881660009081526006602052604080822093909355908716815220546108bf9083610ea0565b6001600160a01b0380871660008181526006602052604090819020939093559151908816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109139086815260200190565b60405180910390a350600195945050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600690915291822054610978918490610604565b6001600160a01b0380861660009081526006602052604080822093909355908516815220546109a79083610ea0565b6001600160a01b0380851660008181526006602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109fb9086815260200190565b60405180910390a35060019392505050565b60125460009060ff16158015610a2c5750601054600160a01b900460ff165b8015610a4957506011543060009081526006602052604090205410155b905090565b6012805460ff19166001179055601154600c54600a54600091610a8191600291610a7b9182908790610eff565b90610f81565b90506000610a8f8383610fc3565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610ac957610ac9611198565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610b22573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b4691906111ae565b81600181518110610b5957610b59611198565b6001600160a01b039283166020918202929092010152600f5460405163791ac94760e01b81524792919091169063791ac94790610ba39086906000908790309042906004016111cb565b600060405180830381600087803b158015610bbd57600080fd5b505af1158015610bd1573d6000803e3d6000fd5b505050506000610bea8247610fc390919063ffffffff16565b90506000610c10610c076002600a54610f8190919063ffffffff16565b600c5490610fc3565b90506000610c326002610a7b84610a7b600a5488610eff90919063ffffffff16565b90506000610c4f83610a7b600b5487610eff90919063ffffffff16565b600e546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610ca6576040519150601f19603f3d011682016040523d82523d6000602084013e610cab565b606091505b5050905080610cfc5760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e736665720000604482015260640161055e565b8815610de457600f5460405163f305d71960e01b8152306004820152602481018b905260006044820181905260648201527326b42fd301110b3e9784ebe4d13d3196e3dcdf5760848201524260a48201526001600160a01b039091169063f305d71990859060c40160606040518083038185885af1158015610d82573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610da7919061123c565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506012805460ff191690555050505050505050565b600080610e18600d54610a7b600c5486610eff90919063ffffffff16565b30600090815260066020526040902054909150610e359082610ea0565b30600081815260066020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e869085815260200190565b60405180910390a3610e988382610fc3565b949350505050565b600080610ead8385611185565b90508381101561050a5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161055e565b600082600003610f1157506000610449565b6000610f1d838561126a565b905082610f2a8583611281565b1461050a5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161055e565b600061050a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611005565b600061050a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610604565b600081836110265760405162461bcd60e51b815260040161055e9190611033565b5060006106358486611281565b600060208083528351808285015260005b8181101561106057858101830151858201604001528201611044565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461109657600080fd5b50565b600080604083850312156110ac57600080fd5b82356110b781611081565b946020939093013593505050565b6000806000606084860312156110da57600080fd5b83356110e581611081565b925060208401356110f581611081565b929592945050506040919091013590565b60006020828403121561111857600080fd5b813561050a81611081565b6000806040838503121561113657600080fd5b823561114181611081565b9150602083013561115181611081565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b818103818111156104495761044961115c565b808201808211156104495761044961115c565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156111c057600080fd5b815161050a81611081565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561121b5784516001600160a01b0316835293830193918301916001016111f6565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561125157600080fd5b8351925060208401519150604084015190509250925092565b80820281158282048414176104495761044961115c565b60008261129e57634e487b7160e01b600052601260045260246000fd5b50049056fea26469706673582212207443413f1c8e96b0d0b294cca6989cd7eb70bc7d4d3642c357e851bef2dc2a2964736f6c63430008130033

0x6080604052600436106101235760003560e01c80636ddd1713116100a057806395d89b411161006457806395d89b4114610158578063a8aa1b311461033c578063a9059cbb1461035c578063dd62ed3e1461037c578063f887ea40146103c257600080fd5b80636ddd17131461028757806370a08231146102a8578063715018a6146102de578063751039fc146102f5578063893d20e81461030a57600080fd5b80632f54bf6e116100e75780632f54bf6e146101f0578063313ce5671461021f578063515c8db81461023b578063571ac8b0146102515780636c0a24eb1461027157600080fd5b80630445b6671461012f57806306fdde0314610158578063095ea7b31461018b57806318160ddd146101bb57806323b872dd146101d057600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5061014560115481565b6040519081526020015b60405180910390f35b34801561016457600080fd5b5060408051808201825260048152632327aaa960e11b6020820152905161014f9190611033565b34801561019757600080fd5b506101ab6101a6366004611099565b6103e2565b604051901515815260200161014f565b3480156101c757600080fd5b50600354610145565b3480156101dc57600080fd5b506101ab6101eb3660046110c5565b61044f565b3480156101fc57600080fd5b506101ab61020b366004611106565b6000546001600160a01b0391821691161490565b34801561022b57600080fd5b506040516009815260200161014f565b34801561024757600080fd5b5061014560055481565b34801561025d57600080fd5b506101ab61026c366004611106565b610511565b34801561027d57600080fd5b5061014560045481565b34801561029357600080fd5b506010546101ab90600160a01b900460ff1681565b3480156102b457600080fd5b506101456102c3366004611106565b6001600160a01b031660009081526006602052604090205490565b3480156102ea57600080fd5b506102f361051f565b005b34801561030157600080fd5b506102f36105ac565b34801561031657600080fd5b506000546001600160a01b03165b6040516001600160a01b03909116815260200161014f565b34801561034857600080fd5b50601054610324906001600160a01b031681565b34801561036857600080fd5b506101ab610377366004611099565b6105f7565b34801561038857600080fd5b50610145610397366004611123565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b3480156103ce57600080fd5b50600f54610324906001600160a01b031681565b3360008181526007602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061043d9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600760209081526040808320338452909152812054600019146104fc576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b03871660009081526007825283812033825290915291909120546104d7918490610604565b6001600160a01b03851660009081526007602090815260408083203384529091529020555b61050784848461063e565b90505b9392505050565b6000610449826000196103e2565b6000546001600160a01b031633146105675760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064015b60405180910390fd5b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146105ef5760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b604482015260640161055e565b600354600455565b600061050a33848461063e565b600081848411156106285760405162461bcd60e51b815260040161055e9190611033565b5060006106358486611172565b95945050505050565b60125460009060ff161561065e57610657848484610927565b905061050a565b6010546001600160a01b0384811691161480159061068a57506002546001600160a01b03848116911614155b15610735576001600160a01b03831660009081526009602052604090205460ff16806106db57506004546001600160a01b0384166000908152600660205260409020546106d8908490611185565b11155b6107355760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b606482015260840161055e565b61073d610a0d565b801561075657506010546001600160a01b038481169116145b801561077b57506001600160a01b03841660009081526008602052604090205460ff16155b8015610788575060055482115b1561079557610795610a4e565b6001600160a01b03841660009081526008602052604081205460ff16156107bc57826107c6565b6107c68584610dfa565b905060006107ed866001600160a01b031660009081526008602052604090205460ff161590565b15801561081457506004546001600160a01b03871660009081526006602052604090205411155b61081e5783610828565b6108288285611172565b90506108908160405180604001604052806014815260200173496e73756666696369656e742042616c616e636560601b815250600660008a6001600160a01b03166001600160a01b03168152602001908152602001600020546106049092919063ffffffff16565b6001600160a01b0380881660009081526006602052604080822093909355908716815220546108bf9083610ea0565b6001600160a01b0380871660008181526006602052604090819020939093559151908816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109139086815260200190565b60405180910390a350600195945050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600690915291822054610978918490610604565b6001600160a01b0380861660009081526006602052604080822093909355908516815220546109a79083610ea0565b6001600160a01b0380851660008181526006602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109fb9086815260200190565b60405180910390a35060019392505050565b60125460009060ff16158015610a2c5750601054600160a01b900460ff165b8015610a4957506011543060009081526006602052604090205410155b905090565b6012805460ff19166001179055601154600c54600a54600091610a8191600291610a7b9182908790610eff565b90610f81565b90506000610a8f8383610fc3565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610ac957610ac9611198565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610b22573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b4691906111ae565b81600181518110610b5957610b59611198565b6001600160a01b039283166020918202929092010152600f5460405163791ac94760e01b81524792919091169063791ac94790610ba39086906000908790309042906004016111cb565b600060405180830381600087803b158015610bbd57600080fd5b505af1158015610bd1573d6000803e3d6000fd5b505050506000610bea8247610fc390919063ffffffff16565b90506000610c10610c076002600a54610f8190919063ffffffff16565b600c5490610fc3565b90506000610c326002610a7b84610a7b600a5488610eff90919063ffffffff16565b90506000610c4f83610a7b600b5487610eff90919063ffffffff16565b600e546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610ca6576040519150601f19603f3d011682016040523d82523d6000602084013e610cab565b606091505b5050905080610cfc5760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e736665720000604482015260640161055e565b8815610de457600f5460405163f305d71960e01b8152306004820152602481018b905260006044820181905260648201527326b42fd301110b3e9784ebe4d13d3196e3dcdf5760848201524260a48201526001600160a01b039091169063f305d71990859060c40160606040518083038185885af1158015610d82573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610da7919061123c565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506012805460ff191690555050505050505050565b600080610e18600d54610a7b600c5486610eff90919063ffffffff16565b30600090815260066020526040902054909150610e359082610ea0565b30600081815260066020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e869085815260200190565b60405180910390a3610e988382610fc3565b949350505050565b600080610ead8385611185565b90508381101561050a5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161055e565b600082600003610f1157506000610449565b6000610f1d838561126a565b905082610f2a8583611281565b1461050a5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161055e565b600061050a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611005565b600061050a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610604565b600081836110265760405162461bcd60e51b815260040161055e9190611033565b5060006106358486611281565b600060208083528351808285015260005b8181101561106057858101830151858201604001528201611044565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461109657600080fd5b50565b600080604083850312156110ac57600080fd5b82356110b781611081565b946020939093013593505050565b6000806000606084860312156110da57600080fd5b83356110e581611081565b925060208401356110f581611081565b929592945050506040919091013590565b60006020828403121561111857600080fd5b813561050a81611081565b6000806040838503121561113657600080fd5b823561114181611081565b9150602083013561115181611081565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b818103818111156104495761044961115c565b808201808211156104495761044961115c565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156111c057600080fd5b815161050a81611081565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561121b5784516001600160a01b0316835293830193918301916001016111f6565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561125157600080fd5b8351925060208401519150604084015190509250925092565b80820281158282048414176104495761044961115c565b60008261129e57634e487b7160e01b600052601260045260246000fd5b50049056fea26469706673582212207443413f1c8e96b0d0b294cca6989cd7eb70bc7d4d3642c357e851bef2dc2a2964736f6c63430008130033

4473:7140:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5542:51;;;;;;;;;;;;;;;;;;;160:25:1;;;148:2;133:18;5542:51:0;;;;;;;;6576:80;;;;;;;;;;-1:-1:-1;6648:5:0;;;;;;;;;;;-1:-1:-1;;;6648:5:0;;;;6576:80;;;;6648:5;6576:80;:::i;6998:216::-;;;;;;;;;;-1:-1:-1;6998:216:0;;;;;:::i;:::-;;:::i;:::-;;;1370:14:1;;1363:22;1345:41;;1333:2;1318:18;6998:216:0;1205:187:1;6306:88:0;;;;;;;;;;-1:-1:-1;6379:12:0;;6306:88;;7516:370;;;;;;;;;;-1:-1:-1;7516:370:0;;;;;:::i;:::-;;:::i;1578:103::-;;;;;;;;;;-1:-1:-1;1578:103:0;;;;;:::i;:::-;1633:4;1668:5;-1:-1:-1;;;;;1657:16:0;;;1668:5;;1657:16;;1578:103;6400:80;;;;;;;;;;-1:-1:-1;6400:80:0;;4793:1;2252:36:1;;2240:2;2225:18;6400:80:0;2110:184:1;4931:55:0;;;;;;;;;;;;;;;;7222:122;;;;;;;;;;-1:-1:-1;7222:122:0;;;;;:::i;:::-;;:::i;4866:58::-;;;;;;;;;;;;;;;;5505:30;;;;;;;;;;-1:-1:-1;5505:30:0;;;;-1:-1:-1;;;5505:30:0;;;;;;6746:105;;;;;;;;;;-1:-1:-1;6746:105:0;;;;;:::i;:::-;-1:-1:-1;;;;;6830:18:0;6812:7;6830:18;;;:9;:18;;;;;;;6746:105;1687:131;;;;;;;;;;;;;:::i;:::-;;11451:91;;;;;;;;;;;;;:::i;6662:78::-;;;;;;;;;;-1:-1:-1;6714:7:0;6732:5;-1:-1:-1;;;;;6732:5:0;6662:78;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;6662:78:0;2299:203:1;5477:19:0;;;;;;;;;;-1:-1:-1;5477:19:0;;;;-1:-1:-1;;;;;5477:19:0;;;7352:156;;;;;;;;;;-1:-1:-1;7352:156:0;;;;;:::i;:::-;;:::i;6857:133::-;;;;;;;;;;-1:-1:-1;6857:133:0;;;;;:::i;:::-;-1:-1:-1;;;;;6959:19:0;;;6941:7;6959:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;6857:133;5446:24;;;;;;;;;;-1:-1:-1;5446:24:0;;;;-1:-1:-1;;;;;5446:24:0;;;6998:216;7102:10;7073:4;7090:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;7090:32:0;;;;;;;;;;:41;;;7147:37;7073:4;;7090:32;;7147:37;;;;7125:6;160:25:1;;148:2;133:18;;14:177;7147:37:0;;;;;;;;-1:-1:-1;7202:4:0;6998:216;;;;;:::o;7516:370::-;-1:-1:-1;;;;;7636:19:0;;7616:4;7636:19;;;:11;:19;;;;;;;;7656:10;7636:31;;;;;;;;-1:-1:-1;;7636:52:0;7633:186;;7738:69;;;;;;;;;;;-1:-1:-1;;;7738:69:0;;;;;;;;-1:-1:-1;;;;;7738:19:0;;-1:-1:-1;7738:19:0;;;:11;:19;;;;;7758:10;7738:31;;;;;;;;;;:69;;7774:6;;7738:35;:69::i;:::-;-1:-1:-1;;;;;7704:19:0;;;;;;:11;:19;;;;;;;;7724:10;7704:31;;;;;;;:103;7633:186;7838:40;7852:6;7860:9;7871:6;7838:13;:40::i;:::-;7831:47;;7516:370;;;;;;:::o;7222:122::-;7277:4;7301:35;7309:7;-1:-1:-1;;7301:7:0;:35::i;1687:131::-;1633:4;1668:5;-1:-1:-1;;;;;1668:5:0;1539:10;1657:16;1523:38;;;;-1:-1:-1;;;1523:38:0;;3328:2:1;1523:38:0;;;3310:21:1;3367:1;3347:18;;;3340:29;-1:-1:-1;;;3385:18:1;;;3378:36;3431:18;;1523:38:0;;;;;;;;;1760:1:::1;1744:18:::0;;-1:-1:-1;;;;;;1744:18:0::1;::::0;;1778:32:::1;::::0;2445:51:1;;;1778:32:0::1;::::0;2433:2:1;2418:18;1778:32:0::1;;;;;;;1687:131::o:0;11451:91::-;1633:4;1668:5;-1:-1:-1;;;;;1668:5:0;1539:10;1657:16;1523:38;;;;-1:-1:-1;;;1523:38:0;;3328:2:1;1523:38:0;;;3310:21:1;3367:1;3347:18;;;3340:29;-1:-1:-1;;;3385:18:1;;;3378:36;3431:18;;1523:38:0;3126:329:1;1523:38:0;11522:12:::1;::::0;11503:16:::1;:31:::0;11451:91::o;7352:156::-;7432:4;7456:44;7470:10;7482:9;7493:6;7456:13;:44::i;3571:190::-;3657:7;3693:12;3685:6;;;;3677:29;;;;-1:-1:-1;;;3677:29:0;;;;;;;;:::i;:::-;-1:-1:-1;3717:9:0;3729:5;3733:1;3729;:5;:::i;:::-;3717:17;3571:190;-1:-1:-1;;;;;3571:190:0:o;7894:994::-;8006:6;;7986:4;;8006:6;;8003:63;;;8022:41;8037:6;8045:9;8056:6;8022:14;:41::i;:::-;8015:48;;;;8003:63;8103:4;;-1:-1:-1;;;;;8090:17:0;;;8103:4;;8090:17;;;;:38;;-1:-1:-1;8124:4:0;;-1:-1:-1;;;;;8111:17:0;;;8124:4;;8111:17;;8090:38;8086:200;;;-1:-1:-1;;;;;8153:26:0;;;;;;:15;:26;;;;;;;;;:79;;-1:-1:-1;8216:16:0;;-1:-1:-1;;;;;8183:20:0;;;;;;:9;:20;;;;;;:29;;8206:6;;8183:29;:::i;:::-;:49;;8153:79;8145:129;;;;-1:-1:-1;;;8145:129:0;;4057:2:1;8145:129:0;;;4039:21:1;4096:2;4076:18;;;4069:30;4135:34;4115:18;;;4108:62;-1:-1:-1;;;4186:18:1;;;4179:35;4231:19;;8145:129:0;3855:401:1;8145:129:0;8309:16;:14;:16::i;:::-;:37;;;;-1:-1:-1;8342:4:0;;-1:-1:-1;;;;;8329:17:0;;;8342:4;;8329:17;8309:37;:61;;;;-1:-1:-1;;;;;;8351:19:0;;;;;;:11;:19;;;;;;;;8350:20;8309:61;:85;;;;;8383:11;;8374:6;:20;8309:85;8306:104;;;8397:10;:8;:10::i;:::-;-1:-1:-1;;;;;9325:19:0;;8423:22;9325:19;;;:11;:19;;;;;;;;9324:20;8448:56;;8498:6;8448:56;;;8472:23;8480:6;8488;8472:7;:23::i;:::-;8423:81;;8515:18;8538:21;8552:6;-1:-1:-1;;;;;9325:19:0;9300:4;9325:19;;;:11;:19;;;;;;;;9324:20;;9238:114;8538:21;8537:22;:63;;;;-1:-1:-1;8584:16:0;;-1:-1:-1;;;;;8563:17:0;;;;;;:9;:17;;;;;;:37;;8537:63;8536:99;;8629:6;8536:99;;;8604:23;8613:14;8604:6;:23;:::i;:::-;8515:120;;8666:57;8688:10;8666:57;;;;;;;;;;;;;-1:-1:-1;;;8666:57:0;;;:9;:17;8676:6;-1:-1:-1;;;;;8666:17:0;-1:-1:-1;;;;;8666:17:0;;;;;;;;;;;;;:21;;:57;;;;;:::i;:::-;-1:-1:-1;;;;;8646:17:0;;;;;;;:9;:17;;;;;;:77;;;;8757:20;;;;;;;:40;;8782:14;8757:24;:40::i;:::-;-1:-1:-1;;;;;8734:20:0;;;;;;;:9;:20;;;;;;;:63;;;;8815:43;;;;;;;;;;8843:14;160:25:1;;148:2;133:18;;14:177;8815:43:0;;;;;;;;-1:-1:-1;8876:4:0;;7894:994;-1:-1:-1;;;;;7894:994:0:o;8900:330::-;9030:53;;;;;;;;;;;-1:-1:-1;;;9030:53:0;;;;;;;;-1:-1:-1;;;;;9030:17:0;;8993:4;9030:17;;;:9;:17;;;;;;;:53;;9052:6;;9030:21;:53::i;:::-;-1:-1:-1;;;;;9010:17:0;;;;;;;:9;:17;;;;;;:73;;;;9117:20;;;;;;;:32;;9142:6;9117:24;:32::i;:::-;-1:-1:-1;;;;;9094:20:0;;;;;;;:9;:20;;;;;;;:55;;;;9165:35;;;;;;;;;;9193:6;160:25:1;;148:2;133:18;;14:177;9165:35:0;;;;;;;;-1:-1:-1;9218:4:0;8900:330;;;;;:::o;9697:166::-;9771:6;;9746:4;;9771:6;;9770:7;:31;;;;-1:-1:-1;9790:11:0;;-1:-1:-1;;;9790:11:0;;;;9770:31;:85;;;;-1:-1:-1;9842:13:0;;9832:4;9814:24;;;;:9;:24;;;;;;:41;;9770:85;9763:92;;9697:166;:::o;9871:1572::-;5644:6;:13;;-1:-1:-1;;5644:13:0;5653:4;5644:13;;;9951::::1;::::0;10044:8:::1;::::0;10026:12:::1;::::0;5644:6;;10001:59:::1;::::0;10058:1:::1;::::0;10001:52:::1;::::0;;;9951:13;;10001:24:::1;:38::i;:::-;:42:::0;::::1;:52::i;:59::-;9975:85:::0;-1:-1:-1;10071:20:0::1;10094:41;:20:::0;9975:85;10094:24:::1;:41::i;:::-;10172:16;::::0;;10186:1:::1;10172:16:::0;;;;;::::1;::::0;;10071:64;;-1:-1:-1;10148:21:0::1;::::0;10172:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10172:16:0::1;10148:40;;10217:4;10199;10204:1;10199:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10199:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10243:6:::1;::::0;:13:::1;::::0;;-1:-1:-1;;;10243:13:0;;;;:6;;;::::1;::::0;:11:::1;::::0;:13:::1;::::0;;::::1;::::0;10199:7;;10243:13;;;;;:6;:13:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10233:4;10238:1;10233:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10233:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;:23;10327:6:::1;::::0;:188:::1;::::0;-1:-1:-1;;;10327:188:0;;10293:21:::1;::::0;10327:6;;;::::1;::::0;:57:::1;::::0;:188:::1;::::0;10399:12;;10269:21:::1;::::0;10442:4;;10469::::1;::::0;10489:15:::1;::::0;10327:188:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;10526:17;10546:40;10572:13;10546:21;:25;;:40;;;;:::i;:::-;10526:60;;10597:19;10619:33;10632:19;10649:1;10632:12;;:16;;:19;;;;:::i;:::-;10619:8;::::0;;:12:::1;:33::i;:::-;10597:55;;10663:26;10692:51;10741:1;10692:44;10724:11;10692:27;10706:12;;10692:9;:13;;:27;;;;:::i;:51::-;10663:80;;10754:26;10783:44;10815:11;10783:27;10797:12;;10783:9;:13;;:27;;;;:::i;:44::-;10901:20;::::0;10893:77:::1;::::0;10754:73;;-1:-1:-1;10843:21:0::1;::::0;-1:-1:-1;;;;;10901:20:0;;::::1;::::0;10960:5:::1;::::0;10754:73;;10843:21;10893:77;10843:21;10893:77;10754:73;10901:20;10960:5;10893:77:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10842:128;;;10989:16;10981:59;;;::::0;-1:-1:-1;;;10981:59:0;;6178:2:1;10981:59:0::1;::::0;::::1;6160:21:1::0;6217:2;6197:18;;;6190:30;6256:32;6236:18;;;6229:60;6306:18;;10981:59:0::1;5976:354:1::0;10981:59:0::1;11056:19:::0;;11053:383:::1;;11091:6;::::0;:265:::1;::::0;-1:-1:-1;;;11091:265:0;;11167:4:::1;11091:265;::::0;::::1;6676:34:1::0;6726:18;;;6719:34;;;11091:6:0::1;6769:18:1::0;;;6762:34;;;6812:18;;;6805:34;11265:42:0::1;6855:19:1::0;;;6848:44;11326:15:0::1;6908:19:1::0;;;6901:35;-1:-1:-1;;;;;11091:6:0;;::::1;::::0;:22:::1;::::0;11121:18;;6610:19:1;;11091:265:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11376:48:0::1;::::0;;7432:25:1;;;7488:2;7473:18;;7466:34;;;11376:48:0::1;::::0;-1:-1:-1;7405:18:1;11376:48:0::1;;;;;;;11053:383;-1:-1:-1::0;;5662:6:0;:14;;-1:-1:-1;;5662:14:0;;;-1:-1:-1;;;;;;;;9871:1572:0:o;9360:329::-;9427:7;9447:17;9467:40;9492:14;;9467:20;9478:8;;9467:6;:10;;:20;;;;:::i;:40::-;9563:4;9545:24;;;;:9;:24;;;;;;9447:60;;-1:-1:-1;9545:39:0;;9447:60;9545:28;:39::i;:::-;9536:4;9518:24;;;;:9;:24;;;;;;;:66;;;;9600:42;;-1:-1:-1;;;;;9600:42:0;;;;;;;9632:9;160:25:1;;148:2;133:18;;14:177;9600:42:0;;;;;;;;9660:21;:6;9671:9;9660:10;:21::i;:::-;9653:28;9360:329;-1:-1:-1;;;;9360:329:0:o;3244:179::-;3302:7;;3334:5;3338:1;3334;:5;:::i;:::-;3322:17;;3363:1;3358;:6;;3350:46;;;;-1:-1:-1;;;3350:46:0;;7713:2:1;3350:46:0;;;7695:21:1;7752:2;7732:18;;;7725:30;7791:29;7771:18;;;7764:57;7838:18;;3350:46:0;7511:351:1;3767:246:0;3825:7;3849:1;3854;3849:6;3845:47;;-1:-1:-1;3879:1:0;3872:8;;3845:47;3902:9;3914:5;3918:1;3914;:5;:::i;:::-;3902:17;-1:-1:-1;3947:1:0;3938:5;3942:1;3902:17;3938:5;:::i;:::-;:10;3930:56;;;;-1:-1:-1;;;3930:56:0;;8464:2:1;3930:56:0;;;8446:21:1;8503:2;8483:18;;;8476:30;8542:34;8522:18;;;8515:62;-1:-1:-1;;;8593:18:1;;;8586:31;8634:19;;3930:56:0;8262:397:1;4019:132:0;4077:7;4104:39;4108:1;4111;4104:39;;;;;;;;;;;;;;;;;:3;:39::i;3429:136::-;3487:7;3514:43;3518:1;3521;3514:43;;;;;;;;;;;;;;;;;:3;:43::i;4157:189::-;4243:7;4278:12;4271:5;4263:28;;;;-1:-1:-1;;;4263:28:0;;;;;;;;:::i;:::-;-1:-1:-1;4302:9:0;4314:5;4318:1;4314;:5;:::i;196:548:1:-;308:4;337:2;366;355:9;348:21;398:6;392:13;441:6;436:2;425:9;421:18;414:34;466:1;476:140;490:6;487:1;484:13;476:140;;;585:14;;;581:23;;575:30;551:17;;;570:2;547:26;540:66;505:10;;476:140;;;480:3;665:1;660:2;651:6;640:9;636:22;632:31;625:42;735:2;728;724:7;719:2;711:6;707:15;703:29;692:9;688:45;684:54;676:62;;;;196:548;;;;:::o;749:131::-;-1:-1:-1;;;;;824:31:1;;814:42;;804:70;;870:1;867;860:12;804:70;749:131;:::o;885:315::-;953:6;961;1014:2;1002:9;993:7;989:23;985:32;982:52;;;1030:1;1027;1020:12;982:52;1069:9;1056:23;1088:31;1113:5;1088:31;:::i;:::-;1138:5;1190:2;1175:18;;;;1162:32;;-1:-1:-1;;;885:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;1858:247::-;1917:6;1970:2;1958:9;1949:7;1945:23;1941:32;1938:52;;;1986:1;1983;1976:12;1938:52;2025:9;2012:23;2044:31;2069:5;2044:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;3460:127::-;3521:10;3516:3;3512:20;3509:1;3502:31;3552:4;3549:1;3542:15;3576:4;3573:1;3566:15;3592:128;3659:9;;;3680:11;;;3677:37;;;3694:18;;:::i;3725:125::-;3790:9;;;3811:10;;;3808:36;;;3824:18;;:::i;4393:127::-;4454:10;4449:3;4445:20;4442:1;4435:31;4485:4;4482:1;4475:15;4509:4;4506:1;4499:15;4525:251;4595:6;4648:2;4636:9;4627:7;4623:23;4619:32;4616:52;;;4664:1;4661;4654:12;4616:52;4696:9;4690:16;4715:31;4740:5;4715:31;:::i;4781:980::-;5043:4;5091:3;5080:9;5076:19;5122:6;5111:9;5104:25;5148:2;5186:6;5181:2;5170:9;5166:18;5159:34;5229:3;5224:2;5213:9;5209:18;5202:31;5253:6;5288;5282:13;5319:6;5311;5304:22;5357:3;5346:9;5342:19;5335:26;;5396:2;5388:6;5384:15;5370:29;;5417:1;5427:195;5441:6;5438:1;5435:13;5427:195;;;5506:13;;-1:-1:-1;;;;;5502:39:1;5490:52;;5597:15;;;;5562:12;;;;5538:1;5456:9;5427:195;;;-1:-1:-1;;;;;;;5678:32:1;;;;5673:2;5658:18;;5651:60;-1:-1:-1;;;5742:3:1;5727:19;5720:35;5639:3;4781:980;-1:-1:-1;;;4781:980:1:o;6947:306::-;7035:6;7043;7051;7104:2;7092:9;7083:7;7079:23;7075:32;7072:52;;;7120:1;7117;7110:12;7072:52;7149:9;7143:16;7133:26;;7199:2;7188:9;7184:18;7178:25;7168:35;;7243:2;7232:9;7228:18;7222:25;7212:35;;6947:306;;;;;:::o;7867:168::-;7940:9;;;7971;;7988:15;;;7982:22;;7968:37;7958:71;;8009:18;;:::i;8040:217::-;8080:1;8106;8096:132;;8150:10;8145:3;8141:20;8138:1;8131:31;8185:4;8182:1;8175:15;8213:4;8210:1;8203:15;8096:132;-1:-1:-1;8242:9:1;;8040:217::o

ipfs://7443413f1c8e96b0d0b294cca6989cd7eb70bc7d4d3642c357e851bef2dc2a29