Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH( library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair( interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(address spender, uin ...    - function transferFrom(  contract THOG is Context, IERC20, ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(    - function transferFrom(    - function _approve(address owner, addr ...    - function initTHOG()    - function _transfer(address from, addr ...    - function _tokenTransfer(address from, ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function rescue()    - function openTHOG()    - function _transferToken(address sende ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tho ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-07-28
*/

// SPDX-License-Identifier: MIT

/** 

$THOG - Theory Of Gravity
Sir Froggy Newtons Meme Token
May the $THOG be with you…
🐸🪐🍎

Website: https://thogoneth.vip
Game: https://thogoneth.vip/jumpgame/index.html

Twitter: https://x.com/thog_erc
Community: https://t.me/thogoneth

**/

pragma solidity 0.8.11;

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

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

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

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

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

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

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 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 THOG is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExcludedFromFee;
    mapping(address => bool) private bots;
    mapping(address => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = false;
    address payable private _thogWallet;

    uint256 private _initialBuyTax = 20;
    uint256 private _initialSellTax = 20;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 20;
    uint256 private _reduceSellTaxAt = 20;
    uint256 private _preventSwapBefore = 10;
    uint256 private _buyCount = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    string private constant _name = unicode"Theory Of Gravity";
    string private constant _symbol = unicode"THOG";
    uint256 public _maxTxAmount = _tTotal.mul(2).div(100);
    uint256 public _maxWalletSize = _tTotal.mul(2).div(100);
    uint256 public _taxSwapThreshold = 100 * 10 ** _decimals;
    uint256 public _maxTaxSwap = _tTotal.mul(1).div(100);

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap() {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor() {
        _thogWallet = payable(0xbF81ff8FeF03E558425E8B689F4800BbE25a48FB);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_thogWallet] = true;

        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()].sub(
                amount,
                "ERC20: transfer amount exceeds allowance"
            )
        );
        return true;
    }

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

    function initTHOG() external onlyOwner {
        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(
            address(this),
            uniswapV2Router.WETH()
        );
    }

    function _transfer(address from, address to, uint256 thogAmount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(thogAmount > 0, "Transfer amount must be greater than zero");
        if (!swapEnabled || inSwap) {
            _balances[from] = _balances[from] - thogAmount;
            _balances[to] = _balances[to] + thogAmount;
            emit Transfer(from, to, thogAmount);
            return;
        }
        if (from != owner() && to != owner()) {
            if (transferDelayEnabled) {
                if (
                    to != address(uniswapV2Router) &&
                    to != address(uniswapV2Pair)
                ) {
                    require(
                        _holderLastTransferTimestamp[tx.origin] < block.number,
                        "_transfer:: Transfer Delay enabled.  Only one purchase per block allowed."
                    );
                    _holderLastTransferTimestamp[tx.origin] = block.number;
                }
            }

            if (
                from == uniswapV2Pair &&
                to != address(uniswapV2Router) &&
                !_isExcludedFromFee[to]
            ) {
                require(thogAmount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(
                    balanceOf(to) + thogAmount <= _maxWalletSize,
                    "Exceeds the maxWalletSize."
                );
                _buyCount++;
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (
                !inSwap &&
                to == uniswapV2Pair &&
                swapEnabled &&
                _buyCount > _preventSwapBefore &&
                !_isExcludedFromFee[from] &&
                !_isExcludedFromFee[to]
            ) {
                if(contractTokenBalance > _taxSwapThreshold){
                    swapTokensForEth(
                        min(thogAmount, min(contractTokenBalance, _maxTaxSwap))
                    );
                }
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        _tokenTransfer(from, to, thogAmount);
    }

    function _tokenTransfer(address from, address to, uint256 thogAmount) internal {       
        uint256 tax = 0;
        uint256 tAmount = 0;
        if (!_isExcludedFromFee[from]) {
            tAmount = thogAmount.mul(++tax);
            tax = thogAmount
            .mul((_buyCount > _reduceBuyTaxAt) ? _finalBuyTax : _initialBuyTax)
            .div(100);
            if (to == uniswapV2Pair && from != address(this)) {
                tax = thogAmount
                    .mul(
                        (_buyCount > _reduceSellTaxAt)
                            ? _finalSellTax
                            : _initialSellTax
                    )
                    .div(100);
            }
        }
        if (tax > 0) {
            _balances[address(this)] = _balances[address(this)] + tax;
            emit Transfer(from, address(this), tax);
        }

        _transferToken(from, to, tAmount, thogAmount.sub(tax));
    }

    function removeLimits() external onlyOwner {
        _maxTxAmount = _tTotal;
        _maxWalletSize = _tTotal;
        transferDelayEnabled = false;
        emit MaxTxAmountUpdated(_tTotal);
    }

    function sendETHToFee(uint256 amount) private {
        _thogWallet.transfer(amount);
    }

    function rescue() external onlyOwner {
        sendETHToFee(address(this).balance);
    }

    receive() external payable {}

    function openTHOG() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }

    function _transferToken(address sender, address receipt, uint256 sendAmount, uint256 receiveAmount) internal { 
        _balances[sender] = _balances[sender] - sendAmount;
        _balances[receipt] = _balances[receipt] + receiveAmount;
        emit Transfer(sender, receipt, receiveAmount);
    }

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

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","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":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","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":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"initTHOG","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTHOG","outputs":[],"stateMutability":"nonpayable","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":"rescue","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":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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"}]

60806040526006805460ff1916905560146007819055600881905560006009818155600a828155600b849055600c93909355600d839055600e919091556200008f916064916200007b916002916200005791620004aa565b6200006790633b9aca00620004bb565b6200027d60201b620009e61790919060201c565b6200031160201b62000a6c1790919060201c565b600f55620000ac60646200007b6002620000576009600a620004aa565b601055620000bd6009600a620004aa565b620000ca906064620004bb565b601155620000e760646200007b6001620000576009600a620004aa565b6012556014805461ffff60a81b191690553480156200010557600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b03191674bf81ff8fef03e558425e8b689f4800bbe25a48fb001790556200017d6009600a620004aa565b6200018d90633b9aca00620004bb565b336000908152600160208190526040822092909255600390620001b86000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff19968716179055308152600390935281832080548516600190811790915560065461010090049091168352912080549092161790556200021c3390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002566009600a620004aa565b6200026690633b9aca00620004bb565b60405190815260200160405180910390a362000558565b6000826200028e575060006200030b565b60006200029c8385620004bb565b905082620002ab8583620004dd565b14620003085760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084015b60405180910390fd5b90505b92915050565b60006200030883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506200035b60201b60201c565b600081836200037f5760405162461bcd60e51b8152600401620002ff919062000500565b5060006200038e8486620004dd565b95945050505050565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003ee578160001904821115620003d257620003d262000397565b80851615620003e057918102915b93841c9390800290620003b2565b509250929050565b60008262000407575060016200030b565b8162000416575060006200030b565b81600181146200042f57600281146200043a576200045a565b60019150506200030b565b60ff8411156200044e576200044e62000397565b50506001821b6200030b565b5060208310610133831016604e8410600b84101617156200047f575081810a6200030b565b6200048b8383620003ad565b8060001904821115620004a257620004a262000397565b029392505050565b60006200030860ff841683620003f6565b6000816000190483118215151615620004d857620004d862000397565b500290565b600082620004fb57634e487b7160e01b600052601260045260246000fd5b500490565b600060208083528351808285015260005b818110156200052f5785810183015185820160400152820162000511565b8181111562000542576000604083870101525b50601f01601f1916929092016040019392505050565b6119d580620005686000396000f3fe6080604052600436106101235760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb1461032d578063ab746dcc1461034d578063bf474bed14610362578063c876d0b914610378578063dd62ed3e1461039257600080fd5b8063751039fc146102975780637d1db4a5146102ac5780638da5cb5b146102c25780638f9a55c0146102ea57806395d89b411461030057600080fd5b80631fbe1979116100e75780631fbe1979146101fb57806323b872dd14610210578063313ce5671461023057806370a082311461024c578063715018a61461028257600080fd5b8063039e429b1461012f57806306fdde0314610146578063095ea7b3146101925780630faee56f146101c257806318160ddd146101e657600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b506101446103d8565b005b34801561015257600080fd5b506040805180820190915260118152705468656f7279204f66204772617669747960781b60208201525b604051610189919061158a565b60405180910390f35b34801561019e57600080fd5b506101b26101ad3660046115f7565b6105d0565b6040519015158152602001610189565b3480156101ce57600080fd5b506101d860125481565b604051908152602001610189565b3480156101f257600080fd5b506101d86105e7565b34801561020757600080fd5b50610144610608565b34801561021c57600080fd5b506101b261022b366004611623565b61063d565b34801561023c57600080fd5b5060405160098152602001610189565b34801561025857600080fd5b506101d8610267366004611664565b6001600160a01b031660009081526001602052604090205490565b34801561028e57600080fd5b506101446106a6565b3480156102a357600080fd5b5061014461071a565b3480156102b857600080fd5b506101d8600f5481565b3480156102ce57600080fd5b506000546040516001600160a01b039091168152602001610189565b3480156102f657600080fd5b506101d860105481565b34801561030c57600080fd5b5060408051808201909152600481526354484f4760e01b602082015261017c565b34801561033957600080fd5b506101b26103483660046115f7565b6107d6565b34801561035957600080fd5b506101446107e3565b34801561036e57600080fd5b506101d860115481565b34801561038457600080fd5b506006546101b29060ff1681565b34801561039e57600080fd5b506101d86103ad366004611681565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6000546001600160a01b0316331461040b5760405162461bcd60e51b8152600401610402906116ba565b60405180910390fd5b601454600160a01b900460ff16156104655760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610402565b6013546001600160a01b031663f305d7194730610497816001600160a01b031660009081526001602052604090205490565b6000806104ac6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610514573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061053991906116ef565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610592573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105b6919061171d565b506014805462ff00ff60a01b19166201000160a01b179055565b60006105dd338484610aae565b5060015b92915050565b60006105f56009600a611839565b61060390633b9aca00611848565b905090565b6000546001600160a01b031633146106325760405162461bcd60e51b8152600401610402906116ba565b61063b47610bd3565b565b600061064a848484610c15565b61069c843361069785604051806060016040528060288152602001611978602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611149565b610aae565b5060019392505050565b6000546001600160a01b031633146106d05760405162461bcd60e51b8152600401610402906116ba565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146107445760405162461bcd60e51b8152600401610402906116ba565b6107506009600a611839565b61075e90633b9aca00611848565b600f5561076d6009600a611839565b61077b90633b9aca00611848565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107b56009600a611839565b6107c390633b9aca00611848565b60405190815260200160405180910390a1565b60006105dd338484610c15565b6000546001600160a01b0316331461080d5760405162461bcd60e51b8152600401610402906116ba565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556108569030906108486009600a611839565b61069790633b9aca00611848565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108a9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108cd9190611867565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561092f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109539190611867565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156109a0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109c49190611867565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b6000826109f5575060006105e1565b6000610a018385611848565b905082610a0e8583611884565b14610a655760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610402565b9392505050565b6000610a6583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611183565b6001600160a01b038316610b105760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610402565b6001600160a01b038216610b715760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610402565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015610c11573d6000803e3d6000fd5b5050565b6001600160a01b038316610c795760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610402565b6001600160a01b038216610cdb5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610402565b60008111610d3d5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610402565b601454600160b01b900460ff161580610d5f5750601454600160a81b900460ff165b15610e0c576001600160a01b038316600090815260016020526040902054610d889082906118a6565b6001600160a01b038085166000908152600160205260408082209390935590841681522054610db89082906118bd565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bc69085815260200190565b6000546001600160a01b03848116911614801590610e3857506000546001600160a01b03838116911614155b156111395760065460ff1615610f22576013546001600160a01b03838116911614801590610e7457506014546001600160a01b03838116911614155b15610f2257326000908152600560205260409020544311610f0f5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610402565b3260009081526005602052604090204390555b6014546001600160a01b038481169116148015610f4d57506013546001600160a01b03838116911614155b8015610f7257506001600160a01b03821660009081526003602052604090205460ff16155b1561105a57600f54811115610fc95760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610402565b60105481610fec846001600160a01b031660009081526001602052604090205490565b610ff691906118bd565b11156110445760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610402565b600e8054906000611054836118d5565b91905055505b30600090815260016020526040902054601454600160a81b900460ff1615801561109157506014546001600160a01b038481169116145b80156110a65750601454600160b01b900460ff165b80156110b55750600d54600e54115b80156110da57506001600160a01b03841660009081526003602052604090205460ff16155b80156110ff57506001600160a01b03831660009081526003602052604090205460ff16155b156111375760115481111561112b5761112b61112683611121846012546111b1565b6111b1565b6111c6565b4761113547610bd3565b505b505b611144838383611340565b505050565b6000818484111561116d5760405162461bcd60e51b8152600401610402919061158a565b50600061117a84866118a6565b95945050505050565b600081836111a45760405162461bcd60e51b8152600401610402919061158a565b50600061117a8486611884565b60008183116111c05782610a65565b50919050565b6014805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061120e5761120e6118f0565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611267573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061128b9190611867565b8160018151811061129e5761129e6118f0565b6001600160a01b0392831660209182029290920101526013546112c49130911684610aae565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906112fd908590600090869030904290600401611906565b600060405180830381600087803b15801561131757600080fd5b505af115801561132b573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6001600160a01b038316600090815260036020526040812054819060ff166113fb5761137761136e836118d5565b925083836109e6565b90506113a5606461139f600b54600e541161139457600754611398565b6009545b86906109e6565b90610a6c565b6014549092506001600160a01b0385811691161480156113ce57506001600160a01b0385163014155b156113fb576113f8606461139f600c54600e54116113ee57600854611398565b600a5486906109e6565b91505b8115611476573060009081526001602052604090205461141c9083906118bd565b30600081815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061146d9086815260200190565b60405180910390a35b61148b8585836114868787611492565b6114d4565b5050505050565b6000610a6583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611149565b6001600160a01b0384166000908152600160205260409020546114f89083906118a6565b6001600160a01b0380861660009081526001602052604080822093909355908516815220546115289082906118bd565b6001600160a01b0380851660008181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061157c9085815260200190565b60405180910390a350505050565b600060208083528351808285015260005b818110156115b75785810183015185820160400152820161159b565b818111156115c9576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b03811681146115f457600080fd5b50565b6000806040838503121561160a57600080fd5b8235611615816115df565b946020939093013593505050565b60008060006060848603121561163857600080fd5b8335611643816115df565b92506020840135611653816115df565b929592945050506040919091013590565b60006020828403121561167657600080fd5b8135610a65816115df565b6000806040838503121561169457600080fd5b823561169f816115df565b915060208301356116af816115df565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60008060006060848603121561170457600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561172f57600080fd5b81518015158114610a6557600080fd5b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117905781600019048211156117765761177661173f565b8085161561178357918102915b93841c939080029061175a565b509250929050565b6000826117a7575060016105e1565b816117b4575060006105e1565b81600181146117ca57600281146117d4576117f0565b60019150506105e1565b60ff8411156117e5576117e561173f565b50506001821b6105e1565b5060208310610133831016604e8410600b8410161715611813575081810a6105e1565b61181d8383611755565b80600019048211156118315761183161173f565b029392505050565b6000610a6560ff841683611798565b60008160001904831182151516156118625761186261173f565b500290565b60006020828403121561187957600080fd5b8151610a65816115df565b6000826118a157634e487b7160e01b600052601260045260246000fd5b500490565b6000828210156118b8576118b861173f565b500390565b600082198211156118d0576118d061173f565b500190565b60006000198214156118e9576118e961173f565b5060010190565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119565784516001600160a01b031683529383019391830191600101611931565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220889522f0ece7ba074122f28bca3b645b95044af0e874c9be152429862e0c408764736f6c634300080b0033

0x6080604052600436106101235760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb1461032d578063ab746dcc1461034d578063bf474bed14610362578063c876d0b914610378578063dd62ed3e1461039257600080fd5b8063751039fc146102975780637d1db4a5146102ac5780638da5cb5b146102c25780638f9a55c0146102ea57806395d89b411461030057600080fd5b80631fbe1979116100e75780631fbe1979146101fb57806323b872dd14610210578063313ce5671461023057806370a082311461024c578063715018a61461028257600080fd5b8063039e429b1461012f57806306fdde0314610146578063095ea7b3146101925780630faee56f146101c257806318160ddd146101e657600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b506101446103d8565b005b34801561015257600080fd5b506040805180820190915260118152705468656f7279204f66204772617669747960781b60208201525b604051610189919061158a565b60405180910390f35b34801561019e57600080fd5b506101b26101ad3660046115f7565b6105d0565b6040519015158152602001610189565b3480156101ce57600080fd5b506101d860125481565b604051908152602001610189565b3480156101f257600080fd5b506101d86105e7565b34801561020757600080fd5b50610144610608565b34801561021c57600080fd5b506101b261022b366004611623565b61063d565b34801561023c57600080fd5b5060405160098152602001610189565b34801561025857600080fd5b506101d8610267366004611664565b6001600160a01b031660009081526001602052604090205490565b34801561028e57600080fd5b506101446106a6565b3480156102a357600080fd5b5061014461071a565b3480156102b857600080fd5b506101d8600f5481565b3480156102ce57600080fd5b506000546040516001600160a01b039091168152602001610189565b3480156102f657600080fd5b506101d860105481565b34801561030c57600080fd5b5060408051808201909152600481526354484f4760e01b602082015261017c565b34801561033957600080fd5b506101b26103483660046115f7565b6107d6565b34801561035957600080fd5b506101446107e3565b34801561036e57600080fd5b506101d860115481565b34801561038457600080fd5b506006546101b29060ff1681565b34801561039e57600080fd5b506101d86103ad366004611681565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6000546001600160a01b0316331461040b5760405162461bcd60e51b8152600401610402906116ba565b60405180910390fd5b601454600160a01b900460ff16156104655760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610402565b6013546001600160a01b031663f305d7194730610497816001600160a01b031660009081526001602052604090205490565b6000806104ac6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610514573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061053991906116ef565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610592573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105b6919061171d565b506014805462ff00ff60a01b19166201000160a01b179055565b60006105dd338484610aae565b5060015b92915050565b60006105f56009600a611839565b61060390633b9aca00611848565b905090565b6000546001600160a01b031633146106325760405162461bcd60e51b8152600401610402906116ba565b61063b47610bd3565b565b600061064a848484610c15565b61069c843361069785604051806060016040528060288152602001611978602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611149565b610aae565b5060019392505050565b6000546001600160a01b031633146106d05760405162461bcd60e51b8152600401610402906116ba565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146107445760405162461bcd60e51b8152600401610402906116ba565b6107506009600a611839565b61075e90633b9aca00611848565b600f5561076d6009600a611839565b61077b90633b9aca00611848565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107b56009600a611839565b6107c390633b9aca00611848565b60405190815260200160405180910390a1565b60006105dd338484610c15565b6000546001600160a01b0316331461080d5760405162461bcd60e51b8152600401610402906116ba565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556108569030906108486009600a611839565b61069790633b9aca00611848565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108a9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108cd9190611867565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561092f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109539190611867565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156109a0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109c49190611867565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b6000826109f5575060006105e1565b6000610a018385611848565b905082610a0e8583611884565b14610a655760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610402565b9392505050565b6000610a6583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611183565b6001600160a01b038316610b105760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610402565b6001600160a01b038216610b715760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610402565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015610c11573d6000803e3d6000fd5b5050565b6001600160a01b038316610c795760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610402565b6001600160a01b038216610cdb5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610402565b60008111610d3d5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610402565b601454600160b01b900460ff161580610d5f5750601454600160a81b900460ff165b15610e0c576001600160a01b038316600090815260016020526040902054610d889082906118a6565b6001600160a01b038085166000908152600160205260408082209390935590841681522054610db89082906118bd565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bc69085815260200190565b6000546001600160a01b03848116911614801590610e3857506000546001600160a01b03838116911614155b156111395760065460ff1615610f22576013546001600160a01b03838116911614801590610e7457506014546001600160a01b03838116911614155b15610f2257326000908152600560205260409020544311610f0f5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610402565b3260009081526005602052604090204390555b6014546001600160a01b038481169116148015610f4d57506013546001600160a01b03838116911614155b8015610f7257506001600160a01b03821660009081526003602052604090205460ff16155b1561105a57600f54811115610fc95760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610402565b60105481610fec846001600160a01b031660009081526001602052604090205490565b610ff691906118bd565b11156110445760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610402565b600e8054906000611054836118d5565b91905055505b30600090815260016020526040902054601454600160a81b900460ff1615801561109157506014546001600160a01b038481169116145b80156110a65750601454600160b01b900460ff165b80156110b55750600d54600e54115b80156110da57506001600160a01b03841660009081526003602052604090205460ff16155b80156110ff57506001600160a01b03831660009081526003602052604090205460ff16155b156111375760115481111561112b5761112b61112683611121846012546111b1565b6111b1565b6111c6565b4761113547610bd3565b505b505b611144838383611340565b505050565b6000818484111561116d5760405162461bcd60e51b8152600401610402919061158a565b50600061117a84866118a6565b95945050505050565b600081836111a45760405162461bcd60e51b8152600401610402919061158a565b50600061117a8486611884565b60008183116111c05782610a65565b50919050565b6014805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061120e5761120e6118f0565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611267573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061128b9190611867565b8160018151811061129e5761129e6118f0565b6001600160a01b0392831660209182029290920101526013546112c49130911684610aae565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906112fd908590600090869030904290600401611906565b600060405180830381600087803b15801561131757600080fd5b505af115801561132b573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6001600160a01b038316600090815260036020526040812054819060ff166113fb5761137761136e836118d5565b925083836109e6565b90506113a5606461139f600b54600e541161139457600754611398565b6009545b86906109e6565b90610a6c565b6014549092506001600160a01b0385811691161480156113ce57506001600160a01b0385163014155b156113fb576113f8606461139f600c54600e54116113ee57600854611398565b600a5486906109e6565b91505b8115611476573060009081526001602052604090205461141c9083906118bd565b30600081815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061146d9086815260200190565b60405180910390a35b61148b8585836114868787611492565b6114d4565b5050505050565b6000610a6583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611149565b6001600160a01b0384166000908152600160205260409020546114f89083906118a6565b6001600160a01b0380861660009081526001602052604080822093909355908516815220546115289082906118bd565b6001600160a01b0380851660008181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061157c9085815260200190565b60405180910390a350505050565b600060208083528351808285015260005b818110156115b75785810183015185820160400152820161159b565b818111156115c9576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b03811681146115f457600080fd5b50565b6000806040838503121561160a57600080fd5b8235611615816115df565b946020939093013593505050565b60008060006060848603121561163857600080fd5b8335611643816115df565b92506020840135611653816115df565b929592945050506040919091013590565b60006020828403121561167657600080fd5b8135610a65816115df565b6000806040838503121561169457600080fd5b823561169f816115df565b915060208301356116af816115df565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60008060006060848603121561170457600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561172f57600080fd5b81518015158114610a6557600080fd5b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117905781600019048211156117765761177661173f565b8085161561178357918102915b93841c939080029061175a565b509250929050565b6000826117a7575060016105e1565b816117b4575060006105e1565b81600181146117ca57600281146117d4576117f0565b60019150506105e1565b60ff8411156117e5576117e561173f565b50506001821b6105e1565b5060208310610133831016604e8410600b8410161715611813575081810a6105e1565b61181d8383611755565b80600019048211156118315761183161173f565b029392505050565b6000610a6560ff841683611798565b60008160001904831182151516156118625761186261173f565b500290565b60006020828403121561187957600080fd5b8151610a65816115df565b6000826118a157634e487b7160e01b600052601260045260246000fd5b500490565b6000828210156118b8576118b861173f565b500390565b600082198211156118d0576118d061173f565b500190565b60006000198214156118e9576118e961173f565b5060010190565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119565784516001600160a01b031683529383019391830191600101611931565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220889522f0ece7ba074122f28bca3b645b95044af0e874c9be152429862e0c408764736f6c634300080b0033

4003:9506:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12114:480;;;;;;;;;;;;;:::i;:::-;;5985:83;;;;;;;;;;-1:-1:-1;6055:5:0;;;;;;;;;;;;-1:-1:-1;;;6055:5:0;;;;5985:83;;;;;;;:::i;:::-;;;;;;;;6868:186;;;;;;;;;;-1:-1:-1;6868:186:0;;;;;:::i;:::-;;:::i;:::-;;;1237:14:1;;1230:22;1212:41;;1200:2;1185:18;6868:186:0;1072:187:1;5227:52:0;;;;;;;;;;;;;;;;;;;1410:25:1;;;1398:2;1383:18;5227:52:0;1264:177:1;6262:95:0;;;;;;;;;;;;;:::i;11978:91::-;;;;;;;;;;;;;:::i;7062:446::-;;;;;;;;;;-1:-1:-1;7062:446:0;;;;;:::i;:::-;;:::i;6171:83::-;;;;;;;;;;-1:-1:-1;6171:83:0;;4845:1;2049:36:1;;2037:2;2022:18;6171:83:0;1907:184:1;6365:119:0;;;;;;;;;;-1:-1:-1;6365:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6458:18:0;6431:7;6458:18;;;:9;:18;;;;;;;6365:119;2902:148;;;;;;;;;;;;;:::i;11668:201::-;;;;;;;;;;;;;:::i;5042:53::-;;;;;;;;;;;;;;;;2688:79;;;;;;;;;;-1:-1:-1;2726:7:0;2753:6;2688:79;;-1:-1:-1;;;;;2753:6:0;;;2494:51:1;;2482:2;2467:18;2688:79:0;2348:203:1;5102:55:0;;;;;;;;;;;;;;;;6076:87;;;;;;;;;;-1:-1:-1;6148:7:0;;;;;;;;;;;;-1:-1:-1;;;6148:7:0;;;;6076:87;;6492:192;;;;;;;;;;-1:-1:-1;6492:192:0;;;;;:::i;:::-;;:::i;7859:389::-;;;;;;;;;;;;;:::i;5164:56::-;;;;;;;;;;;;;;;;4384:40;;;;;;;;;;-1:-1:-1;4384:40:0;;;;;;;;6692:168;;;;;;;;;;-1:-1:-1;6692:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;6825:18:0;;;6798:7;6825:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6692:168;12114:480;2815:6;;-1:-1:-1;;;;;2815:6:0;447:10;2815:22;2807:67;;;;-1:-1:-1;;;2807:67:0;;;;;;;:::i;:::-;;;;;;;;;12173:11:::1;::::0;-1:-1:-1;;;12173:11:0;::::1;;;12172:12;12164:48;;;::::0;-1:-1:-1;;;12164:48:0;;3512:2:1;12164:48:0::1;::::0;::::1;3494:21:1::0;3551:2;3531:18;;;3524:30;3590:25;3570:18;;;3563:53;3633:18;;12164:48:0::1;3310:347:1::0;12164:48:0::1;12223:15;::::0;-1:-1:-1;;;;;12223:15:0::1;:31;12262:21;12307:4;12327:24;12307:4:::0;-1:-1:-1;;;;;6458:18:0;6431:7;6458:18;;;:9;:18;;;;;;;6365:119;12327:24:::1;12366:1;12382::::0;12398:7:::1;2726::::0;2753:6;-1:-1:-1;;;;;2753:6:0;;2688:79;12398:7:::1;12223:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12223:223:0;;;-1:-1:-1;;;;;4021:15:1;;;12223:223:0::1;::::0;::::1;4003:34:1::0;4053:18;;;4046:34;;;;4096:18;;;4089:34;;;;4139:18;;;4132:34;4203:15;;;4182:19;;;4175:44;12420:15:0::1;4235:19:1::0;;;4228:35;3937:19;;12223:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12464:13:0::1;::::0;12495:15:::1;::::0;12457:71:::1;::::0;-1:-1:-1;;;12457:71:0;;-1:-1:-1;;;;;12495:15:0;;::::1;12457:71;::::0;::::1;4759:51:1::0;-1:-1:-1;;4826:18:1;;;4819:34;12464:13:0;::::1;::::0;-1:-1:-1;12457:29:0::1;::::0;4732:18:1;;12457:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12539:11:0::1;:18:::0;;-1:-1:-1;;;;12568:18:0;-1:-1:-1;;;12568:18:0;;;12114:480::o;6868:186::-;6968:4;6985:39;447:10;7008:7;7017:6;6985:8;:39::i;:::-;-1:-1:-1;7042:4:0;6868:186;;;;;:::o;6262:95::-;6315:7;4901:15;4845:1;4901:2;:15;:::i;:::-;4888:28;;:10;:28;:::i;:::-;6335:14;;6262:95;:::o;11978:91::-;2815:6;;-1:-1:-1;;;;;2815:6:0;447:10;2815:22;2807:67;;;;-1:-1:-1;;;2807:67:0;;;;;;;:::i;:::-;12026:35:::1;12039:21;12026:12;:35::i;:::-;11978:91::o:0;7062:446::-;7194:4;7211:36;7221:6;7229:9;7240:6;7211:9;:36::i;:::-;7258:220;7281:6;447:10;7329:138;7385:6;7329:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7329:19:0;;;;;;:11;:19;;;;;;;;447:10;7329:33;;;;;;;;;;:37;:138::i;:::-;7258:8;:220::i;:::-;-1:-1:-1;7496:4:0;7062:446;;;;;:::o;2902:148::-;2815:6;;-1:-1:-1;;;;;2815:6:0;447:10;2815:22;2807:67;;;;-1:-1:-1;;;2807:67:0;;;;;;;:::i;:::-;3009:1:::1;2993:6:::0;;2972:40:::1;::::0;-1:-1:-1;;;;;2993:6:0;;::::1;::::0;2972:40:::1;::::0;3009:1;;2972:40:::1;3040:1;3023:19:::0;;-1:-1:-1;;;;;;3023:19:0::1;::::0;;2902:148::o;11668:201::-;2815:6;;-1:-1:-1;;;;;2815:6:0;447:10;2815:22;2807:67;;;;-1:-1:-1;;;2807:67:0;;;;;;;:::i;:::-;4901:15:::1;4845:1;4901:2;:15;:::i;:::-;4888:28;::::0;:10:::1;:28;:::i;:::-;11722:12;:22:::0;4901:15:::1;4845:1;4901:2;:15;:::i;:::-;4888:28;::::0;:10:::1;:28;:::i;:::-;11755:14;:24:::0;11790:20:::1;:28:::0;;-1:-1:-1;;11790:28:0::1;::::0;;11834:27:::1;4901:15;4845:1;-1:-1:-1::0;4901:15:0::1;:::i;:::-;4888:28;::::0;:10:::1;:28;:::i;:::-;11834:27;::::0;1410:25:1;;;1398:2;1383:18;11834:27:0::1;;;;;;;11668:201::o:0;6492:192::-;6595:4;6612:42;447:10;6636:9;6647:6;6612:9;:42::i;7859:389::-;2815:6;;-1:-1:-1;;;;;2815:6:0;447:10;2815:22;2807:67;;;;-1:-1:-1;;;2807:67:0;;;;;;;:::i;:::-;7909:15:::1;:104:::0;;-1:-1:-1;;;;;;7909:104:0::1;7960:42;7909:104:::0;;::::1;::::0;;;8024:58:::1;::::0;8041:4:::1;::::0;4901:15:::1;4845:1;4901:2;:15;:::i;:::-;4888:28;::::0;:10:::1;:28;:::i;8024:58::-;8127:15;;;;;;;;;-1:-1:-1::0;;;;;8127:15:0::1;-1:-1:-1::0;;;;;8127:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;8109:55:0::1;;8187:4;8207:15;;;;;;;;;-1:-1:-1::0;;;;;8207:15:0::1;-1:-1:-1::0;;;;;8207:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8109:131;::::0;-1:-1:-1;;;;;;8109:131:0::1;::::0;;;;;;-1:-1:-1;;;;;7320:15:1;;;8109:131:0::1;::::0;::::1;7302:34:1::0;7372:15;;7352:18;;;7345:43;7237:18;;8109:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8093:13;:147:::0;;-1:-1:-1;;;;;;8093:147:0::1;-1:-1:-1::0;;;;;8093:147:0;;;::::1;::::0;;;::::1;::::0;;7859:389::o;1722:246::-;1780:7;1804:6;1800:47;;-1:-1:-1;1834:1:0;1827:8;;1800:47;1857:9;1869:5;1873:1;1869;:5;:::i;:::-;1857:17;-1:-1:-1;1902:1:0;1893:5;1897:1;1857:17;1893:5;:::i;:::-;:10;1885:56;;;;-1:-1:-1;;;1885:56:0;;7823:2:1;1885:56:0;;;7805:21:1;7862:2;7842:18;;;7835:30;7901:34;7881:18;;;7874:62;-1:-1:-1;;;7952:18:1;;;7945:31;7993:19;;1885:56:0;7621:397:1;1885:56:0;1959:1;1722:246;-1:-1:-1;;;1722:246:0:o;1976:132::-;2034:7;2061:39;2065:1;2068;2061:39;;;;;;;;;;;;;;;;;:3;:39::i;7516:335::-;-1:-1:-1;;;;;7609:19:0;;7601:68;;;;-1:-1:-1;;;7601:68:0;;8225:2:1;7601:68:0;;;8207:21:1;8264:2;8244:18;;;8237:30;8303:34;8283:18;;;8276:62;-1:-1:-1;;;8354:18:1;;;8347:34;8398:19;;7601:68:0;8023:400:1;7601:68:0;-1:-1:-1;;;;;7688:21:0;;7680:68;;;;-1:-1:-1;;;7680:68:0;;8630:2:1;7680:68:0;;;8612:21:1;8669:2;8649:18;;;8642:30;8708:34;8688:18;;;8681:62;-1:-1:-1;;;8759:18:1;;;8752:32;8801:19;;7680:68:0;8428:398:1;7680:68:0;-1:-1:-1;;;;;7759:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7811:32;;1410:25:1;;;7811:32:0;;1383:18:1;7811:32:0;;;;;;;;7516:335;;;:::o;11877:93::-;11934:11;;:28;;:11;;;;-1:-1:-1;;;;;11934:11:0;;:28;;;;;;;;;;;;:11;:28;;;;;;;;;;;;;;;;;;;;;11877:93;:::o;8256:2440::-;-1:-1:-1;;;;;8348:18:0;;8340:68;;;;-1:-1:-1;;;8340:68:0;;9033:2:1;8340:68:0;;;9015:21:1;9072:2;9052:18;;;9045:30;9111:34;9091:18;;;9084:62;-1:-1:-1;;;9162:18:1;;;9155:35;9207:19;;8340:68:0;8831:401:1;8340:68:0;-1:-1:-1;;;;;8427:16:0;;8419:64;;;;-1:-1:-1;;;8419:64:0;;9439:2:1;8419:64:0;;;9421:21:1;9478:2;9458:18;;;9451:30;9517:34;9497:18;;;9490:62;-1:-1:-1;;;9568:18:1;;;9561:33;9611:19;;8419:64:0;9237:399:1;8419:64:0;8515:1;8502:10;:14;8494:68;;;;-1:-1:-1;;;8494:68:0;;9843:2:1;8494:68:0;;;9825:21:1;9882:2;9862:18;;;9855:30;9921:34;9901:18;;;9894:62;-1:-1:-1;;;9972:18:1;;;9965:39;10021:19;;8494:68:0;9641:405:1;8494:68:0;8578:11;;-1:-1:-1;;;8578:11:0;;;;8577:12;;:22;;-1:-1:-1;8593:6:0;;-1:-1:-1;;;8593:6:0;;;;8577:22;8573:229;;;-1:-1:-1;;;;;8634:15:0;;;;;;:9;:15;;;;;;:28;;8652:10;;8634:28;:::i;:::-;-1:-1:-1;;;;;8616:15:0;;;;;;;:9;:15;;;;;;:46;;;;8693:13;;;;;;;:26;;8709:10;;8693:26;:::i;:::-;-1:-1:-1;;;;;8677:13:0;;;;;;;:9;:13;;;;;;;:42;;;;8739:30;;;;;;;;;;8758:10;1410:25:1;;1398:2;1383:18;;1264:177;8573:229:0;2726:7;2753:6;-1:-1:-1;;;;;8816:15:0;;;2753:6;;8816:15;;;;:32;;-1:-1:-1;2726:7:0;2753:6;-1:-1:-1;;;;;8835:13:0;;;2753:6;;8835:13;;8816:32;8812:1828;;;8869:20;;;;8865:522;;;8950:15;;-1:-1:-1;;;;;8936:30:0;;;8950:15;;8936:30;;;;:83;;-1:-1:-1;9005:13:0;;-1:-1:-1;;;;;8991:28:0;;;9005:13;;8991:28;;8936:83;8910:462;;;9125:9;9096:39;;;;:28;:39;;;;;;9138:12;-1:-1:-1;9062:213:0;;;;-1:-1:-1;;;9062:213:0;;10516:2:1;9062:213:0;;;10498:21:1;10555:2;10535:18;;;10528:30;10594:34;10574:18;;;10567:62;10665:34;10645:18;;;10638:62;-1:-1:-1;;;10716:19:1;;;10709:40;10766:19;;9062:213:0;10314:477:1;9062:213:0;9327:9;9298:39;;;;:28;:39;;;;;9340:12;9298:54;;8910:462;9433:13;;-1:-1:-1;;;;;9425:21:0;;;9433:13;;9425:21;:72;;;;-1:-1:-1;9481:15:0;;-1:-1:-1;;;;;9467:30:0;;;9481:15;;9467:30;;9425:72;:116;;;;-1:-1:-1;;;;;;9519:22:0;;;;;;:18;:22;;;;;;;;9518:23;9425:116;9403:446;;;9598:12;;9584:10;:26;;9576:64;;;;-1:-1:-1;;;9576:64:0;;10998:2:1;9576:64:0;;;10980:21:1;11037:2;11017:18;;;11010:30;11076:27;11056:18;;;11049:55;11121:18;;9576:64:0;10796:349:1;9576:64:0;9719:14;;9705:10;9689:13;9699:2;-1:-1:-1;;;;;6458:18:0;6431:7;6458:18;;;:9;:18;;;;;;;6365:119;9689:13;:26;;;;:::i;:::-;:44;;9659:144;;;;-1:-1:-1;;;9659:144:0;;11352:2:1;9659:144:0;;;11334:21:1;11391:2;11371:18;;;11364:30;11430:28;11410:18;;;11403:56;11476:18;;9659:144:0;11150:350:1;9659:144:0;9822:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9403:446;9914:4;9865:28;6458:18;;;:9;:18;;;;;;9958:6;;-1:-1:-1;;;9958:6:0;;;;9957:7;:47;;;;-1:-1:-1;9991:13:0;;-1:-1:-1;;;;;9985:19:0;;;9991:13;;9985:19;9957:47;:79;;;;-1:-1:-1;10025:11:0;;-1:-1:-1;;;10025:11:0;;;;9957:79;:130;;;;;10069:18;;10057:9;;:30;9957:130;:176;;;;-1:-1:-1;;;;;;10109:24:0;;;;;;:18;:24;;;;;;;;10108:25;9957:176;:220;;;;-1:-1:-1;;;;;;10155:22:0;;;;;;:18;:22;;;;;;;;10154:23;9957:220;9935:694;;;10238:17;;10215:20;:40;10212:208;;;10279:121;10322:55;10326:10;10338:38;10342:20;10364:11;;10338:3;:38::i;:::-;10322:3;:55::i;:::-;10279:16;:121::i;:::-;10467:21;10559:35;10572:21;10559:12;:35::i;:::-;10193:436;9935:694;8850:1790;8812:1828;10652:36;10667:4;10673:2;10677:10;10652:14;:36::i;:::-;8256:2440;;;:::o;1490:224::-;1610:7;1646:12;1638:6;;;;1630:29;;;;-1:-1:-1;;;1630:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1670:9:0;1682:5;1686:1;1682;:5;:::i;:::-;1670:17;1490:224;-1:-1:-1;;;;;1490:224:0:o;2116:223::-;2236:7;2271:12;2264:5;2256:28;;;;-1:-1:-1;;;2256:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2295:9:0;2307:5;2311:1;2307;:5;:::i;12911:107::-;12968:7;13000:1;12996;:5;12995:15;;13009:1;12995:15;;;-1:-1:-1;13005:1:0;12911:107;-1:-1:-1;12911:107:0:o;13026:480::-;5563:6;:13;;-1:-1:-1;;;;5563:13:0;-1:-1:-1;;;5563:13:0;;;13127:16:::1;::::0;;13141:1:::1;13127:16:::0;;;;;::::1;::::0;;-1:-1:-1;;13127:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;13127:16:0::1;13103:40;;13172:4;13154;13159:1;13154:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13154:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;13198:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;13198:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;13154:7;;13198:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13188:4;13193:1;13188:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13188:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;13263:15:::1;::::0;13231:61:::1;::::0;13248:4:::1;::::0;13263:15:::1;13281:10:::0;13231:8:::1;:61::i;:::-;13303:15;::::0;:195:::1;::::0;-1:-1:-1;;;13303:195:0;;-1:-1:-1;;;;;13303:15:0;;::::1;::::0;:66:::1;::::0;:195:::1;::::0;13384:10;;13303:15:::1;::::0;13425:4;;13452::::1;::::0;13472:15:::1;::::0;13303:195:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5599:6:0;:14;;-1:-1:-1;;;;5599:14:0;;;-1:-1:-1;;;;13026:480:0:o;10704:956::-;-1:-1:-1;;;;;10862:24:0;;10801:11;10862:24;;;:18;:24;;;;;;10801:11;;10862:24;;10857:568;;10913:21;10928:5;;;:::i;:::-;;-1:-1:-1;10913:10:0;10928:5;10913:14;:21::i;:::-;10903:31;;10955:114;11065:3;10955:91;10997:15;;10985:9;;:27;10984:61;;11031:14;;10984:61;;;11016:12;;10984:61;10955:10;;:28;:91::i;:::-;:109;;:114::i;:::-;11094:13;;10949:120;;-1:-1:-1;;;;;;11088:19:0;;;11094:13;;11088:19;:44;;;;-1:-1:-1;;;;;;11111:21:0;;11127:4;11111:21;;11088:44;11084:330;;;11159:239;11394:3;11159:208;11235:16;;11223:9;;:28;11222:122;;11329:15;;11222:122;;;11284:13;;11159:10;;:36;:208::i;:239::-;11153:245;;11084:330;11439:7;;11435:151;;11508:4;11490:24;;;;:9;:24;;;;;;:30;;11517:3;;11490:30;:::i;:::-;11481:4;11463:24;;;;:9;:24;;;;;;;:57;;;;11540:34;;-1:-1:-1;;;;;11540:34:0;;;;;;;11570:3;1410:25:1;;1398:2;1383:18;;1264:177;11540:34:0;;;;;;;;11435:151;11598:54;11613:4;11619:2;11623:7;11632:19;:10;11647:3;11632:14;:19::i;:::-;11598:14;:54::i;:::-;10783:877;;10704:956;;;:::o;1346:136::-;1404:7;1431:43;1435:1;1438;1431:43;;;;;;;;;;;;;;;;;:3;:43::i;12602:301::-;-1:-1:-1;;;;;12743:17:0;;;;;;:9;:17;;;;;;:30;;12763:10;;12743:30;:::i;:::-;-1:-1:-1;;;;;12723:17:0;;;;;;;:9;:17;;;;;;:50;;;;12805:18;;;;;;;:34;;12826:13;;12805:34;:::i;:::-;-1:-1:-1;;;;;12784:18:0;;;;;;;:9;:18;;;;;;;:55;;;;12855:40;;;;;;;;;;12881:13;1410:25:1;;1398:2;1383:18;;1264:177;12855:40:0;;;;;;;;12602:301;;;;:::o;14:597: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;;;452:6;449:1;446:13;443:91;;;522:1;517:2;508:6;497:9;493:22;489:31;482:42;443:91;-1:-1:-1;595:2:1;574:15;-1:-1:-1;;570:29:1;555:45;;;;602:2;551:54;;14:597;-1:-1:-1;;;14:597:1:o;616:131::-;-1:-1:-1;;;;;691:31:1;;681:42;;671:70;;737:1;734;727:12;671:70;616:131;:::o;752:315::-;820:6;828;881:2;869:9;860:7;856:23;852:32;849:52;;;897:1;894;887:12;849:52;936:9;923:23;955:31;980:5;955:31;:::i;:::-;1005:5;1057:2;1042:18;;;;1029:32;;-1:-1:-1;;;752:315:1:o;1446:456::-;1523:6;1531;1539;1592:2;1580:9;1571:7;1567:23;1563:32;1560:52;;;1608:1;1605;1598:12;1560:52;1647:9;1634:23;1666:31;1691:5;1666:31;:::i;:::-;1716:5;-1:-1:-1;1773:2:1;1758:18;;1745:32;1786:33;1745:32;1786:33;:::i;:::-;1446:456;;1838:7;;-1:-1:-1;;;1892:2:1;1877:18;;;;1864:32;;1446:456::o;2096:247::-;2155:6;2208:2;2196:9;2187:7;2183:23;2179:32;2176:52;;;2224:1;2221;2214:12;2176:52;2263:9;2250:23;2282:31;2307:5;2282:31;:::i;2556:388::-;2624:6;2632;2685:2;2673:9;2664:7;2660:23;2656:32;2653:52;;;2701:1;2698;2691:12;2653:52;2740:9;2727:23;2759:31;2784:5;2759:31;:::i;:::-;2809:5;-1:-1:-1;2866:2:1;2851:18;;2838:32;2879:33;2838:32;2879:33;:::i;:::-;2931:7;2921:17;;;2556:388;;;;;:::o;2949:356::-;3151:2;3133:21;;;3170:18;;;3163:30;3229:34;3224:2;3209:18;;3202:62;3296:2;3281:18;;2949:356::o;4274:306::-;4362:6;4370;4378;4431:2;4419:9;4410:7;4406:23;4402:32;4399:52;;;4447:1;4444;4437:12;4399:52;4476:9;4470:16;4460:26;;4526:2;4515:9;4511:18;4505:25;4495:35;;4570:2;4559:9;4555:18;4549:25;4539:35;;4274:306;;;;;:::o;4864:277::-;4931:6;4984:2;4972:9;4963:7;4959:23;4955:32;4952:52;;;5000:1;4997;4990:12;4952:52;5032:9;5026:16;5085:5;5078:13;5071:21;5064:5;5061:32;5051:60;;5107:1;5104;5097:12;5146:127;5207:10;5202:3;5198:20;5195:1;5188:31;5238:4;5235:1;5228:15;5262:4;5259:1;5252:15;5278:422;5367:1;5410:5;5367:1;5424:270;5445:7;5435:8;5432:21;5424:270;;;5504:4;5500:1;5496:6;5492:17;5486:4;5483:27;5480:53;;;5513:18;;:::i;:::-;5563:7;5553:8;5549:22;5546:55;;;5583:16;;;;5546:55;5662:22;;;;5622:15;;;;5424:270;;;5428:3;5278:422;;;;;:::o;5705:806::-;5754:5;5784:8;5774:80;;-1:-1:-1;5825:1:1;5839:5;;5774:80;5873:4;5863:76;;-1:-1:-1;5910:1:1;5924:5;;5863:76;5955:4;5973:1;5968:59;;;;6041:1;6036:130;;;;5948:218;;5968:59;5998:1;5989:10;;6012:5;;;6036:130;6073:3;6063:8;6060:17;6057:43;;;6080:18;;:::i;:::-;-1:-1:-1;;6136:1:1;6122:16;;6151:5;;5948:218;;6250:2;6240:8;6237:16;6231:3;6225:4;6222:13;6218:36;6212:2;6202:8;6199:16;6194:2;6188:4;6185:12;6181:35;6178:77;6175:159;;;-1:-1:-1;6287:19:1;;;6319:5;;6175:159;6366:34;6391:8;6385:4;6366:34;:::i;:::-;6436:6;6432:1;6428:6;6424:19;6415:7;6412:32;6409:58;;;6447:18;;:::i;:::-;6485:20;;5705:806;-1:-1:-1;;;5705:806:1:o;6516:140::-;6574:5;6603:47;6644:4;6634:8;6630:19;6624:4;6603:47;:::i;6661:168::-;6701:7;6767:1;6763;6759:6;6755:14;6752:1;6749:21;6744:1;6737:9;6730:17;6726:45;6723:71;;;6774:18;;:::i;:::-;-1:-1:-1;6814:9:1;;6661:168::o;6834:251::-;6904:6;6957:2;6945:9;6936:7;6932:23;6928:32;6925:52;;;6973:1;6970;6963:12;6925:52;7005:9;6999:16;7024:31;7049:5;7024:31;:::i;7399:217::-;7439:1;7465;7455:132;;7509:10;7504:3;7500:20;7497:1;7490:31;7544:4;7541:1;7534:15;7572:4;7569:1;7562:15;7455:132;-1:-1:-1;7601:9:1;;7399:217::o;10051:125::-;10091:4;10119:1;10116;10113:8;10110:34;;;10124:18;;:::i;:::-;-1:-1:-1;10161:9:1;;10051:125::o;10181:128::-;10221:3;10252:1;10248:6;10245:1;10242:13;10239:39;;;10258:18;;:::i;:::-;-1:-1:-1;10294:9:1;;10181:128::o;11505:135::-;11544:3;-1:-1:-1;;11565:17:1;;11562:43;;;11585:18;;:::i;:::-;-1:-1:-1;11632:1:1;11621:13;;11505:135::o;11777:127::-;11838:10;11833:3;11829:20;11826:1;11819:31;11869:4;11866:1;11859:15;11893:4;11890:1;11883:15;11909:980;12171:4;12219:3;12208:9;12204:19;12250:6;12239:9;12232:25;12276:2;12314:6;12309:2;12298:9;12294:18;12287:34;12357:3;12352:2;12341:9;12337:18;12330:31;12381:6;12416;12410:13;12447:6;12439;12432:22;12485:3;12474:9;12470:19;12463:26;;12524:2;12516:6;12512:15;12498:29;;12545:1;12555:195;12569:6;12566:1;12563:13;12555:195;;;12634:13;;-1:-1:-1;;;;;12630:39:1;12618:52;;12725:15;;;;12690:12;;;;12666:1;12584:9;12555:195;;;-1:-1:-1;;;;;;;12806:32:1;;;;12801:2;12786:18;;12779:60;-1:-1:-1;;;12870:3:1;12855:19;12848:35;12767:3;11909:980;-1:-1:-1;;;11909:980:1:o

ipfs://889522f0ece7ba074122f28bca3b645b95044af0e874c9be152429862e0c4087