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 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 EmeraldMine is Context, I ... *
•    - 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 swapTokensForEth(uint256 tok ...
•    - function removeLimits()
•    - function sendETHToFee(uint256 amount)
•    - function addBots(address[] memory bot ...
•    - function delBots(address[] memory not ...
•    - function isBot(address a)
•    - function openTrading()
•    - function manualSwap()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/*

EMERALD MINE

http://emeraldmine.eth.limo/

*/

pragma solidity 0.8.23;

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

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

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

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

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

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

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

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

}

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

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

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

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

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

}

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

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

contract EmeraldMine 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;
    mapping (address => bool) private bots;
    mapping(address => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = true;
    address payable private _taxWallet;

    uint256 private _initialBuyTax=20;
    uint256 private _initialSellTax=20;
    uint256 private _finalBuyTax=3;
    uint256 private _finalSellTax=3;
    uint256 private _reduceBuyTaxAt=20;
    uint256 private _reduceSellTaxAt=20;
    uint256 private _preventSwapBefore=20;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    string private constant _name = unicode"Emerald Mine";
    string private constant _symbol = unicode"MINE";
    uint256 private _tTotal = 1000000000 * 10**_decimals;
    uint256 public _maxTxAmount = 20000000 * 10**_decimals;
    uint256 public _maxWalletSize = 20000000 * 10**_decimals;
    uint256 public _taxSwapThreshold = 10000000 * 10**_decimals;
    uint256 public _maxTaxSwap = 10000000 * 10**_decimals;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

    uint256 private lastExecutedBlockNumber;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    receive() external payable {}

    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 view 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()) {
            require(!bots[from] && !bots[to]);
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

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

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

            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) {
                require(block.number > lastExecutedBlockNumber, "Exceeds the maxWalletSize.");
                swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
                lastExecutedBlockNumber = block.number;
            }
        }

        if(taxAmount>0){
          _balances[address(this)]=_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 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;
        transferDelayEnabled=false;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

    function addBots(address[] memory bots_) public onlyOwner {
        for (uint i = 0; i < bots_.length; i++) {
            bots[bots_[i]] = true;
        }
    }

    function delBots(address[] memory notbot) public onlyOwner {
      for (uint i = 0; i < notbot.length; i++) {
          bots[notbot[i]] = false;
      }
    }

    function isBot(address a) public view returns (bool){
      return bots[a];
    }

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _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);
        swapEnabled = true;
        tradingOpen = true;
    }

    function manualSwap() external {
        require(_msgSender()==_taxWallet);
        uint256 tokenBalance=balanceOf(address(this));
        if(tokenBalance>0){
          swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
          sendETHToFee(ethBalance);
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"bots_","type":"address[]"}],"name":"addBots","outputs":[],"stateMutability":"nonpayable","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":"notbot","type":"address[]"}],"name":"delBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"isBot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526006805460ff1916600117905560146007819055600881905560036009818155600a918255600b839055600c839055600d929092555f600e5562000049919062000349565b6200005990633b9aca0062000360565b600f556200006a6009600a62000349565b6200007a906301312d0062000360565b6010556200008b6009600a62000349565b6200009b906301312d0062000360565b601155620000ac6009600a62000349565b620000bb906298968062000360565b601255620000cc6009600a62000349565b620000db906298968062000360565b6013556015805461ffff60a81b19169055348015620000f8575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b0319166101003390810291909117909155600f545f91825260016020819052604083209190915590600390620001825f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556006546101009004909116835291208054909216179055620001e53390565b6001600160a01b03165f6001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600f546040516200022c91815260200190565b60405180910390a36200037a565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200028e57815f19048211156200027257620002726200023a565b808516156200028057918102915b93841c939080029062000253565b509250929050565b5f82620002a65750600162000343565b81620002b457505f62000343565b8160018114620002cd5760028114620002d857620002f8565b600191505062000343565b60ff841115620002ec57620002ec6200023a565b50506001821b62000343565b5060208310610133831016604e8410600b84101617156200031d575081810a62000343565b6200032983836200024e565b805f19048211156200033f576200033f6200023a565b0290505b92915050565b5f6200035960ff84168362000296565b9392505050565b80820281158282048414176200034357620003436200023a565b6119b280620003885f395ff3fe608060405260043610610134575f3560e01c8063751039fc116100a8578063a9059cbb1161006d578063a9059cbb14610369578063bf474bed14610388578063c876d0b91461039d578063c9567bf9146103b6578063d34628cc146103ca578063dd62ed3e146103e9575f80fd5b8063751039fc146102d95780637d1db4a5146102ed5780638da5cb5b146103025780638f9a55c01461032857806395d89b411461033d575f80fd5b8063313ce567116100f9578063313ce5671461020a57806331c2d847146102255780633bbac5791461024657806351bc3c851461027d57806370a0823114610291578063715018a6146102c5575f80fd5b806306fdde031461013f578063095ea7b3146101855780630faee56f146101b457806318160ddd146101d757806323b872dd146101eb575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b5060408051808201909152600c81526b456d6572616c64204d696e6560a01b60208201525b60405161017c91906115ac565b60405180910390f35b348015610190575f80fd5b506101a461019f36600461161f565b61042d565b604051901515815260200161017c565b3480156101bf575f80fd5b506101c960135481565b60405190815260200161017c565b3480156101e2575f80fd5b50600f546101c9565b3480156101f6575f80fd5b506101a4610205366004611649565b610443565b348015610215575f80fd5b506040516009815260200161017c565b348015610230575f80fd5b5061024461023f36600461169b565b6104aa565b005b348015610251575f80fd5b506101a461026036600461175b565b6001600160a01b03165f9081526004602052604090205460ff1690565b348015610288575f80fd5b5061024461053a565b34801561029c575f80fd5b506101c96102ab36600461175b565b6001600160a01b03165f9081526001602052604090205490565b3480156102d0575f80fd5b5061024461058c565b3480156102e4575f80fd5b506102446105fd565b3480156102f8575f80fd5b506101c960105481565b34801561030d575f80fd5b505f546040516001600160a01b03909116815260200161017c565b348015610333575f80fd5b506101c960115481565b348015610348575f80fd5b506040805180820190915260048152634d494e4560e01b602082015261016f565b348015610374575f80fd5b506101a461038336600461161f565b610672565b348015610393575f80fd5b506101c960125481565b3480156103a8575f80fd5b506006546101a49060ff1681565b3480156103c1575f80fd5b5061024461067e565b3480156103d5575f80fd5b506102446103e436600461169b565b610a15565b3480156103f4575f80fd5b506101c9610403366004611776565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610439338484610a99565b5060015b92915050565b5f61044f848484610bbc565b6104a0843361049b85604051806060016040528060288152602001611955602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611224565b610a99565b5060019392505050565b5f546001600160a01b031633146104dc5760405162461bcd60e51b81526004016104d3906117ad565b60405180910390fd5b5f5b8151811015610536575f60045f8484815181106104fd576104fd6117e2565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff19169115159190911790556001016104de565b5050565b60065461010090046001600160a01b0316336001600160a01b03161461055e575f80fd5b305f90815260016020526040902054801561057c5761057c8161125c565b47801561053657610536816113cc565b5f546001600160a01b031633146105b55760405162461bcd60e51b81526004016104d3906117ad565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106265760405162461bcd60e51b81526004016104d3906117ad565b600f54601081905560118190556006805460ff191690556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a1565b5f610439338484610bbc565b5f546001600160a01b031633146106a75760405162461bcd60e51b81526004016104d3906117ad565b601554600160a01b900460ff16156107015760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104d3565b601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155600f54610738913091610a99565b60145f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610788573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ac91906117f6565b6001600160a01b031663c9c653963060145f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561080b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061082f91906117f6565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610879573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061089d91906117f6565b601580546001600160a01b039283166001600160a01b03199091161790556014541663f305d71947306108e4816001600160a01b03165f9081526001602052604090205490565b5f806108f75f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561095d573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109829190611811565b505060155460145460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109d7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109fb919061183c565b506015805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b03163314610a3e5760405162461bcd60e51b81526004016104d3906117ad565b5f5b815181101561053657600160045f848481518110610a6057610a606117e2565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610a40565b6001600160a01b038316610afb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104d3565b6001600160a01b038216610b5c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104d3565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c205760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104d3565b6001600160a01b038216610c825760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104d3565b5f8111610ce35760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104d3565b5f80546001600160a01b03858116911614801590610d0e57505f546001600160a01b03848116911614155b156110e7576001600160a01b0384165f9081526004602052604090205460ff16158015610d5357506001600160a01b0383165f9081526004602052604090205460ff16155b610d5b575f80fd5b610d876064610d81600b54600e5411610d7657600754610d7a565b6009545b8590611407565b9061148c565b60065490915060ff1615610e6d576014546001600160a01b03848116911614801590610dc157506015546001600160a01b03848116911614155b15610e6d57325f908152600560205260409020544311610e5b5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a4016104d3565b325f9081526005602052604090204390555b6015546001600160a01b038581169116148015610e9857506014546001600160a01b03848116911614155b8015610ebc57506001600160a01b0383165f9081526003602052604090205460ff16155b15610fa257601054821115610f135760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104d3565b60115482610f35856001600160a01b03165f9081526001602052604090205490565b610f3f919061186f565b1115610f8d5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104d3565b600e8054905f610f9c83611882565b91905055505b6015546001600160a01b038481169116148015610fc857506001600160a01b0384163014155b15610ff557610ff26064610d81600c54600e5411610fe857600854610d7a565b600a548590611407565b90505b305f90815260016020526040902054601554600160a81b900460ff1615801561102b57506015546001600160a01b038581169116145b80156110405750601554600160b01b900460ff165b801561104d575060125481115b801561105c5750600d54600e54115b156110e55760165443116110b25760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104d3565b6110cf6110ca846110c5846013546114cd565b6114cd565b61125c565b4780156110df576110df476113cc565b50436016555b505b801561115f57305f9081526001602052604090205461110690826114e1565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111569085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054611181908361153f565b6001600160a01b0385165f908152600160205260409020556111c46111a6838361153f565b6001600160a01b0385165f90815260016020526040902054906114e1565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61120d858561153f565b60405190815260200160405180910390a350505050565b5f81848411156112475760405162461bcd60e51b81526004016104d391906115ac565b505f611253848661189a565b95945050505050565b6015805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112a2576112a26117e2565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112f9573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061131d91906117f6565b81600181518110611330576113306117e2565b6001600160a01b0392831660209182029290920101526014546113569130911684610a99565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac9479061138e9085905f908690309042906004016118ad565b5f604051808303815f87803b1580156113a5575f80fd5b505af11580156113b7573d5f803e3d5ffd5b50506015805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610536573d5f803e3d5ffd5b5f825f0361141657505f61043d565b5f611421838561191e565b90508261142e8583611935565b146114855760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104d3565b9392505050565b5f61148583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611580565b5f8183116114db5782611485565b50919050565b5f806114ed838561186f565b9050838110156114855760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104d3565b5f61148583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611224565b5f81836115a05760405162461bcd60e51b81526004016104d391906115ac565b505f6112538486611935565b5f602080835283518060208501525f5b818110156115d8578581018301518582016040015282016115bc565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461160c575f80fd5b50565b803561161a816115f8565b919050565b5f8060408385031215611630575f80fd5b823561163b816115f8565b946020939093013593505050565b5f805f6060848603121561165b575f80fd5b8335611666816115f8565b92506020840135611676816115f8565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f60208083850312156116ac575f80fd5b823567ffffffffffffffff808211156116c3575f80fd5b818501915085601f8301126116d6575f80fd5b8135818111156116e8576116e8611687565b8060051b604051601f19603f8301168101818110858211171561170d5761170d611687565b60405291825284820192508381018501918883111561172a575f80fd5b938501935b8285101561174f576117408561160f565b8452938501939285019261172f565b98975050505050505050565b5f6020828403121561176b575f80fd5b8135611485816115f8565b5f8060408385031215611787575f80fd5b8235611792816115f8565b915060208301356117a2816115f8565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611806575f80fd5b8151611485816115f8565b5f805f60608486031215611823575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561184c575f80fd5b81518015158114611485575f80fd5b634e487b7160e01b5f52601160045260245ffd5b8082018082111561043d5761043d61185b565b5f600182016118935761189361185b565b5060010190565b8181038181111561043d5761043d61185b565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118fd5784516001600160a01b0316835293830193918301916001016118d8565b50506001600160a01b03969096166060850152505050608001529392505050565b808202811582820484141761043d5761043d61185b565b5f8261194f57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122047bd4663e069e5a6b34358e8c3357b8bae638a9c939a1a0087f87552ae531dd764736f6c63430008170033

0x608060405260043610610134575f3560e01c8063751039fc116100a8578063a9059cbb1161006d578063a9059cbb14610369578063bf474bed14610388578063c876d0b91461039d578063c9567bf9146103b6578063d34628cc146103ca578063dd62ed3e146103e9575f80fd5b8063751039fc146102d95780637d1db4a5146102ed5780638da5cb5b146103025780638f9a55c01461032857806395d89b411461033d575f80fd5b8063313ce567116100f9578063313ce5671461020a57806331c2d847146102255780633bbac5791461024657806351bc3c851461027d57806370a0823114610291578063715018a6146102c5575f80fd5b806306fdde031461013f578063095ea7b3146101855780630faee56f146101b457806318160ddd146101d757806323b872dd146101eb575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b5060408051808201909152600c81526b456d6572616c64204d696e6560a01b60208201525b60405161017c91906115ac565b60405180910390f35b348015610190575f80fd5b506101a461019f36600461161f565b61042d565b604051901515815260200161017c565b3480156101bf575f80fd5b506101c960135481565b60405190815260200161017c565b3480156101e2575f80fd5b50600f546101c9565b3480156101f6575f80fd5b506101a4610205366004611649565b610443565b348015610215575f80fd5b506040516009815260200161017c565b348015610230575f80fd5b5061024461023f36600461169b565b6104aa565b005b348015610251575f80fd5b506101a461026036600461175b565b6001600160a01b03165f9081526004602052604090205460ff1690565b348015610288575f80fd5b5061024461053a565b34801561029c575f80fd5b506101c96102ab36600461175b565b6001600160a01b03165f9081526001602052604090205490565b3480156102d0575f80fd5b5061024461058c565b3480156102e4575f80fd5b506102446105fd565b3480156102f8575f80fd5b506101c960105481565b34801561030d575f80fd5b505f546040516001600160a01b03909116815260200161017c565b348015610333575f80fd5b506101c960115481565b348015610348575f80fd5b506040805180820190915260048152634d494e4560e01b602082015261016f565b348015610374575f80fd5b506101a461038336600461161f565b610672565b348015610393575f80fd5b506101c960125481565b3480156103a8575f80fd5b506006546101a49060ff1681565b3480156103c1575f80fd5b5061024461067e565b3480156103d5575f80fd5b506102446103e436600461169b565b610a15565b3480156103f4575f80fd5b506101c9610403366004611776565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610439338484610a99565b5060015b92915050565b5f61044f848484610bbc565b6104a0843361049b85604051806060016040528060288152602001611955602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611224565b610a99565b5060019392505050565b5f546001600160a01b031633146104dc5760405162461bcd60e51b81526004016104d3906117ad565b60405180910390fd5b5f5b8151811015610536575f60045f8484815181106104fd576104fd6117e2565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff19169115159190911790556001016104de565b5050565b60065461010090046001600160a01b0316336001600160a01b03161461055e575f80fd5b305f90815260016020526040902054801561057c5761057c8161125c565b47801561053657610536816113cc565b5f546001600160a01b031633146105b55760405162461bcd60e51b81526004016104d3906117ad565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106265760405162461bcd60e51b81526004016104d3906117ad565b600f54601081905560118190556006805460ff191690556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a1565b5f610439338484610bbc565b5f546001600160a01b031633146106a75760405162461bcd60e51b81526004016104d3906117ad565b601554600160a01b900460ff16156107015760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104d3565b601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155600f54610738913091610a99565b60145f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610788573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ac91906117f6565b6001600160a01b031663c9c653963060145f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561080b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061082f91906117f6565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610879573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061089d91906117f6565b601580546001600160a01b039283166001600160a01b03199091161790556014541663f305d71947306108e4816001600160a01b03165f9081526001602052604090205490565b5f806108f75f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561095d573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109829190611811565b505060155460145460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109d7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109fb919061183c565b506015805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b03163314610a3e5760405162461bcd60e51b81526004016104d3906117ad565b5f5b815181101561053657600160045f848481518110610a6057610a606117e2565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610a40565b6001600160a01b038316610afb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104d3565b6001600160a01b038216610b5c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104d3565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c205760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104d3565b6001600160a01b038216610c825760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104d3565b5f8111610ce35760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104d3565b5f80546001600160a01b03858116911614801590610d0e57505f546001600160a01b03848116911614155b156110e7576001600160a01b0384165f9081526004602052604090205460ff16158015610d5357506001600160a01b0383165f9081526004602052604090205460ff16155b610d5b575f80fd5b610d876064610d81600b54600e5411610d7657600754610d7a565b6009545b8590611407565b9061148c565b60065490915060ff1615610e6d576014546001600160a01b03848116911614801590610dc157506015546001600160a01b03848116911614155b15610e6d57325f908152600560205260409020544311610e5b5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a4016104d3565b325f9081526005602052604090204390555b6015546001600160a01b038581169116148015610e9857506014546001600160a01b03848116911614155b8015610ebc57506001600160a01b0383165f9081526003602052604090205460ff16155b15610fa257601054821115610f135760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104d3565b60115482610f35856001600160a01b03165f9081526001602052604090205490565b610f3f919061186f565b1115610f8d5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104d3565b600e8054905f610f9c83611882565b91905055505b6015546001600160a01b038481169116148015610fc857506001600160a01b0384163014155b15610ff557610ff26064610d81600c54600e5411610fe857600854610d7a565b600a548590611407565b90505b305f90815260016020526040902054601554600160a81b900460ff1615801561102b57506015546001600160a01b038581169116145b80156110405750601554600160b01b900460ff165b801561104d575060125481115b801561105c5750600d54600e54115b156110e55760165443116110b25760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104d3565b6110cf6110ca846110c5846013546114cd565b6114cd565b61125c565b4780156110df576110df476113cc565b50436016555b505b801561115f57305f9081526001602052604090205461110690826114e1565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111569085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054611181908361153f565b6001600160a01b0385165f908152600160205260409020556111c46111a6838361153f565b6001600160a01b0385165f90815260016020526040902054906114e1565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61120d858561153f565b60405190815260200160405180910390a350505050565b5f81848411156112475760405162461bcd60e51b81526004016104d391906115ac565b505f611253848661189a565b95945050505050565b6015805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112a2576112a26117e2565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112f9573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061131d91906117f6565b81600181518110611330576113306117e2565b6001600160a01b0392831660209182029290920101526014546113569130911684610a99565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac9479061138e9085905f908690309042906004016118ad565b5f604051808303815f87803b1580156113a5575f80fd5b505af11580156113b7573d5f803e3d5ffd5b50506015805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610536573d5f803e3d5ffd5b5f825f0361141657505f61043d565b5f611421838561191e565b90508261142e8583611935565b146114855760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104d3565b9392505050565b5f61148583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611580565b5f8183116114db5782611485565b50919050565b5f806114ed838561186f565b9050838110156114855760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104d3565b5f61148583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611224565b5f81836115a05760405162461bcd60e51b81526004016104d391906115ac565b505f6112538486611935565b5f602080835283518060208501525f5b818110156115d8578581018301518582016040015282016115bc565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461160c575f80fd5b50565b803561161a816115f8565b919050565b5f8060408385031215611630575f80fd5b823561163b816115f8565b946020939093013593505050565b5f805f6060848603121561165b575f80fd5b8335611666816115f8565b92506020840135611676816115f8565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f60208083850312156116ac575f80fd5b823567ffffffffffffffff808211156116c3575f80fd5b818501915085601f8301126116d6575f80fd5b8135818111156116e8576116e8611687565b8060051b604051601f19603f8301168101818110858211171561170d5761170d611687565b60405291825284820192508381018501918883111561172a575f80fd5b938501935b8285101561174f576117408561160f565b8452938501939285019261172f565b98975050505050505050565b5f6020828403121561176b575f80fd5b8135611485816115f8565b5f8060408385031215611787575f80fd5b8235611792816115f8565b915060208301356117a2816115f8565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611806575f80fd5b8151611485816115f8565b5f805f60608486031215611823575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561184c575f80fd5b81518015158114611485575f80fd5b634e487b7160e01b5f52601160045260245ffd5b8082018082111561043d5761043d61185b565b5f600182016118935761189361185b565b5060010190565b8181038181111561043d5761043d61185b565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118fd5784516001600160a01b0316835293830193918301916001016118d8565b50506001600160a01b03969096166060850152505050608001529392505050565b808202811582820484141761043d5761043d61185b565b5f8261194f57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122047bd4663e069e5a6b34358e8c3357b8bae638a9c939a1a0087f87552ae531dd764736f6c63430008170033

3533:8662:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5553:83;;;;;;;;;;-1:-1:-1;5623:5:0;;;;;;;;;;;;-1:-1:-1;;;5623:5:0;;;;5553:83;;;;;;;:::i;:::-;;;;;;;;6386:161;;;;;;;;;;-1:-1:-1;6386:161:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;6386:161:0;1162:187:1;4740:53:0;;;;;;;;;;;;;;;;;;;1500:25:1;;;1488:2;1473:18;4740:53:0;1354:177:1;5830:95:0;;;;;;;;;;-1:-1:-1;5910:7:0;;5830:95;;6555:313;;;;;;;;;;-1:-1:-1;6555:313:0;;;;;:::i;:::-;;:::i;5739:83::-;;;;;;;;;;-1:-1:-1;5739:83:0;;4369:1;2139:36:1;;2127:2;2112:18;5739:83:0;1997:184:1;10904:162:0;;;;;;;;;;-1:-1:-1;10904:162:0;;;;;:::i;:::-;;:::i;:::-;;11074:83;;;;;;;;;;-1:-1:-1;11074:83:0;;;;;:::i;:::-;-1:-1:-1;;;;;11142:7:0;11121:4;11142:7;;;:4;:7;;;;;;;;;11074:83;11844:348;;;;;;;;;;;;;:::i;5933:119::-;;;;;;;;;;-1:-1:-1;5933:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6026:18:0;5999:7;6026:18;;;:9;:18;;;;;;;5933:119;2614:148;;;;;;;;;;;;;:::i;10428:196::-;;;;;;;;;;;;;:::i;4550:54::-;;;;;;;;;;;;;;;;2400:79;;;;;;;;;;-1:-1:-1;2438:7:0;2465:6;2400:79;;-1:-1:-1;;;;;2465:6:0;;;3842:51:1;;3830:2;3815:18;2400:79:0;3696:203:1;4611:56:0;;;;;;;;;;;;;;;;5644:87;;;;;;;;;;-1:-1:-1;5716:7:0;;;;;;;;;;;;-1:-1:-1;;;5716:7:0;;;;5644:87;;6060:167;;;;;;;;;;-1:-1:-1;6060:167:0;;;;;:::i;:::-;;:::i;4674:59::-;;;;;;;;;;;;;;;;3926:39;;;;;;;;;;-1:-1:-1;3926:39:0;;;;;;;;11165:671;;;;;;;;;;;;;:::i;10732:164::-;;;;;;;;;;-1:-1:-1;10732:164:0;;;;;:::i;:::-;;:::i;6235:143::-;;;;;;;;;;-1:-1:-1;6235:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6343:18:0;;;6316:7;6343:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6235:143;6386:161;6461:4;6478:39;235:10;6501:7;6510:6;6478:8;:39::i;:::-;-1:-1:-1;6535:4:0;6386:161;;;;;:::o;6555:313::-;6653:4;6670:36;6680:6;6688:9;6699:6;6670:9;:36::i;:::-;6717:121;6726:6;235:10;6748:89;6786:6;6748:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6748:19:0;;;;;;:11;:19;;;;;;;;235:10;6748:33;;;;;;;;;;:37;:89::i;:::-;6717:8;:121::i;:::-;-1:-1:-1;6856:4:0;6555:313;;;;;:::o;10904:162::-;2527:6;;-1:-1:-1;;;;;2527:6:0;235:10;2527:22;2519:67;;;;-1:-1:-1;;;2519:67:0;;;;;;;:::i;:::-;;;;;;;;;10977:6:::1;10972:87;10993:6;:13;10989:1;:17;10972:87;;;11044:5;11026:4;:15;11031:6;11038:1;11031:9;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;11026:15:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;11026:15:0;:23;;-1:-1:-1;;11026:23:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;11008:3:0::1;10972:87;;;;10904:162:::0;:::o;11844:348::-;11908:10;;;;;-1:-1:-1;;;;;11908:10:0;235;-1:-1:-1;;;;;11894:24:0;;11886:33;;;;;;11969:4;11930:20;6026:18;;;:9;:18;;;;;;11989:14;;11986:73;;12017:30;12034:12;12017:16;:30::i;:::-;12088:21;12123:12;;12120:65;;12149:24;12162:10;12149:12;:24::i;2614:148::-;2527:6;;-1:-1:-1;;;;;2527:6:0;235:10;2527:22;2519:67;;;;-1:-1:-1;;;2519:67:0;;;;;;;:::i;:::-;2721:1:::1;2705:6:::0;;2684:40:::1;::::0;-1:-1:-1;;;;;2705:6:0;;::::1;::::0;2684:40:::1;::::0;2721:1;;2684:40:::1;2752:1;2735:19:::0;;-1:-1:-1;;;;;;2735:19:0::1;::::0;;2614:148::o;10428:196::-;2527:6;;-1:-1:-1;;;;;2527:6:0;235:10;2527:22;2519:67;;;;-1:-1:-1;;;2519:67:0;;;;;;;:::i;:::-;10496:7:::1;::::0;10481:12:::1;:22:::0;;;10514:14:::1;:22:::0;;;10547:20:::1;:26:::0;;-1:-1:-1;;10547:26:0::1;::::0;;10589:27:::1;::::0;1500:25:1;;;10589:27:0::1;::::0;1488:2:1;1473:18;10589:27:0::1;;;;;;;10428:196::o:0;6060:167::-;6138:4;6155:42;235:10;6179:9;6190:6;6155:9;:42::i;11165:671::-;2527:6;;-1:-1:-1;;;;;2527:6:0;235:10;2527:22;2519:67;;;;-1:-1:-1;;;2519:67:0;;;;;;;:::i;:::-;11229:11:::1;::::0;-1:-1:-1;;;11229:11:0;::::1;;;11228:12;11220:47;;;::::0;-1:-1:-1;;;11220:47:0;;4992:2:1;11220:47:0::1;::::0;::::1;4974:21:1::0;5031:2;5011:18;;;5004:30;5070:25;5050:18;;;5043:53;5113:18;;11220:47:0::1;4790:347:1::0;11220:47:0::1;11278:15;:80:::0;;-1:-1:-1;;;;;;11278:80:0::1;11315:42;11278:80:::0;;::::1;::::0;;;11419:7:::1;::::0;11369:58:::1;::::0;11386:4:::1;::::0;11369:8:::1;:58::i;:::-;11472:15;;;;;;;;;-1:-1:-1::0;;;;;11472:15:0::1;-1:-1:-1::0;;;;;11472:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11454:55:0::1;;11518:4;11525:15;;;;;;;;;-1:-1:-1::0;;;;;11525:15:0::1;-1:-1:-1::0;;;;;11525:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11454:94;::::0;-1:-1:-1;;;;;;11454:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5628:15:1;;;11454:94:0::1;::::0;::::1;5610:34:1::0;5680:15;;5660:18;;;5653:43;5545:18;;11454:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11438:13;:110:::0;;-1:-1:-1;;;;;11438:110:0;;::::1;-1:-1:-1::0;;;;;;11438:110:0;;::::1;;::::0;;11559:15:::1;::::0;::::1;:31;11598:21;11629:4;11635:24;11629:4:::0;-1:-1:-1;;;;;6026:18:0;5999:7;6026:18;;;:9;:18;;;;;;;5933:119;11635:24:::1;11660:1;11662::::0;11664:7:::1;2438::::0;2465:6;-1:-1:-1;;;;;2465:6:0;;2400:79;11664:7:::1;11559:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11559:129:0;;;-1:-1:-1;;;;;6066:15:1;;;11559:129:0::1;::::0;::::1;6048:34:1::0;6098:18;;;6091:34;;;;6141:18;;;6134:34;;;;6184:18;;;6177:34;6248:15;;;6227:19;;;6220:44;11672:15:0::1;6280:19:1::0;;;6273:35;5982:19;;11559:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11706:13:0::1;::::0;11737:15:::1;::::0;11699:71:::1;::::0;-1:-1:-1;;;11699:71:0;;-1:-1:-1;;;;;11737:15:0;;::::1;11699:71;::::0;::::1;6804:51:1::0;-1:-1:-1;;6871:18:1;;;6864:34;11706:13:0;::::1;::::0;-1:-1:-1;11699:29:0::1;::::0;6777:18:1;;11699:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11781:11:0::1;:18:::0;;-1:-1:-1;;;;11810:18:0;-1:-1:-1;;;11810:18:0;;;11165:671::o;10732:164::-;2527:6;;-1:-1:-1;;;;;2527:6:0;235:10;2527:22;2519:67;;;;-1:-1:-1;;;2519:67:0;;;;;;;:::i;:::-;10806:6:::1;10801:88;10822:5;:12;10818:1;:16;10801:88;;;10873:4;10856;:14;10861:5;10867:1;10861:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;10856:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;10856:14:0;:21;;-1:-1:-1;;10856:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;10836:3:0::1;10801:88;;6876:335:::0;-1:-1:-1;;;;;6969:19:0;;6961:68;;;;-1:-1:-1;;;6961:68:0;;7393:2:1;6961:68:0;;;7375:21:1;7432:2;7412:18;;;7405:30;7471:34;7451:18;;;7444:62;-1:-1:-1;;;7522:18:1;;;7515:34;7566:19;;6961:68:0;7191:400:1;6961:68:0;-1:-1:-1;;;;;7048:21:0;;7040:68;;;;-1:-1:-1;;;7040:68:0;;7798:2:1;7040:68:0;;;7780:21:1;7837:2;7817:18;;;7810:30;7876:34;7856:18;;;7849:62;-1:-1:-1;;;7927:18:1;;;7920:32;7969:19;;7040:68:0;7596:398:1;7040:68:0;-1:-1:-1;;;;;7119:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7171:32;;1500:25:1;;;7171:32:0;;1473:18:1;7171:32:0;;;;;;;6876:335;;;:::o;7219:2604::-;-1:-1:-1;;;;;7307:18:0;;7299:68;;;;-1:-1:-1;;;7299:68:0;;8201:2:1;7299:68:0;;;8183:21:1;8240:2;8220:18;;;8213:30;8279:34;8259:18;;;8252:62;-1:-1:-1;;;8330:18:1;;;8323:35;8375:19;;7299:68:0;7999:401:1;7299:68:0;-1:-1:-1;;;;;7386:16:0;;7378:64;;;;-1:-1:-1;;;7378:64:0;;8607:2:1;7378:64:0;;;8589:21:1;8646:2;8626:18;;;8619:30;8685:34;8665:18;;;8658:62;-1:-1:-1;;;8736:18:1;;;8729:33;8779:19;;7378:64:0;8405:399:1;7378:64:0;7470:1;7461:6;:10;7453:64;;;;-1:-1:-1;;;7453:64:0;;9011:2:1;7453:64:0;;;8993:21:1;9050:2;9030:18;;;9023:30;9089:34;9069:18;;;9062:62;-1:-1:-1;;;9140:18:1;;;9133:39;9189:19;;7453:64:0;8809:405:1;7453:64:0;7528:17;2465:6;;-1:-1:-1;;;;;7562:15:0;;;2465:6;;7562:15;;;;:32;;-1:-1:-1;2438:7:0;2465:6;-1:-1:-1;;;;;7581:13:0;;;2465:6;;7581:13;;7562:32;7558:1909;;;-1:-1:-1;;;;;7620:10:0;;;;;;:4;:10;;;;;;;;7619:11;:24;;;;-1:-1:-1;;;;;;7635:8:0;;;;;;:4;:8;;;;;;;;7634:9;7619:24;7611:33;;;;;;7671:76;7743:3;7671:67;7693:15;;7683:9;;:25;7682:55;;7723:14;;7682:55;;;7710:12;;7682:55;7671:6;;:10;:67::i;:::-;:71;;:76::i;:::-;7768:20;;7659:88;;-1:-1:-1;7768:20:0;;7764:508;;;7829:15;;-1:-1:-1;;;;;7815:30:0;;;7829:15;;7815:30;;;;:62;;-1:-1:-1;7863:13:0;;-1:-1:-1;;;;;7849:28:0;;;7863:13;;7849:28;;7815:62;7811:444;;;7969:9;7940:39;;;;:28;:39;;;;;;8013:12;-1:-1:-1;7904:250:0;;;;-1:-1:-1;;;7904:250:0;;9421:2:1;7904:250:0;;;9403:21:1;9460:2;9440:18;;;9433:30;9499:34;9479:18;;;9472:62;9570:34;9550:18;;;9543:62;-1:-1:-1;;;9621:19:1;;;9614:40;9671:19;;7904:250:0;9219:477:1;7904:250:0;8208:9;8179:39;;;;:28;:39;;;;;8221:12;8179:54;;7811:444;8300:13;;-1:-1:-1;;;;;8292:21:0;;;8300:13;;8292:21;:55;;;;-1:-1:-1;8331:15:0;;-1:-1:-1;;;;;8317:30:0;;;8331:15;;8317:30;;8292:55;:83;;;;-1:-1:-1;;;;;;8353:22:0;;;;;;:18;:22;;;;;;;;8351:24;8292:83;8288:313;;;8415:12;;8405:6;:22;;8397:60;;;;-1:-1:-1;;;8397:60:0;;9903:2:1;8397:60:0;;;9885:21:1;9942:2;9922:18;;;9915:30;9981:27;9961:18;;;9954:55;10026:18;;8397:60:0;9701:349:1;8397:60:0;8510:14;;8500:6;8484:13;8494:2;-1:-1:-1;;;;;6026:18:0;5999:7;6026:18;;;:9;:18;;;;;;;5933:119;8484:13;:22;;;;:::i;:::-;:40;;8476:79;;;;-1:-1:-1;;;8476:79:0;;10519:2:1;8476:79:0;;;10501:21:1;10558:2;10538:18;;;10531:30;10597:28;10577:18;;;10570:56;10643:18;;8476:79:0;10317:350:1;8476:79:0;8574:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8288:313;8626:13;;-1:-1:-1;;;;;8620:19:0;;;8626:13;;8620:19;:43;;;;-1:-1:-1;;;;;;8643:20:0;;8658:4;8643:20;;8620:43;8617:174;;;8696:79;8771:3;8696:70;8718:16;;8708:9;;:26;8707:58;;8750:15;;8707:58;;;8736:13;;8696:6;;:10;:70::i;:79::-;8684:91;;8617:174;8856:4;8807:28;6026:18;;;:9;:18;;;;;;8882:6;;-1:-1:-1;;;8882:6:0;;;;8881:7;:30;;;;-1:-1:-1;8898:13:0;;-1:-1:-1;;;;;8892:19:0;;;8898:13;;8892:19;8881:30;:45;;;;-1:-1:-1;8915:11:0;;-1:-1:-1;;;8915:11:0;;;;8881:45;:89;;;;;8953:17;;8930:20;:40;8881:89;:123;;;;;8986:18;;8974:9;;:30;8881:123;8877:579;;;9048:23;;9033:12;:38;9025:77;;;;-1:-1:-1;;;9025:77:0;;10519:2:1;9025:77:0;;;10501:21:1;10558:2;10538:18;;;10531:30;10597:28;10577:18;;;10570:56;10643:18;;9025:77:0;10317:350:1;9025:77:0;9121:69;9138:51;9142:6;9150:38;9154:20;9176:11;;9150:3;:38::i;:::-;9138:3;:51::i;:::-;9121:16;:69::i;:::-;9238:21;9282:22;;9278:106;;9329:35;9342:21;9329:12;:35::i;:::-;-1:-1:-1;9428:12:0;9402:23;:38;8877:579;7596:1871;7558:1909;9482:11;;9479:161;;9550:4;9532:24;;;;:9;:24;;;;;;:39;;9561:9;9532:28;:39::i;:::-;9525:4;9507:24;;;;:9;:24;;;;;;;:64;;;;9589:39;;-1:-1:-1;;;;;9589:39:0;;;;;;;9618:9;1500:25:1;;1488:2;1473:18;;1354:177;9589:39:0;;;;;;;;9479:161;-1:-1:-1;;;;;9666:15:0;;;;;;:9;:15;;;;;;:27;;9686:6;9666:19;:27::i;:::-;-1:-1:-1;;;;;9650:15:0;;;;;;:9;:15;;;;;:43;9718:40;9736:21;:6;9747:9;9736:10;:21::i;:::-;-1:-1:-1;;;;;9718:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9704:13:0;;;;;;;:9;:13;;;;;:54;;;;9774:41;;;9793:21;:6;9804:9;9793:10;:21::i;:::-;9774:41;;1500:25:1;;;1488:2;1473:18;9774:41:0;;;;;;;7288:2535;7219:2604;;;:::o;1292:190::-;1378:7;1414:12;1406:6;;;;1398:29;;;;-1:-1:-1;;;1398:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1438:9:0;1450:5;1454:1;1450;:5;:::i;:::-;1438:17;1292:190;-1:-1:-1;;;;;1292:190:0:o;9937:483::-;5125:6;:13;;-1:-1:-1;;;;5125:13:0;-1:-1:-1;;;5125:13:0;;;10039:16:::1;::::0;;10053:1:::1;10039:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10039:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10039:16:0::1;10015:40;;10084:4;10066;10071:1;10066:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10066:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10110:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10110:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10066:7;;10110:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10100:4;10105:1;10100:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10100:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10175:15:::1;::::0;10143:62:::1;::::0;10160:4:::1;::::0;10175:15:::1;10193:11:::0;10143:8:::1;:62::i;:::-;10216:15;::::0;:196:::1;::::0;-1:-1:-1;;;10216:196:0;;-1:-1:-1;;;;;10216:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10297:11;;10216:15:::1;::::0;10339:4;;10366::::1;::::0;10386:15:::1;::::0;10216:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5161:6:0;:14;;-1:-1:-1;;;;5161:14:0;;;-1:-1:-1;;;;9937:483:0:o;10632:92::-;10689:10;;:27;;:10;;;;-1:-1:-1;;;;;10689:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;1490:246;1548:7;1572:1;1577;1572:6;1568:47;;-1:-1:-1;1602:1:0;1595:8;;1568:47;1625:9;1637:5;1641:1;1637;:5;:::i;:::-;1625:17;-1:-1:-1;1670:1:0;1661:5;1665:1;1625:17;1661:5;:::i;:::-;:10;1653:56;;;;-1:-1:-1;;;1653:56:0;;12527:2:1;1653:56:0;;;12509:21:1;12566:2;12546:18;;;12539:30;12605:34;12585:18;;;12578:62;-1:-1:-1;;;12656:18:1;;;12649:31;12697:19;;1653:56:0;12325:397:1;1653:56:0;1727:1;1490:246;-1:-1:-1;;;1490:246:0:o;1744:132::-;1802:7;1829:39;1833:1;1836;1829:39;;;;;;;;;;;;;;;;;:3;:39::i;9831:98::-;9888:7;9915:1;9913;:3;9912:9;;9920:1;9912:9;;;-1:-1:-1;9918:1:0;9831:98;-1:-1:-1;9831:98:0:o;961:179::-;1019:7;;1051:5;1055:1;1051;:5;:::i;:::-;1039:17;;1080:1;1075;:6;;1067:46;;;;-1:-1:-1;;;1067:46:0;;12929:2:1;1067:46:0;;;12911:21:1;12968:2;12948:18;;;12941:30;13007:29;12987:18;;;12980:57;13054:18;;1067:46:0;12727:351:1;1148:136:0;1206:7;1233:43;1237:1;1240;1233:43;;;;;;;;;;;;;;;;;:3;:43::i;1884:189::-;1970:7;2005:12;1998:5;1990:28;;;;-1:-1:-1;;;1990:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2029:9:0;2041:5;2045:1;2041;: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:134::-;771:20;;800:31;771:20;800:31;:::i;:::-;703:134;;;:::o;842:315::-;910:6;918;971:2;959:9;950:7;946:23;942:32;939:52;;;987:1;984;977:12;939:52;1026:9;1013:23;1045:31;1070:5;1045:31;:::i;:::-;1095:5;1147:2;1132:18;;;;1119:32;;-1:-1:-1;;;842:315:1:o;1536:456::-;1613:6;1621;1629;1682:2;1670:9;1661:7;1657:23;1653:32;1650:52;;;1698:1;1695;1688:12;1650:52;1737:9;1724:23;1756:31;1781:5;1756:31;:::i;:::-;1806:5;-1:-1:-1;1863:2:1;1848:18;;1835:32;1876:33;1835:32;1876:33;:::i;:::-;1536:456;;1928:7;;-1:-1:-1;;;1982:2:1;1967:18;;;;1954:32;;1536:456::o;2186:127::-;2247:10;2242:3;2238:20;2235:1;2228:31;2278:4;2275:1;2268:15;2302:4;2299:1;2292:15;2318:1121;2402:6;2433:2;2476;2464:9;2455:7;2451:23;2447:32;2444:52;;;2492:1;2489;2482:12;2444:52;2532:9;2519:23;2561:18;2602:2;2594:6;2591:14;2588:34;;;2618:1;2615;2608:12;2588:34;2656:6;2645:9;2641:22;2631:32;;2701:7;2694:4;2690:2;2686:13;2682:27;2672:55;;2723:1;2720;2713:12;2672:55;2759:2;2746:16;2781:2;2777;2774:10;2771:36;;;2787:18;;:::i;:::-;2833:2;2830:1;2826:10;2865:2;2859:9;2928:2;2924:7;2919:2;2915;2911:11;2907:25;2899:6;2895:38;2983:6;2971:10;2968:22;2963:2;2951:10;2948:18;2945:46;2942:72;;;2994:18;;:::i;:::-;3030:2;3023:22;3080:18;;;3114:15;;;;-1:-1:-1;3156:11:1;;;3152:20;;;3184:19;;;3181:39;;;3216:1;3213;3206:12;3181:39;3240:11;;;;3260:148;3276:6;3271:3;3268:15;3260:148;;;3342:23;3361:3;3342:23;:::i;:::-;3330:36;;3293:12;;;;3386;;;;3260:148;;;3427:6;2318:1121;-1:-1:-1;;;;;;;;2318:1121:1:o;3444:247::-;3503:6;3556:2;3544:9;3535:7;3531:23;3527:32;3524:52;;;3572:1;3569;3562:12;3524:52;3611:9;3598:23;3630:31;3655:5;3630:31;:::i;3904:388::-;3972:6;3980;4033:2;4021:9;4012:7;4008:23;4004:32;4001:52;;;4049:1;4046;4039:12;4001:52;4088:9;4075:23;4107:31;4132:5;4107:31;:::i;:::-;4157:5;-1:-1:-1;4214:2:1;4199:18;;4186:32;4227:33;4186:32;4227:33;:::i;:::-;4279:7;4269:17;;;3904:388;;;;;:::o;4297:356::-;4499:2;4481:21;;;4518:18;;;4511:30;4577:34;4572:2;4557:18;;4550:62;4644:2;4629:18;;4297:356::o;4658:127::-;4719:10;4714:3;4710:20;4707:1;4700:31;4750:4;4747:1;4740:15;4774:4;4771:1;4764:15;5142:251;5212:6;5265:2;5253:9;5244:7;5240:23;5236:32;5233:52;;;5281:1;5278;5271:12;5233:52;5313:9;5307:16;5332:31;5357:5;5332:31;:::i;6319:306::-;6407:6;6415;6423;6476:2;6464:9;6455:7;6451:23;6447:32;6444:52;;;6492:1;6489;6482:12;6444:52;6521:9;6515:16;6505:26;;6571:2;6560:9;6556:18;6550:25;6540:35;;6615:2;6604:9;6600:18;6594:25;6584:35;;6319:306;;;;;:::o;6909:277::-;6976:6;7029:2;7017:9;7008:7;7004:23;7000:32;6997:52;;;7045:1;7042;7035:12;6997:52;7077:9;7071:16;7130:5;7123:13;7116:21;7109:5;7106:32;7096:60;;7152:1;7149;7142:12;10055:127;10116:10;10111:3;10107:20;10104:1;10097:31;10147:4;10144:1;10137:15;10171:4;10168:1;10161:15;10187:125;10252:9;;;10273:10;;;10270:36;;;10286:18;;:::i;10672:135::-;10711:3;10732:17;;;10729:43;;10752:18;;:::i;:::-;-1:-1:-1;10799:1:1;10788:13;;10672:135::o;10812:128::-;10879:9;;;10900:11;;;10897:37;;;10914:18;;:::i;10945:980::-;11207:4;11255:3;11244:9;11240:19;11286:6;11275:9;11268:25;11312:2;11350:6;11345:2;11334:9;11330:18;11323:34;11393:3;11388:2;11377:9;11373:18;11366:31;11417:6;11452;11446:13;11483:6;11475;11468:22;11521:3;11510:9;11506:19;11499:26;;11560:2;11552:6;11548:15;11534:29;;11581:1;11591:195;11605:6;11602:1;11599:13;11591:195;;;11670:13;;-1:-1:-1;;;;;11666:39:1;11654:52;;11761:15;;;;11726:12;;;;11702:1;11620:9;11591:195;;;-1:-1:-1;;;;;;;11842:32:1;;;;11837:2;11822:18;;11815:60;-1:-1:-1;;;11906:3:1;11891:19;11884:35;11803:3;10945:980;-1:-1:-1;;;10945:980:1:o;11930:168::-;12003:9;;;12034;;12051:15;;;12045:22;;12031:37;12021:71;;12072:18;;:::i;12103:217::-;12143:1;12169;12159:132;;12213:10;12208:3;12204:20;12201:1;12194:31;12248:4;12245:1;12238:15;12276:4;12273:1;12266:15;12159:132;-1:-1:-1;12305:9:1;;12103:217::o

ipfs://47bd4663e069e5a6b34358e8c3357b8bae638a9c939a1a0087f87552ae531dd7