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-05-17
*/

/**
SOLAXY (SOLAXY)
**/

// SPDX-License-Identifier: NONE

pragma solidity 0.8.30;

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

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

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

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

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

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

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

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

}

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

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

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

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

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

}

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract SOLAXY is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;
    mapping(address => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = false;
    address payable private _taxWallet;

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

    uint8 private constant _decimals = 8;
    uint256 private constant _tTotal = 100000000000 * 10**_decimals;
    string private constant _name = unicode"SOLAXY";
    string private constant _symbol = unicode"SOLAXY";
    uint256 public _maxTxAmount =   20000000000000000000 * 10**_decimals;
    uint256 public _maxWalletSize = 3000000000000000000 * 10**_decimals;
    uint256 public _taxSwapThreshold=600000000000000000 * 10**_decimals;
    uint256 public _maxTaxSwap=6000000000000000000000 * 10**_decimals;

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

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

    constructor () {
        _taxWallet = payable(_msgSender());
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_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 taxAmount=0;
        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);

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

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


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

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

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


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

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

    function removeLimits() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        transferDelayEnabled=false;
        _reduceSellTaxAt=0;
        _reduceBuyTaxAt=0;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

    function isBot(address a) public view returns (bool){
      return bots[a];
    }

    function runitturbo() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x4752ba5DBc23f44D87826276BF6Fd6b1C372aD24);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }

    receive() external payable {}

    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 addBots(address[] memory bots_) public onlyOwner {
        for (uint i = 0; i < bots_.length; i++) {
            bots[bots_[i]] = true;
        }
    }

    function delBots(address[] memory notbot) public onlyOwner {
      for (uint i = 0; i < notbot.length; i++) {
          bots[notbot[i]] = false;
      }
    }
    
}

• 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":"_reduceBuyTaxAt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_reduceSellTaxAt","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":"bots_","type":"address[]"}],"name":"addBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address[]","name":"notbot","type":"address[]"}],"name":"delBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"isBot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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":"runitturbo","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526006805460ff191690555f600781905560088181556009829055600a828155600b839055600c839055600d839055600e9290925561004191610327565b610054906801158e460913d0000061033c565b600f556100636008600a610327565b610075906729a2241af62c000061033c565b6010556100846008600a610327565b61009690670853a0d2313c000061033c565b6011556100a56008600a610327565b6100b99069014542ba12a337c0000061033c565b6012556014805461ffff60a81b191690553480156100d5575f5ffd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b03191661010033021790556101396008600a610327565b6101489064174876e80061033c565b335f9081526001602081905260408220929092556003906101705f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff19968716179055308152600390935281832080548516600190811790915560065461010090049091168352912080549092161790556101d23390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6102096008600a610327565b6102189064174876e80061033c565b60405190815260200160405180910390a3610353565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561027d578085048111156102615761026161022e565b600184161561026f57908102905b60019390931c928002610246565b935093915050565b5f8261029357506001610321565b8161029f57505f610321565b81600181146102b557600281146102bf576102db565b6001915050610321565b60ff8411156102d0576102d061022e565b50506001821b610321565b5060208310610133831016604e8410600b84101617156102fe575081810a610321565b61030a5f198484610242565b805f190482111561031d5761031d61022e565b0290505b92915050565b5f61033560ff841683610285565b9392505050565b80820281158282048414176103215761032161022e565b611abf806103605f395ff3fe60806040526004361061014a575f3560e01c8063715018a6116100b3578063a9059cbb1161006d578063a9059cbb14610373578063bf474bed14610392578063c36956a0146103a7578063c876d0b9146103bc578063d34628cc146103d5578063dd62ed3e146103f4575f5ffd5b8063715018a6146102fb578063751039fc1461030f5780637d1db4a5146103235780638da5cb5b146103385780638f9a55c01461035e57806395d89b4114610155575f5ffd5b8063313ce56711610104578063313ce5671461022c57806331c2d847146102475780633bbac5791461026857806351bc3c851461029f5780635941cdc7146102b357806370a08231146102c7575f5ffd5b806306fdde0314610155578063095ea7b3146101925780630c193045146101c15780630faee56f146101e457806318160ddd146101f957806323b872dd1461020d575f5ffd5b3661015157005b5f5ffd5b348015610160575f5ffd5b506040805180820182526006815265534f4c41585960d01b6020820152905161018991906115d5565b60405180910390f35b34801561019d575f5ffd5b506101b16101ac366004611631565b610438565b6040519015158152602001610189565b3480156101cc575f5ffd5b506101d6600b5481565b604051908152602001610189565b3480156101ef575f5ffd5b506101d660125481565b348015610204575f5ffd5b506101d661044e565b348015610218575f5ffd5b506101b161022736600461165b565b61046f565b348015610237575f5ffd5b5060405160088152602001610189565b348015610252575f5ffd5b506102666102613660046116ad565b6104d6565b005b348015610273575f5ffd5b506101b1610282366004611778565b6001600160a01b03165f9081526004602052604090205460ff1690565b3480156102aa575f5ffd5b50610266610566565b3480156102be575f5ffd5b506102666105b8565b3480156102d2575f5ffd5b506101d66102e1366004611778565b6001600160a01b03165f9081526001602052604090205490565b348015610306575f5ffd5b50610266610962565b34801561031a575f5ffd5b506102666109d3565b34801561032e575f5ffd5b506101d6600f5481565b348015610343575f5ffd5b505f546040516001600160a01b039091168152602001610189565b348015610369575f5ffd5b506101d660105481565b34801561037e575f5ffd5b506101b161038d366004611631565b610a9a565b34801561039d575f5ffd5b506101d660115481565b3480156103b2575f5ffd5b506101d6600c5481565b3480156103c7575f5ffd5b506006546101b19060ff1681565b3480156103e0575f5ffd5b506102666103ef3660046116ad565b610aa6565b3480156103ff575f5ffd5b506101d661040e366004611793565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610444338484610b2a565b5060015b92915050565b5f61045b6008600a6118c1565b61046a9064174876e8006118cf565b905090565b5f61047b848484610c4d565b6104cc84336104c785604051806060016040528060288152602001611a62602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611234565b610b2a565b5060019392505050565b5f546001600160a01b031633146105085760405162461bcd60e51b81526004016104ff906118e6565b60405180910390fd5b5f5b8151811015610562575f60045f8484815181106105295761052961191b565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff191691151591909117905560010161050a565b5050565b60065461010090046001600160a01b0316336001600160a01b03161461058a575f5ffd5b305f9081526001602052604090205480156105a8576105a88161126c565b47801561056257610562816113f5565b5f546001600160a01b031633146105e15760405162461bcd60e51b81526004016104ff906118e6565b601454600160a01b900460ff161561063b5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104ff565b601380546001600160a01b031916734752ba5dbc23f44d87826276bf6fd6b1c372ad249081179091556106859030906106766008600a6118c1565b6104c79064174876e8006118cf565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106d5573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106f9919061192f565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610758573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061077c919061192f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156107c6573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ea919061192f565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610831816001600160a01b03165f9081526001602052604090205490565b5f5f6108445f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108aa573d5f5f3e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108cf919061194a565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610924573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109489190611975565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b0316331461098b5760405162461bcd60e51b81526004016104ff906118e6565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146109fc5760405162461bcd60e51b81526004016104ff906118e6565b610a086008600a6118c1565b610a179064174876e8006118cf565b600f55610a266008600a6118c1565b610a359064174876e8006118cf565b6010556006805460ff191690555f600c819055600b557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf610a786008600a6118c1565b610a879064174876e8006118cf565b60405190815260200160405180910390a1565b5f610444338484610c4d565b5f546001600160a01b03163314610acf5760405162461bcd60e51b81526004016104ff906118e6565b5f5b815181101561056257600160045f848481518110610af157610af161191b565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610ad1565b6001600160a01b038316610b8c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ff565b6001600160a01b038216610bed5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ff565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610cb15760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ff565b6001600160a01b038216610d135760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ff565b5f8111610d745760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104ff565b5f80546001600160a01b03858116911614801590610d9f57505f546001600160a01b03848116911614155b156110f7576001600160a01b0384165f9081526004602052604090205460ff16158015610de457506001600160a01b0383165f9081526004602052604090205460ff16155b610dec575f5ffd5b60065460ff1615610ea3576013546001600160a01b03848116911614801590610e2357506014546001600160a01b03848116911614155b15610ea357325f908152600560205260409020544311610e915760405162461bcd60e51b8152602060048201526024808201527f4f6e6c79206f6e65207472616e736665722070657220626c6f636b20616c6c6f6044820152633bb2b21760e11b60648201526084016104ff565b325f9081526005602052604090204390555b6014546001600160a01b038581169116148015610ece57506013546001600160a01b03848116911614155b8015610ef257506001600160a01b0383165f9081526003602052604090205460ff16155b15610fd857600f54821115610f495760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104ff565b60105482610f6b856001600160a01b03165f9081526001602052604090205490565b610f759190611994565b1115610fc35760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ff565b600e8054905f610fd2836119a7565b91905055505b6110046064610ffe600b54600e5411610ff357600754610ff7565b6009545b8590611430565b906114b5565b6014549091506001600160a01b03848116911614801561102d57506001600160a01b0384163014155b1561105a576110576064610ffe600c54600e541161104d57600854610ff7565b600a548590611430565b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561109057506014546001600160a01b038581169116145b80156110a55750601454600160b01b900460ff165b80156110b2575060115481115b80156110c15750600d54600e54115b156110f5576110e36110de846110d9846012546114f6565b6114f6565b61126c565b4780156110f3576110f3476113f5565b505b505b801561116f57305f90815260016020526040902054611116908261150a565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111669085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111919083611568565b6001600160a01b0385165f908152600160205260409020556111d46111b68383611568565b6001600160a01b0385165f908152600160205260409020549061150a565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61121d8585611568565b60405190815260200160405180910390a350505050565b5f81848411156112575760405162461bcd60e51b81526004016104ff91906115d5565b505f61126384866119bf565b95945050505050565b6014805460ff60a81b1916600160a81b17905580156113e557601454600160a01b900460ff16156113e5576040805160028082526060820183525f9260208301908036833701905050905030815f815181106112ca576112ca61191b565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611321573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611345919061192f565b816001815181106113585761135861191b565b6001600160a01b03928316602091820292909201015260135461137e9130911684610b2a565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113b69085905f908690309042906004016119d2565b5f604051808303815f87803b1580156113cd575f5ffd5b505af11580156113df573d5f5f3e3d5ffd5b50505050505b506014805460ff60a81b19169055565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610562573d5f5f3e3d5ffd5b5f825f0361143f57505f610448565b5f61144a83856118cf565b9050826114578583611a42565b146114ae5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104ff565b9392505050565b5f6114ae83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115a9565b5f81831161150457826114ae565b50919050565b5f806115168385611994565b9050838110156114ae5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ff565b5f6114ae83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611234565b5f81836115c95760405162461bcd60e51b81526004016104ff91906115d5565b505f6112638486611a42565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461161e575f5ffd5b50565b803561162c8161160a565b919050565b5f5f60408385031215611642575f5ffd5b823561164d8161160a565b946020939093013593505050565b5f5f5f6060848603121561166d575f5ffd5b83356116788161160a565b925060208401356116888161160a565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f602082840312156116bd575f5ffd5b813567ffffffffffffffff8111156116d3575f5ffd5b8201601f810184136116e3575f5ffd5b803567ffffffffffffffff8111156116fd576116fd611699565b8060051b604051601f19603f830116810181811067ffffffffffffffff8211171561172a5761172a611699565b604052918252602081840181019290810187841115611747575f5ffd5b6020850194505b8385101561176d5761175f85611621565b81526020948501940161174e565b509695505050505050565b5f60208284031215611788575f5ffd5b81356114ae8161160a565b5f5f604083850312156117a4575f5ffd5b82356117af8161160a565b915060208301356117bf8161160a565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b6001841115611819578085048111156117fd576117fd6117ca565b600184161561180b57908102905b60019390931c9280026117e2565b935093915050565b5f8261182f57506001610448565b8161183b57505f610448565b8160018114611851576002811461185b57611877565b6001915050610448565b60ff84111561186c5761186c6117ca565b50506001821b610448565b5060208310610133831016604e8410600b841016171561189a575081810a610448565b6118a65f1984846117de565b805f19048211156118b9576118b96117ca565b029392505050565b5f6114ae60ff841683611821565b8082028115828204841417610448576104486117ca565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f6020828403121561193f575f5ffd5b81516114ae8161160a565b5f5f5f6060848603121561195c575f5ffd5b5050815160208301516040909301519094929350919050565b5f60208284031215611985575f5ffd5b815180151581146114ae575f5ffd5b80820180821115610448576104486117ca565b5f600182016119b8576119b86117ca565b5060010190565b81810381811115610448576104486117ca565b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b81811015611a225783516001600160a01b03168352602093840193909201916001016119fb565b50506001600160a01b039590951660608401525050608001529392505050565b5f82611a5c57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c52d2254fb7d413a3e86efaeca3867eae1792fc34f714791573a02169273a67864736f6c634300081e0033

0x60806040526004361061014a575f3560e01c8063715018a6116100b3578063a9059cbb1161006d578063a9059cbb14610373578063bf474bed14610392578063c36956a0146103a7578063c876d0b9146103bc578063d34628cc146103d5578063dd62ed3e146103f4575f5ffd5b8063715018a6146102fb578063751039fc1461030f5780637d1db4a5146103235780638da5cb5b146103385780638f9a55c01461035e57806395d89b4114610155575f5ffd5b8063313ce56711610104578063313ce5671461022c57806331c2d847146102475780633bbac5791461026857806351bc3c851461029f5780635941cdc7146102b357806370a08231146102c7575f5ffd5b806306fdde0314610155578063095ea7b3146101925780630c193045146101c15780630faee56f146101e457806318160ddd146101f957806323b872dd1461020d575f5ffd5b3661015157005b5f5ffd5b348015610160575f5ffd5b506040805180820182526006815265534f4c41585960d01b6020820152905161018991906115d5565b60405180910390f35b34801561019d575f5ffd5b506101b16101ac366004611631565b610438565b6040519015158152602001610189565b3480156101cc575f5ffd5b506101d6600b5481565b604051908152602001610189565b3480156101ef575f5ffd5b506101d660125481565b348015610204575f5ffd5b506101d661044e565b348015610218575f5ffd5b506101b161022736600461165b565b61046f565b348015610237575f5ffd5b5060405160088152602001610189565b348015610252575f5ffd5b506102666102613660046116ad565b6104d6565b005b348015610273575f5ffd5b506101b1610282366004611778565b6001600160a01b03165f9081526004602052604090205460ff1690565b3480156102aa575f5ffd5b50610266610566565b3480156102be575f5ffd5b506102666105b8565b3480156102d2575f5ffd5b506101d66102e1366004611778565b6001600160a01b03165f9081526001602052604090205490565b348015610306575f5ffd5b50610266610962565b34801561031a575f5ffd5b506102666109d3565b34801561032e575f5ffd5b506101d6600f5481565b348015610343575f5ffd5b505f546040516001600160a01b039091168152602001610189565b348015610369575f5ffd5b506101d660105481565b34801561037e575f5ffd5b506101b161038d366004611631565b610a9a565b34801561039d575f5ffd5b506101d660115481565b3480156103b2575f5ffd5b506101d6600c5481565b3480156103c7575f5ffd5b506006546101b19060ff1681565b3480156103e0575f5ffd5b506102666103ef3660046116ad565b610aa6565b3480156103ff575f5ffd5b506101d661040e366004611793565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610444338484610b2a565b5060015b92915050565b5f61045b6008600a6118c1565b61046a9064174876e8006118cf565b905090565b5f61047b848484610c4d565b6104cc84336104c785604051806060016040528060288152602001611a62602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611234565b610b2a565b5060019392505050565b5f546001600160a01b031633146105085760405162461bcd60e51b81526004016104ff906118e6565b60405180910390fd5b5f5b8151811015610562575f60045f8484815181106105295761052961191b565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff191691151591909117905560010161050a565b5050565b60065461010090046001600160a01b0316336001600160a01b03161461058a575f5ffd5b305f9081526001602052604090205480156105a8576105a88161126c565b47801561056257610562816113f5565b5f546001600160a01b031633146105e15760405162461bcd60e51b81526004016104ff906118e6565b601454600160a01b900460ff161561063b5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104ff565b601380546001600160a01b031916734752ba5dbc23f44d87826276bf6fd6b1c372ad249081179091556106859030906106766008600a6118c1565b6104c79064174876e8006118cf565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106d5573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106f9919061192f565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610758573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061077c919061192f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156107c6573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ea919061192f565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610831816001600160a01b03165f9081526001602052604090205490565b5f5f6108445f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108aa573d5f5f3e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108cf919061194a565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610924573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109489190611975565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b0316331461098b5760405162461bcd60e51b81526004016104ff906118e6565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146109fc5760405162461bcd60e51b81526004016104ff906118e6565b610a086008600a6118c1565b610a179064174876e8006118cf565b600f55610a266008600a6118c1565b610a359064174876e8006118cf565b6010556006805460ff191690555f600c819055600b557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf610a786008600a6118c1565b610a879064174876e8006118cf565b60405190815260200160405180910390a1565b5f610444338484610c4d565b5f546001600160a01b03163314610acf5760405162461bcd60e51b81526004016104ff906118e6565b5f5b815181101561056257600160045f848481518110610af157610af161191b565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff1916911515919091179055600101610ad1565b6001600160a01b038316610b8c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ff565b6001600160a01b038216610bed5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ff565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610cb15760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ff565b6001600160a01b038216610d135760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ff565b5f8111610d745760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104ff565b5f80546001600160a01b03858116911614801590610d9f57505f546001600160a01b03848116911614155b156110f7576001600160a01b0384165f9081526004602052604090205460ff16158015610de457506001600160a01b0383165f9081526004602052604090205460ff16155b610dec575f5ffd5b60065460ff1615610ea3576013546001600160a01b03848116911614801590610e2357506014546001600160a01b03848116911614155b15610ea357325f908152600560205260409020544311610e915760405162461bcd60e51b8152602060048201526024808201527f4f6e6c79206f6e65207472616e736665722070657220626c6f636b20616c6c6f6044820152633bb2b21760e11b60648201526084016104ff565b325f9081526005602052604090204390555b6014546001600160a01b038581169116148015610ece57506013546001600160a01b03848116911614155b8015610ef257506001600160a01b0383165f9081526003602052604090205460ff16155b15610fd857600f54821115610f495760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104ff565b60105482610f6b856001600160a01b03165f9081526001602052604090205490565b610f759190611994565b1115610fc35760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ff565b600e8054905f610fd2836119a7565b91905055505b6110046064610ffe600b54600e5411610ff357600754610ff7565b6009545b8590611430565b906114b5565b6014549091506001600160a01b03848116911614801561102d57506001600160a01b0384163014155b1561105a576110576064610ffe600c54600e541161104d57600854610ff7565b600a548590611430565b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561109057506014546001600160a01b038581169116145b80156110a55750601454600160b01b900460ff165b80156110b2575060115481115b80156110c15750600d54600e54115b156110f5576110e36110de846110d9846012546114f6565b6114f6565b61126c565b4780156110f3576110f3476113f5565b505b505b801561116f57305f90815260016020526040902054611116908261150a565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111669085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111919083611568565b6001600160a01b0385165f908152600160205260409020556111d46111b68383611568565b6001600160a01b0385165f908152600160205260409020549061150a565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61121d8585611568565b60405190815260200160405180910390a350505050565b5f81848411156112575760405162461bcd60e51b81526004016104ff91906115d5565b505f61126384866119bf565b95945050505050565b6014805460ff60a81b1916600160a81b17905580156113e557601454600160a01b900460ff16156113e5576040805160028082526060820183525f9260208301908036833701905050905030815f815181106112ca576112ca61191b565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611321573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611345919061192f565b816001815181106113585761135861191b565b6001600160a01b03928316602091820292909201015260135461137e9130911684610b2a565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113b69085905f908690309042906004016119d2565b5f604051808303815f87803b1580156113cd575f5ffd5b505af11580156113df573d5f5f3e3d5ffd5b50505050505b506014805460ff60a81b19169055565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610562573d5f5f3e3d5ffd5b5f825f0361143f57505f610448565b5f61144a83856118cf565b9050826114578583611a42565b146114ae5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104ff565b9392505050565b5f6114ae83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115a9565b5f81831161150457826114ae565b50919050565b5f806115168385611994565b9050838110156114ae5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ff565b5f6114ae83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611234565b5f81836115c95760405162461bcd60e51b81526004016104ff91906115d5565b505f6112638486611a42565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461161e575f5ffd5b50565b803561162c8161160a565b919050565b5f5f60408385031215611642575f5ffd5b823561164d8161160a565b946020939093013593505050565b5f5f5f6060848603121561166d575f5ffd5b83356116788161160a565b925060208401356116888161160a565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f602082840312156116bd575f5ffd5b813567ffffffffffffffff8111156116d3575f5ffd5b8201601f810184136116e3575f5ffd5b803567ffffffffffffffff8111156116fd576116fd611699565b8060051b604051601f19603f830116810181811067ffffffffffffffff8211171561172a5761172a611699565b604052918252602081840181019290810187841115611747575f5ffd5b6020850194505b8385101561176d5761175f85611621565b81526020948501940161174e565b509695505050505050565b5f60208284031215611788575f5ffd5b81356114ae8161160a565b5f5f604083850312156117a4575f5ffd5b82356117af8161160a565b915060208301356117bf8161160a565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b6001841115611819578085048111156117fd576117fd6117ca565b600184161561180b57908102905b60019390931c9280026117e2565b935093915050565b5f8261182f57506001610448565b8161183b57505f610448565b8160018114611851576002811461185b57611877565b6001915050610448565b60ff84111561186c5761186c6117ca565b50506001821b610448565b5060208310610133831016604e8410600b841016171561189a575081810a610448565b6118a65f1984846117de565b805f19048211156118b9576118b96117ca565b029392505050565b5f6114ae60ff841683611821565b8082028115828204841417610448576104486117ca565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f6020828403121561193f575f5ffd5b81516114ae8161160a565b5f5f5f6060848603121561195c575f5ffd5b5050815160208301516040909301519094929350919050565b5f60208284031215611985575f5ffd5b815180151581146114ae575f5ffd5b80820180821115610448576104486117ca565b5f600182016119b8576119b86117ca565b5060010190565b81810381811115610448576104486117ca565b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b81811015611a225783516001600160a01b03168352602093840193909201916001016119fb565b50506001600160a01b039590951660608401525050608001529392505050565b5f82611a5c57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c52d2254fb7d413a3e86efaeca3867eae1792fc34f714791573a02169273a67864736f6c634300081e0033

3503:8473:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5477:83;;;;;;;;;;-1:-1:-1;5547:5:0;;;;;;;;;;;-1:-1:-1;;;5547:5:0;;;;5477:83;;;;5547:5;5477:83;:::i;:::-;;;;;;;;6310:161;;;;;;;;;;-1:-1:-1;6310:161:0;;;;;:::i;:::-;;:::i;:::-;;;1249:14:1;;1242:22;1224:41;;1212:2;1197:18;6310:161:0;1084:187:1;4135:32:0;;;;;;;;;;;;;;;;;;;1422:25:1;;;1410:2;1395:18;4135:32:0;1276:177:1;4739:65:0;;;;;;;;;;;;;;;;5754:95;;;;;;;;;;;;;:::i;6479:313::-;;;;;;;;;;-1:-1:-1;6479:313:0;;;;;:::i;:::-;;:::i;5663:83::-;;;;;;;;;;-1:-1:-1;5663:83:0;;4328:1;2113:36:1;;2101:2;2086:18;5663:83:0;1971:184:1;11805:162:0;;;;;;;;;;-1:-1:-1;11805:162:0;;;;;:::i;:::-;;:::i;:::-;;10467:83;;;;;;;;;;-1:-1:-1;10467:83:0;;;;;:::i;:::-;-1:-1:-1;;;;;10535:7:0;10514:4;10535:7;;;:4;:7;;;;;;;;;10467:83;11273:348;;;;;;;;;;;;;:::i;10558:670::-;;;;;;;;;;;;;:::i;5857:119::-;;;;;;;;;;-1:-1:-1;5857:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5950:18:0;5923:7;5950:18;;;:9;:18;;;;;;;5857:119;2584:148;;;;;;;;;;;;;:::i;10106:253::-;;;;;;;;;;;;;:::i;4516:68::-;;;;;;;;;;;;;;;;2370:79;;;;;;;;;;-1:-1:-1;2408:7:0;2435:6;2370:79;;-1:-1:-1;;;;;2435:6:0;;;3822:51:1;;3810:2;3795:18;2370:79:0;3676:203:1;4591:67:0;;;;;;;;;;;;;;;;5984:167;;;;;;;;;;-1:-1:-1;5984:167:0;;;;;:::i;:::-;;:::i;4665:67::-;;;;;;;;;;;;;;;;4174:33;;;;;;;;;;;;;;;;3891:40;;;;;;;;;;-1:-1:-1;3891:40:0;;;;;;;;11633:164;;;;;;;;;;-1:-1:-1;11633:164:0;;;;;:::i;:::-;;:::i;6159:143::-;;;;;;;;;;-1:-1:-1;6159:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6267:18:0;;;6240:7;6267:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6159:143;6310:161;6385:4;6402:39;205:10;6425:7;6434:6;6402:8;:39::i;:::-;-1:-1:-1;6459:4:0;6310:161;;;;;:::o;5754:95::-;5807:7;4386:13;4328:1;4386:2;:13;:::i;:::-;4371:28;;:12;:28;:::i;:::-;5827:14;;5754:95;:::o;6479:313::-;6577:4;6594:36;6604:6;6612:9;6623:6;6594:9;:36::i;:::-;6641:121;6650:6;205:10;6672:89;6710:6;6672:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6672:19:0;;;;;;:11;:19;;;;;;;;205:10;6672:33;;;;;;;;;;:37;:89::i;:::-;6641:8;:121::i;:::-;-1:-1:-1;6780:4:0;6479:313;;;;;:::o;11805:162::-;2497:6;;-1:-1:-1;;;;;2497:6:0;205:10;2497:22;2489:67;;;;-1:-1:-1;;;2489:67:0;;;;;;;:::i;:::-;;;;;;;;;11878:6:::1;11873:87;11894:6;:13;11890:1;:17;11873:87;;;11945:5;11927:4;:15;11932:6;11939:1;11932:9;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;11927:15:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;11927:15:0;:23;;-1:-1:-1;;11927:23:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;11909:3:0::1;11873:87;;;;11805:162:::0;:::o;11273:348::-;11337:10;;;;;-1:-1:-1;;;;;11337:10:0;205;-1:-1:-1;;;;;11323:24:0;;11315:33;;;;;;11398:4;11359:20;5950:18;;;:9;:18;;;;;;11418:14;;11415:73;;11446:30;11463:12;11446:16;:30::i;:::-;11517:21;11552:12;;11549:65;;11578:24;11591:10;11578:12;:24::i;10558:670::-;2497:6;;-1:-1:-1;;;;;2497:6:0;205:10;2497:22;2489:67;;;;-1:-1:-1;;;2489:67:0;;;;;;;:::i;:::-;10621:11:::1;::::0;-1:-1:-1;;;10621:11:0;::::1;;;10620:12;10612:47;;;::::0;-1:-1:-1;;;10612:47:0;;6709:2:1;10612:47:0::1;::::0;::::1;6691:21:1::0;6748:2;6728:18;;;6721:30;6787:25;6767:18;;;6760:53;6830:18;;10612:47:0::1;6507:347:1::0;10612:47:0::1;10670:15;:80:::0;;-1:-1:-1;;;;;;10670:80:0::1;10707:42;10670:80:::0;;::::1;::::0;;;10761:58:::1;::::0;10778:4:::1;::::0;4386:13:::1;4328:1;4386:2;:13;:::i;:::-;4371:28;::::0;:12:::1;:28;:::i;10761:58::-;10864:15;;;;;;;;;-1:-1:-1::0;;;;;10864:15:0::1;-1:-1:-1::0;;;;;10864:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10846:55:0::1;;10910:4;10917:15;;;;;;;;;-1:-1:-1::0;;;;;10917:15:0::1;-1:-1:-1::0;;;;;10917:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10846:94;::::0;-1:-1:-1;;;;;;10846:94:0::1;::::0;;;;;;-1:-1:-1;;;;;7307:32:1;;;10846:94:0::1;::::0;::::1;7289:51:1::0;7376:32;;7356:18;;;7349:60;7262:18;;10846:94:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10830:13;:110:::0;;-1:-1:-1;;;;;10830:110:0;;::::1;-1:-1:-1::0;;;;;;10830:110:0;;::::1;;::::0;;10951:15:::1;::::0;::::1;:31;10990:21;11021:4;11027:24;11021:4:::0;-1:-1:-1;;;;;5950:18:0;5923:7;5950:18;;;:9;:18;;;;;;;5857:119;11027:24:::1;11052:1;11054;11056:7;2408::::0;2435:6;-1:-1:-1;;;;;2435:6:0;;2370:79;11056:7:::1;10951:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10951:129:0;;;-1:-1:-1;;;;;7741:32:1;;;10951:129:0::1;::::0;::::1;7723:51:1::0;7790:18;;;7783:34;;;;7833:18;;;7826:34;;;;7876:18;;;7869:34;7940:32;;;7919:19;;;7912:61;11064:15:0::1;7989:19:1::0;;;7982:35;7695:19;;10951:129:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11098:13:0::1;::::0;11129:15:::1;::::0;11091:71:::1;::::0;-1:-1:-1;;;11091:71:0;;-1:-1:-1;;;;;11129:15:0;;::::1;11091:71;::::0;::::1;8663:51:1::0;-1:-1:-1;;8730:18:1;;;8723:34;11098:13:0;::::1;::::0;-1:-1:-1;11091:29:0::1;::::0;8636:18:1;;11091:71:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11173:11:0::1;:18:::0;;-1:-1:-1;;;;11202:18:0;-1:-1:-1;;;11202:18:0;;;10558:670::o;2584:148::-;2497:6;;-1:-1:-1;;;;;2497:6:0;205:10;2497:22;2489:67;;;;-1:-1:-1;;;2489:67:0;;;;;;;:::i;:::-;2691:1:::1;2675:6:::0;;2654:40:::1;::::0;-1:-1:-1;;;;;2675:6:0;;::::1;::::0;2654:40:::1;::::0;2691:1;;2654:40:::1;2722:1;2705:19:::0;;-1:-1:-1;;;;;;2705:19:0::1;::::0;;2584:148::o;10106:253::-;2497:6;;-1:-1:-1;;;;;2497:6:0;205:10;2497:22;2489:67;;;;-1:-1:-1;;;2489:67:0;;;;;;;:::i;:::-;4386:13:::1;4328:1;4386:2;:13;:::i;:::-;4371:28;::::0;:12:::1;:28;:::i;:::-;10159:12;:22:::0;4386:13:::1;4328:1;4386:2;:13;:::i;:::-;4371:28;::::0;:12:::1;:28;:::i;:::-;10192:14;:22:::0;10225:20:::1;:26:::0;;-1:-1:-1;;10225:26:0::1;::::0;;10246:5:::1;10262:16;:18:::0;;;10291:15:::1;:17:::0;10324:27:::1;4386:13;4328:1;-1:-1:-1::0;4386:13:0::1;:::i;:::-;4371:28;::::0;:12:::1;:28;:::i;:::-;10324:27;::::0;1422:25:1;;;1410:2;1395:18;10324:27:0::1;;;;;;;10106:253::o:0;5984:167::-;6062:4;6079:42;205:10;6103:9;6114:6;6079:9;:42::i;11633:164::-;2497:6;;-1:-1:-1;;;;;2497:6:0;205:10;2497:22;2489:67;;;;-1:-1:-1;;;2489:67:0;;;;;;;:::i;:::-;11707:6:::1;11702:88;11723:5;:12;11719:1;:16;11702:88;;;11774:4;11757;:14;11762:5;11768:1;11762:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;11757:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;11757:14:0;:21;;-1:-1:-1;;11757:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;-1:-1:-1;11737:3:0::1;11702:88;;6800:335:::0;-1:-1:-1;;;;;6893:19:0;;6885:68;;;;-1:-1:-1;;;6885:68:0;;9252:2:1;6885:68:0;;;9234:21:1;9291:2;9271:18;;;9264:30;9330:34;9310:18;;;9303:62;-1:-1:-1;;;9381:18:1;;;9374:34;9425:19;;6885:68:0;9050:400:1;6885:68:0;-1:-1:-1;;;;;6972:21:0;;6964:68;;;;-1:-1:-1;;;6964:68:0;;9657:2:1;6964:68:0;;;9639:21:1;9696:2;9676:18;;;9669:30;9735:34;9715:18;;;9708:62;-1:-1:-1;;;9786:18:1;;;9779:32;9828:19;;6964:68:0;9455:398:1;6964:68:0;-1:-1:-1;;;;;7043:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7095:32;;1422:25:1;;;7095:32:0;;1395:18:1;7095:32:0;;;;;;;6800:335;;;:::o;7143:2284::-;-1:-1:-1;;;;;7231:18:0;;7223:68;;;;-1:-1:-1;;;7223:68:0;;10060:2:1;7223:68:0;;;10042:21:1;10099:2;10079:18;;;10072:30;10138:34;10118:18;;;10111:62;-1:-1:-1;;;10189:18:1;;;10182:35;10234:19;;7223:68:0;9858:401:1;7223:68:0;-1:-1:-1;;;;;7310:16:0;;7302:64;;;;-1:-1:-1;;;7302:64:0;;10466:2:1;7302:64:0;;;10448:21:1;10505:2;10485:18;;;10478:30;10544:34;10524:18;;;10517:62;-1:-1:-1;;;10595:18:1;;;10588:33;10638:19;;7302:64:0;10264:399:1;7302:64:0;7394:1;7385:6;:10;7377:64;;;;-1:-1:-1;;;7377:64:0;;10870:2:1;7377:64:0;;;10852:21:1;10909:2;10889:18;;;10882:30;10948:34;10928:18;;;10921:62;-1:-1:-1;;;10999:18:1;;;10992:39;11048:19;;7377:64:0;10668:405:1;7377:64:0;7452:17;2435:6;;-1:-1:-1;;;;;7486:15:0;;;2435:6;;7486:15;;;;:32;;-1:-1:-1;2408:7:0;2435:6;-1:-1:-1;;;;;7505:13:0;;;2435:6;;7505:13;;7486:32;7482:1589;;;-1:-1:-1;;;;;7544:10:0;;;;;;:4;:10;;;;;;;;7543:11;:24;;;;-1:-1:-1;;;;;;7559:8:0;;;;;;:4;:8;;;;;;;;7558:9;7543:24;7535:33;;;;;;7589:20;;;;7585:346;;;7648:15;;-1:-1:-1;;;;;7634:30:0;;;7648:15;;7634:30;;;;:62;;-1:-1:-1;7682:13:0;;-1:-1:-1;;;;;7668:28:0;;;7682:13;;7668:28;;7634:62;7630:286;;;7756:9;7727:39;;;;:28;:39;;;;;;7769:12;-1:-1:-1;7719:102:0;;;;-1:-1:-1;;;7719:102:0;;11280:2:1;7719:102:0;;;11262:21:1;11319:2;11299:18;;;11292:30;11358:34;11338:18;;;11331:62;-1:-1:-1;;;11409:18:1;;;11402:34;11453:19;;7719:102:0;11078:400:1;7719:102:0;7871:9;7842:39;;;;:28;:39;;;;;7884:12;7842:54;;7630:286;7959:13;;-1:-1:-1;;;;;7951:21:0;;;7959:13;;7951:21;:55;;;;-1:-1:-1;7990:15:0;;-1:-1:-1;;;;;7976:30:0;;;7990:15;;7976:30;;7951:55;:83;;;;-1:-1:-1;;;;;;8012:22:0;;;;;;:18;:22;;;;;;;;8010:24;7951:83;7947:313;;;8074:12;;8064:6;:22;;8056:60;;;;-1:-1:-1;;;8056:60:0;;11685:2:1;8056:60:0;;;11667:21:1;11724:2;11704:18;;;11697:30;11763:27;11743:18;;;11736:55;11808:18;;8056:60:0;11483:349:1;8056:60:0;8169:14;;8159:6;8143:13;8153:2;-1:-1:-1;;;;;5950:18:0;5923:7;5950:18;;;:9;:18;;;;;;;5857:119;8143:13;:22;;;;:::i;:::-;:40;;8135:79;;;;-1:-1:-1;;;8135:79:0;;12169:2:1;8135:79:0;;;12151:21:1;12208:2;12188:18;;;12181:30;12247:28;12227:18;;;12220:56;12293:18;;8135:79:0;11967:350:1;8135:79:0;8233:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7947:313;8290:76;8362:3;8290:67;8312:15;;8302:9;;:25;8301:55;;8342:14;;8301:55;;;8329:12;;8301:55;8290:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8390:13;;8278:88;;-1:-1:-1;;;;;;8384:19:0;;;8390:13;;8384:19;:43;;;;-1:-1:-1;;;;;;8407:20:0;;8422:4;8407:20;;8384:43;8381:174;;;8460:79;8535:3;8460:70;8482:16;;8472:9;;:26;8471:58;;8514:15;;8471:58;;;8500:13;;8460:6;;:10;:70::i;:79::-;8448:91;;8381:174;8620:4;8571:28;5950:18;;;:9;:18;;;;;;8646:6;;-1:-1:-1;;;8646:6:0;;;;8645:7;:30;;;;-1:-1:-1;8662:13:0;;-1:-1:-1;;;;;8656:19:0;;;8662:13;;8656:19;8645:30;:45;;;;-1:-1:-1;8679:11:0;;-1:-1:-1;;;8679:11:0;;;;8645:45;:87;;;;;8715:17;;8694:20;:38;8645:87;:119;;;;;8746:18;;8736:9;;:28;8645:119;8641:419;;;8785:67;8802:49;8806:6;8813:37;8817:20;8838:11;;8813:3;:37::i;:::-;8802:3;:49::i;:::-;8785:16;:67::i;:::-;8900:21;8943:22;;8940:105;;8990:35;9003:21;8990:12;:35::i;:::-;8766:294;8641:419;7520:1551;7482:1589;9086:11;;9083:161;;9154:4;9136:24;;;;:9;:24;;;;;;:39;;9165:9;9136:28;:39::i;:::-;9129:4;9111:24;;;;:9;:24;;;;;;;:64;;;;9193:39;;-1:-1:-1;;;;;9193:39:0;;;;;;;9222:9;1422:25:1;;1410:2;1395:18;;1276:177;9193:39:0;;;;;;;;9083:161;-1:-1:-1;;;;;9270:15:0;;;;;;:9;:15;;;;;;:27;;9290:6;9270:19;:27::i;:::-;-1:-1:-1;;;;;9254:15:0;;;;;;:9;:15;;;;;:43;9322:40;9340:21;:6;9351:9;9340:10;:21::i;:::-;-1:-1:-1;;;;;9322:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9308:13:0;;;;;;;:9;:13;;;;;:54;;;;9378:41;;;9397:21;:6;9408:9;9397:10;:21::i;:::-;9378:41;;1422:25:1;;;1410:2;1395:18;9378:41:0;;;;;;;7212:2215;7143:2284;;;:::o;1262:190::-;1348:7;1384:12;1376:6;;;;1368:29;;;;-1:-1:-1;;;1368:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1408:9:0;1420:5;1424:1;1420;:5;:::i;:::-;1408:17;1262:190;-1:-1:-1;;;;;1262:190:0:o;9543:555::-;5086:6;:13;;-1:-1:-1;;;;5086:13:0;-1:-1:-1;;;5086:13:0;;;9621:27;;9640:7:::1;9621:27;9662:11;::::0;-1:-1:-1;;;9662:11:0;::::1;;;9658:25:::0;9675:7:::1;9658:25;9717:16;::::0;;9731:1:::1;9717:16:::0;;;;;::::1;::::0;;9693:21:::1;::::0;9717:16:::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9717:16:0::1;9693:40;;9762:4;9744;9749:1;9744:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9744:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9788:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9788:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9744:7;;9788:22;;;;;:15;:22:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9778:4;9783:1;9778:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9778:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9853:15:::1;::::0;9821:62:::1;::::0;9838:4:::1;::::0;9853:15:::1;9871:11:::0;9821:8:::1;:62::i;:::-;9894:15;::::0;:196:::1;::::0;-1:-1:-1;;;9894:196:0;;-1:-1:-1;;;;;9894:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9975:11;;9894:15:::1;::::0;10017:4;;10044::::1;::::0;10064:15:::1;::::0;9894:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9610:488;5110:1;-1:-1:-1::0;5122:6:0;:14;;-1:-1:-1;;;;5122:14:0;;;9543:555::o;10367:92::-;10424:10;;:27;;:10;;;;-1:-1:-1;;;;;10424:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;1460:246;1518:7;1542:1;1547;1542:6;1538:47;;-1:-1:-1;1572:1:0;1565:8;;1538:47;1595:9;1607:5;1611:1;1607;:5;:::i;:::-;1595:17;-1:-1:-1;1640:1:0;1631:5;1635:1;1595:17;1631:5;:::i;:::-;:10;1623:56;;;;-1:-1:-1;;;1623:56:0;;13983:2:1;1623:56:0;;;13965:21:1;14022:2;14002:18;;;13995:30;14061:34;14041:18;;;14034:62;-1:-1:-1;;;14112:18:1;;;14105:31;14153:19;;1623:56:0;13781:397:1;1623:56:0;1697:1;1460:246;-1:-1:-1;;;1460:246:0:o;1714:132::-;1772:7;1799:39;1803:1;1806;1799:39;;;;;;;;;;;;;;;;;:3;:39::i;9437:98::-;9494:7;9521:1;9519;:3;9518:9;;9526:1;9518:9;;;-1:-1:-1;9524:1:0;9437:98;-1:-1:-1;9437:98:0:o;931:179::-;989:7;;1021:5;1025:1;1021;:5;:::i;:::-;1009:17;;1050:1;1045;:6;;1037:46;;;;-1:-1:-1;;;1037:46:0;;14385:2:1;1037:46:0;;;14367:21:1;14424:2;14404:18;;;14397:30;14463:29;14443:18;;;14436:57;14510:18;;1037:46:0;14183:351:1;1118:136:0;1176:7;1203:43;1207:1;1210;1203:43;;;;;;;;;;;;;;;;;:3;:43::i;1854:189::-;1940:7;1975:12;1968:5;1960:28;;;;-1:-1:-1;;;1960:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1999:9:0;2011:5;2015:1;2011;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;492:70;437:131;:::o;573:134::-;641:20;;670:31;641:20;670:31;:::i;:::-;573:134;;;:::o;712:367::-;780:6;788;841:2;829:9;820:7;816:23;812:32;809:52;;;857:1;854;847:12;809:52;896:9;883:23;915:31;940:5;915:31;:::i;:::-;965:5;1043:2;1028:18;;;;1015:32;;-1:-1:-1;;;712:367:1:o;1458:508::-;1535:6;1543;1551;1604:2;1592:9;1583:7;1579:23;1575:32;1572:52;;;1620:1;1617;1610:12;1572:52;1659:9;1646:23;1678:31;1703:5;1678:31;:::i;:::-;1728:5;-1:-1:-1;1785:2:1;1770:18;;1757:32;1798:33;1757:32;1798:33;:::i;:::-;1458:508;;1850:7;;-1:-1:-1;;;1930:2:1;1915:18;;;;1902:32;;1458:508::o;2160:127::-;2221:10;2216:3;2212:20;2209:1;2202:31;2252:4;2249:1;2242:15;2276:4;2273:1;2266:15;2292:1127;2376:6;2429:2;2417:9;2408:7;2404:23;2400:32;2397:52;;;2445:1;2442;2435:12;2397:52;2485:9;2472:23;2518:18;2510:6;2507:30;2504:50;;;2550:1;2547;2540:12;2504:50;2573:22;;2626:4;2618:13;;2614:27;-1:-1:-1;2604:55:1;;2655:1;2652;2645:12;2604:55;2695:2;2682:16;2721:18;2713:6;2710:30;2707:56;;;2743:18;;:::i;:::-;2789:6;2786:1;2782:14;2825:2;2819:9;2888:2;2884:7;2879:2;2875;2871:11;2867:25;2859:6;2855:38;2959:6;2947:10;2944:22;2923:18;2911:10;2908:34;2905:62;2902:88;;;2970:18;;:::i;:::-;3006:2;2999:22;3056;;;3106:2;3136:11;;;3132:20;;;3056:22;3094:15;;3164:19;;;3161:39;;;3196:1;3193;3186:12;3161:39;3228:2;3224;3220:11;3209:22;;3240:148;3256:6;3251:3;3248:15;3240:148;;;3322:23;3341:3;3322:23;:::i;:::-;3310:36;;3375:2;3273:12;;;;3366;3240:148;;;-1:-1:-1;3407:6:1;2292:1127;-1:-1:-1;;;;;;2292:1127:1:o;3424:247::-;3483:6;3536:2;3524:9;3515:7;3511:23;3507:32;3504:52;;;3552:1;3549;3542:12;3504:52;3591:9;3578:23;3610:31;3635:5;3610:31;:::i;3884:388::-;3952:6;3960;4013:2;4001:9;3992:7;3988:23;3984:32;3981:52;;;4029:1;4026;4019:12;3981:52;4068:9;4055:23;4087:31;4112:5;4087:31;:::i;:::-;4137:5;-1:-1:-1;4194:2:1;4179:18;;4166:32;4207:33;4166:32;4207:33;:::i;:::-;4259:7;4249:17;;;3884:388;;;;;:::o;4277:127::-;4338:10;4333:3;4329:20;4326:1;4319:31;4369:4;4366:1;4359:15;4393:4;4390:1;4383:15;4409:375;4497:1;4515:5;4529:249;4550:1;4540:8;4537:15;4529:249;;;4600:4;4595:3;4591:14;4585:4;4582:24;4579:50;;;4609:18;;:::i;:::-;4659:1;4649:8;4645:16;4642:49;;;4673:16;;;;4642:49;4756:1;4752:16;;;;;4712:15;;4529:249;;;4409:375;;;;;;:::o;4789:902::-;4838:5;4868:8;4858:80;;-1:-1:-1;4909:1:1;4923:5;;4858:80;4957:4;4947:76;;-1:-1:-1;4994:1:1;5008:5;;4947:76;5039:4;5057:1;5052:59;;;;5125:1;5120:174;;;;5032:262;;5052:59;5082:1;5073:10;;5096:5;;;5120:174;5157:3;5147:8;5144:17;5141:43;;;5164:18;;:::i;:::-;-1:-1:-1;;5220:1:1;5206:16;;5279:5;;5032:262;;5378:2;5368:8;5365:16;5359:3;5353:4;5350:13;5346:36;5340:2;5330:8;5327:16;5322:2;5316:4;5313:12;5309:35;5306:77;5303:203;;;-1:-1:-1;5415:19:1;;;5491:5;;5303:203;5538:42;-1:-1:-1;;5563:8:1;5557:4;5538:42;:::i;:::-;5616:6;5612:1;5608:6;5604:19;5595:7;5592:32;5589:58;;;5627:18;;:::i;:::-;5665:20;;4789:902;-1:-1:-1;;;4789:902:1:o;5696:140::-;5754:5;5783:47;5824:4;5814:8;5810:19;5804:4;5783:47;:::i;5841:168::-;5914:9;;;5945;;5962:15;;;5956:22;;5942:37;5932:71;;5983:18;;:::i;6014:356::-;6216:2;6198:21;;;6235:18;;;6228:30;6294:34;6289:2;6274:18;;6267:62;6361:2;6346:18;;6014:356::o;6375:127::-;6436:10;6431:3;6427:20;6424:1;6417:31;6467:4;6464:1;6457:15;6491:4;6488:1;6481:15;6859:251;6929:6;6982:2;6970:9;6961:7;6957:23;6953:32;6950:52;;;6998:1;6995;6988:12;6950:52;7030:9;7024:16;7049:31;7074:5;7049:31;:::i;8028:456::-;8116:6;8124;8132;8185:2;8173:9;8164:7;8160:23;8156:32;8153:52;;;8201:1;8198;8191:12;8153:52;-1:-1:-1;;8246:16:1;;8352:2;8337:18;;8331:25;8448:2;8433:18;;;8427:25;8246:16;;8331:25;;-1:-1:-1;8427:25:1;8028:456;-1:-1:-1;8028:456:1:o;8768:277::-;8835:6;8888:2;8876:9;8867:7;8863:23;8859:32;8856:52;;;8904:1;8901;8894:12;8856:52;8936:9;8930:16;8989:5;8982:13;8975:21;8968:5;8965:32;8955:60;;9011:1;9008;9001:12;11837:125;11902:9;;;11923:10;;;11920:36;;;11936:18;;:::i;12322:135::-;12361:3;12382:17;;;12379:43;;12402:18;;:::i;:::-;-1:-1:-1;12449:1:1;12438:13;;12322:135::o;12462:128::-;12529:9;;;12550:11;;;12547:37;;;12564:18;;:::i;12595:959::-;12857:4;12905:3;12894:9;12890:19;12936:6;12925:9;12918:25;12979:6;12974:2;12963:9;12959:18;12952:34;13022:3;13017:2;13006:9;13002:18;12995:31;13046:6;13081;13075:13;13112:6;13104;13097:22;13150:3;13139:9;13135:19;13128:26;;13189:2;13181:6;13177:15;13163:29;;13210:1;13220:195;13234:6;13231:1;13228:13;13220:195;;;13299:13;;-1:-1:-1;;;;;13295:39:1;13283:52;;13364:2;13390:15;;;;13355:12;;;;13331:1;13249:9;13220:195;;;-1:-1:-1;;;;;;;13471:32:1;;;;13466:2;13451:18;;13444:60;-1:-1:-1;;13535:3:1;13520:19;13513:35;13432:3;12595:959;-1:-1:-1;;;12595:959:1:o;13559:217::-;13599:1;13625;13615:132;;13669:10;13664:3;13660:20;13657:1;13650:31;13704:4;13701:1;13694:15;13732:4;13729:1;13722:15;13615:132;-1:-1:-1;13761:9:1;;13559:217::o

ipfs://c52d2254fb7d413a3e86efaeca3867eae1792fc34f714791573a02169273a678