Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract Solidify is Context, IERC ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function enableTrading()    - function updateMaxWalletsize(uint amo ...    - function setSwapTokensAtAmount(uint a ...    - function setTaxes(uint newBuy, uint n ...    - function removeLimits()    - function excludeFromFees(address acco ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-03-11
*/

//SPDX-License-Identifier: Unlicensed

/**
    Telegram: https://t.me/Solidifysecurity
    Website: https://solidifysecurity.finance/
    Audit Report: https://solidifysecurity.finance/audit/
    Twitter: https://x.com/solidifySscan?t=
    Telegram Audit Bot: https://t.me/SolidifySecurityBot

    Check out our audit done on PAAL Ai's smart contract: https://github.com/solidifyaudit/Smart-Contract-Audits/blob/main/March-2024/PAALAI.pdf

    Automated Analysis: Utilizing state-of-the-art tools to automatically scan code for known vulnerabilities and patterns indicative of security issues.
    Manual Review: Expert auditors conduct manual code review and analysis to uncover subtle bugs and logic flaws that automated tools might miss.
    Best Practices: Advising on security best practices, code optimization, and risk mitigation strategies to enhance the overall security posture of projects.


    ░██████╗░█████╗░██╗░░░░░██╗██████╗░██╗███████╗██╗░░░██╗
    ██╔════╝██╔══██╗██║░░░░░██║██╔══██╗██║██╔════╝╚██╗░██╔╝
    ╚█████╗░██║░░██║██║░░░░░██║██║░░██║██║█████╗░░░╚████╔╝░
    ░╚═══██╗██║░░██║██║░░░░░██║██║░░██║██║██╔══╝░░░░╚██╔╝░░
    ██████╔╝╚█████╔╝███████╗██║██████╔╝██║██║░░░░░░░░██║░░░
    ╚═════╝░░╚════╝░╚══════╝╚═╝╚═════╝░╚═╝╚═╝░░░░░░░░╚═╝░░░

**/

pragma solidity 0.8.24;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}

interface IERC20 {
    function totalSupply() external view returns (uint256);
    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);
}

contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor () {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    function owner() public view returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

}

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    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);
}

contract Solidify is Context, IERC20, Ownable {

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 200_000_000 * 10 ** _decimals;
    mapping (address => bool) private _excludedFromFee;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => uint256) private _balances;
    string private constant _name = unicode"Solidify Security";
    string private constant _symbol = unicode"SSCAN";
    bool private tradeOpen;
    uint256 public _maxWalletSize = _tTotal * 2 / 100;
    uint256 private _swapTokensAtAmount = _tTotal / 700;
    uint256 private _maxTaxSwap = _tTotal / 100;
    bool private inSwap;
    IUniswapV2Router02 uniswapV2Router;
    uint256 public _buyTax = 15;
    uint256 public _sellTax = 30;
    address private _uniswapV2Pair;
    address payable public _taxWallet;

    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }
    constructor () {
        _taxWallet = payable(_msgSender());
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _excludedFromFee[address(uniswapV2Router)] = true;
        _uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        _excludedFromFee[address(this)] = true;
        _excludedFromFee[msg.sender] = true;
        _balances[msg.sender] = _tTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    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 pure override returns (uint256) {
        return _tTotal;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function allowance(address owner, address spender) public view override returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()] - (amount));
        return true;
    }

    function _approve(address owner, address spender, uint256 amount) private {
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function _transfer(address from, address to, uint256 amount) private {
        uint256 taxAmount=0;
        if (!_excludedFromFee[from] && !_excludedFromFee[to] && to != owner()) {
            require(tradeOpen, "Solidify: Not open yet");

            taxAmount = amount * _buyTax / 100;

            if (to != _uniswapV2Pair) {
                require(balanceOf(to) + amount <= _maxWalletSize, "Solidify: Over max wallet size!");
            }

            if(to == _uniswapV2Pair){
                taxAmount = amount * _sellTax  / 100;
                require(_maxWalletSize < _tTotal, "Solidify: Over max wallet size!");
            }

            if (from == _uniswapV2Pair) {
                require(balanceOf(to) + amount <= _maxWalletSize, "Solidify: Over max wallet!");
            }

            uint256 contractBalance = balanceOf(address(this));
            if (!inSwap && to == _uniswapV2Pair && contractBalance>_swapTokensAtAmount) {
                swapTokensForEth(min(amount,min(contractBalance,_maxTaxSwap)));
            }
        }

        if(taxAmount > 0){
          _balances[address(this)] = _balances[address(this)] + (taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _balances[from] -= (amount);
        _balances[to] += amount - taxAmount;
        emit Transfer(from, to, amount - (taxAmount));
    }

    function min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }

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

    function enableTrading() external onlyOwner {
        tradeOpen = true;
    }

    function updateMaxWalletsize(uint amount) external onlyOwner {
        require(amount >= _tTotal / 500, "Minimimum set 0.4% value");
        _maxWalletSize = amount;
    }

    function setSwapTokensAtAmount(uint amount) external onlyOwner {
        _swapTokensAtAmount = amount;
    }

    function setTaxes(uint newBuy, uint newSell) external onlyOwner {
        _buyTax = newBuy;
        _sellTax  = newSell;
        require(newBuy <= 30, "MAX 30%");
        require(newSell <= 30, "MAX 30%");
    }

    function removeLimits() external onlyOwner {
        _buyTax=5;
        _sellTax=5;
    }

    function excludeFromFees(address account, bool status) external onlyOwner {
        _excludedFromFee[account] = status;
    }

    receive() external payable {}
}

• 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":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","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":"_buyTax","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_sellTax","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxWallet","outputs":[{"internalType":"address payable","name":"","type":"address"}],"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":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"bool","name":"status","type":"bool"}],"name":"excludeFromFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","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":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"setSwapTokensAtAmount","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newBuy","type":"uint256"},{"internalType":"uint256","name":"newSell","type":"uint256"}],"name":"setTaxes","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":"pure","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":"uint256","name":"amount","type":"uint256"}],"name":"updateMaxWalletsize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526064620000146009600a620004a9565b6200002490630bebc200620004c0565b62000031906002620004c0565b6200003d9190620004da565b6005556102bc620000516009600a620004a9565b6200006190630bebc200620004c0565b6200006d9190620004da565b6006556064620000806009600a620004a9565b6200009090630bebc200620004c0565b6200009c9190620004da565b600755600f600955601e600a55348015620000b5575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600c8054336001600160a01b031990911617905560088054610100600160a81b031916747a250d5630b4cf539739df2c5dacb4c659f2488d00178082556001600160a01b036101009182900481165f90815260016020818152604092839020805460ff19169092179091559354815163c45a015560e01b815291519390049091169263c45a0155926004838101938290030181865afa1580156200019c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620001c29190620004fa565b6001600160a01b031663c9c6539630600860019054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000223573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002499190620004fa565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801562000294573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002ba9190620004fa565b600b80546001600160a01b0319166001600160a01b0392909216919091179055305f908152600160208190526040808320805460ff19908116841790915533845292208054909216179055620003136009600a620004a9565b6200032390630bebc200620004c0565b335f908152600360205260409020556200033a3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620003736009600a620004a9565b6200038390630bebc200620004c0565b60405190815260200160405180910390a362000522565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620003ee57815f1904821115620003d257620003d26200039a565b80851615620003e057918102915b93841c9390800290620003b3565b509250929050565b5f826200040657506001620004a3565b816200041457505f620004a3565b81600181146200042d5760028114620004385762000458565b6001915050620004a3565b60ff8411156200044c576200044c6200039a565b50506001821b620004a3565b5060208310610133831016604e8410600b84101617156200047d575081810a620004a3565b620004898383620003ae565b805f19048211156200049f576200049f6200039a565b0290505b92915050565b5f620004b960ff841683620003f6565b9392505050565b8082028115828204841417620004a357620004a36200039a565b5f82620004f557634e487b7160e01b5f52601260045260245ffd5b500490565b5f602082840312156200050b575f80fd5b81516001600160a01b0381168114620004b9575f80fd5b61116580620005305f395ff3fe608060405260043610610129575f3560e01c80638a8c523c116100a8578063afa4f3b21161006d578063afa4f3b214610345578063c024666814610364578063c647b20e14610383578063ca9ec199146103a2578063dd62ed3e146103b7578063f908a83f146103fb575f80fd5b80638a8c523c146102b45780638da5cb5b146102c85780638f9a55c0146102e457806395d89b41146102f9578063a9059cbb14610326575f80fd5b806342a11095116100ee57806342a110951461020a5780636f268a991461021f57806370a0823114610256578063715018a61461028a578063751039fc146102a0575f80fd5b806306fdde0314610134578063095ea7b31461017f57806318160ddd146101ae57806323b872dd146101d0578063313ce567146101ef575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b50604080518082019091526011815270536f6c696469667920536563757269747960781b60208201525b6040516101769190610d78565b60405180910390f35b34801561018a575f80fd5b5061019e610199366004610ddb565b61041a565b6040519015158152602001610176565b3480156101b9575f80fd5b506101c2610430565b604051908152602001610176565b3480156101db575f80fd5b5061019e6101ea366004610e05565b610450565b3480156101fa575f80fd5b5060405160098152602001610176565b348015610215575f80fd5b506101c260095481565b34801561022a575f80fd5b50600c5461023e906001600160a01b031681565b6040516001600160a01b039091168152602001610176565b348015610261575f80fd5b506101c2610270366004610e43565b6001600160a01b03165f9081526003602052604090205490565b348015610295575f80fd5b5061029e6104a0565b005b3480156102ab575f80fd5b5061029e61051a565b3480156102bf575f80fd5b5061029e61054f565b3480156102d3575f80fd5b505f546001600160a01b031661023e565b3480156102ef575f80fd5b506101c260055481565b348015610304575f80fd5b5060408051808201909152600581526429a9a1a0a760d91b6020820152610169565b348015610331575f80fd5b5061019e610340366004610ddb565b610587565b348015610350575f80fd5b5061029e61035f366004610e5e565b610593565b34801561036f575f80fd5b5061029e61037e366004610e75565b6105c1565b34801561038e575f80fd5b5061029e61039d366004610eb0565b610614565b3480156103ad575f80fd5b506101c2600a5481565b3480156103c2575f80fd5b506101c26103d1366004610ed0565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610406575f80fd5b5061029e610415366004610e5e565b6106c1565b5f610426338484610765565b5060015b92915050565b5f61043d6009600a610ff0565b61044b90630bebc200610ffe565b905090565b5f61045c8484846107c5565b6001600160a01b0384165f90815260026020908152604080832033808552925290912054610496918691610491908690611015565b610765565b5060019392505050565b5f546001600160a01b031633146104d25760405162461bcd60e51b81526004016104c990611028565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105435760405162461bcd60e51b81526004016104c990611028565b60056009819055600a55565b5f546001600160a01b031633146105785760405162461bcd60e51b81526004016104c990611028565b6004805460ff19166001179055565b5f6104263384846107c5565b5f546001600160a01b031633146105bc5760405162461bcd60e51b81526004016104c990611028565b600655565b5f546001600160a01b031633146105ea5760405162461bcd60e51b81526004016104c990611028565b6001600160a01b03919091165f908152600160205260409020805460ff1916911515919091179055565b5f546001600160a01b0316331461063d5760405162461bcd60e51b81526004016104c990611028565b6009829055600a819055601e8211156106825760405162461bcd60e51b81526020600482015260076024820152664d41582033302560c81b60448201526064016104c9565b601e8111156106bd5760405162461bcd60e51b81526020600482015260076024820152664d41582033302560c81b60448201526064016104c9565b5050565b5f546001600160a01b031633146106ea5760405162461bcd60e51b81526004016104c990611028565b6101f46106f96009600a610ff0565b61070790630bebc200610ffe565b610711919061105d565b8110156107605760405162461bcd60e51b815260206004820152601860248201527f4d696e696d696d756d2073657420302e34252076616c7565000000000000000060448201526064016104c9565b600555565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383165f9081526001602052604081205460ff1615801561080557506001600160a01b0383165f9081526001602052604090205460ff16155b801561081e57505f546001600160a01b03848116911614155b15610aa65760045460ff1661086e5760405162461bcd60e51b815260206004820152601660248201527514dbdb1a591a599e4e88139bdd081bdc195b881e595d60521b60448201526064016104c9565b60646009548361087e9190610ffe565b610888919061105d565b600b549091506001600160a01b0384811691161461091a57600554826108c2856001600160a01b03165f9081526003602052604090205490565b6108cc919061107c565b111561091a5760405162461bcd60e51b815260206004820152601f60248201527f536f6c69646966793a204f766572206d61782077616c6c65742073697a65210060448201526064016104c9565b600b546001600160a01b03908116908416036109b6576064600a54836109409190610ffe565b61094a919061105d565b90506109586009600a610ff0565b61096690630bebc200610ffe565b600554106109b65760405162461bcd60e51b815260206004820152601f60248201527f536f6c69646966793a204f766572206d61782077616c6c65742073697a65210060448201526064016104c9565b600b546001600160a01b0390811690851603610a4657600554826109ee856001600160a01b03165f9081526003602052604090205490565b6109f8919061107c565b1115610a465760405162461bcd60e51b815260206004820152601a60248201527f536f6c69646966793a204f766572206d61782077616c6c65742100000000000060448201526064016104c9565b305f9081526003602052604090205460085460ff16158015610a755750600b546001600160a01b038581169116145b8015610a82575060065481115b15610aa457610aa4610a9f84610a9a84600754610bd2565b610bd2565b610be9565b505b8015610b1f57305f90815260036020526040902054610ac690829061107c565b305f81815260036020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610b169085815260200190565b60405180910390a35b6001600160a01b0384165f9081526003602052604081208054849290610b46908490611015565b90915550610b5690508183611015565b6001600160a01b0384165f9081526003602052604081208054909190610b7d90849061107c565b90915550506001600160a01b038084169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610bbb8486611015565b60405190815260200160405180910390a350505050565b5f818311610be05782610be2565b815b9392505050565b6008805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610c2957610c2961108f565b60200260200101906001600160a01b031690816001600160a01b031681525050600860019054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c9a573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610cbe91906110a3565b81600181518110610cd157610cd161108f565b6001600160a01b039283166020918202929092010152600854610cfc91309161010090041684610765565b600854600c5460405163791ac94760e01b81526001600160a01b0361010090930483169263791ac94792610d3d9287925f92889291169042906004016110be565b5f604051808303815f87803b158015610d54575f80fd5b505af1158015610d66573d5f803e3d5ffd5b50506008805460ff1916905550505050565b5f602080835283518060208501525f5b81811015610da457858101830151858201604001528201610d88565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610dd8575f80fd5b50565b5f8060408385031215610dec575f80fd5b8235610df781610dc4565b946020939093013593505050565b5f805f60608486031215610e17575f80fd5b8335610e2281610dc4565b92506020840135610e3281610dc4565b929592945050506040919091013590565b5f60208284031215610e53575f80fd5b8135610be281610dc4565b5f60208284031215610e6e575f80fd5b5035919050565b5f8060408385031215610e86575f80fd5b8235610e9181610dc4565b915060208301358015158114610ea5575f80fd5b809150509250929050565b5f8060408385031215610ec1575f80fd5b50508035926020909101359150565b5f8060408385031215610ee1575f80fd5b8235610eec81610dc4565b91506020830135610ea581610dc4565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115610f4a57815f1904821115610f3057610f30610efc565b80851615610f3d57918102915b93841c9390800290610f15565b509250929050565b5f82610f605750600161042a565b81610f6c57505f61042a565b8160018114610f825760028114610f8c57610fa8565b600191505061042a565b60ff841115610f9d57610f9d610efc565b50506001821b61042a565b5060208310610133831016604e8410600b8410161715610fcb575081810a61042a565b610fd58383610f10565b805f1904821115610fe857610fe8610efc565b029392505050565b5f610be260ff841683610f52565b808202811582820484141761042a5761042a610efc565b8181038181111561042a5761042a610efc565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f8261107757634e487b7160e01b5f52601260045260245ffd5b500490565b8082018082111561042a5761042a610efc565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156110b3575f80fd5b8151610be281610dc4565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561110e5784516001600160a01b0316835293830193918301916001016110e9565b50506001600160a01b0396909616606085015250505060800152939250505056fea264697066735822122050e21dffc70f2186bc706604570f3ac63f7ffc64e1de19df5d8ae5473c4cd41264736f6c63430008180033

0x608060405260043610610129575f3560e01c80638a8c523c116100a8578063afa4f3b21161006d578063afa4f3b214610345578063c024666814610364578063c647b20e14610383578063ca9ec199146103a2578063dd62ed3e146103b7578063f908a83f146103fb575f80fd5b80638a8c523c146102b45780638da5cb5b146102c85780638f9a55c0146102e457806395d89b41146102f9578063a9059cbb14610326575f80fd5b806342a11095116100ee57806342a110951461020a5780636f268a991461021f57806370a0823114610256578063715018a61461028a578063751039fc146102a0575f80fd5b806306fdde0314610134578063095ea7b31461017f57806318160ddd146101ae57806323b872dd146101d0578063313ce567146101ef575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b50604080518082019091526011815270536f6c696469667920536563757269747960781b60208201525b6040516101769190610d78565b60405180910390f35b34801561018a575f80fd5b5061019e610199366004610ddb565b61041a565b6040519015158152602001610176565b3480156101b9575f80fd5b506101c2610430565b604051908152602001610176565b3480156101db575f80fd5b5061019e6101ea366004610e05565b610450565b3480156101fa575f80fd5b5060405160098152602001610176565b348015610215575f80fd5b506101c260095481565b34801561022a575f80fd5b50600c5461023e906001600160a01b031681565b6040516001600160a01b039091168152602001610176565b348015610261575f80fd5b506101c2610270366004610e43565b6001600160a01b03165f9081526003602052604090205490565b348015610295575f80fd5b5061029e6104a0565b005b3480156102ab575f80fd5b5061029e61051a565b3480156102bf575f80fd5b5061029e61054f565b3480156102d3575f80fd5b505f546001600160a01b031661023e565b3480156102ef575f80fd5b506101c260055481565b348015610304575f80fd5b5060408051808201909152600581526429a9a1a0a760d91b6020820152610169565b348015610331575f80fd5b5061019e610340366004610ddb565b610587565b348015610350575f80fd5b5061029e61035f366004610e5e565b610593565b34801561036f575f80fd5b5061029e61037e366004610e75565b6105c1565b34801561038e575f80fd5b5061029e61039d366004610eb0565b610614565b3480156103ad575f80fd5b506101c2600a5481565b3480156103c2575f80fd5b506101c26103d1366004610ed0565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610406575f80fd5b5061029e610415366004610e5e565b6106c1565b5f610426338484610765565b5060015b92915050565b5f61043d6009600a610ff0565b61044b90630bebc200610ffe565b905090565b5f61045c8484846107c5565b6001600160a01b0384165f90815260026020908152604080832033808552925290912054610496918691610491908690611015565b610765565b5060019392505050565b5f546001600160a01b031633146104d25760405162461bcd60e51b81526004016104c990611028565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105435760405162461bcd60e51b81526004016104c990611028565b60056009819055600a55565b5f546001600160a01b031633146105785760405162461bcd60e51b81526004016104c990611028565b6004805460ff19166001179055565b5f6104263384846107c5565b5f546001600160a01b031633146105bc5760405162461bcd60e51b81526004016104c990611028565b600655565b5f546001600160a01b031633146105ea5760405162461bcd60e51b81526004016104c990611028565b6001600160a01b03919091165f908152600160205260409020805460ff1916911515919091179055565b5f546001600160a01b0316331461063d5760405162461bcd60e51b81526004016104c990611028565b6009829055600a819055601e8211156106825760405162461bcd60e51b81526020600482015260076024820152664d41582033302560c81b60448201526064016104c9565b601e8111156106bd5760405162461bcd60e51b81526020600482015260076024820152664d41582033302560c81b60448201526064016104c9565b5050565b5f546001600160a01b031633146106ea5760405162461bcd60e51b81526004016104c990611028565b6101f46106f96009600a610ff0565b61070790630bebc200610ffe565b610711919061105d565b8110156107605760405162461bcd60e51b815260206004820152601860248201527f4d696e696d696d756d2073657420302e34252076616c7565000000000000000060448201526064016104c9565b600555565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383165f9081526001602052604081205460ff1615801561080557506001600160a01b0383165f9081526001602052604090205460ff16155b801561081e57505f546001600160a01b03848116911614155b15610aa65760045460ff1661086e5760405162461bcd60e51b815260206004820152601660248201527514dbdb1a591a599e4e88139bdd081bdc195b881e595d60521b60448201526064016104c9565b60646009548361087e9190610ffe565b610888919061105d565b600b549091506001600160a01b0384811691161461091a57600554826108c2856001600160a01b03165f9081526003602052604090205490565b6108cc919061107c565b111561091a5760405162461bcd60e51b815260206004820152601f60248201527f536f6c69646966793a204f766572206d61782077616c6c65742073697a65210060448201526064016104c9565b600b546001600160a01b03908116908416036109b6576064600a54836109409190610ffe565b61094a919061105d565b90506109586009600a610ff0565b61096690630bebc200610ffe565b600554106109b65760405162461bcd60e51b815260206004820152601f60248201527f536f6c69646966793a204f766572206d61782077616c6c65742073697a65210060448201526064016104c9565b600b546001600160a01b0390811690851603610a4657600554826109ee856001600160a01b03165f9081526003602052604090205490565b6109f8919061107c565b1115610a465760405162461bcd60e51b815260206004820152601a60248201527f536f6c69646966793a204f766572206d61782077616c6c65742100000000000060448201526064016104c9565b305f9081526003602052604090205460085460ff16158015610a755750600b546001600160a01b038581169116145b8015610a82575060065481115b15610aa457610aa4610a9f84610a9a84600754610bd2565b610bd2565b610be9565b505b8015610b1f57305f90815260036020526040902054610ac690829061107c565b305f81815260036020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610b169085815260200190565b60405180910390a35b6001600160a01b0384165f9081526003602052604081208054849290610b46908490611015565b90915550610b5690508183611015565b6001600160a01b0384165f9081526003602052604081208054909190610b7d90849061107c565b90915550506001600160a01b038084169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610bbb8486611015565b60405190815260200160405180910390a350505050565b5f818311610be05782610be2565b815b9392505050565b6008805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610c2957610c2961108f565b60200260200101906001600160a01b031690816001600160a01b031681525050600860019054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c9a573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610cbe91906110a3565b81600181518110610cd157610cd161108f565b6001600160a01b039283166020918202929092010152600854610cfc91309161010090041684610765565b600854600c5460405163791ac94760e01b81526001600160a01b0361010090930483169263791ac94792610d3d9287925f92889291169042906004016110be565b5f604051808303815f87803b158015610d54575f80fd5b505af1158015610d66573d5f803e3d5ffd5b50506008805460ff1916905550505050565b5f602080835283518060208501525f5b81811015610da457858101830151858201604001528201610d88565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610dd8575f80fd5b50565b5f8060408385031215610dec575f80fd5b8235610df781610dc4565b946020939093013593505050565b5f805f60608486031215610e17575f80fd5b8335610e2281610dc4565b92506020840135610e3281610dc4565b929592945050506040919091013590565b5f60208284031215610e53575f80fd5b8135610be281610dc4565b5f60208284031215610e6e575f80fd5b5035919050565b5f8060408385031215610e86575f80fd5b8235610e9181610dc4565b915060208301358015158114610ea5575f80fd5b809150509250929050565b5f8060408385031215610ec1575f80fd5b50508035926020909101359150565b5f8060408385031215610ee1575f80fd5b8235610eec81610dc4565b91506020830135610ea581610dc4565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115610f4a57815f1904821115610f3057610f30610efc565b80851615610f3d57918102915b93841c9390800290610f15565b509250929050565b5f82610f605750600161042a565b81610f6c57505f61042a565b8160018114610f825760028114610f8c57610fa8565b600191505061042a565b60ff841115610f9d57610f9d610efc565b50506001821b61042a565b5060208310610133831016604e8410600b8410161715610fcb575081810a61042a565b610fd58383610f10565b805f1904821115610fe857610fe8610efc565b029392505050565b5f610be260ff841683610f52565b808202811582820484141761042a5761042a610efc565b8181038181111561042a5761042a610efc565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f8261107757634e487b7160e01b5f52601260045260245ffd5b500490565b8082018082111561042a5761042a610efc565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156110b3575f80fd5b8151610be281610dc4565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561110e5784516001600160a01b0316835293830193918301916001016110e9565b50506001600160a01b0396909616606085015250505060800152939250505056fea264697066735822122050e21dffc70f2186bc706604570f3ac63f7ffc64e1de19df5d8ae5473c4cd41264736f6c63430008180033

4247:5864:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5771:83;;;;;;;;;;-1:-1:-1;5841:5:0;;;;;;;;;;;;-1:-1:-1;;;5841:5:0;;;;5771:83;;;;;;;:::i;:::-;;;;;;;;6604:161;;;;;;;;;;-1:-1:-1;6604:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6604:161:0;1023:187:1;6048:95:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;6048:95:0;1215:177:1;6773:268:0;;;;;;;;;;-1:-1:-1;6773:268:0;;;;;:::i;:::-;;:::i;5957:83::-;;;;;;;;;;-1:-1:-1;5957:83:0;;4337:1;2000:36:1;;1988:2;1973:18;5957:83:0;1858:184:1;4982:27:0;;;;;;;;;;;;;;;;5088:33;;;;;;;;;;-1:-1:-1;5088:33:0;;;;-1:-1:-1;;;;;5088:33:0;;;;;;-1:-1:-1;;;;;2227:32:1;;;2209:51;;2197:2;2182:18;5088:33:0;2047:219:1;6151:119:0;;;;;;;;;;-1:-1:-1;6151:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6244:18:0;6217:7;6244:18;;;:9;:18;;;;;;;6151:119;3328:148;;;;;;;;;;;;;:::i;:::-;;9844:92;;;;;;;;;;;;;:::i;9233:79::-;;;;;;;;;;;;;:::i;3114:::-;;;;;;;;;;-1:-1:-1;3152:7:0;3179:6;-1:-1:-1;;;;;3179:6:0;3114:79;;4751:49;;;;;;;;;;;;;;;;5862:87;;;;;;;;;;-1:-1:-1;5934:7:0;;;;;;;;;;;;-1:-1:-1;;;5934:7:0;;;;5862:87;;6278:167;;;;;;;;;;-1:-1:-1;6278:167:0;;;;;:::i;:::-;;:::i;9502:110::-;;;;;;;;;;-1:-1:-1;9502:110:0;;;;;:::i;:::-;;:::i;9944:127::-;;;;;;;;;;-1:-1:-1;9944:127:0;;;;;:::i;:::-;;:::i;9620:216::-;;;;;;;;;;-1:-1:-1;9620:216:0;;;;;:::i;:::-;;:::i;5016:28::-;;;;;;;;;;;;;;;;6453:143;;;;;;;;;;-1:-1:-1;6453:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6561:18:0;;;6534:7;6561:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6453:143;9320:174;;;;;;;;;;-1:-1:-1;9320:174:0;;;;;:::i;:::-;;:::i;6604:161::-;6679:4;6696:39;2094:10;6719:7;6728:6;6696:8;:39::i;:::-;-1:-1:-1;6753:4:0;6604:161;;;;;:::o;6048:95::-;6101:7;4394:15;4337:1;4394:2;:15;:::i;:::-;4380:29;;:11;:29;:::i;:::-;6121:14;;6048:95;:::o;6773:268::-;6871:4;6888:36;6898:6;6906:9;6917:6;6888:9;:36::i;:::-;-1:-1:-1;;;;;6966:19:0;;;;;;:11;:19;;;;;;;;2094:10;6966:33;;;;;;;;;6935:76;;6944:6;;6966:44;;7003:6;;6966:44;:::i;:::-;6935:8;:76::i;:::-;-1:-1:-1;7029:4:0;6773:268;;;;;:::o;3328:148::-;3241:6;;-1:-1:-1;;;;;3241:6:0;2094:10;3241:22;3233:67;;;;-1:-1:-1;;;3233:67:0;;;;;;;:::i;:::-;;;;;;;;;3435:1:::1;3419:6:::0;;3398:40:::1;::::0;-1:-1:-1;;;;;3419:6:0;;::::1;::::0;3398:40:::1;::::0;3435:1;;3398:40:::1;3466:1;3449:19:::0;;-1:-1:-1;;;;;;3449:19:0::1;::::0;;3328:148::o;9844:92::-;3241:6;;-1:-1:-1;;;;;3241:6:0;2094:10;3241:22;3233:67;;;;-1:-1:-1;;;3233:67:0;;;;;;;:::i;:::-;9906:1:::1;9898:7;:9:::0;;;9918:8:::1;:10:::0;9844:92::o;9233:79::-;3241:6;;-1:-1:-1;;;;;3241:6:0;2094:10;3241:22;3233:67;;;;-1:-1:-1;;;3233:67:0;;;;;;;:::i;:::-;9288:9:::1;:16:::0;;-1:-1:-1;;9288:16:0::1;9300:4;9288:16;::::0;;9233:79::o;6278:167::-;6356:4;6373:42;2094:10;6397:9;6408:6;6373:9;:42::i;9502:110::-;3241:6;;-1:-1:-1;;;;;3241:6:0;2094:10;3241:22;3233:67;;;;-1:-1:-1;;;3233:67:0;;;;;;;:::i;:::-;9576:19:::1;:28:::0;9502:110::o;9944:127::-;3241:6;;-1:-1:-1;;;;;3241:6:0;2094:10;3241:22;3233:67;;;;-1:-1:-1;;;3233:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;10029:25:0;;;::::1;;::::0;;;:16:::1;:25;::::0;;;;:34;;-1:-1:-1;;10029:34:0::1;::::0;::::1;;::::0;;;::::1;::::0;;9944:127::o;9620:216::-;3241:6;;-1:-1:-1;;;;;3241:6:0;2094:10;3241:22;3233:67;;;;-1:-1:-1;;;3233:67:0;;;;;;;:::i;:::-;9695:7:::1;:16:::0;;;9722:8:::1;:19:::0;;;9770:2:::1;9760:12:::0;::::1;;9752:32;;;::::0;-1:-1:-1;;;9752:32:0;;6361:2:1;9752:32:0::1;::::0;::::1;6343:21:1::0;6400:1;6380:18;;;6373:29;-1:-1:-1;;;6418:18:1;;;6411:37;6465:18;;9752:32:0::1;6159:330:1::0;9752:32:0::1;9814:2;9803:7;:13;;9795:33;;;::::0;-1:-1:-1;;;9795:33:0;;6361:2:1;9795:33:0::1;::::0;::::1;6343:21:1::0;6400:1;6380:18;;;6373:29;-1:-1:-1;;;6418:18:1;;;6411:37;6465:18;;9795:33:0::1;6159:330:1::0;9795:33:0::1;9620:216:::0;;:::o;9320:174::-;3241:6;;-1:-1:-1;;;;;3241:6:0;2094:10;3241:22;3233:67;;;;-1:-1:-1;;;3233:67:0;;;;;;;:::i;:::-;9420:3:::1;4394:15;4337:1;4394:2;:15;:::i;:::-;4380:29;::::0;:11:::1;:29;:::i;:::-;9410:13;;;;:::i;:::-;9400:6;:23;;9392:60;;;::::0;-1:-1:-1;;;9392:60:0;;6918:2:1;9392:60:0::1;::::0;::::1;6900:21:1::0;6957:2;6937:18;;;6930:30;6996:26;6976:18;;;6969:54;7040:18;;9392:60:0::1;6716:348:1::0;9392:60:0::1;9463:14;:23:::0;9320:174::o;7049:177::-;-1:-1:-1;;;;;7134:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7186:32;;1361:25:1;;;7186:32:0;;1334:18:1;7186:32:0;;;;;;;7049:177;;;:::o;7234:1397::-;-1:-1:-1;;;;;7349:22:0;;7314:17;7349:22;;;:16;:22;;;;;;;;7348:23;:48;;;;-1:-1:-1;;;;;;7376:20:0;;;;;;:16;:20;;;;;;;;7375:21;7348:48;:65;;;;-1:-1:-1;3152:7:0;3179:6;-1:-1:-1;;;;;7400:13:0;;;3179:6;;7400:13;;7348:65;7344:964;;;7438:9;;;;7430:44;;;;-1:-1:-1;;;7430:44:0;;7271:2:1;7430:44:0;;;7253:21:1;7310:2;7290:18;;;7283:30;-1:-1:-1;;;7329:18:1;;;7322:52;7391:18;;7430:44:0;7069:346:1;7430:44:0;7522:3;7512:7;;7503:6;:16;;;;:::i;:::-;:22;;;;:::i;:::-;7552:14;;7491:34;;-1:-1:-1;;;;;;7546:20:0;;;7552:14;;7546:20;7542:145;;7621:14;;7611:6;7595:13;7605:2;-1:-1:-1;;;;;6244:18:0;6217:7;6244:18;;;:9;:18;;;;;;;6151:119;7595:13;:22;;;;:::i;:::-;:40;;7587:84;;;;-1:-1:-1;;;7587:84:0;;7752:2:1;7587:84:0;;;7734:21:1;7791:2;7771:18;;;7764:30;7830:33;7810:18;;;7803:61;7881:18;;7587:84:0;7550:355:1;7587:84:0;7712:14;;-1:-1:-1;;;;;7712:14:0;;;7706:20;;;;7703:182;;7779:3;7767:8;;7758:6;:17;;;;:::i;:::-;:24;;;;:::i;:::-;7746:36;-1:-1:-1;4394:15:0;4337:1;4394:2;:15;:::i;:::-;4380:29;;:11;:29;:::i;:::-;7809:14;;:24;7801:68;;;;-1:-1:-1;;;7801:68:0;;7752:2:1;7801:68:0;;;7734:21:1;7791:2;7771:18;;;7764:30;7830:33;7810:18;;;7803:61;7881:18;;7801:68:0;7550:355:1;7801:68:0;7913:14;;-1:-1:-1;;;;;7913:14:0;;;7905:22;;;;7901:142;;7982:14;;7972:6;7956:13;7966:2;-1:-1:-1;;;;;6244:18:0;6217:7;6244:18;;;:9;:18;;;;;;;6151:119;7956:13;:22;;;;:::i;:::-;:40;;7948:79;;;;-1:-1:-1;;;7948:79:0;;8112:2:1;7948:79:0;;;8094:21:1;8151:2;8131:18;;;8124:30;8190:28;8170:18;;;8163:56;8236:18;;7948:79:0;7910:350:1;7948:79:0;8103:4;8059:23;6244:18;;;:9;:18;;;;;;8129:6;;;;8128:7;:31;;;;-1:-1:-1;8145:14:0;;-1:-1:-1;;;;;8139:20:0;;;8145:14;;8139:20;8128:31;:70;;;;;8179:19;;8163:15;:35;8128:70;8124:173;;;8219:62;8236:44;8240:6;8247:32;8251:15;8267:11;;8247:3;:32::i;:::-;8236:3;:44::i;:::-;8219:16;:62::i;:::-;7415:893;7344:964;8323:13;;8320:164;;8395:4;8377:24;;;;:9;:24;;;;;;:38;;8405:9;;8377:38;:::i;:::-;8368:4;8350:24;;;;:9;:24;;;;;;;:65;;;;8433:39;;-1:-1:-1;;;;;8433:39:0;;;;;;;8462:9;1361:25:1;;1349:2;1334:18;;1215:177;8433:39:0;;;;;;;;8320:164;-1:-1:-1;;;;;8494:15:0;;;;;;:9;:15;;;;;:27;;8514:6;;8494:15;:27;;8514:6;;8494:27;:::i;:::-;;;;-1:-1:-1;8549:18:0;;-1:-1:-1;8558:9:0;8549:6;:18;:::i;:::-;-1:-1:-1;;;;;8532:13:0;;;;;;:9;:13;;;;;:35;;:13;;;:35;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;8583:40:0;;;;;;;8602:20;8612:9;8602:6;:20;:::i;:::-;8583:40;;1361:25:1;;;1349:2;1334:18;8583:40:0;;;;;;;7303:1328;7234:1397;;;:::o;8639:98::-;8696:7;8723:1;8721;:3;8720:9;;8728:1;8720:9;;;8726:1;8720:9;8713:16;8639:98;-1:-1:-1;;;8639:98:0:o;8745:480::-;5162:6;:13;;-1:-1:-1;;5162:13:0;5171:4;5162:13;;;8847:16:::1;::::0;;8861:1:::1;8847:16:::0;;;;;::::1;::::0;;-1:-1:-1;;8847:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;8847:16:0::1;8823:40;;8892:4;8874;8879:1;8874:7;;;;;;;;:::i;:::-;;;;;;:23;-1:-1:-1::0;;;;;8874:23:0::1;;;-1:-1:-1::0;;;;;8874:23:0::1;;;::::0;::::1;8918:15;;;;;;;;;-1:-1:-1::0;;;;;8918:15:0::1;-1:-1:-1::0;;;;;8918:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8908:4;8913:1;8908:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;8908:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;8983:15:::1;::::0;8951:62:::1;::::0;8968:4:::1;::::0;8983:15:::1;::::0;::::1;;9001:11:::0;8951:8:::1;:62::i;:::-;9024:15;::::0;9166:10:::1;::::0;9024:193:::1;::::0;-1:-1:-1;;;9024:193:0;;-1:-1:-1;;;;;9024:15:0::1;::::0;;::::1;::::0;::::1;::::0;:66:::1;::::0;:193:::1;::::0;9105:11;;9131:1:::1;::::0;9147:4;;9166:10;::::1;::::0;9191:15:::1;::::0;9024:193:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5198:6:0;:14;;-1:-1:-1;;5198:14:0;;;-1:-1:-1;;;;8745:480:0:o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703: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;2271:247::-;2330:6;2383:2;2371:9;2362:7;2358:23;2354:32;2351:52;;;2399:1;2396;2389:12;2351:52;2438:9;2425:23;2457:31;2482:5;2457:31;:::i;2731:180::-;2790:6;2843:2;2831:9;2822:7;2818:23;2814:32;2811:52;;;2859:1;2856;2849:12;2811:52;-1:-1:-1;2882:23:1;;2731:180;-1:-1:-1;2731:180:1:o;2916:416::-;2981:6;2989;3042:2;3030:9;3021:7;3017:23;3013:32;3010:52;;;3058:1;3055;3048:12;3010:52;3097:9;3084:23;3116:31;3141:5;3116:31;:::i;:::-;3166:5;-1:-1:-1;3223:2:1;3208:18;;3195:32;3265:15;;3258:23;3246:36;;3236:64;;3296:1;3293;3286:12;3236:64;3319:7;3309:17;;;2916:416;;;;;:::o;3337:248::-;3405:6;3413;3466:2;3454:9;3445:7;3441:23;3437:32;3434:52;;;3482:1;3479;3472:12;3434:52;-1:-1:-1;;3505:23:1;;;3575:2;3560:18;;;3547:32;;-1:-1:-1;3337:248:1:o;3590:388::-;3658:6;3666;3719:2;3707:9;3698:7;3694:23;3690:32;3687:52;;;3735:1;3732;3725:12;3687:52;3774:9;3761:23;3793:31;3818:5;3793:31;:::i;:::-;3843:5;-1:-1:-1;3900:2:1;3885:18;;3872:32;3913:33;3872:32;3913:33;:::i;3983:127::-;4044:10;4039:3;4035:20;4032:1;4025:31;4075:4;4072:1;4065:15;4099:4;4096:1;4089:15;4115:416;4204:1;4241:5;4204:1;4255:270;4276:7;4266:8;4263:21;4255:270;;;4335:4;4331:1;4327:6;4323:17;4317:4;4314:27;4311:53;;;4344:18;;:::i;:::-;4394:7;4384:8;4380:22;4377:55;;;4414:16;;;;4377:55;4493:22;;;;4453:15;;;;4255:270;;;4259:3;4115:416;;;;;:::o;4536:806::-;4585:5;4615:8;4605:80;;-1:-1:-1;4656:1:1;4670:5;;4605:80;4704:4;4694:76;;-1:-1:-1;4741:1:1;4755:5;;4694:76;4786:4;4804:1;4799:59;;;;4872:1;4867:130;;;;4779:218;;4799:59;4829:1;4820:10;;4843:5;;;4867:130;4904:3;4894:8;4891:17;4888:43;;;4911:18;;:::i;:::-;-1:-1:-1;;4967:1:1;4953:16;;4982:5;;4779:218;;5081:2;5071:8;5068:16;5062:3;5056:4;5053:13;5049:36;5043:2;5033:8;5030:16;5025:2;5019:4;5016:12;5012:35;5009:77;5006:159;;;-1:-1:-1;5118:19:1;;;5150:5;;5006:159;5197:34;5222:8;5216:4;5197:34;:::i;:::-;5267:6;5263:1;5259:6;5255:19;5246:7;5243:32;5240:58;;;5278:18;;:::i;:::-;5316:20;;4536:806;-1:-1:-1;;;4536:806:1:o;5347:140::-;5405:5;5434:47;5475:4;5465:8;5461:19;5455:4;5434:47;:::i;5492:168::-;5565:9;;;5596;;5613:15;;;5607:22;;5593:37;5583:71;;5634:18;;:::i;5665:128::-;5732:9;;;5753:11;;;5750:37;;;5767:18;;:::i;5798:356::-;6000:2;5982:21;;;6019:18;;;6012:30;6078:34;6073:2;6058:18;;6051:62;6145:2;6130:18;;5798:356::o;6494:217::-;6534:1;6560;6550:132;;6604:10;6599:3;6595:20;6592:1;6585:31;6639:4;6636:1;6629:15;6667:4;6664:1;6657:15;6550:132;-1:-1:-1;6696:9:1;;6494:217::o;7420:125::-;7485:9;;;7506:10;;;7503:36;;;7519:18;;:::i;8397:127::-;8458:10;8453:3;8449:20;8446:1;8439:31;8489:4;8486:1;8479:15;8513:4;8510:1;8503:15;8529:251;8599:6;8652:2;8640:9;8631:7;8627:23;8623:32;8620:52;;;8668:1;8665;8658:12;8620:52;8700:9;8694:16;8719:31;8744:5;8719:31;:::i;8785:988::-;9055:4;9103:3;9092:9;9088:19;9134:6;9123:9;9116:25;9160:2;9198:6;9193:2;9182:9;9178:18;9171:34;9241:3;9236:2;9225:9;9221:18;9214:31;9265:6;9300;9294:13;9331:6;9323;9316:22;9369:3;9358:9;9354:19;9347:26;;9408:2;9400:6;9396:15;9382:29;;9429:1;9439:195;9453:6;9450:1;9447:13;9439:195;;;9518:13;;-1:-1:-1;;;;;9514:39:1;9502:52;;9609:15;;;;9574:12;;;;9550:1;9468:9;9439:195;;;-1:-1:-1;;;;;;;9690:32:1;;;;9685:2;9670:18;;9663:60;-1:-1:-1;;;9754:3:1;9739:19;9732:35;9651:3;8785:988;-1:-1:-1;;;8785:988:1:o

ipfs://50e21dffc70f2186bc706604570f3ac63f7ffc64e1de19df5d8ae5473c4cd412